Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

Outline

• library Panic
•    - function panic(uint256 code)
• library SafeCast
•    - function toUint248(uint256 value)
•    - function toUint240(uint256 value)
•    - function toUint232(uint256 value)
•    - function toUint224(uint256 value)
•    - function toUint216(uint256 value)
•    - function toUint208(uint256 value)
•    - function toUint200(uint256 value)
•    - function toUint192(uint256 value)
•    - function toUint184(uint256 value)
•    - function toUint176(uint256 value)
•    - function toUint168(uint256 value)
•    - function toUint160(uint256 value)
•    - function toUint152(uint256 value)
•    - function toUint144(uint256 value)
•    - function toUint136(uint256 value)
•    - function toUint128(uint256 value)
•    - function toUint120(uint256 value)
•    - function toUint112(uint256 value)
•    - function toUint104(uint256 value)
•    - function toUint96(uint256 value)
•    - function toUint88(uint256 value)
•    - function toUint80(uint256 value)
•    - function toUint72(uint256 value)
•    - function toUint64(uint256 value)
•    - function toUint56(uint256 value)
•    - function toUint48(uint256 value)
•    - function toUint40(uint256 value)
•    - function toUint32(uint256 value)
•    - function toUint24(uint256 value)
•    - function toUint16(uint256 value)
•    - function toUint8(uint256 value)
•    - function toUint256(int256 value)
•    - function toInt248(int256 value)
•    - function toInt240(int256 value)
•    - function toInt232(int256 value)
•    - function toInt224(int256 value)
•    - function toInt216(int256 value)
•    - function toInt208(int256 value)
•    - function toInt200(int256 value)
•    - function toInt192(int256 value)
•    - function toInt184(int256 value)
•    - function toInt176(int256 value)
•    - function toInt168(int256 value)
•    - function toInt160(int256 value)
•    - function toInt152(int256 value)
•    - function toInt144(int256 value)
•    - function toInt136(int256 value)
•    - function toInt128(int256 value)
•    - function toInt120(int256 value)
•    - function toInt112(int256 value)
•    - function toInt104(int256 value)
•    - function toInt96(int256 value)
•    - function toInt88(int256 value)
•    - function toInt80(int256 value)
•    - function toInt72(int256 value)
•    - function toInt64(int256 value)
•    - function toInt56(int256 value)
•    - function toInt48(int256 value)
•    - function toInt40(int256 value)
•    - function toInt32(int256 value)
•    - function toInt24(int256 value)
•    - function toInt16(int256 value)
•    - function toInt8(int256 value)
•    - function toInt256(uint256 value)
•    - function toUint(bool b)
• interface IERC721Receiver
•    - function onERC721Received(
• library Math
•    - function tryAdd(uint256 a, uint256 b)
•    - function trySub(uint256 a, uint256 b)
•    - function tryMul(uint256 a, uint256 b)
•    - function tryDiv(uint256 a, uint256 b)
•    - function tryMod(uint256 a, uint256 b)
•    - function ternary(bool condition, uint ...
•    - function max(uint256 a, uint256 b)
•    - function min(uint256 a, uint256 b)
•    - function average(uint256 a, uint256 b ...
•    - function ceilDiv(uint256 a, uint256 b ...
•    - function mulDiv(uint256 x, uint256 y, ...
•    - function mulDiv(uint256 x, uint256 y, ...
•    - function invMod(uint256 a, uint256 n)
•    - function invModPrime(uint256 a, uint2 ...
•    - function modExp(uint256 b, uint256 e, ...
•    - function tryModExp(uint256 b, uint256 ...
•    - function modExp(bytes memory b, bytes ...
•    - function tryModExp(
•    - function _zeroBytes(bytes memory byte ...
•    - function sqrt(uint256 a)
•    - function sqrt(uint256 a, Rounding rou ...
•    - function log2(uint256 value)
•    - function log2(uint256 value, Rounding ...
•    - function log10(uint256 value)
•    - function log10(uint256 value, Roundin ...
•    - function log256(uint256 value)
•    - function log256(uint256 value, Roundi ...
•    - function unsignedRoundsUp(Rounding ro ...
• library SignedMath
•    - function ternary(bool condition, int2 ...
•    - function max(int256 a, int256 b)
•    - function min(int256 a, int256 b)
•    - function average(int256 a, int256 b)
•    - function abs(int256 n)
• interface IERC165
•    - function supportsInterface(bytes4 int ...
• interface IERC721 is IERC165
•    - function balanceOf(address owner)
•    - function ownerOf(uint256 tokenId)
•    - function safeTransferFrom(address fro ...
•    - function safeTransferFrom(address fro ...
•    - function transferFrom(address from, a ...
•    - function approve(address to, uint256 ...
•    - function setApprovalForAll(address op ...
•    - function getApproved(uint256 tokenId)
•    - function isApprovedForAll(address own ...
• interface IERC721Metadata is IERC721
•    - function name()
•    - function symbol()
•    - function tokenURI(uint256 tokenId)
• library ERC721Utils
•    - function checkOnERC721Received(
•    - function _msgSender()
•    - function _msgData()
•    - function _contextSuffixLength()
• library Strings
•    - function toString(uint256 value)
•    - function toStringSigned(int256 value)
•    - function toHexString(uint256 value)
•    - function toHexString(uint256 value, u ...
•    - function toHexString(address addr)
•    - function toChecksumHexString(address ...
•    - function equal(string memory a, strin ...
•    - function supportsInterface(bytes4 int ...
• interface IERC20Errors
• interface IERC721Errors
• interface IERC1155Errors
•    - function supportsInterface(bytes4 int ...
•    - function balanceOf(address owner)
•    - function ownerOf(uint256 tokenId)
•    - function name()
•    - function symbol()
•    - function tokenURI(uint256 tokenId)
•    - function _baseURI()
•    - function approve(address to, uint256 ...
•    - function getApproved(uint256 tokenId)
•    - function setApprovalForAll(address op ...
•    - function isApprovedForAll(address own ...
•    - function transferFrom(address from, a ...
•    - function safeTransferFrom(address fro ...
•    - function safeTransferFrom(address fro ...
•    - function _ownerOf(uint256 tokenId)
•    - function _getApproved(uint256 tokenId ...
•    - function _isAuthorized(address owner, ...
•    - function _checkAuthorized(address own ...
•    - function _increaseBalance(address acc ...
•    - function _update(address to, uint256 ...
•    - function _mint(address to, uint256 to ...
•    - function _safeMint(address to, uint25 ...
•    - function _safeMint(address to, uint25 ...
•    - function _burn(uint256 tokenId)
•    - function _transfer(address from, addr ...
•    - function _safeTransfer(address from, ...
•    - function _safeTransfer(address from, ...
•    - function _approve(address to, uint256 ...
•    - function _approve(address to, uint256 ...
•    - function _setApprovalForAll(address o ...
•    - function _requireOwned(uint256 tokenI ...
•  contract RottenBanana is ERC721(&a ... *
•    - function mintBananas(uint256 _howMany ...
•    - function stopSale()
•    - function startSale()
•    - function withdrawETH()
•    - function setPrice(uint256 _newPrice)
•    - function setBaseURI(string memory __b ...
•    - function transferOwnership(address ne ...
•    - function bananasRemaining()
•    - function _baseURI()

More Options

• Similar
• Submit Audit
• Compare

/**
 *Submitted for verification at apescan.io on 2024-10-21
*/

// 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)
        }
    }
}


// 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))
        }
    }
}


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


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

pragma solidity ^0.8.20;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

        uint256 mLen = m.length;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


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

pragma solidity ^0.8.20;

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

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

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

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

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

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


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


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

pragma solidity ^0.8.20;

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

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

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

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

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

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

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

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

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

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

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

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


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

pragma solidity ^0.8.20;

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

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

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


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

pragma solidity ^0.8.20;

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


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


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

pragma solidity ^0.8.20;

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

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

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

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

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

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

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

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

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

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

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


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

pragma solidity ^0.8.20;

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


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


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

pragma solidity ^0.8.20;

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

    // Token name
    string private _name;

    // Token symbol
    string private _symbol;

    mapping(uint256 tokenId => address) private _owners;

    mapping(address owner => uint256) private _balances;

    mapping(uint256 tokenId => address) private _tokenApprovals;

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

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

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

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

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

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

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

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

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

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

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

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

        return _getApproved(tokenId);
    }

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

        _owners[tokenId] = to;

        emit Transfer(from, to, tokenId);

        return from;
    }

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

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

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

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

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

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

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

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

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

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

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

        _tokenApprovals[tokenId] = to;
    }

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

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


pragma solidity ^0.8.19;

contract RottenBanana is ERC721("Rotten Bananas", "BANANA")
{

    string public baseURI;
    bool public isSaleActive;
    uint256 public circulatingSupply;
    address public owner = msg.sender;
    uint256 public itemPrice = 10 ether;
    uint256 public constant totalSupply = 10000;

    address public Audrey = 0xCCf1F45cE76a64056a61C14058F57AD34DEcF5e7;
    address public Fuego = 0xADDaF99990b665D8553f08653966fa8995Cc1209;

    ////////////////////
    //  PUBLIC SALE   //
    ////////////////////

    // Mint multiple Bananas at once
    function mintBananas(uint256 _howMany)
        external
        payable
        bananasAvailable(_howMany)
    {
        require(
            isSaleActive,
            "Sale is not active"
        );
        require(_howMany > 0 && _howMany <= 20, "Mint min 1, max 20");
        require(msg.value >= _howMany * itemPrice, "Wrong amount of ETH");

        for (uint256 i = 0; i < _howMany; i++)
            _mint(msg.sender, ++circulatingSupply);
    }

    //////////////////////////
    // Only Owner Methods   //
    //////////////////////////

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

    function stopSale() external onlyOwner {
        isSaleActive = false;
    }

    function startSale() external onlyOwner {
        isSaleActive = true;
    }

    // Owner can withdraw ETH from here
    function withdrawETH() external onlyOwner {
        uint256 balance = address(this).balance;

        uint256 _90_percent = (balance * 0.90 ether) / 1 ether;
        uint256 _10_percent = (balance * 0.10 ether) / 1 ether;

        payable(msg.sender).transfer(_90_percent);
        payable(Fuego).transfer(_10_percent);
    }

    // Change price in case ETH moons
    function setPrice(uint256 _newPrice) external onlyOwner {
        itemPrice = _newPrice;
    }

    // Update metadata
    function setBaseURI(string memory __baseURI) external onlyOwner {
        baseURI = __baseURI;
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     * Can only be called by the current owner.
     * To renounce ownership set the 0x00 address as the new owner.
     */
    function transferOwnership(address newOwner) public virtual onlyOwner {
        require(newOwner != address(0), "Ownable: new owner is the zero address");
        emit OwnershipTransferred(owner, newOwner);
        owner = newOwner;
    }

    ///////////////////
    // Query Method  //
    ///////////////////

    function bananasRemaining() public view returns (uint256) {
        return totalSupply - circulatingSupply;
    }

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

    ///////////////////
    //  Helper Code  //
    ///////////////////

    modifier bananasAvailable(uint256 _howMany) {
        require(_howMany <= bananasRemaining(), "Try minting less bananas");
        _;
    }

    modifier onlyOwner() {
        require(owner == msg.sender, "Ownable: caller is not the owner");
        _;
    }

}

• No Contract Security Audit Submitted- Submit Audit Here

[{"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"},{"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":[],"name":"Audrey","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"Fuego","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"approve","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"bananasRemaining","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"baseURI","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"circulatingSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"getApproved","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"operator","type":"address"}],"name":"isApprovedForAll","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"isSaleActive","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"itemPrice","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_howMany","type":"uint256"}],"name":"mintBananas","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"ownerOf","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"safeTransferFrom","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"tokenId","type":"uint256"},{"internalType":"bytes","name":"data","type":"bytes"}],"name":"safeTransferFrom","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"operator","type":"address"},{"internalType":"bool","name":"approved","type":"bool"}],"name":"setApprovalForAll","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"string","name":"__baseURI","type":"string"}],"name":"setBaseURI","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_newPrice","type":"uint256"}],"name":"setPrice","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"startSale","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"stopSale","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes4","name":"interfaceId","type":"bytes4"}],"name":"supportsInterface","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"tokenURI","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"transferFrom","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"withdrawETH","outputs":[],"stateMutability":"nonpayable","type":"function"}]

60806040523360095f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550678ac7230489e80000600a5573ccf1f45ce76a64056a61c14058f57ad34decf5e7600b5f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555073addaf99990b665d8553f08653966fa8995cc1209600c5f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555034801562000104575f80fd5b506040518060400160405280600e81526020017f526f7474656e2042616e616e61730000000000000000000000000000000000008152506040518060400160405280600681526020017f42414e414e410000000000000000000000000000000000000000000000000000815250815f908162000181919062000400565b50806001908162000193919062000400565b505050620004e4565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806200021857607f821691505b6020821081036200022e576200022d620001d3565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f60088302620002927fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8262000255565b6200029e868362000255565b95508019841693508086168417925050509392505050565b5f819050919050565b5f819050919050565b5f620002e8620002e2620002dc84620002b6565b620002bf565b620002b6565b9050919050565b5f819050919050565b6200030383620002c8565b6200031b6200031282620002ef565b84845462000261565b825550505050565b5f90565b6200033162000323565b6200033e818484620002f8565b505050565b5b818110156200036557620003595f8262000327565b60018101905062000344565b5050565b601f821115620003b4576200037e8162000234565b620003898462000246565b8101602085101562000399578190505b620003b1620003a88562000246565b83018262000343565b50505b505050565b5f82821c905092915050565b5f620003d65f1984600802620003b9565b1980831691505092915050565b5f620003f08383620003c5565b9150826002028217905092915050565b6200040b826200019c565b67ffffffffffffffff811115620004275762000426620001a6565b5b62000433825462000200565b6200044082828562000369565b5f60209050601f83116001811462000476575f841562000461578287015190505b6200046d8582620003e3565b865550620004dc565b601f198416620004868662000234565b5f5b82811015620004af5784890151825560018201915060208501945060208101905062000488565b86831015620004cf5784890151620004cb601f891682620003c5565b8355505b6001600288020188555050505b505050505050565b6130b880620004f25f395ff3fe6080604052600436106101c1575f3560e01c806391b7f5ed116100f6578063b66a0e5d11610094578063e086e5ec11610063578063e086e5ec14610609578063e36b0b371461061f578063e985e9c514610635578063f2fde38b14610671576101c1565b8063b66a0e5d14610565578063b88d4fde1461057b578063c87b56dd146105a3578063dac6db1c146105df576101c1565b806395d89b41116100d057806395d89b41146104bf57806399ce97ba146104e9578063a22cb46514610513578063b0c936d81461053b576101c1565b806391b7f5ed146104435780639358928b1461046b57806393bf6f8214610495576101c1565b806342842e0e116101635780636352211e1161013d5780636352211e146103775780636c0360eb146103b357806370a08231146103dd5780638da5cb5b14610419576101c1565b806342842e0e146102fd57806355f804b314610325578063564566a81461034d576101c1565b8063095ea7b31161019f578063095ea7b31461026757806318160ddd1461028f57806323b872dd146102b957806338acbe5b146102e1576101c1565b806301ffc9a7146101c557806306fdde0314610201578063081812fc1461022b575b5f80fd5b3480156101d0575f80fd5b506101eb60048036038101906101e6919061224a565b610699565b6040516101f8919061228f565b60405180910390f35b34801561020c575f80fd5b5061021561077a565b6040516102229190612332565b60405180910390f35b348015610236575f80fd5b50610251600480360381019061024c9190612385565b610809565b60405161025e91906123ef565b60405180910390f35b348015610272575f80fd5b5061028d60048036038101906102889190612432565b610824565b005b34801561029a575f80fd5b506102a361083a565b6040516102b0919061247f565b60405180910390f35b3480156102c4575f80fd5b506102df60048036038101906102da9190612498565b610840565b005b6102fb60048036038101906102f69190612385565b61093f565b005b348015610308575f80fd5b50610323600480360381019061031e9190612498565b610ab6565b005b348015610330575f80fd5b5061034b60048036038101906103469190612614565b610ad5565b005b348015610358575f80fd5b50610361610b77565b60405161036e919061228f565b60405180910390f35b348015610382575f80fd5b5061039d60048036038101906103989190612385565b610b89565b6040516103aa91906123ef565b60405180910390f35b3480156103be575f80fd5b506103c7610b9a565b6040516103d49190612332565b60405180910390f35b3480156103e8575f80fd5b5061040360048036038101906103fe919061265b565b610c26565b604051610410919061247f565b60405180910390f35b348015610424575f80fd5b5061042d610cdc565b60405161043a91906123ef565b60405180910390f35b34801561044e575f80fd5b5061046960048036038101906104649190612385565b610d01565b005b348015610476575f80fd5b5061047f610d9a565b60405161048c919061247f565b60405180910390f35b3480156104a0575f80fd5b506104a9610da0565b6040516104b6919061247f565b60405180910390f35b3480156104ca575f80fd5b506104d3610db6565b6040516104e09190612332565b60405180910390f35b3480156104f4575f80fd5b506104fd610e46565b60405161050a91906123ef565b60405180910390f35b34801561051e575f80fd5b50610539600480360381019061053491906126b0565b610e6b565b005b348015610546575f80fd5b5061054f610e81565b60405161055c91906123ef565b60405180910390f35b348015610570575f80fd5b50610579610ea6565b005b348015610586575f80fd5b506105a1600480360381019061059c919061278c565b610f51565b005b3480156105ae575f80fd5b506105c960048036038101906105c49190612385565b610f76565b6040516105d69190612332565b60405180910390f35b3480156105ea575f80fd5b506105f3610fdc565b604051610600919061247f565b60405180910390f35b348015610614575f80fd5b5061061d610fe2565b005b34801561062a575f80fd5b50610633611177565b005b348015610640575f80fd5b5061065b6004803603810190610656919061280c565b611221565b604051610668919061228f565b60405180910390f35b34801561067c575f80fd5b506106976004803603810190610692919061265b565b6112af565b005b5f7f80ac58cd000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916148061076357507f5b5e139f000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916145b8061077357506107728261146a565b5b9050919050565b60605f805461078890612877565b80601f01602080910402602001604051908101604052809291908181526020018280546107b490612877565b80156107ff5780601f106107d6576101008083540402835291602001916107ff565b820191905f5260205f20905b8154815290600101906020018083116107e257829003601f168201915b5050505050905090565b5f610813826114d3565b5061081d82611559565b9050919050565b6108368282610831611592565b611599565b5050565b61271081565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036108b0575f6040517f64a0ae920000000000000000000000000000000000000000000000000000000081526004016108a791906123ef565b60405180910390fd5b5f6108c383836108be611592565b6115ab565b90508373ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614610939578382826040517f64283d7b000000000000000000000000000000000000000000000000000000008152600401610930939291906128a7565b60405180910390fd5b50505050565b80610948610da0565b81111561098a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161098190612926565b60405180910390fd5b60075f9054906101000a900460ff166109d8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109cf9061298e565b60405180910390fd5b5f821180156109e8575060148211155b610a27576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a1e906129f6565b60405180910390fd5b600a5482610a359190612a41565b341015610a77576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a6e90612acc565b60405180910390fd5b5f5b82811015610ab157610a9e3360085f8154610a9390612aea565b9190508190556117b6565b8080610aa990612aea565b915050610a79565b505050565b610ad083838360405180602001604052805f815250610f51565b505050565b3373ffffffffffffffffffffffffffffffffffffffff1660095f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610b64576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b5b90612b7b565b60405180910390fd5b8060069081610b739190612d36565b5050565b60075f9054906101000a900460ff1681565b5f610b93826114d3565b9050919050565b60068054610ba790612877565b80601f0160208091040260200160405190810160405280929190818152602001828054610bd390612877565b8015610c1e5780601f10610bf557610100808354040283529160200191610c1e565b820191905f5260205f20905b815481529060010190602001808311610c0157829003601f168201915b505050505081565b5f8073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610c97575f6040517f89c62b64000000000000000000000000000000000000000000000000000000008152600401610c8e91906123ef565b60405180910390fd5b60035f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b60095f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b3373ffffffffffffffffffffffffffffffffffffffff1660095f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610d90576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d8790612b7b565b60405180910390fd5b80600a8190555050565b60085481565b5f600854612710610db19190612e05565b905090565b606060018054610dc590612877565b80601f0160208091040260200160405190810160405280929190818152602001828054610df190612877565b8015610e3c5780601f10610e1357610100808354040283529160200191610e3c565b820191905f5260205f20905b815481529060010190602001808311610e1f57829003601f168201915b5050505050905090565b600c5f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b610e7d610e76611592565b83836118a9565b5050565b600b5f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b3373ffffffffffffffffffffffffffffffffffffffff1660095f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610f35576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f2c90612b7b565b60405180910390fd5b600160075f6101000a81548160ff021916908315150217905550565b610f5c848484610840565b610f70610f67611592565b85858585611a12565b50505050565b6060610f81826114d3565b505f610f8b611bbe565b90505f815111610fa95760405180602001604052805f815250610fd4565b80610fb384611c4e565b604051602001610fc4929190612e72565b6040516020818303038152906040525b915050919050565b600a5481565b3373ffffffffffffffffffffffffffffffffffffffff1660095f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614611071576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161106890612b7b565b60405180910390fd5b5f4790505f670de0b6b3a7640000670c7d713b49da0000836110939190612a41565b61109d9190612ec2565b90505f670de0b6b3a764000067016345785d8a0000846110bd9190612a41565b6110c79190612ec2565b90503373ffffffffffffffffffffffffffffffffffffffff166108fc8390811502906040515f60405180830381858888f1935050505015801561110c573d5f803e3d5ffd5b50600c5f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc8290811502906040515f60405180830381858888f19350505050158015611171573d5f803e3d5ffd5b50505050565b3373ffffffffffffffffffffffffffffffffffffffff1660095f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614611206576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016111fd90612b7b565b60405180910390fd5b5f60075f6101000a81548160ff021916908315150217905550565b5f60055f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff16905092915050565b3373ffffffffffffffffffffffffffffffffffffffff1660095f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161461133e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161133590612b7b565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16036113ac576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016113a390612f62565b60405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff1660095f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a38060095f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b5f7f01ffc9a7000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916149050919050565b5f806114de83611d18565b90505f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff160361155057826040517f7e273289000000000000000000000000000000000000000000000000000000008152600401611547919061247f565b60405180910390fd5b80915050919050565b5f60045f8381526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b5f33905090565b6115a68383836001611d51565b505050565b5f806115b684611d18565b90505f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16146115f7576115f6818486611f10565b5b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614611682576116365f855f80611d51565b600160035f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825403925050819055505b5f73ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff161461170157600160035f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055505b8460025f8681526020019081526020015f205f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550838573ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a4809150509392505050565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603611826575f6040517f64a0ae9200000000000000000000000000000000000000000000000000000000815260040161181d91906123ef565b60405180910390fd5b5f61183283835f6115ab565b90505f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16146118a4575f6040517f73c6ac6e00000000000000000000000000000000000000000000000000000000815260040161189b91906123ef565b60405180910390fd5b505050565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361191957816040517f5b08ba1800000000000000000000000000000000000000000000000000000000815260040161191091906123ef565b60405180910390fd5b8060055f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c3183604051611a05919061228f565b60405180910390a3505050565b5f8373ffffffffffffffffffffffffffffffffffffffff163b1115611bb7578273ffffffffffffffffffffffffffffffffffffffff1663150b7a02868685856040518563ffffffff1660e01b8152600401611a709493929190612fd2565b6020604051808303815f875af1925050508015611aab57506040513d601f19601f82011682018060405250810190611aa89190613030565b60015b611b2c573d805f8114611ad9576040519150601f19603f3d011682016040523d82523d5f602084013e611ade565b606091505b505f815103611b2457836040517f64a0ae92000000000000000000000000000000000000000000000000000000008152600401611b1b91906123ef565b60405180910390fd5b805181602001fd5b63150b7a0260e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614611bb557836040517f64a0ae92000000000000000000000000000000000000000000000000000000008152600401611bac91906123ef565b60405180910390fd5b505b5050505050565b606060068054611bcd90612877565b80601f0160208091040260200160405190810160405280929190818152602001828054611bf990612877565b8015611c445780601f10611c1b57610100808354040283529160200191611c44565b820191905f5260205f20905b815481529060010190602001808311611c2757829003601f168201915b5050505050905090565b60605f6001611c5c84611fd3565b0190505f8167ffffffffffffffff811115611c7a57611c796124f0565b5b6040519080825280601f01601f191660200182016040528015611cac5781602001600182028036833780820191505090505b5090505f82602001820190505b600115611d0d578080600190039150507f3031323334353637383961626364656600000000000000000000000000000000600a86061a8153600a8581611d0257611d01612e95565b5b0494505f8503611cb9575b819350505050919050565b5f60025f8381526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b8080611d8957505f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614155b15611ebb575f611d98846114d3565b90505f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614158015611e0257508273ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614155b8015611e155750611e138184611221565b155b15611e5757826040517fa9fbf51f000000000000000000000000000000000000000000000000000000008152600401611e4e91906123ef565b60405180910390fd5b8115611eb957838573ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92560405160405180910390a45b505b8360045f8581526020019081526020015f205f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050505050565b611f1b838383612124565b611fce575f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603611f8f57806040517f7e273289000000000000000000000000000000000000000000000000000000008152600401611f86919061247f565b60405180910390fd5b81816040517f177e802f000000000000000000000000000000000000000000000000000000008152600401611fc592919061305b565b60405180910390fd5b505050565b5f805f90507a184f03e93ff9f4daa797ed6e38ed64bf6a1f010000000000000000831061202f577a184f03e93ff9f4daa797ed6e38ed64bf6a1f010000000000000000838161202557612024612e95565b5b0492506040810190505b6d04ee2d6d415b85acef8100000000831061206c576d04ee2d6d415b85acef8100000000838161206257612061612e95565b5b0492506020810190505b662386f26fc10000831061209b57662386f26fc10000838161209157612090612e95565b5b0492506010810190505b6305f5e10083106120c4576305f5e10083816120ba576120b9612e95565b5b0492506008810190505b61271083106120e95761271083816120df576120de612e95565b5b0492506004810190505b6064831061210c576064838161210257612101612e95565b5b0492506002810190505b600a831061211b576001810190505b80915050919050565b5f8073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141580156121db57508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff16148061219c575061219b8484611221565b5b806121da57508273ffffffffffffffffffffffffffffffffffffffff166121c283611559565b73ffffffffffffffffffffffffffffffffffffffff16145b5b90509392505050565b5f604051905090565b5f80fd5b5f80fd5b5f7fffffffff0000000000000000000000000000000000000000000000000000000082169050919050565b612229816121f5565b8114612233575f80fd5b50565b5f8135905061224481612220565b92915050565b5f6020828403121561225f5761225e6121ed565b5b5f61226c84828501612236565b91505092915050565b5f8115159050919050565b61228981612275565b82525050565b5f6020820190506122a25f830184612280565b92915050565b5f81519050919050565b5f82825260208201905092915050565b5f5b838110156122df5780820151818401526020810190506122c4565b5f8484015250505050565b5f601f19601f8301169050919050565b5f612304826122a8565b61230e81856122b2565b935061231e8185602086016122c2565b612327816122ea565b840191505092915050565b5f6020820190508181035f83015261234a81846122fa565b905092915050565b5f819050919050565b61236481612352565b811461236e575f80fd5b50565b5f8135905061237f8161235b565b92915050565b5f6020828403121561239a576123996121ed565b5b5f6123a784828501612371565b91505092915050565b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6123d9826123b0565b9050919050565b6123e9816123cf565b82525050565b5f6020820190506124025f8301846123e0565b92915050565b612411816123cf565b811461241b575f80fd5b50565b5f8135905061242c81612408565b92915050565b5f8060408385031215612448576124476121ed565b5b5f6124558582860161241e565b925050602061246685828601612371565b9150509250929050565b61247981612352565b82525050565b5f6020820190506124925f830184612470565b92915050565b5f805f606084860312156124af576124ae6121ed565b5b5f6124bc8682870161241e565b93505060206124cd8682870161241e565b92505060406124de86828701612371565b9150509250925092565b5f80fd5b5f80fd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b612526826122ea565b810181811067ffffffffffffffff82111715612545576125446124f0565b5b80604052505050565b5f6125576121e4565b9050612563828261251d565b919050565b5f67ffffffffffffffff821115612582576125816124f0565b5b61258b826122ea565b9050602081019050919050565b828183375f83830152505050565b5f6125b86125b384612568565b61254e565b9050828152602081018484840111156125d4576125d36124ec565b5b6125df848285612598565b509392505050565b5f82601f8301126125fb576125fa6124e8565b5b813561260b8482602086016125a6565b91505092915050565b5f60208284031215612629576126286121ed565b5b5f82013567ffffffffffffffff811115612646576126456121f1565b5b612652848285016125e7565b91505092915050565b5f602082840312156126705761266f6121ed565b5b5f61267d8482850161241e565b91505092915050565b61268f81612275565b8114612699575f80fd5b50565b5f813590506126aa81612686565b92915050565b5f80604083850312156126c6576126c56121ed565b5b5f6126d38582860161241e565b92505060206126e48582860161269c565b9150509250929050565b5f67ffffffffffffffff821115612708576127076124f0565b5b612711826122ea565b9050602081019050919050565b5f61273061272b846126ee565b61254e565b90508281526020810184848401111561274c5761274b6124ec565b5b612757848285612598565b509392505050565b5f82601f830112612773576127726124e8565b5b813561278384826020860161271e565b91505092915050565b5f805f80608085870312156127a4576127a36121ed565b5b5f6127b18782880161241e565b94505060206127c28782880161241e565b93505060406127d387828801612371565b925050606085013567ffffffffffffffff8111156127f4576127f36121f1565b5b6128008782880161275f565b91505092959194509250565b5f8060408385031215612822576128216121ed565b5b5f61282f8582860161241e565b92505060206128408582860161241e565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061288e57607f821691505b6020821081036128a1576128a061284a565b5b50919050565b5f6060820190506128ba5f8301866123e0565b6128c76020830185612470565b6128d460408301846123e0565b949350505050565b7f547279206d696e74696e67206c6573732062616e616e617300000000000000005f82015250565b5f6129106018836122b2565b915061291b826128dc565b602082019050919050565b5f6020820190508181035f83015261293d81612904565b9050919050565b7f53616c65206973206e6f742061637469766500000000000000000000000000005f82015250565b5f6129786012836122b2565b915061298382612944565b602082019050919050565b5f6020820190508181035f8301526129a58161296c565b9050919050565b7f4d696e74206d696e20312c206d617820323000000000000000000000000000005f82015250565b5f6129e06012836122b2565b91506129eb826129ac565b602082019050919050565b5f6020820190508181035f830152612a0d816129d4565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f612a4b82612352565b9150612a5683612352565b9250828202612a6481612352565b91508282048414831517612a7b57612a7a612a14565b5b5092915050565b7f57726f6e6720616d6f756e74206f6620455448000000000000000000000000005f82015250565b5f612ab66013836122b2565b9150612ac182612a82565b602082019050919050565b5f6020820190508181035f830152612ae381612aaa565b9050919050565b5f612af482612352565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8203612b2657612b25612a14565b5b600182019050919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65725f82015250565b5f612b656020836122b2565b9150612b7082612b31565b602082019050919050565b5f6020820190508181035f830152612b9281612b59565b9050919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f60088302612bf57fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82612bba565b612bff8683612bba565b95508019841693508086168417925050509392505050565b5f819050919050565b5f612c3a612c35612c3084612352565b612c17565b612352565b9050919050565b5f819050919050565b612c5383612c20565b612c67612c5f82612c41565b848454612bc6565b825550505050565b5f90565b612c7b612c6f565b612c86818484612c4a565b505050565b5b81811015612ca957612c9e5f82612c73565b600181019050612c8c565b5050565b601f821115612cee57612cbf81612b99565b612cc884612bab565b81016020851015612cd7578190505b612ceb612ce385612bab565b830182612c8b565b50505b505050565b5f82821c905092915050565b5f612d0e5f1984600802612cf3565b1980831691505092915050565b5f612d268383612cff565b9150826002028217905092915050565b612d3f826122a8565b67ffffffffffffffff811115612d5857612d576124f0565b5b612d628254612877565b612d6d828285612cad565b5f60209050601f831160018114612d9e575f8415612d8c578287015190505b612d968582612d1b565b865550612dfd565b601f198416612dac86612b99565b5f5b82811015612dd357848901518255600182019150602085019450602081019050612dae565b86831015612df05784890151612dec601f891682612cff565b8355505b6001600288020188555050505b505050505050565b5f612e0f82612352565b9150612e1a83612352565b9250828203905081811115612e3257612e31612a14565b5b92915050565b5f81905092915050565b5f612e4c826122a8565b612e568185612e38565b9350612e668185602086016122c2565b80840191505092915050565b5f612e7d8285612e42565b9150612e898284612e42565b91508190509392505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f612ecc82612352565b9150612ed783612352565b925082612ee757612ee6612e95565b5b828204905092915050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f20615f8201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b5f612f4c6026836122b2565b9150612f5782612ef2565b604082019050919050565b5f6020820190508181035f830152612f7981612f40565b9050919050565b5f81519050919050565b5f82825260208201905092915050565b5f612fa482612f80565b612fae8185612f8a565b9350612fbe8185602086016122c2565b612fc7816122ea565b840191505092915050565b5f608082019050612fe55f8301876123e0565b612ff260208301866123e0565b612fff6040830185612470565b81810360608301526130118184612f9a565b905095945050505050565b5f8151905061302a81612220565b92915050565b5f60208284031215613045576130446121ed565b5b5f6130528482850161301c565b91505092915050565b5f60408201905061306e5f8301856123e0565b61307b6020830184612470565b939250505056fea2646970667358221220e8a540fe2545716ecdbf8b74a146e335d0738630b13cb34d96ac5fd93d01b57b64736f6c63430008140033

0x6080604052600436106101c1575f3560e01c806391b7f5ed116100f6578063b66a0e5d11610094578063e086e5ec11610063578063e086e5ec14610609578063e36b0b371461061f578063e985e9c514610635578063f2fde38b14610671576101c1565b8063b66a0e5d14610565578063b88d4fde1461057b578063c87b56dd146105a3578063dac6db1c146105df576101c1565b806395d89b41116100d057806395d89b41146104bf57806399ce97ba146104e9578063a22cb46514610513578063b0c936d81461053b576101c1565b806391b7f5ed146104435780639358928b1461046b57806393bf6f8214610495576101c1565b806342842e0e116101635780636352211e1161013d5780636352211e146103775780636c0360eb146103b357806370a08231146103dd5780638da5cb5b14610419576101c1565b806342842e0e146102fd57806355f804b314610325578063564566a81461034d576101c1565b8063095ea7b31161019f578063095ea7b31461026757806318160ddd1461028f57806323b872dd146102b957806338acbe5b146102e1576101c1565b806301ffc9a7146101c557806306fdde0314610201578063081812fc1461022b575b5f80fd5b3480156101d0575f80fd5b506101eb60048036038101906101e6919061224a565b610699565b6040516101f8919061228f565b60405180910390f35b34801561020c575f80fd5b5061021561077a565b6040516102229190612332565b60405180910390f35b348015610236575f80fd5b50610251600480360381019061024c9190612385565b610809565b60405161025e91906123ef565b60405180910390f35b348015610272575f80fd5b5061028d60048036038101906102889190612432565b610824565b005b34801561029a575f80fd5b506102a361083a565b6040516102b0919061247f565b60405180910390f35b3480156102c4575f80fd5b506102df60048036038101906102da9190612498565b610840565b005b6102fb60048036038101906102f69190612385565b61093f565b005b348015610308575f80fd5b50610323600480360381019061031e9190612498565b610ab6565b005b348015610330575f80fd5b5061034b60048036038101906103469190612614565b610ad5565b005b348015610358575f80fd5b50610361610b77565b60405161036e919061228f565b60405180910390f35b348015610382575f80fd5b5061039d60048036038101906103989190612385565b610b89565b6040516103aa91906123ef565b60405180910390f35b3480156103be575f80fd5b506103c7610b9a565b6040516103d49190612332565b60405180910390f35b3480156103e8575f80fd5b5061040360048036038101906103fe919061265b565b610c26565b604051610410919061247f565b60405180910390f35b348015610424575f80fd5b5061042d610cdc565b60405161043a91906123ef565b60405180910390f35b34801561044e575f80fd5b5061046960048036038101906104649190612385565b610d01565b005b348015610476575f80fd5b5061047f610d9a565b60405161048c919061247f565b60405180910390f35b3480156104a0575f80fd5b506104a9610da0565b6040516104b6919061247f565b60405180910390f35b3480156104ca575f80fd5b506104d3610db6565b6040516104e09190612332565b60405180910390f35b3480156104f4575f80fd5b506104fd610e46565b60405161050a91906123ef565b60405180910390f35b34801561051e575f80fd5b50610539600480360381019061053491906126b0565b610e6b565b005b348015610546575f80fd5b5061054f610e81565b60405161055c91906123ef565b60405180910390f35b348015610570575f80fd5b50610579610ea6565b005b348015610586575f80fd5b506105a1600480360381019061059c919061278c565b610f51565b005b3480156105ae575f80fd5b506105c960048036038101906105c49190612385565b610f76565b6040516105d69190612332565b60405180910390f35b3480156105ea575f80fd5b506105f3610fdc565b604051610600919061247f565b60405180910390f35b348015610614575f80fd5b5061061d610fe2565b005b34801561062a575f80fd5b50610633611177565b005b348015610640575f80fd5b5061065b6004803603810190610656919061280c565b611221565b604051610668919061228f565b60405180910390f35b34801561067c575f80fd5b506106976004803603810190610692919061265b565b6112af565b005b5f7f80ac58cd000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916148061076357507f5b5e139f000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916145b8061077357506107728261146a565b5b9050919050565b60605f805461078890612877565b80601f01602080910402602001604051908101604052809291908181526020018280546107b490612877565b80156107ff5780601f106107d6576101008083540402835291602001916107ff565b820191905f5260205f20905b8154815290600101906020018083116107e257829003601f168201915b5050505050905090565b5f610813826114d3565b5061081d82611559565b9050919050565b6108368282610831611592565b611599565b5050565b61271081565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036108b0575f6040517f64a0ae920000000000000000000000000000000000000000000000000000000081526004016108a791906123ef565b60405180910390fd5b5f6108c383836108be611592565b6115ab565b90508373ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614610939578382826040517f64283d7b000000000000000000000000000000000000000000000000000000008152600401610930939291906128a7565b60405180910390fd5b50505050565b80610948610da0565b81111561098a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161098190612926565b60405180910390fd5b60075f9054906101000a900460ff166109d8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109cf9061298e565b60405180910390fd5b5f821180156109e8575060148211155b610a27576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a1e906129f6565b60405180910390fd5b600a5482610a359190612a41565b341015610a77576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a6e90612acc565b60405180910390fd5b5f5b82811015610ab157610a9e3360085f8154610a9390612aea565b9190508190556117b6565b8080610aa990612aea565b915050610a79565b505050565b610ad083838360405180602001604052805f815250610f51565b505050565b3373ffffffffffffffffffffffffffffffffffffffff1660095f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610b64576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b5b90612b7b565b60405180910390fd5b8060069081610b739190612d36565b5050565b60075f9054906101000a900460ff1681565b5f610b93826114d3565b9050919050565b60068054610ba790612877565b80601f0160208091040260200160405190810160405280929190818152602001828054610bd390612877565b8015610c1e5780601f10610bf557610100808354040283529160200191610c1e565b820191905f5260205f20905b815481529060010190602001808311610c0157829003601f168201915b505050505081565b5f8073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610c97575f6040517f89c62b64000000000000000000000000000000000000000000000000000000008152600401610c8e91906123ef565b60405180910390fd5b60035f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b60095f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b3373ffffffffffffffffffffffffffffffffffffffff1660095f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610d90576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d8790612b7b565b60405180910390fd5b80600a8190555050565b60085481565b5f600854612710610db19190612e05565b905090565b606060018054610dc590612877565b80601f0160208091040260200160405190810160405280929190818152602001828054610df190612877565b8015610e3c5780601f10610e1357610100808354040283529160200191610e3c565b820191905f5260205f20905b815481529060010190602001808311610e1f57829003601f168201915b5050505050905090565b600c5f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b610e7d610e76611592565b83836118a9565b5050565b600b5f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b3373ffffffffffffffffffffffffffffffffffffffff1660095f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610f35576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f2c90612b7b565b60405180910390fd5b600160075f6101000a81548160ff021916908315150217905550565b610f5c848484610840565b610f70610f67611592565b85858585611a12565b50505050565b6060610f81826114d3565b505f610f8b611bbe565b90505f815111610fa95760405180602001604052805f815250610fd4565b80610fb384611c4e565b604051602001610fc4929190612e72565b6040516020818303038152906040525b915050919050565b600a5481565b3373ffffffffffffffffffffffffffffffffffffffff1660095f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614611071576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161106890612b7b565b60405180910390fd5b5f4790505f670de0b6b3a7640000670c7d713b49da0000836110939190612a41565b61109d9190612ec2565b90505f670de0b6b3a764000067016345785d8a0000846110bd9190612a41565b6110c79190612ec2565b90503373ffffffffffffffffffffffffffffffffffffffff166108fc8390811502906040515f60405180830381858888f1935050505015801561110c573d5f803e3d5ffd5b50600c5f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc8290811502906040515f60405180830381858888f19350505050158015611171573d5f803e3d5ffd5b50505050565b3373ffffffffffffffffffffffffffffffffffffffff1660095f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614611206576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016111fd90612b7b565b60405180910390fd5b5f60075f6101000a81548160ff021916908315150217905550565b5f60055f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff16905092915050565b3373ffffffffffffffffffffffffffffffffffffffff1660095f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161461133e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161133590612b7b565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16036113ac576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016113a390612f62565b60405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff1660095f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a38060095f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b5f7f01ffc9a7000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916149050919050565b5f806114de83611d18565b90505f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff160361155057826040517f7e273289000000000000000000000000000000000000000000000000000000008152600401611547919061247f565b60405180910390fd5b80915050919050565b5f60045f8381526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b5f33905090565b6115a68383836001611d51565b505050565b5f806115b684611d18565b90505f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16146115f7576115f6818486611f10565b5b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614611682576116365f855f80611d51565b600160035f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825403925050819055505b5f73ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff161461170157600160035f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055505b8460025f8681526020019081526020015f205f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550838573ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a4809150509392505050565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603611826575f6040517f64a0ae9200000000000000000000000000000000000000000000000000000000815260040161181d91906123ef565b60405180910390fd5b5f61183283835f6115ab565b90505f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16146118a4575f6040517f73c6ac6e00000000000000000000000000000000000000000000000000000000815260040161189b91906123ef565b60405180910390fd5b505050565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361191957816040517f5b08ba1800000000000000000000000000000000000000000000000000000000815260040161191091906123ef565b60405180910390fd5b8060055f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c3183604051611a05919061228f565b60405180910390a3505050565b5f8373ffffffffffffffffffffffffffffffffffffffff163b1115611bb7578273ffffffffffffffffffffffffffffffffffffffff1663150b7a02868685856040518563ffffffff1660e01b8152600401611a709493929190612fd2565b6020604051808303815f875af1925050508015611aab57506040513d601f19601f82011682018060405250810190611aa89190613030565b60015b611b2c573d805f8114611ad9576040519150601f19603f3d011682016040523d82523d5f602084013e611ade565b606091505b505f815103611b2457836040517f64a0ae92000000000000000000000000000000000000000000000000000000008152600401611b1b91906123ef565b60405180910390fd5b805181602001fd5b63150b7a0260e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614611bb557836040517f64a0ae92000000000000000000000000000000000000000000000000000000008152600401611bac91906123ef565b60405180910390fd5b505b5050505050565b606060068054611bcd90612877565b80601f0160208091040260200160405190810160405280929190818152602001828054611bf990612877565b8015611c445780601f10611c1b57610100808354040283529160200191611c44565b820191905f5260205f20905b815481529060010190602001808311611c2757829003601f168201915b5050505050905090565b60605f6001611c5c84611fd3565b0190505f8167ffffffffffffffff811115611c7a57611c796124f0565b5b6040519080825280601f01601f191660200182016040528015611cac5781602001600182028036833780820191505090505b5090505f82602001820190505b600115611d0d578080600190039150507f3031323334353637383961626364656600000000000000000000000000000000600a86061a8153600a8581611d0257611d01612e95565b5b0494505f8503611cb9575b819350505050919050565b5f60025f8381526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b8080611d8957505f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614155b15611ebb575f611d98846114d3565b90505f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614158015611e0257508273ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614155b8015611e155750611e138184611221565b155b15611e5757826040517fa9fbf51f000000000000000000000000000000000000000000000000000000008152600401611e4e91906123ef565b60405180910390fd5b8115611eb957838573ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92560405160405180910390a45b505b8360045f8581526020019081526020015f205f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050505050565b611f1b838383612124565b611fce575f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603611f8f57806040517f7e273289000000000000000000000000000000000000000000000000000000008152600401611f86919061247f565b60405180910390fd5b81816040517f177e802f000000000000000000000000000000000000000000000000000000008152600401611fc592919061305b565b60405180910390fd5b505050565b5f805f90507a184f03e93ff9f4daa797ed6e38ed64bf6a1f010000000000000000831061202f577a184f03e93ff9f4daa797ed6e38ed64bf6a1f010000000000000000838161202557612024612e95565b5b0492506040810190505b6d04ee2d6d415b85acef8100000000831061206c576d04ee2d6d415b85acef8100000000838161206257612061612e95565b5b0492506020810190505b662386f26fc10000831061209b57662386f26fc10000838161209157612090612e95565b5b0492506010810190505b6305f5e10083106120c4576305f5e10083816120ba576120b9612e95565b5b0492506008810190505b61271083106120e95761271083816120df576120de612e95565b5b0492506004810190505b6064831061210c576064838161210257612101612e95565b5b0492506002810190505b600a831061211b576001810190505b80915050919050565b5f8073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141580156121db57508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff16148061219c575061219b8484611221565b5b806121da57508273ffffffffffffffffffffffffffffffffffffffff166121c283611559565b73ffffffffffffffffffffffffffffffffffffffff16145b5b90509392505050565b5f604051905090565b5f80fd5b5f80fd5b5f7fffffffff0000000000000000000000000000000000000000000000000000000082169050919050565b612229816121f5565b8114612233575f80fd5b50565b5f8135905061224481612220565b92915050565b5f6020828403121561225f5761225e6121ed565b5b5f61226c84828501612236565b91505092915050565b5f8115159050919050565b61228981612275565b82525050565b5f6020820190506122a25f830184612280565b92915050565b5f81519050919050565b5f82825260208201905092915050565b5f5b838110156122df5780820151818401526020810190506122c4565b5f8484015250505050565b5f601f19601f8301169050919050565b5f612304826122a8565b61230e81856122b2565b935061231e8185602086016122c2565b612327816122ea565b840191505092915050565b5f6020820190508181035f83015261234a81846122fa565b905092915050565b5f819050919050565b61236481612352565b811461236e575f80fd5b50565b5f8135905061237f8161235b565b92915050565b5f6020828403121561239a576123996121ed565b5b5f6123a784828501612371565b91505092915050565b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6123d9826123b0565b9050919050565b6123e9816123cf565b82525050565b5f6020820190506124025f8301846123e0565b92915050565b612411816123cf565b811461241b575f80fd5b50565b5f8135905061242c81612408565b92915050565b5f8060408385031215612448576124476121ed565b5b5f6124558582860161241e565b925050602061246685828601612371565b9150509250929050565b61247981612352565b82525050565b5f6020820190506124925f830184612470565b92915050565b5f805f606084860312156124af576124ae6121ed565b5b5f6124bc8682870161241e565b93505060206124cd8682870161241e565b92505060406124de86828701612371565b9150509250925092565b5f80fd5b5f80fd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b612526826122ea565b810181811067ffffffffffffffff82111715612545576125446124f0565b5b80604052505050565b5f6125576121e4565b9050612563828261251d565b919050565b5f67ffffffffffffffff821115612582576125816124f0565b5b61258b826122ea565b9050602081019050919050565b828183375f83830152505050565b5f6125b86125b384612568565b61254e565b9050828152602081018484840111156125d4576125d36124ec565b5b6125df848285612598565b509392505050565b5f82601f8301126125fb576125fa6124e8565b5b813561260b8482602086016125a6565b91505092915050565b5f60208284031215612629576126286121ed565b5b5f82013567ffffffffffffffff811115612646576126456121f1565b5b612652848285016125e7565b91505092915050565b5f602082840312156126705761266f6121ed565b5b5f61267d8482850161241e565b91505092915050565b61268f81612275565b8114612699575f80fd5b50565b5f813590506126aa81612686565b92915050565b5f80604083850312156126c6576126c56121ed565b5b5f6126d38582860161241e565b92505060206126e48582860161269c565b9150509250929050565b5f67ffffffffffffffff821115612708576127076124f0565b5b612711826122ea565b9050602081019050919050565b5f61273061272b846126ee565b61254e565b90508281526020810184848401111561274c5761274b6124ec565b5b612757848285612598565b509392505050565b5f82601f830112612773576127726124e8565b5b813561278384826020860161271e565b91505092915050565b5f805f80608085870312156127a4576127a36121ed565b5b5f6127b18782880161241e565b94505060206127c28782880161241e565b93505060406127d387828801612371565b925050606085013567ffffffffffffffff8111156127f4576127f36121f1565b5b6128008782880161275f565b91505092959194509250565b5f8060408385031215612822576128216121ed565b5b5f61282f8582860161241e565b92505060206128408582860161241e565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061288e57607f821691505b6020821081036128a1576128a061284a565b5b50919050565b5f6060820190506128ba5f8301866123e0565b6128c76020830185612470565b6128d460408301846123e0565b949350505050565b7f547279206d696e74696e67206c6573732062616e616e617300000000000000005f82015250565b5f6129106018836122b2565b915061291b826128dc565b602082019050919050565b5f6020820190508181035f83015261293d81612904565b9050919050565b7f53616c65206973206e6f742061637469766500000000000000000000000000005f82015250565b5f6129786012836122b2565b915061298382612944565b602082019050919050565b5f6020820190508181035f8301526129a58161296c565b9050919050565b7f4d696e74206d696e20312c206d617820323000000000000000000000000000005f82015250565b5f6129e06012836122b2565b91506129eb826129ac565b602082019050919050565b5f6020820190508181035f830152612a0d816129d4565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f612a4b82612352565b9150612a5683612352565b9250828202612a6481612352565b91508282048414831517612a7b57612a7a612a14565b5b5092915050565b7f57726f6e6720616d6f756e74206f6620455448000000000000000000000000005f82015250565b5f612ab66013836122b2565b9150612ac182612a82565b602082019050919050565b5f6020820190508181035f830152612ae381612aaa565b9050919050565b5f612af482612352565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8203612b2657612b25612a14565b5b600182019050919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65725f82015250565b5f612b656020836122b2565b9150612b7082612b31565b602082019050919050565b5f6020820190508181035f830152612b9281612b59565b9050919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f60088302612bf57fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82612bba565b612bff8683612bba565b95508019841693508086168417925050509392505050565b5f819050919050565b5f612c3a612c35612c3084612352565b612c17565b612352565b9050919050565b5f819050919050565b612c5383612c20565b612c67612c5f82612c41565b848454612bc6565b825550505050565b5f90565b612c7b612c6f565b612c86818484612c4a565b505050565b5b81811015612ca957612c9e5f82612c73565b600181019050612c8c565b5050565b601f821115612cee57612cbf81612b99565b612cc884612bab565b81016020851015612cd7578190505b612ceb612ce385612bab565b830182612c8b565b50505b505050565b5f82821c905092915050565b5f612d0e5f1984600802612cf3565b1980831691505092915050565b5f612d268383612cff565b9150826002028217905092915050565b612d3f826122a8565b67ffffffffffffffff811115612d5857612d576124f0565b5b612d628254612877565b612d6d828285612cad565b5f60209050601f831160018114612d9e575f8415612d8c578287015190505b612d968582612d1b565b865550612dfd565b601f198416612dac86612b99565b5f5b82811015612dd357848901518255600182019150602085019450602081019050612dae565b86831015612df05784890151612dec601f891682612cff565b8355505b6001600288020188555050505b505050505050565b5f612e0f82612352565b9150612e1a83612352565b9250828203905081811115612e3257612e31612a14565b5b92915050565b5f81905092915050565b5f612e4c826122a8565b612e568185612e38565b9350612e668185602086016122c2565b80840191505092915050565b5f612e7d8285612e42565b9150612e898284612e42565b91508190509392505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f612ecc82612352565b9150612ed783612352565b925082612ee757612ee6612e95565b5b828204905092915050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f20615f8201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b5f612f4c6026836122b2565b9150612f5782612ef2565b604082019050919050565b5f6020820190508181035f830152612f7981612f40565b9050919050565b5f81519050919050565b5f82825260208201905092915050565b5f612fa482612f80565b612fae8185612f8a565b9350612fbe8185602086016122c2565b612fc7816122ea565b840191505092915050565b5f608082019050612fe55f8301876123e0565b612ff260208301866123e0565b612fff6040830185612470565b81810360608301526130118184612f9a565b905095945050505050565b5f8151905061302a81612220565b92915050565b5f60208284031215613045576130446121ed565b5b5f6130528482850161301c565b91505092915050565b5f60408201905061306e5f8301856123e0565b61307b6020830184612470565b939250505056fea2646970667358221220e8a540fe2545716ecdbf8b74a146e335d0738630b13cb34d96ac5fd93d01b57b64736f6c63430008140033

107922:3183:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;92584:305;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;93415:91;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;94587:158;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;94406:115;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;108172:43;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;95256:588;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;108489:465;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;95915:134;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;109873:102;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;108020:24;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;93228:120;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;107992:21;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;92953:213;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;108090:33;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;109745:96;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;108051:32;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;110526:115;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;93575:95;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;108297:65;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;94817:146;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;108224:66;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;109238:78;;;;;;;;;;;;;:::i;:::-;;96120:236;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;93741:260;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;108130:35;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;109365:333;;;;;;;;;;;;;:::i;:::-;;109152:78;;;;;;;;;;;;;:::i;:::-;;95034:155;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;110199:242;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;92584:305;92686:4;92738:25;92723:40;;;:11;:40;;;;:105;;;;92795:33;92780:48;;;:11;:48;;;;92723:105;:158;;;;92845:36;92869:11;92845:23;:36::i;:::-;92723:158;92703:178;;92584:305;;;:::o;93415:91::-;93460:13;93493:5;93486:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;93415:91;:::o;94587:158::-;94654:7;94674:22;94688:7;94674:13;:22::i;:::-;;94716:21;94729:7;94716:12;:21::i;:::-;94709:28;;94587:158;;;:::o;94406:115::-;94478:35;94487:2;94491:7;94500:12;:10;:12::i;:::-;94478:8;:35::i;:::-;94406:115;;:::o;108172:43::-;108210:5;108172:43;:::o;95256:588::-;95365:1;95351:16;;:2;:16;;;95347:89;;95421:1;95391:33;;;;;;;;;;;:::i;:::-;;;;;;;;95347:89;95657:21;95681:34;95689:2;95693:7;95702:12;:10;:12::i;:::-;95681:7;:34::i;:::-;95657:58;;95747:4;95730:21;;:13;:21;;;95726:111;;95796:4;95802:7;95811:13;95775:50;;;;;;;;;;;;;:::i;:::-;;;;;;;;95726:111;95336:508;95256:588;;;:::o;108489:465::-;108589:8;110909:18;:16;:18::i;:::-;110897:8;:30;;110889:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;108637:12:::1;;;;;;;;;;;108615:80;;;;;;;;;;;;:::i;:::-;;;;;;;;;108725:1;108714:8;:12;:30;;;;;108742:2;108730:8;:14;;108714:30;108706:61;;;;;;;;;;;;:::i;:::-;;;;;;;;;108810:9;;108799:8;:20;;;;:::i;:::-;108786:9;:33;;108778:65;;;;;;;;;;;;:::i;:::-;;;;;;;;;108861:9;108856:90;108880:8;108876:1;:12;108856:90;;;108908:38;108914:10;108928:17;;108926:19;;;;;:::i;:::-;;;;;;;108908:5;:38::i;:::-;108890:3;;;;;:::i;:::-;;;;108856:90;;;;108489:465:::0;;:::o;95915:134::-;96002:39;96019:4;96025:2;96029:7;96002:39;;;;;;;;;;;;:16;:39::i;:::-;95915:134;;;:::o;109873:102::-;111033:10;111024:19;;:5;;;;;;;;;;;:19;;;111016:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;109958:9:::1;109948:7;:19;;;;;;:::i;:::-;;109873:102:::0;:::o;108020:24::-;;;;;;;;;;;;;:::o;93228:120::-;93291:7;93318:22;93332:7;93318:13;:22::i;:::-;93311:29;;93228:120;;;:::o;107992:21::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;92953:213::-;93016:7;93057:1;93040:19;;:5;:19;;;93036:89;;93110:1;93083:30;;;;;;;;;;;:::i;:::-;;;;;;;;93036:89;93142:9;:16;93152:5;93142:16;;;;;;;;;;;;;;;;93135:23;;92953:213;;;:::o;108090:33::-;;;;;;;;;;;;;:::o;109745:96::-;111033:10;111024:19;;:5;;;;;;;;;;;:19;;;111016:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;109824:9:::1;109812;:21;;;;109745:96:::0;:::o;108051:32::-;;;;:::o;110526:115::-;110575:7;110616:17;;108210:5;110602:31;;;;:::i;:::-;110595:38;;110526:115;:::o;93575:95::-;93622:13;93655:7;93648:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;93575:95;:::o;108297:65::-;;;;;;;;;;;;;:::o;94817:146::-;94903:52;94922:12;:10;:12::i;:::-;94936:8;94946;94903:18;:52::i;:::-;94817:146;;:::o;108224:66::-;;;;;;;;;;;;;:::o;109238:78::-;111033:10;111024:19;;:5;;;;;;;;;;;:19;;;111016:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;109304:4:::1;109289:12;;:19;;;;;;;;;;;;;;;;;;109238:78::o:0;96120:236::-;96234:31;96247:4;96253:2;96257:7;96234:12;:31::i;:::-;96276:72;96310:12;:10;:12::i;:::-;96324:4;96330:2;96334:7;96343:4;96276:33;:72::i;:::-;96120:236;;;;:::o;93741:260::-;93805:13;93831:22;93845:7;93831:13;:22::i;:::-;;93866:21;93890:10;:8;:10::i;:::-;93866:34;;93942:1;93924:7;93918:21;:25;:75;;;;;;;;;;;;;;;;;93960:7;93969:18;:7;:16;:18::i;:::-;93946:42;;;;;;;;;:::i;:::-;;;;;;;;;;;;;93918:75;93911:82;;;93741:260;;;:::o;108130:35::-;;;;:::o;109365:333::-;111033:10;111024:19;;:5;;;;;;;;;;;:19;;;111016:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;109418:15:::1;109436:21;109418:39;;109470:19;109517:7;109503:10;109493:7;:20;;;;:::i;:::-;109492:32;;;;:::i;:::-;109470:54;;109535:19;109582:7;109568:10;109558:7;:20;;;;:::i;:::-;109557:32;;;;:::i;:::-;109535:54;;109610:10;109602:28;;:41;109631:11;109602:41;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;109662:5;;;;;;;;;;;109654:23;;:36;109678:11;109654:36;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;109407:291;;;109365:333::o:0;109152:78::-;111033:10;111024:19;;:5;;;;;;;;;;;:19;;;111016:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;109217:5:::1;109202:12;;:20;;;;;;;;;;;;;;;;;;109152:78::o:0;95034:155::-;95122:4;95146:18;:25;95165:5;95146:25;;;;;;;;;;;;;;;:35;95172:8;95146:35;;;;;;;;;;;;;;;;;;;;;;;;;95139:42;;95034:155;;;;:::o;110199:242::-;111033:10;111024:19;;:5;;;;;;;;;;;:19;;;111016:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;110308:1:::1;110288:22;;:8;:22;;::::0;110280:73:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;110397:8;110369:37;;110390:5;;;;;;;;;;;110369:37;;;;;;;;;;;;110425:8;110417:5;;:16;;;;;;;;;;;;;;;;;;110199:242:::0;:::o;84584:148::-;84660:4;84699:25;84684:40;;;:11;:40;;;;84677:47;;84584:148;;;:::o;107638:247::-;107701:7;107721:13;107737:17;107746:7;107737:8;:17::i;:::-;107721:33;;107786:1;107769:19;;:5;:19;;;107765:90;;107835:7;107812:31;;;;;;;;;;;:::i;:::-;;;;;;;;107765:90;107872:5;107865:12;;;107638:247;;;:::o;97119:129::-;97189:7;97216:15;:24;97232:7;97216:24;;;;;;;;;;;;;;;;;;;;;97209:31;;97119:129;;;:::o;79623:98::-;79676:7;79703:10;79696:17;;79623:98;:::o;105870:122::-;105951:33;105960:2;105964:7;105973:4;105979;105951:8;:33::i;:::-;105870:122;;;:::o;100080:824::-;100166:7;100186:12;100201:17;100210:7;100201:8;:17::i;:::-;100186:32;;100297:1;100281:18;;:4;:18;;;100277:88;;100316:37;100333:4;100339;100345:7;100316:16;:37::i;:::-;100277:88;100428:1;100412:18;;:4;:18;;;100408:263;;100530:48;100547:1;100551:7;100568:1;100572:5;100530:8;:48::i;:::-;100643:1;100624:9;:15;100634:4;100624:15;;;;;;;;;;;;;;;;:20;;;;;;;;;;;100408:263;100701:1;100687:16;;:2;:16;;;100683:111;;100766:1;100749:9;:13;100759:2;100749:13;;;;;;;;;;;;;;;;:18;;;;;;;;;;;100683:111;100825:2;100806:7;:16;100814:7;100806:16;;;;;;;;;;;;:21;;;;;;;;;;;;;;;;;;100864:7;100860:2;100845:27;;100854:4;100845:27;;;;;;;;;;;;100892:4;100885:11;;;100080:824;;;;;:::o;101240:335::-;101322:1;101308:16;;:2;:16;;;101304:89;;101378:1;101348:33;;;;;;;;;;;:::i;:::-;;;;;;;;101304:89;101403:21;101427:32;101435:2;101439:7;101456:1;101427:7;:32::i;:::-;101403:56;;101499:1;101474:27;;:13;:27;;;101470:98;;101553:1;101525:31;;;;;;;;;;;:::i;:::-;;;;;;;;101470:98;101293:282;101240:335;;:::o;107077:318::-;107205:1;107185:22;;:8;:22;;;107181:93;;107253:8;107231:31;;;;;;;;;;;:::i;:::-;;;;;;;;107181:93;107322:8;107284:18;:25;107303:5;107284:25;;;;;;;;;;;;;;;:35;107310:8;107284:35;;;;;;;;;;;;;;;;:46;;;;;;;;;;;;;;;;;;107368:8;107346:41;;107361:5;107346:41;;;107378:8;107346:41;;;;;;:::i;:::-;;;;;;;;107077:318;;;:::o;78027:948::-;78231:1;78214:2;:14;;;:18;78210:758;;;78269:2;78253:36;;;78290:8;78300:4;78306:7;78315:4;78253:67;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;78249:708;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;78633:1;78616:6;:13;:18;78612:330;;78758:2;78722:39;;;;;;;;;;;:::i;:::-;;;;;;;;78612:330;78892:6;78886:13;78877:6;78873:2;78869:15;78862:38;78249:708;78378:41;;;78368:51;;;:6;:51;;;;78364:185;;78526:2;78490:39;;;;;;;;;;;:::i;:::-;;;;;;;;78364:185;78321:243;78210:758;78027:948;;;;;:::o;110649:100::-;110701:13;110734:7;110727:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;110649:100;:::o;80481:650::-;80537:13;80588:14;80625:1;80605:17;80616:5;80605:10;:17::i;:::-;:21;80588:38;;80641:20;80675:6;80664:18;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;80641:41;;80697:11;80794:6;80790:2;80786:15;80778:6;80774:28;80767:35;;80831:254;80838:4;80831:254;;;80863:5;;;;;;;;80969:10;80964:2;80957:5;80953:14;80948:32;80943:3;80935:46;81027:2;81018:11;;;;;;:::i;:::-;;;;;81061:1;81052:5;:10;80831:254;81048:21;80831:254;81106:6;81099:13;;;;;80481:650;;;:::o;96881:117::-;96947:7;96974;:16;96982:7;96974:16;;;;;;;;;;;;;;;;;;;;;96967:23;;96881:117;;;:::o;106180:678::-;106342:9;:31;;;;106371:1;106355:18;;:4;:18;;;;106342:31;106338:471;;;106390:13;106406:22;106420:7;106406:13;:22::i;:::-;106390:38;;106575:1;106559:18;;:4;:18;;;;:35;;;;;106590:4;106581:13;;:5;:13;;;;106559:35;:69;;;;;106599:29;106616:5;106623:4;106599:16;:29::i;:::-;106598:30;106559:69;106555:144;;;106678:4;106656:27;;;;;;;;;;;:::i;:::-;;;;;;;;106555:144;106719:9;106715:83;;;106774:7;106770:2;106754:28;;106763:5;106754:28;;;;;;;;;;;;106715:83;106375:434;106338:471;106848:2;106821:15;:24;106837:7;106821:24;;;;;;;;;;;;:29;;;;;;;;;;;;;;;;;;106180:678;;;;:::o;98287:376::-;98400:38;98414:5;98421:7;98430;98400:13;:38::i;:::-;98395:261;;98476:1;98459:19;;:5;:19;;;98455:190;;98529:7;98506:31;;;;;;;;;;;:::i;:::-;;;;;;;;98455:190;98612:7;98621;98585:44;;;;;;;;;;;;:::i;:::-;;;;;;;;98395:261;98287:376;;;:::o;64901:948::-;64954:7;64974:14;64991:1;64974:18;;65041:8;65032:5;:17;65028:106;;65079:8;65070:17;;;;;;:::i;:::-;;;;;65116:2;65106:12;;;;65028:106;65161:8;65152:5;:17;65148:106;;65199:8;65190:17;;;;;;:::i;:::-;;;;;65236:2;65226:12;;;;65148:106;65281:8;65272:5;:17;65268:106;;65319:8;65310:17;;;;;;:::i;:::-;;;;;65356:2;65346:12;;;;65268:106;65401:7;65392:5;:16;65388:103;;65438:7;65429:16;;;;;;:::i;:::-;;;;;65474:1;65464:11;;;;65388:103;65518:7;65509:5;:16;65505:103;;65555:7;65546:16;;;;;;:::i;:::-;;;;;65591:1;65581:11;;;;65505:103;65635:7;65626:5;:16;65622:103;;65672:7;65663:16;;;;;;:::i;:::-;;;;;65708:1;65698:11;;;;65622:103;65752:7;65743:5;:16;65739:68;;65790:1;65780:11;;;;65739:68;65835:6;65828:13;;;64901:948;;;:::o;97568:276::-;97671:4;97727:1;97708:21;;:7;:21;;;;:128;;;;;97756:7;97747:16;;:5;:16;;;:52;;;;97767:32;97784:5;97791:7;97767:16;:32::i;:::-;97747:52;:88;;;;97828:7;97803:32;;:21;97816:7;97803:12;:21::i;:::-;:32;;;97747:88;97708:128;97688:148;;97568:276;;;;;:::o;7:75:1:-;40:6;73:2;67:9;57:19;;7:75;:::o;88:117::-;197:1;194;187:12;211:117;320:1;317;310:12;334:149;370:7;410:66;403:5;399:78;388:89;;334:149;;;:::o;489:120::-;561:23;578:5;561:23;:::i;:::-;554:5;551:34;541:62;;599:1;596;589:12;541:62;489:120;:::o;615:137::-;660:5;698:6;685:20;676:29;;714:32;740:5;714:32;:::i;:::-;615:137;;;;:::o;758:327::-;816:6;865:2;853:9;844:7;840:23;836:32;833:119;;;871:79;;:::i;:::-;833:119;991:1;1016:52;1060:7;1051:6;1040:9;1036:22;1016:52;:::i;:::-;1006:62;;962:116;758:327;;;;:::o;1091:90::-;1125:7;1168:5;1161:13;1154:21;1143:32;;1091:90;;;:::o;1187:109::-;1268:21;1283:5;1268:21;:::i;:::-;1263:3;1256:34;1187:109;;:::o;1302:210::-;1389:4;1427:2;1416:9;1412:18;1404:26;;1440:65;1502:1;1491:9;1487:17;1478:6;1440:65;:::i;:::-;1302:210;;;;:::o;1518:99::-;1570:6;1604:5;1598:12;1588:22;;1518:99;;;:::o;1623:169::-;1707:11;1741:6;1736:3;1729:19;1781:4;1776:3;1772:14;1757:29;;1623:169;;;;:::o;1798:246::-;1879:1;1889:113;1903:6;1900:1;1897:13;1889:113;;;1988:1;1983:3;1979:11;1973:18;1969:1;1964:3;1960:11;1953:39;1925:2;1922:1;1918:10;1913:15;;1889:113;;;2036:1;2027:6;2022:3;2018:16;2011:27;1860:184;1798:246;;;:::o;2050:102::-;2091:6;2142:2;2138:7;2133:2;2126:5;2122:14;2118:28;2108:38;;2050:102;;;:::o;2158:377::-;2246:3;2274:39;2307:5;2274:39;:::i;:::-;2329:71;2393:6;2388:3;2329:71;:::i;:::-;2322:78;;2409:65;2467:6;2462:3;2455:4;2448:5;2444:16;2409:65;:::i;:::-;2499:29;2521:6;2499:29;:::i;:::-;2494:3;2490:39;2483:46;;2250:285;2158:377;;;;:::o;2541:313::-;2654:4;2692:2;2681:9;2677:18;2669:26;;2741:9;2735:4;2731:20;2727:1;2716:9;2712:17;2705:47;2769:78;2842:4;2833:6;2769:78;:::i;:::-;2761:86;;2541:313;;;;:::o;2860:77::-;2897:7;2926:5;2915:16;;2860:77;;;:::o;2943:122::-;3016:24;3034:5;3016:24;:::i;:::-;3009:5;3006:35;2996:63;;3055:1;3052;3045:12;2996:63;2943:122;:::o;3071:139::-;3117:5;3155:6;3142:20;3133:29;;3171:33;3198:5;3171:33;:::i;:::-;3071:139;;;;:::o;3216:329::-;3275:6;3324:2;3312:9;3303:7;3299:23;3295:32;3292:119;;;3330:79;;:::i;:::-;3292:119;3450:1;3475:53;3520:7;3511:6;3500:9;3496:22;3475:53;:::i;:::-;3465:63;;3421:117;3216:329;;;;:::o;3551:126::-;3588:7;3628:42;3621:5;3617:54;3606:65;;3551:126;;;:::o;3683:96::-;3720:7;3749:24;3767:5;3749:24;:::i;:::-;3738:35;;3683:96;;;:::o;3785:118::-;3872:24;3890:5;3872:24;:::i;:::-;3867:3;3860:37;3785:118;;:::o;3909:222::-;4002:4;4040:2;4029:9;4025:18;4017:26;;4053:71;4121:1;4110:9;4106:17;4097:6;4053:71;:::i;:::-;3909:222;;;;:::o;4137:122::-;4210:24;4228:5;4210:24;:::i;:::-;4203:5;4200:35;4190:63;;4249:1;4246;4239:12;4190:63;4137:122;:::o;4265:139::-;4311:5;4349:6;4336:20;4327:29;;4365:33;4392:5;4365:33;:::i;:::-;4265:139;;;;:::o;4410:474::-;4478:6;4486;4535:2;4523:9;4514:7;4510:23;4506:32;4503:119;;;4541:79;;:::i;:::-;4503:119;4661:1;4686:53;4731:7;4722:6;4711:9;4707:22;4686:53;:::i;:::-;4676:63;;4632:117;4788:2;4814:53;4859:7;4850:6;4839:9;4835:22;4814:53;:::i;:::-;4804:63;;4759:118;4410:474;;;;;:::o;4890:118::-;4977:24;4995:5;4977:24;:::i;:::-;4972:3;4965:37;4890:118;;:::o;5014:222::-;5107:4;5145:2;5134:9;5130:18;5122:26;;5158:71;5226:1;5215:9;5211:17;5202:6;5158:71;:::i;:::-;5014:222;;;;:::o;5242:619::-;5319:6;5327;5335;5384:2;5372:9;5363:7;5359:23;5355:32;5352:119;;;5390:79;;:::i;:::-;5352:119;5510:1;5535:53;5580:7;5571:6;5560:9;5556:22;5535:53;:::i;:::-;5525:63;;5481:117;5637:2;5663:53;5708:7;5699:6;5688:9;5684:22;5663:53;:::i;:::-;5653:63;;5608:118;5765:2;5791:53;5836:7;5827:6;5816:9;5812:22;5791:53;:::i;:::-;5781:63;;5736:118;5242:619;;;;;:::o;5867:117::-;5976:1;5973;5966:12;5990:117;6099:1;6096;6089:12;6113:180;6161:77;6158:1;6151:88;6258:4;6255:1;6248:15;6282:4;6279:1;6272:15;6299:281;6382:27;6404:4;6382:27;:::i;:::-;6374:6;6370:40;6512:6;6500:10;6497:22;6476:18;6464:10;6461:34;6458:62;6455:88;;;6523:18;;:::i;:::-;6455:88;6563:10;6559:2;6552:22;6342:238;6299:281;;:::o;6586:129::-;6620:6;6647:20;;:::i;:::-;6637:30;;6676:33;6704:4;6696:6;6676:33;:::i;:::-;6586:129;;;:::o;6721:308::-;6783:4;6873:18;6865:6;6862:30;6859:56;;;6895:18;;:::i;:::-;6859:56;6933:29;6955:6;6933:29;:::i;:::-;6925:37;;7017:4;7011;7007:15;6999:23;;6721:308;;;:::o;7035:146::-;7132:6;7127:3;7122;7109:30;7173:1;7164:6;7159:3;7155:16;7148:27;7035:146;;;:::o;7187:425::-;7265:5;7290:66;7306:49;7348:6;7306:49;:::i;:::-;7290:66;:::i;:::-;7281:75;;7379:6;7372:5;7365:21;7417:4;7410:5;7406:16;7455:3;7446:6;7441:3;7437:16;7434:25;7431:112;;;7462:79;;:::i;:::-;7431:112;7552:54;7599:6;7594:3;7589;7552:54;:::i;:::-;7271:341;7187:425;;;;;:::o;7632:340::-;7688:5;7737:3;7730:4;7722:6;7718:17;7714:27;7704:122;;7745:79;;:::i;:::-;7704:122;7862:6;7849:20;7887:79;7962:3;7954:6;7947:4;7939:6;7935:17;7887:79;:::i;:::-;7878:88;;7694:278;7632:340;;;;:::o;7978:509::-;8047:6;8096:2;8084:9;8075:7;8071:23;8067:32;8064:119;;;8102:79;;:::i;:::-;8064:119;8250:1;8239:9;8235:17;8222:31;8280:18;8272:6;8269:30;8266:117;;;8302:79;;:::i;:::-;8266:117;8407:63;8462:7;8453:6;8442:9;8438:22;8407:63;:::i;:::-;8397:73;;8193:287;7978:509;;;;:::o;8493:329::-;8552:6;8601:2;8589:9;8580:7;8576:23;8572:32;8569:119;;;8607:79;;:::i;:::-;8569:119;8727:1;8752:53;8797:7;8788:6;8777:9;8773:22;8752:53;:::i;:::-;8742:63;;8698:117;8493:329;;;;:::o;8828:116::-;8898:21;8913:5;8898:21;:::i;:::-;8891:5;8888:32;8878:60;;8934:1;8931;8924:12;8878:60;8828:116;:::o;8950:133::-;8993:5;9031:6;9018:20;9009:29;;9047:30;9071:5;9047:30;:::i;:::-;8950:133;;;;:::o;9089:468::-;9154:6;9162;9211:2;9199:9;9190:7;9186:23;9182:32;9179:119;;;9217:79;;:::i;:::-;9179:119;9337:1;9362:53;9407:7;9398:6;9387:9;9383:22;9362:53;:::i;:::-;9352:63;;9308:117;9464:2;9490:50;9532:7;9523:6;9512:9;9508:22;9490:50;:::i;:::-;9480:60;;9435:115;9089:468;;;;;:::o;9563:307::-;9624:4;9714:18;9706:6;9703:30;9700:56;;;9736:18;;:::i;:::-;9700:56;9774:29;9796:6;9774:29;:::i;:::-;9766:37;;9858:4;9852;9848:15;9840:23;;9563:307;;;:::o;9876:423::-;9953:5;9978:65;9994:48;10035:6;9994:48;:::i;:::-;9978:65;:::i;:::-;9969:74;;10066:6;10059:5;10052:21;10104:4;10097:5;10093:16;10142:3;10133:6;10128:3;10124:16;10121:25;10118:112;;;10149:79;;:::i;:::-;10118:112;10239:54;10286:6;10281:3;10276;10239:54;:::i;:::-;9959:340;9876:423;;;;;:::o;10318:338::-;10373:5;10422:3;10415:4;10407:6;10403:17;10399:27;10389:122;;10430:79;;:::i;:::-;10389:122;10547:6;10534:20;10572:78;10646:3;10638:6;10631:4;10623:6;10619:17;10572:78;:::i;:::-;10563:87;;10379:277;10318:338;;;;:::o;10662:943::-;10757:6;10765;10773;10781;10830:3;10818:9;10809:7;10805:23;10801:33;10798:120;;;10837:79;;:::i;:::-;10798:120;10957:1;10982:53;11027:7;11018:6;11007:9;11003:22;10982:53;:::i;:::-;10972:63;;10928:117;11084:2;11110:53;11155:7;11146:6;11135:9;11131:22;11110:53;:::i;:::-;11100:63;;11055:118;11212:2;11238:53;11283:7;11274:6;11263:9;11259:22;11238:53;:::i;:::-;11228:63;;11183:118;11368:2;11357:9;11353:18;11340:32;11399:18;11391:6;11388:30;11385:117;;;11421:79;;:::i;:::-;11385:117;11526:62;11580:7;11571:6;11560:9;11556:22;11526:62;:::i;:::-;11516:72;;11311:287;10662:943;;;;;;;:::o;11611:474::-;11679:6;11687;11736:2;11724:9;11715:7;11711:23;11707:32;11704:119;;;11742:79;;:::i;:::-;11704:119;11862:1;11887:53;11932:7;11923:6;11912:9;11908:22;11887:53;:::i;:::-;11877:63;;11833:117;11989:2;12015:53;12060:7;12051:6;12040:9;12036:22;12015:53;:::i;:::-;12005:63;;11960:118;11611:474;;;;;:::o;12091:180::-;12139:77;12136:1;12129:88;12236:4;12233:1;12226:15;12260:4;12257:1;12250:15;12277:320;12321:6;12358:1;12352:4;12348:12;12338:22;;12405:1;12399:4;12395:12;12426:18;12416:81;;12482:4;12474:6;12470:17;12460:27;;12416:81;12544:2;12536:6;12533:14;12513:18;12510:38;12507:84;;12563:18;;:::i;:::-;12507:84;12328:269;12277:320;;;:::o;12603:442::-;12752:4;12790:2;12779:9;12775:18;12767:26;;12803:71;12871:1;12860:9;12856:17;12847:6;12803:71;:::i;:::-;12884:72;12952:2;12941:9;12937:18;12928:6;12884:72;:::i;:::-;12966;13034:2;13023:9;13019:18;13010:6;12966:72;:::i;:::-;12603:442;;;;;;:::o;13051:174::-;13191:26;13187:1;13179:6;13175:14;13168:50;13051:174;:::o;13231:366::-;13373:3;13394:67;13458:2;13453:3;13394:67;:::i;:::-;13387:74;;13470:93;13559:3;13470:93;:::i;:::-;13588:2;13583:3;13579:12;13572:19;;13231:366;;;:::o;13603:419::-;13769:4;13807:2;13796:9;13792:18;13784:26;;13856:9;13850:4;13846:20;13842:1;13831:9;13827:17;13820:47;13884:131;14010:4;13884:131;:::i;:::-;13876:139;;13603:419;;;:::o;14028:168::-;14168:20;14164:1;14156:6;14152:14;14145:44;14028:168;:::o;14202:366::-;14344:3;14365:67;14429:2;14424:3;14365:67;:::i;:::-;14358:74;;14441:93;14530:3;14441:93;:::i;:::-;14559:2;14554:3;14550:12;14543:19;;14202:366;;;:::o;14574:419::-;14740:4;14778:2;14767:9;14763:18;14755:26;;14827:9;14821:4;14817:20;14813:1;14802:9;14798:17;14791:47;14855:131;14981:4;14855:131;:::i;:::-;14847:139;;14574:419;;;:::o;14999:168::-;15139:20;15135:1;15127:6;15123:14;15116:44;14999:168;:::o;15173:366::-;15315:3;15336:67;15400:2;15395:3;15336:67;:::i;:::-;15329:74;;15412:93;15501:3;15412:93;:::i;:::-;15530:2;15525:3;15521:12;15514:19;;15173:366;;;:::o;15545:419::-;15711:4;15749:2;15738:9;15734:18;15726:26;;15798:9;15792:4;15788:20;15784:1;15773:9;15769:17;15762:47;15826:131;15952:4;15826:131;:::i;:::-;15818:139;;15545:419;;;:::o;15970:180::-;16018:77;16015:1;16008:88;16115:4;16112:1;16105:15;16139:4;16136:1;16129:15;16156:410;16196:7;16219:20;16237:1;16219:20;:::i;:::-;16214:25;;16253:20;16271:1;16253:20;:::i;:::-;16248:25;;16308:1;16305;16301:9;16330:30;16348:11;16330:30;:::i;:::-;16319:41;;16509:1;16500:7;16496:15;16493:1;16490:22;16470:1;16463:9;16443:83;16420:139;;16539:18;;:::i;:::-;16420:139;16204:362;16156:410;;;;:::o;16572:169::-;16712:21;16708:1;16700:6;16696:14;16689:45;16572:169;:::o;16747:366::-;16889:3;16910:67;16974:2;16969:3;16910:67;:::i;:::-;16903:74;;16986:93;17075:3;16986:93;:::i;:::-;17104:2;17099:3;17095:12;17088:19;;16747:366;;;:::o;17119:419::-;17285:4;17323:2;17312:9;17308:18;17300:26;;17372:9;17366:4;17362:20;17358:1;17347:9;17343:17;17336:47;17400:131;17526:4;17400:131;:::i;:::-;17392:139;;17119:419;;;:::o;17544:233::-;17583:3;17606:24;17624:5;17606:24;:::i;:::-;17597:33;;17652:66;17645:5;17642:77;17639:103;;17722:18;;:::i;:::-;17639:103;17769:1;17762:5;17758:13;17751:20;;17544:233;;;:::o;17783:182::-;17923:34;17919:1;17911:6;17907:14;17900:58;17783:182;:::o;17971:366::-;18113:3;18134:67;18198:2;18193:3;18134:67;:::i;:::-;18127:74;;18210:93;18299:3;18210:93;:::i;:::-;18328:2;18323:3;18319:12;18312:19;;17971:366;;;:::o;18343:419::-;18509:4;18547:2;18536:9;18532:18;18524:26;;18596:9;18590:4;18586:20;18582:1;18571:9;18567:17;18560:47;18624:131;18750:4;18624:131;:::i;:::-;18616:139;;18343:419;;;:::o;18768:141::-;18817:4;18840:3;18832:11;;18863:3;18860:1;18853:14;18897:4;18894:1;18884:18;18876:26;;18768:141;;;:::o;18915:93::-;18952:6;18999:2;18994;18987:5;18983:14;18979:23;18969:33;;18915:93;;;:::o;19014:107::-;19058:8;19108:5;19102:4;19098:16;19077:37;;19014:107;;;;:::o;19127:393::-;19196:6;19246:1;19234:10;19230:18;19269:97;19299:66;19288:9;19269:97;:::i;:::-;19387:39;19417:8;19406:9;19387:39;:::i;:::-;19375:51;;19459:4;19455:9;19448:5;19444:21;19435:30;;19508:4;19498:8;19494:19;19487:5;19484:30;19474:40;;19203:317;;19127:393;;;;;:::o;19526:60::-;19554:3;19575:5;19568:12;;19526:60;;;:::o;19592:142::-;19642:9;19675:53;19693:34;19702:24;19720:5;19702:24;:::i;:::-;19693:34;:::i;:::-;19675:53;:::i;:::-;19662:66;;19592:142;;;:::o;19740:75::-;19783:3;19804:5;19797:12;;19740:75;;;:::o;19821:269::-;19931:39;19962:7;19931:39;:::i;:::-;19992:91;20041:41;20065:16;20041:41;:::i;:::-;20033:6;20026:4;20020:11;19992:91;:::i;:::-;19986:4;19979:105;19897:193;19821:269;;;:::o;20096:73::-;20141:3;20096:73;:::o;20175:189::-;20252:32;;:::i;:::-;20293:65;20351:6;20343;20337:4;20293:65;:::i;:::-;20228:136;20175:189;;:::o;20370:186::-;20430:120;20447:3;20440:5;20437:14;20430:120;;;20501:39;20538:1;20531:5;20501:39;:::i;:::-;20474:1;20467:5;20463:13;20454:22;;20430:120;;;20370:186;;:::o;20562:543::-;20663:2;20658:3;20655:11;20652:446;;;20697:38;20729:5;20697:38;:::i;:::-;20781:29;20799:10;20781:29;:::i;:::-;20771:8;20767:44;20964:2;20952:10;20949:18;20946:49;;;20985:8;20970:23;;20946:49;21008:80;21064:22;21082:3;21064:22;:::i;:::-;21054:8;21050:37;21037:11;21008:80;:::i;:::-;20667:431;;20652:446;20562:543;;;:::o;21111:117::-;21165:8;21215:5;21209:4;21205:16;21184:37;;21111:117;;;;:::o;21234:169::-;21278:6;21311:51;21359:1;21355:6;21347:5;21344:1;21340:13;21311:51;:::i;:::-;21307:56;21392:4;21386;21382:15;21372:25;;21285:118;21234:169;;;;:::o;21408:295::-;21484:4;21630:29;21655:3;21649:4;21630:29;:::i;:::-;21622:37;;21692:3;21689:1;21685:11;21679:4;21676:21;21668:29;;21408:295;;;;:::o;21708:1395::-;21825:37;21858:3;21825:37;:::i;:::-;21927:18;21919:6;21916:30;21913:56;;;21949:18;;:::i;:::-;21913:56;21993:38;22025:4;22019:11;21993:38;:::i;:::-;22078:67;22138:6;22130;22124:4;22078:67;:::i;:::-;22172:1;22196:4;22183:17;;22228:2;22220:6;22217:14;22245:1;22240:618;;;;22902:1;22919:6;22916:77;;;22968:9;22963:3;22959:19;22953:26;22944:35;;22916:77;23019:67;23079:6;23072:5;23019:67;:::i;:::-;23013:4;23006:81;22875:222;22210:887;;22240:618;22292:4;22288:9;22280:6;22276:22;22326:37;22358:4;22326:37;:::i;:::-;22385:1;22399:208;22413:7;22410:1;22407:14;22399:208;;;22492:9;22487:3;22483:19;22477:26;22469:6;22462:42;22543:1;22535:6;22531:14;22521:24;;22590:2;22579:9;22575:18;22562:31;;22436:4;22433:1;22429:12;22424:17;;22399:208;;;22635:6;22626:7;22623:19;22620:179;;;22693:9;22688:3;22684:19;22678:26;22736:48;22778:4;22770:6;22766:17;22755:9;22736:48;:::i;:::-;22728:6;22721:64;22643:156;22620:179;22845:1;22841;22833:6;22829:14;22825:22;22819:4;22812:36;22247:611;;;22210:887;;21800:1303;;;21708:1395;;:::o;23109:194::-;23149:4;23169:20;23187:1;23169:20;:::i;:::-;23164:25;;23203:20;23221:1;23203:20;:::i;:::-;23198:25;;23247:1;23244;23240:9;23232:17;;23271:1;23265:4;23262:11;23259:37;;;23276:18;;:::i;:::-;23259:37;23109:194;;;;:::o;23309:148::-;23411:11;23448:3;23433:18;;23309:148;;;;:::o;23463:390::-;23569:3;23597:39;23630:5;23597:39;:::i;:::-;23652:89;23734:6;23729:3;23652:89;:::i;:::-;23645:96;;23750:65;23808:6;23803:3;23796:4;23789:5;23785:16;23750:65;:::i;:::-;23840:6;23835:3;23831:16;23824:23;;23573:280;23463:390;;;;:::o;23859:435::-;24039:3;24061:95;24152:3;24143:6;24061:95;:::i;:::-;24054:102;;24173:95;24264:3;24255:6;24173:95;:::i;:::-;24166:102;;24285:3;24278:10;;23859:435;;;;;:::o;24300:180::-;24348:77;24345:1;24338:88;24445:4;24442:1;24435:15;24469:4;24466:1;24459:15;24486:185;24526:1;24543:20;24561:1;24543:20;:::i;:::-;24538:25;;24577:20;24595:1;24577:20;:::i;:::-;24572:25;;24616:1;24606:35;;24621:18;;:::i;:::-;24606:35;24663:1;24660;24656:9;24651:14;;24486:185;;;;:::o;24677:225::-;24817:34;24813:1;24805:6;24801:14;24794:58;24886:8;24881:2;24873:6;24869:15;24862:33;24677:225;:::o;24908:366::-;25050:3;25071:67;25135:2;25130:3;25071:67;:::i;:::-;25064:74;;25147:93;25236:3;25147:93;:::i;:::-;25265:2;25260:3;25256:12;25249:19;;24908:366;;;:::o;25280:419::-;25446:4;25484:2;25473:9;25469:18;25461:26;;25533:9;25527:4;25523:20;25519:1;25508:9;25504:17;25497:47;25561:131;25687:4;25561:131;:::i;:::-;25553:139;;25280:419;;;:::o;25705:98::-;25756:6;25790:5;25784:12;25774:22;;25705:98;;;:::o;25809:168::-;25892:11;25926:6;25921:3;25914:19;25966:4;25961:3;25957:14;25942:29;;25809:168;;;;:::o;25983:373::-;26069:3;26097:38;26129:5;26097:38;:::i;:::-;26151:70;26214:6;26209:3;26151:70;:::i;:::-;26144:77;;26230:65;26288:6;26283:3;26276:4;26269:5;26265:16;26230:65;:::i;:::-;26320:29;26342:6;26320:29;:::i;:::-;26315:3;26311:39;26304:46;;26073:283;25983:373;;;;:::o;26362:640::-;26557:4;26595:3;26584:9;26580:19;26572:27;;26609:71;26677:1;26666:9;26662:17;26653:6;26609:71;:::i;:::-;26690:72;26758:2;26747:9;26743:18;26734:6;26690:72;:::i;:::-;26772;26840:2;26829:9;26825:18;26816:6;26772:72;:::i;:::-;26891:9;26885:4;26881:20;26876:2;26865:9;26861:18;26854:48;26919:76;26990:4;26981:6;26919:76;:::i;:::-;26911:84;;26362:640;;;;;;;:::o;27008:141::-;27064:5;27095:6;27089:13;27080:22;;27111:32;27137:5;27111:32;:::i;:::-;27008:141;;;;:::o;27155:349::-;27224:6;27273:2;27261:9;27252:7;27248:23;27244:32;27241:119;;;27279:79;;:::i;:::-;27241:119;27399:1;27424:63;27479:7;27470:6;27459:9;27455:22;27424:63;:::i;:::-;27414:73;;27370:127;27155:349;;;;:::o;27510:332::-;27631:4;27669:2;27658:9;27654:18;27646:26;;27682:71;27750:1;27739:9;27735:17;27726:6;27682:71;:::i;:::-;27763:72;27831:2;27820:9;27816:18;27807:6;27763:72;:::i;:::-;27510:332;;;;;:::o

ipfs://e8a540fe2545716ecdbf8b74a146e335d0738630b13cb34d96ac5fd93d01b57b