Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-11-29
*/

// File: @openzeppelin/contracts/interfaces/draft-IERC6093.sol


// OpenZeppelin Contracts (last updated v5.0.0) (interfaces/draft-IERC6093.sol)
pragma solidity ^0.8.20;

/**
 * @dev Standard ERC20 Errors
 * Interface of the https://eips.ethereum.org/EIPS/eip-6093[ERC-6093] custom errors for ERC20 tokens.
 */
interface IERC20Errors {
    /**
     * @dev Indicates an error related to the current `balance` of a `sender`. Used in transfers.
     * @param sender Address whose tokens are being transferred.
     * @param balance Current balance for the interacting account.
     * @param needed Minimum amount required to perform a transfer.
     */
    error ERC20InsufficientBalance(address sender, uint256 balance, uint256 needed);

    /**
     * @dev Indicates a failure with the token `sender`. Used in transfers.
     * @param sender Address whose tokens are being transferred.
     */
    error ERC20InvalidSender(address sender);

    /**
     * @dev Indicates a failure with the token `receiver`. Used in transfers.
     * @param receiver Address to which tokens are being transferred.
     */
    error ERC20InvalidReceiver(address receiver);

    /**
     * @dev Indicates a failure with the `spender`’s `allowance`. Used in transfers.
     * @param spender Address that may be allowed to operate on tokens without being their owner.
     * @param allowance Amount of tokens a `spender` is allowed to operate with.
     * @param needed Minimum amount required to perform a transfer.
     */
    error ERC20InsufficientAllowance(address spender, uint256 allowance, uint256 needed);

    /**
     * @dev Indicates a failure with the `approver` of a token to be approved. Used in approvals.
     * @param approver Address initiating an approval operation.
     */
    error ERC20InvalidApprover(address approver);

    /**
     * @dev Indicates a failure with the `spender` to be approved. Used in approvals.
     * @param spender Address that may be allowed to operate on tokens without being their owner.
     */
    error ERC20InvalidSpender(address spender);
}

/**
 * @dev Standard ERC721 Errors
 * Interface of the https://eips.ethereum.org/EIPS/eip-6093[ERC-6093] custom errors for ERC721 tokens.
 */
interface IERC721Errors {
    /**
     * @dev Indicates that an address can't be an owner. For example, `address(0)` is a forbidden owner in EIP-20.
     * Used in balance queries.
     * @param owner Address of the current owner of a token.
     */
    error ERC721InvalidOwner(address owner);

    /**
     * @dev Indicates a `tokenId` whose `owner` is the zero address.
     * @param tokenId Identifier number of a token.
     */
    error ERC721NonexistentToken(uint256 tokenId);

    /**
     * @dev Indicates an error related to the ownership over a particular token. Used in transfers.
     * @param sender Address whose tokens are being transferred.
     * @param tokenId Identifier number of a token.
     * @param owner Address of the current owner of a token.
     */
    error ERC721IncorrectOwner(address sender, uint256 tokenId, address owner);

    /**
     * @dev Indicates a failure with the token `sender`. Used in transfers.
     * @param sender Address whose tokens are being transferred.
     */
    error ERC721InvalidSender(address sender);

    /**
     * @dev Indicates a failure with the token `receiver`. Used in transfers.
     * @param receiver Address to which tokens are being transferred.
     */
    error ERC721InvalidReceiver(address receiver);

    /**
     * @dev Indicates a failure with the `operator`’s approval. Used in transfers.
     * @param operator Address that may be allowed to operate on tokens without being their owner.
     * @param tokenId Identifier number of a token.
     */
    error ERC721InsufficientApproval(address operator, uint256 tokenId);

    /**
     * @dev Indicates a failure with the `approver` of a token to be approved. Used in approvals.
     * @param approver Address initiating an approval operation.
     */
    error ERC721InvalidApprover(address approver);

    /**
     * @dev Indicates a failure with the `operator` to be approved. Used in approvals.
     * @param operator Address that may be allowed to operate on tokens without being their owner.
     */
    error ERC721InvalidOperator(address operator);
}

/**
 * @dev Standard ERC1155 Errors
 * Interface of the https://eips.ethereum.org/EIPS/eip-6093[ERC-6093] custom errors for ERC1155 tokens.
 */
interface IERC1155Errors {
    /**
     * @dev Indicates an error related to the current `balance` of a `sender`. Used in transfers.
     * @param sender Address whose tokens are being transferred.
     * @param balance Current balance for the interacting account.
     * @param needed Minimum amount required to perform a transfer.
     * @param tokenId Identifier number of a token.
     */
    error ERC1155InsufficientBalance(address sender, uint256 balance, uint256 needed, uint256 tokenId);

    /**
     * @dev Indicates a failure with the token `sender`. Used in transfers.
     * @param sender Address whose tokens are being transferred.
     */
    error ERC1155InvalidSender(address sender);

    /**
     * @dev Indicates a failure with the token `receiver`. Used in transfers.
     * @param receiver Address to which tokens are being transferred.
     */
    error ERC1155InvalidReceiver(address receiver);

    /**
     * @dev Indicates a failure with the `operator`’s approval. Used in transfers.
     * @param operator Address that may be allowed to operate on tokens without being their owner.
     * @param owner Address of the current owner of a token.
     */
    error ERC1155MissingApprovalForAll(address operator, address owner);

    /**
     * @dev Indicates a failure with the `approver` of a token to be approved. Used in approvals.
     * @param approver Address initiating an approval operation.
     */
    error ERC1155InvalidApprover(address approver);

    /**
     * @dev Indicates a failure with the `operator` to be approved. Used in approvals.
     * @param operator Address that may be allowed to operate on tokens without being their owner.
     */
    error ERC1155InvalidOperator(address operator);

    /**
     * @dev Indicates an array length mismatch between ids and values in a safeBatchTransferFrom operation.
     * Used in batch transfers.
     * @param idsLength Length of the array of token identifiers
     * @param valuesLength Length of the array of token amounts
     */
    error ERC1155InvalidArrayLength(uint256 idsLength, uint256 valuesLength);
}

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


// OpenZeppelin Contracts (last updated v5.0.0) (utils/Context.sol)

pragma solidity ^0.8.20;

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

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

// File: @openzeppelin/contracts/token/ERC20/IERC20.sol


// OpenZeppelin Contracts (last updated v5.0.0) (token/ERC20/IERC20.sol)

pragma solidity ^0.8.20;

/**
 * @dev Interface of the ERC20 standard as defined in the EIP.
 */
