Token

Contract Source Code (Solidity Standard Json-Input format)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts v4.4.0 (access/Ownable.sol)

pragma solidity ^0.8.0;

import "../utils/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() {
        _transferOwnership(_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 {
        _transferOwnership(address(0));
    }

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

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

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts v4.4.0 (token/ERC20/ERC20.sol)

pragma solidity ^0.8.0;

import "./IERC20.sol";
import "./extensions/IERC20Metadata.sol";
import "../../utils/Context.sol";

/**
 * @dev Implementation of the {IERC20} interface.
 *
 * This implementation is agnostic to the way tokens are created. This means
 * that a supply mechanism has to be added in a derived contract using {_mint}.
 * For a generic mechanism see {ERC20PresetMinterPauser}.
 *
 * TIP: For a detailed writeup see our guide
 * https://forum.zeppelin.solutions/t/how-to-implement-erc20-supply-mechanisms/226[How
 * to implement supply mechanisms].
 *
 * We have followed general OpenZeppelin Contracts guidelines: functions revert
 * instead returning `false` on failure. This behavior is nonetheless
 * conventional and does not conflict with the expectations of ERC20
 * applications.
 *
 * Additionally, an {Approval} event is emitted on calls to {transferFrom}.
 * This allows applications to reconstruct the allowance for all accounts just
 * by listening to said events. Other implementations of the EIP may not emit
 * these events, as it isn't required by the specification.
 *
 * Finally, the non-standard {decreaseAllowance} and {increaseAllowance}
 * functions have been added to mitigate the well-known issues around setting
 * allowances. See {IERC20-approve}.
 */
contract ERC20 is Context, IERC20, IERC20Metadata {
    mapping(address => uint256) private _balances;

    mapping(address => mapping(address => uint256)) private _allowances;

    uint256 private _totalSupply;

    string private _name;
    string private _symbol;

    /**
     * @dev Sets the values for {name} and {symbol}.
     *
     * The default value of {decimals} is 18. To select a different value for
     * {decimals} you should overload it.
     *
     * All two of these values are immutable: they can only be set once during
     * construction.
     */
    constructor(string memory name_, string memory symbol_) {
        _name = name_;
        _symbol = symbol_;
    }

    /**
     * @dev Returns the name of the token.
     */
    function name() public view virtual override returns (string memory) {
        return _name;
    }

    /**
     * @dev Returns the symbol of the token, usually a shorter version of the
     * name.
     */
    function symbol() public view virtual override returns (string memory) {
        return _symbol;
    }

    /**
     * @dev Returns the number of decimals used to get its user representation.
     * For example, if `decimals` equals `2`, a balance of `505` tokens should
     * be displayed to a user as `5.05` (`505 / 10 ** 2`).
     *
     * Tokens usually opt for a value of 18, imitating the relationship between
     * Ether and Wei. This is the value {ERC20} uses, unless this function is
     * overridden;
     *
     * NOTE: This information is only used for _display_ purposes: it in
     * no way affects any of the arithmetic of the contract, including
     * {IERC20-balanceOf} and {IERC20-transfer}.
     */
    function decimals() public view virtual override returns (uint8) {
        return 18;
    }

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

    /**
     * @dev See {IERC20-balanceOf}.
     */
    function balanceOf(address account) public view virtual override returns (uint256) {
        return _balances[account];
    }

    /**
     * @dev See {IERC20-transfer}.
     *
     * Requirements:
     *
     * - `recipient` cannot be the zero address.
     * - the caller must have a balance of at least `amount`.
     */
    function transfer(address recipient, uint256 amount) public virtual override returns (bool) {
        _transfer(_msgSender(), recipient, amount);
        return true;
    }

    /**
     * @dev See {IERC20-allowance}.
     */
    function allowance(address owner, address spender) public view virtual override returns (uint256) {
        return _allowances[owner][spender];
    }

    /**
     * @dev See {IERC20-approve}.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     */
    function approve(address spender, uint256 amount) public virtual override returns (bool) {
        _approve(_msgSender(), spender, amount);
        return true;
    }

    /**
     * @dev See {IERC20-transferFrom}.
     *
     * Emits an {Approval} event indicating the updated allowance. This is not
     * required by the EIP. See the note at the beginning of {ERC20}.
     *
     * Requirements:
     *
     * - `sender` and `recipient` cannot be the zero address.
     * - `sender` must have a balance of at least `amount`.
     * - the caller must have allowance for ``sender``'s tokens of at least
     * `amount`.
     */
    function transferFrom(
        address sender,
        address recipient,
        uint256 amount
    ) public virtual override returns (bool) {
        _transfer(sender, recipient, amount);

        uint256 currentAllowance = _allowances[sender][_msgSender()];
        require(currentAllowance >= amount, "ERC20: transfer amount exceeds allowance");
        unchecked {
            _approve(sender, _msgSender(), currentAllowance - amount);
        }

        return true;
    }

    /**
     * @dev Atomically increases the allowance granted to `spender` by the caller.
     *
     * This is an alternative to {approve} that can be used as a mitigation for
     * problems described in {IERC20-approve}.
     *
     * Emits an {Approval} event indicating the updated allowance.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     */
    function increaseAllowance(address spender, uint256 addedValue) public virtual returns (bool) {
        _approve(_msgSender(), spender, _allowances[_msgSender()][spender] + addedValue);
        return true;
    }

    /**
     * @dev Atomically decreases the allowance granted to `spender` by the caller.
     *
     * This is an alternative to {approve} that can be used as a mitigation for
     * problems described in {IERC20-approve}.
     *
     * Emits an {Approval} event indicating the updated allowance.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     * - `spender` must have allowance for the caller of at least
     * `subtractedValue`.
     */
    function decreaseAllowance(address spender, uint256 subtractedValue) public virtual returns (bool) {
        uint256 currentAllowance = _allowances[_msgSender()][spender];
        require(currentAllowance >= subtractedValue, "ERC20: decreased allowance below zero");
        unchecked {
            _approve(_msgSender(), spender, currentAllowance - subtractedValue);
        }

        return true;
    }

    /**
     * @dev Moves `amount` of tokens from `sender` to `recipient`.
     *
     * This internal function is equivalent to {transfer}, and can be used to
     * e.g. implement automatic token fees, slashing mechanisms, etc.
     *
     * Emits a {Transfer} event.
     *
     * Requirements:
     *
     * - `sender` cannot be the zero address.
     * - `recipient` cannot be the zero address.
     * - `sender` must have a balance of at least `amount`.
     */
    function _transfer(
        address sender,
        address recipient,
        uint256 amount
    ) internal virtual {
        require(sender != address(0), "ERC20: transfer from the zero address");
        require(recipient != address(0), "ERC20: transfer to the zero address");

        _beforeTokenTransfer(sender, recipient, amount);

        uint256 senderBalance = _balances[sender];
        require(senderBalance >= amount, "ERC20: transfer amount exceeds balance");
        unchecked {
            _balances[sender] = senderBalance - amount;
        }
        _balances[recipient] += amount;

        emit Transfer(sender, recipient, amount);

        _afterTokenTransfer(sender, recipient, amount);
    }

    /** @dev Creates `amount` tokens and assigns them to `account`, increasing
     * the total supply.
     *
     * Emits a {Transfer} event with `from` set to the zero address.
     *
     * Requirements:
     *
     * - `account` cannot be the zero address.
     */
    function _mint(address account, uint256 amount) internal virtual {
        require(account != address(0), "ERC20: mint to the zero address");

        _beforeTokenTransfer(address(0), account, amount);

        _totalSupply += amount;
        _balances[account] += amount;
        emit Transfer(address(0), account, amount);

        _afterTokenTransfer(address(0), account, amount);
    }

    /**
     * @dev Destroys `amount` tokens from `account`, reducing the
     * total supply.
     *
     * Emits a {Transfer} event with `to` set to the zero address.
     *
     * Requirements:
     *
     * - `account` cannot be the zero address.
     * - `account` must have at least `amount` tokens.
     */
    function _burn(address account, uint256 amount) internal virtual {
        require(account != address(0), "ERC20: burn from the zero address");

        _beforeTokenTransfer(account, address(0), amount);

        uint256 accountBalance = _balances[account];
        require(accountBalance >= amount, "ERC20: burn amount exceeds balance");
        unchecked {
            _balances[account] = accountBalance - amount;
        }
        _totalSupply -= amount;

        emit Transfer(account, address(0), amount);

        _afterTokenTransfer(account, address(0), amount);
    }

    /**
     * @dev Sets `amount` as the allowance of `spender` over the `owner` s tokens.
     *
     * This internal function is equivalent to `approve`, and can be used to
     * e.g. set automatic allowances for certain subsystems, etc.
     *
     * Emits an {Approval} event.
     *
     * Requirements:
     *
     * - `owner` cannot be the zero address.
     * - `spender` cannot be the zero address.
     */
    function _approve(
        address owner,
        address spender,
        uint256 amount
    ) internal virtual {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");

        _allowances[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }

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

    /**
     * @dev Hook that is called after any transfer of tokens. This includes
     * minting and burning.
     *
     * Calling conditions:
     *
     * - when `from` and `to` are both non-zero, `amount` of ``from``'s tokens
     * has been transferred to `to`.
     * - when `from` is zero, `amount` tokens have been minted for `to`.
     * - when `to` is zero, `amount` of ``from``'s tokens have been burned.
     * - `from` and `to` are never both zero.
     *
     * To learn more about hooks, head to xref:ROOT:extending-contracts.adoc#using-hooks[Using Hooks].
     */
    function _afterTokenTransfer(
        address from,
        address to,
        uint256 amount
    ) internal virtual {}
}

// SPDX-License-Identifier: AGPL-3.0-or-later
pragma solidity ^0.8.4;

interface IBrainsDistributor {
    function burnBrainsFor(address holder, uint256 amount) external;
    function mintBrainsFor(address holder, uint256 amount) external;
    function remainingBrains() external view returns (uint256 amount);
}

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

pragma solidity ^0.8.0;

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

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

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts v4.4.0 (token/ERC20/IERC20.sol)

pragma solidity ^0.8.0;

/**
 * @dev Interface of the ERC20 standard as defined in the EIP.
 */
interface IERC20 {
    /**
     * @dev Returns the amount of tokens in existence.
     */
    function totalSupply() external view returns (uint256);

    /**
     * @dev Returns the amount of tokens owned by `account`.
     */
    function balanceOf(address account) external view returns (uint256);

    /**
     * @dev Moves `amount` tokens from the caller's account to `recipient`.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transfer(address recipient, uint256 amount) external returns (bool);

    /**
     * @dev Returns the remaining number of tokens that `spender` will be
     * allowed to spend on behalf of `owner` through {transferFrom}. This is
     * zero by default.
     *
     * This value changes when {approve} or {transferFrom} are called.
     */
    function allowance(address owner, address spender) external view returns (uint256);

    /**
     * @dev Sets `amount` as the allowance of `spender` over the caller's tokens.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * IMPORTANT: Beware that changing an allowance with this method brings the risk
     * that someone may use both the old and the new allowance by unfortunate
     * transaction ordering. One possible solution to mitigate this race
     * condition is to first reduce the spender's allowance to 0 and set the
     * desired value afterwards:
     * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
     *
     * Emits an {Approval} event.
     */
    function approve(address spender, uint256 amount) external returns (bool);

    /**
     * @dev Moves `amount` tokens from `sender` to `recipient` using the
     * allowance mechanism. `amount` is then deducted from the caller's
     * allowance.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transferFrom(
        address sender,
        address recipient,
        uint256 amount
    ) external returns (bool);

    /**
     * @dev Emitted when `value` tokens are moved from one account (`from`) to
     * another (`to`).
     *
     * Note that `value` may be zero.
     */
    event Transfer(address indexed from, address indexed to, uint256 value);

    /**
     * @dev Emitted when the allowance of a `spender` for an `owner` is set by
     * a call to {approve}. `value` is the new allowance.
     */
    event Approval(address indexed owner, address indexed spender, uint256 value);
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts v4.4.0 (token/ERC20/extensions/IERC20Metadata.sol)

pragma solidity ^0.8.0;

import "../IERC20.sol";

/**
 * @dev Interface for the optional metadata functions from the ERC20 standard.
 *
 * _Available since v4.1._
 */
interface IERC20Metadata is IERC20 {
    /**
     * @dev Returns the name of the token.
     */
    function name() external view returns (string memory);

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

    /**
     * @dev Returns the decimals places of the token.
     */
    function decimals() external view returns (uint8);
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts v4.4.0 (security/Pausable.sol)

pragma solidity ^0.8.0;

import "../utils/Context.sol";

/**
 * @dev Contract module which allows children to implement an emergency stop
 * mechanism that can be triggered by an authorized account.
 *
 * This module is used through inheritance. It will make available the
 * modifiers `whenNotPaused` and `whenPaused`, which can be applied to
 * the functions of your contract. Note that they will not be pausable by
 * simply including this module, only once the modifiers are put in place.
 */
abstract contract Pausable is Context {
    /**
     * @dev Emitted when the pause is triggered by `account`.
     */
    event Paused(address account);

    /**
     * @dev Emitted when the pause is lifted by `account`.
     */
    event Unpaused(address account);

    bool private _paused;

    /**
     * @dev Initializes the contract in unpaused state.
     */
    constructor() {
        _paused = false;
    }

    /**
     * @dev Returns true if the contract is paused, and false otherwise.
     */
    function paused() public view virtual returns (bool) {
        return _paused;
    }

    /**
     * @dev Modifier to make a function callable only when the contract is not paused.
     *
     * Requirements:
     *
     * - The contract must not be paused.
     */
    modifier whenNotPaused() {
        require(!paused(), "Pausable: paused");
        _;
    }

    /**
     * @dev Modifier to make a function callable only when the contract is paused.
     *
     * Requirements:
     *
     * - The contract must be paused.
     */
    modifier whenPaused() {
        require(paused(), "Pausable: not paused");
        _;
    }

    /**
     * @dev Triggers stopped state.
     *
     * Requirements:
     *
     * - The contract must not be paused.
     */
    function _pause() internal virtual whenNotPaused {
        _paused = true;
        emit Paused(_msgSender());
    }

    /**
     * @dev Returns to normal state.
     *
     * Requirements:
     *
     * - The contract must be paused.
     */
    function _unpause() internal virtual whenPaused {
        _paused = false;
        emit Unpaused(_msgSender());
    }
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts v4.4.0 (token/ERC721/extensions/ERC721Enumerable.sol)

pragma solidity ^0.8.0;

import "../ERC721.sol";
import "./IERC721Enumerable.sol";

/**
 * @dev This implements an optional extension of {ERC721} defined in the EIP that adds
 * enumerability of all the token ids in the contract as well as all token ids owned by each
 * account.
 */
abstract contract ERC721Enumerable is ERC721, IERC721Enumerable {
    // Mapping from owner to list of owned token IDs
    mapping(address => mapping(uint256 => uint256)) private _ownedTokens;

    // Mapping from token ID to index of the owner tokens list
    mapping(uint256 => uint256) private _ownedTokensIndex;

    // Array with all token ids, used for enumeration
    uint256[] private _allTokens;

    // Mapping from token id to position in the allTokens array
    mapping(uint256 => uint256) private _allTokensIndex;

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

    /**
     * @dev See {IERC721Enumerable-tokenOfOwnerByIndex}.
     */
    function tokenOfOwnerByIndex(address owner, uint256 index) public view virtual override returns (uint256) {
        require(index < ERC721.balanceOf(owner), "ERC721Enumerable: owner index out of bounds");
        return _ownedTokens[owner][index];
    }

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

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

    /**
     * @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 override {
        super._beforeTokenTransfer(from, to, tokenId);

        if (from == address(0)) {
            _addTokenToAllTokensEnumeration(tokenId);
        } else if (from != to) {
            _removeTokenFromOwnerEnumeration(from, tokenId);
        }
        if (to == address(0)) {
            _removeTokenFromAllTokensEnumeration(tokenId);
        } else if (to != from) {
            _addTokenToOwnerEnumeration(to, tokenId);
        }
    }

    /**
     * @dev Private function to add a token to this extension's ownership-tracking data structures.
     * @param to address representing the new owner of the given token ID
     * @param tokenId uint256 ID of the token to be added to the tokens list of the given address
     */
    function _addTokenToOwnerEnumeration(address to, uint256 tokenId) private {
        uint256 length = ERC721.balanceOf(to);
        _ownedTokens[to][length] = tokenId;
        _ownedTokensIndex[tokenId] = length;
    }

    /**
     * @dev Private function to add a token to this extension's token tracking data structures.
     * @param tokenId uint256 ID of the token to be added to the tokens list
     */
    function _addTokenToAllTokensEnumeration(uint256 tokenId) private {
        _allTokensIndex[tokenId] = _allTokens.length;
        _allTokens.push(tokenId);
    }

    /**
     * @dev Private function to remove a token from this extension's ownership-tracking data structures. Note that
     * while the token is not assigned a new owner, the `_ownedTokensIndex` mapping is _not_ updated: this allows for
     * gas optimizations e.g. when performing a transfer operation (avoiding double writes).
     * This has O(1) time complexity, but alters the order of the _ownedTokens array.
     * @param from address representing the previous owner of the given token ID
     * @param tokenId uint256 ID of the token to be removed from the tokens list of the given address
     */
    function _removeTokenFromOwnerEnumeration(address from, uint256 tokenId) private {
        // To prevent a gap in from's tokens array, we store the last token in the index of the token to delete, and
        // then delete the last slot (swap and pop).

        uint256 lastTokenIndex = ERC721.balanceOf(from) - 1;
        uint256 tokenIndex = _ownedTokensIndex[tokenId];

        // When the token to delete is the last token, the swap operation is unnecessary
        if (tokenIndex != lastTokenIndex) {
            uint256 lastTokenId = _ownedTokens[from][lastTokenIndex];

            _ownedTokens[from][tokenIndex] = lastTokenId; // Move the last token to the slot of the to-delete token
            _ownedTokensIndex[lastTokenId] = tokenIndex; // Update the moved token's index
        }

        // This also deletes the contents at the last position of the array
        delete _ownedTokensIndex[tokenId];
        delete _ownedTokens[from][lastTokenIndex];
    }

    /**
     * @dev Private function to remove a token from this extension's token tracking data structures.
     * This has O(1) time complexity, but alters the order of the _allTokens array.
     * @param tokenId uint256 ID of the token to be removed from the tokens list
     */
    function _removeTokenFromAllTokensEnumeration(uint256 tokenId) private {
        // To prevent a gap in the tokens array, we store the last token in the index of the token to delete, and
        // then delete the last slot (swap and pop).

        uint256 lastTokenIndex = _allTokens.length - 1;
        uint256 tokenIndex = _allTokensIndex[tokenId];

        // When the token to delete is the last token, the swap operation is unnecessary. However, since this occurs so
        // rarely (when the last minted token is burnt) that we still do the swap here to avoid the gas cost of adding
        // an 'if' statement (like in _removeTokenFromOwnerEnumeration)
        uint256 lastTokenId = _allTokens[lastTokenIndex];

        _allTokens[tokenIndex] = lastTokenId; // Move the last token to the slot of the to-delete token
        _allTokensIndex[lastTokenId] = tokenIndex; // Update the moved token's index

        // This also deletes the contents at the last position of the array
        delete _allTokensIndex[tokenId];
        _allTokens.pop();
    }
}

// SPDX-License-Identifier: AGPL-3.0-or-later
pragma solidity ^0.8.4;

interface IKeyClaimable {
    function claimKeyFor(address owner) external;
    function claimKeysFor(address owner, uint8 amount) external;
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts v4.4.0 (token/ERC721/ERC721.sol)

pragma solidity ^0.8.0;

import "./IERC721.sol";
import "./IERC721Receiver.sol";
import "./extensions/IERC721Metadata.sol";
import "../../utils/Address.sol";
import "../../utils/Context.sol";
import "../../utils/Strings.sol";
import "../../utils/introspection/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 {
    using Address for address;
    using Strings for uint256;

    // Token name
    string private _name;

    // Token symbol
    string private _symbol;

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

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

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

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

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

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

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

    /**
     * @dev See {IERC721-ownerOf}.
     */
    function ownerOf(uint256 tokenId) public view virtual override returns (address) {
        address owner = _owners[tokenId];
        require(owner != address(0), "ERC721: owner query for nonexistent token");
        return owner;
    }

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

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

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

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

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

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

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

        _approve(to, tokenId);
    }

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

        return _tokenApprovals[tokenId];
    }

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

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

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

        _transfer(from, to, tokenId);
    }

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

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

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

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

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

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

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

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

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

        _balances[to] += 1;
        _owners[tokenId] = to;

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

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

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

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

        _balances[owner] -= 1;
        delete _owners[tokenId];

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

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

        _beforeTokenTransfer(from, to, tokenId);

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

        _balances[from] -= 1;
        _balances[to] += 1;
        _owners[tokenId] = to;

        emit Transfer(from, to, tokenId);
    }

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

    /**
     * @dev Approve `operator` to operate on all of `owner` tokens
     *
     * Emits a {ApprovalForAll} event.
     */
    function _setApprovalForAll(
        address owner,
        address operator,
        bool approved
    ) internal virtual {
        require(owner != operator, "ERC721: approve to caller");
        _operatorApprovals[owner][operator] = approved;
        emit ApprovalForAll(owner, operator, approved);
    }

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

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

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts v4.4.0 (token/ERC721/extensions/IERC721Enumerable.sol)

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
// OpenZeppelin Contracts v4.4.0 (token/ERC721/IERC721.sol)

pragma solidity ^0.8.0;

import "../../utils/introspection/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
// OpenZeppelin Contracts v4.4.0 (token/ERC721/IERC721Receiver.sol)

pragma solidity ^0.8.0;

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

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts v4.4.0 (token/ERC721/extensions/IERC721Metadata.sol)

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
// OpenZeppelin Contracts v4.4.0 (utils/Address.sol)

pragma solidity ^0.8.0;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts v4.4.0 (utils/Strings.sol)

pragma solidity ^0.8.0;

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

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

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

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

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

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts v4.4.0 (utils/introspection/ERC165.sol)

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 {
    /**
     * @dev See {IERC165-supportsInterface}.
     */
    function supportsInterface(bytes4 interfaceId) public view virtual override returns (bool) {
        return interfaceId == type(IERC165).interfaceId;
    }
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts v4.4.0 (utils/introspection/IERC165.sol)

pragma solidity ^0.8.0;

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

// SPDX-License-Identifier: AGPL-3.0-or-later
pragma solidity ^0.8.4;

import {Ownable} from "@openzeppelin/contracts/access/Ownable.sol";
import {Pausable} from "@openzeppelin/contracts/security/Pausable.sol";
import {IERC721, ERC721, ERC721Enumerable} from "@openzeppelin/contracts/token/ERC721/extensions/ERC721Enumerable.sol";
import {IKeyClaimable} from "./IKeyClaimable.sol";

contract Cities is Ownable, Pausable, ERC721Enumerable, IKeyClaimable {
    
    IERC721 public keyToTheCity;
    string private baseURI;

    uint256 public constant MAX_CITIES = 3500;

    event CityMinted(address owner, uint256 tokenId);
    
    constructor(address _keyToTheCity) ERC721("Zombie Frens City", "ZFCITY") {
        keyToTheCity = IERC721(_keyToTheCity);
    }

    function mintTo(address to, uint8 amount) external onlyOwner {
        uint256 tokenId = totalSupply();
        for(uint8 i=0;i<amount;++i) {
            _safeMint(to, tokenId + i);
        }
    }

    function claimKeyFor(address owner) external override onlyKey whenNotPaused canMint(1) {
        uint256 tokenId = totalSupply();
        _safeMint(owner, tokenId);
        emit CityMinted(owner, tokenId);
    }

    function claimKeysFor(address owner, uint8 amount) external override onlyKey whenNotPaused canMint(amount) {
        uint256 tokenId = totalSupply();
        for(uint8 i=0;i<amount;++i) {
            _safeMint(owner, tokenId + i);
            emit CityMinted(owner, tokenId);
        }
    }

    function tokensOfOwner(address _owner) external view returns (uint256[] memory) {
        require(_owner != address(0), "owner_zero_address");
        uint256 tokenCount = balanceOf(_owner);
        if (tokenCount <= 0) {
            // Return an empty array
            return new uint256[](0);
        } else {
            uint256[] memory result = new uint256[](tokenCount);
            uint256 index;
            for (index = 0; index < tokenCount; index++) {
                result[index] = tokenOfOwnerByIndex(_owner, index);
            }
            return result;
        }
    }

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

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

    modifier onlyKey() {
        require(msg.sender == address(keyToTheCity), "caller_not_key");
        _;
    }

    modifier canMint(uint8 amount) {
        require(totalSupply() + amount <= MAX_CITIES, "exceeds_max_cities");
        _;
    }
}

{
  "metadata": {
    "bytecodeHash": "none"
  },
  "optimizer": {
    "enabled": true,
    "runs": 1000
  },
  "outputSelection": {
    "*": {
      "*": [
        "evm.bytecode",
        "evm.deployedBytecode",
        "abi"
      ]
    }
  }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"_keyToTheCity","type":"address"}],"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":false,"internalType":"address","name":"owner","type":"address"},{"indexed":false,"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"CityMinted","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":false,"internalType":"address","name":"account","type":"address"}],"name":"Paused","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"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"account","type":"address"}],"name":"Unpaused","type":"event"},{"inputs":[],"name":"MAX_CITIES","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"approve","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"}],"name":"claimKeyFor","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"uint8","name":"amount","type":"uint8"}],"name":"claimKeysFor","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"getApproved","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"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":"keyToTheCity","outputs":[{"internalType":"contract IERC721","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint8","name":"amount","type":"uint8"}],"name":"mintTo","outputs":[],"stateMutability":"nonpayable","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":"paused","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"safeTransferFrom","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"tokenId","type":"uint256"},{"internalType":"bytes","name":"_data","type":"bytes"}],"name":"safeTransferFrom","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"operator","type":"address"},{"internalType":"bool","name":"approved","type":"bool"}],"name":"setApprovalForAll","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"string","name":"uri","type":"string"}],"name":"setBaseURI","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes4","name":"interfaceId","type":"bytes4"}],"name":"supportsInterface","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"index","type":"uint256"}],"name":"tokenByIndex","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"uint256","name":"index","type":"uint256"}],"name":"tokenOfOwnerByIndex","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"tokenId","type":"uint256"}],"name":"tokenURI","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_owner","type":"address"}],"name":"tokensOfOwner","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"}]

