Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• library Math
•    - function max(uint256 a, uint256 b)
•    - function min(uint256 a, uint256 b)
•    - function average(uint256 a, uint256 b ...
• library SafeMath
•    - function add(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b, st ...
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b, st ...
•    - function mod(uint256 a, uint256 b)
•    - function mod(uint256 a, uint256 b, st ...
• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address sender, ...
•    - function _msgSender()
•    - function _msgData()
•  contract Ownable is Context
•    - function owner()
•    - function renounceOwnership()
•    - function transferOwnership(address ne ...
• interface IDepositContract
•    - function deposit(
•    - function get_deposit_root()
•    - function get_deposit_count()
• interface IVETH
•    - function mint(address account, uint a ...
•    - function burn(address account, uint a ...
•    - function unpause()
•    - function paused()
•  contract MintDrop is Ownable *
•    - function deposit()
•    - function withdraw(uint amount)
•    - function claimRewards()
•    - function lockForValidator(
•    - function bindBifrostAddress(string me ...
•    - function lockWithdraw()
•    - function unlockWithdraw()
•    - function getTotalRewards()
•    - function getIncrementalRewards(addres ...
•    - function getRewards(address target)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-11-27
*/

//  =====================================================================================
//
//   ___ __ __    ________  ___   __   _________   ______  ______   ______  ______
//  /__//_//_/\  /_______/\/__/\ /__/\/________/\ /_____/\/_____/\ /_____/\/_____/\
//  \::\| \| \ \ \__.::._\/\::\_\\  \ \__.::.__\/ \:::_ \ \:::_ \ \\:::_ \ \:::_ \ \
//   \:.      \ \   \::\ \  \:. `-\  \ \ \::\ \    \:\ \ \ \:(_) ) )\:\ \ \ \:(_) \ \
//    \:.\-/\  \ \  _\::\ \__\:. _    \ \ \::\ \    \:\ \ \ \: __ `\ \:\ \ \ \: ___\/
//     \. \  \  \ \/__\::\__/\\. \`-\  \ \ \::\ \    \:\/.:| \ \ `\ \ \:\_\ \ \ \ \
//      \__\/ \__\/\________\/ \__\/ \__\/  \__\/     \____/_/\_\/ \_\/\_____\/\_\/
//
//  =====================================================================================

// SPDX-License-Identifier: MIT

pragma solidity 0.6.11;

/**
 * @dev Standard math utilities missing in the Solidity language.
 */
library Math {
    /**
     * @dev Returns the largest of two numbers.
     */
    function max(uint256 a, uint256 b) internal pure returns (uint256) {
        return a >= b ? a : b;
    }

    /**
     * @dev Returns the smallest of two numbers.
     */
    function min(uint256 a, uint256 b) internal pure returns (uint256) {
        return a < b ? a : b;
    }

    /**
     * @dev Returns the average of two numbers. The result is rounded towards
     * zero.
     */
    function average(uint256 a, uint256 b) internal pure returns (uint256) {
        // (a + b) / 2 can overflow, so we distribute
        return (a / 2) + (b / 2) + ((a % 2 + b % 2) / 2);
    }
}

pragma solidity 0.6.11;

/**
 * @dev Wrappers over Solidity's arithmetic operations with added overflow
 * checks.
 *
 * Arithmetic operations in Solidity wrap on overflow. This can easily result
 * in bugs, because programmers usually assume that an overflow raises an
 * error, which is the standard behavior in high level programming languages.
 * `SafeMath` restores this intuition by reverting the transaction when an
 * operation overflows.
 *
 * Using this library instead of the unchecked operations eliminates an entire
 * class of bugs, so it's recommended to use it always.
 */
library SafeMath {
    /**
     * @dev Returns the addition of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `+` operator.
     *
     * Requirements:
     *
     * - Addition cannot overflow.
     */
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");

        return c;
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting on
     * overflow (when the result is negative).
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     *
     * - Subtraction cannot overflow.
     */
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        return sub(a, b, "SafeMath: subtraction overflow");
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting with custom message on
     * overflow (when the result is negative).
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     *
     * - Subtraction cannot overflow.
     */
    function sub(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b <= a, errorMessage);
        uint256 c = a - b;

        return c;
    }

    /**
     * @dev Returns the multiplication of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `*` operator.
     *
     * Requirements:
     *
     * - Multiplication cannot overflow.
     */
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        // Gas optimization: this is cheaper than requiring 'a' not being zero, but the
        // benefit is lost if 'b' is also tested.
        // See: https://github.com/OpenZeppelin/openzeppelin-contracts/pull/522
        if (a == 0) {
            return 0;
        }

        uint256 c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");

        return c;
    }

    /**
     * @dev Returns the integer division of two unsigned integers. Reverts on
     * division by zero. The result is rounded towards zero.
     *
     * Counterpart to Solidity's `/` operator. Note: this function uses a
     * `revert` opcode (which leaves remaining gas untouched) while Solidity
     * uses an invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     *
     * - The divisor cannot be zero.
     */
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return div(a, b, "SafeMath: division by zero");
    }

    /**
     * @dev Returns the integer division of two unsigned integers. Reverts with custom message on
     * division by zero. The result is rounded towards zero.
     *
     * Counterpart to Solidity's `/` operator. Note: this function uses a
     * `revert` opcode (which leaves remaining gas untouched) while Solidity
     * uses an invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     *
     * - The divisor cannot be zero.
     */
    function div(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b > 0, errorMessage);
        uint256 c = a / b;
        // assert(a == b * c + a % b); // There is no case in which this doesn't hold

        return c;
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * Reverts when dividing by zero.
     *
     * Counterpart to Solidity's `%` operator. This function uses a `revert`
     * opcode (which leaves remaining gas untouched) while Solidity uses an
     * invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     *
     * - The divisor cannot be zero.
     */
    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        return mod(a, b, "SafeMath: modulo by zero");
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * Reverts with custom message when dividing by zero.
     *
     * Counterpart to Solidity's `%` operator. This function uses a `revert`
     * opcode (which leaves remaining gas untouched) while Solidity uses an
     * invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     *
     * - The divisor cannot be zero.
     */
    function mod(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b != 0, errorMessage);
        return a % b;
    }
}

pragma solidity 0.6.11;

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

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

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

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

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

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

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

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


pragma solidity 0.6.11;

/*
 * @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 GSN 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 payable) {
        return msg.sender;
    }

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

pragma solidity 0.6.11;

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

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

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

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

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

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

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

pragma solidity 0.6.11;

// This interface is designed to be compatible with the Vyper version.
/// @notice This is the Ethereum 2.0 deposit contract interface.
/// For more information see the Phase 0 specification under https://github.com/ethereum/eth2.0-specs
interface IDepositContract {
    /// @notice A processed deposit event.
    event DepositEvent(
        bytes pubkey,
        bytes withdrawal_credentials,
        bytes amount,
        bytes signature,
        bytes index
    );

    /// @notice Submit a Phase 0 DepositData object.
    /// @param pubkey A BLS12-381 public key.
    /// @param withdrawal_credentials Commitment to a public key for withdrawals.
    /// @param signature A BLS12-381 signature.
    /// @param deposit_data_root The SHA-256 hash of the SSZ-encoded DepositData object.
    /// Used as a protection against malformed input.
    function deposit(
        bytes calldata pubkey,
        bytes calldata withdrawal_credentials,
        bytes calldata signature,
        bytes32 deposit_data_root
    ) external payable;

    /// @notice Query the current deposit root hash.
    /// @return The deposit root hash.
    function get_deposit_root() external view returns (bytes32);

    /// @notice Query the current deposit count.
    /// @return The deposit count encoded as a little endian 64-bit number.
    function get_deposit_count() external view returns (bytes memory);
}

pragma solidity 0.6.11;

interface IVETH {
    function mint(address account, uint amount) external;
    function burn(address account, uint amount) external;
    function unpause() external;
    function paused() external view returns (bool);
}

pragma solidity 0.6.11;

contract MintDrop is Ownable {
    using SafeMath for uint;

    /* ========== CONSTANTS ========== */

    uint constant public BONUS_DURATION = 32 days;
    uint constant public MAX_CLAIM_DURATION = 8 days;
    uint constant public TOTAL_BNC_REWARDS = 100000 ether;

    /* ========== STATE VARIABLES ========== */

    // address of vETH
    address public immutable vETHAddress;
    // address of Ethereum 2.0 Deposit Contract
    address public immutable depositAddress;
    // a timestamp when the bonus activity initialized
    uint public immutable bonusStartAt;
    // a flag to control whether the withdraw function is locked
    bool public withdrawLocked;
    // total amount of ETH deposited to Ethereum 2.0 Deposit Contract
    uint public totalLocked;
    // total amount of ETH deposited in this contract
    uint public totalDeposit;
    // total claimed amount of BNC rewards
    uint public claimedRewards;
    // user address => amount of ETH deposited by this user in this contract
    mapping(address => uint) public myDeposit;
    // user address => amount of BNC rewards that will rewarded to this user
    mapping(address => uint) public myRewards;
    // user address => a timestamp that this user claimed rewards
    mapping(address => uint) public myLastClaimedAt;
    // user address => the address of this user which in ss58 format on Bifrost Network
    mapping(address => string) public bifrostAddress;

    /* ========== EVENTS ========== */

    event Deposit(address indexed sender, uint amount);
    event Withdrawal(address indexed sender, uint amount);
    event Claimed(address indexed sender, uint amount, uint claimed);
    event NewValidator(bytes little_endian_deposit_count);
    event BindAddress(address indexed sender, string bifrostAddress);

    /* ========== CONSTRUCTOR ========== */

    constructor(address vETHAddress_, address depositAddress_, uint bonusStartAt_) public Ownable() {
        vETHAddress = vETHAddress_;
        depositAddress = depositAddress_;
        bonusStartAt = bonusStartAt_;
    }

    /* ========== MUTATIVE FUNCTIONS ========== */

    function deposit() external payable {
        claimRewards();
        myDeposit[msg.sender] = myDeposit[msg.sender].add(msg.value);
        totalDeposit = totalDeposit.add(msg.value);
        // mint vETH, MintDrop should have ownership of vETH contract
        IVETH(vETHAddress).mint(msg.sender, msg.value);
        emit Deposit(msg.sender, msg.value);
    }

    function withdraw(uint amount) external isWithdrawNotLocked {
        claimRewards();
        myDeposit[msg.sender] = myDeposit[msg.sender].sub(amount);
        totalDeposit = totalDeposit.sub(amount);
        // burn vETH, MintDrop should have ownership of vETH contract
        IVETH(vETHAddress).burn(msg.sender, amount);
        msg.sender.transfer(amount);
        emit Withdrawal(msg.sender, amount);
    }

    function claimRewards() public {
        // claim must start from bonusStartAt
        if (now < bonusStartAt) {
            if (myLastClaimedAt[msg.sender] < bonusStartAt) {
                myLastClaimedAt[msg.sender] = bonusStartAt;
            }
            return;
        }
        if (myLastClaimedAt[msg.sender] >= bonusStartAt) {
            uint rewards = getIncrementalRewards(msg.sender);
            myRewards[msg.sender] = myRewards[msg.sender].add(rewards);
            claimedRewards = claimedRewards.add(rewards);
            emit Claimed(msg.sender, myRewards[msg.sender], claimedRewards);
        }
        myLastClaimedAt[msg.sender] = now > bonusStartAt.add(BONUS_DURATION)
        ? bonusStartAt.add(BONUS_DURATION)
        : now;
    }

    function lockForValidator(
        bytes calldata pubkey,
        bytes calldata withdrawal_credentials,
        bytes calldata signature,
        bytes32 deposit_data_root
    ) external onlyOwner isWithdrawLocked {
        uint amount = 32 ether;
        require(address(this).balance >= amount, "insufficient balance");
        totalLocked = totalLocked.add(amount);
        IDepositContract(depositAddress).deposit{value: amount}(
            pubkey,
            withdrawal_credentials,
            signature,
            deposit_data_root
        );
        emit NewValidator(IDepositContract(depositAddress).get_deposit_count());
    }

    function bindBifrostAddress(string memory bifrostAddress_) external {
        bifrostAddress[msg.sender] = bifrostAddress_;
        emit BindAddress(msg.sender, bifrostAddress_);
    }

    function lockWithdraw() external onlyOwner isWithdrawNotLocked {
        withdrawLocked = true;
        // enable vETH transfer, MintDrop should have ownership of vETH contract
        if (IVETH(vETHAddress).paused()) {
            IVETH(vETHAddress).unpause();
        }
    }

    function unlockWithdraw() external onlyOwner isWithdrawLocked {
        withdrawLocked = false;
    }

    /* ========== VIEWS ========== */

    function getTotalRewards() public view returns (uint) {
        if (now < bonusStartAt) {
            return 0;
        }
        uint duration = now.sub(bonusStartAt);
        if (duration > BONUS_DURATION) {
            return TOTAL_BNC_REWARDS;
        }
        return TOTAL_BNC_REWARDS.mul(duration).div(BONUS_DURATION);
    }

    function getIncrementalRewards(address target) public view returns (uint) {
        uint totalRewards = getTotalRewards();
        if (
            myLastClaimedAt[target] < bonusStartAt ||
            totalDeposit == 0 ||
            totalRewards == 0
        ) {
            return 0;
        }
        uint remainingRewards = totalRewards.sub(claimedRewards);
        uint myDuration = now > bonusStartAt.add(BONUS_DURATION)
        ? bonusStartAt.add(BONUS_DURATION).sub(myLastClaimedAt[target])
        : now.sub(myLastClaimedAt[target]);
        if (myDuration > MAX_CLAIM_DURATION) {
            myDuration = MAX_CLAIM_DURATION;
        }
        uint rewards = remainingRewards
        .mul(myDeposit[target])
        .div(totalDeposit)
        .mul(myDuration)
        .div(MAX_CLAIM_DURATION);
        return rewards;
    }

    function getRewards(address target) external view returns (uint) {
        return myRewards[target].add(getIncrementalRewards(target));
    }

    modifier isWithdrawLocked() {
        require(withdrawLocked, "withdrawal not locked");
        _;
    }

    modifier isWithdrawNotLocked() {
        require(!withdrawLocked, "withdrawal locked");
        _;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"vETHAddress_","type":"address"},{"internalType":"address","name":"depositAddress_","type":"address"},{"internalType":"uint256","name":"bonusStartAt_","type":"uint256"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"sender","type":"address"},{"indexed":false,"internalType":"string","name":"bifrostAddress","type":"string"}],"name":"BindAddress","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"sender","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"claimed","type":"uint256"}],"name":"Claimed","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"sender","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"Deposit","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"bytes","name":"little_endian_deposit_count","type":"bytes"}],"name":"NewValidator","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"sender","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"Withdrawal","type":"event"},{"inputs":[],"name":"BONUS_DURATION","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"MAX_CLAIM_DURATION","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"TOTAL_BNC_REWARDS","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"bifrostAddress","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"string","name":"bifrostAddress_","type":"string"}],"name":"bindBifrostAddress","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"bonusStartAt","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"claimRewards","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"claimedRewards","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"deposit","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[],"name":"depositAddress","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"target","type":"address"}],"name":"getIncrementalRewards","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"target","type":"address"}],"name":"getRewards","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getTotalRewards","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes","name":"pubkey","type":"bytes"},{"internalType":"bytes","name":"withdrawal_credentials","type":"bytes"},{"internalType":"bytes","name":"signature","type":"bytes"},{"internalType":"bytes32","name":"deposit_data_root","type":"bytes32"}],"name":"lockForValidator","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"lockWithdraw","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"myDeposit","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"myLastClaimedAt","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"myRewards","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"totalDeposit","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalLocked","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"unlockWithdraw","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"vETHAddress","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"withdraw","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"withdrawLocked","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"}]

