Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

More Options

• Similar
• Submit Audit
• Compare

/**
 *Submitted for verification at basescan.org on 2024-12-30
*/

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


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

pragma solidity ^0.8.20;

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

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


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

pragma solidity ^0.8.20;


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

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

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

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

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

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

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

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

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

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

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

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

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


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

pragma solidity ^0.8.20;


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

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

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

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


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

pragma solidity ^0.8.20;

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

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


// OpenZeppelin Contracts (last updated v5.1.0) (interfaces/draft-IERC6093.sol)
pragma solidity ^0.8.20;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


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

pragma solidity ^0.8.20;



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

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


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

pragma solidity ^0.8.20;

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

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

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

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


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

pragma solidity ^0.8.20;

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

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

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


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

pragma solidity ^0.8.20;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


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

pragma solidity ^0.8.20;



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

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

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

    /**
     * @dev Returns the multiplication of two unsigned integers, with an success flag (no overflow).
     */
    function tryMul(uint256 a, uint256 b) internal pure returns (bool success, uint256 result) {
        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 success flag (no division by zero).
     */
    function tryDiv(uint256 a, uint256 b) internal pure returns (bool success, uint256 result) {
        unchecked {
            if (b == 0) return (false, 0);
            return (true, a / b);
        }
    }

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

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

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

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

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

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

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

    /**
     * @dev Calculates floor(x * y / denominator) with full precision. Throws if result overflows a uint256 or
     * denominator == 0.
     *
     * Original credit to Remco Bloemen under MIT license (https://xn--2-umb.com/21/muldiv) with further edits by
     * Uniswap Labs also under MIT license.
     */
    function mulDiv(uint256 x, uint256 y, uint256 denominator) internal pure returns (uint256 result) {
        unchecked {
            // 512-bit multiply [prod1 prod0] = x * y. Compute the product mod 2²⁵⁶ and mod 2²⁵⁶ - 1, then use
            // the Chinese Remainder Theorem to reconstruct the 512 bit result. The result is stored in two 256
            // variables such that product = prod1 * 2²⁵⁶ + 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²⁵⁶. Also prevents denominator == 0.
            if (denominator <= prod1) {
                Panic.panic(ternary(denominator == 0, Panic.DIVISION_BY_ZERO, Panic.UNDER_OVERFLOW));
            }

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

        uint256 mLen = m.length;

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

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

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

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

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

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

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

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

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

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

    /**
     * @dev Return the log in base 2 of a positive value rounded towards zero.
     * Returns 0 if given 0.
     */
    function log2(uint256 value) internal pure returns (uint256) {
        uint256 result = 0;
        uint256 exp;
        unchecked {
            exp = 128 * SafeCast.toUint(value > (1 << 128) - 1);
            value >>= exp;
            result += exp;

            exp = 64 * SafeCast.toUint(value > (1 << 64) - 1);
            value >>= exp;
            result += exp;

            exp = 32 * SafeCast.toUint(value > (1 << 32) - 1);
            value >>= exp;
            result += exp;

            exp = 16 * SafeCast.toUint(value > (1 << 16) - 1);
            value >>= exp;
            result += exp;

            exp = 8 * SafeCast.toUint(value > (1 << 8) - 1);
            value >>= exp;
            result += exp;

            exp = 4 * SafeCast.toUint(value > (1 << 4) - 1);
            value >>= exp;
            result += exp;

            exp = 2 * SafeCast.toUint(value > (1 << 2) - 1);
            value >>= exp;
            result += exp;

            result += SafeCast.toUint(value > 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 + SafeCast.toUint(unsignedRoundsUp(rounding) && 1 << result < value);
        }
    }

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

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

    /**
     * @dev Return the log in base 256 of a positive value rounded towards zero.
     * Returns 0 if given 0.
     *
     * Adding one to the result gives the number of pairs of hex symbols needed to represent `value` as a hex string.
     */
    function log256(uint256 value) internal pure returns (uint256) {
        uint256 result = 0;
        uint256 isGt;
        unchecked {
            isGt = SafeCast.toUint(value > (1 << 128) - 1);
            value >>= isGt * 128;
            result += isGt * 16;

            isGt = SafeCast.toUint(value > (1 << 64) - 1);
            value >>= isGt * 64;
            result += isGt * 8;

            isGt = SafeCast.toUint(value > (1 << 32) - 1);
            value >>= isGt * 32;
            result += isGt * 4;

            isGt = SafeCast.toUint(value > (1 << 16) - 1);
            value >>= isGt * 16;
            result += isGt * 2;

            result += SafeCast.toUint(value > (1 << 8) - 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 + SafeCast.toUint(unsignedRoundsUp(rounding) && 1 << (result << 3) < value);
        }
    }

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

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


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

pragma solidity ^0.8.20;


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

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

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

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

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

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

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


// OpenZeppelin Contracts (last updated v5.1.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;
            assembly ("memory-safe") {
                ptr := add(buffer, add(32, length))
            }
            while (true) {
                ptr--;
                assembly ("memory-safe") {
                    mstore8(ptr, byte(mod(value, 10), HEX_DIGITS))
                }
                value /= 10;
                if (value == 0) break;
            }
            return buffer;
        }
    }

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

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

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

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

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

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

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

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

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


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

pragma solidity ^0.8.20;


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

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


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

pragma solidity ^0.8.20;








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

    // Token name
    string private _name;

    // Token symbol
    string private _symbol;

    mapping(uint256 tokenId => address) private _owners;

    mapping(address owner => uint256) private _balances;

    mapping(uint256 tokenId => address) private _tokenApprovals;

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

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

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

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

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

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

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

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

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

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

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

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

        return _getApproved(tokenId);
    }

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

        _owners[tokenId] = to;

        emit Transfer(from, to, tokenId);

        return from;
    }

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

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

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

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

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

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

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

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

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

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

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

        _tokenApprovals[tokenId] = to;
    }

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

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

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


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

pragma solidity ^0.8.20;


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

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

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

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

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

    /**
     * @dev Initializes the contract in unpaused state.
     */
    constructor() {
        _paused = false;
    }

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

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

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

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

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

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

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

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


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

pragma solidity ^0.8.20;



/**
 * @dev ERC-721 token with pausable token transfers, minting and burning.
 *
 * Useful for scenarios such as preventing trades until the end of an evaluation
 * period, or having an emergency switch for freezing all token transfers in the
 * event of a large bug.
 *
 * IMPORTANT: This contract does not include public pause and unpause functions. In
 * addition to inheriting this contract, you must define both functions, invoking the
 * {Pausable-_pause} and {Pausable-_unpause} internal functions, with appropriate
 * access control, e.g. using {AccessControl} or {Ownable}. Not doing so will
 * make the contract pause mechanism of the contract unreachable, and thus unusable.
 */
abstract contract ERC721Pausable is ERC721, Pausable {
    /**
     * @dev See {ERC721-_update}.
     *
     * Requirements:
     *
     * - the contract must not be paused.
     */
    function _update(
        address to,
        uint256 tokenId,
        address auth
    ) internal virtual override whenNotPaused returns (address) {
        return super._update(to, tokenId, auth);
    }
}

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


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

pragma solidity ^0.8.20;


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

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

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

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

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

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

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

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

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

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

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

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


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

pragma solidity ^0.8.20;

/**
 * @dev Contract module that helps prevent reentrant calls to a function.
 *
 * Inheriting from `ReentrancyGuard` will make the {nonReentrant} modifier
 * available, which can be applied to functions to make sure there are no nested
 * (reentrant) calls to them.
 *
 * Note that because there is a single `nonReentrant` guard, functions marked as
 * `nonReentrant` may not call one another. This can be worked around by making
 * those functions `private`, and then adding `external` `nonReentrant` entry
 * points to them.
 *
 * TIP: If EIP-1153 (transient storage) is available on the chain you're deploying at,
 * consider using {ReentrancyGuardTransient} instead.
 *
 * TIP: If you would like to learn more about reentrancy and alternative ways
 * to protect against it, check out our blog post
 * https://blog.openzeppelin.com/reentrancy-after-istanbul/[Reentrancy After Istanbul].
 */
abstract contract ReentrancyGuard {
    // Booleans are more expensive than uint256 or any type that takes up a full
    // word because each write operation emits an extra SLOAD to first read the
    // slot's contents, replace the bits taken up by the boolean, and then write
    // back. This is the compiler's defense against contract upgrades and
    // pointer aliasing, and it cannot be disabled.

    // The values being non-zero value makes deployment a bit more expensive,
    // but in exchange the refund on every call to nonReentrant will be lower in
    // amount. Since refunds are capped to a percentage of the total
    // transaction's gas, it is best to keep them low in cases like this one, to
    // increase the likelihood of the full refund coming into effect.
    uint256 private constant NOT_ENTERED = 1;
    uint256 private constant ENTERED = 2;

    uint256 private _status;

    /**
     * @dev Unauthorized reentrant call.
     */
    error ReentrancyGuardReentrantCall();

    constructor() {
        _status = NOT_ENTERED;
    }

    /**
     * @dev Prevents a contract from calling itself, directly or indirectly.
     * Calling a `nonReentrant` function from another `nonReentrant`
     * function is not supported. It is possible to prevent this from happening
     * by making the `nonReentrant` function external, and making it call a
     * `private` function that does the actual work.
     */
    modifier nonReentrant() {
        _nonReentrantBefore();
        _;
        _nonReentrantAfter();
    }

    function _nonReentrantBefore() private {
        // On the first call to nonReentrant, _status will be NOT_ENTERED
        if (_status == ENTERED) {
            revert ReentrancyGuardReentrantCall();
        }

        // Any calls to nonReentrant after this point will fail
        _status = ENTERED;
    }

    function _nonReentrantAfter() private {
        // By storing the original value once again, a refund is triggered (see
        // https://eips.ethereum.org/EIPS/eip-2200)
        _status = NOT_ENTERED;
    }

    /**
     * @dev Returns true if the reentrancy guard is currently set to "entered", which indicates there is a
     * `nonReentrant` function in the call stack.
     */
    function _reentrancyGuardEntered() internal view returns (bool) {
        return _status == ENTERED;
    }
}

// File: based_year_2024_v3.sol


pragma solidity ^0.8.22;





