Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function allowance(address owner, add ...    - function transfer(address recipient, ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...  contract TehResearch is IERC20 *    - function totalSupply()    - function balanceOf(address tokenOwner ...    - function transfer(address receiver, u ...    - function approve(address delegate, ui ...    - function allowance(address owner, add ...    - function transferFrom(address owner, ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2022-10-05
*/

/**
https://medium.com/@tehresearch

Teh Research remains true.
*/

pragma solidity ^0.8.0;

interface IERC20 {

    function totalSupply() external view returns (uint256);
    function balanceOf(address account) external view returns (uint256);
    function allowance(address owner, address spender) external view returns (uint256);

    function transfer(address recipient, uint256 amount) external returns (bool);
    function approve(address spender, uint256 amount) external returns (bool);
    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);


    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(address indexed owner, address indexed spender, uint256 value);
}


contract TehResearch is IERC20 {

    string public constant name = "TehResearch";
    string public constant symbol = "TEH";
    uint8 public constant decimals = 18;


    mapping(address => uint256) balances;

    mapping(address => mapping (address => uint256)) allowed;

    uint256 totalSupply_ = 1000000000000000 ether;


   constructor() {
    balances[msg.sender] = totalSupply_;
    }

    function totalSupply() public override view returns (uint256) {
    return totalSupply_;
    }

    function balanceOf(address tokenOwner) public override view returns (uint256) {
        return balances[tokenOwner];
    }

    function transfer(address receiver, uint256 numTokens) public override returns (bool) {
        require(numTokens <= balances[msg.sender]);
        balances[msg.sender] = balances[msg.sender]-numTokens;
        balances[receiver] = balances[receiver]+numTokens;
        emit Transfer(msg.sender, receiver, numTokens);
        return true;
    }

    function approve(address delegate, uint256 numTokens) public override returns (bool) {
        allowed[msg.sender][delegate] = numTokens;
        emit Approval(msg.sender, delegate, numTokens);
        return true;
    }

    function allowance(address owner, address delegate) public override view returns (uint) {
        return allowed[owner][delegate];
    }

    function transferFrom(address owner, address buyer, uint256 numTokens) public override returns (bool) {
        require(numTokens <= balances[owner]);
        require(numTokens <= allowed[owner][msg.sender]);

        balances[owner] = balances[owner]-numTokens;
        allowed[owner][msg.sender] = allowed[owner][msg.sender]-numTokens;
        balances[buyer] = balances[buyer]+numTokens;
        emit Transfer(owner, buyer, numTokens);
        return true;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"delegate","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"delegate","type":"address"},{"internalType":"uint256","name":"numTokens","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"tokenOwner","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"receiver","type":"address"},{"internalType":"uint256","name":"numTokens","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"buyer","type":"address"},{"internalType":"uint256","name":"numTokens","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"}]

60806040526d314dc6448d9338c15b0a0000000060025534801561002257600080fd5b506002546000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610d41806100776000396000f3fe608060405234801561001057600080fd5b50600436106100935760003560e01c8063313ce56711610066578063313ce5671461013457806370a082311461015257806395d89b4114610182578063a9059cbb146101a0578063dd62ed3e146101d057610093565b806306fdde0314610098578063095ea7b3146100b657806318160ddd146100e657806323b872dd14610104575b600080fd5b6100a0610200565b6040516100ad9190610b17565b60405180910390f35b6100d060048036038101906100cb9190610a5a565b610239565b6040516100dd9190610afc565b60405180910390f35b6100ee61032b565b6040516100fb9190610b39565b60405180910390f35b61011e60048036038101906101199190610a0b565b610335565b60405161012b9190610afc565b60405180910390f35b61013c61069b565b6040516101499190610b54565b60405180910390f35b61016c600480360381019061016791906109a6565b6106a0565b6040516101799190610b39565b60405180910390f35b61018a6106e8565b6040516101979190610b17565b60405180910390f35b6101ba60048036038101906101b59190610a5a565b610721565b6040516101c79190610afc565b60405180910390f35b6101ea60048036038101906101e591906109cf565b6108f5565b6040516101f79190610b39565b60405180910390f35b6040518060400160405280600b81526020017f546568526573656172636800000000000000000000000000000000000000000081525081565b600081600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516103199190610b39565b60405180910390a36001905092915050565b6000600254905090565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561038257600080fd5b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561040b57600080fd5b816000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546104559190610be1565b6000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555081600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461051f9190610be1565b600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546105e99190610b8b565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516106889190610b39565b60405180910390a3600190509392505050565b601281565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6040518060400160405280600381526020017f544548000000000000000000000000000000000000000000000000000000000081525081565b60008060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561076e57600080fd5b816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546107b89190610be1565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546108449190610b8b565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516108e39190610b39565b60405180910390a36001905092915050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b60008135905061098b81610cdd565b92915050565b6000813590506109a081610cf4565b92915050565b6000602082840312156109b857600080fd5b60006109c68482850161097c565b91505092915050565b600080604083850312156109e257600080fd5b60006109f08582860161097c565b9250506020610a018582860161097c565b9150509250929050565b600080600060608486031215610a2057600080fd5b6000610a2e8682870161097c565b9350506020610a3f8682870161097c565b9250506040610a5086828701610991565b9150509250925092565b60008060408385031215610a6d57600080fd5b6000610a7b8582860161097c565b9250506020610a8c85828601610991565b9150509250929050565b610a9f81610c27565b82525050565b6000610ab082610b6f565b610aba8185610b7a565b9350610aca818560208601610c6a565b610ad381610ccc565b840191505092915050565b610ae781610c53565b82525050565b610af681610c5d565b82525050565b6000602082019050610b116000830184610a96565b92915050565b60006020820190508181036000830152610b318184610aa5565b905092915050565b6000602082019050610b4e6000830184610ade565b92915050565b6000602082019050610b696000830184610aed565b92915050565b600081519050919050565b600082825260208201905092915050565b6000610b9682610c53565b9150610ba183610c53565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff03821115610bd657610bd5610c9d565b5b828201905092915050565b6000610bec82610c53565b9150610bf783610c53565b925082821015610c0a57610c09610c9d565b5b828203905092915050565b6000610c2082610c33565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b60005b83811015610c88578082015181840152602081019050610c6d565b83811115610c97576000848401525b50505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000601f19601f8301169050919050565b610ce681610c15565b8114610cf157600080fd5b50565b610cfd81610c53565b8114610d0857600080fd5b5056fea26469706673582212209baf8ec90dd6a9ff0e6f9a4a9e0fa2bf59a9d3bc3d93edb3f276dcec81acabd264736f6c63430008000033

0x608060405234801561001057600080fd5b50600436106100935760003560e01c8063313ce56711610066578063313ce5671461013457806370a082311461015257806395d89b4114610182578063a9059cbb146101a0578063dd62ed3e146101d057610093565b806306fdde0314610098578063095ea7b3146100b657806318160ddd146100e657806323b872dd14610104575b600080fd5b6100a0610200565b6040516100ad9190610b17565b60405180910390f35b6100d060048036038101906100cb9190610a5a565b610239565b6040516100dd9190610afc565b60405180910390f35b6100ee61032b565b6040516100fb9190610b39565b60405180910390f35b61011e60048036038101906101199190610a0b565b610335565b60405161012b9190610afc565b60405180910390f35b61013c61069b565b6040516101499190610b54565b60405180910390f35b61016c600480360381019061016791906109a6565b6106a0565b6040516101799190610b39565b60405180910390f35b61018a6106e8565b6040516101979190610b17565b60405180910390f35b6101ba60048036038101906101b59190610a5a565b610721565b6040516101c79190610afc565b60405180910390f35b6101ea60048036038101906101e591906109cf565b6108f5565b6040516101f79190610b39565b60405180910390f35b6040518060400160405280600b81526020017f546568526573656172636800000000000000000000000000000000000000000081525081565b600081600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516103199190610b39565b60405180910390a36001905092915050565b6000600254905090565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561038257600080fd5b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561040b57600080fd5b816000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546104559190610be1565b6000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555081600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461051f9190610be1565b600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546105e99190610b8b565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516106889190610b39565b60405180910390a3600190509392505050565b601281565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6040518060400160405280600381526020017f544548000000000000000000000000000000000000000000000000000000000081525081565b60008060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561076e57600080fd5b816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546107b89190610be1565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546108449190610b8b565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516108e39190610b39565b60405180910390a36001905092915050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b60008135905061098b81610cdd565b92915050565b6000813590506109a081610cf4565b92915050565b6000602082840312156109b857600080fd5b60006109c68482850161097c565b91505092915050565b600080604083850312156109e257600080fd5b60006109f08582860161097c565b9250506020610a018582860161097c565b9150509250929050565b600080600060608486031215610a2057600080fd5b6000610a2e8682870161097c565b9350506020610a3f8682870161097c565b9250506040610a5086828701610991565b9150509250925092565b60008060408385031215610a6d57600080fd5b6000610a7b8582860161097c565b9250506020610a8c85828601610991565b9150509250929050565b610a9f81610c27565b82525050565b6000610ab082610b6f565b610aba8185610b7a565b9350610aca818560208601610c6a565b610ad381610ccc565b840191505092915050565b610ae781610c53565b82525050565b610af681610c5d565b82525050565b6000602082019050610b116000830184610a96565b92915050565b60006020820190508181036000830152610b318184610aa5565b905092915050565b6000602082019050610b4e6000830184610ade565b92915050565b6000602082019050610b696000830184610aed565b92915050565b600081519050919050565b600082825260208201905092915050565b6000610b9682610c53565b9150610ba183610c53565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff03821115610bd657610bd5610c9d565b5b828201905092915050565b6000610bec82610c53565b9150610bf783610c53565b925082821015610c0a57610c09610c9d565b5b828203905092915050565b6000610c2082610c33565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b60005b83811015610c88578082015181840152602081019050610c6d565b83811115610c97576000848401525b50505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000601f19601f8301169050919050565b610ce681610c15565b8114610cf157600080fd5b50565b610cfd81610c53565b8114610d0857600080fd5b5056fea26469706673582212209baf8ec90dd6a9ff0e6f9a4a9e0fa2bf59a9d3bc3d93edb3f276dcec81acabd264736f6c63430008000033

788:1866:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;828:43;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1799:224;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1205:96;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2177:474;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;922:35;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1309:124;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;878:37;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1441:350;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2031:138;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;828:43;;;;;;;;;;;;;;;;;;;:::o;1799:224::-;1878:4;1927:9;1895:7;:19;1903:10;1895:19;;;;;;;;;;;;;;;:29;1915:8;1895:29;;;;;;;;;;;;;;;:41;;;;1973:8;1952:41;;1961:10;1952:41;;;1983:9;1952:41;;;;;;:::i;:::-;;;;;;;;2011:4;2004:11;;1799:224;;;;:::o;1205:96::-;1258:7;1281:12;;1274:19;;1205:96;:::o;2177:474::-;2273:4;2311:8;:15;2320:5;2311:15;;;;;;;;;;;;;;;;2298:9;:28;;2290:37;;;;;;2359:7;:14;2367:5;2359:14;;;;;;;;;;;;;;;:26;2374:10;2359:26;;;;;;;;;;;;;;;;2346:9;:39;;2338:48;;;;;;2433:9;2417:8;:15;2426:5;2417:15;;;;;;;;;;;;;;;;:25;;;;:::i;:::-;2399:8;:15;2408:5;2399:15;;;;;;;;;;;;;;;:43;;;;2509:9;2482:7;:14;2490:5;2482:14;;;;;;;;;;;;;;;:26;2497:10;2482:26;;;;;;;;;;;;;;;;:36;;;;:::i;:::-;2453:7;:14;2461:5;2453:14;;;;;;;;;;;;;;;:26;2468:10;2453:26;;;;;;;;;;;;;;;:65;;;;2563:9;2547:8;:15;2556:5;2547:15;;;;;;;;;;;;;;;;:25;;;;:::i;:::-;2529:8;:15;2538:5;2529:15;;;;;;;;;;;;;;;:43;;;;2604:5;2588:33;;2597:5;2588:33;;;2611:9;2588:33;;;;;;:::i;:::-;;;;;;;;2639:4;2632:11;;2177:474;;;;;:::o;922:35::-;955:2;922:35;:::o;1309:124::-;1378:7;1405:8;:20;1414:10;1405:20;;;;;;;;;;;;;;;;1398:27;;1309:124;;;:::o;878:37::-;;;;;;;;;;;;;;;;;;;:::o;1441:350::-;1521:4;1559:8;:20;1568:10;1559:20;;;;;;;;;;;;;;;;1546:9;:33;;1538:42;;;;;;1635:9;1614:8;:20;1623:10;1614:20;;;;;;;;;;;;;;;;:30;;;;:::i;:::-;1591:8;:20;1600:10;1591:20;;;;;;;;;;;;;;;:53;;;;1695:9;1676:8;:18;1685:8;1676:18;;;;;;;;;;;;;;;;:28;;;;:::i;:::-;1655:8;:18;1664:8;1655:18;;;;;;;;;;;;;;;:49;;;;1741:8;1720:41;;1729:10;1720:41;;;1751:9;1720:41;;;;;;:::i;:::-;;;;;;;;1779:4;1772:11;;1441:350;;;;:::o;2031:138::-;2113:4;2137:7;:14;2145:5;2137:14;;;;;;;;;;;;;;;:24;2152:8;2137:24;;;;;;;;;;;;;;;;2130:31;;2031:138;;;;:::o;7:139:1:-;;91:6;78:20;69:29;;107:33;134:5;107:33;:::i;:::-;59:87;;;;:::o;152:139::-;;236:6;223:20;214:29;;252:33;279:5;252:33;:::i;:::-;204:87;;;;:::o;297:262::-;;405:2;393:9;384:7;380:23;376:32;373:2;;;421:1;418;411:12;373:2;464:1;489:53;534:7;525:6;514:9;510:22;489:53;:::i;:::-;479:63;;435:117;363:196;;;;:::o;565:407::-;;;690:2;678:9;669:7;665:23;661:32;658:2;;;706:1;703;696:12;658:2;749:1;774:53;819:7;810:6;799:9;795:22;774:53;:::i;:::-;764:63;;720:117;876:2;902:53;947:7;938:6;927:9;923:22;902:53;:::i;:::-;892:63;;847:118;648:324;;;;;:::o;978:552::-;;;;1120:2;1108:9;1099:7;1095:23;1091:32;1088:2;;;1136:1;1133;1126:12;1088:2;1179:1;1204:53;1249:7;1240:6;1229:9;1225:22;1204:53;:::i;:::-;1194:63;;1150:117;1306:2;1332:53;1377:7;1368:6;1357:9;1353:22;1332:53;:::i;:::-;1322:63;;1277:118;1434:2;1460:53;1505:7;1496:6;1485:9;1481:22;1460:53;:::i;:::-;1450:63;;1405:118;1078:452;;;;;:::o;1536:407::-;;;1661:2;1649:9;1640:7;1636:23;1632:32;1629:2;;;1677:1;1674;1667:12;1629:2;1720:1;1745:53;1790:7;1781:6;1770:9;1766:22;1745:53;:::i;:::-;1735:63;;1691:117;1847:2;1873:53;1918:7;1909:6;1898:9;1894:22;1873:53;:::i;:::-;1863:63;;1818:118;1619:324;;;;;:::o;1949:109::-;2030:21;2045:5;2030:21;:::i;:::-;2025:3;2018:34;2008:50;;:::o;2064:364::-;;2180:39;2213:5;2180:39;:::i;:::-;2235:71;2299:6;2294:3;2235:71;:::i;:::-;2228:78;;2315:52;2360:6;2355:3;2348:4;2341:5;2337:16;2315:52;:::i;:::-;2392:29;2414:6;2392:29;:::i;:::-;2387:3;2383:39;2376:46;;2156:272;;;;;:::o;2434:118::-;2521:24;2539:5;2521:24;:::i;:::-;2516:3;2509:37;2499:53;;:::o;2558:112::-;2641:22;2657:5;2641:22;:::i;:::-;2636:3;2629:35;2619:51;;:::o;2676:210::-;;2801:2;2790:9;2786:18;2778:26;;2814:65;2876:1;2865:9;2861:17;2852:6;2814:65;:::i;:::-;2768:118;;;;:::o;2892:313::-;;3043:2;3032:9;3028:18;3020:26;;3092:9;3086:4;3082:20;3078:1;3067:9;3063:17;3056:47;3120:78;3193:4;3184:6;3120:78;:::i;:::-;3112:86;;3010:195;;;;:::o;3211:222::-;;3342:2;3331:9;3327:18;3319:26;;3355:71;3423:1;3412:9;3408:17;3399:6;3355:71;:::i;:::-;3309:124;;;;:::o;3439:214::-;;3566:2;3555:9;3551:18;3543:26;;3579:67;3643:1;3632:9;3628:17;3619:6;3579:67;:::i;:::-;3533:120;;;;:::o;3659:99::-;;3745:5;3739:12;3729:22;;3718:40;;;:::o;3764:169::-;;3882:6;3877:3;3870:19;3922:4;3917:3;3913:14;3898:29;;3860:73;;;;:::o;3939:305::-;;3998:20;4016:1;3998:20;:::i;:::-;3993:25;;4032:20;4050:1;4032:20;:::i;:::-;4027:25;;4186:1;4118:66;4114:74;4111:1;4108:81;4105:2;;;4192:18;;:::i;:::-;4105:2;4236:1;4233;4229:9;4222:16;;3983:261;;;;:::o;4250:191::-;;4310:20;4328:1;4310:20;:::i;:::-;4305:25;;4344:20;4362:1;4344:20;:::i;:::-;4339:25;;4383:1;4380;4377:8;4374:2;;;4388:18;;:::i;:::-;4374:2;4433:1;4430;4426:9;4418:17;;4295:146;;;;:::o;4447:96::-;;4513:24;4531:5;4513:24;:::i;:::-;4502:35;;4492:51;;;:::o;4549:90::-;;4626:5;4619:13;4612:21;4601:32;;4591:48;;;:::o;4645:126::-;;4722:42;4715:5;4711:54;4700:65;;4690:81;;;:::o;4777:77::-;;4843:5;4832:16;;4822:32;;;:::o;4860:86::-;;4935:4;4928:5;4924:16;4913:27;;4903:43;;;:::o;4952:307::-;5020:1;5030:113;5044:6;5041:1;5038:13;5030:113;;;5129:1;5124:3;5120:11;5114:18;5110:1;5105:3;5101:11;5094:39;5066:2;5063:1;5059:10;5054:15;;5030:113;;;5161:6;5158:1;5155:13;5152:2;;;5241:1;5232:6;5227:3;5223:16;5216:27;5152:2;5001:258;;;;:::o;5265:180::-;5313:77;5310:1;5303:88;5410:4;5407:1;5400:15;5434:4;5431:1;5424:15;5451:102;;5543:2;5539:7;5534:2;5527:5;5523:14;5519:28;5509:38;;5499:54;;;:::o;5559:122::-;5632:24;5650:5;5632:24;:::i;:::-;5625:5;5622:35;5612:2;;5671:1;5668;5661:12;5612:2;5602:79;:::o;5687:122::-;5760:24;5778:5;5760:24;:::i;:::-;5753:5;5750:35;5740:2;;5799:1;5796;5789:12;5740:2;5730:79;:::o

ipfs://9baf8ec90dd6a9ff0e6f9a4a9e0fa2bf59a9d3bc3d93edb3f276dcec81acabd2