Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

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 VITA is ERC721, ERC721URI ... *
•    - function _baseURI()
•    - function safeMint(uint8 uri)
•    - function _burn(uint256 tokenId)
•    - function tokenURI(uint256 tokenId)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-04-05
*/

// :..................................................................................
// :                                                                                 .
// :        :-.....:=                             .                                  .
// :        -=-.  --=                        ::  - -                                 .
// :        =.     .:-                      :::: : -                                 .
// :       -:::::... =       ..:        ..:  ::  : :........... ............:        .
// :       -:--: .:-::-      - :.       - :.:  : : ...........: -..........  -       .
// :       =--:.--.:-=:      - .:       - :.:  : : -            .:.......::- -       .
// :        -:-:.:-:-.       .:. ::. .:. :: :  : : -            - .::::::::- -       .
// :        :.=:-.=:..          ::    .:.   :  : -  ..........- -. ........  -       .
// :         .-.-..-              ....       ..   ............   ............        .
// :        -:..-...-:                                                               .
// :        :...:.....                                                               .
// :                                                                                 .
// ..................................................................................



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/contracts/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/contracts/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/contracts/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/contracts/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/contracts/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/contracts/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/contracts/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/contracts/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/contracts/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/contracts/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/contracts/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/contracts/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: contracts/VITA.sol

// :..................................................................................
// :                                                                                 .
// :        :-.....:=                             .                                  .
// :        -=-.  --=                        ::  - -                                 .
// :        =.     .:-                      :::: : -                                 .
// :       -:::::... =       ..:        ..:  ::  : :........... ............:        .
// :       -:--: .:-::-      - :.       - :.:  : : ...........: -..........  -       .
// :       =--:.--.:-=:      - .:       - :.:  : : -            .:.......::- -       .
// :        -:-:.:-:-.       .:. ::. .:. :: :  : : -            - .::::::::- -       .
// :        :.=:-.=:..          ::    .:.   :  : -  ..........- -. ........  -       .
// :         .-.-..-              ....       ..   ............   ............        .
// :        -:..-...-:                                                               .
// :        :...:.....                                                               .
// :                                                                                 .
// ..................................................................................

pragma solidity ^ 0.8 .9;






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

  Counters.Counter private _tokenIdCounter;

  constructor() ERC721("VITA project", "VITA") {}

  function _baseURI() internal pure override returns(string memory) {
    return "ipfs://Qmdg6S7B728Pru6xHSft1aHfjAdHertCuDg5BjoSLeCo4N/";
  }


  function safeMint(uint8 uri) public {
    require(uri >= 1 && uri <= 14, "Number must be between 1 and 14");
    uint256 tokenId = _tokenIdCounter.current();
    _tokenIdCounter.increment();
    string memory uriString = string(abi.encodePacked(Strings.toString(uri)));
    _safeMint(msg.sender, tokenId);
    _setTokenURI(tokenId, uriString);
  }

  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":"uint8","name":"uri","type":"uint8"}],"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"}]

