Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

More Options

• Similar
• Submit Audit
• Compare

/**
 *Submitted for verification at Arbiscan.io on 2024-06-21
*/

// Sources flattened with hardhat v2.22.3 https://hardhat.org

// SPDX-License-Identifier: GPL-3.0 AND MIT

// File @openzeppelin/contracts/utils/[email protected]

// Original license: SPDX_License_Identifier: MIT
// OpenZeppelin Contracts (last updated v5.0.0) (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;
    }
}


// File @openzeppelin/contracts/access/[email protected]

// Original license: SPDX_License_Identifier: MIT
// 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/interfaces/[email protected]

// Original license: SPDX_License_Identifier: MIT
// OpenZeppelin Contracts (last updated v5.0.0) (interfaces/draft-IERC6093.sol)
pragma solidity ^0.8.20;

/**
 * @dev Standard ERC20 Errors
 * Interface of the https://eips.ethereum.org/EIPS/eip-6093[ERC-6093] custom errors for ERC20 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 ERC721 Errors
 * Interface of the https://eips.ethereum.org/EIPS/eip-6093[ERC-6093] custom errors for ERC721 tokens.
 */
interface IERC721Errors {
    /**
     * @dev Indicates that an address can't be an owner. For example, `address(0)` is a forbidden owner in EIP-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 ERC1155 Errors
 * Interface of the https://eips.ethereum.org/EIPS/eip-6093[ERC-6093] custom errors for ERC1155 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/utils/introspection/[email protected]

// Original license: SPDX_License_Identifier: MIT
// OpenZeppelin Contracts (last updated v5.0.0) (utils/introspection/IERC165.sol)

pragma solidity ^0.8.20;

/**
 * @dev Interface of the ERC165 standard, as defined in the
 * https://eips.ethereum.org/EIPS/eip-165[EIP].
 *
 * 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[EIP 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/[email protected]

// Original license: SPDX_License_Identifier: MIT
// OpenZeppelin Contracts (last updated v5.0.0) (token/ERC721/IERC721.sol)

pragma solidity ^0.8.20;

/**
 * @dev Required interface of an ERC721 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 ERC721 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 ERC721
     * 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/[email protected]

// Original license: SPDX_License_Identifier: MIT
// 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/[email protected]

// Original license: SPDX_License_Identifier: MIT
// OpenZeppelin Contracts (last updated v5.0.0) (token/ERC721/IERC721Receiver.sol)

pragma solidity ^0.8.20;

/**
 * @title ERC721 token receiver interface
 * @dev Interface for any contract that wants to support safeTransfers
 * from ERC721 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/utils/introspection/[email protected]

// Original license: SPDX_License_Identifier: MIT
// OpenZeppelin Contracts (last updated v5.0.0) (utils/introspection/ERC165.sol)

pragma solidity ^0.8.20;

/**
 * @dev Implementation of the {IERC165} interface.
 *
 * Contracts that want to implement ERC165 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/utils/math/[email protected]

// Original license: SPDX_License_Identifier: MIT
// OpenZeppelin Contracts (last updated v5.0.0) (utils/math/Math.sol)

pragma solidity ^0.8.20;

/**
 * @dev Standard math utilities missing in the Solidity language.
 */
library Math {
    /**
     * @dev Muldiv operation overflow.
     */
    error MathOverflowedMulDiv();

    enum Rounding {
        Floor, // Toward negative infinity
        Ceil, // Toward positive infinity
        Trunc, // Toward zero
        Expand // Away from zero
    }

    /**
     * @dev Returns the addition of two unsigned integers, with an overflow flag.
     */
    function tryAdd(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            uint256 c = a + b;
            if (c < a) return (false, 0);
            return (true, c);
        }
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, with an overflow flag.
     */
    function trySub(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            if (b > a) return (false, 0);
            return (true, a - b);
        }
    }

    /**
     * @dev Returns the multiplication of two unsigned integers, with an overflow flag.
     */
    function tryMul(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            // Gas optimization: this is cheaper than requiring 'a' not being zero, but the
            // benefit is lost if 'b' is also tested.
            // See: https://github.com/OpenZeppelin/openzeppelin-contracts/pull/522
            if (a == 0) return (true, 0);
            uint256 c = a * b;
            if (c / a != b) return (false, 0);
            return (true, c);
        }
    }

    /**
     * @dev Returns the division of two unsigned integers, with a division by zero flag.
     */
    function tryDiv(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            if (b == 0) return (false, 0);
            return (true, a / b);
        }
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers, with a division by zero flag.
     */
    function tryMod(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            if (b == 0) return (false, 0);
            return (true, a % b);
        }
    }

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

    /**
     * @dev Returns the smallest of two numbers.
     */
    function min(uint256 a, uint256 b) internal pure returns (uint256) {
        return 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.
            return a / b;
        }

        // (a + b - 1) / b can overflow on addition, so we distribute.
        return a == 0 ? 0 : (a - 1) / b + 1;
    }

    /**
     * @notice Calculates floor(x * y / denominator) with full precision. Throws if result overflows a uint256 or
     * denominator == 0.
     * @dev 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 {
            // 512-bit multiply [prod1 prod0] = x * y. Compute the product mod 2^256 and mod 2^256 - 1, then use
            // use the Chinese Remainder Theorem to reconstruct the 512 bit result. The result is stored in two 256
            // variables such that product = prod1 * 2^256 + prod0.
            uint256 prod0 = x * y; // Least significant 256 bits of the product
            uint256 prod1; // Most significant 256 bits of the product
            assembly {
                let mm := mulmod(x, y, not(0))
                prod1 := sub(sub(mm, prod0), lt(mm, prod0))
            }

            // Handle non-overflow cases, 256 by 256 division.
            if (prod1 == 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 prod0 / denominator;
            }

            // Make sure the result is less than 2^256. Also prevents denominator == 0.
            if (denominator <= prod1) {
                revert MathOverflowedMulDiv();
            }

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

            // Make division exact by subtracting the remainder from [prod1 prod0].
            uint256 remainder;
            assembly {
                // Compute remainder using mulmod.
                remainder := mulmod(x, y, denominator)

                // Subtract 256 bit number from 512 bit number.
                prod1 := sub(prod1, gt(remainder, prod0))
                prod0 := sub(prod0, 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 {
                // Divide denominator by twos.
                denominator := div(denominator, twos)

                // Divide [prod1 prod0] by twos.
                prod0 := div(prod0, twos)

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

            // Shift in bits from prod1 into prod0.
            prod0 |= prod1 * twos;

            // Invert denominator mod 2^256. Now that denominator is an odd number, it has an inverse modulo 2^256 such
            // that denominator * inv = 1 mod 2^256. Compute the inverse by starting with a seed that is correct for
            // four bits. That is, denominator * inv = 1 mod 2^4.
            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^8
            inverse *= 2 - denominator * inverse; // inverse mod 2^16
            inverse *= 2 - denominator * inverse; // inverse mod 2^32
            inverse *= 2 - denominator * inverse; // inverse mod 2^64
            inverse *= 2 - denominator * inverse; // inverse mod 2^128
            inverse *= 2 - denominator * inverse; // inverse mod 2^256

            // 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^256. Since the preconditions guarantee that the outcome is
            // less than 2^256, this is the final result. We don't need to compute the high bits of the result and prod1
            // is no longer required.
            result = prod0 * inverse;
            return result;
        }
    }

    /**
     * @notice 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) {
        uint256 result = mulDiv(x, y, denominator);
        if (unsignedRoundsUp(rounding) && mulmod(x, y, denominator) > 0) {
            result += 1;
        }
        return result;
    }

    /**
     * @dev Returns the square root of a number. If the number is not a perfect square, the value is rounded
     * towards zero.
     *
     * Inspired by Henry S. Warren, Jr.'s "Hacker's Delight" (Chapter 11).
     */
    function sqrt(uint256 a) internal pure returns (uint256) {
        if (a == 0) {
            return 0;
        }

        // For our first guess, we get the biggest power of 2 which is smaller than the square root of the target.
        //
        // We know that the "msb" (most significant bit) of our target number `a` is a power of 2 such that we have
        // `msb(a) <= a < 2*msb(a)`. This value can be written `msb(a)=2**k` with `k=log2(a)`.
        //
        // This can be rewritten `2**log2(a) <= a < 2**(log2(a) + 1)`
        // → `sqrt(2**k) <= sqrt(a) < sqrt(2**(k+1))`
        // → `2**(k/2) <= sqrt(a) < 2**((k+1)/2) <= 2**(k/2 + 1)`
        //
        // Consequently, `2**(log2(a) / 2)` is a good first approximation of `sqrt(a)` with at least 1 correct bit.
        uint256 result = 1 << (log2(a) >> 1);

        // At this point `result` is an estimation with one bit of precision. We know the true value is a uint128,
        // since it is the square root of a uint256. Newton's method converges quadratically (precision doubles at
        // every iteration). We thus need at most 7 iteration to turn our partial result with one bit of precision
        // into the expected uint128 result.
        unchecked {
            result = (result + a / result) >> 1;
            result = (result + a / result) >> 1;
            result = (result + a / result) >> 1;
            result = (result + a / result) >> 1;
            result = (result + a / result) >> 1;
            result = (result + a / result) >> 1;
            result = (result + a / result) >> 1;
            return min(result, a / result);
        }
    }

    /**
     * @notice 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 + (unsignedRoundsUp(rounding) && result * result < a ? 1 : 0);
        }
    }

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

    /**
     * @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 + (unsignedRoundsUp(rounding) && 1 << result < value ? 1 : 0);
        }
    }

    /**
     * @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 + (unsignedRoundsUp(rounding) && 10 ** result < value ? 1 : 0);
        }
    }

    /**
     * @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 value) internal pure returns (uint256) {
        uint256 result = 0;
        unchecked {
            if (value >> 128 > 0) {
                value >>= 128;
                result += 16;
            }
            if (value >> 64 > 0) {
                value >>= 64;
                result += 8;
            }
            if (value >> 32 > 0) {
                value >>= 32;
                result += 4;
            }
            if (value >> 16 > 0) {
                value >>= 16;
                result += 2;
            }
            if (value >> 8 > 0) {
                result += 1;
            }
        }
        return result;
    }

    /**
     * @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 + (unsignedRoundsUp(rounding) && 1 << (result << 3) < value ? 1 : 0);
        }
    }

    /**
     * @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/[email protected]

// Original license: SPDX_License_Identifier: MIT
// OpenZeppelin Contracts (last updated v5.0.0) (utils/math/SignedMath.sol)

pragma solidity ^0.8.20;

/**
 * @dev Standard signed math utilities missing in the Solidity language.
 */
library SignedMath {
    /**
     * @dev Returns the largest of two signed numbers.
     */
    function max(int256 a, int256 b) internal pure returns (int256) {
        return a > b ? a : b;
    }

    /**
     * @dev Returns the smallest of two signed numbers.
     */
    function min(int256 a, int256 b) internal pure returns (int256) {
        return 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 {
            // must be unchecked in order to support `n = type(int256).min`
            return uint256(n >= 0 ? n : -n);
        }
    }
}


// File @openzeppelin/contracts/utils/[email protected]

// Original license: SPDX_License_Identifier: MIT
// OpenZeppelin Contracts (last updated v5.0.0) (utils/Strings.sol)

pragma solidity ^0.8.20;


/**
 * @dev String operations.
 */
