Contract 0xee251cEC8b16cD85D4054660e3C06e3158Be86dB 1

/**
 *Submitted for verification at FtmScan.com on 2021-12-18
*/

// SPDX-License-Identifier: GPLv3
pragma solidity ^0.8.7;

interface ERC20 {
    function balanceOf(address who) external view returns (uint);
    function allowance(address owner, address spender) external view returns (uint);
    function transfer(address to, uint value) external returns (bool);
    function transferFrom(address from, address to, uint value) external returns (bool);
}

contract Ownable {
    address owner;
    constructor() public {
        owner = msg.sender;
    }
    modifier onlyOwner() {
        require(msg.sender == owner, "only owner");
        _;
    }
    function transferOwnership(address newOwner) public onlyOwner {
        require(newOwner != address(0), "address is null");
        owner = newOwner;
    }
}

contract DnaMysteryBox is Ownable {
    struct Prize{
        ERC20 token;
        address addr;
        uint probability;
        uint min;
        uint max;
    }
    Prize[] prizes;

    mapping(address => uint[]) user_last_box;

    ERC20 ticket;

    //=============================================
    //============= public function ================
    //=============================================
    function open_mystery_box() public returns(bool) {
        require(msg.sender == tx.origin, "not eoa");
        require(ticket.balanceOf(msg.sender) > 0, "insufficient ticket balance");
        require(ticket.allowance(msg.sender, address(this)) > 0, "insufficient ticket allowed");

        ticket.transferFrom(msg.sender, address(this), 1 * 10 ** 18);
        user_last_box[msg.sender] = new uint[](prizes.length);
        for(uint i = 0; i < prizes.length; i++){
            uint probability = prizes[i].probability;
            if((_randModulus(10000, i) + 1) <= probability){
                // got the token
                uint min = prizes[i].min;
                uint max = prizes[i].max;
                uint rand_num = _randModulus(max, i) + 1;
                uint token_num = min > rand_num ? min : rand_num;

                user_last_box[msg.sender][i] = token_num;
                prizes[i].token.transfer(msg.sender, token_num * 10 ** 18);
            }
        }
        return true;
    }

    function query_account(address addr) public view returns(uint, uint, uint){
        return (
            addr.balance,
            ticket.balanceOf(addr),
            ticket.allowance(addr, address(this))
        );
    }

    function query_last_box(address addr) public view returns(uint[] memory){
        return (user_last_box[addr]);
    }

    //=============================================
    //============= admin function ================
    //=============================================
    function sys_set_ticket(address _ticket_addr) public onlyOwner returns(bool) {
        require(_ticket_addr != address(0), "address is null");
        ticket = ERC20(_ticket_addr);
        return true;
    }

    function sys_add_prizes(address _token_addr, uint _probability, uint _min, uint _max) public onlyOwner returns(bool) {
        require(_token_addr != address(0), "address is null");
        require(_probability > 0, "_probability need great than 0");
        require(_min > 0, "_min need great than 0");
        require(_max > 0, "_max need great than 0");

        Prize memory prize = Prize(ERC20(_token_addr), _token_addr, _probability, _min, _max);
        prizes.push(prize);
        return true;
    }

    function sys_query_prizes(uint index) public view returns(uint, address, uint, uint, uint, uint) {
        return (
            prizes.length,
            prizes[index].addr,
            prizes[index].probability,
            prizes[index].min,
            prizes[index].max,
            prizes[index].token.balanceOf(address(this))
        );
    }

    //=============================================
    //============= private function ==============
    //=============================================
    function _randModulus(uint mod, uint index) internal view returns (uint) {
        uint rand = uint(keccak256(abi.encodePacked(
                block.number,
                block.timestamp,
                block.difficulty,
                msg.sender,
                index)
            )) % mod;
        return rand;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"name":"open_mystery_box","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"addr","type":"address"}],"name":"query_account","outputs":[{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"addr","type":"address"}],"name":"query_last_box","outputs":[{"internalType":"uint256[]","name":"","type":"uint256[]"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_token_addr","type":"address"},{"internalType":"uint256","name":"_probability","type":"uint256"},{"internalType":"uint256","name":"_min","type":"uint256"},{"internalType":"uint256","name":"_max","type":"uint256"}],"name":"sys_add_prizes","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"index","type":"uint256"}],"name":"sys_query_prizes","outputs":[{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"address","name":"","type":"address"},{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_ticket_addr","type":"address"}],"name":"sys_set_ticket","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"}]