interface IERC20 {
    /**
     * @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 Returns the value of tokens in existence.
     */
    function totalSupply() external view returns (uint256);

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

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

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

// File: @openzeppelin/contracts/token/ERC20/extensions/IERC20Metadata.sol


// OpenZeppelin Contracts (last updated v5.0.0) (token/ERC20/extensions/IERC20Metadata.sol)

pragma solidity ^0.8.20;


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

// File: @openzeppelin/contracts/token/ERC20/ERC20.sol


// OpenZeppelin Contracts (last updated v5.0.0) (token/ERC20/ERC20.sol)

pragma solidity ^0.8.20;





/**
 * @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}.
 *
 * TIP: For a detailed writeup see our guide
 * https://forum.openzeppelin.com/t/how-to-implement-erc20-supply-mechanisms/226[How
 * to implement supply mechanisms].
 *
 * The default value of {decimals} is 18. To change this, you should override
 * this function so it returns a different value.
 *
 * 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.
 */
abstract contract ERC20 is Context, IERC20, IERC20Metadata, IERC20Errors {
    mapping(address account => uint256) private _balances;

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

    uint256 private _totalSupply;

    string private _name;
    string private _symbol;

    /**
     * @dev Sets the values for {name} and {symbol}.
     *
     * 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 returns (string memory) {
        return _name;
    }

    /**
     * @dev Returns the symbol of the token, usually a shorter version of the
     * name.
     */
    function symbol() public view virtual 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 default value returned by this function, unless
     * it's 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 returns (uint8) {
        return 18;
    }

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

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

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

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

    /**
     * @dev See {IERC20-approve}.
     *
     * NOTE: If `value` is the maximum `uint256`, the allowance is not updated on
     * `transferFrom`. This is semantically equivalent to an infinite approval.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     */
    function approve(address spender, uint256 value) public virtual returns (bool) {
        address owner = _msgSender();
        _approve(owner, spender, value);
        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}.
     *
     * NOTE: Does not update the allowance if the current allowance
     * is the maximum `uint256`.
     *
     * Requirements:
     *
     * - `from` and `to` cannot be the zero address.
     * - `from` must have a balance of at least `value`.
     * - the caller must have allowance for ``from``'s tokens of at least
     * `value`.
     */
    function transferFrom(address from, address to, uint256 value) public virtual returns (bool) {
        address spender = _msgSender();
        _spendAllowance(from, spender, value);
        _transfer(from, to, value);
        return true;
    }

    /**
     * @dev Moves a `value` amount of tokens from `from` to `to`.
     *
     * 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.
     *
     * NOTE: This function is not virtual, {_update} should be overridden instead.
     */
    function _transfer(address from, address to, uint256 value) internal {
        if (from == address(0)) {
            revert ERC20InvalidSender(address(0));
        }
        if (to == address(0)) {
            revert ERC20InvalidReceiver(address(0));
        }
        _update(from, to, value);
    }

    /**
     * @dev Transfers a `value` amount of tokens from `from` to `to`, or alternatively mints (or burns) if `from`
     * (or `to`) is the zero address. All customizations to transfers, mints, and burns should be done by overriding
     * this function.
     *
     * Emits a {Transfer} event.
     */
    function _update(address from, address to, uint256 value) internal virtual {
        if (from == address(0)) {
            // Overflow check required: The rest of the code assumes that totalSupply never overflows
            _totalSupply += value;
        } else {
            uint256 fromBalance = _balances[from];
            if (fromBalance < value) {
                revert ERC20InsufficientBalance(from, fromBalance, value);
            }
            unchecked {
                // Overflow not possible: value <= fromBalance <= totalSupply.
                _balances[from] = fromBalance - value;
            }
        }

        if (to == address(0)) {
            unchecked {
                // Overflow not possible: value <= totalSupply or value <= fromBalance <= totalSupply.
                _totalSupply -= value;
            }
        } else {
            unchecked {
                // Overflow not possible: balance + value is at most totalSupply, which we know fits into a uint256.
                _balances[to] += value;
            }
        }

        emit Transfer(from, to, value);
    }

    /**
     * @dev Creates a `value` amount of tokens and assigns them to `account`, by transferring it from address(0).
     * Relies on the `_update` mechanism
     *
     * Emits a {Transfer} event with `from` set to the zero address.
     *
     * NOTE: This function is not virtual, {_update} should be overridden instead.
     */
    function _mint(address account, uint256 value) internal {
        if (account == address(0)) {
            revert ERC20InvalidReceiver(address(0));
        }
        _update(address(0), account, value);
    }

    /**
     * @dev Destroys a `value` amount of tokens from `account`, lowering the total supply.
     * Relies on the `_update` mechanism.
     *
     * Emits a {Transfer} event with `to` set to the zero address.
     *
     * NOTE: This function is not virtual, {_update} should be overridden instead
     */
    function _burn(address account, uint256 value) internal {
        if (account == address(0)) {
            revert ERC20InvalidSender(address(0));
        }
        _update(account, address(0), value);
    }

    /**
     * @dev Sets `value` 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.
     *
     * Overrides to this logic should be done to the variant with an additional `bool emitEvent` argument.
     */
    function _approve(address owner, address spender, uint256 value) internal {
        _approve(owner, spender, value, true);
    }

    /**
     * @dev Variant of {_approve} with an optional flag to enable or disable the {Approval} event.
     *
     * By default (when calling {_approve}) the flag is set to true. On the other hand, approval changes made by
     * `_spendAllowance` during the `transferFrom` operation set the flag to false. This saves gas by not emitting any
     * `Approval` event during `transferFrom` operations.
     *
     * Anyone who wishes to continue emitting `Approval` events on the`transferFrom` operation can force the flag to
     * true using the following override:
     * ```
     * function _approve(address owner, address spender, uint256 value, bool) internal virtual override {
     *     super._approve(owner, spender, value, true);
     * }
     * ```
     *
     * Requirements are the same as {_approve}.
     */
    function _approve(address owner, address spender, uint256 value, bool emitEvent) internal virtual {
        if (owner == address(0)) {
            revert ERC20InvalidApprover(address(0));
        }
        if (spender == address(0)) {
            revert ERC20InvalidSpender(address(0));
        }
        _allowances[owner][spender] = value;
        if (emitEvent) {
            emit Approval(owner, spender, value);
        }
    }

    /**
     * @dev Updates `owner` s allowance for `spender` based on spent `value`.
     *
     * Does not update the allowance value in case of infinite allowance.
     * Revert if not enough allowance is available.
     *
     * Does not emit an {Approval} event.
     */
    function _spendAllowance(address owner, address spender, uint256 value) internal virtual {
        uint256 currentAllowance = allowance(owner, spender);
        if (currentAllowance != type(uint256).max) {
            if (currentAllowance < value) {
                revert ERC20InsufficientAllowance(spender, currentAllowance, value);
            }
            unchecked {
                _approve(owner, spender, currentAllowance - value, false);
            }
        }
    }
}

// File: z_duckdao_DD.sol


pragma solidity ^0.8.20;


