Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address to, uint256 ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address from, a ...
•  contract MSN_MINING_CLAIM *
•    - function check_amount_from_signature( ...
•    - function transfer_msn_to_owner(uint25 ...
•    - function mining_claim_limit()
•    - function set_miner_signer(address _ne ...
•    - function recover(bytes32 hash, bytes ...
•    - function check_claim_sig(
•    - function miner_claim(
•    - function forbid_claim(uint256 signatu ...
•    - function past_years()
•    - function past_days()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-03-13
*/

// File: https://github.com/OpenZeppelin/openzeppelin-contracts/blob/release-v4.9/contracts/token/ERC20/IERC20.sol


// OpenZeppelin Contracts (last updated v4.9.0) (token/ERC20/IERC20.sol)

pragma solidity ^0.8.0;

/**
 * @dev Interface of the ERC20 standard as defined in the EIP.
 */
interface IERC20 {
    /**
     * @dev Emitted when `value` tokens are moved from one account (`from`) to
     * another (`to`).
     *
     * Note that `value` may be zero.
     */
    event Transfer(address indexed from, address indexed to, uint256 value);

    /**
     * @dev Emitted when the allowance of a `spender` for an `owner` is set by
     * a call to {approve}. `value` is the new allowance.
     */
    event Approval(address indexed owner, address indexed spender, uint256 value);

    /**
     * @dev Returns the amount of tokens in existence.
     */
    function totalSupply() external view returns (uint256);

    /**
     * @dev Returns the amount of tokens owned by `account`.
     */
    function balanceOf(address account) external view returns (uint256);

    /**
     * @dev Moves `amount` tokens from the caller's account to `to`.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transfer(address to, uint256 amount) external returns (bool);

    /**
     * @dev Returns the remaining number of tokens that `spender` will be
     * allowed to spend on behalf of `owner` through {transferFrom}. This is
     * zero by default.
     *
     * This value changes when {approve} or {transferFrom} are called.
     */
    function allowance(address owner, address spender) external view returns (uint256);

    /**
     * @dev Sets `amount` as the allowance of `spender` over the caller's tokens.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * IMPORTANT: Beware that changing an allowance with this method brings the risk
     * that someone may use both the old and the new allowance by unfortunate
     * transaction ordering. One possible solution to mitigate this race
     * condition is to first reduce the spender's allowance to 0 and set the
     * desired value afterwards:
     * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
     *
     * Emits an {Approval} event.
     */
    function approve(address spender, uint256 amount) external returns (bool);

    /**
     * @dev Moves `amount` tokens from `from` to `to` using the
     * allowance mechanism. `amount` is then deducted from the caller's
     * allowance.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transferFrom(address from, address to, uint256 amount) external returns (bool);
}

// File: contracts/MSN_MINING_CLAIM.sol


pragma solidity ^0.8.0;


contract MSN_MINING_CLAIM {
    address public msn_contract_address;
    uint256 public mining_claim_base;

    //mining
    address public miner_signer;
    uint256 public mining_start_timestamp;
    uint256 public miner_total_claimed; //total tokens claimed by all miners in the past
    mapping(uint256 => uint256) private mining_sig_amount_map; // mining claim signature id => amount

    //sum(claim rate)*1000 for mining in each year
    uint256[10] public mining_claim_years_limit = [
        50,
        95,
        135,
        170,
        200,
        225,
        245,
        260,
        270,
        275
    ];

    address public contract_owner;
    modifier onlyContractOwner() {
        require(msg.sender == contract_owner, "Only contractOwner");
        _;
    }

    constructor(
        address _msn_contract_addr,
        uint256 _mining_claim_base,
        uint256 _mining_start_time
    ) {
        msn_contract_address = _msn_contract_addr;
        mining_claim_base = _mining_claim_base;
        contract_owner = msg.sender;
        mining_start_timestamp = _mining_start_time;
    }

    function check_amount_from_signature(uint256 sig_id)
        public
        view
        returns (uint256)
    {
        return mining_sig_amount_map[sig_id];
    }

    function transfer_msn_to_owner(uint256 amount) public onlyContractOwner {
        bool result = IERC20(msn_contract_address).transfer(
            contract_owner,
            amount
        );
        require(result == true, "transfer error");
    }

    // sum of all the tokens can be claimed currently
    function mining_claim_limit() public view returns (uint256) {
        uint256 past_years_num = past_years();
        uint256 past_days_num = past_days();

        /////////past years total limit //////////////
        uint256 past_years_claim_limit = 0;
        if (past_years_num == 0) {
            //keeps past_years_claim_limit 0
        } else if (past_years_num < 10)
            past_years_claim_limit =
                (mining_claim_years_limit[past_years_num - 1] *
                    mining_claim_base) /
                1000;
        else {
            past_years_claim_limit =
                (mining_claim_years_limit[9] * mining_claim_base) /
                1000;
        }

        /////////this year total limit /////////////////////
        uint256 claim_ratio_this_year = 0;
        if (past_years_num == 0) {
            claim_ratio_this_year = mining_claim_years_limit[past_years_num];
        } else if (past_years_num < 10) {
            claim_ratio_this_year =
                mining_claim_years_limit[past_years_num] -
                mining_claim_years_limit[past_years_num - 1];
        } else {
            //keeps claim_ratio_this_year 0
        }

        uint256 this_year_claim_limit = ((past_days_num +
            1 -
            365 *
            past_years_num) *
            mining_claim_base *
            claim_ratio_this_year) /
            365 /
            1000;

        ///////////////////////////////////////////////////
        return past_years_claim_limit + this_year_claim_limit;
    }

    event Set_miner_signer_log(address addr);

    function set_miner_signer(address _new_signer) external onlyContractOwner {
        require(address(_new_signer) != address(0)); 
        miner_signer = _new_signer;
        emit Set_miner_signer_log(_new_signer);
    }

    /**
     * Based on https://gist.github.com/axic/5b33912c6f61ae6fd96d6c4a47afde6d
     * @dev Recover signer address from a message by using his signature
     * @param hash bytes32 message, the hash is the signed message. What is recovered is the signer address.
     * @param sig bytes signature, the signature is generated using web3.eth.sign()
     */
    function recover(bytes32 hash, bytes memory sig)
        public
        pure
        returns (address)
    {
        bytes32 r;
        bytes32 s;
        uint8 v;

        //Check the signature length
        if (sig.length != 65) {
            return (address(0));
        }

        // Divide the signature in r, s and v variables
        assembly {
            r := mload(add(sig, 32))
            s := mload(add(sig, 64))
            v := byte(0, mload(add(sig, 96)))
        }

        // Version of signature should be 27 or 28, but 0 and 1 are also possible versions
        if (v < 27) {
            v += 27;
        }

        // If the version is correct return the signer address
        if (v != 27 && v != 28) {
            return (address(0));
        } else {
            return ecrecover(hash, v, r, s);
        }
    }

    function check_claim_sig(
        uint256 sig_id,
        uint256 amount,
        bytes memory sig
    ) private view {
        bytes32 hash = keccak256(abi.encodePacked(sig_id, msg.sender, amount));
        address msg_signer = recover(hash, sig);
        require(msg_signer == miner_signer, "signature error");
    }

    function miner_claim(
        uint256 signature_id,
        uint256 amount,
        bytes memory signature
    ) public {
        require(amount > 0, "claim amount should be bigger then 0");

        require(mining_sig_amount_map[signature_id] == 0, "repeated claim");
        mining_sig_amount_map[signature_id] = amount;

        uint256 after_add = miner_total_claimed + amount;
        require(after_add <= mining_claim_limit(), "mining over limit");
        miner_total_claimed = after_add;

        check_claim_sig(signature_id, amount, signature);

        //transfer
        bool result = IERC20(msn_contract_address).transfer(msg.sender, amount);
        require(result == true, "transfer error");
    }

    function forbid_claim(uint256 signature_id) public onlyContractOwner {
        require(mining_sig_amount_map[signature_id] == 0, "already claimed");
        mining_sig_amount_map[signature_id] = 1;
    }


    //how many years passed since initial deployed
    function past_years() public view returns (uint256) {
        return (block.timestamp - mining_start_timestamp) / 365 days;
    }

    //how many days passed since initial deployed
    function past_days() public view returns (uint256) {
        return (block.timestamp - mining_start_timestamp) / 1 days;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"_msn_contract_addr","type":"address"},{"internalType":"uint256","name":"_mining_claim_base","type":"uint256"},{"internalType":"uint256","name":"_mining_start_time","type":"uint256"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"addr","type":"address"}],"name":"Set_miner_signer_log","type":"event"},{"inputs":[{"internalType":"uint256","name":"sig_id","type":"uint256"}],"name":"check_amount_from_signature","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"contract_owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"signature_id","type":"uint256"}],"name":"forbid_claim","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"signature_id","type":"uint256"},{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"bytes","name":"signature","type":"bytes"}],"name":"miner_claim","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"miner_signer","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"miner_total_claimed","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"mining_claim_base","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"mining_claim_limit","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"mining_claim_years_limit","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"mining_start_timestamp","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"msn_contract_address","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"past_days","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"past_years","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"hash","type":"bytes32"},{"internalType":"bytes","name":"sig","type":"bytes"}],"name":"recover","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"_new_signer","type":"address"}],"name":"set_miner_signer","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer_msn_to_owner","outputs":[],"stateMutability":"nonpayable","type":"function"}]

6080604052604051806101400160405280603261ffff168152602001605f61ffff168152602001608761ffff16815260200160aa61ffff16815260200160c861ffff16815260200160e161ffff16815260200160f561ffff16815260200161010461ffff16815260200161010e61ffff16815260200161011361ffff16815250600690600a620000919291906200015d565b503480156200009f57600080fd5b5060405162001a7938038062001a798339818101604052810190620000c59190620001f5565b826000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508160018190555033601060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555080600381905550505050620002bd565b82600a810192821562000195579160200282015b8281111562000194578251829061ffff1690559160200191906001019062000171565b5b509050620001a49190620001a8565b5090565b5b80821115620001c3576000816000905550600101620001a9565b5090565b600081519050620001d88162000289565b92915050565b600081519050620001ef81620002a3565b92915050565b6000806000606084860312156200020b57600080fd5b60006200021b86828701620001c7565b93505060206200022e86828701620001de565b92505060406200024186828701620001de565b9150509250925092565b600062000258826200025f565b9050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b62000294816200024b565b8114620002a057600080fd5b50565b620002ae816200027f565b8114620002ba57600080fd5b50565b6117ac80620002cd6000396000f3fe608060405234801561001057600080fd5b50600436106101005760003560e01c80636d161d3811610097578063a4d04d6511610066578063a4d04d651461028b578063aaa76f22146102bb578063d85c746b146102d9578063e745b721146102f757610100565b80636d161d38146102155780636e12475b146102315780636ec78dfa1461024f578063945133201461026d57610100565b80633aa56bc3116100d35780633aa56bc31461018b5780633c003eae146101a95780633c89bf11146101c7578063587b9546146101f757610100565b806313f13e0e1461010557806319045a25146101215780633438370414610151578063384f58eb1461016d575b600080fd5b61011f600480360381019061011a9190610edf565b610313565b005b61013b60048036038101906101369190610f31565b610458565b60405161014891906112a2565b60405180910390f35b61016b60048036038101906101669190610f85565b61052b565b005b61017561062d565b60405161018291906112a2565b60405180910390f35b610193610653565b6040516101a0919061140b565b60405180910390f35b6101b16108a6565b6040516101be919061140b565b60405180910390f35b6101e160048036038101906101dc9190610f85565b6108ca565b6040516101ee919061140b565b60405180910390f35b6101ff6108e7565b60405161020c91906112a2565b60405180910390f35b61022f600480360381019061022a9190610fae565b61090d565b005b610239610b2c565b604051610246919061140b565b60405180910390f35b610257610b32565b604051610264919061140b565b60405180910390f35b610275610b55565b604051610282919061140b565b60405180910390f35b6102a560048036038101906102a09190610f85565b610b5b565b6040516102b2919061140b565b60405180910390f35b6102c3610b76565b6040516102d091906112a2565b60405180910390f35b6102e1610b9a565b6040516102ee919061140b565b60405180910390f35b610311600480360381019061030c9190610f85565b610ba0565b005b601060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146103a3576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161039a9061136b565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156103dd57600080fd5b80600260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055507fa08d3380b99cc997087a0bbbdbcd1aa5b5d084e9b430ecc3c6b0c12f75308e768160405161044d91906112a2565b60405180910390a150565b60008060008060418551146104735760009350505050610525565b6020850151925060408501519150606085015160001a9050601b8160ff1610156104a757601b816104a491906114ee565b90505b601b8160ff16141580156104bf5750601c8160ff1614155b156104d05760009350505050610525565b600186828585604051600081526020016040526040516104f394939291906112e6565b6020604051602081039080840390855afa158015610515573d6000803e3d6000fd5b5050506020604051035193505050505b92915050565b601060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146105bb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105b29061136b565b60405180910390fd5b6000600560008381526020019081526020016000205414610611576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106089061138b565b60405180910390fd5b6001600560008381526020019081526020016000208190555050565b601060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60008061065e6108a6565b9050600061066a610b32565b905060008083141561067b57610748565b600a8310156106ed576103e8600154600660018661069991906115b0565b600a81106106d0577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b01546106dc9190611556565b6106e69190611525565b9050610747565b6103e860015460066009600a811061072e577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b015461073a9190611556565b6107449190611525565b90505b5b60008084141561079557600684600a811061078c577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b01549050610835565b600a8410156108335760066001856107ad91906115b0565b600a81106107e4577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b0154600685600a8110610820577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b015461082c91906115b0565b9050610834565b5b5b60006103e861016d836001548861016d61084f9190611556565b60018961085c9190611498565b61086691906115b0565b6108709190611556565b61087a9190611556565b6108849190611525565b61088e9190611525565b9050808361089c9190611498565b9550505050505090565b60006301e13380600354426108bb91906115b0565b6108c59190611525565b905090565b600060056000838152602001908152602001600020549050919050565b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60008211610950576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610947906113eb565b60405180910390fd5b60006005600085815260200190815260200160002054146109a6576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161099d9061134b565b60405180910390fd5b8160056000858152602001908152602001600020819055506000826004546109ce9190611498565b90506109d8610653565b811115610a1a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a119061132b565b60405180910390fd5b80600481905550610a2c848484610d4f565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb33866040518363ffffffff1660e01b8152600401610a8a9291906112bd565b602060405180830381600087803b158015610aa457600080fd5b505af1158015610ab8573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610adc9190610f08565b90506001151581151514610b25576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b1c906113cb565b60405180910390fd5b5050505050565b60015481565b60006201518060035442610b4691906115b0565b610b509190611525565b905090565b60045481565b600681600a8110610b6b57600080fd5b016000915090505481565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60035481565b601060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610c30576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c279061136b565b60405180910390fd5b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb601060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16846040518363ffffffff1660e01b8152600401610cb09291906112bd565b602060405180830381600087803b158015610cca57600080fd5b505af1158015610cde573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610d029190610f08565b90506001151581151514610d4b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d42906113cb565b60405180910390fd5b5050565b6000833384604051602001610d6693929190611265565b6040516020818303038152906040528051906020012090506000610d8a8284610458565b9050600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614610e1c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e13906113ab565b60405180910390fd5b5050505050565b6000610e36610e3184611457565b611426565b905082815260208101848484011115610e4e57600080fd5b610e59848285611643565b509392505050565b600081359050610e708161171a565b92915050565b600081519050610e8581611731565b92915050565b600081359050610e9a81611748565b92915050565b600082601f830112610eb157600080fd5b8135610ec1848260208601610e23565b91505092915050565b600081359050610ed98161175f565b92915050565b600060208284031215610ef157600080fd5b6000610eff84828501610e61565b91505092915050565b600060208284031215610f1a57600080fd5b6000610f2884828501610e76565b91505092915050565b60008060408385031215610f4457600080fd5b6000610f5285828601610e8b565b925050602083013567ffffffffffffffff811115610f6f57600080fd5b610f7b85828601610ea0565b9150509250929050565b600060208284031215610f9757600080fd5b6000610fa584828501610eca565b91505092915050565b600080600060608486031215610fc357600080fd5b6000610fd186828701610eca565b9350506020610fe286828701610eca565b925050604084013567ffffffffffffffff811115610fff57600080fd5b61100b86828701610ea0565b9150509250925092565b61101e816115e4565b82525050565b611035611030826115e4565b611652565b82525050565b61104481611602565b82525050565b6000611057601183611487565b91507f6d696e696e67206f766572206c696d69740000000000000000000000000000006000830152602082019050919050565b6000611097600e83611487565b91507f726570656174656420636c61696d0000000000000000000000000000000000006000830152602082019050919050565b60006110d7601283611487565b91507f4f6e6c7920636f6e74726163744f776e657200000000000000000000000000006000830152602082019050919050565b6000611117600f83611487565b91507f616c726561647920636c61696d656400000000000000000000000000000000006000830152602082019050919050565b6000611157600f83611487565b91507f7369676e6174757265206572726f7200000000000000000000000000000000006000830152602082019050919050565b6000611197600e83611487565b91507f7472616e73666572206572726f720000000000000000000000000000000000006000830152602082019050919050565b60006111d7602483611487565b91507f636c61696d20616d6f756e742073686f756c642062652062696767657220746860008301527f656e2030000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b6112398161162c565b82525050565b61125061124b8261162c565b611676565b82525050565b61125f81611636565b82525050565b6000611271828661123f565b6020820191506112818285611024565b601482019150611291828461123f565b602082019150819050949350505050565b60006020820190506112b76000830184611015565b92915050565b60006040820190506112d26000830185611015565b6112df6020830184611230565b9392505050565b60006080820190506112fb600083018761103b565b6113086020830186611256565b611315604083018561103b565b611322606083018461103b565b95945050505050565b600060208201905081810360008301526113448161104a565b9050919050565b600060208201905081810360008301526113648161108a565b9050919050565b60006020820190508181036000830152611384816110ca565b9050919050565b600060208201905081810360008301526113a48161110a565b9050919050565b600060208201905081810360008301526113c48161114a565b9050919050565b600060208201905081810360008301526113e48161118a565b9050919050565b60006020820190508181036000830152611404816111ca565b9050919050565b60006020820190506114206000830184611230565b92915050565b6000604051905081810181811067ffffffffffffffff8211171561144d5761144c6116de565b5b8060405250919050565b600067ffffffffffffffff821115611472576114716116de565b5b601f19601f8301169050602081019050919050565b600082825260208201905092915050565b60006114a38261162c565b91506114ae8361162c565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156114e3576114e2611680565b5b828201905092915050565b60006114f982611636565b915061150483611636565b92508260ff0382111561151a57611519611680565b5b828201905092915050565b60006115308261162c565b915061153b8361162c565b92508261154b5761154a6116af565b5b828204905092915050565b60006115618261162c565b915061156c8361162c565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04831182151516156115a5576115a4611680565b5b828202905092915050565b60006115bb8261162c565b91506115c68361162c565b9250828210156115d9576115d8611680565b5b828203905092915050565b60006115ef8261160c565b9050919050565b60008115159050919050565b6000819050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b82818337600083830152505050565b600061165d82611664565b9050919050565b600061166f8261170d565b9050919050565b6000819050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b60008160601b9050919050565b611723816115e4565b811461172e57600080fd5b50565b61173a816115f6565b811461174557600080fd5b50565b61175181611602565b811461175c57600080fd5b50565b6117688161162c565b811461177357600080fd5b5056fea264697066735822122006d4017afb91b4327b5d8ccc04140b52fbaf19eb87570c86a5696f2b4121dd4964736f6c63430008000033000000000000000000000000aa247c0d81b83812e1abf8bab078e4540d87e3fb00000000000000000000000000000000000000000052b7d2dcc80cd2e40000000000000000000000000000000000000000000000000000000000000065d7f14a

0x608060405234801561001057600080fd5b50600436106101005760003560e01c80636d161d3811610097578063a4d04d6511610066578063a4d04d651461028b578063aaa76f22146102bb578063d85c746b146102d9578063e745b721146102f757610100565b80636d161d38146102155780636e12475b146102315780636ec78dfa1461024f578063945133201461026d57610100565b80633aa56bc3116100d35780633aa56bc31461018b5780633c003eae146101a95780633c89bf11146101c7578063587b9546146101f757610100565b806313f13e0e1461010557806319045a25146101215780633438370414610151578063384f58eb1461016d575b600080fd5b61011f600480360381019061011a9190610edf565b610313565b005b61013b60048036038101906101369190610f31565b610458565b60405161014891906112a2565b60405180910390f35b61016b60048036038101906101669190610f85565b61052b565b005b61017561062d565b60405161018291906112a2565b60405180910390f35b610193610653565b6040516101a0919061140b565b60405180910390f35b6101b16108a6565b6040516101be919061140b565b60405180910390f35b6101e160048036038101906101dc9190610f85565b6108ca565b6040516101ee919061140b565b60405180910390f35b6101ff6108e7565b60405161020c91906112a2565b60405180910390f35b61022f600480360381019061022a9190610fae565b61090d565b005b610239610b2c565b604051610246919061140b565b60405180910390f35b610257610b32565b604051610264919061140b565b60405180910390f35b610275610b55565b604051610282919061140b565b60405180910390f35b6102a560048036038101906102a09190610f85565b610b5b565b6040516102b2919061140b565b60405180910390f35b6102c3610b76565b6040516102d091906112a2565b60405180910390f35b6102e1610b9a565b6040516102ee919061140b565b60405180910390f35b610311600480360381019061030c9190610f85565b610ba0565b005b601060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146103a3576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161039a9061136b565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156103dd57600080fd5b80600260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055507fa08d3380b99cc997087a0bbbdbcd1aa5b5d084e9b430ecc3c6b0c12f75308e768160405161044d91906112a2565b60405180910390a150565b60008060008060418551146104735760009350505050610525565b6020850151925060408501519150606085015160001a9050601b8160ff1610156104a757601b816104a491906114ee565b90505b601b8160ff16141580156104bf5750601c8160ff1614155b156104d05760009350505050610525565b600186828585604051600081526020016040526040516104f394939291906112e6565b6020604051602081039080840390855afa158015610515573d6000803e3d6000fd5b5050506020604051035193505050505b92915050565b601060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146105bb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105b29061136b565b60405180910390fd5b6000600560008381526020019081526020016000205414610611576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106089061138b565b60405180910390fd5b6001600560008381526020019081526020016000208190555050565b601060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60008061065e6108a6565b9050600061066a610b32565b905060008083141561067b57610748565b600a8310156106ed576103e8600154600660018661069991906115b0565b600a81106106d0577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b01546106dc9190611556565b6106e69190611525565b9050610747565b6103e860015460066009600a811061072e577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b015461073a9190611556565b6107449190611525565b90505b5b60008084141561079557600684600a811061078c577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b01549050610835565b600a8410156108335760066001856107ad91906115b0565b600a81106107e4577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b0154600685600a8110610820577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b015461082c91906115b0565b9050610834565b5b5b60006103e861016d836001548861016d61084f9190611556565b60018961085c9190611498565b61086691906115b0565b6108709190611556565b61087a9190611556565b6108849190611525565b61088e9190611525565b9050808361089c9190611498565b9550505050505090565b60006301e13380600354426108bb91906115b0565b6108c59190611525565b905090565b600060056000838152602001908152602001600020549050919050565b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60008211610950576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610947906113eb565b60405180910390fd5b60006005600085815260200190815260200160002054146109a6576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161099d9061134b565b60405180910390fd5b8160056000858152602001908152602001600020819055506000826004546109ce9190611498565b90506109d8610653565b811115610a1a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a119061132b565b60405180910390fd5b80600481905550610a2c848484610d4f565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb33866040518363ffffffff1660e01b8152600401610a8a9291906112bd565b602060405180830381600087803b158015610aa457600080fd5b505af1158015610ab8573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610adc9190610f08565b90506001151581151514610b25576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b1c906113cb565b60405180910390fd5b5050505050565b60015481565b60006201518060035442610b4691906115b0565b610b509190611525565b905090565b60045481565b600681600a8110610b6b57600080fd5b016000915090505481565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60035481565b601060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610c30576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c279061136b565b60405180910390fd5b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb601060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16846040518363ffffffff1660e01b8152600401610cb09291906112bd565b602060405180830381600087803b158015610cca57600080fd5b505af1158015610cde573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610d029190610f08565b90506001151581151514610d4b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d42906113cb565b60405180910390fd5b5050565b6000833384604051602001610d6693929190611265565b6040516020818303038152906040528051906020012090506000610d8a8284610458565b9050600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614610e1c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e13906113ab565b60405180910390fd5b5050505050565b6000610e36610e3184611457565b611426565b905082815260208101848484011115610e4e57600080fd5b610e59848285611643565b509392505050565b600081359050610e708161171a565b92915050565b600081519050610e8581611731565b92915050565b600081359050610e9a81611748565b92915050565b600082601f830112610eb157600080fd5b8135610ec1848260208601610e23565b91505092915050565b600081359050610ed98161175f565b92915050565b600060208284031215610ef157600080fd5b6000610eff84828501610e61565b91505092915050565b600060208284031215610f1a57600080fd5b6000610f2884828501610e76565b91505092915050565b60008060408385031215610f4457600080fd5b6000610f5285828601610e8b565b925050602083013567ffffffffffffffff811115610f6f57600080fd5b610f7b85828601610ea0565b9150509250929050565b600060208284031215610f9757600080fd5b6000610fa584828501610eca565b91505092915050565b600080600060608486031215610fc357600080fd5b6000610fd186828701610eca565b9350506020610fe286828701610eca565b925050604084013567ffffffffffffffff811115610fff57600080fd5b61100b86828701610ea0565b9150509250925092565b61101e816115e4565b82525050565b611035611030826115e4565b611652565b82525050565b61104481611602565b82525050565b6000611057601183611487565b91507f6d696e696e67206f766572206c696d69740000000000000000000000000000006000830152602082019050919050565b6000611097600e83611487565b91507f726570656174656420636c61696d0000000000000000000000000000000000006000830152602082019050919050565b60006110d7601283611487565b91507f4f6e6c7920636f6e74726163744f776e657200000000000000000000000000006000830152602082019050919050565b6000611117600f83611487565b91507f616c726561647920636c61696d656400000000000000000000000000000000006000830152602082019050919050565b6000611157600f83611487565b91507f7369676e6174757265206572726f7200000000000000000000000000000000006000830152602082019050919050565b6000611197600e83611487565b91507f7472616e73666572206572726f720000000000000000000000000000000000006000830152602082019050919050565b60006111d7602483611487565b91507f636c61696d20616d6f756e742073686f756c642062652062696767657220746860008301527f656e2030000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b6112398161162c565b82525050565b61125061124b8261162c565b611676565b82525050565b61125f81611636565b82525050565b6000611271828661123f565b6020820191506112818285611024565b601482019150611291828461123f565b602082019150819050949350505050565b60006020820190506112b76000830184611015565b92915050565b60006040820190506112d26000830185611015565b6112df6020830184611230565b9392505050565b60006080820190506112fb600083018761103b565b6113086020830186611256565b611315604083018561103b565b611322606083018461103b565b95945050505050565b600060208201905081810360008301526113448161104a565b9050919050565b600060208201905081810360008301526113648161108a565b9050919050565b60006020820190508181036000830152611384816110ca565b9050919050565b600060208201905081810360008301526113a48161110a565b9050919050565b600060208201905081810360008301526113c48161114a565b9050919050565b600060208201905081810360008301526113e48161118a565b9050919050565b60006020820190508181036000830152611404816111ca565b9050919050565b60006020820190506114206000830184611230565b92915050565b6000604051905081810181811067ffffffffffffffff8211171561144d5761144c6116de565b5b8060405250919050565b600067ffffffffffffffff821115611472576114716116de565b5b601f19601f8301169050602081019050919050565b600082825260208201905092915050565b60006114a38261162c565b91506114ae8361162c565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156114e3576114e2611680565b5b828201905092915050565b60006114f982611636565b915061150483611636565b92508260ff0382111561151a57611519611680565b5b828201905092915050565b60006115308261162c565b915061153b8361162c565b92508261154b5761154a6116af565b5b828204905092915050565b60006115618261162c565b915061156c8361162c565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04831182151516156115a5576115a4611680565b5b828202905092915050565b60006115bb8261162c565b91506115c68361162c565b9250828210156115d9576115d8611680565b5b828203905092915050565b60006115ef8261160c565b9050919050565b60008115159050919050565b6000819050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b82818337600083830152505050565b600061165d82611664565b9050919050565b600061166f8261170d565b9050919050565b6000819050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b60008160601b9050919050565b611723816115e4565b811461172e57600080fd5b50565b61173a816115f6565b811461174557600080fd5b50565b61175181611602565b811461175c57600080fd5b50565b6117688161162c565b811461177357600080fd5b5056fea264697066735822122006d4017afb91b4327b5d8ccc04140b52fbaf19eb87570c86a5696f2b4121dd4964736f6c63430008000033

000000000000000000000000aa247c0d81b83812e1abf8bab078e4540d87e3fb00000000000000000000000000000000000000000052b7d2dcc80cd2e40000000000000000000000000000000000000000000000000000000000000065d7f14a

-----Decoded View---------------
Arg [0] : _msn_contract_addr (address): 0xaA247c0D81B83812e1ABf8bAB078E4540D87e3fB
Arg [1] : _mining_claim_base (uint256): 100000000000000000000000000
Arg [2] : _mining_start_time (uint256): 1708650826

-----Encoded View---------------
3 Constructor Arguments found :
Arg [0] : 000000000000000000000000aa247c0d81b83812e1abf8bab078e4540d87e3fb
Arg [1] : 00000000000000000000000000000000000000000052b7d2dcc80cd2e4000000
Arg [2] : 0000000000000000000000000000000000000000000000000000000065d7f14a

2978:6422:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6265:223;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;6862:868;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8811:206;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;3633:29;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4631:1577;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;9079:131;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4135:170;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3108:27;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8072:731;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;3053:32;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;9269:128;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3186:34;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3433:191;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3011:35;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3142:37;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4313:255;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;6265:223;3731:14;;;;;;;;;;;3717:28;;:10;:28;;;3709:59;;;;;;;;;;;;:::i;:::-;;;;;;;;;6390:1:::1;6358:34;;6366:11;6358:34;;;;6350:43;;;::::0;::::1;;6420:11;6405:12;;:26;;;;;;;;;;;;;;;;;;6447:33;6468:11;6447:33;;;;;;:::i;:::-;;;;;;;;6265:223:::0;:::o;6862:868::-;6959:7;6984:9;7004;7024:7;7100:2;7086:3;:10;:16;7082:68;;7135:1;7119:19;;;;;;;7082:68;7263:2;7258:3;7254:12;7248:19;7243:24;;7301:2;7296:3;7292:12;7286:19;7281:24;;7347:2;7342:3;7338:12;7332:19;7329:1;7324:28;7319:33;;7475:2;7471:1;:6;;;7467:46;;;7499:2;7494:7;;;;;:::i;:::-;;;7467:46;7598:2;7593:1;:7;;;;:18;;;;;7609:2;7604:1;:7;;;;7593:18;7589:134;;;7644:1;7628:19;;;;;;;7589:134;7687:24;7697:4;7703:1;7706;7709;7687:24;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7680:31;;;;;6862:868;;;;;:::o;8811:206::-;3731:14;;;;;;;;;;;3717:28;;:10;:28;;;3709:59;;;;;;;;;;;;:::i;:::-;;;;;;;;;8938:1:::1;8899:21;:35;8921:12;8899:35;;;;;;;;;;;;:40;8891:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;9008:1;8970:21;:35;8992:12;8970:35;;;;;;;;;;;:39;;;;8811:206:::0;:::o;3633:29::-;;;;;;;;;;;;;:::o;4631:1577::-;4682:7;4702:22;4727:12;:10;:12::i;:::-;4702:37;;4750:21;4774:11;:9;:11::i;:::-;4750:35;;4854:30;4921:1;4903:14;:19;4899:438;;;;;;5009:2;4992:14;:19;4988:349;;;5175:4;5137:17;;5069:24;5111:1;5094:14;:18;;;;:::i;:::-;5069:44;;;;;;;;;;;;;;;;;:85;;;;:::i;:::-;5068:111;;;;:::i;:::-;5026:153;;4988:349;;;5321:4;5283:17;;5253:24;5278:1;5253:27;;;;;;;;;;;;;;;;;:47;;;;:::i;:::-;5252:73;;;;:::i;:::-;5210:115;;4988:349;4899:438;5411:29;5477:1;5459:14;:19;5455:382;;;5519:24;5544:14;5519:40;;;;;;;;;;;;;;;;;5495:64;;5455:382;;;5598:2;5581:14;:19;5577:260;;;5718:24;5760:1;5743:14;:18;;;;:::i;:::-;5718:44;;;;;;;;;;;;;;;;;5658:24;5683:14;5658:40;;;;;;;;;;;;;;;;;:104;;;;:::i;:::-;5617:145;;5577:260;;;;5455:382;5849:29;6069:4;6050:3;6012:21;5979:17;;5948:14;5929:3;:33;;;;:::i;:::-;5912:1;5883:13;:30;;;;:::i;:::-;:79;;;;:::i;:::-;5882:114;;;;:::i;:::-;:151;;;;:::i;:::-;5881:172;;;;:::i;:::-;:192;;;;:::i;:::-;5849:224;;6179:21;6154:22;:46;;;;:::i;:::-;6147:53;;;;;;;4631:1577;:::o;9079:131::-;9122:7;9194:8;9168:22;;9150:15;:40;;;;:::i;:::-;9149:53;;;;:::i;:::-;9142:60;;9079:131;:::o;4135:170::-;4236:7;4268:21;:29;4290:6;4268:29;;;;;;;;;;;;4261:36;;4135:170;;;:::o;3108:27::-;;;;;;;;;;;;;:::o;8072:731::-;8224:1;8215:6;:10;8207:59;;;;;;;;;;;;:::i;:::-;;;;;;;;;8326:1;8287:21;:35;8309:12;8287:35;;;;;;;;;;;;:40;8279:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;8395:6;8357:21;:35;8379:12;8357:35;;;;;;;;;;;:44;;;;8414:17;8456:6;8434:19;;:28;;;;:::i;:::-;8414:48;;8494:20;:18;:20::i;:::-;8481:9;:33;;8473:63;;;;;;;;;;;;:::i;:::-;;;;;;;;;8569:9;8547:19;:31;;;;8591:48;8607:12;8621:6;8629:9;8591:15;:48::i;:::-;8672:11;8693:20;;;;;;;;;;;8686:37;;;8724:10;8736:6;8686:57;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;8672:71;;8772:4;8762:14;;:6;:14;;;8754:41;;;;;;;;;;;;:::i;:::-;;;;;;;;;8072:731;;;;;:::o;3053:32::-;;;;:::o;9269:128::-;9311:7;9383:6;9357:22;;9339:15;:40;;;;:::i;:::-;9338:51;;;;:::i;:::-;9331:58;;9269:128;:::o;3186:34::-;;;;:::o;3433:191::-;;;;;;;;;;;;;;;;;;;;:::o;3011:35::-;;;;;;;;;;;;:::o;3142:37::-;;;;:::o;4313:255::-;3731:14;;;;;;;;;;;3717:28;;:10;:28;;;3709:59;;;;;;;;;;;;:::i;:::-;;;;;;;;;4396:11:::1;4417:20:::0;::::1;;;;;;;;;;4410:37;;;4462:14;;;;;;;;;;;4491:6;4410:98;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;4396:112;;4537:4;4527:14;;:6;:14;;;4519:41;;;;;;;;;;;;:::i;:::-;;;;;;;;;3779:1;4313:255:::0;:::o;7738:326::-;7871:12;7913:6;7921:10;7933:6;7896:44;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;7886:55;;;;;;7871:70;;7952:18;7973;7981:4;7987:3;7973:7;:18::i;:::-;7952:39;;8024:12;;;;;;;;;;;8010:26;;:10;:26;;;8002:54;;;;;;;;;;;;:::i;:::-;;;;;;;;;7738:326;;;;;:::o;7:342:1:-;;109:64;124:48;165:6;124:48;:::i;:::-;109:64;:::i;:::-;100:73;;196:6;189:5;182:21;234:4;227:5;223:16;272:3;263:6;258:3;254:16;251:25;248:2;;;289:1;286;279:12;248:2;302:41;336:6;331:3;326;302:41;:::i;:::-;90:259;;;;;;:::o;355:139::-;;439:6;426:20;417:29;;455:33;482:5;455:33;:::i;:::-;407:87;;;;:::o;500:137::-;;585:6;579:13;570:22;;601:30;625:5;601:30;:::i;:::-;560:77;;;;:::o;643:139::-;;727:6;714:20;705:29;;743:33;770:5;743:33;:::i;:::-;695:87;;;;:::o;801:271::-;;905:3;898:4;890:6;886:17;882:27;872:2;;923:1;920;913:12;872:2;963:6;950:20;988:78;1062:3;1054:6;1047:4;1039:6;1035:17;988:78;:::i;:::-;979:87;;862:210;;;;;:::o;1078:139::-;;1162:6;1149:20;1140:29;;1178:33;1205:5;1178:33;:::i;:::-;1130:87;;;;:::o;1223:262::-;;1331:2;1319:9;1310:7;1306:23;1302:32;1299:2;;;1347:1;1344;1337:12;1299:2;1390:1;1415:53;1460:7;1451:6;1440:9;1436:22;1415:53;:::i;:::-;1405:63;;1361:117;1289:196;;;;:::o;1491:278::-;;1607:2;1595:9;1586:7;1582:23;1578:32;1575:2;;;1623:1;1620;1613:12;1575:2;1666:1;1691:61;1744:7;1735:6;1724:9;1720:22;1691:61;:::i;:::-;1681:71;;1637:125;1565:204;;;;:::o;1775:518::-;;;1909:2;1897:9;1888:7;1884:23;1880:32;1877:2;;;1925:1;1922;1915:12;1877:2;1968:1;1993:53;2038:7;2029:6;2018:9;2014:22;1993:53;:::i;:::-;1983:63;;1939:117;2123:2;2112:9;2108:18;2095:32;2154:18;2146:6;2143:30;2140:2;;;2186:1;2183;2176:12;2140:2;2214:62;2268:7;2259:6;2248:9;2244:22;2214:62;:::i;:::-;2204:72;;2066:220;1867:426;;;;;:::o;2299:262::-;;2407:2;2395:9;2386:7;2382:23;2378:32;2375:2;;;2423:1;2420;2413:12;2375:2;2466:1;2491:53;2536:7;2527:6;2516:9;2512:22;2491:53;:::i;:::-;2481:63;;2437:117;2365:196;;;;:::o;2567:663::-;;;;2718:2;2706:9;2697:7;2693:23;2689:32;2686:2;;;2734:1;2731;2724:12;2686:2;2777:1;2802:53;2847:7;2838:6;2827:9;2823:22;2802:53;:::i;:::-;2792:63;;2748:117;2904:2;2930:53;2975:7;2966:6;2955:9;2951:22;2930:53;:::i;:::-;2920:63;;2875:118;3060:2;3049:9;3045:18;3032:32;3091:18;3083:6;3080:30;3077:2;;;3123:1;3120;3113:12;3077:2;3151:62;3205:7;3196:6;3185:9;3181:22;3151:62;:::i;:::-;3141:72;;3003:220;2676:554;;;;;:::o;3236:118::-;3323:24;3341:5;3323:24;:::i;:::-;3318:3;3311:37;3301:53;;:::o;3360:157::-;3465:45;3485:24;3503:5;3485:24;:::i;:::-;3465:45;:::i;:::-;3460:3;3453:58;3443:74;;:::o;3523:118::-;3610:24;3628:5;3610:24;:::i;:::-;3605:3;3598:37;3588:53;;:::o;3647:315::-;;3810:67;3874:2;3869:3;3810:67;:::i;:::-;3803:74;;3907:19;3903:1;3898:3;3894:11;3887:40;3953:2;3948:3;3944:12;3937:19;;3793:169;;;:::o;3968:312::-;;4131:67;4195:2;4190:3;4131:67;:::i;:::-;4124:74;;4228:16;4224:1;4219:3;4215:11;4208:37;4271:2;4266:3;4262:12;4255:19;;4114:166;;;:::o;4286:316::-;;4449:67;4513:2;4508:3;4449:67;:::i;:::-;4442:74;;4546:20;4542:1;4537:3;4533:11;4526:41;4593:2;4588:3;4584:12;4577:19;;4432:170;;;:::o;4608:313::-;;4771:67;4835:2;4830:3;4771:67;:::i;:::-;4764:74;;4868:17;4864:1;4859:3;4855:11;4848:38;4912:2;4907:3;4903:12;4896:19;;4754:167;;;:::o;4927:313::-;;5090:67;5154:2;5149:3;5090:67;:::i;:::-;5083:74;;5187:17;5183:1;5178:3;5174:11;5167:38;5231:2;5226:3;5222:12;5215:19;;5073:167;;;:::o;5246:312::-;;5409:67;5473:2;5468:3;5409:67;:::i;:::-;5402:74;;5506:16;5502:1;5497:3;5493:11;5486:37;5549:2;5544:3;5540:12;5533:19;;5392:166;;;:::o;5564:368::-;;5727:67;5791:2;5786:3;5727:67;:::i;:::-;5720:74;;5824:34;5820:1;5815:3;5811:11;5804:55;5890:6;5885:2;5880:3;5876:12;5869:28;5923:2;5918:3;5914:12;5907:19;;5710:222;;;:::o;5938:118::-;6025:24;6043:5;6025:24;:::i;:::-;6020:3;6013:37;6003:53;;:::o;6062:157::-;6167:45;6187:24;6205:5;6187:24;:::i;:::-;6167:45;:::i;:::-;6162:3;6155:58;6145:74;;:::o;6225:112::-;6308:22;6324:5;6308:22;:::i;:::-;6303:3;6296:35;6286:51;;:::o;6343:538::-;;6526:75;6597:3;6588:6;6526:75;:::i;:::-;6626:2;6621:3;6617:12;6610:19;;6639:75;6710:3;6701:6;6639:75;:::i;:::-;6739:2;6734:3;6730:12;6723:19;;6752:75;6823:3;6814:6;6752:75;:::i;:::-;6852:2;6847:3;6843:12;6836:19;;6872:3;6865:10;;6515:366;;;;;;:::o;6887:222::-;;7018:2;7007:9;7003:18;6995:26;;7031:71;7099:1;7088:9;7084:17;7075:6;7031:71;:::i;:::-;6985:124;;;;:::o;7115:332::-;;7274:2;7263:9;7259:18;7251:26;;7287:71;7355:1;7344:9;7340:17;7331:6;7287:71;:::i;:::-;7368:72;7436:2;7425:9;7421:18;7412:6;7368:72;:::i;:::-;7241:206;;;;;:::o;7453:545::-;;7664:3;7653:9;7649:19;7641:27;;7678:71;7746:1;7735:9;7731:17;7722:6;7678:71;:::i;:::-;7759:68;7823:2;7812:9;7808:18;7799:6;7759:68;:::i;:::-;7837:72;7905:2;7894:9;7890:18;7881:6;7837:72;:::i;:::-;7919;7987:2;7976:9;7972:18;7963:6;7919:72;:::i;:::-;7631:367;;;;;;;:::o;8004:419::-;;8208:2;8197:9;8193:18;8185:26;;8257:9;8251:4;8247:20;8243:1;8232:9;8228:17;8221:47;8285:131;8411:4;8285:131;:::i;:::-;8277:139;;8175:248;;;:::o;8429:419::-;;8633:2;8622:9;8618:18;8610:26;;8682:9;8676:4;8672:20;8668:1;8657:9;8653:17;8646:47;8710:131;8836:4;8710:131;:::i;:::-;8702:139;;8600:248;;;:::o;8854:419::-;;9058:2;9047:9;9043:18;9035:26;;9107:9;9101:4;9097:20;9093:1;9082:9;9078:17;9071:47;9135:131;9261:4;9135:131;:::i;:::-;9127:139;;9025:248;;;:::o;9279:419::-;;9483:2;9472:9;9468:18;9460:26;;9532:9;9526:4;9522:20;9518:1;9507:9;9503:17;9496:47;9560:131;9686:4;9560:131;:::i;:::-;9552:139;;9450:248;;;:::o;9704:419::-;;9908:2;9897:9;9893:18;9885:26;;9957:9;9951:4;9947:20;9943:1;9932:9;9928:17;9921:47;9985:131;10111:4;9985:131;:::i;:::-;9977:139;;9875:248;;;:::o;10129:419::-;;10333:2;10322:9;10318:18;10310:26;;10382:9;10376:4;10372:20;10368:1;10357:9;10353:17;10346:47;10410:131;10536:4;10410:131;:::i;:::-;10402:139;;10300:248;;;:::o;10554:419::-;;10758:2;10747:9;10743:18;10735:26;;10807:9;10801:4;10797:20;10793:1;10782:9;10778:17;10771:47;10835:131;10961:4;10835:131;:::i;:::-;10827:139;;10725:248;;;:::o;10979:222::-;;11110:2;11099:9;11095:18;11087:26;;11123:71;11191:1;11180:9;11176:17;11167:6;11123:71;:::i;:::-;11077:124;;;;:::o;11207:283::-;;11273:2;11267:9;11257:19;;11315:4;11307:6;11303:17;11422:6;11410:10;11407:22;11386:18;11374:10;11371:34;11368:62;11365:2;;;11433:18;;:::i;:::-;11365:2;11473:10;11469:2;11462:22;11247:243;;;;:::o;11496:331::-;;11647:18;11639:6;11636:30;11633:2;;;11669:18;;:::i;:::-;11633:2;11754:4;11750:9;11743:4;11735:6;11731:17;11727:33;11719:41;;11815:4;11809;11805:15;11797:23;;11562:265;;;:::o;11833:169::-;;11951:6;11946:3;11939:19;11991:4;11986:3;11982:14;11967:29;;11929:73;;;;:::o;12008:305::-;;12067:20;12085:1;12067:20;:::i;:::-;12062:25;;12101:20;12119:1;12101:20;:::i;:::-;12096:25;;12255:1;12187:66;12183:74;12180:1;12177:81;12174:2;;;12261:18;;:::i;:::-;12174:2;12305:1;12302;12298:9;12291:16;;12052:261;;;;:::o;12319:237::-;;12376:18;12392:1;12376:18;:::i;:::-;12371:23;;12408:18;12424:1;12408:18;:::i;:::-;12403:23;;12498:1;12492:4;12488:12;12485:1;12482:19;12479:2;;;12504:18;;:::i;:::-;12479:2;12548:1;12545;12541:9;12534:16;;12361:195;;;;:::o;12562:185::-;;12619:20;12637:1;12619:20;:::i;:::-;12614:25;;12653:20;12671:1;12653:20;:::i;:::-;12648:25;;12692:1;12682:2;;12697:18;;:::i;:::-;12682:2;12739:1;12736;12732:9;12727:14;;12604:143;;;;:::o;12753:348::-;;12816:20;12834:1;12816:20;:::i;:::-;12811:25;;12850:20;12868:1;12850:20;:::i;:::-;12845:25;;13038:1;12970:66;12966:74;12963:1;12960:81;12955:1;12948:9;12941:17;12937:105;12934:2;;;13045:18;;:::i;:::-;12934:2;13093:1;13090;13086:9;13075:20;;12801:300;;;;:::o;13107:191::-;;13167:20;13185:1;13167:20;:::i;:::-;13162:25;;13201:20;13219:1;13201:20;:::i;:::-;13196:25;;13240:1;13237;13234:8;13231:2;;;13245:18;;:::i;:::-;13231:2;13290:1;13287;13283:9;13275:17;;13152:146;;;;:::o;13304:96::-;;13370:24;13388:5;13370:24;:::i;:::-;13359:35;;13349:51;;;:::o;13406:90::-;;13483:5;13476:13;13469:21;13458:32;;13448:48;;;:::o;13502:77::-;;13568:5;13557:16;;13547:32;;;:::o;13585:126::-;;13662:42;13655:5;13651:54;13640:65;;13630:81;;;:::o;13717:77::-;;13783:5;13772:16;;13762:32;;;:::o;13800:86::-;;13875:4;13868:5;13864:16;13853:27;;13843:43;;;:::o;13892:154::-;13976:6;13971:3;13966;13953:30;14038:1;14029:6;14024:3;14020:16;14013:27;13943:103;;;:::o;14052:100::-;;14120:26;14140:5;14120:26;:::i;:::-;14109:37;;14099:53;;;:::o;14158:94::-;;14226:20;14240:5;14226:20;:::i;:::-;14215:31;;14205:47;;;:::o;14258:79::-;;14326:5;14315:16;;14305:32;;;:::o;14343:180::-;14391:77;14388:1;14381:88;14488:4;14485:1;14478:15;14512:4;14509:1;14502:15;14529:180;14577:77;14574:1;14567:88;14674:4;14671:1;14664:15;14698:4;14695:1;14688:15;14715:180;14763:77;14760:1;14753:88;14860:4;14857:1;14850:15;14884:4;14881:1;14874:15;14901:94;;14982:5;14978:2;14974:14;14953:35;;14943:52;;;:::o;15001:122::-;15074:24;15092:5;15074:24;:::i;:::-;15067:5;15064:35;15054:2;;15113:1;15110;15103:12;15054:2;15044:79;:::o;15129:116::-;15199:21;15214:5;15199:21;:::i;:::-;15192:5;15189:32;15179:2;;15235:1;15232;15225:12;15179:2;15169:76;:::o;15251:122::-;15324:24;15342:5;15324:24;:::i;:::-;15317:5;15314:35;15304:2;;15363:1;15360;15353:12;15304:2;15294:79;:::o;15379:122::-;15452:24;15470:5;15452:24;:::i;:::-;15445:5;15442:35;15432:2;;15491:1;15488;15481:12;15432:2;15422:79;:::o

ipfs://06d4017afb91b4327b5d8ccc04140b52fbaf19eb87570c86a5696f2b4121dd49