Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2022-01-04
*/

// SPDX-License-Identifier: GPL-3.0-or-later
pragma solidity 0.8.11;

interface IERC20 {
    function totalSupply() external view returns (uint256);
    function balanceOf(address account) external view returns (uint256);
    function transfer(address recipient, uint256 amount) external returns (bool);
    function allowance(address owner, address spender) external view returns (uint256);
    function approve(address spender, uint256 amount) external returns (bool);
    function transferFrom(
        address sender,
        address recipient,
        uint256 amount
    ) external returns (bool);
    function burnFrom(address account_, uint256 amount_) external;
}

contract Claims {
    address public constant CERBERUS = 0x8a14897eA5F668f36671678593fAe44Ae23B39FB;
    address public constant owner = 0xdB00139222c99e9098DEf2ceBCD94bDCDa8E7625;
    uint public supplyRemaining = 0;

    receive() external payable {}

    modifier onlyOwner() {
        require(msg.sender == owner, "Not owner");
        _;
    }

    function claimAmount(address claimer) public view returns (uint) {
        uint tokenBalance = IERC20(CERBERUS).balanceOf(claimer);
        require(supplyRemaining > 0, "supplyRemaining not set");
        require(tokenBalance > 0, "No 3dog");
        require(address(this).balance > 0, "eth not received");
        uint ethAmount = address(this).balance * tokenBalance / supplyRemaining;
        return ethAmount;
    }

    function claim() external {
        uint tokenBalance = IERC20(CERBERUS).balanceOf(msg.sender);
        uint ethAmount = claimAmount(msg.sender);
        // Subtract from denominator
        supplyRemaining -= tokenBalance;
        // Burn the 3dog
        IERC20(CERBERUS).burnFrom(msg.sender, tokenBalance);
        // Send the eth
        (bool sent, bytes memory data) = msg.sender.call{value: ethAmount}("");
        require(sent, "Failed to send Ether");
    }

    function setSupplyRemaining(uint _supplyRemaining) external onlyOwner {
        supplyRemaining = _supplyRemaining;
    }

    function retrieveTokens(address token) external onlyOwner {
        if(token == address(0x0)) {
            uint ethAmount = address(this).balance;
            (bool sent, bytes memory data) = owner.call{value: ethAmount}("");
            require(sent, "Failed to send Ether");
        } else {
            uint tokenBalance = IERC20(token).balanceOf(address(this));
            IERC20(token).transfer(owner, tokenBalance);
        }
    }

}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"name":"CERBERUS","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"claim","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"claimer","type":"address"}],"name":"claimAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"token","type":"address"}],"name":"retrieveTokens","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_supplyRemaining","type":"uint256"}],"name":"setSupplyRemaining","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"supplyRemaining","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"stateMutability":"payable","type":"receive"}]

