Contract Source Code (Solidity Multiple files format)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

pragma solidity ^0.7.0;

import './ERC165.sol';
import './IERC165.sol';
import './EnumerableSet.sol';
import './EnumerableMap.sol';
import './SafeMath.sol';
import './Address.sol';
import './Context.sol';
import './Ownable.sol';
import './IERC721Enumerable.sol';
import './IAbstractAI.sol';

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

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

contract AbstractAI is Context, Ownable, ERC165, IERC721Metadata, IAbstractAI{
    using EnumerableSet for EnumerableSet.UintSet;
    using EnumerableMap for EnumerableMap.UintToAddressMap;
    using SafeMath for uint256;
    using Address for address;

    // Mapping from holder address to their (enumerable) set of owned tokens
    mapping (address => EnumerableSet.UintSet) private _holderTokens;

    // Enumerable mapping from token ids to their owners
    EnumerableMap.UintToAddressMap private _tokenOwners;

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


    // Mapping from token ID to whether the Abstract was minted before reveal
    mapping (uint256 => bool) private _mintedBeforeReveal;

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

    // Public variables

    // This is the provenance record of all Abstract artworks in existence
    string public constant ABSTRACTAI_PROVENANCE = "ee865843b5ff9fc90b4931cb0bed6e89aacc86afd41870197488baf261d87c97";

    uint256 public constant SALE_START_TIMESTAMP = 1620219600;

    uint256 public constant REVEAL_TIMESTAMP = SALE_START_TIMESTAMP + (86400 * 14);

    uint256 public constant MAX_NFT_SUPPLY = 9402;

    uint256 public startingIndexBlock;

    uint256 public startingIndex;

    // Equals to `bytes4(keccak256("onERC721Received(address,address,uint256,bytes)"))`
    // which can be also obtained as `IERC721Receiver(0).onERC721Received.selector`
    bytes4 private constant _ERC721_RECEIVED = 0x150b7a02;

    // Token name
    string private _name;

    // Token symbol
    string private _symbol;

    /*
     *     bytes4(keccak256('balanceOf(address)')) == 0x70a08231
     *     bytes4(keccak256('ownerOf(uint256)')) == 0x6352211e
     *     bytes4(keccak256('approve(address,uint256)')) == 0x095ea7b3
     *     bytes4(keccak256('getApproved(uint256)')) == 0x081812fc
     *     bytes4(keccak256('setApprovalForAll(address,bool)')) == 0xa22cb465
     *     bytes4(keccak256('isApprovedForAll(address,address)')) == 0xe985e9c5
     *     bytes4(keccak256('transferFrom(address,address,uint256)')) == 0x23b872dd
     *     bytes4(keccak256('safeTransferFrom(address,address,uint256)')) == 0x42842e0e
     *     bytes4(keccak256('safeTransferFrom(address,address,uint256,bytes)')) == 0xb88d4fde
     *
     *     => 0x70a08231 ^ 0x6352211e ^ 0x095ea7b3 ^ 0x081812fc ^
     *        0xa22cb465 ^ 0xe985e9c5 ^ 0x23b872dd ^ 0x42842e0e ^ 0xb88d4fde == 0x80ac58cd
     */
    bytes4 private constant _INTERFACE_ID_ERC721 = 0x80ac58cd;

    /*
     *     bytes4(keccak256('name()')) == 0x06fdde03
     *     bytes4(keccak256('symbol()')) == 0x95d89b41
     *
     *     => 0x06fdde03 ^ 0x95d89b41 == 0x93254542
     */
    bytes4 private constant _INTERFACE_ID_ERC721_METADATA = 0x93254542;

    /*
     *     bytes4(keccak256('totalSupply()')) == 0x18160ddd
     *     bytes4(keccak256('tokenOfOwnerByIndex(address,uint256)')) == 0x2f745c59
     *     bytes4(keccak256('tokenByIndex(uint256)')) == 0x4f6ccce7
     *
     *     => 0x18160ddd ^ 0x2f745c59 ^ 0x4f6ccce7 == 0x780e9d63
     */
    bytes4 private constant _INTERFACE_ID_ERC721_ENUMERABLE = 0x780e9d63;

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

        // register the supported interfaces to conform to ERC721 via ERC165
        _registerInterface(_INTERFACE_ID_ERC721);
        _registerInterface(_INTERFACE_ID_ERC721_METADATA);
        _registerInterface(_INTERFACE_ID_ERC721_ENUMERABLE);
    }

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

        return _holderTokens[owner].length();
    }

    /**
     * @dev See {IERC721-ownerOf}.
     */
    function ownerOf(uint256 tokenId) public view override returns (address) {
        return _tokenOwners.get(tokenId, "ERC721: owner query for nonexistent token");
    }
    
    /**
     * @dev Returns all tokens for an address
     */ 
    function allTokensOfAddress(address _address) public view returns (uint256[] memory){
        uint256 balance = balanceOf(_address);
        uint256[] memory tokenBalance = new uint256[](balance);
        for(uint i=0; i<balance; i++){
            tokenBalance[i] = (tokenOfOwnerByIndex(_address, i));
        }
        return tokenBalance;
    }
    
    function getArtworkIdFromToken(uint256 _tokenId) public view returns (uint256){
        require(startingIndex > 0, "Reveal has not started yet!");
        require(_tokenId < MAX_NFT_SUPPLY, "Id out of range!");

        if(_tokenId >= startingIndex){
            return _tokenId - startingIndex;
        }
        else if (_tokenId < startingIndex) {
            return MAX_NFT_SUPPLY + _tokenId - startingIndex;
        }
        
    }
    
    /**
     * @dev See {IERC721Metadata-name}.
     */
    function name() public view override returns (string memory) {
        return _name;
    }

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

    /**
     * @dev See {IERC721Enumerable-tokenOfOwnerByIndex}.
     */
    function tokenOfOwnerByIndex(address owner, uint256 index) public view override returns (uint256) {
        return _holderTokens[owner].at(index);
    }

    /**
     * @dev See {IERC721Enumerable-totalSupply}.
     */
    function totalSupply() public view override returns (uint256) {
        // _tokenOwners are indexed by tokenIds, so .length() returns the number of tokenIds
        return _tokenOwners.length();
    }

    /**
     * @dev See {IERC721Enumerable-tokenByIndex}.
     */
    function tokenByIndex(uint256 index) public view override returns (uint256) {
        (uint256 tokenId, ) = _tokenOwners.at(index);
        return tokenId;
    }

    /**
     * @dev Returns if the NFT has been minted before reveal phase
     */
    function isMintedBeforeReveal(uint256 index) public view override returns (bool) {
        return _mintedBeforeReveal[index];
    }

    /**
     * @dev Gets current Abstract Price
     */
    function getNFTPrice() public view returns (uint256) {
        require(block.timestamp >= SALE_START_TIMESTAMP, "Sale has not started");
        require(totalSupply() < MAX_NFT_SUPPLY, "Sale has already ended");

        uint currentSupply = totalSupply();
        
        if(currentSupply >= 9400){
            return 2500000000000000000; // 2.5 ETH   -   9400-9401
        }
        else if(currentSupply >=8000){
            return 500000000000000000; // 0.5 ETH   -   8000-9399
        }
        else if(currentSupply >=6000){
            return 400000000000000000; // 0.4 ETH   -   6000-7999
        }
        else if(currentSupply >=4000){
            return 300000000000000000; // 0.3 ETH   -   4000-5999
        }
        else if(currentSupply >=2000){
            return 200000000000000000; // 0.2 ETH   -   2000-3999
        }
        else{
            return 100000000000000000; // 0.1 ETH   -   0000-1999
        }
    }

    /**
    * @dev Mints Abstracts
    */
    function mintNFT(uint256 numberOfNfts) public payable {
        require(totalSupply() < MAX_NFT_SUPPLY, "Sale has already ended");
        require(numberOfNfts > 0, "numberOfNfts cannot be 0");
        require(numberOfNfts <= 20, "You may not buy more than 20 NFTs at once");
        require(totalSupply().add(numberOfNfts) <= MAX_NFT_SUPPLY, "Exceeds MAX_NFT_SUPPLY");
        require(getNFTPrice().mul(numberOfNfts) == msg.value, "Ether value sent is not correct");

        for (uint i = 0; i < numberOfNfts; i++) {
            uint mintIndex = totalSupply();
            if (block.timestamp < REVEAL_TIMESTAMP) {
                _mintedBeforeReveal[mintIndex] = true;
            }
            _safeMint(msg.sender, mintIndex);
        }

        /**
        * Source of randomness. Theoretical miner withhold manipulation possible but should be sufficient in a pragmatic sense
        */
        if (startingIndexBlock == 0 && (totalSupply() == MAX_NFT_SUPPLY || block.timestamp >= REVEAL_TIMESTAMP)) {
            startingIndexBlock = block.number;
        }
    }

    /**
     * @dev Finalize starting index
     */
    function finalizeStartingIndex() public {
        require(startingIndex == 0, "Starting index is already set");
        require(startingIndexBlock != 0, "Starting index block must be set");
        
        startingIndex = uint(blockhash(startingIndexBlock)) % MAX_NFT_SUPPLY;
        // Just a sanity case in the worst case if this function is called late (EVM only stores last 256 block hashes)
        if (block.number.sub(startingIndexBlock) > 255) {
            startingIndex = uint(blockhash(block.number-1)) % MAX_NFT_SUPPLY;
        }
        // Prevent default sequence
        if (startingIndex == 0) {
            startingIndex = startingIndex.add(5);
        }
    }

    /**
     * @dev Withdraw ether from this contract (Callable by owner)
    */
    function withdraw() onlyOwner public {
        uint balance = address(this).balance;
        msg.sender.transfer(balance);
    }

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

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

        _approve(to, tokenId);
    }

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

        return _tokenApprovals[tokenId];
    }

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

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

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

    /**
     * @dev See {IERC721-transferFrom}.
     */
    function transferFrom(address from, address to, uint256 tokenId) public virtual override {
        //solhint-disable-next-line max-line-length
        require(_isApprovedOrOwner(_msgSender(), tokenId), "ERC721: transfer caller is not owner nor approved");

        _transfer(from, to, tokenId);
    }

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

    /**
     * @dev See {IERC721-safeTransferFrom}.
     */
    function safeTransferFrom(address from, address to, uint256 tokenId, bytes memory _data) public virtual override {
        require(_isApprovedOrOwner(_msgSender(), tokenId), "ERC721: transfer caller is not owner nor approved");
        _safeTransfer(from, to, tokenId, _data);
    }

    /**
     * @dev Safely transfers `tokenId` token from `from` to `to`, checking first that contract recipients
     * are aware of the ERC721 protocol to prevent tokens from being forever locked.
     *
     * `_data` is additional data, it has no specified format and it is sent in call to `to`.
     *
     * This internal function is equivalent to {safeTransferFrom}, and can be used to e.g.
     * implement alternative mechanisms to perform token transfer, such as signature-based.
     *
     * Requirements:
     *
     * - `from` cannot be the zero address.
     * - `to` cannot be the zero address.
     * - `tokenId` token must exist and be owned by `from`.
     * - If `to` refers to a smart contract, it must implement {IERC721Receiver-onERC721Received}, which is called upon a safe transfer.
     *
     * Emits a {Transfer} event.
     */
    function _safeTransfer(address from, address to, uint256 tokenId, bytes memory _data) internal virtual {
        _transfer(from, to, tokenId);
        require(_checkOnERC721Received(from, to, tokenId, _data), "ERC721: transfer to non ERC721Receiver implementer");
    }

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

    /**
     * @dev Returns whether `spender` is allowed to manage `tokenId`.
     *
     * Requirements:
     *
     * - `tokenId` must exist.
     */
    function _isApprovedOrOwner(address spender, uint256 tokenId) internal view returns (bool) {
        require(_exists(tokenId), "ERC721: operator query for nonexistent token");
        address owner = ownerOf(tokenId);
        return (spender == owner || getApproved(tokenId) == spender || isApprovedForAll(owner, spender));
    }

    /**
     * @dev Safely mints `tokenId` and transfers it to `to`.
     *
     * Requirements:
     d*
     * - `tokenId` must not exist.
     * - If `to` refers to a smart contract, it must implement {IERC721Receiver-onERC721Received}, which is called upon a safe transfer.
     *
     * Emits a {Transfer} event.
     */
    function _safeMint(address to, uint256 tokenId) internal virtual {
        require(totalSupply() < MAX_NFT_SUPPLY.add(1));
        _safeMint(to, tokenId, "");
    }

    /**
     * @dev Same as {xref-ERC721-_safeMint-address-uint256-}[`_safeMint`], with an additional `data` parameter which is
     * forwarded in {IERC721Receiver-onERC721Received} to contract recipients.
     */
    function _safeMint(address to, uint256 tokenId, bytes memory _data) internal virtual {
        _mint(to, tokenId);
        require(totalSupply() < MAX_NFT_SUPPLY.add(1));
        require(_checkOnERC721Received(address(0), to, tokenId, _data), "ERC721: transfer to non ERC721Receiver implementer");
    }

    /**
     * @dev Mints `tokenId` and transfers it to `to`.
     *
     * WARNING: Usage of this method is discouraged, use {_safeMint} whenever possible
     *
     * Requirements:
     *
     * - `tokenId` must not exist.
     * - `to` cannot be the zero address.
     *
     * Emits a {Transfer} event.
     */
    function _mint(address to, uint256 tokenId) internal virtual {
        require(to != address(0), "ERC721: mint to the zero address");
        require(!_exists(tokenId), "ERC721: token already minted");

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

        _holderTokens[to].add(tokenId);

        _tokenOwners.set(tokenId, to);

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

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

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

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

        _holderTokens[owner].remove(tokenId);

        _tokenOwners.remove(tokenId);

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

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

        _beforeTokenTransfer(from, to, tokenId);

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

        _holderTokens[from].remove(tokenId);
        _holderTokens[to].add(tokenId);

        _tokenOwners.set(tokenId, to);

        emit Transfer(from, to, tokenId);
    }


    /**
     * @dev Internal function to invoke {IERC721Receiver-onERC721Received} on a target address.
     * The call is not executed if the target address is not a contract.
     *
     * @param from address representing the previous owner of the given token ID
     * @param to target address that will receive the tokens
     * @param tokenId uint256 ID of the token to be transferred
     * @param _data bytes optional data to send along with the call
     * @return bool whether the call correctly returned the expected magic value
     */
    function _checkOnERC721Received(address from, address to, uint256 tokenId, bytes memory _data)
        private returns (bool)
    {
        if (!to.isContract()) {
            return true;
        }
        bytes memory returndata = to.functionCall(abi.encodeWithSelector(
            IERC721Receiver(to).onERC721Received.selector,
            _msgSender(),
            from,
            tokenId,
            _data
        ), "ERC721: transfer to non ERC721Receiver implementer");
        bytes4 retval = abi.decode(returndata, (bytes4));
        return (retval == _ERC721_RECEIVED);
    }

    function _approve(address to, uint256 tokenId) private {
        _tokenApprovals[tokenId] = to;
        emit Approval(ownerOf(tokenId), to, tokenId);
    }

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

}