60806040523480156200001157600080fd5b506040516200267f3803806200267f8339810160408190526200003491620001f3565b604051806040016040528060118152602001705a6f6d626965204672656e73204369747960781b815250604051806040016040528060068152602001655a464349545960d01b8152506200009762000091620000f960201b60201c565b620000fd565b6000805460ff60a01b191690558151620000b99060019060208501906200014d565b508051620000cf9060029060208401906200014d565b5050600b80546001600160a01b0319166001600160a01b0393909316929092179091555062000262565b3390565b600080546001600160a01b038381166001600160a01b0319831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b8280546200015b9062000225565b90600052602060002090601f0160209004810192826200017f5760008555620001ca565b82601f106200019a57805160ff1916838001178555620001ca565b82800160010185558215620001ca579182015b82811115620001ca578251825591602001919060010190620001ad565b50620001d8929150620001dc565b5090565b5b80821115620001d85760008155600101620001dd565b6000602082840312156200020657600080fd5b81516001600160a01b03811681146200021e57600080fd5b9392505050565b600181811c908216806200023a57607f821691505b602082108114156200025c57634e487b7160e01b600052602260045260246000fd5b50919050565b61240d80620002726000396000f3fe608060405234801561001057600080fd5b50600436106101b95760003560e01c80636352211e116100f9578063a22cb46511610097578063c87b56dd11610071578063c87b56dd1461038d578063e985e9c5146103a0578063ee67381e146103dc578063f2fde38b146103ef57600080fd5b8063a22cb4651461035e578063a2741bdb14610371578063b88d4fde1461037a57600080fd5b8063715018a6116100d3578063715018a61461031d5780638462151c146103255780638da5cb5b1461034557806395d89b411461035657600080fd5b80636352211e146102e4578063699e5f22146102f757806370a082311461030a57600080fd5b806323b872dd116101665780634f6ccce7116101405780634f6ccce71461029957806352e0ee2f146102ac57806355f804b3146102bf5780635c975abb146102d257600080fd5b806323b872dd146102605780632f745c591461027357806342842e0e1461028657600080fd5b8063095ea7b311610197578063095ea7b31461022657806318160ddd1461023b57806320c868281461024d57600080fd5b806301ffc9a7146101be57806306fdde03146101e6578063081812fc146101fb575b600080fd5b6101d16101cc366004611ee5565b610402565b60405190151581526020015b60405180910390f35b6101ee610446565b6040516101dd9190611f5a565b61020e610209366004611f6d565b6104d8565b6040516001600160a01b0390911681526020016101dd565b610239610234366004611fa2565b610572565b005b6009545b6040519081526020016101dd565b61023961025b366004611fcc565b6106a4565b61023961026e366004611fe7565b61081d565b61023f610281366004611fa2565b6108a4565b610239610294366004611fe7565b61094c565b61023f6102a7366004611f6d565b610967565b6102396102ba366004612023565b610a0b565b6102396102cd3660046120ec565b610bb5565b600054600160a01b900460ff166101d1565b61020e6102f2366004611f6d565b610c26565b610239610305366004612023565b610cb1565b61023f610318366004611fcc565b610d50565b610239610dea565b610338610333366004611fcc565b610e50565b6040516101dd9190612135565b6000546001600160a01b031661020e565b6101ee610f68565b61023961036c366004612179565b610f77565b61023f610dac81565b6102396103883660046121aa565b610f82565b6101ee61039b366004611f6d565b61100a565b6101d16103ae366004612226565b6001600160a01b03918216600090815260066020908152604080832093909416825291909152205460ff1690565b600b5461020e906001600160a01b031681565b6102396103fd366004611fcc565b6110f3565b60006001600160e01b031982167f780e9d630000000000000000000000000000000000000000000000000000000014806104405750610440826111d5565b92915050565b60606001805461045590612259565b80601f016020809104026020016040519081016040528092919081815260200182805461048190612259565b80156104ce5780601f106104a3576101008083540402835291602001916104ce565b820191906000526020600020905b8154815290600101906020018083116104b157829003601f168201915b5050505050905090565b6000818152600360205260408120546001600160a01b03166105565760405162461bcd60e51b815260206004820152602c60248201527f4552433732313a20617070726f76656420717565727920666f72206e6f6e657860448201526b34b9ba32b73a103a37b5b2b760a11b60648201526084015b60405180910390fd5b506000908152600560205260409020546001600160a01b031690565b600061057d82610c26565b9050806001600160a01b0316836001600160a01b031614156106075760405162461bcd60e51b815260206004820152602160248201527f4552433732313a20617070726f76616c20746f2063757272656e74206f776e6560448201527f7200000000000000000000000000000000000000000000000000000000000000606482015260840161054d565b336001600160a01b0382161480610623575061062381336103ae565b6106955760405162461bcd60e51b815260206004820152603860248201527f4552433732313a20617070726f76652063616c6c6572206973206e6f74206f7760448201527f6e6572206e6f7220617070726f76656420666f7220616c6c0000000000000000606482015260840161054d565b61069f8383611270565b505050565b600b546001600160a01b031633146106fe5760405162461bcd60e51b815260206004820152600e60248201527f63616c6c65725f6e6f745f6b6579000000000000000000000000000000000000604482015260640161054d565b600054600160a01b900460ff16156107585760405162461bcd60e51b815260206004820152601060248201527f5061757361626c653a2070617573656400000000000000000000000000000000604482015260640161054d565b6001610dac8161076760095490565b61077191906122a4565b11156107bf5760405162461bcd60e51b815260206004820152601260248201527f657863656564735f6d61785f6369746965730000000000000000000000000000604482015260640161054d565b60006107ca60095490565b90506107d683826112eb565b604080516001600160a01b0385168152602081018390527f0d7095e1e6cd985ff0d4b48d738e71bb94859098e73b05c677a49e43fed82036910160405180910390a1505050565b6108273382611305565b6108995760405162461bcd60e51b815260206004820152603160248201527f4552433732313a207472616e736665722063616c6c6572206973206e6f74206f60448201527f776e6572206e6f7220617070726f766564000000000000000000000000000000606482015260840161054d565b61069f8383836113fc565b60006108af83610d50565b82106109235760405162461bcd60e51b815260206004820152602b60248201527f455243373231456e756d657261626c653a206f776e657220696e646578206f7560448201527f74206f6620626f756e6473000000000000000000000000000000000000000000606482015260840161054d565b506001600160a01b03919091166000908152600760209081526040808320938352929052205490565b61069f83838360405180602001604052806000815250610f82565b600061097260095490565b82106109e65760405162461bcd60e51b815260206004820152602c60248201527f455243373231456e756d657261626c653a20676c6f62616c20696e646578206f60448201527f7574206f6620626f756e64730000000000000000000000000000000000000000606482015260840161054d565b600982815481106109f9576109f96122bc565b90600052602060002001549050919050565b600b546001600160a01b03163314610a655760405162461bcd60e51b815260206004820152600e60248201527f63616c6c65725f6e6f745f6b6579000000000000000000000000000000000000604482015260640161054d565b600054600160a01b900460ff1615610abf5760405162461bcd60e51b815260206004820152601060248201527f5061757361626c653a2070617573656400000000000000000000000000000000604482015260640161054d565b80610dac8160ff16610ad060095490565b610ada91906122a4565b1115610b285760405162461bcd60e51b815260206004820152601260248201527f657863656564735f6d61785f6369746965730000000000000000000000000000604482015260640161054d565b6000610b3360095490565b905060005b8360ff168160ff161015610bae57610b5c85610b5760ff8416856122a4565b6112eb565b604080516001600160a01b0387168152602081018490527f0d7095e1e6cd985ff0d4b48d738e71bb94859098e73b05c677a49e43fed82036910160405180910390a1610ba7816122d2565b9050610b38565b5050505050565b6000546001600160a01b03163314610c0f5760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015260640161054d565b8051610c2290600c906020840190611e36565b5050565b6000818152600360205260408120546001600160a01b0316806104405760405162461bcd60e51b815260206004820152602960248201527f4552433732313a206f776e657220717565727920666f72206e6f6e657869737460448201527f656e7420746f6b656e0000000000000000000000000000000000000000000000606482015260840161054d565b6000546001600160a01b03163314610d0b5760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015260640161054d565b6000610d1660095490565b905060005b8260ff168160ff161015610d4a57610d3a84610b5760ff8416856122a4565b610d43816122d2565b9050610d1b565b50505050565b60006001600160a01b038216610dce5760405162461bcd60e51b815260206004820152602a60248201527f4552433732313a2062616c616e636520717565727920666f7220746865207a6560448201527f726f206164647265737300000000000000000000000000000000000000000000606482015260840161054d565b506001600160a01b031660009081526004602052604090205490565b6000546001600160a01b03163314610e445760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015260640161054d565b610e4e60006115e1565b565b60606001600160a01b038216610ea85760405162461bcd60e51b815260206004820152601260248201527f6f776e65725f7a65726f5f616464726573730000000000000000000000000000604482015260640161054d565b6000610eb383610d50565b905060008111610ed75760408051600080825260208201909252905b509392505050565b60008167ffffffffffffffff811115610ef257610ef2612060565b604051908082528060200260200182016040528015610f1b578160200160208202803683370190505b50905060005b82811015610ecf57610f3385826108a4565b828281518110610f4557610f456122bc565b602090810291909101015280610f5a816122f2565b915050610f21565b50919050565b60606002805461045590612259565b610c2233838361163e565b610f8c3383611305565b610ffe5760405162461bcd60e51b815260206004820152603160248201527f4552433732313a207472616e736665722063616c6c6572206973206e6f74206f60448201527f776e6572206e6f7220617070726f766564000000000000000000000000000000606482015260840161054d565b610d4a8484848461170d565b6000818152600360205260409020546060906001600160a01b03166110975760405162461bcd60e51b815260206004820152602f60248201527f4552433732314d657461646174613a2055524920717565727920666f72206e6f60448201527f6e6578697374656e7420746f6b656e0000000000000000000000000000000000606482015260840161054d565b60006110a161178b565b905060008151116110c157604051806020016040528060008152506110ec565b806110cb8461179a565b6040516020016110dc92919061230d565b6040516020818303038152906040525b9392505050565b6000546001600160a01b0316331461114d5760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015260640161054d565b6001600160a01b0381166111c95760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201527f6464726573730000000000000000000000000000000000000000000000000000606482015260840161054d565b6111d2816115e1565b50565b60006001600160e01b031982167f80ac58cd00000000000000000000000000000000000000000000000000000000148061123857506001600160e01b031982167f5b5e139f00000000000000000000000000000000000000000000000000000000145b8061044057507f01ffc9a7000000000000000000000000000000000000000000000000000000006001600160e01b0319831614610440565b6000818152600560205260409020805473ffffffffffffffffffffffffffffffffffffffff19166001600160a01b03841690811790915581906112b282610c26565b6001600160a01b03167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92560405160405180910390a45050565b610c228282604051806020016040528060008152506118cc565b6000818152600360205260408120546001600160a01b031661137e5760405162461bcd60e51b815260206004820152602c60248201527f4552433732313a206f70657261746f7220717565727920666f72206e6f6e657860448201526b34b9ba32b73a103a37b5b2b760a11b606482015260840161054d565b600061138983610c26565b9050806001600160a01b0316846001600160a01b031614806113c45750836001600160a01b03166113b9846104d8565b6001600160a01b0316145b806113f457506001600160a01b0380821660009081526006602090815260408083209388168352929052205460ff165b949350505050565b826001600160a01b031661140f82610c26565b6001600160a01b03161461148b5760405162461bcd60e51b815260206004820152602960248201527f4552433732313a207472616e73666572206f6620746f6b656e2074686174206960448201527f73206e6f74206f776e0000000000000000000000000000000000000000000000606482015260840161054d565b6001600160a01b0382166115065760405162461bcd60e51b8152602060048201526024808201527f4552433732313a207472616e7366657220746f20746865207a65726f2061646460448201527f7265737300000000000000000000000000000000000000000000000000000000606482015260840161054d565b61151183838361194a565b61151c600082611270565b6001600160a01b038316600090815260046020526040812080546001929061154590849061233c565b90915550506001600160a01b03821660009081526004602052604081208054600192906115739084906122a4565b9091555050600081815260036020526040808220805473ffffffffffffffffffffffffffffffffffffffff19166001600160a01b0386811691821790925591518493918716917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef91a4505050565b600080546001600160a01b0383811673ffffffffffffffffffffffffffffffffffffffff19831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b816001600160a01b0316836001600160a01b031614156116a05760405162461bcd60e51b815260206004820152601960248201527f4552433732313a20617070726f766520746f2063616c6c657200000000000000604482015260640161054d565b6001600160a01b03838116600081815260066020908152604080832094871680845294825291829020805460ff191686151590811790915591519182527f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31910160405180910390a3505050565b6117188484846113fc565b61172484848484611a02565b610d4a5760405162461bcd60e51b815260206004820152603260248201527f4552433732313a207472616e7366657220746f206e6f6e20455243373231526560448201527131b2b4bb32b91034b6b83632b6b2b73a32b960711b606482015260840161054d565b6060600c805461045590612259565b6060816117da57505060408051808201909152600181527f3000000000000000000000000000000000000000000000000000000000000000602082015290565b8160005b811561180457806117ee816122f2565b91506117fd9050600a83612369565b91506117de565b60008167ffffffffffffffff81111561181f5761181f612060565b6040519080825280601f01601f191660200182016040528015611849576020820181803683370190505b5090505b84156113f45761185e60018361233c565b915061186b600a8661237d565b6118769060306122a4565b60f81b81838151811061188b5761188b6122bc565b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a9053506118c5600a86612369565b945061184d565b6118d68383611b4b565b6118e36000848484611a02565b61069f5760405162461bcd60e51b815260206004820152603260248201527f4552433732313a207472616e7366657220746f206e6f6e20455243373231526560448201527131b2b4bb32b91034b6b83632b6b2b73a32b960711b606482015260840161054d565b6001600160a01b0383166119a5576119a081600980546000838152600a60205260408120829055600182018355919091527f6e1540171b6c0c960b71a7020d9f60077f6af931a8bbf590da0223dacf75c7af0155565b6119c8565b816001600160a01b0316836001600160a01b0316146119c8576119c88382611ca6565b6001600160a01b0382166119df5761069f81611d43565b826001600160a01b0316826001600160a01b03161461069f5761069f8282611df2565b60006001600160a01b0384163b15611b4057604051630a85bd0160e11b81526001600160a01b0385169063150b7a0290611a46903390899088908890600401612391565b6020604051808303816000875af1925050508015611a81575060408051601f3d908101601f19168201909252611a7e918101906123cd565b60015b611b26573d808015611aaf576040519150601f19603f3d011682016040523d82523d6000602084013e611ab4565b606091505b508051611b1e5760405162461bcd60e51b815260206004820152603260248201527f4552433732313a207472616e7366657220746f206e6f6e20455243373231526560448201527131b2b4bb32b91034b6b83632b6b2b73a32b960711b606482015260840161054d565b805181602001fd5b6001600160e01b031916630a85bd0160e11b1490506113f4565b506001949350505050565b6001600160a01b038216611ba15760405162461bcd60e51b815260206004820181905260248201527f4552433732313a206d696e7420746f20746865207a65726f2061646472657373604482015260640161054d565b6000818152600360205260409020546001600160a01b031615611c065760405162461bcd60e51b815260206004820152601c60248201527f4552433732313a20746f6b656e20616c7265616479206d696e74656400000000604482015260640161054d565b611c126000838361194a565b6001600160a01b0382166000908152600460205260408120805460019290611c3b9084906122a4565b9091555050600081815260036020526040808220805473ffffffffffffffffffffffffffffffffffffffff19166001600160a01b03861690811790915590518392907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef908290a45050565b60006001611cb384610d50565b611cbd919061233c565b600083815260086020526040902054909150808214611d10576001600160a01b03841660009081526007602090815260408083208584528252808320548484528184208190558352600890915290208190555b5060009182526008602090815260408084208490556001600160a01b039094168352600781528383209183525290812055565b600954600090611d559060019061233c565b6000838152600a602052604081205460098054939450909284908110611d7d57611d7d6122bc565b906000526020600020015490508060098381548110611d9e57611d9e6122bc565b6000918252602080832090910192909255828152600a90915260408082208490558582528120556009805480611dd657611dd66123ea565b6001900381819060005260206000200160009055905550505050565b6000611dfd83610d50565b6001600160a01b039093166000908152600760209081526040808320868452825280832085905593825260089052919091209190915550565b828054611e4290612259565b90600052602060002090601f016020900481019282611e645760008555611eaa565b82601f10611e7d57805160ff1916838001178555611eaa565b82800160010185558215611eaa579182015b82811115611eaa578251825591602001919060010190611e8f565b50611eb6929150611eba565b5090565b5b80821115611eb65760008155600101611ebb565b6001600160e01b0319811681146111d257600080fd5b600060208284031215611ef757600080fd5b81356110ec81611ecf565b60005b83811015611f1d578181015183820152602001611f05565b83811115610d4a5750506000910152565b60008151808452611f46816020860160208601611f02565b601f01601f19169290920160200192915050565b6020815260006110ec6020830184611f2e565b600060208284031215611f7f57600080fd5b5035919050565b80356001600160a01b0381168114611f9d57600080fd5b919050565b60008060408385031215611fb557600080fd5b611fbe83611f86565b946020939093013593505050565b600060208284031215611fde57600080fd5b6110ec82611f86565b600080600060608486031215611ffc57600080fd5b61200584611f86565b925061201360208501611f86565b9150604084013590509250925092565b6000806040838503121561203657600080fd5b61203f83611f86565b9150602083013560ff8116811461205557600080fd5b809150509250929050565b634e487b7160e01b600052604160045260246000fd5b600067ffffffffffffffff8084111561209157612091612060565b604051601f8501601f19908116603f011681019082821181831017156120b9576120b9612060565b816040528093508581528686860111156120d257600080fd5b858560208301376000602087830101525050509392505050565b6000602082840312156120fe57600080fd5b813567ffffffffffffffff81111561211557600080fd5b8201601f8101841361212657600080fd5b6113f484823560208401612076565b6020808252825182820181905260009190848201906040850190845b8181101561216d57835183529284019291840191600101612151565b50909695505050505050565b6000806040838503121561218c57600080fd5b61219583611f86565b91506020830135801515811461205557600080fd5b600080600080608085870312156121c057600080fd5b6121c985611f86565b93506121d760208601611f86565b925060408501359150606085013567ffffffffffffffff8111156121fa57600080fd5b8501601f8101871361220b57600080fd5b61221a87823560208401612076565b91505092959194509250565b6000806040838503121561223957600080fd5b61224283611f86565b915061225060208401611f86565b90509250929050565b600181811c9082168061226d57607f821691505b60208210811415610f6257634e487b7160e01b600052602260045260246000fd5b634e487b7160e01b600052601160045260246000fd5b600082198211156122b7576122b761228e565b500190565b634e487b7160e01b600052603260045260246000fd5b600060ff821660ff8114156122e9576122e961228e565b60010192915050565b60006000198214156123065761230661228e565b5060010190565b6000835161231f818460208801611f02565b835190830190612333818360208801611f02565b01949350505050565b60008282101561234e5761234e61228e565b500390565b634e487b7160e01b600052601260045260246000fd5b60008261237857612378612353565b500490565b60008261238c5761238c612353565b500690565b60006001600160a01b038087168352808616602084015250836040830152608060608301526123c36080830184611f2e565b9695505050505050565b6000602082840312156123df57600080fd5b81516110ec81611ecf565b634e487b7160e01b600052603160045260246000fdfea164736f6c634300080c000a00000000000000000000000005829ca18ea739a56d3fa85cfa7468f398b88be4