contract BasedYear2024 is ERC721Pausable, Ownable, ReentrancyGuard {
    uint256 private _nextTokenId = 1;
    uint256 public constant MINT_PRICE = 0.00025 ether;

    // Mapping to store the base URI for each token
    mapping(uint256 => string) private _tokenURIs;

    constructor() ERC721("Based Year 2024", "BY2024") Ownable(msg.sender) {}

    // Function to allow public minting of an NFT, requiring the MINT_PRICE and baseURI
    function mintNFT(string memory baseURI) public payable {
        require(msg.value == MINT_PRICE, "Incorrect minting fee");

        uint256 tokenId = _nextTokenId;
        ++_nextTokenId;

        _safeMint(msg.sender, tokenId);

        // Set the token's URI dynamically based on the provided baseURI
        _tokenURIs[tokenId] = baseURI;
    }

    // Function to retrieve the token URI for a given tokenId
    function tokenURI(uint256 tokenId) public view override returns (string memory) {
        string memory uri = _tokenURIs[tokenId];
        require(bytes(uri).length > 0, "ERC721Metadata: URI query for nonexistent token");
        return uri;
    }

    // Withdraw funds, restricted to owner with reentrancy protection
    function withdrawFunds() public onlyOwner nonReentrant {
        payable(owner()).transfer(address(this).balance);
    }

    // Pause and unpause functions restricted to contract owner
    function pause() public onlyOwner {
        _pause();
    }

    function unpause() public onlyOwner {
        _unpause();
    }

    // Receive function to accept Ether sent directly to the contract
    receive() external payable {
        require(msg.value == 0, "Direct Ether transfers are not allowed");
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"uint256","name":"tokenId","type":"uint256"},{"internalType":"address","name":"owner","type":"address"}],"name":"ERC721IncorrectOwner","type":"error"},{"inputs":[{"internalType":"address","name":"operator","type":"address"},{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"ERC721InsufficientApproval","type":"error"},{"inputs":[{"internalType":"address","name":"approver","type":"address"}],"name":"ERC721InvalidApprover","type":"error"},{"inputs":[{"internalType":"address","name":"operator","type":"address"}],"name":"ERC721InvalidOperator","type":"error"},{"inputs":[{"internalType":"address","name":"owner","type":"address"}],"name":"ERC721InvalidOwner","type":"error"},{"inputs":[{"internalType":"address","name":"receiver","type":"address"}],"name":"ERC721InvalidReceiver","type":"error"},{"inputs":[{"internalType":"address","name":"sender","type":"address"}],"name":"ERC721InvalidSender","type":"error"},{"inputs":[{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"ERC721NonexistentToken","type":"error"},{"inputs":[],"name":"EnforcedPause","type":"error"},{"inputs":[],"name":"ExpectedPause","type":"error"},{"inputs":[{"internalType":"address","name":"owner","type":"address"}],"name":"OwnableInvalidOwner","type":"error"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"OwnableUnauthorizedAccount","type":"error"},{"inputs":[],"name":"ReentrancyGuardReentrantCall","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":false,"internalType":"address","name":"account","type":"address"}],"name":"Paused","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":true,"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"account","type":"address"}],"name":"Unpaused","type":"event"},{"inputs":[],"name":"MINT_PRICE","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"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":"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":"string","name":"baseURI","type":"string"}],"name":"mintNFT","outputs":[],"stateMutability":"payable","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":"pause","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"paused","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"safeTransferFrom","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"tokenId","type":"uint256"},{"internalType":"bytes","name":"data","type":"bytes"}],"name":"safeTransferFrom","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"operator","type":"address"},{"internalType":"bool","name":"approved","type":"bool"}],"name":"setApprovalForAll","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes4","name":"interfaceId","type":"bytes4"}],"name":"supportsInterface","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"tokenURI","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"transferFrom","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"unpause","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"withdrawFunds","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