pragma solidity ^0.7.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;
        // solhint-disable-next-line no-inline-assembly
        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");

        // solhint-disable-next-line avoid-low-level-calls, avoid-call-value
        (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");

        // solhint-disable-next-line avoid-low-level-calls
        (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");

        // solhint-disable-next-line avoid-low-level-calls
        (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.3._
     */
    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.3._
     */
    function functionDelegateCall(address target, bytes memory data, string memory errorMessage) internal returns (bytes memory) {
        require(isContract(target), "Address: delegate call to non-contract");

        // solhint-disable-next-line avoid-low-level-calls
        (bool success, bytes memory returndata) = target.delegatecall(data);
        return _verifyCallResult(success, returndata, errorMessage);
    }

    function _verifyCallResult(bool success, bytes memory returndata, string memory errorMessage) private pure returns(bytes memory) {
        if (success) {
            return returndata;
        } else {
            // Look for revert reason and bubble it up if present
            if (returndata.length > 0) {
                // The easiest way to bubble the revert reason is using memory via assembly

                // solhint-disable-next-line no-inline-assembly
                assembly {
                    let returndata_size := mload(returndata)
                    revert(add(32, returndata), returndata_size)
                }
            } else {
                revert(errorMessage);
            }
        }
    }
}

/*
 * @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 GSN 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 payable) {
        return msg.sender;
    }

    function _msgData() internal view virtual returns (bytes memory) {
        this; // silence state mutability warning without generating bytecode - see https://github.com/ethereum/solidity/issues/2691
        return msg.data;
    }
}

pragma solidity ^0.7.0;

/**
 * @dev Library for managing an enumerable variant of Solidity's
 * https://solidity.readthedocs.io/en/latest/types.html#mapping-types[`mapping`]
 * type.
 *
 * Maps have the following properties:
 *
 * - Entries are added, removed, and checked for existence in constant time
 * (O(1)).
 * - Entries are enumerated in O(n). No guarantees are made on the ordering.
 *
 * ```
 * contract Example {
 *     // Add the library methods
 *     using EnumerableMap for EnumerableMap.UintToAddressMap;
 *
 *     // Declare a set state variable
 *     EnumerableMap.UintToAddressMap private myMap;
 * }
 * ```
 *
 * As of v3.0.0, only maps of type `uint256 -> address` (`UintToAddressMap`) are
 * supported.
 */
library EnumerableMap {
    // To implement this library for multiple types with as little code
    // repetition as possible, we write it in terms of a generic Map type with
    // bytes32 keys and values.
    // The Map implementation uses private functions, and user-facing
    // implementations (such as Uint256ToAddressMap) are just wrappers around
    // the underlying Map.
    // This means that we can only create new EnumerableMaps for types that fit
    // in bytes32.

    struct MapEntry {
        bytes32 _key;
        bytes32 _value;
    }

    struct Map {
        // Storage of map keys and values
        MapEntry[] _entries;

        // Position of the entry defined by a key in the `entries` array, plus 1
        // because index 0 means a key is not in the map.
        mapping (bytes32 => uint256) _indexes;
    }

    /**
     * @dev Adds a key-value pair to a map, or updates the value for an existing
     * key. O(1).
     *
     * Returns true if the key was added to the map, that is if it was not
     * already present.
     */
    function _set(Map storage map, bytes32 key, bytes32 value) private returns (bool) {
        // We read and store the key's index to prevent multiple reads from the same storage slot
        uint256 keyIndex = map._indexes[key];

        if (keyIndex == 0) { // Equivalent to !contains(map, key)
            map._entries.push(MapEntry({ _key: key, _value: value }));
            // The entry is stored at length-1, but we add 1 to all indexes
            // and use 0 as a sentinel value
            map._indexes[key] = map._entries.length;
            return true;
        } else {
            map._entries[keyIndex - 1]._value = value;
            return false;
        }
    }

    /**
     * @dev Removes a key-value pair from a map. O(1).
     *
     * Returns true if the key was removed from the map, that is if it was present.
     */
    function _remove(Map storage map, bytes32 key) private returns (bool) {
        // We read and store the key's index to prevent multiple reads from the same storage slot
        uint256 keyIndex = map._indexes[key];

        if (keyIndex != 0) { // Equivalent to contains(map, key)
            // To delete a key-value pair from the _entries array in O(1), we swap the entry to delete with the last one
            // in the array, and then remove the last entry (sometimes called as 'swap and pop').
            // This modifies the order of the array, as noted in {at}.

            uint256 toDeleteIndex = keyIndex - 1;
            uint256 lastIndex = map._entries.length - 1;

            // When the entry to delete is the last one, the swap operation is unnecessary. However, since this occurs
            // so rarely, we still do the swap anyway to avoid the gas cost of adding an 'if' statement.

            MapEntry storage lastEntry = map._entries[lastIndex];

            // Move the last entry to the index where the entry to delete is
            map._entries[toDeleteIndex] = lastEntry;
            // Update the index for the moved entry
            map._indexes[lastEntry._key] = toDeleteIndex + 1; // All indexes are 1-based

            // Delete the slot where the moved entry was stored
            map._entries.pop();

            // Delete the index for the deleted slot
            delete map._indexes[key];

            return true;
        } else {
            return false;
        }
    }

    /**
     * @dev Returns true if the key is in the map. O(1).
     */
    function _contains(Map storage map, bytes32 key) private view returns (bool) {
        return map._indexes[key] != 0;
    }

    /**
     * @dev Returns the number of key-value pairs in the map. O(1).
     */
    function _length(Map storage map) private view returns (uint256) {
        return map._entries.length;
    }

   /**
    * @dev Returns the key-value pair stored at position `index` in the map. O(1).
    *
    * Note that there are no guarantees on the ordering of entries inside the
    * array, and it may change when more entries are added or removed.
    *
    * Requirements:
    *
    * - `index` must be strictly less than {length}.
    */
    function _at(Map storage map, uint256 index) private view returns (bytes32, bytes32) {
        require(map._entries.length > index, "EnumerableMap: index out of bounds");

        MapEntry storage entry = map._entries[index];
        return (entry._key, entry._value);
    }

    /**
     * @dev Returns the value associated with `key`.  O(1).
     *
     * Requirements:
     *
     * - `key` must be in the map.
     */
    function _get(Map storage map, bytes32 key) private view returns (bytes32) {
        return _get(map, key, "EnumerableMap: nonexistent key");
    }

    /**
     * @dev Same as {_get}, with a custom error message when `key` is not in the map.
     */
    function _get(Map storage map, bytes32 key, string memory errorMessage) private view returns (bytes32) {
        uint256 keyIndex = map._indexes[key];
        require(keyIndex != 0, errorMessage); // Equivalent to contains(map, key)
        return map._entries[keyIndex - 1]._value; // All indexes are 1-based
    }

    // UintToAddressMap

    struct UintToAddressMap {
        Map _inner;
    }

    /**
     * @dev Adds a key-value pair to a map, or updates the value for an existing
     * key. O(1).
     *
     * Returns true if the key was added to the map, that is if it was not
     * already present.
     */
    function set(UintToAddressMap storage map, uint256 key, address value) internal returns (bool) {
        return _set(map._inner, bytes32(key), bytes32(uint256(value)));
    }

    /**
     * @dev Removes a value from a set. O(1).
     *
     * Returns true if the key was removed from the map, that is if it was present.
     */
    function remove(UintToAddressMap storage map, uint256 key) internal returns (bool) {
        return _remove(map._inner, bytes32(key));
    }

    /**
     * @dev Returns true if the key is in the map. O(1).
     */
    function contains(UintToAddressMap storage map, uint256 key) internal view returns (bool) {
        return _contains(map._inner, bytes32(key));
    }

    /**
     * @dev Returns the number of elements in the map. O(1).
     */
    function length(UintToAddressMap storage map) internal view returns (uint256) {
        return _length(map._inner);
    }

   /**
    * @dev Returns the element stored at position `index` in the set. O(1).
    * Note that there are no guarantees on the ordering of values inside the
    * array, and it may change when more values are added or removed.
    *
    * Requirements:
    *
    * - `index` must be strictly less than {length}.
    */
    function at(UintToAddressMap storage map, uint256 index) internal view returns (uint256, address) {
        (bytes32 key, bytes32 value) = _at(map._inner, index);
        return (uint256(key), address(uint256(value)));
    }

    /**
     * @dev Returns the value associated with `key`.  O(1).
     *
     * Requirements:
     *
     * - `key` must be in the map.
     */
    function get(UintToAddressMap storage map, uint256 key) internal view returns (address) {
        return address(uint256(_get(map._inner, bytes32(key))));
    }

    /**
     * @dev Same as {get}, with a custom error message when `key` is not in the map.
     */
    function get(UintToAddressMap storage map, uint256 key, string memory errorMessage) internal view returns (address) {
        return address(uint256(_get(map._inner, bytes32(key), errorMessage)));
    }
}

pragma solidity ^0.7.0;

/**
 * @dev Library for managing
 * https://en.wikipedia.org/wiki/Set_(abstract_data_type)[sets] of primitive
 * types.
 *
 * Sets have the following properties:
 *
 * - Elements are added, removed, and checked for existence in constant time
 * (O(1)).
 * - Elements are enumerated in O(n). No guarantees are made on the ordering.
 *
 * ```
 * contract Example {
 *     // Add the library methods
 *     using EnumerableSet for EnumerableSet.AddressSet;
 *
 *     // Declare a set state variable
 *     EnumerableSet.AddressSet private mySet;
 * }
 * ```
 *
 * As of v3.0.0, only sets of type `address` (`AddressSet`) and `uint256`
 * (`UintSet`) are supported.
 */
library EnumerableSet {
    // To implement this library for multiple types with as little code
    // repetition as possible, we write it in terms of a generic Set type with
    // bytes32 values.
    // The Set implementation uses private functions, and user-facing
    // implementations (such as AddressSet) are just wrappers around the
    // underlying Set.
    // This means that we can only create new EnumerableSets for types that fit
    // in bytes32.

    struct Set {
        // Storage of set values
        bytes32[] _values;

        // Position of the value in the `values` array, plus 1 because index 0
        // means a value is not in the set.
        mapping (bytes32 => uint256) _indexes;
    }

    /**
     * @dev Add a value to a set. O(1).
     *
     * Returns true if the value was added to the set, that is if it was not
     * already present.
     */
    function _add(Set storage set, bytes32 value) private returns (bool) {
        if (!_contains(set, value)) {
            set._values.push(value);
            // The value is stored at length-1, but we add 1 to all indexes
            // and use 0 as a sentinel value
            set._indexes[value] = set._values.length;
            return true;
        } else {
            return false;
        }
    }

    /**
     * @dev Removes a value from a set. O(1).
     *
     * Returns true if the value was removed from the set, that is if it was
     * present.
     */
    function _remove(Set storage set, bytes32 value) private returns (bool) {
        // We read and store the value's index to prevent multiple reads from the same storage slot
        uint256 valueIndex = set._indexes[value];

        if (valueIndex != 0) { // Equivalent to contains(set, value)
            // To delete an element from the _values array in O(1), we swap the element to delete with the last one in
            // the array, and then remove the last element (sometimes called as 'swap and pop').
            // This modifies the order of the array, as noted in {at}.

            uint256 toDeleteIndex = valueIndex - 1;
            uint256 lastIndex = set._values.length - 1;

            // When the value to delete is the last one, the swap operation is unnecessary. However, since this occurs
            // so rarely, we still do the swap anyway to avoid the gas cost of adding an 'if' statement.

            bytes32 lastvalue = set._values[lastIndex];

            // Move the last value to the index where the value to delete is
            set._values[toDeleteIndex] = lastvalue;
            // Update the index for the moved value
            set._indexes[lastvalue] = toDeleteIndex + 1; // All indexes are 1-based

            // Delete the slot where the moved value was stored
            set._values.pop();

            // Delete the index for the deleted slot
            delete set._indexes[value];

            return true;
        } else {
            return false;
        }
    }

    /**
     * @dev Returns true if the value is in the set. O(1).
     */
    function _contains(Set storage set, bytes32 value) private view returns (bool) {
        return set._indexes[value] != 0;
    }

    /**
     * @dev Returns the number of values on the set. O(1).
     */
    function _length(Set storage set) private view returns (uint256) {
        return set._values.length;
    }

   /**
    * @dev Returns the value stored at position `index` in the set. O(1).
    *
    * Note that there are no guarantees on the ordering of values inside the
    * array, and it may change when more values are added or removed.
    *
    * Requirements:
    *
    * - `index` must be strictly less than {length}.
    */
    function _at(Set storage set, uint256 index) private view returns (bytes32) {
        require(set._values.length > index, "EnumerableSet: index out of bounds");
        return set._values[index];
    }

    // AddressSet

    struct AddressSet {
        Set _inner;
    }

    /**
     * @dev Add a value to a set. O(1).
     *
     * Returns true if the value was added to the set, that is if it was not
     * already present.
     */
    function add(AddressSet storage set, address value) internal returns (bool) {
        return _add(set._inner, bytes32(uint256(value)));
    }

    /**
     * @dev Removes a value from a set. O(1).
     *
     * Returns true if the value was removed from the set, that is if it was
     * present.
     */
    function remove(AddressSet storage set, address value) internal returns (bool) {
        return _remove(set._inner, bytes32(uint256(value)));
    }

    /**
     * @dev Returns true if the value is in the set. O(1).
     */
    function contains(AddressSet storage set, address value) internal view returns (bool) {
        return _contains(set._inner, bytes32(uint256(value)));
    }

    /**
     * @dev Returns the number of values in the set. O(1).
     */
    function length(AddressSet storage set) internal view returns (uint256) {
        return _length(set._inner);
    }

   /**
    * @dev Returns the value stored at position `index` in the set. O(1).
    *
    * Note that there are no guarantees on the ordering of values inside the
    * array, and it may change when more values are added or removed.
    *
    * Requirements:
    *
    * - `index` must be strictly less than {length}.
    */
    function at(AddressSet storage set, uint256 index) internal view returns (address) {
        return address(uint256(_at(set._inner, index)));
    }


    // UintSet

    struct UintSet {
        Set _inner;
    }

    /**
     * @dev Add a value to a set. O(1).
     *
     * Returns true if the value was added to the set, that is if it was not
     * already present.
     */
    function add(UintSet storage set, uint256 value) internal returns (bool) {
        return _add(set._inner, bytes32(value));
    }

    /**
     * @dev Removes a value from a set. O(1).
     *
     * Returns true if the value was removed from the set, that is if it was
     * present.
     */
    function remove(UintSet storage set, uint256 value) internal returns (bool) {
        return _remove(set._inner, bytes32(value));
    }

    /**
     * @dev Returns true if the value is in the set. O(1).
     */
    function contains(UintSet storage set, uint256 value) internal view returns (bool) {
        return _contains(set._inner, bytes32(value));
    }

    /**
     * @dev Returns the number of values on the set. O(1).
     */
    function length(UintSet storage set) internal view returns (uint256) {
        return _length(set._inner);
    }

   /**
    * @dev Returns the value stored at position `index` in the set. O(1).
    *
    * Note that there are no guarantees on the ordering of values inside the
    * array, and it may change when more values are added or removed.
    *
    * Requirements:
    *
    * - `index` must be strictly less than {length}.
    */
    function at(UintSet storage set, uint256 index) internal view returns (uint256) {
        return uint256(_at(set._inner, index));
    }
}

pragma solidity ^0.7.0;

import './IERC165.sol';

/**
 * @dev Implementation of the {IERC165} interface.
 *
 * Contracts may inherit from this and call {_registerInterface} to declare
 * their support of an interface.
 */
contract ERC165 is IERC165 {
    /*
     * bytes4(keccak256('supportsInterface(bytes4)')) == 0x01ffc9a7
     */
    bytes4 private constant _INTERFACE_ID_ERC165 = 0x01ffc9a7;

    /**
     * @dev Mapping of interface ids to whether or not it's supported.
     */
    mapping(bytes4 => bool) private _supportedInterfaces;

    constructor () {
        // Derived contracts need only register support for their own interfaces,
        // we register support for ERC165 itself here
        _registerInterface(_INTERFACE_ID_ERC165);
    }

    /**
     * @dev See {IERC165-supportsInterface}.
     *
     * Time complexity O(1), guaranteed to always use less than 30 000 gas.
     */
    function supportsInterface(bytes4 interfaceId) public view override returns (bool) {
        return _supportedInterfaces[interfaceId];
    }

    /**
     * @dev Registers the contract as an implementer of the interface defined by
     * `interfaceId`. Support of the actual ERC165 interface is automatic and
     * registering its interface id is not required.
     *
     * See {IERC165-supportsInterface}.
     *
     * Requirements:
     *
     * - `interfaceId` cannot be the ERC165 invalid interface (`0xffffffff`).
     */
    function _registerInterface(bytes4 interfaceId) internal virtual {
        require(interfaceId != 0xffffffff, "ERC165: invalid interface id");
        _supportedInterfaces[interfaceId] = true;
    }
}

import "./IERC721Enumerable.sol";

interface IAbstractAI is IERC721Enumerable {
    function isMintedBeforeReveal(uint256 index) external view returns (bool);
}

pragma solidity ^0.7.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);
}

