Contract Source Code (Solidity Multiple files format)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

import "./ERC721Burnable.sol";
import "./SafeMath.sol";
import "./Counters.sol";
import "./ICeramic.sol";

/**
 * @title Dragon Contract
 * @dev Extends ERC721 Non-Fungible Token Standard basic implementation
 */
contract Dragon is ERC721Burnable {
    using SafeMath for uint256;
    using Counters for Counters.Counter;

    Counters.Counter private _tokenIdTracker;
    Counters.Counter private _ceramicIdTracker;

    string public PROVENANCE = "";
    uint256 public MAX_SUPPLY;
    uint256 public CERAMIC_SUPPLY;

    uint256 public mintPrice;
    uint256 public maxByMint;

    address public wallet;
    address public ceramicAddress;

    bool public saleIsActive;

    mapping(uint256 => bool) private mintedFromCeramic;

    event MintNFT(address indexed minter, uint256 indexed id);

    modifier checkSaleIsActive() {
        require(saleIsActive == true, "Sale is not active");
        _;
    }

    constructor() ERC721("DRAGON", "DRAGON") {
        saleIsActive = false;

        MAX_SUPPLY = 2000;
        CERAMIC_SUPPLY = 5000;
        mintPrice = 79 * 10**15;
        maxByMint = 20;

        wallet = 0xFa06f02481fb8e35AADcF5Fe1B39f92A7F0f1a62;
        ceramicAddress = 0x7C4d474bb7c274dDe68c0e6E82Bdfd81A2f8fa9F;
    }

    function setMintPrice(uint256 newMintPrice) external onlyOwner {
        mintPrice = newMintPrice;
    }

    function setMaxByMint(uint256 newMaxByMint) external onlyOwner {
        maxByMint = newMaxByMint;
    }

    function setSaleStatus(bool status) external onlyOwner {
        saleIsActive = status;
    }

    function setBaseURI(string memory baseURI) external onlyOwner {
        _setBaseURI(baseURI);
    }

    function setProvenance(string memory _provenance) external onlyOwner {
        PROVENANCE = _provenance;
    }

    function _totalSupply() internal view returns (uint256) {
        return _tokenIdTracker.current().add(_ceramicIdTracker.current());
    }

    function totalMint() public view returns (uint256) {
        return _totalSupply();
    }

    function totalMintByCeramic() public view returns (uint256) {
        return _ceramicIdTracker.current();
    }

    function totalMintByETH() public view returns (uint256) {
        return _tokenIdTracker.current();
    }

    function exists(uint256 _tokenId) public view returns (bool) {
        return _exists(_tokenId);
    }

    function getTokensOfOwner(address _owner)
        public
        view
        returns (uint256[] memory)
    {
        uint256 tokenCount = balanceOf(_owner);

        uint256[] memory tokenIdList = new uint256[](tokenCount);
        for (uint256 i = 0; i < tokenCount; i++) {
            tokenIdList[i] = tokenOfOwnerByIndex(_owner, i);
        }

        return tokenIdList;
    }

    function _mintOne(address _to) internal {
        uint256 id = _totalSupply();

        _tokenIdTracker.increment();
        _safeMint(_to, id);

        emit MintNFT(_to, id);
    }

    function _claimOne(address _to) internal {
        uint256 id = _totalSupply();

        _ceramicIdTracker.increment();
        _safeMint(_to, id);

        emit MintNFT(_to, id);
    }

    function getMintStatus(uint256 _startID, uint256 _length)
        public
        view
        returns (bool[] memory)
    {
        bool[] memory mintInfo = new bool[](_length);
        for (uint256 i; i < _length; i++) {
            mintInfo[i] = mintedFromCeramic[_startID + i];
        }
        return mintInfo;
    }

    function mintByUser(address _to, uint256 _numberOfTokens)
        public
        payable
        checkSaleIsActive
    {
        uint256 totalSupply = totalMintByETH();
        require(
            totalSupply + _numberOfTokens <= MAX_SUPPLY,
            "Max Limit To Presale"
        );
        require(_numberOfTokens <= maxByMint, "Exceeds Amount");
        require(
            mintPrice.mul(_numberOfTokens) <= msg.value,
            "Low Price To Mint"
        );

        for (uint256 i = 0; i < _numberOfTokens; i += 1) {
            _mintOne(_to);
        }
    }

    function getAvailableCeramic(address owner) public view returns (uint256) {
        uint256[] memory tokenIds = ICeramic(ceramicAddress).tokensOfOwner(
            owner
        );

        uint256 availableCount;
        for (uint256 i; i < tokenIds.length; i++) {
            if (!mintedFromCeramic[tokenIds[i]]) {
                availableCount++;
            }
        }

        return availableCount;
    }

    function claimByCeramic(address _to, uint256 _numberOfTokens)
        public
        checkSaleIsActive
    {
        uint256 balance = ICeramic(ceramicAddress).balanceOf(_msgSender());
        require(balance >= _numberOfTokens, "Don't have enough Ceramic");
        uint256 totalSupply = totalMintByCeramic();
        require(
            totalSupply + _numberOfTokens <= CERAMIC_SUPPLY,
            "Max Limit To Presale"
        );

        uint256 j = 0;
        for (uint256 i = 0; i < balance; i++) {
            uint256 tokenId = ICeramic(ceramicAddress).tokenOfOwnerByIndex(
                _msgSender(),
                i
            );
            if (!mintedFromCeramic[tokenId]) {
                mintedFromCeramic[tokenId] = true;
                _claimOne(_to);
                j++;
            }
            if (j == _numberOfTokens) {
                break;
            }
        }
    }

    function withdrawAll() public onlyOwner {
        uint256 totalBalance = address(this).balance;
        payable(wallet).transfer(totalBalance);
    }

    function isContract(address account) internal view returns (bool) {
        uint256 size;
        assembly {
            size := extcodesize(account)
        }
        return size > 0;
    }
}

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

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

        uint256 size;
        // 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.4._
     */
    function functionDelegateCall(address target, bytes memory data)
        internal
        returns (bytes memory)
    {
        return
            functionDelegateCall(
                target,
                data,
                "Address: low-level delegate call failed"
            );
    }

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

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

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

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

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

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

import "./SafeMath.sol";

/**
 * @title Counters
 * @author Matt Condon (@shrugs)
 * @dev Provides counters that can only be incremented or decremented by one. This can be used e.g. to track the number
 * of elements in a mapping, issuing ERC721 ids, or counting request ids.
 *
 * Include with `using Counters for Counters.Counter;`
 * Since it is not possible to overflow a 256 bit integer with increments of one, `increment` can skip the {SafeMath}
 * overflow check, thereby saving gas. This does assume however correct usage, in that the underlying `_value` is never
 * directly accessed.
 */
library Counters {
    using SafeMath for uint256;

    struct Counter {
        // This variable should never be directly accessed by users of the library: interactions must be restricted to
        // the library's function. As of Solidity v0.5.2, this cannot be enforced, though there is a proposal to add
        // this feature: see https://github.com/ethereum/solidity/issues/4637
        uint256 _value; // default: 0
    }

    function current(Counter storage counter) internal view returns (uint256) {
        return counter._value;
    }

    function increment(Counter storage counter) internal {
        // The {SafeMath} overflow check can be skipped here, see the comment at the top
        counter._value += 1;
    }

    function decrement(Counter storage counter) internal {
        counter._value = counter._value.sub(1);
    }
}

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

import "./EnumerableSet.sol";

