Contract Source Code (Solidity Standard Json-Input format)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

import "@openzeppelin/contracts/utils/cryptography/MerkleProof.sol";
import "@openzeppelin/contracts/access/Ownable.sol";
import "@openzeppelin/contracts/token/ERC20/IERC20.sol";
import "@openzeppelin/contracts/utils/math/SafeMath.sol";

contract LPCompVesting is Ownable {
    using SafeMath for uint256;

    IERC20 public xtk;

    uint256 public totalXtkRedeemable;
    uint256 public rxtkSupplyRemaining;

    uint256 public vestingBegin;

    bytes32 public root;

    mapping(uint256 => uint256) _redeemed;

    uint256 private constant ONE_YEAR = 365 days;

    bool private vestingInitiated;

    event Redeemed(
        address indexed user,
        uint256 redeemedBlock,
        uint256 redeemedMask
    );

    constructor(
        IERC20 _xtk,
        bytes32 _root,
        uint256 _totalXtkRedeemable
    ) {
        xtk = _xtk;
        root = _root;

        rxtkSupplyRemaining = _totalXtkRedeemable;
        totalXtkRedeemable = _totalXtkRedeemable;
    }

    function initiateVesting() external onlyOwner {
        require(!vestingInitiated);
        require(xtk.balanceOf(address(this)) == totalXtkRedeemable);
        vestingInitiated = true;
        vestingBegin = block.timestamp;
    }

    // Check if a given reward has already been redeemed
    function redeemed(uint256 index)
        public
        view
        returns (uint256 redeemedBlock, uint256 redeemedMask)
    {
        redeemedBlock = _redeemed[index / 256];
        redeemedMask = (uint256(1) << uint256(index % 256));
        require(
            (redeemedBlock & redeemedMask) == 0,
            "Tokens have already been redeemed"
        );
    }

    // this function should redeem *all* rXTK owned by address
    function redeem(
        uint256 index,
        address recipient,
        uint256 amount,
        bytes32[] memory merkleProof
    ) external {
        require(
            msg.sender == recipient,
            "The reward recipient should be the transaction sender"
        );

        // Make sure the tokens have not already been redeemed
        (uint256 redeemedBlock, uint256 redeemedMask) = redeemed(index);
        _redeemed[index / 256] = redeemedBlock | redeemedMask;

        // Compute the merkle leaf from index, recipient and amount
        bytes32 leaf = keccak256(abi.encodePacked(index, recipient, amount));
        // verify the proof is valid
        require(
            MerkleProof.verify(merkleProof, root, leaf),
            "Proof is not valid"
        );

        uint256 xtkToTransfer = getXtkAmountAvailableByAddress(amount);
        rxtkSupplyRemaining = rxtkSupplyRemaining.sub(amount);
        xtk.transfer(recipient, xtkToTransfer);

        emit Redeemed(recipient, redeemedBlock, redeemedMask);
    }

    /**
     * Return the actual xtk amount which can be redeemed based on rxtkAmount
     */
    function getXtkAmountAvailableByAddress(uint256 rxtkAmount)
        public
        view
        returns (uint256 xtkToDistribute)
    {
        uint256 xtkBalance = xtk.balanceOf(address(this));
        uint256 latestTimestamp =
            min(block.timestamp, vestingBegin.add(ONE_YEAR));

        uint256 totalVestedXtk =
            xtkBalance.mul(latestTimestamp.sub(vestingBegin)).div(ONE_YEAR);
        xtkToDistribute = totalVestedXtk.mul(rxtkAmount).div(
            rxtkSupplyRemaining
        );
    }

    function recoverToken() external onlyOwner {
        xtk.transfer(msg.sender, xtk.balanceOf(address(this)));
    }

    function min(uint256 a, uint256 b) private pure returns (uint256) {
        return a < b ? a : b;
    }
}

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

