Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

   - function _msgSender()    - function _msgData()    - function owner()    - function renounceOwnership()    - function transferOwnership(address ne ... library Counters    - function current(Counter storage coun ...    - function increment(Counter storage co ...    - function decrement(Counter storage co ... library ECDSA    - function recover(bytes32 hash, bytes ...    - function recover(bytes32 hash, uint8 ...    - function toEthSignedMessageHash(bytes ...    - function toTypedDataHash(bytes32 doma ...    - function _domainSeparatorV4()    - function _buildDomainSeparator(bytes3 ...    - function _hashTypedDataV4(bytes32 str ... interface IERC20Permit    - function permit(address owner, addres ...    - function nonces(address owner)    - function DOMAIN_SEPARATOR() interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ... interface IERC20Metadata is IERC20    - function name()    - function symbol()    - function decimals()  contract ERC20 is Context, IERC20, ...    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...    - function increaseAllowance(address sp ...    - function decreaseAllowance(address sp ...    - function _transfer(address sender, ad ...    - function _mint(address account, uint2 ...    - function _burn(address account, uint2 ...    - function _approve(address owner, addr ...    - function permit(address owner, addres ...    - function nonces(address owner)    - function DOMAIN_SEPARATOR()    - function _useNonce(address owner)  contract IceToken is ERC20Permit, ... *    - function getMaxTotalSupply()    - function mint(address account, uint25 ...    - function burn(address account, uint25 ...    - function _mint(address account, uint2 ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2021-03-27
*/

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.0;

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

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

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

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

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

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

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

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

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

/**
 * @title Counters
 * @author Matt Condon (@shrugs)
 * @dev Provides counters that can only be incremented or decremented by one. This can be used e.g. to track the number
 * of elements in a mapping, issuing ERC721 ids, or counting request ids.
 *
 * Include with `using Counters for Counters.Counter;`
 */
library Counters {
    struct Counter {
        // This variable should never be directly accessed by users of the library: interactions must be restricted to
        // the library's function. As of Solidity v0.5.2, this cannot be enforced, though there is a proposal to add
        // this feature: see https://github.com/ethereum/solidity/issues/4637
        uint256 _value; // default: 0
    }

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

    function increment(Counter storage counter) internal {
        unchecked {
            counter._value += 1;
        }
    }

    function decrement(Counter storage counter) internal {
        uint256 value = counter._value;
        require(value > 0, "Counter: decrement overflow");
        unchecked {
            counter._value = value - 1;
        }
    }
}

/**
 * @dev Elliptic Curve Digital Signature Algorithm (ECDSA) operations.
 *
 * These functions can be used to verify that a message was signed by the holder
 * of the private keys of a given address.
 */
library ECDSA {
    /**
     * @dev Returns the address that signed a hashed message (`hash`) with
     * `signature`. This address can then be used for verification purposes.
     *
     * The `ecrecover` EVM opcode allows for malleable (non-unique) signatures:
     * this function rejects them by requiring the `s` value to be in the lower
     * half order, and the `v` value to be either 27 or 28.
     *
     * IMPORTANT: `hash` _must_ be the result of a hash operation for the
     * verification to be secure: it is possible to craft signatures that
     * recover to arbitrary addresses for non-hashed data. A safe way to ensure
     * this is by receiving a hash of the original message (which may otherwise
     * be too long), and then calling {toEthSignedMessageHash} on it.
     */
    function recover(bytes32 hash, bytes memory signature) internal pure returns (address) {
        // Check the signature length
        if (signature.length != 65) {
            revert("ECDSA: invalid signature length");
        }

        // Divide the signature in r, s and v variables
        bytes32 r;
        bytes32 s;
        uint8 v;

        // ecrecover takes the signature parameters, and the only way to get them
        // currently is to use assembly.
        // solhint-disable-next-line no-inline-assembly
        assembly {
            r := mload(add(signature, 0x20))
            s := mload(add(signature, 0x40))
            v := byte(0, mload(add(signature, 0x60)))
        }

        return recover(hash, v, r, s);
    }

    /**
     * @dev Overload of {ECDSA-recover} that receives the `v`,
     * `r` and `s` signature fields separately.
     */
    function recover(bytes32 hash, uint8 v, bytes32 r, bytes32 s) internal pure returns (address) {
        // EIP-2 still allows signature malleability for ecrecover(). Remove this possibility and make the signature
        // unique. Appendix F in the Ethereum Yellow paper (https://ethereum.github.io/yellowpaper/paper.pdf), defines
        // the valid range for s in (281): 0 < s < secp256k1n ÷ 2 + 1, and for v in (282): v ∈ {27, 28}. Most
        // signatures from current libraries generate a unique signature with an s-value in the lower half order.
        //
        // If your library generates malleable signatures, such as s-values in the upper range, calculate a new s-value
        // with 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEBAAEDCE6AF48A03BBFD25E8CD0364141 - s1 and flip v from 27 to 28 or
        // vice versa. If your library also generates signatures with 0/1 for v instead 27/28, add 27 to v to accept
        // these malleable signatures as well.
        require(uint256(s) <= 0x7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF5D576E7357A4501DDFE92F46681B20A0, "ECDSA: invalid signature 's' value");
        require(v == 27 || v == 28, "ECDSA: invalid signature 'v' value");

        // If the signature is valid (and not malleable), return the signer address
        address signer = ecrecover(hash, v, r, s);
        require(signer != address(0), "ECDSA: invalid signature");

        return signer;
    }

    /**
     * @dev Returns an Ethereum Signed Message, created from a `hash`. This
     * produces hash corresponding to the one signed with the
     * https://eth.wiki/json-rpc/API#eth_sign[`eth_sign`]
     * JSON-RPC method as part of EIP-191.
     *
     * See {recover}.
     */
    function toEthSignedMessageHash(bytes32 hash) internal pure returns (bytes32) {
        // 32 is the length in bytes of hash,
        // enforced by the type signature above
        return keccak256(abi.encodePacked("\x19Ethereum Signed Message:\n32", hash));
    }

    /**
     * @dev Returns an Ethereum Signed Typed Data, created from a
     * `domainSeparator` and a `structHash`. This produces hash corresponding
     * to the one signed with the
     * https://eips.ethereum.org/EIPS/eip-712[`eth_signTypedData`]
     * JSON-RPC method as part of EIP-712.
     *
     * See {recover}.
     */
    function toTypedDataHash(bytes32 domainSeparator, bytes32 structHash) internal pure returns (bytes32) {
        return keccak256(abi.encodePacked("\x19\x01", domainSeparator, structHash));
    }
}

/**
 * @dev https://eips.ethereum.org/EIPS/eip-712[EIP 712] is a standard for hashing and signing of typed structured data.
 *
 * The encoding specified in the EIP is very generic, and such a generic implementation in Solidity is not feasible,
 * thus this contract does not implement the encoding itself. Protocols need to implement the type-specific encoding
 * they need in their contracts using a combination of `abi.encode` and `keccak256`.
 *
 * This contract implements the EIP 712 domain separator ({_domainSeparatorV4}) that is used as part of the encoding
 * scheme, and the final step of the encoding to obtain the message digest that is then signed via ECDSA
 * ({_hashTypedDataV4}).
 *
 * The implementation of the domain separator was designed to be as efficient as possible while still properly updating
 * the chain id to protect against replay attacks on an eventual fork of the chain.
 *
 * NOTE: This contract implements the version of the encoding known as "v4", as implemented by the JSON RPC method
 * https://docs.metamask.io/guide/signing-data.html[`eth_signTypedDataV4` in MetaMask].
 *
 * _Available since v3.4._
 */
abstract contract EIP712 {
    /* solhint-disable var-name-mixedcase */
    // Cache the domain separator as an immutable value, but also store the chain id that it corresponds to, in order to
    // invalidate the cached domain separator if the chain id changes.
    bytes32 private immutable _CACHED_DOMAIN_SEPARATOR;
    uint256 private immutable _CACHED_CHAIN_ID;

    bytes32 private immutable _HASHED_NAME;
    bytes32 private immutable _HASHED_VERSION;
    bytes32 private immutable _TYPE_HASH;
    /* solhint-enable var-name-mixedcase */

    /**
     * @dev Initializes the domain separator and parameter caches.
     *
     * The meaning of `name` and `version` is specified in
     * https://eips.ethereum.org/EIPS/eip-712#definition-of-domainseparator[EIP 712]:
     *
     * - `name`: the user readable name of the signing domain, i.e. the name of the DApp or the protocol.
     * - `version`: the current major version of the signing domain.
     *
     * NOTE: These parameters cannot be changed except through a xref:learn::upgrading-smart-contracts.adoc[smart
     * contract upgrade].
     */
    constructor(string memory name, string memory version) {
        bytes32 hashedName = keccak256(bytes(name));
        bytes32 hashedVersion = keccak256(bytes(version));
        bytes32 typeHash = keccak256("EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)");
        _HASHED_NAME = hashedName;
        _HASHED_VERSION = hashedVersion;
        _CACHED_CHAIN_ID = block.chainid;
        _CACHED_DOMAIN_SEPARATOR = _buildDomainSeparator(typeHash, hashedName, hashedVersion);
        _TYPE_HASH = typeHash;
    }

    /**
     * @dev Returns the domain separator for the current chain.
     */
    function _domainSeparatorV4() internal view returns (bytes32) {
        if (block.chainid == _CACHED_CHAIN_ID) {
            return _CACHED_DOMAIN_SEPARATOR;
        } else {
            return _buildDomainSeparator(_TYPE_HASH, _HASHED_NAME, _HASHED_VERSION);
        }
    }

    function _buildDomainSeparator(bytes32 typeHash, bytes32 name, bytes32 version) private view returns (bytes32) {
        return keccak256(
            abi.encode(
                typeHash,
                name,
                version,
                block.chainid,
                address(this)
            )
        );
    }

    /**
     * @dev Given an already https://eips.ethereum.org/EIPS/eip-712#definition-of-hashstruct[hashed struct], this
     * function returns the hash of the fully encoded EIP712 message for this domain.
     *
     * This hash can be used together with {ECDSA-recover} to obtain the signer of a message. For example:
     *
     * ```solidity
     * bytes32 digest = _hashTypedDataV4(keccak256(abi.encode(
     *     keccak256("Mail(address to,string contents)"),
     *     mailTo,
     *     keccak256(bytes(mailContents))
     * )));
     * address signer = ECDSA.recover(digest, signature);
     * ```
     */
    function _hashTypedDataV4(bytes32 structHash) internal view virtual returns (bytes32) {
        return ECDSA.toTypedDataHash(_domainSeparatorV4(), structHash);
    }
}

/**
 * @dev Interface of the ERC20 Permit extension allowing approvals to be made via signatures, as defined in
 * https://eips.ethereum.org/EIPS/eip-2612[EIP-2612].
 *
 * Adds the {permit} method, which can be used to change an account's ERC20 allowance (see {IERC20-allowance}) by
 * presenting a message signed by the account. By not relying on {IERC20-approve}, the token holder account doesn't
 * need to send a transaction, and thus is not required to hold Ether at all.
 */
interface IERC20Permit {
    /**
     * @dev Sets `value` as the allowance of `spender` over ``owner``'s tokens,
     * given ``owner``'s signed approval.
     *
     * IMPORTANT: The same issues {IERC20-approve} has related to transaction
     * ordering also apply here.
     *
     * Emits an {Approval} event.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     * - `deadline` must be a timestamp in the future.
     * - `v`, `r` and `s` must be a valid `secp256k1` signature from `owner`
     * over the EIP712-formatted function arguments.
     * - the signature must use ``owner``'s current nonce (see {nonces}).
     *
     * For more information on the signature format, see the
     * https://eips.ethereum.org/EIPS/eip-2612#specification[relevant EIP
     * section].
     */
    function permit(address owner, address spender, uint256 value, uint256 deadline, uint8 v, bytes32 r, bytes32 s) external;

    /**
     * @dev Returns the current nonce for `owner`. This value must be
     * included whenever a signature is generated for {permit}.
     *
     * Every successful call to {permit} increases ``owner``'s nonce by one. This
     * prevents a signature from being used multiple times.
     */
    function nonces(address owner) external view returns (uint256);

    /**
     * @dev Returns the domain separator used in the encoding of the signature for {permit}, as defined by {EIP712}.
     */
    // solhint-disable-next-line func-name-mixedcase
    function DOMAIN_SEPARATOR() external view returns (bytes32);
}

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

/**
 * @dev Interface for the optional metadata functions from the ERC20 standard.
 */
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);
}

/**
 * @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 guidelines: functions revert instead
 * of 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) internal _balances;

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

    uint256 internal _totalSupply;

    string private _name;
    string private _symbol;

    /**
     * @dev Sets the values for {name} and {symbol}.
     *
     * The defaut 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
     * overloaded;
     *
     * 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");
        _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");
        _approve(_msgSender(), spender, currentAllowance - subtractedValue);

        return true;
    }

    /**
     * @dev Moves tokens `amount` from `sender` to `recipient`.
     *
     * This is 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");

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

        emit Transfer(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:
     *
     * - `to` cannot be the zero address.
     */
    function _mint(address account, uint256 amount) internal virtual {
        require(account != address(0), "ERC20: mint to the zero address");

        _totalSupply += amount;
        _balances[account] += amount;
        emit Transfer(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");

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

        emit Transfer(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 Implementation of the ERC20 Permit extension allowing approvals to be made via signatures, as defined in
 * https://eips.ethereum.org/EIPS/eip-2612[EIP-2612].
 *
 * Adds the {permit} method, which can be used to change an account's ERC20 allowance (see {IERC20-allowance}) by
 * presenting a message signed by the account. By not relying on `{IERC20-approve}`, the token holder account doesn't
 * need to send a transaction, and thus is not required to hold Ether at all.
 *
 * _Available since v3.4._
 */
abstract contract ERC20Permit is ERC20, IERC20Permit, EIP712 {
    using Counters for Counters.Counter;

    mapping (address => Counters.Counter) private _nonces;

    // solhint-disable-next-line var-name-mixedcase
    bytes32 private immutable _PERMIT_TYPEHASH = keccak256("Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)");

    /**
     * @dev Initializes the {EIP712} domain separator using the `name` parameter, and setting `version` to `"1"`.
     *
     * It's a good idea to use the same `name` that is defined as the ERC20 token name.
     */
    constructor(string memory name) EIP712(name, "1") {
    }

    /**
     * @dev See {IERC20Permit-permit}.
     */
    function permit(address owner, address spender, uint256 value, uint256 deadline, uint8 v, bytes32 r, bytes32 s) public virtual override {
        // solhint-disable-next-line not-rely-on-time
        require(block.timestamp <= deadline, "ERC20Permit: expired deadline");

        bytes32 structHash = keccak256(
            abi.encode(
                _PERMIT_TYPEHASH,
                owner,
                spender,
                value,
                _useNonce(owner),
                deadline
            )
        );

        bytes32 hash = _hashTypedDataV4(structHash);

        address signer = ECDSA.recover(hash, v, r, s);
        require(signer == owner, "ERC20Permit: invalid signature");

        _approve(owner, spender, value);
    }

    /**
     * @dev See {IERC20Permit-nonces}.
     */
    function nonces(address owner) public view virtual override returns (uint256) {
        return _nonces[owner].current();
    }

    /**
     * @dev See {IERC20Permit-DOMAIN_SEPARATOR}.
     */
    // solhint-disable-next-line func-name-mixedcase
    function DOMAIN_SEPARATOR() external view override returns (bytes32) {
        return _domainSeparatorV4();
    }

    /**
     * @dev "Consume a nonce": return the current value and increment.
     */
    function _useNonce(address owner) internal virtual returns (uint256 current) {
        Counters.Counter storage nonce = _nonces[owner];
        current = nonce.current();
        nonce.increment();
    }
}

/**
 * ICE is a token which enables the work and token economics of Popsicle finance -
 * a cross-chain yield enhancement platform focusing on
 * Automated Market-Making (AMM) Liquidity Providers (LP)
 */
contract IceToken is ERC20Permit, Ownable {
    
    constructor()  ERC20("IceToken", "ICE") ERC20Permit("IceToken") 
    {
        
    }
    
    
    // Maximum total supply of the token (69M)
    uint256 private _maxTotalSupply = 69000000000000000000000000;

    
    // Returns maximum total supply of the token
    function getMaxTotalSupply() external view returns (uint256) {
        return _maxTotalSupply;
    }
    
    /** @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
     *
     * - `to` cannot be the zero address.
     * - can be called only by the owner of contract
     */
    function mint(address account, uint256 amount) external onlyOwner {
        _mint(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) external onlyOwner {
        _burn(account, 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
     *
     * - `to` cannot be the zero address.
     */
    function _mint(address account, uint256 amount) internal override {
        require(account != address(0), "ERC20: mint to the zero address");
        require(_totalSupply + amount <= _maxTotalSupply, "ERC20: minting more then MaxTotalSupply");
        
        _totalSupply += amount;
        _balances[account] += amount;
        emit Transfer(address(0), account, amount);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"DOMAIN_SEPARATOR","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burn","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"getMaxTotalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"mint","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"}],"name":"nonces","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"},{"internalType":"uint256","name":"deadline","type":"uint256"},{"internalType":"uint8","name":"v","type":"uint8"},{"internalType":"bytes32","name":"r","type":"bytes32"},{"internalType":"bytes32","name":"s","type":"bytes32"}],"name":"permit","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"}]

6101406040527f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9610120526a3913517ebd3c0c650000006007553480156200004657600080fd5b506040518060400160405280600881526020016724b1b2aa37b5b2b760c11b81525080604051806040016040528060018152602001603160f81b8152506040518060400160405280600881526020016724b1b2aa37b5b2b760c11b8152506040518060400160405280600381526020016249434560e81b8152508160039080519060200190620000d8929190620001c2565b508051620000ee906004906020840190620001c2565b5050825160209384012082519284019290922060c083815260e08290524660a0818152604080517f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f818a018190528183019890985260608101959095526080808601939093523085830152805180860390920182529390920192839052815191909501209093525061010052600680546001600160a01b03191633908117909155915081906000907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350620002a5565b828054620001d09062000268565b90600052602060002090601f016020900481019282620001f457600085556200023f565b82601f106200020f57805160ff19168380011785556200023f565b828001600101855582156200023f579182015b828111156200023f57825182559160200191906001019062000222565b506200024d92915062000251565b5090565b5b808211156200024d576000815560010162000252565b600181811c908216806200027d57607f821691505b602082108114156200029f57634e487b7160e01b600052602260045260246000fd5b50919050565b60805160a05160c05160e05161010051610120516113b8620002f5600039600061069601526000610be601526000610c3501526000610c1001526000610b9201526000610bbb01526113b86000f3fe608060405234801561001057600080fd5b506004361061012c5760003560e01c8063715018a6116100ad578063a457c2d711610071578063a457c2d714610242578063a9059cbb14610255578063d505accf14610268578063dd62ed3e1461027b578063f2fde38b146102b45761012c565b8063715018a6146101f15780637ecebe00146101f95780638da5cb5b1461020c57806395d89b41146102275780639dc29fac1461022f5761012c565b80633644e515116100f45780633644e515146101a657806339509351146101ae57806340c10f19146101c15780635db30bb1146101d657806370a08231146101de5761012c565b806306fdde0314610131578063095ea7b31461014f57806318160ddd1461017257806323b872dd14610184578063313ce56714610197575b600080fd5b6101396102c7565b6040516101469190611280565b60405180910390f35b61016261015d366004611257565b61035a565b6040519015158152602001610146565b6002545b604051908152602001610146565b6101626101923660046111ab565b610370565b60405160128152602001610146565b610176610426565b6101626101bc366004611257565b610435565b6101d46101cf366004611257565b61046c565b005b600754610176565b6101766101ec366004611158565b6104a4565b6101d46104c3565b610176610207366004611158565b610537565b6006546040516001600160a01b039091168152602001610146565b610139610557565b6101d461023d366004611257565b610566565b610162610250366004611257565b61059a565b610162610263366004611257565b610635565b6101d46102763660046111e6565b610642565b610176610289366004611179565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b6101d46102c2366004611158565b6107a6565b6060600380546102d690611337565b80601f016020809104026020016040519081016040528092919081815260200182805461030290611337565b801561034f5780601f106103245761010080835404028352916020019161034f565b820191906000526020600020905b81548152906001019060200180831161033257829003601f168201915b505050505090505b90565b6000610367338484610891565b50600192915050565b600061037d8484846109b6565b6001600160a01b0384166000908152600160209081526040808320338452909152902054828110156104075760405162461bcd60e51b815260206004820152602860248201527f45524332303a207472616e7366657220616d6f756e74206578636565647320616044820152676c6c6f77616e636560c01b60648201526084015b60405180910390fd5b61041b85336104168685611320565b610891565b506001949350505050565b6000610430610b8e565b905090565b3360008181526001602090815260408083206001600160a01b03871684529091528120549091610367918590610416908690611308565b6006546001600160a01b031633146104965760405162461bcd60e51b81526004016103fe906112d3565b6104a08282610c85565b5050565b6001600160a01b0381166000908152602081905260409020545b919050565b6006546001600160a01b031633146104ed5760405162461bcd60e51b81526004016103fe906112d3565b6006546040516000916001600160a01b0316907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600680546001600160a01b0319169055565b6001600160a01b0381166000908152600560205260408120545b92915050565b6060600480546102d690611337565b6006546001600160a01b031633146105905760405162461bcd60e51b81526004016103fe906112d3565b6104a08282610dd3565b3360009081526001602090815260408083206001600160a01b03861684529091528120548281101561061c5760405162461bcd60e51b815260206004820152602560248201527f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77604482015264207a65726f60d81b60648201526084016103fe565b61062b33856104168685611320565b5060019392505050565b60006103673384846109b6565b834211156106925760405162461bcd60e51b815260206004820152601d60248201527f45524332305065726d69743a206578706972656420646561646c696e6500000060448201526064016103fe565b60007f00000000000000000000000000000000000000000000000000000000000000008888886106c18c610f22565b6040805160208101969096526001600160a01b0394851690860152929091166060840152608083015260a082015260c0810186905260e001604051602081830303815290604052805190602001209050600061071c82610f4a565b9050600061072c82878787610f98565b9050896001600160a01b0316816001600160a01b03161461078f5760405162461bcd60e51b815260206004820152601e60248201527f45524332305065726d69743a20696e76616c6964207369676e6174757265000060448201526064016103fe565b61079a8a8a8a610891565b50505050505050505050565b6006546001600160a01b031633146107d05760405162461bcd60e51b81526004016103fe906112d3565b6001600160a01b0381166108355760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b60648201526084016103fe565b6006546040516001600160a01b038084169216907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a3600680546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b0383166108f35760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016103fe565b6001600160a01b0382166109545760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016103fe565b6001600160a01b0383811660008181526001602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b038316610a1a5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016103fe565b6001600160a01b038216610a7c5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016103fe565b6001600160a01b03831660009081526020819052604090205481811015610af45760405162461bcd60e51b815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e7420657863656564732062604482015265616c616e636560d01b60648201526084016103fe565b610afe8282611320565b6001600160a01b038086166000908152602081905260408082209390935590851681529081208054849290610b34908490611308565b92505081905550826001600160a01b0316846001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610b8091815260200190565b60405180910390a350505050565b60007f0000000000000000000000000000000000000000000000000000000000000000461415610bdf57507f0000000000000000000000000000000000000000000000000000000000000000610357565b50604080517f00000000000000000000000000000000000000000000000000000000000000006020808301919091527f0000000000000000000000000000000000000000000000000000000000000000828401527f000000000000000000000000000000000000000000000000000000000000000060608301524660808301523060a0808401919091528351808403909101815260c09092019092528051910120610357565b6001600160a01b038216610cdb5760405162461bcd60e51b815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f20616464726573730060448201526064016103fe565b60075481600254610cec9190611308565b1115610d4a5760405162461bcd60e51b815260206004820152602760248201527f45524332303a206d696e74696e67206d6f7265207468656e204d6178546f74616044820152666c537570706c7960c81b60648201526084016103fe565b8060026000828254610d5c9190611308565b90915550506001600160a01b03821660009081526020819052604081208054839290610d89908490611308565b90915550506040518181526001600160a01b038316906000907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a35050565b6001600160a01b038216610e335760405162461bcd60e51b815260206004820152602160248201527f45524332303a206275726e2066726f6d20746865207a65726f206164647265736044820152607360f81b60648201526084016103fe565b6001600160a01b03821660009081526020819052604090205481811015610ea75760405162461bcd60e51b815260206004820152602260248201527f45524332303a206275726e20616d6f756e7420657863656564732062616c616e604482015261636560f01b60648201526084016103fe565b610eb18282611320565b6001600160a01b03841660009081526020819052604081209190915560028054849290610edf908490611320565b90915550506040518281526000906001600160a01b038516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906020016109a9565b6001600160a01b03811660009081526005602052604090208054600181018255905b50919050565b6000610551610f57610b8e565b8360405161190160f01b6020820152602281018390526042810182905260009060620160405160208183030381529060405280519060200120905092915050565b60007f7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a08211156110155760405162461bcd60e51b815260206004820152602260248201527f45434453413a20696e76616c6964207369676e6174757265202773272076616c604482015261756560f01b60648201526084016103fe565b8360ff16601b148061102a57508360ff16601c145b6110815760405162461bcd60e51b815260206004820152602260248201527f45434453413a20696e76616c6964207369676e6174757265202776272076616c604482015261756560f01b60648201526084016103fe565b6040805160008082526020820180845288905260ff871692820192909252606081018590526080810184905260019060a0016020604051602081039080840390855afa1580156110d5573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b0381166111385760405162461bcd60e51b815260206004820152601860248201527f45434453413a20696e76616c6964207369676e6174757265000000000000000060448201526064016103fe565b95945050505050565b80356001600160a01b03811681146104be57600080fd5b600060208284031215611169578081fd5b61117282611141565b9392505050565b6000806040838503121561118b578081fd5b61119483611141565b91506111a260208401611141565b90509250929050565b6000806000606084860312156111bf578081fd5b6111c884611141565b92506111d660208501611141565b9150604084013590509250925092565b600080600080600080600060e0888a031215611200578283fd5b61120988611141565b965061121760208901611141565b95506040880135945060608801359350608088013560ff8116811461123a578384fd5b9699959850939692959460a0840135945060c09093013592915050565b60008060408385031215611269578182fd5b61127283611141565b946020939093013593505050565b6000602080835283518082850152825b818110156112ac57858101830151858201604001528201611290565b818111156112bd5783604083870101525b50601f01601f1916929092016040019392505050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b6000821982111561131b5761131b61136c565b500190565b6000828210156113325761133261136c565b500390565b600181811c9082168061134b57607f821691505b60208210811415610f4457634e487b7160e01b600052602260045260246000fd5b634e487b7160e01b600052601160045260246000fdfea26469706673582212200e0270a309bfa85d1894431a2d1d25a16ff6ef215069c3e68b3300364ef47ad264736f6c63430008030033

0x608060405234801561001057600080fd5b506004361061012c5760003560e01c8063715018a6116100ad578063a457c2d711610071578063a457c2d714610242578063a9059cbb14610255578063d505accf14610268578063dd62ed3e1461027b578063f2fde38b146102b45761012c565b8063715018a6146101f15780637ecebe00146101f95780638da5cb5b1461020c57806395d89b41146102275780639dc29fac1461022f5761012c565b80633644e515116100f45780633644e515146101a657806339509351146101ae57806340c10f19146101c15780635db30bb1146101d657806370a08231146101de5761012c565b806306fdde0314610131578063095ea7b31461014f57806318160ddd1461017257806323b872dd14610184578063313ce56714610197575b600080fd5b6101396102c7565b6040516101469190611280565b60405180910390f35b61016261015d366004611257565b61035a565b6040519015158152602001610146565b6002545b604051908152602001610146565b6101626101923660046111ab565b610370565b60405160128152602001610146565b610176610426565b6101626101bc366004611257565b610435565b6101d46101cf366004611257565b61046c565b005b600754610176565b6101766101ec366004611158565b6104a4565b6101d46104c3565b610176610207366004611158565b610537565b6006546040516001600160a01b039091168152602001610146565b610139610557565b6101d461023d366004611257565b610566565b610162610250366004611257565b61059a565b610162610263366004611257565b610635565b6101d46102763660046111e6565b610642565b610176610289366004611179565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b6101d46102c2366004611158565b6107a6565b6060600380546102d690611337565b80601f016020809104026020016040519081016040528092919081815260200182805461030290611337565b801561034f5780601f106103245761010080835404028352916020019161034f565b820191906000526020600020905b81548152906001019060200180831161033257829003601f168201915b505050505090505b90565b6000610367338484610891565b50600192915050565b600061037d8484846109b6565b6001600160a01b0384166000908152600160209081526040808320338452909152902054828110156104075760405162461bcd60e51b815260206004820152602860248201527f45524332303a207472616e7366657220616d6f756e74206578636565647320616044820152676c6c6f77616e636560c01b60648201526084015b60405180910390fd5b61041b85336104168685611320565b610891565b506001949350505050565b6000610430610b8e565b905090565b3360008181526001602090815260408083206001600160a01b03871684529091528120549091610367918590610416908690611308565b6006546001600160a01b031633146104965760405162461bcd60e51b81526004016103fe906112d3565b6104a08282610c85565b5050565b6001600160a01b0381166000908152602081905260409020545b919050565b6006546001600160a01b031633146104ed5760405162461bcd60e51b81526004016103fe906112d3565b6006546040516000916001600160a01b0316907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600680546001600160a01b0319169055565b6001600160a01b0381166000908152600560205260408120545b92915050565b6060600480546102d690611337565b6006546001600160a01b031633146105905760405162461bcd60e51b81526004016103fe906112d3565b6104a08282610dd3565b3360009081526001602090815260408083206001600160a01b03861684529091528120548281101561061c5760405162461bcd60e51b815260206004820152602560248201527f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77604482015264207a65726f60d81b60648201526084016103fe565b61062b33856104168685611320565b5060019392505050565b60006103673384846109b6565b834211156106925760405162461bcd60e51b815260206004820152601d60248201527f45524332305065726d69743a206578706972656420646561646c696e6500000060448201526064016103fe565b60007f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98888886106c18c610f22565b6040805160208101969096526001600160a01b0394851690860152929091166060840152608083015260a082015260c0810186905260e001604051602081830303815290604052805190602001209050600061071c82610f4a565b9050600061072c82878787610f98565b9050896001600160a01b0316816001600160a01b03161461078f5760405162461bcd60e51b815260206004820152601e60248201527f45524332305065726d69743a20696e76616c6964207369676e6174757265000060448201526064016103fe565b61079a8a8a8a610891565b50505050505050505050565b6006546001600160a01b031633146107d05760405162461bcd60e51b81526004016103fe906112d3565b6001600160a01b0381166108355760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b60648201526084016103fe565b6006546040516001600160a01b038084169216907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a3600680546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b0383166108f35760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016103fe565b6001600160a01b0382166109545760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016103fe565b6001600160a01b0383811660008181526001602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b038316610a1a5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016103fe565b6001600160a01b038216610a7c5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016103fe565b6001600160a01b03831660009081526020819052604090205481811015610af45760405162461bcd60e51b815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e7420657863656564732062604482015265616c616e636560d01b60648201526084016103fe565b610afe8282611320565b6001600160a01b038086166000908152602081905260408082209390935590851681529081208054849290610b34908490611308565b92505081905550826001600160a01b0316846001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610b8091815260200190565b60405180910390a350505050565b60007f0000000000000000000000000000000000000000000000000000000000000001461415610bdf57507ffb7f85aa43ae37b6166f3318d36625bc9e267b6794d97973d03c700eb7d5c991610357565b50604080517f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f6020808301919091527f0c3bbbbca166e02b68c9fc6e707ff2b68b3f5f4132025c0f79639e767cc75b88828401527fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc660608301524660808301523060a0808401919091528351808403909101815260c09092019092528051910120610357565b6001600160a01b038216610cdb5760405162461bcd60e51b815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f20616464726573730060448201526064016103fe565b60075481600254610cec9190611308565b1115610d4a5760405162461bcd60e51b815260206004820152602760248201527f45524332303a206d696e74696e67206d6f7265207468656e204d6178546f74616044820152666c537570706c7960c81b60648201526084016103fe565b8060026000828254610d5c9190611308565b90915550506001600160a01b03821660009081526020819052604081208054839290610d89908490611308565b90915550506040518181526001600160a01b038316906000907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a35050565b6001600160a01b038216610e335760405162461bcd60e51b815260206004820152602160248201527f45524332303a206275726e2066726f6d20746865207a65726f206164647265736044820152607360f81b60648201526084016103fe565b6001600160a01b03821660009081526020819052604090205481811015610ea75760405162461bcd60e51b815260206004820152602260248201527f45524332303a206275726e20616d6f756e7420657863656564732062616c616e604482015261636560f01b60648201526084016103fe565b610eb18282611320565b6001600160a01b03841660009081526020819052604081209190915560028054849290610edf908490611320565b90915550506040518281526000906001600160a01b038516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906020016109a9565b6001600160a01b03811660009081526005602052604090208054600181018255905b50919050565b6000610551610f57610b8e565b8360405161190160f01b6020820152602281018390526042810182905260009060620160405160208183030381529060405280519060200120905092915050565b60007f7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a08211156110155760405162461bcd60e51b815260206004820152602260248201527f45434453413a20696e76616c6964207369676e6174757265202773272076616c604482015261756560f01b60648201526084016103fe565b8360ff16601b148061102a57508360ff16601c145b6110815760405162461bcd60e51b815260206004820152602260248201527f45434453413a20696e76616c6964207369676e6174757265202776272076616c604482015261756560f01b60648201526084016103fe565b6040805160008082526020820180845288905260ff871692820192909252606081018590526080810184905260019060a0016020604051602081039080840390855afa1580156110d5573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b0381166111385760405162461bcd60e51b815260206004820152601860248201527f45434453413a20696e76616c6964207369676e6174757265000000000000000060448201526064016103fe565b95945050505050565b80356001600160a01b03811681146104be57600080fd5b600060208284031215611169578081fd5b61117282611141565b9392505050565b6000806040838503121561118b578081fd5b61119483611141565b91506111a260208401611141565b90509250929050565b6000806000606084860312156111bf578081fd5b6111c884611141565b92506111d660208501611141565b9150604084013590509250925092565b600080600080600080600060e0888a031215611200578283fd5b61120988611141565b965061121760208901611141565b95506040880135945060608801359350608088013560ff8116811461123a578384fd5b9699959850939692959460a0840135945060c09093013592915050565b60008060408385031215611269578182fd5b61127283611141565b946020939093013593505050565b6000602080835283518082850152825b818110156112ac57858101830151858201604001528201611290565b818111156112bd5783604083870101525b50601f01601f1916929092016040019392505050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b6000821982111561131b5761131b61136c565b500190565b6000828210156113325761133261136c565b500390565b600181811c9082168061134b57607f821691505b60208210811415610f4457634e487b7160e01b600052602260045260246000fd5b634e487b7160e01b600052601160045260246000fdfea26469706673582212200e0270a309bfa85d1894431a2d1d25a16ff6ef215069c3e68b3300364ef47ad264736f6c63430008030033

31437:2001:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20555:100;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;22722:169;;;;;;:::i;:::-;;:::i;:::-;;;2768:14:1;;2761:22;2743:41;;2731:2;2716:18;22722:169:0;2698:92:1;21675:108:0;21763:12;;21675:108;;;2941:25:1;;;2929:2;2914:18;21675:108:0;2896:76:1;23373:422:0;;;;;;:::i;:::-;;:::i;21517:93::-;;;21600:2;12459:36:1;;12447:2;12432:18;21517:93:0;12414:87:1;30800:115:0;;;:::i;24204:215::-;;;;;;:::i;:::-;;:::i;32212:107::-;;;;;;:::i;:::-;;:::i;:::-;;31771:102;31850:15;;31771:102;;21846:127;;;;;;:::i;:::-;;:::i;2606:148::-;;;:::i;30542:128::-;;;;;;:::i;:::-;;:::i;1955:87::-;2028:6;;1955:87;;-1:-1:-1;;;;;2028:6:0;;;2541:51:1;;2529:2;2514:18;1955:87:0;2496:102:1;20774:104:0;;;:::i;32655:107::-;;;;;;:::i;:::-;;:::i;24922:377::-;;;;;;:::i;:::-;;:::i;22186:175::-;;;;;;:::i;:::-;;:::i;29705:771::-;;;;;;:::i;:::-;;:::i;22424:151::-;;;;;;:::i;:::-;-1:-1:-1;;;;;22540:18:0;;;22513:7;22540:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;22424:151;2909:244;;;;;;:::i;:::-;;:::i;20555:100::-;20609:13;20642:5;20635:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20555:100;;:::o;22722:169::-;22805:4;22822:39;679:10;22845:7;22854:6;22822:8;:39::i;:::-;-1:-1:-1;22879:4:0;22722:169;;;;:::o;23373:422::-;23479:4;23496:36;23506:6;23514:9;23525:6;23496:9;:36::i;:::-;-1:-1:-1;;;;;23572:19:0;;23545:24;23572:19;;;:11;:19;;;;;;;;679:10;23572:33;;;;;;;;23624:26;;;;23616:79;;;;-1:-1:-1;;;23616:79:0;;9588:2:1;23616:79:0;;;9570:21:1;9627:2;9607:18;;;9600:30;9666:34;9646:18;;;9639:62;-1:-1:-1;;;9717:18:1;;;9710:38;9765:19;;23616:79:0;;;;;;;;;23706:57;23715:6;679:10;23737:25;23756:6;23737:16;:25;:::i;:::-;23706:8;:57::i;:::-;-1:-1:-1;23783:4:0;;23373:422;-1:-1:-1;;;;23373:422:0:o;30800:115::-;30860:7;30887:20;:18;:20::i;:::-;30880:27;;30800:115;:::o;24204:215::-;679:10;24292:4;24341:25;;;:11;:25;;;;;;;;-1:-1:-1;;;;;24341:34:0;;;;;;;;;;24292:4;;24309:80;;24332:7;;24341:47;;24378:10;;24341:47;:::i;32212:107::-;2028:6;;-1:-1:-1;;;;;2028:6:0;679:10;2175:23;2167:68;;;;-1:-1:-1;;;2167:68:0;;;;;;;:::i;:::-;32289:22:::1;32295:7;32304:6;32289:5;:22::i;:::-;32212:107:::0;;:::o;21846:127::-;-1:-1:-1;;;;;21947:18:0;;21920:7;21947:18;;;;;;;;;;;21846:127;;;;:::o;2606:148::-;2028:6;;-1:-1:-1;;;;;2028:6:0;679:10;2175:23;2167:68;;;;-1:-1:-1;;;2167:68:0;;;;;;;:::i;:::-;2697:6:::1;::::0;2676:40:::1;::::0;2713:1:::1;::::0;-1:-1:-1;;;;;2697:6:0::1;::::0;2676:40:::1;::::0;2713:1;;2676:40:::1;2727:6;:19:::0;;-1:-1:-1;;;;;;2727:19:0::1;::::0;;2606:148::o;30542:128::-;-1:-1:-1;;;;;30638:14:0;;30611:7;30638:14;;;:7;:14;;;;;3983;30638:24;30631:31;30542:128;-1:-1:-1;;30542:128:0:o;20774:104::-;20830:13;20863:7;20856:14;;;;;:::i;32655:107::-;2028:6;;-1:-1:-1;;;;;2028:6:0;679:10;2175:23;2167:68;;;;-1:-1:-1;;;2167:68:0;;;;;;;:::i;:::-;32732:22:::1;32738:7;32747:6;32732:5;:22::i;24922:377::-:0;679:10;25015:4;25059:25;;;:11;:25;;;;;;;;-1:-1:-1;;;;;25059:34:0;;;;;;;;;;25112:35;;;;25104:85;;;;-1:-1:-1;;;25104:85:0;;11571:2:1;25104:85:0;;;11553:21:1;11610:2;11590:18;;;11583:30;11649:34;11629:18;;;11622:62;-1:-1:-1;;;11700:18:1;;;11693:35;11745:19;;25104:85:0;11543:227:1;25104:85:0;25200:67;679:10;25223:7;25232:34;25251:15;25232:16;:34;:::i;25200:67::-;-1:-1:-1;25287:4:0;;24922:377;-1:-1:-1;;;24922:377:0:o;22186:175::-;22272:4;22289:42;679:10;22313:9;22324:6;22289:9;:42::i;29705:771::-;29934:8;29915:15;:27;;29907:69;;;;-1:-1:-1;;;29907:69:0;;7250:2:1;29907:69:0;;;7232:21:1;7289:2;7269:18;;;7262:30;7328:31;7308:18;;;7301:59;7377:18;;29907:69:0;7222:179:1;29907:69:0;29989:18;30063:16;30098:5;30122:7;30148:5;30172:16;30182:5;30172:9;:16::i;:::-;30034:196;;;;;;3264:25:1;;;;-1:-1:-1;;;;;3363:15:1;;;3343:18;;;3336:43;3415:15;;;;3395:18;;;3388:43;3447:18;;;3440:34;3490:19;;;3483:35;3534:19;;;3527:35;;;3236:19;;30034:196:0;;;;;;;;;;;;30010:231;;;;;;29989:252;;30254:12;30269:28;30286:10;30269:16;:28::i;:::-;30254:43;;30310:14;30327:28;30341:4;30347:1;30350;30353;30327:13;:28::i;:::-;30310:45;;30384:5;-1:-1:-1;;;;;30374:15:0;:6;-1:-1:-1;;;;;30374:15:0;;30366:58;;;;-1:-1:-1;;;30366:58:0;;9229:2:1;30366:58:0;;;9211:21:1;9268:2;9248:18;;;9241:30;9307:32;9287:18;;;9280:60;9357:18;;30366:58:0;9201:180:1;30366:58:0;30437:31;30446:5;30453:7;30462:5;30437:8;:31::i;:::-;29705:771;;;;;;;;;;:::o;2909:244::-;2028:6;;-1:-1:-1;;;;;2028:6:0;679:10;2175:23;2167:68;;;;-1:-1:-1;;;2167:68:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;2998:22:0;::::1;2990:73;;;::::0;-1:-1:-1;;;2990:73:0;;6440:2:1;2990:73:0::1;::::0;::::1;6422:21:1::0;6479:2;6459:18;;;6452:30;6518:34;6498:18;;;6491:62;-1:-1:-1;;;6569:18:1;;;6562:36;6615:19;;2990:73:0::1;6412:228:1::0;2990:73:0::1;3100:6;::::0;3079:38:::1;::::0;-1:-1:-1;;;;;3079:38:0;;::::1;::::0;3100:6:::1;::::0;3079:38:::1;::::0;3100:6:::1;::::0;3079:38:::1;3128:6;:17:::0;;-1:-1:-1;;;;;;3128:17:0::1;-1:-1:-1::0;;;;;3128:17:0;;;::::1;::::0;;;::::1;::::0;;2909:244::o;28094:346::-;-1:-1:-1;;;;;28196:19:0;;28188:68;;;;-1:-1:-1;;;28188:68:0;;11166:2:1;28188:68:0;;;11148:21:1;11205:2;11185:18;;;11178:30;11244:34;11224:18;;;11217:62;-1:-1:-1;;;11295:18:1;;;11288:34;11339:19;;28188:68:0;11138:226:1;28188:68:0;-1:-1:-1;;;;;28275:21:0;;28267:68;;;;-1:-1:-1;;;28267:68:0;;6847:2:1;28267:68:0;;;6829:21:1;6886:2;6866:18;;;6859:30;6925:34;6905:18;;;6898:62;-1:-1:-1;;;6976:18:1;;;6969:32;7018:19;;28267:68:0;6819:224:1;28267:68:0;-1:-1:-1;;;;;28348:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;28400:32;;2941:25:1;;;28400:32:0;;2914:18:1;28400:32:0;;;;;;;;28094:346;;;:::o;25789:544::-;-1:-1:-1;;;;;25895:20:0;;25887:70;;;;-1:-1:-1;;;25887:70:0;;10760:2:1;25887:70:0;;;10742:21:1;10799:2;10779:18;;;10772:30;10838:34;10818:18;;;10811:62;-1:-1:-1;;;10889:18:1;;;10882:35;10934:19;;25887:70:0;10732:227:1;25887:70:0;-1:-1:-1;;;;;25976:23:0;;25968:71;;;;-1:-1:-1;;;25968:71:0;;5633:2:1;25968:71:0;;;5615:21:1;5672:2;5652:18;;;5645:30;5711:34;5691:18;;;5684:62;-1:-1:-1;;;5762:18:1;;;5755:33;5805:19;;25968:71:0;5605:225:1;25968:71:0;-1:-1:-1;;;;;26076:17:0;;26052:21;26076:17;;;;;;;;;;;26112:23;;;;26104:74;;;;-1:-1:-1;;;26104:74:0;;7608:2:1;26104:74:0;;;7590:21:1;7647:2;7627:18;;;7620:30;7686:34;7666:18;;;7659:62;-1:-1:-1;;;7737:18:1;;;7730:36;7783:19;;26104:74:0;7580:228:1;26104:74:0;26209:22;26225:6;26209:13;:22;:::i;:::-;-1:-1:-1;;;;;26189:17:0;;;:9;:17;;;;;;;;;;;:42;;;;26242:20;;;;;;;;:30;;26266:6;;26189:9;26242:30;;26266:6;;26242:30;:::i;:::-;;;;;;;;26307:9;-1:-1:-1;;;;;26290:35:0;26299:6;-1:-1:-1;;;;;26290:35:0;;26318:6;26290:35;;;;2941:25:1;;2929:2;2914:18;;2896:76;26290:35:0;;;;;;;;25789:544;;;;:::o;11814:281::-;11867:7;11908:16;11891:13;:33;11887:201;;;-1:-1:-1;11948:24:0;11941:31;;11887:201;-1:-1:-1;12256:165:0;;;12034:10;12256:165;;;;3832:25:1;;;;12046:12:0;3873:18:1;;;3866:34;12060:15:0;3916:18:1;;;3909:34;12361:13:0;3959:18:1;;;3952:34;12401:4:0;4002:19:1;;;;3995:61;;;;12256:165:0;;;;;;;;;;3804:19:1;;;;12256:165:0;;;12232:200;;;;;12005:71;;33047:388;-1:-1:-1;;;;;33132:21:0;;33124:65;;;;-1:-1:-1;;;33124:65:0;;11977:2:1;33124:65:0;;;11959:21:1;12016:2;11996:18;;;11989:30;12055:33;12035:18;;;12028:61;12106:18;;33124:65:0;11949:181:1;33124:65:0;33233:15;;33223:6;33208:12;;:21;;;;:::i;:::-;:40;;33200:92;;;;-1:-1:-1;;;33200:92:0;;8821:2:1;33200:92:0;;;8803:21:1;8860:2;8840:18;;;8833:30;8899:34;8879:18;;;8872:62;-1:-1:-1;;;8950:18:1;;;8943:37;8997:19;;33200:92:0;8793:229:1;33200:92:0;33329:6;33313:12;;:22;;;;;;;:::i;:::-;;;;-1:-1:-1;;;;;;;33346:18:0;;:9;:18;;;;;;;;;;:28;;33368:6;;33346:9;:28;;33368:6;;33346:28;:::i;:::-;;;;-1:-1:-1;;33390:37:0;;2941:25:1;;;-1:-1:-1;;;;;33390:37:0;;;33407:1;;33390:37;;2929:2:1;2914:18;33390:37:0;;;;;;;33047:388;;:::o;27224:432::-;-1:-1:-1;;;;;27308:21:0;;27300:67;;;;-1:-1:-1;;;27300:67:0;;10358:2:1;27300:67:0;;;10340:21:1;10397:2;10377:18;;;10370:30;10436:34;10416:18;;;10409:62;-1:-1:-1;;;10487:18:1;;;10480:31;10528:19;;27300:67:0;10330:223:1;27300:67:0;-1:-1:-1;;;;;27405:18:0;;27380:22;27405:18;;;;;;;;;;;27442:24;;;;27434:71;;;;-1:-1:-1;;;27434:71:0;;6037:2:1;27434:71:0;;;6019:21:1;6076:2;6056:18;;;6049:30;6115:34;6095:18;;;6088:62;-1:-1:-1;;;6166:18:1;;;6159:32;6208:19;;27434:71:0;6009:224:1;27434:71:0;27537:23;27554:6;27537:14;:23;:::i;:::-;-1:-1:-1;;;;;27516:18:0;;:9;:18;;;;;;;;;;:44;;;;27571:12;:22;;27587:6;;27516:9;27571:22;;27587:6;;27571:22;:::i;:::-;;;;-1:-1:-1;;27611:37:0;;2941:25:1;;;27637:1:0;;-1:-1:-1;;;;;27611:37:0;;;;;2929:2:1;2914:18;27611:37:0;2896:76:1;31013:207:0;-1:-1:-1;;;;;31134:14:0;;31073:15;31134:14;;;:7;:14;;;;;3983;;4120:1;4102:19;;;;3983:14;31195:17;31013:207;;;;:::o;13082:167::-;13159:7;13186:55;13208:20;:18;:20::i;:::-;13230:10;8798:57;;-1:-1:-1;;;8798:57:0;;;2256:27:1;2299:11;;;2292:27;;;2335:12;;;2328:28;;;8761:7:0;;2372:12:1;;8798:57:0;;;;;;;;;;;;8788:68;;;;;;8781:75;;8668:196;;;;;6317:1432;6402:7;7327:66;7313:80;;;7305:127;;;;-1:-1:-1;;;7305:127:0;;8015:2:1;7305:127:0;;;7997:21:1;8054:2;8034:18;;;8027:30;8093:34;8073:18;;;8066:62;-1:-1:-1;;;8144:18:1;;;8137:32;8186:19;;7305:127:0;7987:224:1;7305:127:0;7451:1;:7;;7456:2;7451:7;:18;;;;7462:1;:7;;7467:2;7462:7;7451:18;7443:65;;;;-1:-1:-1;;;7443:65:0;;8418:2:1;7443:65:0;;;8400:21:1;8457:2;8437:18;;;8430:30;8496:34;8476:18;;;8469:62;-1:-1:-1;;;8547:18:1;;;8540:32;8589:19;;7443:65:0;8390:224:1;7443:65:0;7623:24;;;7606:14;7623:24;;;;;;;;;4294:25:1;;;4367:4;4355:17;;4335:18;;;4328:45;;;;4389:18;;;4382:34;;;4432:18;;;4425:34;;;7623:24:0;;4266:19:1;;7623:24:0;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7623:24:0;;-1:-1:-1;;7623:24:0;;;-1:-1:-1;;;;;;;7666:20:0;;7658:57;;;;-1:-1:-1;;;7658:57:0;;5280:2:1;7658:57:0;;;5262:21:1;5319:2;5299:18;;;5292:30;5358:26;5338:18;;;5331:54;5402:18;;7658:57:0;5252:174:1;7658:57:0;7735:6;6317:1432;-1:-1:-1;;;;;6317:1432:0:o;14:173:1:-;82:20;;-1:-1:-1;;;;;131:31:1;;121:42;;111:2;;177:1;174;167:12;192:196;;304:2;292:9;283:7;279:23;275:32;272:2;;;325:6;317;310:22;272:2;353:29;372:9;353:29;:::i;:::-;343:39;262:126;-1:-1:-1;;;262:126:1:o;393:270::-;;;522:2;510:9;501:7;497:23;493:32;490:2;;;543:6;535;528:22;490:2;571:29;590:9;571:29;:::i;:::-;561:39;;619:38;653:2;642:9;638:18;619:38;:::i;:::-;609:48;;480:183;;;;;:::o;668:338::-;;;;814:2;802:9;793:7;789:23;785:32;782:2;;;835:6;827;820:22;782:2;863:29;882:9;863:29;:::i;:::-;853:39;;911:38;945:2;934:9;930:18;911:38;:::i;:::-;901:48;;996:2;985:9;981:18;968:32;958:42;;772:234;;;;;:::o;1011:713::-;;;;;;;;1223:3;1211:9;1202:7;1198:23;1194:33;1191:2;;;1245:6;1237;1230:22;1191:2;1273:29;1292:9;1273:29;:::i;:::-;1263:39;;1321:38;1355:2;1344:9;1340:18;1321:38;:::i;:::-;1311:48;;1406:2;1395:9;1391:18;1378:32;1368:42;;1457:2;1446:9;1442:18;1429:32;1419:42;;1511:3;1500:9;1496:19;1483:33;1556:4;1549:5;1545:16;1538:5;1535:27;1525:2;;1581:6;1573;1566:22;1525:2;1181:543;;;;-1:-1:-1;1181:543:1;;;;1609:5;1661:3;1646:19;;1633:33;;-1:-1:-1;1713:3:1;1698:19;;;1685:33;;1181:543;-1:-1:-1;;1181:543:1:o;1729:264::-;;;1858:2;1846:9;1837:7;1833:23;1829:32;1826:2;;;1879:6;1871;1864:22;1826:2;1907:29;1926:9;1907:29;:::i;:::-;1897:39;1983:2;1968:18;;;;1955:32;;-1:-1:-1;;;1816:177:1:o;4470:603::-;;4611:2;4640;4629:9;4622:21;4672:6;4666:13;4715:6;4710:2;4699:9;4695:18;4688:34;4740:4;4753:140;4767:6;4764:1;4761:13;4753:140;;;4862:14;;;4858:23;;4852:30;4828:17;;;4847:2;4824:26;4817:66;4782:10;;4753:140;;;4911:6;4908:1;4905:13;4902:2;;;4981:4;4976:2;4967:6;4956:9;4952:22;4948:31;4941:45;4902:2;-1:-1:-1;5057:2:1;5036:15;-1:-1:-1;;5032:29:1;5017:45;;;;5064:2;5013:54;;4591:482;-1:-1:-1;;;4591:482:1:o;9795:356::-;9997:2;9979:21;;;10016:18;;;10009:30;10075:34;10070:2;10055:18;;10048:62;10142:2;10127:18;;9969:182::o;12506:128::-;;12577:1;12573:6;12570:1;12567:13;12564:2;;;12583:18;;:::i;:::-;-1:-1:-1;12619:9:1;;12554:80::o;12639:125::-;;12707:1;12704;12701:8;12698:2;;;12712:18;;:::i;:::-;-1:-1:-1;12749:9:1;;12688:76::o;12769:380::-;12848:1;12844:12;;;;12891;;;12912:2;;12966:4;12958:6;12954:17;12944:27;;12912:2;13019;13011:6;13008:14;12988:18;12985:38;12982:2;;;13065:10;13060:3;13056:20;13053:1;13046:31;13100:4;13097:1;13090:15;13128:4;13125:1;13118:15;13154:127;13215:10;13210:3;13206:20;13203:1;13196:31;13246:4;13243:1;13236:15;13270:4;13267:1;13260:15

ipfs://0e0270a309bfa85d1894431a2d1d25a16ff6ef215069c3e68b3300364ef47ad2