608060405234801561001057600080fd5b50336000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550611c82806100606000396000f3fe608060405234801561001057600080fd5b506004361061007d5760003560e01c80637eef05d81161005b5780637eef05d814610119578063803c907414610149578063bfe9e13b14610167578063f2fde38b146101975761007d565b806323726e36146100825780633badf42b146100b45780635021b08f146100e4575b600080fd5b61009c600480360381019061009791906111fb565b6101b3565b6040516100ab939291906117be565b60405180910390f35b6100ce60048036038101906100c99190611228565b610335565b6040516100db9190611642565b60405180910390f35b6100fe60048036038101906100f991906112bc565b61063d565b6040516101109695949392919061175d565b60405180910390f35b610133600480360381019061012e91906111fb565b6107e7565b6040516101409190611642565b60405180910390f35b610151610932565b60405161015e9190611642565b60405180910390f35b610181600480360381019061017c91906111fb565b610f19565b60405161018e9190611620565b60405180910390f35b6101b160048036038101906101ac91906111fb565b610fb0565b005b60008060008373ffffffffffffffffffffffffffffffffffffffff1631600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231866040518263ffffffff1660e01b815260040161022b919061157c565b60206040518083038186803b15801561024357600080fd5b505afa158015610257573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061027b91906112e9565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663dd62ed3e87306040518363ffffffff1660e01b81526004016102d8929190611597565b60206040518083038186803b1580156102f057600080fd5b505afa158015610304573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061032891906112e9565b9250925092509193909250565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146103c6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103bd906116dd565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff161415610436576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161042d906116bd565b60405180910390fd5b60008411610479576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610470906116fd565b60405180910390fd5b600083116104bc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104b39061173d565b60405180910390fd5b600082116104ff576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104f69061165d565b60405180910390fd5b60006040518060a001604052808773ffffffffffffffffffffffffffffffffffffffff1681526020018773ffffffffffffffffffffffffffffffffffffffff168152602001868152602001858152602001848152509050600181908060018154018082558091505060019003906000526020600020906005020160009091909190915060008201518160000160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060208201518160010160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060408201518160020155606082015181600301556080820151816004015550506001915050949350505050565b600080600080600080600180549050600188815481106106605761065f611a4f565b5b906000526020600020906005020160010160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600189815481106106a6576106a5611a4f565b5b90600052602060002090600502016002015460018a815481106106cc576106cb611a4f565b5b90600052602060002090600502016003015460018b815481106106f2576106f1611a4f565b5b90600052602060002090600502016004015460018c8154811061071857610717611a4f565b5b906000526020600020906005020160000160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401610782919061157c565b60206040518083038186803b15801561079a57600080fd5b505afa1580156107ae573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107d291906112e9565b95509550955095509550955091939550919395565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610878576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161086f906116dd565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156108e8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108df906116bd565b60405180910390fd5b81600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060019050919050565b60003273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146109a2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109999061171d565b60405180910390fd5b6000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231336040518263ffffffff1660e01b81526004016109ff919061157c565b60206040518083038186803b158015610a1757600080fd5b505afa158015610a2b573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610a4f91906112e9565b11610a8f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a869061167d565b60405180910390fd5b6000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663dd62ed3e33306040518363ffffffff1660e01b8152600401610aee929190611597565b60206040518083038186803b158015610b0657600080fd5b505afa158015610b1a573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610b3e91906112e9565b11610b7e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b759061169d565b60405180910390fd5b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166323b872dd3330670de0b6b3a76400006040518463ffffffff1660e01b8152600401610be5939291906115c0565b602060405180830381600087803b158015610bff57600080fd5b505af1158015610c13573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610c37919061128f565b5060018054905067ffffffffffffffff811115610c5757610c56611a7e565b5b604051908082528060200260200182016040528015610c855781602001602082028036833780820191505090505b50600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000209080519060200190610cd892919061113d565b5060005b600180549050811015610f1157600060018281548110610cff57610cfe611a4f565b5b9060005260206000209060050201600201549050806001610d22612710856110f1565b610d2c919061183f565b11610efd57600060018381548110610d4757610d46611a4f565b5b9060005260206000209060050201600301549050600060018481548110610d7157610d70611a4f565b5b906000526020600020906005020160040154905060006001610d9383876110f1565b610d9d919061183f565b90506000818411610dae5781610db0565b835b905080600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208781548110610e0457610e03611a4f565b5b906000526020600020018190555060018681548110610e2657610e25611a4f565b5b906000526020600020906005020160000160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb33670de0b6b3a764000084610e889190611895565b6040518363ffffffff1660e01b8152600401610ea59291906115f7565b602060405180830381600087803b158015610ebf57600080fd5b505af1158015610ed3573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610ef7919061128f565b50505050505b508080610f0990611949565b915050610cdc565b506001905090565b6060600260008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805480602002602001604051908101604052809291908181526020018280548015610fa457602002820191906000526020600020905b815481526020019060010190808311610f90575b50505050509050919050565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461103e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611035906116dd565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156110ae576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016110a5906116bd565b60405180910390fd5b806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b60008083434244338760405160200161110e95949392919061151d565b6040516020818303038152906040528051906020012060001c61113191906119c0565b90508091505092915050565b828054828255906000526020600020908101928215611179579160200282015b8281111561117857825182559160200191906001019061115d565b5b509050611186919061118a565b5090565b5b808211156111a357600081600090555060010161118b565b5090565b6000813590506111b681611c07565b92915050565b6000815190506111cb81611c1e565b92915050565b6000813590506111e081611c35565b92915050565b6000815190506111f581611c35565b92915050565b60006020828403121561121157611210611aad565b5b600061121f848285016111a7565b91505092915050565b6000806000806080858703121561124257611241611aad565b5b6000611250878288016111a7565b9450506020611261878288016111d1565b9350506040611272878288016111d1565b9250506060611283878288016111d1565b91505092959194509250565b6000602082840312156112a5576112a4611aad565b5b60006112b3848285016111bc565b91505092915050565b6000602082840312156112d2576112d1611aad565b5b60006112e0848285016111d1565b91505092915050565b6000602082840312156112ff576112fe611aad565b5b600061130d848285016111e6565b91505092915050565b600061132283836114e8565b60208301905092915050565b611337816118ef565b82525050565b61134e611349826118ef565b611992565b82525050565b600061135f82611805565b611369818561181d565b9350611374836117f5565b8060005b838110156113a557815161138c8882611316565b975061139783611810565b925050600181019050611378565b5085935050505092915050565b6113bb81611901565b82525050565b6113ca81611937565b82525050565b60006113dd60168361182e565b91506113e882611abf565b602082019050919050565b6000611400601b8361182e565b915061140b82611ae8565b602082019050919050565b6000611423601b8361182e565b915061142e82611b11565b602082019050919050565b6000611446600f8361182e565b915061145182611b3a565b602082019050919050565b6000611469600a8361182e565b915061147482611b63565b602082019050919050565b600061148c601e8361182e565b915061149782611b8c565b602082019050919050565b60006114af60078361182e565b91506114ba82611bb5565b602082019050919050565b60006114d260168361182e565b91506114dd82611bde565b602082019050919050565b6114f18161192d565b82525050565b6115008161192d565b82525050565b6115176115128261192d565b6119b6565b82525050565b60006115298288611506565b6020820191506115398287611506565b6020820191506115498286611506565b602082019150611559828561133d565b6014820191506115698284611506565b6020820191508190509695505050505050565b6000602082019050611591600083018461132e565b92915050565b60006040820190506115ac600083018561132e565b6115b9602083018461132e565b9392505050565b60006060820190506115d5600083018661132e565b6115e2602083018561132e565b6115ef60408301846113c1565b949350505050565b600060408201905061160c600083018561132e565b61161960208301846114f7565b9392505050565b6000602082019050818103600083015261163a8184611354565b905092915050565b600060208201905061165760008301846113b2565b92915050565b60006020820190508181036000830152611676816113d0565b9050919050565b60006020820190508181036000830152611696816113f3565b9050919050565b600060208201905081810360008301526116b681611416565b9050919050565b600060208201905081810360008301526116d681611439565b9050919050565b600060208201905081810360008301526116f68161145c565b9050919050565b600060208201905081810360008301526117168161147f565b9050919050565b60006020820190508181036000830152611736816114a2565b9050919050565b60006020820190508181036000830152611756816114c5565b9050919050565b600060c08201905061177260008301896114f7565b61177f602083018861132e565b61178c60408301876114f7565b61179960608301866114f7565b6117a660808301856114f7565b6117b360a08301846114f7565b979650505050505050565b60006060820190506117d360008301866114f7565b6117e060208301856114f7565b6117ed60408301846114f7565b949350505050565b6000819050602082019050919050565b600081519050919050565b6000602082019050919050565b600082825260208201905092915050565b600082825260208201905092915050565b600061184a8261192d565b91506118558361192d565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0382111561188a576118896119f1565b5b828201905092915050565b60006118a08261192d565b91506118ab8361192d565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04831182151516156118e4576118e36119f1565b5b828202905092915050565b60006118fa8261190d565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b60006119428261192d565b9050919050565b60006119548261192d565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff821415611987576119866119f1565b5b600182019050919050565b600061199d826119a4565b9050919050565b60006119af82611ab2565b9050919050565b6000819050919050565b60006119cb8261192d565b91506119d68361192d565b9250826119e6576119e5611a20565b5b828206905092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b600080fd5b60008160601b9050919050565b7f5f6d6178206e656564206772656174207468616e203000000000000000000000600082015250565b7f696e73756666696369656e74207469636b65742062616c616e63650000000000600082015250565b7f696e73756666696369656e74207469636b657420616c6c6f7765640000000000600082015250565b7f61646472657373206973206e756c6c0000000000000000000000000000000000600082015250565b7f6f6e6c79206f776e657200000000000000000000000000000000000000000000600082015250565b7f5f70726f626162696c697479206e656564206772656174207468616e20300000600082015250565b7f6e6f7420656f6100000000000000000000000000000000000000000000000000600082015250565b7f5f6d696e206e656564206772656174207468616e203000000000000000000000600082015250565b611c10816118ef565b8114611c1b57600080fd5b50565b611c2781611901565b8114611c3257600080fd5b50565b611c3e8161192d565b8114611c4957600080fd5b5056fea26469706673582212200ea98e5667062da5b972216fe7cb16c94604b4b5e4521e3693b1f298efc0507164736f6c63430008070033