0x608060405234801561001057600080fd5b50600436106101b95760003560e01c80636352211e116100f9578063a22cb46511610097578063c87b56dd11610071578063c87b56dd1461038d578063e985e9c5146103a0578063ee67381e146103dc578063f2fde38b146103ef57600080fd5b8063a22cb4651461035e578063a2741bdb14610371578063b88d4fde1461037a57600080fd5b8063715018a6116100d3578063715018a61461031d5780638462151c146103255780638da5cb5b1461034557806395d89b411461035657600080fd5b80636352211e146102e4578063699e5f22146102f757806370a082311461030a57600080fd5b806323b872dd116101665780634f6ccce7116101405780634f6ccce71461029957806352e0ee2f146102ac57806355f804b3146102bf5780635c975abb146102d257600080fd5b806323b872dd146102605780632f745c591461027357806342842e0e1461028657600080fd5b8063095ea7b311610197578063095ea7b31461022657806318160ddd1461023b57806320c868281461024d57600080fd5b806301ffc9a7146101be57806306fdde03146101e6578063081812fc146101fb575b600080fd5b6101d16101cc366004611ee5565b610402565b60405190151581526020015b60405180910390f35b6101ee610446565b6040516101dd9190611f5a565b61020e610209366004611f6d565b6104d8565b6040516001600160a01b0390911681526020016101dd565b610239610234366004611fa2565b610572565b005b6009545b6040519081526020016101dd565b61023961025b366004611fcc565b6106a4565b61023961026e366004611fe7565b61081d565b61023f610281366004611fa2565b6108a4565b610239610294366004611fe7565b61094c565b61023f6102a7366004611f6d565b610967565b6102396102ba366004612023565b610a0b565b6102396102cd3660046120ec565b610bb5565b600054600160a01b900460ff166101d1565b61020e6102f2366004611f6d565b610c26565b610239610305366004612023565b610cb1565b61023f610318366004611fcc565b610d50565b610239610dea565b610338610333366004611fcc565b610e50565b6040516101dd9190612135565b6000546001600160a01b031661020e565b6101ee610f68565b61023961036c366004612179565b610f77565b61023f610dac81565b6102396103883660046121aa565b610f82565b6101ee61039b366004611f6d565b61100a565b6101d16103ae366004612226565b6001600160a01b03918216600090815260066020908152604080832093909416825291909152205460ff1690565b600b5461020e906001600160a01b031681565b6102396103fd366004611fcc565b6110f3565b60006001600160e01b031982167f780e9d630000000000000000000000000000000000000000000000000000000014806104405750610440826111d5565b92915050565b60606001805461045590612259565b80601f016020809104026020016040519081016040528092919081815260200182805461048190612259565b80156104ce5780601f106104a3576101008083540402835291602001916104ce565b820191906000526020600020905b8154815290600101906020018083116104b157829003601f168201915b5050505050905090565b6000818152600360205260408120546001600160a01b03166105565760405162461bcd60e51b815260206004820152602c60248201527f4552433732313a20617070726f76656420717565727920666f72206e6f6e657860448201526b34b9ba32b73a103a37b5b2b760a11b60648201526084015b60405180910390fd5b506000908152600560205260409020546001600160a01b031690565b600061057d82610c26565b9050806001600160a01b0316836001600160a01b031614156106075760405162461bcd60e51b815260206004820152602160248201527f4552433732313a20617070726f76616c20746f2063757272656e74206f776e6560448201527f7200000000000000000000000000000000000000000000000000000000000000606482015260840161054d565b336001600160a01b0382161480610623575061062381336103ae565b6106955760405162461bcd60e51b815260206004820152603860248201527f4552433732313a20617070726f76652063616c6c6572206973206e6f74206f7760448201527f6e6572206e6f7220617070726f76656420666f7220616c6c0000000000000000606482015260840161054d565b61069f8383611270565b505050565b600b546001600160a01b031633146106fe5760405162461bcd60e51b815260206004820152600e60248201527f63616c6c65725f6e6f745f6b6579000000000000000000000000000000000000604482015260640161054d565b600054600160a01b900460ff16156107585760405162461bcd60e51b815260206004820152601060248201527f5061757361626c653a2070617573656400000000000000000000000000000000604482015260640161054d565b6001610dac8161076760095490565b61077191906122a4565b11156107bf5760405162461bcd60e51b815260206004820152601260248201527f657863656564735f6d61785f6369746965730000000000000000000000000000604482015260640161054d565b60006107ca60095490565b90506107d683826112eb565b604080516001600160a01b0385168152602081018390527f0d7095e1e6cd985ff0d4b48d738e71bb94859098e73b05c677a49e43fed82036910160405180910390a1505050565b6108273382611305565b6108995760405162461bcd60e51b815260206004820152603160248201527f4552433732313a207472616e736665722063616c6c6572206973206e6f74206f60448201527f776e6572206e6f7220617070726f766564000000000000000000000000000000606482015260840161054d565b61069f8383836113fc565b60006108af83610d50565b82106109235760405162461bcd60e51b815260206004820152602b60248201527f455243373231456e756d657261626c653a206f776e657220696e646578206f7560448201527f74206f6620626f756e6473000000000000000000000000000000000000000000606482015260840161054d565b506001600160a01b03919091166000908152600760209081526040808320938352929052205490565b61069f83838360405180602001604052806000815250610f82565b600061097260095490565b82106109e65760405162461bcd60e51b815260206004820152602c60248201527f455243373231456e756d657261626c653a20676c6f62616c20696e646578206f60448201527f7574206f6620626f756e64730000000000000000000000000000000000000000606482015260840161054d565b600982815481106109f9576109f96122bc565b90600052602060002001549050919050565b600b546001600160a01b03163314610a655760405162461bcd60e51b815260206004820152600e60248201527f63616c6c65725f6e6f745f6b6579000000000000000000000000000000000000604482015260640161054d565b600054600160a01b900460ff1615610abf5760405162461bcd60e51b815260206004820152601060248201527f5061757361626c653a2070617573656400000000000000000000000000000000604482015260640161054d565b80610dac8160ff16610ad060095490565b610ada91906122a4565b1115610b285760405162461bcd60e51b815260206004820152601260248201527f657863656564735f6d61785f6369746965730000000000000000000000000000604482015260640161054d565b6000610b3360095490565b905060005b8360ff168160ff161015610bae57610b5c85610b5760ff8416856122a4565b6112eb565b604080516001600160a01b0387168152602081018490527f0d7095e1e6cd985ff0d4b48d738e71bb94859098e73b05c677a49e43fed82036910160405180910390a1610ba7816122d2565b9050610b38565b5050505050565b6000546001600160a01b03163314610c0f5760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015260640161054d565b8051610c2290600c906020840190611e36565b5050565b6000818152600360205260408120546001600160a01b0316806104405760405162461bcd60e51b815260206004820152602960248201527f4552433732313a206f776e657220717565727920666f72206e6f6e657869737460448201527f656e7420746f6b656e0000000000000000000000000000000000000000000000606482015260840161054d565b6000546001600160a01b03163314610d0b5760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015260640161054d565b6000610d1660095490565b905060005b8260ff168160ff161015610d4a57610d3a84610b5760ff8416856122a4565b610d43816122d2565b9050610d1b565b50505050565b60006001600160a01b038216610dce5760405162461bcd60e51b815260206004820152602a60248201527f4552433732313a2062616c616e636520717565727920666f7220746865207a6560448201527f726f206164647265737300000000000000000000000000000000000000000000606482015260840161054d565b506001600160a01b031660009081526004602052604090205490565b6000546001600160a01b03163314610e445760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015260640161054d565b610e4e60006115e1565b565b60606001600160a01b038216610ea85760405162461bcd60e51b815260206004820152601260248201527f6f776e65725f7a65726f5f616464726573730000000000000000000000000000604482015260640161054d565b6000610eb383610d50565b905060008111610ed75760408051600080825260208201909252905b509392505050565b60008167ffffffffffffffff811115610ef257610ef2612060565b604051908082528060200260200182016040528015610f1b578160200160208202803683370190505b50905060005b82811015610ecf57610f3385826108a4565b828281518110610f4557610f456122bc565b602090810291909101015280610f5a816122f2565b915050610f21565b50919050565b60606002805461045590612259565b610c2233838361163e565b610f8c3383611305565b610ffe5760405162461bcd60e51b815260206004820152603160248201527f4552433732313a207472616e736665722063616c6c6572206973206e6f74206f60448201527f776e6572206e6f7220617070726f766564000000000000000000000000000000606482015260840161054d565b610d4a8484848461170d565b6000818152600360205260409020546060906001600160a01b03166110975760405162461bcd60e51b815260206004820152602f60248201527f4552433732314d657461646174613a2055524920717565727920666f72206e6f60448201527f6e6578697374656e7420746f6b656e0000000000000000000000000000000000606482015260840161054d565b60006110a161178b565b905060008151116110c157604051806020016040528060008152506110ec565b806110cb8461179a565b6040516020016110dc92919061230d565b6040516020818303038152906040525b9392505050565b6000546001600160a01b0316331461114d5760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015260640161054d565b6001600160a01b0381166111c95760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201527f6464726573730000000000000000000000000000000000000000000000000000606482015260840161054d565b6111d2816115e1565b50565b60006001600160e01b031982167f80ac58cd00000000000000000000000000000000000000000000000000000000148061123857506001600160e01b031982167f5b5e139f00000000000000000000000000000000000000000000000000000000145b8061044057507f01ffc9a7000000000000000000000000000000000000000000000000000000006001600160e01b0319831614610440565b6000818152600560205260409020805473ffffffffffffffffffffffffffffffffffffffff19166001600160a01b03841690811790915581906112b282610c26565b6001600160a01b03167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92560405160405180910390a45050565b610c228282604051806020016040528060008152506118cc565b6000818152600360205260408120546001600160a01b031661137e5760405162461bcd60e51b815260206004820152602c60248201527f4552433732313a206f70657261746f7220717565727920666f72206e6f6e657860448201526b34b9ba32b73a103a37b5b2b760a11b606482015260840161054d565b600061138983610c26565b9050806001600160a01b0316846001600160a01b031614806113c45750836001600160a01b03166113b9846104d8565b6001600160a01b0316145b806113f457506001600160a01b0380821660009081526006602090815260408083209388168352929052205460ff165b949350505050565b826001600160a01b031661140f82610c26565b6001600160a01b03161461148b5760405162461bcd60e51b815260206004820152602960248201527f4552433732313a207472616e73666572206f6620746f6b656e2074686174206960448201527f73206e6f74206f776e0000000000000000000000000000000000000000000000606482015260840161054d565b6001600160a01b0382166115065760405162461bcd60e51b8152602060048201526024808201527f4552433732313a207472616e7366657220746f20746865207a65726f2061646460448201527f7265737300000000000000000000000000000000000000000000000000000000606482015260840161054d565b61151183838361194a565b61151c600082611270565b6001600160a01b038316600090815260046020526040812080546001929061154590849061233c565b90915550506001600160a01b03821660009081526004602052604081208054600192906115739084906122a4565b9091555050600081815260036020526040808220805473ffffffffffffffffffffffffffffffffffffffff19166001600160a01b0386811691821790925591518493918716917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef91a4505050565b600080546001600160a01b0383811673ffffffffffffffffffffffffffffffffffffffff19831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b816001600160a01b0316836001600160a01b031614156116a05760405162461bcd60e51b815260206004820152601960248201527f4552433732313a20617070726f766520746f2063616c6c657200000000000000604482015260640161054d565b6001600160a01b03838116600081815260066020908152604080832094871680845294825291829020805460ff191686151590811790915591519182527f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31910160405180910390a3505050565b6117188484846113fc565b61172484848484611a02565b610d4a5760405162461bcd60e51b815260206004820152603260248201527f4552433732313a207472616e7366657220746f206e6f6e20455243373231526560448201527131b2b4bb32b91034b6b83632b6b2b73a32b960711b606482015260840161054d565b6060600c805461045590612259565b6060816117da57505060408051808201909152600181527f3000000000000000000000000000000000000000000000000000000000000000602082015290565b8160005b811561180457806117ee816122f2565b91506117fd9050600a83612369565b91506117de565b60008167ffffffffffffffff81111561181f5761181f612060565b6040519080825280601f01601f191660200182016040528015611849576020820181803683370190505b5090505b84156113f45761185e60018361233c565b915061186b600a8661237d565b6118769060306122a4565b60f81b81838151811061188b5761188b6122bc565b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a9053506118c5600a86612369565b945061184d565b6118d68383611b4b565b6118e36000848484611a02565b61069f5760405162461bcd60e51b815260206004820152603260248201527f4552433732313a207472616e7366657220746f206e6f6e20455243373231526560448201527131b2b4bb32b91034b6b83632b6b2b73a32b960711b606482015260840161054d565b6001600160a01b0383166119a5576119a081600980546000838152600a60205260408120829055600182018355919091527f6e1540171b6c0c960b71a7020d9f60077f6af931a8bbf590da0223dacf75c7af0155565b6119c8565b816001600160a01b0316836001600160a01b0316146119c8576119c88382611ca6565b6001600160a01b0382166119df5761069f81611d43565b826001600160a01b0316826001600160a01b03161461069f5761069f8282611df2565b60006001600160a01b0384163b15611b4057604051630a85bd0160e11b81526001600160a01b0385169063150b7a0290611a46903390899088908890600401612391565b6020604051808303816000875af1925050508015611a81575060408051601f3d908101601f19168201909252611a7e918101906123cd565b60015b611b26573d808015611aaf576040519150601f19603f3d011682016040523d82523d6000602084013e611ab4565b606091505b508051611b1e5760405162461bcd60e51b815260206004820152603260248201527f4552433732313a207472616e7366657220746f206e6f6e20455243373231526560448201527131b2b4bb32b91034b6b83632b6b2b73a32b960711b606482015260840161054d565b805181602001fd5b6001600160e01b031916630a85bd0160e11b1490506113f4565b506001949350505050565b6001600160a01b038216611ba15760405162461bcd60e51b815260206004820181905260248201527f4552433732313a206d696e7420746f20746865207a65726f2061646472657373604482015260640161054d565b6000818152600360205260409020546001600160a01b031615611c065760405162461bcd60e51b815260206004820152601c60248201527f4552433732313a20746f6b656e20616c7265616479206d696e74656400000000604482015260640161054d565b611c126000838361194a565b6001600160a01b0382166000908152600460205260408120805460019290611c3b9084906122a4565b9091555050600081815260036020526040808220805473ffffffffffffffffffffffffffffffffffffffff19166001600160a01b03861690811790915590518392907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef908290a45050565b60006001611cb384610d50565b611cbd919061233c565b600083815260086020526040902054909150808214611d10576001600160a01b03841660009081526007602090815260408083208584528252808320548484528184208190558352600890915290208190555b5060009182526008602090815260408084208490556001600160a01b039094168352600781528383209183525290812055565b600954600090611d559060019061233c565b6000838152600a602052604081205460098054939450909284908110611d7d57611d7d6122bc565b906000526020600020015490508060098381548110611d9e57611d9e6122bc565b6000918252602080832090910192909255828152600a90915260408082208490558582528120556009805480611dd657611dd66123ea565b6001900381819060005260206000200160009055905550505050565b6000611dfd83610d50565b6001600160a01b039093166000908152600760209081526040808320868452825280832085905593825260089052919091209190915550565b828054611e4290612259565b90600052602060002090601f016020900481019282611e645760008555611eaa565b82601f10611e7d57805160ff1916838001178555611eaa565b82800160010185558215611eaa579182015b82811115611eaa578251825591602001919060010190611e8f565b50611eb6929150611eba565b5090565b5b80821115611eb65760008155600101611ebb565b6001600160e01b0319811681146111d257600080fd5b600060208284031215611ef757600080fd5b81356110ec81611ecf565b60005b83811015611f1d578181015183820152602001611f05565b83811115610d4a5750506000910152565b60008151808452611f46816020860160208601611f02565b601f01601f19169290920160200192915050565b6020815260006110ec6020830184611f2e565b600060208284031215611f7f57600080fd5b5035919050565b80356001600160a01b0381168114611f9d57600080fd5b919050565b60008060408385031215611fb557600080fd5b611fbe83611f86565b946020939093013593505050565b600060208284031215611fde57600080fd5b6110ec82611f86565b600080600060608486031215611ffc57600080fd5b61200584611f86565b925061201360208501611f86565b9150604084013590509250925092565b6000806040838503121561203657600080fd5b61203f83611f86565b9150602083013560ff8116811461205557600080fd5b809150509250929050565b634e487b7160e01b600052604160045260246000fd5b600067ffffffffffffffff8084111561209157612091612060565b604051601f8501601f19908116603f011681019082821181831017156120b9576120b9612060565b816040528093508581528686860111156120d257600080fd5b858560208301376000602087830101525050509392505050565b6000602082840312156120fe57600080fd5b813567ffffffffffffffff81111561211557600080fd5b8201601f8101841361212657600080fd5b6113f484823560208401612076565b6020808252825182820181905260009190848201906040850190845b8181101561216d57835183529284019291840191600101612151565b50909695505050505050565b6000806040838503121561218c57600080fd5b61219583611f86565b91506020830135801515811461205557600080fd5b600080600080608085870312156121c057600080fd5b6121c985611f86565b93506121d760208601611f86565b925060408501359150606085013567ffffffffffffffff8111156121fa57600080fd5b8501601f8101871361220b57600080fd5b61221a87823560208401612076565b91505092959194509250565b6000806040838503121561223957600080fd5b61224283611f86565b915061225060208401611f86565b90509250929050565b600181811c9082168061226d57607f821691505b60208210811415610f6257634e487b7160e01b600052602260045260246000fd5b634e487b7160e01b600052601160045260246000fd5b600082198211156122b7576122b761228e565b500190565b634e487b7160e01b600052603260045260246000fd5b600060ff821660ff8114156122e9576122e961228e565b60010192915050565b60006000198214156123065761230661228e565b5060010190565b6000835161231f818460208801611f02565b835190830190612333818360208801611f02565b01949350505050565b60008282101561234e5761234e61228e565b500390565b634e487b7160e01b600052601260045260246000fd5b60008261237857612378612353565b500490565b60008261238c5761238c612353565b500690565b60006001600160a01b038087168352808616602084015250836040830152608060608301526123c36080830184611f2e565b9695505050505050565b6000602082840312156123df57600080fd5b81516110ec81611ecf565b634e487b7160e01b600052603160045260246000fdfea164736f6c634300080c000a