60806040526001600855348015610014575f80fd5b50336040518060400160405280600f81526020017f42617365642059656172203230323400000000000000000000000000000000008152506040518060400160405280600681526020017f4259323032340000000000000000000000000000000000000000000000000000815250815f90816100909190610448565b5080600190816100a09190610448565b5050505f60065f6101000a81548160ff0219169083151502179055505f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff160361012c575f6040517f1e4fbdf70000000000000000000000000000000000000000000000000000000081526004016101239190610556565b60405180910390fd5b61013b8161014960201b60201c565b50600160078190555061056f565b5f600660019054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600660016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061028957607f821691505b60208210810361029c5761029b610245565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f600883026102fe7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff826102c3565b61030886836102c3565b95508019841693508086168417925050509392505050565b5f819050919050565b5f819050919050565b5f61034c61034761034284610320565b610329565b610320565b9050919050565b5f819050919050565b61036583610332565b61037961037182610353565b8484546102cf565b825550505050565b5f90565b61038d610381565b61039881848461035c565b505050565b5b818110156103bb576103b05f82610385565b60018101905061039e565b5050565b601f821115610400576103d1816102a2565b6103da846102b4565b810160208510156103e9578190505b6103fd6103f5856102b4565b83018261039d565b50505b505050565b5f82821c905092915050565b5f6104205f1984600802610405565b1980831691505092915050565b5f6104388383610411565b9150826002028217905092915050565b6104518261020e565b67ffffffffffffffff81111561046a57610469610218565b5b6104748254610272565b61047f8282856103bf565b5f60209050601f8311600181146104b0575f841561049e578287015190505b6104a8858261042d565b86555061050f565b601f1984166104be866102a2565b5f5b828110156104e5578489015182556001820191506020850194506020810190506104c0565b8683101561050257848901516104fe601f891682610411565b8355505b6001600288020188555050505b505050505050565b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f61054082610517565b9050919050565b61055081610536565b82525050565b5f6020820190506105695f830184610547565b92915050565b6127698061057c5f395ff3fe608060405260043610610138575f3560e01c8063715018a6116100aa578063b88d4fde1161006e578063b88d4fde14610415578063c002d23d1461043d578063c87b56dd14610467578063e985e9c5146104a3578063f2fde38b146104df578063fb37e8831461050757610181565b8063715018a61461036d5780638456cb59146103835780638da5cb5b1461039957806395d89b41146103c3578063a22cb465146103ed57610181565b806324600fc3116100fc57806324600fc3146102775780633f4ba83a1461028d57806342842e0e146102a35780635c975abb146102cb5780636352211e146102f557806370a082311461033157610181565b806301ffc9a71461018557806306fdde03146101c1578063081812fc146101eb578063095ea7b31461022757806323b872dd1461024f57610181565b36610181575f341461017f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161017690611b6f565b60405180910390fd5b005b5f80fd5b348015610190575f80fd5b506101ab60048036038101906101a69190611bf3565b610523565b6040516101b89190611c38565b60405180910390f35b3480156101cc575f80fd5b506101d5610604565b6040516101e29190611cb1565b60405180910390f35b3480156101f6575f80fd5b50610211600480360381019061020c9190611d04565b610693565b60405161021e9190611d6e565b60405180910390f35b348015610232575f80fd5b5061024d60048036038101906102489190611db1565b6106ae565b005b34801561025a575f80fd5b5061027560048036038101906102709190611def565b6106c4565b005b348015610282575f80fd5b5061028b6107c3565b005b348015610298575f80fd5b506102a1610828565b005b3480156102ae575f80fd5b506102c960048036038101906102c49190611def565b61083a565b005b3480156102d6575f80fd5b506102df610859565b6040516102ec9190611c38565b60405180910390f35b348015610300575f80fd5b5061031b60048036038101906103169190611d04565b61086e565b6040516103289190611d6e565b60405180910390f35b34801561033c575f80fd5b5061035760048036038101906103529190611e3f565b61087f565b6040516103649190611e79565b60405180910390f35b348015610378575f80fd5b50610381610935565b005b34801561038e575f80fd5b50610397610948565b005b3480156103a4575f80fd5b506103ad61095a565b6040516103ba9190611d6e565b60405180910390f35b3480156103ce575f80fd5b506103d7610983565b6040516103e49190611cb1565b60405180910390f35b3480156103f8575f80fd5b50610413600480360381019061040e9190611ebc565b610a13565b005b348015610420575f80fd5b5061043b60048036038101906104369190612026565b610a29565b005b348015610448575f80fd5b50610451610a4e565b60405161045e9190611e79565b60405180910390f35b348015610472575f80fd5b5061048d60048036038101906104889190611d04565b610a58565b60405161049a9190611cb1565b60405180910390f35b3480156104ae575f80fd5b506104c960048036038101906104c491906120a6565b610b41565b6040516104d69190611c38565b60405180910390f35b3480156104ea575f80fd5b5061050560048036038101906105009190611e3f565b610bcf565b005b610521600480360381019061051c9190612182565b610c53565b005b5f7f80ac58cd000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614806105ed57507f5b5e139f000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916145b806105fd57506105fc82610ce3565b5b9050919050565b60605f8054610612906121f6565b80601f016020809104026020016040519081016040528092919081815260200182805461063e906121f6565b80156106895780601f1061066057610100808354040283529160200191610689565b820191905f5260205f20905b81548152906001019060200180831161066c57829003601f168201915b5050505050905090565b5f61069d82610d4c565b506106a782610dd2565b9050919050565b6106c082826106bb610e0b565b610e12565b5050565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610734575f6040517f64a0ae9200000000000000000000000000000000000000000000000000000000815260040161072b9190611d6e565b60405180910390fd5b5f6107478383610742610e0b565b610e24565b90508373ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16146107bd578382826040517f64283d7b0000000000000000000000000000000000000000000000000000000081526004016107b493929190612226565b60405180910390fd5b50505050565b6107cb610e41565b6107d3610ec8565b6107db61095a565b73ffffffffffffffffffffffffffffffffffffffff166108fc4790811502906040515f60405180830381858888f1935050505015801561081d573d5f803e3d5ffd5b50610826610f0e565b565b610830610e41565b610838610f18565b565b61085483838360405180602001604052805f815250610a29565b505050565b5f60065f9054906101000a900460ff16905090565b5f61087882610d4c565b9050919050565b5f8073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036108f0575f6040517f89c62b640000000000000000000000000000000000000000000000000000000081526004016108e79190611d6e565b60405180910390fd5b60035f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b61093d610e41565b6109465f610f79565b565b610950610e41565b61095861103e565b565b5f600660019054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b606060018054610992906121f6565b80601f01602080910402602001604051908101604052809291908181526020018280546109be906121f6565b8015610a095780601f106109e057610100808354040283529160200191610a09565b820191905f5260205f20905b8154815290600101906020018083116109ec57829003601f168201915b5050505050905090565b610a25610a1e610e0b565b83836110a0565b5050565b610a348484846106c4565b610a48610a3f610e0b565b85858585611209565b50505050565b65e35fa931a00081565b60605f60095f8481526020019081526020015f208054610a77906121f6565b80601f0160208091040260200160405190810160405280929190818152602001828054610aa3906121f6565b8015610aee5780601f10610ac557610100808354040283529160200191610aee565b820191905f5260205f20905b815481529060010190602001808311610ad157829003601f168201915b505050505090505f815111610b38576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b2f906122cb565b60405180910390fd5b80915050919050565b5f60055f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff16905092915050565b610bd7610e41565b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610c47575f6040517f1e4fbdf7000000000000000000000000000000000000000000000000000000008152600401610c3e9190611d6e565b60405180910390fd5b610c5081610f79565b50565b65e35fa931a0003414610c9b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c9290612333565b60405180910390fd5b5f600854905060085f8154610caf9061237e565b91905081905550610cc033826113b5565b8160095f8381526020019081526020015f209081610cde9190612562565b505050565b5f7f01ffc9a7000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916149050919050565b5f80610d57836113d2565b90505f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610dc957826040517f7e273289000000000000000000000000000000000000000000000000000000008152600401610dc09190611e79565b60405180910390fd5b80915050919050565b5f60045f8381526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b5f33905090565b610e1f838383600161140b565b505050565b5f610e2d6115ca565b610e3884848461160b565b90509392505050565b610e49610e0b565b73ffffffffffffffffffffffffffffffffffffffff16610e6761095a565b73ffffffffffffffffffffffffffffffffffffffff1614610ec657610e8a610e0b565b6040517f118cdaa7000000000000000000000000000000000000000000000000000000008152600401610ebd9190611d6e565b60405180910390fd5b565b600260075403610f04576040517f3ee5aeb500000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b6002600781905550565b6001600781905550565b610f20611816565b5f60065f6101000a81548160ff0219169083151502179055507f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa610f62610e0b565b604051610f6f9190611d6e565b60405180910390a1565b5f600660019054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600660016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b6110466115ca565b600160065f6101000a81548160ff0219169083151502179055507f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258611089610e0b565b6040516110969190611d6e565b60405180910390a1565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361111057816040517f5b08ba180000000000000000000000000000000000000000000000000000000081526004016111079190611d6e565b60405180910390fd5b8060055f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31836040516111fc9190611c38565b60405180910390a3505050565b5f8373ffffffffffffffffffffffffffffffffffffffff163b11156113ae578273ffffffffffffffffffffffffffffffffffffffff1663150b7a02868685856040518563ffffffff1660e01b81526004016112679493929190612683565b6020604051808303815f875af19250505080156112a257506040513d601f19601f8201168201806040525081019061129f91906126e1565b60015b611323573d805f81146112d0576040519150601f19603f3d011682016040523d82523d5f602084013e6112d5565b606091505b505f81510361131b57836040517f64a0ae920000000000000000000000000000000000000000000000000000000081526004016113129190611d6e565b60405180910390fd5b805181602001fd5b63150b7a0260e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916146113ac57836040517f64a0ae920000000000000000000000000000000000000000000000000000000081526004016113a39190611d6e565b60405180910390fd5b505b5050505050565b6113ce828260405180602001604052805f815250611856565b5050565b5f60025f8381526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b808061144357505f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614155b15611575575f61145284610d4c565b90505f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141580156114bc57508273ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614155b80156114cf57506114cd8184610b41565b155b1561151157826040517fa9fbf51f0000000000000000000000000000000000000000000000000000000081526004016115089190611d6e565b60405180910390fd5b811561157357838573ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92560405160405180910390a45b505b8360045f8581526020019081526020015f205f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050505050565b6115d2610859565b15611609576040517fd93c066500000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b565b5f80611616846113d2565b90505f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161461165757611656818486611879565b5b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16146116e2576116965f855f8061140b565b600160035f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825403925050819055505b5f73ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff161461176157600160035f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055505b8460025f8681526020019081526020015f205f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550838573ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a4809150509392505050565b61181e610859565b611854576040517f8dfc202b00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b565b611860838361193c565b61187461186b610e0b565b5f858585611209565b505050565b611884838383611a2f565b611937575f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036118f857806040517f7e2732890000000000000000000000000000000000000000000000000000000081526004016118ef9190611e79565b60405180910390fd5b81816040517f177e802f00000000000000000000000000000000000000000000000000000000815260040161192e92919061270c565b60405180910390fd5b505050565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036119ac575f6040517f64a0ae920000000000000000000000000000000000000000000000000000000081526004016119a39190611d6e565b60405180910390fd5b5f6119b883835f610e24565b90505f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614611a2a575f6040517f73c6ac6e000000000000000000000000000000000000000000000000000000008152600401611a219190611d6e565b60405180910390fd5b505050565b5f8073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614158015611ae657508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff161480611aa75750611aa68484610b41565b5b80611ae557508273ffffffffffffffffffffffffffffffffffffffff16611acd83610dd2565b73ffffffffffffffffffffffffffffffffffffffff16145b5b90509392505050565b5f82825260208201905092915050565b7f446972656374204574686572207472616e736665727320617265206e6f7420615f8201527f6c6c6f7765640000000000000000000000000000000000000000000000000000602082015250565b5f611b59602683611aef565b9150611b6482611aff565b604082019050919050565b5f6020820190508181035f830152611b8681611b4d565b9050919050565b5f604051905090565b5f80fd5b5f80fd5b5f7fffffffff0000000000000000000000000000000000000000000000000000000082169050919050565b611bd281611b9e565b8114611bdc575f80fd5b50565b5f81359050611bed81611bc9565b92915050565b5f60208284031215611c0857611c07611b96565b5b5f611c1584828501611bdf565b91505092915050565b5f8115159050919050565b611c3281611c1e565b82525050565b5f602082019050611c4b5f830184611c29565b92915050565b5f81519050919050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f611c8382611c51565b611c8d8185611aef565b9350611c9d818560208601611c5b565b611ca681611c69565b840191505092915050565b5f6020820190508181035f830152611cc98184611c79565b905092915050565b5f819050919050565b611ce381611cd1565b8114611ced575f80fd5b50565b5f81359050611cfe81611cda565b92915050565b5f60208284031215611d1957611d18611b96565b5b5f611d2684828501611cf0565b91505092915050565b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f611d5882611d2f565b9050919050565b611d6881611d4e565b82525050565b5f602082019050611d815f830184611d5f565b92915050565b611d9081611d4e565b8114611d9a575f80fd5b50565b5f81359050611dab81611d87565b92915050565b5f8060408385031215611dc757611dc6611b96565b5b5f611dd485828601611d9d565b9250506020611de585828601611cf0565b9150509250929050565b5f805f60608486031215611e0657611e05611b96565b5b5f611e1386828701611d9d565b9350506020611e2486828701611d9d565b9250506040611e3586828701611cf0565b9150509250925092565b5f60208284031215611e5457611e53611b96565b5b5f611e6184828501611d9d565b91505092915050565b611e7381611cd1565b82525050565b5f602082019050611e8c5f830184611e6a565b92915050565b611e9b81611c1e565b8114611ea5575f80fd5b50565b5f81359050611eb681611e92565b92915050565b5f8060408385031215611ed257611ed1611b96565b5b5f611edf85828601611d9d565b9250506020611ef085828601611ea8565b9150509250929050565b5f80fd5b5f80fd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b611f3882611c69565b810181811067ffffffffffffffff82111715611f5757611f56611f02565b5b80604052505050565b5f611f69611b8d565b9050611f758282611f2f565b919050565b5f67ffffffffffffffff821115611f9457611f93611f02565b5b611f9d82611c69565b9050602081019050919050565b828183375f83830152505050565b5f611fca611fc584611f7a565b611f60565b905082815260208101848484011115611fe657611fe5611efe565b5b611ff1848285611faa565b509392505050565b5f82601f83011261200d5761200c611efa565b5b813561201d848260208601611fb8565b91505092915050565b5f805f806080858703121561203e5761203d611b96565b5b5f61204b87828801611d9d565b945050602061205c87828801611d9d565b935050604061206d87828801611cf0565b925050606085013567ffffffffffffffff81111561208e5761208d611b9a565b5b61209a87828801611ff9565b91505092959194509250565b5f80604083850312156120bc576120bb611b96565b5b5f6120c985828601611d9d565b92505060206120da85828601611d9d565b9150509250929050565b5f67ffffffffffffffff8211156120fe576120fd611f02565b5b61210782611c69565b9050602081019050919050565b5f612126612121846120e4565b611f60565b90508281526020810184848401111561214257612141611efe565b5b61214d848285611faa565b509392505050565b5f82601f83011261216957612168611efa565b5b8135612179848260208601612114565b91505092915050565b5f6020828403121561219757612196611b96565b5b5f82013567ffffffffffffffff8111156121b4576121b3611b9a565b5b6121c084828501612155565b91505092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061220d57607f821691505b6020821081036122205761221f6121c9565b5b50919050565b5f6060820190506122395f830186611d5f565b6122466020830185611e6a565b6122536040830184611d5f565b949350505050565b7f4552433732314d657461646174613a2055524920717565727920666f72206e6f5f8201527f6e6578697374656e7420746f6b656e0000000000000000000000000000000000602082015250565b5f6122b5602f83611aef565b91506122c08261225b565b604082019050919050565b5f6020820190508181035f8301526122e2816122a9565b9050919050565b7f496e636f7272656374206d696e74696e672066656500000000000000000000005f82015250565b5f61231d601583611aef565b9150612328826122e9565b602082019050919050565b5f6020820190508181035f83015261234a81612311565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f61238882611cd1565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82036123ba576123b9612351565b5b600182019050919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f600883026124217fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff826123e6565b61242b86836123e6565b95508019841693508086168417925050509392505050565b5f819050919050565b5f61246661246161245c84611cd1565b612443565b611cd1565b9050919050565b5f819050919050565b61247f8361244c565b61249361248b8261246d565b8484546123f2565b825550505050565b5f90565b6124a761249b565b6124b2818484612476565b505050565b5b818110156124d5576124ca5f8261249f565b6001810190506124b8565b5050565b601f82111561251a576124eb816123c5565b6124f4846123d7565b81016020851015612503578190505b61251761250f856123d7565b8301826124b7565b50505b505050565b5f82821c905092915050565b5f61253a5f198460080261251f565b1980831691505092915050565b5f612552838361252b565b9150826002028217905092915050565b61256b82611c51565b67ffffffffffffffff81111561258457612583611f02565b5b61258e82546121f6565b6125998282856124d9565b5f60209050601f8311600181146125ca575f84156125b8578287015190505b6125c28582612547565b865550612629565b601f1984166125d8866123c5565b5f5b828110156125ff578489015182556001820191506020850194506020810190506125da565b8683101561261c5784890151612618601f89168261252b565b8355505b6001600288020188555050505b505050505050565b5f81519050919050565b5f82825260208201905092915050565b5f61265582612631565b61265f818561263b565b935061266f818560208601611c5b565b61267881611c69565b840191505092915050565b5f6080820190506126965f830187611d5f565b6126a36020830186611d5f565b6126b06040830185611e6a565b81810360608301526126c2818461264b565b905095945050505050565b5f815190506126db81611bc9565b92915050565b5f602082840312156126f6576126f5611b96565b5b5f612703848285016126cd565b91505092915050565b5f60408201905061271f5f830185611d5f565b61272c6020830184611e6a565b939250505056fea26469706673582212203884cbb8bcb33c6b1ec0cb98f340811f1f4f4aa66d7b3052817e198f6defa6f464736f6c634300081a0033