/**
 * @dev These functions deal with verification of Merkle Trees proofs.
 *
 * The proofs can be generated using the JavaScript library
 * https://github.com/miguelmota/merkletreejs[merkletreejs].
 * Note: the hashing algorithm should be keccak256 and pair sorting should be enabled.
 *
 * See `test/utils/cryptography/MerkleProof.test.js` for some examples.
 */
library MerkleProof {
    /**
     * @dev Returns true if a `leaf` can be proved to be a part of a Merkle tree
     * defined by `root`. For this, a `proof` must be provided, containing
     * sibling hashes on the branch from the leaf to the root of the tree. Each
     * pair of leaves and each pair of pre-images are assumed to be sorted.
     */
    function verify(bytes32[] memory proof, bytes32 root, bytes32 leaf) internal pure returns (bool) {
        bytes32 computedHash = leaf;

        for (uint256 i = 0; i < proof.length; i++) {
            bytes32 proofElement = proof[i];

            if (computedHash <= proofElement) {
                // Hash(current computed hash + current element of the proof)
                computedHash = keccak256(abi.encodePacked(computedHash, proofElement));
            } else {
                // Hash(current element of the proof + current computed hash)
                computedHash = keccak256(abi.encodePacked(proofElement, computedHash));
            }
        }

        // Check if the computed hash (root) is equal to the provided root
        return computedHash == root;
    }
}

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

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

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

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

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

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

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

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

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

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

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

// CAUTION
// This version of SafeMath should only be used with Solidity 0.8 or later,
// because it relies on the compiler's built in overflow checks.

/**
 * @dev Wrappers over Solidity's arithmetic operations.
 *
 * NOTE: `SafeMath` is no longer needed starting with Solidity 0.8. The compiler
 * now has built in overflow checking.
 */
