Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

   - function _msgSender()    - function _msgData()    - function owner()    - function _checkOwner()    - function renounceOwnership()    - function transferOwnership(address ne ...    - function _transferOwnership(address n ... interface IERC165    - function supportsInterface(bytes4 int ... interface IERC1155 is IERC165    - function balanceOf(address account, u ...    - function balanceOfBatch(address[] cal ...    - function setApprovalForAll(address op ...    - function isApprovedForAll(address acc ...    - function safeTransferFrom(    - function safeBatchTransferFrom( interface IERC1155MetadataURI is IERC ...    - function uri(uint256 id) interface IERC1155Receiver is IERC165    - function onERC1155Received(    - function onERC1155BatchReceived( library Address    - function isContract(address account)    - function sendValue(address payable re ...    - function functionCall(address target, ...    - function functionCall(    - function functionCallWithValue(    - function functionCallWithValue(    - function functionStaticCall(address t ...    - function functionStaticCall(    - function functionDelegateCall(address ...    - function functionDelegateCall(    - function verifyCallResultFromTarget(    - function verifyCallResult(    - function _revert(bytes memory returnd ...    - function supportsInterface(bytes4 int ...  contract ERC1155 is Context, ERC16 ...    - function supportsInterface(bytes4 int ...    - function uri(uint256)    - function balanceOf(address account, u ...    - function balanceOfBatch(address[] mem ...    - function setApprovalForAll(address op ...    - function isApprovedForAll(address acc ...    - function safeTransferFrom(    - function safeBatchTransferFrom(    - function _safeTransferFrom(    - function _safeBatchTransferFrom(    - function _setURI(string memory newuri ...    - function _mint(    - function _mintBatch(    - function _burn(    - function _burnBatch(    - function _setApprovalForAll(    - function _beforeTokenTransfer(    - function _afterTokenTransfer(    - function _doSafeTransferAcceptanceChe ...    - function _doSafeBatchTransferAcceptan ...    - function _asSingletonArray(uint256 el ... library Math    - function max(uint256 a, uint256 b)    - function min(uint256 a, uint256 b)    - function average(uint256 a, uint256 b ...    - function ceilDiv(uint256 a, uint256 b ...    - function mulDiv(    - function mulDiv(    - function sqrt(uint256 a)    - function sqrt(uint256 a, Rounding rou ...    - function log2(uint256 value)    - function log2(uint256 value, Rounding ...    - function log10(uint256 value)    - function log10(uint256 value, Roundin ...    - function log256(uint256 value)    - function log256(uint256 value, Roundi ... library Strings    - function toString(uint256 value)    - function toHexString(uint256 value)    - function toHexString(uint256 value, u ...    - function toHexString(address addr) interface IConataNFT    - function mint(bytes calldata data)    - function mint()    - function setURI(string memory newURI)    - function withdraw()    - function withdrawSpare()    - function getOpenedMintTermNames()    - function totalSupply() interface IDNA    - function addressMintedMap1(address)    - function addressMintedMap2(address)    - function addressMintedMap3(address)  contract MetaaniSBTDNA is IConataN ... *    - function mint(bytes calldata data)    - function mint()    - function getOpenedMintTermNames()    - function totalSupply()    - function uri(uint256 _tokenId)    - function getMintedDNAAmount(address a ...    - function getAvailableTokenIds(address ...    - function burn(uint256 id, uint256 amo ...    - function _isCorrectClaiming(address c ...    - function _minter(bytes memory data)    - function _beforeTokenTransfer(    - function setDNA(address _dna)    - function setIsOpenedMintTerm(string m ...    - function addMintTerm(string memory te ...    - function setURI(string memory newURI)    - function withdraw()    - function withdrawSpare()    - function forceMint(address to, uint t ...    - function forceClaimed(address[] memor ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-01-27
*/

// Sources flattened with hardhat v2.12.5 https://hardhat.org

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

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts v4.4.1 (utils/Context.sol)

pragma solidity ^0.8.0;

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

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


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


// OpenZeppelin Contracts (last updated v4.7.0) (access/Ownable.sol)

pragma solidity ^0.8.0;

/**
 * @dev Contract module which provides a basic access control mechanism, where
 * there is an account (an owner) that can be granted exclusive access to
 * specific functions.
 *
 * By default, the owner account will be the one that deploys the contract. This
 * can later be changed with {transferOwnership}.
 *
 * This module is used through inheritance. It will make available the modifier
 * `onlyOwner`, which can be applied to your functions to restrict their use to
 * the owner.
 */
abstract contract Ownable is Context {
    address private _owner;

    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);

    /**
     * @dev Initializes the contract setting the deployer as the initial owner.
     */
    constructor() {
        _transferOwnership(_msgSender());
    }

    /**
     * @dev Throws if called by any account other than the owner.
     */
    modifier onlyOwner() {
        _checkOwner();
        _;
    }

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

    /**
     * @dev Throws if the sender is not the owner.
     */
    function _checkOwner() internal view virtual {
        require(owner() == _msgSender(), "Ownable: caller is not the owner");
    }

    /**
     * @dev Leaves the contract without owner. It will not be possible to call
     * `onlyOwner` functions anymore. Can only be called by the current owner.
     *
     * NOTE: Renouncing ownership will leave the contract without an owner,
     * thereby removing any functionality that is only available to the owner.
     */
    function renounceOwnership() public virtual onlyOwner {
        _transferOwnership(address(0));
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     * Can only be called by the current owner.
     */
    function transferOwnership(address newOwner) public virtual onlyOwner {
        require(newOwner != address(0), "Ownable: new owner is the zero address");
        _transferOwnership(newOwner);
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     * Internal function without access restriction.
     */
    function _transferOwnership(address newOwner) internal virtual {
        address oldOwner = _owner;
        _owner = newOwner;
        emit OwnershipTransferred(oldOwner, newOwner);
    }
}


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


// OpenZeppelin Contracts v4.4.1 (utils/introspection/IERC165.sol)

pragma solidity ^0.8.0;

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


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


// OpenZeppelin Contracts (last updated v4.7.0) (token/ERC1155/IERC1155.sol)

pragma solidity ^0.8.0;

/**
 * @dev Required interface of an ERC1155 compliant contract, as defined in the
 * https://eips.ethereum.org/EIPS/eip-1155[EIP].
 *
 * _Available since v3.1._
 */
interface IERC1155 is IERC165 {
    /**
     * @dev Emitted when `value` tokens of token type `id` are transferred from `from` to `to` by `operator`.
     */
    event TransferSingle(address indexed operator, address indexed from, address indexed to, uint256 id, uint256 value);

    /**
     * @dev Equivalent to multiple {TransferSingle} events, where `operator`, `from` and `to` are the same for all
     * transfers.
     */
    event TransferBatch(
        address indexed operator,
        address indexed from,
        address indexed to,
        uint256[] ids,
        uint256[] values
    );

    /**
     * @dev Emitted when `account` grants or revokes permission to `operator` to transfer their tokens, according to
     * `approved`.
     */
    event ApprovalForAll(address indexed account, address indexed operator, bool approved);

    /**
     * @dev Emitted when the URI for token type `id` changes to `value`, if it is a non-programmatic URI.
     *
     * If an {URI} event was emitted for `id`, the standard
     * https://eips.ethereum.org/EIPS/eip-1155#metadata-extensions[guarantees] that `value` will equal the value
     * returned by {IERC1155MetadataURI-uri}.
     */
    event URI(string value, uint256 indexed id);

    /**
     * @dev Returns the amount of tokens of token type `id` owned by `account`.
     *
     * Requirements:
     *
     * - `account` cannot be the zero address.
     */
    function balanceOf(address account, uint256 id) external view returns (uint256);

    /**
     * @dev xref:ROOT:erc1155.adoc#batch-operations[Batched] version of {balanceOf}.
     *
     * Requirements:
     *
     * - `accounts` and `ids` must have the same length.
     */
    function balanceOfBatch(address[] calldata accounts, uint256[] calldata ids)
        external
        view
        returns (uint256[] memory);

    /**
     * @dev Grants or revokes permission to `operator` to transfer the caller's tokens, according to `approved`,
     *
     * Emits an {ApprovalForAll} event.
     *
     * Requirements:
     *
     * - `operator` cannot be the caller.
     */
    function setApprovalForAll(address operator, bool approved) external;

    /**
     * @dev Returns true if `operator` is approved to transfer ``account``'s tokens.
     *
     * See {setApprovalForAll}.
     */
    function isApprovedForAll(address account, address operator) external view returns (bool);

    /**
     * @dev Transfers `amount` tokens of token type `id` from `from` to `to`.
     *
     * Emits a {TransferSingle} event.
     *
     * Requirements:
     *
     * - `to` cannot be the zero address.
     * - If the caller is not `from`, it must have been approved to spend ``from``'s tokens via {setApprovalForAll}.
     * - `from` must have a balance of tokens of type `id` of at least `amount`.
     * - If `to` refers to a smart contract, it must implement {IERC1155Receiver-onERC1155Received} and return the
     * acceptance magic value.
     */
    function safeTransferFrom(
        address from,
        address to,
        uint256 id,
        uint256 amount,
        bytes calldata data
    ) external;

    /**
     * @dev xref:ROOT:erc1155.adoc#batch-operations[Batched] version of {safeTransferFrom}.
     *
     * Emits a {TransferBatch} event.
     *
     * Requirements:
     *
     * - `ids` and `amounts` must have the same length.
     * - If `to` refers to a smart contract, it must implement {IERC1155Receiver-onERC1155BatchReceived} and return the
     * acceptance magic value.
     */
    function safeBatchTransferFrom(
        address from,
        address to,
        uint256[] calldata ids,
        uint256[] calldata amounts,
        bytes calldata data
    ) external;
}


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


// OpenZeppelin Contracts v4.4.1 (token/ERC1155/extensions/IERC1155MetadataURI.sol)

pragma solidity ^0.8.0;

/**
 * @dev Interface of the optional ERC1155MetadataExtension interface, as defined
 * in the https://eips.ethereum.org/EIPS/eip-1155#metadata-extensions[EIP].
 *
 * _Available since v3.1._
 */
interface IERC1155MetadataURI is IERC1155 {
    /**
     * @dev Returns the URI for token type `id`.
     *
     * If the `\{id\}` substring is present in the URI, it must be replaced by
     * clients with the actual token type ID.
     */
    function uri(uint256 id) external view returns (string memory);
}


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


// OpenZeppelin Contracts (last updated v4.5.0) (token/ERC1155/IERC1155Receiver.sol)

pragma solidity ^0.8.0;

/**
 * @dev _Available since v3.1._
 */
interface IERC1155Receiver is IERC165 {
    /**
     * @dev Handles the receipt of a single ERC1155 token type. This function is
     * called at the end of a `safeTransferFrom` after the balance has been updated.
     *
     * NOTE: To accept the transfer, this must return
     * `bytes4(keccak256("onERC1155Received(address,address,uint256,uint256,bytes)"))`
     * (i.e. 0xf23a6e61, or its own function selector).
     *
     * @param operator The address which initiated the transfer (i.e. msg.sender)
     * @param from The address which previously owned the token
     * @param id The ID of the token being transferred
     * @param value The amount of tokens being transferred
     * @param data Additional data with no specified format
     * @return `bytes4(keccak256("onERC1155Received(address,address,uint256,uint256,bytes)"))` if transfer is allowed
     */
    function onERC1155Received(
        address operator,
        address from,
        uint256 id,
        uint256 value,
        bytes calldata data
    ) external returns (bytes4);

    /**
     * @dev Handles the receipt of a multiple ERC1155 token types. This function
     * is called at the end of a `safeBatchTransferFrom` after the balances have
     * been updated.
     *
     * NOTE: To accept the transfer(s), this must return
     * `bytes4(keccak256("onERC1155BatchReceived(address,address,uint256[],uint256[],bytes)"))`
     * (i.e. 0xbc197c81, or its own function selector).
     *
     * @param operator The address which initiated the batch transfer (i.e. msg.sender)
     * @param from The address which previously owned the token
     * @param ids An array containing ids of each token being transferred (order and length must match values array)
     * @param values An array containing amounts of each token being transferred (order and length must match ids array)
     * @param data Additional data with no specified format
     * @return `bytes4(keccak256("onERC1155BatchReceived(address,address,uint256[],uint256[],bytes)"))` if transfer is allowed
     */
    function onERC1155BatchReceived(
        address operator,
        address from,
        uint256[] calldata ids,
        uint256[] calldata values,
        bytes calldata data
    ) external returns (bytes4);
}


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


// OpenZeppelin Contracts (last updated v4.8.0) (utils/Address.sol)

pragma solidity ^0.8.1;

/**
 * @dev Collection of functions related to the address type
 */
library Address {
    /**
     * @dev Returns true if `account` is a contract.
     *
     * [IMPORTANT]
     * ====
     * It is unsafe to assume that an address for which this function returns
     * false is an externally-owned account (EOA) and not a contract.
     *
     * Among others, `isContract` will return false for the following
     * types of addresses:
     *
     *  - an externally-owned account
     *  - a contract in construction
     *  - an address where a contract will be created
     *  - an address where a contract lived, but was destroyed
     * ====
     *
     * [IMPORTANT]
     * ====
     * You shouldn't rely on `isContract` to protect against flash loan attacks!
     *
     * Preventing calls from contracts is highly discouraged. It breaks composability, breaks support for smart wallets
     * like Gnosis Safe, and does not provide security since it can be circumvented by calling from a contract
     * constructor.
     * ====
     */
    function isContract(address account) internal view returns (bool) {
        // This method relies on extcodesize/address.code.length, which returns 0
        // for contracts in construction, since the code is only stored at the end
        // of the constructor execution.

        return account.code.length > 0;
    }

    /**
     * @dev Replacement for Solidity's `transfer`: sends `amount` wei to
     * `recipient`, forwarding all available gas and reverting on errors.
     *
     * https://eips.ethereum.org/EIPS/eip-1884[EIP1884] increases the gas cost
     * of certain opcodes, possibly making contracts go over the 2300 gas limit
     * imposed by `transfer`, making them unable to receive funds via
     * `transfer`. {sendValue} removes this limitation.
     *
     * https://diligence.consensys.net/posts/2019/09/stop-using-soliditys-transfer-now/[Learn more].
     *
     * IMPORTANT: because control is transferred to `recipient`, care must be
     * taken to not create reentrancy vulnerabilities. Consider using
     * {ReentrancyGuard} or the
     * https://solidity.readthedocs.io/en/v0.5.11/security-considerations.html#use-the-checks-effects-interactions-pattern[checks-effects-interactions pattern].
     */
    function sendValue(address payable recipient, uint256 amount) internal {
        require(address(this).balance >= amount, "Address: insufficient balance");

        (bool success, ) = recipient.call{value: amount}("");
        require(success, "Address: unable to send value, recipient may have reverted");
    }

    /**
     * @dev Performs a Solidity function call using a low level `call`. A
     * plain `call` is an unsafe replacement for a function call: use this
     * function instead.
     *
     * If `target` reverts with a revert reason, it is bubbled up by this
     * function (like regular Solidity function calls).
     *
     * Returns the raw returned data. To convert to the expected return value,
     * use https://solidity.readthedocs.io/en/latest/units-and-global-variables.html?highlight=abi.decode#abi-encoding-and-decoding-functions[`abi.decode`].
     *
     * Requirements:
     *
     * - `target` must be a contract.
     * - calling `target` with `data` must not revert.
     *
     * _Available since v3.1._
     */
    function functionCall(address target, bytes memory data) internal returns (bytes memory) {
        return functionCallWithValue(target, data, 0, "Address: low-level call failed");
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`], but with
     * `errorMessage` as a fallback revert reason when `target` reverts.
     *
     * _Available since v3.1._
     */
    function functionCall(
        address target,
        bytes memory data,
        string memory errorMessage
    ) internal returns (bytes memory) {
        return functionCallWithValue(target, data, 0, errorMessage);
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
     * but also transferring `value` wei to `target`.
     *
     * Requirements:
     *
     * - the calling contract must have an ETH balance of at least `value`.
     * - the called Solidity function must be `payable`.
     *
     * _Available since v3.1._
     */
    function functionCallWithValue(
        address target,
        bytes memory data,
        uint256 value
    ) internal returns (bytes memory) {
        return functionCallWithValue(target, data, value, "Address: low-level call with value failed");
    }

    /**
     * @dev Same as {xref-Address-functionCallWithValue-address-bytes-uint256-}[`functionCallWithValue`], but
     * with `errorMessage` as a fallback revert reason when `target` reverts.
     *
     * _Available since v3.1._
     */
    function functionCallWithValue(
        address target,
        bytes memory data,
        uint256 value,
        string memory errorMessage
    ) internal returns (bytes memory) {
        require(address(this).balance >= value, "Address: insufficient balance for call");
        (bool success, bytes memory returndata) = target.call{value: value}(data);
        return verifyCallResultFromTarget(target, success, returndata, errorMessage);
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
     * but performing a static call.
     *
     * _Available since v3.3._
     */
    function functionStaticCall(address target, bytes memory data) internal view returns (bytes memory) {
        return functionStaticCall(target, data, "Address: low-level static call failed");
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-string-}[`functionCall`],
     * but performing a static call.
     *
     * _Available since v3.3._
     */
    function functionStaticCall(
        address target,
        bytes memory data,
        string memory errorMessage
    ) internal view returns (bytes memory) {
        (bool success, bytes memory returndata) = target.staticcall(data);
        return verifyCallResultFromTarget(target, success, returndata, errorMessage);
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
     * but performing a delegate call.
     *
     * _Available since v3.4._
     */
    function functionDelegateCall(address target, bytes memory data) internal returns (bytes memory) {
        return functionDelegateCall(target, data, "Address: low-level delegate call failed");
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-string-}[`functionCall`],
     * but performing a delegate call.
     *
     * _Available since v3.4._
     */
    function functionDelegateCall(
        address target,
        bytes memory data,
        string memory errorMessage
    ) internal returns (bytes memory) {
        (bool success, bytes memory returndata) = target.delegatecall(data);
        return verifyCallResultFromTarget(target, success, returndata, errorMessage);
    }

    /**
     * @dev Tool to verify that a low level call to smart-contract was successful, and revert (either by bubbling
     * the revert reason or using the provided one) in case of unsuccessful call or if target was not a contract.
     *
     * _Available since v4.8._
     */
    function verifyCallResultFromTarget(
        address target,
        bool success,
        bytes memory returndata,
        string memory errorMessage
    ) internal view returns (bytes memory) {
        if (success) {
            if (returndata.length == 0) {
                // only check isContract if the call was successful and the return data is empty
                // otherwise we already know that it was a contract
                require(isContract(target), "Address: call to non-contract");
            }
            return returndata;
        } else {
            _revert(returndata, errorMessage);
        }
    }

    /**
     * @dev Tool to verify that a low level call was successful, and revert if it wasn't, either by bubbling the
     * revert reason or using the provided one.
     *
     * _Available since v4.3._
     */
    function verifyCallResult(
        bool success,
        bytes memory returndata,
        string memory errorMessage
    ) internal pure returns (bytes memory) {
        if (success) {
            return returndata;
        } else {
            _revert(returndata, errorMessage);
        }
    }

    function _revert(bytes memory returndata, string memory errorMessage) private pure {
        // Look for revert reason and bubble it up if present
        if (returndata.length > 0) {
            // The easiest way to bubble the revert reason is using memory via assembly
            /// @solidity memory-safe-assembly
            assembly {
                let returndata_size := mload(returndata)
                revert(add(32, returndata), returndata_size)
            }
        } else {
            revert(errorMessage);
        }
    }
}


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


// OpenZeppelin Contracts v4.4.1 (utils/introspection/ERC165.sol)

pragma solidity ^0.8.0;

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


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


// OpenZeppelin Contracts (last updated v4.8.0) (token/ERC1155/ERC1155.sol)

pragma solidity ^0.8.0;






/**
 * @dev Implementation of the basic standard multi-token.
 * See https://eips.ethereum.org/EIPS/eip-1155
 * Originally based on code by Enjin: https://github.com/enjin/erc-1155
 *
 * _Available since v3.1._
 */
contract ERC1155 is Context, ERC165, IERC1155, IERC1155MetadataURI {
    using Address for address;

    // Mapping from token ID to account balances
    mapping(uint256 => mapping(address => uint256)) private _balances;

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

    // Used as the URI for all token types by relying on ID substitution, e.g. https://token-cdn-domain/{id}.json
    string private _uri;

    /**
     * @dev See {_setURI}.
     */
    constructor(string memory uri_) {
        _setURI(uri_);
    }

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

    /**
     * @dev See {IERC1155MetadataURI-uri}.
     *
     * This implementation returns the same URI for *all* token types. It relies
     * on the token type ID substitution mechanism
     * https://eips.ethereum.org/EIPS/eip-1155#metadata[defined in the EIP].
     *
     * Clients calling this function must replace the `\{id\}` substring with the
     * actual token type ID.
     */
    function uri(uint256) public view virtual override returns (string memory) {
        return _uri;
    }

    /**
     * @dev See {IERC1155-balanceOf}.
     *
     * Requirements:
     *
     * - `account` cannot be the zero address.
     */
    function balanceOf(address account, uint256 id) public view virtual override returns (uint256) {
        require(account != address(0), "ERC1155: address zero is not a valid owner");
        return _balances[id][account];
    }

    /**
     * @dev See {IERC1155-balanceOfBatch}.
     *
     * Requirements:
     *
     * - `accounts` and `ids` must have the same length.
     */
    function balanceOfBatch(address[] memory accounts, uint256[] memory ids)
        public
        view
        virtual
        override
        returns (uint256[] memory)
    {
        require(accounts.length == ids.length, "ERC1155: accounts and ids length mismatch");

        uint256[] memory batchBalances = new uint256[](accounts.length);

        for (uint256 i = 0; i < accounts.length; ++i) {
            batchBalances[i] = balanceOf(accounts[i], ids[i]);
        }

        return batchBalances;
    }

    /**
     * @dev See {IERC1155-setApprovalForAll}.
     */
    function setApprovalForAll(address operator, bool approved) public virtual override {
        _setApprovalForAll(_msgSender(), operator, approved);
    }

    /**
     * @dev See {IERC1155-isApprovedForAll}.
     */
    function isApprovedForAll(address account, address operator) public view virtual override returns (bool) {
        return _operatorApprovals[account][operator];
    }

    /**
     * @dev See {IERC1155-safeTransferFrom}.
     */
    function safeTransferFrom(
        address from,
        address to,
        uint256 id,
        uint256 amount,
        bytes memory data
    ) public virtual override {
        require(
            from == _msgSender() || isApprovedForAll(from, _msgSender()),
            "ERC1155: caller is not token owner or approved"
        );
        _safeTransferFrom(from, to, id, amount, data);
    }

    /**
     * @dev See {IERC1155-safeBatchTransferFrom}.
     */
    function safeBatchTransferFrom(
        address from,
        address to,
        uint256[] memory ids,
        uint256[] memory amounts,
        bytes memory data
    ) public virtual override {
        require(
            from == _msgSender() || isApprovedForAll(from, _msgSender()),
            "ERC1155: caller is not token owner or approved"
        );
        _safeBatchTransferFrom(from, to, ids, amounts, data);
    }

    /**
     * @dev Transfers `amount` tokens of token type `id` from `from` to `to`.
     *
     * Emits a {TransferSingle} event.
     *
     * Requirements:
     *
     * - `to` cannot be the zero address.
     * - `from` must have a balance of tokens of type `id` of at least `amount`.
     * - If `to` refers to a smart contract, it must implement {IERC1155Receiver-onERC1155Received} and return the
     * acceptance magic value.
     */
    function _safeTransferFrom(
        address from,
        address to,
        uint256 id,
        uint256 amount,
        bytes memory data
    ) internal virtual {
        require(to != address(0), "ERC1155: transfer to the zero address");

        address operator = _msgSender();
        uint256[] memory ids = _asSingletonArray(id);
        uint256[] memory amounts = _asSingletonArray(amount);

        _beforeTokenTransfer(operator, from, to, ids, amounts, data);

        uint256 fromBalance = _balances[id][from];
        require(fromBalance >= amount, "ERC1155: insufficient balance for transfer");
        unchecked {
            _balances[id][from] = fromBalance - amount;
        }
        _balances[id][to] += amount;

        emit TransferSingle(operator, from, to, id, amount);

        _afterTokenTransfer(operator, from, to, ids, amounts, data);

        _doSafeTransferAcceptanceCheck(operator, from, to, id, amount, data);
    }

    /**
     * @dev xref:ROOT:erc1155.adoc#batch-operations[Batched] version of {_safeTransferFrom}.
     *
     * Emits a {TransferBatch} event.
     *
     * Requirements:
     *
     * - If `to` refers to a smart contract, it must implement {IERC1155Receiver-onERC1155BatchReceived} and return the
     * acceptance magic value.
     */
    function _safeBatchTransferFrom(
        address from,
        address to,
        uint256[] memory ids,
        uint256[] memory amounts,
        bytes memory data
    ) internal virtual {
        require(ids.length == amounts.length, "ERC1155: ids and amounts length mismatch");
        require(to != address(0), "ERC1155: transfer to the zero address");

        address operator = _msgSender();

        _beforeTokenTransfer(operator, from, to, ids, amounts, data);

        for (uint256 i = 0; i < ids.length; ++i) {
            uint256 id = ids[i];
            uint256 amount = amounts[i];

            uint256 fromBalance = _balances[id][from];
            require(fromBalance >= amount, "ERC1155: insufficient balance for transfer");
            unchecked {
                _balances[id][from] = fromBalance - amount;
            }
            _balances[id][to] += amount;
        }

        emit TransferBatch(operator, from, to, ids, amounts);

        _afterTokenTransfer(operator, from, to, ids, amounts, data);

        _doSafeBatchTransferAcceptanceCheck(operator, from, to, ids, amounts, data);
    }

    /**
     * @dev Sets a new URI for all token types, by relying on the token type ID
     * substitution mechanism
     * https://eips.ethereum.org/EIPS/eip-1155#metadata[defined in the EIP].
     *
     * By this mechanism, any occurrence of the `\{id\}` substring in either the
     * URI or any of the amounts in the JSON file at said URI will be replaced by
     * clients with the token type ID.
     *
     * For example, the `https://token-cdn-domain/\{id\}.json` URI would be
     * interpreted by clients as
     * `https://token-cdn-domain/000000000000000000000000000000000000000000000000000000000004cce0.json`
     * for token type ID 0x4cce0.
     *
     * See {uri}.
     *
     * Because these URIs cannot be meaningfully represented by the {URI} event,
     * this function emits no events.
     */
    function _setURI(string memory newuri) internal virtual {
        _uri = newuri;
    }

    /**
     * @dev Creates `amount` tokens of token type `id`, and assigns them to `to`.
     *
     * Emits a {TransferSingle} event.
     *
     * Requirements:
     *
     * - `to` cannot be the zero address.
     * - If `to` refers to a smart contract, it must implement {IERC1155Receiver-onERC1155Received} and return the
     * acceptance magic value.
     */
    function _mint(
        address to,
        uint256 id,
        uint256 amount,
        bytes memory data
    ) internal virtual {
        require(to != address(0), "ERC1155: mint to the zero address");

        address operator = _msgSender();
        uint256[] memory ids = _asSingletonArray(id);
        uint256[] memory amounts = _asSingletonArray(amount);

        _beforeTokenTransfer(operator, address(0), to, ids, amounts, data);

        _balances[id][to] += amount;
        emit TransferSingle(operator, address(0), to, id, amount);

        _afterTokenTransfer(operator, address(0), to, ids, amounts, data);

        _doSafeTransferAcceptanceCheck(operator, address(0), to, id, amount, data);
    }

    /**
     * @dev xref:ROOT:erc1155.adoc#batch-operations[Batched] version of {_mint}.
     *
     * Emits a {TransferBatch} event.
     *
     * Requirements:
     *
     * - `ids` and `amounts` must have the same length.
     * - If `to` refers to a smart contract, it must implement {IERC1155Receiver-onERC1155BatchReceived} and return the
     * acceptance magic value.
     */
    function _mintBatch(
        address to,
        uint256[] memory ids,
        uint256[] memory amounts,
        bytes memory data
    ) internal virtual {
        require(to != address(0), "ERC1155: mint to the zero address");
        require(ids.length == amounts.length, "ERC1155: ids and amounts length mismatch");

        address operator = _msgSender();

        _beforeTokenTransfer(operator, address(0), to, ids, amounts, data);

        for (uint256 i = 0; i < ids.length; i++) {
            _balances[ids[i]][to] += amounts[i];
        }

        emit TransferBatch(operator, address(0), to, ids, amounts);

        _afterTokenTransfer(operator, address(0), to, ids, amounts, data);

        _doSafeBatchTransferAcceptanceCheck(operator, address(0), to, ids, amounts, data);
    }

    /**
     * @dev Destroys `amount` tokens of token type `id` from `from`
     *
     * Emits a {TransferSingle} event.
     *
     * Requirements:
     *
     * - `from` cannot be the zero address.
     * - `from` must have at least `amount` tokens of token type `id`.
     */
    function _burn(
        address from,
        uint256 id,
        uint256 amount
    ) internal virtual {
        require(from != address(0), "ERC1155: burn from the zero address");

        address operator = _msgSender();
        uint256[] memory ids = _asSingletonArray(id);
        uint256[] memory amounts = _asSingletonArray(amount);

        _beforeTokenTransfer(operator, from, address(0), ids, amounts, "");

        uint256 fromBalance = _balances[id][from];
        require(fromBalance >= amount, "ERC1155: burn amount exceeds balance");
        unchecked {
            _balances[id][from] = fromBalance - amount;
        }

        emit TransferSingle(operator, from, address(0), id, amount);

        _afterTokenTransfer(operator, from, address(0), ids, amounts, "");
    }

    /**
     * @dev xref:ROOT:erc1155.adoc#batch-operations[Batched] version of {_burn}.
     *
     * Emits a {TransferBatch} event.
     *
     * Requirements:
     *
     * - `ids` and `amounts` must have the same length.
     */
    function _burnBatch(
        address from,
        uint256[] memory ids,
        uint256[] memory amounts
    ) internal virtual {
        require(from != address(0), "ERC1155: burn from the zero address");
        require(ids.length == amounts.length, "ERC1155: ids and amounts length mismatch");

        address operator = _msgSender();

        _beforeTokenTransfer(operator, from, address(0), ids, amounts, "");

        for (uint256 i = 0; i < ids.length; i++) {
            uint256 id = ids[i];
            uint256 amount = amounts[i];

            uint256 fromBalance = _balances[id][from];
            require(fromBalance >= amount, "ERC1155: burn amount exceeds balance");
            unchecked {
                _balances[id][from] = fromBalance - amount;
            }
        }

        emit TransferBatch(operator, from, address(0), ids, amounts);

        _afterTokenTransfer(operator, from, address(0), ids, amounts, "");
    }

    /**
     * @dev Approve `operator` to operate on all of `owner` tokens
     *
     * Emits an {ApprovalForAll} event.
     */
    function _setApprovalForAll(
        address owner,
        address operator,
        bool approved
    ) internal virtual {
        require(owner != operator, "ERC1155: setting approval status for self");
        _operatorApprovals[owner][operator] = approved;
        emit ApprovalForAll(owner, operator, approved);
    }

    /**
     * @dev Hook that is called before any token transfer. This includes minting
     * and burning, as well as batched variants.
     *
     * The same hook is called on both single and batched variants. For single
     * transfers, the length of the `ids` and `amounts` arrays will be 1.
     *
     * Calling conditions (for each `id` and `amount` pair):
     *
     * - When `from` and `to` are both non-zero, `amount` of ``from``'s tokens
     * of token type `id` will be  transferred to `to`.
     * - When `from` is zero, `amount` tokens of token type `id` will be minted
     * for `to`.
     * - when `to` is zero, `amount` of ``from``'s tokens of token type `id`
     * will be burned.
     * - `from` and `to` are never both zero.
     * - `ids` and `amounts` have the same, non-zero length.
     *
     * To learn more about hooks, head to xref:ROOT:extending-contracts.adoc#using-hooks[Using Hooks].
     */
    function _beforeTokenTransfer(
        address operator,
        address from,
        address to,
        uint256[] memory ids,
        uint256[] memory amounts,
        bytes memory data
    ) internal virtual {}

    /**
     * @dev Hook that is called after any token transfer. This includes minting
     * and burning, as well as batched variants.
     *
     * The same hook is called on both single and batched variants. For single
     * transfers, the length of the `id` and `amount` arrays will be 1.
     *
     * Calling conditions (for each `id` and `amount` pair):
     *
     * - When `from` and `to` are both non-zero, `amount` of ``from``'s tokens
     * of token type `id` will be  transferred to `to`.
     * - When `from` is zero, `amount` tokens of token type `id` will be minted
     * for `to`.
     * - when `to` is zero, `amount` of ``from``'s tokens of token type `id`
     * will be burned.
     * - `from` and `to` are never both zero.
     * - `ids` and `amounts` have the same, non-zero length.
     *
     * To learn more about hooks, head to xref:ROOT:extending-contracts.adoc#using-hooks[Using Hooks].
     */
    function _afterTokenTransfer(
        address operator,
        address from,
        address to,
        uint256[] memory ids,
        uint256[] memory amounts,
        bytes memory data
    ) internal virtual {}

    function _doSafeTransferAcceptanceCheck(
        address operator,
        address from,
        address to,
        uint256 id,
        uint256 amount,
        bytes memory data
    ) private {
        if (to.isContract()) {
            try IERC1155Receiver(to).onERC1155Received(operator, from, id, amount, data) returns (bytes4 response) {
                if (response != IERC1155Receiver.onERC1155Received.selector) {
                    revert("ERC1155: ERC1155Receiver rejected tokens");
                }
            } catch Error(string memory reason) {
                revert(reason);
            } catch {
                revert("ERC1155: transfer to non-ERC1155Receiver implementer");
            }
        }
    }

    function _doSafeBatchTransferAcceptanceCheck(
        address operator,
        address from,
        address to,
        uint256[] memory ids,
        uint256[] memory amounts,
        bytes memory data
    ) private {
        if (to.isContract()) {
            try IERC1155Receiver(to).onERC1155BatchReceived(operator, from, ids, amounts, data) returns (
                bytes4 response
            ) {
                if (response != IERC1155Receiver.onERC1155BatchReceived.selector) {
                    revert("ERC1155: ERC1155Receiver rejected tokens");
                }
            } catch Error(string memory reason) {
                revert(reason);
            } catch {
                revert("ERC1155: transfer to non-ERC1155Receiver implementer");
            }
        }
    }

    function _asSingletonArray(uint256 element) private pure returns (uint256[] memory) {
        uint256[] memory array = new uint256[](1);
        array[0] = element;

        return array;
    }
}


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


// OpenZeppelin Contracts (last updated v4.8.0) (utils/math/Math.sol)

pragma solidity ^0.8.0;

/**
 * @dev Standard math utilities missing in the Solidity language.
 */
library Math {
    enum Rounding {
        Down, // Toward negative infinity
        Up, // Toward infinity
        Zero // Toward zero
    }

    /**
     * @dev Returns the largest of two numbers.
     */
    function max(uint256 a, uint256 b) internal pure returns (uint256) {
        return a > b ? a : b;
    }

    /**
     * @dev Returns the smallest of two numbers.
     */
    function min(uint256 a, uint256 b) internal pure returns (uint256) {
        return a < b ? a : b;
    }

    /**
     * @dev Returns the average of two numbers. The result is rounded towards
     * zero.
     */
    function average(uint256 a, uint256 b) internal pure returns (uint256) {
        // (a + b) / 2 can overflow.
        return (a & b) + (a ^ b) / 2;
    }

    /**
     * @dev Returns the ceiling of the division of two numbers.
     *
     * This differs from standard division with `/` in that it rounds up instead
     * of rounding down.
     */
    function ceilDiv(uint256 a, uint256 b) internal pure returns (uint256) {
        // (a + b - 1) / b can overflow on addition, so we distribute.
        return a == 0 ? 0 : (a - 1) / b + 1;
    }

    /**
     * @notice Calculates floor(x * y / denominator) with full precision. Throws if result overflows a uint256 or denominator == 0
     * @dev Original credit to Remco Bloemen under MIT license (https://xn--2-umb.com/21/muldiv)
     * with further edits by Uniswap Labs also under MIT license.
     */
    function mulDiv(
        uint256 x,
        uint256 y,
        uint256 denominator
    ) internal pure returns (uint256 result) {
        unchecked {
            // 512-bit multiply [prod1 prod0] = x * y. Compute the product mod 2^256 and mod 2^256 - 1, then use
            // use the Chinese Remainder Theorem to reconstruct the 512 bit result. The result is stored in two 256
            // variables such that product = prod1 * 2^256 + prod0.
            uint256 prod0; // Least significant 256 bits of the product
            uint256 prod1; // Most significant 256 bits of the product
            assembly {
                let mm := mulmod(x, y, not(0))
                prod0 := mul(x, y)
                prod1 := sub(sub(mm, prod0), lt(mm, prod0))
            }

            // Handle non-overflow cases, 256 by 256 division.
            if (prod1 == 0) {
                return prod0 / denominator;
            }

            // Make sure the result is less than 2^256. Also prevents denominator == 0.
            require(denominator > prod1);

            ///////////////////////////////////////////////
            // 512 by 256 division.
            ///////////////////////////////////////////////

            // Make division exact by subtracting the remainder from [prod1 prod0].
            uint256 remainder;
            assembly {
                // Compute remainder using mulmod.
                remainder := mulmod(x, y, denominator)

                // Subtract 256 bit number from 512 bit number.
                prod1 := sub(prod1, gt(remainder, prod0))
                prod0 := sub(prod0, remainder)
            }

            // Factor powers of two out of denominator and compute largest power of two divisor of denominator. Always >= 1.
            // See https://cs.stackexchange.com/q/138556/92363.

            // Does not overflow because the denominator cannot be zero at this stage in the function.
            uint256 twos = denominator & (~denominator + 1);
            assembly {
                // Divide denominator by twos.
                denominator := div(denominator, twos)

                // Divide [prod1 prod0] by twos.
                prod0 := div(prod0, twos)

                // Flip twos such that it is 2^256 / twos. If twos is zero, then it becomes one.
                twos := add(div(sub(0, twos), twos), 1)
            }

            // Shift in bits from prod1 into prod0.
            prod0 |= prod1 * twos;

            // Invert denominator mod 2^256. Now that denominator is an odd number, it has an inverse modulo 2^256 such
            // that denominator * inv = 1 mod 2^256. Compute the inverse by starting with a seed that is correct for
            // four bits. That is, denominator * inv = 1 mod 2^4.
            uint256 inverse = (3 * denominator) ^ 2;

            // Use the Newton-Raphson iteration to improve the precision. Thanks to Hensel's lifting lemma, this also works
            // in modular arithmetic, doubling the correct bits in each step.
            inverse *= 2 - denominator * inverse; // inverse mod 2^8
            inverse *= 2 - denominator * inverse; // inverse mod 2^16
            inverse *= 2 - denominator * inverse; // inverse mod 2^32
            inverse *= 2 - denominator * inverse; // inverse mod 2^64
            inverse *= 2 - denominator * inverse; // inverse mod 2^128
            inverse *= 2 - denominator * inverse; // inverse mod 2^256

            // Because the division is now exact we can divide by multiplying with the modular inverse of denominator.
            // This will give us the correct result modulo 2^256. Since the preconditions guarantee that the outcome is
            // less than 2^256, this is the final result. We don't need to compute the high bits of the result and prod1
            // is no longer required.
            result = prod0 * inverse;
            return result;
        }
    }

    /**
     * @notice Calculates x * y / denominator with full precision, following the selected rounding direction.
     */
    function mulDiv(
        uint256 x,
        uint256 y,
        uint256 denominator,
        Rounding rounding
    ) internal pure returns (uint256) {
        uint256 result = mulDiv(x, y, denominator);
        if (rounding == Rounding.Up && mulmod(x, y, denominator) > 0) {
            result += 1;
        }
        return result;
    }

    /**
     * @dev Returns the square root of a number. If the number is not a perfect square, the value is rounded down.
     *
     * Inspired by Henry S. Warren, Jr.'s "Hacker's Delight" (Chapter 11).
     */
    function sqrt(uint256 a) internal pure returns (uint256) {
        if (a == 0) {
            return 0;
        }

        // For our first guess, we get the biggest power of 2 which is smaller than the square root of the target.
        //
        // We know that the "msb" (most significant bit) of our target number `a` is a power of 2 such that we have
        // `msb(a) <= a < 2*msb(a)`. This value can be written `msb(a)=2**k` with `k=log2(a)`.
        //
        // This can be rewritten `2**log2(a) <= a < 2**(log2(a) + 1)`
        // → `sqrt(2**k) <= sqrt(a) < sqrt(2**(k+1))`
        // → `2**(k/2) <= sqrt(a) < 2**((k+1)/2) <= 2**(k/2 + 1)`
        //
        // Consequently, `2**(log2(a) / 2)` is a good first approximation of `sqrt(a)` with at least 1 correct bit.
        uint256 result = 1 << (log2(a) >> 1);

        // At this point `result` is an estimation with one bit of precision. We know the true value is a uint128,
        // since it is the square root of a uint256. Newton's method converges quadratically (precision doubles at
        // every iteration). We thus need at most 7 iteration to turn our partial result with one bit of precision
        // into the expected uint128 result.
        unchecked {
            result = (result + a / result) >> 1;
            result = (result + a / result) >> 1;
            result = (result + a / result) >> 1;
            result = (result + a / result) >> 1;
            result = (result + a / result) >> 1;
            result = (result + a / result) >> 1;
            result = (result + a / result) >> 1;
            return min(result, a / result);
        }
    }

    /**
     * @notice Calculates sqrt(a), following the selected rounding direction.
     */
    function sqrt(uint256 a, Rounding rounding) internal pure returns (uint256) {
        unchecked {
            uint256 result = sqrt(a);
            return result + (rounding == Rounding.Up && result * result < a ? 1 : 0);
        }
    }

    /**
     * @dev Return the log in base 2, rounded down, of a positive value.
     * Returns 0 if given 0.
     */
    function log2(uint256 value) internal pure returns (uint256) {
        uint256 result = 0;
        unchecked {
            if (value >> 128 > 0) {
                value >>= 128;
                result += 128;
            }
            if (value >> 64 > 0) {
                value >>= 64;
                result += 64;
            }
            if (value >> 32 > 0) {
                value >>= 32;
                result += 32;
            }
            if (value >> 16 > 0) {
                value >>= 16;
                result += 16;
            }
            if (value >> 8 > 0) {
                value >>= 8;
                result += 8;
            }
            if (value >> 4 > 0) {
                value >>= 4;
                result += 4;
            }
            if (value >> 2 > 0) {
                value >>= 2;
                result += 2;
            }
            if (value >> 1 > 0) {
                result += 1;
            }
        }
        return result;
    }

    /**
     * @dev Return the log in base 2, following the selected rounding direction, of a positive value.
     * Returns 0 if given 0.
     */
    function log2(uint256 value, Rounding rounding) internal pure returns (uint256) {
        unchecked {
            uint256 result = log2(value);
            return result + (rounding == Rounding.Up && 1 << result < value ? 1 : 0);
        }
    }

    /**
     * @dev Return the log in base 10, rounded down, of a positive value.
     * Returns 0 if given 0.
     */
    function log10(uint256 value) internal pure returns (uint256) {
        uint256 result = 0;
        unchecked {
            if (value >= 10**64) {
                value /= 10**64;
                result += 64;
            }
            if (value >= 10**32) {
                value /= 10**32;
                result += 32;
            }
            if (value >= 10**16) {
                value /= 10**16;
                result += 16;
            }
            if (value >= 10**8) {
                value /= 10**8;
                result += 8;
            }
            if (value >= 10**4) {
                value /= 10**4;
                result += 4;
            }
            if (value >= 10**2) {
                value /= 10**2;
                result += 2;
            }
            if (value >= 10**1) {
                result += 1;
            }
        }
        return result;
    }

    /**
     * @dev Return the log in base 10, following the selected rounding direction, of a positive value.
     * Returns 0 if given 0.
     */
    function log10(uint256 value, Rounding rounding) internal pure returns (uint256) {
        unchecked {
            uint256 result = log10(value);
            return result + (rounding == Rounding.Up && 10**result < value ? 1 : 0);
        }
    }

    /**
     * @dev Return the log in base 256, rounded down, of a positive value.
     * Returns 0 if given 0.
     *
     * Adding one to the result gives the number of pairs of hex symbols needed to represent `value` as a hex string.
     */
    function log256(uint256 value) internal pure returns (uint256) {
        uint256 result = 0;
        unchecked {
            if (value >> 128 > 0) {
                value >>= 128;
                result += 16;
            }
            if (value >> 64 > 0) {
                value >>= 64;
                result += 8;
            }
            if (value >> 32 > 0) {
                value >>= 32;
                result += 4;
            }
            if (value >> 16 > 0) {
                value >>= 16;
                result += 2;
            }
            if (value >> 8 > 0) {
                result += 1;
            }
        }
        return result;
    }

    /**
     * @dev Return the log in base 10, following the selected rounding direction, of a positive value.
     * Returns 0 if given 0.
     */
    function log256(uint256 value, Rounding rounding) internal pure returns (uint256) {
        unchecked {
            uint256 result = log256(value);
            return result + (rounding == Rounding.Up && 1 << (result * 8) < value ? 1 : 0);
        }
    }
}


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


// OpenZeppelin Contracts (last updated v4.8.0) (utils/Strings.sol)

pragma solidity ^0.8.0;

/**
 * @dev String operations.
 */
library Strings {
    bytes16 private constant _SYMBOLS = "0123456789abcdef";
    uint8 private constant _ADDRESS_LENGTH = 20;

    /**
     * @dev Converts a `uint256` to its ASCII `string` decimal representation.
     */
    function toString(uint256 value) internal pure returns (string memory) {
        unchecked {
            uint256 length = Math.log10(value) + 1;
            string memory buffer = new string(length);
            uint256 ptr;
            /// @solidity memory-safe-assembly
            assembly {
                ptr := add(buffer, add(32, length))
            }
            while (true) {
                ptr--;
                /// @solidity memory-safe-assembly
                assembly {
                    mstore8(ptr, byte(mod(value, 10), _SYMBOLS))
                }
                value /= 10;
                if (value == 0) break;
            }
            return buffer;
        }
    }

    /**
     * @dev Converts a `uint256` to its ASCII `string` hexadecimal representation.
     */
    function toHexString(uint256 value) internal pure returns (string memory) {
        unchecked {
            return toHexString(value, Math.log256(value) + 1);
        }
    }

    /**
     * @dev Converts a `uint256` to its ASCII `string` hexadecimal representation with fixed length.
     */
    function toHexString(uint256 value, uint256 length) internal pure returns (string memory) {
        bytes memory buffer = new bytes(2 * length + 2);
        buffer[0] = "0";
        buffer[1] = "x";
        for (uint256 i = 2 * length + 1; i > 1; --i) {
            buffer[i] = _SYMBOLS[value & 0xf];
            value >>= 4;
        }
        require(value == 0, "Strings: hex length insufficient");
        return string(buffer);
    }

    /**
     * @dev Converts an `address` with fixed length of 20 bytes to its not checksummed ASCII `string` hexadecimal representation.
     */
    function toHexString(address addr) internal pure returns (string memory) {
        return toHexString(uint256(uint160(addr)), _ADDRESS_LENGTH);
    }
}


// File contracts/interface/IConataNFT.sol


pragma solidity ^0.8.17;














//
interface IConataNFT{
    event Log(string message);
    event Minted(address account, uint tokenId);
    event ChangedMintTerm(string termName);

    // WRITE ////////////////////////////////////////////////////////////////////////////

    
    function mint(bytes calldata data) external payable;
    function mint() external payable;

    
    function setURI(string memory newURI) external;
    
    
    function withdraw() external;
    function withdrawSpare() external;
    
    // READ ////////////////////////////////////////////////////////////////////////////

    
    function getOpenedMintTermNames() view external returns(string[] memory);

    
    function totalSupply() external view returns (uint256);

}


// File contracts/interface/IDNA.sol


pragma solidity ^0.8.17;


interface IDNA {
    function addressMintedMap1(address) external view returns(uint);
    function addressMintedMap2(address) external view returns(uint);
    function addressMintedMap3(address) external view returns(uint);
}


// File contracts/struct/MintInfo.sol


pragma solidity ^0.8.17;

//
struct MintInfo {
    bool isOpened;
    bool isRestricted;
    bool exists;
}


// File contracts/MetaaniSBTDNA.sol


pragma solidity ^0.8.17;
//
contract MetaaniSBTDNA is IConataNFT, ERC1155, Ownable{
    string public name = "Metaani SBT DNA";
    IDNA public dna;
    string[] mintTermNames;
    mapping ( string => MintInfo) public mintInfoMap;
    mapping ( address => bool[7] ) public claimedTokenIdMap;
    uint private _mintedAmount = 0;
    uint private _burnedAmount = 0;

    //
    constructor() ERC1155("ipfs://QmPKfKEXP1iyLEcvNMoJi78CTrW1if4k3HjDxYVvXHmjgs/") {
        addMintTerm("claim", true);
    }

    
    //
    function mint(bytes calldata data) override(IConataNFT) external payable{
        
        require( msg.value == 0, "Invalid ETH");
        _minter(data);
    }
    function mint() override(IConataNFT) external payable{
        
        require( msg.value == 0, "Invalid ETH");
        _minter("");
    }

    
    function getOpenedMintTermNames() override(IConataNFT) external view returns(string[] memory){
        string[] memory result = new string[](mintTermNames.length);
        uint count = 0;
        for(uint i=0; i < mintTermNames.length; i++){
            if(mintInfoMap[mintTermNames[i]].isOpened){
                result[count] = mintTermNames[i];
                count++;
            }
        }
        return result;
    }

    
    function totalSupply() override(IConataNFT) external view returns(uint256){
        return _mintedAmount - _burnedAmount;
    }

    

    
    function uri(uint256 _tokenId) public view virtual override(ERC1155) returns (string memory) {
        string memory baseURI = super.uri(_tokenId);
        return bytes(baseURI).length > 0 ? string(abi.encodePacked(baseURI, Strings.toString(_tokenId))) : "";
    }

    
    function getMintedDNAAmount(address account) public view returns(uint){
        uint holderSale = dna.addressMintedMap1(account);
        uint ALSale = dna.addressMintedMap2(account);
        uint publicSale = dna.addressMintedMap3(account);
        return holderSale + ALSale + publicSale;
    }

    
    function getAvailableTokenIds(address claimant, address receiver) public view returns(uint[] memory){
        uint mintedDNAAmount = getMintedDNAAmount(claimant);
        uint[] memory ids = new uint[](7);
        uint count = 0;
        uint tokenId;
        
        // Ceramics
        tokenId = 1;
        if(mintedDNAAmount >= 1 && _isCorrectClaiming(claimant, receiver, tokenId)){
            ids[count] = tokenId;
            count++;
        }
        // Bronze
        tokenId = 2;
        if(mintedDNAAmount >= 3 && _isCorrectClaiming(claimant, receiver, tokenId)){
            ids[count] = tokenId;
            count++;
        }
        // Silver
        tokenId = 3;
        if(mintedDNAAmount >= 5 && _isCorrectClaiming(claimant, receiver, tokenId)){
            ids[count] = tokenId;
            count++;
        }
        // Gold
        tokenId = 4;
        if(mintedDNAAmount >= 10 && _isCorrectClaiming(claimant, receiver, tokenId)){
            ids[count] = tokenId;
            count++;
        }
        // Platinum
        tokenId = 5;
        if(mintedDNAAmount >= 30 && _isCorrectClaiming(claimant, receiver, tokenId)){
            ids[count] = tokenId;
            count++;
        }
        // Diamond
        tokenId = 6;
        if(mintedDNAAmount >= 50 && _isCorrectClaiming(claimant, receiver, tokenId)){
            ids[count] = tokenId;
            count++;
        }
        // Alexandrite
        tokenId = 7;
        if(mintedDNAAmount >= 100 && _isCorrectClaiming(claimant, receiver, tokenId)){
            ids[count] = tokenId;
            count++;
        }

        
        uint[] memory result = new uint[](count);
        for(uint i=0; i<count; i++){
            result[i] = ids[i];
        }
        return result;
    }

    // 
    function burn(uint256 id, uint256 amount) external{
        address account = _msgSender();
        _burn(account, id, amount);
        _burnedAmount += amount;
    }

    

    
    function _isCorrectClaiming(address claimant, address receiver, uint tokenId) internal view returns(bool){
        
        bool isZeroBalance = balanceOf(receiver, tokenId) == 0;
        
        bool isNotClaimed = claimedTokenIdMap[claimant][tokenId - 1] == false;
        return isZeroBalance && isNotClaimed;
    }
    
    //
    function _minter(bytes memory data) internal{
        require(keccak256(data) != keccak256(abi.encodePacked("")), "Empty Args");
        (string memory termName, address receiver) = abi.decode(data, (string, address));
        
        require(mintInfoMap[termName].exists, "Not Exist");
        require(mintInfoMap[termName].isOpened, "Not Opened");
        
        address claimant = _msgSender();
        uint[] memory ids = getAvailableTokenIds(claimant, receiver);
        
        require(ids.length > 0, "Not Qualified");
        
        for(uint i=0; i<ids.length; i++){
            _mint(receiver, ids[i], 1, "");
            _mintedAmount++;
            
            claimedTokenIdMap[claimant][ids[i] - 1] = true;
            emit Minted(receiver, ids[i]);
        }
    }

    
    function _beforeTokenTransfer(
        address operator,
        address from,
        address to,
        uint256[] memory ids,
        uint256[] memory amounts,
        bytes memory data
    ) override(ERC1155) internal pure {
        require(
            from == address(0) || to == address(0),
            "Not allowed to transfer token"
        );
    }

    

    //
    function setDNA(address _dna) external onlyOwner{
        dna = IDNA(_dna);
    }

    
    function setIsOpenedMintTerm(string memory termName, bool _isOpened) external onlyOwner{
        require(mintInfoMap[termName].exists, "Not Exist");
        mintInfoMap[termName].isOpened = _isOpened;
        emit ChangedMintTerm(termName);
    }

    
    function addMintTerm(string memory termName, bool _isRestricted) public onlyOwner{
        MintInfo storage info = mintInfoMap[termName];
        info.isRestricted = _isRestricted;
        info.exists = true;
        mintTermNames.push(termName);
    }

    
    function setURI(string memory newURI) override(IConataNFT) external onlyOwner {
        _setURI(newURI);
    }

    //
    function withdraw() override(IConataNFT) external pure {revert("Not Implement");}
    function withdrawSpare() override(IConataNFT) external pure {revert("Not Implement");}

    
    function forceMint(address to, uint tokenId) external onlyOwner{
        _mint(to, tokenId, 1, "");
        _mintedAmount++;
    }

    
    function forceClaimed(address[] memory claimants, uint[] memory tokenIds) external onlyOwner{
        for(uint i=0; i<claimants.length; i++){
            address claimant = claimants[i];
            
            for(uint j=0; j<tokenIds.length; j++){
                claimedTokenIdMap[claimant][tokenIds[j] - 1] = true;
            }
        }
    }

}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"account","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":false,"internalType":"string","name":"termName","type":"string"}],"name":"ChangedMintTerm","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"string","name":"message","type":"string"}],"name":"Log","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"account","type":"address"},{"indexed":false,"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"Minted","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"operator","type":"address"},{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256[]","name":"ids","type":"uint256[]"},{"indexed":false,"internalType":"uint256[]","name":"values","type":"uint256[]"}],"name":"TransferBatch","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"operator","type":"address"},{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"id","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"TransferSingle","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"string","name":"value","type":"string"},{"indexed":true,"internalType":"uint256","name":"id","type":"uint256"}],"name":"URI","type":"event"},{"inputs":[{"internalType":"string","name":"termName","type":"string"},{"internalType":"bool","name":"_isRestricted","type":"bool"}],"name":"addMintTerm","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"id","type":"uint256"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address[]","name":"accounts","type":"address[]"},{"internalType":"uint256[]","name":"ids","type":"uint256[]"}],"name":"balanceOfBatch","outputs":[{"internalType":"uint256[]","name":"","type":"uint256[]"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"id","type":"uint256"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burn","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"uint256","name":"","type":"uint256"}],"name":"claimedTokenIdMap","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"dna","outputs":[{"internalType":"contract IDNA","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address[]","name":"claimants","type":"address[]"},{"internalType":"uint256[]","name":"tokenIds","type":"uint256[]"}],"name":"forceClaimed","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"forceMint","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"claimant","type":"address"},{"internalType":"address","name":"receiver","type":"address"}],"name":"getAvailableTokenIds","outputs":[{"internalType":"uint256[]","name":"","type":"uint256[]"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"getMintedDNAAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getOpenedMintTermNames","outputs":[{"internalType":"string[]","name":"","type":"string[]"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"address","name":"operator","type":"address"}],"name":"isApprovedForAll","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"mint","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"bytes","name":"data","type":"bytes"}],"name":"mint","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"string","name":"","type":"string"}],"name":"mintInfoMap","outputs":[{"internalType":"bool","name":"isOpened","type":"bool"},{"internalType":"bool","name":"isRestricted","type":"bool"},{"internalType":"bool","name":"exists","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256[]","name":"ids","type":"uint256[]"},{"internalType":"uint256[]","name":"amounts","type":"uint256[]"},{"internalType":"bytes","name":"data","type":"bytes"}],"name":"safeBatchTransferFrom","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"id","type":"uint256"},{"internalType":"uint256","name":"amount","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":"address","name":"_dna","type":"address"}],"name":"setDNA","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"string","name":"termName","type":"string"},{"internalType":"bool","name":"_isOpened","type":"bool"}],"name":"setIsOpenedMintTerm","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"string","name":"newURI","type":"string"}],"name":"setURI","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":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_tokenId","type":"uint256"}],"name":"uri","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"withdraw","outputs":[],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"withdrawSpare","outputs":[],"stateMutability":"pure","type":"function"}]

60806040526040518060400160405280600f81526020017f4d657461616e692053425420444e410000000000000000000000000000000000815250600490816200004a9190620005be565b5060006009556000600a553480156200006257600080fd5b5060405180606001604052806036815260200162005b96603691396200008e81620000fd60201b60201c565b50620000af620000a36200011260201b60201c565b6200011a60201b60201c565b620000f76040518060400160405280600581526020017f636c61696d0000000000000000000000000000000000000000000000000000008152506001620001e060201b60201c565b620007af565b80600290816200010e9190620005be565b5050565b600033905090565b6000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b620001f06200028960201b60201c565b600060078360405162000204919062000713565b90815260200160405180910390209050818160000160016101000a81548160ff02191690831515021790555060018160000160026101000a81548160ff021916908315150217905550600683908060018154018082558091505060019003906000526020600020016000909190919091509081620002839190620005be565b50505050565b620002996200011260201b60201c565b73ffffffffffffffffffffffffffffffffffffffff16620002bf6200031a60201b60201c565b73ffffffffffffffffffffffffffffffffffffffff161462000318576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016200030f906200078d565b60405180910390fd5b565b6000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b600081519050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b60006002820490506001821680620003c657607f821691505b602082108103620003dc57620003db6200037e565b5b50919050565b60008190508160005260206000209050919050565b60006020601f8301049050919050565b600082821b905092915050565b600060088302620004467fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8262000407565b62000452868362000407565b95508019841693508086168417925050509392505050565b6000819050919050565b6000819050919050565b60006200049f6200049962000493846200046a565b62000474565b6200046a565b9050919050565b6000819050919050565b620004bb836200047e565b620004d3620004ca82620004a6565b84845462000414565b825550505050565b600090565b620004ea620004db565b620004f7818484620004b0565b505050565b5b818110156200051f5762000513600082620004e0565b600181019050620004fd565b5050565b601f8211156200056e576200053881620003e2565b6200054384620003f7565b8101602085101562000553578190505b6200056b6200056285620003f7565b830182620004fc565b50505b505050565b600082821c905092915050565b6000620005936000198460080262000573565b1980831691505092915050565b6000620005ae838362000580565b9150826002028217905092915050565b620005c98262000344565b67ffffffffffffffff811115620005e557620005e46200034f565b5b620005f18254620003ad565b620005fe82828562000523565b600060209050601f83116001811462000636576000841562000621578287015190505b6200062d8582620005a0565b8655506200069d565b601f1984166200064686620003e2565b60005b82811015620006705784890151825560018201915060208501945060208101905062000649565b868310156200069057848901516200068c601f89168262000580565b8355505b6001600288020188555050505b505050505050565b600081905092915050565b60005b83811015620006d0578082015181840152602081019050620006b3565b60008484015250505050565b6000620006e98262000344565b620006f58185620006a5565b935062000707818560208601620006b0565b80840191505092915050565b6000620007218284620006dc565b915081905092915050565b600082825260208201905092915050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b6000620007756020836200072c565b915062000782826200073d565b602082019050919050565b60006020820190508181036000830152620007a88162000766565b9050919050565b6153d780620007bf6000396000f3fe6080604052600436106101cc5760003560e01c80636a9d5c84116100f7578063a2177aa211610095578063d65ae67711610064578063d65ae67714610657578063e985e9c51461066e578063f242432a146106ab578063f2fde38b146106d4576101cc565b8063a2177aa2146105b3578063a22cb465146105dc578063b390c0ab14610605578063ba1b382d1461062e576101cc565b80637e904090116100d15780637e904090146104f757806387861baf146105225780638da5cb5b1461055f5780639200d5041461058a576101cc565b80636a9d5c841461049b578063715018a6146104c45780637ba0e2e7146104db576101cc565b80631249c58b1161016f578063401a12981161013e578063401a1298146103b757806347ea4c6e146103f45780634e1273f41461041f57806352044c1f1461045c576101cc565b80631249c58b1461034257806318160ddd1461034c5780632eb2c2d6146103775780633ccfd60b146103a0576101cc565b8063036ebc76116101ab578063036ebc761461027457806303d7884c146102b157806306fdde03146102da5780630e89341c14610305576101cc565b8062fdd58e146101d157806301ffc9a71461020e57806302fe53051461024b575b600080fd5b3480156101dd57600080fd5b506101f860048036038101906101f391906132fb565b6106fd565b604051610205919061334a565b60405180910390f35b34801561021a57600080fd5b50610235600480360381019061023091906133bd565b6107c5565b6040516102429190613405565b60405180910390f35b34801561025757600080fd5b50610272600480360381019061026d9190613566565b6108a7565b005b34801561028057600080fd5b5061029b600480360381019061029691906135af565b6108bb565b6040516102a891906136ad565b60405180910390f35b3480156102bd57600080fd5b506102d860048036038101906102d391906136cf565b610bff565b005b3480156102e657600080fd5b506102ef610c4b565b6040516102fc919061377b565b60405180910390f35b34801561031157600080fd5b5061032c6004803603810190610327919061379d565b610cd9565b604051610339919061377b565b60405180910390f35b61034a610d39565b005b34801561035857600080fd5b50610361610d96565b60405161036e919061334a565b60405180910390f35b34801561038357600080fd5b5061039e60048036038101906103999190613933565b610dad565b005b3480156103ac57600080fd5b506103b5610e4e565b005b3480156103c357600080fd5b506103de60048036038101906103d991906132fb565b610e89565b6040516103eb9190613405565b60405180910390f35b34801561040057600080fd5b50610409610ec2565b6040516104169190613b0e565b60405180910390f35b34801561042b57600080fd5b5061044660048036038101906104419190613bf3565b61106d565b60405161045391906136ad565b60405180910390f35b34801561046857600080fd5b50610483600480360381019061047e9190613566565b611186565b60405161049293929190613c6b565b60405180910390f35b3480156104a757600080fd5b506104c260048036038101906104bd91906132fb565b6111ed565b005b3480156104d057600080fd5b506104d961122d565b005b6104f560048036038101906104f09190613cfd565b611241565b005b34801561050357600080fd5b5061050c6112d5565b6040516105199190613da9565b60405180910390f35b34801561052e57600080fd5b50610549600480360381019061054491906136cf565b6112fb565b604051610556919061334a565b60405180910390f35b34801561056b57600080fd5b506105746114fd565b6040516105819190613dd3565b60405180910390f35b34801561059657600080fd5b506105b160048036038101906105ac9190613e1a565b611527565b005b3480156105bf57600080fd5b506105da60048036038101906105d59190613bf3565b6115c4565b005b3480156105e857600080fd5b5061060360048036038101906105fe9190613e76565b6116c8565b005b34801561061157600080fd5b5061062c60048036038101906106279190613eb6565b6116de565b005b34801561063a57600080fd5b5061065560048036038101906106509190613e1a565b611713565b005b34801561066357600080fd5b5061066c6117fd565b005b34801561067a57600080fd5b50610695600480360381019061069091906135af565b611838565b6040516106a29190613405565b60405180910390f35b3480156106b757600080fd5b506106d260048036038101906106cd9190613ef6565b6118cc565b005b3480156106e057600080fd5b506106fb60048036038101906106f691906136cf565b61196d565b005b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff160361076d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161076490613fff565b60405180910390fd5b60008083815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b60007fd9b67a26000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916148061089057507f0e89341c000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916145b806108a0575061089f826119f0565b5b9050919050565b6108af611a5a565b6108b881611ad8565b50565b606060006108c8846112fb565b90506000600767ffffffffffffffff8111156108e7576108e661343b565b5b6040519080825280602002602001820160405280156109155781602001602082028036833780820191505090505b50905060008060019050600184101580156109375750610936878783611aeb565b5b1561096b57808383815181106109505761094f61401f565b5b60200260200101818152505081806109679061407d565b9250505b60029050600384101580156109875750610986878783611aeb565b5b156109bb57808383815181106109a05761099f61401f565b5b60200260200101818152505081806109b79061407d565b9250505b60039050600584101580156109d757506109d6878783611aeb565b5b15610a0b57808383815181106109f0576109ef61401f565b5b6020026020010181815250508180610a079061407d565b9250505b60049050600a8410158015610a275750610a26878783611aeb565b5b15610a5b5780838381518110610a4057610a3f61401f565b5b6020026020010181815250508180610a579061407d565b9250505b60059050601e8410158015610a775750610a76878783611aeb565b5b15610aab5780838381518110610a9057610a8f61401f565b5b6020026020010181815250508180610aa79061407d565b9250505b6006905060328410158015610ac75750610ac6878783611aeb565b5b15610afb5780838381518110610ae057610adf61401f565b5b6020026020010181815250508180610af79061407d565b9250505b6007905060648410158015610b175750610b16878783611aeb565b5b15610b4b5780838381518110610b3057610b2f61401f565b5b6020026020010181815250508180610b479061407d565b9250505b60008267ffffffffffffffff811115610b6757610b6661343b565b5b604051908082528060200260200182016040528015610b955781602001602082028036833780820191505090505b50905060005b83811015610bf057848181518110610bb657610bb561401f565b5b6020026020010151828281518110610bd157610bd061401f565b5b6020026020010181815250508080610be89061407d565b915050610b9b565b50809550505050505092915050565b610c07611a5a565b80600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b60048054610c58906140f4565b80601f0160208091040260200160405190810160405280929190818152602001828054610c84906140f4565b8015610cd15780601f10610ca657610100808354040283529160200191610cd1565b820191906000526020600020905b815481529060010190602001808311610cb457829003601f168201915b505050505081565b60606000610ce683611b8f565b90506000815111610d065760405180602001604052806000815250610d31565b80610d1084611c23565b604051602001610d21929190614161565b6040516020818303038152906040525b915050919050565b60003414610d7c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d73906141d1565b60405180910390fd5b610d9460405180602001604052806000815250611cf1565b565b6000600a54600954610da891906141f1565b905090565b610db5612013565b73ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff161480610dfb5750610dfa85610df5612013565b611838565b5b610e3a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e3190614297565b60405180910390fd5b610e47858585858561201b565b5050505050565b6040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e8090614303565b60405180910390fd5b60086020528160005260406000208160078110610ea557600080fd5b60209182820401919006915091509054906101000a900460ff1681565b6060600060068054905067ffffffffffffffff811115610ee557610ee461343b565b5b604051908082528060200260200182016040528015610f1857816020015b6060815260200190600190039081610f035790505b5090506000805b60068054905081101561106457600760068281548110610f4257610f4161401f565b5b90600052602060002001604051610f5991906143bb565b908152602001604051809103902060000160009054906101000a900460ff16156110515760068181548110610f9157610f9061401f565b5b906000526020600020018054610fa6906140f4565b80601f0160208091040260200160405190810160405280929190818152602001828054610fd2906140f4565b801561101f5780601f10610ff45761010080835404028352916020019161101f565b820191906000526020600020905b81548152906001019060200180831161100257829003601f168201915b50505050508383815181106110375761103661401f565b5b6020026020010181905250818061104d9061407d565b9250505b808061105c9061407d565b915050610f1f565b50819250505090565b606081518351146110b3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016110aa90614444565b60405180910390fd5b6000835167ffffffffffffffff8111156110d0576110cf61343b565b5b6040519080825280602002602001820160405280156110fe5781602001602082028036833780820191505090505b50905060005b845181101561117b5761114b8582815181106111235761112261401f565b5b602002602001015185838151811061113e5761113d61401f565b5b60200260200101516106fd565b82828151811061115e5761115d61401f565b5b602002602001018181525050806111749061407d565b9050611104565b508091505092915050565b6007818051602081018201805184825260208301602085012081835280955050505050506000915090508060000160009054906101000a900460ff16908060000160019054906101000a900460ff16908060000160029054906101000a900460ff16905083565b6111f5611a5a565b611211828260016040518060200160405280600081525061233c565b600960008154809291906112249061407d565b91905055505050565b611235611a5a565b61123f60006124ec565b565b60003414611284576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161127b906141d1565b60405180910390fd5b6112d182828080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f82011690508083019250505050505050611cf1565b5050565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600080600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166381df04a8846040518263ffffffff1660e01b81526004016113599190613dd3565b602060405180830381865afa158015611376573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061139a9190614479565b90506000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16639de431f9856040518263ffffffff1660e01b81526004016113f99190613dd3565b602060405180830381865afa158015611416573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061143a9190614479565b90506000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663c746035c866040518263ffffffff1660e01b81526004016114999190613dd3565b602060405180830381865afa1580156114b6573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906114da9190614479565b90508082846114e991906144a6565b6114f391906144a6565b9350505050919050565b6000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b61152f611a5a565b600060078360405161154191906144da565b90815260200160405180910390209050818160000160016101000a81548160ff02191690831515021790555060018160000160026101000a81548160ff0219169083151502179055506006839080600181540180825580915050600190039060005260206000200160009091909190915090816115be919061467e565b50505050565b6115cc611a5a565b60005b82518110156116c35760008382815181106115ed576115ec61401f565b5b6020026020010151905060005b83518110156116ae576001600860008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060018684815181106116595761165861401f565b5b602002602001015161166b91906141f1565b6007811061167c5761167b61401f565b5b602091828204019190066101000a81548160ff02191690831515021790555080806116a69061407d565b9150506115fa565b505080806116bb9061407d565b9150506115cf565b505050565b6116da6116d3612013565b83836125b2565b5050565b60006116e8612013565b90506116f581848461271e565b81600a600082825461170791906144a6565b92505081905550505050565b61171b611a5a565b60078260405161172b91906144da565b908152602001604051809103902060000160029054906101000a900460ff16611789576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016117809061479c565b60405180910390fd5b8060078360405161179a91906144da565b908152602001604051809103902060000160006101000a81548160ff0219169083151502179055507fcc32216158272e9a66c8556d251644647c63140ac1907eaeefc4c23b6a7e2e5b826040516117f1919061377b565b60405180910390a15050565b6040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161182f90614303565b60405180910390fd5b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b6118d4612013565b73ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff16148061191a575061191985611914612013565b611838565b5b611959576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161195090614297565b60405180910390fd5b6119668585858585612964565b5050505050565b611975611a5a565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16036119e4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016119db9061482e565b60405180910390fd5b6119ed816124ec565b50565b60007f01ffc9a7000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916149050919050565b611a62612013565b73ffffffffffffffffffffffffffffffffffffffff16611a806114fd565b73ffffffffffffffffffffffffffffffffffffffff1614611ad6576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611acd9061489a565b60405180910390fd5b565b8060029081611ae7919061467e565b5050565b6000806000611afa85856106fd565b1490506000801515600860008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600186611b4e91906141f1565b60078110611b5f57611b5e61401f565b5b602091828204019190069054906101000a900460ff161515149050818015611b845750805b925050509392505050565b606060028054611b9e906140f4565b80601f0160208091040260200160405190810160405280929190818152602001828054611bca906140f4565b8015611c175780601f10611bec57610100808354040283529160200191611c17565b820191906000526020600020905b815481529060010190602001808311611bfa57829003601f168201915b50505050509050919050565b606060006001611c3284612bff565b01905060008167ffffffffffffffff811115611c5157611c5061343b565b5b6040519080825280601f01601f191660200182016040528015611c835781602001600182028036833780820191505090505b509050600082602001820190505b600115611ce6578080600190039150507f3031323334353637383961626364656600000000000000000000000000000000600a86061a8153600a8581611cda57611cd96148ba565b5b04945060008503611c91575b819350505050919050565b604051602001611d009061490f565b60405160208183030381529060405280519060200120818051906020012003611d5e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611d5590614970565b60405180910390fd5b60008082806020019051810190611d759190614a3e565b91509150600782604051611d8991906144da565b908152602001604051809103902060000160029054906101000a900460ff16611de7576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611dde9061479c565b60405180910390fd5b600782604051611df791906144da565b908152602001604051809103902060000160009054906101000a900460ff16611e55576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611e4c90614ae6565b60405180910390fd5b6000611e5f612013565b90506000611e6d82846108bb565b90506000815111611eb3576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611eaa90614b52565b60405180910390fd5b60005b815181101561200b57611ef584838381518110611ed657611ed561401f565b5b602002602001015160016040518060200160405280600081525061233c565b60096000815480929190611f089061407d565b91905055506001600860008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206001848481518110611f6357611f6261401f565b5b6020026020010151611f7591906141f1565b60078110611f8657611f8561401f565b5b602091828204019190066101000a81548160ff0219169083151502179055507f30385c845b448a36257a6a1716e6ad2e1bc2cbe333cde1e69fe849ad6511adfe84838381518110611fda57611fd961401f565b5b6020026020010151604051611ff0929190614b72565b60405180910390a180806120039061407d565b915050611eb6565b505050505050565b600033905090565b815183511461205f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161205690614c0d565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff16036120ce576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016120c590614c9f565b60405180910390fd5b60006120d8612013565b90506120e8818787878787612d52565b60005b84518110156122995760008582815181106121095761210861401f565b5b6020026020010151905060008583815181106121285761212761401f565b5b60200260200101519050600080600084815260200190815260200160002060008b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050818110156121c9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016121c090614d31565b60405180910390fd5b81810360008085815260200190815260200160002060008c73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508160008085815260200190815260200160002060008b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461227e91906144a6565b92505081905550505050806122929061407d565b90506120eb565b508473ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167f4a39dc06d4c0dbc64b70af90fd698a233a518aa5d07e595d983b8c0526c8f7fb8787604051612310929190614d51565b60405180910390a4612326818787878787612e00565b612334818787878787612e08565b505050505050565b600073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff16036123ab576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016123a290614dfa565b60405180910390fd5b60006123b5612013565b905060006123c285612fdf565b905060006123cf85612fdf565b90506123e083600089858589612d52565b8460008088815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461243f91906144a6565b925050819055508673ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fc3d58168c5ae7397731d063d5bbf3d657854427343f4c083240f7aacaa2d0f6289896040516124bd929190614e1a565b60405180910390a46124d483600089858589612e00565b6124e383600089898989613059565b50505050505050565b6000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603612620576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161261790614eb5565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31836040516127119190613405565b60405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff160361278d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161278490614f47565b60405180910390fd5b6000612797612013565b905060006127a484612fdf565b905060006127b184612fdf565b90506127d183876000858560405180602001604052806000815250612d52565b600080600087815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905084811015612868576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161285f90614fd9565b60405180910390fd5b84810360008088815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600073ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fc3d58168c5ae7397731d063d5bbf3d657854427343f4c083240f7aacaa2d0f628989604051612935929190614e1a565b60405180910390a461295b84886000868660405180602001604052806000815250612e00565b50505050505050565b600073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff16036129d3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016129ca90614c9f565b60405180910390fd5b60006129dd612013565b905060006129ea85612fdf565b905060006129f785612fdf565b9050612a07838989858589612d52565b600080600088815260200190815260200160002060008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905085811015612a9e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612a9590614d31565b60405180910390fd5b85810360008089815260200190815260200160002060008b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508560008089815260200190815260200160002060008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254612b5391906144a6565b925050819055508773ffffffffffffffffffffffffffffffffffffffff168973ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fc3d58168c5ae7397731d063d5bbf3d657854427343f4c083240f7aacaa2d0f628a8a604051612bd0929190614e1a565b60405180910390a4612be6848a8a86868a612e00565b612bf4848a8a8a8a8a613059565b505050505050505050565b600080600090507a184f03e93ff9f4daa797ed6e38ed64bf6a1f0100000000000000008310612c5d577a184f03e93ff9f4daa797ed6e38ed64bf6a1f0100000000000000008381612c5357612c526148ba565b5b0492506040810190505b6d04ee2d6d415b85acef81000000008310612c9a576d04ee2d6d415b85acef81000000008381612c9057612c8f6148ba565b5b0492506020810190505b662386f26fc100008310612cc957662386f26fc100008381612cbf57612cbe6148ba565b5b0492506010810190505b6305f5e1008310612cf2576305f5e1008381612ce857612ce76148ba565b5b0492506008810190505b6127108310612d17576127108381612d0d57612d0c6148ba565b5b0492506004810190505b60648310612d3a5760648381612d3057612d2f6148ba565b5b0492506002810190505b600a8310612d49576001810190505b80915050919050565b600073ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff161480612db95750600073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff16145b612df8576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612def90615045565b60405180910390fd5b505050505050565b505050505050565b612e278473ffffffffffffffffffffffffffffffffffffffff16613230565b15612fd7578373ffffffffffffffffffffffffffffffffffffffff1663bc197c8187878686866040518663ffffffff1660e01b8152600401612e6d9594939291906150ba565b6020604051808303816000875af1925050508015612ea957506040513d601f19601f82011682018060405250810190612ea69190615137565b60015b612f4e57612eb5615171565b806308c379a003612f115750612ec9615193565b80612ed45750612f13565b806040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612f08919061377b565b60405180910390fd5b505b6040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612f4590615295565b60405180910390fd5b63bc197c8160e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614612fd5576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612fcc90615327565b60405180910390fd5b505b505050505050565b60606000600167ffffffffffffffff811115612ffe57612ffd61343b565b5b60405190808252806020026020018201604052801561302c5781602001602082028036833780820191505090505b50905082816000815181106130445761304361401f565b5b60200260200101818152505080915050919050565b6130788473ffffffffffffffffffffffffffffffffffffffff16613230565b15613228578373ffffffffffffffffffffffffffffffffffffffff1663f23a6e6187878686866040518663ffffffff1660e01b81526004016130be959493929190615347565b6020604051808303816000875af19250505080156130fa57506040513d601f19601f820116820180604052508101906130f79190615137565b60015b61319f57613106615171565b806308c379a003613162575061311a615193565b806131255750613164565b806040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401613159919061377b565b60405180910390fd5b505b6040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161319690615295565b60405180910390fd5b63f23a6e6160e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614613226576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161321d90615327565b60405180910390fd5b505b505050505050565b6000808273ffffffffffffffffffffffffffffffffffffffff163b119050919050565b6000604051905090565b600080fd5b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b600061329282613267565b9050919050565b6132a281613287565b81146132ad57600080fd5b50565b6000813590506132bf81613299565b92915050565b6000819050919050565b6132d8816132c5565b81146132e357600080fd5b50565b6000813590506132f5816132cf565b92915050565b600080604083850312156133125761331161325d565b5b6000613320858286016132b0565b9250506020613331858286016132e6565b9150509250929050565b613344816132c5565b82525050565b600060208201905061335f600083018461333b565b92915050565b60007fffffffff0000000000000000000000000000000000000000000000000000000082169050919050565b61339a81613365565b81146133a557600080fd5b50565b6000813590506133b781613391565b92915050565b6000602082840312156133d3576133d261325d565b5b60006133e1848285016133a8565b91505092915050565b60008115159050919050565b6133ff816133ea565b82525050565b600060208201905061341a60008301846133f6565b92915050565b600080fd5b600080fd5b6000601f19601f8301169050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6134738261342a565b810181811067ffffffffffffffff821117156134925761349161343b565b5b80604052505050565b60006134a5613253565b90506134b1828261346a565b919050565b600067ffffffffffffffff8211156134d1576134d061343b565b5b6134da8261342a565b9050602081019050919050565b82818337600083830152505050565b6000613509613504846134b6565b61349b565b90508281526020810184848401111561352557613524613425565b5b6135308482856134e7565b509392505050565b600082601f83011261354d5761354c613420565b5b813561355d8482602086016134f6565b91505092915050565b60006020828403121561357c5761357b61325d565b5b600082013567ffffffffffffffff81111561359a57613599613262565b5b6135a684828501613538565b91505092915050565b600080604083850312156135c6576135c561325d565b5b60006135d4858286016132b0565b92505060206135e5858286016132b0565b9150509250929050565b600081519050919050565b600082825260208201905092915050565b6000819050602082019050919050565b613624816132c5565b82525050565b6000613636838361361b565b60208301905092915050565b6000602082019050919050565b600061365a826135ef565b61366481856135fa565b935061366f8361360b565b8060005b838110156136a0578151613687888261362a565b975061369283613642565b925050600181019050613673565b5085935050505092915050565b600060208201905081810360008301526136c7818461364f565b905092915050565b6000602082840312156136e5576136e461325d565b5b60006136f3848285016132b0565b91505092915050565b600081519050919050565b600082825260208201905092915050565b60005b8381101561373657808201518184015260208101905061371b565b60008484015250505050565b600061374d826136fc565b6137578185613707565b9350613767818560208601613718565b6137708161342a565b840191505092915050565b600060208201905081810360008301526137958184613742565b905092915050565b6000602082840312156137b3576137b261325d565b5b60006137c1848285016132e6565b91505092915050565b600067ffffffffffffffff8211156137e5576137e461343b565b5b602082029050602081019050919050565b600080fd5b600061380e613809846137ca565b61349b565b90508083825260208201905060208402830185811115613831576138306137f6565b5b835b8181101561385a578061384688826132e6565b845260208401935050602081019050613833565b5050509392505050565b600082601f83011261387957613878613420565b5b81356138898482602086016137fb565b91505092915050565b600067ffffffffffffffff8211156138ad576138ac61343b565b5b6138b68261342a565b9050602081019050919050565b60006138d66138d184613892565b61349b565b9050828152602081018484840111156138f2576138f1613425565b5b6138fd8482856134e7565b509392505050565b600082601f83011261391a57613919613420565b5b813561392a8482602086016138c3565b91505092915050565b600080600080600060a0868803121561394f5761394e61325d565b5b600061395d888289016132b0565b955050602061396e888289016132b0565b945050604086013567ffffffffffffffff81111561398f5761398e613262565b5b61399b88828901613864565b935050606086013567ffffffffffffffff8111156139bc576139bb613262565b5b6139c888828901613864565b925050608086013567ffffffffffffffff8111156139e9576139e8613262565b5b6139f588828901613905565b9150509295509295909350565b600081519050919050565b600082825260208201905092915050565b6000819050602082019050919050565b600082825260208201905092915050565b6000613a4a826136fc565b613a548185613a2e565b9350613a64818560208601613718565b613a6d8161342a565b840191505092915050565b6000613a848383613a3f565b905092915050565b6000602082019050919050565b6000613aa482613a02565b613aae8185613a0d565b935083602082028501613ac085613a1e565b8060005b85811015613afc5784840389528151613add8582613a78565b9450613ae883613a8c565b925060208a01995050600181019050613ac4565b50829750879550505050505092915050565b60006020820190508181036000830152613b288184613a99565b905092915050565b600067ffffffffffffffff821115613b4b57613b4a61343b565b5b602082029050602081019050919050565b6000613b6f613b6a84613b30565b61349b565b90508083825260208201905060208402830185811115613b9257613b916137f6565b5b835b81811015613bbb5780613ba788826132b0565b845260208401935050602081019050613b94565b5050509392505050565b600082601f830112613bda57613bd9613420565b5b8135613bea848260208601613b5c565b91505092915050565b60008060408385031215613c0a57613c0961325d565b5b600083013567ffffffffffffffff811115613c2857613c27613262565b5b613c3485828601613bc5565b925050602083013567ffffffffffffffff811115613c5557613c54613262565b5b613c6185828601613864565b9150509250929050565b6000606082019050613c8060008301866133f6565b613c8d60208301856133f6565b613c9a60408301846133f6565b949350505050565b600080fd5b60008083601f840112613cbd57613cbc613420565b5b8235905067ffffffffffffffff811115613cda57613cd9613ca2565b5b602083019150836001820283011115613cf657613cf56137f6565b5b9250929050565b60008060208385031215613d1457613d1361325d565b5b600083013567ffffffffffffffff811115613d3257613d31613262565b5b613d3e85828601613ca7565b92509250509250929050565b6000819050919050565b6000613d6f613d6a613d6584613267565b613d4a565b613267565b9050919050565b6000613d8182613d54565b9050919050565b6000613d9382613d76565b9050919050565b613da381613d88565b82525050565b6000602082019050613dbe6000830184613d9a565b92915050565b613dcd81613287565b82525050565b6000602082019050613de86000830184613dc4565b92915050565b613df7816133ea565b8114613e0257600080fd5b50565b600081359050613e1481613dee565b92915050565b60008060408385031215613e3157613e3061325d565b5b600083013567ffffffffffffffff811115613e4f57613e4e613262565b5b613e5b85828601613538565b9250506020613e6c85828601613e05565b9150509250929050565b60008060408385031215613e8d57613e8c61325d565b5b6000613e9b858286016132b0565b9250506020613eac85828601613e05565b9150509250929050565b60008060408385031215613ecd57613ecc61325d565b5b6000613edb858286016132e6565b9250506020613eec858286016132e6565b9150509250929050565b600080600080600060a08688031215613f1257613f1161325d565b5b6000613f20888289016132b0565b9550506020613f31888289016132b0565b9450506040613f42888289016132e6565b9350506060613f53888289016132e6565b925050608086013567ffffffffffffffff811115613f7457613f73613262565b5b613f8088828901613905565b9150509295509295909350565b7f455243313135353a2061646472657373207a65726f206973206e6f742061207660008201527f616c6964206f776e657200000000000000000000000000000000000000000000602082015250565b6000613fe9602a83613707565b9150613ff482613f8d565b604082019050919050565b6000602082019050818103600083015261401881613fdc565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000614088826132c5565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82036140ba576140b961404e565b5b600182019050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000600282049050600182168061410c57607f821691505b60208210810361411f5761411e6140c5565b5b50919050565b600081905092915050565b600061413b826136fc565b6141458185614125565b9350614155818560208601613718565b80840191505092915050565b600061416d8285614130565b91506141798284614130565b91508190509392505050565b7f496e76616c696420455448000000000000000000000000000000000000000000600082015250565b60006141bb600b83613707565b91506141c682614185565b602082019050919050565b600060208201905081810360008301526141ea816141ae565b9050919050565b60006141fc826132c5565b9150614207836132c5565b925082820390508181111561421f5761421e61404e565b5b92915050565b7f455243313135353a2063616c6c6572206973206e6f7420746f6b656e206f776e60008201527f6572206f7220617070726f766564000000000000000000000000000000000000602082015250565b6000614281602e83613707565b915061428c82614225565b604082019050919050565b600060208201905081810360008301526142b081614274565b9050919050565b7f4e6f7420496d706c656d656e7400000000000000000000000000000000000000600082015250565b60006142ed600d83613707565b91506142f8826142b7565b602082019050919050565b6000602082019050818103600083015261431c816142e0565b9050919050565b60008190508160005260206000209050919050565b60008154614345816140f4565b61434f8186614125565b9450600182166000811461436a576001811461437f576143b2565b60ff19831686528115158202860193506143b2565b61438885614323565b60005b838110156143aa5781548189015260018201915060208101905061438b565b838801955050505b50505092915050565b60006143c78284614338565b915081905092915050565b7f455243313135353a206163636f756e747320616e6420696473206c656e67746860008201527f206d69736d617463680000000000000000000000000000000000000000000000602082015250565b600061442e602983613707565b9150614439826143d2565b604082019050919050565b6000602082019050818103600083015261445d81614421565b9050919050565b600081519050614473816132cf565b92915050565b60006020828403121561448f5761448e61325d565b5b600061449d84828501614464565b91505092915050565b60006144b1826132c5565b91506144bc836132c5565b92508282019050808211156144d4576144d361404e565b5b92915050565b60006144e68284614130565b915081905092915050565b60006020601f8301049050919050565b600082821b905092915050565b60006008830261453e7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82614501565b6145488683614501565b95508019841693508086168417925050509392505050565b600061457b614576614571846132c5565b613d4a565b6132c5565b9050919050565b6000819050919050565b61459583614560565b6145a96145a182614582565b84845461450e565b825550505050565b600090565b6145be6145b1565b6145c981848461458c565b505050565b5b818110156145ed576145e26000826145b6565b6001810190506145cf565b5050565b601f8211156146325761460381614323565b61460c846144f1565b8101602085101561461b578190505b61462f614627856144f1565b8301826145ce565b50505b505050565b600082821c905092915050565b600061465560001984600802614637565b1980831691505092915050565b600061466e8383614644565b9150826002028217905092915050565b614687826136fc565b67ffffffffffffffff8111156146a05761469f61343b565b5b6146aa82546140f4565b6146b58282856145f1565b600060209050601f8311600181146146e857600084156146d6578287015190505b6146e08582614662565b865550614748565b601f1984166146f686614323565b60005b8281101561471e578489015182556001820191506020850194506020810190506146f9565b8683101561473b5784890151614737601f891682614644565b8355505b6001600288020188555050505b505050505050565b7f4e6f742045786973740000000000000000000000000000000000000000000000600082015250565b6000614786600983613707565b915061479182614750565b602082019050919050565b600060208201905081810360008301526147b581614779565b9050919050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b6000614818602683613707565b9150614823826147bc565b604082019050919050565b600060208201905081810360008301526148478161480b565b9050919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b6000614884602083613707565b915061488f8261484e565b602082019050919050565b600060208201905081810360008301526148b381614877565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b50565b60006148f9600083614125565b9150614904826148e9565b600082019050919050565b600061491a826148ec565b9150819050919050565b7f456d707479204172677300000000000000000000000000000000000000000000600082015250565b600061495a600a83613707565b915061496582614924565b602082019050919050565b600060208201905081810360008301526149898161494d565b9050919050565b60006149a361499e846134b6565b61349b565b9050828152602081018484840111156149bf576149be613425565b5b6149ca848285613718565b509392505050565b600082601f8301126149e7576149e6613420565b5b81516149f7848260208601614990565b91505092915050565b6000614a0b82613267565b9050919050565b614a1b81614a00565b8114614a2657600080fd5b50565b600081519050614a3881614a12565b92915050565b60008060408385031215614a5557614a5461325d565b5b600083015167ffffffffffffffff811115614a7357614a72613262565b5b614a7f858286016149d2565b9250506020614a9085828601614a29565b9150509250929050565b7f4e6f74204f70656e656400000000000000000000000000000000000000000000600082015250565b6000614ad0600a83613707565b9150614adb82614a9a565b602082019050919050565b60006020820190508181036000830152614aff81614ac3565b9050919050565b7f4e6f74205175616c696669656400000000000000000000000000000000000000600082015250565b6000614b3c600d83613707565b9150614b4782614b06565b602082019050919050565b60006020820190508181036000830152614b6b81614b2f565b9050919050565b6000604082019050614b876000830185613dc4565b614b94602083018461333b565b9392505050565b7f455243313135353a2069647320616e6420616d6f756e7473206c656e6774682060008201527f6d69736d61746368000000000000000000000000000000000000000000000000602082015250565b6000614bf7602883613707565b9150614c0282614b9b565b604082019050919050565b60006020820190508181036000830152614c2681614bea565b9050919050565b7f455243313135353a207472616e7366657220746f20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b6000614c89602583613707565b9150614c9482614c2d565b604082019050919050565b60006020820190508181036000830152614cb881614c7c565b9050919050565b7f455243313135353a20696e73756666696369656e742062616c616e636520666f60008201527f72207472616e7366657200000000000000000000000000000000000000000000602082015250565b6000614d1b602a83613707565b9150614d2682614cbf565b604082019050919050565b60006020820190508181036000830152614d4a81614d0e565b9050919050565b60006040820190508181036000830152614d6b818561364f565b90508181036020830152614d7f818461364f565b90509392505050565b7f455243313135353a206d696e7420746f20746865207a65726f2061646472657360008201527f7300000000000000000000000000000000000000000000000000000000000000602082015250565b6000614de4602183613707565b9150614def82614d88565b604082019050919050565b60006020820190508181036000830152614e1381614dd7565b9050919050565b6000604082019050614e2f600083018561333b565b614e3c602083018461333b565b9392505050565b7f455243313135353a2073657474696e6720617070726f76616c2073746174757360008201527f20666f722073656c660000000000000000000000000000000000000000000000602082015250565b6000614e9f602983613707565b9150614eaa82614e43565b604082019050919050565b60006020820190508181036000830152614ece81614e92565b9050919050565b7f455243313135353a206275726e2066726f6d20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b6000614f31602383613707565b9150614f3c82614ed5565b604082019050919050565b60006020820190508181036000830152614f6081614f24565b9050919050565b7f455243313135353a206275726e20616d6f756e7420657863656564732062616c60008201527f616e636500000000000000000000000000000000000000000000000000000000602082015250565b6000614fc3602483613707565b9150614fce82614f67565b604082019050919050565b60006020820190508181036000830152614ff281614fb6565b9050919050565b7f4e6f7420616c6c6f77656420746f207472616e7366657220746f6b656e000000600082015250565b600061502f601d83613707565b915061503a82614ff9565b602082019050919050565b6000602082019050818103600083015261505e81615022565b9050919050565b600081519050919050565b600082825260208201905092915050565b600061508c82615065565b6150968185615070565b93506150a6818560208601613718565b6150af8161342a565b840191505092915050565b600060a0820190506150cf6000830188613dc4565b6150dc6020830187613dc4565b81810360408301526150ee818661364f565b90508181036060830152615102818561364f565b905081810360808301526151168184615081565b90509695505050505050565b60008151905061513181613391565b92915050565b60006020828403121561514d5761514c61325d565b5b600061515b84828501615122565b91505092915050565b60008160e01c9050919050565b600060033d11156151905760046000803e61518d600051615164565b90505b90565b600060443d10615220576151a5613253565b60043d036004823e80513d602482011167ffffffffffffffff821117156151cd575050615220565b808201805167ffffffffffffffff8111156151eb5750505050615220565b80602083010160043d038501811115615208575050505050615220565b6152178260200185018661346a565b82955050505050505b90565b7f455243313135353a207472616e7366657220746f206e6f6e2d4552433131353560008201527f526563656976657220696d706c656d656e746572000000000000000000000000602082015250565b600061527f603483613707565b915061528a82615223565b604082019050919050565b600060208201905081810360008301526152ae81615272565b9050919050565b7f455243313135353a204552433131353552656365697665722072656a6563746560008201527f6420746f6b656e73000000000000000000000000000000000000000000000000602082015250565b6000615311602883613707565b915061531c826152b5565b604082019050919050565b6000602082019050818103600083015261534081615304565b9050919050565b600060a08201905061535c6000830188613dc4565b6153696020830187613dc4565b615376604083018661333b565b615383606083018561333b565b81810360808301526153958184615081565b9050969550505050505056fea2646970667358221220709fbf0e54817e008bfca243c47104fd3c363cc7fead0be34e3ae29e352225fe64736f6c63430008110033697066733a2f2f516d504b664b4558503169794c4563764e4d6f4a69373843547257316966346b33486a447859567658486d6a67732f

0x6080604052600436106101cc5760003560e01c80636a9d5c84116100f7578063a2177aa211610095578063d65ae67711610064578063d65ae67714610657578063e985e9c51461066e578063f242432a146106ab578063f2fde38b146106d4576101cc565b8063a2177aa2146105b3578063a22cb465146105dc578063b390c0ab14610605578063ba1b382d1461062e576101cc565b80637e904090116100d15780637e904090146104f757806387861baf146105225780638da5cb5b1461055f5780639200d5041461058a576101cc565b80636a9d5c841461049b578063715018a6146104c45780637ba0e2e7146104db576101cc565b80631249c58b1161016f578063401a12981161013e578063401a1298146103b757806347ea4c6e146103f45780634e1273f41461041f57806352044c1f1461045c576101cc565b80631249c58b1461034257806318160ddd1461034c5780632eb2c2d6146103775780633ccfd60b146103a0576101cc565b8063036ebc76116101ab578063036ebc761461027457806303d7884c146102b157806306fdde03146102da5780630e89341c14610305576101cc565b8062fdd58e146101d157806301ffc9a71461020e57806302fe53051461024b575b600080fd5b3480156101dd57600080fd5b506101f860048036038101906101f391906132fb565b6106fd565b604051610205919061334a565b60405180910390f35b34801561021a57600080fd5b50610235600480360381019061023091906133bd565b6107c5565b6040516102429190613405565b60405180910390f35b34801561025757600080fd5b50610272600480360381019061026d9190613566565b6108a7565b005b34801561028057600080fd5b5061029b600480360381019061029691906135af565b6108bb565b6040516102a891906136ad565b60405180910390f35b3480156102bd57600080fd5b506102d860048036038101906102d391906136cf565b610bff565b005b3480156102e657600080fd5b506102ef610c4b565b6040516102fc919061377b565b60405180910390f35b34801561031157600080fd5b5061032c6004803603810190610327919061379d565b610cd9565b604051610339919061377b565b60405180910390f35b61034a610d39565b005b34801561035857600080fd5b50610361610d96565b60405161036e919061334a565b60405180910390f35b34801561038357600080fd5b5061039e60048036038101906103999190613933565b610dad565b005b3480156103ac57600080fd5b506103b5610e4e565b005b3480156103c357600080fd5b506103de60048036038101906103d991906132fb565b610e89565b6040516103eb9190613405565b60405180910390f35b34801561040057600080fd5b50610409610ec2565b6040516104169190613b0e565b60405180910390f35b34801561042b57600080fd5b5061044660048036038101906104419190613bf3565b61106d565b60405161045391906136ad565b60405180910390f35b34801561046857600080fd5b50610483600480360381019061047e9190613566565b611186565b60405161049293929190613c6b565b60405180910390f35b3480156104a757600080fd5b506104c260048036038101906104bd91906132fb565b6111ed565b005b3480156104d057600080fd5b506104d961122d565b005b6104f560048036038101906104f09190613cfd565b611241565b005b34801561050357600080fd5b5061050c6112d5565b6040516105199190613da9565b60405180910390f35b34801561052e57600080fd5b50610549600480360381019061054491906136cf565b6112fb565b604051610556919061334a565b60405180910390f35b34801561056b57600080fd5b506105746114fd565b6040516105819190613dd3565b60405180910390f35b34801561059657600080fd5b506105b160048036038101906105ac9190613e1a565b611527565b005b3480156105bf57600080fd5b506105da60048036038101906105d59190613bf3565b6115c4565b005b3480156105e857600080fd5b5061060360048036038101906105fe9190613e76565b6116c8565b005b34801561061157600080fd5b5061062c60048036038101906106279190613eb6565b6116de565b005b34801561063a57600080fd5b5061065560048036038101906106509190613e1a565b611713565b005b34801561066357600080fd5b5061066c6117fd565b005b34801561067a57600080fd5b50610695600480360381019061069091906135af565b611838565b6040516106a29190613405565b60405180910390f35b3480156106b757600080fd5b506106d260048036038101906106cd9190613ef6565b6118cc565b005b3480156106e057600080fd5b506106fb60048036038101906106f691906136cf565b61196d565b005b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff160361076d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161076490613fff565b60405180910390fd5b60008083815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b60007fd9b67a26000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916148061089057507f0e89341c000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916145b806108a0575061089f826119f0565b5b9050919050565b6108af611a5a565b6108b881611ad8565b50565b606060006108c8846112fb565b90506000600767ffffffffffffffff8111156108e7576108e661343b565b5b6040519080825280602002602001820160405280156109155781602001602082028036833780820191505090505b50905060008060019050600184101580156109375750610936878783611aeb565b5b1561096b57808383815181106109505761094f61401f565b5b60200260200101818152505081806109679061407d565b9250505b60029050600384101580156109875750610986878783611aeb565b5b156109bb57808383815181106109a05761099f61401f565b5b60200260200101818152505081806109b79061407d565b9250505b60039050600584101580156109d757506109d6878783611aeb565b5b15610a0b57808383815181106109f0576109ef61401f565b5b6020026020010181815250508180610a079061407d565b9250505b60049050600a8410158015610a275750610a26878783611aeb565b5b15610a5b5780838381518110610a4057610a3f61401f565b5b6020026020010181815250508180610a579061407d565b9250505b60059050601e8410158015610a775750610a76878783611aeb565b5b15610aab5780838381518110610a9057610a8f61401f565b5b6020026020010181815250508180610aa79061407d565b9250505b6006905060328410158015610ac75750610ac6878783611aeb565b5b15610afb5780838381518110610ae057610adf61401f565b5b6020026020010181815250508180610af79061407d565b9250505b6007905060648410158015610b175750610b16878783611aeb565b5b15610b4b5780838381518110610b3057610b2f61401f565b5b6020026020010181815250508180610b479061407d565b9250505b60008267ffffffffffffffff811115610b6757610b6661343b565b5b604051908082528060200260200182016040528015610b955781602001602082028036833780820191505090505b50905060005b83811015610bf057848181518110610bb657610bb561401f565b5b6020026020010151828281518110610bd157610bd061401f565b5b6020026020010181815250508080610be89061407d565b915050610b9b565b50809550505050505092915050565b610c07611a5a565b80600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b60048054610c58906140f4565b80601f0160208091040260200160405190810160405280929190818152602001828054610c84906140f4565b8015610cd15780601f10610ca657610100808354040283529160200191610cd1565b820191906000526020600020905b815481529060010190602001808311610cb457829003601f168201915b505050505081565b60606000610ce683611b8f565b90506000815111610d065760405180602001604052806000815250610d31565b80610d1084611c23565b604051602001610d21929190614161565b6040516020818303038152906040525b915050919050565b60003414610d7c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d73906141d1565b60405180910390fd5b610d9460405180602001604052806000815250611cf1565b565b6000600a54600954610da891906141f1565b905090565b610db5612013565b73ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff161480610dfb5750610dfa85610df5612013565b611838565b5b610e3a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e3190614297565b60405180910390fd5b610e47858585858561201b565b5050505050565b6040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e8090614303565b60405180910390fd5b60086020528160005260406000208160078110610ea557600080fd5b60209182820401919006915091509054906101000a900460ff1681565b6060600060068054905067ffffffffffffffff811115610ee557610ee461343b565b5b604051908082528060200260200182016040528015610f1857816020015b6060815260200190600190039081610f035790505b5090506000805b60068054905081101561106457600760068281548110610f4257610f4161401f565b5b90600052602060002001604051610f5991906143bb565b908152602001604051809103902060000160009054906101000a900460ff16156110515760068181548110610f9157610f9061401f565b5b906000526020600020018054610fa6906140f4565b80601f0160208091040260200160405190810160405280929190818152602001828054610fd2906140f4565b801561101f5780601f10610ff45761010080835404028352916020019161101f565b820191906000526020600020905b81548152906001019060200180831161100257829003601f168201915b50505050508383815181106110375761103661401f565b5b6020026020010181905250818061104d9061407d565b9250505b808061105c9061407d565b915050610f1f565b50819250505090565b606081518351146110b3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016110aa90614444565b60405180910390fd5b6000835167ffffffffffffffff8111156110d0576110cf61343b565b5b6040519080825280602002602001820160405280156110fe5781602001602082028036833780820191505090505b50905060005b845181101561117b5761114b8582815181106111235761112261401f565b5b602002602001015185838151811061113e5761113d61401f565b5b60200260200101516106fd565b82828151811061115e5761115d61401f565b5b602002602001018181525050806111749061407d565b9050611104565b508091505092915050565b6007818051602081018201805184825260208301602085012081835280955050505050506000915090508060000160009054906101000a900460ff16908060000160019054906101000a900460ff16908060000160029054906101000a900460ff16905083565b6111f5611a5a565b611211828260016040518060200160405280600081525061233c565b600960008154809291906112249061407d565b91905055505050565b611235611a5a565b61123f60006124ec565b565b60003414611284576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161127b906141d1565b60405180910390fd5b6112d182828080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f82011690508083019250505050505050611cf1565b5050565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600080600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166381df04a8846040518263ffffffff1660e01b81526004016113599190613dd3565b602060405180830381865afa158015611376573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061139a9190614479565b90506000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16639de431f9856040518263ffffffff1660e01b81526004016113f99190613dd3565b602060405180830381865afa158015611416573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061143a9190614479565b90506000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663c746035c866040518263ffffffff1660e01b81526004016114999190613dd3565b602060405180830381865afa1580156114b6573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906114da9190614479565b90508082846114e991906144a6565b6114f391906144a6565b9350505050919050565b6000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b61152f611a5a565b600060078360405161154191906144da565b90815260200160405180910390209050818160000160016101000a81548160ff02191690831515021790555060018160000160026101000a81548160ff0219169083151502179055506006839080600181540180825580915050600190039060005260206000200160009091909190915090816115be919061467e565b50505050565b6115cc611a5a565b60005b82518110156116c35760008382815181106115ed576115ec61401f565b5b6020026020010151905060005b83518110156116ae576001600860008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060018684815181106116595761165861401f565b5b602002602001015161166b91906141f1565b6007811061167c5761167b61401f565b5b602091828204019190066101000a81548160ff02191690831515021790555080806116a69061407d565b9150506115fa565b505080806116bb9061407d565b9150506115cf565b505050565b6116da6116d3612013565b83836125b2565b5050565b60006116e8612013565b90506116f581848461271e565b81600a600082825461170791906144a6565b92505081905550505050565b61171b611a5a565b60078260405161172b91906144da565b908152602001604051809103902060000160029054906101000a900460ff16611789576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016117809061479c565b60405180910390fd5b8060078360405161179a91906144da565b908152602001604051809103902060000160006101000a81548160ff0219169083151502179055507fcc32216158272e9a66c8556d251644647c63140ac1907eaeefc4c23b6a7e2e5b826040516117f1919061377b565b60405180910390a15050565b6040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161182f90614303565b60405180910390fd5b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b6118d4612013565b73ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff16148061191a575061191985611914612013565b611838565b5b611959576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161195090614297565b60405180910390fd5b6119668585858585612964565b5050505050565b611975611a5a565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16036119e4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016119db9061482e565b60405180910390fd5b6119ed816124ec565b50565b60007f01ffc9a7000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916149050919050565b611a62612013565b73ffffffffffffffffffffffffffffffffffffffff16611a806114fd565b73ffffffffffffffffffffffffffffffffffffffff1614611ad6576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611acd9061489a565b60405180910390fd5b565b8060029081611ae7919061467e565b5050565b6000806000611afa85856106fd565b1490506000801515600860008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600186611b4e91906141f1565b60078110611b5f57611b5e61401f565b5b602091828204019190069054906101000a900460ff161515149050818015611b845750805b925050509392505050565b606060028054611b9e906140f4565b80601f0160208091040260200160405190810160405280929190818152602001828054611bca906140f4565b8015611c175780601f10611bec57610100808354040283529160200191611c17565b820191906000526020600020905b815481529060010190602001808311611bfa57829003601f168201915b50505050509050919050565b606060006001611c3284612bff565b01905060008167ffffffffffffffff811115611c5157611c5061343b565b5b6040519080825280601f01601f191660200182016040528015611c835781602001600182028036833780820191505090505b509050600082602001820190505b600115611ce6578080600190039150507f3031323334353637383961626364656600000000000000000000000000000000600a86061a8153600a8581611cda57611cd96148ba565b5b04945060008503611c91575b819350505050919050565b604051602001611d009061490f565b60405160208183030381529060405280519060200120818051906020012003611d5e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611d5590614970565b60405180910390fd5b60008082806020019051810190611d759190614a3e565b91509150600782604051611d8991906144da565b908152602001604051809103902060000160029054906101000a900460ff16611de7576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611dde9061479c565b60405180910390fd5b600782604051611df791906144da565b908152602001604051809103902060000160009054906101000a900460ff16611e55576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611e4c90614ae6565b60405180910390fd5b6000611e5f612013565b90506000611e6d82846108bb565b90506000815111611eb3576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611eaa90614b52565b60405180910390fd5b60005b815181101561200b57611ef584838381518110611ed657611ed561401f565b5b602002602001015160016040518060200160405280600081525061233c565b60096000815480929190611f089061407d565b91905055506001600860008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206001848481518110611f6357611f6261401f565b5b6020026020010151611f7591906141f1565b60078110611f8657611f8561401f565b5b602091828204019190066101000a81548160ff0219169083151502179055507f30385c845b448a36257a6a1716e6ad2e1bc2cbe333cde1e69fe849ad6511adfe84838381518110611fda57611fd961401f565b5b6020026020010151604051611ff0929190614b72565b60405180910390a180806120039061407d565b915050611eb6565b505050505050565b600033905090565b815183511461205f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161205690614c0d565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff16036120ce576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016120c590614c9f565b60405180910390fd5b60006120d8612013565b90506120e8818787878787612d52565b60005b84518110156122995760008582815181106121095761210861401f565b5b6020026020010151905060008583815181106121285761212761401f565b5b60200260200101519050600080600084815260200190815260200160002060008b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050818110156121c9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016121c090614d31565b60405180910390fd5b81810360008085815260200190815260200160002060008c73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508160008085815260200190815260200160002060008b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461227e91906144a6565b92505081905550505050806122929061407d565b90506120eb565b508473ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167f4a39dc06d4c0dbc64b70af90fd698a233a518aa5d07e595d983b8c0526c8f7fb8787604051612310929190614d51565b60405180910390a4612326818787878787612e00565b612334818787878787612e08565b505050505050565b600073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff16036123ab576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016123a290614dfa565b60405180910390fd5b60006123b5612013565b905060006123c285612fdf565b905060006123cf85612fdf565b90506123e083600089858589612d52565b8460008088815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461243f91906144a6565b925050819055508673ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fc3d58168c5ae7397731d063d5bbf3d657854427343f4c083240f7aacaa2d0f6289896040516124bd929190614e1a565b60405180910390a46124d483600089858589612e00565b6124e383600089898989613059565b50505050505050565b6000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603612620576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161261790614eb5565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31836040516127119190613405565b60405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff160361278d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161278490614f47565b60405180910390fd5b6000612797612013565b905060006127a484612fdf565b905060006127b184612fdf565b90506127d183876000858560405180602001604052806000815250612d52565b600080600087815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905084811015612868576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161285f90614fd9565b60405180910390fd5b84810360008088815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600073ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fc3d58168c5ae7397731d063d5bbf3d657854427343f4c083240f7aacaa2d0f628989604051612935929190614e1a565b60405180910390a461295b84886000868660405180602001604052806000815250612e00565b50505050505050565b600073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff16036129d3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016129ca90614c9f565b60405180910390fd5b60006129dd612013565b905060006129ea85612fdf565b905060006129f785612fdf565b9050612a07838989858589612d52565b600080600088815260200190815260200160002060008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905085811015612a9e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612a9590614d31565b60405180910390fd5b85810360008089815260200190815260200160002060008b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508560008089815260200190815260200160002060008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254612b5391906144a6565b925050819055508773ffffffffffffffffffffffffffffffffffffffff168973ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fc3d58168c5ae7397731d063d5bbf3d657854427343f4c083240f7aacaa2d0f628a8a604051612bd0929190614e1a565b60405180910390a4612be6848a8a86868a612e00565b612bf4848a8a8a8a8a613059565b505050505050505050565b600080600090507a184f03e93ff9f4daa797ed6e38ed64bf6a1f0100000000000000008310612c5d577a184f03e93ff9f4daa797ed6e38ed64bf6a1f0100000000000000008381612c5357612c526148ba565b5b0492506040810190505b6d04ee2d6d415b85acef81000000008310612c9a576d04ee2d6d415b85acef81000000008381612c9057612c8f6148ba565b5b0492506020810190505b662386f26fc100008310612cc957662386f26fc100008381612cbf57612cbe6148ba565b5b0492506010810190505b6305f5e1008310612cf2576305f5e1008381612ce857612ce76148ba565b5b0492506008810190505b6127108310612d17576127108381612d0d57612d0c6148ba565b5b0492506004810190505b60648310612d3a5760648381612d3057612d2f6148ba565b5b0492506002810190505b600a8310612d49576001810190505b80915050919050565b600073ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff161480612db95750600073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff16145b612df8576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612def90615045565b60405180910390fd5b505050505050565b505050505050565b612e278473ffffffffffffffffffffffffffffffffffffffff16613230565b15612fd7578373ffffffffffffffffffffffffffffffffffffffff1663bc197c8187878686866040518663ffffffff1660e01b8152600401612e6d9594939291906150ba565b6020604051808303816000875af1925050508015612ea957506040513d601f19601f82011682018060405250810190612ea69190615137565b60015b612f4e57612eb5615171565b806308c379a003612f115750612ec9615193565b80612ed45750612f13565b806040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612f08919061377b565b60405180910390fd5b505b6040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612f4590615295565b60405180910390fd5b63bc197c8160e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614612fd5576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612fcc90615327565b60405180910390fd5b505b505050505050565b60606000600167ffffffffffffffff811115612ffe57612ffd61343b565b5b60405190808252806020026020018201604052801561302c5781602001602082028036833780820191505090505b50905082816000815181106130445761304361401f565b5b60200260200101818152505080915050919050565b6130788473ffffffffffffffffffffffffffffffffffffffff16613230565b15613228578373ffffffffffffffffffffffffffffffffffffffff1663f23a6e6187878686866040518663ffffffff1660e01b81526004016130be959493929190615347565b6020604051808303816000875af19250505080156130fa57506040513d601f19601f820116820180604052508101906130f79190615137565b60015b61319f57613106615171565b806308c379a003613162575061311a615193565b806131255750613164565b806040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401613159919061377b565b60405180910390fd5b505b6040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161319690615295565b60405180910390fd5b63f23a6e6160e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614613226576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161321d90615327565b60405180910390fd5b505b505050505050565b6000808273ffffffffffffffffffffffffffffffffffffffff163b119050919050565b6000604051905090565b600080fd5b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b600061329282613267565b9050919050565b6132a281613287565b81146132ad57600080fd5b50565b6000813590506132bf81613299565b92915050565b6000819050919050565b6132d8816132c5565b81146132e357600080fd5b50565b6000813590506132f5816132cf565b92915050565b600080604083850312156133125761331161325d565b5b6000613320858286016132b0565b9250506020613331858286016132e6565b9150509250929050565b613344816132c5565b82525050565b600060208201905061335f600083018461333b565b92915050565b60007fffffffff0000000000000000000000000000000000000000000000000000000082169050919050565b61339a81613365565b81146133a557600080fd5b50565b6000813590506133b781613391565b92915050565b6000602082840312156133d3576133d261325d565b5b60006133e1848285016133a8565b91505092915050565b60008115159050919050565b6133ff816133ea565b82525050565b600060208201905061341a60008301846133f6565b92915050565b600080fd5b600080fd5b6000601f19601f8301169050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6134738261342a565b810181811067ffffffffffffffff821117156134925761349161343b565b5b80604052505050565b60006134a5613253565b90506134b1828261346a565b919050565b600067ffffffffffffffff8211156134d1576134d061343b565b5b6134da8261342a565b9050602081019050919050565b82818337600083830152505050565b6000613509613504846134b6565b61349b565b90508281526020810184848401111561352557613524613425565b5b6135308482856134e7565b509392505050565b600082601f83011261354d5761354c613420565b5b813561355d8482602086016134f6565b91505092915050565b60006020828403121561357c5761357b61325d565b5b600082013567ffffffffffffffff81111561359a57613599613262565b5b6135a684828501613538565b91505092915050565b600080604083850312156135c6576135c561325d565b5b60006135d4858286016132b0565b92505060206135e5858286016132b0565b9150509250929050565b600081519050919050565b600082825260208201905092915050565b6000819050602082019050919050565b613624816132c5565b82525050565b6000613636838361361b565b60208301905092915050565b6000602082019050919050565b600061365a826135ef565b61366481856135fa565b935061366f8361360b565b8060005b838110156136a0578151613687888261362a565b975061369283613642565b925050600181019050613673565b5085935050505092915050565b600060208201905081810360008301526136c7818461364f565b905092915050565b6000602082840312156136e5576136e461325d565b5b60006136f3848285016132b0565b91505092915050565b600081519050919050565b600082825260208201905092915050565b60005b8381101561373657808201518184015260208101905061371b565b60008484015250505050565b600061374d826136fc565b6137578185613707565b9350613767818560208601613718565b6137708161342a565b840191505092915050565b600060208201905081810360008301526137958184613742565b905092915050565b6000602082840312156137b3576137b261325d565b5b60006137c1848285016132e6565b91505092915050565b600067ffffffffffffffff8211156137e5576137e461343b565b5b602082029050602081019050919050565b600080fd5b600061380e613809846137ca565b61349b565b90508083825260208201905060208402830185811115613831576138306137f6565b5b835b8181101561385a578061384688826132e6565b845260208401935050602081019050613833565b5050509392505050565b600082601f83011261387957613878613420565b5b81356138898482602086016137fb565b91505092915050565b600067ffffffffffffffff8211156138ad576138ac61343b565b5b6138b68261342a565b9050602081019050919050565b60006138d66138d184613892565b61349b565b9050828152602081018484840111156138f2576138f1613425565b5b6138fd8482856134e7565b509392505050565b600082601f83011261391a57613919613420565b5b813561392a8482602086016138c3565b91505092915050565b600080600080600060a0868803121561394f5761394e61325d565b5b600061395d888289016132b0565b955050602061396e888289016132b0565b945050604086013567ffffffffffffffff81111561398f5761398e613262565b5b61399b88828901613864565b935050606086013567ffffffffffffffff8111156139bc576139bb613262565b5b6139c888828901613864565b925050608086013567ffffffffffffffff8111156139e9576139e8613262565b5b6139f588828901613905565b9150509295509295909350565b600081519050919050565b600082825260208201905092915050565b6000819050602082019050919050565b600082825260208201905092915050565b6000613a4a826136fc565b613a548185613a2e565b9350613a64818560208601613718565b613a6d8161342a565b840191505092915050565b6000613a848383613a3f565b905092915050565b6000602082019050919050565b6000613aa482613a02565b613aae8185613a0d565b935083602082028501613ac085613a1e565b8060005b85811015613afc5784840389528151613add8582613a78565b9450613ae883613a8c565b925060208a01995050600181019050613ac4565b50829750879550505050505092915050565b60006020820190508181036000830152613b288184613a99565b905092915050565b600067ffffffffffffffff821115613b4b57613b4a61343b565b5b602082029050602081019050919050565b6000613b6f613b6a84613b30565b61349b565b90508083825260208201905060208402830185811115613b9257613b916137f6565b5b835b81811015613bbb5780613ba788826132b0565b845260208401935050602081019050613b94565b5050509392505050565b600082601f830112613bda57613bd9613420565b5b8135613bea848260208601613b5c565b91505092915050565b60008060408385031215613c0a57613c0961325d565b5b600083013567ffffffffffffffff811115613c2857613c27613262565b5b613c3485828601613bc5565b925050602083013567ffffffffffffffff811115613c5557613c54613262565b5b613c6185828601613864565b9150509250929050565b6000606082019050613c8060008301866133f6565b613c8d60208301856133f6565b613c9a60408301846133f6565b949350505050565b600080fd5b60008083601f840112613cbd57613cbc613420565b5b8235905067ffffffffffffffff811115613cda57613cd9613ca2565b5b602083019150836001820283011115613cf657613cf56137f6565b5b9250929050565b60008060208385031215613d1457613d1361325d565b5b600083013567ffffffffffffffff811115613d3257613d31613262565b5b613d3e85828601613ca7565b92509250509250929050565b6000819050919050565b6000613d6f613d6a613d6584613267565b613d4a565b613267565b9050919050565b6000613d8182613d54565b9050919050565b6000613d9382613d76565b9050919050565b613da381613d88565b82525050565b6000602082019050613dbe6000830184613d9a565b92915050565b613dcd81613287565b82525050565b6000602082019050613de86000830184613dc4565b92915050565b613df7816133ea565b8114613e0257600080fd5b50565b600081359050613e1481613dee565b92915050565b60008060408385031215613e3157613e3061325d565b5b600083013567ffffffffffffffff811115613e4f57613e4e613262565b5b613e5b85828601613538565b9250506020613e6c85828601613e05565b9150509250929050565b60008060408385031215613e8d57613e8c61325d565b5b6000613e9b858286016132b0565b9250506020613eac85828601613e05565b9150509250929050565b60008060408385031215613ecd57613ecc61325d565b5b6000613edb858286016132e6565b9250506020613eec858286016132e6565b9150509250929050565b600080600080600060a08688031215613f1257613f1161325d565b5b6000613f20888289016132b0565b9550506020613f31888289016132b0565b9450506040613f42888289016132e6565b9350506060613f53888289016132e6565b925050608086013567ffffffffffffffff811115613f7457613f73613262565b5b613f8088828901613905565b9150509295509295909350565b7f455243313135353a2061646472657373207a65726f206973206e6f742061207660008201527f616c6964206f776e657200000000000000000000000000000000000000000000602082015250565b6000613fe9602a83613707565b9150613ff482613f8d565b604082019050919050565b6000602082019050818103600083015261401881613fdc565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000614088826132c5565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82036140ba576140b961404e565b5b600182019050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000600282049050600182168061410c57607f821691505b60208210810361411f5761411e6140c5565b5b50919050565b600081905092915050565b600061413b826136fc565b6141458185614125565b9350614155818560208601613718565b80840191505092915050565b600061416d8285614130565b91506141798284614130565b91508190509392505050565b7f496e76616c696420455448000000000000000000000000000000000000000000600082015250565b60006141bb600b83613707565b91506141c682614185565b602082019050919050565b600060208201905081810360008301526141ea816141ae565b9050919050565b60006141fc826132c5565b9150614207836132c5565b925082820390508181111561421f5761421e61404e565b5b92915050565b7f455243313135353a2063616c6c6572206973206e6f7420746f6b656e206f776e60008201527f6572206f7220617070726f766564000000000000000000000000000000000000602082015250565b6000614281602e83613707565b915061428c82614225565b604082019050919050565b600060208201905081810360008301526142b081614274565b9050919050565b7f4e6f7420496d706c656d656e7400000000000000000000000000000000000000600082015250565b60006142ed600d83613707565b91506142f8826142b7565b602082019050919050565b6000602082019050818103600083015261431c816142e0565b9050919050565b60008190508160005260206000209050919050565b60008154614345816140f4565b61434f8186614125565b9450600182166000811461436a576001811461437f576143b2565b60ff19831686528115158202860193506143b2565b61438885614323565b60005b838110156143aa5781548189015260018201915060208101905061438b565b838801955050505b50505092915050565b60006143c78284614338565b915081905092915050565b7f455243313135353a206163636f756e747320616e6420696473206c656e67746860008201527f206d69736d617463680000000000000000000000000000000000000000000000602082015250565b600061442e602983613707565b9150614439826143d2565b604082019050919050565b6000602082019050818103600083015261445d81614421565b9050919050565b600081519050614473816132cf565b92915050565b60006020828403121561448f5761448e61325d565b5b600061449d84828501614464565b91505092915050565b60006144b1826132c5565b91506144bc836132c5565b92508282019050808211156144d4576144d361404e565b5b92915050565b60006144e68284614130565b915081905092915050565b60006020601f8301049050919050565b600082821b905092915050565b60006008830261453e7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82614501565b6145488683614501565b95508019841693508086168417925050509392505050565b600061457b614576614571846132c5565b613d4a565b6132c5565b9050919050565b6000819050919050565b61459583614560565b6145a96145a182614582565b84845461450e565b825550505050565b600090565b6145be6145b1565b6145c981848461458c565b505050565b5b818110156145ed576145e26000826145b6565b6001810190506145cf565b5050565b601f8211156146325761460381614323565b61460c846144f1565b8101602085101561461b578190505b61462f614627856144f1565b8301826145ce565b50505b505050565b600082821c905092915050565b600061465560001984600802614637565b1980831691505092915050565b600061466e8383614644565b9150826002028217905092915050565b614687826136fc565b67ffffffffffffffff8111156146a05761469f61343b565b5b6146aa82546140f4565b6146b58282856145f1565b600060209050601f8311600181146146e857600084156146d6578287015190505b6146e08582614662565b865550614748565b601f1984166146f686614323565b60005b8281101561471e578489015182556001820191506020850194506020810190506146f9565b8683101561473b5784890151614737601f891682614644565b8355505b6001600288020188555050505b505050505050565b7f4e6f742045786973740000000000000000000000000000000000000000000000600082015250565b6000614786600983613707565b915061479182614750565b602082019050919050565b600060208201905081810360008301526147b581614779565b9050919050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b6000614818602683613707565b9150614823826147bc565b604082019050919050565b600060208201905081810360008301526148478161480b565b9050919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b6000614884602083613707565b915061488f8261484e565b602082019050919050565b600060208201905081810360008301526148b381614877565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b50565b60006148f9600083614125565b9150614904826148e9565b600082019050919050565b600061491a826148ec565b9150819050919050565b7f456d707479204172677300000000000000000000000000000000000000000000600082015250565b600061495a600a83613707565b915061496582614924565b602082019050919050565b600060208201905081810360008301526149898161494d565b9050919050565b60006149a361499e846134b6565b61349b565b9050828152602081018484840111156149bf576149be613425565b5b6149ca848285613718565b509392505050565b600082601f8301126149e7576149e6613420565b5b81516149f7848260208601614990565b91505092915050565b6000614a0b82613267565b9050919050565b614a1b81614a00565b8114614a2657600080fd5b50565b600081519050614a3881614a12565b92915050565b60008060408385031215614a5557614a5461325d565b5b600083015167ffffffffffffffff811115614a7357614a72613262565b5b614a7f858286016149d2565b9250506020614a9085828601614a29565b9150509250929050565b7f4e6f74204f70656e656400000000000000000000000000000000000000000000600082015250565b6000614ad0600a83613707565b9150614adb82614a9a565b602082019050919050565b60006020820190508181036000830152614aff81614ac3565b9050919050565b7f4e6f74205175616c696669656400000000000000000000000000000000000000600082015250565b6000614b3c600d83613707565b9150614b4782614b06565b602082019050919050565b60006020820190508181036000830152614b6b81614b2f565b9050919050565b6000604082019050614b876000830185613dc4565b614b94602083018461333b565b9392505050565b7f455243313135353a2069647320616e6420616d6f756e7473206c656e6774682060008201527f6d69736d61746368000000000000000000000000000000000000000000000000602082015250565b6000614bf7602883613707565b9150614c0282614b9b565b604082019050919050565b60006020820190508181036000830152614c2681614bea565b9050919050565b7f455243313135353a207472616e7366657220746f20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b6000614c89602583613707565b9150614c9482614c2d565b604082019050919050565b60006020820190508181036000830152614cb881614c7c565b9050919050565b7f455243313135353a20696e73756666696369656e742062616c616e636520666f60008201527f72207472616e7366657200000000000000000000000000000000000000000000602082015250565b6000614d1b602a83613707565b9150614d2682614cbf565b604082019050919050565b60006020820190508181036000830152614d4a81614d0e565b9050919050565b60006040820190508181036000830152614d6b818561364f565b90508181036020830152614d7f818461364f565b90509392505050565b7f455243313135353a206d696e7420746f20746865207a65726f2061646472657360008201527f7300000000000000000000000000000000000000000000000000000000000000602082015250565b6000614de4602183613707565b9150614def82614d88565b604082019050919050565b60006020820190508181036000830152614e1381614dd7565b9050919050565b6000604082019050614e2f600083018561333b565b614e3c602083018461333b565b9392505050565b7f455243313135353a2073657474696e6720617070726f76616c2073746174757360008201527f20666f722073656c660000000000000000000000000000000000000000000000602082015250565b6000614e9f602983613707565b9150614eaa82614e43565b604082019050919050565b60006020820190508181036000830152614ece81614e92565b9050919050565b7f455243313135353a206275726e2066726f6d20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b6000614f31602383613707565b9150614f3c82614ed5565b604082019050919050565b60006020820190508181036000830152614f6081614f24565b9050919050565b7f455243313135353a206275726e20616d6f756e7420657863656564732062616c60008201527f616e636500000000000000000000000000000000000000000000000000000000602082015250565b6000614fc3602483613707565b9150614fce82614f67565b604082019050919050565b60006020820190508181036000830152614ff281614fb6565b9050919050565b7f4e6f7420616c6c6f77656420746f207472616e7366657220746f6b656e000000600082015250565b600061502f601d83613707565b915061503a82614ff9565b602082019050919050565b6000602082019050818103600083015261505e81615022565b9050919050565b600081519050919050565b600082825260208201905092915050565b600061508c82615065565b6150968185615070565b93506150a6818560208601613718565b6150af8161342a565b840191505092915050565b600060a0820190506150cf6000830188613dc4565b6150dc6020830187613dc4565b81810360408301526150ee818661364f565b90508181036060830152615102818561364f565b905081810360808301526151168184615081565b90509695505050505050565b60008151905061513181613391565b92915050565b60006020828403121561514d5761514c61325d565b5b600061515b84828501615122565b91505092915050565b60008160e01c9050919050565b600060033d11156151905760046000803e61518d600051615164565b90505b90565b600060443d10615220576151a5613253565b60043d036004823e80513d602482011167ffffffffffffffff821117156151cd575050615220565b808201805167ffffffffffffffff8111156151eb5750505050615220565b80602083010160043d038501811115615208575050505050615220565b6152178260200185018661346a565b82955050505050505b90565b7f455243313135353a207472616e7366657220746f206e6f6e2d4552433131353560008201527f526563656976657220696d706c656d656e746572000000000000000000000000602082015250565b600061527f603483613707565b915061528a82615223565b604082019050919050565b600060208201905081810360008301526152ae81615272565b9050919050565b7f455243313135353a204552433131353552656365697665722072656a6563746560008201527f6420746f6b656e73000000000000000000000000000000000000000000000000602082015250565b6000615311602883613707565b915061531c826152b5565b604082019050919050565b6000602082019050818103600083015261534081615304565b9050919050565b600060a08201905061535c6000830188613dc4565b6153696020830187613dc4565b615376604083018661333b565b615383606083018561333b565b81810360808301526153958184615081565b9050969550505050505056fea2646970667358221220709fbf0e54817e008bfca243c47104fd3c363cc7fead0be34e3ae29e352225fe64736f6c63430008110033

56797:7069:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;24653:230;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;23676:310;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;63042:112;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;58825:1819;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;62410:83;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;56858:38;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;58229:267;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;57472:143;;;:::i;:::-;;58078:129;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;26596:438;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;63170:81;;;;;;;;;;;;;:::i;:::-;;57009:55;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;57629:435;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;25049:524;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;56954:48;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;;;:::i;:::-;;;;;;;;63357:133;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;2884:103;;;;;;;;;;;;;:::i;:::-;;57302:164;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;56903:15;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;58510:301;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2236:87;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;62771:257;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;63504:357;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;25646:155;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;60661:170;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;62507:250;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;63257:86;;;;;;;;;;;;;:::i;:::-;;25873:168;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;26113:406;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;3142:201;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;24653:230;24739:7;24786:1;24767:21;;:7;:21;;;24759:76;;;;;;;;;;;;:::i;:::-;;;;;;;;;24853:9;:13;24863:2;24853:13;;;;;;;;;;;:22;24867:7;24853:22;;;;;;;;;;;;;;;;24846:29;;24653:230;;;;:::o;23676:310::-;23778:4;23830:26;23815:41;;;:11;:41;;;;:110;;;;23888:37;23873:52;;;:11;:52;;;;23815:110;:163;;;;23942:36;23966:11;23942:23;:36::i;:::-;23815:163;23795:183;;23676:310;;;:::o;63042:112::-;2122:13;:11;:13::i;:::-;63131:15:::1;63139:6;63131:7;:15::i;:::-;63042:112:::0;:::o;58825:1819::-;58911:13;58936:20;58959:28;58978:8;58959:18;:28::i;:::-;58936:51;;58998:17;59029:1;59018:13;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;58998:33;;59042:10;59067:12;59131:1;59121:11;;59165:1;59146:15;:20;;:71;;;;;59170:47;59189:8;59199;59209:7;59170:18;:47::i;:::-;59146:71;59143:144;;;59246:7;59233:3;59237:5;59233:10;;;;;;;;:::i;:::-;;;;;;;:20;;;;;59268:7;;;;;:::i;:::-;;;;59143:144;59326:1;59316:11;;59360:1;59341:15;:20;;:71;;;;;59365:47;59384:8;59394;59404:7;59365:18;:47::i;:::-;59341:71;59338:144;;;59441:7;59428:3;59432:5;59428:10;;;;;;;;:::i;:::-;;;;;;;:20;;;;;59463:7;;;;;:::i;:::-;;;;59338:144;59521:1;59511:11;;59555:1;59536:15;:20;;:71;;;;;59560:47;59579:8;59589;59599:7;59560:18;:47::i;:::-;59536:71;59533:144;;;59636:7;59623:3;59627:5;59623:10;;;;;;;;:::i;:::-;;;;;;;:20;;;;;59658:7;;;;;:::i;:::-;;;;59533:144;59714:1;59704:11;;59748:2;59729:15;:21;;:72;;;;;59754:47;59773:8;59783;59793:7;59754:18;:47::i;:::-;59729:72;59726:145;;;59830:7;59817:3;59821:5;59817:10;;;;;;;;:::i;:::-;;;;;;;:20;;;;;59852:7;;;;;:::i;:::-;;;;59726:145;59912:1;59902:11;;59946:2;59927:15;:21;;:72;;;;;59952:47;59971:8;59981;59991:7;59952:18;:47::i;:::-;59927:72;59924:145;;;60028:7;60015:3;60019:5;60015:10;;;;;;;;:::i;:::-;;;;;;;:20;;;;;60050:7;;;;;:::i;:::-;;;;59924:145;60109:1;60099:11;;60143:2;60124:15;:21;;:72;;;;;60149:47;60168:8;60178;60188:7;60149:18;:47::i;:::-;60124:72;60121:145;;;60225:7;60212:3;60216:5;60212:10;;;;;;;;:::i;:::-;;;;;;;:20;;;;;60247:7;;;;;:::i;:::-;;;;60121:145;60310:1;60300:11;;60344:3;60325:15;:22;;:73;;;;;60351:47;60370:8;60380;60390:7;60351:18;:47::i;:::-;60325:73;60322:146;;;60427:7;60414:3;60418:5;60414:10;;;;;;;;:::i;:::-;;;;;;;:20;;;;;60449:7;;;;;:::i;:::-;;;;60322:146;60490:20;60524:5;60513:17;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;60490:40;;60545:6;60541:72;60557:5;60555:1;:7;60541:72;;;60595:3;60599:1;60595:6;;;;;;;;:::i;:::-;;;;;;;;60583;60590:1;60583:9;;;;;;;;:::i;:::-;;;;;;;:18;;;;;60564:3;;;;;:::i;:::-;;;;60541:72;;;;60630:6;60623:13;;;;;;;58825:1819;;;;:::o;62410:83::-;2122:13;:11;:13::i;:::-;62480:4:::1;62469:3;;:16;;;;;;;;;;;;;;;;;;62410:83:::0;:::o;56858:38::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;58229:267::-;58307:13;58333:21;58357:19;58367:8;58357:9;:19::i;:::-;58333:43;;58418:1;58400:7;58394:21;:25;:94;;;;;;;;;;;;;;;;;58446:7;58455:26;58472:8;58455:16;:26::i;:::-;58429:53;;;;;;;;;:::i;:::-;;;;;;;;;;;;;58394:94;58387:101;;;58229:267;;;:::o;57472:143::-;57568:1;57555:9;:14;57546:39;;;;;;;;;;;;:::i;:::-;;;;;;;;;57596:11;;;;;;;;;;;;;:7;:11::i;:::-;57472:143::o;58078:129::-;58144:7;58186:13;;58170;;:29;;;;:::i;:::-;58163:36;;58078:129;:::o;26596:438::-;26837:12;:10;:12::i;:::-;26829:20;;:4;:20;;;:60;;;;26853:36;26870:4;26876:12;:10;:12::i;:::-;26853:16;:36::i;:::-;26829:60;26807:156;;;;;;;;;;;;:::i;:::-;;;;;;;;;26974:52;26997:4;27003:2;27007:3;27012:7;27021:4;26974:22;:52::i;:::-;26596:438;;;;;:::o;63170:81::-;63226:23;;;;;;;;;;:::i;:::-;;;;;;;;57009:55;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;57629:435::-;57706:15;57733:22;57771:13;:20;;;;57758:34;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;57733:59;;57803:10;57832:6;57828:205;57846:13;:20;;;;57842:1;:24;57828:205;;;57890:11;57902:13;57916:1;57902:16;;;;;;;;:::i;:::-;;;;;;;;;57890:29;;;;;;:::i;:::-;;;;;;;;;;;;;:38;;;;;;;;;;;;57887:135;;;57964:13;57978:1;57964:16;;;;;;;;:::i;:::-;;;;;;;;;57948:32;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:6;57955:5;57948:13;;;;;;;;:::i;:::-;;;;;;;:32;;;;57999:7;;;;;:::i;:::-;;;;57887:135;57868:3;;;;;:::i;:::-;;;;57828:205;;;;58050:6;58043:13;;;;57629:435;:::o;25049:524::-;25205:16;25266:3;:10;25247:8;:15;:29;25239:83;;;;;;;;;;;;:::i;:::-;;;;;;;;;25335:30;25382:8;:15;25368:30;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;25335:63;;25416:9;25411:122;25435:8;:15;25431:1;:19;25411:122;;;25491:30;25501:8;25510:1;25501:11;;;;;;;;:::i;:::-;;;;;;;;25514:3;25518:1;25514:6;;;;;;;;:::i;:::-;;;;;;;;25491:9;:30::i;:::-;25472:13;25486:1;25472:16;;;;;;;;:::i;:::-;;;;;;;:49;;;;;25452:3;;;;:::i;:::-;;;25411:122;;;;25552:13;25545:20;;;25049:524;;;;:::o;56954:48::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;63357:133::-;2122:13;:11;:13::i;:::-;63431:25:::1;63437:2;63441:7;63450:1;63431:25;;;;;;;;;;;::::0;:5:::1;:25::i;:::-;63467:13;;:15;;;;;;;;;:::i;:::-;;;;;;63357:133:::0;;:::o;2884:103::-;2122:13;:11;:13::i;:::-;2949:30:::1;2976:1;2949:18;:30::i;:::-;2884:103::o:0;57302:164::-;57417:1;57404:9;:14;57395:39;;;;;;;;;;;;:::i;:::-;;;;;;;;;57445:13;57453:4;;57445:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:7;:13::i;:::-;57302:164;;:::o;56903:15::-;;;;;;;;;;;;;:::o;58510:301::-;58575:4;58591:15;58609:3;;;;;;;;;;;:21;;;58631:7;58609:30;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;58591:48;;58650:11;58664:3;;;;;;;;;;;:21;;;58686:7;58664:30;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;58650:44;;58705:15;58723:3;;;;;;;;;;;:21;;;58745:7;58723:30;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;58705:48;;58793:10;58784:6;58771:10;:19;;;;:::i;:::-;:32;;;;:::i;:::-;58764:39;;;;;58510:301;;;:::o;2236:87::-;2282:7;2309:6;;;;;;;;;;;2302:13;;2236:87;:::o;62771:257::-;2122:13;:11;:13::i;:::-;62863:21:::1;62887:11;62899:8;62887:21;;;;;;:::i;:::-;;;;;;;;;;;;;62863:45;;62939:13;62919:4;:17;;;:33;;;;;;;;;;;;;;;;;;62977:4;62963;:11;;;:18;;;;;;;;;;;;;;;;;;62992:13;63011:8;62992:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;62852:176;62771:257:::0;;:::o;63504:357::-;2122:13;:11;:13::i;:::-;63611:6:::1;63607:247;63623:9;:16;63621:1;:18;63607:247;;;63660:16;63679:9;63689:1;63679:12;;;;;;;;:::i;:::-;;;;;;;;63660:31;;63724:6;63720:123;63736:8;:15;63734:1;:17;63720:123;;;63823:4;63776:17;:27;63794:8;63776:27;;;;;;;;;;;;;;;63818:1;63804:8;63813:1;63804:11;;;;;;;;:::i;:::-;;;;;;;;:15;;;;:::i;:::-;63776:44;;;;;;;:::i;:::-;;;;;;;;;;;:51;;;;;;;;;;;;;;;;;;63753:3;;;;;:::i;:::-;;;;63720:123;;;;63645:209;63641:3;;;;;:::i;:::-;;;;63607:247;;;;63504:357:::0;;:::o;25646:155::-;25741:52;25760:12;:10;:12::i;:::-;25774:8;25784;25741:18;:52::i;:::-;25646:155;;:::o;60661:170::-;60722:15;60740:12;:10;:12::i;:::-;60722:30;;60763:26;60769:7;60778:2;60782:6;60763:5;:26::i;:::-;60817:6;60800:13;;:23;;;;;;;:::i;:::-;;;;;;;;60711:120;60661:170;;:::o;62507:250::-;2122:13;:11;:13::i;:::-;62613:11:::1;62625:8;62613:21;;;;;;:::i;:::-;;;;;;;;;;;;;:28;;;;;;;;;;;;62605:50;;;;;;;;;;;;:::i;:::-;;;;;;;;;62699:9;62666:11;62678:8;62666:21;;;;;;:::i;:::-;;;;;;;;;;;;;:30;;;:42;;;;;;;;;;;;;;;;;;62724:25;62740:8;62724:25;;;;;;:::i;:::-;;;;;;;;62507:250:::0;;:::o;63257:86::-;63318:23;;;;;;;;;;:::i;:::-;;;;;;;;25873:168;25972:4;25996:18;:27;26015:7;25996:27;;;;;;;;;;;;;;;:37;26024:8;25996:37;;;;;;;;;;;;;;;;;;;;;;;;;25989:44;;25873:168;;;;:::o;26113:406::-;26329:12;:10;:12::i;:::-;26321:20;;:4;:20;;;:60;;;;26345:36;26362:4;26368:12;:10;:12::i;:::-;26345:16;:36::i;:::-;26321:60;26299:156;;;;;;;;;;;;:::i;:::-;;;;;;;;;26466:45;26484:4;26490:2;26494;26498:6;26506:4;26466:17;:45::i;:::-;26113:406;;;;;:::o;3142:201::-;2122:13;:11;:13::i;:::-;3251:1:::1;3231:22;;:8;:22;;::::0;3223:73:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;3307:28;3326:8;3307:18;:28::i;:::-;3142:201:::0;:::o;22414:157::-;22499:4;22538:25;22523:40;;;:11;:40;;;;22516:47;;22414:157;;;:::o;2401:132::-;2476:12;:10;:12::i;:::-;2465:23;;:7;:5;:7::i;:::-;:23;;;2457:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;2401:132::o;30820:88::-;30894:6;30887:4;:13;;;;;;:::i;:::-;;30820:88;:::o;60853:325::-;60953:4;60979:18;61032:1;61000:28;61010:8;61020:7;61000:9;:28::i;:::-;:33;60979:54;;61054:17;61118:5;61074:49;;:17;:27;61092:8;61074:27;;;;;;;;;;;;;;;61112:1;61102:7;:11;;;;:::i;:::-;61074:40;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;:49;;;61054:69;;61141:13;:29;;;;;61158:12;61141:29;61134:36;;;;60853:325;;;;;:::o;24397:105::-;24457:13;24490:4;24483:11;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;24397:105;;;:::o;53497:716::-;53553:13;53604:14;53641:1;53621:17;53632:5;53621:10;:17::i;:::-;:21;53604:38;;53657:20;53691:6;53680:18;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;53657:41;;53713:11;53842:6;53838:2;53834:15;53826:6;53822:28;53815:35;;53879:288;53886:4;53879:288;;;53911:5;;;;;;;;54053:8;54048:2;54041:5;54037:14;54032:30;54027:3;54019:44;54109:2;54100:11;;;;;;:::i;:::-;;;;;54143:1;54134:5;:10;53879:288;54130:21;53879:288;54188:6;54181:13;;;;;53497:716;;;:::o;61198:804::-;61290:20;;;;;;;:::i;:::-;;;;;;;;;;;;;61280:31;;;;;;61271:4;61261:15;;;;;;:50;61253:73;;;;;;;;;;;;:::i;:::-;;;;;;;;;61338:22;61362:16;61393:4;61382:35;;;;;;;;;;;;:::i;:::-;61337:80;;;;61446:11;61458:8;61446:21;;;;;;:::i;:::-;;;;;;;;;;;;;:28;;;;;;;;;;;;61438:50;;;;;;;;;;;;:::i;:::-;;;;;;;;;61507:11;61519:8;61507:21;;;;;;:::i;:::-;;;;;;;;;;;;;:30;;;;;;;;;;;;61499:53;;;;;;;;;;;;:::i;:::-;;;;;;;;;61573:16;61592:12;:10;:12::i;:::-;61573:31;;61615:17;61635:40;61656:8;61666;61635:20;:40::i;:::-;61615:60;;61717:1;61704:3;:10;:14;61696:40;;;;;;;;;;;;:::i;:::-;;;;;;;;;61761:6;61757:238;61773:3;:10;61771:1;:12;61757:238;;;61804:30;61810:8;61820:3;61824:1;61820:6;;;;;;;;:::i;:::-;;;;;;;;61828:1;61804:30;;;;;;;;;;;;:5;:30::i;:::-;61849:13;;:15;;;;;;;;;:::i;:::-;;;;;;61935:4;61893:17;:27;61911:8;61893:27;;;;;;;;;;;;;;;61930:1;61921:3;61925:1;61921:6;;;;;;;;:::i;:::-;;;;;;;;:10;;;;:::i;:::-;61893:39;;;;;;;:::i;:::-;;;;;;;;;;;:46;;;;;;;;;;;;;;;;;;61959:24;61966:8;61976:3;61980:1;61976:6;;;;;;;;:::i;:::-;;;;;;;;61959:24;;;;;;;:::i;:::-;;;;;;;;61785:3;;;;;:::i;:::-;;;;61757:238;;;;61242:760;;;;61198:804;:::o;781:98::-;834:7;861:10;854:17;;781:98;:::o;28830:1146::-;29057:7;:14;29043:3;:10;:28;29035:81;;;;;;;;;;;;:::i;:::-;;;;;;;;;29149:1;29135:16;;:2;:16;;;29127:66;;;;;;;;;;;;:::i;:::-;;;;;;;;;29206:16;29225:12;:10;:12::i;:::-;29206:31;;29250:60;29271:8;29281:4;29287:2;29291:3;29296:7;29305:4;29250:20;:60::i;:::-;29328:9;29323:421;29347:3;:10;29343:1;:14;29323:421;;;29379:10;29392:3;29396:1;29392:6;;;;;;;;:::i;:::-;;;;;;;;29379:19;;29413:14;29430:7;29438:1;29430:10;;;;;;;;:::i;:::-;;;;;;;;29413:27;;29457:19;29479:9;:13;29489:2;29479:13;;;;;;;;;;;:19;29493:4;29479:19;;;;;;;;;;;;;;;;29457:41;;29536:6;29521:11;:21;;29513:76;;;;;;;;;;;;:::i;:::-;;;;;;;;;29669:6;29655:11;:20;29633:9;:13;29643:2;29633:13;;;;;;;;;;;:19;29647:4;29633:19;;;;;;;;;;;;;;;:42;;;;29726:6;29705:9;:13;29715:2;29705:13;;;;;;;;;;;:17;29719:2;29705:17;;;;;;;;;;;;;;;;:27;;;;;;;:::i;:::-;;;;;;;;29364:380;;;29359:3;;;;:::i;:::-;;;29323:421;;;;29791:2;29761:47;;29785:4;29761:47;;29775:8;29761:47;;;29795:3;29800:7;29761:47;;;;;;;:::i;:::-;;;;;;;;29821:59;29841:8;29851:4;29857:2;29861:3;29866:7;29875:4;29821:19;:59::i;:::-;29893:75;29929:8;29939:4;29945:2;29949:3;29954:7;29963:4;29893:35;:75::i;:::-;29024:952;28830:1146;;;;;:::o;31294:729::-;31461:1;31447:16;;:2;:16;;;31439:62;;;;;;;;;;;;:::i;:::-;;;;;;;;;31514:16;31533:12;:10;:12::i;:::-;31514:31;;31556:20;31579:21;31597:2;31579:17;:21::i;:::-;31556:44;;31611:24;31638:25;31656:6;31638:17;:25::i;:::-;31611:52;;31676:66;31697:8;31715:1;31719:2;31723:3;31728:7;31737:4;31676:20;:66::i;:::-;31776:6;31755:9;:13;31765:2;31755:13;;;;;;;;;;;:17;31769:2;31755:17;;;;;;;;;;;;;;;;:27;;;;;;;:::i;:::-;;;;;;;;31835:2;31798:52;;31831:1;31798:52;;31813:8;31798:52;;;31839:2;31843:6;31798:52;;;;;;;:::i;:::-;;;;;;;;31863:65;31883:8;31901:1;31905:2;31909:3;31914:7;31923:4;31863:19;:65::i;:::-;31941:74;31972:8;31990:1;31994:2;31998;32002:6;32010:4;31941:30;:74::i;:::-;31428:595;;;31294:729;;;;:::o;3503:191::-;3577:16;3596:6;;;;;;;;;;;3577:25;;3622:8;3613:6;;:17;;;;;;;;;;;;;;;;;;3677:8;3646:40;;3667:8;3646:40;;;;;;;;;;;;3566:128;3503:191;:::o;35707:331::-;35862:8;35853:17;;:5;:17;;;35845:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;35965:8;35927:18;:25;35946:5;35927:25;;;;;;;;;;;;;;;:35;35953:8;35927:35;;;;;;;;;;;;;;;;:46;;;;;;;;;;;;;;;;;;36011:8;35989:41;;36004:5;35989:41;;;36021:8;35989:41;;;;;;:::i;:::-;;;;;;;;35707:331;;;:::o;33537:808::-;33680:1;33664:18;;:4;:18;;;33656:66;;;;;;;;;;;;:::i;:::-;;;;;;;;;33735:16;33754:12;:10;:12::i;:::-;33735:31;;33777:20;33800:21;33818:2;33800:17;:21::i;:::-;33777:44;;33832:24;33859:25;33877:6;33859:17;:25::i;:::-;33832:52;;33897:66;33918:8;33928:4;33942:1;33946:3;33951:7;33897:66;;;;;;;;;;;;:20;:66::i;:::-;33976:19;33998:9;:13;34008:2;33998:13;;;;;;;;;;;:19;34012:4;33998:19;;;;;;;;;;;;;;;;33976:41;;34051:6;34036:11;:21;;34028:70;;;;;;;;;;;;:::i;:::-;;;;;;;;;34170:6;34156:11;:20;34134:9;:13;34144:2;34134:13;;;;;;;;;;;:19;34148:4;34134:19;;;;;;;;;;;;;;;:42;;;;34244:1;34205:54;;34230:4;34205:54;;34220:8;34205:54;;;34248:2;34252:6;34205:54;;;;;;;:::i;:::-;;;;;;;;34272:65;34292:8;34302:4;34316:1;34320:3;34325:7;34272:65;;;;;;;;;;;;:19;:65::i;:::-;33645:700;;;;33537:808;;;:::o;27498:974::-;27700:1;27686:16;;:2;:16;;;27678:66;;;;;;;;;;;;:::i;:::-;;;;;;;;;27757:16;27776:12;:10;:12::i;:::-;27757:31;;27799:20;27822:21;27840:2;27822:17;:21::i;:::-;27799:44;;27854:24;27881:25;27899:6;27881:17;:25::i;:::-;27854:52;;27919:60;27940:8;27950:4;27956:2;27960:3;27965:7;27974:4;27919:20;:60::i;:::-;27992:19;28014:9;:13;28024:2;28014:13;;;;;;;;;;;:19;28028:4;28014:19;;;;;;;;;;;;;;;;27992:41;;28067:6;28052:11;:21;;28044:76;;;;;;;;;;;;:::i;:::-;;;;;;;;;28192:6;28178:11;:20;28156:9;:13;28166:2;28156:13;;;;;;;;;;;:19;28170:4;28156:19;;;;;;;;;;;;;;;:42;;;;28241:6;28220:9;:13;28230:2;28220:13;;;;;;;;;;;:17;28234:2;28220:17;;;;;;;;;;;;;;;;:27;;;;;;;:::i;:::-;;;;;;;;28296:2;28265:46;;28290:4;28265:46;;28280:8;28265:46;;;28300:2;28304:6;28265:46;;;;;;;:::i;:::-;;;;;;;;28324:59;28344:8;28354:4;28360:2;28364:3;28369:7;28378:4;28324:19;:59::i;:::-;28396:68;28427:8;28437:4;28443:2;28447;28451:6;28459:4;28396:30;:68::i;:::-;27667:805;;;;27498:974;;;;;:::o;50357:922::-;50410:7;50430:14;50447:1;50430:18;;50497:6;50488:5;:15;50484:102;;50533:6;50524:15;;;;;;:::i;:::-;;;;;50568:2;50558:12;;;;50484:102;50613:6;50604:5;:15;50600:102;;50649:6;50640:15;;;;;;:::i;:::-;;;;;50684:2;50674:12;;;;50600:102;50729:6;50720:5;:15;50716:102;;50765:6;50756:15;;;;;;:::i;:::-;;;;;50800:2;50790:12;;;;50716:102;50845:5;50836;:14;50832:99;;50880:5;50871:14;;;;;;:::i;:::-;;;;;50914:1;50904:11;;;;50832:99;50958:5;50949;:14;50945:99;;50993:5;50984:14;;;;;;:::i;:::-;;;;;51027:1;51017:11;;;;50945:99;51071:5;51062;:14;51058:99;;51106:5;51097:14;;;;;;:::i;:::-;;;;;51140:1;51130:11;;;;51058:99;51184:5;51175;:14;51171:66;;51220:1;51210:11;;;;51171:66;51265:6;51258:13;;;50357:922;;;:::o;62016:370::-;62299:1;62283:18;;:4;:18;;;:38;;;;62319:1;62305:16;;:2;:16;;;62283:38;62261:117;;;;;;;;;;;;:::i;:::-;;;;;;;;;62016:370;;;;;;:::o;38172:220::-;;;;;;;:::o;39152:813::-;39392:15;:2;:13;;;:15::i;:::-;39388:570;;;39445:2;39428:43;;;39472:8;39482:4;39488:3;39493:7;39502:4;39428:79;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;39424:523;;;;:::i;:::-;;;;;;;;;:::i;:::-;;;;;;;;39820:6;39813:14;;;;;;;;;;;:::i;:::-;;;;;;;;39424:523;;;39869:62;;;;;;;;;;:::i;:::-;;;;;;;;39424:523;39601:48;;;39589:60;;;:8;:60;;;;39585:159;;39674:50;;;;;;;;;;:::i;:::-;;;;;;;;39585:159;39508:251;39388:570;39152:813;;;;;;:::o;39973:198::-;40039:16;40068:22;40107:1;40093:16;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;40068:41;;40131:7;40120:5;40126:1;40120:8;;;;;;;;:::i;:::-;;;;;;;:18;;;;;40158:5;40151:12;;;39973:198;;;:::o;38400:744::-;38615:15;:2;:13;;;:15::i;:::-;38611:526;;;38668:2;38651:38;;;38690:8;38700:4;38706:2;38710:6;38718:4;38651:72;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;38647:479;;;;:::i;:::-;;;;;;;;;:::i;:::-;;;;;;;;38999:6;38992:14;;;;;;;;;;;:::i;:::-;;;;;;;;38647:479;;;39048:62;;;;;;;;;;:::i;:::-;;;;;;;;38647:479;38785:43;;;38773:55;;;:8;:55;;;;38769:154;;38853:50;;;;;;;;;;:::i;:::-;;;;;;;;38769:154;38724:214;38611:526;38400:744;;;;;;:::o;13348:326::-;13408:4;13665:1;13643:7;:19;;;:23;13636:30;;13348:326;;;:::o;7:75:1:-;40:6;73:2;67:9;57:19;;7:75;:::o;88:117::-;197:1;194;187:12;211:117;320:1;317;310:12;334:126;371:7;411:42;404:5;400:54;389:65;;334:126;;;:::o;466:96::-;503:7;532:24;550:5;532:24;:::i;:::-;521:35;;466:96;;;:::o;568:122::-;641:24;659:5;641:24;:::i;:::-;634:5;631:35;621:63;;680:1;677;670:12;621:63;568:122;:::o;696:139::-;742:5;780:6;767:20;758:29;;796:33;823:5;796:33;:::i;:::-;696:139;;;;:::o;841:77::-;878:7;907:5;896:16;;841:77;;;:::o;924:122::-;997:24;1015:5;997:24;:::i;:::-;990:5;987:35;977:63;;1036:1;1033;1026:12;977:63;924:122;:::o;1052:139::-;1098:5;1136:6;1123:20;1114:29;;1152:33;1179:5;1152:33;:::i;:::-;1052:139;;;;:::o;1197:474::-;1265:6;1273;1322:2;1310:9;1301:7;1297:23;1293:32;1290:119;;;1328:79;;:::i;:::-;1290:119;1448:1;1473:53;1518:7;1509:6;1498:9;1494:22;1473:53;:::i;:::-;1463:63;;1419:117;1575:2;1601:53;1646:7;1637:6;1626:9;1622:22;1601:53;:::i;:::-;1591:63;;1546:118;1197:474;;;;;:::o;1677:118::-;1764:24;1782:5;1764:24;:::i;:::-;1759:3;1752:37;1677:118;;:::o;1801:222::-;1894:4;1932:2;1921:9;1917:18;1909:26;;1945:71;2013:1;2002:9;1998:17;1989:6;1945:71;:::i;:::-;1801:222;;;;:::o;2029:149::-;2065:7;2105:66;2098:5;2094:78;2083:89;;2029:149;;;:::o;2184:120::-;2256:23;2273:5;2256:23;:::i;:::-;2249:5;2246:34;2236:62;;2294:1;2291;2284:12;2236:62;2184:120;:::o;2310:137::-;2355:5;2393:6;2380:20;2371:29;;2409:32;2435:5;2409:32;:::i;:::-;2310:137;;;;:::o;2453:327::-;2511:6;2560:2;2548:9;2539:7;2535:23;2531:32;2528:119;;;2566:79;;:::i;:::-;2528:119;2686:1;2711:52;2755:7;2746:6;2735:9;2731:22;2711:52;:::i;:::-;2701:62;;2657:116;2453:327;;;;:::o;2786:90::-;2820:7;2863:5;2856:13;2849:21;2838:32;;2786:90;;;:::o;2882:109::-;2963:21;2978:5;2963:21;:::i;:::-;2958:3;2951:34;2882:109;;:::o;2997:210::-;3084:4;3122:2;3111:9;3107:18;3099:26;;3135:65;3197:1;3186:9;3182:17;3173:6;3135:65;:::i;:::-;2997:210;;;;:::o;3213:117::-;3322:1;3319;3312:12;3336:117;3445:1;3442;3435:12;3459:102;3500:6;3551:2;3547:7;3542:2;3535:5;3531:14;3527:28;3517:38;;3459:102;;;:::o;3567:180::-;3615:77;3612:1;3605:88;3712:4;3709:1;3702:15;3736:4;3733:1;3726:15;3753:281;3836:27;3858:4;3836:27;:::i;:::-;3828:6;3824:40;3966:6;3954:10;3951:22;3930:18;3918:10;3915:34;3912:62;3909:88;;;3977:18;;:::i;:::-;3909:88;4017:10;4013:2;4006:22;3796:238;3753:281;;:::o;4040:129::-;4074:6;4101:20;;:::i;:::-;4091:30;;4130:33;4158:4;4150:6;4130:33;:::i;:::-;4040:129;;;:::o;4175:308::-;4237:4;4327:18;4319:6;4316:30;4313:56;;;4349:18;;:::i;:::-;4313:56;4387:29;4409:6;4387:29;:::i;:::-;4379:37;;4471:4;4465;4461:15;4453:23;;4175:308;;;:::o;4489:146::-;4586:6;4581:3;4576;4563:30;4627:1;4618:6;4613:3;4609:16;4602:27;4489:146;;;:::o;4641:425::-;4719:5;4744:66;4760:49;4802:6;4760:49;:::i;:::-;4744:66;:::i;:::-;4735:75;;4833:6;4826:5;4819:21;4871:4;4864:5;4860:16;4909:3;4900:6;4895:3;4891:16;4888:25;4885:112;;;4916:79;;:::i;:::-;4885:112;5006:54;5053:6;5048:3;5043;5006:54;:::i;:::-;4725:341;4641:425;;;;;:::o;5086:340::-;5142:5;5191:3;5184:4;5176:6;5172:17;5168:27;5158:122;;5199:79;;:::i;:::-;5158:122;5316:6;5303:20;5341:79;5416:3;5408:6;5401:4;5393:6;5389:17;5341:79;:::i;:::-;5332:88;;5148:278;5086:340;;;;:::o;5432:509::-;5501:6;5550:2;5538:9;5529:7;5525:23;5521:32;5518:119;;;5556:79;;:::i;:::-;5518:119;5704:1;5693:9;5689:17;5676:31;5734:18;5726:6;5723:30;5720:117;;;5756:79;;:::i;:::-;5720:117;5861:63;5916:7;5907:6;5896:9;5892:22;5861:63;:::i;:::-;5851:73;;5647:287;5432:509;;;;:::o;5947:474::-;6015:6;6023;6072:2;6060:9;6051:7;6047:23;6043:32;6040:119;;;6078:79;;:::i;:::-;6040:119;6198:1;6223:53;6268:7;6259:6;6248:9;6244:22;6223:53;:::i;:::-;6213:63;;6169:117;6325:2;6351:53;6396:7;6387:6;6376:9;6372:22;6351:53;:::i;:::-;6341:63;;6296:118;5947:474;;;;;:::o;6427:114::-;6494:6;6528:5;6522:12;6512:22;;6427:114;;;:::o;6547:184::-;6646:11;6680:6;6675:3;6668:19;6720:4;6715:3;6711:14;6696:29;;6547:184;;;;:::o;6737:132::-;6804:4;6827:3;6819:11;;6857:4;6852:3;6848:14;6840:22;;6737:132;;;:::o;6875:108::-;6952:24;6970:5;6952:24;:::i;:::-;6947:3;6940:37;6875:108;;:::o;6989:179::-;7058:10;7079:46;7121:3;7113:6;7079:46;:::i;:::-;7157:4;7152:3;7148:14;7134:28;;6989:179;;;;:::o;7174:113::-;7244:4;7276;7271:3;7267:14;7259:22;;7174:113;;;:::o;7323:732::-;7442:3;7471:54;7519:5;7471:54;:::i;:::-;7541:86;7620:6;7615:3;7541:86;:::i;:::-;7534:93;;7651:56;7701:5;7651:56;:::i;:::-;7730:7;7761:1;7746:284;7771:6;7768:1;7765:13;7746:284;;;7847:6;7841:13;7874:63;7933:3;7918:13;7874:63;:::i;:::-;7867:70;;7960:60;8013:6;7960:60;:::i;:::-;7950:70;;7806:224;7793:1;7790;7786:9;7781:14;;7746:284;;;7750:14;8046:3;8039:10;;7447:608;;;7323:732;;;;:::o;8061:373::-;8204:4;8242:2;8231:9;8227:18;8219:26;;8291:9;8285:4;8281:20;8277:1;8266:9;8262:17;8255:47;8319:108;8422:4;8413:6;8319:108;:::i;:::-;8311:116;;8061:373;;;;:::o;8440:329::-;8499:6;8548:2;8536:9;8527:7;8523:23;8519:32;8516:119;;;8554:79;;:::i;:::-;8516:119;8674:1;8699:53;8744:7;8735:6;8724:9;8720:22;8699:53;:::i;:::-;8689:63;;8645:117;8440:329;;;;:::o;8775:99::-;8827:6;8861:5;8855:12;8845:22;;8775:99;;;:::o;8880:169::-;8964:11;8998:6;8993:3;8986:19;9038:4;9033:3;9029:14;9014:29;;8880:169;;;;:::o;9055:246::-;9136:1;9146:113;9160:6;9157:1;9154:13;9146:113;;;9245:1;9240:3;9236:11;9230:18;9226:1;9221:3;9217:11;9210:39;9182:2;9179:1;9175:10;9170:15;;9146:113;;;9293:1;9284:6;9279:3;9275:16;9268:27;9117:184;9055:246;;;:::o;9307:377::-;9395:3;9423:39;9456:5;9423:39;:::i;:::-;9478:71;9542:6;9537:3;9478:71;:::i;:::-;9471:78;;9558:65;9616:6;9611:3;9604:4;9597:5;9593:16;9558:65;:::i;:::-;9648:29;9670:6;9648:29;:::i;:::-;9643:3;9639:39;9632:46;;9399:285;9307:377;;;;:::o;9690:313::-;9803:4;9841:2;9830:9;9826:18;9818:26;;9890:9;9884:4;9880:20;9876:1;9865:9;9861:17;9854:47;9918:78;9991:4;9982:6;9918:78;:::i;:::-;9910:86;;9690:313;;;;:::o;10009:329::-;10068:6;10117:2;10105:9;10096:7;10092:23;10088:32;10085:119;;;10123:79;;:::i;:::-;10085:119;10243:1;10268:53;10313:7;10304:6;10293:9;10289:22;10268:53;:::i;:::-;10258:63;;10214:117;10009:329;;;;:::o;10344:311::-;10421:4;10511:18;10503:6;10500:30;10497:56;;;10533:18;;:::i;:::-;10497:56;10583:4;10575:6;10571:17;10563:25;;10643:4;10637;10633:15;10625:23;;10344:311;;;:::o;10661:117::-;10770:1;10767;10760:12;10801:710;10897:5;10922:81;10938:64;10995:6;10938:64;:::i;:::-;10922:81;:::i;:::-;10913:90;;11023:5;11052:6;11045:5;11038:21;11086:4;11079:5;11075:16;11068:23;;11139:4;11131:6;11127:17;11119:6;11115:30;11168:3;11160:6;11157:15;11154:122;;;11187:79;;:::i;:::-;11154:122;11302:6;11285:220;11319:6;11314:3;11311:15;11285:220;;;11394:3;11423:37;11456:3;11444:10;11423:37;:::i;:::-;11418:3;11411:50;11490:4;11485:3;11481:14;11474:21;;11361:144;11345:4;11340:3;11336:14;11329:21;;11285:220;;;11289:21;10903:608;;10801:710;;;;;:::o;11534:370::-;11605:5;11654:3;11647:4;11639:6;11635:17;11631:27;11621:122;;11662:79;;:::i;:::-;11621:122;11779:6;11766:20;11804:94;11894:3;11886:6;11879:4;11871:6;11867:17;11804:94;:::i;:::-;11795:103;;11611:293;11534:370;;;;:::o;11910:307::-;11971:4;12061:18;12053:6;12050:30;12047:56;;;12083:18;;:::i;:::-;12047:56;12121:29;12143:6;12121:29;:::i;:::-;12113:37;;12205:4;12199;12195:15;12187:23;;11910:307;;;:::o;12223:423::-;12300:5;12325:65;12341:48;12382:6;12341:48;:::i;:::-;12325:65;:::i;:::-;12316:74;;12413:6;12406:5;12399:21;12451:4;12444:5;12440:16;12489:3;12480:6;12475:3;12471:16;12468:25;12465:112;;;12496:79;;:::i;:::-;12465:112;12586:54;12633:6;12628:3;12623;12586:54;:::i;:::-;12306:340;12223:423;;;;;:::o;12665:338::-;12720:5;12769:3;12762:4;12754:6;12750:17;12746:27;12736:122;;12777:79;;:::i;:::-;12736:122;12894:6;12881:20;12919:78;12993:3;12985:6;12978:4;12970:6;12966:17;12919:78;:::i;:::-;12910:87;;12726:277;12665:338;;;;:::o;13009:1509::-;13163:6;13171;13179;13187;13195;13244:3;13232:9;13223:7;13219:23;13215:33;13212:120;;;13251:79;;:::i;:::-;13212:120;13371:1;13396:53;13441:7;13432:6;13421:9;13417:22;13396:53;:::i;:::-;13386:63;;13342:117;13498:2;13524:53;13569:7;13560:6;13549:9;13545:22;13524:53;:::i;:::-;13514:63;;13469:118;13654:2;13643:9;13639:18;13626:32;13685:18;13677:6;13674:30;13671:117;;;13707:79;;:::i;:::-;13671:117;13812:78;13882:7;13873:6;13862:9;13858:22;13812:78;:::i;:::-;13802:88;;13597:303;13967:2;13956:9;13952:18;13939:32;13998:18;13990:6;13987:30;13984:117;;;14020:79;;:::i;:::-;13984:117;14125:78;14195:7;14186:6;14175:9;14171:22;14125:78;:::i;:::-;14115:88;;13910:303;14280:3;14269:9;14265:19;14252:33;14312:18;14304:6;14301:30;14298:117;;;14334:79;;:::i;:::-;14298:117;14439:62;14493:7;14484:6;14473:9;14469:22;14439:62;:::i;:::-;14429:72;;14223:288;13009:1509;;;;;;;;:::o;14524:124::-;14601:6;14635:5;14629:12;14619:22;;14524:124;;;:::o;14654:194::-;14763:11;14797:6;14792:3;14785:19;14837:4;14832:3;14828:14;14813:29;;14654:194;;;;:::o;14854:142::-;14931:4;14954:3;14946:11;;14984:4;14979:3;14975:14;14967:22;;14854:142;;;:::o;15002:159::-;15076:11;15110:6;15105:3;15098:19;15150:4;15145:3;15141:14;15126:29;;15002:159;;;;:::o;15167:357::-;15245:3;15273:39;15306:5;15273:39;:::i;:::-;15328:61;15382:6;15377:3;15328:61;:::i;:::-;15321:68;;15398:65;15456:6;15451:3;15444:4;15437:5;15433:16;15398:65;:::i;:::-;15488:29;15510:6;15488:29;:::i;:::-;15483:3;15479:39;15472:46;;15249:275;15167:357;;;;:::o;15530:196::-;15619:10;15654:66;15716:3;15708:6;15654:66;:::i;:::-;15640:80;;15530:196;;;;:::o;15732:123::-;15812:4;15844;15839:3;15835:14;15827:22;;15732:123;;;:::o;15889:991::-;16028:3;16057:64;16115:5;16057:64;:::i;:::-;16137:96;16226:6;16221:3;16137:96;:::i;:::-;16130:103;;16259:3;16304:4;16296:6;16292:17;16287:3;16283:27;16334:66;16394:5;16334:66;:::i;:::-;16423:7;16454:1;16439:396;16464:6;16461:1;16458:13;16439:396;;;16535:9;16529:4;16525:20;16520:3;16513:33;16586:6;16580:13;16614:84;16693:4;16678:13;16614:84;:::i;:::-;16606:92;;16721:70;16784:6;16721:70;:::i;:::-;16711:80;;16820:4;16815:3;16811:14;16804:21;;16499:336;16486:1;16483;16479:9;16474:14;;16439:396;;;16443:14;16851:4;16844:11;;16871:3;16864:10;;16033:847;;;;;15889:991;;;;:::o;16886:413::-;17049:4;17087:2;17076:9;17072:18;17064:26;;17136:9;17130:4;17126:20;17122:1;17111:9;17107:17;17100:47;17164:128;17287:4;17278:6;17164:128;:::i;:::-;17156:136;;16886:413;;;;:::o;17305:311::-;17382:4;17472:18;17464:6;17461:30;17458:56;;;17494:18;;:::i;:::-;17458:56;17544:4;17536:6;17532:17;17524:25;;17604:4;17598;17594:15;17586:23;;17305:311;;;:::o;17639:710::-;17735:5;17760:81;17776:64;17833:6;17776:64;:::i;:::-;17760:81;:::i;:::-;17751:90;;17861:5;17890:6;17883:5;17876:21;17924:4;17917:5;17913:16;17906:23;;17977:4;17969:6;17965:17;17957:6;17953:30;18006:3;17998:6;17995:15;17992:122;;;18025:79;;:::i;:::-;17992:122;18140:6;18123:220;18157:6;18152:3;18149:15;18123:220;;;18232:3;18261:37;18294:3;18282:10;18261:37;:::i;:::-;18256:3;18249:50;18328:4;18323:3;18319:14;18312:21;;18199:144;18183:4;18178:3;18174:14;18167:21;;18123:220;;;18127:21;17741:608;;17639:710;;;;;:::o;18372:370::-;18443:5;18492:3;18485:4;18477:6;18473:17;18469:27;18459:122;;18500:79;;:::i;:::-;18459:122;18617:6;18604:20;18642:94;18732:3;18724:6;18717:4;18709:6;18705:17;18642:94;:::i;:::-;18633:103;;18449:293;18372:370;;;;:::o;18748:894::-;18866:6;18874;18923:2;18911:9;18902:7;18898:23;18894:32;18891:119;;;18929:79;;:::i;:::-;18891:119;19077:1;19066:9;19062:17;19049:31;19107:18;19099:6;19096:30;19093:117;;;19129:79;;:::i;:::-;19093:117;19234:78;19304:7;19295:6;19284:9;19280:22;19234:78;:::i;:::-;19224:88;;19020:302;19389:2;19378:9;19374:18;19361:32;19420:18;19412:6;19409:30;19406:117;;;19442:79;;:::i;:::-;19406:117;19547:78;19617:7;19608:6;19597:9;19593:22;19547:78;:::i;:::-;19537:88;;19332:303;18748:894;;;;;:::o;19648:406::-;19779:4;19817:2;19806:9;19802:18;19794:26;;19830:65;19892:1;19881:9;19877:17;19868:6;19830:65;:::i;:::-;19905:66;19967:2;19956:9;19952:18;19943:6;19905:66;:::i;:::-;19981;20043:2;20032:9;20028:18;20019:6;19981:66;:::i;:::-;19648:406;;;;;;:::o;20060:117::-;20169:1;20166;20159:12;20196:552;20253:8;20263:6;20313:3;20306:4;20298:6;20294:17;20290:27;20280:122;;20321:79;;:::i;:::-;20280:122;20434:6;20421:20;20411:30;;20464:18;20456:6;20453:30;20450:117;;;20486:79;;:::i;:::-;20450:117;20600:4;20592:6;20588:17;20576:29;;20654:3;20646:4;20638:6;20634:17;20624:8;20620:32;20617:41;20614:128;;;20661:79;;:::i;:::-;20614:128;20196:552;;;;;:::o;20754:527::-;20824:6;20832;20881:2;20869:9;20860:7;20856:23;20852:32;20849:119;;;20887:79;;:::i;:::-;20849:119;21035:1;21024:9;21020:17;21007:31;21065:18;21057:6;21054:30;21051:117;;;21087:79;;:::i;:::-;21051:117;21200:64;21256:7;21247:6;21236:9;21232:22;21200:64;:::i;:::-;21182:82;;;;20978:296;20754:527;;;;;:::o;21287:60::-;21315:3;21336:5;21329:12;;21287:60;;;:::o;21353:142::-;21403:9;21436:53;21454:34;21463:24;21481:5;21463:24;:::i;:::-;21454:34;:::i;:::-;21436:53;:::i;:::-;21423:66;;21353:142;;;:::o;21501:126::-;21551:9;21584:37;21615:5;21584:37;:::i;:::-;21571:50;;21501:126;;;:::o;21633:139::-;21696:9;21729:37;21760:5;21729:37;:::i;:::-;21716:50;;21633:139;;;:::o;21778:157::-;21878:50;21922:5;21878:50;:::i;:::-;21873:3;21866:63;21778:157;;:::o;21941:248::-;22047:4;22085:2;22074:9;22070:18;22062:26;;22098:84;22179:1;22168:9;22164:17;22155:6;22098:84;:::i;:::-;21941:248;;;;:::o;22195:118::-;22282:24;22300:5;22282:24;:::i;:::-;22277:3;22270:37;22195:118;;:::o;22319:222::-;22412:4;22450:2;22439:9;22435:18;22427:26;;22463:71;22531:1;22520:9;22516:17;22507:6;22463:71;:::i;:::-;22319:222;;;;:::o;22547:116::-;22617:21;22632:5;22617:21;:::i;:::-;22610:5;22607:32;22597:60;;22653:1;22650;22643:12;22597:60;22547:116;:::o;22669:133::-;22712:5;22750:6;22737:20;22728:29;;22766:30;22790:5;22766:30;:::i;:::-;22669:133;;;;:::o;22808:648::-;22883:6;22891;22940:2;22928:9;22919:7;22915:23;22911:32;22908:119;;;22946:79;;:::i;:::-;22908:119;23094:1;23083:9;23079:17;23066:31;23124:18;23116:6;23113:30;23110:117;;;23146:79;;:::i;:::-;23110:117;23251:63;23306:7;23297:6;23286:9;23282:22;23251:63;:::i;:::-;23241:73;;23037:287;23363:2;23389:50;23431:7;23422:6;23411:9;23407:22;23389:50;:::i;:::-;23379:60;;23334:115;22808:648;;;;;:::o;23462:468::-;23527:6;23535;23584:2;23572:9;23563:7;23559:23;23555:32;23552:119;;;23590:79;;:::i;:::-;23552:119;23710:1;23735:53;23780:7;23771:6;23760:9;23756:22;23735:53;:::i;:::-;23725:63;;23681:117;23837:2;23863:50;23905:7;23896:6;23885:9;23881:22;23863:50;:::i;:::-;23853:60;;23808:115;23462:468;;;;;:::o;23936:474::-;24004:6;24012;24061:2;24049:9;24040:7;24036:23;24032:32;24029:119;;;24067:79;;:::i;:::-;24029:119;24187:1;24212:53;24257:7;24248:6;24237:9;24233:22;24212:53;:::i;:::-;24202:63;;24158:117;24314:2;24340:53;24385:7;24376:6;24365:9;24361:22;24340:53;:::i;:::-;24330:63;;24285:118;23936:474;;;;;:::o;24416:1089::-;24520:6;24528;24536;24544;24552;24601:3;24589:9;24580:7;24576:23;24572:33;24569:120;;;24608:79;;:::i;:::-;24569:120;24728:1;24753:53;24798:7;24789:6;24778:9;24774:22;24753:53;:::i;:::-;24743:63;;24699:117;24855:2;24881:53;24926:7;24917:6;24906:9;24902:22;24881:53;:::i;:::-;24871:63;;24826:118;24983:2;25009:53;25054:7;25045:6;25034:9;25030:22;25009:53;:::i;:::-;24999:63;;24954:118;25111:2;25137:53;25182:7;25173:6;25162:9;25158:22;25137:53;:::i;:::-;25127:63;;25082:118;25267:3;25256:9;25252:19;25239:33;25299:18;25291:6;25288:30;25285:117;;;25321:79;;:::i;:::-;25285:117;25426:62;25480:7;25471:6;25460:9;25456:22;25426:62;:::i;:::-;25416:72;;25210:288;24416:1089;;;;;;;;:::o;25511:229::-;25651:34;25647:1;25639:6;25635:14;25628:58;25720:12;25715:2;25707:6;25703:15;25696:37;25511:229;:::o;25746:366::-;25888:3;25909:67;25973:2;25968:3;25909:67;:::i;:::-;25902:74;;25985:93;26074:3;25985:93;:::i;:::-;26103:2;26098:3;26094:12;26087:19;;25746:366;;;:::o;26118:419::-;26284:4;26322:2;26311:9;26307:18;26299:26;;26371:9;26365:4;26361:20;26357:1;26346:9;26342:17;26335:47;26399:131;26525:4;26399:131;:::i;:::-;26391:139;;26118:419;;;:::o;26543:180::-;26591:77;26588:1;26581:88;26688:4;26685:1;26678:15;26712:4;26709:1;26702:15;26729:180;26777:77;26774:1;26767:88;26874:4;26871:1;26864:15;26898:4;26895:1;26888:15;26915:233;26954:3;26977:24;26995:5;26977:24;:::i;:::-;26968:33;;27023:66;27016:5;27013:77;27010:103;;27093:18;;:::i;:::-;27010:103;27140:1;27133:5;27129:13;27122:20;;26915:233;;;:::o;27154:180::-;27202:77;27199:1;27192:88;27299:4;27296:1;27289:15;27323:4;27320:1;27313:15;27340:320;27384:6;27421:1;27415:4;27411:12;27401:22;;27468:1;27462:4;27458:12;27489:18;27479:81;;27545:4;27537:6;27533:17;27523:27;;27479:81;27607:2;27599:6;27596:14;27576:18;27573:38;27570:84;;27626:18;;:::i;:::-;27570:84;27391:269;27340:320;;;:::o;27666:148::-;27768:11;27805:3;27790:18;;27666:148;;;;:::o;27820:390::-;27926:3;27954:39;27987:5;27954:39;:::i;:::-;28009:89;28091:6;28086:3;28009:89;:::i;:::-;28002:96;;28107:65;28165:6;28160:3;28153:4;28146:5;28142:16;28107:65;:::i;:::-;28197:6;28192:3;28188:16;28181:23;;27930:280;27820:390;;;;:::o;28216:435::-;28396:3;28418:95;28509:3;28500:6;28418:95;:::i;:::-;28411:102;;28530:95;28621:3;28612:6;28530:95;:::i;:::-;28523:102;;28642:3;28635:10;;28216:435;;;;;:::o;28657:161::-;28797:13;28793:1;28785:6;28781:14;28774:37;28657:161;:::o;28824:366::-;28966:3;28987:67;29051:2;29046:3;28987:67;:::i;:::-;28980:74;;29063:93;29152:3;29063:93;:::i;:::-;29181:2;29176:3;29172:12;29165:19;;28824:366;;;:::o;29196:419::-;29362:4;29400:2;29389:9;29385:18;29377:26;;29449:9;29443:4;29439:20;29435:1;29424:9;29420:17;29413:47;29477:131;29603:4;29477:131;:::i;:::-;29469:139;;29196:419;;;:::o;29621:194::-;29661:4;29681:20;29699:1;29681:20;:::i;:::-;29676:25;;29715:20;29733:1;29715:20;:::i;:::-;29710:25;;29759:1;29756;29752:9;29744:17;;29783:1;29777:4;29774:11;29771:37;;;29788:18;;:::i;:::-;29771:37;29621:194;;;;:::o;29821:233::-;29961:34;29957:1;29949:6;29945:14;29938:58;30030:16;30025:2;30017:6;30013:15;30006:41;29821:233;:::o;30060:366::-;30202:3;30223:67;30287:2;30282:3;30223:67;:::i;:::-;30216:74;;30299:93;30388:3;30299:93;:::i;:::-;30417:2;30412:3;30408:12;30401:19;;30060:366;;;:::o;30432:419::-;30598:4;30636:2;30625:9;30621:18;30613:26;;30685:9;30679:4;30675:20;30671:1;30660:9;30656:17;30649:47;30713:131;30839:4;30713:131;:::i;:::-;30705:139;;30432:419;;;:::o;30857:163::-;30997:15;30993:1;30985:6;30981:14;30974:39;30857:163;:::o;31026:366::-;31168:3;31189:67;31253:2;31248:3;31189:67;:::i;:::-;31182:74;;31265:93;31354:3;31265:93;:::i;:::-;31383:2;31378:3;31374:12;31367:19;;31026:366;;;:::o;31398:419::-;31564:4;31602:2;31591:9;31587:18;31579:26;;31651:9;31645:4;31641:20;31637:1;31626:9;31622:17;31615:47;31679:131;31805:4;31679:131;:::i;:::-;31671:139;;31398:419;;;:::o;31823:141::-;31872:4;31895:3;31887:11;;31918:3;31915:1;31908:14;31952:4;31949:1;31939:18;31931:26;;31823:141;;;:::o;31994:874::-;32097:3;32134:5;32128:12;32163:36;32189:9;32163:36;:::i;:::-;32215:89;32297:6;32292:3;32215:89;:::i;:::-;32208:96;;32335:1;32324:9;32320:17;32351:1;32346:166;;;;32526:1;32521:341;;;;32313:549;;32346:166;32430:4;32426:9;32415;32411:25;32406:3;32399:38;32492:6;32485:14;32478:22;32470:6;32466:35;32461:3;32457:45;32450:52;;32346:166;;32521:341;32588:38;32620:5;32588:38;:::i;:::-;32648:1;32662:154;32676:6;32673:1;32670:13;32662:154;;;32750:7;32744:14;32740:1;32735:3;32731:11;32724:35;32800:1;32791:7;32787:15;32776:26;;32698:4;32695:1;32691:12;32686:17;;32662:154;;;32845:6;32840:3;32836:16;32829:23;;32528:334;;32313:549;;32101:767;;31994:874;;;;:::o;32874:269::-;33003:3;33025:92;33113:3;33104:6;33025:92;:::i;:::-;33018:99;;33134:3;33127:10;;32874:269;;;;:::o;33149:228::-;33289:34;33285:1;33277:6;33273:14;33266:58;33358:11;33353:2;33345:6;33341:15;33334:36;33149:228;:::o;33383:366::-;33525:3;33546:67;33610:2;33605:3;33546:67;:::i;:::-;33539:74;;33622:93;33711:3;33622:93;:::i;:::-;33740:2;33735:3;33731:12;33724:19;;33383:366;;;:::o;33755:419::-;33921:4;33959:2;33948:9;33944:18;33936:26;;34008:9;34002:4;33998:20;33994:1;33983:9;33979:17;33972:47;34036:131;34162:4;34036:131;:::i;:::-;34028:139;;33755:419;;;:::o;34180:143::-;34237:5;34268:6;34262:13;34253:22;;34284:33;34311:5;34284:33;:::i;:::-;34180:143;;;;:::o;34329:351::-;34399:6;34448:2;34436:9;34427:7;34423:23;34419:32;34416:119;;;34454:79;;:::i;:::-;34416:119;34574:1;34599:64;34655:7;34646:6;34635:9;34631:22;34599:64;:::i;:::-;34589:74;;34545:128;34329:351;;;;:::o;34686:191::-;34726:3;34745:20;34763:1;34745:20;:::i;:::-;34740:25;;34779:20;34797:1;34779:20;:::i;:::-;34774:25;;34822:1;34819;34815:9;34808:16;;34843:3;34840:1;34837:10;34834:36;;;34850:18;;:::i;:::-;34834:36;34686:191;;;;:::o;34883:275::-;35015:3;35037:95;35128:3;35119:6;35037:95;:::i;:::-;35030:102;;35149:3;35142:10;;34883:275;;;;:::o;35164:93::-;35201:6;35248:2;35243;35236:5;35232:14;35228:23;35218:33;;35164:93;;;:::o;35263:107::-;35307:8;35357:5;35351:4;35347:16;35326:37;;35263:107;;;;:::o;35376:393::-;35445:6;35495:1;35483:10;35479:18;35518:97;35548:66;35537:9;35518:97;:::i;:::-;35636:39;35666:8;35655:9;35636:39;:::i;:::-;35624:51;;35708:4;35704:9;35697:5;35693:21;35684:30;;35757:4;35747:8;35743:19;35736:5;35733:30;35723:40;;35452:317;;35376:393;;;;;:::o;35775:142::-;35825:9;35858:53;35876:34;35885:24;35903:5;35885:24;:::i;:::-;35876:34;:::i;:::-;35858:53;:::i;:::-;35845:66;;35775:142;;;:::o;35923:75::-;35966:3;35987:5;35980:12;;35923:75;;;:::o;36004:269::-;36114:39;36145:7;36114:39;:::i;:::-;36175:91;36224:41;36248:16;36224:41;:::i;:::-;36216:6;36209:4;36203:11;36175:91;:::i;:::-;36169:4;36162:105;36080:193;36004:269;;;:::o;36279:73::-;36324:3;36279:73;:::o;36358:189::-;36435:32;;:::i;:::-;36476:65;36534:6;36526;36520:4;36476:65;:::i;:::-;36411:136;36358:189;;:::o;36553:186::-;36613:120;36630:3;36623:5;36620:14;36613:120;;;36684:39;36721:1;36714:5;36684:39;:::i;:::-;36657:1;36650:5;36646:13;36637:22;;36613:120;;;36553:186;;:::o;36745:543::-;36846:2;36841:3;36838:11;36835:446;;;36880:38;36912:5;36880:38;:::i;:::-;36964:29;36982:10;36964:29;:::i;:::-;36954:8;36950:44;37147:2;37135:10;37132:18;37129:49;;;37168:8;37153:23;;37129:49;37191:80;37247:22;37265:3;37247:22;:::i;:::-;37237:8;37233:37;37220:11;37191:80;:::i;:::-;36850:431;;36835:446;36745:543;;;:::o;37294:117::-;37348:8;37398:5;37392:4;37388:16;37367:37;;37294:117;;;;:::o;37417:169::-;37461:6;37494:51;37542:1;37538:6;37530:5;37527:1;37523:13;37494:51;:::i;:::-;37490:56;37575:4;37569;37565:15;37555:25;;37468:118;37417:169;;;;:::o;37591:295::-;37667:4;37813:29;37838:3;37832:4;37813:29;:::i;:::-;37805:37;;37875:3;37872:1;37868:11;37862:4;37859:21;37851:29;;37591:295;;;;:::o;37891:1395::-;38008:37;38041:3;38008:37;:::i;:::-;38110:18;38102:6;38099:30;38096:56;;;38132:18;;:::i;:::-;38096:56;38176:38;38208:4;38202:11;38176:38;:::i;:::-;38261:67;38321:6;38313;38307:4;38261:67;:::i;:::-;38355:1;38379:4;38366:17;;38411:2;38403:6;38400:14;38428:1;38423:618;;;;39085:1;39102:6;39099:77;;;39151:9;39146:3;39142:19;39136:26;39127:35;;39099:77;39202:67;39262:6;39255:5;39202:67;:::i;:::-;39196:4;39189:81;39058:222;38393:887;;38423:618;38475:4;38471:9;38463:6;38459:22;38509:37;38541:4;38509:37;:::i;:::-;38568:1;38582:208;38596:7;38593:1;38590:14;38582:208;;;38675:9;38670:3;38666:19;38660:26;38652:6;38645:42;38726:1;38718:6;38714:14;38704:24;;38773:2;38762:9;38758:18;38745:31;;38619:4;38616:1;38612:12;38607:17;;38582:208;;;38818:6;38809:7;38806:19;38803:179;;;38876:9;38871:3;38867:19;38861:26;38919:48;38961:4;38953:6;38949:17;38938:9;38919:48;:::i;:::-;38911:6;38904:64;38826:156;38803:179;39028:1;39024;39016:6;39012:14;39008:22;39002:4;38995:36;38430:611;;;38393:887;;37983:1303;;;37891:1395;;:::o;39292:159::-;39432:11;39428:1;39420:6;39416:14;39409:35;39292:159;:::o;39457:365::-;39599:3;39620:66;39684:1;39679:3;39620:66;:::i;:::-;39613:73;;39695:93;39784:3;39695:93;:::i;:::-;39813:2;39808:3;39804:12;39797:19;;39457:365;;;:::o;39828:419::-;39994:4;40032:2;40021:9;40017:18;40009:26;;40081:9;40075:4;40071:20;40067:1;40056:9;40052:17;40045:47;40109:131;40235:4;40109:131;:::i;:::-;40101:139;;39828:419;;;:::o;40253:225::-;40393:34;40389:1;40381:6;40377:14;40370:58;40462:8;40457:2;40449:6;40445:15;40438:33;40253:225;:::o;40484:366::-;40626:3;40647:67;40711:2;40706:3;40647:67;:::i;:::-;40640:74;;40723:93;40812:3;40723:93;:::i;:::-;40841:2;40836:3;40832:12;40825:19;;40484:366;;;:::o;40856:419::-;41022:4;41060:2;41049:9;41045:18;41037:26;;41109:9;41103:4;41099:20;41095:1;41084:9;41080:17;41073:47;41137:131;41263:4;41137:131;:::i;:::-;41129:139;;40856:419;;;:::o;41281:182::-;41421:34;41417:1;41409:6;41405:14;41398:58;41281:182;:::o;41469:366::-;41611:3;41632:67;41696:2;41691:3;41632:67;:::i;:::-;41625:74;;41708:93;41797:3;41708:93;:::i;:::-;41826:2;41821:3;41817:12;41810:19;;41469:366;;;:::o;41841:419::-;42007:4;42045:2;42034:9;42030:18;42022:26;;42094:9;42088:4;42084:20;42080:1;42069:9;42065:17;42058:47;42122:131;42248:4;42122:131;:::i;:::-;42114:139;;41841:419;;;:::o;42266:180::-;42314:77;42311:1;42304:88;42411:4;42408:1;42401:15;42435:4;42432:1;42425:15;42452:114;;:::o;42572:400::-;42732:3;42753:84;42835:1;42830:3;42753:84;:::i;:::-;42746:91;;42846:93;42935:3;42846:93;:::i;:::-;42964:1;42959:3;42955:11;42948:18;;42572:400;;;:::o;42978:381::-;43163:3;43185:148;43329:3;43185:148;:::i;:::-;43178:155;;43350:3;43343:10;;42978:381;;;:::o;43365:160::-;43505:12;43501:1;43493:6;43489:14;43482:36;43365:160;:::o;43531:366::-;43673:3;43694:67;43758:2;43753:3;43694:67;:::i;:::-;43687:74;;43770:93;43859:3;43770:93;:::i;:::-;43888:2;43883:3;43879:12;43872:19;;43531:366;;;:::o;43903:419::-;44069:4;44107:2;44096:9;44092:18;44084:26;;44156:9;44150:4;44146:20;44142:1;44131:9;44127:17;44120:47;44184:131;44310:4;44184:131;:::i;:::-;44176:139;;43903:419;;;:::o;44328:434::-;44417:5;44442:66;44458:49;44500:6;44458:49;:::i;:::-;44442:66;:::i;:::-;44433:75;;44531:6;44524:5;44517:21;44569:4;44562:5;44558:16;44607:3;44598:6;44593:3;44589:16;44586:25;44583:112;;;44614:79;;:::i;:::-;44583:112;44704:52;44749:6;44744:3;44739;44704:52;:::i;:::-;44423:339;44328:434;;;;;:::o;44782:355::-;44849:5;44898:3;44891:4;44883:6;44879:17;44875:27;44865:122;;44906:79;;:::i;:::-;44865:122;45016:6;45010:13;45041:90;45127:3;45119:6;45112:4;45104:6;45100:17;45041:90;:::i;:::-;45032:99;;44855:282;44782:355;;;;:::o;45143:104::-;45188:7;45217:24;45235:5;45217:24;:::i;:::-;45206:35;;45143:104;;;:::o;45253:138::-;45334:32;45360:5;45334:32;:::i;:::-;45327:5;45324:43;45314:71;;45381:1;45378;45371:12;45314:71;45253:138;:::o;45397:159::-;45462:5;45493:6;45487:13;45478:22;;45509:41;45544:5;45509:41;:::i;:::-;45397:159;;;;:::o;45562:696::-;45659:6;45667;45716:2;45704:9;45695:7;45691:23;45687:32;45684:119;;;45722:79;;:::i;:::-;45684:119;45863:1;45852:9;45848:17;45842:24;45893:18;45885:6;45882:30;45879:117;;;45915:79;;:::i;:::-;45879:117;46020:74;46086:7;46077:6;46066:9;46062:22;46020:74;:::i;:::-;46010:84;;45813:291;46143:2;46169:72;46233:7;46224:6;46213:9;46209:22;46169:72;:::i;:::-;46159:82;;46114:137;45562:696;;;;;:::o;46264:160::-;46404:12;46400:1;46392:6;46388:14;46381:36;46264:160;:::o;46430:366::-;46572:3;46593:67;46657:2;46652:3;46593:67;:::i;:::-;46586:74;;46669:93;46758:3;46669:93;:::i;:::-;46787:2;46782:3;46778:12;46771:19;;46430:366;;;:::o;46802:419::-;46968:4;47006:2;46995:9;46991:18;46983:26;;47055:9;47049:4;47045:20;47041:1;47030:9;47026:17;47019:47;47083:131;47209:4;47083:131;:::i;:::-;47075:139;;46802:419;;;:::o;47227:163::-;47367:15;47363:1;47355:6;47351:14;47344:39;47227:163;:::o;47396:366::-;47538:3;47559:67;47623:2;47618:3;47559:67;:::i;:::-;47552:74;;47635:93;47724:3;47635:93;:::i;:::-;47753:2;47748:3;47744:12;47737:19;;47396:366;;;:::o;47768:419::-;47934:4;47972:2;47961:9;47957:18;47949:26;;48021:9;48015:4;48011:20;48007:1;47996:9;47992:17;47985:47;48049:131;48175:4;48049:131;:::i;:::-;48041:139;;47768:419;;;:::o;48193:332::-;48314:4;48352:2;48341:9;48337:18;48329:26;;48365:71;48433:1;48422:9;48418:17;48409:6;48365:71;:::i;:::-;48446:72;48514:2;48503:9;48499:18;48490:6;48446:72;:::i;:::-;48193:332;;;;;:::o;48531:227::-;48671:34;48667:1;48659:6;48655:14;48648:58;48740:10;48735:2;48727:6;48723:15;48716:35;48531:227;:::o;48764:366::-;48906:3;48927:67;48991:2;48986:3;48927:67;:::i;:::-;48920:74;;49003:93;49092:3;49003:93;:::i;:::-;49121:2;49116:3;49112:12;49105:19;;48764:366;;;:::o;49136:419::-;49302:4;49340:2;49329:9;49325:18;49317:26;;49389:9;49383:4;49379:20;49375:1;49364:9;49360:17;49353:47;49417:131;49543:4;49417:131;:::i;:::-;49409:139;;49136:419;;;:::o;49561:224::-;49701:34;49697:1;49689:6;49685:14;49678:58;49770:7;49765:2;49757:6;49753:15;49746:32;49561:224;:::o;49791:366::-;49933:3;49954:67;50018:2;50013:3;49954:67;:::i;:::-;49947:74;;50030:93;50119:3;50030:93;:::i;:::-;50148:2;50143:3;50139:12;50132:19;;49791:366;;;:::o;50163:419::-;50329:4;50367:2;50356:9;50352:18;50344:26;;50416:9;50410:4;50406:20;50402:1;50391:9;50387:17;50380:47;50444:131;50570:4;50444:131;:::i;:::-;50436:139;;50163:419;;;:::o;50588:229::-;50728:34;50724:1;50716:6;50712:14;50705:58;50797:12;50792:2;50784:6;50780:15;50773:37;50588:229;:::o;50823:366::-;50965:3;50986:67;51050:2;51045:3;50986:67;:::i;:::-;50979:74;;51062:93;51151:3;51062:93;:::i;:::-;51180:2;51175:3;51171:12;51164:19;;50823:366;;;:::o;51195:419::-;51361:4;51399:2;51388:9;51384:18;51376:26;;51448:9;51442:4;51438:20;51434:1;51423:9;51419:17;51412:47;51476:131;51602:4;51476:131;:::i;:::-;51468:139;;51195:419;;;:::o;51620:634::-;51841:4;51879:2;51868:9;51864:18;51856:26;;51928:9;51922:4;51918:20;51914:1;51903:9;51899:17;51892:47;51956:108;52059:4;52050:6;51956:108;:::i;:::-;51948:116;;52111:9;52105:4;52101:20;52096:2;52085:9;52081:18;52074:48;52139:108;52242:4;52233:6;52139:108;:::i;:::-;52131:116;;51620:634;;;;;:::o;52260:220::-;52400:34;52396:1;52388:6;52384:14;52377:58;52469:3;52464:2;52456:6;52452:15;52445:28;52260:220;:::o;52486:366::-;52628:3;52649:67;52713:2;52708:3;52649:67;:::i;:::-;52642:74;;52725:93;52814:3;52725:93;:::i;:::-;52843:2;52838:3;52834:12;52827:19;;52486:366;;;:::o;52858:419::-;53024:4;53062:2;53051:9;53047:18;53039:26;;53111:9;53105:4;53101:20;53097:1;53086:9;53082:17;53075:47;53139:131;53265:4;53139:131;:::i;:::-;53131:139;;52858:419;;;:::o;53283:332::-;53404:4;53442:2;53431:9;53427:18;53419:26;;53455:71;53523:1;53512:9;53508:17;53499:6;53455:71;:::i;:::-;53536:72;53604:2;53593:9;53589:18;53580:6;53536:72;:::i;:::-;53283:332;;;;;:::o;53621:228::-;53761:34;53757:1;53749:6;53745:14;53738:58;53830:11;53825:2;53817:6;53813:15;53806:36;53621:228;:::o;53855:366::-;53997:3;54018:67;54082:2;54077:3;54018:67;:::i;:::-;54011:74;;54094:93;54183:3;54094:93;:::i;:::-;54212:2;54207:3;54203:12;54196:19;;53855:366;;;:::o;54227:419::-;54393:4;54431:2;54420:9;54416:18;54408:26;;54480:9;54474:4;54470:20;54466:1;54455:9;54451:17;54444:47;54508:131;54634:4;54508:131;:::i;:::-;54500:139;;54227:419;;;:::o;54652:222::-;54792:34;54788:1;54780:6;54776:14;54769:58;54861:5;54856:2;54848:6;54844:15;54837:30;54652:222;:::o;54880:366::-;55022:3;55043:67;55107:2;55102:3;55043:67;:::i;:::-;55036:74;;55119:93;55208:3;55119:93;:::i;:::-;55237:2;55232:3;55228:12;55221:19;;54880:366;;;:::o;55252:419::-;55418:4;55456:2;55445:9;55441:18;55433:26;;55505:9;55499:4;55495:20;55491:1;55480:9;55476:17;55469:47;55533:131;55659:4;55533:131;:::i;:::-;55525:139;;55252:419;;;:::o;55677:223::-;55817:34;55813:1;55805:6;55801:14;55794:58;55886:6;55881:2;55873:6;55869:15;55862:31;55677:223;:::o;55906:366::-;56048:3;56069:67;56133:2;56128:3;56069:67;:::i;:::-;56062:74;;56145:93;56234:3;56145:93;:::i;:::-;56263:2;56258:3;56254:12;56247:19;;55906:366;;;:::o;56278:419::-;56444:4;56482:2;56471:9;56467:18;56459:26;;56531:9;56525:4;56521:20;56517:1;56506:9;56502:17;56495:47;56559:131;56685:4;56559:131;:::i;:::-;56551:139;;56278:419;;;:::o;56703:179::-;56843:31;56839:1;56831:6;56827:14;56820:55;56703:179;:::o;56888:366::-;57030:3;57051:67;57115:2;57110:3;57051:67;:::i;:::-;57044:74;;57127:93;57216:3;57127:93;:::i;:::-;57245:2;57240:3;57236:12;57229:19;;56888:366;;;:::o;57260:419::-;57426:4;57464:2;57453:9;57449:18;57441:26;;57513:9;57507:4;57503:20;57499:1;57488:9;57484:17;57477:47;57541:131;57667:4;57541:131;:::i;:::-;57533:139;;57260:419;;;:::o;57685:98::-;57736:6;57770:5;57764:12;57754:22;;57685:98;;;:::o;57789:168::-;57872:11;57906:6;57901:3;57894:19;57946:4;57941:3;57937:14;57922:29;;57789:168;;;;:::o;57963:373::-;58049:3;58077:38;58109:5;58077:38;:::i;:::-;58131:70;58194:6;58189:3;58131:70;:::i;:::-;58124:77;;58210:65;58268:6;58263:3;58256:4;58249:5;58245:16;58210:65;:::i;:::-;58300:29;58322:6;58300:29;:::i;:::-;58295:3;58291:39;58284:46;;58053:283;57963:373;;;;:::o;58342:1053::-;58665:4;58703:3;58692:9;58688:19;58680:27;;58717:71;58785:1;58774:9;58770:17;58761:6;58717:71;:::i;:::-;58798:72;58866:2;58855:9;58851:18;58842:6;58798:72;:::i;:::-;58917:9;58911:4;58907:20;58902:2;58891:9;58887:18;58880:48;58945:108;59048:4;59039:6;58945:108;:::i;:::-;58937:116;;59100:9;59094:4;59090:20;59085:2;59074:9;59070:18;59063:48;59128:108;59231:4;59222:6;59128:108;:::i;:::-;59120:116;;59284:9;59278:4;59274:20;59268:3;59257:9;59253:19;59246:49;59312:76;59383:4;59374:6;59312:76;:::i;:::-;59304:84;;58342:1053;;;;;;;;:::o;59401:141::-;59457:5;59488:6;59482:13;59473:22;;59504:32;59530:5;59504:32;:::i;:::-;59401:141;;;;:::o;59548:349::-;59617:6;59666:2;59654:9;59645:7;59641:23;59637:32;59634:119;;;59672:79;;:::i;:::-;59634:119;59792:1;59817:63;59872:7;59863:6;59852:9;59848:22;59817:63;:::i;:::-;59807:73;;59763:127;59548:349;;;;:::o;59903:106::-;59947:8;59996:5;59991:3;59987:15;59966:36;;59903:106;;;:::o;60015:183::-;60050:3;60088:1;60070:16;60067:23;60064:128;;;60126:1;60123;60120;60105:23;60148:34;60179:1;60173:8;60148:34;:::i;:::-;60141:41;;60064:128;60015:183;:::o;60204:711::-;60243:3;60281:4;60263:16;60260:26;60289:5;60257:39;60318:20;;:::i;:::-;60393:1;60375:16;60371:24;60368:1;60362:4;60347:49;60426:4;60420:11;60525:16;60518:4;60510:6;60506:17;60503:39;60470:18;60462:6;60459:30;60443:113;60440:146;;;60571:5;;;;60440:146;60617:6;60611:4;60607:17;60653:3;60647:10;60680:18;60672:6;60669:30;60666:43;;;60702:5;;;;;;60666:43;60750:6;60743:4;60738:3;60734:14;60730:27;60809:1;60791:16;60787:24;60781:4;60777:35;60772:3;60769:44;60766:57;;;60816:5;;;;;;;60766:57;60833;60881:6;60875:4;60871:17;60863:6;60859:30;60853:4;60833:57;:::i;:::-;60906:3;60899:10;;60247:668;;;;;60204:711;;:::o;60921:239::-;61061:34;61057:1;61049:6;61045:14;61038:58;61130:22;61125:2;61117:6;61113:15;61106:47;60921:239;:::o;61166:366::-;61308:3;61329:67;61393:2;61388:3;61329:67;:::i;:::-;61322:74;;61405:93;61494:3;61405:93;:::i;:::-;61523:2;61518:3;61514:12;61507:19;;61166:366;;;:::o;61538:419::-;61704:4;61742:2;61731:9;61727:18;61719:26;;61791:9;61785:4;61781:20;61777:1;61766:9;61762:17;61755:47;61819:131;61945:4;61819:131;:::i;:::-;61811:139;;61538:419;;;:::o;61963:227::-;62103:34;62099:1;62091:6;62087:14;62080:58;62172:10;62167:2;62159:6;62155:15;62148:35;61963:227;:::o;62196:366::-;62338:3;62359:67;62423:2;62418:3;62359:67;:::i;:::-;62352:74;;62435:93;62524:3;62435:93;:::i;:::-;62553:2;62548:3;62544:12;62537:19;;62196:366;;;:::o;62568:419::-;62734:4;62772:2;62761:9;62757:18;62749:26;;62821:9;62815:4;62811:20;62807:1;62796:9;62792:17;62785:47;62849:131;62975:4;62849:131;:::i;:::-;62841:139;;62568:419;;;:::o;62993:751::-;63216:4;63254:3;63243:9;63239:19;63231:27;;63268:71;63336:1;63325:9;63321:17;63312:6;63268:71;:::i;:::-;63349:72;63417:2;63406:9;63402:18;63393:6;63349:72;:::i;:::-;63431;63499:2;63488:9;63484:18;63475:6;63431:72;:::i;:::-;63513;63581:2;63570:9;63566:18;63557:6;63513:72;:::i;:::-;63633:9;63627:4;63623:20;63617:3;63606:9;63602:19;63595:49;63661:76;63732:4;63723:6;63661:76;:::i;:::-;63653:84;;62993:751;;;;;;;;:::o

ipfs://709fbf0e54817e008bfca243c47104fd3c363cc7fead0be34e3ae29e352225fe