60806040523480156200001157600080fd5b506040518060400160405280600c81526020017f564954412070726f6a65637400000000000000000000000000000000000000008152506040518060400160405280600481526020017f564954410000000000000000000000000000000000000000000000000000000081525081600090816200008f919062000412565b508060019081620000a1919062000412565b505050620000c4620000b8620000ca60201b60201c565b620000d260201b60201c565b620004f9565b600033905090565b6000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b600081519050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b600060028204905060018216806200021a57607f821691505b60208210810362000230576200022f620001d2565b5b50919050565b60008190508160005260206000209050919050565b60006020601f8301049050919050565b600082821b905092915050565b6000600883026200029a7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff826200025b565b620002a686836200025b565b95508019841693508086168417925050509392505050565b6000819050919050565b6000819050919050565b6000620002f3620002ed620002e784620002be565b620002c8565b620002be565b9050919050565b6000819050919050565b6200030f83620002d2565b620003276200031e82620002fa565b84845462000268565b825550505050565b600090565b6200033e6200032f565b6200034b81848462000304565b505050565b5b8181101562000373576200036760008262000334565b60018101905062000351565b5050565b601f821115620003c2576200038c8162000236565b62000397846200024b565b81016020851015620003a7578190505b620003bf620003b6856200024b565b83018262000350565b50505b505050565b600082821c905092915050565b6000620003e760001984600802620003c7565b1980831691505092915050565b6000620004028383620003d4565b9150826002028217905092915050565b6200041d8262000198565b67ffffffffffffffff811115620004395762000438620001a3565b5b62000445825462000201565b6200045282828562000377565b600060209050601f8311600181146200048a576000841562000475578287015190505b620004818582620003f4565b865550620004f1565b601f1984166200049a8662000236565b60005b82811015620004c4578489015182556001820191506020850194506020810190506200049d565b86831015620004e45784890151620004e0601f891682620003d4565b8355505b6001600288020188555050505b505050505050565b612ed180620005096000396000f3fe608060405234801561001057600080fd5b506004361061010b5760003560e01c8063715018a6116100a2578063b88d4fde11610071578063b88d4fde146102a4578063c87b56dd146102c0578063da863ed6146102f0578063e985e9c51461030c578063f2fde38b1461033c5761010b565b8063715018a6146102425780638da5cb5b1461024c57806395d89b411461026a578063a22cb465146102885761010b565b806323b872dd116100de57806323b872dd146101aa57806342842e0e146101c65780636352211e146101e257806370a08231146102125761010b565b806301ffc9a71461011057806306fdde0314610140578063081812fc1461015e578063095ea7b31461018e575b600080fd5b61012a60048036038101906101259190611ca0565b610358565b6040516101379190611ce8565b60405180910390f35b61014861043a565b6040516101559190611d93565b60405180910390f35b61017860048036038101906101739190611deb565b6104cc565b6040516101859190611e59565b60405180910390f35b6101a860048036038101906101a39190611ea0565b610512565b005b6101c460048036038101906101bf9190611ee0565b610629565b005b6101e060048036038101906101db9190611ee0565b610689565b005b6101fc60048036038101906101f79190611deb565b6106a9565b6040516102099190611e59565b60405180910390f35b61022c60048036038101906102279190611f33565b61072f565b6040516102399190611f6f565b60405180910390f35b61024a6107e6565b005b6102546107fa565b6040516102619190611e59565b60405180910390f35b610272610824565b60405161027f9190611d93565b60405180910390f35b6102a2600480360381019061029d9190611fb6565b6108b6565b005b6102be60048036038101906102b9919061212b565b6108cc565b005b6102da60048036038101906102d59190611deb565b61092e565b6040516102e79190611d93565b60405180910390f35b61030a600480360381019061030591906121e7565b610940565b005b61032660048036038101906103219190612214565b6109f7565b6040516103339190611ce8565b60405180910390f35b61035660048036038101906103519190611f33565b610a8b565b005b60007f80ac58cd000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916148061042357507f5b5e139f000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916145b80610433575061043282610b0e565b5b9050919050565b60606000805461044990612283565b80601f016020809104026020016040519081016040528092919081815260200182805461047590612283565b80156104c25780601f10610497576101008083540402835291602001916104c2565b820191906000526020600020905b8154815290600101906020018083116104a557829003601f168201915b5050505050905090565b60006104d782610b78565b6004600083815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b600061051d826106a9565b90508073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff160361058d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161058490612326565b60405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff166105ac610bc3565b73ffffffffffffffffffffffffffffffffffffffff1614806105db57506105da816105d5610bc3565b6109f7565b5b61061a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610611906123b8565b60405180910390fd5b6106248383610bcb565b505050565b61063a610634610bc3565b82610c84565b610679576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106709061244a565b60405180910390fd5b610684838383610d19565b505050565b6106a4838383604051806020016040528060008152506108cc565b505050565b6000806106b583611012565b9050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610726576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161071d906124b6565b60405180910390fd5b80915050919050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361079f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161079690612548565b60405180910390fd5b600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6107ee61104f565b6107f860006110cd565b565b6000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60606001805461083390612283565b80601f016020809104026020016040519081016040528092919081815260200182805461085f90612283565b80156108ac5780601f10610881576101008083540402835291602001916108ac565b820191906000526020600020905b81548152906001019060200180831161088f57829003601f168201915b5050505050905090565b6108c86108c1610bc3565b8383611193565b5050565b6108dd6108d7610bc3565b83610c84565b61091c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109139061244a565b60405180910390fd5b610928848484846112ff565b50505050565b60606109398261135b565b9050919050565b60018160ff16101580156109585750600e8160ff1611155b610997576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161098e906125b4565b60405180910390fd5b60006109a3600861146d565b90506109af600861147b565b60006109bd8360ff16611491565b6040516020016109cd9190612610565b60405160208183030381529060405290506109e8338361155f565b6109f2828261157d565b505050565b6000600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b610a9361104f565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610b02576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610af990612699565b60405180910390fd5b610b0b816110cd565b50565b60007f01ffc9a7000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916149050919050565b610b81816115ea565b610bc0576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bb7906124b6565b60405180910390fd5b50565b600033905090565b816004600083815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550808273ffffffffffffffffffffffffffffffffffffffff16610c3e836106a9565b73ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92560405160405180910390a45050565b600080610c90836106a9565b90508073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff161480610cd25750610cd181856109f7565b5b80610d1057508373ffffffffffffffffffffffffffffffffffffffff16610cf8846104cc565b73ffffffffffffffffffffffffffffffffffffffff16145b91505092915050565b8273ffffffffffffffffffffffffffffffffffffffff16610d39826106a9565b73ffffffffffffffffffffffffffffffffffffffff1614610d8f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d869061272b565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610dfe576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610df5906127bd565b60405180910390fd5b610e0b838383600161162b565b8273ffffffffffffffffffffffffffffffffffffffff16610e2b826106a9565b73ffffffffffffffffffffffffffffffffffffffff1614610e81576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e789061272b565b60405180910390fd5b6004600082815260200190815260200160002060006101000a81549073ffffffffffffffffffffffffffffffffffffffff02191690556001600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825403925050819055506001600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282540192505081905550816002600083815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550808273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a461100d8383836001611631565b505050565b60006002600083815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b611057610bc3565b73ffffffffffffffffffffffffffffffffffffffff166110756107fa565b73ffffffffffffffffffffffffffffffffffffffff16146110cb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016110c290612829565b60405180910390fd5b565b6000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603611201576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016111f890612895565b60405180910390fd5b80600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31836040516112f29190611ce8565b60405180910390a3505050565b61130a848484610d19565b61131684848484611637565b611355576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161134c90612927565b60405180910390fd5b50505050565b606061136682610b78565b600060066000848152602001908152602001600020805461138690612283565b80601f01602080910402602001604051908101604052809291908181526020018280546113b290612283565b80156113ff5780601f106113d4576101008083540402835291602001916113ff565b820191906000526020600020905b8154815290600101906020018083116113e257829003601f168201915b5050505050905060006114106117be565b90506000815103611425578192505050611468565b60008251111561145a578082604051602001611442929190612947565b60405160208183030381529060405292505050611468565b611463846117de565b925050505b919050565b600081600001549050919050565b6001816000016000828254019250508190555050565b6060600060016114a084611846565b01905060008167ffffffffffffffff8111156114bf576114be612000565b5b6040519080825280601f01601f1916602001820160405280156114f15781602001600182028036833780820191505090505b509050600082602001820190505b600115611554578080600190039150507f3031323334353637383961626364656600000000000000000000000000000000600a86061a8153600a85816115485761154761296b565b5b049450600085036114ff575b819350505050919050565b611579828260405180602001604052806000815250611999565b5050565b611586826115ea565b6115c5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016115bc90612a0c565b60405180910390fd5b806006600084815260200190815260200160002090816115e59190612bd8565b505050565b60008073ffffffffffffffffffffffffffffffffffffffff1661160c83611012565b73ffffffffffffffffffffffffffffffffffffffff1614159050919050565b50505050565b50505050565b60006116588473ffffffffffffffffffffffffffffffffffffffff166119f4565b156117b1578373ffffffffffffffffffffffffffffffffffffffff1663150b7a02611681610bc3565b8786866040518563ffffffff1660e01b81526004016116a39493929190612cff565b6020604051808303816000875af19250505080156116df57506040513d601f19601f820116820180604052508101906116dc9190612d60565b60015b611761573d806000811461170f576040519150601f19603f3d011682016040523d82523d6000602084013e611714565b606091505b506000815103611759576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161175090612927565b60405180910390fd5b805181602001fd5b63150b7a0260e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916149150506117b6565b600190505b949350505050565b6060604051806060016040528060368152602001612e6660369139905090565b60606117e982610b78565b60006117f36117be565b90506000815111611813576040518060200160405280600081525061183e565b8061181d84611491565b60405160200161182e929190612947565b6040516020818303038152906040525b915050919050565b600080600090507a184f03e93ff9f4daa797ed6e38ed64bf6a1f01000000000000000083106118a4577a184f03e93ff9f4daa797ed6e38ed64bf6a1f010000000000000000838161189a5761189961296b565b5b0492506040810190505b6d04ee2d6d415b85acef810000000083106118e1576d04ee2d6d415b85acef810000000083816118d7576118d661296b565b5b0492506020810190505b662386f26fc10000831061191057662386f26fc1000083816119065761190561296b565b5b0492506010810190505b6305f5e1008310611939576305f5e100838161192f5761192e61296b565b5b0492506008810190505b612710831061195e5761271083816119545761195361296b565b5b0492506004810190505b6064831061198157606483816119775761197661296b565b5b0492506002810190505b600a8310611990576001810190505b80915050919050565b6119a38383611a17565b6119b06000848484611637565b6119ef576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016119e690612927565b60405180910390fd5b505050565b6000808273ffffffffffffffffffffffffffffffffffffffff163b119050919050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603611a86576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611a7d90612dd9565b60405180910390fd5b611a8f816115ea565b15611acf576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611ac690612e45565b60405180910390fd5b611add60008383600161162b565b611ae6816115ea565b15611b26576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611b1d90612e45565b60405180910390fd5b6001600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282540192505081905550816002600083815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550808273ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a4611c30600083836001611631565b5050565b6000604051905090565b600080fd5b600080fd5b60007fffffffff0000000000000000000000000000000000000000000000000000000082169050919050565b611c7d81611c48565b8114611c8857600080fd5b50565b600081359050611c9a81611c74565b92915050565b600060208284031215611cb657611cb5611c3e565b5b6000611cc484828501611c8b565b91505092915050565b60008115159050919050565b611ce281611ccd565b82525050565b6000602082019050611cfd6000830184611cd9565b92915050565b600081519050919050565b600082825260208201905092915050565b60005b83811015611d3d578082015181840152602081019050611d22565b60008484015250505050565b6000601f19601f8301169050919050565b6000611d6582611d03565b611d6f8185611d0e565b9350611d7f818560208601611d1f565b611d8881611d49565b840191505092915050565b60006020820190508181036000830152611dad8184611d5a565b905092915050565b6000819050919050565b611dc881611db5565b8114611dd357600080fd5b50565b600081359050611de581611dbf565b92915050565b600060208284031215611e0157611e00611c3e565b5b6000611e0f84828501611dd6565b91505092915050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000611e4382611e18565b9050919050565b611e5381611e38565b82525050565b6000602082019050611e6e6000830184611e4a565b92915050565b611e7d81611e38565b8114611e8857600080fd5b50565b600081359050611e9a81611e74565b92915050565b60008060408385031215611eb757611eb6611c3e565b5b6000611ec585828601611e8b565b9250506020611ed685828601611dd6565b9150509250929050565b600080600060608486031215611ef957611ef8611c3e565b5b6000611f0786828701611e8b565b9350506020611f1886828701611e8b565b9250506040611f2986828701611dd6565b9150509250925092565b600060208284031215611f4957611f48611c3e565b5b6000611f5784828501611e8b565b91505092915050565b611f6981611db5565b82525050565b6000602082019050611f846000830184611f60565b92915050565b611f9381611ccd565b8114611f9e57600080fd5b50565b600081359050611fb081611f8a565b92915050565b60008060408385031215611fcd57611fcc611c3e565b5b6000611fdb85828601611e8b565b9250506020611fec85828601611fa1565b9150509250929050565b600080fd5b600080fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b61203882611d49565b810181811067ffffffffffffffff8211171561205757612056612000565b5b80604052505050565b600061206a611c34565b9050612076828261202f565b919050565b600067ffffffffffffffff82111561209657612095612000565b5b61209f82611d49565b9050602081019050919050565b82818337600083830152505050565b60006120ce6120c98461207b565b612060565b9050828152602081018484840111156120ea576120e9611ffb565b5b6120f58482856120ac565b509392505050565b600082601f83011261211257612111611ff6565b5b81356121228482602086016120bb565b91505092915050565b6000806000806080858703121561214557612144611c3e565b5b600061215387828801611e8b565b945050602061216487828801611e8b565b935050604061217587828801611dd6565b925050606085013567ffffffffffffffff81111561219657612195611c43565b5b6121a2878288016120fd565b91505092959194509250565b600060ff82169050919050565b6121c4816121ae565b81146121cf57600080fd5b50565b6000813590506121e1816121bb565b92915050565b6000602082840312156121fd576121fc611c3e565b5b600061220b848285016121d2565b91505092915050565b6000806040838503121561222b5761222a611c3e565b5b600061223985828601611e8b565b925050602061224a85828601611e8b565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000600282049050600182168061229b57607f821691505b6020821081036122ae576122ad612254565b5b50919050565b7f4552433732313a20617070726f76616c20746f2063757272656e74206f776e6560008201527f7200000000000000000000000000000000000000000000000000000000000000602082015250565b6000612310602183611d0e565b915061231b826122b4565b604082019050919050565b6000602082019050818103600083015261233f81612303565b9050919050565b7f4552433732313a20617070726f76652063616c6c6572206973206e6f7420746f60008201527f6b656e206f776e6572206f7220617070726f76656420666f7220616c6c000000602082015250565b60006123a2603d83611d0e565b91506123ad82612346565b604082019050919050565b600060208201905081810360008301526123d181612395565b9050919050565b7f4552433732313a2063616c6c6572206973206e6f7420746f6b656e206f776e6560008201527f72206f7220617070726f76656400000000000000000000000000000000000000602082015250565b6000612434602d83611d0e565b915061243f826123d8565b604082019050919050565b6000602082019050818103600083015261246381612427565b9050919050565b7f4552433732313a20696e76616c696420746f6b656e2049440000000000000000600082015250565b60006124a0601883611d0e565b91506124ab8261246a565b602082019050919050565b600060208201905081810360008301526124cf81612493565b9050919050565b7f4552433732313a2061646472657373207a65726f206973206e6f74206120766160008201527f6c6964206f776e65720000000000000000000000000000000000000000000000602082015250565b6000612532602983611d0e565b915061253d826124d6565b604082019050919050565b6000602082019050818103600083015261256181612525565b9050919050565b7f4e756d626572206d757374206265206265747765656e203120616e6420313400600082015250565b600061259e601f83611d0e565b91506125a982612568565b602082019050919050565b600060208201905081810360008301526125cd81612591565b9050919050565b600081905092915050565b60006125ea82611d03565b6125f481856125d4565b9350612604818560208601611d1f565b80840191505092915050565b600061261c82846125df565b915081905092915050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b6000612683602683611d0e565b915061268e82612627565b604082019050919050565b600060208201905081810360008301526126b281612676565b9050919050565b7f4552433732313a207472616e736665722066726f6d20696e636f72726563742060008201527f6f776e6572000000000000000000000000000000000000000000000000000000602082015250565b6000612715602583611d0e565b9150612720826126b9565b604082019050919050565b6000602082019050818103600083015261274481612708565b9050919050565b7f4552433732313a207472616e7366657220746f20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b60006127a7602483611d0e565b91506127b28261274b565b604082019050919050565b600060208201905081810360008301526127d68161279a565b9050919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b6000612813602083611d0e565b915061281e826127dd565b602082019050919050565b6000602082019050818103600083015261284281612806565b9050919050565b7f4552433732313a20617070726f766520746f2063616c6c657200000000000000600082015250565b600061287f601983611d0e565b915061288a82612849565b602082019050919050565b600060208201905081810360008301526128ae81612872565b9050919050565b7f4552433732313a207472616e7366657220746f206e6f6e20455243373231526560008201527f63656976657220696d706c656d656e7465720000000000000000000000000000602082015250565b6000612911603283611d0e565b915061291c826128b5565b604082019050919050565b6000602082019050818103600083015261294081612904565b9050919050565b600061295382856125df565b915061295f82846125df565b91508190509392505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b7f45524337323155524953746f726167653a2055524920736574206f66206e6f6e60008201527f6578697374656e7420746f6b656e000000000000000000000000000000000000602082015250565b60006129f6602e83611d0e565b9150612a018261299a565b604082019050919050565b60006020820190508181036000830152612a25816129e9565b9050919050565b60008190508160005260206000209050919050565b60006020601f8301049050919050565b600082821b905092915050565b600060088302612a8e7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82612a51565b612a988683612a51565b95508019841693508086168417925050509392505050565b6000819050919050565b6000612ad5612ad0612acb84611db5565b612ab0565b611db5565b9050919050565b6000819050919050565b612aef83612aba565b612b03612afb82612adc565b848454612a5e565b825550505050565b600090565b612b18612b0b565b612b23818484612ae6565b505050565b5b81811015612b4757612b3c600082612b10565b600181019050612b29565b5050565b601f821115612b8c57612b5d81612a2c565b612b6684612a41565b81016020851015612b75578190505b612b89612b8185612a41565b830182612b28565b50505b505050565b600082821c905092915050565b6000612baf60001984600802612b91565b1980831691505092915050565b6000612bc88383612b9e565b9150826002028217905092915050565b612be182611d03565b67ffffffffffffffff811115612bfa57612bf9612000565b5b612c048254612283565b612c0f828285612b4b565b600060209050601f831160018114612c425760008415612c30578287015190505b612c3a8582612bbc565b865550612ca2565b601f198416612c5086612a2c565b60005b82811015612c7857848901518255600182019150602085019450602081019050612c53565b86831015612c955784890151612c91601f891682612b9e565b8355505b6001600288020188555050505b505050505050565b600081519050919050565b600082825260208201905092915050565b6000612cd182612caa565b612cdb8185612cb5565b9350612ceb818560208601611d1f565b612cf481611d49565b840191505092915050565b6000608082019050612d146000830187611e4a565b612d216020830186611e4a565b612d2e6040830185611f60565b8181036060830152612d408184612cc6565b905095945050505050565b600081519050612d5a81611c74565b92915050565b600060208284031215612d7657612d75611c3e565b5b6000612d8484828501612d4b565b91505092915050565b7f4552433732313a206d696e7420746f20746865207a65726f2061646472657373600082015250565b6000612dc3602083611d0e565b9150612dce82612d8d565b602082019050919050565b60006020820190508181036000830152612df281612db6565b9050919050565b7f4552433732313a20746f6b656e20616c7265616479206d696e74656400000000600082015250565b6000612e2f601c83611d0e565b9150612e3a82612df9565b602082019050919050565b60006020820190508181036000830152612e5e81612e22565b905091905056fe697066733a2f2f516d646736533742373238507275367848536674316148666a4164486572744375446735426a6f534c65436f344e2fa26469706673582212208cf8852c63eeedf28cb0a5bd7b9d653d018475d154ae63608470024ddcd8772364736f6c63430008120033

