Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•  contract Token *
•    - function balanceOf(address owner)
•    - function transfer(address to, uint va ...
•    - function transferFrom(address from, a ...
•    - function approve(address spender, uin ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

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

contract Token {
    mapping(address => uint) public balances;
    mapping(address => mapping(address => uint)) public allowance;
    uint public totalSupply = 666666666 * 10 ** 18;
    string public name = "DEMON";
    string public symbol = "DMN";
    uint public decimals = 18;
    
    event Transfer(address indexed from, address indexed to, uint value);
    event Approval(address indexed owner, address indexed spender, uint value);
    
    constructor() {
        balances[msg.sender] = totalSupply;
    }
    
    function balanceOf(address owner) public view returns(uint) {
        return balances[owner];
    }
    
    function transfer(address to, uint value) public returns(bool) {
        require(balanceOf(msg.sender) >= value, 'balance too low');
        balances[to] += value;
        balances[msg.sender] -= value;
       emit Transfer(msg.sender, to, value);
        return true;
    }
    
    function transferFrom(address from, address to, uint value) public returns(bool) {
        require(balanceOf(from) >= value, 'balance too low');
        require(allowance[from][msg.sender] >= value, 'allowance too low');
        balances[to] += value;
        balances[from] -= value;
        emit Transfer(from, to, value);
        return true;   
    }
    
    function approve(address spender, uint value) public returns (bool) {
        allowance[msg.sender][spender] = value;
        emit Approval(msg.sender, spender, value);
        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":"","type":"address"},{"internalType":"address","name":"","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","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":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"balances","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"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":"","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":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"}]

60806040526b02277428614a865b806800006002556040518060400160405280600581526020017f44454d4f4e000000000000000000000000000000000000000000000000000000815250600390816200005a91906200037a565b506040518060400160405280600381526020017f444d4e000000000000000000000000000000000000000000000000000000000081525060049081620000a191906200037a565b506012600555348015620000b457600080fd5b506002546000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555062000461565b600081519050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b600060028204905060018216806200018257607f821691505b6020821081036200019857620001976200013a565b5b50919050565b60008190508160005260206000209050919050565b60006020601f8301049050919050565b600082821b905092915050565b600060088302620002027fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82620001c3565b6200020e8683620001c3565b95508019841693508086168417925050509392505050565b6000819050919050565b6000819050919050565b60006200025b620002556200024f8462000226565b62000230565b62000226565b9050919050565b6000819050919050565b62000277836200023a565b6200028f620002868262000262565b848454620001d0565b825550505050565b600090565b620002a662000297565b620002b38184846200026c565b505050565b5b81811015620002db57620002cf6000826200029c565b600181019050620002b9565b5050565b601f8211156200032a57620002f4816200019e565b620002ff84620001b3565b810160208510156200030f578190505b620003276200031e85620001b3565b830182620002b8565b50505b505050565b600082821c905092915050565b60006200034f600019846008026200032f565b1980831691505092915050565b60006200036a83836200033c565b9150826002028217905092915050565b620003858262000100565b67ffffffffffffffff811115620003a157620003a06200010b565b5b620003ad825462000169565b620003ba828285620002df565b600060209050601f831160018114620003f25760008415620003dd578287015190505b620003e985826200035c565b86555062000459565b601f19841662000402866200019e565b60005b828110156200042c5784890151825560018201915060208501945060208101905062000405565b868310156200044c578489015162000448601f8916826200033c565b8355505b6001600288020188555050505b505050505050565b610d1680620004716000396000f3fe608060405234801561001057600080fd5b506004361061009e5760003560e01c8063313ce56711610066578063313ce5671461016f57806370a082311461018d57806395d89b41146101bd578063a9059cbb146101db578063dd62ed3e1461020b5761009e565b806306fdde03146100a3578063095ea7b3146100c157806318160ddd146100f157806323b872dd1461010f57806327e235e31461013f575b600080fd5b6100ab61023b565b6040516100b891906108f6565b60405180910390f35b6100db60048036038101906100d691906109b1565b6102c9565b6040516100e89190610a0c565b60405180910390f35b6100f96103bb565b6040516101069190610a36565b60405180910390f35b61012960048036038101906101249190610a51565b6103c1565b6040516101369190610a0c565b60405180910390f35b61015960048036038101906101549190610aa4565b6105e7565b6040516101669190610a36565b60405180910390f35b6101776105ff565b6040516101849190610a36565b60405180910390f35b6101a760048036038101906101a29190610aa4565b610605565b6040516101b49190610a36565b60405180910390f35b6101c561064d565b6040516101d291906108f6565b60405180910390f35b6101f560048036038101906101f091906109b1565b6106db565b6040516102029190610a0c565b60405180910390f35b61022560048036038101906102209190610ad1565b610841565b6040516102329190610a36565b60405180910390f35b6003805461024890610b40565b80601f016020809104026020016040519081016040528092919081815260200182805461027490610b40565b80156102c15780601f10610296576101008083540402835291602001916102c1565b820191906000526020600020905b8154815290600101906020018083116102a457829003601f168201915b505050505081565b600081600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516103a99190610a36565b60405180910390a36001905092915050565b60025481565b6000816103cd85610605565b101561040e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161040590610bbd565b60405180910390fd5b81600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410156104cd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104c490610c29565b60405180910390fd5b816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461051b9190610c78565b92505081905550816000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546105709190610cac565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516105d49190610a36565b60405180910390a3600190509392505050565b60006020528060005260406000206000915090505481565b60055481565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6004805461065a90610b40565b80601f016020809104026020016040519081016040528092919081815260200182805461068690610b40565b80156106d35780601f106106a8576101008083540402835291602001916106d3565b820191906000526020600020905b8154815290600101906020018083116106b657829003601f168201915b505050505081565b6000816106e733610605565b1015610728576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161071f90610bbd565b60405180910390fd5b816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546107769190610c78565b92505081905550816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546107cb9190610cac565b925050819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161082f9190610a36565b60405180910390a36001905092915050565b6001602052816000526040600020602052806000526040600020600091509150505481565b600081519050919050565b600082825260208201905092915050565b60005b838110156108a0578082015181840152602081019050610885565b60008484015250505050565b6000601f19601f8301169050919050565b60006108c882610866565b6108d28185610871565b93506108e2818560208601610882565b6108eb816108ac565b840191505092915050565b6000602082019050818103600083015261091081846108bd565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b60006109488261091d565b9050919050565b6109588161093d565b811461096357600080fd5b50565b6000813590506109758161094f565b92915050565b6000819050919050565b61098e8161097b565b811461099957600080fd5b50565b6000813590506109ab81610985565b92915050565b600080604083850312156109c8576109c7610918565b5b60006109d685828601610966565b92505060206109e78582860161099c565b9150509250929050565b60008115159050919050565b610a06816109f1565b82525050565b6000602082019050610a2160008301846109fd565b92915050565b610a308161097b565b82525050565b6000602082019050610a4b6000830184610a27565b92915050565b600080600060608486031215610a6a57610a69610918565b5b6000610a7886828701610966565b9350506020610a8986828701610966565b9250506040610a9a8682870161099c565b9150509250925092565b600060208284031215610aba57610ab9610918565b5b6000610ac884828501610966565b91505092915050565b60008060408385031215610ae857610ae7610918565b5b6000610af685828601610966565b9250506020610b0785828601610966565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b60006002820490506001821680610b5857607f821691505b602082108103610b6b57610b6a610b11565b5b50919050565b7f62616c616e636520746f6f206c6f770000000000000000000000000000000000600082015250565b6000610ba7600f83610871565b9150610bb282610b71565b602082019050919050565b60006020820190508181036000830152610bd681610b9a565b9050919050565b7f616c6c6f77616e636520746f6f206c6f77000000000000000000000000000000600082015250565b6000610c13601183610871565b9150610c1e82610bdd565b602082019050919050565b60006020820190508181036000830152610c4281610c06565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000610c838261097b565b9150610c8e8361097b565b9250828201905080821115610ca657610ca5610c49565b5b92915050565b6000610cb78261097b565b9150610cc28361097b565b9250828203905081811115610cda57610cd9610c49565b5b9291505056fea26469706673582212207f42b0ac04ef699eb3fcdbe5e3070a5ce5838df0c7c0241ca2ea5fa14e45336964736f6c63430008120033

0x608060405234801561001057600080fd5b506004361061009e5760003560e01c8063313ce56711610066578063313ce5671461016f57806370a082311461018d57806395d89b41146101bd578063a9059cbb146101db578063dd62ed3e1461020b5761009e565b806306fdde03146100a3578063095ea7b3146100c157806318160ddd146100f157806323b872dd1461010f57806327e235e31461013f575b600080fd5b6100ab61023b565b6040516100b891906108f6565b60405180910390f35b6100db60048036038101906100d691906109b1565b6102c9565b6040516100e89190610a0c565b60405180910390f35b6100f96103bb565b6040516101069190610a36565b60405180910390f35b61012960048036038101906101249190610a51565b6103c1565b6040516101369190610a0c565b60405180910390f35b61015960048036038101906101549190610aa4565b6105e7565b6040516101669190610a36565b60405180910390f35b6101776105ff565b6040516101849190610a36565b60405180910390f35b6101a760048036038101906101a29190610aa4565b610605565b6040516101b49190610a36565b60405180910390f35b6101c561064d565b6040516101d291906108f6565b60405180910390f35b6101f560048036038101906101f091906109b1565b6106db565b6040516102029190610a0c565b60405180910390f35b61022560048036038101906102209190610ad1565b610841565b6040516102329190610a36565b60405180910390f35b6003805461024890610b40565b80601f016020809104026020016040519081016040528092919081815260200182805461027490610b40565b80156102c15780601f10610296576101008083540402835291602001916102c1565b820191906000526020600020905b8154815290600101906020018083116102a457829003601f168201915b505050505081565b600081600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516103a99190610a36565b60405180910390a36001905092915050565b60025481565b6000816103cd85610605565b101561040e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161040590610bbd565b60405180910390fd5b81600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410156104cd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104c490610c29565b60405180910390fd5b816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461051b9190610c78565b92505081905550816000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546105709190610cac565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516105d49190610a36565b60405180910390a3600190509392505050565b60006020528060005260406000206000915090505481565b60055481565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6004805461065a90610b40565b80601f016020809104026020016040519081016040528092919081815260200182805461068690610b40565b80156106d35780601f106106a8576101008083540402835291602001916106d3565b820191906000526020600020905b8154815290600101906020018083116106b657829003601f168201915b505050505081565b6000816106e733610605565b1015610728576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161071f90610bbd565b60405180910390fd5b816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546107769190610c78565b92505081905550816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546107cb9190610cac565b925050819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161082f9190610a36565b60405180910390a36001905092915050565b6001602052816000526040600020602052806000526040600020600091509150505481565b600081519050919050565b600082825260208201905092915050565b60005b838110156108a0578082015181840152602081019050610885565b60008484015250505050565b6000601f19601f8301169050919050565b60006108c882610866565b6108d28185610871565b93506108e2818560208601610882565b6108eb816108ac565b840191505092915050565b6000602082019050818103600083015261091081846108bd565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b60006109488261091d565b9050919050565b6109588161093d565b811461096357600080fd5b50565b6000813590506109758161094f565b92915050565b6000819050919050565b61098e8161097b565b811461099957600080fd5b50565b6000813590506109ab81610985565b92915050565b600080604083850312156109c8576109c7610918565b5b60006109d685828601610966565b92505060206109e78582860161099c565b9150509250929050565b60008115159050919050565b610a06816109f1565b82525050565b6000602082019050610a2160008301846109fd565b92915050565b610a308161097b565b82525050565b6000602082019050610a4b6000830184610a27565b92915050565b600080600060608486031215610a6a57610a69610918565b5b6000610a7886828701610966565b9350506020610a8986828701610966565b9250506040610a9a8682870161099c565b9150509250925092565b600060208284031215610aba57610ab9610918565b5b6000610ac884828501610966565b91505092915050565b60008060408385031215610ae857610ae7610918565b5b6000610af685828601610966565b9250506020610b0785828601610966565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b60006002820490506001821680610b5857607f821691505b602082108103610b6b57610b6a610b11565b5b50919050565b7f62616c616e636520746f6f206c6f770000000000000000000000000000000000600082015250565b6000610ba7600f83610871565b9150610bb282610b71565b602082019050919050565b60006020820190508181036000830152610bd681610b9a565b9050919050565b7f616c6c6f77616e636520746f6f206c6f77000000000000000000000000000000600082015250565b6000610c13601183610871565b9150610c1e82610bdd565b602082019050919050565b60006020820190508181036000830152610c4281610c06565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000610c838261097b565b9150610c8e8361097b565b9250828201905080821115610ca657610ca5610c49565b5b92915050565b6000610cb78261097b565b9150610cc28361097b565b9250828203905081811115610cda57610cd9610c49565b5b9291505056fea26469706673582212207f42b0ac04ef699eb3fcdbe5e3070a5ce5838df0c7c0241ca2ea5fa14e45336964736f6c63430008120033

60:1522:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;250:28;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1377:202;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;197:46;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1004:361;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;82:40;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;320:25;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;599:101;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;285:28;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;712:280;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;129:61;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;250:28;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1377:202::-;1439:4;1489:5;1456:9;:21;1466:10;1456:21;;;;;;;;;;;;;;;:30;1478:7;1456:30;;;;;;;;;;;;;;;:38;;;;1531:7;1510:36;;1519:10;1510:36;;;1540:5;1510:36;;;;;;:::i;:::-;;;;;;;;1564:4;1557:11;;1377:202;;;;:::o;197:46::-;;;;:::o;1004:361::-;1079:4;1123:5;1104:15;1114:4;1104:9;:15::i;:::-;:24;;1096:52;;;;;;;;;;;;:::i;:::-;;;;;;;;;1198:5;1167:9;:15;1177:4;1167:15;;;;;;;;;;;;;;;:27;1183:10;1167:27;;;;;;;;;;;;;;;;:36;;1159:66;;;;;;;;;;;;:::i;:::-;;;;;;;;;1252:5;1236:8;:12;1245:2;1236:12;;;;;;;;;;;;;;;;:21;;;;;;;:::i;:::-;;;;;;;;1286:5;1268:8;:14;1277:4;1268:14;;;;;;;;;;;;;;;;:23;;;;;;;:::i;:::-;;;;;;;;1322:2;1307:25;;1316:4;1307:25;;;1326:5;1307:25;;;;;;:::i;:::-;;;;;;;;1350:4;1343:11;;1004:361;;;;;:::o;82:40::-;;;;;;;;;;;;;;;;;:::o;320:25::-;;;;:::o;599:101::-;653:4;677:8;:15;686:5;677:15;;;;;;;;;;;;;;;;670:22;;599:101;;;:::o;285:28::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;712:280::-;769:4;819:5;794:21;804:10;794:9;:21::i;:::-;:30;;786:58;;;;;;;;;;;;:::i;:::-;;;;;;;;;871:5;855:8;:12;864:2;855:12;;;;;;;;;;;;;;;;:21;;;;;;;:::i;:::-;;;;;;;;911:5;887:8;:20;896:10;887:20;;;;;;;;;;;;;;;;:29;;;;;;;:::i;:::-;;;;;;;;952:2;931:31;;940:10;931:31;;;956:5;931:31;;;;;;:::i;:::-;;;;;;;;980:4;973:11;;712:280;;;;:::o;129:61::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::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:329::-;4482:6;4531:2;4519:9;4510:7;4506:23;4502:32;4499:119;;;4537:79;;:::i;:::-;4499:119;4657:1;4682:53;4727:7;4718:6;4707:9;4703:22;4682:53;:::i;:::-;4672:63;;4628:117;4423:329;;;;:::o;4758:474::-;4826:6;4834;4883:2;4871:9;4862:7;4858:23;4854:32;4851:119;;;4889:79;;:::i;:::-;4851:119;5009:1;5034:53;5079:7;5070:6;5059:9;5055:22;5034:53;:::i;:::-;5024:63;;4980:117;5136:2;5162:53;5207:7;5198:6;5187:9;5183:22;5162:53;:::i;:::-;5152:63;;5107:118;4758:474;;;;;:::o;5238:180::-;5286:77;5283:1;5276:88;5383:4;5380:1;5373:15;5407:4;5404:1;5397:15;5424:320;5468:6;5505:1;5499:4;5495:12;5485:22;;5552:1;5546:4;5542:12;5573:18;5563:81;;5629:4;5621:6;5617:17;5607:27;;5563:81;5691:2;5683:6;5680:14;5660:18;5657:38;5654:84;;5710:18;;:::i;:::-;5654:84;5475:269;5424:320;;;:::o;5750:165::-;5890:17;5886:1;5878:6;5874:14;5867:41;5750:165;:::o;5921:366::-;6063:3;6084:67;6148:2;6143:3;6084:67;:::i;:::-;6077:74;;6160:93;6249:3;6160:93;:::i;:::-;6278:2;6273:3;6269:12;6262:19;;5921:366;;;:::o;6293:419::-;6459:4;6497:2;6486:9;6482:18;6474:26;;6546:9;6540:4;6536:20;6532:1;6521:9;6517:17;6510:47;6574:131;6700:4;6574:131;:::i;:::-;6566:139;;6293:419;;;:::o;6718:167::-;6858:19;6854:1;6846:6;6842:14;6835:43;6718:167;:::o;6891:366::-;7033:3;7054:67;7118:2;7113:3;7054:67;:::i;:::-;7047:74;;7130:93;7219:3;7130:93;:::i;:::-;7248:2;7243:3;7239:12;7232:19;;6891:366;;;:::o;7263:419::-;7429:4;7467:2;7456:9;7452:18;7444:26;;7516:9;7510:4;7506:20;7502:1;7491:9;7487:17;7480:47;7544:131;7670:4;7544:131;:::i;:::-;7536:139;;7263:419;;;:::o;7688:180::-;7736:77;7733:1;7726:88;7833:4;7830:1;7823:15;7857:4;7854:1;7847:15;7874:191;7914:3;7933:20;7951:1;7933:20;:::i;:::-;7928:25;;7967:20;7985:1;7967:20;:::i;:::-;7962:25;;8010:1;8007;8003:9;7996:16;;8031:3;8028:1;8025:10;8022:36;;;8038:18;;:::i;:::-;8022:36;7874:191;;;;:::o;8071:194::-;8111:4;8131:20;8149:1;8131:20;:::i;:::-;8126:25;;8165:20;8183:1;8165:20;:::i;:::-;8160:25;;8209:1;8206;8202:9;8194:17;;8233:1;8227:4;8224:11;8221:37;;;8238:18;;:::i;:::-;8221:37;8071:194;;;;:::o

ipfs://7f42b0ac04ef699eb3fcdbe5e3070a5ce5838df0c7c0241ca2ea5fa14e453369