contract DuckdaoToken is ERC20 {
    bytes32 public DOMAIN_SEPARATOR;
    // keccak256("Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)");
    bytes32 public constant PERMIT_TYPEHASH =
        0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9;
    mapping(address => uint) public nonces;

    constructor(uint256 _supply) ERC20("DuckDAO Token", "DD") {
        uint chainId;
        assembly {
            chainId := chainid()
        }
        DOMAIN_SEPARATOR = keccak256(
            abi.encode(
                keccak256(
                    "EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)"
                ),
                keccak256(bytes("DuckDAO Token")),
                keccak256(bytes("1")),
                chainId,
                address(this)
            )
        );

        _mint(msg.sender, _supply * 1e18);
    }

    function permit(
        address owner,
        address spender,
        uint value,
        uint deadline,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) public {
        require(deadline >= block.timestamp, "Duckdao Permit: EXPIRED");
        bytes32 digest = keccak256(
            abi.encodePacked(
                "\x19\x01",
                DOMAIN_SEPARATOR,
                keccak256(
                    abi.encode(
                        PERMIT_TYPEHASH,
                        owner,
                        spender,
                        value,
                        nonces[owner]++,
                        deadline
                    )
                )
            )
        );
        address recoveredAddress = ecrecover(digest, v, r, s);
        require(
            recoveredAddress != address(0) && recoveredAddress == owner,
            "Duckdao Permit: INVALID_SIGNATURE"
        );
        _approve(owner, spender, value);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"uint256","name":"_supply","type":"uint256"}],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"allowance","type":"uint256"},{"internalType":"uint256","name":"needed","type":"uint256"}],"name":"ERC20InsufficientAllowance","type":"error"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"uint256","name":"balance","type":"uint256"},{"internalType":"uint256","name":"needed","type":"uint256"}],"name":"ERC20InsufficientBalance","type":"error"},{"inputs":[{"internalType":"address","name":"approver","type":"address"}],"name":"ERC20InvalidApprover","type":"error"},{"inputs":[{"internalType":"address","name":"receiver","type":"address"}],"name":"ERC20InvalidReceiver","type":"error"},{"inputs":[{"internalType":"address","name":"sender","type":"address"}],"name":"ERC20InvalidSender","type":"error"},{"inputs":[{"internalType":"address","name":"spender","type":"address"}],"name":"ERC20InvalidSpender","type":"error"},{"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":"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":[],"name":"PERMIT_TYPEHASH","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":"value","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":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"nonces","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"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":"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":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"}]