0x608060405234801561001057600080fd5b506004361061010b5760003560e01c8063715018a6116100a2578063b88d4fde11610071578063b88d4fde146102a4578063c87b56dd146102c0578063da863ed6146102f0578063e985e9c51461030c578063f2fde38b1461033c5761010b565b8063715018a6146102425780638da5cb5b1461024c57806395d89b411461026a578063a22cb465146102885761010b565b806323b872dd116100de57806323b872dd146101aa57806342842e0e146101c65780636352211e146101e257806370a08231146102125761010b565b806301ffc9a71461011057806306fdde0314610140578063081812fc1461015e578063095ea7b31461018e575b600080fd5b61012a60048036038101906101259190611ca0565b610358565b6040516101379190611ce8565b60405180910390f35b61014861043a565b6040516101559190611d93565b60405180910390f35b61017860048036038101906101739190611deb565b6104cc565b6040516101859190611e59565b60405180910390f35b6101a860048036038101906101a39190611ea0565b610512565b005b6101c460048036038101906101bf9190611ee0565b610629565b005b6101e060048036038101906101db9190611ee0565b610689565b005b6101fc60048036038101906101f79190611deb565b6106a9565b6040516102099190611e59565b60405180910390f35b61022c60048036038101906102279190611f33565b61072f565b6040516102399190611f6f565b60405180910390f35b61024a6107e6565b005b6102546107fa565b6040516102619190611e59565b60405180910390f35b610272610824565b60405161027f9190611d93565b60405180910390f35b6102a2600480360381019061029d9190611fb6565b6108b6565b005b6102be60048036038101906102b9919061212b565b6108cc565b005b6102da60048036038101906102d59190611deb565b61092e565b6040516102e79190611d93565b60405180910390f35b61030a600480360381019061030591906121e7565b610940565b005b61032660048036038101906103219190612214565b6109f7565b6040516103339190611ce8565b60405180910390f35b61035660048036038101906103519190611f33565b610a8b565b005b60007f80ac58cd000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916148061042357507f5b5e139f000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916145b80610433575061043282610b0e565b5b9050919050565b60606000805461044990612283565b80601f016020809104026020016040519081016040528092919081815260200182805461047590612283565b80156104c25780601f10610497576101008083540402835291602001916104c2565b820191906000526020600020905b8154815290600101906020018083116104a557829003601f168201915b5050505050905090565b60006104d782610b78565b6004600083815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b600061051d826106a9565b90508073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff160361058d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161058490612326565b60405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff166105ac610bc3565b73ffffffffffffffffffffffffffffffffffffffff1614806105db57506105da816105d5610bc3565b6109f7565b5b61061a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610611906123b8565b60405180910390fd5b6106248383610bcb565b505050565b61063a610634610bc3565b82610c84565b610679576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106709061244a565b60405180910390fd5b610684838383610d19565b505050565b6106a4838383604051806020016040528060008152506108cc565b505050565b6000806106b583611012565b9050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610726576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161071d906124b6565b60405180910390fd5b80915050919050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361079f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161079690612548565b60405180910390fd5b600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6107ee61104f565b6107f860006110cd565b565b6000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60606001805461083390612283565b80601f016020809104026020016040519081016040528092919081815260200182805461085f90612283565b80156108ac5780601f10610881576101008083540402835291602001916108ac565b820191906000526020600020905b81548152906001019060200180831161088f57829003601f168201915b5050505050905090565b6108c86108c1610bc3565b8383611193565b5050565b6108dd6108d7610bc3565b83610c84565b61091c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109139061244a565b60405180910390fd5b610928848484846112ff565b50505050565b60606109398261135b565b9050919050565b60018160ff16101580156109585750600e8160ff1611155b610997576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161098e906125b4565b60405180910390fd5b60006109a3600861146d565b90506109af600861147b565b60006109bd8360ff16611491565b6040516020016109cd9190612610565b60405160208183030381529060405290506109e8338361155f565b6109f2828261157d565b505050565b6000600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b610a9361104f565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610b02576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610af990612699565b60405180910390fd5b610b0b816110cd565b50565b60007f01ffc9a7000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916149050919050565b610b81816115ea565b610bc0576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bb7906124b6565b60405180910390fd5b50565b600033905090565b816004600083815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550808273ffffffffffffffffffffffffffffffffffffffff16610c3e836106a9565b73ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92560405160405180910390a45050565b600080610c90836106a9565b90508073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff161480610cd25750610cd181856109f7565b5b80610d1057508373ffffffffffffffffffffffffffffffffffffffff16610cf8846104cc565b73ffffffffffffffffffffffffffffffffffffffff16145b91505092915050565b8273ffffffffffffffffffffffffffffffffffffffff16610d39826106a9565b73ffffffffffffffffffffffffffffffffffffffff1614610d8f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d869061272b565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610dfe576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610df5906127bd565b60405180910390fd5b610e0b838383600161162b565b8273ffffffffffffffffffffffffffffffffffffffff16610e2b826106a9565b73ffffffffffffffffffffffffffffffffffffffff1614610e81576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e789061272b565b60405180910390fd5b6004600082815260200190815260200160002060006101000a81549073ffffffffffffffffffffffffffffffffffffffff02191690556001600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825403925050819055506001600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282540192505081905550816002600083815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550808273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a461100d8383836001611631565b505050565b60006002600083815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b611057610bc3565b73ffffffffffffffffffffffffffffffffffffffff166110756107fa565b73ffffffffffffffffffffffffffffffffffffffff16146110cb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016110c290612829565b60405180910390fd5b565b6000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603611201576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016111f890612895565b60405180910390fd5b80600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31836040516112f29190611ce8565b60405180910390a3505050565b61130a848484610d19565b61131684848484611637565b611355576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161134c90612927565b60405180910390fd5b50505050565b606061136682610b78565b600060066000848152602001908152602001600020805461138690612283565b80601f01602080910402602001604051908101604052809291908181526020018280546113b290612283565b80156113ff5780601f106113d4576101008083540402835291602001916113ff565b820191906000526020600020905b8154815290600101906020018083116113e257829003601f168201915b5050505050905060006114106117be565b90506000815103611425578192505050611468565b60008251111561145a578082604051602001611442929190612947565b60405160208183030381529060405292505050611468565b611463846117de565b925050505b919050565b600081600001549050919050565b6001816000016000828254019250508190555050565b6060600060016114a084611846565b01905060008167ffffffffffffffff8111156114bf576114be612000565b5b6040519080825280601f01601f1916602001820160405280156114f15781602001600182028036833780820191505090505b509050600082602001820190505b600115611554578080600190039150507f3031323334353637383961626364656600000000000000000000000000000000600a86061a8153600a85816115485761154761296b565b5b049450600085036114ff575b819350505050919050565b611579828260405180602001604052806000815250611999565b5050565b611586826115ea565b6115c5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016115bc90612a0c565b60405180910390fd5b806006600084815260200190815260200160002090816115e59190612bd8565b505050565b60008073ffffffffffffffffffffffffffffffffffffffff1661160c83611012565b73ffffffffffffffffffffffffffffffffffffffff1614159050919050565b50505050565b50505050565b60006116588473ffffffffffffffffffffffffffffffffffffffff166119f4565b156117b1578373ffffffffffffffffffffffffffffffffffffffff1663150b7a02611681610bc3565b8786866040518563ffffffff1660e01b81526004016116a39493929190612cff565b6020604051808303816000875af19250505080156116df57506040513d601f19601f820116820180604052508101906116dc9190612d60565b60015b611761573d806000811461170f576040519150601f19603f3d011682016040523d82523d6000602084013e611714565b606091505b506000815103611759576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161175090612927565b60405180910390fd5b805181602001fd5b63150b7a0260e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916149150506117b6565b600190505b949350505050565b6060604051806060016040528060368152602001612e6660369139905090565b60606117e982610b78565b60006117f36117be565b90506000815111611813576040518060200160405280600081525061183e565b8061181d84611491565b60405160200161182e929190612947565b6040516020818303038152906040525b915050919050565b600080600090507a184f03e93ff9f4daa797ed6e38ed64bf6a1f01000000000000000083106118a4577a184f03e93ff9f4daa797ed6e38ed64bf6a1f010000000000000000838161189a5761189961296b565b5b0492506040810190505b6d04ee2d6d415b85acef810000000083106118e1576d04ee2d6d415b85acef810000000083816118d7576118d661296b565b5b0492506020810190505b662386f26fc10000831061191057662386f26fc1000083816119065761190561296b565b5b0492506010810190505b6305f5e1008310611939576305f5e100838161192f5761192e61296b565b5b0492506008810190505b612710831061195e5761271083816119545761195361296b565b5b0492506004810190505b6064831061198157606483816119775761197661296b565b5b0492506002810190505b600a8310611990576001810190505b80915050919050565b6119a38383611a17565b6119b06000848484611637565b6119ef576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016119e690612927565b60405180910390fd5b505050565b6000808273ffffffffffffffffffffffffffffffffffffffff163b119050919050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603611a86576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611a7d90612dd9565b60405180910390fd5b611a8f816115ea565b15611acf576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611ac690612e45565b60405180910390fd5b611add60008383600161162b565b611ae6816115ea565b15611b26576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611b1d90612e45565b60405180910390fd5b6001600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282540192505081905550816002600083815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550808273ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a4611c30600083836001611631565b5050565b6000604051905090565b600080fd5b600080fd5b60007fffffffff0000000000000000000000000000000000000000000000000000000082169050919050565b611c7d81611c48565b8114611c8857600080fd5b50565b600081359050611c9a81611c74565b92915050565b600060208284031215611cb657611cb5611c3e565b5b6000611cc484828501611c8b565b91505092915050565b60008115159050919050565b611ce281611ccd565b82525050565b6000602082019050611cfd6000830184611cd9565b92915050565b600081519050919050565b600082825260208201905092915050565b60005b83811015611d3d578082015181840152602081019050611d22565b60008484015250505050565b6000601f19601f8301169050919050565b6000611d6582611d03565b611d6f8185611d0e565b9350611d7f818560208601611d1f565b611d8881611d49565b840191505092915050565b60006020820190508181036000830152611dad8184611d5a565b905092915050565b6000819050919050565b611dc881611db5565b8114611dd357600080fd5b50565b600081359050611de581611dbf565b92915050565b600060208284031215611e0157611e00611c3e565b5b6000611e0f84828501611dd6565b91505092915050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000611e4382611e18565b9050919050565b611e5381611e38565b82525050565b6000602082019050611e6e6000830184611e4a565b92915050565b611e7d81611e38565b8114611e8857600080fd5b50565b600081359050611e9a81611e74565b92915050565b60008060408385031215611eb757611eb6611c3e565b5b6000611ec585828601611e8b565b9250506020611ed685828601611dd6565b9150509250929050565b600080600060608486031215611ef957611ef8611c3e565b5b6000611f0786828701611e8b565b9350506020611f1886828701611e8b565b9250506040611f2986828701611dd6565b9150509250925092565b600060208284031215611f4957611f48611c3e565b5b6000611f5784828501611e8b565b91505092915050565b611f6981611db5565b82525050565b6000602082019050611f846000830184611f60565b92915050565b611f9381611ccd565b8114611f9e57600080fd5b50565b600081359050611fb081611f8a565b92915050565b60008060408385031215611fcd57611fcc611c3e565b5b6000611fdb85828601611e8b565b9250506020611fec85828601611fa1565b9150509250929050565b600080fd5b600080fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b61203882611d49565b810181811067ffffffffffffffff8211171561205757612056612000565b5b80604052505050565b600061206a611c34565b9050612076828261202f565b919050565b600067ffffffffffffffff82111561209657612095612000565b5b61209f82611d49565b9050602081019050919050565b82818337600083830152505050565b60006120ce6120c98461207b565b612060565b9050828152602081018484840111156120ea576120e9611ffb565b5b6120f58482856120ac565b509392505050565b600082601f83011261211257612111611ff6565b5b81356121228482602086016120bb565b91505092915050565b6000806000806080858703121561214557612144611c3e565b5b600061215387828801611e8b565b945050602061216487828801611e8b565b935050604061217587828801611dd6565b925050606085013567ffffffffffffffff81111561219657612195611c43565b5b6121a2878288016120fd565b91505092959194509250565b600060ff82169050919050565b6121c4816121ae565b81146121cf57600080fd5b50565b6000813590506121e1816121bb565b92915050565b6000602082840312156121fd576121fc611c3e565b5b600061220b848285016121d2565b91505092915050565b6000806040838503121561222b5761222a611c3e565b5b600061223985828601611e8b565b925050602061224a85828601611e8b565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000600282049050600182168061229b57607f821691505b6020821081036122ae576122ad612254565b5b50919050565b7f4552433732313a20617070726f76616c20746f2063757272656e74206f776e6560008201527f7200000000000000000000000000000000000000000000000000000000000000602082015250565b6000612310602183611d0e565b915061231b826122b4565b604082019050919050565b6000602082019050818103600083015261233f81612303565b9050919050565b7f4552433732313a20617070726f76652063616c6c6572206973206e6f7420746f60008201527f6b656e206f776e6572206f7220617070726f76656420666f7220616c6c000000602082015250565b60006123a2603d83611d0e565b91506123ad82612346565b604082019050919050565b600060208201905081810360008301526123d181612395565b9050919050565b7f4552433732313a2063616c6c6572206973206e6f7420746f6b656e206f776e6560008201527f72206f7220617070726f76656400000000000000000000000000000000000000602082015250565b6000612434602d83611d0e565b915061243f826123d8565b604082019050919050565b6000602082019050818103600083015261246381612427565b9050919050565b7f4552433732313a20696e76616c696420746f6b656e2049440000000000000000600082015250565b60006124a0601883611d0e565b91506124ab8261246a565b602082019050919050565b600060208201905081810360008301526124cf81612493565b9050919050565b7f4552433732313a2061646472657373207a65726f206973206e6f74206120766160008201527f6c6964206f776e65720000000000000000000000000000000000000000000000602082015250565b6000612532602983611d0e565b915061253d826124d6565b604082019050919050565b6000602082019050818103600083015261256181612525565b9050919050565b7f4e756d626572206d757374206265206265747765656e203120616e6420313400600082015250565b600061259e601f83611d0e565b91506125a982612568565b602082019050919050565b600060208201905081810360008301526125cd81612591565b9050919050565b600081905092915050565b60006125ea82611d03565b6125f481856125d4565b9350612604818560208601611d1f565b80840191505092915050565b600061261c82846125df565b915081905092915050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b6000612683602683611d0e565b915061268e82612627565b604082019050919050565b600060208201905081810360008301526126b281612676565b9050919050565b7f4552433732313a207472616e736665722066726f6d20696e636f72726563742060008201527f6f776e6572000000000000000000000000000000000000000000000000000000602082015250565b6000612715602583611d0e565b9150612720826126b9565b604082019050919050565b6000602082019050818103600083015261274481612708565b9050919050565b7f4552433732313a207472616e7366657220746f20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b60006127a7602483611d0e565b91506127b28261274b565b604082019050919050565b600060208201905081810360008301526127d68161279a565b9050919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b6000612813602083611d0e565b915061281e826127dd565b602082019050919050565b6000602082019050818103600083015261284281612806565b9050919050565b7f4552433732313a20617070726f766520746f2063616c6c657200000000000000600082015250565b600061287f601983611d0e565b915061288a82612849565b602082019050919050565b600060208201905081810360008301526128ae81612872565b9050919050565b7f4552433732313a207472616e7366657220746f206e6f6e20455243373231526560008201527f63656976657220696d706c656d656e7465720000000000000000000000000000602082015250565b6000612911603283611d0e565b915061291c826128b5565b604082019050919050565b6000602082019050818103600083015261294081612904565b9050919050565b600061295382856125df565b915061295f82846125df565b91508190509392505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b7f45524337323155524953746f726167653a2055524920736574206f66206e6f6e60008201527f6578697374656e7420746f6b656e000000000000000000000000000000000000602082015250565b60006129f6602e83611d0e565b9150612a018261299a565b604082019050919050565b60006020820190508181036000830152612a25816129e9565b9050919050565b60008190508160005260206000209050919050565b60006020601f8301049050919050565b600082821b905092915050565b600060088302612a8e7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82612a51565b612a988683612a51565b95508019841693508086168417925050509392505050565b6000819050919050565b6000612ad5612ad0612acb84611db5565b612ab0565b611db5565b9050919050565b6000819050919050565b612aef83612aba565b612b03612afb82612adc565b848454612a5e565b825550505050565b600090565b612b18612b0b565b612b23818484612ae6565b505050565b5b81811015612b4757612b3c600082612b10565b600181019050612b29565b5050565b601f821115612b8c57612b5d81612a2c565b612b6684612a41565b81016020851015612b75578190505b612b89612b8185612a41565b830182612b28565b50505b505050565b600082821c905092915050565b6000612baf60001984600802612b91565b1980831691505092915050565b6000612bc88383612b9e565b9150826002028217905092915050565b612be182611d03565b67ffffffffffffffff811115612bfa57612bf9612000565b5b612c048254612283565b612c0f828285612b4b565b600060209050601f831160018114612c425760008415612c30578287015190505b612c3a8582612bbc565b865550612ca2565b601f198416612c5086612a2c565b60005b82811015612c7857848901518255600182019150602085019450602081019050612c53565b86831015612c955784890151612c91601f891682612b9e565b8355505b6001600288020188555050505b505050505050565b600081519050919050565b600082825260208201905092915050565b6000612cd182612caa565b612cdb8185612cb5565b9350612ceb818560208601611d1f565b612cf481611d49565b840191505092915050565b6000608082019050612d146000830187611e4a565b612d216020830186611e4a565b612d2e6040830185611f60565b8181036060830152612d408184612cc6565b905095945050505050565b600081519050612d5a81611c74565b92915050565b600060208284031215612d7657612d75611c3e565b5b6000612d8484828501612d4b565b91505092915050565b7f4552433732313a206d696e7420746f20746865207a65726f2061646472657373600082015250565b6000612dc3602083611d0e565b9150612dce82612d8d565b602082019050919050565b60006020820190508181036000830152612df281612db6565b9050919050565b7f4552433732313a20746f6b656e20616c7265616479206d696e74656400000000600082015250565b6000612e2f601c83611d0e565b9150612e3a82612df9565b602082019050919050565b60006020820190508181036000830152612e5e81612e22565b905091905056fe697066733a2f2f516d646736533742373238507275367848536674316148666a4164486572744375446735426a6f534c65436f344e2fa26469706673582212208cf8852c63eeedf28cb0a5bd7b9d653d018475d154ae63608470024ddcd8772364736f6c63430008120033