library Strings {
    bytes16 private constant HEX_DIGITS = "0123456789abcdef";
    uint8 private constant ADDRESS_LENGTH = 20;

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

    /**
     * @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;
            /// @solidity memory-safe-assembly
            assembly {
                ptr := add(buffer, add(32, length))
            }
            while (true) {
                ptr--;
                /// @solidity memory-safe-assembly
                assembly {
                    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 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));
    }
}


// File @openzeppelin/contracts/token/ERC721/[email protected]

// Original license: SPDX_License_Identifier: MIT
// OpenZeppelin Contracts (last updated v5.0.0) (token/ERC721/ERC721.sol)

pragma solidity ^0.8.20;







/**
 * @dev Implementation of https://eips.ethereum.org/EIPS/eip-721[ERC721] 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);
        _checkOnERC721Received(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 ERC721 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 the provided `owner` for the given token or for all its assets
     * the `spender` for the specific `tokenId`.
     *
     * 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);
        _checkOnERC721Received(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 ERC721 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);
        _checkOnERC721Received(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;
    }

    /**
     * @dev Private function to invoke {IERC721Receiver-onERC721Received} on a target address. This will revert if the
     * recipient doesn't accept the token transfer. The call is not executed if the target address is not a contract.
     *
     * @param from address representing the previous owner of the given token ID
     * @param to target address that will receive the tokens
     * @param tokenId uint256 ID of the token to be transferred
     * @param data bytes optional data to send along with the call
     */
    function _checkOnERC721Received(address from, address to, uint256 tokenId, bytes memory data) private {
        if (to.code.length > 0) {
            try IERC721Receiver(to).onERC721Received(_msgSender(), from, tokenId, data) returns (bytes4 retval) {
                if (retval != IERC721Receiver.onERC721Received.selector) {
                    revert ERC721InvalidReceiver(to);
                }
            } catch (bytes memory reason) {
                if (reason.length == 0) {
                    revert ERC721InvalidReceiver(to);
                } else {
                    /// @solidity memory-safe-assembly
                    assembly {
                        revert(add(32, reason), mload(reason))
                    }
                }
            }
        }
    }
}


// File contracts/interfaces/ICarvNft.sol

// Original license: SPDX_License_Identifier: GPL-3.0
pragma solidity 0.8.20;

interface ICarvNft {
    /**
     * @notice This struct represents meta information bound to TokenID,
     *
     * `code`: code of this token entered by buyer
     * `price`: price of this token paid by buyer
     * `tier`: tier of this token
     */
    struct MetaData {
        string code;
        uint64 price;
        uint8 tier;
    }

    /**
     * @notice mint {count} nft to {receiver}.
     * @notice totalSupply 100,000
     *
     * @dev Auth: Only Owner.
     *
     * @param receiver: nft receiver
     * @param count: how many nft to be minted to receiver
     * @param meta: `MetaData` of this tokenID
     */
    function mint(address receiver, uint256 count, MetaData calldata meta) external;

    /**
     * @notice mint {counts} nft to {receivers}.
     * @notice call `mint`
     *
     * @dev Auth: Only Owner.
     *
     * @param receivers: array of receivers
     * @param counts: array of counts
     * @param metas: array of meta
     */
    function mintBatch(address[] calldata receivers, uint256[] calldata counts, MetaData[] calldata metas) external;

    /**
     * @notice Set BaseURI of all the tokens
     *
     * @dev Auth: Only Owner.
     *
     * @param newBaseURI: newBaseURI
     */
    function setBaseURI(string calldata newBaseURI) external;

    /**
     * @notice Set TransferProhibitedUntil
     * @notice When the time has not reached the `TransferProhibitedUntil`, ordinary tokens cannot be transferred.
     *
     * @dev Auth: Only Owner.
     *
     * @param newTransferProhibitedUntil: newTransferProhibitedUntil
     */
    function setTransferProhibitedUntil(uint256 newTransferProhibitedUntil) external;

    /**
     * @notice Set RedeemProhibitedUntil
     * @notice When the time has not reached the `RedeemProhibitedUntil`, ordinary tokens cannot be redeemed.
     *
     * @dev Auth: Only Owner.
     *
     * @param newRedeemProhibitedUntil: newRedeemProhibitedUntil
     */
    function setRedeemProhibitedUntil(uint256 newRedeemProhibitedUntil) external;

    /**
     * @notice Set RedeemAddress
     * @notice When `transfer.to` is RedeemAddress, the token can be transferred under any circumstances
     *
     * @dev Auth: Only Owner.
     *
     * @param newRedeemAddress: newRedeemAddress
     */
    function setRedeemAddress(address newRedeemAddress) external;

    /**
     * @notice Set TransferOnceWhitelist
     * @notice Addresses in the whitelist can transfer tokens once before `TransferProhibitedUntil`
     *
     * @dev Auth: Only Owner.
     *
     * @param whitelist: whitelist
     */
    function setTransferOnceWhitelist(address[] calldata whitelist) external;
}


// File contracts/CarvNft.sol

// Original license: SPDX_License_Identifier: GPL-3.0
pragma solidity 0.8.20;



contract CarvNft is Ownable, ERC721, ICarvNft {

    uint256 constant MAX_SUPPLY = 100000;

    string private baseURI;
    uint256 public tokenIndex;
    uint256 public transferProhibitedUntil;
    uint256 public redeemProhibitedUntil;
    address public redeemAddress;

    mapping(uint256 => MetaData) public tokenMetas;
    mapping(uint256 => bool) public transferred;
    mapping(address => bool) public canTransferOnce;

    constructor(string memory name, string memory symbol) ERC721(name, symbol) Ownable(msg.sender) {}

    function supportsInterface(bytes4 interfaceId) public view virtual override returns (bool) {
        return interfaceId == type(ICarvNft).interfaceId || super.supportsInterface(interfaceId);
    }

    function _baseURI() internal view override returns (string memory) {
        return baseURI;
    }

    function transferFrom(address from, address to, uint256 tokenId) public override {
        if (to == redeemAddress) {
            require(block.timestamp > redeemProhibitedUntil, "Redeem not allowed");
            super.transferFrom(from, to, tokenId);
            return;
        }

        if (block.timestamp < transferProhibitedUntil) {
            require(canTransferOnce[from], "Transfer not allowed");
            require(!transferred[tokenId], "Already Transferred");
            transferred[tokenId] = true;
        }

        super.transferFrom(from, to, tokenId);
    }

    function mint(address receiver, uint256 count, MetaData calldata meta) public onlyOwner {
        require(tokenIndex+count <= MAX_SUPPLY, "Mint finished");
        for (uint i = 1; i <= count; i++) {
            _safeMint(receiver, tokenIndex+i);
            tokenMetas[tokenIndex+i] = meta;
        }
        tokenIndex += count;
    }

    function mintBatch(address[] calldata receivers, uint256[] calldata counts, MetaData[] calldata metas) external onlyOwner {
        require(receivers.length == counts.length && counts.length == metas.length, "Length of arr not equal");
        for (uint i = 0; i < receivers.length; i++) {
            mint(receivers[i], counts[i], metas[i]);
        }
    }

    function setBaseURI(string calldata newBaseURI) external onlyOwner {
        baseURI = newBaseURI;
    }

    function setTransferProhibitedUntil(uint256 newTransferProhibitedUntil) external onlyOwner {
        transferProhibitedUntil = newTransferProhibitedUntil;
    }

    function setRedeemProhibitedUntil(uint256 newRedeemProhibitedUntil) external onlyOwner {
        redeemProhibitedUntil = newRedeemProhibitedUntil;
    }

    function setRedeemAddress(address newRedeemAddress) external onlyOwner {
        redeemAddress = newRedeemAddress;
    }

    function setTransferOnceWhitelist(address[] calldata whitelist) external onlyOwner {
        require(whitelist.length > 0, "Empty whitelist");
        for (uint i = 0; i < whitelist.length; i++) {
            canTransferOnce[whitelist[i]] = true;
        }
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"string","name":"name","type":"string"},{"internalType":"string","name":"symbol","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":[{"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":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","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"},{"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":[{"internalType":"address","name":"","type":"address"}],"name":"canTransferOnce","outputs":[{"internalType":"bool","name":"","type":"bool"}],"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":[{"internalType":"address","name":"receiver","type":"address"},{"internalType":"uint256","name":"count","type":"uint256"},{"components":[{"internalType":"string","name":"code","type":"string"},{"internalType":"uint64","name":"price","type":"uint64"},{"internalType":"uint8","name":"tier","type":"uint8"}],"internalType":"struct ICarvNft.MetaData","name":"meta","type":"tuple"}],"name":"mint","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address[]","name":"receivers","type":"address[]"},{"internalType":"uint256[]","name":"counts","type":"uint256[]"},{"components":[{"internalType":"string","name":"code","type":"string"},{"internalType":"uint64","name":"price","type":"uint64"},{"internalType":"uint8","name":"tier","type":"uint8"}],"internalType":"struct ICarvNft.MetaData[]","name":"metas","type":"tuple[]"}],"name":"mintBatch","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","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":"redeemAddress","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"redeemProhibitedUntil","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"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":"newBaseURI","type":"string"}],"name":"setBaseURI","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newRedeemAddress","type":"address"}],"name":"setRedeemAddress","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"newRedeemProhibitedUntil","type":"uint256"}],"name":"setRedeemProhibitedUntil","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address[]","name":"whitelist","type":"address[]"}],"name":"setTransferOnceWhitelist","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"newTransferProhibitedUntil","type":"uint256"}],"name":"setTransferProhibitedUntil","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":[],"name":"tokenIndex","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"tokenMetas","outputs":[{"internalType":"string","name":"code","type":"string"},{"internalType":"uint64","name":"price","type":"uint64"},{"internalType":"uint8","name":"tier","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"tokenURI","outputs":[{"internalType":"string","name":"","type":"string"}],"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":"transferProhibitedUntil","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"transferred","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"}]