import "./IERC165.sol";

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

import "./IERC721.sol";

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

pragma solidity ^0.7.0;

import "./Context.sol";

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 () {
        address msgSender = _msgSender();
        _owner = msgSender;
        emit OwnershipTransferred(address(0), msgSender);
    }

    /**
     * @dev Returns the address of the current owner.
     */
    function owner() public view 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 {
        emit OwnershipTransferred(_owner, address(0));
        _owner = 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");
        emit OwnershipTransferred(_owner, newOwner);
        _owner = newOwner;
    }
}

pragma solidity ^0.7.0;

/**
 * @dev Wrappers over Solidity's arithmetic operations with added overflow
 * checks.
 *
 * Arithmetic operations in Solidity wrap on overflow. This can easily result
 * in bugs, because programmers usually assume that an overflow raises an
 * error, which is the standard behavior in high level programming languages.
 * `SafeMath` restores this intuition by reverting the transaction when an
 * operation overflows.
 *
 * Using this library instead of the unchecked operations eliminates an entire
 * class of bugs, so it's recommended to use it always.
 */
library SafeMath {
    /**
     * @dev Returns the addition of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `+` operator.
     *
     * Requirements:
     *
     * - Addition cannot overflow.
     */
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");

        return c;
    }

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

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting with custom message on
     * overflow (when the result is negative).
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     *
     * - Subtraction cannot overflow.
     */
    function sub(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b <= a, errorMessage);
        uint256 c = a - b;

        return c;
    }

    /**
     * @dev Returns the multiplication of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `*` operator.
     *
     * Requirements:
     *
     * - Multiplication cannot overflow.
     */
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        // Gas optimization: this is cheaper than requiring 'a' not being zero, but the
        // benefit is lost if 'b' is also tested.
        // See: https://github.com/OpenZeppelin/openzeppelin-contracts/pull/522
        if (a == 0) {
            return 0;
        }

        uint256 c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");

        return c;
    }

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

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

        return c;
    }

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

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

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"string","name":"name","type":"string"},{"internalType":"string","name":"symbol","type":"string"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"approved","type":"address"},{"indexed":true,"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"operator","type":"address"},{"indexed":false,"internalType":"bool","name":"approved","type":"bool"}],"name":"ApprovalForAll","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":true,"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"ABSTRACTAI_PROVENANCE","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"MAX_NFT_SUPPLY","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"REVEAL_TIMESTAMP","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"SALE_START_TIMESTAMP","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_address","type":"address"}],"name":"allTokensOfAddress","outputs":[{"internalType":"uint256[]","name":"","type":"uint256[]"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"approve","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"finalizeStartingIndex","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"getApproved","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_tokenId","type":"uint256"}],"name":"getArtworkIdFromToken","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getNFTPrice","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"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":"index","type":"uint256"}],"name":"isMintedBeforeReveal","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"numberOfNfts","type":"uint256"}],"name":"mintNFT","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"ownerOf","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"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":[],"name":"startingIndex","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"startingIndexBlock","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes4","name":"interfaceId","type":"bytes4"}],"name":"supportsInterface","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"index","type":"uint256"}],"name":"tokenByIndex","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"uint256","name":"index","type":"uint256"}],"name":"tokenOfOwnerByIndex","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"transferFrom","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"withdraw","outputs":[],"stateMutability":"nonpayable","type":"function"}]