60e060405234801561001057600080fd5b5060405162002b3538038062002b358339818101604052606081101561003557600080fd5b81019080805190602001909291908051906020019092919080519060200190929190505050600061006a61018660201b60201c565b9050806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3508273ffffffffffffffffffffffffffffffffffffffff1660808173ffffffffffffffffffffffffffffffffffffffff1660601b815250508173ffffffffffffffffffffffffffffffffffffffff1660a08173ffffffffffffffffffffffffffffffffffffffff1660601b815250508060c0818152505050505061018e565b600033905090565b60805160601c60a05160601c60c05161291f6200021660003980610d6a5280610d925280610df95280610e635280611026528061106852806110eb5280611196528061126c5280611c8852806121c452806121fa525080610a045280611e965280611fdf525080610b63528061181e52806118c45280611b6652806124a4525061291f6000f3fe60806040526004361061019c5760003560e01c80639472ee57116100ec578063d5a2313a1161008a578063f2fde38b11610064578063f2fde38b146108e6578063f6153ccd14610937578063fb94220614610962578063fe62dfea146109b95761019c565b8063d5a2313a14610756578063e627f2db14610890578063e653d5ad146108bb5761019c565b8063b31dbd34116100c6578063b31dbd34146106db578063d0e30db0146106f2578063d135cc4b146106fc578063d2a98fe71461072b5761019c565b80639472ee57146105d1578063a013ad5414610699578063a425632f146106c45761019c565b806350b9e74111610159578063797d8aeb11610133578063797d8aeb1461044b57806379ee54f7146104b05780638da5cb5b146105155780639200b04c1461056c5761019c565b806350b9e741146103a45780635689141214610409578063715018a6146104345761019c565b806320b9588c146101a157806322e9c08d1461020657806328f833b7146102315780632e1a7d4d146102885780633104d750146102c3578063372500ab1461038d575b600080fd5b3480156101ad57600080fd5b506101f0600480360360208110156101c457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506109e4565b6040518082815260200191505060405180910390f35b34801561021257600080fd5b5061021b6109fc565b6040518082815260200191505060405180910390f35b34801561023d57600080fd5b50610246610a02565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561029457600080fd5b506102c1600480360360208110156102ab57600080fd5b8101908080359060200190929190505050610a26565b005b3480156102cf57600080fd5b50610312600480360360208110156102e657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610cb8565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610352578082015181840152602081019050610337565b50505050905090810190601f16801561037f5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561039957600080fd5b506103a2610d68565b005b3480156103b057600080fd5b506103f3600480360360208110156103c757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506110dc565b6040518082815260200191505060405180910390f35b34801561041557600080fd5b5061041e61135a565b6040518082815260200191505060405180910390f35b34801561044057600080fd5b50610449611360565b005b34801561045757600080fd5b5061049a6004803603602081101561046e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506114e8565b6040518082815260200191505060405180910390f35b3480156104bc57600080fd5b506104ff600480360360208110156104d357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611500565b6040518082815260200191505060405180910390f35b34801561052157600080fd5b5061052a611563565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561057857600080fd5b506105bb6004803603602081101561058f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061158c565b6040518082815260200191505060405180910390f35b3480156105dd57600080fd5b50610697600480360360208110156105f457600080fd5b810190808035906020019064010000000081111561061157600080fd5b82018360208201111561062357600080fd5b8035906020019184600183028401116401000000008311171561064557600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f8201169050808301925050505050505091929192905050506115a4565b005b3480156106a557600080fd5b506106ae6116ae565b6040518082815260200191505060405180910390f35b3480156106d057600080fd5b506106d96116b5565b005b3480156106e757600080fd5b506106f0611945565b005b6106fa611aac565b005b34801561070857600080fd5b50610711611c73565b604051808215151515815260200191505060405180910390f35b34801561073757600080fd5b50610740611c86565b6040518082815260200191505060405180910390f35b34801561076257600080fd5b5061088e6004803603608081101561077957600080fd5b810190808035906020019064010000000081111561079657600080fd5b8201836020820111156107a857600080fd5b803590602001918460018302840111640100000000831117156107ca57600080fd5b9091929391929390803590602001906401000000008111156107eb57600080fd5b8201836020820111156107fd57600080fd5b8035906020019184600183028401116401000000008311171561081f57600080fd5b90919293919293908035906020019064010000000081111561084057600080fd5b82018360208201111561085257600080fd5b8035906020019184600183028401116401000000008311171561087457600080fd5b909192939192939080359060200190929190505050611caa565b005b34801561089c57600080fd5b506108a56121c0565b6040518082815260200191505060405180910390f35b3480156108c757600080fd5b506108d0612281565b6040518082815260200191505060405180910390f35b3480156108f257600080fd5b506109356004803603602081101561090957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061228f565b005b34801561094357600080fd5b5061094c61249c565b6040518082815260200191505060405180910390f35b34801561096e57600080fd5b506109776124a2565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156109c557600080fd5b506109ce6124c6565b6040518082815260200191505060405180910390f35b60056020528060005260406000206000915090505481565b60035481565b7f000000000000000000000000000000000000000000000000000000000000000081565b600060149054906101000a900460ff1615610aa9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260118152602001807f7769746864726177616c206c6f636b656400000000000000000000000000000081525060200191505060405180910390fd5b610ab1610d68565b610b0381600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546124cd90919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610b5b816002546124cd90919063ffffffff16565b6002819055507f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff16639dc29fac33836040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050600060405180830381600087803b158015610c0857600080fd5b505af1158015610c1c573d6000803e3d6000fd5b505050503373ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f19350505050158015610c66573d6000803e3d6000fd5b503373ffffffffffffffffffffffffffffffffffffffff167f7fcf532c15f0a6db0bd6d0e038bea71d30d808c7d98cb3bf7268a95bf5081b65826040518082815260200191505060405180910390a250565b60076020528060005260406000206000915090508054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610d605780601f10610d3557610100808354040283529160200191610d60565b820191906000526020600020905b815481529060010190602001808311610d4357829003601f168201915b505050505081565b7f0000000000000000000000000000000000000000000000000000000000000000421015610e61577f0000000000000000000000000000000000000000000000000000000000000000600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610e5c577f0000000000000000000000000000000000000000000000000000000000000000600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b6110da565b7f0000000000000000000000000000000000000000000000000000000000000000600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541061101d576000610ed2336110dc565b9050610f2681600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461251790919063ffffffff16565b600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610f7e8160035461251790919063ffffffff16565b6003819055503373ffffffffffffffffffffffffffffffffffffffff167f987d620f307ff6b94d58743cb7a7509f24071586a77759b77c2d4e29f75a2f9a600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054600354604051808381526020018281526020019250505060405180910390a2505b611053622a30007f000000000000000000000000000000000000000000000000000000000000000061251790919063ffffffff16565b421161105f5742611096565b611095622a30007f000000000000000000000000000000000000000000000000000000000000000061251790919063ffffffff16565b5b600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b565b6000806110e76121c0565b90507f0000000000000000000000000000000000000000000000000000000000000000600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054108061115857506000600254145b806111635750600081145b15611172576000915050611355565b6000611189600354836124cd90919063ffffffff16565b905060006111c3622a30007f000000000000000000000000000000000000000000000000000000000000000061251790919063ffffffff16565b42116112205761121b600660008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054426124cd90919063ffffffff16565b6112a8565b6112a7600660008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611299622a30007f000000000000000000000000000000000000000000000000000000000000000061251790919063ffffffff16565b6124cd90919063ffffffff16565b5b9050620a8c008111156112bc57620a8c0090505b600061134b620a8c0061133d8461132f600254611321600460008e73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548a61259f90919063ffffffff16565b61262590919063ffffffff16565b61259f90919063ffffffff16565b61262590919063ffffffff16565b9050809450505050505b919050565b60015481565b61136861266f565b73ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614611429576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a360008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b60066020528060005260406000206000915090505481565b600061155c61150e836110dc565b600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461251790919063ffffffff16565b9050919050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60046020528060005260406000206000915090505481565b80600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002090805190602001906115f79291906127fd565b503373ffffffffffffffffffffffffffffffffffffffff167f65c5fd4c1bff4ac202c0d32945c61eb69a7c9c44948368fc57500d4af26645db826040518080602001828103825283818151815260200191508051906020019080838360005b83811015611671578082015181840152602081019050611656565b50505050905090810190601f16801561169e5780820380516001836020036101000a031916815260200191505b509250505060405180910390a250565b622a300081565b6116bd61266f565b73ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161461177e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600060149054906101000a900460ff1615611801576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260118152602001807f7769746864726177616c206c6f636b656400000000000000000000000000000081525060200191505060405180910390fd5b6001600060146101000a81548160ff0219169083151502179055507f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff16635c975abb6040518163ffffffff1660e01b815260040160206040518083038186803b15801561188257600080fd5b505afa158015611896573d6000803e3d6000fd5b505050506040513d60208110156118ac57600080fd5b810190808051906020019092919050505015611943577f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff16633f4ba83a6040518163ffffffff1660e01b8152600401600060405180830381600087803b15801561192a57600080fd5b505af115801561193e573d6000803e3d6000fd5b505050505b565b61194d61266f565b73ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614611a0e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600060149054906101000a900460ff16611a90576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f7769746864726177616c206e6f74206c6f636b6564000000000000000000000081525060200191505060405180910390fd5b60008060146101000a81548160ff021916908315150217905550565b611ab4610d68565b611b0634600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461251790919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611b5e3460025461251790919063ffffffff16565b6002819055507f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff166340c10f1933346040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050600060405180830381600087803b158015611c0b57600080fd5b505af1158015611c1f573d6000803e3d6000fd5b505050503373ffffffffffffffffffffffffffffffffffffffff167fe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c346040518082815260200191505060405180910390a2565b600060149054906101000a900460ff1681565b7f000000000000000000000000000000000000000000000000000000000000000081565b611cb261266f565b73ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614611d73576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600060149054906101000a900460ff16611df5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f7769746864726177616c206e6f74206c6f636b6564000000000000000000000081525060200191505060405180910390fd5b60006801bc16d674ec800000905080471015611e79576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f696e73756666696369656e742062616c616e636500000000000000000000000081525060200191505060405180910390fd5b611e8e8160015461251790919063ffffffff16565b6001819055507f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff166322895118828a8a8a8a8a8a8a6040518963ffffffff1660e01b81526004018080602001806020018060200185815260200184810384528b8b82818152602001925080828437600081840152601f19601f8201169050808301925050508481038352898982818152602001925080828437600081840152601f19601f8201169050808301925050508481038252878782818152602001925080828437600081840152601f19601f8201169050808301925050509a50505050505050505050506000604051808303818588803b158015611fa357600080fd5b505af1158015611fb7573d6000803e3d6000fd5b50505050507f9601e5af6d2ed7d709df1e0648762f952988a5d05144ffb9b508f7f456d797ce7f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff1663621fd1306040518163ffffffff1660e01b815260040160006040518083038186803b15801561204357600080fd5b505afa158015612057573d6000803e3d6000fd5b505050506040513d6000823e3d601f19601f82011682018060405250602081101561208157600080fd5b81019080805160405193929190846401000000008211156120a157600080fd5b838201915060208201858111156120b757600080fd5b82518660018202830111640100000000821117156120d457600080fd5b8083526020830192505050908051906020019080838360005b838110156121085780820151818401526020810190506120ed565b50505050905090810190601f1680156121355780820380516001836020036101000a031916815260200191505b506040525050506040518080602001828103825283818151815260200191508051906020019080838360005b8381101561217c578082015181840152602081019050612161565b50505050905090810190601f1680156121a95780820380516001836020036101000a031916815260200191505b509250505060405180910390a15050505050505050565b60007f00000000000000000000000000000000000000000000000000000000000000004210156121f3576000905061227e565b60006122287f0000000000000000000000000000000000000000000000000000000000000000426124cd90919063ffffffff16565b9050622a30008111156122485769152d02c7e14af680000091505061227e565b61227a622a300061226c8369152d02c7e14af680000061259f90919063ffffffff16565b61262590919063ffffffff16565b9150505b90565b69152d02c7e14af680000081565b61229761266f565b73ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614612358576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156123de576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260268152602001806128a36026913960400191505060405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b60025481565b7f000000000000000000000000000000000000000000000000000000000000000081565b620a8c0081565b600061250f83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250612677565b905092915050565b600080828401905083811015612595576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b6000808314156125b2576000905061261f565b60008284029050828482816125c357fe5b041461261a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260218152602001806128c96021913960400191505060405180910390fd5b809150505b92915050565b600061266783836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250612737565b905092915050565b600033905090565b6000838311158290612724576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b838110156126e95780820151818401526020810190506126ce565b50505050905090810190601f1680156127165780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385039050809150509392505050565b600080831182906127e3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b838110156127a857808201518184015260208101905061278d565b50505050905090810190601f1680156127d55780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385816127ef57fe5b049050809150509392505050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061283e57805160ff191683800117855561286c565b8280016001018555821561286c579182015b8281111561286b578251825591602001919060010190612850565b5b509050612879919061287d565b5090565b61289f91905b8082111561289b576000816000905550600101612883565b5090565b9056fe4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061646472657373536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f77a2646970667358221220ce53b77eee27ea4ea6c8206a2e00dbac44e038a138b9d91c98fbfd51c89bde6164736f6c634300060b0033000000000000000000000000c3d088842dcf02c13699f936bb83dfbbc6f721ab00000000000000000000000000000000219ab540356cbb839cbe05303d7705fa000000000000000000000000000000000000000000000000000000005fc0c010