60806040523480156200001157600080fd5b50604051620020c7380380620020c78339810160408190526200003491620001a6565b818133806200005d57604051631e4fbdf760e01b81526000600482015260240160405180910390fd5b620000688162000091565b5060016200007783826200029f565b5060026200008682826200029f565b50505050506200036b565b600080546001600160a01b038381166001600160a01b0319831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b634e487b7160e01b600052604160045260246000fd5b600082601f8301126200010957600080fd5b81516001600160401b0380821115620001265762000126620000e1565b604051601f8301601f19908116603f01168101908282118183101715620001515762000151620000e1565b816040528381526020925086838588010111156200016e57600080fd5b600091505b8382101562000192578582018301518183018401529082019062000173565b600093810190920192909252949350505050565b60008060408385031215620001ba57600080fd5b82516001600160401b0380821115620001d257600080fd5b620001e086838701620000f7565b93506020850151915080821115620001f757600080fd5b506200020685828601620000f7565b9150509250929050565b600181811c908216806200022557607f821691505b6020821081036200024657634e487b7160e01b600052602260045260246000fd5b50919050565b601f8211156200029a57600081815260208120601f850160051c81016020861015620002755750805b601f850160051c820191505b81811015620002965782815560010162000281565b5050505b505050565b81516001600160401b03811115620002bb57620002bb620000e1565b620002d381620002cc845462000210565b846200024c565b602080601f8311600181146200030b5760008415620002f25750858301515b600019600386901b1c1916600185901b17855562000296565b600085815260208120601f198616915b828110156200033c578886015182559484019460019091019084016200031b565b50858210156200035b5787850151600019600388901b60f8161c191681555b5050505050600190811b01905550565b611d4c806200037b6000396000f3fe608060405234801561001057600080fd5b50600436106101da5760003560e01c806370a0823111610104578063c87b56dd116100a2578063e346111911610071578063e3461119146103f5578063e985e9c514610408578063f1eade0014610444578063f2fde38b1461046757600080fd5b8063c87b56dd146103a3578063d55f9273146103b6578063d7699088146103bf578063df6c9564146103e257600080fd5b806395d89b41116100de57806395d89b4114610362578063a22cb4651461036a578063b52c61a41461037d578063b88d4fde1461039057600080fd5b806370a0823114610336578063715018a6146103495780638da5cb5b1461035157600080fd5b806335c5c7e41161017c5780634d716ebf1161014b5780634d716ebf146102e557806355649ef81461030757806355f804b3146103105780636352211e1461032357600080fd5b806335c5c7e41461029557806336797699146102a85780633d329e91146102bb57806342842e0e146102d257600080fd5b8063095ea7b3116101b8578063095ea7b31461024757806323b872dd1461025c578063265b51501461026f57806334560abc1461028257600080fd5b806301ffc9a7146101df57806306fdde0314610207578063081812fc1461021c575b600080fd5b6101f26101ed36600461148b565b61047a565b60405190151581526020015b60405180910390f35b61020f6104a5565b6040516101fe91906114f8565b61022f61022a36600461150b565b610537565b6040516001600160a01b0390911681526020016101fe565b61025a610255366004611540565b610560565b005b61025a61026a36600461156a565b61056f565b600b5461022f906001600160a01b031681565b61025a6102903660046115f2565b6106e0565b61025a6102a336600461150b565b6107cf565b61025a6102b636600461168c565b6107dc565b6102c460095481565b6040519081526020016101fe565b61025a6102e036600461156a565b6108a3565b6102f86102f336600461150b565b6108be565b6040516101fe939291906116ce565b6102c4600a5481565b61025a61031e366004611704565b61097e565b61022f61033136600461150b565b610993565b6102c4610344366004611776565b61099e565b61025a6109e6565b6000546001600160a01b031661022f565b61020f6109fa565b61025a610378366004611791565b610a09565b61025a61038b36600461150b565b610a14565b61025a61039e3660046117e3565b610a21565b61020f6103b136600461150b565b610a3e565b6102c460085481565b6101f26103cd36600461150b565b600d6020526000908152604090205460ff1681565b61025a6103f03660046118bf565b610aa6565b61025a610403366004611776565b610b7e565b6101f261041636600461191d565b6001600160a01b03918216600090815260066020908152604080832093909416825291909152205460ff1690565b6101f2610452366004611776565b600e6020526000908152604090205460ff1681565b61025a610475366004611776565b610ba8565b60006001600160e01b0319821663eb145aab60e01b148061049f575061049f82610be6565b92915050565b6060600180546104b490611950565b80601f01602080910402602001604051908101604052809291908181526020018280546104e090611950565b801561052d5780601f106105025761010080835404028352916020019161052d565b820191906000526020600020905b81548152906001019060200180831161051057829003601f168201915b5050505050905090565b600061054282610c36565b506000828152600560205260409020546001600160a01b031661049f565b61056b828233610c6f565b5050565b600b546001600160a01b03908116908316036105eb57600a5442116105db5760405162461bcd60e51b815260206004820152601260248201527f52656465656d206e6f7420616c6c6f776564000000000000000000000000000060448201526064015b60405180910390fd5b6105e6838383610c7c565b505050565b6009544210156105db576001600160a01b0383166000908152600e602052604090205460ff1661065d5760405162461bcd60e51b815260206004820152601460248201527f5472616e73666572206e6f7420616c6c6f77656400000000000000000000000060448201526064016105d2565b6000818152600d602052604090205460ff16156106bc5760405162461bcd60e51b815260206004820152601360248201527f416c7265616479205472616e736665727265640000000000000000000000000060448201526064016105d2565b6000818152600d60205260409020805460ff191660011790556105e6838383610c7c565b6106e8610d01565b84831480156106f657508281145b6107425760405162461bcd60e51b815260206004820152601760248201527f4c656e677468206f6620617272206e6f7420657175616c00000000000000000060448201526064016105d2565b60005b858110156107c6576107b48787838181106107625761076261198a565b90506020020160208101906107779190611776565b8686848181106107895761078961198a565b905060200201358585858181106107a2576107a261198a565b90506020028101906103f091906119a0565b806107be816119d6565b915050610745565b50505050505050565b6107d7610d01565b600a55565b6107e4610d01565b806108315760405162461bcd60e51b815260206004820152600f60248201527f456d7074792077686974656c697374000000000000000000000000000000000060448201526064016105d2565b60005b818110156105e6576001600e60008585858181106108545761085461198a565b90506020020160208101906108699190611776565b6001600160a01b031681526020810191909152604001600020805460ff19169115159190911790558061089b816119d6565b915050610834565b6105e683838360405180602001604052806000815250610a21565b600c602052600090815260409020805481906108d990611950565b80601f016020809104026020016040519081016040528092919081815260200182805461090590611950565b80156109525780601f1061092757610100808354040283529160200191610952565b820191906000526020600020905b81548152906001019060200180831161093557829003601f168201915b5050506001909301549192505067ffffffffffffffff81169060ff680100000000000000009091041683565b610986610d01565b60076105e6828483611a3d565b600061049f82610c36565b60006001600160a01b0382166109ca576040516322718ad960e21b8152600060048201526024016105d2565b506001600160a01b031660009081526004602052604090205490565b6109ee610d01565b6109f86000610d2e565b565b6060600280546104b490611950565b61056b338383610d7e565b610a1c610d01565b600955565b610a2c84848461056f565b610a3884848484610e1d565b50505050565b6060610a4982610c36565b506000610a54610f46565b90506000815111610a745760405180602001604052806000815250610a9f565b80610a7e84610f55565b604051602001610a8f929190611afd565b6040516020818303038152906040525b9392505050565b610aae610d01565b620186a082600854610ac09190611b2c565b1115610afe5760405162461bcd60e51b815260206004820152600d60248201526c135a5b9d08199a5b9a5cda1959609a1b60448201526064016105d2565b60015b828111610b6157610b1f8482600854610b1a9190611b2c565b610ff5565b81600c600083600854610b329190611b2c565b81526020019081526020016000208181610b4c9190611b6c565b50819050610b59816119d6565b915050610b01565b508160086000828254610b749190611b2c565b9091555050505050565b610b86610d01565b600b80546001600160a01b0319166001600160a01b0392909216919091179055565b610bb0610d01565b6001600160a01b038116610bda57604051631e4fbdf760e01b8152600060048201526024016105d2565b610be381610d2e565b50565b60006001600160e01b031982166380ac58cd60e01b1480610c1757506001600160e01b03198216635b5e139f60e01b145b8061049f57506301ffc9a760e01b6001600160e01b031983161461049f565b6000818152600360205260408120546001600160a01b03168061049f57604051637e27328960e01b8152600481018490526024016105d2565b6105e6838383600161100f565b6001600160a01b038216610ca657604051633250574960e11b8152600060048201526024016105d2565b6000610cb3838333611134565b9050836001600160a01b0316816001600160a01b031614610a38576040516364283d7b60e01b81526001600160a01b03808616600483015260248201849052821660448201526064016105d2565b6000546001600160a01b031633146109f85760405163118cdaa760e01b81523360048201526024016105d2565b600080546001600160a01b038381166001600160a01b0319831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b6001600160a01b038216610db057604051630b61174360e31b81526001600160a01b03831660048201526024016105d2565b6001600160a01b03838116600081815260066020908152604080832094871680845294825291829020805460ff191686151590811790915591519182527f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31910160405180910390a3505050565b6001600160a01b0383163b15610a3857604051630a85bd0160e11b81526001600160a01b0384169063150b7a0290610e5f903390889087908790600401611cbd565b6020604051808303816000875af1925050508015610e9a575060408051601f3d908101601f19168201909252610e9791810190611cf9565b60015b610f03573d808015610ec8576040519150601f19603f3d011682016040523d82523d6000602084013e610ecd565b606091505b508051600003610efb57604051633250574960e11b81526001600160a01b03851660048201526024016105d2565b805181602001fd5b6001600160e01b03198116630a85bd0160e11b14610f3f57604051633250574960e11b81526001600160a01b03851660048201526024016105d2565b5050505050565b6060600780546104b490611950565b60606000610f628361122d565b600101905060008167ffffffffffffffff811115610f8257610f826117cd565b6040519080825280601f01601f191660200182016040528015610fac576020820181803683370190505b5090508181016020015b600019017f3031323334353637383961626364656600000000000000000000000000000000600a86061a8153600a8504945084610fb657509392505050565b61056b82826040518060200160405280600081525061130f565b808061102357506001600160a01b03821615155b1561110457600061103384610c36565b90506001600160a01b0383161580159061105f5750826001600160a01b0316816001600160a01b031614155b801561109157506001600160a01b0380821660009081526006602090815260408083209387168352929052205460ff16155b156110ba5760405163a9fbf51f60e01b81526001600160a01b03841660048201526024016105d2565b81156111025783856001600160a01b0316826001600160a01b03167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92560405160405180910390a45b505b5050600090815260056020526040902080546001600160a01b0319166001600160a01b0392909216919091179055565b6000828152600360205260408120546001600160a01b039081169083161561116157611161818486611326565b6001600160a01b0381161561119f5761117e60008560008061100f565b6001600160a01b038116600090815260046020526040902080546000190190555b6001600160a01b038516156111ce576001600160a01b0385166000908152600460205260409020805460010190555b60008481526003602052604080822080546001600160a01b0319166001600160a01b0389811691821790925591518793918516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef91a4949350505050565b6000807a184f03e93ff9f4daa797ed6e38ed64bf6a1f0100000000000000008310611276577a184f03e93ff9f4daa797ed6e38ed64bf6a1f010000000000000000830492506040015b6d04ee2d6d415b85acef810000000083106112a2576d04ee2d6d415b85acef8100000000830492506020015b662386f26fc1000083106112c057662386f26fc10000830492506010015b6305f5e10083106112d8576305f5e100830492506008015b61271083106112ec57612710830492506004015b606483106112fe576064830492506002015b600a831061049f5760010192915050565b611319838361138a565b6105e66000848484610e1d565b6113318383836113ef565b6105e6576001600160a01b03831661135f57604051637e27328960e01b8152600481018290526024016105d2565b60405163177e802f60e01b81526001600160a01b0383166004820152602481018290526044016105d2565b6001600160a01b0382166113b457604051633250574960e11b8152600060048201526024016105d2565b60006113c283836000611134565b90506001600160a01b038116156105e6576040516339e3563760e11b8152600060048201526024016105d2565b60006001600160a01b0383161580159061146d5750826001600160a01b0316846001600160a01b0316148061144957506001600160a01b0380851660009081526006602090815260408083209387168352929052205460ff165b8061146d57506000828152600560205260409020546001600160a01b038481169116145b949350505050565b6001600160e01b031981168114610be357600080fd5b60006020828403121561149d57600080fd5b8135610a9f81611475565b60005b838110156114c35781810151838201526020016114ab565b50506000910152565b600081518084526114e48160208601602086016114a8565b601f01601f19169290920160200192915050565b602081526000610a9f60208301846114cc565b60006020828403121561151d57600080fd5b5035919050565b80356001600160a01b038116811461153b57600080fd5b919050565b6000806040838503121561155357600080fd5b61155c83611524565b946020939093013593505050565b60008060006060848603121561157f57600080fd5b61158884611524565b925061159660208501611524565b9150604084013590509250925092565b60008083601f8401126115b857600080fd5b50813567ffffffffffffffff8111156115d057600080fd5b6020830191508360208260051b85010111156115eb57600080fd5b9250929050565b6000806000806000806060878903121561160b57600080fd5b863567ffffffffffffffff8082111561162357600080fd5b61162f8a838b016115a6565b9098509650602089013591508082111561164857600080fd5b6116548a838b016115a6565b9096509450604089013591508082111561166d57600080fd5b5061167a89828a016115a6565b979a9699509497509295939492505050565b6000806020838503121561169f57600080fd5b823567ffffffffffffffff8111156116b657600080fd5b6116c2858286016115a6565b90969095509350505050565b6060815260006116e160608301866114cc565b905067ffffffffffffffff8416602083015260ff83166040830152949350505050565b6000806020838503121561171757600080fd5b823567ffffffffffffffff8082111561172f57600080fd5b818501915085601f83011261174357600080fd5b81358181111561175257600080fd5b86602082850101111561176457600080fd5b60209290920196919550909350505050565b60006020828403121561178857600080fd5b610a9f82611524565b600080604083850312156117a457600080fd5b6117ad83611524565b9150602083013580151581146117c257600080fd5b809150509250929050565b634e487b7160e01b600052604160045260246000fd5b600080600080608085870312156117f957600080fd5b61180285611524565b935061181060208601611524565b925060408501359150606085013567ffffffffffffffff8082111561183457600080fd5b818701915087601f83011261184857600080fd5b81358181111561185a5761185a6117cd565b604051601f8201601f19908116603f01168101908382118183101715611882576118826117cd565b816040528281528a602084870101111561189b57600080fd5b82602086016020830137600060208483010152809550505050505092959194509250565b6000806000606084860312156118d457600080fd5b6118dd84611524565b925060208401359150604084013567ffffffffffffffff81111561190057600080fd5b84016060818703121561191257600080fd5b809150509250925092565b6000806040838503121561193057600080fd5b61193983611524565b915061194760208401611524565b90509250929050565b600181811c9082168061196457607f821691505b60208210810361198457634e487b7160e01b600052602260045260246000fd5b50919050565b634e487b7160e01b600052603260045260246000fd5b60008235605e198336030181126119b657600080fd5b9190910192915050565b634e487b7160e01b600052601160045260246000fd5b6000600182016119e8576119e86119c0565b5060010190565b601f8211156105e657600081815260208120601f850160051c81016020861015611a165750805b601f850160051c820191505b81811015611a3557828155600101611a22565b505050505050565b67ffffffffffffffff831115611a5557611a556117cd565b611a6983611a638354611950565b836119ef565b6000601f841160018114611a9d5760008515611a855750838201355b600019600387901b1c1916600186901b178355610f3f565b600083815260209020601f19861690835b82811015611ace5786850135825560209485019460019092019101611aae565b5086821015611aeb5760001960f88860031b161c19848701351681555b505060018560011b0183555050505050565b60008351611b0f8184602088016114a8565b835190830190611b238183602088016114a8565b01949350505050565b8082018082111561049f5761049f6119c0565b6000813567ffffffffffffffff8116811461049f57600080fd5b6000813560ff8116811461049f57600080fd5b8135601e19833603018112611b8057600080fd5b8201803567ffffffffffffffff811115611b9957600080fd5b60208136038184011315611bac57600080fd5b611bc082611bba8654611950565b866119ef565b6000601f831160018114611bf65760008415611bde57508482018301355b600019600386901b1c1916600185901b178655611c53565b600086815260209020601f19851690835b82811015611c28578785018601358255938501936001909101908501611c07565b5085821015611c475760001960f88760031b161c198585890101351681555b505060018460011b0186555b5050600184019250611c88611c69828701611b3f565b845467ffffffffffffffff191667ffffffffffffffff91909116178455565b50506105e6611c9960408501611b59565b825468ff0000000000000000191660409190911b68ff000000000000000016178255565b60006001600160a01b03808716835280861660208401525083604083015260806060830152611cef60808301846114cc565b9695505050505050565b600060208284031215611d0b57600080fd5b8151610a9f8161147556fea2646970667358221220cfa1d88230b460df79ef7092e750fab3dffd333bcb76d7ac651802f07a11d5f464736f6c6343000814003300000000000000000000000000000000000000000000000000000000000000400000000000000000000000000000000000000000000000000000000000000080000000000000000000000000000000000000000000000000000000000000001543415256205665726966696572204c6963656e73650000000000000000000000000000000000000000000000000000000000000000000000000000000000000d434152562d564552494649455200000000000000000000000000000000000000