608060405234801562000010575f80fd5b5060405162001ee538038062001ee58339818101604052810190620000369190620004b4565b6040518060400160405280600d81526020017f4475636b44414f20546f6b656e000000000000000000000000000000000000008152506040518060400160405280600281526020017f44440000000000000000000000000000000000000000000000000000000000008152508160039081620000b391906200073f565b508060049081620000c591906200073f565b5050505f4690507f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f6040518060400160405280600d81526020017f4475636b44414f20546f6b656e00000000000000000000000000000000000000815250805190602001206040518060400160405280600181526020017f31000000000000000000000000000000000000000000000000000000000000008152508051906020012083306040516020016200017f95949392919062000891565b60405160208183030381529060405280519060200120600581905550620001c233670de0b6b3a764000084620001b6919062000919565b620001ca60201b60201c565b505062000a0e565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036200023d575f6040517fec442f0500000000000000000000000000000000000000000000000000000000815260040162000234919062000963565b60405180910390fd5b620002505f83836200025460201b60201c565b5050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603620002a8578060025f8282546200029b91906200097e565b9250508190555062000379565b5f805f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490508181101562000334578381836040517fe450d38c0000000000000000000000000000000000000000000000000000000081526004016200032b93929190620009b8565b60405180910390fd5b8181035f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550505b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603620003c2578060025f82825403925050819055506200040c565b805f808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055505b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516200046b9190620009f3565b60405180910390a3505050565b5f80fd5b5f819050919050565b62000490816200047c565b81146200049b575f80fd5b50565b5f81519050620004ae8162000485565b92915050565b5f60208284031215620004cc57620004cb62000478565b5b5f620004db848285016200049e565b91505092915050565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806200056057607f821691505b6020821081036200057657620005756200051b565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f60088302620005da7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff826200059d565b620005e686836200059d565b95508019841693508086168417925050509392505050565b5f819050919050565b5f62000627620006216200061b846200047c565b620005fe565b6200047c565b9050919050565b5f819050919050565b620006428362000607565b6200065a62000651826200062e565b848454620005a9565b825550505050565b5f90565b6200067062000662565b6200067d81848462000637565b505050565b5b81811015620006a457620006985f8262000666565b60018101905062000683565b5050565b601f821115620006f357620006bd816200057c565b620006c8846200058e565b81016020851015620006d8578190505b620006f0620006e7856200058e565b83018262000682565b50505b505050565b5f82821c905092915050565b5f620007155f1984600802620006f8565b1980831691505092915050565b5f6200072f838362000704565b9150826002028217905092915050565b6200074a82620004e4565b67ffffffffffffffff811115620007665762000765620004ee565b5b62000772825462000548565b6200077f828285620006a8565b5f60209050601f831160018114620007b5575f8415620007a0578287015190505b620007ac858262000722565b8655506200081b565b601f198416620007c5866200057c565b5f5b82811015620007ee57848901518255600182019150602085019450602081019050620007c7565b868310156200080e57848901516200080a601f89168262000704565b8355505b6001600288020188555050505b505050505050565b5f819050919050565b620008378162000823565b82525050565b62000848816200047c565b82525050565b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f62000879826200084e565b9050919050565b6200088b816200086d565b82525050565b5f60a082019050620008a65f8301886200082c565b620008b560208301876200082c565b620008c460408301866200082c565b620008d360608301856200083d565b620008e2608083018462000880565b9695505050505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f62000925826200047c565b915062000932836200047c565b925082820262000942816200047c565b915082820484148315176200095c576200095b620008ec565b5b5092915050565b5f602082019050620009785f83018462000880565b92915050565b5f6200098a826200047c565b915062000997836200047c565b9250828201905080821115620009b257620009b1620008ec565b5b92915050565b5f606082019050620009cd5f83018662000880565b620009dc60208301856200083d565b620009eb60408301846200083d565b949350505050565b5f60208201905062000a085f8301846200083d565b92915050565b6114c98062000a1c5f395ff3fe608060405234801561000f575f80fd5b50600436106100cd575f3560e01c80633644e5151161008a57806395d89b411161006457806395d89b4114610227578063a9059cbb14610245578063d505accf14610275578063dd62ed3e14610291576100cd565b80633644e515146101a957806370a08231146101c75780637ecebe00146101f7576100cd565b806306fdde03146100d1578063095ea7b3146100ef57806318160ddd1461011f57806323b872dd1461013d57806330adf81f1461016d578063313ce5671461018b575b5f80fd5b6100d96102c1565b6040516100e69190610d97565b60405180910390f35b61010960048036038101906101049190610e48565b610351565b6040516101169190610ea0565b60405180910390f35b610127610373565b6040516101349190610ec8565b60405180910390f35b61015760048036038101906101529190610ee1565b61037c565b6040516101649190610ea0565b60405180910390f35b6101756103aa565b6040516101829190610f49565b60405180910390f35b6101936103d0565b6040516101a09190610f7d565b60405180910390f35b6101b16103d8565b6040516101be9190610f49565b60405180910390f35b6101e160048036038101906101dc9190610f96565b6103de565b6040516101ee9190610ec8565b60405180910390f35b610211600480360381019061020c9190610f96565b610423565b60405161021e9190610ec8565b60405180910390f35b61022f610438565b60405161023c9190610d97565b60405180910390f35b61025f600480360381019061025a9190610e48565b6104c8565b60405161026c9190610ea0565b60405180910390f35b61028f600480360381019061028a9190611015565b6104ea565b005b6102ab60048036038101906102a691906110b2565b610708565b6040516102b89190610ec8565b60405180910390f35b6060600380546102d09061111d565b80601f01602080910402602001604051908101604052809291908181526020018280546102fc9061111d565b80156103475780601f1061031e57610100808354040283529160200191610347565b820191905f5260205f20905b81548152906001019060200180831161032a57829003601f168201915b5050505050905090565b5f8061035b61078a565b9050610368818585610791565b600191505092915050565b5f600254905090565b5f8061038661078a565b90506103938582856107a3565b61039e858585610835565b60019150509392505050565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c95f1b81565b5f6012905090565b60055481565b5f805f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b6006602052805f5260405f205f915090505481565b6060600480546104479061111d565b80601f01602080910402602001604051908101604052809291908181526020018280546104739061111d565b80156104be5780601f10610495576101008083540402835291602001916104be565b820191905f5260205f20905b8154815290600101906020018083116104a157829003601f168201915b5050505050905090565b5f806104d261078a565b90506104df818585610835565b600191505092915050565b4284101561052d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161052490611197565b60405180910390fd5b5f6005547f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c95f1b89898960065f8e73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8154809291906105a4906111e2565b919050558a6040516020016105be96959493929190611238565b604051602081830303815290604052805190602001206040516020016105e592919061130b565b6040516020818303038152906040528051906020012090505f6001828686866040515f81526020016040526040516106209493929190611341565b6020604051602081039080840390855afa158015610640573d5f803e3d5ffd5b5050506020604051035190505f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141580156106b357508873ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b6106f2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106e9906113f4565b60405180910390fd5b6106fd898989610791565b505050505050505050565b5f60015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b5f33905090565b61079e8383836001610925565b505050565b5f6107ae8484610708565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff811461082f5781811015610820578281836040517ffb8f41b200000000000000000000000000000000000000000000000000000000815260040161081793929190611412565b60405180910390fd5b61082e84848484035f610925565b5b50505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036108a5575f6040517f96c6fd1e00000000000000000000000000000000000000000000000000000000815260040161089c9190611447565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610915575f6040517fec442f0500000000000000000000000000000000000000000000000000000000815260040161090c9190611447565b60405180910390fd5b610920838383610af4565b505050565b5f73ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1603610995575f6040517fe602df0500000000000000000000000000000000000000000000000000000000815260040161098c9190611447565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610a05575f6040517f94280d620000000000000000000000000000000000000000000000000000000081526004016109fc9190611447565b60405180910390fd5b8160015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508015610aee578273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92584604051610ae59190610ec8565b60405180910390a35b50505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610b44578060025f828254610b389190611460565b92505081905550610c12565b5f805f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905081811015610bcd578381836040517fe450d38c000000000000000000000000000000000000000000000000000000008152600401610bc493929190611412565b60405180910390fd5b8181035f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550505b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610c59578060025f8282540392505081905550610ca3565b805f808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055505b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610d009190610ec8565b60405180910390a3505050565b5f81519050919050565b5f82825260208201905092915050565b5f5b83811015610d44578082015181840152602081019050610d29565b5f8484015250505050565b5f601f19601f8301169050919050565b5f610d6982610d0d565b610d738185610d17565b9350610d83818560208601610d27565b610d8c81610d4f565b840191505092915050565b5f6020820190508181035f830152610daf8184610d5f565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f610de482610dbb565b9050919050565b610df481610dda565b8114610dfe575f80fd5b50565b5f81359050610e0f81610deb565b92915050565b5f819050919050565b610e2781610e15565b8114610e31575f80fd5b50565b5f81359050610e4281610e1e565b92915050565b5f8060408385031215610e5e57610e5d610db7565b5b5f610e6b85828601610e01565b9250506020610e7c85828601610e34565b9150509250929050565b5f8115159050919050565b610e9a81610e86565b82525050565b5f602082019050610eb35f830184610e91565b92915050565b610ec281610e15565b82525050565b5f602082019050610edb5f830184610eb9565b92915050565b5f805f60608486031215610ef857610ef7610db7565b5b5f610f0586828701610e01565b9350506020610f1686828701610e01565b9250506040610f2786828701610e34565b9150509250925092565b5f819050919050565b610f4381610f31565b82525050565b5f602082019050610f5c5f830184610f3a565b92915050565b5f60ff82169050919050565b610f7781610f62565b82525050565b5f602082019050610f905f830184610f6e565b92915050565b5f60208284031215610fab57610faa610db7565b5b5f610fb884828501610e01565b91505092915050565b610fca81610f62565b8114610fd4575f80fd5b50565b5f81359050610fe581610fc1565b92915050565b610ff481610f31565b8114610ffe575f80fd5b50565b5f8135905061100f81610feb565b92915050565b5f805f805f805f60e0888a0312156110305761102f610db7565b5b5f61103d8a828b01610e01565b975050602061104e8a828b01610e01565b965050604061105f8a828b01610e34565b95505060606110708a828b01610e34565b94505060806110818a828b01610fd7565b93505060a06110928a828b01611001565b92505060c06110a38a828b01611001565b91505092959891949750929550565b5f80604083850312156110c8576110c7610db7565b5b5f6110d585828601610e01565b92505060206110e685828601610e01565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061113457607f821691505b602082108103611147576111466110f0565b5b50919050565b7f4475636b64616f205065726d69743a20455850495245440000000000000000005f82015250565b5f611181601783610d17565b915061118c8261114d565b602082019050919050565b5f6020820190508181035f8301526111ae81611175565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6111ec82610e15565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff820361121e5761121d6111b5565b5b600182019050919050565b61123281610dda565b82525050565b5f60c08201905061124b5f830189610f3a565b6112586020830188611229565b6112656040830187611229565b6112726060830186610eb9565b61127f6080830185610eb9565b61128c60a0830184610eb9565b979650505050505050565b5f81905092915050565b7f19010000000000000000000000000000000000000000000000000000000000005f82015250565b5f6112d5600283611297565b91506112e0826112a1565b600282019050919050565b5f819050919050565b61130561130082610f31565b6112eb565b82525050565b5f611315826112c9565b915061132182856112f4565b60208201915061133182846112f4565b6020820191508190509392505050565b5f6080820190506113545f830187610f3a565b6113616020830186610f6e565b61136e6040830185610f3a565b61137b6060830184610f3a565b95945050505050565b7f4475636b64616f205065726d69743a20494e56414c49445f5349474e415455525f8201527f4500000000000000000000000000000000000000000000000000000000000000602082015250565b5f6113de602183610d17565b91506113e982611384565b604082019050919050565b5f6020820190508181035f83015261140b816113d2565b9050919050565b5f6060820190506114255f830186611229565b6114326020830185610eb9565b61143f6040830184610eb9565b949350505050565b5f60208201905061145a5f830184611229565b92915050565b5f61146a82610e15565b915061147583610e15565b925082820190508082111561148d5761148c6111b5565b5b9291505056fea2646970667358221220ec516a85856fee42bdd0e50b2ecf1c9ba1f73597cb91ba1fd24ca654d712231d64736f6c634300081600330000000000000000000000000000000000000000000000000000000000c65d40