60806040523480156200001157600080fd5b5060405162003dfe38038062003dfe833981810160405260408110156200003757600080fd5b81019080805160405193929190846401000000008211156200005857600080fd5b838201915060208201858111156200006f57600080fd5b82518660018202830111640100000000821117156200008d57600080fd5b8083526020830192505050908051906020019080838360005b83811015620000c3578082015181840152602081019050620000a6565b50505050905090810190601f168015620000f15780820380516001836020036101000a031916815260200191505b50604052602001805160405193929190846401000000008211156200011557600080fd5b838201915060208201858111156200012c57600080fd5b82518660018202830111640100000000821117156200014a57600080fd5b8083526020830192505050908051906020019080838360005b838110156200018057808201518184015260208101905062000163565b50505050905090810190601f168015620001ae5780820380516001836020036101000a031916815260200191505b506040525050506000620001c7620002ff60201b60201c565b9050806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3506200027d6301ffc9a760e01b6200030760201b60201c565b81600a90805190602001906200029592919062000410565b5080600b9080519060200190620002ae92919062000410565b50620002c76380ac58cd60e01b6200030760201b60201c565b620002df639325454260e01b6200030760201b60201c565b620002f763780e9d6360e01b6200030760201b60201c565b5050620004b6565b600033905090565b63ffffffff60e01b817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161415620003a4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601c8152602001807f4552433136353a20696e76616c696420696e746572666163652069640000000081525060200191505060405180910390fd5b6001806000837bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916815260200190815260200160002060006101000a81548160ff02191690831515021790555050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106200045357805160ff191683800117855562000484565b8280016001018555821562000484579182015b828111156200048357825182559160200191906001019062000466565b5b50905062000493919062000497565b5090565b5b80821115620004b257600081600090555060010162000498565b5090565b61393880620004c66000396000f3fe6080604052600436106101d85760003560e01c806386b3218711610102578063b88d4fde11610095578063e985e9c511610064578063e985e9c514610b00578063edf51dcf14610b87578063f2fde38b14610c2d578063fb107a4f14610c7e576101d8565b8063b88d4fde14610947578063bc28d70214610a59578063cb774d4714610aaa578063e36d649814610ad5576101d8565b806395d89b41116100d157806395d89b41146107e05780639b2a57ad14610870578063a22cb465146108bf578063b5077f441461091c576101d8565b806386b32187146106b65780638da5cb5b146107465780639264274414610787578063946807fd146107b5576101d8565b80632f745c591161017a5780636352211e116101495780636352211e146105be57806370a0823114610623578063715018a61461068857806374df39c91461069f576101d8565b80632f745c591461046e5780633ccfd60b146104dd57806342842e0e146104f45780634f6ccce71461056f576101d8565b8063095ea7b3116101b6578063095ea7b31461034257806318160ddd1461039d57806318e20a38146103c857806323b872dd146103f3576101d8565b806301ffc9a7146101dd57806306fdde031461024d578063081812fc146102dd575b600080fd5b3480156101e957600080fd5b506102356004803603602081101561020057600080fd5b8101908080357bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19169060200190929190505050610ca9565b60405180821515815260200191505060405180910390f35b34801561025957600080fd5b50610262610d11565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156102a2578082015181840152602081019050610287565b50505050905090810190601f1680156102cf5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156102e957600080fd5b506103166004803603602081101561030057600080fd5b8101908080359060200190929190505050610db3565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561034e57600080fd5b5061039b6004803603604081101561036557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610e4e565b005b3480156103a957600080fd5b506103b2610f92565b6040518082815260200191505060405180910390f35b3480156103d457600080fd5b506103dd610fa3565b6040518082815260200191505060405180910390f35b3480156103ff57600080fd5b5061046c6004803603606081101561041657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610fb0565b005b34801561047a57600080fd5b506104c76004803603604081101561049157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611026565b6040518082815260200191505060405180910390f35b3480156104e957600080fd5b506104f2611081565b005b34801561050057600080fd5b5061056d6004803603606081101561051757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611198565b005b34801561057b57600080fd5b506105a86004803603602081101561059257600080fd5b81019080803590602001909291905050506111b8565b6040518082815260200191505060405180910390f35b3480156105ca57600080fd5b506105f7600480360360208110156105e157600080fd5b81019080803590602001909291905050506111db565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561062f57600080fd5b506106726004803603602081101561064657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611212565b6040518082815260200191505060405180910390f35b34801561069457600080fd5b5061069d6112e7565b005b3480156106ab57600080fd5b506106b461146d565b005b3480156106c257600080fd5b506106cb6115d7565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561070b5780820151818401526020810190506106f0565b50505050905090810190601f1680156107385780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561075257600080fd5b5061075b6115f3565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6107b36004803603602081101561079d57600080fd5b810190808035906020019092919050505061161c565b005b3480156107c157600080fd5b506107ca611935565b6040518082815260200191505060405180910390f35b3480156107ec57600080fd5b506107f561193d565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561083557808201518184015260208101905061081a565b50505050905090810190601f1680156108625780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561087c57600080fd5b506108a96004803603602081101561089357600080fd5b81019080803590602001909291905050506119df565b6040518082815260200191505060405180910390f35b3480156108cb57600080fd5b5061091a600480360360408110156108e257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803515159060200190929190505050611b04565b005b34801561092857600080fd5b50610931611cba565b6040518082815260200191505060405180910390f35b34801561095357600080fd5b50610a576004803603608081101561096a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803590602001906401000000008111156109d157600080fd5b8201836020820111156109e357600080fd5b80359060200191846001830284011164010000000083111715610a0557600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050509192919290505050611cc0565b005b348015610a6557600080fd5b50610a9260048036036020811015610a7c57600080fd5b8101908080359060200190929190505050611d38565b60405180821515815260200191505060405180910390f35b348015610ab657600080fd5b50610abf611d62565b6040518082815260200191505060405180910390f35b348015610ae157600080fd5b50610aea611d68565b6040518082815260200191505060405180910390f35b348015610b0c57600080fd5b50610b6f60048036036040811015610b2357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611d6e565b60405180821515815260200191505060405180910390f35b348015610b9357600080fd5b50610bd660048036036020811015610baa57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611e02565b6040518080602001828103825283818151815260200191508051906020019060200280838360005b83811015610c19578082015181840152602081019050610bfe565b505050509050019250505060405180910390f35b348015610c3957600080fd5b50610c7c60048036036020811015610c5057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611ea1565b005b348015610c8a57600080fd5b50610c936120ac565b6040518082815260200191505060405180910390f35b600060016000837bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916815260200190815260200160002060009054906101000a900460ff169050919050565b6060600a8054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610da95780601f10610d7e57610100808354040283529160200191610da9565b820191906000526020600020905b815481529060010190602001808311610d8c57829003601f168201915b5050505050905090565b6000610dbe82612244565b610e13576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602c81526020018061385c602c913960400191505060405180910390fd5b6005600083815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b6000610e59826111db565b90508073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610ee0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260218152602001806138b16021913960400191505060405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff16610eff612261565b73ffffffffffffffffffffffffffffffffffffffff161480610f2e5750610f2d81610f28612261565b611d6e565b5b610f83576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260388152602001806137256038913960400191505060405180910390fd5b610f8d8383612269565b505050565b6000610f9e6003612322565b905090565b6212750063609296d00181565b610fc1610fbb612261565b82612337565b611016576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260318152602001806138d26031913960400191505060405180910390fd5b61102183838361242b565b505050565b600061107982600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002061266e90919063ffffffff16565b905092915050565b611089612261565b73ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614611149576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b60004790503373ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f19350505050158015611194573d6000803e3d6000fd5b5050565b6111b383838360405180602001604052806000815250611cc0565b505050565b6000806111cf83600361268890919063ffffffff16565b50905080915050919050565b600061120b826040518060600160405280602981526020016137b06029913960036126b49092919063ffffffff16565b9050919050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611299576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602a815260200180613786602a913960400191505060405180910390fd5b6112e0600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206126d3565b9050919050565b6112ef612261565b73ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16146113af576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a360008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b6000600954146114e5576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601d8152602001807f5374617274696e6720696e64657820697320616c72656164792073657400000081525060200191505060405180910390fd5b6000600854141561155e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f5374617274696e6720696e64657820626c6f636b206d7573742062652073657481525060200191505060405180910390fd5b6124ba6008544060001c8161156f57fe5b0660098190555060ff61158d600854436126e890919063ffffffff16565b11156115ad576124ba600143034060001c816115a557fe5b066009819055505b600060095414156115d5576115ce600560095461273290919063ffffffff16565b6009819055505b565b6040518060600160405280604081526020016137fb6040913981565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6124ba611627610f92565b1061169a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f53616c652068617320616c726561647920656e6465640000000000000000000081525060200191505060405180910390fd5b60008111611710576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f6e756d6265724f664e6674732063616e6e6f742062652030000000000000000081525060200191505060405180910390fd5b601481111561176a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602981526020018061375d6029913960400191505060405180910390fd5b6124ba61178782611779610f92565b61273290919063ffffffff16565b11156117fb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f45786365656473204d41585f4e46545f535550504c590000000000000000000081525060200191505060405180910390fd5b34611816826118086120ac565b6127ba90919063ffffffff16565b14611889576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f45746865722076616c75652073656e74206973206e6f7420636f72726563740081525060200191505060405180910390fd5b60005b818110156118f657600061189e610f92565b90506212750063609296d0014210156118de5760016006600083815260200190815260200160002060006101000a81548160ff0219169083151502179055505b6118e83382612840565b50808060010191505061188c565b50600060085414801561192557506124ba61190f610f92565b148061192457506212750063609296d0014210155b5b1561193257436008819055505b50565b63609296d081565b6060600b8054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156119d55780601f106119aa576101008083540402835291602001916119d5565b820191906000526020600020905b8154815290600101906020018083116119b857829003601f168201915b5050505050905090565b60008060095411611a58576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f52657665616c20686173206e6f7420737461727465642079657421000000000081525060200191505060405180910390fd5b6124ba8210611acf576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f4964206f7574206f662072616e6765210000000000000000000000000000000081525060200191505060405180910390fd5b6009548210611ae45760095482039050611aff565b600954821015611afe57600954826124ba01039050611aff565b5b919050565b611b0c612261565b73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611bad576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f4552433732313a20617070726f766520746f2063616c6c65720000000000000081525060200191505060405180910390fd5b8060076000611bba612261565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff16611c67612261565b73ffffffffffffffffffffffffffffffffffffffff167f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c318360405180821515815260200191505060405180910390a35050565b6124ba81565b611cd1611ccb612261565b83612337565b611d26576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260318152602001806138d26031913960400191505060405180910390fd5b611d3284848484612886565b50505050565b60006006600083815260200190815260200160002060009054906101000a900460ff169050919050565b60095481565b60085481565b6000600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b60606000611e0f83611212565b905060608167ffffffffffffffff81118015611e2a57600080fd5b50604051908082528060200260200182016040528015611e595781602001602082028036833780820191505090505b50905060005b82811015611e9657611e718582611026565b828281518110611e7d57fe5b6020026020010181815250508080600101915050611e5f565b508092505050919050565b611ea9612261565b73ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614611f69576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415611fef576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260268152602001806136896026913960400191505060405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600063609296d0421015612128576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f53616c6520686173206e6f74207374617274656400000000000000000000000081525060200191505060405180910390fd5b6124ba612133610f92565b106121a6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f53616c652068617320616c726561647920656e6465640000000000000000000081525060200191505060405180910390fd5b60006121b0610f92565b90506124b881106121cc576722b1c8c1227a0000915050612241565b611f4081106121e6576706f05b59d3b20000915050612241565b61177081106122005767058d15e176280000915050612241565b610fa0811061221a57670429d069189e0000915050612241565b6107d08110612234576702c68af0bb140000915050612241565b67016345785d8a00009150505b90565b600061225a8260036128f890919063ffffffff16565b9050919050565b600033905090565b816005600083815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550808273ffffffffffffffffffffffffffffffffffffffff166122dc836111db565b73ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92560405160405180910390a45050565b600061233082600001612912565b9050919050565b600061234282612244565b612397576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602c8152602001806136f9602c913960400191505060405180910390fd5b60006123a2836111db565b90508073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff16148061241157508373ffffffffffffffffffffffffffffffffffffffff166123f984610db3565b73ffffffffffffffffffffffffffffffffffffffff16145b8061242257506124218185611d6e565b5b91505092915050565b8273ffffffffffffffffffffffffffffffffffffffff1661244b826111db565b73ffffffffffffffffffffffffffffffffffffffff16146124b7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260298152602001806138886029913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561253d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260248152602001806136af6024913960400191505060405180910390fd5b612548838383612923565b612553600082612269565b6125a481600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002061292890919063ffffffff16565b506125f681600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002061294290919063ffffffff16565b5061260d8183600361295c9092919063ffffffff16565b50808273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a4505050565b600061267d8360000183612991565b60001c905092915050565b60008060008061269b8660000186612a14565b915091508160001c8160001c9350935050509250929050565b60006126c7846000018460001b84612aad565b60001c90509392505050565b60006126e182600001612ba3565b9050919050565b600061272a83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250612bb4565b905092915050565b6000808284019050838110156127b0576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b6000808314156127cd576000905061283a565b60008284029050828482816127de57fe5b0414612835576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602181526020018061383b6021913960400191505060405180910390fd5b809150505b92915050565b61285660016124ba61273290919063ffffffff16565b61285e610f92565b1061286857600080fd5b612882828260405180602001604052806000815250612c74565b5050565b61289184848461242b565b61289d84848484612d0d565b6128f2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260328152602001806136576032913960400191505060405180910390fd5b50505050565b600061290a836000018360001b612f26565b905092915050565b600081600001805490509050919050565b505050565b600061293a836000018360001b612f49565b905092915050565b6000612954836000018360001b613031565b905092915050565b6000612988846000018460001b8473ffffffffffffffffffffffffffffffffffffffff1660001b6130a1565b90509392505050565b6000818360000180549050116129f2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260228152602001806136356022913960400191505060405180910390fd5b826000018281548110612a0157fe5b9060005260206000200154905092915050565b60008082846000018054905011612a76576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260228152602001806137d96022913960400191505060405180910390fd5b6000846000018481548110612a8757fe5b906000526020600020906002020190508060000154816001015492509250509250929050565b60008084600101600085815260200190815260200160002054905060008114158390612b74576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015612b39578082015181840152602081019050612b1e565b50505050905090810190601f168015612b665780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b50846000016001820381548110612b8757fe5b9060005260206000209060020201600101549150509392505050565b600081600001805490509050919050565b6000838311158290612c61576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015612c26578082015181840152602081019050612c0b565b50505050905090810190601f168015612c535780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385039050809150509392505050565b612c7e838361317d565b612c9460016124ba61273290919063ffffffff16565b612c9c610f92565b10612ca657600080fd5b612cb36000848484612d0d565b612d08576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260328152602001806136576032913960400191505060405180910390fd5b505050565b6000612d2e8473ffffffffffffffffffffffffffffffffffffffff16613371565b612d3b5760019050612f1e565b6060612ea563150b7a0260e01b612d50612261565b888787604051602401808573ffffffffffffffffffffffffffffffffffffffff1681526020018473ffffffffffffffffffffffffffffffffffffffff16815260200183815260200180602001828103825283818151815260200191508051906020019080838360005b83811015612dd4578082015181840152602081019050612db9565b50505050905090810190601f168015612e015780820380516001836020036101000a031916815260200191505b5095505050505050604051602081830303815290604052907bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19166020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8381831617835250505050604051806060016040528060328152602001613657603291398773ffffffffffffffffffffffffffffffffffffffff166133849092919063ffffffff16565b90506000818060200190516020811015612ebe57600080fd5b8101908080519060200190929190505050905063150b7a0260e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614925050505b949350505050565b600080836001016000848152602001908152602001600020541415905092915050565b600080836001016000848152602001908152602001600020549050600081146130255760006001820390506000600186600001805490500390506000866000018281548110612f9457fe5b9060005260206000200154905080876000018481548110612fb157fe5b9060005260206000200181905550600183018760010160008381526020019081526020016000208190555086600001805480612fe957fe5b6001900381819060005260206000200160009055905586600101600087815260200190815260200160002060009055600194505050505061302b565b60009150505b92915050565b600061303d838361339c565b61309657826000018290806001815401808255809150506001900390600052602060002001600090919091909150558260000180549050836001016000848152602001908152602001600020819055506001905061309b565b600090505b92915050565b600080846001016000858152602001908152602001600020549050600081141561314857846000016040518060400160405280868152602001858152509080600181540180825580915050600190039060005260206000209060020201600090919091909150600082015181600001556020820151816001015550508460000180549050856001016000868152602001908152602001600020819055506001915050613176565b8285600001600183038154811061315b57fe5b90600052602060002090600202016001018190555060009150505b9392505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415613220576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4552433732313a206d696e7420746f20746865207a65726f206164647265737381525060200191505060405180910390fd5b61322981612244565b1561329c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601c8152602001807f4552433732313a20746f6b656e20616c7265616479206d696e7465640000000081525060200191505060405180910390fd5b6132a860008383612923565b6132f981600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002061294290919063ffffffff16565b506133108183600361295c9092919063ffffffff16565b50808273ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a45050565b600080823b905060008111915050919050565b606061339384846000856133bf565b90509392505050565b600080836001016000848152602001908152602001600020541415905092915050565b60608247101561341a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260268152602001806136d36026913960400191505060405180910390fd5b61342385613371565b613495576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601d8152602001807f416464726573733a2063616c6c20746f206e6f6e2d636f6e747261637400000081525060200191505060405180910390fd5b600060608673ffffffffffffffffffffffffffffffffffffffff1685876040518082805190602001908083835b602083106134e557805182526020820191506020810190506020830392506134c2565b6001836020036101000a03801982511681845116808217855250505050505090500191505060006040518083038185875af1925050503d8060008114613547576040519150601f19603f3d011682016040523d82523d6000602084013e61354c565b606091505b509150915061355c828286613568565b92505050949350505050565b606083156135785782905061362d565b60008351111561358b5782518084602001fd5b816040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b838110156135f25780820151818401526020810190506135d7565b50505050905090810190601f16801561361f5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b939250505056fe456e756d657261626c655365743a20696e646578206f7574206f6620626f756e64734552433732313a207472616e7366657220746f206e6f6e20455243373231526563656976657220696d706c656d656e7465724f776e61626c653a206e6577206f776e657220697320746865207a65726f20616464726573734552433732313a207472616e7366657220746f20746865207a65726f2061646472657373416464726573733a20696e73756666696369656e742062616c616e636520666f722063616c6c4552433732313a206f70657261746f7220717565727920666f72206e6f6e6578697374656e7420746f6b656e4552433732313a20617070726f76652063616c6c6572206973206e6f74206f776e6572206e6f7220617070726f76656420666f7220616c6c596f75206d6179206e6f7420627579206d6f7265207468616e203230204e465473206174206f6e63654552433732313a2062616c616e636520717565727920666f7220746865207a65726f20616464726573734552433732313a206f776e657220717565727920666f72206e6f6e6578697374656e7420746f6b656e456e756d657261626c654d61703a20696e646578206f7574206f6620626f756e647365653836353834336235666639666339306234393331636230626564366538396161636338366166643431383730313937343838626166323631643837633937536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f774552433732313a20617070726f76656420717565727920666f72206e6f6e6578697374656e7420746f6b656e4552433732313a207472616e73666572206f6620746f6b656e2074686174206973206e6f74206f776e4552433732313a20617070726f76616c20746f2063757272656e74206f776e65724552433732313a207472616e736665722063616c6c6572206973206e6f74206f776e6572206e6f7220617070726f766564a2646970667358221220badd673c6325ab2b50f9b909e378eebdc7636ea68561204560afacefe47053ad64736f6c6343000700003300000000000000000000000000000000000000000000000000000000000000400000000000000000000000000000000000000000000000000000000000000080000000000000000000000000000000000000000000000000000000000000000a416273747261637441490000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000034141490000000000000000000000000000000000000000000000000000000000