0x608060405234801561001057600080fd5b50600436106101da5760003560e01c806370a0823111610104578063c87b56dd116100a2578063e346111911610071578063e3461119146103f5578063e985e9c514610408578063f1eade0014610444578063f2fde38b1461046757600080fd5b8063c87b56dd146103a3578063d55f9273146103b6578063d7699088146103bf578063df6c9564146103e257600080fd5b806395d89b41116100de57806395d89b4114610362578063a22cb4651461036a578063b52c61a41461037d578063b88d4fde1461039057600080fd5b806370a0823114610336578063715018a6146103495780638da5cb5b1461035157600080fd5b806335c5c7e41161017c5780634d716ebf1161014b5780634d716ebf146102e557806355649ef81461030757806355f804b3146103105780636352211e1461032357600080fd5b806335c5c7e41461029557806336797699146102a85780633d329e91146102bb57806342842e0e146102d257600080fd5b8063095ea7b3116101b8578063095ea7b31461024757806323b872dd1461025c578063265b51501461026f57806334560abc1461028257600080fd5b806301ffc9a7146101df57806306fdde0314610207578063081812fc1461021c575b600080fd5b6101f26101ed36600461148b565b61047a565b60405190151581526020015b60405180910390f35b61020f6104a5565b6040516101fe91906114f8565b61022f61022a36600461150b565b610537565b6040516001600160a01b0390911681526020016101fe565b61025a610255366004611540565b610560565b005b61025a61026a36600461156a565b61056f565b600b5461022f906001600160a01b031681565b61025a6102903660046115f2565b6106e0565b61025a6102a336600461150b565b6107cf565b61025a6102b636600461168c565b6107dc565b6102c460095481565b6040519081526020016101fe565b61025a6102e036600461156a565b6108a3565b6102f86102f336600461150b565b6108be565b6040516101fe939291906116ce565b6102c4600a5481565b61025a61031e366004611704565b61097e565b61022f61033136600461150b565b610993565b6102c4610344366004611776565b61099e565b61025a6109e6565b6000546001600160a01b031661022f565b61020f6109fa565b61025a610378366004611791565b610a09565b61025a61038b36600461150b565b610a14565b61025a61039e3660046117e3565b610a21565b61020f6103b136600461150b565b610a3e565b6102c460085481565b6101f26103cd36600461150b565b600d6020526000908152604090205460ff1681565b61025a6103f03660046118bf565b610aa6565b61025a610403366004611776565b610b7e565b6101f261041636600461191d565b6001600160a01b03918216600090815260066020908152604080832093909416825291909152205460ff1690565b6101f2610452366004611776565b600e6020526000908152604090205460ff1681565b61025a610475366004611776565b610ba8565b60006001600160e01b0319821663eb145aab60e01b148061049f575061049f82610be6565b92915050565b6060600180546104b490611950565b80601f01602080910402602001604051908101604052809291908181526020018280546104e090611950565b801561052d5780601f106105025761010080835404028352916020019161052d565b820191906000526020600020905b81548152906001019060200180831161051057829003601f168201915b5050505050905090565b600061054282610c36565b506000828152600560205260409020546001600160a01b031661049f565b61056b828233610c6f565b5050565b600b546001600160a01b03908116908316036105eb57600a5442116105db5760405162461bcd60e51b815260206004820152601260248201527f52656465656d206e6f7420616c6c6f776564000000000000000000000000000060448201526064015b60405180910390fd5b6105e6838383610c7c565b505050565b6009544210156105db576001600160a01b0383166000908152600e602052604090205460ff1661065d5760405162461bcd60e51b815260206004820152601460248201527f5472616e73666572206e6f7420616c6c6f77656400000000000000000000000060448201526064016105d2565b6000818152600d602052604090205460ff16156106bc5760405162461bcd60e51b815260206004820152601360248201527f416c7265616479205472616e736665727265640000000000000000000000000060448201526064016105d2565b6000818152600d60205260409020805460ff191660011790556105e6838383610c7c565b6106e8610d01565b84831480156106f657508281145b6107425760405162461bcd60e51b815260206004820152601760248201527f4c656e677468206f6620617272206e6f7420657175616c00000000000000000060448201526064016105d2565b60005b858110156107c6576107b48787838181106107625761076261198a565b90506020020160208101906107779190611776565b8686848181106107895761078961198a565b905060200201358585858181106107a2576107a261198a565b90506020028101906103f091906119a0565b806107be816119d6565b915050610745565b50505050505050565b6107d7610d01565b600a55565b6107e4610d01565b806108315760405162461bcd60e51b815260206004820152600f60248201527f456d7074792077686974656c697374000000000000000000000000000000000060448201526064016105d2565b60005b818110156105e6576001600e60008585858181106108545761085461198a565b90506020020160208101906108699190611776565b6001600160a01b031681526020810191909152604001600020805460ff19169115159190911790558061089b816119d6565b915050610834565b6105e683838360405180602001604052806000815250610a21565b600c602052600090815260409020805481906108d990611950565b80601f016020809104026020016040519081016040528092919081815260200182805461090590611950565b80156109525780601f1061092757610100808354040283529160200191610952565b820191906000526020600020905b81548152906001019060200180831161093557829003601f168201915b5050506001909301549192505067ffffffffffffffff81169060ff680100000000000000009091041683565b610986610d01565b60076105e6828483611a3d565b600061049f82610c36565b60006001600160a01b0382166109ca576040516322718ad960e21b8152600060048201526024016105d2565b506001600160a01b031660009081526004602052604090205490565b6109ee610d01565b6109f86000610d2e565b565b6060600280546104b490611950565b61056b338383610d7e565b610a1c610d01565b600955565b610a2c84848461056f565b610a3884848484610e1d565b50505050565b6060610a4982610c36565b506000610a54610f46565b90506000815111610a745760405180602001604052806000815250610a9f565b80610a7e84610f55565b604051602001610a8f929190611afd565b6040516020818303038152906040525b9392505050565b610aae610d01565b620186a082600854610ac09190611b2c565b1115610afe5760405162461bcd60e51b815260206004820152600d60248201526c135a5b9d08199a5b9a5cda1959609a1b60448201526064016105d2565b60015b828111610b6157610b1f8482600854610b1a9190611b2c565b610ff5565b81600c600083600854610b329190611b2c565b81526020019081526020016000208181610b4c9190611b6c565b50819050610b59816119d6565b915050610b01565b508160086000828254610b749190611b2c565b9091555050505050565b610b86610d01565b600b80546001600160a01b0319166001600160a01b0392909216919091179055565b610bb0610d01565b6001600160a01b038116610bda57604051631e4fbdf760e01b8152600060048201526024016105d2565b610be381610d2e565b50565b60006001600160e01b031982166380ac58cd60e01b1480610c1757506001600160e01b03198216635b5e139f60e01b145b8061049f57506301ffc9a760e01b6001600160e01b031983161461049f565b6000818152600360205260408120546001600160a01b03168061049f57604051637e27328960e01b8152600481018490526024016105d2565b6105e6838383600161100f565b6001600160a01b038216610ca657604051633250574960e11b8152600060048201526024016105d2565b6000610cb3838333611134565b9050836001600160a01b0316816001600160a01b031614610a38576040516364283d7b60e01b81526001600160a01b03808616600483015260248201849052821660448201526064016105d2565b6000546001600160a01b031633146109f85760405163118cdaa760e01b81523360048201526024016105d2565b600080546001600160a01b038381166001600160a01b0319831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b6001600160a01b038216610db057604051630b61174360e31b81526001600160a01b03831660048201526024016105d2565b6001600160a01b03838116600081815260066020908152604080832094871680845294825291829020805460ff191686151590811790915591519182527f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31910160405180910390a3505050565b6001600160a01b0383163b15610a3857604051630a85bd0160e11b81526001600160a01b0384169063150b7a0290610e5f903390889087908790600401611cbd565b6020604051808303816000875af1925050508015610e9a575060408051601f3d908101601f19168201909252610e9791810190611cf9565b60015b610f03573d808015610ec8576040519150601f19603f3d011682016040523d82523d6000602084013e610ecd565b606091505b508051600003610efb57604051633250574960e11b81526001600160a01b03851660048201526024016105d2565b805181602001fd5b6001600160e01b03198116630a85bd0160e11b14610f3f57604051633250574960e11b81526001600160a01b03851660048201526024016105d2565b5050505050565b6060600780546104b490611950565b60606000610f628361122d565b600101905060008167ffffffffffffffff811115610f8257610f826117cd565b6040519080825280601f01601f191660200182016040528015610fac576020820181803683370190505b5090508181016020015b600019017f3031323334353637383961626364656600000000000000000000000000000000600a86061a8153600a8504945084610fb657509392505050565b61056b82826040518060200160405280600081525061130f565b808061102357506001600160a01b03821615155b1561110457600061103384610c36565b90506001600160a01b0383161580159061105f5750826001600160a01b0316816001600160a01b031614155b801561109157506001600160a01b0380821660009081526006602090815260408083209387168352929052205460ff16155b156110ba5760405163a9fbf51f60e01b81526001600160a01b03841660048201526024016105d2565b81156111025783856001600160a01b0316826001600160a01b03167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92560405160405180910390a45b505b5050600090815260056020526040902080546001600160a01b0319166001600160a01b0392909216919091179055565b6000828152600360205260408120546001600160a01b039081169083161561116157611161818486611326565b6001600160a01b0381161561119f5761117e60008560008061100f565b6001600160a01b038116600090815260046020526040902080546000190190555b6001600160a01b038516156111ce576001600160a01b0385166000908152600460205260409020805460010190555b60008481526003602052604080822080546001600160a01b0319166001600160a01b0389811691821790925591518793918516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef91a4949350505050565b6000807a184f03e93ff9f4daa797ed6e38ed64bf6a1f0100000000000000008310611276577a184f03e93ff9f4daa797ed6e38ed64bf6a1f010000000000000000830492506040015b6d04ee2d6d415b85acef810000000083106112a2576d04ee2d6d415b85acef8100000000830492506020015b662386f26fc1000083106112c057662386f26fc10000830492506010015b6305f5e10083106112d8576305f5e100830492506008015b61271083106112ec57612710830492506004015b606483106112fe576064830492506002015b600a831061049f5760010192915050565b611319838361138a565b6105e66000848484610e1d565b6113318383836113ef565b6105e6576001600160a01b03831661135f57604051637e27328960e01b8152600481018290526024016105d2565b60405163177e802f60e01b81526001600160a01b0383166004820152602481018290526044016105d2565b6001600160a01b0382166113b457604051633250574960e11b8152600060048201526024016105d2565b60006113c283836000611134565b90506001600160a01b038116156105e6576040516339e3563760e11b8152600060048201526024016105d2565b60006001600160a01b0383161580159061146d5750826001600160a01b0316846001600160a01b0316148061144957506001600160a01b0380851660009081526006602090815260408083209387168352929052205460ff165b8061146d57506000828152600560205260409020546001600160a01b038481169116145b949350505050565b6001600160e01b031981168114610be357600080fd5b60006020828403121561149d57600080fd5b8135610a9f81611475565b60005b838110156114c35781810151838201526020016114ab565b50506000910152565b600081518084526114e48160208601602086016114a8565b601f01601f19169290920160200192915050565b602081526000610a9f60208301846114cc565b60006020828403121561151d57600080fd5b5035919050565b80356001600160a01b038116811461153b57600080fd5b919050565b6000806040838503121561155357600080fd5b61155c83611524565b946020939093013593505050565b60008060006060848603121561157f57600080fd5b61158884611524565b925061159660208501611524565b9150604084013590509250925092565b60008083601f8401126115b857600080fd5b50813567ffffffffffffffff8111156115d057600080fd5b6020830191508360208260051b85010111156115eb57600080fd5b9250929050565b6000806000806000806060878903121561160b57600080fd5b863567ffffffffffffffff8082111561162357600080fd5b61162f8a838b016115a6565b9098509650602089013591508082111561164857600080fd5b6116548a838b016115a6565b9096509450604089013591508082111561166d57600080fd5b5061167a89828a016115a6565b979a9699509497509295939492505050565b6000806020838503121561169f57600080fd5b823567ffffffffffffffff8111156116b657600080fd5b6116c2858286016115a6565b90969095509350505050565b6060815260006116e160608301866114cc565b905067ffffffffffffffff8416602083015260ff83166040830152949350505050565b6000806020838503121561171757600080fd5b823567ffffffffffffffff8082111561172f57600080fd5b818501915085601f83011261174357600080fd5b81358181111561175257600080fd5b86602082850101111561176457600080fd5b60209290920196919550909350505050565b60006020828403121561178857600080fd5b610a9f82611524565b600080604083850312156117a457600080fd5b6117ad83611524565b9150602083013580151581146117c257600080fd5b809150509250929050565b634e487b7160e01b600052604160045260246000fd5b600080600080608085870312156117f957600080fd5b61180285611524565b935061181060208601611524565b925060408501359150606085013567ffffffffffffffff8082111561183457600080fd5b818701915087601f83011261184857600080fd5b81358181111561185a5761185a6117cd565b604051601f8201601f19908116603f01168101908382118183101715611882576118826117cd565b816040528281528a602084870101111561189b57600080fd5b82602086016020830137600060208483010152809550505050505092959194509250565b6000806000606084860312156118d457600080fd5b6118dd84611524565b925060208401359150604084013567ffffffffffffffff81111561190057600080fd5b84016060818703121561191257600080fd5b809150509250925092565b6000806040838503121561193057600080fd5b61193983611524565b915061194760208401611524565b90509250929050565b600181811c9082168061196457607f821691505b60208210810361198457634e487b7160e01b600052602260045260246000fd5b50919050565b634e487b7160e01b600052603260045260246000fd5b60008235605e198336030181126119b657600080fd5b9190910192915050565b634e487b7160e01b600052601160045260246000fd5b6000600182016119e8576119e86119c0565b5060010190565b601f8211156105e657600081815260208120601f850160051c81016020861015611a165750805b601f850160051c820191505b81811015611a3557828155600101611a22565b505050505050565b67ffffffffffffffff831115611a5557611a556117cd565b611a6983611a638354611950565b836119ef565b6000601f841160018114611a9d5760008515611a855750838201355b600019600387901b1c1916600186901b178355610f3f565b600083815260209020601f19861690835b82811015611ace5786850135825560209485019460019092019101611aae565b5086821015611aeb5760001960f88860031b161c19848701351681555b505060018560011b0183555050505050565b60008351611b0f8184602088016114a8565b835190830190611b238183602088016114a8565b01949350505050565b8082018082111561049f5761049f6119c0565b6000813567ffffffffffffffff8116811461049f57600080fd5b6000813560ff8116811461049f57600080fd5b8135601e19833603018112611b8057600080fd5b8201803567ffffffffffffffff811115611b9957600080fd5b60208136038184011315611bac57600080fd5b611bc082611bba8654611950565b866119ef565b6000601f831160018114611bf65760008415611bde57508482018301355b600019600386901b1c1916600185901b178655611c53565b600086815260209020601f19851690835b82811015611c28578785018601358255938501936001909101908501611c07565b5085821015611c475760001960f88760031b161c198585890101351681555b505060018460011b0186555b5050600184019250611c88611c69828701611b3f565b845467ffffffffffffffff191667ffffffffffffffff91909116178455565b50506105e6611c9960408501611b59565b825468ff0000000000000000191660409190911b68ff000000000000000016178255565b60006001600160a01b03808716835280861660208401525083604083015260806060830152611cef60808301846114cc565b9695505050505050565b600060208284031215611d0b57600080fd5b8151610a9f8161147556fea2646970667358221220cfa1d88230b460df79ef7092e750fab3dffd333bcb76d7ac651802f07a11d5f464736f6c63430008140033

