Contract Source Code (Solidity Standard Json-Input format)

IDE

• Blockscan IDE

More Options

• Is this a proxy?
• Similar
• Submit Audit
• Compare

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.22;

import "@openzeppelin/contracts/utils/Strings.sol";
import {IERC20} from "@openzeppelin/contracts/token/ERC20/IERC20.sol";
import {ERC721} from "@openzeppelin/contracts/token/ERC721/ERC721.sol";
import {Ownable} from "@openzeppelin/contracts/access/Ownable.sol";

error MintLimitReached(uint256 current, uint256 limit);
error BigPudgyAlreadyClaimed(uint256 penguinId);
error TeamAlreadyClaimed();
error MintOut();
error MintNotStarted();
error InsufficientBalance(uint256 balance, uint256 required);
error AllowanceTooLow(uint256 allowance, uint256 required);
error TransferFailed();
error NotTokenOwner(uint256 tokenId);
error MaxLevelReached(uint256 tokenId);
error LevelTooLow(uint256 currentXp, uint256 requiredXp);
error AlreadyProtected(uint256 tokenId);
error NoTokensToWithdraw();

contract AbstractTest is ERC721, Ownable {

    IERC20 public penguToken;

    uint256[8] public levelModifiers;
    uint256[8] public levelCost;
    uint256[8] public levelTransferFee;
    string[8] public levelName;

    uint256 private _nextPudgyTokenId = 0;
    uint256 private _nextTokenId = 333;
    uint256 private _nextPublicTokenId = 1221;
    uint256 constant MAX_SUPPLY = 2222;
    uint256 public mintCost;

    bool public publicMintStarted = false;
    bool public isRevealed = false;
    bool public teamClaimed = false;

    string private baseURI = "";

    mapping (uint256 => uint256) timeHeld;
    mapping (uint256 => uint256) transferLevel;
    mapping (uint256 => uint256) public fiendLevel;
    mapping (uint256 => uint256) public pudgyFiends;

    constructor()
        ERC721("AbstractFiend", "FIEND")
        Ownable(msg.sender)
    {
        levelModifiers = [100, 105, 110, 120, 135, 155, 200];
        levelCost = [0, 3000, 3150, 4400, 9600, 24975, 56575];
        levelTransferFee = [0, 2000, 4000, 8000, 16000, 32000, 64000];
        levelName = ["Pleb", "Imp", "Troll", "Gremlin", "Degenerate", "Fiend", "OG"];
    }

    function adminInitPenguTokenAddress(address tokenAddress) onlyOwner external{
        penguToken = IERC20(tokenAddress);
    }

    function adminTogglePublicMintStart() public onlyOwner{
        publicMintStarted = !publicMintStarted;
    }

    function adminPenguinAirdrop(address _to, uint256 _PudgyId) public onlyOwner{
        require(_nextPudgyTokenId < 111, MintLimitReached(_nextPudgyTokenId, 111));
        require(pudgyFiends[_PudgyId] == 0, BigPudgyAlreadyClaimed(_PudgyId));
        _safeMint(_to, _nextPudgyTokenId);
        fiendLevel[_nextPudgyTokenId] = 6;
        pudgyFiends[_PudgyId] = _nextPudgyTokenId;
        _nextPudgyTokenId++;
    }

    function adminTeamClaim() public onlyOwner{
        require(!teamClaimed, TeamAlreadyClaimed());
        uint256 tokenId = 111;
        for (uint i = 0; i < 222; i++) {
            _safeMint(msg.sender, tokenId);
            tokenId++;
        }
        teamClaimed = true;
    }

    function adminAirdrop(address _to) public onlyOwner{
        require(_nextTokenId < 1221, MintLimitReached(_nextTokenId, 1221));
        _safeMint(_to, _nextTokenId);
        _nextTokenId++;
    }

    function adminUpdateBaseURI(string memory _newURI) public onlyOwner{
        baseURI = _newURI;
    }

    function adminRevealMetadata() public onlyOwner{
        isRevealed = true;
    }

    function adminWithdraw() external onlyOwner {
        uint256 contractBalance = penguToken.balanceOf(address(this));
        require(contractBalance > 0, NoTokensToWithdraw());

        bool success = penguToken.transfer(msg.sender, contractBalance);
        require(success, TransferFailed());
    }

    function adminSetMintCost(uint256 _mintCost) external onlyOwner {
        mintCost = _mintCost;
    }

    /**
     * @dev Public Mint for Fiends, minted with $Pengu
     * 
     * Future Fiend needs to set the Allowance on the Pengu Contract first
     * afterwards Fiends should be mintable one by one. 
     */
    function publicMint() public {
        require(_nextPublicTokenId < MAX_SUPPLY, MintOut());
        require(publicMintStarted, MintNotStarted());
        
        uint256 feeAmountInPengu = mintCost*(10**18);
        require(
            penguToken.balanceOf(msg.sender) >= feeAmountInPengu, 
            InsufficientBalance(penguToken.balanceOf(msg.sender), feeAmountInPengu)
        );
        require(
            penguToken.allowance(msg.sender, address(this)) >= feeAmountInPengu,
            AllowanceTooLow(penguToken.allowance(msg.sender, address(this)), feeAmountInPengu)
        );

        bool success = penguToken.transferFrom(msg.sender, address(this), feeAmountInPengu);
        require(success, TransferFailed());

        _safeMint(msg.sender, _nextPublicTokenId);
        _nextPublicTokenId++;
    }

    function levelUpFiend(uint256 tokenId) public {

        require((ownerOf(tokenId) == msg.sender), NotTokenOwner(tokenId));
        require(fiendLevel[tokenId]<6, MaxLevelReached(fiendLevel[tokenId]));
        require(levelCost[fiendLevel[tokenId]+1] <= getFiendXp(tokenId), LevelTooLow(getFiendXp(tokenId), levelCost[fiendLevel[tokenId]+1]));
        
        fiendLevel[tokenId] = fiendLevel[tokenId]+1;
        resetTimeHeld(tokenId);
    }

    function protectLevelOnTransfer(uint256 tokenId) public{
        uint256 fiendLvl = fiendLevel[tokenId];
        uint256 transferLvl = transferLevel[tokenId];
        require(fiendLvl > transferLevel[tokenId], AlreadyProtected(tokenId));

        uint256 feeAmountInPengu = (levelTransferFee[fiendLvl] - levelTransferFee[transferLvl])*(10**18);
        require(
            penguToken.balanceOf(msg.sender) >= feeAmountInPengu,
            InsufficientBalance(penguToken.balanceOf(msg.sender), feeAmountInPengu)
        );
        require(
            penguToken.allowance(msg.sender, address(this)) >= feeAmountInPengu,
            AllowanceTooLow(penguToken.allowance(msg.sender, address(this)), feeAmountInPengu)
        );
    
        bool success = penguToken.transferFrom(msg.sender, address(this), feeAmountInPengu);
        require(success, TransferFailed());
        transferLevel[tokenId] = transferLevel[tokenId] + 1;

    }

    function getTimeHeldInSeconds(uint256 tokenId) public view returns (uint256){
        return block.timestamp - timeHeld[tokenId];
    }

    function getTimeHeldInDays(uint256 tokenId) public view returns (uint256){
        return getTimeHeldInSeconds(tokenId)/60/60/24;
    }

    function getFiendXp(uint256 tokenId) public view returns (uint256){
        return getTimeHeldInDays(tokenId) * levelModifiers[fiendLevel[tokenId]];
    }

    function getFiendLevel(uint256 tokenId) public view returns (string memory){
        return levelName[fiendLevel[tokenId]];
    }

    function isLevelProtected(uint256 tokenId) public view returns (bool){
        return fiendLevel[tokenId] == transferLevel[tokenId];
    }

    function tokenURI(uint256 tokenId) public view override returns (string memory) {
        if(!isRevealed){
            return string(
                abi.encodePacked(
                    baseURI,
                    "prereveal.json"
                )
            );
        }
        return string(
                abi.encodePacked(
                    baseURI,
                    Strings.toString(tokenId),
                    ".json"
                )
            );  
    }

    //Private
    function resetTimeHeld(uint256 tokenId) private {
        timeHeld[tokenId] = block.timestamp;
    }

    function resetFiendLevel(uint256 tokenId) private {
        fiendLevel[tokenId] = 0;
    }

    function resetTransferProtection(uint256 tokenId) private {
        transferLevel[tokenId] = 0;
    }


    function _update(address to, uint256 tokenId, address auth)
        internal
        override(ERC721)
        returns (address)
    {
        if(!isLevelProtected(tokenId)){
            resetFiendLevel(tokenId);
        }
        resetTimeHeld(tokenId);
        resetTransferProtection(tokenId);
        return super._update(to, tokenId, auth);
    }

}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.2.0) (utils/Strings.sol)

pragma solidity ^0.8.20;

import {Math} from "./math/Math.sol";
import {SafeCast} from "./math/SafeCast.sol";
import {SignedMath} from "./math/SignedMath.sol";

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

    bytes16 private constant HEX_DIGITS = "0123456789abcdef";
    uint8 private constant ADDRESS_LENGTH = 20;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    uint256 private constant ABS_MIN_INT256 = 2 ** 255;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

        return value;
    }

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

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.1.0) (token/ERC20/IERC20.sol)

pragma solidity ^0.8.20;

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

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

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

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

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

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

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

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

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.1.0) (token/ERC721/ERC721.sol)

pragma solidity ^0.8.20;

import {IERC721} from "./IERC721.sol";
import {IERC721Metadata} from "./extensions/IERC721Metadata.sol";
import {ERC721Utils} from "./utils/ERC721Utils.sol";
import {Context} from "../../utils/Context.sol";
import {Strings} from "../../utils/Strings.sol";
import {IERC165, ERC165} from "../../utils/introspection/ERC165.sol";
import {IERC721Errors} from "../../interfaces/draft-IERC6093.sol";

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

    // Token name
    string private _name;

    // Token symbol
    string private _symbol;

    mapping(uint256 tokenId => address) private _owners;

    mapping(address owner => uint256) private _balances;

    mapping(uint256 tokenId => address) private _tokenApprovals;

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

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

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

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

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

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

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

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

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

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

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

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

        return _getApproved(tokenId);
    }

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

        _owners[tokenId] = to;

        emit Transfer(from, to, tokenId);

        return from;
    }

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

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

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

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

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

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

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

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

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

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

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

        _tokenApprovals[tokenId] = to;
    }

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

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

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.0.0) (access/Ownable.sol)

pragma solidity ^0.8.20;

import {Context} from "../utils/Context.sol";

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

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

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

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

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

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

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

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

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

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

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

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.1.0) (utils/math/Math.sol)

pragma solidity ^0.8.20;

import {Panic} from "../Panic.sol";
import {SafeCast} from "./SafeCast.sol";

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

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

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

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

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

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

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

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

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

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

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

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

    /**
     * @dev Calculates floor(x * y / denominator) with full precision. Throws if result overflows a uint256 or
     * denominator == 0.
     *
     * Original credit to Remco Bloemen under MIT license (https://xn--2-umb.com/21/muldiv) with further edits by
     * Uniswap Labs also under MIT license.
     */
    function mulDiv(uint256 x, uint256 y, uint256 denominator) internal pure returns (uint256 result) {
        unchecked {
            // 512-bit multiply [prod1 prod0] = x * y. Compute the product mod 2²⁵⁶ and mod 2²⁵⁶ - 1, then use
            // the Chinese Remainder Theorem to reconstruct the 512 bit result. The result is stored in two 256
            // variables such that product = prod1 * 2²⁵⁶ + prod0.
            uint256 prod0 = x * y; // Least significant 256 bits of the product
            uint256 prod1; // Most significant 256 bits of the product
            assembly {
                let mm := mulmod(x, y, not(0))
                prod1 := sub(sub(mm, prod0), lt(mm, prod0))
            }

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

        uint256 mLen = m.length;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

            result += SafeCast.toUint(value > 1);
        }
        return result;
    }

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

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

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

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

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

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

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

            result += SafeCast.toUint(value > (1 << 8) - 1);
        }
        return result;
    }

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

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

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

pragma solidity ^0.8.20;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.1.0) (utils/math/SignedMath.sol)

pragma solidity ^0.8.20;

import {SafeCast} from "./SafeCast.sol";

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

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

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

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

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

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

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.1.0) (token/ERC721/IERC721.sol)

pragma solidity ^0.8.20;

import {IERC165} from "../../utils/introspection/IERC165.sol";

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

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

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

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

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

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

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

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

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

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

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

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

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.0.0) (token/ERC721/extensions/IERC721Metadata.sol)