0x6080604052600436106101d85760003560e01c806386b3218711610102578063b88d4fde11610095578063e985e9c511610064578063e985e9c514610b00578063edf51dcf14610b87578063f2fde38b14610c2d578063fb107a4f14610c7e576101d8565b8063b88d4fde14610947578063bc28d70214610a59578063cb774d4714610aaa578063e36d649814610ad5576101d8565b806395d89b41116100d157806395d89b41146107e05780639b2a57ad14610870578063a22cb465146108bf578063b5077f441461091c576101d8565b806386b32187146106b65780638da5cb5b146107465780639264274414610787578063946807fd146107b5576101d8565b80632f745c591161017a5780636352211e116101495780636352211e146105be57806370a0823114610623578063715018a61461068857806374df39c91461069f576101d8565b80632f745c591461046e5780633ccfd60b146104dd57806342842e0e146104f45780634f6ccce71461056f576101d8565b8063095ea7b3116101b6578063095ea7b31461034257806318160ddd1461039d57806318e20a38146103c857806323b872dd146103f3576101d8565b806301ffc9a7146101dd57806306fdde031461024d578063081812fc146102dd575b600080fd5b3480156101e957600080fd5b506102356004803603602081101561020057600080fd5b8101908080357bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19169060200190929190505050610ca9565b60405180821515815260200191505060405180910390f35b34801561025957600080fd5b50610262610d11565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156102a2578082015181840152602081019050610287565b50505050905090810190601f1680156102cf5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156102e957600080fd5b506103166004803603602081101561030057600080fd5b8101908080359060200190929190505050610db3565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561034e57600080fd5b5061039b6004803603604081101561036557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610e4e565b005b3480156103a957600080fd5b506103b2610f92565b6040518082815260200191505060405180910390f35b3480156103d457600080fd5b506103dd610fa3565b6040518082815260200191505060405180910390f35b3480156103ff57600080fd5b5061046c6004803603606081101561041657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610fb0565b005b34801561047a57600080fd5b506104c76004803603604081101561049157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611026565b6040518082815260200191505060405180910390f35b3480156104e957600080fd5b506104f2611081565b005b34801561050057600080fd5b5061056d6004803603606081101561051757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611198565b005b34801561057b57600080fd5b506105a86004803603602081101561059257600080fd5b81019080803590602001909291905050506111b8565b6040518082815260200191505060405180910390f35b3480156105ca57600080fd5b506105f7600480360360208110156105e157600080fd5b81019080803590602001909291905050506111db565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561062f57600080fd5b506106726004803603602081101561064657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611212565b6040518082815260200191505060405180910390f35b34801561069457600080fd5b5061069d6112e7565b005b3480156106ab57600080fd5b506106b461146d565b005b3480156106c257600080fd5b506106cb6115d7565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561070b5780820151818401526020810190506106f0565b50505050905090810190601f1680156107385780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561075257600080fd5b5061075b6115f3565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6107b36004803603602081101561079d57600080fd5b810190808035906020019092919050505061161c565b005b3480156107c157600080fd5b506107ca611935565b6040518082815260200191505060405180910390f35b3480156107ec57600080fd5b506107f561193d565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561083557808201518184015260208101905061081a565b50505050905090810190601f1680156108625780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561087c57600080fd5b506108a96004803603602081101561089357600080fd5b81019080803590602001909291905050506119df565b6040518082815260200191505060405180910390f35b3480156108cb57600080fd5b5061091a600480360360408110156108e257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803515159060200190929190505050611b04565b005b34801561092857600080fd5b50610931611cba565b6040518082815260200191505060405180910390f35b34801561095357600080fd5b50610a576004803603608081101561096a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803590602001906401000000008111156109d157600080fd5b8201836020820111156109e357600080fd5b80359060200191846001830284011164010000000083111715610a0557600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050509192919290505050611cc0565b005b348015610a6557600080fd5b50610a9260048036036020811015610a7c57600080fd5b8101908080359060200190929190505050611d38565b60405180821515815260200191505060405180910390f35b348015610ab657600080fd5b50610abf611d62565b6040518082815260200191505060405180910390f35b348015610ae157600080fd5b50610aea611d68565b6040518082815260200191505060405180910390f35b348015610b0c57600080fd5b50610b6f60048036036040811015610b2357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611d6e565b60405180821515815260200191505060405180910390f35b348015610b9357600080fd5b50610bd660048036036020811015610baa57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611e02565b6040518080602001828103825283818151815260200191508051906020019060200280838360005b83811015610c19578082015181840152602081019050610bfe565b505050509050019250505060405180910390f35b348015610c3957600080fd5b50610c7c60048036036020811015610c5057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611ea1565b005b348015610c8a57600080fd5b50610c936120ac565b6040518082815260200191505060405180910390f35b600060016000837bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916815260200190815260200160002060009054906101000a900460ff169050919050565b6060600a8054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610da95780601f10610d7e57610100808354040283529160200191610da9565b820191906000526020600020905b815481529060010190602001808311610d8c57829003601f168201915b5050505050905090565b6000610dbe82612244565b610e13576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602c81526020018061385c602c913960400191505060405180910390fd5b6005600083815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050919050565b6000610e59826111db565b90508073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610ee0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260218152602001806138b16021913960400191505060405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff16610eff612261565b73ffffffffffffffffffffffffffffffffffffffff161480610f2e5750610f2d81610f28612261565b611d6e565b5b610f83576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260388152602001806137256038913960400191505060405180910390fd5b610f8d8383612269565b505050565b6000610f9e6003612322565b905090565b6212750063609296d00181565b610fc1610fbb612261565b82612337565b611016576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260318152602001806138d26031913960400191505060405180910390fd5b61102183838361242b565b505050565b600061107982600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002061266e90919063ffffffff16565b905092915050565b611089612261565b73ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614611149576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b60004790503373ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f19350505050158015611194573d6000803e3d6000fd5b5050565b6111b383838360405180602001604052806000815250611cc0565b505050565b6000806111cf83600361268890919063ffffffff16565b50905080915050919050565b600061120b826040518060600160405280602981526020016137b06029913960036126b49092919063ffffffff16565b9050919050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611299576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602a815260200180613786602a913960400191505060405180910390fd5b6112e0600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206126d3565b9050919050565b6112ef612261565b73ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16146113af576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a360008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b6000600954146114e5576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601d8152602001807f5374617274696e6720696e64657820697320616c72656164792073657400000081525060200191505060405180910390fd5b6000600854141561155e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f5374617274696e6720696e64657820626c6f636b206d7573742062652073657481525060200191505060405180910390fd5b6124ba6008544060001c8161156f57fe5b0660098190555060ff61158d600854436126e890919063ffffffff16565b11156115ad576124ba600143034060001c816115a557fe5b066009819055505b600060095414156115d5576115ce600560095461273290919063ffffffff16565b6009819055505b565b6040518060600160405280604081526020016137fb6040913981565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6124ba611627610f92565b1061169a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f53616c652068617320616c726561647920656e6465640000000000000000000081525060200191505060405180910390fd5b60008111611710576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f6e756d6265724f664e6674732063616e6e6f742062652030000000000000000081525060200191505060405180910390fd5b601481111561176a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602981526020018061375d6029913960400191505060405180910390fd5b6124ba61178782611779610f92565b61273290919063ffffffff16565b11156117fb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f45786365656473204d41585f4e46545f535550504c590000000000000000000081525060200191505060405180910390fd5b34611816826118086120ac565b6127ba90919063ffffffff16565b14611889576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f45746865722076616c75652073656e74206973206e6f7420636f72726563740081525060200191505060405180910390fd5b60005b818110156118f657600061189e610f92565b90506212750063609296d0014210156118de5760016006600083815260200190815260200160002060006101000a81548160ff0219169083151502179055505b6118e83382612840565b50808060010191505061188c565b50600060085414801561192557506124ba61190f610f92565b148061192457506212750063609296d0014210155b5b1561193257436008819055505b50565b63609296d081565b6060600b8054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156119d55780601f106119aa576101008083540402835291602001916119d5565b820191906000526020600020905b8154815290600101906020018083116119b857829003601f168201915b5050505050905090565b60008060095411611a58576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f52657665616c20686173206e6f7420737461727465642079657421000000000081525060200191505060405180910390fd5b6124ba8210611acf576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f4964206f7574206f662072616e6765210000000000000000000000000000000081525060200191505060405180910390fd5b6009548210611ae45760095482039050611aff565b600954821015611afe57600954826124ba01039050611aff565b5b919050565b611b0c612261565b73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611bad576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f4552433732313a20617070726f766520746f2063616c6c65720000000000000081525060200191505060405180910390fd5b8060076000611bba612261565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff16611c67612261565b73ffffffffffffffffffffffffffffffffffffffff167f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c318360405180821515815260200191505060405180910390a35050565b6124ba81565b611cd1611ccb612261565b83612337565b611d26576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260318152602001806138d26031913960400191505060405180910390fd5b611d3284848484612886565b50505050565b60006006600083815260200190815260200160002060009054906101000a900460ff169050919050565b60095481565b60085481565b6000600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b60606000611e0f83611212565b905060608167ffffffffffffffff81118015611e2a57600080fd5b50604051908082528060200260200182016040528015611e595781602001602082028036833780820191505090505b50905060005b82811015611e9657611e718582611026565b828281518110611e7d57fe5b6020026020010181815250508080600101915050611e5f565b508092505050919050565b611ea9612261565b73ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614611f69576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415611fef576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260268152602001806136896026913960400191505060405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600063609296d0421015612128576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f53616c6520686173206e6f74207374617274656400000000000000000000000081525060200191505060405180910390fd5b6124ba612133610f92565b106121a6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f53616c652068617320616c726561647920656e6465640000000000000000000081525060200191505060405180910390fd5b60006121b0610f92565b90506124b881106121cc576722b1c8c1227a0000915050612241565b611f4081106121e6576706f05b59d3b20000915050612241565b61177081106122005767058d15e176280000915050612241565b610fa0811061221a57670429d069189e0000915050612241565b6107d08110612234576702c68af0bb140000915050612241565b67016345785d8a00009150505b90565b600061225a8260036128f890919063ffffffff16565b9050919050565b600033905090565b816005600083815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550808273ffffffffffffffffffffffffffffffffffffffff166122dc836111db565b73ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92560405160405180910390a45050565b600061233082600001612912565b9050919050565b600061234282612244565b612397576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602c8152602001806136f9602c913960400191505060405180910390fd5b60006123a2836111db565b90508073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff16148061241157508373ffffffffffffffffffffffffffffffffffffffff166123f984610db3565b73ffffffffffffffffffffffffffffffffffffffff16145b8061242257506124218185611d6e565b5b91505092915050565b8273ffffffffffffffffffffffffffffffffffffffff1661244b826111db565b73ffffffffffffffffffffffffffffffffffffffff16146124b7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260298152602001806138886029913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561253d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260248152602001806136af6024913960400191505060405180910390fd5b612548838383612923565b612553600082612269565b6125a481600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002061292890919063ffffffff16565b506125f681600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002061294290919063ffffffff16565b5061260d8183600361295c9092919063ffffffff16565b50808273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a4505050565b600061267d8360000183612991565b60001c905092915050565b60008060008061269b8660000186612a14565b915091508160001c8160001c9350935050509250929050565b60006126c7846000018460001b84612aad565b60001c90509392505050565b60006126e182600001612ba3565b9050919050565b600061272a83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250612bb4565b905092915050565b6000808284019050838110156127b0576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b6000808314156127cd576000905061283a565b60008284029050828482816127de57fe5b0414612835576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602181526020018061383b6021913960400191505060405180910390fd5b809150505b92915050565b61285660016124ba61273290919063ffffffff16565b61285e610f92565b1061286857600080fd5b612882828260405180602001604052806000815250612c74565b5050565b61289184848461242b565b61289d84848484612d0d565b6128f2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260328152602001806136576032913960400191505060405180910390fd5b50505050565b600061290a836000018360001b612f26565b905092915050565b600081600001805490509050919050565b505050565b600061293a836000018360001b612f49565b905092915050565b6000612954836000018360001b613031565b905092915050565b6000612988846000018460001b8473ffffffffffffffffffffffffffffffffffffffff1660001b6130a1565b90509392505050565b6000818360000180549050116129f2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260228152602001806136356022913960400191505060405180910390fd5b826000018281548110612a0157fe5b9060005260206000200154905092915050565b60008082846000018054905011612a76576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260228152602001806137d96022913960400191505060405180910390fd5b6000846000018481548110612a8757fe5b906000526020600020906002020190508060000154816001015492509250509250929050565b60008084600101600085815260200190815260200160002054905060008114158390612b74576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015612b39578082015181840152602081019050612b1e565b50505050905090810190601f168015612b665780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b50846000016001820381548110612b8757fe5b9060005260206000209060020201600101549150509392505050565b600081600001805490509050919050565b6000838311158290612c61576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015612c26578082015181840152602081019050612c0b565b50505050905090810190601f168015612c535780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385039050809150509392505050565b612c7e838361317d565b612c9460016124ba61273290919063ffffffff16565b612c9c610f92565b10612ca657600080fd5b612cb36000848484612d0d565b612d08576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260328152602001806136576032913960400191505060405180910390fd5b505050565b6000612d2e8473ffffffffffffffffffffffffffffffffffffffff16613371565b612d3b5760019050612f1e565b6060612ea563150b7a0260e01b612d50612261565b888787604051602401808573ffffffffffffffffffffffffffffffffffffffff1681526020018473ffffffffffffffffffffffffffffffffffffffff16815260200183815260200180602001828103825283818151815260200191508051906020019080838360005b83811015612dd4578082015181840152602081019050612db9565b50505050905090810190601f168015612e015780820380516001836020036101000a031916815260200191505b5095505050505050604051602081830303815290604052907bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19166020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8381831617835250505050604051806060016040528060328152602001613657603291398773ffffffffffffffffffffffffffffffffffffffff166133849092919063ffffffff16565b90506000818060200190516020811015612ebe57600080fd5b8101908080519060200190929190505050905063150b7a0260e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916817bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614925050505b949350505050565b600080836001016000848152602001908152602001600020541415905092915050565b600080836001016000848152602001908152602001600020549050600081146130255760006001820390506000600186600001805490500390506000866000018281548110612f9457fe5b9060005260206000200154905080876000018481548110612fb157fe5b9060005260206000200181905550600183018760010160008381526020019081526020016000208190555086600001805480612fe957fe5b6001900381819060005260206000200160009055905586600101600087815260200190815260200160002060009055600194505050505061302b565b60009150505b92915050565b600061303d838361339c565b61309657826000018290806001815401808255809150506001900390600052602060002001600090919091909150558260000180549050836001016000848152602001908152602001600020819055506001905061309b565b600090505b92915050565b600080846001016000858152602001908152602001600020549050600081141561314857846000016040518060400160405280868152602001858152509080600181540180825580915050600190039060005260206000209060020201600090919091909150600082015181600001556020820151816001015550508460000180549050856001016000868152602001908152602001600020819055506001915050613176565b8285600001600183038154811061315b57fe5b90600052602060002090600202016001018190555060009150505b9392505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415613220576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4552433732313a206d696e7420746f20746865207a65726f206164647265737381525060200191505060405180910390fd5b61322981612244565b1561329c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601c8152602001807f4552433732313a20746f6b656e20616c7265616479206d696e7465640000000081525060200191505060405180910390fd5b6132a860008383612923565b6132f981600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002061294290919063ffffffff16565b506133108183600361295c9092919063ffffffff16565b50808273ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a45050565b600080823b905060008111915050919050565b606061339384846000856133bf565b90509392505050565b600080836001016000848152602001908152602001600020541415905092915050565b60608247101561341a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260268152602001806136d36026913960400191505060405180910390fd5b61342385613371565b613495576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601d8152602001807f416464726573733a2063616c6c20746f206e6f6e2d636f6e747261637400000081525060200191505060405180910390fd5b600060608673ffffffffffffffffffffffffffffffffffffffff1685876040518082805190602001908083835b602083106134e557805182526020820191506020810190506020830392506134c2565b6001836020036101000a03801982511681845116808217855250505050505090500191505060006040518083038185875af1925050503d8060008114613547576040519150601f19603f3d011682016040523d82523d6000602084013e61354c565b606091505b509150915061355c828286613568565b92505050949350505050565b606083156135785782905061362d565b60008351111561358b5782518084602001fd5b816040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b838110156135f25780820151818401526020810190506135d7565b50505050905090810190601f16801561361f5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b939250505056fe456e756d657261626c655365743a20696e646578206f7574206f6620626f756e64734552433732313a207472616e7366657220746f206e6f6e20455243373231526563656976657220696d706c656d656e7465724f776e61626c653a206e6577206f776e657220697320746865207a65726f20616464726573734552433732313a207472616e7366657220746f20746865207a65726f2061646472657373416464726573733a20696e73756666696369656e742062616c616e636520666f722063616c6c4552433732313a206f70657261746f7220717565727920666f72206e6f6e6578697374656e7420746f6b656e4552433732313a20617070726f76652063616c6c6572206973206e6f74206f776e6572206e6f7220617070726f76656420666f7220616c6c596f75206d6179206e6f7420627579206d6f7265207468616e203230204e465473206174206f6e63654552433732313a2062616c616e636520717565727920666f7220746865207a65726f20616464726573734552433732313a206f776e657220717565727920666f72206e6f6e6578697374656e7420746f6b656e456e756d657261626c654d61703a20696e646578206f7574206f6620626f756e647365653836353834336235666639666339306234393331636230626564366538396161636338366166643431383730313937343838626166323631643837633937536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f774552433732313a20617070726f76656420717565727920666f72206e6f6e6578697374656e7420746f6b656e4552433732313a207472616e73666572206f6620746f6b656e2074686174206973206e6f74206f776e4552433732313a20617070726f76616c20746f2063757272656e74206f776e65724552433732313a207472616e736665722063616c6c6572206973206e6f74206f776e6572206e6f7220617070726f766564a2646970667358221220badd673c6325ab2b50f9b909e378eebdc7636ea68561204560afacefe47053ad64736f6c63430007000033