/**
 * @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 {
    using EnumerableSet for EnumerableSet.Bytes32Set;

    // 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 Map {
        // Storage of keys
        EnumerableSet.Bytes32Set _keys;
        mapping(bytes32 => bytes32) _values;
    }

    /**
     * @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) {
        map._values[key] = value;
        return map._keys.add(key);
    }

    /**
     * @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) {
        delete map._values[key];
        return map._keys.remove(key);
    }

    /**
     * @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._keys.contains(key);
    }

    /**
     * @dev Returns the number of key-value pairs in the map. O(1).
     */
    function _length(Map storage map) private view returns (uint256) {
        return map._keys.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)
    {
        bytes32 key = map._keys.at(index);
        return (key, map._values[key]);
    }

    /**
     * @dev Tries to returns the value associated with `key`.  O(1).
     * Does not revert if `key` is not in the map.
     */
    function _tryGet(Map storage map, bytes32 key)
        private
        view
        returns (bool, bytes32)
    {
        bytes32 value = map._values[key];
        if (value == bytes32(0)) {
            return (_contains(map, key), bytes32(0));
        } else {
            return (true, 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) {
        bytes32 value = map._values[key];
        require(
            value != 0 || _contains(map, key),
            "EnumerableMap: nonexistent key"
        );
        return value;
    }

    /**
     * @dev Same as {_get}, with a custom error message when `key` is not in the map.
     *
     * CAUTION: This function is deprecated because it requires allocating memory for the error
     * message unnecessarily. For custom revert reasons use {_tryGet}.
     */
    function _get(
        Map storage map,
        bytes32 key,
        string memory errorMessage
    ) private view returns (bytes32) {
        bytes32 value = map._values[key];
        require(value != 0 || _contains(map, key), errorMessage);
        return value;
    }

    // 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(uint160(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(uint160(uint256(value))));
    }

    /**
     * @dev Tries to returns the value associated with `key`.  O(1).
     * Does not revert if `key` is not in the map.
     *
     * _Available since v3.4._
     */
    function tryGet(UintToAddressMap storage map, uint256 key)
        internal
        view
        returns (bool, address)
    {
        (bool success, bytes32 value) = _tryGet(map._inner, bytes32(key));
        return (success, address(uint160(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(uint160(uint256(_get(map._inner, bytes32(key)))));
    }

    /**
     * @dev Same as {get}, with a custom error message when `key` is not in the map.
     *
     * CAUTION: This function is deprecated because it requires allocating memory for the error
     * message unnecessarily. For custom revert reasons use {tryGet}.
     */
    function get(
        UintToAddressMap storage map,
        uint256 key,
        string memory errorMessage
    ) internal view returns (address) {
        return
            address(
                uint160(uint256(_get(map._inner, bytes32(key), errorMessage)))
            );
    }
}

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.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.3.0, sets of type `bytes32` (`Bytes32Set`), `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] = valueIndex; // Replace lastvalue's index to valueIndex

            // 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];
    }

    // Bytes32Set

    struct Bytes32Set {
        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(Bytes32Set storage set, bytes32 value)
        internal
        returns (bool)
    {
        return _add(set._inner, 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(Bytes32Set storage set, bytes32 value)
        internal
        returns (bool)
    {
        return _remove(set._inner, value);
    }

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

    /**
     * @dev Returns the number of values in the set. O(1).
     */
    function length(Bytes32Set 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(Bytes32Set storage set, uint256 index)
        internal
        view
        returns (bytes32)
    {
        return _at(set._inner, 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(uint160(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(uint160(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(uint160(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(uint160(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));
    }
}

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

import "./IERC165.sol";

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

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

import "./IERC721Receiver.sol";
import "./IERC721Metadata.sol";
import "./IERC721Enumerable.sol";
import "./Address.sol";
import "./Strings.sol";
import "./EnumerableSet.sol";
import "./EnumerableMap.sol";
import "./SafeMath.sol";
import "./Context.sol";
import "./ERC165.sol";

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

    // 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;

    // 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 owner to operator approvals
    mapping(address => mapping(address => bool)) private _operatorApprovals;

    // Token name
    string private _name;

    // Token symbol
    string private _symbol;

    // Optional mapping for token URIs
    mapping(uint256 => string) private _tokenURIs;

    // Base URI
    string private _baseURI;

    /*
     *     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
     *     bytes4(keccak256('tokenURI(uint256)')) == 0xc87b56dd
     *
     *     => 0x06fdde03 ^ 0x95d89b41 ^ 0xc87b56dd == 0x5b5e139f
     */
    bytes4 private constant _INTERFACE_ID_ERC721_METADATA = 0x5b5e139f;

    /*
     *     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
        virtual
        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
        virtual
        override
        returns (address)
    {
        return
            _tokenOwners.get(
                tokenId,
                "ERC721: owner query for nonexistent token"
            );
    }

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

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

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

        string memory _tokenURI = _tokenURIs[tokenId];
        string memory base = baseURI();

        // If there is no base URI, return the token URI.
        if (bytes(base).length == 0) {
            return _tokenURI;
        }
        // If both are set, concatenate the baseURI and tokenURI (via abi.encodePacked).
        if (bytes(_tokenURI).length > 0) {
            return string(abi.encodePacked(base, _tokenURI));
        }
        // If there is a baseURI but no tokenURI, concatenate the tokenID to the baseURI.
        return string(abi.encodePacked(base, tokenId.toString()));
    }

    /**
     * @dev Returns the base URI set via {_setBaseURI}. This will be
     * automatically added as a prefix in {tokenURI} to each token's URI, or
     * to the token ID if no specific URI is set for that token ID.
     */
    function baseURI() public view virtual returns (string memory) {
        return _baseURI;
    }

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

    /**
     * @dev See {IERC721Enumerable-totalSupply}.
     */
    function totalSupply() public view virtual 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
        virtual
        override
        returns (uint256)
    {
        (uint256 tokenId, ) = _tokenOwners.at(index);
        return tokenId;
    }

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

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

        _approve(to, tokenId);
    }

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

        return _tokenApprovals[tokenId];
    }

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

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

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

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

        _transfer(from, to, tokenId);
    }

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

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

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

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

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

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

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

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

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

        _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 = ERC721.ownerOf(tokenId); // internal owner

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

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

        // Clear metadata (if any)
        if (bytes(_tokenURIs[tokenId]).length != 0) {
            delete _tokenURIs[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(
            ERC721.ownerOf(tokenId) == from,
            "ERC721: transfer of token that is not own"
        ); // internal owner
        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 Sets `_tokenURI` as the tokenURI of `tokenId`.
     *
     * Requirements:
     *
     * - `tokenId` must exist.
     */
    function _setTokenURI(uint256 tokenId, string memory _tokenURI)
        internal
        virtual
    {
        require(
            _exists(tokenId),
            "ERC721Metadata: URI set of nonexistent token"
        );
        _tokenURIs[tokenId] = _tokenURI;
    }

    /**
     * @dev Internal function to set the base URI for all token IDs. It is
     * automatically added as a prefix to the value returned in {tokenURI},
     * or to the token ID if {tokenURI} is empty.
     */
    function _setBaseURI(string memory baseURI_) internal virtual {
        _baseURI = baseURI_;
    }

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

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

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

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

import "./ERC721.sol";
import "./Ownable.sol";

/**
 * @title ERC721 Burnable Token
 * @dev ERC721 Token that can be irreversibly burned (destroyed).
 */
abstract contract ERC721Burnable is Ownable, ERC721 {
    /**
     * @dev Burns `tokenId`. See {ERC721-_burn}.
     *
     * Requirements:
     *
     * - The caller must own `tokenId` or be an approved operator.
     */
    function burn(uint256 tokenId) public virtual {
        //solhint-disable-next-line max-line-length
        require(
            _msgSender() == owner() ||
                _isApprovedOrOwner(_msgSender(), tokenId),
            "ERC721Burnable: caller is not owner nor approved"
        );
        _burn(tokenId);
    }
}

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

interface ICeramic {
    function tokenOfOwnerByIndex(address owner, uint256 index) external view returns (uint256 tokenId);

    function balanceOf(address owner) external view returns (uint256);

    function tokensOfOwner(address _owner)
        external
        view
        returns (uint256[] memory);
}

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

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

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

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

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

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

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

import "./IERC721.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);

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

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

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

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

import "./Context.sol";

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

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

    /**
     * @dev Initializes the contract setting the deployer as the initial owner.
     */
    constructor() {
        address msgSender = _msgSender();
        _owner = msgSender;
        emit OwnershipTransferred(address(0), msgSender);
    }

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

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

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

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.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, with an overflow flag.
     *
     * _Available since v3.4._
     */
    function tryAdd(uint256 a, uint256 b)
        internal
        pure
        returns (bool, uint256)
    {
        uint256 c = a + b;
        if (c < a) return (false, 0);
        return (true, c);
    }

    /**
     * @dev Returns the substraction of two unsigned integers, with an overflow flag.
     *
     * _Available since v3.4._
     */
    function trySub(uint256 a, uint256 b)
        internal
        pure
        returns (bool, uint256)
    {
        if (b > a) return (false, 0);
        return (true, a - b);
    }

    /**
     * @dev Returns the multiplication of two unsigned integers, with an overflow flag.
     *
     * _Available since v3.4._
     */
    function tryMul(uint256 a, uint256 b)
        internal
        pure
        returns (bool, 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 (true, 0);
        uint256 c = a * b;
        if (c / a != b) return (false, 0);
        return (true, c);
    }

    /**
     * @dev Returns the division of two unsigned integers, with a division by zero flag.
     *
     * _Available since v3.4._
     */
    function tryDiv(uint256 a, uint256 b)
        internal
        pure
        returns (bool, uint256)
    {
        if (b == 0) return (false, 0);
        return (true, a / b);
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers, with a division by zero flag.
     *
     * _Available since v3.4._
     */
    function tryMod(uint256 a, uint256 b)
        internal
        pure
        returns (bool, uint256)
    {
        if (b == 0) return (false, 0);
        return (true, a % b);
    }

    /**
     * @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) {
        require(b <= a, "SafeMath: subtraction overflow");
        return a - b;
    }

    /**
     * @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) {
        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, reverting 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) {
        require(b > 0, "SafeMath: division by zero");
        return a / b;
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * reverting 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) {
        require(b > 0, "SafeMath: modulo by zero");
        return a % b;
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting with custom message on
     * overflow (when the result is negative).
     *
     * CAUTION: This function is deprecated because it requires allocating memory for the error
     * message unnecessarily. For custom revert reasons use {trySub}.
     *
     * 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);
        return a - b;
    }

    /**
     * @dev Returns the integer division of two unsigned integers, reverting with custom message on
     * division by zero. The result is rounded towards zero.
     *
     * CAUTION: This function is deprecated because it requires allocating memory for the error
     * message unnecessarily. For custom revert reasons use {tryDiv}.
     *
     * 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);
        return a / b;
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * reverting with custom message when dividing by zero.
     *
     * CAUTION: This function is deprecated because it requires allocating memory for the error
     * message unnecessarily. For custom revert reasons use {tryMod}.
     *
     * 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;
    }
}

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

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

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

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

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

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

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"approved","type":"address"},{"indexed":true,"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"operator","type":"address"},{"indexed":false,"internalType":"bool","name":"approved","type":"bool"}],"name":"ApprovalForAll","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"minter","type":"address"},{"indexed":true,"internalType":"uint256","name":"id","type":"uint256"}],"name":"MintNFT","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":"CERAMIC_SUPPLY","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"MAX_SUPPLY","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"PROVENANCE","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"approve","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"baseURI","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"burn","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"ceramicAddress","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256","name":"_numberOfTokens","type":"uint256"}],"name":"claimByCeramic","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_tokenId","type":"uint256"}],"name":"exists","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"getApproved","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"}],"name":"getAvailableCeramic","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_startID","type":"uint256"},{"internalType":"uint256","name":"_length","type":"uint256"}],"name":"getMintStatus","outputs":[{"internalType":"bool[]","name":"","type":"bool[]"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_owner","type":"address"}],"name":"getTokensOfOwner","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":[],"name":"maxByMint","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256","name":"_numberOfTokens","type":"uint256"}],"name":"mintByUser","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[],"name":"mintPrice","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"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":[],"name":"saleIsActive","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"operator","type":"address"},{"internalType":"bool","name":"approved","type":"bool"}],"name":"setApprovalForAll","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"string","name":"baseURI","type":"string"}],"name":"setBaseURI","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"newMaxByMint","type":"uint256"}],"name":"setMaxByMint","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"newMintPrice","type":"uint256"}],"name":"setMintPrice","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"string","name":"_provenance","type":"string"}],"name":"setProvenance","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bool","name":"status","type":"bool"}],"name":"setSaleStatus","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes4","name":"interfaceId","type":"bytes4"}],"name":"supportsInterface","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"index","type":"uint256"}],"name":"tokenByIndex","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"uint256","name":"index","type":"uint256"}],"name":"tokenOfOwnerByIndex","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"tokenURI","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalMint","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalMintByCeramic","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalMintByETH","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":"wallet","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"withdrawAll","outputs":[],"stateMutability":"nonpayable","type":"function"}]

60a06040819052600060808190526200001b91600e916200020b565b503480156200002957600080fd5b5060405180604001604052806006815260200165222920a3a7a760d11b81525060405180604001604052806006815260200165222920a3a7a760d11b81525060006200007a620001a960201b60201c565b600080546001600160a01b0319166001600160a01b0383169081178255604051929350917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350620000d66301ffc9a760e01b620001ad565b8151620000eb9060089060208501906200020b565b508051620001019060099060208401906200020b565b50620001146380ac58cd60e01b620001ad565b62000126635b5e139f60e01b620001ad565b6200013863780e9d6360e01b620001ad565b5050601480546107d0600f55611388601055670118aa14d94180006011556012829055601380546001600160a01b03191673fa06f02481fb8e35aadcf5fe1b39f92a7f0f1a621790556001600160a81b031916737c4d474bb7c274dde68c0e6e82bdfd81a2f8fa9f17905562000325565b3390565b6001600160e01b03198082161415620001e35760405162461bcd60e51b8152600401620001da90620002b1565b60405180910390fd5b6001600160e01b0319166000908152600160208190526040909120805460ff19169091179055565b8280546200021990620002e8565b90600052602060002090601f0160209004810192826200023d576000855562000288565b82601f106200025857805160ff191683800117855562000288565b8280016001018555821562000288579182015b82811115620002885782518255916020019190600101906200026b565b50620002969291506200029a565b5090565b5b808211156200029657600081556001016200029b565b6020808252601c908201527f4552433136353a20696e76616c696420696e7465726661636520696400000000604082015260600190565b600281046001821680620002fd57607f821691505b602082108114156200031f57634e487b7160e01b600052602260045260246000fd5b50919050565b6130c080620003356000396000f3fe6080604052600436106102675760003560e01c80636c0360eb11610144578063a5433efa116100b6578063e985e9c51161007a578063e985e9c5146106c8578063eb8d2444146106e8578063ed3c6272146106fd578063f2fde38b14610712578063f4a0a52814610732578063ffe630b51461075257610267565b8063a5433efa14610633578063b455c5fe14610648578063b88d4fde14610668578063c87b56dd14610688578063d897833e146106a857610267565b80637c7a1e47116101085780637c7a1e4714610594578063853828b6146105b45780638da5cb5b146105c9578063919e6b0f146105de57806395d89b41146105fe578063a22cb4651461061357610267565b80636c0360eb146105225780636c3ebe471461053757806370a082311461054a578063715018a61461056a57806372b858a71461057f57610267565b806342842e0e116101dd57806355f804b3116101a157806355f804b31461047657806359a7715a146104965780635de6dc55146104ab5780636352211e146104d85780636373a6b1146104f85780636817c76c1461050d57610267565b806342842e0e146103e157806342966c68146104015780634f558e79146104215780634f6ccce714610441578063521eb2731461046157610267565b806318160ddd1161022f57806318160ddd146103355780631ddb9d6c1461034a5780631e9729c31461037757806323b872dd1461038c5780632f745c59146103ac57806332cb6b0c146103cc57610267565b806301ffc9a71461026c57806306fdde03146102a2578063081812fc146102c4578063095ea7b3146102f1578063138a4e0114610313575b600080fd5b34801561027857600080fd5b5061028c6102873660046125d8565b610772565b6040516102999190612806565b60405180910390f35b3480156102ae57600080fd5b506102b7610795565b6040516102999190612811565b3480156102d057600080fd5b506102e46102df366004612656565b610827565b604051610299919061271e565b3480156102fd57600080fd5b5061031161030c3660046124ee565b610873565b005b34801561031f57600080fd5b5061032861090b565b6040516102999190612eac565b34801561034157600080fd5b50610328610911565b34801561035657600080fd5b5061036a610365366004612686565b610922565b6040516102999190612788565b34801561038357600080fd5b506102e46109fa565b34801561039857600080fd5b506103116103a7366004612411565b610a09565b3480156103b857600080fd5b506103286103c73660046124ee565b610a41565b3480156103d857600080fd5b50610328610a6a565b3480156103ed57600080fd5b506103116103fc366004612411565b610a70565b34801561040d57600080fd5b5061031161041c366004612656565b610a8b565b34801561042d57600080fd5b5061028c61043c366004612656565b610ae7565b34801561044d57600080fd5b5061032861045c366004612656565b610af2565b34801561046d57600080fd5b506102e4610b08565b34801561048257600080fd5b50610311610491366004612610565b610b17565b3480156104a257600080fd5b50610328610b5f565b3480156104b757600080fd5b506104cb6104c63660046123c5565b610b69565b60405161029991906127ce565b3480156104e457600080fd5b506102e46104f3366004612656565b610c1f565b34801561050457600080fd5b506102b7610c47565b34801561051957600080fd5b50610328610cd5565b34801561052e57600080fd5b506102b7610cdb565b6103116105453660046124ee565b610cea565b34801561055657600080fd5b506103286105653660046123c5565b610dcb565b34801561057657600080fd5b50610311610e14565b34801561058b57600080fd5b50610328610e9d565b3480156105a057600080fd5b506103116105af3660046124ee565b610ea9565b3480156105c057600080fd5b506103116110c1565b3480156105d557600080fd5b506102e461113e565b3480156105ea57600080fd5b506103286105f93660046123c5565b61114d565b34801561060a57600080fd5b506102b761124b565b34801561061f57600080fd5b5061031161062e3660046124c5565b61125a565b34801561063f57600080fd5b50610328611328565b34801561065457600080fd5b50610311610663366004612656565b61132e565b34801561067457600080fd5b5061031161068336600461244c565b611372565b34801561069457600080fd5b506102b76106a3366004612656565b6113ab565b3480156106b457600080fd5b506103116106c33660046125be565b6114ee565b3480156106d457600080fd5b5061028c6106e33660046123df565b61154b565b3480156106f457600080fd5b5061028c611579565b34801561070957600080fd5b50610328611589565b34801561071e57600080fd5b5061031161072d3660046123c5565b611595565b34801561073e57600080fd5b5061031161074d366004612656565b611655565b34801561075e57600080fd5b5061031161076d366004612610565b611699565b6001600160e01b0319811660009081526001602052604090205460ff165b919050565b6060600880546107a490612f6d565b80601f01602080910402602001604051908101604052809291908181526020018280546107d090612f6d565b801561081d5780601f106107f25761010080835404028352916020019161081d565b820191906000526020600020905b81548152906001019060200180831161080057829003601f168201915b5050505050905090565b6000610832826116eb565b6108575760405162461bcd60e51b815260040161084e90612c15565b60405180910390fd5b506000908152600660205260409020546001600160a01b031690565b600061087e82610c1f565b9050806001600160a01b0316836001600160a01b031614156108b25760405162461bcd60e51b815260040161084e90612d65565b806001600160a01b03166108c46116f8565b6001600160a01b031614806108e057506108e0816106e36116f8565b6108fc5760405162461bcd60e51b815260040161084e90612af8565b61090683836116fc565b505050565b60125481565b600061091d600361176a565b905090565b606060008267ffffffffffffffff81111561094d57634e487b7160e01b600052604160045260246000fd5b604051908082528060200260200182016040528015610976578160200160208202803683370190505b50905060005b838110156109f057601560006109928388612edf565b815260200190815260200160002060009054906101000a900460ff168282815181106109ce57634e487b7160e01b600052603260045260246000fd5b91151560209283029190910190910152806109e881612fa8565b91505061097c565b5090505b92915050565b6014546001600160a01b031681565b610a1a610a146116f8565b82611775565b610a365760405162461bcd60e51b815260040161084e90612da6565b6109068383836117fa565b6001600160a01b0382166000908152600260205260408120610a639083611908565b9392505050565b600f5481565b61090683838360405180602001604052806000815250611372565b610a9361113e565b6001600160a01b0316610aa46116f8565b6001600160a01b03161480610abf5750610abf610a146116f8565b610adb5760405162461bcd60e51b815260040161084e90612e5c565b610ae481611914565b50565b60006109f4826116eb565b600080610b006003846119da565b509392505050565b6013546001600160a01b031681565b610b1f6116f8565b6001600160a01b0316610b3061113e565b6001600160a01b031614610b565760405162461bcd60e51b815260040161084e90612c61565b610ae4816119f6565b600061091d611a09565b60606000610b7683610dcb565b905060008167ffffffffffffffff811115610ba157634e487b7160e01b600052604160045260246000fd5b604051908082528060200260200182016040528015610bca578160200160208202803683370190505b50905060005b82811015610b0057610be28582610a41565b828281518110610c0257634e487b7160e01b600052603260045260246000fd5b602090810291909101015280610c1781612fa8565b915050610bd0565b60006109f4826040518060600160405280602981526020016130626029913960039190611a28565b600e8054610c5490612f6d565b80601f0160208091040260200160405190810160405280929190818152602001828054610c8090612f6d565b8015610ccd5780601f10610ca257610100808354040283529160200191610ccd565b820191906000526020600020905b815481529060010190602001808311610cb057829003601f168201915b505050505081565b60115481565b6060600b80546107a490612f6d565b601454600160a01b900460ff161515600114610d185760405162461bcd60e51b815260040161084e90612a3a565b6000610d22611589565b600f54909150610d328383612edf565b1115610d505760405162461bcd60e51b815260040161084e90612e2e565b601254821115610d725760405162461bcd60e51b815260040161084e90612866565b6011543490610d819084611a35565b1115610d9f5760405162461bcd60e51b815260040161084e90612994565b60005b82811015610dc557610db384611a7a565b610dbe600182612edf565b9050610da2565b50505050565b60006001600160a01b038216610df35760405162461bcd60e51b815260040161084e90612b55565b6001600160a01b03821660009081526002602052604090206109f490611ad4565b610e1c6116f8565b6001600160a01b0316610e2d61113e565b6001600160a01b031614610e535760405162461bcd60e51b815260040161084e90612c61565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b600061091d600d611adb565b601454600160a01b900460ff161515600114610ed75760405162461bcd60e51b815260040161084e90612a3a565b6014546000906001600160a01b03166370a08231610ef36116f8565b6040518263ffffffff1660e01b8152600401610f0f919061271e565b60206040518083038186803b158015610f2757600080fd5b505afa158015610f3b573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610f5f919061266e565b905081811015610f815760405162461bcd60e51b815260040161084e90612c96565b6000610f8b610e9d565b601054909150610f9b8483612edf565b1115610fb95760405162461bcd60e51b815260040161084e90612e2e565b6000805b838110156110b9576014546000906001600160a01b0316632f745c59610fe16116f8565b846040518363ffffffff1660e01b8152600401610fff92919061276f565b60206040518083038186803b15801561101757600080fd5b505afa15801561102b573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061104f919061266e565b60008181526015602052604090205490915060ff16611098576000818152601560205260409020805460ff1916600117905561108a87611adf565b8261109481612fa8565b9350505b858314156110a657506110b9565b50806110b181612fa8565b915050610fbd565b505050505050565b6110c96116f8565b6001600160a01b03166110da61113e565b6001600160a01b0316146111005760405162461bcd60e51b815260040161084e90612c61565b60135460405147916001600160a01b03169082156108fc029083906000818181858888f1935050505015801561113a573d6000803e3d6000fd5b5050565b6000546001600160a01b031690565b601454604051632118854760e21b815260009182916001600160a01b0390911690638462151c9061118290869060040161271e565b60006040518083038186803b15801561119a57600080fd5b505afa1580156111ae573d6000803e3d6000fd5b505050506040513d6000823e601f3d908101601f191682016040526111d69190810190612517565b90506000805b8251811015610b00576015600084838151811061120957634e487b7160e01b600052603260045260246000fd5b60209081029190910181015182528101919091526040016000205460ff16611239578161123581612fa8565b9250505b8061124381612fa8565b9150506111dc565b6060600980546107a490612f6d565b6112626116f8565b6001600160a01b0316826001600160a01b031614156112935760405162461bcd60e51b815260040161084e90612a03565b80600760006112a06116f8565b6001600160a01b03908116825260208083019390935260409182016000908120918716808252919093529120805460ff1916921515929092179091556112e46116f8565b6001600160a01b03167f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c318360405161131c9190612806565b60405180910390a35050565b60105481565b6113366116f8565b6001600160a01b031661134761113e565b6001600160a01b03161461136d5760405162461bcd60e51b815260040161084e90612c61565b601255565b61138361137d6116f8565b83611775565b61139f5760405162461bcd60e51b815260040161084e90612da6565b610dc584848484611af5565b60606113b6826116eb565b6113d25760405162461bcd60e51b815260040161084e90612d16565b6000828152600a6020526040812080546113eb90612f6d565b80601f016020809104026020016040519081016040528092919081815260200182805461141790612f6d565b80156114645780601f1061143957610100808354040283529160200191611464565b820191906000526020600020905b81548152906001019060200180831161144757829003601f168201915b505050505090506000611475610cdb565b905080516000141561148957509050610790565b8151156114bb5780826040516020016114a39291906126ef565b60405160208183030381529060405292505050610790565b806114c585611b28565b6040516020016114d69291906126ef565b60405160208183030381529060405292505050919050565b6114f66116f8565b6001600160a01b031661150761113e565b6001600160a01b03161461152d5760405162461bcd60e51b815260040161084e90612c61565b60148054911515600160a01b0260ff60a01b19909216919091179055565b6001600160a01b03918216600090815260076020908152604080832093909416825291909152205460ff1690565b601454600160a01b900460ff1681565b600061091d600c611adb565b61159d6116f8565b6001600160a01b03166115ae61113e565b6001600160a01b0316146115d45760405162461bcd60e51b815260040161084e90612c61565b6001600160a01b0381166115fa5760405162461bcd60e51b815260040161084e906128e0565b600080546040516001600160a01b03808516939216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a3600080546001600160a01b0319166001600160a01b0392909216919091179055565b61165d6116f8565b6001600160a01b031661166e61113e565b6001600160a01b0316146116945760405162461bcd60e51b815260040161084e90612c61565b601155565b6116a16116f8565b6001600160a01b03166116b261113e565b6001600160a01b0316146116d85760405162461bcd60e51b815260040161084e90612c61565b805161113a90600e906020840190612275565b60006109f4600383611c43565b3390565b600081815260066020526040902080546001600160a01b0319166001600160a01b038416908117909155819061173182610c1f565b6001600160a01b03167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92560405160405180910390a45050565b60006109f482611c4f565b6000611780826116eb565b61179c5760405162461bcd60e51b815260040161084e90612aac565b60006117a783610c1f565b9050806001600160a01b0316846001600160a01b031614806117e25750836001600160a01b03166117d784610827565b6001600160a01b0316145b806117f257506117f2818561154b565b949350505050565b826001600160a01b031661180d82610c1f565b6001600160a01b0316146118335760405162461bcd60e51b815260040161084e90612ccd565b6001600160a01b0382166118595760405162461bcd60e51b815260040161084e906129bf565b611864838383610906565b61186f6000826116fc565b6001600160a01b03831660009081526002602052604090206118919082611c5a565b506001600160a01b03821660009081526002602052604090206118b49082611c66565b506118c160038284611c72565b5080826001600160a01b0316846001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a4505050565b6000610a638383611c88565b600061191f82610c1f565b905061192d81600084610906565b6119386000836116fc565b6000828152600a60205260409020805461195190612f6d565b15905061196f576000828152600a6020526040812061196f916122f9565b6001600160a01b03811660009081526002602052604090206119919083611c5a565b5061199d600383611ce1565b5060405182906000906001600160a01b038416907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef908390a45050565b60008080806119e98686611ced565b9097909650945050505050565b805161113a90600b906020840190612275565b600061091d611a18600d611adb565b611a22600c611adb565b90611d18565b60006117f2848484611d47565b600082611a44575060006109f4565b6000611a508385612f0b565b905082611a5d8583612ef7565b14610a635760405162461bcd60e51b815260040161084e90612bd4565b6000611a84611a09565b9050611a90600c611d93565b611a9a8282611db0565b60405181906001600160a01b038416907f1f89f147a58d1673945cf416187db98efc8208408c011b91887acd59fd8523c390600090a35050565b60006109f4825b5490565b6000611ae9611a09565b9050611a90600d611d93565b611b008484846117fa565b611b0c84848484611dca565b610dc55760405162461bcd60e51b815260040161084e9061288e565b606081611b4d57506040805180820190915260018152600360fc1b6020820152610790565b8160005b8115611b775780611b6181612fa8565b9150611b709050600a83612ef7565b9150611b51565b60008167ffffffffffffffff811115611ba057634e487b7160e01b600052604160045260246000fd5b6040519080825280601f01601f191660200182016040528015611bca576020820181803683370190505b5090505b84156117f257611bdf600183612f2a565b9150611bec600a86612fc3565b611bf7906030612edf565b60f81b818381518110611c1a57634e487b7160e01b600052603260045260246000fd5b60200101906001600160f81b031916908160001a905350611c3c600a86612ef7565b9450611bce565b6000610a638383611ea9565b60006109f482611ad4565b6000610a638383611eb5565b6000610a638383611fcc565b60006117f284846001600160a01b038516612016565b81546000908210611cab5760405162461bcd60e51b815260040161084e90612824565b826000018281548110611cce57634e487b7160e01b600052603260045260246000fd5b9060005260206000200154905092915050565b6000610a638383612033565b60008080611cfb8585611908565b600081815260029690960160205260409095205494959350505050565b600080611d258385612edf565b905083811015610a635760405162461bcd60e51b815260040161084e9061295d565b600082815260028401602052604081205480151580611d6b5750611d6b8585611ea9565b8390611d8a5760405162461bcd60e51b815260040161084e9190612811565b50949350505050565b6001816000016000828254611da89190612edf565b909155505050565b61113a828260405180602001604052806000815250612050565b6000611dde846001600160a01b0316612083565b611dea575060016117f2565b6000611e72630a85bd0160e11b611dff6116f8565b888787604051602401611e159493929190612732565b604051602081830303815290604052906001600160e01b0319166020820180516001600160e01b038381831617835250505050604051806060016040528060328152602001613030603291396001600160a01b0388169190612089565b9050600081806020019051810190611e8a91906125f4565b6001600160e01b031916630a85bd0160e11b1492505050949350505050565b6000610a638383612098565b60008181526001830160205260408120548015611fc2576000611ed9600183612f2a565b8554909150600090611eed90600190612f2a565b90506000866000018281548110611f1457634e487b7160e01b600052603260045260246000fd5b9060005260206000200154905080876000018481548110611f4557634e487b7160e01b600052603260045260246000fd5b600091825260208083209091019290925582815260018901909152604090208490558654879080611f8657634e487b7160e01b600052603160045260246000fd5b600190038181906000526020600020016000905590558660010160008781526020019081526020016000206000905560019450505050506109f4565b60009150506109f4565b6000611fd883836120a0565b61200e575081546001818101845560008481526020808220909301849055845484825282860190935260409020919091556109f4565b5060006109f4565b600082815260028401602052604081208290556117f28484611c66565b60008181526002830160205260408120819055610a638383611c5a565b61205a83836120b8565b6120676000848484611dca565b6109065760405162461bcd60e51b815260040161084e9061288e565b3b151590565b60606117f2848460008561217c565b6000610a6383835b60009081526001919091016020526040902054151590565b6001600160a01b0382166120de5760405162461bcd60e51b815260040161084e90612b9f565b6120e7816116eb565b156121045760405162461bcd60e51b815260040161084e90612926565b61211060008383610906565b6001600160a01b03821660009081526002602052604090206121329082611c66565b5061213f60038284611c72565b5060405181906001600160a01b038416906000907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef908290a45050565b60608247101561219e5760405162461bcd60e51b815260040161084e90612a66565b6121a785612083565b6121c35760405162461bcd60e51b815260040161084e90612df7565b600080866001600160a01b031685876040516121df91906126d3565b60006040518083038185875af1925050503d806000811461221c576040519150601f19603f3d011682016040523d82523d6000602084013e612221565b606091505b509150915061223182828661223c565b979650505050505050565b6060831561224b575081610a63565b82511561225b5782518084602001fd5b8160405162461bcd60e51b815260040161084e9190612811565b82805461228190612f6d565b90600052602060002090601f0160209004810192826122a357600085556122e9565b82601f106122bc57805160ff19168380011785556122e9565b828001600101855582156122e9579182015b828111156122e95782518255916020019190600101906122ce565b506122f5929150612331565b5090565b50805461230590612f6d565b6000825580601f106123175750610ae4565b601f016020900490600052602060002090810190610ae491905b5b808211156122f55760008155600101612332565b600067ffffffffffffffff83111561236057612360613003565b612373601f8401601f1916602001612eb5565b905082815283838301111561238757600080fd5b828260208301376000602084830101529392505050565b80356001600160a01b038116811461079057600080fd5b8035801515811461079057600080fd5b6000602082840312156123d6578081fd5b610a638261239e565b600080604083850312156123f1578081fd5b6123fa8361239e565b91506124086020840161239e565b90509250929050565b600080600060608486031215612425578081fd5b61242e8461239e565b925061243c6020850161239e565b9150604084013590509250925092565b60008060008060808587031215612461578081fd5b61246a8561239e565b93506124786020860161239e565b925060408501359150606085013567ffffffffffffffff81111561249a578182fd5b8501601f810187136124aa578182fd5b6124b987823560208401612346565b91505092959194509250565b600080604083850312156124d7578182fd5b6124e08361239e565b9150612408602084016123b5565b60008060408385031215612500578182fd5b6125098361239e565b946020939093013593505050565b60006020808385031215612529578182fd5b825167ffffffffffffffff80821115612540578384fd5b818501915085601f830112612553578384fd5b81518181111561256557612565613003565b8381029150612575848301612eb5565b8181528481019084860184860187018a101561258f578788fd5b8795505b838610156125b1578051835260019590950194918601918601612593565b5098975050505050505050565b6000602082840312156125cf578081fd5b610a63826123b5565b6000602082840312156125e9578081fd5b8135610a6381613019565b600060208284031215612605578081fd5b8151610a6381613019565b600060208284031215612621578081fd5b813567ffffffffffffffff811115612637578182fd5b8201601f81018413612647578182fd5b6117f284823560208401612346565b600060208284031215612667578081fd5b5035919050565b60006020828403121561267f578081fd5b5051919050565b60008060408385031215612698578182fd5b50508035926020909101359150565b600081518084526126bf816020860160208601612f41565b601f01601f19169290920160200192915050565b600082516126e5818460208701612f41565b9190910192915050565b60008351612701818460208801612f41565b835190830190612715818360208801612f41565b01949350505050565b6001600160a01b0391909116815260200190565b6001600160a01b0385811682528416602082015260408101839052608060608201819052600090612765908301846126a7565b9695505050505050565b6001600160a01b03929092168252602082015260400190565b6020808252825182820181905260009190848201906040850190845b818110156127c25783511515835292840192918401916001016127a4565b50909695505050505050565b6020808252825182820181905260009190848201906040850190845b818110156127c2578351835292840192918401916001016127ea565b901515815260200190565b600060208252610a6360208301846126a7565b60208082526022908201527f456e756d657261626c655365743a20696e646578206f7574206f6620626f756e604082015261647360f01b606082015260800190565b6020808252600e908201526d115e18d959591cc8105b5bdd5b9d60921b604082015260600190565b60208082526032908201527f4552433732313a207472616e7366657220746f206e6f6e20455243373231526560408201527131b2b4bb32b91034b6b83632b6b2b73a32b960711b606082015260800190565b60208082526026908201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160408201526564647265737360d01b606082015260800190565b6020808252601c908201527f4552433732313a20746f6b656e20616c7265616479206d696e74656400000000604082015260600190565b6020808252601b908201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604082015260600190565b602080825260119082015270131bddc8141c9a58d948151bc8135a5b9d607a1b604082015260600190565b60208082526024908201527f4552433732313a207472616e7366657220746f20746865207a65726f206164646040820152637265737360e01b606082015260800190565b60208082526019908201527f4552433732313a20617070726f766520746f2063616c6c657200000000000000604082015260600190565b60208082526012908201527153616c65206973206e6f742061637469766560701b604082015260600190565b60208082526026908201527f416464726573733a20696e73756666696369656e742062616c616e636520666f6040820152651c8818d85b1b60d21b606082015260800190565b6020808252602c908201527f4552433732313a206f70657261746f7220717565727920666f72206e6f6e657860408201526b34b9ba32b73a103a37b5b2b760a11b606082015260800190565b60208082526038908201527f4552433732313a20617070726f76652063616c6c6572206973206e6f74206f7760408201527f6e6572206e6f7220617070726f76656420666f7220616c6c0000000000000000606082015260800190565b6020808252602a908201527f4552433732313a2062616c616e636520717565727920666f7220746865207a65604082015269726f206164647265737360b01b606082015260800190565b6020808252818101527f4552433732313a206d696e7420746f20746865207a65726f2061646472657373604082015260600190565b60208082526021908201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6040820152607760f81b606082015260800190565b6020808252602c908201527f4552433732313a20617070726f76656420717565727920666f72206e6f6e657860408201526b34b9ba32b73a103a37b5b2b760a11b606082015260800190565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b60208082526019908201527f446f6e2774206861766520656e6f75676820436572616d696300000000000000604082015260600190565b60208082526029908201527f4552433732313a207472616e73666572206f6620746f6b656e2074686174206960408201526839903737ba1037bbb760b91b606082015260800190565b6020808252602f908201527f4552433732314d657461646174613a2055524920717565727920666f72206e6f60408201526e3732bc34b9ba32b73a103a37b5b2b760891b606082015260800190565b60208082526021908201527f4552433732313a20617070726f76616c20746f2063757272656e74206f776e656040820152603960f91b606082015260800190565b60208082526031908201527f4552433732313a207472616e736665722063616c6c6572206973206e6f74206f6040820152701ddb995c881b9bdc88185c1c1c9bdd9959607a1b606082015260800190565b6020808252601d908201527f416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000604082015260600190565b6020808252601490820152734d6178204c696d697420546f2050726573616c6560601b604082015260600190565b60208082526030908201527f4552433732314275726e61626c653a2063616c6c6572206973206e6f74206f7760408201526f1b995c881b9bdc88185c1c1c9bdd995960821b606082015260800190565b90815260200190565b60405181810167ffffffffffffffff81118282101715612ed757612ed7613003565b604052919050565b60008219821115612ef257612ef2612fd7565b500190565b600082612f0657612f06612fed565b500490565b6000816000190483118215151615612f2557612f25612fd7565b500290565b600082821015612f3c57612f3c612fd7565b500390565b60005b83811015612f5c578181015183820152602001612f44565b83811115610dc55750506000910152565b600281046001821680612f8157607f821691505b60208210811415612fa257634e487b7160e01b600052602260045260246000fd5b50919050565b6000600019821415612fbc57612fbc612fd7565b5060010190565b600082612fd257612fd2612fed565b500690565b634e487b7160e01b600052601160045260246000fd5b634e487b7160e01b600052601260045260246000fd5b634e487b7160e01b600052604160045260246000fd5b6001600160e01b031981168114610ae457600080fdfe4552433732313a207472616e7366657220746f206e6f6e20455243373231526563656976657220696d706c656d656e7465724552433732313a206f776e657220717565727920666f72206e6f6e6578697374656e7420746f6b656ea26469706673582212205a05fe01e2bfaf83ed2d507dd129b98f58a16416c800286ba08af3b024c4bee564736f6c63430008000033

0x6080604052600436106102675760003560e01c80636c0360eb11610144578063a5433efa116100b6578063e985e9c51161007a578063e985e9c5146106c8578063eb8d2444146106e8578063ed3c6272146106fd578063f2fde38b14610712578063f4a0a52814610732578063ffe630b51461075257610267565b8063a5433efa14610633578063b455c5fe14610648578063b88d4fde14610668578063c87b56dd14610688578063d897833e146106a857610267565b80637c7a1e47116101085780637c7a1e4714610594578063853828b6146105b45780638da5cb5b146105c9578063919e6b0f146105de57806395d89b41146105fe578063a22cb4651461061357610267565b80636c0360eb146105225780636c3ebe471461053757806370a082311461054a578063715018a61461056a57806372b858a71461057f57610267565b806342842e0e116101dd57806355f804b3116101a157806355f804b31461047657806359a7715a146104965780635de6dc55146104ab5780636352211e146104d85780636373a6b1146104f85780636817c76c1461050d57610267565b806342842e0e146103e157806342966c68146104015780634f558e79146104215780634f6ccce714610441578063521eb2731461046157610267565b806318160ddd1161022f57806318160ddd146103355780631ddb9d6c1461034a5780631e9729c31461037757806323b872dd1461038c5780632f745c59146103ac57806332cb6b0c146103cc57610267565b806301ffc9a71461026c57806306fdde03146102a2578063081812fc146102c4578063095ea7b3146102f1578063138a4e0114610313575b600080fd5b34801561027857600080fd5b5061028c6102873660046125d8565b610772565b6040516102999190612806565b60405180910390f35b3480156102ae57600080fd5b506102b7610795565b6040516102999190612811565b3480156102d057600080fd5b506102e46102df366004612656565b610827565b604051610299919061271e565b3480156102fd57600080fd5b5061031161030c3660046124ee565b610873565b005b34801561031f57600080fd5b5061032861090b565b6040516102999190612eac565b34801561034157600080fd5b50610328610911565b34801561035657600080fd5b5061036a610365366004612686565b610922565b6040516102999190612788565b34801561038357600080fd5b506102e46109fa565b34801561039857600080fd5b506103116103a7366004612411565b610a09565b3480156103b857600080fd5b506103286103c73660046124ee565b610a41565b3480156103d857600080fd5b50610328610a6a565b3480156103ed57600080fd5b506103116103fc366004612411565b610a70565b34801561040d57600080fd5b5061031161041c366004612656565b610a8b565b34801561042d57600080fd5b5061028c61043c366004612656565b610ae7565b34801561044d57600080fd5b5061032861045c366004612656565b610af2565b34801561046d57600080fd5b506102e4610b08565b34801561048257600080fd5b50610311610491366004612610565b610b17565b3480156104a257600080fd5b50610328610b5f565b3480156104b757600080fd5b506104cb6104c63660046123c5565b610b69565b60405161029991906127ce565b3480156104e457600080fd5b506102e46104f3366004612656565b610c1f565b34801561050457600080fd5b506102b7610c47565b34801561051957600080fd5b50610328610cd5565b34801561052e57600080fd5b506102b7610cdb565b6103116105453660046124ee565b610cea565b34801561055657600080fd5b506103286105653660046123c5565b610dcb565b34801561057657600080fd5b50610311610e14565b34801561058b57600080fd5b50610328610e9d565b3480156105a057600080fd5b506103116105af3660046124ee565b610ea9565b3480156105c057600080fd5b506103116110c1565b3480156105d557600080fd5b506102e461113e565b3480156105ea57600080fd5b506103286105f93660046123c5565b61114d565b34801561060a57600080fd5b506102b761124b565b34801561061f57600080fd5b5061031161062e3660046124c5565b61125a565b34801561063f57600080fd5b50610328611328565b34801561065457600080fd5b50610311610663366004612656565b61132e565b34801561067457600080fd5b5061031161068336600461244c565b611372565b34801561069457600080fd5b506102b76106a3366004612656565b6113ab565b3480156106b457600080fd5b506103116106c33660046125be565b6114ee565b3480156106d457600080fd5b5061028c6106e33660046123df565b61154b565b3480156106f457600080fd5b5061028c611579565b34801561070957600080fd5b50610328611589565b34801561071e57600080fd5b5061031161072d3660046123c5565b611595565b34801561073e57600080fd5b5061031161074d366004612656565b611655565b34801561075e57600080fd5b5061031161076d366004612610565b611699565b6001600160e01b0319811660009081526001602052604090205460ff165b919050565b6060600880546107a490612f6d565b80601f01602080910402602001604051908101604052809291908181526020018280546107d090612f6d565b801561081d5780601f106107f25761010080835404028352916020019161081d565b820191906000526020600020905b81548152906001019060200180831161080057829003601f168201915b5050505050905090565b6000610832826116eb565b6108575760405162461bcd60e51b815260040161084e90612c15565b60405180910390fd5b506000908152600660205260409020546001600160a01b031690565b600061087e82610c1f565b9050806001600160a01b0316836001600160a01b031614156108b25760405162461bcd60e51b815260040161084e90612d65565b806001600160a01b03166108c46116f8565b6001600160a01b031614806108e057506108e0816106e36116f8565b6108fc5760405162461bcd60e51b815260040161084e90612af8565b61090683836116fc565b505050565b60125481565b600061091d600361176a565b905090565b606060008267ffffffffffffffff81111561094d57634e487b7160e01b600052604160045260246000fd5b604051908082528060200260200182016040528015610976578160200160208202803683370190505b50905060005b838110156109f057601560006109928388612edf565b815260200190815260200160002060009054906101000a900460ff168282815181106109ce57634e487b7160e01b600052603260045260246000fd5b91151560209283029190910190910152806109e881612fa8565b91505061097c565b5090505b92915050565b6014546001600160a01b031681565b610a1a610a146116f8565b82611775565b610a365760405162461bcd60e51b815260040161084e90612da6565b6109068383836117fa565b6001600160a01b0382166000908152600260205260408120610a639083611908565b9392505050565b600f5481565b61090683838360405180602001604052806000815250611372565b610a9361113e565b6001600160a01b0316610aa46116f8565b6001600160a01b03161480610abf5750610abf610a146116f8565b610adb5760405162461bcd60e51b815260040161084e90612e5c565b610ae481611914565b50565b60006109f4826116eb565b600080610b006003846119da565b509392505050565b6013546001600160a01b031681565b610b1f6116f8565b6001600160a01b0316610b3061113e565b6001600160a01b031614610b565760405162461bcd60e51b815260040161084e90612c61565b610ae4816119f6565b600061091d611a09565b60606000610b7683610dcb565b905060008167ffffffffffffffff811115610ba157634e487b7160e01b600052604160045260246000fd5b604051908082528060200260200182016040528015610bca578160200160208202803683370190505b50905060005b82811015610b0057610be28582610a41565b828281518110610c0257634e487b7160e01b600052603260045260246000fd5b602090810291909101015280610c1781612fa8565b915050610bd0565b60006109f4826040518060600160405280602981526020016130626029913960039190611a28565b600e8054610c5490612f6d565b80601f0160208091040260200160405190810160405280929190818152602001828054610c8090612f6d565b8015610ccd5780601f10610ca257610100808354040283529160200191610ccd565b820191906000526020600020905b815481529060010190602001808311610cb057829003601f168201915b505050505081565b60115481565b6060600b80546107a490612f6d565b601454600160a01b900460ff161515600114610d185760405162461bcd60e51b815260040161084e90612a3a565b6000610d22611589565b600f54909150610d328383612edf565b1115610d505760405162461bcd60e51b815260040161084e90612e2e565b601254821115610d725760405162461bcd60e51b815260040161084e90612866565b6011543490610d819084611a35565b1115610d9f5760405162461bcd60e51b815260040161084e90612994565b60005b82811015610dc557610db384611a7a565b610dbe600182612edf565b9050610da2565b50505050565b60006001600160a01b038216610df35760405162461bcd60e51b815260040161084e90612b55565b6001600160a01b03821660009081526002602052604090206109f490611ad4565b610e1c6116f8565b6001600160a01b0316610e2d61113e565b6001600160a01b031614610e535760405162461bcd60e51b815260040161084e90612c61565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b600061091d600d611adb565b601454600160a01b900460ff161515600114610ed75760405162461bcd60e51b815260040161084e90612a3a565b6014546000906001600160a01b03166370a08231610ef36116f8565b6040518263ffffffff1660e01b8152600401610f0f919061271e565b60206040518083038186803b158015610f2757600080fd5b505afa158015610f3b573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610f5f919061266e565b905081811015610f815760405162461bcd60e51b815260040161084e90612c96565b6000610f8b610e9d565b601054909150610f9b8483612edf565b1115610fb95760405162461bcd60e51b815260040161084e90612e2e565b6000805b838110156110b9576014546000906001600160a01b0316632f745c59610fe16116f8565b846040518363ffffffff1660e01b8152600401610fff92919061276f565b60206040518083038186803b15801561101757600080fd5b505afa15801561102b573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061104f919061266e565b60008181526015602052604090205490915060ff16611098576000818152601560205260409020805460ff1916600117905561108a87611adf565b8261109481612fa8565b9350505b858314156110a657506110b9565b50806110b181612fa8565b915050610fbd565b505050505050565b6110c96116f8565b6001600160a01b03166110da61113e565b6001600160a01b0316146111005760405162461bcd60e51b815260040161084e90612c61565b60135460405147916001600160a01b03169082156108fc029083906000818181858888f1935050505015801561113a573d6000803e3d6000fd5b5050565b6000546001600160a01b031690565b601454604051632118854760e21b815260009182916001600160a01b0390911690638462151c9061118290869060040161271e565b60006040518083038186803b15801561119a57600080fd5b505afa1580156111ae573d6000803e3d6000fd5b505050506040513d6000823e601f3d908101601f191682016040526111d69190810190612517565b90506000805b8251811015610b00576015600084838151811061120957634e487b7160e01b600052603260045260246000fd5b60209081029190910181015182528101919091526040016000205460ff16611239578161123581612fa8565b9250505b8061124381612fa8565b9150506111dc565b6060600980546107a490612f6d565b6112626116f8565b6001600160a01b0316826001600160a01b031614156112935760405162461bcd60e51b815260040161084e90612a03565b80600760006112a06116f8565b6001600160a01b03908116825260208083019390935260409182016000908120918716808252919093529120805460ff1916921515929092179091556112e46116f8565b6001600160a01b03167f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c318360405161131c9190612806565b60405180910390a35050565b60105481565b6113366116f8565b6001600160a01b031661134761113e565b6001600160a01b03161461136d5760405162461bcd60e51b815260040161084e90612c61565b601255565b61138361137d6116f8565b83611775565b61139f5760405162461bcd60e51b815260040161084e90612da6565b610dc584848484611af5565b60606113b6826116eb565b6113d25760405162461bcd60e51b815260040161084e90612d16565b6000828152600a6020526040812080546113eb90612f6d565b80601f016020809104026020016040519081016040528092919081815260200182805461141790612f6d565b80156114645780601f1061143957610100808354040283529160200191611464565b820191906000526020600020905b81548152906001019060200180831161144757829003601f168201915b505050505090506000611475610cdb565b905080516000141561148957509050610790565b8151156114bb5780826040516020016114a39291906126ef565b60405160208183030381529060405292505050610790565b806114c585611b28565b6040516020016114d69291906126ef565b60405160208183030381529060405292505050919050565b6114f66116f8565b6001600160a01b031661150761113e565b6001600160a01b03161461152d5760405162461bcd60e51b815260040161084e90612c61565b60148054911515600160a01b0260ff60a01b19909216919091179055565b6001600160a01b03918216600090815260076020908152604080832093909416825291909152205460ff1690565b601454600160a01b900460ff1681565b600061091d600c611adb565b61159d6116f8565b6001600160a01b03166115ae61113e565b6001600160a01b0316146115d45760405162461bcd60e51b815260040161084e90612c61565b6001600160a01b0381166115fa5760405162461bcd60e51b815260040161084e906128e0565b600080546040516001600160a01b03808516939216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a3600080546001600160a01b0319166001600160a01b0392909216919091179055565b61165d6116f8565b6001600160a01b031661166e61113e565b6001600160a01b0316146116945760405162461bcd60e51b815260040161084e90612c61565b601155565b6116a16116f8565b6001600160a01b03166116b261113e565b6001600160a01b0316146116d85760405162461bcd60e51b815260040161084e90612c61565b805161113a90600e906020840190612275565b60006109f4600383611c43565b3390565b600081815260066020526040902080546001600160a01b0319166001600160a01b038416908117909155819061173182610c1f565b6001600160a01b03167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92560405160405180910390a45050565b60006109f482611c4f565b6000611780826116eb565b61179c5760405162461bcd60e51b815260040161084e90612aac565b60006117a783610c1f565b9050806001600160a01b0316846001600160a01b031614806117e25750836001600160a01b03166117d784610827565b6001600160a01b0316145b806117f257506117f2818561154b565b949350505050565b826001600160a01b031661180d82610c1f565b6001600160a01b0316146118335760405162461bcd60e51b815260040161084e90612ccd565b6001600160a01b0382166118595760405162461bcd60e51b815260040161084e906129bf565b611864838383610906565b61186f6000826116fc565b6001600160a01b03831660009081526002602052604090206118919082611c5a565b506001600160a01b03821660009081526002602052604090206118b49082611c66565b506118c160038284611c72565b5080826001600160a01b0316846001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60405160405180910390a4505050565b6000610a638383611c88565b600061191f82610c1f565b905061192d81600084610906565b6119386000836116fc565b6000828152600a60205260409020805461195190612f6d565b15905061196f576000828152600a6020526040812061196f916122f9565b6001600160a01b03811660009081526002602052604090206119919083611c5a565b5061199d600383611ce1565b5060405182906000906001600160a01b038416907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef908390a45050565b60008080806119e98686611ced565b9097909650945050505050565b805161113a90600b906020840190612275565b600061091d611a18600d611adb565b611a22600c611adb565b90611d18565b60006117f2848484611d47565b600082611a44575060006109f4565b6000611a508385612f0b565b905082611a5d8583612ef7565b14610a635760405162461bcd60e51b815260040161084e90612bd4565b6000611a84611a09565b9050611a90600c611d93565b611a9a8282611db0565b60405181906001600160a01b038416907f1f89f147a58d1673945cf416187db98efc8208408c011b91887acd59fd8523c390600090a35050565b60006109f4825b5490565b6000611ae9611a09565b9050611a90600d611d93565b611b008484846117fa565b611b0c84848484611dca565b610dc55760405162461bcd60e51b815260040161084e9061288e565b606081611b4d57506040805180820190915260018152600360fc1b6020820152610790565b8160005b8115611b775780611b6181612fa8565b9150611b709050600a83612ef7565b9150611b51565b60008167ffffffffffffffff811115611ba057634e487b7160e01b600052604160045260246000fd5b6040519080825280601f01601f191660200182016040528015611bca576020820181803683370190505b5090505b84156117f257611bdf600183612f2a565b9150611bec600a86612fc3565b611bf7906030612edf565b60f81b818381518110611c1a57634e487b7160e01b600052603260045260246000fd5b60200101906001600160f81b031916908160001a905350611c3c600a86612ef7565b9450611bce565b6000610a638383611ea9565b60006109f482611ad4565b6000610a638383611eb5565b6000610a638383611fcc565b60006117f284846001600160a01b038516612016565b81546000908210611cab5760405162461bcd60e51b815260040161084e90612824565b826000018281548110611cce57634e487b7160e01b600052603260045260246000fd5b9060005260206000200154905092915050565b6000610a638383612033565b60008080611cfb8585611908565b600081815260029690960160205260409095205494959350505050565b600080611d258385612edf565b905083811015610a635760405162461bcd60e51b815260040161084e9061295d565b600082815260028401602052604081205480151580611d6b5750611d6b8585611ea9565b8390611d8a5760405162461bcd60e51b815260040161084e9190612811565b50949350505050565b6001816000016000828254611da89190612edf565b909155505050565b61113a828260405180602001604052806000815250612050565b6000611dde846001600160a01b0316612083565b611dea575060016117f2565b6000611e72630a85bd0160e11b611dff6116f8565b888787604051602401611e159493929190612732565b604051602081830303815290604052906001600160e01b0319166020820180516001600160e01b038381831617835250505050604051806060016040528060328152602001613030603291396001600160a01b0388169190612089565b9050600081806020019051810190611e8a91906125f4565b6001600160e01b031916630a85bd0160e11b1492505050949350505050565b6000610a638383612098565b60008181526001830160205260408120548015611fc2576000611ed9600183612f2a565b8554909150600090611eed90600190612f2a565b90506000866000018281548110611f1457634e487b7160e01b600052603260045260246000fd5b9060005260206000200154905080876000018481548110611f4557634e487b7160e01b600052603260045260246000fd5b600091825260208083209091019290925582815260018901909152604090208490558654879080611f8657634e487b7160e01b600052603160045260246000fd5b600190038181906000526020600020016000905590558660010160008781526020019081526020016000206000905560019450505050506109f4565b60009150506109f4565b6000611fd883836120a0565b61200e575081546001818101845560008481526020808220909301849055845484825282860190935260409020919091556109f4565b5060006109f4565b600082815260028401602052604081208290556117f28484611c66565b60008181526002830160205260408120819055610a638383611c5a565b61205a83836120b8565b6120676000848484611dca565b6109065760405162461bcd60e51b815260040161084e9061288e565b3b151590565b60606117f2848460008561217c565b6000610a6383835b60009081526001919091016020526040902054151590565b6001600160a01b0382166120de5760405162461bcd60e51b815260040161084e90612b9f565b6120e7816116eb565b156121045760405162461bcd60e51b815260040161084e90612926565b61211060008383610906565b6001600160a01b03821660009081526002602052604090206121329082611c66565b5061213f60038284611c72565b5060405181906001600160a01b038416906000907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef908290a45050565b60608247101561219e5760405162461bcd60e51b815260040161084e90612a66565b6121a785612083565b6121c35760405162461bcd60e51b815260040161084e90612df7565b600080866001600160a01b031685876040516121df91906126d3565b60006040518083038185875af1925050503d806000811461221c576040519150601f19603f3d011682016040523d82523d6000602084013e612221565b606091505b509150915061223182828661223c565b979650505050505050565b6060831561224b575081610a63565b82511561225b5782518084602001fd5b8160405162461bcd60e51b815260040161084e9190612811565b82805461228190612f6d565b90600052602060002090601f0160209004810192826122a357600085556122e9565b82601f106122bc57805160ff19168380011785556122e9565b828001600101855582156122e9579182015b828111156122e95782518255916020019190600101906122ce565b506122f5929150612331565b5090565b50805461230590612f6d565b6000825580601f106123175750610ae4565b601f016020900490600052602060002090810190610ae491905b5b808211156122f55760008155600101612332565b600067ffffffffffffffff83111561236057612360613003565b612373601f8401601f1916602001612eb5565b905082815283838301111561238757600080fd5b828260208301376000602084830101529392505050565b80356001600160a01b038116811461079057600080fd5b8035801515811461079057600080fd5b6000602082840312156123d6578081fd5b610a638261239e565b600080604083850312156123f1578081fd5b6123fa8361239e565b91506124086020840161239e565b90509250929050565b600080600060608486031215612425578081fd5b61242e8461239e565b925061243c6020850161239e565b9150604084013590509250925092565b60008060008060808587031215612461578081fd5b61246a8561239e565b93506124786020860161239e565b925060408501359150606085013567ffffffffffffffff81111561249a578182fd5b8501601f810187136124aa578182fd5b6124b987823560208401612346565b91505092959194509250565b600080604083850312156124d7578182fd5b6124e08361239e565b9150612408602084016123b5565b60008060408385031215612500578182fd5b6125098361239e565b946020939093013593505050565b60006020808385031215612529578182fd5b825167ffffffffffffffff80821115612540578384fd5b818501915085601f830112612553578384fd5b81518181111561256557612565613003565b8381029150612575848301612eb5565b8181528481019084860184860187018a101561258f578788fd5b8795505b838610156125b1578051835260019590950194918601918601612593565b5098975050505050505050565b6000602082840312156125cf578081fd5b610a63826123b5565b6000602082840312156125e9578081fd5b8135610a6381613019565b600060208284031215612605578081fd5b8151610a6381613019565b600060208284031215612621578081fd5b813567ffffffffffffffff811115612637578182fd5b8201601f81018413612647578182fd5b6117f284823560208401612346565b600060208284031215612667578081fd5b5035919050565b60006020828403121561267f578081fd5b5051919050565b60008060408385031215612698578182fd5b50508035926020909101359150565b600081518084526126bf816020860160208601612f41565b601f01601f19169290920160200192915050565b600082516126e5818460208701612f41565b9190910192915050565b60008351612701818460208801612f41565b835190830190612715818360208801612f41565b01949350505050565b6001600160a01b0391909116815260200190565b6001600160a01b0385811682528416602082015260408101839052608060608201819052600090612765908301846126a7565b9695505050505050565b6001600160a01b03929092168252602082015260400190565b6020808252825182820181905260009190848201906040850190845b818110156127c25783511515835292840192918401916001016127a4565b50909695505050505050565b6020808252825182820181905260009190848201906040850190845b818110156127c2578351835292840192918401916001016127ea565b901515815260200190565b600060208252610a6360208301846126a7565b60208082526022908201527f456e756d657261626c655365743a20696e646578206f7574206f6620626f756e604082015261647360f01b606082015260800190565b6020808252600e908201526d115e18d959591cc8105b5bdd5b9d60921b604082015260600190565b60208082526032908201527f4552433732313a207472616e7366657220746f206e6f6e20455243373231526560408201527131b2b4bb32b91034b6b83632b6b2b73a32b960711b606082015260800190565b60208082526026908201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160408201526564647265737360d01b606082015260800190565b6020808252601c908201527f4552433732313a20746f6b656e20616c7265616479206d696e74656400000000604082015260600190565b6020808252601b908201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604082015260600190565b602080825260119082015270131bddc8141c9a58d948151bc8135a5b9d607a1b604082015260600190565b60208082526024908201527f4552433732313a207472616e7366657220746f20746865207a65726f206164646040820152637265737360e01b606082015260800190565b60208082526019908201527f4552433732313a20617070726f766520746f2063616c6c657200000000000000604082015260600190565b60208082526012908201527153616c65206973206e6f742061637469766560701b604082015260600190565b60208082526026908201527f416464726573733a20696e73756666696369656e742062616c616e636520666f6040820152651c8818d85b1b60d21b606082015260800190565b6020808252602c908201527f4552433732313a206f70657261746f7220717565727920666f72206e6f6e657860408201526b34b9ba32b73a103a37b5b2b760a11b606082015260800190565b60208082526038908201527f4552433732313a20617070726f76652063616c6c6572206973206e6f74206f7760408201527f6e6572206e6f7220617070726f76656420666f7220616c6c0000000000000000606082015260800190565b6020808252602a908201527f4552433732313a2062616c616e636520717565727920666f7220746865207a65604082015269726f206164647265737360b01b606082015260800190565b6020808252818101527f4552433732313a206d696e7420746f20746865207a65726f2061646472657373604082015260600190565b60208082526021908201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6040820152607760f81b606082015260800190565b6020808252602c908201527f4552433732313a20617070726f76656420717565727920666f72206e6f6e657860408201526b34b9ba32b73a103a37b5b2b760a11b606082015260800190565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b60208082526019908201527f446f6e2774206861766520656e6f75676820436572616d696300000000000000604082015260600190565b60208082526029908201527f4552433732313a207472616e73666572206f6620746f6b656e2074686174206960408201526839903737ba1037bbb760b91b606082015260800190565b6020808252602f908201527f4552433732314d657461646174613a2055524920717565727920666f72206e6f60408201526e3732bc34b9ba32b73a103a37b5b2b760891b606082015260800190565b60208082526021908201527f4552433732313a20617070726f76616c20746f2063757272656e74206f776e656040820152603960f91b606082015260800190565b60208082526031908201527f4552433732313a207472616e736665722063616c6c6572206973206e6f74206f6040820152701ddb995c881b9bdc88185c1c1c9bdd9959607a1b606082015260800190565b6020808252601d908201527f416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000604082015260600190565b6020808252601490820152734d6178204c696d697420546f2050726573616c6560601b604082015260600190565b60208082526030908201527f4552433732314275726e61626c653a2063616c6c6572206973206e6f74206f7760408201526f1b995c881b9bdc88185c1c1c9bdd995960821b606082015260800190565b90815260200190565b60405181810167ffffffffffffffff81118282101715612ed757612ed7613003565b604052919050565b60008219821115612ef257612ef2612fd7565b500190565b600082612f0657612f06612fed565b500490565b6000816000190483118215151615612f2557612f25612fd7565b500290565b600082821015612f3c57612f3c612fd7565b500390565b60005b83811015612f5c578181015183820152602001612f44565b83811115610dc55750506000910152565b600281046001821680612f8157607f821691505b60208210811415612fa257634e487b7160e01b600052602260045260246000fd5b50919050565b6000600019821415612fbc57612fbc612fd7565b5060010190565b600082612fd257612fd2612fed565b500690565b634e487b7160e01b600052601160045260246000fd5b634e487b7160e01b600052601260045260246000fd5b634e487b7160e01b600052604160045260246000fd5b6001600160e01b031981168114610ae457600080fdfe4552433732313a207472616e7366657220746f206e6f6e20455243373231526563656976657220696d706c656d656e7465724552433732313a206f776e657220717565727920666f72206e6f6e6578697374656e7420746f6b656ea26469706673582212205a05fe01e2bfaf83ed2d507dd129b98f58a16416c800286ba08af3b024c4bee564736f6c63430008000033

284:5696:3:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1394:200:4;;;;;;;;;;-1:-1:-1;1394:200:4;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4862:100:5;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;7870:308::-;;;;;;;;;;-1:-1:-1;7870:308:5;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;7369:435::-;;;;;;;;;;-1:-1:-1;7369:435:5;;;;;:::i;:::-;;:::i;:::-;;637:24:3;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;6797:211:5:-;;;;;;;;;;;;;:::i;3311:331:3:-;;;;;;;;;;-1:-1:-1;3311:331:3;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;698:29::-;;;;;;;;;;;;;:::i;8929:376:5:-;;;;;;;;;;-1:-1:-1;8929:376:5;;;;;:::i;:::-;;:::i;6509:212::-;;;;;;;;;;-1:-1:-1;6509:212:5;;;;;:::i;:::-;;:::i;536:25:3:-;;;;;;;;;;;;;:::i;9376:185:5:-;;;;;;;;;;-1:-1:-1;9376:185:5;;;;;:::i;:::-;;:::i;456:326:6:-;;;;;;;;;;-1:-1:-1;456:326:6;;;;;:::i;:::-;;:::i;2399:104:3:-;;;;;;;;;;-1:-1:-1;2399:104:3;;;;;:::i;:::-;;:::i;7085:222:5:-;;;;;;;;;;-1:-1:-1;7085:222:5;;;;;:::i;:::-;;:::i;670:21:3:-;;;;;;;;;;;;;:::i;1687:101::-;;;;;;;;;;-1:-1:-1;1687:101:3;;;;;:::i;:::-;;:::i;2064:91::-;;;;;;;;;;;;;:::i;2511:395::-;;;;;;;;;;-1:-1:-1;2511:395:3;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;4506:289:5:-;;;;;;;;;;-1:-1:-1;4506:289:5;;;;;:::i;:::-;;:::i;500:29:3:-;;;;;;;;;;;;;:::i;606:24::-;;;;;;;;;;;;;:::i;6328:97:5:-;;;;;;;;;;;;;:::i;3650:592:3:-;;;;;;:::i;:::-;;:::i;4136:308:5:-;;;;;;;;;;-1:-1:-1;4136:308:5;;;;;:::i;:::-;;:::i;1772:148:15:-;;;;;;;;;;;;;:::i;2163:113:3:-;;;;;;;;;;;;;:::i;4683:930::-;;;;;;;;;;-1:-1:-1;4683:930:3;;;;;:::i;:::-;;:::i;5621:152::-;;;;;;;;;;;;;:::i;1121:87:15:-;;;;;;;;;;;;;:::i;4250:425:3:-;;;;;;;;;;-1:-1:-1;4250:425:3;;;;;:::i;:::-;;:::i;5031:104:5:-;;;;;;;;;;;;;:::i;8250:327::-;;;;;;;;;;-1:-1:-1;8250:327:5;;;;;:::i;:::-;;:::i;568:29:3:-;;;;;;;;;;;;;:::i;1470:106::-;;;;;;;;;;-1:-1:-1;1470:106:3;;;;;:::i;:::-;;:::i;9632:365:5:-;;;;;;;;;;-1:-1:-1;9632:365:5;;;;;:::i;:::-;;:::i;5206:879::-;;;;;;;;;;-1:-1:-1;5206:879:5;;;;;:::i;:::-;;:::i;1584:95:3:-;;;;;;;;;;-1:-1:-1;1584:95:3;;;;;:::i;:::-;;:::i;8648:214:5:-;;;;;;;;;;-1:-1:-1;8648:214:5;;;;;:::i;:::-;;:::i;736:24:3:-;;;;;;;;;;;;;:::i;2284:107::-;;;;;;;;;;;;;:::i;2075:281:15:-;;;;;;;;;;-1:-1:-1;2075:281:15;;;;;:::i;:::-;;:::i;1356:106:3:-;;;;;;;;;;-1:-1:-1;1356:106:3;;;;;:::i;:::-;;:::i;1796:112::-;;;;;;;;;;-1:-1:-1;1796:112:3;;;;;:::i;:::-;;:::i;1394:200:4:-;-1:-1:-1;;;;;;1553:33:4;;1524:4;1553:33;;;:20;:33;;;;;;;;1394:200;;;;:::o;4862:100:5:-;4916:13;4949:5;4942:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4862:100;:::o;7870:308::-;7991:7;8038:16;8046:7;8038;:16::i;:::-;8016:110;;;;-1:-1:-1;;;8016:110:5;;;;;;;:::i;:::-;;;;;;;;;-1:-1:-1;8146:24:5;;;;:15;:24;;;;;;-1:-1:-1;;;;;8146:24:5;;7870:308::o;7369:435::-;7450:13;7466:23;7481:7;7466:14;:23::i;:::-;7450:39;;7514:5;-1:-1:-1;;;;;7508:11:5;:2;-1:-1:-1;;;;;7508:11:5;;;7500:57;;;;-1:-1:-1;;;7500:57:5;;;;;;;:::i;:::-;7608:5;-1:-1:-1;;;;;7592:21:5;:12;:10;:12::i;:::-;-1:-1:-1;;;;;7592:21:5;;:86;;;;7634:44;7658:5;7665:12;:10;:12::i;7634:44::-;7570:192;;;;-1:-1:-1;;;7570:192:5;;;;;;;:::i;:::-;7775:21;7784:2;7788:7;7775:8;:21::i;:::-;7369:435;;;:::o;637:24:3:-;;;;:::o;6797:211:5:-;6858:7;6979:21;:12;:19;:21::i;:::-;6972:28;;6797:211;:::o;3311:331:3:-;3417:13;3448:22;3484:7;3473:19;;;;;;-1:-1:-1;;;3473:19:3;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;3473:19:3;;3448:44;;3508:9;3503:106;3523:7;3519:1;:11;3503:106;;;3566:17;:31;3584:12;3595:1;3584:8;:12;:::i;:::-;3566:31;;;;;;;;;;;;;;;;;;;;;3552:8;3561:1;3552:11;;;;;;-1:-1:-1;;;3552:11:3;;;;;;;;;:45;;;:11;;;;;;;;;;;:45;3532:3;;;;:::i;:::-;;;;3503:106;;;-1:-1:-1;3626:8:3;-1:-1:-1;3311:331:3;;;;;:::o;698:29::-;;;-1:-1:-1;;;;;698:29:3;;:::o;8929:376:5:-;9138:41;9157:12;:10;:12::i;:::-;9171:7;9138:18;:41::i;:::-;9116:140;;;;-1:-1:-1;;;9116:140:5;;;;;;;:::i;:::-;9269:28;9279:4;9285:2;9289:7;9269:9;:28::i;6509:212::-;-1:-1:-1;;;;;6683:20:5;;6651:7;6683:20;;;:13;:20;;;;;:30;;6707:5;6683:23;:30::i;:::-;6676:37;6509:212;-1:-1:-1;;;6509:212:5:o;536:25:3:-;;;;:::o;9376:185:5:-;9514:39;9531:4;9537:2;9541:7;9514:39;;;;;;;;;;;;:16;:39::i;456:326:6:-;604:7;:5;:7::i;:::-;-1:-1:-1;;;;;588:23:6;:12;:10;:12::i;:::-;-1:-1:-1;;;;;588:23:6;;:85;;;;632:41;651:12;:10;:12::i;632:41::-;566:183;;;;-1:-1:-1;;;566:183:6;;;;;;;:::i;:::-;760:14;766:7;760:5;:14::i;:::-;456:326;:::o;2399:104:3:-;2454:4;2478:17;2486:8;2478:7;:17::i;7085:222:5:-;7205:7;;7252:22;:12;7268:5;7252:15;:22::i;:::-;-1:-1:-1;7230:44:5;7085:222;-1:-1:-1;;;7085:222:5:o;670:21:3:-;;;-1:-1:-1;;;;;670:21:3;;:::o;1687:101::-;1352:12:15;:10;:12::i;:::-;-1:-1:-1;;;;;1341:23:15;:7;:5;:7::i;:::-;-1:-1:-1;;;;;1341:23:15;;1333:68;;;;-1:-1:-1;;;1333:68:15;;;;;;;:::i;:::-;1760:20:3::1;1772:7;1760:11;:20::i;2064:91::-:0;2106:7;2133:14;:12;:14::i;2511:395::-;2601:16;2635:18;2656:17;2666:6;2656:9;:17::i;:::-;2635:38;;2686:28;2731:10;2717:25;;;;;;-1:-1:-1;;;2717:25:3;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;2717:25:3;;2686:56;;2758:9;2753:115;2777:10;2773:1;:14;2753:115;;;2826:30;2846:6;2854:1;2826:19;:30::i;:::-;2809:11;2821:1;2809:14;;;;;;-1:-1:-1;;;2809:14:3;;;;;;;;;;;;;;;;;;:47;2789:3;;;;:::i;:::-;;;;2753:115;;4506:289:5;4623:7;4668:119;4703:7;4668:119;;;;;;;;;;;;;;;;;:12;;:119;:16;:119::i;500:29:3:-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;606:24::-;;;;:::o;6328:97:5:-;6376:13;6409:8;6402:15;;;;;:::i;3650:592:3:-;942:12;;-1:-1:-1;;;942:12:3;;;;:20;;958:4;942:20;934:51;;;;-1:-1:-1;;;934:51:3;;;;;;;:::i;:::-;3784:19:::1;3806:16;:14;:16::i;:::-;3888:10;::::0;3784:38;;-1:-1:-1;3855:29:3::1;3869:15:::0;3784:38;3855:29:::1;:::i;:::-;:43;;3833:113;;;;-1:-1:-1::0;;;3833:113:3::1;;;;;;;:::i;:::-;3984:9;;3965:15;:28;;3957:55;;;;-1:-1:-1::0;;;3957:55:3::1;;;;;;;:::i;:::-;4045:9;::::0;4079::::1;::::0;4045:30:::1;::::0;4059:15;4045:13:::1;:30::i;:::-;:43;;4023:110;;;;-1:-1:-1::0;;;4023:110:3::1;;;;;;;:::i;:::-;4151:9;4146:89;4170:15;4166:1;:19;4146:89;;;4210:13;4219:3;4210:8;:13::i;:::-;4187:6;4192:1;4187:6:::0;::::1;:::i;:::-;;;4146:89;;;;996:1;3650:592:::0;;:::o;4136:308:5:-;4253:7;-1:-1:-1;;;;;4300:19:5;;4278:111;;;;-1:-1:-1;;;4278:111:5;;;;;;;:::i;:::-;-1:-1:-1;;;;;4407:20:5;;;;;;:13;:20;;;;;:29;;:27;:29::i;1772:148:15:-;1352:12;:10;:12::i;:::-;-1:-1:-1;;;;;1341:23:15;:7;:5;:7::i;:::-;-1:-1:-1;;;;;1341:23:15;;1333:68;;;;-1:-1:-1;;;1333:68:15;;;;;;;:::i;:::-;1879:1:::1;1863:6:::0;;1842:40:::1;::::0;-1:-1:-1;;;;;1863:6:15;;::::1;::::0;1842:40:::1;::::0;1879:1;;1842:40:::1;1910:1;1893:19:::0;;-1:-1:-1;;;;;;1893:19:15::1;::::0;;1772:148::o;2163:113:3:-;2214:7;2241:27;:17;:25;:27::i;4683:930::-;942:12;;-1:-1:-1;;;942:12:3;;;;:20;;958:4;942:20;934:51;;;;-1:-1:-1;;;934:51:3;;;;;;;:::i;:::-;4831:14:::1;::::0;4804:15:::1;::::0;-1:-1:-1;;;;;4831:14:3::1;4822:34;4857:12;:10;:12::i;:::-;4822:48;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;4804:66;;4900:15;4889:7;:26;;4881:64;;;;-1:-1:-1::0;;;4881:64:3::1;;;;;;;:::i;:::-;4956:19;4978:20;:18;:20::i;:::-;5064:14;::::0;4956:42;;-1:-1:-1;5031:29:3::1;5045:15:::0;4956:42;5031:29:::1;:::i;:::-;:47;;5009:117;;;;-1:-1:-1::0;;;5009:117:3::1;;;;;;;:::i;:::-;5139:9;5168::::0;5163:443:::1;5187:7;5183:1;:11;5163:443;;;5243:14;::::0;5216:15:::1;::::0;-1:-1:-1;;;;;5243:14:3::1;5234:44;5297:12;:10;:12::i;:::-;5328:1;5234:110;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5364:26;::::0;;;:17:::1;:26;::::0;;;;;5216:128;;-1:-1:-1;5364:26:3::1;;5359:156;;5411:26;::::0;;;:17:::1;:26;::::0;;;;:33;;-1:-1:-1;;5411:33:3::1;5440:4;5411:33;::::0;;5463:14:::1;5473:3:::0;5463:9:::1;:14::i;:::-;5496:3:::0;::::1;::::0;::::1;:::i;:::-;;;;5359:156;5538:15;5533:1;:20;5529:66;;;5574:5;;;5529:66;-1:-1:-1::0;5196:3:3;::::1;::::0;::::1;:::i;:::-;;;;5163:443;;;;996:1;;;4683:930:::0;;:::o;5621:152::-;1352:12:15;:10;:12::i;:::-;-1:-1:-1;;;;;1341:23:15;:7;:5;:7::i;:::-;-1:-1:-1;;;;;1341:23:15;;1333:68;;;;-1:-1:-1;;;1333:68:15;;;;;;;:::i;:::-;5735:6:3::1;::::0;5727:38:::1;::::0;5695:21:::1;::::0;-1:-1:-1;;;;;5735:6:3::1;::::0;5727:38;::::1;;;::::0;5695:21;;5672:20:::1;5727:38:::0;5672:20;5727:38;5695:21;5735:6;5727:38;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;1412:1:15;5621:152:3:o:0;1121:87:15:-;1167:7;1194:6;-1:-1:-1;;;;;1194:6:15;1121:87;:::o;4250:425:3:-;4372:14;;4363:69;;-1:-1:-1;;;4363:69:3;;4315:7;;;;-1:-1:-1;;;;;4372:14:3;;;;4363:38;;:69;;4416:5;;4363:69;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;4363:69:3;;;;;;;;;;;;:::i;:::-;4335:97;;4445:22;4483:9;4478:156;4498:8;:15;4494:1;:19;4478:156;;;4540:17;:30;4558:8;4567:1;4558:11;;;;;;-1:-1:-1;;;4558:11:3;;;;;;;;;;;;;;;;;;;;4540:30;;;;;;;;;;-1:-1:-1;4540:30:3;;;;4535:88;;4591:16;;;;:::i;:::-;;;;4535:88;4515:3;;;;:::i;:::-;;;;4478:156;;5031:104:5;5087:13;5120:7;5113:14;;;;;:::i;8250:327::-;8397:12;:10;:12::i;:::-;-1:-1:-1;;;;;8385:24:5;:8;-1:-1:-1;;;;;8385:24:5;;;8377:62;;;;-1:-1:-1;;;8377:62:5;;;;;;;:::i;:::-;8497:8;8452:18;:32;8471:12;:10;:12::i;:::-;-1:-1:-1;;;;;8452:32:5;;;;;;;;;;;;;;;;;-1:-1:-1;8452:32:5;;;:42;;;;;;;;;;;;:53;;-1:-1:-1;;8452:53:5;;;;;;;;;;;8536:12;:10;:12::i;:::-;-1:-1:-1;;;;;8521:48:5;;8560:8;8521:48;;;;;;:::i;:::-;;;;;;;;8250:327;;:::o;568:29:3:-;;;;:::o;1470:106::-;1352:12:15;:10;:12::i;:::-;-1:-1:-1;;;;;1341:23:15;:7;:5;:7::i;:::-;-1:-1:-1;;;;;1341:23:15;;1333:68;;;;-1:-1:-1;;;1333:68:15;;;;;;;:::i;:::-;1544:9:3::1;:24:::0;1470:106::o;9632:365:5:-;9821:41;9840:12;:10;:12::i;:::-;9854:7;9821:18;:41::i;:::-;9799:140;;;;-1:-1:-1;;;9799:140:5;;;;;;;:::i;:::-;9950:39;9964:4;9970:2;9974:7;9983:5;9950:13;:39::i;5206:879::-;5324:13;5377:16;5385:7;5377;:16::i;:::-;5355:113;;;;-1:-1:-1;;;5355:113:5;;;;;;;:::i;:::-;5481:23;5507:19;;;:10;:19;;;;;5481:45;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5537:18;5558:9;:7;:9::i;:::-;5537:30;;5649:4;5643:18;5665:1;5643:23;5639:72;;;-1:-1:-1;5690:9:5;-1:-1:-1;5683:16:5;;5639:72;5815:23;;:27;5811:108;;5890:4;5896:9;5873:33;;;;;;;;;:::i;:::-;;;;;;;;;;;;;5859:48;;;;;;5811:108;6051:4;6057:18;:7;:16;:18::i;:::-;6034:42;;;;;;;;;:::i;:::-;;;;;;;;;;;;;6020:57;;;;5206:879;;;:::o;1584:95:3:-;1352:12:15;:10;:12::i;:::-;-1:-1:-1;;;;;1341:23:15;:7;:5;:7::i;:::-;-1:-1:-1;;;;;1341:23:15;;1333:68;;;;-1:-1:-1;;;1333:68:15;;;;;;;:::i;:::-;1650:12:3::1;:21:::0;;;::::1;;-1:-1:-1::0;;;1650:21:3::1;-1:-1:-1::0;;;;1650:21:3;;::::1;::::0;;;::::1;::::0;;1584:95::o;8648:214:5:-;-1:-1:-1;;;;;8819:25:5;;;8790:4;8819:25;;;:18;:25;;;;;;;;:35;;;;;;;;;;;;;;;8648:214::o;736:24:3:-;;;-1:-1:-1;;;736:24:3;;;;;:::o;2284:107::-;2331:7;2358:25;:15;:23;:25::i;2075:281:15:-;1352:12;:10;:12::i;:::-;-1:-1:-1;;;;;1341:23:15;:7;:5;:7::i;:::-;-1:-1:-1;;;;;1341:23:15;;1333:68;;;;-1:-1:-1;;;1333:68:15;;;;;;;:::i;:::-;-1:-1:-1;;;;;2178:22:15;::::1;2156:110;;;;-1:-1:-1::0;;;2156:110:15::1;;;;;;;:::i;:::-;2303:6;::::0;;2282:38:::1;::::0;-1:-1:-1;;;;;2282:38:15;;::::1;::::0;2303:6;::::1;::::0;2282:38:::1;::::0;::::1;2331:6;:17:::0;;-1:-1:-1;;;;;;2331:17:15::1;-1:-1:-1::0;;;;;2331:17:15;;;::::1;::::0;;;::::1;::::0;;2075:281::o;1356:106:3:-;1352:12:15;:10;:12::i;:::-;-1:-1:-1;;;;;1341:23:15;:7;:5;:7::i;:::-;-1:-1:-1;;;;;1341:23:15;;1333:68;;;;-1:-1:-1;;;1333:68:15;;;;;;;:::i;:::-;1430:9:3::1;:24:::0;1356:106::o;1796:112::-;1352:12:15;:10;:12::i;:::-;-1:-1:-1;;;;;1341:23:15;:7;:5;:7::i;:::-;-1:-1:-1;;;;;1341:23:15;;1333:68;;;;-1:-1:-1;;;1333:68:15;;;;;;;:::i;:::-;1876:24:3;;::::1;::::0;:10:::1;::::0;:24:::1;::::0;::::1;::::0;::::1;:::i;11544:127:5:-:0;11609:4;11633:30;:12;11655:7;11633:21;:30::i;601:98:1:-;681:10;601:98;:::o;17957:192:5:-;18032:24;;;;:15;:24;;;;;:29;;-1:-1:-1;;;;;;18032:29:5;-1:-1:-1;;;;;18032:29:5;;;;;;;;:24;;18086:23;18032:24;18086:14;:23::i;:::-;-1:-1:-1;;;;;18077:46:5;;;;;;;;;;;17957:192;;:::o;5991:155:7:-;6087:7;6119:19;6127:3;6119:7;:19::i;11838:459:5:-;11967:4;12011:16;12019:7;12011;:16::i;:::-;11989:110;;;;-1:-1:-1;;;11989:110:5;;;;;;;:::i;:::-;12110:13;12126:23;12141:7;12126:14;:23::i;:::-;12110:39;;12179:5;-1:-1:-1;;;;;12168:16:5;:7;-1:-1:-1;;;;;12168:16:5;;:64;;;;12225:7;-1:-1:-1;;;;;12201:31:5;:20;12213:7;12201:11;:20::i;:::-;-1:-1:-1;;;;;12201:31:5;;12168:64;:120;;;;12249:39;12273:5;12280:7;12249:23;:39::i;:::-;12160:129;11838:459;-1:-1:-1;;;;11838:459:5:o;15148:670::-;15321:4;-1:-1:-1;;;;;15294:31:5;:23;15309:7;15294:14;:23::i;:::-;-1:-1:-1;;;;;15294:31:5;;15272:122;;;;-1:-1:-1;;;15272:122:5;;;;;;;:::i;:::-;-1:-1:-1;;;;;15431:16:5;;15423:65;;;;-1:-1:-1;;;15423:65:5;;;;;;;:::i;:::-;15501:39;15522:4;15528:2;15532:7;15501:20;:39::i;:::-;15605:29;15622:1;15626:7;15605:8;:29::i;:::-;-1:-1:-1;;;;;15647:19:5;;;;;;:13;:19;;;;;:35;;15674:7;15647:26;:35::i;:::-;-1:-1:-1;;;;;;15693:17:5;;;;;;:13;:17;;;;;:30;;15715:7;15693:21;:30::i;:::-;-1:-1:-1;15736:29:5;:12;15753:7;15762:2;15736:16;:29::i;:::-;;15802:7;15798:2;-1:-1:-1;;;;;15783:27:5;15792:4;-1:-1:-1;;;;;15783:27:5;;;;;;;;;;;15148:670;;;:::o;9968:169:8:-;10066:7;10106:22;10110:3;10122:5;10106:3;:22::i;14266:545:5:-;14326:13;14342:23;14357:7;14342:14;:23::i;:::-;14326:39;;14396:48;14417:5;14432:1;14436:7;14396:20;:48::i;:::-;14485:29;14502:1;14506:7;14485:8;:29::i;:::-;14573:19;;;;:10;:19;;;;;14567:33;;;;;:::i;:::-;:38;;-1:-1:-1;14563:97:5;;14629:19;;;;:10;:19;;;;;14622:26;;;:::i;:::-;-1:-1:-1;;;;;14672:20:5;;;;;;:13;:20;;;;;:36;;14700:7;14672:27;:36::i;:::-;-1:-1:-1;14721:28:5;:12;14741:7;14721:19;:28::i;:::-;-1:-1:-1;14767:36:5;;14795:7;;14791:1;;-1:-1:-1;;;;;14767:36:5;;;;;14791:1;;14767:36;14266:545;;:::o;6494:268:7:-;6601:7;;;;6666:22;6670:3;6682:5;6666:3;:22::i;:::-;6635:53;;;;-1:-1:-1;6494:268:7;-1:-1:-1;;;;;6494:268:7:o;16479:100:5:-;16552:19;;;;:8;;:19;;;;;:::i;1916:140:3:-;1963:7;1990:58;2020:27;:17;:25;:27::i;:::-;1990:25;:15;:23;:25::i;:::-;:29;;:58::i;7876:292:7:-;8017:7;8099:44;8104:3;8124;8130:12;8099:4;:44::i;3805:220:16:-;3863:7;3887:6;3883:20;;-1:-1:-1;3902:1:16;3895:8;;3883:20;3914:9;3926:5;3930:1;3926;:5;:::i;:::-;3914:17;-1:-1:-1;3959:1:16;3950:5;3954:1;3914:17;3950:5;:::i;:::-;:10;3942:56;;;;-1:-1:-1;;;3942:56:16;;;;;;;:::i;2914:189:3:-;2965:10;2978:14;:12;:14::i;:::-;2965:27;;3005;:15;:25;:27::i;:::-;3043:18;3053:3;3058:2;3043:9;:18::i;:::-;3079:16;;3092:2;;-1:-1:-1;;;;;3079:16:3;;;;;;;;2914:189;;:::o;9500:114:8:-;9560:7;9587:19;9595:3;1119:114:2;1211:14;;1119:114::o;3111:192:3:-;3163:10;3176:14;:12;:14::i;:::-;3163:27;;3203:29;:17;:27;:29::i;10879:352:5:-;11036:28;11046:4;11052:2;11056:7;11036:9;:28::i;:::-;11097:48;11120:4;11126:2;11130:7;11139:5;11097:22;:48::i;:::-;11075:148;;;;-1:-1:-1;;;11075:148:5;;;;;;;:::i;288:723:17:-;344:13;565:10;561:53;;-1:-1:-1;592:10:17;;;;;;;;;;;;-1:-1:-1;;;592:10:17;;;;;;561:53;639:5;624:12;680:78;687:9;;680:78;;713:8;;;;:::i;:::-;;-1:-1:-1;736:10:17;;-1:-1:-1;744:2:17;736:10;;:::i;:::-;;;680:78;;;768:19;800:6;790:17;;;;;;-1:-1:-1;;;790:17:17;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;790:17:17;;768:39;;818:154;825:10;;818:154;;852:11;862:1;852:11;;:::i;:::-;;-1:-1:-1;921:10:17;929:2;921:5;:10;:::i;:::-;908:24;;:2;:24;:::i;:::-;895:39;;878:6;885;878:14;;;;;;-1:-1:-1;;;878:14:17;;;;;;;;;;;;:56;-1:-1:-1;;;;;878:56:17;;;;;;;;-1:-1:-1;949:11:17;958:2;949:11;;:::i;:::-;;;818:154;;5720:183:7;5831:4;5860:35;5870:3;5890;5860:9;:35::i;2606:109::-;2662:7;2689:18;:3;:16;:18::i;8990:160:8:-;9078:4;9107:35;9115:3;9135:5;9107:7;:35::i;8683:131::-;8750:4;8774:32;8779:3;8799:5;8774:4;:32::i;5086:219:7:-;5209:4;5233:64;5238:3;5258;-1:-1:-1;;;;;5272:23:7;;5233:4;:64::i;4634:273:8:-;4775:18;;4728:7;;4775:26;-1:-1:-1;4753:110:8;;;;-1:-1:-1;;;4753:110:8;;;;;;;:::i;:::-;4881:3;:11;;4893:5;4881:18;;;;;;-1:-1:-1;;;4881:18:8;;;;;;;;;;;;;;;;;4874:25;;4634:273;;;;:::o;5471:165:7:-;5566:4;5595:33;5603:3;5623;5595:7;:33::i;3080:210::-;3174:7;;;3222:19;:3;3235:5;3222:12;:19::i;:::-;3265:16;;;;:11;;;;;:16;;;;;;;;;3080:210;-1:-1:-1;;;;3080:210:7:o;2926:179:16:-;2984:7;;3016:5;3020:1;3016;:5;:::i;:::-;3004:17;;3045:1;3040;:6;;3032:46;;;;-1:-1:-1;;;3032:46:16;;;;;;;:::i;4484:278:7:-;4612:7;4648:16;;;:11;;;:16;;;;;;4683:10;;;;:33;;;4697:19;4707:3;4712;4697:9;:19::i;:::-;4718:12;4675:56;;;;;-1:-1:-1;;;4675:56:7;;;;;;;;:::i;:::-;-1:-1:-1;4749:5:7;4484:278;-1:-1:-1;;;;4484:278:7:o;1241:181:2:-;1413:1;1395:7;:14;;;:19;;;;;;;:::i;:::-;;;;-1:-1:-1;;;1241:181:2:o;12639:110:5:-;12715:26;12725:2;12729:7;12715:26;;;;;;;;;;;;:9;:26::i;17144:694::-;17299:4;17321:15;:2;-1:-1:-1;;;;;17321:13:5;;:15::i;:::-;17316:60;;-1:-1:-1;17360:4:5;17353:11;;17316:60;17386:23;17412:313;-1:-1:-1;;;17547:12:5;:10;:12::i;:::-;17578:4;17601:7;17627:5;17442:205;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;-1:-1:-1;;;;;17442:205:5;;;;;;;-1:-1:-1;;;;;17442:205:5;;;;;;;;;;;17412:313;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;17412:15:5;;;:313;:15;:313::i;:::-;17386:339;;17736:13;17763:10;17752:32;;;;;;;;;;;;:::i;:::-;-1:-1:-1;;;;;;17803:26:5;-1:-1:-1;;;17803:26:5;;-1:-1:-1;;;17144:694:5;;;;;;:::o;2353:158:7:-;2451:4;2480:23;:3;2499;2480:18;:23::i;2272:1566:8:-;2338:4;2477:19;;;:12;;;:19;;;;;;2513:15;;2509:1322;;2888:21;2912:14;2925:1;2912:10;:14;:::i;:::-;2961:18;;2888:38;;-1:-1:-1;2941:17:8;;2961:22;;2982:1;;2961:22;:::i;:::-;2941:42;;3228:17;3248:3;:11;;3260:9;3248:22;;;;;;-1:-1:-1;;;3248:22:8;;;;;;;;;;;;;;;;;3228:42;;3394:9;3365:3;:11;;3377:13;3365:26;;;;;;-1:-1:-1;;;3365:26:8;;;;;;;;;;;;;;;;;;;;:38;;;;3471:23;;;:12;;;:23;;;;;;:36;;;3632:17;;3471:3;;3632:17;;;-1:-1:-1;;;3632:17:8;;;;;;;;;;;;;;;;;;;;;;;;;;3727:3;:12;;:19;3740:5;3727:19;;;;;;;;;;;3720:26;;;3770:4;3763:11;;;;;;;;2509:1322;3814:5;3807:12;;;;;1682:414;1745:4;1767:21;1777:3;1782:5;1767:9;:21::i;:::-;1762:327;;-1:-1:-1;1805:23:8;;;;;;;;:11;:23;;;;;;;;;;;;;1988:18;;1966:19;;;:12;;;:19;;;;;;:40;;;;2021:11;;1762:327;-1:-1:-1;2072:5:8;2065:12;;1748:195:7;1858:4;1875:16;;;:11;;;:16;;;;;:24;;;1917:18;1875:3;1887;1917:13;:18::i;2118:151::-;2182:4;2206:16;;;:11;;;:16;;;;;2199:23;;;2240:21;2206:3;2218;2240:16;:21::i;12976:321:5:-;13106:18;13112:2;13116:7;13106:5;:18::i;:::-;13157:54;13188:1;13192:2;13196:7;13205:5;13157:22;:54::i;:::-;13135:154;;;;-1:-1:-1;;;13135:154:5;;;;;;;:::i;743:444:0:-;1123:20;1171:8;;;743:444::o;3780:229::-;3917:12;3949:52;3971:6;3979:4;3985:1;3988:12;3949:21;:52::i;5725:172:8:-;5832:4;5861:28;5871:3;5883:5;3924:161;4024:4;4053:19;;;:12;;;;;:19;;;;;;:24;;;3924:161::o;13633:404:5:-;-1:-1:-1;;;;;13713:16:5;;13705:61;;;;-1:-1:-1;;;13705:61:5;;;;;;;:::i;:::-;13786:16;13794:7;13786;:16::i;:::-;13785:17;13777:58;;;;-1:-1:-1;;;13777:58:5;;;;;;;:::i;:::-;13848:45;13877:1;13881:2;13885:7;13848:20;:45::i;:::-;-1:-1:-1;;;;;13906:17:5;;;;;;:13;:17;;;;;:30;;13928:7;13906:21;:30::i;:::-;-1:-1:-1;13949:29:5;:12;13966:7;13975:2;13949:16;:29::i;:::-;-1:-1:-1;13996:33:5;;14021:7;;-1:-1:-1;;;;;13996:33:5;;;14013:1;;13996:33;;14013:1;;13996:33;13633:404;;:::o;4996:632:0:-;5166:12;5238:5;5213:21;:30;;5191:118;;;;-1:-1:-1;;;5191:118:0;;;;;;;:::i;:::-;5328:18;5339:6;5328:10;:18::i;:::-;5320:60;;;;-1:-1:-1;;;5320:60:0;;;;;;;:::i;:::-;5454:12;5468:23;5495:6;-1:-1:-1;;;;;5495:11:0;5514:5;5535:4;5495:55;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5453:97;;;;5568:52;5586:7;5595:10;5607:12;5568:17;:52::i;:::-;5561:59;4996:632;-1:-1:-1;;;;;;;4996:632:0:o;7919:777::-;8069:12;8098:7;8094:595;;;-1:-1:-1;8129:10:0;8122:17;;8094:595;8243:17;;:21;8239:439;;8506:10;8500:17;8567:15;8554:10;8550:2;8546:19;8539:44;8454:148;8649:12;8642:20;;-1:-1:-1;;;8642:20:0;;;;;;;;:::i;-1:-1:-1:-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14:409:18;;114:18;106:6;103:30;100:2;;;136:18;;:::i;:::-;174:58;220:2;197:17;;-1:-1:-1;;193:31:18;226:4;189:42;174:58;:::i;:::-;165:67;;255:6;248:5;241:21;295:3;286:6;281:3;277:16;274:25;271:2;;;312:1;309;302:12;271:2;361:6;356:3;349:4;342:5;338:16;325:43;415:1;408:4;399:6;392:5;388:18;384:29;377:40;90:333;;;;;:::o;428:175::-;498:20;;-1:-1:-1;;;;;547:31:18;;537:42;;527:2;;593:1;590;583:12;608:162;675:20;;731:13;;724:21;714:32;;704:2;;760:1;757;750:12;775:198;;887:2;875:9;866:7;862:23;858:32;855:2;;;908:6;900;893:22;855:2;936:31;957:9;936:31;:::i;978:274::-;;;1107:2;1095:9;1086:7;1082:23;1078:32;1075:2;;;1128:6;1120;1113:22;1075:2;1156:31;1177:9;1156:31;:::i;:::-;1146:41;;1206:40;1242:2;1231:9;1227:18;1206:40;:::i;:::-;1196:50;;1065:187;;;;;:::o;1257:342::-;;;;1403:2;1391:9;1382:7;1378:23;1374:32;1371:2;;;1424:6;1416;1409:22;1371:2;1452:31;1473:9;1452:31;:::i;:::-;1442:41;;1502:40;1538:2;1527:9;1523:18;1502:40;:::i;:::-;1492:50;;1589:2;1578:9;1574:18;1561:32;1551:42;;1361:238;;;;;:::o;1604:702::-;;;;;1776:3;1764:9;1755:7;1751:23;1747:33;1744:2;;;1798:6;1790;1783:22;1744:2;1826:31;1847:9;1826:31;:::i;:::-;1816:41;;1876:40;1912:2;1901:9;1897:18;1876:40;:::i;:::-;1866:50;;1963:2;1952:9;1948:18;1935:32;1925:42;;2018:2;2007:9;2003:18;1990:32;2045:18;2037:6;2034:30;2031:2;;;2082:6;2074;2067:22;2031:2;2110:22;;2163:4;2155:13;;2151:27;-1:-1:-1;2141:2:18;;2197:6;2189;2182:22;2141:2;2225:75;2292:7;2287:2;2274:16;2269:2;2265;2261:11;2225:75;:::i;:::-;2215:85;;;1734:572;;;;;;;:::o;2311:268::-;;;2437:2;2425:9;2416:7;2412:23;2408:32;2405:2;;;2458:6;2450;2443:22;2405:2;2486:31;2507:9;2486:31;:::i;:::-;2476:41;;2536:37;2569:2;2558:9;2554:18;2536:37;:::i;2584:266::-;;;2713:2;2701:9;2692:7;2688:23;2684:32;2681:2;;;2734:6;2726;2719:22;2681:2;2762:31;2783:9;2762:31;:::i;:::-;2752:41;2840:2;2825:18;;;;2812:32;;-1:-1:-1;;;2671:179:18:o;2855:992::-;;2981:2;3024;3012:9;3003:7;2999:23;2995:32;2992:2;;;3045:6;3037;3030:22;2992:2;3083:9;3077:16;3112:18;3153:2;3145:6;3142:14;3139:2;;;3174:6;3166;3159:22;3139:2;3217:6;3206:9;3202:22;3192:32;;3262:7;3255:4;3251:2;3247:13;3243:27;3233:2;;3289:6;3281;3274:22;3233:2;3323;3317:9;3345:2;3341;3338:10;3335:2;;;3351:18;;:::i;:::-;3398:2;3394;3390:11;3380:21;;3421:27;3444:2;3440;3436:11;3421:27;:::i;:::-;3482:15;;;3513:12;;;;3545:11;;;3575;;;3571:20;;3568:33;-1:-1:-1;3565:2:18;;;3619:6;3611;3604:22;3565:2;3646:6;3637:15;;3661:156;3675:2;3672:1;3669:9;3661:156;;;3732:10;;3720:23;;3693:1;3686:9;;;;;3763:12;;;;3795;;3661:156;;;-1:-1:-1;3836:5:18;2961:886;-1:-1:-1;;;;;;;;2961:886:18:o;3852:192::-;;3961:2;3949:9;3940:7;3936:23;3932:32;3929:2;;;3982:6;3974;3967:22;3929:2;4010:28;4028:9;4010:28;:::i;4049:257::-;;4160:2;4148:9;4139:7;4135:23;4131:32;4128:2;;;4181:6;4173;4166:22;4128:2;4225:9;4212:23;4244:32;4270:5;4244:32;:::i;4311:261::-;;4433:2;4421:9;4412:7;4408:23;4404:32;4401:2;;;4454:6;4446;4439:22;4401:2;4491:9;4485:16;4510:32;4536:5;4510:32;:::i;4577:482::-;;4699:2;4687:9;4678:7;4674:23;4670:32;4667:2;;;4720:6;4712;4705:22;4667:2;4765:9;4752:23;4798:18;4790:6;4787:30;4784:2;;;4835:6;4827;4820:22;4784:2;4863:22;;4916:4;4908:13;;4904:27;-1:-1:-1;4894:2:18;;4950:6;4942;4935:22;4894:2;4978:75;5045:7;5040:2;5027:16;5022:2;5018;5014:11;4978:75;:::i;5064:190::-;;5176:2;5164:9;5155:7;5151:23;5147:32;5144:2;;;5197:6;5189;5182:22;5144:2;-1:-1:-1;5225:23:18;;5134:120;-1:-1:-1;5134:120:18:o;5259:194::-;;5382:2;5370:9;5361:7;5357:23;5353:32;5350:2;;;5403:6;5395;5388:22;5350:2;-1:-1:-1;5431:16:18;;5340:113;-1:-1:-1;5340:113:18:o;5458:258::-;;;5587:2;5575:9;5566:7;5562:23;5558:32;5555:2;;;5608:6;5600;5593:22;5555:2;-1:-1:-1;;5636:23:18;;;5706:2;5691:18;;;5678:32;;-1:-1:-1;5545:171:18:o;5721:259::-;;5802:5;5796:12;5829:6;5824:3;5817:19;5845:63;5901:6;5894:4;5889:3;5885:14;5878:4;5871:5;5867:16;5845:63;:::i;:::-;5962:2;5941:15;-1:-1:-1;;5937:29:18;5928:39;;;;5969:4;5924:50;;5772:208;-1:-1:-1;;5772:208:18:o;5985:274::-;;6152:6;6146:13;6168:53;6214:6;6209:3;6202:4;6194:6;6190:17;6168:53;:::i;:::-;6237:16;;;;;6122:137;-1:-1:-1;;6122:137:18:o;6264:470::-;;6481:6;6475:13;6497:53;6543:6;6538:3;6531:4;6523:6;6519:17;6497:53;:::i;:::-;6613:13;;6572:16;;;;6635:57;6613:13;6572:16;6669:4;6657:17;;6635:57;:::i;:::-;6708:20;;6451:283;-1:-1:-1;;;;6451:283:18:o;6739:203::-;-1:-1:-1;;;;;6903:32:18;;;;6885:51;;6873:2;6858:18;;6840:102::o;6947:490::-;-1:-1:-1;;;;;7216:15:18;;;7198:34;;7268:15;;7263:2;7248:18;;7241:43;7315:2;7300:18;;7293:34;;;7363:3;7358:2;7343:18;;7336:31;;;6947:490;;7384:47;;7411:19;;7403:6;7384:47;:::i;:::-;7376:55;7150:287;-1:-1:-1;;;;;;7150:287:18:o;7442:274::-;-1:-1:-1;;;;;7634:32:18;;;;7616:51;;7698:2;7683:18;;7676:34;7604:2;7589:18;;7571:145::o;7721:645::-;7886:2;7938:21;;;8008:13;;7911:18;;;8030:22;;;7721:645;;7886:2;8109:15;;;;8083:2;8068:18;;;7721:645;8155:185;8169:6;8166:1;8163:13;8155:185;;;8244:13;;8237:21;8230:29;8218:42;;8315:15;;;;8280:12;;;;8191:1;8184:9;8155:185;;;-1:-1:-1;8357:3:18;;7866:500;-1:-1:-1;;;;;;7866:500:18:o;8371:635::-;8542:2;8594:21;;;8664:13;;8567:18;;;8686:22;;;8371:635;;8542:2;8765:15;;;;8739:2;8724:18;;;8371:635;8811:169;8825:6;8822:1;8819:13;8811:169;;;8886:13;;8874:26;;8955:15;;;;8920:12;;;;8847:1;8840:9;8811:169;;9011:187;9176:14;;9169:22;9151:41;;9139:2;9124:18;;9106:92::o;9203:221::-;;9352:2;9341:9;9334:21;9372:46;9414:2;9403:9;9399:18;9391:6;9372:46;:::i;9429:398::-;9631:2;9613:21;;;9670:2;9650:18;;;9643:30;9709:34;9704:2;9689:18;;9682:62;-1:-1:-1;;;9775:2:18;9760:18;;9753:32;9817:3;9802:19;;9603:224::o;9832:338::-;10034:2;10016:21;;;10073:2;10053:18;;;10046:30;-1:-1:-1;;;10107:2:18;10092:18;;10085:44;10161:2;10146:18;;10006:164::o;10175:414::-;10377:2;10359:21;;;10416:2;10396:18;;;10389:30;10455:34;10450:2;10435:18;;10428:62;-1:-1:-1;;;10521:2:18;10506:18;;10499:48;10579:3;10564:19;;10349:240::o;10594:402::-;10796:2;10778:21;;;10835:2;10815:18;;;10808:30;10874:34;10869:2;10854:18;;10847:62;-1:-1:-1;;;10940:2:18;10925:18;;10918:36;10986:3;10971:19;;10768:228::o;11001:352::-;11203:2;11185:21;;;11242:2;11222:18;;;11215:30;11281;11276:2;11261:18;;11254:58;11344:2;11329:18;;11175:178::o;11358:351::-;11560:2;11542:21;;;11599:2;11579:18;;;11572:30;11638:29;11633:2;11618:18;;11611:57;11700:2;11685:18;;11532:177::o;11714:341::-;11916:2;11898:21;;;11955:2;11935:18;;;11928:30;-1:-1:-1;;;11989:2:18;11974:18;;11967:47;12046:2;12031:18;;11888:167::o;12060:400::-;12262:2;12244:21;;;12301:2;12281:18;;;12274:30;12340:34;12335:2;12320:18;;12313:62;-1:-1:-1;;;12406:2:18;12391:18;;12384:34;12450:3;12435:19;;12234:226::o;12465:349::-;12667:2;12649:21;;;12706:2;12686:18;;;12679:30;12745:27;12740:2;12725:18;;12718:55;12805:2;12790:18;;12639:175::o;12819:342::-;13021:2;13003:21;;;13060:2;13040:18;;;13033:30;-1:-1:-1;;;13094:2:18;13079:18;;13072:48;13152:2;13137:18;;12993:168::o;13166:402::-;13368:2;13350:21;;;13407:2;13387:18;;;13380:30;13446:34;13441:2;13426:18;;13419:62;-1:-1:-1;;;13512:2:18;13497:18;;13490:36;13558:3;13543:19;;13340:228::o;13573:408::-;13775:2;13757:21;;;13814:2;13794:18;;;13787:30;13853:34;13848:2;13833:18;;13826:62;-1:-1:-1;;;13919:2:18;13904:18;;13897:42;13971:3;13956:19;;13747:234::o;13986:420::-;14188:2;14170:21;;;14227:2;14207:18;;;14200:30;14266:34;14261:2;14246:18;;14239:62;14337:26;14332:2;14317:18;;14310:54;14396:3;14381:19;;14160:246::o;14411:406::-;14613:2;14595:21;;;14652:2;14632:18;;;14625:30;14691:34;14686:2;14671:18;;14664:62;-1:-1:-1;;;14757:2:18;14742:18;;14735:40;14807:3;14792:19;;14585:232::o;14822:356::-;15024:2;15006:21;;;15043:18;;;15036:30;15102:34;15097:2;15082:18;;15075:62;15169:2;15154:18;;14996:182::o;15183:397::-;15385:2;15367:21;;;15424:2;15404:18;;;15397:30;15463:34;15458:2;15443:18;;15436:62;-1:-1:-1;;;15529:2:18;15514:18;;15507:31;15570:3;15555:19;;15357:223::o;15585:408::-;15787:2;15769:21;;;15826:2;15806:18;;;15799:30;15865:34;15860:2;15845:18;;15838:62;-1:-1:-1;;;15931:2:18;15916:18;;15909:42;15983:3;15968:19;;15759:234::o;15998:356::-;16200:2;16182:21;;;16219:18;;;16212:30;16278:34;16273:2;16258:18;;16251:62;16345:2;16330:18;;16172:182::o;16359:349::-;16561:2;16543:21;;;16600:2;16580:18;;;16573:30;16639:27;16634:2;16619:18;;16612:55;16699:2;16684:18;;16533:175::o;16713:405::-;16915:2;16897:21;;;16954:2;16934:18;;;16927:30;16993:34;16988:2;16973:18;;16966:62;-1:-1:-1;;;17059:2:18;17044:18;;17037:39;17108:3;17093:19;;16887:231::o;17123:411::-;17325:2;17307:21;;;17364:2;17344:18;;;17337:30;17403:34;17398:2;17383:18;;17376:62;-1:-1:-1;;;17469:2:18;17454:18;;17447:45;17524:3;17509:19;;17297:237::o;17539:397::-;17741:2;17723:21;;;17780:2;17760:18;;;17753:30;17819:34;17814:2;17799:18;;17792:62;-1:-1:-1;;;17885:2:18;17870:18;;17863:31;17926:3;17911:19;;17713:223::o;17941:413::-;18143:2;18125:21;;;18182:2;18162:18;;;18155:30;18221:34;18216:2;18201:18;;18194:62;-1:-1:-1;;;18287:2:18;18272:18;;18265:47;18344:3;18329:19;;18115:239::o;18359:353::-;18561:2;18543:21;;;18600:2;18580:18;;;18573:30;18639:31;18634:2;18619:18;;18612:59;18703:2;18688:18;;18533:179::o;18717:344::-;18919:2;18901:21;;;18958:2;18938:18;;;18931:30;-1:-1:-1;;;18992:2:18;18977:18;;18970:50;19052:2;19037:18;;18891:170::o;19066:412::-;19268:2;19250:21;;;19307:2;19287:18;;;19280:30;19346:34;19341:2;19326:18;;19319:62;-1:-1:-1;;;19412:2:18;19397:18;;19390:46;19468:3;19453:19;;19240:238::o;19483:177::-;19629:25;;;19617:2;19602:18;;19584:76::o;19665:251::-;19735:2;19729:9;19765:17;;;19812:18;19797:34;;19833:22;;;19794:62;19791:2;;;19859:18;;:::i;:::-;19895:2;19888:22;19709:207;;-1:-1:-1;19709:207:18:o;19921:128::-;;19992:1;19988:6;19985:1;19982:13;19979:2;;;19998:18;;:::i;:::-;-1:-1:-1;20034:9:18;;19969:80::o;20054:120::-;;20120:1;20110:2;;20125:18;;:::i;:::-;-1:-1:-1;20159:9:18;;20100:74::o;20179:168::-;;20285:1;20281;20277:6;20273:14;20270:1;20267:21;20262:1;20255:9;20248:17;20244:45;20241:2;;;20292:18;;:::i;:::-;-1:-1:-1;20332:9:18;;20231:116::o;20352:125::-;;20420:1;20417;20414:8;20411:2;;;20425:18;;:::i;:::-;-1:-1:-1;20462:9:18;;20401:76::o;20482:258::-;20554:1;20564:113;20578:6;20575:1;20572:13;20564:113;;;20654:11;;;20648:18;20635:11;;;20628:39;20600:2;20593:10;20564:113;;;20695:6;20692:1;20689:13;20686:2;;;-1:-1:-1;;20730:1:18;20712:16;;20705:27;20535:205::o;20745:380::-;20830:1;20820:12;;20877:1;20867:12;;;20888:2;;20942:4;20934:6;20930:17;20920:27;;20888:2;20995;20987:6;20984:14;20964:18;20961:38;20958:2;;;21041:10;21036:3;21032:20;21029:1;21022:31;21076:4;21073:1;21066:15;21104:4;21101:1;21094:15;20958:2;;20800:325;;;:::o;21130:135::-;;-1:-1:-1;;21190:17:18;;21187:2;;;21210:18;;:::i;:::-;-1:-1:-1;21257:1:18;21246:13;;21177:88::o;21270:112::-;;21328:1;21318:2;;21333:18;;:::i;:::-;-1:-1:-1;21367:9:18;;21308:74::o;21387:127::-;21448:10;21443:3;21439:20;21436:1;21429:31;21479:4;21476:1;21469:15;21503:4;21500:1;21493:15;21519:127;21580:10;21575:3;21571:20;21568:1;21561:31;21611:4;21608:1;21601:15;21635:4;21632:1;21625:15;21651:127;21712:10;21707:3;21703:20;21700:1;21693:31;21743:4;21740:1;21733:15;21767:4;21764:1;21757:15;21783:133;-1:-1:-1;;;;;;21859:32:18;;21849:43;;21839:2;;21906:1;21903;21896:12

ipfs://5a05fe01e2bfaf83ed2d507dd129b98f58a16416c800286ba08af3b024c4bee5