60806040526000805534801561001457600080fd5b50610e51806100246000396000f3fe6080604052600436106100745760003560e01c806378317be71161004e57806378317be7146100ed5780637ef1c5a71461012a5780638da5cb5b14610153578063ac4ddd9f1461017e5761007b565b80633e38fe80146100805780634e71d92d146100ab57806360ef3192146100c25761007b565b3661007b57005b600080fd5b34801561008c57600080fd5b506100956101a7565b6040516100a2919061088d565b60405180910390f35b3480156100b757600080fd5b506100c06101ad565b005b3480156100ce57600080fd5b506100d7610399565b6040516100e491906108e9565b60405180910390f35b3480156100f957600080fd5b50610114600480360381019061010f9190610935565b6103b1565b604051610121919061088d565b60405180910390f35b34801561013657600080fd5b50610151600480360381019061014c919061098e565b610534565b005b34801561015f57600080fd5b506101686105c0565b60405161017591906108e9565b60405180910390f35b34801561018a57600080fd5b506101a560048036038101906101a09190610935565b6105d8565b005b60005481565b6000738a14897ea5f668f36671678593fae44ae23b39fb73ffffffffffffffffffffffffffffffffffffffff166370a08231336040518263ffffffff1660e01b81526004016101fc91906108e9565b602060405180830381865afa158015610219573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061023d91906109d0565b9050600061024a336103b1565b90508160008082825461025d9190610a2c565b92505081905550738a14897ea5f668f36671678593fae44ae23b39fb73ffffffffffffffffffffffffffffffffffffffff166379cc679033846040518363ffffffff1660e01b81526004016102b3929190610a60565b600060405180830381600087803b1580156102cd57600080fd5b505af11580156102e1573d6000803e3d6000fd5b505050506000803373ffffffffffffffffffffffffffffffffffffffff168360405161030c90610aba565b60006040518083038185875af1925050503d8060008114610349576040519150601f19603f3d011682016040523d82523d6000602084013e61034e565b606091505b509150915081610393576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161038a90610b2c565b60405180910390fd5b50505050565b738a14897ea5f668f36671678593fae44ae23b39fb81565b600080738a14897ea5f668f36671678593fae44ae23b39fb73ffffffffffffffffffffffffffffffffffffffff166370a08231846040518263ffffffff1660e01b815260040161040191906108e9565b602060405180830381865afa15801561041e573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061044291906109d0565b90506000805411610488576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161047f90610b98565b60405180910390fd5b600081116104cb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104c290610c04565b60405180910390fd5b6000471161050e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161050590610c70565b60405180910390fd5b60008054824761051e9190610c90565b6105289190610d19565b90508092505050919050565b73db00139222c99e9098def2cebcd94bdcda8e762573ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146105b6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105ad90610d96565b60405180910390fd5b8060008190555050565b73db00139222c99e9098def2cebcd94bdcda8e762581565b73db00139222c99e9098def2cebcd94bdcda8e762573ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461065a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161065190610d96565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141561075e57600047905060008073db00139222c99e9098def2cebcd94bdcda8e762573ffffffffffffffffffffffffffffffffffffffff16836040516106cf90610aba565b60006040518083038185875af1925050503d806000811461070c576040519150601f19603f3d011682016040523d82523d6000602084013e610711565b606091505b509150915081610756576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161074d90610b2c565b60405180910390fd5b505050610871565b60008173ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b815260040161079991906108e9565b602060405180830381865afa1580156107b6573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107da91906109d0565b90508173ffffffffffffffffffffffffffffffffffffffff1663a9059cbb73db00139222c99e9098def2cebcd94bdcda8e7625836040518363ffffffff1660e01b815260040161082b929190610a60565b6020604051808303816000875af115801561084a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061086e9190610dee565b50505b50565b6000819050919050565b61088781610874565b82525050565b60006020820190506108a2600083018461087e565b92915050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b60006108d3826108a8565b9050919050565b6108e3816108c8565b82525050565b60006020820190506108fe60008301846108da565b92915050565b600080fd5b610912816108c8565b811461091d57600080fd5b50565b60008135905061092f81610909565b92915050565b60006020828403121561094b5761094a610904565b5b600061095984828501610920565b91505092915050565b61096b81610874565b811461097657600080fd5b50565b60008135905061098881610962565b92915050565b6000602082840312156109a4576109a3610904565b5b60006109b284828501610979565b91505092915050565b6000815190506109ca81610962565b92915050565b6000602082840312156109e6576109e5610904565b5b60006109f4848285016109bb565b91505092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000610a3782610874565b9150610a4283610874565b925082821015610a5557610a546109fd565b5b828203905092915050565b6000604082019050610a7560008301856108da565b610a82602083018461087e565b9392505050565b600081905092915050565b50565b6000610aa4600083610a89565b9150610aaf82610a94565b600082019050919050565b6000610ac582610a97565b9150819050919050565b600082825260208201905092915050565b7f4661696c656420746f2073656e64204574686572000000000000000000000000600082015250565b6000610b16601483610acf565b9150610b2182610ae0565b602082019050919050565b60006020820190508181036000830152610b4581610b09565b9050919050565b7f737570706c7952656d61696e696e67206e6f7420736574000000000000000000600082015250565b6000610b82601783610acf565b9150610b8d82610b4c565b602082019050919050565b60006020820190508181036000830152610bb181610b75565b9050919050565b7f4e6f2033646f6700000000000000000000000000000000000000000000000000600082015250565b6000610bee600783610acf565b9150610bf982610bb8565b602082019050919050565b60006020820190508181036000830152610c1d81610be1565b9050919050565b7f657468206e6f7420726563656976656400000000000000000000000000000000600082015250565b6000610c5a601083610acf565b9150610c6582610c24565b602082019050919050565b60006020820190508181036000830152610c8981610c4d565b9050919050565b6000610c9b82610874565b9150610ca683610874565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0483118215151615610cdf57610cde6109fd565b5b828202905092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b6000610d2482610874565b9150610d2f83610874565b925082610d3f57610d3e610cea565b5b828204905092915050565b7f4e6f74206f776e65720000000000000000000000000000000000000000000000600082015250565b6000610d80600983610acf565b9150610d8b82610d4a565b602082019050919050565b60006020820190508181036000830152610daf81610d73565b9050919050565b60008115159050919050565b610dcb81610db6565b8114610dd657600080fd5b50565b600081519050610de881610dc2565b92915050565b600060208284031215610e0457610e03610904565b5b6000610e1284828501610dd9565b9150509291505056fea2646970667358221220e6680bec75e496765316eac4691cfc110f00081cc1f77785d265c9b6575271f764736f6c634300080b0033