pragma solidity ^0.8.20;

import {IERC721} from "../IERC721.sol";

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

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

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

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.1.0) (token/ERC721/utils/ERC721Utils.sol)

pragma solidity ^0.8.20;

import {IERC721Receiver} from "../IERC721Receiver.sol";
import {IERC721Errors} from "../../../interfaces/draft-IERC6093.sol";

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

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.0.1) (utils/Context.sol)

pragma solidity ^0.8.20;

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

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

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

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.1.0) (utils/introspection/ERC165.sol)

pragma solidity ^0.8.20;

import {IERC165} from "./IERC165.sol";

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.1.0) (utils/Panic.sol)

pragma solidity ^0.8.20;

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

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

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.1.0) (utils/introspection/IERC165.sol)

pragma solidity ^0.8.20;

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

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.1.0) (token/ERC721/IERC721Receiver.sol)

pragma solidity ^0.8.20;

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

{
  "viaIR": false,
  "codegen": "yul",
  "remappings": [
    "@openzeppelin/contracts/=lib/openzeppelin-contracts/contracts/",
    "erc4626-tests/=lib/openzeppelin-contracts/lib/erc4626-tests/",
    "forge-std/=lib/forge-std/src/",
    "halmos-cheatcodes/=lib/openzeppelin-contracts/lib/halmos-cheatcodes/src/",
    "openzeppelin-contracts/=lib/openzeppelin-contracts/"
  ],
  "evmVersion": "cancun",
  "outputSelection": {
    "*": {
      "*": [
        "abi",
        "metadata"
      ],
      "": [
        "ast"
      ]
    }
  },
  "optimizer": {
    "enabled": true,
    "mode": "3",
    "fallback_to_optimizing_for_size": false,
    "disable_system_request_memoization": true
  },
  "metadata": {},
  "libraries": {},
  "detectMissingLibraries": false,
  "enableEraVMExtensions": false,
  "forceEVMLA": false
}

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[{"internalType":"uint256","name":"allowance","type":"uint256"},{"internalType":"uint256","name":"required","type":"uint256"}],"name":"AllowanceTooLow","type":"error"},{"inputs":[{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"AlreadyProtected","type":"error"},{"inputs":[{"internalType":"uint256","name":"penguinId","type":"uint256"}],"name":"BigPudgyAlreadyClaimed","type":"error"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"uint256","name":"tokenId","type":"uint256"},{"internalType":"address","name":"owner","type":"address"}],"name":"ERC721IncorrectOwner","type":"error"},{"inputs":[{"internalType":"address","name":"operator","type":"address"},{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"ERC721InsufficientApproval","type":"error"},{"inputs":[{"internalType":"address","name":"approver","type":"address"}],"name":"ERC721InvalidApprover","type":"error"},{"inputs":[{"internalType":"address","name":"operator","type":"address"}],"name":"ERC721InvalidOperator","type":"error"},{"inputs":[{"internalType":"address","name":"owner","type":"address"}],"name":"ERC721InvalidOwner","type":"error"},{"inputs":[{"internalType":"address","name":"receiver","type":"address"}],"name":"ERC721InvalidReceiver","type":"error"},{"inputs":[{"internalType":"address","name":"sender","type":"address"}],"name":"ERC721InvalidSender","type":"error"},{"inputs":[{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"ERC721NonexistentToken","type":"error"},{"inputs":[{"internalType":"uint256","name":"balance","type":"uint256"},{"internalType":"uint256","name":"required","type":"uint256"}],"name":"InsufficientBalance","type":"error"},{"inputs":[{"internalType":"uint256","name":"currentXp","type":"uint256"},{"internalType":"uint256","name":"requiredXp","type":"uint256"}],"name":"LevelTooLow","type":"error"},{"inputs":[{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"MaxLevelReached","type":"error"},{"inputs":[{"internalType":"uint256","name":"current","type":"uint256"},{"internalType":"uint256","name":"limit","type":"uint256"}],"name":"MintLimitReached","type":"error"},{"inputs":[],"name":"MintNotStarted","type":"error"},{"inputs":[],"name":"MintOut","type":"error"},{"inputs":[],"name":"NoTokensToWithdraw","type":"error"},{"inputs":[{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"NotTokenOwner","type":"error"},{"inputs":[{"internalType":"address","name":"owner","type":"address"}],"name":"OwnableInvalidOwner","type":"error"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"OwnableUnauthorizedAccount","type":"error"},{"inputs":[],"name":"TeamAlreadyClaimed","type":"error"},{"inputs":[],"name":"TransferFailed","type":"error"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"approved","type":"address"},{"indexed":true,"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"operator","type":"address"},{"indexed":false,"internalType":"bool","name":"approved","type":"bool"}],"name":"ApprovalForAll","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":true,"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[{"internalType":"address","name":"_to","type":"address"}],"name":"adminAirdrop","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"tokenAddress","type":"address"}],"name":"adminInitPenguTokenAddress","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256","name":"_PudgyId","type":"uint256"}],"name":"adminPenguinAirdrop","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"adminRevealMetadata","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_mintCost","type":"uint256"}],"name":"adminSetMintCost","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"adminTeamClaim","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"adminTogglePublicMintStart","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"string","name":"_newURI","type":"string"}],"name":"adminUpdateBaseURI","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"adminWithdraw","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"approve","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"fiendLevel","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"getApproved","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"getFiendLevel","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"getFiendXp","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"getTimeHeldInDays","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"getTimeHeldInSeconds","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"operator","type":"address"}],"name":"isApprovedForAll","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"isLevelProtected","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"isRevealed","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"levelCost","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"levelModifiers","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"levelName","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"levelTransferFee","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"levelUpFiend","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"mintCost","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"ownerOf","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"penguToken","outputs":[{"internalType":"contract IERC20","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"protectLevelOnTransfer","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"publicMint","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"publicMintStarted","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"pudgyFiends","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"safeTransferFrom","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"tokenId","type":"uint256"},{"internalType":"bytes","name":"data","type":"bytes"}],"name":"safeTransferFrom","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"operator","type":"address"},{"internalType":"bool","name":"approved","type":"bool"}],"name":"setApprovalForAll","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes4","name":"interfaceId","type":"bytes4"}],"name":"supportsInterface","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"teamClaimed","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"tokenURI","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"transferFrom","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"}]

9c4d535b00000000000000000000000000000000000000000000000000000000000000000100053fde4e0cf0a7bb08e139f2b121e0e00b7e19f7df67fbc8d866c7bb450300000000000000000000000000000000000000000000000000000000000000600000000000000000000000000000000000000000000000000000000000000000

0x0002000000000002000800000000000200010000000103550000008003000039000000400030043f0000000100200190000000350000c13d00000060021002700000049503200197000000040030008c00000b3e0000413d000000000201043b000000e002200270000004b30020009c000000690000213d000004d10020009c0000008b0000213d000004e00020009c0000028c0000a13d000004e10020009c000002fb0000213d000004e50020009c000004210000613d000004e60020009c000003b30000613d000004e70020009c00000b3e0000c13d000000240030008c00000b3e0000413d0000000002000416000000000002004b00000b3e0000c13d0000000401100370000000000101043b000800000001001d000000000010043f0000000201000039000000200010043f0000000001000414000004950010009c0000049501008041000000c00110021000000508011001c700008010020000391251124c0000040f000000010020019000000b3e0000613d000000000101043b000000000101041a0000049f01100198000006660000c13d0000052001000041000008ba0000013d0000000001000416000000000001004b00000b3e0000c13d0000000d01000039000000800010043f0000049601000041000000a00010043f0000010001000039000000400010043f0000000501000039000000c00010043f0000049701000041000000e00010043f000000000100041a000000010210019000000001011002700000007f0110618f0000001f0010008c00000000030000390000000103002039000000000032004b000000630000c13d000000200010008c000000560000413d00000498020000410000001f011000390000000501100270000004990110009a000000000000043f000000000002041b0000000102200039000000000012004b000000520000413d0000049a01000041000000000010041b0000000101000039000000000301041a000000010030019000000001023002700000007f0220618f0000001f0020008c00000000040000390000000104002039000000000343013f00000001003001900000009e0000613d0000051701000041000000000010043f0000002201000039000000040010043f000004ef010000410000125300010430000004b40020009c000000b30000213d000004c30020009c000002b70000a13d000004c40020009c0000030d0000213d000004c80020009c000004310000613d000004c90020009c000003bf0000613d000004ca0020009c00000b3e0000c13d000000440030008c00000b3e0000413d0000000002000416000000000002004b00000b3e0000c13d0000000402100370000000000202043b000800000002001d0000049f0020009c00000b3e0000213d0000002401100370000000000201043b000000000002004b0000000001000039000000010100c039000700000002001d000000000012004b00000b3e0000c13d000000080000006b0000072f0000c13d0000050a01000041000000af0000013d000004d20020009c000002c40000a13d000004d30020009c000003330000213d000004d70020009c0000044f0000613d000004d80020009c000003ca0000613d000004d90020009c00000b3e0000c13d000000240030008c00000b3e0000413d0000000002000416000000000002004b00000b3e0000c13d0000000401100370000000000101043b12510f320000040f000005530000013d000000200020008c000000a90000413d000000000010043f0000049b030000410000001f0220003900000005022002700000049c0220009a000000000003041b0000000103300039000000000023004b000000a50000413d0000049d02000041000000000021041b0000000006000411000000000006004b000000d60000c13d000004f001000041000000000010043f000000040000043f000004ef010000410000125300010430000004b50020009c000002e90000a13d000004b60020009c000003560000213d000004ba0020009c0000045a0000613d000004bb0020009c000003d30000613d000004bc0020009c00000b3e0000c13d0000000001000416000000000001004b00000b3e0000c13d0000000601000039000000000101041a0000049f011001970000000002000411000000000021004b000006370000c13d0000000701000039000000000201041a000004f101000041000000800010043f0000000001000410000000840010043f00000000010004140000049f02200197000000040020008c000800000002001d0000068d0000c13d0000000003000031000000200030008c00000020040000390000000004034019000006b10000013d0000000601000039000000000201041a0000049e03200197000000000363019f000000000031041b00000000010004140000049f05200197000004950010009c0000049501008041000000c001100210000004a0011001c70000800d020000390000000303000039000004a104000041125112470000040f000000010020019000000b3e0000613d0000002801000039000000000001041b0000014d010000390000002902000039000000000012041b000004c5010000390000002a02000039000000000012041b0000002c01000039000000000201041a000004a202200197000000000021041b0000002d01000039000000000301041a000000010030019000000001023002700000007f0220618f0000001f0020008c00000000040000390000000104002039000000000343013f0000000100300190000000050a0000390000000d09000039000000630000c13d000000200020008c0000010b0000413d000000000010043f000004a3030000410000001f022000390000000502200270000004a40220009a000000000003041b0000000103300039000000000023004b000001070000413d000000000001041b000000400100043d000004a50010009c00000a890000813d000000e002100039000000400020043f000000c003100039000000c8020000390000000000230435000000a0031000390000009b04000039000000000043043500000080031000390000008705000039000000000053043500000060031000390000007806000039000000000063043500000040031000390000006e070000390000000000730435000000200310003900000069080000390000000000830435000000640300003900000000003104350000000f01000039000000000001041b0000000801000039000000000031041b0000000901000039000000000081041b0000000a01000039000000000071041b0000000b03000039000000000063041b0000000c03000039000000000053041b000000000049041b0000000e03000039000000000023041b000000400300043d000004a60030009c00000a890000213d000000e002300039000000400020043f000000c0043000390000dcff020000390000000000240435000000a0043000390000618f050000390000000000540435000000800430003900002580060000390000000000640435000000600430003900001130070000390000000000740435000000400430003900000c4e080000390000000000840435000000200430003900000bb809000039000000000094043500000000000304350000001703000039000000000003041b0000001003000039000000000003041b0000001103000039000000000093041b0000001203000039000000000083041b0000001303000039000000000073041b0000001403000039000000000063041b0000001503000039000000000053041b0000001603000039000000000023041b000000400300043d000004a60030009c00000a890000213d000000e002300039000000400020043f000000c0043000390000fa00020000390000000000240435000000a00430003900007d00050000390000000000540435000000800430003900003e80060000390000000000640435000000600430003900001f40070000390000000000740435000000400430003900000fa00800003900000000008404350000002004300039000007d009000039000000000094043500000000000304350000001f03000039000000000003041b0000001803000039000000000003041b0000001903000039000000000093041b0000001a03000039000000000083041b0000001b03000039000000000073041b0000001c03000039000000000063041b0000001d03000039000000000053041b0000001e03000039000000000023041b000000400600043d000004a60060009c00000a890000213d000000e002600039000000400020043f000004a70060009c00000a890000213d0000012003600039000000400030043f0000000403000039000000000032043500000000022604360000010003600039000004a8040000410000000000430435000000400300043d000004a90030009c00000a890000213d0000004004300039000000400040043f0000002004300039000004aa050000410000000000540435000000030400003900000000004304350000000000320435000000400200043d000004a90020009c00000a890000213d0000004003200039000000400030043f0000002003200039000004ab0400004100000000004304350000000000a2043500000040036000390000000000230435000000400200043d000004a90020009c00000a890000213d0000004003200039000000400030043f0000002003200039000004ac0400004100000000004304350000000703000039000000000032043500000060036000390000000000230435000000400200043d000004a90020009c00000a890000213d0000004003200039000000400030043f0000002003200039000004ad040000410000000000430435000000000012043500000080016000390000000000210435000000400100043d000004a90010009c00000a890000213d0000004002100039000000400020043f0000002002100039000004ae0300004100000000003204350000000000a10435000000a0026000390000000000120435000000400100043d000004a90010009c00000a890000213d0000004002100039000000400020043f0000002002100039000004af03000041000000000032043500000002020000390000000000210435000000c00260003900000000001204350000002701000039000000000201041a000000010020019000000001032002700000007f0330618f000700000003001d0000001f0030008c00000000030000390000000103002039000000000232013f0000000100200190000000630000c13d000800000006001d000000070000006b0000020e0000613d00000007020000290000001f0020008c0000020d0000a13d000000000010043f0000000001000414000004950010009c0000049501008041000000c001100210000004b0011001c700008010020000391251124c0000040f000000010020019000000b3e0000613d000000000201043b00000007010000290000001f01100039000000050110027000000000011200190000000102200039000000000012004b000001ff0000813d000000000002041b0000000102200039000000000012004b000001fb0000413d0000002701000039000000000010043f0000000001000414000004950010009c0000049501008041000000c001100210000004b0011001c700008010020000391251124c0000040f000000010020019000000b3e0000613d000000000101043b0000002702000039000000000002041b000000000001041b0000002005000039000000000400001900000008060000290000021b0000013d000000010170021000000001011001bf00000007040000290000000605000029000000000015041b000000060040008c0000000104400039000000010550003900000bf30000813d00000000630604340000000087030434000004b10070009c00000a890000213d000000000105041a000000010010019000000001091002700000007f0990618f0000001f0090008c00000000020000390000000102002039000000000121013f0000000100100190000000630000c13d000000200090008c000800000006001d000700000004001d000600000005001d000500000007001d000400000003001d000002510000413d000200000009001d000300000008001d000000000050043f0000000001000414000004950010009c0000049501008041000000c001100210000004b0011001c700008010020000391251124c0000040f000000010020019000000b3e0000613d00000005070000290000001f027000390000000502200270000000200070008c0000000002004019000000000301043b00000002010000290000001f01100039000000050110027000000000011300190000000002230019000000000012004b0000000806000029000000070400002900000006050000290000000308000029000002510000813d000000000002041b0000000102200039000000000012004b0000024d0000413d0000001f0070008c000002720000a13d000000000050043f0000000001000414000004950010009c0000049501008041000000c001100210000004b0011001c700008010020000391251124c0000040f000000010020019000000b3e0000613d00000005070000290000052702700198000000000101043b0000027e0000613d000000010320008a00000005033002700000000003310019000000010430003900000020030000390000000806000029000000040800002900000000058300190000000005050433000000000051041b00000020033000390000000101100039000000000041004b000002680000c13d000000000072004b000002120000813d000002830000013d000000000007004b000002760000613d0000000001080433000002770000013d00000000010000190000000302700210000005280220027f0000052802200167000000000121016f0000000102700210000000000121019f000002160000013d000000200300003900000008060000290000000408000029000000000072004b000002120000813d0000000302700210000000f80220018f000005280220027f000005280220016700000000038300190000000003030433000000000223016f000000000021041b000002120000013d000004e80020009c000003670000a13d000004e90020009c000004730000613d000004ea0020009c000004880000613d000004eb0020009c00000b3e0000c13d000000440030008c00000b3e0000413d0000000002000416000000000002004b00000b3e0000c13d0000000402100370000000000202043b000800000002001d0000049f0020009c00000b3e0000213d0000002401100370000000000101043b000700000001001d000000000010043f0000000201000039000000200010043f0000000001000414000004950010009c0000049501008041000000c00110021000000508011001c700008010020000391251124c0000040f000000010020019000000b3e0000613d000000000101043b000000000101041a0000049f05100198000007600000c13d0000052001000041000000000010043f0000000701000029000000040010043f000004ef010000410000125300010430000004cb0020009c000003720000a13d000004cc0020009c0000049a0000613d000004cd0020009c000004bb0000613d000004ce0020009c00000b3e0000c13d0000000001000416000000000001004b00000b3e0000c13d00000006010000390000037a0000013d000004da0020009c0000037f0000a13d000004db0020009c000005170000613d000004dc0020009c000005200000613d000004dd0020009c00000b3e0000c13d000000240030008c00000b3e0000413d0000000002000416000000000002004b00000b3e0000c13d0000000401100370000000000101043b000000000010043f0000003001000039000000200010043f0000000001000414000004950010009c0000049501008041000000c00110021000000508011001c700008010020000391251124c0000040f000000010020019000000b3e0000613d000000000101043b000000000101041a000000070010008c0000042a0000a13d0000051701000041000000000010043f0000003201000039000000040010043f000004ef010000410000125300010430000004bd0020009c0000038a0000a13d000004be0020009c0000053a0000613d000004bf0020009c0000054a0000613d000004c00020009c00000b3e0000c13d000000240030008c00000b3e0000413d0000000002000416000000000002004b00000b3e0000c13d0000000401100370000000000101043b000000000010043f0000003001000039000005430000013d000004e20020009c0000055a0000613d000004e30020009c000003e50000613d000004e40020009c00000b3e0000c13d0000000001000416000000000001004b00000b3e0000c13d125111310000040f0000002c01000039000000000201041a0000052903200197000000ff0020019000000001033061bf000000000031041b0000000001000019000012520001042e000004c50020009c000005620000613d000004c60020009c000003f00000613d000004c70020009c00000b3e0000c13d000000840030008c00000b3e0000413d0000000002000416000000000002004b00000b3e0000c13d0000000402100370000000000202043b000800000002001d0000049f0020009c00000b3e0000213d0000002402100370000000000202043b000700000002001d0000049f0020009c00000b3e0000213d0000006402100370000000000402043b000004b10040009c00000b3e0000213d0000002302400039000000000032004b00000b3e0000813d0000000402400039000000000221034f000000000202043b0000004401100370000000000101043b000600000001001d000000240140003912510d420000040f000500000001001d0000052e0000013d000004d40020009c0000057c0000613d000004d50020009c000003fb0000613d000004d60020009c00000b3e0000c13d000000440030008c00000b3e0000413d0000000002000416000000000002004b00000b3e0000c13d0000000402100370000000000202043b000800000002001d0000049f0020009c00000b3e0000213d0000002401100370000000000301043b0000000601000039000000000101041a0000049f021001970000000001000411000000000012004b000006320000c13d0000002801000039000000000201041a0000006f0020008c000007880000413d0000050701000041000000000010043f000000040020043f0000006f01000039000000240010043f000004f5010000410000125300010430000004b70020009c000005890000613d000004b80020009c000004140000613d000004b90020009c00000b3e0000c13d0000000001000416000000000001004b00000b3e0000c13d125111310000040f0000002c01000039000000000201041a0000052a0220019700000100022001bf000000000021041b0000000001000019000012520001042e000004ec0020009c000005a60000613d000004ed0020009c00000b3e0000c13d0000000001000416000000000001004b00000b3e0000c13d0000002c01000039000000000101041a000000ff00100190000004550000013d000004cf0020009c000005b90000613d000004d00020009c00000b3e0000c13d0000000001000416000000000001004b00000b3e0000c13d0000000701000039000000000101041a0000049f01100197000000800010043f000004f801000041000012520001042e000004de0020009c0000061f0000613d000004df0020009c00000b3e0000c13d0000000001000416000000000001004b00000b3e0000c13d0000002c01000039000000000101041a0000051200100198000004550000013d000004c10020009c0000062a0000613d000004c20020009c00000b3e0000c13d000000240030008c00000b3e0000413d0000000002000416000000000002004b00000b3e0000c13d0000000402100370000000000402043b0000002c02000039000000000202041a0000ff0000200190000006410000c13d0000002d03000039000000000203041a000000010420019000000001012002700000007f0110618f0000001f0010008c00000000050000390000000105002039000000000552013f0000000100500190000000630000c13d000000000004004b000007c70000613d000000000030043f000000000001004b000007c90000613d000004a3020000410000000003000019000000000402041a000000a005300039000000000045043500000001022000390000002003300039000000000013004b000003ab0000413d000007c90000013d000000240030008c00000b3e0000413d0000000002000416000000000002004b00000b3e0000c13d0000000401100370000000000101043b12510d7a0000040f000000000001004b0000000001000039000000010100c039000005530000013d000000240030008c00000b3e0000413d0000000002000416000000000002004b00000b3e0000c13d0000000401100370000000000101043b000000070010008c00000b3e0000213d0000001001100039000005460000013d000000240030008c00000b3e0000413d0000000002000416000000000002004b00000b3e0000c13d0000000401100370000000000101043b12510ee80000040f000005530000013d000000240030008c00000b3e0000413d0000000002000416000000000002004b00000b3e0000c13d0000000401100370000000000101043b000800000001001d0000049f0010009c00000b3e0000213d125111310000040f0000000701000039000000000201041a0000049e0220019700000008022001af000000000021041b0000000001000019000012520001042e0000000001000416000000000001004b00000b3e0000c13d0000002a01000039000000000101041a000008ae0010008c000006460000413d0000051c01000041000000000010043f000004f7010000410000125300010430000000240030008c00000b3e0000413d0000000002000416000000000002004b00000b3e0000c13d0000000401100370000000000101043b000000070010008c00000b3e0000213d0000000801100039000005460000013d0000000001000416000000000001004b00000b3e0000c13d0000000601000039000000000201041a0000049f032001970000000005000411000000000053004b0000063c0000c13d0000049e02200197000000000021041b0000000001000414000004950010009c0000049501008041000000c001100210000004a0011001c70000800d020000390000000303000039000004a1040000410000000006000019125112470000040f000000010020019000000b3e0000613d0000000001000019000012520001042e000000240030008c00000b3e0000413d0000000001000416000000000001004b00000b3e0000c13d125111310000040f00000004010000390000000101100367000000000101043b0000002b02000039000000000012041b0000000001000019000012520001042e000000240030008c00000b3e0000413d0000000002000416000000000002004b00000b3e0000c13d0000000401100370000000000101043b000000070010008c00000b3e0000213d000000200110003912510ce30000040f0000002002000039000000400300043d000800000003001d00000000022304360000065b0000013d0000000001000416000000000001004b00000b3e0000c13d0000000103000039000000000203041a000000010420019000000001012002700000007f0110618f0000001f0010008c00000000050000390000000105002039000000000552013f0000000100500190000000630000c13d000000800010043f000000000004004b0000064e0000613d000000000030043f000000000001004b000004860000613d0000049b030000410000000004000019000000000503041a000000a002400039000000000052043500000001033000390000002004400039000000000014004b000004470000413d000006530000013d0000000001000416000000000001004b00000b3e0000c13d0000002c01000039000000000101041a0000ff00001001900000000001000039000000010100c039000000800010043f000004f801000041000012520001042e000000440030008c00000b3e0000413d0000000002000416000000000002004b00000b3e0000c13d0000000402100370000000000202043b0000049f0020009c00000b3e0000213d0000002401100370000000000101043b000800000001001d0000049f0010009c00000b3e0000213d000000000020043f0000000501000039000000200010043f0000004001000039125112360000040f0000000802000029000000000020043f000000200010043f0000004001000039125112360000040f0000036f0000013d0000000001000416000000000001004b00000b3e0000c13d000000000200041a000000010320019000000001012002700000007f0110618f0000001f0010008c00000000040000390000000104002039000000000442013f0000000100400190000000630000c13d000000800010043f000000000003004b0000064e0000613d000000000000043f000000000001004b000007d50000c13d0000008002000039000006530000013d000000240030008c00000b3e0000413d0000000002000416000000000002004b00000b3e0000c13d0000000401100370000000000101043b000800000001001d12510f320000040f0000000801000029000000000010043f0000000401000039000000200010043f0000004001000039125112360000040f000000000101041a0000049f01100197000005530000013d0000000001000416000000000001004b00000b3e0000c13d0000000601000039000000000101041a0000049f021001970000000001000411000000000012004b000006320000c13d0000002c02000039000000000202041a0000051200200198000006bf0000c13d0000006f020000390000000003000019000700000003001d000800000002001d000000080200002912510f6e0000040f000000070300002900000008020000290000000001000411000000dd0030008c00000001033000390000000102200039000004a90000413d0000002c02000039000000000102041a000005140110019700000515011001c7000000000012041b0000000001000019000012520001042e000000240030008c00000b3e0000413d0000000002000416000000000002004b00000b3e0000c13d0000000401100370000000000101043b000800000001001d000000000010043f0000003001000039000000200010043f0000000001000414000004950010009c0000049501008041000000c00110021000000508011001c700008010020000391251124c0000040f000000010020019000000b3e0000613d000000000101043b000000000101041a000700000001001d0000000801000029000000000010043f0000002f01000039000000200010043f0000000001000414000004950010009c0000049501008041000000c00110021000000508011001c700008010020000391251124c0000040f000000010020019000000b3e0000613d000000000101043b000000000101041a000600000001001d0000000801000029000000000010043f0000002f01000039000000200010043f0000000001000414000004950010009c0000049501008041000000c00110021000000508011001c700008010020000391251124c0000040f000000010020019000000b3e0000613d000000000101043b000000000101041a0000000702000029000000000012004b000008b90000a13d000000070020008c0000000601000029000002e30000213d000000070010008c000002e30000213d0000001801100039000000000101041a0000001802200039000000000202041a000000000112004b000007e40000413d0006050c001000d5000005040000613d00000006011000f90000050c0010009c000007e40000c13d0000000701000039000000000201041a000000400300043d000004f1010000410000000000130435000700000003001d00000004013000390000000003000411000000000031043500000000010004140000049f02200197000500000002001d000000040020008c00000a130000c13d0000000003000031000000200030008c0000002004000039000000000403401900000a3d0000013d000000240030008c00000b3e0000413d0000000002000416000000000002004b00000b3e0000c13d0000000401100370000000000101043b12510ec00000040f000005530000013d0000000001000416000000000001004b00000b3e0000c13d000000000103001912510d300000040f000800000001001d000700000002001d000600000003001d000000400100043d000500000001001d000000200200003912510cd10000040f0000000501000029000000000001043500000008010000290000000702000029000000060300002912510d9d0000040f000000000100041100000008020000290000000703000029000000060400002900000005050000291251113d0000040f0000000001000019000012520001042e000000240030008c00000b3e0000413d0000000002000416000000000002004b00000b3e0000c13d0000000401100370000000000101043b000000000010043f0000003101000039000000200010043f0000004001000039125112360000040f000000000101041a000000800010043f000004f801000041000012520001042e000000240030008c00000b3e0000413d0000000002000416000000000002004b00000b3e0000c13d0000000401100370000000000101043b12510ec00000040f000004f90110012a000000400200043d0000000000120435000004950020009c00000495020080410000004001200210000004fa011001c7000012520001042e0000000001000416000000000001004b00000b3e0000c13d000000000103001912510d300000040f12510d9d0000040f0000000001000019000012520001042e000000240030008c00000b3e0000413d0000000002000416000000000002004b00000b3e0000c13d0000000401100370000000000101043b0000049f0010009c00000b3e0000213d0000000602000039000000000202041a0000049f032001970000000002000411000000000023004b000006370000c13d0000002902000039000000000202041a000004c50020008c000007df0000413d0000050701000041000000000010043f000000040020043f000004c501000039000000240010043f000004f5010000410000125300010430000000240030008c00000b3e0000413d0000000002000416000000000002004b00000b3e0000c13d0000000401100370000000000101043b0000049f0010009c00000b3e0000213d000000000001004b000006c30000c13d0000051901000041000000af0000013d000000240030008c00000b3e0000413d0000000002000416000000000002004b00000b3e0000c13d0000000401100370000000000601043b0000049f0060009c00000b3e0000213d0000000601000039000000000201041a0000049f032001970000000005000411000000000053004b0000063c0000c13d000000000006004b000000ae0000613d0000049e02200197000000000262019f000000000021041b0000000001000414000004950010009c0000049501008041000000c001100210000004a0011001c70000800d020000390000000303000039000004a1040000410000040f0000013d000000240030008c00000b3e0000413d0000000002000416000000000002004b00000b3e0000c13d0000000401100370000000000201043b000005230020019800000b3e0000c13d0000000101000039000005240020009c0000062f0000613d000005250020009c0000062f0000613d000005260020009c000000000100c019000000800010043f000004f801000041000012520001042e000000240030008c00000b3e0000413d0000000002000416000000000002004b00000b3e0000c13d0000000402100370000000000502043b000004b10050009c00000b3e0000213d0000002302500039000000000032004b00000b3e0000813d0000000406500039000000000261034f000000000202043b000004b10020009c00000a890000213d0000001f0720003900000527077001970000003f077000390000052707700197000005060070009c00000a890000213d00000024055000390000008007700039000000400070043f000000800020043f0000000005520019000000000035004b00000b3e0000213d0000002003600039000000000331034f00000527052001980000001f0620018f000000a001500039000005e30000613d000000a007000039000000000803034f000000008908043c0000000007970436000000000017004b000005df0000c13d000000000006004b000005f00000613d000000000353034f0000000305600210000000000601043300000000065601cf000000000656022f000000000303043b0000010005500089000000000353022f00000000035301cf000000000363019f0000000000310435000000a00120003900000000000104350000000601000039000000000101041a0000049f021001970000000001000411000000000012004b000006320000c13d000000800200043d000004b10020009c00000a890000213d0000002d01000039000000000501041a000000010050019000000001035002700000007f0330618f0000001f0030008c00000000060000390000000106002039000000000565013f0000000100500190000000630000c13d000000200030008c000006170000413d000000000010043f0000001f052000390000000505500270000004a40550009a000000200020008c000004a3050040410000001f033000390000000503300270000004a40330009a000000000035004b000006170000813d000000000005041b0000000105500039000000000035004b000006130000413d0000001f0020008c00000abf0000a13d000000000010043f000005270420019800000b110000c13d000000a005000039000004a30300004100000b1f0000013d000000240030008c00000b3e0000413d0000000002000416000000000002004b00000b3e0000c13d0000000401100370000000000101043b000000070010008c00000b3e0000213d0000001801100039000005460000013d0000000001000416000000000001004b00000b3e0000c13d0000002b01000039000000000101041a000000800010043f000004f801000041000012520001042e000004ee02000041000000000020043f000000040010043f000004ef010000410000125300010430000004ee01000041000000000010043f000000040020043f000004ef010000410000125300010430000004ee01000041000000000010043f000000040050043f000004ef010000410000125300010430000004fb0040009c000006c60000413d0000004005000039000004fb0240012a000006cf0000013d0000002c01000039000000000101041a000000ff00100190000007160000c13d0000051b01000041000000000010043f000004f70100004100001253000104300000052902200197000000a00020043f000000000001004b000000a0020000390000008002006039000000600220008a000000800100003912510cd10000040f0000002001000039000000400200043d000800000002001d0000000002120436000000800100003912510c9f0000040f00000008020000290000000001210049000004950010009c00000495010080410000006001100210000004950020009c00000495020080410000004002200210000000000121019f000012520001042e0000000002000411000000000021004b000007ea0000c13d0000000801000029000000000010043f0000003001000039000000200010043f0000000001000414000004950010009c0000049501008041000000c00110021000000508011001c700008010020000391251124c0000040f000000010020019000000b3e0000613d000000000101043b000000000101041a000700000001001d0000000801000029000000000010043f0000003001000039000000200010043f0000000001000414000004950010009c0000049501008041000000c00110021000000508011001c700008010020000391251124c0000040f000000010020019000000b3e0000613d0000000702000029000000060020008c000009690000413d000000000101043b000000000101041a0000051f02000041000006330000013d000004950010009c0000049501008041000000c001100210000004f2011001c71251124c0000040f000000800a00003900000060031002700000049503300197000000200030008c000000200400003900000000040340190000001f0640018f000000200740019000000080057001bf000006a10000613d000000000801034f000000008908043c000000000a9a043600000000005a004b0000069d0000c13d000000000006004b000006ae0000613d000000000771034f0000000306600210000000000805043300000000086801cf000000000868022f000000000707043b0000010006600089000000000767022f00000000066701cf000000000686019f0000000000650435000000000003001f0000000100200190000007ec0000613d0000001f01400039000000600110018f00000080021001bf000700000002001d000000400020043f000000200030008c00000b3e0000413d000000800200043d000000000002004b000008450000c13d000004f601000041000000000010043f000004f70100004100001253000104300000051301000041000000000010043f000004f7010000410000125300010430000000000010043f0000000301000039000005430000013d000004fd0040009c0000000002040019000004fc0220212a00000000050000390000002005002039000004fe0020009c00000010055081bf000004ff02208197000004fe0220812a000005000020009c0000000805508039000004b102208197000005000220812a000027100020008c00000004055080390000049502208197000027100220811a000000640020008c00000002055080390000ffff0220818f000000640220811a000000090020008c000000010550203900000527065001970000005f0760003900000527077001970000008007700039000000400070043f0000000107500039000000800070043f000000200060003a000006ed0000613d000000000131034f000000c003600039000000a006000039000000001701043c0000000006760436000000000036004b000006e90000c13d000000010000008b000000a101500039000000090040008c0000000a3440011a0000000303300210000000010110008a00000000050104330000050105500197000005020330021f0000050303300197000000000353019f0000000000310435000006ef0000213d0000002d06000039000000000506041a000000010750019000000001035002700000007f0330618f0000001f0030008c00000000010000390000000101002039000000000115013f0000000100100190000000630000c13d000000400100043d0000002004100039000000000007004b000007f80000613d000000000060043f000000000003004b000007fa0000613d000004a30500004100000000060000190000000007460019000000000805041a000000000087043500000001055000390000002006600039000000000036004b0000070e0000413d000007fa0000013d0000002b01000039000000000101041a0000050c031000d1000000000001004b0000071e0000613d00000000011300d90000050c0010009c000007e40000c13d0000000701000039000000000201041a000004f101000041000000800010043f0000000001000411000000840010043f00000000010004140000049f02200197000000040020008c000600000003001d000800000002001d000008600000c13d0000000003000031000000200030008c00000020040000390000000004034019000008840000013d0000000001000411000000000010043f0000000501000039000000200010043f0000000001000414000004950010009c0000049501008041000000c00110021000000508011001c700008010020000391251124c0000040f000000010020019000000b3e0000613d000000000101043b0000000802000029000000000020043f000000200010043f0000000001000414000004950010009c0000049501008041000000c00110021000000508011001c700008010020000391251124c0000040f000000010020019000000b3e0000613d000000000101043b000000000201041a00000529022001970000000703000029000000000232019f000000000021041b000000400100043d0000000000310435000004950010009c000004950100804100000040011002100000000002000414000004950020009c0000049502008041000000c002200210000000000112019f000004b0011001c70000800d0200003900000003030000390000050904000041000000000500041100000008060000290000040f0000013d0000000001000411000000000001004b000008a50000613d000000000015004b000008a50000613d000600000005001d000000000050043f0000000501000039000000200010043f0000000001000414000004950010009c0000049501008041000000c00110021000000508011001c700008010020000391251124c0000040f000000010020019000000b3e0000613d000000000101043b00000000020004110000049f02200197000000000020043f000000200010043f0000000001000414000004950010009c0000049501008041000000c00110021000000508011001c700008010020000391251124c0000040f000000010020019000000b3e0000613d000000000101043b000000000101041a000000ff0010019000000006050000290000000002000411000008a50000c13d0000052101000041000006380000013d000600000002001d000700000003001d000000000030043f0000003101000039000000200010043f0000000001000414000004950010009c0000049501008041000000c00110021000000508011001c700008010020000391251124c0000040f000000010020019000000b3e0000613d000000000101043b000000000101041a000000000001004b000009270000c13d0000000801000029000000060200002912510f6e0000040f0000002801000039000000000101041a000000000010043f0000003001000039000000200010043f0000000001000414000004950010009c0000049501008041000000c00110021000000508011001c700008010020000391251124c0000040f000000010020019000000b3e0000613d000000000101043b0000000602000039000000000021041b0000002801000039000000000101041a000800000001001d0000000701000029000000000010043f0000003101000039000000200010043f0000000001000414000004950010009c0000049501008041000000c00110021000000508011001c700008010020000391251124c0000040f000000010020019000000b3e0000613d000000000101043b0000000802000029000000000021041b000000010120003a000007e40000613d0000002802000039000000000012041b0000000001000019000012520001042e0000052902200197000000a00020043f000000a002100039000005050300004100000000003204350000000e02100039000000800020043f0000004d011000390000052702100197000005060020009c00000a890000213d00000080010000390000008003200039000008360000013d00000498030000410000000004000019000000000503041a000000a002400039000000000052043500000001033000390000002004400039000000000014004b000007d70000413d000006530000013d12510f6e0000040f0000002902000039000000000102041a000000010110003a0000041e0000c13d0000051701000041000000000010043f0000001101000039000000040010043f000004ef0100004100001253000104300000051d01000041000008ba0000013d0000001f0530018f000004f306300198000000400200043d000000000462001900000b4b0000613d000000000701034f0000000008020019000000007907043c0000000008980436000000000048004b000007f30000c13d00000b4b0000013d000005290550019700000000005404350000000003430019000000800400043d00000527064001970000001f0540018f000000a10030008c000008100000413d000000000006004b0000080b0000613d000000000853001900000080075001bf000000200880008a0000000009680019000000000a670019000000000a0a04330000000000a90435000000200660008c000008050000c13d000000000005004b000008260000613d000000a00600003900000000070300190000081c0000013d0000000007630019000000000006004b000008190000613d000000a0080000390000000009030019000000008a0804340000000009a90436000000000079004b000008150000c13d000000000005004b000008260000613d000000a0066000390000000305500210000000000807043300000000085801cf000000000858022f00000000060604330000010005500089000000000656022f00000000055601cf000000000585019f000000000057043500000000033400190000050404000041000000000043043500000000031300490000001b0430008a0000000000410435000000240330003900000527023001970000000003120019000000000023004b00000000020000390000000102004039000004b10030009c00000a890000213d000000010020019000000a890000c13d000800000003001d000000400030043f0000002002000039000000000223043612510c9f0000040f00000008020000290000000001210049000004950010009c0000049501008041000004950020009c000004950200804100000060011002100000004002200210000000000121019f000012520001042e000004f4030000410000000705000029000000000035043500000084031001bf00000000040004110000000000430435000000a403100039000000000023043500000000030004140000000802000029000000040020008c000008bf0000c13d0000000001150019000000400010043f00000007010000290000000001010433000000000001004b0000000002000039000000010200c039000000000021004b00000b3e0000c13d000000000001004b000004120000c13d0000051a01000041000000000010043f000004f7010000410000125300010430000004950010009c0000049501008041000000c001100210000004f2011001c71251124c0000040f00000060031002700000049503300197000000200030008c000000200400003900000000040340190000001f0640018f000000200740019000000080057001bf000008740000613d0000008008000039000000000901034f000000009a09043c0000000008a80436000000000058004b000008700000c13d000000000006004b000008810000613d000000000771034f0000000306600210000000000805043300000000086801cf000000000868022f000000000707043b0000010006600089000000000767022f00000000066701cf000000000686019f0000000000650435000000000003001f0000000100200190000008ed0000613d0000001f01400039000000600110018f00000080021001bf000700000002001d000000400020043f000000200030008c00000b3e0000413d000000800200043d000400000002001d000004f1020000410000000704000029000000000024043500000084021001bf0000000003000411000000000032043500000000030004140000000802000029000000040020008c000008f90000c13d0000000002140019000500000002001d000000400020043f0000000603000029000000040030006b000009350000813d000000070100002900000000010104330000051102000041000000000020043f000000040010043f000000240030043f000004f50100004100001253000104300000000001000414000004950010009c0000049501008041000000c001100210000004a0011001c70000800d020000390000000403000039000005220400004100000008060000290000000707000029125112470000040f000000010020019000000b3e0000613d0000000701000029000000000010043f0000000401000039000000200010043f0000004001000039125112360000040f000003df0000013d0000050b01000041000000000010043f0000000801000029000000040010043f000004ef010000410000125300010430000004950030009c0000049503008041000000c0013002100000004003500210000000000131019f000004f5011001c7125112470000040f000000070b00002900000060031002700000049503300197000000200030008c000000200400003900000000040340190000001f0640018f000000200740019000000000057b0019000008d60000613d000000000801034f00000000090b0019000000008a08043c0000000009a90436000000000059004b000008d20000c13d000000000006004b000008e30000613d000000000771034f0000000306600210000000000805043300000000086801cf000000000868022f000000000707043b0000010006600089000000000767022f00000000066701cf000000000686019f0000000000650435000000000003001f0000000100200190000009290000613d0000001f01400039000000600110018f0000000001b10019000000400010043f000000200030008c000008530000813d00000b3e0000013d0000001f0530018f000004f306300198000000400200043d000000000462001900000b4b0000613d000000000701034f0000000008020019000000007907043c0000000008980436000000000048004b000008f40000c13d00000b4b0000013d000004950030009c0000049503008041000000c0013002100000004003400210000000000131019f000004ef011001c71251124c0000040f00000060031002700000049503300197000000200030008c000000200400003900000000040340190000001f0640018f000000200740019000000007057000290000090f0000613d000000000801034f0000000709000029000000008a08043c0000000009a90436000000000059004b0000090b0000c13d000000000006004b0000091c0000613d000000000771034f0000000306600210000000000805043300000000086801cf000000000868022f000000000707043b0000010006600089000000000767022f00000000066701cf000000000686019f0000000000650435000000000003001f00000001002001900000095d0000613d0000001f01400039000000600110018f0000000702100029000500000002001d000000400020043f000000200030008c0000089a0000813d00000b3e0000013d0000051801000041000002b20000013d0000001f0530018f000004f306300198000000400200043d000000000462001900000b4b0000613d000000000701034f0000000008020019000000007907043c0000000008980436000000000048004b000009300000c13d00000b4b0000013d0000050d020000410000000504000029000000000024043500000000020004110000049f0320019700000004024001bf000400000003001d000000000032043500000000020004100000049f032001970000002402400039000300000003001d000000000032043500000000020004140000000803000029000000040030008c000009a60000c13d0000000502100029000700000002001d000000400020043f00000005020000290000000002020433000200000002001d00000007040000290000002402400039000000030300002900000000003204350000050d02000041000000000024043500000004024000390000000403000029000000000032043500000000020004140000000803000029000000040030008c000009d70000c13d0000000702100029000500000002001d000000400020043f00000a070000013d0000001f0530018f000004f306300198000000400200043d000000000462001900000b4b0000613d000000000701034f0000000008020019000000007907043c0000000008980436000000000048004b000009640000c13d00000b4b0000013d0000000801000029000000000010043f0000003001000039000000200010043f0000000001000414000004950010009c0000049501008041000000c00110021000000508011001c700008010020000391251124c0000040f000000010020019000000b3e0000613d000000000101043b000000000101041a000005280010009c000007e40000613d000000070210008a0000052b0020009c000002e30000a13d0000001101100039000000000101041a000700000001001d000000080100002912510ee80000040f000600000001001d000000080100002912510ee80000040f0000000802000029000000000020043f0000003002000039000000200020043f000500000001001d0000000001000414000004950010009c0000049501008041000000c00110021000000508011001c700008010020000391251124c0000040f000000010020019000000b3e0000613d000000000101043b000000000101041a000005280010009c000007e40000613d000000070210008a0000052c0020009c000002e30000413d0000000603000029000000070030006b00000bf80000a13d0000001101100039000000000101041a0000051e02000041000000000020043f0000000502000029000000040020043f000000240010043f000004f5010000410000125300010430000004950020009c0000049502008041000000c0012002100000000502000029000500000002001d0000004002200210000000000112019f000004f5011001c700000008020000291251124c0000040f00000060031002700000049503300197000000200030008c000000200400003900000000040340190000001f0640018f00000020074001900000000505700029000009bf0000613d000000000801034f0000000509000029000000008a08043c0000000009a90436000000000059004b000009bb0000c13d000000000006004b000009cc0000613d000000000771034f0000000306600210000000000805043300000000086801cf000000000868022f000000000707043b0000010006600089000000000767022f00000000066701cf000000000686019f0000000000650435000000000003001f000000010020019000000a8f0000613d0000001f01400039000000600110018f0000000502100029000700000002001d000000400020043f000000200030008c000009490000813d00000b3e0000013d000004950020009c0000049502008041000000c0012002100000000702000029000700000002001d0000004002200210000000000112019f000004f5011001c700000008020000291251124c0000040f00000060031002700000049503300197000000200030008c000000200400003900000000040340190000001f0640018f00000020074001900000000705700029000009f00000613d000000000801034f0000000709000029000000008a08043c0000000009a90436000000000059004b000009ec0000c13d000000000006004b000009fd0000613d000000000771034f0000000306600210000000000805043300000000086801cf000000000868022f000000000707043b0000010006600089000000000767022f00000000066701cf000000000686019f0000000000650435000000000003001f000000010020019000000ac90000613d0000001f01400039000000600110018f0000000702100029000500000002001d000000400020043f000000200030008c00000b3e0000413d0000000203000029000000060030006c00000a9b0000813d000000070100002900000000010104330000051002000041000000000020043f000000040010043f0000000601000029000000240010043f000004f50100004100001253000104300000000702000029000004950020009c00000495020080410000004002200210000004950010009c0000049501008041000000c001100210000000000121019f000004ef011001c700000005020000291251124c0000040f00000060031002700000049503300197000000200030008c000000200400003900000000040340190000001f0640018f0000002007400190000000070570002900000a2d0000613d000000000801034f0000000709000029000000008a08043c0000000009a90436000000000059004b00000a290000c13d000000000006004b00000a3a0000613d000000000771034f0000000306600210000000000805043300000000086801cf000000000868022f000000000707043b0000010006600089000000000767022f00000000066701cf000000000686019f0000000000650435000000000003001f000000010020019000000ad50000613d0000001f01400039000000600110018f0000000704100029000000000014004b00000000020000390000000102004039000400000004001d000004b10040009c00000a890000213d000000010020019000000a890000c13d0000000402000029000000400020043f000000200030008c00000b3e0000413d00000007020000290000000002020433000300000002001d000004f1020000410000000404000029000000000024043500000004024000390000000004000411000000000042043500000000020004140000000504000029000000040040008c00000a850000613d0000000401000029000004950010009c00000495010080410000004001100210000004950020009c0000049502008041000000c002200210000000000112019f000004ef011001c700000005020000291251124c0000040f00000060031002700000049503300197000000200030008c000000200400003900000000040340190000001f0640018f0000002007400190000000040570002900000a730000613d000000000801034f0000000409000029000000008a08043c0000000009a90436000000000059004b00000a6f0000c13d000000000006004b00000a800000613d000000000771034f0000000306600210000000000805043300000000086801cf000000000868022f000000000707043b0000010006600089000000000767022f00000000066701cf000000000686019f0000000000650435000000000003001f000000010020019000000b400000613d0000001f01400039000000600110018f0000000402100029000700000002001d000004b10020009c00000b3a0000a13d0000051701000041000000000010043f0000004101000039000000040010043f000004ef0100004100001253000104300000001f0530018f000004f306300198000000400200043d000000000462001900000b4b0000613d000000000701034f0000000008020019000000007907043c0000000008980436000000000048004b00000a960000c13d00000b4b0000013d00000005040000290000004402400039000000060300002900000000003204350000002402400039000000030300002900000000003204350000050e02000041000000000024043500000004024000390000000403000029000000000032043500000000020004140000000803000029000000040030008c00000ae10000c13d0000000501100029000000400010043f00000005010000290000000001010433000000000001004b0000000002000039000000010200c039000000000021004b00000b3e0000c13d000000000001004b0000085c0000613d0000002a01000039000000000201041a000000000100041112510f6e0000040f0000002a02000039000000000102041a000000010110003a0000041e0000c13d000007e40000013d000000000002004b000000000300001900000ac30000613d000000a00300043d0000000304200210000005280440027f0000052804400167000000000443016f000000010320021000000b2a0000013d0000001f0530018f000004f306300198000000400200043d000000000462001900000b4b0000613d000000000701034f0000000008020019000000007907043c0000000008980436000000000048004b00000ad00000c13d00000b4b0000013d0000001f0530018f000004f306300198000000400200043d000000000462001900000b4b0000613d000000000701034f0000000008020019000000007907043c0000000008980436000000000048004b00000adc0000c13d00000b4b0000013d000004950020009c0000049502008041000000c0012002100000000502000029000500000002001d0000004002200210000000000112019f0000050f011001c70000000802000029125112470000040f00000060031002700000049503300197000000200030008c000000200400003900000000040340190000001f0640018f0000002007400190000000050570002900000afa0000613d000000000801034f0000000509000029000000008a08043c0000000009a90436000000000059004b00000af60000c13d000000000006004b00000b070000613d000000000771034f0000000306600210000000000805043300000000086801cf000000000868022f000000000707043b0000010006600089000000000767022f00000000066701cf000000000686019f0000000000650435000000000003001f000000010020019000000b2e0000613d0000001f01400039000000600110018f0000000501100029000000400010043f000000200030008c00000aad0000813d00000b3e0000013d000004a3030000410000002006000039000000010540008a0000000505500270000005160550009a000000000706001900000080066000390000000006060433000000000063041b00000020067000390000000103300039000000000053004b00000b160000c13d000000a005700039000000000024004b00000b280000813d0000000304200210000000f80440018f000005280440027f00000528044001670000000005050433000000000445016f000000000043041b00000001030000390000000104200210000000000234019f000000000021041b0000000001000019000012520001042e0000001f0530018f000004f306300198000000400200043d000000000462001900000b4b0000613d000000000701034f0000000008020019000000007907043c0000000008980436000000000048004b00000b350000c13d00000b4b0000013d0000000702000029000000400020043f000000200030008c00000b5e0000813d000000000100001900001253000104300000001f0530018f000004f306300198000000400200043d000000000462001900000b4b0000613d000000000701034f0000000008020019000000007907043c0000000008980436000000000048004b00000b470000c13d000000000005004b00000b580000613d000000000161034f0000000305500210000000000604043300000000065601cf000000000656022f000000000101043b0000010005500089000000000151022f00000000015101cf000000000161019f00000000001404350000006001300210000004950020009c00000495020080410000004002200210000000000112019f00001253000104300000000304000029000000060040006c00000b650000813d00000004010000290000000001010433000005110200004100000a0d0000013d0000050d020000410000000705000029000000000025043500000000020004100000049f042001970000002402500039000200000004001d000000000042043500000000020004110000049f042001970000000402500039000300000004001d000000000042043500000000020004140000000504000029000000040040008c00000ba20000613d0000000701000029000004950010009c00000495010080410000004001100210000004950020009c0000049502008041000000c002200210000000000112019f000004f5011001c700000005020000291251124c0000040f00000060031002700000049503300197000000200030008c000000200400003900000000040340190000001f0640018f0000002007400190000000070570002900000b900000613d000000000801034f0000000709000029000000008a08043c0000000009a90436000000000059004b00000b8c0000c13d000000000006004b00000b9d0000613d000000000771034f0000000306600210000000000805043300000000086801cf000000000868022f000000000707043b0000010006600089000000000767022f00000000066701cf000000000686019f0000000000650435000000000003001f000000010020019000000c150000613d0000001f01400039000000600110018f0000000702100029000400000002001d000004b10020009c00000a890000213d0000000402000029000000400020043f000000200030008c00000b3e0000413d00000007020000290000000002020433000100000002001d00000004050000290000002402500039000000020400002900000000004204350000050d02000041000000000025043500000004025000390000000304000029000000000042043500000000020004140000000504000029000000040040008c00000be60000613d0000000401000029000004950010009c00000495010080410000004001100210000004950020009c0000049502008041000000c002200210000000000112019f000004f5011001c700000005020000291251124c0000040f00000060031002700000049503300197000000200030008c000000200400003900000000040340190000001f0640018f0000002007400190000000040570002900000bd40000613d000000000801034f0000000409000029000000008a08043c0000000009a90436000000000059004b00000bd00000c13d000000000006004b00000be10000613d000000000771034f0000000306600210000000000805043300000000086801cf000000000868022f000000000707043b0000010006600089000000000767022f00000000066701cf000000000686019f0000000000650435000000000003001f000000010020019000000c210000613d0000001f01400039000000600110018f0000000402100029000700000002001d000004b10020009c00000a890000213d0000000702000029000000400020043f000000200030008c00000b3e0000413d0000000104000029000000060040006c00000c2d0000813d000000040100002900000a0b0000013d000000200100003900000100001004430000012000000443000004b201000041000012520001042e0000000801000029000000000010043f0000003001000039000000200010043f0000000001000414000004950010009c0000049501008041000000c00110021000000508011001c700008010020000391251124c0000040f000000010020019000000b3e0000613d000000000101043b000000000101041a000700010010003e000007e40000613d0000000801000029000000000010043f0000003001000039000000200010043f0000004001000039125112360000040f0000000702000029000000000021041b000000080100002912510f4d0000040f0000000001000019000012520001042e0000001f0530018f000004f306300198000000400200043d000000000462001900000b4b0000613d000000000701034f0000000008020019000000007907043c0000000008980436000000000048004b00000c1c0000c13d00000b4b0000013d0000001f0530018f000004f306300198000000400200043d000000000462001900000b4b0000613d000000000701034f0000000008020019000000007907043c0000000008980436000000000048004b00000c280000c13d00000b4b0000013d00000007050000290000004402500039000000060400002900000000004204350000002402500039000000020400002900000000004204350000050e02000041000000000025043500000004025000390000000304000029000000000042043500000000020004140000000504000029000000040040008c00000c690000613d0000000701000029000004950010009c00000495010080410000004001100210000004950020009c0000049502008041000000c002200210000000000112019f0000050f011001c70000000502000029125112470000040f00000060031002700000049503300197000000200030008c000000200400003900000000040340190000001f0640018f0000002007400190000000070570002900000c570000613d000000000801034f0000000709000029000000008a08043c0000000009a90436000000000059004b00000c530000c13d000000000006004b00000c640000613d000000000771034f0000000306600210000000000805043300000000086801cf000000000868022f000000000707043b0000010006600089000000000767022f00000000066701cf000000000686019f0000000000650435000000000003001f000000010020019000000c930000613d0000001f01400039000000600110018f0000000701100029000004b10010009c00000a890000213d000000400010043f000000200030008c00000b3e0000413d00000007010000290000000001010433000000000001004b0000000002000039000000010200c039000000000021004b00000b3e0000c13d000000000001004b0000085c0000613d0000000801000029000000000010043f0000002f01000039000000200010043f0000000001000414000004950010009c0000049501008041000000c00110021000000508011001c700008010020000391251124c0000040f000000010020019000000b3e0000613d000000000101043b000000000101041a000700010010003e000007e40000613d0000000801000029000000000010043f0000002f01000039000000200010043f0000004001000039125112360000040f0000000702000029000000000021041b0000000001000019000012520001042e0000001f0530018f000004f306300198000000400200043d000000000462001900000b4b0000613d000000000701034f0000000008020019000000007907043c0000000008980436000000000048004b00000c9a0000c13d00000b4b0000013d0000000043010434000000000132043600000527063001970000001f0530018f000000000014004b00000cb50000813d000000000006004b00000cb10000613d00000000085400190000000007510019000000200770008a000000200880008a0000000009670019000000000a680019000000000a0a04330000000000a90435000000200660008c00000cab0000c13d000000000005004b00000ccb0000613d000000000701001900000cc10000013d0000000007610019000000000006004b00000cbe0000613d00000000080400190000000009010019000000008a0804340000000009a90436000000000079004b00000cba0000c13d000000000005004b00000ccb0000613d00000000046400190000000305500210000000000607043300000000065601cf000000000656022f00000000040404330000010005500089000000000454022f00000000045401cf000000000464019f0000000000470435000000000431001900000000000404350000001f0330003900000527023001970000000001210019000000000001042d0000001f0220003900000527022001970000000001120019000000000021004b00000000020000390000000102004039000004b10010009c00000cdd0000213d000000010020019000000cdd0000c13d000000400010043f000000000001042d0000051701000041000000000010043f0000004101000039000000040010043f000004ef0100004100001253000104300003000000000002000000000201041a000000010320019000000001062002700000007f0660618f0000001f0060008c00000000040000390000000104002039000000000043004b00000d220000c13d000000400500043d0000000004650436000000000003004b00000d0d0000613d000100000004001d000300000006001d000200000005001d000000000010043f0000000001000414000004950010009c0000049501008041000000c001100210000004b0011001c700008010020000391251124c0000040f000000010020019000000d2e0000613d0000000306000029000000000006004b00000d130000613d000000000201043b0000000001000019000000020500002900000001070000290000000003170019000000000402041a000000000043043500000001022000390000002001100039000000000061004b00000d050000413d00000d150000013d00000529012001970000000000140435000000000006004b0000002001000039000000000100603900000d150000013d000000000100001900000002050000290000003f0110003900000527021001970000000001520019000000000021004b00000000020000390000000102004039000004b10010009c00000d280000213d000000010020019000000d280000c13d000000400010043f0000000001050019000000000001042d0000051701000041000000000010043f0000002201000039000000040010043f000004ef0100004100001253000104300000051701000041000000000010043f0000004101000039000000040010043f000004ef010000410000125300010430000000000100001900001253000104300000052d0010009c00000d400000213d000000630010008c00000d400000a13d00000001030003670000000401300370000000000101043b0000049f0010009c00000d400000213d0000002402300370000000000202043b0000049f0020009c00000d400000213d0000004403300370000000000303043b000000000001042d000000000100001900001253000104300000052e0020009c00000d720000813d00000000040100190000001f0120003900000527011001970000003f011000390000052705100197000000400100043d0000000005510019000000000015004b00000000070000390000000107004039000004b10050009c00000d720000213d000000010070019000000d720000c13d000000400050043f00000000052104360000000007420019000000000037004b00000d780000213d00000527062001980000001f0720018f0000000104400367000000000365001900000d620000613d000000000804034f0000000009050019000000008a08043c0000000009a90436000000000039004b00000d5e0000c13d000000000007004b00000d6f0000613d000000000464034f0000000306700210000000000703043300000000076701cf000000000767022f000000000404043b0000010006600089000000000464022f00000000046401cf000000000474019f000000000043043500000000022500190000000000020435000000000001042d0000051701000041000000000010043f0000004101000039000000040010043f000004ef010000410000125300010430000000000100001900001253000104300001000000000002000000000010043f0000003001000039000000200010043f0000000001000414000004950010009c0000049501008041000000c00110021000000508011001c700008010020000391251124c0000040f000000010020019000000d9b0000613d000000000101043b000000000101041a000100000001001d0000002f01000039000000200010043f0000000001000414000004950010009c0000049501008041000000c00110021000000508011001c700008010020000391251124c0000040f000000010020019000000d9b0000613d000000000101043b000000000101041a000000010010006b00000000010000390000000101006039000000000001042d000000000100001900001253000104300004000000000002000100000001001d0002049f0020019c00000ea20000613d000400000003001d000000000030043f0000003001000039000000200010043f0000000001000414000004950010009c0000049501008041000000c00110021000000508011001c700008010020000391251124c0000040f000000010020019000000ea00000613d000000000101043b000000000101041a000300000001001d0000002f01000039000000200010043f0000000001000414000004950010009c0000049501008041000000c00110021000000508011001c700008010020000391251124c0000040f000000010020019000000ea00000613d000000000101043b000000000101041a000000030010006b00000dcf0000613d0000000401000029000000000010043f0000003001000039000000200010043f0000000001000414000004950010009c0000049501008041000000c00110021000000508011001c700008010020000391251124c0000040f000000010020019000000ea00000613d000000000101043b000000000001041b0000000401000029000000000010043f0000002e01000039000000200010043f0000052f0100004100000000001004430000000001000414000004950010009c0000049501008041000000c00110021000000530011001c70000800b020000391251124c0000040f000000010020019000000ea70000613d000000000101043b000300000001001d0000000001000414000004950010009c0000049501008041000000c00110021000000508011001c700008010020000391251124c0000040f000000010020019000000ea00000613d000000000101043b0000000302000029000000000021041b0000000401000029000000000010043f0000002f01000039000000200010043f0000000001000414000004950010009c0000049501008041000000c00110021000000508011001c700008010020000391251124c0000040f000000010020019000000ea00000613d000000000101043b000000000001041b0000000401000029000000000010043f0000000201000039000000200010043f0000000001000414000004950010009c0000049501008041000000c00110021000000508011001c700008010020000391251124c0000040f000000010020019000000ea00000613d000000000101043b000000000101041a0000049f011001970000000002000411000000000002004b000300000001001d00000e440000613d000000000021004b00000e440000613d000000000010043f0000000501000039000000200010043f0000000001000414000004950010009c0000049501008041000000c00110021000000508011001c700008010020000391251124c0000040f000000010020019000000ea00000613d000000000101043b00000000020004110000049f02200197000000000020043f000000200010043f0000000001000414000004950010009c0000049501008041000000c00110021000000508011001c700008010020000391251124c0000040f000000010020019000000ea00000613d000000000101043b000000000101041a000000ff00100190000000030100002900000e440000c13d0000000401000029000000000010043f0000000401000039000000200010043f0000000001000414000004950010009c0000049501008041000000c00110021000000508011001c700008010020000391251124c0000040f000000010020019000000ea00000613d000000000101043b000000000101041a0000049f011001970000000002000411000000000021004b000000030100002900000eb00000c13d000000000001004b000000030200003900000e6a0000613d0000000401000029000000000010043f0000000401000039000000200010043f0000000001000414000004950010009c0000049501008041000000c00110021000000508011001c700008010020000391251124c0000040f000000010020019000000ea00000613d000000000101043b000000000201041a0000049e02200197000000000021041b0000000301000029000000000010043f0000000301000039000000200010043f0000000001000414000004950010009c0000049501008041000000c00110021000000508011001c700008010020000391251124c0000040f000000010020019000000ea00000613d000000000101043b000000000201041a000000010220008a000000000021041b00000003020000390000000201000029000000000010043f000000200020043f0000000001000414000004950010009c0000049501008041000000c00110021000000508011001c700008010020000391251124c0000040f000000010020019000000ea00000613d000000000101043b000000000201041a0000000102200039000000000021041b0000000401000029000000000010043f0000000201000039000000200010043f0000000001000414000004950010009c0000049501008041000000c00110021000000508011001c700008010020000391251124c0000040f000000010020019000000ea00000613d000000000101043b000000000201041a0000049e022001970000000206000029000000000262019f000000000021041b0000000001000414000004950010009c0000049501008041000000c001100210000004a0011001c70000800d020000390000000403000039000005320400004100000003050000290000000407000029125112470000040f000000010020019000000ea00000613d00000001010000290000049f011001970000000303000029000000000013004b00000ea80000c13d000000000001042d000000000100001900001253000104300000053401000041000000000010043f000000040000043f000004ef010000410000125300010430000000000001042f0000053302000041000000000020043f000000040010043f0000000401000029000000240010043f000000440030043f0000050f010000410000125300010430000000000001004b00000eb80000c13d0000052001000041000000000010043f0000000401000029000000040010043f000004ef0100004100001253000104300000053101000041000000000010043f0000000001000411000000040010043f0000000401000029000000240010043f000004f50100004100001253000104300001000000000002000000000010043f0000002e01000039000000200010043f0000000001000414000004950010009c0000049501008041000000c00110021000000508011001c700008010020000391251124c0000040f000000010020019000000edf0000613d000000000101043b000000000101041a000100000001001d0000052f0100004100000000001004430000000001000414000004950010009c0000049501008041000000c00110021000000530011001c70000800b020000391251124c0000040f000000010020019000000ee10000613d000000000101043b000000010110006c00000ee20000413d000000000001042d00000000010000190000125300010430000000000001042f0000051701000041000000000010043f0000001101000039000000040010043f000004ef0100004100001253000104300002000000000002000200000001001d000000000010043f0000002e01000039000000200010043f0000000001000414000004950010009c0000049501008041000000c00110021000000508011001c700008010020000391251124c0000040f000000010020019000000f230000613d000000000101043b000000000101041a000100000001001d0000052f0100004100000000001004430000000001000414000004950010009c0000049501008041000000c00110021000000530011001c70000800b020000391251124c0000040f000000010020019000000f2b0000613d000000000101043b000100010010007400000f250000413d0000000201000029000000000010043f0000003001000039000000200010043f0000000001000414000004950010009c0000049501008041000000c00110021000000508011001c700008010020000391251124c0000040f000000010020019000000f230000613d000000000101043b000000000101041a000000080010008c00000f2c0000813d0000000801100039000000000201041a0000000104000029000004f90340012a00000000013200a9000004f90040009c00000f220000413d00000000033100d9000000000032004b00000f250000c13d000000000001042d000000000100001900001253000104300000051701000041000000000010043f0000001101000039000000040010043f000004ef010000410000125300010430000000000001042f0000051701000041000000000010043f0000003201000039000000040010043f000004ef0100004100001253000104300001000000000002000100000001001d000000000010043f0000000201000039000000200010043f0000000001000414000004950010009c0000049501008041000000c00110021000000508011001c700008010020000391251124c0000040f000000010020019000000f450000613d000000000101043b000000000101041a0000049f0110019800000f470000613d000000000001042d000000000100001900001253000104300000052001000041000000000010043f0000000101000029000000040010043f000004ef0100004100001253000104300001000000000002000000000010043f0000002e01000039000000200010043f0000052f0100004100000000001004430000000001000414000004950010009c0000049501008041000000c00110021000000530011001c70000800b020000391251124c0000040f000000010020019000000f6b0000613d000000000101043b000100000001001d0000000001000414000004950010009c0000049501008041000000c00110021000000508011001c700008010020000391251124c0000040f000000010020019000000f6c0000613d000000000101043b0000000102000029000000000021041b000000000001042d000000000001042f000000000100001900001253000104300008000000000002000600000002001d000000400200043d000005350020009c000011220000813d0000002003200039000200000003001d000000400030043f000100000002001d0000000000020435000300000001001d0005049f0010019c000010e70000613d0000000601000029000000000010043f0000003001000039000000200010043f0000000001000414000004950010009c0000049501008041000000c00110021000000508011001c700008010020000391251124c0000040f0000000100200190000010e40000613d000000000101043b000000000101041a000400000001001d0000002f01000039000000200010043f0000000001000414000004950010009c0000049501008041000000c00110021000000508011001c700008010020000391251124c0000040f0000000100200190000010e40000613d000000000101043b000000000101041a000000040010006b00000fa90000613d0000000601000029000000000010043f0000003001000039000000200010043f0000000001000414000004950010009c0000049501008041000000c00110021000000508011001c700008010020000391251124c0000040f0000000100200190000010e40000613d000000000101043b000000000001041b0000000601000029000000000010043f0000002e01000039000000200010043f0000052f0100004100000000001004430000000001000414000004950010009c0000049501008041000000c00110021000000530011001c70000800b020000391251124c0000040f0000000100200190000010e60000613d000000000101043b000400000001001d0000000001000414000004950010009c0000049501008041000000c00110021000000508011001c700008010020000391251124c0000040f0000000100200190000010e40000613d000000000101043b0000000402000029000000000021041b0000000601000029000000000010043f0000002f01000039000000200010043f0000000001000414000004950010009c0000049501008041000000c00110021000000508011001c700008010020000391251124c0000040f0000000100200190000010e40000613d000000000101043b000000000001041b0000000601000029000000000010043f0000000201000039000000200010043f0000000001000414000004950010009c0000049501008041000000c00110021000000508011001c700008010020000391251124c0000040f0000000100200190000010e40000613d000000000101043b000000000101041a0004049f0010019c00000003020000390000100a0000613d0000000601000029000000000010043f0000000401000039000000200010043f0000000001000414000004950010009c0000049501008041000000c00110021000000508011001c700008010020000391251124c0000040f0000000100200190000010e40000613d000000000101043b000000000201041a0000049e02200197000000000021041b0000000401000029000000000010043f0000000301000039000000200010043f0000000001000414000004950010009c0000049501008041000000c00110021000000508011001c700008010020000391251124c0000040f0000000100200190000010e40000613d000000000101043b000000000201041a000000010220008a000000000021041b00000003020000390000000501000029000000000010043f000000200020043f0000000001000414000004950010009c0000049501008041000000c00110021000000508011001c700008010020000391251124c0000040f0000000100200190000010e40000613d000000000101043b000000000201041a0000000102200039000000000021041b0000000601000029000000000010043f0000000201000039000000200010043f0000000001000414000004950010009c0000049501008041000000c00110021000000508011001c700008010020000391251124c0000040f0000000100200190000010e40000613d000000000101043b000000000201041a0000049e022001970000000506000029000000000262019f000000000021041b0000000001000414000004950010009c0000049501008041000000c001100210000004a0011001c70000800d020000390000000403000039000005320400004100000004050000290000000607000029125112470000040f0000000100200190000010e40000613d000000040000006b0000000302000029000010e90000c13d0000053701000041000000000010044300000004002004430000000001000414000004950010009c0000049501008041000000c00110021000000538011001c700008002020000391251124c0000040f0000000100200190000010e60000613d000000000101043b000000000001004b000010e30000613d000000400c00043d0000006401c00039000000800b0000390000000000b104350000004401c0003900000006020000290000000000210435000005390100004100000000001c04350000000401c00039000000000200041100000000002104350000002401c000390000000000010435000000010100002900000000010104330000008402c000390000000000120435000000200a00008a0000000005a1016f0000001f0410018f000000a403c000390000000202000029000000000032004b000010750000813d000000000005004b000010710000613d00000000074200190000000006430019000000200660008a000000200770008a0000000008560019000000000957001900000000090904330000000000980435000000200550008c0000106b0000c13d000000000004004b0000108b0000613d0000000006030019000010810000013d0000000006530019000000000005004b0000107e0000613d0000000007020019000000000803001900000000790704340000000008980436000000000068004b0000107a0000c13d000000000004004b0000108b0000613d00000000025200190000000304400210000000000506043300000000054501cf000000000545022f00000000070204330000010004400089000000000747022f00000000044701cf000000000454019f00000000004604350000000003310019000000000003043500000000030004140000000502000029000000040020008c000010990000c13d0000000005000415000000080550008a00000005055002100000000003000031000000200030008c00000020040000390000000004034019000010ce0000013d00040000000b001d0000001f011000390000000001a1016f000000a401100039000004950010009c000004950100804100000060011002100000049500c0009c000004950400004100000000040c40190000004004400210000000000141019f000004950030009c0000049503008041000000c003300210000000000131019f00060000000c001d125112470000040f000000060c00002900000060031002700000049503300197000000200030008c000000200400003900000000040340190000001f0640018f000000200740019000000000057c0019000010bb0000613d000000000801034f00000000090c0019000000008a08043c0000000009a90436000000000059004b000010b70000c13d000000000006004b000010c80000613d000000000771034f0000000306600210000000000805043300000000086801cf000000000868022f000000000707043b0000010006600089000000000767022f00000000066701cf000000000686019f0000000000650435000000000003001f0000000005000415000000070550008a00000005055002100000000100200190000010ee0000613d0000001f01400039000000600210018f0000000001c20019000000000021004b00000000020000390000000102004039000004b10010009c000011220000213d0000000100200190000011220000c13d000000400010043f000000200030008c000010e40000413d00000000010c04330000052300100198000010e40000c13d0000000502500270000000000201001f0000053c01100197000005390010009c0000111c0000c13d000000000001042d00000000010000190000125300010430000000000001042f0000053401000041000010ea0000013d0000053601000041000000000010043f000000040000043f000004ef010000410000125300010430000000000003004b000010f20000c13d0000006002000039000011190000013d0000001f023000390000053a022001970000003f022000390000053b04200197000000400200043d0000000004420019000000000024004b00000000050000390000000105004039000004b10040009c000011220000213d0000000100500190000011220000c13d000000400040043f0000001f0430018f0000000006320436000004f305300198000400000006001d00000000035600190000110c0000613d000000000601034f0000000407000029000000006806043c0000000007870436000000000037004b000011080000c13d000000000004004b000011190000613d000000000151034f0000000304400210000000000503043300000000054501cf000000000545022f000000000101043b0000010004400089000000000141022f00000000014101cf000000000151019f00000000001304350000000001020433000000000001004b000011280000c13d0000053401000041000000000010043f0000000501000029000000040010043f000004ef0100004100001253000104300000051701000041000000000010043f0000004101000039000000040010043f000004ef0100004100001253000104300000000402000029000004950020009c00000495020080410000004002200210000004950010009c00000495010080410000006001100210000000000121019f00001253000104300000000601000039000000000101041a0000049f021001970000000001000411000000000012004b000011380000c13d000000000001042d000004ee02000041000000000020043f000000040010043f000004ef0100004100001253000104300007000000000002000400000005001d000200000004001d000100000002001d000300000001001d00000537010000410000000000100443000500000003001d00000004003004430000000001000414000004950010009c0000049501008041000000c00110021000000538011001c700008002020000391251124c0000040f0000000100200190000011f10000613d000000000101043b000000000001004b000011ee0000613d000000400d00043d0000006401d00039000000800c0000390000000000c104350000004401d000390000000202000029000000000021043500000001010000290000049f011001970000002402d000390000000000120435000005390100004100000000001d043500000003010000290000049f011001970000000402d0003900000000001204350000008402d0003900000004010000290000000041010434000000000012043500000005020000290000049f02200197000000200b00008a0000000006b1016f0000001f0510018f000000a403d00039000000000034004b0000117f0000813d000000000006004b0000117b0000613d00000000085400190000000007530019000000200770008a000000200880008a0000000009670019000000000a680019000000000a0a04330000000000a90435000000200660008c000011750000c13d000000000005004b000011950000613d00000000070300190000118b0000013d0000000007630019000000000006004b000011880000613d00000000080400190000000009030019000000008a0804340000000009a90436000000000079004b000011840000c13d000000000005004b000011950000613d00000000046400190000000305500210000000000607043300000000065601cf000000000656022f00000000040404330000010005500089000000000454022f00000000045401cf000000000464019f0000000000470435000000000331001900000000000304350000000003000414000000040020008c000011a20000c13d0000000005000415000000070550008a00000005055002100000000003000031000000200030008c00000020040000390000000004034019000011d90000013d00030000000c001d0000001f011000390000000001b1016f000000a401100039000004950010009c000004950100804100000060011002100000049500d0009c000004950400004100000000040d40190000004004400210000000000141019f000004950030009c0000049503008041000000c003300210000000000131019f000500000002001d00040000000d001d125112470000040f000000040d00002900000060031002700000049503300197000000200030008c000000200400003900000000040340190000001f0640018f000000200740019000000000057d0019000011c50000613d000000000801034f00000000090d0019000000008a08043c0000000009a90436000000000059004b000011c10000c13d000000000006004b000011d20000613d000000000771034f0000000306600210000000000805043300000000086801cf000000000868022f000000000707043b0000010006600089000000000767022f00000000066701cf000000000686019f0000000000650435000000000003001f0000000005000415000000060550008a000000050550021000000001002001900000000502000029000011f20000613d0000001f01400039000000600410018f0000000001d40019000000000041004b00000000040000390000000104004039000004b10010009c000012260000213d0000000100400190000012260000c13d000000400010043f0000001f0030008c000011ef0000a13d00000000010d04330000052300100198000011ef0000c13d0000000503500270000000000301001f0000053c01100197000005390010009c000012210000c13d000000000001042d00000000010000190000125300010430000000000001042f000000000003004b000011f60000c13d00000060020000390000121d0000013d0000001f023000390000053a022001970000003f022000390000053b04200197000000400200043d0000000004420019000000000024004b00000000050000390000000105004039000004b10040009c000012260000213d0000000100500190000012260000c13d000000400040043f0000001f0430018f0000000006320436000004f305300198000300000006001d0000000003560019000012100000613d000000000601034f0000000307000029000000006806043c0000000007870436000000000037004b0000120c0000c13d000000000004004b0000121d0000613d000000000151034f0000000304400210000000000503043300000000054501cf000000000545022f000000000101043b0000010004400089000000000141022f00000000014101cf000000000151019f00000000001304350000000001020433000000000001004b00000005020000290000122c0000c13d0000053401000041000000000010043f000000040020043f000004ef0100004100001253000104300000051701000041000000000010043f0000004101000039000000040010043f000004ef0100004100001253000104300000000302000029000004950020009c00000495020080410000004002200210000004950010009c00000495010080410000006001100210000000000121019f0000125300010430000000000001042f000004950010009c000004950100804100000060011002100000000002000414000004950020009c0000049502008041000000c002200210000000000112019f000004a0011001c700008010020000391251124c0000040f0000000100200190000012450000613d000000000101043b000000000001042d000000000100001900001253000104300000124a002104210000000102000039000000000001042d0000000002000019000000000001042d0000124f002104230000000102000039000000000001042d0000000002000019000000000001042d0000125100000432000012520001042e000012530001043000000000000000000000000000000000000000000000000000000000ffffffff41627374726163744669656e64000000000000000000000000000000000000004649454e44000000000000000000000000000000000000000000000000000000290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e563d6f21326ab749d5729fcba5677c79037b459436ab7bff709c9d06ce9f10c1a9d41627374726163744669656e640000000000000000000000000000000000001ab10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cf64ef1d2ad89edf8c4d91132028e8195cdf30bb4b5053d4f8cd260341d4805f30a4649454e4400000000000000000000000000000000000000000000000000000affffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000000000000ffffffffffffffffffffffffffffffffffffffff02000000000000000000000000000000000000000000000000000000000000008be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0ffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000004a2cc91ee622da3bc833a54c37ffcb6f3ec23b7793efc5eaf5e71b7b406c5c06b5d336e119dd25c437cc5ab3c8003490c13dc4886c103a150a18e484bf93a3fa000000000000000000000000000000000000000000000000ffffffffffffff20000000000000000000000000000000000000000000000000ffffffffffffff1f000000000000000000000000000000000000000000000000fffffffffffffedf506c656200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000ffffffffffffffbf496d70000000000000000000000000000000000000000000000000000000000054726f6c6c0000000000000000000000000000000000000000000000000000004772656d6c696e00000000000000000000000000000000000000000000000000446567656e6572617465000000000000000000000000000000000000000000004669656e640000000000000000000000000000000000000000000000000000004f470000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000000000000ffffffffffffffff0000000200000000000000000000000000000040000001000000000000000000000000000000000000000000000000000000000000000000000000007854305800000000000000000000000000000000000000000000000000000000bdb4b84700000000000000000000000000000000000000000000000000000000e985e9c400000000000000000000000000000000000000000000000000000000f2fde38a00000000000000000000000000000000000000000000000000000000f2fde38b00000000000000000000000000000000000000000000000000000000fb62917700000000000000000000000000000000000000000000000000000000fe8f10b700000000000000000000000000000000000000000000000000000000e985e9c500000000000000000000000000000000000000000000000000000000ec76a6d500000000000000000000000000000000000000000000000000000000f18d20be00000000000000000000000000000000000000000000000000000000d5ed335100000000000000000000000000000000000000000000000000000000d5ed335200000000000000000000000000000000000000000000000000000000d9cb12ba00000000000000000000000000000000000000000000000000000000e8bf1e4500000000000000000000000000000000000000000000000000000000bdb4b84800000000000000000000000000000000000000000000000000000000c87b56dd0000000000000000000000000000000000000000000000000000000095d89b4000000000000000000000000000000000000000000000000000000000a3b2071900000000000000000000000000000000000000000000000000000000a3b2071a00000000000000000000000000000000000000000000000000000000ab5d031b00000000000000000000000000000000000000000000000000000000b88d4fde0000000000000000000000000000000000000000000000000000000095d89b41000000000000000000000000000000000000000000000000000000009d64340000000000000000000000000000000000000000000000000000000000a22cb4650000000000000000000000000000000000000000000000000000000080145c5b0000000000000000000000000000000000000000000000000000000080145c5c000000000000000000000000000000000000000000000000000000008957bfa6000000000000000000000000000000000000000000000000000000008da5cb5b0000000000000000000000000000000000000000000000000000000078543059000000000000000000000000000000000000000000000000000000007c791990000000000000000000000000000000000000000000000000000000002b28112a0000000000000000000000000000000000000000000000000000000054214f680000000000000000000000000000000000000000000000000000000070a082300000000000000000000000000000000000000000000000000000000070a0823100000000000000000000000000000000000000000000000000000000715018a600000000000000000000000000000000000000000000000000000000730798740000000000000000000000000000000000000000000000000000000054214f69000000000000000000000000000000000000000000000000000000005b3e71c7000000000000000000000000000000000000000000000000000000006352211e0000000000000000000000000000000000000000000000000000000030ab86640000000000000000000000000000000000000000000000000000000030ab86650000000000000000000000000000000000000000000000000000000042842e0e000000000000000000000000000000000000000000000000000000004b726571000000000000000000000000000000000000000000000000000000002b28112b000000000000000000000000000000000000000000000000000000002f33465200000000000000000000000000000000000000000000000000000000098229f00000000000000000000000000000000000000000000000000000000023b872dc0000000000000000000000000000000000000000000000000000000023b872dd0000000000000000000000000000000000000000000000000000000026092b830000000000000000000000000000000000000000000000000000000026a216ce00000000000000000000000000000000000000000000000000000000098229f1000000000000000000000000000000000000000000000000000000001aeabd96000000000000000000000000000000000000000000000000000000001ff3dddd0000000000000000000000000000000000000000000000000000000006fdde020000000000000000000000000000000000000000000000000000000006fdde0300000000000000000000000000000000000000000000000000000000081812fc00000000000000000000000000000000000000000000000000000000095ea7b30000000000000000000000000000000000000000000000000000000001ffc9a70000000000000000000000000000000000000000000000000000000003524005118cdaa70000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000240000000000000000000000001e4fbdf70000000000000000000000000000000000000000000000000000000070a0823100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002400000080000000000000000000000000000000000000000000000000000000000000000000000000ffffffe0a9059cbb000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000044000000000000000000000000fba5154e0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000040000000000000000000000000000000000000000000000000000000000000020000000800000000000000000000000000000000000000000000000000000000000000000000000000001518000000000000000000000000000000000000000200000000000000000000000000000000000184f03e93ff9f4daa797ed6e38ed64bf6a1f01000000000000000000000000000000000000000000000000000004ee2d6d415b85acef810000000000000000000000000000000000000000000004ee2d6d415b85acef80ffffffff000000000000000000000000000000000000000000000000002386f26fc1000000000000000000000000000000000000ffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000000000000005f5e10000ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff30313233343536373839616263646566000000000000000000000000000000007f000000000000000000000000000000000000000000000000000000000000002e6a736f6e00000000000000000000000000000000000000000000000000000070726572657665616c2e6a736f6e000000000000000000000000000000000000000000000000000000000000000000000000000000000000ffffffffffffff7fe812b77300000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000004000000000000000000000000017307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c315b08ba1800000000000000000000000000000000000000000000000000000000bc73acdb000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000de0b6b3a7640000dd62ed3e0000000000000000000000000000000000000000000000000000000023b872dd000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000064000000000000000000000000b7f077b900000000000000000000000000000000000000000000000000000000cf479181000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000ff0000b0d424db00000000000000000000000000000000000000000000000000000000ffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ffff0000000000000000000000000000000000000000000000000000000000010000b5d336e119dd25c437cc5ab3c8003490c13dc4886c103a150a18e484bf93a3f94e487b7100000000000000000000000000000000000000000000000000000000d85e703a0000000000000000000000000000000000000000000000000000000089c62b640000000000000000000000000000000000000000000000000000000090b8ec180000000000000000000000000000000000000000000000000000000006290e4e0000000000000000000000000000000000000000000000000000000044e3a8d6000000000000000000000000000000000000000000000000000000001c6ba68a000000000000000000000000000000000000000000000000000000006bf58cdb0000000000000000000000000000000000000000000000000000000097da56e4000000000000000000000000000000000000000000000000000000007e27328900000000000000000000000000000000000000000000000000000000a9fbf51f000000000000000000000000000000000000000000000000000000008c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92500000000ffffffffffffffffffffffffffffffffffffffffffffffffffffffff01ffc9a7000000000000000000000000000000000000000000000000000000005b5e139f0000000000000000000000000000000000000000000000000000000080ac58cd00000000000000000000000000000000000000000000000000000000ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff87fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000000000000000000000000000000000010000000000000000796b89b91644bc98cd93958e4c9038275d622183e25ac5af08cc6b5d955391320200000200000000000000000000000000000004000000000000000000000000177e802f00000000000000000000000000000000000000000000000000000000ddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef64283d7b0000000000000000000000000000000000000000000000000000000064a0ae9200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000ffffffffffffffe073c6ac6e000000000000000000000000000000000000000000000000000000001806aa1896bbf26568e884a7374b41e002500962caba6a15023a8d90e8508b830200000200000000000000000000000000000024000000000000000000000000150b7a020000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001ffffffe000000000000000000000000000000000000000000000000000000003ffffffe0ffffffff000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000b888d4a28f3fa75fafef8220ab1a1d8c03a204be88fe580920017de609d29df8