0x60806040526004361061019c5760003560e01c80639472ee57116100ec578063d5a2313a1161008a578063f2fde38b11610064578063f2fde38b146108e6578063f6153ccd14610937578063fb94220614610962578063fe62dfea146109b95761019c565b8063d5a2313a14610756578063e627f2db14610890578063e653d5ad146108bb5761019c565b8063b31dbd34116100c6578063b31dbd34146106db578063d0e30db0146106f2578063d135cc4b146106fc578063d2a98fe71461072b5761019c565b80639472ee57146105d1578063a013ad5414610699578063a425632f146106c45761019c565b806350b9e74111610159578063797d8aeb11610133578063797d8aeb1461044b57806379ee54f7146104b05780638da5cb5b146105155780639200b04c1461056c5761019c565b806350b9e741146103a45780635689141214610409578063715018a6146104345761019c565b806320b9588c146101a157806322e9c08d1461020657806328f833b7146102315780632e1a7d4d146102885780633104d750146102c3578063372500ab1461038d575b600080fd5b3480156101ad57600080fd5b506101f0600480360360208110156101c457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506109e4565b6040518082815260200191505060405180910390f35b34801561021257600080fd5b5061021b6109fc565b6040518082815260200191505060405180910390f35b34801561023d57600080fd5b50610246610a02565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561029457600080fd5b506102c1600480360360208110156102ab57600080fd5b8101908080359060200190929190505050610a26565b005b3480156102cf57600080fd5b50610312600480360360208110156102e657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610cb8565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610352578082015181840152602081019050610337565b50505050905090810190601f16801561037f5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561039957600080fd5b506103a2610d68565b005b3480156103b057600080fd5b506103f3600480360360208110156103c757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506110dc565b6040518082815260200191505060405180910390f35b34801561041557600080fd5b5061041e61135a565b6040518082815260200191505060405180910390f35b34801561044057600080fd5b50610449611360565b005b34801561045757600080fd5b5061049a6004803603602081101561046e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506114e8565b6040518082815260200191505060405180910390f35b3480156104bc57600080fd5b506104ff600480360360208110156104d357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611500565b6040518082815260200191505060405180910390f35b34801561052157600080fd5b5061052a611563565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561057857600080fd5b506105bb6004803603602081101561058f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061158c565b6040518082815260200191505060405180910390f35b3480156105dd57600080fd5b50610697600480360360208110156105f457600080fd5b810190808035906020019064010000000081111561061157600080fd5b82018360208201111561062357600080fd5b8035906020019184600183028401116401000000008311171561064557600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f8201169050808301925050505050505091929192905050506115a4565b005b3480156106a557600080fd5b506106ae6116ae565b6040518082815260200191505060405180910390f35b3480156106d057600080fd5b506106d96116b5565b005b3480156106e757600080fd5b506106f0611945565b005b6106fa611aac565b005b34801561070857600080fd5b50610711611c73565b604051808215151515815260200191505060405180910390f35b34801561073757600080fd5b50610740611c86565b6040518082815260200191505060405180910390f35b34801561076257600080fd5b5061088e6004803603608081101561077957600080fd5b810190808035906020019064010000000081111561079657600080fd5b8201836020820111156107a857600080fd5b803590602001918460018302840111640100000000831117156107ca57600080fd5b9091929391929390803590602001906401000000008111156107eb57600080fd5b8201836020820111156107fd57600080fd5b8035906020019184600183028401116401000000008311171561081f57600080fd5b90919293919293908035906020019064010000000081111561084057600080fd5b82018360208201111561085257600080fd5b8035906020019184600183028401116401000000008311171561087457600080fd5b909192939192939080359060200190929190505050611caa565b005b34801561089c57600080fd5b506108a56121c0565b6040518082815260200191505060405180910390f35b3480156108c757600080fd5b506108d0612281565b6040518082815260200191505060405180910390f35b3480156108f257600080fd5b506109356004803603602081101561090957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061228f565b005b34801561094357600080fd5b5061094c61249c565b6040518082815260200191505060405180910390f35b34801561096e57600080fd5b506109776124a2565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156109c557600080fd5b506109ce6124c6565b6040518082815260200191505060405180910390f35b60056020528060005260406000206000915090505481565b60035481565b7f00000000000000000000000000000000219ab540356cbb839cbe05303d7705fa81565b600060149054906101000a900460ff1615610aa9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260118152602001807f7769746864726177616c206c6f636b656400000000000000000000000000000081525060200191505060405180910390fd5b610ab1610d68565b610b0381600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546124cd90919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610b5b816002546124cd90919063ffffffff16565b6002819055507f000000000000000000000000c3d088842dcf02c13699f936bb83dfbbc6f721ab73ffffffffffffffffffffffffffffffffffffffff16639dc29fac33836040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050600060405180830381600087803b158015610c0857600080fd5b505af1158015610c1c573d6000803e3d6000fd5b505050503373ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f19350505050158015610c66573d6000803e3d6000fd5b503373ffffffffffffffffffffffffffffffffffffffff167f7fcf532c15f0a6db0bd6d0e038bea71d30d808c7d98cb3bf7268a95bf5081b65826040518082815260200191505060405180910390a250565b60076020528060005260406000206000915090508054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610d605780601f10610d3557610100808354040283529160200191610d60565b820191906000526020600020905b815481529060010190602001808311610d4357829003601f168201915b505050505081565b7f000000000000000000000000000000000000000000000000000000005fc0c010421015610e61577f000000000000000000000000000000000000000000000000000000005fc0c010600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610e5c577f000000000000000000000000000000000000000000000000000000005fc0c010600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b6110da565b7f000000000000000000000000000000000000000000000000000000005fc0c010600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541061101d576000610ed2336110dc565b9050610f2681600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461251790919063ffffffff16565b600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610f7e8160035461251790919063ffffffff16565b6003819055503373ffffffffffffffffffffffffffffffffffffffff167f987d620f307ff6b94d58743cb7a7509f24071586a77759b77c2d4e29f75a2f9a600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054600354604051808381526020018281526020019250505060405180910390a2505b611053622a30007f000000000000000000000000000000000000000000000000000000005fc0c01061251790919063ffffffff16565b421161105f5742611096565b611095622a30007f000000000000000000000000000000000000000000000000000000005fc0c01061251790919063ffffffff16565b5b600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b565b6000806110e76121c0565b90507f000000000000000000000000000000000000000000000000000000005fc0c010600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054108061115857506000600254145b806111635750600081145b15611172576000915050611355565b6000611189600354836124cd90919063ffffffff16565b905060006111c3622a30007f000000000000000000000000000000000000000000000000000000005fc0c01061251790919063ffffffff16565b42116112205761121b600660008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054426124cd90919063ffffffff16565b6112a8565b6112a7600660008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611299622a30007f000000000000000000000000000000000000000000000000000000005fc0c01061251790919063ffffffff16565b6124cd90919063ffffffff16565b5b9050620a8c008111156112bc57620a8c0090505b600061134b620a8c0061133d8461132f600254611321600460008e73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548a61259f90919063ffffffff16565b61262590919063ffffffff16565b61259f90919063ffffffff16565b61262590919063ffffffff16565b9050809450505050505b919050565b60015481565b61136861266f565b73ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614611429576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a360008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b60066020528060005260406000206000915090505481565b600061155c61150e836110dc565b600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461251790919063ffffffff16565b9050919050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60046020528060005260406000206000915090505481565b80600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002090805190602001906115f79291906127fd565b503373ffffffffffffffffffffffffffffffffffffffff167f65c5fd4c1bff4ac202c0d32945c61eb69a7c9c44948368fc57500d4af26645db826040518080602001828103825283818151815260200191508051906020019080838360005b83811015611671578082015181840152602081019050611656565b50505050905090810190601f16801561169e5780820380516001836020036101000a031916815260200191505b509250505060405180910390a250565b622a300081565b6116bd61266f565b73ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161461177e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600060149054906101000a900460ff1615611801576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260118152602001807f7769746864726177616c206c6f636b656400000000000000000000000000000081525060200191505060405180910390fd5b6001600060146101000a81548160ff0219169083151502179055507f000000000000000000000000c3d088842dcf02c13699f936bb83dfbbc6f721ab73ffffffffffffffffffffffffffffffffffffffff16635c975abb6040518163ffffffff1660e01b815260040160206040518083038186803b15801561188257600080fd5b505afa158015611896573d6000803e3d6000fd5b505050506040513d60208110156118ac57600080fd5b810190808051906020019092919050505015611943577f000000000000000000000000c3d088842dcf02c13699f936bb83dfbbc6f721ab73ffffffffffffffffffffffffffffffffffffffff16633f4ba83a6040518163ffffffff1660e01b8152600401600060405180830381600087803b15801561192a57600080fd5b505af115801561193e573d6000803e3d6000fd5b505050505b565b61194d61266f565b73ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614611a0e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600060149054906101000a900460ff16611a90576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f7769746864726177616c206e6f74206c6f636b6564000000000000000000000081525060200191505060405180910390fd5b60008060146101000a81548160ff021916908315150217905550565b611ab4610d68565b611b0634600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461251790919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611b5e3460025461251790919063ffffffff16565b6002819055507f000000000000000000000000c3d088842dcf02c13699f936bb83dfbbc6f721ab73ffffffffffffffffffffffffffffffffffffffff166340c10f1933346040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050600060405180830381600087803b158015611c0b57600080fd5b505af1158015611c1f573d6000803e3d6000fd5b505050503373ffffffffffffffffffffffffffffffffffffffff167fe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c346040518082815260200191505060405180910390a2565b600060149054906101000a900460ff1681565b7f000000000000000000000000000000000000000000000000000000005fc0c01081565b611cb261266f565b73ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614611d73576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600060149054906101000a900460ff16611df5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f7769746864726177616c206e6f74206c6f636b6564000000000000000000000081525060200191505060405180910390fd5b60006801bc16d674ec800000905080471015611e79576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f696e73756666696369656e742062616c616e636500000000000000000000000081525060200191505060405180910390fd5b611e8e8160015461251790919063ffffffff16565b6001819055507f00000000000000000000000000000000219ab540356cbb839cbe05303d7705fa73ffffffffffffffffffffffffffffffffffffffff166322895118828a8a8a8a8a8a8a6040518963ffffffff1660e01b81526004018080602001806020018060200185815260200184810384528b8b82818152602001925080828437600081840152601f19601f8201169050808301925050508481038352898982818152602001925080828437600081840152601f19601f8201169050808301925050508481038252878782818152602001925080828437600081840152601f19601f8201169050808301925050509a50505050505050505050506000604051808303818588803b158015611fa357600080fd5b505af1158015611fb7573d6000803e3d6000fd5b50505050507f9601e5af6d2ed7d709df1e0648762f952988a5d05144ffb9b508f7f456d797ce7f00000000000000000000000000000000219ab540356cbb839cbe05303d7705fa73ffffffffffffffffffffffffffffffffffffffff1663621fd1306040518163ffffffff1660e01b815260040160006040518083038186803b15801561204357600080fd5b505afa158015612057573d6000803e3d6000fd5b505050506040513d6000823e3d601f19601f82011682018060405250602081101561208157600080fd5b81019080805160405193929190846401000000008211156120a157600080fd5b838201915060208201858111156120b757600080fd5b82518660018202830111640100000000821117156120d457600080fd5b8083526020830192505050908051906020019080838360005b838110156121085780820151818401526020810190506120ed565b50505050905090810190601f1680156121355780820380516001836020036101000a031916815260200191505b506040525050506040518080602001828103825283818151815260200191508051906020019080838360005b8381101561217c578082015181840152602081019050612161565b50505050905090810190601f1680156121a95780820380516001836020036101000a031916815260200191505b509250505060405180910390a15050505050505050565b60007f000000000000000000000000000000000000000000000000000000005fc0c0104210156121f3576000905061227e565b60006122287f000000000000000000000000000000000000000000000000000000005fc0c010426124cd90919063ffffffff16565b9050622a30008111156122485769152d02c7e14af680000091505061227e565b61227a622a300061226c8369152d02c7e14af680000061259f90919063ffffffff16565b61262590919063ffffffff16565b9150505b90565b69152d02c7e14af680000081565b61229761266f565b73ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614612358576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156123de576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260268152602001806128a36026913960400191505060405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b60025481565b7f000000000000000000000000c3d088842dcf02c13699f936bb83dfbbc6f721ab81565b620a8c0081565b600061250f83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250612677565b905092915050565b600080828401905083811015612595576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b6000808314156125b2576000905061261f565b60008284029050828482816125c357fe5b041461261a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260218152602001806128c96021913960400191505060405180910390fd5b809150505b92915050565b600061266783836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250612737565b905092915050565b600033905090565b6000838311158290612724576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b838110156126e95780820151818401526020810190506126ce565b50505050905090810190601f1680156127165780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385039050809150509392505050565b600080831182906127e3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b838110156127a857808201518184015260208101905061278d565b50505050905090810190601f1680156127d55780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385816127ef57fe5b049050809150509392505050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061283e57805160ff191683800117855561286c565b8280016001018555821561286c579182015b8281111561286b578251825591602001919060010190612850565b5b509050612879919061287d565b5090565b61289f91905b8082111561289b576000816000905550600101612883565b5090565b9056fe4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061646472657373536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f77a2646970667358221220ce53b77eee27ea4ea6c8206a2e00dbac44e038a138b9d91c98fbfd51c89bde6164736f6c634300060b0033

