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-12-12
*/

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

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

// 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: contracts/wstTAO.sol


pragma solidity ^0.8.0;


contract BridgedStakedToken is ERC20 {
    string constant STAKING_VAULT_SS58 = "5Hdpp87doL5rhyWB7vJ69xvabnhA4VBRbwJv6phrQGH5uiZc";
    address public owner;
    address public stakingVault;
    uint256 public reserve;
    address public oracle; // The oracle address
    uint256 public epochStartTime;
    uint256 public epochDuration = 2 hours; // 2 hours epoch duration
    // nav is a cached number. for every epoch, all redeems will be processed based on the nav of the last epoch. then the reserve will be updated and the nav will be cached. all mints will be based on the new cached nav and reserve cache will be updated with the mint
    uint256 public nav = 1000000000;

    event ReserveUpdated(uint256 indexed epoch, uint256 newReserve);
    event Redeem(uint256 indexed epoch, address indexed sender, uint256 amount, uint256 amountUnstaked, string destinationPath);
    event Mint(uint256 indexed epoch, uint256 mintAmount, uint256 amountStaked, address indexed recipient, string proof);

    constructor(
        string memory _name,
        string memory _symbol,
        uint256 _initialSupply,
        address _stakingVault,
        address _oracle // Initialize the oracle address
    ) ERC20(_name, _symbol) {
        owner = msg.sender;
        stakingVault = _stakingVault;
        oracle = _oracle; // Set the oracle address
        _mint(owner, _initialSupply);
        reserve = _initialSupply;
        epochStartTime = block.timestamp;
    }

    function decimals() public view virtual override returns (uint8) {
        return 9;
    }

    modifier onlyOwner() {
        require(msg.sender == owner, "Only the owner can perform this action");
        _;
    }

    modifier onlyStakingVault() {
        require(msg.sender == stakingVault, "Only the staking vault can perform this action");
        _;
    }

    modifier onlyOracle() {
        require(msg.sender == oracle, "Only the oracle can perform this action");
        _;
    }

    // The staking vault stakes an amount and inputs the staked amount (in TAO) for _amount
    function mint(uint256 _amount, address _recipient, string memory proof) external onlyStakingVault {
        require(_amount > 0, "Amount must be greater than 0");
        require(_recipient != address(0), "Recipient address cannot be zero");

        uint256 mintAmount = _amount * (10**decimals()) / nav;

        _mint(_recipient, mintAmount);
        reserve += _amount;
        
        emit Mint(getCurrentEpoch(), mintAmount, _amount, _recipient, proof);
        emit ReserveUpdated(getCurrentEpoch(), reserve);
    }
    
    // Destination path specifies the destination of redemption
    // 1. TAO(finney) => bt_finney_ss58/<actual address>
    // 2. WTAO(ETH mainnet) => eth_wtao_hex/<actual address>
    // The _amount here is the amount of wstTAO to burn
    function redeem(uint256 _amount, string memory _destinationPath) external {
        require(_amount > 0, "Amount must be greater than 0");
        require(balanceOf(msg.sender) >= _amount, "Insufficient balance to redeem");

        _burn(msg.sender, _amount);

        emit Redeem(getCurrentEpoch(), msg.sender, _amount, _amount * nav / (10**decimals()), _destinationPath);
        // reserve will not update until next epoch
    }

    function updateOwner(address _newOwner) external onlyOwner {
        require(_newOwner != address(0), "New owner address cannot be zero");
        owner = _newOwner;
    }

    function updateStakingVault(address _newStakingVault) external onlyOwner {
        require(_newStakingVault != address(0), "New staking vault address cannot be zero");
        stakingVault = _newStakingVault;
    }

    function updateOracle(address _newOracle) external onlyOwner {
        require(_newOracle != address(0), "New oracle address cannot be zero");
        oracle = _newOracle;
    }

    function updateReserve(uint256 _newReserve) external onlyOracle {
        require(_newReserve >= 0, "New reserve must be non-negative");
        reserve = _newReserve;
        nav = reserve * (10**decimals()) / totalSupply();
        emit ReserveUpdated(getCurrentEpoch(), _newReserve);
    }

    function getCurrentEpoch() public view returns (uint256) {
        return (block.timestamp - epochStartTime) / epochDuration;
    }

    // reclaim stuck sent tokens
    function reclaimToken(address _token) public onlyOwner {
        ERC20 token = ERC20(_token);
        uint256 balance = token.balanceOf(address(this));
        token.transfer(owner, balance);
        payable(owner).transfer(address(this).balance);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"string","name":"_name","type":"string"},{"internalType":"string","name":"_symbol","type":"string"},{"internalType":"uint256","name":"_initialSupply","type":"uint256"},{"internalType":"address","name":"_stakingVault","type":"address"},{"internalType":"address","name":"_oracle","type":"address"}],"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":"uint256","name":"epoch","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"mintAmount","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"amountStaked","type":"uint256"},{"indexed":true,"internalType":"address","name":"recipient","type":"address"},{"indexed":false,"internalType":"string","name":"proof","type":"string"}],"name":"Mint","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint256","name":"epoch","type":"uint256"},{"indexed":true,"internalType":"address","name":"sender","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"amountUnstaked","type":"uint256"},{"indexed":false,"internalType":"string","name":"destinationPath","type":"string"}],"name":"Redeem","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint256","name":"epoch","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"newReserve","type":"uint256"}],"name":"ReserveUpdated","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":[{"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":"epochDuration","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"epochStartTime","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getCurrentEpoch","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_amount","type":"uint256"},{"internalType":"address","name":"_recipient","type":"address"},{"internalType":"string","name":"proof","type":"string"}],"name":"mint","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"nav","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"oracle","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_token","type":"address"}],"name":"reclaimToken","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_amount","type":"uint256"},{"internalType":"string","name":"_destinationPath","type":"string"}],"name":"redeem","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"reserve","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"stakingVault","outputs":[{"internalType":"address","name":"","type":"address"}],"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":"address","name":"_newOracle","type":"address"}],"name":"updateOracle","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_newOwner","type":"address"}],"name":"updateOwner","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_newReserve","type":"uint256"}],"name":"updateReserve","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_newStakingVault","type":"address"}],"name":"updateStakingVault","outputs":[],"stateMutability":"nonpayable","type":"function"}]

6080604052611c20600a55633b9aca00600b553480156200001e575f80fd5b50604051620031ed380380620031ed833981810160405281019062000044919062000644565b8484816003908162000057919062000934565b50806004908162000069919062000934565b5050503360055f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508160065f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508060085f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506200015f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16846200017860201b60201c565b8260078190555042600981905550505050505062000b12565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603620001eb575f6040517fec442f05000000000000000000000000000000000000000000000000000000008152600401620001e2919062000a29565b60405180910390fd5b620001fe5f83836200020260201b60201c565b5050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff160362000256578060025f82825462000249919062000a71565b9250508190555062000327565b5f805f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905081811015620002e2578381836040517fe450d38c000000000000000000000000000000000000000000000000000000008152600401620002d99392919062000abc565b60405180910390fd5b8181035f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550505b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160362000370578060025f8282540392505081905550620003ba565b805f808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055505b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405162000419919062000af7565b60405180910390a3505050565b5f604051905090565b5f80fd5b5f80fd5b5f80fd5b5f80fd5b5f601f19601f8301169050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b62000487826200043f565b810181811067ffffffffffffffff82111715620004a957620004a86200044f565b5b80604052505050565b5f620004bd62000426565b9050620004cb82826200047c565b919050565b5f67ffffffffffffffff821115620004ed57620004ec6200044f565b5b620004f8826200043f565b9050602081019050919050565b5f5b838110156200052457808201518184015260208101905062000507565b5f8484015250505050565b5f620005456200053f84620004d0565b620004b2565b9050828152602081018484840111156200056457620005636200043b565b5b6200057184828562000505565b509392505050565b5f82601f83011262000590576200058f62000437565b5b8151620005a28482602086016200052f565b91505092915050565b5f819050919050565b620005bf81620005ab565b8114620005ca575f80fd5b50565b5f81519050620005dd81620005b4565b92915050565b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6200060e82620005e3565b9050919050565b620006208162000602565b81146200062b575f80fd5b50565b5f815190506200063e8162000615565b92915050565b5f805f805f60a0868803121562000660576200065f6200042f565b5b5f86015167ffffffffffffffff81111562000680576200067f62000433565b5b6200068e8882890162000579565b955050602086015167ffffffffffffffff811115620006b257620006b162000433565b5b620006c08882890162000579565b9450506040620006d388828901620005cd565b9350506060620006e6888289016200062e565b9250506080620006f9888289016200062e565b9150509295509295909350565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806200075557607f821691505b6020821081036200076b576200076a62000710565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f60088302620007cf7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8262000792565b620007db868362000792565b95508019841693508086168417925050509392505050565b5f819050919050565b5f6200081c620008166200081084620005ab565b620007f3565b620005ab565b9050919050565b5f819050919050565b6200083783620007fc565b6200084f620008468262000823565b8484546200079e565b825550505050565b5f90565b6200086562000857565b620008728184846200082c565b505050565b5b8181101562000899576200088d5f826200085b565b60018101905062000878565b5050565b601f821115620008e857620008b28162000771565b620008bd8462000783565b81016020851015620008cd578190505b620008e5620008dc8562000783565b83018262000877565b50505b505050565b5f82821c905092915050565b5f6200090a5f1984600802620008ed565b1980831691505092915050565b5f620009248383620008f9565b9150826002028217905092915050565b6200093f8262000706565b67ffffffffffffffff8111156200095b576200095a6200044f565b5b6200096782546200073d565b620009748282856200089d565b5f60209050601f831160018114620009aa575f841562000995578287015190505b620009a1858262000917565b86555062000a10565b601f198416620009ba8662000771565b5f5b82811015620009e357848901518255600182019150602085019450602081019050620009bc565b8683101562000a035784890151620009ff601f891682620008f9565b8355505b6001600288020188555050505b505050505050565b62000a238162000602565b82525050565b5f60208201905062000a3e5f83018462000a18565b92915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f62000a7d82620005ab565b915062000a8a83620005ab565b925082820190508082111562000aa55762000aa462000a44565b5b92915050565b62000ab681620005ab565b82525050565b5f60608201905062000ad15f83018662000a18565b62000ae0602083018562000aab565b62000aef604083018462000aab565b949350505050565b5f60208201905062000b0c5f83018462000aab565b92915050565b6126cd8062000b205f395ff3fe608060405234801561000f575f80fd5b5060043610610156575f3560e01c80637dc0d1d0116100c1578063b97dd9e21161007a578063b97dd9e2146103b2578063c1590cd7146103d0578063cd3293de146103ee578063dd62ed3e1461040c578063e67e402c1461043c578063f60ca6411461045857610156565b80637dc0d1d0146102f0578063880cdc311461030e5780638da5cb5b1461032a57806395d89b4114610348578063a333d1a414610366578063a9059cbb1461038257610156565b806324b76fd51161011357806324b76fd51461022e57806324e7964a1461024a578063313ce567146102685780633662454d146102865780634ff0876a146102a257806370a08231146102c057610156565b806306fdde031461015a578063095ea7b31461017857806317ffc320146101a857806318160ddd146101c45780631cb44dfc146101e257806323b872dd146101fe575b5f80fd5b610162610476565b60405161016f919061190d565b60405180910390f35b610192600480360381019061018d91906119cb565b610506565b60405161019f9190611a23565b60405180910390f35b6101c260048036038101906101bd9190611a3c565b610528565b005b6101cc61073d565b6040516101d99190611a76565b60405180910390f35b6101fc60048036038101906101f79190611a3c565b610746565b005b61021860048036038101906102139190611a8f565b610886565b6040516102259190611a23565b60405180910390f35b61024860048036038101906102439190611c0b565b6108b4565b005b6102526109d4565b60405161025f9190611c74565b60405180910390f35b6102706109f9565b60405161027d9190611ca8565b60405180910390f35b6102a0600480360381019061029b9190611cc1565b610a01565b005b6102aa610b55565b6040516102b79190611a76565b60405180910390f35b6102da60048036038101906102d59190611a3c565b610b5b565b6040516102e79190611a76565b60405180910390f35b6102f8610ba0565b6040516103059190611c74565b60405180910390f35b61032860048036038101906103239190611a3c565b610bc5565b005b610332610d05565b60405161033f9190611c74565b60405180910390f35b610350610d2a565b60405161035d919061190d565b60405180910390f35b610380600480360381019061037b9190611a3c565b610dba565b005b61039c600480360381019061039791906119cb565b610efa565b6040516103a99190611a23565b60405180910390f35b6103ba610f1c565b6040516103c79190611a76565b60405180910390f35b6103d8610f3d565b6040516103e59190611a76565b60405180910390f35b6103f6610f43565b6040516104039190611a76565b60405180910390f35b61042660048036038101906104219190611cec565b610f49565b6040516104339190611a76565b60405180910390f35b61045660048036038101906104519190611d2a565b610fcb565b005b6104606111fc565b60405161046d9190611a76565b60405180910390f35b60606003805461048590611dc3565b80601f01602080910402602001604051908101604052809291908181526020018280546104b190611dc3565b80156104fc5780601f106104d3576101008083540402835291602001916104fc565b820191905f5260205f20905b8154815290600101906020018083116104df57829003601f168201915b5050505050905090565b5f80610510611202565b905061051d818585611209565b600191505092915050565b60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146105b7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105ae90611e63565b60405180910390fd5b5f8190505f8173ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b81526004016105f59190611c74565b602060405180830381865afa158015610610573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106349190611e95565b90508173ffffffffffffffffffffffffffffffffffffffff1663a9059cbb60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16836040518363ffffffff1660e01b8152600401610692929190611ec0565b6020604051808303815f875af11580156106ae573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106d29190611f11565b5060055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc4790811502906040515f60405180830381858888f19350505050158015610737573d5f803e3d5ffd5b50505050565b5f600254905090565b60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146107d5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107cc90611e63565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610843576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161083a90611fac565b60405180910390fd5b8060085f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b5f80610890611202565b905061089d85828561121b565b6108a88585856112ad565b60019150509392505050565b5f82116108f6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108ed90612014565b60405180910390fd5b8161090033610b5b565b1015610941576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109389061207c565b60405180910390fd5b61094b338361139d565b3373ffffffffffffffffffffffffffffffffffffffff1661096a610f1c565b7fbcfe3634b375a18d06b4c011d8d2a500d3a3ec2feda4c681a020d502f1533720846109946109f9565b600a6109a091906121f6565b600b54876109ae9190612240565b6109b891906122ae565b856040516109c8939291906122de565b60405180910390a35050565b60065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b5f6009905090565b60085f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610a90576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a879061238a565b60405180910390fd5b5f811015610ad3576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610aca906123f2565b60405180910390fd5b80600781905550610ae261073d565b610aea6109f9565b600a610af691906121f6565b600754610b039190612240565b610b0d91906122ae565b600b81905550610b1b610f1c565b7f32dc813d3f262a05478ad1165d5701040e411d9a6e1684c8c2da1c8e6f3b802282604051610b4a9190611a76565b60405180910390a250565b600a5481565b5f805f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b60085f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610c54576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c4b90611e63565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610cc2576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610cb99061245a565b60405180910390fd5b8060055f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b606060048054610d3990611dc3565b80601f0160208091040260200160405190810160405280929190818152602001828054610d6590611dc3565b8015610db05780601f10610d8757610100808354040283529160200191610db0565b820191905f5260205f20905b815481529060010190602001808311610d9357829003601f168201915b5050505050905090565b60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610e49576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e4090611e63565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610eb7576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610eae906124e8565b60405180910390fd5b8060065f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b5f80610f04611202565b9050610f118185856112ad565b600191505092915050565b5f600a5460095442610f2e9190612506565b610f3891906122ae565b905090565b600b5481565b60075481565b5f60015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b60065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461105a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611051906125a9565b60405180910390fd5b5f831161109c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161109390612014565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361110a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161110190612611565b60405180910390fd5b5f600b546111166109f9565b600a61112291906121f6565b8561112d9190612240565b61113791906122ae565b9050611143838261141c565b8360075f828254611154919061262f565b925050819055508273ffffffffffffffffffffffffffffffffffffffff1661117a610f1c565b7fe03b75a1cd7fe7d48819041b703f3a75646c1aa29834a5beae92cec2de238d788387866040516111ad939291906122de565b60405180910390a36111bd610f1c565b7f32dc813d3f262a05478ad1165d5701040e411d9a6e1684c8c2da1c8e6f3b80226007546040516111ee9190611a76565b60405180910390a250505050565b60095481565b5f33905090565b611216838383600161149b565b505050565b5f6112268484610f49565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146112a75781811015611298578281836040517ffb8f41b200000000000000000000000000000000000000000000000000000000815260040161128f93929190612662565b60405180910390fd5b6112a684848484035f61149b565b5b50505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff160361131d575f6040517f96c6fd1e0000000000000000000000000000000000000000000000000000000081526004016113149190611c74565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361138d575f6040517fec442f050000000000000000000000000000000000000000000000000000000081526004016113849190611c74565b60405180910390fd5b61139883838361166a565b505050565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361140d575f6040517f96c6fd1e0000000000000000000000000000000000000000000000000000000081526004016114049190611c74565b60405180910390fd5b611418825f8361166a565b5050565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361148c575f6040517fec442f050000000000000000000000000000000000000000000000000000000081526004016114839190611c74565b60405180910390fd5b6114975f838361166a565b5050565b5f73ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff160361150b575f6040517fe602df050000000000000000000000000000000000000000000000000000000081526004016115029190611c74565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff160361157b575f6040517f94280d620000000000000000000000000000000000000000000000000000000081526004016115729190611c74565b60405180910390fd5b8160015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508015611664578273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258460405161165b9190611a76565b60405180910390a35b50505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036116ba578060025f8282546116ae919061262f565b92505081905550611788565b5f805f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905081811015611743578381836040517fe450d38c00000000000000000000000000000000000000000000000000000000815260040161173a93929190612662565b60405180910390fd5b8181035f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550505b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036117cf578060025f8282540392505081905550611819565b805f808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055505b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516118769190611a76565b60405180910390a3505050565b5f81519050919050565b5f82825260208201905092915050565b5f5b838110156118ba57808201518184015260208101905061189f565b5f8484015250505050565b5f601f19601f8301169050919050565b5f6118df82611883565b6118e9818561188d565b93506118f981856020860161189d565b611902816118c5565b840191505092915050565b5f6020820190508181035f83015261192581846118d5565b905092915050565b5f604051905090565b5f80fd5b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6119678261193e565b9050919050565b6119778161195d565b8114611981575f80fd5b50565b5f813590506119928161196e565b92915050565b5f819050919050565b6119aa81611998565b81146119b4575f80fd5b50565b5f813590506119c5816119a1565b92915050565b5f80604083850312156119e1576119e0611936565b5b5f6119ee85828601611984565b92505060206119ff858286016119b7565b9150509250929050565b5f8115159050919050565b611a1d81611a09565b82525050565b5f602082019050611a365f830184611a14565b92915050565b5f60208284031215611a5157611a50611936565b5b5f611a5e84828501611984565b91505092915050565b611a7081611998565b82525050565b5f602082019050611a895f830184611a67565b92915050565b5f805f60608486031215611aa657611aa5611936565b5b5f611ab386828701611984565b9350506020611ac486828701611984565b9250506040611ad5868287016119b7565b9150509250925092565b5f80fd5b5f80fd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b611b1d826118c5565b810181811067ffffffffffffffff82111715611b3c57611b3b611ae7565b5b80604052505050565b5f611b4e61192d565b9050611b5a8282611b14565b919050565b5f67ffffffffffffffff821115611b7957611b78611ae7565b5b611b82826118c5565b9050602081019050919050565b828183375f83830152505050565b5f611baf611baa84611b5f565b611b45565b905082815260208101848484011115611bcb57611bca611ae3565b5b611bd6848285611b8f565b509392505050565b5f82601f830112611bf257611bf1611adf565b5b8135611c02848260208601611b9d565b91505092915050565b5f8060408385031215611c2157611c20611936565b5b5f611c2e858286016119b7565b925050602083013567ffffffffffffffff811115611c4f57611c4e61193a565b5b611c5b85828601611bde565b9150509250929050565b611c6e8161195d565b82525050565b5f602082019050611c875f830184611c65565b92915050565b5f60ff82169050919050565b611ca281611c8d565b82525050565b5f602082019050611cbb5f830184611c99565b92915050565b5f60208284031215611cd657611cd5611936565b5b5f611ce3848285016119b7565b91505092915050565b5f8060408385031215611d0257611d01611936565b5b5f611d0f85828601611984565b9250506020611d2085828601611984565b9150509250929050565b5f805f60608486031215611d4157611d40611936565b5b5f611d4e868287016119b7565b9350506020611d5f86828701611984565b925050604084013567ffffffffffffffff811115611d8057611d7f61193a565b5b611d8c86828701611bde565b9150509250925092565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f6002820490506001821680611dda57607f821691505b602082108103611ded57611dec611d96565b5b50919050565b7f4f6e6c7920746865206f776e65722063616e20706572666f726d2074686973205f8201527f616374696f6e0000000000000000000000000000000000000000000000000000602082015250565b5f611e4d60268361188d565b9150611e5882611df3565b604082019050919050565b5f6020820190508181035f830152611e7a81611e41565b9050919050565b5f81519050611e8f816119a1565b92915050565b5f60208284031215611eaa57611ea9611936565b5b5f611eb784828501611e81565b91505092915050565b5f604082019050611ed35f830185611c65565b611ee06020830184611a67565b9392505050565b611ef081611a09565b8114611efa575f80fd5b50565b5f81519050611f0b81611ee7565b92915050565b5f60208284031215611f2657611f25611936565b5b5f611f3384828501611efd565b91505092915050565b7f4e6577206f7261636c6520616464726573732063616e6e6f74206265207a65725f8201527f6f00000000000000000000000000000000000000000000000000000000000000602082015250565b5f611f9660218361188d565b9150611fa182611f3c565b604082019050919050565b5f6020820190508181035f830152611fc381611f8a565b9050919050565b7f416d6f756e74206d7573742062652067726561746572207468616e20300000005f82015250565b5f611ffe601d8361188d565b915061200982611fca565b602082019050919050565b5f6020820190508181035f83015261202b81611ff2565b9050919050565b7f496e73756666696369656e742062616c616e636520746f2072656465656d00005f82015250565b5f612066601e8361188d565b915061207182612032565b602082019050919050565b5f6020820190508181035f8301526120938161205a565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f8160011c9050919050565b5f808291508390505b600185111561211c578086048111156120f8576120f761209a565b5b60018516156121075780820291505b8081029050612115856120c7565b94506120dc565b94509492505050565b5f8261213457600190506121ef565b81612141575f90506121ef565b8160018114612157576002811461216157612190565b60019150506121ef565b60ff8411156121735761217261209a565b5b8360020a91508482111561218a5761218961209a565b5b506121ef565b5060208310610133831016604e8410600b84101617156121c55782820a9050838111156121c0576121bf61209a565b5b6121ef565b6121d284848460016120d3565b925090508184048111156121e9576121e861209a565b5b81810290505b9392505050565b5f61220082611998565b915061220b83611c8d565b92506122387fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8484612125565b905092915050565b5f61224a82611998565b915061225583611998565b925082820261226381611998565b9150828204841483151761227a5761227961209a565b5b5092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f6122b882611998565b91506122c383611998565b9250826122d3576122d2612281565b5b828204905092915050565b5f6060820190506122f15f830186611a67565b6122fe6020830185611a67565b818103604083015261231081846118d5565b9050949350505050565b7f4f6e6c7920746865206f7261636c652063616e20706572666f726d20746869735f8201527f20616374696f6e00000000000000000000000000000000000000000000000000602082015250565b5f61237460278361188d565b915061237f8261231a565b604082019050919050565b5f6020820190508181035f8301526123a181612368565b9050919050565b7f4e65772072657365727665206d757374206265206e6f6e2d6e656761746976655f82015250565b5f6123dc60208361188d565b91506123e7826123a8565b602082019050919050565b5f6020820190508181035f830152612409816123d0565b9050919050565b7f4e6577206f776e657220616464726573732063616e6e6f74206265207a65726f5f82015250565b5f61244460208361188d565b915061244f82612410565b602082019050919050565b5f6020820190508181035f83015261247181612438565b9050919050565b7f4e6577207374616b696e67207661756c7420616464726573732063616e6e6f745f8201527f206265207a65726f000000000000000000000000000000000000000000000000602082015250565b5f6124d260288361188d565b91506124dd82612478565b604082019050919050565b5f6020820190508181035f8301526124ff816124c6565b9050919050565b5f61251082611998565b915061251b83611998565b92508282039050818111156125335761253261209a565b5b92915050565b7f4f6e6c7920746865207374616b696e67207661756c742063616e20706572666f5f8201527f726d207468697320616374696f6e000000000000000000000000000000000000602082015250565b5f612593602e8361188d565b915061259e82612539565b604082019050919050565b5f6020820190508181035f8301526125c081612587565b9050919050565b7f526563697069656e7420616464726573732063616e6e6f74206265207a65726f5f82015250565b5f6125fb60208361188d565b9150612606826125c7565b602082019050919050565b5f6020820190508181035f830152612628816125ef565b9050919050565b5f61263982611998565b915061264483611998565b925082820190508082111561265c5761265b61209a565b5b92915050565b5f6060820190506126755f830186611c65565b6126826020830185611a67565b61268f6040830184611a67565b94935050505056fea2646970667358221220f304f4907f54f9add0bc6cc782e9421f58a71ed1ba6189c45720395fa1fc219064736f6c6343000816003300000000000000000000000000000000000000000000000000000000000000a000000000000000000000000000000000000000000000000000000000000000e0000000000000000000000000000000000000000000000000000000070daa5e9600000000000000000000000094de41aeedd3f1bfcb2bc1b76abee79e044a7da4000000000000000000000000dd05afd696295029fc0e90cbe58584b7f2ccd181000000000000000000000000000000000000000000000000000000000000001257726170706564205374616b65642054414f0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000677737454414f0000000000000000000000000000000000000000000000000000

0x608060405234801561000f575f80fd5b5060043610610156575f3560e01c80637dc0d1d0116100c1578063b97dd9e21161007a578063b97dd9e2146103b2578063c1590cd7146103d0578063cd3293de146103ee578063dd62ed3e1461040c578063e67e402c1461043c578063f60ca6411461045857610156565b80637dc0d1d0146102f0578063880cdc311461030e5780638da5cb5b1461032a57806395d89b4114610348578063a333d1a414610366578063a9059cbb1461038257610156565b806324b76fd51161011357806324b76fd51461022e57806324e7964a1461024a578063313ce567146102685780633662454d146102865780634ff0876a146102a257806370a08231146102c057610156565b806306fdde031461015a578063095ea7b31461017857806317ffc320146101a857806318160ddd146101c45780631cb44dfc146101e257806323b872dd146101fe575b5f80fd5b610162610476565b60405161016f919061190d565b60405180910390f35b610192600480360381019061018d91906119cb565b610506565b60405161019f9190611a23565b60405180910390f35b6101c260048036038101906101bd9190611a3c565b610528565b005b6101cc61073d565b6040516101d99190611a76565b60405180910390f35b6101fc60048036038101906101f79190611a3c565b610746565b005b61021860048036038101906102139190611a8f565b610886565b6040516102259190611a23565b60405180910390f35b61024860048036038101906102439190611c0b565b6108b4565b005b6102526109d4565b60405161025f9190611c74565b60405180910390f35b6102706109f9565b60405161027d9190611ca8565b60405180910390f35b6102a0600480360381019061029b9190611cc1565b610a01565b005b6102aa610b55565b6040516102b79190611a76565b60405180910390f35b6102da60048036038101906102d59190611a3c565b610b5b565b6040516102e79190611a76565b60405180910390f35b6102f8610ba0565b6040516103059190611c74565b60405180910390f35b61032860048036038101906103239190611a3c565b610bc5565b005b610332610d05565b60405161033f9190611c74565b60405180910390f35b610350610d2a565b60405161035d919061190d565b60405180910390f35b610380600480360381019061037b9190611a3c565b610dba565b005b61039c600480360381019061039791906119cb565b610efa565b6040516103a99190611a23565b60405180910390f35b6103ba610f1c565b6040516103c79190611a76565b60405180910390f35b6103d8610f3d565b6040516103e59190611a76565b60405180910390f35b6103f6610f43565b6040516104039190611a76565b60405180910390f35b61042660048036038101906104219190611cec565b610f49565b6040516104339190611a76565b60405180910390f35b61045660048036038101906104519190611d2a565b610fcb565b005b6104606111fc565b60405161046d9190611a76565b60405180910390f35b60606003805461048590611dc3565b80601f01602080910402602001604051908101604052809291908181526020018280546104b190611dc3565b80156104fc5780601f106104d3576101008083540402835291602001916104fc565b820191905f5260205f20905b8154815290600101906020018083116104df57829003601f168201915b5050505050905090565b5f80610510611202565b905061051d818585611209565b600191505092915050565b60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146105b7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105ae90611e63565b60405180910390fd5b5f8190505f8173ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b81526004016105f59190611c74565b602060405180830381865afa158015610610573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106349190611e95565b90508173ffffffffffffffffffffffffffffffffffffffff1663a9059cbb60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16836040518363ffffffff1660e01b8152600401610692929190611ec0565b6020604051808303815f875af11580156106ae573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106d29190611f11565b5060055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc4790811502906040515f60405180830381858888f19350505050158015610737573d5f803e3d5ffd5b50505050565b5f600254905090565b60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146107d5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107cc90611e63565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610843576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161083a90611fac565b60405180910390fd5b8060085f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b5f80610890611202565b905061089d85828561121b565b6108a88585856112ad565b60019150509392505050565b5f82116108f6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108ed90612014565b60405180910390fd5b8161090033610b5b565b1015610941576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109389061207c565b60405180910390fd5b61094b338361139d565b3373ffffffffffffffffffffffffffffffffffffffff1661096a610f1c565b7fbcfe3634b375a18d06b4c011d8d2a500d3a3ec2feda4c681a020d502f1533720846109946109f9565b600a6109a091906121f6565b600b54876109ae9190612240565b6109b891906122ae565b856040516109c8939291906122de565b60405180910390a35050565b60065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b5f6009905090565b60085f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610a90576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a879061238a565b60405180910390fd5b5f811015610ad3576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610aca906123f2565b60405180910390fd5b80600781905550610ae261073d565b610aea6109f9565b600a610af691906121f6565b600754610b039190612240565b610b0d91906122ae565b600b81905550610b1b610f1c565b7f32dc813d3f262a05478ad1165d5701040e411d9a6e1684c8c2da1c8e6f3b802282604051610b4a9190611a76565b60405180910390a250565b600a5481565b5f805f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b60085f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610c54576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c4b90611e63565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610cc2576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610cb99061245a565b60405180910390fd5b8060055f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b606060048054610d3990611dc3565b80601f0160208091040260200160405190810160405280929190818152602001828054610d6590611dc3565b8015610db05780601f10610d8757610100808354040283529160200191610db0565b820191905f5260205f20905b815481529060010190602001808311610d9357829003601f168201915b5050505050905090565b60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610e49576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e4090611e63565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610eb7576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610eae906124e8565b60405180910390fd5b8060065f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b5f80610f04611202565b9050610f118185856112ad565b600191505092915050565b5f600a5460095442610f2e9190612506565b610f3891906122ae565b905090565b600b5481565b60075481565b5f60015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b60065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461105a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611051906125a9565b60405180910390fd5b5f831161109c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161109390612014565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361110a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161110190612611565b60405180910390fd5b5f600b546111166109f9565b600a61112291906121f6565b8561112d9190612240565b61113791906122ae565b9050611143838261141c565b8360075f828254611154919061262f565b925050819055508273ffffffffffffffffffffffffffffffffffffffff1661117a610f1c565b7fe03b75a1cd7fe7d48819041b703f3a75646c1aa29834a5beae92cec2de238d788387866040516111ad939291906122de565b60405180910390a36111bd610f1c565b7f32dc813d3f262a05478ad1165d5701040e411d9a6e1684c8c2da1c8e6f3b80226007546040516111ee9190611a76565b60405180910390a250505050565b60095481565b5f33905090565b611216838383600161149b565b505050565b5f6112268484610f49565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146112a75781811015611298578281836040517ffb8f41b200000000000000000000000000000000000000000000000000000000815260040161128f93929190612662565b60405180910390fd5b6112a684848484035f61149b565b5b50505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff160361131d575f6040517f96c6fd1e0000000000000000000000000000000000000000000000000000000081526004016113149190611c74565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361138d575f6040517fec442f050000000000000000000000000000000000000000000000000000000081526004016113849190611c74565b60405180910390fd5b61139883838361166a565b505050565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361140d575f6040517f96c6fd1e0000000000000000000000000000000000000000000000000000000081526004016114049190611c74565b60405180910390fd5b611418825f8361166a565b5050565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361148c575f6040517fec442f050000000000000000000000000000000000000000000000000000000081526004016114839190611c74565b60405180910390fd5b6114975f838361166a565b5050565b5f73ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff160361150b575f6040517fe602df050000000000000000000000000000000000000000000000000000000081526004016115029190611c74565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff160361157b575f6040517f94280d620000000000000000000000000000000000000000000000000000000081526004016115729190611c74565b60405180910390fd5b8160015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508015611664578273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258460405161165b9190611a76565b60405180910390a35b50505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036116ba578060025f8282546116ae919061262f565b92505081905550611788565b5f805f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905081811015611743578381836040517fe450d38c00000000000000000000000000000000000000000000000000000000815260040161173a93929190612662565b60405180910390fd5b8181035f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550505b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036117cf578060025f8282540392505081905550611819565b805f808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055505b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516118769190611a76565b60405180910390a3505050565b5f81519050919050565b5f82825260208201905092915050565b5f5b838110156118ba57808201518184015260208101905061189f565b5f8484015250505050565b5f601f19601f8301169050919050565b5f6118df82611883565b6118e9818561188d565b93506118f981856020860161189d565b611902816118c5565b840191505092915050565b5f6020820190508181035f83015261192581846118d5565b905092915050565b5f604051905090565b5f80fd5b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6119678261193e565b9050919050565b6119778161195d565b8114611981575f80fd5b50565b5f813590506119928161196e565b92915050565b5f819050919050565b6119aa81611998565b81146119b4575f80fd5b50565b5f813590506119c5816119a1565b92915050565b5f80604083850312156119e1576119e0611936565b5b5f6119ee85828601611984565b92505060206119ff858286016119b7565b9150509250929050565b5f8115159050919050565b611a1d81611a09565b82525050565b5f602082019050611a365f830184611a14565b92915050565b5f60208284031215611a5157611a50611936565b5b5f611a5e84828501611984565b91505092915050565b611a7081611998565b82525050565b5f602082019050611a895f830184611a67565b92915050565b5f805f60608486031215611aa657611aa5611936565b5b5f611ab386828701611984565b9350506020611ac486828701611984565b9250506040611ad5868287016119b7565b9150509250925092565b5f80fd5b5f80fd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b611b1d826118c5565b810181811067ffffffffffffffff82111715611b3c57611b3b611ae7565b5b80604052505050565b5f611b4e61192d565b9050611b5a8282611b14565b919050565b5f67ffffffffffffffff821115611b7957611b78611ae7565b5b611b82826118c5565b9050602081019050919050565b828183375f83830152505050565b5f611baf611baa84611b5f565b611b45565b905082815260208101848484011115611bcb57611bca611ae3565b5b611bd6848285611b8f565b509392505050565b5f82601f830112611bf257611bf1611adf565b5b8135611c02848260208601611b9d565b91505092915050565b5f8060408385031215611c2157611c20611936565b5b5f611c2e858286016119b7565b925050602083013567ffffffffffffffff811115611c4f57611c4e61193a565b5b611c5b85828601611bde565b9150509250929050565b611c6e8161195d565b82525050565b5f602082019050611c875f830184611c65565b92915050565b5f60ff82169050919050565b611ca281611c8d565b82525050565b5f602082019050611cbb5f830184611c99565b92915050565b5f60208284031215611cd657611cd5611936565b5b5f611ce3848285016119b7565b91505092915050565b5f8060408385031215611d0257611d01611936565b5b5f611d0f85828601611984565b9250506020611d2085828601611984565b9150509250929050565b5f805f60608486031215611d4157611d40611936565b5b5f611d4e868287016119b7565b9350506020611d5f86828701611984565b925050604084013567ffffffffffffffff811115611d8057611d7f61193a565b5b611d8c86828701611bde565b9150509250925092565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f6002820490506001821680611dda57607f821691505b602082108103611ded57611dec611d96565b5b50919050565b7f4f6e6c7920746865206f776e65722063616e20706572666f726d2074686973205f8201527f616374696f6e0000000000000000000000000000000000000000000000000000602082015250565b5f611e4d60268361188d565b9150611e5882611df3565b604082019050919050565b5f6020820190508181035f830152611e7a81611e41565b9050919050565b5f81519050611e8f816119a1565b92915050565b5f60208284031215611eaa57611ea9611936565b5b5f611eb784828501611e81565b91505092915050565b5f604082019050611ed35f830185611c65565b611ee06020830184611a67565b9392505050565b611ef081611a09565b8114611efa575f80fd5b50565b5f81519050611f0b81611ee7565b92915050565b5f60208284031215611f2657611f25611936565b5b5f611f3384828501611efd565b91505092915050565b7f4e6577206f7261636c6520616464726573732063616e6e6f74206265207a65725f8201527f6f00000000000000000000000000000000000000000000000000000000000000602082015250565b5f611f9660218361188d565b9150611fa182611f3c565b604082019050919050565b5f6020820190508181035f830152611fc381611f8a565b9050919050565b7f416d6f756e74206d7573742062652067726561746572207468616e20300000005f82015250565b5f611ffe601d8361188d565b915061200982611fca565b602082019050919050565b5f6020820190508181035f83015261202b81611ff2565b9050919050565b7f496e73756666696369656e742062616c616e636520746f2072656465656d00005f82015250565b5f612066601e8361188d565b915061207182612032565b602082019050919050565b5f6020820190508181035f8301526120938161205a565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f8160011c9050919050565b5f808291508390505b600185111561211c578086048111156120f8576120f761209a565b5b60018516156121075780820291505b8081029050612115856120c7565b94506120dc565b94509492505050565b5f8261213457600190506121ef565b81612141575f90506121ef565b8160018114612157576002811461216157612190565b60019150506121ef565b60ff8411156121735761217261209a565b5b8360020a91508482111561218a5761218961209a565b5b506121ef565b5060208310610133831016604e8410600b84101617156121c55782820a9050838111156121c0576121bf61209a565b5b6121ef565b6121d284848460016120d3565b925090508184048111156121e9576121e861209a565b5b81810290505b9392505050565b5f61220082611998565b915061220b83611c8d565b92506122387fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8484612125565b905092915050565b5f61224a82611998565b915061225583611998565b925082820261226381611998565b9150828204841483151761227a5761227961209a565b5b5092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f6122b882611998565b91506122c383611998565b9250826122d3576122d2612281565b5b828204905092915050565b5f6060820190506122f15f830186611a67565b6122fe6020830185611a67565b818103604083015261231081846118d5565b9050949350505050565b7f4f6e6c7920746865206f7261636c652063616e20706572666f726d20746869735f8201527f20616374696f6e00000000000000000000000000000000000000000000000000602082015250565b5f61237460278361188d565b915061237f8261231a565b604082019050919050565b5f6020820190508181035f8301526123a181612368565b9050919050565b7f4e65772072657365727665206d757374206265206e6f6e2d6e656761746976655f82015250565b5f6123dc60208361188d565b91506123e7826123a8565b602082019050919050565b5f6020820190508181035f830152612409816123d0565b9050919050565b7f4e6577206f776e657220616464726573732063616e6e6f74206265207a65726f5f82015250565b5f61244460208361188d565b915061244f82612410565b602082019050919050565b5f6020820190508181035f83015261247181612438565b9050919050565b7f4e6577207374616b696e67207661756c7420616464726573732063616e6e6f745f8201527f206265207a65726f000000000000000000000000000000000000000000000000602082015250565b5f6124d260288361188d565b91506124dd82612478565b604082019050919050565b5f6020820190508181035f8301526124ff816124c6565b9050919050565b5f61251082611998565b915061251b83611998565b92508282039050818111156125335761253261209a565b5b92915050565b7f4f6e6c7920746865207374616b696e67207661756c742063616e20706572666f5f8201527f726d207468697320616374696f6e000000000000000000000000000000000000602082015250565b5f612593602e8361188d565b915061259e82612539565b604082019050919050565b5f6020820190508181035f8301526125c081612587565b9050919050565b7f526563697069656e7420616464726573732063616e6e6f74206265207a65726f5f82015250565b5f6125fb60208361188d565b9150612606826125c7565b602082019050919050565b5f6020820190508181035f830152612628816125ef565b9050919050565b5f61263982611998565b915061264483611998565b925082820190508082111561265c5761265b61209a565b5b92915050565b5f6060820190506126755f830186611c65565b6126826020830185611a67565b61268f6040830184611a67565b94935050505056fea2646970667358221220f304f4907f54f9add0bc6cc782e9421f58a71ed1ba6189c45720395fa1fc219064736f6c63430008160033

00000000000000000000000000000000000000000000000000000000000000a000000000000000000000000000000000000000000000000000000000000000e0000000000000000000000000000000000000000000000000000000070daa5e9600000000000000000000000094de41aeedd3f1bfcb2bc1b76abee79e044a7da4000000000000000000000000dd05afd696295029fc0e90cbe58584b7f2ccd181000000000000000000000000000000000000000000000000000000000000001257726170706564205374616b65642054414f0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000677737454414f0000000000000000000000000000000000000000000000000000

-----Decoded View---------------
Arg [0] : _name (string): Wrapped Staked TAO
Arg [1] : _symbol (string): wstTAO
Arg [2] : _initialSupply (uint256): 30294040214
Arg [3] : _stakingVault (address): 0x94DE41aEedd3f1bfcB2Bc1b76Abee79E044A7da4
Arg [4] : _oracle (address): 0xdd05AfD696295029FC0e90Cbe58584B7f2CCd181

-----Encoded View---------------
9 Constructor Arguments found :
Arg [0] : 00000000000000000000000000000000000000000000000000000000000000a0
Arg [1] : 00000000000000000000000000000000000000000000000000000000000000e0
Arg [2] : 000000000000000000000000000000000000000000000000000000070daa5e96
Arg [3] : 00000000000000000000000094de41aeedd3f1bfcb2bc1b76abee79e044a7da4
Arg [4] : 000000000000000000000000dd05afd696295029fc0e90cbe58584b7f2ccd181
Arg [5] : 0000000000000000000000000000000000000000000000000000000000000012
Arg [6] : 57726170706564205374616b65642054414f0000000000000000000000000000
Arg [7] : 0000000000000000000000000000000000000000000000000000000000000006
Arg [8] : 77737454414f0000000000000000000000000000000000000000000000000000

22691:4681:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13297:91;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;15590:190;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;27111:258;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;14399:99;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;26443:180;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;16358:249;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;25588:440;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;22856:27;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;24192:92;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;26631:297;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;23005:38;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;14561:118;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;22919:21;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;26036:174;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;22829:20;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;13507:95;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;26218:217;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;14884:182;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;26936:133;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;23346:31;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;22890:22;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;15129:142;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;24800:534;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;22969:29;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;13297:91;13342:13;13375:5;13368:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13297:91;:::o;15590:190::-;15663:4;15680:13;15696:12;:10;:12::i;:::-;15680:28;;15719:31;15728:5;15735:7;15744:5;15719:8;:31::i;:::-;15768:4;15761:11;;;15590:190;;;;:::o;27111:258::-;24346:5;;;;;;;;;;;24332:19;;:10;:19;;;24324:70;;;;;;;;;;;;:::i;:::-;;;;;;;;;27177:11:::1;27197:6;27177:27;;27215:15;27233:5;:15;;;27257:4;27233:30;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;27215:48;;27274:5;:14;;;27289:5;;;;;;;;;;;27296:7;27274:30;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;27323:5;;;;;;;;;;;27315:23;;:46;27339:21;27315:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;27166:203;;27111:258:::0;:::o;14399:99::-;14451:7;14478:12;;14471:19;;14399:99;:::o;26443:180::-;24346:5;;;;;;;;;;;24332:19;;:10;:19;;;24324:70;;;;;;;;;;;;:::i;:::-;;;;;;;;;26545:1:::1;26523:24;;:10;:24;;::::0;26515:70:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;26605:10;26596:6;;:19;;;;;;;;;;;;;;;;;;26443:180:::0;:::o;16358:249::-;16445:4;16462:15;16480:12;:10;:12::i;:::-;16462:30;;16503:37;16519:4;16525:7;16534:5;16503:15;:37::i;:::-;16551:26;16561:4;16567:2;16571:5;16551:9;:26::i;:::-;16595:4;16588:11;;;16358:249;;;;;:::o;25588:440::-;25691:1;25681:7;:11;25673:53;;;;;;;;;;;;:::i;:::-;;;;;;;;;25770:7;25745:21;25755:10;25745:9;:21::i;:::-;:32;;25737:75;;;;;;;;;;;;:::i;:::-;;;;;;;;;25825:26;25831:10;25843:7;25825:5;:26::i;:::-;25895:10;25869:98;;25876:17;:15;:17::i;:::-;25869:98;25907:7;25937:10;:8;:10::i;:::-;25933:2;:14;;;;:::i;:::-;25926:3;;25916:7;:13;;;;:::i;:::-;:32;;;;:::i;:::-;25950:16;25869:98;;;;;;;;:::i;:::-;;;;;;;;25588:440;;:::o;22856:27::-;;;;;;;;;;;;;:::o;24192:92::-;24250:5;24275:1;24268:8;;24192:92;:::o;26631:297::-;24629:6;;;;;;;;;;;24615:20;;:10;:20;;;24607:72;;;;;;;;;;;;:::i;:::-;;;;;;;;;26729:1:::1;26714:11;:16;;26706:61;;;;;;;;;;;;:::i;:::-;;;;;;;;;26788:11;26778:7;:21;;;;26845:13;:11;:13::i;:::-;26831:10;:8;:10::i;:::-;26827:2;:14;;;;:::i;:::-;26816:7;;:26;;;;:::i;:::-;:42;;;;:::i;:::-;26810:3;:48;;;;26889:17;:15;:17::i;:::-;26874:46;26908:11;26874:46;;;;;;:::i;:::-;;;;;;;;26631:297:::0;:::o;23005:38::-;;;;:::o;14561:118::-;14626:7;14653:9;:18;14663:7;14653:18;;;;;;;;;;;;;;;;14646:25;;14561:118;;;:::o;22919:21::-;;;;;;;;;;;;;:::o;26036:174::-;24346:5;;;;;;;;;;;24332:19;;:10;:19;;;24324:70;;;;;;;;;;;;:::i;:::-;;;;;;;;;26135:1:::1;26114:23;;:9;:23;;::::0;26106:68:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;26193:9;26185:5;;:17;;;;;;;;;;;;;;;;;;26036:174:::0;:::o;22829:20::-;;;;;;;;;;;;;:::o;13507:95::-;13554:13;13587:7;13580:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13507:95;:::o;26218:217::-;24346:5;;;;;;;;;;;24332:19;;:10;:19;;;24324:70;;;;;;;;;;;;:::i;:::-;;;;;;;;;26338:1:::1;26310:30;;:16;:30;;::::0;26302:83:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;26411:16;26396:12;;:31;;;;;;;;;;;;;;;;;;26218:217:::0;:::o;14884:182::-;14953:4;14970:13;14986:12;:10;:12::i;:::-;14970:28;;15009:27;15019:5;15026:2;15030:5;15009:9;:27::i;:::-;15054:4;15047:11;;;14884:182;;;;:::o;26936:133::-;26984:7;27048:13;;27030:14;;27012:15;:32;;;;:::i;:::-;27011:50;;;;:::i;:::-;27004:57;;26936:133;:::o;23346:31::-;;;;:::o;22890:22::-;;;;:::o;15129:142::-;15209:7;15236:11;:18;15248:5;15236:18;;;;;;;;;;;;;;;:27;15255:7;15236:27;;;;;;;;;;;;;;;;15229:34;;15129:142;;;;:::o;24800:534::-;24483:12;;;;;;;;;;;24469:26;;:10;:26;;;24461:85;;;;;;;;;;;;:::i;:::-;;;;;;;;;24927:1:::1;24917:7;:11;24909:53;;;;;;;;;;;;:::i;:::-;;;;;;;;;25003:1;24981:24;;:10;:24;;::::0;24973:69:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;25055:18;25105:3;;25091:10;:8;:10::i;:::-;25087:2;:14;;;;:::i;:::-;25076:7;:26;;;;:::i;:::-;:32;;;;:::i;:::-;25055:53;;25121:29;25127:10;25139;25121:5;:29::i;:::-;25172:7;25161;;:18;;;;;;;:::i;:::-;;;;;;;;25250:10;25205:63;;25210:17;:15;:17::i;:::-;25205:63;25229:10;25241:7;25262:5;25205:63;;;;;;;;:::i;:::-;;;;;;;;25299:17;:15;:17::i;:::-;25284:42;25318:7;;25284:42;;;;;;:::i;:::-;;;;;;;;24898:436;24800:534:::0;;;:::o;22969:29::-;;;;:::o;7425:98::-;7478:7;7505:10;7498:17;;7425:98;:::o;20417:130::-;20502:37;20511:5;20518:7;20527:5;20534:4;20502:8;:37::i;:::-;20417:130;;;:::o;22133:487::-;22233:24;22260:25;22270:5;22277:7;22260:9;:25::i;:::-;22233:52;;22320:17;22300:16;:37;22296:317;;22377:5;22358:16;:24;22354:132;;;22437:7;22446:16;22464:5;22410:60;;;;;;;;;;;;;:::i;:::-;;;;;;;;22354:132;22529:57;22538:5;22545:7;22573:5;22554:16;:24;22580:5;22529:8;:57::i;:::-;22296:317;22222:398;22133:487;;;:::o;16992:308::-;17092:1;17076:18;;:4;:18;;;17072:88;;17145:1;17118:30;;;;;;;;;;;:::i;:::-;;;;;;;;17072:88;17188:1;17174:16;;:2;:16;;;17170:88;;17243:1;17214:32;;;;;;;;;;;:::i;:::-;;;;;;;;17170:88;17268:24;17276:4;17282:2;17286:5;17268:7;:24::i;:::-;16992:308;;;:::o;19653:211::-;19743:1;19724:21;;:7;:21;;;19720:91;;19796:1;19769:30;;;;;;;;;;;:::i;:::-;;;;;;;;19720:91;19821:35;19829:7;19846:1;19850:5;19821:7;:35::i;:::-;19653:211;;:::o;19112:213::-;19202:1;19183:21;;:7;:21;;;19179:93;;19257:1;19228:32;;;;;;;;;;;:::i;:::-;;;;;;;;19179:93;19282:35;19298:1;19302:7;19311:5;19282:7;:35::i;:::-;19112:213;;:::o;21398:443::-;21528:1;21511:19;;:5;:19;;;21507:91;;21583:1;21554:32;;;;;;;;;;;:::i;:::-;;;;;;;;21507:91;21631:1;21612:21;;:7;:21;;;21608:92;;21685:1;21657:31;;;;;;;;;;;:::i;:::-;;;;;;;;21608:92;21740:5;21710:11;:18;21722:5;21710:18;;;;;;;;;;;;;;;:27;21729:7;21710:27;;;;;;;;;;;;;;;:35;;;;21760:9;21756:78;;;21807:7;21791:31;;21800:5;21791:31;;;21816:5;21791:31;;;;;;:::i;:::-;;;;;;;;21756:78;21398:443;;;;:::o;17624:1135::-;17730:1;17714:18;;:4;:18;;;17710:552;;17868:5;17852:12;;:21;;;;;;;:::i;:::-;;;;;;;;17710:552;;;17906:19;17928:9;:15;17938:4;17928:15;;;;;;;;;;;;;;;;17906:37;;17976:5;17962:11;:19;17958:117;;;18034:4;18040:11;18053:5;18009:50;;;;;;;;;;;;;:::i;:::-;;;;;;;;17958:117;18230:5;18216:11;:19;18198:9;:15;18208:4;18198:15;;;;;;;;;;;;;;;:37;;;;17891:371;17710:552;18292:1;18278:16;;:2;:16;;;18274:435;;18460:5;18444:12;;:21;;;;;;;;;;;18274:435;;;18677:5;18660:9;:13;18670:2;18660:13;;;;;;;;;;;;;;;;:22;;;;;;;;;;;18274:435;18741:2;18726:25;;18735:4;18726:25;;;18745:5;18726:25;;;;;;:::i;:::-;;;;;;;;17624: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;1349:75::-;1382:6;1415:2;1409:9;1399:19;;1349:75;:::o;1430:117::-;1539:1;1536;1529:12;1553:117;1662:1;1659;1652: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:329::-;3505:6;3554:2;3542:9;3533:7;3529:23;3525:32;3522:119;;;3560:79;;:::i;:::-;3522:119;3680:1;3705:53;3750:7;3741:6;3730:9;3726:22;3705:53;:::i;:::-;3695:63;;3651:117;3446:329;;;;:::o;3781:118::-;3868:24;3886:5;3868:24;:::i;:::-;3863:3;3856:37;3781:118;;:::o;3905:222::-;3998:4;4036:2;4025:9;4021:18;4013:26;;4049:71;4117:1;4106:9;4102:17;4093:6;4049:71;:::i;:::-;3905:222;;;;:::o;4133:619::-;4210:6;4218;4226;4275:2;4263:9;4254:7;4250:23;4246:32;4243:119;;;4281:79;;:::i;:::-;4243:119;4401:1;4426:53;4471:7;4462:6;4451:9;4447:22;4426:53;:::i;:::-;4416:63;;4372:117;4528:2;4554:53;4599:7;4590:6;4579:9;4575:22;4554:53;:::i;:::-;4544:63;;4499:118;4656:2;4682:53;4727:7;4718:6;4707:9;4703:22;4682:53;:::i;:::-;4672:63;;4627:118;4133:619;;;;;:::o;4758:117::-;4867:1;4864;4857:12;4881:117;4990:1;4987;4980:12;5004:180;5052:77;5049:1;5042:88;5149:4;5146:1;5139:15;5173:4;5170:1;5163:15;5190:281;5273:27;5295:4;5273:27;:::i;:::-;5265:6;5261:40;5403:6;5391:10;5388:22;5367:18;5355:10;5352:34;5349:62;5346:88;;;5414:18;;:::i;:::-;5346:88;5454:10;5450:2;5443:22;5233:238;5190:281;;:::o;5477:129::-;5511:6;5538:20;;:::i;:::-;5528:30;;5567:33;5595:4;5587:6;5567:33;:::i;:::-;5477:129;;;:::o;5612:308::-;5674:4;5764:18;5756:6;5753:30;5750:56;;;5786:18;;:::i;:::-;5750:56;5824:29;5846:6;5824:29;:::i;:::-;5816:37;;5908:4;5902;5898:15;5890:23;;5612:308;;;:::o;5926:146::-;6023:6;6018:3;6013;6000:30;6064:1;6055:6;6050:3;6046:16;6039:27;5926:146;;;:::o;6078:425::-;6156:5;6181:66;6197:49;6239:6;6197:49;:::i;:::-;6181:66;:::i;:::-;6172:75;;6270:6;6263:5;6256:21;6308:4;6301:5;6297:16;6346:3;6337:6;6332:3;6328:16;6325:25;6322:112;;;6353:79;;:::i;:::-;6322:112;6443:54;6490:6;6485:3;6480;6443:54;:::i;:::-;6162:341;6078:425;;;;;:::o;6523:340::-;6579:5;6628:3;6621:4;6613:6;6609:17;6605:27;6595:122;;6636:79;;:::i;:::-;6595:122;6753:6;6740:20;6778:79;6853:3;6845:6;6838:4;6830:6;6826:17;6778:79;:::i;:::-;6769:88;;6585:278;6523:340;;;;:::o;6869:654::-;6947:6;6955;7004:2;6992:9;6983:7;6979:23;6975:32;6972:119;;;7010:79;;:::i;:::-;6972:119;7130:1;7155:53;7200:7;7191:6;7180:9;7176:22;7155:53;:::i;:::-;7145:63;;7101:117;7285:2;7274:9;7270:18;7257:32;7316:18;7308:6;7305:30;7302:117;;;7338:79;;:::i;:::-;7302:117;7443:63;7498:7;7489:6;7478:9;7474:22;7443:63;:::i;:::-;7433:73;;7228:288;6869:654;;;;;:::o;7529:118::-;7616:24;7634:5;7616:24;:::i;:::-;7611:3;7604:37;7529:118;;:::o;7653:222::-;7746:4;7784:2;7773:9;7769:18;7761:26;;7797:71;7865:1;7854:9;7850:17;7841:6;7797:71;:::i;:::-;7653:222;;;;:::o;7881:86::-;7916:7;7956:4;7949:5;7945:16;7934:27;;7881:86;;;:::o;7973:112::-;8056:22;8072:5;8056:22;:::i;:::-;8051:3;8044:35;7973:112;;:::o;8091:214::-;8180:4;8218:2;8207:9;8203:18;8195:26;;8231:67;8295:1;8284:9;8280:17;8271:6;8231:67;:::i;:::-;8091:214;;;;:::o;8311:329::-;8370:6;8419:2;8407:9;8398:7;8394:23;8390:32;8387:119;;;8425:79;;:::i;:::-;8387:119;8545:1;8570:53;8615:7;8606:6;8595:9;8591:22;8570:53;:::i;:::-;8560:63;;8516:117;8311:329;;;;:::o;8646:474::-;8714:6;8722;8771:2;8759:9;8750:7;8746:23;8742:32;8739:119;;;8777:79;;:::i;:::-;8739:119;8897:1;8922:53;8967:7;8958:6;8947:9;8943:22;8922:53;:::i;:::-;8912:63;;8868:117;9024:2;9050:53;9095:7;9086:6;9075:9;9071:22;9050:53;:::i;:::-;9040:63;;8995:118;8646:474;;;;;:::o;9126:799::-;9213:6;9221;9229;9278:2;9266:9;9257:7;9253:23;9249:32;9246:119;;;9284:79;;:::i;:::-;9246:119;9404:1;9429:53;9474:7;9465:6;9454:9;9450:22;9429:53;:::i;:::-;9419:63;;9375:117;9531:2;9557:53;9602:7;9593:6;9582:9;9578:22;9557:53;:::i;:::-;9547:63;;9502:118;9687:2;9676:9;9672:18;9659:32;9718:18;9710:6;9707:30;9704:117;;;9740:79;;:::i;:::-;9704:117;9845:63;9900:7;9891:6;9880:9;9876:22;9845:63;:::i;:::-;9835:73;;9630:288;9126:799;;;;;:::o;9931:180::-;9979:77;9976:1;9969:88;10076:4;10073:1;10066:15;10100:4;10097:1;10090:15;10117:320;10161:6;10198:1;10192:4;10188:12;10178:22;;10245:1;10239:4;10235:12;10266:18;10256:81;;10322:4;10314:6;10310:17;10300:27;;10256:81;10384:2;10376:6;10373:14;10353:18;10350:38;10347:84;;10403:18;;:::i;:::-;10347:84;10168:269;10117:320;;;:::o;10443:225::-;10583:34;10579:1;10571:6;10567:14;10560:58;10652:8;10647:2;10639:6;10635:15;10628:33;10443:225;:::o;10674:366::-;10816:3;10837:67;10901:2;10896:3;10837:67;:::i;:::-;10830:74;;10913:93;11002:3;10913:93;:::i;:::-;11031:2;11026:3;11022:12;11015:19;;10674:366;;;:::o;11046:419::-;11212:4;11250:2;11239:9;11235:18;11227:26;;11299:9;11293:4;11289:20;11285:1;11274:9;11270:17;11263:47;11327:131;11453:4;11327:131;:::i;:::-;11319:139;;11046:419;;;:::o;11471:143::-;11528:5;11559:6;11553:13;11544:22;;11575:33;11602:5;11575:33;:::i;:::-;11471:143;;;;:::o;11620:351::-;11690:6;11739:2;11727:9;11718:7;11714:23;11710:32;11707:119;;;11745:79;;:::i;:::-;11707:119;11865:1;11890:64;11946:7;11937:6;11926:9;11922:22;11890:64;:::i;:::-;11880:74;;11836:128;11620:351;;;;:::o;11977:332::-;12098:4;12136:2;12125:9;12121:18;12113:26;;12149:71;12217:1;12206:9;12202:17;12193:6;12149:71;:::i;:::-;12230:72;12298:2;12287:9;12283:18;12274:6;12230:72;:::i;:::-;11977:332;;;;;:::o;12315:116::-;12385:21;12400:5;12385:21;:::i;:::-;12378:5;12375:32;12365:60;;12421:1;12418;12411:12;12365:60;12315:116;:::o;12437:137::-;12491:5;12522:6;12516:13;12507:22;;12538:30;12562:5;12538:30;:::i;:::-;12437:137;;;;:::o;12580:345::-;12647:6;12696:2;12684:9;12675:7;12671:23;12667:32;12664:119;;;12702:79;;:::i;:::-;12664:119;12822:1;12847:61;12900:7;12891:6;12880:9;12876:22;12847:61;:::i;:::-;12837:71;;12793:125;12580:345;;;;:::o;12931:220::-;13071:34;13067:1;13059:6;13055:14;13048:58;13140:3;13135:2;13127:6;13123:15;13116:28;12931:220;:::o;13157:366::-;13299:3;13320:67;13384:2;13379:3;13320:67;:::i;:::-;13313:74;;13396:93;13485:3;13396:93;:::i;:::-;13514:2;13509:3;13505:12;13498:19;;13157:366;;;:::o;13529:419::-;13695:4;13733:2;13722:9;13718:18;13710:26;;13782:9;13776:4;13772:20;13768:1;13757:9;13753:17;13746:47;13810:131;13936:4;13810:131;:::i;:::-;13802:139;;13529:419;;;:::o;13954:179::-;14094:31;14090:1;14082:6;14078:14;14071:55;13954:179;:::o;14139:366::-;14281:3;14302:67;14366:2;14361:3;14302:67;:::i;:::-;14295:74;;14378:93;14467:3;14378:93;:::i;:::-;14496:2;14491:3;14487:12;14480:19;;14139:366;;;:::o;14511:419::-;14677:4;14715:2;14704:9;14700:18;14692:26;;14764:9;14758:4;14754:20;14750:1;14739:9;14735:17;14728:47;14792:131;14918:4;14792:131;:::i;:::-;14784:139;;14511:419;;;:::o;14936:180::-;15076:32;15072:1;15064:6;15060:14;15053:56;14936:180;:::o;15122:366::-;15264:3;15285:67;15349:2;15344:3;15285:67;:::i;:::-;15278:74;;15361:93;15450:3;15361:93;:::i;:::-;15479:2;15474:3;15470:12;15463:19;;15122:366;;;:::o;15494:419::-;15660:4;15698:2;15687:9;15683:18;15675:26;;15747:9;15741:4;15737:20;15733:1;15722:9;15718:17;15711:47;15775:131;15901:4;15775:131;:::i;:::-;15767:139;;15494:419;;;:::o;15919:180::-;15967:77;15964:1;15957:88;16064:4;16061:1;16054:15;16088:4;16085:1;16078:15;16105:102;16147:8;16194:5;16191:1;16187:13;16166:34;;16105:102;;;:::o;16213:848::-;16274:5;16281:4;16305:6;16296:15;;16329:5;16320:14;;16343:712;16364:1;16354:8;16351:15;16343:712;;;16459:4;16454:3;16450:14;16444:4;16441:24;16438:50;;;16468:18;;:::i;:::-;16438:50;16518:1;16508:8;16504:16;16501:451;;;16933:4;16926:5;16922:16;16913:25;;16501:451;16983:4;16977;16973:15;16965:23;;17013:32;17036:8;17013:32;:::i;:::-;17001:44;;16343:712;;;16213:848;;;;;;;:::o;17067:1073::-;17121:5;17312:8;17302:40;;17333:1;17324:10;;17335:5;;17302:40;17361:4;17351:36;;17378:1;17369:10;;17380:5;;17351:36;17447:4;17495:1;17490:27;;;;17531:1;17526:191;;;;17440:277;;17490:27;17508:1;17499:10;;17510:5;;;17526:191;17571:3;17561:8;17558:17;17555:43;;;17578:18;;:::i;:::-;17555:43;17627:8;17624:1;17620:16;17611:25;;17662:3;17655:5;17652:14;17649:40;;;17669:18;;:::i;:::-;17649:40;17702:5;;;17440:277;;17826:2;17816:8;17813:16;17807:3;17801:4;17798:13;17794:36;17776:2;17766:8;17763:16;17758:2;17752:4;17749:12;17745:35;17729:111;17726:246;;;17882:8;17876:4;17872:19;17863:28;;17917:3;17910:5;17907:14;17904:40;;;17924:18;;:::i;:::-;17904:40;17957:5;;17726:246;17997:42;18035:3;18025:8;18019:4;18016:1;17997:42;:::i;:::-;17982:57;;;;18071:4;18066:3;18062:14;18055:5;18052:25;18049:51;;;18080:18;;:::i;:::-;18049:51;18129:4;18122:5;18118:16;18109:25;;17067:1073;;;;;;:::o;18146:281::-;18204:5;18228:23;18246:4;18228:23;:::i;:::-;18220:31;;18272:25;18288:8;18272:25;:::i;:::-;18260:37;;18316:104;18353:66;18343:8;18337:4;18316:104;:::i;:::-;18307:113;;18146:281;;;;:::o;18433:410::-;18473:7;18496:20;18514:1;18496:20;:::i;:::-;18491:25;;18530:20;18548:1;18530:20;:::i;:::-;18525:25;;18585:1;18582;18578:9;18607:30;18625:11;18607:30;:::i;:::-;18596:41;;18786:1;18777:7;18773:15;18770:1;18767:22;18747:1;18740:9;18720:83;18697:139;;18816:18;;:::i;:::-;18697:139;18481:362;18433:410;;;;:::o;18849:180::-;18897:77;18894:1;18887:88;18994:4;18991:1;18984:15;19018:4;19015:1;19008:15;19035:185;19075:1;19092:20;19110:1;19092:20;:::i;:::-;19087:25;;19126:20;19144:1;19126:20;:::i;:::-;19121:25;;19165:1;19155:35;;19170:18;;:::i;:::-;19155:35;19212:1;19209;19205:9;19200:14;;19035:185;;;;:::o;19226:533::-;19395:4;19433:2;19422:9;19418:18;19410:26;;19446:71;19514:1;19503:9;19499:17;19490:6;19446:71;:::i;:::-;19527:72;19595:2;19584:9;19580:18;19571:6;19527:72;:::i;:::-;19646:9;19640:4;19636:20;19631:2;19620:9;19616:18;19609:48;19674:78;19747:4;19738:6;19674:78;:::i;:::-;19666:86;;19226:533;;;;;;:::o;19765:226::-;19905:34;19901:1;19893:6;19889:14;19882:58;19974:9;19969:2;19961:6;19957:15;19950:34;19765:226;:::o;19997:366::-;20139:3;20160:67;20224:2;20219:3;20160:67;:::i;:::-;20153:74;;20236:93;20325:3;20236:93;:::i;:::-;20354:2;20349:3;20345:12;20338:19;;19997:366;;;:::o;20369:419::-;20535:4;20573:2;20562:9;20558:18;20550:26;;20622:9;20616:4;20612:20;20608:1;20597:9;20593:17;20586:47;20650:131;20776:4;20650:131;:::i;:::-;20642:139;;20369:419;;;:::o;20794:182::-;20934:34;20930:1;20922:6;20918:14;20911:58;20794:182;:::o;20982:366::-;21124:3;21145:67;21209:2;21204:3;21145:67;:::i;:::-;21138:74;;21221:93;21310:3;21221:93;:::i;:::-;21339:2;21334:3;21330:12;21323:19;;20982:366;;;:::o;21354:419::-;21520:4;21558:2;21547:9;21543:18;21535:26;;21607:9;21601:4;21597:20;21593:1;21582:9;21578:17;21571:47;21635:131;21761:4;21635:131;:::i;:::-;21627:139;;21354:419;;;:::o;21779:182::-;21919:34;21915:1;21907:6;21903:14;21896:58;21779:182;:::o;21967:366::-;22109:3;22130:67;22194:2;22189:3;22130:67;:::i;:::-;22123:74;;22206:93;22295:3;22206:93;:::i;:::-;22324:2;22319:3;22315:12;22308:19;;21967:366;;;:::o;22339:419::-;22505:4;22543:2;22532:9;22528:18;22520:26;;22592:9;22586:4;22582:20;22578:1;22567:9;22563:17;22556:47;22620:131;22746:4;22620:131;:::i;:::-;22612:139;;22339:419;;;:::o;22764:227::-;22904:34;22900:1;22892:6;22888:14;22881:58;22973:10;22968:2;22960:6;22956:15;22949:35;22764:227;:::o;22997:366::-;23139:3;23160:67;23224:2;23219:3;23160:67;:::i;:::-;23153:74;;23236:93;23325:3;23236:93;:::i;:::-;23354:2;23349:3;23345:12;23338:19;;22997:366;;;:::o;23369:419::-;23535:4;23573:2;23562:9;23558:18;23550:26;;23622:9;23616:4;23612:20;23608:1;23597:9;23593:17;23586:47;23650:131;23776:4;23650:131;:::i;:::-;23642:139;;23369:419;;;:::o;23794:194::-;23834:4;23854:20;23872:1;23854:20;:::i;:::-;23849:25;;23888:20;23906:1;23888:20;:::i;:::-;23883:25;;23932:1;23929;23925:9;23917:17;;23956:1;23950:4;23947:11;23944:37;;;23961:18;;:::i;:::-;23944:37;23794:194;;;;:::o;23994:233::-;24134:34;24130:1;24122:6;24118:14;24111:58;24203:16;24198:2;24190:6;24186:15;24179:41;23994:233;:::o;24233:366::-;24375:3;24396:67;24460:2;24455:3;24396:67;:::i;:::-;24389:74;;24472:93;24561:3;24472:93;:::i;:::-;24590:2;24585:3;24581:12;24574:19;;24233:366;;;:::o;24605:419::-;24771:4;24809:2;24798:9;24794:18;24786:26;;24858:9;24852:4;24848:20;24844:1;24833:9;24829:17;24822:47;24886:131;25012:4;24886:131;:::i;:::-;24878:139;;24605:419;;;:::o;25030:182::-;25170:34;25166:1;25158:6;25154:14;25147:58;25030:182;:::o;25218:366::-;25360:3;25381:67;25445:2;25440:3;25381:67;:::i;:::-;25374:74;;25457:93;25546:3;25457:93;:::i;:::-;25575:2;25570:3;25566:12;25559:19;;25218:366;;;:::o;25590:419::-;25756:4;25794:2;25783:9;25779:18;25771:26;;25843:9;25837:4;25833:20;25829:1;25818:9;25814:17;25807:47;25871:131;25997:4;25871:131;:::i;:::-;25863:139;;25590:419;;;:::o;26015:191::-;26055:3;26074:20;26092:1;26074:20;:::i;:::-;26069:25;;26108:20;26126:1;26108:20;:::i;:::-;26103:25;;26151:1;26148;26144:9;26137:16;;26172:3;26169:1;26166:10;26163:36;;;26179:18;;:::i;:::-;26163:36;26015:191;;;;:::o;26212:442::-;26361:4;26399:2;26388:9;26384:18;26376:26;;26412:71;26480:1;26469:9;26465:17;26456:6;26412:71;:::i;:::-;26493:72;26561:2;26550:9;26546:18;26537:6;26493:72;:::i;:::-;26575;26643:2;26632:9;26628:18;26619:6;26575:72;:::i;:::-;26212:442;;;;;;:::o

ipfs://f304f4907f54f9add0bc6cc782e9421f58a71ed1ba6189c45720395fa1fc2190