Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface IERC165
•    - function supportsInterface(bytes4 int ...
• interface IERC721 is IERC165
•    - function balanceOf(address owner)
•    - function ownerOf(uint256 tokenId)
•    - function safeTransferFrom(
•    - function transferFrom(
•    - function approve(address to, uint256 ...
•    - function getApproved(uint256 tokenId)
•    - function setApprovalForAll(address op ...
•    - function isApprovedForAll(address own ...
•    - function safeTransferFrom(
• interface IERC721Receiver
•    - function onERC721Received(
• interface IERC721Metadata is IERC721
•    - function name()
•    - function symbol()
•    - function tokenURI(uint256 tokenId)
• library Address
•    - function isContract(address account)
•    - function sendValue(address payable re ...
•    - function functionCall(address target, ...
•    - function functionCall(
•    - function functionCallWithValue(
• functionCallWithValue(
•    - function functionCallWithValue(
•    - function functionStaticCall(address t ...
• functionStaticCall(
•    - function functionStaticCall(
•    - function functionDelegateCall(address ...
• functionDelegateCall(
•    - function functionDelegateCall(
•    - function _verifyCallResult(
•    - function _msgSender()
•    - function _msgData()
• library SafeMath
•    - function tryAdd(uint256 a, uint256 b)
•    - function trySub(uint256 a, uint256 b)
•    - function tryMul(uint256 a, uint256 b)
•    - function tryDiv(uint256 a, uint256 b)
•    - function tryMod(uint256 a, uint256 b)
•    - function add(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function mod(uint256 a, uint256 b)
•    - function sub(
•    - function div(
•    - function mod(
• library Strings
•    - function toString(uint256 value)
•    - function toHexString(uint256 value)
•    - function toHexString(uint256 value, u ...
•    - function supportsInterface(bytes4 int ...
•  contract ERC721 is Context, ERC165 ...
•    - function supportsInterface(bytes4 int ...
•    - function balanceOf(address owner)
•    - function ownerOf(uint256 tokenId)
•    - function name()
•    - function symbol()
•    - function tokenURI(uint256 tokenId)
•    - function _baseURI()
•    - function approve(address to, uint256 ...
•    - function getApproved(uint256 tokenId)
•    - function setApprovalForAll(address op ...
•    - function isApprovedForAll(address own ...
•    - function transferFrom(
•    - function safeTransferFrom(
•    - function safeTransferFrom(
•    - function _safeTransfer(
•    - function _exists(uint256 tokenId)
•    - function _isApprovedOrOwner(address s ...
•    - function _safeMint(address to, uint25 ...
•    - function _safeMint(
•    - function _mint(address to, uint256 to ...
•    - function _burn(uint256 tokenId)
•    - function _transfer(
•    - function _approve(address to, uint256 ...
•    - function _checkOnERC721Received(
•    - function _beforeTokenTransfer(
•    - function owner()
•    - function renounceOwnership()
•    - function transferOwnership(address ne ...
•    - function _setOwner(address newOwner)
• interface IERC721Enumerable is IERC72 ...
•    - function totalSupply()
•    - function tokenOfOwnerByIndex(address ...
•    - function tokenByIndex(uint256 index)
•    - function supportsInterface(bytes4 int ...
•    - function tokenOfOwnerByIndex(address ...
•    - function totalSupply()
•    - function tokenByIndex(uint256 index)
•    - function _beforeTokenTransfer(
•    - function _addTokenToOwnerEnumeration( ...
•    - function _addTokenToAllTokensEnumerat ...
•    - function _removeTokenFromOwnerEnumera ...
•    - function _removeTokenFromAllTokensEnu ...
•  contract CETS is ERC721, ERC721Enu ... *
•    - function reveal()
•    - function setNotRevealedURI(string mem ...
•    - function _beforeTokenTransfer(
•    - function supportsInterface(bytes4 int ...
•    - function setBaseURI(string memory bas ...
•    - function _baseURI()
•    - function setProvenance(string memory ...
•    - function tokenURI(uint256 tokenId)
•    - function reserveTokens()
•    - function flipSaleState()
•    - function mintToken(uint256 numberOfTo ...
•    - function withdraw()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2021-09-28
*/

/**
 *Submitted for verification at Etherscan.io on 2021-08-27
 */

// File @openzeppelin/contracts/utils/introspection/[email protected]

// SPDX-License-Identifier: MIT

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/token/ERC721/[email protected]

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`, 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 be 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: Usage of this method is discouraged, use {safeTransferFrom} whenever possible.
     *
     * 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 Returns the account approved for `tokenId` token.
     *
     * Requirements:
     *
     * - `tokenId` must exist.
     */
    function getApproved(uint256 tokenId)
        external
        view
        returns (address operator);

    /**
     * @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 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);

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

// File @openzeppelin/contracts/token/ERC721/[email protected]

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 `IERC721.onERC721Received.selector`.
     */
    function onERC721Received(
        address operator,
        address from,
        uint256 tokenId,
        bytes calldata data
    ) external returns (bytes4);
}

// File @openzeppelin/contracts/token/ERC721/extensions/[email protected]

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/utils/[email protected]

pragma solidity ^0.8.0;

/**
 * @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
     * ====
     */
    function isContract(address account) internal view returns (bool) {
        // This method relies on extcodesize, which returns 0 for contracts in
        // construction, since the code is only stored at the end of the
        // constructor execution.

        uint256 size;
        assembly {
            size := extcodesize(account)
        }
        return size > 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 functionCall(target, data, "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"
        );
        require(isContract(target), "Address: call to non-contract");

        (bool success, bytes memory returndata) = target.call{value: value}(
            data
        );
        return _verifyCallResult(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) {
        require(isContract(target), "Address: static call to non-contract");

        (bool success, bytes memory returndata) = target.staticcall(data);
        return _verifyCallResult(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) {
        require(isContract(target), "Address: delegate call to non-contract");

        (bool success, bytes memory returndata) = target.delegatecall(data);
        return _verifyCallResult(success, returndata, errorMessage);
    }

    function _verifyCallResult(
        bool success,
        bytes memory returndata,
        string memory errorMessage
    ) private pure returns (bytes memory) {
        if (success) {
            return returndata;
        } else {
            // 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

                assembly {
                    let returndata_size := mload(returndata)
                    revert(add(32, returndata), returndata_size)
                }
            } else {
                revert(errorMessage);
            }
        }
    }
}

// File @openzeppelin/contracts/utils/[email protected]

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/utils/math/SaftMath.sol
pragma solidity ^0.8.0;

// CAUTION
// This version of SafeMath should only be used with Solidity 0.8 or later,
// because it relies on the compiler's built in overflow checks.

/**
 * @dev Wrappers over Solidity's arithmetic operations.
 *
 * NOTE: `SafeMath` is no longer needed starting with Solidity 0.8. The compiler
 * now has built in overflow checking.
 */
library SafeMath {
    /**
     * @dev Returns the addition of two unsigned integers, with an overflow flag.
     *
     * _Available since v3.4._
     */
    function tryAdd(uint256 a, uint256 b)
        internal
        pure
        returns (bool, uint256)
    {
        unchecked {
            uint256 c = a + b;
            if (c < a) return (false, 0);
            return (true, c);
        }
    }

    /**
     * @dev Returns the substraction of two unsigned integers, with an overflow flag.
     *
     * _Available since v3.4._
     */
    function trySub(uint256 a, uint256 b)
        internal
        pure
        returns (bool, uint256)
    {
        unchecked {
            if (b > a) return (false, 0);
            return (true, a - b);
        }
    }

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

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

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

    /**
     * @dev Returns the addition of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `+` operator.
     *
     * Requirements:
     *
     * - Addition cannot overflow.
     */
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        return a + b;
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting on
     * overflow (when the result is negative).
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     *
     * - Subtraction cannot overflow.
     */
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        return a - b;
    }

    /**
     * @dev Returns the multiplication of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `*` operator.
     *
     * Requirements:
     *
     * - Multiplication cannot overflow.
     */
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        return a * b;
    }

    /**
     * @dev Returns the integer division of two unsigned integers, reverting on
     * division by zero. The result is rounded towards zero.
     *
     * Counterpart to Solidity's `/` operator.
     *
     * Requirements:
     *
     * - The divisor cannot be zero.
     */
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return a / b;
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * reverting when dividing by zero.
     *
     * Counterpart to Solidity's `%` operator. This function uses a `revert`
     * opcode (which leaves remaining gas untouched) while Solidity uses an
     * invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     *
     * - The divisor cannot be zero.
     */
    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        return a % b;
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting with custom message on
     * overflow (when the result is negative).
     *
     * CAUTION: This function is deprecated because it requires allocating memory for the error
     * message unnecessarily. For custom revert reasons use {trySub}.
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     *
     * - Subtraction cannot overflow.
     */
    function sub(
        uint256 a,
        uint256 b,
        string memory errorMessage
    ) internal pure returns (uint256) {
        unchecked {
            require(b <= a, errorMessage);
            return a - b;
        }
    }

    /**
     * @dev Returns the integer division of two unsigned integers, reverting with custom message on
     * division by zero. The result is rounded towards zero.
     *
     * Counterpart to Solidity's `/` operator. Note: this function uses a
     * `revert` opcode (which leaves remaining gas untouched) while Solidity
     * uses an invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     *
     * - The divisor cannot be zero.
     */
    function div(
        uint256 a,
        uint256 b,
        string memory errorMessage
    ) internal pure returns (uint256) {
        unchecked {
            require(b > 0, errorMessage);
            return a / b;
        }
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * reverting with custom message when dividing by zero.
     *
     * CAUTION: This function is deprecated because it requires allocating memory for the error
     * message unnecessarily. For custom revert reasons use {tryMod}.
     *
     * Counterpart to Solidity's `%` operator. This function uses a `revert`
     * opcode (which leaves remaining gas untouched) while Solidity uses an
     * invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     *
     * - The divisor cannot be zero.
     */
    function mod(
        uint256 a,
        uint256 b,
        string memory errorMessage
    ) internal pure returns (uint256) {
        unchecked {
            require(b > 0, errorMessage);
            return a % b;
        }
    }
}

// File @openzeppelin/contracts/utils/[email protected]

pragma solidity ^0.8.0;

/**
 * @dev String operations.
 */
library Strings {
    bytes16 private constant _HEX_SYMBOLS = "0123456789abcdef";

    /**
     * @dev Converts a `uint256` to its ASCII `string` decimal representation.
     */
    function toString(uint256 value) internal pure returns (string memory) {
        // Inspired by OraclizeAPI's implementation - MIT licence
        // https://github.com/oraclize/ethereum-api/blob/b42146b063c7d6ee1358846c198246239e9360e8/oraclizeAPI_0.4.25.sol

        if (value == 0) {
            return "0";
        }
        uint256 temp = value;
        uint256 digits;
        while (temp != 0) {
            digits++;
            temp /= 10;
        }
        bytes memory buffer = new bytes(digits);
        while (value != 0) {
            digits -= 1;
            buffer[digits] = bytes1(uint8(48 + uint256(value % 10)));
            value /= 10;
        }
        return string(buffer);
    }

    /**
     * @dev Converts a `uint256` to its ASCII `string` hexadecimal representation.
     */
    function toHexString(uint256 value) internal pure returns (string memory) {
        if (value == 0) {
            return "0x00";
        }
        uint256 temp = value;
        uint256 length = 0;
        while (temp != 0) {
            length++;
            temp >>= 8;
        }
        return toHexString(value, length);
    }

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

// File @openzeppelin/contracts/utils/introspection/[email protected]

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/[email protected]

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: balance query for the zero address"
        );
        return _balances[owner];
    }

    /**
     * @dev See {IERC721-ownerOf}.
     */
    function ownerOf(uint256 tokenId)
        public
        view
        virtual
        override
        returns (address)
    {
        address owner = _owners[tokenId];
        require(
            owner != address(0),
            "ERC721: owner query for nonexistent token"
        );
        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)
    {
        require(
        _exists(tokenId),
        "ERC721Metadata: URI query for nonexistent token"
        );
        
        string memory currentBaseURI = _baseURI();
        return bytes(currentBaseURI).length > 0
            ? string(abi.encodePacked(currentBaseURI, (tokenId + 1).toString(), ".json"))
            : "";
    }

    /**
     * @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 overriden 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 owner nor approved for all"
        );

        _approve(to, tokenId);
    }

    /**
     * @dev See {IERC721-getApproved}.
     */
    function getApproved(uint256 tokenId)
        public
        view
        virtual
        override
        returns (address)
    {
        require(
            _exists(tokenId),
            "ERC721: approved query for nonexistent token"
        );

        return _tokenApprovals[tokenId];
    }

    /**
     * @dev See {IERC721-setApprovalForAll}.
     */
    function setApprovalForAll(address operator, bool approved)
        public
        virtual
        override
    {
        require(operator != _msgSender(), "ERC721: approve to caller");

        _operatorApprovals[_msgSender()][operator] = approved;
        emit ApprovalForAll(_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: transfer caller is not owner nor 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: transfer caller is not owner nor 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 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 _owners[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)
    {
        require(
            _exists(tokenId),
            "ERC721: operator query for nonexistent token"
        );
        address owner = ERC721.ownerOf(tokenId);
        return (spender == owner ||
            getApproved(tokenId) == spender ||
            isApprovedForAll(owner, 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);

        _balances[to] += 1;
        _owners[tokenId] = to;

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

    /**
     * @dev Destroys `tokenId`.
     * The approval is cleared when the token is burned.
     *
     * Requirements:
     *
     * - `tokenId` must exist.
     *
     * Emits a {Transfer} event.
     */
    function _burn(uint256 tokenId) internal virtual {
        address owner = ERC721.ownerOf(tokenId);

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

        // Clear approvals
        _approve(address(0), tokenId);

        _balances[owner] -= 1;
        delete _owners[tokenId];

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

    /**
     * @dev Transfers `tokenId` from `from` to `to`.
     *  As opposed to {transferFrom}, this imposes no restrictions on msg.sender.
     *
     * Requirements:
     *
     * - `to` cannot be the zero address.
     * - `tokenId` token must be owned by `from`.
     *
     * Emits a {Transfer} event.
     */
    function _transfer(
        address from,
        address to,
        uint256 tokenId
    ) internal virtual {
        require(
            ERC721.ownerOf(tokenId) == from,
            "ERC721: transfer of token that is not own"
        );
        require(to != address(0), "ERC721: transfer to the zero address");

        _beforeTokenTransfer(from, to, tokenId);

        // Clear approvals from the previous owner
        _approve(address(0), tokenId);

        _balances[from] -= 1;
        _balances[to] += 1;
        _owners[tokenId] = to;

        emit Transfer(from, to, tokenId);
    }

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

    /**
     * @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(to).onERC721Received.selector;
            } catch (bytes memory reason) {
                if (reason.length == 0) {
                    revert(
                        "ERC721: transfer to non ERC721Receiver implementer"
                    );
                } else {
                    assembly {
                        revert(add(32, reason), mload(reason))
                    }
                }
            }
        } else {
            return true;
        }
    }

    /**
     * @dev Hook that is called before any token transfer. This includes minting
     * and burning.
     *
     * Calling conditions:
     *
     * - When `from` and `to` are both non-zero, ``from``'s `tokenId` will be
     * transferred to `to`.
     * - When `from` is zero, `tokenId` will be minted for `to`.
     * - When `to` is zero, ``from``'s `tokenId` will be burned.
     * - `from` and `to` are never both zero.
     *
     * To learn more about hooks, head to xref:ROOT:extending-contracts.adoc#using-hooks[Using Hooks].
     */
    function _beforeTokenTransfer(
        address from,
        address to,
        uint256 tokenId
    ) internal virtual {}
}

// File @openzeppelin/contracts/access/[email protected]

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() {
        _setOwner(_msgSender());
    }

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

    /**
     * @dev Throws if called by any account other than the owner.
     */
    modifier onlyOwner() {
        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 {
        _setOwner(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"
        );
        _setOwner(newOwner);
    }

    function _setOwner(address newOwner) private {
        address oldOwner = _owner;
        _owner = newOwner;
        emit OwnershipTransferred(oldOwner, newOwner);
    }
}

// File @openzeppelin/contracts/token/ERC721/extensions/[email protected]

pragma solidity ^0.8.0;

/**
 * @title ERC-721 Non-Fungible Token Standard, optional enumeration extension
 * @dev See https://eips.ethereum.org/EIPS/eip-721
 */
interface IERC721Enumerable is IERC721 {
    /**
     * @dev Returns the total amount of tokens stored by the contract.
     */
    function totalSupply() external view returns (uint256);

    /**
     * @dev Returns a token ID owned by `owner` at a given `index` of its token list.
     * Use along with {balanceOf} to enumerate all of ``owner``'s tokens.
     */
    function tokenOfOwnerByIndex(address owner, uint256 index)
        external
        view
        returns (uint256 tokenId);

    /**
     * @dev Returns a token ID at a given `index` of all the tokens stored by the contract.
     * Use along with {totalSupply} to enumerate all tokens.
     */
    function tokenByIndex(uint256 index) external view returns (uint256);
}

// File @openzeppelin/contracts/token/ERC721/extensions/[email protected]

pragma solidity ^0.8.0;

/**
 * @dev This implements an optional extension of {ERC721} defined in the EIP that adds
 * enumerability of all the token ids in the contract as well as all token ids owned by each
 * account.
 */
abstract contract ERC721Enumerable is ERC721, IERC721Enumerable {
    // Mapping from owner to list of owned token IDs
    mapping(address => mapping(uint256 => uint256)) private _ownedTokens;

    // Mapping from token ID to index of the owner tokens list
    mapping(uint256 => uint256) private _ownedTokensIndex;

    // Array with all token ids, used for enumeration
    uint256[] private _allTokens;

    // Mapping from token id to position in the allTokens array
    mapping(uint256 => uint256) private _allTokensIndex;

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

    /**
     * @dev See {IERC721Enumerable-tokenOfOwnerByIndex}.
     */
    function tokenOfOwnerByIndex(address owner, uint256 index)
        public
        view
        virtual
        override
        returns (uint256)
    {
        require(
            index < ERC721.balanceOf(owner),
            "ERC721Enumerable: owner index out of bounds"
        );
        return _ownedTokens[owner][index];
    }

    /**
     * @dev See {IERC721Enumerable-totalSupply}.
     */
    function totalSupply() public view virtual override returns (uint256) {
        return _allTokens.length;
    }

    /**
     * @dev See {IERC721Enumerable-tokenByIndex}.
     */
    function tokenByIndex(uint256 index)
        public
        view
        virtual
        override
        returns (uint256)
    {
        require(
            index < ERC721Enumerable.totalSupply(),
            "ERC721Enumerable: global index out of bounds"
        );
        return _allTokens[index];
    }

    /**
     * @dev Hook that is called before any token transfer. This includes minting
     * and burning.
     *
     * Calling conditions:
     *
     * - When `from` and `to` are both non-zero, ``from``'s `tokenId` will be
     * transferred to `to`.
     * - When `from` is zero, `tokenId` will be minted for `to`.
     * - When `to` is zero, ``from``'s `tokenId` will be burned.
     * - `from` cannot be the zero address.
     * - `to` cannot be the zero address.
     *
     * To learn more about hooks, head to xref:ROOT:extending-contracts.adoc#using-hooks[Using Hooks].
     */
    function _beforeTokenTransfer(
        address from,
        address to,
        uint256 tokenId
    ) internal virtual override {
        super._beforeTokenTransfer(from, to, tokenId);

        if (from == address(0)) {
            _addTokenToAllTokensEnumeration(tokenId);
        } else if (from != to) {
            _removeTokenFromOwnerEnumeration(from, tokenId);
        }
        if (to == address(0)) {
            _removeTokenFromAllTokensEnumeration(tokenId);
        } else if (to != from) {
            _addTokenToOwnerEnumeration(to, tokenId);
        }
    }

    /**
     * @dev Private function to add a token to this extension's ownership-tracking data structures.
     * @param to address representing the new owner of the given token ID
     * @param tokenId uint256 ID of the token to be added to the tokens list of the given address
     */
    function _addTokenToOwnerEnumeration(address to, uint256 tokenId) private {
        uint256 length = ERC721.balanceOf(to);
        _ownedTokens[to][length] = tokenId;
        _ownedTokensIndex[tokenId] = length;
    }

    /**
     * @dev Private function to add a token to this extension's token tracking data structures.
     * @param tokenId uint256 ID of the token to be added to the tokens list
     */
    function _addTokenToAllTokensEnumeration(uint256 tokenId) private {
        _allTokensIndex[tokenId] = _allTokens.length;
        _allTokens.push(tokenId);
    }

    /**
     * @dev Private function to remove a token from this extension's ownership-tracking data structures. Note that
     * while the token is not assigned a new owner, the `_ownedTokensIndex` mapping is _not_ updated: this allows for
     * gas optimizations e.g. when performing a transfer operation (avoiding double writes).
     * This has O(1) time complexity, but alters the order of the _ownedTokens array.
     * @param from address representing the previous owner of the given token ID
     * @param tokenId uint256 ID of the token to be removed from the tokens list of the given address
     */
    function _removeTokenFromOwnerEnumeration(address from, uint256 tokenId)
        private
    {
        // To prevent a gap in from's tokens array, we store the last token in the index of the token to delete, and
        // then delete the last slot (swap and pop).

        uint256 lastTokenIndex = ERC721.balanceOf(from) - 1;
        uint256 tokenIndex = _ownedTokensIndex[tokenId];

        // When the token to delete is the last token, the swap operation is unnecessary
        if (tokenIndex != lastTokenIndex) {
            uint256 lastTokenId = _ownedTokens[from][lastTokenIndex];

            _ownedTokens[from][tokenIndex] = lastTokenId; // Move the last token to the slot of the to-delete token
            _ownedTokensIndex[lastTokenId] = tokenIndex; // Update the moved token's index
        }

        // This also deletes the contents at the last position of the array
        delete _ownedTokensIndex[tokenId];
        delete _ownedTokens[from][lastTokenIndex];
    }

    /**
     * @dev Private function to remove a token from this extension's token tracking data structures.
     * This has O(1) time complexity, but alters the order of the _allTokens array.
     * @param tokenId uint256 ID of the token to be removed from the tokens list
     */
    function _removeTokenFromAllTokensEnumeration(uint256 tokenId) private {
        // To prevent a gap in the tokens array, we store the last token in the index of the token to delete, and
        // then delete the last slot (swap and pop).

        uint256 lastTokenIndex = _allTokens.length - 1;
        uint256 tokenIndex = _allTokensIndex[tokenId];

        // When the token to delete is the last token, the swap operation is unnecessary. However, since this occurs so
        // rarely (when the last minted token is burnt) that we still do the swap here to avoid the gas cost of adding
        // an 'if' statement (like in _removeTokenFromOwnerEnumeration)
        uint256 lastTokenId = _allTokens[lastTokenIndex];

        _allTokens[tokenIndex] = lastTokenId; // Move the last token to the slot of the to-delete token
        _allTokensIndex[lastTokenId] = tokenIndex; // Update the moved token's index

        // This also deletes the contents at the last position of the array
        delete _allTokensIndex[tokenId];
        _allTokens.pop();
    }
}

// File contracts/DZI.sol

pragma solidity ^0.8.0;

contract CETS is ERC721, ERC721Enumerable, Ownable {
    using Strings for uint256;

    string public PROVENANCE;
    uint256 public constant tokenPrice = 60000000000000000; // 0.06 ETH
    uint256 public constant maxTokenPurchase = 20;
    uint256 public MAX_TOKENS = 10000;
    bool public saleIsActive = false;
    bool public revealed = false;
    string public notRevealedUri;
    string public baseExtension = ".json";
    string private _baseURIextended;

    constructor() ERC721("CryptoETS", "CETS") {}

    function reveal() public onlyOwner {
        revealed = true;
    }

    function setNotRevealedURI(string memory _notRevealedURI) public onlyOwner {
        notRevealedUri = _notRevealedURI;
    }

    function _beforeTokenTransfer(
        address from,
        address to,
        uint256 tokenId
    ) internal override(ERC721, ERC721Enumerable) {
        super._beforeTokenTransfer(from, to, tokenId);
    }

    function supportsInterface(bytes4 interfaceId)
        public
        view
        virtual
        override(ERC721, ERC721Enumerable)
        returns (bool)
    {
        return super.supportsInterface(interfaceId);
    }

    function setBaseURI(string memory baseURI_) external onlyOwner {
        _baseURIextended = baseURI_;
    }

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

    function setProvenance(string memory provenance) public onlyOwner {
        PROVENANCE = provenance;
    }

    function tokenURI(uint256 tokenId)
        public
        view
        virtual
        override
        returns (string memory)
    {
        require(
        _exists(tokenId),
        "ERC721Metadata: URI query for nonexistent token"
        );
        
        if(revealed == false) {
            return notRevealedUri;
        }

        string memory currentBaseURI = _baseURI();
        return bytes(currentBaseURI).length > 0
            ? string(abi.encodePacked(currentBaseURI, tokenId.toString(), baseExtension))
            : "";
    }

    function reserveTokens() public onlyOwner {
        uint256 supply = totalSupply();
       
        uint256 i;
        for (i = 0; i < 50; i++) {
            _safeMint(msg.sender, supply + i);
        }
    }

    function flipSaleState() public onlyOwner {
        saleIsActive = !saleIsActive;
    }

    function mintToken(uint256 numberOfTokens) public payable {
        require(saleIsActive, "Sale must be active to mint Tokens");
        require(
            numberOfTokens <= maxTokenPurchase,
            "Exceeded max token purchase"
        );
        require(
            totalSupply() + numberOfTokens <= MAX_TOKENS,
            "Purchase would exceed max supply of tokens"
        );
        require(
            tokenPrice * numberOfTokens <= msg.value,
            "Ether value sent is not correct"
        );

        for (uint256 i = 0; i < numberOfTokens; i++) {
            uint256 mintIndex = totalSupply();
            if (totalSupply() < MAX_TOKENS) {
                _safeMint(msg.sender, mintIndex);
            }
        }
    }

    // Update dev address by the previous dev.

    function withdraw() public onlyOwner {
        uint256 balance = address(this).balance;
        payable(msg.sender).transfer(balance);
    }
}

• 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":[],"name":"MAX_TOKENS","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"PROVENANCE","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"approve","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"baseExtension","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"flipSaleState","outputs":[],"stateMutability":"nonpayable","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":"maxTokenPurchase","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"numberOfTokens","type":"uint256"}],"name":"mintToken","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"notRevealedUri","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":[],"name":"reserveTokens","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"reveal","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"revealed","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"safeTransferFrom","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"tokenId","type":"uint256"},{"internalType":"bytes","name":"_data","type":"bytes"}],"name":"safeTransferFrom","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"saleIsActive","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"operator","type":"address"},{"internalType":"bool","name":"approved","type":"bool"}],"name":"setApprovalForAll","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"string","name":"baseURI_","type":"string"}],"name":"setBaseURI","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"string","name":"_notRevealedURI","type":"string"}],"name":"setNotRevealedURI","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"string","name":"provenance","type":"string"}],"name":"setProvenance","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":"index","type":"uint256"}],"name":"tokenByIndex","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"uint256","name":"index","type":"uint256"}],"name":"tokenOfOwnerByIndex","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"tokenPrice","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"tokenURI","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"transferFrom","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"withdraw","outputs":[],"stateMutability":"nonpayable","type":"function"}]

6080604052612710600c556000600d60006101000a81548160ff0219169083151502179055506000600d60016101000a81548160ff0219169083151502179055506040518060400160405280600581526020017f2e6a736f6e000000000000000000000000000000000000000000000000000000815250600f90805190602001906200008d92919062000230565b503480156200009b57600080fd5b506040518060400160405280600981526020017f43727970746f45545300000000000000000000000000000000000000000000008152506040518060400160405280600481526020017f434554530000000000000000000000000000000000000000000000000000000081525081600090805190602001906200012092919062000230565b5080600190805190602001906200013992919062000230565b5050506200015c620001506200016260201b60201c565b6200016a60201b60201c565b62000345565b600033905090565b6000600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600a60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b8280546200023e90620002e0565b90600052602060002090601f016020900481019282620002625760008555620002ae565b82601f106200027d57805160ff1916838001178555620002ae565b82800160010185558215620002ae579182015b82811115620002ad57825182559160200191906001019062000290565b5b509050620002bd9190620002c1565b5090565b5b80821115620002dc576000816000905550600101620002c2565b5090565b60006002820490506001821680620002f957607f821691505b6020821081141562000310576200030f62000316565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b61437080620003556000396000f3fe6080604052600436106102045760003560e01c80636373a6b111610118578063c634d032116100a0578063eb8d24441161006f578063eb8d244414610724578063f2c4ce1e1461074f578063f2fde38b14610778578063f47c84c5146107a1578063ffe630b5146107cc57610204565b8063c634d03214610663578063c66828621461067f578063c87b56dd146106aa578063e985e9c5146106e757610204565b80638da5cb5b116100e75780638da5cb5b146105a457806395d89b41146105cf578063a22cb465146105fa578063a475b5dd14610623578063b88d4fde1461063a57610204565b80636373a6b1146104fa57806370a0823114610525578063715018a6146105625780637ff9b5961461057957610204565b806327ac36c41161019b57806342842e0e1161016a57806342842e0e146104035780634f6ccce71461042c578063518302271461046957806355f804b3146104945780636352211e146104bd57610204565b806327ac36c4146103815780632f745c591461039857806334918dfd146103d55780633ccfd60b146103ec57610204565b8063095ea7b3116101d7578063095ea7b3146102d957806309aa3dcf1461030257806318160ddd1461032d57806323b872dd1461035857610204565b806301ffc9a71461020957806306fdde0314610246578063081812fc14610271578063081c8c44146102ae575b600080fd5b34801561021557600080fd5b50610230600480360381019061022b9190613116565b6107f5565b60405161023d9190613b99565b60405180910390f35b34801561025257600080fd5b5061025b610807565b6040516102689190613bb4565b60405180910390f35b34801561027d57600080fd5b50610298600480360381019061029391906131a9565b610899565b6040516102a59190613b32565b60405180910390f35b3480156102ba57600080fd5b506102c361091e565b6040516102d09190613bb4565b60405180910390f35b3480156102e557600080fd5b5061030060048036038101906102fb91906130da565b6109ac565b005b34801561030e57600080fd5b50610317610ac4565b6040516103249190613e96565b60405180910390f35b34801561033957600080fd5b50610342610ac9565b60405161034f9190613e96565b60405180910390f35b34801561036457600080fd5b5061037f600480360381019061037a9190612fd4565b610ad6565b005b34801561038d57600080fd5b50610396610b36565b005b3480156103a457600080fd5b506103bf60048036038101906103ba91906130da565b610bf6565b6040516103cc9190613e96565b60405180910390f35b3480156103e157600080fd5b506103ea610c9b565b005b3480156103f857600080fd5b50610401610d43565b005b34801561040f57600080fd5b5061042a60048036038101906104259190612fd4565b610e0e565b005b34801561043857600080fd5b50610453600480360381019061044e91906131a9565b610e2e565b6040516104609190613e96565b60405180910390f35b34801561047557600080fd5b5061047e610ec5565b60405161048b9190613b99565b60405180910390f35b3480156104a057600080fd5b506104bb60048036038101906104b69190613168565b610ed8565b005b3480156104c957600080fd5b506104e460048036038101906104df91906131a9565b610f6e565b6040516104f19190613b32565b60405180910390f35b34801561050657600080fd5b5061050f611020565b60405161051c9190613bb4565b60405180910390f35b34801561053157600080fd5b5061054c60048036038101906105479190612f6f565b6110ae565b6040516105599190613e96565b60405180910390f35b34801561056e57600080fd5b50610577611166565b005b34801561058557600080fd5b5061058e6111ee565b60405161059b9190613e96565b60405180910390f35b3480156105b057600080fd5b506105b96111f9565b6040516105c69190613b32565b60405180910390f35b3480156105db57600080fd5b506105e4611223565b6040516105f19190613bb4565b60405180910390f35b34801561060657600080fd5b50610621600480360381019061061c919061309e565b6112b5565b005b34801561062f57600080fd5b50610638611436565b005b34801561064657600080fd5b50610661600480360381019061065c9190613023565b6114cf565b005b61067d600480360381019061067891906131a9565b611531565b005b34801561068b57600080fd5b506106946116bb565b6040516106a19190613bb4565b60405180910390f35b3480156106b657600080fd5b506106d160048036038101906106cc91906131a9565b611749565b6040516106de9190613bb4565b60405180910390f35b3480156106f357600080fd5b5061070e60048036038101906107099190612f98565b6118a2565b60405161071b9190613b99565b60405180910390f35b34801561073057600080fd5b50610739611936565b6040516107469190613b99565b60405180910390f35b34801561075b57600080fd5b5061077660048036038101906107719190613168565b611949565b005b34801561078457600080fd5b5061079f600480360381019061079a9190612f6f565b6119df565b005b3480156107ad57600080fd5b506107b6611ad7565b6040516107c39190613e96565b60405180910390f35b3480156107d857600080fd5b506107f360048036038101906107ee9190613168565b611add565b005b600061080082611b73565b9050919050565b60606000805461081690614165565b80601f016020809104026020016040519081016040528092919081815260200182805461084290614165565b801561088f5780601f106108645761010080835404028352916020019161088f565b820191906000526020600020905b81548152906001019060200180831161087257829003601f168201915b5050505050905090565b60006108a482611bed565b6108e3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108da90613d96565b60405180910390fd5b6004600083815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b600e805461092b90614165565b80601f016020809104026020016040519081016040528092919081815260200182805461095790614165565b80156109a45780601f10610979576101008083540402835291602001916109a4565b820191906000526020600020905b81548152906001019060200180831161098757829003601f168201915b505050505081565b60006109b782610f6e565b90508073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610a28576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a1f90613e16565b60405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff16610a47611c59565b73ffffffffffffffffffffffffffffffffffffffff161480610a765750610a7581610a70611c59565b6118a2565b5b610ab5576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610aac90613cf6565b60405180910390fd5b610abf8383611c61565b505050565b601481565b6000600880549050905090565b610ae7610ae1611c59565b82611d1a565b610b26576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b1d90613e56565b60405180910390fd5b610b31838383611df8565b505050565b610b3e611c59565b73ffffffffffffffffffffffffffffffffffffffff16610b5c6111f9565b73ffffffffffffffffffffffffffffffffffffffff1614610bb2576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ba990613db6565b60405180910390fd5b6000610bbc610ac9565b905060005b6032811015610bf257610bdf338284610bda9190613f9a565b612054565b8080610bea90614197565b915050610bc1565b5050565b6000610c01836110ae565b8210610c42576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c3990613bd6565b60405180910390fd5b600660008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600083815260200190815260200160002054905092915050565b610ca3611c59565b73ffffffffffffffffffffffffffffffffffffffff16610cc16111f9565b73ffffffffffffffffffffffffffffffffffffffff1614610d17576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d0e90613db6565b60405180910390fd5b600d60009054906101000a900460ff1615600d60006101000a81548160ff021916908315150217905550565b610d4b611c59565b73ffffffffffffffffffffffffffffffffffffffff16610d696111f9565b73ffffffffffffffffffffffffffffffffffffffff1614610dbf576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610db690613db6565b60405180910390fd5b60004790503373ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f19350505050158015610e0a573d6000803e3d6000fd5b5050565b610e29838383604051806020016040528060008152506114cf565b505050565b6000610e38610ac9565b8210610e79576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e7090613e76565b60405180910390fd5b60088281548110610eb3577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b90600052602060002001549050919050565b600d60019054906101000a900460ff1681565b610ee0611c59565b73ffffffffffffffffffffffffffffffffffffffff16610efe6111f9565b73ffffffffffffffffffffffffffffffffffffffff1614610f54576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f4b90613db6565b60405180910390fd5b8060109080519060200190610f6a929190612d93565b5050565b6000806002600084815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415611017576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161100e90613d36565b60405180910390fd5b80915050919050565b600b805461102d90614165565b80601f016020809104026020016040519081016040528092919081815260200182805461105990614165565b80156110a65780601f1061107b576101008083540402835291602001916110a6565b820191906000526020600020905b81548152906001019060200180831161108957829003601f168201915b505050505081565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561111f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161111690613d16565b60405180910390fd5b600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b61116e611c59565b73ffffffffffffffffffffffffffffffffffffffff1661118c6111f9565b73ffffffffffffffffffffffffffffffffffffffff16146111e2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016111d990613db6565b60405180910390fd5b6111ec6000612072565b565b66d529ae9e86000081565b6000600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60606001805461123290614165565b80601f016020809104026020016040519081016040528092919081815260200182805461125e90614165565b80156112ab5780601f10611280576101008083540402835291602001916112ab565b820191906000526020600020905b81548152906001019060200180831161128e57829003601f168201915b5050505050905090565b6112bd611c59565b73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561132b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161132290613c76565b60405180910390fd5b8060056000611338611c59565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff166113e5611c59565b73ffffffffffffffffffffffffffffffffffffffff167f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c318360405161142a9190613b99565b60405180910390a35050565b61143e611c59565b73ffffffffffffffffffffffffffffffffffffffff1661145c6111f9565b73ffffffffffffffffffffffffffffffffffffffff16146114b2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016114a990613db6565b60405180910390fd5b6001600d60016101000a81548160ff021916908315150217905550565b6114e06114da611c59565b83611d1a565b61151f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161151690613e56565b60405180910390fd5b61152b84848484612138565b50505050565b600d60009054906101000a900460ff16611580576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161157790613cb6565b60405180910390fd5b60148111156115c4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016115bb90613e36565b60405180910390fd5b600c54816115d0610ac9565b6115da9190613f9a565b111561161b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161161290613d56565b60405180910390fd5b348166d529ae9e86000061162f9190614021565b1115611670576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161166790613c96565b60405180910390fd5b60005b818110156116b7576000611685610ac9565b9050600c54611692610ac9565b10156116a3576116a23382612054565b5b5080806116af90614197565b915050611673565b5050565b600f80546116c890614165565b80601f01602080910402602001604051908101604052809291908181526020018280546116f490614165565b80156117415780601f1061171657610100808354040283529160200191611741565b820191906000526020600020905b81548152906001019060200180831161172457829003601f168201915b505050505081565b606061175482611bed565b611793576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161178a90613df6565b60405180910390fd5b60001515600d60019054906101000a900460ff161515141561184157600e80546117bc90614165565b80601f01602080910402602001604051908101604052809291908181526020018280546117e890614165565b80156118355780601f1061180a57610100808354040283529160200191611835565b820191906000526020600020905b81548152906001019060200180831161181857829003601f168201915b5050505050905061189d565b600061184b612194565b9050600081511161186b5760405180602001604052806000815250611899565b8061187584612226565b600f60405160200161188993929190613b01565b6040516020818303038152906040525b9150505b919050565b6000600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b600d60009054906101000a900460ff1681565b611951611c59565b73ffffffffffffffffffffffffffffffffffffffff1661196f6111f9565b73ffffffffffffffffffffffffffffffffffffffff16146119c5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016119bc90613db6565b60405180910390fd5b80600e90805190602001906119db929190612d93565b5050565b6119e7611c59565b73ffffffffffffffffffffffffffffffffffffffff16611a056111f9565b73ffffffffffffffffffffffffffffffffffffffff1614611a5b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611a5290613db6565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415611acb576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611ac290613c16565b60405180910390fd5b611ad481612072565b50565b600c5481565b611ae5611c59565b73ffffffffffffffffffffffffffffffffffffffff16611b036111f9565b73ffffffffffffffffffffffffffffffffffffffff1614611b59576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611b5090613db6565b60405180910390fd5b80600b9080519060200190611b6f929190612d93565b5050565b60007f780e9d63000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161480611be65750611be5826123d3565b5b9050919050565b60008073ffffffffffffffffffffffffffffffffffffffff166002600084815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614159050919050565b600033905090565b816004600083815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550808273ffffffffffffffffffffffffffffffffffffffff16611cd483610f6e565b73ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92560405160405180910390a45050565b6000611d2582611bed565b611d64576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611d5b90613cd6565b60405180910390fd5b6000611d6f83610f6e565b90508073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff161480611dde57508373ffffffffffffffffffffffffffffffffffffffff16611dc684610899565b73ffffffffffffffffffffffffffffffffffffffff16145b80611def5750611dee81856118a2565b5b91505092915050565b8273ffffffffffffffffffffffffffffffffffffffff16611e1882610f6e565b73ffffffffffffffffffffffffffffffffffffffff1614611e6e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611e6590613dd6565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611ede576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611ed590613c56565b60405180910390fd5b611ee98383836124b5565b611ef4600082611c61565b6001600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254611f44919061407b565b925050819055506001600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254611f9b9190613f9a565b92505081905550816002600083815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550808273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a4505050565b61206e8282604051806020016040528060008152506124c5565b5050565b6000600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600a60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b612143848484611df8565b61214f84848484612520565b61218e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161218590613bf6565b60405180910390fd5b50505050565b6060601080546121a390614165565b80601f01602080910402602001604051908101604052809291908181526020018280546121cf90614165565b801561221c5780601f106121f15761010080835404028352916020019161221c565b820191906000526020600020905b8154815290600101906020018083116121ff57829003601f168201915b5050505050905090565b6060600082141561226e576040518060400160405280600181526020017f300000000000000000000000000000000000000000000000000000000000000081525090506123ce565b600082905060005b600082146122a057808061228990614197565b915050600a826122999190613ff0565b9150612276565b60008167ffffffffffffffff8111156122e2577f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6040519080825280601f01601f1916602001820160405280156123145781602001600182028036833780820191505090505b5090505b600085146123c75760018261232d919061407b565b9150600a8561233c91906141e0565b60306123489190613f9a565b60f81b818381518110612384577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a905350600a856123c09190613ff0565b9450612318565b8093505050505b919050565b60007f80ac58cd000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916148061249e57507f5b5e139f000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916145b806124ae57506124ad826126b7565b5b9050919050565b6124c0838383612721565b505050565b6124cf8383612835565b6124dc6000848484612520565b61251b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161251290613bf6565b60405180910390fd5b505050565b60006125418473ffffffffffffffffffffffffffffffffffffffff16612a03565b156126aa578373ffffffffffffffffffffffffffffffffffffffff1663150b7a0261256a611c59565b8786866040518563ffffffff1660e01b815260040161258c9493929190613b4d565b602060405180830381600087803b1580156125a657600080fd5b505af19250505080156125d757506040513d601f19601f820116820180604052508101906125d4919061313f565b60015b61265a573d8060008114612607576040519150601f19603f3d011682016040523d82523d6000602084013e61260c565b606091505b50600081511415612652576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161264990613bf6565b60405180910390fd5b805181602001fd5b63150b7a0260e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916149150506126af565b600190505b949350505050565b60007f01ffc9a7000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916149050919050565b61272c838383612a16565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561276f5761276a81612a1b565b6127ae565b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16146127ad576127ac8382612a64565b5b5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156127f1576127ec81612bd1565b612830565b8273ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161461282f5761282e8282612d14565b5b5b505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156128a5576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161289c90613d76565b60405180910390fd5b6128ae81611bed565b156128ee576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016128e590613c36565b60405180910390fd5b6128fa600083836124b5565b6001600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461294a9190613f9a565b92505081905550816002600083815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550808273ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a45050565b600080823b905060008111915050919050565b505050565b6008805490506009600083815260200190815260200160002081905550600881908060018154018082558091505060019003906000526020600020016000909190919091505550565b60006001612a71846110ae565b612a7b919061407b565b9050600060076000848152602001908152602001600020549050818114612b60576000600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600084815260200190815260200160002054905080600660008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600084815260200190815260200160002081905550816007600083815260200190815260200160002081905550505b6007600084815260200190815260200160002060009055600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008381526020019081526020016000206000905550505050565b60006001600880549050612be5919061407b565b9050600060096000848152602001908152602001600020549050600060088381548110612c3b577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b906000526020600020015490508060088381548110612c83577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b906000526020600020018190555081600960008381526020019081526020016000208190555060096000858152602001908152602001600020600090556008805480612cf8577f4e487b7100000000000000000000000000000000000000000000000000000000600052603160045260246000fd5b6001900381819060005260206000200160009055905550505050565b6000612d1f836110ae565b905081600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600083815260200190815260200160002081905550806007600084815260200190815260200160002081905550505050565b828054612d9f90614165565b90600052602060002090601f016020900481019282612dc15760008555612e08565b82601f10612dda57805160ff1916838001178555612e08565b82800160010185558215612e08579182015b82811115612e07578251825591602001919060010190612dec565b5b509050612e159190612e19565b5090565b5b80821115612e32576000816000905550600101612e1a565b5090565b6000612e49612e4484613ee2565b613eb1565b905082815260208101848484011115612e6157600080fd5b612e6c848285614123565b509392505050565b6000612e87612e8284613f12565b613eb1565b905082815260208101848484011115612e9f57600080fd5b612eaa848285614123565b509392505050565b600081359050612ec1816142de565b92915050565b600081359050612ed6816142f5565b92915050565b600081359050612eeb8161430c565b92915050565b600081519050612f008161430c565b92915050565b600082601f830112612f1757600080fd5b8135612f27848260208601612e36565b91505092915050565b600082601f830112612f4157600080fd5b8135612f51848260208601612e74565b91505092915050565b600081359050612f6981614323565b92915050565b600060208284031215612f8157600080fd5b6000612f8f84828501612eb2565b91505092915050565b60008060408385031215612fab57600080fd5b6000612fb985828601612eb2565b9250506020612fca85828601612eb2565b9150509250929050565b600080600060608486031215612fe957600080fd5b6000612ff786828701612eb2565b935050602061300886828701612eb2565b925050604061301986828701612f5a565b9150509250925092565b6000806000806080858703121561303957600080fd5b600061304787828801612eb2565b945050602061305887828801612eb2565b935050604061306987828801612f5a565b925050606085013567ffffffffffffffff81111561308657600080fd5b61309287828801612f06565b91505092959194509250565b600080604083850312156130b157600080fd5b60006130bf85828601612eb2565b92505060206130d085828601612ec7565b9150509250929050565b600080604083850312156130ed57600080fd5b60006130fb85828601612eb2565b925050602061310c85828601612f5a565b9150509250929050565b60006020828403121561312857600080fd5b600061313684828501612edc565b91505092915050565b60006020828403121561315157600080fd5b600061315f84828501612ef1565b91505092915050565b60006020828403121561317a57600080fd5b600082013567ffffffffffffffff81111561319457600080fd5b6131a084828501612f30565b91505092915050565b6000602082840312156131bb57600080fd5b60006131c984828501612f5a565b91505092915050565b6131db816140af565b82525050565b6131ea816140c1565b82525050565b60006131fb82613f57565b6132058185613f6d565b9350613215818560208601614132565b61321e816142cd565b840191505092915050565b600061323482613f62565b61323e8185613f7e565b935061324e818560208601614132565b613257816142cd565b840191505092915050565b600061326d82613f62565b6132778185613f8f565b9350613287818560208601614132565b80840191505092915050565b600081546132a081614165565b6132aa8186613f8f565b945060018216600081146132c557600181146132d657613309565b60ff19831686528186019350613309565b6132df85613f42565b60005b83811015613301578154818901526001820191506020810190506132e2565b838801955050505b50505092915050565b600061331f602b83613f7e565b91507f455243373231456e756d657261626c653a206f776e657220696e646578206f7560008301527f74206f6620626f756e64730000000000000000000000000000000000000000006020830152604082019050919050565b6000613385603283613f7e565b91507f4552433732313a207472616e7366657220746f206e6f6e20455243373231526560008301527f63656976657220696d706c656d656e74657200000000000000000000000000006020830152604082019050919050565b60006133eb602683613f7e565b91507f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008301527f64647265737300000000000000000000000000000000000000000000000000006020830152604082019050919050565b6000613451601c83613f7e565b91507f4552433732313a20746f6b656e20616c7265616479206d696e746564000000006000830152602082019050919050565b6000613491602483613f7e565b91507f4552433732313a207472616e7366657220746f20746865207a65726f2061646460008301527f72657373000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b60006134f7601983613f7e565b91507f4552433732313a20617070726f766520746f2063616c6c6572000000000000006000830152602082019050919050565b6000613537601f83613f7e565b91507f45746865722076616c75652073656e74206973206e6f7420636f7272656374006000830152602082019050919050565b6000613577602283613f7e565b91507f53616c65206d7573742062652061637469766520746f206d696e7420546f6b6560008301527f6e730000000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b60006135dd602c83613f7e565b91507f4552433732313a206f70657261746f7220717565727920666f72206e6f6e657860008301527f697374656e7420746f6b656e00000000000000000000000000000000000000006020830152604082019050919050565b6000613643603883613f7e565b91507f4552433732313a20617070726f76652063616c6c6572206973206e6f74206f7760008301527f6e6572206e6f7220617070726f76656420666f7220616c6c00000000000000006020830152604082019050919050565b60006136a9602a83613f7e565b91507f4552433732313a2062616c616e636520717565727920666f7220746865207a6560008301527f726f2061646472657373000000000000000000000000000000000000000000006020830152604082019050919050565b600061370f602983613f7e565b91507f4552433732313a206f776e657220717565727920666f72206e6f6e657869737460008301527f656e7420746f6b656e00000000000000000000000000000000000000000000006020830152604082019050919050565b6000613775602a83613f7e565b91507f507572636861736520776f756c6420657863656564206d617820737570706c7960008301527f206f6620746f6b656e73000000000000000000000000000000000000000000006020830152604082019050919050565b60006137db602083613f7e565b91507f4552433732313a206d696e7420746f20746865207a65726f20616464726573736000830152602082019050919050565b600061381b602c83613f7e565b91507f4552433732313a20617070726f76656420717565727920666f72206e6f6e657860008301527f697374656e7420746f6b656e00000000000000000000000000000000000000006020830152604082019050919050565b6000613881602083613f7e565b91507f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726000830152602082019050919050565b60006138c1602983613f7e565b91507f4552433732313a207472616e73666572206f6620746f6b656e2074686174206960008301527f73206e6f74206f776e00000000000000000000000000000000000000000000006020830152604082019050919050565b6000613927602f83613f7e565b91507f4552433732314d657461646174613a2055524920717565727920666f72206e6f60008301527f6e6578697374656e7420746f6b656e00000000000000000000000000000000006020830152604082019050919050565b600061398d602183613f7e565b91507f4552433732313a20617070726f76616c20746f2063757272656e74206f776e6560008301527f72000000000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b60006139f3601b83613f7e565b91507f4578636565646564206d617820746f6b656e20707572636861736500000000006000830152602082019050919050565b6000613a33603183613f7e565b91507f4552433732313a207472616e736665722063616c6c6572206973206e6f74206f60008301527f776e6572206e6f7220617070726f7665640000000000000000000000000000006020830152604082019050919050565b6000613a99602c83613f7e565b91507f455243373231456e756d657261626c653a20676c6f62616c20696e646578206f60008301527f7574206f6620626f756e647300000000000000000000000000000000000000006020830152604082019050919050565b613afb81614119565b82525050565b6000613b0d8286613262565b9150613b198285613262565b9150613b258284613293565b9150819050949350505050565b6000602082019050613b4760008301846131d2565b92915050565b6000608082019050613b6260008301876131d2565b613b6f60208301866131d2565b613b7c6040830185613af2565b8181036060830152613b8e81846131f0565b905095945050505050565b6000602082019050613bae60008301846131e1565b92915050565b60006020820190508181036000830152613bce8184613229565b905092915050565b60006020820190508181036000830152613bef81613312565b9050919050565b60006020820190508181036000830152613c0f81613378565b9050919050565b60006020820190508181036000830152613c2f816133de565b9050919050565b60006020820190508181036000830152613c4f81613444565b9050919050565b60006020820190508181036000830152613c6f81613484565b9050919050565b60006020820190508181036000830152613c8f816134ea565b9050919050565b60006020820190508181036000830152613caf8161352a565b9050919050565b60006020820190508181036000830152613ccf8161356a565b9050919050565b60006020820190508181036000830152613cef816135d0565b9050919050565b60006020820190508181036000830152613d0f81613636565b9050919050565b60006020820190508181036000830152613d2f8161369c565b9050919050565b60006020820190508181036000830152613d4f81613702565b9050919050565b60006020820190508181036000830152613d6f81613768565b9050919050565b60006020820190508181036000830152613d8f816137ce565b9050919050565b60006020820190508181036000830152613daf8161380e565b9050919050565b60006020820190508181036000830152613dcf81613874565b9050919050565b60006020820190508181036000830152613def816138b4565b9050919050565b60006020820190508181036000830152613e0f8161391a565b9050919050565b60006020820190508181036000830152613e2f81613980565b9050919050565b60006020820190508181036000830152613e4f816139e6565b9050919050565b60006020820190508181036000830152613e6f81613a26565b9050919050565b60006020820190508181036000830152613e8f81613a8c565b9050919050565b6000602082019050613eab6000830184613af2565b92915050565b6000604051905081810181811067ffffffffffffffff82111715613ed857613ed761429e565b5b8060405250919050565b600067ffffffffffffffff821115613efd57613efc61429e565b5b601f19601f8301169050602081019050919050565b600067ffffffffffffffff821115613f2d57613f2c61429e565b5b601f19601f8301169050602081019050919050565b60008190508160005260206000209050919050565b600081519050919050565b600081519050919050565b600082825260208201905092915050565b600082825260208201905092915050565b600081905092915050565b6000613fa582614119565b9150613fb083614119565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff03821115613fe557613fe4614211565b5b828201905092915050565b6000613ffb82614119565b915061400683614119565b92508261401657614015614240565b5b828204905092915050565b600061402c82614119565b915061403783614119565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04831182151516156140705761406f614211565b5b828202905092915050565b600061408682614119565b915061409183614119565b9250828210156140a4576140a3614211565b5b828203905092915050565b60006140ba826140f9565b9050919050565b60008115159050919050565b60007fffffffff0000000000000000000000000000000000000000000000000000000082169050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b82818337600083830152505050565b60005b83811015614150578082015181840152602081019050614135565b8381111561415f576000848401525b50505050565b6000600282049050600182168061417d57607f821691505b602082108114156141915761419061426f565b5b50919050565b60006141a282614119565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8214156141d5576141d4614211565b5b600182019050919050565b60006141eb82614119565b91506141f683614119565b92508261420657614205614240565b5b828206905092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6000601f19601f8301169050919050565b6142e7816140af565b81146142f257600080fd5b50565b6142fe816140c1565b811461430957600080fd5b50565b614315816140cd565b811461432057600080fd5b50565b61432c81614119565b811461433757600080fd5b5056fea2646970667358221220d4daa4becac0f43d4f7dbcacaad510499dae65e72526adad025a15e35faef90964736f6c63430008000033

0x6080604052600436106102045760003560e01c80636373a6b111610118578063c634d032116100a0578063eb8d24441161006f578063eb8d244414610724578063f2c4ce1e1461074f578063f2fde38b14610778578063f47c84c5146107a1578063ffe630b5146107cc57610204565b8063c634d03214610663578063c66828621461067f578063c87b56dd146106aa578063e985e9c5146106e757610204565b80638da5cb5b116100e75780638da5cb5b146105a457806395d89b41146105cf578063a22cb465146105fa578063a475b5dd14610623578063b88d4fde1461063a57610204565b80636373a6b1146104fa57806370a0823114610525578063715018a6146105625780637ff9b5961461057957610204565b806327ac36c41161019b57806342842e0e1161016a57806342842e0e146104035780634f6ccce71461042c578063518302271461046957806355f804b3146104945780636352211e146104bd57610204565b806327ac36c4146103815780632f745c591461039857806334918dfd146103d55780633ccfd60b146103ec57610204565b8063095ea7b3116101d7578063095ea7b3146102d957806309aa3dcf1461030257806318160ddd1461032d57806323b872dd1461035857610204565b806301ffc9a71461020957806306fdde0314610246578063081812fc14610271578063081c8c44146102ae575b600080fd5b34801561021557600080fd5b50610230600480360381019061022b9190613116565b6107f5565b60405161023d9190613b99565b60405180910390f35b34801561025257600080fd5b5061025b610807565b6040516102689190613bb4565b60405180910390f35b34801561027d57600080fd5b50610298600480360381019061029391906131a9565b610899565b6040516102a59190613b32565b60405180910390f35b3480156102ba57600080fd5b506102c361091e565b6040516102d09190613bb4565b60405180910390f35b3480156102e557600080fd5b5061030060048036038101906102fb91906130da565b6109ac565b005b34801561030e57600080fd5b50610317610ac4565b6040516103249190613e96565b60405180910390f35b34801561033957600080fd5b50610342610ac9565b60405161034f9190613e96565b60405180910390f35b34801561036457600080fd5b5061037f600480360381019061037a9190612fd4565b610ad6565b005b34801561038d57600080fd5b50610396610b36565b005b3480156103a457600080fd5b506103bf60048036038101906103ba91906130da565b610bf6565b6040516103cc9190613e96565b60405180910390f35b3480156103e157600080fd5b506103ea610c9b565b005b3480156103f857600080fd5b50610401610d43565b005b34801561040f57600080fd5b5061042a60048036038101906104259190612fd4565b610e0e565b005b34801561043857600080fd5b50610453600480360381019061044e91906131a9565b610e2e565b6040516104609190613e96565b60405180910390f35b34801561047557600080fd5b5061047e610ec5565b60405161048b9190613b99565b60405180910390f35b3480156104a057600080fd5b506104bb60048036038101906104b69190613168565b610ed8565b005b3480156104c957600080fd5b506104e460048036038101906104df91906131a9565b610f6e565b6040516104f19190613b32565b60405180910390f35b34801561050657600080fd5b5061050f611020565b60405161051c9190613bb4565b60405180910390f35b34801561053157600080fd5b5061054c60048036038101906105479190612f6f565b6110ae565b6040516105599190613e96565b60405180910390f35b34801561056e57600080fd5b50610577611166565b005b34801561058557600080fd5b5061058e6111ee565b60405161059b9190613e96565b60405180910390f35b3480156105b057600080fd5b506105b96111f9565b6040516105c69190613b32565b60405180910390f35b3480156105db57600080fd5b506105e4611223565b6040516105f19190613bb4565b60405180910390f35b34801561060657600080fd5b50610621600480360381019061061c919061309e565b6112b5565b005b34801561062f57600080fd5b50610638611436565b005b34801561064657600080fd5b50610661600480360381019061065c9190613023565b6114cf565b005b61067d600480360381019061067891906131a9565b611531565b005b34801561068b57600080fd5b506106946116bb565b6040516106a19190613bb4565b60405180910390f35b3480156106b657600080fd5b506106d160048036038101906106cc91906131a9565b611749565b6040516106de9190613bb4565b60405180910390f35b3480156106f357600080fd5b5061070e60048036038101906107099190612f98565b6118a2565b60405161071b9190613b99565b60405180910390f35b34801561073057600080fd5b50610739611936565b6040516107469190613b99565b60405180910390f35b34801561075b57600080fd5b5061077660048036038101906107719190613168565b611949565b005b34801561078457600080fd5b5061079f600480360381019061079a9190612f6f565b6119df565b005b3480156107ad57600080fd5b506107b6611ad7565b6040516107c39190613e96565b60405180910390f35b3480156107d857600080fd5b506107f360048036038101906107ee9190613168565b611add565b005b600061080082611b73565b9050919050565b60606000805461081690614165565b80601f016020809104026020016040519081016040528092919081815260200182805461084290614165565b801561088f5780601f106108645761010080835404028352916020019161088f565b820191906000526020600020905b81548152906001019060200180831161087257829003601f168201915b5050505050905090565b60006108a482611bed565b6108e3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108da90613d96565b60405180910390fd5b6004600083815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b600e805461092b90614165565b80601f016020809104026020016040519081016040528092919081815260200182805461095790614165565b80156109a45780601f10610979576101008083540402835291602001916109a4565b820191906000526020600020905b81548152906001019060200180831161098757829003601f168201915b505050505081565b60006109b782610f6e565b90508073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610a28576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a1f90613e16565b60405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff16610a47611c59565b73ffffffffffffffffffffffffffffffffffffffff161480610a765750610a7581610a70611c59565b6118a2565b5b610ab5576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610aac90613cf6565b60405180910390fd5b610abf8383611c61565b505050565b601481565b6000600880549050905090565b610ae7610ae1611c59565b82611d1a565b610b26576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b1d90613e56565b60405180910390fd5b610b31838383611df8565b505050565b610b3e611c59565b73ffffffffffffffffffffffffffffffffffffffff16610b5c6111f9565b73ffffffffffffffffffffffffffffffffffffffff1614610bb2576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ba990613db6565b60405180910390fd5b6000610bbc610ac9565b905060005b6032811015610bf257610bdf338284610bda9190613f9a565b612054565b8080610bea90614197565b915050610bc1565b5050565b6000610c01836110ae565b8210610c42576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c3990613bd6565b60405180910390fd5b600660008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600083815260200190815260200160002054905092915050565b610ca3611c59565b73ffffffffffffffffffffffffffffffffffffffff16610cc16111f9565b73ffffffffffffffffffffffffffffffffffffffff1614610d17576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d0e90613db6565b60405180910390fd5b600d60009054906101000a900460ff1615600d60006101000a81548160ff021916908315150217905550565b610d4b611c59565b73ffffffffffffffffffffffffffffffffffffffff16610d696111f9565b73ffffffffffffffffffffffffffffffffffffffff1614610dbf576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610db690613db6565b60405180910390fd5b60004790503373ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f19350505050158015610e0a573d6000803e3d6000fd5b5050565b610e29838383604051806020016040528060008152506114cf565b505050565b6000610e38610ac9565b8210610e79576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e7090613e76565b60405180910390fd5b60088281548110610eb3577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b90600052602060002001549050919050565b600d60019054906101000a900460ff1681565b610ee0611c59565b73ffffffffffffffffffffffffffffffffffffffff16610efe6111f9565b73ffffffffffffffffffffffffffffffffffffffff1614610f54576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f4b90613db6565b60405180910390fd5b8060109080519060200190610f6a929190612d93565b5050565b6000806002600084815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415611017576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161100e90613d36565b60405180910390fd5b80915050919050565b600b805461102d90614165565b80601f016020809104026020016040519081016040528092919081815260200182805461105990614165565b80156110a65780601f1061107b576101008083540402835291602001916110a6565b820191906000526020600020905b81548152906001019060200180831161108957829003601f168201915b505050505081565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561111f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161111690613d16565b60405180910390fd5b600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b61116e611c59565b73ffffffffffffffffffffffffffffffffffffffff1661118c6111f9565b73ffffffffffffffffffffffffffffffffffffffff16146111e2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016111d990613db6565b60405180910390fd5b6111ec6000612072565b565b66d529ae9e86000081565b6000600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60606001805461123290614165565b80601f016020809104026020016040519081016040528092919081815260200182805461125e90614165565b80156112ab5780601f10611280576101008083540402835291602001916112ab565b820191906000526020600020905b81548152906001019060200180831161128e57829003601f168201915b5050505050905090565b6112bd611c59565b73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561132b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161132290613c76565b60405180910390fd5b8060056000611338611c59565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff166113e5611c59565b73ffffffffffffffffffffffffffffffffffffffff167f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c318360405161142a9190613b99565b60405180910390a35050565b61143e611c59565b73ffffffffffffffffffffffffffffffffffffffff1661145c6111f9565b73ffffffffffffffffffffffffffffffffffffffff16146114b2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016114a990613db6565b60405180910390fd5b6001600d60016101000a81548160ff021916908315150217905550565b6114e06114da611c59565b83611d1a565b61151f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161151690613e56565b60405180910390fd5b61152b84848484612138565b50505050565b600d60009054906101000a900460ff16611580576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161157790613cb6565b60405180910390fd5b60148111156115c4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016115bb90613e36565b60405180910390fd5b600c54816115d0610ac9565b6115da9190613f9a565b111561161b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161161290613d56565b60405180910390fd5b348166d529ae9e86000061162f9190614021565b1115611670576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161166790613c96565b60405180910390fd5b60005b818110156116b7576000611685610ac9565b9050600c54611692610ac9565b10156116a3576116a23382612054565b5b5080806116af90614197565b915050611673565b5050565b600f80546116c890614165565b80601f01602080910402602001604051908101604052809291908181526020018280546116f490614165565b80156117415780601f1061171657610100808354040283529160200191611741565b820191906000526020600020905b81548152906001019060200180831161172457829003601f168201915b505050505081565b606061175482611bed565b611793576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161178a90613df6565b60405180910390fd5b60001515600d60019054906101000a900460ff161515141561184157600e80546117bc90614165565b80601f01602080910402602001604051908101604052809291908181526020018280546117e890614165565b80156118355780601f1061180a57610100808354040283529160200191611835565b820191906000526020600020905b81548152906001019060200180831161181857829003601f168201915b5050505050905061189d565b600061184b612194565b9050600081511161186b5760405180602001604052806000815250611899565b8061187584612226565b600f60405160200161188993929190613b01565b6040516020818303038152906040525b9150505b919050565b6000600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b600d60009054906101000a900460ff1681565b611951611c59565b73ffffffffffffffffffffffffffffffffffffffff1661196f6111f9565b73ffffffffffffffffffffffffffffffffffffffff16146119c5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016119bc90613db6565b60405180910390fd5b80600e90805190602001906119db929190612d93565b5050565b6119e7611c59565b73ffffffffffffffffffffffffffffffffffffffff16611a056111f9565b73ffffffffffffffffffffffffffffffffffffffff1614611a5b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611a5290613db6565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415611acb576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611ac290613c16565b60405180910390fd5b611ad481612072565b50565b600c5481565b611ae5611c59565b73ffffffffffffffffffffffffffffffffffffffff16611b036111f9565b73ffffffffffffffffffffffffffffffffffffffff1614611b59576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611b5090613db6565b60405180910390fd5b80600b9080519060200190611b6f929190612d93565b5050565b60007f780e9d63000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161480611be65750611be5826123d3565b5b9050919050565b60008073ffffffffffffffffffffffffffffffffffffffff166002600084815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614159050919050565b600033905090565b816004600083815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550808273ffffffffffffffffffffffffffffffffffffffff16611cd483610f6e565b73ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92560405160405180910390a45050565b6000611d2582611bed565b611d64576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611d5b90613cd6565b60405180910390fd5b6000611d6f83610f6e565b90508073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff161480611dde57508373ffffffffffffffffffffffffffffffffffffffff16611dc684610899565b73ffffffffffffffffffffffffffffffffffffffff16145b80611def5750611dee81856118a2565b5b91505092915050565b8273ffffffffffffffffffffffffffffffffffffffff16611e1882610f6e565b73ffffffffffffffffffffffffffffffffffffffff1614611e6e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611e6590613dd6565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611ede576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611ed590613c56565b60405180910390fd5b611ee98383836124b5565b611ef4600082611c61565b6001600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254611f44919061407b565b925050819055506001600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254611f9b9190613f9a565b92505081905550816002600083815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550808273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a4505050565b61206e8282604051806020016040528060008152506124c5565b5050565b6000600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600a60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b612143848484611df8565b61214f84848484612520565b61218e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161218590613bf6565b60405180910390fd5b50505050565b6060601080546121a390614165565b80601f01602080910402602001604051908101604052809291908181526020018280546121cf90614165565b801561221c5780601f106121f15761010080835404028352916020019161221c565b820191906000526020600020905b8154815290600101906020018083116121ff57829003601f168201915b5050505050905090565b6060600082141561226e576040518060400160405280600181526020017f300000000000000000000000000000000000000000000000000000000000000081525090506123ce565b600082905060005b600082146122a057808061228990614197565b915050600a826122999190613ff0565b9150612276565b60008167ffffffffffffffff8111156122e2577f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6040519080825280601f01601f1916602001820160405280156123145781602001600182028036833780820191505090505b5090505b600085146123c75760018261232d919061407b565b9150600a8561233c91906141e0565b60306123489190613f9a565b60f81b818381518110612384577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a905350600a856123c09190613ff0565b9450612318565b8093505050505b919050565b60007f80ac58cd000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916148061249e57507f5b5e139f000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916145b806124ae57506124ad826126b7565b5b9050919050565b6124c0838383612721565b505050565b6124cf8383612835565b6124dc6000848484612520565b61251b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161251290613bf6565b60405180910390fd5b505050565b60006125418473ffffffffffffffffffffffffffffffffffffffff16612a03565b156126aa578373ffffffffffffffffffffffffffffffffffffffff1663150b7a0261256a611c59565b8786866040518563ffffffff1660e01b815260040161258c9493929190613b4d565b602060405180830381600087803b1580156125a657600080fd5b505af19250505080156125d757506040513d601f19601f820116820180604052508101906125d4919061313f565b60015b61265a573d8060008114612607576040519150601f19603f3d011682016040523d82523d6000602084013e61260c565b606091505b50600081511415612652576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161264990613bf6565b60405180910390fd5b805181602001fd5b63150b7a0260e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916149150506126af565b600190505b949350505050565b60007f01ffc9a7000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916149050919050565b61272c838383612a16565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561276f5761276a81612a1b565b6127ae565b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16146127ad576127ac8382612a64565b5b5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156127f1576127ec81612bd1565b612830565b8273ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161461282f5761282e8282612d14565b5b5b505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156128a5576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161289c90613d76565b60405180910390fd5b6128ae81611bed565b156128ee576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016128e590613c36565b60405180910390fd5b6128fa600083836124b5565b6001600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461294a9190613f9a565b92505081905550816002600083815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550808273ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a45050565b600080823b905060008111915050919050565b505050565b6008805490506009600083815260200190815260200160002081905550600881908060018154018082558091505060019003906000526020600020016000909190919091505550565b60006001612a71846110ae565b612a7b919061407b565b9050600060076000848152602001908152602001600020549050818114612b60576000600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600084815260200190815260200160002054905080600660008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600084815260200190815260200160002081905550816007600083815260200190815260200160002081905550505b6007600084815260200190815260200160002060009055600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008381526020019081526020016000206000905550505050565b60006001600880549050612be5919061407b565b9050600060096000848152602001908152602001600020549050600060088381548110612c3b577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b906000526020600020015490508060088381548110612c83577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b906000526020600020018190555081600960008381526020019081526020016000208190555060096000858152602001908152602001600020600090556008805480612cf8577f4e487b7100000000000000000000000000000000000000000000000000000000600052603160045260246000fd5b6001900381819060005260206000200160009055905550505050565b6000612d1f836110ae565b905081600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600083815260200190815260200160002081905550806007600084815260200190815260200160002081905550505050565b828054612d9f90614165565b90600052602060002090601f016020900481019282612dc15760008555612e08565b82601f10612dda57805160ff1916838001178555612e08565b82800160010185558215612e08579182015b82811115612e07578251825591602001919060010190612dec565b5b509050612e159190612e19565b5090565b5b80821115612e32576000816000905550600101612e1a565b5090565b6000612e49612e4484613ee2565b613eb1565b905082815260208101848484011115612e6157600080fd5b612e6c848285614123565b509392505050565b6000612e87612e8284613f12565b613eb1565b905082815260208101848484011115612e9f57600080fd5b612eaa848285614123565b509392505050565b600081359050612ec1816142de565b92915050565b600081359050612ed6816142f5565b92915050565b600081359050612eeb8161430c565b92915050565b600081519050612f008161430c565b92915050565b600082601f830112612f1757600080fd5b8135612f27848260208601612e36565b91505092915050565b600082601f830112612f4157600080fd5b8135612f51848260208601612e74565b91505092915050565b600081359050612f6981614323565b92915050565b600060208284031215612f8157600080fd5b6000612f8f84828501612eb2565b91505092915050565b60008060408385031215612fab57600080fd5b6000612fb985828601612eb2565b9250506020612fca85828601612eb2565b9150509250929050565b600080600060608486031215612fe957600080fd5b6000612ff786828701612eb2565b935050602061300886828701612eb2565b925050604061301986828701612f5a565b9150509250925092565b6000806000806080858703121561303957600080fd5b600061304787828801612eb2565b945050602061305887828801612eb2565b935050604061306987828801612f5a565b925050606085013567ffffffffffffffff81111561308657600080fd5b61309287828801612f06565b91505092959194509250565b600080604083850312156130b157600080fd5b60006130bf85828601612eb2565b92505060206130d085828601612ec7565b9150509250929050565b600080604083850312156130ed57600080fd5b60006130fb85828601612eb2565b925050602061310c85828601612f5a565b9150509250929050565b60006020828403121561312857600080fd5b600061313684828501612edc565b91505092915050565b60006020828403121561315157600080fd5b600061315f84828501612ef1565b91505092915050565b60006020828403121561317a57600080fd5b600082013567ffffffffffffffff81111561319457600080fd5b6131a084828501612f30565b91505092915050565b6000602082840312156131bb57600080fd5b60006131c984828501612f5a565b91505092915050565b6131db816140af565b82525050565b6131ea816140c1565b82525050565b60006131fb82613f57565b6132058185613f6d565b9350613215818560208601614132565b61321e816142cd565b840191505092915050565b600061323482613f62565b61323e8185613f7e565b935061324e818560208601614132565b613257816142cd565b840191505092915050565b600061326d82613f62565b6132778185613f8f565b9350613287818560208601614132565b80840191505092915050565b600081546132a081614165565b6132aa8186613f8f565b945060018216600081146132c557600181146132d657613309565b60ff19831686528186019350613309565b6132df85613f42565b60005b83811015613301578154818901526001820191506020810190506132e2565b838801955050505b50505092915050565b600061331f602b83613f7e565b91507f455243373231456e756d657261626c653a206f776e657220696e646578206f7560008301527f74206f6620626f756e64730000000000000000000000000000000000000000006020830152604082019050919050565b6000613385603283613f7e565b91507f4552433732313a207472616e7366657220746f206e6f6e20455243373231526560008301527f63656976657220696d706c656d656e74657200000000000000000000000000006020830152604082019050919050565b60006133eb602683613f7e565b91507f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008301527f64647265737300000000000000000000000000000000000000000000000000006020830152604082019050919050565b6000613451601c83613f7e565b91507f4552433732313a20746f6b656e20616c7265616479206d696e746564000000006000830152602082019050919050565b6000613491602483613f7e565b91507f4552433732313a207472616e7366657220746f20746865207a65726f2061646460008301527f72657373000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b60006134f7601983613f7e565b91507f4552433732313a20617070726f766520746f2063616c6c6572000000000000006000830152602082019050919050565b6000613537601f83613f7e565b91507f45746865722076616c75652073656e74206973206e6f7420636f7272656374006000830152602082019050919050565b6000613577602283613f7e565b91507f53616c65206d7573742062652061637469766520746f206d696e7420546f6b6560008301527f6e730000000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b60006135dd602c83613f7e565b91507f4552433732313a206f70657261746f7220717565727920666f72206e6f6e657860008301527f697374656e7420746f6b656e00000000000000000000000000000000000000006020830152604082019050919050565b6000613643603883613f7e565b91507f4552433732313a20617070726f76652063616c6c6572206973206e6f74206f7760008301527f6e6572206e6f7220617070726f76656420666f7220616c6c00000000000000006020830152604082019050919050565b60006136a9602a83613f7e565b91507f4552433732313a2062616c616e636520717565727920666f7220746865207a6560008301527f726f2061646472657373000000000000000000000000000000000000000000006020830152604082019050919050565b600061370f602983613f7e565b91507f4552433732313a206f776e657220717565727920666f72206e6f6e657869737460008301527f656e7420746f6b656e00000000000000000000000000000000000000000000006020830152604082019050919050565b6000613775602a83613f7e565b91507f507572636861736520776f756c6420657863656564206d617820737570706c7960008301527f206f6620746f6b656e73000000000000000000000000000000000000000000006020830152604082019050919050565b60006137db602083613f7e565b91507f4552433732313a206d696e7420746f20746865207a65726f20616464726573736000830152602082019050919050565b600061381b602c83613f7e565b91507f4552433732313a20617070726f76656420717565727920666f72206e6f6e657860008301527f697374656e7420746f6b656e00000000000000000000000000000000000000006020830152604082019050919050565b6000613881602083613f7e565b91507f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726000830152602082019050919050565b60006138c1602983613f7e565b91507f4552433732313a207472616e73666572206f6620746f6b656e2074686174206960008301527f73206e6f74206f776e00000000000000000000000000000000000000000000006020830152604082019050919050565b6000613927602f83613f7e565b91507f4552433732314d657461646174613a2055524920717565727920666f72206e6f60008301527f6e6578697374656e7420746f6b656e00000000000000000000000000000000006020830152604082019050919050565b600061398d602183613f7e565b91507f4552433732313a20617070726f76616c20746f2063757272656e74206f776e6560008301527f72000000000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b60006139f3601b83613f7e565b91507f4578636565646564206d617820746f6b656e20707572636861736500000000006000830152602082019050919050565b6000613a33603183613f7e565b91507f4552433732313a207472616e736665722063616c6c6572206973206e6f74206f60008301527f776e6572206e6f7220617070726f7665640000000000000000000000000000006020830152604082019050919050565b6000613a99602c83613f7e565b91507f455243373231456e756d657261626c653a20676c6f62616c20696e646578206f60008301527f7574206f6620626f756e647300000000000000000000000000000000000000006020830152604082019050919050565b613afb81614119565b82525050565b6000613b0d8286613262565b9150613b198285613262565b9150613b258284613293565b9150819050949350505050565b6000602082019050613b4760008301846131d2565b92915050565b6000608082019050613b6260008301876131d2565b613b6f60208301866131d2565b613b7c6040830185613af2565b8181036060830152613b8e81846131f0565b905095945050505050565b6000602082019050613bae60008301846131e1565b92915050565b60006020820190508181036000830152613bce8184613229565b905092915050565b60006020820190508181036000830152613bef81613312565b9050919050565b60006020820190508181036000830152613c0f81613378565b9050919050565b60006020820190508181036000830152613c2f816133de565b9050919050565b60006020820190508181036000830152613c4f81613444565b9050919050565b60006020820190508181036000830152613c6f81613484565b9050919050565b60006020820190508181036000830152613c8f816134ea565b9050919050565b60006020820190508181036000830152613caf8161352a565b9050919050565b60006020820190508181036000830152613ccf8161356a565b9050919050565b60006020820190508181036000830152613cef816135d0565b9050919050565b60006020820190508181036000830152613d0f81613636565b9050919050565b60006020820190508181036000830152613d2f8161369c565b9050919050565b60006020820190508181036000830152613d4f81613702565b9050919050565b60006020820190508181036000830152613d6f81613768565b9050919050565b60006020820190508181036000830152613d8f816137ce565b9050919050565b60006020820190508181036000830152613daf8161380e565b9050919050565b60006020820190508181036000830152613dcf81613874565b9050919050565b60006020820190508181036000830152613def816138b4565b9050919050565b60006020820190508181036000830152613e0f8161391a565b9050919050565b60006020820190508181036000830152613e2f81613980565b9050919050565b60006020820190508181036000830152613e4f816139e6565b9050919050565b60006020820190508181036000830152613e6f81613a26565b9050919050565b60006020820190508181036000830152613e8f81613a8c565b9050919050565b6000602082019050613eab6000830184613af2565b92915050565b6000604051905081810181811067ffffffffffffffff82111715613ed857613ed761429e565b5b8060405250919050565b600067ffffffffffffffff821115613efd57613efc61429e565b5b601f19601f8301169050602081019050919050565b600067ffffffffffffffff821115613f2d57613f2c61429e565b5b601f19601f8301169050602081019050919050565b60008190508160005260206000209050919050565b600081519050919050565b600081519050919050565b600082825260208201905092915050565b600082825260208201905092915050565b600081905092915050565b6000613fa582614119565b9150613fb083614119565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff03821115613fe557613fe4614211565b5b828201905092915050565b6000613ffb82614119565b915061400683614119565b92508261401657614015614240565b5b828204905092915050565b600061402c82614119565b915061403783614119565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04831182151516156140705761406f614211565b5b828202905092915050565b600061408682614119565b915061409183614119565b9250828210156140a4576140a3614211565b5b828203905092915050565b60006140ba826140f9565b9050919050565b60008115159050919050565b60007fffffffff0000000000000000000000000000000000000000000000000000000082169050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b82818337600083830152505050565b60005b83811015614150578082015181840152602081019050614135565b8381111561415f576000848401525b50505050565b6000600282049050600182168061417d57607f821691505b602082108114156141915761419061426f565b5b50919050565b60006141a282614119565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8214156141d5576141d4614211565b5b600182019050919050565b60006141eb82614119565b91506141f683614119565b92508261420657614205614240565b5b828206905092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6000601f19601f8301169050919050565b6142e7816140af565b81146142f257600080fd5b50565b6142fe816140c1565b811461430957600080fd5b50565b614315816140cd565b811461432057600080fd5b50565b61432c81614119565b811461433757600080fd5b5056fea2646970667358221220d4daa4becac0f43d4f7dbcacaad510499dae65e72526adad025a15e35faef90964736f6c63430008000033

52203:3426:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;53170:229;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;29516:100;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;31224:308;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;52565:28;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;30747:411;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;52399:45;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;46538:113;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;32283:376;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;54338:215;;;;;;;;;;;;;:::i;:::-;;46119:343;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;54561:89;;;;;;;;;;;;;:::i;:::-;;55483:143;;;;;;;;;;;;;:::i;:::-;;32730:185;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;46728:320;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;52530:28;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;53407:109;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;29123:326;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;52295:24;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;28766:295;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;43123:94;;;;;;;;;;;;;:::i;:::-;;52326:54;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;42472:87;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;29685:104;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;31604:327;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;52736:69;;;;;;;;;;;;;:::i;:::-;;32986:365;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;54658:767;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;52600:37;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;53765:565;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;32002:214;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;52491:32;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;52813:126;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;43372:229;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;52451:33;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;53649:108;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;53170:229;53326:4;53355:36;53379:11;53355:23;:36::i;:::-;53348:43;;53170:229;;;:::o;29516:100::-;29570:13;29603:5;29596:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;29516:100;:::o;31224:308::-;31345:7;31392:16;31400:7;31392;:16::i;:::-;31370:110;;;;;;;;;;;;:::i;:::-;;;;;;;;;31500:15;:24;31516:7;31500:24;;;;;;;;;;;;;;;;;;;;;31493:31;;31224:308;;;:::o;52565:28::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;30747:411::-;30828:13;30844:23;30859:7;30844:14;:23::i;:::-;30828:39;;30892:5;30886:11;;:2;:11;;;;30878:57;;;;;;;;;;;;:::i;:::-;;;;;;;;;30986:5;30970:21;;:12;:10;:12::i;:::-;:21;;;:62;;;;30995:37;31012:5;31019:12;:10;:12::i;:::-;30995:16;:37::i;:::-;30970:62;30948:168;;;;;;;;;;;;:::i;:::-;;;;;;;;;31129:21;31138:2;31142:7;31129:8;:21::i;:::-;30747:411;;;:::o;52399:45::-;52442:2;52399:45;:::o;46538:113::-;46599:7;46626:10;:17;;;;46619:24;;46538:113;:::o;32283:376::-;32492:41;32511:12;:10;:12::i;:::-;32525:7;32492:18;:41::i;:::-;32470:140;;;;;;;;;;;;:::i;:::-;;;;;;;;;32623:28;32633:4;32639:2;32643:7;32623:9;:28::i;:::-;32283:376;;;:::o;54338:215::-;42703:12;:10;:12::i;:::-;42692:23;;:7;:5;:7::i;:::-;:23;;;42684:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;54391:14:::1;54408:13;:11;:13::i;:::-;54391:30;;54441:9;54461:85;54477:2;54473:1;:6;54461:85;;;54501:33;54511:10;54532:1;54523:6;:10;;;;:::i;:::-;54501:9;:33::i;:::-;54481:3;;;;;:::i;:::-;;;;54461:85;;;42763:1;;54338:215::o:0;46119:343::-;46261:7;46316:23;46333:5;46316:16;:23::i;:::-;46308:5;:31;46286:124;;;;;;;;;;;;:::i;:::-;;;;;;;;;46428:12;:19;46441:5;46428:19;;;;;;;;;;;;;;;:26;46448:5;46428:26;;;;;;;;;;;;46421:33;;46119:343;;;;:::o;54561:89::-;42703:12;:10;:12::i;:::-;42692:23;;:7;:5;:7::i;:::-;:23;;;42684:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;54630:12:::1;;;;;;;;;;;54629:13;54614:12;;:28;;;;;;;;;;;;;;;;;;54561:89::o:0;55483:143::-;42703:12;:10;:12::i;:::-;42692:23;;:7;:5;:7::i;:::-;:23;;;42684:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;55531:15:::1;55549:21;55531:39;;55589:10;55581:28;;:37;55610:7;55581:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;42763:1;55483:143::o:0;32730:185::-;32868:39;32885:4;32891:2;32895:7;32868:39;;;;;;;;;;;;:16;:39::i;:::-;32730:185;;;:::o;46728:320::-;46848:7;46903:30;:28;:30::i;:::-;46895:5;:38;46873:132;;;;;;;;;;;;:::i;:::-;;;;;;;;;47023:10;47034:5;47023:17;;;;;;;;;;;;;;;;;;;;;;;;47016:24;;46728:320;;;:::o;52530:28::-;;;;;;;;;;;;;:::o;53407:109::-;42703:12;:10;:12::i;:::-;42692:23;;:7;:5;:7::i;:::-;:23;;;42684:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;53500:8:::1;53481:16;:27;;;;;;;;;;;;:::i;:::-;;53407:109:::0;:::o;29123:326::-;29240:7;29265:13;29281:7;:16;29289:7;29281:16;;;;;;;;;;;;;;;;;;;;;29265:32;;29347:1;29330:19;;:5;:19;;;;29308:110;;;;;;;;;;;;:::i;:::-;;;;;;;;;29436:5;29429:12;;;29123:326;;;:::o;52295:24::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;28766:295::-;28883:7;28947:1;28930:19;;:5;:19;;;;28908:111;;;;;;;;;;;;:::i;:::-;;;;;;;;;29037:9;:16;29047:5;29037:16;;;;;;;;;;;;;;;;29030:23;;28766:295;;;:::o;43123:94::-;42703:12;:10;:12::i;:::-;42692:23;;:7;:5;:7::i;:::-;:23;;;42684:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;43188:21:::1;43206:1;43188:9;:21::i;:::-;43123:94::o:0;52326:54::-;52363:17;52326:54;:::o;42472:87::-;42518:7;42545:6;;;;;;;;;;;42538:13;;42472:87;:::o;29685:104::-;29741:13;29774:7;29767:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;29685:104;:::o;31604:327::-;31751:12;:10;:12::i;:::-;31739:24;;:8;:24;;;;31731:62;;;;;;;;;;;;:::i;:::-;;;;;;;;;31851:8;31806:18;:32;31825:12;:10;:12::i;:::-;31806:32;;;;;;;;;;;;;;;:42;31839:8;31806:42;;;;;;;;;;;;;;;;:53;;;;;;;;;;;;;;;;;;31904:8;31875:48;;31890:12;:10;:12::i;:::-;31875:48;;;31914:8;31875:48;;;;;;:::i;:::-;;;;;;;;31604:327;;:::o;52736:69::-;42703:12;:10;:12::i;:::-;42692:23;;:7;:5;:7::i;:::-;:23;;;42684:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;52793:4:::1;52782:8;;:15;;;;;;;;;;;;;;;;;;52736:69::o:0;32986:365::-;33175:41;33194:12;:10;:12::i;:::-;33208:7;33175:18;:41::i;:::-;33153:140;;;;;;;;;;;;:::i;:::-;;;;;;;;;33304:39;33318:4;33324:2;33328:7;33337:5;33304:13;:39::i;:::-;32986:365;;;;:::o;54658:767::-;54735:12;;;;;;;;;;;54727:59;;;;;;;;;;;;:::i;:::-;;;;;;;;;52442:2;54819:14;:34;;54797:111;;;;;;;;;;;;:::i;:::-;;;;;;;;;54975:10;;54957:14;54941:13;:11;:13::i;:::-;:30;;;;:::i;:::-;:44;;54919:136;;;;;;;;;;;;:::i;:::-;;;;;;;;;55119:9;55101:14;52363:17;55088:27;;;;:::i;:::-;:40;;55066:121;;;;;;;;;;;;:::i;:::-;;;;;;;;;55205:9;55200:218;55224:14;55220:1;:18;55200:218;;;55260:17;55280:13;:11;:13::i;:::-;55260:33;;55328:10;;55312:13;:11;:13::i;:::-;:26;55308:99;;;55359:32;55369:10;55381:9;55359;:32::i;:::-;55308:99;55200:218;55240:3;;;;;:::i;:::-;;;;55200:218;;;;54658:767;:::o;52600:37::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;53765:565::-;53883:13;53932:16;53940:7;53932;:16::i;:::-;53914:105;;;;;;;;;;;;:::i;:::-;;;;;;;;;54055:5;54043:17;;:8;;;;;;;;;;;:17;;;54040:70;;;54084:14;54077:21;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;54040:70;54122:28;54153:10;:8;:10::i;:::-;54122:41;;54212:1;54187:14;54181:28;:32;:141;;;;;;;;;;;;;;;;;54253:14;54269:18;:7;:16;:18::i;:::-;54289:13;54236:67;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;54181:141;54174:148;;;53765:565;;;;:::o;32002:214::-;32144:4;32173:18;:25;32192:5;32173:25;;;;;;;;;;;;;;;:35;32199:8;32173:35;;;;;;;;;;;;;;;;;;;;;;;;;32166:42;;32002:214;;;;:::o;52491:32::-;;;;;;;;;;;;;:::o;52813:126::-;42703:12;:10;:12::i;:::-;42692:23;;:7;:5;:7::i;:::-;:23;;;42684:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;52916:15:::1;52899:14;:32;;;;;;;;;;;;:::i;:::-;;52813:126:::0;:::o;43372:229::-;42703:12;:10;:12::i;:::-;42692:23;;:7;:5;:7::i;:::-;:23;;;42684:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;43495:1:::1;43475:22;;:8;:22;;;;43453:110;;;;;;;;;;;;:::i;:::-;;;;;;;;;43574:19;43584:8;43574:9;:19::i;:::-;43372:229:::0;:::o;52451:33::-;;;;:::o;53649:108::-;42703:12;:10;:12::i;:::-;42692:23;;:7;:5;:7::i;:::-;:23;;;42684:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;53739:10:::1;53726;:23;;;;;;;;;;;;:::i;:::-;;53649:108:::0;:::o;45735:300::-;45882:4;45939:35;45924:50;;;:11;:50;;;;:103;;;;45991:36;46015:11;45991:23;:36::i;:::-;45924:103;45904:123;;45735:300;;;:::o;34898:127::-;34963:4;35015:1;34987:30;;:7;:16;34995:7;34987:16;;;;;;;;;;;;;;;;;;;;;:30;;;;34980:37;;34898:127;;;:::o;16587:98::-;16640:7;16667:10;16660:17;;16587:98;:::o;39021:174::-;39123:2;39096:15;:24;39112:7;39096:24;;;;;;;;;;;;:29;;;;;;;;;;;;;;;;;;39179:7;39175:2;39141:46;;39150:23;39165:7;39150:14;:23::i;:::-;39141:46;;;;;;;;;;;;39021:174;;:::o;35192:452::-;35321:4;35365:16;35373:7;35365;:16::i;:::-;35343:110;;;;;;;;;;;;:::i;:::-;;;;;;;;;35464:13;35480:23;35495:7;35480:14;:23::i;:::-;35464:39;;35533:5;35522:16;;:7;:16;;;:64;;;;35579:7;35555:31;;:20;35567:7;35555:11;:20::i;:::-;:31;;;35522:64;:113;;;;35603:32;35620:5;35627:7;35603:16;:32::i;:::-;35522:113;35514:122;;;35192:452;;;;:::o;38288:615::-;38461:4;38434:31;;:23;38449:7;38434:14;:23::i;:::-;:31;;;38412:122;;;;;;;;;;;;:::i;:::-;;;;;;;;;38567:1;38553:16;;:2;:16;;;;38545:65;;;;;;;;;;;;:::i;:::-;;;;;;;;;38623:39;38644:4;38650:2;38654:7;38623:20;:39::i;:::-;38727:29;38744:1;38748:7;38727:8;:29::i;:::-;38788:1;38769:9;:15;38779:4;38769:15;;;;;;;;;;;;;;;;:20;;;;;;;:::i;:::-;;;;;;;;38817:1;38800:9;:13;38810:2;38800:13;;;;;;;;;;;;;;;;:18;;;;;;;:::i;:::-;;;;;;;;38848:2;38829:7;:16;38837:7;38829:16;;;;;;;;;;;;:21;;;;;;;;;;;;;;;;;;38887:7;38883:2;38868:27;;38877:4;38868:27;;;;;;;;;;;;38288:615;;;:::o;35986:110::-;36062:26;36072:2;36076:7;36062:26;;;;;;;;;;;;:9;:26::i;:::-;35986:110;;:::o;43609:173::-;43665:16;43684:6;;;;;;;;;;;43665:25;;43710:8;43701:6;;:17;;;;;;;;;;;;;;;;;;43765:8;43734:40;;43755:8;43734:40;;;;;;;;;;;;43609:173;;:::o;34233:352::-;34390:28;34400:4;34406:2;34410:7;34390:9;:28::i;:::-;34451:48;34474:4;34480:2;34484:7;34493:5;34451:22;:48::i;:::-;34429:148;;;;;;;;;;;;:::i;:::-;;;;;;;;;34233:352;;;;:::o;53524:117::-;53584:13;53617:16;53610:23;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;53524:117;:::o;24224:723::-;24280:13;24510:1;24501:5;:10;24497:53;;;24528:10;;;;;;;;;;;;;;;;;;;;;24497:53;24560:12;24575:5;24560:20;;24591:14;24616:78;24631:1;24623:4;:9;24616:78;;24649:8;;;;;:::i;:::-;;;;24680:2;24672:10;;;;;:::i;:::-;;;24616:78;;;24704:19;24736:6;24726:17;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;24704:39;;24754:154;24770:1;24761:5;:10;24754:154;;24798:1;24788:11;;;;;:::i;:::-;;;24865:2;24857:5;:10;;;;:::i;:::-;24844:2;:24;;;;:::i;:::-;24831:39;;24814:6;24821;24814:14;;;;;;;;;;;;;;;;;;;:56;;;;;;;;;;;24894:2;24885:11;;;;;:::i;:::-;;;24754:154;;;24932:6;24918:21;;;;;24224:723;;;;:::o;28347:355::-;28494:4;28551:25;28536:40;;;:11;:40;;;;:105;;;;28608:33;28593:48;;;:11;:48;;;;28536:105;:158;;;;28658:36;28682:11;28658:23;:36::i;:::-;28536:158;28516:178;;28347:355;;;:::o;52947:215::-;53109:45;53136:4;53142:2;53146:7;53109:26;:45::i;:::-;52947:215;;;:::o;36323:321::-;36453:18;36459:2;36463:7;36453:5;:18::i;:::-;36504:54;36535:1;36539:2;36543:7;36552:5;36504:22;:54::i;:::-;36482:154;;;;;;;;;;;;:::i;:::-;;;;;;;;;36323:321;;;:::o;39760:984::-;39915:4;39936:15;:2;:13;;;:15::i;:::-;39932:805;;;40005:2;39989:36;;;40048:12;:10;:12::i;:::-;40083:4;40110:7;40140:5;39989:175;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;39968:714;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;40368:1;40351:6;:13;:18;40347:320;;;40394:108;;;;;;;;;;:::i;:::-;;;;;;;;40347:320;40617:6;40611:13;40602:6;40598:2;40594:15;40587:38;39968:714;40238:45;;;40228:55;;;:6;:55;;;;40221:62;;;;;39932:805;40721:4;40714:11;;39760:984;;;;;;;:::o;26813:207::-;26943:4;26987:25;26972:40;;;:11;:40;;;;26965:47;;26813:207;;;:::o;47661:589::-;47805:45;47832:4;47838:2;47842:7;47805:26;:45::i;:::-;47883:1;47867:18;;:4;:18;;;47863:187;;;47902:40;47934:7;47902:31;:40::i;:::-;47863:187;;;47972:2;47964:10;;:4;:10;;;47960:90;;47991:47;48024:4;48030:7;47991:32;:47::i;:::-;47960:90;47863:187;48078:1;48064:16;;:2;:16;;;48060:183;;;48097:45;48134:7;48097:36;:45::i;:::-;48060:183;;;48170:4;48164:10;;:2;:10;;;48160:83;;48191:40;48219:2;48223:7;48191:27;:40::i;:::-;48160:83;48060:183;47661:589;;;:::o;36980:382::-;37074:1;37060:16;;:2;:16;;;;37052:61;;;;;;;;;;;;:::i;:::-;;;;;;;;;37133:16;37141:7;37133;:16::i;:::-;37132:17;37124:58;;;;;;;;;;;;:::i;:::-;;;;;;;;;37195:45;37224:1;37228:2;37232:7;37195:20;:45::i;:::-;37270:1;37253:9;:13;37263:2;37253:13;;;;;;;;;;;;;;;;:18;;;;;;;:::i;:::-;;;;;;;;37301:2;37282:7;:16;37290:7;37282:16;;;;;;;;;;;;:21;;;;;;;;;;;;;;;;;;37346:7;37342:2;37321:33;;37338:1;37321:33;;;;;;;;;;;;36980:382;;:::o;8380:387::-;8440:4;8648:12;8715:7;8703:20;8695:28;;8758:1;8751:4;:8;8744:15;;;8380:387;;;:::o;41316:126::-;;;;:::o;48973:164::-;49077:10;:17;;;;49050:15;:24;49066:7;49050:24;;;;;;;;;;;:44;;;;49105:10;49121:7;49105:24;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;48973:164;:::o;49764:1002::-;50044:22;50094:1;50069:22;50086:4;50069:16;:22::i;:::-;:26;;;;:::i;:::-;50044:51;;50106:18;50127:17;:26;50145:7;50127:26;;;;;;;;;;;;50106:47;;50274:14;50260:10;:28;50256:328;;50305:19;50327:12;:18;50340:4;50327:18;;;;;;;;;;;;;;;:34;50346:14;50327:34;;;;;;;;;;;;50305:56;;50411:11;50378:12;:18;50391:4;50378:18;;;;;;;;;;;;;;;:30;50397:10;50378:30;;;;;;;;;;;:44;;;;50528:10;50495:17;:30;50513:11;50495:30;;;;;;;;;;;:43;;;;50256:328;;50680:17;:26;50698:7;50680:26;;;;;;;;;;;50673:33;;;50724:12;:18;50737:4;50724:18;;;;;;;;;;;;;;;:34;50743:14;50724:34;;;;;;;;;;;50717:41;;;49764:1002;;;;:::o;51061:1079::-;51314:22;51359:1;51339:10;:17;;;;:21;;;;:::i;:::-;51314:46;;51371:18;51392:15;:24;51408:7;51392:24;;;;;;;;;;;;51371:45;;51743:19;51765:10;51776:14;51765:26;;;;;;;;;;;;;;;;;;;;;;;;51743:48;;51829:11;51804:10;51815;51804:22;;;;;;;;;;;;;;;;;;;;;;;:36;;;;51940:10;51909:15;:28;51925:11;51909:28;;;;;;;;;;;:41;;;;52081:15;:24;52097:7;52081:24;;;;;;;;;;;52074:31;;;52116:10;:16;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;51061:1079;;;;:::o;48551:221::-;48636:14;48653:20;48670:2;48653:16;:20::i;:::-;48636:37;;48711:7;48684:12;:16;48697:2;48684:16;;;;;;;;;;;;;;;:24;48701:6;48684:24;;;;;;;;;;;:34;;;;48758:6;48729:17;:26;48747:7;48729:26;;;;;;;;;;;:35;;;;48551:221;;;:::o;-1:-1:-1:-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;:::o;7:342:1:-;;109:64;124:48;165:6;124:48;:::i;:::-;109:64;:::i;:::-;100:73;;196:6;189:5;182:21;234:4;227:5;223:16;272:3;263:6;258:3;254:16;251:25;248:2;;;289:1;286;279:12;248:2;302:41;336:6;331:3;326;302:41;:::i;:::-;90:259;;;;;;:::o;355:344::-;;458:65;473:49;515:6;473:49;:::i;:::-;458:65;:::i;:::-;449:74;;546:6;539:5;532:21;584:4;577:5;573:16;622:3;613:6;608:3;604:16;601:25;598:2;;;639:1;636;629:12;598:2;652:41;686:6;681:3;676;652:41;:::i;:::-;439:260;;;;;;:::o;705:139::-;;789:6;776:20;767:29;;805:33;832:5;805:33;:::i;:::-;757:87;;;;:::o;850:133::-;;931:6;918:20;909:29;;947:30;971:5;947:30;:::i;:::-;899:84;;;;:::o;989:137::-;;1072:6;1059:20;1050:29;;1088:32;1114:5;1088:32;:::i;:::-;1040:86;;;;:::o;1132:141::-;;1219:6;1213:13;1204:22;;1235:32;1261:5;1235:32;:::i;:::-;1194:79;;;;:::o;1292:271::-;;1396:3;1389:4;1381:6;1377:17;1373:27;1363:2;;1414:1;1411;1404:12;1363:2;1454:6;1441:20;1479:78;1553:3;1545:6;1538:4;1530:6;1526:17;1479:78;:::i;:::-;1470:87;;1353:210;;;;;:::o;1583:273::-;;1688:3;1681:4;1673:6;1669:17;1665:27;1655:2;;1706:1;1703;1696:12;1655:2;1746:6;1733:20;1771:79;1846:3;1838:6;1831:4;1823:6;1819:17;1771:79;:::i;:::-;1762:88;;1645:211;;;;;:::o;1862:139::-;;1946:6;1933:20;1924:29;;1962:33;1989:5;1962:33;:::i;:::-;1914:87;;;;:::o;2007:262::-;;2115:2;2103:9;2094:7;2090:23;2086:32;2083:2;;;2131:1;2128;2121:12;2083:2;2174:1;2199:53;2244:7;2235:6;2224:9;2220:22;2199:53;:::i;:::-;2189:63;;2145:117;2073:196;;;;:::o;2275:407::-;;;2400:2;2388:9;2379:7;2375:23;2371:32;2368:2;;;2416:1;2413;2406:12;2368:2;2459:1;2484:53;2529:7;2520:6;2509:9;2505:22;2484:53;:::i;:::-;2474:63;;2430:117;2586:2;2612:53;2657:7;2648:6;2637:9;2633:22;2612:53;:::i;:::-;2602:63;;2557:118;2358:324;;;;;:::o;2688:552::-;;;;2830:2;2818:9;2809:7;2805:23;2801:32;2798:2;;;2846:1;2843;2836:12;2798:2;2889:1;2914:53;2959:7;2950:6;2939:9;2935:22;2914:53;:::i;:::-;2904:63;;2860:117;3016:2;3042:53;3087:7;3078:6;3067:9;3063:22;3042:53;:::i;:::-;3032:63;;2987:118;3144:2;3170:53;3215:7;3206:6;3195:9;3191:22;3170:53;:::i;:::-;3160:63;;3115:118;2788:452;;;;;:::o;3246:809::-;;;;;3414:3;3402:9;3393:7;3389:23;3385:33;3382:2;;;3431:1;3428;3421:12;3382:2;3474:1;3499:53;3544:7;3535:6;3524:9;3520:22;3499:53;:::i;:::-;3489:63;;3445:117;3601:2;3627:53;3672:7;3663:6;3652:9;3648:22;3627:53;:::i;:::-;3617:63;;3572:118;3729:2;3755:53;3800:7;3791:6;3780:9;3776:22;3755:53;:::i;:::-;3745:63;;3700:118;3885:2;3874:9;3870:18;3857:32;3916:18;3908:6;3905:30;3902:2;;;3948:1;3945;3938:12;3902:2;3976:62;4030:7;4021:6;4010:9;4006:22;3976:62;:::i;:::-;3966:72;;3828:220;3372:683;;;;;;;:::o;4061:401::-;;;4183:2;4171:9;4162:7;4158:23;4154:32;4151:2;;;4199:1;4196;4189:12;4151:2;4242:1;4267:53;4312:7;4303:6;4292:9;4288:22;4267:53;:::i;:::-;4257:63;;4213:117;4369:2;4395:50;4437:7;4428:6;4417:9;4413:22;4395:50;:::i;:::-;4385:60;;4340:115;4141:321;;;;;:::o;4468:407::-;;;4593:2;4581:9;4572:7;4568:23;4564:32;4561:2;;;4609:1;4606;4599:12;4561:2;4652:1;4677:53;4722:7;4713:6;4702:9;4698:22;4677:53;:::i;:::-;4667:63;;4623:117;4779:2;4805:53;4850:7;4841:6;4830:9;4826:22;4805:53;:::i;:::-;4795:63;;4750:118;4551:324;;;;;:::o;4881:260::-;;4988:2;4976:9;4967:7;4963:23;4959:32;4956:2;;;5004:1;5001;4994:12;4956:2;5047:1;5072:52;5116:7;5107:6;5096:9;5092:22;5072:52;:::i;:::-;5062:62;;5018:116;4946:195;;;;:::o;5147:282::-;;5265:2;5253:9;5244:7;5240:23;5236:32;5233:2;;;5281:1;5278;5271:12;5233:2;5324:1;5349:63;5404:7;5395:6;5384:9;5380:22;5349:63;:::i;:::-;5339:73;;5295:127;5223:206;;;;:::o;5435:375::-;;5553:2;5541:9;5532:7;5528:23;5524:32;5521:2;;;5569:1;5566;5559:12;5521:2;5640:1;5629:9;5625:17;5612:31;5670:18;5662:6;5659:30;5656:2;;;5702:1;5699;5692:12;5656:2;5730:63;5785:7;5776:6;5765:9;5761:22;5730:63;:::i;:::-;5720:73;;5583:220;5511:299;;;;:::o;5816:262::-;;5924:2;5912:9;5903:7;5899:23;5895:32;5892:2;;;5940:1;5937;5930:12;5892:2;5983:1;6008:53;6053:7;6044:6;6033:9;6029:22;6008:53;:::i;:::-;5998:63;;5954:117;5882:196;;;;:::o;6084:118::-;6171:24;6189:5;6171:24;:::i;:::-;6166:3;6159:37;6149:53;;:::o;6208:109::-;6289:21;6304:5;6289:21;:::i;:::-;6284:3;6277:34;6267:50;;:::o;6323:360::-;;6437:38;6469:5;6437:38;:::i;:::-;6491:70;6554:6;6549:3;6491:70;:::i;:::-;6484:77;;6570:52;6615:6;6610:3;6603:4;6596:5;6592:16;6570:52;:::i;:::-;6647:29;6669:6;6647:29;:::i;:::-;6642:3;6638:39;6631:46;;6413:270;;;;;:::o;6689:364::-;;6805:39;6838:5;6805:39;:::i;:::-;6860:71;6924:6;6919:3;6860:71;:::i;:::-;6853:78;;6940:52;6985:6;6980:3;6973:4;6966:5;6962:16;6940:52;:::i;:::-;7017:29;7039:6;7017:29;:::i;:::-;7012:3;7008:39;7001:46;;6781:272;;;;;:::o;7059:377::-;;7193:39;7226:5;7193:39;:::i;:::-;7248:89;7330:6;7325:3;7248:89;:::i;:::-;7241:96;;7346:52;7391:6;7386:3;7379:4;7372:5;7368:16;7346:52;:::i;:::-;7423:6;7418:3;7414:16;7407:23;;7169:267;;;;;:::o;7466:845::-;;7606:5;7600:12;7635:36;7661:9;7635:36;:::i;:::-;7687:89;7769:6;7764:3;7687:89;:::i;:::-;7680:96;;7807:1;7796:9;7792:17;7823:1;7818:137;;;;7969:1;7964:341;;;;7785:520;;7818:137;7902:4;7898:9;7887;7883:25;7878:3;7871:38;7938:6;7933:3;7929:16;7922:23;;7818:137;;7964:341;8031:38;8063:5;8031:38;:::i;:::-;8091:1;8105:154;8119:6;8116:1;8113:13;8105:154;;;8193:7;8187:14;8183:1;8178:3;8174:11;8167:35;8243:1;8234:7;8230:15;8219:26;;8141:4;8138:1;8134:12;8129:17;;8105:154;;;8288:6;8283:3;8279:16;8272:23;;7971:334;;7785:520;;7573:738;;;;;;:::o;8317:375::-;;8480:67;8544:2;8539:3;8480:67;:::i;:::-;8473:74;;8577:34;8573:1;8568:3;8564:11;8557:55;8643:13;8638:2;8633:3;8629:12;8622:35;8683:2;8678:3;8674:12;8667:19;;8463:229;;;:::o;8698:382::-;;8861:67;8925:2;8920:3;8861:67;:::i;:::-;8854:74;;8958:34;8954:1;8949:3;8945:11;8938:55;9024:20;9019:2;9014:3;9010:12;9003:42;9071:2;9066:3;9062:12;9055:19;;8844:236;;;:::o;9086:370::-;;9249:67;9313:2;9308:3;9249:67;:::i;:::-;9242:74;;9346:34;9342:1;9337:3;9333:11;9326:55;9412:8;9407:2;9402:3;9398:12;9391:30;9447:2;9442:3;9438:12;9431:19;;9232:224;;;:::o;9462:326::-;;9625:67;9689:2;9684:3;9625:67;:::i;:::-;9618:74;;9722:30;9718:1;9713:3;9709:11;9702:51;9779:2;9774:3;9770:12;9763:19;;9608:180;;;:::o;9794:368::-;;9957:67;10021:2;10016:3;9957:67;:::i;:::-;9950:74;;10054:34;10050:1;10045:3;10041:11;10034:55;10120:6;10115:2;10110:3;10106:12;10099:28;10153:2;10148:3;10144:12;10137:19;;9940:222;;;:::o;10168:323::-;;10331:67;10395:2;10390:3;10331:67;:::i;:::-;10324:74;;10428:27;10424:1;10419:3;10415:11;10408:48;10482:2;10477:3;10473:12;10466:19;;10314:177;;;:::o;10497:329::-;;10660:67;10724:2;10719:3;10660:67;:::i;:::-;10653:74;;10757:33;10753:1;10748:3;10744:11;10737:54;10817:2;10812:3;10808:12;10801:19;;10643:183;;;:::o;10832:366::-;;10995:67;11059:2;11054:3;10995:67;:::i;:::-;10988:74;;11092:34;11088:1;11083:3;11079:11;11072:55;11158:4;11153:2;11148:3;11144:12;11137:26;11189:2;11184:3;11180:12;11173:19;;10978:220;;;:::o;11204:376::-;;11367:67;11431:2;11426:3;11367:67;:::i;:::-;11360:74;;11464:34;11460:1;11455:3;11451:11;11444:55;11530:14;11525:2;11520:3;11516:12;11509:36;11571:2;11566:3;11562:12;11555:19;;11350:230;;;:::o;11586:388::-;;11749:67;11813:2;11808:3;11749:67;:::i;:::-;11742:74;;11846:34;11842:1;11837:3;11833:11;11826:55;11912:26;11907:2;11902:3;11898:12;11891:48;11965:2;11960:3;11956:12;11949:19;;11732:242;;;:::o;11980:374::-;;12143:67;12207:2;12202:3;12143:67;:::i;:::-;12136:74;;12240:34;12236:1;12231:3;12227:11;12220:55;12306:12;12301:2;12296:3;12292:12;12285:34;12345:2;12340:3;12336:12;12329:19;;12126:228;;;:::o;12360:373::-;;12523:67;12587:2;12582:3;12523:67;:::i;:::-;12516:74;;12620:34;12616:1;12611:3;12607:11;12600:55;12686:11;12681:2;12676:3;12672:12;12665:33;12724:2;12719:3;12715:12;12708:19;;12506:227;;;:::o;12739:374::-;;12902:67;12966:2;12961:3;12902:67;:::i;:::-;12895:74;;12999:34;12995:1;12990:3;12986:11;12979:55;13065:12;13060:2;13055:3;13051:12;13044:34;13104:2;13099:3;13095:12;13088:19;;12885:228;;;:::o;13119:330::-;;13282:67;13346:2;13341:3;13282:67;:::i;:::-;13275:74;;13379:34;13375:1;13370:3;13366:11;13359:55;13440:2;13435:3;13431:12;13424:19;;13265:184;;;:::o;13455:376::-;;13618:67;13682:2;13677:3;13618:67;:::i;:::-;13611:74;;13715:34;13711:1;13706:3;13702:11;13695:55;13781:14;13776:2;13771:3;13767:12;13760:36;13822:2;13817:3;13813:12;13806:19;;13601:230;;;:::o;13837:330::-;;14000:67;14064:2;14059:3;14000:67;:::i;:::-;13993:74;;14097:34;14093:1;14088:3;14084:11;14077:55;14158:2;14153:3;14149:12;14142:19;;13983:184;;;:::o;14173:373::-;;14336:67;14400:2;14395:3;14336:67;:::i;:::-;14329:74;;14433:34;14429:1;14424:3;14420:11;14413:55;14499:11;14494:2;14489:3;14485:12;14478:33;14537:2;14532:3;14528:12;14521:19;;14319:227;;;:::o;14552:379::-;;14715:67;14779:2;14774:3;14715:67;:::i;:::-;14708:74;;14812:34;14808:1;14803:3;14799:11;14792:55;14878:17;14873:2;14868:3;14864:12;14857:39;14922:2;14917:3;14913:12;14906:19;;14698:233;;;:::o;14937:365::-;;15100:67;15164:2;15159:3;15100:67;:::i;:::-;15093:74;;15197:34;15193:1;15188:3;15184:11;15177:55;15263:3;15258:2;15253:3;15249:12;15242:25;15293:2;15288:3;15284:12;15277:19;;15083:219;;;:::o;15308:325::-;;15471:67;15535:2;15530:3;15471:67;:::i;:::-;15464:74;;15568:29;15564:1;15559:3;15555:11;15548:50;15624:2;15619:3;15615:12;15608:19;;15454:179;;;:::o;15639:381::-;;15802:67;15866:2;15861:3;15802:67;:::i;:::-;15795:74;;15899:34;15895:1;15890:3;15886:11;15879:55;15965:19;15960:2;15955:3;15951:12;15944:41;16011:2;16006:3;16002:12;15995:19;;15785:235;;;:::o;16026:376::-;;16189:67;16253:2;16248:3;16189:67;:::i;:::-;16182:74;;16286:34;16282:1;16277:3;16273:11;16266:55;16352:14;16347:2;16342:3;16338:12;16331:36;16393:2;16388:3;16384:12;16377:19;;16172:230;;;:::o;16408:118::-;16495:24;16513:5;16495:24;:::i;:::-;16490:3;16483:37;16473:53;;:::o;16532:589::-;;16779:95;16870:3;16861:6;16779:95;:::i;:::-;16772:102;;16891:95;16982:3;16973:6;16891:95;:::i;:::-;16884:102;;17003:92;17091:3;17082:6;17003:92;:::i;:::-;16996:99;;17112:3;17105:10;;16761:360;;;;;;:::o;17127:222::-;;17258:2;17247:9;17243:18;17235:26;;17271:71;17339:1;17328:9;17324:17;17315:6;17271:71;:::i;:::-;17225:124;;;;:::o;17355:640::-;;17588:3;17577:9;17573:19;17565:27;;17602:71;17670:1;17659:9;17655:17;17646:6;17602:71;:::i;:::-;17683:72;17751:2;17740:9;17736:18;17727:6;17683:72;:::i;:::-;17765;17833:2;17822:9;17818:18;17809:6;17765:72;:::i;:::-;17884:9;17878:4;17874:20;17869:2;17858:9;17854:18;17847:48;17912:76;17983:4;17974:6;17912:76;:::i;:::-;17904:84;;17555:440;;;;;;;:::o;18001:210::-;;18126:2;18115:9;18111:18;18103:26;;18139:65;18201:1;18190:9;18186:17;18177:6;18139:65;:::i;:::-;18093:118;;;;:::o;18217:313::-;;18368:2;18357:9;18353:18;18345:26;;18417:9;18411:4;18407:20;18403:1;18392:9;18388:17;18381:47;18445:78;18518:4;18509:6;18445:78;:::i;:::-;18437:86;;18335:195;;;;:::o;18536:419::-;;18740:2;18729:9;18725:18;18717:26;;18789:9;18783:4;18779:20;18775:1;18764:9;18760:17;18753:47;18817:131;18943:4;18817:131;:::i;:::-;18809:139;;18707:248;;;:::o;18961:419::-;;19165:2;19154:9;19150:18;19142:26;;19214:9;19208:4;19204:20;19200:1;19189:9;19185:17;19178:47;19242:131;19368:4;19242:131;:::i;:::-;19234:139;;19132:248;;;:::o;19386:419::-;;19590:2;19579:9;19575:18;19567:26;;19639:9;19633:4;19629:20;19625:1;19614:9;19610:17;19603:47;19667:131;19793:4;19667:131;:::i;:::-;19659:139;;19557:248;;;:::o;19811:419::-;;20015:2;20004:9;20000:18;19992:26;;20064:9;20058:4;20054:20;20050:1;20039:9;20035:17;20028:47;20092:131;20218:4;20092:131;:::i;:::-;20084:139;;19982:248;;;:::o;20236:419::-;;20440:2;20429:9;20425:18;20417:26;;20489:9;20483:4;20479:20;20475:1;20464:9;20460:17;20453:47;20517:131;20643:4;20517:131;:::i;:::-;20509:139;;20407:248;;;:::o;20661:419::-;;20865:2;20854:9;20850:18;20842:26;;20914:9;20908:4;20904:20;20900:1;20889:9;20885:17;20878:47;20942:131;21068:4;20942:131;:::i;:::-;20934:139;;20832:248;;;:::o;21086:419::-;;21290:2;21279:9;21275:18;21267:26;;21339:9;21333:4;21329:20;21325:1;21314:9;21310:17;21303:47;21367:131;21493:4;21367:131;:::i;:::-;21359:139;;21257:248;;;:::o;21511:419::-;;21715:2;21704:9;21700:18;21692:26;;21764:9;21758:4;21754:20;21750:1;21739:9;21735:17;21728:47;21792:131;21918:4;21792:131;:::i;:::-;21784:139;;21682:248;;;:::o;21936:419::-;;22140:2;22129:9;22125:18;22117:26;;22189:9;22183:4;22179:20;22175:1;22164:9;22160:17;22153:47;22217:131;22343:4;22217:131;:::i;:::-;22209:139;;22107:248;;;:::o;22361:419::-;;22565:2;22554:9;22550:18;22542:26;;22614:9;22608:4;22604:20;22600:1;22589:9;22585:17;22578:47;22642:131;22768:4;22642:131;:::i;:::-;22634:139;;22532:248;;;:::o;22786:419::-;;22990:2;22979:9;22975:18;22967:26;;23039:9;23033:4;23029:20;23025:1;23014:9;23010:17;23003:47;23067:131;23193:4;23067:131;:::i;:::-;23059:139;;22957:248;;;:::o;23211:419::-;;23415:2;23404:9;23400:18;23392:26;;23464:9;23458:4;23454:20;23450:1;23439:9;23435:17;23428:47;23492:131;23618:4;23492:131;:::i;:::-;23484:139;;23382:248;;;:::o;23636:419::-;;23840:2;23829:9;23825:18;23817:26;;23889:9;23883:4;23879:20;23875:1;23864:9;23860:17;23853:47;23917:131;24043:4;23917:131;:::i;:::-;23909:139;;23807:248;;;:::o;24061:419::-;;24265:2;24254:9;24250:18;24242:26;;24314:9;24308:4;24304:20;24300:1;24289:9;24285:17;24278:47;24342:131;24468:4;24342:131;:::i;:::-;24334:139;;24232:248;;;:::o;24486:419::-;;24690:2;24679:9;24675:18;24667:26;;24739:9;24733:4;24729:20;24725:1;24714:9;24710:17;24703:47;24767:131;24893:4;24767:131;:::i;:::-;24759:139;;24657:248;;;:::o;24911:419::-;;25115:2;25104:9;25100:18;25092:26;;25164:9;25158:4;25154:20;25150:1;25139:9;25135:17;25128:47;25192:131;25318:4;25192:131;:::i;:::-;25184:139;;25082:248;;;:::o;25336:419::-;;25540:2;25529:9;25525:18;25517:26;;25589:9;25583:4;25579:20;25575:1;25564:9;25560:17;25553:47;25617:131;25743:4;25617:131;:::i;:::-;25609:139;;25507:248;;;:::o;25761:419::-;;25965:2;25954:9;25950:18;25942:26;;26014:9;26008:4;26004:20;26000:1;25989:9;25985:17;25978:47;26042:131;26168:4;26042:131;:::i;:::-;26034:139;;25932:248;;;:::o;26186:419::-;;26390:2;26379:9;26375:18;26367:26;;26439:9;26433:4;26429:20;26425:1;26414:9;26410:17;26403:47;26467:131;26593:4;26467:131;:::i;:::-;26459:139;;26357:248;;;:::o;26611:419::-;;26815:2;26804:9;26800:18;26792:26;;26864:9;26858:4;26854:20;26850:1;26839:9;26835:17;26828:47;26892:131;27018:4;26892:131;:::i;:::-;26884:139;;26782:248;;;:::o;27036:419::-;;27240:2;27229:9;27225:18;27217:26;;27289:9;27283:4;27279:20;27275:1;27264:9;27260:17;27253:47;27317:131;27443:4;27317:131;:::i;:::-;27309:139;;27207:248;;;:::o;27461:419::-;;27665:2;27654:9;27650:18;27642:26;;27714:9;27708:4;27704:20;27700:1;27689:9;27685:17;27678:47;27742:131;27868:4;27742:131;:::i;:::-;27734:139;;27632:248;;;:::o;27886:222::-;;28017:2;28006:9;28002:18;27994:26;;28030:71;28098:1;28087:9;28083:17;28074:6;28030:71;:::i;:::-;27984:124;;;;:::o;28114:283::-;;28180:2;28174:9;28164:19;;28222:4;28214:6;28210:17;28329:6;28317:10;28314:22;28293:18;28281:10;28278:34;28275:62;28272:2;;;28340:18;;:::i;:::-;28272:2;28380:10;28376:2;28369:22;28154:243;;;;:::o;28403:331::-;;28554:18;28546:6;28543:30;28540:2;;;28576:18;;:::i;:::-;28540:2;28661:4;28657:9;28650:4;28642:6;28638:17;28634:33;28626:41;;28722:4;28716;28712:15;28704:23;;28469:265;;;:::o;28740:332::-;;28892:18;28884:6;28881:30;28878:2;;;28914:18;;:::i;:::-;28878:2;28999:4;28995:9;28988:4;28980:6;28976:17;28972:33;28964:41;;29060:4;29054;29050:15;29042:23;;28807:265;;;:::o;29078:141::-;;29150:3;29142:11;;29173:3;29170:1;29163:14;29207:4;29204:1;29194:18;29186:26;;29132:87;;;:::o;29225:98::-;;29310:5;29304:12;29294:22;;29283:40;;;:::o;29329:99::-;;29415:5;29409:12;29399:22;;29388:40;;;:::o;29434:168::-;;29551:6;29546:3;29539:19;29591:4;29586:3;29582:14;29567:29;;29529:73;;;;:::o;29608:169::-;;29726:6;29721:3;29714:19;29766:4;29761:3;29757:14;29742:29;;29704:73;;;;:::o;29783:148::-;;29922:3;29907:18;;29897:34;;;;:::o;29937:305::-;;29996:20;30014:1;29996:20;:::i;:::-;29991:25;;30030:20;30048:1;30030:20;:::i;:::-;30025:25;;30184:1;30116:66;30112:74;30109:1;30106:81;30103:2;;;30190:18;;:::i;:::-;30103:2;30234:1;30231;30227:9;30220:16;;29981:261;;;;:::o;30248:185::-;;30305:20;30323:1;30305:20;:::i;:::-;30300:25;;30339:20;30357:1;30339:20;:::i;:::-;30334:25;;30378:1;30368:2;;30383:18;;:::i;:::-;30368:2;30425:1;30422;30418:9;30413:14;;30290:143;;;;:::o;30439:348::-;;30502:20;30520:1;30502:20;:::i;:::-;30497:25;;30536:20;30554:1;30536:20;:::i;:::-;30531:25;;30724:1;30656:66;30652:74;30649:1;30646:81;30641:1;30634:9;30627:17;30623:105;30620:2;;;30731:18;;:::i;:::-;30620:2;30779:1;30776;30772:9;30761:20;;30487:300;;;;:::o;30793:191::-;;30853:20;30871:1;30853:20;:::i;:::-;30848:25;;30887:20;30905:1;30887:20;:::i;:::-;30882:25;;30926:1;30923;30920:8;30917:2;;;30931:18;;:::i;:::-;30917:2;30976:1;30973;30969:9;30961:17;;30838:146;;;;:::o;30990:96::-;;31056:24;31074:5;31056:24;:::i;:::-;31045:35;;31035:51;;;:::o;31092:90::-;;31169:5;31162:13;31155:21;31144:32;;31134:48;;;:::o;31188:149::-;;31264:66;31257:5;31253:78;31242:89;;31232:105;;;:::o;31343:126::-;;31420:42;31413:5;31409:54;31398:65;;31388:81;;;:::o;31475:77::-;;31541:5;31530:16;;31520:32;;;:::o;31558:154::-;31642:6;31637:3;31632;31619:30;31704:1;31695:6;31690:3;31686:16;31679:27;31609:103;;;:::o;31718:307::-;31786:1;31796:113;31810:6;31807:1;31804:13;31796:113;;;31895:1;31890:3;31886:11;31880:18;31876:1;31871:3;31867:11;31860:39;31832:2;31829:1;31825:10;31820:15;;31796:113;;;31927:6;31924:1;31921:13;31918:2;;;32007:1;31998:6;31993:3;31989:16;31982:27;31918:2;31767:258;;;;:::o;32031:320::-;;32112:1;32106:4;32102:12;32092:22;;32159:1;32153:4;32149:12;32180:18;32170:2;;32236:4;32228:6;32224:17;32214:27;;32170:2;32298;32290:6;32287:14;32267:18;32264:38;32261:2;;;32317:18;;:::i;:::-;32261:2;32082:269;;;;:::o;32357:233::-;;32419:24;32437:5;32419:24;:::i;:::-;32410:33;;32465:66;32458:5;32455:77;32452:2;;;32535:18;;:::i;:::-;32452:2;32582:1;32575:5;32571:13;32564:20;;32400:190;;;:::o;32596:176::-;;32645:20;32663:1;32645:20;:::i;:::-;32640:25;;32679:20;32697:1;32679:20;:::i;:::-;32674:25;;32718:1;32708:2;;32723:18;;:::i;:::-;32708:2;32764:1;32761;32757:9;32752:14;;32630:142;;;;:::o;32778:180::-;32826:77;32823:1;32816:88;32923:4;32920:1;32913:15;32947:4;32944:1;32937:15;32964:180;33012:77;33009:1;33002:88;33109:4;33106:1;33099:15;33133:4;33130:1;33123:15;33150:180;33198:77;33195:1;33188:88;33295:4;33292:1;33285:15;33319:4;33316:1;33309:15;33336:180;33384:77;33381:1;33374:88;33481:4;33478:1;33471:15;33505:4;33502:1;33495:15;33522:102;;33614:2;33610:7;33605:2;33598:5;33594:14;33590:28;33580:38;;33570:54;;;:::o;33630:122::-;33703:24;33721:5;33703:24;:::i;:::-;33696:5;33693:35;33683:2;;33742:1;33739;33732:12;33683:2;33673:79;:::o;33758:116::-;33828:21;33843:5;33828:21;:::i;:::-;33821:5;33818:32;33808:2;;33864:1;33861;33854:12;33808:2;33798:76;:::o;33880:120::-;33952:23;33969:5;33952:23;:::i;:::-;33945:5;33942:34;33932:2;;33990:1;33987;33980:12;33932:2;33922:78;:::o;34006:122::-;34079:24;34097:5;34079:24;:::i;:::-;34072:5;34069:35;34059:2;;34118:1;34115;34108:12;34059:2;34049:79;:::o

ipfs://d4daa4becac0f43d4f7dbcacaad510499dae65e72526adad025a15e35faef909