000000000000000000000000c3d088842dcf02c13699f936bb83dfbbc6f721ab00000000000000000000000000000000219ab540356cbb839cbe05303d7705fa000000000000000000000000000000000000000000000000000000005fc0c010

-----Decoded View---------------
Arg [0] : vETHAddress_ (address): 0xc3D088842DcF02C13699F936BB83DFBBc6f721Ab
Arg [1] : depositAddress_ (address): 0x00000000219ab540356cBB839Cbe05303d7705Fa
Arg [2] : bonusStartAt_ (uint256): 1606467600

-----Encoded View---------------
3 Constructor Arguments found :
Arg [0] : 000000000000000000000000c3d088842dcf02c13699f936bb83dfbbc6f721ab
Arg [1] : 00000000000000000000000000000000219ab540356cbb839cbe05303d7705fa
Arg [2] : 000000000000000000000000000000000000000000000000000000005fc0c010

14585:6644:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15744:41;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;15507:26;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;15034:39;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;17129:420;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;16002:48;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17557:774;;;;;;;;;;;;;:::i;:::-;;19990:855;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;15347:23;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;12295:148;;;;;;;;;;;;;:::i;:::-;;15859:47;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;20853:143;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;11653:79;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;15618:41;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;19004:187;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;14698:45;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;19199:283;;;;;;;;;;;;;:::i;:::-;;19490:103;;;;;;;;;;;;;:::i;:::-;;16754:367;;;:::i;:::-;;15243:26;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;15136:34;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;18339:657;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;19642:340;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;14805:53;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;12598:244;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;15432:24;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;14942:36;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;14750:48;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;15744:41;;;;;;;;;;;;;;;;;:::o;15507:26::-;;;;:::o;15034:39::-;;;:::o;17129:420::-;21170:14;;;;;;;;;;;21169:15;21161:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17200:14:::1;:12;:14::i;:::-;17249:33;17275:6;17249:9;:21;17259:10;17249:21;;;;;;;;;;;;;;;;:25;;:33;;;;:::i;:::-;17225:9;:21;17235:10;17225:21;;;;;;;;;;;;;;;:57;;;;17308:24;17325:6;17308:12;;:16;;:24;;;;:::i;:::-;17293:12;:39;;;;17420:11;17414:23;;;17438:10;17450:6;17414:43;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;17468:10;:19;;:27;17488:6;17468:27;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;17522:10;17511:30;;;17534:6;17511:30;;;;;;;;;;;;;;;;;;17129:420:::0;:::o;16002:48::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;17557:774::-;17656:12;17650:3;:18;17646:196;;;17719:12;17689:15;:27;17705:10;17689:27;;;;;;;;;;;;;;;;:42;17685:125;;;17782:12;17752:15;:27;17768:10;17752:27;;;;;;;;;;;;;;;:42;;;;17685:125;17824:7;;17646:196;17887:12;17856:15;:27;17872:10;17856:27;;;;;;;;;;;;;;;;:43;17852:334;;17916:12;17931:33;17953:10;17931:21;:33::i;:::-;17916:48;;18003:34;18029:7;18003:9;:21;18013:10;18003:21;;;;;;;;;;;;;;;;:25;;:34;;;;:::i;:::-;17979:9;:21;17989:10;17979:21;;;;;;;;;;;;;;;:58;;;;18069:27;18088:7;18069:14;;:18;;:27;;;;:::i;:::-;18052:14;:44;;;;18124:10;18116:58;;;18136:9;:21;18146:10;18136:21;;;;;;;;;;;;;;;;18159:14;;18116:58;;;;;;;;;;;;;;;;;;;;;;;;17852:334;;18232:32;14736:7;18232:12;:16;;:32;;;;:::i;:::-;18226:3;:38;:97;;18320:3;18226:97;;;18276:32;14736:7;18276:12;:16;;:32;;;;:::i;:::-;18226:97;18196:15;:27;18212:10;18196:27;;;;;;;;;;;;;;;:127;;;;17557:774;:::o;19990:855::-;20058:4;20075:17;20095;:15;:17::i;:::-;20075:37;;20167:12;20141:15;:23;20157:6;20141:23;;;;;;;;;;;;;;;;:38;:72;;;;20212:1;20196:12;;:17;20141:72;:106;;;;20246:1;20230:12;:17;20141:106;20123:171;;;20281:1;20274:8;;;;;20123:171;20304:21;20328:32;20345:14;;20328:12;:16;;:32;;;;:::i;:::-;20304:56;;20371:15;20395:32;14736:7;20395:12;:16;;:32;;;;:::i;:::-;20389:3;:38;:155;;20512:32;20520:15;:23;20536:6;20520:23;;;;;;;;;;;;;;;;20512:3;:7;;:32;;;;:::i;:::-;20389:155;;;20439:61;20476:15;:23;20492:6;20476:23;;;;;;;;;;;;;;;;20439:32;14736:7;20439:12;:16;;:32;;;;:::i;:::-;:36;;:61;;;;:::i;:::-;20389:155;20371:173;;14792:6;20559:10;:31;20555:95;;;14792:6;20607:31;;20555:95;20660:12;20675:137;14792:6;20675:103;20767:10;20675:77;20739:12;;20675:49;20706:9;:17;20716:6;20706:17;;;;;;;;;;;;;;;;20675:16;:30;;:49;;;;:::i;:::-;:63;;:77;;;;:::i;:::-;:91;;:103;;;;:::i;:::-;:117;;:137;;;;:::i;:::-;20660:152;;20830:7;20823:14;;;;;;19990:855;;;;:::o;15347:23::-;;;;:::o;12295:148::-;11875:12;:10;:12::i;:::-;11865:22;;:6;;;;;;;;;;;:22;;;11857:67;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12402:1:::1;12365:40;;12386:6;::::0;::::1;;;;;;;;;12365:40;;;;;;;;;;;;12433:1;12416:6:::0;::::1;:19;;;;;;;;;;;;;;;;;;12295:148::o:0;15859:47::-;;;;;;;;;;;;;;;;;:::o;20853:143::-;20912:4;20936:52;20958:29;20980:6;20958:21;:29::i;:::-;20936:9;:17;20946:6;20936:17;;;;;;;;;;;;;;;;:21;;:52;;;;:::i;:::-;20929:59;;20853:143;;;:::o;11653:79::-;11691:7;11718:6;;;;;;;;;;;11711:13;;11653:79;:::o;15618:41::-;;;;;;;;;;;;;;;;;:::o;19004:187::-;19112:15;19083:14;:26;19098:10;19083:26;;;;;;;;;;;;;;;:44;;;;;;;;;;;;:::i;:::-;;19155:10;19143:40;;;19167:15;19143:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19004:187;:::o;14698:45::-;14736:7;14698:45;:::o;19199:283::-;11875:12;:10;:12::i;:::-;11865:22;;:6;;;;;;;;;;;:22;;;11857:67;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21170:14:::1;;;;;;;;;;;21169:15;21161:45;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;19290:4:::2;19273:14;;:21;;;;;;;;;;;;;;;;;;19397:11;19391:25;;;:27;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;;;;;;19387:88;;;19441:11;19435:26;;;:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;::::0;::::2;;;;;;;;;19387:88;19199:283::o:0;19490:103::-;11875:12;:10;:12::i;:::-;11865:22;;:6;;;;;;;;;;;:22;;;11857:67;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21051:14:::1;;;;;;;;;;;21043:48;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;19580:5:::2;19563:14:::0;::::2;:22;;;;;;;;;;;;;;;;;;19490:103::o:0;16754:367::-;16801:14;:12;:14::i;:::-;16850:36;16876:9;16850;:21;16860:10;16850:21;;;;;;;;;;;;;;;;:25;;:36;;;;:::i;:::-;16826:9;:21;16836:10;16826:21;;;;;;;;;;;;;;;:60;;;;16912:27;16929:9;16912:12;;:16;;:27;;;;:::i;:::-;16897:12;:42;;;;17027:11;17021:23;;;17045:10;17057:9;17021:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17091:10;17083:30;;;17103:9;17083:30;;;;;;;;;;;;;;;;;;16754:367::o;15243:26::-;;;;;;;;;;;;;:::o;15136:34::-;;;:::o;18339:657::-;11875:12;:10;:12::i;:::-;11865:22;;:6;;;;;;;;;;;:22;;;11857:67;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21051:14:::1;;;;;;;;;;;21043:48;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;18570:11:::2;18584:8;18570:22;;18636:6;18611:21;:31;;18603:64;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;18692:23;18708:6;18692:11;;:15;;:23;;;;:::i;:::-;18678:11;:37;;;;18743:14;18726:40;;;18774:6;18796;;18817:22;;18854:9;;18878:17;18726:180;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;::::0;::::2;;;;;;;;;;18922:66;18952:14;18935:50;;;:52;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;;;;;;;::::0;::::2;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::2;;18922:66;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21102:1;18339:657:::0;;;;;;;:::o;19642:340::-;19690:4;19717:12;19711:3;:18;19707:59;;;19753:1;19746:8;;;;19707:59;19776:13;19792:21;19800:12;19792:3;:7;;:21;;;;:::i;:::-;19776:37;;14736:7;19828:8;:25;19824:82;;;14846:12;19870:24;;;;;19824:82;19923:51;14736:7;19923:31;19945:8;14846:12;19923:21;;:31;;;;:::i;:::-;:35;;:51;;;;:::i;:::-;19916:58;;;19642:340;;:::o;14805:53::-;14846:12;14805:53;:::o;12598:244::-;11875:12;:10;:12::i;:::-;11865:22;;:6;;;;;;;;;;;:22;;;11857:67;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12707:1:::1;12687:22;;:8;:22;;;;12679:73;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12797:8;12768:38;;12789:6;::::0;::::1;;;;;;;;;12768:38;;;;;;;;;;;;12826:8;12817:6;::::0;:17:::1;;;;;;;;;;;;;;;;;;12598:244:::0;:::o;15432:24::-;;;;:::o;14942:36::-;;;:::o;14750:48::-;14792:6;14750:48;:::o;2956:136::-;3014:7;3041:43;3045:1;3048;3041:43;;;;;;;;;;;;;;;;;:3;:43::i;:::-;3034:50;;2956:136;;;;:::o;2492:181::-;2550:7;2570:9;2586:1;2582;:5;2570:17;;2611:1;2606;:6;;2598:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2664:1;2657:8;;;2492:181;;;;:::o;3846:471::-;3904:7;4154:1;4149;:6;4145:47;;;4179:1;4172:8;;;;4145:47;4204:9;4220:1;4216;:5;4204:17;;4249:1;4244;4240;:5;;;;;;:10;4232:56;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4308:1;4301:8;;;3846:471;;;;;:::o;4793:132::-;4851:7;4878:39;4882:1;4885;4878:39;;;;;;;;;;;;;;;;;:3;:39::i;:::-;4871:46;;4793:132;;;;:::o;10264:106::-;10317:15;10352:10;10345:17;;10264:106;:::o;3395:192::-;3481:7;3514:1;3509;:6;;3517:12;3501:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3541:9;3557:1;3553;:5;3541:17;;3578:1;3571:8;;;3395:192;;;;;:::o;5421:278::-;5507:7;5539:1;5535;:5;5542:12;5527:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5566:9;5582:1;5578;:5;;;;;;5566:17;;5690:1;5683:8;;;5421:278;;;;;:::o;-1:-1:-1:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o

ipfs://ce53b77eee27ea4ea6c8206a2e00dbac44e038a138b9d91c98fbfd51c89bde61