library SafeMath {
    /**
     * @dev Returns the addition of two unsigned integers, with an overflow flag.
     *
     * _Available since v3.4._
     */
    function tryAdd(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            uint256 c = a + b;
            if (c < a) return (false, 0);
            return (true, c);
        }
    }

    /**
     * @dev Returns the substraction of two unsigned integers, with an overflow flag.
     *
     * _Available since v3.4._
     */
    function trySub(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            if (b > a) return (false, 0);
            return (true, a - b);
        }
    }

    /**
     * @dev Returns the multiplication of two unsigned integers, with an overflow flag.
     *
     * _Available since v3.4._
     */
    function tryMul(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            // 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 (true, 0);
            uint256 c = a * b;
            if (c / a != b) return (false, 0);
            return (true, c);
        }
    }

    /**
     * @dev Returns the division of two unsigned integers, with a division by zero flag.
     *
     * _Available since v3.4._
     */
    function tryDiv(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            if (b == 0) return (false, 0);
            return (true, a / b);
        }
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers, with a division by zero flag.
     *
     * _Available since v3.4._
     */
    function tryMod(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            if (b == 0) return (false, 0);
            return (true, a % b);
        }
    }

    /**
     * @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) {
        return a + b;
    }

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

    /**
     * @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) {
        return a * b;
    }

    /**
     * @dev Returns the integer division of two unsigned integers, reverting on
     * division by zero. The result is rounded towards zero.
     *
     * Counterpart to Solidity's `/` operator.
     *
     * Requirements:
     *
     * - The divisor cannot be zero.
     */
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return a / b;
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * reverting 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 a % b;
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting with custom message on
     * overflow (when the result is negative).
     *
     * CAUTION: This function is deprecated because it requires allocating memory for the error
     * message unnecessarily. For custom revert reasons use {trySub}.
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     *
     * - Subtraction cannot overflow.
     */
    function sub(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        unchecked {
            require(b <= a, errorMessage);
            return a - b;
        }
    }

    /**
     * @dev Returns the integer division of two unsigned integers, reverting with custom message on
     * division by zero. The result is rounded towards 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).
     *
     * 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) {
        unchecked {
            require(b > 0, errorMessage);
            return a / b;
        }
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * reverting with custom message when dividing by zero.
     *
     * CAUTION: This function is deprecated because it requires allocating memory for the error
     * message unnecessarily. For custom revert reasons use {tryMod}.
     *
     * 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) {
        unchecked {
            require(b > 0, errorMessage);
            return a % b;
        }
    }
}

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

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

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

{
  "optimizer": {
    "enabled": false,
    "runs": 200
  },
  "outputSelection": {
    "*": {
      "*": [
        "evm.bytecode",
        "evm.deployedBytecode",
        "abi"
      ]
    }
  },
  "metadata": {
    "useLiteralContent": true
  },
  "libraries": {}
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"contract IERC20","name":"_xtk","type":"address"},{"internalType":"bytes32","name":"_root","type":"bytes32"},{"internalType":"uint256","name":"_totalXtkRedeemable","type":"uint256"}],"stateMutability":"nonpayable","type":"constructor"},{"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":"user","type":"address"},{"indexed":false,"internalType":"uint256","name":"redeemedBlock","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"redeemedMask","type":"uint256"}],"name":"Redeemed","type":"event"},{"inputs":[{"internalType":"uint256","name":"rxtkAmount","type":"uint256"}],"name":"getXtkAmountAvailableByAddress","outputs":[{"internalType":"uint256","name":"xtkToDistribute","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"initiateVesting","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"recoverToken","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"index","type":"uint256"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"bytes32[]","name":"merkleProof","type":"bytes32[]"}],"name":"redeem","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"index","type":"uint256"}],"name":"redeemed","outputs":[{"internalType":"uint256","name":"redeemedBlock","type":"uint256"},{"internalType":"uint256","name":"redeemedMask","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"root","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"rxtkSupplyRemaining","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalXtkRedeemable","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":"vestingBegin","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"xtk","outputs":[{"internalType":"contract IERC20","name":"","type":"address"}],"stateMutability":"view","type":"function"}]

60806040523480156200001157600080fd5b5060405162001ad838038062001ad8833981810160405281019062000037919062000193565b6000620000496200014660201b60201c565b9050806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35082600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555081600581905550806003819055508060028190555050505062000293565b600033905090565b6000815190506200015f8162000245565b92915050565b60008151905062000176816200025f565b92915050565b6000815190506200018d8162000279565b92915050565b600080600060608486031215620001a957600080fd5b6000620001b98682870162000165565b9350506020620001cc868287016200014e565b9250506040620001df868287016200017c565b9150509250925092565b6000620001f6826200021b565b9050919050565b6000819050919050565b60006200021482620001e9565b9050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b6200025081620001fd565b81146200025c57600080fd5b50565b6200026a8162000207565b81146200027657600080fd5b50565b62000284816200023b565b81146200029057600080fd5b50565b61183580620002a36000396000f3fe608060405234801561001057600080fd5b50600436106100cf5760003560e01c806394082f1f1161008c578063e7b9567411610066578063e7b95674146101cb578063e7ef921a146101e9578063ebf0c71714610205578063f2fde38b14610223576100cf565b806394082f1f1461015f5780639a9b0c001461018f578063e29bc68b146101ad576100cf565b806338bd2b34146100d45780635f867d4e146100f2578063715018a6146100fc5780637ed0f1c1146101065780638da5cb5b146101375780638f9ee81814610155575b600080fd5b6100dc61023f565b6040516100e9919061135f565b60405180910390f35b6100fa610265565b005b61010461043d565b005b610120600480360381019061011b9190610f97565b610577565b60405161012e929190611435565b60405180910390f35b61013f6105fb565b60405161014c9190611300565b60405180910390f35b61015d610624565b005b61017960048036038101906101749190610f97565b610796565b604051610186919061141a565b60405180910390f35b6101976108de565b6040516101a4919061141a565b60405180910390f35b6101b56108e4565b6040516101c2919061141a565b60405180910390f35b6101d36108ea565b6040516101e0919061141a565b60405180910390f35b61020360048036038101906101fe9190610fe9565b6108f0565b005b61020d610b42565b60405161021a9190611344565b60405180910390f35b61023d60048036038101906102389190610f45565b610b48565b005b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b61026d610cf1565b73ffffffffffffffffffffffffffffffffffffffff1661028b6105fb565b73ffffffffffffffffffffffffffffffffffffffff16146102e1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016102d8906113da565b60405180910390fd5b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb33600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b815260040161037b9190611300565b60206040518083038186803b15801561039357600080fd5b505afa1580156103a7573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906103cb9190610fc0565b6040518363ffffffff1660e01b81526004016103e892919061131b565b602060405180830381600087803b15801561040257600080fd5b505af1158015610416573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061043a9190610f6e565b50565b610445610cf1565b73ffffffffffffffffffffffffffffffffffffffff166104636105fb565b73ffffffffffffffffffffffffffffffffffffffff16146104b9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104b0906113da565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a360008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b600080600660006101008561058c9190611522565b8152602001908152602001600020549150610100836105ab91906116d8565b6001901b90506000818316146105f6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105ed9061139a565b60405180910390fd5b915091565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b61062c610cf1565b73ffffffffffffffffffffffffffffffffffffffff1661064a6105fb565b73ffffffffffffffffffffffffffffffffffffffff16146106a0576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610697906113da565b60405180910390fd5b600760009054906101000a900460ff16156106ba57600080fd5b600254600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b81526004016107189190611300565b60206040518083038186803b15801561073057600080fd5b505afa158015610744573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107689190610fc0565b1461077257600080fd5b6001600760006101000a81548160ff02191690831515021790555042600481905550565b600080600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b81526004016107f49190611300565b60206040518083038186803b15801561080c57600080fd5b505afa158015610820573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108449190610fc0565b9050600061086a426108656301e13380600454610cf990919063ffffffff16565b610d0f565b905060006108ab6301e1338061089d61088e60045486610d2890919063ffffffff16565b86610d3e90919063ffffffff16565b610d5490919063ffffffff16565b90506108d46003546108c68784610d3e90919063ffffffff16565b610d5490919063ffffffff16565b9350505050919050565b60035481565b60045481565b60025481565b8273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461095e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610955906113fa565b60405180910390fd5b60008061096a86610577565b9150915080821760066000610100896109839190611522565b81526020019081526020016000208190555060008686866040516020016109ac939291906112c3565b6040516020818303038152906040528051906020012090506109d18460055483610d6a565b610a10576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a07906113ba565b60405180910390fd5b6000610a1b86610796565b9050610a3286600354610d2890919063ffffffff16565b600381905550600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb88836040518363ffffffff1660e01b8152600401610a9592919061131b565b602060405180830381600087803b158015610aaf57600080fd5b505af1158015610ac3573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610ae79190610f6e565b508673ffffffffffffffffffffffffffffffffffffffff167ff3a670cd3af7d64b488926880889d08a8585a138ff455227af6737339a1ec2628585604051610b30929190611435565b60405180910390a25050505050505050565b60055481565b610b50610cf1565b73ffffffffffffffffffffffffffffffffffffffff16610b6e6105fb565b73ffffffffffffffffffffffffffffffffffffffff1614610bc4576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bbb906113da565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415610c34576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c2b9061137a565b60405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600033905090565b60008183610d0791906114cc565b905092915050565b6000818310610d1e5781610d20565b825b905092915050565b60008183610d3691906115ad565b905092915050565b60008183610d4c9190611553565b905092915050565b60008183610d629190611522565b905092915050565b60008082905060005b8551811015610e38576000868281518110610db7577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60200260200101519050808311610df8578281604051602001610ddb929190611297565b604051602081830303815290604052805190602001209250610e24565b8083604051602001610e0b929190611297565b6040516020818303038152906040528051906020012092505b508080610e3090611657565b915050610d73565b508381149150509392505050565b6000610e59610e548461148f565b61145e565b90508083825260208201905082856020860282011115610e7857600080fd5b60005b85811015610ea85781610e8e8882610f06565b845260208401935060208301925050600181019050610e7b565b5050509392505050565b600081359050610ec1816117a3565b92915050565b600082601f830112610ed857600080fd5b8135610ee8848260208601610e46565b91505092915050565b600081519050610f00816117ba565b92915050565b600081359050610f15816117d1565b92915050565b600081359050610f2a816117e8565b92915050565b600081519050610f3f816117e8565b92915050565b600060208284031215610f5757600080fd5b6000610f6584828501610eb2565b91505092915050565b600060208284031215610f8057600080fd5b6000610f8e84828501610ef1565b91505092915050565b600060208284031215610fa957600080fd5b6000610fb784828501610f1b565b91505092915050565b600060208284031215610fd257600080fd5b6000610fe084828501610f30565b91505092915050565b60008060008060808587031215610fff57600080fd5b600061100d87828801610f1b565b945050602061101e87828801610eb2565b935050604061102f87828801610f1b565b925050606085013567ffffffffffffffff81111561104c57600080fd5b61105887828801610ec7565b91505092959194509250565b61106d816115e1565b82525050565b61108461107f826115e1565b6116a0565b82525050565b611093816115ff565b82525050565b6110aa6110a5826115ff565b6116b2565b82525050565b6110b981611633565b82525050565b60006110cc6026836114bb565b91507f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008301527f64647265737300000000000000000000000000000000000000000000000000006020830152604082019050919050565b60006111326021836114bb565b91507f546f6b656e73206861766520616c7265616479206265656e2072656465656d6560008301527f64000000000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b60006111986012836114bb565b91507f50726f6f66206973206e6f742076616c696400000000000000000000000000006000830152602082019050919050565b60006111d86020836114bb565b91507f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726000830152602082019050919050565b60006112186035836114bb565b91507f5468652072657761726420726563697069656e742073686f756c64206265207460008301527f6865207472616e73616374696f6e2073656e64657200000000000000000000006020830152604082019050919050565b61127a81611629565b82525050565b61129161128c82611629565b6116ce565b82525050565b60006112a38285611099565b6020820191506112b38284611099565b6020820191508190509392505050565b60006112cf8286611280565b6020820191506112df8285611073565b6014820191506112ef8284611280565b602082019150819050949350505050565b60006020820190506113156000830184611064565b92915050565b60006040820190506113306000830185611064565b61133d6020830184611271565b9392505050565b6000602082019050611359600083018461108a565b92915050565b600060208201905061137460008301846110b0565b92915050565b60006020820190508181036000830152611393816110bf565b9050919050565b600060208201905081810360008301526113b381611125565b9050919050565b600060208201905081810360008301526113d38161118b565b9050919050565b600060208201905081810360008301526113f3816111cb565b9050919050565b600060208201905081810360008301526114138161120b565b9050919050565b600060208201905061142f6000830184611271565b92915050565b600060408201905061144a6000830185611271565b6114576020830184611271565b9392505050565b6000604051905081810181811067ffffffffffffffff8211171561148557611484611767565b5b8060405250919050565b600067ffffffffffffffff8211156114aa576114a9611767565b5b602082029050602081019050919050565b600082825260208201905092915050565b60006114d782611629565b91506114e283611629565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0382111561151757611516611709565b5b828201905092915050565b600061152d82611629565b915061153883611629565b92508261154857611547611738565b5b828204905092915050565b600061155e82611629565b915061156983611629565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04831182151516156115a2576115a1611709565b5b828202905092915050565b60006115b882611629565b91506115c383611629565b9250828210156115d6576115d5611709565b5b828203905092915050565b60006115ec82611609565b9050919050565b60008115159050919050565b6000819050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600061163e82611645565b9050919050565b600061165082611609565b9050919050565b600061166282611629565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82141561169557611694611709565b5b600182019050919050565b60006116ab826116bc565b9050919050565b6000819050919050565b60006116c782611796565b9050919050565b6000819050919050565b60006116e382611629565b91506116ee83611629565b9250826116fe576116fd611738565b5b828206905092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b60008160601b9050919050565b6117ac816115e1565b81146117b757600080fd5b50565b6117c3816115f3565b81146117ce57600080fd5b50565b6117da816115ff565b81146117e557600080fd5b50565b6117f181611629565b81146117fc57600080fd5b5056fea264697066735822122096db101b17ff305555e51e1d70160256336a92184dad079b8bcaa85446fb55ff64736f6c634300080000330000000000000000000000007f3edcdd180dbe4819bd98fee8929b5cedb3adeb66fb4154bd3a0872160397456255f2318abe5ac2a3e73f724450751949d40f9c0000000000000000000000000000000000000000001232ae63c59c6bd6000000

0x608060405234801561001057600080fd5b50600436106100cf5760003560e01c806394082f1f1161008c578063e7b9567411610066578063e7b95674146101cb578063e7ef921a146101e9578063ebf0c71714610205578063f2fde38b14610223576100cf565b806394082f1f1461015f5780639a9b0c001461018f578063e29bc68b146101ad576100cf565b806338bd2b34146100d45780635f867d4e146100f2578063715018a6146100fc5780637ed0f1c1146101065780638da5cb5b146101375780638f9ee81814610155575b600080fd5b6100dc61023f565b6040516100e9919061135f565b60405180910390f35b6100fa610265565b005b61010461043d565b005b610120600480360381019061011b9190610f97565b610577565b60405161012e929190611435565b60405180910390f35b61013f6105fb565b60405161014c9190611300565b60405180910390f35b61015d610624565b005b61017960048036038101906101749190610f97565b610796565b604051610186919061141a565b60405180910390f35b6101976108de565b6040516101a4919061141a565b60405180910390f35b6101b56108e4565b6040516101c2919061141a565b60405180910390f35b6101d36108ea565b6040516101e0919061141a565b60405180910390f35b61020360048036038101906101fe9190610fe9565b6108f0565b005b61020d610b42565b60405161021a9190611344565b60405180910390f35b61023d60048036038101906102389190610f45565b610b48565b005b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b61026d610cf1565b73ffffffffffffffffffffffffffffffffffffffff1661028b6105fb565b73ffffffffffffffffffffffffffffffffffffffff16146102e1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016102d8906113da565b60405180910390fd5b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb33600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b815260040161037b9190611300565b60206040518083038186803b15801561039357600080fd5b505afa1580156103a7573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906103cb9190610fc0565b6040518363ffffffff1660e01b81526004016103e892919061131b565b602060405180830381600087803b15801561040257600080fd5b505af1158015610416573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061043a9190610f6e565b50565b610445610cf1565b73ffffffffffffffffffffffffffffffffffffffff166104636105fb565b73ffffffffffffffffffffffffffffffffffffffff16146104b9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104b0906113da565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a360008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b600080600660006101008561058c9190611522565b8152602001908152602001600020549150610100836105ab91906116d8565b6001901b90506000818316146105f6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105ed9061139a565b60405180910390fd5b915091565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b61062c610cf1565b73ffffffffffffffffffffffffffffffffffffffff1661064a6105fb565b73ffffffffffffffffffffffffffffffffffffffff16146106a0576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610697906113da565b60405180910390fd5b600760009054906101000a900460ff16156106ba57600080fd5b600254600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b81526004016107189190611300565b60206040518083038186803b15801561073057600080fd5b505afa158015610744573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107689190610fc0565b1461077257600080fd5b6001600760006101000a81548160ff02191690831515021790555042600481905550565b600080600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b81526004016107f49190611300565b60206040518083038186803b15801561080c57600080fd5b505afa158015610820573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108449190610fc0565b9050600061086a426108656301e13380600454610cf990919063ffffffff16565b610d0f565b905060006108ab6301e1338061089d61088e60045486610d2890919063ffffffff16565b86610d3e90919063ffffffff16565b610d5490919063ffffffff16565b90506108d46003546108c68784610d3e90919063ffffffff16565b610d5490919063ffffffff16565b9350505050919050565b60035481565b60045481565b60025481565b8273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461095e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610955906113fa565b60405180910390fd5b60008061096a86610577565b9150915080821760066000610100896109839190611522565b81526020019081526020016000208190555060008686866040516020016109ac939291906112c3565b6040516020818303038152906040528051906020012090506109d18460055483610d6a565b610a10576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a07906113ba565b60405180910390fd5b6000610a1b86610796565b9050610a3286600354610d2890919063ffffffff16565b600381905550600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb88836040518363ffffffff1660e01b8152600401610a9592919061131b565b602060405180830381600087803b158015610aaf57600080fd5b505af1158015610ac3573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610ae79190610f6e565b508673ffffffffffffffffffffffffffffffffffffffff167ff3a670cd3af7d64b488926880889d08a8585a138ff455227af6737339a1ec2628585604051610b30929190611435565b60405180910390a25050505050505050565b60055481565b610b50610cf1565b73ffffffffffffffffffffffffffffffffffffffff16610b6e6105fb565b73ffffffffffffffffffffffffffffffffffffffff1614610bc4576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bbb906113da565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415610c34576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c2b9061137a565b60405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600033905090565b60008183610d0791906114cc565b905092915050565b6000818310610d1e5781610d20565b825b905092915050565b60008183610d3691906115ad565b905092915050565b60008183610d4c9190611553565b905092915050565b60008183610d629190611522565b905092915050565b60008082905060005b8551811015610e38576000868281518110610db7577f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60200260200101519050808311610df8578281604051602001610ddb929190611297565b604051602081830303815290604052805190602001209250610e24565b8083604051602001610e0b929190611297565b6040516020818303038152906040528051906020012092505b508080610e3090611657565b915050610d73565b508381149150509392505050565b6000610e59610e548461148f565b61145e565b90508083825260208201905082856020860282011115610e7857600080fd5b60005b85811015610ea85781610e8e8882610f06565b845260208401935060208301925050600181019050610e7b565b5050509392505050565b600081359050610ec1816117a3565b92915050565b600082601f830112610ed857600080fd5b8135610ee8848260208601610e46565b91505092915050565b600081519050610f00816117ba565b92915050565b600081359050610f15816117d1565b92915050565b600081359050610f2a816117e8565b92915050565b600081519050610f3f816117e8565b92915050565b600060208284031215610f5757600080fd5b6000610f6584828501610eb2565b91505092915050565b600060208284031215610f8057600080fd5b6000610f8e84828501610ef1565b91505092915050565b600060208284031215610fa957600080fd5b6000610fb784828501610f1b565b91505092915050565b600060208284031215610fd257600080fd5b6000610fe084828501610f30565b91505092915050565b60008060008060808587031215610fff57600080fd5b600061100d87828801610f1b565b945050602061101e87828801610eb2565b935050604061102f87828801610f1b565b925050606085013567ffffffffffffffff81111561104c57600080fd5b61105887828801610ec7565b91505092959194509250565b61106d816115e1565b82525050565b61108461107f826115e1565b6116a0565b82525050565b611093816115ff565b82525050565b6110aa6110a5826115ff565b6116b2565b82525050565b6110b981611633565b82525050565b60006110cc6026836114bb565b91507f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008301527f64647265737300000000000000000000000000000000000000000000000000006020830152604082019050919050565b60006111326021836114bb565b91507f546f6b656e73206861766520616c7265616479206265656e2072656465656d6560008301527f64000000000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b60006111986012836114bb565b91507f50726f6f66206973206e6f742076616c696400000000000000000000000000006000830152602082019050919050565b60006111d86020836114bb565b91507f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726000830152602082019050919050565b60006112186035836114bb565b91507f5468652072657761726420726563697069656e742073686f756c64206265207460008301527f6865207472616e73616374696f6e2073656e64657200000000000000000000006020830152604082019050919050565b61127a81611629565b82525050565b61129161128c82611629565b6116ce565b82525050565b60006112a38285611099565b6020820191506112b38284611099565b6020820191508190509392505050565b60006112cf8286611280565b6020820191506112df8285611073565b6014820191506112ef8284611280565b602082019150819050949350505050565b60006020820190506113156000830184611064565b92915050565b60006040820190506113306000830185611064565b61133d6020830184611271565b9392505050565b6000602082019050611359600083018461108a565b92915050565b600060208201905061137460008301846110b0565b92915050565b60006020820190508181036000830152611393816110bf565b9050919050565b600060208201905081810360008301526113b381611125565b9050919050565b600060208201905081810360008301526113d38161118b565b9050919050565b600060208201905081810360008301526113f3816111cb565b9050919050565b600060208201905081810360008301526114138161120b565b9050919050565b600060208201905061142f6000830184611271565b92915050565b600060408201905061144a6000830185611271565b6114576020830184611271565b9392505050565b6000604051905081810181811067ffffffffffffffff8211171561148557611484611767565b5b8060405250919050565b600067ffffffffffffffff8211156114aa576114a9611767565b5b602082029050602081019050919050565b600082825260208201905092915050565b60006114d782611629565b91506114e283611629565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0382111561151757611516611709565b5b828201905092915050565b600061152d82611629565b915061153883611629565b92508261154857611547611738565b5b828204905092915050565b600061155e82611629565b915061156983611629565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04831182151516156115a2576115a1611709565b5b828202905092915050565b60006115b882611629565b91506115c383611629565b9250828210156115d6576115d5611709565b5b828203905092915050565b60006115ec82611609565b9050919050565b60008115159050919050565b6000819050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600061163e82611645565b9050919050565b600061165082611609565b9050919050565b600061166282611629565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82141561169557611694611709565b5b600182019050919050565b60006116ab826116bc565b9050919050565b6000819050919050565b60006116c782611796565b9050919050565b6000819050919050565b60006116e382611629565b91506116ee83611629565b9250826116fe576116fd611738565b5b828206905092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b60008160601b9050919050565b6117ac816115e1565b81146117b757600080fd5b50565b6117c3816115f3565b81146117ce57600080fd5b50565b6117da816115ff565b81146117e557600080fd5b50565b6117f181611629565b81146117fc57600080fd5b5056fea264697066735822122096db101b17ff305555e51e1d70160256336a92184dad079b8bcaa85446fb55ff64736f6c63430008000033

0000000000000000000000007f3edcdd180dbe4819bd98fee8929b5cedb3adeb66fb4154bd3a0872160397456255f2318abe5ac2a3e73f724450751949d40f9c0000000000000000000000000000000000000000001232ae63c59c6bd6000000

-----Decoded View---------------
Arg [0] : _xtk (address): 0x7F3EDcdD180Dbe4819Bd98FeE8929b5cEdB3AdEB
Arg [1] : _root (bytes32): 0x66fb4154bd3a0872160397456255f2318abe5ac2a3e73f724450751949d40f9c
Arg [2] : _totalXtkRedeemable (uint256): 22000000000000000000000000

-----Encoded View---------------
3 Constructor Arguments found :
Arg [0] : 0000000000000000000000007f3edcdd180dbe4819bd98fee8929b5cedb3adeb
Arg [1] : 66fb4154bd3a0872160397456255f2318abe5ac2a3e73f724450751949d40f9c
Arg [2] : 0000000000000000000000000000000000000000001232ae63c59c6bd6000000