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(    - function functionCallWithValue(    - function functionStaticCall(address t ...    - function functionStaticCall(    - function functionDelegateCall(address ...    - function functionDelegateCall(    - function _verifyCallResult(    - function _msgSender()    - function _msgData() 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 Whales is ERC721, ERC721E ... *    - function _beforeTokenTransfer(address ...    - function supportsInterface(bytes4 int ...    - function setBaseURI(string memory bas ...    - function _baseURI()    - function setProvenance(string memory ...    - function reserveTokens()    - function flipSaleState()    - function mintToken(uint numberOfToken ...    - function withdraw()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// 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/[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 baseURI = _baseURI();
        return bytes(baseURI).length > 0 ? string(abi.encodePacked(baseURI, tokenId.toString())) : "";
    }

    /**
     * @dev Base URI for computing {tokenURI}. If set, the resulting URI for each
     * token will be the concatenation of the `baseURI` and the `tokenId`. Empty
     * by default, can be 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/Whales.sol


/*
                                          «∩ⁿ─╖
                                       ⌐  ╦╠Σ▌╓┴                        .⌐─≈-,
                                ≤╠╠╠╫╕╬╦╜              ┌"░░░░░░░░░░≈╖φ░╔╦╬░░Σ╜^
                               ¼,╠.:╬╬╦╖╔≡p               "╙φ░ ╠╩╚`  ░╩░╟╓╜
                                   Γ╠▀╬═┘`                         Θ Å░▄
                      ,,,,,        ┌#                             ]  ▌░░╕
             ,-─S╜" ,⌐"",`░░φ░░░░S>╫▐                             ╩  ░░░░¼
            ╙ⁿ═s, <░φ╬░░φù ░░░░░░░░╬╠░░"Zw,                    ,─╓φ░Å░░╩╧w¼
            ∩²≥┴╝δ»╬░╝░░╩░╓║╙░░░░░░Åφ▄φ░░╦≥░⌠░≥╖,          ,≈"╓φ░░░╬╬░░╕ {⌐\
            } ▐      ½,#░░░░░╦╚░░╬╜Σ░p╠░░╬╘░░░░╩  ^"¥7"""░"¬╖╠░░░#▒░░░╩ φ╩ ∩
              Γ      ╬░⌐"╢╙φ░░▒╬╓╓░░░░▄▄╬▄░╬░░Å░░░░╠░╦,φ╠░░░░░░-"╠░╩╩  ê░Γ╠
             ╘░,,   ╠╬     '░╗Σ╢░░░░░░▀╢▓▒▒╬╬░╦#####≥╨░░░╝╜╙` ,φ╬░░░. é░░╔⌐
              ▐░ `^Σ░▒╗,   ▐░░░░░ ▒░"╙Σ░╨▀╜╬░▓▓▓▓▓▓▀▀░»φ░N  ╔╬▒░░░"`,╬≥░░╢
               \  ╠░░░░░░╬#╩╣▄░Γ, ▐░,φ╬▄Å` ░ ```"╚░░░░,╓▄▄▄╬▀▀░╠╙░╔╬░░░ ½"
                └ '░░░░░░╦╠ ╟▒M╗▄▄,▄▄▄╗#▒╬▒╠"╙╙╙╙╙╙╢▒▒▓▀▀░░░░░╠╦#░░░░╚,╩
                  ¼░░░░░░░⌂╦ ▀░░░╚╙░╚▓▒▀░░░½░░╠╜   ╘▀░░░╩╩╩,▄╣╬░░░░░╙╔╩
                    ╢^╙╨╠░░▄æ,Σ ",╓╥m╬░░░░░░░Θ░φ░φ▄ ╬╬░,▄#▒▀░░░░░≥░░#`
                      *╓,╙φ░░░░░#░░░░░░░#╬╠╩ ╠╩╚╠╟▓▄╣▒▓╬▓▀░░░░░╩░╓═^
                          `"╜╧Σ░░░Σ░░░░░░╬▓µ ─"░░░░░░░░░░╜░╬▄≈"
                                    `"╙╜╜╜╝╩ÅΣM≡,`╙╚░╙╙░╜|  ╙╙╙┴7≥╗
                                                   `"┴╙¬¬¬┴┴╙╙╙╙""
*/

pragma solidity ^0.8.0;



contract Whales is ERC721, ERC721Enumerable, Ownable {

    string public PROVENANCE;
    uint256 public constant tokenPrice = 50000000000000000; // 0.05 ETH
    uint public constant maxTokenPurchase = 10;
    uint256 public MAX_TOKENS = 10000;
    bool public saleIsActive = false;

    string private _baseURIextended;

    constructor() ERC721("Secret Society of Whales", "SSOW") {
    }

    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 reserveTokens() public onlyOwner {
        uint supply = totalSupply();
        require(supply < 200, "More than 200 tokens have already been reserved or minted.");
        uint i;
        for (i = 0; i < 100; i++) {
            _safeMint(msg.sender, supply + i);
        }
    }

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

    function mintToken(uint 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(uint i = 0; i < numberOfTokens; i++) {
            uint mintIndex = totalSupply();
            if (totalSupply() < MAX_TOKENS) {
                _safeMint(msg.sender, mintIndex);
            }
        }
    }

    function withdraw() public onlyOwner {
        uint 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":"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":"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":[{"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":"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"}]

6080604052612710600c556000600d60006101000a81548160ff0219169083151502179055503480156200003257600080fd5b506040518060400160405280601881526020017f53656372657420536f6369657479206f66205768616c657300000000000000008152506040518060400160405280600481526020017f53534f57000000000000000000000000000000000000000000000000000000008152508160009080519060200190620000b7929190620001c7565b508060019080519060200190620000d0929190620001c7565b505050620000f3620000e7620000f960201b60201c565b6200010160201b60201c565b620002dc565b600033905090565b6000600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600a60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b828054620001d59062000277565b90600052602060002090601f016020900481019282620001f9576000855562000245565b82601f106200021457805160ff191683800117855562000245565b8280016001018555821562000245579182015b828111156200024457825182559160200191906001019062000227565b5b50905062000254919062000258565b5090565b5b808211156200027357600081600090555060010162000259565b5090565b600060028204905060018216806200029057607f821691505b60208210811415620002a757620002a6620002ad565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b613f9080620002ec6000396000f3fe6080604052600436106101cd5760003560e01c80636373a6b1116100f7578063b88d4fde11610095578063eb8d244411610064578063eb8d244414610655578063f2fde38b14610680578063f47c84c5146106a9578063ffe630b5146106d4576101cd565b8063b88d4fde14610596578063c634d032146105bf578063c87b56dd146105db578063e985e9c514610618576101cd565b80637ff9b596116100d15780637ff9b596146104ec5780638da5cb5b1461051757806395d89b4114610542578063a22cb4651461056d576101cd565b80636373a6b11461046d57806370a0823114610498578063715018a6146104d5576101cd565b806327ac36c41161016f57806342842e0e1161013e57806342842e0e146103a15780634f6ccce7146103ca57806355f804b3146104075780636352211e14610430576101cd565b806327ac36c41461031f5780632f745c591461033657806334918dfd146103735780633ccfd60b1461038a576101cd565b8063095ea7b3116101ab578063095ea7b31461027757806309aa3dcf146102a057806318160ddd146102cb57806323b872dd146102f6576101cd565b806301ffc9a7146101d257806306fdde031461020f578063081812fc1461023a575b600080fd5b3480156101de57600080fd5b506101f960048036038101906101f49190612d51565b6106fd565b60405161020691906137ae565b60405180910390f35b34801561021b57600080fd5b5061022461070f565b60405161023191906137c9565b60405180910390f35b34801561024657600080fd5b50610261600480360381019061025c9190612de4565b6107a1565b60405161026e9190613747565b60405180910390f35b34801561028357600080fd5b5061029e60048036038101906102999190612d15565b610826565b005b3480156102ac57600080fd5b506102b561093e565b6040516102c29190613acb565b60405180910390f35b3480156102d757600080fd5b506102e0610943565b6040516102ed9190613acb565b60405180910390f35b34801561030257600080fd5b5061031d60048036038101906103189190612c0f565b610950565b005b34801561032b57600080fd5b506103346109b0565b005b34801561034257600080fd5b5061035d60048036038101906103589190612d15565b610ab3565b60405161036a9190613acb565b60405180910390f35b34801561037f57600080fd5b50610388610b58565b005b34801561039657600080fd5b5061039f610c00565b005b3480156103ad57600080fd5b506103c860048036038101906103c39190612c0f565b610ccb565b005b3480156103d657600080fd5b506103f160048036038101906103ec9190612de4565b610ceb565b6040516103fe9190613acb565b60405180910390f35b34801561041357600080fd5b5061042e60048036038101906104299190612da3565b610d82565b005b34801561043c57600080fd5b5061045760048036038101906104529190612de4565b610e18565b6040516104649190613747565b60405180910390f35b34801561047957600080fd5b50610482610eca565b60405161048f91906137c9565b60405180910390f35b3480156104a457600080fd5b506104bf60048036038101906104ba9190612baa565b610f58565b6040516104cc9190613acb565b60405180910390f35b3480156104e157600080fd5b506104ea611010565b005b3480156104f857600080fd5b50610501611098565b60405161050e9190613acb565b60405180910390f35b34801561052357600080fd5b5061052c6110a3565b6040516105399190613747565b60405180910390f35b34801561054e57600080fd5b506105576110cd565b60405161056491906137c9565b60405180910390f35b34801561057957600080fd5b50610594600480360381019061058f9190612cd9565b61115f565b005b3480156105a257600080fd5b506105bd60048036038101906105b89190612c5e565b6112e0565b005b6105d960048036038101906105d49190612de4565b611342565b005b3480156105e757600080fd5b5061060260048036038101906105fd9190612de4565b6114cc565b60405161060f91906137c9565b60405180910390f35b34801561062457600080fd5b5061063f600480360381019061063a9190612bd3565b611573565b60405161064c91906137ae565b60405180910390f35b34801561066157600080fd5b5061066a611607565b60405161067791906137ae565b60405180910390f35b34801561068c57600080fd5b506106a760048036038101906106a29190612baa565b61161a565b005b3480156106b557600080fd5b506106be611712565b6040516106cb9190613acb565b60405180910390f35b3480156106e057600080fd5b506106fb60048036038101906106f69190612da3565b611718565b005b6000610708826117ae565b9050919050565b60606000805461071e90613d85565b80601f016020809104026020016040519081016040528092919081815260200182805461074a90613d85565b80156107975780601f1061076c57610100808354040283529160200191610797565b820191906000526020600020905b81548152906001019060200180831161077a57829003601f168201915b5050505050905090565b60006107ac82611828565b6107eb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107e2906139ab565b60405180910390fd5b6004600083815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b600061083182610e18565b90508073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156108a2576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161089990613a2b565b60405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff166108c1611894565b73ffffffffffffffffffffffffffffffffffffffff1614806108f057506108ef816108ea611894565b611573565b5b61092f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109269061390b565b60405180910390fd5b610939838361189c565b505050565b600a81565b6000600880549050905090565b61096161095b611894565b82611955565b6109a0576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161099790613a6b565b60405180910390fd5b6109ab838383611a33565b505050565b6109b8611894565b73ffffffffffffffffffffffffffffffffffffffff166109d66110a3565b73ffffffffffffffffffffffffffffffffffffffff1614610a2c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a23906139cb565b60405180910390fd5b6000610a36610943565b905060c88110610a7b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a7290613aab565b60405180910390fd5b60005b6064811015610aaf57610a9c338284610a979190613bba565b611c8f565b8080610aa790613db7565b915050610a7e565b5050565b6000610abe83610f58565b8210610aff576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610af6906137eb565b60405180910390fd5b600660008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600083815260200190815260200160002054905092915050565b610b60611894565b73ffffffffffffffffffffffffffffffffffffffff16610b7e6110a3565b73ffffffffffffffffffffffffffffffffffffffff1614610bd4576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bcb906139cb565b60405180910390fd5b600d60009054906101000a900460ff1615600d60006101000a81548160ff021916908315150217905550565b610c08611894565b73ffffffffffffffffffffffffffffffffffffffff16610c266110a3565b73ffffffffffffffffffffffffffffffffffffffff1614610c7c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c73906139cb565b60405180910390fd5b60004790503373ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f19350505050158015610cc7573d6000803e3d6000fd5b5050565b610ce6838383604051806020016040528060008152506112e0565b505050565b6000610cf5610943565b8210610d36576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d2d90613a8b565b60405180910390fd5b60088281548110610d70577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b90600052602060002001549050919050565b610d8a611894565b73ffffffffffffffffffffffffffffffffffffffff16610da86110a3565b73ffffffffffffffffffffffffffffffffffffffff1614610dfe576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610df5906139cb565b60405180910390fd5b80600e9080519060200190610e149291906129ce565b5050565b6000806002600084815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415610ec1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610eb89061394b565b60405180910390fd5b80915050919050565b600b8054610ed790613d85565b80601f0160208091040260200160405190810160405280929190818152602001828054610f0390613d85565b8015610f505780601f10610f2557610100808354040283529160200191610f50565b820191906000526020600020905b815481529060010190602001808311610f3357829003601f168201915b505050505081565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610fc9576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610fc09061392b565b60405180910390fd5b600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b611018611894565b73ffffffffffffffffffffffffffffffffffffffff166110366110a3565b73ffffffffffffffffffffffffffffffffffffffff161461108c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611083906139cb565b60405180910390fd5b6110966000611cad565b565b66b1a2bc2ec5000081565b6000600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6060600180546110dc90613d85565b80601f016020809104026020016040519081016040528092919081815260200182805461110890613d85565b80156111555780601f1061112a57610100808354040283529160200191611155565b820191906000526020600020905b81548152906001019060200180831161113857829003601f168201915b5050505050905090565b611167611894565b73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156111d5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016111cc9061388b565b60405180910390fd5b80600560006111e2611894565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff1661128f611894565b73ffffffffffffffffffffffffffffffffffffffff167f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31836040516112d491906137ae565b60405180910390a35050565b6112f16112eb611894565b83611955565b611330576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161132790613a6b565b60405180910390fd5b61133c84848484611d73565b50505050565b600d60009054906101000a900460ff16611391576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611388906138cb565b60405180910390fd5b600a8111156113d5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016113cc90613a4b565b60405180910390fd5b600c54816113e1610943565b6113eb9190613bba565b111561142c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016114239061396b565b60405180910390fd5b348166b1a2bc2ec500006114409190613c41565b1115611481576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611478906138ab565b60405180910390fd5b60005b818110156114c8576000611496610943565b9050600c546114a3610943565b10156114b4576114b33382611c8f565b5b5080806114c090613db7565b915050611484565b5050565b60606114d782611828565b611516576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161150d90613a0b565b60405180910390fd5b6000611520611dcf565b90506000815111611540576040518060200160405280600081525061156b565b8061154a84611e61565b60405160200161155b929190613723565b6040516020818303038152906040525b915050919050565b6000600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b600d60009054906101000a900460ff1681565b611622611894565b73ffffffffffffffffffffffffffffffffffffffff166116406110a3565b73ffffffffffffffffffffffffffffffffffffffff1614611696576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161168d906139cb565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415611706576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016116fd9061382b565b60405180910390fd5b61170f81611cad565b50565b600c5481565b611720611894565b73ffffffffffffffffffffffffffffffffffffffff1661173e6110a3565b73ffffffffffffffffffffffffffffffffffffffff1614611794576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161178b906139cb565b60405180910390fd5b80600b90805190602001906117aa9291906129ce565b5050565b60007f780e9d63000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916148061182157506118208261200e565b5b9050919050565b60008073ffffffffffffffffffffffffffffffffffffffff166002600084815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614159050919050565b600033905090565b816004600083815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550808273ffffffffffffffffffffffffffffffffffffffff1661190f83610e18565b73ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92560405160405180910390a45050565b600061196082611828565b61199f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611996906138eb565b60405180910390fd5b60006119aa83610e18565b90508073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff161480611a1957508373ffffffffffffffffffffffffffffffffffffffff16611a01846107a1565b73ffffffffffffffffffffffffffffffffffffffff16145b80611a2a5750611a298185611573565b5b91505092915050565b8273ffffffffffffffffffffffffffffffffffffffff16611a5382610e18565b73ffffffffffffffffffffffffffffffffffffffff1614611aa9576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611aa0906139eb565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611b19576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611b109061386b565b60405180910390fd5b611b248383836120f0565b611b2f60008261189c565b6001600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254611b7f9190613c9b565b925050819055506001600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254611bd69190613bba565b92505081905550816002600083815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550808273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a4505050565b611ca9828260405180602001604052806000815250612100565b5050565b6000600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600a60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b611d7e848484611a33565b611d8a8484848461215b565b611dc9576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611dc09061380b565b60405180910390fd5b50505050565b6060600e8054611dde90613d85565b80601f0160208091040260200160405190810160405280929190818152602001828054611e0a90613d85565b8015611e575780601f10611e2c57610100808354040283529160200191611e57565b820191906000526020600020905b815481529060010190602001808311611e3a57829003601f168201915b5050505050905090565b60606000821415611ea9576040518060400160405280600181526020017f30000000000000000000000000000000000000000000000000000000000000008152509050612009565b600082905060005b60008214611edb578080611ec490613db7565b915050600a82611ed49190613c10565b9150611eb1565b60008167ffffffffffffffff811115611f1d577f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6040519080825280601f01601f191660200182016040528015611f4f5781602001600182028036833780820191505090505b5090505b6000851461200257600182611f689190613c9b565b9150600a85611f779190613e00565b6030611f839190613bba565b60f81b818381518110611fbf577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a905350600a85611ffb9190613c10565b9450611f53565b8093505050505b919050565b60007f80ac58cd000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614806120d957507f5b5e139f000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916145b806120e957506120e8826122f2565b5b9050919050565b6120fb83838361235c565b505050565b61210a8383612470565b612117600084848461215b565b612156576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161214d9061380b565b60405180910390fd5b505050565b600061217c8473ffffffffffffffffffffffffffffffffffffffff1661263e565b156122e5578373ffffffffffffffffffffffffffffffffffffffff1663150b7a026121a5611894565b8786866040518563ffffffff1660e01b81526004016121c79493929190613762565b602060405180830381600087803b1580156121e157600080fd5b505af192505050801561221257506040513d601f19601f8201168201806040525081019061220f9190612d7a565b60015b612295573d8060008114612242576040519150601f19603f3d011682016040523d82523d6000602084013e612247565b606091505b5060008151141561228d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016122849061380b565b60405180910390fd5b805181602001fd5b63150b7a0260e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916149150506122ea565b600190505b949350505050565b60007f01ffc9a7000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916149050919050565b612367838383612651565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156123aa576123a581612656565b6123e9565b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16146123e8576123e7838261269f565b5b5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561242c576124278161280c565b61246b565b8273ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161461246a57612469828261294f565b5b5b505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156124e0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016124d79061398b565b60405180910390fd5b6124e981611828565b15612529576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016125209061384b565b60405180910390fd5b612535600083836120f0565b6001600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546125859190613bba565b92505081905550816002600083815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550808273ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a45050565b600080823b905060008111915050919050565b505050565b6008805490506009600083815260200190815260200160002081905550600881908060018154018082558091505060019003906000526020600020016000909190919091505550565b600060016126ac84610f58565b6126b69190613c9b565b905060006007600084815260200190815260200160002054905081811461279b576000600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600084815260200190815260200160002054905080600660008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600084815260200190815260200160002081905550816007600083815260200190815260200160002081905550505b6007600084815260200190815260200160002060009055600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008381526020019081526020016000206000905550505050565b600060016008805490506128209190613c9b565b9050600060096000848152602001908152602001600020549050600060088381548110612876577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b9060005260206000200154905080600883815481106128be577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b906000526020600020018190555081600960008381526020019081526020016000208190555060096000858152602001908152602001600020600090556008805480612933577f4e487b7100000000000000000000000000000000000000000000000000000000600052603160045260246000fd5b6001900381819060005260206000200160009055905550505050565b600061295a83610f58565b905081600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600083815260200190815260200160002081905550806007600084815260200190815260200160002081905550505050565b8280546129da90613d85565b90600052602060002090601f0160209004810192826129fc5760008555612a43565b82601f10612a1557805160ff1916838001178555612a43565b82800160010185558215612a43579182015b82811115612a42578251825591602001919060010190612a27565b5b509050612a509190612a54565b5090565b5b80821115612a6d576000816000905550600101612a55565b5090565b6000612a84612a7f84613b17565b613ae6565b905082815260208101848484011115612a9c57600080fd5b612aa7848285613d43565b509392505050565b6000612ac2612abd84613b47565b613ae6565b905082815260208101848484011115612ada57600080fd5b612ae5848285613d43565b509392505050565b600081359050612afc81613efe565b92915050565b600081359050612b1181613f15565b92915050565b600081359050612b2681613f2c565b92915050565b600081519050612b3b81613f2c565b92915050565b600082601f830112612b5257600080fd5b8135612b62848260208601612a71565b91505092915050565b600082601f830112612b7c57600080fd5b8135612b8c848260208601612aaf565b91505092915050565b600081359050612ba481613f43565b92915050565b600060208284031215612bbc57600080fd5b6000612bca84828501612aed565b91505092915050565b60008060408385031215612be657600080fd5b6000612bf485828601612aed565b9250506020612c0585828601612aed565b9150509250929050565b600080600060608486031215612c2457600080fd5b6000612c3286828701612aed565b9350506020612c4386828701612aed565b9250506040612c5486828701612b95565b9150509250925092565b60008060008060808587031215612c7457600080fd5b6000612c8287828801612aed565b9450506020612c9387828801612aed565b9350506040612ca487828801612b95565b925050606085013567ffffffffffffffff811115612cc157600080fd5b612ccd87828801612b41565b91505092959194509250565b60008060408385031215612cec57600080fd5b6000612cfa85828601612aed565b9250506020612d0b85828601612b02565b9150509250929050565b60008060408385031215612d2857600080fd5b6000612d3685828601612aed565b9250506020612d4785828601612b95565b9150509250929050565b600060208284031215612d6357600080fd5b6000612d7184828501612b17565b91505092915050565b600060208284031215612d8c57600080fd5b6000612d9a84828501612b2c565b91505092915050565b600060208284031215612db557600080fd5b600082013567ffffffffffffffff811115612dcf57600080fd5b612ddb84828501612b6b565b91505092915050565b600060208284031215612df657600080fd5b6000612e0484828501612b95565b91505092915050565b612e1681613ccf565b82525050565b612e2581613ce1565b82525050565b6000612e3682613b77565b612e408185613b8d565b9350612e50818560208601613d52565b612e5981613eed565b840191505092915050565b6000612e6f82613b82565b612e798185613b9e565b9350612e89818560208601613d52565b612e9281613eed565b840191505092915050565b6000612ea882613b82565b612eb28185613baf565b9350612ec2818560208601613d52565b80840191505092915050565b6000612edb602b83613b9e565b91507f455243373231456e756d657261626c653a206f776e657220696e646578206f7560008301527f74206f6620626f756e64730000000000000000000000000000000000000000006020830152604082019050919050565b6000612f41603283613b9e565b91507f4552433732313a207472616e7366657220746f206e6f6e20455243373231526560008301527f63656976657220696d706c656d656e74657200000000000000000000000000006020830152604082019050919050565b6000612fa7602683613b9e565b91507f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008301527f64647265737300000000000000000000000000000000000000000000000000006020830152604082019050919050565b600061300d601c83613b9e565b91507f4552433732313a20746f6b656e20616c7265616479206d696e746564000000006000830152602082019050919050565b600061304d602483613b9e565b91507f4552433732313a207472616e7366657220746f20746865207a65726f2061646460008301527f72657373000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b60006130b3601983613b9e565b91507f4552433732313a20617070726f766520746f2063616c6c6572000000000000006000830152602082019050919050565b60006130f3601f83613b9e565b91507f45746865722076616c75652073656e74206973206e6f7420636f7272656374006000830152602082019050919050565b6000613133602283613b9e565b91507f53616c65206d7573742062652061637469766520746f206d696e7420546f6b6560008301527f6e730000000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b6000613199602c83613b9e565b91507f4552433732313a206f70657261746f7220717565727920666f72206e6f6e657860008301527f697374656e7420746f6b656e00000000000000000000000000000000000000006020830152604082019050919050565b60006131ff603883613b9e565b91507f4552433732313a20617070726f76652063616c6c6572206973206e6f74206f7760008301527f6e6572206e6f7220617070726f76656420666f7220616c6c00000000000000006020830152604082019050919050565b6000613265602a83613b9e565b91507f4552433732313a2062616c616e636520717565727920666f7220746865207a6560008301527f726f2061646472657373000000000000000000000000000000000000000000006020830152604082019050919050565b60006132cb602983613b9e565b91507f4552433732313a206f776e657220717565727920666f72206e6f6e657869737460008301527f656e7420746f6b656e00000000000000000000000000000000000000000000006020830152604082019050919050565b6000613331602a83613b9e565b91507f507572636861736520776f756c6420657863656564206d617820737570706c7960008301527f206f6620746f6b656e73000000000000000000000000000000000000000000006020830152604082019050919050565b6000613397602083613b9e565b91507f4552433732313a206d696e7420746f20746865207a65726f20616464726573736000830152602082019050919050565b60006133d7602c83613b9e565b91507f4552433732313a20617070726f76656420717565727920666f72206e6f6e657860008301527f697374656e7420746f6b656e00000000000000000000000000000000000000006020830152604082019050919050565b600061343d602083613b9e565b91507f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726000830152602082019050919050565b600061347d602983613b9e565b91507f4552433732313a207472616e73666572206f6620746f6b656e2074686174206960008301527f73206e6f74206f776e00000000000000000000000000000000000000000000006020830152604082019050919050565b60006134e3602f83613b9e565b91507f4552433732314d657461646174613a2055524920717565727920666f72206e6f60008301527f6e6578697374656e7420746f6b656e00000000000000000000000000000000006020830152604082019050919050565b6000613549602183613b9e565b91507f4552433732313a20617070726f76616c20746f2063757272656e74206f776e6560008301527f72000000000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b60006135af601b83613b9e565b91507f4578636565646564206d617820746f6b656e20707572636861736500000000006000830152602082019050919050565b60006135ef603183613b9e565b91507f4552433732313a207472616e736665722063616c6c6572206973206e6f74206f60008301527f776e6572206e6f7220617070726f7665640000000000000000000000000000006020830152604082019050919050565b6000613655602c83613b9e565b91507f455243373231456e756d657261626c653a20676c6f62616c20696e646578206f60008301527f7574206f6620626f756e647300000000000000000000000000000000000000006020830152604082019050919050565b60006136bb603a83613b9e565b91507f4d6f7265207468616e2032303020746f6b656e73206861766520616c7265616460008301527f79206265656e207265736572766564206f72206d696e7465642e0000000000006020830152604082019050919050565b61371d81613d39565b82525050565b600061372f8285612e9d565b915061373b8284612e9d565b91508190509392505050565b600060208201905061375c6000830184612e0d565b92915050565b60006080820190506137776000830187612e0d565b6137846020830186612e0d565b6137916040830185613714565b81810360608301526137a38184612e2b565b905095945050505050565b60006020820190506137c36000830184612e1c565b92915050565b600060208201905081810360008301526137e38184612e64565b905092915050565b6000602082019050818103600083015261380481612ece565b9050919050565b6000602082019050818103600083015261382481612f34565b9050919050565b6000602082019050818103600083015261384481612f9a565b9050919050565b6000602082019050818103600083015261386481613000565b9050919050565b6000602082019050818103600083015261388481613040565b9050919050565b600060208201905081810360008301526138a4816130a6565b9050919050565b600060208201905081810360008301526138c4816130e6565b9050919050565b600060208201905081810360008301526138e481613126565b9050919050565b600060208201905081810360008301526139048161318c565b9050919050565b60006020820190508181036000830152613924816131f2565b9050919050565b6000602082019050818103600083015261394481613258565b9050919050565b60006020820190508181036000830152613964816132be565b9050919050565b6000602082019050818103600083015261398481613324565b9050919050565b600060208201905081810360008301526139a48161338a565b9050919050565b600060208201905081810360008301526139c4816133ca565b9050919050565b600060208201905081810360008301526139e481613430565b9050919050565b60006020820190508181036000830152613a0481613470565b9050919050565b60006020820190508181036000830152613a24816134d6565b9050919050565b60006020820190508181036000830152613a448161353c565b9050919050565b60006020820190508181036000830152613a64816135a2565b9050919050565b60006020820190508181036000830152613a84816135e2565b9050919050565b60006020820190508181036000830152613aa481613648565b9050919050565b60006020820190508181036000830152613ac4816136ae565b9050919050565b6000602082019050613ae06000830184613714565b92915050565b6000604051905081810181811067ffffffffffffffff82111715613b0d57613b0c613ebe565b5b8060405250919050565b600067ffffffffffffffff821115613b3257613b31613ebe565b5b601f19601f8301169050602081019050919050565b600067ffffffffffffffff821115613b6257613b61613ebe565b5b601f19601f8301169050602081019050919050565b600081519050919050565b600081519050919050565b600082825260208201905092915050565b600082825260208201905092915050565b600081905092915050565b6000613bc582613d39565b9150613bd083613d39565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff03821115613c0557613c04613e31565b5b828201905092915050565b6000613c1b82613d39565b9150613c2683613d39565b925082613c3657613c35613e60565b5b828204905092915050565b6000613c4c82613d39565b9150613c5783613d39565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0483118215151615613c9057613c8f613e31565b5b828202905092915050565b6000613ca682613d39565b9150613cb183613d39565b925082821015613cc457613cc3613e31565b5b828203905092915050565b6000613cda82613d19565b9050919050565b60008115159050919050565b60007fffffffff0000000000000000000000000000000000000000000000000000000082169050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b82818337600083830152505050565b60005b83811015613d70578082015181840152602081019050613d55565b83811115613d7f576000848401525b50505050565b60006002820490506001821680613d9d57607f821691505b60208210811415613db157613db0613e8f565b5b50919050565b6000613dc282613d39565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff821415613df557613df4613e31565b5b600182019050919050565b6000613e0b82613d39565b9150613e1683613d39565b925082613e2657613e25613e60565b5b828206905092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6000601f19601f8301169050919050565b613f0781613ccf565b8114613f1257600080fd5b50565b613f1e81613ce1565b8114613f2957600080fd5b50565b613f3581613ced565b8114613f4057600080fd5b50565b613f4c81613d39565b8114613f5757600080fd5b5056fea2646970667358221220b317621ebdf3a4ec52a8c034a881cc67bba0cbd0994dcfc5fc78a380e4ff482664736f6c63430008000033

0x6080604052600436106101cd5760003560e01c80636373a6b1116100f7578063b88d4fde11610095578063eb8d244411610064578063eb8d244414610655578063f2fde38b14610680578063f47c84c5146106a9578063ffe630b5146106d4576101cd565b8063b88d4fde14610596578063c634d032146105bf578063c87b56dd146105db578063e985e9c514610618576101cd565b80637ff9b596116100d15780637ff9b596146104ec5780638da5cb5b1461051757806395d89b4114610542578063a22cb4651461056d576101cd565b80636373a6b11461046d57806370a0823114610498578063715018a6146104d5576101cd565b806327ac36c41161016f57806342842e0e1161013e57806342842e0e146103a15780634f6ccce7146103ca57806355f804b3146104075780636352211e14610430576101cd565b806327ac36c41461031f5780632f745c591461033657806334918dfd146103735780633ccfd60b1461038a576101cd565b8063095ea7b3116101ab578063095ea7b31461027757806309aa3dcf146102a057806318160ddd146102cb57806323b872dd146102f6576101cd565b806301ffc9a7146101d257806306fdde031461020f578063081812fc1461023a575b600080fd5b3480156101de57600080fd5b506101f960048036038101906101f49190612d51565b6106fd565b60405161020691906137ae565b60405180910390f35b34801561021b57600080fd5b5061022461070f565b60405161023191906137c9565b60405180910390f35b34801561024657600080fd5b50610261600480360381019061025c9190612de4565b6107a1565b60405161026e9190613747565b60405180910390f35b34801561028357600080fd5b5061029e60048036038101906102999190612d15565b610826565b005b3480156102ac57600080fd5b506102b561093e565b6040516102c29190613acb565b60405180910390f35b3480156102d757600080fd5b506102e0610943565b6040516102ed9190613acb565b60405180910390f35b34801561030257600080fd5b5061031d60048036038101906103189190612c0f565b610950565b005b34801561032b57600080fd5b506103346109b0565b005b34801561034257600080fd5b5061035d60048036038101906103589190612d15565b610ab3565b60405161036a9190613acb565b60405180910390f35b34801561037f57600080fd5b50610388610b58565b005b34801561039657600080fd5b5061039f610c00565b005b3480156103ad57600080fd5b506103c860048036038101906103c39190612c0f565b610ccb565b005b3480156103d657600080fd5b506103f160048036038101906103ec9190612de4565b610ceb565b6040516103fe9190613acb565b60405180910390f35b34801561041357600080fd5b5061042e60048036038101906104299190612da3565b610d82565b005b34801561043c57600080fd5b5061045760048036038101906104529190612de4565b610e18565b6040516104649190613747565b60405180910390f35b34801561047957600080fd5b50610482610eca565b60405161048f91906137c9565b60405180910390f35b3480156104a457600080fd5b506104bf60048036038101906104ba9190612baa565b610f58565b6040516104cc9190613acb565b60405180910390f35b3480156104e157600080fd5b506104ea611010565b005b3480156104f857600080fd5b50610501611098565b60405161050e9190613acb565b60405180910390f35b34801561052357600080fd5b5061052c6110a3565b6040516105399190613747565b60405180910390f35b34801561054e57600080fd5b506105576110cd565b60405161056491906137c9565b60405180910390f35b34801561057957600080fd5b50610594600480360381019061058f9190612cd9565b61115f565b005b3480156105a257600080fd5b506105bd60048036038101906105b89190612c5e565b6112e0565b005b6105d960048036038101906105d49190612de4565b611342565b005b3480156105e757600080fd5b5061060260048036038101906105fd9190612de4565b6114cc565b60405161060f91906137c9565b60405180910390f35b34801561062457600080fd5b5061063f600480360381019061063a9190612bd3565b611573565b60405161064c91906137ae565b60405180910390f35b34801561066157600080fd5b5061066a611607565b60405161067791906137ae565b60405180910390f35b34801561068c57600080fd5b506106a760048036038101906106a29190612baa565b61161a565b005b3480156106b557600080fd5b506106be611712565b6040516106cb9190613acb565b60405180910390f35b3480156106e057600080fd5b506106fb60048036038101906106f69190612da3565b611718565b005b6000610708826117ae565b9050919050565b60606000805461071e90613d85565b80601f016020809104026020016040519081016040528092919081815260200182805461074a90613d85565b80156107975780601f1061076c57610100808354040283529160200191610797565b820191906000526020600020905b81548152906001019060200180831161077a57829003601f168201915b5050505050905090565b60006107ac82611828565b6107eb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107e2906139ab565b60405180910390fd5b6004600083815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b600061083182610e18565b90508073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156108a2576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161089990613a2b565b60405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff166108c1611894565b73ffffffffffffffffffffffffffffffffffffffff1614806108f057506108ef816108ea611894565b611573565b5b61092f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109269061390b565b60405180910390fd5b610939838361189c565b505050565b600a81565b6000600880549050905090565b61096161095b611894565b82611955565b6109a0576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161099790613a6b565b60405180910390fd5b6109ab838383611a33565b505050565b6109b8611894565b73ffffffffffffffffffffffffffffffffffffffff166109d66110a3565b73ffffffffffffffffffffffffffffffffffffffff1614610a2c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a23906139cb565b60405180910390fd5b6000610a36610943565b905060c88110610a7b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a7290613aab565b60405180910390fd5b60005b6064811015610aaf57610a9c338284610a979190613bba565b611c8f565b8080610aa790613db7565b915050610a7e565b5050565b6000610abe83610f58565b8210610aff576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610af6906137eb565b60405180910390fd5b600660008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600083815260200190815260200160002054905092915050565b610b60611894565b73ffffffffffffffffffffffffffffffffffffffff16610b7e6110a3565b73ffffffffffffffffffffffffffffffffffffffff1614610bd4576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bcb906139cb565b60405180910390fd5b600d60009054906101000a900460ff1615600d60006101000a81548160ff021916908315150217905550565b610c08611894565b73ffffffffffffffffffffffffffffffffffffffff16610c266110a3565b73ffffffffffffffffffffffffffffffffffffffff1614610c7c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c73906139cb565b60405180910390fd5b60004790503373ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f19350505050158015610cc7573d6000803e3d6000fd5b5050565b610ce6838383604051806020016040528060008152506112e0565b505050565b6000610cf5610943565b8210610d36576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d2d90613a8b565b60405180910390fd5b60088281548110610d70577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b90600052602060002001549050919050565b610d8a611894565b73ffffffffffffffffffffffffffffffffffffffff16610da86110a3565b73ffffffffffffffffffffffffffffffffffffffff1614610dfe576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610df5906139cb565b60405180910390fd5b80600e9080519060200190610e149291906129ce565b5050565b6000806002600084815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415610ec1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610eb89061394b565b60405180910390fd5b80915050919050565b600b8054610ed790613d85565b80601f0160208091040260200160405190810160405280929190818152602001828054610f0390613d85565b8015610f505780601f10610f2557610100808354040283529160200191610f50565b820191906000526020600020905b815481529060010190602001808311610f3357829003601f168201915b505050505081565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610fc9576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610fc09061392b565b60405180910390fd5b600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b611018611894565b73ffffffffffffffffffffffffffffffffffffffff166110366110a3565b73ffffffffffffffffffffffffffffffffffffffff161461108c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611083906139cb565b60405180910390fd5b6110966000611cad565b565b66b1a2bc2ec5000081565b6000600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6060600180546110dc90613d85565b80601f016020809104026020016040519081016040528092919081815260200182805461110890613d85565b80156111555780601f1061112a57610100808354040283529160200191611155565b820191906000526020600020905b81548152906001019060200180831161113857829003601f168201915b5050505050905090565b611167611894565b73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156111d5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016111cc9061388b565b60405180910390fd5b80600560006111e2611894565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff1661128f611894565b73ffffffffffffffffffffffffffffffffffffffff167f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31836040516112d491906137ae565b60405180910390a35050565b6112f16112eb611894565b83611955565b611330576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161132790613a6b565b60405180910390fd5b61133c84848484611d73565b50505050565b600d60009054906101000a900460ff16611391576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611388906138cb565b60405180910390fd5b600a8111156113d5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016113cc90613a4b565b60405180910390fd5b600c54816113e1610943565b6113eb9190613bba565b111561142c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016114239061396b565b60405180910390fd5b348166b1a2bc2ec500006114409190613c41565b1115611481576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611478906138ab565b60405180910390fd5b60005b818110156114c8576000611496610943565b9050600c546114a3610943565b10156114b4576114b33382611c8f565b5b5080806114c090613db7565b915050611484565b5050565b60606114d782611828565b611516576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161150d90613a0b565b60405180910390fd5b6000611520611dcf565b90506000815111611540576040518060200160405280600081525061156b565b8061154a84611e61565b60405160200161155b929190613723565b6040516020818303038152906040525b915050919050565b6000600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b600d60009054906101000a900460ff1681565b611622611894565b73ffffffffffffffffffffffffffffffffffffffff166116406110a3565b73ffffffffffffffffffffffffffffffffffffffff1614611696576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161168d906139cb565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415611706576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016116fd9061382b565b60405180910390fd5b61170f81611cad565b50565b600c5481565b611720611894565b73ffffffffffffffffffffffffffffffffffffffff1661173e6110a3565b73ffffffffffffffffffffffffffffffffffffffff1614611794576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161178b906139cb565b60405180910390fd5b80600b90805190602001906117aa9291906129ce565b5050565b60007f780e9d63000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916148061182157506118208261200e565b5b9050919050565b60008073ffffffffffffffffffffffffffffffffffffffff166002600084815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614159050919050565b600033905090565b816004600083815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550808273ffffffffffffffffffffffffffffffffffffffff1661190f83610e18565b73ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92560405160405180910390a45050565b600061196082611828565b61199f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611996906138eb565b60405180910390fd5b60006119aa83610e18565b90508073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff161480611a1957508373ffffffffffffffffffffffffffffffffffffffff16611a01846107a1565b73ffffffffffffffffffffffffffffffffffffffff16145b80611a2a5750611a298185611573565b5b91505092915050565b8273ffffffffffffffffffffffffffffffffffffffff16611a5382610e18565b73ffffffffffffffffffffffffffffffffffffffff1614611aa9576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611aa0906139eb565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611b19576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611b109061386b565b60405180910390fd5b611b248383836120f0565b611b2f60008261189c565b6001600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254611b7f9190613c9b565b925050819055506001600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254611bd69190613bba565b92505081905550816002600083815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550808273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a4505050565b611ca9828260405180602001604052806000815250612100565b5050565b6000600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600a60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b611d7e848484611a33565b611d8a8484848461215b565b611dc9576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611dc09061380b565b60405180910390fd5b50505050565b6060600e8054611dde90613d85565b80601f0160208091040260200160405190810160405280929190818152602001828054611e0a90613d85565b8015611e575780601f10611e2c57610100808354040283529160200191611e57565b820191906000526020600020905b815481529060010190602001808311611e3a57829003601f168201915b5050505050905090565b60606000821415611ea9576040518060400160405280600181526020017f30000000000000000000000000000000000000000000000000000000000000008152509050612009565b600082905060005b60008214611edb578080611ec490613db7565b915050600a82611ed49190613c10565b9150611eb1565b60008167ffffffffffffffff811115611f1d577f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6040519080825280601f01601f191660200182016040528015611f4f5781602001600182028036833780820191505090505b5090505b6000851461200257600182611f689190613c9b565b9150600a85611f779190613e00565b6030611f839190613bba565b60f81b818381518110611fbf577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a905350600a85611ffb9190613c10565b9450611f53565b8093505050505b919050565b60007f80ac58cd000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614806120d957507f5b5e139f000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916145b806120e957506120e8826122f2565b5b9050919050565b6120fb83838361235c565b505050565b61210a8383612470565b612117600084848461215b565b612156576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161214d9061380b565b60405180910390fd5b505050565b600061217c8473ffffffffffffffffffffffffffffffffffffffff1661263e565b156122e5578373ffffffffffffffffffffffffffffffffffffffff1663150b7a026121a5611894565b8786866040518563ffffffff1660e01b81526004016121c79493929190613762565b602060405180830381600087803b1580156121e157600080fd5b505af192505050801561221257506040513d601f19601f8201168201806040525081019061220f9190612d7a565b60015b612295573d8060008114612242576040519150601f19603f3d011682016040523d82523d6000602084013e612247565b606091505b5060008151141561228d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016122849061380b565b60405180910390fd5b805181602001fd5b63150b7a0260e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916149150506122ea565b600190505b949350505050565b60007f01ffc9a7000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916149050919050565b612367838383612651565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156123aa576123a581612656565b6123e9565b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16146123e8576123e7838261269f565b5b5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561242c576124278161280c565b61246b565b8273ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161461246a57612469828261294f565b5b5b505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156124e0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016124d79061398b565b60405180910390fd5b6124e981611828565b15612529576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016125209061384b565b60405180910390fd5b612535600083836120f0565b6001600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546125859190613bba565b92505081905550816002600083815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550808273ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a45050565b600080823b905060008111915050919050565b505050565b6008805490506009600083815260200190815260200160002081905550600881908060018154018082558091505060019003906000526020600020016000909190919091505550565b600060016126ac84610f58565b6126b69190613c9b565b905060006007600084815260200190815260200160002054905081811461279b576000600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600084815260200190815260200160002054905080600660008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600084815260200190815260200160002081905550816007600083815260200190815260200160002081905550505b6007600084815260200190815260200160002060009055600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008381526020019081526020016000206000905550505050565b600060016008805490506128209190613c9b565b9050600060096000848152602001908152602001600020549050600060088381548110612876577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b9060005260206000200154905080600883815481106128be577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b906000526020600020018190555081600960008381526020019081526020016000208190555060096000858152602001908152602001600020600090556008805480612933577f4e487b7100000000000000000000000000000000000000000000000000000000600052603160045260246000fd5b6001900381819060005260206000200160009055905550505050565b600061295a83610f58565b905081600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600083815260200190815260200160002081905550806007600084815260200190815260200160002081905550505050565b8280546129da90613d85565b90600052602060002090601f0160209004810192826129fc5760008555612a43565b82601f10612a1557805160ff1916838001178555612a43565b82800160010185558215612a43579182015b82811115612a42578251825591602001919060010190612a27565b5b509050612a509190612a54565b5090565b5b80821115612a6d576000816000905550600101612a55565b5090565b6000612a84612a7f84613b17565b613ae6565b905082815260208101848484011115612a9c57600080fd5b612aa7848285613d43565b509392505050565b6000612ac2612abd84613b47565b613ae6565b905082815260208101848484011115612ada57600080fd5b612ae5848285613d43565b509392505050565b600081359050612afc81613efe565b92915050565b600081359050612b1181613f15565b92915050565b600081359050612b2681613f2c565b92915050565b600081519050612b3b81613f2c565b92915050565b600082601f830112612b5257600080fd5b8135612b62848260208601612a71565b91505092915050565b600082601f830112612b7c57600080fd5b8135612b8c848260208601612aaf565b91505092915050565b600081359050612ba481613f43565b92915050565b600060208284031215612bbc57600080fd5b6000612bca84828501612aed565b91505092915050565b60008060408385031215612be657600080fd5b6000612bf485828601612aed565b9250506020612c0585828601612aed565b9150509250929050565b600080600060608486031215612c2457600080fd5b6000612c3286828701612aed565b9350506020612c4386828701612aed565b9250506040612c5486828701612b95565b9150509250925092565b60008060008060808587031215612c7457600080fd5b6000612c8287828801612aed565b9450506020612c9387828801612aed565b9350506040612ca487828801612b95565b925050606085013567ffffffffffffffff811115612cc157600080fd5b612ccd87828801612b41565b91505092959194509250565b60008060408385031215612cec57600080fd5b6000612cfa85828601612aed565b9250506020612d0b85828601612b02565b9150509250929050565b60008060408385031215612d2857600080fd5b6000612d3685828601612aed565b9250506020612d4785828601612b95565b9150509250929050565b600060208284031215612d6357600080fd5b6000612d7184828501612b17565b91505092915050565b600060208284031215612d8c57600080fd5b6000612d9a84828501612b2c565b91505092915050565b600060208284031215612db557600080fd5b600082013567ffffffffffffffff811115612dcf57600080fd5b612ddb84828501612b6b565b91505092915050565b600060208284031215612df657600080fd5b6000612e0484828501612b95565b91505092915050565b612e1681613ccf565b82525050565b612e2581613ce1565b82525050565b6000612e3682613b77565b612e408185613b8d565b9350612e50818560208601613d52565b612e5981613eed565b840191505092915050565b6000612e6f82613b82565b612e798185613b9e565b9350612e89818560208601613d52565b612e9281613eed565b840191505092915050565b6000612ea882613b82565b612eb28185613baf565b9350612ec2818560208601613d52565b80840191505092915050565b6000612edb602b83613b9e565b91507f455243373231456e756d657261626c653a206f776e657220696e646578206f7560008301527f74206f6620626f756e64730000000000000000000000000000000000000000006020830152604082019050919050565b6000612f41603283613b9e565b91507f4552433732313a207472616e7366657220746f206e6f6e20455243373231526560008301527f63656976657220696d706c656d656e74657200000000000000000000000000006020830152604082019050919050565b6000612fa7602683613b9e565b91507f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008301527f64647265737300000000000000000000000000000000000000000000000000006020830152604082019050919050565b600061300d601c83613b9e565b91507f4552433732313a20746f6b656e20616c7265616479206d696e746564000000006000830152602082019050919050565b600061304d602483613b9e565b91507f4552433732313a207472616e7366657220746f20746865207a65726f2061646460008301527f72657373000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b60006130b3601983613b9e565b91507f4552433732313a20617070726f766520746f2063616c6c6572000000000000006000830152602082019050919050565b60006130f3601f83613b9e565b91507f45746865722076616c75652073656e74206973206e6f7420636f7272656374006000830152602082019050919050565b6000613133602283613b9e565b91507f53616c65206d7573742062652061637469766520746f206d696e7420546f6b6560008301527f6e730000000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b6000613199602c83613b9e565b91507f4552433732313a206f70657261746f7220717565727920666f72206e6f6e657860008301527f697374656e7420746f6b656e00000000000000000000000000000000000000006020830152604082019050919050565b60006131ff603883613b9e565b91507f4552433732313a20617070726f76652063616c6c6572206973206e6f74206f7760008301527f6e6572206e6f7220617070726f76656420666f7220616c6c00000000000000006020830152604082019050919050565b6000613265602a83613b9e565b91507f4552433732313a2062616c616e636520717565727920666f7220746865207a6560008301527f726f2061646472657373000000000000000000000000000000000000000000006020830152604082019050919050565b60006132cb602983613b9e565b91507f4552433732313a206f776e657220717565727920666f72206e6f6e657869737460008301527f656e7420746f6b656e00000000000000000000000000000000000000000000006020830152604082019050919050565b6000613331602a83613b9e565b91507f507572636861736520776f756c6420657863656564206d617820737570706c7960008301527f206f6620746f6b656e73000000000000000000000000000000000000000000006020830152604082019050919050565b6000613397602083613b9e565b91507f4552433732313a206d696e7420746f20746865207a65726f20616464726573736000830152602082019050919050565b60006133d7602c83613b9e565b91507f4552433732313a20617070726f76656420717565727920666f72206e6f6e657860008301527f697374656e7420746f6b656e00000000000000000000000000000000000000006020830152604082019050919050565b600061343d602083613b9e565b91507f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726000830152602082019050919050565b600061347d602983613b9e565b91507f4552433732313a207472616e73666572206f6620746f6b656e2074686174206960008301527f73206e6f74206f776e00000000000000000000000000000000000000000000006020830152604082019050919050565b60006134e3602f83613b9e565b91507f4552433732314d657461646174613a2055524920717565727920666f72206e6f60008301527f6e6578697374656e7420746f6b656e00000000000000000000000000000000006020830152604082019050919050565b6000613549602183613b9e565b91507f4552433732313a20617070726f76616c20746f2063757272656e74206f776e6560008301527f72000000000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b60006135af601b83613b9e565b91507f4578636565646564206d617820746f6b656e20707572636861736500000000006000830152602082019050919050565b60006135ef603183613b9e565b91507f4552433732313a207472616e736665722063616c6c6572206973206e6f74206f60008301527f776e6572206e6f7220617070726f7665640000000000000000000000000000006020830152604082019050919050565b6000613655602c83613b9e565b91507f455243373231456e756d657261626c653a20676c6f62616c20696e646578206f60008301527f7574206f6620626f756e647300000000000000000000000000000000000000006020830152604082019050919050565b60006136bb603a83613b9e565b91507f4d6f7265207468616e2032303020746f6b656e73206861766520616c7265616460008301527f79206265656e207265736572766564206f72206d696e7465642e0000000000006020830152604082019050919050565b61371d81613d39565b82525050565b600061372f8285612e9d565b915061373b8284612e9d565b91508190509392505050565b600060208201905061375c6000830184612e0d565b92915050565b60006080820190506137776000830187612e0d565b6137846020830186612e0d565b6137916040830185613714565b81810360608301526137a38184612e2b565b905095945050505050565b60006020820190506137c36000830184612e1c565b92915050565b600060208201905081810360008301526137e38184612e64565b905092915050565b6000602082019050818103600083015261380481612ece565b9050919050565b6000602082019050818103600083015261382481612f34565b9050919050565b6000602082019050818103600083015261384481612f9a565b9050919050565b6000602082019050818103600083015261386481613000565b9050919050565b6000602082019050818103600083015261388481613040565b9050919050565b600060208201905081810360008301526138a4816130a6565b9050919050565b600060208201905081810360008301526138c4816130e6565b9050919050565b600060208201905081810360008301526138e481613126565b9050919050565b600060208201905081810360008301526139048161318c565b9050919050565b60006020820190508181036000830152613924816131f2565b9050919050565b6000602082019050818103600083015261394481613258565b9050919050565b60006020820190508181036000830152613964816132be565b9050919050565b6000602082019050818103600083015261398481613324565b9050919050565b600060208201905081810360008301526139a48161338a565b9050919050565b600060208201905081810360008301526139c4816133ca565b9050919050565b600060208201905081810360008301526139e481613430565b9050919050565b60006020820190508181036000830152613a0481613470565b9050919050565b60006020820190508181036000830152613a24816134d6565b9050919050565b60006020820190508181036000830152613a448161353c565b9050919050565b60006020820190508181036000830152613a64816135a2565b9050919050565b60006020820190508181036000830152613a84816135e2565b9050919050565b60006020820190508181036000830152613aa481613648565b9050919050565b60006020820190508181036000830152613ac4816136ae565b9050919050565b6000602082019050613ae06000830184613714565b92915050565b6000604051905081810181811067ffffffffffffffff82111715613b0d57613b0c613ebe565b5b8060405250919050565b600067ffffffffffffffff821115613b3257613b31613ebe565b5b601f19601f8301169050602081019050919050565b600067ffffffffffffffff821115613b6257613b61613ebe565b5b601f19601f8301169050602081019050919050565b600081519050919050565b600081519050919050565b600082825260208201905092915050565b600082825260208201905092915050565b600081905092915050565b6000613bc582613d39565b9150613bd083613d39565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff03821115613c0557613c04613e31565b5b828201905092915050565b6000613c1b82613d39565b9150613c2683613d39565b925082613c3657613c35613e60565b5b828204905092915050565b6000613c4c82613d39565b9150613c5783613d39565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0483118215151615613c9057613c8f613e31565b5b828202905092915050565b6000613ca682613d39565b9150613cb183613d39565b925082821015613cc457613cc3613e31565b5b828203905092915050565b6000613cda82613d19565b9050919050565b60008115159050919050565b60007fffffffff0000000000000000000000000000000000000000000000000000000082169050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b82818337600083830152505050565b60005b83811015613d70578082015181840152602081019050613d55565b83811115613d7f576000848401525b50505050565b60006002820490506001821680613d9d57607f821691505b60208210811415613db157613db0613e8f565b5b50919050565b6000613dc282613d39565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff821415613df557613df4613e31565b5b600182019050919050565b6000613e0b82613d39565b9150613e1683613d39565b925082613e2657613e25613e60565b5b828206905092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6000601f19601f8301169050919050565b613f0781613ccf565b8114613f1257600080fd5b50565b613f1e81613ce1565b8114613f2957600080fd5b50565b613f3581613ced565b8114613f4057600080fd5b50565b613f4c81613d39565b8114613f5757600080fd5b5056fea2646970667358221220b317621ebdf3a4ec52a8c034a881cc67bba0cbd0994dcfc5fc78a380e4ff482664736f6c63430008000033

45819:2344:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;46417:179;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;21449:100;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;23008:221;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;22531:411;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;45985:42;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;37482:113;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;23898:339;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;46964:295;;;;;;;;;;;;;:::i;:::-;;37150:256;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;47267:89;;;;;;;;;;;;;:::i;:::-;;48018:140;;;;;;;;;;;;;:::i;:::-;;24308:185;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;37672:233;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;46604:111;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;21143:239;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;45881:24;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;20873:208;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;34284:94;;;;;;;;;;;;;:::i;:::-;;45912:54;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;33633:87;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;21618:104;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;23301:295;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;24564:328;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;47364:646;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;21793:334;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;23667:164;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;46074:32;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;34533:192;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;46034:33;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;46848:108;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;46417:179;46528:4;46552:36;46576:11;46552:23;:36::i;:::-;46545:43;;46417:179;;;:::o;21449:100::-;21503:13;21536:5;21529:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21449:100;:::o;23008:221::-;23084:7;23112:16;23120:7;23112;:16::i;:::-;23104:73;;;;;;;;;;;;:::i;:::-;;;;;;;;;23197:15;:24;23213:7;23197:24;;;;;;;;;;;;;;;;;;;;;23190:31;;23008:221;;;:::o;22531:411::-;22612:13;22628:23;22643:7;22628:14;:23::i;:::-;22612:39;;22676:5;22670:11;;:2;:11;;;;22662:57;;;;;;;;;;;;:::i;:::-;;;;;;;;;22770:5;22754:21;;:12;:10;:12::i;:::-;:21;;;:62;;;;22779:37;22796:5;22803:12;:10;:12::i;:::-;22779:16;:37::i;:::-;22754:62;22732:168;;;;;;;;;;;;:::i;:::-;;;;;;;;;22913:21;22922:2;22926:7;22913:8;:21::i;:::-;22531:411;;;:::o;45985:42::-;46025:2;45985:42;:::o;37482:113::-;37543:7;37570:10;:17;;;;37563:24;;37482:113;:::o;23898:339::-;24093:41;24112:12;:10;:12::i;:::-;24126:7;24093:18;:41::i;:::-;24085:103;;;;;;;;;;;;:::i;:::-;;;;;;;;;24201:28;24211:4;24217:2;24221:7;24201:9;:28::i;:::-;23898:339;;;:::o;46964:295::-;33864:12;:10;:12::i;:::-;33853:23;;:7;:5;:7::i;:::-;:23;;;33845:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;47017:11:::1;47031:13;:11;:13::i;:::-;47017:27;;47072:3;47063:6;:12;47055:83;;;;;;;;;;;;:::i;:::-;;;;;;;;;47149:6;47166:86;47182:3;47178:1;:7;47166:86;;;47207:33;47217:10;47238:1;47229:6;:10;;;;:::i;:::-;47207:9;:33::i;:::-;47187:3;;;;;:::i;:::-;;;;47166:86;;;33924:1;;46964:295::o:0;37150:256::-;37247:7;37283:23;37300:5;37283:16;:23::i;:::-;37275:5;:31;37267:87;;;;;;;;;;;;:::i;:::-;;;;;;;;;37372:12;:19;37385:5;37372:19;;;;;;;;;;;;;;;:26;37392:5;37372:26;;;;;;;;;;;;37365:33;;37150:256;;;;:::o;47267:89::-;33864:12;:10;:12::i;:::-;33853:23;;:7;:5;:7::i;:::-;:23;;;33845:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;47336:12:::1;;;;;;;;;;;47335:13;47320:12;;:28;;;;;;;;;;;;;;;;;;47267:89::o:0;48018:140::-;33864:12;:10;:12::i;:::-;33853:23;;:7;:5;:7::i;:::-;:23;;;33845:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;48066:12:::1;48081:21;48066:36;;48121:10;48113:28;;:37;48142:7;48113:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;33924:1;48018:140::o:0;24308:185::-;24446:39;24463:4;24469:2;24473:7;24446:39;;;;;;;;;;;;:16;:39::i;:::-;24308:185;;;:::o;37672:233::-;37747:7;37783:30;:28;:30::i;:::-;37775:5;:38;37767:95;;;;;;;;;;;;:::i;:::-;;;;;;;;;37880:10;37891:5;37880:17;;;;;;;;;;;;;;;;;;;;;;;;37873:24;;37672:233;;;:::o;46604:111::-;33864:12;:10;:12::i;:::-;33853:23;;:7;:5;:7::i;:::-;:23;;;33845:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;46699:8:::1;46680:16;:27;;;;;;;;;;;;:::i;:::-;;46604:111:::0;:::o;21143:239::-;21215:7;21235:13;21251:7;:16;21259:7;21251:16;;;;;;;;;;;;;;;;;;;;;21235:32;;21303:1;21286:19;;:5;:19;;;;21278:73;;;;;;;;;;;;:::i;:::-;;;;;;;;;21369:5;21362:12;;;21143:239;;;:::o;45881:24::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;20873:208::-;20945:7;20990:1;20973:19;;:5;:19;;;;20965:74;;;;;;;;;;;;:::i;:::-;;;;;;;;;21057:9;:16;21067:5;21057:16;;;;;;;;;;;;;;;;21050:23;;20873:208;;;:::o;34284:94::-;33864:12;:10;:12::i;:::-;33853:23;;:7;:5;:7::i;:::-;:23;;;33845:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;34349:21:::1;34367:1;34349:9;:21::i;:::-;34284:94::o:0;45912:54::-;45949:17;45912:54;:::o;33633:87::-;33679:7;33706:6;;;;;;;;;;;33699:13;;33633:87;:::o;21618:104::-;21674:13;21707:7;21700:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21618:104;:::o;23301:295::-;23416:12;:10;:12::i;:::-;23404:24;;:8;:24;;;;23396:62;;;;;;;;;;;;:::i;:::-;;;;;;;;;23516:8;23471:18;:32;23490:12;:10;:12::i;:::-;23471:32;;;;;;;;;;;;;;;:42;23504:8;23471:42;;;;;;;;;;;;;;;;:53;;;;;;;;;;;;;;;;;;23569:8;23540:48;;23555:12;:10;:12::i;:::-;23540:48;;;23579:8;23540:48;;;;;;:::i;:::-;;;;;;;;23301:295;;:::o;24564:328::-;24739:41;24758:12;:10;:12::i;:::-;24772:7;24739:18;:41::i;:::-;24731:103;;;;;;;;;;;;:::i;:::-;;;;;;;;;24845:39;24859:4;24865:2;24869:7;24878:5;24845:13;:39::i;:::-;24564:328;;;;:::o;47364:646::-;47438:12;;;;;;;;;;;47430:59;;;;;;;;;;;;:::i;:::-;;;;;;;;;46025:2;47508:14;:34;;47500:74;;;;;;;;;;;;:::i;:::-;;;;;;;;;47627:10;;47609:14;47593:13;:11;:13::i;:::-;:30;;;;:::i;:::-;:44;;47585:99;;;;;;;;;;;;:::i;:::-;;;;;;;;;47734:9;47716:14;45949:17;47703:27;;;;:::i;:::-;:40;;47695:84;;;;;;;;;;;;:::i;:::-;;;;;;;;;47796:6;47792:211;47812:14;47808:1;:18;47792:211;;;47848:14;47865:13;:11;:13::i;:::-;47848:30;;47913:10;;47897:13;:11;:13::i;:::-;:26;47893:99;;;47944:32;47954:10;47966:9;47944;:32::i;:::-;47893:99;47792:211;47828:3;;;;;:::i;:::-;;;;47792:211;;;;47364:646;:::o;21793:334::-;21866:13;21900:16;21908:7;21900;:16::i;:::-;21892:76;;;;;;;;;;;;:::i;:::-;;;;;;;;;21981:21;22005:10;:8;:10::i;:::-;21981:34;;22057:1;22039:7;22033:21;:25;:86;;;;;;;;;;;;;;;;;22085:7;22094:18;:7;:16;:18::i;:::-;22068:45;;;;;;;;;:::i;:::-;;;;;;;;;;;;;22033:86;22026:93;;;21793:334;;;:::o;23667:164::-;23764:4;23788:18;:25;23807:5;23788:25;;;;;;;;;;;;;;;:35;23814:8;23788:35;;;;;;;;;;;;;;;;;;;;;;;;;23781:42;;23667:164;;;;:::o;46074:32::-;;;;;;;;;;;;;:::o;34533:192::-;33864:12;:10;:12::i;:::-;33853:23;;:7;:5;:7::i;:::-;:23;;;33845:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;34642:1:::1;34622:22;;:8;:22;;;;34614:73;;;;;;;;;;;;:::i;:::-;;;;;;;;;34698:19;34708:8;34698:9;:19::i;:::-;34533:192:::0;:::o;46034:33::-;;;;:::o;46848:108::-;33864:12;:10;:12::i;:::-;33853:23;;:7;:5;:7::i;:::-;:23;;;33845:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;46938:10:::1;46925;:23;;;;;;;;;;;;:::i;:::-;;46848:108:::0;:::o;36842:224::-;36944:4;36983:35;36968:50;;;:11;:50;;;;:90;;;;37022:36;37046:11;37022:23;:36::i;:::-;36968:90;36961:97;;36842:224;;;:::o;26402:127::-;26467:4;26519:1;26491:30;;:7;:16;26499:7;26491:16;;;;;;;;;;;;;;;;;;;;;:30;;;;26484:37;;26402:127;;;:::o;15912:98::-;15965:7;15992:10;15985:17;;15912:98;:::o;30384:174::-;30486:2;30459:15;:24;30475:7;30459:24;;;;;;;;;;;;:29;;;;;;;;;;;;;;;;;;30542:7;30538:2;30504:46;;30513:23;30528:7;30513:14;:23::i;:::-;30504:46;;;;;;;;;;;;30384:174;;:::o;26696:348::-;26789:4;26814:16;26822:7;26814;:16::i;:::-;26806:73;;;;;;;;;;;;:::i;:::-;;;;;;;;;26890:13;26906:23;26921:7;26906:14;:23::i;:::-;26890:39;;26959:5;26948:16;;:7;:16;;;:51;;;;26992:7;26968:31;;:20;26980:7;26968:11;:20::i;:::-;:31;;;26948:51;:87;;;;27003:32;27020:5;27027:7;27003:16;:32::i;:::-;26948:87;26940:96;;;26696:348;;;;:::o;29688:578::-;29847:4;29820:31;;:23;29835:7;29820:14;:23::i;:::-;:31;;;29812:85;;;;;;;;;;;;:::i;:::-;;;;;;;;;29930:1;29916:16;;:2;:16;;;;29908:65;;;;;;;;;;;;:::i;:::-;;;;;;;;;29986:39;30007:4;30013:2;30017:7;29986:20;:39::i;:::-;30090:29;30107:1;30111:7;30090:8;:29::i;:::-;30151:1;30132:9;:15;30142:4;30132:15;;;;;;;;;;;;;;;;:20;;;;;;;:::i;:::-;;;;;;;;30180:1;30163:9;:13;30173:2;30163:13;;;;;;;;;;;;;;;;:18;;;;;;;:::i;:::-;;;;;;;;30211:2;30192:7;:16;30200:7;30192:16;;;;;;;;;;;;:21;;;;;;;;;;;;;;;;;;30250:7;30246:2;30231:27;;30240:4;30231:27;;;;;;;;;;;;29688:578;;;:::o;27386:110::-;27462:26;27472:2;27476:7;27462:26;;;;;;;;;;;;:9;:26::i;:::-;27386:110;;:::o;34733:173::-;34789:16;34808:6;;;;;;;;;;;34789:25;;34834:8;34825:6;;:17;;;;;;;;;;;;;;;;;;34889:8;34858:40;;34879:8;34858:40;;;;;;;;;;;;34733:173;;:::o;25774:315::-;25931:28;25941:4;25947:2;25951:7;25931:9;:28::i;:::-;25978:48;26001:4;26007:2;26011:7;26020:5;25978:22;:48::i;:::-;25970:111;;;;;;;;;;;;:::i;:::-;;;;;;;;;25774:315;;;;:::o;46723:117::-;46783:13;46816:16;46809:23;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;46723:117;:::o;16443:723::-;16499:13;16729:1;16720:5;:10;16716:53;;;16747:10;;;;;;;;;;;;;;;;;;;;;16716:53;16779:12;16794:5;16779:20;;16810:14;16835:78;16850:1;16842:4;:9;16835:78;;16868:8;;;;;:::i;:::-;;;;16899:2;16891:10;;;;;:::i;:::-;;;16835:78;;;16923:19;16955:6;16945:17;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16923:39;;16973:154;16989:1;16980:5;:10;16973:154;;17017:1;17007:11;;;;;:::i;:::-;;;17084:2;17076:5;:10;;;;:::i;:::-;17063:2;:24;;;;:::i;:::-;17050:39;;17033:6;17040;17033:14;;;;;;;;;;;;;;;;;;;:56;;;;;;;;;;;17113:2;17104:11;;;;;:::i;:::-;;;16973:154;;;17151:6;17137:21;;;;;16443:723;;;;:::o;20504:305::-;20606:4;20658:25;20643:40;;;:11;:40;;;;:105;;;;20715:33;20700:48;;;:11;:48;;;;20643:105;:158;;;;20765:36;20789:11;20765:23;:36::i;:::-;20643:158;20623:178;;20504:305;;;:::o;46228:181::-;46356:45;46383:4;46389:2;46393:7;46356:26;:45::i;:::-;46228:181;;;:::o;27723:321::-;27853:18;27859:2;27863:7;27853:5;:18::i;:::-;27904:54;27935:1;27939:2;27943:7;27952:5;27904:22;:54::i;:::-;27882:154;;;;;;;;;;;;:::i;:::-;;;;;;;;;27723:321;;;:::o;31123:803::-;31278:4;31299:15;:2;:13;;;:15::i;:::-;31295:624;;;31351:2;31335:36;;;31372:12;:10;:12::i;:::-;31386:4;31392:7;31401:5;31335:72;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;31331:533;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;31598:1;31581:6;:13;:18;31577:272;;;31624:60;;;;;;;;;;:::i;:::-;;;;;;;;31577:272;31799:6;31793:13;31784:6;31780:2;31776:15;31769:38;31331:533;31468:45;;;31458:55;;;:6;:55;;;;31451:62;;;;;31295:624;31903:4;31896:11;;31123:803;;;;;;;:::o;19004:157::-;19089:4;19128:25;19113:40;;;:11;:40;;;;19106:47;;19004:157;;;:::o;38518:589::-;38662:45;38689:4;38695:2;38699:7;38662:26;:45::i;:::-;38740:1;38724:18;;:4;:18;;;38720:187;;;38759:40;38791:7;38759:31;:40::i;:::-;38720:187;;;38829:2;38821:10;;:4;:10;;;38817:90;;38848:47;38881:4;38887:7;38848:32;:47::i;:::-;38817:90;38720:187;38935:1;38921:16;;:2;:16;;;38917:183;;;38954:45;38991:7;38954:36;:45::i;:::-;38917:183;;;39027:4;39021:10;;:2;:10;;;39017:83;;39048:40;39076:2;39080:7;39048:27;:40::i;:::-;39017:83;38917:183;38518:589;;;:::o;28380:382::-;28474:1;28460:16;;:2;:16;;;;28452:61;;;;;;;;;;;;:::i;:::-;;;;;;;;;28533:16;28541:7;28533;:16::i;:::-;28532:17;28524:58;;;;;;;;;;;;:::i;:::-;;;;;;;;;28595:45;28624:1;28628:2;28632:7;28595:20;:45::i;:::-;28670:1;28653:9;:13;28663:2;28653:13;;;;;;;;;;;;;;;;:18;;;;;;;:::i;:::-;;;;;;;;28701:2;28682:7;:16;28690:7;28682:16;;;;;;;;;;;;:21;;;;;;;;;;;;;;;;;;28746:7;28742:2;28721:33;;28738:1;28721:33;;;;;;;;;;;;28380:382;;:::o;8168:387::-;8228:4;8436:12;8503:7;8491:20;8483:28;;8546:1;8539:4;:8;8532:15;;;8168:387;;;:::o;32498:126::-;;;;:::o;39830:164::-;39934:10;:17;;;;39907:15;:24;39923:7;39907:24;;;;;;;;;;;:44;;;;39962:10;39978:7;39962:24;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;39830:164;:::o;40621:988::-;40887:22;40937:1;40912:22;40929:4;40912:16;:22::i;:::-;:26;;;;:::i;:::-;40887:51;;40949:18;40970:17;:26;40988:7;40970:26;;;;;;;;;;;;40949:47;;41117:14;41103:10;:28;41099:328;;41148:19;41170:12;:18;41183:4;41170:18;;;;;;;;;;;;;;;:34;41189:14;41170:34;;;;;;;;;;;;41148:56;;41254:11;41221:12;:18;41234:4;41221:18;;;;;;;;;;;;;;;:30;41240:10;41221:30;;;;;;;;;;;:44;;;;41371:10;41338:17;:30;41356:11;41338:30;;;;;;;;;;;:43;;;;41099:328;;41523:17;:26;41541:7;41523:26;;;;;;;;;;;41516:33;;;41567:12;:18;41580:4;41567:18;;;;;;;;;;;;;;;:34;41586:14;41567:34;;;;;;;;;;;41560:41;;;40621:988;;;;:::o;41904:1079::-;42157:22;42202:1;42182:10;:17;;;;:21;;;;:::i;:::-;42157:46;;42214:18;42235:15;:24;42251:7;42235:24;;;;;;;;;;;;42214:45;;42586:19;42608:10;42619:14;42608:26;;;;;;;;;;;;;;;;;;;;;;;;42586:48;;42672:11;42647:10;42658;42647:22;;;;;;;;;;;;;;;;;;;;;;;:36;;;;42783:10;42752:15;:28;42768:11;42752:28;;;;;;;;;;;:41;;;;42924:15;:24;42940:7;42924:24;;;;;;;;;;;42917:31;;;42959:10;:16;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;41904:1079;;;;:::o;39408:221::-;39493:14;39510:20;39527:2;39510:16;:20::i;:::-;39493:37;;39568:7;39541:12;:16;39554:2;39541:16;;;;;;;;;;;;;;;:24;39558:6;39541:24;;;;;;;;;;;:34;;;;39615:6;39586:17;:26;39604:7;39586:26;;;;;;;;;;;:35;;;;39408: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;7442:375::-;;7605:67;7669:2;7664:3;7605:67;:::i;:::-;7598:74;;7702:34;7698:1;7693:3;7689:11;7682:55;7768:13;7763:2;7758:3;7754:12;7747:35;7808:2;7803:3;7799:12;7792:19;;7588:229;;;:::o;7823:382::-;;7986:67;8050:2;8045:3;7986:67;:::i;:::-;7979:74;;8083:34;8079:1;8074:3;8070:11;8063:55;8149:20;8144:2;8139:3;8135:12;8128:42;8196:2;8191:3;8187:12;8180:19;;7969:236;;;:::o;8211:370::-;;8374:67;8438:2;8433:3;8374:67;:::i;:::-;8367:74;;8471:34;8467:1;8462:3;8458:11;8451:55;8537:8;8532:2;8527:3;8523:12;8516:30;8572:2;8567:3;8563:12;8556:19;;8357:224;;;:::o;8587:326::-;;8750:67;8814:2;8809:3;8750:67;:::i;:::-;8743:74;;8847:30;8843:1;8838:3;8834:11;8827:51;8904:2;8899:3;8895:12;8888:19;;8733:180;;;:::o;8919:368::-;;9082:67;9146:2;9141:3;9082:67;:::i;:::-;9075:74;;9179:34;9175:1;9170:3;9166:11;9159:55;9245:6;9240:2;9235:3;9231:12;9224:28;9278:2;9273:3;9269:12;9262:19;;9065:222;;;:::o;9293:323::-;;9456:67;9520:2;9515:3;9456:67;:::i;:::-;9449:74;;9553:27;9549:1;9544:3;9540:11;9533:48;9607:2;9602:3;9598:12;9591:19;;9439:177;;;:::o;9622:329::-;;9785:67;9849:2;9844:3;9785:67;:::i;:::-;9778:74;;9882:33;9878:1;9873:3;9869:11;9862:54;9942:2;9937:3;9933:12;9926:19;;9768:183;;;:::o;9957:366::-;;10120:67;10184:2;10179:3;10120:67;:::i;:::-;10113:74;;10217:34;10213:1;10208:3;10204:11;10197:55;10283:4;10278:2;10273:3;10269:12;10262:26;10314:2;10309:3;10305:12;10298:19;;10103:220;;;:::o;10329:376::-;;10492:67;10556:2;10551:3;10492:67;:::i;:::-;10485:74;;10589:34;10585:1;10580:3;10576:11;10569:55;10655:14;10650:2;10645:3;10641:12;10634:36;10696:2;10691:3;10687:12;10680:19;;10475:230;;;:::o;10711:388::-;;10874:67;10938:2;10933:3;10874:67;:::i;:::-;10867:74;;10971:34;10967:1;10962:3;10958:11;10951:55;11037:26;11032:2;11027:3;11023:12;11016:48;11090:2;11085:3;11081:12;11074:19;;10857:242;;;:::o;11105:374::-;;11268:67;11332:2;11327:3;11268:67;:::i;:::-;11261:74;;11365:34;11361:1;11356:3;11352:11;11345:55;11431:12;11426:2;11421:3;11417:12;11410:34;11470:2;11465:3;11461:12;11454:19;;11251:228;;;:::o;11485:373::-;;11648:67;11712:2;11707:3;11648:67;:::i;:::-;11641:74;;11745:34;11741:1;11736:3;11732:11;11725:55;11811:11;11806:2;11801:3;11797:12;11790:33;11849:2;11844:3;11840:12;11833:19;;11631:227;;;:::o;11864:374::-;;12027:67;12091:2;12086:3;12027:67;:::i;:::-;12020:74;;12124:34;12120:1;12115:3;12111:11;12104:55;12190:12;12185:2;12180:3;12176:12;12169:34;12229:2;12224:3;12220:12;12213:19;;12010:228;;;:::o;12244:330::-;;12407:67;12471:2;12466:3;12407:67;:::i;:::-;12400:74;;12504:34;12500:1;12495:3;12491:11;12484:55;12565:2;12560:3;12556:12;12549:19;;12390:184;;;:::o;12580:376::-;;12743:67;12807:2;12802:3;12743:67;:::i;:::-;12736:74;;12840:34;12836:1;12831:3;12827:11;12820:55;12906:14;12901:2;12896:3;12892:12;12885:36;12947:2;12942:3;12938:12;12931:19;;12726:230;;;:::o;12962:330::-;;13125:67;13189:2;13184:3;13125:67;:::i;:::-;13118:74;;13222:34;13218:1;13213:3;13209:11;13202:55;13283:2;13278:3;13274:12;13267:19;;13108:184;;;:::o;13298:373::-;;13461:67;13525:2;13520:3;13461:67;:::i;:::-;13454:74;;13558:34;13554:1;13549:3;13545:11;13538:55;13624:11;13619:2;13614:3;13610:12;13603:33;13662:2;13657:3;13653:12;13646:19;;13444:227;;;:::o;13677:379::-;;13840:67;13904:2;13899:3;13840:67;:::i;:::-;13833:74;;13937:34;13933:1;13928:3;13924:11;13917:55;14003:17;13998:2;13993:3;13989:12;13982:39;14047:2;14042:3;14038:12;14031:19;;13823:233;;;:::o;14062:365::-;;14225:67;14289:2;14284:3;14225:67;:::i;:::-;14218:74;;14322:34;14318:1;14313:3;14309:11;14302:55;14388:3;14383:2;14378:3;14374:12;14367:25;14418:2;14413:3;14409:12;14402:19;;14208:219;;;:::o;14433:325::-;;14596:67;14660:2;14655:3;14596:67;:::i;:::-;14589:74;;14693:29;14689:1;14684:3;14680:11;14673:50;14749:2;14744:3;14740:12;14733:19;;14579:179;;;:::o;14764:381::-;;14927:67;14991:2;14986:3;14927:67;:::i;:::-;14920:74;;15024:34;15020:1;15015:3;15011:11;15004:55;15090:19;15085:2;15080:3;15076:12;15069:41;15136:2;15131:3;15127:12;15120:19;;14910:235;;;:::o;15151:376::-;;15314:67;15378:2;15373:3;15314:67;:::i;:::-;15307:74;;15411:34;15407:1;15402:3;15398:11;15391:55;15477:14;15472:2;15467:3;15463:12;15456:36;15518:2;15513:3;15509:12;15502:19;;15297:230;;;:::o;15533:390::-;;15696:67;15760:2;15755:3;15696:67;:::i;:::-;15689:74;;15793:34;15789:1;15784:3;15780:11;15773:55;15859:28;15854:2;15849:3;15845:12;15838:50;15914:2;15909:3;15905:12;15898:19;;15679:244;;;:::o;15929:118::-;16016:24;16034:5;16016:24;:::i;:::-;16011:3;16004:37;15994:53;;:::o;16053:435::-;;16255:95;16346:3;16337:6;16255:95;:::i;:::-;16248:102;;16367:95;16458:3;16449:6;16367:95;:::i;:::-;16360:102;;16479:3;16472:10;;16237:251;;;;;:::o;16494:222::-;;16625:2;16614:9;16610:18;16602:26;;16638:71;16706:1;16695:9;16691:17;16682:6;16638:71;:::i;:::-;16592:124;;;;:::o;16722:640::-;;16955:3;16944:9;16940:19;16932:27;;16969:71;17037:1;17026:9;17022:17;17013:6;16969:71;:::i;:::-;17050:72;17118:2;17107:9;17103:18;17094:6;17050:72;:::i;:::-;17132;17200:2;17189:9;17185:18;17176:6;17132:72;:::i;:::-;17251:9;17245:4;17241:20;17236:2;17225:9;17221:18;17214:48;17279:76;17350:4;17341:6;17279:76;:::i;:::-;17271:84;;16922:440;;;;;;;:::o;17368:210::-;;17493:2;17482:9;17478:18;17470:26;;17506:65;17568:1;17557:9;17553:17;17544:6;17506:65;:::i;:::-;17460:118;;;;:::o;17584:313::-;;17735:2;17724:9;17720:18;17712:26;;17784:9;17778:4;17774:20;17770:1;17759:9;17755:17;17748:47;17812:78;17885:4;17876:6;17812:78;:::i;:::-;17804:86;;17702:195;;;;:::o;17903:419::-;;18107:2;18096:9;18092:18;18084:26;;18156:9;18150:4;18146:20;18142:1;18131:9;18127:17;18120:47;18184:131;18310:4;18184:131;:::i;:::-;18176:139;;18074:248;;;:::o;18328:419::-;;18532:2;18521:9;18517:18;18509:26;;18581:9;18575:4;18571:20;18567:1;18556:9;18552:17;18545:47;18609:131;18735:4;18609:131;:::i;:::-;18601:139;;18499:248;;;:::o;18753:419::-;;18957:2;18946:9;18942:18;18934:26;;19006:9;19000:4;18996:20;18992:1;18981:9;18977:17;18970:47;19034:131;19160:4;19034:131;:::i;:::-;19026:139;;18924:248;;;:::o;19178:419::-;;19382:2;19371:9;19367:18;19359:26;;19431:9;19425:4;19421:20;19417:1;19406:9;19402:17;19395:47;19459:131;19585:4;19459:131;:::i;:::-;19451:139;;19349:248;;;:::o;19603:419::-;;19807:2;19796:9;19792:18;19784:26;;19856:9;19850:4;19846:20;19842:1;19831:9;19827:17;19820:47;19884:131;20010:4;19884:131;:::i;:::-;19876:139;;19774:248;;;:::o;20028:419::-;;20232:2;20221:9;20217:18;20209:26;;20281:9;20275:4;20271:20;20267:1;20256:9;20252:17;20245:47;20309:131;20435:4;20309:131;:::i;:::-;20301:139;;20199:248;;;:::o;20453:419::-;;20657:2;20646:9;20642:18;20634:26;;20706:9;20700:4;20696:20;20692:1;20681:9;20677:17;20670:47;20734:131;20860:4;20734:131;:::i;:::-;20726:139;;20624:248;;;:::o;20878:419::-;;21082:2;21071:9;21067:18;21059:26;;21131:9;21125:4;21121:20;21117:1;21106:9;21102:17;21095:47;21159:131;21285:4;21159:131;:::i;:::-;21151:139;;21049:248;;;:::o;21303:419::-;;21507:2;21496:9;21492:18;21484:26;;21556:9;21550:4;21546:20;21542:1;21531:9;21527:17;21520:47;21584:131;21710:4;21584:131;:::i;:::-;21576:139;;21474:248;;;:::o;21728:419::-;;21932:2;21921:9;21917:18;21909:26;;21981:9;21975:4;21971:20;21967:1;21956:9;21952:17;21945:47;22009:131;22135:4;22009:131;:::i;:::-;22001:139;;21899:248;;;:::o;22153:419::-;;22357:2;22346:9;22342:18;22334:26;;22406:9;22400:4;22396:20;22392:1;22381:9;22377:17;22370:47;22434:131;22560:4;22434:131;:::i;:::-;22426:139;;22324:248;;;:::o;22578:419::-;;22782:2;22771:9;22767:18;22759:26;;22831:9;22825:4;22821:20;22817:1;22806:9;22802:17;22795:47;22859:131;22985:4;22859:131;:::i;:::-;22851:139;;22749:248;;;:::o;23003:419::-;;23207:2;23196:9;23192:18;23184:26;;23256:9;23250:4;23246:20;23242:1;23231:9;23227:17;23220:47;23284:131;23410:4;23284:131;:::i;:::-;23276:139;;23174:248;;;:::o;23428:419::-;;23632:2;23621:9;23617:18;23609:26;;23681:9;23675:4;23671:20;23667:1;23656:9;23652:17;23645:47;23709:131;23835:4;23709:131;:::i;:::-;23701:139;;23599:248;;;:::o;23853:419::-;;24057:2;24046:9;24042:18;24034:26;;24106:9;24100:4;24096:20;24092:1;24081:9;24077:17;24070:47;24134:131;24260:4;24134:131;:::i;:::-;24126:139;;24024:248;;;:::o;24278:419::-;;24482:2;24471:9;24467:18;24459:26;;24531:9;24525:4;24521:20;24517:1;24506:9;24502:17;24495:47;24559:131;24685:4;24559:131;:::i;:::-;24551:139;;24449:248;;;:::o;24703:419::-;;24907:2;24896:9;24892:18;24884:26;;24956:9;24950:4;24946:20;24942:1;24931:9;24927:17;24920:47;24984:131;25110:4;24984:131;:::i;:::-;24976:139;;24874:248;;;:::o;25128:419::-;;25332:2;25321:9;25317:18;25309:26;;25381:9;25375:4;25371:20;25367:1;25356:9;25352:17;25345:47;25409:131;25535:4;25409:131;:::i;:::-;25401:139;;25299:248;;;:::o;25553:419::-;;25757:2;25746:9;25742:18;25734:26;;25806:9;25800:4;25796:20;25792:1;25781:9;25777:17;25770:47;25834:131;25960:4;25834:131;:::i;:::-;25826:139;;25724:248;;;:::o;25978:419::-;;26182:2;26171:9;26167:18;26159:26;;26231:9;26225:4;26221:20;26217:1;26206:9;26202:17;26195:47;26259:131;26385:4;26259:131;:::i;:::-;26251:139;;26149:248;;;:::o;26403:419::-;;26607:2;26596:9;26592:18;26584:26;;26656:9;26650:4;26646:20;26642:1;26631:9;26627:17;26620:47;26684:131;26810:4;26684:131;:::i;:::-;26676:139;;26574:248;;;:::o;26828:419::-;;27032:2;27021:9;27017:18;27009:26;;27081:9;27075:4;27071:20;27067:1;27056:9;27052:17;27045:47;27109:131;27235:4;27109:131;:::i;:::-;27101:139;;26999:248;;;:::o;27253:419::-;;27457:2;27446:9;27442:18;27434:26;;27506:9;27500:4;27496:20;27492:1;27481:9;27477:17;27470:47;27534:131;27660:4;27534:131;:::i;:::-;27526:139;;27424:248;;;:::o;27678:222::-;;27809:2;27798:9;27794:18;27786:26;;27822:71;27890:1;27879:9;27875:17;27866:6;27822:71;:::i;:::-;27776:124;;;;:::o;27906:283::-;;27972:2;27966:9;27956:19;;28014:4;28006:6;28002:17;28121:6;28109:10;28106:22;28085:18;28073:10;28070:34;28067:62;28064:2;;;28132:18;;:::i;:::-;28064:2;28172:10;28168:2;28161:22;27946:243;;;;:::o;28195:331::-;;28346:18;28338:6;28335:30;28332:2;;;28368:18;;:::i;:::-;28332:2;28453:4;28449:9;28442:4;28434:6;28430:17;28426:33;28418:41;;28514:4;28508;28504:15;28496:23;;28261:265;;;:::o;28532:332::-;;28684:18;28676:6;28673:30;28670:2;;;28706:18;;:::i;:::-;28670:2;28791:4;28787:9;28780:4;28772:6;28768:17;28764:33;28756:41;;28852:4;28846;28842:15;28834:23;;28599:265;;;:::o;28870:98::-;;28955:5;28949:12;28939:22;;28928:40;;;:::o;28974:99::-;;29060:5;29054:12;29044:22;;29033:40;;;:::o;29079:168::-;;29196:6;29191:3;29184:19;29236:4;29231:3;29227:14;29212:29;;29174:73;;;;:::o;29253:169::-;;29371:6;29366:3;29359:19;29411:4;29406:3;29402:14;29387:29;;29349:73;;;;:::o;29428:148::-;;29567:3;29552:18;;29542:34;;;;:::o;29582:305::-;;29641:20;29659:1;29641:20;:::i;:::-;29636:25;;29675:20;29693:1;29675:20;:::i;:::-;29670:25;;29829:1;29761:66;29757:74;29754:1;29751:81;29748:2;;;29835:18;;:::i;:::-;29748:2;29879:1;29876;29872:9;29865:16;;29626:261;;;;:::o;29893:185::-;;29950:20;29968:1;29950:20;:::i;:::-;29945:25;;29984:20;30002:1;29984:20;:::i;:::-;29979:25;;30023:1;30013:2;;30028:18;;:::i;:::-;30013:2;30070:1;30067;30063:9;30058:14;;29935:143;;;;:::o;30084:348::-;;30147:20;30165:1;30147:20;:::i;:::-;30142:25;;30181:20;30199:1;30181:20;:::i;:::-;30176:25;;30369:1;30301:66;30297:74;30294:1;30291:81;30286:1;30279:9;30272:17;30268:105;30265:2;;;30376:18;;:::i;:::-;30265:2;30424:1;30421;30417:9;30406:20;;30132:300;;;;:::o;30438:191::-;;30498:20;30516:1;30498:20;:::i;:::-;30493:25;;30532:20;30550:1;30532:20;:::i;:::-;30527:25;;30571:1;30568;30565:8;30562:2;;;30576:18;;:::i;:::-;30562:2;30621:1;30618;30614:9;30606:17;;30483:146;;;;:::o;30635:96::-;;30701:24;30719:5;30701:24;:::i;:::-;30690:35;;30680:51;;;:::o;30737:90::-;;30814:5;30807:13;30800:21;30789:32;;30779:48;;;:::o;30833:149::-;;30909:66;30902:5;30898:78;30887:89;;30877:105;;;:::o;30988:126::-;;31065:42;31058:5;31054:54;31043:65;;31033:81;;;:::o;31120:77::-;;31186:5;31175:16;;31165:32;;;:::o;31203:154::-;31287:6;31282:3;31277;31264:30;31349:1;31340:6;31335:3;31331:16;31324:27;31254:103;;;:::o;31363:307::-;31431:1;31441:113;31455:6;31452:1;31449:13;31441:113;;;31540:1;31535:3;31531:11;31525:18;31521:1;31516:3;31512:11;31505:39;31477:2;31474:1;31470:10;31465:15;;31441:113;;;31572:6;31569:1;31566:13;31563:2;;;31652:1;31643:6;31638:3;31634:16;31627:27;31563:2;31412:258;;;;:::o;31676:320::-;;31757:1;31751:4;31747:12;31737:22;;31804:1;31798:4;31794:12;31825:18;31815:2;;31881:4;31873:6;31869:17;31859:27;;31815:2;31943;31935:6;31932:14;31912:18;31909:38;31906:2;;;31962:18;;:::i;:::-;31906:2;31727:269;;;;:::o;32002:233::-;;32064:24;32082:5;32064:24;:::i;:::-;32055:33;;32110:66;32103:5;32100:77;32097:2;;;32180:18;;:::i;:::-;32097:2;32227:1;32220:5;32216:13;32209:20;;32045:190;;;:::o;32241:176::-;;32290:20;32308:1;32290:20;:::i;:::-;32285:25;;32324:20;32342:1;32324:20;:::i;:::-;32319:25;;32363:1;32353:2;;32368:18;;:::i;:::-;32353:2;32409:1;32406;32402:9;32397:14;;32275:142;;;;:::o;32423:180::-;32471:77;32468:1;32461:88;32568:4;32565:1;32558:15;32592:4;32589:1;32582:15;32609:180;32657:77;32654:1;32647:88;32754:4;32751:1;32744:15;32778:4;32775:1;32768:15;32795:180;32843:77;32840:1;32833:88;32940:4;32937:1;32930:15;32964:4;32961:1;32954:15;32981:180;33029:77;33026:1;33019:88;33126:4;33123:1;33116:15;33150:4;33147:1;33140:15;33167:102;;33259:2;33255:7;33250:2;33243:5;33239:14;33235:28;33225:38;;33215:54;;;:::o;33275:122::-;33348:24;33366:5;33348:24;:::i;:::-;33341:5;33338:35;33328:2;;33387:1;33384;33377:12;33328:2;33318:79;:::o;33403:116::-;33473:21;33488:5;33473:21;:::i;:::-;33466:5;33463:32;33453:2;;33509:1;33506;33499:12;33453:2;33443:76;:::o;33525:120::-;33597:23;33614:5;33597:23;:::i;:::-;33590:5;33587:34;33577:2;;33635:1;33632;33625:12;33577:2;33567:78;:::o;33651:122::-;33724:24;33742:5;33724:24;:::i;:::-;33717:5;33714:35;33704:2;;33763:1;33760;33753:12;33704:2;33694:79;:::o

ipfs://b317621ebdf3a4ec52a8c034a881cc67bba0cbd0994dcfc5fc78a380e4ff4826