60767:989:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;41220:305;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;42148:100;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;43660:171;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;43178:416;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;44360:335;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;44766:185;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;41858:223;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;41589:207;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;20651:103;;;:::i;:::-;;20003:87;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;42317:104;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;43903:155;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;45022:322;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;61593:160;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;61118:354;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;44129:164;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;20909:201;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;41220:305;41322:4;41374:25;41359:40;;;:11;:40;;;;:105;;;;41431:33;41416:48;;;:11;:48;;;;41359:105;:158;;;;41481:36;41505:11;41481:23;:36::i;:::-;41359:158;41339:178;;41220:305;;;:::o;42148:100::-;42202:13;42235:5;42228:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;42148:100;:::o;43660:171::-;43736:7;43756:23;43771:7;43756:14;:23::i;:::-;43799:15;:24;43815:7;43799:24;;;;;;;;;;;;;;;;;;;;;43792:31;;43660:171;;;:::o;43178:416::-;43259:13;43275:23;43290:7;43275:14;:23::i;:::-;43259:39;;43323:5;43317:11;;:2;:11;;;43309:57;;;;;;;;;;;;:::i;:::-;;;;;;;;;43417:5;43401:21;;:12;:10;:12::i;:::-;:21;;;:62;;;;43426:37;43443:5;43450:12;:10;:12::i;:::-;43426:16;:37::i;:::-;43401:62;43379:173;;;;;;;;;;;;:::i;:::-;;;;;;;;;43565:21;43574:2;43578:7;43565:8;:21::i;:::-;43248:346;43178:416;;:::o;44360:335::-;44555:41;44574:12;:10;:12::i;:::-;44588:7;44555:18;:41::i;:::-;44547:99;;;;;;;;;;;;:::i;:::-;;;;;;;;;44659:28;44669:4;44675:2;44679:7;44659:9;:28::i;:::-;44360:335;;;:::o;44766:185::-;44904:39;44921:4;44927:2;44931:7;44904:39;;;;;;;;;;;;:16;:39::i;:::-;44766:185;;;:::o;41858:223::-;41930:7;41950:13;41966:17;41975:7;41966:8;:17::i;:::-;41950:33;;42019:1;42002:19;;:5;:19;;;41994:56;;;;;;;;;;;;:::i;:::-;;;;;;;;;42068:5;42061:12;;;41858:223;;;:::o;41589:207::-;41661:7;41706:1;41689:19;;:5;:19;;;41681:73;;;;;;;;;;;;:::i;:::-;;;;;;;;;41772:9;:16;41782:5;41772:16;;;;;;;;;;;;;;;;41765:23;;41589:207;;;:::o;20651:103::-;19889:13;:11;:13::i;:::-;20716:30:::1;20743:1;20716:18;:30::i;:::-;20651:103::o:0;20003:87::-;20049:7;20076:6;;;;;;;;;;;20069:13;;20003:87;:::o;42317:104::-;42373:13;42406:7;42399:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;42317:104;:::o;43903:155::-;43998:52;44017:12;:10;:12::i;:::-;44031:8;44041;43998:18;:52::i;:::-;43903:155;;:::o;45022:322::-;45196:41;45215:12;:10;:12::i;:::-;45229:7;45196:18;:41::i;:::-;45188:99;;;;;;;;;;;;:::i;:::-;;;;;;;;;45298:38;45312:4;45318:2;45322:7;45331:4;45298:13;:38::i;:::-;45022:322;;;;:::o;61593:160::-;61695:13;61724:23;61739:7;61724:14;:23::i;:::-;61717:30;;61593:160;;;:::o;61118:354::-;61176:1;61169:3;:8;;;;:21;;;;;61188:2;61181:3;:9;;;;61169:21;61161:65;;;;;;;;;;;;:::i;:::-;;;;;;;;;61233:15;61251:25;:15;:23;:25::i;:::-;61233:43;;61283:27;:15;:25;:27::i;:::-;61317:23;61367:21;61384:3;61367:21;;:16;:21::i;:::-;61350:39;;;;;;;;:::i;:::-;;;;;;;;;;;;;61317:73;;61397:30;61407:10;61419:7;61397:9;:30::i;:::-;61434:32;61447:7;61456:9;61434:12;:32::i;:::-;61154:318;;61118:354;:::o;44129:164::-;44226:4;44250:18;:25;44269:5;44250:25;;;;;;;;;;;;;;;:35;44276:8;44250:35;;;;;;;;;;;;;;;;;;;;;;;;;44243:42;;44129:164;;;;:::o;20909:201::-;19889:13;:11;:13::i;:::-;21018:1:::1;20998:22;;:8;:22;;::::0;20990:73:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;21074:28;21093:8;21074:18;:28::i;:::-;20909:201:::0;:::o;33732:157::-;33817:4;33856:25;33841:40;;;:11;:40;;;;33834:47;;33732:157;;;:::o;53479:135::-;53561:16;53569:7;53561;:16::i;:::-;53553:53;;;;;;;;;;;;:::i;:::-;;;;;;;;;53479:135;:::o;18554:98::-;18607:7;18634:10;18627:17;;18554:98;:::o;52758:174::-;52860:2;52833:15;:24;52849:7;52833:24;;;;;;;;;;;;:29;;;;;;;;;;;;;;;;;;52916:7;52912:2;52878:46;;52887:23;52902:7;52887:14;:23::i;:::-;52878:46;;;;;;;;;;;;52758:174;;:::o;47377:264::-;47470:4;47487:13;47503:23;47518:7;47503:14;:23::i;:::-;47487:39;;47556:5;47545:16;;:7;:16;;;:52;;;;47565:32;47582:5;47589:7;47565:16;:32::i;:::-;47545:52;:87;;;;47625:7;47601:31;;:20;47613:7;47601:11;:20::i;:::-;:31;;;47545:87;47537:96;;;47377:264;;;;:::o;51376:1263::-;51535:4;51508:31;;:23;51523:7;51508:14;:23::i;:::-;:31;;;51500:81;;;;;;;;;;;;:::i;:::-;;;;;;;;;51614:1;51600:16;;:2;:16;;;51592:65;;;;;;;;;;;;:::i;:::-;;;;;;;;;51670:42;51691:4;51697:2;51701:7;51710:1;51670:20;:42::i;:::-;51842:4;51815:31;;:23;51830:7;51815:14;:23::i;:::-;:31;;;51807:81;;;;;;;;;;;;:::i;:::-;;;;;;;;;51960:15;:24;51976:7;51960:24;;;;;;;;;;;;51953:31;;;;;;;;;;;52455:1;52436:9;:15;52446:4;52436:15;;;;;;;;;;;;;;;;:20;;;;;;;;;;;52488:1;52471:9;:13;52481:2;52471:13;;;;;;;;;;;;;;;;:18;;;;;;;;;;;52530:2;52511:7;:16;52519:7;52511:16;;;;;;;;;;;;:21;;;;;;;;;;;;;;;;;;52569:7;52565:2;52550:27;;52559:4;52550:27;;;;;;;;;;;;52590:41;52610:4;52616:2;52620:7;52629:1;52590:19;:41::i;:::-;51376:1263;;;:::o;46652:117::-;46718:7;46745;:16;46753:7;46745:16;;;;;;;;;;;;;;;;;;;;;46738:23;;46652:117;;;:::o;20168:132::-;20243:12;:10;:12::i;:::-;20232:23;;:7;:5;:7::i;:::-;:23;;;20224:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;20168:132::o;21270:191::-;21344:16;21363:6;;;;;;;;;;;21344:25;;21389:8;21380:6;;:17;;;;;;;;;;;;;;;;;;21444:8;21413:40;;21434:8;21413:40;;;;;;;;;;;;21333:128;21270:191;:::o;53075:315::-;53230:8;53221:17;;:5;:17;;;53213:55;;;;;;;;;;;;:::i;:::-;;;;;;;;;53317:8;53279:18;:25;53298:5;53279:25;;;;;;;;;;;;;;;:35;53305:8;53279:35;;;;;;;;;;;;;;;;:46;;;;;;;;;;;;;;;;;;53363:8;53341:41;;53356:5;53341:41;;;53373:8;53341:41;;;;;;:::i;:::-;;;;;;;;53075:315;;;:::o;46225:313::-;46381:28;46391:4;46397:2;46401:7;46381:9;:28::i;:::-;46428:47;46451:4;46457:2;46461:7;46470:4;46428:22;:47::i;:::-;46420:110;;;;;;;;;;;;:::i;:::-;;;;;;;;;46225:313;;;;:::o;57941:624::-;58014:13;58040:23;58055:7;58040:14;:23::i;:::-;58076;58102:10;:19;58113:7;58102:19;;;;;;;;;;;58076:45;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;58132:18;58153:10;:8;:10::i;:::-;58132:31;;58261:1;58245:4;58239:18;:23;58235:72;;58286:9;58279:16;;;;;;58235:72;58437:1;58417:9;58411:23;:27;58407:108;;;58486:4;58492:9;58469:33;;;;;;;;;:::i;:::-;;;;;;;;;;;;;58455:48;;;;;;58407:108;58534:23;58549:7;58534:14;:23::i;:::-;58527:30;;;;57941:624;;;;:::o;2083:114::-;2148:7;2175;:14;;;2168:21;;2083:114;;;:::o;2205:127::-;2312:1;2294:7;:14;;;:19;;;;;;;;;;;2205:127;:::o;15981:716::-;16037:13;16088:14;16125:1;16105:17;16116:5;16105:10;:17::i;:::-;:21;16088:38;;16141:20;16175:6;16164:18;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16141:41;;16197:11;16326:6;16322:2;16318:15;16310:6;16306:28;16299:35;;16363:288;16370:4;16363:288;;;16395:5;;;;;;;;16537:8;16532:2;16525:5;16521:14;16516:30;16511:3;16503:44;16593:2;16584:11;;;;;;:::i;:::-;;;;;16627:1;16618:5;:10;16363:288;16614:21;16363:288;16672:6;16665:13;;;;;15981:716;;;:::o;47983:110::-;48059:26;48069:2;48073:7;48059:26;;;;;;;;;;;;:9;:26::i;:::-;47983:110;;:::o;58721:217::-;58821:16;58829:7;58821;:16::i;:::-;58813:75;;;;;;;;;;;;:::i;:::-;;;;;;;;;58921:9;58899:10;:19;58910:7;58899:19;;;;;;;;;;;:31;;;;;;:::i;:::-;;58721:217;;:::o;47082:128::-;47147:4;47200:1;47171:31;;:17;47180:7;47171:8;:17::i;:::-;:31;;;;47164:38;;47082:128;;;:::o;55763:159::-;;;;;:::o;56644:158::-;;;;;:::o;54178:853::-;54332:4;54353:15;:2;:13;;;:15::i;:::-;54349:675;;;54405:2;54389:36;;;54426:12;:10;:12::i;:::-;54440:4;54446:7;54455:4;54389:71;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;54385:584;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;54647:1;54630:6;:13;:18;54626:328;;54673:60;;;;;;;;;;:::i;:::-;;;;;;;;54626:328;54904:6;54898:13;54889:6;54885:2;54881:15;54874:38;54385:584;54521:41;;;54511:51;;;:6;:51;;;;54504:58;;;;;54349:675;55008:4;55001:11;;54178:853;;;;;;;:::o;60968:142::-;61019:13;61041:63;;;;;;;;;;;;;;;;;;;60968:142;:::o;42492:281::-;42565:13;42591:23;42606:7;42591:14;:23::i;:::-;42627:21;42651:10;:8;:10::i;:::-;42627:34;;42703:1;42685:7;42679:21;:25;:86;;;;;;;;;;;;;;;;;42731:7;42740:18;:7;:16;:18::i;:::-;42714:45;;;;;;;;;:::i;:::-;;;;;;;;;;;;;42679:86;42672:93;;;42492:281;;;:::o;12847:922::-;12900:7;12920:14;12937:1;12920:18;;12987:6;12978:5;:15;12974:102;;13023:6;13014:15;;;;;;:::i;:::-;;;;;13058:2;13048:12;;;;12974:102;13103:6;13094:5;:15;13090:102;;13139:6;13130:15;;;;;;:::i;:::-;;;;;13174:2;13164:12;;;;13090:102;13219:6;13210:5;:15;13206:102;;13255:6;13246:15;;;;;;:::i;:::-;;;;;13290:2;13280:12;;;;13206:102;13335:5;13326;:14;13322:99;;13370:5;13361:14;;;;;;:::i;:::-;;;;;13404:1;13394:11;;;;13322:99;13448:5;13439;:14;13435:99;;13483:5;13474:14;;;;;;:::i;:::-;;;;;13517:1;13507:11;;;;13435:99;13561:5;13552;:14;13548:99;;13596:5;13587:14;;;;;;:::i;:::-;;;;;13630:1;13620:11;;;;13548:99;13674:5;13665;:14;13661:66;;13710:1;13700:11;;;;13661:66;13755:6;13748:13;;;12847:922;;;:::o;48320:319::-;48449:18;48455:2;48459:7;48449:5;:18::i;:::-;48500:53;48531:1;48535:2;48539:7;48548:4;48500:22;:53::i;:::-;48478:153;;;;;;;;;;;;:::i;:::-;;;;;;;;;48320:319;;;:::o;22701:326::-;22761:4;23018:1;22996:7;:19;;;:23;22989:30;;22701:326;;;:::o;48975:942::-;49069:1;49055:16;;:2;:16;;;49047:61;;;;;;;;;;;;:::i;:::-;;;;;;;;;49128:16;49136:7;49128;:16::i;:::-;49127:17;49119:58;;;;;;;;;;;;:::i;:::-;;;;;;;;;49190:48;49219:1;49223:2;49227:7;49236:1;49190:20;:48::i;:::-;49337:16;49345:7;49337;:16::i;:::-;49336:17;49328:58;;;;;;;;;;;;:::i;:::-;;;;;;;;;49752:1;49735:9;:13;49745:2;49735:13;;;;;;;;;;;;;;;;:18;;;;;;;;;;;49796:2;49777:7;:16;49785:7;49777:16;;;;;;;;;;;;:21;;;;;;;;;;;;;;;;;;49841:7;49837:2;49816:33;;49833:1;49816:33;;;;;;;;;;;;49862:47;49890:1;49894:2;49898:7;49907:1;49862:19;:47::i;:::-;48975:942;;:::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:86::-;10026:7;10066:4;10059:5;10055:16;10044:27;;9991:86;;;:::o;10083:118::-;10154:22;10170:5;10154:22;:::i;:::-;10147:5;10144:33;10134:61;;10191:1;10188;10181:12;10134:61;10083:118;:::o;10207:135::-;10251:5;10289:6;10276:20;10267:29;;10305:31;10330:5;10305:31;:::i;:::-;10207:135;;;;:::o;10348:325::-;10405:6;10454:2;10442:9;10433:7;10429:23;10425:32;10422:119;;;10460:79;;:::i;:::-;10422:119;10580:1;10605:51;10648:7;10639:6;10628:9;10624:22;10605:51;:::i;:::-;10595:61;;10551:115;10348:325;;;;:::o;10679:474::-;10747:6;10755;10804:2;10792:9;10783:7;10779:23;10775:32;10772:119;;;10810:79;;:::i;:::-;10772:119;10930:1;10955:53;11000:7;10991:6;10980:9;10976:22;10955:53;:::i;:::-;10945:63;;10901:117;11057:2;11083:53;11128:7;11119:6;11108:9;11104:22;11083:53;:::i;:::-;11073:63;;11028:118;10679:474;;;;;:::o;11159:180::-;11207:77;11204:1;11197:88;11304:4;11301:1;11294:15;11328:4;11325:1;11318:15;11345:320;11389:6;11426:1;11420:4;11416:12;11406:22;;11473:1;11467:4;11463:12;11494:18;11484:81;;11550:4;11542:6;11538:17;11528:27;;11484:81;11612:2;11604:6;11601:14;11581:18;11578:38;11575:84;;11631:18;;:::i;:::-;11575:84;11396:269;11345:320;;;:::o;11671:220::-;11811:34;11807:1;11799:6;11795:14;11788:58;11880:3;11875:2;11867:6;11863:15;11856:28;11671:220;:::o;11897:366::-;12039:3;12060:67;12124:2;12119:3;12060:67;:::i;:::-;12053:74;;12136:93;12225:3;12136:93;:::i;:::-;12254:2;12249:3;12245:12;12238:19;;11897:366;;;:::o;12269:419::-;12435:4;12473:2;12462:9;12458:18;12450:26;;12522:9;12516:4;12512:20;12508:1;12497:9;12493:17;12486:47;12550:131;12676:4;12550:131;:::i;:::-;12542:139;;12269:419;;;:::o;12694:248::-;12834:34;12830:1;12822:6;12818:14;12811:58;12903:31;12898:2;12890:6;12886:15;12879:56;12694:248;:::o;12948:366::-;13090:3;13111:67;13175:2;13170:3;13111:67;:::i;:::-;13104:74;;13187:93;13276:3;13187:93;:::i;:::-;13305:2;13300:3;13296:12;13289:19;;12948:366;;;:::o;13320:419::-;13486:4;13524:2;13513:9;13509:18;13501:26;;13573:9;13567:4;13563:20;13559:1;13548:9;13544:17;13537:47;13601:131;13727:4;13601:131;:::i;:::-;13593:139;;13320:419;;;:::o;13745:232::-;13885:34;13881:1;13873:6;13869:14;13862:58;13954:15;13949:2;13941:6;13937:15;13930:40;13745:232;:::o;13983:366::-;14125:3;14146:67;14210:2;14205:3;14146:67;:::i;:::-;14139:74;;14222:93;14311:3;14222:93;:::i;:::-;14340:2;14335:3;14331:12;14324:19;;13983:366;;;:::o;14355:419::-;14521:4;14559:2;14548:9;14544:18;14536:26;;14608:9;14602:4;14598:20;14594:1;14583:9;14579:17;14572:47;14636:131;14762:4;14636:131;:::i;:::-;14628:139;;14355:419;;;:::o;14780:174::-;14920:26;14916:1;14908:6;14904:14;14897:50;14780:174;:::o;14960:366::-;15102:3;15123:67;15187:2;15182:3;15123:67;:::i;:::-;15116:74;;15199:93;15288:3;15199:93;:::i;:::-;15317:2;15312:3;15308:12;15301:19;;14960:366;;;:::o;15332:419::-;15498:4;15536:2;15525:9;15521:18;15513:26;;15585:9;15579:4;15575:20;15571:1;15560:9;15556:17;15549:47;15613:131;15739:4;15613:131;:::i;:::-;15605:139;;15332:419;;;:::o;15757:228::-;15897:34;15893:1;15885:6;15881:14;15874:58;15966:11;15961:2;15953:6;15949:15;15942:36;15757:228;:::o;15991:366::-;16133:3;16154:67;16218:2;16213:3;16154:67;:::i;:::-;16147:74;;16230:93;16319:3;16230:93;:::i;:::-;16348:2;16343:3;16339:12;16332:19;;15991:366;;;:::o;16363:419::-;16529:4;16567:2;16556:9;16552:18;16544:26;;16616:9;16610:4;16606:20;16602:1;16591:9;16587:17;16580:47;16644:131;16770:4;16644:131;:::i;:::-;16636:139;;16363:419;;;:::o;16788:181::-;16928:33;16924:1;16916:6;16912:14;16905:57;16788:181;:::o;16975:366::-;17117:3;17138:67;17202:2;17197:3;17138:67;:::i;:::-;17131:74;;17214:93;17303:3;17214:93;:::i;:::-;17332:2;17327:3;17323:12;17316:19;;16975:366;;;:::o;17347:419::-;17513:4;17551:2;17540:9;17536:18;17528:26;;17600:9;17594:4;17590:20;17586:1;17575:9;17571:17;17564:47;17628:131;17754:4;17628:131;:::i;:::-;17620:139;;17347:419;;;:::o;17772:148::-;17874:11;17911:3;17896:18;;17772:148;;;;:::o;17926:390::-;18032:3;18060:39;18093:5;18060:39;:::i;:::-;18115:89;18197:6;18192:3;18115:89;:::i;:::-;18108:96;;18213:65;18271:6;18266:3;18259:4;18252:5;18248:16;18213:65;:::i;:::-;18303:6;18298:3;18294:16;18287:23;;18036:280;17926:390;;;;:::o;18322:275::-;18454:3;18476:95;18567:3;18558:6;18476:95;:::i;:::-;18469:102;;18588:3;18581:10;;18322:275;;;;:::o;18603:225::-;18743:34;18739:1;18731:6;18727:14;18720:58;18812:8;18807:2;18799:6;18795:15;18788:33;18603:225;:::o;18834:366::-;18976:3;18997:67;19061:2;19056:3;18997:67;:::i;:::-;18990:74;;19073:93;19162:3;19073:93;:::i;:::-;19191:2;19186:3;19182:12;19175:19;;18834:366;;;:::o;19206:419::-;19372:4;19410:2;19399:9;19395:18;19387:26;;19459:9;19453:4;19449:20;19445:1;19434:9;19430:17;19423:47;19487:131;19613:4;19487:131;:::i;:::-;19479:139;;19206:419;;;:::o;19631:224::-;19771:34;19767:1;19759:6;19755:14;19748:58;19840:7;19835:2;19827:6;19823:15;19816:32;19631:224;:::o;19861:366::-;20003:3;20024:67;20088:2;20083:3;20024:67;:::i;:::-;20017:74;;20100:93;20189:3;20100:93;:::i;:::-;20218:2;20213:3;20209:12;20202:19;;19861:366;;;:::o;20233:419::-;20399:4;20437:2;20426:9;20422:18;20414:26;;20486:9;20480:4;20476:20;20472:1;20461:9;20457:17;20450:47;20514:131;20640:4;20514:131;:::i;:::-;20506:139;;20233:419;;;:::o;20658:223::-;20798:34;20794:1;20786:6;20782:14;20775:58;20867:6;20862:2;20854:6;20850:15;20843:31;20658:223;:::o;20887:366::-;21029:3;21050:67;21114:2;21109:3;21050:67;:::i;:::-;21043:74;;21126:93;21215:3;21126:93;:::i;:::-;21244:2;21239:3;21235:12;21228:19;;20887:366;;;:::o;21259:419::-;21425:4;21463:2;21452:9;21448:18;21440:26;;21512:9;21506:4;21502:20;21498:1;21487:9;21483:17;21476:47;21540:131;21666:4;21540:131;:::i;:::-;21532:139;;21259:419;;;:::o;21684:182::-;21824:34;21820:1;21812:6;21808:14;21801:58;21684:182;:::o;21872:366::-;22014:3;22035:67;22099:2;22094:3;22035:67;:::i;:::-;22028:74;;22111:93;22200:3;22111:93;:::i;:::-;22229:2;22224:3;22220:12;22213:19;;21872:366;;;:::o;22244:419::-;22410:4;22448:2;22437:9;22433:18;22425:26;;22497:9;22491:4;22487:20;22483:1;22472:9;22468:17;22461:47;22525:131;22651:4;22525:131;:::i;:::-;22517:139;;22244:419;;;:::o;22669:175::-;22809:27;22805:1;22797:6;22793:14;22786:51;22669:175;:::o;22850:366::-;22992:3;23013:67;23077:2;23072:3;23013:67;:::i;:::-;23006:74;;23089:93;23178:3;23089:93;:::i;:::-;23207:2;23202:3;23198:12;23191:19;;22850:366;;;:::o;23222:419::-;23388:4;23426:2;23415:9;23411:18;23403:26;;23475:9;23469:4;23465:20;23461:1;23450:9;23446:17;23439:47;23503:131;23629:4;23503:131;:::i;:::-;23495:139;;23222:419;;;:::o;23647:237::-;23787:34;23783:1;23775:6;23771:14;23764:58;23856:20;23851:2;23843:6;23839:15;23832:45;23647:237;:::o;23890:366::-;24032:3;24053:67;24117:2;24112:3;24053:67;:::i;:::-;24046:74;;24129:93;24218:3;24129:93;:::i;:::-;24247:2;24242:3;24238:12;24231:19;;23890:366;;;:::o;24262:419::-;24428:4;24466:2;24455:9;24451:18;24443:26;;24515:9;24509:4;24505:20;24501:1;24490:9;24486:17;24479:47;24543:131;24669:4;24543:131;:::i;:::-;24535:139;;24262:419;;;:::o;24687:435::-;24867:3;24889:95;24980:3;24971:6;24889:95;:::i;:::-;24882:102;;25001:95;25092:3;25083:6;25001:95;:::i;:::-;24994:102;;25113:3;25106:10;;24687:435;;;;;:::o;25128:180::-;25176:77;25173:1;25166:88;25273:4;25270:1;25263:15;25297:4;25294:1;25287:15;25314:233;25454:34;25450:1;25442:6;25438:14;25431:58;25523:16;25518:2;25510:6;25506:15;25499:41;25314:233;:::o;25553:366::-;25695:3;25716:67;25780:2;25775:3;25716:67;:::i;:::-;25709:74;;25792:93;25881:3;25792:93;:::i;:::-;25910:2;25905:3;25901:12;25894:19;;25553:366;;;:::o;25925:419::-;26091:4;26129:2;26118:9;26114:18;26106:26;;26178:9;26172:4;26168:20;26164:1;26153:9;26149:17;26142:47;26206:131;26332:4;26206:131;:::i;:::-;26198:139;;25925:419;;;:::o;26350:141::-;26399:4;26422:3;26414:11;;26445:3;26442:1;26435:14;26479:4;26476:1;26466:18;26458:26;;26350:141;;;:::o;26497:93::-;26534:6;26581:2;26576;26569:5;26565:14;26561:23;26551:33;;26497:93;;;:::o;26596:107::-;26640:8;26690:5;26684:4;26680:16;26659:37;;26596:107;;;;:::o;26709:393::-;26778:6;26828:1;26816:10;26812:18;26851:97;26881:66;26870:9;26851:97;:::i;:::-;26969:39;26999:8;26988:9;26969:39;:::i;:::-;26957:51;;27041:4;27037:9;27030:5;27026:21;27017:30;;27090:4;27080:8;27076:19;27069:5;27066:30;27056:40;;26785:317;;26709:393;;;;;:::o;27108:60::-;27136:3;27157:5;27150:12;;27108:60;;;:::o;27174:142::-;27224:9;27257:53;27275:34;27284:24;27302:5;27284:24;:::i;:::-;27275:34;:::i;:::-;27257:53;:::i;:::-;27244:66;;27174:142;;;:::o;27322:75::-;27365:3;27386:5;27379:12;;27322:75;;;:::o;27403:269::-;27513:39;27544:7;27513:39;:::i;:::-;27574:91;27623:41;27647:16;27623:41;:::i;:::-;27615:6;27608:4;27602:11;27574:91;:::i;:::-;27568:4;27561:105;27479:193;27403:269;;;:::o;27678:73::-;27723:3;27678:73;:::o;27757:189::-;27834:32;;:::i;:::-;27875:65;27933:6;27925;27919:4;27875:65;:::i;:::-;27810:136;27757:189;;:::o;27952:186::-;28012:120;28029:3;28022:5;28019:14;28012:120;;;28083:39;28120:1;28113:5;28083:39;:::i;:::-;28056:1;28049:5;28045:13;28036:22;;28012:120;;;27952:186;;:::o;28144:543::-;28245:2;28240:3;28237:11;28234:446;;;28279:38;28311:5;28279:38;:::i;:::-;28363:29;28381:10;28363:29;:::i;:::-;28353:8;28349:44;28546:2;28534:10;28531:18;28528:49;;;28567:8;28552:23;;28528:49;28590:80;28646:22;28664:3;28646:22;:::i;:::-;28636:8;28632:37;28619:11;28590:80;:::i;:::-;28249:431;;28234:446;28144:543;;;:::o;28693:117::-;28747:8;28797:5;28791:4;28787:16;28766:37;;28693:117;;;;:::o;28816:169::-;28860:6;28893:51;28941:1;28937:6;28929:5;28926:1;28922:13;28893:51;:::i;:::-;28889:56;28974:4;28968;28964:15;28954:25;;28867:118;28816:169;;;;:::o;28990:295::-;29066:4;29212:29;29237:3;29231:4;29212:29;:::i;:::-;29204:37;;29274:3;29271:1;29267:11;29261:4;29258:21;29250:29;;28990:295;;;;:::o;29290:1395::-;29407:37;29440:3;29407:37;:::i;:::-;29509:18;29501:6;29498:30;29495:56;;;29531:18;;:::i;:::-;29495:56;29575:38;29607:4;29601:11;29575:38;:::i;:::-;29660:67;29720:6;29712;29706:4;29660:67;:::i;:::-;29754:1;29778:4;29765:17;;29810:2;29802:6;29799:14;29827:1;29822:618;;;;30484:1;30501:6;30498:77;;;30550:9;30545:3;30541:19;30535:26;30526:35;;30498:77;30601:67;30661:6;30654:5;30601:67;:::i;:::-;30595:4;30588:81;30457:222;29792:887;;29822:618;29874:4;29870:9;29862:6;29858:22;29908:37;29940:4;29908:37;:::i;:::-;29967:1;29981:208;29995:7;29992:1;29989:14;29981:208;;;30074:9;30069:3;30065:19;30059:26;30051:6;30044:42;30125:1;30117:6;30113:14;30103:24;;30172:2;30161:9;30157:18;30144:31;;30018:4;30015:1;30011:12;30006:17;;29981:208;;;30217:6;30208:7;30205:19;30202:179;;;30275:9;30270:3;30266:19;30260:26;30318:48;30360:4;30352:6;30348:17;30337:9;30318:48;:::i;:::-;30310:6;30303:64;30225:156;30202:179;30427:1;30423;30415:6;30411:14;30407:22;30401:4;30394:36;29829:611;;;29792:887;;29382:1303;;;29290:1395;;:::o;30691:98::-;30742:6;30776:5;30770:12;30760:22;;30691:98;;;:::o;30795:168::-;30878:11;30912:6;30907:3;30900:19;30952:4;30947:3;30943:14;30928:29;;30795:168;;;;:::o;30969:373::-;31055:3;31083:38;31115:5;31083:38;:::i;:::-;31137:70;31200:6;31195:3;31137:70;:::i;:::-;31130:77;;31216:65;31274:6;31269:3;31262:4;31255:5;31251:16;31216:65;:::i;:::-;31306:29;31328:6;31306:29;:::i;:::-;31301:3;31297:39;31290:46;;31059:283;30969:373;;;;:::o;31348:640::-;31543:4;31581:3;31570:9;31566:19;31558:27;;31595:71;31663:1;31652:9;31648:17;31639:6;31595:71;:::i;:::-;31676:72;31744:2;31733:9;31729:18;31720:6;31676:72;:::i;:::-;31758;31826:2;31815:9;31811:18;31802:6;31758:72;:::i;:::-;31877:9;31871:4;31867:20;31862:2;31851:9;31847:18;31840:48;31905:76;31976:4;31967:6;31905:76;:::i;:::-;31897:84;;31348:640;;;;;;;:::o;31994:141::-;32050:5;32081:6;32075:13;32066:22;;32097:32;32123:5;32097:32;:::i;:::-;31994:141;;;;:::o;32141:349::-;32210:6;32259:2;32247:9;32238:7;32234:23;32230:32;32227:119;;;32265:79;;:::i;:::-;32227:119;32385:1;32410:63;32465:7;32456:6;32445:9;32441:22;32410:63;:::i;:::-;32400:73;;32356:127;32141:349;;;;:::o;32496:182::-;32636:34;32632:1;32624:6;32620:14;32613:58;32496:182;:::o;32684:366::-;32826:3;32847:67;32911:2;32906:3;32847:67;:::i;:::-;32840:74;;32923:93;33012:3;32923:93;:::i;:::-;33041:2;33036:3;33032:12;33025:19;;32684:366;;;:::o;33056:419::-;33222:4;33260:2;33249:9;33245:18;33237:26;;33309:9;33303:4;33299:20;33295:1;33284:9;33280:17;33273:47;33337:131;33463:4;33337:131;:::i;:::-;33329:139;;33056:419;;;:::o;33481:178::-;33621:30;33617:1;33609:6;33605:14;33598:54;33481:178;:::o;33665:366::-;33807:3;33828:67;33892:2;33887:3;33828:67;:::i;:::-;33821:74;;33904:93;33993:3;33904:93;:::i;:::-;34022:2;34017:3;34013:12;34006:19;;33665:366;;;:::o;34037:419::-;34203:4;34241:2;34230:9;34226:18;34218:26;;34290:9;34284:4;34280:20;34276:1;34265:9;34261:17;34254:47;34318:131;34444:4;34318:131;:::i;:::-;34310:139;;34037:419;;;:::o

ipfs://8cf8852c63eeedf28cb0a5bd7b9d653d018475d154ae63608470024ddcd87723