Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface IERC20
•    - function balanceOf(address account)
•    - function transfer(address to, uint256 ...
•  contract CoinTool_App *
•    - function t(uint256 total,bytes memory ...
•    - function t_(uint256[] calldata a,byte ...
•    - function f(uint256[] calldata a,bytes ...
•    - function d(address a,bytes memory dat ...
•    - function c(address a,bytes calldata d ...
•    - function dKill(address a,bytes memory ...
•    - function cKill(address a,bytes callda ...
•    - function k()
•    - function external_call(address destin ...
•    - function claimTokens(address _token)

More Options

• Is this a proxy?
• Similar
• Sol2Uml
• Submit Audit
• Compare

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

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

/*
//https://cointool.app web3 basic tools!
//
//
//  _____      _    _______          _                        
// / ____|    (_)  |__   __|        | |     /\                
//| |     ___  _ _ __ | | ___   ___ | |    /  \   _ __  _ __  
//| |    / _ \| | '_ \| |/ _ \ / _ \| |   / /\ \ | '_ \| '_ \ 
//| |___| (_) | | | | | | (_) | (_) | |_ / ____ \| |_) | |_) |
// \_____\___/|_|_| |_|_|\___/ \___/|_(_)_/    \_\ .__/| .__/ 
//                                               | |   | |    
//                                               |_|   |_|    
//
*/


interface IERC20 {
    function balanceOf(address account) external view returns (uint256);
    function transfer(address to, uint256 amount) external returns (bool);
}

contract CoinTool_App{
    address owner;
    address private immutable original;
    mapping(address => mapping(bytes =>uint256)) public map;

    constructor() payable {
        original = address(this);
        owner = tx.origin;
    }
    receive() external payable {}
    fallback() external payable{}

    function t(uint256 total,bytes memory data,bytes calldata _salt) external payable {
        require(msg.sender == tx.origin);
        bytes memory bytecode = bytes.concat(bytes20(0x3D602d80600A3D3981F3363d3d373d3D3D363d73), bytes20(address(this)), bytes15(0x5af43d82803e903d91602b57fd5bf3));
        uint256 i = map[msg.sender][_salt]+1;
        uint256 end = total+i;
        for (i; i < end;++i) {
	        bytes32 salt = keccak256(abi.encodePacked(_salt,i,msg.sender));
			assembly {
	            let proxy := create2(0, add(bytecode, 32), mload(bytecode), salt)
                    let succeeded := call(
                        gas(),
                        proxy,
                        0,
                        add(data, 0x20),
                        mload(data),
                        0,
                        0
                    )
			}
        }
        map[msg.sender][_salt] += total;
    }


    function t_(uint256[] calldata a,bytes memory data,bytes calldata _salt) external payable {
        require(msg.sender == tx.origin);
        bytes memory bytecode = bytes.concat(bytes20(0x3D602d80600A3D3981F3363d3d373d3D3D363d73), bytes20(address(this)), bytes15(0x5af43d82803e903d91602b57fd5bf3));
        uint256 i = 0;
        for (i; i < a.length; ++i) {
	        bytes32 salt = keccak256(abi.encodePacked(_salt,a[i],msg.sender));
			assembly {
	            let proxy := create2(0, add(bytecode, 32), mload(bytecode), salt)
                    let succeeded := call(
                        gas(),
                        proxy,
                        0,
                        add(data, 0x20),
                        mload(data),
                        0,
                        0
                    )
			}
        }
        uint256 e = a[a.length-1];
        if(e>map[msg.sender][_salt]){
           map[msg.sender][_salt] = e;
        }
    }

    function f(uint256[] calldata a,bytes memory data,bytes memory _salt) external payable {
        require(msg.sender == tx.origin);
        bytes32 bytecode = keccak256(abi.encodePacked(bytes.concat(bytes20(0x3D602d80600A3D3981F3363d3d373d3D3D363d73), bytes20(address(this)), bytes15(0x5af43d82803e903d91602b57fd5bf3))));
        uint256 i = 0;
        for (i; i < a.length; ++i) {
	        bytes32 salt = keccak256(abi.encodePacked(_salt,a[i],msg.sender));
            address proxy = address(uint160(uint(keccak256(abi.encodePacked(
                    hex'ff',
                    address(this),
                    salt,
                    bytecode
                )))));
			assembly {
                let succeeded := call(
                    gas(),
                    proxy,
                    0,
                    add(data, 0x20),
                    mload(data),
                    0,
                    0
                )
			}
        }
    }



    function d(address a,bytes memory data) external payable{
        require(msg.sender == original);
        a.delegatecall(data);
    }
    function c(address a,bytes calldata data) external payable {
       require(msg.sender == original);
       external_call(a,data);
    }

    function dKill(address a,bytes memory data) external payable{
        require(msg.sender == original);
        a.delegatecall(data);
        selfdestruct(payable(msg.sender));
    }
    function cKill(address a,bytes calldata data) external payable {
       require(msg.sender == original);
       external_call(a,data);
       selfdestruct(payable(msg.sender));
    }

    function k() external {
        require(msg.sender == original);
        selfdestruct(payable(msg.sender));
    }
   
    function external_call(address destination,bytes memory data) internal{
        assembly {
            let succeeded := call(
                gas(),
                destination,
                0,
                add(data, 0x20),
                mload(data),
                0,
                0
            )
        }
    }


    function claimTokens(address _token) external  {
        require(owner == msg.sender);
        if (_token == address(0x0)) {
           payable (owner).transfer(address(this).balance);
            return;
        }
        IERC20 erc20token = IERC20(_token);
        uint256 balance = erc20token.balanceOf(address(this));
        erc20token.transfer(owner, balance);
    }

}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"payable","type":"constructor"},{"stateMutability":"payable","type":"fallback"},{"inputs":[{"internalType":"address","name":"a","type":"address"},{"internalType":"bytes","name":"data","type":"bytes"}],"name":"c","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"address","name":"a","type":"address"},{"internalType":"bytes","name":"data","type":"bytes"}],"name":"cKill","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"address","name":"_token","type":"address"}],"name":"claimTokens","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"a","type":"address"},{"internalType":"bytes","name":"data","type":"bytes"}],"name":"d","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"address","name":"a","type":"address"},{"internalType":"bytes","name":"data","type":"bytes"}],"name":"dKill","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"uint256[]","name":"a","type":"uint256[]"},{"internalType":"bytes","name":"data","type":"bytes"},{"internalType":"bytes","name":"_salt","type":"bytes"}],"name":"f","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[],"name":"k","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"bytes","name":"","type":"bytes"}],"name":"map","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"total","type":"uint256"},{"internalType":"bytes","name":"data","type":"bytes"},{"internalType":"bytes","name":"_salt","type":"bytes"}],"name":"t","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"uint256[]","name":"a","type":"uint256[]"},{"internalType":"bytes","name":"data","type":"bytes"},{"internalType":"bytes","name":"_salt","type":"bytes"}],"name":"t_","outputs":[],"stateMutability":"payable","type":"function"},{"stateMutability":"payable","type":"receive"}]

60a060405230608052600080546001600160a01b03191632179055608051610eed610051600039600081816101b80152818161023201528181610425015281816105b301526106470152610eed6000f3fe60806040526004361061008f5760003560e01c8063c258080411610056578063c258080414610141578063c40493dc14610154578063d59fe5f414610167578063df8de3e71461017a578063f19c74b01461019a57005b806359635f6f14610098578063725159a6146100ab57806381aafabb146100be578063b1ae2ed114610119578063b4f40c611461012c57005b3661009657005b005b6100966100a63660046109f7565b6101ad565b6100966100b9366004610aed565b610227565b3480156100ca57600080fd5b506101076100d9366004610aed565b6001602090815260009283526040909220815180830184018051928152908401929093019190912091525481565b60405190815260200160405180910390f35b610096610127366004610b3b565b6102bb565b34801561013857600080fd5b5061009661041a565b61009661014f366004610bf0565b610452565b610096610162366004610aed565b6105a8565b6100966101753660046109f7565b61063c565b34801561018657600080fd5b50610096610195366004610c7e565b6106b1565b6100966101a8366004610ca0565b610800565b336001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016146101e257600080fd5b6102228383838080601f01602080910402602001604051908101604052809392919081815260200183838082843760009201919091525061097f92505050565b505050565b336001600160a01b037f0000000000000000000000000000000000000000000000000000000000000000161461025c57600080fd5b816001600160a01b0316816040516102749190610d65565b600060405180830381855af49150503d80600081146102af576040519150601f19603f3d011682016040523d82523d6000602084013e6102b4565b606091505b5033915050ff5b3332146102c757600080fd5b60405160009061030b90733d602d80600a3d3981f3363d3d373d3d3d363d7360601b903060601b906e5af43d82803e903d91602b57fd5bf360881b90602001610d71565b60408051601f198184030181528282523360009081526001602052918220909350909161033b9086908690610da9565b90815260200160405180910390205460016103569190610dcf565b905060006103648288610dcf565b90505b808210156103cc576000858584336040516020016103889493929190610de8565b604051602081830303815290604052805190602001209050808451602086016000f5600080895160208b016000855af1505050816103c590610e0f565b9150610367565b336000908152600160205260409081902090518891906103ef9088908890610da9565b9081526020016040518091039020600082825461040c9190610dcf565b909155505050505050505050565b336001600160a01b037f0000000000000000000000000000000000000000000000000000000000000000161461044f57600080fd5b33ff5b33321461045e57600080fd5b6040516000906104a290733d602d80600a3d3981f3363d3d373d3d3d363d7360601b903060601b906e5af43d82803e903d91602b57fd5bf360881b90602001610d71565b60408051601f19818403018152908290526104bf91602001610d65565b60405160208183030381529060405280519060200120905060005b848110156105a0576000838787848181106104f7576104f7610e28565b905060200201353360405160200161051193929190610e3e565b60408051601f198184030181529082905280516020918201206001600160f81b0319918301919091526001600160601b03193060601b166021830152603582018190526055820185905291506000906075016040516020818303038152906040528051906020012060001c90506000808751602089016000855af15050508061059990610e0f565b90506104da565b505050505050565b336001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016146105dd57600080fd5b816001600160a01b0316816040516105f59190610d65565b600060405180830381855af49150503d8060008114610630576040519150601f19603f3d011682016040523d82523d6000602084013e610635565b606091505b5050505050565b336001600160a01b037f0000000000000000000000000000000000000000000000000000000000000000161461067157600080fd5b61044f8383838080601f01602080910402602001604051908101604052809392919081815260200183838082843760009201919091525061097f92505050565b6000546001600160a01b031633146106c857600080fd5b6001600160a01b03811661071457600080546040516001600160a01b03909116914780156108fc02929091818181858888f19350505050158015610710573d6000803e3d6000fd5b5050565b6040516370a0823160e01b815230600482015281906000906001600160a01b038316906370a0823190602401602060405180830381865afa15801561075d573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107819190610e69565b60005460405163a9059cbb60e01b81526001600160a01b0391821660048201526024810183905291925083169063a9059cbb906044016020604051808303816000875af11580156107d6573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107fa9190610e82565b50505050565b33321461080c57600080fd5b60405160009061085090733d602d80600a3d3981f3363d3d373d3d3d363d7360601b903060601b906e5af43d82803e903d91602b57fd5bf360881b90602001610d71565b604051602081830303815290604052905060005b858110156108e1576000848489898581811061088257610882610e28565b905060200201353360405160200161089d9493929190610de8565b604051602081830303815290604052805190602001209050808351602085016000f5600080885160208a016000855af1505050806108da90610e0f565b9050610864565b600087876108f0600182610ea4565b8181106108ff576108ff610e28565b33600090815260016020908152604091829020915192029390930135935061092b915087908790610da9565b90815260200160405180910390205481111561097557336000908152600160205260409081902090518291906109649088908890610da9565b908152604051908190036020019020555b5050505050505050565b6000808251602084016000865af1505050565b80356001600160a01b03811681146109a957600080fd5b919050565b60008083601f8401126109c057600080fd5b50813567ffffffffffffffff8111156109d857600080fd5b6020830191508360208285010111156109f057600080fd5b9250929050565b600080600060408486031215610a0c57600080fd5b610a1584610992565b9250602084013567ffffffffffffffff811115610a3157600080fd5b610a3d868287016109ae565b9497909650939450505050565b634e487b7160e01b600052604160045260246000fd5b600082601f830112610a7157600080fd5b813567ffffffffffffffff80821115610a8c57610a8c610a4a565b604051601f8301601f19908116603f01168101908282118183101715610ab457610ab4610a4a565b81604052838152866020858801011115610acd57600080fd5b836020870160208301376000602085830101528094505050505092915050565b60008060408385031215610b0057600080fd5b610b0983610992565b9150602083013567ffffffffffffffff811115610b2557600080fd5b610b3185828601610a60565b9150509250929050565b60008060008060608587031215610b5157600080fd5b84359350602085013567ffffffffffffffff80821115610b7057600080fd5b610b7c88838901610a60565b94506040870135915080821115610b9257600080fd5b50610b9f878288016109ae565b95989497509550505050565b60008083601f840112610bbd57600080fd5b50813567ffffffffffffffff811115610bd557600080fd5b6020830191508360208260051b85010111156109f057600080fd5b60008060008060608587031215610c0657600080fd5b843567ffffffffffffffff80821115610c1e57600080fd5b610c2a88838901610bab565b90965094506020870135915080821115610c4357600080fd5b610c4f88838901610a60565b93506040870135915080821115610c6557600080fd5b50610c7287828801610a60565b91505092959194509250565b600060208284031215610c9057600080fd5b610c9982610992565b9392505050565b600080600080600060608688031215610cb857600080fd5b853567ffffffffffffffff80821115610cd057600080fd5b610cdc89838a01610bab565b90975095506020880135915080821115610cf557600080fd5b610d0189838a01610a60565b94506040880135915080821115610d1757600080fd5b50610d24888289016109ae565b969995985093965092949392505050565b6000815160005b81811015610d565760208185018101518683015201610d3c565b50600093019283525090919050565b6000610c998284610d35565b6001600160601b0319938416815291909216601482015270ffffffffffffffffffffffffffffffffff19909116602882015260370190565b8183823760009101908152919050565b634e487b7160e01b600052601160045260246000fd5b80820180821115610de257610de2610db9565b92915050565b8385823790920190815260609190911b6001600160601b0319166020820152603401919050565b600060018201610e2157610e21610db9565b5060010190565b634e487b7160e01b600052603260045260246000fd5b6000610e4a8286610d35565b938452505060601b6001600160601b0319166020820152603401919050565b600060208284031215610e7b57600080fd5b5051919050565b600060208284031215610e9457600080fd5b81518015158114610c9957600080fd5b81810381811115610de257610de2610db956fea26469706673582212205f297dfed403682a4960b7769600b70af12a513c6536b40fdf7f27534d2504ee64736f6c63430008110033

0x60806040526004361061008f5760003560e01c8063c258080411610056578063c258080414610141578063c40493dc14610154578063d59fe5f414610167578063df8de3e71461017a578063f19c74b01461019a57005b806359635f6f14610098578063725159a6146100ab57806381aafabb146100be578063b1ae2ed114610119578063b4f40c611461012c57005b3661009657005b005b6100966100a63660046109f7565b6101ad565b6100966100b9366004610aed565b610227565b3480156100ca57600080fd5b506101076100d9366004610aed565b6001602090815260009283526040909220815180830184018051928152908401929093019190912091525481565b60405190815260200160405180910390f35b610096610127366004610b3b565b6102bb565b34801561013857600080fd5b5061009661041a565b61009661014f366004610bf0565b610452565b610096610162366004610aed565b6105a8565b6100966101753660046109f7565b61063c565b34801561018657600080fd5b50610096610195366004610c7e565b6106b1565b6100966101a8366004610ca0565b610800565b336001600160a01b037f0000000000000000000000000de8bf93da2f7eecb3d9169422413a9bef4ef62816146101e257600080fd5b6102228383838080601f01602080910402602001604051908101604052809392919081815260200183838082843760009201919091525061097f92505050565b505050565b336001600160a01b037f0000000000000000000000000de8bf93da2f7eecb3d9169422413a9bef4ef628161461025c57600080fd5b816001600160a01b0316816040516102749190610d65565b600060405180830381855af49150503d80600081146102af576040519150601f19603f3d011682016040523d82523d6000602084013e6102b4565b606091505b5033915050ff5b3332146102c757600080fd5b60405160009061030b90733d602d80600a3d3981f3363d3d373d3d3d363d7360601b903060601b906e5af43d82803e903d91602b57fd5bf360881b90602001610d71565b60408051601f198184030181528282523360009081526001602052918220909350909161033b9086908690610da9565b90815260200160405180910390205460016103569190610dcf565b905060006103648288610dcf565b90505b808210156103cc576000858584336040516020016103889493929190610de8565b604051602081830303815290604052805190602001209050808451602086016000f5600080895160208b016000855af1505050816103c590610e0f565b9150610367565b336000908152600160205260409081902090518891906103ef9088908890610da9565b9081526020016040518091039020600082825461040c9190610dcf565b909155505050505050505050565b336001600160a01b037f0000000000000000000000000de8bf93da2f7eecb3d9169422413a9bef4ef628161461044f57600080fd5b33ff5b33321461045e57600080fd5b6040516000906104a290733d602d80600a3d3981f3363d3d373d3d3d363d7360601b903060601b906e5af43d82803e903d91602b57fd5bf360881b90602001610d71565b60408051601f19818403018152908290526104bf91602001610d65565b60405160208183030381529060405280519060200120905060005b848110156105a0576000838787848181106104f7576104f7610e28565b905060200201353360405160200161051193929190610e3e565b60408051601f198184030181529082905280516020918201206001600160f81b0319918301919091526001600160601b03193060601b166021830152603582018190526055820185905291506000906075016040516020818303038152906040528051906020012060001c90506000808751602089016000855af15050508061059990610e0f565b90506104da565b505050505050565b336001600160a01b037f0000000000000000000000000de8bf93da2f7eecb3d9169422413a9bef4ef62816146105dd57600080fd5b816001600160a01b0316816040516105f59190610d65565b600060405180830381855af49150503d8060008114610630576040519150601f19603f3d011682016040523d82523d6000602084013e610635565b606091505b5050505050565b336001600160a01b037f0000000000000000000000000de8bf93da2f7eecb3d9169422413a9bef4ef628161461067157600080fd5b61044f8383838080601f01602080910402602001604051908101604052809392919081815260200183838082843760009201919091525061097f92505050565b6000546001600160a01b031633146106c857600080fd5b6001600160a01b03811661071457600080546040516001600160a01b03909116914780156108fc02929091818181858888f19350505050158015610710573d6000803e3d6000fd5b5050565b6040516370a0823160e01b815230600482015281906000906001600160a01b038316906370a0823190602401602060405180830381865afa15801561075d573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107819190610e69565b60005460405163a9059cbb60e01b81526001600160a01b0391821660048201526024810183905291925083169063a9059cbb906044016020604051808303816000875af11580156107d6573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107fa9190610e82565b50505050565b33321461080c57600080fd5b60405160009061085090733d602d80600a3d3981f3363d3d373d3d3d363d7360601b903060601b906e5af43d82803e903d91602b57fd5bf360881b90602001610d71565b604051602081830303815290604052905060005b858110156108e1576000848489898581811061088257610882610e28565b905060200201353360405160200161089d9493929190610de8565b604051602081830303815290604052805190602001209050808351602085016000f5600080885160208a016000855af1505050806108da90610e0f565b9050610864565b600087876108f0600182610ea4565b8181106108ff576108ff610e28565b33600090815260016020908152604091829020915192029390930135935061092b915087908790610da9565b90815260200160405180910390205481111561097557336000908152600160205260409081902090518291906109649088908890610da9565b908152604051908190036020019020555b5050505050505050565b6000808251602084016000865af1505050565b80356001600160a01b03811681146109a957600080fd5b919050565b60008083601f8401126109c057600080fd5b50813567ffffffffffffffff8111156109d857600080fd5b6020830191508360208285010111156109f057600080fd5b9250929050565b600080600060408486031215610a0c57600080fd5b610a1584610992565b9250602084013567ffffffffffffffff811115610a3157600080fd5b610a3d868287016109ae565b9497909650939450505050565b634e487b7160e01b600052604160045260246000fd5b600082601f830112610a7157600080fd5b813567ffffffffffffffff80821115610a8c57610a8c610a4a565b604051601f8301601f19908116603f01168101908282118183101715610ab457610ab4610a4a565b81604052838152866020858801011115610acd57600080fd5b836020870160208301376000602085830101528094505050505092915050565b60008060408385031215610b0057600080fd5b610b0983610992565b9150602083013567ffffffffffffffff811115610b2557600080fd5b610b3185828601610a60565b9150509250929050565b60008060008060608587031215610b5157600080fd5b84359350602085013567ffffffffffffffff80821115610b7057600080fd5b610b7c88838901610a60565b94506040870135915080821115610b9257600080fd5b50610b9f878288016109ae565b95989497509550505050565b60008083601f840112610bbd57600080fd5b50813567ffffffffffffffff811115610bd557600080fd5b6020830191508360208260051b85010111156109f057600080fd5b60008060008060608587031215610c0657600080fd5b843567ffffffffffffffff80821115610c1e57600080fd5b610c2a88838901610bab565b90965094506020870135915080821115610c4357600080fd5b610c4f88838901610a60565b93506040870135915080821115610c6557600080fd5b50610c7287828801610a60565b91505092959194509250565b600060208284031215610c9057600080fd5b610c9982610992565b9392505050565b600080600080600060608688031215610cb857600080fd5b853567ffffffffffffffff80821115610cd057600080fd5b610cdc89838a01610bab565b90975095506020880135915080821115610cf557600080fd5b610d0189838a01610a60565b94506040880135915080821115610d1757600080fd5b50610d24888289016109ae565b969995985093965092949392505050565b6000815160005b81811015610d565760208185018101518683015201610d3c565b50600093019283525090919050565b6000610c998284610d35565b6001600160601b0319938416815291909216601482015270ffffffffffffffffffffffffffffffffff19909116602882015260370190565b8183823760009101908152919050565b634e487b7160e01b600052601160045260246000fd5b80820180821115610de257610de2610db9565b92915050565b8385823790920190815260609190911b6001600160601b0319166020820152603401919050565b600060018201610e2157610e21610db9565b5060010190565b634e487b7160e01b600052603260045260246000fd5b6000610e4a8286610d35565b938452505060601b6001600160601b0319166020820152603401919050565b600060208284031215610e7b57600080fd5b5051919050565b600060208284031215610e9457600080fd5b81518015158114610c9957600080fd5b81810381811115610de257610de2610db956fea26469706673582212205f297dfed403682a4960b7769600b70af12a513c6536b40fdf7f27534d2504ee64736f6c63430008110033

814:4784:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4206:139;;;;;;:::i;:::-;;:::i;4353:185::-;;;;;;:::i;:::-;;:::i;903:55::-;;;;;;;;;;-1:-1:-1;903:55:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2432:25:1;;;2420:2;2405:18;903:55:0;;;;;;;1138:933;;;;;;:::i;:::-;;:::i;4738:116::-;;;;;;;;;;;;;:::i;3068:983::-;;;;;;:::i;:::-;;:::i;4063:137::-;;;;;;:::i;:::-;;:::i;4544:186::-;;;;;;:::i;:::-;;:::i;5212:381::-;;;;;;;;;;-1:-1:-1;5212:381:0;;;;;:::i;:::-;;:::i;2081:979::-;;;;;;:::i;:::-;;:::i;4206:139::-;4283:10;-1:-1:-1;;;;;4297:8:0;4283:22;;4275:31;;;;;;4316:21;4330:1;4332:4;;4316:21;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;4316:13:0;;-1:-1:-1;;;4316:21:0:i;:::-;4206:139;;;:::o;4353:185::-;4432:10;-1:-1:-1;;;;;4446:8:0;4432:22;;4424:31;;;;;;4466:1;-1:-1:-1;;;;;4466:14:0;4481:4;4466:20;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;4518:10:0;;-1:-1:-1;;4497:33:0;1138:933;1239:10;1253:9;1239:23;1231:32;;;;;;1298:132;;1274:21;;1298:132;;-1:-1:-1;;;1311:51:0;1380:4;1311:51;1364:22;;-1:-1:-1;;;1388:41:0;1298:132;;;:::i;:::-;;;;-1:-1:-1;;1298:132:0;;;;;;;;;1457:10;1441:9;1453:15;;;:3;1298:132;1453:15;;;;1298:132;;-1:-1:-1;1441:9:0;;1453:22;;1469:5;;;;1453:22;:::i;:::-;;;;;;;;;;;;;;1476:1;1453:24;;;;:::i;:::-;1441:36;-1:-1:-1;1488:11:0;1502:7;1441:36;1502:5;:7;:::i;:::-;1488:21;;1520:502;1532:3;1528:1;:7;1520:502;;;1553:12;1595:5;;1601:1;1603:10;1578:36;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;1568:47;;;;;;1553:62;;1706:4;1695:8;1689:15;1684:2;1674:8;1670:17;1667:1;1659:52;1981:1;1953;1921:4;1915:11;1883:4;1877;1873:15;1845:1;1813:5;1781;1750:255;1733:272;;1630:381;1536:3;;;;:::i;:::-;;;1520:502;;;2036:10;2032:15;;;;:3;:15;;;;;;;:22;;2058:5;;2032:15;:22;;2048:5;;;;2032:22;:::i;:::-;;;;;;;;;;;;;;:31;;;;;;;:::i;:::-;;;;-1:-1:-1;;;;;;;;;1138:933:0:o;4738:116::-;4779:10;-1:-1:-1;;;;;4793:8:0;4779:22;;4771:31;;;;;;4834:10;4813:33;3068:983;3174:10;3188:9;3174:23;3166:32;;;;;;3255:132;;3209:16;;3255:132;;-1:-1:-1;;;3268:51:0;3337:4;3268:51;3321:22;;-1:-1:-1;;;3345:41:0;3255:132;;;:::i;:::-;;;;-1:-1:-1;;3255:132:0;;;;;;;;;;3238:150;;3255:132;3238:150;;:::i;:::-;;;;;;;;;;;;;3228:161;;;;;;3209:180;;3400:9;3424:620;3432:12;;;3424:620;;;3463:12;3505:5;3511:1;;3513;3511:4;;;;;;;:::i;:::-;;;;;;;3516:10;3488:39;;;;;;;;;;:::i;:::-;;;;-1:-1:-1;;3488:39:0;;;;;;;;;;3478:50;;3488:39;3478:50;;;;-1:-1:-1;;;;;;3590:159:0;;;8420:26:1;;;;-1:-1:-1;;;;;;3667:4:0;8483:2:1;8479:15;8475:53;8462:11;;;8455:74;8545:12;;;8538:28;;;8582:12;;;8575:28;;;3478:50:0;-1:-1:-1;3543:13:0;;8619:12:1;;3590:159:0;;;;;;;;;;;;3580:170;;;;;;3575:176;;3543:210;;4007:1;3983;3955:4;3949:11;3921:4;3915;3911:15;3887:1;3859:5;3831;3804:223;3787:240;3768:265;;3446:3;;;;:::i;:::-;;;3424:620;;;3155:896;;3068:983;;;;:::o;4063:137::-;4138:10;-1:-1:-1;;;;;4152:8:0;4138:22;;4130:31;;;;;;4172:1;-1:-1:-1;;;;;4172:14:0;4187:4;4172:20;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4063:137;;:::o;4544:186::-;4625:10;-1:-1:-1;;;;;4639:8:0;4625:22;;4617:31;;;;;;4658:21;4672:1;4674:4;;4658:21;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;4658:13:0;;-1:-1:-1;;;4658:21:0:i;5212:381::-;5278:5;;-1:-1:-1;;;;;5278:5:0;5287:10;5278:19;5270:28;;;;;;-1:-1:-1;;;;;5313:22:0;;5309:122;;5360:5;;;5351:47;;-1:-1:-1;;;;;5360:5:0;;;;5376:21;5351:47;;;;;5376:21;;5351:47;5360:5;5351:47;5376:21;5360:5;5351:47;;;;;;;;;;;;;;;;;;;;;5212:381;:::o;5309:122::-;5504:35;;-1:-1:-1;;;5504:35:0;;5533:4;5504:35;;;8788:51:1;5468:6:0;;5441:17;;-1:-1:-1;;;;;5504:20:0;;;;;8761:18:1;;5504:35:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5570:5;;5550:35;;-1:-1:-1;;;5550:35:0;;-1:-1:-1;;;;;5570:5:0;;;5550:35;;;9213:51:1;9280:18;;;9273:34;;;5486:53:0;;-1:-1:-1;5550:19:0;;;;;9186:18:1;;5550:35:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;5259:334;;5212:381;:::o;2081:979::-;2190:10;2204:9;2190:23;2182:32;;;;;;2249:132;;2225:21;;2249:132;;-1:-1:-1;;;2262:51:0;2331:4;2262:51;2315:22;;-1:-1:-1;;;2339:41:0;2249:132;;;:::i;:::-;;;;;;;;;;;;;2225:156;;2392:9;2416:511;2424:12;;;2416:511;;;2455:12;2497:5;;2503:1;;2505;2503:4;;;;;;;:::i;:::-;;;;;;;2508:10;2480:39;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;2470:50;;;;;;2455:65;;2611:4;2600:8;2594:15;2589:2;2579:8;2575:17;2572:1;2564:52;2886:1;2858;2826:4;2820:11;2788:4;2782;2778:15;2750:1;2718:5;2686;2655:255;2638:272;;2535:381;2438:3;;;;:::i;:::-;;;2416:511;;;2937:9;2949:1;;2951:10;2960:1;2949;2951:10;:::i;:::-;2949:13;;;;;;;:::i;:::-;2982:10;2978:15;;;;:3;2949:13;2978:15;;;;;;;;:22;;2949:13;;;;;;;;-1:-1:-1;2978:22:0;;-1:-1:-1;2994:5:0;;;;2978:22;:::i;:::-;;;;;;;;;;;;;;2976:1;:24;2973:80;;;3019:10;3015:15;;;;:3;:15;;;;;;;:22;;3040:1;;3015:15;:22;;3031:5;;;;3015:22;:::i;:::-;;;;;;;;;;;;;;:26;2973:80;2171:889;;;2081:979;;;;;:::o;4865:337::-;5168:1;5148;5124:4;5118:11;5094:4;5088;5084:15;5064:1;5034:11;5010:5;4987:197;4970:214;4865:337;;:::o;14:173:1:-;82:20;;-1:-1:-1;;;;;131:31:1;;121:42;;111:70;;177:1;174;167:12;111:70;14:173;;;:::o;192:347::-;243:8;253:6;307:3;300:4;292:6;288:17;284:27;274:55;;325:1;322;315:12;274:55;-1:-1:-1;348:20:1;;391:18;380:30;;377:50;;;423:1;420;413:12;377:50;460:4;452:6;448:17;436:29;;512:3;505:4;496:6;488;484:19;480:30;477:39;474:59;;;529:1;526;519:12;474:59;192:347;;;;;:::o;544:483::-;623:6;631;639;692:2;680:9;671:7;667:23;663:32;660:52;;;708:1;705;698:12;660:52;731:29;750:9;731:29;:::i;:::-;721:39;;811:2;800:9;796:18;783:32;838:18;830:6;827:30;824:50;;;870:1;867;860:12;824:50;909:58;959:7;950:6;939:9;935:22;909:58;:::i;:::-;544:483;;986:8;;-1:-1:-1;883:84:1;;-1:-1:-1;;;;544:483:1:o;1032:127::-;1093:10;1088:3;1084:20;1081:1;1074:31;1124:4;1121:1;1114:15;1148:4;1145:1;1138:15;1164:718;1206:5;1259:3;1252:4;1244:6;1240:17;1236:27;1226:55;;1277:1;1274;1267:12;1226:55;1313:6;1300:20;1339:18;1376:2;1372;1369:10;1366:36;;;1382:18;;:::i;:::-;1457:2;1451:9;1425:2;1511:13;;-1:-1:-1;;1507:22:1;;;1531:2;1503:31;1499:40;1487:53;;;1555:18;;;1575:22;;;1552:46;1549:72;;;1601:18;;:::i;:::-;1641:10;1637:2;1630:22;1676:2;1668:6;1661:18;1722:3;1715:4;1710:2;1702:6;1698:15;1694:26;1691:35;1688:55;;;1739:1;1736;1729:12;1688:55;1803:2;1796:4;1788:6;1784:17;1777:4;1769:6;1765:17;1752:54;1850:1;1843:4;1838:2;1830:6;1826:15;1822:26;1815:37;1870:6;1861:15;;;;;;1164:718;;;;:::o;1887:394::-;1964:6;1972;2025:2;2013:9;2004:7;2000:23;1996:32;1993:52;;;2041:1;2038;2031:12;1993:52;2064:29;2083:9;2064:29;:::i;:::-;2054:39;;2144:2;2133:9;2129:18;2116:32;2171:18;2163:6;2160:30;2157:50;;;2203:1;2200;2193:12;2157:50;2226:49;2267:7;2258:6;2247:9;2243:22;2226:49;:::i;:::-;2216:59;;;1887:394;;;;;:::o;2468:696::-;2565:6;2573;2581;2589;2642:2;2630:9;2621:7;2617:23;2613:32;2610:52;;;2658:1;2655;2648:12;2610:52;2694:9;2681:23;2671:33;;2755:2;2744:9;2740:18;2727:32;2778:18;2819:2;2811:6;2808:14;2805:34;;;2835:1;2832;2825:12;2805:34;2858:49;2899:7;2890:6;2879:9;2875:22;2858:49;:::i;:::-;2848:59;;2960:2;2949:9;2945:18;2932:32;2916:48;;2989:2;2979:8;2976:16;2973:36;;;3005:1;3002;2995:12;2973:36;;3044:60;3096:7;3085:8;3074:9;3070:24;3044:60;:::i;:::-;2468:696;;;;-1:-1:-1;3123:8:1;-1:-1:-1;;;;2468:696:1:o;3169:367::-;3232:8;3242:6;3296:3;3289:4;3281:6;3277:17;3273:27;3263:55;;3314:1;3311;3304:12;3263:55;-1:-1:-1;3337:20:1;;3380:18;3369:30;;3366:50;;;3412:1;3409;3402:12;3366:50;3449:4;3441:6;3437:17;3425:29;;3509:3;3502:4;3492:6;3489:1;3485:14;3477:6;3473:27;3469:38;3466:47;3463:67;;;3526:1;3523;3516:12;3541:854;3663:6;3671;3679;3687;3740:2;3728:9;3719:7;3715:23;3711:32;3708:52;;;3756:1;3753;3746:12;3708:52;3796:9;3783:23;3825:18;3866:2;3858:6;3855:14;3852:34;;;3882:1;3879;3872:12;3852:34;3921:70;3983:7;3974:6;3963:9;3959:22;3921:70;:::i;:::-;4010:8;;-1:-1:-1;3895:96:1;-1:-1:-1;4098:2:1;4083:18;;4070:32;;-1:-1:-1;4114:16:1;;;4111:36;;;4143:1;4140;4133:12;4111:36;4166:51;4209:7;4198:8;4187:9;4183:24;4166:51;:::i;:::-;4156:61;;4270:2;4259:9;4255:18;4242:32;4226:48;;4299:2;4289:8;4286:16;4283:36;;;4315:1;4312;4305:12;4283:36;;4338:51;4381:7;4370:8;4359:9;4355:24;4338:51;:::i;:::-;4328:61;;;3541:854;;;;;;;:::o;4400:186::-;4459:6;4512:2;4500:9;4491:7;4487:23;4483:32;4480:52;;;4528:1;4525;4518:12;4480:52;4551:29;4570:9;4551:29;:::i;:::-;4541:39;4400:186;-1:-1:-1;;;4400:186:1:o;4591:943::-;4715:6;4723;4731;4739;4747;4800:2;4788:9;4779:7;4775:23;4771:32;4768:52;;;4816:1;4813;4806:12;4768:52;4856:9;4843:23;4885:18;4926:2;4918:6;4915:14;4912:34;;;4942:1;4939;4932:12;4912:34;4981:70;5043:7;5034:6;5023:9;5019:22;4981:70;:::i;:::-;5070:8;;-1:-1:-1;4955:96:1;-1:-1:-1;5158:2:1;5143:18;;5130:32;;-1:-1:-1;5174:16:1;;;5171:36;;;5203:1;5200;5193:12;5171:36;5226:51;5269:7;5258:8;5247:9;5243:24;5226:51;:::i;:::-;5216:61;;5330:2;5319:9;5315:18;5302:32;5286:48;;5359:2;5349:8;5346:16;5343:36;;;5375:1;5372;5365:12;5343:36;;5414:60;5466:7;5455:8;5444:9;5440:24;5414:60;:::i;:::-;4591:943;;;;-1:-1:-1;4591:943:1;;-1:-1:-1;5493:8:1;;5388:86;4591:943;-1:-1:-1;;;4591:943:1:o;5539:322::-;5580:3;5618:5;5612:12;5642:1;5652:128;5666:6;5663:1;5660:13;5652:128;;;5763:4;5748:13;;;5744:24;;5738:31;5725:11;;;5718:52;5681:12;5652:128;;;-1:-1:-1;5835:1:1;5799:16;;5824:13;;;-1:-1:-1;5799:16:1;;5539:322;-1:-1:-1;5539:322:1:o;5866:189::-;5995:3;6020:29;6045:3;6037:6;6020:29;:::i;6060:428::-;-1:-1:-1;;;;;;6307:15:1;;;6295:28;;6353:15;;;;6348:2;6339:12;;6332:37;-1:-1:-1;;6399:54:1;;;6394:2;6385:12;;6378:76;6479:2;6470:12;;6060:428::o;6493:271::-;6676:6;6668;6663:3;6650:33;6632:3;6702:16;;6727:13;;;6702:16;6493:271;-1:-1:-1;6493:271:1:o;6769:127::-;6830:10;6825:3;6821:20;6818:1;6811:31;6861:4;6858:1;6851:15;6885:4;6882:1;6875:15;6901:125;6966:9;;;6987:10;;;6984:36;;;7000:18;;:::i;:::-;6901:125;;;;:::o;7031:424::-;7270:6;7262;7257:3;7244:33;7296:16;;;7321:18;;;7376:2;7372:15;;;;-1:-1:-1;;;;;;7368:53:1;7363:2;7355:11;;7348:74;7446:2;7438:11;;7031:424;-1:-1:-1;7031:424:1:o;7460:135::-;7499:3;7520:17;;;7517:43;;7540:18;;:::i;:::-;-1:-1:-1;7587:1:1;7576:13;;7460:135::o;7600:127::-;7661:10;7656:3;7652:20;7649:1;7642:31;7692:4;7689:1;7682:15;7716:4;7713:1;7706:15;7732:397;7917:3;7948:29;7973:3;7965:6;7948:29;:::i;:::-;7986:21;;;-1:-1:-1;;8047:2:1;8043:15;-1:-1:-1;;;;;;8039:53:1;8034:2;8023:14;;8016:77;8120:2;8109:14;;7732:397;-1:-1:-1;7732:397:1:o;8850:184::-;8920:6;8973:2;8961:9;8952:7;8948:23;8944:32;8941:52;;;8989:1;8986;8979:12;8941:52;-1:-1:-1;9012:16:1;;8850:184;-1:-1:-1;8850:184:1:o;9318:277::-;9385:6;9438:2;9426:9;9417:7;9413:23;9409:32;9406:52;;;9454:1;9451;9444:12;9406:52;9486:9;9480:16;9539:5;9532:13;9525:21;9518:5;9515:32;9505:60;;9561:1;9558;9551:12;9600:128;9667:9;;;9688:11;;;9685:37;;;9702:18;;:::i

ipfs://5f297dfed403682a4960b7769600b70af12a513c6536b40fdf7f27534d2504ee