Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

More Options

• Similar
• Submit Audit
• Compare

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

// SPDX-License-Identifier: MIT
// File: @openzeppelin/contracts/utils/introspection/IERC165.sol


// OpenZeppelin Contracts (last updated v5.1.0) (utils/introspection/IERC165.sol)

pragma solidity ^0.8.20;

/**
 * @dev Interface of the ERC-165 standard, as defined in the
 * https://eips.ethereum.org/EIPS/eip-165[ERC].
 *
 * Implementers can declare support of contract interfaces, which can then be
 * queried by others ({ERC165Checker}).
 *
 * For an implementation, see {ERC165}.
 */
interface IERC165 {
    /**
     * @dev Returns true if this contract implements the interface defined by
     * `interfaceId`. See the corresponding
     * https://eips.ethereum.org/EIPS/eip-165#how-interfaces-are-identified[ERC section]
     * to learn more about how these ids are created.
     *
     * This function call must use less than 30 000 gas.
     */
    function supportsInterface(bytes4 interfaceId) external view returns (bool);
}

// File: @openzeppelin/contracts/token/ERC721/IERC721.sol


// OpenZeppelin Contracts (last updated v5.1.0) (token/ERC721/IERC721.sol)

pragma solidity ^0.8.20;


/**
 * @dev Required interface of an ERC-721 compliant contract.
 */
interface IERC721 is IERC165 {
    /**
     * @dev Emitted when `tokenId` token is transferred from `from` to `to`.
     */
    event Transfer(address indexed from, address indexed to, uint256 indexed tokenId);

    /**
     * @dev Emitted when `owner` enables `approved` to manage the `tokenId` token.
     */
    event Approval(address indexed owner, address indexed approved, uint256 indexed tokenId);

    /**
     * @dev Emitted when `owner` enables or disables (`approved`) `operator` to manage all of its assets.
     */
    event ApprovalForAll(address indexed owner, address indexed operator, bool approved);

    /**
     * @dev Returns the number of tokens in ``owner``'s account.
     */
    function balanceOf(address owner) external view returns (uint256 balance);

    /**
     * @dev Returns the owner of the `tokenId` token.
     *
     * Requirements:
     *
     * - `tokenId` must exist.
     */
    function ownerOf(uint256 tokenId) external view returns (address owner);

    /**
     * @dev Safely transfers `tokenId` token from `from` to `to`.
     *
     * Requirements:
     *
     * - `from` cannot be the zero address.
     * - `to` cannot be the zero address.
     * - `tokenId` token must exist and be owned by `from`.
     * - If the caller is not `from`, it must be approved to move this token by either {approve} or {setApprovalForAll}.
     * - If `to` refers to a smart contract, it must implement {IERC721Receiver-onERC721Received}, which is called upon
     *   a safe transfer.
     *
     * Emits a {Transfer} event.
     */
    function safeTransferFrom(address from, address to, uint256 tokenId, bytes calldata data) external;

    /**
     * @dev Safely transfers `tokenId` token from `from` to `to`, checking first that contract recipients
     * are aware of the ERC-721 protocol to prevent tokens from being forever locked.
     *
     * Requirements:
     *
     * - `from` cannot be the zero address.
     * - `to` cannot be the zero address.
     * - `tokenId` token must exist and be owned by `from`.
     * - If the caller is not `from`, it must have been allowed to move this token by either {approve} or
     *   {setApprovalForAll}.
     * - If `to` refers to a smart contract, it must implement {IERC721Receiver-onERC721Received}, which is called upon
     *   a safe transfer.
     *
     * Emits a {Transfer} event.
     */
    function safeTransferFrom(address from, address to, uint256 tokenId) external;

    /**
     * @dev Transfers `tokenId` token from `from` to `to`.
     *
     * WARNING: Note that the caller is responsible to confirm that the recipient is capable of receiving ERC-721
     * or else they may be permanently lost. Usage of {safeTransferFrom} prevents loss, though the caller must
     * understand this adds an external call which potentially creates a reentrancy vulnerability.
     *
     * Requirements:
     *
     * - `from` cannot be the zero address.
     * - `to` cannot be the zero address.
     * - `tokenId` token must be owned by `from`.
     * - If the caller is not `from`, it must be approved to move this token by either {approve} or {setApprovalForAll}.
     *
     * Emits a {Transfer} event.
     */
    function transferFrom(address from, address to, uint256 tokenId) external;

    /**
     * @dev Gives permission to `to` to transfer `tokenId` token to another account.
     * The approval is cleared when the token is transferred.
     *
     * Only a single account can be approved at a time, so approving the zero address clears previous approvals.
     *
     * Requirements:
     *
     * - The caller must own the token or be an approved operator.
     * - `tokenId` must exist.
     *
     * Emits an {Approval} event.
     */
    function approve(address to, uint256 tokenId) external;

    /**
     * @dev Approve or remove `operator` as an operator for the caller.
     * Operators can call {transferFrom} or {safeTransferFrom} for any token owned by the caller.
     *
     * Requirements:
     *
     * - The `operator` cannot be the address zero.
     *
     * Emits an {ApprovalForAll} event.
     */
    function setApprovalForAll(address operator, bool approved) external;

    /**
     * @dev Returns the account approved for `tokenId` token.
     *
     * Requirements:
     *
     * - `tokenId` must exist.
     */
    function getApproved(uint256 tokenId) external view returns (address operator);

    /**
     * @dev Returns if the `operator` is allowed to manage all of the assets of `owner`.
     *
     * See {setApprovalForAll}
     */
    function isApprovedForAll(address owner, address operator) external view returns (bool);
}

// File: @openzeppelin/contracts/token/ERC721/extensions/IERC721Metadata.sol


// OpenZeppelin Contracts (last updated v5.0.0) (token/ERC721/extensions/IERC721Metadata.sol)

pragma solidity ^0.8.20;


/**
 * @title ERC-721 Non-Fungible Token Standard, optional metadata extension
 * @dev See https://eips.ethereum.org/EIPS/eip-721
 */
interface IERC721Metadata is IERC721 {
    /**
     * @dev Returns the token collection name.
     */
    function name() external view returns (string memory);

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

    /**
     * @dev Returns the Uniform Resource Identifier (URI) for `tokenId` token.
     */
    function tokenURI(uint256 tokenId) external view returns (string memory);
}

// File: @openzeppelin/contracts/token/ERC721/IERC721Receiver.sol


// OpenZeppelin Contracts (last updated v5.1.0) (token/ERC721/IERC721Receiver.sol)

pragma solidity ^0.8.20;

/**
 * @title ERC-721 token receiver interface
 * @dev Interface for any contract that wants to support safeTransfers
 * from ERC-721 asset contracts.
 */
interface IERC721Receiver {
    /**
     * @dev Whenever an {IERC721} `tokenId` token is transferred to this contract via {IERC721-safeTransferFrom}
     * by `operator` from `from`, this function is called.
     *
     * It must return its Solidity selector to confirm the token transfer.
     * If any other value is returned or the interface is not implemented by the recipient, the transfer will be
     * reverted.
     *
     * The selector can be obtained in Solidity with `IERC721Receiver.onERC721Received.selector`.
     */
    function onERC721Received(
        address operator,
        address from,
        uint256 tokenId,
        bytes calldata data
    ) external returns (bytes4);
}

// File: @openzeppelin/contracts/interfaces/draft-IERC6093.sol


// OpenZeppelin Contracts (last updated v5.1.0) (interfaces/draft-IERC6093.sol)
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);
}

// File: @openzeppelin/contracts/token/ERC721/utils/ERC721Utils.sol


// OpenZeppelin Contracts (last updated v5.3.0) (token/ERC721/utils/ERC721Utils.sol)

pragma solidity ^0.8.20;



/**
 * @dev Library that provide common ERC-721 utility functions.
 *
 * See https://eips.ethereum.org/EIPS/eip-721[ERC-721].
 *
 * _Available since v5.1._
 */
library ERC721Utils {
    /**
     * @dev Performs an acceptance check for the provided `operator` by calling {IERC721Receiver-onERC721Received}
     * on the `to` address. The `operator` is generally the address that initiated the token transfer (i.e. `msg.sender`).
     *
     * The acceptance call is not executed and treated as a no-op if the target address doesn't contain code (i.e. an EOA).
     * Otherwise, the recipient must implement {IERC721Receiver-onERC721Received} and return the acceptance magic value to accept
     * the transfer.
     */
    function checkOnERC721Received(
        address operator,
        address from,
        address to,
        uint256 tokenId,
        bytes memory data
    ) internal {
        if (to.code.length > 0) {
            try IERC721Receiver(to).onERC721Received(operator, from, tokenId, data) returns (bytes4 retval) {
                if (retval != IERC721Receiver.onERC721Received.selector) {
                    // Token rejected
                    revert IERC721Errors.ERC721InvalidReceiver(to);
                }
            } catch (bytes memory reason) {
                if (reason.length == 0) {
                    // non-IERC721Receiver implementer
                    revert IERC721Errors.ERC721InvalidReceiver(to);
                } else {
                    assembly ("memory-safe") {
                        revert(add(32, reason), mload(reason))
                    }
                }
            }
        }
    }
}

// File: @openzeppelin/contracts/utils/Context.sol


// OpenZeppelin Contracts (last updated v5.0.1) (utils/Context.sol)

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

// File: @openzeppelin/contracts/utils/Panic.sol


// OpenZeppelin Contracts (last updated v5.1.0) (utils/Panic.sol)

pragma solidity ^0.8.20;

/**
 * @dev Helper library for emitting standardized panic codes.
 *
 * ```solidity
 * contract Example {
 *      using Panic for uint256;
 *
 *      // Use any of the declared internal constants
 *      function foo() { Panic.GENERIC.panic(); }
 *
 *      // Alternatively
 *      function foo() { Panic.panic(Panic.GENERIC); }
 * }
 * ```
 *
 * Follows the list from https://github.com/ethereum/solidity/blob/v0.8.24/libsolutil/ErrorCodes.h[libsolutil].
 *
 * _Available since v5.1._
 */
// slither-disable-next-line unused-state
library Panic {
    /// @dev generic / unspecified error
    uint256 internal constant GENERIC = 0x00;
    /// @dev used by the assert() builtin
    uint256 internal constant ASSERT = 0x01;
    /// @dev arithmetic underflow or overflow
    uint256 internal constant UNDER_OVERFLOW = 0x11;
    /// @dev division or modulo by zero
    uint256 internal constant DIVISION_BY_ZERO = 0x12;
    /// @dev enum conversion error
    uint256 internal constant ENUM_CONVERSION_ERROR = 0x21;
    /// @dev invalid encoding in storage
    uint256 internal constant STORAGE_ENCODING_ERROR = 0x22;
    /// @dev empty array pop
    uint256 internal constant EMPTY_ARRAY_POP = 0x31;
    /// @dev array out of bounds access
    uint256 internal constant ARRAY_OUT_OF_BOUNDS = 0x32;
    /// @dev resource error (too large allocation or too large array)
    uint256 internal constant RESOURCE_ERROR = 0x41;
    /// @dev calling invalid internal function
    uint256 internal constant INVALID_INTERNAL_FUNCTION = 0x51;

    /// @dev Reverts with a panic code. Recommended to use with
    /// the internal constants with predefined codes.
    function panic(uint256 code) internal pure {
        assembly ("memory-safe") {
            mstore(0x00, 0x4e487b71)
            mstore(0x20, code)
            revert(0x1c, 0x24)
        }
    }
}

// File: @openzeppelin/contracts/utils/math/SafeCast.sol


// OpenZeppelin Contracts (last updated v5.1.0) (utils/math/SafeCast.sol)
// This file was procedurally generated from scripts/generate/templates/SafeCast.js.

pragma solidity ^0.8.20;

/**
 * @dev Wrappers over Solidity's uintXX/intXX/bool casting operators with added overflow
 * checks.
 *
 * Downcasting from uint256/int256 in Solidity does not revert on overflow. This can
 * easily result in undesired exploitation or bugs, since developers usually
 * assume that overflows raise errors. `SafeCast` restores this intuition by
 * reverting the transaction when such an operation overflows.
 *
 * Using this library instead of the unchecked operations eliminates an entire
 * class of bugs, so it's recommended to use it always.
 */
library SafeCast {
    /**
     * @dev Value doesn't fit in an uint of `bits` size.
     */
    error SafeCastOverflowedUintDowncast(uint8 bits, uint256 value);

    /**
     * @dev An int value doesn't fit in an uint of `bits` size.
     */
    error SafeCastOverflowedIntToUint(int256 value);

    /**
     * @dev Value doesn't fit in an int of `bits` size.
     */
    error SafeCastOverflowedIntDowncast(uint8 bits, int256 value);

    /**
     * @dev An uint value doesn't fit in an int of `bits` size.
     */
    error SafeCastOverflowedUintToInt(uint256 value);

    /**
     * @dev Returns the downcasted uint248 from uint256, reverting on
     * overflow (when the input is greater than largest uint248).
     *
     * Counterpart to Solidity's `uint248` operator.
     *
     * Requirements:
     *
     * - input must fit into 248 bits
     */
    function toUint248(uint256 value) internal pure returns (uint248) {
        if (value > type(uint248).max) {
            revert SafeCastOverflowedUintDowncast(248, value);
        }
        return uint248(value);
    }

    /**
     * @dev Returns the downcasted uint240 from uint256, reverting on
     * overflow (when the input is greater than largest uint240).
     *
     * Counterpart to Solidity's `uint240` operator.
     *
     * Requirements:
     *
     * - input must fit into 240 bits
     */
    function toUint240(uint256 value) internal pure returns (uint240) {
        if (value > type(uint240).max) {
            revert SafeCastOverflowedUintDowncast(240, value);
        }
        return uint240(value);
    }

    /**
     * @dev Returns the downcasted uint232 from uint256, reverting on
     * overflow (when the input is greater than largest uint232).
     *
     * Counterpart to Solidity's `uint232` operator.
     *
     * Requirements:
     *
     * - input must fit into 232 bits
     */
    function toUint232(uint256 value) internal pure returns (uint232) {
        if (value > type(uint232).max) {
            revert SafeCastOverflowedUintDowncast(232, value);
        }
        return uint232(value);
    }

    /**
     * @dev Returns the downcasted uint224 from uint256, reverting on
     * overflow (when the input is greater than largest uint224).
     *
     * Counterpart to Solidity's `uint224` operator.
     *
     * Requirements:
     *
     * - input must fit into 224 bits
     */
    function toUint224(uint256 value) internal pure returns (uint224) {
        if (value > type(uint224).max) {
            revert SafeCastOverflowedUintDowncast(224, value);
        }
        return uint224(value);
    }

    /**
     * @dev Returns the downcasted uint216 from uint256, reverting on
     * overflow (when the input is greater than largest uint216).
     *
     * Counterpart to Solidity's `uint216` operator.
     *
     * Requirements:
     *
     * - input must fit into 216 bits
     */
    function toUint216(uint256 value) internal pure returns (uint216) {
        if (value > type(uint216).max) {
            revert SafeCastOverflowedUintDowncast(216, value);
        }
        return uint216(value);
    }

    /**
     * @dev Returns the downcasted uint208 from uint256, reverting on
     * overflow (when the input is greater than largest uint208).
     *
     * Counterpart to Solidity's `uint208` operator.
     *
     * Requirements:
     *
     * - input must fit into 208 bits
     */
    function toUint208(uint256 value) internal pure returns (uint208) {
        if (value > type(uint208).max) {
            revert SafeCastOverflowedUintDowncast(208, value);
        }
        return uint208(value);
    }

    /**
     * @dev Returns the downcasted uint200 from uint256, reverting on
     * overflow (when the input is greater than largest uint200).
     *
     * Counterpart to Solidity's `uint200` operator.
     *
     * Requirements:
     *
     * - input must fit into 200 bits
     */
    function toUint200(uint256 value) internal pure returns (uint200) {
        if (value > type(uint200).max) {
            revert SafeCastOverflowedUintDowncast(200, value);
        }
        return uint200(value);
    }

    /**
     * @dev Returns the downcasted uint192 from uint256, reverting on
     * overflow (when the input is greater than largest uint192).
     *
     * Counterpart to Solidity's `uint192` operator.
     *
     * Requirements:
     *
     * - input must fit into 192 bits
     */
    function toUint192(uint256 value) internal pure returns (uint192) {
        if (value > type(uint192).max) {
            revert SafeCastOverflowedUintDowncast(192, value);
        }
        return uint192(value);
    }

    /**
     * @dev Returns the downcasted uint184 from uint256, reverting on
     * overflow (when the input is greater than largest uint184).
     *
     * Counterpart to Solidity's `uint184` operator.
     *
     * Requirements:
     *
     * - input must fit into 184 bits
     */
    function toUint184(uint256 value) internal pure returns (uint184) {
        if (value > type(uint184).max) {
            revert SafeCastOverflowedUintDowncast(184, value);
        }
        return uint184(value);
    }

    /**
     * @dev Returns the downcasted uint176 from uint256, reverting on
     * overflow (when the input is greater than largest uint176).
     *
     * Counterpart to Solidity's `uint176` operator.
     *
     * Requirements:
     *
     * - input must fit into 176 bits
     */
    function toUint176(uint256 value) internal pure returns (uint176) {
        if (value > type(uint176).max) {
            revert SafeCastOverflowedUintDowncast(176, value);
        }
        return uint176(value);
    }

    /**
     * @dev Returns the downcasted uint168 from uint256, reverting on
     * overflow (when the input is greater than largest uint168).
     *
     * Counterpart to Solidity's `uint168` operator.
     *
     * Requirements:
     *
     * - input must fit into 168 bits
     */
    function toUint168(uint256 value) internal pure returns (uint168) {
        if (value > type(uint168).max) {
            revert SafeCastOverflowedUintDowncast(168, value);
        }
        return uint168(value);
    }

    /**
     * @dev Returns the downcasted uint160 from uint256, reverting on
     * overflow (when the input is greater than largest uint160).
     *
     * Counterpart to Solidity's `uint160` operator.
     *
     * Requirements:
     *
     * - input must fit into 160 bits
     */
    function toUint160(uint256 value) internal pure returns (uint160) {
        if (value > type(uint160).max) {
            revert SafeCastOverflowedUintDowncast(160, value);
        }
        return uint160(value);
    }

    /**
     * @dev Returns the downcasted uint152 from uint256, reverting on
     * overflow (when the input is greater than largest uint152).
     *
     * Counterpart to Solidity's `uint152` operator.
     *
     * Requirements:
     *
     * - input must fit into 152 bits
     */
    function toUint152(uint256 value) internal pure returns (uint152) {
        if (value > type(uint152).max) {
            revert SafeCastOverflowedUintDowncast(152, value);
        }
        return uint152(value);
    }

    /**
     * @dev Returns the downcasted uint144 from uint256, reverting on
     * overflow (when the input is greater than largest uint144).
     *
     * Counterpart to Solidity's `uint144` operator.
     *
     * Requirements:
     *
     * - input must fit into 144 bits
     */
    function toUint144(uint256 value) internal pure returns (uint144) {
        if (value > type(uint144).max) {
            revert SafeCastOverflowedUintDowncast(144, value);
        }
        return uint144(value);
    }

    /**
     * @dev Returns the downcasted uint136 from uint256, reverting on
     * overflow (when the input is greater than largest uint136).
     *
     * Counterpart to Solidity's `uint136` operator.
     *
     * Requirements:
     *
     * - input must fit into 136 bits
     */
    function toUint136(uint256 value) internal pure returns (uint136) {
        if (value > type(uint136).max) {
            revert SafeCastOverflowedUintDowncast(136, value);
        }
        return uint136(value);
    }

    /**
     * @dev Returns the downcasted uint128 from uint256, reverting on
     * overflow (when the input is greater than largest uint128).
     *
     * Counterpart to Solidity's `uint128` operator.
     *
     * Requirements:
     *
     * - input must fit into 128 bits
     */
    function toUint128(uint256 value) internal pure returns (uint128) {
        if (value > type(uint128).max) {
            revert SafeCastOverflowedUintDowncast(128, value);
        }
        return uint128(value);
    }

    /**
     * @dev Returns the downcasted uint120 from uint256, reverting on
     * overflow (when the input is greater than largest uint120).
     *
     * Counterpart to Solidity's `uint120` operator.
     *
     * Requirements:
     *
     * - input must fit into 120 bits
     */
    function toUint120(uint256 value) internal pure returns (uint120) {
        if (value > type(uint120).max) {
            revert SafeCastOverflowedUintDowncast(120, value);
        }
        return uint120(value);
    }

    /**
     * @dev Returns the downcasted uint112 from uint256, reverting on
     * overflow (when the input is greater than largest uint112).
     *
     * Counterpart to Solidity's `uint112` operator.
     *
     * Requirements:
     *
     * - input must fit into 112 bits
     */
    function toUint112(uint256 value) internal pure returns (uint112) {
        if (value > type(uint112).max) {
            revert SafeCastOverflowedUintDowncast(112, value);
        }
        return uint112(value);
    }

    /**
     * @dev Returns the downcasted uint104 from uint256, reverting on
     * overflow (when the input is greater than largest uint104).
     *
     * Counterpart to Solidity's `uint104` operator.
     *
     * Requirements:
     *
     * - input must fit into 104 bits
     */
    function toUint104(uint256 value) internal pure returns (uint104) {
        if (value > type(uint104).max) {
            revert SafeCastOverflowedUintDowncast(104, value);
        }
        return uint104(value);
    }

    /**
     * @dev Returns the downcasted uint96 from uint256, reverting on
     * overflow (when the input is greater than largest uint96).
     *
     * Counterpart to Solidity's `uint96` operator.
     *
     * Requirements:
     *
     * - input must fit into 96 bits
     */
    function toUint96(uint256 value) internal pure returns (uint96) {
        if (value > type(uint96).max) {
            revert SafeCastOverflowedUintDowncast(96, value);
        }
        return uint96(value);
    }

    /**
     * @dev Returns the downcasted uint88 from uint256, reverting on
     * overflow (when the input is greater than largest uint88).
     *
     * Counterpart to Solidity's `uint88` operator.
     *
     * Requirements:
     *
     * - input must fit into 88 bits
     */
    function toUint88(uint256 value) internal pure returns (uint88) {
        if (value > type(uint88).max) {
            revert SafeCastOverflowedUintDowncast(88, value);
        }
        return uint88(value);
    }

    /**
     * @dev Returns the downcasted uint80 from uint256, reverting on
     * overflow (when the input is greater than largest uint80).
     *
     * Counterpart to Solidity's `uint80` operator.
     *
     * Requirements:
     *
     * - input must fit into 80 bits
     */
    function toUint80(uint256 value) internal pure returns (uint80) {
        if (value > type(uint80).max) {
            revert SafeCastOverflowedUintDowncast(80, value);
        }
        return uint80(value);
    }

    /**
     * @dev Returns the downcasted uint72 from uint256, reverting on
     * overflow (when the input is greater than largest uint72).
     *
     * Counterpart to Solidity's `uint72` operator.
     *
     * Requirements:
     *
     * - input must fit into 72 bits
     */
    function toUint72(uint256 value) internal pure returns (uint72) {
        if (value > type(uint72).max) {
            revert SafeCastOverflowedUintDowncast(72, value);
        }
        return uint72(value);
    }

    /**
     * @dev Returns the downcasted uint64 from uint256, reverting on
     * overflow (when the input is greater than largest uint64).
     *
     * Counterpart to Solidity's `uint64` operator.
     *
     * Requirements:
     *
     * - input must fit into 64 bits
     */
    function toUint64(uint256 value) internal pure returns (uint64) {
        if (value > type(uint64).max) {
            revert SafeCastOverflowedUintDowncast(64, value);
        }
        return uint64(value);
    }

    /**
     * @dev Returns the downcasted uint56 from uint256, reverting on
     * overflow (when the input is greater than largest uint56).
     *
     * Counterpart to Solidity's `uint56` operator.
     *
     * Requirements:
     *
     * - input must fit into 56 bits
     */
    function toUint56(uint256 value) internal pure returns (uint56) {
        if (value > type(uint56).max) {
            revert SafeCastOverflowedUintDowncast(56, value);
        }
        return uint56(value);
    }

    /**
     * @dev Returns the downcasted uint48 from uint256, reverting on
     * overflow (when the input is greater than largest uint48).
     *
     * Counterpart to Solidity's `uint48` operator.
     *
     * Requirements:
     *
     * - input must fit into 48 bits
     */
    function toUint48(uint256 value) internal pure returns (uint48) {
        if (value > type(uint48).max) {
            revert SafeCastOverflowedUintDowncast(48, value);
        }
        return uint48(value);
    }

    /**
     * @dev Returns the downcasted uint40 from uint256, reverting on
     * overflow (when the input is greater than largest uint40).
     *
     * Counterpart to Solidity's `uint40` operator.
     *
     * Requirements:
     *
     * - input must fit into 40 bits
     */
    function toUint40(uint256 value) internal pure returns (uint40) {
        if (value > type(uint40).max) {
            revert SafeCastOverflowedUintDowncast(40, value);
        }
        return uint40(value);
    }

    /**
     * @dev Returns the downcasted uint32 from uint256, reverting on
     * overflow (when the input is greater than largest uint32).
     *
     * Counterpart to Solidity's `uint32` operator.
     *
     * Requirements:
     *
     * - input must fit into 32 bits
     */
    function toUint32(uint256 value) internal pure returns (uint32) {
        if (value > type(uint32).max) {
            revert SafeCastOverflowedUintDowncast(32, value);
        }
        return uint32(value);
    }

    /**
     * @dev Returns the downcasted uint24 from uint256, reverting on
     * overflow (when the input is greater than largest uint24).
     *
     * Counterpart to Solidity's `uint24` operator.
     *
     * Requirements:
     *
     * - input must fit into 24 bits
     */
    function toUint24(uint256 value) internal pure returns (uint24) {
        if (value > type(uint24).max) {
            revert SafeCastOverflowedUintDowncast(24, value);
        }
        return uint24(value);
    }

    /**
     * @dev Returns the downcasted uint16 from uint256, reverting on
     * overflow (when the input is greater than largest uint16).
     *
     * Counterpart to Solidity's `uint16` operator.
     *
     * Requirements:
     *
     * - input must fit into 16 bits
     */
    function toUint16(uint256 value) internal pure returns (uint16) {
        if (value > type(uint16).max) {
            revert SafeCastOverflowedUintDowncast(16, value);
        }
        return uint16(value);
    }

    /**
     * @dev Returns the downcasted uint8 from uint256, reverting on
     * overflow (when the input is greater than largest uint8).
     *
     * Counterpart to Solidity's `uint8` operator.
     *
     * Requirements:
     *
     * - input must fit into 8 bits
     */
    function toUint8(uint256 value) internal pure returns (uint8) {
        if (value > type(uint8).max) {
            revert SafeCastOverflowedUintDowncast(8, value);
        }
        return uint8(value);
    }

    /**
     * @dev Converts a signed int256 into an unsigned uint256.
     *
     * Requirements:
     *
     * - input must be greater than or equal to 0.
     */
    function toUint256(int256 value) internal pure returns (uint256) {
        if (value < 0) {
            revert SafeCastOverflowedIntToUint(value);
        }
        return uint256(value);
    }

    /**
     * @dev Returns the downcasted int248 from int256, reverting on
     * overflow (when the input is less than smallest int248 or
     * greater than largest int248).
     *
     * Counterpart to Solidity's `int248` operator.
     *
     * Requirements:
     *
     * - input must fit into 248 bits
     */
    function toInt248(int256 value) internal pure returns (int248 downcasted) {
        downcasted = int248(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(248, value);
        }
    }

    /**
     * @dev Returns the downcasted int240 from int256, reverting on
     * overflow (when the input is less than smallest int240 or
     * greater than largest int240).
     *
     * Counterpart to Solidity's `int240` operator.
     *
     * Requirements:
     *
     * - input must fit into 240 bits
     */
    function toInt240(int256 value) internal pure returns (int240 downcasted) {
        downcasted = int240(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(240, value);
        }
    }

    /**
     * @dev Returns the downcasted int232 from int256, reverting on
     * overflow (when the input is less than smallest int232 or
     * greater than largest int232).
     *
     * Counterpart to Solidity's `int232` operator.
     *
     * Requirements:
     *
     * - input must fit into 232 bits
     */
    function toInt232(int256 value) internal pure returns (int232 downcasted) {
        downcasted = int232(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(232, value);
        }
    }

    /**
     * @dev Returns the downcasted int224 from int256, reverting on
     * overflow (when the input is less than smallest int224 or
     * greater than largest int224).
     *
     * Counterpart to Solidity's `int224` operator.
     *
     * Requirements:
     *
     * - input must fit into 224 bits
     */
    function toInt224(int256 value) internal pure returns (int224 downcasted) {
        downcasted = int224(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(224, value);
        }
    }

    /**
     * @dev Returns the downcasted int216 from int256, reverting on
     * overflow (when the input is less than smallest int216 or
     * greater than largest int216).
     *
     * Counterpart to Solidity's `int216` operator.
     *
     * Requirements:
     *
     * - input must fit into 216 bits
     */
    function toInt216(int256 value) internal pure returns (int216 downcasted) {
        downcasted = int216(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(216, value);
        }
    }

    /**
     * @dev Returns the downcasted int208 from int256, reverting on
     * overflow (when the input is less than smallest int208 or
     * greater than largest int208).
     *
     * Counterpart to Solidity's `int208` operator.
     *
     * Requirements:
     *
     * - input must fit into 208 bits
     */
    function toInt208(int256 value) internal pure returns (int208 downcasted) {
        downcasted = int208(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(208, value);
        }
    }

    /**
     * @dev Returns the downcasted int200 from int256, reverting on
     * overflow (when the input is less than smallest int200 or
     * greater than largest int200).
     *
     * Counterpart to Solidity's `int200` operator.
     *
     * Requirements:
     *
     * - input must fit into 200 bits
     */
    function toInt200(int256 value) internal pure returns (int200 downcasted) {
        downcasted = int200(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(200, value);
        }
    }

    /**
     * @dev Returns the downcasted int192 from int256, reverting on
     * overflow (when the input is less than smallest int192 or
     * greater than largest int192).
     *
     * Counterpart to Solidity's `int192` operator.
     *
     * Requirements:
     *
     * - input must fit into 192 bits
     */
    function toInt192(int256 value) internal pure returns (int192 downcasted) {
        downcasted = int192(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(192, value);
        }
    }

    /**
     * @dev Returns the downcasted int184 from int256, reverting on
     * overflow (when the input is less than smallest int184 or
     * greater than largest int184).
     *
     * Counterpart to Solidity's `int184` operator.
     *
     * Requirements:
     *
     * - input must fit into 184 bits
     */
    function toInt184(int256 value) internal pure returns (int184 downcasted) {
        downcasted = int184(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(184, value);
        }
    }

    /**
     * @dev Returns the downcasted int176 from int256, reverting on
     * overflow (when the input is less than smallest int176 or
     * greater than largest int176).
     *
     * Counterpart to Solidity's `int176` operator.
     *
     * Requirements:
     *
     * - input must fit into 176 bits
     */
    function toInt176(int256 value) internal pure returns (int176 downcasted) {
        downcasted = int176(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(176, value);
        }
    }

    /**
     * @dev Returns the downcasted int168 from int256, reverting on
     * overflow (when the input is less than smallest int168 or
     * greater than largest int168).
     *
     * Counterpart to Solidity's `int168` operator.
     *
     * Requirements:
     *
     * - input must fit into 168 bits
     */
    function toInt168(int256 value) internal pure returns (int168 downcasted) {
        downcasted = int168(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(168, value);
        }
    }

    /**
     * @dev Returns the downcasted int160 from int256, reverting on
     * overflow (when the input is less than smallest int160 or
     * greater than largest int160).
     *
     * Counterpart to Solidity's `int160` operator.
     *
     * Requirements:
     *
     * - input must fit into 160 bits
     */
    function toInt160(int256 value) internal pure returns (int160 downcasted) {
        downcasted = int160(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(160, value);
        }
    }

    /**
     * @dev Returns the downcasted int152 from int256, reverting on
     * overflow (when the input is less than smallest int152 or
     * greater than largest int152).
     *
     * Counterpart to Solidity's `int152` operator.
     *
     * Requirements:
     *
     * - input must fit into 152 bits
     */
    function toInt152(int256 value) internal pure returns (int152 downcasted) {
        downcasted = int152(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(152, value);
        }
    }

    /**
     * @dev Returns the downcasted int144 from int256, reverting on
     * overflow (when the input is less than smallest int144 or
     * greater than largest int144).
     *
     * Counterpart to Solidity's `int144` operator.
     *
     * Requirements:
     *
     * - input must fit into 144 bits
     */
    function toInt144(int256 value) internal pure returns (int144 downcasted) {
        downcasted = int144(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(144, value);
        }
    }

    /**
     * @dev Returns the downcasted int136 from int256, reverting on
     * overflow (when the input is less than smallest int136 or
     * greater than largest int136).
     *
     * Counterpart to Solidity's `int136` operator.
     *
     * Requirements:
     *
     * - input must fit into 136 bits
     */
    function toInt136(int256 value) internal pure returns (int136 downcasted) {
        downcasted = int136(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(136, value);
        }
    }

    /**
     * @dev Returns the downcasted int128 from int256, reverting on
     * overflow (when the input is less than smallest int128 or
     * greater than largest int128).
     *
     * Counterpart to Solidity's `int128` operator.
     *
     * Requirements:
     *
     * - input must fit into 128 bits
     */
    function toInt128(int256 value) internal pure returns (int128 downcasted) {
        downcasted = int128(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(128, value);
        }
    }

    /**
     * @dev Returns the downcasted int120 from int256, reverting on
     * overflow (when the input is less than smallest int120 or
     * greater than largest int120).
     *
     * Counterpart to Solidity's `int120` operator.
     *
     * Requirements:
     *
     * - input must fit into 120 bits
     */
    function toInt120(int256 value) internal pure returns (int120 downcasted) {
        downcasted = int120(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(120, value);
        }
    }

    /**
     * @dev Returns the downcasted int112 from int256, reverting on
     * overflow (when the input is less than smallest int112 or
     * greater than largest int112).
     *
     * Counterpart to Solidity's `int112` operator.
     *
     * Requirements:
     *
     * - input must fit into 112 bits
     */
    function toInt112(int256 value) internal pure returns (int112 downcasted) {
        downcasted = int112(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(112, value);
        }
    }

    /**
     * @dev Returns the downcasted int104 from int256, reverting on
     * overflow (when the input is less than smallest int104 or
     * greater than largest int104).
     *
     * Counterpart to Solidity's `int104` operator.
     *
     * Requirements:
     *
     * - input must fit into 104 bits
     */
    function toInt104(int256 value) internal pure returns (int104 downcasted) {
        downcasted = int104(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(104, value);
        }
    }

    /**
     * @dev Returns the downcasted int96 from int256, reverting on
     * overflow (when the input is less than smallest int96 or
     * greater than largest int96).
     *
     * Counterpart to Solidity's `int96` operator.
     *
     * Requirements:
     *
     * - input must fit into 96 bits
     */
    function toInt96(int256 value) internal pure returns (int96 downcasted) {
        downcasted = int96(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(96, value);
        }
    }

    /**
     * @dev Returns the downcasted int88 from int256, reverting on
     * overflow (when the input is less than smallest int88 or
     * greater than largest int88).
     *
     * Counterpart to Solidity's `int88` operator.
     *
     * Requirements:
     *
     * - input must fit into 88 bits
     */
    function toInt88(int256 value) internal pure returns (int88 downcasted) {
        downcasted = int88(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(88, value);
        }
    }

    /**
     * @dev Returns the downcasted int80 from int256, reverting on
     * overflow (when the input is less than smallest int80 or
     * greater than largest int80).
     *
     * Counterpart to Solidity's `int80` operator.
     *
     * Requirements:
     *
     * - input must fit into 80 bits
     */
    function toInt80(int256 value) internal pure returns (int80 downcasted) {
        downcasted = int80(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(80, value);
        }
    }

    /**
     * @dev Returns the downcasted int72 from int256, reverting on
     * overflow (when the input is less than smallest int72 or
     * greater than largest int72).
     *
     * Counterpart to Solidity's `int72` operator.
     *
     * Requirements:
     *
     * - input must fit into 72 bits
     */
    function toInt72(int256 value) internal pure returns (int72 downcasted) {
        downcasted = int72(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(72, value);
        }
    }

    /**
     * @dev Returns the downcasted int64 from int256, reverting on
     * overflow (when the input is less than smallest int64 or
     * greater than largest int64).
     *
     * Counterpart to Solidity's `int64` operator.
     *
     * Requirements:
     *
     * - input must fit into 64 bits
     */
    function toInt64(int256 value) internal pure returns (int64 downcasted) {
        downcasted = int64(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(64, value);
        }
    }

    /**
     * @dev Returns the downcasted int56 from int256, reverting on
     * overflow (when the input is less than smallest int56 or
     * greater than largest int56).
     *
     * Counterpart to Solidity's `int56` operator.
     *
     * Requirements:
     *
     * - input must fit into 56 bits
     */
    function toInt56(int256 value) internal pure returns (int56 downcasted) {
        downcasted = int56(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(56, value);
        }
    }

    /**
     * @dev Returns the downcasted int48 from int256, reverting on
     * overflow (when the input is less than smallest int48 or
     * greater than largest int48).
     *
     * Counterpart to Solidity's `int48` operator.
     *
     * Requirements:
     *
     * - input must fit into 48 bits
     */
    function toInt48(int256 value) internal pure returns (int48 downcasted) {
        downcasted = int48(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(48, value);
        }
    }

    /**
     * @dev Returns the downcasted int40 from int256, reverting on
     * overflow (when the input is less than smallest int40 or
     * greater than largest int40).
     *
     * Counterpart to Solidity's `int40` operator.
     *
     * Requirements:
     *
     * - input must fit into 40 bits
     */
    function toInt40(int256 value) internal pure returns (int40 downcasted) {
        downcasted = int40(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(40, value);
        }
    }

    /**
     * @dev Returns the downcasted int32 from int256, reverting on
     * overflow (when the input is less than smallest int32 or
     * greater than largest int32).
     *
     * Counterpart to Solidity's `int32` operator.
     *
     * Requirements:
     *
     * - input must fit into 32 bits
     */
    function toInt32(int256 value) internal pure returns (int32 downcasted) {
        downcasted = int32(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(32, value);
        }
    }

    /**
     * @dev Returns the downcasted int24 from int256, reverting on
     * overflow (when the input is less than smallest int24 or
     * greater than largest int24).
     *
     * Counterpart to Solidity's `int24` operator.
     *
     * Requirements:
     *
     * - input must fit into 24 bits
     */
    function toInt24(int256 value) internal pure returns (int24 downcasted) {
        downcasted = int24(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(24, value);
        }
    }

    /**
     * @dev Returns the downcasted int16 from int256, reverting on
     * overflow (when the input is less than smallest int16 or
     * greater than largest int16).
     *
     * Counterpart to Solidity's `int16` operator.
     *
     * Requirements:
     *
     * - input must fit into 16 bits
     */
    function toInt16(int256 value) internal pure returns (int16 downcasted) {
        downcasted = int16(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(16, value);
        }
    }

    /**
     * @dev Returns the downcasted int8 from int256, reverting on
     * overflow (when the input is less than smallest int8 or
     * greater than largest int8).
     *
     * Counterpart to Solidity's `int8` operator.
     *
     * Requirements:
     *
     * - input must fit into 8 bits
     */
    function toInt8(int256 value) internal pure returns (int8 downcasted) {
        downcasted = int8(value);
        if (downcasted != value) {
            revert SafeCastOverflowedIntDowncast(8, value);
        }
    }

    /**
     * @dev Converts an unsigned uint256 into a signed int256.
     *
     * Requirements:
     *
     * - input must be less than or equal to maxInt256.
     */
    function toInt256(uint256 value) internal pure returns (int256) {
        // Note: Unsafe cast below is okay because `type(int256).max` is guaranteed to be positive
        if (value > uint256(type(int256).max)) {
            revert SafeCastOverflowedUintToInt(value);
        }
        return int256(value);
    }

    /**
     * @dev Cast a boolean (false or true) to a uint256 (0 or 1) with no jump.
     */
    function toUint(bool b) internal pure returns (uint256 u) {
        assembly ("memory-safe") {
            u := iszero(iszero(b))
        }
    }
}

