Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• library Strings
•    - function toString(uint256 value)
•    - function toHexString(uint256 value)
•    - function toHexString(uint256 value, u ...
• library Address
•    - function isContract(address account)
•    - function sendValue(address payable re ...
•    - function functionCall(address target, ...
•    - function functionCall(
•    - function functionCallWithValue(
•    - function functionCallWithValue(
•    - function functionStaticCall(address t ...
•    - function functionStaticCall(
•    - function functionDelegateCall(address ...
•    - function functionDelegateCall(
•    - function verifyCallResult(
• interface IERC721Receiver
•    - function onERC721Received(
• interface IERC165
•    - function supportsInterface(bytes4 int ...
•    - function supportsInterface(bytes4 int ...
• interface IERC721 is IERC165
•    - function balanceOf(address owner)
•    - function ownerOf(uint256 tokenId)
•    - function safeTransferFrom(
•    - function transferFrom(
•    - function approve(address to, uint256 ...
•    - function getApproved(uint256 tokenId)
•    - function setApprovalForAll(address op ...
•    - function isApprovedForAll(address own ...
•    - function safeTransferFrom(
• interface IERC721Enumerable is IERC72 ...
•    - function totalSupply()
•    - function tokenOfOwnerByIndex(address ...
•    - function tokenByIndex(uint256 index)
• interface IERC721Metadata is IERC721
•    - function name()
•    - function symbol()
•    - function tokenURI(uint256 tokenId)
•    - function _msgSender()
•    - function _msgData()
•  contract ERC721A is
•    - function totalSupply()
•    - function tokenByIndex(uint256 index)
•    - function tokenOfOwnerByIndex(address ...
•    - function supportsInterface(bytes4 int ...
•    - function balanceOf(address owner)
•    - function _numberMinted(address owner)
•    - function ownershipOf(uint256 tokenId)
•    - function ownerOf(uint256 tokenId)
•    - function name()
•    - function symbol()
•    - function tokenURI(uint256 tokenId)
•    - function _baseURI()
•    - function approve(address to, uint256 ...
•    - function getApproved(uint256 tokenId)
•    - function setApprovalForAll(address op ...
•    - function isApprovedForAll(address own ...
•    - function transferFrom(
•    - function safeTransferFrom(
•    - function safeTransferFrom(
•    - function _exists(uint256 tokenId)
•    - function _safeMint(address to, uint25 ...
•    - function _safeMint(
•    - function _transfer(
•    - function _approve(
•    - function _setOwnersExplicit(uint256 q ...
•    - function _checkOnERC721Received(
•    - function _beforeTokenTransfers(
•    - function _afterTokenTransfers(
•    - function owner()
•    - function renounceOwnership()
•    - function transferOwnership(address ne ...
•    - function _setOwner(address newOwner)
•  contract ThisPen is Ownable, ERC72 ... *
•    - function mint(uint256 _mintAmount)
•    - function withdraw()
•    - function _baseURI()
•    - function setBaseURI(string calldata b ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2022-06-09
*/

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



pragma solidity ^0.8.0;

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

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

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

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

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

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



pragma solidity ^0.8.0;

/**
 * @dev Collection of functions related to the address type
 */
library Address {
    /**
     * @dev Returns true if `account` is a contract.
     *
     * [IMPORTANT]
     * ====
     * It is unsafe to assume that an address for which this function returns
     * false is an externally-owned account (EOA) and not a contract.
     *
     * Among others, `isContract` will return false for the following
     * types of addresses:
     *
     *  - an externally-owned account
     *  - a contract in construction
     *  - an address where a contract will be created
     *  - an address where a contract lived, but was destroyed
     * ====
     */
    function isContract(address account) internal view returns (bool) {
        // This method relies on extcodesize, which returns 0 for contracts in
        // construction, since the code is only stored at the end of the
        // constructor execution.

        uint256 size;
        assembly {
            size := extcodesize(account)
        }
        return size > 0;
    }

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

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

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

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

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

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

        (bool success, bytes memory returndata) = target.call{value: value}(data);
        return verifyCallResult(success, returndata, errorMessage);
    }

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

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-string-}[`functionCall`],
     * but performing a static call.
     *
     * _Available since v3.3._
     */
    function functionStaticCall(
        address target,
        bytes memory data,
        string memory errorMessage
    ) internal view returns (bytes memory) {
        require(isContract(target), "Address: static call to non-contract");

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

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

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-string-}[`functionCall`],
     * but performing a delegate call.
     *
     * _Available since v3.4._
     */
    function functionDelegateCall(
        address target,
        bytes memory data,
        string memory errorMessage
    ) internal returns (bytes memory) {
        require(isContract(target), "Address: delegate call to non-contract");

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

    /**
     * @dev Tool to verifies that a low level call was successful, and revert if it wasn't, either by bubbling the
     * revert reason using the provided one.
     *
     * _Available since v4.3._
     */
    function verifyCallResult(
        bool success,
        bytes memory returndata,
        string memory errorMessage
    ) internal pure returns (bytes memory) {
        if (success) {
            return returndata;
        } else {
            // Look for revert reason and bubble it up if present
            if (returndata.length > 0) {
                // The easiest way to bubble the revert reason is using memory via assembly

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

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



pragma solidity ^0.8.0;

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

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



pragma solidity ^0.8.0;

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

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



pragma solidity ^0.8.0;


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

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



pragma solidity ^0.8.0;


/**
 * @dev Required interface of an ERC721 compliant contract.
 */
interface IERC721 is IERC165 {
    /**
     * @dev Emitted when `tokenId` token is transferred from `from` to `to`.
     */
    event Transfer(address indexed from, address indexed to, uint256 indexed tokenId);

    /**
     * @dev Emitted when `owner` enables `approved` to manage the `tokenId` token.
     */
    event Approval(address indexed owner, address indexed approved, uint256 indexed tokenId);

    /**
     * @dev Emitted when `owner` enables or disables (`approved`) `operator` to manage all of its assets.
     */
    event ApprovalForAll(address indexed owner, address indexed operator, bool approved);

    /**
     * @dev Returns the number of tokens in ``owner``'s account.
     */
    function balanceOf(address owner) external view returns (uint256 balance);

    /**
     * @dev Returns the owner of the `tokenId` token.
     *
     * Requirements:
     *
     * - `tokenId` must exist.
     */
    function ownerOf(uint256 tokenId) external view returns (address owner);

    /**
     * @dev Safely transfers `tokenId` token from `from` to `to`, checking first that contract recipients
     * are aware of the ERC721 protocol to prevent tokens from being forever locked.
     *
     * Requirements:
     *
     * - `from` cannot be the zero address.
     * - `to` cannot be the zero address.
     * - `tokenId` token must exist and be owned by `from`.
     * - If the caller is not `from`, it must be have been allowed to move this token by either {approve} or {setApprovalForAll}.
     * - If `to` refers to a smart contract, it must implement {IERC721Receiver-onERC721Received}, which is called upon a safe transfer.
     *
     * Emits a {Transfer} event.
     */
    function safeTransferFrom(
        address from,
        address to,
        uint256 tokenId
    ) external;

    /**
     * @dev Transfers `tokenId` token from `from` to `to`.
     *
     * WARNING: Usage of this method is discouraged, use {safeTransferFrom} whenever possible.
     *
     * Requirements:
     *
     * - `from` cannot be the zero address.
     * - `to` cannot be the zero address.
     * - `tokenId` token must be owned by `from`.
     * - If the caller is not `from`, it must be approved to move this token by either {approve} or {setApprovalForAll}.
     *
     * Emits a {Transfer} event.
     */
    function transferFrom(
        address from,
        address to,
        uint256 tokenId
    ) external;

    /**
     * @dev Gives permission to `to` to transfer `tokenId` token to another account.
     * The approval is cleared when the token is transferred.
     *
     * Only a single account can be approved at a time, so approving the zero address clears previous approvals.
     *
     * Requirements:
     *
     * - The caller must own the token or be an approved operator.
     * - `tokenId` must exist.
     *
     * Emits an {Approval} event.
     */
    function approve(address to, uint256 tokenId) external;

    /**
     * @dev Returns the account approved for `tokenId` token.
     *
     * Requirements:
     *
     * - `tokenId` must exist.
     */
    function getApproved(uint256 tokenId) external view returns (address operator);

    /**
     * @dev Approve or remove `operator` as an operator for the caller.
     * Operators can call {transferFrom} or {safeTransferFrom} for any token owned by the caller.
     *
     * Requirements:
     *
     * - The `operator` cannot be the caller.
     *
     * Emits an {ApprovalForAll} event.
     */
    function setApprovalForAll(address operator, bool _approved) external;

    /**
     * @dev Returns if the `operator` is allowed to manage all of the assets of `owner`.
     *
     * See {setApprovalForAll}
     */
    function isApprovedForAll(address owner, address operator) external view returns (bool);

    /**
     * @dev Safely transfers `tokenId` token from `from` to `to`.
     *
     * Requirements:
     *
     * - `from` cannot be the zero address.
     * - `to` cannot be the zero address.
     * - `tokenId` token must exist and be owned by `from`.
     * - If the caller is not `from`, it must be approved to move this token by either {approve} or {setApprovalForAll}.
     * - If `to` refers to a smart contract, it must implement {IERC721Receiver-onERC721Received}, which is called upon a safe transfer.
     *
     * Emits a {Transfer} event.
     */
    function safeTransferFrom(
        address from,
        address to,
        uint256 tokenId,
        bytes calldata data
    ) external;
}

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



pragma solidity ^0.8.0;


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

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

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

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



pragma solidity ^0.8.0;


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

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

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

// File: @openzeppelin/contracts/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: contracts/ERC721A.sol


// Creators: locationtba.eth, 2pmflow.eth

pragma solidity ^0.8.0;









/**
 * @dev Implementation of https://eips.ethereum.org/EIPS/eip-721[ERC721] Non-Fungible Token Standard, including
 * the Metadata and Enumerable extension. Built to optimize for lower gas during batch mints.
 *
 * Assumes serials are sequentially minted starting at 0 (e.g. 0, 1, 2, 3..).
 *
 * Does not support burning tokens to address(0).
 */
contract ERC721A is
  Context,
  ERC165,
  IERC721,
  IERC721Metadata,
  IERC721Enumerable
{
  using Address for address;
  using Strings for uint256;

  struct TokenOwnership {
    address addr;
    uint64 startTimestamp;
  }

  struct AddressData {
    uint128 balance;
    uint128 numberMinted;
  }

  uint256 private currentIndex = 0;

  uint256 internal immutable maxBatchSize;

  // Token name
  string private _name;

  // Token symbol
  string private _symbol;

  // Mapping from token ID to ownership details
  // An empty struct value does not necessarily mean the token is unowned. See ownershipOf implementation for details.
  mapping(uint256 => TokenOwnership) private _ownerships;

  // Mapping owner address to address data
  mapping(address => AddressData) private _addressData;

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

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

  /**
   * @dev
   * `maxBatchSize` refers to how much a minter can mint at a time.
   */
  constructor(
    string memory name_,
    string memory symbol_,
    uint256 maxBatchSize_
  ) {
    require(maxBatchSize_ > 0, "ERC721A: max batch size must be nonzero");
    _name = name_;
    _symbol = symbol_;
    maxBatchSize = maxBatchSize_;
  }

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

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

  /**
   * @dev See {IERC721Enumerable-tokenOfOwnerByIndex}.
   * This read function is O(totalSupply). If calling from a separate contract, be sure to test gas first.
   * It may also degrade with extremely large collection sizes (e.g >> 10000), test for your use case.
   */
  function tokenOfOwnerByIndex(address owner, uint256 index)
    public
    view
    override
    returns (uint256)
  {
    require(index < balanceOf(owner), "ERC721A: owner index out of bounds");
    uint256 numMintedSoFar = totalSupply();
    uint256 tokenIdsIdx = 0;
    address currOwnershipAddr = address(0);
    for (uint256 i = 0; i < numMintedSoFar; i++) {
      TokenOwnership memory ownership = _ownerships[i];
      if (ownership.addr != address(0)) {
        currOwnershipAddr = ownership.addr;
      }
      if (currOwnershipAddr == owner) {
        if (tokenIdsIdx == index) {
          return i;
        }
        tokenIdsIdx++;
      }
    }
    revert("ERC721A: unable to get token of owner by index");
  }

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

  /**
   * @dev See {IERC721-balanceOf}.
   */
  function balanceOf(address owner) public view override returns (uint256) {
    require(owner != address(0), "ERC721A: balance query for the zero address");
    return uint256(_addressData[owner].balance);
  }

  function _numberMinted(address owner) internal view returns (uint256) {
    require(
      owner != address(0),
      "ERC721A: number minted query for the zero address"
    );
    return uint256(_addressData[owner].numberMinted);
  }

  function ownershipOf(uint256 tokenId)
    internal
    view
    returns (TokenOwnership memory)
  {
    require(_exists(tokenId), "ERC721A: owner query for nonexistent token");

    uint256 lowestTokenToCheck;
    if (tokenId >= maxBatchSize) {
      lowestTokenToCheck = tokenId - maxBatchSize + 1;
    }

    for (uint256 curr = tokenId; curr >= lowestTokenToCheck; curr--) {
      TokenOwnership memory ownership = _ownerships[curr];
      if (ownership.addr != address(0)) {
        return ownership;
      }
    }

    revert("ERC721A: unable to determine the owner of token");
  }

  /**
   * @dev See {IERC721-ownerOf}.
   */
  function ownerOf(uint256 tokenId) public view override returns (address) {
    return ownershipOf(tokenId).addr;
  }

  /**
   * @dev See {IERC721Metadata-name}.
   */
  function name() public view virtual override returns (string memory) {
    return _name;
  }

  /**
   * @dev See {IERC721Metadata-symbol}.
   */
  function symbol() public view virtual override returns (string memory) {
    return _symbol;
  }

  /**
   * @dev See {IERC721Metadata-tokenURI}.
   */
  function tokenURI(uint256 tokenId)
    public
    view
    virtual
    override
    returns (string memory)
  {
    require(
      _exists(tokenId),
      "ERC721Metadata: URI query for nonexistent token"
    );

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

  /**
   * @dev Base URI for computing {tokenURI}. If set, the resulting URI for each
   * token will be the concatenation of the `baseURI` and the `tokenId`. Empty
   * by default, can be overriden in child contracts.
   */
  function _baseURI() internal view virtual returns (string memory) {
    return "";
  }

  /**
   * @dev See {IERC721-approve}.
   */
  function approve(address to, uint256 tokenId) public override {
    address owner = ERC721A.ownerOf(tokenId);
    require(to != owner, "ERC721A: approval to current owner");

    require(
      _msgSender() == owner || isApprovedForAll(owner, _msgSender()),
      "ERC721A: approve caller is not owner nor approved for all"
    );

    _approve(to, tokenId, owner);
  }

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

    return _tokenApprovals[tokenId];
  }

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

    _operatorApprovals[_msgSender()][operator] = approved;
    emit ApprovalForAll(_msgSender(), operator, approved);
  }

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

  /**
   * @dev See {IERC721-transferFrom}.
   */
  function transferFrom(
    address from,
    address to,
    uint256 tokenId
  ) public override {
    _transfer(from, to, tokenId);
  }

  /**
   * @dev See {IERC721-safeTransferFrom}.
   */
  function safeTransferFrom(
    address from,
    address to,
    uint256 tokenId
  ) public override {
    safeTransferFrom(from, to, tokenId, "");
  }

  /**
   * @dev See {IERC721-safeTransferFrom}.
   */
  function safeTransferFrom(
    address from,
    address to,
    uint256 tokenId,
    bytes memory _data
  ) public override {
    _transfer(from, to, tokenId);
    require(
      _checkOnERC721Received(from, to, tokenId, _data),
      "ERC721A: transfer to non ERC721Receiver implementer"
    );
  }

  /**
   * @dev Returns whether `tokenId` exists.
   *
   * Tokens can be managed by their owner or approved accounts via {approve} or {setApprovalForAll}.
   *
   * Tokens start existing when they are minted (`_mint`),
   */
  function _exists(uint256 tokenId) internal view returns (bool) {
    return tokenId < currentIndex;
  }

  function _safeMint(address to, uint256 quantity) internal {
    _safeMint(to, quantity, "");
  }

  /**
   * @dev Mints `quantity` tokens and transfers them to `to`.
   *
   * Requirements:
   *
   * - `to` cannot be the zero address.
   * - `quantity` cannot be larger than the max batch size.
   *
   * Emits a {Transfer} event.
   */
  function _safeMint(
    address to,
    uint256 quantity,
    bytes memory _data
  ) internal {
    uint256 startTokenId = currentIndex;
    require(to != address(0), "ERC721A: mint to the zero address");
    // We know if the first token in the batch doesn't exist, the other ones don't as well, because of serial ordering.
    require(!_exists(startTokenId), "ERC721A: token already minted");
    require(quantity <= maxBatchSize, "ERC721A: quantity to mint too high");

    _beforeTokenTransfers(address(0), to, startTokenId, quantity);

    AddressData memory addressData = _addressData[to];
    _addressData[to] = AddressData(
      addressData.balance + uint128(quantity),
      addressData.numberMinted + uint128(quantity)
    );
    _ownerships[startTokenId] = TokenOwnership(to, uint64(block.timestamp));

    uint256 updatedIndex = startTokenId;

    for (uint256 i = 0; i < quantity; i++) {
      emit Transfer(address(0), to, updatedIndex);
      require(
        _checkOnERC721Received(address(0), to, updatedIndex, _data),
        "ERC721A: transfer to non ERC721Receiver implementer"
      );
      updatedIndex++;
    }

    currentIndex = updatedIndex;
    _afterTokenTransfers(address(0), to, startTokenId, quantity);
  }

  /**
   * @dev Transfers `tokenId` from `from` to `to`.
   *
   * Requirements:
   *
   * - `to` cannot be the zero address.
   * - `tokenId` token must be owned by `from`.
   *
   * Emits a {Transfer} event.
   */
  function _transfer(
    address from,
    address to,
    uint256 tokenId
  ) private {
    TokenOwnership memory prevOwnership = ownershipOf(tokenId);

    bool isApprovedOrOwner = (_msgSender() == prevOwnership.addr ||
      getApproved(tokenId) == _msgSender() ||
      isApprovedForAll(prevOwnership.addr, _msgSender()));

    require(
      isApprovedOrOwner,
      "ERC721A: transfer caller is not owner nor approved"
    );

    require(
      prevOwnership.addr == from,
      "ERC721A: transfer from incorrect owner"
    );
    require(to != address(0), "ERC721A: transfer to the zero address");

    _beforeTokenTransfers(from, to, tokenId, 1);

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

    _addressData[from].balance -= 1;
    _addressData[to].balance += 1;
    _ownerships[tokenId] = TokenOwnership(to, uint64(block.timestamp));

    // If the ownership slot of tokenId+1 is not explicitly set, that means the transfer initiator owns it.
    // Set the slot of tokenId+1 explicitly in storage to maintain correctness for ownerOf(tokenId+1) calls.
    uint256 nextTokenId = tokenId + 1;
    if (_ownerships[nextTokenId].addr == address(0)) {
      if (_exists(nextTokenId)) {
        _ownerships[nextTokenId] = TokenOwnership(
          prevOwnership.addr,
          prevOwnership.startTimestamp
        );
      }
    }

    emit Transfer(from, to, tokenId);
    _afterTokenTransfers(from, to, tokenId, 1);
  }

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

  uint256 public nextOwnerToExplicitlySet = 0;

  /**
   * @dev Explicitly set `owners` to eliminate loops in future calls of ownerOf().
   */
  function _setOwnersExplicit(uint256 quantity) internal {
    uint256 oldNextOwnerToSet = nextOwnerToExplicitlySet;
    require(quantity > 0, "quantity must be nonzero");
    uint256 endIndex = oldNextOwnerToSet + quantity - 1;
    if (endIndex > currentIndex - 1) {
      endIndex = currentIndex - 1;
    }
    // We know if the last one in the group exists, all in the group exist, due to serial ordering.
    require(_exists(endIndex), "not enough minted yet for this cleanup");
    for (uint256 i = oldNextOwnerToSet; i <= endIndex; i++) {
      if (_ownerships[i].addr == address(0)) {
        TokenOwnership memory ownership = ownershipOf(i);
        _ownerships[i] = TokenOwnership(
          ownership.addr,
          ownership.startTimestamp
        );
      }
    }
    nextOwnerToExplicitlySet = endIndex + 1;
  }

  /**
   * @dev Internal function to invoke {IERC721Receiver-onERC721Received} on a target address.
   * The call is not executed if the target address is not a contract.
   *
   * @param from address representing the previous owner of the given token ID
   * @param to target address that will receive the tokens
   * @param tokenId uint256 ID of the token to be transferred
   * @param _data bytes optional data to send along with the call
   * @return bool whether the call correctly returned the expected magic value
   */
  function _checkOnERC721Received(
    address from,
    address to,
    uint256 tokenId,
    bytes memory _data
  ) private returns (bool) {
    if (to.isContract()) {
      try
        IERC721Receiver(to).onERC721Received(_msgSender(), from, tokenId, _data)
      returns (bytes4 retval) {
        return retval == IERC721Receiver(to).onERC721Received.selector;
      } catch (bytes memory reason) {
        if (reason.length == 0) {
          revert("ERC721A: transfer to non ERC721Receiver implementer");
        } else {
          assembly {
            revert(add(32, reason), mload(reason))
          }
        }
      }
    } else {
      return true;
    }
  }

  /**
   * @dev Hook that is called before a set of serially-ordered token ids are about to be transferred. This includes minting.
   *
   * startTokenId - the first token id to be transferred
   * quantity - the amount to be transferred
   *
   * Calling conditions:
   *
   * - When `from` and `to` are both non-zero, ``from``'s `tokenId` will be
   * transferred to `to`.
   * - When `from` is zero, `tokenId` will be minted for `to`.
   */
  function _beforeTokenTransfers(
    address from,
    address to,
    uint256 startTokenId,
    uint256 quantity
  ) internal virtual {}

  /**
   * @dev Hook that is called after a set of serially-ordered token ids have been transferred. This includes
   * minting.
   *
   * startTokenId - the first token id to be transferred
   * quantity - the amount to be transferred
   *
   * Calling conditions:
   *
   * - when `from` and `to` are both non-zero.
   * - `from` and `to` are never both zero.
   */
  function _afterTokenTransfers(
    address from,
    address to,
    uint256 startTokenId,
    uint256 quantity
  ) internal virtual {}
}
// File: @openzeppelin/contracts/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() {
        _setOwner(_msgSender());
    }

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

    /**
     * @dev Throws if called by any account other than the owner.
     */
    modifier onlyOwner() {
        require(owner() == _msgSender(), "Ownable: caller is not the owner");
        _;
    }

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

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

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

// File: contracts/ThisPen.sol


pragma solidity ^0.8.0;



contract ThisPen is Ownable, ERC721A {

    // constants
    uint256 constant FREE_MINTS = 1500;
    uint256 constant MAX_ELEMENTS = 2500;
    uint256 constant MAX_ELEMENTS_ONE_TIME = 5;
    uint256 constant PUBLIC_PRICE = 0.005 ether;

    // state variable
    string public baseTokenURI = "ipfs://QmSURj6tkkZHiz2WyWCNc65jaWo8eRETymizznMas5azsx/";

    constructor(uint256 maxBatchSize_) ERC721A("Sell Me This Pen", "PEN", maxBatchSize_) {}

    function mint(uint256 _mintAmount) public payable {
        uint256 supply = totalSupply();
        require(_mintAmount > 0,"You should mint more than zero.");
        require(_mintAmount <= MAX_ELEMENTS_ONE_TIME,"You cannot mint more than 5 at a time.");
        if(supply < FREE_MINTS){
            require(supply + _mintAmount <= FREE_MINTS,"Not enough free mints available");
            _safeMint(msg.sender,_mintAmount);
        } else {
            require(supply + _mintAmount <= MAX_ELEMENTS,"All gone!");
            require(msg.value >= _mintAmount * PUBLIC_PRICE,"Wrong value, change your eth value");
            _safeMint(msg.sender,_mintAmount);
        }
    }

    function withdraw() public payable onlyOwner {
        require(payable(msg.sender).send(address(this).balance));
    }

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

    function setBaseURI(string calldata baseURI) public onlyOwner {
        baseTokenURI = baseURI;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"uint256","name":"maxBatchSize_","type":"uint256"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"approved","type":"address"},{"indexed":true,"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"operator","type":"address"},{"indexed":false,"internalType":"bool","name":"approved","type":"bool"}],"name":"ApprovalForAll","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":true,"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"approve","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"baseTokenURI","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"getApproved","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"operator","type":"address"}],"name":"isApprovedForAll","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_mintAmount","type":"uint256"}],"name":"mint","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"nextOwnerToExplicitlySet","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"ownerOf","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"safeTransferFrom","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"tokenId","type":"uint256"},{"internalType":"bytes","name":"_data","type":"bytes"}],"name":"safeTransferFrom","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"operator","type":"address"},{"internalType":"bool","name":"approved","type":"bool"}],"name":"setApprovalForAll","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"string","name":"baseURI","type":"string"}],"name":"setBaseURI","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes4","name":"interfaceId","type":"bytes4"}],"name":"supportsInterface","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"index","type":"uint256"}],"name":"tokenByIndex","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"uint256","name":"index","type":"uint256"}],"name":"tokenOfOwnerByIndex","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"tokenURI","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"transferFrom","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"withdraw","outputs":[],"stateMutability":"payable","type":"function"}]

60a060405260006001556000600855604051806060016040528060368152602001620045e960369139600990805190602001906200003f92919062000256565b503480156200004d57600080fd5b506040516200461f3803806200461f83398181016040528101906200007391906200031d565b6040518060400160405280601081526020017f53656c6c204d6520546869732050656e000000000000000000000000000000008152506040518060400160405280600381526020017f50454e00000000000000000000000000000000000000000000000000000000008152508262000100620000f46200018a60201b60201c565b6200019260201b60201c565b6000811162000146576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016200013d9062000376565b60405180910390fd5b82600290805190602001906200015e92919062000256565b5081600390805190602001906200017792919062000256565b5080608081815250505050505062000486565b600033905090565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050816000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b8280546200026490620003b3565b90600052602060002090601f016020900481019282620002885760008555620002d4565b82601f10620002a357805160ff1916838001178555620002d4565b82800160010185558215620002d4579182015b82811115620002d3578251825591602001919060010190620002b6565b5b509050620002e39190620002e7565b5090565b5b8082111562000302576000816000905550600101620002e8565b5090565b60008151905062000317816200046c565b92915050565b60006020828403121562000336576200033562000418565b5b6000620003468482850162000306565b91505092915050565b60006200035e60278362000398565b91506200036b826200041d565b604082019050919050565b6000602082019050818103600083015262000391816200034f565b9050919050565b600082825260208201905092915050565b6000819050919050565b60006002820490506001821680620003cc57607f821691505b60208210811415620003e357620003e2620003e9565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b600080fd5b7f455243373231413a206d61782062617463682073697a65206d7573742062652060008201527f6e6f6e7a65726f00000000000000000000000000000000000000000000000000602082015250565b6200047781620003a9565b81146200048357600080fd5b50565b608051614139620004b060003960008181611cbe01528181611ce701526123a701526141396000f3fe60806040526004361061014b5760003560e01c806370a08231116100b6578063b88d4fde1161006f578063b88d4fde14610474578063c87b56dd1461049d578063d547cfb7146104da578063d7224ba014610505578063e985e9c514610530578063f2fde38b1461056d5761014b565b806370a0823114610385578063715018a6146103c25780638da5cb5b146103d957806395d89b4114610404578063a0712d681461042f578063a22cb4651461044b5761014b565b80632f745c59116101085780632f745c59146102725780633ccfd60b146102af57806342842e0e146102b95780634f6ccce7146102e257806355f804b31461031f5780636352211e146103485761014b565b806301ffc9a71461015057806306fdde031461018d578063081812fc146101b8578063095ea7b3146101f557806318160ddd1461021e57806323b872dd14610249575b600080fd5b34801561015c57600080fd5b5061017760048036038101906101729190612ba7565b610596565b6040516101849190613141565b60405180910390f35b34801561019957600080fd5b506101a26106e0565b6040516101af919061315c565b60405180910390f35b3480156101c457600080fd5b506101df60048036038101906101da9190612c4e565b610772565b6040516101ec91906130da565b60405180910390f35b34801561020157600080fd5b5061021c60048036038101906102179190612b67565b6107f7565b005b34801561022a57600080fd5b50610233610910565b604051610240919061349e565b60405180910390f35b34801561025557600080fd5b50610270600480360381019061026b9190612a51565b61091a565b005b34801561027e57600080fd5b5061029960048036038101906102949190612b67565b61092a565b6040516102a6919061349e565b60405180910390f35b6102b7610b28565b005b3480156102c557600080fd5b506102e060048036038101906102db9190612a51565b610be4565b005b3480156102ee57600080fd5b5061030960048036038101906103049190612c4e565b610c04565b604051610316919061349e565b60405180910390f35b34801561032b57600080fd5b5061034660048036038101906103419190612c01565b610c57565b005b34801561035457600080fd5b5061036f600480360381019061036a9190612c4e565b610ce9565b60405161037c91906130da565b60405180910390f35b34801561039157600080fd5b506103ac60048036038101906103a791906129e4565b610cff565b6040516103b9919061349e565b60405180910390f35b3480156103ce57600080fd5b506103d7610de8565b005b3480156103e557600080fd5b506103ee610e70565b6040516103fb91906130da565b60405180910390f35b34801561041057600080fd5b50610419610e99565b604051610426919061315c565b60405180910390f35b61044960048036038101906104449190612c4e565b610f2b565b005b34801561045757600080fd5b50610472600480360381019061046d9190612b27565b6110db565b005b34801561048057600080fd5b5061049b60048036038101906104969190612aa4565b61125c565b005b3480156104a957600080fd5b506104c460048036038101906104bf9190612c4e565b6112b8565b6040516104d1919061315c565b60405180910390f35b3480156104e657600080fd5b506104ef61135f565b6040516104fc919061315c565b60405180910390f35b34801561051157600080fd5b5061051a6113ed565b604051610527919061349e565b60405180910390f35b34801561053c57600080fd5b5061055760048036038101906105529190612a11565b6113f3565b6040516105649190613141565b60405180910390f35b34801561057957600080fd5b50610594600480360381019061058f91906129e4565b611487565b005b60007f80ac58cd000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916148061066157507f5b5e139f000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916145b806106c957507f780e9d63000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916145b806106d957506106d88261157f565b5b9050919050565b6060600280546106ef906137dd565b80601f016020809104026020016040519081016040528092919081815260200182805461071b906137dd565b80156107685780601f1061073d57610100808354040283529160200191610768565b820191906000526020600020905b81548152906001019060200180831161074b57829003601f168201915b5050505050905090565b600061077d826115e9565b6107bc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107b39061345e565b60405180910390fd5b6006600083815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b600061080282610ce9565b90508073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610873576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161086a9061339e565b60405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff166108926115f7565b73ffffffffffffffffffffffffffffffffffffffff1614806108c157506108c0816108bb6115f7565b6113f3565b5b610900576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108f79061329e565b60405180910390fd5b61090b8383836115ff565b505050565b6000600154905090565b6109258383836116b1565b505050565b600061093583610cff565b8210610976576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161096d9061317e565b60405180910390fd5b6000610980610910565b905060008060005b83811015610ae6576000600460008381526020019081526020016000206040518060400160405290816000820160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020016000820160149054906101000a900467ffffffffffffffff1667ffffffffffffffff1667ffffffffffffffff16815250509050600073ffffffffffffffffffffffffffffffffffffffff16816000015173ffffffffffffffffffffffffffffffffffffffff1614610a7a57806000015192505b8773ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610ad25786841415610ac3578195505050505050610b22565b8380610ace90613840565b9450505b508080610ade90613840565b915050610988565b506040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b199061341e565b60405180910390fd5b92915050565b610b306115f7565b73ffffffffffffffffffffffffffffffffffffffff16610b4e610e70565b73ffffffffffffffffffffffffffffffffffffffff1614610ba4576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b9b906132fe565b60405180910390fd5b3373ffffffffffffffffffffffffffffffffffffffff166108fc479081150290604051600060405180830381858888f19350505050610be257600080fd5b565b610bff8383836040518060200160405280600081525061125c565b505050565b6000610c0e610910565b8210610c4f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c469061323e565b60405180910390fd5b819050919050565b610c5f6115f7565b73ffffffffffffffffffffffffffffffffffffffff16610c7d610e70565b73ffffffffffffffffffffffffffffffffffffffff1614610cd3576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610cca906132fe565b60405180910390fd5b818160099190610ce49291906127d8565b505050565b6000610cf482611c6a565b600001519050919050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610d70576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d67906132be565b60405180910390fd5b600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000160009054906101000a90046fffffffffffffffffffffffffffffffff166fffffffffffffffffffffffffffffffff169050919050565b610df06115f7565b73ffffffffffffffffffffffffffffffffffffffff16610e0e610e70565b73ffffffffffffffffffffffffffffffffffffffff1614610e64576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e5b906132fe565b60405180910390fd5b610e6e6000611e6d565b565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b606060038054610ea8906137dd565b80601f0160208091040260200160405190810160405280929190818152602001828054610ed4906137dd565b8015610f215780601f10610ef657610100808354040283529160200191610f21565b820191906000526020600020905b815481529060010190602001808311610f0457829003601f168201915b5050505050905090565b6000610f35610910565b905060008211610f7a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f719061319e565b60405180910390fd5b6005821115610fbe576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610fb59061331e565b60405180910390fd5b6105dc811015611027576105dc8282610fd79190613598565b1115611018576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161100f9061321e565b60405180910390fd5b6110223383611f31565b6110d7565b6109c482826110369190613598565b1115611077576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161106e9061327e565b60405180910390fd5b6611c37937e080008261108a919061361f565b3410156110cc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016110c3906131be565b60405180910390fd5b6110d63383611f31565b5b5050565b6110e36115f7565b73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611151576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016111489061335e565b60405180910390fd5b806007600061115e6115f7565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff1661120b6115f7565b73ffffffffffffffffffffffffffffffffffffffff167f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31836040516112509190613141565b60405180910390a35050565b6112678484846116b1565b61127384848484611f4f565b6112b2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016112a9906133be565b60405180910390fd5b50505050565b60606112c3826115e9565b611302576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016112f99061333e565b60405180910390fd5b600061130c6120e6565b9050600081511161132c5760405180602001604052806000815250611357565b8061133684612178565b6040516020016113479291906130b6565b6040516020818303038152906040525b915050919050565b6009805461136c906137dd565b80601f0160208091040260200160405190810160405280929190818152602001828054611398906137dd565b80156113e55780601f106113ba576101008083540402835291602001916113e5565b820191906000526020600020905b8154815290600101906020018083116113c857829003601f168201915b505050505081565b60085481565b6000600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b61148f6115f7565b73ffffffffffffffffffffffffffffffffffffffff166114ad610e70565b73ffffffffffffffffffffffffffffffffffffffff1614611503576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016114fa906132fe565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415611573576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161156a906131de565b60405180910390fd5b61157c81611e6d565b50565b60007f01ffc9a7000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916149050919050565b600060015482109050919050565b600033905090565b826006600084815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550818373ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92560405160405180910390a4505050565b60006116bc82611c6a565b90506000816000015173ffffffffffffffffffffffffffffffffffffffff166116e36115f7565b73ffffffffffffffffffffffffffffffffffffffff16148061173f57506117086115f7565b73ffffffffffffffffffffffffffffffffffffffff1661172784610772565b73ffffffffffffffffffffffffffffffffffffffff16145b8061175b575061175a82600001516117556115f7565b6113f3565b5b90508061179d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016117949061337e565b60405180910390fd5b8473ffffffffffffffffffffffffffffffffffffffff16826000015173ffffffffffffffffffffffffffffffffffffffff161461180f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611806906132de565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff16141561187f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016118769061325e565b60405180910390fd5b61188c85858560016122d9565b61189c60008484600001516115ff565b6001600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000160008282829054906101000a90046fffffffffffffffffffffffffffffffff1661190a9190613679565b92506101000a8154816fffffffffffffffffffffffffffffffff02191690836fffffffffffffffffffffffffffffffff1602179055506001600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000160008282829054906101000a90046fffffffffffffffffffffffffffffffff166119ae9190613552565b92506101000a8154816fffffffffffffffffffffffffffffffff02191690836fffffffffffffffffffffffffffffffff16021790555060405180604001604052808573ffffffffffffffffffffffffffffffffffffffff1681526020014267ffffffffffffffff168152506004600085815260200190815260200160002060008201518160000160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060208201518160000160146101000a81548167ffffffffffffffff021916908367ffffffffffffffff1602179055509050506000600184611ab49190613598565b9050600073ffffffffffffffffffffffffffffffffffffffff166004600083815260200190815260200160002060000160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415611bfa57611b2a816115e9565b15611bf9576040518060400160405280846000015173ffffffffffffffffffffffffffffffffffffffff168152602001846020015167ffffffffffffffff168152506004600083815260200190815260200160002060008201518160000160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060208201518160000160146101000a81548167ffffffffffffffff021916908367ffffffffffffffff1602179055509050505b5b838573ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a4611c6286868660016122df565b505050505050565b611c7261285e565b611c7b826115e9565b611cba576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611cb1906131fe565b60405180910390fd5b60007f00000000000000000000000000000000000000000000000000000000000000008310611d1e5760017f000000000000000000000000000000000000000000000000000000000000000084611d1191906136ad565b611d1b9190613598565b90505b60008390505b818110611e2c576000600460008381526020019081526020016000206040518060400160405290816000820160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020016000820160149054906101000a900467ffffffffffffffff1667ffffffffffffffff1667ffffffffffffffff16815250509050600073ffffffffffffffffffffffffffffffffffffffff16816000015173ffffffffffffffffffffffffffffffffffffffff1614611e1857809350505050611e68565b508080611e24906137b3565b915050611d24565b506040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611e5f9061343e565b60405180910390fd5b919050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050816000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b611f4b8282604051806020016040528060008152506122e5565b5050565b6000611f708473ffffffffffffffffffffffffffffffffffffffff166127c5565b156120d9578373ffffffffffffffffffffffffffffffffffffffff1663150b7a02611f996115f7565b8786866040518563ffffffff1660e01b8152600401611fbb94939291906130f5565b602060405180830381600087803b158015611fd557600080fd5b505af192505050801561200657506040513d601f19601f820116820180604052508101906120039190612bd4565b60015b612089573d8060008114612036576040519150601f19603f3d011682016040523d82523d6000602084013e61203b565b606091505b50600081511415612081576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612078906133be565b60405180910390fd5b805181602001fd5b63150b7a0260e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916149150506120de565b600190505b949350505050565b6060600980546120f5906137dd565b80601f0160208091040260200160405190810160405280929190818152602001828054612121906137dd565b801561216e5780601f106121435761010080835404028352916020019161216e565b820191906000526020600020905b81548152906001019060200180831161215157829003601f168201915b5050505050905090565b606060008214156121c0576040518060400160405280600181526020017f300000000000000000000000000000000000000000000000000000000000000081525090506122d4565b600082905060005b600082146121f25780806121db90613840565b915050600a826121eb91906135ee565b91506121c8565b60008167ffffffffffffffff81111561220e5761220d613976565b5b6040519080825280601f01601f1916602001820160405280156122405781602001600182028036833780820191505090505b5090505b600085146122cd5760018261225991906136ad565b9150600a856122689190613889565b60306122749190613598565b60f81b81838151811061228a57612289613947565b5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a905350600a856122c691906135ee565b9450612244565b8093505050505b919050565b50505050565b50505050565b60006001549050600073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff16141561235c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612353906133fe565b60405180910390fd5b612365816115e9565b156123a5576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161239c906133de565b60405180910390fd5b7f0000000000000000000000000000000000000000000000000000000000000000831115612408576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016123ff9061347e565b60405180910390fd5b61241560008583866122d9565b6000600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206040518060400160405290816000820160009054906101000a90046fffffffffffffffffffffffffffffffff166fffffffffffffffffffffffffffffffff166fffffffffffffffffffffffffffffffff1681526020016000820160109054906101000a90046fffffffffffffffffffffffffffffffff166fffffffffffffffffffffffffffffffff166fffffffffffffffffffffffffffffffff1681525050905060405180604001604052808583600001516125129190613552565b6fffffffffffffffffffffffffffffffff1681526020018583602001516125399190613552565b6fffffffffffffffffffffffffffffffff16815250600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008201518160000160006101000a8154816fffffffffffffffffffffffffffffffff02191690836fffffffffffffffffffffffffffffffff16021790555060208201518160000160106101000a8154816fffffffffffffffffffffffffffffffff02191690836fffffffffffffffffffffffffffffffff16021790555090505060405180604001604052808673ffffffffffffffffffffffffffffffffffffffff1681526020014267ffffffffffffffff168152506004600084815260200190815260200160002060008201518160000160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060208201518160000160146101000a81548167ffffffffffffffff021916908367ffffffffffffffff160217905550905050600082905060005b858110156127a857818773ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a46127486000888488611f4f565b612787576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161277e906133be565b60405180910390fd5b818061279290613840565b92505080806127a090613840565b9150506126d7565b50806001819055506127bd60008785886122df565b505050505050565b600080823b905060008111915050919050565b8280546127e4906137dd565b90600052602060002090601f016020900481019282612806576000855561284d565b82601f1061281f57803560ff191683800117855561284d565b8280016001018555821561284d579182015b8281111561284c578235825591602001919060010190612831565b5b50905061285a9190612898565b5090565b6040518060400160405280600073ffffffffffffffffffffffffffffffffffffffff168152602001600067ffffffffffffffff1681525090565b5b808211156128b1576000816000905550600101612899565b5090565b60006128c86128c3846134de565b6134b9565b9050828152602081018484840111156128e4576128e36139b4565b5b6128ef848285613771565b509392505050565b600081359050612906816140a7565b92915050565b60008135905061291b816140be565b92915050565b600081359050612930816140d5565b92915050565b600081519050612945816140d5565b92915050565b600082601f8301126129605761295f6139aa565b5b81356129708482602086016128b5565b91505092915050565b60008083601f84011261298f5761298e6139aa565b5b8235905067ffffffffffffffff8111156129ac576129ab6139a5565b5b6020830191508360018202830111156129c8576129c76139af565b5b9250929050565b6000813590506129de816140ec565b92915050565b6000602082840312156129fa576129f96139be565b5b6000612a08848285016128f7565b91505092915050565b60008060408385031215612a2857612a276139be565b5b6000612a36858286016128f7565b9250506020612a47858286016128f7565b9150509250929050565b600080600060608486031215612a6a57612a696139be565b5b6000612a78868287016128f7565b9350506020612a89868287016128f7565b9250506040612a9a868287016129cf565b9150509250925092565b60008060008060808587031215612abe57612abd6139be565b5b6000612acc878288016128f7565b9450506020612add878288016128f7565b9350506040612aee878288016129cf565b925050606085013567ffffffffffffffff811115612b0f57612b0e6139b9565b5b612b1b8782880161294b565b91505092959194509250565b60008060408385031215612b3e57612b3d6139be565b5b6000612b4c858286016128f7565b9250506020612b5d8582860161290c565b9150509250929050565b60008060408385031215612b7e57612b7d6139be565b5b6000612b8c858286016128f7565b9250506020612b9d858286016129cf565b9150509250929050565b600060208284031215612bbd57612bbc6139be565b5b6000612bcb84828501612921565b91505092915050565b600060208284031215612bea57612be96139be565b5b6000612bf884828501612936565b91505092915050565b60008060208385031215612c1857612c176139be565b5b600083013567ffffffffffffffff811115612c3657612c356139b9565b5b612c4285828601612979565b92509250509250929050565b600060208284031215612c6457612c636139be565b5b6000612c72848285016129cf565b91505092915050565b612c84816136e1565b82525050565b612c93816136f3565b82525050565b6000612ca48261350f565b612cae8185613525565b9350612cbe818560208601613780565b612cc7816139c3565b840191505092915050565b6000612cdd8261351a565b612ce78185613536565b9350612cf7818560208601613780565b612d00816139c3565b840191505092915050565b6000612d168261351a565b612d208185613547565b9350612d30818560208601613780565b80840191505092915050565b6000612d49602283613536565b9150612d54826139d4565b604082019050919050565b6000612d6c601f83613536565b9150612d7782613a23565b602082019050919050565b6000612d8f602283613536565b9150612d9a82613a4c565b604082019050919050565b6000612db2602683613536565b9150612dbd82613a9b565b604082019050919050565b6000612dd5602a83613536565b9150612de082613aea565b604082019050919050565b6000612df8601f83613536565b9150612e0382613b39565b602082019050919050565b6000612e1b602383613536565b9150612e2682613b62565b604082019050919050565b6000612e3e602583613536565b9150612e4982613bb1565b604082019050919050565b6000612e61600983613536565b9150612e6c82613c00565b602082019050919050565b6000612e84603983613536565b9150612e8f82613c29565b604082019050919050565b6000612ea7602b83613536565b9150612eb282613c78565b604082019050919050565b6000612eca602683613536565b9150612ed582613cc7565b604082019050919050565b6000612eed602083613536565b9150612ef882613d16565b602082019050919050565b6000612f10602683613536565b9150612f1b82613d3f565b604082019050919050565b6000612f33602f83613536565b9150612f3e82613d8e565b604082019050919050565b6000612f56601a83613536565b9150612f6182613ddd565b602082019050919050565b6000612f79603283613536565b9150612f8482613e06565b604082019050919050565b6000612f9c602283613536565b9150612fa782613e55565b604082019050919050565b6000612fbf603383613536565b9150612fca82613ea4565b604082019050919050565b6000612fe2601d83613536565b9150612fed82613ef3565b602082019050919050565b6000613005602183613536565b915061301082613f1c565b604082019050919050565b6000613028602e83613536565b915061303382613f6b565b604082019050919050565b600061304b602f83613536565b915061305682613fba565b604082019050919050565b600061306e602d83613536565b915061307982614009565b604082019050919050565b6000613091602283613536565b915061309c82614058565b604082019050919050565b6130b081613767565b82525050565b60006130c28285612d0b565b91506130ce8284612d0b565b91508190509392505050565b60006020820190506130ef6000830184612c7b565b92915050565b600060808201905061310a6000830187612c7b565b6131176020830186612c7b565b61312460408301856130a7565b81810360608301526131368184612c99565b905095945050505050565b60006020820190506131566000830184612c8a565b92915050565b600060208201905081810360008301526131768184612cd2565b905092915050565b6000602082019050818103600083015261319781612d3c565b9050919050565b600060208201905081810360008301526131b781612d5f565b9050919050565b600060208201905081810360008301526131d781612d82565b9050919050565b600060208201905081810360008301526131f781612da5565b9050919050565b6000602082019050818103600083015261321781612dc8565b9050919050565b6000602082019050818103600083015261323781612deb565b9050919050565b6000602082019050818103600083015261325781612e0e565b9050919050565b6000602082019050818103600083015261327781612e31565b9050919050565b6000602082019050818103600083015261329781612e54565b9050919050565b600060208201905081810360008301526132b781612e77565b9050919050565b600060208201905081810360008301526132d781612e9a565b9050919050565b600060208201905081810360008301526132f781612ebd565b9050919050565b6000602082019050818103600083015261331781612ee0565b9050919050565b6000602082019050818103600083015261333781612f03565b9050919050565b6000602082019050818103600083015261335781612f26565b9050919050565b6000602082019050818103600083015261337781612f49565b9050919050565b6000602082019050818103600083015261339781612f6c565b9050919050565b600060208201905081810360008301526133b781612f8f565b9050919050565b600060208201905081810360008301526133d781612fb2565b9050919050565b600060208201905081810360008301526133f781612fd5565b9050919050565b6000602082019050818103600083015261341781612ff8565b9050919050565b600060208201905081810360008301526134378161301b565b9050919050565b600060208201905081810360008301526134578161303e565b9050919050565b6000602082019050818103600083015261347781613061565b9050919050565b6000602082019050818103600083015261349781613084565b9050919050565b60006020820190506134b360008301846130a7565b92915050565b60006134c36134d4565b90506134cf828261380f565b919050565b6000604051905090565b600067ffffffffffffffff8211156134f9576134f8613976565b5b613502826139c3565b9050602081019050919050565b600081519050919050565b600081519050919050565b600082825260208201905092915050565b600082825260208201905092915050565b600081905092915050565b600061355d8261372b565b91506135688361372b565b9250826fffffffffffffffffffffffffffffffff0382111561358d5761358c6138ba565b5b828201905092915050565b60006135a382613767565b91506135ae83613767565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156135e3576135e26138ba565b5b828201905092915050565b60006135f982613767565b915061360483613767565b925082613614576136136138e9565b5b828204905092915050565b600061362a82613767565b915061363583613767565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff048311821515161561366e5761366d6138ba565b5b828202905092915050565b60006136848261372b565b915061368f8361372b565b9250828210156136a2576136a16138ba565b5b828203905092915050565b60006136b882613767565b91506136c383613767565b9250828210156136d6576136d56138ba565b5b828203905092915050565b60006136ec82613747565b9050919050565b60008115159050919050565b60007fffffffff0000000000000000000000000000000000000000000000000000000082169050919050565b60006fffffffffffffffffffffffffffffffff82169050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b82818337600083830152505050565b60005b8381101561379e578082015181840152602081019050613783565b838111156137ad576000848401525b50505050565b60006137be82613767565b915060008214156137d2576137d16138ba565b5b600182039050919050565b600060028204905060018216806137f557607f821691505b6020821081141561380957613808613918565b5b50919050565b613818826139c3565b810181811067ffffffffffffffff8211171561383757613836613976565b5b80604052505050565b600061384b82613767565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82141561387e5761387d6138ba565b5b600182019050919050565b600061389482613767565b915061389f83613767565b9250826138af576138ae6138e9565b5b828206905092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b600080fd5b600080fd5b600080fd5b600080fd5b600080fd5b600080fd5b6000601f19601f8301169050919050565b7f455243373231413a206f776e657220696e646578206f7574206f6620626f756e60008201527f6473000000000000000000000000000000000000000000000000000000000000602082015250565b7f596f752073686f756c64206d696e74206d6f7265207468616e207a65726f2e00600082015250565b7f57726f6e672076616c75652c206368616e676520796f7572206574682076616c60008201527f7565000000000000000000000000000000000000000000000000000000000000602082015250565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b7f455243373231413a206f776e657220717565727920666f72206e6f6e6578697360008201527f74656e7420746f6b656e00000000000000000000000000000000000000000000602082015250565b7f4e6f7420656e6f7567682066726565206d696e747320617661696c61626c6500600082015250565b7f455243373231413a20676c6f62616c20696e646578206f7574206f6620626f7560008201527f6e64730000000000000000000000000000000000000000000000000000000000602082015250565b7f455243373231413a207472616e7366657220746f20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b7f416c6c20676f6e65210000000000000000000000000000000000000000000000600082015250565b7f455243373231413a20617070726f76652063616c6c6572206973206e6f74206f60008201527f776e6572206e6f7220617070726f76656420666f7220616c6c00000000000000602082015250565b7f455243373231413a2062616c616e636520717565727920666f7220746865207a60008201527f65726f2061646472657373000000000000000000000000000000000000000000602082015250565b7f455243373231413a207472616e736665722066726f6d20696e636f727265637460008201527f206f776e65720000000000000000000000000000000000000000000000000000602082015250565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b7f596f752063616e6e6f74206d696e74206d6f7265207468616e2035206174206160008201527f2074696d652e0000000000000000000000000000000000000000000000000000602082015250565b7f4552433732314d657461646174613a2055524920717565727920666f72206e6f60008201527f6e6578697374656e7420746f6b656e0000000000000000000000000000000000602082015250565b7f455243373231413a20617070726f766520746f2063616c6c6572000000000000600082015250565b7f455243373231413a207472616e736665722063616c6c6572206973206e6f742060008201527f6f776e6572206e6f7220617070726f7665640000000000000000000000000000602082015250565b7f455243373231413a20617070726f76616c20746f2063757272656e74206f776e60008201527f6572000000000000000000000000000000000000000000000000000000000000602082015250565b7f455243373231413a207472616e7366657220746f206e6f6e204552433732315260008201527f6563656976657220696d706c656d656e74657200000000000000000000000000602082015250565b7f455243373231413a20746f6b656e20616c7265616479206d696e746564000000600082015250565b7f455243373231413a206d696e7420746f20746865207a65726f2061646472657360008201527f7300000000000000000000000000000000000000000000000000000000000000602082015250565b7f455243373231413a20756e61626c6520746f2067657420746f6b656e206f662060008201527f6f776e657220627920696e646578000000000000000000000000000000000000602082015250565b7f455243373231413a20756e61626c6520746f2064657465726d696e652074686560008201527f206f776e6572206f6620746f6b656e0000000000000000000000000000000000602082015250565b7f455243373231413a20617070726f76656420717565727920666f72206e6f6e6560008201527f78697374656e7420746f6b656e00000000000000000000000000000000000000602082015250565b7f455243373231413a207175616e7469747920746f206d696e7420746f6f20686960008201527f6768000000000000000000000000000000000000000000000000000000000000602082015250565b6140b0816136e1565b81146140bb57600080fd5b50565b6140c7816136f3565b81146140d257600080fd5b50565b6140de816136ff565b81146140e957600080fd5b50565b6140f581613767565b811461410057600080fd5b5056fea26469706673582212205415836fec0993a114a6bb7d771578624caffc7da768eb60a5b89059126ec92564736f6c63430008070033697066733a2f2f516d5355526a36746b6b5a48697a32577957434e6336356a61576f3865524554796d697a7a6e4d617335617a73782f0000000000000000000000000000000000000000000000000000000000000005

0x60806040526004361061014b5760003560e01c806370a08231116100b6578063b88d4fde1161006f578063b88d4fde14610474578063c87b56dd1461049d578063d547cfb7146104da578063d7224ba014610505578063e985e9c514610530578063f2fde38b1461056d5761014b565b806370a0823114610385578063715018a6146103c25780638da5cb5b146103d957806395d89b4114610404578063a0712d681461042f578063a22cb4651461044b5761014b565b80632f745c59116101085780632f745c59146102725780633ccfd60b146102af57806342842e0e146102b95780634f6ccce7146102e257806355f804b31461031f5780636352211e146103485761014b565b806301ffc9a71461015057806306fdde031461018d578063081812fc146101b8578063095ea7b3146101f557806318160ddd1461021e57806323b872dd14610249575b600080fd5b34801561015c57600080fd5b5061017760048036038101906101729190612ba7565b610596565b6040516101849190613141565b60405180910390f35b34801561019957600080fd5b506101a26106e0565b6040516101af919061315c565b60405180910390f35b3480156101c457600080fd5b506101df60048036038101906101da9190612c4e565b610772565b6040516101ec91906130da565b60405180910390f35b34801561020157600080fd5b5061021c60048036038101906102179190612b67565b6107f7565b005b34801561022a57600080fd5b50610233610910565b604051610240919061349e565b60405180910390f35b34801561025557600080fd5b50610270600480360381019061026b9190612a51565b61091a565b005b34801561027e57600080fd5b5061029960048036038101906102949190612b67565b61092a565b6040516102a6919061349e565b60405180910390f35b6102b7610b28565b005b3480156102c557600080fd5b506102e060048036038101906102db9190612a51565b610be4565b005b3480156102ee57600080fd5b5061030960048036038101906103049190612c4e565b610c04565b604051610316919061349e565b60405180910390f35b34801561032b57600080fd5b5061034660048036038101906103419190612c01565b610c57565b005b34801561035457600080fd5b5061036f600480360381019061036a9190612c4e565b610ce9565b60405161037c91906130da565b60405180910390f35b34801561039157600080fd5b506103ac60048036038101906103a791906129e4565b610cff565b6040516103b9919061349e565b60405180910390f35b3480156103ce57600080fd5b506103d7610de8565b005b3480156103e557600080fd5b506103ee610e70565b6040516103fb91906130da565b60405180910390f35b34801561041057600080fd5b50610419610e99565b604051610426919061315c565b60405180910390f35b61044960048036038101906104449190612c4e565b610f2b565b005b34801561045757600080fd5b50610472600480360381019061046d9190612b27565b6110db565b005b34801561048057600080fd5b5061049b60048036038101906104969190612aa4565b61125c565b005b3480156104a957600080fd5b506104c460048036038101906104bf9190612c4e565b6112b8565b6040516104d1919061315c565b60405180910390f35b3480156104e657600080fd5b506104ef61135f565b6040516104fc919061315c565b60405180910390f35b34801561051157600080fd5b5061051a6113ed565b604051610527919061349e565b60405180910390f35b34801561053c57600080fd5b5061055760048036038101906105529190612a11565b6113f3565b6040516105649190613141565b60405180910390f35b34801561057957600080fd5b50610594600480360381019061058f91906129e4565b611487565b005b60007f80ac58cd000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916148061066157507f5b5e139f000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916145b806106c957507f780e9d63000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916145b806106d957506106d88261157f565b5b9050919050565b6060600280546106ef906137dd565b80601f016020809104026020016040519081016040528092919081815260200182805461071b906137dd565b80156107685780601f1061073d57610100808354040283529160200191610768565b820191906000526020600020905b81548152906001019060200180831161074b57829003601f168201915b5050505050905090565b600061077d826115e9565b6107bc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107b39061345e565b60405180910390fd5b6006600083815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b600061080282610ce9565b90508073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610873576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161086a9061339e565b60405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff166108926115f7565b73ffffffffffffffffffffffffffffffffffffffff1614806108c157506108c0816108bb6115f7565b6113f3565b5b610900576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108f79061329e565b60405180910390fd5b61090b8383836115ff565b505050565b6000600154905090565b6109258383836116b1565b505050565b600061093583610cff565b8210610976576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161096d9061317e565b60405180910390fd5b6000610980610910565b905060008060005b83811015610ae6576000600460008381526020019081526020016000206040518060400160405290816000820160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020016000820160149054906101000a900467ffffffffffffffff1667ffffffffffffffff1667ffffffffffffffff16815250509050600073ffffffffffffffffffffffffffffffffffffffff16816000015173ffffffffffffffffffffffffffffffffffffffff1614610a7a57806000015192505b8773ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610ad25786841415610ac3578195505050505050610b22565b8380610ace90613840565b9450505b508080610ade90613840565b915050610988565b506040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b199061341e565b60405180910390fd5b92915050565b610b306115f7565b73ffffffffffffffffffffffffffffffffffffffff16610b4e610e70565b73ffffffffffffffffffffffffffffffffffffffff1614610ba4576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b9b906132fe565b60405180910390fd5b3373ffffffffffffffffffffffffffffffffffffffff166108fc479081150290604051600060405180830381858888f19350505050610be257600080fd5b565b610bff8383836040518060200160405280600081525061125c565b505050565b6000610c0e610910565b8210610c4f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c469061323e565b60405180910390fd5b819050919050565b610c5f6115f7565b73ffffffffffffffffffffffffffffffffffffffff16610c7d610e70565b73ffffffffffffffffffffffffffffffffffffffff1614610cd3576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610cca906132fe565b60405180910390fd5b818160099190610ce49291906127d8565b505050565b6000610cf482611c6a565b600001519050919050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610d70576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d67906132be565b60405180910390fd5b600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000160009054906101000a90046fffffffffffffffffffffffffffffffff166fffffffffffffffffffffffffffffffff169050919050565b610df06115f7565b73ffffffffffffffffffffffffffffffffffffffff16610e0e610e70565b73ffffffffffffffffffffffffffffffffffffffff1614610e64576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e5b906132fe565b60405180910390fd5b610e6e6000611e6d565b565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b606060038054610ea8906137dd565b80601f0160208091040260200160405190810160405280929190818152602001828054610ed4906137dd565b8015610f215780601f10610ef657610100808354040283529160200191610f21565b820191906000526020600020905b815481529060010190602001808311610f0457829003601f168201915b5050505050905090565b6000610f35610910565b905060008211610f7a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f719061319e565b60405180910390fd5b6005821115610fbe576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610fb59061331e565b60405180910390fd5b6105dc811015611027576105dc8282610fd79190613598565b1115611018576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161100f9061321e565b60405180910390fd5b6110223383611f31565b6110d7565b6109c482826110369190613598565b1115611077576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161106e9061327e565b60405180910390fd5b6611c37937e080008261108a919061361f565b3410156110cc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016110c3906131be565b60405180910390fd5b6110d63383611f31565b5b5050565b6110e36115f7565b73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611151576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016111489061335e565b60405180910390fd5b806007600061115e6115f7565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff1661120b6115f7565b73ffffffffffffffffffffffffffffffffffffffff167f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31836040516112509190613141565b60405180910390a35050565b6112678484846116b1565b61127384848484611f4f565b6112b2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016112a9906133be565b60405180910390fd5b50505050565b60606112c3826115e9565b611302576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016112f99061333e565b60405180910390fd5b600061130c6120e6565b9050600081511161132c5760405180602001604052806000815250611357565b8061133684612178565b6040516020016113479291906130b6565b6040516020818303038152906040525b915050919050565b6009805461136c906137dd565b80601f0160208091040260200160405190810160405280929190818152602001828054611398906137dd565b80156113e55780601f106113ba576101008083540402835291602001916113e5565b820191906000526020600020905b8154815290600101906020018083116113c857829003601f168201915b505050505081565b60085481565b6000600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b61148f6115f7565b73ffffffffffffffffffffffffffffffffffffffff166114ad610e70565b73ffffffffffffffffffffffffffffffffffffffff1614611503576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016114fa906132fe565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415611573576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161156a906131de565b60405180910390fd5b61157c81611e6d565b50565b60007f01ffc9a7000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916149050919050565b600060015482109050919050565b600033905090565b826006600084815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550818373ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92560405160405180910390a4505050565b60006116bc82611c6a565b90506000816000015173ffffffffffffffffffffffffffffffffffffffff166116e36115f7565b73ffffffffffffffffffffffffffffffffffffffff16148061173f57506117086115f7565b73ffffffffffffffffffffffffffffffffffffffff1661172784610772565b73ffffffffffffffffffffffffffffffffffffffff16145b8061175b575061175a82600001516117556115f7565b6113f3565b5b90508061179d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016117949061337e565b60405180910390fd5b8473ffffffffffffffffffffffffffffffffffffffff16826000015173ffffffffffffffffffffffffffffffffffffffff161461180f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611806906132de565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff16141561187f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016118769061325e565b60405180910390fd5b61188c85858560016122d9565b61189c60008484600001516115ff565b6001600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000160008282829054906101000a90046fffffffffffffffffffffffffffffffff1661190a9190613679565b92506101000a8154816fffffffffffffffffffffffffffffffff02191690836fffffffffffffffffffffffffffffffff1602179055506001600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000160008282829054906101000a90046fffffffffffffffffffffffffffffffff166119ae9190613552565b92506101000a8154816fffffffffffffffffffffffffffffffff02191690836fffffffffffffffffffffffffffffffff16021790555060405180604001604052808573ffffffffffffffffffffffffffffffffffffffff1681526020014267ffffffffffffffff168152506004600085815260200190815260200160002060008201518160000160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060208201518160000160146101000a81548167ffffffffffffffff021916908367ffffffffffffffff1602179055509050506000600184611ab49190613598565b9050600073ffffffffffffffffffffffffffffffffffffffff166004600083815260200190815260200160002060000160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415611bfa57611b2a816115e9565b15611bf9576040518060400160405280846000015173ffffffffffffffffffffffffffffffffffffffff168152602001846020015167ffffffffffffffff168152506004600083815260200190815260200160002060008201518160000160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060208201518160000160146101000a81548167ffffffffffffffff021916908367ffffffffffffffff1602179055509050505b5b838573ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a4611c6286868660016122df565b505050505050565b611c7261285e565b611c7b826115e9565b611cba576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611cb1906131fe565b60405180910390fd5b60007f00000000000000000000000000000000000000000000000000000000000000058310611d1e5760017f000000000000000000000000000000000000000000000000000000000000000584611d1191906136ad565b611d1b9190613598565b90505b60008390505b818110611e2c576000600460008381526020019081526020016000206040518060400160405290816000820160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020016000820160149054906101000a900467ffffffffffffffff1667ffffffffffffffff1667ffffffffffffffff16815250509050600073ffffffffffffffffffffffffffffffffffffffff16816000015173ffffffffffffffffffffffffffffffffffffffff1614611e1857809350505050611e68565b508080611e24906137b3565b915050611d24565b506040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611e5f9061343e565b60405180910390fd5b919050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050816000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b611f4b8282604051806020016040528060008152506122e5565b5050565b6000611f708473ffffffffffffffffffffffffffffffffffffffff166127c5565b156120d9578373ffffffffffffffffffffffffffffffffffffffff1663150b7a02611f996115f7565b8786866040518563ffffffff1660e01b8152600401611fbb94939291906130f5565b602060405180830381600087803b158015611fd557600080fd5b505af192505050801561200657506040513d601f19601f820116820180604052508101906120039190612bd4565b60015b612089573d8060008114612036576040519150601f19603f3d011682016040523d82523d6000602084013e61203b565b606091505b50600081511415612081576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612078906133be565b60405180910390fd5b805181602001fd5b63150b7a0260e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916149150506120de565b600190505b949350505050565b6060600980546120f5906137dd565b80601f0160208091040260200160405190810160405280929190818152602001828054612121906137dd565b801561216e5780601f106121435761010080835404028352916020019161216e565b820191906000526020600020905b81548152906001019060200180831161215157829003601f168201915b5050505050905090565b606060008214156121c0576040518060400160405280600181526020017f300000000000000000000000000000000000000000000000000000000000000081525090506122d4565b600082905060005b600082146121f25780806121db90613840565b915050600a826121eb91906135ee565b91506121c8565b60008167ffffffffffffffff81111561220e5761220d613976565b5b6040519080825280601f01601f1916602001820160405280156122405781602001600182028036833780820191505090505b5090505b600085146122cd5760018261225991906136ad565b9150600a856122689190613889565b60306122749190613598565b60f81b81838151811061228a57612289613947565b5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a905350600a856122c691906135ee565b9450612244565b8093505050505b919050565b50505050565b50505050565b60006001549050600073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff16141561235c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612353906133fe565b60405180910390fd5b612365816115e9565b156123a5576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161239c906133de565b60405180910390fd5b7f0000000000000000000000000000000000000000000000000000000000000005831115612408576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016123ff9061347e565b60405180910390fd5b61241560008583866122d9565b6000600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206040518060400160405290816000820160009054906101000a90046fffffffffffffffffffffffffffffffff166fffffffffffffffffffffffffffffffff166fffffffffffffffffffffffffffffffff1681526020016000820160109054906101000a90046fffffffffffffffffffffffffffffffff166fffffffffffffffffffffffffffffffff166fffffffffffffffffffffffffffffffff1681525050905060405180604001604052808583600001516125129190613552565b6fffffffffffffffffffffffffffffffff1681526020018583602001516125399190613552565b6fffffffffffffffffffffffffffffffff16815250600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008201518160000160006101000a8154816fffffffffffffffffffffffffffffffff02191690836fffffffffffffffffffffffffffffffff16021790555060208201518160000160106101000a8154816fffffffffffffffffffffffffffffffff02191690836fffffffffffffffffffffffffffffffff16021790555090505060405180604001604052808673ffffffffffffffffffffffffffffffffffffffff1681526020014267ffffffffffffffff168152506004600084815260200190815260200160002060008201518160000160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060208201518160000160146101000a81548167ffffffffffffffff021916908367ffffffffffffffff160217905550905050600082905060005b858110156127a857818773ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a46127486000888488611f4f565b612787576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161277e906133be565b60405180910390fd5b818061279290613840565b92505080806127a090613840565b9150506126d7565b50806001819055506127bd60008785886122df565b505050505050565b600080823b905060008111915050919050565b8280546127e4906137dd565b90600052602060002090601f016020900481019282612806576000855561284d565b82601f1061281f57803560ff191683800117855561284d565b8280016001018555821561284d579182015b8281111561284c578235825591602001919060010190612831565b5b50905061285a9190612898565b5090565b6040518060400160405280600073ffffffffffffffffffffffffffffffffffffffff168152602001600067ffffffffffffffff1681525090565b5b808211156128b1576000816000905550600101612899565b5090565b60006128c86128c3846134de565b6134b9565b9050828152602081018484840111156128e4576128e36139b4565b5b6128ef848285613771565b509392505050565b600081359050612906816140a7565b92915050565b60008135905061291b816140be565b92915050565b600081359050612930816140d5565b92915050565b600081519050612945816140d5565b92915050565b600082601f8301126129605761295f6139aa565b5b81356129708482602086016128b5565b91505092915050565b60008083601f84011261298f5761298e6139aa565b5b8235905067ffffffffffffffff8111156129ac576129ab6139a5565b5b6020830191508360018202830111156129c8576129c76139af565b5b9250929050565b6000813590506129de816140ec565b92915050565b6000602082840312156129fa576129f96139be565b5b6000612a08848285016128f7565b91505092915050565b60008060408385031215612a2857612a276139be565b5b6000612a36858286016128f7565b9250506020612a47858286016128f7565b9150509250929050565b600080600060608486031215612a6a57612a696139be565b5b6000612a78868287016128f7565b9350506020612a89868287016128f7565b9250506040612a9a868287016129cf565b9150509250925092565b60008060008060808587031215612abe57612abd6139be565b5b6000612acc878288016128f7565b9450506020612add878288016128f7565b9350506040612aee878288016129cf565b925050606085013567ffffffffffffffff811115612b0f57612b0e6139b9565b5b612b1b8782880161294b565b91505092959194509250565b60008060408385031215612b3e57612b3d6139be565b5b6000612b4c858286016128f7565b9250506020612b5d8582860161290c565b9150509250929050565b60008060408385031215612b7e57612b7d6139be565b5b6000612b8c858286016128f7565b9250506020612b9d858286016129cf565b9150509250929050565b600060208284031215612bbd57612bbc6139be565b5b6000612bcb84828501612921565b91505092915050565b600060208284031215612bea57612be96139be565b5b6000612bf884828501612936565b91505092915050565b60008060208385031215612c1857612c176139be565b5b600083013567ffffffffffffffff811115612c3657612c356139b9565b5b612c4285828601612979565b92509250509250929050565b600060208284031215612c6457612c636139be565b5b6000612c72848285016129cf565b91505092915050565b612c84816136e1565b82525050565b612c93816136f3565b82525050565b6000612ca48261350f565b612cae8185613525565b9350612cbe818560208601613780565b612cc7816139c3565b840191505092915050565b6000612cdd8261351a565b612ce78185613536565b9350612cf7818560208601613780565b612d00816139c3565b840191505092915050565b6000612d168261351a565b612d208185613547565b9350612d30818560208601613780565b80840191505092915050565b6000612d49602283613536565b9150612d54826139d4565b604082019050919050565b6000612d6c601f83613536565b9150612d7782613a23565b602082019050919050565b6000612d8f602283613536565b9150612d9a82613a4c565b604082019050919050565b6000612db2602683613536565b9150612dbd82613a9b565b604082019050919050565b6000612dd5602a83613536565b9150612de082613aea565b604082019050919050565b6000612df8601f83613536565b9150612e0382613b39565b602082019050919050565b6000612e1b602383613536565b9150612e2682613b62565b604082019050919050565b6000612e3e602583613536565b9150612e4982613bb1565b604082019050919050565b6000612e61600983613536565b9150612e6c82613c00565b602082019050919050565b6000612e84603983613536565b9150612e8f82613c29565b604082019050919050565b6000612ea7602b83613536565b9150612eb282613c78565b604082019050919050565b6000612eca602683613536565b9150612ed582613cc7565b604082019050919050565b6000612eed602083613536565b9150612ef882613d16565b602082019050919050565b6000612f10602683613536565b9150612f1b82613d3f565b604082019050919050565b6000612f33602f83613536565b9150612f3e82613d8e565b604082019050919050565b6000612f56601a83613536565b9150612f6182613ddd565b602082019050919050565b6000612f79603283613536565b9150612f8482613e06565b604082019050919050565b6000612f9c602283613536565b9150612fa782613e55565b604082019050919050565b6000612fbf603383613536565b9150612fca82613ea4565b604082019050919050565b6000612fe2601d83613536565b9150612fed82613ef3565b602082019050919050565b6000613005602183613536565b915061301082613f1c565b604082019050919050565b6000613028602e83613536565b915061303382613f6b565b604082019050919050565b600061304b602f83613536565b915061305682613fba565b604082019050919050565b600061306e602d83613536565b915061307982614009565b604082019050919050565b6000613091602283613536565b915061309c82614058565b604082019050919050565b6130b081613767565b82525050565b60006130c28285612d0b565b91506130ce8284612d0b565b91508190509392505050565b60006020820190506130ef6000830184612c7b565b92915050565b600060808201905061310a6000830187612c7b565b6131176020830186612c7b565b61312460408301856130a7565b81810360608301526131368184612c99565b905095945050505050565b60006020820190506131566000830184612c8a565b92915050565b600060208201905081810360008301526131768184612cd2565b905092915050565b6000602082019050818103600083015261319781612d3c565b9050919050565b600060208201905081810360008301526131b781612d5f565b9050919050565b600060208201905081810360008301526131d781612d82565b9050919050565b600060208201905081810360008301526131f781612da5565b9050919050565b6000602082019050818103600083015261321781612dc8565b9050919050565b6000602082019050818103600083015261323781612deb565b9050919050565b6000602082019050818103600083015261325781612e0e565b9050919050565b6000602082019050818103600083015261327781612e31565b9050919050565b6000602082019050818103600083015261329781612e54565b9050919050565b600060208201905081810360008301526132b781612e77565b9050919050565b600060208201905081810360008301526132d781612e9a565b9050919050565b600060208201905081810360008301526132f781612ebd565b9050919050565b6000602082019050818103600083015261331781612ee0565b9050919050565b6000602082019050818103600083015261333781612f03565b9050919050565b6000602082019050818103600083015261335781612f26565b9050919050565b6000602082019050818103600083015261337781612f49565b9050919050565b6000602082019050818103600083015261339781612f6c565b9050919050565b600060208201905081810360008301526133b781612f8f565b9050919050565b600060208201905081810360008301526133d781612fb2565b9050919050565b600060208201905081810360008301526133f781612fd5565b9050919050565b6000602082019050818103600083015261341781612ff8565b9050919050565b600060208201905081810360008301526134378161301b565b9050919050565b600060208201905081810360008301526134578161303e565b9050919050565b6000602082019050818103600083015261347781613061565b9050919050565b6000602082019050818103600083015261349781613084565b9050919050565b60006020820190506134b360008301846130a7565b92915050565b60006134c36134d4565b90506134cf828261380f565b919050565b6000604051905090565b600067ffffffffffffffff8211156134f9576134f8613976565b5b613502826139c3565b9050602081019050919050565b600081519050919050565b600081519050919050565b600082825260208201905092915050565b600082825260208201905092915050565b600081905092915050565b600061355d8261372b565b91506135688361372b565b9250826fffffffffffffffffffffffffffffffff0382111561358d5761358c6138ba565b5b828201905092915050565b60006135a382613767565b91506135ae83613767565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156135e3576135e26138ba565b5b828201905092915050565b60006135f982613767565b915061360483613767565b925082613614576136136138e9565b5b828204905092915050565b600061362a82613767565b915061363583613767565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff048311821515161561366e5761366d6138ba565b5b828202905092915050565b60006136848261372b565b915061368f8361372b565b9250828210156136a2576136a16138ba565b5b828203905092915050565b60006136b882613767565b91506136c383613767565b9250828210156136d6576136d56138ba565b5b828203905092915050565b60006136ec82613747565b9050919050565b60008115159050919050565b60007fffffffff0000000000000000000000000000000000000000000000000000000082169050919050565b60006fffffffffffffffffffffffffffffffff82169050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b82818337600083830152505050565b60005b8381101561379e578082015181840152602081019050613783565b838111156137ad576000848401525b50505050565b60006137be82613767565b915060008214156137d2576137d16138ba565b5b600182039050919050565b600060028204905060018216806137f557607f821691505b6020821081141561380957613808613918565b5b50919050565b613818826139c3565b810181811067ffffffffffffffff8211171561383757613836613976565b5b80604052505050565b600061384b82613767565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82141561387e5761387d6138ba565b5b600182019050919050565b600061389482613767565b915061389f83613767565b9250826138af576138ae6138e9565b5b828206905092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b600080fd5b600080fd5b600080fd5b600080fd5b600080fd5b600080fd5b6000601f19601f8301169050919050565b7f455243373231413a206f776e657220696e646578206f7574206f6620626f756e60008201527f6473000000000000000000000000000000000000000000000000000000000000602082015250565b7f596f752073686f756c64206d696e74206d6f7265207468616e207a65726f2e00600082015250565b7f57726f6e672076616c75652c206368616e676520796f7572206574682076616c60008201527f7565000000000000000000000000000000000000000000000000000000000000602082015250565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b7f455243373231413a206f776e657220717565727920666f72206e6f6e6578697360008201527f74656e7420746f6b656e00000000000000000000000000000000000000000000602082015250565b7f4e6f7420656e6f7567682066726565206d696e747320617661696c61626c6500600082015250565b7f455243373231413a20676c6f62616c20696e646578206f7574206f6620626f7560008201527f6e64730000000000000000000000000000000000000000000000000000000000602082015250565b7f455243373231413a207472616e7366657220746f20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b7f416c6c20676f6e65210000000000000000000000000000000000000000000000600082015250565b7f455243373231413a20617070726f76652063616c6c6572206973206e6f74206f60008201527f776e6572206e6f7220617070726f76656420666f7220616c6c00000000000000602082015250565b7f455243373231413a2062616c616e636520717565727920666f7220746865207a60008201527f65726f2061646472657373000000000000000000000000000000000000000000602082015250565b7f455243373231413a207472616e736665722066726f6d20696e636f727265637460008201527f206f776e65720000000000000000000000000000000000000000000000000000602082015250565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b7f596f752063616e6e6f74206d696e74206d6f7265207468616e2035206174206160008201527f2074696d652e0000000000000000000000000000000000000000000000000000602082015250565b7f4552433732314d657461646174613a2055524920717565727920666f72206e6f60008201527f6e6578697374656e7420746f6b656e0000000000000000000000000000000000602082015250565b7f455243373231413a20617070726f766520746f2063616c6c6572000000000000600082015250565b7f455243373231413a207472616e736665722063616c6c6572206973206e6f742060008201527f6f776e6572206e6f7220617070726f7665640000000000000000000000000000602082015250565b7f455243373231413a20617070726f76616c20746f2063757272656e74206f776e60008201527f6572000000000000000000000000000000000000000000000000000000000000602082015250565b7f455243373231413a207472616e7366657220746f206e6f6e204552433732315260008201527f6563656976657220696d706c656d656e74657200000000000000000000000000602082015250565b7f455243373231413a20746f6b656e20616c7265616479206d696e746564000000600082015250565b7f455243373231413a206d696e7420746f20746865207a65726f2061646472657360008201527f7300000000000000000000000000000000000000000000000000000000000000602082015250565b7f455243373231413a20756e61626c6520746f2067657420746f6b656e206f662060008201527f6f776e657220627920696e646578000000000000000000000000000000000000602082015250565b7f455243373231413a20756e61626c6520746f2064657465726d696e652074686560008201527f206f776e6572206f6620746f6b656e0000000000000000000000000000000000602082015250565b7f455243373231413a20617070726f76656420717565727920666f72206e6f6e6560008201527f78697374656e7420746f6b656e00000000000000000000000000000000000000602082015250565b7f455243373231413a207175616e7469747920746f206d696e7420746f6f20686960008201527f6768000000000000000000000000000000000000000000000000000000000000602082015250565b6140b0816136e1565b81146140bb57600080fd5b50565b6140c7816136f3565b81146140d257600080fd5b50565b6140de816136ff565b81146140e957600080fd5b50565b6140f581613767565b811461410057600080fd5b5056fea26469706673582212205415836fec0993a114a6bb7d771578624caffc7da768eb60a5b89059126ec92564736f6c63430008070033

0000000000000000000000000000000000000000000000000000000000000005

-----Decoded View---------------
Arg [0] : maxBatchSize_ (uint256): 5

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 0000000000000000000000000000000000000000000000000000000000000005

38267:1512:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23708:370;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;25434:94;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;26959:204;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;26522:379;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;22272:94;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;27809:142;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;22900:744;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;39424:120;;;:::i;:::-;;28014:157;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;22435:177;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;39673:103;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;25257:118;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;24134:211;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;37571:94;;;;;;;;;;;;;:::i;:::-;;36920:87;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;25589:98;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;38728:688;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;27227:274;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;28234:311;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;25750:394;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;38539:85;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;32565:43;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;27564:186;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;37820:192;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;23708:370;23835:4;23880:25;23865:40;;;:11;:40;;;;:99;;;;23931:33;23916:48;;;:11;:48;;;;23865:99;:160;;;;23990:35;23975:50;;;:11;:50;;;;23865:160;:207;;;;24036:36;24060:11;24036:23;:36::i;:::-;23865:207;23851:221;;23708:370;;;:::o;25434:94::-;25488:13;25517:5;25510:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;25434:94;:::o;26959:204::-;27027:7;27051:16;27059:7;27051;:16::i;:::-;27043:74;;;;;;;;;;;;:::i;:::-;;;;;;;;;27133:15;:24;27149:7;27133:24;;;;;;;;;;;;;;;;;;;;;27126:31;;26959:204;;;:::o;26522:379::-;26591:13;26607:24;26623:7;26607:15;:24::i;:::-;26591:40;;26652:5;26646:11;;:2;:11;;;;26638:58;;;;;;;;;;;;:::i;:::-;;;;;;;;;26737:5;26721:21;;:12;:10;:12::i;:::-;:21;;;:62;;;;26746:37;26763:5;26770:12;:10;:12::i;:::-;26746:16;:37::i;:::-;26721:62;26705:153;;;;;;;;;;;;:::i;:::-;;;;;;;;;26867:28;26876:2;26880:7;26889:5;26867:8;:28::i;:::-;26584:317;26522:379;;:::o;22272:94::-;22325:7;22348:12;;22341:19;;22272:94;:::o;27809:142::-;27917:28;27927:4;27933:2;27937:7;27917:9;:28::i;:::-;27809:142;;;:::o;22900:744::-;23009:7;23044:16;23054:5;23044:9;:16::i;:::-;23036:5;:24;23028:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;23106:22;23131:13;:11;:13::i;:::-;23106:38;;23151:19;23181:25;23231:9;23226:350;23250:14;23246:1;:18;23226:350;;;23280:31;23314:11;:14;23326:1;23314:14;;;;;;;;;;;23280:48;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23367:1;23341:28;;:9;:14;;;:28;;;23337:89;;23402:9;:14;;;23382:34;;23337:89;23459:5;23438:26;;:17;:26;;;23434:135;;;23496:5;23481:11;:20;23477:59;;;23523:1;23516:8;;;;;;;;;23477:59;23546:13;;;;;:::i;:::-;;;;23434:135;23271:305;23266:3;;;;;:::i;:::-;;;;23226:350;;;;23582:56;;;;;;;;;;:::i;:::-;;;;;;;;22900:744;;;;;:::o;39424:120::-;37151:12;:10;:12::i;:::-;37140:23;;:7;:5;:7::i;:::-;:23;;;37132:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;39496:10:::1;39488:24;;:47;39513:21;39488:47;;;;;;;;;;;;;;;;;;;;;;;39480:56;;;::::0;::::1;;39424:120::o:0;28014:157::-;28126:39;28143:4;28149:2;28153:7;28126:39;;;;;;;;;;;;:16;:39::i;:::-;28014:157;;;:::o;22435:177::-;22502:7;22534:13;:11;:13::i;:::-;22526:5;:21;22518:69;;;;;;;;;;;;:::i;:::-;;;;;;;;;22601:5;22594:12;;22435:177;;;:::o;39673:103::-;37151:12;:10;:12::i;:::-;37140:23;;:7;:5;:7::i;:::-;:23;;;37132:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;39761:7:::1;;39746:12;:22;;;;;;;:::i;:::-;;39673:103:::0;;:::o;25257:118::-;25321:7;25344:20;25356:7;25344:11;:20::i;:::-;:25;;;25337:32;;25257:118;;;:::o;24134:211::-;24198:7;24239:1;24222:19;;:5;:19;;;;24214:75;;;;;;;;;;;;:::i;:::-;;;;;;;;;24311:12;:19;24324:5;24311:19;;;;;;;;;;;;;;;:27;;;;;;;;;;;;24303:36;;24296:43;;24134:211;;;:::o;37571:94::-;37151:12;:10;:12::i;:::-;37140:23;;:7;:5;:7::i;:::-;:23;;;37132:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;37636:21:::1;37654:1;37636:9;:21::i;:::-;37571:94::o:0;36920:87::-;36966:7;36993:6;;;;;;;;;;;36986:13;;36920:87;:::o;25589:98::-;25645:13;25674:7;25667:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;25589:98;:::o;38728:688::-;38789:14;38806:13;:11;:13::i;:::-;38789:30;;38852:1;38838:11;:15;38830:58;;;;;;;;;;;;:::i;:::-;;;;;;;;;38456:1;38907:11;:36;;38899:86;;;;;;;;;;;;:::i;:::-;;;;;;;;;38361:4;38999:6;:19;38996:413;;;38361:4;39051:11;39042:6;:20;;;;:::i;:::-;:34;;39034:77;;;;;;;;;;;;:::i;:::-;;;;;;;;;39126:33;39136:10;39147:11;39126:9;:33::i;:::-;38996:413;;;38404:4;39209:11;39200:6;:20;;;;:::i;:::-;:36;;39192:57;;;;;;;;;;;;:::i;:::-;;;;;;;;;38496:11;39285;:26;;;;:::i;:::-;39272:9;:39;;39264:85;;;;;;;;;;;;:::i;:::-;;;;;;;;;39364:33;39374:10;39385:11;39364:9;:33::i;:::-;38996:413;38778:638;38728:688;:::o;27227:274::-;27330:12;:10;:12::i;:::-;27318:24;;:8;:24;;;;27310:63;;;;;;;;;;;;:::i;:::-;;;;;;;;;27427:8;27382:18;:32;27401:12;:10;:12::i;:::-;27382:32;;;;;;;;;;;;;;;:42;27415:8;27382:42;;;;;;;;;;;;;;;;:53;;;;;;;;;;;;;;;;;;27476:8;27447:48;;27462:12;:10;:12::i;:::-;27447:48;;;27486:8;27447:48;;;;;;:::i;:::-;;;;;;;;27227:274;;:::o;28234:311::-;28371:28;28381:4;28387:2;28391:7;28371:9;:28::i;:::-;28422:48;28445:4;28451:2;28455:7;28464:5;28422:22;:48::i;:::-;28406:133;;;;;;;;;;;;:::i;:::-;;;;;;;;;28234:311;;;;:::o;25750:394::-;25848:13;25889:16;25897:7;25889;:16::i;:::-;25873:97;;;;;;;;;;;;:::i;:::-;;;;;;;;;25979:21;26003:10;:8;:10::i;:::-;25979:34;;26058:1;26040:7;26034:21;:25;:104;;;;;;;;;;;;;;;;;26095:7;26104:18;:7;:16;:18::i;:::-;26078:45;;;;;;;;;:::i;:::-;;;;;;;;;;;;;26034:104;26020:118;;;25750:394;;;:::o;38539:85::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;32565:43::-;;;;:::o;27564:186::-;27686:4;27709:18;:25;27728:5;27709:25;;;;;;;;;;;;;;;:35;27735:8;27709:35;;;;;;;;;;;;;;;;;;;;;;;;;27702:42;;27564:186;;;;:::o;37820:192::-;37151:12;:10;:12::i;:::-;37140:23;;:7;:5;:7::i;:::-;:23;;;37132:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;37929:1:::1;37909:22;;:8;:22;;;;37901:73;;;;;;;;;;;;:::i;:::-;;;;;;;;;37985:19;37995:8;37985:9;:19::i;:::-;37820:192:::0;:::o;12776:157::-;12861:4;12900:25;12885:40;;;:11;:40;;;;12878:47;;12776:157;;;:::o;28784:105::-;28841:4;28871:12;;28861:7;:22;28854:29;;28784:105;;;:::o;20090:98::-;20143:7;20170:10;20163:17;;20090:98;:::o;32387:172::-;32511:2;32484:15;:24;32500:7;32484:24;;;;;;;;;;;;:29;;;;;;;;;;;;;;;;;;32545:7;32541:2;32525:28;;32534:5;32525:28;;;;;;;;;;;;32387:172;;;:::o;30752:1529::-;30849:35;30887:20;30899:7;30887:11;:20::i;:::-;30849:58;;30916:22;30958:13;:18;;;30942:34;;:12;:10;:12::i;:::-;:34;;;:81;;;;31011:12;:10;:12::i;:::-;30987:36;;:20;30999:7;30987:11;:20::i;:::-;:36;;;30942:81;:142;;;;31034:50;31051:13;:18;;;31071:12;:10;:12::i;:::-;31034:16;:50::i;:::-;30942:142;30916:169;;31110:17;31094:101;;;;;;;;;;;;:::i;:::-;;;;;;;;;31242:4;31220:26;;:13;:18;;;:26;;;31204:98;;;;;;;;;;;;:::i;:::-;;;;;;;;;31331:1;31317:16;;:2;:16;;;;31309:66;;;;;;;;;;;;:::i;:::-;;;;;;;;;31384:43;31406:4;31412:2;31416:7;31425:1;31384:21;:43::i;:::-;31484:49;31501:1;31505:7;31514:13;:18;;;31484:8;:49::i;:::-;31572:1;31542:12;:18;31555:4;31542:18;;;;;;;;;;;;;;;:26;;;:31;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;31608:1;31580:12;:16;31593:2;31580:16;;;;;;;;;;;;;;;:24;;;:29;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;31639:43;;;;;;;;31654:2;31639:43;;;;;;31665:15;31639:43;;;;;31616:11;:20;31628:7;31616:20;;;;;;;;;;;:66;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;31910:19;31942:1;31932:7;:11;;;;:::i;:::-;31910:33;;31995:1;31954:43;;:11;:24;31966:11;31954:24;;;;;;;;;;;:29;;;;;;;;;;;;:43;;;31950:236;;;32012:20;32020:11;32012:7;:20::i;:::-;32008:171;;;32072:97;;;;;;;;32099:13;:18;;;32072:97;;;;;;32130:13;:28;;;32072:97;;;;;32045:11;:24;32057:11;32045:24;;;;;;;;;;;:124;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;32008:171;31950:236;32218:7;32214:2;32199:27;;32208:4;32199:27;;;;;;;;;;;;32233:42;32254:4;32260:2;32264:7;32273:1;32233:20;:42::i;:::-;30842:1439;;;30752:1529;;;:::o;24597:606::-;24673:21;;:::i;:::-;24714:16;24722:7;24714;:16::i;:::-;24706:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;24786:26;24834:12;24823:7;:23;24819:93;;24903:1;24888:12;24878:7;:22;;;;:::i;:::-;:26;;;;:::i;:::-;24857:47;;24819:93;24925:12;24940:7;24925:22;;24920:212;24957:18;24949:4;:26;24920:212;;24994:31;25028:11;:17;25040:4;25028:17;;;;;;;;;;;24994:51;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;25084:1;25058:28;;:9;:14;;;:28;;;25054:71;;25106:9;25099:16;;;;;;;25054:71;24985:147;24977:6;;;;;:::i;:::-;;;;24920:212;;;;25140:57;;;;;;;;;;:::i;:::-;;;;;;;;24597:606;;;;:::o;38020:173::-;38076:16;38095:6;;;;;;;;;;;38076:25;;38121:8;38112:6;;:17;;;;;;;;;;;;;;;;;;38176:8;38145:40;;38166:8;38145:40;;;;;;;;;;;;38065:128;38020:173;:::o;28895:98::-;28960:27;28970:2;28974:8;28960:27;;;;;;;;;;;;:9;:27::i;:::-;28895:98;;:::o;34098:690::-;34235:4;34252:15;:2;:13;;;:15::i;:::-;34248:535;;;34307:2;34291:36;;;34328:12;:10;:12::i;:::-;34342:4;34348:7;34357:5;34291:72;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;34278:464;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;34539:1;34522:6;:13;:18;34518:215;;;34555:61;;;;;;;;;;:::i;:::-;;;;;;;;34518:215;34701:6;34695:13;34686:6;34682:2;34678:15;34671:38;34278:464;34423:45;;;34413:55;;;:6;:55;;;;34406:62;;;;;34248:535;34771:4;34764:11;;34098:690;;;;;;;:::o;39552:113::-;39612:13;39645:12;39638:19;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;39552:113;:::o;311:723::-;367:13;597:1;588:5;:10;584:53;;;615:10;;;;;;;;;;;;;;;;;;;;;584:53;647:12;662:5;647:20;;678:14;703:78;718:1;710:4;:9;703:78;;736:8;;;;;:::i;:::-;;;;767:2;759:10;;;;;:::i;:::-;;;703:78;;;791:19;823:6;813:17;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;791:39;;841:154;857:1;848:5;:10;841:154;;885:1;875:11;;;;;:::i;:::-;;;952:2;944:5;:10;;;;:::i;:::-;931:2;:24;;;;:::i;:::-;918:39;;901:6;908;901:14;;;;;;;;:::i;:::-;;;;;:56;;;;;;;;;;;981:2;972:11;;;;;:::i;:::-;;;841:154;;;1019:6;1005:21;;;;;311:723;;;;:::o;35250:141::-;;;;;:::o;35777:140::-;;;;;:::o;29248:1272::-;29353:20;29376:12;;29353:35;;29417:1;29403:16;;:2;:16;;;;29395:62;;;;;;;;;;;;:::i;:::-;;;;;;;;;29594:21;29602:12;29594:7;:21::i;:::-;29593:22;29585:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;29676:12;29664:8;:24;;29656:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;29736:61;29766:1;29770:2;29774:12;29788:8;29736:21;:61::i;:::-;29806:30;29839:12;:16;29852:2;29839:16;;;;;;;;;;;;;;;29806:49;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;29881:119;;;;;;;;29931:8;29901:11;:19;;;:39;;;;:::i;:::-;29881:119;;;;;;29984:8;29949:11;:24;;;:44;;;;:::i;:::-;29881:119;;;;;29862:12;:16;29875:2;29862:16;;;;;;;;;;;;;;;:138;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30035:43;;;;;;;;30050:2;30035:43;;;;;;30061:15;30035:43;;;;;30007:11;:25;30019:12;30007:25;;;;;;;;;;;:71;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30087:20;30110:12;30087:35;;30136:9;30131:281;30155:8;30151:1;:12;30131:281;;;30209:12;30205:2;30184:38;;30201:1;30184:38;;;;;;;;;;;;30249:59;30280:1;30284:2;30288:12;30302:5;30249:22;:59::i;:::-;30231:150;;;;;;;;;;;;:::i;:::-;;;;;;;;;30390:14;;;;;:::i;:::-;;;;30165:3;;;;;:::i;:::-;;;;30131:281;;;;30435:12;30420;:27;;;;30454:60;30483:1;30487:2;30491:12;30505:8;30454:20;:60::i;:::-;29346:1174;;;29248:1272;;;:::o;2836:387::-;2896:4;3104:12;3171:7;3159:20;3151:28;;3214:1;3207:4;:8;3200:15;;;2836:387;;;:::o;-1:-1:-1:-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;:::o;7:410:1:-;84:5;109:65;125:48;166:6;125:48;:::i;:::-;109:65;:::i;:::-;100:74;;197:6;190:5;183:21;235:4;228:5;224:16;273:3;264:6;259:3;255:16;252:25;249:112;;;280:79;;:::i;:::-;249:112;370:41;404:6;399:3;394;370:41;:::i;:::-;90:327;7:410;;;;;:::o;423:139::-;469:5;507:6;494:20;485:29;;523:33;550:5;523:33;:::i;:::-;423:139;;;;:::o;568:133::-;611:5;649:6;636:20;627:29;;665:30;689:5;665:30;:::i;:::-;568:133;;;;:::o;707:137::-;752:5;790:6;777:20;768:29;;806:32;832:5;806:32;:::i;:::-;707:137;;;;:::o;850:141::-;906:5;937:6;931:13;922:22;;953:32;979:5;953:32;:::i;:::-;850:141;;;;:::o;1010:338::-;1065:5;1114:3;1107:4;1099:6;1095:17;1091:27;1081:122;;1122:79;;:::i;:::-;1081:122;1239:6;1226:20;1264:78;1338:3;1330:6;1323:4;1315:6;1311:17;1264:78;:::i;:::-;1255:87;;1071:277;1010:338;;;;:::o;1368:553::-;1426:8;1436:6;1486:3;1479:4;1471:6;1467:17;1463:27;1453:122;;1494:79;;:::i;:::-;1453:122;1607:6;1594:20;1584:30;;1637:18;1629:6;1626:30;1623:117;;;1659:79;;:::i;:::-;1623:117;1773:4;1765:6;1761:17;1749:29;;1827:3;1819:4;1811:6;1807:17;1797:8;1793:32;1790:41;1787:128;;;1834:79;;:::i;:::-;1787:128;1368:553;;;;;:::o;1927:139::-;1973:5;2011:6;1998:20;1989:29;;2027:33;2054:5;2027:33;:::i;:::-;1927:139;;;;:::o;2072:329::-;2131:6;2180:2;2168:9;2159:7;2155:23;2151:32;2148:119;;;2186:79;;:::i;:::-;2148:119;2306:1;2331:53;2376:7;2367:6;2356:9;2352:22;2331:53;:::i;:::-;2321:63;;2277:117;2072:329;;;;:::o;2407:474::-;2475:6;2483;2532:2;2520:9;2511:7;2507:23;2503:32;2500:119;;;2538:79;;:::i;:::-;2500:119;2658:1;2683:53;2728:7;2719:6;2708:9;2704:22;2683:53;:::i;:::-;2673:63;;2629:117;2785:2;2811:53;2856:7;2847:6;2836:9;2832:22;2811:53;:::i;:::-;2801:63;;2756:118;2407:474;;;;;:::o;2887:619::-;2964:6;2972;2980;3029:2;3017:9;3008:7;3004:23;3000:32;2997:119;;;3035:79;;:::i;:::-;2997:119;3155:1;3180:53;3225:7;3216:6;3205:9;3201:22;3180:53;:::i;:::-;3170:63;;3126:117;3282:2;3308:53;3353:7;3344:6;3333:9;3329:22;3308:53;:::i;:::-;3298:63;;3253:118;3410:2;3436:53;3481:7;3472:6;3461:9;3457:22;3436:53;:::i;:::-;3426:63;;3381:118;2887:619;;;;;:::o;3512:943::-;3607:6;3615;3623;3631;3680:3;3668:9;3659:7;3655:23;3651:33;3648:120;;;3687:79;;:::i;:::-;3648:120;3807:1;3832:53;3877:7;3868:6;3857:9;3853:22;3832:53;:::i;:::-;3822:63;;3778:117;3934:2;3960:53;4005:7;3996:6;3985:9;3981:22;3960:53;:::i;:::-;3950:63;;3905:118;4062:2;4088:53;4133:7;4124:6;4113:9;4109:22;4088:53;:::i;:::-;4078:63;;4033:118;4218:2;4207:9;4203:18;4190:32;4249:18;4241:6;4238:30;4235:117;;;4271:79;;:::i;:::-;4235:117;4376:62;4430:7;4421:6;4410:9;4406:22;4376:62;:::i;:::-;4366:72;;4161:287;3512:943;;;;;;;:::o;4461:468::-;4526:6;4534;4583:2;4571:9;4562:7;4558:23;4554:32;4551:119;;;4589:79;;:::i;:::-;4551:119;4709:1;4734:53;4779:7;4770:6;4759:9;4755:22;4734:53;:::i;:::-;4724:63;;4680:117;4836:2;4862:50;4904:7;4895:6;4884:9;4880:22;4862:50;:::i;:::-;4852:60;;4807:115;4461:468;;;;;:::o;4935:474::-;5003:6;5011;5060:2;5048:9;5039:7;5035:23;5031:32;5028:119;;;5066:79;;:::i;:::-;5028:119;5186:1;5211:53;5256:7;5247:6;5236:9;5232:22;5211:53;:::i;:::-;5201:63;;5157:117;5313:2;5339:53;5384:7;5375:6;5364:9;5360:22;5339:53;:::i;:::-;5329:63;;5284:118;4935:474;;;;;:::o;5415:327::-;5473:6;5522:2;5510:9;5501:7;5497:23;5493:32;5490:119;;;5528:79;;:::i;:::-;5490:119;5648:1;5673:52;5717:7;5708:6;5697:9;5693:22;5673:52;:::i;:::-;5663:62;;5619:116;5415:327;;;;:::o;5748:349::-;5817:6;5866:2;5854:9;5845:7;5841:23;5837:32;5834:119;;;5872:79;;:::i;:::-;5834:119;5992:1;6017:63;6072:7;6063:6;6052:9;6048:22;6017:63;:::i;:::-;6007:73;;5963:127;5748:349;;;;:::o;6103:529::-;6174:6;6182;6231:2;6219:9;6210:7;6206:23;6202:32;6199:119;;;6237:79;;:::i;:::-;6199:119;6385:1;6374:9;6370:17;6357:31;6415:18;6407:6;6404:30;6401:117;;;6437:79;;:::i;:::-;6401:117;6550:65;6607:7;6598:6;6587:9;6583:22;6550:65;:::i;:::-;6532:83;;;;6328:297;6103:529;;;;;:::o;6638:329::-;6697:6;6746:2;6734:9;6725:7;6721:23;6717:32;6714:119;;;6752:79;;:::i;:::-;6714:119;6872:1;6897:53;6942:7;6933:6;6922:9;6918:22;6897:53;:::i;:::-;6887:63;;6843:117;6638:329;;;;:::o;6973:118::-;7060:24;7078:5;7060:24;:::i;:::-;7055:3;7048:37;6973:118;;:::o;7097:109::-;7178:21;7193:5;7178:21;:::i;:::-;7173:3;7166:34;7097:109;;:::o;7212:360::-;7298:3;7326:38;7358:5;7326:38;:::i;:::-;7380:70;7443:6;7438:3;7380:70;:::i;:::-;7373:77;;7459:52;7504:6;7499:3;7492:4;7485:5;7481:16;7459:52;:::i;:::-;7536:29;7558:6;7536:29;:::i;:::-;7531:3;7527:39;7520:46;;7302:270;7212:360;;;;:::o;7578:364::-;7666:3;7694:39;7727:5;7694:39;:::i;:::-;7749:71;7813:6;7808:3;7749:71;:::i;:::-;7742:78;;7829:52;7874:6;7869:3;7862:4;7855:5;7851:16;7829:52;:::i;:::-;7906:29;7928:6;7906:29;:::i;:::-;7901:3;7897:39;7890:46;;7670:272;7578:364;;;;:::o;7948:377::-;8054:3;8082:39;8115:5;8082:39;:::i;:::-;8137:89;8219:6;8214:3;8137:89;:::i;:::-;8130:96;;8235:52;8280:6;8275:3;8268:4;8261:5;8257:16;8235:52;:::i;:::-;8312:6;8307:3;8303:16;8296:23;;8058:267;7948:377;;;;:::o;8331:366::-;8473:3;8494:67;8558:2;8553:3;8494:67;:::i;:::-;8487:74;;8570:93;8659:3;8570:93;:::i;:::-;8688:2;8683:3;8679:12;8672:19;;8331:366;;;:::o;8703:::-;8845:3;8866:67;8930:2;8925:3;8866:67;:::i;:::-;8859:74;;8942:93;9031:3;8942:93;:::i;:::-;9060:2;9055:3;9051:12;9044:19;;8703:366;;;:::o;9075:::-;9217:3;9238:67;9302:2;9297:3;9238:67;:::i;:::-;9231:74;;9314:93;9403:3;9314:93;:::i;:::-;9432:2;9427:3;9423:12;9416:19;;9075:366;;;:::o;9447:::-;9589:3;9610:67;9674:2;9669:3;9610:67;:::i;:::-;9603:74;;9686:93;9775:3;9686:93;:::i;:::-;9804:2;9799:3;9795:12;9788:19;;9447:366;;;:::o;9819:::-;9961:3;9982:67;10046:2;10041:3;9982:67;:::i;:::-;9975:74;;10058:93;10147:3;10058:93;:::i;:::-;10176:2;10171:3;10167:12;10160:19;;9819:366;;;:::o;10191:::-;10333:3;10354:67;10418:2;10413:3;10354:67;:::i;:::-;10347:74;;10430:93;10519:3;10430:93;:::i;:::-;10548:2;10543:3;10539:12;10532:19;;10191:366;;;:::o;10563:::-;10705:3;10726:67;10790:2;10785:3;10726:67;:::i;:::-;10719:74;;10802:93;10891:3;10802:93;:::i;:::-;10920:2;10915:3;10911:12;10904:19;;10563:366;;;:::o;10935:::-;11077:3;11098:67;11162:2;11157:3;11098:67;:::i;:::-;11091:74;;11174:93;11263:3;11174:93;:::i;:::-;11292:2;11287:3;11283:12;11276:19;;10935:366;;;:::o;11307:365::-;11449:3;11470:66;11534:1;11529:3;11470:66;:::i;:::-;11463:73;;11545:93;11634:3;11545:93;:::i;:::-;11663:2;11658:3;11654:12;11647:19;;11307:365;;;:::o;11678:366::-;11820:3;11841:67;11905:2;11900:3;11841:67;:::i;:::-;11834:74;;11917:93;12006:3;11917:93;:::i;:::-;12035:2;12030:3;12026:12;12019:19;;11678:366;;;:::o;12050:::-;12192:3;12213:67;12277:2;12272:3;12213:67;:::i;:::-;12206:74;;12289:93;12378:3;12289:93;:::i;:::-;12407:2;12402:3;12398:12;12391:19;;12050:366;;;:::o;12422:::-;12564:3;12585:67;12649:2;12644:3;12585:67;:::i;:::-;12578:74;;12661:93;12750:3;12661:93;:::i;:::-;12779:2;12774:3;12770:12;12763:19;;12422:366;;;:::o;12794:::-;12936:3;12957:67;13021:2;13016:3;12957:67;:::i;:::-;12950:74;;13033:93;13122:3;13033:93;:::i;:::-;13151:2;13146:3;13142:12;13135:19;;12794:366;;;:::o;13166:::-;13308:3;13329:67;13393:2;13388:3;13329:67;:::i;:::-;13322:74;;13405:93;13494:3;13405:93;:::i;:::-;13523:2;13518:3;13514:12;13507:19;;13166:366;;;:::o;13538:::-;13680:3;13701:67;13765:2;13760:3;13701:67;:::i;:::-;13694:74;;13777:93;13866:3;13777:93;:::i;:::-;13895:2;13890:3;13886:12;13879:19;;13538:366;;;:::o;13910:::-;14052:3;14073:67;14137:2;14132:3;14073:67;:::i;:::-;14066:74;;14149:93;14238:3;14149:93;:::i;:::-;14267:2;14262:3;14258:12;14251:19;;13910:366;;;:::o;14282:::-;14424:3;14445:67;14509:2;14504:3;14445:67;:::i;:::-;14438:74;;14521:93;14610:3;14521:93;:::i;:::-;14639:2;14634:3;14630:12;14623:19;;14282:366;;;:::o;14654:::-;14796:3;14817:67;14881:2;14876:3;14817:67;:::i;:::-;14810:74;;14893:93;14982:3;14893:93;:::i;:::-;15011:2;15006:3;15002:12;14995:19;;14654:366;;;:::o;15026:::-;15168:3;15189:67;15253:2;15248:3;15189:67;:::i;:::-;15182:74;;15265:93;15354:3;15265:93;:::i;:::-;15383:2;15378:3;15374:12;15367:19;;15026:366;;;:::o;15398:::-;15540:3;15561:67;15625:2;15620:3;15561:67;:::i;:::-;15554:74;;15637:93;15726:3;15637:93;:::i;:::-;15755:2;15750:3;15746:12;15739:19;;15398:366;;;:::o;15770:::-;15912:3;15933:67;15997:2;15992:3;15933:67;:::i;:::-;15926:74;;16009:93;16098:3;16009:93;:::i;:::-;16127:2;16122:3;16118:12;16111:19;;15770:366;;;:::o;16142:::-;16284:3;16305:67;16369:2;16364:3;16305:67;:::i;:::-;16298:74;;16381:93;16470:3;16381:93;:::i;:::-;16499:2;16494:3;16490:12;16483:19;;16142:366;;;:::o;16514:::-;16656:3;16677:67;16741:2;16736:3;16677:67;:::i;:::-;16670:74;;16753:93;16842:3;16753:93;:::i;:::-;16871:2;16866:3;16862:12;16855:19;;16514:366;;;:::o;16886:::-;17028:3;17049:67;17113:2;17108:3;17049:67;:::i;:::-;17042:74;;17125:93;17214:3;17125:93;:::i;:::-;17243:2;17238:3;17234:12;17227:19;;16886:366;;;:::o;17258:::-;17400:3;17421:67;17485:2;17480:3;17421:67;:::i;:::-;17414:74;;17497:93;17586:3;17497:93;:::i;:::-;17615:2;17610:3;17606:12;17599:19;;17258:366;;;:::o;17630:118::-;17717:24;17735:5;17717:24;:::i;:::-;17712:3;17705:37;17630:118;;:::o;17754:435::-;17934:3;17956:95;18047:3;18038:6;17956:95;:::i;:::-;17949:102;;18068:95;18159:3;18150:6;18068:95;:::i;:::-;18061:102;;18180:3;18173:10;;17754:435;;;;;:::o;18195:222::-;18288:4;18326:2;18315:9;18311:18;18303:26;;18339:71;18407:1;18396:9;18392:17;18383:6;18339:71;:::i;:::-;18195:222;;;;:::o;18423:640::-;18618:4;18656:3;18645:9;18641:19;18633:27;;18670:71;18738:1;18727:9;18723:17;18714:6;18670:71;:::i;:::-;18751:72;18819:2;18808:9;18804:18;18795:6;18751:72;:::i;:::-;18833;18901:2;18890:9;18886:18;18877:6;18833:72;:::i;:::-;18952:9;18946:4;18942:20;18937:2;18926:9;18922:18;18915:48;18980:76;19051:4;19042:6;18980:76;:::i;:::-;18972:84;;18423:640;;;;;;;:::o;19069:210::-;19156:4;19194:2;19183:9;19179:18;19171:26;;19207:65;19269:1;19258:9;19254:17;19245:6;19207:65;:::i;:::-;19069:210;;;;:::o;19285:313::-;19398:4;19436:2;19425:9;19421:18;19413:26;;19485:9;19479:4;19475:20;19471:1;19460:9;19456:17;19449:47;19513:78;19586:4;19577:6;19513:78;:::i;:::-;19505:86;;19285:313;;;;:::o;19604:419::-;19770:4;19808:2;19797:9;19793:18;19785:26;;19857:9;19851:4;19847:20;19843:1;19832:9;19828:17;19821:47;19885:131;20011:4;19885:131;:::i;:::-;19877:139;;19604:419;;;:::o;20029:::-;20195:4;20233:2;20222:9;20218:18;20210:26;;20282:9;20276:4;20272:20;20268:1;20257:9;20253:17;20246:47;20310:131;20436:4;20310:131;:::i;:::-;20302:139;;20029:419;;;:::o;20454:::-;20620:4;20658:2;20647:9;20643:18;20635:26;;20707:9;20701:4;20697:20;20693:1;20682:9;20678:17;20671:47;20735:131;20861:4;20735:131;:::i;:::-;20727:139;;20454:419;;;:::o;20879:::-;21045:4;21083:2;21072:9;21068:18;21060:26;;21132:9;21126:4;21122:20;21118:1;21107:9;21103:17;21096:47;21160:131;21286:4;21160:131;:::i;:::-;21152:139;;20879:419;;;:::o;21304:::-;21470:4;21508:2;21497:9;21493:18;21485:26;;21557:9;21551:4;21547:20;21543:1;21532:9;21528:17;21521:47;21585:131;21711:4;21585:131;:::i;:::-;21577:139;;21304:419;;;:::o;21729:::-;21895:4;21933:2;21922:9;21918:18;21910:26;;21982:9;21976:4;21972:20;21968:1;21957:9;21953:17;21946:47;22010:131;22136:4;22010:131;:::i;:::-;22002:139;;21729:419;;;:::o;22154:::-;22320:4;22358:2;22347:9;22343:18;22335:26;;22407:9;22401:4;22397:20;22393:1;22382:9;22378:17;22371:47;22435:131;22561:4;22435:131;:::i;:::-;22427:139;;22154:419;;;:::o;22579:::-;22745:4;22783:2;22772:9;22768:18;22760:26;;22832:9;22826:4;22822:20;22818:1;22807:9;22803:17;22796:47;22860:131;22986:4;22860:131;:::i;:::-;22852:139;;22579:419;;;:::o;23004:::-;23170:4;23208:2;23197:9;23193:18;23185:26;;23257:9;23251:4;23247:20;23243:1;23232:9;23228:17;23221:47;23285:131;23411:4;23285:131;:::i;:::-;23277:139;;23004:419;;;:::o;23429:::-;23595:4;23633:2;23622:9;23618:18;23610:26;;23682:9;23676:4;23672:20;23668:1;23657:9;23653:17;23646:47;23710:131;23836:4;23710:131;:::i;:::-;23702:139;;23429:419;;;:::o;23854:::-;24020:4;24058:2;24047:9;24043:18;24035:26;;24107:9;24101:4;24097:20;24093:1;24082:9;24078:17;24071:47;24135:131;24261:4;24135:131;:::i;:::-;24127:139;;23854:419;;;:::o;24279:::-;24445:4;24483:2;24472:9;24468:18;24460:26;;24532:9;24526:4;24522:20;24518:1;24507:9;24503:17;24496:47;24560:131;24686:4;24560:131;:::i;:::-;24552:139;;24279:419;;;:::o;24704:::-;24870:4;24908:2;24897:9;24893:18;24885:26;;24957:9;24951:4;24947:20;24943:1;24932:9;24928:17;24921:47;24985:131;25111:4;24985:131;:::i;:::-;24977:139;;24704:419;;;:::o;25129:::-;25295:4;25333:2;25322:9;25318:18;25310:26;;25382:9;25376:4;25372:20;25368:1;25357:9;25353:17;25346:47;25410:131;25536:4;25410:131;:::i;:::-;25402:139;;25129:419;;;:::o;25554:::-;25720:4;25758:2;25747:9;25743:18;25735:26;;25807:9;25801:4;25797:20;25793:1;25782:9;25778:17;25771:47;25835:131;25961:4;25835:131;:::i;:::-;25827:139;;25554:419;;;:::o;25979:::-;26145:4;26183:2;26172:9;26168:18;26160:26;;26232:9;26226:4;26222:20;26218:1;26207:9;26203:17;26196:47;26260:131;26386:4;26260:131;:::i;:::-;26252:139;;25979:419;;;:::o;26404:::-;26570:4;26608:2;26597:9;26593:18;26585:26;;26657:9;26651:4;26647:20;26643:1;26632:9;26628:17;26621:47;26685:131;26811:4;26685:131;:::i;:::-;26677:139;;26404:419;;;:::o;26829:::-;26995:4;27033:2;27022:9;27018:18;27010:26;;27082:9;27076:4;27072:20;27068:1;27057:9;27053:17;27046:47;27110:131;27236:4;27110:131;:::i;:::-;27102:139;;26829:419;;;:::o;27254:::-;27420:4;27458:2;27447:9;27443:18;27435:26;;27507:9;27501:4;27497:20;27493:1;27482:9;27478:17;27471:47;27535:131;27661:4;27535:131;:::i;:::-;27527:139;;27254:419;;;:::o;27679:::-;27845:4;27883:2;27872:9;27868:18;27860:26;;27932:9;27926:4;27922:20;27918:1;27907:9;27903:17;27896:47;27960:131;28086:4;27960:131;:::i;:::-;27952:139;;27679:419;;;:::o;28104:::-;28270:4;28308:2;28297:9;28293:18;28285:26;;28357:9;28351:4;28347:20;28343:1;28332:9;28328:17;28321:47;28385:131;28511:4;28385:131;:::i;:::-;28377:139;;28104:419;;;:::o;28529:::-;28695:4;28733:2;28722:9;28718:18;28710:26;;28782:9;28776:4;28772:20;28768:1;28757:9;28753:17;28746:47;28810:131;28936:4;28810:131;:::i;:::-;28802:139;;28529:419;;;:::o;28954:::-;29120:4;29158:2;29147:9;29143:18;29135:26;;29207:9;29201:4;29197:20;29193:1;29182:9;29178:17;29171:47;29235:131;29361:4;29235:131;:::i;:::-;29227:139;;28954:419;;;:::o;29379:::-;29545:4;29583:2;29572:9;29568:18;29560:26;;29632:9;29626:4;29622:20;29618:1;29607:9;29603:17;29596:47;29660:131;29786:4;29660:131;:::i;:::-;29652:139;;29379:419;;;:::o;29804:::-;29970:4;30008:2;29997:9;29993:18;29985:26;;30057:9;30051:4;30047:20;30043:1;30032:9;30028:17;30021:47;30085:131;30211:4;30085:131;:::i;:::-;30077:139;;29804:419;;;:::o;30229:222::-;30322:4;30360:2;30349:9;30345:18;30337:26;;30373:71;30441:1;30430:9;30426:17;30417:6;30373:71;:::i;:::-;30229:222;;;;:::o;30457:129::-;30491:6;30518:20;;:::i;:::-;30508:30;;30547:33;30575:4;30567:6;30547:33;:::i;:::-;30457:129;;;:::o;30592:75::-;30625:6;30658:2;30652:9;30642:19;;30592:75;:::o;30673:307::-;30734:4;30824:18;30816:6;30813:30;30810:56;;;30846:18;;:::i;:::-;30810:56;30884:29;30906:6;30884:29;:::i;:::-;30876:37;;30968:4;30962;30958:15;30950:23;;30673:307;;;:::o;30986:98::-;31037:6;31071:5;31065:12;31055:22;;30986:98;;;:::o;31090:99::-;31142:6;31176:5;31170:12;31160:22;;31090:99;;;:::o;31195:168::-;31278:11;31312:6;31307:3;31300:19;31352:4;31347:3;31343:14;31328:29;;31195:168;;;;:::o;31369:169::-;31453:11;31487:6;31482:3;31475:19;31527:4;31522:3;31518:14;31503:29;;31369:169;;;;:::o;31544:148::-;31646:11;31683:3;31668:18;;31544:148;;;;:::o;31698:273::-;31738:3;31757:20;31775:1;31757:20;:::i;:::-;31752:25;;31791:20;31809:1;31791:20;:::i;:::-;31786:25;;31913:1;31877:34;31873:42;31870:1;31867:49;31864:75;;;31919:18;;:::i;:::-;31864:75;31963:1;31960;31956:9;31949:16;;31698:273;;;;:::o;31977:305::-;32017:3;32036:20;32054:1;32036:20;:::i;:::-;32031:25;;32070:20;32088:1;32070:20;:::i;:::-;32065:25;;32224:1;32156:66;32152:74;32149:1;32146:81;32143:107;;;32230:18;;:::i;:::-;32143:107;32274:1;32271;32267:9;32260:16;;31977:305;;;;:::o;32288:185::-;32328:1;32345:20;32363:1;32345:20;:::i;:::-;32340:25;;32379:20;32397:1;32379:20;:::i;:::-;32374:25;;32418:1;32408:35;;32423:18;;:::i;:::-;32408:35;32465:1;32462;32458:9;32453:14;;32288:185;;;;:::o;32479:348::-;32519:7;32542:20;32560:1;32542:20;:::i;:::-;32537:25;;32576:20;32594:1;32576:20;:::i;:::-;32571:25;;32764:1;32696:66;32692:74;32689:1;32686:81;32681:1;32674:9;32667:17;32663:105;32660:131;;;32771:18;;:::i;:::-;32660:131;32819:1;32816;32812:9;32801:20;;32479:348;;;;:::o;32833:191::-;32873:4;32893:20;32911:1;32893:20;:::i;:::-;32888:25;;32927:20;32945:1;32927:20;:::i;:::-;32922:25;;32966:1;32963;32960:8;32957:34;;;32971:18;;:::i;:::-;32957:34;33016:1;33013;33009:9;33001:17;;32833:191;;;;:::o;33030:::-;33070:4;33090:20;33108:1;33090:20;:::i;:::-;33085:25;;33124:20;33142:1;33124:20;:::i;:::-;33119:25;;33163:1;33160;33157:8;33154:34;;;33168:18;;:::i;:::-;33154:34;33213:1;33210;33206:9;33198:17;;33030:191;;;;:::o;33227:96::-;33264:7;33293:24;33311:5;33293:24;:::i;:::-;33282:35;;33227:96;;;:::o;33329:90::-;33363:7;33406:5;33399:13;33392:21;33381:32;;33329:90;;;:::o;33425:149::-;33461:7;33501:66;33494:5;33490:78;33479:89;;33425:149;;;:::o;33580:118::-;33617:7;33657:34;33650:5;33646:46;33635:57;;33580:118;;;:::o;33704:126::-;33741:7;33781:42;33774:5;33770:54;33759:65;;33704:126;;;:::o;33836:77::-;33873:7;33902:5;33891:16;;33836:77;;;:::o;33919:154::-;34003:6;33998:3;33993;33980:30;34065:1;34056:6;34051:3;34047:16;34040:27;33919:154;;;:::o;34079:307::-;34147:1;34157:113;34171:6;34168:1;34165:13;34157:113;;;34256:1;34251:3;34247:11;34241:18;34237:1;34232:3;34228:11;34221:39;34193:2;34190:1;34186:10;34181:15;;34157:113;;;34288:6;34285:1;34282:13;34279:101;;;34368:1;34359:6;34354:3;34350:16;34343:27;34279:101;34128:258;34079:307;;;:::o;34392:171::-;34431:3;34454:24;34472:5;34454:24;:::i;:::-;34445:33;;34500:4;34493:5;34490:15;34487:41;;;34508:18;;:::i;:::-;34487:41;34555:1;34548:5;34544:13;34537:20;;34392:171;;;:::o;34569:320::-;34613:6;34650:1;34644:4;34640:12;34630:22;;34697:1;34691:4;34687:12;34718:18;34708:81;;34774:4;34766:6;34762:17;34752:27;;34708:81;34836:2;34828:6;34825:14;34805:18;34802:38;34799:84;;;34855:18;;:::i;:::-;34799:84;34620:269;34569:320;;;:::o;34895:281::-;34978:27;35000:4;34978:27;:::i;:::-;34970:6;34966:40;35108:6;35096:10;35093:22;35072:18;35060:10;35057:34;35054:62;35051:88;;;35119:18;;:::i;:::-;35051:88;35159:10;35155:2;35148:22;34938:238;34895:281;;:::o;35182:233::-;35221:3;35244:24;35262:5;35244:24;:::i;:::-;35235:33;;35290:66;35283:5;35280:77;35277:103;;;35360:18;;:::i;:::-;35277:103;35407:1;35400:5;35396:13;35389:20;;35182:233;;;:::o;35421:176::-;35453:1;35470:20;35488:1;35470:20;:::i;:::-;35465:25;;35504:20;35522:1;35504:20;:::i;:::-;35499:25;;35543:1;35533:35;;35548:18;;:::i;:::-;35533:35;35589:1;35586;35582:9;35577:14;;35421:176;;;;:::o;35603:180::-;35651:77;35648:1;35641:88;35748:4;35745:1;35738:15;35772:4;35769:1;35762:15;35789:180;35837:77;35834:1;35827:88;35934:4;35931:1;35924:15;35958:4;35955:1;35948:15;35975:180;36023:77;36020:1;36013:88;36120:4;36117:1;36110:15;36144:4;36141:1;36134:15;36161:180;36209:77;36206:1;36199:88;36306:4;36303:1;36296:15;36330:4;36327:1;36320:15;36347:180;36395:77;36392:1;36385:88;36492:4;36489:1;36482:15;36516:4;36513:1;36506:15;36533:117;36642:1;36639;36632:12;36656:117;36765:1;36762;36755:12;36779:117;36888:1;36885;36878:12;36902:117;37011:1;37008;37001:12;37025:117;37134:1;37131;37124:12;37148:117;37257:1;37254;37247:12;37271:102;37312:6;37363:2;37359:7;37354:2;37347:5;37343:14;37339:28;37329:38;;37271:102;;;:::o;37379:221::-;37519:34;37515:1;37507:6;37503:14;37496:58;37588:4;37583:2;37575:6;37571:15;37564:29;37379:221;:::o;37606:181::-;37746:33;37742:1;37734:6;37730:14;37723:57;37606:181;:::o;37793:221::-;37933:34;37929:1;37921:6;37917:14;37910:58;38002:4;37997:2;37989:6;37985:15;37978:29;37793:221;:::o;38020:225::-;38160:34;38156:1;38148:6;38144:14;38137:58;38229:8;38224:2;38216:6;38212:15;38205:33;38020:225;:::o;38251:229::-;38391:34;38387:1;38379:6;38375:14;38368:58;38460:12;38455:2;38447:6;38443:15;38436:37;38251:229;:::o;38486:181::-;38626:33;38622:1;38614:6;38610:14;38603:57;38486:181;:::o;38673:222::-;38813:34;38809:1;38801:6;38797:14;38790:58;38882:5;38877:2;38869:6;38865:15;38858:30;38673:222;:::o;38901:224::-;39041:34;39037:1;39029:6;39025:14;39018:58;39110:7;39105:2;39097:6;39093:15;39086:32;38901:224;:::o;39131:159::-;39271:11;39267:1;39259:6;39255:14;39248:35;39131:159;:::o;39296:244::-;39436:34;39432:1;39424:6;39420:14;39413:58;39505:27;39500:2;39492:6;39488:15;39481:52;39296:244;:::o;39546:230::-;39686:34;39682:1;39674:6;39670:14;39663:58;39755:13;39750:2;39742:6;39738:15;39731:38;39546:230;:::o;39782:225::-;39922:34;39918:1;39910:6;39906:14;39899:58;39991:8;39986:2;39978:6;39974:15;39967:33;39782:225;:::o;40013:182::-;40153:34;40149:1;40141:6;40137:14;40130:58;40013:182;:::o;40201:225::-;40341:34;40337:1;40329:6;40325:14;40318:58;40410:8;40405:2;40397:6;40393:15;40386:33;40201:225;:::o;40432:234::-;40572:34;40568:1;40560:6;40556:14;40549:58;40641:17;40636:2;40628:6;40624:15;40617:42;40432:234;:::o;40672:176::-;40812:28;40808:1;40800:6;40796:14;40789:52;40672:176;:::o;40854:237::-;40994:34;40990:1;40982:6;40978:14;40971:58;41063:20;41058:2;41050:6;41046:15;41039:45;40854:237;:::o;41097:221::-;41237:34;41233:1;41225:6;41221:14;41214:58;41306:4;41301:2;41293:6;41289:15;41282:29;41097:221;:::o;41324:238::-;41464:34;41460:1;41452:6;41448:14;41441:58;41533:21;41528:2;41520:6;41516:15;41509:46;41324:238;:::o;41568:179::-;41708:31;41704:1;41696:6;41692:14;41685:55;41568:179;:::o;41753:220::-;41893:34;41889:1;41881:6;41877:14;41870:58;41962:3;41957:2;41949:6;41945:15;41938:28;41753:220;:::o;41979:233::-;42119:34;42115:1;42107:6;42103:14;42096:58;42188:16;42183:2;42175:6;42171:15;42164:41;41979:233;:::o;42218:234::-;42358:34;42354:1;42346:6;42342:14;42335:58;42427:17;42422:2;42414:6;42410:15;42403:42;42218:234;:::o;42458:232::-;42598:34;42594:1;42586:6;42582:14;42575:58;42667:15;42662:2;42654:6;42650:15;42643:40;42458:232;:::o;42696:221::-;42836:34;42832:1;42824:6;42820:14;42813:58;42905:4;42900:2;42892:6;42888:15;42881:29;42696:221;:::o;42923:122::-;42996:24;43014:5;42996:24;:::i;:::-;42989:5;42986:35;42976:63;;43035:1;43032;43025:12;42976:63;42923:122;:::o;43051:116::-;43121:21;43136:5;43121:21;:::i;:::-;43114:5;43111:32;43101:60;;43157:1;43154;43147:12;43101:60;43051:116;:::o;43173:120::-;43245:23;43262:5;43245:23;:::i;:::-;43238:5;43235:34;43225:62;;43283:1;43280;43273:12;43225:62;43173:120;:::o;43299:122::-;43372:24;43390:5;43372:24;:::i;:::-;43365:5;43362:35;43352:63;;43411:1;43408;43401:12;43352:63;43299:122;:::o

ipfs://5415836fec0993a114a6bb7d771578624caffc7da768eb60a5b89059126ec925