0x608060405234801561000f575f80fd5b50600436106100cd575f3560e01c80633644e5151161008a57806395d89b411161006457806395d89b4114610227578063a9059cbb14610245578063d505accf14610275578063dd62ed3e14610291576100cd565b80633644e515146101a957806370a08231146101c75780637ecebe00146101f7576100cd565b806306fdde03146100d1578063095ea7b3146100ef57806318160ddd1461011f57806323b872dd1461013d57806330adf81f1461016d578063313ce5671461018b575b5f80fd5b6100d96102c1565b6040516100e69190610d97565b60405180910390f35b61010960048036038101906101049190610e48565b610351565b6040516101169190610ea0565b60405180910390f35b610127610373565b6040516101349190610ec8565b60405180910390f35b61015760048036038101906101529190610ee1565b61037c565b6040516101649190610ea0565b60405180910390f35b6101756103aa565b6040516101829190610f49565b60405180910390f35b6101936103d0565b6040516101a09190610f7d565b60405180910390f35b6101b16103d8565b6040516101be9190610f49565b60405180910390f35b6101e160048036038101906101dc9190610f96565b6103de565b6040516101ee9190610ec8565b60405180910390f35b610211600480360381019061020c9190610f96565b610423565b60405161021e9190610ec8565b60405180910390f35b61022f610438565b60405161023c9190610d97565b60405180910390f35b61025f600480360381019061025a9190610e48565b6104c8565b60405161026c9190610ea0565b60405180910390f35b61028f600480360381019061028a9190611015565b6104ea565b005b6102ab60048036038101906102a691906110b2565b610708565b6040516102b89190610ec8565b60405180910390f35b6060600380546102d09061111d565b80601f01602080910402602001604051908101604052809291908181526020018280546102fc9061111d565b80156103475780601f1061031e57610100808354040283529160200191610347565b820191905f5260205f20905b81548152906001019060200180831161032a57829003601f168201915b5050505050905090565b5f8061035b61078a565b9050610368818585610791565b600191505092915050565b5f600254905090565b5f8061038661078a565b90506103938582856107a3565b61039e858585610835565b60019150509392505050565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c95f1b81565b5f6012905090565b60055481565b5f805f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b6006602052805f5260405f205f915090505481565b6060600480546104479061111d565b80601f01602080910402602001604051908101604052809291908181526020018280546104739061111d565b80156104be5780601f10610495576101008083540402835291602001916104be565b820191905f5260205f20905b8154815290600101906020018083116104a157829003601f168201915b5050505050905090565b5f806104d261078a565b90506104df818585610835565b600191505092915050565b4284101561052d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161052490611197565b60405180910390fd5b5f6005547f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c95f1b89898960065f8e73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8154809291906105a4906111e2565b919050558a6040516020016105be96959493929190611238565b604051602081830303815290604052805190602001206040516020016105e592919061130b565b6040516020818303038152906040528051906020012090505f6001828686866040515f81526020016040526040516106209493929190611341565b6020604051602081039080840390855afa158015610640573d5f803e3d5ffd5b5050506020604051035190505f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141580156106b357508873ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b6106f2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106e9906113f4565b60405180910390fd5b6106fd898989610791565b505050505050505050565b5f60015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b5f33905090565b61079e8383836001610925565b505050565b5f6107ae8484610708565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff811461082f5781811015610820578281836040517ffb8f41b200000000000000000000000000000000000000000000000000000000815260040161081793929190611412565b60405180910390fd5b61082e84848484035f610925565b5b50505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036108a5575f6040517f96c6fd1e00000000000000000000000000000000000000000000000000000000815260040161089c9190611447565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610915575f6040517fec442f0500000000000000000000000000000000000000000000000000000000815260040161090c9190611447565b60405180910390fd5b610920838383610af4565b505050565b5f73ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1603610995575f6040517fe602df0500000000000000000000000000000000000000000000000000000000815260040161098c9190611447565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610a05575f6040517f94280d620000000000000000000000000000000000000000000000000000000081526004016109fc9190611447565b60405180910390fd5b8160015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508015610aee578273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92584604051610ae59190610ec8565b60405180910390a35b50505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610b44578060025f828254610b389190611460565b92505081905550610c12565b5f805f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905081811015610bcd578381836040517fe450d38c000000000000000000000000000000000000000000000000000000008152600401610bc493929190611412565b60405180910390fd5b8181035f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550505b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610c59578060025f8282540392505081905550610ca3565b805f808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055505b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610d009190610ec8565b60405180910390a3505050565b5f81519050919050565b5f82825260208201905092915050565b5f5b83811015610d44578082015181840152602081019050610d29565b5f8484015250505050565b5f601f19601f8301169050919050565b5f610d6982610d0d565b610d738185610d17565b9350610d83818560208601610d27565b610d8c81610d4f565b840191505092915050565b5f6020820190508181035f830152610daf8184610d5f565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f610de482610dbb565b9050919050565b610df481610dda565b8114610dfe575f80fd5b50565b5f81359050610e0f81610deb565b92915050565b5f819050919050565b610e2781610e15565b8114610e31575f80fd5b50565b5f81359050610e4281610e1e565b92915050565b5f8060408385031215610e5e57610e5d610db7565b5b5f610e6b85828601610e01565b9250506020610e7c85828601610e34565b9150509250929050565b5f8115159050919050565b610e9a81610e86565b82525050565b5f602082019050610eb35f830184610e91565b92915050565b610ec281610e15565b82525050565b5f602082019050610edb5f830184610eb9565b92915050565b5f805f60608486031215610ef857610ef7610db7565b5b5f610f0586828701610e01565b9350506020610f1686828701610e01565b9250506040610f2786828701610e34565b9150509250925092565b5f819050919050565b610f4381610f31565b82525050565b5f602082019050610f5c5f830184610f3a565b92915050565b5f60ff82169050919050565b610f7781610f62565b82525050565b5f602082019050610f905f830184610f6e565b92915050565b5f60208284031215610fab57610faa610db7565b5b5f610fb884828501610e01565b91505092915050565b610fca81610f62565b8114610fd4575f80fd5b50565b5f81359050610fe581610fc1565b92915050565b610ff481610f31565b8114610ffe575f80fd5b50565b5f8135905061100f81610feb565b92915050565b5f805f805f805f60e0888a0312156110305761102f610db7565b5b5f61103d8a828b01610e01565b975050602061104e8a828b01610e01565b965050604061105f8a828b01610e34565b95505060606110708a828b01610e34565b94505060806110818a828b01610fd7565b93505060a06110928a828b01611001565b92505060c06110a38a828b01611001565b91505092959891949750929550565b5f80604083850312156110c8576110c7610db7565b5b5f6110d585828601610e01565b92505060206110e685828601610e01565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061113457607f821691505b602082108103611147576111466110f0565b5b50919050565b7f4475636b64616f205065726d69743a20455850495245440000000000000000005f82015250565b5f611181601783610d17565b915061118c8261114d565b602082019050919050565b5f6020820190508181035f8301526111ae81611175565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6111ec82610e15565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff820361121e5761121d6111b5565b5b600182019050919050565b61123281610dda565b82525050565b5f60c08201905061124b5f830189610f3a565b6112586020830188611229565b6112656040830187611229565b6112726060830186610eb9565b61127f6080830185610eb9565b61128c60a0830184610eb9565b979650505050505050565b5f81905092915050565b7f19010000000000000000000000000000000000000000000000000000000000005f82015250565b5f6112d5600283611297565b91506112e0826112a1565b600282019050919050565b5f819050919050565b61130561130082610f31565b6112eb565b82525050565b5f611315826112c9565b915061132182856112f4565b60208201915061133182846112f4565b6020820191508190509392505050565b5f6080820190506113545f830187610f3a565b6113616020830186610f6e565b61136e6040830185610f3a565b61137b6060830184610f3a565b95945050505050565b7f4475636b64616f205065726d69743a20494e56414c49445f5349474e415455525f8201527f4500000000000000000000000000000000000000000000000000000000000000602082015250565b5f6113de602183610d17565b91506113e982611384565b604082019050919050565b5f6020820190508181035f83015261140b816113d2565b9050919050565b5f6060820190506114255f830186611229565b6114326020830185610eb9565b61143f6040830184610eb9565b949350505050565b5f60208201905061145a5f830184611229565b92915050565b5f61146a82610e15565b915061147583610e15565b925082820190508082111561148d5761148c6111b5565b5b9291505056fea2646970667358221220ec516a85856fee42bdd0e50b2ecf1c9ba1f73597cb91ba1fd24ca654d712231d64736f6c63430008160033

