Contract Source Code (Solidity Multiple files format)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

More Options

• Similar
• Submit Audit
• Compare

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

import { ERC20 } from './erc20.sol';

contract TestERC20 is ERC20('Beta WLD', 'BWLD', 18) {
    address constant OWNER = 0x80dc00811e7C4A03c1f1599D3dc8fEbaAd87Bf87;

    function issue(address receiver, uint256 amount) public {
        require(msg.sender == OWNER, "needs to be called by owner");
        _mint(receiver, amount);
    }
}

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

/// @notice Modern and gas efficient ERC20 + EIP-2612 implementation.
/// @author Solmate (https://github.com/transmissions11/solmate/blob/main/src/tokens/ERC20.sol)
/// @author Modified from Uniswap (https://github.com/Uniswap/uniswap-v2-core/blob/master/contracts/UniswapV2ERC20.sol)
/// @dev Do not manually set balances without updating totalSupply, as the sum of all user balances must not exceed it.
abstract contract ERC20 {
    /*//////////////////////////////////////////////////////////////
                                 EVENTS
    //////////////////////////////////////////////////////////////*/

    event Transfer(address indexed from, address indexed to, uint256 amount);

    event Approval(address indexed owner, address indexed spender, uint256 amount);

    /*//////////////////////////////////////////////////////////////
                            METADATA STORAGE
    //////////////////////////////////////////////////////////////*/

    string public name;

    string public symbol;

    uint8 public immutable decimals;

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

    uint256 public totalSupply;

    mapping(address => uint256) public balanceOf;

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

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

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

        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)
                )
            );
    }

    /*//////////////////////////////////////////////////////////////
                        INTERNAL MINT/BURN LOGIC
    //////////////////////////////////////////////////////////////*/

    function _mint(address to, uint256 amount) internal virtual {
        totalSupply += amount;

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

        emit Transfer(address(0), to, amount);
    }

    function _burn(address from, uint256 amount) internal virtual {
        balanceOf[from] -= amount;

        // Cannot underflow because a user's balance
        // will never be larger than the total supply.
        unchecked {
            totalSupply -= amount;
        }

        emit Transfer(from, address(0), amount);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"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":[{"internalType":"address","name":"receiver","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"issue","outputs":[],"stateMutability":"nonpayable","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"}]

60e06040523480156200001157600080fd5b506040518060400160405280600881526020017f4265746120574c440000000000000000000000000000000000000000000000008152506040518060400160405280600481526020017f42574c440000000000000000000000000000000000000000000000000000000081525060128260009081620000919190620003e4565b508160019081620000a39190620003e4565b508060ff1660808160ff16815250504660a08181525050620000ca620000da60201b60201c565b60c0818152505050505062000661565b60007f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f60006040516200010e91906200057a565b60405180910390207fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc646306040516020016200014f95949392919062000604565b60405160208183030381529060405280519060200120905090565b600081519050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b60006002820490506001821680620001ec57607f821691505b602082108103620002025762000201620001a4565b5b50919050565b60008190508160005260206000209050919050565b60006020601f8301049050919050565b600082821b905092915050565b6000600883026200026c7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff826200022d565b6200027886836200022d565b95508019841693508086168417925050509392505050565b6000819050919050565b6000819050919050565b6000620002c5620002bf620002b98462000290565b6200029a565b62000290565b9050919050565b6000819050919050565b620002e183620002a4565b620002f9620002f082620002cc565b8484546200023a565b825550505050565b600090565b6200031062000301565b6200031d818484620002d6565b505050565b5b8181101562000345576200033960008262000306565b60018101905062000323565b5050565b601f82111562000394576200035e8162000208565b62000369846200021d565b8101602085101562000379578190505b6200039162000388856200021d565b83018262000322565b50505b505050565b600082821c905092915050565b6000620003b96000198460080262000399565b1980831691505092915050565b6000620003d48383620003a6565b9150826002028217905092915050565b620003ef826200016a565b67ffffffffffffffff8111156200040b576200040a62000175565b5b620004178254620001d3565b6200042482828562000349565b600060209050601f8311600181146200045c576000841562000447578287015190505b620004538582620003c6565b865550620004c3565b601f1984166200046c8662000208565b60005b8281101562000496578489015182556001820191506020850194506020810190506200046f565b86831015620004b65784890151620004b2601f891682620003a6565b8355505b6001600288020188555050505b505050505050565b600081905092915050565b60008190508160005260206000209050919050565b60008154620004fa81620001d3565b620005068186620004cb565b945060018216600081146200052457600181146200053a5762000571565b60ff198316865281151582028601935062000571565b6200054585620004d6565b60005b83811015620005695781548189015260018201915060208101905062000548565b838801955050505b50505092915050565b6000620005888284620004eb565b915081905092915050565b6000819050919050565b620005a88162000593565b82525050565b620005b98162000290565b82525050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000620005ec82620005bf565b9050919050565b620005fe81620005df565b82525050565b600060a0820190506200061b60008301886200059d565b6200062a60208301876200059d565b6200063960408301866200059d565b620006486060830185620005ae565b620006576080830184620005f3565b9695505050505050565b60805160a05160c0516116e16200069160003960006106ee015260006106ba0152600061069401526116e16000f3fe608060405234801561001057600080fd5b50600436106100cf5760003560e01c806370a082311161008c57806395d89b411161006657806395d89b4114610228578063a9059cbb14610246578063d505accf14610276578063dd62ed3e14610292576100cf565b806370a08231146101ac5780637ecebe00146101dc578063867904b41461020c576100cf565b806306fdde03146100d4578063095ea7b3146100f257806318160ddd1461012257806323b872dd14610140578063313ce567146101705780633644e5151461018e575b600080fd5b6100dc6102c2565b6040516100e99190610e7f565b60405180910390f35b61010c60048036038101906101079190610f3a565b610350565b6040516101199190610f95565b60405180910390f35b61012a610442565b6040516101379190610fbf565b60405180910390f35b61015a60048036038101906101559190610fda565b610448565b6040516101679190610f95565b60405180910390f35b610178610692565b6040516101859190611049565b60405180910390f35b6101966106b6565b6040516101a3919061107d565b60405180910390f35b6101c660048036038101906101c19190611098565b610713565b6040516101d39190610fbf565b60405180910390f35b6101f660048036038101906101f19190611098565b61072b565b6040516102039190610fbf565b60405180910390f35b61022660048036038101906102219190610f3a565b610743565b005b6102306107d3565b60405161023d9190610e7f565b60405180910390f35b610260600480360381019061025b9190610f3a565b610861565b60405161026d9190610f95565b60405180910390f35b610290600480360381019061028b919061111d565b610975565b005b6102ac60048036038101906102a791906111bf565b610c6e565b6040516102b99190610fbf565b60405180910390f35b600080546102cf9061122e565b80601f01602080910402602001604051908101604052809291908181526020018280546102fb9061122e565b80156103485780601f1061031d57610100808354040283529160200191610348565b820191906000526020600020905b81548152906001019060200180831161032b57829003601f168201915b505050505081565b600081600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516104309190610fbf565b60405180910390a36001905092915050565b60025481565b600080600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff811461057e5782816104fd919061128e565b600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b82600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546105cd919061128e565b9250508190555082600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8560405161067e9190610fbf565b60405180910390a360019150509392505050565b7f000000000000000000000000000000000000000000000000000000000000000081565b60007f000000000000000000000000000000000000000000000000000000000000000046146106ec576106e7610c93565b61070e565b7f00000000000000000000000000000000000000000000000000000000000000005b905090565b60036020528060005260406000206000915090505481565b60056020528060005260406000206000915090505481565b7380dc00811e7c4a03c1f1599d3dc8febaad87bf8773ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146107c5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107bc9061130e565b60405180910390fd5b6107cf8282610d1f565b5050565b600180546107e09061122e565b80601f016020809104026020016040519081016040528092919081815260200182805461080c9061122e565b80156108595780601f1061082e57610100808354040283529160200191610859565b820191906000526020600020905b81548152906001019060200180831161083c57829003601f168201915b505050505081565b600081600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546108b2919061128e565b9250508190555081600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516109639190610fbf565b60405180910390a36001905092915050565b428410156109b8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109af9061137a565b60405180910390fd5b600060016109c46106b6565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98a8a8a600560008f73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000815480929190600101919050558b604051602001610a4c969594939291906113a9565b60405160208183030381529060405280519060200120604051602001610a73929190611482565b6040516020818303038152906040528051906020012085858560405160008152602001604052604051610aa994939291906114b9565b6020604051602081039080840390855afa158015610acb573d6000803e3d6000fd5b505050602060405103519050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614158015610b3f57508773ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b610b7e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b759061154a565b60405180910390fd5b85600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550508573ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92587604051610c5d9190610fbf565b60405180910390a350505050505050565b6004602052816000526040600020602052806000526040600020600091509150505481565b60007f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f6000604051610cc5919061160d565b60405180910390207fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc64630604051602001610d04959493929190611624565b60405160208183030381529060405280519060200120905090565b8060026000828254610d319190611677565b9250508190555080600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610de39190610fbf565b60405180910390a35050565b600081519050919050565b600082825260208201905092915050565b60005b83811015610e29578082015181840152602081019050610e0e565b60008484015250505050565b6000601f19601f8301169050919050565b6000610e5182610def565b610e5b8185610dfa565b9350610e6b818560208601610e0b565b610e7481610e35565b840191505092915050565b60006020820190508181036000830152610e998184610e46565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000610ed182610ea6565b9050919050565b610ee181610ec6565b8114610eec57600080fd5b50565b600081359050610efe81610ed8565b92915050565b6000819050919050565b610f1781610f04565b8114610f2257600080fd5b50565b600081359050610f3481610f0e565b92915050565b60008060408385031215610f5157610f50610ea1565b5b6000610f5f85828601610eef565b9250506020610f7085828601610f25565b9150509250929050565b60008115159050919050565b610f8f81610f7a565b82525050565b6000602082019050610faa6000830184610f86565b92915050565b610fb981610f04565b82525050565b6000602082019050610fd46000830184610fb0565b92915050565b600080600060608486031215610ff357610ff2610ea1565b5b600061100186828701610eef565b935050602061101286828701610eef565b925050604061102386828701610f25565b9150509250925092565b600060ff82169050919050565b6110438161102d565b82525050565b600060208201905061105e600083018461103a565b92915050565b6000819050919050565b61107781611064565b82525050565b6000602082019050611092600083018461106e565b92915050565b6000602082840312156110ae576110ad610ea1565b5b60006110bc84828501610eef565b91505092915050565b6110ce8161102d565b81146110d957600080fd5b50565b6000813590506110eb816110c5565b92915050565b6110fa81611064565b811461110557600080fd5b50565b600081359050611117816110f1565b92915050565b600080600080600080600060e0888a03121561113c5761113b610ea1565b5b600061114a8a828b01610eef565b975050602061115b8a828b01610eef565b965050604061116c8a828b01610f25565b955050606061117d8a828b01610f25565b945050608061118e8a828b016110dc565b93505060a061119f8a828b01611108565b92505060c06111b08a828b01611108565b91505092959891949750929550565b600080604083850312156111d6576111d5610ea1565b5b60006111e485828601610eef565b92505060206111f585828601610eef565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000600282049050600182168061124657607f821691505b602082108103611259576112586111ff565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600061129982610f04565b91506112a483610f04565b92508282039050818111156112bc576112bb61125f565b5b92915050565b7f6e6565647320746f2062652063616c6c6564206279206f776e65720000000000600082015250565b60006112f8601b83610dfa565b9150611303826112c2565b602082019050919050565b60006020820190508181036000830152611327816112eb565b9050919050565b7f5045524d49545f444541444c494e455f45585049524544000000000000000000600082015250565b6000611364601783610dfa565b915061136f8261132e565b602082019050919050565b6000602082019050818103600083015261139381611357565b9050919050565b6113a381610ec6565b82525050565b600060c0820190506113be600083018961106e565b6113cb602083018861139a565b6113d8604083018761139a565b6113e56060830186610fb0565b6113f26080830185610fb0565b6113ff60a0830184610fb0565b979650505050505050565b600081905092915050565b7f1901000000000000000000000000000000000000000000000000000000000000600082015250565b600061144b60028361140a565b915061145682611415565b600282019050919050565b6000819050919050565b61147c61147782611064565b611461565b82525050565b600061148d8261143e565b9150611499828561146b565b6020820191506114a9828461146b565b6020820191508190509392505050565b60006080820190506114ce600083018761106e565b6114db602083018661103a565b6114e8604083018561106e565b6114f5606083018461106e565b95945050505050565b7f494e56414c49445f5349474e4552000000000000000000000000000000000000600082015250565b6000611534600e83610dfa565b915061153f826114fe565b602082019050919050565b6000602082019050818103600083015261156381611527565b9050919050565b600081905092915050565b60008190508160005260206000209050919050565b600081546115978161122e565b6115a1818661156a565b945060018216600081146115bc57600181146115d157611604565b60ff1983168652811515820286019350611604565b6115da85611575565b60005b838110156115fc578154818901526001820191506020810190506115dd565b838801955050505b50505092915050565b6000611619828461158a565b915081905092915050565b600060a082019050611639600083018861106e565b611646602083018761106e565b611653604083018661106e565b6116606060830185610fb0565b61166d608083018461139a565b9695505050505050565b600061168282610f04565b915061168d83610f04565b92508282019050808211156116a5576116a461125f565b5b9291505056fea26469706673582212208a76181f5758fc432e64a73eed9905f82664e365652bb2a53b54eb9b968cccda64736f6c63430008120033

0x608060405234801561001057600080fd5b50600436106100cf5760003560e01c806370a082311161008c57806395d89b411161006657806395d89b4114610228578063a9059cbb14610246578063d505accf14610276578063dd62ed3e14610292576100cf565b806370a08231146101ac5780637ecebe00146101dc578063867904b41461020c576100cf565b806306fdde03146100d4578063095ea7b3146100f257806318160ddd1461012257806323b872dd14610140578063313ce567146101705780633644e5151461018e575b600080fd5b6100dc6102c2565b6040516100e99190610e7f565b60405180910390f35b61010c60048036038101906101079190610f3a565b610350565b6040516101199190610f95565b60405180910390f35b61012a610442565b6040516101379190610fbf565b60405180910390f35b61015a60048036038101906101559190610fda565b610448565b6040516101679190610f95565b60405180910390f35b610178610692565b6040516101859190611049565b60405180910390f35b6101966106b6565b6040516101a3919061107d565b60405180910390f35b6101c660048036038101906101c19190611098565b610713565b6040516101d39190610fbf565b60405180910390f35b6101f660048036038101906101f19190611098565b61072b565b6040516102039190610fbf565b60405180910390f35b61022660048036038101906102219190610f3a565b610743565b005b6102306107d3565b60405161023d9190610e7f565b60405180910390f35b610260600480360381019061025b9190610f3a565b610861565b60405161026d9190610f95565b60405180910390f35b610290600480360381019061028b919061111d565b610975565b005b6102ac60048036038101906102a791906111bf565b610c6e565b6040516102b99190610fbf565b60405180910390f35b600080546102cf9061122e565b80601f01602080910402602001604051908101604052809291908181526020018280546102fb9061122e565b80156103485780601f1061031d57610100808354040283529160200191610348565b820191906000526020600020905b81548152906001019060200180831161032b57829003601f168201915b505050505081565b600081600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516104309190610fbf565b60405180910390a36001905092915050565b60025481565b600080600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff811461057e5782816104fd919061128e565b600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b82600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546105cd919061128e565b9250508190555082600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8560405161067e9190610fbf565b60405180910390a360019150509392505050565b7f000000000000000000000000000000000000000000000000000000000000001281565b60007f000000000000000000000000000000000000000000000000000000000000000a46146106ec576106e7610c93565b61070e565b7f6644158bb30227a9acab0b2c6803e8419f39f931bd66a83dac3fc693b94c0bad5b905090565b60036020528060005260406000206000915090505481565b60056020528060005260406000206000915090505481565b7380dc00811e7c4a03c1f1599d3dc8febaad87bf8773ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146107c5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107bc9061130e565b60405180910390fd5b6107cf8282610d1f565b5050565b600180546107e09061122e565b80601f016020809104026020016040519081016040528092919081815260200182805461080c9061122e565b80156108595780601f1061082e57610100808354040283529160200191610859565b820191906000526020600020905b81548152906001019060200180831161083c57829003601f168201915b505050505081565b600081600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546108b2919061128e565b9250508190555081600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516109639190610fbf565b60405180910390a36001905092915050565b428410156109b8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109af9061137a565b60405180910390fd5b600060016109c46106b6565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98a8a8a600560008f73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000815480929190600101919050558b604051602001610a4c969594939291906113a9565b60405160208183030381529060405280519060200120604051602001610a73929190611482565b6040516020818303038152906040528051906020012085858560405160008152602001604052604051610aa994939291906114b9565b6020604051602081039080840390855afa158015610acb573d6000803e3d6000fd5b505050602060405103519050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614158015610b3f57508773ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b610b7e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b759061154a565b60405180910390fd5b85600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550508573ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92587604051610c5d9190610fbf565b60405180910390a350505050505050565b6004602052816000526040600020602052806000526040600020600091509150505481565b60007f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f6000604051610cc5919061160d565b60405180910390207fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc64630604051602001610d04959493929190611624565b60405160208183030381529060405280519060200120905090565b8060026000828254610d319190611677565b9250508190555080600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610de39190610fbf565b60405180910390a35050565b600081519050919050565b600082825260208201905092915050565b60005b83811015610e29578082015181840152602081019050610e0e565b60008484015250505050565b6000601f19601f8301169050919050565b6000610e5182610def565b610e5b8185610dfa565b9350610e6b818560208601610e0b565b610e7481610e35565b840191505092915050565b60006020820190508181036000830152610e998184610e46565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000610ed182610ea6565b9050919050565b610ee181610ec6565b8114610eec57600080fd5b50565b600081359050610efe81610ed8565b92915050565b6000819050919050565b610f1781610f04565b8114610f2257600080fd5b50565b600081359050610f3481610f0e565b92915050565b60008060408385031215610f5157610f50610ea1565b5b6000610f5f85828601610eef565b9250506020610f7085828601610f25565b9150509250929050565b60008115159050919050565b610f8f81610f7a565b82525050565b6000602082019050610faa6000830184610f86565b92915050565b610fb981610f04565b82525050565b6000602082019050610fd46000830184610fb0565b92915050565b600080600060608486031215610ff357610ff2610ea1565b5b600061100186828701610eef565b935050602061101286828701610eef565b925050604061102386828701610f25565b9150509250925092565b600060ff82169050919050565b6110438161102d565b82525050565b600060208201905061105e600083018461103a565b92915050565b6000819050919050565b61107781611064565b82525050565b6000602082019050611092600083018461106e565b92915050565b6000602082840312156110ae576110ad610ea1565b5b60006110bc84828501610eef565b91505092915050565b6110ce8161102d565b81146110d957600080fd5b50565b6000813590506110eb816110c5565b92915050565b6110fa81611064565b811461110557600080fd5b50565b600081359050611117816110f1565b92915050565b600080600080600080600060e0888a03121561113c5761113b610ea1565b5b600061114a8a828b01610eef565b975050602061115b8a828b01610eef565b965050604061116c8a828b01610f25565b955050606061117d8a828b01610f25565b945050608061118e8a828b016110dc565b93505060a061119f8a828b01611108565b92505060c06111b08a828b01611108565b91505092959891949750929550565b600080604083850312156111d6576111d5610ea1565b5b60006111e485828601610eef565b92505060206111f585828601610eef565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000600282049050600182168061124657607f821691505b602082108103611259576112586111ff565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600061129982610f04565b91506112a483610f04565b92508282039050818111156112bc576112bb61125f565b5b92915050565b7f6e6565647320746f2062652063616c6c6564206279206f776e65720000000000600082015250565b60006112f8601b83610dfa565b9150611303826112c2565b602082019050919050565b60006020820190508181036000830152611327816112eb565b9050919050565b7f5045524d49545f444541444c494e455f45585049524544000000000000000000600082015250565b6000611364601783610dfa565b915061136f8261132e565b602082019050919050565b6000602082019050818103600083015261139381611357565b9050919050565b6113a381610ec6565b82525050565b600060c0820190506113be600083018961106e565b6113cb602083018861139a565b6113d8604083018761139a565b6113e56060830186610fb0565b6113f26080830185610fb0565b6113ff60a0830184610fb0565b979650505050505050565b600081905092915050565b7f1901000000000000000000000000000000000000000000000000000000000000600082015250565b600061144b60028361140a565b915061145682611415565b600282019050919050565b6000819050919050565b61147c61147782611064565b611461565b82525050565b600061148d8261143e565b9150611499828561146b565b6020820191506114a9828461146b565b6020820191508190509392505050565b60006080820190506114ce600083018761106e565b6114db602083018661103a565b6114e8604083018561106e565b6114f5606083018461106e565b95945050505050565b7f494e56414c49445f5349474e4552000000000000000000000000000000000000600082015250565b6000611534600e83610dfa565b915061153f826114fe565b602082019050919050565b6000602082019050818103600083015261156381611527565b9050919050565b600081905092915050565b60008190508160005260206000209050919050565b600081546115978161122e565b6115a1818661156a565b945060018216600081146115bc57600181146115d157611604565b60ff1983168652811515820286019350611604565b6115da85611575565b60005b838110156115fc578154818901526001820191506020810190506115dd565b838801955050505b50505092915050565b6000611619828461158a565b915081905092915050565b600060a082019050611639600083018861106e565b611646602083018761106e565b611653604083018661106e565b6116606060830185610fb0565b61166d608083018461139a565b9695505050505050565b600061168282610f04565b915061168d83610f04565b92508282019050808211156116a5576116a461125f565b5b9291505056fea26469706673582212208a76181f5758fc432e64a73eed9905f82664e365652bb2a53b54eb9b968cccda64736f6c63430008120033

95:299:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1031:18:1;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2461:211;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1304:26;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3057:592;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1083:31;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5327:177;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1337:44;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1751:41;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;227:165:0;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;1056:20:1;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2678:373;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3838:1483;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;1388:64;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1031:18;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2461:211::-;2535:4;2584:6;2551:9;:21;2561:10;2551:21;;;;;;;;;;;;;;;:30;2573:7;2551:30;;;;;;;;;;;;;;;:39;;;;2627:7;2606:37;;2615:10;2606:37;;;2636:6;2606:37;;;;;;:::i;:::-;;;;;;;;2661:4;2654:11;;2461:211;;;;:::o;1304:26::-;;;;:::o;3057:592::-;3175:4;3191:15;3209:9;:15;3219:4;3209:15;;;;;;;;;;;;;;;:27;3225:10;3209:27;;;;;;;;;;;;;;;;3191:45;;3298:17;3287:7;:28;3283:80;;3357:6;3347:7;:16;;;;:::i;:::-;3317:9;:15;3327:4;3317:15;;;;;;;;;;;;;;;:27;3333:10;3317:27;;;;;;;;;;;;;;;:46;;;;3283:80;3393:6;3374:9;:15;3384:4;3374:15;;;;;;;;;;;;;;;;:25;;;;;;;:::i;:::-;;;;;;;;3562:6;3545:9;:13;3555:2;3545:13;;;;;;;;;;;;;;;;:23;;;;;;;;;;;3609:2;3594:26;;3603:4;3594:26;;;3613:6;3594:26;;;;;;:::i;:::-;;;;;;;;3638:4;3631:11;;;3057:592;;;;;:::o;1083:31::-;;;:::o;5327:177::-;5384:7;5427:16;5410:13;:33;:87;;5473:24;:22;:24::i;:::-;5410:87;;;5446:24;5410:87;5403:94;;5327:177;:::o;1337:44::-;;;;;;;;;;;;;;;;;:::o;1751:41::-;;;;;;;;;;;;;;;;;:::o;227:165:0:-;178:42;301:19;;:10;:19;;;293:59;;;;;;;;;;;;:::i;:::-;;;;;;;;;362:23;368:8;378:6;362:5;:23::i;:::-;227:165;;:::o;1056:20:1:-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2678:373::-;2748:4;2789:6;2764:9;:21;2774:10;2764:21;;;;;;;;;;;;;;;;:31;;;;;;;:::i;:::-;;;;;;;;2958:6;2941:9;:13;2951:2;2941:13;;;;;;;;;;;;;;;;:23;;;;;;;;;;;3011:2;2990:32;;2999:10;2990:32;;;3015:6;2990:32;;;;;;:::i;:::-;;;;;;;;3040:4;3033:11;;2678:373;;;;:::o;3838:1483::-;4057:15;4045:8;:27;;4037:63;;;;;;;;;;;;:::i;:::-;;;;;;;;;4265:24;4292:805;4428:18;:16;:18::i;:::-;4555:165;4754:5;4793:7;4834:5;4873:6;:13;4880:5;4873:13;;;;;;;;;;;;;;;;:15;;;;;;;;;;;;4922:8;4511:449;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;4472:514;;;;;;4350:658;;;;;;;;;:::i;:::-;;;;;;;;;;;;;4319:707;;;;;;5044:1;5063;5082;4292:805;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4265:832;;5148:1;5120:30;;:16;:30;;;;:59;;;;;5174:5;5154:25;;:16;:25;;;5120:59;5112:86;;;;;;;;;;;;:::i;:::-;;;;;;;;;5252:5;5213:9;:27;5223:16;5213:27;;;;;;;;;;;;;;;:36;5241:7;5213:36;;;;;;;;;;;;;;;:44;;;;4241:1027;5299:7;5283:31;;5292:5;5283:31;;;5308:5;5283:31;;;;;;:::i;:::-;;;;;;;;3838:1483;;;;;;;:::o;1388:64::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;5510:446::-;5575:7;5672:95;5805:4;5789:22;;;;;;:::i;:::-;;;;;;;;5833:14;5869:13;5912:4;5640:295;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;5613:336;;;;;;5594:355;;5510:446;:::o;6150:325::-;6235:6;6220:11;;:21;;;;;;;:::i;:::-;;;;;;;;6404:6;6387:9;:13;6397:2;6387:13;;;;;;;;;;;;;;;;:23;;;;;;;;;;;6457:2;6436:32;;6453:1;6436:32;;;6461:6;6436:32;;;;;;:::i;:::-;;;;;;;;6150:325;;:::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:177::-;8884:29;8880:1;8872:6;8868:14;8861:53;8744:177;:::o;8927:366::-;9069:3;9090:67;9154:2;9149:3;9090:67;:::i;:::-;9083:74;;9166:93;9255:3;9166:93;:::i;:::-;9284:2;9279:3;9275:12;9268:19;;8927:366;;;:::o;9299:419::-;9465:4;9503:2;9492:9;9488:18;9480:26;;9552:9;9546:4;9542:20;9538:1;9527:9;9523:17;9516:47;9580:131;9706:4;9580:131;:::i;:::-;9572:139;;9299:419;;;:::o;9724:173::-;9864:25;9860:1;9852:6;9848:14;9841:49;9724:173;:::o;9903:366::-;10045:3;10066:67;10130:2;10125:3;10066:67;:::i;:::-;10059:74;;10142:93;10231:3;10142:93;:::i;:::-;10260:2;10255:3;10251:12;10244:19;;9903:366;;;:::o;10275:419::-;10441:4;10479:2;10468:9;10464:18;10456:26;;10528:9;10522:4;10518:20;10514:1;10503:9;10499:17;10492:47;10556:131;10682:4;10556:131;:::i;:::-;10548:139;;10275:419;;;:::o;10700:118::-;10787:24;10805:5;10787:24;:::i;:::-;10782:3;10775:37;10700:118;;:::o;10824:775::-;11057:4;11095:3;11084:9;11080:19;11072:27;;11109:71;11177:1;11166:9;11162:17;11153:6;11109:71;:::i;:::-;11190:72;11258:2;11247:9;11243:18;11234:6;11190:72;:::i;:::-;11272;11340:2;11329:9;11325:18;11316:6;11272:72;:::i;:::-;11354;11422:2;11411:9;11407:18;11398:6;11354:72;:::i;:::-;11436:73;11504:3;11493:9;11489:19;11480:6;11436:73;:::i;:::-;11519;11587:3;11576:9;11572:19;11563:6;11519:73;:::i;:::-;10824:775;;;;;;;;;:::o;11605:148::-;11707:11;11744:3;11729:18;;11605:148;;;;:::o;11759:214::-;11899:66;11895:1;11887:6;11883:14;11876:90;11759:214;:::o;11979:400::-;12139:3;12160:84;12242:1;12237:3;12160:84;:::i;:::-;12153:91;;12253:93;12342:3;12253:93;:::i;:::-;12371:1;12366:3;12362:11;12355:18;;11979:400;;;:::o;12385:79::-;12424:7;12453:5;12442:16;;12385:79;;;:::o;12470:157::-;12575:45;12595:24;12613:5;12595:24;:::i;:::-;12575:45;:::i;:::-;12570:3;12563:58;12470:157;;:::o;12633:663::-;12874:3;12896:148;13040:3;12896:148;:::i;:::-;12889:155;;13054:75;13125:3;13116:6;13054:75;:::i;:::-;13154:2;13149:3;13145:12;13138:19;;13167:75;13238:3;13229:6;13167:75;:::i;:::-;13267:2;13262:3;13258:12;13251:19;;13287:3;13280:10;;12633:663;;;;;:::o;13302:545::-;13475:4;13513:3;13502:9;13498:19;13490:27;;13527:71;13595:1;13584:9;13580:17;13571:6;13527:71;:::i;:::-;13608:68;13672:2;13661:9;13657:18;13648:6;13608:68;:::i;:::-;13686:72;13754:2;13743:9;13739:18;13730:6;13686:72;:::i;:::-;13768;13836:2;13825:9;13821:18;13812:6;13768:72;:::i;:::-;13302:545;;;;;;;:::o;13853:164::-;13993:16;13989:1;13981:6;13977:14;13970:40;13853:164;:::o;14023:366::-;14165:3;14186:67;14250:2;14245:3;14186:67;:::i;:::-;14179:74;;14262:93;14351:3;14262:93;:::i;:::-;14380:2;14375:3;14371:12;14364:19;;14023:366;;;:::o;14395:419::-;14561:4;14599:2;14588:9;14584:18;14576:26;;14648:9;14642:4;14638:20;14634:1;14623:9;14619:17;14612:47;14676:131;14802:4;14676:131;:::i;:::-;14668:139;;14395:419;;;:::o;14820:147::-;14921:11;14958:3;14943:18;;14820:147;;;;:::o;14973:144::-;15025:4;15048:3;15040:11;;15071:3;15068:1;15061:14;15105:4;15102:1;15092:18;15084:26;;14973:144;;;:::o;15145:878::-;15250:3;15287:5;15281:12;15316:36;15342:9;15316:36;:::i;:::-;15368:88;15449:6;15444:3;15368:88;:::i;:::-;15361:95;;15487:1;15476:9;15472:17;15503:1;15498:166;;;;15678:1;15673:344;;;;15465:552;;15498:166;15582:4;15578:9;15567;15563:25;15558:3;15551:38;15644:6;15637:14;15630:22;15622:6;15618:35;15613:3;15609:45;15602:52;;15498:166;;15673:344;15740:41;15775:5;15740:41;:::i;:::-;15803:1;15817:154;15831:6;15828:1;15825:13;15817:154;;;15905:7;15899:14;15895:1;15890:3;15886:11;15879:35;15955:1;15946:7;15942:15;15931:26;;15853:4;15850:1;15846:12;15841:17;;15817:154;;;16000:6;15995:3;15991:16;15984:23;;15680:337;;15465:552;;15254:769;;15145:878;;;;:::o;16029:273::-;16160:3;16182:94;16272:3;16263:6;16182:94;:::i;:::-;16175:101;;16293:3;16286:10;;16029:273;;;;:::o;16308:664::-;16513:4;16551:3;16540:9;16536:19;16528:27;;16565:71;16633:1;16622:9;16618:17;16609:6;16565:71;:::i;:::-;16646:72;16714:2;16703:9;16699:18;16690:6;16646:72;:::i;:::-;16728;16796:2;16785:9;16781:18;16772:6;16728:72;:::i;:::-;16810;16878:2;16867:9;16863:18;16854:6;16810:72;:::i;:::-;16892:73;16960:3;16949:9;16945:19;16936:6;16892:73;:::i;:::-;16308:664;;;;;;;;:::o;16978:191::-;17018:3;17037:20;17055:1;17037:20;:::i;:::-;17032:25;;17071:20;17089:1;17071:20;:::i;:::-;17066:25;;17114:1;17111;17107:9;17100:16;;17135:3;17132:1;17129:10;17126:36;;;17142:18;;:::i;:::-;17126:36;16978:191;;;;:::o

ipfs://8a76181f5758fc432e64a73eed9905f82664e365652bb2a53b54eb9b968cccda