Contract Source Code (Solidity)

IDE

• Blockscan IDE

More Options

• Similar
• Submit Audit
• Compare

/**
 *Submitted for verification at testnet.sonicscan.org on 2025-09-04
*/

// SPDX-License-Identifier: MIT
// SonicLabs Core Contracts (last updated v1.0.0)
pragma solidity 0.8.28;

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

/**
 * @dev Standard ERC-20 Errors
 * Interface of the https://eips.ethereum.org/EIPS/eip-6093[ERC-6093] custom errors for ERC-20 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 ERC-721 Errors
 * Interface of the https://eips.ethereum.org/EIPS/eip-6093[ERC-6093] custom errors for ERC-721 tokens.
 */
interface IERC721Errors {
    /**
     * @dev Indicates that an address can't be an owner. For example, `address(0)` is a forbidden owner in ERC-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 ERC-1155 Errors
 * Interface of the https://eips.ethereum.org/EIPS/eip-6093[ERC-6093] custom errors for ERC-1155 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);
}

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

    function _contextSuffixLength() internal view virtual returns (uint256) {
        return 0;
    }
}

/**
 * @dev Interface of the ERC-20 standard as defined in the ERC.
 */
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);
}

/**
 * @dev Interface for the optional metadata functions from the ERC-20 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}.
 *
 * 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 ERC-20
 * applications.
 */
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}.
     *
     * Skips emitting an {Approval} event indicating an allowance update. This is not
     * required by the ERC. See {xref-ERC20-_approve-address-address-uint256-bool-}[_approve].
     *
     * 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:
     *
     * ```solidity
     * 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);
            }
        }
    }
}

// --------------------------------------------------------------------
// SonicLabs Core Contracts (last updated v1.0.0)
// --------------------------------------------------------------------

/// WrappedSonic represents an official ERC20 implementation
/// of the native Sonic main-net currency.
contract WrappedSonic is ERC20 {

    /// @dev Indicates a failure with the native token amount.
    error ERC20InvalidZeroDeposit();

    /// @dev Indicates a failure with the native token transfer on withdraw.
    /// @param recipient Address to receive the native transfer.
    /// @param value The amount of native tokens to be sent.
    error ERC20WithdrawFailed(address recipient, uint256 value);

    /// @dev Indicates a successful deposit for the given owner and amount.
    /// @param account Account address which receive the minted ERC20 token.
    /// @param value The amount of ERC20 tokens deposited.
    event Deposit(address indexed account, uint value);

    /// @dev Indicates a successful withdrawal for the given owner and amount.
    /// @param account Account address which receive the withdrawn native token.
    /// @param value The amount of native tokens withdrawn.
    event Withdrawal(address indexed account, uint value);

    /// @dev Create a new instance of the contract
    constructor() ERC20("Wrapped Sonic", "wS") {
    }

    fallback() external payable {
        deposit();
    }

    /// @dev Allow a user to deposit native tokens and mint the corresponding number of wrapped tokens.
    /// @param account The address to receive the minted wrapped tokens.
    function depositFor(address account) public payable returns (bool) {
        address sender = _msgSender();

        if (sender == address(this)) {
            revert ERC20InvalidSender(address(this));
        }
        if (account == address(this)) {
            revert ERC20InvalidReceiver(account);
        }
        if (msg.value == 0) {
            revert ERC20InvalidZeroDeposit();
        }

        _mint(account, msg.value);

        emit Deposit(account, msg.value);
        return true;
    }

    /// @dev Allow a user to burn a number of wrapped tokens and withdraw the corresponding number of native tokens.
    /// @param account The recipient of the native tokens.
    /// @param value The amount of wrapped tokens to be burned.
    function withdrawTo(address account, uint256 value) public returns (bool) {
        if (account == address(this)) {
            revert ERC20InvalidReceiver(account);
        }

        _burn(_msgSender(), value);

        (bool _success,) = payable(account).call{value: value}("");
        if (!_success) {
            revert ERC20WithdrawFailed(account, value);
        }

        emit Withdrawal(account, value);
        return true;
    }

    /// @dev Allow to deposit native tokens and mint the corresponding number of wrapped tokens to self account.
    function deposit() public payable {
        depositFor(_msgSender());
    }

    /// @dev Allow withdraw by burning own wrapped tokens, the corresponding amount of native tokens are released.
    /// @param value Amount to be withdrawn.
    function withdraw(uint value) public {
        withdrawTo(_msgSender(), value);
    }
}

[{"inputs":[],"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"},{"inputs":[],"name":"ERC20InvalidZeroDeposit","type":"error"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"ERC20WithdrawFailed","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":"account","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Deposit","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"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"account","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Withdrawal","type":"event"},{"stateMutability":"payable","type":"fallback"},{"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":"deposit","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"depositFor","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"payable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","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"},{"inputs":[{"internalType":"uint256","name":"value","type":"uint256"}],"name":"withdraw","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"withdrawTo","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"}]

608060405234801561000f575f5ffd5b506040518060400160405280600d81526020016c5772617070656420536f6e696360981b81525060405180604001604052806002815260200161775360f01b8152508160039081610060919061010d565b50600461006d828261010d565b5050506101c7565b634e487b7160e01b5f52604160045260245ffd5b600181811c9082168061009d57607f821691505b6020821081036100bb57634e487b7160e01b5f52602260045260245ffd5b50919050565b601f82111561010857805f5260205f20601f840160051c810160208510156100e65750805b601f840160051c820191505b81811015610105575f81556001016100f2565b50505b505050565b81516001600160401b0381111561012657610126610075565b61013a816101348454610089565b846100c1565b6020601f82116001811461016c575f83156101555750848201515b5f19600385901b1c1916600184901b178455610105565b5f84815260208120601f198516915b8281101561019b578785015182556020948501946001909201910161017b565b50848210156101b857868401515f19600387901b60f8161c191681555b50505050600190811b01905550565b610a4c806101d45f395ff3fe6080604052600436106100c1575f3560e01c8063313ce5671161007e578063a9059cbb11610058578063a9059cbb14610202578063aa67c91914610221578063d0e30db0146100c1578063dd62ed3e14610234576100c1565b8063313ce5671461019f57806370a08231146101ba57806395d89b41146101ee576100c1565b806306fdde03146100cb578063095ea7b3146100f557806318160ddd14610124578063205c28781461014257806323b872dd146101615780632e1a7d4d14610180575b6100c9610278565b005b3480156100d6575f5ffd5b506100df610284565b6040516100ec91906108a5565b60405180910390f35b348015610100575f5ffd5b5061011461010f3660046108f5565b610314565b60405190151581526020016100ec565b34801561012f575f5ffd5b506002545b6040519081526020016100ec565b34801561014d575f5ffd5b5061011461015c3660046108f5565b61032d565b34801561016c575f5ffd5b5061011461017b36600461091d565b610440565b34801561018b575f5ffd5b506100c961019a366004610957565b610463565b3480156101aa575f5ffd5b50604051601281526020016100ec565b3480156101c5575f5ffd5b506101346101d436600461096e565b6001600160a01b03165f9081526020819052604090205490565b3480156101f9575f5ffd5b506100df610471565b34801561020d575f5ffd5b5061011461021c3660046108f5565b610480565b61011461022f36600461096e565b61048d565b34801561023f575f5ffd5b5061013461024e36600461098e565b6001600160a01b039182165f90815260016020908152604080832093909416825291909152205490565b6102813361048d565b50565b606060038054610293906109bf565b80601f01602080910402602001604051908101604052809291908181526020018280546102bf906109bf565b801561030a5780601f106102e15761010080835404028352916020019161030a565b820191905f5260205f20905b8154815290600101906020018083116102ed57829003601f168201915b5050505050905090565b5f3361032181858561055b565b60019150505b92915050565b5f306001600160a01b038416036103675760405163ec442f0560e01b81526001600160a01b03841660048201526024015b60405180910390fd5b610371338361056d565b5f836001600160a01b0316836040515f6040518083038185875af1925050503d805f81146103ba576040519150601f19603f3d011682016040523d82523d5f602084013e6103bf565b606091505b50509050806103f35760405163b81ba46f60e01b81526001600160a01b03851660048201526024810184905260440161035e565b836001600160a01b03167f7fcf532c15f0a6db0bd6d0e038bea71d30d808c7d98cb3bf7268a95bf5081b658460405161042e91815260200190565b60405180910390a25060019392505050565b5f3361044d8582856105a1565b61045885858561061c565b506001949350505050565b61046d338261032d565b5050565b606060048054610293906109bf565b5f3361032181858561061c565b5f333081036104b157604051634b637e8f60e11b815230600482015260240161035e565b306001600160a01b038416036104e55760405163ec442f0560e01b81526001600160a01b038416600482015260240161035e565b345f0361050557604051630b3751a960e21b815260040160405180910390fd5b61050f8334610679565b826001600160a01b03167fe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c3460405161054a91815260200190565b60405180910390a250600192915050565b61056883838360016106ad565b505050565b6001600160a01b03821661059657604051634b637e8f60e11b81525f600482015260240161035e565b61046d825f8361077f565b6001600160a01b038381165f908152600160209081526040808320938616835292905220545f198114610616578181101561060857604051637dc7a0d960e11b81526001600160a01b0384166004820152602481018290526044810183905260640161035e565b61061684848484035f6106ad565b50505050565b6001600160a01b03831661064557604051634b637e8f60e11b81525f600482015260240161035e565b6001600160a01b03821661066e5760405163ec442f0560e01b81525f600482015260240161035e565b61056883838361077f565b6001600160a01b0382166106a25760405163ec442f0560e01b81525f600482015260240161035e565b61046d5f838361077f565b6001600160a01b0384166106d65760405163e602df0560e01b81525f600482015260240161035e565b6001600160a01b0383166106ff57604051634a1406b160e11b81525f600482015260240161035e565b6001600160a01b038085165f908152600160209081526040808320938716835292905220829055801561061657826001600160a01b0316846001600160a01b03167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258460405161077191815260200190565b60405180910390a350505050565b6001600160a01b0383166107a9578060025f82825461079e91906109f7565b909155506108199050565b6001600160a01b0383165f90815260208190526040902054818110156107fb5760405163391434e360e21b81526001600160a01b0385166004820152602481018290526044810183905260640161035e565b6001600160a01b0384165f9081526020819052604090209082900390555b6001600160a01b03821661083557600280548290039055610853565b6001600160a01b0382165f9081526020819052604090208054820190555b816001600160a01b0316836001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405161089891815260200190565b60405180910390a3505050565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b80356001600160a01b03811681146108f0575f5ffd5b919050565b5f5f60408385031215610906575f5ffd5b61090f836108da565b946020939093013593505050565b5f5f5f6060848603121561092f575f5ffd5b610938846108da565b9250610946602085016108da565b929592945050506040919091013590565b5f60208284031215610967575f5ffd5b5035919050565b5f6020828403121561097e575f5ffd5b610987826108da565b9392505050565b5f5f6040838503121561099f575f5ffd5b6109a8836108da565b91506109b6602084016108da565b90509250929050565b600181811c908216806109d357607f821691505b6020821081036109f157634e487b7160e01b5f52602260045260245ffd5b50919050565b8082018082111561032757634e487b7160e01b5f52601160045260245ffdfea2646970667358221220fedcfba3f243c64d86a0c75af188d5cec75493d2114d4b4b7492e060d9b4023064736f6c634300081c0033

0x6080604052600436106100c1575f3560e01c8063313ce5671161007e578063a9059cbb11610058578063a9059cbb14610202578063aa67c91914610221578063d0e30db0146100c1578063dd62ed3e14610234576100c1565b8063313ce5671461019f57806370a08231146101ba57806395d89b41146101ee576100c1565b806306fdde03146100cb578063095ea7b3146100f557806318160ddd14610124578063205c28781461014257806323b872dd146101615780632e1a7d4d14610180575b6100c9610278565b005b3480156100d6575f5ffd5b506100df610284565b6040516100ec91906108a5565b60405180910390f35b348015610100575f5ffd5b5061011461010f3660046108f5565b610314565b60405190151581526020016100ec565b34801561012f575f5ffd5b506002545b6040519081526020016100ec565b34801561014d575f5ffd5b5061011461015c3660046108f5565b61032d565b34801561016c575f5ffd5b5061011461017b36600461091d565b610440565b34801561018b575f5ffd5b506100c961019a366004610957565b610463565b3480156101aa575f5ffd5b50604051601281526020016100ec565b3480156101c5575f5ffd5b506101346101d436600461096e565b6001600160a01b03165f9081526020819052604090205490565b3480156101f9575f5ffd5b506100df610471565b34801561020d575f5ffd5b5061011461021c3660046108f5565b610480565b61011461022f36600461096e565b61048d565b34801561023f575f5ffd5b5061013461024e36600461098e565b6001600160a01b039182165f90815260016020908152604080832093909416825291909152205490565b6102813361048d565b50565b606060038054610293906109bf565b80601f01602080910402602001604051908101604052809291908181526020018280546102bf906109bf565b801561030a5780601f106102e15761010080835404028352916020019161030a565b820191905f5260205f20905b8154815290600101906020018083116102ed57829003601f168201915b5050505050905090565b5f3361032181858561055b565b60019150505b92915050565b5f306001600160a01b038416036103675760405163ec442f0560e01b81526001600160a01b03841660048201526024015b60405180910390fd5b610371338361056d565b5f836001600160a01b0316836040515f6040518083038185875af1925050503d805f81146103ba576040519150601f19603f3d011682016040523d82523d5f602084013e6103bf565b606091505b50509050806103f35760405163b81ba46f60e01b81526001600160a01b03851660048201526024810184905260440161035e565b836001600160a01b03167f7fcf532c15f0a6db0bd6d0e038bea71d30d808c7d98cb3bf7268a95bf5081b658460405161042e91815260200190565b60405180910390a25060019392505050565b5f3361044d8582856105a1565b61045885858561061c565b506001949350505050565b61046d338261032d565b5050565b606060048054610293906109bf565b5f3361032181858561061c565b5f333081036104b157604051634b637e8f60e11b815230600482015260240161035e565b306001600160a01b038416036104e55760405163ec442f0560e01b81526001600160a01b038416600482015260240161035e565b345f0361050557604051630b3751a960e21b815260040160405180910390fd5b61050f8334610679565b826001600160a01b03167fe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c3460405161054a91815260200190565b60405180910390a250600192915050565b61056883838360016106ad565b505050565b6001600160a01b03821661059657604051634b637e8f60e11b81525f600482015260240161035e565b61046d825f8361077f565b6001600160a01b038381165f908152600160209081526040808320938616835292905220545f198114610616578181101561060857604051637dc7a0d960e11b81526001600160a01b0384166004820152602481018290526044810183905260640161035e565b61061684848484035f6106ad565b50505050565b6001600160a01b03831661064557604051634b637e8f60e11b81525f600482015260240161035e565b6001600160a01b03821661066e5760405163ec442f0560e01b81525f600482015260240161035e565b61056883838361077f565b6001600160a01b0382166106a25760405163ec442f0560e01b81525f600482015260240161035e565b61046d5f838361077f565b6001600160a01b0384166106d65760405163e602df0560e01b81525f600482015260240161035e565b6001600160a01b0383166106ff57604051634a1406b160e11b81525f600482015260240161035e565b6001600160a01b038085165f908152600160209081526040808320938716835292905220829055801561061657826001600160a01b0316846001600160a01b03167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258460405161077191815260200190565b60405180910390a350505050565b6001600160a01b0383166107a9578060025f82825461079e91906109f7565b909155506108199050565b6001600160a01b0383165f90815260208190526040902054818110156107fb5760405163391434e360e21b81526001600160a01b0385166004820152602481018290526044810183905260640161035e565b6001600160a01b0384165f9081526020819052604090209082900390555b6001600160a01b03821661083557600280548290039055610853565b6001600160a01b0382165f9081526020819052604090208054820190555b816001600160a01b0316836001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405161089891815260200190565b60405180910390a3505050565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b80356001600160a01b03811681146108f0575f5ffd5b919050565b5f5f60408385031215610906575f5ffd5b61090f836108da565b946020939093013593505050565b5f5f5f6060848603121561092f575f5ffd5b610938846108da565b9250610946602085016108da565b929592945050506040919091013590565b5f60208284031215610967575f5ffd5b5035919050565b5f6020828403121561097e575f5ffd5b610987826108da565b9392505050565b5f5f6040838503121561099f575f5ffd5b6109a8836108da565b91506109b6602084016108da565b90509250929050565b600181811c908216806109d357607f821691505b6020821081036109f157634e487b7160e01b5f52602260045260245ffd5b50919050565b8082018082111561032757634e487b7160e01b5f52601160045260245ffdfea2646970667358221220fedcfba3f243c64d86a0c75af188d5cec75493d2114d4b4b7492e060d9b4023064736f6c634300081c0033

22147:3016:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23274:9;:7;:9::i;:::-;22147:3016;12464:91;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;14757:190;;;;;;;;;;-1:-1:-1;14757:190:0;;;;;:::i;:::-;;:::i;:::-;;;1085:14:1;;1078:22;1060:41;;1048:2;1033:18;14757:190:0;920:187:1;13566:99:0;;;;;;;;;;-1:-1:-1;13645:12:0;;13566:99;;;1258:25:1;;;1246:2;1231:18;13566:99:0;1112:177:1;24249:455:0;;;;;;;;;;-1:-1:-1;24249:455:0;;;;;:::i;:::-;;:::i;15557:249::-;;;;;;;;;;-1:-1:-1;15557:249:0;;;;;:::i;:::-;;:::i;25073:87::-;;;;;;;;;;-1:-1:-1;25073:87:0;;;;;:::i;:::-;;:::i;13417:84::-;;;;;;;;;;-1:-1:-1;13417:84:0;;13491:2;2046:36:1;;2034:2;2019:18;13417:84:0;1904:184:1;13728:118:0;;;;;;;;;;-1:-1:-1;13728:118:0;;;;;:::i;:::-;-1:-1:-1;;;;;13820:18:0;13793:7;13820:18;;;;;;;;;;;;13728:118;12674:95;;;;;;;;;;;;;:::i;14051:182::-;;;;;;;;;;-1:-1:-1;14051:182:0;;;;;:::i;:::-;;:::i;23478:520::-;;;;;;:::i;:::-;;:::i;14296:142::-;;;;;;;;;;-1:-1:-1;14296:142:0;;;;;:::i;:::-;-1:-1:-1;;;;;14403:18:0;;;14376:7;14403:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;14296:142;24826:77;24871:24;7511:10;23478:520;:::i;24871:24::-;;24826:77::o;12464:91::-;12509:13;12542:5;12535:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12464:91;:::o;14757:190::-;14830:4;7511:10;14886:31;7511:10;14902:7;14911:5;14886:8;:31::i;:::-;14935:4;14928:11;;;14757:190;;;;;:::o;24249:455::-;24317:4;24357;-1:-1:-1;;;;;24338:24:0;;;24334:93;;24386:29;;-1:-1:-1;;;24386:29:0;;-1:-1:-1;;;;;3098:32:1;;24386:29:0;;;3080:51:1;3053:18;;24386:29:0;;;;;;;;24334:93;24439:26;7511:10;24459:5;24439;:26::i;:::-;24479:13;24505:7;-1:-1:-1;;;;;24497:21:0;24526:5;24497:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;24478:58;;;24552:8;24547:84;;24584:35;;-1:-1:-1;;;24584:35:0;;-1:-1:-1;;;;;3544:32:1;;24584:35:0;;;3526:51:1;3593:18;;;3586:34;;;3499:18;;24584:35:0;3352:274:1;24547:84:0;24659:7;-1:-1:-1;;;;;24648:26:0;;24668:5;24648:26;;;;1258:25:1;;1246:2;1231:18;;1112:177;24648:26:0;;;;;;;;-1:-1:-1;24692:4:0;;24249:455;-1:-1:-1;;;24249:455:0:o;15557:249::-;15644:4;7511:10;15702:37;15718:4;7511:10;15733:5;15702:15;:37::i;:::-;15750:26;15760:4;15766:2;15770:5;15750:9;:26::i;:::-;-1:-1:-1;15794:4:0;;15557:249;-1:-1:-1;;;;15557:249:0:o;25073:87::-;25121:31;7511:10;25146:5;25121:10;:31::i;:::-;;25073:87;:::o;12674:95::-;12721:13;12754:7;12747:14;;;;;:::i;14051:182::-;14120:4;7511:10;14176:27;7511:10;14193:2;14197:5;14176:9;:27::i;23478:520::-;23539:4;7511:10;23620:4;23602:23;;23598:96;;23649:33;;-1:-1:-1;;;23649:33:0;;23676:4;23649:33;;;3080:51:1;3053:18;;23649:33:0;2934:203:1;23598:96:0;23727:4;-1:-1:-1;;;;;23708:24:0;;;23704:93;;23756:29;;-1:-1:-1;;;23756:29:0;;-1:-1:-1;;;;;3098:32:1;;23756:29:0;;;3080:51:1;3053:18;;23756:29:0;2934:203:1;23704:93:0;23811:9;23824:1;23811:14;23807:79;;23849:25;;-1:-1:-1;;;23849:25:0;;;;;;;;;;;23807:79;23898:25;23904:7;23913:9;23898:5;:25::i;:::-;23949:7;-1:-1:-1;;;;;23941:27:0;;23958:9;23941:27;;;;1258:25:1;;1246:2;1231:18;;1112:177;23941:27:0;;;;;;;;-1:-1:-1;23986:4:0;;23478:520;-1:-1:-1;;23478:520:0:o;19616:130::-;19701:37;19710:5;19717:7;19726:5;19733:4;19701:8;:37::i;:::-;19616:130;;;:::o;18852:211::-;-1:-1:-1;;;;;18923:21:0;;18919:91;;18968:30;;-1:-1:-1;;;18968:30:0;;18995:1;18968:30;;;3080:51:1;3053:18;;18968:30:0;2934:203:1;18919:91:0;19020:35;19028:7;19045:1;19049:5;19020:7;:35::i;21348:487::-;-1:-1:-1;;;;;14403:18:0;;;21448:24;14403:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;-1:-1:-1;;21515:37:0;;21511:317;;21592:5;21573:16;:24;21569:132;;;21625:60;;-1:-1:-1;;;21625:60:0;;-1:-1:-1;;;;;3851:32:1;;21625:60:0;;;3833:51:1;3900:18;;;3893:34;;;3943:18;;;3936:34;;;3806:18;;21625:60:0;3631:345:1;21569:132:0;21744:57;21753:5;21760:7;21788:5;21769:16;:24;21795:5;21744:8;:57::i;:::-;21437:398;21348:487;;;:::o;16191:308::-;-1:-1:-1;;;;;16275:18:0;;16271:88;;16317:30;;-1:-1:-1;;;16317:30:0;;16344:1;16317:30;;;3080:51:1;3053:18;;16317:30:0;2934:203:1;16271:88:0;-1:-1:-1;;;;;16373:16:0;;16369:88;;16413:32;;-1:-1:-1;;;16413:32:0;;16442:1;16413:32;;;3080:51:1;3053:18;;16413:32:0;2934:203:1;16369:88:0;16467:24;16475:4;16481:2;16485:5;16467:7;:24::i;18311:213::-;-1:-1:-1;;;;;18382:21:0;;18378:93;;18427:32;;-1:-1:-1;;;18427:32:0;;18456:1;18427:32;;;3080:51:1;3053:18;;18427:32:0;2934:203:1;18378:93:0;18481:35;18497:1;18501:7;18510:5;18481:7;:35::i;20613:443::-;-1:-1:-1;;;;;20726:19:0;;20722:91;;20769:32;;-1:-1:-1;;;20769:32:0;;20798:1;20769:32;;;3080:51:1;3053:18;;20769:32:0;2934:203:1;20722:91:0;-1:-1:-1;;;;;20827:21:0;;20823:92;;20872:31;;-1:-1:-1;;;20872:31:0;;20900:1;20872:31;;;3080:51:1;3053:18;;20872:31:0;2934:203:1;20823:92:0;-1:-1:-1;;;;;20925:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;:35;;;20971:78;;;;21022:7;-1:-1:-1;;;;;21006:31:0;21015:5;-1:-1:-1;;;;;21006:31:0;;21031:5;21006:31;;;;1258:25:1;;1246:2;1231:18;;1112:177;21006:31:0;;;;;;;;20613:443;;;;:::o;16823:1135::-;-1:-1:-1;;;;;16913:18:0;;16909:552;;17067:5;17051:12;;:21;;;;;;;:::i;:::-;;;;-1:-1:-1;16909:552:0;;-1:-1:-1;16909:552:0;;-1:-1:-1;;;;;17127:15:0;;17105:19;17127:15;;;;;;;;;;;17161:19;;;17157:117;;;17208:50;;-1:-1:-1;;;17208:50:0;;-1:-1:-1;;;;;3851:32:1;;17208:50:0;;;3833:51:1;3900:18;;;3893:34;;;3943:18;;;3936:34;;;3806:18;;17208:50:0;3631:345:1;17157:117:0;-1:-1:-1;;;;;17397:15:0;;:9;:15;;;;;;;;;;17415:19;;;;17397:37;;16909:552;-1:-1:-1;;;;;17477:16:0;;17473:435;;17643:12;:21;;;;;;;17473:435;;;-1:-1:-1;;;;;17859:13:0;;:9;:13;;;;;;;;;;:22;;;;;;17473:435;17940:2;-1:-1:-1;;;;;17925:25:0;17934:4;-1:-1:-1;;;;;17925:25:0;;17944:5;17925:25;;;;1258::1;;1246:2;1231:18;;1112:177;17925:25:0;;;;;;;;16823:1135;;;:::o;14:418:1:-;163:2;152:9;145:21;126:4;195:6;189:13;238:6;233:2;222:9;218:18;211:34;297:6;292:2;284:6;280:15;275:2;264:9;260:18;254:50;353:1;348:2;339:6;328:9;324:22;320:31;313:42;423:2;416;412:7;407:2;399:6;395:15;391:29;380:9;376:45;372:54;364:62;;;14:418;;;;:::o;437:173::-;505:20;;-1:-1:-1;;;;;554:31:1;;544:42;;534:70;;600:1;597;590:12;534:70;437:173;;;:::o;615:300::-;683:6;691;744:2;732:9;723:7;719:23;715:32;712:52;;;760:1;757;750:12;712:52;783:29;802:9;783:29;:::i;:::-;773:39;881:2;866:18;;;;853:32;;-1:-1:-1;;;615:300:1:o;1294:374::-;1371:6;1379;1387;1440:2;1428:9;1419:7;1415:23;1411:32;1408:52;;;1456:1;1453;1446:12;1408:52;1479:29;1498:9;1479:29;:::i;:::-;1469:39;;1527:38;1561:2;1550:9;1546:18;1527:38;:::i;:::-;1294:374;;1517:48;;-1:-1:-1;;;1634:2:1;1619:18;;;;1606:32;;1294:374::o;1673:226::-;1732:6;1785:2;1773:9;1764:7;1760:23;1756:32;1753:52;;;1801:1;1798;1791:12;1753:52;-1:-1:-1;1846:23:1;;1673:226;-1:-1:-1;1673:226:1:o;2093:186::-;2152:6;2205:2;2193:9;2184:7;2180:23;2176:32;2173:52;;;2221:1;2218;2211:12;2173:52;2244:29;2263:9;2244:29;:::i;:::-;2234:39;2093:186;-1:-1:-1;;;2093:186:1:o;2284:260::-;2352:6;2360;2413:2;2401:9;2392:7;2388:23;2384:32;2381:52;;;2429:1;2426;2419:12;2381:52;2452:29;2471:9;2452:29;:::i;:::-;2442:39;;2500:38;2534:2;2523:9;2519:18;2500:38;:::i;:::-;2490:48;;2284:260;;;;;:::o;2549:380::-;2628:1;2624:12;;;;2671;;;2692:61;;2746:4;2738:6;2734:17;2724:27;;2692:61;2799:2;2791:6;2788:14;2768:18;2765:38;2762:161;;2845:10;2840:3;2836:20;2833:1;2826:31;2880:4;2877:1;2870:15;2908:4;2905:1;2898:15;2762:161;;2549:380;;;:::o;3981:222::-;4046:9;;;4067:10;;;4064:133;;;4119:10;4114:3;4110:20;4107:1;4100:31;4154:4;4151:1;4144:15;4182:4;4179:1;4172:15

ipfs://fedcfba3f243c64d86a0c75af188d5cec75493d2114d4b4b7492e060d9b40230