0x608060405260043610610138575f3560e01c8063715018a6116100aa578063b88d4fde1161006e578063b88d4fde14610415578063c002d23d1461043d578063c87b56dd14610467578063e985e9c5146104a3578063f2fde38b146104df578063fb37e8831461050757610181565b8063715018a61461036d5780638456cb59146103835780638da5cb5b1461039957806395d89b41146103c3578063a22cb465146103ed57610181565b806324600fc3116100fc57806324600fc3146102775780633f4ba83a1461028d57806342842e0e146102a35780635c975abb146102cb5780636352211e146102f557806370a082311461033157610181565b806301ffc9a71461018557806306fdde03146101c1578063081812fc146101eb578063095ea7b31461022757806323b872dd1461024f57610181565b36610181575f341461017f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161017690611b6f565b60405180910390fd5b005b5f80fd5b348015610190575f80fd5b506101ab60048036038101906101a69190611bf3565b610523565b6040516101b89190611c38565b60405180910390f35b3480156101cc575f80fd5b506101d5610604565b6040516101e29190611cb1565b60405180910390f35b3480156101f6575f80fd5b50610211600480360381019061020c9190611d04565b610693565b60405161021e9190611d6e565b60405180910390f35b348015610232575f80fd5b5061024d60048036038101906102489190611db1565b6106ae565b005b34801561025a575f80fd5b5061027560048036038101906102709190611def565b6106c4565b005b348015610282575f80fd5b5061028b6107c3565b005b348015610298575f80fd5b506102a1610828565b005b3480156102ae575f80fd5b506102c960048036038101906102c49190611def565b61083a565b005b3480156102d6575f80fd5b506102df610859565b6040516102ec9190611c38565b60405180910390f35b348015610300575f80fd5b5061031b60048036038101906103169190611d04565b61086e565b6040516103289190611d6e565b60405180910390f35b34801561033c575f80fd5b5061035760048036038101906103529190611e3f565b61087f565b6040516103649190611e79565b60405180910390f35b348015610378575f80fd5b50610381610935565b005b34801561038e575f80fd5b50610397610948565b005b3480156103a4575f80fd5b506103ad61095a565b6040516103ba9190611d6e565b60405180910390f35b3480156103ce575f80fd5b506103d7610983565b6040516103e49190611cb1565b60405180910390f35b3480156103f8575f80fd5b50610413600480360381019061040e9190611ebc565b610a13565b005b348015610420575f80fd5b5061043b60048036038101906104369190612026565b610a29565b005b348015610448575f80fd5b50610451610a4e565b60405161045e9190611e79565b60405180910390f35b348015610472575f80fd5b5061048d60048036038101906104889190611d04565b610a58565b60405161049a9190611cb1565b60405180910390f35b3480156104ae575f80fd5b506104c960048036038101906104c491906120a6565b610b41565b6040516104d69190611c38565b60405180910390f35b3480156104ea575f80fd5b5061050560048036038101906105009190611e3f565b610bcf565b005b610521600480360381019061051c9190612182565b610c53565b005b5f7f80ac58cd000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614806105ed57507f5b5e139f000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916145b806105fd57506105fc82610ce3565b5b9050919050565b60605f8054610612906121f6565b80601f016020809104026020016040519081016040528092919081815260200182805461063e906121f6565b80156106895780601f1061066057610100808354040283529160200191610689565b820191905f5260205f20905b81548152906001019060200180831161066c57829003601f168201915b5050505050905090565b5f61069d82610d4c565b506106a782610dd2565b9050919050565b6106c082826106bb610e0b565b610e12565b5050565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610734575f6040517f64a0ae9200000000000000000000000000000000000000000000000000000000815260040161072b9190611d6e565b60405180910390fd5b5f6107478383610742610e0b565b610e24565b90508373ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16146107bd578382826040517f64283d7b0000000000000000000000000000000000000000000000000000000081526004016107b493929190612226565b60405180910390fd5b50505050565b6107cb610e41565b6107d3610ec8565b6107db61095a565b73ffffffffffffffffffffffffffffffffffffffff166108fc4790811502906040515f60405180830381858888f1935050505015801561081d573d5f803e3d5ffd5b50610826610f0e565b565b610830610e41565b610838610f18565b565b61085483838360405180602001604052805f815250610a29565b505050565b5f60065f9054906101000a900460ff16905090565b5f61087882610d4c565b9050919050565b5f8073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036108f0575f6040517f89c62b640000000000000000000000000000000000000000000000000000000081526004016108e79190611d6e565b60405180910390fd5b60035f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b61093d610e41565b6109465f610f79565b565b610950610e41565b61095861103e565b565b5f600660019054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b606060018054610992906121f6565b80601f01602080910402602001604051908101604052809291908181526020018280546109be906121f6565b8015610a095780601f106109e057610100808354040283529160200191610a09565b820191905f5260205f20905b8154815290600101906020018083116109ec57829003601f168201915b5050505050905090565b610a25610a1e610e0b565b83836110a0565b5050565b610a348484846106c4565b610a48610a3f610e0b565b85858585611209565b50505050565b65e35fa931a00081565b60605f60095f8481526020019081526020015f208054610a77906121f6565b80601f0160208091040260200160405190810160405280929190818152602001828054610aa3906121f6565b8015610aee5780601f10610ac557610100808354040283529160200191610aee565b820191905f5260205f20905b815481529060010190602001808311610ad157829003601f168201915b505050505090505f815111610b38576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b2f906122cb565b60405180910390fd5b80915050919050565b5f60055f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff16905092915050565b610bd7610e41565b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610c47575f6040517f1e4fbdf7000000000000000000000000000000000000000000000000000000008152600401610c3e9190611d6e565b60405180910390fd5b610c5081610f79565b50565b65e35fa931a0003414610c9b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c9290612333565b60405180910390fd5b5f600854905060085f8154610caf9061237e565b91905081905550610cc033826113b5565b8160095f8381526020019081526020015f209081610cde9190612562565b505050565b5f7f01ffc9a7000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916149050919050565b5f80610d57836113d2565b90505f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610dc957826040517f7e273289000000000000000000000000000000000000000000000000000000008152600401610dc09190611e79565b60405180910390fd5b80915050919050565b5f60045f8381526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b5f33905090565b610e1f838383600161140b565b505050565b5f610e2d6115ca565b610e3884848461160b565b90509392505050565b610e49610e0b565b73ffffffffffffffffffffffffffffffffffffffff16610e6761095a565b73ffffffffffffffffffffffffffffffffffffffff1614610ec657610e8a610e0b565b6040517f118cdaa7000000000000000000000000000000000000000000000000000000008152600401610ebd9190611d6e565b60405180910390fd5b565b600260075403610f04576040517f3ee5aeb500000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b6002600781905550565b6001600781905550565b610f20611816565b5f60065f6101000a81548160ff0219169083151502179055507f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa610f62610e0b565b604051610f6f9190611d6e565b60405180910390a1565b5f600660019054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600660016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b6110466115ca565b600160065f6101000a81548160ff0219169083151502179055507f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258611089610e0b565b6040516110969190611d6e565b60405180910390a1565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361111057816040517f5b08ba180000000000000000000000000000000000000000000000000000000081526004016111079190611d6e565b60405180910390fd5b8060055f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31836040516111fc9190611c38565b60405180910390a3505050565b5f8373ffffffffffffffffffffffffffffffffffffffff163b11156113ae578273ffffffffffffffffffffffffffffffffffffffff1663150b7a02868685856040518563ffffffff1660e01b81526004016112679493929190612683565b6020604051808303815f875af19250505080156112a257506040513d601f19601f8201168201806040525081019061129f91906126e1565b60015b611323573d805f81146112d0576040519150601f19603f3d011682016040523d82523d5f602084013e6112d5565b606091505b505f81510361131b57836040517f64a0ae920000000000000000000000000000000000000000000000000000000081526004016113129190611d6e565b60405180910390fd5b805181602001fd5b63150b7a0260e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916146113ac57836040517f64a0ae920000000000000000000000000000000000000000000000000000000081526004016113a39190611d6e565b60405180910390fd5b505b5050505050565b6113ce828260405180602001604052805f815250611856565b5050565b5f60025f8381526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b808061144357505f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614155b15611575575f61145284610d4c565b90505f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141580156114bc57508273ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614155b80156114cf57506114cd8184610b41565b155b1561151157826040517fa9fbf51f0000000000000000000000000000000000000000000000000000000081526004016115089190611d6e565b60405180910390fd5b811561157357838573ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92560405160405180910390a45b505b8360045f8581526020019081526020015f205f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050505050565b6115d2610859565b15611609576040517fd93c066500000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b565b5f80611616846113d2565b90505f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161461165757611656818486611879565b5b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16146116e2576116965f855f8061140b565b600160035f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825403925050819055505b5f73ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff161461176157600160035f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055505b8460025f8681526020019081526020015f205f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550838573ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a4809150509392505050565b61181e610859565b611854576040517f8dfc202b00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b565b611860838361193c565b61187461186b610e0b565b5f858585611209565b505050565b611884838383611a2f565b611937575f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036118f857806040517f7e2732890000000000000000000000000000000000000000000000000000000081526004016118ef9190611e79565b60405180910390fd5b81816040517f177e802f00000000000000000000000000000000000000000000000000000000815260040161192e92919061270c565b60405180910390fd5b505050565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036119ac575f6040517f64a0ae920000000000000000000000000000000000000000000000000000000081526004016119a39190611d6e565b60405180910390fd5b5f6119b883835f610e24565b90505f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614611a2a575f6040517f73c6ac6e000000000000000000000000000000000000000000000000000000008152600401611a219190611d6e565b60405180910390fd5b505050565b5f8073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614158015611ae657508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff161480611aa75750611aa68484610b41565b5b80611ae557508273ffffffffffffffffffffffffffffffffffffffff16611acd83610dd2565b73ffffffffffffffffffffffffffffffffffffffff16145b5b90509392505050565b5f82825260208201905092915050565b7f446972656374204574686572207472616e736665727320617265206e6f7420615f8201527f6c6c6f7765640000000000000000000000000000000000000000000000000000602082015250565b5f611b59602683611aef565b9150611b6482611aff565b604082019050919050565b5f6020820190508181035f830152611b8681611b4d565b9050919050565b5f604051905090565b5f80fd5b5f80fd5b5f7fffffffff0000000000000000000000000000000000000000000000000000000082169050919050565b611bd281611b9e565b8114611bdc575f80fd5b50565b5f81359050611bed81611bc9565b92915050565b5f60208284031215611c0857611c07611b96565b5b5f611c1584828501611bdf565b91505092915050565b5f8115159050919050565b611c3281611c1e565b82525050565b5f602082019050611c4b5f830184611c29565b92915050565b5f81519050919050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f611c8382611c51565b611c8d8185611aef565b9350611c9d818560208601611c5b565b611ca681611c69565b840191505092915050565b5f6020820190508181035f830152611cc98184611c79565b905092915050565b5f819050919050565b611ce381611cd1565b8114611ced575f80fd5b50565b5f81359050611cfe81611cda565b92915050565b5f60208284031215611d1957611d18611b96565b5b5f611d2684828501611cf0565b91505092915050565b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f611d5882611d2f565b9050919050565b611d6881611d4e565b82525050565b5f602082019050611d815f830184611d5f565b92915050565b611d9081611d4e565b8114611d9a575f80fd5b50565b5f81359050611dab81611d87565b92915050565b5f8060408385031215611dc757611dc6611b96565b5b5f611dd485828601611d9d565b9250506020611de585828601611cf0565b9150509250929050565b5f805f60608486031215611e0657611e05611b96565b5b5f611e1386828701611d9d565b9350506020611e2486828701611d9d565b9250506040611e3586828701611cf0565b9150509250925092565b5f60208284031215611e5457611e53611b96565b5b5f611e6184828501611d9d565b91505092915050565b611e7381611cd1565b82525050565b5f602082019050611e8c5f830184611e6a565b92915050565b611e9b81611c1e565b8114611ea5575f80fd5b50565b5f81359050611eb681611e92565b92915050565b5f8060408385031215611ed257611ed1611b96565b5b5f611edf85828601611d9d565b9250506020611ef085828601611ea8565b9150509250929050565b5f80fd5b5f80fd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b611f3882611c69565b810181811067ffffffffffffffff82111715611f5757611f56611f02565b5b80604052505050565b5f611f69611b8d565b9050611f758282611f2f565b919050565b5f67ffffffffffffffff821115611f9457611f93611f02565b5b611f9d82611c69565b9050602081019050919050565b828183375f83830152505050565b5f611fca611fc584611f7a565b611f60565b905082815260208101848484011115611fe657611fe5611efe565b5b611ff1848285611faa565b509392505050565b5f82601f83011261200d5761200c611efa565b5b813561201d848260208601611fb8565b91505092915050565b5f805f806080858703121561203e5761203d611b96565b5b5f61204b87828801611d9d565b945050602061205c87828801611d9d565b935050604061206d87828801611cf0565b925050606085013567ffffffffffffffff81111561208e5761208d611b9a565b5b61209a87828801611ff9565b91505092959194509250565b5f80604083850312156120bc576120bb611b96565b5b5f6120c985828601611d9d565b92505060206120da85828601611d9d565b9150509250929050565b5f67ffffffffffffffff8211156120fe576120fd611f02565b5b61210782611c69565b9050602081019050919050565b5f612126612121846120e4565b611f60565b90508281526020810184848401111561214257612141611efe565b5b61214d848285611faa565b509392505050565b5f82601f83011261216957612168611efa565b5b8135612179848260208601612114565b91505092915050565b5f6020828403121561219757612196611b96565b5b5f82013567ffffffffffffffff8111156121b4576121b3611b9a565b5b6121c084828501612155565b91505092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061220d57607f821691505b6020821081036122205761221f6121c9565b5b50919050565b5f6060820190506122395f830186611d5f565b6122466020830185611e6a565b6122536040830184611d5f565b949350505050565b7f4552433732314d657461646174613a2055524920717565727920666f72206e6f5f8201527f6e6578697374656e7420746f6b656e0000000000000000000000000000000000602082015250565b5f6122b5602f83611aef565b91506122c08261225b565b604082019050919050565b5f6020820190508181035f8301526122e2816122a9565b9050919050565b7f496e636f7272656374206d696e74696e672066656500000000000000000000005f82015250565b5f61231d601583611aef565b9150612328826122e9565b602082019050919050565b5f6020820190508181035f83015261234a81612311565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f61238882611cd1565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82036123ba576123b9612351565b5b600182019050919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f600883026124217fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff826123e6565b61242b86836123e6565b95508019841693508086168417925050509392505050565b5f819050919050565b5f61246661246161245c84611cd1565b612443565b611cd1565b9050919050565b5f819050919050565b61247f8361244c565b61249361248b8261246d565b8484546123f2565b825550505050565b5f90565b6124a761249b565b6124b2818484612476565b505050565b5b818110156124d5576124ca5f8261249f565b6001810190506124b8565b5050565b601f82111561251a576124eb816123c5565b6124f4846123d7565b81016020851015612503578190505b61251761250f856123d7565b8301826124b7565b50505b505050565b5f82821c905092915050565b5f61253a5f198460080261251f565b1980831691505092915050565b5f612552838361252b565b9150826002028217905092915050565b61256b82611c51565b67ffffffffffffffff81111561258457612583611f02565b5b61258e82546121f6565b6125998282856124d9565b5f60209050601f8311600181146125ca575f84156125b8578287015190505b6125c28582612547565b865550612629565b601f1984166125d8866123c5565b5f5b828110156125ff578489015182556001820191506020850194506020810190506125da565b8683101561261c5784890151612618601f89168261252b565b8355505b6001600288020188555050505b505050505050565b5f81519050919050565b5f82825260208201905092915050565b5f61265582612631565b61265f818561263b565b935061266f818560208601611c5b565b61267881611c69565b840191505092915050565b5f6080820190506126965f830187611d5f565b6126a36020830186611d5f565b6126b06040830185611e6a565b81810360608301526126c2818461264b565b905095945050505050565b5f815190506126db81611bc9565b92915050565b5f602082840312156126f6576126f5611b96565b5b5f612703848285016126cd565b91505092915050565b5f60408201905061271f5f830185611d5f565b61272c6020830184611e6a565b939250505056fea26469706673582212203884cbb8bcb33c6b1ec0cb98f340811f1f4f4aa66d7b3052817e198f6defa6f464736f6c634300081a0033