774:3591:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2240:227;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;;;:::i;:::-;;;;;;;;2980:516;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3504:358;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;;;;;;:::i;:::-;;;;;;;;2761:211;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1204:1028;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2475:119;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;609:158;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;2240:227;2297:4;2303;2309;2347;:12;;;2374:6;;;;;;;;;;;:16;;;2391:4;2374:22;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;2411:6;;;;;;;;;;;:16;;;2428:4;2442;2411:37;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;2325:134;;;;;;2240:227;;;;;:::o;2980:516::-;3091:4;563:5;;;;;;;;;;;549:19;;:10;:19;;;541:42;;;;;;;;;;;;:::i;:::-;;;;;;;;;3139:1:::1;3116:25;;:11;:25;;;;3108:53;;;;;;;;;;;;:::i;:::-;;;;;;;;;3195:1;3180:12;:16;3172:59;;;;;;;;;;;;:::i;:::-;;;;;;;;;3257:1;3250:4;:8;3242:43;;;;;;;;;;;;:::i;:::-;;;;;;;;;3311:1;3304:4;:8;3296:43;;;;;;;;;;;;:::i;:::-;;;;;;;;;3352:18;3373:64;;;;;;;;3385:11;3373:64;;;;;;3399:11;3373:64;;;;;;3412:12;3373:64;;;;3426:4;3373:64;;;;3432:4;3373:64;;::::0;3352:85:::1;;3448:6;3460:5;3448:18;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3484:4;3477:11;;;2980:516:::0;;;;;;:::o;3504:358::-;3562:4;3568:7;3577:4;3583;3589;3595;3634:6;:13;;;;3662:6;3669:5;3662:13;;;;;;;;:::i;:::-;;;;;;;;;;;;:18;;;;;;;;;;;;3695:6;3702:5;3695:13;;;;;;;;:::i;:::-;;;;;;;;;;;;:25;;;3735:6;3742:5;3735:13;;;;;;;;:::i;:::-;;;;;;;;;;;;:17;;;3767:6;3774:5;3767:13;;;;;;;;:::i;:::-;;;;;;;;;;;;:17;;;3799:6;3806:5;3799:13;;;;;;;;:::i;:::-;;;;;;;;;;;;:19;;;;;;;;;;;;:29;;;3837:4;3799:44;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;3612:242;;;;;;;;;;;;3504:358;;;;;;;:::o;2761:211::-;2832:4;563:5;;;;;;;;;;;549:19;;:10;:19;;;541:42;;;;;;;;;;;;:::i;:::-;;;;;;;;;2881:1:::1;2857:26;;:12;:26;;;;2849:54;;;;;;;;;;;;:::i;:::-;;;;;;;;;2929:12;2914:6;;:28;;;;;;;;;;;;;;;;;;2960:4;2953:11;;2761:211:::0;;;:::o;1204:1028::-;1247:4;1286:9;1272:23;;:10;:23;;;1264:43;;;;;;;;;;;;:::i;:::-;;;;;;;;;1357:1;1326:6;;;;;;;;;;;:16;;;1343:10;1326:28;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:32;1318:72;;;;;;;;;;;;:::i;:::-;;;;;;;;;1455:1;1409:6;;;;;;;;;;;:16;;;1426:10;1446:4;1409:43;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:47;1401:87;;;;;;;;;;;;:::i;:::-;;;;;;;;;1501:6;;;;;;;;;;;:19;;;1521:10;1541:4;1548:12;1501:60;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;1611:6;:13;;;;1600:25;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1572:13;:25;1586:10;1572:25;;;;;;;;;;;;;;;:53;;;;;;;;;;;;:::i;:::-;;1640:6;1636:567;1656:6;:13;;;;1652:1;:17;1636:567;;;1690:16;1709:6;1716:1;1709:9;;;;;;;;:::i;:::-;;;;;;;;;;;;:21;;;1690:40;;1780:11;1774:1;1749:22;1762:5;1769:1;1749:12;:22::i;:::-;:26;;;;:::i;:::-;1748:43;1745:447;;1845:8;1856:6;1863:1;1856:9;;;;;;;;:::i;:::-;;;;;;;;;;;;:13;;;1845:24;;1888:8;1899:6;1906:1;1899:9;;;;;;;;:::i;:::-;;;;;;;;;;;;:13;;;1888:24;;1931:13;1970:1;1947:20;1960:3;1965:1;1947:12;:20::i;:::-;:24;;;;:::i;:::-;1931:40;;1990:14;2013:8;2007:3;:14;:31;;2030:8;2007:31;;;2024:3;2007:31;1990:48;;2090:9;2059:13;:25;2073:10;2059:25;;;;;;;;;;;;;;;2085:1;2059:28;;;;;;;;:::i;:::-;;;;;;;;;:40;;;;2118:6;2125:1;2118:9;;;;;;;;:::i;:::-;;;;;;;;;;;;:15;;;;;;;;;;;;:24;;;2143:10;2167:8;2155:9;:20;;;;:::i;:::-;2118:58;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;1792:400;;;;1745:447;1675:528;1671:3;;;;;:::i;:::-;;;;1636:567;;;;2220:4;2213:11;;1204:1028;:::o;2475:119::-;2533:13;2566;:19;2580:4;2566:19;;;;;;;;;;;;;;;2558:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2475:119;;;:::o;609:158::-;563:5;;;;;;;;;;549:19;;:10;:19;;;541:42;;;;;;;;;;;;:::i;:::-;;;;;;;;;710:1:::1;690:22;;:8;:22;;;;682:50;;;;;;;;;;;;:::i;:::-;;;;;;;;;751:8;743:5;::::0;:16:::1;;;;;;;;;;;;;;;;;;609:158:::0;:::o;4029:333::-;4096:4;4113:9;4329:3;4175:12;4206:15;4240:16;4275:10;4304:5;4140:170;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;4130:195;;;;;;4125:201;;:207;;;;:::i;:::-;4113:219;;4350:4;4343:11;;;4029:333;;;;:::o;-1:-1:-1:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;:::o;7:139:1:-;53:5;91:6;78:20;69:29;;107:33;134:5;107:33;:::i;:::-;7:139;;;;:::o;152:137::-;206:5;237:6;231:13;222:22;;253:30;277:5;253:30;:::i;:::-;152:137;;;;:::o;295:139::-;341:5;379:6;366:20;357:29;;395:33;422:5;395:33;:::i;:::-;295:139;;;;:::o;440:143::-;497:5;528:6;522:13;513:22;;544:33;571:5;544:33;:::i;:::-;440:143;;;;:::o;589:329::-;648:6;697:2;685:9;676:7;672:23;668:32;665:119;;;703:79;;:::i;:::-;665:119;823:1;848:53;893:7;884:6;873:9;869:22;848:53;:::i;:::-;838:63;;794:117;589:329;;;;:::o;924:765::-;1010:6;1018;1026;1034;1083:3;1071:9;1062:7;1058:23;1054:33;1051:120;;;1090:79;;:::i;:::-;1051:120;1210:1;1235:53;1280:7;1271:6;1260:9;1256:22;1235:53;:::i;:::-;1225:63;;1181:117;1337:2;1363:53;1408:7;1399:6;1388:9;1384:22;1363:53;:::i;:::-;1353:63;;1308:118;1465:2;1491:53;1536:7;1527:6;1516:9;1512:22;1491:53;:::i;:::-;1481:63;;1436:118;1593:2;1619:53;1664:7;1655:6;1644:9;1640:22;1619:53;:::i;:::-;1609:63;;1564:118;924:765;;;;;;;:::o;1695:345::-;1762:6;1811:2;1799:9;1790:7;1786:23;1782:32;1779:119;;;1817:79;;:::i;:::-;1779:119;1937:1;1962:61;2015:7;2006:6;1995:9;1991:22;1962:61;:::i;:::-;1952:71;;1908:125;1695:345;;;;:::o;2046:329::-;2105:6;2154:2;2142:9;2133:7;2129:23;2125:32;2122:119;;;2160:79;;:::i;:::-;2122:119;2280:1;2305:53;2350:7;2341:6;2330:9;2326:22;2305:53;:::i;:::-;2295:63;;2251:117;2046:329;;;;:::o;2381:351::-;2451:6;2500:2;2488:9;2479:7;2475:23;2471:32;2468:119;;;2506:79;;:::i;:::-;2468:119;2626:1;2651:64;2707:7;2698:6;2687:9;2683:22;2651:64;:::i;:::-;2641:74;;2597:128;2381:351;;;;:::o;2738:179::-;2807:10;2828:46;2870:3;2862:6;2828:46;:::i;:::-;2906:4;2901:3;2897:14;2883:28;;2738:179;;;;:::o;2923:118::-;3010:24;3028:5;3010:24;:::i;:::-;3005:3;2998:37;2923:118;;:::o;3047:157::-;3152:45;3172:24;3190:5;3172:24;:::i;:::-;3152:45;:::i;:::-;3147:3;3140:58;3047:157;;:::o;3240:732::-;3359:3;3388:54;3436:5;3388:54;:::i;:::-;3458:86;3537:6;3532:3;3458:86;:::i;:::-;3451:93;;3568:56;3618:5;3568:56;:::i;:::-;3647:7;3678:1;3663:284;3688:6;3685:1;3682:13;3663:284;;;3764:6;3758:13;3791:63;3850:3;3835:13;3791:63;:::i;:::-;3784:70;;3877:60;3930:6;3877:60;:::i;:::-;3867:70;;3723:224;3710:1;3707;3703:9;3698:14;;3663:284;;;3667:14;3963:3;3956:10;;3364:608;;;3240:732;;;;:::o;3978:109::-;4059:21;4074:5;4059:21;:::i;:::-;4054:3;4047:34;3978:109;;:::o;4093:183::-;4206:63;4263:5;4206:63;:::i;:::-;4201:3;4194:76;4093:183;;:::o;4282:366::-;4424:3;4445:67;4509:2;4504:3;4445:67;:::i;:::-;4438:74;;4521:93;4610:3;4521:93;:::i;:::-;4639:2;4634:3;4630:12;4623:19;;4282:366;;;:::o;4654:::-;4796:3;4817:67;4881:2;4876:3;4817:67;:::i;:::-;4810:74;;4893:93;4982:3;4893:93;:::i;:::-;5011:2;5006:3;5002:12;4995:19;;4654:366;;;:::o;5026:::-;5168:3;5189:67;5253:2;5248:3;5189:67;:::i;:::-;5182:74;;5265:93;5354:3;5265:93;:::i;:::-;5383:2;5378:3;5374:12;5367:19;;5026:366;;;:::o;5398:::-;5540:3;5561:67;5625:2;5620:3;5561:67;:::i;:::-;5554:74;;5637:93;5726:3;5637:93;:::i;:::-;5755:2;5750:3;5746:12;5739:19;;5398:366;;;:::o;5770:::-;5912:3;5933:67;5997:2;5992:3;5933:67;:::i;:::-;5926:74;;6009:93;6098:3;6009:93;:::i;:::-;6127:2;6122:3;6118:12;6111:19;;5770:366;;;:::o;6142:::-;6284:3;6305:67;6369:2;6364:3;6305:67;:::i;:::-;6298:74;;6381:93;6470:3;6381:93;:::i;:::-;6499:2;6494:3;6490:12;6483:19;;6142:366;;;:::o;6514:365::-;6656:3;6677:66;6741:1;6736:3;6677:66;:::i;:::-;6670:73;;6752:93;6841:3;6752:93;:::i;:::-;6870:2;6865:3;6861:12;6854:19;;6514:365;;;:::o;6885:366::-;7027:3;7048:67;7112:2;7107:3;7048:67;:::i;:::-;7041:74;;7124:93;7213:3;7124:93;:::i;:::-;7242:2;7237:3;7233:12;7226:19;;6885:366;;;:::o;7257:108::-;7334:24;7352:5;7334:24;:::i;:::-;7329:3;7322:37;7257:108;;:::o;7371:118::-;7458:24;7476:5;7458:24;:::i;:::-;7453:3;7446:37;7371:118;;:::o;7495:157::-;7600:45;7620:24;7638:5;7620:24;:::i;:::-;7600:45;:::i;:::-;7595:3;7588:58;7495:157;;:::o;7658:820::-;7882:3;7897:75;7968:3;7959:6;7897:75;:::i;:::-;7997:2;7992:3;7988:12;7981:19;;8010:75;8081:3;8072:6;8010:75;:::i;:::-;8110:2;8105:3;8101:12;8094:19;;8123:75;8194:3;8185:6;8123:75;:::i;:::-;8223:2;8218:3;8214:12;8207:19;;8236:75;8307:3;8298:6;8236:75;:::i;:::-;8336:2;8331:3;8327:12;8320:19;;8349:75;8420:3;8411:6;8349:75;:::i;:::-;8449:2;8444:3;8440:12;8433:19;;8469:3;8462:10;;7658:820;;;;;;;;:::o;8484:222::-;8577:4;8615:2;8604:9;8600:18;8592:26;;8628:71;8696:1;8685:9;8681:17;8672:6;8628:71;:::i;:::-;8484:222;;;;:::o;8712:332::-;8833:4;8871:2;8860:9;8856:18;8848:26;;8884:71;8952:1;8941:9;8937:17;8928:6;8884:71;:::i;:::-;8965:72;9033:2;9022:9;9018:18;9009:6;8965:72;:::i;:::-;8712:332;;;;;:::o;9050:494::-;9225:4;9263:2;9252:9;9248:18;9240:26;;9276:71;9344:1;9333:9;9329:17;9320:6;9276:71;:::i;:::-;9357:72;9425:2;9414:9;9410:18;9401:6;9357:72;:::i;:::-;9439:98;9533:2;9522:9;9518:18;9509:6;9439:98;:::i;:::-;9050:494;;;;;;:::o;9550:332::-;9671:4;9709:2;9698:9;9694:18;9686:26;;9722:71;9790:1;9779:9;9775:17;9766:6;9722:71;:::i;:::-;9803:72;9871:2;9860:9;9856:18;9847:6;9803:72;:::i;:::-;9550:332;;;;;:::o;9888:373::-;10031:4;10069:2;10058:9;10054:18;10046:26;;10118:9;10112:4;10108:20;10104:1;10093:9;10089:17;10082:47;10146:108;10249:4;10240:6;10146:108;:::i;:::-;10138:116;;9888:373;;;;:::o;10267:210::-;10354:4;10392:2;10381:9;10377:18;10369:26;;10405:65;10467:1;10456:9;10452:17;10443:6;10405:65;:::i;:::-;10267:210;;;;:::o;10483:419::-;10649:4;10687:2;10676:9;10672:18;10664:26;;10736:9;10730:4;10726:20;10722:1;10711:9;10707:17;10700:47;10764:131;10890:4;10764:131;:::i;:::-;10756:139;;10483:419;;;:::o;10908:::-;11074:4;11112:2;11101:9;11097:18;11089:26;;11161:9;11155:4;11151:20;11147:1;11136:9;11132:17;11125:47;11189:131;11315:4;11189:131;:::i;:::-;11181:139;;10908:419;;;:::o;11333:::-;11499:4;11537:2;11526:9;11522:18;11514:26;;11586:9;11580:4;11576:20;11572:1;11561:9;11557:17;11550:47;11614:131;11740:4;11614:131;:::i;:::-;11606:139;;11333:419;;;:::o;11758:::-;11924:4;11962:2;11951:9;11947:18;11939:26;;12011:9;12005:4;12001:20;11997:1;11986:9;11982:17;11975:47;12039:131;12165:4;12039:131;:::i;:::-;12031:139;;11758:419;;;:::o;12183:::-;12349:4;12387:2;12376:9;12372:18;12364:26;;12436:9;12430:4;12426:20;12422:1;12411:9;12407:17;12400:47;12464:131;12590:4;12464:131;:::i;:::-;12456:139;;12183:419;;;:::o;12608:::-;12774:4;12812:2;12801:9;12797:18;12789:26;;12861:9;12855:4;12851:20;12847:1;12836:9;12832:17;12825:47;12889:131;13015:4;12889:131;:::i;:::-;12881:139;;12608:419;;;:::o;13033:::-;13199:4;13237:2;13226:9;13222:18;13214:26;;13286:9;13280:4;13276:20;13272:1;13261:9;13257:17;13250:47;13314:131;13440:4;13314:131;:::i;:::-;13306:139;;13033:419;;;:::o;13458:::-;13624:4;13662:2;13651:9;13647:18;13639:26;;13711:9;13705:4;13701:20;13697:1;13686:9;13682:17;13675:47;13739:131;13865:4;13739:131;:::i;:::-;13731:139;;13458:419;;;:::o;13883:775::-;14116:4;14154:3;14143:9;14139:19;14131:27;;14168:71;14236:1;14225:9;14221:17;14212:6;14168:71;:::i;:::-;14249:72;14317:2;14306:9;14302:18;14293:6;14249:72;:::i;:::-;14331;14399:2;14388:9;14384:18;14375:6;14331:72;:::i;:::-;14413;14481:2;14470:9;14466:18;14457:6;14413:72;:::i;:::-;14495:73;14563:3;14552:9;14548:19;14539:6;14495:73;:::i;:::-;14578;14646:3;14635:9;14631:19;14622:6;14578:73;:::i;:::-;13883:775;;;;;;;;;:::o;14664:442::-;14813:4;14851:2;14840:9;14836:18;14828:26;;14864:71;14932:1;14921:9;14917:17;14908:6;14864:71;:::i;:::-;14945:72;15013:2;15002:9;14998:18;14989:6;14945:72;:::i;:::-;15027;15095:2;15084:9;15080:18;15071:6;15027:72;:::i;:::-;14664:442;;;;;;:::o;15193:132::-;15260:4;15283:3;15275:11;;15313:4;15308:3;15304:14;15296:22;;15193:132;;;:::o;15331:114::-;15398:6;15432:5;15426:12;15416:22;;15331:114;;;:::o;15451:113::-;15521:4;15553;15548:3;15544:14;15536:22;;15451:113;;;:::o;15570:184::-;15669:11;15703:6;15698:3;15691:19;15743:4;15738:3;15734:14;15719:29;;15570:184;;;;:::o;15760:169::-;15844:11;15878:6;15873:3;15866:19;15918:4;15913:3;15909:14;15894:29;;15760:169;;;;:::o;15935:305::-;15975:3;15994:20;16012:1;15994:20;:::i;:::-;15989:25;;16028:20;16046:1;16028:20;:::i;:::-;16023:25;;16182:1;16114:66;16110:74;16107:1;16104:81;16101:107;;;16188:18;;:::i;:::-;16101:107;16232:1;16229;16225:9;16218:16;;15935:305;;;;:::o;16246:348::-;16286:7;16309:20;16327:1;16309:20;:::i;:::-;16304:25;;16343:20;16361:1;16343:20;:::i;:::-;16338:25;;16531:1;16463:66;16459:74;16456:1;16453:81;16448:1;16441:9;16434:17;16430:105;16427:131;;;16538:18;;:::i;:::-;16427:131;16586:1;16583;16579:9;16568:20;;16246:348;;;;:::o;16600:96::-;16637:7;16666:24;16684:5;16666:24;:::i;:::-;16655:35;;16600:96;;;:::o;16702:90::-;16736:7;16779:5;16772:13;16765:21;16754:32;;16702:90;;;:::o;16798:126::-;16835:7;16875:42;16868:5;16864:54;16853:65;;16798:126;;;:::o;16930:77::-;16967:7;16996:5;16985:16;;16930:77;;;:::o;17013:139::-;17089:9;17122:24;17140:5;17122:24;:::i;:::-;17109:37;;17013:139;;;:::o;17158:233::-;17197:3;17220:24;17238:5;17220:24;:::i;:::-;17211:33;;17266:66;17259:5;17256:77;17253:103;;;17336:18;;:::i;:::-;17253:103;17383:1;17376:5;17372:13;17365:20;;17158:233;;;:::o;17397:100::-;17436:7;17465:26;17485:5;17465:26;:::i;:::-;17454:37;;17397:100;;;:::o;17503:94::-;17542:7;17571:20;17585:5;17571:20;:::i;:::-;17560:31;;17503:94;;;:::o;17603:79::-;17642:7;17671:5;17660:16;;17603:79;;;:::o;17688:176::-;17720:1;17737:20;17755:1;17737:20;:::i;:::-;17732:25;;17771:20;17789:1;17771:20;:::i;:::-;17766:25;;17810:1;17800:35;;17815:18;;:::i;:::-;17800:35;17856:1;17853;17849:9;17844:14;;17688:176;;;;:::o;17870:180::-;17918:77;17915:1;17908:88;18015:4;18012:1;18005:15;18039:4;18036:1;18029:15;18056:180;18104:77;18101:1;18094:88;18201:4;18198:1;18191:15;18225:4;18222:1;18215:15;18242:180;18290:77;18287:1;18280:88;18387:4;18384:1;18377:15;18411:4;18408:1;18401:15;18428:180;18476:77;18473:1;18466:88;18573:4;18570:1;18563:15;18597:4;18594:1;18587:15;18737:117;18846:1;18843;18836:12;18860:94;18893:8;18941:5;18937:2;18933:14;18912:35;;18860:94;;;:::o;18960:172::-;19100:24;19096:1;19088:6;19084:14;19077:48;18960:172;:::o;19138:177::-;19278:29;19274:1;19266:6;19262:14;19255:53;19138:177;:::o;19321:::-;19461:29;19457:1;19449:6;19445:14;19438:53;19321:177;:::o;19504:165::-;19644:17;19640:1;19632:6;19628:14;19621:41;19504:165;:::o;19675:160::-;19815:12;19811:1;19803:6;19799:14;19792:36;19675:160;:::o;19841:180::-;19981:32;19977:1;19969:6;19965:14;19958:56;19841:180;:::o;20027:157::-;20167:9;20163:1;20155:6;20151:14;20144:33;20027:157;:::o;20190:172::-;20330:24;20326:1;20318:6;20314:14;20307:48;20190:172;:::o;20368:122::-;20441:24;20459:5;20441:24;:::i;:::-;20434:5;20431:35;20421:63;;20480:1;20477;20470:12;20421:63;20368:122;:::o;20496:116::-;20566:21;20581:5;20566:21;:::i;:::-;20559:5;20556:32;20546:60;;20602:1;20599;20592:12;20546:60;20496:116;:::o;20618:122::-;20691:24;20709:5;20691:24;:::i;:::-;20684:5;20681:35;20671:63;;20730:1;20727;20720:12;20671:63;20618:122;:::o

ipfs://0ea98e5667062da5b972216fe7cb16c94604b4b5e4521e3693b1f298efc05071