00000000000000000000000000000000000000000000000000000000000000400000000000000000000000000000000000000000000000000000000000000080000000000000000000000000000000000000000000000000000000000000000a416273747261637441490000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000034141490000000000000000000000000000000000000000000000000000000000

-----Decoded View---------------
Arg [0] : name (string): AbstractAI
Arg [1] : symbol (string): AAI

-----Encoded View---------------
6 Constructor Arguments found :
Arg [0] : 0000000000000000000000000000000000000000000000000000000000000040
Arg [1] : 0000000000000000000000000000000000000000000000000000000000000080
Arg [2] : 000000000000000000000000000000000000000000000000000000000000000a
Arg [3] : 4162737472616374414900000000000000000000000000000000000000000000
Arg [4] : 0000000000000000000000000000000000000000000000000000000000000003
Arg [5] : 4141490000000000000000000000000000000000000000000000000000000000

1519:18883:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;906:140:3;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;6695:90:0;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11461:209;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;11019:381;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;7245:200;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2699:78;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;12309:300;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;7022:152;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;10834:128;;;;;;;;;;;;;:::i;:::-;;12675:149;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;7517:161;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;5596:167;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;5328:211;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1148:145:10;;;;;;;;;;;;;:::i;:::-;;10069:678:0;;;;;;;;;;;;;:::i;:::-;;2515:113;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;525:77:10;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;8941:1070:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;2635:57;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;6849:94;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6192:437;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;11737:290;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;2784:45;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;12890:282;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;7767:131;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;2876:28;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2836:33;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;12093:154;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;5836:346;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1442:240:10;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;7960:933:0;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;906:140:3;983:4;1006:20;:33;1027:11;1006:33;;;;;;;;;;;;;;;;;;;;;;;;;;;999:40;;906:140;;;:::o;6695:90:0:-;6741:13;6773:5;6766:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6695:90;:::o;11461:209::-;11529:7;11556:16;11564:7;11556;:16::i;:::-;11548:73;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11639:15;:24;11655:7;11639:24;;;;;;;;;;;;;;;;;;;;;11632:31;;11461:209;;;:::o;11019:381::-;11099:13;11115:16;11123:7;11115;:16::i;:::-;11099:32;;11155:5;11149:11;;:2;:11;;;;11141:57;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11233:5;11217:21;;:12;:10;:12::i;:::-;:21;;;:62;;;;11242:37;11259:5;11266:12;:10;:12::i;:::-;11242:16;:37::i;:::-;11217:62;11209:152;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11372:21;11381:2;11385:7;11372:8;:21::i;:::-;11019:381;;;:::o;7245:200::-;7298:7;7417:21;:12;:19;:21::i;:::-;7410:28;;7245:200;:::o;2699:78::-;2766:10;2682;2742:35;2699:78;:::o;12309:300::-;12468:41;12487:12;:10;:12::i;:::-;12501:7;12468:18;:41::i;:::-;12460:103;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12574:28;12584:4;12590:2;12594:7;12574:9;:28::i;:::-;12309:300;;;:::o;7022:152::-;7111:7;7137:30;7161:5;7137:13;:20;7151:5;7137:20;;;;;;;;;;;;;;;:23;;:30;;;;:::i;:::-;7130:37;;7022:152;;;;:::o;10834:128::-;739:12:10;:10;:12::i;:::-;729:22;;:6;;;;;;;;;;:22;;;721:67;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10881:12:0::1;10896:21;10881:36;;10927:10;:19;;:28;10947:7;10927:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;798:1:10;10834:128:0:o:0;12675:149::-;12778:39;12795:4;12801:2;12805:7;12778:39;;;;;;;;;;;;:16;:39::i;:::-;12675:149;;;:::o;7517:161::-;7584:7;7604:15;7625:22;7641:5;7625:12;:15;;:22;;;;:::i;:::-;7603:44;;;7664:7;7657:14;;;7517:161;;;:::o;5596:167::-;5660:7;5686:70;5703:7;5686:70;;;;;;;;;;;;;;;;;:12;:16;;:70;;;;;:::i;:::-;5679:77;;5596:167;;;:::o;5328:211::-;5392:7;5436:1;5419:19;;:5;:19;;;;5411:74;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5503:29;:13;:20;5517:5;5503:20;;;;;;;;;;;;;;;:27;:29::i;:::-;5496:36;;5328:211;;;:::o;1148:145:10:-;739:12;:10;:12::i;:::-;729:22;;:6;;;;;;;;;;:22;;;721:67;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1254:1:::1;1217:40;;1238:6;::::0;::::1;;;;;;;;1217:40;;;;;;;;;;;;1284:1;1267:6:::0;::::1;:19;;;;;;;;;;;;;;;;;;1148:145::o:0;10069:678:0:-;10144:1;10127:13;;:18;10119:60;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10219:1;10197:18;;:23;;10189:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2825:4;10307:18;;10297:29;10292:35;;:52;;;;;;10276:13;:68;;;;10517:3;10478:36;10495:18;;10478:12;:16;;:36;;;;:::i;:::-;:42;10474:137;;;2825:4;10580:1;10567:12;:14;10557:25;10552:31;;:48;;;;;;10536:13;:64;;;;10474:137;10677:1;10660:13;;:18;10656:85;;;10710:20;10728:1;10710:13;;:17;;:20;;;;:::i;:::-;10694:13;:36;;;;10656:85;10069:678::o;2515:113::-;;;;;;;;;;;;;;;;;;;:::o;525:77:10:-;563:7;589:6;;;;;;;;;;;582:13;;525:77;:::o;8941:1070:0:-;2825:4;9013:13;:11;:13::i;:::-;:30;9005:65;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9103:1;9088:12;:16;9080:53;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9167:2;9151:12;:18;;9143:72;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2825:4;9233:31;9251:12;9233:13;:11;:13::i;:::-;:17;;:31;;;;:::i;:::-;:49;;9225:84;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9362:9;9327:31;9345:12;9327:13;:11;:13::i;:::-;:17;;:31;;;;:::i;:::-;:44;9319:88;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9423:6;9418:264;9439:12;9435:1;:16;9418:264;;;9472:14;9489:13;:11;:13::i;:::-;9472:30;;2766:10;2682;2742:35;9520:15;:34;9516:110;;;9607:4;9574:19;:30;9594:9;9574:30;;;;;;;;;;;;:37;;;;;;;;;;;;;;;;;;9516:110;9639:32;9649:10;9661:9;9639;:32::i;:::-;9418:264;9453:3;;;;;;;9418:264;;;;9868:1;9846:18;;:23;:99;;;;;2825:4;9874:13;:11;:13::i;:::-;:31;:70;;;;2766:10;2682;2742:35;9909:15;:35;;9874:70;9846:99;9842:163;;;9982:12;9961:18;:33;;;;9842:163;8941:1070;:::o;2635:57::-;2682:10;2635:57;:::o;6849:94::-;6897:13;6929:7;6922:14;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6849:94;:::o;6192:437::-;6262:7;6304:1;6288:13;;:17;6280:57;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2825:4;6355:8;:25;6347:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6427:13;;6415:8;:25;6412:202;;6473:13;;6462:8;:24;6455:31;;;;6412:202;6526:13;;6515:8;:24;6511:103;;;6590:13;;6579:8;2825:4;6562:25;:41;6555:48;;;;6511:103;6192:437;;;;:::o;11737:290::-;11851:12;:10;:12::i;:::-;11839:24;;:8;:24;;;;11831:62;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11949:8;11904:18;:32;11923:12;:10;:12::i;:::-;11904:32;;;;;;;;;;;;;;;:42;11937:8;11904:42;;;;;;;;;;;;;;;;:53;;;;;;;;;;;;;;;;;;12001:8;11972:48;;11987:12;:10;:12::i;:::-;11972:48;;;12011:8;11972:48;;;;;;;;;;;;;;;;;;;;11737:290;;:::o;2784:45::-;2825:4;2784:45;:::o;12890:282::-;13021:41;13040:12;:10;:12::i;:::-;13054:7;13021:18;:41::i;:::-;13013:103;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13126:39;13140:4;13146:2;13150:7;13159:5;13126:13;:39::i;:::-;12890:282;;;;:::o;7767:131::-;7842:4;7865:19;:26;7885:5;7865:26;;;;;;;;;;;;;;;;;;;;;7858:33;;7767:131;;;:::o;2876:28::-;;;;:::o;2836:33::-;;;;:::o;12093:154::-;12182:4;12205:18;:25;12224:5;12205:25;;;;;;;;;;;;;;;:35;12231:8;12205:35;;;;;;;;;;;;;;;;;;;;;;;;;12198:42;;12093:154;;;;:::o;5836:346::-;5903:16;5930:15;5948:19;5958:8;5948:9;:19::i;:::-;5930:37;;5977:29;6023:7;6009:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5977:54;;6045:6;6041:106;6057:7;6055:1;:9;6041:106;;;6103:32;6123:8;6133:1;6103:19;:32::i;:::-;6084:12;6097:1;6084:15;;;;;;;;;;;;;:52;;;;;6066:3;;;;;;;6041:106;;;;6163:12;6156:19;;;;5836:346;;;:::o;1442:240:10:-;739:12;:10;:12::i;:::-;729:22;;:6;;;;;;;;;;:22;;;721:67;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1550:1:::1;1530:22;;:8;:22;;;;1522:73;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1639:8;1610:38;;1631:6;::::0;::::1;;;;;;;;1610:38;;;;;;;;;;;;1667:8;1658:6;::::0;:17:::1;;;;;;;;;;;;;;;;;;1442:240:::0;:::o;7960:933:0:-;8004:7;2682:10;8031:15;:39;;8023:72;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2825:4;8113:13;:11;:13::i;:::-;:30;8105:65;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8181:18;8202:13;:11;:13::i;:::-;8181:34;;8254:4;8237:13;:21;8234:653;;8280:19;8273:26;;;;;8234:653;8370:4;8354:13;:20;8351:536;;8396:18;8389:25;;;;;8351:536;8485:4;8469:13;:20;8466:421;;8511:18;8504:25;;;;;8466:421;8600:4;8584:13;:20;8581:306;;8626:18;8619:25;;;;;8581:306;8715:4;8699:13;:20;8696:191;;8741:18;8734:25;;;;;8696:191;8831:18;8824:25;;;7960:933;;:::o;14606:117::-;14663:4;14686:30;14708:7;14686:12;:21;;:30;;;;:::i;:::-;14679:37;;14606:117;;;:::o;532:104:2:-;585:15;619:10;612:17;;532:104;:::o;19555:155:0:-;19647:2;19620:15;:24;19636:7;19620:24;;;;;;;;;;;;:29;;;;;;;;;;;;;;;;;;19695:7;19691:2;19664:39;;19673:16;19681:7;19673;:16::i;:::-;19664:39;;;;;;;;;;;;19555:155;;:::o;6990:121:4:-;7059:7;7085:19;7093:3;:10;;7085:7;:19::i;:::-;7078:26;;6990:121;;;:::o;14881:329:0:-;14966:4;14990:16;14998:7;14990;:16::i;:::-;14982:73;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15065:13;15081:16;15089:7;15081;:16::i;:::-;15065:32;;15126:5;15115:16;;:7;:16;;;:51;;;;15159:7;15135:31;;:20;15147:7;15135:11;:20::i;:::-;:31;;;15115:51;:87;;;;15170:32;15187:5;15194:7;15170:16;:32::i;:::-;15115:87;15107:96;;;14881:329;;;;:::o;17847:559::-;17964:4;17944:24;;:16;17952:7;17944;:16::i;:::-;:24;;;17936:78;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18046:1;18032:16;;:2;:16;;;;18024:65;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18100:39;18121:4;18127:2;18131:7;18100:20;:39::i;:::-;18201:29;18218:1;18222:7;18201:8;:29::i;:::-;18241:35;18268:7;18241:13;:19;18255:4;18241:19;;;;;;;;;;;;;;;:26;;:35;;;;:::i;:::-;;18286:30;18308:7;18286:13;:17;18300:2;18286:17;;;;;;;;;;;;;;;:21;;:30;;;;:::i;:::-;;18327:29;18344:7;18353:2;18327:12;:16;;:29;;;;;:::i;:::-;;18391:7;18387:2;18372:27;;18381:4;18372:27;;;;;;;;;;;;17847:559;;;:::o;7616:135:5:-;7687:7;7721:22;7725:3;:10;;7737:5;7721:3;:22::i;:::-;7713:31;;7706:38;;7616:135;;;;:::o;7439:224:4:-;7519:7;7528;7548:11;7561:13;7578:22;7582:3;:10;;7594:5;7578:3;:22::i;:::-;7547:53;;;;7626:3;7618:12;;7648:5;7640:14;;7610:46;;;;;;7439:224;;;;;:::o;8082:202::-;8189:7;8231:44;8236:3;:10;;8256:3;8248:12;;8262;8231:4;:44::i;:::-;8223:53;;8208:69;;8082:202;;;;;:::o;7172:112:5:-;7232:7;7258:19;7266:3;:10;;7258:7;:19::i;:::-;7251:26;;7172:112;;;:::o;1288:134:11:-;1346:7;1372:43;1376:1;1379;1372:43;;;;;;;;;;;;;;;;;:3;:43::i;:::-;1365:50;;1288:134;;;;:::o;841:176::-;899:7;918:9;934:1;930;:5;918:17;;958:1;953;:6;;945:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1009:1;1002:8;;;841:176;;;;:::o;2147:459::-;2205:7;2451:1;2446;:6;2442:45;;;2475:1;2468:8;;;;2442:45;2497:9;2513:1;2509;:5;2497:17;;2541:1;2536;2532;:5;;;;;;:10;2524:56;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2598:1;2591:8;;;2147:459;;;;;:::o;15541:164:0:-;15640:21;15659:1;2825:4;15640:18;;:21;;;;:::i;:::-;15624:13;:11;:13::i;:::-;:37;15616:46;;;;;;15672:26;15682:2;15686:7;15672:26;;;;;;;;;;;;:9;:26::i;:::-;15541:164;;:::o;14034:269::-;14147:28;14157:4;14163:2;14167:7;14147:9;:28::i;:::-;14193:48;14216:4;14222:2;14226:7;14235:5;14193:22;:48::i;:::-;14185:111;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14034:269;;;;:::o;6758:149:4:-;6842:4;6865:35;6875:3;:10;;6895:3;6887:12;;6865:9;:35::i;:::-;6858:42;;6758:149;;;;:::o;4450:108::-;4506:7;4532:3;:12;;:19;;;;4525:26;;4450:108;;;:::o;20306:93:0:-;;;;:::o;6731:135:5:-;6801:4;6824:35;6832:3;:10;;6852:5;6844:14;;6824:7;:35::i;:::-;6817:42;;6731:135;;;;:::o;6434:129::-;6501:4;6524:32;6529:3;:10;;6549:5;6541:14;;6524:4;:32::i;:::-;6517:39;;6434:129;;;;:::o;6206:174:4:-;6295:4;6318:55;6323:3;:10;;6343:3;6335:12;;6365:5;6357:14;;6349:23;;6318:4;:55::i;:::-;6311:62;;6206:174;;;;;:::o;4390:201:5:-;4457:7;4505:5;4484:3;:11;;:18;;;;:26;4476:73;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4566:3;:11;;4578:5;4566:18;;;;;;;;;;;;;;;;4559:25;;4390:201;;;;:::o;4901:274:4:-;4968:7;4977;5026:5;5004:3;:12;;:19;;;;:27;4996:74;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5081:22;5106:3;:12;;5119:5;5106:19;;;;;;;;;;;;;;;;;;5081:44;;5143:5;:10;;;5155:5;:12;;;5135:33;;;;;4901:274;;;;;:::o;5582:315::-;5676:7;5695:16;5714:3;:12;;:17;5727:3;5714:17;;;;;;;;;;;;5695:36;;5761:1;5749:8;:13;;5764:12;5741:36;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5830:3;:12;;5854:1;5843:8;:12;5830:26;;;;;;;;;;;;;;;;;;:33;;;5823:40;;;5582:315;;;;;:::o;3951:107:5:-;4007:7;4033:3;:11;;:18;;;;4026:25;;3951:107;;;:::o;1713:187:11:-;1799:7;1831:1;1826;:6;;1834:12;1818:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1857:9;1873:1;1869;:5;1857:17;;1892:1;1885:8;;;1713:187;;;;;:::o;15926:303:0:-;16021:18;16027:2;16031:7;16021:5;:18::i;:::-;16073:21;16092:1;2825:4;16073:18;;:21;;;;:::i;:::-;16057:13;:11;:13::i;:::-;:37;16049:46;;;;;;16113:54;16144:1;16148:2;16152:7;16161:5;16113:22;:54::i;:::-;16105:117;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15926:303;;;:::o;18960:589::-;19080:4;19105:15;:2;:13;;;:15::i;:::-;19100:58;;19143:4;19136:11;;;;19100:58;19167:23;19193:246;19245:45;;;19304:12;:10;:12::i;:::-;19330:4;19348:7;19369:5;19209:175;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19193:246;;;;;;;;;;;;;;;;;:2;:15;;;;:246;;;;;:::i;:::-;19167:272;;19449:13;19476:10;19465:32;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19449:48;;3126:10;19525:16;;19515:26;;;:6;:26;;;;19507:35;;;;18960:589;;;;;;;:::o;4237:123:4:-;4308:4;4352:1;4331:3;:12;;:17;4344:3;4331:17;;;;;;;;;;;;:22;;4324:29;;4237:123;;;;:::o;2150:1512:5:-;2216:4;2332:18;2353:3;:12;;:19;2366:5;2353:19;;;;;;;;;;;;2332:40;;2401:1;2387:10;:15;2383:1273;;2744:21;2781:1;2768:10;:14;2744:38;;2796:17;2837:1;2816:3;:11;;:18;;;;:22;2796:42;;3078:17;3098:3;:11;;3110:9;3098:22;;;;;;;;;;;;;;;;3078:42;;3241:9;3212:3;:11;;3224:13;3212:26;;;;;;;;;;;;;;;:38;;;;3358:1;3342:13;:17;3316:3;:12;;:23;3329:9;3316:23;;;;;;;;;;;:43;;;;3465:3;:11;;:17;;;;;;;;;;;;;;;;;;;;;;;;3557:3;:12;;:19;3570:5;3557:19;;;;;;;;;;;3550:26;;;3598:4;3591:11;;;;;;;;2383:1273;3640:5;3633:12;;;2150:1512;;;;;:::o;1578:404::-;1641:4;1662:21;1672:3;1677:5;1662:9;:21::i;:::-;1657:319;;1699:3;:11;;1716:5;1699:23;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1879:3;:11;;:18;;;;1857:3;:12;;:19;1870:5;1857:19;;;;;;;;;;;:40;;;;1918:4;1911:11;;;;1657:319;1960:5;1953:12;;1578:404;;;;;:::o;1795:678:4:-;1871:4;1985:16;2004:3;:12;;:17;2017:3;2004:17;;;;;;;;;;;;1985:36;;2048:1;2036:8;:13;2032:435;;;2102:3;:12;;2120:38;;;;;;;;2137:3;2120:38;;;;2150:5;2120:38;;;2102:57;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2314:3;:12;;:19;;;;2294:3;:12;;:17;2307:3;2294:17;;;;;;;;;;;:39;;;;2354:4;2347:11;;;;;2032:435;2425:5;2389:3;:12;;2413:1;2402:8;:12;2389:26;;;;;;;;;;;;;;;;;;:33;;:41;;;;2451:5;2444:12;;;1795:678;;;;;;:::o;16551:393:0:-;16644:1;16630:16;;:2;:16;;;;16622:61;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16702:16;16710:7;16702;:16::i;:::-;16701:17;16693:58;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16762:45;16791:1;16795:2;16799:7;16762:20;:45::i;:::-;16818:30;16840:7;16818:13;:17;16832:2;16818:17;;;;;;;;;;;;;;;:21;;:30;;;;:::i;:::-;;16859:29;16876:7;16885:2;16859:12;:16;;:29;;;;;:::i;:::-;;16929:7;16925:2;16904:33;;16921:1;16904:33;;;;;;;;;;;;16551:393;;:::o;685:413:1:-;745:4;948:12;1057:7;1045:20;1037:28;;1090:1;1083:4;:8;1076:15;;;685:413;;;:::o;3540:193::-;3643:12;3674:52;3696:6;3704:4;3710:1;3713:12;3674:21;:52::i;:::-;3667:59;;3540:193;;;;;:::o;3743:127:5:-;3816:4;3862:1;3839:3;:12;;:19;3852:5;3839:19;;;;;;;;;;;;:24;;3832:31;;3743:127;;;;:::o;4567:523:1:-;4694:12;4751:5;4726:21;:30;;4718:81;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4817:18;4828:6;4817:10;:18::i;:::-;4809:60;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4940:12;4954:23;4981:6;:11;;5001:5;5009:4;4981:33;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4939:75;;;;5031:52;5049:7;5058:10;5070:12;5031:17;:52::i;:::-;5024:59;;;;4567:523;;;;;;:::o;7050:725::-;7165:12;7193:7;7189:580;;;7223:10;7216:17;;;;7189:580;7354:1;7334:10;:17;:21;7330:429;;;7592:10;7586:17;7652:15;7639:10;7635:2;7631:19;7624:44;7541:145;7731:12;7724:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7050:725;;;;;;:::o

ipfs://badd673c6325ab2b50f9b909e378eebdc7636ea68561204560afacefe47053ad