Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

More Options

• Similar
• Submit Audit
• Compare

/**
 *Submitted for verification at Nova.Arbiscan.io on 2023-01-21
*/

// SPDX-License-Identifier: MIT
// File: @openzeppelin/contracts/utils/Counters.sol


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

pragma solidity ^0.8.0;

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

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

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

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

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

// File: @openzeppelin/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.0) (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 {
        if (batchSize > 1) {
            if (from != address(0)) {
                _balances[from] -= batchSize;
            }
            if (to != address(0)) {
                _balances[to] += batchSize;
            }
        }
    }

    /**
     * @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 {}
}

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


pragma solidity ^0.8.9;





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

    Counters.Counter private _tokenIdCounter;

    constructor() ERC721("Arbinaut", "ARBN") {}

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

    // The following functions are overrides required by Solidity.

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

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

• No Contract Security Audit Submitted- Submit Audit Here

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

60806040523480156200001157600080fd5b506040518060400160405280600881526020017f417262696e6175740000000000000000000000000000000000000000000000008152506040518060400160405280600481526020017f4152424e0000000000000000000000000000000000000000000000000000000081525081600090816200008f919062000412565b508060019081620000a1919062000412565b505050620000c4620000b8620000ca60201b60201c565b620000d260201b60201c565b620004f9565b600033905090565b6000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b600081519050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b600060028204905060018216806200021a57607f821691505b60208210810362000230576200022f620001d2565b5b50919050565b60008190508160005260206000209050919050565b60006020601f8301049050919050565b600082821b905092915050565b6000600883026200029a7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff826200025b565b620002a686836200025b565b95508019841693508086168417925050509392505050565b6000819050919050565b6000819050919050565b6000620002f3620002ed620002e784620002be565b620002c8565b620002be565b9050919050565b6000819050919050565b6200030f83620002d2565b620003276200031e82620002fa565b84845462000268565b825550505050565b600090565b6200033e6200032f565b6200034b81848462000304565b505050565b5b8181101562000373576200036760008262000334565b60018101905062000351565b5050565b601f821115620003c2576200038c8162000236565b62000397846200024b565b81016020851015620003a7578190505b620003bf620003b6856200024b565b83018262000350565b50505b505050565b600082821c905092915050565b6000620003e760001984600802620003c7565b1980831691505092915050565b6000620004028383620003d4565b9150826002028217905092915050565b6200041d8262000198565b67ffffffffffffffff811115620004395762000438620001a3565b5b62000445825462000201565b6200045282828562000377565b600060209050601f8311600181146200048a576000841562000475578287015190505b620004818582620003f4565b865550620004f1565b601f1984166200049a8662000236565b60005b82811015620004c4578489015182556001820191506020850194506020810190506200049d565b86831015620004e45784890151620004e0601f891682620003d4565b8355505b6001600288020188555050505b505050505050565b612fdf80620005096000396000f3fe608060405234801561001057600080fd5b506004361061010b5760003560e01c8063715018a6116100a2578063b88d4fde11610071578063b88d4fde146102a4578063c87b56dd146102c0578063d204c45e146102f0578063e985e9c51461030c578063f2fde38b1461033c5761010b565b8063715018a6146102425780638da5cb5b1461024c57806395d89b411461026a578063a22cb465146102885761010b565b806323b872dd116100de57806323b872dd146101aa57806342842e0e146101c65780636352211e146101e257806370a08231146102125761010b565b806301ffc9a71461011057806306fdde0314610140578063081812fc1461015e578063095ea7b31461018e575b600080fd5b61012a60048036038101906101259190611d39565b610358565b6040516101379190611d81565b60405180910390f35b61014861043a565b6040516101559190611e2c565b60405180910390f35b61017860048036038101906101739190611e84565b6104cc565b6040516101859190611ef2565b60405180910390f35b6101a860048036038101906101a39190611f39565b610512565b005b6101c460048036038101906101bf9190611f79565b610629565b005b6101e060048036038101906101db9190611f79565b610689565b005b6101fc60048036038101906101f79190611e84565b6106a9565b6040516102099190611ef2565b60405180910390f35b61022c60048036038101906102279190611fcc565b61072f565b6040516102399190612008565b60405180910390f35b61024a6107e6565b005b6102546107fa565b6040516102619190611ef2565b60405180910390f35b610272610824565b60405161027f9190611e2c565b60405180910390f35b6102a2600480360381019061029d919061204f565b6108b6565b005b6102be60048036038101906102b991906121c4565b6108cc565b005b6102da60048036038101906102d59190611e84565b61092e565b6040516102e79190611e2c565b60405180910390f35b61030a600480360381019061030591906122e8565b610940565b005b61032660048036038101906103219190612344565b610979565b6040516103339190611d81565b60405180910390f35b61035660048036038101906103519190611fcc565b610a0d565b005b60007f80ac58cd000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916148061042357507f5b5e139f000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916145b80610433575061043282610a90565b5b9050919050565b606060008054610449906123b3565b80601f0160208091040260200160405190810160405280929190818152602001828054610475906123b3565b80156104c25780601f10610497576101008083540402835291602001916104c2565b820191906000526020600020905b8154815290600101906020018083116104a557829003601f168201915b5050505050905090565b60006104d782610afa565b6004600083815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b600061051d826106a9565b90508073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff160361058d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161058490612456565b60405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff166105ac610b45565b73ffffffffffffffffffffffffffffffffffffffff1614806105db57506105da816105d5610b45565b610979565b5b61061a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610611906124e8565b60405180910390fd5b6106248383610b4d565b505050565b61063a610634610b45565b82610c06565b610679576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106709061257a565b60405180910390fd5b610684838383610c9b565b505050565b6106a4838383604051806020016040528060008152506108cc565b505050565b6000806106b583610f94565b9050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610726576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161071d906125e6565b60405180910390fd5b80915050919050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361079f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161079690612678565b60405180910390fd5b600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6107ee610fd1565b6107f8600061104f565b565b6000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b606060018054610833906123b3565b80601f016020809104026020016040519081016040528092919081815260200182805461085f906123b3565b80156108ac5780601f10610881576101008083540402835291602001916108ac565b820191906000526020600020905b81548152906001019060200180831161088f57829003601f168201915b5050505050905090565b6108c86108c1610b45565b8383611115565b5050565b6108dd6108d7610b45565b83610c06565b61091c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109139061257a565b60405180910390fd5b61092884848484611281565b50505050565b6060610939826112dd565b9050919050565b610948610fd1565b600061095460086113ef565b905061096060086113fd565b61096a8382611413565b6109748183611431565b505050565b6000600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b610a15610fd1565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610a84576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a7b9061270a565b60405180910390fd5b610a8d8161104f565b50565b60007f01ffc9a7000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916149050919050565b610b038161149e565b610b42576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b39906125e6565b60405180910390fd5b50565b600033905090565b816004600083815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550808273ffffffffffffffffffffffffffffffffffffffff16610bc0836106a9565b73ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92560405160405180910390a45050565b600080610c12836106a9565b90508073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff161480610c545750610c538185610979565b5b80610c9257508373ffffffffffffffffffffffffffffffffffffffff16610c7a846104cc565b73ffffffffffffffffffffffffffffffffffffffff16145b91505092915050565b8273ffffffffffffffffffffffffffffffffffffffff16610cbb826106a9565b73ffffffffffffffffffffffffffffffffffffffff1614610d11576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d089061279c565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610d80576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d779061282e565b60405180910390fd5b610d8d83838360016114df565b8273ffffffffffffffffffffffffffffffffffffffff16610dad826106a9565b73ffffffffffffffffffffffffffffffffffffffff1614610e03576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610dfa9061279c565b60405180910390fd5b6004600082815260200190815260200160002060006101000a81549073ffffffffffffffffffffffffffffffffffffffff02191690556001600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825403925050819055506001600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282540192505081905550816002600083815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550808273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a4610f8f8383836001611605565b505050565b60006002600083815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b610fd9610b45565b73ffffffffffffffffffffffffffffffffffffffff16610ff76107fa565b73ffffffffffffffffffffffffffffffffffffffff161461104d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016110449061289a565b60405180910390fd5b565b6000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603611183576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161117a90612906565b60405180910390fd5b80600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31836040516112749190611d81565b60405180910390a3505050565b61128c848484610c9b565b6112988484848461160b565b6112d7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016112ce90612998565b60405180910390fd5b50505050565b60606112e882610afa565b6000600660008481526020019081526020016000208054611308906123b3565b80601f0160208091040260200160405190810160405280929190818152602001828054611334906123b3565b80156113815780601f1061135657610100808354040283529160200191611381565b820191906000526020600020905b81548152906001019060200180831161136457829003601f168201915b505050505090506000611392611792565b905060008151036113a75781925050506113ea565b6000825111156113dc5780826040516020016113c49291906129f4565b604051602081830303815290604052925050506113ea565b6113e5846117a9565b925050505b919050565b600081600001549050919050565b6001816000016000828254019250508190555050565b61142d828260405180602001604052806000815250611811565b5050565b61143a8261149e565b611479576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161147090612a8a565b60405180910390fd5b806006600084815260200190815260200160002090816114999190612c56565b505050565b60008073ffffffffffffffffffffffffffffffffffffffff166114c083610f94565b73ffffffffffffffffffffffffffffffffffffffff1614159050919050565b60018111156115ff57600073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff16146115735780600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461156b9190612d57565b925050819055505b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16146115fe5780600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546115f69190612d8b565b925050819055505b5b50505050565b50505050565b600061162c8473ffffffffffffffffffffffffffffffffffffffff1661186c565b15611785578373ffffffffffffffffffffffffffffffffffffffff1663150b7a02611655610b45565b8786866040518563ffffffff1660e01b81526004016116779493929190612e14565b6020604051808303816000875af19250505080156116b357506040513d601f19601f820116820180604052508101906116b09190612e75565b60015b611735573d80600081146116e3576040519150601f19603f3d011682016040523d82523d6000602084013e6116e8565b606091505b50600081510361172d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161172490612998565b60405180910390fd5b805181602001fd5b63150b7a0260e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161491505061178a565b600190505b949350505050565b606060405180602001604052806000815250905090565b60606117b482610afa565b60006117be611792565b905060008151116117de5760405180602001604052806000815250611809565b806117e88461188f565b6040516020016117f99291906129f4565b6040516020818303038152906040525b915050919050565b61181b838361195d565b611828600084848461160b565b611867576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161185e90612998565b60405180910390fd5b505050565b6000808273ffffffffffffffffffffffffffffffffffffffff163b119050919050565b60606000600161189e84611b7a565b01905060008167ffffffffffffffff8111156118bd576118bc612099565b5b6040519080825280601f01601f1916602001820160405280156118ef5781602001600182028036833780820191505090505b509050600082602001820190505b600115611952578080600190039150507f3031323334353637383961626364656600000000000000000000000000000000600a86061a8153600a858161194657611945612ea2565b5b049450600085036118fd575b819350505050919050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036119cc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016119c390612f1d565b60405180910390fd5b6119d58161149e565b15611a15576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611a0c90612f89565b60405180910390fd5b611a236000838360016114df565b611a2c8161149e565b15611a6c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611a6390612f89565b60405180910390fd5b6001600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282540192505081905550816002600083815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550808273ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a4611b76600083836001611605565b5050565b600080600090507a184f03e93ff9f4daa797ed6e38ed64bf6a1f0100000000000000008310611bd8577a184f03e93ff9f4daa797ed6e38ed64bf6a1f0100000000000000008381611bce57611bcd612ea2565b5b0492506040810190505b6d04ee2d6d415b85acef81000000008310611c15576d04ee2d6d415b85acef81000000008381611c0b57611c0a612ea2565b5b0492506020810190505b662386f26fc100008310611c4457662386f26fc100008381611c3a57611c39612ea2565b5b0492506010810190505b6305f5e1008310611c6d576305f5e1008381611c6357611c62612ea2565b5b0492506008810190505b6127108310611c92576127108381611c8857611c87612ea2565b5b0492506004810190505b60648310611cb55760648381611cab57611caa612ea2565b5b0492506002810190505b600a8310611cc4576001810190505b80915050919050565b6000604051905090565b600080fd5b600080fd5b60007fffffffff0000000000000000000000000000000000000000000000000000000082169050919050565b611d1681611ce1565b8114611d2157600080fd5b50565b600081359050611d3381611d0d565b92915050565b600060208284031215611d4f57611d4e611cd7565b5b6000611d5d84828501611d24565b91505092915050565b60008115159050919050565b611d7b81611d66565b82525050565b6000602082019050611d966000830184611d72565b92915050565b600081519050919050565b600082825260208201905092915050565b60005b83811015611dd6578082015181840152602081019050611dbb565b60008484015250505050565b6000601f19601f8301169050919050565b6000611dfe82611d9c565b611e088185611da7565b9350611e18818560208601611db8565b611e2181611de2565b840191505092915050565b60006020820190508181036000830152611e468184611df3565b905092915050565b6000819050919050565b611e6181611e4e565b8114611e6c57600080fd5b50565b600081359050611e7e81611e58565b92915050565b600060208284031215611e9a57611e99611cd7565b5b6000611ea884828501611e6f565b91505092915050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000611edc82611eb1565b9050919050565b611eec81611ed1565b82525050565b6000602082019050611f076000830184611ee3565b92915050565b611f1681611ed1565b8114611f2157600080fd5b50565b600081359050611f3381611f0d565b92915050565b60008060408385031215611f5057611f4f611cd7565b5b6000611f5e85828601611f24565b9250506020611f6f85828601611e6f565b9150509250929050565b600080600060608486031215611f9257611f91611cd7565b5b6000611fa086828701611f24565b9350506020611fb186828701611f24565b9250506040611fc286828701611e6f565b9150509250925092565b600060208284031215611fe257611fe1611cd7565b5b6000611ff084828501611f24565b91505092915050565b61200281611e4e565b82525050565b600060208201905061201d6000830184611ff9565b92915050565b61202c81611d66565b811461203757600080fd5b50565b60008135905061204981612023565b92915050565b6000806040838503121561206657612065611cd7565b5b600061207485828601611f24565b92505060206120858582860161203a565b9150509250929050565b600080fd5b600080fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6120d182611de2565b810181811067ffffffffffffffff821117156120f0576120ef612099565b5b80604052505050565b6000612103611ccd565b905061210f82826120c8565b919050565b600067ffffffffffffffff82111561212f5761212e612099565b5b61213882611de2565b9050602081019050919050565b82818337600083830152505050565b600061216761216284612114565b6120f9565b90508281526020810184848401111561218357612182612094565b5b61218e848285612145565b509392505050565b600082601f8301126121ab576121aa61208f565b5b81356121bb848260208601612154565b91505092915050565b600080600080608085870312156121de576121dd611cd7565b5b60006121ec87828801611f24565b94505060206121fd87828801611f24565b935050604061220e87828801611e6f565b925050606085013567ffffffffffffffff81111561222f5761222e611cdc565b5b61223b87828801612196565b91505092959194509250565b600067ffffffffffffffff82111561226257612261612099565b5b61226b82611de2565b9050602081019050919050565b600061228b61228684612247565b6120f9565b9050828152602081018484840111156122a7576122a6612094565b5b6122b2848285612145565b509392505050565b600082601f8301126122cf576122ce61208f565b5b81356122df848260208601612278565b91505092915050565b600080604083850312156122ff576122fe611cd7565b5b600061230d85828601611f24565b925050602083013567ffffffffffffffff81111561232e5761232d611cdc565b5b61233a858286016122ba565b9150509250929050565b6000806040838503121561235b5761235a611cd7565b5b600061236985828601611f24565b925050602061237a85828601611f24565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b600060028204905060018216806123cb57607f821691505b6020821081036123de576123dd612384565b5b50919050565b7f4552433732313a20617070726f76616c20746f2063757272656e74206f776e6560008201527f7200000000000000000000000000000000000000000000000000000000000000602082015250565b6000612440602183611da7565b915061244b826123e4565b604082019050919050565b6000602082019050818103600083015261246f81612433565b9050919050565b7f4552433732313a20617070726f76652063616c6c6572206973206e6f7420746f60008201527f6b656e206f776e6572206f7220617070726f76656420666f7220616c6c000000602082015250565b60006124d2603d83611da7565b91506124dd82612476565b604082019050919050565b60006020820190508181036000830152612501816124c5565b9050919050565b7f4552433732313a2063616c6c6572206973206e6f7420746f6b656e206f776e6560008201527f72206f7220617070726f76656400000000000000000000000000000000000000602082015250565b6000612564602d83611da7565b915061256f82612508565b604082019050919050565b6000602082019050818103600083015261259381612557565b9050919050565b7f4552433732313a20696e76616c696420746f6b656e2049440000000000000000600082015250565b60006125d0601883611da7565b91506125db8261259a565b602082019050919050565b600060208201905081810360008301526125ff816125c3565b9050919050565b7f4552433732313a2061646472657373207a65726f206973206e6f74206120766160008201527f6c6964206f776e65720000000000000000000000000000000000000000000000602082015250565b6000612662602983611da7565b915061266d82612606565b604082019050919050565b6000602082019050818103600083015261269181612655565b9050919050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b60006126f4602683611da7565b91506126ff82612698565b604082019050919050565b60006020820190508181036000830152612723816126e7565b9050919050565b7f4552433732313a207472616e736665722066726f6d20696e636f72726563742060008201527f6f776e6572000000000000000000000000000000000000000000000000000000602082015250565b6000612786602583611da7565b91506127918261272a565b604082019050919050565b600060208201905081810360008301526127b581612779565b9050919050565b7f4552433732313a207472616e7366657220746f20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b6000612818602483611da7565b9150612823826127bc565b604082019050919050565b600060208201905081810360008301526128478161280b565b9050919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b6000612884602083611da7565b915061288f8261284e565b602082019050919050565b600060208201905081810360008301526128b381612877565b9050919050565b7f4552433732313a20617070726f766520746f2063616c6c657200000000000000600082015250565b60006128f0601983611da7565b91506128fb826128ba565b602082019050919050565b6000602082019050818103600083015261291f816128e3565b9050919050565b7f4552433732313a207472616e7366657220746f206e6f6e20455243373231526560008201527f63656976657220696d706c656d656e7465720000000000000000000000000000602082015250565b6000612982603283611da7565b915061298d82612926565b604082019050919050565b600060208201905081810360008301526129b181612975565b9050919050565b600081905092915050565b60006129ce82611d9c565b6129d881856129b8565b93506129e8818560208601611db8565b80840191505092915050565b6000612a0082856129c3565b9150612a0c82846129c3565b91508190509392505050565b7f45524337323155524953746f726167653a2055524920736574206f66206e6f6e60008201527f6578697374656e7420746f6b656e000000000000000000000000000000000000602082015250565b6000612a74602e83611da7565b9150612a7f82612a18565b604082019050919050565b60006020820190508181036000830152612aa381612a67565b9050919050565b60008190508160005260206000209050919050565b60006020601f8301049050919050565b600082821b905092915050565b600060088302612b0c7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82612acf565b612b168683612acf565b95508019841693508086168417925050509392505050565b6000819050919050565b6000612b53612b4e612b4984611e4e565b612b2e565b611e4e565b9050919050565b6000819050919050565b612b6d83612b38565b612b81612b7982612b5a565b848454612adc565b825550505050565b600090565b612b96612b89565b612ba1818484612b64565b505050565b5b81811015612bc557612bba600082612b8e565b600181019050612ba7565b5050565b601f821115612c0a57612bdb81612aaa565b612be484612abf565b81016020851015612bf3578190505b612c07612bff85612abf565b830182612ba6565b50505b505050565b600082821c905092915050565b6000612c2d60001984600802612c0f565b1980831691505092915050565b6000612c468383612c1c565b9150826002028217905092915050565b612c5f82611d9c565b67ffffffffffffffff811115612c7857612c77612099565b5b612c8282546123b3565b612c8d828285612bc9565b600060209050601f831160018114612cc05760008415612cae578287015190505b612cb88582612c3a565b865550612d20565b601f198416612cce86612aaa565b60005b82811015612cf657848901518255600182019150602085019450602081019050612cd1565b86831015612d135784890151612d0f601f891682612c1c565b8355505b6001600288020188555050505b505050505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000612d6282611e4e565b9150612d6d83611e4e565b9250828203905081811115612d8557612d84612d28565b5b92915050565b6000612d9682611e4e565b9150612da183611e4e565b9250828201905080821115612db957612db8612d28565b5b92915050565b600081519050919050565b600082825260208201905092915050565b6000612de682612dbf565b612df08185612dca565b9350612e00818560208601611db8565b612e0981611de2565b840191505092915050565b6000608082019050612e296000830187611ee3565b612e366020830186611ee3565b612e436040830185611ff9565b8181036060830152612e558184612ddb565b905095945050505050565b600081519050612e6f81611d0d565b92915050565b600060208284031215612e8b57612e8a611cd7565b5b6000612e9984828501612e60565b91505092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b7f4552433732313a206d696e7420746f20746865207a65726f2061646472657373600082015250565b6000612f07602083611da7565b9150612f1282612ed1565b602082019050919050565b60006020820190508181036000830152612f3681612efa565b9050919050565b7f4552433732313a20746f6b656e20616c7265616479206d696e74656400000000600082015250565b6000612f73601c83611da7565b9150612f7e82612f3d565b602082019050919050565b60006020820190508181036000830152612fa281612f66565b905091905056fea26469706673582212209c8566e825f259675608c42c94b5ff2d93704c6b053db87a59e93a9b7029e23c64736f6c63430008110033

0x608060405234801561001057600080fd5b506004361061010b5760003560e01c8063715018a6116100a2578063b88d4fde11610071578063b88d4fde146102a4578063c87b56dd146102c0578063d204c45e146102f0578063e985e9c51461030c578063f2fde38b1461033c5761010b565b8063715018a6146102425780638da5cb5b1461024c57806395d89b411461026a578063a22cb465146102885761010b565b806323b872dd116100de57806323b872dd146101aa57806342842e0e146101c65780636352211e146101e257806370a08231146102125761010b565b806301ffc9a71461011057806306fdde0314610140578063081812fc1461015e578063095ea7b31461018e575b600080fd5b61012a60048036038101906101259190611d39565b610358565b6040516101379190611d81565b60405180910390f35b61014861043a565b6040516101559190611e2c565b60405180910390f35b61017860048036038101906101739190611e84565b6104cc565b6040516101859190611ef2565b60405180910390f35b6101a860048036038101906101a39190611f39565b610512565b005b6101c460048036038101906101bf9190611f79565b610629565b005b6101e060048036038101906101db9190611f79565b610689565b005b6101fc60048036038101906101f79190611e84565b6106a9565b6040516102099190611ef2565b60405180910390f35b61022c60048036038101906102279190611fcc565b61072f565b6040516102399190612008565b60405180910390f35b61024a6107e6565b005b6102546107fa565b6040516102619190611ef2565b60405180910390f35b610272610824565b60405161027f9190611e2c565b60405180910390f35b6102a2600480360381019061029d919061204f565b6108b6565b005b6102be60048036038101906102b991906121c4565b6108cc565b005b6102da60048036038101906102d59190611e84565b61092e565b6040516102e79190611e2c565b60405180910390f35b61030a600480360381019061030591906122e8565b610940565b005b61032660048036038101906103219190612344565b610979565b6040516103339190611d81565b60405180910390f35b61035660048036038101906103519190611fcc565b610a0d565b005b60007f80ac58cd000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916148061042357507f5b5e139f000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916145b80610433575061043282610a90565b5b9050919050565b606060008054610449906123b3565b80601f0160208091040260200160405190810160405280929190818152602001828054610475906123b3565b80156104c25780601f10610497576101008083540402835291602001916104c2565b820191906000526020600020905b8154815290600101906020018083116104a557829003601f168201915b5050505050905090565b60006104d782610afa565b6004600083815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b600061051d826106a9565b90508073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff160361058d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161058490612456565b60405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff166105ac610b45565b73ffffffffffffffffffffffffffffffffffffffff1614806105db57506105da816105d5610b45565b610979565b5b61061a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610611906124e8565b60405180910390fd5b6106248383610b4d565b505050565b61063a610634610b45565b82610c06565b610679576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106709061257a565b60405180910390fd5b610684838383610c9b565b505050565b6106a4838383604051806020016040528060008152506108cc565b505050565b6000806106b583610f94565b9050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610726576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161071d906125e6565b60405180910390fd5b80915050919050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361079f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161079690612678565b60405180910390fd5b600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6107ee610fd1565b6107f8600061104f565b565b6000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b606060018054610833906123b3565b80601f016020809104026020016040519081016040528092919081815260200182805461085f906123b3565b80156108ac5780601f10610881576101008083540402835291602001916108ac565b820191906000526020600020905b81548152906001019060200180831161088f57829003601f168201915b5050505050905090565b6108c86108c1610b45565b8383611115565b5050565b6108dd6108d7610b45565b83610c06565b61091c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109139061257a565b60405180910390fd5b61092884848484611281565b50505050565b6060610939826112dd565b9050919050565b610948610fd1565b600061095460086113ef565b905061096060086113fd565b61096a8382611413565b6109748183611431565b505050565b6000600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b610a15610fd1565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610a84576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a7b9061270a565b60405180910390fd5b610a8d8161104f565b50565b60007f01ffc9a7000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916149050919050565b610b038161149e565b610b42576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b39906125e6565b60405180910390fd5b50565b600033905090565b816004600083815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550808273ffffffffffffffffffffffffffffffffffffffff16610bc0836106a9565b73ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92560405160405180910390a45050565b600080610c12836106a9565b90508073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff161480610c545750610c538185610979565b5b80610c9257508373ffffffffffffffffffffffffffffffffffffffff16610c7a846104cc565b73ffffffffffffffffffffffffffffffffffffffff16145b91505092915050565b8273ffffffffffffffffffffffffffffffffffffffff16610cbb826106a9565b73ffffffffffffffffffffffffffffffffffffffff1614610d11576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d089061279c565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610d80576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d779061282e565b60405180910390fd5b610d8d83838360016114df565b8273ffffffffffffffffffffffffffffffffffffffff16610dad826106a9565b73ffffffffffffffffffffffffffffffffffffffff1614610e03576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610dfa9061279c565b60405180910390fd5b6004600082815260200190815260200160002060006101000a81549073ffffffffffffffffffffffffffffffffffffffff02191690556001600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825403925050819055506001600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282540192505081905550816002600083815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550808273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a4610f8f8383836001611605565b505050565b60006002600083815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b610fd9610b45565b73ffffffffffffffffffffffffffffffffffffffff16610ff76107fa565b73ffffffffffffffffffffffffffffffffffffffff161461104d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016110449061289a565b60405180910390fd5b565b6000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603611183576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161117a90612906565b60405180910390fd5b80600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31836040516112749190611d81565b60405180910390a3505050565b61128c848484610c9b565b6112988484848461160b565b6112d7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016112ce90612998565b60405180910390fd5b50505050565b60606112e882610afa565b6000600660008481526020019081526020016000208054611308906123b3565b80601f0160208091040260200160405190810160405280929190818152602001828054611334906123b3565b80156113815780601f1061135657610100808354040283529160200191611381565b820191906000526020600020905b81548152906001019060200180831161136457829003601f168201915b505050505090506000611392611792565b905060008151036113a75781925050506113ea565b6000825111156113dc5780826040516020016113c49291906129f4565b604051602081830303815290604052925050506113ea565b6113e5846117a9565b925050505b919050565b600081600001549050919050565b6001816000016000828254019250508190555050565b61142d828260405180602001604052806000815250611811565b5050565b61143a8261149e565b611479576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161147090612a8a565b60405180910390fd5b806006600084815260200190815260200160002090816114999190612c56565b505050565b60008073ffffffffffffffffffffffffffffffffffffffff166114c083610f94565b73ffffffffffffffffffffffffffffffffffffffff1614159050919050565b60018111156115ff57600073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff16146115735780600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461156b9190612d57565b925050819055505b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16146115fe5780600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546115f69190612d8b565b925050819055505b5b50505050565b50505050565b600061162c8473ffffffffffffffffffffffffffffffffffffffff1661186c565b15611785578373ffffffffffffffffffffffffffffffffffffffff1663150b7a02611655610b45565b8786866040518563ffffffff1660e01b81526004016116779493929190612e14565b6020604051808303816000875af19250505080156116b357506040513d601f19601f820116820180604052508101906116b09190612e75565b60015b611735573d80600081146116e3576040519150601f19603f3d011682016040523d82523d6000602084013e6116e8565b606091505b50600081510361172d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161172490612998565b60405180910390fd5b805181602001fd5b63150b7a0260e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161491505061178a565b600190505b949350505050565b606060405180602001604052806000815250905090565b60606117b482610afa565b60006117be611792565b905060008151116117de5760405180602001604052806000815250611809565b806117e88461188f565b6040516020016117f99291906129f4565b6040516020818303038152906040525b915050919050565b61181b838361195d565b611828600084848461160b565b611867576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161185e90612998565b60405180910390fd5b505050565b6000808273ffffffffffffffffffffffffffffffffffffffff163b119050919050565b60606000600161189e84611b7a565b01905060008167ffffffffffffffff8111156118bd576118bc612099565b5b6040519080825280601f01601f1916602001820160405280156118ef5781602001600182028036833780820191505090505b509050600082602001820190505b600115611952578080600190039150507f3031323334353637383961626364656600000000000000000000000000000000600a86061a8153600a858161194657611945612ea2565b5b049450600085036118fd575b819350505050919050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036119cc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016119c390612f1d565b60405180910390fd5b6119d58161149e565b15611a15576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611a0c90612f89565b60405180910390fd5b611a236000838360016114df565b611a2c8161149e565b15611a6c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611a6390612f89565b60405180910390fd5b6001600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282540192505081905550816002600083815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550808273ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a4611b76600083836001611605565b5050565b600080600090507a184f03e93ff9f4daa797ed6e38ed64bf6a1f0100000000000000008310611bd8577a184f03e93ff9f4daa797ed6e38ed64bf6a1f0100000000000000008381611bce57611bcd612ea2565b5b0492506040810190505b6d04ee2d6d415b85acef81000000008310611c15576d04ee2d6d415b85acef81000000008381611c0b57611c0a612ea2565b5b0492506020810190505b662386f26fc100008310611c4457662386f26fc100008381611c3a57611c39612ea2565b5b0492506010810190505b6305f5e1008310611c6d576305f5e1008381611c6357611c62612ea2565b5b0492506008810190505b6127108310611c92576127108381611c8857611c87612ea2565b5b0492506004810190505b60648310611cb55760648381611cab57611caa612ea2565b5b0492506002810190505b600a8310611cc4576001810190505b80915050919050565b6000604051905090565b600080fd5b600080fd5b60007fffffffff0000000000000000000000000000000000000000000000000000000082169050919050565b611d1681611ce1565b8114611d2157600080fd5b50565b600081359050611d3381611d0d565b92915050565b600060208284031215611d4f57611d4e611cd7565b5b6000611d5d84828501611d24565b91505092915050565b60008115159050919050565b611d7b81611d66565b82525050565b6000602082019050611d966000830184611d72565b92915050565b600081519050919050565b600082825260208201905092915050565b60005b83811015611dd6578082015181840152602081019050611dbb565b60008484015250505050565b6000601f19601f8301169050919050565b6000611dfe82611d9c565b611e088185611da7565b9350611e18818560208601611db8565b611e2181611de2565b840191505092915050565b60006020820190508181036000830152611e468184611df3565b905092915050565b6000819050919050565b611e6181611e4e565b8114611e6c57600080fd5b50565b600081359050611e7e81611e58565b92915050565b600060208284031215611e9a57611e99611cd7565b5b6000611ea884828501611e6f565b91505092915050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000611edc82611eb1565b9050919050565b611eec81611ed1565b82525050565b6000602082019050611f076000830184611ee3565b92915050565b611f1681611ed1565b8114611f2157600080fd5b50565b600081359050611f3381611f0d565b92915050565b60008060408385031215611f5057611f4f611cd7565b5b6000611f5e85828601611f24565b9250506020611f6f85828601611e6f565b9150509250929050565b600080600060608486031215611f9257611f91611cd7565b5b6000611fa086828701611f24565b9350506020611fb186828701611f24565b9250506040611fc286828701611e6f565b9150509250925092565b600060208284031215611fe257611fe1611cd7565b5b6000611ff084828501611f24565b91505092915050565b61200281611e4e565b82525050565b600060208201905061201d6000830184611ff9565b92915050565b61202c81611d66565b811461203757600080fd5b50565b60008135905061204981612023565b92915050565b6000806040838503121561206657612065611cd7565b5b600061207485828601611f24565b92505060206120858582860161203a565b9150509250929050565b600080fd5b600080fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6120d182611de2565b810181811067ffffffffffffffff821117156120f0576120ef612099565b5b80604052505050565b6000612103611ccd565b905061210f82826120c8565b919050565b600067ffffffffffffffff82111561212f5761212e612099565b5b61213882611de2565b9050602081019050919050565b82818337600083830152505050565b600061216761216284612114565b6120f9565b90508281526020810184848401111561218357612182612094565b5b61218e848285612145565b509392505050565b600082601f8301126121ab576121aa61208f565b5b81356121bb848260208601612154565b91505092915050565b600080600080608085870312156121de576121dd611cd7565b5b60006121ec87828801611f24565b94505060206121fd87828801611f24565b935050604061220e87828801611e6f565b925050606085013567ffffffffffffffff81111561222f5761222e611cdc565b5b61223b87828801612196565b91505092959194509250565b600067ffffffffffffffff82111561226257612261612099565b5b61226b82611de2565b9050602081019050919050565b600061228b61228684612247565b6120f9565b9050828152602081018484840111156122a7576122a6612094565b5b6122b2848285612145565b509392505050565b600082601f8301126122cf576122ce61208f565b5b81356122df848260208601612278565b91505092915050565b600080604083850312156122ff576122fe611cd7565b5b600061230d85828601611f24565b925050602083013567ffffffffffffffff81111561232e5761232d611cdc565b5b61233a858286016122ba565b9150509250929050565b6000806040838503121561235b5761235a611cd7565b5b600061236985828601611f24565b925050602061237a85828601611f24565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b600060028204905060018216806123cb57607f821691505b6020821081036123de576123dd612384565b5b50919050565b7f4552433732313a20617070726f76616c20746f2063757272656e74206f776e6560008201527f7200000000000000000000000000000000000000000000000000000000000000602082015250565b6000612440602183611da7565b915061244b826123e4565b604082019050919050565b6000602082019050818103600083015261246f81612433565b9050919050565b7f4552433732313a20617070726f76652063616c6c6572206973206e6f7420746f60008201527f6b656e206f776e6572206f7220617070726f76656420666f7220616c6c000000602082015250565b60006124d2603d83611da7565b91506124dd82612476565b604082019050919050565b60006020820190508181036000830152612501816124c5565b9050919050565b7f4552433732313a2063616c6c6572206973206e6f7420746f6b656e206f776e6560008201527f72206f7220617070726f76656400000000000000000000000000000000000000602082015250565b6000612564602d83611da7565b915061256f82612508565b604082019050919050565b6000602082019050818103600083015261259381612557565b9050919050565b7f4552433732313a20696e76616c696420746f6b656e2049440000000000000000600082015250565b60006125d0601883611da7565b91506125db8261259a565b602082019050919050565b600060208201905081810360008301526125ff816125c3565b9050919050565b7f4552433732313a2061646472657373207a65726f206973206e6f74206120766160008201527f6c6964206f776e65720000000000000000000000000000000000000000000000602082015250565b6000612662602983611da7565b915061266d82612606565b604082019050919050565b6000602082019050818103600083015261269181612655565b9050919050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b60006126f4602683611da7565b91506126ff82612698565b604082019050919050565b60006020820190508181036000830152612723816126e7565b9050919050565b7f4552433732313a207472616e736665722066726f6d20696e636f72726563742060008201527f6f776e6572000000000000000000000000000000000000000000000000000000602082015250565b6000612786602583611da7565b91506127918261272a565b604082019050919050565b600060208201905081810360008301526127b581612779565b9050919050565b7f4552433732313a207472616e7366657220746f20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b6000612818602483611da7565b9150612823826127bc565b604082019050919050565b600060208201905081810360008301526128478161280b565b9050919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b6000612884602083611da7565b915061288f8261284e565b602082019050919050565b600060208201905081810360008301526128b381612877565b9050919050565b7f4552433732313a20617070726f766520746f2063616c6c657200000000000000600082015250565b60006128f0601983611da7565b91506128fb826128ba565b602082019050919050565b6000602082019050818103600083015261291f816128e3565b9050919050565b7f4552433732313a207472616e7366657220746f206e6f6e20455243373231526560008201527f63656976657220696d706c656d656e7465720000000000000000000000000000602082015250565b6000612982603283611da7565b915061298d82612926565b604082019050919050565b600060208201905081810360008301526129b181612975565b9050919050565b600081905092915050565b60006129ce82611d9c565b6129d881856129b8565b93506129e8818560208601611db8565b80840191505092915050565b6000612a0082856129c3565b9150612a0c82846129c3565b91508190509392505050565b7f45524337323155524953746f726167653a2055524920736574206f66206e6f6e60008201527f6578697374656e7420746f6b656e000000000000000000000000000000000000602082015250565b6000612a74602e83611da7565b9150612a7f82612a18565b604082019050919050565b60006020820190508181036000830152612aa381612a67565b9050919050565b60008190508160005260206000209050919050565b60006020601f8301049050919050565b600082821b905092915050565b600060088302612b0c7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82612acf565b612b168683612acf565b95508019841693508086168417925050509392505050565b6000819050919050565b6000612b53612b4e612b4984611e4e565b612b2e565b611e4e565b9050919050565b6000819050919050565b612b6d83612b38565b612b81612b7982612b5a565b848454612adc565b825550505050565b600090565b612b96612b89565b612ba1818484612b64565b505050565b5b81811015612bc557612bba600082612b8e565b600181019050612ba7565b5050565b601f821115612c0a57612bdb81612aaa565b612be484612abf565b81016020851015612bf3578190505b612c07612bff85612abf565b830182612ba6565b50505b505050565b600082821c905092915050565b6000612c2d60001984600802612c0f565b1980831691505092915050565b6000612c468383612c1c565b9150826002028217905092915050565b612c5f82611d9c565b67ffffffffffffffff811115612c7857612c77612099565b5b612c8282546123b3565b612c8d828285612bc9565b600060209050601f831160018114612cc05760008415612cae578287015190505b612cb88582612c3a565b865550612d20565b601f198416612cce86612aaa565b60005b82811015612cf657848901518255600182019150602085019450602081019050612cd1565b86831015612d135784890151612d0f601f891682612c1c565b8355505b6001600288020188555050505b505050505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000612d6282611e4e565b9150612d6d83611e4e565b9250828203905081811115612d8557612d84612d28565b5b92915050565b6000612d9682611e4e565b9150612da183611e4e565b9250828201905080821115612db957612db8612d28565b5b92915050565b600081519050919050565b600082825260208201905092915050565b6000612de682612dbf565b612df08185612dca565b9350612e00818560208601611db8565b612e0981611de2565b840191505092915050565b6000608082019050612e296000830187611ee3565b612e366020830186611ee3565b612e436040830185611ff9565b8181036060830152612e558184612ddb565b905095945050505050565b600081519050612e6f81611d0d565b92915050565b600060208284031215612e8b57612e8a611cd7565b5b6000612e9984828501612e60565b91505092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b7f4552433732313a206d696e7420746f20746865207a65726f2061646472657373600082015250565b6000612f07602083611da7565b9150612f1282612ed1565b602082019050919050565b60006020820190508181036000830152612f3681612efa565b9050919050565b7f4552433732313a20746f6b656e20616c7265616479206d696e74656400000000600082015250565b6000612f73601c83611da7565b9150612f7e82612f3d565b602082019050919050565b60006020820190508181036000830152612fa281612f66565b905091905056fea26469706673582212209c8566e825f259675608c42c94b5ff2d93704c6b053db87a59e93a9b7029e23c64736f6c63430008110033

57905:842:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;40042:305;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;40970:100;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;42482:171;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;42000:416;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;43182:335;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;43588:185;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;40680:223;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;40411:207;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;19473:103;;;:::i;:::-;;18825:87;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;41139:104;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;42725:155;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;43844:322;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;58548:196;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;58111:236;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;42951:164;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;19731:201;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;40042:305;40144:4;40196:25;40181:40;;;:11;:40;;;;:105;;;;40253:33;40238:48;;;:11;:48;;;;40181:105;:158;;;;40303:36;40327:11;40303:23;:36::i;:::-;40181:158;40161:178;;40042:305;;;:::o;40970:100::-;41024:13;41057:5;41050:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;40970:100;:::o;42482:171::-;42558:7;42578:23;42593:7;42578:14;:23::i;:::-;42621:15;:24;42637:7;42621:24;;;;;;;;;;;;;;;;;;;;;42614:31;;42482:171;;;:::o;42000:416::-;42081:13;42097:23;42112:7;42097:14;:23::i;:::-;42081:39;;42145:5;42139:11;;:2;:11;;;42131:57;;;;;;;;;;;;:::i;:::-;;;;;;;;;42239:5;42223:21;;:12;:10;:12::i;:::-;:21;;;:62;;;;42248:37;42265:5;42272:12;:10;:12::i;:::-;42248:16;:37::i;:::-;42223:62;42201:173;;;;;;;;;;;;:::i;:::-;;;;;;;;;42387:21;42396:2;42400:7;42387:8;:21::i;:::-;42070:346;42000:416;;:::o;43182:335::-;43377:41;43396:12;:10;:12::i;:::-;43410:7;43377:18;:41::i;:::-;43369:99;;;;;;;;;;;;:::i;:::-;;;;;;;;;43481:28;43491:4;43497:2;43501:7;43481:9;:28::i;:::-;43182:335;;;:::o;43588:185::-;43726:39;43743:4;43749:2;43753:7;43726:39;;;;;;;;;;;;:16;:39::i;:::-;43588:185;;;:::o;40680:223::-;40752:7;40772:13;40788:17;40797:7;40788:8;:17::i;:::-;40772:33;;40841:1;40824:19;;:5;:19;;;40816:56;;;;;;;;;;;;:::i;:::-;;;;;;;;;40890:5;40883:12;;;40680:223;;;:::o;40411:207::-;40483:7;40528:1;40511:19;;:5;:19;;;40503:73;;;;;;;;;;;;:::i;:::-;;;;;;;;;40594:9;:16;40604:5;40594:16;;;;;;;;;;;;;;;;40587:23;;40411:207;;;:::o;19473:103::-;18711:13;:11;:13::i;:::-;19538:30:::1;19565:1;19538:18;:30::i;:::-;19473:103::o:0;18825:87::-;18871:7;18898:6;;;;;;;;;;;18891:13;;18825:87;:::o;41139:104::-;41195:13;41228:7;41221:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;41139:104;:::o;42725:155::-;42820:52;42839:12;:10;:12::i;:::-;42853:8;42863;42820:18;:52::i;:::-;42725:155;;:::o;43844:322::-;44018:41;44037:12;:10;:12::i;:::-;44051:7;44018:18;:41::i;:::-;44010:99;;;;;;;;;;;;:::i;:::-;;;;;;;;;44120:38;44134:4;44140:2;44144:7;44153:4;44120:13;:38::i;:::-;43844:322;;;;:::o;58548:196::-;58675:13;58713:23;58728:7;58713:14;:23::i;:::-;58706:30;;58548:196;;;:::o;58111:236::-;18711:13;:11;:13::i;:::-;58188:15:::1;58206:25;:15;:23;:25::i;:::-;58188:43;;58242:27;:15;:25;:27::i;:::-;58280:22;58290:2;58294:7;58280:9;:22::i;:::-;58313:26;58326:7;58335:3;58313:12;:26::i;:::-;58177:170;58111:236:::0;;:::o;42951:164::-;43048:4;43072:18;:25;43091:5;43072:25;;;;;;;;;;;;;;;:35;43098:8;43072:35;;;;;;;;;;;;;;;;;;;;;;;;;43065:42;;42951:164;;;;:::o;19731:201::-;18711:13;:11;:13::i;:::-;19840:1:::1;19820:22;;:8;:22;;::::0;19812:73:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;19896:28;19915:8;19896:18;:28::i;:::-;19731:201:::0;:::o;32554:157::-;32639:4;32678:25;32663:40;;;:11;:40;;;;32656:47;;32554:157;;;:::o;52301:135::-;52383:16;52391:7;52383;:16::i;:::-;52375:53;;;;;;;;;;;;:::i;:::-;;;;;;;;;52301:135;:::o;17376:98::-;17429:7;17456:10;17449:17;;17376:98;:::o;51580:174::-;51682:2;51655:15;:24;51671:7;51655:24;;;;;;;;;;;;:29;;;;;;;;;;;;;;;;;;51738:7;51734:2;51700:46;;51709:23;51724:7;51709:14;:23::i;:::-;51700:46;;;;;;;;;;;;51580:174;;:::o;46199:264::-;46292:4;46309:13;46325:23;46340:7;46325:14;:23::i;:::-;46309:39;;46378:5;46367:16;;:7;:16;;;:52;;;;46387:32;46404:5;46411:7;46387:16;:32::i;:::-;46367:52;:87;;;;46447:7;46423:31;;:20;46435:7;46423:11;:20::i;:::-;:31;;;46367:87;46359:96;;;46199:264;;;;:::o;50198:1263::-;50357:4;50330:31;;:23;50345:7;50330:14;:23::i;:::-;:31;;;50322:81;;;;;;;;;;;;:::i;:::-;;;;;;;;;50436:1;50422:16;;:2;:16;;;50414:65;;;;;;;;;;;;:::i;:::-;;;;;;;;;50492:42;50513:4;50519:2;50523:7;50532:1;50492:20;:42::i;:::-;50664:4;50637:31;;:23;50652:7;50637:14;:23::i;:::-;:31;;;50629:81;;;;;;;;;;;;:::i;:::-;;;;;;;;;50782:15;:24;50798:7;50782:24;;;;;;;;;;;;50775:31;;;;;;;;;;;51277:1;51258:9;:15;51268:4;51258:15;;;;;;;;;;;;;;;;:20;;;;;;;;;;;51310:1;51293:9;:13;51303:2;51293:13;;;;;;;;;;;;;;;;:18;;;;;;;;;;;51352:2;51333:7;:16;51341:7;51333:16;;;;;;;;;;;;:21;;;;;;;;;;;;;;;;;;51391:7;51387:2;51372:27;;51381:4;51372:27;;;;;;;;;;;;51412:41;51432:4;51438:2;51442:7;51451:1;51412:19;:41::i;:::-;50198:1263;;;:::o;45474:117::-;45540:7;45567;:16;45575:7;45567:16;;;;;;;;;;;;;;;;;;;;;45560:23;;45474:117;;;:::o;18990:132::-;19065:12;:10;:12::i;:::-;19054:23;;:7;:5;:7::i;:::-;:23;;;19046:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;18990:132::o;20092:191::-;20166:16;20185:6;;;;;;;;;;;20166:25;;20211:8;20202:6;;:17;;;;;;;;;;;;;;;;;;20266:8;20235:40;;20256:8;20235:40;;;;;;;;;;;;20155:128;20092:191;:::o;51897:315::-;52052:8;52043:17;;:5;:17;;;52035:55;;;;;;;;;;;;:::i;:::-;;;;;;;;;52139:8;52101:18;:25;52120:5;52101:25;;;;;;;;;;;;;;;:35;52127:8;52101:35;;;;;;;;;;;;;;;;:46;;;;;;;;;;;;;;;;;;52185:8;52163:41;;52178:5;52163:41;;;52195:8;52163:41;;;;;;:::i;:::-;;;;;;;;51897:315;;;:::o;45047:313::-;45203:28;45213:4;45219:2;45223:7;45203:9;:28::i;:::-;45250:47;45273:4;45279:2;45283:7;45292:4;45250:22;:47::i;:::-;45242:110;;;;;;;;;;;;:::i;:::-;;;;;;;;;45047:313;;;;:::o;56408:624::-;56481:13;56507:23;56522:7;56507:14;:23::i;:::-;56543;56569:10;:19;56580:7;56569:19;;;;;;;;;;;56543:45;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;56599:18;56620:10;:8;:10::i;:::-;56599:31;;56728:1;56712:4;56706:18;:23;56702:72;;56753:9;56746:16;;;;;;56702:72;56904:1;56884:9;56878:23;:27;56874:108;;;56953:4;56959:9;56936:33;;;;;;;;;:::i;:::-;;;;;;;;;;;;;56922:48;;;;;;56874:108;57001:23;57016:7;57001:14;:23::i;:::-;56994:30;;;;56408:624;;;;:::o;905:114::-;970:7;997;:14;;;990:21;;905:114;;;:::o;1027:127::-;1134:1;1116:7;:14;;;:19;;;;;;;;;;;1027:127;:::o;46805:110::-;46881:26;46891:2;46895:7;46881:26;;;;;;;;;;;;:9;:26::i;:::-;46805:110;;:::o;57188:217::-;57288:16;57296:7;57288;:16::i;:::-;57280:75;;;;;;;;;;;;:::i;:::-;;;;;;;;;57388:9;57366:10;:19;57377:7;57366:19;;;;;;;;;;;:31;;;;;;:::i;:::-;;57188:217;;:::o;45904:128::-;45969:4;46022:1;45993:31;;:17;46002:7;45993:8;:17::i;:::-;:31;;;;45986:38;;45904:128;;;:::o;54585:410::-;54775:1;54763:9;:13;54759:229;;;54813:1;54797:18;;:4;:18;;;54793:87;;54855:9;54836;:15;54846:4;54836:15;;;;;;;;;;;;;;;;:28;;;;;;;:::i;:::-;;;;;;;;54793:87;54912:1;54898:16;;:2;:16;;;54894:83;;54952:9;54935;:13;54945:2;54935:13;;;;;;;;;;;;;;;;:26;;;;;;;:::i;:::-;;;;;;;;54894:83;54759:229;54585:410;;;;:::o;55717:158::-;;;;;:::o;53000:853::-;53154:4;53175:15;:2;:13;;;:15::i;:::-;53171:675;;;53227:2;53211:36;;;53248:12;:10;:12::i;:::-;53262:4;53268:7;53277:4;53211:71;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;53207:584;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;53469:1;53452:6;:13;:18;53448:328;;53495:60;;;;;;;;;;:::i;:::-;;;;;;;;53448:328;53726:6;53720:13;53711:6;53707:2;53703:15;53696:38;53207:584;53343:41;;;53333:51;;;:6;:51;;;;53326:58;;;;;53171:675;53830:4;53823:11;;53000:853;;;;;;;:::o;41844:94::-;41895:13;41921:9;;;;;;;;;;;;;;41844:94;:::o;41314:281::-;41387:13;41413:23;41428:7;41413:14;:23::i;:::-;41449:21;41473:10;:8;:10::i;:::-;41449:34;;41525:1;41507:7;41501:21;:25;:86;;;;;;;;;;;;;;;;;41553:7;41562:18;:7;:16;:18::i;:::-;41536:45;;;;;;;;;:::i;:::-;;;;;;;;;;;;;41501:86;41494:93;;;41314:281;;;:::o;47142:319::-;47271:18;47277:2;47281:7;47271:5;:18::i;:::-;47322:53;47353:1;47357:2;47361:7;47370:4;47322:22;:53::i;:::-;47300:153;;;;;;;;;;;;:::i;:::-;;;;;;;;;47142:319;;;:::o;21523:326::-;21583:4;21840:1;21818:7;:19;;;:23;21811:30;;21523:326;;;:::o;14803:716::-;14859:13;14910:14;14947:1;14927:17;14938:5;14927:10;:17::i;:::-;:21;14910:38;;14963:20;14997:6;14986:18;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14963:41;;15019:11;15148:6;15144:2;15140:15;15132:6;15128:28;15121:35;;15185:288;15192:4;15185:288;;;15217:5;;;;;;;;15359:8;15354:2;15347:5;15343:14;15338:30;15333:3;15325:44;15415:2;15406:11;;;;;;:::i;:::-;;;;;15449:1;15440:5;:10;15185:288;15436:21;15185:288;15494:6;15487:13;;;;;14803:716;;;:::o;47797:942::-;47891:1;47877:16;;:2;:16;;;47869:61;;;;;;;;;;;;:::i;:::-;;;;;;;;;47950:16;47958:7;47950;:16::i;:::-;47949:17;47941:58;;;;;;;;;;;;:::i;:::-;;;;;;;;;48012:48;48041:1;48045:2;48049:7;48058:1;48012:20;:48::i;:::-;48159:16;48167:7;48159;:16::i;:::-;48158:17;48150:58;;;;;;;;;;;;:::i;:::-;;;;;;;;;48574:1;48557:9;:13;48567:2;48557:13;;;;;;;;;;;;;;;;:18;;;;;;;;;;;48618:2;48599:7;:16;48607:7;48599:16;;;;;;;;;;;;:21;;;;;;;;;;;;;;;;;;48663:7;48659:2;48638:33;;48655:1;48638:33;;;;;;;;;;;;48684:47;48712:1;48716:2;48720:7;48729:1;48684:19;:47::i;:::-;47797:942;;:::o;11669:922::-;11722:7;11742:14;11759:1;11742:18;;11809:6;11800:5;:15;11796:102;;11845:6;11836:15;;;;;;:::i;:::-;;;;;11880:2;11870:12;;;;11796:102;11925:6;11916:5;:15;11912:102;;11961:6;11952:15;;;;;;:::i;:::-;;;;;11996:2;11986:12;;;;11912:102;12041:6;12032:5;:15;12028:102;;12077:6;12068:15;;;;;;:::i;:::-;;;;;12112:2;12102:12;;;;12028:102;12157:5;12148;:14;12144:99;;12192:5;12183:14;;;;;;:::i;:::-;;;;;12226:1;12216:11;;;;12144:99;12270:5;12261;:14;12257:99;;12305:5;12296:14;;;;;;:::i;:::-;;;;;12339:1;12329:11;;;;12257:99;12383:5;12374;:14;12370:99;;12418:5;12409:14;;;;;;:::i;:::-;;;;;12452:1;12442:11;;;;12370:99;12496:5;12487;:14;12483:66;;12532:1;12522:11;;;;12483:66;12577:6;12570:13;;;11669:922;;;:::o;7:75:1:-;40:6;73:2;67:9;57:19;;7:75;:::o;88:117::-;197:1;194;187:12;211:117;320:1;317;310:12;334:149;370:7;410:66;403:5;399:78;388:89;;334:149;;;:::o;489:120::-;561:23;578:5;561:23;:::i;:::-;554:5;551:34;541:62;;599:1;596;589:12;541:62;489:120;:::o;615:137::-;660:5;698:6;685:20;676:29;;714:32;740:5;714:32;:::i;:::-;615:137;;;;:::o;758:327::-;816:6;865:2;853:9;844:7;840:23;836:32;833:119;;;871:79;;:::i;:::-;833:119;991:1;1016:52;1060:7;1051:6;1040:9;1036:22;1016:52;:::i;:::-;1006:62;;962:116;758:327;;;;:::o;1091:90::-;1125:7;1168:5;1161:13;1154:21;1143:32;;1091:90;;;:::o;1187:109::-;1268:21;1283:5;1268:21;:::i;:::-;1263:3;1256:34;1187:109;;:::o;1302:210::-;1389:4;1427:2;1416:9;1412:18;1404:26;;1440:65;1502:1;1491:9;1487:17;1478:6;1440:65;:::i;:::-;1302:210;;;;:::o;1518:99::-;1570:6;1604:5;1598:12;1588:22;;1518:99;;;:::o;1623:169::-;1707:11;1741:6;1736:3;1729:19;1781:4;1776:3;1772:14;1757:29;;1623:169;;;;:::o;1798:246::-;1879:1;1889:113;1903:6;1900:1;1897:13;1889:113;;;1988:1;1983:3;1979:11;1973:18;1969:1;1964:3;1960:11;1953:39;1925:2;1922:1;1918:10;1913:15;;1889:113;;;2036:1;2027:6;2022:3;2018:16;2011:27;1860:184;1798:246;;;:::o;2050:102::-;2091:6;2142:2;2138:7;2133:2;2126:5;2122:14;2118:28;2108:38;;2050:102;;;:::o;2158:377::-;2246:3;2274:39;2307:5;2274:39;:::i;:::-;2329:71;2393:6;2388:3;2329:71;:::i;:::-;2322:78;;2409:65;2467:6;2462:3;2455:4;2448:5;2444:16;2409:65;:::i;:::-;2499:29;2521:6;2499:29;:::i;:::-;2494:3;2490:39;2483:46;;2250:285;2158:377;;;;:::o;2541:313::-;2654:4;2692:2;2681:9;2677:18;2669:26;;2741:9;2735:4;2731:20;2727:1;2716:9;2712:17;2705:47;2769:78;2842:4;2833:6;2769:78;:::i;:::-;2761:86;;2541:313;;;;:::o;2860:77::-;2897:7;2926:5;2915:16;;2860:77;;;:::o;2943:122::-;3016:24;3034:5;3016:24;:::i;:::-;3009:5;3006:35;2996:63;;3055:1;3052;3045:12;2996:63;2943:122;:::o;3071:139::-;3117:5;3155:6;3142:20;3133:29;;3171:33;3198:5;3171:33;:::i;:::-;3071:139;;;;:::o;3216:329::-;3275:6;3324:2;3312:9;3303:7;3299:23;3295:32;3292:119;;;3330:79;;:::i;:::-;3292:119;3450:1;3475:53;3520:7;3511:6;3500:9;3496:22;3475:53;:::i;:::-;3465:63;;3421:117;3216:329;;;;:::o;3551:126::-;3588:7;3628:42;3621:5;3617:54;3606:65;;3551:126;;;:::o;3683:96::-;3720:7;3749:24;3767:5;3749:24;:::i;:::-;3738:35;;3683:96;;;:::o;3785:118::-;3872:24;3890:5;3872:24;:::i;:::-;3867:3;3860:37;3785:118;;:::o;3909:222::-;4002:4;4040:2;4029:9;4025:18;4017:26;;4053:71;4121:1;4110:9;4106:17;4097:6;4053:71;:::i;:::-;3909:222;;;;:::o;4137:122::-;4210:24;4228:5;4210:24;:::i;:::-;4203:5;4200:35;4190:63;;4249:1;4246;4239:12;4190:63;4137:122;:::o;4265:139::-;4311:5;4349:6;4336:20;4327:29;;4365:33;4392:5;4365:33;:::i;:::-;4265:139;;;;:::o;4410:474::-;4478:6;4486;4535:2;4523:9;4514:7;4510:23;4506:32;4503:119;;;4541:79;;:::i;:::-;4503:119;4661:1;4686:53;4731:7;4722:6;4711:9;4707:22;4686:53;:::i;:::-;4676:63;;4632:117;4788:2;4814:53;4859:7;4850:6;4839:9;4835:22;4814:53;:::i;:::-;4804:63;;4759:118;4410:474;;;;;:::o;4890:619::-;4967:6;4975;4983;5032:2;5020:9;5011:7;5007:23;5003:32;5000:119;;;5038:79;;:::i;:::-;5000:119;5158:1;5183:53;5228:7;5219:6;5208:9;5204:22;5183:53;:::i;:::-;5173:63;;5129:117;5285:2;5311:53;5356:7;5347:6;5336:9;5332:22;5311:53;:::i;:::-;5301:63;;5256:118;5413:2;5439:53;5484:7;5475:6;5464:9;5460:22;5439:53;:::i;:::-;5429:63;;5384:118;4890:619;;;;;:::o;5515:329::-;5574:6;5623:2;5611:9;5602:7;5598:23;5594:32;5591:119;;;5629:79;;:::i;:::-;5591:119;5749:1;5774:53;5819:7;5810:6;5799:9;5795:22;5774:53;:::i;:::-;5764:63;;5720:117;5515:329;;;;:::o;5850:118::-;5937:24;5955:5;5937:24;:::i;:::-;5932:3;5925:37;5850:118;;:::o;5974:222::-;6067:4;6105:2;6094:9;6090:18;6082:26;;6118:71;6186:1;6175:9;6171:17;6162:6;6118:71;:::i;:::-;5974:222;;;;:::o;6202:116::-;6272:21;6287:5;6272:21;:::i;:::-;6265:5;6262:32;6252:60;;6308:1;6305;6298:12;6252:60;6202:116;:::o;6324:133::-;6367:5;6405:6;6392:20;6383:29;;6421:30;6445:5;6421:30;:::i;:::-;6324:133;;;;:::o;6463:468::-;6528:6;6536;6585:2;6573:9;6564:7;6560:23;6556:32;6553:119;;;6591:79;;:::i;:::-;6553:119;6711:1;6736:53;6781:7;6772:6;6761:9;6757:22;6736:53;:::i;:::-;6726:63;;6682:117;6838:2;6864:50;6906:7;6897:6;6886:9;6882:22;6864:50;:::i;:::-;6854:60;;6809:115;6463:468;;;;;:::o;6937:117::-;7046:1;7043;7036:12;7060:117;7169:1;7166;7159:12;7183:180;7231:77;7228:1;7221:88;7328:4;7325:1;7318:15;7352:4;7349:1;7342:15;7369:281;7452:27;7474:4;7452:27;:::i;:::-;7444:6;7440:40;7582:6;7570:10;7567:22;7546:18;7534:10;7531:34;7528:62;7525:88;;;7593:18;;:::i;:::-;7525:88;7633:10;7629:2;7622:22;7412:238;7369:281;;:::o;7656:129::-;7690:6;7717:20;;:::i;:::-;7707:30;;7746:33;7774:4;7766:6;7746:33;:::i;:::-;7656:129;;;:::o;7791:307::-;7852:4;7942:18;7934:6;7931:30;7928:56;;;7964:18;;:::i;:::-;7928:56;8002:29;8024:6;8002:29;:::i;:::-;7994:37;;8086:4;8080;8076:15;8068:23;;7791:307;;;:::o;8104:146::-;8201:6;8196:3;8191;8178:30;8242:1;8233:6;8228:3;8224:16;8217:27;8104:146;;;:::o;8256:423::-;8333:5;8358:65;8374:48;8415:6;8374:48;:::i;:::-;8358:65;:::i;:::-;8349:74;;8446:6;8439:5;8432:21;8484:4;8477:5;8473:16;8522:3;8513:6;8508:3;8504:16;8501:25;8498:112;;;8529:79;;:::i;:::-;8498:112;8619:54;8666:6;8661:3;8656;8619:54;:::i;:::-;8339:340;8256:423;;;;;:::o;8698:338::-;8753:5;8802:3;8795:4;8787:6;8783:17;8779:27;8769:122;;8810:79;;:::i;:::-;8769:122;8927:6;8914:20;8952:78;9026:3;9018:6;9011:4;9003:6;8999:17;8952:78;:::i;:::-;8943:87;;8759:277;8698:338;;;;:::o;9042:943::-;9137:6;9145;9153;9161;9210:3;9198:9;9189:7;9185:23;9181:33;9178:120;;;9217:79;;:::i;:::-;9178:120;9337:1;9362:53;9407:7;9398:6;9387:9;9383:22;9362:53;:::i;:::-;9352:63;;9308:117;9464:2;9490:53;9535:7;9526:6;9515:9;9511:22;9490:53;:::i;:::-;9480:63;;9435:118;9592:2;9618:53;9663:7;9654:6;9643:9;9639:22;9618:53;:::i;:::-;9608:63;;9563:118;9748:2;9737:9;9733:18;9720:32;9779:18;9771:6;9768:30;9765:117;;;9801:79;;:::i;:::-;9765:117;9906:62;9960:7;9951:6;9940:9;9936:22;9906:62;:::i;:::-;9896:72;;9691:287;9042:943;;;;;;;:::o;9991:308::-;10053:4;10143:18;10135:6;10132:30;10129:56;;;10165:18;;:::i;:::-;10129:56;10203:29;10225:6;10203:29;:::i;:::-;10195:37;;10287:4;10281;10277:15;10269:23;;9991:308;;;:::o;10305:425::-;10383:5;10408:66;10424:49;10466:6;10424:49;:::i;:::-;10408:66;:::i;:::-;10399:75;;10497:6;10490:5;10483:21;10535:4;10528:5;10524:16;10573:3;10564:6;10559:3;10555:16;10552:25;10549:112;;;10580:79;;:::i;:::-;10549:112;10670:54;10717:6;10712:3;10707;10670:54;:::i;:::-;10389:341;10305:425;;;;;:::o;10750:340::-;10806:5;10855:3;10848:4;10840:6;10836:17;10832:27;10822:122;;10863:79;;:::i;:::-;10822:122;10980:6;10967:20;11005:79;11080:3;11072:6;11065:4;11057:6;11053:17;11005:79;:::i;:::-;10996:88;;10812:278;10750:340;;;;:::o;11096:654::-;11174:6;11182;11231:2;11219:9;11210:7;11206:23;11202:32;11199:119;;;11237:79;;:::i;:::-;11199:119;11357:1;11382:53;11427:7;11418:6;11407:9;11403:22;11382:53;:::i;:::-;11372:63;;11328:117;11512:2;11501:9;11497:18;11484:32;11543:18;11535:6;11532:30;11529:117;;;11565:79;;:::i;:::-;11529:117;11670:63;11725:7;11716:6;11705:9;11701:22;11670:63;:::i;:::-;11660:73;;11455:288;11096:654;;;;;:::o;11756:474::-;11824:6;11832;11881:2;11869:9;11860:7;11856:23;11852:32;11849:119;;;11887:79;;:::i;:::-;11849:119;12007:1;12032:53;12077:7;12068:6;12057:9;12053:22;12032:53;:::i;:::-;12022:63;;11978:117;12134:2;12160:53;12205:7;12196:6;12185:9;12181:22;12160:53;:::i;:::-;12150:63;;12105:118;11756:474;;;;;:::o;12236:180::-;12284:77;12281:1;12274:88;12381:4;12378:1;12371:15;12405:4;12402:1;12395:15;12422:320;12466:6;12503:1;12497:4;12493:12;12483:22;;12550:1;12544:4;12540:12;12571:18;12561:81;;12627:4;12619:6;12615:17;12605:27;;12561:81;12689:2;12681:6;12678:14;12658:18;12655:38;12652:84;;12708:18;;:::i;:::-;12652:84;12473:269;12422:320;;;:::o;12748:220::-;12888:34;12884:1;12876:6;12872:14;12865:58;12957:3;12952:2;12944:6;12940:15;12933:28;12748:220;:::o;12974:366::-;13116:3;13137:67;13201:2;13196:3;13137:67;:::i;:::-;13130:74;;13213:93;13302:3;13213:93;:::i;:::-;13331:2;13326:3;13322:12;13315:19;;12974:366;;;:::o;13346:419::-;13512:4;13550:2;13539:9;13535:18;13527:26;;13599:9;13593:4;13589:20;13585:1;13574:9;13570:17;13563:47;13627:131;13753:4;13627:131;:::i;:::-;13619:139;;13346:419;;;:::o;13771:248::-;13911:34;13907:1;13899:6;13895:14;13888:58;13980:31;13975:2;13967:6;13963:15;13956:56;13771:248;:::o;14025:366::-;14167:3;14188:67;14252:2;14247:3;14188:67;:::i;:::-;14181:74;;14264:93;14353:3;14264:93;:::i;:::-;14382:2;14377:3;14373:12;14366:19;;14025:366;;;:::o;14397:419::-;14563:4;14601:2;14590:9;14586:18;14578:26;;14650:9;14644:4;14640:20;14636:1;14625:9;14621:17;14614:47;14678:131;14804:4;14678:131;:::i;:::-;14670:139;;14397:419;;;:::o;14822:232::-;14962:34;14958:1;14950:6;14946:14;14939:58;15031:15;15026:2;15018:6;15014:15;15007:40;14822:232;:::o;15060:366::-;15202:3;15223:67;15287:2;15282:3;15223:67;:::i;:::-;15216:74;;15299:93;15388:3;15299:93;:::i;:::-;15417:2;15412:3;15408:12;15401:19;;15060:366;;;:::o;15432:419::-;15598:4;15636:2;15625:9;15621:18;15613:26;;15685:9;15679:4;15675:20;15671:1;15660:9;15656:17;15649:47;15713:131;15839:4;15713:131;:::i;:::-;15705:139;;15432:419;;;:::o;15857:174::-;15997:26;15993:1;15985:6;15981:14;15974:50;15857:174;:::o;16037:366::-;16179:3;16200:67;16264:2;16259:3;16200:67;:::i;:::-;16193:74;;16276:93;16365:3;16276:93;:::i;:::-;16394:2;16389:3;16385:12;16378:19;;16037:366;;;:::o;16409:419::-;16575:4;16613:2;16602:9;16598:18;16590:26;;16662:9;16656:4;16652:20;16648:1;16637:9;16633:17;16626:47;16690:131;16816:4;16690:131;:::i;:::-;16682:139;;16409:419;;;:::o;16834:228::-;16974:34;16970:1;16962:6;16958:14;16951:58;17043:11;17038:2;17030:6;17026:15;17019:36;16834:228;:::o;17068:366::-;17210:3;17231:67;17295:2;17290:3;17231:67;:::i;:::-;17224:74;;17307:93;17396:3;17307:93;:::i;:::-;17425:2;17420:3;17416:12;17409:19;;17068:366;;;:::o;17440:419::-;17606:4;17644:2;17633:9;17629:18;17621:26;;17693:9;17687:4;17683:20;17679:1;17668:9;17664:17;17657:47;17721:131;17847:4;17721:131;:::i;:::-;17713:139;;17440:419;;;:::o;17865:225::-;18005:34;18001:1;17993:6;17989:14;17982:58;18074:8;18069:2;18061:6;18057:15;18050:33;17865:225;:::o;18096:366::-;18238:3;18259:67;18323:2;18318:3;18259:67;:::i;:::-;18252:74;;18335:93;18424:3;18335:93;:::i;:::-;18453:2;18448:3;18444:12;18437:19;;18096:366;;;:::o;18468:419::-;18634:4;18672:2;18661:9;18657:18;18649:26;;18721:9;18715:4;18711:20;18707:1;18696:9;18692:17;18685:47;18749:131;18875:4;18749:131;:::i;:::-;18741:139;;18468:419;;;:::o;18893:224::-;19033:34;19029:1;19021:6;19017:14;19010:58;19102:7;19097:2;19089:6;19085:15;19078:32;18893:224;:::o;19123:366::-;19265:3;19286:67;19350:2;19345:3;19286:67;:::i;:::-;19279:74;;19362:93;19451:3;19362:93;:::i;:::-;19480:2;19475:3;19471:12;19464:19;;19123:366;;;:::o;19495:419::-;19661:4;19699:2;19688:9;19684:18;19676:26;;19748:9;19742:4;19738:20;19734:1;19723:9;19719:17;19712:47;19776:131;19902:4;19776:131;:::i;:::-;19768:139;;19495:419;;;:::o;19920:223::-;20060:34;20056:1;20048:6;20044:14;20037:58;20129:6;20124:2;20116:6;20112:15;20105:31;19920:223;:::o;20149:366::-;20291:3;20312:67;20376:2;20371:3;20312:67;:::i;:::-;20305:74;;20388:93;20477:3;20388:93;:::i;:::-;20506:2;20501:3;20497:12;20490:19;;20149:366;;;:::o;20521:419::-;20687:4;20725:2;20714:9;20710:18;20702:26;;20774:9;20768:4;20764:20;20760:1;20749:9;20745:17;20738:47;20802:131;20928:4;20802:131;:::i;:::-;20794:139;;20521:419;;;:::o;20946:182::-;21086:34;21082:1;21074:6;21070:14;21063:58;20946:182;:::o;21134:366::-;21276:3;21297:67;21361:2;21356:3;21297:67;:::i;:::-;21290:74;;21373:93;21462:3;21373:93;:::i;:::-;21491:2;21486:3;21482:12;21475:19;;21134:366;;;:::o;21506:419::-;21672:4;21710:2;21699:9;21695:18;21687:26;;21759:9;21753:4;21749:20;21745:1;21734:9;21730:17;21723:47;21787:131;21913:4;21787:131;:::i;:::-;21779:139;;21506:419;;;:::o;21931:175::-;22071:27;22067:1;22059:6;22055:14;22048:51;21931:175;:::o;22112:366::-;22254:3;22275:67;22339:2;22334:3;22275:67;:::i;:::-;22268:74;;22351:93;22440:3;22351:93;:::i;:::-;22469:2;22464:3;22460:12;22453:19;;22112:366;;;:::o;22484:419::-;22650:4;22688:2;22677:9;22673:18;22665:26;;22737:9;22731:4;22727:20;22723:1;22712:9;22708:17;22701:47;22765:131;22891:4;22765:131;:::i;:::-;22757:139;;22484:419;;;:::o;22909:237::-;23049:34;23045:1;23037:6;23033:14;23026:58;23118:20;23113:2;23105:6;23101:15;23094:45;22909:237;:::o;23152:366::-;23294:3;23315:67;23379:2;23374:3;23315:67;:::i;:::-;23308:74;;23391:93;23480:3;23391:93;:::i;:::-;23509:2;23504:3;23500:12;23493:19;;23152:366;;;:::o;23524:419::-;23690:4;23728:2;23717:9;23713:18;23705:26;;23777:9;23771:4;23767:20;23763:1;23752:9;23748:17;23741:47;23805:131;23931:4;23805:131;:::i;:::-;23797:139;;23524:419;;;:::o;23949:148::-;24051:11;24088:3;24073:18;;23949:148;;;;:::o;24103:390::-;24209:3;24237:39;24270:5;24237:39;:::i;:::-;24292:89;24374:6;24369:3;24292:89;:::i;:::-;24285:96;;24390:65;24448:6;24443:3;24436:4;24429:5;24425:16;24390:65;:::i;:::-;24480:6;24475:3;24471:16;24464:23;;24213:280;24103:390;;;;:::o;24499:435::-;24679:3;24701:95;24792:3;24783:6;24701:95;:::i;:::-;24694:102;;24813:95;24904:3;24895:6;24813:95;:::i;:::-;24806:102;;24925:3;24918:10;;24499:435;;;;;:::o;24940:233::-;25080:34;25076:1;25068:6;25064:14;25057:58;25149:16;25144:2;25136:6;25132:15;25125:41;24940:233;:::o;25179:366::-;25321:3;25342:67;25406:2;25401:3;25342:67;:::i;:::-;25335:74;;25418:93;25507:3;25418:93;:::i;:::-;25536:2;25531:3;25527:12;25520:19;;25179:366;;;:::o;25551:419::-;25717:4;25755:2;25744:9;25740:18;25732:26;;25804:9;25798:4;25794:20;25790:1;25779:9;25775:17;25768:47;25832:131;25958:4;25832:131;:::i;:::-;25824:139;;25551:419;;;:::o;25976:141::-;26025:4;26048:3;26040:11;;26071:3;26068:1;26061:14;26105:4;26102:1;26092:18;26084:26;;25976:141;;;:::o;26123:93::-;26160:6;26207:2;26202;26195:5;26191:14;26187:23;26177:33;;26123:93;;;:::o;26222:107::-;26266:8;26316:5;26310:4;26306:16;26285:37;;26222:107;;;;:::o;26335:393::-;26404:6;26454:1;26442:10;26438:18;26477:97;26507:66;26496:9;26477:97;:::i;:::-;26595:39;26625:8;26614:9;26595:39;:::i;:::-;26583:51;;26667:4;26663:9;26656:5;26652:21;26643:30;;26716:4;26706:8;26702:19;26695:5;26692:30;26682:40;;26411:317;;26335:393;;;;;:::o;26734:60::-;26762:3;26783:5;26776:12;;26734:60;;;:::o;26800:142::-;26850:9;26883:53;26901:34;26910:24;26928:5;26910:24;:::i;:::-;26901:34;:::i;:::-;26883:53;:::i;:::-;26870:66;;26800:142;;;:::o;26948:75::-;26991:3;27012:5;27005:12;;26948:75;;;:::o;27029:269::-;27139:39;27170:7;27139:39;:::i;:::-;27200:91;27249:41;27273:16;27249:41;:::i;:::-;27241:6;27234:4;27228:11;27200:91;:::i;:::-;27194:4;27187:105;27105:193;27029:269;;;:::o;27304:73::-;27349:3;27304:73;:::o;27383:189::-;27460:32;;:::i;:::-;27501:65;27559:6;27551;27545:4;27501:65;:::i;:::-;27436:136;27383:189;;:::o;27578:186::-;27638:120;27655:3;27648:5;27645:14;27638:120;;;27709:39;27746:1;27739:5;27709:39;:::i;:::-;27682:1;27675:5;27671:13;27662:22;;27638:120;;;27578:186;;:::o;27770:543::-;27871:2;27866:3;27863:11;27860:446;;;27905:38;27937:5;27905:38;:::i;:::-;27989:29;28007:10;27989:29;:::i;:::-;27979:8;27975:44;28172:2;28160:10;28157:18;28154:49;;;28193:8;28178:23;;28154:49;28216:80;28272:22;28290:3;28272:22;:::i;:::-;28262:8;28258:37;28245:11;28216:80;:::i;:::-;27875:431;;27860:446;27770:543;;;:::o;28319:117::-;28373:8;28423:5;28417:4;28413:16;28392:37;;28319:117;;;;:::o;28442:169::-;28486:6;28519:51;28567:1;28563:6;28555:5;28552:1;28548:13;28519:51;:::i;:::-;28515:56;28600:4;28594;28590:15;28580:25;;28493:118;28442:169;;;;:::o;28616:295::-;28692:4;28838:29;28863:3;28857:4;28838:29;:::i;:::-;28830:37;;28900:3;28897:1;28893:11;28887:4;28884:21;28876:29;;28616:295;;;;:::o;28916:1395::-;29033:37;29066:3;29033:37;:::i;:::-;29135:18;29127:6;29124:30;29121:56;;;29157:18;;:::i;:::-;29121:56;29201:38;29233:4;29227:11;29201:38;:::i;:::-;29286:67;29346:6;29338;29332:4;29286:67;:::i;:::-;29380:1;29404:4;29391:17;;29436:2;29428:6;29425:14;29453:1;29448:618;;;;30110:1;30127:6;30124:77;;;30176:9;30171:3;30167:19;30161:26;30152:35;;30124:77;30227:67;30287:6;30280:5;30227:67;:::i;:::-;30221:4;30214:81;30083:222;29418:887;;29448:618;29500:4;29496:9;29488:6;29484:22;29534:37;29566:4;29534:37;:::i;:::-;29593:1;29607:208;29621:7;29618:1;29615:14;29607:208;;;29700:9;29695:3;29691:19;29685:26;29677:6;29670:42;29751:1;29743:6;29739:14;29729:24;;29798:2;29787:9;29783:18;29770:31;;29644:4;29641:1;29637:12;29632:17;;29607:208;;;29843:6;29834:7;29831:19;29828:179;;;29901:9;29896:3;29892:19;29886:26;29944:48;29986:4;29978:6;29974:17;29963:9;29944:48;:::i;:::-;29936:6;29929:64;29851:156;29828:179;30053:1;30049;30041:6;30037:14;30033:22;30027:4;30020:36;29455:611;;;29418:887;;29008:1303;;;28916:1395;;:::o;30317:180::-;30365:77;30362:1;30355:88;30462:4;30459:1;30452:15;30486:4;30483:1;30476:15;30503:194;30543:4;30563:20;30581:1;30563:20;:::i;:::-;30558:25;;30597:20;30615:1;30597:20;:::i;:::-;30592:25;;30641:1;30638;30634:9;30626:17;;30665:1;30659:4;30656:11;30653:37;;;30670:18;;:::i;:::-;30653:37;30503:194;;;;:::o;30703:191::-;30743:3;30762:20;30780:1;30762:20;:::i;:::-;30757:25;;30796:20;30814:1;30796:20;:::i;:::-;30791:25;;30839:1;30836;30832:9;30825:16;;30860:3;30857:1;30854:10;30851:36;;;30867:18;;:::i;:::-;30851:36;30703:191;;;;:::o;30900:98::-;30951:6;30985:5;30979:12;30969:22;;30900:98;;;:::o;31004:168::-;31087:11;31121:6;31116:3;31109:19;31161:4;31156:3;31152:14;31137:29;;31004:168;;;;:::o;31178:373::-;31264:3;31292:38;31324:5;31292:38;:::i;:::-;31346:70;31409:6;31404:3;31346:70;:::i;:::-;31339:77;;31425:65;31483:6;31478:3;31471:4;31464:5;31460:16;31425:65;:::i;:::-;31515:29;31537:6;31515:29;:::i;:::-;31510:3;31506:39;31499:46;;31268:283;31178:373;;;;:::o;31557:640::-;31752:4;31790:3;31779:9;31775:19;31767:27;;31804:71;31872:1;31861:9;31857:17;31848:6;31804:71;:::i;:::-;31885:72;31953:2;31942:9;31938:18;31929:6;31885:72;:::i;:::-;31967;32035:2;32024:9;32020:18;32011:6;31967:72;:::i;:::-;32086:9;32080:4;32076:20;32071:2;32060:9;32056:18;32049:48;32114:76;32185:4;32176:6;32114:76;:::i;:::-;32106:84;;31557:640;;;;;;;:::o;32203:141::-;32259:5;32290:6;32284:13;32275:22;;32306:32;32332:5;32306:32;:::i;:::-;32203:141;;;;:::o;32350:349::-;32419:6;32468:2;32456:9;32447:7;32443:23;32439:32;32436:119;;;32474:79;;:::i;:::-;32436:119;32594:1;32619:63;32674:7;32665:6;32654:9;32650:22;32619:63;:::i;:::-;32609:73;;32565:127;32350:349;;;;:::o;32705:180::-;32753:77;32750:1;32743:88;32850:4;32847:1;32840:15;32874:4;32871:1;32864:15;32891:182;33031:34;33027:1;33019:6;33015:14;33008:58;32891:182;:::o;33079:366::-;33221:3;33242:67;33306:2;33301:3;33242:67;:::i;:::-;33235:74;;33318:93;33407:3;33318:93;:::i;:::-;33436:2;33431:3;33427:12;33420:19;;33079:366;;;:::o;33451:419::-;33617:4;33655:2;33644:9;33640:18;33632:26;;33704:9;33698:4;33694:20;33690:1;33679:9;33675:17;33668:47;33732:131;33858:4;33732:131;:::i;:::-;33724:139;;33451:419;;;:::o;33876:178::-;34016:30;34012:1;34004:6;34000:14;33993:54;33876:178;:::o;34060:366::-;34202:3;34223:67;34287:2;34282:3;34223:67;:::i;:::-;34216:74;;34299:93;34388:3;34299:93;:::i;:::-;34417:2;34412:3;34408:12;34401:19;;34060:366;;;:::o;34432:419::-;34598:4;34636:2;34625:9;34621:18;34613:26;;34685:9;34679:4;34675:20;34671:1;34660:9;34656:17;34649:47;34713:131;34839:4;34713:131;:::i;:::-;34705:139;;34432:419;;;:::o

ipfs://9c8566e825f259675608c42c94b5ff2d93704c6b053db87a59e93a9b7029e23c