Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

 contract SharkCoin *    - function balanceOf(address _owner)    - function transfer(address _to, uint25 ...    - function transferFrom(address _from, ...    - function approve(address _spender, ui ...    - function allowance(address _owner, ad ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-08-08
*/

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.0;

contract SharkCoin {
    string public constant name = "Shark Coin";
    string public constant symbol = "SHARK";
    uint8 public constant decimals = 18;  
    uint256 public totalSupply = 100000000000 * (10 ** uint256(decimals));

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

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

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

    function transfer(address _to, uint256 _value) public returns (bool success) {
        require(balances[msg.sender] >= _value, "Insufficient balance.");
        balances[msg.sender] -= _value;
        balances[_to] += _value;
        emit Transfer(msg.sender, _to, _value);
        return true;
    }

    function transferFrom(address _from, address _to, uint256 _value) public returns (bool success) {
        uint256 currentAllowance = allowed[_from][msg.sender];
        require(balances[_from] >= _value && currentAllowance >= _value, "Insufficient balance or allowance.");
        balances[_to] += _value;
        balances[_from] -= _value;
        if (currentAllowance < type(uint256).max) {
            allowed[_from][msg.sender] -= _value;
        }
        emit Transfer(_from, _to, _value);
        return true;
    }

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

    function allowance(address _owner, address _spender) public view returns (uint256 remaining) {
        return allowed[_owner][_spender];
    }

    event Transfer(address indexed _from, address indexed _to, uint256 _value);
    event Approval(address indexed _owner, address indexed _spender, uint256 _value);
}

• 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":"_spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"remaining","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_spender","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_owner","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"balance","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":"_to","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_from","type":"address"},{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"}]

6080604052601260ff16600a62000017919062000213565b64174876e80062000029919062000264565b6000553480156200003957600080fd5b50600054600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550620002af565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60008160011c9050919050565b6000808291508390505b60018511156200011457808604811115620000ec57620000eb62000086565b5b6001851615620000fc5780820291505b80810290506200010c85620000b5565b9450620000cc565b94509492505050565b6000826200012f576001905062000202565b816200013f576000905062000202565b8160018114620001585760028114620001635762000199565b600191505062000202565b60ff84111562000178576200017762000086565b5b8360020a91508482111562000192576200019162000086565b5b5062000202565b5060208310610133831016604e8410600b8410161715620001d35782820a905083811115620001cd57620001cc62000086565b5b62000202565b620001e28484846001620000c2565b92509050818404811115620001fc57620001fb62000086565b5b81810290505b9392505050565b6000819050919050565b6000620002208262000209565b91506200022d8362000209565b92506200025c7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff84846200011d565b905092915050565b6000620002718262000209565b91506200027e8362000209565b92508282026200028e8162000209565b91508282048414831517620002a857620002a762000086565b5b5092915050565b610d7480620002bf6000396000f3fe608060405234801561001057600080fd5b50600436106100935760003560e01c8063313ce56711610066578063313ce5671461013457806370a082311461015257806395d89b4114610182578063a9059cbb146101a0578063dd62ed3e146101d057610093565b806306fdde0314610098578063095ea7b3146100b657806318160ddd146100e657806323b872dd14610104575b600080fd5b6100a0610200565b6040516100ad9190610957565b60405180910390f35b6100d060048036038101906100cb9190610a12565b610239565b6040516100dd9190610a6d565b60405180910390f35b6100ee61032b565b6040516100fb9190610a97565b60405180910390f35b61011e60048036038101906101199190610ab2565b610331565b60405161012b9190610a6d565b60405180910390f35b61013c61061a565b6040516101499190610b21565b60405180910390f35b61016c60048036038101906101679190610b3c565b61061f565b6040516101799190610a97565b60405180910390f35b61018a610668565b6040516101979190610957565b60405180910390f35b6101ba60048036038101906101b59190610a12565b6106a1565b6040516101c79190610a6d565b60405180910390f35b6101ea60048036038101906101e59190610b69565b610840565b6040516101f79190610a97565b60405180910390f35b6040518060400160405280600a81526020017f536861726b20436f696e0000000000000000000000000000000000000000000081525081565b600081600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516103199190610a97565b60405180910390a36001905092915050565b60005481565b600080600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905082600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101580156104025750828110155b610441576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161043890610c1b565b60405180910390fd5b82600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546104909190610c6a565b9250508190555082600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546104e69190610c9e565b925050819055507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8110156105a95782600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546105a19190610c9e565b925050819055505b8373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040516106069190610a97565b60405180910390a360019150509392505050565b601281565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6040518060400160405280600581526020017f534841524b00000000000000000000000000000000000000000000000000000081525081565b600081600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610725576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161071c90610d1e565b60405180910390fd5b81600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546107749190610c9e565b9250508190555081600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546107ca9190610c6a565b925050819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161082e9190610a97565b60405180910390a36001905092915050565b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600081519050919050565b600082825260208201905092915050565b60005b838110156109015780820151818401526020810190506108e6565b60008484015250505050565b6000601f19601f8301169050919050565b6000610929826108c7565b61093381856108d2565b93506109438185602086016108e3565b61094c8161090d565b840191505092915050565b60006020820190508181036000830152610971818461091e565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b60006109a98261097e565b9050919050565b6109b98161099e565b81146109c457600080fd5b50565b6000813590506109d6816109b0565b92915050565b6000819050919050565b6109ef816109dc565b81146109fa57600080fd5b50565b600081359050610a0c816109e6565b92915050565b60008060408385031215610a2957610a28610979565b5b6000610a37858286016109c7565b9250506020610a48858286016109fd565b9150509250929050565b60008115159050919050565b610a6781610a52565b82525050565b6000602082019050610a826000830184610a5e565b92915050565b610a91816109dc565b82525050565b6000602082019050610aac6000830184610a88565b92915050565b600080600060608486031215610acb57610aca610979565b5b6000610ad9868287016109c7565b9350506020610aea868287016109c7565b9250506040610afb868287016109fd565b9150509250925092565b600060ff82169050919050565b610b1b81610b05565b82525050565b6000602082019050610b366000830184610b12565b92915050565b600060208284031215610b5257610b51610979565b5b6000610b60848285016109c7565b91505092915050565b60008060408385031215610b8057610b7f610979565b5b6000610b8e858286016109c7565b9250506020610b9f858286016109c7565b9150509250929050565b7f496e73756666696369656e742062616c616e6365206f7220616c6c6f77616e6360008201527f652e000000000000000000000000000000000000000000000000000000000000602082015250565b6000610c056022836108d2565b9150610c1082610ba9565b604082019050919050565b60006020820190508181036000830152610c3481610bf8565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000610c75826109dc565b9150610c80836109dc565b9250828201905080821115610c9857610c97610c3b565b5b92915050565b6000610ca9826109dc565b9150610cb4836109dc565b9250828203905081811115610ccc57610ccb610c3b565b5b92915050565b7f496e73756666696369656e742062616c616e63652e0000000000000000000000600082015250565b6000610d086015836108d2565b9150610d1382610cd2565b602082019050919050565b60006020820190508181036000830152610d3781610cfb565b905091905056fea2646970667358221220328a535de4d2f3f4cc90ff39bba9efbb2074e9d8cf48fec44b1a51cdbe36d32a64736f6c63430008120033

0x608060405234801561001057600080fd5b50600436106100935760003560e01c8063313ce56711610066578063313ce5671461013457806370a082311461015257806395d89b4114610182578063a9059cbb146101a0578063dd62ed3e146101d057610093565b806306fdde0314610098578063095ea7b3146100b657806318160ddd146100e657806323b872dd14610104575b600080fd5b6100a0610200565b6040516100ad9190610957565b60405180910390f35b6100d060048036038101906100cb9190610a12565b610239565b6040516100dd9190610a6d565b60405180910390f35b6100ee61032b565b6040516100fb9190610a97565b60405180910390f35b61011e60048036038101906101199190610ab2565b610331565b60405161012b9190610a6d565b60405180910390f35b61013c61061a565b6040516101499190610b21565b60405180910390f35b61016c60048036038101906101679190610b3c565b61061f565b6040516101799190610a97565b60405180910390f35b61018a610668565b6040516101979190610957565b60405180910390f35b6101ba60048036038101906101b59190610a12565b6106a1565b6040516101c79190610a6d565b60405180910390f35b6101ea60048036038101906101e59190610b69565b610840565b6040516101f79190610a97565b60405180910390f35b6040518060400160405280600a81526020017f536861726b20436f696e0000000000000000000000000000000000000000000081525081565b600081600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516103199190610a97565b60405180910390a36001905092915050565b60005481565b600080600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905082600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101580156104025750828110155b610441576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161043890610c1b565b60405180910390fd5b82600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546104909190610c6a565b9250508190555082600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546104e69190610c9e565b925050819055507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8110156105a95782600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546105a19190610c9e565b925050819055505b8373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040516106069190610a97565b60405180910390a360019150509392505050565b601281565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6040518060400160405280600581526020017f534841524b00000000000000000000000000000000000000000000000000000081525081565b600081600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610725576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161071c90610d1e565b60405180910390fd5b81600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546107749190610c9e565b9250508190555081600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546107ca9190610c6a565b925050819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161082e9190610a97565b60405180910390a36001905092915050565b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600081519050919050565b600082825260208201905092915050565b60005b838110156109015780820151818401526020810190506108e6565b60008484015250505050565b6000601f19601f8301169050919050565b6000610929826108c7565b61093381856108d2565b93506109438185602086016108e3565b61094c8161090d565b840191505092915050565b60006020820190508181036000830152610971818461091e565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b60006109a98261097e565b9050919050565b6109b98161099e565b81146109c457600080fd5b50565b6000813590506109d6816109b0565b92915050565b6000819050919050565b6109ef816109dc565b81146109fa57600080fd5b50565b600081359050610a0c816109e6565b92915050565b60008060408385031215610a2957610a28610979565b5b6000610a37858286016109c7565b9250506020610a48858286016109fd565b9150509250929050565b60008115159050919050565b610a6781610a52565b82525050565b6000602082019050610a826000830184610a5e565b92915050565b610a91816109dc565b82525050565b6000602082019050610aac6000830184610a88565b92915050565b600080600060608486031215610acb57610aca610979565b5b6000610ad9868287016109c7565b9350506020610aea868287016109c7565b9250506040610afb868287016109fd565b9150509250925092565b600060ff82169050919050565b610b1b81610b05565b82525050565b6000602082019050610b366000830184610b12565b92915050565b600060208284031215610b5257610b51610979565b5b6000610b60848285016109c7565b91505092915050565b60008060408385031215610b8057610b7f610979565b5b6000610b8e858286016109c7565b9250506020610b9f858286016109c7565b9150509250929050565b7f496e73756666696369656e742062616c616e6365206f7220616c6c6f77616e6360008201527f652e000000000000000000000000000000000000000000000000000000000000602082015250565b6000610c056022836108d2565b9150610c1082610ba9565b604082019050919050565b60006020820190508181036000830152610c3481610bf8565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000610c75826109dc565b9150610c80836109dc565b9250828201905080821115610c9857610c97610c3b565b5b92915050565b6000610ca9826109dc565b9150610cb4836109dc565b9250828203905081811115610ccc57610ccb610c3b565b5b92915050565b7f496e73756666696369656e742062616c616e63652e0000000000000000000000600082015250565b6000610d086015836108d2565b9150610d1382610cd2565b602082019050919050565b60006020820190508181036000830152610d3781610cfb565b905091905056fea2646970667358221220328a535de4d2f3f4cc90ff39bba9efbb2074e9d8cf48fec44b1a51cdbe36d32a64736f6c63430008120033

60:1942:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;86:42;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1463:214;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;225:69;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;923:532;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;181:35;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;486:115;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;135:39;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;609:306;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1685:144;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;86:42;;;;;;;;;;;;;;;;;;;:::o;1463:214::-;1530:12;1587:6;1555:7;:19;1563:10;1555:19;;;;;;;;;;;;;;;:29;1575:8;1555:29;;;;;;;;;;;;;;;:38;;;;1630:8;1609:38;;1618:10;1609:38;;;1640:6;1609:38;;;;;;:::i;:::-;;;;;;;;1665:4;1658:11;;1463:214;;;;:::o;225:69::-;;;;:::o;923:532::-;1005:12;1030:24;1057:7;:14;1065:5;1057:14;;;;;;;;;;;;;;;:26;1072:10;1057:26;;;;;;;;;;;;;;;;1030:53;;1121:6;1102:8;:15;1111:5;1102:15;;;;;;;;;;;;;;;;:25;;:55;;;;;1151:6;1131:16;:26;;1102:55;1094:102;;;;;;;;;;;;:::i;:::-;;;;;;;;;1224:6;1207:8;:13;1216:3;1207:13;;;;;;;;;;;;;;;;:23;;;;;;;:::i;:::-;;;;;;;;1260:6;1241:8;:15;1250:5;1241:15;;;;;;;;;;;;;;;;:25;;;;;;;:::i;:::-;;;;;;;;1300:17;1281:16;:36;1277:105;;;1364:6;1334:7;:14;1342:5;1334:14;;;;;;;;;;;;;;;:26;1349:10;1334:26;;;;;;;;;;;;;;;;:36;;;;;;;:::i;:::-;;;;;;;;1277:105;1413:3;1397:28;;1406:5;1397:28;;;1418:6;1397:28;;;;;;:::i;:::-;;;;;;;;1443:4;1436:11;;;923:532;;;;;:::o;181:35::-;214:2;181:35;:::o;486:115::-;542:15;577:8;:16;586:6;577:16;;;;;;;;;;;;;;;;570:23;;486:115;;;:::o;135:39::-;;;;;;;;;;;;;;;;;;;:::o;609:306::-;672:12;729:6;705:8;:20;714:10;705:20;;;;;;;;;;;;;;;;:30;;697:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;796:6;772:8;:20;781:10;772:20;;;;;;;;;;;;;;;;:30;;;;;;;:::i;:::-;;;;;;;;830:6;813:8;:13;822:3;813:13;;;;;;;;;;;;;;;;:23;;;;;;;:::i;:::-;;;;;;;;873:3;852:33;;861:10;852:33;;;878:6;852:33;;;;;;:::i;:::-;;;;;;;;903:4;896:11;;609:306;;;;:::o;1685:144::-;1759:17;1796:7;:15;1804:6;1796:15;;;;;;;;;;;;;;;:25;1812:8;1796:25;;;;;;;;;;;;;;;;1789:32;;1685:144;;;;:::o;7:99:1:-;59:6;93:5;87:12;77:22;;7:99;;;:::o;112:169::-;196:11;230:6;225:3;218:19;270:4;265:3;261:14;246:29;;112:169;;;;:::o;287:246::-;368:1;378:113;392:6;389:1;386:13;378:113;;;477:1;472:3;468:11;462:18;458:1;453:3;449:11;442:39;414:2;411:1;407:10;402:15;;378:113;;;525:1;516:6;511:3;507:16;500:27;349:184;287:246;;;:::o;539:102::-;580:6;631:2;627:7;622:2;615:5;611:14;607:28;597:38;;539:102;;;:::o;647:377::-;735:3;763:39;796:5;763:39;:::i;:::-;818:71;882:6;877:3;818:71;:::i;:::-;811:78;;898:65;956:6;951:3;944:4;937:5;933:16;898:65;:::i;:::-;988:29;1010:6;988:29;:::i;:::-;983:3;979:39;972:46;;739:285;647:377;;;;:::o;1030:313::-;1143:4;1181:2;1170:9;1166:18;1158:26;;1230:9;1224:4;1220:20;1216:1;1205:9;1201:17;1194:47;1258:78;1331:4;1322:6;1258:78;:::i;:::-;1250:86;;1030:313;;;;:::o;1430:117::-;1539:1;1536;1529:12;1676:126;1713:7;1753:42;1746:5;1742:54;1731:65;;1676:126;;;:::o;1808:96::-;1845:7;1874:24;1892:5;1874:24;:::i;:::-;1863:35;;1808:96;;;:::o;1910:122::-;1983:24;2001:5;1983:24;:::i;:::-;1976:5;1973:35;1963:63;;2022:1;2019;2012:12;1963:63;1910:122;:::o;2038:139::-;2084:5;2122:6;2109:20;2100:29;;2138:33;2165:5;2138:33;:::i;:::-;2038:139;;;;:::o;2183:77::-;2220:7;2249:5;2238:16;;2183:77;;;:::o;2266:122::-;2339:24;2357:5;2339:24;:::i;:::-;2332:5;2329:35;2319:63;;2378:1;2375;2368:12;2319:63;2266:122;:::o;2394:139::-;2440:5;2478:6;2465:20;2456:29;;2494:33;2521:5;2494:33;:::i;:::-;2394:139;;;;:::o;2539:474::-;2607:6;2615;2664:2;2652:9;2643:7;2639:23;2635:32;2632:119;;;2670:79;;:::i;:::-;2632:119;2790:1;2815:53;2860:7;2851:6;2840:9;2836:22;2815:53;:::i;:::-;2805:63;;2761:117;2917:2;2943:53;2988:7;2979:6;2968:9;2964:22;2943:53;:::i;:::-;2933:63;;2888:118;2539:474;;;;;:::o;3019:90::-;3053:7;3096:5;3089:13;3082:21;3071:32;;3019:90;;;:::o;3115:109::-;3196:21;3211:5;3196:21;:::i;:::-;3191:3;3184:34;3115:109;;:::o;3230:210::-;3317:4;3355:2;3344:9;3340:18;3332:26;;3368:65;3430:1;3419:9;3415:17;3406:6;3368:65;:::i;:::-;3230:210;;;;:::o;3446:118::-;3533:24;3551:5;3533:24;:::i;:::-;3528:3;3521:37;3446:118;;:::o;3570:222::-;3663:4;3701:2;3690:9;3686:18;3678:26;;3714:71;3782:1;3771:9;3767:17;3758:6;3714:71;:::i;:::-;3570:222;;;;:::o;3798:619::-;3875:6;3883;3891;3940:2;3928:9;3919:7;3915:23;3911:32;3908:119;;;3946:79;;:::i;:::-;3908:119;4066:1;4091:53;4136:7;4127:6;4116:9;4112:22;4091:53;:::i;:::-;4081:63;;4037:117;4193:2;4219:53;4264:7;4255:6;4244:9;4240:22;4219:53;:::i;:::-;4209:63;;4164:118;4321:2;4347:53;4392:7;4383:6;4372:9;4368:22;4347:53;:::i;:::-;4337:63;;4292:118;3798:619;;;;;:::o;4423:86::-;4458:7;4498:4;4491:5;4487:16;4476:27;;4423:86;;;:::o;4515:112::-;4598:22;4614:5;4598:22;:::i;:::-;4593:3;4586:35;4515:112;;:::o;4633:214::-;4722:4;4760:2;4749:9;4745:18;4737:26;;4773:67;4837:1;4826:9;4822:17;4813:6;4773:67;:::i;:::-;4633:214;;;;:::o;4853:329::-;4912:6;4961:2;4949:9;4940:7;4936:23;4932:32;4929:119;;;4967:79;;:::i;:::-;4929:119;5087:1;5112:53;5157:7;5148:6;5137:9;5133:22;5112:53;:::i;:::-;5102:63;;5058:117;4853:329;;;;:::o;5188:474::-;5256:6;5264;5313:2;5301:9;5292:7;5288:23;5284:32;5281:119;;;5319:79;;:::i;:::-;5281:119;5439:1;5464:53;5509:7;5500:6;5489:9;5485:22;5464:53;:::i;:::-;5454:63;;5410:117;5566:2;5592:53;5637:7;5628:6;5617:9;5613:22;5592:53;:::i;:::-;5582:63;;5537:118;5188:474;;;;;:::o;5668:221::-;5808:34;5804:1;5796:6;5792:14;5785:58;5877:4;5872:2;5864:6;5860:15;5853:29;5668:221;:::o;5895:366::-;6037:3;6058:67;6122:2;6117:3;6058:67;:::i;:::-;6051:74;;6134:93;6223:3;6134:93;:::i;:::-;6252:2;6247:3;6243:12;6236:19;;5895:366;;;:::o;6267:419::-;6433:4;6471:2;6460:9;6456:18;6448:26;;6520:9;6514:4;6510:20;6506:1;6495:9;6491:17;6484:47;6548:131;6674:4;6548:131;:::i;:::-;6540:139;;6267:419;;;:::o;6692:180::-;6740:77;6737:1;6730:88;6837:4;6834:1;6827:15;6861:4;6858:1;6851:15;6878:191;6918:3;6937:20;6955:1;6937:20;:::i;:::-;6932:25;;6971:20;6989:1;6971:20;:::i;:::-;6966:25;;7014:1;7011;7007:9;7000:16;;7035:3;7032:1;7029:10;7026:36;;;7042:18;;:::i;:::-;7026:36;6878:191;;;;:::o;7075:194::-;7115:4;7135:20;7153:1;7135:20;:::i;:::-;7130:25;;7169:20;7187:1;7169:20;:::i;:::-;7164:25;;7213:1;7210;7206:9;7198:17;;7237:1;7231:4;7228:11;7225:37;;;7242:18;;:::i;:::-;7225:37;7075:194;;;;:::o;7275:171::-;7415:23;7411:1;7403:6;7399:14;7392:47;7275:171;:::o;7452:366::-;7594:3;7615:67;7679:2;7674:3;7615:67;:::i;:::-;7608:74;;7691:93;7780:3;7691:93;:::i;:::-;7809:2;7804:3;7800:12;7793:19;;7452:366;;;:::o;7824:419::-;7990:4;8028:2;8017:9;8013:18;8005:26;;8077:9;8071:4;8067:20;8063:1;8052:9;8048:17;8041:47;8105:131;8231:4;8105:131;:::i;:::-;8097:139;;7824:419;;;:::o

ipfs://328a535de4d2f3f4cc90ff39bba9efbb2074e9d8cf48fec44b1a51cdbe36d32a