Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

   - function approve(address spender, uin ...    - function transfer(address to, uint256 ...    - function transferFrom(    - function permit(    - function DOMAIN_SEPARATOR()    - function computeDomainSeparator()    - function _mint(address to, uint256 am ...    - function _burn(address from, uint256 ...  contract GoySlop is ERC20 *    - function claim()    - function setLocked(bool _locked)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-05-07
*/

// SPDX-License-Identifier: AGPL-3.0-only
pragma solidity >=0.8.0;

/// @notice Modern and gas efficient ERC20 + EIP-2612 implementation.
/// @author Solmate (https://github.com/transmissions11/solmate/blob/main/src/tokens/ERC20.sol)
/// @author Modified from Uniswap (https://github.com/Uniswap/uniswap-v2-core/blob/master/contracts/UniswapV2ERC20.sol)
/// @dev Do not manually set balances without updating totalSupply, as the sum of all user balances must not exceed it.
abstract contract ERC20 {
    /*//////////////////////////////////////////////////////////////
                                 EVENTS
    //////////////////////////////////////////////////////////////*/

    event Transfer(address indexed from, address indexed to, uint256 amount);

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

    /*//////////////////////////////////////////////////////////////
                            METADATA STORAGE
    //////////////////////////////////////////////////////////////*/

    string public name;

    string public symbol;

    uint8 public immutable decimals;

    bool locked;

    /*//////////////////////////////////////////////////////////////
                              ERC20 STORAGE
    //////////////////////////////////////////////////////////////*/


    uint256 public totalSupply;

    mapping(address => uint256) public balanceOf;

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

    /*//////////////////////////////////////////////////////////////
                            EIP-2612 STORAGE
    //////////////////////////////////////////////////////////////*/

    uint256 internal immutable INITIAL_CHAIN_ID;

    bytes32 internal immutable INITIAL_DOMAIN_SEPARATOR;

    mapping(address => uint256) public nonces;


    /*//////////////////////////////////////////////////////////////
                               CONSTRUCTOR
    //////////////////////////////////////////////////////////////*/

    constructor(
        string memory _name,
        string memory _symbol,
        uint8 _decimals
    ) {
        name = _name;
        symbol = _symbol;
        decimals = _decimals;

        INITIAL_CHAIN_ID = block.chainid;
        INITIAL_DOMAIN_SEPARATOR = computeDomainSeparator();
    }

    /*//////////////////////////////////////////////////////////////
                               ERC20 LOGIC
    //////////////////////////////////////////////////////////////*/

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

        emit Approval(msg.sender, spender, amount);

        return true;
    }

    function transfer(address to, uint256 amount) public virtual returns (bool) {
        require(locked, "transfers locked");
        balanceOf[msg.sender] -= amount;

        // Cannot overflow because the sum of all user
        // balances can't exceed the max uint256 value.
        unchecked {
            balanceOf[to] += amount;
        }

        emit Transfer(msg.sender, to, amount);

        return true;
    }

    function transferFrom(
        address from,
        address to,
        uint256 amount
    ) public virtual returns (bool) {
        require(locked, "transfers locked");
        uint256 allowed = allowance[from][msg.sender]; // Saves gas for limited approvals.

        if (allowed != type(uint256).max) allowance[from][msg.sender] = allowed - amount;

        balanceOf[from] -= amount;

        // Cannot overflow because the sum of all user
        // balances can't exceed the max uint256 value.
        unchecked {
            balanceOf[to] += amount;
        }

        emit Transfer(from, to, amount);

        return true;
    }

    /*//////////////////////////////////////////////////////////////
                             EIP-2612 LOGIC
    //////////////////////////////////////////////////////////////*/

    function permit(
        address owner,
        address spender,
        uint256 value,
        uint256 deadline,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) public virtual {
        require(deadline >= block.timestamp, "PERMIT_DEADLINE_EXPIRED");

        // Unchecked because the only math done is incrementing
        // the owner's nonce which cannot realistically overflow.
        unchecked {
            address recoveredAddress = ecrecover(
                keccak256(
                    abi.encodePacked(
                        "\x19\x01",
                        DOMAIN_SEPARATOR(),
                        keccak256(
                            abi.encode(
                                keccak256(
                                    "Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)"
                                ),
                                owner,
                                spender,
                                value,
                                nonces[owner]++,
                                deadline
                            )
                        )
                    )
                ),
                v,
                r,
                s
            );

            require(recoveredAddress != address(0) && recoveredAddress == owner, "INVALID_SIGNER");

            allowance[recoveredAddress][spender] = value;
        }

        emit Approval(owner, spender, value);
    }

    function DOMAIN_SEPARATOR() public view virtual returns (bytes32) {
        return block.chainid == INITIAL_CHAIN_ID ? INITIAL_DOMAIN_SEPARATOR : computeDomainSeparator();
    }

    function computeDomainSeparator() internal view virtual returns (bytes32) {
        return
            keccak256(
                abi.encode(
                    keccak256("EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)"),
                    keccak256(bytes(name)),
                    keccak256("1"),
                    block.chainid,
                    address(this)
                )
            );
    }

    /*//////////////////////////////////////////////////////////////
                        INTERNAL MINT/BURN LOGIC
    //////////////////////////////////////////////////////////////*/

    function _mint(address to, uint256 amount) internal virtual {
        totalSupply += amount;

        // Cannot overflow because the sum of all user
        // balances can't exceed the max uint256 value.
        unchecked {
            balanceOf[to] += amount;
        }

        emit Transfer(address(0), to, amount);
    }

    function _burn(address from, uint256 amount) internal virtual {
        balanceOf[from] -= amount;

        // Cannot underflow because a user's balance
        // will never be larger than the total supply.
        unchecked {
            totalSupply -= amount;
        }

        emit Transfer(from, address(0), amount);
    }
}


contract GoySlop is ERC20 {
    address owner;

    constructor() ERC20("GoySlop", "SLOP", 18) {
        owner = msg.sender;
    }

    function claim() public {
        require(!locked, "claiming is locked");
        _mint(msg.sender, 69000000e18);
    }

    function setLocked(bool _locked) public {
        require(msg.sender == owner);
        locked = _locked;
    }

}

• 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":"amount","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":"amount","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"DOMAIN_SEPARATOR","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","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":[],"name":"claim","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"nonces","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"},{"internalType":"uint256","name":"deadline","type":"uint256"},{"internalType":"uint8","name":"v","type":"uint8"},{"internalType":"bytes32","name":"r","type":"bytes32"},{"internalType":"bytes32","name":"s","type":"bytes32"}],"name":"permit","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bool","name":"_locked","type":"bool"}],"name":"setLocked","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":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"}]

60e06040523480156200001157600080fd5b506040518060400160405280600781526020017f476f79536c6f70000000000000000000000000000000000000000000000000008152506040518060400160405280600481526020017f534c4f50000000000000000000000000000000000000000000000000000000008152506012826000908162000091919062000425565b508160019081620000a3919062000425565b508060ff1660808160ff16815250504660a08181525050620000ca6200011b60201b60201c565b60c0818152505050505033600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550620006a2565b60007f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f60006040516200014f9190620005bb565b60405180910390207fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc646306040516020016200019095949392919062000645565b60405160208183030381529060405280519060200120905090565b600081519050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b600060028204905060018216806200022d57607f821691505b602082108103620002435762000242620001e5565b5b50919050565b60008190508160005260206000209050919050565b60006020601f8301049050919050565b600082821b905092915050565b600060088302620002ad7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff826200026e565b620002b986836200026e565b95508019841693508086168417925050509392505050565b6000819050919050565b6000819050919050565b60006200030662000300620002fa84620002d1565b620002db565b620002d1565b9050919050565b6000819050919050565b6200032283620002e5565b6200033a62000331826200030d565b8484546200027b565b825550505050565b600090565b6200035162000342565b6200035e81848462000317565b505050565b5b8181101562000386576200037a60008262000347565b60018101905062000364565b5050565b601f821115620003d5576200039f8162000249565b620003aa846200025e565b81016020851015620003ba578190505b620003d2620003c9856200025e565b83018262000363565b50505b505050565b600082821c905092915050565b6000620003fa60001984600802620003da565b1980831691505092915050565b6000620004158383620003e7565b9150826002028217905092915050565b6200043082620001ab565b67ffffffffffffffff8111156200044c576200044b620001b6565b5b62000458825462000214565b620004658282856200038a565b600060209050601f8311600181146200049d576000841562000488578287015190505b62000494858262000407565b86555062000504565b601f198416620004ad8662000249565b60005b82811015620004d757848901518255600182019150602085019450602081019050620004b0565b86831015620004f75784890151620004f3601f891682620003e7565b8355505b6001600288020188555050505b505050505050565b600081905092915050565b60008190508160005260206000209050919050565b600081546200053b8162000214565b6200054781866200050c565b945060018216600081146200056557600181146200057b57620005b2565b60ff1983168652811515820286019350620005b2565b620005868562000517565b60005b83811015620005aa5781548189015260018201915060208101905062000589565b838801955050505b50505092915050565b6000620005c982846200052c565b915081905092915050565b6000819050919050565b620005e981620005d4565b82525050565b620005fa81620002d1565b82525050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b60006200062d8262000600565b9050919050565b6200063f8162000620565b82525050565b600060a0820190506200065c6000830188620005de565b6200066b6020830187620005de565b6200067a6040830186620005de565b620006896060830185620005ef565b62000698608083018462000634565b9695505050505050565b60805160a05160c0516118b8620006d260003960006107da015260006107a60152600061078001526118b86000f3fe608060405234801561001057600080fd5b50600436106100ea5760003560e01c80634e71d92d1161008c57806395d89b411161006657806395d89b411461024d578063a9059cbb1461026b578063d505accf1461029b578063dd62ed3e146102b7576100ea565b80634e71d92d146101e357806370a08231146101ed5780637ecebe001461021d576100ea565b8063211e28b6116100c8578063211e28b61461015b57806323b872dd14610177578063313ce567146101a75780633644e515146101c5576100ea565b806306fdde03146100ef578063095ea7b31461010d57806318160ddd1461013d575b600080fd5b6100f76102e7565b6040516101049190610f91565b60405180910390f35b6101276004803603810190610122919061104c565b610375565b60405161013491906110a7565b60405180910390f35b610145610467565b60405161015291906110d1565b60405180910390f35b61017560048036038101906101709190611118565b61046d565b005b610191600480360381019061018c9190611145565b6104e4565b60405161019e91906110a7565b60405180910390f35b6101af61077e565b6040516101bc91906111b4565b60405180910390f35b6101cd6107a2565b6040516101da91906111e8565b60405180910390f35b6101eb6107ff565b005b61020760048036038101906102029190611203565b610866565b60405161021491906110d1565b60405180910390f35b61023760048036038101906102329190611203565b61087e565b60405161024491906110d1565b60405180910390f35b610255610896565b6040516102629190610f91565b60405180910390f35b6102856004803603810190610280919061104c565b610924565b60405161029291906110a7565b60405180910390f35b6102b560048036038101906102b09190611288565b610a87565b005b6102d160048036038101906102cc919061132a565b610d80565b6040516102de91906110d1565b60405180910390f35b600080546102f490611399565b80601f016020809104026020016040519081016040528092919081815260200182805461032090611399565b801561036d5780601f106103425761010080835404028352916020019161036d565b820191906000526020600020905b81548152906001019060200180831161035057829003601f168201915b505050505081565b600081600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258460405161045591906110d1565b60405180910390a36001905092915050565b60035481565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146104c757600080fd5b80600260006101000a81548160ff02191690831515021790555050565b6000600260009054906101000a900460ff16610535576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161052c90611416565b60405180910390fd5b6000600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff811461066a5782816105e99190611465565b600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b82600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546106b99190611465565b9250508190555082600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8560405161076a91906110d1565b60405180910390a360019150509392505050565b7f000000000000000000000000000000000000000000000000000000000000000081565b60007f000000000000000000000000000000000000000000000000000000000000000046146107d8576107d3610da5565b6107fa565b7f00000000000000000000000000000000000000000000000000000000000000005b905090565b600260009054906101000a900460ff161561084f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610846906114e5565b60405180910390fd5b610864336a3913517ebd3c0c65000000610e31565b565b60046020528060005260406000206000915090505481565b60066020528060005260406000206000915090505481565b600180546108a390611399565b80601f01602080910402602001604051908101604052809291908181526020018280546108cf90611399565b801561091c5780601f106108f15761010080835404028352916020019161091c565b820191906000526020600020905b8154815290600101906020018083116108ff57829003601f168201915b505050505081565b6000600260009054906101000a900460ff16610975576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161096c90611416565b60405180910390fd5b81600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546109c49190611465565b9250508190555081600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610a7591906110d1565b60405180910390a36001905092915050565b42841015610aca576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ac190611551565b60405180910390fd5b60006001610ad66107a2565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98a8a8a600660008f73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000815480929190600101919050558b604051602001610b5e96959493929190611580565b60405160208183030381529060405280519060200120604051602001610b85929190611659565b6040516020818303038152906040528051906020012085858560405160008152602001604052604051610bbb9493929190611690565b6020604051602081039080840390855afa158015610bdd573d6000803e3d6000fd5b505050602060405103519050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614158015610c5157508773ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b610c90576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c8790611721565b60405180910390fd5b85600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550508573ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92587604051610d6f91906110d1565b60405180910390a350505050505050565b6005602052816000526040600020602052806000526040600020600091509150505481565b60007f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f6000604051610dd791906117e4565b60405180910390207fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc64630604051602001610e169594939291906117fb565b60405160208183030381529060405280519060200120905090565b8060036000828254610e43919061184e565b9250508190555080600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610ef591906110d1565b60405180910390a35050565b600081519050919050565b600082825260208201905092915050565b60005b83811015610f3b578082015181840152602081019050610f20565b60008484015250505050565b6000601f19601f8301169050919050565b6000610f6382610f01565b610f6d8185610f0c565b9350610f7d818560208601610f1d565b610f8681610f47565b840191505092915050565b60006020820190508181036000830152610fab8184610f58565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000610fe382610fb8565b9050919050565b610ff381610fd8565b8114610ffe57600080fd5b50565b60008135905061101081610fea565b92915050565b6000819050919050565b61102981611016565b811461103457600080fd5b50565b60008135905061104681611020565b92915050565b6000806040838503121561106357611062610fb3565b5b600061107185828601611001565b925050602061108285828601611037565b9150509250929050565b60008115159050919050565b6110a18161108c565b82525050565b60006020820190506110bc6000830184611098565b92915050565b6110cb81611016565b82525050565b60006020820190506110e660008301846110c2565b92915050565b6110f58161108c565b811461110057600080fd5b50565b600081359050611112816110ec565b92915050565b60006020828403121561112e5761112d610fb3565b5b600061113c84828501611103565b91505092915050565b60008060006060848603121561115e5761115d610fb3565b5b600061116c86828701611001565b935050602061117d86828701611001565b925050604061118e86828701611037565b9150509250925092565b600060ff82169050919050565b6111ae81611198565b82525050565b60006020820190506111c960008301846111a5565b92915050565b6000819050919050565b6111e2816111cf565b82525050565b60006020820190506111fd60008301846111d9565b92915050565b60006020828403121561121957611218610fb3565b5b600061122784828501611001565b91505092915050565b61123981611198565b811461124457600080fd5b50565b60008135905061125681611230565b92915050565b611265816111cf565b811461127057600080fd5b50565b6000813590506112828161125c565b92915050565b600080600080600080600060e0888a0312156112a7576112a6610fb3565b5b60006112b58a828b01611001565b97505060206112c68a828b01611001565b96505060406112d78a828b01611037565b95505060606112e88a828b01611037565b94505060806112f98a828b01611247565b93505060a061130a8a828b01611273565b92505060c061131b8a828b01611273565b91505092959891949750929550565b6000806040838503121561134157611340610fb3565b5b600061134f85828601611001565b925050602061136085828601611001565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b600060028204905060018216806113b157607f821691505b6020821081036113c4576113c361136a565b5b50919050565b7f7472616e7366657273206c6f636b656400000000000000000000000000000000600082015250565b6000611400601083610f0c565b915061140b826113ca565b602082019050919050565b6000602082019050818103600083015261142f816113f3565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600061147082611016565b915061147b83611016565b925082820390508181111561149357611492611436565b5b92915050565b7f636c61696d696e67206973206c6f636b65640000000000000000000000000000600082015250565b60006114cf601283610f0c565b91506114da82611499565b602082019050919050565b600060208201905081810360008301526114fe816114c2565b9050919050565b7f5045524d49545f444541444c494e455f45585049524544000000000000000000600082015250565b600061153b601783610f0c565b915061154682611505565b602082019050919050565b6000602082019050818103600083015261156a8161152e565b9050919050565b61157a81610fd8565b82525050565b600060c08201905061159560008301896111d9565b6115a26020830188611571565b6115af6040830187611571565b6115bc60608301866110c2565b6115c960808301856110c2565b6115d660a08301846110c2565b979650505050505050565b600081905092915050565b7f1901000000000000000000000000000000000000000000000000000000000000600082015250565b60006116226002836115e1565b915061162d826115ec565b600282019050919050565b6000819050919050565b61165361164e826111cf565b611638565b82525050565b600061166482611615565b91506116708285611642565b6020820191506116808284611642565b6020820191508190509392505050565b60006080820190506116a560008301876111d9565b6116b260208301866111a5565b6116bf60408301856111d9565b6116cc60608301846111d9565b95945050505050565b7f494e56414c49445f5349474e4552000000000000000000000000000000000000600082015250565b600061170b600e83610f0c565b9150611716826116d5565b602082019050919050565b6000602082019050818103600083015261173a816116fe565b9050919050565b600081905092915050565b60008190508160005260206000209050919050565b6000815461176e81611399565b6117788186611741565b9450600182166000811461179357600181146117a8576117db565b60ff19831686528115158202860193506117db565b6117b18561174c565b60005b838110156117d3578154818901526001820191506020810190506117b4565b838801955050505b50505092915050565b60006117f08284611761565b915081905092915050565b600060a08201905061181060008301886111d9565b61181d60208301876111d9565b61182a60408301866111d9565b61183760608301856110c2565b6118446080830184611571565b9695505050505050565b600061185982611016565b915061186483611016565b925082820190508082111561187c5761187b611436565b5b9291505056fea2646970667358221220a4a0e7305c1b7659cc8c428230576fe63b95f1747f0090586bee33431560420864736f6c63430008120033

0x608060405234801561001057600080fd5b50600436106100ea5760003560e01c80634e71d92d1161008c57806395d89b411161006657806395d89b411461024d578063a9059cbb1461026b578063d505accf1461029b578063dd62ed3e146102b7576100ea565b80634e71d92d146101e357806370a08231146101ed5780637ecebe001461021d576100ea565b8063211e28b6116100c8578063211e28b61461015b57806323b872dd14610177578063313ce567146101a75780633644e515146101c5576100ea565b806306fdde03146100ef578063095ea7b31461010d57806318160ddd1461013d575b600080fd5b6100f76102e7565b6040516101049190610f91565b60405180910390f35b6101276004803603810190610122919061104c565b610375565b60405161013491906110a7565b60405180910390f35b610145610467565b60405161015291906110d1565b60405180910390f35b61017560048036038101906101709190611118565b61046d565b005b610191600480360381019061018c9190611145565b6104e4565b60405161019e91906110a7565b60405180910390f35b6101af61077e565b6040516101bc91906111b4565b60405180910390f35b6101cd6107a2565b6040516101da91906111e8565b60405180910390f35b6101eb6107ff565b005b61020760048036038101906102029190611203565b610866565b60405161021491906110d1565b60405180910390f35b61023760048036038101906102329190611203565b61087e565b60405161024491906110d1565b60405180910390f35b610255610896565b6040516102629190610f91565b60405180910390f35b6102856004803603810190610280919061104c565b610924565b60405161029291906110a7565b60405180910390f35b6102b560048036038101906102b09190611288565b610a87565b005b6102d160048036038101906102cc919061132a565b610d80565b6040516102de91906110d1565b60405180910390f35b600080546102f490611399565b80601f016020809104026020016040519081016040528092919081815260200182805461032090611399565b801561036d5780601f106103425761010080835404028352916020019161036d565b820191906000526020600020905b81548152906001019060200180831161035057829003601f168201915b505050505081565b600081600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258460405161045591906110d1565b60405180910390a36001905092915050565b60035481565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146104c757600080fd5b80600260006101000a81548160ff02191690831515021790555050565b6000600260009054906101000a900460ff16610535576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161052c90611416565b60405180910390fd5b6000600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff811461066a5782816105e99190611465565b600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b82600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546106b99190611465565b9250508190555082600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8560405161076a91906110d1565b60405180910390a360019150509392505050565b7f000000000000000000000000000000000000000000000000000000000000001281565b60007f000000000000000000000000000000000000000000000000000000000000000146146107d8576107d3610da5565b6107fa565b7f2123c0340a1879a3a21ad1dc1ffc7df0b2b89740ff5225a343fd947c6fcc5fd75b905090565b600260009054906101000a900460ff161561084f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610846906114e5565b60405180910390fd5b610864336a3913517ebd3c0c65000000610e31565b565b60046020528060005260406000206000915090505481565b60066020528060005260406000206000915090505481565b600180546108a390611399565b80601f01602080910402602001604051908101604052809291908181526020018280546108cf90611399565b801561091c5780601f106108f15761010080835404028352916020019161091c565b820191906000526020600020905b8154815290600101906020018083116108ff57829003601f168201915b505050505081565b6000600260009054906101000a900460ff16610975576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161096c90611416565b60405180910390fd5b81600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546109c49190611465565b9250508190555081600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610a7591906110d1565b60405180910390a36001905092915050565b42841015610aca576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ac190611551565b60405180910390fd5b60006001610ad66107a2565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98a8a8a600660008f73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000815480929190600101919050558b604051602001610b5e96959493929190611580565b60405160208183030381529060405280519060200120604051602001610b85929190611659565b6040516020818303038152906040528051906020012085858560405160008152602001604052604051610bbb9493929190611690565b6020604051602081039080840390855afa158015610bdd573d6000803e3d6000fd5b505050602060405103519050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614158015610c5157508773ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b610c90576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c8790611721565b60405180910390fd5b85600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550508573ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92587604051610d6f91906110d1565b60405180910390a350505050505050565b6005602052816000526040600020602052806000526040600020600091509150505481565b60007f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f6000604051610dd791906117e4565b60405180910390207fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc64630604051602001610e169594939291906117fb565b60405160208183030381529060405280519060200120905090565b8060036000828254610e43919061184e565b9250508190555080600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610ef591906110d1565b60405180910390a35050565b600081519050919050565b600082825260208201905092915050565b60005b83811015610f3b578082015181840152602081019050610f20565b60008484015250505050565b6000601f19601f8301169050919050565b6000610f6382610f01565b610f6d8185610f0c565b9350610f7d818560208601610f1d565b610f8681610f47565b840191505092915050565b60006020820190508181036000830152610fab8184610f58565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000610fe382610fb8565b9050919050565b610ff381610fd8565b8114610ffe57600080fd5b50565b60008135905061101081610fea565b92915050565b6000819050919050565b61102981611016565b811461103457600080fd5b50565b60008135905061104681611020565b92915050565b6000806040838503121561106357611062610fb3565b5b600061107185828601611001565b925050602061108285828601611037565b9150509250929050565b60008115159050919050565b6110a18161108c565b82525050565b60006020820190506110bc6000830184611098565b92915050565b6110cb81611016565b82525050565b60006020820190506110e660008301846110c2565b92915050565b6110f58161108c565b811461110057600080fd5b50565b600081359050611112816110ec565b92915050565b60006020828403121561112e5761112d610fb3565b5b600061113c84828501611103565b91505092915050565b60008060006060848603121561115e5761115d610fb3565b5b600061116c86828701611001565b935050602061117d86828701611001565b925050604061118e86828701611037565b9150509250925092565b600060ff82169050919050565b6111ae81611198565b82525050565b60006020820190506111c960008301846111a5565b92915050565b6000819050919050565b6111e2816111cf565b82525050565b60006020820190506111fd60008301846111d9565b92915050565b60006020828403121561121957611218610fb3565b5b600061122784828501611001565b91505092915050565b61123981611198565b811461124457600080fd5b50565b60008135905061125681611230565b92915050565b611265816111cf565b811461127057600080fd5b50565b6000813590506112828161125c565b92915050565b600080600080600080600060e0888a0312156112a7576112a6610fb3565b5b60006112b58a828b01611001565b97505060206112c68a828b01611001565b96505060406112d78a828b01611037565b95505060606112e88a828b01611037565b94505060806112f98a828b01611247565b93505060a061130a8a828b01611273565b92505060c061131b8a828b01611273565b91505092959891949750929550565b6000806040838503121561134157611340610fb3565b5b600061134f85828601611001565b925050602061136085828601611001565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b600060028204905060018216806113b157607f821691505b6020821081036113c4576113c361136a565b5b50919050565b7f7472616e7366657273206c6f636b656400000000000000000000000000000000600082015250565b6000611400601083610f0c565b915061140b826113ca565b602082019050919050565b6000602082019050818103600083015261142f816113f3565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600061147082611016565b915061147b83611016565b925082820390508181111561149357611492611436565b5b92915050565b7f636c61696d696e67206973206c6f636b65640000000000000000000000000000600082015250565b60006114cf601283610f0c565b91506114da82611499565b602082019050919050565b600060208201905081810360008301526114fe816114c2565b9050919050565b7f5045524d49545f444541444c494e455f45585049524544000000000000000000600082015250565b600061153b601783610f0c565b915061154682611505565b602082019050919050565b6000602082019050818103600083015261156a8161152e565b9050919050565b61157a81610fd8565b82525050565b600060c08201905061159560008301896111d9565b6115a26020830188611571565b6115af6040830187611571565b6115bc60608301866110c2565b6115c960808301856110c2565b6115d660a08301846110c2565b979650505050505050565b600081905092915050565b7f1901000000000000000000000000000000000000000000000000000000000000600082015250565b60006116226002836115e1565b915061162d826115ec565b600282019050919050565b6000819050919050565b61165361164e826111cf565b611638565b82525050565b600061166482611615565b91506116708285611642565b6020820191506116808284611642565b6020820191508190509392505050565b60006080820190506116a560008301876111d9565b6116b260208301866111a5565b6116bf60408301856111d9565b6116cc60608301846111d9565b95945050505050565b7f494e56414c49445f5349474e4552000000000000000000000000000000000000600082015250565b600061170b600e83610f0c565b9150611716826116d5565b602082019050919050565b6000602082019050818103600083015261173a816116fe565b9050919050565b600081905092915050565b60008190508160005260206000209050919050565b6000815461176e81611399565b6117788186611741565b9450600182166000811461179357600181146117a8576117db565b60ff19831686528115158202860193506117db565b6117b18561174c565b60005b838110156117d3578154818901526001820191506020810190506117b4565b838801955050505b50505092915050565b60006117f08284611761565b915081905092915050565b600060a08201905061181060008301886111d9565b61181d60208301876111d9565b61182a60408301866111d9565b61183760608301856110c2565b6118446080830184611571565b9695505050505050565b600061185982611016565b915061186483611016565b925082820190508082111561187c5761187b611436565b5b9291505056fea2646970667358221220a4a0e7305c1b7659cc8c428230576fe63b95f1747f0090586bee33431560420864736f6c63430008120033

7138:392:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1051:18;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2552:217;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1356:26;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7411:114;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;3216:658;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1107:31;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5604:179;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7281:122;;;:::i;:::-;;1391:44;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1817:41;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1078:20;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2777:431;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4069:1527;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;1444:64;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1051:18;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2552:217::-;2626:4;2676:6;2643:9;:21;2653:10;2643:21;;;;;;;;;;;;;;;:30;2665:7;2643:30;;;;;;;;;;;;;;;:39;;;;2721:7;2700:37;;2709:10;2700:37;;;2730:6;2700:37;;;;;;:::i;:::-;;;;;;;;2757:4;2750:11;;2552:217;;;;:::o;1356:26::-;;;;:::o;7411:114::-;7484:5;;;;;;;;;;;7470:19;;:10;:19;;;7462:28;;;;;;7510:7;7501:6;;:16;;;;;;;;;;;;;;;;;;7411:114;:::o;3216:658::-;3338:4;3363:6;;;;;;;;;;;3355:35;;;;;;;;;;;;:::i;:::-;;;;;;;;;3401:15;3419:9;:15;3429:4;3419:15;;;;;;;;;;;;;;;:27;3435:10;3419:27;;;;;;;;;;;;;;;;3401:45;;3510:17;3499:7;:28;3495:80;;3569:6;3559:7;:16;;;;:::i;:::-;3529:9;:15;3539:4;3529:15;;;;;;;;;;;;;;;:27;3545:10;3529:27;;;;;;;;;;;;;;;:46;;;;3495:80;3607:6;3588:9;:15;3598:4;3588:15;;;;;;;;;;;;;;;;:25;;;;;;;:::i;:::-;;;;;;;;3781:6;3764:9;:13;3774:2;3764:13;;;;;;;;;;;;;;;;:23;;;;;;;;;;;3831:2;3816:26;;3825:4;3816:26;;;3835:6;3816:26;;;;;;:::i;:::-;;;;;;;;3862:4;3855:11;;;3216:658;;;;;:::o;1107:31::-;;;:::o;5604:179::-;5661:7;5705:16;5688:13;:33;:87;;5751:24;:22;:24::i;:::-;5688:87;;;5724:24;5688:87;5681:94;;5604:179;:::o;7281:122::-;7325:6;;;;;;;;;;;7324:7;7316:38;;;;;;;;;;;;:::i;:::-;;;;;;;;;7365:30;7371:10;7383:11;7365:5;:30::i;:::-;7281:122::o;1391:44::-;;;;;;;;;;;;;;;;;:::o;1817:41::-;;;;;;;;;;;;;;;;;:::o;1078:20::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2777:431::-;2847:4;2872:6;;;;;;;;;;;2864:35;;;;;;;;;;;;:::i;:::-;;;;;;;;;2935:6;2910:9;:21;2920:10;2910:21;;;;;;;;;;;;;;;;:31;;;;;;;:::i;:::-;;;;;;;;3109:6;3092:9;:13;3102:2;3092:13;;;;;;;;;;;;;;;;:23;;;;;;;;;;;3165:2;3144:32;;3153:10;3144:32;;;3169:6;3144:32;;;;;;:::i;:::-;;;;;;;;3196:4;3189:11;;2777:431;;;;:::o;4069:1527::-;4297:15;4285:8;:27;;4277:63;;;;;;;;;;;;:::i;:::-;;;;;;;;;4510:24;4537:827;4677:18;:16;:18::i;:::-;4807:167;5009:5;5049:7;5091:5;5131:6;:13;5138:5;5131:13;;;;;;;;;;;;;;;;:15;;;;;;;;;;;;5181:8;4762:458;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;4722:525;;;;;;4597:673;;;;;;;;;:::i;:::-;;;;;;;;;;;;;4565:724;;;;;;5308:1;5328;5348;4537:827;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4510:854;;5417:1;5389:30;;:16;:30;;;;:59;;;;;5443:5;5423:25;;:16;:25;;;5389:59;5381:86;;;;;;;;;;;;:::i;:::-;;;;;;;;;5523:5;5484:9;:27;5494:16;5484:27;;;;;;;;;;;;;;;:36;5512:7;5484:36;;;;;;;;;;;;;;;:44;;;;4485:1055;5573:7;5557:31;;5566:5;5557:31;;;5582:5;5557:31;;;;;;:::i;:::-;;;;;;;;4069:1527;;;;;;;:::o;1444:64::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;5791:457::-;5856:7;5957:95;6091:4;6075:22;;;;;;:::i;:::-;;;;;;;;6120:14;6157:13;6201:4;5924:301;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;5896:344;;;;;;5876:364;;5791:457;:::o;6448:335::-;6534:6;6519:11;;:21;;;;;;;:::i;:::-;;;;;;;;6708:6;6691:9;:13;6701:2;6691:13;;;;;;;;;;;;;;;;:23;;;;;;;;;;;6764:2;6743:32;;6760:1;6743:32;;;6768:6;6743:32;;;;;;:::i;:::-;;;;;;;;6448:335;;:::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:116::-;3868:21;3883:5;3868:21;:::i;:::-;3861:5;3858:32;3848:60;;3904:1;3901;3894:12;3848:60;3798:116;:::o;3920:133::-;3963:5;4001:6;3988:20;3979:29;;4017:30;4041:5;4017:30;:::i;:::-;3920:133;;;;:::o;4059:323::-;4115:6;4164:2;4152:9;4143:7;4139:23;4135:32;4132:119;;;4170:79;;:::i;:::-;4132:119;4290:1;4315:50;4357:7;4348:6;4337:9;4333:22;4315:50;:::i;:::-;4305:60;;4261:114;4059:323;;;;:::o;4388:619::-;4465:6;4473;4481;4530:2;4518:9;4509:7;4505:23;4501:32;4498:119;;;4536:79;;:::i;:::-;4498:119;4656:1;4681:53;4726:7;4717:6;4706:9;4702:22;4681:53;:::i;:::-;4671:63;;4627:117;4783:2;4809:53;4854:7;4845:6;4834:9;4830:22;4809:53;:::i;:::-;4799:63;;4754:118;4911:2;4937:53;4982:7;4973:6;4962:9;4958:22;4937:53;:::i;:::-;4927:63;;4882:118;4388:619;;;;;:::o;5013:86::-;5048:7;5088:4;5081:5;5077:16;5066:27;;5013:86;;;:::o;5105:112::-;5188:22;5204:5;5188:22;:::i;:::-;5183:3;5176:35;5105:112;;:::o;5223:214::-;5312:4;5350:2;5339:9;5335:18;5327:26;;5363:67;5427:1;5416:9;5412:17;5403:6;5363:67;:::i;:::-;5223:214;;;;:::o;5443:77::-;5480:7;5509:5;5498:16;;5443:77;;;:::o;5526:118::-;5613:24;5631:5;5613:24;:::i;:::-;5608:3;5601:37;5526:118;;:::o;5650:222::-;5743:4;5781:2;5770:9;5766:18;5758:26;;5794:71;5862:1;5851:9;5847:17;5838:6;5794:71;:::i;:::-;5650:222;;;;:::o;5878:329::-;5937:6;5986:2;5974:9;5965:7;5961:23;5957:32;5954:119;;;5992:79;;:::i;:::-;5954:119;6112:1;6137:53;6182:7;6173:6;6162:9;6158:22;6137:53;:::i;:::-;6127:63;;6083:117;5878:329;;;;:::o;6213:118::-;6284:22;6300:5;6284:22;:::i;:::-;6277:5;6274:33;6264:61;;6321:1;6318;6311:12;6264:61;6213:118;:::o;6337:135::-;6381:5;6419:6;6406:20;6397:29;;6435:31;6460:5;6435:31;:::i;:::-;6337:135;;;;:::o;6478:122::-;6551:24;6569:5;6551:24;:::i;:::-;6544:5;6541:35;6531:63;;6590:1;6587;6580:12;6531:63;6478:122;:::o;6606:139::-;6652:5;6690:6;6677:20;6668:29;;6706:33;6733:5;6706:33;:::i;:::-;6606:139;;;;:::o;6751:1199::-;6862:6;6870;6878;6886;6894;6902;6910;6959:3;6947:9;6938:7;6934:23;6930:33;6927:120;;;6966:79;;:::i;:::-;6927:120;7086:1;7111:53;7156:7;7147:6;7136:9;7132:22;7111:53;:::i;:::-;7101:63;;7057:117;7213:2;7239:53;7284:7;7275:6;7264:9;7260:22;7239:53;:::i;:::-;7229:63;;7184:118;7341:2;7367:53;7412:7;7403:6;7392:9;7388:22;7367:53;:::i;:::-;7357:63;;7312:118;7469:2;7495:53;7540:7;7531:6;7520:9;7516:22;7495:53;:::i;:::-;7485:63;;7440:118;7597:3;7624:51;7667:7;7658:6;7647:9;7643:22;7624:51;:::i;:::-;7614:61;;7568:117;7724:3;7751:53;7796:7;7787:6;7776:9;7772:22;7751:53;:::i;:::-;7741:63;;7695:119;7853:3;7880:53;7925:7;7916:6;7905:9;7901:22;7880:53;:::i;:::-;7870:63;;7824:119;6751:1199;;;;;;;;;;:::o;7956:474::-;8024:6;8032;8081:2;8069:9;8060:7;8056:23;8052:32;8049:119;;;8087:79;;:::i;:::-;8049:119;8207:1;8232:53;8277:7;8268:6;8257:9;8253:22;8232:53;:::i;:::-;8222:63;;8178:117;8334:2;8360:53;8405:7;8396:6;8385:9;8381:22;8360:53;:::i;:::-;8350:63;;8305:118;7956:474;;;;;:::o;8436:180::-;8484:77;8481:1;8474:88;8581:4;8578:1;8571:15;8605:4;8602:1;8595:15;8622:320;8666:6;8703:1;8697:4;8693:12;8683:22;;8750:1;8744:4;8740:12;8771:18;8761:81;;8827:4;8819:6;8815:17;8805:27;;8761:81;8889:2;8881:6;8878:14;8858:18;8855:38;8852:84;;8908:18;;:::i;:::-;8852:84;8673:269;8622:320;;;:::o;8948:166::-;9088:18;9084:1;9076:6;9072:14;9065:42;8948:166;:::o;9120:366::-;9262:3;9283:67;9347:2;9342:3;9283:67;:::i;:::-;9276:74;;9359:93;9448:3;9359:93;:::i;:::-;9477:2;9472:3;9468:12;9461:19;;9120:366;;;:::o;9492:419::-;9658:4;9696:2;9685:9;9681:18;9673:26;;9745:9;9739:4;9735:20;9731:1;9720:9;9716:17;9709:47;9773:131;9899:4;9773:131;:::i;:::-;9765:139;;9492:419;;;:::o;9917:180::-;9965:77;9962:1;9955:88;10062:4;10059:1;10052:15;10086:4;10083:1;10076:15;10103:194;10143:4;10163:20;10181:1;10163:20;:::i;:::-;10158:25;;10197:20;10215:1;10197:20;:::i;:::-;10192:25;;10241:1;10238;10234:9;10226:17;;10265:1;10259:4;10256:11;10253:37;;;10270:18;;:::i;:::-;10253:37;10103:194;;;;:::o;10303:168::-;10443:20;10439:1;10431:6;10427:14;10420:44;10303:168;:::o;10477:366::-;10619:3;10640:67;10704:2;10699:3;10640:67;:::i;:::-;10633:74;;10716:93;10805:3;10716:93;:::i;:::-;10834:2;10829:3;10825:12;10818:19;;10477:366;;;:::o;10849:419::-;11015:4;11053:2;11042:9;11038:18;11030:26;;11102:9;11096:4;11092:20;11088:1;11077:9;11073:17;11066:47;11130:131;11256:4;11130:131;:::i;:::-;11122:139;;10849:419;;;:::o;11274:173::-;11414:25;11410:1;11402:6;11398:14;11391:49;11274:173;:::o;11453:366::-;11595:3;11616:67;11680:2;11675:3;11616:67;:::i;:::-;11609:74;;11692:93;11781:3;11692:93;:::i;:::-;11810:2;11805:3;11801:12;11794:19;;11453:366;;;:::o;11825:419::-;11991:4;12029:2;12018:9;12014:18;12006:26;;12078:9;12072:4;12068:20;12064:1;12053:9;12049:17;12042:47;12106:131;12232:4;12106:131;:::i;:::-;12098:139;;11825:419;;;:::o;12250:118::-;12337:24;12355:5;12337:24;:::i;:::-;12332:3;12325:37;12250:118;;:::o;12374:775::-;12607:4;12645:3;12634:9;12630:19;12622:27;;12659:71;12727:1;12716:9;12712:17;12703:6;12659:71;:::i;:::-;12740:72;12808:2;12797:9;12793:18;12784:6;12740:72;:::i;:::-;12822;12890:2;12879:9;12875:18;12866:6;12822:72;:::i;:::-;12904;12972:2;12961:9;12957:18;12948:6;12904:72;:::i;:::-;12986:73;13054:3;13043:9;13039:19;13030:6;12986:73;:::i;:::-;13069;13137:3;13126:9;13122:19;13113:6;13069:73;:::i;:::-;12374:775;;;;;;;;;:::o;13155:148::-;13257:11;13294:3;13279:18;;13155:148;;;;:::o;13309:214::-;13449:66;13445:1;13437:6;13433:14;13426:90;13309:214;:::o;13529:400::-;13689:3;13710:84;13792:1;13787:3;13710:84;:::i;:::-;13703:91;;13803:93;13892:3;13803:93;:::i;:::-;13921:1;13916:3;13912:11;13905:18;;13529:400;;;:::o;13935:79::-;13974:7;14003:5;13992:16;;13935:79;;;:::o;14020:157::-;14125:45;14145:24;14163:5;14145:24;:::i;:::-;14125:45;:::i;:::-;14120:3;14113:58;14020:157;;:::o;14183:663::-;14424:3;14446:148;14590:3;14446:148;:::i;:::-;14439:155;;14604:75;14675:3;14666:6;14604:75;:::i;:::-;14704:2;14699:3;14695:12;14688:19;;14717:75;14788:3;14779:6;14717:75;:::i;:::-;14817:2;14812:3;14808:12;14801:19;;14837:3;14830:10;;14183:663;;;;;:::o;14852:545::-;15025:4;15063:3;15052:9;15048:19;15040:27;;15077:71;15145:1;15134:9;15130:17;15121:6;15077:71;:::i;:::-;15158:68;15222:2;15211:9;15207:18;15198:6;15158:68;:::i;:::-;15236:72;15304:2;15293:9;15289:18;15280:6;15236:72;:::i;:::-;15318;15386:2;15375:9;15371:18;15362:6;15318:72;:::i;:::-;14852:545;;;;;;;:::o;15403:164::-;15543:16;15539:1;15531:6;15527:14;15520:40;15403:164;:::o;15573:366::-;15715:3;15736:67;15800:2;15795:3;15736:67;:::i;:::-;15729:74;;15812:93;15901:3;15812:93;:::i;:::-;15930:2;15925:3;15921:12;15914:19;;15573:366;;;:::o;15945:419::-;16111:4;16149:2;16138:9;16134:18;16126:26;;16198:9;16192:4;16188:20;16184:1;16173:9;16169:17;16162:47;16226:131;16352:4;16226:131;:::i;:::-;16218:139;;15945:419;;;:::o;16370:147::-;16471:11;16508:3;16493:18;;16370:147;;;;:::o;16523:144::-;16575:4;16598:3;16590:11;;16621:3;16618:1;16611:14;16655:4;16652:1;16642:18;16634:26;;16523:144;;;:::o;16695:878::-;16800:3;16837:5;16831:12;16866:36;16892:9;16866:36;:::i;:::-;16918:88;16999:6;16994:3;16918:88;:::i;:::-;16911:95;;17037:1;17026:9;17022:17;17053:1;17048:166;;;;17228:1;17223:344;;;;17015:552;;17048:166;17132:4;17128:9;17117;17113:25;17108:3;17101:38;17194:6;17187:14;17180:22;17172:6;17168:35;17163:3;17159:45;17152:52;;17048:166;;17223:344;17290:41;17325:5;17290:41;:::i;:::-;17353:1;17367:154;17381:6;17378:1;17375:13;17367:154;;;17455:7;17449:14;17445:1;17440:3;17436:11;17429:35;17505:1;17496:7;17492:15;17481:26;;17403:4;17400:1;17396:12;17391:17;;17367:154;;;17550:6;17545:3;17541:16;17534:23;;17230:337;;17015:552;;16804:769;;16695:878;;;;:::o;17579:273::-;17710:3;17732:94;17822:3;17813:6;17732:94;:::i;:::-;17725:101;;17843:3;17836:10;;17579:273;;;;:::o;17858:664::-;18063:4;18101:3;18090:9;18086:19;18078:27;;18115:71;18183:1;18172:9;18168:17;18159:6;18115:71;:::i;:::-;18196:72;18264:2;18253:9;18249:18;18240:6;18196:72;:::i;:::-;18278;18346:2;18335:9;18331:18;18322:6;18278:72;:::i;:::-;18360;18428:2;18417:9;18413:18;18404:6;18360:72;:::i;:::-;18442:73;18510:3;18499:9;18495:19;18486:6;18442:73;:::i;:::-;17858:664;;;;;;;;:::o;18528:191::-;18568:3;18587:20;18605:1;18587:20;:::i;:::-;18582:25;;18621:20;18639:1;18621:20;:::i;:::-;18616:25;;18664:1;18661;18657:9;18650:16;;18685:3;18682:1;18679:10;18676:36;;;18692:18;;:::i;:::-;18676:36;18528:191;;;;:::o

ipfs://a4a0e7305c1b7659cc8c428230576fe63b95f1747f0090586bee334315604208