119780:1729:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;121454:1;121441:9;:14;121433:65;;;;;;;;;;;;:::i;:::-;;;;;;;;;119780:1729;;;;;93463:305;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;94294:91;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;95466:158;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;95285:115;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;96135:588;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;120987:122;;;;;;;;;;;;;:::i;:::-;;121251:65;;;;;;;;;;;;;:::i;:::-;;96794:134;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;110671:86;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;94107:120;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;93832:213;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;115367:103;;;;;;;;;;;;;:::i;:::-;;121182:61;;;;;;;;;;;;;:::i;:::-;;114692:87;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;94454:95;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;95696:146;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;96999:236;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;119893:50;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;120657:251;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;95913:155;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;115625:220;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;120228:358;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;93463:305;93565:4;93617:25;93602:40;;;:11;:40;;;;:105;;;;93674:33;93659:48;;;:11;:48;;;;93602:105;:158;;;;93724:36;93748:11;93724:23;:36::i;:::-;93602:158;93582:178;;93463:305;;;:::o;94294:91::-;94339:13;94372:5;94365:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;94294:91;:::o;95466:158::-;95533:7;95553:22;95567:7;95553:13;:22::i;:::-;;95595:21;95608:7;95595:12;:21::i;:::-;95588:28;;95466:158;;;:::o;95285:115::-;95357:35;95366:2;95370:7;95379:12;:10;:12::i;:::-;95357:8;:35::i;:::-;95285:115;;:::o;96135:588::-;96244:1;96230:16;;:2;:16;;;96226:89;;96300:1;96270:33;;;;;;;;;;;:::i;:::-;;;;;;;;96226:89;96536:21;96560:34;96568:2;96572:7;96581:12;:10;:12::i;:::-;96560:7;:34::i;:::-;96536:58;;96626:4;96609:21;;:13;:21;;;96605:111;;96675:4;96681:7;96690:13;96654:50;;;;;;;;;;;;;:::i;:::-;;;;;;;;96605:111;96215:508;96135:588;;;:::o;120987:122::-;114578:13;:11;:13::i;:::-;118792:21:::1;:19;:21::i;:::-;121061:7:::2;:5;:7::i;:::-;121053:25;;:48;121079:21;121053:48;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;118836:20:::1;:18;:20::i;:::-;120987:122::o:0;121251:65::-;114578:13;:11;:13::i;:::-;121298:10:::1;:8;:10::i;:::-;121251:65::o:0;96794:134::-;96881:39;96898:4;96904:2;96908:7;96881:39;;;;;;;;;;;;:16;:39::i;:::-;96794:134;;;:::o;110671:86::-;110718:4;110742:7;;;;;;;;;;;110735:14;;110671:86;:::o;94107:120::-;94170:7;94197:22;94211:7;94197:13;:22::i;:::-;94190:29;;94107:120;;;:::o;93832:213::-;93895:7;93936:1;93919:19;;:5;:19;;;93915:89;;93989:1;93962:30;;;;;;;;;;;:::i;:::-;;;;;;;;93915:89;94021:9;:16;94031:5;94021:16;;;;;;;;;;;;;;;;94014:23;;93832:213;;;:::o;115367:103::-;114578:13;:11;:13::i;:::-;115432:30:::1;115459:1;115432:18;:30::i;:::-;115367:103::o:0;121182:61::-;114578:13;:11;:13::i;:::-;121227:8:::1;:6;:8::i;:::-;121182:61::o:0;114692:87::-;114738:7;114765:6;;;;;;;;;;;114758:13;;114692:87;:::o;94454:95::-;94501:13;94534:7;94527:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;94454:95;:::o;95696:146::-;95782:52;95801:12;:10;:12::i;:::-;95815:8;95825;95782:18;:52::i;:::-;95696:146;;:::o;96999:236::-;97113:31;97126:4;97132:2;97136:7;97113:12;:31::i;:::-;97155:72;97189:12;:10;:12::i;:::-;97203:4;97209:2;97213:7;97222:4;97155:33;:72::i;:::-;96999:236;;;;:::o;119893:50::-;119930:13;119893:50;:::o;120657:251::-;120722:13;120748:17;120768:10;:19;120779:7;120768:19;;;;;;;;;;;120748:39;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;120826:1;120812:3;120806:17;:21;120798:81;;;;;;;;;;;;:::i;:::-;;;;;;;;;120897:3;120890:10;;;120657:251;;;:::o;95913:155::-;96001:4;96025:18;:25;96044:5;96025:25;;;;;;;;;;;;;;;:35;96051:8;96025:35;;;;;;;;;;;;;;;;;;;;;;;;;96018:42;;95913:155;;;;:::o;115625:220::-;114578:13;:11;:13::i;:::-;115730:1:::1;115710:22;;:8;:22;;::::0;115706:93:::1;;115784:1;115756:31;;;;;;;;;;;:::i;:::-;;;;;;;;115706:93;115809:28;115828:8;115809:18;:28::i;:::-;115625:220:::0;:::o;120228:358::-;119930:13;120302:9;:23;120294:57;;;;;;;;;;;;:::i;:::-;;;;;;;;;120364:15;120382:12;;120364:30;;120407:12;;120405:14;;;;;:::i;:::-;;;;;;;;120432:30;120442:10;120454:7;120432:9;:30::i;:::-;120571:7;120549:10;:19;120560:7;120549:19;;;;;;;;;;;:29;;;;;;:::i;:::-;;120283:303;120228:358;:::o;92061:148::-;92137:4;92176:25;92161:40;;;:11;:40;;;;92154:47;;92061:148;;;:::o;108517:247::-;108580:7;108600:13;108616:17;108625:7;108616:8;:17::i;:::-;108600:33;;108665:1;108648:19;;:5;:19;;;108644:90;;108714:7;108691:31;;;;;;;;;;;:::i;:::-;;;;;;;;108644:90;108751:5;108744:12;;;108517:247;;;:::o;97998:129::-;98068:7;98095:15;:24;98111:7;98095:24;;;;;;;;;;;;;;;;;;;;;98088:31;;97998:129;;;:::o;17169:98::-;17222:7;17249:10;17242:17;;17169:98;:::o;106749:122::-;106830:33;106839:2;106843:7;106852:4;106858;106830:8;:33::i;:::-;106749:122;;;:::o;112805:210::-;112948:7;110276:19;:17;:19::i;:::-;112975:32:::1;112989:2;112993:7;113002:4;112975:13;:32::i;:::-;112968:39;;112805:210:::0;;;;;:::o;114857:166::-;114928:12;:10;:12::i;:::-;114917:23;;:7;:5;:7::i;:::-;:23;;;114913:103;;114991:12;:10;:12::i;:::-;114964:40;;;;;;;;;;;:::i;:::-;;;;;;;;114913:103;114857:166::o;118872:315::-;118170:1;119001:7;;:18;118997:88;;119043:30;;;;;;;;;;;;;;118997:88;118170:1;119162:7;:17;;;;118872:315::o;119195:212::-;118127:1;119378:7;:21;;;;119195:212::o;111572:120::-;110535:16;:14;:16::i;:::-;111641:5:::1;111631:7;;:15;;;;;;;;;;;;;;;;;;111662:22;111671:12;:10;:12::i;:::-;111662:22;;;;;;:::i;:::-;;;;;;;;111572:120::o:0;116005:191::-;116079:16;116098:6;;;;;;;;;;;116079:25;;116124:8;116115:6;;:17;;;;;;;;;;;;;;;;;;116179:8;116148:40;;116169:8;116148:40;;;;;;;;;;;;116068:128;116005:191;:::o;111313:118::-;110276:19;:17;:19::i;:::-;111383:4:::1;111373:7;;:14;;;;;;;;;;;;;;;;;;111403:20;111410:12;:10;:12::i;:::-;111403:20;;;;;;:::i;:::-;;;;;;;;111313:118::o:0;107956:318::-;108084:1;108064:22;;:8;:22;;;108060:93;;108132:8;108110:31;;;;;;;;;;;:::i;:::-;;;;;;;;108060:93;108201:8;108163:18;:25;108182:5;108163:25;;;;;;;;;;;;;;;:35;108189:8;108163:35;;;;;;;;;;;;;;;;:46;;;;;;;;;;;;;;;;;;108247:8;108225:41;;108240:5;108225:41;;;108257:8;108225:41;;;;;;:::i;:::-;;;;;;;;107956:318;;;:::o;15519:948::-;15723:1;15706:2;:14;;;:18;15702:758;;;15761:2;15745:36;;;15782:8;15792:4;15798:7;15807:4;15745:67;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;15741:708;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16125:1;16108:6;:13;:18;16104:330;;16250:2;16214:39;;;;;;;;;;;:::i;:::-;;;;;;;;16104:330;16384:6;16378:13;16369:6;16365:2;16361:15;16354:38;15741:708;15870:41;;;15860:51;;;:6;:51;;;;15856:185;;16018:2;15982:39;;;;;;;;;;;:::i;:::-;;;;;;;;15856:185;15813:243;15702:758;15519:948;;;;;:::o;102817:102::-;102885:26;102895:2;102899:7;102885:26;;;;;;;;;;;;:9;:26::i;:::-;102817:102;;:::o;97760:117::-;97826:7;97853;:16;97861:7;97853:16;;;;;;;;;;;;;;;;;;;;;97846:23;;97760:117;;;:::o;107059:678::-;107221:9;:31;;;;107250:1;107234:18;;:4;:18;;;;107221:31;107217:471;;;107269:13;107285:22;107299:7;107285:13;:22::i;:::-;107269:38;;107454:1;107438:18;;:4;:18;;;;:35;;;;;107469:4;107460:13;;:5;:13;;;;107438:35;:69;;;;;107478:29;107495:5;107502:4;107478:16;:29::i;:::-;107477:30;107438:69;107434:144;;;107557:4;107535:27;;;;;;;;;;;:::i;:::-;;;;;;;;107434:144;107598:9;107594:83;;;107653:7;107649:2;107633:28;;107642:5;107633:28;;;;;;;;;;;;107594:83;107254:434;107217:471;107727:2;107700:15;:24;107716:7;107700:24;;;;;;;;;;;;:29;;;;;;;;;;;;;;;;;;107059:678;;;;:::o;110830:132::-;110896:8;:6;:8::i;:::-;110892:63;;;110928:15;;;;;;;;;;;;;;110892:63;110830:132::o;100959:824::-;101045:7;101065:12;101080:17;101089:7;101080:8;:17::i;:::-;101065:32;;101176:1;101160:18;;:4;:18;;;101156:88;;101195:37;101212:4;101218;101224:7;101195:16;:37::i;:::-;101156:88;101307:1;101291:18;;:4;:18;;;101287:263;;101409:48;101426:1;101430:7;101447:1;101451:5;101409:8;:48::i;:::-;101522:1;101503:9;:15;101513:4;101503:15;;;;;;;;;;;;;;;;:20;;;;;;;;;;;101287:263;101580:1;101566:16;;:2;:16;;;101562:111;;101645:1;101628:9;:13;101638:2;101628:13;;;;;;;;;;;;;;;;:18;;;;;;;;;;;101562:111;101704:2;101685:7;:16;101693:7;101685:16;;;;;;;;;;;;:21;;;;;;;;;;;;;;;;;;101743:7;101739:2;101724:27;;101733:4;101724:27;;;;;;;;;;;;101771:4;101764:11;;;100959:824;;;;;:::o;111039:130::-;111103:8;:6;:8::i;:::-;111098:64;;111135:15;;;;;;;;;;;;;;111098:64;111039:130::o;103146:210::-;103241:18;103247:2;103251:7;103241:5;:18::i;:::-;103270:78;103304:12;:10;:12::i;:::-;103326:1;103330:2;103334:7;103343:4;103270:33;:78::i;:::-;103146:210;;;:::o;99166:376::-;99279:38;99293:5;99300:7;99309;99279:13;:38::i;:::-;99274:261;;99355:1;99338:19;;:5;:19;;;99334:190;;99408:7;99385:31;;;;;;;;;;;:::i;:::-;;;;;;;;99334:190;99491:7;99500;99464:44;;;;;;;;;;;;:::i;:::-;;;;;;;;99274:261;99166:376;;;:::o;102119:335::-;102201:1;102187:16;;:2;:16;;;102183:89;;102257:1;102227:33;;;;;;;;;;;:::i;:::-;;;;;;;;102183:89;102282:21;102306:32;102314:2;102318:7;102335:1;102306:7;:32::i;:::-;102282:56;;102378:1;102353:27;;:13;:27;;;102349:98;;102432:1;102404:31;;;;;;;;;;;:::i;:::-;;;;;;;;102349:98;102172:282;102119:335;;:::o;98447:276::-;98550:4;98606:1;98587:21;;:7;:21;;;;:128;;;;;98635:7;98626:16;;:5;:16;;;:52;;;;98646:32;98663:5;98670:7;98646:16;:32::i;:::-;98626:52;:88;;;;98707:7;98682:32;;:21;98695:7;98682:12;:21::i;:::-;:32;;;98626:88;98587:128;98567:148;;98447:276;;;;;:::o;7:169:1:-;91:11;125:6;120:3;113:19;165:4;160:3;156:14;141:29;;7:169;;;;:::o;182:225::-;322:34;318:1;310:6;306:14;299:58;391:8;386:2;378:6;374:15;367:33;182:225;:::o;413:366::-;555:3;576:67;640:2;635:3;576:67;:::i;:::-;569:74;;652:93;741:3;652:93;:::i;:::-;770:2;765:3;761:12;754:19;;413:366;;;:::o;785:419::-;951:4;989:2;978:9;974:18;966:26;;1038:9;1032:4;1028:20;1024:1;1013:9;1009:17;1002:47;1066:131;1192:4;1066:131;:::i;:::-;1058:139;;785:419;;;:::o;1210:75::-;1243:6;1276:2;1270:9;1260:19;;1210:75;:::o;1291:117::-;1400:1;1397;1390:12;1414:117;1523:1;1520;1513:12;1537:149;1573:7;1613:66;1606:5;1602:78;1591:89;;1537:149;;;:::o;1692:120::-;1764:23;1781:5;1764:23;:::i;:::-;1757:5;1754:34;1744:62;;1802:1;1799;1792:12;1744:62;1692:120;:::o;1818:137::-;1863:5;1901:6;1888:20;1879:29;;1917:32;1943:5;1917:32;:::i;:::-;1818:137;;;;:::o;1961:327::-;2019:6;2068:2;2056:9;2047:7;2043:23;2039:32;2036:119;;;2074:79;;:::i;:::-;2036:119;2194:1;2219:52;2263:7;2254:6;2243:9;2239:22;2219:52;:::i;:::-;2209:62;;2165:116;1961:327;;;;:::o;2294:90::-;2328:7;2371:5;2364:13;2357:21;2346:32;;2294:90;;;:::o;2390:109::-;2471:21;2486:5;2471:21;:::i;:::-;2466:3;2459:34;2390:109;;:::o;2505:210::-;2592:4;2630:2;2619:9;2615:18;2607:26;;2643:65;2705:1;2694:9;2690:17;2681:6;2643:65;:::i;:::-;2505:210;;;;:::o;2721:99::-;2773:6;2807:5;2801:12;2791:22;;2721:99;;;:::o;2826:139::-;2915:6;2910:3;2905;2899:23;2956:1;2947:6;2942:3;2938:16;2931:27;2826:139;;;:::o;2971:102::-;3012:6;3063:2;3059:7;3054:2;3047:5;3043:14;3039:28;3029:38;;2971:102;;;:::o;3079:377::-;3167:3;3195:39;3228:5;3195:39;:::i;:::-;3250:71;3314:6;3309:3;3250:71;:::i;:::-;3243:78;;3330:65;3388:6;3383:3;3376:4;3369:5;3365:16;3330:65;:::i;:::-;3420:29;3442:6;3420:29;:::i;:::-;3415:3;3411:39;3404:46;;3171:285;3079:377;;;;:::o;3462:313::-;3575:4;3613:2;3602:9;3598:18;3590:26;;3662:9;3656:4;3652:20;3648:1;3637:9;3633:17;3626:47;3690:78;3763:4;3754:6;3690:78;:::i;:::-;3682:86;;3462:313;;;;:::o;3781:77::-;3818:7;3847:5;3836:16;;3781:77;;;:::o;3864:122::-;3937:24;3955:5;3937:24;:::i;:::-;3930:5;3927:35;3917:63;;3976:1;3973;3966:12;3917:63;3864:122;:::o;3992:139::-;4038:5;4076:6;4063:20;4054:29;;4092:33;4119:5;4092:33;:::i;:::-;3992:139;;;;:::o;4137:329::-;4196:6;4245:2;4233:9;4224:7;4220:23;4216:32;4213:119;;;4251:79;;:::i;:::-;4213:119;4371:1;4396:53;4441:7;4432:6;4421:9;4417:22;4396:53;:::i;:::-;4386:63;;4342:117;4137:329;;;;:::o;4472:126::-;4509:7;4549:42;4542:5;4538:54;4527:65;;4472:126;;;:::o;4604:96::-;4641:7;4670:24;4688:5;4670:24;:::i;:::-;4659:35;;4604:96;;;:::o;4706:118::-;4793:24;4811:5;4793:24;:::i;:::-;4788:3;4781:37;4706:118;;:::o;4830:222::-;4923:4;4961:2;4950:9;4946:18;4938:26;;4974:71;5042:1;5031:9;5027:17;5018:6;4974:71;:::i;:::-;4830:222;;;;:::o;5058:122::-;5131:24;5149:5;5131:24;:::i;:::-;5124:5;5121:35;5111:63;;5170:1;5167;5160:12;5111:63;5058:122;:::o;5186:139::-;5232:5;5270:6;5257:20;5248:29;;5286:33;5313:5;5286:33;:::i;:::-;5186:139;;;;:::o;5331:474::-;5399:6;5407;5456:2;5444:9;5435:7;5431:23;5427:32;5424:119;;;5462:79;;:::i;:::-;5424:119;5582:1;5607:53;5652:7;5643:6;5632:9;5628:22;5607:53;:::i;:::-;5597:63;;5553:117;5709:2;5735:53;5780:7;5771:6;5760:9;5756:22;5735:53;:::i;:::-;5725:63;;5680:118;5331:474;;;;;:::o;5811:619::-;5888:6;5896;5904;5953:2;5941:9;5932:7;5928:23;5924:32;5921:119;;;5959:79;;:::i;:::-;5921:119;6079:1;6104:53;6149:7;6140:6;6129:9;6125:22;6104:53;:::i;:::-;6094:63;;6050:117;6206:2;6232:53;6277:7;6268:6;6257:9;6253:22;6232:53;:::i;:::-;6222:63;;6177:118;6334:2;6360:53;6405:7;6396:6;6385:9;6381:22;6360:53;:::i;:::-;6350:63;;6305:118;5811:619;;;;;:::o;6436:329::-;6495:6;6544:2;6532:9;6523:7;6519:23;6515:32;6512:119;;;6550:79;;:::i;:::-;6512:119;6670:1;6695:53;6740:7;6731:6;6720:9;6716:22;6695:53;:::i;:::-;6685:63;;6641:117;6436:329;;;;:::o;6771:118::-;6858:24;6876:5;6858:24;:::i;:::-;6853:3;6846:37;6771:118;;:::o;6895:222::-;6988:4;7026:2;7015:9;7011:18;7003:26;;7039:71;7107:1;7096:9;7092:17;7083:6;7039:71;:::i;:::-;6895:222;;;;:::o;7123:116::-;7193:21;7208:5;7193:21;:::i;:::-;7186:5;7183:32;7173:60;;7229:1;7226;7219:12;7173:60;7123:116;:::o;7245:133::-;7288:5;7326:6;7313:20;7304:29;;7342:30;7366:5;7342:30;:::i;:::-;7245:133;;;;:::o;7384:468::-;7449:6;7457;7506:2;7494:9;7485:7;7481:23;7477:32;7474:119;;;7512:79;;:::i;:::-;7474:119;7632:1;7657:53;7702:7;7693:6;7682:9;7678:22;7657:53;:::i;:::-;7647:63;;7603:117;7759:2;7785:50;7827:7;7818:6;7807:9;7803:22;7785:50;:::i;:::-;7775:60;;7730:115;7384:468;;;;;:::o;7858:117::-;7967:1;7964;7957:12;7981:117;8090:1;8087;8080:12;8104:180;8152:77;8149:1;8142:88;8249:4;8246:1;8239:15;8273:4;8270:1;8263:15;8290:281;8373:27;8395:4;8373:27;:::i;:::-;8365:6;8361:40;8503:6;8491:10;8488:22;8467:18;8455:10;8452:34;8449:62;8446:88;;;8514:18;;:::i;:::-;8446:88;8554:10;8550:2;8543:22;8333:238;8290:281;;:::o;8577:129::-;8611:6;8638:20;;:::i;:::-;8628:30;;8667:33;8695:4;8687:6;8667:33;:::i;:::-;8577:129;;;:::o;8712:307::-;8773:4;8863:18;8855:6;8852:30;8849:56;;;8885:18;;:::i;:::-;8849:56;8923:29;8945:6;8923:29;:::i;:::-;8915:37;;9007:4;9001;8997:15;8989:23;;8712:307;;;:::o;9025:148::-;9123:6;9118:3;9113;9100:30;9164:1;9155:6;9150:3;9146:16;9139:27;9025:148;;;:::o;9179:423::-;9256:5;9281:65;9297:48;9338:6;9297:48;:::i;:::-;9281:65;:::i;:::-;9272:74;;9369:6;9362:5;9355:21;9407:4;9400:5;9396:16;9445:3;9436:6;9431:3;9427:16;9424:25;9421:112;;;9452:79;;:::i;:::-;9421:112;9542:54;9589:6;9584:3;9579;9542:54;:::i;:::-;9262:340;9179:423;;;;;:::o;9621:338::-;9676:5;9725:3;9718:4;9710:6;9706:17;9702:27;9692:122;;9733:79;;:::i;:::-;9692:122;9850:6;9837:20;9875:78;9949:3;9941:6;9934:4;9926:6;9922:17;9875:78;:::i;:::-;9866:87;;9682:277;9621:338;;;;:::o;9965:943::-;10060:6;10068;10076;10084;10133:3;10121:9;10112:7;10108:23;10104:33;10101:120;;;10140:79;;:::i;:::-;10101:120;10260:1;10285:53;10330:7;10321:6;10310:9;10306:22;10285:53;:::i;:::-;10275:63;;10231:117;10387:2;10413:53;10458:7;10449:6;10438:9;10434:22;10413:53;:::i;:::-;10403:63;;10358:118;10515:2;10541:53;10586:7;10577:6;10566:9;10562:22;10541:53;:::i;:::-;10531:63;;10486:118;10671:2;10660:9;10656:18;10643:32;10702:18;10694:6;10691:30;10688:117;;;10724:79;;:::i;:::-;10688:117;10829:62;10883:7;10874:6;10863:9;10859:22;10829:62;:::i;:::-;10819:72;;10614:287;9965:943;;;;;;;:::o;10914:474::-;10982:6;10990;11039:2;11027:9;11018:7;11014:23;11010:32;11007:119;;;11045:79;;:::i;:::-;11007:119;11165:1;11190:53;11235:7;11226:6;11215:9;11211:22;11190:53;:::i;:::-;11180:63;;11136:117;11292:2;11318:53;11363:7;11354:6;11343:9;11339:22;11318:53;:::i;:::-;11308:63;;11263:118;10914:474;;;;;:::o;11394:308::-;11456:4;11546:18;11538:6;11535:30;11532:56;;;11568:18;;:::i;:::-;11532:56;11606:29;11628:6;11606:29;:::i;:::-;11598:37;;11690:4;11684;11680:15;11672:23;;11394:308;;;:::o;11708:425::-;11786:5;11811:66;11827:49;11869:6;11827:49;:::i;:::-;11811:66;:::i;:::-;11802:75;;11900:6;11893:5;11886:21;11938:4;11931:5;11927:16;11976:3;11967:6;11962:3;11958:16;11955:25;11952:112;;;11983:79;;:::i;:::-;11952:112;12073:54;12120:6;12115:3;12110;12073:54;:::i;:::-;11792:341;11708:425;;;;;:::o;12153:340::-;12209:5;12258:3;12251:4;12243:6;12239:17;12235:27;12225:122;;12266:79;;:::i;:::-;12225:122;12383:6;12370:20;12408:79;12483:3;12475:6;12468:4;12460:6;12456:17;12408:79;:::i;:::-;12399:88;;12215:278;12153:340;;;;:::o;12499:509::-;12568:6;12617:2;12605:9;12596:7;12592:23;12588:32;12585:119;;;12623:79;;:::i;:::-;12585:119;12771:1;12760:9;12756:17;12743:31;12801:18;12793:6;12790:30;12787:117;;;12823:79;;:::i;:::-;12787:117;12928:63;12983:7;12974:6;12963:9;12959:22;12928:63;:::i;:::-;12918:73;;12714:287;12499:509;;;;:::o;13014:180::-;13062:77;13059:1;13052:88;13159:4;13156:1;13149:15;13183:4;13180:1;13173:15;13200:320;13244:6;13281:1;13275:4;13271:12;13261:22;;13328:1;13322:4;13318:12;13349:18;13339:81;;13405:4;13397:6;13393:17;13383:27;;13339:81;13467:2;13459:6;13456:14;13436:18;13433:38;13430:84;;13486:18;;:::i;:::-;13430:84;13251:269;13200:320;;;:::o;13526:442::-;13675:4;13713:2;13702:9;13698:18;13690:26;;13726:71;13794:1;13783:9;13779:17;13770:6;13726:71;:::i;:::-;13807:72;13875:2;13864:9;13860:18;13851:6;13807:72;:::i;:::-;13889;13957:2;13946:9;13942:18;13933:6;13889:72;:::i;:::-;13526:442;;;;;;:::o;13974:234::-;14114:34;14110:1;14102:6;14098:14;14091:58;14183:17;14178:2;14170:6;14166:15;14159:42;13974:234;:::o;14214:366::-;14356:3;14377:67;14441:2;14436:3;14377:67;:::i;:::-;14370:74;;14453:93;14542:3;14453:93;:::i;:::-;14571:2;14566:3;14562:12;14555:19;;14214:366;;;:::o;14586:419::-;14752:4;14790:2;14779:9;14775:18;14767:26;;14839:9;14833:4;14829:20;14825:1;14814:9;14810:17;14803:47;14867:131;14993:4;14867:131;:::i;:::-;14859:139;;14586:419;;;:::o;15011:171::-;15151:23;15147:1;15139:6;15135:14;15128:47;15011:171;:::o;15188:366::-;15330:3;15351:67;15415:2;15410:3;15351:67;:::i;:::-;15344:74;;15427:93;15516:3;15427:93;:::i;:::-;15545:2;15540:3;15536:12;15529:19;;15188:366;;;:::o;15560:419::-;15726:4;15764:2;15753:9;15749:18;15741:26;;15813:9;15807:4;15803:20;15799:1;15788:9;15784:17;15777:47;15841:131;15967:4;15841:131;:::i;:::-;15833:139;;15560:419;;;:::o;15985:180::-;16033:77;16030:1;16023:88;16130:4;16127:1;16120:15;16154:4;16151:1;16144:15;16171:233;16210:3;16233:24;16251:5;16233:24;:::i;:::-;16224:33;;16279:66;16272:5;16269:77;16266:103;;16349:18;;:::i;:::-;16266:103;16396:1;16389:5;16385:13;16378:20;;16171:233;;;:::o;16410:141::-;16459:4;16482:3;16474:11;;16505:3;16502:1;16495:14;16539:4;16536:1;16526:18;16518:26;;16410:141;;;:::o;16557:93::-;16594:6;16641:2;16636;16629:5;16625:14;16621:23;16611:33;;16557:93;;;:::o;16656:107::-;16700:8;16750:5;16744:4;16740:16;16719:37;;16656:107;;;;:::o;16769:393::-;16838:6;16888:1;16876:10;16872:18;16911:97;16941:66;16930:9;16911:97;:::i;:::-;17029:39;17059:8;17048:9;17029:39;:::i;:::-;17017:51;;17101:4;17097:9;17090:5;17086:21;17077:30;;17150:4;17140:8;17136:19;17129:5;17126:30;17116:40;;16845:317;;16769:393;;;;;:::o;17168:60::-;17196:3;17217:5;17210:12;;17168:60;;;:::o;17234:142::-;17284:9;17317:53;17335:34;17344:24;17362:5;17344:24;:::i;:::-;17335:34;:::i;:::-;17317:53;:::i;:::-;17304:66;;17234:142;;;:::o;17382:75::-;17425:3;17446:5;17439:12;;17382:75;;;:::o;17463:269::-;17573:39;17604:7;17573:39;:::i;:::-;17634:91;17683:41;17707:16;17683:41;:::i;:::-;17675:6;17668:4;17662:11;17634:91;:::i;:::-;17628:4;17621:105;17539:193;17463:269;;;:::o;17738:73::-;17783:3;17738:73;:::o;17817:189::-;17894:32;;:::i;:::-;17935:65;17993:6;17985;17979:4;17935:65;:::i;:::-;17870:136;17817:189;;:::o;18012:186::-;18072:120;18089:3;18082:5;18079:14;18072:120;;;18143:39;18180:1;18173:5;18143:39;:::i;:::-;18116:1;18109:5;18105:13;18096:22;;18072:120;;;18012:186;;:::o;18204:543::-;18305:2;18300:3;18297:11;18294:446;;;18339:38;18371:5;18339:38;:::i;:::-;18423:29;18441:10;18423:29;:::i;:::-;18413:8;18409:44;18606:2;18594:10;18591:18;18588:49;;;18627:8;18612:23;;18588:49;18650:80;18706:22;18724:3;18706:22;:::i;:::-;18696:8;18692:37;18679:11;18650:80;:::i;:::-;18309:431;;18294:446;18204:543;;;:::o;18753:117::-;18807:8;18857:5;18851:4;18847:16;18826:37;;18753:117;;;;:::o;18876:169::-;18920:6;18953:51;19001:1;18997:6;18989:5;18986:1;18982:13;18953:51;:::i;:::-;18949:56;19034:4;19028;19024:15;19014:25;;18927:118;18876:169;;;;:::o;19050:295::-;19126:4;19272:29;19297:3;19291:4;19272:29;:::i;:::-;19264:37;;19334:3;19331:1;19327:11;19321:4;19318:21;19310:29;;19050:295;;;;:::o;19350:1395::-;19467:37;19500:3;19467:37;:::i;:::-;19569:18;19561:6;19558:30;19555:56;;;19591:18;;:::i;:::-;19555:56;19635:38;19667:4;19661:11;19635:38;:::i;:::-;19720:67;19780:6;19772;19766:4;19720:67;:::i;:::-;19814:1;19838:4;19825:17;;19870:2;19862:6;19859:14;19887:1;19882:618;;;;20544:1;20561:6;20558:77;;;20610:9;20605:3;20601:19;20595:26;20586:35;;20558:77;20661:67;20721:6;20714:5;20661:67;:::i;:::-;20655:4;20648:81;20517:222;19852:887;;19882:618;19934:4;19930:9;19922:6;19918:22;19968:37;20000:4;19968:37;:::i;:::-;20027:1;20041:208;20055:7;20052:1;20049:14;20041:208;;;20134:9;20129:3;20125:19;20119:26;20111:6;20104:42;20185:1;20177:6;20173:14;20163:24;;20232:2;20221:9;20217:18;20204:31;;20078:4;20075:1;20071:12;20066:17;;20041:208;;;20277:6;20268:7;20265:19;20262:179;;;20335:9;20330:3;20326:19;20320:26;20378:48;20420:4;20412:6;20408:17;20397:9;20378:48;:::i;:::-;20370:6;20363:64;20285:156;20262:179;20487:1;20483;20475:6;20471:14;20467:22;20461:4;20454:36;19889:611;;;19852:887;;19442:1303;;;19350:1395;;:::o;20751:98::-;20802:6;20836:5;20830:12;20820:22;;20751:98;;;:::o;20855:168::-;20938:11;20972:6;20967:3;20960:19;21012:4;21007:3;21003:14;20988:29;;20855:168;;;;:::o;21029:373::-;21115:3;21143:38;21175:5;21143:38;:::i;:::-;21197:70;21260:6;21255:3;21197:70;:::i;:::-;21190:77;;21276:65;21334:6;21329:3;21322:4;21315:5;21311:16;21276:65;:::i;:::-;21366:29;21388:6;21366:29;:::i;:::-;21361:3;21357:39;21350:46;;21119:283;21029:373;;;;:::o;21408:640::-;21603:4;21641:3;21630:9;21626:19;21618:27;;21655:71;21723:1;21712:9;21708:17;21699:6;21655:71;:::i;:::-;21736:72;21804:2;21793:9;21789:18;21780:6;21736:72;:::i;:::-;21818;21886:2;21875:9;21871:18;21862:6;21818:72;:::i;:::-;21937:9;21931:4;21927:20;21922:2;21911:9;21907:18;21900:48;21965:76;22036:4;22027:6;21965:76;:::i;:::-;21957:84;;21408:640;;;;;;;:::o;22054:141::-;22110:5;22141:6;22135:13;22126:22;;22157:32;22183:5;22157:32;:::i;:::-;22054:141;;;;:::o;22201:349::-;22270:6;22319:2;22307:9;22298:7;22294:23;22290:32;22287:119;;;22325:79;;:::i;:::-;22287:119;22445:1;22470:63;22525:7;22516:6;22505:9;22501:22;22470:63;:::i;:::-;22460:73;;22416:127;22201:349;;;;:::o;22556:332::-;22677:4;22715:2;22704:9;22700:18;22692:26;;22728:71;22796:1;22785:9;22781:17;22772:6;22728:71;:::i;:::-;22809:72;22877:2;22866:9;22862:18;22853:6;22809:72;:::i;:::-;22556:332;;;;;:::o

ipfs://3884cbb8bcb33c6b1ec0cb98f340811f1f4f4aa66d7b3052817e198f6defa6f4