00000000000000000000000000000000000000000000000000000000000000400000000000000000000000000000000000000000000000000000000000000080000000000000000000000000000000000000000000000000000000000000001543415256205665726966696572204c6963656e73650000000000000000000000000000000000000000000000000000000000000000000000000000000000000d434152562d564552494649455200000000000000000000000000000000000000

-----Decoded View---------------
Arg [0] : name (string): CARV Verifier License
Arg [1] : symbol (string): CARV-VERIFIER

-----Encoded View---------------
6 Constructor Arguments found :
Arg [0] : 0000000000000000000000000000000000000000000000000000000000000040
Arg [1] : 0000000000000000000000000000000000000000000000000000000000000080
Arg [2] : 0000000000000000000000000000000000000000000000000000000000000015
Arg [3] : 43415256205665726966696572204c6963656e73650000000000000000000000
Arg [4] : 000000000000000000000000000000000000000000000000000000000000000d
Arg [5] : 434152562d564552494649455200000000000000000000000000000000000000

61242:3034:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;61792:198;;;;;;:::i;:::-;;:::i;:::-;;;565:14:1;;558:22;540:41;;528:2;513:18;61792:198:0;;;;;;;;42499:91;;;:::i;:::-;;;;;;;:::i;43671:158::-;;;;;;:::i;:::-;;:::i;:::-;;;-1:-1:-1;;;;;1697:55:1;;;1679:74;;1667:2;1652:18;43671:158:0;1533:226:1;43490:115:0;;;;;;:::i;:::-;;:::i;:::-;;62106:594;;;;;;:::i;:::-;;:::i;61491:28::-;;;;;-1:-1:-1;;;;;61491:28:0;;;63059:363;;;;;;:::i;:::-;;:::i;63714:154::-;;;;;;:::i;:::-;;:::i;64006:267::-;;;;;;:::i;:::-;;:::i;61403:38::-;;;;;;;;;4638:25:1;;;4626:2;4611:18;61403:38:0;4492:177:1;44999:134:0;;;;;;:::i;:::-;;:::i;61528:46::-;;;;;;:::i;:::-;;:::i;:::-;;;;;;;;;:::i;61448:36::-;;;;;;63430:106;;;;;;:::i;:::-;;:::i;42312:120::-;;;;;;:::i;:::-;;:::i;42037:213::-;;;;;;:::i;:::-;;:::i;3476:103::-;;;:::i;2801:87::-;2847:7;2874:6;-1:-1:-1;;;;;2874:6:0;2801:87;;42659:95;;;:::i;43901:146::-;;;;;;:::i;:::-;;:::i;63544:162::-;;;;;;:::i;:::-;;:::i;45204:211::-;;;;;;:::i;:::-;;:::i;42825:260::-;;;;;;:::i;:::-;;:::i;61371:25::-;;;;;;61581:43;;;;;;:::i;:::-;;;;;;;;;;;;;;;;62708:343;;;;;;:::i;:::-;;:::i;63876:122::-;;;;;;:::i;:::-;;:::i;44118:155::-;;;;;;:::i;:::-;-1:-1:-1;;;;;44230:25:0;;;44206:4;44230:25;;;:18;:25;;;;;;;;:35;;;;;;;;;;;;;;;44118:155;61631:47;;;;;;:::i;:::-;;;;;;;;;;;;;;;;3734:220;;;;;;:::i;:::-;;:::i;61792:198::-;61877:4;-1:-1:-1;;;;;;61901:41:0;;-1:-1:-1;;;61901:41:0;;:81;;;61946:36;61970:11;61946:23;:36::i;:::-;61894:88;61792:198;-1:-1:-1;;61792:198:0:o;42499:91::-;42544:13;42577:5;42570:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;42499:91;:::o;43671:158::-;43738:7;43758:22;43772:7;43758:13;:22::i;:::-;-1:-1:-1;46247:7:0;46274:24;;;:15;:24;;;;;;-1:-1:-1;;;;;46274:24:0;43800:21;46177:129;43490:115;43562:35;43571:2;43575:7;942:10;43562:8;:35::i;:::-;43490:115;;:::o;62106:594::-;62208:13;;-1:-1:-1;;;;;62208:13:0;;;62202:19;;;;62198:195;;62264:21;;62246:15;:39;62238:70;;;;-1:-1:-1;;;62238:70:0;;8872:2:1;62238:70:0;;;8854:21:1;8911:2;8891:18;;;8884:30;8950:20;8930:18;;;8923:48;8988:18;;62238:70:0;;;;;;;;;62323:37;62342:4;62348:2;62352:7;62323:18;:37::i;:::-;62106:594;;;:::o;62198:195::-;62427:23;;62409:15;:41;62405:238;;;-1:-1:-1;;;;;62475:21:0;;;;;;:15;:21;;;;;;;;62467:54;;;;-1:-1:-1;;;62467:54:0;;9219:2:1;62467:54:0;;;9201:21:1;9258:2;9238:18;;;9231:30;9297:22;9277:18;;;9270:50;9337:18;;62467:54:0;9017:344:1;62467:54:0;62545:20;;;;:11;:20;;;;;;;;62544:21;62536:53;;;;-1:-1:-1;;;62536:53:0;;9568:2:1;62536:53:0;;;9550:21:1;9607:2;9587:18;;;9580:30;9646:21;9626:18;;;9619:49;9685:18;;62536:53:0;9366:343:1;62536:53:0;62604:20;;;;:11;:20;;;;;:27;;-1:-1:-1;;62604:27:0;62627:4;62604:27;;;62655:37;62674:4;62680:2;62684:7;62655:18;:37::i;63059:363::-;2687:13;:11;:13::i;:::-;63200:33;;::::1;:66:::0;::::1;;;-1:-1:-1::0;63237:29:0;;::::1;63200:66;63192:102;;;::::0;-1:-1:-1;;;63192:102:0;;9916:2:1;63192:102:0::1;::::0;::::1;9898:21:1::0;9955:2;9935:18;;;9928:30;9994:25;9974:18;;;9967:53;10037:18;;63192:102:0::1;9714:347:1::0;63192:102:0::1;63310:6;63305:110;63322:20:::0;;::::1;63305:110;;;63364:39;63369:9;;63379:1;63369:12;;;;;;;:::i;:::-;;;;;;;;;;;;;;:::i;:::-;63383:6;;63390:1;63383:9;;;;;;;:::i;:::-;;;;;;;63394:5;;63400:1;63394:8;;;;;;;:::i;:::-;;;;;;;;;;;;:::i;63364:39::-;63344:3:::0;::::1;::::0;::::1;:::i;:::-;;;;63305:110;;;;63059:363:::0;;;;;;:::o;63714:154::-;2687:13;:11;:13::i;:::-;63812:21:::1;:48:::0;63714:154::o;64006:267::-;2687:13;:11;:13::i;:::-;64108:20;64100:48:::1;;;::::0;-1:-1:-1;;;64100:48:0;;11002:2:1;64100:48:0::1;::::0;::::1;10984:21:1::0;11041:2;11021:18;;;11014:30;11080:17;11060:18;;;11053:45;11115:18;;64100:48:0::1;10800:339:1::0;64100:48:0::1;64164:6;64159:107;64176:20:::0;;::::1;64159:107;;;64250:4;64218:15;:29;64234:9;;64244:1;64234:12;;;;;;;:::i;:::-;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;64218:29:0::1;::::0;;::::1;::::0;::::1;::::0;;;;;;-1:-1:-1;64218:29:0;:36;;-1:-1:-1;;64218:36:0::1;::::0;::::1;;::::0;;;::::1;::::0;;64198:3;::::1;::::0;::::1;:::i;:::-;;;;64159:107;;44999:134:::0;45086:39;45103:4;45109:2;45113:7;45086:39;;;;;;;;;;;;:16;:39::i;61528:46::-;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;61528:46:0;;;;;;;-1:-1:-1;;61528:46:0;;;;;;;;;;;:::o;63430:106::-;2687:13;:11;:13::i;:::-;63508:7:::1;:20;63518:10:::0;;63508:7;:20:::1;:::i;42312:120::-:0;42375:7;42402:22;42416:7;42402:13;:22::i;42037:213::-;42100:7;-1:-1:-1;;;;;42124:19:0;;42120:89;;42167:30;;-1:-1:-1;;;42167:30:0;;42194:1;42167:30;;;1679:74:1;1652:18;;42167:30:0;1533:226:1;42120:89:0;-1:-1:-1;;;;;;42226:16:0;;;;;:9;:16;;;;;;;42037:213::o;3476:103::-;2687:13;:11;:13::i;:::-;3541:30:::1;3568:1;3541:18;:30::i;:::-;3476:103::o:0;42659:95::-;42706:13;42739:7;42732:14;;;;;:::i;43901:146::-;43987:52;942:10;44020:8;44030;43987:18;:52::i;63544:162::-;2687:13;:11;:13::i;:::-;63646:23:::1;:52:::0;63544:162::o;45204:211::-;45318:31;45331:4;45337:2;45341:7;45318:12;:31::i;:::-;45360:47;45383:4;45389:2;45393:7;45402:4;45360:22;:47::i;:::-;45204:211;;;;:::o;42825:260::-;42889:13;42915:22;42929:7;42915:13;:22::i;:::-;;42950:21;42974:10;:8;:10::i;:::-;42950:34;;43026:1;43008:7;43002:21;:25;:75;;;;;;;;;;;;;;;;;43044:7;43053:18;:7;:16;:18::i;:::-;43030:42;;;;;;;;;:::i;:::-;;;;;;;;;;;;;43002:75;42995:82;42825:260;-1:-1:-1;;;42825:260:0:o;62708:343::-;2687:13;:11;:13::i;:::-;61327:6:::1;62826:5;62815:10;;:16;;;;:::i;:::-;:30;;62807:56;;;::::0;-1:-1:-1;;;62807:56:0;;14035:2:1;62807:56:0::1;::::0;::::1;14017:21:1::0;14074:2;14054:18;;;14047:30;-1:-1:-1;;;14093:18:1;;;14086:43;14146:18;;62807:56:0::1;13833:337:1::0;62807:56:0::1;62888:1;62874:140;62896:5;62891:1;:10;62874:140;;62923:33;62933:8;62954:1;62943:10;;:12;;;;:::i;:::-;62923:9;:33::i;:::-;62998:4;62971:10;:24;62993:1;62982:10;;:12;;;;:::i;:::-;62971:24;;;;;;;;;;;:31;;;;;;:::i;:::-;-1:-1:-1::0;62903:3:0;;-1:-1:-1;62903:3:0::1;::::0;::::1;:::i;:::-;;;;62874:140;;;;63038:5;63024:10;;:19;;;;;;;:::i;:::-;::::0;;;-1:-1:-1;;;;;62708:343:0:o;63876:122::-;2687:13;:11;:13::i;:::-;63958::::1;:32:::0;;-1:-1:-1;;;;;;63958:32:0::1;-1:-1:-1::0;;;;;63958:32:0;;;::::1;::::0;;;::::1;::::0;;63876:122::o;3734:220::-;2687:13;:11;:13::i;:::-;-1:-1:-1;;;;;3819:22:0;::::1;3815:93;;3865:31;::::0;-1:-1:-1;;;3865:31:0;;3893:1:::1;3865:31;::::0;::::1;1679:74:1::0;1652:18;;3865:31:0::1;1533:226:1::0;3815:93:0::1;3918:28;3937:8;3918:18;:28::i;:::-;3734:220:::0;:::o;41668:305::-;41770:4;-1:-1:-1;;;;;;41807:40:0;;-1:-1:-1;;;41807:40:0;;:105;;-1:-1:-1;;;;;;;41864:48:0;;-1:-1:-1;;;41864:48:0;41807:105;:158;;;-1:-1:-1;;;;;;;;;;20113:40:0;;;41929:36;20013:148;56646:247;56709:7;46032:16;;;:7;:16;;;;;;-1:-1:-1;;;;;46032:16:0;;56773:90;;56820:31;;-1:-1:-1;;;56820:31:0;;;;;4638:25:1;;;4611:18;;56820:31:0;4492:177:1;54878:122:0;54959:33;54968:2;54972:7;54981:4;54987;54959:8;:33::i;44340:588::-;-1:-1:-1;;;;;44435:16:0;;44431:89;;44475:33;;-1:-1:-1;;;44475:33:0;;44505:1;44475:33;;;1679:74:1;1652:18;;44475:33:0;1533:226:1;44431:89:0;44741:21;44765:34;44773:2;44777:7;942:10;44765:7;:34::i;:::-;44741:58;;44831:4;-1:-1:-1;;;;;44814:21:0;:13;-1:-1:-1;;;;;44814:21:0;;44810:111;;44859:50;;-1:-1:-1;;;44859:50:0;;-1:-1:-1;;;;;17170:15:1;;;44859:50:0;;;17152:34:1;17202:18;;;17195:34;;;17265:15;;17245:18;;;17238:43;17064:18;;44859:50:0;16889:398:1;2966:166:0;2847:7;2874:6;-1:-1:-1;;;;;2874:6:0;942:10;3026:23;3022:103;;3073:40;;-1:-1:-1;;;3073:40:0;;942:10;3073:40;;;1679:74:1;1652:18;;3073:40:0;1533:226:1;4114:191:0;4188:16;4207:6;;-1:-1:-1;;;;;4224:17:0;;;-1:-1:-1;;;;;;4224:17:0;;;;;;4257:40;;4207:6;;;;;;;4257:40;;4188:16;4257:40;4177:128;4114:191;:::o;56085:318::-;-1:-1:-1;;;;;56193:22:0;;56189:93;;56239:31;;-1:-1:-1;;;56239:31:0;;-1:-1:-1;;;;;1697:55:1;;56239:31:0;;;1679:74:1;1652:18;;56239:31:0;1533:226:1;56189:93:0;-1:-1:-1;;;;;56292:25:0;;;;;;;:18;:25;;;;;;;;:35;;;;;;;;;;;;;:46;;-1:-1:-1;;56292:46:0;;;;;;;;;;56354:41;;540::1;;;56354::0;;513:18:1;56354:41:0;;;;;;;56085:318;;;:::o;57443:799::-;-1:-1:-1;;;;;57560:14:0;;;:18;57556:679;;57599:71;;-1:-1:-1;;;57599:71:0;;-1:-1:-1;;;;;57599:36:0;;;;;:71;;942:10;;57650:4;;57656:7;;57665:4;;57599:71;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;-1:-1:-1;57599:71:0;;;;;;;;-1:-1:-1;;57599:71:0;;;;;;;;;;;;:::i;:::-;;;57595:629;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;57913:6;:13;57930:1;57913:18;57909:300;;57963:25;;-1:-1:-1;;;57963:25:0;;-1:-1:-1;;;;;1697:55:1;;57963:25:0;;;1679:74:1;1652:18;;57963:25:0;1533:226:1;57909:300:0;58159:6;58153:13;58144:6;58140:2;58136:15;58129:38;57595:629;-1:-1:-1;;;;;;57718:51:0;;-1:-1:-1;;;57718:51:0;57714:132;;57801:25;;-1:-1:-1;;;57801:25:0;;-1:-1:-1;;;;;1697:55:1;;57801:25:0;;;1679:74:1;1652:18;;57801:25:0;1533:226:1;57714:132:0;57671:190;57443:799;;;;:::o;61998:100::-;62050:13;62083:7;62076:14;;;;;:::i;37832:718::-;37888:13;37939:14;37956:17;37967:5;37956:10;:17::i;:::-;37976:1;37956:21;37939:38;;37992:20;38026:6;38015:18;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;38015:18:0;-1:-1:-1;37992:41:0;-1:-1:-1;38157:28:0;;;38173:2;38157:28;38214:290;-1:-1:-1;;38246:5:0;38388:10;38383:2;38372:14;;38367:32;38246:5;38354:46;38446:2;38437:11;;;-1:-1:-1;38467:21:0;38214:290;38467:21;-1:-1:-1;38525:6:0;37832:718;-1:-1:-1;;;37832:718:0:o;50997:102::-;51065:26;51075:2;51079:7;51065:26;;;;;;;;;;;;:9;:26::i;55188:678::-;55350:9;:31;;;-1:-1:-1;;;;;;55363:18:0;;;;55350:31;55346:471;;;55398:13;55414:22;55428:7;55414:13;:22::i;:::-;55398:38;-1:-1:-1;;;;;;55567:18:0;;;;;;:35;;;55598:4;-1:-1:-1;;;;;55589:13:0;:5;-1:-1:-1;;;;;55589:13:0;;;55567:35;:69;;;;-1:-1:-1;;;;;;44230:25:0;;;44206:4;44230:25;;;:18;:25;;;;;;;;:35;;;;;;;;;;;;55606:30;55567:69;55563:144;;;55664:27;;-1:-1:-1;;;55664:27:0;;-1:-1:-1;;;;;1697:55:1;;55664:27:0;;;1679:74:1;1652:18;;55664:27:0;1533:226:1;55563:144:0;55727:9;55723:83;;;55782:7;55778:2;-1:-1:-1;;;;;55762:28:0;55771:5;-1:-1:-1;;;;;55762:28:0;;;;;;;;;;;55723:83;55383:434;55346:471;-1:-1:-1;;55829:24:0;;;;:15;:24;;;;;:29;;-1:-1:-1;;;;;;55829:29:0;-1:-1:-1;;;;;55829:29:0;;;;;;;;;;55188:678::o;49139:824::-;49225:7;46032:16;;;:7;:16;;;;;;-1:-1:-1;;;;;46032:16:0;;;;49340:18;;;49336:88;;49375:37;49392:4;49398;49404:7;49375:16;:37::i;:::-;-1:-1:-1;;;;;49471:18:0;;;49467:263;;49589:48;49606:1;49610:7;49627:1;49631:5;49589:8;:48::i;:::-;-1:-1:-1;;;;;49683:15:0;;;;;;:9;:15;;;;;:20;;-1:-1:-1;;49683:20:0;;;49467:263;-1:-1:-1;;;;;49746:16:0;;;49742:111;;-1:-1:-1;;;;;49808:13:0;;;;;;:9;:13;;;;;:18;;49825:1;49808:18;;;49742:111;49865:16;;;;:7;:16;;;;;;:21;;-1:-1:-1;;;;;;49865:21:0;-1:-1:-1;;;;;49865:21:0;;;;;;;;;49904:27;;49865:16;;49904:27;;;;;;;49951:4;49139:824;-1:-1:-1;;;;49139:824:0:o;32784:948::-;32837:7;;32924:8;32915:17;;32911:106;;32962:8;32953:17;;;-1:-1:-1;32999:2:0;32989:12;32911:106;33044:8;33035:5;:17;33031:106;;33082:8;33073:17;;;-1:-1:-1;33119:2:0;33109:12;33031:106;33164:8;33155:5;:17;33151:106;;33202:8;33193:17;;;-1:-1:-1;33239:2:0;33229:12;33151:106;33284:7;33275:5;:16;33271:103;;33321:7;33312:16;;;-1:-1:-1;33357:1:0;33347:11;33271:103;33401:7;33392:5;:16;33388:103;;33438:7;33429:16;;;-1:-1:-1;33474:1:0;33464:11;33388:103;33518:7;33509:5;:16;33505:103;;33555:7;33546:16;;;-1:-1:-1;33591:1:0;33581:11;33505:103;33635:7;33626:5;:16;33622:68;;33673:1;33663:11;33718:6;32784:948;-1:-1:-1;;32784:948:0:o;51326:185::-;51421:18;51427:2;51431:7;51421:5;:18::i;:::-;51450:53;51481:1;51485:2;51489:7;51498:4;51450:22;:53::i;47346:376::-;47459:38;47473:5;47480:7;47489;47459:13;:38::i;:::-;47454:261;;-1:-1:-1;;;;;47518:19:0;;47514:190;;47565:31;;-1:-1:-1;;;47565:31:0;;;;;4638:25:1;;;4611:18;;47565:31:0;4492:177:1;47514:190:0;47644:44;;-1:-1:-1;;;47644:44:0;;-1:-1:-1;;;;;18387:55:1;;47644:44:0;;;18369:74:1;18459:18;;;18452:34;;;18342:18;;47644:44:0;18195:297:1;50299:335:0;-1:-1:-1;;;;;50367:16:0;;50363:89;;50407:33;;-1:-1:-1;;;50407:33:0;;50437:1;50407:33;;;1679:74:1;1652:18;;50407:33:0;1533:226:1;50363:89:0;50462:21;50486:32;50494:2;50498:7;50515:1;50486:7;:32::i;:::-;50462:56;-1:-1:-1;;;;;;50533:27:0;;;50529:98;;50584:31;;-1:-1:-1;;;50584:31:0;;50612:1;50584:31;;;1679:74:1;1652:18;;50584:31:0;1533:226:1;46626:276:0;46729:4;-1:-1:-1;;;;;46766:21:0;;;;;;:128;;;46814:7;-1:-1:-1;;;;;46805:16:0;:5;-1:-1:-1;;;;;46805:16:0;;:52;;;-1:-1:-1;;;;;;44230:25:0;;;44206:4;44230:25;;;:18;:25;;;;;;;;:35;;;;;;;;;;;;46825:32;46805:88;;;-1:-1:-1;46247:7:0;46274:24;;;:15;:24;;;;;;-1:-1:-1;;;;;46861:32:0;;;46274:24;;46861:32;46805:88;46746:148;46626:276;-1:-1:-1;;;;46626:276:0:o;14:131:1:-;-1:-1:-1;;;;;;88:32:1;;78:43;;68:71;;135:1;132;125:12;150:245;208:6;261:2;249:9;240:7;236:23;232:32;229:52;;;277:1;274;267:12;229:52;316:9;303:23;335:30;359:5;335:30;:::i;592:250::-;677:1;687:113;701:6;698:1;695:13;687:113;;;777:11;;;771:18;758:11;;;751:39;723:2;716:10;687:113;;;-1:-1:-1;;834:1:1;816:16;;809:27;592:250::o;847:271::-;889:3;927:5;921:12;954:6;949:3;942:19;970:76;1039:6;1032:4;1027:3;1023:14;1016:4;1009:5;1005:16;970:76;:::i;:::-;1100:2;1079:15;-1:-1:-1;;1075:29:1;1066:39;;;;1107:4;1062:50;;847:271;-1:-1:-1;;847:271:1:o;1123:220::-;1272:2;1261:9;1254:21;1235:4;1292:45;1333:2;1322:9;1318:18;1310:6;1292:45;:::i;1348:180::-;1407:6;1460:2;1448:9;1439:7;1435:23;1431:32;1428:52;;;1476:1;1473;1466:12;1428:52;-1:-1:-1;1499:23:1;;1348:180;-1:-1:-1;1348:180:1:o;1764:196::-;1832:20;;-1:-1:-1;;;;;1881:54:1;;1871:65;;1861:93;;1950:1;1947;1940:12;1861:93;1764:196;;;:::o;1965:254::-;2033:6;2041;2094:2;2082:9;2073:7;2069:23;2065:32;2062:52;;;2110:1;2107;2100:12;2062:52;2133:29;2152:9;2133:29;:::i;:::-;2123:39;2209:2;2194:18;;;;2181:32;;-1:-1:-1;;;1965:254:1:o;2224:328::-;2301:6;2309;2317;2370:2;2358:9;2349:7;2345:23;2341:32;2338:52;;;2386:1;2383;2376:12;2338:52;2409:29;2428:9;2409:29;:::i;:::-;2399:39;;2457:38;2491:2;2480:9;2476:18;2457:38;:::i;:::-;2447:48;;2542:2;2531:9;2527:18;2514:32;2504:42;;2224:328;;;;;:::o;2557:367::-;2620:8;2630:6;2684:3;2677:4;2669:6;2665:17;2661:27;2651:55;;2702:1;2699;2692:12;2651:55;-1:-1:-1;2725:20:1;;2768:18;2757:30;;2754:50;;;2800:1;2797;2790:12;2754:50;2837:4;2829:6;2825:17;2813:29;;2897:3;2890:4;2880:6;2877:1;2873:14;2865:6;2861:27;2857:38;2854:47;2851:67;;;2914:1;2911;2904:12;2851:67;2557:367;;;;;:::o;2929:1116::-;3115:6;3123;3131;3139;3147;3155;3208:2;3196:9;3187:7;3183:23;3179:32;3176:52;;;3224:1;3221;3214:12;3176:52;3264:9;3251:23;3293:18;3334:2;3326:6;3323:14;3320:34;;;3350:1;3347;3340:12;3320:34;3389:70;3451:7;3442:6;3431:9;3427:22;3389:70;:::i;:::-;3478:8;;-1:-1:-1;3363:96:1;-1:-1:-1;3566:2:1;3551:18;;3538:32;;-1:-1:-1;3582:16:1;;;3579:36;;;3611:1;3608;3601:12;3579:36;3650:72;3714:7;3703:8;3692:9;3688:24;3650:72;:::i;:::-;3741:8;;-1:-1:-1;3624:98:1;-1:-1:-1;3829:2:1;3814:18;;3801:32;;-1:-1:-1;3845:16:1;;;3842:36;;;3874:1;3871;3864:12;3842:36;;3913:72;3977:7;3966:8;3955:9;3951:24;3913:72;:::i;:::-;2929:1116;;;;-1:-1:-1;2929:1116:1;;-1:-1:-1;2929:1116:1;;4004:8;;2929:1116;-1:-1:-1;;;2929:1116:1:o;4050:437::-;4136:6;4144;4197:2;4185:9;4176:7;4172:23;4168:32;4165:52;;;4213:1;4210;4203:12;4165:52;4253:9;4240:23;4286:18;4278:6;4275:30;4272:50;;;4318:1;4315;4308:12;4272:50;4357:70;4419:7;4410:6;4399:9;4395:22;4357:70;:::i;:::-;4446:8;;4331:96;;-1:-1:-1;4050:437:1;-1:-1:-1;;;;4050:437:1:o;4674:392::-;4873:2;4862:9;4855:21;4836:4;4893:45;4934:2;4923:9;4919:18;4911:6;4893:45;:::i;:::-;4885:53;;4986:18;4978:6;4974:31;4969:2;4958:9;4954:18;4947:59;5054:4;5046:6;5042:17;5037:2;5026:9;5022:18;5015:45;4674:392;;;;;;:::o;5071:592::-;5142:6;5150;5203:2;5191:9;5182:7;5178:23;5174:32;5171:52;;;5219:1;5216;5209:12;5171:52;5259:9;5246:23;5288:18;5329:2;5321:6;5318:14;5315:34;;;5345:1;5342;5335:12;5315:34;5383:6;5372:9;5368:22;5358:32;;5428:7;5421:4;5417:2;5413:13;5409:27;5399:55;;5450:1;5447;5440:12;5399:55;5490:2;5477:16;5516:2;5508:6;5505:14;5502:34;;;5532:1;5529;5522:12;5502:34;5577:7;5572:2;5563:6;5559:2;5555:15;5551:24;5548:37;5545:57;;;5598:1;5595;5588:12;5545:57;5629:2;5621:11;;;;;5651:6;;-1:-1:-1;5071:592:1;;-1:-1:-1;;;;5071:592:1:o;5668:186::-;5727:6;5780:2;5768:9;5759:7;5755:23;5751:32;5748:52;;;5796:1;5793;5786:12;5748:52;5819:29;5838:9;5819:29;:::i;5859:347::-;5924:6;5932;5985:2;5973:9;5964:7;5960:23;5956:32;5953:52;;;6001:1;5998;5991:12;5953:52;6024:29;6043:9;6024:29;:::i;:::-;6014:39;;6103:2;6092:9;6088:18;6075:32;6150:5;6143:13;6136:21;6129:5;6126:32;6116:60;;6172:1;6169;6162:12;6116:60;6195:5;6185:15;;;5859:347;;;;;:::o;6211:127::-;6272:10;6267:3;6263:20;6260:1;6253:31;6303:4;6300:1;6293:15;6327:4;6324:1;6317:15;6343:1138;6438:6;6446;6454;6462;6515:3;6503:9;6494:7;6490:23;6486:33;6483:53;;;6532:1;6529;6522:12;6483:53;6555:29;6574:9;6555:29;:::i;:::-;6545:39;;6603:38;6637:2;6626:9;6622:18;6603:38;:::i;:::-;6593:48;;6688:2;6677:9;6673:18;6660:32;6650:42;;6743:2;6732:9;6728:18;6715:32;6766:18;6807:2;6799:6;6796:14;6793:34;;;6823:1;6820;6813:12;6793:34;6861:6;6850:9;6846:22;6836:32;;6906:7;6899:4;6895:2;6891:13;6887:27;6877:55;;6928:1;6925;6918:12;6877:55;6964:2;6951:16;6986:2;6982;6979:10;6976:36;;;6992:18;;:::i;:::-;7067:2;7061:9;7035:2;7121:13;;-1:-1:-1;;7117:22:1;;;7141:2;7113:31;7109:40;7097:53;;;7165:18;;;7185:22;;;7162:46;7159:72;;;7211:18;;:::i;:::-;7251:10;7247:2;7240:22;7286:2;7278:6;7271:18;7326:7;7321:2;7316;7312;7308:11;7304:20;7301:33;7298:53;;;7347:1;7344;7337:12;7298:53;7403:2;7398;7394;7390:11;7385:2;7377:6;7373:15;7360:46;7448:1;7443:2;7438;7430:6;7426:15;7422:24;7415:35;7469:6;7459:16;;;;;;;6343:1138;;;;;;;:::o;7486:529::-;7591:6;7599;7607;7660:2;7648:9;7639:7;7635:23;7631:32;7628:52;;;7676:1;7673;7666:12;7628:52;7699:29;7718:9;7699:29;:::i;:::-;7689:39;;7775:2;7764:9;7760:18;7747:32;7737:42;;7830:2;7819:9;7815:18;7802:32;7857:18;7849:6;7846:30;7843:50;;;7889:1;7886;7879:12;7843:50;7912:22;;7968:2;7950:16;;;7946:25;7943:45;;;7984:1;7981;7974:12;7943:45;8007:2;7997:12;;;7486:529;;;;;:::o;8020:260::-;8088:6;8096;8149:2;8137:9;8128:7;8124:23;8120:32;8117:52;;;8165:1;8162;8155:12;8117:52;8188:29;8207:9;8188:29;:::i;:::-;8178:39;;8236:38;8270:2;8259:9;8255:18;8236:38;:::i;:::-;8226:48;;8020:260;;;;;:::o;8285:380::-;8364:1;8360:12;;;;8407;;;8428:61;;8482:4;8474:6;8470:17;8460:27;;8428:61;8535:2;8527:6;8524:14;8504:18;8501:38;8498:161;;8581:10;8576:3;8572:20;8569:1;8562:31;8616:4;8613:1;8606:15;8644:4;8641:1;8634:15;8498:161;;8285:380;;;:::o;10066:127::-;10127:10;10122:3;10118:20;10115:1;10108:31;10158:4;10155:1;10148:15;10182:4;10179:1;10172:15;10198:325;10292:4;10350:11;10337:25;10444:2;10440:7;10429:8;10413:14;10409:29;10405:43;10385:18;10381:68;10371:96;;10463:1;10460;10453:12;10371:96;10484:33;;;;;10198:325;-1:-1:-1;;10198:325:1:o;10528:127::-;10589:10;10584:3;10580:20;10577:1;10570:31;10620:4;10617:1;10610:15;10644:4;10641:1;10634:15;10660:135;10699:3;10720:17;;;10717:43;;10740:18;;:::i;:::-;-1:-1:-1;10787:1:1;10776:13;;10660:135::o;11270:545::-;11372:2;11367:3;11364:11;11361:448;;;11408:1;11433:5;11429:2;11422:17;11478:4;11474:2;11464:19;11548:2;11536:10;11532:19;11529:1;11525:27;11519:4;11515:38;11584:4;11572:10;11569:20;11566:47;;;-1:-1:-1;11607:4:1;11566:47;11662:2;11657:3;11653:12;11650:1;11646:20;11640:4;11636:31;11626:41;;11717:82;11735:2;11728:5;11725:13;11717:82;;;11780:17;;;11761:1;11750:13;11717:82;;;11721:3;;;11270:545;;;:::o;11991:1206::-;12115:18;12110:3;12107:27;12104:53;;;12137:18;;:::i;:::-;12166:94;12256:3;12216:38;12248:4;12242:11;12216:38;:::i;:::-;12210:4;12166:94;:::i;:::-;12286:1;12311:2;12306:3;12303:11;12328:1;12323:616;;;;12983:1;13000:3;12997:93;;;-1:-1:-1;13056:19:1;;;13043:33;12997:93;-1:-1:-1;;11948:1:1;11944:11;;;11940:24;11936:29;11926:40;11972:1;11968:11;;;11923:57;13103:78;;12296:895;;12323:616;11217:1;11210:14;;;11254:4;11241:18;;-1:-1:-1;;12359:17:1;;;12460:9;12482:229;12496:7;12493:1;12490:14;12482:229;;;12585:19;;;12572:33;12557:49;;12692:4;12677:20;;;;12645:1;12633:14;;;;12512:12;12482:229;;;12486:3;12739;12730:7;12727:16;12724:159;;;12863:1;12859:6;12853:3;12847;12844:1;12840:11;12836:21;12832:34;12828:39;12815:9;12810:3;12806:19;12793:33;12789:79;12781:6;12774:95;12724:159;;;12926:1;12920:3;12917:1;12913:11;12909:19;12903:4;12896:33;12296:895;;11991:1206;;;:::o;13202:496::-;13381:3;13419:6;13413:13;13435:66;13494:6;13489:3;13482:4;13474:6;13470:17;13435:66;:::i;:::-;13564:13;;13523:16;;;;13586:70;13564:13;13523:16;13633:4;13621:17;;13586:70;:::i;:::-;13672:20;;13202:496;-1:-1:-1;;;;13202:496:1:o;13703:125::-;13768:9;;;13789:10;;;13786:36;;;13802:18;;:::i;14175:213::-;14219:11;14271:3;14258:17;14315:18;14308:5;14304:30;14297:5;14294:41;14284:69;;14349:1;14346;14339:12;14577:198;14620:11;14672:3;14659:17;14716:4;14709:5;14705:16;14698:5;14695:27;14685:55;;14736:1;14733;14726:12;14996:1888;15174:5;15161:19;15259:2;15255:7;15247:5;15231:14;15227:26;15223:40;15203:18;15199:65;15189:93;;15278:1;15275;15268:12;15189:93;15303:30;;15356:18;;15397;15386:30;;15383:50;;;15429:1;15426;15419:12;15383:50;15452:4;15507:6;15491:14;15487:27;15482:2;15476:4;15472:13;15468:47;15465:67;;;15528:1;15525;15518:12;15465:67;15541:97;15631:6;15591:38;15623:4;15617:11;15591:38;:::i;:::-;15585:4;15541:97;:::i;:::-;15664:1;15692:2;15684:6;15681:14;15709:1;15704:644;;;;16394:1;16411:6;16408:108;;;-1:-1:-1;16476:20:1;;;16472:29;;16459:43;16408:108;-1:-1:-1;;11948:1:1;11944:11;;;11940:24;11936:29;11926:40;11972:1;11968:11;;;11923:57;16529:83;;15674:948;;15704:644;11217:1;11210:14;;;11254:4;11241:18;;-1:-1:-1;;15740:20:1;;;15844:9;15866:235;15880:7;15877:1;15874:14;15866:235;;;15971:20;;;15967:29;;15954:43;15939:59;;16069:18;;;;16037:1;16025:14;;;;15896:10;;15866:235;;;15870:3;16129:6;16120:7;16117:19;16114:175;;;16269:1;16265:6;16259:3;16250:6;16247:1;16243:14;16239:24;16235:37;16231:42;16225:2;16213:9;16207:4;16203:20;16199:29;16186:43;16182:92;16174:6;16167:108;16114:175;;;16335:1;16326:6;16323:1;16319:14;16315:22;16309:4;16302:36;15674:948;;;16659:1;16653:4;16649:12;16631:30;;16670:101;16728:42;16766:2;16759:5;16755:14;16728:42;:::i;:::-;14495:11;;-1:-1:-1;;14491:41:1;14545:18;14534:30;;;;14488:77;14475:91;;14393:179;16670:101;;;16780:98;16836:41;16873:2;16866:5;16862:14;16836:41;:::i;:::-;14870:11;;-1:-1:-1;;14906:34:1;14950:2;14946:14;;;;14962:20;14942:41;14903:81;14890:95;;14780:211;17292:512;17486:4;-1:-1:-1;;;;;17596:2:1;17588:6;17584:15;17573:9;17566:34;17648:2;17640:6;17636:15;17631:2;17620:9;17616:18;17609:43;;17688:6;17683:2;17672:9;17668:18;17661:34;17731:3;17726:2;17715:9;17711:18;17704:31;17752:46;17793:3;17782:9;17778:19;17770:6;17752:46;:::i;:::-;17744:54;17292:512;-1:-1:-1;;;;;;17292:512:1:o;17809:249::-;17878:6;17931:2;17919:9;17910:7;17906:23;17902:32;17899:52;;;17947:1;17944;17937:12;17899:52;17979:9;17973:16;17998:30;18022:5;17998:30;:::i

ipfs://cfa1d88230b460df79ef7092e750fab3dffd333bcb76d7ac651802f07a11d5f4