0000000000000000000000000000000000000000000000000000000000c65d40

-----Decoded View---------------
Arg [0] : _supply (uint256): 13000000

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

22581:1959:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13190:91;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;15483:190;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;14292:99;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;16251:249;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;22762:117;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;14143:84;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;22619:31;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;14454:118;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;22886:38;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;13400:95;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;14777:182;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;23535:1002;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;15022:142;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;13190:91;13235:13;13268:5;13261:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13190:91;:::o;15483:190::-;15556:4;15573:13;15589:12;:10;:12::i;:::-;15573:28;;15612:31;15621:5;15628:7;15637:5;15612:8;:31::i;:::-;15661:4;15654:11;;;15483:190;;;;:::o;14292:99::-;14344:7;14371:12;;14364:19;;14292:99;:::o;16251:249::-;16338:4;16355:15;16373:12;:10;:12::i;:::-;16355:30;;16396:37;16412:4;16418:7;16427:5;16396:15;:37::i;:::-;16444:26;16454:4;16460:2;16464:5;16444:9;:26::i;:::-;16488:4;16481:11;;;16251:249;;;;;:::o;22762:117::-;22813:66;22762:117;;;:::o;14143:84::-;14192:5;14217:2;14210:9;;14143:84;:::o;22619:31::-;;;;:::o;14454:118::-;14519:7;14546:9;:18;14556:7;14546:18;;;;;;;;;;;;;;;;14539:25;;14454:118;;;:::o;22886:38::-;;;;;;;;;;;;;;;;;:::o;13400:95::-;13447:13;13480:7;13473:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13400:95;:::o;14777:182::-;14846:4;14863:13;14879:12;:10;:12::i;:::-;14863:28;;14902:27;14912:5;14919:2;14923:5;14902:9;:27::i;:::-;14947:4;14940:11;;;14777:182;;;;:::o;23535:1002::-;23749:15;23737:8;:27;;23729:63;;;;;;;;;;;;:::i;:::-;;;;;;;;;23803:14;23908:16;;22813:66;24012:15;;24054:5;24086:7;24120:5;24152:6;:13;24159:5;24152:13;;;;;;;;;;;;;;;;:15;;;;;;;;;:::i;:::-;;;;;24194:8;23975:250;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;23943:301;;;;;;23844:415;;;;;;;;;:::i;:::-;;;;;;;;;;;;;23820:450;;;;;;23803:467;;24281:24;24308:26;24318:6;24326:1;24329;24332;24308:26;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;24281:53;;24395:1;24367:30;;:16;:30;;;;:59;;;;;24421:5;24401:25;;:16;:25;;;24367:59;24345:142;;;;;;;;;;;;:::i;:::-;;;;;;;;;24498:31;24507:5;24514:7;24523:5;24498:8;:31::i;:::-;23718:819;;23535:1002;;;;;;;:::o;15022:142::-;15102:7;15129:11;:18;15141:5;15129:18;;;;;;;;;;;;;;;:27;15148:7;15129:27;;;;;;;;;;;;;;;;15122:34;;15022:142;;;;:::o;7425:98::-;7478:7;7505:10;7498:17;;7425:98;:::o;20310:130::-;20395:37;20404:5;20411:7;20420:5;20427:4;20395:8;:37::i;:::-;20310:130;;;:::o;22026:487::-;22126:24;22153:25;22163:5;22170:7;22153:9;:25::i;:::-;22126:52;;22213:17;22193:16;:37;22189:317;;22270:5;22251:16;:24;22247:132;;;22330:7;22339:16;22357:5;22303:60;;;;;;;;;;;;;:::i;:::-;;;;;;;;22247:132;22422:57;22431:5;22438:7;22466:5;22447:16;:24;22473:5;22422:8;:57::i;:::-;22189:317;22115:398;22026:487;;;:::o;16885:308::-;16985:1;16969:18;;:4;:18;;;16965:88;;17038:1;17011:30;;;;;;;;;;;:::i;:::-;;;;;;;;16965:88;17081:1;17067:16;;:2;:16;;;17063:88;;17136:1;17107:32;;;;;;;;;;;:::i;:::-;;;;;;;;17063:88;17161:24;17169:4;17175:2;17179:5;17161:7;:24::i;:::-;16885:308;;;:::o;21291:443::-;21421:1;21404:19;;:5;:19;;;21400:91;;21476:1;21447:32;;;;;;;;;;;:::i;:::-;;;;;;;;21400:91;21524:1;21505:21;;:7;:21;;;21501:92;;21578:1;21550:31;;;;;;;;;;;:::i;:::-;;;;;;;;21501:92;21633:5;21603:11;:18;21615:5;21603:18;;;;;;;;;;;;;;;:27;21622:7;21603:27;;;;;;;;;;;;;;;:35;;;;21653:9;21649:78;;;21700:7;21684:31;;21693:5;21684:31;;;21709:5;21684:31;;;;;;:::i;:::-;;;;;;;;21649:78;21291:443;;;;:::o;17517:1135::-;17623:1;17607:18;;:4;:18;;;17603:552;;17761:5;17745:12;;:21;;;;;;;:::i;:::-;;;;;;;;17603:552;;;17799:19;17821:9;:15;17831:4;17821:15;;;;;;;;;;;;;;;;17799:37;;17869:5;17855:11;:19;17851:117;;;17927:4;17933:11;17946:5;17902:50;;;;;;;;;;;;;:::i;:::-;;;;;;;;17851:117;18123:5;18109:11;:19;18091:9;:15;18101:4;18091:15;;;;;;;;;;;;;;;:37;;;;17784:371;17603:552;18185:1;18171:16;;:2;:16;;;18167:435;;18353:5;18337:12;;:21;;;;;;;;;;;18167:435;;;18570:5;18553:9;:13;18563:2;18553:13;;;;;;;;;;;;;;;;:22;;;;;;;;;;;18167:435;18634:2;18619:25;;18628:4;18619:25;;;18638:5;18619:25;;;;;;:::i;:::-;;;;;;;;17517:1135;;;:::o;7:99:1:-;59:6;93:5;87:12;77:22;;7:99;;;:::o;112:169::-;196:11;230:6;225:3;218:19;270:4;265:3;261:14;246:29;;112:169;;;;:::o;287:246::-;368:1;378:113;392:6;389:1;386:13;378:113;;;477:1;472:3;468:11;462:18;458:1;453:3;449:11;442:39;414:2;411:1;407:10;402:15;;378:113;;;525:1;516:6;511:3;507:16;500:27;349:184;287:246;;;:::o;539:102::-;580:6;631:2;627:7;622:2;615:5;611:14;607:28;597:38;;539:102;;;:::o;647:377::-;735:3;763:39;796:5;763:39;:::i;:::-;818:71;882:6;877:3;818:71;:::i;:::-;811:78;;898:65;956:6;951:3;944:4;937:5;933:16;898:65;:::i;:::-;988:29;1010:6;988:29;:::i;:::-;983:3;979:39;972:46;;739:285;647:377;;;;:::o;1030:313::-;1143:4;1181:2;1170:9;1166:18;1158:26;;1230:9;1224:4;1220:20;1216:1;1205:9;1201:17;1194:47;1258:78;1331:4;1322:6;1258:78;:::i;:::-;1250:86;;1030:313;;;;:::o;1430:117::-;1539:1;1536;1529:12;1676:126;1713:7;1753:42;1746:5;1742:54;1731:65;;1676:126;;;:::o;1808:96::-;1845:7;1874:24;1892:5;1874:24;:::i;:::-;1863:35;;1808:96;;;:::o;1910:122::-;1983:24;2001:5;1983:24;:::i;:::-;1976:5;1973:35;1963:63;;2022:1;2019;2012:12;1963:63;1910:122;:::o;2038:139::-;2084:5;2122:6;2109:20;2100:29;;2138:33;2165:5;2138:33;:::i;:::-;2038:139;;;;:::o;2183:77::-;2220:7;2249:5;2238:16;;2183:77;;;:::o;2266:122::-;2339:24;2357:5;2339:24;:::i;:::-;2332:5;2329:35;2319:63;;2378:1;2375;2368:12;2319:63;2266:122;:::o;2394:139::-;2440:5;2478:6;2465:20;2456:29;;2494:33;2521:5;2494:33;:::i;:::-;2394:139;;;;:::o;2539:474::-;2607:6;2615;2664:2;2652:9;2643:7;2639:23;2635:32;2632:119;;;2670:79;;:::i;:::-;2632:119;2790:1;2815:53;2860:7;2851:6;2840:9;2836:22;2815:53;:::i;:::-;2805:63;;2761:117;2917:2;2943:53;2988:7;2979:6;2968:9;2964:22;2943:53;:::i;:::-;2933:63;;2888:118;2539:474;;;;;:::o;3019:90::-;3053:7;3096:5;3089:13;3082:21;3071:32;;3019:90;;;:::o;3115:109::-;3196:21;3211:5;3196:21;:::i;:::-;3191:3;3184:34;3115:109;;:::o;3230:210::-;3317:4;3355:2;3344:9;3340:18;3332:26;;3368:65;3430:1;3419:9;3415:17;3406:6;3368:65;:::i;:::-;3230:210;;;;:::o;3446:118::-;3533:24;3551:5;3533:24;:::i;:::-;3528:3;3521:37;3446:118;;:::o;3570:222::-;3663:4;3701:2;3690:9;3686:18;3678:26;;3714:71;3782:1;3771:9;3767:17;3758:6;3714:71;:::i;:::-;3570:222;;;;:::o;3798:619::-;3875:6;3883;3891;3940:2;3928:9;3919:7;3915:23;3911:32;3908:119;;;3946:79;;:::i;:::-;3908:119;4066:1;4091:53;4136:7;4127:6;4116:9;4112:22;4091:53;:::i;:::-;4081:63;;4037:117;4193:2;4219:53;4264:7;4255:6;4244:9;4240:22;4219:53;:::i;:::-;4209:63;;4164:118;4321:2;4347:53;4392:7;4383:6;4372:9;4368:22;4347:53;:::i;:::-;4337:63;;4292:118;3798:619;;;;;:::o;4423:77::-;4460:7;4489:5;4478:16;;4423:77;;;:::o;4506:118::-;4593:24;4611:5;4593:24;:::i;:::-;4588:3;4581:37;4506:118;;:::o;4630:222::-;4723:4;4761:2;4750:9;4746:18;4738:26;;4774:71;4842:1;4831:9;4827:17;4818:6;4774:71;:::i;:::-;4630:222;;;;:::o;4858:86::-;4893:7;4933:4;4926:5;4922:16;4911:27;;4858:86;;;:::o;4950:112::-;5033:22;5049:5;5033:22;:::i;:::-;5028:3;5021:35;4950:112;;:::o;5068:214::-;5157:4;5195:2;5184:9;5180:18;5172:26;;5208:67;5272:1;5261:9;5257:17;5248:6;5208:67;:::i;:::-;5068:214;;;;:::o;5288:329::-;5347:6;5396:2;5384:9;5375:7;5371:23;5367:32;5364:119;;;5402:79;;:::i;:::-;5364:119;5522:1;5547:53;5592:7;5583:6;5572:9;5568:22;5547:53;:::i;:::-;5537:63;;5493:117;5288:329;;;;:::o;5623:118::-;5694:22;5710:5;5694:22;:::i;:::-;5687:5;5684:33;5674:61;;5731:1;5728;5721:12;5674:61;5623:118;:::o;5747:135::-;5791:5;5829:6;5816:20;5807:29;;5845:31;5870:5;5845:31;:::i;:::-;5747:135;;;;:::o;5888:122::-;5961:24;5979:5;5961:24;:::i;:::-;5954:5;5951:35;5941:63;;6000:1;5997;5990:12;5941:63;5888:122;:::o;6016:139::-;6062:5;6100:6;6087:20;6078:29;;6116:33;6143:5;6116:33;:::i;:::-;6016:139;;;;:::o;6161:1199::-;6272:6;6280;6288;6296;6304;6312;6320;6369:3;6357:9;6348:7;6344:23;6340:33;6337:120;;;6376:79;;:::i;:::-;6337:120;6496:1;6521:53;6566:7;6557:6;6546:9;6542:22;6521:53;:::i;:::-;6511:63;;6467:117;6623:2;6649:53;6694:7;6685:6;6674:9;6670:22;6649:53;:::i;:::-;6639:63;;6594:118;6751:2;6777:53;6822:7;6813:6;6802:9;6798:22;6777:53;:::i;:::-;6767:63;;6722:118;6879:2;6905:53;6950:7;6941:6;6930:9;6926:22;6905:53;:::i;:::-;6895:63;;6850:118;7007:3;7034:51;7077:7;7068:6;7057:9;7053:22;7034:51;:::i;:::-;7024:61;;6978:117;7134:3;7161:53;7206:7;7197:6;7186:9;7182:22;7161:53;:::i;:::-;7151:63;;7105:119;7263:3;7290:53;7335:7;7326:6;7315:9;7311:22;7290:53;:::i;:::-;7280:63;;7234:119;6161:1199;;;;;;;;;;:::o;7366:474::-;7434:6;7442;7491:2;7479:9;7470:7;7466:23;7462:32;7459:119;;;7497:79;;:::i;:::-;7459:119;7617:1;7642:53;7687:7;7678:6;7667:9;7663:22;7642:53;:::i;:::-;7632:63;;7588:117;7744:2;7770:53;7815:7;7806:6;7795:9;7791:22;7770:53;:::i;:::-;7760:63;;7715:118;7366:474;;;;;:::o;7846:180::-;7894:77;7891:1;7884:88;7991:4;7988:1;7981:15;8015:4;8012:1;8005:15;8032:320;8076:6;8113:1;8107:4;8103:12;8093:22;;8160:1;8154:4;8150:12;8181:18;8171:81;;8237:4;8229:6;8225:17;8215:27;;8171:81;8299:2;8291:6;8288:14;8268:18;8265:38;8262:84;;8318:18;;:::i;:::-;8262:84;8083:269;8032:320;;;:::o;8358:173::-;8498:25;8494:1;8486:6;8482:14;8475:49;8358:173;:::o;8537:366::-;8679:3;8700:67;8764:2;8759:3;8700:67;:::i;:::-;8693:74;;8776:93;8865:3;8776:93;:::i;:::-;8894:2;8889:3;8885:12;8878:19;;8537:366;;;:::o;8909:419::-;9075:4;9113:2;9102:9;9098:18;9090:26;;9162:9;9156:4;9152:20;9148:1;9137:9;9133:17;9126:47;9190:131;9316:4;9190:131;:::i;:::-;9182:139;;8909:419;;;:::o;9334:180::-;9382:77;9379:1;9372:88;9479:4;9476:1;9469:15;9503:4;9500:1;9493:15;9520:233;9559:3;9582:24;9600:5;9582:24;:::i;:::-;9573:33;;9628:66;9621:5;9618:77;9615:103;;9698:18;;:::i;:::-;9615:103;9745:1;9738:5;9734:13;9727:20;;9520:233;;;:::o;9759:118::-;9846:24;9864:5;9846:24;:::i;:::-;9841:3;9834:37;9759:118;;:::o;9883:775::-;10116:4;10154:3;10143:9;10139:19;10131:27;;10168:71;10236:1;10225:9;10221:17;10212:6;10168:71;:::i;:::-;10249:72;10317:2;10306:9;10302:18;10293:6;10249:72;:::i;:::-;10331;10399:2;10388:9;10384:18;10375:6;10331:72;:::i;:::-;10413;10481:2;10470:9;10466:18;10457:6;10413:72;:::i;:::-;10495:73;10563:3;10552:9;10548:19;10539:6;10495:73;:::i;:::-;10578;10646:3;10635:9;10631:19;10622:6;10578:73;:::i;:::-;9883:775;;;;;;;;;:::o;10664:148::-;10766:11;10803:3;10788:18;;10664:148;;;;:::o;10818:214::-;10958:66;10954:1;10946:6;10942:14;10935:90;10818:214;:::o;11038:400::-;11198:3;11219:84;11301:1;11296:3;11219:84;:::i;:::-;11212:91;;11312:93;11401:3;11312:93;:::i;:::-;11430:1;11425:3;11421:11;11414:18;;11038:400;;;:::o;11444:79::-;11483:7;11512:5;11501:16;;11444:79;;;:::o;11529:157::-;11634:45;11654:24;11672:5;11654:24;:::i;:::-;11634:45;:::i;:::-;11629:3;11622:58;11529:157;;:::o;11692:663::-;11933:3;11955:148;12099:3;11955:148;:::i;:::-;11948:155;;12113:75;12184:3;12175:6;12113:75;:::i;:::-;12213:2;12208:3;12204:12;12197:19;;12226:75;12297:3;12288:6;12226:75;:::i;:::-;12326:2;12321:3;12317:12;12310:19;;12346:3;12339:10;;11692:663;;;;;:::o;12361:545::-;12534:4;12572:3;12561:9;12557:19;12549:27;;12586:71;12654:1;12643:9;12639:17;12630:6;12586:71;:::i;:::-;12667:68;12731:2;12720:9;12716:18;12707:6;12667:68;:::i;:::-;12745:72;12813:2;12802:9;12798:18;12789:6;12745:72;:::i;:::-;12827;12895:2;12884:9;12880:18;12871:6;12827:72;:::i;:::-;12361:545;;;;;;;:::o;12912:220::-;13052:34;13048:1;13040:6;13036:14;13029:58;13121:3;13116:2;13108:6;13104:15;13097:28;12912:220;:::o;13138:366::-;13280:3;13301:67;13365:2;13360:3;13301:67;:::i;:::-;13294:74;;13377:93;13466:3;13377:93;:::i;:::-;13495:2;13490:3;13486:12;13479:19;;13138:366;;;:::o;13510:419::-;13676:4;13714:2;13703:9;13699:18;13691:26;;13763:9;13757:4;13753:20;13749:1;13738:9;13734:17;13727:47;13791:131;13917:4;13791:131;:::i;:::-;13783:139;;13510:419;;;:::o;13935:442::-;14084:4;14122:2;14111:9;14107:18;14099:26;;14135:71;14203:1;14192:9;14188:17;14179:6;14135:71;:::i;:::-;14216:72;14284:2;14273:9;14269:18;14260:6;14216:72;:::i;:::-;14298;14366:2;14355:9;14351:18;14342:6;14298:72;:::i;:::-;13935:442;;;;;;:::o;14383:222::-;14476:4;14514:2;14503:9;14499:18;14491:26;;14527:71;14595:1;14584:9;14580:17;14571:6;14527:71;:::i;:::-;14383:222;;;;:::o;14611:191::-;14651:3;14670:20;14688:1;14670:20;:::i;:::-;14665:25;;14704:20;14722:1;14704:20;:::i;:::-;14699:25;;14747:1;14744;14740:9;14733:16;;14768:3;14765:1;14762:10;14759:36;;;14775:18;;:::i;:::-;14759:36;14611:191;;;;:::o

ipfs://ec516a85856fee42bdd0e50b2ecf1c9ba1f73597cb91ba1fd24ca654d712231d