00000000000000000000000005829ca18ea739a56d3fa85cfa7468f398b88be4

-----Decoded View---------------
Arg [0] : _keyToTheCity (address): 0x05829ca18eA739a56D3Fa85cfa7468f398B88BE4

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

391:2202:16:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;990:222:8;;;;;;:::i;:::-;;:::i;:::-;;;611:14:19;;604:22;586:41;;574:2;559:18;990:222:8;;;;;;;;2473:98:5;;;:::i;:::-;;;;;;;:::i;3984:217::-;;;;;;:::i;:::-;;:::i;:::-;;;-1:-1:-1;;;;;1738:55:19;;;1720:74;;1708:2;1693:18;3984:217:5;1574:226:19;3522:401:5;;;;;;:::i;:::-;;:::i;:::-;;1615:111:8;1702:10;:17;1615:111;;;2411:25:19;;;2399:2;2384:18;1615:111:8;2265:177:19;997:215:16;;;;;;:::i;:::-;;:::i;4711:330:5:-;;;;;;:::i;:::-;;:::i;1291:253:8:-;;;;;;:::i;:::-;;:::i;5107:179:5:-;;;;;;:::i;:::-;;:::i;1798:230:8:-;;;;;;:::i;:::-;;:::i;1220:297:16:-;;;;;;:::i;:::-;;:::i;2135:90::-;;;;;;:::i;:::-;;:::i;1098:84:1:-;1145:4;1168:7;-1:-1:-1;;;1168:7:1;;;;1098:84;;2176:235:5;;;;;;:::i;:::-;;:::i;787:202:16:-;;;;;;:::i;:::-;;:::i;1914:205:5:-;;;;;;:::i;:::-;;:::i;1668:101:0:-;;;:::i;1525:602:16:-;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;1036:85:0:-;1082:7;1108:6;-1:-1:-1;;;;;1108:6:0;1036:85;;2635:102:5;;;:::i;4268:153::-;;;;;;:::i;:::-;;:::i;539:41:16:-;;576:4;539:41;;5352:320:5;;;;;;:::i;:::-;;:::i;2803:329::-;;;;;;:::i;:::-;;:::i;4487:162::-;;;;;;:::i;:::-;-1:-1:-1;;;;;4607:25:5;;;4584:4;4607:25;;;:18;:25;;;;;;;;:35;;;;;;;;;;;;;;;4487:162;474:27:16;;;;;-1:-1:-1;;;;;474:27:16;;;1918:198:0;;;;;;:::i;:::-;;:::i;990:222:8:-;1092:4;-1:-1:-1;;;;;;1115:50:8;;1130:35;1115:50;;:90;;;1169:36;1193:11;1169:23;:36::i;:::-;1108:97;990:222;-1:-1:-1;;990:222:8:o;2473:98:5:-;2527:13;2559:5;2552:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2473:98;:::o;3984:217::-;4060:7;7232:16;;;:7;:16;;;;;;-1:-1:-1;;;;;7232:16:5;4079:73;;;;-1:-1:-1;;;4079:73:5;;7418:2:19;4079:73:5;;;7400:21:19;7457:2;7437:18;;;7430:30;7496:34;7476:18;;;7469:62;-1:-1:-1;;;7547:18:19;;;7540:42;7599:19;;4079:73:5;;;;;;;;;-1:-1:-1;4170:24:5;;;;:15;:24;;;;;;-1:-1:-1;;;;;4170:24:5;;3984:217::o;3522:401::-;3602:13;3618:23;3633:7;3618:14;:23::i;:::-;3602:39;;3665:5;-1:-1:-1;;;;;3659:11:5;:2;-1:-1:-1;;;;;3659:11:5;;;3651:57;;;;-1:-1:-1;;;3651:57:5;;7831:2:19;3651:57:5;;;7813:21:19;7870:2;7850:18;;;7843:30;7909:34;7889:18;;;7882:62;7980:3;7960:18;;;7953:31;8001:19;;3651:57:5;7629:397:19;3651:57:5;719:10:12;-1:-1:-1;;;;;3740:21:5;;;;:62;;-1:-1:-1;3765:37:5;3782:5;719:10:12;4487:162:5;:::i;3765:37::-;3719:165;;;;-1:-1:-1;;;3719:165:5;;8233:2:19;3719:165:5;;;8215:21:19;8272:2;8252:18;;;8245:30;8311:34;8291:18;;;8284:62;8382:26;8362:18;;;8355:54;8426:19;;3719:165:5;8031:420:19;3719:165:5;3895:21;3904:2;3908:7;3895:8;:21::i;:::-;3592:331;3522:401;;:::o;997:215:16:-;2401:12;;-1:-1:-1;;;;;2401:12:16;2379:10;:35;2371:62;;;;-1:-1:-1;;;2371:62:16;;8658:2:19;2371:62:16;;;8640:21:19;8697:2;8677:18;;;8670:30;8736:16;8716:18;;;8709:44;8770:18;;2371:62:16;8456:338:19;2371:62:16;1145:4:1;1168:7;-1:-1:-1;;;1168:7:1;;;;1411:9:::1;1403:38;;;::::0;-1:-1:-1;;;1403:38:1;;9001:2:19;1403:38:1::1;::::0;::::1;8983:21:19::0;9040:2;9020:18;;;9013:30;9079:18;9059;;;9052:46;9115:18;;1403:38:1::1;8799:340:19::0;1403:38:1::1;1081:1:16::2;576:4;1081:1:::0;2511:13:::2;1702:10:8::0;:17;;1615:111;2511:13:16::2;:22;;;;:::i;:::-;:36;;2503:67;;;::::0;-1:-1:-1;;;2503:67:16;;9668:2:19;2503:67:16::2;::::0;::::2;9650:21:19::0;9707:2;9687:18;;;9680:30;9746:20;9726:18;;;9719:48;9784:18;;2503:67:16::2;9466:342:19::0;2503:67:16::2;1095:15:::3;1113:13;1702:10:8::0;:17;;1615:111;1113:13:16::3;1095:31;;1137:25;1147:5;1154:7;1137:9;:25::i;:::-;1178:26;::::0;;-1:-1:-1;;;;;10005:55:19;;9987:74;;10092:2;10077:18;;10070:34;;;1178:26:16::3;::::0;9960:18:19;1178:26:16::3;;;;;;;1084:128;1451:1:1::2;997:215:16::0;:::o;4711:330:5:-;4900:41;719:10:12;4933:7:5;4900:18;:41::i;:::-;4892:103;;;;-1:-1:-1;;;4892:103:5;;10317:2:19;4892:103:5;;;10299:21:19;10356:2;10336:18;;;10329:30;10395:34;10375:18;;;10368:62;10466:19;10446:18;;;10439:47;10503:19;;4892:103:5;10115:413:19;4892:103:5;5006:28;5016:4;5022:2;5026:7;5006:9;:28::i;1291:253:8:-;1388:7;1423:23;1440:5;1423:16;:23::i;:::-;1415:5;:31;1407:87;;;;-1:-1:-1;;;1407:87:8;;10735:2:19;1407:87:8;;;10717:21:19;10774:2;10754:18;;;10747:30;10813:34;10793:18;;;10786:62;10884:13;10864:18;;;10857:41;10915:19;;1407:87:8;10533:407:19;1407:87:8;-1:-1:-1;;;;;;1511:19:8;;;;;;;;:12;:19;;;;;;;;:26;;;;;;;;;1291:253::o;5107:179:5:-;5240:39;5257:4;5263:2;5267:7;5240:39;;;;;;;;;;;;:16;:39::i;1798:230:8:-;1873:7;1908:30;1702:10;:17;;1615:111;1908:30;1900:5;:38;1892:95;;;;-1:-1:-1;;;1892:95:8;;11147:2:19;1892:95:8;;;11129:21:19;11186:2;11166:18;;;11159:30;11225:34;11205:18;;;11198:62;11296:14;11276:18;;;11269:42;11328:19;;1892:95:8;10945:408:19;1892:95:8;2004:10;2015:5;2004:17;;;;;;;;:::i;:::-;;;;;;;;;1997:24;;1798:230;;;:::o;1220:297:16:-;2401:12;;-1:-1:-1;;;;;2401:12:16;2379:10;:35;2371:62;;;;-1:-1:-1;;;2371:62:16;;8658:2:19;2371:62:16;;;8640:21:19;8697:2;8677:18;;;8670:30;8736:16;8716:18;;;8709:44;8770:18;;2371:62:16;8456:338:19;2371:62:16;1145:4:1;1168:7;-1:-1:-1;;;1168:7:1;;;;1411:9:::1;1403:38;;;::::0;-1:-1:-1;;;1403:38:1;;9001:2:19;1403:38:1::1;::::0;::::1;8983:21:19::0;9040:2;9020:18;;;9013:30;9079:18;9059;;;9052:46;9115:18;;1403:38:1::1;8799:340:19::0;1403:38:1::1;1319:6:16::2;576:4;2527:6;2511:22;;:13;1702:10:8::0;:17;;1615:111;2511:13:16::2;:22;;;;:::i;:::-;:36;;2503:67;;;::::0;-1:-1:-1;;;2503:67:16;;9668:2:19;2503:67:16::2;::::0;::::2;9650:21:19::0;9707:2;9687:18;;;9680:30;9746:20;9726:18;;;9719:48;9784:18;;2503:67:16::2;9466:342:19::0;2503:67:16::2;1338:15:::3;1356:13;1702:10:8::0;:17;;1615:111;1356:13:16::3;1338:31;;1384:7;1380:130;1396:6;1394:8;;:1;:8;;;1380:130;;;1423:29;1433:5:::0;1440:11:::3;;::::0;::::3;:7:::0;:11:::3;:::i;:::-;1423:9;:29::i;:::-;1472:26;::::0;;-1:-1:-1;;;;;10005:55:19;;9987:74;;10092:2;10077:18;;10070:34;;;1472:26:16::3;::::0;9960:18:19;1472:26:16::3;;;;;;;1403:3;::::0;::::3;:::i;:::-;;;1380:130;;;;1327:190;1451:1:1::2;1220:297:16::0;;:::o;2135:90::-;1082:7:0;1108:6;-1:-1:-1;;;;;1108:6:0;719:10:12;1248:23:0;1240:68;;;;-1:-1:-1;;;1240:68:0;;11929:2:19;1240:68:0;;;11911:21:19;;;11948:18;;;11941:30;12007:34;11987:18;;;11980:62;12059:18;;1240:68:0;11727:356:19;1240:68:0;2204:13:16;;::::1;::::0;:7:::1;::::0;:13:::1;::::0;::::1;::::0;::::1;:::i;:::-;;2135:90:::0;:::o;2176:235:5:-;2248:7;2283:16;;;:7;:16;;;;;;-1:-1:-1;;;;;2283:16:5;2317:19;2309:73;;;;-1:-1:-1;;;2309:73:5;;12290:2:19;2309:73:5;;;12272:21:19;12329:2;12309:18;;;12302:30;12368:34;12348:18;;;12341:62;12439:11;12419:18;;;12412:39;12468:19;;2309:73:5;12088:405:19;787:202:16;1082:7:0;1108:6;-1:-1:-1;;;;;1108:6:0;719:10:12;1248:23:0;1240:68;;;;-1:-1:-1;;;1240:68:0;;11929:2:19;1240:68:0;;;11911:21:19;;;11948:18;;;11941:30;12007:34;11987:18;;;11980:62;12059:18;;1240:68:0;11727:356:19;1240:68:0;859:15:16::1;877:13;1702:10:8::0;:17;;1615:111;877:13:16::1;859:31;;905:7;901:81;917:6;915:8;;:1;:8;;;901:81;;;944:26;954:2:::0;958:11:::1;;::::0;::::1;:7:::0;:11:::1;:::i;944:26::-;924:3;::::0;::::1;:::i;:::-;;;901:81;;;;848:141;787:202:::0;;:::o;1914:205:5:-;1986:7;-1:-1:-1;;;;;2013:19:5;;2005:74;;;;-1:-1:-1;;;2005:74:5;;12700:2:19;2005:74:5;;;12682:21:19;12739:2;12719:18;;;12712:30;12778:34;12758:18;;;12751:62;12849:12;12829:18;;;12822:40;12879:19;;2005:74:5;12498:406:19;2005:74:5;-1:-1:-1;;;;;;2096:16:5;;;;;:9;:16;;;;;;;1914:205::o;1668:101:0:-;1082:7;1108:6;-1:-1:-1;;;;;1108:6:0;719:10:12;1248:23:0;1240:68;;;;-1:-1:-1;;;1240:68:0;;11929:2:19;1240:68:0;;;11911:21:19;;;11948:18;;;11941:30;12007:34;11987:18;;;11980:62;12059:18;;1240:68:0;11727:356:19;1240:68:0;1732:30:::1;1759:1;1732:18;:30::i;:::-;1668:101::o:0;1525:602:16:-;1587:16;-1:-1:-1;;;;;1624:20:16;;1616:51;;;;-1:-1:-1;;;1616:51:16;;13111:2:19;1616:51:16;;;13093:21:19;13150:2;13130:18;;;13123:30;13189:20;13169:18;;;13162:48;13227:18;;1616:51:16;12909:342:19;1616:51:16;1678:18;1699:17;1709:6;1699:9;:17::i;:::-;1678:38;;1745:1;1731:10;:15;1727:393;;1808:16;;;1822:1;1808:16;;;;;;;;;;;-1:-1:-1;1801:23:16;1525:602;-1:-1:-1;;;1525:602:16:o;1727:393::-;1857:23;1897:10;1883:25;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;1883:25:16;;1857:51;;1923:13;1951:130;1975:10;1967:5;:18;1951:130;;;2031:34;2051:6;2059:5;2031:19;:34::i;:::-;2015:6;2022:5;2015:13;;;;;;;;:::i;:::-;;;;;;;;;;:50;1987:7;;;;:::i;:::-;;;;1951:130;;1727:393;1605:522;1525:602;;;:::o;2635:102:5:-;2691:13;2723:7;2716:14;;;;;:::i;4268:153::-;4362:52;719:10:12;4395:8:5;4405;4362:18;:52::i;5352:320::-;5521:41;719:10:12;5554:7:5;5521:18;:41::i;:::-;5513:103;;;;-1:-1:-1;;;5513:103:5;;10317:2:19;5513:103:5;;;10299:21:19;10356:2;10336:18;;;10329:30;10395:34;10375:18;;;10368:62;10466:19;10446:18;;;10439:47;10503:19;;5513:103:5;10115:413:19;5513:103:5;5626:39;5640:4;5646:2;5650:7;5659:5;5626:13;:39::i;2803:329::-;7209:4;7232:16;;;:7;:16;;;;;;2876:13;;-1:-1:-1;;;;;7232:16:5;2901:76;;;;-1:-1:-1;;;2901:76:5;;13598:2:19;2901:76:5;;;13580:21:19;13637:2;13617:18;;;13610:30;13676:34;13656:18;;;13649:62;13747:17;13727:18;;;13720:45;13782:19;;2901:76:5;13396:411:19;2901:76:5;2988:21;3012:10;:8;:10::i;:::-;2988:34;;3063:1;3045:7;3039:21;:25;:86;;;;;;;;;;;;;;;;;3091:7;3100:18;:7;:16;:18::i;:::-;3074:45;;;;;;;;;:::i;:::-;;;;;;;;;;;;;3039:86;3032:93;2803:329;-1:-1:-1;;;2803:329:5:o;1918:198:0:-;1082:7;1108:6;-1:-1:-1;;;;;1108:6:0;719:10:12;1248:23:0;1240:68;;;;-1:-1:-1;;;1240:68:0;;11929:2:19;1240:68:0;;;11911:21:19;;;11948:18;;;11941:30;12007:34;11987:18;;;11980:62;12059:18;;1240:68:0;11727:356:19;1240:68:0;-1:-1:-1;;;;;2006:22:0;::::1;1998:73;;;::::0;-1:-1:-1;;;1998:73:0;;14489:2:19;1998:73:0::1;::::0;::::1;14471:21:19::0;14528:2;14508:18;;;14501:30;14567:34;14547:18;;;14540:62;14638:8;14618:18;;;14611:36;14664:19;;1998:73:0::1;14287:402:19::0;1998:73:0::1;2081:28;2100:8;2081:18;:28::i;:::-;1918:198:::0;:::o;1555:300:5:-;1657:4;-1:-1:-1;;;;;;1692:40:5;;1707:25;1692:40;;:104;;-1:-1:-1;;;;;;;1748:48:5;;1763:33;1748:48;1692:104;:156;;;-1:-1:-1;952:25:14;-1:-1:-1;;;;;;937:40:14;;;1812:36:5;829:155:14;10995:171:5;11069:24;;;;:15;:24;;;;;:29;;-1:-1:-1;;11069:29:5;-1:-1:-1;;;;;11069:29:5;;;;;;;;:24;;11122:23;11069:24;11122:14;:23::i;:::-;-1:-1:-1;;;;;11113:46:5;;;;;;;;;;;10995:171;;:::o;8101:108::-;8176:26;8186:2;8190:7;8176:26;;;;;;;;;;;;:9;:26::i;7427:344::-;7520:4;7232:16;;;:7;:16;;;;;;-1:-1:-1;;;;;7232:16:5;7536:73;;;;-1:-1:-1;;;7536:73:5;;14896:2:19;7536:73:5;;;14878:21:19;14935:2;14915:18;;;14908:30;14974:34;14954:18;;;14947:62;-1:-1:-1;;;15025:18:19;;;15018:42;15077:19;;7536:73:5;14694:408:19;7536:73:5;7619:13;7635:23;7650:7;7635:14;:23::i;:::-;7619:39;;7687:5;-1:-1:-1;;;;;7676:16:5;:7;-1:-1:-1;;;;;7676:16:5;;:51;;;;7720:7;-1:-1:-1;;;;;7696:31:5;:20;7708:7;7696:11;:20::i;:::-;-1:-1:-1;;;;;7696:31:5;;7676:51;:87;;;-1:-1:-1;;;;;;4607:25:5;;;4584:4;4607:25;;;:18;:25;;;;;;;;:35;;;;;;;;;;;;7731:32;7668:96;7427:344;-1:-1:-1;;;;7427:344:5:o;10324:560::-;10478:4;-1:-1:-1;;;;;10451:31:5;:23;10466:7;10451:14;:23::i;:::-;-1:-1:-1;;;;;10451:31:5;;10443:85;;;;-1:-1:-1;;;10443:85:5;;15309:2:19;10443:85:5;;;15291:21:19;15348:2;15328:18;;;15321:30;15387:34;15367:18;;;15360:62;15458:11;15438:18;;;15431:39;15487:19;;10443:85:5;15107:405:19;10443:85:5;-1:-1:-1;;;;;10546:16:5;;10538:65;;;;-1:-1:-1;;;10538:65:5;;15719:2:19;10538:65:5;;;15701:21:19;15758:2;15738:18;;;15731:30;15797:34;15777:18;;;15770:62;15868:6;15848:18;;;15841:34;15892:19;;10538:65:5;15517:400:19;10538:65:5;10614:39;10635:4;10641:2;10645:7;10614:20;:39::i;:::-;10715:29;10732:1;10736:7;10715:8;:29::i;:::-;-1:-1:-1;;;;;10755:15:5;;;;;;:9;:15;;;;;:20;;10774:1;;10755:15;:20;;10774:1;;10755:20;:::i;:::-;;;;-1:-1:-1;;;;;;;10785:13:5;;;;;;:9;:13;;;;;:18;;10802:1;;10785:13;:18;;10802:1;;10785:18;:::i;:::-;;;;-1:-1:-1;;10813:16:5;;;;:7;:16;;;;;;:21;;-1:-1:-1;;10813:21:5;-1:-1:-1;;;;;10813:21:5;;;;;;;;;10850:27;;10813:16;;10850:27;;;;;;;10324:560;;;:::o;2270:187:0:-;2343:16;2362:6;;-1:-1:-1;;;;;2378:17:0;;;-1:-1:-1;;2378:17:0;;;;;;2410:40;;2362:6;;;;;;;2410:40;;2343:16;2410:40;2333:124;2270:187;:::o;11301:307:5:-;11451:8;-1:-1:-1;;;;;11442:17:5;:5;-1:-1:-1;;;;;11442:17:5;;;11434:55;;;;-1:-1:-1;;;11434:55:5;;16254:2:19;11434:55:5;;;16236:21:19;16293:2;16273:18;;;16266:30;16332:27;16312:18;;;16305:55;16377:18;;11434:55:5;16052:349:19;11434:55:5;-1:-1:-1;;;;;11499:25:5;;;;;;;:18;:25;;;;;;;;:35;;;;;;;;;;;;;:46;;-1:-1:-1;;11499:46:5;;;;;;;;;;11560:41;;586::19;;;11560::5;;559:18:19;11560:41:5;;;;;;;11301:307;;;:::o;6534:::-;6685:28;6695:4;6701:2;6705:7;6685:9;:28::i;:::-;6731:48;6754:4;6760:2;6764:7;6773:5;6731:22;:48::i;:::-;6723:111;;;;-1:-1:-1;;;6723:111:5;;16608:2:19;6723:111:5;;;16590:21:19;16647:2;16627:18;;;16620:30;16686:34;16666:18;;;16659:62;-1:-1:-1;;;16737:18:19;;;16730:48;16795:19;;6723:111:5;16406:414:19;2233:100:16;2285:13;2318:7;2311:14;;;;;:::i;328:703:13:-;384:13;601:10;597:51;;-1:-1:-1;;627:10:13;;;;;;;;;;;;;;;;;;328:703::o;597:51::-;672:5;657:12;711:75;718:9;;711:75;;743:8;;;;:::i;:::-;;-1:-1:-1;765:10:13;;-1:-1:-1;773:2:13;765:10;;:::i;:::-;;;711:75;;;795:19;827:6;817:17;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;817:17:13;;795:39;;844:150;851:10;;844:150;;877:11;887:1;877:11;;:::i;:::-;;-1:-1:-1;945:10:13;953:2;945:5;:10;:::i;:::-;932:24;;:2;:24;:::i;:::-;919:39;;902:6;909;902:14;;;;;;;;:::i;:::-;;;;:56;;;;;;;;;;-1:-1:-1;972:11:13;981:2;972:11;;:::i;:::-;;;844:150;;8430:311:5;8555:18;8561:2;8565:7;8555:5;:18::i;:::-;8604:54;8635:1;8639:2;8643:7;8652:5;8604:22;:54::i;:::-;8583:151;;;;-1:-1:-1;;;8583:151:5;;16608:2:19;8583:151:5;;;16590:21:19;16647:2;16627:18;;;16620:30;16686:34;16666:18;;;16659:62;-1:-1:-1;;;16737:18:19;;;16730:48;16795:19;;8583:151:5;16406:414:19;2624:572:8;-1:-1:-1;;;;;2823:18:8;;2819:183;;2857:40;2889:7;4005:10;:17;;3978:24;;;;:15;:24;;;;;:44;;;4032:24;;;;;;;;;;;;3902:161;2857:40;2819:183;;;2926:2;-1:-1:-1;;;;;2918:10:8;:4;-1:-1:-1;;;;;2918:10:8;;2914:88;;2944:47;2977:4;2983:7;2944:32;:47::i;:::-;-1:-1:-1;;;;;3015:16:8;;3011:179;;3047:45;3084:7;3047:36;:45::i;3011:179::-;3119:4;-1:-1:-1;;;;;3113:10:8;:2;-1:-1:-1;;;;;3113:10:8;;3109:81;;3139:40;3167:2;3171:7;3139:27;:40::i;12161:778:5:-;12311:4;-1:-1:-1;;;;;12331:13:5;;1087:20:11;1133:8;12327:606:5;;12366:72;;-1:-1:-1;;;12366:72:5;;-1:-1:-1;;;;;12366:36:5;;;;;:72;;719:10:12;;12417:4:5;;12423:7;;12432:5;;12366:72;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;-1:-1:-1;12366:72:5;;;;;;;;-1:-1:-1;;12366:72:5;;;;;;;;;;;;:::i;:::-;;;12362:519;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;12605:13:5;;12601:266;;12647:60;;-1:-1:-1;;;12647:60:5;;16608:2:19;12647:60:5;;;16590:21:19;16647:2;16627:18;;;16620:30;16686:34;16666:18;;;16659:62;-1:-1:-1;;;16737:18:19;;;16730:48;16795:19;;12647:60:5;16406:414:19;12601:266:5;12819:6;12813:13;12804:6;12800:2;12796:15;12789:38;12362:519;-1:-1:-1;;;;;;12488:51:5;-1:-1:-1;;;12488:51:5;;-1:-1:-1;12481:58:5;;12327:606;-1:-1:-1;12918:4:5;12161:778;;;;;;:::o;9063:372::-;-1:-1:-1;;;;;9142:16:5;;9134:61;;;;-1:-1:-1;;;9134:61:5;;18229:2:19;9134:61:5;;;18211:21:19;;;18248:18;;;18241:30;18307:34;18287:18;;;18280:62;18359:18;;9134:61:5;18027:356:19;9134:61:5;7209:4;7232:16;;;:7;:16;;;;;;-1:-1:-1;;;;;7232:16:5;:30;9205:58;;;;-1:-1:-1;;;9205:58:5;;18590:2:19;9205:58:5;;;18572:21:19;18629:2;18609:18;;;18602:30;18668;18648:18;;;18641:58;18716:18;;9205:58:5;18388:352:19;9205:58:5;9274:45;9303:1;9307:2;9311:7;9274:20;:45::i;:::-;-1:-1:-1;;;;;9330:13:5;;;;;;:9;:13;;;;;:18;;9347:1;;9330:13;:18;;9347:1;;9330:18;:::i;:::-;;;;-1:-1:-1;;9358:16:5;;;;:7;:16;;;;;;:21;;-1:-1:-1;;9358:21:5;-1:-1:-1;;;;;9358:21:5;;;;;;;;9395:33;;9358:16;;;9395:33;;9358:16;;9395:33;9063:372;;:::o;4680:970:8:-;4942:22;4992:1;4967:22;4984:4;4967:16;:22::i;:::-;:26;;;;:::i;:::-;5003:18;5024:26;;;:17;:26;;;;;;4942:51;;-1:-1:-1;5154:28:8;;;5150:323;;-1:-1:-1;;;;;5220:18:8;;5198:19;5220:18;;;:12;:18;;;;;;;;:34;;;;;;;;;5269:30;;;;;;:44;;;5385:30;;:17;:30;;;;;:43;;;5150:323;-1:-1:-1;5566:26:8;;;;:17;:26;;;;;;;;5559:33;;;-1:-1:-1;;;;;5609:18:8;;;;;:12;:18;;;;;:34;;;;;;;5602:41;4680:970::o;5938:1061::-;6212:10;:17;6187:22;;6212:21;;6232:1;;6212:21;:::i;:::-;6243:18;6264:24;;;:15;:24;;;;;;6632:10;:26;;6187:46;;-1:-1:-1;6264:24:8;;6187:46;;6632:26;;;;;;:::i;:::-;;;;;;;;;6610:48;;6694:11;6669:10;6680;6669:22;;;;;;;;:::i;:::-;;;;;;;;;;;;:36;;;;6773:28;;;:15;:28;;;;;;;:41;;;6942:24;;;;;6935:31;6976:10;:16;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;6009:990;;;5938:1061;:::o;3490:217::-;3574:14;3591:20;3608:2;3591:16;:20::i;:::-;-1:-1:-1;;;;;3621:16:8;;;;;;;:12;:16;;;;;;;;:24;;;;;;;;:34;;;3665:26;;;:17;:26;;;;;;:35;;;;-1:-1:-1;3490:217:8:o;-1:-1:-1:-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;14:177:19;-1:-1:-1;;;;;;92:5:19;88:78;81:5;78:89;68:117;;181:1;178;171:12;196:245;254:6;307:2;295:9;286:7;282:23;278:32;275:52;;;323:1;320;313:12;275:52;362:9;349:23;381:30;405:5;381:30;:::i;638:258::-;710:1;720:113;734:6;731:1;728:13;720:113;;;810:11;;;804:18;791:11;;;784:39;756:2;749:10;720:113;;;851:6;848:1;845:13;842:48;;;-1:-1:-1;;886:1:19;868:16;;861:27;638:258::o;901:::-;943:3;981:5;975:12;1008:6;1003:3;996:19;1024:63;1080:6;1073:4;1068:3;1064:14;1057:4;1050:5;1046:16;1024:63;:::i;:::-;1141:2;1120:15;-1:-1:-1;;1116:29:19;1107:39;;;;1148:4;1103:50;;901:258;-1:-1:-1;;901:258:19:o;1164:220::-;1313:2;1302:9;1295:21;1276:4;1333:45;1374:2;1363:9;1359:18;1351:6;1333:45;:::i;1389:180::-;1448:6;1501:2;1489:9;1480:7;1476:23;1472:32;1469:52;;;1517:1;1514;1507:12;1469:52;-1:-1:-1;1540:23:19;;1389:180;-1:-1:-1;1389:180:19:o;1805:196::-;1873:20;;-1:-1:-1;;;;;1922:54:19;;1912:65;;1902:93;;1991:1;1988;1981:12;1902:93;1805:196;;;:::o;2006:254::-;2074:6;2082;2135:2;2123:9;2114:7;2110:23;2106:32;2103:52;;;2151:1;2148;2141:12;2103:52;2174:29;2193:9;2174:29;:::i;:::-;2164:39;2250:2;2235:18;;;;2222:32;;-1:-1:-1;;;2006:254:19:o;2447:186::-;2506:6;2559:2;2547:9;2538:7;2534:23;2530:32;2527:52;;;2575:1;2572;2565:12;2527:52;2598:29;2617:9;2598:29;:::i;2638:328::-;2715:6;2723;2731;2784:2;2772:9;2763:7;2759:23;2755:32;2752:52;;;2800:1;2797;2790:12;2752:52;2823:29;2842:9;2823:29;:::i;:::-;2813:39;;2871:38;2905:2;2894:9;2890:18;2871:38;:::i;:::-;2861:48;;2956:2;2945:9;2941:18;2928:32;2918:42;;2638:328;;;;;:::o;2971:343::-;3037:6;3045;3098:2;3086:9;3077:7;3073:23;3069:32;3066:52;;;3114:1;3111;3104:12;3066:52;3137:29;3156:9;3137:29;:::i;:::-;3127:39;;3216:2;3205:9;3201:18;3188:32;3260:4;3253:5;3249:16;3242:5;3239:27;3229:55;;3280:1;3277;3270:12;3229:55;3303:5;3293:15;;;2971:343;;;;;:::o;3319:184::-;-1:-1:-1;;;3368:1:19;3361:88;3468:4;3465:1;3458:15;3492:4;3489:1;3482:15;3508:632;3573:5;3603:18;3644:2;3636:6;3633:14;3630:40;;;3650:18;;:::i;:::-;3725:2;3719:9;3693:2;3779:15;;-1:-1:-1;;3775:24:19;;;3801:2;3771:33;3767:42;3755:55;;;3825:18;;;3845:22;;;3822:46;3819:72;;;3871:18;;:::i;:::-;3911:10;3907:2;3900:22;3940:6;3931:15;;3970:6;3962;3955:22;4010:3;4001:6;3996:3;3992:16;3989:25;3986:45;;;4027:1;4024;4017:12;3986:45;4077:6;4072:3;4065:4;4057:6;4053:17;4040:44;4132:1;4125:4;4116:6;4108;4104:19;4100:30;4093:41;;;;3508:632;;;;;:::o;4145:451::-;4214:6;4267:2;4255:9;4246:7;4242:23;4238:32;4235:52;;;4283:1;4280;4273:12;4235:52;4323:9;4310:23;4356:18;4348:6;4345:30;4342:50;;;4388:1;4385;4378:12;4342:50;4411:22;;4464:4;4456:13;;4452:27;-1:-1:-1;4442:55:19;;4493:1;4490;4483:12;4442:55;4516:74;4582:7;4577:2;4564:16;4559:2;4555;4551:11;4516:74;:::i;4601:632::-;4772:2;4824:21;;;4894:13;;4797:18;;;4916:22;;;4743:4;;4772:2;4995:15;;;;4969:2;4954:18;;;4743:4;5038:169;5052:6;5049:1;5046:13;5038:169;;;5113:13;;5101:26;;5182:15;;;;5147:12;;;;5074:1;5067:9;5038:169;;;-1:-1:-1;5224:3:19;;4601:632;-1:-1:-1;;;;;;4601:632:19:o;5238:347::-;5303:6;5311;5364:2;5352:9;5343:7;5339:23;5335:32;5332:52;;;5380:1;5377;5370:12;5332:52;5403:29;5422:9;5403:29;:::i;:::-;5393:39;;5482:2;5471:9;5467:18;5454:32;5529:5;5522:13;5515:21;5508:5;5505:32;5495:60;;5551:1;5548;5541:12;5590:667;5685:6;5693;5701;5709;5762:3;5750:9;5741:7;5737:23;5733:33;5730:53;;;5779:1;5776;5769:12;5730:53;5802:29;5821:9;5802:29;:::i;:::-;5792:39;;5850:38;5884:2;5873:9;5869:18;5850:38;:::i;:::-;5840:48;;5935:2;5924:9;5920:18;5907:32;5897:42;;5990:2;5979:9;5975:18;5962:32;6017:18;6009:6;6006:30;6003:50;;;6049:1;6046;6039:12;6003:50;6072:22;;6125:4;6117:13;;6113:27;-1:-1:-1;6103:55:19;;6154:1;6151;6144:12;6103:55;6177:74;6243:7;6238:2;6225:16;6220:2;6216;6212:11;6177:74;:::i;:::-;6167:84;;;5590:667;;;;;;;:::o;6262:260::-;6330:6;6338;6391:2;6379:9;6370:7;6366:23;6362:32;6359:52;;;6407:1;6404;6397:12;6359:52;6430:29;6449:9;6430:29;:::i;:::-;6420:39;;6478:38;6512:2;6501:9;6497:18;6478:38;:::i;:::-;6468:48;;6262:260;;;;;:::o;6774:437::-;6853:1;6849:12;;;;6896;;;6917:61;;6971:4;6963:6;6959:17;6949:27;;6917:61;7024:2;7016:6;7013:14;6993:18;6990:38;6987:218;;;-1:-1:-1;;;7058:1:19;7051:88;7162:4;7159:1;7152:15;7190:4;7187:1;7180:15;9144:184;-1:-1:-1;;;9193:1:19;9186:88;9293:4;9290:1;9283:15;9317:4;9314:1;9307:15;9333:128;9373:3;9404:1;9400:6;9397:1;9394:13;9391:39;;;9410:18;;:::i;:::-;-1:-1:-1;9446:9:19;;9333:128::o;11358:184::-;-1:-1:-1;;;11407:1:19;11400:88;11507:4;11504:1;11497:15;11531:4;11528:1;11521:15;11547:175;11584:3;11628:4;11621:5;11617:16;11657:4;11648:7;11645:17;11642:43;;;11665:18;;:::i;:::-;11714:1;11701:15;;11547:175;-1:-1:-1;;11547:175:19:o;13256:135::-;13295:3;-1:-1:-1;;13316:17:19;;13313:43;;;13336:18;;:::i;:::-;-1:-1:-1;13383:1:19;13372:13;;13256:135::o;13812:470::-;13991:3;14029:6;14023:13;14045:53;14091:6;14086:3;14079:4;14071:6;14067:17;14045:53;:::i;:::-;14161:13;;14120:16;;;;14183:57;14161:13;14120:16;14217:4;14205:17;;14183:57;:::i;:::-;14256:20;;13812:470;-1:-1:-1;;;;13812:470:19:o;15922:125::-;15962:4;15990:1;15987;15984:8;15981:34;;;15995:18;;:::i;:::-;-1:-1:-1;16032:9:19;;15922:125::o;16825:184::-;-1:-1:-1;;;16874:1:19;16867:88;16974:4;16971:1;16964:15;16998:4;16995:1;16988:15;17014:120;17054:1;17080;17070:35;;17085:18;;:::i;:::-;-1:-1:-1;17119:9:19;;17014:120::o;17139:112::-;17171:1;17197;17187:35;;17202:18;;:::i;:::-;-1:-1:-1;17236:9:19;;17139:112::o;17256:512::-;17450:4;-1:-1:-1;;;;;17560:2:19;17552:6;17548:15;17537:9;17530:34;17612:2;17604:6;17600:15;17595:2;17584:9;17580:18;17573:43;;17652:6;17647:2;17636:9;17632:18;17625:34;17695:3;17690:2;17679:9;17675:18;17668:31;17716:46;17757:3;17746:9;17742:19;17734:6;17716:46;:::i;:::-;17708:54;17256:512;-1:-1:-1;;;;;;17256:512:19:o;17773:249::-;17842:6;17895:2;17883:9;17874:7;17870:23;17866:32;17863:52;;;17911:1;17908;17901:12;17863:52;17943:9;17937:16;17962:30;17986:5;17962:30;:::i;18745:184::-;-1:-1:-1;;;18794:1:19;18787:88;18894:4;18891:1;18884:15;18918:4;18915:1;18908:15

none