0x6080604052600436106100745760003560e01c806378317be71161004e57806378317be7146100ed5780637ef1c5a71461012a5780638da5cb5b14610153578063ac4ddd9f1461017e5761007b565b80633e38fe80146100805780634e71d92d146100ab57806360ef3192146100c25761007b565b3661007b57005b600080fd5b34801561008c57600080fd5b506100956101a7565b6040516100a2919061088d565b60405180910390f35b3480156100b757600080fd5b506100c06101ad565b005b3480156100ce57600080fd5b506100d7610399565b6040516100e491906108e9565b60405180910390f35b3480156100f957600080fd5b50610114600480360381019061010f9190610935565b6103b1565b604051610121919061088d565b60405180910390f35b34801561013657600080fd5b50610151600480360381019061014c919061098e565b610534565b005b34801561015f57600080fd5b506101686105c0565b60405161017591906108e9565b60405180910390f35b34801561018a57600080fd5b506101a560048036038101906101a09190610935565b6105d8565b005b60005481565b6000738a14897ea5f668f36671678593fae44ae23b39fb73ffffffffffffffffffffffffffffffffffffffff166370a08231336040518263ffffffff1660e01b81526004016101fc91906108e9565b602060405180830381865afa158015610219573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061023d91906109d0565b9050600061024a336103b1565b90508160008082825461025d9190610a2c565b92505081905550738a14897ea5f668f36671678593fae44ae23b39fb73ffffffffffffffffffffffffffffffffffffffff166379cc679033846040518363ffffffff1660e01b81526004016102b3929190610a60565b600060405180830381600087803b1580156102cd57600080fd5b505af11580156102e1573d6000803e3d6000fd5b505050506000803373ffffffffffffffffffffffffffffffffffffffff168360405161030c90610aba565b60006040518083038185875af1925050503d8060008114610349576040519150601f19603f3d011682016040523d82523d6000602084013e61034e565b606091505b509150915081610393576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161038a90610b2c565b60405180910390fd5b50505050565b738a14897ea5f668f36671678593fae44ae23b39fb81565b600080738a14897ea5f668f36671678593fae44ae23b39fb73ffffffffffffffffffffffffffffffffffffffff166370a08231846040518263ffffffff1660e01b815260040161040191906108e9565b602060405180830381865afa15801561041e573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061044291906109d0565b90506000805411610488576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161047f90610b98565b60405180910390fd5b600081116104cb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104c290610c04565b60405180910390fd5b6000471161050e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161050590610c70565b60405180910390fd5b60008054824761051e9190610c90565b6105289190610d19565b90508092505050919050565b73db00139222c99e9098def2cebcd94bdcda8e762573ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146105b6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105ad90610d96565b60405180910390fd5b8060008190555050565b73db00139222c99e9098def2cebcd94bdcda8e762581565b73db00139222c99e9098def2cebcd94bdcda8e762573ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461065a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161065190610d96565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141561075e57600047905060008073db00139222c99e9098def2cebcd94bdcda8e762573ffffffffffffffffffffffffffffffffffffffff16836040516106cf90610aba565b60006040518083038185875af1925050503d806000811461070c576040519150601f19603f3d011682016040523d82523d6000602084013e610711565b606091505b509150915081610756576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161074d90610b2c565b60405180910390fd5b505050610871565b60008173ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b815260040161079991906108e9565b602060405180830381865afa1580156107b6573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107da91906109d0565b90508173ffffffffffffffffffffffffffffffffffffffff1663a9059cbb73db00139222c99e9098def2cebcd94bdcda8e7625836040518363ffffffff1660e01b815260040161082b929190610a60565b6020604051808303816000875af115801561084a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061086e9190610dee565b50505b50565b6000819050919050565b61088781610874565b82525050565b60006020820190506108a2600083018461087e565b92915050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b60006108d3826108a8565b9050919050565b6108e3816108c8565b82525050565b60006020820190506108fe60008301846108da565b92915050565b600080fd5b610912816108c8565b811461091d57600080fd5b50565b60008135905061092f81610909565b92915050565b60006020828403121561094b5761094a610904565b5b600061095984828501610920565b91505092915050565b61096b81610874565b811461097657600080fd5b50565b60008135905061098881610962565b92915050565b6000602082840312156109a4576109a3610904565b5b60006109b284828501610979565b91505092915050565b6000815190506109ca81610962565b92915050565b6000602082840312156109e6576109e5610904565b5b60006109f4848285016109bb565b91505092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000610a3782610874565b9150610a4283610874565b925082821015610a5557610a546109fd565b5b828203905092915050565b6000604082019050610a7560008301856108da565b610a82602083018461087e565b9392505050565b600081905092915050565b50565b6000610aa4600083610a89565b9150610aaf82610a94565b600082019050919050565b6000610ac582610a97565b9150819050919050565b600082825260208201905092915050565b7f4661696c656420746f2073656e64204574686572000000000000000000000000600082015250565b6000610b16601483610acf565b9150610b2182610ae0565b602082019050919050565b60006020820190508181036000830152610b4581610b09565b9050919050565b7f737570706c7952656d61696e696e67206e6f7420736574000000000000000000600082015250565b6000610b82601783610acf565b9150610b8d82610b4c565b602082019050919050565b60006020820190508181036000830152610bb181610b75565b9050919050565b7f4e6f2033646f6700000000000000000000000000000000000000000000000000600082015250565b6000610bee600783610acf565b9150610bf982610bb8565b602082019050919050565b60006020820190508181036000830152610c1d81610be1565b9050919050565b7f657468206e6f7420726563656976656400000000000000000000000000000000600082015250565b6000610c5a601083610acf565b9150610c6582610c24565b602082019050919050565b60006020820190508181036000830152610c8981610c4d565b9050919050565b6000610c9b82610874565b9150610ca683610874565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0483118215151615610cdf57610cde6109fd565b5b828202905092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b6000610d2482610874565b9150610d2f83610874565b925082610d3f57610d3e610cea565b5b828204905092915050565b7f4e6f74206f776e65720000000000000000000000000000000000000000000000600082015250565b6000610d80600983610acf565b9150610d8b82610d4a565b602082019050919050565b60006020820190508181036000830152610daf81610d73565b9050919050565b60008115159050919050565b610dcb81610db6565b8114610dd657600080fd5b50565b600081519050610de881610dc2565b92915050565b600060208284031215610e0457610e03610904565b5b6000610e1284828501610dd9565b9150509291505056fea2646970667358221220e6680bec75e496765316eac4691cfc110f00081cc1f77785d265c9b6575271f764736f6c634300080b0033