// File: @openzeppelin/contracts/utils/math/Math.sol


// OpenZeppelin Contracts (last updated v5.3.0) (utils/math/Math.sol)

pragma solidity ^0.8.20;



/**
 * @dev Standard math utilities missing in the Solidity language.
 */
library Math {
    enum Rounding {
        Floor, // Toward negative infinity
        Ceil, // Toward positive infinity
        Trunc, // Toward zero
        Expand // Away from zero
    }

    /**
     * @dev Return the 512-bit addition of two uint256.
     *
     * The result is stored in two 256 variables such that sum = high * 2²⁵⁶ + low.
     */
    function add512(uint256 a, uint256 b) internal pure returns (uint256 high, uint256 low) {
        assembly ("memory-safe") {
            low := add(a, b)
            high := lt(low, a)
        }
    }

    /**
     * @dev Return the 512-bit multiplication of two uint256.
     *
     * The result is stored in two 256 variables such that product = high * 2²⁵⁶ + low.
     */
    function mul512(uint256 a, uint256 b) internal pure returns (uint256 high, uint256 low) {
        // 512-bit multiply [high low] = x * y. Compute the product mod 2²⁵⁶ and mod 2²⁵⁶ - 1, then use
        // the Chinese Remainder Theorem to reconstruct the 512 bit result. The result is stored in two 256
        // variables such that product = high * 2²⁵⁶ + low.
        assembly ("memory-safe") {
            let mm := mulmod(a, b, not(0))
            low := mul(a, b)
            high := sub(sub(mm, low), lt(mm, low))
        }
    }

    /**
     * @dev Returns the addition of two unsigned integers, with a success flag (no overflow).
     */
    function tryAdd(uint256 a, uint256 b) internal pure returns (bool success, uint256 result) {
        unchecked {
            uint256 c = a + b;
            success = c >= a;
            result = c * SafeCast.toUint(success);
        }
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, with a success flag (no overflow).
     */
    function trySub(uint256 a, uint256 b) internal pure returns (bool success, uint256 result) {
        unchecked {
            uint256 c = a - b;
            success = c <= a;
            result = c * SafeCast.toUint(success);
        }
    }

    /**
     * @dev Returns the multiplication of two unsigned integers, with a success flag (no overflow).
     */
    function tryMul(uint256 a, uint256 b) internal pure returns (bool success, uint256 result) {
        unchecked {
            uint256 c = a * b;
            assembly ("memory-safe") {
                // Only true when the multiplication doesn't overflow
                // (c / a == b) || (a == 0)
                success := or(eq(div(c, a), b), iszero(a))
            }
            // equivalent to: success ? c : 0
            result = c * SafeCast.toUint(success);
        }
    }

    /**
     * @dev Returns the division of two unsigned integers, with a success flag (no division by zero).
     */
    function tryDiv(uint256 a, uint256 b) internal pure returns (bool success, uint256 result) {
        unchecked {
            success = b > 0;
            assembly ("memory-safe") {
                // The `DIV` opcode returns zero when the denominator is 0.
                result := div(a, b)
            }
        }
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers, with a success flag (no division by zero).
     */
    function tryMod(uint256 a, uint256 b) internal pure returns (bool success, uint256 result) {
        unchecked {
            success = b > 0;
            assembly ("memory-safe") {
                // The `MOD` opcode returns zero when the denominator is 0.
                result := mod(a, b)
            }
        }
    }

    /**
     * @dev Unsigned saturating addition, bounds to `2²⁵⁶ - 1` instead of overflowing.
     */
    function saturatingAdd(uint256 a, uint256 b) internal pure returns (uint256) {
        (bool success, uint256 result) = tryAdd(a, b);
        return ternary(success, result, type(uint256).max);
    }

    /**
     * @dev Unsigned saturating subtraction, bounds to zero instead of overflowing.
     */
    function saturatingSub(uint256 a, uint256 b) internal pure returns (uint256) {
        (, uint256 result) = trySub(a, b);
        return result;
    }

    /**
     * @dev Unsigned saturating multiplication, bounds to `2²⁵⁶ - 1` instead of overflowing.
     */
    function saturatingMul(uint256 a, uint256 b) internal pure returns (uint256) {
        (bool success, uint256 result) = tryMul(a, b);
        return ternary(success, result, type(uint256).max);
    }

    /**
     * @dev Branchless ternary evaluation for `a ? b : c`. Gas costs are constant.
     *
     * IMPORTANT: This function may reduce bytecode size and consume less gas when used standalone.
     * However, the compiler may optimize Solidity ternary operations (i.e. `a ? b : c`) to only compute
     * one branch when needed, making this function more expensive.
     */
    function ternary(bool condition, uint256 a, uint256 b) internal pure returns (uint256) {
        unchecked {
            // branchless ternary works because:
            // b ^ (a ^ b) == a
            // b ^ 0 == b
            return b ^ ((a ^ b) * SafeCast.toUint(condition));
        }
    }

    /**
     * @dev Returns the largest of two numbers.
     */
    function max(uint256 a, uint256 b) internal pure returns (uint256) {
        return ternary(a > b, a, b);
    }

    /**
     * @dev Returns the smallest of two numbers.
     */
    function min(uint256 a, uint256 b) internal pure returns (uint256) {
        return ternary(a < b, a, b);
    }

    /**
     * @dev Returns the average of two numbers. The result is rounded towards
     * zero.
     */
    function average(uint256 a, uint256 b) internal pure returns (uint256) {
        // (a + b) / 2 can overflow.
        return (a & b) + (a ^ b) / 2;
    }

    /**
     * @dev Returns the ceiling of the division of two numbers.
     *
     * This differs from standard division with `/` in that it rounds towards infinity instead
     * of rounding towards zero.
     */
    function ceilDiv(uint256 a, uint256 b) internal pure returns (uint256) {
        if (b == 0) {
            // Guarantee the same behavior as in a regular Solidity division.
            Panic.panic(Panic.DIVISION_BY_ZERO);
        }

        // The following calculation ensures accurate ceiling division without overflow.
        // Since a is non-zero, (a - 1) / b will not overflow.
        // The largest possible result occurs when (a - 1) / b is type(uint256).max,
        // but the largest value we can obtain is type(uint256).max - 1, which happens
        // when a = type(uint256).max and b = 1.
        unchecked {
            return SafeCast.toUint(a > 0) * ((a - 1) / b + 1);
        }
    }

    /**
     * @dev Calculates floor(x * y / denominator) with full precision. Throws if result overflows a uint256 or
     * denominator == 0.
     *
     * Original credit to Remco Bloemen under MIT license (https://xn--2-umb.com/21/muldiv) with further edits by
     * Uniswap Labs also under MIT license.
     */
    function mulDiv(uint256 x, uint256 y, uint256 denominator) internal pure returns (uint256 result) {
        unchecked {
            (uint256 high, uint256 low) = mul512(x, y);

            // Handle non-overflow cases, 256 by 256 division.
            if (high == 0) {
                // Solidity will revert if denominator == 0, unlike the div opcode on its own.
                // The surrounding unchecked block does not change this fact.
                // See https://docs.soliditylang.org/en/latest/control-structures.html#checked-or-unchecked-arithmetic.
                return low / denominator;
            }

            // Make sure the result is less than 2²⁵⁶. Also prevents denominator == 0.
            if (denominator <= high) {
                Panic.panic(ternary(denominator == 0, Panic.DIVISION_BY_ZERO, Panic.UNDER_OVERFLOW));
            }

            ///////////////////////////////////////////////
            // 512 by 256 division.
            ///////////////////////////////////////////////

            // Make division exact by subtracting the remainder from [high low].
            uint256 remainder;
            assembly ("memory-safe") {
                // Compute remainder using mulmod.
                remainder := mulmod(x, y, denominator)

                // Subtract 256 bit number from 512 bit number.
                high := sub(high, gt(remainder, low))
                low := sub(low, remainder)
            }

            // Factor powers of two out of denominator and compute largest power of two divisor of denominator.
            // Always >= 1. See https://cs.stackexchange.com/q/138556/92363.

            uint256 twos = denominator & (0 - denominator);
            assembly ("memory-safe") {
                // Divide denominator by twos.
                denominator := div(denominator, twos)

                // Divide [high low] by twos.
                low := div(low, twos)

                // Flip twos such that it is 2²⁵⁶ / twos. If twos is zero, then it becomes one.
                twos := add(div(sub(0, twos), twos), 1)
            }

            // Shift in bits from high into low.
            low |= high * twos;

            // Invert denominator mod 2²⁵⁶. Now that denominator is an odd number, it has an inverse modulo 2²⁵⁶ such
            // that denominator * inv ≡ 1 mod 2²⁵⁶. Compute the inverse by starting with a seed that is correct for
            // four bits. That is, denominator * inv ≡ 1 mod 2⁴.
            uint256 inverse = (3 * denominator) ^ 2;

            // Use the Newton-Raphson iteration to improve the precision. Thanks to Hensel's lifting lemma, this also
            // works in modular arithmetic, doubling the correct bits in each step.
            inverse *= 2 - denominator * inverse; // inverse mod 2⁸
            inverse *= 2 - denominator * inverse; // inverse mod 2¹⁶
            inverse *= 2 - denominator * inverse; // inverse mod 2³²
            inverse *= 2 - denominator * inverse; // inverse mod 2⁶⁴
            inverse *= 2 - denominator * inverse; // inverse mod 2¹²⁸
            inverse *= 2 - denominator * inverse; // inverse mod 2²⁵⁶

            // Because the division is now exact we can divide by multiplying with the modular inverse of denominator.
            // This will give us the correct result modulo 2²⁵⁶. Since the preconditions guarantee that the outcome is
            // less than 2²⁵⁶, this is the final result. We don't need to compute the high bits of the result and high
            // is no longer required.
            result = low * inverse;
            return result;
        }
    }

    /**
     * @dev Calculates x * y / denominator with full precision, following the selected rounding direction.
     */
    function mulDiv(uint256 x, uint256 y, uint256 denominator, Rounding rounding) internal pure returns (uint256) {
        return mulDiv(x, y, denominator) + SafeCast.toUint(unsignedRoundsUp(rounding) && mulmod(x, y, denominator) > 0);
    }

    /**
     * @dev Calculates floor(x * y >> n) with full precision. Throws if result overflows a uint256.
     */
    function mulShr(uint256 x, uint256 y, uint8 n) internal pure returns (uint256 result) {
        unchecked {
            (uint256 high, uint256 low) = mul512(x, y);
            if (high >= 1 << n) {
                Panic.panic(Panic.UNDER_OVERFLOW);
            }
            return (high << (256 - n)) | (low >> n);
        }
    }

    /**
     * @dev Calculates x * y >> n with full precision, following the selected rounding direction.
     */
    function mulShr(uint256 x, uint256 y, uint8 n, Rounding rounding) internal pure returns (uint256) {
        return mulShr(x, y, n) + SafeCast.toUint(unsignedRoundsUp(rounding) && mulmod(x, y, 1 << n) > 0);
    }

    /**
     * @dev Calculate the modular multiplicative inverse of a number in Z/nZ.
     *
     * If n is a prime, then Z/nZ is a field. In that case all elements are inversible, except 0.
     * If n is not a prime, then Z/nZ is not a field, and some elements might not be inversible.
     *
     * If the input value is not inversible, 0 is returned.
     *
     * NOTE: If you know for sure that n is (big) a prime, it may be cheaper to use Fermat's little theorem and get the
     * inverse using `Math.modExp(a, n - 2, n)`. See {invModPrime}.
     */
    function invMod(uint256 a, uint256 n) internal pure returns (uint256) {
        unchecked {
            if (n == 0) return 0;

            // The inverse modulo is calculated using the Extended Euclidean Algorithm (iterative version)
            // Used to compute integers x and y such that: ax + ny = gcd(a, n).
            // When the gcd is 1, then the inverse of a modulo n exists and it's x.
            // ax + ny = 1
            // ax = 1 + (-y)n
            // ax ≡ 1 (mod n) # x is the inverse of a modulo n

            // If the remainder is 0 the gcd is n right away.
            uint256 remainder = a % n;
            uint256 gcd = n;

            // Therefore the initial coefficients are:
            // ax + ny = gcd(a, n) = n
            // 0a + 1n = n
            int256 x = 0;
            int256 y = 1;

            while (remainder != 0) {
                uint256 quotient = gcd / remainder;

                (gcd, remainder) = (
                    // The old remainder is the next gcd to try.
                    remainder,
                    // Compute the next remainder.
                    // Can't overflow given that (a % gcd) * (gcd // (a % gcd)) <= gcd
                    // where gcd is at most n (capped to type(uint256).max)
                    gcd - remainder * quotient
                );

                (x, y) = (
                    // Increment the coefficient of a.
                    y,
                    // Decrement the coefficient of n.
                    // Can overflow, but the result is casted to uint256 so that the
                    // next value of y is "wrapped around" to a value between 0 and n - 1.
                    x - y * int256(quotient)
                );
            }

            if (gcd != 1) return 0; // No inverse exists.
            return ternary(x < 0, n - uint256(-x), uint256(x)); // Wrap the result if it's negative.
        }
    }

    /**
     * @dev Variant of {invMod}. More efficient, but only works if `p` is known to be a prime greater than `2`.
     *
     * From https://en.wikipedia.org/wiki/Fermat%27s_little_theorem[Fermat's little theorem], we know that if p is
     * prime, then `a**(p-1) ≡ 1 mod p`. As a consequence, we have `a * a**(p-2) ≡ 1 mod p`, which means that
     * `a**(p-2)` is the modular multiplicative inverse of a in Fp.
     *
     * NOTE: this function does NOT check that `p` is a prime greater than `2`.
     */
    function invModPrime(uint256 a, uint256 p) internal view returns (uint256) {
        unchecked {
            return Math.modExp(a, p - 2, p);
        }
    }

    /**
     * @dev Returns the modular exponentiation of the specified base, exponent and modulus (b ** e % m)
     *
     * Requirements:
     * - modulus can't be zero
     * - underlying staticcall to precompile must succeed
     *
     * IMPORTANT: The result is only valid if the underlying call succeeds. When using this function, make
     * sure the chain you're using it on supports the precompiled contract for modular exponentiation
     * at address 0x05 as specified in https://eips.ethereum.org/EIPS/eip-198[EIP-198]. Otherwise,
     * the underlying function will succeed given the lack of a revert, but the result may be incorrectly
     * interpreted as 0.
     */
    function modExp(uint256 b, uint256 e, uint256 m) internal view returns (uint256) {
        (bool success, uint256 result) = tryModExp(b, e, m);
        if (!success) {
            Panic.panic(Panic.DIVISION_BY_ZERO);
        }
        return result;
    }

    /**
     * @dev Returns the modular exponentiation of the specified base, exponent and modulus (b ** e % m).
     * It includes a success flag indicating if the operation succeeded. Operation will be marked as failed if trying
     * to operate modulo 0 or if the underlying precompile reverted.
     *
     * IMPORTANT: The result is only valid if the success flag is true. When using this function, make sure the chain
     * you're using it on supports the precompiled contract for modular exponentiation at address 0x05 as specified in
     * https://eips.ethereum.org/EIPS/eip-198[EIP-198]. Otherwise, the underlying function will succeed given the lack
     * of a revert, but the result may be incorrectly interpreted as 0.
     */
    function tryModExp(uint256 b, uint256 e, uint256 m) internal view returns (bool success, uint256 result) {
        if (m == 0) return (false, 0);
        assembly ("memory-safe") {
            let ptr := mload(0x40)
            // | Offset    | Content    | Content (Hex)                                                      |
            // |-----------|------------|--------------------------------------------------------------------|
            // | 0x00:0x1f | size of b  | 0x0000000000000000000000000000000000000000000000000000000000000020 |
            // | 0x20:0x3f | size of e  | 0x0000000000000000000000000000000000000000000000000000000000000020 |
            // | 0x40:0x5f | size of m  | 0x0000000000000000000000000000000000000000000000000000000000000020 |
            // | 0x60:0x7f | value of b | 0x<.............................................................b> |
            // | 0x80:0x9f | value of e | 0x<.............................................................e> |
            // | 0xa0:0xbf | value of m | 0x<.............................................................m> |
            mstore(ptr, 0x20)
            mstore(add(ptr, 0x20), 0x20)
            mstore(add(ptr, 0x40), 0x20)
            mstore(add(ptr, 0x60), b)
            mstore(add(ptr, 0x80), e)
            mstore(add(ptr, 0xa0), m)

            // Given the result < m, it's guaranteed to fit in 32 bytes,
            // so we can use the memory scratch space located at offset 0.
            success := staticcall(gas(), 0x05, ptr, 0xc0, 0x00, 0x20)
            result := mload(0x00)
        }
    }

    /**
     * @dev Variant of {modExp} that supports inputs of arbitrary length.
     */
    function modExp(bytes memory b, bytes memory e, bytes memory m) internal view returns (bytes memory) {
        (bool success, bytes memory result) = tryModExp(b, e, m);
        if (!success) {
            Panic.panic(Panic.DIVISION_BY_ZERO);
        }
        return result;
    }

    /**
     * @dev Variant of {tryModExp} that supports inputs of arbitrary length.
     */
    function tryModExp(
        bytes memory b,
        bytes memory e,
        bytes memory m
    ) internal view returns (bool success, bytes memory result) {
        if (_zeroBytes(m)) return (false, new bytes(0));

        uint256 mLen = m.length;

        // Encode call args in result and move the free memory pointer
        result = abi.encodePacked(b.length, e.length, mLen, b, e, m);

        assembly ("memory-safe") {
            let dataPtr := add(result, 0x20)
            // Write result on top of args to avoid allocating extra memory.
            success := staticcall(gas(), 0x05, dataPtr, mload(result), dataPtr, mLen)
            // Overwrite the length.
            // result.length > returndatasize() is guaranteed because returndatasize() == m.length
            mstore(result, mLen)
            // Set the memory pointer after the returned data.
            mstore(0x40, add(dataPtr, mLen))
        }
    }

    /**
     * @dev Returns whether the provided byte array is zero.
     */
    function _zeroBytes(bytes memory byteArray) private pure returns (bool) {
        for (uint256 i = 0; i < byteArray.length; ++i) {
            if (byteArray[i] != 0) {
                return false;
            }
        }
        return true;
    }

    /**
     * @dev Returns the square root of a number. If the number is not a perfect square, the value is rounded
     * towards zero.
     *
     * This method is based on Newton's method for computing square roots; the algorithm is restricted to only
     * using integer operations.
     */
    function sqrt(uint256 a) internal pure returns (uint256) {
        unchecked {
            // Take care of easy edge cases when a == 0 or a == 1
            if (a <= 1) {
                return a;
            }

            // In this function, we use Newton's method to get a root of `f(x) := x² - a`. It involves building a
            // sequence x_n that converges toward sqrt(a). For each iteration x_n, we also define the error between
            // the current value as `ε_n = | x_n - sqrt(a) |`.
            //
            // For our first estimation, we consider `e` the smallest power of 2 which is bigger than the square root
            // of the target. (i.e. `2**(e-1) ≤ sqrt(a) < 2**e`). We know that `e ≤ 128` because `(2¹²⁸)² = 2²⁵⁶` is
            // bigger than any uint256.
            //
            // By noticing that
            // `2**(e-1) ≤ sqrt(a) < 2**e → (2**(e-1))² ≤ a < (2**e)² → 2**(2*e-2) ≤ a < 2**(2*e)`
            // we can deduce that `e - 1` is `log2(a) / 2`. We can thus compute `x_n = 2**(e-1)` using a method similar
            // to the msb function.
            uint256 aa = a;
            uint256 xn = 1;

            if (aa >= (1 << 128)) {
                aa >>= 128;
                xn <<= 64;
            }
            if (aa >= (1 << 64)) {
                aa >>= 64;
                xn <<= 32;
            }
            if (aa >= (1 << 32)) {
                aa >>= 32;
                xn <<= 16;
            }
            if (aa >= (1 << 16)) {
                aa >>= 16;
                xn <<= 8;
            }
            if (aa >= (1 << 8)) {
                aa >>= 8;
                xn <<= 4;
            }
            if (aa >= (1 << 4)) {
                aa >>= 4;
                xn <<= 2;
            }
            if (aa >= (1 << 2)) {
                xn <<= 1;
            }

            // We now have x_n such that `x_n = 2**(e-1) ≤ sqrt(a) < 2**e = 2 * x_n`. This implies ε_n ≤ 2**(e-1).
            //
            // We can refine our estimation by noticing that the middle of that interval minimizes the error.
            // If we move x_n to equal 2**(e-1) + 2**(e-2), then we reduce the error to ε_n ≤ 2**(e-2).
            // This is going to be our x_0 (and ε_0)
            xn = (3 * xn) >> 1; // ε_0 := | x_0 - sqrt(a) | ≤ 2**(e-2)

            // From here, Newton's method give us:
            // x_{n+1} = (x_n + a / x_n) / 2
            //
            // One should note that:
            // x_{n+1}² - a = ((x_n + a / x_n) / 2)² - a
            //              = ((x_n² + a) / (2 * x_n))² - a
            //              = (x_n⁴ + 2 * a * x_n² + a²) / (4 * x_n²) - a
            //              = (x_n⁴ + 2 * a * x_n² + a² - 4 * a * x_n²) / (4 * x_n²)
            //              = (x_n⁴ - 2 * a * x_n² + a²) / (4 * x_n²)
            //              = (x_n² - a)² / (2 * x_n)²
            //              = ((x_n² - a) / (2 * x_n))²
            //              ≥ 0
            // Which proves that for all n ≥ 1, sqrt(a) ≤ x_n
            //
            // This gives us the proof of quadratic convergence of the sequence:
            // ε_{n+1} = | x_{n+1} - sqrt(a) |
            //         = | (x_n + a / x_n) / 2 - sqrt(a) |
            //         = | (x_n² + a - 2*x_n*sqrt(a)) / (2 * x_n) |
            //         = | (x_n - sqrt(a))² / (2 * x_n) |
            //         = | ε_n² / (2 * x_n) |
            //         = ε_n² / | (2 * x_n) |
            //
            // For the first iteration, we have a special case where x_0 is known:
            // ε_1 = ε_0² / | (2 * x_0) |
            //     ≤ (2**(e-2))² / (2 * (2**(e-1) + 2**(e-2)))
            //     ≤ 2**(2*e-4) / (3 * 2**(e-1))
            //     ≤ 2**(e-3) / 3
            //     ≤ 2**(e-3-log2(3))
            //     ≤ 2**(e-4.5)
            //
            // For the following iterations, we use the fact that, 2**(e-1) ≤ sqrt(a) ≤ x_n:
            // ε_{n+1} = ε_n² / | (2 * x_n) |
            //         ≤ (2**(e-k))² / (2 * 2**(e-1))
            //         ≤ 2**(2*e-2*k) / 2**e
            //         ≤ 2**(e-2*k)
            xn = (xn + a / xn) >> 1; // ε_1 := | x_1 - sqrt(a) | ≤ 2**(e-4.5)  -- special case, see above
            xn = (xn + a / xn) >> 1; // ε_2 := | x_2 - sqrt(a) | ≤ 2**(e-9)    -- general case with k = 4.5
            xn = (xn + a / xn) >> 1; // ε_3 := | x_3 - sqrt(a) | ≤ 2**(e-18)   -- general case with k = 9
            xn = (xn + a / xn) >> 1; // ε_4 := | x_4 - sqrt(a) | ≤ 2**(e-36)   -- general case with k = 18
            xn = (xn + a / xn) >> 1; // ε_5 := | x_5 - sqrt(a) | ≤ 2**(e-72)   -- general case with k = 36
            xn = (xn + a / xn) >> 1; // ε_6 := | x_6 - sqrt(a) | ≤ 2**(e-144)  -- general case with k = 72

            // Because e ≤ 128 (as discussed during the first estimation phase), we know have reached a precision
            // ε_6 ≤ 2**(e-144) < 1. Given we're operating on integers, then we can ensure that xn is now either
            // sqrt(a) or sqrt(a) + 1.
            return xn - SafeCast.toUint(xn > a / xn);
        }
    }

    /**
     * @dev Calculates sqrt(a), following the selected rounding direction.
     */
    function sqrt(uint256 a, Rounding rounding) internal pure returns (uint256) {
        unchecked {
            uint256 result = sqrt(a);
            return result + SafeCast.toUint(unsignedRoundsUp(rounding) && result * result < a);
        }
    }

    /**
     * @dev Return the log in base 2 of a positive value rounded towards zero.
     * Returns 0 if given 0.
     */
    function log2(uint256 x) internal pure returns (uint256 r) {
        // If value has upper 128 bits set, log2 result is at least 128
        r = SafeCast.toUint(x > 0xffffffffffffffffffffffffffffffff) << 7;
        // If upper 64 bits of 128-bit half set, add 64 to result
        r |= SafeCast.toUint((x >> r) > 0xffffffffffffffff) << 6;
        // If upper 32 bits of 64-bit half set, add 32 to result
        r |= SafeCast.toUint((x >> r) > 0xffffffff) << 5;
        // If upper 16 bits of 32-bit half set, add 16 to result
        r |= SafeCast.toUint((x >> r) > 0xffff) << 4;
        // If upper 8 bits of 16-bit half set, add 8 to result
        r |= SafeCast.toUint((x >> r) > 0xff) << 3;
        // If upper 4 bits of 8-bit half set, add 4 to result
        r |= SafeCast.toUint((x >> r) > 0xf) << 2;

        // Shifts value right by the current result and use it as an index into this lookup table:
        //
        // | x (4 bits) |  index  | table[index] = MSB position |
        // |------------|---------|-----------------------------|
        // |    0000    |    0    |        table[0] = 0         |
        // |    0001    |    1    |        table[1] = 0         |
        // |    0010    |    2    |        table[2] = 1         |
        // |    0011    |    3    |        table[3] = 1         |
        // |    0100    |    4    |        table[4] = 2         |
        // |    0101    |    5    |        table[5] = 2         |
        // |    0110    |    6    |        table[6] = 2         |
        // |    0111    |    7    |        table[7] = 2         |
        // |    1000    |    8    |        table[8] = 3         |
        // |    1001    |    9    |        table[9] = 3         |
        // |    1010    |   10    |        table[10] = 3        |
        // |    1011    |   11    |        table[11] = 3        |
        // |    1100    |   12    |        table[12] = 3        |
        // |    1101    |   13    |        table[13] = 3        |
        // |    1110    |   14    |        table[14] = 3        |
        // |    1111    |   15    |        table[15] = 3        |
        //
        // The lookup table is represented as a 32-byte value with the MSB positions for 0-15 in the last 16 bytes.
        assembly ("memory-safe") {
            r := or(r, byte(shr(r, x), 0x0000010102020202030303030303030300000000000000000000000000000000))
        }
    }

    /**
     * @dev Return the log in base 2, following the selected rounding direction, of a positive value.
     * Returns 0 if given 0.
     */
    function log2(uint256 value, Rounding rounding) internal pure returns (uint256) {
        unchecked {
            uint256 result = log2(value);
            return result + SafeCast.toUint(unsignedRoundsUp(rounding) && 1 << result < value);
        }
    }

    /**
     * @dev Return the log in base 10 of a positive value rounded towards zero.
     * Returns 0 if given 0.
     */
    function log10(uint256 value) internal pure returns (uint256) {
        uint256 result = 0;
        unchecked {
            if (value >= 10 ** 64) {
                value /= 10 ** 64;
                result += 64;
            }
            if (value >= 10 ** 32) {
                value /= 10 ** 32;
                result += 32;
            }
            if (value >= 10 ** 16) {
                value /= 10 ** 16;
                result += 16;
            }
            if (value >= 10 ** 8) {
                value /= 10 ** 8;
                result += 8;
            }
            if (value >= 10 ** 4) {
                value /= 10 ** 4;
                result += 4;
            }
            if (value >= 10 ** 2) {
                value /= 10 ** 2;
                result += 2;
            }
            if (value >= 10 ** 1) {
                result += 1;
            }
        }
        return result;
    }

    /**
     * @dev Return the log in base 10, following the selected rounding direction, of a positive value.
     * Returns 0 if given 0.
     */
    function log10(uint256 value, Rounding rounding) internal pure returns (uint256) {
        unchecked {
            uint256 result = log10(value);
            return result + SafeCast.toUint(unsignedRoundsUp(rounding) && 10 ** result < value);
        }
    }

    /**
     * @dev Return the log in base 256 of a positive value rounded towards zero.
     * Returns 0 if given 0.
     *
     * Adding one to the result gives the number of pairs of hex symbols needed to represent `value` as a hex string.
     */
    function log256(uint256 x) internal pure returns (uint256 r) {
        // If value has upper 128 bits set, log2 result is at least 128
        r = SafeCast.toUint(x > 0xffffffffffffffffffffffffffffffff) << 7;
        // If upper 64 bits of 128-bit half set, add 64 to result
        r |= SafeCast.toUint((x >> r) > 0xffffffffffffffff) << 6;
        // If upper 32 bits of 64-bit half set, add 32 to result
        r |= SafeCast.toUint((x >> r) > 0xffffffff) << 5;
        // If upper 16 bits of 32-bit half set, add 16 to result
        r |= SafeCast.toUint((x >> r) > 0xffff) << 4;
        // Add 1 if upper 8 bits of 16-bit half set, and divide accumulated result by 8
        return (r >> 3) | SafeCast.toUint((x >> r) > 0xff);
    }

    /**
     * @dev Return the log in base 256, following the selected rounding direction, of a positive value.
     * Returns 0 if given 0.
     */
    function log256(uint256 value, Rounding rounding) internal pure returns (uint256) {
        unchecked {
            uint256 result = log256(value);
            return result + SafeCast.toUint(unsignedRoundsUp(rounding) && 1 << (result << 3) < value);
        }
    }

    /**
     * @dev Returns whether a provided rounding mode is considered rounding up for unsigned integers.
     */
    function unsignedRoundsUp(Rounding rounding) internal pure returns (bool) {
        return uint8(rounding) % 2 == 1;
    }
}

// File: @openzeppelin/contracts/utils/math/SignedMath.sol


// OpenZeppelin Contracts (last updated v5.1.0) (utils/math/SignedMath.sol)

pragma solidity ^0.8.20;


/**
 * @dev Standard signed math utilities missing in the Solidity language.
 */
library SignedMath {
    /**
     * @dev Branchless ternary evaluation for `a ? b : c`. Gas costs are constant.
     *
     * IMPORTANT: This function may reduce bytecode size and consume less gas when used standalone.
     * However, the compiler may optimize Solidity ternary operations (i.e. `a ? b : c`) to only compute
     * one branch when needed, making this function more expensive.
     */
    function ternary(bool condition, int256 a, int256 b) internal pure returns (int256) {
        unchecked {
            // branchless ternary works because:
            // b ^ (a ^ b) == a
            // b ^ 0 == b
            return b ^ ((a ^ b) * int256(SafeCast.toUint(condition)));
        }
    }

    /**
     * @dev Returns the largest of two signed numbers.
     */
    function max(int256 a, int256 b) internal pure returns (int256) {
        return ternary(a > b, a, b);
    }

    /**
     * @dev Returns the smallest of two signed numbers.
     */
    function min(int256 a, int256 b) internal pure returns (int256) {
        return ternary(a < b, a, b);
    }

    /**
     * @dev Returns the average of two signed numbers without overflow.
     * The result is rounded towards zero.
     */
    function average(int256 a, int256 b) internal pure returns (int256) {
        // Formula from the book "Hacker's Delight"
        int256 x = (a & b) + ((a ^ b) >> 1);
        return x + (int256(uint256(x) >> 255) & (a ^ b));
    }

    /**
     * @dev Returns the absolute unsigned value of a signed value.
     */
    function abs(int256 n) internal pure returns (uint256) {
        unchecked {
            // Formula from the "Bit Twiddling Hacks" by Sean Eron Anderson.
            // Since `n` is a signed integer, the generated bytecode will use the SAR opcode to perform the right shift,
            // taking advantage of the most significant (or "sign" bit) in two's complement representation.
            // This opcode adds new most significant bits set to the value of the previous most significant bit. As a result,
            // the mask will either be `bytes32(0)` (if n is positive) or `~bytes32(0)` (if n is negative).
            int256 mask = n >> 255;

            // A `bytes32(0)` mask leaves the input unchanged, while a `~bytes32(0)` mask complements it.
            return uint256((n + mask) ^ mask);
        }
    }
}

// File: @openzeppelin/contracts/utils/Strings.sol


// OpenZeppelin Contracts (last updated v5.3.0) (utils/Strings.sol)

pragma solidity ^0.8.20;




/**
 * @dev String operations.
 */
library Strings {
    using SafeCast for *;

    bytes16 private constant HEX_DIGITS = "0123456789abcdef";
    uint8 private constant ADDRESS_LENGTH = 20;
    uint256 private constant SPECIAL_CHARS_LOOKUP =
        (1 << 0x08) | // backspace
            (1 << 0x09) | // tab
            (1 << 0x0a) | // newline
            (1 << 0x0c) | // form feed
            (1 << 0x0d) | // carriage return
            (1 << 0x22) | // double quote
            (1 << 0x5c); // backslash

    /**
     * @dev The `value` string doesn't fit in the specified `length`.
     */
    error StringsInsufficientHexLength(uint256 value, uint256 length);

    /**
     * @dev The string being parsed contains characters that are not in scope of the given base.
     */
    error StringsInvalidChar();

    /**
     * @dev The string being parsed is not a properly formatted address.
     */
    error StringsInvalidAddressFormat();

    /**
     * @dev Converts a `uint256` to its ASCII `string` decimal representation.
     */
    function toString(uint256 value) internal pure returns (string memory) {
        unchecked {
            uint256 length = Math.log10(value) + 1;
            string memory buffer = new string(length);
            uint256 ptr;
            assembly ("memory-safe") {
                ptr := add(buffer, add(32, length))
            }
            while (true) {
                ptr--;
                assembly ("memory-safe") {
                    mstore8(ptr, byte(mod(value, 10), HEX_DIGITS))
                }
                value /= 10;
                if (value == 0) break;
            }
            return buffer;
        }
    }

    /**
     * @dev Converts a `int256` to its ASCII `string` decimal representation.
     */
    function toStringSigned(int256 value) internal pure returns (string memory) {
        return string.concat(value < 0 ? "-" : "", toString(SignedMath.abs(value)));
    }

    /**
     * @dev Converts a `uint256` to its ASCII `string` hexadecimal representation.
     */
    function toHexString(uint256 value) internal pure returns (string memory) {
        unchecked {
            return toHexString(value, Math.log256(value) + 1);
        }
    }

    /**
     * @dev Converts a `uint256` to its ASCII `string` hexadecimal representation with fixed length.
     */
    function toHexString(uint256 value, uint256 length) internal pure returns (string memory) {
        uint256 localValue = value;
        bytes memory buffer = new bytes(2 * length + 2);
        buffer[0] = "0";
        buffer[1] = "x";
        for (uint256 i = 2 * length + 1; i > 1; --i) {
            buffer[i] = HEX_DIGITS[localValue & 0xf];
            localValue >>= 4;
        }
        if (localValue != 0) {
            revert StringsInsufficientHexLength(value, length);
        }
        return string(buffer);
    }

    /**
     * @dev Converts an `address` with fixed length of 20 bytes to its not checksummed ASCII `string` hexadecimal
     * representation.
     */
    function toHexString(address addr) internal pure returns (string memory) {
        return toHexString(uint256(uint160(addr)), ADDRESS_LENGTH);
    }

    /**
     * @dev Converts an `address` with fixed length of 20 bytes to its checksummed ASCII `string` hexadecimal
     * representation, according to EIP-55.
     */
    function toChecksumHexString(address addr) internal pure returns (string memory) {
        bytes memory buffer = bytes(toHexString(addr));

        // hash the hex part of buffer (skip length + 2 bytes, length 40)
        uint256 hashValue;
        assembly ("memory-safe") {
            hashValue := shr(96, keccak256(add(buffer, 0x22), 40))
        }

        for (uint256 i = 41; i > 1; --i) {
            // possible values for buffer[i] are 48 (0) to 57 (9) and 97 (a) to 102 (f)
            if (hashValue & 0xf > 7 && uint8(buffer[i]) > 96) {
                // case shift by xoring with 0x20
                buffer[i] ^= 0x20;
            }
            hashValue >>= 4;
        }
        return string(buffer);
    }

    /**
     * @dev Returns true if the two strings are equal.
     */
    function equal(string memory a, string memory b) internal pure returns (bool) {
        return bytes(a).length == bytes(b).length && keccak256(bytes(a)) == keccak256(bytes(b));
    }

    /**
     * @dev Parse a decimal string and returns the value as a `uint256`.
     *
     * Requirements:
     * - The string must be formatted as `[0-9]*`
     * - The result must fit into an `uint256` type
     */
    function parseUint(string memory input) internal pure returns (uint256) {
        return parseUint(input, 0, bytes(input).length);
    }

    /**
     * @dev Variant of {parseUint-string} that parses a substring of `input` located between position `begin` (included) and
     * `end` (excluded).
     *
     * Requirements:
     * - The substring must be formatted as `[0-9]*`
     * - The result must fit into an `uint256` type
     */
    function parseUint(string memory input, uint256 begin, uint256 end) internal pure returns (uint256) {
        (bool success, uint256 value) = tryParseUint(input, begin, end);
        if (!success) revert StringsInvalidChar();
        return value;
    }

    /**
     * @dev Variant of {parseUint-string} that returns false if the parsing fails because of an invalid character.
     *
     * NOTE: This function will revert if the result does not fit in a `uint256`.
     */
    function tryParseUint(string memory input) internal pure returns (bool success, uint256 value) {
        return _tryParseUintUncheckedBounds(input, 0, bytes(input).length);
    }

    /**
     * @dev Variant of {parseUint-string-uint256-uint256} that returns false if the parsing fails because of an invalid
     * character.
     *
     * NOTE: This function will revert if the result does not fit in a `uint256`.
     */
    function tryParseUint(
        string memory input,
        uint256 begin,
        uint256 end
    ) internal pure returns (bool success, uint256 value) {
        if (end > bytes(input).length || begin > end) return (false, 0);
        return _tryParseUintUncheckedBounds(input, begin, end);
    }

    /**
     * @dev Implementation of {tryParseUint-string-uint256-uint256} that does not check bounds. Caller should make sure that
     * `begin <= end <= input.length`. Other inputs would result in undefined behavior.
     */
    function _tryParseUintUncheckedBounds(
        string memory input,
        uint256 begin,
        uint256 end
    ) private pure returns (bool success, uint256 value) {
        bytes memory buffer = bytes(input);

        uint256 result = 0;
        for (uint256 i = begin; i < end; ++i) {
            uint8 chr = _tryParseChr(bytes1(_unsafeReadBytesOffset(buffer, i)));
            if (chr > 9) return (false, 0);
            result *= 10;
            result += chr;
        }
        return (true, result);
    }

    /**
     * @dev Parse a decimal string and returns the value as a `int256`.
     *
     * Requirements:
     * - The string must be formatted as `[-+]?[0-9]*`
     * - The result must fit in an `int256` type.
     */
    function parseInt(string memory input) internal pure returns (int256) {
        return parseInt(input, 0, bytes(input).length);
    }

    /**
     * @dev Variant of {parseInt-string} that parses a substring of `input` located between position `begin` (included) and
     * `end` (excluded).
     *
     * Requirements:
     * - The substring must be formatted as `[-+]?[0-9]*`
     * - The result must fit in an `int256` type.
     */
    function parseInt(string memory input, uint256 begin, uint256 end) internal pure returns (int256) {
        (bool success, int256 value) = tryParseInt(input, begin, end);
        if (!success) revert StringsInvalidChar();
        return value;
    }

    /**
     * @dev Variant of {parseInt-string} that returns false if the parsing fails because of an invalid character or if
     * the result does not fit in a `int256`.
     *
     * NOTE: This function will revert if the absolute value of the result does not fit in a `uint256`.
     */
    function tryParseInt(string memory input) internal pure returns (bool success, int256 value) {
        return _tryParseIntUncheckedBounds(input, 0, bytes(input).length);
    }

    uint256 private constant ABS_MIN_INT256 = 2 ** 255;

    /**
     * @dev Variant of {parseInt-string-uint256-uint256} that returns false if the parsing fails because of an invalid
     * character or if the result does not fit in a `int256`.
     *
     * NOTE: This function will revert if the absolute value of the result does not fit in a `uint256`.
     */
    function tryParseInt(
        string memory input,
        uint256 begin,
        uint256 end
    ) internal pure returns (bool success, int256 value) {
        if (end > bytes(input).length || begin > end) return (false, 0);
        return _tryParseIntUncheckedBounds(input, begin, end);
    }

    /**
     * @dev Implementation of {tryParseInt-string-uint256-uint256} that does not check bounds. Caller should make sure that
     * `begin <= end <= input.length`. Other inputs would result in undefined behavior.
     */
    function _tryParseIntUncheckedBounds(
        string memory input,
        uint256 begin,
        uint256 end
    ) private pure returns (bool success, int256 value) {
        bytes memory buffer = bytes(input);

        // Check presence of a negative sign.
        bytes1 sign = begin == end ? bytes1(0) : bytes1(_unsafeReadBytesOffset(buffer, begin)); // don't do out-of-bound (possibly unsafe) read if sub-string is empty
        bool positiveSign = sign == bytes1("+");
        bool negativeSign = sign == bytes1("-");
        uint256 offset = (positiveSign || negativeSign).toUint();

        (bool absSuccess, uint256 absValue) = tryParseUint(input, begin + offset, end);

        if (absSuccess && absValue < ABS_MIN_INT256) {
            return (true, negativeSign ? -int256(absValue) : int256(absValue));
        } else if (absSuccess && negativeSign && absValue == ABS_MIN_INT256) {
            return (true, type(int256).min);
        } else return (false, 0);
    }

    /**
     * @dev Parse a hexadecimal string (with or without "0x" prefix), and returns the value as a `uint256`.
     *
     * Requirements:
     * - The string must be formatted as `(0x)?[0-9a-fA-F]*`
     * - The result must fit in an `uint256` type.
     */
    function parseHexUint(string memory input) internal pure returns (uint256) {
        return parseHexUint(input, 0, bytes(input).length);
    }

    /**
     * @dev Variant of {parseHexUint-string} that parses a substring of `input` located between position `begin` (included) and
     * `end` (excluded).
     *
     * Requirements:
     * - The substring must be formatted as `(0x)?[0-9a-fA-F]*`
     * - The result must fit in an `uint256` type.
     */
    function parseHexUint(string memory input, uint256 begin, uint256 end) internal pure returns (uint256) {
        (bool success, uint256 value) = tryParseHexUint(input, begin, end);
        if (!success) revert StringsInvalidChar();
        return value;
    }

    /**
     * @dev Variant of {parseHexUint-string} that returns false if the parsing fails because of an invalid character.
     *
     * NOTE: This function will revert if the result does not fit in a `uint256`.
     */
    function tryParseHexUint(string memory input) internal pure returns (bool success, uint256 value) {
        return _tryParseHexUintUncheckedBounds(input, 0, bytes(input).length);
    }

    /**
     * @dev Variant of {parseHexUint-string-uint256-uint256} that returns false if the parsing fails because of an
     * invalid character.
     *
     * NOTE: This function will revert if the result does not fit in a `uint256`.
     */
    function tryParseHexUint(
        string memory input,
        uint256 begin,
        uint256 end
    ) internal pure returns (bool success, uint256 value) {
        if (end > bytes(input).length || begin > end) return (false, 0);
        return _tryParseHexUintUncheckedBounds(input, begin, end);
    }

    /**
     * @dev Implementation of {tryParseHexUint-string-uint256-uint256} that does not check bounds. Caller should make sure that
     * `begin <= end <= input.length`. Other inputs would result in undefined behavior.
     */
    function _tryParseHexUintUncheckedBounds(
        string memory input,
        uint256 begin,
        uint256 end
    ) private pure returns (bool success, uint256 value) {
        bytes memory buffer = bytes(input);

        // skip 0x prefix if present
        bool hasPrefix = (end > begin + 1) && bytes2(_unsafeReadBytesOffset(buffer, begin)) == bytes2("0x"); // don't do out-of-bound (possibly unsafe) read if sub-string is empty
        uint256 offset = hasPrefix.toUint() * 2;

        uint256 result = 0;
        for (uint256 i = begin + offset; i < end; ++i) {
            uint8 chr = _tryParseChr(bytes1(_unsafeReadBytesOffset(buffer, i)));
            if (chr > 15) return (false, 0);
            result *= 16;
            unchecked {
                // Multiplying by 16 is equivalent to a shift of 4 bits (with additional overflow check).
                // This guarantees that adding a value < 16 will not cause an overflow, hence the unchecked.
                result += chr;
            }
        }
        return (true, result);
    }

    /**
     * @dev Parse a hexadecimal string (with or without "0x" prefix), and returns the value as an `address`.
     *
     * Requirements:
     * - The string must be formatted as `(0x)?[0-9a-fA-F]{40}`
     */
    function parseAddress(string memory input) internal pure returns (address) {
        return parseAddress(input, 0, bytes(input).length);
    }

    /**
     * @dev Variant of {parseAddress-string} that parses a substring of `input` located between position `begin` (included) and
     * `end` (excluded).
     *
     * Requirements:
     * - The substring must be formatted as `(0x)?[0-9a-fA-F]{40}`
     */
    function parseAddress(string memory input, uint256 begin, uint256 end) internal pure returns (address) {
        (bool success, address value) = tryParseAddress(input, begin, end);
        if (!success) revert StringsInvalidAddressFormat();
        return value;
    }

    /**
     * @dev Variant of {parseAddress-string} that returns false if the parsing fails because the input is not a properly
     * formatted address. See {parseAddress-string} requirements.
     */
    function tryParseAddress(string memory input) internal pure returns (bool success, address value) {
        return tryParseAddress(input, 0, bytes(input).length);
    }

    /**
     * @dev Variant of {parseAddress-string-uint256-uint256} that returns false if the parsing fails because input is not a properly
     * formatted address. See {parseAddress-string-uint256-uint256} requirements.
     */
    function tryParseAddress(
        string memory input,
        uint256 begin,
        uint256 end
    ) internal pure returns (bool success, address value) {
        if (end > bytes(input).length || begin > end) return (false, address(0));

        bool hasPrefix = (end > begin + 1) && bytes2(_unsafeReadBytesOffset(bytes(input), begin)) == bytes2("0x"); // don't do out-of-bound (possibly unsafe) read if sub-string is empty
        uint256 expectedLength = 40 + hasPrefix.toUint() * 2;

        // check that input is the correct length
        if (end - begin == expectedLength) {
            // length guarantees that this does not overflow, and value is at most type(uint160).max
            (bool s, uint256 v) = _tryParseHexUintUncheckedBounds(input, begin, end);
            return (s, address(uint160(v)));
        } else {
            return (false, address(0));
        }
    }

    function _tryParseChr(bytes1 chr) private pure returns (uint8) {
        uint8 value = uint8(chr);

        // Try to parse `chr`:
        // - Case 1: [0-9]
        // - Case 2: [a-f]
        // - Case 3: [A-F]
        // - otherwise not supported
        unchecked {
            if (value > 47 && value < 58) value -= 48;
            else if (value > 96 && value < 103) value -= 87;
            else if (value > 64 && value < 71) value -= 55;
            else return type(uint8).max;
        }

        return value;
    }

    /**
     * @dev Escape special characters in JSON strings. This can be useful to prevent JSON injection in NFT metadata.
     *
     * WARNING: This function should only be used in double quoted JSON strings. Single quotes are not escaped.
     *
     * NOTE: This function escapes all unicode characters, and not just the ones in ranges defined in section 2.5 of
     * RFC-4627 (U+0000 to U+001F, U+0022 and U+005C). ECMAScript's `JSON.parse` does recover escaped unicode
     * characters that are not in this range, but other tooling may provide different results.
     */
    function escapeJSON(string memory input) internal pure returns (string memory) {
        bytes memory buffer = bytes(input);
        bytes memory output = new bytes(2 * buffer.length); // worst case scenario
        uint256 outputLength = 0;

        for (uint256 i; i < buffer.length; ++i) {
            bytes1 char = bytes1(_unsafeReadBytesOffset(buffer, i));
            if (((SPECIAL_CHARS_LOOKUP & (1 << uint8(char))) != 0)) {
                output[outputLength++] = "\\";
                if (char == 0x08) output[outputLength++] = "b";
                else if (char == 0x09) output[outputLength++] = "t";
                else if (char == 0x0a) output[outputLength++] = "n";
                else if (char == 0x0c) output[outputLength++] = "f";
                else if (char == 0x0d) output[outputLength++] = "r";
                else if (char == 0x5c) output[outputLength++] = "\\";
                else if (char == 0x22) {
                    // solhint-disable-next-line quotes
                    output[outputLength++] = '"';
                }
            } else {
                output[outputLength++] = char;
            }
        }
        // write the actual length and deallocate unused memory
        assembly ("memory-safe") {
            mstore(output, outputLength)
            mstore(0x40, add(output, shl(5, shr(5, add(outputLength, 63)))))
        }

        return string(output);
    }

    /**
     * @dev Reads a bytes32 from a bytes array without bounds checking.
     *
     * NOTE: making this function internal would mean it could be used with memory unsafe offset, and marking the
     * assembly block as such would prevent some optimizations.
     */
    function _unsafeReadBytesOffset(bytes memory buffer, uint256 offset) private pure returns (bytes32 value) {
        // This is not memory safe in the general case, but all calls to this private function are within bounds.
        assembly ("memory-safe") {
            value := mload(add(buffer, add(0x20, offset)))
        }
    }
}

// File: @openzeppelin/contracts/utils/introspection/ERC165.sol


// OpenZeppelin Contracts (last updated v5.1.0) (utils/introspection/ERC165.sol)

pragma solidity ^0.8.20;


/**
 * @dev Implementation of the {IERC165} interface.
 *
 * Contracts that want to implement ERC-165 should inherit from this contract and override {supportsInterface} to check
 * for the additional interface id that will be supported. For example:
 *
 * ```solidity
 * function supportsInterface(bytes4 interfaceId) public view virtual override returns (bool) {
 *     return interfaceId == type(MyInterface).interfaceId || super.supportsInterface(interfaceId);
 * }
 * ```
 */
abstract contract ERC165 is IERC165 {
    /**
     * @dev See {IERC165-supportsInterface}.
     */
    function supportsInterface(bytes4 interfaceId) public view virtual returns (bool) {
        return interfaceId == type(IERC165).interfaceId;
    }
}

// File: @openzeppelin/contracts/token/ERC721/ERC721.sol


// OpenZeppelin Contracts (last updated v5.1.0) (token/ERC721/ERC721.sol)

pragma solidity ^0.8.20;








/**
 * @dev Implementation of https://eips.ethereum.org/EIPS/eip-721[ERC-721] Non-Fungible Token Standard, including
 * the Metadata extension, but not including the Enumerable extension, which is available separately as
 * {ERC721Enumerable}.
 */
abstract contract ERC721 is Context, ERC165, IERC721, IERC721Metadata, IERC721Errors {
    using Strings for uint256;

    // Token name
    string private _name;

    // Token symbol
    string private _symbol;

    mapping(uint256 tokenId => address) private _owners;

    mapping(address owner => uint256) private _balances;

    mapping(uint256 tokenId => address) private _tokenApprovals;

    mapping(address owner => mapping(address operator => bool)) private _operatorApprovals;

    /**
     * @dev Initializes the contract by setting a `name` and a `symbol` to the token collection.
     */
    constructor(string memory name_, string memory symbol_) {
        _name = name_;
        _symbol = symbol_;
    }

    /**
     * @dev See {IERC165-supportsInterface}.
     */
    function supportsInterface(bytes4 interfaceId) public view virtual override(ERC165, IERC165) returns (bool) {
        return
            interfaceId == type(IERC721).interfaceId ||
            interfaceId == type(IERC721Metadata).interfaceId ||
            super.supportsInterface(interfaceId);
    }

    /**
     * @dev See {IERC721-balanceOf}.
     */
    function balanceOf(address owner) public view virtual returns (uint256) {
        if (owner == address(0)) {
            revert ERC721InvalidOwner(address(0));
        }
        return _balances[owner];
    }

    /**
     * @dev See {IERC721-ownerOf}.
     */
    function ownerOf(uint256 tokenId) public view virtual returns (address) {
        return _requireOwned(tokenId);
    }

    /**
     * @dev See {IERC721Metadata-name}.
     */
    function name() public view virtual returns (string memory) {
        return _name;
    }

    /**
     * @dev See {IERC721Metadata-symbol}.
     */
    function symbol() public view virtual returns (string memory) {
        return _symbol;
    }

    /**
     * @dev See {IERC721Metadata-tokenURI}.
     */
    function tokenURI(uint256 tokenId) public view virtual returns (string memory) {
        _requireOwned(tokenId);

        string memory baseURI = _baseURI();
        return bytes(baseURI).length > 0 ? string.concat(baseURI, tokenId.toString()) : "";
    }

    /**
     * @dev Base URI for computing {tokenURI}. If set, the resulting URI for each
     * token will be the concatenation of the `baseURI` and the `tokenId`. Empty
     * by default, can be overridden in child contracts.
     */
    function _baseURI() internal view virtual returns (string memory) {
        return "";
    }

    /**
     * @dev See {IERC721-approve}.
     */
    function approve(address to, uint256 tokenId) public virtual {
        _approve(to, tokenId, _msgSender());
    }

    /**
     * @dev See {IERC721-getApproved}.
     */
    function getApproved(uint256 tokenId) public view virtual returns (address) {
        _requireOwned(tokenId);

        return _getApproved(tokenId);
    }

    /**
     * @dev See {IERC721-setApprovalForAll}.
     */
    function setApprovalForAll(address operator, bool approved) public virtual {
        _setApprovalForAll(_msgSender(), operator, approved);
    }

    /**
     * @dev See {IERC721-isApprovedForAll}.
     */
    function isApprovedForAll(address owner, address operator) public view virtual returns (bool) {
        return _operatorApprovals[owner][operator];
    }

    /**
     * @dev See {IERC721-transferFrom}.
     */
    function transferFrom(address from, address to, uint256 tokenId) public virtual {
        if (to == address(0)) {
            revert ERC721InvalidReceiver(address(0));
        }
        // Setting an "auth" arguments enables the `_isAuthorized` check which verifies that the token exists
        // (from != 0). Therefore, it is not needed to verify that the return value is not 0 here.
        address previousOwner = _update(to, tokenId, _msgSender());
        if (previousOwner != from) {
            revert ERC721IncorrectOwner(from, tokenId, previousOwner);
        }
    }

    /**
     * @dev See {IERC721-safeTransferFrom}.
     */
    function safeTransferFrom(address from, address to, uint256 tokenId) public {
        safeTransferFrom(from, to, tokenId, "");
    }

    /**
     * @dev See {IERC721-safeTransferFrom}.
     */
    function safeTransferFrom(address from, address to, uint256 tokenId, bytes memory data) public virtual {
        transferFrom(from, to, tokenId);
        ERC721Utils.checkOnERC721Received(_msgSender(), from, to, tokenId, data);
    }

    /**
     * @dev Returns the owner of the `tokenId`. Does NOT revert if token doesn't exist
     *
     * IMPORTANT: Any overrides to this function that add ownership of tokens not tracked by the
     * core ERC-721 logic MUST be matched with the use of {_increaseBalance} to keep balances
     * consistent with ownership. The invariant to preserve is that for any address `a` the value returned by
     * `balanceOf(a)` must be equal to the number of tokens such that `_ownerOf(tokenId)` is `a`.
     */
    function _ownerOf(uint256 tokenId) internal view virtual returns (address) {
        return _owners[tokenId];
    }

    /**
     * @dev Returns the approved address for `tokenId`. Returns 0 if `tokenId` is not minted.
     */
    function _getApproved(uint256 tokenId) internal view virtual returns (address) {
        return _tokenApprovals[tokenId];
    }

    /**
     * @dev Returns whether `spender` is allowed to manage `owner`'s tokens, or `tokenId` in
     * particular (ignoring whether it is owned by `owner`).
     *
     * WARNING: This function assumes that `owner` is the actual owner of `tokenId` and does not verify this
     * assumption.
     */
    function _isAuthorized(address owner, address spender, uint256 tokenId) internal view virtual returns (bool) {
        return
            spender != address(0) &&
            (owner == spender || isApprovedForAll(owner, spender) || _getApproved(tokenId) == spender);
    }

    /**
     * @dev Checks if `spender` can operate on `tokenId`, assuming the provided `owner` is the actual owner.
     * Reverts if:
     * - `spender` does not have approval from `owner` for `tokenId`.
     * - `spender` does not have approval to manage all of `owner`'s assets.
     *
     * WARNING: This function assumes that `owner` is the actual owner of `tokenId` and does not verify this
     * assumption.
     */
    function _checkAuthorized(address owner, address spender, uint256 tokenId) internal view virtual {
        if (!_isAuthorized(owner, spender, tokenId)) {
            if (owner == address(0)) {
                revert ERC721NonexistentToken(tokenId);
            } else {
                revert ERC721InsufficientApproval(spender, tokenId);
            }
        }
    }

    /**
     * @dev Unsafe write access to the balances, used by extensions that "mint" tokens using an {ownerOf} override.
     *
     * NOTE: the value is limited to type(uint128).max. This protect against _balance overflow. It is unrealistic that
     * a uint256 would ever overflow from increments when these increments are bounded to uint128 values.
     *
     * WARNING: Increasing an account's balance using this function tends to be paired with an override of the
     * {_ownerOf} function to resolve the ownership of the corresponding tokens so that balances and ownership
     * remain consistent with one another.
     */
    function _increaseBalance(address account, uint128 value) internal virtual {
        unchecked {
            _balances[account] += value;
        }
    }

    /**
     * @dev Transfers `tokenId` from its current owner to `to`, or alternatively mints (or burns) if the current owner
     * (or `to`) is the zero address. Returns the owner of the `tokenId` before the update.
     *
     * The `auth` argument is optional. If the value passed is non 0, then this function will check that
     * `auth` is either the owner of the token, or approved to operate on the token (by the owner).
     *
     * Emits a {Transfer} event.
     *
     * NOTE: If overriding this function in a way that tracks balances, see also {_increaseBalance}.
     */
    function _update(address to, uint256 tokenId, address auth) internal virtual returns (address) {
        address from = _ownerOf(tokenId);

        // Perform (optional) operator check
        if (auth != address(0)) {
            _checkAuthorized(from, auth, tokenId);
        }

        // Execute the update
        if (from != address(0)) {
            // Clear approval. No need to re-authorize or emit the Approval event
            _approve(address(0), tokenId, address(0), false);

            unchecked {
                _balances[from] -= 1;
            }
        }

        if (to != address(0)) {
            unchecked {
                _balances[to] += 1;
            }
        }

        _owners[tokenId] = to;

        emit Transfer(from, to, tokenId);

        return from;
    }

    /**
     * @dev Mints `tokenId` and transfers it to `to`.
     *
     * WARNING: Usage of this method is discouraged, use {_safeMint} whenever possible
     *
     * Requirements:
     *
     * - `tokenId` must not exist.
     * - `to` cannot be the zero address.
     *
     * Emits a {Transfer} event.
     */
    function _mint(address to, uint256 tokenId) internal {
        if (to == address(0)) {
            revert ERC721InvalidReceiver(address(0));
        }
        address previousOwner = _update(to, tokenId, address(0));
        if (previousOwner != address(0)) {
            revert ERC721InvalidSender(address(0));
        }
    }

    /**
     * @dev Mints `tokenId`, transfers it to `to` and checks for `to` acceptance.
     *
     * Requirements:
     *
     * - `tokenId` must not exist.
     * - If `to` refers to a smart contract, it must implement {IERC721Receiver-onERC721Received}, which is called upon a safe transfer.
     *
     * Emits a {Transfer} event.
     */
    function _safeMint(address to, uint256 tokenId) internal {
        _safeMint(to, tokenId, "");
    }

    /**
     * @dev Same as {xref-ERC721-_safeMint-address-uint256-}[`_safeMint`], with an additional `data` parameter which is
     * forwarded in {IERC721Receiver-onERC721Received} to contract recipients.
     */
    function _safeMint(address to, uint256 tokenId, bytes memory data) internal virtual {
        _mint(to, tokenId);
        ERC721Utils.checkOnERC721Received(_msgSender(), address(0), to, tokenId, data);
    }

    /**
     * @dev Destroys `tokenId`.
     * The approval is cleared when the token is burned.
     * This is an internal function that does not check if the sender is authorized to operate on the token.
     *
     * Requirements:
     *
     * - `tokenId` must exist.
     *
     * Emits a {Transfer} event.
     */
    function _burn(uint256 tokenId) internal {
        address previousOwner = _update(address(0), tokenId, address(0));
        if (previousOwner == address(0)) {
            revert ERC721NonexistentToken(tokenId);
        }
    }

    /**
     * @dev Transfers `tokenId` from `from` to `to`.
     *  As opposed to {transferFrom}, this imposes no restrictions on msg.sender.
     *
     * Requirements:
     *
     * - `to` cannot be the zero address.
     * - `tokenId` token must be owned by `from`.
     *
     * Emits a {Transfer} event.
     */
    function _transfer(address from, address to, uint256 tokenId) internal {
        if (to == address(0)) {
            revert ERC721InvalidReceiver(address(0));
        }
        address previousOwner = _update(to, tokenId, address(0));
        if (previousOwner == address(0)) {
            revert ERC721NonexistentToken(tokenId);
        } else if (previousOwner != from) {
            revert ERC721IncorrectOwner(from, tokenId, previousOwner);
        }
    }

    /**
     * @dev Safely transfers `tokenId` token from `from` to `to`, checking that contract recipients
     * are aware of the ERC-721 standard to prevent tokens from being forever locked.
     *
     * `data` is additional data, it has no specified format and it is sent in call to `to`.
     *
     * This internal function is like {safeTransferFrom} in the sense that it invokes
     * {IERC721Receiver-onERC721Received} on the receiver, and can be used to e.g.
     * implement alternative mechanisms to perform token transfer, such as signature-based.
     *
     * Requirements:
     *
     * - `tokenId` token must exist and be owned by `from`.
     * - `to` cannot be the zero address.
     * - `from` cannot be the zero address.
     * - If `to` refers to a smart contract, it must implement {IERC721Receiver-onERC721Received}, which is called upon a safe transfer.
     *
     * Emits a {Transfer} event.
     */
    function _safeTransfer(address from, address to, uint256 tokenId) internal {
        _safeTransfer(from, to, tokenId, "");
    }

    /**
     * @dev Same as {xref-ERC721-_safeTransfer-address-address-uint256-}[`_safeTransfer`], with an additional `data` parameter which is
     * forwarded in {IERC721Receiver-onERC721Received} to contract recipients.
     */
    function _safeTransfer(address from, address to, uint256 tokenId, bytes memory data) internal virtual {
        _transfer(from, to, tokenId);
        ERC721Utils.checkOnERC721Received(_msgSender(), from, to, tokenId, data);
    }

    /**
     * @dev Approve `to` to operate on `tokenId`
     *
     * The `auth` argument is optional. If the value passed is non 0, then this function will check that `auth` is
     * either the owner of the token, or approved to operate on all tokens held by this owner.
     *
     * Emits an {Approval} event.
     *
     * Overrides to this logic should be done to the variant with an additional `bool emitEvent` argument.
     */
    function _approve(address to, uint256 tokenId, address auth) internal {
        _approve(to, tokenId, auth, true);
    }

    /**
     * @dev Variant of `_approve` with an optional flag to enable or disable the {Approval} event. The event is not
     * emitted in the context of transfers.
     */
    function _approve(address to, uint256 tokenId, address auth, bool emitEvent) internal virtual {
        // Avoid reading the owner unless necessary
        if (emitEvent || auth != address(0)) {
            address owner = _requireOwned(tokenId);

            // We do not use _isAuthorized because single-token approvals should not be able to call approve
            if (auth != address(0) && owner != auth && !isApprovedForAll(owner, auth)) {
                revert ERC721InvalidApprover(auth);
            }

            if (emitEvent) {
                emit Approval(owner, to, tokenId);
            }
        }

        _tokenApprovals[tokenId] = to;
    }

    /**
     * @dev Approve `operator` to operate on all of `owner` tokens
     *
     * Requirements:
     * - operator can't be the address zero.
     *
     * Emits an {ApprovalForAll} event.
     */
    function _setApprovalForAll(address owner, address operator, bool approved) internal virtual {
        if (operator == address(0)) {
            revert ERC721InvalidOperator(operator);
        }
        _operatorApprovals[owner][operator] = approved;
        emit ApprovalForAll(owner, operator, approved);
    }

    /**
     * @dev Reverts if the `tokenId` doesn't have a current owner (it hasn't been minted, or it has been burned).
     * Returns the owner.
     *
     * Overrides to ownership logic should be done to {_ownerOf}.
     */
    function _requireOwned(uint256 tokenId) internal view returns (address) {
        address owner = _ownerOf(tokenId);
        if (owner == address(0)) {
            revert ERC721NonexistentToken(tokenId);
        }
        return owner;
    }
}

// File: @openzeppelin/contracts/interfaces/IERC165.sol


// OpenZeppelin Contracts (last updated v5.0.0) (interfaces/IERC165.sol)

pragma solidity ^0.8.20;


// File: @openzeppelin/contracts/interfaces/IERC721.sol


// OpenZeppelin Contracts (last updated v5.0.0) (interfaces/IERC721.sol)

pragma solidity ^0.8.20;


// File: @openzeppelin/contracts/interfaces/IERC4906.sol


// OpenZeppelin Contracts (last updated v5.1.0) (interfaces/IERC4906.sol)

pragma solidity ^0.8.20;



/// @title ERC-721 Metadata Update Extension
interface IERC4906 is IERC165, IERC721 {
    /// @dev This event emits when the metadata of a token is changed.
    /// So that the third-party platforms such as NFT market could
    /// timely update the images and related attributes of the NFT.
    event MetadataUpdate(uint256 _tokenId);

    /// @dev This event emits when the metadata of a range of tokens is changed.
    /// So that the third-party platforms such as NFT market could
    /// timely update the images and related attributes of the NFTs.
    event BatchMetadataUpdate(uint256 _fromTokenId, uint256 _toTokenId);
}

// File: @openzeppelin/contracts/token/ERC721/extensions/ERC721URIStorage.sol


// OpenZeppelin Contracts (last updated v5.3.0) (token/ERC721/extensions/ERC721URIStorage.sol)

pragma solidity ^0.8.20;





/**
 * @dev ERC-721 token with storage based token URI management.
 */
abstract contract ERC721URIStorage is IERC4906, ERC721 {
    using Strings for uint256;

    // Interface ID as defined in ERC-4906. This does not correspond to a traditional interface ID as ERC-4906 only
    // defines events and does not include any external function.
    bytes4 private constant ERC4906_INTERFACE_ID = bytes4(0x49064906);

    // Optional mapping for token URIs
    mapping(uint256 tokenId => string) private _tokenURIs;

    /**
     * @dev See {IERC165-supportsInterface}
     */
    function supportsInterface(bytes4 interfaceId) public view virtual override(ERC721, IERC165) returns (bool) {
        return interfaceId == ERC4906_INTERFACE_ID || super.supportsInterface(interfaceId);
    }

    /**
     * @dev See {IERC721Metadata-tokenURI}.
     */
    function tokenURI(uint256 tokenId) public view virtual override returns (string memory) {
        _requireOwned(tokenId);

        string memory _tokenURI = _tokenURIs[tokenId];
        string memory base = _baseURI();

        // If there is no base URI, return the token URI.
        if (bytes(base).length == 0) {
            return _tokenURI;
        }
        // If both are set, concatenate the baseURI and tokenURI (via string.concat).
        if (bytes(_tokenURI).length > 0) {
            return string.concat(base, _tokenURI);
        }

        return super.tokenURI(tokenId);
    }

    /**
     * @dev Sets `_tokenURI` as the tokenURI of `tokenId`.
     *
     * Emits {IERC4906-MetadataUpdate}.
     */
    function _setTokenURI(uint256 tokenId, string memory _tokenURI) internal virtual {
        _tokenURIs[tokenId] = _tokenURI;
        emit MetadataUpdate(tokenId);
    }
}

// File: @openzeppelin/contracts/access/Ownable.sol


// OpenZeppelin Contracts (last updated v5.0.0) (access/Ownable.sol)

pragma solidity ^0.8.20;


/**
 * @dev Contract module which provides a basic access control mechanism, where
 * there is an account (an owner) that can be granted exclusive access to
 * specific functions.
 *
 * The initial owner is set to the address provided by the deployer. This can
 * later be changed with {transferOwnership}.
 *
 * This module is used through inheritance. It will make available the modifier
 * `onlyOwner`, which can be applied to your functions to restrict their use to
 * the owner.
 */
abstract contract Ownable is Context {
    address private _owner;

    /**
     * @dev The caller account is not authorized to perform an operation.
     */
    error OwnableUnauthorizedAccount(address account);

    /**
     * @dev The owner is not a valid owner account. (eg. `address(0)`)
     */
    error OwnableInvalidOwner(address owner);

    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);

    /**
     * @dev Initializes the contract setting the address provided by the deployer as the initial owner.
     */
    constructor(address initialOwner) {
        if (initialOwner == address(0)) {
            revert OwnableInvalidOwner(address(0));
        }
        _transferOwnership(initialOwner);
    }

    /**
     * @dev Throws if called by any account other than the owner.
     */
    modifier onlyOwner() {
        _checkOwner();
        _;
    }

    /**
     * @dev Returns the address of the current owner.
     */
    function owner() public view virtual returns (address) {
        return _owner;
    }

    /**
     * @dev Throws if the sender is not the owner.
     */
    function _checkOwner() internal view virtual {
        if (owner() != _msgSender()) {
            revert OwnableUnauthorizedAccount(_msgSender());
        }
    }

    /**
     * @dev Leaves the contract without owner. It will not be possible to call
     * `onlyOwner` functions. Can only be called by the current owner.
     *
     * NOTE: Renouncing ownership will leave the contract without an owner,
     * thereby disabling any functionality that is only available to the owner.
     */
    function renounceOwnership() public virtual onlyOwner {
        _transferOwnership(address(0));
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     * Can only be called by the current owner.
     */
    function transferOwnership(address newOwner) public virtual onlyOwner {
        if (newOwner == address(0)) {
            revert OwnableInvalidOwner(address(0));
        }
        _transferOwnership(newOwner);
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     * Internal function without access restriction.
     */
    function _transferOwnership(address newOwner) internal virtual {
        address oldOwner = _owner;
        _owner = newOwner;
        emit OwnershipTransferred(oldOwner, newOwner);
    }
}

// File: @openzeppelin/contracts/utils/Pausable.sol


// OpenZeppelin Contracts (last updated v5.3.0) (utils/Pausable.sol)

pragma solidity ^0.8.20;


/**
 * @dev Contract module which allows children to implement an emergency stop
 * mechanism that can be triggered by an authorized account.
 *
 * This module is used through inheritance. It will make available the
 * modifiers `whenNotPaused` and `whenPaused`, which can be applied to
 * the functions of your contract. Note that they will not be pausable by
 * simply including this module, only once the modifiers are put in place.
 */
abstract contract Pausable is Context {
    bool private _paused;

    /**
     * @dev Emitted when the pause is triggered by `account`.
     */
    event Paused(address account);

    /**
     * @dev Emitted when the pause is lifted by `account`.
     */
    event Unpaused(address account);

    /**
     * @dev The operation failed because the contract is paused.
     */
    error EnforcedPause();

    /**
     * @dev The operation failed because the contract is not paused.
     */
    error ExpectedPause();

    /**
     * @dev Modifier to make a function callable only when the contract is not paused.
     *
     * Requirements:
     *
     * - The contract must not be paused.
     */
    modifier whenNotPaused() {
        _requireNotPaused();
        _;
    }

    /**
     * @dev Modifier to make a function callable only when the contract is paused.
     *
     * Requirements:
     *
     * - The contract must be paused.
     */
    modifier whenPaused() {
        _requirePaused();
        _;
    }

    /**
     * @dev Returns true if the contract is paused, and false otherwise.
     */
    function paused() public view virtual returns (bool) {
        return _paused;
    }

    /**
     * @dev Throws if the contract is paused.
     */
    function _requireNotPaused() internal view virtual {
        if (paused()) {
            revert EnforcedPause();
        }
    }

    /**
     * @dev Throws if the contract is not paused.
     */
    function _requirePaused() internal view virtual {
        if (!paused()) {
            revert ExpectedPause();
        }
    }

    /**
     * @dev Triggers stopped state.
     *
     * Requirements:
     *
     * - The contract must not be paused.
     */
    function _pause() internal virtual whenNotPaused {
        _paused = true;
        emit Paused(_msgSender());
    }

    /**
     * @dev Returns to normal state.
     *
     * Requirements:
     *
     * - The contract must be paused.
     */
    function _unpause() internal virtual whenPaused {
        _paused = false;
        emit Unpaused(_msgSender());
    }
}

// File: contracts/farmhousenft.sol


pragma solidity ^0.8.20;






contract Farmhouse is ERC721, ERC721URIStorage, Ownable, Pausable {
    uint256 private _tokenIdCounter;
    uint256 public mintPrice; // Price in Ether (in wei)
    string public baseTokenURI; // URI for the single JSON metadata
    IERC721 public tradeNFTContract; // External NFT contract for trading

    // Events
    event NFTPurchased(address indexed buyer, uint256 tokenId, uint256 price);
    event NFTTraded(address indexed trader, uint256 tradedTokenId, uint256 mintedTokenId);

    // Constructor
    constructor(
        address _tradeNFTContractAddress,
        uint256 _mintPrice, // e.g., 0.1 ETH in wei (100000000000000000)
        string memory _baseTokenURI
    ) ERC721("Farmhouse", "FarmH") Ownable(msg.sender) {
        tradeNFTContract = IERC721(_tradeNFTContractAddress);
        mintPrice = _mintPrice;
        baseTokenURI = _baseTokenURI;
        _tokenIdCounter = 0;
    }

    // Mint function: Pay ETH to mint an NFT (only when not paused)
    function mintNFT() public payable whenNotPaused {
        require(msg.value >= mintPrice, "Insufficient ETH sent");

        // Mint the NFT
        uint256 newTokenId = _tokenIdCounter;
        _tokenIdCounter += 1;
        _safeMint(msg.sender, newTokenId);

        // Emit event
        emit NFTPurchased(msg.sender, newTokenId, msg.value);

        // Refund excess ETH if any
        if (msg.value > mintPrice) {
            payable(msg.sender).transfer(msg.value - mintPrice);
        }
    }

    // Mint function: Trade an NFT from the specified contract to mint
    function mintWithNFT(uint256 _tradedTokenId) public whenNotPaused {
        // Verify ownership and approval
        require(tradeNFTContract.ownerOf(_tradedTokenId) == msg.sender, "Not owner of traded NFT");
        require(tradeNFTContract.getApproved(_tradedTokenId) == address(this) || 
                tradeNFTContract.isApprovedForAll(msg.sender, address(this)), 
                "Contract not approved for NFT transfer");

        // Transfer the traded NFT to this contract
        tradeNFTContract.safeTransferFrom(msg.sender, address(this), _tradedTokenId);

        // Mint new NFT
        uint256 newTokenId = _tokenIdCounter;
        _tokenIdCounter += 1;
        _safeMint(msg.sender, newTokenId);

        // Emit event
        emit NFTTraded(msg.sender, _tradedTokenId, newTokenId);
    }

    // Override tokenURI to return the same metadata for all tokens
    function tokenURI(uint256 tokenId) public view override(ERC721, ERC721URIStorage) returns (string memory) {
        require(_ownerOf(tokenId) != address(0), "ERC721: URI query for nonexistent token");
        return baseTokenURI;
    }

    // Owner can update mint price
    function setMintPrice(uint256 _newPrice) external onlyOwner {
        mintPrice = _newPrice;
    }

    // Owner can update base URI
    function setBaseTokenURI(string memory _newBaseTokenURI) external onlyOwner {
        baseTokenURI = _newBaseTokenURI;
    }

    // Owner can withdraw collected ETH
    function withdrawETH() external onlyOwner {
        uint256 balance = address(this).balance;
        require(balance > 0, "No ETH to withdraw");
        payable(owner()).transfer(balance);
    }

    // Owner can withdraw traded NFTs
    function withdrawTradedNFT(uint256 _tokenId) external onlyOwner {
        require(tradeNFTContract.ownerOf(_tokenId) == address(this), "Contract does not own this NFT");
        tradeNFTContract.safeTransferFrom(address(this), owner(), _tokenId);
    }

    // Pause minting
    function pause() external onlyOwner {
        _pause();
    }

    // Unpause minting
    function unpause() external onlyOwner {
        _unpause();
    }

    // Required override for ERC721
    function supportsInterface(bytes4 interfaceId)
        public
        view
        override(ERC721, ERC721URIStorage)
        returns (bool)
    {
        return super.supportsInterface(interfaceId);
    }

    // Handle receiving NFTs
    function onERC721Received(
        address,
        address,
        uint256,
        bytes calldata
    ) external pure returns (bytes4) {
        return this.onERC721Received.selector;
    }

    // Fallback function to receive ETH
    receive() external payable {}
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"_tradeNFTContractAddress","type":"address"},{"internalType":"uint256","name":"_mintPrice","type":"uint256"},{"internalType":"string","name":"_baseTokenURI","type":"string"}],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"uint256","name":"tokenId","type":"uint256"},{"internalType":"address","name":"owner","type":"address"}],"name":"ERC721IncorrectOwner","type":"error"},{"inputs":[{"internalType":"address","name":"operator","type":"address"},{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"ERC721InsufficientApproval","type":"error"},{"inputs":[{"internalType":"address","name":"approver","type":"address"}],"name":"ERC721InvalidApprover","type":"error"},{"inputs":[{"internalType":"address","name":"operator","type":"address"}],"name":"ERC721InvalidOperator","type":"error"},{"inputs":[{"internalType":"address","name":"owner","type":"address"}],"name":"ERC721InvalidOwner","type":"error"},{"inputs":[{"internalType":"address","name":"receiver","type":"address"}],"name":"ERC721InvalidReceiver","type":"error"},{"inputs":[{"internalType":"address","name":"sender","type":"address"}],"name":"ERC721InvalidSender","type":"error"},{"inputs":[{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"ERC721NonexistentToken","type":"error"},{"inputs":[],"name":"EnforcedPause","type":"error"},{"inputs":[],"name":"ExpectedPause","type":"error"},{"inputs":[{"internalType":"address","name":"owner","type":"address"}],"name":"OwnableInvalidOwner","type":"error"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"OwnableUnauthorizedAccount","type":"error"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"approved","type":"address"},{"indexed":true,"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"operator","type":"address"},{"indexed":false,"internalType":"bool","name":"approved","type":"bool"}],"name":"ApprovalForAll","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_fromTokenId","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"_toTokenId","type":"uint256"}],"name":"BatchMetadataUpdate","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_tokenId","type":"uint256"}],"name":"MetadataUpdate","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"buyer","type":"address"},{"indexed":false,"internalType":"uint256","name":"tokenId","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"price","type":"uint256"}],"name":"NFTPurchased","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"trader","type":"address"},{"indexed":false,"internalType":"uint256","name":"tradedTokenId","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"mintedTokenId","type":"uint256"}],"name":"NFTTraded","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"account","type":"address"}],"name":"Paused","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":true,"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"account","type":"address"}],"name":"Unpaused","type":"event"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"approve","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"baseTokenURI","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"getApproved","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"operator","type":"address"}],"name":"isApprovedForAll","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"mintNFT","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[],"name":"mintPrice","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_tradedTokenId","type":"uint256"}],"name":"mintWithNFT","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"","type":"address"},{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"bytes","name":"","type":"bytes"}],"name":"onERC721Received","outputs":[{"internalType":"bytes4","name":"","type":"bytes4"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"ownerOf","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"pause","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"paused","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"safeTransferFrom","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"tokenId","type":"uint256"},{"internalType":"bytes","name":"data","type":"bytes"}],"name":"safeTransferFrom","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"operator","type":"address"},{"internalType":"bool","name":"approved","type":"bool"}],"name":"setApprovalForAll","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"string","name":"_newBaseTokenURI","type":"string"}],"name":"setBaseTokenURI","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_newPrice","type":"uint256"}],"name":"setMintPrice","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes4","name":"interfaceId","type":"bytes4"}],"name":"supportsInterface","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"tokenURI","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"tradeNFTContract","outputs":[{"internalType":"contract IERC721","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"transferFrom","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"unpause","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"withdrawETH","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_tokenId","type":"uint256"}],"name":"withdrawTradedNFT","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

608060405234801561000f575f5ffd5b50604051613b98380380613b9883398181016040528101906100319190610442565b336040518060400160405280600981526020017f4661726d686f75736500000000000000000000000000000000000000000000008152506040518060400160405280600581526020017f4661726d48000000000000000000000000000000000000000000000000000000815250815f90816100ac91906106b5565b5080600190816100bc91906106b5565b5050505f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff160361012f575f6040517f1e4fbdf70000000000000000000000000000000000000000000000000000000081526004016101269190610793565b60405180910390fd5b61013e816101a560201b60201c565b5082600b5f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508160098190555080600a908161019591906106b5565b505f6008819055505050506107ac565b5f60075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690508160075f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b5f604051905090565b5f5ffd5b5f5ffd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6102a282610279565b9050919050565b6102b281610298565b81146102bc575f5ffd5b50565b5f815190506102cd816102a9565b92915050565b5f819050919050565b6102e5816102d3565b81146102ef575f5ffd5b50565b5f81519050610300816102dc565b92915050565b5f5ffd5b5f5ffd5b5f601f19601f8301169050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b6103548261030e565b810181811067ffffffffffffffff821117156103735761037261031e565b5b80604052505050565b5f610385610268565b9050610391828261034b565b919050565b5f67ffffffffffffffff8211156103b0576103af61031e565b5b6103b98261030e565b9050602081019050919050565b8281835e5f83830152505050565b5f6103e66103e184610396565b61037c565b9050828152602081018484840111156104025761040161030a565b5b61040d8482856103c6565b509392505050565b5f82601f83011261042957610428610306565b5b81516104398482602086016103d4565b91505092915050565b5f5f5f6060848603121561045957610458610271565b5b5f610466868287016102bf565b9350506020610477868287016102f2565b925050604084015167ffffffffffffffff81111561049857610497610275565b5b6104a486828701610415565b9150509250925092565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806104fc57607f821691505b60208210810361050f5761050e6104b8565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f600883026105717fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82610536565b61057b8683610536565b95508019841693508086168417925050509392505050565b5f819050919050565b5f6105b66105b16105ac846102d3565b610593565b6102d3565b9050919050565b5f819050919050565b6105cf8361059c565b6105e36105db826105bd565b848454610542565b825550505050565b5f5f905090565b6105fa6105eb565b6106058184846105c6565b505050565b5b818110156106285761061d5f826105f2565b60018101905061060b565b5050565b601f82111561066d5761063e81610515565b61064784610527565b81016020851015610656578190505b61066a61066285610527565b83018261060a565b50505b505050565b5f82821c905092915050565b5f61068d5f1984600802610672565b1980831691505092915050565b5f6106a5838361067e565b9150826002028217905092915050565b6106be826104ae565b67ffffffffffffffff8111156106d7576106d661031e565b5b6106e182546104e5565b6106ec82828561062c565b5f60209050601f83116001811461071d575f841561070b578287015190505b610715858261069a565b86555061077c565b601f19841661072b86610515565b5f5b828110156107525784890151825560018201915060208501945060208101905061072d565b8683101561076f578489015161076b601f89168261067e565b8355505b6001600288020188555050505b505050505050565b61078d81610298565b82525050565b5f6020820190506107a65f830184610784565b92915050565b6133df806107b95f395ff3fe6080604052600436106101c5575f3560e01c806370a08231116100f6578063b88d4fde11610094578063e985e9c511610063578063e985e9c5146105d8578063ef13abd214610614578063f2fde38b1461063c578063f4a0a52814610664576101cc565b8063b88d4fde14610534578063c87b56dd1461055c578063d547cfb714610598578063e086e5ec146105c2576101cc565b80638456cb59116100d05780638456cb59146104a25780638da5cb5b146104b857806395d89b41146104e2578063a22cb4651461050c576101cc565b806370a0823114610428578063715018a61461046457806378457c191461047a576101cc565b806323b872dd1161016357806342842e0e1161013d57806342842e0e146103705780635c975abb146103985780636352211e146103c25780636817c76c146103fe576101cc565b806323b872dd1461030a57806330176e13146103325780633f4ba83a1461035a576101cc565b8063095ea7b31161019f578063095ea7b31461027257806314f710fe1461029a578063150b7a02146102a457806318849526146102e0576101cc565b806301ffc9a7146101d057806306fdde031461020c578063081812fc14610236576101cc565b366101cc57005b5f5ffd5b3480156101db575f5ffd5b506101f660048036038101906101f191906123fc565b61068c565b6040516102039190612441565b60405180910390f35b348015610217575f5ffd5b5061022061069d565b60405161022d91906124ca565b60405180910390f35b348015610241575f5ffd5b5061025c6004803603810190610257919061251d565b61072c565b6040516102699190612587565b60405180910390f35b34801561027d575f5ffd5b50610298600480360381019061029391906125ca565b610747565b005b6102a261075d565b005b3480156102af575f5ffd5b506102ca60048036038101906102c59190612669565b610882565b6040516102d791906126fc565b60405180910390f35b3480156102eb575f5ffd5b506102f4610896565b6040516103019190612770565b60405180910390f35b348015610315575f5ffd5b50610330600480360381019061032b9190612789565b6108bb565b005b34801561033d575f5ffd5b5061035860048036038101906103539190612901565b6109ba565b005b348015610365575f5ffd5b5061036e6109d5565b005b34801561037b575f5ffd5b5061039660048036038101906103919190612789565b6109e7565b005b3480156103a3575f5ffd5b506103ac610a06565b6040516103b99190612441565b60405180910390f35b3480156103cd575f5ffd5b506103e860048036038101906103e3919061251d565b610a1c565b6040516103f59190612587565b60405180910390f35b348015610409575f5ffd5b50610412610a2d565b60405161041f9190612957565b60405180910390f35b348015610433575f5ffd5b5061044e60048036038101906104499190612970565b610a33565b60405161045b9190612957565b60405180910390f35b34801561046f575f5ffd5b50610478610ae9565b005b348015610485575f5ffd5b506104a0600480360381019061049b919061251d565b610afc565b005b3480156104ad575f5ffd5b506104b6610c9f565b005b3480156104c3575f5ffd5b506104cc610cb1565b6040516104d99190612587565b60405180910390f35b3480156104ed575f5ffd5b506104f6610cd9565b60405161050391906124ca565b60405180910390f35b348015610517575f5ffd5b50610532600480360381019061052d91906129c5565b610d69565b005b34801561053f575f5ffd5b5061055a60048036038101906105559190612aa1565b610d7f565b005b348015610567575f5ffd5b50610582600480360381019061057d919061251d565b610da4565b60405161058f91906124ca565b60405180910390f35b3480156105a3575f5ffd5b506105ac610eac565b6040516105b991906124ca565b60405180910390f35b3480156105cd575f5ffd5b506105d6610f38565b005b3480156105e3575f5ffd5b506105fe60048036038101906105f99190612b21565b610fd4565b60405161060b9190612441565b60405180910390f35b34801561061f575f5ffd5b5061063a6004803603810190610635919061251d565b611062565b005b348015610647575f5ffd5b50610662600480360381019061065d9190612970565b611420565b005b34801561066f575f5ffd5b5061068a6004803603810190610685919061251d565b6114a4565b005b5f610696826114b6565b9050919050565b60605f80546106ab90612b8c565b80601f01602080910402602001604051908101604052809291908181526020018280546106d790612b8c565b80156107225780601f106106f957610100808354040283529160200191610722565b820191905f5260205f20905b81548152906001019060200180831161070557829003601f168201915b5050505050905090565b5f61073682611516565b506107408261159c565b9050919050565b61075982826107546115d5565b6115dc565b5050565b6107656115ee565b6009543410156107aa576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107a190612c06565b60405180910390fd5b5f6008549050600160085f8282546107c29190612c51565b925050819055506107d3338261162f565b3373ffffffffffffffffffffffffffffffffffffffff167fa6d32bfcc7cd31e4d5ee7adeef7edd500cab0e64b4a494de4f832d41fd70f56d823460405161081b929190612c84565b60405180910390a260095434111561087f573373ffffffffffffffffffffffffffffffffffffffff166108fc600954346108559190612cab565b90811502906040515f60405180830381858888f1935050505015801561087d573d5f5f3e3d5ffd5b505b50565b5f63150b7a0260e01b905095945050505050565b600b5f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361092b575f6040517f64a0ae920000000000000000000000000000000000000000000000000000000081526004016109229190612587565b60405180910390fd5b5f61093e83836109396115d5565b61164c565b90508373ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16146109b4578382826040517f64283d7b0000000000000000000000000000000000000000000000000000000081526004016109ab93929190612cde565b60405180910390fd5b50505050565b6109c2611857565b80600a90816109d19190612eaa565b5050565b6109dd611857565b6109e56118de565b565b610a0183838360405180602001604052805f815250610d7f565b505050565b5f600760149054906101000a900460ff16905090565b5f610a2682611516565b9050919050565b60095481565b5f5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610aa4575f6040517f89c62b64000000000000000000000000000000000000000000000000000000008152600401610a9b9190612587565b60405180910390fd5b60035f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b610af1611857565b610afa5f611940565b565b610b04611857565b3073ffffffffffffffffffffffffffffffffffffffff16600b5f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16636352211e836040518263ffffffff1660e01b8152600401610b759190612957565b602060405180830381865afa158015610b90573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610bb49190612f8d565b73ffffffffffffffffffffffffffffffffffffffff1614610c0a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c0190613002565b60405180910390fd5b600b5f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166342842e0e30610c50610cb1565b846040518463ffffffff1660e01b8152600401610c6f93929190613020565b5f604051808303815f87803b158015610c86575f5ffd5b505af1158015610c98573d5f5f3e3d5ffd5b5050505050565b610ca7611857565b610caf611a03565b565b5f60075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b606060018054610ce890612b8c565b80601f0160208091040260200160405190810160405280929190818152602001828054610d1490612b8c565b8015610d5f5780601f10610d3657610100808354040283529160200191610d5f565b820191905f5260205f20905b815481529060010190602001808311610d4257829003601f168201915b5050505050905090565b610d7b610d746115d5565b8383611a66565b5050565b610d8a8484846108bb565b610d9e610d956115d5565b85858585611bcf565b50505050565b60605f73ffffffffffffffffffffffffffffffffffffffff16610dc683611d7b565b73ffffffffffffffffffffffffffffffffffffffff1603610e1c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e13906130c5565b60405180910390fd5b600a8054610e2990612b8c565b80601f0160208091040260200160405190810160405280929190818152602001828054610e5590612b8c565b8015610ea05780601f10610e7757610100808354040283529160200191610ea0565b820191905f5260205f20905b815481529060010190602001808311610e8357829003601f168201915b50505050509050919050565b600a8054610eb990612b8c565b80601f0160208091040260200160405190810160405280929190818152602001828054610ee590612b8c565b8015610f305780601f10610f0757610100808354040283529160200191610f30565b820191905f5260205f20905b815481529060010190602001808311610f1357829003601f168201915b505050505081565b610f40611857565b5f4790505f8111610f86576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f7d9061312d565b60405180910390fd5b610f8e610cb1565b73ffffffffffffffffffffffffffffffffffffffff166108fc8290811502906040515f60405180830381858888f19350505050158015610fd0573d5f5f3e3d5ffd5b5050565b5f60055f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff16905092915050565b61106a6115ee565b3373ffffffffffffffffffffffffffffffffffffffff16600b5f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16636352211e836040518263ffffffff1660e01b81526004016110db9190612957565b602060405180830381865afa1580156110f6573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061111a9190612f8d565b73ffffffffffffffffffffffffffffffffffffffff1614611170576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161116790613195565b60405180910390fd5b3073ffffffffffffffffffffffffffffffffffffffff16600b5f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663081812fc836040518263ffffffff1660e01b81526004016111e19190612957565b602060405180830381865afa1580156111fc573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906112209190612f8d565b73ffffffffffffffffffffffffffffffffffffffff1614806112d95750600b5f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663e985e9c533306040518363ffffffff1660e01b81526004016112999291906131b3565b602060405180830381865afa1580156112b4573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906112d891906131ee565b5b611318576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161130f90613289565b60405180910390fd5b600b5f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166342842e0e3330846040518463ffffffff1660e01b815260040161137693929190613020565b5f604051808303815f87803b15801561138d575f5ffd5b505af115801561139f573d5f5f3e3d5ffd5b505050505f6008549050600160085f8282546113bb9190612c51565b925050819055506113cc338261162f565b3373ffffffffffffffffffffffffffffffffffffffff167f10d2330742b77e98fe58a4bbc7067cdf3d2d7dead03de91624e92dac6c241e448383604051611414929190612c84565b60405180910390a25050565b611428611857565b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603611498575f6040517f1e4fbdf700000000000000000000000000000000000000000000000000000000815260040161148f9190612587565b60405180910390fd5b6114a181611940565b50565b6114ac611857565b8060098190555050565b5f634906490660e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916148061150f575061150e82611db4565b5b9050919050565b5f5f61152183611d7b565b90505f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff160361159357826040517f7e27328900000000000000000000000000000000000000000000000000000000815260040161158a9190612957565b60405180910390fd5b80915050919050565b5f60045f8381526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b5f33905090565b6115e98383836001611e95565b505050565b6115f6610a06565b1561162d576040517fd93c066500000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b565b611648828260405180602001604052805f815250612054565b5050565b5f5f61165784611d7b565b90505f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161461169857611697818486612077565b5b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614611723576116d75f855f5f611e95565b600160035f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825403925050819055505b5f73ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff16146117a257600160035f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055505b8460025f8681526020019081526020015f205f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550838573ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a4809150509392505050565b61185f6115d5565b73ffffffffffffffffffffffffffffffffffffffff1661187d610cb1565b73ffffffffffffffffffffffffffffffffffffffff16146118dc576118a06115d5565b6040517f118cdaa70000000000000000000000000000000000000000000000000000000081526004016118d39190612587565b60405180910390fd5b565b6118e661213a565b5f600760146101000a81548160ff0219169083151502179055507f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa6119296115d5565b6040516119369190612587565b60405180910390a1565b5f60075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690508160075f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b611a0b6115ee565b6001600760146101000a81548160ff0219169083151502179055507f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258611a4f6115d5565b604051611a5c9190612587565b60405180910390a1565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603611ad657816040517f5b08ba18000000000000000000000000000000000000000000000000000000008152600401611acd9190612587565b60405180910390fd5b8060055f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c3183604051611bc29190612441565b60405180910390a3505050565b5f8373ffffffffffffffffffffffffffffffffffffffff163b1115611d74578273ffffffffffffffffffffffffffffffffffffffff1663150b7a02868685856040518563ffffffff1660e01b8152600401611c2d94939291906132f9565b6020604051808303815f875af1925050508015611c6857506040513d601f19601f82011682018060405250810190611c659190613357565b60015b611ce9573d805f8114611c96576040519150601f19603f3d011682016040523d82523d5f602084013e611c9b565b606091505b505f815103611ce157836040517f64a0ae92000000000000000000000000000000000000000000000000000000008152600401611cd89190612587565b60405180910390fd5b805181602001fd5b63150b7a0260e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614611d7257836040517f64a0ae92000000000000000000000000000000000000000000000000000000008152600401611d699190612587565b60405180910390fd5b505b5050505050565b5f60025f8381526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b5f7f80ac58cd000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161480611e7e57507f5b5e139f000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916145b80611e8e5750611e8d8261217a565b5b9050919050565b8080611ecd57505f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614155b15611fff575f611edc84611516565b90505f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614158015611f4657508273ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614155b8015611f595750611f578184610fd4565b155b15611f9b57826040517fa9fbf51f000000000000000000000000000000000000000000000000000000008152600401611f929190612587565b60405180910390fd5b8115611ffd57838573ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92560405160405180910390a45b505b8360045f8581526020019081526020015f205f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050505050565b61205e83836121e3565b6120726120696115d5565b5f858585611bcf565b505050565b6120828383836122d6565b612135575f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036120f657806040517f7e2732890000000000000000000000000000000000000000000000000000000081526004016120ed9190612957565b60405180910390fd5b81816040517f177e802f00000000000000000000000000000000000000000000000000000000815260040161212c929190613382565b60405180910390fd5b505050565b612142610a06565b612178576040517f8dfc202b00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b565b5f7f01ffc9a7000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916149050919050565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603612253575f6040517f64a0ae9200000000000000000000000000000000000000000000000000000000815260040161224a9190612587565b60405180910390fd5b5f61225f83835f61164c565b90505f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16146122d1575f6040517f73c6ac6e0000000000000000000000000000000000000000000000000000000081526004016122c89190612587565b60405180910390fd5b505050565b5f5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415801561238d57508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff16148061234e575061234d8484610fd4565b5b8061238c57508273ffffffffffffffffffffffffffffffffffffffff166123748361159c565b73ffffffffffffffffffffffffffffffffffffffff16145b5b90509392505050565b5f604051905090565b5f5ffd5b5f5ffd5b5f7fffffffff0000000000000000000000000000000000000000000000000000000082169050919050565b6123db816123a7565b81146123e5575f5ffd5b50565b5f813590506123f6816123d2565b92915050565b5f602082840312156124115761241061239f565b5b5f61241e848285016123e8565b91505092915050565b5f8115159050919050565b61243b81612427565b82525050565b5f6020820190506124545f830184612432565b92915050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f61249c8261245a565b6124a68185612464565b93506124b6818560208601612474565b6124bf81612482565b840191505092915050565b5f6020820190508181035f8301526124e28184612492565b905092915050565b5f819050919050565b6124fc816124ea565b8114612506575f5ffd5b50565b5f81359050612517816124f3565b92915050565b5f602082840312156125325761253161239f565b5b5f61253f84828501612509565b91505092915050565b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f61257182612548565b9050919050565b61258181612567565b82525050565b5f60208201905061259a5f830184612578565b92915050565b6125a981612567565b81146125b3575f5ffd5b50565b5f813590506125c4816125a0565b92915050565b5f5f604083850312156125e0576125df61239f565b5b5f6125ed858286016125b6565b92505060206125fe85828601612509565b9150509250929050565b5f5ffd5b5f5ffd5b5f5ffd5b5f5f83601f84011261262957612628612608565b5b8235905067ffffffffffffffff8111156126465761264561260c565b5b60208301915083600182028301111561266257612661612610565b5b9250929050565b5f5f5f5f5f608086880312156126825761268161239f565b5b5f61268f888289016125b6565b95505060206126a0888289016125b6565b94505060406126b188828901612509565b935050606086013567ffffffffffffffff8111156126d2576126d16123a3565b5b6126de88828901612614565b92509250509295509295909350565b6126f6816123a7565b82525050565b5f60208201905061270f5f8301846126ed565b92915050565b5f819050919050565b5f61273861273361272e84612548565b612715565b612548565b9050919050565b5f6127498261271e565b9050919050565b5f61275a8261273f565b9050919050565b61276a81612750565b82525050565b5f6020820190506127835f830184612761565b92915050565b5f5f5f606084860312156127a05761279f61239f565b5b5f6127ad868287016125b6565b93505060206127be868287016125b6565b92505060406127cf86828701612509565b9150509250925092565b5f5ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b61281382612482565b810181811067ffffffffffffffff82111715612832576128316127dd565b5b80604052505050565b5f612844612396565b9050612850828261280a565b919050565b5f67ffffffffffffffff82111561286f5761286e6127dd565b5b61287882612482565b9050602081019050919050565b828183375f83830152505050565b5f6128a56128a084612855565b61283b565b9050828152602081018484840111156128c1576128c06127d9565b5b6128cc848285612885565b509392505050565b5f82601f8301126128e8576128e7612608565b5b81356128f8848260208601612893565b91505092915050565b5f602082840312156129165761291561239f565b5b5f82013567ffffffffffffffff811115612933576129326123a3565b5b61293f848285016128d4565b91505092915050565b612951816124ea565b82525050565b5f60208201905061296a5f830184612948565b92915050565b5f602082840312156129855761298461239f565b5b5f612992848285016125b6565b91505092915050565b6129a481612427565b81146129ae575f5ffd5b50565b5f813590506129bf8161299b565b92915050565b5f5f604083850312156129db576129da61239f565b5b5f6129e8858286016125b6565b92505060206129f9858286016129b1565b9150509250929050565b5f67ffffffffffffffff821115612a1d57612a1c6127dd565b5b612a2682612482565b9050602081019050919050565b5f612a45612a4084612a03565b61283b565b905082815260208101848484011115612a6157612a606127d9565b5b612a6c848285612885565b509392505050565b5f82601f830112612a8857612a87612608565b5b8135612a98848260208601612a33565b91505092915050565b5f5f5f5f60808587031215612ab957612ab861239f565b5b5f612ac6878288016125b6565b9450506020612ad7878288016125b6565b9350506040612ae887828801612509565b925050606085013567ffffffffffffffff811115612b0957612b086123a3565b5b612b1587828801612a74565b91505092959194509250565b5f5f60408385031215612b3757612b3661239f565b5b5f612b44858286016125b6565b9250506020612b55858286016125b6565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f6002820490506001821680612ba357607f821691505b602082108103612bb657612bb5612b5f565b5b50919050565b7f496e73756666696369656e74204554482073656e7400000000000000000000005f82015250565b5f612bf0601583612464565b9150612bfb82612bbc565b602082019050919050565b5f6020820190508181035f830152612c1d81612be4565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f612c5b826124ea565b9150612c66836124ea565b9250828201905080821115612c7e57612c7d612c24565b5b92915050565b5f604082019050612c975f830185612948565b612ca46020830184612948565b9392505050565b5f612cb5826124ea565b9150612cc0836124ea565b9250828203905081811115612cd857612cd7612c24565b5b92915050565b5f606082019050612cf15f830186612578565b612cfe6020830185612948565b612d0b6040830184612578565b949350505050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f60088302612d6f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82612d34565b612d798683612d34565b95508019841693508086168417925050509392505050565b5f612dab612da6612da1846124ea565b612715565b6124ea565b9050919050565b5f819050919050565b612dc483612d91565b612dd8612dd082612db2565b848454612d40565b825550505050565b5f5f905090565b612def612de0565b612dfa818484612dbb565b505050565b5b81811015612e1d57612e125f82612de7565b600181019050612e00565b5050565b601f821115612e6257612e3381612d13565b612e3c84612d25565b81016020851015612e4b578190505b612e5f612e5785612d25565b830182612dff565b50505b505050565b5f82821c905092915050565b5f612e825f1984600802612e67565b1980831691505092915050565b5f612e9a8383612e73565b9150826002028217905092915050565b612eb38261245a565b67ffffffffffffffff811115612ecc57612ecb6127dd565b5b612ed68254612b8c565b612ee1828285612e21565b5f60209050601f831160018114612f12575f8415612f00578287015190505b612f0a8582612e8f565b865550612f71565b601f198416612f2086612d13565b5f5b82811015612f4757848901518255600182019150602085019450602081019050612f22565b86831015612f645784890151612f60601f891682612e73565b8355505b6001600288020188555050505b505050505050565b5f81519050612f87816125a0565b92915050565b5f60208284031215612fa257612fa161239f565b5b5f612faf84828501612f79565b91505092915050565b7f436f6e747261637420646f6573206e6f74206f776e2074686973204e465400005f82015250565b5f612fec601e83612464565b9150612ff782612fb8565b602082019050919050565b5f6020820190508181035f83015261301981612fe0565b9050919050565b5f6060820190506130335f830186612578565b6130406020830185612578565b61304d6040830184612948565b949350505050565b7f4552433732313a2055524920717565727920666f72206e6f6e6578697374656e5f8201527f7420746f6b656e00000000000000000000000000000000000000000000000000602082015250565b5f6130af602783612464565b91506130ba82613055565b604082019050919050565b5f6020820190508181035f8301526130dc816130a3565b9050919050565b7f4e6f2045544820746f20776974686472617700000000000000000000000000005f82015250565b5f613117601283612464565b9150613122826130e3565b602082019050919050565b5f6020820190508181035f8301526131448161310b565b9050919050565b7f4e6f74206f776e6572206f6620747261646564204e46540000000000000000005f82015250565b5f61317f601783612464565b915061318a8261314b565b602082019050919050565b5f6020820190508181035f8301526131ac81613173565b9050919050565b5f6040820190506131c65f830185612578565b6131d36020830184612578565b9392505050565b5f815190506131e88161299b565b92915050565b5f602082840312156132035761320261239f565b5b5f613210848285016131da565b91505092915050565b7f436f6e7472616374206e6f7420617070726f76656420666f72204e46542074725f8201527f616e736665720000000000000000000000000000000000000000000000000000602082015250565b5f613273602683612464565b915061327e82613219565b604082019050919050565b5f6020820190508181035f8301526132a081613267565b9050919050565b5f81519050919050565b5f82825260208201905092915050565b5f6132cb826132a7565b6132d581856132b1565b93506132e5818560208601612474565b6132ee81612482565b840191505092915050565b5f60808201905061330c5f830187612578565b6133196020830186612578565b6133266040830185612948565b818103606083015261333881846132c1565b905095945050505050565b5f81519050613351816123d2565b92915050565b5f6020828403121561336c5761336b61239f565b5b5f61337984828501613343565b91505092915050565b5f6040820190506133955f830185612578565b6133a26020830184612948565b939250505056fea26469706673582212202e9f0ce104343a60281bbb0d951335fd30362acfdf9e458b39710ea8a256c45064736f6c634300081e0033000000000000000000000000453b0b950872e6248b7e3f0378cdfd93945289af0000000000000000000000000000000000000000000000056bc75e2d631000000000000000000000000000000000000000000000000000000000000000000060000000000000000000000000000000000000000000000000000000000000005d68747470733a2f2f676174657761792e70696e6174612e636c6f75642f697066732f6261666b7265696272686973717a7762677467333668733274656a76666177616e756175776e7771696b686a726a71637737633363727176766d34000000

0x6080604052600436106101c5575f3560e01c806370a08231116100f6578063b88d4fde11610094578063e985e9c511610063578063e985e9c5146105d8578063ef13abd214610614578063f2fde38b1461063c578063f4a0a52814610664576101cc565b8063b88d4fde14610534578063c87b56dd1461055c578063d547cfb714610598578063e086e5ec146105c2576101cc565b80638456cb59116100d05780638456cb59146104a25780638da5cb5b146104b857806395d89b41146104e2578063a22cb4651461050c576101cc565b806370a0823114610428578063715018a61461046457806378457c191461047a576101cc565b806323b872dd1161016357806342842e0e1161013d57806342842e0e146103705780635c975abb146103985780636352211e146103c25780636817c76c146103fe576101cc565b806323b872dd1461030a57806330176e13146103325780633f4ba83a1461035a576101cc565b8063095ea7b31161019f578063095ea7b31461027257806314f710fe1461029a578063150b7a02146102a457806318849526146102e0576101cc565b806301ffc9a7146101d057806306fdde031461020c578063081812fc14610236576101cc565b366101cc57005b5f5ffd5b3480156101db575f5ffd5b506101f660048036038101906101f191906123fc565b61068c565b6040516102039190612441565b60405180910390f35b348015610217575f5ffd5b5061022061069d565b60405161022d91906124ca565b60405180910390f35b348015610241575f5ffd5b5061025c6004803603810190610257919061251d565b61072c565b6040516102699190612587565b60405180910390f35b34801561027d575f5ffd5b50610298600480360381019061029391906125ca565b610747565b005b6102a261075d565b005b3480156102af575f5ffd5b506102ca60048036038101906102c59190612669565b610882565b6040516102d791906126fc565b60405180910390f35b3480156102eb575f5ffd5b506102f4610896565b6040516103019190612770565b60405180910390f35b348015610315575f5ffd5b50610330600480360381019061032b9190612789565b6108bb565b005b34801561033d575f5ffd5b5061035860048036038101906103539190612901565b6109ba565b005b348015610365575f5ffd5b5061036e6109d5565b005b34801561037b575f5ffd5b5061039660048036038101906103919190612789565b6109e7565b005b3480156103a3575f5ffd5b506103ac610a06565b6040516103b99190612441565b60405180910390f35b3480156103cd575f5ffd5b506103e860048036038101906103e3919061251d565b610a1c565b6040516103f59190612587565b60405180910390f35b348015610409575f5ffd5b50610412610a2d565b60405161041f9190612957565b60405180910390f35b348015610433575f5ffd5b5061044e60048036038101906104499190612970565b610a33565b60405161045b9190612957565b60405180910390f35b34801561046f575f5ffd5b50610478610ae9565b005b348015610485575f5ffd5b506104a0600480360381019061049b919061251d565b610afc565b005b3480156104ad575f5ffd5b506104b6610c9f565b005b3480156104c3575f5ffd5b506104cc610cb1565b6040516104d99190612587565b60405180910390f35b3480156104ed575f5ffd5b506104f6610cd9565b60405161050391906124ca565b60405180910390f35b348015610517575f5ffd5b50610532600480360381019061052d91906129c5565b610d69565b005b34801561053f575f5ffd5b5061055a60048036038101906105559190612aa1565b610d7f565b005b348015610567575f5ffd5b50610582600480360381019061057d919061251d565b610da4565b60405161058f91906124ca565b60405180910390f35b3480156105a3575f5ffd5b506105ac610eac565b6040516105b991906124ca565b60405180910390f35b3480156105cd575f5ffd5b506105d6610f38565b005b3480156105e3575f5ffd5b506105fe60048036038101906105f99190612b21565b610fd4565b60405161060b9190612441565b60405180910390f35b34801561061f575f5ffd5b5061063a6004803603810190610635919061251d565b611062565b005b348015610647575f5ffd5b50610662600480360381019061065d9190612970565b611420565b005b34801561066f575f5ffd5b5061068a6004803603810190610685919061251d565b6114a4565b005b5f610696826114b6565b9050919050565b60605f80546106ab90612b8c565b80601f01602080910402602001604051908101604052809291908181526020018280546106d790612b8c565b80156107225780601f106106f957610100808354040283529160200191610722565b820191905f5260205f20905b81548152906001019060200180831161070557829003601f168201915b5050505050905090565b5f61073682611516565b506107408261159c565b9050919050565b61075982826107546115d5565b6115dc565b5050565b6107656115ee565b6009543410156107aa576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107a190612c06565b60405180910390fd5b5f6008549050600160085f8282546107c29190612c51565b925050819055506107d3338261162f565b3373ffffffffffffffffffffffffffffffffffffffff167fa6d32bfcc7cd31e4d5ee7adeef7edd500cab0e64b4a494de4f832d41fd70f56d823460405161081b929190612c84565b60405180910390a260095434111561087f573373ffffffffffffffffffffffffffffffffffffffff166108fc600954346108559190612cab565b90811502906040515f60405180830381858888f1935050505015801561087d573d5f5f3e3d5ffd5b505b50565b5f63150b7a0260e01b905095945050505050565b600b5f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361092b575f6040517f64a0ae920000000000000000000000000000000000000000000000000000000081526004016109229190612587565b60405180910390fd5b5f61093e83836109396115d5565b61164c565b90508373ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16146109b4578382826040517f64283d7b0000000000000000000000000000000000000000000000000000000081526004016109ab93929190612cde565b60405180910390fd5b50505050565b6109c2611857565b80600a90816109d19190612eaa565b5050565b6109dd611857565b6109e56118de565b565b610a0183838360405180602001604052805f815250610d7f565b505050565b5f600760149054906101000a900460ff16905090565b5f610a2682611516565b9050919050565b60095481565b5f5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610aa4575f6040517f89c62b64000000000000000000000000000000000000000000000000000000008152600401610a9b9190612587565b60405180910390fd5b60035f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b610af1611857565b610afa5f611940565b565b610b04611857565b3073ffffffffffffffffffffffffffffffffffffffff16600b5f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16636352211e836040518263ffffffff1660e01b8152600401610b759190612957565b602060405180830381865afa158015610b90573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610bb49190612f8d565b73ffffffffffffffffffffffffffffffffffffffff1614610c0a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c0190613002565b60405180910390fd5b600b5f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166342842e0e30610c50610cb1565b846040518463ffffffff1660e01b8152600401610c6f93929190613020565b5f604051808303815f87803b158015610c86575f5ffd5b505af1158015610c98573d5f5f3e3d5ffd5b5050505050565b610ca7611857565b610caf611a03565b565b5f60075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b606060018054610ce890612b8c565b80601f0160208091040260200160405190810160405280929190818152602001828054610d1490612b8c565b8015610d5f5780601f10610d3657610100808354040283529160200191610d5f565b820191905f5260205f20905b815481529060010190602001808311610d4257829003601f168201915b5050505050905090565b610d7b610d746115d5565b8383611a66565b5050565b610d8a8484846108bb565b610d9e610d956115d5565b85858585611bcf565b50505050565b60605f73ffffffffffffffffffffffffffffffffffffffff16610dc683611d7b565b73ffffffffffffffffffffffffffffffffffffffff1603610e1c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e13906130c5565b60405180910390fd5b600a8054610e2990612b8c565b80601f0160208091040260200160405190810160405280929190818152602001828054610e5590612b8c565b8015610ea05780601f10610e7757610100808354040283529160200191610ea0565b820191905f5260205f20905b815481529060010190602001808311610e8357829003601f168201915b50505050509050919050565b600a8054610eb990612b8c565b80601f0160208091040260200160405190810160405280929190818152602001828054610ee590612b8c565b8015610f305780601f10610f0757610100808354040283529160200191610f30565b820191905f5260205f20905b815481529060010190602001808311610f1357829003601f168201915b505050505081565b610f40611857565b5f4790505f8111610f86576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f7d9061312d565b60405180910390fd5b610f8e610cb1565b73ffffffffffffffffffffffffffffffffffffffff166108fc8290811502906040515f60405180830381858888f19350505050158015610fd0573d5f5f3e3d5ffd5b5050565b5f60055f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff16905092915050565b61106a6115ee565b3373ffffffffffffffffffffffffffffffffffffffff16600b5f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16636352211e836040518263ffffffff1660e01b81526004016110db9190612957565b602060405180830381865afa1580156110f6573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061111a9190612f8d565b73ffffffffffffffffffffffffffffffffffffffff1614611170576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161116790613195565b60405180910390fd5b3073ffffffffffffffffffffffffffffffffffffffff16600b5f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663081812fc836040518263ffffffff1660e01b81526004016111e19190612957565b602060405180830381865afa1580156111fc573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906112209190612f8d565b73ffffffffffffffffffffffffffffffffffffffff1614806112d95750600b5f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663e985e9c533306040518363ffffffff1660e01b81526004016112999291906131b3565b602060405180830381865afa1580156112b4573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906112d891906131ee565b5b611318576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161130f90613289565b60405180910390fd5b600b5f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166342842e0e3330846040518463ffffffff1660e01b815260040161137693929190613020565b5f604051808303815f87803b15801561138d575f5ffd5b505af115801561139f573d5f5f3e3d5ffd5b505050505f6008549050600160085f8282546113bb9190612c51565b925050819055506113cc338261162f565b3373ffffffffffffffffffffffffffffffffffffffff167f10d2330742b77e98fe58a4bbc7067cdf3d2d7dead03de91624e92dac6c241e448383604051611414929190612c84565b60405180910390a25050565b611428611857565b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603611498575f6040517f1e4fbdf700000000000000000000000000000000000000000000000000000000815260040161148f9190612587565b60405180910390fd5b6114a181611940565b50565b6114ac611857565b8060098190555050565b5f634906490660e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916148061150f575061150e82611db4565b5b9050919050565b5f5f61152183611d7b565b90505f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff160361159357826040517f7e27328900000000000000000000000000000000000000000000000000000000815260040161158a9190612957565b60405180910390fd5b80915050919050565b5f60045f8381526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b5f33905090565b6115e98383836001611e95565b505050565b6115f6610a06565b1561162d576040517fd93c066500000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b565b611648828260405180602001604052805f815250612054565b5050565b5f5f61165784611d7b565b90505f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161461169857611697818486612077565b5b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614611723576116d75f855f5f611e95565b600160035f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825403925050819055505b5f73ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff16146117a257600160035f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055505b8460025f8681526020019081526020015f205f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550838573ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a4809150509392505050565b61185f6115d5565b73ffffffffffffffffffffffffffffffffffffffff1661187d610cb1565b73ffffffffffffffffffffffffffffffffffffffff16146118dc576118a06115d5565b6040517f118cdaa70000000000000000000000000000000000000000000000000000000081526004016118d39190612587565b60405180910390fd5b565b6118e661213a565b5f600760146101000a81548160ff0219169083151502179055507f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa6119296115d5565b6040516119369190612587565b60405180910390a1565b5f60075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690508160075f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b611a0b6115ee565b6001600760146101000a81548160ff0219169083151502179055507f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258611a4f6115d5565b604051611a5c9190612587565b60405180910390a1565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603611ad657816040517f5b08ba18000000000000000000000000000000000000000000000000000000008152600401611acd9190612587565b60405180910390fd5b8060055f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c3183604051611bc29190612441565b60405180910390a3505050565b5f8373ffffffffffffffffffffffffffffffffffffffff163b1115611d74578273ffffffffffffffffffffffffffffffffffffffff1663150b7a02868685856040518563ffffffff1660e01b8152600401611c2d94939291906132f9565b6020604051808303815f875af1925050508015611c6857506040513d601f19601f82011682018060405250810190611c659190613357565b60015b611ce9573d805f8114611c96576040519150601f19603f3d011682016040523d82523d5f602084013e611c9b565b606091505b505f815103611ce157836040517f64a0ae92000000000000000000000000000000000000000000000000000000008152600401611cd89190612587565b60405180910390fd5b805181602001fd5b63150b7a0260e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614611d7257836040517f64a0ae92000000000000000000000000000000000000000000000000000000008152600401611d699190612587565b60405180910390fd5b505b5050505050565b5f60025f8381526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b5f7f80ac58cd000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161480611e7e57507f5b5e139f000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916145b80611e8e5750611e8d8261217a565b5b9050919050565b8080611ecd57505f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614155b15611fff575f611edc84611516565b90505f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614158015611f4657508273ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614155b8015611f595750611f578184610fd4565b155b15611f9b57826040517fa9fbf51f000000000000000000000000000000000000000000000000000000008152600401611f929190612587565b60405180910390fd5b8115611ffd57838573ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92560405160405180910390a45b505b8360045f8581526020019081526020015f205f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050505050565b61205e83836121e3565b6120726120696115d5565b5f858585611bcf565b505050565b6120828383836122d6565b612135575f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036120f657806040517f7e2732890000000000000000000000000000000000000000000000000000000081526004016120ed9190612957565b60405180910390fd5b81816040517f177e802f00000000000000000000000000000000000000000000000000000000815260040161212c929190613382565b60405180910390fd5b505050565b612142610a06565b612178576040517f8dfc202b00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b565b5f7f01ffc9a7000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916149050919050565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603612253575f6040517f64a0ae9200000000000000000000000000000000000000000000000000000000815260040161224a9190612587565b60405180910390fd5b5f61225f83835f61164c565b90505f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16146122d1575f6040517f73c6ac6e0000000000000000000000000000000000000000000000000000000081526004016122c89190612587565b60405180910390fd5b505050565b5f5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415801561238d57508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff16148061234e575061234d8484610fd4565b5b8061238c57508273ffffffffffffffffffffffffffffffffffffffff166123748361159c565b73ffffffffffffffffffffffffffffffffffffffff16145b5b90509392505050565b5f604051905090565b5f5ffd5b5f5ffd5b5f7fffffffff0000000000000000000000000000000000000000000000000000000082169050919050565b6123db816123a7565b81146123e5575f5ffd5b50565b5f813590506123f6816123d2565b92915050565b5f602082840312156124115761241061239f565b5b5f61241e848285016123e8565b91505092915050565b5f8115159050919050565b61243b81612427565b82525050565b5f6020820190506124545f830184612432565b92915050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f61249c8261245a565b6124a68185612464565b93506124b6818560208601612474565b6124bf81612482565b840191505092915050565b5f6020820190508181035f8301526124e28184612492565b905092915050565b5f819050919050565b6124fc816124ea565b8114612506575f5ffd5b50565b5f81359050612517816124f3565b92915050565b5f602082840312156125325761253161239f565b5b5f61253f84828501612509565b91505092915050565b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f61257182612548565b9050919050565b61258181612567565b82525050565b5f60208201905061259a5f830184612578565b92915050565b6125a981612567565b81146125b3575f5ffd5b50565b5f813590506125c4816125a0565b92915050565b5f5f604083850312156125e0576125df61239f565b5b5f6125ed858286016125b6565b92505060206125fe85828601612509565b9150509250929050565b5f5ffd5b5f5ffd5b5f5ffd5b5f5f83601f84011261262957612628612608565b5b8235905067ffffffffffffffff8111156126465761264561260c565b5b60208301915083600182028301111561266257612661612610565b5b9250929050565b5f5f5f5f5f608086880312156126825761268161239f565b5b5f61268f888289016125b6565b95505060206126a0888289016125b6565b94505060406126b188828901612509565b935050606086013567ffffffffffffffff8111156126d2576126d16123a3565b5b6126de88828901612614565b92509250509295509295909350565b6126f6816123a7565b82525050565b5f60208201905061270f5f8301846126ed565b92915050565b5f819050919050565b5f61273861273361272e84612548565b612715565b612548565b9050919050565b5f6127498261271e565b9050919050565b5f61275a8261273f565b9050919050565b61276a81612750565b82525050565b5f6020820190506127835f830184612761565b92915050565b5f5f5f606084860312156127a05761279f61239f565b5b5f6127ad868287016125b6565b93505060206127be868287016125b6565b92505060406127cf86828701612509565b9150509250925092565b5f5ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b61281382612482565b810181811067ffffffffffffffff82111715612832576128316127dd565b5b80604052505050565b5f612844612396565b9050612850828261280a565b919050565b5f67ffffffffffffffff82111561286f5761286e6127dd565b5b61287882612482565b9050602081019050919050565b828183375f83830152505050565b5f6128a56128a084612855565b61283b565b9050828152602081018484840111156128c1576128c06127d9565b5b6128cc848285612885565b509392505050565b5f82601f8301126128e8576128e7612608565b5b81356128f8848260208601612893565b91505092915050565b5f602082840312156129165761291561239f565b5b5f82013567ffffffffffffffff811115612933576129326123a3565b5b61293f848285016128d4565b91505092915050565b612951816124ea565b82525050565b5f60208201905061296a5f830184612948565b92915050565b5f602082840312156129855761298461239f565b5b5f612992848285016125b6565b91505092915050565b6129a481612427565b81146129ae575f5ffd5b50565b5f813590506129bf8161299b565b92915050565b5f5f604083850312156129db576129da61239f565b5b5f6129e8858286016125b6565b92505060206129f9858286016129b1565b9150509250929050565b5f67ffffffffffffffff821115612a1d57612a1c6127dd565b5b612a2682612482565b9050602081019050919050565b5f612a45612a4084612a03565b61283b565b905082815260208101848484011115612a6157612a606127d9565b5b612a6c848285612885565b509392505050565b5f82601f830112612a8857612a87612608565b5b8135612a98848260208601612a33565b91505092915050565b5f5f5f5f60808587031215612ab957612ab861239f565b5b5f612ac6878288016125b6565b9450506020612ad7878288016125b6565b9350506040612ae887828801612509565b925050606085013567ffffffffffffffff811115612b0957612b086123a3565b5b612b1587828801612a74565b91505092959194509250565b5f5f60408385031215612b3757612b3661239f565b5b5f612b44858286016125b6565b9250506020612b55858286016125b6565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f6002820490506001821680612ba357607f821691505b602082108103612bb657612bb5612b5f565b5b50919050565b7f496e73756666696369656e74204554482073656e7400000000000000000000005f82015250565b5f612bf0601583612464565b9150612bfb82612bbc565b602082019050919050565b5f6020820190508181035f830152612c1d81612be4565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f612c5b826124ea565b9150612c66836124ea565b9250828201905080821115612c7e57612c7d612c24565b5b92915050565b5f604082019050612c975f830185612948565b612ca46020830184612948565b9392505050565b5f612cb5826124ea565b9150612cc0836124ea565b9250828203905081811115612cd857612cd7612c24565b5b92915050565b5f606082019050612cf15f830186612578565b612cfe6020830185612948565b612d0b6040830184612578565b949350505050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f60088302612d6f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82612d34565b612d798683612d34565b95508019841693508086168417925050509392505050565b5f612dab612da6612da1846124ea565b612715565b6124ea565b9050919050565b5f819050919050565b612dc483612d91565b612dd8612dd082612db2565b848454612d40565b825550505050565b5f5f905090565b612def612de0565b612dfa818484612dbb565b505050565b5b81811015612e1d57612e125f82612de7565b600181019050612e00565b5050565b601f821115612e6257612e3381612d13565b612e3c84612d25565b81016020851015612e4b578190505b612e5f612e5785612d25565b830182612dff565b50505b505050565b5f82821c905092915050565b5f612e825f1984600802612e67565b1980831691505092915050565b5f612e9a8383612e73565b9150826002028217905092915050565b612eb38261245a565b67ffffffffffffffff811115612ecc57612ecb6127dd565b5b612ed68254612b8c565b612ee1828285612e21565b5f60209050601f831160018114612f12575f8415612f00578287015190505b612f0a8582612e8f565b865550612f71565b601f198416612f2086612d13565b5f5b82811015612f4757848901518255600182019150602085019450602081019050612f22565b86831015612f645784890151612f60601f891682612e73565b8355505b6001600288020188555050505b505050505050565b5f81519050612f87816125a0565b92915050565b5f60208284031215612fa257612fa161239f565b5b5f612faf84828501612f79565b91505092915050565b7f436f6e747261637420646f6573206e6f74206f776e2074686973204e465400005f82015250565b5f612fec601e83612464565b9150612ff782612fb8565b602082019050919050565b5f6020820190508181035f83015261301981612fe0565b9050919050565b5f6060820190506130335f830186612578565b6130406020830185612578565b61304d6040830184612948565b949350505050565b7f4552433732313a2055524920717565727920666f72206e6f6e6578697374656e5f8201527f7420746f6b656e00000000000000000000000000000000000000000000000000602082015250565b5f6130af602783612464565b91506130ba82613055565b604082019050919050565b5f6020820190508181035f8301526130dc816130a3565b9050919050565b7f4e6f2045544820746f20776974686472617700000000000000000000000000005f82015250565b5f613117601283612464565b9150613122826130e3565b602082019050919050565b5f6020820190508181035f8301526131448161310b565b9050919050565b7f4e6f74206f776e6572206f6620747261646564204e46540000000000000000005f82015250565b5f61317f601783612464565b915061318a8261314b565b602082019050919050565b5f6020820190508181035f8301526131ac81613173565b9050919050565b5f6040820190506131c65f830185612578565b6131d36020830184612578565b9392505050565b5f815190506131e88161299b565b92915050565b5f602082840312156132035761320261239f565b5b5f613210848285016131da565b91505092915050565b7f436f6e7472616374206e6f7420617070726f76656420666f72204e46542074725f8201527f616e736665720000000000000000000000000000000000000000000000000000602082015250565b5f613273602683612464565b915061327e82613219565b604082019050919050565b5f6020820190508181035f8301526132a081613267565b9050919050565b5f81519050919050565b5f82825260208201905092915050565b5f6132cb826132a7565b6132d581856132b1565b93506132e5818560208601612474565b6132ee81612482565b840191505092915050565b5f60808201905061330c5f830187612578565b6133196020830186612578565b6133266040830185612948565b818103606083015261333881846132c1565b905095945050505050565b5f81519050613351816123d2565b92915050565b5f6020828403121561336c5761336b61239f565b5b5f61337984828501613343565b91505092915050565b5f6040820190506133955f830185612578565b6133a26020830184612948565b939250505056fea26469706673582212202e9f0ce104343a60281bbb0d951335fd30362acfdf9e458b39710ea8a256c45064736f6c634300081e0033

000000000000000000000000453b0b950872e6248b7e3f0378cdfd93945289af0000000000000000000000000000000000000000000000056bc75e2d631000000000000000000000000000000000000000000000000000000000000000000060000000000000000000000000000000000000000000000000000000000000005d68747470733a2f2f676174657761792e70696e6174612e636c6f75642f697066732f6261666b7265696272686973717a7762677467333668733274656a76666177616e756175776e7771696b686a726a71637737633363727176766d34000000

-----Decoded View---------------
Arg [0] : _tradeNFTContractAddress (address): 0x453B0B950872e6248B7e3f0378cdFD93945289aF
Arg [1] : _mintPrice (uint256): 100000000000000000000
Arg [2] : _baseTokenURI (string): https://gateway.pinata.cloud/ipfs/bafkreibrhisqzwbgtg36hs2tejvfawanuauwnwqikhjrjqcw7c3crqvvm4

-----Encoded View---------------
7 Constructor Arguments found :
Arg [0] : 000000000000000000000000453b0b950872e6248b7e3f0378cdfd93945289af
Arg [1] : 0000000000000000000000000000000000000000000000056bc75e2d63100000
Arg [2] : 0000000000000000000000000000000000000000000000000000000000000060
Arg [3] : 000000000000000000000000000000000000000000000000000000000000005d
Arg [4] : 68747470733a2f2f676174657761792e70696e6174612e636c6f75642f697066
Arg [5] : 732f6261666b7265696272686973717a7762677467333668733274656a766661
Arg [6] : 77616e756175776e7771696b686a726a71637737633363727176766d34000000

137604:4355:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;141429:212;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;113911:91;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;115083:158;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;114902:115;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;138601:514;;;:::i;:::-;;141679:199;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;137842:31;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;115752:588;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;140517:126;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;141317:67;;;;;;;;;;;;;:::i;:::-;;116411:134;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;136497:86;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;113724:120;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;137715:24;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;113449:213;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;133892:103;;;;;;;;;;;;;:::i;:::-;;140937:255;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;141222:63;;;;;;;;;;;;;:::i;:::-;;133217:87;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;114071:95;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;115313:146;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;116616:236;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;140093:238;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;137773:26;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;140692:198;;;;;;;;;;;;;:::i;:::-;;115530:155;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;139195:821;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;134150:220;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;140375:100;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;141429:212;141568:4;141597:36;141621:11;141597:23;:36::i;:::-;141590:43;;141429:212;;;:::o;113911:91::-;113956:13;113989:5;113982:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;113911:91;:::o;115083:158::-;115150:7;115170:22;115184:7;115170:13;:22::i;:::-;;115212:21;115225:7;115212:12;:21::i;:::-;115205:28;;115083:158;;;:::o;114902:115::-;114974:35;114983:2;114987:7;114996:12;:10;:12::i;:::-;114974:8;:35::i;:::-;114902:115;;:::o;138601:514::-;136102:19;:17;:19::i;:::-;138681:9:::1;;138668;:22;;138660:56;;;;;;;;;;;;:::i;:::-;;;;;;;;;138754:18;138775:15;;138754:36;;138820:1;138801:15;;:20;;;;;;;:::i;:::-;;;;;;;;138832:33;138842:10;138854;138832:9;:33::i;:::-;138919:10;138906:47;;;138931:10;138943:9;138906:47;;;;;;;:::i;:::-;;;;;;;;139019:9;;139007;:21;139003:105;;;139053:10;139045:28;;:51;139086:9;;139074;:21;;;;:::i;:::-;139045:51;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;139003:105;138649:466;138601:514::o:0;141679:199::-;141814:6;141840:30;;;141833:37;;141679:199;;;;;;;:::o;137842:31::-;;;;;;;;;;;;;:::o;115752:588::-;115861:1;115847:16;;:2;:16;;;115843:89;;115917:1;115887:33;;;;;;;;;;;:::i;:::-;;;;;;;;115843:89;116153:21;116177:34;116185:2;116189:7;116198:12;:10;:12::i;:::-;116177:7;:34::i;:::-;116153:58;;116243:4;116226:21;;:13;:21;;;116222:111;;116292:4;116298:7;116307:13;116271:50;;;;;;;;;;;;;:::i;:::-;;;;;;;;116222:111;115832:508;115752:588;;;:::o;140517:126::-;133103:13;:11;:13::i;:::-;140619:16:::1;140604:12;:31;;;;;;:::i;:::-;;140517:126:::0;:::o;141317:67::-;133103:13;:11;:13::i;:::-;141366:10:::1;:8;:10::i;:::-;141317:67::o:0;116411:134::-;116498:39;116515:4;116521:2;116525:7;116498:39;;;;;;;;;;;;:16;:39::i;:::-;116411:134;;;:::o;136497:86::-;136544:4;136568:7;;;;;;;;;;;136561:14;;136497:86;:::o;113724:120::-;113787:7;113814:22;113828:7;113814:13;:22::i;:::-;113807:29;;113724:120;;;:::o;137715:24::-;;;;:::o;113449:213::-;113512:7;113553:1;113536:19;;:5;:19;;;113532:89;;113606:1;113579:30;;;;;;;;;;;:::i;:::-;;;;;;;;113532:89;113638:9;:16;113648:5;113638:16;;;;;;;;;;;;;;;;113631:23;;113449:213;;;:::o;133892:103::-;133103:13;:11;:13::i;:::-;133957:30:::1;133984:1;133957:18;:30::i;:::-;133892:103::o:0;140937:255::-;133103:13;:11;:13::i;:::-;141066:4:::1;141020:51;;:16;;;;;;;;;;;:24;;;141045:8;141020:34;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:51;;;141012:94;;;;;;;;;;;;:::i;:::-;;;;;;;;;141117:16;;;;;;;;;;;:33;;;141159:4;141166:7;:5;:7::i;:::-;141175:8;141117:67;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;140937:255:::0;:::o;141222:63::-;133103:13;:11;:13::i;:::-;141269:8:::1;:6;:8::i;:::-;141222:63::o:0;133217:87::-;133263:7;133290:6;;;;;;;;;;;133283:13;;133217:87;:::o;114071:95::-;114118:13;114151:7;114144:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;114071:95;:::o;115313:146::-;115399:52;115418:12;:10;:12::i;:::-;115432:8;115442;115399:18;:52::i;:::-;115313:146;;:::o;116616:236::-;116730:31;116743:4;116749:2;116753:7;116730:12;:31::i;:::-;116772:72;116806:12;:10;:12::i;:::-;116820:4;116826:2;116830:7;116839:4;116772:33;:72::i;:::-;116616:236;;;;:::o;140093:238::-;140184:13;140247:1;140218:31;;:17;140227:7;140218:8;:17::i;:::-;:31;;;140210:83;;;;;;;;;;;;:::i;:::-;;;;;;;;;140311:12;140304:19;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;140093:238;;;:::o;137773:26::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;140692:198::-;133103:13;:11;:13::i;:::-;140745:15:::1;140763:21;140745:39;;140813:1;140803:7;:11;140795:42;;;;;;;;;;;;:::i;:::-;;;;;;;;;140856:7;:5;:7::i;:::-;140848:25;;:34;140874:7;140848:34;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;140734:156;140692:198::o:0;115530:155::-;115618:4;115642:18;:25;115661:5;115642:25;;;;;;;;;;;;;;;:35;115668:8;115642:35;;;;;;;;;;;;;;;;;;;;;;;;;115635:42;;115530:155;;;;:::o;139195:821::-;136102:19;:17;:19::i;:::-;139366:10:::1;139322:54;;:16;;;;;;;;;;;:24;;;139347:14;139322:40;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:54;;;139314:90;;;;;;;;;;;;:::i;:::-;;;;;;;;;139479:4;139423:61;;:16;;;;;;;;;;;:28;;;139452:14;139423:44;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:61;;;:143;;;;139506:16;;;;;;;;;;;:33;;;139540:10;139560:4;139506:60;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;139423:143;139415:212;;;;;;;;;;;;:::i;:::-;;;;;;;;;139693:16;;;;;;;;;;;:33;;;139727:10;139747:4;139754:14;139693:76;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;139807:18;139828:15;;139807:36;;139873:1;139854:15;;:20;;;;;;;:::i;:::-;;;;;;;;139885:33;139895:10;139907;139885:9;:33::i;:::-;139969:10;139959:49;;;139981:14;139997:10;139959:49;;;;;;;:::i;:::-;;;;;;;;139261:755;139195:821:::0;:::o;134150:220::-;133103:13;:11;:13::i;:::-;134255:1:::1;134235:22;;:8;:22;;::::0;134231:93:::1;;134309:1;134281:31;;;;;;;;;;;:::i;:::-;;;;;;;;134231:93;134334:28;134353:8;134334:18;:28::i;:::-;134150:220:::0;:::o;140375:100::-;133103:13;:11;:13::i;:::-;140458:9:::1;140446;:21;;;;140375:100:::0;:::o;130346:209::-;130448:4;130161:10;130154:18;;130472:35;;;:11;:35;;;;:75;;;;130511:36;130535:11;130511:23;:36::i;:::-;130472:75;130465:82;;130346:209;;;:::o;128134:247::-;128197:7;128217:13;128233:17;128242:7;128233:8;:17::i;:::-;128217:33;;128282:1;128265:19;;:5;:19;;;128261:90;;128331:7;128308:31;;;;;;;;;;;:::i;:::-;;;;;;;;128261:90;128368:5;128361:12;;;128134:247;;;:::o;117615:129::-;117685:7;117712:15;:24;117728:7;117712:24;;;;;;;;;;;;;;;;;;;;;117705:31;;117615:129;;;:::o;17210:98::-;17263:7;17290:10;17283:17;;17210:98;:::o;126366:122::-;126447:33;126456:2;126460:7;126469:4;126475;126447:8;:33::i;:::-;126366:122;;;:::o;136656:132::-;136722:8;:6;:8::i;:::-;136718:63;;;136754:15;;;;;;;;;;;;;;136718:63;136656:132::o;122434:102::-;122502:26;122512:2;122516:7;122502:26;;;;;;;;;;;;:9;:26::i;:::-;122434:102;;:::o;120576:824::-;120662:7;120682:12;120697:17;120706:7;120697:8;:17::i;:::-;120682:32;;120793:1;120777:18;;:4;:18;;;120773:88;;120812:37;120829:4;120835;120841:7;120812:16;:37::i;:::-;120773:88;120924:1;120908:18;;:4;:18;;;120904:263;;121026:48;121043:1;121047:7;121064:1;121068:5;121026:8;:48::i;:::-;121139:1;121120:9;:15;121130:4;121120:15;;;;;;;;;;;;;;;;:20;;;;;;;;;;;120904:263;121197:1;121183:16;;:2;:16;;;121179:111;;121262:1;121245:9;:13;121255:2;121245:13;;;;;;;;;;;;;;;;:18;;;;;;;;;;;121179:111;121321:2;121302:7;:16;121310:7;121302:16;;;;;;;;;;;;:21;;;;;;;;;;;;;;;;;;121360:7;121356:2;121341:27;;121350:4;121341:27;;;;;;;;;;;;121388:4;121381:11;;;120576:824;;;;;:::o;133382:166::-;133453:12;:10;:12::i;:::-;133442:23;;:7;:5;:7::i;:::-;:23;;;133438:103;;133516:12;:10;:12::i;:::-;133489:40;;;;;;;;;;;:::i;:::-;;;;;;;;133438:103;133382:166::o;137398:120::-;136361:16;:14;:16::i;:::-;137467:5:::1;137457:7;;:15;;;;;;;;;;;;;;;;;;137488:22;137497:12;:10;:12::i;:::-;137488:22;;;;;;:::i;:::-;;;;;;;;137398:120::o:0;134530:191::-;134604:16;134623:6;;;;;;;;;;;134604:25;;134649:8;134640:6;;:17;;;;;;;;;;;;;;;;;;134704:8;134673:40;;134694:8;134673:40;;;;;;;;;;;;134593:128;134530:191;:::o;137139:118::-;136102:19;:17;:19::i;:::-;137209:4:::1;137199:7;;:14;;;;;;;;;;;;;;;;;;137229:20;137236:12;:10;:12::i;:::-;137229:20;;;;;;:::i;:::-;;;;;;;;137139:118::o:0;127573:318::-;127701:1;127681:22;;:8;:22;;;127677:93;;127749:8;127727:31;;;;;;;;;;;:::i;:::-;;;;;;;;127677:93;127818:8;127780:18;:25;127799:5;127780:25;;;;;;;;;;;;;;;:35;127806:8;127780:35;;;;;;;;;;;;;;;;:46;;;;;;;;;;;;;;;;;;127864:8;127842:41;;127857:5;127842:41;;;127874:8;127842:41;;;;;;:::i;:::-;;;;;;;;127573:318;;;:::o;15560:948::-;15764:1;15747:2;:14;;;:18;15743:758;;;15802:2;15786:36;;;15823:8;15833:4;15839:7;15848:4;15786:67;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;15782:708;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16166:1;16149:6;:13;:18;16145:330;;16291:2;16255:39;;;;;;;;;;;:::i;:::-;;;;;;;;16145:330;16425:6;16419:13;16410:6;16406:2;16402:15;16395:38;15782:708;15911:41;;;15901:51;;;:6;:51;;;;15897:185;;16059:2;16023:39;;;;;;;;;;;:::i;:::-;;;;;;;;15897:185;15854:243;15743:758;15560:948;;;;;:::o;117377:117::-;117443:7;117470;:16;117478:7;117470:16;;;;;;;;;;;;;;;;;;;;;117463:23;;117377:117;;;:::o;113080:305::-;113182:4;113234:25;113219:40;;;:11;:40;;;;:105;;;;113291:33;113276:48;;;:11;:48;;;;113219:105;:158;;;;113341:36;113365:11;113341:23;:36::i;:::-;113219:158;113199:178;;113080:305;;;:::o;126676:678::-;126838:9;:31;;;;126867:1;126851:18;;:4;:18;;;;126838:31;126834:471;;;126886:13;126902:22;126916:7;126902:13;:22::i;:::-;126886:38;;127071:1;127055:18;;:4;:18;;;;:35;;;;;127086:4;127077:13;;:5;:13;;;;127055:35;:69;;;;;127095:29;127112:5;127119:4;127095:16;:29::i;:::-;127094:30;127055:69;127051:144;;;127174:4;127152:27;;;;;;;;;;;:::i;:::-;;;;;;;;127051:144;127215:9;127211:83;;;127270:7;127266:2;127250:28;;127259:5;127250:28;;;;;;;;;;;;127211:83;126871:434;126834:471;127344:2;127317:15;:24;127333:7;127317:24;;;;;;;;;;;;:29;;;;;;;;;;;;;;;;;;126676:678;;;;:::o;122763:210::-;122858:18;122864:2;122868:7;122858:5;:18::i;:::-;122887:78;122921:12;:10;:12::i;:::-;122943:1;122947:2;122951:7;122960:4;122887:33;:78::i;:::-;122763:210;;;:::o;118783:376::-;118896:38;118910:5;118917:7;118926;118896:13;:38::i;:::-;118891:261;;118972:1;118955:19;;:5;:19;;;118951:190;;119025:7;119002:31;;;;;;;;;;;:::i;:::-;;;;;;;;118951:190;119108:7;119117;119081:44;;;;;;;;;;;;:::i;:::-;;;;;;;;118891:261;118783:376;;;:::o;136865:130::-;136929:8;:6;:8::i;:::-;136924:64;;136961:15;;;;;;;;;;;;;;136924:64;136865:130::o;111678:148::-;111754:4;111793:25;111778:40;;;:11;:40;;;;111771:47;;111678:148;;;:::o;121736:335::-;121818:1;121804:16;;:2;:16;;;121800:89;;121874:1;121844:33;;;;;;;;;;;:::i;:::-;;;;;;;;121800:89;121899:21;121923:32;121931:2;121935:7;121952:1;121923:7;:32::i;:::-;121899:56;;121995:1;121970:27;;:13;:27;;;121966:98;;122049:1;122021:31;;;;;;;;;;;:::i;:::-;;;;;;;;121966:98;121789:282;121736:335;;:::o;118064:276::-;118167:4;118223:1;118204:21;;:7;:21;;;;:128;;;;;118252:7;118243:16;;:5;:16;;;:52;;;;118263:32;118280:5;118287:7;118263:16;:32::i;:::-;118243:52;:88;;;;118324:7;118299:32;;:21;118312:7;118299:12;:21::i;:::-;:32;;;118243:88;118204:128;118184:148;;118064:276;;;;;:::o;7:75:1:-;40:6;73:2;67:9;57:19;;7:75;:::o;88:117::-;197:1;194;187:12;211:117;320:1;317;310:12;334:149;370:7;410:66;403:5;399:78;388:89;;334:149;;;:::o;489:120::-;561:23;578:5;561:23;:::i;:::-;554:5;551:34;541:62;;599:1;596;589:12;541:62;489:120;:::o;615:137::-;660:5;698:6;685:20;676:29;;714:32;740:5;714:32;:::i;:::-;615:137;;;;:::o;758:327::-;816:6;865:2;853:9;844:7;840:23;836:32;833:119;;;871:79;;:::i;:::-;833:119;991:1;1016:52;1060:7;1051:6;1040:9;1036:22;1016:52;:::i;:::-;1006:62;;962:116;758:327;;;;:::o;1091:90::-;1125:7;1168:5;1161:13;1154:21;1143:32;;1091:90;;;:::o;1187:109::-;1268:21;1283:5;1268:21;:::i;:::-;1263:3;1256:34;1187:109;;:::o;1302:210::-;1389:4;1427:2;1416:9;1412:18;1404:26;;1440:65;1502:1;1491:9;1487:17;1478:6;1440:65;:::i;:::-;1302:210;;;;:::o;1518:99::-;1570:6;1604:5;1598:12;1588:22;;1518:99;;;:::o;1623:169::-;1707:11;1741:6;1736:3;1729:19;1781:4;1776:3;1772:14;1757:29;;1623:169;;;;:::o;1798:139::-;1887:6;1882:3;1877;1871:23;1928:1;1919:6;1914:3;1910:16;1903:27;1798:139;;;:::o;1943:102::-;1984:6;2035:2;2031:7;2026:2;2019:5;2015:14;2011:28;2001:38;;1943:102;;;:::o;2051:377::-;2139:3;2167:39;2200:5;2167:39;:::i;:::-;2222:71;2286:6;2281:3;2222:71;:::i;:::-;2215:78;;2302:65;2360:6;2355:3;2348:4;2341:5;2337:16;2302:65;:::i;:::-;2392:29;2414:6;2392:29;:::i;:::-;2387:3;2383:39;2376:46;;2143:285;2051:377;;;;:::o;2434:313::-;2547:4;2585:2;2574:9;2570:18;2562:26;;2634:9;2628:4;2624:20;2620:1;2609:9;2605:17;2598:47;2662:78;2735:4;2726:6;2662:78;:::i;:::-;2654:86;;2434:313;;;;:::o;2753:77::-;2790:7;2819:5;2808:16;;2753:77;;;:::o;2836:122::-;2909:24;2927:5;2909:24;:::i;:::-;2902:5;2899:35;2889:63;;2948:1;2945;2938:12;2889:63;2836:122;:::o;2964:139::-;3010:5;3048:6;3035:20;3026:29;;3064:33;3091:5;3064:33;:::i;:::-;2964:139;;;;:::o;3109:329::-;3168:6;3217:2;3205:9;3196:7;3192:23;3188:32;3185:119;;;3223:79;;:::i;:::-;3185:119;3343:1;3368:53;3413:7;3404:6;3393:9;3389:22;3368:53;:::i;:::-;3358:63;;3314:117;3109:329;;;;:::o;3444:126::-;3481:7;3521:42;3514:5;3510:54;3499:65;;3444:126;;;:::o;3576:96::-;3613:7;3642:24;3660:5;3642:24;:::i;:::-;3631:35;;3576:96;;;:::o;3678:118::-;3765:24;3783:5;3765:24;:::i;:::-;3760:3;3753:37;3678:118;;:::o;3802:222::-;3895:4;3933:2;3922:9;3918:18;3910:26;;3946:71;4014:1;4003:9;3999:17;3990:6;3946:71;:::i;:::-;3802:222;;;;:::o;4030:122::-;4103:24;4121:5;4103:24;:::i;:::-;4096:5;4093:35;4083:63;;4142:1;4139;4132:12;4083:63;4030:122;:::o;4158:139::-;4204:5;4242:6;4229:20;4220:29;;4258:33;4285:5;4258:33;:::i;:::-;4158:139;;;;:::o;4303:474::-;4371:6;4379;4428:2;4416:9;4407:7;4403:23;4399:32;4396:119;;;4434:79;;:::i;:::-;4396:119;4554:1;4579:53;4624:7;4615:6;4604:9;4600:22;4579:53;:::i;:::-;4569:63;;4525:117;4681:2;4707:53;4752:7;4743:6;4732:9;4728:22;4707:53;:::i;:::-;4697:63;;4652:118;4303:474;;;;;:::o;4783:117::-;4892:1;4889;4882:12;4906:117;5015:1;5012;5005:12;5029:117;5138:1;5135;5128:12;5165:552;5222:8;5232:6;5282:3;5275:4;5267:6;5263:17;5259:27;5249:122;;5290:79;;:::i;:::-;5249:122;5403:6;5390:20;5380:30;;5433:18;5425:6;5422:30;5419:117;;;5455:79;;:::i;:::-;5419:117;5569:4;5561:6;5557:17;5545:29;;5623:3;5615:4;5607:6;5603:17;5593:8;5589:32;5586:41;5583:128;;;5630:79;;:::i;:::-;5583:128;5165:552;;;;;:::o;5723:963::-;5820:6;5828;5836;5844;5852;5901:3;5889:9;5880:7;5876:23;5872:33;5869:120;;;5908:79;;:::i;:::-;5869:120;6028:1;6053:53;6098:7;6089:6;6078:9;6074:22;6053:53;:::i;:::-;6043:63;;5999:117;6155:2;6181:53;6226:7;6217:6;6206:9;6202:22;6181:53;:::i;:::-;6171:63;;6126:118;6283:2;6309:53;6354:7;6345:6;6334:9;6330:22;6309:53;:::i;:::-;6299:63;;6254:118;6439:2;6428:9;6424:18;6411:32;6470:18;6462:6;6459:30;6456:117;;;6492:79;;:::i;:::-;6456:117;6605:64;6661:7;6652:6;6641:9;6637:22;6605:64;:::i;:::-;6587:82;;;;6382:297;5723:963;;;;;;;;:::o;6692:115::-;6777:23;6794:5;6777:23;:::i;:::-;6772:3;6765:36;6692:115;;:::o;6813:218::-;6904:4;6942:2;6931:9;6927:18;6919:26;;6955:69;7021:1;7010:9;7006:17;6997:6;6955:69;:::i;:::-;6813:218;;;;:::o;7037:60::-;7065:3;7086:5;7079:12;;7037:60;;;:::o;7103:142::-;7153:9;7186:53;7204:34;7213:24;7231:5;7213:24;:::i;:::-;7204:34;:::i;:::-;7186:53;:::i;:::-;7173:66;;7103:142;;;:::o;7251:126::-;7301:9;7334:37;7365:5;7334:37;:::i;:::-;7321:50;;7251:126;;;:::o;7383:141::-;7448:9;7481:37;7512:5;7481:37;:::i;:::-;7468:50;;7383:141;;;:::o;7530:161::-;7632:52;7678:5;7632:52;:::i;:::-;7627:3;7620:65;7530:161;;:::o;7697:252::-;7805:4;7843:2;7832:9;7828:18;7820:26;;7856:86;7939:1;7928:9;7924:17;7915:6;7856:86;:::i;:::-;7697:252;;;;:::o;7955:619::-;8032:6;8040;8048;8097:2;8085:9;8076:7;8072:23;8068:32;8065:119;;;8103:79;;:::i;:::-;8065:119;8223:1;8248:53;8293:7;8284:6;8273:9;8269:22;8248:53;:::i;:::-;8238:63;;8194:117;8350:2;8376:53;8421:7;8412:6;8401:9;8397:22;8376:53;:::i;:::-;8366:63;;8321:118;8478:2;8504:53;8549:7;8540:6;8529:9;8525:22;8504:53;:::i;:::-;8494:63;;8449:118;7955:619;;;;;:::o;8580:117::-;8689:1;8686;8679:12;8703:180;8751:77;8748:1;8741:88;8848:4;8845:1;8838:15;8872:4;8869:1;8862:15;8889:281;8972:27;8994:4;8972:27;:::i;:::-;8964:6;8960:40;9102:6;9090:10;9087:22;9066:18;9054:10;9051:34;9048:62;9045:88;;;9113:18;;:::i;:::-;9045:88;9153:10;9149:2;9142:22;8932:238;8889:281;;:::o;9176:129::-;9210:6;9237:20;;:::i;:::-;9227:30;;9266:33;9294:4;9286:6;9266:33;:::i;:::-;9176:129;;;:::o;9311:308::-;9373:4;9463:18;9455:6;9452:30;9449:56;;;9485:18;;:::i;:::-;9449:56;9523:29;9545:6;9523:29;:::i;:::-;9515:37;;9607:4;9601;9597:15;9589:23;;9311:308;;;:::o;9625:148::-;9723:6;9718:3;9713;9700:30;9764:1;9755:6;9750:3;9746:16;9739:27;9625:148;;;:::o;9779:425::-;9857:5;9882:66;9898:49;9940:6;9898:49;:::i;:::-;9882:66;:::i;:::-;9873:75;;9971:6;9964:5;9957:21;10009:4;10002:5;9998:16;10047:3;10038:6;10033:3;10029:16;10026:25;10023:112;;;10054:79;;:::i;:::-;10023:112;10144:54;10191:6;10186:3;10181;10144:54;:::i;:::-;9863:341;9779:425;;;;;:::o;10224:340::-;10280:5;10329:3;10322:4;10314:6;10310:17;10306:27;10296:122;;10337:79;;:::i;:::-;10296:122;10454:6;10441:20;10479:79;10554:3;10546:6;10539:4;10531:6;10527:17;10479:79;:::i;:::-;10470:88;;10286:278;10224:340;;;;:::o;10570:509::-;10639:6;10688:2;10676:9;10667:7;10663:23;10659:32;10656:119;;;10694:79;;:::i;:::-;10656:119;10842:1;10831:9;10827:17;10814:31;10872:18;10864:6;10861:30;10858:117;;;10894:79;;:::i;:::-;10858:117;10999:63;11054:7;11045:6;11034:9;11030:22;10999:63;:::i;:::-;10989:73;;10785:287;10570:509;;;;:::o;11085:118::-;11172:24;11190:5;11172:24;:::i;:::-;11167:3;11160:37;11085:118;;:::o;11209:222::-;11302:4;11340:2;11329:9;11325:18;11317:26;;11353:71;11421:1;11410:9;11406:17;11397:6;11353:71;:::i;:::-;11209:222;;;;:::o;11437:329::-;11496:6;11545:2;11533:9;11524:7;11520:23;11516:32;11513:119;;;11551:79;;:::i;:::-;11513:119;11671:1;11696:53;11741:7;11732:6;11721:9;11717:22;11696:53;:::i;:::-;11686:63;;11642:117;11437:329;;;;:::o;11772:116::-;11842:21;11857:5;11842:21;:::i;:::-;11835:5;11832:32;11822:60;;11878:1;11875;11868:12;11822:60;11772:116;:::o;11894:133::-;11937:5;11975:6;11962:20;11953:29;;11991:30;12015:5;11991:30;:::i;:::-;11894:133;;;;:::o;12033:468::-;12098:6;12106;12155:2;12143:9;12134:7;12130:23;12126:32;12123:119;;;12161:79;;:::i;:::-;12123:119;12281:1;12306:53;12351:7;12342:6;12331:9;12327:22;12306:53;:::i;:::-;12296:63;;12252:117;12408:2;12434:50;12476:7;12467:6;12456:9;12452:22;12434:50;:::i;:::-;12424:60;;12379:115;12033:468;;;;;:::o;12507:307::-;12568:4;12658:18;12650:6;12647:30;12644:56;;;12680:18;;:::i;:::-;12644:56;12718:29;12740:6;12718:29;:::i;:::-;12710:37;;12802:4;12796;12792:15;12784:23;;12507:307;;;:::o;12820:423::-;12897:5;12922:65;12938:48;12979:6;12938:48;:::i;:::-;12922:65;:::i;:::-;12913:74;;13010:6;13003:5;12996:21;13048:4;13041:5;13037:16;13086:3;13077:6;13072:3;13068:16;13065:25;13062:112;;;13093:79;;:::i;:::-;13062:112;13183:54;13230:6;13225:3;13220;13183:54;:::i;:::-;12903:340;12820:423;;;;;:::o;13262:338::-;13317:5;13366:3;13359:4;13351:6;13347:17;13343:27;13333:122;;13374:79;;:::i;:::-;13333:122;13491:6;13478:20;13516:78;13590:3;13582:6;13575:4;13567:6;13563:17;13516:78;:::i;:::-;13507:87;;13323:277;13262:338;;;;:::o;13606:943::-;13701:6;13709;13717;13725;13774:3;13762:9;13753:7;13749:23;13745:33;13742:120;;;13781:79;;:::i;:::-;13742:120;13901:1;13926:53;13971:7;13962:6;13951:9;13947:22;13926:53;:::i;:::-;13916:63;;13872:117;14028:2;14054:53;14099:7;14090:6;14079:9;14075:22;14054:53;:::i;:::-;14044:63;;13999:118;14156:2;14182:53;14227:7;14218:6;14207:9;14203:22;14182:53;:::i;:::-;14172:63;;14127:118;14312:2;14301:9;14297:18;14284:32;14343:18;14335:6;14332:30;14329:117;;;14365:79;;:::i;:::-;14329:117;14470:62;14524:7;14515:6;14504:9;14500:22;14470:62;:::i;:::-;14460:72;;14255:287;13606:943;;;;;;;:::o;14555:474::-;14623:6;14631;14680:2;14668:9;14659:7;14655:23;14651:32;14648:119;;;14686:79;;:::i;:::-;14648:119;14806:1;14831:53;14876:7;14867:6;14856:9;14852:22;14831:53;:::i;:::-;14821:63;;14777:117;14933:2;14959:53;15004:7;14995:6;14984:9;14980:22;14959:53;:::i;:::-;14949:63;;14904:118;14555:474;;;;;:::o;15035:180::-;15083:77;15080:1;15073:88;15180:4;15177:1;15170:15;15204:4;15201:1;15194:15;15221:320;15265:6;15302:1;15296:4;15292:12;15282:22;;15349:1;15343:4;15339:12;15370:18;15360:81;;15426:4;15418:6;15414:17;15404:27;;15360:81;15488:2;15480:6;15477:14;15457:18;15454:38;15451:84;;15507:18;;:::i;:::-;15451:84;15272:269;15221:320;;;:::o;15547:171::-;15687:23;15683:1;15675:6;15671:14;15664:47;15547:171;:::o;15724:366::-;15866:3;15887:67;15951:2;15946:3;15887:67;:::i;:::-;15880:74;;15963:93;16052:3;15963:93;:::i;:::-;16081:2;16076:3;16072:12;16065:19;;15724:366;;;:::o;16096:419::-;16262:4;16300:2;16289:9;16285:18;16277:26;;16349:9;16343:4;16339:20;16335:1;16324:9;16320:17;16313:47;16377:131;16503:4;16377:131;:::i;:::-;16369:139;;16096:419;;;:::o;16521:180::-;16569:77;16566:1;16559:88;16666:4;16663:1;16656:15;16690:4;16687:1;16680:15;16707:191;16747:3;16766:20;16784:1;16766:20;:::i;:::-;16761:25;;16800:20;16818:1;16800:20;:::i;:::-;16795:25;;16843:1;16840;16836:9;16829:16;;16864:3;16861:1;16858:10;16855:36;;;16871:18;;:::i;:::-;16855:36;16707:191;;;;:::o;16904:332::-;17025:4;17063:2;17052:9;17048:18;17040:26;;17076:71;17144:1;17133:9;17129:17;17120:6;17076:71;:::i;:::-;17157:72;17225:2;17214:9;17210:18;17201:6;17157:72;:::i;:::-;16904:332;;;;;:::o;17242:194::-;17282:4;17302:20;17320:1;17302:20;:::i;:::-;17297:25;;17336:20;17354:1;17336:20;:::i;:::-;17331:25;;17380:1;17377;17373:9;17365:17;;17404:1;17398:4;17395:11;17392:37;;;17409:18;;:::i;:::-;17392:37;17242:194;;;;:::o;17442:442::-;17591:4;17629:2;17618:9;17614:18;17606:26;;17642:71;17710:1;17699:9;17695:17;17686:6;17642:71;:::i;:::-;17723:72;17791:2;17780:9;17776:18;17767:6;17723:72;:::i;:::-;17805;17873:2;17862:9;17858:18;17849:6;17805:72;:::i;:::-;17442:442;;;;;;:::o;17890:141::-;17939:4;17962:3;17954:11;;17985:3;17982:1;17975:14;18019:4;18016:1;18006:18;17998:26;;17890:141;;;:::o;18037:93::-;18074:6;18121:2;18116;18109:5;18105:14;18101:23;18091:33;;18037:93;;;:::o;18136:107::-;18180:8;18230:5;18224:4;18220:16;18199:37;;18136:107;;;;:::o;18249:393::-;18318:6;18368:1;18356:10;18352:18;18391:97;18421:66;18410:9;18391:97;:::i;:::-;18509:39;18539:8;18528:9;18509:39;:::i;:::-;18497:51;;18581:4;18577:9;18570:5;18566:21;18557:30;;18630:4;18620:8;18616:19;18609:5;18606:30;18596:40;;18325:317;;18249:393;;;;;:::o;18648:142::-;18698:9;18731:53;18749:34;18758:24;18776:5;18758:24;:::i;:::-;18749:34;:::i;:::-;18731:53;:::i;:::-;18718:66;;18648:142;;;:::o;18796:75::-;18839:3;18860:5;18853:12;;18796:75;;;:::o;18877:269::-;18987:39;19018:7;18987:39;:::i;:::-;19048:91;19097:41;19121:16;19097:41;:::i;:::-;19089:6;19082:4;19076:11;19048:91;:::i;:::-;19042:4;19035:105;18953:193;18877:269;;;:::o;19152:73::-;19197:3;19218:1;19211:8;;19152:73;:::o;19231:189::-;19308:32;;:::i;:::-;19349:65;19407:6;19399;19393:4;19349:65;:::i;:::-;19284:136;19231:189;;:::o;19426:186::-;19486:120;19503:3;19496:5;19493:14;19486:120;;;19557:39;19594:1;19587:5;19557:39;:::i;:::-;19530:1;19523:5;19519:13;19510:22;;19486:120;;;19426:186;;:::o;19618:543::-;19719:2;19714:3;19711:11;19708:446;;;19753:38;19785:5;19753:38;:::i;:::-;19837:29;19855:10;19837:29;:::i;:::-;19827:8;19823:44;20020:2;20008:10;20005:18;20002:49;;;20041:8;20026:23;;20002:49;20064:80;20120:22;20138:3;20120:22;:::i;:::-;20110:8;20106:37;20093:11;20064:80;:::i;:::-;19723:431;;19708:446;19618:543;;;:::o;20167:117::-;20221:8;20271:5;20265:4;20261:16;20240:37;;20167:117;;;;:::o;20290:169::-;20334:6;20367:51;20415:1;20411:6;20403:5;20400:1;20396:13;20367:51;:::i;:::-;20363:56;20448:4;20442;20438:15;20428:25;;20341:118;20290:169;;;;:::o;20464:295::-;20540:4;20686:29;20711:3;20705:4;20686:29;:::i;:::-;20678:37;;20748:3;20745:1;20741:11;20735:4;20732:21;20724:29;;20464:295;;;;:::o;20764:1395::-;20881:37;20914:3;20881:37;:::i;:::-;20983:18;20975:6;20972:30;20969:56;;;21005:18;;:::i;:::-;20969:56;21049:38;21081:4;21075:11;21049:38;:::i;:::-;21134:67;21194:6;21186;21180:4;21134:67;:::i;:::-;21228:1;21252:4;21239:17;;21284:2;21276:6;21273:14;21301:1;21296:618;;;;21958:1;21975:6;21972:77;;;22024:9;22019:3;22015:19;22009:26;22000:35;;21972:77;22075:67;22135:6;22128:5;22075:67;:::i;:::-;22069:4;22062:81;21931:222;21266:887;;21296:618;21348:4;21344:9;21336:6;21332:22;21382:37;21414:4;21382:37;:::i;:::-;21441:1;21455:208;21469:7;21466:1;21463:14;21455:208;;;21548:9;21543:3;21539:19;21533:26;21525:6;21518:42;21599:1;21591:6;21587:14;21577:24;;21646:2;21635:9;21631:18;21618:31;;21492:4;21489:1;21485:12;21480:17;;21455:208;;;21691:6;21682:7;21679:19;21676:179;;;21749:9;21744:3;21740:19;21734:26;21792:48;21834:4;21826:6;21822:17;21811:9;21792:48;:::i;:::-;21784:6;21777:64;21699:156;21676:179;21901:1;21897;21889:6;21885:14;21881:22;21875:4;21868:36;21303:611;;;21266:887;;20856:1303;;;20764:1395;;:::o;22165:143::-;22222:5;22253:6;22247:13;22238:22;;22269:33;22296:5;22269:33;:::i;:::-;22165:143;;;;:::o;22314:351::-;22384:6;22433:2;22421:9;22412:7;22408:23;22404:32;22401:119;;;22439:79;;:::i;:::-;22401:119;22559:1;22584:64;22640:7;22631:6;22620:9;22616:22;22584:64;:::i;:::-;22574:74;;22530:128;22314:351;;;;:::o;22671:180::-;22811:32;22807:1;22799:6;22795:14;22788:56;22671:180;:::o;22857:366::-;22999:3;23020:67;23084:2;23079:3;23020:67;:::i;:::-;23013:74;;23096:93;23185:3;23096:93;:::i;:::-;23214:2;23209:3;23205:12;23198:19;;22857:366;;;:::o;23229:419::-;23395:4;23433:2;23422:9;23418:18;23410:26;;23482:9;23476:4;23472:20;23468:1;23457:9;23453:17;23446:47;23510:131;23636:4;23510:131;:::i;:::-;23502:139;;23229:419;;;:::o;23654:442::-;23803:4;23841:2;23830:9;23826:18;23818:26;;23854:71;23922:1;23911:9;23907:17;23898:6;23854:71;:::i;:::-;23935:72;24003:2;23992:9;23988:18;23979:6;23935:72;:::i;:::-;24017;24085:2;24074:9;24070:18;24061:6;24017:72;:::i;:::-;23654:442;;;;;;:::o;24102:226::-;24242:34;24238:1;24230:6;24226:14;24219:58;24311:9;24306:2;24298:6;24294:15;24287:34;24102:226;:::o;24334:366::-;24476:3;24497:67;24561:2;24556:3;24497:67;:::i;:::-;24490:74;;24573:93;24662:3;24573:93;:::i;:::-;24691:2;24686:3;24682:12;24675:19;;24334:366;;;:::o;24706:419::-;24872:4;24910:2;24899:9;24895:18;24887:26;;24959:9;24953:4;24949:20;24945:1;24934:9;24930:17;24923:47;24987:131;25113:4;24987:131;:::i;:::-;24979:139;;24706:419;;;:::o;25131:168::-;25271:20;25267:1;25259:6;25255:14;25248:44;25131:168;:::o;25305:366::-;25447:3;25468:67;25532:2;25527:3;25468:67;:::i;:::-;25461:74;;25544:93;25633:3;25544:93;:::i;:::-;25662:2;25657:3;25653:12;25646:19;;25305:366;;;:::o;25677:419::-;25843:4;25881:2;25870:9;25866:18;25858:26;;25930:9;25924:4;25920:20;25916:1;25905:9;25901:17;25894:47;25958:131;26084:4;25958:131;:::i;:::-;25950:139;;25677:419;;;:::o;26102:173::-;26242:25;26238:1;26230:6;26226:14;26219:49;26102:173;:::o;26281:366::-;26423:3;26444:67;26508:2;26503:3;26444:67;:::i;:::-;26437:74;;26520:93;26609:3;26520:93;:::i;:::-;26638:2;26633:3;26629:12;26622:19;;26281:366;;;:::o;26653:419::-;26819:4;26857:2;26846:9;26842:18;26834:26;;26906:9;26900:4;26896:20;26892:1;26881:9;26877:17;26870:47;26934:131;27060:4;26934:131;:::i;:::-;26926:139;;26653:419;;;:::o;27078:332::-;27199:4;27237:2;27226:9;27222:18;27214:26;;27250:71;27318:1;27307:9;27303:17;27294:6;27250:71;:::i;:::-;27331:72;27399:2;27388:9;27384:18;27375:6;27331:72;:::i;:::-;27078:332;;;;;:::o;27416:137::-;27470:5;27501:6;27495:13;27486:22;;27517:30;27541:5;27517:30;:::i;:::-;27416:137;;;;:::o;27559:345::-;27626:6;27675:2;27663:9;27654:7;27650:23;27646:32;27643:119;;;27681:79;;:::i;:::-;27643:119;27801:1;27826:61;27879:7;27870:6;27859:9;27855:22;27826:61;:::i;:::-;27816:71;;27772:125;27559:345;;;;:::o;27910:225::-;28050:34;28046:1;28038:6;28034:14;28027:58;28119:8;28114:2;28106:6;28102:15;28095:33;27910:225;:::o;28141:366::-;28283:3;28304:67;28368:2;28363:3;28304:67;:::i;:::-;28297:74;;28380:93;28469:3;28380:93;:::i;:::-;28498:2;28493:3;28489:12;28482:19;;28141:366;;;:::o;28513:419::-;28679:4;28717:2;28706:9;28702:18;28694:26;;28766:9;28760:4;28756:20;28752:1;28741:9;28737:17;28730:47;28794:131;28920:4;28794:131;:::i;:::-;28786:139;;28513:419;;;:::o;28938:98::-;28989:6;29023:5;29017:12;29007:22;;28938:98;;;:::o;29042:168::-;29125:11;29159:6;29154:3;29147:19;29199:4;29194:3;29190:14;29175:29;;29042:168;;;;:::o;29216:373::-;29302:3;29330:38;29362:5;29330:38;:::i;:::-;29384:70;29447:6;29442:3;29384:70;:::i;:::-;29377:77;;29463:65;29521:6;29516:3;29509:4;29502:5;29498:16;29463:65;:::i;:::-;29553:29;29575:6;29553:29;:::i;:::-;29548:3;29544:39;29537:46;;29306:283;29216:373;;;;:::o;29595:640::-;29790:4;29828:3;29817:9;29813:19;29805:27;;29842:71;29910:1;29899:9;29895:17;29886:6;29842:71;:::i;:::-;29923:72;29991:2;29980:9;29976:18;29967:6;29923:72;:::i;:::-;30005;30073:2;30062:9;30058:18;30049:6;30005:72;:::i;:::-;30124:9;30118:4;30114:20;30109:2;30098:9;30094:18;30087:48;30152:76;30223:4;30214:6;30152:76;:::i;:::-;30144:84;;29595:640;;;;;;;:::o;30241:141::-;30297:5;30328:6;30322:13;30313:22;;30344:32;30370:5;30344:32;:::i;:::-;30241:141;;;;:::o;30388:349::-;30457:6;30506:2;30494:9;30485:7;30481:23;30477:32;30474:119;;;30512:79;;:::i;:::-;30474:119;30632:1;30657:63;30712:7;30703:6;30692:9;30688:22;30657:63;:::i;:::-;30647:73;;30603:127;30388:349;;;;:::o;30743:332::-;30864:4;30902:2;30891:9;30887:18;30879:26;;30915:71;30983:1;30972:9;30968:17;30959:6;30915:71;:::i;:::-;30996:72;31064:2;31053:9;31049:18;31040:6;30996:72;:::i;:::-;30743:332;;;;;:::o

ipfs://2e9f0ce104343a60281bbb0d951335fd30362acfdf9e458b39710ea8a256c450