Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

library Strings    - function toString(uint256 value)    - function toHexString(uint256 value)    - function toHexString(uint256 value, u ...    - function _msgSender()    - function _msgData() 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( interface IERC165    - function supportsInterface(bytes4 int ...    - function supportsInterface(bytes4 int ... interface IERC721 is IERC165    - function balanceOf(address owner)    - function ownerOf(uint256 tokenId)    - function safeTransferFrom(    - function transferFrom(    - function approve(address to, uint256 ...    - function getApproved(uint256 tokenId)    - function setApprovalForAll(address op ...    - function isApprovedForAll(address own ...    - function safeTransferFrom( interface IERC721Metadata is IERC721    - function name()    - function symbol()    - function tokenURI(uint256 tokenId) interface IERC721Receiver    - function onERC721Received(  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(  contract Terra    - function claim(string memory message)    - function number_of_claims()  contract TerraNullius is ERC721 *    - function totalSupply()    - function _baseURI()    - function mint(string memory message)    - function wrap(uint256 tokenId)    - function mintMany(string[] memory mes ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// File: @openzeppelin/contracts/utils/Strings.sol



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



pragma solidity ^0.8.0;

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

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

// File: @openzeppelin/contracts/utils/Address.sol



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);
    }

    /**
     * @dev Tool to verifies that a low level call was successful, and revert if it wasn't, either by bubbling the
     * revert reason using the provided one.
     *
     * _Available since v4.3._
     */
    function verifyCallResult(
        bool success,
        bytes memory returndata,
        string memory errorMessage
    ) internal pure returns (bytes memory) {
        if (success) {
            return returndata;
        } else {
            // 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/introspection/IERC165.sol



pragma solidity ^0.8.0;

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


// File: @openzeppelin/contracts/utils/introspection/ERC165.sol



pragma solidity ^0.8.0;


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

// File: @openzeppelin/contracts/token/ERC721/IERC721.sol



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/extensions/IERC721Metadata.sol



pragma solidity ^0.8.0;


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

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

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

// File: @openzeppelin/contracts/token/ERC721/IERC721Receiver.sol



pragma solidity ^0.8.0;

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


// File: @openzeppelin/contracts/token/ERC721/ERC721.sol



pragma solidity ^0.8.0;








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

    // Token name
    string private _name;

    // Token symbol
    string private _symbol;

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

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

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

    // Mapping from owner to operator approvals
    mapping(address => mapping(address => bool)) private _operatorApprovals;

    /**
     * @dev Initializes the contract by setting a `name` and a `symbol` to the token collection.
     */
    constructor(string memory name_, string memory symbol_) {
        _name = name_;
        _symbol = symbol_;
    }

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

    /**
     * @dev See {IERC721-balanceOf}.
     */
    function balanceOf(address owner) public view virtual override returns (uint256) {
        require(owner != address(0), "ERC721: 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.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: TerraNullius.sol



pragma solidity 0.8.1;


contract Terra {
  struct Claim { address claimant; string message; uint block_number; }
  Claim[] public claims;

  function claim(string memory message) public {
    claims.push(Claim(msg.sender, message, block.number));
  }

  function number_of_claims() public view returns(uint result) {
    return claims.length;
  }
}

contract TerraNullius is ERC721 {
  Terra terra = Terra(0x6e38A457C722C6011B2dfa06d49240e797844d66);
  uint256 _totalSupply;
  uint256 max = 4000;
    
  constructor() ERC721("Terra Nullius", "TerraNullius") {}
  
  function totalSupply() public view virtual returns (uint256) {
    return _totalSupply;
  }
  
  function _baseURI() internal view virtual override returns (string memory) {
    return "https://terranullius.vercel.app/";
  }
    
  function mint(string memory message) public {
    require(_totalSupply < max);
    terra.claim(message);
    uint256 tokenId = terra.number_of_claims() - 1;
    _mint(msg.sender, tokenId);
    _totalSupply += 1;
  }
  
  function wrap(uint256 tokenId) public {
    require(_totalSupply < max);
    (address claimant,,) = terra.claims(tokenId);
    require(claimant != address(0));
    _mint(claimant, tokenId);
    _totalSupply += 1;
  }
  
  function mintMany(string[] memory messages) public {
    for (uint256 i = 0; i < messages.length; i++) {
      mint(messages[i]);   
    }  
  }
}

• 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":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":true,"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"approve","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"getApproved","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"operator","type":"address"}],"name":"isApprovedForAll","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"string","name":"message","type":"string"}],"name":"mint","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"string[]","name":"messages","type":"string[]"}],"name":"mintMany","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"ownerOf","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"safeTransferFrom","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"tokenId","type":"uint256"},{"internalType":"bytes","name":"_data","type":"bytes"}],"name":"safeTransferFrom","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"operator","type":"address"},{"internalType":"bool","name":"approved","type":"bool"}],"name":"setApprovalForAll","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes4","name":"interfaceId","type":"bytes4"}],"name":"supportsInterface","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"tokenURI","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"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":"uint256","name":"tokenId","type":"uint256"}],"name":"wrap","outputs":[],"stateMutability":"nonpayable","type":"function"}]

6080604052736e38a457c722c6011b2dfa06d49240e797844d66600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550610fa06008553480156200006c57600080fd5b506040518060400160405280600d81526020017f5465727261204e756c6c697573000000000000000000000000000000000000008152506040518060400160405280600c81526020017f54657272614e756c6c69757300000000000000000000000000000000000000008152508160009080519060200190620000f192919062000113565b5080600190805190602001906200010a92919062000113565b50505062000228565b8280546200012190620001c3565b90600052602060002090601f01602090048101928262000145576000855562000191565b82601f106200016057805160ff191683800117855562000191565b8280016001018555821562000191579182015b828111156200019057825182559160200191906001019062000173565b5b509050620001a09190620001a4565b5090565b5b80821115620001bf576000816000905550600101620001a5565b5090565b60006002820490506001821680620001dc57607f821691505b60208210811415620001f357620001f2620001f9565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b612d2280620002386000396000f3fe608060405234801561001057600080fd5b506004361061010b5760003560e01c806370a08231116100a2578063b88d4fde11610071578063b88d4fde146102b6578063c87b56dd146102d2578063d85d3d2714610302578063e985e9c51461031e578063ea598cb01461034e5761010b565b806370a08231146102305780637160d82d1461026057806395d89b411461027c578063a22cb4651461029a5761010b565b806318160ddd116100de57806318160ddd146101aa57806323b872dd146101c857806342842e0e146101e45780636352211e146102005761010b565b806301ffc9a71461011057806306fdde0314610140578063081812fc1461015e578063095ea7b31461018e575b600080fd5b61012a60048036038101906101259190611e5d565b61036a565b6040516101379190612287565b60405180910390f35b61014861044c565b60405161015591906122a2565b60405180910390f35b61017860048036038101906101739190611ef0565b6104de565b6040516101859190612220565b60405180910390f35b6101a860048036038101906101a39190611de0565b610563565b005b6101b261067b565b6040516101bf9190612484565b60405180910390f35b6101e260048036038101906101dd9190611c73565b610685565b005b6101fe60048036038101906101f99190611c73565b6106e5565b005b61021a60048036038101906102159190611ef0565b610705565b6040516102279190612220565b60405180910390f35b61024a60048036038101906102459190611c0e565b6107b7565b6040516102579190612484565b60405180910390f35b61027a60048036038101906102759190611e1c565b61086f565b005b6102846108db565b60405161029191906122a2565b60405180910390f35b6102b460048036038101906102af9190611d3d565b61096d565b005b6102d060048036038101906102cb9190611cc2565b610aee565b005b6102ec60048036038101906102e79190611ef0565b610b50565b6040516102f991906122a2565b60405180910390f35b61031c60048036038101906103179190611eaf565b610bf7565b005b61033860048036038101906103339190611c37565b610d6c565b6040516103459190612287565b60405180910390f35b61036860048036038101906103639190611ef0565b610e00565b005b60007f80ac58cd000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916148061043557507f5b5e139f000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916145b80610445575061044482610f28565b5b9050919050565b60606000805461045b90612706565b80601f016020809104026020016040519081016040528092919081815260200182805461048790612706565b80156104d45780601f106104a9576101008083540402835291602001916104d4565b820191906000526020600020905b8154815290600101906020018083116104b757829003601f168201915b5050505050905090565b60006104e982610f92565b610528576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161051f906123e4565b60405180910390fd5b6004600083815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b600061056e82610705565b90508073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156105df576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105d690612444565b60405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff166105fe610ffe565b73ffffffffffffffffffffffffffffffffffffffff16148061062d575061062c81610627610ffe565b610d6c565b5b61066c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161066390612364565b60405180910390fd5b6106768383611006565b505050565b6000600754905090565b610696610690610ffe565b826110bf565b6106d5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106cc90612464565b60405180910390fd5b6106e083838361119d565b505050565b61070083838360405180602001604052806000815250610aee565b505050565b6000806002600084815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156107ae576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107a5906123a4565b60405180910390fd5b80915050919050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610828576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161081f90612384565b60405180910390fd5b600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b60005b81518110156108d7576108c48282815181106108b7577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b6020026020010151610bf7565b80806108cf90612769565b915050610872565b5050565b6060600180546108ea90612706565b80601f016020809104026020016040519081016040528092919081815260200182805461091690612706565b80156109635780601f1061093857610100808354040283529160200191610963565b820191906000526020600020905b81548152906001019060200180831161094657829003601f168201915b5050505050905090565b610975610ffe565b73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156109e3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109da90612324565b60405180910390fd5b80600560006109f0610ffe565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff16610a9d610ffe565b73ffffffffffffffffffffffffffffffffffffffff167f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c3183604051610ae29190612287565b60405180910390a35050565b610aff610af9610ffe565b836110bf565b610b3e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b3590612464565b60405180910390fd5b610b4a848484846113f9565b50505050565b6060610b5b82610f92565b610b9a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b9190612424565b60405180910390fd5b6000610ba4611455565b90506000815111610bc45760405180602001604052806000815250610bef565b80610bce84611492565b604051602001610bdf9291906121fc565b6040516020818303038152906040525b915050919050565b60085460075410610c0757600080fd5b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663f3fe12c9826040518263ffffffff1660e01b8152600401610c6291906122a2565b600060405180830381600087803b158015610c7c57600080fd5b505af1158015610c90573d6000803e3d6000fd5b5050505060006001600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16636bd5084a6040518163ffffffff1660e01b815260040160206040518083038186803b158015610d0057600080fd5b505afa158015610d14573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610d389190611f19565b610d42919061261c565b9050610d4e338261163f565b600160076000828254610d619190612595565b925050819055505050565b6000600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b60085460075410610e1057600080fd5b6000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a888c2cd836040518263ffffffff1660e01b8152600401610e6d9190612484565b60006040518083038186803b158015610e8557600080fd5b505afa158015610e99573d6000803e3d6000fd5b505050506040513d6000823e3d601f19601f82011682018060405250810190610ec29190611d79565b50509050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415610f0057600080fd5b610f0a818361163f565b600160076000828254610f1d9190612595565b925050819055505050565b60007f01ffc9a7000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916149050919050565b60008073ffffffffffffffffffffffffffffffffffffffff166002600084815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614159050919050565b600033905090565b816004600083815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550808273ffffffffffffffffffffffffffffffffffffffff1661107983610705565b73ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92560405160405180910390a45050565b60006110ca82610f92565b611109576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161110090612344565b60405180910390fd5b600061111483610705565b90508073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff16148061118357508373ffffffffffffffffffffffffffffffffffffffff1661116b846104de565b73ffffffffffffffffffffffffffffffffffffffff16145b8061119457506111938185610d6c565b5b91505092915050565b8273ffffffffffffffffffffffffffffffffffffffff166111bd82610705565b73ffffffffffffffffffffffffffffffffffffffff1614611213576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161120a90612404565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611283576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161127a90612304565b60405180910390fd5b61128e83838361180d565b611299600082611006565b6001600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546112e9919061261c565b925050819055506001600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546113409190612595565b92505081905550816002600083815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550808273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a4505050565b61140484848461119d565b61141084848484611812565b61144f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611446906122c4565b60405180910390fd5b50505050565b60606040518060400160405280602081526020017f68747470733a2f2f74657272616e756c6c6975732e76657263656c2e6170702f815250905090565b606060008214156114da576040518060400160405280600181526020017f3000000000000000000000000000000000000000000000000000000000000000815250905061163a565b600082905060005b6000821461150c5780806114f590612769565b915050600a8261150591906125eb565b91506114e2565b60008167ffffffffffffffff81111561154e577f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6040519080825280601f01601f1916602001820160405280156115805781602001600182028036833780820191505090505b5090505b6000851461163357600182611599919061261c565b9150600a856115a891906127b2565b60306115b49190612595565b60f81b8183815181106115f0577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a905350600a8561162c91906125eb565b9450611584565b8093505050505b919050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156116af576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016116a6906123c4565b60405180910390fd5b6116b881610f92565b156116f8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016116ef906122e4565b60405180910390fd5b6117046000838361180d565b6001600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546117549190612595565b92505081905550816002600083815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550808273ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a45050565b505050565b60006118338473ffffffffffffffffffffffffffffffffffffffff166119a9565b1561199c578373ffffffffffffffffffffffffffffffffffffffff1663150b7a0261185c610ffe565b8786866040518563ffffffff1660e01b815260040161187e949392919061223b565b602060405180830381600087803b15801561189857600080fd5b505af19250505080156118c957506040513d601f19601f820116820180604052508101906118c69190611e86565b60015b61194c573d80600081146118f9576040519150601f19603f3d011682016040523d82523d6000602084013e6118fe565b606091505b50600081511415611944576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161193b906122c4565b60405180910390fd5b805181602001fd5b63150b7a0260e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916149150506119a1565b600190505b949350505050565b600080823b905060008111915050919050565b60006119cf6119ca846124c4565b61249f565b9050808382526020820190508260005b85811015611a0f57813585016119f58882611b90565b8452602084019350602083019250506001810190506119df565b5050509392505050565b6000611a2c611a27846124f0565b61249f565b905082815260208101848484011115611a4457600080fd5b611a4f8482856126c4565b509392505050565b6000611a6a611a6584612521565b61249f565b905082815260208101848484011115611a8257600080fd5b611a8d8482856126c4565b509392505050565b6000611aa8611aa384612521565b61249f565b905082815260208101848484011115611ac057600080fd5b611acb8482856126d3565b509392505050565b600081359050611ae281612c90565b92915050565b600081519050611af781612c90565b92915050565b600082601f830112611b0e57600080fd5b8135611b1e8482602086016119bc565b91505092915050565b600081359050611b3681612ca7565b92915050565b600081359050611b4b81612cbe565b92915050565b600081519050611b6081612cbe565b92915050565b600082601f830112611b7757600080fd5b8135611b87848260208601611a19565b91505092915050565b600082601f830112611ba157600080fd5b8135611bb1848260208601611a57565b91505092915050565b600082601f830112611bcb57600080fd5b8151611bdb848260208601611a95565b91505092915050565b600081359050611bf381612cd5565b92915050565b600081519050611c0881612cd5565b92915050565b600060208284031215611c2057600080fd5b6000611c2e84828501611ad3565b91505092915050565b60008060408385031215611c4a57600080fd5b6000611c5885828601611ad3565b9250506020611c6985828601611ad3565b9150509250929050565b600080600060608486031215611c8857600080fd5b6000611c9686828701611ad3565b9350506020611ca786828701611ad3565b9250506040611cb886828701611be4565b9150509250925092565b60008060008060808587031215611cd857600080fd5b6000611ce687828801611ad3565b9450506020611cf787828801611ad3565b9350506040611d0887828801611be4565b925050606085013567ffffffffffffffff811115611d2557600080fd5b611d3187828801611b66565b91505092959194509250565b60008060408385031215611d5057600080fd5b6000611d5e85828601611ad3565b9250506020611d6f85828601611b27565b9150509250929050565b600080600060608486031215611d8e57600080fd5b6000611d9c86828701611ae8565b935050602084015167ffffffffffffffff811115611db957600080fd5b611dc586828701611bba565b9250506040611dd686828701611bf9565b9150509250925092565b60008060408385031215611df357600080fd5b6000611e0185828601611ad3565b9250506020611e1285828601611be4565b9150509250929050565b600060208284031215611e2e57600080fd5b600082013567ffffffffffffffff811115611e4857600080fd5b611e5484828501611afd565b91505092915050565b600060208284031215611e6f57600080fd5b6000611e7d84828501611b3c565b91505092915050565b600060208284031215611e9857600080fd5b6000611ea684828501611b51565b91505092915050565b600060208284031215611ec157600080fd5b600082013567ffffffffffffffff811115611edb57600080fd5b611ee784828501611b90565b91505092915050565b600060208284031215611f0257600080fd5b6000611f1084828501611be4565b91505092915050565b600060208284031215611f2b57600080fd5b6000611f3984828501611bf9565b91505092915050565b611f4b81612650565b82525050565b611f5a81612662565b82525050565b6000611f6b82612552565b611f758185612568565b9350611f858185602086016126d3565b611f8e8161289f565b840191505092915050565b6000611fa48261255d565b611fae8185612579565b9350611fbe8185602086016126d3565b611fc78161289f565b840191505092915050565b6000611fdd8261255d565b611fe7818561258a565b9350611ff78185602086016126d3565b80840191505092915050565b6000612010603283612579565b915061201b826128b0565b604082019050919050565b6000612033601c83612579565b915061203e826128ff565b602082019050919050565b6000612056602483612579565b915061206182612928565b604082019050919050565b6000612079601983612579565b915061208482612977565b602082019050919050565b600061209c602c83612579565b91506120a7826129a0565b604082019050919050565b60006120bf603883612579565b91506120ca826129ef565b604082019050919050565b60006120e2602a83612579565b91506120ed82612a3e565b604082019050919050565b6000612105602983612579565b915061211082612a8d565b604082019050919050565b6000612128602083612579565b915061213382612adc565b602082019050919050565b600061214b602c83612579565b915061215682612b05565b604082019050919050565b600061216e602983612579565b915061217982612b54565b604082019050919050565b6000612191602f83612579565b915061219c82612ba3565b604082019050919050565b60006121b4602183612579565b91506121bf82612bf2565b604082019050919050565b60006121d7603183612579565b91506121e282612c41565b604082019050919050565b6121f6816126ba565b82525050565b60006122088285611fd2565b91506122148284611fd2565b91508190509392505050565b60006020820190506122356000830184611f42565b92915050565b60006080820190506122506000830187611f42565b61225d6020830186611f42565b61226a60408301856121ed565b818103606083015261227c8184611f60565b905095945050505050565b600060208201905061229c6000830184611f51565b92915050565b600060208201905081810360008301526122bc8184611f99565b905092915050565b600060208201905081810360008301526122dd81612003565b9050919050565b600060208201905081810360008301526122fd81612026565b9050919050565b6000602082019050818103600083015261231d81612049565b9050919050565b6000602082019050818103600083015261233d8161206c565b9050919050565b6000602082019050818103600083015261235d8161208f565b9050919050565b6000602082019050818103600083015261237d816120b2565b9050919050565b6000602082019050818103600083015261239d816120d5565b9050919050565b600060208201905081810360008301526123bd816120f8565b9050919050565b600060208201905081810360008301526123dd8161211b565b9050919050565b600060208201905081810360008301526123fd8161213e565b9050919050565b6000602082019050818103600083015261241d81612161565b9050919050565b6000602082019050818103600083015261243d81612184565b9050919050565b6000602082019050818103600083015261245d816121a7565b9050919050565b6000602082019050818103600083015261247d816121ca565b9050919050565b600060208201905061249960008301846121ed565b92915050565b60006124a96124ba565b90506124b58282612738565b919050565b6000604051905090565b600067ffffffffffffffff8211156124df576124de612870565b5b602082029050602081019050919050565b600067ffffffffffffffff82111561250b5761250a612870565b5b6125148261289f565b9050602081019050919050565b600067ffffffffffffffff82111561253c5761253b612870565b5b6125458261289f565b9050602081019050919050565b600081519050919050565b600081519050919050565b600082825260208201905092915050565b600082825260208201905092915050565b600081905092915050565b60006125a0826126ba565b91506125ab836126ba565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156125e0576125df6127e3565b5b828201905092915050565b60006125f6826126ba565b9150612601836126ba565b92508261261157612610612812565b5b828204905092915050565b6000612627826126ba565b9150612632836126ba565b925082821015612645576126446127e3565b5b828203905092915050565b600061265b8261269a565b9050919050565b60008115159050919050565b60007fffffffff0000000000000000000000000000000000000000000000000000000082169050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b82818337600083830152505050565b60005b838110156126f15780820151818401526020810190506126d6565b83811115612700576000848401525b50505050565b6000600282049050600182168061271e57607f821691505b6020821081141561273257612731612841565b5b50919050565b6127418261289f565b810181811067ffffffffffffffff821117156127605761275f612870565b5b80604052505050565b6000612774826126ba565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8214156127a7576127a66127e3565b5b600182019050919050565b60006127bd826126ba565b91506127c8836126ba565b9250826127d8576127d7612812565b5b828206905092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6000601f19601f8301169050919050565b7f4552433732313a207472616e7366657220746f206e6f6e20455243373231526560008201527f63656976657220696d706c656d656e7465720000000000000000000000000000602082015250565b7f4552433732313a20746f6b656e20616c7265616479206d696e74656400000000600082015250565b7f4552433732313a207472616e7366657220746f20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b7f4552433732313a20617070726f766520746f2063616c6c657200000000000000600082015250565b7f4552433732313a206f70657261746f7220717565727920666f72206e6f6e657860008201527f697374656e7420746f6b656e0000000000000000000000000000000000000000602082015250565b7f4552433732313a20617070726f76652063616c6c6572206973206e6f74206f7760008201527f6e6572206e6f7220617070726f76656420666f7220616c6c0000000000000000602082015250565b7f4552433732313a2062616c616e636520717565727920666f7220746865207a6560008201527f726f206164647265737300000000000000000000000000000000000000000000602082015250565b7f4552433732313a206f776e657220717565727920666f72206e6f6e657869737460008201527f656e7420746f6b656e0000000000000000000000000000000000000000000000602082015250565b7f4552433732313a206d696e7420746f20746865207a65726f2061646472657373600082015250565b7f4552433732313a20617070726f76656420717565727920666f72206e6f6e657860008201527f697374656e7420746f6b656e0000000000000000000000000000000000000000602082015250565b7f4552433732313a207472616e73666572206f6620746f6b656e2074686174206960008201527f73206e6f74206f776e0000000000000000000000000000000000000000000000602082015250565b7f4552433732314d657461646174613a2055524920717565727920666f72206e6f60008201527f6e6578697374656e7420746f6b656e0000000000000000000000000000000000602082015250565b7f4552433732313a20617070726f76616c20746f2063757272656e74206f776e6560008201527f7200000000000000000000000000000000000000000000000000000000000000602082015250565b7f4552433732313a207472616e736665722063616c6c6572206973206e6f74206f60008201527f776e6572206e6f7220617070726f766564000000000000000000000000000000602082015250565b612c9981612650565b8114612ca457600080fd5b50565b612cb081612662565b8114612cbb57600080fd5b50565b612cc78161266e565b8114612cd257600080fd5b50565b612cde816126ba565b8114612ce957600080fd5b5056fea26469706673582212200d80d86d1bd9a3922bb61b0db9fbaf9f6d0cb4bed7d011cf15a05da624f9be5464736f6c63430008010033

0x608060405234801561001057600080fd5b506004361061010b5760003560e01c806370a08231116100a2578063b88d4fde11610071578063b88d4fde146102b6578063c87b56dd146102d2578063d85d3d2714610302578063e985e9c51461031e578063ea598cb01461034e5761010b565b806370a08231146102305780637160d82d1461026057806395d89b411461027c578063a22cb4651461029a5761010b565b806318160ddd116100de57806318160ddd146101aa57806323b872dd146101c857806342842e0e146101e45780636352211e146102005761010b565b806301ffc9a71461011057806306fdde0314610140578063081812fc1461015e578063095ea7b31461018e575b600080fd5b61012a60048036038101906101259190611e5d565b61036a565b6040516101379190612287565b60405180910390f35b61014861044c565b60405161015591906122a2565b60405180910390f35b61017860048036038101906101739190611ef0565b6104de565b6040516101859190612220565b60405180910390f35b6101a860048036038101906101a39190611de0565b610563565b005b6101b261067b565b6040516101bf9190612484565b60405180910390f35b6101e260048036038101906101dd9190611c73565b610685565b005b6101fe60048036038101906101f99190611c73565b6106e5565b005b61021a60048036038101906102159190611ef0565b610705565b6040516102279190612220565b60405180910390f35b61024a60048036038101906102459190611c0e565b6107b7565b6040516102579190612484565b60405180910390f35b61027a60048036038101906102759190611e1c565b61086f565b005b6102846108db565b60405161029191906122a2565b60405180910390f35b6102b460048036038101906102af9190611d3d565b61096d565b005b6102d060048036038101906102cb9190611cc2565b610aee565b005b6102ec60048036038101906102e79190611ef0565b610b50565b6040516102f991906122a2565b60405180910390f35b61031c60048036038101906103179190611eaf565b610bf7565b005b61033860048036038101906103339190611c37565b610d6c565b6040516103459190612287565b60405180910390f35b61036860048036038101906103639190611ef0565b610e00565b005b60007f80ac58cd000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916148061043557507f5b5e139f000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916145b80610445575061044482610f28565b5b9050919050565b60606000805461045b90612706565b80601f016020809104026020016040519081016040528092919081815260200182805461048790612706565b80156104d45780601f106104a9576101008083540402835291602001916104d4565b820191906000526020600020905b8154815290600101906020018083116104b757829003601f168201915b5050505050905090565b60006104e982610f92565b610528576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161051f906123e4565b60405180910390fd5b6004600083815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b600061056e82610705565b90508073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156105df576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105d690612444565b60405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff166105fe610ffe565b73ffffffffffffffffffffffffffffffffffffffff16148061062d575061062c81610627610ffe565b610d6c565b5b61066c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161066390612364565b60405180910390fd5b6106768383611006565b505050565b6000600754905090565b610696610690610ffe565b826110bf565b6106d5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106cc90612464565b60405180910390fd5b6106e083838361119d565b505050565b61070083838360405180602001604052806000815250610aee565b505050565b6000806002600084815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156107ae576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107a5906123a4565b60405180910390fd5b80915050919050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610828576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161081f90612384565b60405180910390fd5b600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b60005b81518110156108d7576108c48282815181106108b7577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b6020026020010151610bf7565b80806108cf90612769565b915050610872565b5050565b6060600180546108ea90612706565b80601f016020809104026020016040519081016040528092919081815260200182805461091690612706565b80156109635780601f1061093857610100808354040283529160200191610963565b820191906000526020600020905b81548152906001019060200180831161094657829003601f168201915b5050505050905090565b610975610ffe565b73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156109e3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109da90612324565b60405180910390fd5b80600560006109f0610ffe565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff16610a9d610ffe565b73ffffffffffffffffffffffffffffffffffffffff167f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c3183604051610ae29190612287565b60405180910390a35050565b610aff610af9610ffe565b836110bf565b610b3e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b3590612464565b60405180910390fd5b610b4a848484846113f9565b50505050565b6060610b5b82610f92565b610b9a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b9190612424565b60405180910390fd5b6000610ba4611455565b90506000815111610bc45760405180602001604052806000815250610bef565b80610bce84611492565b604051602001610bdf9291906121fc565b6040516020818303038152906040525b915050919050565b60085460075410610c0757600080fd5b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663f3fe12c9826040518263ffffffff1660e01b8152600401610c6291906122a2565b600060405180830381600087803b158015610c7c57600080fd5b505af1158015610c90573d6000803e3d6000fd5b5050505060006001600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16636bd5084a6040518163ffffffff1660e01b815260040160206040518083038186803b158015610d0057600080fd5b505afa158015610d14573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610d389190611f19565b610d42919061261c565b9050610d4e338261163f565b600160076000828254610d619190612595565b925050819055505050565b6000600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b60085460075410610e1057600080fd5b6000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a888c2cd836040518263ffffffff1660e01b8152600401610e6d9190612484565b60006040518083038186803b158015610e8557600080fd5b505afa158015610e99573d6000803e3d6000fd5b505050506040513d6000823e3d601f19601f82011682018060405250810190610ec29190611d79565b50509050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415610f0057600080fd5b610f0a818361163f565b600160076000828254610f1d9190612595565b925050819055505050565b60007f01ffc9a7000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916149050919050565b60008073ffffffffffffffffffffffffffffffffffffffff166002600084815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614159050919050565b600033905090565b816004600083815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550808273ffffffffffffffffffffffffffffffffffffffff1661107983610705565b73ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92560405160405180910390a45050565b60006110ca82610f92565b611109576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161110090612344565b60405180910390fd5b600061111483610705565b90508073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff16148061118357508373ffffffffffffffffffffffffffffffffffffffff1661116b846104de565b73ffffffffffffffffffffffffffffffffffffffff16145b8061119457506111938185610d6c565b5b91505092915050565b8273ffffffffffffffffffffffffffffffffffffffff166111bd82610705565b73ffffffffffffffffffffffffffffffffffffffff1614611213576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161120a90612404565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611283576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161127a90612304565b60405180910390fd5b61128e83838361180d565b611299600082611006565b6001600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546112e9919061261c565b925050819055506001600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546113409190612595565b92505081905550816002600083815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550808273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a4505050565b61140484848461119d565b61141084848484611812565b61144f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611446906122c4565b60405180910390fd5b50505050565b60606040518060400160405280602081526020017f68747470733a2f2f74657272616e756c6c6975732e76657263656c2e6170702f815250905090565b606060008214156114da576040518060400160405280600181526020017f3000000000000000000000000000000000000000000000000000000000000000815250905061163a565b600082905060005b6000821461150c5780806114f590612769565b915050600a8261150591906125eb565b91506114e2565b60008167ffffffffffffffff81111561154e577f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6040519080825280601f01601f1916602001820160405280156115805781602001600182028036833780820191505090505b5090505b6000851461163357600182611599919061261c565b9150600a856115a891906127b2565b60306115b49190612595565b60f81b8183815181106115f0577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a905350600a8561162c91906125eb565b9450611584565b8093505050505b919050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156116af576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016116a6906123c4565b60405180910390fd5b6116b881610f92565b156116f8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016116ef906122e4565b60405180910390fd5b6117046000838361180d565b6001600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546117549190612595565b92505081905550816002600083815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550808273ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a45050565b505050565b60006118338473ffffffffffffffffffffffffffffffffffffffff166119a9565b1561199c578373ffffffffffffffffffffffffffffffffffffffff1663150b7a0261185c610ffe565b8786866040518563ffffffff1660e01b815260040161187e949392919061223b565b602060405180830381600087803b15801561189857600080fd5b505af19250505080156118c957506040513d601f19601f820116820180604052508101906118c69190611e86565b60015b61194c573d80600081146118f9576040519150601f19603f3d011682016040523d82523d6000602084013e6118fe565b606091505b50600081511415611944576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161193b906122c4565b60405180910390fd5b805181602001fd5b63150b7a0260e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916149150506119a1565b600190505b949350505050565b600080823b905060008111915050919050565b60006119cf6119ca846124c4565b61249f565b9050808382526020820190508260005b85811015611a0f57813585016119f58882611b90565b8452602084019350602083019250506001810190506119df565b5050509392505050565b6000611a2c611a27846124f0565b61249f565b905082815260208101848484011115611a4457600080fd5b611a4f8482856126c4565b509392505050565b6000611a6a611a6584612521565b61249f565b905082815260208101848484011115611a8257600080fd5b611a8d8482856126c4565b509392505050565b6000611aa8611aa384612521565b61249f565b905082815260208101848484011115611ac057600080fd5b611acb8482856126d3565b509392505050565b600081359050611ae281612c90565b92915050565b600081519050611af781612c90565b92915050565b600082601f830112611b0e57600080fd5b8135611b1e8482602086016119bc565b91505092915050565b600081359050611b3681612ca7565b92915050565b600081359050611b4b81612cbe565b92915050565b600081519050611b6081612cbe565b92915050565b600082601f830112611b7757600080fd5b8135611b87848260208601611a19565b91505092915050565b600082601f830112611ba157600080fd5b8135611bb1848260208601611a57565b91505092915050565b600082601f830112611bcb57600080fd5b8151611bdb848260208601611a95565b91505092915050565b600081359050611bf381612cd5565b92915050565b600081519050611c0881612cd5565b92915050565b600060208284031215611c2057600080fd5b6000611c2e84828501611ad3565b91505092915050565b60008060408385031215611c4a57600080fd5b6000611c5885828601611ad3565b9250506020611c6985828601611ad3565b9150509250929050565b600080600060608486031215611c8857600080fd5b6000611c9686828701611ad3565b9350506020611ca786828701611ad3565b9250506040611cb886828701611be4565b9150509250925092565b60008060008060808587031215611cd857600080fd5b6000611ce687828801611ad3565b9450506020611cf787828801611ad3565b9350506040611d0887828801611be4565b925050606085013567ffffffffffffffff811115611d2557600080fd5b611d3187828801611b66565b91505092959194509250565b60008060408385031215611d5057600080fd5b6000611d5e85828601611ad3565b9250506020611d6f85828601611b27565b9150509250929050565b600080600060608486031215611d8e57600080fd5b6000611d9c86828701611ae8565b935050602084015167ffffffffffffffff811115611db957600080fd5b611dc586828701611bba565b9250506040611dd686828701611bf9565b9150509250925092565b60008060408385031215611df357600080fd5b6000611e0185828601611ad3565b9250506020611e1285828601611be4565b9150509250929050565b600060208284031215611e2e57600080fd5b600082013567ffffffffffffffff811115611e4857600080fd5b611e5484828501611afd565b91505092915050565b600060208284031215611e6f57600080fd5b6000611e7d84828501611b3c565b91505092915050565b600060208284031215611e9857600080fd5b6000611ea684828501611b51565b91505092915050565b600060208284031215611ec157600080fd5b600082013567ffffffffffffffff811115611edb57600080fd5b611ee784828501611b90565b91505092915050565b600060208284031215611f0257600080fd5b6000611f1084828501611be4565b91505092915050565b600060208284031215611f2b57600080fd5b6000611f3984828501611bf9565b91505092915050565b611f4b81612650565b82525050565b611f5a81612662565b82525050565b6000611f6b82612552565b611f758185612568565b9350611f858185602086016126d3565b611f8e8161289f565b840191505092915050565b6000611fa48261255d565b611fae8185612579565b9350611fbe8185602086016126d3565b611fc78161289f565b840191505092915050565b6000611fdd8261255d565b611fe7818561258a565b9350611ff78185602086016126d3565b80840191505092915050565b6000612010603283612579565b915061201b826128b0565b604082019050919050565b6000612033601c83612579565b915061203e826128ff565b602082019050919050565b6000612056602483612579565b915061206182612928565b604082019050919050565b6000612079601983612579565b915061208482612977565b602082019050919050565b600061209c602c83612579565b91506120a7826129a0565b604082019050919050565b60006120bf603883612579565b91506120ca826129ef565b604082019050919050565b60006120e2602a83612579565b91506120ed82612a3e565b604082019050919050565b6000612105602983612579565b915061211082612a8d565b604082019050919050565b6000612128602083612579565b915061213382612adc565b602082019050919050565b600061214b602c83612579565b915061215682612b05565b604082019050919050565b600061216e602983612579565b915061217982612b54565b604082019050919050565b6000612191602f83612579565b915061219c82612ba3565b604082019050919050565b60006121b4602183612579565b91506121bf82612bf2565b604082019050919050565b60006121d7603183612579565b91506121e282612c41565b604082019050919050565b6121f6816126ba565b82525050565b60006122088285611fd2565b91506122148284611fd2565b91508190509392505050565b60006020820190506122356000830184611f42565b92915050565b60006080820190506122506000830187611f42565b61225d6020830186611f42565b61226a60408301856121ed565b818103606083015261227c8184611f60565b905095945050505050565b600060208201905061229c6000830184611f51565b92915050565b600060208201905081810360008301526122bc8184611f99565b905092915050565b600060208201905081810360008301526122dd81612003565b9050919050565b600060208201905081810360008301526122fd81612026565b9050919050565b6000602082019050818103600083015261231d81612049565b9050919050565b6000602082019050818103600083015261233d8161206c565b9050919050565b6000602082019050818103600083015261235d8161208f565b9050919050565b6000602082019050818103600083015261237d816120b2565b9050919050565b6000602082019050818103600083015261239d816120d5565b9050919050565b600060208201905081810360008301526123bd816120f8565b9050919050565b600060208201905081810360008301526123dd8161211b565b9050919050565b600060208201905081810360008301526123fd8161213e565b9050919050565b6000602082019050818103600083015261241d81612161565b9050919050565b6000602082019050818103600083015261243d81612184565b9050919050565b6000602082019050818103600083015261245d816121a7565b9050919050565b6000602082019050818103600083015261247d816121ca565b9050919050565b600060208201905061249960008301846121ed565b92915050565b60006124a96124ba565b90506124b58282612738565b919050565b6000604051905090565b600067ffffffffffffffff8211156124df576124de612870565b5b602082029050602081019050919050565b600067ffffffffffffffff82111561250b5761250a612870565b5b6125148261289f565b9050602081019050919050565b600067ffffffffffffffff82111561253c5761253b612870565b5b6125458261289f565b9050602081019050919050565b600081519050919050565b600081519050919050565b600082825260208201905092915050565b600082825260208201905092915050565b600081905092915050565b60006125a0826126ba565b91506125ab836126ba565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156125e0576125df6127e3565b5b828201905092915050565b60006125f6826126ba565b9150612601836126ba565b92508261261157612610612812565b5b828204905092915050565b6000612627826126ba565b9150612632836126ba565b925082821015612645576126446127e3565b5b828203905092915050565b600061265b8261269a565b9050919050565b60008115159050919050565b60007fffffffff0000000000000000000000000000000000000000000000000000000082169050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b82818337600083830152505050565b60005b838110156126f15780820151818401526020810190506126d6565b83811115612700576000848401525b50505050565b6000600282049050600182168061271e57607f821691505b6020821081141561273257612731612841565b5b50919050565b6127418261289f565b810181811067ffffffffffffffff821117156127605761275f612870565b5b80604052505050565b6000612774826126ba565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8214156127a7576127a66127e3565b5b600182019050919050565b60006127bd826126ba565b91506127c8836126ba565b9250826127d8576127d7612812565b5b828206905092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6000601f19601f8301169050919050565b7f4552433732313a207472616e7366657220746f206e6f6e20455243373231526560008201527f63656976657220696d706c656d656e7465720000000000000000000000000000602082015250565b7f4552433732313a20746f6b656e20616c7265616479206d696e74656400000000600082015250565b7f4552433732313a207472616e7366657220746f20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b7f4552433732313a20617070726f766520746f2063616c6c657200000000000000600082015250565b7f4552433732313a206f70657261746f7220717565727920666f72206e6f6e657860008201527f697374656e7420746f6b656e0000000000000000000000000000000000000000602082015250565b7f4552433732313a20617070726f76652063616c6c6572206973206e6f74206f7760008201527f6e6572206e6f7220617070726f76656420666f7220616c6c0000000000000000602082015250565b7f4552433732313a2062616c616e636520717565727920666f7220746865207a6560008201527f726f206164647265737300000000000000000000000000000000000000000000602082015250565b7f4552433732313a206f776e657220717565727920666f72206e6f6e657869737460008201527f656e7420746f6b656e0000000000000000000000000000000000000000000000602082015250565b7f4552433732313a206d696e7420746f20746865207a65726f2061646472657373600082015250565b7f4552433732313a20617070726f76656420717565727920666f72206e6f6e657860008201527f697374656e7420746f6b656e0000000000000000000000000000000000000000602082015250565b7f4552433732313a207472616e73666572206f6620746f6b656e2074686174206960008201527f73206e6f74206f776e0000000000000000000000000000000000000000000000602082015250565b7f4552433732314d657461646174613a2055524920717565727920666f72206e6f60008201527f6e6578697374656e7420746f6b656e0000000000000000000000000000000000602082015250565b7f4552433732313a20617070726f76616c20746f2063757272656e74206f776e6560008201527f7200000000000000000000000000000000000000000000000000000000000000602082015250565b7f4552433732313a207472616e736665722063616c6c6572206973206e6f74206f60008201527f776e6572206e6f7220617070726f766564000000000000000000000000000000602082015250565b612c9981612650565b8114612ca457600080fd5b50565b612cb081612662565b8114612cbb57600080fd5b50565b612cc78161266e565b8114612cd257600080fd5b50565b612cde816126ba565b8114612ce957600080fd5b5056fea26469706673582212200d80d86d1bd9a3922bb61b0db9fbaf9f6d0cb4bed7d011cf15a05da624f9be5464736f6c63430008010033

33172:1073:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20649:305;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;21594:100;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;23153:221;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;22676:411;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;33395:93;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;24043:339;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;24453:185;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;21288:239;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;21018:208;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;34094:148;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;21763:104;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;23446:295;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;24709:328;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;21938:334;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;33635:221;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;23812:164;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;33864:222;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;20649:305;20751:4;20803:25;20788:40;;;:11;:40;;;;:105;;;;20860:33;20845:48;;;:11;:48;;;;20788:105;:158;;;;20910:36;20934:11;20910:23;:36::i;:::-;20788:158;20768:178;;20649:305;;;:::o;21594:100::-;21648:13;21681:5;21674:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21594:100;:::o;23153:221::-;23229:7;23257:16;23265:7;23257;:16::i;:::-;23249:73;;;;;;;;;;;;:::i;:::-;;;;;;;;;23342:15;:24;23358:7;23342:24;;;;;;;;;;;;;;;;;;;;;23335:31;;23153:221;;;:::o;22676:411::-;22757:13;22773:23;22788:7;22773:14;:23::i;:::-;22757:39;;22821:5;22815:11;;:2;:11;;;;22807:57;;;;;;;;;;;;:::i;:::-;;;;;;;;;22915:5;22899:21;;:12;:10;:12::i;:::-;:21;;;:62;;;;22924:37;22941:5;22948:12;:10;:12::i;:::-;22924:16;:37::i;:::-;22899:62;22877:168;;;;;;;;;;;;:::i;:::-;;;;;;;;;23058:21;23067:2;23071:7;23058:8;:21::i;:::-;22676:411;;;:::o;33395:93::-;33447:7;33470:12;;33463:19;;33395:93;:::o;24043:339::-;24238:41;24257:12;:10;:12::i;:::-;24271:7;24238:18;:41::i;:::-;24230:103;;;;;;;;;;;;:::i;:::-;;;;;;;;;24346:28;24356:4;24362:2;24366:7;24346:9;:28::i;:::-;24043:339;;;:::o;24453:185::-;24591:39;24608:4;24614:2;24618:7;24591:39;;;;;;;;;;;;:16;:39::i;:::-;24453:185;;;:::o;21288:239::-;21360:7;21380:13;21396:7;:16;21404:7;21396:16;;;;;;;;;;;;;;;;;;;;;21380:32;;21448:1;21431:19;;:5;:19;;;;21423:73;;;;;;;;;;;;:::i;:::-;;;;;;;;;21514:5;21507:12;;;21288:239;;;:::o;21018:208::-;21090:7;21135:1;21118:19;;:5;:19;;;;21110:74;;;;;;;;;;;;:::i;:::-;;;;;;;;;21202:9;:16;21212:5;21202:16;;;;;;;;;;;;;;;;21195:23;;21018:208;;;:::o;34094:148::-;34157:9;34152:83;34176:8;:15;34172:1;:19;34152:83;;;34207:17;34212:8;34221:1;34212:11;;;;;;;;;;;;;;;;;;;;;;34207:4;:17::i;:::-;34193:3;;;;;:::i;:::-;;;;34152:83;;;;34094:148;:::o;21763:104::-;21819:13;21852:7;21845:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21763:104;:::o;23446:295::-;23561:12;:10;:12::i;:::-;23549:24;;:8;:24;;;;23541:62;;;;;;;;;;;;:::i;:::-;;;;;;;;;23661:8;23616:18;:32;23635:12;:10;:12::i;:::-;23616:32;;;;;;;;;;;;;;;:42;23649:8;23616:42;;;;;;;;;;;;;;;;:53;;;;;;;;;;;;;;;;;;23714:8;23685:48;;23700:12;:10;:12::i;:::-;23685:48;;;23724:8;23685:48;;;;;;:::i;:::-;;;;;;;;23446:295;;:::o;24709:328::-;24884:41;24903:12;:10;:12::i;:::-;24917:7;24884:18;:41::i;:::-;24876:103;;;;;;;;;;;;:::i;:::-;;;;;;;;;24990:39;25004:4;25010:2;25014:7;25023:5;24990:13;:39::i;:::-;24709:328;;;;:::o;21938:334::-;22011:13;22045:16;22053:7;22045;:16::i;:::-;22037:76;;;;;;;;;;;;:::i;:::-;;;;;;;;;22126:21;22150:10;:8;:10::i;:::-;22126:34;;22202:1;22184:7;22178:21;:25;:86;;;;;;;;;;;;;;;;;22230:7;22239:18;:7;:16;:18::i;:::-;22213:45;;;;;;;;;:::i;:::-;;;;;;;;;;;;;22178:86;22171:93;;;21938:334;;;:::o;33635:221::-;33709:3;;33694:12;;:18;33686:27;;;;;;33720:5;;;;;;;;;;;:11;;;33732:7;33720:20;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;33747:15;33792:1;33765:5;;;;;;;;;;;:22;;;:24;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:28;;;;:::i;:::-;33747:46;;33800:26;33806:10;33818:7;33800:5;:26::i;:::-;33849:1;33833:12;;:17;;;;;;;:::i;:::-;;;;;;;;33635:221;;:::o;23812:164::-;23909:4;23933:18;:25;23952:5;23933:25;;;;;;;;;;;;;;;:35;23959:8;23933:35;;;;;;;;;;;;;;;;;;;;;;;;;23926:42;;23812:164;;;;:::o;33864:222::-;33932:3;;33917:12;;:18;33909:27;;;;;;33944:16;33966:5;;;;;;;;;;;:12;;;33979:7;33966:21;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;33943:44;;;;34022:1;34002:22;;:8;:22;;;;33994:31;;;;;;34032:24;34038:8;34048:7;34032:5;:24::i;:::-;34079:1;34063:12;;:17;;;;;;;:::i;:::-;;;;;;;;33864:222;;:::o;12655:157::-;12740:4;12779:25;12764:40;;;:11;:40;;;;12757:47;;12655:157;;;:::o;26547:127::-;26612:4;26664:1;26636:30;;:7;:16;26644:7;26636:16;;;;;;;;;;;;;;;;;;;;;:30;;;;26629:37;;26547:127;;;:::o;2695:98::-;2748:7;2775:10;2768:17;;2695:98;:::o;30529:174::-;30631:2;30604:15;:24;30620:7;30604:24;;;;;;;;;;;;:29;;;;;;;;;;;;;;;;;;30687:7;30683:2;30649:46;;30658:23;30673:7;30658:14;:23::i;:::-;30649:46;;;;;;;;;;;;30529:174;;:::o;26841:348::-;26934:4;26959:16;26967:7;26959;:16::i;:::-;26951:73;;;;;;;;;;;;:::i;:::-;;;;;;;;;27035:13;27051:23;27066:7;27051:14;:23::i;:::-;27035:39;;27104:5;27093:16;;:7;:16;;;:51;;;;27137:7;27113:31;;:20;27125:7;27113:11;:20::i;:::-;:31;;;27093:51;:87;;;;27148:32;27165:5;27172:7;27148:16;:32::i;:::-;27093:87;27085:96;;;26841:348;;;;:::o;29833:578::-;29992:4;29965:31;;:23;29980:7;29965:14;:23::i;:::-;:31;;;29957:85;;;;;;;;;;;;:::i;:::-;;;;;;;;;30075:1;30061:16;;:2;:16;;;;30053:65;;;;;;;;;;;;:::i;:::-;;;;;;;;;30131:39;30152:4;30158:2;30162:7;30131:20;:39::i;:::-;30235:29;30252:1;30256:7;30235:8;:29::i;:::-;30296:1;30277:9;:15;30287:4;30277:15;;;;;;;;;;;;;;;;:20;;;;;;;:::i;:::-;;;;;;;;30325:1;30308:9;:13;30318:2;30308:13;;;;;;;;;;;;;;;;:18;;;;;;;:::i;:::-;;;;;;;;30356:2;30337:7;:16;30345:7;30337:16;;;;;;;;;;;;:21;;;;;;;;;;;;;;;;;;30395:7;30391:2;30376:27;;30385:4;30376:27;;;;;;;;;;;;29833:578;;;:::o;25919:315::-;26076:28;26086:4;26092:2;26096:7;26076:9;:28::i;:::-;26123:48;26146:4;26152:2;26156:7;26165:5;26123:22;:48::i;:::-;26115:111;;;;;;;;;;;;:::i;:::-;;;;;;;;;25919:315;;;;:::o;33496:129::-;33556:13;33578:41;;;;;;;;;;;;;;;;;;;33496:129;:::o;311:723::-;367:13;597:1;588:5;:10;584:53;;;615:10;;;;;;;;;;;;;;;;;;;;;584:53;647:12;662:5;647:20;;678:14;703:78;718:1;710:4;:9;703:78;;736:8;;;;;:::i;:::-;;;;767:2;759:10;;;;;:::i;:::-;;;703:78;;;791:19;823:6;813:17;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;791:39;;841:154;857:1;848:5;:10;841:154;;885:1;875:11;;;;;:::i;:::-;;;952:2;944:5;:10;;;;:::i;:::-;931:2;:24;;;;:::i;:::-;918:39;;901:6;908;901:14;;;;;;;;;;;;;;;;;;;:56;;;;;;;;;;;981:2;972:11;;;;;:::i;:::-;;;841:154;;;1019:6;1005:21;;;;;311:723;;;;:::o;28525:382::-;28619:1;28605:16;;:2;:16;;;;28597:61;;;;;;;;;;;;:::i;:::-;;;;;;;;;28678:16;28686:7;28678;:16::i;:::-;28677:17;28669:58;;;;;;;;;;;;:::i;:::-;;;;;;;;;28740:45;28769:1;28773:2;28777:7;28740:20;:45::i;:::-;28815:1;28798:9;:13;28808:2;28798:13;;;;;;;;;;;;;;;;:18;;;;;;;:::i;:::-;;;;;;;;28846:2;28827:7;:16;28835:7;28827:16;;;;;;;;;;;;:21;;;;;;;;;;;;;;;;;;28891:7;28887:2;28866:33;;28883:1;28866:33;;;;;;;;;;;;28525:382;;:::o;32639:126::-;;;;:::o;31268:799::-;31423:4;31444:15;:2;:13;;;:15::i;:::-;31440:620;;;31496:2;31480:36;;;31517:12;:10;:12::i;:::-;31531:4;31537:7;31546:5;31480:72;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;31476:529;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;31739:1;31722:6;:13;:18;31718:272;;;31765:60;;;;;;;;;;:::i;:::-;;;;;;;;31718:272;31940:6;31934:13;31925:6;31921:2;31917:15;31910:38;31476:529;31613:41;;;31603:51;;;:6;:51;;;;31596:58;;;;;31440:620;32044:4;32037:11;;31268:799;;;;;;;:::o;3675:387::-;3735:4;3943:12;4010:7;3998:20;3990:28;;4053:1;4046:4;:8;4039:15;;;3675:387;;;:::o;23:616:1:-;;154:91;170:74;237:6;170:74;:::i;:::-;154:91;:::i;:::-;145:100;;265:5;293:6;286:5;279:21;319:4;312:5;308:16;301:23;;344:6;375:1;360:273;385:6;382:1;379:13;360:273;;;477:3;464:17;456:6;452:30;507:47;550:3;538:10;507:47;:::i;:::-;502:3;495:60;584:4;579:3;575:14;568:21;;618:4;613:3;609:14;602:21;;420:213;407:1;404;400:9;395:14;;360:273;;;364:14;135:504;;;;;;;:::o;645:343::-;;747:65;763:48;804:6;763:48;:::i;:::-;747:65;:::i;:::-;738:74;;835:6;828:5;821:21;873:4;866:5;862:16;911:3;902:6;897:3;893:16;890:25;887:2;;;928:1;925;918:12;887:2;941:41;975:6;970:3;965;941:41;:::i;:::-;728:260;;;;;;:::o;994:345::-;;1097:66;1113:49;1155:6;1113:49;:::i;:::-;1097:66;:::i;:::-;1088:75;;1186:6;1179:5;1172:21;1224:4;1217:5;1213:16;1262:3;1253:6;1248:3;1244:16;1241:25;1238:2;;;1279:1;1276;1269:12;1238:2;1292:41;1326:6;1321:3;1316;1292:41;:::i;:::-;1078:261;;;;;;:::o;1345:354::-;;1459:66;1475:49;1517:6;1475:49;:::i;:::-;1459:66;:::i;:::-;1450:75;;1548:6;1541:5;1534:21;1586:4;1579:5;1575:16;1624:3;1615:6;1610:3;1606:16;1603:25;1600:2;;;1641:1;1638;1631:12;1600:2;1654:39;1686:6;1681:3;1676;1654:39;:::i;:::-;1440:259;;;;;;:::o;1705:139::-;;1789:6;1776:20;1767:29;;1805:33;1832:5;1805:33;:::i;:::-;1757:87;;;;:::o;1850:143::-;;1938:6;1932:13;1923:22;;1954:33;1981:5;1954:33;:::i;:::-;1913:80;;;;:::o;2015:323::-;;2145:3;2138:4;2130:6;2126:17;2122:27;2112:2;;2163:1;2160;2153:12;2112:2;2203:6;2190:20;2228:104;2328:3;2320:6;2313:4;2305:6;2301:17;2228:104;:::i;:::-;2219:113;;2102:236;;;;;:::o;2344:133::-;;2425:6;2412:20;2403:29;;2441:30;2465:5;2441:30;:::i;:::-;2393:84;;;;:::o;2483:137::-;;2566:6;2553:20;2544:29;;2582:32;2608:5;2582:32;:::i;:::-;2534:86;;;;:::o;2626:141::-;;2713:6;2707:13;2698:22;;2729:32;2755:5;2729:32;:::i;:::-;2688:79;;;;:::o;2786:271::-;;2890:3;2883:4;2875:6;2871:17;2867:27;2857:2;;2908:1;2905;2898:12;2857:2;2948:6;2935:20;2973:78;3047:3;3039:6;3032:4;3024:6;3020:17;2973:78;:::i;:::-;2964:87;;2847:210;;;;;:::o;3077:273::-;;3182:3;3175:4;3167:6;3163:17;3159:27;3149:2;;3200:1;3197;3190:12;3149:2;3240:6;3227:20;3265:79;3340:3;3332:6;3325:4;3317:6;3313:17;3265:79;:::i;:::-;3256:88;;3139:211;;;;;:::o;3370:288::-;;3486:3;3479:4;3471:6;3467:17;3463:27;3453:2;;3504:1;3501;3494:12;3453:2;3537:6;3531:13;3562:90;3648:3;3640:6;3633:4;3625:6;3621:17;3562:90;:::i;:::-;3553:99;;3443:215;;;;;:::o;3664:139::-;;3748:6;3735:20;3726:29;;3764:33;3791:5;3764:33;:::i;:::-;3716:87;;;;:::o;3809:143::-;;3897:6;3891:13;3882:22;;3913:33;3940:5;3913:33;:::i;:::-;3872:80;;;;:::o;3958:262::-;;4066:2;4054:9;4045:7;4041:23;4037:32;4034:2;;;4082:1;4079;4072:12;4034:2;4125:1;4150:53;4195:7;4186:6;4175:9;4171:22;4150:53;:::i;:::-;4140:63;;4096:117;4024:196;;;;:::o;4226:407::-;;;4351:2;4339:9;4330:7;4326:23;4322:32;4319:2;;;4367:1;4364;4357:12;4319:2;4410:1;4435:53;4480:7;4471:6;4460:9;4456:22;4435:53;:::i;:::-;4425:63;;4381:117;4537:2;4563:53;4608:7;4599:6;4588:9;4584:22;4563:53;:::i;:::-;4553:63;;4508:118;4309:324;;;;;:::o;4639:552::-;;;;4781:2;4769:9;4760:7;4756:23;4752:32;4749:2;;;4797:1;4794;4787:12;4749:2;4840:1;4865:53;4910:7;4901:6;4890:9;4886:22;4865:53;:::i;:::-;4855:63;;4811:117;4967:2;4993:53;5038:7;5029:6;5018:9;5014:22;4993:53;:::i;:::-;4983:63;;4938:118;5095:2;5121:53;5166:7;5157:6;5146:9;5142:22;5121:53;:::i;:::-;5111:63;;5066:118;4739:452;;;;;:::o;5197:809::-;;;;;5365:3;5353:9;5344:7;5340:23;5336:33;5333:2;;;5382:1;5379;5372:12;5333:2;5425:1;5450:53;5495:7;5486:6;5475:9;5471:22;5450:53;:::i;:::-;5440:63;;5396:117;5552:2;5578:53;5623:7;5614:6;5603:9;5599:22;5578:53;:::i;:::-;5568:63;;5523:118;5680:2;5706:53;5751:7;5742:6;5731:9;5727:22;5706:53;:::i;:::-;5696:63;;5651:118;5836:2;5825:9;5821:18;5808:32;5867:18;5859:6;5856:30;5853:2;;;5899:1;5896;5889:12;5853:2;5927:62;5981:7;5972:6;5961:9;5957:22;5927:62;:::i;:::-;5917:72;;5779:220;5323:683;;;;;;;:::o;6012:401::-;;;6134:2;6122:9;6113:7;6109:23;6105:32;6102:2;;;6150:1;6147;6140:12;6102:2;6193:1;6218:53;6263:7;6254:6;6243:9;6239:22;6218:53;:::i;:::-;6208:63;;6164:117;6320:2;6346:50;6388:7;6379:6;6368:9;6364:22;6346:50;:::i;:::-;6336:60;;6291:115;6092:321;;;;;:::o;6419:702::-;;;;6582:2;6570:9;6561:7;6557:23;6553:32;6550:2;;;6598:1;6595;6588:12;6550:2;6641:1;6666:64;6722:7;6713:6;6702:9;6698:22;6666:64;:::i;:::-;6656:74;;6612:128;6800:2;6789:9;6785:18;6779:25;6831:18;6823:6;6820:30;6817:2;;;6863:1;6860;6853:12;6817:2;6891:74;6957:7;6948:6;6937:9;6933:22;6891:74;:::i;:::-;6881:84;;6750:225;7014:2;7040:64;7096:7;7087:6;7076:9;7072:22;7040:64;:::i;:::-;7030:74;;6985:129;6540:581;;;;;:::o;7127:407::-;;;7252:2;7240:9;7231:7;7227:23;7223:32;7220:2;;;7268:1;7265;7258:12;7220:2;7311:1;7336:53;7381:7;7372:6;7361:9;7357:22;7336:53;:::i;:::-;7326:63;;7282:117;7438:2;7464:53;7509:7;7500:6;7489:9;7485:22;7464:53;:::i;:::-;7454:63;;7409:118;7210:324;;;;;:::o;7540:425::-;;7683:2;7671:9;7662:7;7658:23;7654:32;7651:2;;;7699:1;7696;7689:12;7651:2;7770:1;7759:9;7755:17;7742:31;7800:18;7792:6;7789:30;7786:2;;;7832:1;7829;7822:12;7786:2;7860:88;7940:7;7931:6;7920:9;7916:22;7860:88;:::i;:::-;7850:98;;7713:245;7641:324;;;;:::o;7971:260::-;;8078:2;8066:9;8057:7;8053:23;8049:32;8046:2;;;8094:1;8091;8084:12;8046:2;8137:1;8162:52;8206:7;8197:6;8186:9;8182:22;8162:52;:::i;:::-;8152:62;;8108:116;8036:195;;;;:::o;8237:282::-;;8355:2;8343:9;8334:7;8330:23;8326:32;8323:2;;;8371:1;8368;8361:12;8323:2;8414:1;8439:63;8494:7;8485:6;8474:9;8470:22;8439:63;:::i;:::-;8429:73;;8385:127;8313:206;;;;:::o;8525:375::-;;8643:2;8631:9;8622:7;8618:23;8614:32;8611:2;;;8659:1;8656;8649:12;8611:2;8730:1;8719:9;8715:17;8702:31;8760:18;8752:6;8749:30;8746:2;;;8792:1;8789;8782:12;8746:2;8820:63;8875:7;8866:6;8855:9;8851:22;8820:63;:::i;:::-;8810:73;;8673:220;8601:299;;;;:::o;8906:262::-;;9014:2;9002:9;8993:7;8989:23;8985:32;8982:2;;;9030:1;9027;9020:12;8982:2;9073:1;9098:53;9143:7;9134:6;9123:9;9119:22;9098:53;:::i;:::-;9088:63;;9044:117;8972:196;;;;:::o;9174:284::-;;9293:2;9281:9;9272:7;9268:23;9264:32;9261:2;;;9309:1;9306;9299:12;9261:2;9352:1;9377:64;9433:7;9424:6;9413:9;9409:22;9377:64;:::i;:::-;9367:74;;9323:128;9251:207;;;;:::o;9464:118::-;9551:24;9569:5;9551:24;:::i;:::-;9546:3;9539:37;9529:53;;:::o;9588:109::-;9669:21;9684:5;9669:21;:::i;:::-;9664:3;9657:34;9647:50;;:::o;9703:360::-;;9817:38;9849:5;9817:38;:::i;:::-;9871:70;9934:6;9929:3;9871:70;:::i;:::-;9864:77;;9950:52;9995:6;9990:3;9983:4;9976:5;9972:16;9950:52;:::i;:::-;10027:29;10049:6;10027:29;:::i;:::-;10022:3;10018:39;10011:46;;9793:270;;;;;:::o;10069:364::-;;10185:39;10218:5;10185:39;:::i;:::-;10240:71;10304:6;10299:3;10240:71;:::i;:::-;10233:78;;10320:52;10365:6;10360:3;10353:4;10346:5;10342:16;10320:52;:::i;:::-;10397:29;10419:6;10397:29;:::i;:::-;10392:3;10388:39;10381:46;;10161:272;;;;;:::o;10439:377::-;;10573:39;10606:5;10573:39;:::i;:::-;10628:89;10710:6;10705:3;10628:89;:::i;:::-;10621:96;;10726:52;10771:6;10766:3;10759:4;10752:5;10748:16;10726:52;:::i;:::-;10803:6;10798:3;10794:16;10787:23;;10549:267;;;;;:::o;10822:366::-;;10985:67;11049:2;11044:3;10985:67;:::i;:::-;10978:74;;11061:93;11150:3;11061:93;:::i;:::-;11179:2;11174:3;11170:12;11163:19;;10968:220;;;:::o;11194:366::-;;11357:67;11421:2;11416:3;11357:67;:::i;:::-;11350:74;;11433:93;11522:3;11433:93;:::i;:::-;11551:2;11546:3;11542:12;11535:19;;11340:220;;;:::o;11566:366::-;;11729:67;11793:2;11788:3;11729:67;:::i;:::-;11722:74;;11805:93;11894:3;11805:93;:::i;:::-;11923:2;11918:3;11914:12;11907:19;;11712:220;;;:::o;11938:366::-;;12101:67;12165:2;12160:3;12101:67;:::i;:::-;12094:74;;12177:93;12266:3;12177:93;:::i;:::-;12295:2;12290:3;12286:12;12279:19;;12084:220;;;:::o;12310:366::-;;12473:67;12537:2;12532:3;12473:67;:::i;:::-;12466:74;;12549:93;12638:3;12549:93;:::i;:::-;12667:2;12662:3;12658:12;12651:19;;12456:220;;;:::o;12682:366::-;;12845:67;12909:2;12904:3;12845:67;:::i;:::-;12838:74;;12921:93;13010:3;12921:93;:::i;:::-;13039:2;13034:3;13030:12;13023:19;;12828:220;;;:::o;13054:366::-;;13217:67;13281:2;13276:3;13217:67;:::i;:::-;13210:74;;13293:93;13382:3;13293:93;:::i;:::-;13411:2;13406:3;13402:12;13395:19;;13200:220;;;:::o;13426:366::-;;13589:67;13653:2;13648:3;13589:67;:::i;:::-;13582:74;;13665:93;13754:3;13665:93;:::i;:::-;13783:2;13778:3;13774:12;13767:19;;13572:220;;;:::o;13798:366::-;;13961:67;14025:2;14020:3;13961:67;:::i;:::-;13954:74;;14037:93;14126:3;14037:93;:::i;:::-;14155:2;14150:3;14146:12;14139:19;;13944:220;;;:::o;14170:366::-;;14333:67;14397:2;14392:3;14333:67;:::i;:::-;14326:74;;14409:93;14498:3;14409:93;:::i;:::-;14527:2;14522:3;14518:12;14511:19;;14316:220;;;:::o;14542:366::-;;14705:67;14769:2;14764:3;14705:67;:::i;:::-;14698:74;;14781:93;14870:3;14781:93;:::i;:::-;14899:2;14894:3;14890:12;14883:19;;14688:220;;;:::o;14914:366::-;;15077:67;15141:2;15136:3;15077:67;:::i;:::-;15070:74;;15153:93;15242:3;15153:93;:::i;:::-;15271:2;15266:3;15262:12;15255:19;;15060:220;;;:::o;15286:366::-;;15449:67;15513:2;15508:3;15449:67;:::i;:::-;15442:74;;15525:93;15614:3;15525:93;:::i;:::-;15643:2;15638:3;15634:12;15627:19;;15432:220;;;:::o;15658:366::-;;15821:67;15885:2;15880:3;15821:67;:::i;:::-;15814:74;;15897:93;15986:3;15897:93;:::i;:::-;16015:2;16010:3;16006:12;15999:19;;15804:220;;;:::o;16030:118::-;16117:24;16135:5;16117:24;:::i;:::-;16112:3;16105:37;16095:53;;:::o;16154:435::-;;16356:95;16447:3;16438:6;16356:95;:::i;:::-;16349:102;;16468:95;16559:3;16550:6;16468:95;:::i;:::-;16461:102;;16580:3;16573:10;;16338:251;;;;;:::o;16595:222::-;;16726:2;16715:9;16711:18;16703:26;;16739:71;16807:1;16796:9;16792:17;16783:6;16739:71;:::i;:::-;16693:124;;;;:::o;16823:640::-;;17056:3;17045:9;17041:19;17033:27;;17070:71;17138:1;17127:9;17123:17;17114:6;17070:71;:::i;:::-;17151:72;17219:2;17208:9;17204:18;17195:6;17151:72;:::i;:::-;17233;17301:2;17290:9;17286:18;17277:6;17233:72;:::i;:::-;17352:9;17346:4;17342:20;17337:2;17326:9;17322:18;17315:48;17380:76;17451:4;17442:6;17380:76;:::i;:::-;17372:84;;17023:440;;;;;;;:::o;17469:210::-;;17594:2;17583:9;17579:18;17571:26;;17607:65;17669:1;17658:9;17654:17;17645:6;17607:65;:::i;:::-;17561:118;;;;:::o;17685:313::-;;17836:2;17825:9;17821:18;17813:26;;17885:9;17879:4;17875:20;17871:1;17860:9;17856:17;17849:47;17913:78;17986:4;17977:6;17913:78;:::i;:::-;17905:86;;17803:195;;;;:::o;18004:419::-;;18208:2;18197:9;18193:18;18185:26;;18257:9;18251:4;18247:20;18243:1;18232:9;18228:17;18221:47;18285:131;18411:4;18285:131;:::i;:::-;18277:139;;18175:248;;;:::o;18429:419::-;;18633:2;18622:9;18618:18;18610:26;;18682:9;18676:4;18672:20;18668:1;18657:9;18653:17;18646:47;18710:131;18836:4;18710:131;:::i;:::-;18702:139;;18600:248;;;:::o;18854:419::-;;19058:2;19047:9;19043:18;19035:26;;19107:9;19101:4;19097:20;19093:1;19082:9;19078:17;19071:47;19135:131;19261:4;19135:131;:::i;:::-;19127:139;;19025:248;;;:::o;19279:419::-;;19483:2;19472:9;19468:18;19460:26;;19532:9;19526:4;19522:20;19518:1;19507:9;19503:17;19496:47;19560:131;19686:4;19560:131;:::i;:::-;19552:139;;19450:248;;;:::o;19704:419::-;;19908:2;19897:9;19893:18;19885:26;;19957:9;19951:4;19947:20;19943:1;19932:9;19928:17;19921:47;19985:131;20111:4;19985:131;:::i;:::-;19977:139;;19875:248;;;:::o;20129:419::-;;20333:2;20322:9;20318:18;20310:26;;20382:9;20376:4;20372:20;20368:1;20357:9;20353:17;20346:47;20410:131;20536:4;20410:131;:::i;:::-;20402:139;;20300:248;;;:::o;20554:419::-;;20758:2;20747:9;20743:18;20735:26;;20807:9;20801:4;20797:20;20793:1;20782:9;20778:17;20771:47;20835:131;20961:4;20835:131;:::i;:::-;20827:139;;20725:248;;;:::o;20979:419::-;;21183:2;21172:9;21168:18;21160:26;;21232:9;21226:4;21222:20;21218:1;21207:9;21203:17;21196:47;21260:131;21386:4;21260:131;:::i;:::-;21252:139;;21150:248;;;:::o;21404:419::-;;21608:2;21597:9;21593:18;21585:26;;21657:9;21651:4;21647:20;21643:1;21632:9;21628:17;21621:47;21685:131;21811:4;21685:131;:::i;:::-;21677:139;;21575:248;;;:::o;21829:419::-;;22033:2;22022:9;22018:18;22010:26;;22082:9;22076:4;22072:20;22068:1;22057:9;22053:17;22046:47;22110:131;22236:4;22110:131;:::i;:::-;22102:139;;22000:248;;;:::o;22254:419::-;;22458:2;22447:9;22443:18;22435:26;;22507:9;22501:4;22497:20;22493:1;22482:9;22478:17;22471:47;22535:131;22661:4;22535:131;:::i;:::-;22527:139;;22425:248;;;:::o;22679:419::-;;22883:2;22872:9;22868:18;22860:26;;22932:9;22926:4;22922:20;22918:1;22907:9;22903:17;22896:47;22960:131;23086:4;22960:131;:::i;:::-;22952:139;;22850:248;;;:::o;23104:419::-;;23308:2;23297:9;23293:18;23285:26;;23357:9;23351:4;23347:20;23343:1;23332:9;23328:17;23321:47;23385:131;23511:4;23385:131;:::i;:::-;23377:139;;23275:248;;;:::o;23529:419::-;;23733:2;23722:9;23718:18;23710:26;;23782:9;23776:4;23772:20;23768:1;23757:9;23753:17;23746:47;23810:131;23936:4;23810:131;:::i;:::-;23802:139;;23700:248;;;:::o;23954:222::-;;24085:2;24074:9;24070:18;24062:26;;24098:71;24166:1;24155:9;24151:17;24142:6;24098:71;:::i;:::-;24052:124;;;;:::o;24182:129::-;;24243:20;;:::i;:::-;24233:30;;24272:33;24300:4;24292:6;24272:33;:::i;:::-;24223:88;;;:::o;24317:75::-;;24383:2;24377:9;24367:19;;24357:35;:::o;24398:321::-;;24575:18;24567:6;24564:30;24561:2;;;24597:18;;:::i;:::-;24561:2;24647:4;24639:6;24635:17;24627:25;;24707:4;24701;24697:15;24689:23;;24490:229;;;:::o;24725:307::-;;24876:18;24868:6;24865:30;24862:2;;;24898:18;;:::i;:::-;24862:2;24936:29;24958:6;24936:29;:::i;:::-;24928:37;;25020:4;25014;25010:15;25002:23;;24791:241;;;:::o;25038:308::-;;25190:18;25182:6;25179:30;25176:2;;;25212:18;;:::i;:::-;25176:2;25250:29;25272:6;25250:29;:::i;:::-;25242:37;;25334:4;25328;25324:15;25316:23;;25105:241;;;:::o;25352:98::-;;25437:5;25431:12;25421:22;;25410:40;;;:::o;25456:99::-;;25542:5;25536:12;25526:22;;25515:40;;;:::o;25561:168::-;;25678:6;25673:3;25666:19;25718:4;25713:3;25709:14;25694:29;;25656:73;;;;:::o;25735:169::-;;25853:6;25848:3;25841:19;25893:4;25888:3;25884:14;25869:29;;25831:73;;;;:::o;25910:148::-;;26049:3;26034:18;;26024:34;;;;:::o;26064:305::-;;26123:20;26141:1;26123:20;:::i;:::-;26118:25;;26157:20;26175:1;26157:20;:::i;:::-;26152:25;;26311:1;26243:66;26239:74;26236:1;26233:81;26230:2;;;26317:18;;:::i;:::-;26230:2;26361:1;26358;26354:9;26347:16;;26108:261;;;;:::o;26375:185::-;;26432:20;26450:1;26432:20;:::i;:::-;26427:25;;26466:20;26484:1;26466:20;:::i;:::-;26461:25;;26505:1;26495:2;;26510:18;;:::i;:::-;26495:2;26552:1;26549;26545:9;26540:14;;26417:143;;;;:::o;26566:191::-;;26626:20;26644:1;26626:20;:::i;:::-;26621:25;;26660:20;26678:1;26660:20;:::i;:::-;26655:25;;26699:1;26696;26693:8;26690:2;;;26704:18;;:::i;:::-;26690:2;26749:1;26746;26742:9;26734:17;;26611:146;;;;:::o;26763:96::-;;26829:24;26847:5;26829:24;:::i;:::-;26818:35;;26808:51;;;:::o;26865:90::-;;26942:5;26935:13;26928:21;26917:32;;26907:48;;;:::o;26961:149::-;;27037:66;27030:5;27026:78;27015:89;;27005:105;;;:::o;27116:126::-;;27193:42;27186:5;27182:54;27171:65;;27161:81;;;:::o;27248:77::-;;27314:5;27303:16;;27293:32;;;:::o;27331:154::-;27415:6;27410:3;27405;27392:30;27477:1;27468:6;27463:3;27459:16;27452:27;27382:103;;;:::o;27491:307::-;27559:1;27569:113;27583:6;27580:1;27577:13;27569:113;;;27668:1;27663:3;27659:11;27653:18;27649:1;27644:3;27640:11;27633:39;27605:2;27602:1;27598:10;27593:15;;27569:113;;;27700:6;27697:1;27694:13;27691:2;;;27780:1;27771:6;27766:3;27762:16;27755:27;27691:2;27540:258;;;;:::o;27804:320::-;;27885:1;27879:4;27875:12;27865:22;;27932:1;27926:4;27922:12;27953:18;27943:2;;28009:4;28001:6;27997:17;27987:27;;27943:2;28071;28063:6;28060:14;28040:18;28037:38;28034:2;;;28090:18;;:::i;:::-;28034:2;27855:269;;;;:::o;28130:281::-;28213:27;28235:4;28213:27;:::i;:::-;28205:6;28201:40;28343:6;28331:10;28328:22;28307:18;28295:10;28292:34;28289:62;28286:2;;;28354:18;;:::i;:::-;28286:2;28394:10;28390:2;28383:22;28173:238;;;:::o;28417:233::-;;28479:24;28497:5;28479:24;:::i;:::-;28470:33;;28525:66;28518:5;28515:77;28512:2;;;28595:18;;:::i;:::-;28512:2;28642:1;28635:5;28631:13;28624:20;;28460:190;;;:::o;28656:176::-;;28705:20;28723:1;28705:20;:::i;:::-;28700:25;;28739:20;28757:1;28739:20;:::i;:::-;28734:25;;28778:1;28768:2;;28783:18;;:::i;:::-;28768:2;28824:1;28821;28817:9;28812:14;;28690:142;;;;:::o;28838:180::-;28886:77;28883:1;28876:88;28983:4;28980:1;28973:15;29007:4;29004:1;28997:15;29024:180;29072:77;29069:1;29062:88;29169:4;29166:1;29159:15;29193:4;29190:1;29183:15;29210:180;29258:77;29255:1;29248:88;29355:4;29352:1;29345:15;29379:4;29376:1;29369:15;29396:180;29444:77;29441:1;29434:88;29541:4;29538:1;29531:15;29565:4;29562:1;29555:15;29582:102;;29674:2;29670:7;29665:2;29658:5;29654:14;29650:28;29640:38;;29630:54;;;:::o;29690:237::-;29830:34;29826:1;29818:6;29814:14;29807:58;29899:20;29894:2;29886:6;29882:15;29875:45;29796:131;:::o;29933:178::-;30073:30;30069:1;30061:6;30057:14;30050:54;30039:72;:::o;30117:223::-;30257:34;30253:1;30245:6;30241:14;30234:58;30326:6;30321:2;30313:6;30309:15;30302:31;30223:117;:::o;30346:175::-;30486:27;30482:1;30474:6;30470:14;30463:51;30452:69;:::o;30527:231::-;30667:34;30663:1;30655:6;30651:14;30644:58;30736:14;30731:2;30723:6;30719:15;30712:39;30633:125;:::o;30764:243::-;30904:34;30900:1;30892:6;30888:14;30881:58;30973:26;30968:2;30960:6;30956:15;30949:51;30870:137;:::o;31013:229::-;31153:34;31149:1;31141:6;31137:14;31130:58;31222:12;31217:2;31209:6;31205:15;31198:37;31119:123;:::o;31248:228::-;31388:34;31384:1;31376:6;31372:14;31365:58;31457:11;31452:2;31444:6;31440:15;31433:36;31354:122;:::o;31482:182::-;31622:34;31618:1;31610:6;31606:14;31599:58;31588:76;:::o;31670:231::-;31810:34;31806:1;31798:6;31794:14;31787:58;31879:14;31874:2;31866:6;31862:15;31855:39;31776:125;:::o;31907:228::-;32047:34;32043:1;32035:6;32031:14;32024:58;32116:11;32111:2;32103:6;32099:15;32092:36;32013:122;:::o;32141:234::-;32281:34;32277:1;32269:6;32265:14;32258:58;32350:17;32345:2;32337:6;32333:15;32326:42;32247:128;:::o;32381:220::-;32521:34;32517:1;32509:6;32505:14;32498:58;32590:3;32585:2;32577:6;32573:15;32566:28;32487:114;:::o;32607:236::-;32747:34;32743:1;32735:6;32731:14;32724:58;32816:19;32811:2;32803:6;32799:15;32792:44;32713:130;:::o;32849:122::-;32922:24;32940:5;32922:24;:::i;:::-;32915:5;32912:35;32902:2;;32961:1;32958;32951:12;32902:2;32892:79;:::o;32977:116::-;33047:21;33062:5;33047:21;:::i;:::-;33040:5;33037:32;33027:2;;33083:1;33080;33073:12;33027:2;33017:76;:::o;33099:120::-;33171:23;33188:5;33171:23;:::i;:::-;33164:5;33161:34;33151:2;;33209:1;33206;33199:12;33151:2;33141:78;:::o;33225:122::-;33298:24;33316:5;33298:24;:::i;:::-;33291:5;33288:35;33278:2;;33337:1;33334;33327:12;33278:2;33268:79;:::o

ipfs://0d80d86d1bd9a3922bb61b0db9fbaf9f6d0cb4bed7d011cf15a05da624f9be54