690:1868:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;878:31;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1490:476;;;;;;;;;;;;;:::i;:::-;;713:77;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1056:426;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1974:123;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;797:74;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2105:448;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;878:31;;;;:::o;1490:476::-;1527:17;748:42;1547:26;;;1574:10;1547:38;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;1527:58;;1596:14;1613:23;1625:10;1613:11;:23::i;:::-;1596:40;;1704:12;1685:15;;:31;;;;;;;:::i;:::-;;;;;;;;748:42;1753:25;;;1779:10;1791:12;1753:51;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1841:9;1852:17;1873:10;:15;;1896:9;1873:37;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1840:70;;;;1929:4;1921:37;;;;;;;;;;;;:::i;:::-;;;;;;;;;1516:450;;;;1490:476::o;713:77::-;748:42;713:77;:::o;1056:426::-;1115:4;1132:17;748:42;1152:26;;;1179:7;1152:35;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;1132:55;;1224:1;1206:15;;:19;1198:55;;;;;;;;;;;;:::i;:::-;;;;;;;;;1287:1;1272:12;:16;1264:36;;;;;;;;;;;;:::i;:::-;;;;;;;;;1343:1;1319:21;:25;1311:54;;;;;;;;;;;;:::i;:::-;;;;;;;;;1376:14;1432:15;;1417:12;1393:21;:36;;;;:::i;:::-;:54;;;;:::i;:::-;1376:71;;1465:9;1458:16;;;;1056:426;;;:::o;1974:123::-;829:42;995:19;;:10;:19;;;987:41;;;;;;;;;;;;:::i;:::-;;;;;;;;;2073:16:::1;2055:15;:34;;;;1974:123:::0;:::o;797:74::-;829:42;797:74;:::o;2105:448::-;829:42;995:19;;:10;:19;;;987:41;;;;;;;;;;;;:::i;:::-;;;;;;;;;2194:3:::1;2177:21;;:5;:21;;;2174:372;;;2215:14;2232:21;2215:38;;2269:9;2280:17:::0;829:42:::1;2301:10;;2319:9;2301:32;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2268:65;;;;2356:4;2348:37;;;;;;;;;;;;:::i;:::-;;;;;;;;;2200:197;;;2174:372;;;2418:17;2445:5;2438:23;;;2470:4;2438:38;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;2418:58;;2498:5;2491:22;;;829:42;2521:12;2491:43;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;2403:143;2174:372;2105:448:::0;:::o;7:77:1:-;44:7;73:5;62:16;;7:77;;;:::o;90:118::-;177:24;195:5;177:24;:::i;:::-;172:3;165:37;90:118;;:::o;214:222::-;307:4;345:2;334:9;330:18;322:26;;358:71;426:1;415:9;411:17;402:6;358:71;:::i;:::-;214:222;;;;:::o;442:126::-;479:7;519:42;512:5;508:54;497:65;;442:126;;;:::o;574:96::-;611:7;640:24;658:5;640:24;:::i;:::-;629:35;;574:96;;;:::o;676:118::-;763:24;781:5;763:24;:::i;:::-;758:3;751:37;676:118;;:::o;800:222::-;893:4;931:2;920:9;916:18;908:26;;944:71;1012:1;1001:9;997:17;988:6;944:71;:::i;:::-;800:222;;;;:::o;1109:117::-;1218:1;1215;1208:12;1355:122;1428:24;1446:5;1428:24;:::i;:::-;1421:5;1418:35;1408:63;;1467:1;1464;1457:12;1408:63;1355:122;:::o;1483:139::-;1529:5;1567:6;1554:20;1545:29;;1583:33;1610:5;1583:33;:::i;:::-;1483:139;;;;:::o;1628:329::-;1687:6;1736:2;1724:9;1715:7;1711:23;1707:32;1704:119;;;1742:79;;:::i;:::-;1704:119;1862:1;1887:53;1932:7;1923:6;1912:9;1908:22;1887:53;:::i;:::-;1877:63;;1833:117;1628:329;;;;:::o;1963:122::-;2036:24;2054:5;2036:24;:::i;:::-;2029:5;2026:35;2016:63;;2075:1;2072;2065:12;2016:63;1963:122;:::o;2091:139::-;2137:5;2175:6;2162:20;2153:29;;2191:33;2218:5;2191:33;:::i;:::-;2091:139;;;;:::o;2236:329::-;2295:6;2344:2;2332:9;2323:7;2319:23;2315:32;2312:119;;;2350:79;;:::i;:::-;2312:119;2470:1;2495:53;2540:7;2531:6;2520:9;2516:22;2495:53;:::i;:::-;2485:63;;2441:117;2236:329;;;;:::o;2571:143::-;2628:5;2659:6;2653:13;2644:22;;2675:33;2702:5;2675:33;:::i;:::-;2571:143;;;;:::o;2720:351::-;2790:6;2839:2;2827:9;2818:7;2814:23;2810:32;2807:119;;;2845:79;;:::i;:::-;2807:119;2965:1;2990:64;3046:7;3037:6;3026:9;3022:22;2990:64;:::i;:::-;2980:74;;2936:128;2720:351;;;;:::o;3077:180::-;3125:77;3122:1;3115:88;3222:4;3219:1;3212:15;3246:4;3243:1;3236:15;3263:191;3303:4;3323:20;3341:1;3323:20;:::i;:::-;3318:25;;3357:20;3375:1;3357:20;:::i;:::-;3352:25;;3396:1;3393;3390:8;3387:34;;;3401:18;;:::i;:::-;3387:34;3446:1;3443;3439:9;3431:17;;3263:191;;;;:::o;3460:332::-;3581:4;3619:2;3608:9;3604:18;3596:26;;3632:71;3700:1;3689:9;3685:17;3676:6;3632:71;:::i;:::-;3713:72;3781:2;3770:9;3766:18;3757:6;3713:72;:::i;:::-;3460:332;;;;;:::o;3798:147::-;3899:11;3936:3;3921:18;;3798:147;;;;:::o;3951:114::-;;:::o;4071:398::-;4230:3;4251:83;4332:1;4327:3;4251:83;:::i;:::-;4244:90;;4343:93;4432:3;4343:93;:::i;:::-;4461:1;4456:3;4452:11;4445:18;;4071:398;;;:::o;4475:379::-;4659:3;4681:147;4824:3;4681:147;:::i;:::-;4674:154;;4845:3;4838:10;;4475:379;;;:::o;4860:169::-;4944:11;4978:6;4973:3;4966:19;5018:4;5013:3;5009:14;4994:29;;4860:169;;;;:::o;5035:170::-;5175:22;5171:1;5163:6;5159:14;5152:46;5035:170;:::o;5211:366::-;5353:3;5374:67;5438:2;5433:3;5374:67;:::i;:::-;5367:74;;5450:93;5539:3;5450:93;:::i;:::-;5568:2;5563:3;5559:12;5552:19;;5211:366;;;:::o;5583:419::-;5749:4;5787:2;5776:9;5772:18;5764:26;;5836:9;5830:4;5826:20;5822:1;5811:9;5807:17;5800:47;5864:131;5990:4;5864:131;:::i;:::-;5856:139;;5583:419;;;:::o;6008:173::-;6148:25;6144:1;6136:6;6132:14;6125:49;6008:173;:::o;6187:366::-;6329:3;6350:67;6414:2;6409:3;6350:67;:::i;:::-;6343:74;;6426:93;6515:3;6426:93;:::i;:::-;6544:2;6539:3;6535:12;6528:19;;6187:366;;;:::o;6559:419::-;6725:4;6763:2;6752:9;6748:18;6740:26;;6812:9;6806:4;6802:20;6798:1;6787:9;6783:17;6776:47;6840:131;6966:4;6840:131;:::i;:::-;6832:139;;6559:419;;;:::o;6984:157::-;7124:9;7120:1;7112:6;7108:14;7101:33;6984:157;:::o;7147:365::-;7289:3;7310:66;7374:1;7369:3;7310:66;:::i;:::-;7303:73;;7385:93;7474:3;7385:93;:::i;:::-;7503:2;7498:3;7494:12;7487:19;;7147:365;;;:::o;7518:419::-;7684:4;7722:2;7711:9;7707:18;7699:26;;7771:9;7765:4;7761:20;7757:1;7746:9;7742:17;7735:47;7799:131;7925:4;7799:131;:::i;:::-;7791:139;;7518:419;;;:::o;7943:166::-;8083:18;8079:1;8071:6;8067:14;8060:42;7943:166;:::o;8115:366::-;8257:3;8278:67;8342:2;8337:3;8278:67;:::i;:::-;8271:74;;8354:93;8443:3;8354:93;:::i;:::-;8472:2;8467:3;8463:12;8456:19;;8115:366;;;:::o;8487:419::-;8653:4;8691:2;8680:9;8676:18;8668:26;;8740:9;8734:4;8730:20;8726:1;8715:9;8711:17;8704:47;8768:131;8894:4;8768:131;:::i;:::-;8760:139;;8487:419;;;:::o;8912:348::-;8952:7;8975:20;8993:1;8975:20;:::i;:::-;8970:25;;9009:20;9027:1;9009:20;:::i;:::-;9004:25;;9197:1;9129:66;9125:74;9122:1;9119:81;9114:1;9107:9;9100:17;9096:105;9093:131;;;9204:18;;:::i;:::-;9093:131;9252:1;9249;9245:9;9234:20;;8912:348;;;;:::o;9266:180::-;9314:77;9311:1;9304:88;9411:4;9408:1;9401:15;9435:4;9432:1;9425:15;9452:185;9492:1;9509:20;9527:1;9509:20;:::i;:::-;9504:25;;9543:20;9561:1;9543:20;:::i;:::-;9538:25;;9582:1;9572:35;;9587:18;;:::i;:::-;9572:35;9629:1;9626;9622:9;9617:14;;9452:185;;;;:::o;9643:159::-;9783:11;9779:1;9771:6;9767:14;9760:35;9643:159;:::o;9808:365::-;9950:3;9971:66;10035:1;10030:3;9971:66;:::i;:::-;9964:73;;10046:93;10135:3;10046:93;:::i;:::-;10164:2;10159:3;10155:12;10148:19;;9808:365;;;:::o;10179:419::-;10345:4;10383:2;10372:9;10368:18;10360:26;;10432:9;10426:4;10422:20;10418:1;10407:9;10403:17;10396:47;10460:131;10586:4;10460:131;:::i;:::-;10452:139;;10179:419;;;:::o;10604:90::-;10638:7;10681:5;10674:13;10667:21;10656:32;;10604:90;;;:::o;10700:116::-;10770:21;10785:5;10770:21;:::i;:::-;10763:5;10760:32;10750:60;;10806:1;10803;10796:12;10750:60;10700:116;:::o;10822:137::-;10876:5;10907:6;10901:13;10892:22;;10923:30;10947:5;10923:30;:::i;:::-;10822:137;;;;:::o;10965:345::-;11032:6;11081:2;11069:9;11060:7;11056:23;11052:32;11049:119;;;11087:79;;:::i;:::-;11049:119;11207:1;11232:61;11285:7;11276:6;11265:9;11261:22;11232:61;:::i;:::-;11222:71;;11178:125;10965:345;;;;:::o

ipfs://e6680bec75e496765316eac4691cfc110f00081cc1f77785d265c9b6575271f7