{"sources":{"Witchibo.sol":{"content":"// SPDX-License-Identifier: MIT\npragma solidity 0.8.24;\n\n// File: @openzeppelin/contracts/utils/introspection/IERC165.sol\n// OpenZeppelin Contracts (last updated v5.0.0) (utils/introspection/IERC165.sol)\n\n\n/**\n * @dev Interface of the ERC165 standard, as defined in the\n * https://eips.ethereum.org/EIPS/eip-165[EIP].\n *\n * Implementers can declare support of contract interfaces, which can then be\n * queried by others ({ERC165Checker}).\n *\n * For an implementation, see {ERC165}.\n */\ninterface IERC165 {\n    /**\n     * @dev Returns true if this contract implements the interface defined by\n     * `interfaceId`. See the corresponding\n     * https://eips.ethereum.org/EIPS/eip-165#how-interfaces-are-identified[EIP section]\n     * to learn more about how these ids are created.\n     *\n     * This function call must use less than 30 000 gas.\n     */\n    function supportsInterface(bytes4 interfaceId) external view returns (bool);\n}\n\n// File: @openzeppelin/contracts/token/ERC721/IERC721.sol\n// OpenZeppelin Contracts (last updated v5.0.0) (token/ERC721/IERC721.sol)\n\n\n\n/**\n * @dev Required interface of an ERC721 compliant contract.\n */\ninterface IERC721 is IERC165 {\n    /**\n     * @dev Emitted when `tokenId` token is transferred from `from` to `to`.\n     */\n    event Transfer(address indexed from, address indexed to, uint256 indexed tokenId);\n\n    /**\n     * @dev Emitted when `owner` enables `approved` to manage the `tokenId` token.\n     */\n    event Approval(address indexed owner, address indexed approved, uint256 indexed tokenId);\n\n    /**\n     * @dev Emitted when `owner` enables or disables (`approved`) `operator` to manage all of its assets.\n     */\n    event ApprovalForAll(address indexed owner, address indexed operator, bool approved);\n\n    /**\n     * @dev Returns the number of tokens in ``owner``'s account.\n     */\n    function balanceOf(address owner) external view returns (uint256 balance);\n\n    /**\n     * @dev Returns the owner of the `tokenId` token.\n     *\n     * Requirements:\n     *\n     * - `tokenId` must exist.\n     */\n    function ownerOf(uint256 tokenId) external view returns (address owner);\n\n    /**\n     * @dev Safely transfers `tokenId` token from `from` to `to`.\n     *\n     * Requirements:\n     *\n     * - `from` cannot be the zero address.\n     * - `to` cannot be the zero address.\n     * - `tokenId` token must exist and be owned by `from`.\n     * - If the caller is not `from`, it must be approved to move this token by either {approve} or {setApprovalForAll}.\n     * - If `to` refers to a smart contract, it must implement {IERC721Receiver-onERC721Received}, which is called upon\n     *   a safe transfer.\n     *\n     * Emits a {Transfer} event.\n     */\n    function safeTransferFrom(address from, address to, uint256 tokenId, bytes calldata data) external;\n\n    /**\n     * @dev Safely transfers `tokenId` token from `from` to `to`, checking first that contract recipients\n     * are aware of the ERC721 protocol to prevent tokens from being forever locked.\n     *\n     * Requirements:\n     *\n     * - `from` cannot be the zero address.\n     * - `to` cannot be the zero address.\n     * - `tokenId` token must exist and be owned by `from`.\n     * - If the caller is not `from`, it must have been allowed to move this token by either {approve} or\n     *   {setApprovalForAll}.\n     * - If `to` refers to a smart contract, it must implement {IERC721Receiver-onERC721Received}, which is called upon\n     *   a safe transfer.\n     *\n     * Emits a {Transfer} event.\n     */\n    function safeTransferFrom(address from, address to, uint256 tokenId) external;\n\n    /**\n     * @dev Transfers `tokenId` token from `from` to `to`.\n     *\n     * WARNING: Note that the caller is responsible to confirm that the recipient is capable of receiving ERC721\n     * or else they may be permanently lost. Usage of {safeTransferFrom} prevents loss, though the caller must\n     * understand this adds an external call which potentially creates a reentrancy vulnerability.\n     *\n     * Requirements:\n     *\n     * - `from` cannot be the zero address.\n     * - `to` cannot be the zero address.\n     * - `tokenId` token must be owned by `from`.\n     * - If the caller is not `from`, it must be approved to move this token by either {approve} or {setApprovalForAll}.\n     *\n     * Emits a {Transfer} event.\n     */\n    function transferFrom(address from, address to, uint256 tokenId) external;\n\n    /**\n     * @dev Gives permission to `to` to transfer `tokenId` token to another account.\n     * The approval is cleared when the token is transferred.\n     *\n     * Only a single account can be approved at a time, so approving the zero address clears previous approvals.\n     *\n     * Requirements:\n     *\n     * - The caller must own the token or be an approved operator.\n     * - `tokenId` must exist.\n     *\n     * Emits an {Approval} event.\n     */\n    function approve(address to, uint256 tokenId) external;\n\n    /**\n     * @dev Approve or remove `operator` as an operator for the caller.\n     * Operators can call {transferFrom} or {safeTransferFrom} for any token owned by the caller.\n     *\n     * Requirements:\n     *\n     * - The `operator` cannot be the address zero.\n     *\n     * Emits an {ApprovalForAll} event.\n     */\n    function setApprovalForAll(address operator, bool approved) external;\n\n    /**\n     * @dev Returns the account approved for `tokenId` token.\n     *\n     * Requirements:\n     *\n     * - `tokenId` must exist.\n     */\n    function getApproved(uint256 tokenId) external view returns (address operator);\n\n    /**\n     * @dev Returns if the `operator` is allowed to manage all of the assets of `owner`.\n     *\n     * See {setApprovalForAll}\n     */\n    function isApprovedForAll(address owner, address operator) external view returns (bool);\n}\n\n// File: @openzeppelin/contracts/token/ERC721/IERC721Receiver.sol\n// OpenZeppelin Contracts (last updated v5.0.0) (token/ERC721/IERC721Receiver.sol)\n\n\n/**\n * @title ERC721 token receiver interface\n * @dev Interface for any contract that wants to support safeTransfers\n * from ERC721 asset contracts.\n */\ninterface IERC721Receiver {\n    /**\n     * @dev Whenever an {IERC721} `tokenId` token is transferred to this contract via {IERC721-safeTransferFrom}\n     * by `operator` from `from`, this function is called.\n     *\n     * It must return its Solidity selector to confirm the token transfer.\n     * If any other value is returned or the interface is not implemented by the recipient, the transfer will be\n     * reverted.\n     *\n     * The selector can be obtained in Solidity with `IERC721Receiver.onERC721Received.selector`.\n     */\n    function onERC721Received(\n        address operator,\n        address from,\n        uint256 tokenId,\n        bytes calldata data\n    ) external returns (bytes4);\n}\n\n// File: @openzeppelin/contracts/token/ERC721/extensions/IERC721Metadata.sol\n// OpenZeppelin Contracts (last updated v5.0.0) (token/ERC721/extensions/IERC721Metadata.sol)\n\n\n\n/**\n * @title ERC-721 Non-Fungible Token Standard, optional metadata extension\n * @dev See https://eips.ethereum.org/EIPS/eip-721\n */\ninterface IERC721Metadata is IERC721 {\n    /**\n     * @dev Returns the token collection name.\n     */\n    function name() external view returns (string memory);\n\n    /**\n     * @dev Returns the token collection symbol.\n     */\n    function symbol() external view returns (string memory);\n\n    /**\n     * @dev Returns the Uniform Resource Identifier (URI) for `tokenId` token.\n     */\n    function tokenURI(uint256 tokenId) external view returns (string memory);\n}\n\n// File: @openzeppelin/contracts/utils/Context.sol\n// OpenZeppelin Contracts (last updated v5.0.1) (utils/Context.sol)\n\n\n/**\n * @dev Provides information about the current execution context, including the\n * sender of the transaction and its data. While these are generally available\n * via msg.sender and msg.data, they should not be accessed in such a direct\n * manner, since when dealing with meta-transactions the account sending and\n * paying for execution may not be the actual sender (as far as an application\n * is concerned).\n *\n * This contract is only required for intermediate, library-like contracts.\n */\nabstract contract Context {\n    function _msgSender() internal view virtual returns (address) {\n        return msg.sender;\n    }\n\n    function _msgData() internal view virtual returns (bytes calldata) {\n        return msg.data;\n    }\n\n    function _contextSuffixLength() internal view virtual returns (uint256) {\n        return 0;\n    }\n}\n\n// File: @openzeppelin/contracts/utils/math/Math.sol\n// OpenZeppelin Contracts (last updated v5.0.0) (utils/math/Math.sol)\n\n\n/**\n * @dev Standard math utilities missing in the Solidity language.\n */\nlibrary Math {\n    /**\n     * @dev Muldiv operation overflow.\n     */\n    error MathOverflowedMulDiv();\n\n    enum Rounding {\n        Floor, // Toward negative infinity\n        Ceil, // Toward positive infinity\n        Trunc, // Toward zero\n        Expand // Away from zero\n    }\n\n    /**\n     * @dev Returns the addition of two unsigned integers, with an overflow flag.\n     */\n    function tryAdd(uint256 a, uint256 b) internal pure returns (bool, uint256) {\n        unchecked {\n            uint256 c = a + b;\n            if (c < a) return (false, 0);\n            return (true, c);\n        }\n    }\n\n    /**\n     * @dev Returns the subtraction of two unsigned integers, with an overflow flag.\n     */\n    function trySub(uint256 a, uint256 b) internal pure returns (bool, uint256) {\n        unchecked {\n            if (b > a) return (false, 0);\n            return (true, a - b);\n        }\n    }\n\n    /**\n     * @dev Returns the multiplication of two unsigned integers, with an overflow flag.\n     */\n    function tryMul(uint256 a, uint256 b) internal pure returns (bool, uint256) {\n        unchecked {\n            // Gas optimization: this is cheaper than requiring 'a' not being zero, but the\n            // benefit is lost if 'b' is also tested.\n            // See: https://github.com/OpenZeppelin/openzeppelin-contracts/pull/522\n            if (a == 0) return (true, 0);\n            uint256 c = a * b;\n            if (c / a != b) return (false, 0);\n            return (true, c);\n        }\n    }\n\n    /**\n     * @dev Returns the division of two unsigned integers, with a division by zero flag.\n     */\n    function tryDiv(uint256 a, uint256 b) internal pure returns (bool, uint256) {\n        unchecked {\n            if (b == 0) return (false, 0);\n            return (true, a / b);\n        }\n    }\n\n    /**\n     * @dev Returns the remainder of dividing two unsigned integers, with a division by zero flag.\n     */\n    function tryMod(uint256 a, uint256 b) internal pure returns (bool, uint256) {\n        unchecked {\n            if (b == 0) return (false, 0);\n            return (true, a % b);\n        }\n    }\n\n    /**\n     * @dev Returns the largest of two numbers.\n     */\n    function max(uint256 a, uint256 b) internal pure returns (uint256) {\n        return a > b ? a : b;\n    }\n\n    /**\n     * @dev Returns the smallest of two numbers.\n     */\n    function min(uint256 a, uint256 b) internal pure returns (uint256) {\n        return a < b ? a : b;\n    }\n\n    /**\n     * @dev Returns the average of two numbers. The result is rounded towards\n     * zero.\n     */\n    function average(uint256 a, uint256 b) internal pure returns (uint256) {\n        // (a + b) / 2 can overflow.\n        return (a & b) + (a ^ b) / 2;\n    }\n\n    /**\n     * @dev Returns the ceiling of the division of two numbers.\n     *\n     * This differs from standard division with `/` in that it rounds towards infinity instead\n     * of rounding towards zero.\n     */\n    function ceilDiv(uint256 a, uint256 b) internal pure returns (uint256) {\n        if (b == 0) {\n            // Guarantee the same behavior as in a regular Solidity division.\n            return a / b;\n        }\n\n        // (a + b - 1) / b can overflow on addition, so we distribute.\n        return a == 0 ? 0 : (a - 1) / b + 1;\n    }\n\n    /**\n     * @notice Calculates floor(x * y / denominator) with full precision. Throws if result overflows a uint256 or\n     * denominator == 0.\n     * @dev Original credit to Remco Bloemen under MIT license (https://xn--2-umb.com/21/muldiv) with further edits by\n     * Uniswap Labs also under MIT license.\n     */\n    function mulDiv(uint256 x, uint256 y, uint256 denominator) internal pure returns (uint256 result) {\n        unchecked {\n            // 512-bit multiply [prod1 prod0] = x * y. Compute the product mod 2^256 and mod 2^256 - 1, then use\n            // use the Chinese Remainder Theorem to reconstruct the 512 bit result. The result is stored in two 256\n            // variables such that product = prod1 * 2^256 + prod0.\n            uint256 prod0 = x * y; // Least significant 256 bits of the product\n            uint256 prod1; // Most significant 256 bits of the product\n            assembly {\n                let mm := mulmod(x, y, not(0))\n                prod1 := sub(sub(mm, prod0), lt(mm, prod0))\n            }\n\n            // Handle non-overflow cases, 256 by 256 division.\n            if (prod1 == 0) {\n                // Solidity will revert if denominator == 0, unlike the div opcode on its own.\n                // The surrounding unchecked block does not change this fact.\n                // See https://docs.soliditylang.org/en/latest/control-structures.html#checked-or-unchecked-arithmetic.\n                return prod0 / denominator;\n            }\n\n            // Make sure the result is less than 2^256. Also prevents denominator == 0.\n            if (denominator <= prod1) {\n                revert MathOverflowedMulDiv();\n            }\n\n            ///////////////////////////////////////////////\n            // 512 by 256 division.\n            ///////////////////////////////////////////////\n\n            // Make division exact by subtracting the remainder from [prod1 prod0].\n            uint256 remainder;\n            assembly {\n                // Compute remainder using mulmod.\n                remainder := mulmod(x, y, denominator)\n\n                // Subtract 256 bit number from 512 bit number.\n                prod1 := sub(prod1, gt(remainder, prod0))\n                prod0 := sub(prod0, remainder)\n            }\n\n            // Factor powers of two out of denominator and compute largest power of two divisor of denominator.\n            // Always >= 1. See https://cs.stackexchange.com/q/138556/92363.\n\n            uint256 twos = denominator & (0 - denominator);\n            assembly {\n                // Divide denominator by twos.\n                denominator := div(denominator, twos)\n\n                // Divide [prod1 prod0] by twos.\n                prod0 := div(prod0, twos)\n\n                // Flip twos such that it is 2^256 / twos. If twos is zero, then it becomes one.\n                twos := add(div(sub(0, twos), twos), 1)\n            }\n\n            // Shift in bits from prod1 into prod0.\n            prod0 |= prod1 * twos;\n\n            // Invert denominator mod 2^256. Now that denominator is an odd number, it has an inverse modulo 2^256 such\n            // that denominator * inv = 1 mod 2^256. Compute the inverse by starting with a seed that is correct for\n            // four bits. That is, denominator * inv = 1 mod 2^4.\n            uint256 inverse = (3 * denominator) ^ 2;\n\n            // Use the Newton-Raphson iteration to improve the precision. Thanks to Hensel's lifting lemma, this also\n            // works in modular arithmetic, doubling the correct bits in each step.\n            inverse *= 2 - denominator * inverse; // inverse mod 2^8\n            inverse *= 2 - denominator * inverse; // inverse mod 2^16\n            inverse *= 2 - denominator * inverse; // inverse mod 2^32\n            inverse *= 2 - denominator * inverse; // inverse mod 2^64\n            inverse *= 2 - denominator * inverse; // inverse mod 2^128\n            inverse *= 2 - denominator * inverse; // inverse mod 2^256\n\n            // Because the division is now exact we can divide by multiplying with the modular inverse of denominator.\n            // This will give us the correct result modulo 2^256. Since the preconditions guarantee that the outcome is\n            // less than 2^256, this is the final result. We don't need to compute the high bits of the result and prod1\n            // is no longer required.\n            result = prod0 * inverse;\n            return result;\n        }\n    }\n\n    /**\n     * @notice Calculates x * y / denominator with full precision, following the selected rounding direction.\n     */\n    function mulDiv(uint256 x, uint256 y, uint256 denominator, Rounding rounding) internal pure returns (uint256) {\n        uint256 result = mulDiv(x, y, denominator);\n        if (unsignedRoundsUp(rounding) && mulmod(x, y, denominator) > 0) {\n            result += 1;\n        }\n        return result;\n    }\n\n    /**\n     * @dev Returns the square root of a number. If the number is not a perfect square, the value is rounded\n     * towards zero.\n     *\n     * Inspired by Henry S. Warren, Jr.'s \"Hacker's Delight\" (Chapter 11).\n     */\n    function sqrt(uint256 a) internal pure returns (uint256) {\n        if (a == 0) {\n            return 0;\n        }\n\n        // For our first guess, we get the biggest power of 2 which is smaller than the square root of the target.\n        //\n        // We know that the \"msb\" (most significant bit) of our target number `a` is a power of 2 such that we have\n        // `msb(a) <= a < 2*msb(a)`. This value can be written `msb(a)=2**k` with `k=log2(a)`.\n        //\n        // This can be rewritten `2**log2(a) <= a < 2**(log2(a) + 1)`\n        // → `sqrt(2**k) <= sqrt(a) < sqrt(2**(k+1))`\n        // → `2**(k/2) <= sqrt(a) < 2**((k+1)/2) <= 2**(k/2 + 1)`\n        //\n        // Consequently, `2**(log2(a) / 2)` is a good first approximation of `sqrt(a)` with at least 1 correct bit.\n        uint256 result = 1 << (log2(a) >> 1);\n\n        // At this point `result` is an estimation with one bit of precision. We know the true value is a uint128,\n        // since it is the square root of a uint256. Newton's method converges quadratically (precision doubles at\n        // every iteration). We thus need at most 7 iteration to turn our partial result with one bit of precision\n        // into the expected uint128 result.\n        unchecked {\n            result = (result + a / result) >> 1;\n            result = (result + a / result) >> 1;\n            result = (result + a / result) >> 1;\n            result = (result + a / result) >> 1;\n            result = (result + a / result) >> 1;\n            result = (result + a / result) >> 1;\n            result = (result + a / result) >> 1;\n            return min(result, a / result);\n        }\n    }\n\n    /**\n     * @notice Calculates sqrt(a), following the selected rounding direction.\n     */\n    function sqrt(uint256 a, Rounding rounding) internal pure returns (uint256) {\n        unchecked {\n            uint256 result = sqrt(a);\n            return result + (unsignedRoundsUp(rounding) && result * result < a ? 1 : 0);\n        }\n    }\n\n    /**\n     * @dev Return the log in base 2 of a positive value rounded towards zero.\n     * Returns 0 if given 0.\n     */\n    function log2(uint256 value) internal pure returns (uint256) {\n        uint256 result = 0;\n        unchecked {\n            if (value >> 128 > 0) {\n                value >>= 128;\n                result += 128;\n            }\n            if (value >> 64 > 0) {\n                value >>= 64;\n                result += 64;\n            }\n            if (value >> 32 > 0) {\n                value >>= 32;\n                result += 32;\n            }\n            if (value >> 16 > 0) {\n                value >>= 16;\n                result += 16;\n            }\n            if (value >> 8 > 0) {\n                value >>= 8;\n                result += 8;\n            }\n            if (value >> 4 > 0) {\n                value >>= 4;\n                result += 4;\n            }\n            if (value >> 2 > 0) {\n                value >>= 2;\n                result += 2;\n            }\n            if (value >> 1 > 0) {\n                result += 1;\n            }\n        }\n        return result;\n    }\n\n    /**\n     * @dev Return the log in base 2, following the selected rounding direction, of a positive value.\n     * Returns 0 if given 0.\n     */\n    function log2(uint256 value, Rounding rounding) internal pure returns (uint256) {\n        unchecked {\n            uint256 result = log2(value);\n            return result + (unsignedRoundsUp(rounding) && 1 << result < value ? 1 : 0);\n        }\n    }\n\n    /**\n     * @dev Return the log in base 10 of a positive value rounded towards zero.\n     * Returns 0 if given 0.\n     */\n    function log10(uint256 value) internal pure returns (uint256) {\n        uint256 result = 0;\n        unchecked {\n            if (value >= 10 ** 64) {\n                value /= 10 ** 64;\n                result += 64;\n            }\n            if (value >= 10 ** 32) {\n                value /= 10 ** 32;\n                result += 32;\n            }\n            if (value >= 10 ** 16) {\n                value /= 10 ** 16;\n                result += 16;\n            }\n            if (value >= 10 ** 8) {\n                value /= 10 ** 8;\n                result += 8;\n            }\n            if (value >= 10 ** 4) {\n                value /= 10 ** 4;\n                result += 4;\n            }\n            if (value >= 10 ** 2) {\n                value /= 10 ** 2;\n                result += 2;\n            }\n            if (value >= 10 ** 1) {\n                result += 1;\n            }\n        }\n        return result;\n    }\n\n    /**\n     * @dev Return the log in base 10, following the selected rounding direction, of a positive value.\n     * Returns 0 if given 0.\n     */\n    function log10(uint256 value, Rounding rounding) internal pure returns (uint256) {\n        unchecked {\n            uint256 result = log10(value);\n            return result + (unsignedRoundsUp(rounding) && 10 ** result < value ? 1 : 0);\n        }\n    }\n\n    /**\n     * @dev Return the log in base 256 of a positive value rounded towards zero.\n     * Returns 0 if given 0.\n     *\n     * Adding one to the result gives the number of pairs of hex symbols needed to represent `value` as a hex string.\n     */\n    function log256(uint256 value) internal pure returns (uint256) {\n        uint256 result = 0;\n        unchecked {\n            if (value >> 128 > 0) {\n                value >>= 128;\n                result += 16;\n            }\n            if (value >> 64 > 0) {\n                value >>= 64;\n                result += 8;\n            }\n            if (value >> 32 > 0) {\n                value >>= 32;\n                result += 4;\n            }\n            if (value >> 16 > 0) {\n                value >>= 16;\n                result += 2;\n            }\n            if (value >> 8 > 0) {\n                result += 1;\n            }\n        }\n        return result;\n    }\n\n    /**\n     * @dev Return the log in base 256, following the selected rounding direction, of a positive value.\n     * Returns 0 if given 0.\n     */\n    function log256(uint256 value, Rounding rounding) internal pure returns (uint256) {\n        unchecked {\n            uint256 result = log256(value);\n            return result + (unsignedRoundsUp(rounding) && 1 << (result << 3) < value ? 1 : 0);\n        }\n    }\n\n    /**\n     * @dev Returns whether a provided rounding mode is considered rounding up for unsigned integers.\n     */\n    function unsignedRoundsUp(Rounding rounding) internal pure returns (bool) {\n        return uint8(rounding) % 2 == 1;\n    }\n}\n\n// File: @openzeppelin/contracts/utils/math/SignedMath.sol\n// OpenZeppelin Contracts (last updated v5.0.0) (utils/math/SignedMath.sol)\n\n\n/**\n * @dev Standard signed math utilities missing in the Solidity language.\n */\nlibrary SignedMath {\n    /**\n     * @dev Returns the largest of two signed numbers.\n     */\n    function max(int256 a, int256 b) internal pure returns (int256) {\n        return a > b ? a : b;\n    }\n\n    /**\n     * @dev Returns the smallest of two signed numbers.\n     */\n    function min(int256 a, int256 b) internal pure returns (int256) {\n        return a < b ? a : b;\n    }\n\n    /**\n     * @dev Returns the average of two signed numbers without overflow.\n     * The result is rounded towards zero.\n     */\n    function average(int256 a, int256 b) internal pure returns (int256) {\n        // Formula from the book \"Hacker's Delight\"\n        int256 x = (a & b) + ((a ^ b) >> 1);\n        return x + (int256(uint256(x) >> 255) & (a ^ b));\n    }\n\n    /**\n     * @dev Returns the absolute unsigned value of a signed value.\n     */\n    function abs(int256 n) internal pure returns (uint256) {\n        unchecked {\n            // must be unchecked in order to support `n = type(int256).min`\n            return uint256(n >= 0 ? n : -n);\n        }\n    }\n}\n\n// File: @openzeppelin/contracts/utils/Strings.sol\n// OpenZeppelin Contracts (last updated v5.0.0) (utils/Strings.sol)\n\n\n\n/**\n * @dev String operations.\n */\nlibrary Strings {\n    bytes16 private constant HEX_DIGITS = \"0123456789abcdef\";\n    uint8 private constant ADDRESS_LENGTH = 20;\n\n    /**\n     * @dev The `value` string doesn't fit in the specified `length`.\n     */\n    error StringsInsufficientHexLength(uint256 value, uint256 length);\n\n    /**\n     * @dev Converts a `uint256` to its ASCII `string` decimal representation.\n     */\n    function toString(uint256 value) internal pure returns (string memory) {\n        unchecked {\n            uint256 length = Math.log10(value) + 1;\n            string memory buffer = new string(length);\n            uint256 ptr;\n            /// @solidity memory-safe-assembly\n            assembly {\n                ptr := add(buffer, add(32, length))\n            }\n            while (true) {\n                ptr--;\n                /// @solidity memory-safe-assembly\n                assembly {\n                    mstore8(ptr, byte(mod(value, 10), HEX_DIGITS))\n                }\n                value /= 10;\n                if (value == 0) break;\n            }\n            return buffer;\n        }\n    }\n\n    /**\n     * @dev Converts a `int256` to its ASCII `string` decimal representation.\n     */\n    function toStringSigned(int256 value) internal pure returns (string memory) {\n        return string.concat(value < 0 ? \"-\" : \"\", toString(SignedMath.abs(value)));\n    }\n\n    /**\n     * @dev Converts a `uint256` to its ASCII `string` hexadecimal representation.\n     */\n    function toHexString(uint256 value) internal pure returns (string memory) {\n        unchecked {\n            return toHexString(value, Math.log256(value) + 1);\n        }\n    }\n\n    /**\n     * @dev Converts a `uint256` to its ASCII `string` hexadecimal representation with fixed length.\n     */\n    function toHexString(uint256 value, uint256 length) internal pure returns (string memory) {\n        uint256 localValue = value;\n        bytes memory buffer = new bytes(2 * length + 2);\n        buffer[0] = \"0\";\n        buffer[1] = \"x\";\n        for (uint256 i = 2 * length + 1; i > 1; --i) {\n            buffer[i] = HEX_DIGITS[localValue & 0xf];\n            localValue >>= 4;\n        }\n        if (localValue != 0) {\n            revert StringsInsufficientHexLength(value, length);\n        }\n        return string(buffer);\n    }\n\n    /**\n     * @dev Converts an `address` with fixed length of 20 bytes to its not checksummed ASCII `string` hexadecimal\n     * representation.\n     */\n    function toHexString(address addr) internal pure returns (string memory) {\n        return toHexString(uint256(uint160(addr)), ADDRESS_LENGTH);\n    }\n\n    /**\n     * @dev Returns true if the two strings are equal.\n     */\n    function equal(string memory a, string memory b) internal pure returns (bool) {\n        return bytes(a).length == bytes(b).length && keccak256(bytes(a)) == keccak256(bytes(b));\n    }\n}\n\n// File: @openzeppelin/contracts/utils/introspection/ERC165.sol\n// OpenZeppelin Contracts (last updated v5.0.0) (utils/introspection/ERC165.sol)\n\n\n\n/**\n * @dev Implementation of the {IERC165} interface.\n *\n * Contracts that want to implement ERC165 should inherit from this contract and override {supportsInterface} to check\n * for the additional interface id that will be supported. For example:\n *\n * ```solidity\n * function supportsInterface(bytes4 interfaceId) public view virtual override returns (bool) {\n *     return interfaceId == type(MyInterface).interfaceId || super.supportsInterface(interfaceId);\n * }\n * ```\n */\nabstract contract ERC165 is IERC165 {\n    /**\n     * @dev See {IERC165-supportsInterface}.\n     */\n    function supportsInterface(bytes4 interfaceId) public view virtual returns (bool) {\n        return interfaceId == type(IERC165).interfaceId;\n    }\n}\n\n// File: @openzeppelin/contracts/interfaces/draft-IERC6093.sol\n// OpenZeppelin Contracts (last updated v5.0.0) (interfaces/draft-IERC6093.sol)\n\n/**\n * @dev Standard ERC20 Errors\n * Interface of the https://eips.ethereum.org/EIPS/eip-6093[ERC-6093] custom errors for ERC20 tokens.\n */\ninterface IERC20Errors {\n    /**\n     * @dev Indicates an error related to the current `balance` of a `sender`. Used in transfers.\n     * @param sender Address whose tokens are being transferred.\n     * @param balance Current balance for the interacting account.\n     * @param needed Minimum amount required to perform a transfer.\n     */\n    error ERC20InsufficientBalance(address sender, uint256 balance, uint256 needed);\n\n    /**\n     * @dev Indicates a failure with the token `sender`. Used in transfers.\n     * @param sender Address whose tokens are being transferred.\n     */\n    error ERC20InvalidSender(address sender);\n\n    /**\n     * @dev Indicates a failure with the token `receiver`. Used in transfers.\n     * @param receiver Address to which tokens are being transferred.\n     */\n    error ERC20InvalidReceiver(address receiver);\n\n    /**\n     * @dev Indicates a failure with the `spender`’s `allowance`. Used in transfers.\n     * @param spender Address that may be allowed to operate on tokens without being their owner.\n     * @param allowance Amount of tokens a `spender` is allowed to operate with.\n     * @param needed Minimum amount required to perform a transfer.\n     */\n    error ERC20InsufficientAllowance(address spender, uint256 allowance, uint256 needed);\n\n    /**\n     * @dev Indicates a failure with the `approver` of a token to be approved. Used in approvals.\n     * @param approver Address initiating an approval operation.\n     */\n    error ERC20InvalidApprover(address approver);\n\n    /**\n     * @dev Indicates a failure with the `spender` to be approved. Used in approvals.\n     * @param spender Address that may be allowed to operate on tokens without being their owner.\n     */\n    error ERC20InvalidSpender(address spender);\n}\n\n/**\n * @dev Standard ERC721 Errors\n * Interface of the https://eips.ethereum.org/EIPS/eip-6093[ERC-6093] custom errors for ERC721 tokens.\n */\ninterface IERC721Errors {\n    /**\n     * @dev Indicates that an address can't be an owner. For example, `address(0)` is a forbidden owner in EIP-20.\n     * Used in balance queries.\n     * @param owner Address of the current owner of a token.\n     */\n    error ERC721InvalidOwner(address owner);\n\n    /**\n     * @dev Indicates a `tokenId` whose `owner` is the zero address.\n     * @param tokenId Identifier number of a token.\n     */\n    error ERC721NonexistentToken(uint256 tokenId);\n\n    /**\n     * @dev Indicates an error related to the ownership over a particular token. Used in transfers.\n     * @param sender Address whose tokens are being transferred.\n     * @param tokenId Identifier number of a token.\n     * @param owner Address of the current owner of a token.\n     */\n    error ERC721IncorrectOwner(address sender, uint256 tokenId, address owner);\n\n    /**\n     * @dev Indicates a failure with the token `sender`. Used in transfers.\n     * @param sender Address whose tokens are being transferred.\n     */\n    error ERC721InvalidSender(address sender);\n\n    /**\n     * @dev Indicates a failure with the token `receiver`. Used in transfers.\n     * @param receiver Address to which tokens are being transferred.\n     */\n    error ERC721InvalidReceiver(address receiver);\n\n    /**\n     * @dev Indicates a failure with the `operator`’s approval. Used in transfers.\n     * @param operator Address that may be allowed to operate on tokens without being their owner.\n     * @param tokenId Identifier number of a token.\n     */\n    error ERC721InsufficientApproval(address operator, uint256 tokenId);\n\n    /**\n     * @dev Indicates a failure with the `approver` of a token to be approved. Used in approvals.\n     * @param approver Address initiating an approval operation.\n     */\n    error ERC721InvalidApprover(address approver);\n\n    /**\n     * @dev Indicates a failure with the `operator` to be approved. Used in approvals.\n     * @param operator Address that may be allowed to operate on tokens without being their owner.\n     */\n    error ERC721InvalidOperator(address operator);\n}\n\n/**\n * @dev Standard ERC1155 Errors\n * Interface of the https://eips.ethereum.org/EIPS/eip-6093[ERC-6093] custom errors for ERC1155 tokens.\n */\ninterface IERC1155Errors {\n    /**\n     * @dev Indicates an error related to the current `balance` of a `sender`. Used in transfers.\n     * @param sender Address whose tokens are being transferred.\n     * @param balance Current balance for the interacting account.\n     * @param needed Minimum amount required to perform a transfer.\n     * @param tokenId Identifier number of a token.\n     */\n    error ERC1155InsufficientBalance(address sender, uint256 balance, uint256 needed, uint256 tokenId);\n\n    /**\n     * @dev Indicates a failure with the token `sender`. Used in transfers.\n     * @param sender Address whose tokens are being transferred.\n     */\n    error ERC1155InvalidSender(address sender);\n\n    /**\n     * @dev Indicates a failure with the token `receiver`. Used in transfers.\n     * @param receiver Address to which tokens are being transferred.\n     */\n    error ERC1155InvalidReceiver(address receiver);\n\n    /**\n     * @dev Indicates a failure with the `operator`’s approval. Used in transfers.\n     * @param operator Address that may be allowed to operate on tokens without being their owner.\n     * @param owner Address of the current owner of a token.\n     */\n    error ERC1155MissingApprovalForAll(address operator, address owner);\n\n    /**\n     * @dev Indicates a failure with the `approver` of a token to be approved. Used in approvals.\n     * @param approver Address initiating an approval operation.\n     */\n    error ERC1155InvalidApprover(address approver);\n\n    /**\n     * @dev Indicates a failure with the `operator` to be approved. Used in approvals.\n     * @param operator Address that may be allowed to operate on tokens without being their owner.\n     */\n    error ERC1155InvalidOperator(address operator);\n\n    /**\n     * @dev Indicates an array length mismatch between ids and values in a safeBatchTransferFrom operation.\n     * Used in batch transfers.\n     * @param idsLength Length of the array of token identifiers\n     * @param valuesLength Length of the array of token amounts\n     */\n    error ERC1155InvalidArrayLength(uint256 idsLength, uint256 valuesLength);\n}\n\n// File: @openzeppelin/contracts/token/ERC721/ERC721.sol\n// OpenZeppelin Contracts (last updated v5.0.0) (token/ERC721/ERC721.sol)\n\n\n\n/**\n * @dev Implementation of https://eips.ethereum.org/EIPS/eip-721[ERC721] Non-Fungible Token Standard, including\n * the Metadata extension, but not including the Enumerable extension, which is available separately as\n * {ERC721Enumerable}.\n */\nabstract contract ERC721 is Context, ERC165, IERC721, IERC721Metadata, IERC721Errors {\n    using Strings for uint256;\n\n    // Token name\n    string private _name;\n\n    // Token symbol\n    string private _symbol;\n\n    mapping(uint256 tokenId => address) private _owners;\n\n    mapping(address owner => uint256) private _balances;\n\n    mapping(uint256 tokenId => address) private _tokenApprovals;\n\n    mapping(address owner => mapping(address operator => bool)) private _operatorApprovals;\n\n    /**\n     * @dev Initializes the contract by setting a `name` and a `symbol` to the token collection.\n     */\n    constructor(string memory name_, string memory symbol_) {\n        _name = name_;\n        _symbol = symbol_;\n    }\n\n    /**\n     * @dev See {IERC165-supportsInterface}.\n     */\n    function supportsInterface(bytes4 interfaceId) public view virtual override(ERC165, IERC165) returns (bool) {\n        return\n            interfaceId == type(IERC721).interfaceId ||\n            interfaceId == type(IERC721Metadata).interfaceId ||\n            super.supportsInterface(interfaceId);\n    }\n\n    /**\n     * @dev See {IERC721-balanceOf}.\n     */\n    function balanceOf(address owner) public view virtual returns (uint256) {\n        if (owner == address(0)) {\n            revert ERC721InvalidOwner(address(0));\n        }\n        return _balances[owner];\n    }\n\n    /**\n     * @dev See {IERC721-ownerOf}.\n     */\n    function ownerOf(uint256 tokenId) public view virtual returns (address) {\n        return _requireOwned(tokenId);\n    }\n\n    /**\n     * @dev See {IERC721Metadata-name}.\n     */\n    function name() public view virtual returns (string memory) {\n        return _name;\n    }\n\n    /**\n     * @dev See {IERC721Metadata-symbol}.\n     */\n    function symbol() public view virtual returns (string memory) {\n        return _symbol;\n    }\n\n    /**\n     * @dev See {IERC721Metadata-tokenURI}.\n     */\n    function tokenURI(uint256 tokenId) public view virtual returns (string memory) {\n        _requireOwned(tokenId);\n\n        string memory baseURI = _baseURI();\n        return bytes(baseURI).length > 0 ? string.concat(baseURI, tokenId.toString()) : \"\";\n    }\n\n    /**\n     * @dev Base URI for computing {tokenURI}. If set, the resulting URI for each\n     * token will be the concatenation of the `baseURI` and the `tokenId`. Empty\n     * by default, can be overridden in child contracts.\n     */\n    function _baseURI() internal view virtual returns (string memory) {\n        return \"\";\n    }\n\n    /**\n     * @dev See {IERC721-approve}.\n     */\n    function approve(address to, uint256 tokenId) public virtual {\n        _approve(to, tokenId, _msgSender());\n    }\n\n    /**\n     * @dev See {IERC721-getApproved}.\n     */\n    function getApproved(uint256 tokenId) public view virtual returns (address) {\n        _requireOwned(tokenId);\n\n        return _getApproved(tokenId);\n    }\n\n    /**\n     * @dev See {IERC721-setApprovalForAll}.\n     */\n    function setApprovalForAll(address operator, bool approved) public virtual {\n        _setApprovalForAll(_msgSender(), operator, approved);\n    }\n\n    /**\n     * @dev See {IERC721-isApprovedForAll}.\n     */\n    function isApprovedForAll(address owner, address operator) public view virtual returns (bool) {\n        return _operatorApprovals[owner][operator];\n    }\n\n    /**\n     * @dev See {IERC721-transferFrom}.\n     */\n    function transferFrom(address from, address to, uint256 tokenId) public virtual {\n        if (to == address(0)) {\n            revert ERC721InvalidReceiver(address(0));\n        }\n        // Setting an \"auth\" arguments enables the `_isAuthorized` check which verifies that the token exists\n        // (from != 0). Therefore, it is not needed to verify that the return value is not 0 here.\n        address previousOwner = _update(to, tokenId, _msgSender());\n        if (previousOwner != from) {\n            revert ERC721IncorrectOwner(from, tokenId, previousOwner);\n        }\n    }\n\n    /**\n     * @dev See {IERC721-safeTransferFrom}.\n     */\n    function safeTransferFrom(address from, address to, uint256 tokenId) public {\n        safeTransferFrom(from, to, tokenId, \"\");\n    }\n\n    /**\n     * @dev See {IERC721-safeTransferFrom}.\n     */\n    function safeTransferFrom(address from, address to, uint256 tokenId, bytes memory data) public virtual {\n        transferFrom(from, to, tokenId);\n        _checkOnERC721Received(from, to, tokenId, data);\n    }\n\n    /**\n     * @dev Returns the owner of the `tokenId`. Does NOT revert if token doesn't exist\n     *\n     * IMPORTANT: Any overrides to this function that add ownership of tokens not tracked by the\n     * core ERC721 logic MUST be matched with the use of {_increaseBalance} to keep balances\n     * consistent with ownership. The invariant to preserve is that for any address `a` the value returned by\n     * `balanceOf(a)` must be equal to the number of tokens such that `_ownerOf(tokenId)` is `a`.\n     */\n    function _ownerOf(uint256 tokenId) internal view virtual returns (address) {\n        return _owners[tokenId];\n    }\n\n    /**\n     * @dev Returns the approved address for `tokenId`. Returns 0 if `tokenId` is not minted.\n     */\n    function _getApproved(uint256 tokenId) internal view virtual returns (address) {\n        return _tokenApprovals[tokenId];\n    }\n\n    /**\n     * @dev Returns whether `spender` is allowed to manage `owner`'s tokens, or `tokenId` in\n     * particular (ignoring whether it is owned by `owner`).\n     *\n     * WARNING: This function assumes that `owner` is the actual owner of `tokenId` and does not verify this\n     * assumption.\n     */\n    function _isAuthorized(address owner, address spender, uint256 tokenId) internal view virtual returns (bool) {\n        return\n            spender != address(0) &&\n            (owner == spender || isApprovedForAll(owner, spender) || _getApproved(tokenId) == spender);\n    }\n\n    /**\n     * @dev Checks if `spender` can operate on `tokenId`, assuming the provided `owner` is the actual owner.\n     * Reverts if `spender` does not have approval from the provided `owner` for the given token or for all its assets\n     * the `spender` for the specific `tokenId`.\n     *\n     * WARNING: This function assumes that `owner` is the actual owner of `tokenId` and does not verify this\n     * assumption.\n     */\n    function _checkAuthorized(address owner, address spender, uint256 tokenId) internal view virtual {\n        if (!_isAuthorized(owner, spender, tokenId)) {\n            if (owner == address(0)) {\n                revert ERC721NonexistentToken(tokenId);\n            } else {\n                revert ERC721InsufficientApproval(spender, tokenId);\n            }\n        }\n    }\n\n    /**\n     * @dev Unsafe write access to the balances, used by extensions that \"mint\" tokens using an {ownerOf} override.\n     *\n     * NOTE: the value is limited to type(uint128).max. This protect against _balance overflow. It is unrealistic that\n     * a uint256 would ever overflow from increments when these increments are bounded to uint128 values.\n     *\n     * WARNING: Increasing an account's balance using this function tends to be paired with an override of the\n     * {_ownerOf} function to resolve the ownership of the corresponding tokens so that balances and ownership\n     * remain consistent with one another.\n     */\n    function _increaseBalance(address account, uint128 value) internal virtual {\n        unchecked {\n            _balances[account] += value;\n        }\n    }\n\n    /**\n     * @dev Transfers `tokenId` from its current owner to `to`, or alternatively mints (or burns) if the current owner\n     * (or `to`) is the zero address. Returns the owner of the `tokenId` before the update.\n     *\n     * The `auth` argument is optional. If the value passed is non 0, then this function will check that\n     * `auth` is either the owner of the token, or approved to operate on the token (by the owner).\n     *\n     * Emits a {Transfer} event.\n     *\n     * NOTE: If overriding this function in a way that tracks balances, see also {_increaseBalance}.\n     */\n    function _update(address to, uint256 tokenId, address auth) internal virtual returns (address) {\n        address from = _ownerOf(tokenId);\n\n        // Perform (optional) operator check\n        if (auth != address(0)) {\n            _checkAuthorized(from, auth, tokenId);\n        }\n\n        // Execute the update\n        if (from != address(0)) {\n            // Clear approval. No need to re-authorize or emit the Approval event\n            _approve(address(0), tokenId, address(0), false);\n\n            unchecked {\n                _balances[from] -= 1;\n            }\n        }\n\n        if (to != address(0)) {\n            unchecked {\n                _balances[to] += 1;\n            }\n        }\n\n        _owners[tokenId] = to;\n\n        emit Transfer(from, to, tokenId);\n\n        return from;\n    }\n\n    /**\n     * @dev Mints `tokenId` and transfers it to `to`.\n     *\n     * WARNING: Usage of this method is discouraged, use {_safeMint} whenever possible\n     *\n     * Requirements:\n     *\n     * - `tokenId` must not exist.\n     * - `to` cannot be the zero address.\n     *\n     * Emits a {Transfer} event.\n     */\n    function _mint(address to, uint256 tokenId) internal {\n        if (to == address(0)) {\n            revert ERC721InvalidReceiver(address(0));\n        }\n        address previousOwner = _update(to, tokenId, address(0));\n        if (previousOwner != address(0)) {\n            revert ERC721InvalidSender(address(0));\n        }\n    }\n\n    /**\n     * @dev Mints `tokenId`, transfers it to `to` and checks for `to` acceptance.\n     *\n     * Requirements:\n     *\n     * - `tokenId` must not exist.\n     * - If `to` refers to a smart contract, it must implement {IERC721Receiver-onERC721Received}, which is called upon a safe transfer.\n     *\n     * Emits a {Transfer} event.\n     */\n    function _safeMint(address to, uint256 tokenId) internal {\n        _safeMint(to, tokenId, \"\");\n    }\n\n    /**\n     * @dev Same as {xref-ERC721-_safeMint-address-uint256-}[`_safeMint`], with an additional `data` parameter which is\n     * forwarded in {IERC721Receiver-onERC721Received} to contract recipients.\n     */\n    function _safeMint(address to, uint256 tokenId, bytes memory data) internal virtual {\n        _mint(to, tokenId);\n        _checkOnERC721Received(address(0), to, tokenId, data);\n    }\n\n    /**\n     * @dev Destroys `tokenId`.\n     * The approval is cleared when the token is burned.\n     * This is an internal function that does not check if the sender is authorized to operate on the token.\n     *\n     * Requirements:\n     *\n     * - `tokenId` must exist.\n     *\n     * Emits a {Transfer} event.\n     */\n    function _burn(uint256 tokenId) internal {\n        address previousOwner = _update(address(0), tokenId, address(0));\n        if (previousOwner == address(0)) {\n            revert ERC721NonexistentToken(tokenId);\n        }\n    }\n\n    /**\n     * @dev Transfers `tokenId` from `from` to `to`.\n     *  As opposed to {transferFrom}, this imposes no restrictions on msg.sender.\n     *\n     * Requirements:\n     *\n     * - `to` cannot be the zero address.\n     * - `tokenId` token must be owned by `from`.\n     *\n     * Emits a {Transfer} event.\n     */\n    function _transfer(address from, address to, uint256 tokenId) internal {\n        if (to == address(0)) {\n            revert ERC721InvalidReceiver(address(0));\n        }\n        address previousOwner = _update(to, tokenId, address(0));\n        if (previousOwner == address(0)) {\n            revert ERC721NonexistentToken(tokenId);\n        } else if (previousOwner != from) {\n            revert ERC721IncorrectOwner(from, tokenId, previousOwner);\n        }\n    }\n\n    /**\n     * @dev Safely transfers `tokenId` token from `from` to `to`, checking that contract recipients\n     * are aware of the ERC721 standard to prevent tokens from being forever locked.\n     *\n     * `data` is additional data, it has no specified format and it is sent in call to `to`.\n     *\n     * This internal function is like {safeTransferFrom} in the sense that it invokes\n     * {IERC721Receiver-onERC721Received} on the receiver, and can be used to e.g.\n     * implement alternative mechanisms to perform token transfer, such as signature-based.\n     *\n     * Requirements:\n     *\n     * - `tokenId` token must exist and be owned by `from`.\n     * - `to` cannot be the zero address.\n     * - `from` cannot be the zero address.\n     * - If `to` refers to a smart contract, it must implement {IERC721Receiver-onERC721Received}, which is called upon a safe transfer.\n     *\n     * Emits a {Transfer} event.\n     */\n    function _safeTransfer(address from, address to, uint256 tokenId) internal {\n        _safeTransfer(from, to, tokenId, \"\");\n    }\n\n    /**\n     * @dev Same as {xref-ERC721-_safeTransfer-address-address-uint256-}[`_safeTransfer`], with an additional `data` parameter which is\n     * forwarded in {IERC721Receiver-onERC721Received} to contract recipients.\n     */\n    function _safeTransfer(address from, address to, uint256 tokenId, bytes memory data) internal virtual {\n        _transfer(from, to, tokenId);\n        _checkOnERC721Received(from, to, tokenId, data);\n    }\n\n    /**\n     * @dev Approve `to` to operate on `tokenId`\n     *\n     * The `auth` argument is optional. If the value passed is non 0, then this function will check that `auth` is\n     * either the owner of the token, or approved to operate on all tokens held by this owner.\n     *\n     * Emits an {Approval} event.\n     *\n     * Overrides to this logic should be done to the variant with an additional `bool emitEvent` argument.\n     */\n    function _approve(address to, uint256 tokenId, address auth) internal {\n        _approve(to, tokenId, auth, true);\n    }\n\n    /**\n     * @dev Variant of `_approve` with an optional flag to enable or disable the {Approval} event. The event is not\n     * emitted in the context of transfers.\n     */\n    function _approve(address to, uint256 tokenId, address auth, bool emitEvent) internal virtual {\n        // Avoid reading the owner unless necessary\n        if (emitEvent || auth != address(0)) {\n            address owner = _requireOwned(tokenId);\n\n            // We do not use _isAuthorized because single-token approvals should not be able to call approve\n            if (auth != address(0) && owner != auth && !isApprovedForAll(owner, auth)) {\n                revert ERC721InvalidApprover(auth);\n            }\n\n            if (emitEvent) {\n                emit Approval(owner, to, tokenId);\n            }\n        }\n\n        _tokenApprovals[tokenId] = to;\n    }\n\n    /**\n     * @dev Approve `operator` to operate on all of `owner` tokens\n     *\n     * Requirements:\n     * - operator can't be the address zero.\n     *\n     * Emits an {ApprovalForAll} event.\n     */\n    function _setApprovalForAll(address owner, address operator, bool approved) internal virtual {\n        if (operator == address(0)) {\n            revert ERC721InvalidOperator(operator);\n        }\n        _operatorApprovals[owner][operator] = approved;\n        emit ApprovalForAll(owner, operator, approved);\n    }\n\n    /**\n     * @dev Reverts if the `tokenId` doesn't have a current owner (it hasn't been minted, or it has been burned).\n     * Returns the owner.\n     *\n     * Overrides to ownership logic should be done to {_ownerOf}.\n     */\n    function _requireOwned(uint256 tokenId) internal view returns (address) {\n        address owner = _ownerOf(tokenId);\n        if (owner == address(0)) {\n            revert ERC721NonexistentToken(tokenId);\n        }\n        return owner;\n    }\n\n    /**\n     * @dev Private function to invoke {IERC721Receiver-onERC721Received} on a target address. This will revert if the\n     * recipient doesn't accept the token transfer. The call is not executed if the target address is not a contract.\n     *\n     * @param from address representing the previous owner of the given token ID\n     * @param to target address that will receive the tokens\n     * @param tokenId uint256 ID of the token to be transferred\n     * @param data bytes optional data to send along with the call\n     */\n    function _checkOnERC721Received(address from, address to, uint256 tokenId, bytes memory data) private {\n        if (to.code.length > 0) {\n            try IERC721Receiver(to).onERC721Received(_msgSender(), from, tokenId, data) returns (bytes4 retval) {\n                if (retval != IERC721Receiver.onERC721Received.selector) {\n                    revert ERC721InvalidReceiver(to);\n                }\n            } catch (bytes memory reason) {\n                if (reason.length == 0) {\n                    revert ERC721InvalidReceiver(to);\n                } else {\n                    /// @solidity memory-safe-assembly\n                    assembly {\n                        revert(add(32, reason), mload(reason))\n                    }\n                }\n            }\n        }\n    }\n}\n\n// File: @openzeppelin/contracts/interfaces/IERC2981.sol\n// OpenZeppelin Contracts (last updated v5.0.0) (interfaces/IERC2981.sol)\n\n\n\n/**\n * @dev Interface for the NFT Royalty Standard.\n *\n * A standardized way to retrieve royalty payment information for non-fungible tokens (NFTs) to enable universal\n * support for royalty payments across all NFT marketplaces and ecosystem participants.\n */\ninterface IERC2981 is IERC165 {\n    /**\n     * @dev Returns how much royalty is owed and to whom, based on a sale price that may be denominated in any unit of\n     * exchange. The royalty amount is denominated and should be paid in that same unit of exchange.\n     */\n    function royaltyInfo(\n        uint256 tokenId,\n        uint256 salePrice\n    ) external view returns (address receiver, uint256 royaltyAmount);\n}\n\n// File: @openzeppelin/contracts/token/common/ERC2981.sol\n// OpenZeppelin Contracts (last updated v5.0.0) (token/common/ERC2981.sol)\n\n\n\n/**\n * @dev Implementation of the NFT Royalty Standard, a standardized way to retrieve royalty payment information.\n *\n * Royalty information can be specified globally for all token ids via {_setDefaultRoyalty}, and/or individually for\n * specific token ids via {_setTokenRoyalty}. The latter takes precedence over the first.\n *\n * Royalty is specified as a fraction of sale price. {_feeDenominator} is overridable but defaults to 10000, meaning the\n * fee is specified in basis points by default.\n *\n * IMPORTANT: ERC-2981 only specifies a way to signal royalty information and does not enforce its payment. See\n * https://eips.ethereum.org/EIPS/eip-2981#optional-royalty-payments[Rationale] in the EIP. Marketplaces are expected to\n * voluntarily pay royalties together with sales, but note that this standard is not yet widely supported.\n */\nabstract contract ERC2981 is IERC2981, ERC165 {\n    struct RoyaltyInfo {\n        address receiver;\n        uint96 royaltyFraction;\n    }\n\n    RoyaltyInfo private _defaultRoyaltyInfo;\n    mapping(uint256 tokenId => RoyaltyInfo) private _tokenRoyaltyInfo;\n\n    /**\n     * @dev The default royalty set is invalid (eg. (numerator / denominator) >= 1).\n     */\n    error ERC2981InvalidDefaultRoyalty(uint256 numerator, uint256 denominator);\n\n    /**\n     * @dev The default royalty receiver is invalid.\n     */\n    error ERC2981InvalidDefaultRoyaltyReceiver(address receiver);\n\n    /**\n     * @dev The royalty set for an specific `tokenId` is invalid (eg. (numerator / denominator) >= 1).\n     */\n    error ERC2981InvalidTokenRoyalty(uint256 tokenId, uint256 numerator, uint256 denominator);\n\n    /**\n     * @dev The royalty receiver for `tokenId` is invalid.\n     */\n    error ERC2981InvalidTokenRoyaltyReceiver(uint256 tokenId, address receiver);\n\n    /**\n     * @dev See {IERC165-supportsInterface}.\n     */\n    function supportsInterface(bytes4 interfaceId) public view virtual override(IERC165, ERC165) returns (bool) {\n        return interfaceId == type(IERC2981).interfaceId || super.supportsInterface(interfaceId);\n    }\n\n    /**\n     * @inheritdoc IERC2981\n     */\n    function royaltyInfo(uint256 tokenId, uint256 salePrice) public view virtual returns (address, uint256) {\n        RoyaltyInfo memory royalty = _tokenRoyaltyInfo[tokenId];\n\n        if (royalty.receiver == address(0)) {\n            royalty = _defaultRoyaltyInfo;\n        }\n\n        uint256 royaltyAmount = (salePrice * royalty.royaltyFraction) / _feeDenominator();\n\n        return (royalty.receiver, royaltyAmount);\n    }\n\n    /**\n     * @dev The denominator with which to interpret the fee set in {_setTokenRoyalty} and {_setDefaultRoyalty} as a\n     * fraction of the sale price. Defaults to 10000 so fees are expressed in basis points, but may be customized by an\n     * override.\n     */\n    function _feeDenominator() internal pure virtual returns (uint96) {\n        return 10000;\n    }\n\n    /**\n     * @dev Sets the royalty information that all ids in this contract will default to.\n     *\n     * Requirements:\n     *\n     * - `receiver` cannot be the zero address.\n     * - `feeNumerator` cannot be greater than the fee denominator.\n     */\n    function _setDefaultRoyalty(address receiver, uint96 feeNumerator) internal virtual {\n        uint256 denominator = _feeDenominator();\n        if (feeNumerator > denominator) {\n            // Royalty fee will exceed the sale price\n            revert ERC2981InvalidDefaultRoyalty(feeNumerator, denominator);\n        }\n        if (receiver == address(0)) {\n            revert ERC2981InvalidDefaultRoyaltyReceiver(address(0));\n        }\n\n        _defaultRoyaltyInfo = RoyaltyInfo(receiver, feeNumerator);\n    }\n\n    /**\n     * @dev Removes default royalty information.\n     */\n    function _deleteDefaultRoyalty() internal virtual {\n        delete _defaultRoyaltyInfo;\n    }\n\n    /**\n     * @dev Sets the royalty information for a specific token id, overriding the global default.\n     *\n     * Requirements:\n     *\n     * - `receiver` cannot be the zero address.\n     * - `feeNumerator` cannot be greater than the fee denominator.\n     */\n    function _setTokenRoyalty(uint256 tokenId, address receiver, uint96 feeNumerator) internal virtual {\n        uint256 denominator = _feeDenominator();\n        if (feeNumerator > denominator) {\n            // Royalty fee will exceed the sale price\n            revert ERC2981InvalidTokenRoyalty(tokenId, feeNumerator, denominator);\n        }\n        if (receiver == address(0)) {\n            revert ERC2981InvalidTokenRoyaltyReceiver(tokenId, address(0));\n        }\n\n        _tokenRoyaltyInfo[tokenId] = RoyaltyInfo(receiver, feeNumerator);\n    }\n\n    /**\n     * @dev Resets royalty information for the token id back to the global default.\n     */\n    function _resetTokenRoyalty(uint256 tokenId) internal virtual {\n        delete _tokenRoyaltyInfo[tokenId];\n    }\n}\n\n// File: @openzeppelin/contracts/access/Ownable.sol\n// OpenZeppelin Contracts (last updated v5.0.0) (access/Ownable.sol)\n\n\n\n/**\n * @dev Contract module which provides a basic access control mechanism, where\n * there is an account (an owner) that can be granted exclusive access to\n * specific functions.\n *\n * The initial owner is set to the address provided by the deployer. This can\n * later be changed with {transferOwnership}.\n *\n * This module is used through inheritance. It will make available the modifier\n * `onlyOwner`, which can be applied to your functions to restrict their use to\n * the owner.\n */\nabstract contract Ownable is Context {\n    address private _owner;\n\n    /**\n     * @dev The caller account is not authorized to perform an operation.\n     */\n    error OwnableUnauthorizedAccount(address account);\n\n    /**\n     * @dev The owner is not a valid owner account. (eg. `address(0)`)\n     */\n    error OwnableInvalidOwner(address owner);\n\n    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);\n\n    /**\n     * @dev Initializes the contract setting the address provided by the deployer as the initial owner.\n     */\n    constructor(address initialOwner) {\n        if (initialOwner == address(0)) {\n            revert OwnableInvalidOwner(address(0));\n        }\n        _transferOwnership(initialOwner);\n    }\n\n    /**\n     * @dev Throws if called by any account other than the owner.\n     */\n    modifier onlyOwner() {\n        _checkOwner();\n        _;\n    }\n\n    /**\n     * @dev Returns the address of the current owner.\n     */\n    function owner() public view virtual returns (address) {\n        return _owner;\n    }\n\n    /**\n     * @dev Throws if the sender is not the owner.\n     */\n    function _checkOwner() internal view virtual {\n        if (owner() != _msgSender()) {\n            revert OwnableUnauthorizedAccount(_msgSender());\n        }\n    }\n\n    /**\n     * @dev Leaves the contract without owner. It will not be possible to call\n     * `onlyOwner` functions. Can only be called by the current owner.\n     *\n     * NOTE: Renouncing ownership will leave the contract without an owner,\n     * thereby disabling any functionality that is only available to the owner.\n     */\n    function renounceOwnership() public virtual onlyOwner {\n        _transferOwnership(address(0));\n    }\n\n    /**\n     * @dev Transfers ownership of the contract to a new account (`newOwner`).\n     * Can only be called by the current owner.\n     */\n    function transferOwnership(address newOwner) public virtual onlyOwner {\n        if (newOwner == address(0)) {\n            revert OwnableInvalidOwner(address(0));\n        }\n        _transferOwnership(newOwner);\n    }\n\n    /**\n     * @dev Transfers ownership of the contract to a new account (`newOwner`).\n     * Internal function without access restriction.\n     */\n    function _transferOwnership(address newOwner) internal virtual {\n        address oldOwner = _owner;\n        _owner = newOwner;\n        emit OwnershipTransferred(oldOwner, newOwner);\n    }\n}\n\n// File: @openzeppelin/contracts/utils/Base64.sol\n// OpenZeppelin Contracts (last updated v5.0.2) (utils/Base64.sol)\n\n\n/**\n * @dev Provides a set of functions to operate with Base64 strings.\n */\nlibrary Base64 {\n    /**\n     * @dev Base64 Encoding/Decoding Table\n     */\n    string internal constant _TABLE = \"ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789+/\";\n\n    /**\n     * @dev Converts a `bytes` to its Bytes64 `string` representation.\n     */\n    function encode(bytes memory data) internal pure returns (string memory) {\n        /**\n         * Inspired by Brecht Devos (Brechtpd) implementation - MIT licence\n         * https://github.com/Brechtpd/base64/blob/e78d9fd951e7b0977ddca77d92dc85183770daf4/base64.sol\n         */\n        if (data.length == 0) return \"\";\n\n        // Loads the table into memory\n        string memory table = _TABLE;\n\n        // Encoding takes 3 bytes chunks of binary data from `bytes` data parameter\n        // and split into 4 numbers of 6 bits.\n        // The final Base64 length should be `bytes` data length multiplied by 4/3 rounded up\n        // - `data.length + 2`  -> Round up\n        // - `/ 3`              -> Number of 3-bytes chunks\n        // - `4 *`              -> 4 characters for each chunk\n        string memory result = new string(4 * ((data.length + 2) / 3));\n\n        /// @solidity memory-safe-assembly\n        assembly {\n            // Prepare the lookup table (skip the first \"length\" byte)\n            let tablePtr := add(table, 1)\n\n            // Prepare result pointer, jump over length\n            let resultPtr := add(result, 0x20)\n            let dataPtr := data\n            let endPtr := add(data, mload(data))\n\n            // In some cases, the last iteration will read bytes after the end of the data. We cache the value, and\n            // set it to zero to make sure no dirty bytes are read in that section.\n            let afterPtr := add(endPtr, 0x20)\n            let afterCache := mload(afterPtr)\n            mstore(afterPtr, 0x00)\n\n            // Run over the input, 3 bytes at a time\n            for {\n\n            } lt(dataPtr, endPtr) {\n\n            } {\n                // Advance 3 bytes\n                dataPtr := add(dataPtr, 3)\n                let input := mload(dataPtr)\n\n                // To write each character, shift the 3 byte (24 bits) chunk\n                // 4 times in blocks of 6 bits for each character (18, 12, 6, 0)\n                // and apply logical AND with 0x3F to bitmask the least significant 6 bits.\n                // Use this as an index into the lookup table, mload an entire word\n                // so the desired character is in the least significant byte, and\n                // mstore8 this least significant byte into the result and continue.\n\n                mstore8(resultPtr, mload(add(tablePtr, and(shr(18, input), 0x3F))))\n                resultPtr := add(resultPtr, 1) // Advance\n\n                mstore8(resultPtr, mload(add(tablePtr, and(shr(12, input), 0x3F))))\n                resultPtr := add(resultPtr, 1) // Advance\n\n                mstore8(resultPtr, mload(add(tablePtr, and(shr(6, input), 0x3F))))\n                resultPtr := add(resultPtr, 1) // Advance\n\n                mstore8(resultPtr, mload(add(tablePtr, and(input, 0x3F))))\n                resultPtr := add(resultPtr, 1) // Advance\n            }\n\n            // Reset the value that was cached\n            mstore(afterPtr, afterCache)\n\n            // When data `bytes` is not exactly 3 bytes long\n            // it is padded with `=` characters at the end\n            switch mod(mload(data), 3)\n            case 1 {\n                mstore8(sub(resultPtr, 1), 0x3d)\n                mstore8(sub(resultPtr, 2), 0x3d)\n            }\n            case 2 {\n                mstore8(sub(resultPtr, 1), 0x3d)\n            }\n        }\n\n        return result;\n    }\n}\n\n// File: Witchibo.sol\ninterface IAgentIdRegistry {\n    function handleOf(address wallet) external view returns (string memory);\n}\n\n/// @title Witchibo - 9977 Cute little witch kid with moon charm hat in a moonlit pumpkin forest for .ai Agent ID holders on BNB Chain\n/// @notice Each wallet gets its first mint free while the 316 free pool lasts (gas only).\n/// Every other mint costs 0.00005 BNB. Max 50 per wallet, 9977 total. Collectible only, not an investment.\n/// @dev Art and metadata are generated fully on-chain from each token id. No IPFS, no reveal, nothing to set after deploy.\ncontract Witchibo is ERC721, ERC2981, Ownable {\n    using Strings for uint256;\n\n    IAgentIdRegistry public constant AGENT_ID = IAgentIdRegistry(0x60B9262456dE011F7d15a54CdD8c48bAaa8B022F);\n    uint256 public constant MAX_SUPPLY = 9977;\n    uint256 public constant FREE_SUPPLY = 316;\n    uint256 public constant FREE_PER_WALLET = 1;\n    uint256 public constant MAX_PER_WALLET = 50;\n    uint256 public constant PRICE = 0.00005 ether;\n\n    uint256 public totalSupply;\n    uint256 public freeClaimed;\n    bool public mintOpen = true;\n    mapping(address => uint256) public mintedBy;\n    mapping(address => uint256) public freeUsed;\n\n    error NoAgentId();\n    error OnlyWallets();\n    error MintClosed();\n    error BadQuantity();\n    error SoldOut();\n    error WalletLimit();\n    error WrongPayment();\n    error WithdrawFailed();\n\n    event Launched(address indexed to, uint256 indexed tokenId, string agent);\n\n    /// @notice Contract whose runtime code holds the artwork bytes (WebP), after a leading 0x00 STOP byte.\n    address public immutable IMAGE;\n\n    /// @dev The WebP artwork is embedded in this source and written, in this same deploy transaction,\n    /// into a small storage contract (runtime = 0x00 STOP byte + image bytes) owned by nobody.\n    constructor(address initialOwner) ERC721(\"Witchibo\", \"WITCHIBO\") Ownable(initialOwner) {\n        bytes memory image_ = hex\"52494646dc4700005745425056503820d0470000f073019d012a900190013ec154a24ca7a4a72daa337d71b01809666da53069754236885abf57fd41471f20f872fc9defc87fe49c207a6cfe9be8cfd25fce4f9b67a99fee3bf4be801d353fd931e5e5d3e45d8ada18153b1cb3f08aa3c4e5d5d0f8edfe083fc2b932d9a9022f089f422e4dcd8b159c10c3337dd2cd7a283a5d5b75956ec5d60fce2abd3b4f7d8d350cf068f933b4d39ad4598b779c279583f149e08b5e63822a619b350815bb7ef8a011f5d8c7c770e09de40fa19b788f3337a4c5ed88e153aa59baa9f4a9e8c821d74a429f0d85606d720457f7ffab1efff8d74870e4da72ec79463613c2c7f5d29047e767bc9734cb277d8a89acd76e74d132c17676ba6cad4ea816d1c46c5f5e51c631440336b5d9f28d64c9bc610ba5c3085bea3e676577abe8a1dba4e2a0e861bcc7d373e63889d279e4f5248cf775b8bb76c3d0e6338f78d7f68a870808a3e21f4bc21be0aed6b46dc8f402000a0fc04c27c56d0cd2d2704adf8f382829626235410a941e08599b30036350eb5ee9e7088f754740c1308e9af43fc5672146acaf4208394fd1cffc880de677e0cab19b4f6fb2ecb98c6152bd7a3e954eb6eb4f4a7a0a36d835333a3d7684e841e72e5a558d212923f5148b305beb9d93d9c878bb7912981afea09d426027e900adda11044b6b796f7ebe6535c599a0e918eec41703d6a97c23f9673feb5887029a7c9cc2b73038ccc5e775aa961abb85ae5d9c7da95733ba1581ebb3bd2405e5a7ec0a11ed192bb234ec43063d85ab539c43dc0206139088a2215e8a83136f56a8a38704be992bf17ee8a7ad5526c3e532f27eda3949eddd00e2dff0d690a2116b320f32b57d6ce718477ba9dfeecd6e5be110dfbecdf9f6b639313b7739f1544ac4f98297fbdafd8d76e82c670279a3d46624bcaa9bab45762e7ccd0d480891912eb200d77ea01b53309a8b2d85d9653c861c44f1b6986457e63d23e68e407b30f60df98bcf160f6b7154a6dec1494a4cea0840f29ebb1bb1b58c1807a323c2297fe8d51ade0febaf2dbff918dd47ae01e8dd42585386beb2437c4ba369e1f501ad9e207bffcaad90b51939d4c034b4c2e0636d2cf34e3e69565bf1f7babfbc8cc7330560dd0ab4a133e0a9659957b84414be01f9fd948e145086a34ba2d6597fcc0c60c19fc3ea2c19dc227eafc3fff3a294d03a493d0cfabc5ce8df02ee7d23a60ca583b89360785802333207161fc07b53791b8edf3785fd2e7eee221f36a8d3132b1bf047615b0f562dcc82f885b6588f759aac14530368f2b1b13d541dc505538e03696b12c7a8013b95ebb7dfe43b8d376e01a6a56194c5d1d6cc87e2a48c921656344b7d9132ba491ea46adcc04857cc0dc9592aa141bff01651c728774e267189b1da395332faf5dc9ea8e5a894e0f864ac713d207b0e9528cbe62d5e370f46528505c00b8c724a3a07aeb6dc9ba1471fcb399fb9c37cd1fc3e8a9e7b37d59e82786120d3bb4355c30b36d9fd106f7a7ead05597f582d5d2c7e426d58f2037f3900054c66b59f231fbb5a0c1ff6cd821fca6e4a09f0d97d2f9b72ef513fbc7c6c23cc09254a56b5df1a912c914472bd8aba85f8ebcb7400dc6c263508bb71807f56001033f560ee809f3bcc005a28fff41ed6505f094836dd606dffc86ffff9df6899aea88c4f09c80effa6474b8f97e44123b267e364a429cf76522a3a5dd7da9861ab9e458a7b5030529c1153affc80c77272951a78d1277d67cd778ff24e213d6255eee46dc58d560bb2e736662a62f5aa35f4856d289aa4fe4dd5637dfaffecc15c2e290ee199871766f986c765f892595c6d3479ac2f26aff808d79adef6f90ce7e9b60f4be93aae069456436a4f10f1c676bd9f88a9864f86703a4df144f82a18eccf41a4634fd933c660b0e524dec8e9ebc3f6d06990e9059996d44ee12048ca9a924610e18b7d7ed7e4c1dfbfb124f5fb44370379a7b2d4db7f4afdf216ba6a0439715c3fdc3bc8ccbc499d86db55b4ba8d7e22d311aef296c1ca06dfb0d536e6a9be1e161a9ce9d3407f11540d79a8662fe92f54397955c96e1efa1a5449f5c9e5f7c368b6e579a91c82fea6b93d690ed208f65147f96e9e50b8572b86b9b83f53f6d27617dbc0ac28e52bc636cad421cdbb064874027499ea90ad4f79121c2eaad280a5635f7e79c177654f9cf22011680747c9cc1bd31f3b3ea447472622310c8458224901c3f60bb341bd280319b364dd885852f0974bbb8be9dd30b7b9a290ebb09cebe27021a93b3137810d24c5058ca370a611e1d00b95892cc61b13b3545ab958ea10c466026b67b4c059dc4352084a506fc335b9a209b9f639599459e5bb8dfba67a32dfb632a10e8aadf0b972d0ff890917154306fcbf7af00258415c5556b1f9657d19d952666ac08da055131fbc481cb7a2a48a12aedef5e4eb7d6af17b23f4c6d1449297ba8b36e6f790bd3ec5321849a039d06dbd2ebd6fed19f4d788bf59313dcb6b3523f5d7da8b02f72ba9163be14f4aa18f667098db42badf28bfb6098e94e7290b81f831f77898c721ed486296d30b8b69555acda39966b482741ded40bd271572ff8c51c19e76cb466d4342b3f76ab221184e54fb708c966d9898cfc8979916327c45c8600fca31d51f2a3549675b511d417cc749f21cdf4fd338016871eb655a306ddda5022b91a3f44c95702650a43a244b44191bc5d81161bf2bc4a63a567eb0bfe40a39081050f88dd7750e3c3451f11eb54bcdf699cc52211643ae7834789207c77e17ecf73b3313ce9399dba3e0b716094780832770a0e5ca0d6954c6b029fa2f766855cf709194ef1177297534f8c740ef197a3ee9399e02e9b45bc73e55123497645d9f1643b53958b33f4fcc2936440b265d4cdfce3ea4074af77baf9da58d07952e9eadb53b8144e1c3b2b91d95eecb5e2301948b2a6d64a5a4273d41d3d7a68e2ed0189586ba6770373b444e1e2b91d7f9a43c58cf44aefea1fd50c7cafac3c8a2a6e1a80fcbd4c546f93e1bbd63dc766d33c6454a76cab297f5eb32577d36cb549c2667e6eec64ff425de9fa066e52b19e427a7b3e3e1670f924c14f0794a50deddb8ca5bc764fd1d2914231a972bb137ee20ca3850adbe48bfe182fb91f6d6c9fae1a5dbe9600313b5b9770632767466f21022a25d310ee272e205b8bcd1fa2480e5b98b882e1c9b99518f2fa144e5f2bc6100f5e13fcde32bb461e77492689fa885c25b181f07856ce2883b8a67151d71aea101dd8484c6bbd760fe607c610adb9344c48ac85ae2501e538246d1c2c0afb5c59eeb3251436ecc38ef8b3f10737721edd61595cc296172f845f2433c35eedc45af9c0e9b5c3faf0dfd898919cf8f93e422c5c7b206483eca702c10bf1eb8fe7a3548b86cec4b5cde8b015f2234205ef99b8dd18ef9482752ecd7917d91e8b4d003f6babbff64a68da78ddf226c89862fa0b9b421ff5e9e20214de7fbee1b8d0961e7366ce77cf167469b41ca708af000dea46bd3d6f62348054b54eea021b214e7b7810d5f61d636e378819becedc24654326070bc39f5d0c150addf4528c2fbda18325a785a062b9fd643bbccfbc9318d5ffa3369ebe7d1ce3883bdc05afe1dbd0c484a72a507d3e398b334f3028ccfbbdf0c0aca2b2e9276ecd243ecc5101e34a76e5591ad47d29432f8992ec90c5c297f108072525f2a840727990b882da776d11bfbccf0817c17287f3d177392d6f2a0dbaa7715b439561c555ddd819d4fa90dd4c629e3e7900f8f99fc3485f27766bd4a1d56e2c225ac9f857d4cfefa14d50bdb5a8c51681fe5d4c50a268a7b4c045220be86571c077e7d6fe055ccc45af3945fab91d4537e426e487fd6e2683f05d74393c7b3256118ce9f6909aff1fb01903f0267134357af1b64e685a0267fe1adb578b94387bb204caeb18de80ca3bbfff7a22927fd0e5e4c1392e39c987e92908b4b9ca582be2f9ef260fb19a76a06958063a41b6dee05a2dd62ecfad622c830eaebef32f977098b08d3ceaa5a12871e01b4197a5c1b55ae19bd57229d17557242d36101f2175a1a7e1c4d1aa09a70673b9812fb3042d4f3c52fbee12f6a85395f0d211d0d37bc213ac938099070cf58962054b7fef327cc0e48ce094168dacd693cdb14c71e5fa0cecb59b55bf9bff31ac0ac4dce125518f6382414bc52a907b61acbffec254189a87190c2da0000fefc0f78b6a3d1a386469f7e19dc600195d8026619491d38beb2944d729722584f9dc22b948f1083fbc297d8dcea47a6d0609de8832fcf6c68e1054b739ea6f93e4ac53c330d5cb4a405d701f04bd279b95a97d736d77a4b0e8b67dbacd7c8cc1d12ac1d5d233035367b6fd2007f62ca5f474eedbbf2b2f26b977926bcce73455dd2a006246e96612efb4580e945ecb12cb69dbb97dcdfbae8042920d25e593a8cdecba50436cc48bf6058b71476e2f153ffe94786ab15a22a6e2574ee3f45d74a7f651ec48ab6e4e44248d0d5b786cfb7e6c23c6a5301c38c6b96d6cf3786c69d2e2bec6fa794ef35c2accc98967cf0894e72ec0e0ca46eb6ba12534fa8e5d3a80b4b6a70dc3f565a6e3fd1ca0fea074c09e8154498303fc66172e74beda33b97476628bb49672bae3fe1d3c65697a3055979b83cf1b53e2c88ac0505bb494e2030f82c21449b69adbd2888b639c77d8e331cc841980d55d783a3a3db7089e2afe604508c5bad013bc4abe2d32c31e8cfc5c684789d0d28e46bb3fdbae6acd1abd1b1f20e3fd8f12b8023796af8198db90555d6068b87c4c34c6f4fdb721b4bbea2c98c758a557e2d3bb91013183101e80a7c26e44614f6ccac9b762853ed8b29c776416224507fb8b83ca7bab2d22229ea108799d02171c57327a95142ba29399ba0af6208230f7542e424347e5fceeb44fbb2ca23f9ae740bbc9bf08e717af4f58cb46101efe21cc303d073febe8db003d84651aff553d1b62700232c35aef7fb6e115d6b2128db28b3c7885c137dd66d8b1566b267c34481ca9b2f50ccc6ca9470339c74d62b8502411436df288ab80b0b05e8fd2285bf66aa305d9c134ed070fe0e40f717b4a5f93a7ced975f3798e37a32de2380ab185a5c889ebd5ad1a04533c4a5f13ac6e11ac1d01d5a3cac4855ba118e8d02c1b94cf629cd4379814e8365e689ddefd62da3d1f03a04fed6369021fcf01f614d7fcedff3423d930781cd3a9abe8ec38514f6e048e54b57097d023aa1ef42a8b9148160f2ecfff45b7c4aa67498c0293ccdb91e31696f6a606a32aa791d95aa8d14660ecab473dce8f42453b69442769fd977d6eb333208f787852b96a9f9f97dcda53c1b5d95a9e3e92e25a2f55299e7d0ba753992fa502a8fa4c3857aa184a6e8e6abba659f4642bd90c4e355ffb029e6ef07fac559e24ab5f70e834c0bbc61db002cb6f4e59bd1929cc96d67ed9ac2bfa2f57c8c9fe0fcd01137071ad4c5cc9ac521cc82ee4a80f3c85f3319a66de8c49eda8c9fa1c661915ad17e880f5fa0109e237cc7acc7fe7992e547284c7202e6d501f381e246d365520bf37a250f6d7ef827ec38de344ce1490d8186e4ecf75c150974f66040eb6a1542a8250d9022e97da17895951f50e46ede771e56b6155994dbc79242ada88041b030df3bebb70203e34891d4a096f14c018c65f193a90d4af0bc27835ce1a32f1df5d03efc38da09e2ebd827cb29f791278f653af5ff9e668390e00d1b74716942cab35f1249a24e8f0402a2e44a7653991de3935e9ee793b76a65f7cbf800d4ae795ceaea0608e71d8874d54b4601792be0fc702a84d59feb58e3eddec381238f6f1a5f27b459828b05c615b673e227e199e32f0ee5b9ef95ea403daa9e39ffbf42c48428f067feed6d2d79372d7e6711dd249636c3c3f9dd7fdfcf2177d1aa129d09850e64bb75ca19a24c938766521a43bd15c4c1df3861ed42e338dce7dafb2ecd83d10db902af4028e8f31c5d285f637861fd70e1ed864275e3f830f9c65efa0b5a8004eb827fe087dc7cadb0964782443560e864305f1c8603800da51b51fe1ed9a53d4cf151654a676141ec1b2e37d9e66b988cab79e1a785fe5d35b979115d07f807994a3f4755e80c217aaea78f859836508cd256a3aa65ab8c2254ffb4c8577e875e43e603de0c1c00d922ff8e8b592acc760a63ac43c8b147833551e9e141352915b90abbb7b8603fbd5e39c950bb0399e1f420e2a032ce85dc04cec77677ae4793f8b4889d19c892e7370b09af4aa2871a10f9e3095652756cf971b3722c96729f58018f5ad7ce152921ccab9c4e02cff6bb8d9b600aa6907c0e5da34314ad221bf9ddd277c01bc5b43b8267d1610d693b2ec43aa31be4cd79fcfa84230e5faffbc732bf0b8d246451752e6db8d034dbb0b5e60b2b1204b22d18906ca42c1423ea61f8b6e810910b7a99b4c5dbe7a54fb2b98b6b2f9290e5af4ef521fba9be00c26f04817fd1c6db47faf316355860955bef3d77ac9ec2b5fff4de220ef817a7b99288ddd37ce6998fb12f79e42969a1c763c63c4b48e08ca15723b098af002592a43b03e04e9c544f0c1ecbaaebd8d714c7dbe319d3d3d91c3e90d2d2e8dfa14a1f9159c9c6afea140497e4bc1ab1ce2a0ef9dbd85ff62853371a15fde49598caeceb12fee80168bcae3b2fb7582c2ff51a828adb46e3d0e506518b6c2e7ba955c605283189c291c1185f2d6e95adc9a5c264754abaed2811c4b1294fa486511bb4638a38560a370f01d65e7060a61dc62652e6a841837d202007cc9f4bb0dd64cc39622d7292cb6b7bc9e8a6a8f057517a53f5ebe3db3bebddb01911e3971f94b71f7ca9e31abe3fb54c1833075a98c1669f357bab3bf2840cb1e38f48ef169288b278abeecea62dae80c3ae1cc7cf21af169e4e4a0484cf1b46b8160755b4d6f9cd5ce6dd47f7155b193ae8396c1ea391caf921728a2e4dff670f0d41168e981de0c404cb9248a01acca2aa30f18d76e4217f585351adb38939b9d3c3acc3a302de5822944da850a6153760eca4642183e1200b50159a1e723770c8107133bc8033131400856179191c8812f0b5c317b297626ffcdc2ed8ff13d10328b116ed349d5a8ff081eed8b140275f0319469ea943da806befe169f70c49dbf8e39703e84050853503bea521491353018d095b777c701b6ad744b9546e1fe569b1fd76a53df2edf8cf2143f9d8f13b6ec9d190125ff62d27ac3afca615b864a1719f312770f3407b8db64f7c49330b949fe66aa35fc7daffec58cb47bfb556e590bdfa52f59833c271afd0fc6a8bafaa7247f2b0f554dd5b4ae1508a9c0e36e3d0059d805462ccd7b6ee7e53853b88f82f8e8dd38cd56f1bee9f969cba8efbd3bfb02b70f9a1b8e9ab9834de1ff676532c1d7629d71228e1703249a90222039eb44d62a26fb00a013d892abf892d89eba49bec2bf7550c6c24a3c14ff09684c1a3b879d497ec6de7df1d0870420d0257d1371c58861681b5c020979c66fce975e477d1b21f4b4225c62d7dd8ae9d2c04abd0d07d9b71b8b2760856f20095cbbffa4c2cc81d6926dc766226f64316c5cc5dd3f02a8b10515bc23b2b73af934f0a10a48c99e1eba742649a41a3039978565f718859df52cc8cb85b2f399df2a7a499b7fb298232629a0240977e13f347c8fb2c19f808ac0e166e441c83f3630b59e1cf6a33820d59bf4adaaf497ade6b5ee5ae2c9bbe5e1b45e8bb6030afe248a2e62e7adf921289275b55eb9cf02fb4fa6d8f460122f96e1a0e8794d6f2dc7d872322ef477fe44263d1b5ece32874ee0111f40697044f3a3dbf84b8be208101c2ce7a8c94194a50c66d01a8f63602d24e052dd2d1931542343f51dd8a4b759a0d1b3a498b6f9c7ce19415b4fbf66c8ab578a29b8b624dc880d52a103493aa1eb384f3b3f6be0e0fcb72c0355d08541ae02e55128a23f1f654a31fc398e43141931a6130b58a6c716d0806dca3f8cc102c25c4657ed67bf70256516fd81465aa48d1b5880cd2b5651f5ee99b4276c8b74a0e11d8c6a2da9041f015f645e88fe4862463ffce029d3a13c788f2596eb2fa20f732287ce8cbf9408f21fe72cedb3fbc91f3450edb50f31368be1d90656bd3110ebfe53868e64fa5cc49b79e078bb09112e534741d7515a0b995bc676c9392175055593fa0f6b6ee0cab7c1465a710949720a07a0cafb30e3eb789ab482a34a583489c3e106ff6ab51d300715f97eb712c372d90c89a3c91fcbe72aa6336688c11a866f66ab5c371deb6fa02e2e38cdfa58e616ba621897da107a41aef1799a4754c9254bbc9ed0f2ad840de71384a7694af221da3db1c032ba5f7f4994db9abb50819db8d5a1f265842dab85d9356827b134b5c873bccd7230e7d9a555e716f2a5379b38452b3af56c1331f58b7a75f597aea2849912697719d54140064b62da919a229ad19c6b60e621353d5a183cdefdc4968f79def6b3c644bd312604b484e45b005b4d2205c5a5f0440f960682125ef5b86c75cac6304869d955d0c132543f38efe643fd7d9a7ec7fa70d0c95d7443b31a3dd214f14fd0c4eca8eba4af03b939452cb1d74a00dae8da1517159d92cab4d3724cb78b2c4403259130f6d194c2c9cd2d28959b6e5e7dfbd492d02cf256894a1185bf2c917981d5773c818f0e5cc61c9bb57ca53a3ba231cc4e6521cbd53afef1a45fae60570455427878016ec66484de241bb2d47c03314ce75816b4e450edcf3c646a607a8984ec32bcac7229dcd6677e5e30f8510305e09f7518fedac1276ba1b56f8d57550f4d349a002e8b1526180a6096219b2dc57191e5ba22adabd98e298a1c9ee680461983b245cba4c947ac35278156a56df425c9fac1ab27bb91fc549024651e66cd8cebb33442f760be49350018747dd5c147cf8b50697c59f28890ba0833248ec5cfce4c065793fcafa5012693c2c2e0e2ba9320f4430aa8914b3d4d4b7b8905b6aa311beb77ec5e27bd519bb5d98c88ec49114897eff40172fe3729e595c6770a5cc401e15b632fd398d1cc61dd357f8ea872eef6f622319eb1c54541b7ee89810f05a7987abc87f2242b02e48dd7d8a4043527b6ba16bc1da9f41c7dff6f16a74d60e9c756635767ee5246ed84bd0ec2bb8a066a63bb22a84d27e8451b0896cc126ecc2533a2c1a163f312e9373919c43ed836cc5e62cf1d9c4b22259a765414ffa0f396d8f93fd2f51e3d672154afd65716ef1edc01f02e0c54211984e67aa4855b6d53f25febe6a3b0c482a225faeb6ff3bd36ef693e7c5b83fc05685fb1a3d90bbec13a16de76f0d85de6bbb4acca95423c49150e12ad41f3de66c86b2d541a24ab051ff2a9419151d37a8fcf769070d5b2cf526164bab0cdfbfa5f168b6a4817f34aee51a725b6be50d03a82d19a8ea302b2f0a7aa368a9e8823bda77b01ac872b63b84ea012b1dd6e2d411f6ea3826664fc8f9fdfce902ce711c9190c7c7891911e0bdb23bc3c0c99d176c56c6a2b999b52908fafb2f22aa44d5ed2fceae246e6e4ef3519749f02cf0b5ce855c79fc4843517a98f7e7781ac29b0f598cf2ae299f6f564fa94bfaca6d3d822b2599d1912209d3591f6f3aab7715b363a0f5d0f2df5fa82e44df5165f053f7f863121d70de68008daa197c905881b299f49e9976446cb3fba2eb04d6ad53d79fa385088f6abaf52d78b0110ae09e886bbfe782118721fdff192b4befae2bd1324a423b282f7af021c2fe6b18f83279a5be7b5770b1a47687be9794fe0d5a18d29424c6ed0b30061be57b90711225a1ff1573ed0ccd83a23075830a2949702143665171d563ff42c2d45dd8af6e9611cb4003908501167fbd8805d3e6cbaf7326f576b0ed101dfac624668a594c07f06ec163fe29b463c98a0f512202584cfa96c244da088b3acecba3602dd03855881e301bc53cf4f52db77ab5f7f71fe81fa68df2e4c85d45c486e0e0e089c2233194a1940ad1a927e35c6561ad428f822116fe3a061ea35b5ac873e494a3775bdbf769a8a81792e7273c67964d31b4c471cfefe92fa37d1a13616f5a7e3ab26e7347db6e12ae3d021c20da099a2ced7ec92e33c6b4e6332dca8568be5982ecc71d01b50ccfb5786384f5d842d81396366b216d698a6fcdf917f582c805e14b1a2da6c45af14edb48aa495108e3d4befa67cc26007482bb67507958194b4c12cb026443ff7dd98b72cb37ab1d56c7113ca182693728f934e4e2142144c2dcdbe0b17cf76783eb608ce79d5806f85e85e71ac6cd587c5aefb1bb186f6ff19482a87edc00e9ff419a92b7a08fbf28ed246e9352bf22a4f9e70329f96fc8a2a840bb60424235bf9e2c763b1fd0d878b2006c513378d9e91eeefcbf019c61ff27a7a404399eff87f1bcdc5fb2fa2acac108b732c367968f47492b7a614ac41a87c6fa01757151d1c07c60dace44ad7b12c2f8d8ae4f08cf8405ba2d621d49769a88dc3ea02ef5937165fc20a18335e465d886ea426eb43d10d41270d58055b4eb1166dae10c01af56d654ccf9e0956c707ef93581adccdf4f2eed4aa99cb5bebbf7766ec7a09f25e872b75fe7a12339f5791354955be3339aa338daf824404b5568bceeb4f2d90977880f550add524bd781a21e9ce76708fb6ca18bd52184ee47efb472e1e0cbed3c971c8aace65478ec6fef49e45ca5410cc51e18ce74a67bced293989ced0682c691d26d4c5725ae7c1390cb9a53f5478f4668a0bbb3c4833a15da0c9f31b10e5f3579c70d492ba31afac759cb23be5f14caa68a7031cd01d202d46bb32855df084573f5d2dc36f889d623eb8a9325fdb6f6d31295ef2e06faf5532ad939d021104f5980408b3e37f138d2f298a62ee622908713d42a518c17e67f94bd1f888503c3d1e345dc37d1df2e01f6cced407476b60198cfc72a5014d9bcec3935cb9ea1194e7662684fb3f0fd866d77a3603de633d575edc2acfcd60f796aa62fd1d80850827b786a6f3991c8017f05f6398e8e49234d472067a8f0b36da989047d7880ef2e8d081e1aaf13fef182dd1997a519db2981c785d8ca2badb6e6e6d91dbc4072f954c0122219d689bfaa25527869ea29769c4b27e46dab06867d6d3114dd58747d8ecd7f7fcb332635c6de3c5273d278461cf1830d4ca350f7bf6950cd18a6203427cad41995ff66c1582b9f88c52490f3c63d22e18f113f3d004b3bfaa790ff9080a636eb61229af77042bb272e7e778667408496385c51adb6ba858b5ece80d2a8e409b6a82b09047c26416b970a56f0b1d153a72876755cbe6df541a9ab6b7b19b4ac0e791ed482941268bfae47ba35b177afc33576b9ff70e5f86ef23bff92c7b98f9bdb4c9f4e30e78518578d824e8d03bb8cfcbd6e83e716762990c0a571e24e4751e79533a608f763aa75a326abf64aee8de26573568c2d75c4c25dc0c7d6f51acb2944efb29f234e8ad499fb2305f1c20916c2d9a8355a349bdf0d4afeae21a8a81b0dbb259edc72c4495bb66c3b27375c8e68eec22c6c4c27d01fd49df315e20c549dca37bb2b9a8f69635195d462fea1a84edea70e960cefa97ba9bffdc07384494c1411e6890f4e17aa731c9e9520bacfd0aa294bc82b264045d9f847c3cd43458de017fc53ce273b5ba6e6d406de2a31a13ba1ff7cf2b0d99c39e03fc8d3f342006a2bbb829c6cc038259da1afc989de3940cfc7db78bc1e55b663638f155212e89e86f7dcadfcf0fdee5388a41a211bb989675fcfce4603126a8d5477105c22aca19ff1fb0a088b269123f24468db1cc0d630f94f74a200f4dc04a9b3ec482f6fd48a4eb95d804c04f6baa80d7e8bc62ae8e225466025259c08455cf9309eb7808dde5684e586e1aa21d3430defac9ad94934ec36d6f83dc12a7b8aff8194c0e988e9c1aa78b00f32699afe7be5e7b844adc741dc7e29fda966ab60c3f9bd49f664bb6506cd49a37429e0a6123afaae77f48c674ef82828835742088666171b3b3f7c4adeefe3020057ffc9a61ce199eaccf5847f1942f35dd562e893f84918247c5ab4ac14be291ae595e1048ade8ff26ce75fbcd510a985d73ed9673308345dfba3fa7ad03e348614d59ed8c92c0f31d9a1ec533785657d60af76ff848b09e20e88c66b61de4716026ae008afd1bf90ead86a0b399e823de225e84b4a3d626c17b70f848571ea1732a6b9834aadbf78a71b6216af0040b5a44f21a02cd4eb0977de10887c7a6525b6247a000bd9df48f87277ad650860572c1c9c78a79f74d3cc61e3c8d29074e20a1a58e6f6caa8eb3b247956028b612b50ac0bdca93f429835c8b0fb56a8368c731448104e8673e4423fe280425847c25bbe1d49892e4c44019619e7d1301af60d51f9f00aac1bff4e21623c9fbc2fa46c3844b8b17d12b93102344712399fd53040205f12cc0249c362addeae269da5501c3b59e7f97d1c062d57f8e22224ebfd543f093b1ab9dc1edd8d88888b7100b4a4300f837011d09992578cd144e39458d532a31707315c1d46109b595b46eaf6e6f7cd8199e5bc0b5989cdd5d825c3b86b29e6b5eed5e7956bd8f71af3baad9700cad3ae86342153a5b66384f6fba5fda6b5be26854381973407c79245922aea20fe2ff942aa63a34763289d3f01b98efc830bdab9eaf8ae7be0079d5152cb0e2e8ae2afa018a371e48d983c69b5e8a41456bb1ded9a8b8990db6b81cb058d4aa8e196d19e3c3ddd62c6b7b64684f6e284def48213b9e4c28e3d7ef7b76fc34c018814f1d411a41d0a96ea4efaa7ce6aefba47d2fb566132b4ddc640fed104d70d73743c923762d72c063804601c5e4231476f8f17cd53769f869172e2245283adc078c684ed87fffe36b278b3d906627ea3826c17de43ae7cadb016e61b4215951a51ec6a08d02ed0d0eaa1d454414d8e94e2d5688d4f223eebc4973a65d2445b6615fe8f2ce534a48489f4dc5e243e9e89b864a7261fdb196818cd1ef4873efe51fa44d5148b9144e5c67bc458826697e6a31841bb2f56b09ee28c05c00b350a84634e42f970841ab03fa17dc43bfee716d5f91c49be8e97d145c6bb6a1678e18a518f033a7b7ceb7f8b8f401227cd8cfe99ac4f12f2d4469cd696e5170bbc09558dacf57d18bad020d0c67e33f6917dd0b5cbf5093d4071acc198f279736ef2dbcf8aab1e6883d64b5755950d3ca822d780ebef1d47af982be8700f6eff2976ab945806e9816093400edda80dc7f497a8cfb58ca482b1c6934b40436da12a984dc19e64b19c01d6d318ba0cbf3e672b65c33a5d5e52967577dc90b0161814cc1f7cf3e3eeb07a47d419ee0dec5d3eb42e972c1c0c84ef4a70accff60575304a340a9e554131dda472343799cce2553ee6d5702c1441cd56f8754f5ad28f3006c59bdf76a34993257cfd82ec234ced3f9656aae7a0f686fc1639b5a49f423fdccafdf76b87c87c2bc4f69e4ad9ee9324bf3c57452a7f9e8cd0c0d66dce3fa0bea8080161a2efb01f52f622a2f0f17c2d750d7e7ac8db400dfd3a482b1b4349788c78e021ac2908c6cfe8abce4b1c2f88b6c4ff83cf226a4d720278e5401e8efa777a8ce69c4ef4de683382fcbfea6b05802342e7a46114b74279acc6e96c37a8ed71dbf8de0b7d12606f2fe308ad2896b827864ab07e4d518af9358bbe797a8dbf0b06829de59b1f4d6bf6f74c87b0580877a66cf001b9288557e3534f380e5da6fd6956494f71c1a28cbd826e5829bd873695751a1547019a818ef04a3e2e2a33db14dac0ca233d08a61e1fcbf9e026a4d143ada9a33de1e3dbb5aa3c14d5f8d6da9fdadb4bcf0f77b65f65cb218d40c6a7841adaa76ed8a0b18a788105339295b455e0789819c6aea5bfbd74d86e8d16a5adc0587f7fe7f9823be13ca9a7f27f7f841c1c34a2b820d51a1d089ad27894d71ad9e174708c404a47514fd5dca6fbb3c73e257f277dbce6b791f577fad50a3f7c0acb4654df79c4a0cb3f34106ff938181f090802d96adb3ae5091878f4389cfec99b150c402f365b4621b1a583c2809850856a2049b9f98142676f0cdf5a107803716df8f61487b2812579cce6cf0fda0817a65ee8bd8cc0bc47a94e27d4a7cb54c71ec3e29779f4013ab1a17e57862e51b1796ac551f5f50bb0d6775131d1e9a28d8f6bd23b521bc31f2a5c87c9ca475f56dfe0c93640a8ef34965b92b1c6487e82f5ce0b38559e8ed6cbd2a439c0b3fe78dc73b812ca3d85fb62d2a9306a485a2e79a06a3fd22c37103d97c8fdd3941cd4719d9fdbc245ae70901b0782713c600033047f72e061961a0677fc8a90f6c965302ab882f8025c413d5dd3c63bf764ce6bf628f44ce5cbd90f49a93ee682b924e0d1d94f5e6c1fc61542ce8bb2622135425c24346a152dfe60f293404a9e1fffd88c1d53c72ade13bf4f10bed25e7d8005f23d724e639b6e3c6bda17b382a320aaf808b2f97c250fcbd55a19d4a82be784bb74c2ecb1f6c4704301135d8a46d053d88c168554f3fa35f66e5139154b87469f4dd174ede5fac8e72bade4fba0568f1eb80b4658fff615f8972ced06636c21551e40f9b13dd44471f4dbb2872d7dfc0e5e49d7e97905e55724eec4d0866b66750f1608fdf87894c7b3385c00682c2f2401fbb1f25c67a91d51b04a99b63415fe0d2dc6b9aef21b5fcec435cf956d47fca43692a0257d4b1c266e05bcab6c03cfb6da804bd068f584520195a1e6ef3c8bc3e259bfbeda607efd99a8f74f34c129349236113fbc7d4ec817ad2b2a24362ac5d96a7ed88a47fb8f8401f73a7117695f1bf31ca8aef8563b6989ffac8f1becd2b7bec4e4515319b881dc298d20a4ba5d423cd53b4217d551fc2358b3034faf16add8fb96860042f3c911075133d4c01e9ceffe61ab7ad95703f43a81eae541a094a9d80ebe095d5373cd1de810e6fdfd454aee62ba6fc93f55587dadf047cdb7eab49579eb8bf7a22e5653bb45e7c0a3cad634747509b6039b67d118c238b78e2df07ae94f6965c7f603060d259c01ff4eb21d4c268e827c127e35dd4941b1ab19e43b3646b734d1c5e3adafce5f065a74f84befcae804e5008952f43b18e085e1d21c1d800bb8868c941b80afa268eadbaaffacb254de16b8891efe19262b66578c3b698bfd1b7a0318d2061b6fbd093767ade56b64c560f6e2984518e5d8a1dd24d78ec24604bb4d74e7ef4c3ed7b66282c47a0d21fd89c4d679f27222efb4cd0b7540382bb78515ce795c22ff412411bda9e43844169d88a40a01a7d6b03c4a2ce4f23f77ccb9aa5588e041ddb63ef8f39e086039a92a2c8629bfd20a5e51d9478cc30abcf8ec47192f1e029e0cc82b99c0cf646298bf28e1ffdd549871962acb832f2cf6e770ab7a985d11bb7ab16b6fc3510db9c05034e3bd1d3293269a7f0388474f03f6421ae316112c5ba85d7743ab171958b67306b66788895c4ead9aa495d697583067f2311ba7a279d2dc9a19d2d1dc7f38ec95265986161b2690e25bd28f490cb3fd489918cb1e7c4060d5b6b20a7c1a974f4f9284071d16add589ee1c13310b32e9a003055638fa62a156770df07305ae10013535c40d51982a3b5832ea5f0b34ebd47b609b6d41d2bde9631e7362d8e8a4b81239febbcc40d6c21c911bd9fcf9bef549617d1cbb99b105564341761cdd574fbd79d3f7e8cfbe21bc15ac6c5d5e696fa5f436c52148614347ccfbbae79e67dfc22677d73d2ba12573477e8a766eadb3294322b700833786c47dd70b5689877457914926187fe8d1c99508e7cd78dbfb4bed6beeda070862d62ebb11b83fb63b667b9839c6561b95c479afe8ca95832f96a1c88786276e5fc2e90f3045a64876c60b223e04bfabc28dcdfe7a3b50375e2042b9beb48c1d6f8cadd7be4b704bc898074736b286ae4c3e43c747c4ce1d22744585cde36a55cea8779b08c5e2527cb99bb734a4de5ecd8fcdca11966b282900a2cd7df0458dc8b7105c9a5f8f8f1b2b5aafcbd6ba6663e3600a745b3c6d0b4c72e477096421762b5ad91b05c6fe9d1f3a4ccf1ba5968fcc19ea5e1a976a38e752cdc05b7202b796768ecc3ade272b3d5f8b57875370487d8d915e1d59e3aa1d6b3afbc8296445fe9c02e723dcf3d796aa4d2dfa393c5d62b8a9547f8c038c6a8f19c56dd7c037717914ef3c60bfa5cc472f4fa2516163917f4bc10947aa3345b91baba0ec5f46d67b018f8603cc699c42485a3f3bbf0528d4ae4a5f57ef74230b14d168d581b6f83a4fbfdfb1438514a777ba0314a538eae980c5d781ce6205d19564b8feff2fd5f2ffabe726e8705b90744944952ada064f72ee4bcd3beed3c7e07cfc66f898459a71ceab49c9739dfad10b2e8e6069e9010039666e896868a85f8ed918760ed899bde05ffac8b37dffe840a11413e3ea7809c9eaae59457568058bcde5791cdf235b2495c4f603e181f986402faccbc0027bdb671f212976f70c0f36bb0b7c42775e84871b6d60dc92c42f32523c44cf6092cfa900b74ef4ee320051eaf8fe1133aed065c774647306f07290be258c360b2d9f98e8f2c926e2d1acbc6eece423dc2b1653dff3873f39bb0491f24e13cf8380081281d732b806bb7a2edbecdec23b00f5d37055601555e805dc6c8b1025ad1a82b52e048cf8ced9abcc894e7d6344a77f00db896902eaef23112a2eb2fcfd4773e0653b9dab55e25278c726c8bf689c26ee7adacf27ecfe8cea4a0b92fe028503abdc0a685c16357f4bb5bee8852b1ab98f987e7081424394207a7b976d5aec14689eb7fef39ca61e0a95ac10d4808b4b936268464e1d8f631131658b03eb498fcff391592766dde90828b40f21be3060c73daf29e255eb7df7f611818c1298fd3203ba192e86391af47652a811b4da047a5d42a1822aae005f35a9a0100561ac5eb7bc1ff055065e753f66806a74d1642773c637848ac82eac411c95275f3b3673c8b893c0dde4f0c8a06e3d4e43df41a11ce93ec2ce901aa672db9139eaf1c7d51cfb8eab8368c5cd4f31c4ef36d27f0b9683545d93670ac9bd03e9dec360f2446a0d4a1b2fee29c6ed490890a84d06527c646193e1127d7cf59c60e32791eeec2919041e6dd6ed9463532418153bc15e8a0d3c77dddd4a017a515777a50e19a9d572abe526da5cd3d5dde7fc428312421f2ffea7629edeea45cd8304684762d95efcbd44e711ed8a3163d75f1a57f3c8bed22b41cbeef314dbd51df781e95117ace54e884eaf2afb0b48815177716ad6b57d0ac9a1025bc57d22293987e3be24d4e74df74c93a8d0475eaf792882527baa347137e2538cf5654cb9513c6181ce3c154859eabe5c0cb969dfc71f397067639cc70264f9450ce390b497e1f7f247bbb41538bb2f752e4cd0b0b41954764de0bcfcd473bdb6922b316e840f569d6f0e56f77bdaf61e9cb6a00f0bfdb10774a85361a5a2144de8d692584704aa40befb057afc7177fc611e5a6fc9b31c19ebb7b7b054f5807c38a56be58d3ca9af7a6bd8b476adf84dde918654e21945b2dac1ce76c5a801b57a1d931b40f88f3a4b4d20a7ec45ae3e586c927c087de4676e17a8b3bd89dd54f83788a1835f69ca088cd91e8efe5d136040059d47f1b1e5d903ed6b2bae2d271544c24b2ca2cc465e038310c08674b56ae1e50594c183c35a625a5407c7efb8c59c0dd9f87903a1328d8dd25a206239b56bb35880b39cda7ccad3fd8e0058dd1a5d40bbf58dce5ec839924d2e135075da79ab58e91d39c115d8b498f55ae8c5dc6c9afc32ad3a174db72fc018605e9eeccc8a71865b572f2b54836e62274474d001c781955c8eb86d4b8cf8cf6d642789e69130ebbf9a31c278ade6bd00a48acf1f18d8a31fa28495b10b412c4ed9024cee6fb7e5b31cfe2d43adada129933cc4d96d2f43f59c138d82e526363005ebcff3598bb47e733800bcb10af57bda986d5eda050ced6abe272b332f302b0aaa26a9d10228fa92f8412d2c65a3458180119d89a8aee8565cbb7750082a619d99d01f726fd76183149e9ab6bd41d4353c4671b2674c0427ebacc549dc83e6c0318df8a5d775f4e5061f3bd82468cb2a8fd7b4d81a89eebd2d32d374acf7fda714f1702beeef093c3f7bef9195148a86ec1a26270f7c68c65ef5e2e4419084fd16ac4d3b8b29be79b3d53c25c8ab44476eb39050bec60a4a2d8babd4655851bbf60992ce4873d6e7d8db8061b0f2ec4b9710344d901dfde3ff37f54fd12efb1a4c9a8dd54218c9c0ccf155cf927af8f99e9b2d87fb0457473f700bc93addf02d5ff8f87d9605c1be05fe6683e2c21fecc7429953cecb1261a75b91bed34038abcd59d4efa9f17a6cf6974dce5224a55a86c884c07d26f9300c24752c032010887a15d9bac26c8e3cda826b4fb31f1704068282b1369d9d8d5a36d8605277bce0eb044cf49c8eef5c24ec4fcdce5e25bea6188b9f64e1daae34400210d53d7aa3fd3b5fe510cc5bf63d3e889f97d9067682ccdae0525efd0e59e42c6caaf033d995e481ea8477faae9a01f05aa54d931a7c5fbbe0a51072509a2adbf544eb6ab12dee165eff69e65324fbeec271b574767331b4a1960dc4bffe650e7c26ed9cc90f686b06e71aa96cdc2282a8951026a7acee9fe50aaab53c88cc0ce967a4225a6b9608052f7026c823ded35cb15a92733db51a85452e93cd83b934d79489ecb6ca8ee2c600b73aa78e6ac0fe18b58f76e15710bc85372fcbab3f251423634aabfe63a1fc8aa573cca49431730bd837c4330768796f7794a17b874fddecb6b241affc25a8715eca9c34b0207460723ba27b525c15f2d1cc54b8419bb13287bb9e2eeb6b9396999672a525654374199abc08e1caf70d5cee33bf331bb9b198757bb75f753e6f2331dd5cb2d21dc7155beb3b5b0f75d7a93788683f471991bee50493f137ef929d6f098168600cdc9dcfbaf00adbca2eb79d0ce32c98a3f3464f5244ea72a6698a693e607624a32db556e52e41fd8762550a5ecf7261c4c75dcfa6cf6ee8af4d46e91757db4cbce097eaa26dd7fc5624ba012bae3bc62c379c36918168bb0bbf201e62f2c396e734b588599d75e72f2a4b89a0c9c4a7cbd3f9bbdc3513cfbe0d502c3ecb198b65481e8a0b9c180de689aee0c98f9db63b724a81ccda7653aef6d38b174b922f38c92b36e0076fc44602eb835750525d7b3ae3b55f91dc950a354d237cd93c02c78dc0eca32f2871dfd911300cbcaaf7f5e93a89cd5b3a6bdf59d1eb69f221a7f8b01c1a12cfff8c5ef4b11293128f0335456aeaa158e043aa562a6da8c9807007b2e88d4d717f5d716e0422760b52e8549eb7ba8039f2cabe3a3406a7724719b4e316aab14fb0b1c64d96d01f344e1e34d086e2945a61af94b93d6f3fdc31a0e79493c32bf2fafa72781d55add53094c7459d583c563f46f1c6228012378a5f6d471721a1491ed18a117a4c991618a8d421e2f2439a8273c464c9fdf33a288ee74cf666ccefa14aafe299c181ea8ff404758a2e9067674aa1d6db9f9cb27b504ae16c520a7b84e408ef12d5675b49a6b060d163aa81c2f68e834982d9cd21962ab3f537fd3fe67ffdc6a9817e707d0406d9bc903a37f02f51715288eb754457b4ccc0b9bafcb7c83e3371b8941d769f8823d13904762770ecd57329ab778b3c4864c8c232dfecd03d195b2d363e11a0314870de7e719b364b4cb0e20cdd909b00d5e8fef7647c531f3f1dc4cbfd9c5116c1ca327ccc022fa80f1c7075fc0219bdcb800190b95ff1bb3c73a0c9f3818755fd1799e62b6b023f4e43e1ebba88dc27549442171eef515313ec1bfa0c03a50cc5f78bb0357ff7a6227b83fcebc8d9ee4e264f9ee1face9825f53bcc0820115d3a9976d2c041a4a58e44852910facf096522656f72e779f9509e1b1bd75c4aa05e71cc420341845ac8f3f2620dbd38e3ab508147212c6b2ade4c5ba396b054d21af4d6aca0f7dac7594a548ddcd04ec0151804b996af98843bedc7cfe2418796200a8b501e5374b8c01ffe0d25238316425deb31f28b88b51f1233fed93d87778defca0020def9e33e9517294e417ee517909840e71e13343bdf3df6c66d667b5b386ba0efbcd98642f7eaf18ad7bdf16278b9ea1d8b9dfc4aa0d94bdf52a5f95d5acbe16e100a3e860f1d90076abf212568adcf7b9ae068f2972ac4a0d171344057abefba331e7a49c0d7a5775c4fd29533d27c7df64bd4e2ea368a7400f6aeeb187bfb80ecc4e858cdb3d1972d88ad116ae8622d09f418cfd0d80800828a4e468d4b6221f20ee469aed7451db744eb42907d4b454c2b896ae528af14253f4880d5856ebde5178301efda26209300edc695c769e5b91f6b15ad7bbc2a5bc82ccd2751871d224466bad0dc54a17ed4c513c0ed7306a9cdb2e91730ed43236b1a6dc2c4d2d213550a5442cc40de0b0faa0e563a02cf8b37c83d994920bf3edc3011724ae1e24ed10beee34533bc094263b4429766d6a5cbd3bebd04af79c6e6393bfd3afdd54f32aed477a1266a6fa939a75907eac2e89b444625515be403e3fe79efae4268a025b6ac5df0544d369d14901b062dfe829b3ebe5ea0ec135854ab15c412c28ec183a2d2207aa9e63fe00cf366bd361a0a3b7a346740447e426625e06cb82900c5d8e1a87e44a93369e66ffeac96426f2353da1d60383944cb6188dbadd5ec31e7a383aa35692fea89fceb16755f5955cc7525faae17ff0ad39848190436204c8e1258dad3578d94a895d9a37f2bdbfda0c02a201814f86a1c8f0cdfa96d49272b73c22499caad5707dd18b945a2883a978684db102f522ca7cf73f53bc1e51ddca83d87895688a3341e39a88a68e02c9522082a3434848ec8d090b422c9472aab7c53177d3895c34d29fd002c029ff2eab02d78505e40836a30b771f55dfca36992ffe727dd852d6bc3cddcef3e23095aac2b1622e962f59969924803e5412263371c131e4e141d4032165ba9e36e1870bec579edc2c7b454f30272f762af05775f6a0fc1cf4555ad1d561bf1b22c4b3c3d7fdbe5d260bdc67c60d67c50b69d88ae16962ca4c354a201163a4712391c6c1c82f20e17ac1de0ecc4238e3248d7b67cb347647a6f1232001037c00b7e738829d3ce2ad6c50b6e71ccaeba509ccabb983b5f105db76f7126ea906b436ec457179d023d162693bd156131f37e2c0209d20325f84ba5996b88a82b224abf7fb4e3542bb360a86803ab0d7407edec1a90dd36508db072f8c4dba73646a69da442720abac87cdcbcb53d0ed40e1d1e858e3dba5f1027525bada0e1526d9822db20d4ff38b30b4f5aaeabe2225029926add375ff6d1c232fe6154a1a8f43ec809ffe95048faf61f681cc014f2f327574fe6d7680b40cf6ccbb7c1e59bf89a446a28e366da4dea52267952fee356706df7bb170c655efed8997f14eb0c22c17072efe3136084317afc417c512a03dae6859fcab223bef32533ca4849a5f06793ba6075625f2ab800bb7d30862cf2085781c2e42d9b5956fe874f4ca854fbe3b3d55095bf44977316e3814d9d4086f2de9631025bf27fdd1969e908a1ba0389013d9def449a8defa1d1b9ef367ad17777881dadf91b7ca9bb1f0fcefc9e0244be9a7db771f2be94436915bb94078c183d81ffb76cf8295eb12958c52d62e8014d36042522e8f0e5294eb5acbd3cc86454f50159a4d6cdbf05b5cb7a7dadb710bd721b98a53b5156f10c17c87c39de13bd0c9f77648de693c506732686e15aaecbf6c60d7f29c62a10f03c3314eae46559ebab610061ea3074c129b91626bab3df1323722e6203ee15d3a2427b6b420b173941b2b744f06079d963a3b711e3fb7b696995eec08f50b275e278e5f5e303040ada9dac06580d4d25bfdadc10e233ab9b297bd3e3ed11bead68ebfff25b974a1b632e502a2083f89f0e5c303a00eda5f0c8e5c74cc3c57a78d03aeecf8678745cd19df10c36586fc5b3ebd95139e5100cdc99df2273a89cdf54fc3a0e01d4954ed09a76d13fd3e20f74b0bc4549dd3af0e0c940e133783dcfe2b28dd64675672020a5220904e7b128335190e48dd83b2692460b44da0e1f39c27227d4f8e64ae52d712ab32cc6b058f45b9e66803565423324f0a69743e8209e1dd0098ddfd0427d5fccf2b0c43929f54db5e803bbf83a454cae3fd02533a72243e61816489a2c6803b72981a416144cb233b2930adecd97bd2808c56d2d7423ee72aa586c70035060242b8261163bf4290b00915b70dad64679800706586ca0ad6ff327468eb670e8a8481ad9fcdf6b95eab71f654e5931868e4395356c28514dac486ea6bfff5b5a5b19c3bafa085609c0239468da8dd9aa6e0c3472e1e9920de7443e2c6af524a4130f185ca181fbb477c41c1da087d7928ef116be07260e4d273e98c5a50e8533a5072930c0f8c3fae7b9339ce4376f5bfb9175d2dfcb88c3cc5e2cd2817a01ca075e00a0f738f94f9655cecca49dc6441774a5adf1b78dd0146cc8063533538f242524a2d1c9dd28749e770c83a0080077dc86cfd4653c811a85de25f8b3260a31d431fa2173f488123213970ea2a17de5a9692abfe68945ecd840c2feda33578c637b2911b5f12cd0b8db51c4e7d7a1962b5c4b1b1977efe70235eed88d8f65badf7d33174a10871f6316d2c6c9c7324304082d66ea7600715ffb6b98b93285d09de1d3376de791a798295d75810856a8e5f41ec6a07d935276de528ecfa6dea4af15634f323ffd946752d5434c515ac1ced86799d89d74a7c4b974c05a86c97f73374a2fa53011dbf2b034add2aab40cf0ab9d4d38deeec50b4aea302d85c4d7ba38391bbf222f8109bec0e2c2ee28b9456e906ab14063025292a0b3f6e09530640596b5abe8bf2b1b29a38019109ad9aee52192618b09b512d5b99e5d97c6d5e4d287d7397cdfc89497c1d6bc01baa3b4b3650764a401d2c7c62bf2b5d9937bb2682f0fb24d8550acba4206bd035b06b272b6807af1a487ad37ef7f05965f29e2f41ba02d159948e0c88198e8629b5ee0975b3eecdfefd1e90d52e3271df087a13fd0488a0698451dd9568082717419447a105ebd87a7af5cd3cba41fc8e0106af6e9e6eedc07bbae5462b1f92e79e66533e5c1b97c2c841a7cf1bf521bb41b7c0d263135d040dca7f29a97f006efab49ff2596f755804f14bc913c771f4fb4f41c40df1199cc5adf8763eacfa6c90e0c05e3f6857b4c9cb1c43b9ec038adf72c7ea75557e784c268a8c24a3af268b70879eabc067dfc44915a345d3c6149b0d98b83c380ba56c34142865941168a261a362dc13a89e11666c5df5d0d5344e2bb9d404ac0dcaeb8b5f57e6a3e65bf9f8c114526a847bcfec1b9564d1bad25284640940b6191a9041986ea9393f0b96f32cef753a8fad03c0bf43bc3e75a4eb87eecfeb501f124d824460342b9119e7cdb79e932fa3810a4d8184f77527ecd17e4b9bd90495975110156db54a3dfd770f93f31055065b8bd3ec35ed7aaeac13e87a56df0cac60f622ca08d873c9fafbca8a5dda03b66ce55ac826ec1f8f2af7da790d7b9577b1622454c3abdf15631be991fc7f7abd3f9ffcc55abfcd437c4677f0809dbb29fe7a07df233f7e89d4351678f3cebfde94c06399ce4bb95bd28561d3a642acc0c58cbfa3bef6c75c48ec459103cc238f420f221f39940be7b6138ad5f8ec4a518049367cc60c6901f1ff2d2cb237a571d91c3892c7a68c5488f1962267805634843c9efc774e2e5ae8c803639332ac3b9991bb78c3fe91825803da84361c68a2b999edd91c5229f271e369911eb8530799cd8a380c2b86e0b6dfab10f0354d6956f451128f3ff1e5619af5db924a68699a9cea14340ab172bf7bdedebfbe05d5860c00f802d7e06bbb090f2473cf6f5461871450d7aeb3551dff0c99bbb7d5a0d51277cd977b29cc75936f02255283bc0e7163b5ac752d5c8d81447c27957ced3208480da2f64483cce8b55638e92eb16c8551cf3ccc15070758f142919c096480101f0c6275b51f7798778fbc3403ec339f8ffd0f7a8d097c551a8a3cc67da81b70e850350598b060f4a4eb1a74566e1042991d1bdd37f1555cdd01f143f1c217a166b7da4752f451026e752f14dde256ea005da8d7b66a11d8e0a7313b001436fcb7e80faa62ee16754b46f2115cac444256d241f096d92092080a2119cb42a4747af0857f1b15038c1cc7a47e2e4f4a9661f2988187904aa8db548d3cf6be66053c069c1a58406122445691b6d18875aa3683722ae672f1152143157291c592d90ba0c33bb42335ca63973e4970a80252d13e21278ea80b91277b50eb3bef216efa34bce4a90a5902ad56df20e8bddce4eda95a7cc5ec3d4500ef572037366389b31bb43de8f99b1a9eb21ef3cf1195e259a4f695358d1bb56e4362cc4acc33b20841c4b7e6f413ac9e34f8c40c900b92bebf4f87ceef02febc1b1283730b44b37fc738d6ca04b337ef5d44ebcc6ac778d50fb964a5f7c422a7456b769cafb1797eb449df55cb1861d2ac93472919a1300d96513e67ab9eba6b26e52d2aacae9497bc03ead72e749848cbe2b5b22bfd3df49d2b4c5a37aea2c36571327d16be7ee2c3254189f4d9194c5634f1c3a32aa5db7215e0c9bd299b69c1fbd8bcafd6d1db815c4b4c6f56a9af546408b738d91c019ba6abfb6b0e36f1e9562d7cab3d1d52a942466c8c1c0291680563642ad39bdae819b3261c39c95bd061cfb543ffab70e9769268f99d45c476fb234a899d1544da0537b262b03df82c32e3a71c7bca3d71dc118bfbb4b0ef2f381ed2e86cda2f4ee02b39ff943e87dd3c4f11874484f8df3c9009970cb3a2362cb978df606f93deb7a7cb3a8fd941f9366e3e8aeec83bd117231787a1935726b60cc9e4f59ea4e80bb96930ca1bcbf206480882f65213d58b29660a43886a17fde35877cc80baf66d7c93e1bfab3617cd06323060ef3e17aa856a9be6e4067d9f473c522d9b22769a310768f8f4c6c301d25b98f5df91d5df78bf53f2ecf7dd63c149704efcc44cb2ff04a036f2ca99097b7985292c7eb0e5c8cdf3f06070bc08f90240830f39fbe0f42901a43333105e8d3990bcc41fe74e799cede14abf6cd04f6bd751d7373753eef22c17e2d53be123a12831f5e168ba9154230204afc9d382241a5d7e79b1f554f07a469ca9c692d2a88402e2297d05c3ab584ab99fc13a13ec61d985351edf18418338ea88e9842e0d54d33d2d72d3d80340cbed15eff33182d7857189f53671092bd2cae3f6307d83c058a0c61477648b4ac9157604b2f790d517cd1fee557d08b78214a471580e1c6a5c26e7d933ab438560c4a2422d58101320929e9488d3b717202522bf0c9e27d6450dc21ecb1ac4ef894bac01787f053297a7ceb524794a6db4a767d92f815ec94897cf07ea4944089eb72ea46e55ddb76d2ac983a43a60aea9fc6758960e3693401cc19e8133e3f1b55d3858cbe5f37d23a2a4802cef62583095cf08168855cd7626267d0f4e5cb1f04062bfc3bbdd8e0d6ea770f20f49d9c3670b709074241fa0d9baffb86e1a10b82b67d5f6de0c5d89830b58017e7f3de0958c7f3cc8e13b38ad85a207fae8118051b812011737b0bd98651f351671c62753df677ee81bc29497fe73208f06eed0e3de58bb75b3b52957f33aaad8a08458718fdd3d52c5e6feaba003d9374be476ad11cae226d9358fac2d99d625388d446364a57bd73acfe3ee5c91a7fbe1046608356d94c4030bd163987b35f6bc5646cef6424ef8634ab80515cb57e73bfda8b31e3a65101bbf4fb6a5f5549ae16a2637a6dcc505879dfaa82ca934d392c45559f7cc8c3c5be4cbd6b4d06226b56406f66c53a42afa3f2b21bb95fa926d2b0a4d50808b3c1584501b5a3a88b78832ff50786eba10969cfab069ea514721d3643df9344fbf9c13d22003f51c4bfc1fa581681246e1862e618e39ae00283a34829a0c03e80c73cab39527e504159314bcc8404c39007f0d545bd0178ea26ca0aa955b1f6eb6d5cfdbc659ae2fc486fb66ba9a88cd6094a96e90000\";\n        uint256 len = image_.length + 1;\n        require(len <= 24576, \"image too big\");\n        bytes memory code = abi.encodePacked(hex\"61\", uint16(len), hex\"80600c6000396000f300\", image_);\n        address a;\n        assembly {\n            a := create(0, add(code, 32), mload(code))\n        }\n        require(a != address(0), \"image store failed\");\n        IMAGE = a;\n        _setDefaultRoyalty(initialOwner, 500); // 5%\n    }\n\n    /// @notice How many of `qty` mints would be free for this wallet right now.\n    function freeFor(address wallet, uint256 qty) public view returns (uint256 n) {\n        uint256 w = FREE_PER_WALLET - freeUsed[wallet];\n        uint256 p = FREE_SUPPLY - freeClaimed;\n        n = w < p ? w : p;\n        if (qty < n) n = qty;\n    }\n\n    /// @notice Free mints this wallet still has (limited by the remaining free pool).\n    function freeLeft(address wallet) external view returns (uint256) {\n        return freeFor(wallet, FREE_PER_WALLET);\n    }\n\n    /// @notice Exact BNB (wei) a wallet must send to mint qty.\n    function quote(address wallet, uint256 qty) public view returns (uint256) {\n        return (qty - freeFor(wallet, qty)) * PRICE;\n    }\n\n    function mint(uint256 qty) external payable {\n        if (msg.sender != tx.origin) revert OnlyWallets();\n        if (!mintOpen) revert MintClosed();\n        if (qty == 0) revert BadQuantity();\n        if (totalSupply + qty > MAX_SUPPLY) revert SoldOut();\n        if (mintedBy[msg.sender] + qty > MAX_PER_WALLET) revert WalletLimit();\n        string memory handle;\n        try AGENT_ID.handleOf(msg.sender) returns (string memory h) {\n            handle = h;\n        } catch {\n            revert NoAgentId();\n        }\n        if (bytes(handle).length == 0) revert NoAgentId();\n        uint256 free = freeFor(msg.sender, qty);\n        if (msg.value != (qty - free) * PRICE) revert WrongPayment();\n\n        if (free > 0) {\n            freeUsed[msg.sender] += free;\n            freeClaimed += free;\n        }\n        mintedBy[msg.sender] += qty;\n        for (uint256 i; i < qty; ++i) {\n            uint256 id = ++totalSupply;\n            _mint(msg.sender, id);\n            emit Launched(msg.sender, id, handle);\n        }\n    }\n\n    // ---------------- on-chain art ----------------\n\n    function _seed(uint256 id) internal pure returns (uint256) {\n        return uint256(keccak256(abi.encodePacked(\"Witchibo\", id)));\n    }\n\n    function _r(uint256 s, uint256 i) internal pure returns (uint256) {\n        return uint256(keccak256(abi.encodePacked(s, i)));\n    }\n\n    /// @dev HSL (h 0-359, s and l 0-100) to an rgb() string, which every SVG renderer reads.\n    function _hsl(uint256 h, uint256 s, uint256 l) internal pure returns (string memory) {\n        h %= 360;\n        int256 c = (100 - _abs(int256(2 * l) - 100)) * int256(s) * 255 / 10000;\n        int256 x = c * (60 - _abs(int256(h % 120) - 60)) / 60;\n        int256 m = int256(l) * 255 / 100 - c / 2;\n        int256 r; int256 g; int256 b;\n        if (h < 60) (r, g, b) = (c, x, 0);\n        else if (h < 120) (r, g, b) = (x, c, 0);\n        else if (h < 180) (r, g, b) = (0, c, x);\n        else if (h < 240) (r, g, b) = (0, x, c);\n        else if (h < 300) (r, g, b) = (x, 0, c);\n        else (r, g, b) = (c, 0, x);\n        return string.concat(\"rgb(\", _u(r + m), \",\", _u(g + m), \",\", _u(b + m), \")\");\n    }\n\n    function _abs(int256 v) internal pure returns (int256) {\n        return v < 0 ? -v : v;\n    }\n\n    function _u(int256 v) internal pure returns (string memory) {\n        if (v < 0) v = 0;\n        if (v > 255) v = 255;\n        return uint256(v).toString();\n    }\n\n    function _pick(string[4] memory names, uint256 r) internal pure returns (string memory) {\n        return names[r % 4];\n    }\n\n    function _T1() internal pure returns (string[4] memory) {\n        return [\"Witch kid\", \"Witch kid\", \"Witch kid\", \"Witch kid\"];\n    }\n    function _T2() internal pure returns (string[4] memory) {\n        return [\"Moon witch hat\", \"Moon witch hat\", \"Moon witch hat\", \"Moon witch hat\"];\n    }\n    function _T3() internal pure returns (string[4] memory) {\n        return [\"Candle rim light\", \"Candle rim light\", \"Candle rim light\", \"Candle rim light\"];\n    }\n    function _T4() internal pure returns (string[4] memory) {\n        return [\"Pumpkin forest\", \"Pumpkin forest\", \"Pumpkin forest\", \"Pumpkin forest\"];\n    }\n\n\n    /// @notice Raw artwork bytes read from the IMAGE data contract.\n    function _img() internal view returns (bytes memory b) {\n        address a = IMAGE;\n        uint256 n = a.code.length - 1;\n        b = new bytes(n);\n        assembly {\n            extcodecopy(a, add(b, 32), 1, n)\n        }\n    }\n\n    function _svg(uint256) internal view returns (string memory) {\n        return string.concat('<svg xmlns=\"http://www.w3.org/2000/svg\" viewBox=\"0 0 400 400\"><image width=\"400\" height=\"400\" href=\"data:image/webp;base64,', Base64.encode(_img()), '\"/></svg>');\n    }\n\n    function _attributes(uint256 s) internal pure returns (string memory) {\n        return string.concat(\n            '[{\"trait_type\":\"Character\",\"value\":\"', _pick(_T1(), s), '\"},',\n            '{\"trait_type\":\"Outfit\",\"value\":\"', _pick(_T2(), s >> 8), '\"},',\n            '{\"trait_type\":\"Light\",\"value\":\"', _pick(_T3(), s >> 16), '\"},',\n            '{\"trait_type\":\"Background\",\"value\":\"', _pick(_T4(), s >> 80), '\"}]'\n        );\n    }\n\n    /// @notice The token's SVG image.\n    function image(uint256 id) public view returns (string memory) {\n        _requireOwned(id);\n        return _svg(_seed(id));\n    }\n\n    function tokenURI(uint256 id) public view override returns (string memory) {\n        _requireOwned(id);\n        uint256 s = _seed(id);\n        string memory json = string.concat(\n            '{\"name\":\"Witchibo #', id.toString(),\n            '\",\"description\":\"Witchibo is 9977 Cute little witch kid with moon charm hat in a moonlit pumpkin forest. Art generated fully on-chain on BNB Chain. Minted by .ai Agent ID holders.\",',\n            '\"image\":\"data:image/svg+xml;base64,', Base64.encode(bytes(_svg(s))),\n            '\",\"attributes\":', _attributes(s), '}'\n        );\n        return string.concat(\"data:application/json;base64,\", Base64.encode(bytes(json)));\n    }\n\n    /// @notice Collection-level metadata for marketplaces.\n    function contractURI() external pure returns (string memory) {\n        string memory json = string.concat(\n            '{\"name\":\"Witchibo\",\"description\":\"Witchibo is 9977 Cute little witch kid with moon charm hat in a moonlit pumpkin forest. Art generated fully on-chain on BNB Chain. Mint is gated to .ai Agent ID holders.\",',\n            '\"seller_fee_basis_points\":500}'\n        );\n        return string.concat(\"data:application/json;base64,\", Base64.encode(bytes(json)));\n    }\n\n    // ---------------- owner ----------------\n\n    function setMintOpen(bool open) external onlyOwner {\n        mintOpen = open;\n    }\n\n    function setRoyalty(address receiver, uint96 feeBps) external onlyOwner {\n        _setDefaultRoyalty(receiver, feeBps);\n    }\n\n    function withdraw() external onlyOwner {\n        (bool ok,) = owner().call{value: address(this).balance}(\"\");\n        if (!ok) revert WithdrawFailed();\n    }\n\n    function supportsInterface(bytes4 interfaceId) public view override(ERC721, ERC2981) returns (bool) {\n        return super.supportsInterface(interfaceId);\n    }\n}"}},"abi":[{"type":"constructor","inputs":[{"name":"initialOwner","type":"address","internalType":"address"}],"stateMutability":"nonpayable"},{"name":"BadQuantity","type":"error","inputs":[]},{"name":"ERC2981InvalidDefaultRoyalty","type":"error","inputs":[{"name":"numerator","type":"uint256","internalType":"uint256"},{"name":"denominator","type":"uint256","internalType":"uint256"}]},{"name":"ERC2981InvalidDefaultRoyaltyReceiver","type":"error","inputs":[{"name":"receiver","type":"address","internalType":"address"}]},{"name":"ERC2981InvalidTokenRoyalty","type":"error","inputs":[{"name":"tokenId","type":"uint256","internalType":"uint256"},{"name":"numerator","type":"uint256","internalType":"uint256"},{"name":"denominator","type":"uint256","internalType":"uint256"}]},{"name":"ERC2981InvalidTokenRoyaltyReceiver","type":"error","inputs":[{"name":"tokenId","type":"uint256","internalType":"uint256"},{"name":"receiver","type":"address","internalType":"address"}]},{"name":"ERC721IncorrectOwner","type":"error","inputs":[{"name":"sender","type":"address","internalType":"address"},{"name":"tokenId","type":"uint256","internalType":"uint256"},{"name":"owner","type":"address","internalType":"address"}]},{"name":"ERC721InsufficientApproval","type":"error","inputs":[{"name":"operator","type":"address","internalType":"address"},{"name":"tokenId","type":"uint256","internalType":"uint256"}]},{"name":"ERC721InvalidApprover","type":"error","inputs":[{"name":"approver","type":"address","internalType":"address"}]},{"name":"ERC721InvalidOperator","type":"error","inputs":[{"name":"operator","type":"address","internalType":"address"}]},{"name":"ERC721InvalidOwner","type":"error","inputs":[{"name":"owner","type":"address","internalType":"address"}]},{"name":"ERC721InvalidReceiver","type":"error","inputs":[{"name":"receiver","type":"address","internalType":"address"}]},{"name":"ERC721InvalidSender","type":"error","inputs":[{"name":"sender","type":"address","internalType":"address"}]},{"name":"ERC721NonexistentToken","type":"error","inputs":[{"name":"tokenId","type":"uint256","internalType":"uint256"}]},{"name":"MintClosed","type":"error","inputs":[]},{"name":"NoAgentId","type":"error","inputs":[]},{"name":"OnlyWallets","type":"error","inputs":[]},{"name":"OwnableInvalidOwner","type":"error","inputs":[{"name":"owner","type":"address","internalType":"address"}]},{"name":"OwnableUnauthorizedAccount","type":"error","inputs":[{"name":"account","type":"address","internalType":"address"}]},{"name":"SoldOut","type":"error","inputs":[]},{"name":"WalletLimit","type":"error","inputs":[]},{"name":"WithdrawFailed","type":"error","inputs":[]},{"name":"WrongPayment","type":"error","inputs":[]},{"name":"Approval","type":"event","inputs":[{"name":"owner","type":"address","indexed":true,"internalType":"address"},{"name":"approved","type":"address","indexed":true,"internalType":"address"},{"name":"tokenId","type":"uint256","indexed":true,"internalType":"uint256"}],"anonymous":false},{"name":"ApprovalForAll","type":"event","inputs":[{"name":"owner","type":"address","indexed":true,"internalType":"address"},{"name":"operator","type":"address","indexed":true,"internalType":"address"},{"name":"approved","type":"bool","indexed":false,"internalType":"bool"}],"anonymous":false},{"name":"Launched","type":"event","inputs":[{"name":"to","type":"address","indexed":true,"internalType":"address"},{"name":"tokenId","type":"uint256","indexed":true,"internalType":"uint256"},{"name":"agent","type":"string","indexed":false,"internalType":"string"}],"anonymous":false},{"name":"OwnershipTransferred","type":"event","inputs":[{"name":"previousOwner","type":"address","indexed":true,"internalType":"address"},{"name":"newOwner","type":"address","indexed":true,"internalType":"address"}],"anonymous":false},{"name":"Transfer","type":"event","inputs":[{"name":"from","type":"address","indexed":true,"internalType":"address"},{"name":"to","type":"address","indexed":true,"internalType":"address"},{"name":"tokenId","type":"uint256","indexed":true,"internalType":"uint256"}],"anonymous":false},{"name":"AGENT_ID","type":"function","inputs":[],"outputs":[{"name":"","type":"address","internalType":"contract IAgentIdRegistry"}],"stateMutability":"view"},{"name":"FREE_PER_WALLET","type":"function","inputs":[],"outputs":[{"name":"","type":"uint256","internalType":"uint256"}],"stateMutability":"view"},{"name":"FREE_SUPPLY","type":"function","inputs":[],"outputs":[{"name":"","type":"uint256","internalType":"uint256"}],"stateMutability":"view"},{"name":"IMAGE","type":"function","inputs":[],"outputs":[{"name":"","type":"address","internalType":"address"}],"stateMutability":"view"},{"name":"MAX_PER_WALLET","type":"function","inputs":[],"outputs":[{"name":"","type":"uint256","internalType":"uint256"}],"stateMutability":"view"},{"name":"MAX_SUPPLY","type":"function","inputs":[],"outputs":[{"name":"","type":"uint256","internalType":"uint256"}],"stateMutability":"view"},{"name":"PRICE","type":"function","inputs":[],"outputs":[{"name":"","type":"uint256","internalType":"uint256"}],"stateMutability":"view"},{"name":"approve","type":"function","inputs":[{"name":"to","type":"address","internalType":"address"},{"name":"tokenId","type":"uint256","internalType":"uint256"}],"outputs":[],"stateMutability":"nonpayable"},{"name":"balanceOf","type":"function","inputs":[{"name":"owner","type":"address","internalType":"address"}],"outputs":[{"name":"","type":"uint256","internalType":"uint256"}],"stateMutability":"view"},{"name":"contractURI","type":"function","inputs":[],"outputs":[{"name":"","type":"string","internalType":"string"}],"stateMutability":"pure"},{"name":"freeClaimed","type":"function","inputs":[],"outputs":[{"name":"","type":"uint256","internalType":"uint256"}],"stateMutability":"view"},{"name":"freeFor","type":"function","inputs":[{"name":"wallet","type":"address","internalType":"address"},{"name":"qty","type":"uint256","internalType":"uint256"}],"outputs":[{"name":"n","type":"uint256","internalType":"uint256"}],"stateMutability":"view"},{"name":"freeLeft","type":"function","inputs":[{"name":"wallet","type":"address","internalType":"address"}],"outputs":[{"name":"","type":"uint256","internalType":"uint256"}],"stateMutability":"view"},{"name":"freeUsed","type":"function","inputs":[{"name":"","type":"address","internalType":"address"}],"outputs":[{"name":"","type":"uint256","internalType":"uint256"}],"stateMutability":"view"},{"name":"getApproved","type":"function","inputs":[{"name":"tokenId","type":"uint256","internalType":"uint256"}],"outputs":[{"name":"","type":"address","internalType":"address"}],"stateMutability":"view"},{"name":"image","type":"function","inputs":[{"name":"id","type":"uint256","internalType":"uint256"}],"outputs":[{"name":"","type":"string","internalType":"string"}],"stateMutability":"view"},{"name":"isApprovedForAll","type":"function","inputs":[{"name":"owner","type":"address","internalType":"address"},{"name":"operator","type":"address","internalType":"address"}],"outputs":[{"name":"","type":"bool","internalType":"bool"}],"stateMutability":"view"},{"name":"mint","type":"function","inputs":[{"name":"qty","type":"uint256","internalType":"uint256"}],"outputs":[],"stateMutability":"payable"},{"name":"mintOpen","type":"function","inputs":[],"outputs":[{"name":"","type":"bool","internalType":"bool"}],"stateMutability":"view"},{"name":"mintedBy","type":"function","inputs":[{"name":"","type":"address","internalType":"address"}],"outputs":[{"name":"","type":"uint256","internalType":"uint256"}],"stateMutability":"view"},{"name":"name","type":"function","inputs":[],"outputs":[{"name":"","type":"string","internalType":"string"}],"stateMutability":"view"},{"name":"owner","type":"function","inputs":[],"outputs":[{"name":"","type":"address","internalType":"address"}],"stateMutability":"view"},{"name":"ownerOf","type":"function","inputs":[{"name":"tokenId","type":"uint256","internalType":"uint256"}],"outputs":[{"name":"","type":"address","internalType":"address"}],"stateMutability":"view"},{"name":"quote","type":"function","inputs":[{"name":"wallet","type":"address","internalType":"address"},{"name":"qty","type":"uint256","internalType":"uint256"}],"outputs":[{"name":"","type":"uint256","internalType":"uint256"}],"stateMutability":"view"},{"name":"renounceOwnership","type":"function","inputs":[],"outputs":[],"stateMutability":"nonpayable"},{"name":"royaltyInfo","type":"function","inputs":[{"name":"tokenId","type":"uint256","internalType":"uint256"},{"name":"salePrice","type":"uint256","internalType":"uint256"}],"outputs":[{"name":"","type":"address","internalType":"address"},{"name":"","type":"uint256","internalType":"uint256"}],"stateMutability":"view"},{"name":"safeTransferFrom","type":"function","inputs":[{"name":"from","type":"address","internalType":"address"},{"name":"to","type":"address","internalType":"address"},{"name":"tokenId","type":"uint256","internalType":"uint256"}],"outputs":[],"stateMutability":"nonpayable"},{"name":"safeTransferFrom","type":"function","inputs":[{"name":"from","type":"address","internalType":"address"},{"name":"to","type":"address","internalType":"address"},{"name":"tokenId","type":"uint256","internalType":"uint256"},{"name":"data","type":"bytes","internalType":"bytes"}],"outputs":[],"stateMutability":"nonpayable"},{"name":"setApprovalForAll","type":"function","inputs":[{"name":"operator","type":"address","internalType":"address"},{"name":"approved","type":"bool","internalType":"bool"}],"outputs":[],"stateMutability":"nonpayable"},{"name":"setMintOpen","type":"function","inputs":[{"name":"open","type":"bool","internalType":"bool"}],"outputs":[],"stateMutability":"nonpayable"},{"name":"setRoyalty","type":"function","inputs":[{"name":"receiver","type":"address","internalType":"address"},{"name":"feeBps","type":"uint96","internalType":"uint96"}],"outputs":[],"stateMutability":"nonpayable"},{"name":"supportsInterface","type":"function","inputs":[{"name":"interfaceId","type":"bytes4","internalType":"bytes4"}],"outputs":[{"name":"","type":"bool","internalType":"bool"}],"stateMutability":"view"},{"name":"symbol","type":"function","inputs":[],"outputs":[{"name":"","type":"string","internalType":"string"}],"stateMutability":"view"},{"name":"tokenURI","type":"function","inputs":[{"name":"id","type":"uint256","internalType":"uint256"}],"outputs":[{"name":"","type":"string","internalType":"string"}],"stateMutability":"view"},{"name":"totalSupply","type":"function","inputs":[],"outputs":[{"name":"","type":"uint256","internalType":"uint256"}],"stateMutability":"view"},{"name":"transferFrom","type":"function","inputs":[{"name":"from","type":"address","internalType":"address"},{"name":"to","type":"address","internalType":"address"},{"name":"tokenId","type":"uint256","internalType":"uint256"}],"outputs":[],"stateMutability":"nonpayable"},{"name":"transferOwnership","type":"function","inputs":[{"name":"newOwner","type":"address","internalType":"address"}],"outputs":[],"stateMutability":"nonpayable"},{"name":"withdraw","type":"function","inputs":[],"outputs":[],"stateMutability":"nonpayable"}],"matchId":"58057018","creationMatch":"exact_match","runtimeMatch":"exact_match","verifiedAt":"2026-11-02T08:57:09Z","match":"exact_match","chainId":"56","address":"0x30e2ED57e433671907d7AEB01a7E7514e17FD649"}