Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

Outline

• library Counters
•    - function current(Counter storage coun ...
•    - function increment(Counter storage co ...
•    - function decrement(Counter storage co ...
•    - function reset(Counter storage counte ...
• library Math
•    - 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(
•    - function mulDiv(
•    - 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 ...
• library Strings
•    - function toString(uint256 value)
•    - function toHexString(uint256 value)
•    - function toHexString(uint256 value, u ...
•    - function toHexString(address addr)
•    - function _msgSender()
•    - function _msgData()
•    - function owner()
•    - function _checkOwner()
•    - function renounceOwnership()
•    - function transferOwnership(address ne ...
•    - function _transferOwnership(address n ...
• library Address
•    - function isContract(address account)
•    - function sendValue(address payable re ...
•    - function functionCall(address target, ...
•    - function functionCall(
•    - function functionCallWithValue(
•    - function functionCallWithValue(
•    - function functionStaticCall(address t ...
•    - function functionStaticCall(
•    - function functionDelegateCall(address ...
•    - function functionDelegateCall(
•    - function verifyCallResultFromTarget(
•    - function verifyCallResult(
•    - function _revert(bytes memory returnd ...
• interface IERC721Receiver
•    - function onERC721Received(
• interface IERC165
•    - function supportsInterface(bytes4 int ...
•    - function supportsInterface(bytes4 int ...
• interface IERC721 is IERC165
•    - function balanceOf(address owner)
•    - function ownerOf(uint256 tokenId)
•    - function safeTransferFrom(
•    - function safeTransferFrom(
•    - function transferFrom(
•    - 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)
•  contract ERC721 is Context, ERC165 ...
•    - 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(
•    - function safeTransferFrom(
•    - function safeTransferFrom(
•    - function _safeTransfer(
•    - function _ownerOf(uint256 tokenId)
•    - function _exists(uint256 tokenId)
•    - function _isApprovedOrOwner(address s ...
•    - function _safeMint(address to, uint25 ...
•    - function _safeMint(
•    - function _mint(address to, uint256 to ...
•    - function _burn(uint256 tokenId)
•    - function _transfer(
•    - function _approve(address to, uint256 ...
•    - function _setApprovalForAll(
•    - function _requireMinted(uint256 token ...
•    - function _checkOnERC721Received(
•    - function _beforeTokenTransfer(
•    - function _afterTokenTransfer(
•    - function __unsafe_increaseBalance(add ...
•    - function tokenURI(uint256 tokenId)
•    - function _setTokenURI(uint256 tokenId ...
•    - function _burn(uint256 tokenId)
•  contract NOVAAIR is ERC721, ERC721 ... *
•    - function safeMint(address to, string ...
•    - function _burn(uint256 tokenId)
•    - function tokenURI(uint256 tokenId)

More Options

• Similar
• Submit Audit
• Compare

/**
 *Submitted for verification at Nova.Arbiscan.io on 2023-05-07
*/

// SPDX-License-Identifier: MIT
// File: @openzeppelin/[email protected]/utils/Counters.sol


// OpenZeppelin Contracts v4.4.1 (utils/Counters.sol)

pragma solidity ^0.8.0;

/**
 * @title Counters
 * @author Matt Condon (@shrugs)
 * @dev Provides counters that can only be incremented, decremented or reset. This can be used e.g. to track the number
 * of elements in a mapping, issuing ERC721 ids, or counting request ids.
 *
 * Include with `using Counters for Counters.Counter;`
 */
library Counters {
    struct Counter {
        // This variable should never be directly accessed by users of the library: interactions must be restricted to
        // the library's function. As of Solidity v0.5.2, this cannot be enforced, though there is a proposal to add
        // this feature: see https://github.com/ethereum/solidity/issues/4637
        uint256 _value; // default: 0
    }

    function current(Counter storage counter) internal view returns (uint256) {
        return counter._value;
    }

    function increment(Counter storage counter) internal {
        unchecked {
            counter._value += 1;
        }
    }

    function decrement(Counter storage counter) internal {
        uint256 value = counter._value;
        require(value > 0, "Counter: decrement overflow");
        unchecked {
            counter._value = value - 1;
        }
    }

    function reset(Counter storage counter) internal {
        counter._value = 0;
    }
}

// File: @openzeppelin/[email protected]/utils/math/Math.sol


// OpenZeppelin Contracts (last updated v4.8.0) (utils/math/Math.sol)

pragma solidity ^0.8.0;

/**
 * @dev Standard math utilities missing in the Solidity language.
 */
library Math {
    enum Rounding {
        Down, // Toward negative infinity
        Up, // Toward infinity
        Zero // Toward zero
    }

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

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

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

    /**
     * @dev Returns the ceiling of the division of two numbers.
     *
     * This differs from standard division with `/` in that it rounds up instead
     * of rounding down.
     */
    function ceilDiv(uint256 a, uint256 b) internal pure returns (uint256) {
        // (a + b - 1) / b can overflow on addition, so we distribute.
        return a == 0 ? 0 : (a - 1) / b + 1;
    }

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

            // Handle non-overflow cases, 256 by 256 division.
            if (prod1 == 0) {
                return prod0 / denominator;
            }

            // Make sure the result is less than 2^256. Also prevents denominator == 0.
            require(denominator > prod1);

            ///////////////////////////////////////////////
            // 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.

            // Does not overflow because the denominator cannot be zero at this stage in the function.
            uint256 twos = denominator & (~denominator + 1);
            assembly {
                // Divide denominator by twos.
                denominator := div(denominator, twos)

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

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

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

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

            // Use the Newton-Raphson iteration to improve the precision. Thanks to Hensel's lifting lemma, this also works
            // in modular arithmetic, doubling the correct bits in each step.
            inverse *= 2 - denominator * inverse; // inverse mod 2^8
            inverse *= 2 - denominator * inverse; // inverse mod 2^16
            inverse *= 2 - denominator * inverse; // inverse mod 2^32
            inverse *= 2 - denominator * inverse; // inverse mod 2^64
            inverse *= 2 - denominator * inverse; // inverse mod 2^128
            inverse *= 2 - denominator * inverse; // inverse mod 2^256

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

    /**
     * @notice Calculates x * y / denominator with full precision, following the selected rounding direction.
     */
    function mulDiv(
        uint256 x,
        uint256 y,
        uint256 denominator,
        Rounding rounding
    ) internal pure returns (uint256) {
        uint256 result = mulDiv(x, y, denominator);
        if (rounding == Rounding.Up && mulmod(x, y, denominator) > 0) {
            result += 1;
        }
        return result;
    }

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

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

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

    /**
     * @notice Calculates sqrt(a), following the selected rounding direction.
     */
    function sqrt(uint256 a, Rounding rounding) internal pure returns (uint256) {
        unchecked {
            uint256 result = sqrt(a);
            return result + (rounding == Rounding.Up && result * result < a ? 1 : 0);
        }
    }

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

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

    /**
     * @dev Return the log in base 10, rounded down, of a positive value.
     * 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 + (rounding == Rounding.Up && 10**result < value ? 1 : 0);
        }
    }

    /**
     * @dev Return the log in base 256, rounded down, of a positive value.
     * Returns 0 if given 0.
     *
     * Adding one to the result gives the number of pairs of hex symbols needed to represent `value` as a hex string.
     */
    function log256(uint256 value) internal pure returns (uint256) {
        uint256 result = 0;
        unchecked {
            if (value >> 128 > 0) {
                value >>= 128;
                result += 16;
            }
            if (value >> 64 > 0) {
                value >>= 64;
                result += 8;
            }
            if (value >> 32 > 0) {
                value >>= 32;
                result += 4;
            }
            if (value >> 16 > 0) {
                value >>= 16;
                result += 2;
            }
            if (value >> 8 > 0) {
                result += 1;
            }
        }
        return result;
    }

    /**
     * @dev Return the log in base 10, 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 + (rounding == Rounding.Up && 1 << (result * 8) < value ? 1 : 0);
        }
    }
}

// File: @openzeppelin/[email protected]/utils/Strings.sol


// OpenZeppelin Contracts (last updated v4.8.0) (utils/Strings.sol)

pragma solidity ^0.8.0;


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

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

    /**
     * @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) {
        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] = _SYMBOLS[value & 0xf];
            value >>= 4;
        }
        require(value == 0, "Strings: hex length insufficient");
        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);
    }
}

// File: @openzeppelin/[email protected]/utils/Context.sol


// OpenZeppelin Contracts v4.4.1 (utils/Context.sol)

pragma solidity ^0.8.0;

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

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

// File: @openzeppelin/[email protected]/access/Ownable.sol


// OpenZeppelin Contracts (last updated v4.7.0) (access/Ownable.sol)

pragma solidity ^0.8.0;


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

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

    /**
     * @dev Initializes the contract setting the deployer as the initial owner.
     */
    constructor() {
        _transferOwnership(_msgSender());
    }

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

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

    /**
     * @dev Throws if the sender is not the owner.
     */
    function _checkOwner() internal view virtual {
        require(owner() == _msgSender(), "Ownable: caller is not the owner");
    }

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

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

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

// File: @openzeppelin/[email protected]/utils/Address.sol


// OpenZeppelin Contracts (last updated v4.8.0) (utils/Address.sol)

pragma solidity ^0.8.1;

/**
 * @dev Collection of functions related to the address type
 */
library Address {
    /**
     * @dev Returns true if `account` is a contract.
     *
     * [IMPORTANT]
     * ====
     * It is unsafe to assume that an address for which this function returns
     * false is an externally-owned account (EOA) and not a contract.
     *
     * Among others, `isContract` will return false for the following
     * types of addresses:
     *
     *  - an externally-owned account
     *  - a contract in construction
     *  - an address where a contract will be created
     *  - an address where a contract lived, but was destroyed
     * ====
     *
     * [IMPORTANT]
     * ====
     * You shouldn't rely on `isContract` to protect against flash loan attacks!
     *
     * Preventing calls from contracts is highly discouraged. It breaks composability, breaks support for smart wallets
     * like Gnosis Safe, and does not provide security since it can be circumvented by calling from a contract
     * constructor.
     * ====
     */
    function isContract(address account) internal view returns (bool) {
        // This method relies on extcodesize/address.code.length, which returns 0
        // for contracts in construction, since the code is only stored at the end
        // of the constructor execution.

        return account.code.length > 0;
    }

    /**
     * @dev Replacement for Solidity's `transfer`: sends `amount` wei to
     * `recipient`, forwarding all available gas and reverting on errors.
     *
     * https://eips.ethereum.org/EIPS/eip-1884[EIP1884] increases the gas cost
     * of certain opcodes, possibly making contracts go over the 2300 gas limit
     * imposed by `transfer`, making them unable to receive funds via
     * `transfer`. {sendValue} removes this limitation.
     *
     * https://diligence.consensys.net/posts/2019/09/stop-using-soliditys-transfer-now/[Learn more].
     *
     * IMPORTANT: because control is transferred to `recipient`, care must be
     * taken to not create reentrancy vulnerabilities. Consider using
     * {ReentrancyGuard} or the
     * https://solidity.readthedocs.io/en/v0.5.11/security-considerations.html#use-the-checks-effects-interactions-pattern[checks-effects-interactions pattern].
     */
    function sendValue(address payable recipient, uint256 amount) internal {
        require(address(this).balance >= amount, "Address: insufficient balance");

        (bool success, ) = recipient.call{value: amount}("");
        require(success, "Address: unable to send value, recipient may have reverted");
    }

    /**
     * @dev Performs a Solidity function call using a low level `call`. A
     * plain `call` is an unsafe replacement for a function call: use this
     * function instead.
     *
     * If `target` reverts with a revert reason, it is bubbled up by this
     * function (like regular Solidity function calls).
     *
     * Returns the raw returned data. To convert to the expected return value,
     * use https://solidity.readthedocs.io/en/latest/units-and-global-variables.html?highlight=abi.decode#abi-encoding-and-decoding-functions[`abi.decode`].
     *
     * Requirements:
     *
     * - `target` must be a contract.
     * - calling `target` with `data` must not revert.
     *
     * _Available since v3.1._
     */
    function functionCall(address target, bytes memory data) internal returns (bytes memory) {
        return functionCallWithValue(target, data, 0, "Address: low-level call failed");
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`], but with
     * `errorMessage` as a fallback revert reason when `target` reverts.
     *
     * _Available since v3.1._
     */
    function functionCall(
        address target,
        bytes memory data,
        string memory errorMessage
    ) internal returns (bytes memory) {
        return functionCallWithValue(target, data, 0, errorMessage);
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
     * but also transferring `value` wei to `target`.
     *
     * Requirements:
     *
     * - the calling contract must have an ETH balance of at least `value`.
     * - the called Solidity function must be `payable`.
     *
     * _Available since v3.1._
     */
    function functionCallWithValue(
        address target,
        bytes memory data,
        uint256 value
    ) internal returns (bytes memory) {
        return functionCallWithValue(target, data, value, "Address: low-level call with value failed");
    }

    /**
     * @dev Same as {xref-Address-functionCallWithValue-address-bytes-uint256-}[`functionCallWithValue`], but
     * with `errorMessage` as a fallback revert reason when `target` reverts.
     *
     * _Available since v3.1._
     */
    function functionCallWithValue(
        address target,
        bytes memory data,
        uint256 value,
        string memory errorMessage
    ) internal returns (bytes memory) {
        require(address(this).balance >= value, "Address: insufficient balance for call");
        (bool success, bytes memory returndata) = target.call{value: value}(data);
        return verifyCallResultFromTarget(target, success, returndata, errorMessage);
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
     * but performing a static call.
     *
     * _Available since v3.3._
     */
    function functionStaticCall(address target, bytes memory data) internal view returns (bytes memory) {
        return functionStaticCall(target, data, "Address: low-level static call failed");
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-string-}[`functionCall`],
     * but performing a static call.
     *
     * _Available since v3.3._
     */
    function functionStaticCall(
        address target,
        bytes memory data,
        string memory errorMessage
    ) internal view returns (bytes memory) {
        (bool success, bytes memory returndata) = target.staticcall(data);
        return verifyCallResultFromTarget(target, success, returndata, errorMessage);
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
     * but performing a delegate call.
     *
     * _Available since v3.4._
     */
    function functionDelegateCall(address target, bytes memory data) internal returns (bytes memory) {
        return functionDelegateCall(target, data, "Address: low-level delegate call failed");
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-string-}[`functionCall`],
     * but performing a delegate call.
     *
     * _Available since v3.4._
     */
    function functionDelegateCall(
        address target,
        bytes memory data,
        string memory errorMessage
    ) internal returns (bytes memory) {
        (bool success, bytes memory returndata) = target.delegatecall(data);
        return verifyCallResultFromTarget(target, success, returndata, errorMessage);
    }

    /**
     * @dev Tool to verify that a low level call to smart-contract was successful, and revert (either by bubbling
     * the revert reason or using the provided one) in case of unsuccessful call or if target was not a contract.
     *
     * _Available since v4.8._
     */
    function verifyCallResultFromTarget(
        address target,
        bool success,
        bytes memory returndata,
        string memory errorMessage
    ) internal view returns (bytes memory) {
        if (success) {
            if (returndata.length == 0) {
                // only check isContract if the call was successful and the return data is empty
                // otherwise we already know that it was a contract
                require(isContract(target), "Address: call to non-contract");
            }
            return returndata;
        } else {
            _revert(returndata, errorMessage);
        }
    }

    /**
     * @dev Tool to verify that a low level call was successful, and revert if it wasn't, either by bubbling the
     * revert reason or using the provided one.
     *
     * _Available since v4.3._
     */
    function verifyCallResult(
        bool success,
        bytes memory returndata,
        string memory errorMessage
    ) internal pure returns (bytes memory) {
        if (success) {
            return returndata;
        } else {
            _revert(returndata, errorMessage);
        }
    }

    function _revert(bytes memory returndata, string memory errorMessage) private pure {
        // Look for revert reason and bubble it up if present
        if (returndata.length > 0) {
            // The easiest way to bubble the revert reason is using memory via assembly
            /// @solidity memory-safe-assembly
            assembly {
                let returndata_size := mload(returndata)
                revert(add(32, returndata), returndata_size)
            }
        } else {
            revert(errorMessage);
        }
    }
}

// File: @openzeppelin/[email protected]/token/ERC721/IERC721Receiver.sol


// OpenZeppelin Contracts (last updated v4.6.0) (token/ERC721/IERC721Receiver.sol)

pragma solidity ^0.8.0;

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

// File: @openzeppelin/[email protected]/utils/introspection/IERC165.sol


// OpenZeppelin Contracts v4.4.1 (utils/introspection/IERC165.sol)

pragma solidity ^0.8.0;

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

// File: @openzeppelin/[email protected]/utils/introspection/ERC165.sol


// OpenZeppelin Contracts v4.4.1 (utils/introspection/ERC165.sol)

pragma solidity ^0.8.0;


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

// File: @openzeppelin/[email protected]/token/ERC721/IERC721.sol


// OpenZeppelin Contracts (last updated v4.8.0) (token/ERC721/IERC721.sol)

pragma solidity ^0.8.0;


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

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

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

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

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

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

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

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

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

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

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

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

// File: @openzeppelin/[email protected]/token/ERC721/extensions/IERC721Metadata.sol


// OpenZeppelin Contracts v4.4.1 (token/ERC721/extensions/IERC721Metadata.sol)

pragma solidity ^0.8.0;


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

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

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

// File: @openzeppelin/[email protected]/token/ERC721/ERC721.sol


// OpenZeppelin Contracts (last updated v4.8.2) (token/ERC721/ERC721.sol)

pragma solidity ^0.8.0;








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

    // Token name
    string private _name;

    // Token symbol
    string private _symbol;

    // Mapping from token ID to owner address
    mapping(uint256 => address) private _owners;

    // Mapping owner address to token count
    mapping(address => uint256) private _balances;

    // Mapping from token ID to approved address
    mapping(uint256 => address) private _tokenApprovals;

    // Mapping from owner to operator approvals
    mapping(address => mapping(address => 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 override returns (uint256) {
        require(owner != address(0), "ERC721: address zero is not a valid owner");
        return _balances[owner];
    }

    /**
     * @dev See {IERC721-ownerOf}.
     */
    function ownerOf(uint256 tokenId) public view virtual override returns (address) {
        address owner = _ownerOf(tokenId);
        require(owner != address(0), "ERC721: invalid token ID");
        return owner;
    }

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

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

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

        string memory baseURI = _baseURI();
        return bytes(baseURI).length > 0 ? string(abi.encodePacked(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 override {
        address owner = ERC721.ownerOf(tokenId);
        require(to != owner, "ERC721: approval to current owner");

        require(
            _msgSender() == owner || isApprovedForAll(owner, _msgSender()),
            "ERC721: approve caller is not token owner or approved for all"
        );

        _approve(to, tokenId);
    }

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

        return _tokenApprovals[tokenId];
    }

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

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

    /**
     * @dev See {IERC721-transferFrom}.
     */
    function transferFrom(
        address from,
        address to,
        uint256 tokenId
    ) public virtual override {
        //solhint-disable-next-line max-line-length
        require(_isApprovedOrOwner(_msgSender(), tokenId), "ERC721: caller is not token owner or approved");

        _transfer(from, to, tokenId);
    }

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

    /**
     * @dev See {IERC721-safeTransferFrom}.
     */
    function safeTransferFrom(
        address from,
        address to,
        uint256 tokenId,
        bytes memory data
    ) public virtual override {
        require(_isApprovedOrOwner(_msgSender(), tokenId), "ERC721: caller is not token owner or approved");
        _safeTransfer(from, to, tokenId, data);
    }

    /**
     * @dev Safely transfers `tokenId` token from `from` to `to`, checking first that contract recipients
     * are aware of the ERC721 protocol to prevent tokens from being forever locked.
     *
     * `data` is additional data, it has no specified format and it is sent in call to `to`.
     *
     * This internal function is equivalent to {safeTransferFrom}, and can be used to e.g.
     * implement alternative mechanisms to perform token transfer, such as signature-based.
     *
     * Requirements:
     *
     * - `from` cannot be the zero address.
     * - `to` cannot be the zero address.
     * - `tokenId` token must exist and be owned by `from`.
     * - 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,
        bytes memory data
    ) internal virtual {
        _transfer(from, to, tokenId);
        require(_checkOnERC721Received(from, to, tokenId, data), "ERC721: transfer to non ERC721Receiver implementer");
    }

    /**
     * @dev Returns the owner of the `tokenId`. Does NOT revert if token doesn't exist
     */
    function _ownerOf(uint256 tokenId) internal view virtual returns (address) {
        return _owners[tokenId];
    }

    /**
     * @dev Returns whether `tokenId` exists.
     *
     * Tokens can be managed by their owner or approved accounts via {approve} or {setApprovalForAll}.
     *
     * Tokens start existing when they are minted (`_mint`),
     * and stop existing when they are burned (`_burn`).
     */
    function _exists(uint256 tokenId) internal view virtual returns (bool) {
        return _ownerOf(tokenId) != address(0);
    }

    /**
     * @dev Returns whether `spender` is allowed to manage `tokenId`.
     *
     * Requirements:
     *
     * - `tokenId` must exist.
     */
    function _isApprovedOrOwner(address spender, uint256 tokenId) internal view virtual returns (bool) {
        address owner = ERC721.ownerOf(tokenId);
        return (spender == owner || isApprovedForAll(owner, spender) || getApproved(tokenId) == spender);
    }

    /**
     * @dev Safely mints `tokenId` and transfers it to `to`.
     *
     * 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 virtual {
        _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);
        require(
            _checkOnERC721Received(address(0), to, tokenId, data),
            "ERC721: transfer to non ERC721Receiver implementer"
        );
    }

    /**
     * @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 virtual {
        require(to != address(0), "ERC721: mint to the zero address");
        require(!_exists(tokenId), "ERC721: token already minted");

        _beforeTokenTransfer(address(0), to, tokenId, 1);

        // Check that tokenId was not minted by `_beforeTokenTransfer` hook
        require(!_exists(tokenId), "ERC721: token already minted");

        unchecked {
            // Will not overflow unless all 2**256 token ids are minted to the same owner.
            // Given that tokens are minted one by one, it is impossible in practice that
            // this ever happens. Might change if we allow batch minting.
            // The ERC fails to describe this case.
            _balances[to] += 1;
        }

        _owners[tokenId] = to;

        emit Transfer(address(0), to, tokenId);

        _afterTokenTransfer(address(0), to, tokenId, 1);
    }

    /**
     * @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 virtual {
        address owner = ERC721.ownerOf(tokenId);

        _beforeTokenTransfer(owner, address(0), tokenId, 1);

        // Update ownership in case tokenId was transferred by `_beforeTokenTransfer` hook
        owner = ERC721.ownerOf(tokenId);

        // Clear approvals
        delete _tokenApprovals[tokenId];

        unchecked {
            // Cannot overflow, as that would require more tokens to be burned/transferred
            // out than the owner initially received through minting and transferring in.
            _balances[owner] -= 1;
        }
        delete _owners[tokenId];

        emit Transfer(owner, address(0), tokenId);

        _afterTokenTransfer(owner, address(0), tokenId, 1);
    }

    /**
     * @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 virtual {
        require(ERC721.ownerOf(tokenId) == from, "ERC721: transfer from incorrect owner");
        require(to != address(0), "ERC721: transfer to the zero address");

        _beforeTokenTransfer(from, to, tokenId, 1);

        // Check that tokenId was not transferred by `_beforeTokenTransfer` hook
        require(ERC721.ownerOf(tokenId) == from, "ERC721: transfer from incorrect owner");

        // Clear approvals from the previous owner
        delete _tokenApprovals[tokenId];

        unchecked {
            // `_balances[from]` cannot overflow for the same reason as described in `_burn`:
            // `from`'s balance is the number of token held, which is at least one before the current
            // transfer.
            // `_balances[to]` could overflow in the conditions described in `_mint`. That would require
            // all 2**256 token ids to be minted, which in practice is impossible.
            _balances[from] -= 1;
            _balances[to] += 1;
        }
        _owners[tokenId] = to;

        emit Transfer(from, to, tokenId);

        _afterTokenTransfer(from, to, tokenId, 1);
    }

    /**
     * @dev Approve `to` to operate on `tokenId`
     *
     * Emits an {Approval} event.
     */
    function _approve(address to, uint256 tokenId) internal virtual {
        _tokenApprovals[tokenId] = to;
        emit Approval(ERC721.ownerOf(tokenId), to, tokenId);
    }

    /**
     * @dev Approve `operator` to operate on all of `owner` tokens
     *
     * Emits an {ApprovalForAll} event.
     */
    function _setApprovalForAll(
        address owner,
        address operator,
        bool approved
    ) internal virtual {
        require(owner != operator, "ERC721: approve to caller");
        _operatorApprovals[owner][operator] = approved;
        emit ApprovalForAll(owner, operator, approved);
    }

    /**
     * @dev Reverts if the `tokenId` has not been minted yet.
     */
    function _requireMinted(uint256 tokenId) internal view virtual {
        require(_exists(tokenId), "ERC721: invalid token ID");
    }

    /**
     * @dev Internal function to invoke {IERC721Receiver-onERC721Received} on a target address.
     * The call is not executed if the target address is not a contract.
     *
     * @param from address representing the previous owner of the given token ID
     * @param to target address that will receive the tokens
     * @param tokenId uint256 ID of the token to be transferred
     * @param data bytes optional data to send along with the call
     * @return bool whether the call correctly returned the expected magic value
     */
    function _checkOnERC721Received(
        address from,
        address to,
        uint256 tokenId,
        bytes memory data
    ) private returns (bool) {
        if (to.isContract()) {
            try IERC721Receiver(to).onERC721Received(_msgSender(), from, tokenId, data) returns (bytes4 retval) {
                return retval == IERC721Receiver.onERC721Received.selector;
            } catch (bytes memory reason) {
                if (reason.length == 0) {
                    revert("ERC721: transfer to non ERC721Receiver implementer");
                } else {
                    /// @solidity memory-safe-assembly
                    assembly {
                        revert(add(32, reason), mload(reason))
                    }
                }
            }
        } else {
            return true;
        }
    }

    /**
     * @dev Hook that is called before any token transfer. This includes minting and burning. If {ERC721Consecutive} is
     * used, the hook may be called as part of a consecutive (batch) mint, as indicated by `batchSize` greater than 1.
     *
     * Calling conditions:
     *
     * - When `from` and `to` are both non-zero, ``from``'s tokens will be transferred to `to`.
     * - When `from` is zero, the tokens will be minted for `to`.
     * - When `to` is zero, ``from``'s tokens will be burned.
     * - `from` and `to` are never both zero.
     * - `batchSize` is non-zero.
     *
     * To learn more about hooks, head to xref:ROOT:extending-contracts.adoc#using-hooks[Using Hooks].
     */
    function _beforeTokenTransfer(
        address from,
        address to,
        uint256 firstTokenId,
        uint256 batchSize
    ) internal virtual {}

    /**
     * @dev Hook that is called after any token transfer. This includes minting and burning. If {ERC721Consecutive} is
     * used, the hook may be called as part of a consecutive (batch) mint, as indicated by `batchSize` greater than 1.
     *
     * Calling conditions:
     *
     * - When `from` and `to` are both non-zero, ``from``'s tokens were transferred to `to`.
     * - When `from` is zero, the tokens were minted for `to`.
     * - When `to` is zero, ``from``'s tokens were burned.
     * - `from` and `to` are never both zero.
     * - `batchSize` is non-zero.
     *
     * To learn more about hooks, head to xref:ROOT:extending-contracts.adoc#using-hooks[Using Hooks].
     */
    function _afterTokenTransfer(
        address from,
        address to,
        uint256 firstTokenId,
        uint256 batchSize
    ) internal virtual {}

    /**
     * @dev Unsafe write access to the balances, used by extensions that "mint" tokens using an {ownerOf} override.
     *
     * WARNING: Anyone calling this MUST ensure that the balances remain consistent with the ownership. The invariant
     * being 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`.
     */
    // solhint-disable-next-line func-name-mixedcase
    function __unsafe_increaseBalance(address account, uint256 amount) internal {
        _balances[account] += amount;
    }
}

// File: @openzeppelin/[email protected]/token/ERC721/extensions/ERC721URIStorage.sol


// OpenZeppelin Contracts (last updated v4.7.0) (token/ERC721/extensions/ERC721URIStorage.sol)

pragma solidity ^0.8.0;


/**
 * @dev ERC721 token with storage based token URI management.
 */
abstract contract ERC721URIStorage is ERC721 {
    using Strings for uint256;

    // Optional mapping for token URIs
    mapping(uint256 => string) private _tokenURIs;

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

        string memory _tokenURI = _tokenURIs[tokenId];
        string memory base = _baseURI();

        // If there is no base URI, return the token URI.
        if (bytes(base).length == 0) {
            return _tokenURI;
        }
        // If both are set, concatenate the baseURI and tokenURI (via abi.encodePacked).
        if (bytes(_tokenURI).length > 0) {
            return string(abi.encodePacked(base, _tokenURI));
        }

        return super.tokenURI(tokenId);
    }

    /**
     * @dev Sets `_tokenURI` as the tokenURI of `tokenId`.
     *
     * Requirements:
     *
     * - `tokenId` must exist.
     */
    function _setTokenURI(uint256 tokenId, string memory _tokenURI) internal virtual {
        require(_exists(tokenId), "ERC721URIStorage: URI set of nonexistent token");
        _tokenURIs[tokenId] = _tokenURI;
    }

    /**
     * @dev See {ERC721-_burn}. This override additionally checks to see if a
     * token-specific URI was set for the token, and if so, it deletes the token URI from
     * the storage mapping.
     */
    function _burn(uint256 tokenId) internal virtual override {
        super._burn(tokenId);

        if (bytes(_tokenURIs[tokenId]).length != 0) {
            delete _tokenURIs[tokenId];
        }
    }
}

// File: contract- NOVA AIR.sol


pragma solidity ^0.8.9;





contract NOVAAIR is ERC721, ERC721URIStorage, Ownable {
    using Counters for Counters.Counter;

    Counters.Counter private _tokenIdCounter;

    constructor() ERC721("NOVA AIR", "NAIR") {}

    function safeMint(address to, string memory uri) public onlyOwner {
        uint256 tokenId = _tokenIdCounter.current();
        _tokenIdCounter.increment();
        _safeMint(to, tokenId);
        _setTokenURI(tokenId, uri);
    }

    // The following functions are overrides required by Solidity.

    function _burn(uint256 tokenId) internal override(ERC721, ERC721URIStorage) {
        super._burn(tokenId);
    }

    function tokenURI(uint256 tokenId)
        public
        view
        override(ERC721, ERC721URIStorage)
        returns (string memory)
    {
        return super.tokenURI(tokenId);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"approved","type":"address"},{"indexed":true,"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"operator","type":"address"},{"indexed":false,"internalType":"bool","name":"approved","type":"bool"}],"name":"ApprovalForAll","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":true,"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"approve","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"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":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"ownerOf","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"string","name":"uri","type":"string"}],"name":"safeMint","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"safeTransferFrom","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"tokenId","type":"uint256"},{"internalType":"bytes","name":"data","type":"bytes"}],"name":"safeTransferFrom","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"operator","type":"address"},{"internalType":"bool","name":"approved","type":"bool"}],"name":"setApprovalForAll","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes4","name":"interfaceId","type":"bytes4"}],"name":"supportsInterface","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"tokenURI","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"transferFrom","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"}]

60806040523480156200001157600080fd5b506040518060400160405280600881526020017f4e4f5641204149520000000000000000000000000000000000000000000000008152506040518060400160405280600481526020017f4e4149520000000000000000000000000000000000000000000000000000000081525081600090816200008f919062000412565b508060019081620000a1919062000412565b505050620000c4620000b8620000ca60201b60201c565b620000d260201b60201c565b620004f9565b600033905090565b6000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b600081519050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b600060028204905060018216806200021a57607f821691505b60208210810362000230576200022f620001d2565b5b50919050565b60008190508160005260206000209050919050565b60006020601f8301049050919050565b600082821b905092915050565b6000600883026200029a7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff826200025b565b620002a686836200025b565b95508019841693508086168417925050509392505050565b6000819050919050565b6000819050919050565b6000620002f3620002ed620002e784620002be565b620002c8565b620002be565b9050919050565b6000819050919050565b6200030f83620002d2565b620003276200031e82620002fa565b84845462000268565b825550505050565b600090565b6200033e6200032f565b6200034b81848462000304565b505050565b5b8181101562000373576200036760008262000334565b60018101905062000351565b5050565b601f821115620003c2576200038c8162000236565b62000397846200024b565b81016020851015620003a7578190505b620003bf620003b6856200024b565b83018262000350565b50505b505050565b600082821c905092915050565b6000620003e760001984600802620003c7565b1980831691505092915050565b6000620004028383620003d4565b9150826002028217905092915050565b6200041d8262000198565b67ffffffffffffffff811115620004395762000438620001a3565b5b62000445825462000201565b6200045282828562000377565b600060209050601f8311600181146200048a576000841562000475578287015190505b620004818582620003f4565b865550620004f1565b601f1984166200049a8662000236565b60005b82811015620004c4578489015182556001820191506020850194506020810190506200049d565b86831015620004e45784890151620004e0601f891682620003d4565b8355505b6001600288020188555050505b505050505050565b612e2880620005096000396000f3fe608060405234801561001057600080fd5b506004361061010b5760003560e01c8063715018a6116100a2578063b88d4fde11610071578063b88d4fde146102a4578063c87b56dd146102c0578063d204c45e146102f0578063e985e9c51461030c578063f2fde38b1461033c5761010b565b8063715018a6146102425780638da5cb5b1461024c57806395d89b411461026a578063a22cb465146102885761010b565b806323b872dd116100de57806323b872dd146101aa57806342842e0e146101c65780636352211e146101e257806370a08231146102125761010b565b806301ffc9a71461011057806306fdde0314610140578063081812fc1461015e578063095ea7b31461018e575b600080fd5b61012a60048036038101906101259190611c19565b610358565b6040516101379190611c61565b60405180910390f35b61014861043a565b6040516101559190611d0c565b60405180910390f35b61017860048036038101906101739190611d64565b6104cc565b6040516101859190611dd2565b60405180910390f35b6101a860048036038101906101a39190611e19565b610512565b005b6101c460048036038101906101bf9190611e59565b610629565b005b6101e060048036038101906101db9190611e59565b610689565b005b6101fc60048036038101906101f79190611d64565b6106a9565b6040516102099190611dd2565b60405180910390f35b61022c60048036038101906102279190611eac565b61072f565b6040516102399190611ee8565b60405180910390f35b61024a6107e6565b005b6102546107fa565b6040516102619190611dd2565b60405180910390f35b610272610824565b60405161027f9190611d0c565b60405180910390f35b6102a2600480360381019061029d9190611f2f565b6108b6565b005b6102be60048036038101906102b991906120a4565b6108cc565b005b6102da60048036038101906102d59190611d64565b61092e565b6040516102e79190611d0c565b60405180910390f35b61030a600480360381019061030591906121c8565b610940565b005b61032660048036038101906103219190612224565b610979565b6040516103339190611c61565b60405180910390f35b61035660048036038101906103519190611eac565b610a0d565b005b60007f80ac58cd000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916148061042357507f5b5e139f000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916145b80610433575061043282610a90565b5b9050919050565b60606000805461044990612293565b80601f016020809104026020016040519081016040528092919081815260200182805461047590612293565b80156104c25780601f10610497576101008083540402835291602001916104c2565b820191906000526020600020905b8154815290600101906020018083116104a557829003601f168201915b5050505050905090565b60006104d782610afa565b6004600083815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b600061051d826106a9565b90508073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff160361058d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161058490612336565b60405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff166105ac610b45565b73ffffffffffffffffffffffffffffffffffffffff1614806105db57506105da816105d5610b45565b610979565b5b61061a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610611906123c8565b60405180910390fd5b6106248383610b4d565b505050565b61063a610634610b45565b82610c06565b610679576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106709061245a565b60405180910390fd5b610684838383610c9b565b505050565b6106a4838383604051806020016040528060008152506108cc565b505050565b6000806106b583610f94565b9050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610726576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161071d906124c6565b60405180910390fd5b80915050919050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361079f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161079690612558565b60405180910390fd5b600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6107ee610fd1565b6107f8600061104f565b565b6000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60606001805461083390612293565b80601f016020809104026020016040519081016040528092919081815260200182805461085f90612293565b80156108ac5780601f10610881576101008083540402835291602001916108ac565b820191906000526020600020905b81548152906001019060200180831161088f57829003601f168201915b5050505050905090565b6108c86108c1610b45565b8383611115565b5050565b6108dd6108d7610b45565b83610c06565b61091c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109139061245a565b60405180910390fd5b61092884848484611281565b50505050565b6060610939826112dd565b9050919050565b610948610fd1565b600061095460086113ef565b905061096060086113fd565b61096a8382611413565b6109748183611431565b505050565b6000600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b610a15610fd1565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610a84576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a7b906125ea565b60405180910390fd5b610a8d8161104f565b50565b60007f01ffc9a7000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916149050919050565b610b038161149e565b610b42576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b39906124c6565b60405180910390fd5b50565b600033905090565b816004600083815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550808273ffffffffffffffffffffffffffffffffffffffff16610bc0836106a9565b73ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92560405160405180910390a45050565b600080610c12836106a9565b90508073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff161480610c545750610c538185610979565b5b80610c9257508373ffffffffffffffffffffffffffffffffffffffff16610c7a846104cc565b73ffffffffffffffffffffffffffffffffffffffff16145b91505092915050565b8273ffffffffffffffffffffffffffffffffffffffff16610cbb826106a9565b73ffffffffffffffffffffffffffffffffffffffff1614610d11576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d089061267c565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610d80576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d779061270e565b60405180910390fd5b610d8d83838360016114df565b8273ffffffffffffffffffffffffffffffffffffffff16610dad826106a9565b73ffffffffffffffffffffffffffffffffffffffff1614610e03576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610dfa9061267c565b60405180910390fd5b6004600082815260200190815260200160002060006101000a81549073ffffffffffffffffffffffffffffffffffffffff02191690556001600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825403925050819055506001600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282540192505081905550816002600083815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550808273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a4610f8f83838360016114e5565b505050565b60006002600083815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b610fd9610b45565b73ffffffffffffffffffffffffffffffffffffffff16610ff76107fa565b73ffffffffffffffffffffffffffffffffffffffff161461104d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016110449061277a565b60405180910390fd5b565b6000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603611183576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161117a906127e6565b60405180910390fd5b80600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31836040516112749190611c61565b60405180910390a3505050565b61128c848484610c9b565b611298848484846114eb565b6112d7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016112ce90612878565b60405180910390fd5b50505050565b60606112e882610afa565b600060066000848152602001908152602001600020805461130890612293565b80601f016020809104026020016040519081016040528092919081815260200182805461133490612293565b80156113815780601f1061135657610100808354040283529160200191611381565b820191906000526020600020905b81548152906001019060200180831161136457829003601f168201915b505050505090506000611392611672565b905060008151036113a75781925050506113ea565b6000825111156113dc5780826040516020016113c49291906128d4565b604051602081830303815290604052925050506113ea565b6113e584611689565b925050505b919050565b600081600001549050919050565b6001816000016000828254019250508190555050565b61142d8282604051806020016040528060008152506116f1565b5050565b61143a8261149e565b611479576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016114709061296a565b60405180910390fd5b806006600084815260200190815260200160002090816114999190612b36565b505050565b60008073ffffffffffffffffffffffffffffffffffffffff166114c083610f94565b73ffffffffffffffffffffffffffffffffffffffff1614159050919050565b50505050565b50505050565b600061150c8473ffffffffffffffffffffffffffffffffffffffff1661174c565b15611665578373ffffffffffffffffffffffffffffffffffffffff1663150b7a02611535610b45565b8786866040518563ffffffff1660e01b81526004016115579493929190612c5d565b6020604051808303816000875af192505050801561159357506040513d601f19601f820116820180604052508101906115909190612cbe565b60015b611615573d80600081146115c3576040519150601f19603f3d011682016040523d82523d6000602084013e6115c8565b606091505b50600081510361160d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161160490612878565b60405180910390fd5b805181602001fd5b63150b7a0260e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161491505061166a565b600190505b949350505050565b606060405180602001604052806000815250905090565b606061169482610afa565b600061169e611672565b905060008151116116be57604051806020016040528060008152506116e9565b806116c88461176f565b6040516020016116d99291906128d4565b6040516020818303038152906040525b915050919050565b6116fb838361183d565b61170860008484846114eb565b611747576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161173e90612878565b60405180910390fd5b505050565b6000808273ffffffffffffffffffffffffffffffffffffffff163b119050919050565b60606000600161177e84611a5a565b01905060008167ffffffffffffffff81111561179d5761179c611f79565b5b6040519080825280601f01601f1916602001820160405280156117cf5781602001600182028036833780820191505090505b509050600082602001820190505b600115611832578080600190039150507f3031323334353637383961626364656600000000000000000000000000000000600a86061a8153600a858161182657611825612ceb565b5b049450600085036117dd575b819350505050919050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036118ac576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016118a390612d66565b60405180910390fd5b6118b58161149e565b156118f5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016118ec90612dd2565b60405180910390fd5b6119036000838360016114df565b61190c8161149e565b1561194c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161194390612dd2565b60405180910390fd5b6001600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282540192505081905550816002600083815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550808273ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a4611a566000838360016114e5565b5050565b600080600090507a184f03e93ff9f4daa797ed6e38ed64bf6a1f0100000000000000008310611ab8577a184f03e93ff9f4daa797ed6e38ed64bf6a1f0100000000000000008381611aae57611aad612ceb565b5b0492506040810190505b6d04ee2d6d415b85acef81000000008310611af5576d04ee2d6d415b85acef81000000008381611aeb57611aea612ceb565b5b0492506020810190505b662386f26fc100008310611b2457662386f26fc100008381611b1a57611b19612ceb565b5b0492506010810190505b6305f5e1008310611b4d576305f5e1008381611b4357611b42612ceb565b5b0492506008810190505b6127108310611b72576127108381611b6857611b67612ceb565b5b0492506004810190505b60648310611b955760648381611b8b57611b8a612ceb565b5b0492506002810190505b600a8310611ba4576001810190505b80915050919050565b6000604051905090565b600080fd5b600080fd5b60007fffffffff0000000000000000000000000000000000000000000000000000000082169050919050565b611bf681611bc1565b8114611c0157600080fd5b50565b600081359050611c1381611bed565b92915050565b600060208284031215611c2f57611c2e611bb7565b5b6000611c3d84828501611c04565b91505092915050565b60008115159050919050565b611c5b81611c46565b82525050565b6000602082019050611c766000830184611c52565b92915050565b600081519050919050565b600082825260208201905092915050565b60005b83811015611cb6578082015181840152602081019050611c9b565b60008484015250505050565b6000601f19601f8301169050919050565b6000611cde82611c7c565b611ce88185611c87565b9350611cf8818560208601611c98565b611d0181611cc2565b840191505092915050565b60006020820190508181036000830152611d268184611cd3565b905092915050565b6000819050919050565b611d4181611d2e565b8114611d4c57600080fd5b50565b600081359050611d5e81611d38565b92915050565b600060208284031215611d7a57611d79611bb7565b5b6000611d8884828501611d4f565b91505092915050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000611dbc82611d91565b9050919050565b611dcc81611db1565b82525050565b6000602082019050611de76000830184611dc3565b92915050565b611df681611db1565b8114611e0157600080fd5b50565b600081359050611e1381611ded565b92915050565b60008060408385031215611e3057611e2f611bb7565b5b6000611e3e85828601611e04565b9250506020611e4f85828601611d4f565b9150509250929050565b600080600060608486031215611e7257611e71611bb7565b5b6000611e8086828701611e04565b9350506020611e9186828701611e04565b9250506040611ea286828701611d4f565b9150509250925092565b600060208284031215611ec257611ec1611bb7565b5b6000611ed084828501611e04565b91505092915050565b611ee281611d2e565b82525050565b6000602082019050611efd6000830184611ed9565b92915050565b611f0c81611c46565b8114611f1757600080fd5b50565b600081359050611f2981611f03565b92915050565b60008060408385031215611f4657611f45611bb7565b5b6000611f5485828601611e04565b9250506020611f6585828601611f1a565b9150509250929050565b600080fd5b600080fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b611fb182611cc2565b810181811067ffffffffffffffff82111715611fd057611fcf611f79565b5b80604052505050565b6000611fe3611bad565b9050611fef8282611fa8565b919050565b600067ffffffffffffffff82111561200f5761200e611f79565b5b61201882611cc2565b9050602081019050919050565b82818337600083830152505050565b600061204761204284611ff4565b611fd9565b90508281526020810184848401111561206357612062611f74565b5b61206e848285612025565b509392505050565b600082601f83011261208b5761208a611f6f565b5b813561209b848260208601612034565b91505092915050565b600080600080608085870312156120be576120bd611bb7565b5b60006120cc87828801611e04565b94505060206120dd87828801611e04565b93505060406120ee87828801611d4f565b925050606085013567ffffffffffffffff81111561210f5761210e611bbc565b5b61211b87828801612076565b91505092959194509250565b600067ffffffffffffffff82111561214257612141611f79565b5b61214b82611cc2565b9050602081019050919050565b600061216b61216684612127565b611fd9565b90508281526020810184848401111561218757612186611f74565b5b612192848285612025565b509392505050565b600082601f8301126121af576121ae611f6f565b5b81356121bf848260208601612158565b91505092915050565b600080604083850312156121df576121de611bb7565b5b60006121ed85828601611e04565b925050602083013567ffffffffffffffff81111561220e5761220d611bbc565b5b61221a8582860161219a565b9150509250929050565b6000806040838503121561223b5761223a611bb7565b5b600061224985828601611e04565b925050602061225a85828601611e04565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b600060028204905060018216806122ab57607f821691505b6020821081036122be576122bd612264565b5b50919050565b7f4552433732313a20617070726f76616c20746f2063757272656e74206f776e6560008201527f7200000000000000000000000000000000000000000000000000000000000000602082015250565b6000612320602183611c87565b915061232b826122c4565b604082019050919050565b6000602082019050818103600083015261234f81612313565b9050919050565b7f4552433732313a20617070726f76652063616c6c6572206973206e6f7420746f60008201527f6b656e206f776e6572206f7220617070726f76656420666f7220616c6c000000602082015250565b60006123b2603d83611c87565b91506123bd82612356565b604082019050919050565b600060208201905081810360008301526123e1816123a5565b9050919050565b7f4552433732313a2063616c6c6572206973206e6f7420746f6b656e206f776e6560008201527f72206f7220617070726f76656400000000000000000000000000000000000000602082015250565b6000612444602d83611c87565b915061244f826123e8565b604082019050919050565b6000602082019050818103600083015261247381612437565b9050919050565b7f4552433732313a20696e76616c696420746f6b656e2049440000000000000000600082015250565b60006124b0601883611c87565b91506124bb8261247a565b602082019050919050565b600060208201905081810360008301526124df816124a3565b9050919050565b7f4552433732313a2061646472657373207a65726f206973206e6f74206120766160008201527f6c6964206f776e65720000000000000000000000000000000000000000000000602082015250565b6000612542602983611c87565b915061254d826124e6565b604082019050919050565b6000602082019050818103600083015261257181612535565b9050919050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b60006125d4602683611c87565b91506125df82612578565b604082019050919050565b60006020820190508181036000830152612603816125c7565b9050919050565b7f4552433732313a207472616e736665722066726f6d20696e636f72726563742060008201527f6f776e6572000000000000000000000000000000000000000000000000000000602082015250565b6000612666602583611c87565b91506126718261260a565b604082019050919050565b6000602082019050818103600083015261269581612659565b9050919050565b7f4552433732313a207472616e7366657220746f20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b60006126f8602483611c87565b91506127038261269c565b604082019050919050565b60006020820190508181036000830152612727816126eb565b9050919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b6000612764602083611c87565b915061276f8261272e565b602082019050919050565b6000602082019050818103600083015261279381612757565b9050919050565b7f4552433732313a20617070726f766520746f2063616c6c657200000000000000600082015250565b60006127d0601983611c87565b91506127db8261279a565b602082019050919050565b600060208201905081810360008301526127ff816127c3565b9050919050565b7f4552433732313a207472616e7366657220746f206e6f6e20455243373231526560008201527f63656976657220696d706c656d656e7465720000000000000000000000000000602082015250565b6000612862603283611c87565b915061286d82612806565b604082019050919050565b6000602082019050818103600083015261289181612855565b9050919050565b600081905092915050565b60006128ae82611c7c565b6128b88185612898565b93506128c8818560208601611c98565b80840191505092915050565b60006128e082856128a3565b91506128ec82846128a3565b91508190509392505050565b7f45524337323155524953746f726167653a2055524920736574206f66206e6f6e60008201527f6578697374656e7420746f6b656e000000000000000000000000000000000000602082015250565b6000612954602e83611c87565b915061295f826128f8565b604082019050919050565b6000602082019050818103600083015261298381612947565b9050919050565b60008190508160005260206000209050919050565b60006020601f8301049050919050565b600082821b905092915050565b6000600883026129ec7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff826129af565b6129f686836129af565b95508019841693508086168417925050509392505050565b6000819050919050565b6000612a33612a2e612a2984611d2e565b612a0e565b611d2e565b9050919050565b6000819050919050565b612a4d83612a18565b612a61612a5982612a3a565b8484546129bc565b825550505050565b600090565b612a76612a69565b612a81818484612a44565b505050565b5b81811015612aa557612a9a600082612a6e565b600181019050612a87565b5050565b601f821115612aea57612abb8161298a565b612ac48461299f565b81016020851015612ad3578190505b612ae7612adf8561299f565b830182612a86565b50505b505050565b600082821c905092915050565b6000612b0d60001984600802612aef565b1980831691505092915050565b6000612b268383612afc565b9150826002028217905092915050565b612b3f82611c7c565b67ffffffffffffffff811115612b5857612b57611f79565b5b612b628254612293565b612b6d828285612aa9565b600060209050601f831160018114612ba05760008415612b8e578287015190505b612b988582612b1a565b865550612c00565b601f198416612bae8661298a565b60005b82811015612bd657848901518255600182019150602085019450602081019050612bb1565b86831015612bf35784890151612bef601f891682612afc565b8355505b6001600288020188555050505b505050505050565b600081519050919050565b600082825260208201905092915050565b6000612c2f82612c08565b612c398185612c13565b9350612c49818560208601611c98565b612c5281611cc2565b840191505092915050565b6000608082019050612c726000830187611dc3565b612c7f6020830186611dc3565b612c8c6040830185611ed9565b8181036060830152612c9e8184612c24565b905095945050505050565b600081519050612cb881611bed565b92915050565b600060208284031215612cd457612cd3611bb7565b5b6000612ce284828501612ca9565b91505092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b7f4552433732313a206d696e7420746f20746865207a65726f2061646472657373600082015250565b6000612d50602083611c87565b9150612d5b82612d1a565b602082019050919050565b60006020820190508181036000830152612d7f81612d43565b9050919050565b7f4552433732313a20746f6b656e20616c7265616479206d696e74656400000000600082015250565b6000612dbc601c83611c87565b9150612dc782612d86565b602082019050919050565b60006020820190508181036000830152612deb81612daf565b905091905056fea2646970667358221220abfa37babb6316d94648bc63f98b9ec43f3d14fbe665756aab66f404f9f6319264736f6c63430008130033

0x608060405234801561001057600080fd5b506004361061010b5760003560e01c8063715018a6116100a2578063b88d4fde11610071578063b88d4fde146102a4578063c87b56dd146102c0578063d204c45e146102f0578063e985e9c51461030c578063f2fde38b1461033c5761010b565b8063715018a6146102425780638da5cb5b1461024c57806395d89b411461026a578063a22cb465146102885761010b565b806323b872dd116100de57806323b872dd146101aa57806342842e0e146101c65780636352211e146101e257806370a08231146102125761010b565b806301ffc9a71461011057806306fdde0314610140578063081812fc1461015e578063095ea7b31461018e575b600080fd5b61012a60048036038101906101259190611c19565b610358565b6040516101379190611c61565b60405180910390f35b61014861043a565b6040516101559190611d0c565b60405180910390f35b61017860048036038101906101739190611d64565b6104cc565b6040516101859190611dd2565b60405180910390f35b6101a860048036038101906101a39190611e19565b610512565b005b6101c460048036038101906101bf9190611e59565b610629565b005b6101e060048036038101906101db9190611e59565b610689565b005b6101fc60048036038101906101f79190611d64565b6106a9565b6040516102099190611dd2565b60405180910390f35b61022c60048036038101906102279190611eac565b61072f565b6040516102399190611ee8565b60405180910390f35b61024a6107e6565b005b6102546107fa565b6040516102619190611dd2565b60405180910390f35b610272610824565b60405161027f9190611d0c565b60405180910390f35b6102a2600480360381019061029d9190611f2f565b6108b6565b005b6102be60048036038101906102b991906120a4565b6108cc565b005b6102da60048036038101906102d59190611d64565b61092e565b6040516102e79190611d0c565b60405180910390f35b61030a600480360381019061030591906121c8565b610940565b005b61032660048036038101906103219190612224565b610979565b6040516103339190611c61565b60405180910390f35b61035660048036038101906103519190611eac565b610a0d565b005b60007f80ac58cd000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916148061042357507f5b5e139f000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916145b80610433575061043282610a90565b5b9050919050565b60606000805461044990612293565b80601f016020809104026020016040519081016040528092919081815260200182805461047590612293565b80156104c25780601f10610497576101008083540402835291602001916104c2565b820191906000526020600020905b8154815290600101906020018083116104a557829003601f168201915b5050505050905090565b60006104d782610afa565b6004600083815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b600061051d826106a9565b90508073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff160361058d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161058490612336565b60405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff166105ac610b45565b73ffffffffffffffffffffffffffffffffffffffff1614806105db57506105da816105d5610b45565b610979565b5b61061a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610611906123c8565b60405180910390fd5b6106248383610b4d565b505050565b61063a610634610b45565b82610c06565b610679576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106709061245a565b60405180910390fd5b610684838383610c9b565b505050565b6106a4838383604051806020016040528060008152506108cc565b505050565b6000806106b583610f94565b9050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610726576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161071d906124c6565b60405180910390fd5b80915050919050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361079f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161079690612558565b60405180910390fd5b600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6107ee610fd1565b6107f8600061104f565b565b6000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60606001805461083390612293565b80601f016020809104026020016040519081016040528092919081815260200182805461085f90612293565b80156108ac5780601f10610881576101008083540402835291602001916108ac565b820191906000526020600020905b81548152906001019060200180831161088f57829003601f168201915b5050505050905090565b6108c86108c1610b45565b8383611115565b5050565b6108dd6108d7610b45565b83610c06565b61091c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109139061245a565b60405180910390fd5b61092884848484611281565b50505050565b6060610939826112dd565b9050919050565b610948610fd1565b600061095460086113ef565b905061096060086113fd565b61096a8382611413565b6109748183611431565b505050565b6000600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b610a15610fd1565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610a84576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a7b906125ea565b60405180910390fd5b610a8d8161104f565b50565b60007f01ffc9a7000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916149050919050565b610b038161149e565b610b42576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b39906124c6565b60405180910390fd5b50565b600033905090565b816004600083815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550808273ffffffffffffffffffffffffffffffffffffffff16610bc0836106a9565b73ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92560405160405180910390a45050565b600080610c12836106a9565b90508073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff161480610c545750610c538185610979565b5b80610c9257508373ffffffffffffffffffffffffffffffffffffffff16610c7a846104cc565b73ffffffffffffffffffffffffffffffffffffffff16145b91505092915050565b8273ffffffffffffffffffffffffffffffffffffffff16610cbb826106a9565b73ffffffffffffffffffffffffffffffffffffffff1614610d11576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d089061267c565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610d80576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d779061270e565b60405180910390fd5b610d8d83838360016114df565b8273ffffffffffffffffffffffffffffffffffffffff16610dad826106a9565b73ffffffffffffffffffffffffffffffffffffffff1614610e03576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610dfa9061267c565b60405180910390fd5b6004600082815260200190815260200160002060006101000a81549073ffffffffffffffffffffffffffffffffffffffff02191690556001600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825403925050819055506001600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282540192505081905550816002600083815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550808273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a4610f8f83838360016114e5565b505050565b60006002600083815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b610fd9610b45565b73ffffffffffffffffffffffffffffffffffffffff16610ff76107fa565b73ffffffffffffffffffffffffffffffffffffffff161461104d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016110449061277a565b60405180910390fd5b565b6000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603611183576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161117a906127e6565b60405180910390fd5b80600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31836040516112749190611c61565b60405180910390a3505050565b61128c848484610c9b565b611298848484846114eb565b6112d7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016112ce90612878565b60405180910390fd5b50505050565b60606112e882610afa565b600060066000848152602001908152602001600020805461130890612293565b80601f016020809104026020016040519081016040528092919081815260200182805461133490612293565b80156113815780601f1061135657610100808354040283529160200191611381565b820191906000526020600020905b81548152906001019060200180831161136457829003601f168201915b505050505090506000611392611672565b905060008151036113a75781925050506113ea565b6000825111156113dc5780826040516020016113c49291906128d4565b604051602081830303815290604052925050506113ea565b6113e584611689565b925050505b919050565b600081600001549050919050565b6001816000016000828254019250508190555050565b61142d8282604051806020016040528060008152506116f1565b5050565b61143a8261149e565b611479576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016114709061296a565b60405180910390fd5b806006600084815260200190815260200160002090816114999190612b36565b505050565b60008073ffffffffffffffffffffffffffffffffffffffff166114c083610f94565b73ffffffffffffffffffffffffffffffffffffffff1614159050919050565b50505050565b50505050565b600061150c8473ffffffffffffffffffffffffffffffffffffffff1661174c565b15611665578373ffffffffffffffffffffffffffffffffffffffff1663150b7a02611535610b45565b8786866040518563ffffffff1660e01b81526004016115579493929190612c5d565b6020604051808303816000875af192505050801561159357506040513d601f19601f820116820180604052508101906115909190612cbe565b60015b611615573d80600081146115c3576040519150601f19603f3d011682016040523d82523d6000602084013e6115c8565b606091505b50600081510361160d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161160490612878565b60405180910390fd5b805181602001fd5b63150b7a0260e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161491505061166a565b600190505b949350505050565b606060405180602001604052806000815250905090565b606061169482610afa565b600061169e611672565b905060008151116116be57604051806020016040528060008152506116e9565b806116c88461176f565b6040516020016116d99291906128d4565b6040516020818303038152906040525b915050919050565b6116fb838361183d565b61170860008484846114eb565b611747576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161173e90612878565b60405180910390fd5b505050565b6000808273ffffffffffffffffffffffffffffffffffffffff163b119050919050565b60606000600161177e84611a5a565b01905060008167ffffffffffffffff81111561179d5761179c611f79565b5b6040519080825280601f01601f1916602001820160405280156117cf5781602001600182028036833780820191505090505b509050600082602001820190505b600115611832578080600190039150507f3031323334353637383961626364656600000000000000000000000000000000600a86061a8153600a858161182657611825612ceb565b5b049450600085036117dd575b819350505050919050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036118ac576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016118a390612d66565b60405180910390fd5b6118b58161149e565b156118f5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016118ec90612dd2565b60405180910390fd5b6119036000838360016114df565b61190c8161149e565b1561194c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161194390612dd2565b60405180910390fd5b6001600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282540192505081905550816002600083815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550808273ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a4611a566000838360016114e5565b5050565b600080600090507a184f03e93ff9f4daa797ed6e38ed64bf6a1f0100000000000000008310611ab8577a184f03e93ff9f4daa797ed6e38ed64bf6a1f0100000000000000008381611aae57611aad612ceb565b5b0492506040810190505b6d04ee2d6d415b85acef81000000008310611af5576d04ee2d6d415b85acef81000000008381611aeb57611aea612ceb565b5b0492506020810190505b662386f26fc100008310611b2457662386f26fc100008381611b1a57611b19612ceb565b5b0492506010810190505b6305f5e1008310611b4d576305f5e1008381611b4357611b42612ceb565b5b0492506008810190505b6127108310611b72576127108381611b6857611b67612ceb565b5b0492506004810190505b60648310611b955760648381611b8b57611b8a612ceb565b5b0492506002810190505b600a8310611ba4576001810190505b80915050919050565b6000604051905090565b600080fd5b600080fd5b60007fffffffff0000000000000000000000000000000000000000000000000000000082169050919050565b611bf681611bc1565b8114611c0157600080fd5b50565b600081359050611c1381611bed565b92915050565b600060208284031215611c2f57611c2e611bb7565b5b6000611c3d84828501611c04565b91505092915050565b60008115159050919050565b611c5b81611c46565b82525050565b6000602082019050611c766000830184611c52565b92915050565b600081519050919050565b600082825260208201905092915050565b60005b83811015611cb6578082015181840152602081019050611c9b565b60008484015250505050565b6000601f19601f8301169050919050565b6000611cde82611c7c565b611ce88185611c87565b9350611cf8818560208601611c98565b611d0181611cc2565b840191505092915050565b60006020820190508181036000830152611d268184611cd3565b905092915050565b6000819050919050565b611d4181611d2e565b8114611d4c57600080fd5b50565b600081359050611d5e81611d38565b92915050565b600060208284031215611d7a57611d79611bb7565b5b6000611d8884828501611d4f565b91505092915050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000611dbc82611d91565b9050919050565b611dcc81611db1565b82525050565b6000602082019050611de76000830184611dc3565b92915050565b611df681611db1565b8114611e0157600080fd5b50565b600081359050611e1381611ded565b92915050565b60008060408385031215611e3057611e2f611bb7565b5b6000611e3e85828601611e04565b9250506020611e4f85828601611d4f565b9150509250929050565b600080600060608486031215611e7257611e71611bb7565b5b6000611e8086828701611e04565b9350506020611e9186828701611e04565b9250506040611ea286828701611d4f565b9150509250925092565b600060208284031215611ec257611ec1611bb7565b5b6000611ed084828501611e04565b91505092915050565b611ee281611d2e565b82525050565b6000602082019050611efd6000830184611ed9565b92915050565b611f0c81611c46565b8114611f1757600080fd5b50565b600081359050611f2981611f03565b92915050565b60008060408385031215611f4657611f45611bb7565b5b6000611f5485828601611e04565b9250506020611f6585828601611f1a565b9150509250929050565b600080fd5b600080fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b611fb182611cc2565b810181811067ffffffffffffffff82111715611fd057611fcf611f79565b5b80604052505050565b6000611fe3611bad565b9050611fef8282611fa8565b919050565b600067ffffffffffffffff82111561200f5761200e611f79565b5b61201882611cc2565b9050602081019050919050565b82818337600083830152505050565b600061204761204284611ff4565b611fd9565b90508281526020810184848401111561206357612062611f74565b5b61206e848285612025565b509392505050565b600082601f83011261208b5761208a611f6f565b5b813561209b848260208601612034565b91505092915050565b600080600080608085870312156120be576120bd611bb7565b5b60006120cc87828801611e04565b94505060206120dd87828801611e04565b93505060406120ee87828801611d4f565b925050606085013567ffffffffffffffff81111561210f5761210e611bbc565b5b61211b87828801612076565b91505092959194509250565b600067ffffffffffffffff82111561214257612141611f79565b5b61214b82611cc2565b9050602081019050919050565b600061216b61216684612127565b611fd9565b90508281526020810184848401111561218757612186611f74565b5b612192848285612025565b509392505050565b600082601f8301126121af576121ae611f6f565b5b81356121bf848260208601612158565b91505092915050565b600080604083850312156121df576121de611bb7565b5b60006121ed85828601611e04565b925050602083013567ffffffffffffffff81111561220e5761220d611bbc565b5b61221a8582860161219a565b9150509250929050565b6000806040838503121561223b5761223a611bb7565b5b600061224985828601611e04565b925050602061225a85828601611e04565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b600060028204905060018216806122ab57607f821691505b6020821081036122be576122bd612264565b5b50919050565b7f4552433732313a20617070726f76616c20746f2063757272656e74206f776e6560008201527f7200000000000000000000000000000000000000000000000000000000000000602082015250565b6000612320602183611c87565b915061232b826122c4565b604082019050919050565b6000602082019050818103600083015261234f81612313565b9050919050565b7f4552433732313a20617070726f76652063616c6c6572206973206e6f7420746f60008201527f6b656e206f776e6572206f7220617070726f76656420666f7220616c6c000000602082015250565b60006123b2603d83611c87565b91506123bd82612356565b604082019050919050565b600060208201905081810360008301526123e1816123a5565b9050919050565b7f4552433732313a2063616c6c6572206973206e6f7420746f6b656e206f776e6560008201527f72206f7220617070726f76656400000000000000000000000000000000000000602082015250565b6000612444602d83611c87565b915061244f826123e8565b604082019050919050565b6000602082019050818103600083015261247381612437565b9050919050565b7f4552433732313a20696e76616c696420746f6b656e2049440000000000000000600082015250565b60006124b0601883611c87565b91506124bb8261247a565b602082019050919050565b600060208201905081810360008301526124df816124a3565b9050919050565b7f4552433732313a2061646472657373207a65726f206973206e6f74206120766160008201527f6c6964206f776e65720000000000000000000000000000000000000000000000602082015250565b6000612542602983611c87565b915061254d826124e6565b604082019050919050565b6000602082019050818103600083015261257181612535565b9050919050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b60006125d4602683611c87565b91506125df82612578565b604082019050919050565b60006020820190508181036000830152612603816125c7565b9050919050565b7f4552433732313a207472616e736665722066726f6d20696e636f72726563742060008201527f6f776e6572000000000000000000000000000000000000000000000000000000602082015250565b6000612666602583611c87565b91506126718261260a565b604082019050919050565b6000602082019050818103600083015261269581612659565b9050919050565b7f4552433732313a207472616e7366657220746f20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b60006126f8602483611c87565b91506127038261269c565b604082019050919050565b60006020820190508181036000830152612727816126eb565b9050919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b6000612764602083611c87565b915061276f8261272e565b602082019050919050565b6000602082019050818103600083015261279381612757565b9050919050565b7f4552433732313a20617070726f766520746f2063616c6c657200000000000000600082015250565b60006127d0601983611c87565b91506127db8261279a565b602082019050919050565b600060208201905081810360008301526127ff816127c3565b9050919050565b7f4552433732313a207472616e7366657220746f206e6f6e20455243373231526560008201527f63656976657220696d706c656d656e7465720000000000000000000000000000602082015250565b6000612862603283611c87565b915061286d82612806565b604082019050919050565b6000602082019050818103600083015261289181612855565b9050919050565b600081905092915050565b60006128ae82611c7c565b6128b88185612898565b93506128c8818560208601611c98565b80840191505092915050565b60006128e082856128a3565b91506128ec82846128a3565b91508190509392505050565b7f45524337323155524953746f726167653a2055524920736574206f66206e6f6e60008201527f6578697374656e7420746f6b656e000000000000000000000000000000000000602082015250565b6000612954602e83611c87565b915061295f826128f8565b604082019050919050565b6000602082019050818103600083015261298381612947565b9050919050565b60008190508160005260206000209050919050565b60006020601f8301049050919050565b600082821b905092915050565b6000600883026129ec7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff826129af565b6129f686836129af565b95508019841693508086168417925050509392505050565b6000819050919050565b6000612a33612a2e612a2984611d2e565b612a0e565b611d2e565b9050919050565b6000819050919050565b612a4d83612a18565b612a61612a5982612a3a565b8484546129bc565b825550505050565b600090565b612a76612a69565b612a81818484612a44565b505050565b5b81811015612aa557612a9a600082612a6e565b600181019050612a87565b5050565b601f821115612aea57612abb8161298a565b612ac48461299f565b81016020851015612ad3578190505b612ae7612adf8561299f565b830182612a86565b50505b505050565b600082821c905092915050565b6000612b0d60001984600802612aef565b1980831691505092915050565b6000612b268383612afc565b9150826002028217905092915050565b612b3f82611c7c565b67ffffffffffffffff811115612b5857612b57611f79565b5b612b628254612293565b612b6d828285612aa9565b600060209050601f831160018114612ba05760008415612b8e578287015190505b612b988582612b1a565b865550612c00565b601f198416612bae8661298a565b60005b82811015612bd657848901518255600182019150602085019450602081019050612bb1565b86831015612bf35784890151612bef601f891682612afc565b8355505b6001600288020188555050505b505050505050565b600081519050919050565b600082825260208201905092915050565b6000612c2f82612c08565b612c398185612c13565b9350612c49818560208601611c98565b612c5281611cc2565b840191505092915050565b6000608082019050612c726000830187611dc3565b612c7f6020830186611dc3565b612c8c6040830185611ed9565b8181036060830152612c9e8184612c24565b905095945050505050565b600081519050612cb881611bed565b92915050565b600060208284031215612cd457612cd3611bb7565b5b6000612ce284828501612ca9565b91505092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b7f4552433732313a206d696e7420746f20746865207a65726f2061646472657373600082015250565b6000612d50602083611c87565b9150612d5b82612d1a565b602082019050919050565b60006020820190508181036000830152612d7f81612d43565b9050919050565b7f4552433732313a20746f6b656e20616c7265616479206d696e74656400000000600082015250565b6000612dbc601c83611c87565b9150612dc782612d86565b602082019050919050565b60006020820190508181036000830152612deb81612daf565b905091905056fea2646970667358221220abfa37babb6316d94648bc63f98b9ec43f3d14fbe665756aab66f404f9f6319264736f6c63430008130033

58348:841:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;40114:305;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;41042:100;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;42554:171;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;42072:416;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;43254:335;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;43660:185;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;40752:223;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;40483:207;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;19503:103;;;:::i;:::-;;18855:87;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;41211:104;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;42797:155;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;43916:322;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;58990:196;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;58553:236;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;43023:164;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;19761:201;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;40114:305;40216:4;40268:25;40253:40;;;:11;:40;;;;:105;;;;40325:33;40310:48;;;:11;:48;;;;40253:105;:158;;;;40375:36;40399:11;40375:23;:36::i;:::-;40253:158;40233:178;;40114:305;;;:::o;41042:100::-;41096:13;41129:5;41122:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;41042:100;:::o;42554:171::-;42630:7;42650:23;42665:7;42650:14;:23::i;:::-;42693:15;:24;42709:7;42693:24;;;;;;;;;;;;;;;;;;;;;42686:31;;42554:171;;;:::o;42072:416::-;42153:13;42169:23;42184:7;42169:14;:23::i;:::-;42153:39;;42217:5;42211:11;;:2;:11;;;42203:57;;;;;;;;;;;;:::i;:::-;;;;;;;;;42311:5;42295:21;;:12;:10;:12::i;:::-;:21;;;:62;;;;42320:37;42337:5;42344:12;:10;:12::i;:::-;42320:16;:37::i;:::-;42295:62;42273:173;;;;;;;;;;;;:::i;:::-;;;;;;;;;42459:21;42468:2;42472:7;42459:8;:21::i;:::-;42142:346;42072:416;;:::o;43254:335::-;43449:41;43468:12;:10;:12::i;:::-;43482:7;43449:18;:41::i;:::-;43441:99;;;;;;;;;;;;:::i;:::-;;;;;;;;;43553:28;43563:4;43569:2;43573:7;43553:9;:28::i;:::-;43254:335;;;:::o;43660:185::-;43798:39;43815:4;43821:2;43825:7;43798:39;;;;;;;;;;;;:16;:39::i;:::-;43660:185;;;:::o;40752:223::-;40824:7;40844:13;40860:17;40869:7;40860:8;:17::i;:::-;40844:33;;40913:1;40896:19;;:5;:19;;;40888:56;;;;;;;;;;;;:::i;:::-;;;;;;;;;40962:5;40955:12;;;40752:223;;;:::o;40483:207::-;40555:7;40600:1;40583:19;;:5;:19;;;40575:73;;;;;;;;;;;;:::i;:::-;;;;;;;;;40666:9;:16;40676:5;40666:16;;;;;;;;;;;;;;;;40659:23;;40483:207;;;:::o;19503:103::-;18741:13;:11;:13::i;:::-;19568:30:::1;19595:1;19568:18;:30::i;:::-;19503:103::o:0;18855:87::-;18901:7;18928:6;;;;;;;;;;;18921:13;;18855:87;:::o;41211:104::-;41267:13;41300:7;41293:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;41211:104;:::o;42797:155::-;42892:52;42911:12;:10;:12::i;:::-;42925:8;42935;42892:18;:52::i;:::-;42797:155;;:::o;43916:322::-;44090:41;44109:12;:10;:12::i;:::-;44123:7;44090:18;:41::i;:::-;44082:99;;;;;;;;;;;;:::i;:::-;;;;;;;;;44192:38;44206:4;44212:2;44216:7;44225:4;44192:13;:38::i;:::-;43916:322;;;;:::o;58990:196::-;59117:13;59155:23;59170:7;59155:14;:23::i;:::-;59148:30;;58990:196;;;:::o;58553:236::-;18741:13;:11;:13::i;:::-;58630:15:::1;58648:25;:15;:23;:25::i;:::-;58630:43;;58684:27;:15;:25;:27::i;:::-;58722:22;58732:2;58736:7;58722:9;:22::i;:::-;58755:26;58768:7;58777:3;58755:12;:26::i;:::-;58619:170;58553:236:::0;;:::o;43023:164::-;43120:4;43144:18;:25;43163:5;43144:25;;;;;;;;;;;;;;;:35;43170:8;43144:35;;;;;;;;;;;;;;;;;;;;;;;;;43137:42;;43023:164;;;;:::o;19761:201::-;18741:13;:11;:13::i;:::-;19870:1:::1;19850:22;;:8;:22;;::::0;19842:73:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;19926:28;19945:8;19926:18;:28::i;:::-;19761:201:::0;:::o;32608:157::-;32693:4;32732:25;32717:40;;;:11;:40;;;;32710:47;;32608:157;;;:::o;52373:135::-;52455:16;52463:7;52455;:16::i;:::-;52447:53;;;;;;;;;;;;:::i;:::-;;;;;;;;;52373:135;:::o;17400:98::-;17453:7;17480:10;17473:17;;17400:98;:::o;51652:174::-;51754:2;51727:15;:24;51743:7;51727:24;;;;;;;;;;;;:29;;;;;;;;;;;;;;;;;;51810:7;51806:2;51772:46;;51781:23;51796:7;51781:14;:23::i;:::-;51772:46;;;;;;;;;;;;51652:174;;:::o;46271:264::-;46364:4;46381:13;46397:23;46412:7;46397:14;:23::i;:::-;46381:39;;46450:5;46439:16;;:7;:16;;;:52;;;;46459:32;46476:5;46483:7;46459:16;:32::i;:::-;46439:52;:87;;;;46519:7;46495:31;;:20;46507:7;46495:11;:20::i;:::-;:31;;;46439:87;46431:96;;;46271:264;;;;:::o;50270:1263::-;50429:4;50402:31;;:23;50417:7;50402:14;:23::i;:::-;:31;;;50394:81;;;;;;;;;;;;:::i;:::-;;;;;;;;;50508:1;50494:16;;:2;:16;;;50486:65;;;;;;;;;;;;:::i;:::-;;;;;;;;;50564:42;50585:4;50591:2;50595:7;50604:1;50564:20;:42::i;:::-;50736:4;50709:31;;:23;50724:7;50709:14;:23::i;:::-;:31;;;50701:81;;;;;;;;;;;;:::i;:::-;;;;;;;;;50854:15;:24;50870:7;50854:24;;;;;;;;;;;;50847:31;;;;;;;;;;;51349:1;51330:9;:15;51340:4;51330:15;;;;;;;;;;;;;;;;:20;;;;;;;;;;;51382:1;51365:9;:13;51375:2;51365:13;;;;;;;;;;;;;;;;:18;;;;;;;;;;;51424:2;51405:7;:16;51413:7;51405:16;;;;;;;;;;;;:21;;;;;;;;;;;;;;;;;;51463:7;51459:2;51444:27;;51453:4;51444:27;;;;;;;;;;;;51484:41;51504:4;51510:2;51514:7;51523:1;51484:19;:41::i;:::-;50270:1263;;;:::o;45546:117::-;45612:7;45639;:16;45647:7;45639:16;;;;;;;;;;;;;;;;;;;;;45632:23;;45546:117;;;:::o;19020:132::-;19095:12;:10;:12::i;:::-;19084:23;;:7;:5;:7::i;:::-;:23;;;19076:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;19020:132::o;20122:191::-;20196:16;20215:6;;;;;;;;;;;20196:25;;20241:8;20232:6;;:17;;;;;;;;;;;;;;;;;;20296:8;20265:40;;20286:8;20265:40;;;;;;;;;;;;20185:128;20122:191;:::o;51969:315::-;52124:8;52115:17;;:5;:17;;;52107:55;;;;;;;;;;;;:::i;:::-;;;;;;;;;52211:8;52173:18;:25;52192:5;52173:25;;;;;;;;;;;;;;;:35;52199:8;52173:35;;;;;;;;;;;;;;;;:46;;;;;;;;;;;;;;;;;;52257:8;52235:41;;52250:5;52235:41;;;52267:8;52235:41;;;;;;:::i;:::-;;;;;;;;51969:315;;;:::o;45119:313::-;45275:28;45285:4;45291:2;45295:7;45275:9;:28::i;:::-;45322:47;45345:4;45351:2;45355:7;45364:4;45322:22;:47::i;:::-;45314:110;;;;;;;;;;;;:::i;:::-;;;;;;;;;45119:313;;;;:::o;56841:624::-;56914:13;56940:23;56955:7;56940:14;:23::i;:::-;56976;57002:10;:19;57013:7;57002:19;;;;;;;;;;;56976:45;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;57032:18;57053:10;:8;:10::i;:::-;57032:31;;57161:1;57145:4;57139:18;:23;57135:72;;57186:9;57179:16;;;;;;57135:72;57337:1;57317:9;57311:23;:27;57307:108;;;57386:4;57392:9;57369:33;;;;;;;;;:::i;:::-;;;;;;;;;;;;;57355:48;;;;;;57307:108;57434:23;57449:7;57434:14;:23::i;:::-;57427:30;;;;56841:624;;;;:::o;911:114::-;976:7;1003;:14;;;996:21;;911:114;;;:::o;1033:127::-;1140:1;1122:7;:14;;;:19;;;;;;;;;;;1033:127;:::o;46877:110::-;46953:26;46963:2;46967:7;46953:26;;;;;;;;;;;;:9;:26::i;:::-;46877:110;;:::o;57621:217::-;57721:16;57729:7;57721;:16::i;:::-;57713:75;;;;;;;;;;;;:::i;:::-;;;;;;;;;57821:9;57799:10;:19;57810:7;57799:19;;;;;;;;;;;:31;;;;;;:::i;:::-;;57621:217;;:::o;45976:128::-;46041:4;46094:1;46065:31;;:17;46074:7;46065:8;:17::i;:::-;:31;;;;46058:38;;45976:128;;;:::o;54657:159::-;;;;;:::o;55538:158::-;;;;;:::o;53072:853::-;53226:4;53247:15;:2;:13;;;:15::i;:::-;53243:675;;;53299:2;53283:36;;;53320:12;:10;:12::i;:::-;53334:4;53340:7;53349:4;53283:71;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;53279:584;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;53541:1;53524:6;:13;:18;53520:328;;53567:60;;;;;;;;;;:::i;:::-;;;;;;;;53520:328;53798:6;53792:13;53783:6;53779:2;53775:15;53768:38;53279:584;53415:41;;;53405:51;;;:6;:51;;;;53398:58;;;;;53243:675;53902:4;53895:11;;53072:853;;;;;;;:::o;41916:94::-;41967:13;41993:9;;;;;;;;;;;;;;41916:94;:::o;41386:281::-;41459:13;41485:23;41500:7;41485:14;:23::i;:::-;41521:21;41545:10;:8;:10::i;:::-;41521:34;;41597:1;41579:7;41573:21;:25;:86;;;;;;;;;;;;;;;;;41625:7;41634:18;:7;:16;:18::i;:::-;41608:45;;;;;;;;;:::i;:::-;;;;;;;;;;;;;41573:86;41566:93;;;41386:281;;;:::o;47214:319::-;47343:18;47349:2;47353:7;47343:5;:18::i;:::-;47394:53;47425:1;47429:2;47433:7;47442:4;47394:22;:53::i;:::-;47372:153;;;;;;;;;;;;:::i;:::-;;;;;;;;;47214:319;;;:::o;21559:326::-;21619:4;21876:1;21854:7;:19;;;:23;21847:30;;21559:326;;;:::o;14821:716::-;14877:13;14928:14;14965:1;14945:17;14956:5;14945:10;:17::i;:::-;:21;14928:38;;14981:20;15015:6;15004:18;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14981:41;;15037:11;15166:6;15162:2;15158:15;15150:6;15146:28;15139:35;;15203:288;15210:4;15203:288;;;15235:5;;;;;;;;15377:8;15372:2;15365:5;15361:14;15356:30;15351:3;15343:44;15433:2;15424:11;;;;;;:::i;:::-;;;;;15467:1;15458:5;:10;15203:288;15454:21;15203:288;15512:6;15505:13;;;;;14821:716;;;:::o;47869:942::-;47963:1;47949:16;;:2;:16;;;47941:61;;;;;;;;;;;;:::i;:::-;;;;;;;;;48022:16;48030:7;48022;:16::i;:::-;48021:17;48013:58;;;;;;;;;;;;:::i;:::-;;;;;;;;;48084:48;48113:1;48117:2;48121:7;48130:1;48084:20;:48::i;:::-;48231:16;48239:7;48231;:16::i;:::-;48230:17;48222:58;;;;;;;;;;;;:::i;:::-;;;;;;;;;48646:1;48629:9;:13;48639:2;48629:13;;;;;;;;;;;;;;;;:18;;;;;;;;;;;48690:2;48671:7;:16;48679:7;48671:16;;;;;;;;;;;;:21;;;;;;;;;;;;;;;;;;48735:7;48731:2;48710:33;;48727:1;48710:33;;;;;;;;;;;;48756:47;48784:1;48788:2;48792:7;48801:1;48756:19;:47::i;:::-;47869:942;;:::o;11681:922::-;11734:7;11754:14;11771:1;11754:18;;11821:6;11812:5;:15;11808:102;;11857:6;11848:15;;;;;;:::i;:::-;;;;;11892:2;11882:12;;;;11808:102;11937:6;11928:5;:15;11924:102;;11973:6;11964:15;;;;;;:::i;:::-;;;;;12008:2;11998:12;;;;11924:102;12053:6;12044:5;:15;12040:102;;12089:6;12080:15;;;;;;:::i;:::-;;;;;12124:2;12114:12;;;;12040:102;12169:5;12160;:14;12156:99;;12204:5;12195:14;;;;;;:::i;:::-;;;;;12238:1;12228:11;;;;12156:99;12282:5;12273;:14;12269:99;;12317:5;12308:14;;;;;;:::i;:::-;;;;;12351:1;12341:11;;;;12269:99;12395:5;12386;:14;12382:99;;12430:5;12421:14;;;;;;:::i;:::-;;;;;12464:1;12454:11;;;;12382:99;12508:5;12499;:14;12495:66;;12544:1;12534:11;;;;12495:66;12589:6;12582:13;;;11681:922;;;:::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:619::-;4967:6;4975;4983;5032:2;5020:9;5011:7;5007:23;5003:32;5000:119;;;5038:79;;:::i;:::-;5000:119;5158:1;5183:53;5228:7;5219:6;5208:9;5204:22;5183:53;:::i;:::-;5173:63;;5129:117;5285:2;5311:53;5356:7;5347:6;5336:9;5332:22;5311:53;:::i;:::-;5301:63;;5256:118;5413:2;5439:53;5484:7;5475:6;5464:9;5460:22;5439:53;:::i;:::-;5429:63;;5384:118;4890:619;;;;;:::o;5515:329::-;5574:6;5623:2;5611:9;5602:7;5598:23;5594:32;5591:119;;;5629:79;;:::i;:::-;5591:119;5749:1;5774:53;5819:7;5810:6;5799:9;5795:22;5774:53;:::i;:::-;5764:63;;5720:117;5515:329;;;;:::o;5850:118::-;5937:24;5955:5;5937:24;:::i;:::-;5932:3;5925:37;5850:118;;:::o;5974:222::-;6067:4;6105:2;6094:9;6090:18;6082:26;;6118:71;6186:1;6175:9;6171:17;6162:6;6118:71;:::i;:::-;5974:222;;;;:::o;6202:116::-;6272:21;6287:5;6272:21;:::i;:::-;6265:5;6262:32;6252:60;;6308:1;6305;6298:12;6252:60;6202:116;:::o;6324:133::-;6367:5;6405:6;6392:20;6383:29;;6421:30;6445:5;6421:30;:::i;:::-;6324:133;;;;:::o;6463:468::-;6528:6;6536;6585:2;6573:9;6564:7;6560:23;6556:32;6553:119;;;6591:79;;:::i;:::-;6553:119;6711:1;6736:53;6781:7;6772:6;6761:9;6757:22;6736:53;:::i;:::-;6726:63;;6682:117;6838:2;6864:50;6906:7;6897:6;6886:9;6882:22;6864:50;:::i;:::-;6854:60;;6809:115;6463:468;;;;;:::o;6937:117::-;7046:1;7043;7036:12;7060:117;7169:1;7166;7159:12;7183:180;7231:77;7228:1;7221:88;7328:4;7325:1;7318:15;7352:4;7349:1;7342:15;7369:281;7452:27;7474:4;7452:27;:::i;:::-;7444:6;7440:40;7582:6;7570:10;7567:22;7546:18;7534:10;7531:34;7528:62;7525:88;;;7593:18;;:::i;:::-;7525:88;7633:10;7629:2;7622:22;7412:238;7369:281;;:::o;7656:129::-;7690:6;7717:20;;:::i;:::-;7707:30;;7746:33;7774:4;7766:6;7746:33;:::i;:::-;7656:129;;;:::o;7791:307::-;7852:4;7942:18;7934:6;7931:30;7928:56;;;7964:18;;:::i;:::-;7928:56;8002:29;8024:6;8002:29;:::i;:::-;7994:37;;8086:4;8080;8076:15;8068:23;;7791:307;;;:::o;8104:146::-;8201:6;8196:3;8191;8178:30;8242:1;8233:6;8228:3;8224:16;8217:27;8104:146;;;:::o;8256:423::-;8333:5;8358:65;8374:48;8415:6;8374:48;:::i;:::-;8358:65;:::i;:::-;8349:74;;8446:6;8439:5;8432:21;8484:4;8477:5;8473:16;8522:3;8513:6;8508:3;8504:16;8501:25;8498:112;;;8529:79;;:::i;:::-;8498:112;8619:54;8666:6;8661:3;8656;8619:54;:::i;:::-;8339:340;8256:423;;;;;:::o;8698:338::-;8753:5;8802:3;8795:4;8787:6;8783:17;8779:27;8769:122;;8810:79;;:::i;:::-;8769:122;8927:6;8914:20;8952:78;9026:3;9018:6;9011:4;9003:6;8999:17;8952:78;:::i;:::-;8943:87;;8759:277;8698:338;;;;:::o;9042:943::-;9137:6;9145;9153;9161;9210:3;9198:9;9189:7;9185:23;9181:33;9178:120;;;9217:79;;:::i;:::-;9178:120;9337:1;9362:53;9407:7;9398:6;9387:9;9383:22;9362:53;:::i;:::-;9352:63;;9308:117;9464:2;9490:53;9535:7;9526:6;9515:9;9511:22;9490:53;:::i;:::-;9480:63;;9435:118;9592:2;9618:53;9663:7;9654:6;9643:9;9639:22;9618:53;:::i;:::-;9608:63;;9563:118;9748:2;9737:9;9733:18;9720:32;9779:18;9771:6;9768:30;9765:117;;;9801:79;;:::i;:::-;9765:117;9906:62;9960:7;9951:6;9940:9;9936:22;9906:62;:::i;:::-;9896:72;;9691:287;9042:943;;;;;;;:::o;9991:308::-;10053:4;10143:18;10135:6;10132:30;10129:56;;;10165:18;;:::i;:::-;10129:56;10203:29;10225:6;10203:29;:::i;:::-;10195:37;;10287:4;10281;10277:15;10269:23;;9991:308;;;:::o;10305:425::-;10383:5;10408:66;10424:49;10466:6;10424:49;:::i;:::-;10408:66;:::i;:::-;10399:75;;10497:6;10490:5;10483:21;10535:4;10528:5;10524:16;10573:3;10564:6;10559:3;10555:16;10552:25;10549:112;;;10580:79;;:::i;:::-;10549:112;10670:54;10717:6;10712:3;10707;10670:54;:::i;:::-;10389:341;10305:425;;;;;:::o;10750:340::-;10806:5;10855:3;10848:4;10840:6;10836:17;10832:27;10822:122;;10863:79;;:::i;:::-;10822:122;10980:6;10967:20;11005:79;11080:3;11072:6;11065:4;11057:6;11053:17;11005:79;:::i;:::-;10996:88;;10812:278;10750:340;;;;:::o;11096:654::-;11174:6;11182;11231:2;11219:9;11210:7;11206:23;11202:32;11199:119;;;11237:79;;:::i;:::-;11199:119;11357:1;11382:53;11427:7;11418:6;11407:9;11403:22;11382:53;:::i;:::-;11372:63;;11328:117;11512:2;11501:9;11497:18;11484:32;11543:18;11535:6;11532:30;11529:117;;;11565:79;;:::i;:::-;11529:117;11670:63;11725:7;11716:6;11705:9;11701:22;11670:63;:::i;:::-;11660:73;;11455:288;11096:654;;;;;:::o;11756:474::-;11824:6;11832;11881:2;11869:9;11860:7;11856:23;11852:32;11849:119;;;11887:79;;:::i;:::-;11849:119;12007:1;12032:53;12077:7;12068:6;12057:9;12053:22;12032:53;:::i;:::-;12022:63;;11978:117;12134:2;12160:53;12205:7;12196:6;12185:9;12181:22;12160:53;:::i;:::-;12150:63;;12105:118;11756:474;;;;;:::o;12236:180::-;12284:77;12281:1;12274:88;12381:4;12378:1;12371:15;12405:4;12402:1;12395:15;12422:320;12466:6;12503:1;12497:4;12493:12;12483:22;;12550:1;12544:4;12540:12;12571:18;12561:81;;12627:4;12619:6;12615:17;12605:27;;12561:81;12689:2;12681:6;12678:14;12658:18;12655:38;12652:84;;12708:18;;:::i;:::-;12652:84;12473:269;12422:320;;;:::o;12748:220::-;12888:34;12884:1;12876:6;12872:14;12865:58;12957:3;12952:2;12944:6;12940:15;12933:28;12748:220;:::o;12974:366::-;13116:3;13137:67;13201:2;13196:3;13137:67;:::i;:::-;13130:74;;13213:93;13302:3;13213:93;:::i;:::-;13331:2;13326:3;13322:12;13315:19;;12974:366;;;:::o;13346:419::-;13512:4;13550:2;13539:9;13535:18;13527:26;;13599:9;13593:4;13589:20;13585:1;13574:9;13570:17;13563:47;13627:131;13753:4;13627:131;:::i;:::-;13619:139;;13346:419;;;:::o;13771:248::-;13911:34;13907:1;13899:6;13895:14;13888:58;13980:31;13975:2;13967:6;13963:15;13956:56;13771:248;:::o;14025:366::-;14167:3;14188:67;14252:2;14247:3;14188:67;:::i;:::-;14181:74;;14264:93;14353:3;14264:93;:::i;:::-;14382:2;14377:3;14373:12;14366:19;;14025:366;;;:::o;14397:419::-;14563:4;14601:2;14590:9;14586:18;14578:26;;14650:9;14644:4;14640:20;14636:1;14625:9;14621:17;14614:47;14678:131;14804:4;14678:131;:::i;:::-;14670:139;;14397:419;;;:::o;14822:232::-;14962:34;14958:1;14950:6;14946:14;14939:58;15031:15;15026:2;15018:6;15014:15;15007:40;14822:232;:::o;15060:366::-;15202:3;15223:67;15287:2;15282:3;15223:67;:::i;:::-;15216:74;;15299:93;15388:3;15299:93;:::i;:::-;15417:2;15412:3;15408:12;15401:19;;15060:366;;;:::o;15432:419::-;15598:4;15636:2;15625:9;15621:18;15613:26;;15685:9;15679:4;15675:20;15671:1;15660:9;15656:17;15649:47;15713:131;15839:4;15713:131;:::i;:::-;15705:139;;15432:419;;;:::o;15857:174::-;15997:26;15993:1;15985:6;15981:14;15974:50;15857:174;:::o;16037:366::-;16179:3;16200:67;16264:2;16259:3;16200:67;:::i;:::-;16193:74;;16276:93;16365:3;16276:93;:::i;:::-;16394:2;16389:3;16385:12;16378:19;;16037:366;;;:::o;16409:419::-;16575:4;16613:2;16602:9;16598:18;16590:26;;16662:9;16656:4;16652:20;16648:1;16637:9;16633:17;16626:47;16690:131;16816:4;16690:131;:::i;:::-;16682:139;;16409:419;;;:::o;16834:228::-;16974:34;16970:1;16962:6;16958:14;16951:58;17043:11;17038:2;17030:6;17026:15;17019:36;16834:228;:::o;17068:366::-;17210:3;17231:67;17295:2;17290:3;17231:67;:::i;:::-;17224:74;;17307:93;17396:3;17307:93;:::i;:::-;17425:2;17420:3;17416:12;17409:19;;17068:366;;;:::o;17440:419::-;17606:4;17644:2;17633:9;17629:18;17621:26;;17693:9;17687:4;17683:20;17679:1;17668:9;17664:17;17657:47;17721:131;17847:4;17721:131;:::i;:::-;17713:139;;17440:419;;;:::o;17865:225::-;18005:34;18001:1;17993:6;17989:14;17982:58;18074:8;18069:2;18061:6;18057:15;18050:33;17865:225;:::o;18096:366::-;18238:3;18259:67;18323:2;18318:3;18259:67;:::i;:::-;18252:74;;18335:93;18424:3;18335:93;:::i;:::-;18453:2;18448:3;18444:12;18437:19;;18096:366;;;:::o;18468:419::-;18634:4;18672:2;18661:9;18657:18;18649:26;;18721:9;18715:4;18711:20;18707:1;18696:9;18692:17;18685:47;18749:131;18875:4;18749:131;:::i;:::-;18741:139;;18468:419;;;:::o;18893:224::-;19033:34;19029:1;19021:6;19017:14;19010:58;19102:7;19097:2;19089:6;19085:15;19078:32;18893:224;:::o;19123:366::-;19265:3;19286:67;19350:2;19345:3;19286:67;:::i;:::-;19279:74;;19362:93;19451:3;19362:93;:::i;:::-;19480:2;19475:3;19471:12;19464:19;;19123:366;;;:::o;19495:419::-;19661:4;19699:2;19688:9;19684:18;19676:26;;19748:9;19742:4;19738:20;19734:1;19723:9;19719:17;19712:47;19776:131;19902:4;19776:131;:::i;:::-;19768:139;;19495:419;;;:::o;19920:223::-;20060:34;20056:1;20048:6;20044:14;20037:58;20129:6;20124:2;20116:6;20112:15;20105:31;19920:223;:::o;20149:366::-;20291:3;20312:67;20376:2;20371:3;20312:67;:::i;:::-;20305:74;;20388:93;20477:3;20388:93;:::i;:::-;20506:2;20501:3;20497:12;20490:19;;20149:366;;;:::o;20521:419::-;20687:4;20725:2;20714:9;20710:18;20702:26;;20774:9;20768:4;20764:20;20760:1;20749:9;20745:17;20738:47;20802:131;20928:4;20802:131;:::i;:::-;20794:139;;20521:419;;;:::o;20946:182::-;21086:34;21082:1;21074:6;21070:14;21063:58;20946:182;:::o;21134:366::-;21276:3;21297:67;21361:2;21356:3;21297:67;:::i;:::-;21290:74;;21373:93;21462:3;21373:93;:::i;:::-;21491:2;21486:3;21482:12;21475:19;;21134:366;;;:::o;21506:419::-;21672:4;21710:2;21699:9;21695:18;21687:26;;21759:9;21753:4;21749:20;21745:1;21734:9;21730:17;21723:47;21787:131;21913:4;21787:131;:::i;:::-;21779:139;;21506:419;;;:::o;21931:175::-;22071:27;22067:1;22059:6;22055:14;22048:51;21931:175;:::o;22112:366::-;22254:3;22275:67;22339:2;22334:3;22275:67;:::i;:::-;22268:74;;22351:93;22440:3;22351:93;:::i;:::-;22469:2;22464:3;22460:12;22453:19;;22112:366;;;:::o;22484:419::-;22650:4;22688:2;22677:9;22673:18;22665:26;;22737:9;22731:4;22727:20;22723:1;22712:9;22708:17;22701:47;22765:131;22891:4;22765:131;:::i;:::-;22757:139;;22484:419;;;:::o;22909:237::-;23049:34;23045:1;23037:6;23033:14;23026:58;23118:20;23113:2;23105:6;23101:15;23094:45;22909:237;:::o;23152:366::-;23294:3;23315:67;23379:2;23374:3;23315:67;:::i;:::-;23308:74;;23391:93;23480:3;23391:93;:::i;:::-;23509:2;23504:3;23500:12;23493:19;;23152:366;;;:::o;23524:419::-;23690:4;23728:2;23717:9;23713:18;23705:26;;23777:9;23771:4;23767:20;23763:1;23752:9;23748:17;23741:47;23805:131;23931:4;23805:131;:::i;:::-;23797:139;;23524:419;;;:::o;23949:148::-;24051:11;24088:3;24073:18;;23949:148;;;;:::o;24103:390::-;24209:3;24237:39;24270:5;24237:39;:::i;:::-;24292:89;24374:6;24369:3;24292:89;:::i;:::-;24285:96;;24390:65;24448:6;24443:3;24436:4;24429:5;24425:16;24390:65;:::i;:::-;24480:6;24475:3;24471:16;24464:23;;24213:280;24103:390;;;;:::o;24499:435::-;24679:3;24701:95;24792:3;24783:6;24701:95;:::i;:::-;24694:102;;24813:95;24904:3;24895:6;24813:95;:::i;:::-;24806:102;;24925:3;24918:10;;24499:435;;;;;:::o;24940:233::-;25080:34;25076:1;25068:6;25064:14;25057:58;25149:16;25144:2;25136:6;25132:15;25125:41;24940:233;:::o;25179:366::-;25321:3;25342:67;25406:2;25401:3;25342:67;:::i;:::-;25335:74;;25418:93;25507:3;25418:93;:::i;:::-;25536:2;25531:3;25527:12;25520:19;;25179:366;;;:::o;25551:419::-;25717:4;25755:2;25744:9;25740:18;25732:26;;25804:9;25798:4;25794:20;25790:1;25779:9;25775:17;25768:47;25832:131;25958:4;25832:131;:::i;:::-;25824:139;;25551:419;;;:::o;25976:141::-;26025:4;26048:3;26040:11;;26071:3;26068:1;26061:14;26105:4;26102:1;26092:18;26084:26;;25976:141;;;:::o;26123:93::-;26160:6;26207:2;26202;26195:5;26191:14;26187:23;26177:33;;26123:93;;;:::o;26222:107::-;26266:8;26316:5;26310:4;26306:16;26285:37;;26222:107;;;;:::o;26335:393::-;26404:6;26454:1;26442:10;26438:18;26477:97;26507:66;26496:9;26477:97;:::i;:::-;26595:39;26625:8;26614:9;26595:39;:::i;:::-;26583:51;;26667:4;26663:9;26656:5;26652:21;26643:30;;26716:4;26706:8;26702:19;26695:5;26692:30;26682:40;;26411:317;;26335:393;;;;;:::o;26734:60::-;26762:3;26783:5;26776:12;;26734:60;;;:::o;26800:142::-;26850:9;26883:53;26901:34;26910:24;26928:5;26910:24;:::i;:::-;26901:34;:::i;:::-;26883:53;:::i;:::-;26870:66;;26800:142;;;:::o;26948:75::-;26991:3;27012:5;27005:12;;26948:75;;;:::o;27029:269::-;27139:39;27170:7;27139:39;:::i;:::-;27200:91;27249:41;27273:16;27249:41;:::i;:::-;27241:6;27234:4;27228:11;27200:91;:::i;:::-;27194:4;27187:105;27105:193;27029:269;;;:::o;27304:73::-;27349:3;27304:73;:::o;27383:189::-;27460:32;;:::i;:::-;27501:65;27559:6;27551;27545:4;27501:65;:::i;:::-;27436:136;27383:189;;:::o;27578:186::-;27638:120;27655:3;27648:5;27645:14;27638:120;;;27709:39;27746:1;27739:5;27709:39;:::i;:::-;27682:1;27675:5;27671:13;27662:22;;27638:120;;;27578:186;;:::o;27770:543::-;27871:2;27866:3;27863:11;27860:446;;;27905:38;27937:5;27905:38;:::i;:::-;27989:29;28007:10;27989:29;:::i;:::-;27979:8;27975:44;28172:2;28160:10;28157:18;28154:49;;;28193:8;28178:23;;28154:49;28216:80;28272:22;28290:3;28272:22;:::i;:::-;28262:8;28258:37;28245:11;28216:80;:::i;:::-;27875:431;;27860:446;27770:543;;;:::o;28319:117::-;28373:8;28423:5;28417:4;28413:16;28392:37;;28319:117;;;;:::o;28442:169::-;28486:6;28519:51;28567:1;28563:6;28555:5;28552:1;28548:13;28519:51;:::i;:::-;28515:56;28600:4;28594;28590:15;28580:25;;28493:118;28442:169;;;;:::o;28616:295::-;28692:4;28838:29;28863:3;28857:4;28838:29;:::i;:::-;28830:37;;28900:3;28897:1;28893:11;28887:4;28884:21;28876:29;;28616:295;;;;:::o;28916:1395::-;29033:37;29066:3;29033:37;:::i;:::-;29135:18;29127:6;29124:30;29121:56;;;29157:18;;:::i;:::-;29121:56;29201:38;29233:4;29227:11;29201:38;:::i;:::-;29286:67;29346:6;29338;29332:4;29286:67;:::i;:::-;29380:1;29404:4;29391:17;;29436:2;29428:6;29425:14;29453:1;29448:618;;;;30110:1;30127:6;30124:77;;;30176:9;30171:3;30167:19;30161:26;30152:35;;30124:77;30227:67;30287:6;30280:5;30227:67;:::i;:::-;30221:4;30214:81;30083:222;29418:887;;29448:618;29500:4;29496:9;29488:6;29484:22;29534:37;29566:4;29534:37;:::i;:::-;29593:1;29607:208;29621:7;29618:1;29615:14;29607:208;;;29700:9;29695:3;29691:19;29685:26;29677:6;29670:42;29751:1;29743:6;29739:14;29729:24;;29798:2;29787:9;29783:18;29770:31;;29644:4;29641:1;29637:12;29632:17;;29607:208;;;29843:6;29834:7;29831:19;29828:179;;;29901:9;29896:3;29892:19;29886:26;29944:48;29986:4;29978:6;29974:17;29963:9;29944:48;:::i;:::-;29936:6;29929:64;29851:156;29828:179;30053:1;30049;30041:6;30037:14;30033:22;30027:4;30020:36;29455:611;;;29418:887;;29008:1303;;;28916:1395;;:::o;30317:98::-;30368:6;30402:5;30396:12;30386:22;;30317:98;;;:::o;30421:168::-;30504:11;30538:6;30533:3;30526:19;30578:4;30573:3;30569:14;30554:29;;30421:168;;;;:::o;30595:373::-;30681:3;30709:38;30741:5;30709:38;:::i;:::-;30763:70;30826:6;30821:3;30763:70;:::i;:::-;30756:77;;30842:65;30900:6;30895:3;30888:4;30881:5;30877:16;30842:65;:::i;:::-;30932:29;30954:6;30932:29;:::i;:::-;30927:3;30923:39;30916:46;;30685:283;30595:373;;;;:::o;30974:640::-;31169:4;31207:3;31196:9;31192:19;31184:27;;31221:71;31289:1;31278:9;31274:17;31265:6;31221:71;:::i;:::-;31302:72;31370:2;31359:9;31355:18;31346:6;31302:72;:::i;:::-;31384;31452:2;31441:9;31437:18;31428:6;31384:72;:::i;:::-;31503:9;31497:4;31493:20;31488:2;31477:9;31473:18;31466:48;31531:76;31602:4;31593:6;31531:76;:::i;:::-;31523:84;;30974:640;;;;;;;:::o;31620:141::-;31676:5;31707:6;31701:13;31692:22;;31723:32;31749:5;31723:32;:::i;:::-;31620:141;;;;:::o;31767:349::-;31836:6;31885:2;31873:9;31864:7;31860:23;31856:32;31853:119;;;31891:79;;:::i;:::-;31853:119;32011:1;32036:63;32091:7;32082:6;32071:9;32067:22;32036:63;:::i;:::-;32026:73;;31982:127;31767:349;;;;:::o;32122:180::-;32170:77;32167:1;32160:88;32267:4;32264:1;32257:15;32291:4;32288:1;32281:15;32308:182;32448:34;32444:1;32436:6;32432:14;32425:58;32308:182;:::o;32496:366::-;32638:3;32659:67;32723:2;32718:3;32659:67;:::i;:::-;32652:74;;32735:93;32824:3;32735:93;:::i;:::-;32853:2;32848:3;32844:12;32837:19;;32496:366;;;:::o;32868:419::-;33034:4;33072:2;33061:9;33057:18;33049:26;;33121:9;33115:4;33111:20;33107:1;33096:9;33092:17;33085:47;33149:131;33275:4;33149:131;:::i;:::-;33141:139;;32868:419;;;:::o;33293:178::-;33433:30;33429:1;33421:6;33417:14;33410:54;33293:178;:::o;33477:366::-;33619:3;33640:67;33704:2;33699:3;33640:67;:::i;:::-;33633:74;;33716:93;33805:3;33716:93;:::i;:::-;33834:2;33829:3;33825:12;33818:19;;33477:366;;;:::o;33849:419::-;34015:4;34053:2;34042:9;34038:18;34030:26;;34102:9;34096:4;34092:20;34088:1;34077:9;34073:17;34066:47;34130:131;34256:4;34130:131;:::i;:::-;34122:139;;33849:419;;;:::o

ipfs://abfa37babb6316d94648bc63f98b9ec43f3d14fbe665756aab66f404f9f63192