Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• library SafeMath
•    - function tryAdd(uint256 a, uint256 b)
•    - function trySub(uint256 a, uint256 b)
•    - function tryMul(uint256 a, uint256 b)
•    - function tryDiv(uint256 a, uint256 b)
•    - function tryMod(uint256 a, uint256 b)
•    - function add(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function mod(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b, st ...
•    - function div(uint256 a, uint256 b, st ...
•    - 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, ...
• interface ITREASURY
•    - function token()
•    - function fundsAvailable()
•    - function release()
•    - function _msgSender()
•    - function _msgData()
•    - function owner()
•    - function renounceOwnership()
•    - function transferOwnership(address ne ...
•  contract TokenPool is Ownable
•    - function balance()
•    - function transfer(address to, uint256 ...
•  contract ReflectiveStake is Reentr ... *
•    - function getStakingToken()
•    - function getDistributionToken()
•    - function stake(uint256 amount)
•    - function _applyFee(uint256 amount)
•    - function unstake(uint256 amount)
•    - function unstakeMax()
•    - function _unstake(uint256 amount)
•    - function computeNewReward(uint256 cur ...
•    - function getUserStakes(address addr)
•    - function getUserTotals(address addr)
•    - function totalStakedFor(address addr)
•    - function totalStaked()
•    - function token()
•    - function treasuryTarget()
•    - function updateAccounting()
•    - function isUnlocked(address account)
•    - function totalPending()
•    - function totalUnlocked()
•    - function totalAvailable()
•    - function unlockTokens()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2021-03-31
*/

// File: openzeppelin-solidity\contracts\math\SafeMath.sol

// SPDX-License-Identifier: MIT

pragma solidity >=0.6.0 <0.8.0;

/**
 * @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, with an overflow flag.
     *
     * _Available since v3.4._
     */
    function tryAdd(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        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) {
        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) {
        // 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) {
        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) {
        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) {
        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) {
        require(b <= a, "SafeMath: subtraction overflow");
        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) {
        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, reverting 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) {
        require(b > 0, "SafeMath: division by zero");
        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) {
        require(b > 0, "SafeMath: modulo by zero");
        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) {
        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.
     *
     * CAUTION: This function is deprecated because it requires allocating memory for the error
     * message unnecessarily. For custom revert reasons use {tryDiv}.
     *
     * 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);
        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) {
        require(b > 0, errorMessage);
        return a % b;
    }
}

// File: openzeppelin-solidity\contracts\utils\ReentrancyGuard.sol

// SPDX-License-Identifier: MIT

pragma solidity >=0.6.0 <0.8.0;

/**
 * @dev Contract module that helps prevent reentrant calls to a function.
 *
 * Inheriting from `ReentrancyGuard` will make the {nonReentrant} modifier
 * available, which can be applied to functions to make sure there are no nested
 * (reentrant) calls to them.
 *
 * Note that because there is a single `nonReentrant` guard, functions marked as
 * `nonReentrant` may not call one another. This can be worked around by making
 * those functions `private`, and then adding `external` `nonReentrant` entry
 * points to them.
 *
 * TIP: If you would like to learn more about reentrancy and alternative ways
 * to protect against it, check out our blog post
 * https://blog.openzeppelin.com/reentrancy-after-istanbul/[Reentrancy After Istanbul].
 */
abstract contract ReentrancyGuard {
    // Booleans are more expensive than uint256 or any type that takes up a full
    // word because each write operation emits an extra SLOAD to first read the
    // slot's contents, replace the bits taken up by the boolean, and then write
    // back. This is the compiler's defense against contract upgrades and
    // pointer aliasing, and it cannot be disabled.

    // The values being non-zero value makes deployment a bit more expensive,
    // but in exchange the refund on every call to nonReentrant will be lower in
    // amount. Since refunds are capped to a percentage of the total
    // transaction's gas, it is best to keep them low in cases like this one, to
    // increase the likelihood of the full refund coming into effect.
    uint256 private constant _NOT_ENTERED = 1;
    uint256 private constant _ENTERED = 2;

    uint256 private _status;

    constructor () internal {
        _status = _NOT_ENTERED;
    }

    /**
     * @dev Prevents a contract from calling itself, directly or indirectly.
     * Calling a `nonReentrant` function from another `nonReentrant`
     * function is not supported. It is possible to prevent this from happening
     * by making the `nonReentrant` function external, and make it call a
     * `private` function that does the actual work.
     */
    modifier nonReentrant() {
        // On the first call to nonReentrant, _notEntered will be true
        require(_status != _ENTERED, "ReentrancyGuard: reentrant call");

        // Any calls to nonReentrant after this point will fail
        _status = _ENTERED;

        _;

        // By storing the original value once again, a refund is triggered (see
        // https://eips.ethereum.org/EIPS/eip-2200)
        _status = _NOT_ENTERED;
    }
}

// File: openzeppelin-solidity\contracts\token\ERC20\IERC20.sol

// SPDX-License-Identifier: MIT

pragma solidity >=0.6.0 <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);
}

// File: contracts\ITREASURY.sol

// SPDX-License-Identifier: GPL-3.0-only

pragma solidity >=0.6.0 <0.8.0;


interface ITREASURY {

    function token() external view returns (IERC20);

    function fundsAvailable() external view returns (uint256);

    function release() external;
}

// File: node_modules\openzeppelin-solidity\contracts\utils\Context.sol

// SPDX-License-Identifier: MIT

pragma solidity >=0.6.0 <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 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;
    }
}

// File: openzeppelin-solidity\contracts\access\Ownable.sol

// SPDX-License-Identifier: MIT

pragma solidity >=0.6.0 <0.8.0;

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

// File: contracts\TokenPool.sol

// SPDX-License-Identifier: GPL-3.0-only

pragma solidity >=0.6.0 <0.8.0;



/**
 * @title A simple holder of tokens.
 * This is a simple contract to hold tokens. It's useful in the case where a separate contract
 * needs to hold multiple distinct pools of the same token.
 */
contract TokenPool is Ownable {
    IERC20 public token;

    constructor(IERC20 _token) public {
        token = _token;
    }

    function balance() external view returns (uint256) {
        return token.balanceOf(address(this));
    }

    function transfer(address to, uint256 value) external onlyOwner returns (bool) {
        return token.transfer(to, value);
    }
}

// File: contracts\ReflectiveStake.sol

// SPDX-License-Identifier: GPL-3.0-only

pragma solidity >=0.6.0 <0.8.0;
pragma experimental ABIEncoderV2;





contract ReflectiveStake is ReentrancyGuard{
    using SafeMath for uint256;

    event Staked(address indexed user, uint256 amount, uint256 total, bytes data);
    event Unstaked(address indexed user, uint256 amount, uint256 total, bytes data);
    event TokensClaimed(address indexed user, uint256 amount);
    event TokensLocked(uint256 amount, uint256 durationSec, uint256 total);
    event TokensUnlocked(uint256 amount, uint256 total);

    TokenPool private _stakingPool;
    TokenPool private _unlockedPool;
    ITREASURY private _reflectiveTreasury;

    uint256 public constant BONUS_DECIMALS = 2;
    uint256 public startBonus = 0;
    uint256 public bonusPeriodSec = 0;
    uint256 public lockupSec = 0;

    uint256 public totalStakingShares = 0;
    uint256 public totalStakingShareSeconds = 0;
    uint256 public lastAccountingTimestampSec = block.timestamp;
    uint256 private _initialSharesPerToken = 0;

    struct Stake {
        uint256 stakingShares;
        uint256 timestampSec;
    }

    struct UserTotals {
        uint256 stakingShares;
        uint256 stakingShareSeconds;
        uint256 lastAccountingTimestampSec;
    }

    mapping(address => UserTotals) private _userTotals;

    mapping(address => Stake[]) private _userStakes;

    /**
     * @param stakingToken The token users deposit as stake.
     * @param distributionToken The token users receive as they unstake.
     * @param reflectiveTreasury The address of the treasury contract that will fund the rewards.
     * @param startBonus_ Starting time bonus, BONUS_DECIMALS fixed point.
     *                    e.g. 25% means user gets 25% of max distribution tokens.
     * @param bonusPeriodSec_ Length of time for bonus to increase linearly to max.
     * @param initialSharesPerToken Number of shares to mint per staking token on first stake.
     * @param lockupSec_ Lockup period after staking.
     */
    constructor(IERC20 stakingToken, IERC20 distributionToken, ITREASURY reflectiveTreasury,
                uint256 startBonus_, uint256 bonusPeriodSec_, uint256 initialSharesPerToken, uint256 lockupSec_) public {
        // The start bonus must be some fraction of the max. (i.e. <= 100%)
        require(startBonus_ <= 10**BONUS_DECIMALS, 'ReflectiveStake: start bonus too high');
        // If no period is desired, instead set startBonus = 100%
        // and bonusPeriod to a small value like 1sec.
        require(bonusPeriodSec_ > 0, 'ReflectiveStake: bonus period is zero');
        require(initialSharesPerToken > 0, 'ReflectiveStake: initialSharesPerToken is zero');

        _stakingPool = new TokenPool(stakingToken);
        _unlockedPool = new TokenPool(distributionToken);
        _reflectiveTreasury = reflectiveTreasury;
        require(_unlockedPool.token() == _reflectiveTreasury.token(), 'ReflectiveStake: distribution token does not match treasury token');
        startBonus = startBonus_;
        bonusPeriodSec = bonusPeriodSec_;
        _initialSharesPerToken = initialSharesPerToken;
        lockupSec = lockupSec_;
    }

    function getStakingToken() public view returns (IERC20) {
        return _stakingPool.token();
    }

    function getDistributionToken() external view returns (IERC20) {
        return _unlockedPool.token();
    }

    function stake(uint256 amount) external nonReentrant {
        require(amount > 0, 'ReflectiveStake: stake amount is zero');
        require(totalStakingShares == 0 || totalStaked() > 0,
                'ReflectiveStake: Invalid state. Staking shares exist, but no staking tokens do');

        // Get Actual Amount here minus TX fee
        uint256 transferAmount = _applyFee(amount);

        uint256 mintedStakingShares = (totalStakingShares > 0)
            ? totalStakingShares.mul(transferAmount).div(totalStaked())
            : transferAmount.mul(_initialSharesPerToken);
        require(mintedStakingShares > 0, 'ReflectiveStake: Stake amount is too small');

        updateAccounting();

        // 1. User Accounting
        UserTotals storage totals = _userTotals[msg.sender];
        totals.stakingShares = totals.stakingShares.add(mintedStakingShares);
        totals.lastAccountingTimestampSec = block.timestamp;

        Stake memory newStake = Stake(mintedStakingShares, block.timestamp);
        _userStakes[msg.sender].push(newStake);

        // 2. Global Accounting
        totalStakingShares = totalStakingShares.add(mintedStakingShares);

        // interactions
        require(_stakingPool.token().transferFrom(msg.sender, address(_stakingPool), amount),
            'ReflectiveStake: transfer into staking pool failed');

        emit Staked(msg.sender, transferAmount, totalStakedFor(msg.sender), "");
    }

    /**
     * @notice Applies token fee.  Override for tokens other than ELE.
     */
    function _applyFee(uint256 amount) internal pure virtual returns (uint256) {
        uint256 tFeeHalf = amount.div(200);
        uint256 tFee = tFeeHalf.mul(2);
        uint256 tTransferAmount = amount.sub(tFee); 
        return tTransferAmount;
    }

    function unstake(uint256 amount) external nonReentrant returns (uint256) {
        updateAccounting();
        return _unstake(amount);
    }

    function unstakeMax() external nonReentrant returns (uint256) {
        updateAccounting();
        return _unstake(totalStakedFor(msg.sender));
    }

    function _unstake(uint256 amount) private returns (uint256) {
        // checks
        require(amount > 0, 'ReflectiveStake: unstake amount is zero');
        require(totalStakedFor(msg.sender) >= amount,
            'ReflectiveStake: unstake amount is greater than total user stakes');
        uint256 stakingSharesToBurn = totalStakingShares.mul(amount).div(totalStaked());
        require(stakingSharesToBurn > 0, 'ReflectiveStake: Unable to unstake amount this small');

        // 1. User Accounting
        UserTotals storage totals = _userTotals[msg.sender];
        Stake[] storage accountStakes = _userStakes[msg.sender];

        Stake memory mostRecentStake = accountStakes[accountStakes.length - 1];
        require(block.timestamp.sub(mostRecentStake.timestampSec) > lockupSec, 'ReflectiveStake: Cannot unstake before the lockup period has expired');

        // Redeem from most recent stake and go backwards in time.
        uint256 stakingShareSecondsToBurn = 0;
        uint256 sharesLeftToBurn = stakingSharesToBurn;
        uint256 rewardAmount = 0;
        while (sharesLeftToBurn > 0) {
            Stake storage lastStake = accountStakes[accountStakes.length - 1];
            uint256 stakeTimeSec = block.timestamp.sub(lastStake.timestampSec);
            uint256 newStakingShareSecondsToBurn = 0;
            if (lastStake.stakingShares <= sharesLeftToBurn) {
                // fully redeem a past stake
                newStakingShareSecondsToBurn = lastStake.stakingShares.mul(stakeTimeSec);
                rewardAmount = computeNewReward(rewardAmount, newStakingShareSecondsToBurn, stakeTimeSec);
                stakingShareSecondsToBurn = stakingShareSecondsToBurn.add(newStakingShareSecondsToBurn);
                sharesLeftToBurn = sharesLeftToBurn.sub(lastStake.stakingShares);
                accountStakes.pop();
            } else {
                // partially redeem a past stake
                newStakingShareSecondsToBurn = sharesLeftToBurn.mul(stakeTimeSec);
                rewardAmount = computeNewReward(rewardAmount, newStakingShareSecondsToBurn, stakeTimeSec);
                stakingShareSecondsToBurn = stakingShareSecondsToBurn.add(newStakingShareSecondsToBurn);
                lastStake.stakingShares = lastStake.stakingShares.sub(sharesLeftToBurn);
                sharesLeftToBurn = 0;
            }
        }
        totals.stakingShareSeconds = totals.stakingShareSeconds.sub(stakingShareSecondsToBurn);
        totals.stakingShares = totals.stakingShares.sub(stakingSharesToBurn);

        // 2. Global Accounting
        totalStakingShareSeconds = totalStakingShareSeconds.sub(stakingShareSecondsToBurn);
        totalStakingShares = totalStakingShares.sub(stakingSharesToBurn);

        // interactions
        require(_stakingPool.transfer(msg.sender, amount),
            'ReflectiveStake: transfer out of staking pool failed');

        if (rewardAmount > 0) {
            require(_unlockedPool.transfer(msg.sender, rewardAmount),
                'ReflectiveStake: transfer out of unlocked pool failed');
        }


        emit Unstaked(msg.sender, amount, totalStakedFor(msg.sender), "");
        emit TokensClaimed(msg.sender, rewardAmount);

        require(totalStakingShares == 0 || totalStaked() > 0,
                "ReflectiveStake: Error unstaking. Staking shares exist, but no staking tokens do");
        return rewardAmount;
    }

    function computeNewReward(uint256 currentRewardTokens,
                                uint256 stakingShareSeconds,
                                uint256 stakeTimeSec) private view returns (uint256) {

        uint256 newRewardTokens =
            totalUnlocked()
            .mul(stakingShareSeconds)
            .div(totalStakingShareSeconds);

        if (stakeTimeSec >= bonusPeriodSec) {
            return currentRewardTokens.add(newRewardTokens);
        }

        uint256 oneHundredPct = 10**BONUS_DECIMALS;
        uint256 bonusedReward =
            startBonus
            .add(oneHundredPct.sub(startBonus).mul(stakeTimeSec).div(bonusPeriodSec))
            .mul(newRewardTokens)
            .div(oneHundredPct);
        return currentRewardTokens.add(bonusedReward);
    }

    function getUserStakes(address addr) external view returns (Stake[] memory){
        Stake[] memory userStakes = _userStakes[addr];
        return userStakes;
    }

    function getUserTotals(address addr) external view returns (UserTotals memory) {
        UserTotals memory userTotals = _userTotals[addr];
        return userTotals;
    }

    function totalStakedFor(address addr) public view returns (uint256) {
        return totalStakingShares > 0 ?
            totalStaked().mul(_userTotals[addr].stakingShares).div(totalStakingShares) : 0;
    }

    function totalStaked() public view returns (uint256) {
        return _stakingPool.balance();
    }

    function token() external view returns (address) {
        return address(getStakingToken());
    }

    function treasuryTarget() external view returns (address) {
        return address(_unlockedPool);
    }

    function updateAccounting() private returns (
        uint256, uint256, uint256, uint256, uint256, uint256) {

        unlockTokens();

        // Global accounting
        uint256 newStakingShareSeconds =
            block.timestamp
            .sub(lastAccountingTimestampSec)
            .mul(totalStakingShares);
        totalStakingShareSeconds = totalStakingShareSeconds.add(newStakingShareSeconds);
        lastAccountingTimestampSec = block.timestamp;

        // User Accounting
        UserTotals storage totals = _userTotals[msg.sender];
        uint256 newUserStakingShareSeconds =
            block.timestamp
            .sub(totals.lastAccountingTimestampSec)
            .mul(totals.stakingShares);
        totals.stakingShareSeconds =
            totals.stakingShareSeconds
            .add(newUserStakingShareSeconds);
        totals.lastAccountingTimestampSec = block.timestamp;

        uint256 totalUserRewards = (totalStakingShareSeconds > 0)
            ? totalUnlocked().mul(totals.stakingShareSeconds).div(totalStakingShareSeconds)
            : 0;

        return (
            totalPending(),
            totalUnlocked(),
            totals.stakingShareSeconds,
            totalStakingShareSeconds,
            totalUserRewards,
            block.timestamp
        );
    }

    function isUnlocked(address account) external view returns (bool) {
        if (totalStakedFor(account) == 0) return false;
        Stake[] memory accountStakes = _userStakes[account];
        Stake memory mostRecentStake = accountStakes[accountStakes.length - 1];
        return block.timestamp.sub(mostRecentStake.timestampSec) > lockupSec;
    }

    function totalPending() public view returns (uint256) {
        return _reflectiveTreasury.fundsAvailable();
    }

    function totalUnlocked() public view returns (uint256) {
        return _unlockedPool.balance();
    }

    function totalAvailable() external view returns (uint256) {
        return totalUnlocked().add(totalPending());
    }

    function unlockTokens() public {
        if (totalPending() > 0) _reflectiveTreasury.release();
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"contract IERC20","name":"stakingToken","type":"address"},{"internalType":"contract IERC20","name":"distributionToken","type":"address"},{"internalType":"contract ITREASURY","name":"reflectiveTreasury","type":"address"},{"internalType":"uint256","name":"startBonus_","type":"uint256"},{"internalType":"uint256","name":"bonusPeriodSec_","type":"uint256"},{"internalType":"uint256","name":"initialSharesPerToken","type":"uint256"},{"internalType":"uint256","name":"lockupSec_","type":"uint256"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"user","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"total","type":"uint256"},{"indexed":false,"internalType":"bytes","name":"data","type":"bytes"}],"name":"Staked","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"user","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"TokensClaimed","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"durationSec","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"total","type":"uint256"}],"name":"TokensLocked","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"total","type":"uint256"}],"name":"TokensUnlocked","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"user","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"total","type":"uint256"},{"indexed":false,"internalType":"bytes","name":"data","type":"bytes"}],"name":"Unstaked","type":"event"},{"inputs":[],"name":"BONUS_DECIMALS","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"bonusPeriodSec","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getDistributionToken","outputs":[{"internalType":"contract IERC20","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getStakingToken","outputs":[{"internalType":"contract IERC20","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"addr","type":"address"}],"name":"getUserStakes","outputs":[{"components":[{"internalType":"uint256","name":"stakingShares","type":"uint256"},{"internalType":"uint256","name":"timestampSec","type":"uint256"}],"internalType":"struct ReflectiveStake.Stake[]","name":"","type":"tuple[]"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"addr","type":"address"}],"name":"getUserTotals","outputs":[{"components":[{"internalType":"uint256","name":"stakingShares","type":"uint256"},{"internalType":"uint256","name":"stakingShareSeconds","type":"uint256"},{"internalType":"uint256","name":"lastAccountingTimestampSec","type":"uint256"}],"internalType":"struct ReflectiveStake.UserTotals","name":"","type":"tuple"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"isUnlocked","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"lastAccountingTimestampSec","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"lockupSec","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"stake","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"startBonus","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"token","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalAvailable","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalPending","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalStaked","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"addr","type":"address"}],"name":"totalStakedFor","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalStakingShareSeconds","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalStakingShares","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalUnlocked","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"treasuryTarget","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"unlockTokens","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"unstake","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"unstakeMax","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"nonpayable","type":"function"}]

608060405260006004556000600555600060065560006007556000600855426009556000600a553480156200003357600080fd5b506040516200245738038062002457833981016040819052620000569162000311565b60016000556064841115620000885760405162461bcd60e51b81526004016200007f906200039f565b60405180910390fd5b60008311620000ab5760405162461bcd60e51b81526004016200007f906200044b565b60008211620000ce5760405162461bcd60e51b81526004016200007f9062000490565b86604051620000dd90620002dd565b620000e991906200038b565b604051809103906000f08015801562000106573d6000803e3d6000fd5b50600180546001600160a01b0319166001600160a01b039290921691909117905560405186906200013790620002dd565b6200014391906200038b565b604051809103906000f08015801562000160573d6000803e3d6000fd5b50600280546001600160a01b03199081166001600160a01b039384161790915560038054909116878316179081905560408051637e062a3560e11b81529051919092169163fc0c546a916004808301926020929190829003018186803b158015620001ca57600080fd5b505afa158015620001df573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250620002059190810190620002eb565b6001600160a01b0316600260009054906101000a90046001600160a01b03166001600160a01b031663fc0c546a6040518163ffffffff1660e01b815260040160206040518083038186803b1580156200025d57600080fd5b505afa15801562000272573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250620002989190810190620002eb565b6001600160a01b031614620002c15760405162461bcd60e51b81526004016200007f90620003e4565b600493909355600591909155600a5560065550620004f7915050565b6106268062001e3183390190565b600060208284031215620002fd578081fd5b81516200030a81620004de565b9392505050565b600080600080600080600060e0888a0312156200032c578283fd5b87516200033981620004de565b60208901519097506200034c81620004de565b60408901519096506200035f81620004de565b80955050606088015193506080880151925060a0880151915060c0880151905092959891949750929550565b6001600160a01b0391909116815260200190565b60208082526025908201527f5265666c6563746976655374616b653a20737461727420626f6e757320746f6f604082015264040d0d2ced60db1b606082015260800190565b60208082526041908201527f5265666c6563746976655374616b653a20646973747269627574696f6e20746f60408201527f6b656e20646f6573206e6f74206d6174636820747265617375727920746f6b656060820152603760f91b608082015260a00190565b60208082526025908201527f5265666c6563746976655374616b653a20626f6e757320706572696f64206973604082015264207a65726f60d81b606082015260800190565b6020808252602e908201527f5265666c6563746976655374616b653a20696e697469616c536861726573506560408201526d72546f6b656e206973207a65726f60901b606082015260800190565b6001600160a01b0381168114620004f457600080fd5b50565b61192a80620005076000396000f3fe608060405234801561001057600080fd5b506004361061014d5760003560e01c8063817b1cd2116100c3578063a694fc3a1161007c578063a694fc3a1461025b578063a779d08014610270578063b68e204c14610278578063d85d7f5b14610280578063f968f49314610288578063fc0c546a146102905761014d565b8063817b1cd2146101fb578063842e298114610203578063897cf0211461022357806399044f7c1461022b5780639f9106d11461024b578063a5be655c146102535761014d565b806338b45fde1161011557806338b45fde146101c05780633f90916a146101c85780634b341aed146101d0578063561dae91146101e357806370c6a17e146101eb5780637c6aa6f4146101f35761014d565b80631bef5c6a146101525780631dc27fde1461017057806322c12b84146101785780632bbf532a1461018d5780632e17de78146101ad575b600080fd5b61015a610298565b60405161016791906118b6565b60405180910390f35b61015a61029e565b6101806102a3565b60405161016791906112ed565b6101a061019b366004611265565b610325565b604051610167919061138d565b61015a6101bb3660046112bd565b610407565b61015a61045c565b61015a610462565b61015a6101de366004611265565b6104df565b61015a61053c565b61015a61058f565b61015a610595565b61015a61059b565b610216610211366004611265565b6105e0565b604051610167919061133e565b61015a610666565b61023e610239366004611265565b61066c565b6040516101679190611895565b6101806106bf565b61015a610704565b61026e6102693660046112bd565b61070a565b005b61015a610a00565b610180610a45565b61015a610a54565b61026e610a75565b610180610af0565b60065481565b600281565b60025460408051637e062a3560e11b815290516000926001600160a01b03169163fc0c546a916004808301926020929190829003018186803b1580156102e857600080fd5b505afa1580156102fc573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061032091908101906112a1565b905090565b6000610330826104df565b61033c57506000610402565b6001600160a01b0382166000908152600c60209081526040808320805482518185028101850190935280835260609492939192909184015b828210156103ba57838290600052602060002090600202016040518060400160405290816000820154815260200160018201548152505081526020019060010190610374565b5050505090506103c861122a565b816001835103815181106103d857fe5b602002602001015190506006546103fc826020015142610afa90919063ffffffff16565b11925050505b919050565b6000600260005414156104355760405162461bcd60e51b815260040161042c906117c5565b60405180910390fd5b6002600055610442610b22565b50505050505061045182610c15565b600160005592915050565b60045481565b600354604080516327f05e8f60e11b815290516000926001600160a01b031691634fe0bd1e916004808301926020929190829003018186803b1580156104a757600080fd5b505afa1580156104bb573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061032091908101906112d5565b600080600754116104f1576000610536565b6007546001600160a01b0383166000908152600b6020526040902054610536919061052a9061051e61059b565b9063ffffffff6110b316565b9063ffffffff6110f416565b92915050565b6000600260005414156105615760405162461bcd60e51b815260040161042c906117c5565b600260005561056e610b22565b505050505050610585610580336104df565b610c15565b9050600160005590565b60075481565b60055481565b600154604080516316d3df1560e31b815290516000926001600160a01b03169163b69ef8a8916004808301926020929190829003018186803b1580156104a757600080fd5b6001600160a01b0381166000908152600c602090815260408083208054825181850281018501909352808352606094859484015b8282101561065a57838290600052602060002090600202016040518060400160405290816000820154815260200160018201548152505081526020019060010190610614565b50929695505050505050565b60095481565b610674611244565b61067c611244565b50506001600160a01b03166000908152600b6020908152604091829020825160608101845281548152600182015492810192909252600201549181019190915290565b60015460408051637e062a3560e11b815290516000926001600160a01b03169163fc0c546a916004808301926020929190829003018186803b1580156102e857600080fd5b60085481565b6002600054141561072d5760405162461bcd60e51b815260040161042c906117c5565b60026000558061074f5760405162461bcd60e51b815260040161042c90611457565b60075415806107655750600061076361059b565b115b6107815760405162461bcd60e51b815260040161042c9061165f565b600061078c82611126565b9050600080600754116107b257600a546107ad90839063ffffffff6110b316565b6107d0565b6107d06107bd61059b565b60075461052a908563ffffffff6110b316565b9050600081116107f25760405162461bcd60e51b815260040161042c906116d3565b6107fa610b22565b5050336000908152600b6020526040902080549094506108259350915084905063ffffffff61116c16565b815542600282015561083561122a565b50604080518082018252838152426020808301918252336000908152600c8252938420805460018181018355918652919094208351600290920201908155905192019190915560075461088e908463ffffffff61116c16565b60075560015460408051637e062a3560e11b815290516001600160a01b039092169163fc0c546a91600480820192602092909190829003018186803b1580156108d657600080fd5b505afa1580156108ea573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061090e91908101906112a1565b6001546040516323b872dd60e01b81526001600160a01b03928316926323b872dd92610944923392909116908a90600401611301565b602060405180830381600087803b15801561095e57600080fd5b505af1158015610972573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506109969190810190611281565b6109b25760405162461bcd60e51b815260040161042c90611843565b337fc65e53b88159e7d2c0fc12a0600072e28ae53ff73b4c1715369c30f160935142856109de836104df565b6040516109ec9291906118bf565b60405180910390a250506001600055505050565b600254604080516316d3df1560e31b815290516000926001600160a01b03169163b69ef8a8916004808301926020929190829003018186803b1580156104a757600080fd5b6002546001600160a01b031690565b6000610320610a61610462565b610a69610a00565b9063ffffffff61116c16565b6000610a7f610462565b1115610aee57600360009054906101000a90046001600160a01b03166001600160a01b03166386d1a69f6040518163ffffffff1660e01b8152600401600060405180830381600087803b158015610ad557600080fd5b505af1158015610ae9573d6000803e3d6000fd5b505050505b565b60006103206106bf565b600082821115610b1c5760405162461bcd60e51b815260040161042c90611549565b50900390565b600080600080600080610b33610a75565b6000610b5060075461051e60095442610afa90919063ffffffff16565b600854909150610b66908263ffffffff61116c16565b600855426009819055336000908152600b60205260408120805460028201549193610b9b9261051e919063ffffffff610afa16565b6001830154909150610bb3908263ffffffff61116c16565b6001830155426002830155600854600090610bcf576000610be5565b610be560085461052a856001015461051e610a00565b9050610bef610462565b610bf7610a00565b600190940154600854919c949b509950975095504294509092505050565b6000808211610c365760405162461bcd60e51b815260040161042c906117fc565b81610c40336104df565b1015610c5e5760405162461bcd60e51b815260040161042c906115f8565b6000610c7e610c6b61059b565b60075461052a908663ffffffff6110b316565b905060008111610ca05760405162461bcd60e51b815260040161042c90611771565b336000908152600b60209081526040808320600c909252909120610cc261122a565b815482906000198101908110610cd457fe5b600091825260209182902060408051808201909152600290920201805482526001015491810182905260065490925090610d1590429063ffffffff610afa16565b11610d325760405162461bcd60e51b815260040161042c90611398565b600084815b8115610e5257845460009086906000198101908110610d5257fe5b906000526020600020906002020190506000610d7b826001015442610afa90919063ffffffff16565b82549091506000908510610dff578254610d9b908363ffffffff6110b316565b9050610da8848284611191565b9350610dba868263ffffffff61116c16565b8354909650610dd090869063ffffffff610afa16565b945087805480610ddc57fe5b600082815260208120600260001990930192830201818155600101559055610e4a565b610e0f858363ffffffff6110b316565b9050610e1c848284611191565b9350610e2e868263ffffffff61116c16565b8354909650610e43908663ffffffff610afa16565b8355600094505b505050610d37565b6001860154610e67908463ffffffff610afa16565b60018701558554610e7e908863ffffffff610afa16565b8655600854610e93908463ffffffff610afa16565b600855600754610ea9908863ffffffff610afa16565b60075560015460405163a9059cbb60e01b81526001600160a01b039091169063a9059cbb90610ede9033908d90600401611325565b602060405180830381600087803b158015610ef857600080fd5b505af1158015610f0c573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250610f309190810190611281565b610f4c5760405162461bcd60e51b815260040161042c9061171d565b8015610ff25760025460405163a9059cbb60e01b81526001600160a01b039091169063a9059cbb90610f849033908590600401611325565b602060405180830381600087803b158015610f9e57600080fd5b505af1158015610fb2573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250610fd69190810190611281565b610ff25760405162461bcd60e51b815260040161042c90611402565b337faf01bfc8475df280aca00b578c4a948e6d95700f0db8c13365240f7f973c87548a61101e836104df565b60405161102c9291906118bf565b60405180910390a2336001600160a01b03167f896e034966eaaf1adc54acc0f257056febbd300c9e47182cf761982cf1f5e4308260405161106d91906118b6565b60405180910390a2600754158061108b5750600061108961059b565b115b6110a75760405162461bcd60e51b815260040161042c906114d3565b98975050505050505050565b6000826110c257506000610536565b828202828482816110cf57fe5b04146110ed5760405162461bcd60e51b815260040161042c906115b7565b9392505050565b60008082116111155760405162461bcd60e51b815260040161042c90611580565b81838161111e57fe5b049392505050565b60008061113a8360c863ffffffff6110f416565b9050600061114f82600263ffffffff6110b316565b90506000611163858363ffffffff610afa16565b95945050505050565b6000828201838110156110ed5760405162461bcd60e51b815260040161042c9061149c565b6000806111a660085461052a8661051e610a00565b905060055483106111c9576111c1858263ffffffff61116c16565b9150506110ed565b60006002600a0a9050600061120d8261052a8561051e6111fe60055461052a8c61051e6004548c610afa90919063ffffffff16565b6004549063ffffffff61116c16565b905061121f878263ffffffff61116c16565b979650505050505050565b604051806040016040528060008152602001600081525090565b60405180606001604052806000815260200160008152602001600081525090565b600060208284031215611276578081fd5b81356110ed816118dc565b600060208284031215611292578081fd5b815180151581146110ed578182fd5b6000602082840312156112b2578081fd5b81516110ed816118dc565b6000602082840312156112ce578081fd5b5035919050565b6000602082840312156112e6578081fd5b5051919050565b6001600160a01b0391909116815260200190565b6001600160a01b039384168152919092166020820152604081019190915260600190565b6001600160a01b03929092168252602082015260400190565b602080825282518282018190526000919060409081850190868401855b828110156113805781518051855286015186850152928401929085019060010161135b565b5091979650505050505050565b901515815260200190565b60208082526044908201527f5265666c6563746976655374616b653a2043616e6e6f7420756e7374616b652060408201527f6265666f726520746865206c6f636b757020706572696f6420686173206578706060820152631a5c995960e21b608082015260a00190565b60208082526035908201527f5265666c6563746976655374616b653a207472616e73666572206f7574206f66604082015274081d5b9b1bd8dad959081c1bdbdb0819985a5b1959605a1b606082015260800190565b60208082526025908201527f5265666c6563746976655374616b653a207374616b6520616d6f756e74206973604082015264207a65726f60d81b606082015260800190565b6020808252601b908201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604082015260600190565b60208082526050908201527f5265666c6563746976655374616b653a204572726f7220756e7374616b696e6760408201527f2e205374616b696e67207368617265732065786973742c20627574206e6f207360608201526f74616b696e6720746f6b656e7320646f60801b608082015260a00190565b6020808252601e908201527f536166654d6174683a207375627472616374696f6e206f766572666c6f770000604082015260600190565b6020808252601a908201527f536166654d6174683a206469766973696f6e206279207a65726f000000000000604082015260600190565b60208082526021908201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6040820152607760f81b606082015260800190565b60208082526041908201527f5265666c6563746976655374616b653a20756e7374616b6520616d6f756e742060408201527f69732067726561746572207468616e20746f74616c2075736572207374616b656060820152607360f81b608082015260a00190565b6020808252604e908201527f5265666c6563746976655374616b653a20496e76616c69642073746174652e2060408201527f5374616b696e67207368617265732065786973742c20627574206e6f2073746160608201526d6b696e6720746f6b656e7320646f60901b608082015260a00190565b6020808252602a908201527f5265666c6563746976655374616b653a205374616b6520616d6f756e74206973604082015269081d1bdbc81cdb585b1b60b21b606082015260800190565b60208082526034908201527f5265666c6563746976655374616b653a207472616e73666572206f7574206f66604082015273081cdd185ada5b99c81c1bdbdb0819985a5b195960621b606082015260800190565b60208082526034908201527f5265666c6563746976655374616b653a20556e61626c6520746f20756e7374616040820152731ad948185b5bdd5b9d081d1a1a5cc81cdb585b1b60621b606082015260800190565b6020808252601f908201527f5265656e7472616e637947756172643a207265656e7472616e742063616c6c00604082015260600190565b60208082526027908201527f5265666c6563746976655374616b653a20756e7374616b6520616d6f756e74206040820152666973207a65726f60c81b606082015260800190565b60208082526032908201527f5265666c6563746976655374616b653a207472616e7366657220696e746f20736040820152711d185ada5b99c81c1bdbdb0819985a5b195960721b606082015260800190565b81518152602080830151908201526040918201519181019190915260600190565b90815260200190565b918252602082015260606040820181905260009082015260800190565b6001600160a01b03811681146118f157600080fd5b5056fea264697066735822122050b419da6189a8577634dfeb5b6c8c0ab9e54812116e0654f12fb4625d7707be64736f6c63430006020033608060405234801561001057600080fd5b5060405161062638038061062683398101604081905261002f916100b5565b60006100426001600160e01b036100b116565b600080546001600160a01b0319166001600160a01b0383169081178255604051929350917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600180546001600160a01b0319166001600160a01b03929092169190911790556100e3565b3390565b6000602082840312156100c6578081fd5b81516001600160a01b03811681146100dc578182fd5b9392505050565b610534806100f26000396000f3fe608060405234801561001057600080fd5b50600436106100625760003560e01c8063715018a6146100675780638da5cb5b14610071578063a9059cbb1461008f578063b69ef8a8146100af578063f2fde38b146100c4578063fc0c546a146100d7575b600080fd5b61006f6100df565b005b610079610171565b6040516100869190610442565b60405180910390f35b6100a261009d3660046103d9565b610180565b604051610086919061046f565b6100b761024e565b60405161008691906104f5565b61006f6100d23660046103be565b6102d4565b610079610394565b6100e76103a3565b6001600160a01b03166100f8610171565b6001600160a01b0316146101275760405162461bcd60e51b815260040161011e906104c0565b60405180910390fd5b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b031690565b600061018a6103a3565b6001600160a01b031661019b610171565b6001600160a01b0316146101c15760405162461bcd60e51b815260040161011e906104c0565b60015460405163a9059cbb60e01b81526001600160a01b039091169063a9059cbb906101f39086908690600401610456565b602060405180830381600087803b15801561020d57600080fd5b505af1158015610221573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506102459190810190610403565b90505b92915050565b6001546040516370a0823160e01b81526000916001600160a01b0316906370a082319061027f903090600401610442565b60206040518083038186803b15801561029757600080fd5b505afa1580156102ab573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506102cf919081019061042a565b905090565b6102dc6103a3565b6001600160a01b03166102ed610171565b6001600160a01b0316146103135760405162461bcd60e51b815260040161011e906104c0565b6001600160a01b0381166103395760405162461bcd60e51b815260040161011e9061047a565b600080546040516001600160a01b03808516939216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a3600080546001600160a01b0319166001600160a01b0392909216919091179055565b6001546001600160a01b031681565b3390565b80356001600160a01b038116811461024857600080fd5b6000602082840312156103cf578081fd5b61024583836103a7565b600080604083850312156103eb578081fd5b6103f584846103a7565b946020939093013593505050565b600060208284031215610414578081fd5b81518015158114610423578182fd5b9392505050565b60006020828403121561043b578081fd5b5051919050565b6001600160a01b0391909116815260200190565b6001600160a01b03929092168252602082015260400190565b901515815260200190565b60208082526026908201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160408201526564647265737360d01b606082015260800190565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b9081526020019056fea264697066735822122088a6ae68f55646fc5af5ca4cefc818f2665ab7bbf32135085fd5bc4abbb027a164736f6c6343000602003300000000000000000000000048be867b240d2ffaff69e0746130f2c027d8d3d200000000000000000000000048be867b240d2ffaff69e0746130f2c027d8d3d2000000000000000000000000c3d967b588bf53cea1f791246965d4f7db0c24ea0000000000000000000000000000000000000000000000000000000000000014000000000000000000000000000000000000000000000000000000000076a70000000000000000000000000000000000000000000000000000000000000f4240000000000000000000000000000000000000000000000000000000000013c680

0x608060405234801561001057600080fd5b506004361061014d5760003560e01c8063817b1cd2116100c3578063a694fc3a1161007c578063a694fc3a1461025b578063a779d08014610270578063b68e204c14610278578063d85d7f5b14610280578063f968f49314610288578063fc0c546a146102905761014d565b8063817b1cd2146101fb578063842e298114610203578063897cf0211461022357806399044f7c1461022b5780639f9106d11461024b578063a5be655c146102535761014d565b806338b45fde1161011557806338b45fde146101c05780633f90916a146101c85780634b341aed146101d0578063561dae91146101e357806370c6a17e146101eb5780637c6aa6f4146101f35761014d565b80631bef5c6a146101525780631dc27fde1461017057806322c12b84146101785780632bbf532a1461018d5780632e17de78146101ad575b600080fd5b61015a610298565b60405161016791906118b6565b60405180910390f35b61015a61029e565b6101806102a3565b60405161016791906112ed565b6101a061019b366004611265565b610325565b604051610167919061138d565b61015a6101bb3660046112bd565b610407565b61015a61045c565b61015a610462565b61015a6101de366004611265565b6104df565b61015a61053c565b61015a61058f565b61015a610595565b61015a61059b565b610216610211366004611265565b6105e0565b604051610167919061133e565b61015a610666565b61023e610239366004611265565b61066c565b6040516101679190611895565b6101806106bf565b61015a610704565b61026e6102693660046112bd565b61070a565b005b61015a610a00565b610180610a45565b61015a610a54565b61026e610a75565b610180610af0565b60065481565b600281565b60025460408051637e062a3560e11b815290516000926001600160a01b03169163fc0c546a916004808301926020929190829003018186803b1580156102e857600080fd5b505afa1580156102fc573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061032091908101906112a1565b905090565b6000610330826104df565b61033c57506000610402565b6001600160a01b0382166000908152600c60209081526040808320805482518185028101850190935280835260609492939192909184015b828210156103ba57838290600052602060002090600202016040518060400160405290816000820154815260200160018201548152505081526020019060010190610374565b5050505090506103c861122a565b816001835103815181106103d857fe5b602002602001015190506006546103fc826020015142610afa90919063ffffffff16565b11925050505b919050565b6000600260005414156104355760405162461bcd60e51b815260040161042c906117c5565b60405180910390fd5b6002600055610442610b22565b50505050505061045182610c15565b600160005592915050565b60045481565b600354604080516327f05e8f60e11b815290516000926001600160a01b031691634fe0bd1e916004808301926020929190829003018186803b1580156104a757600080fd5b505afa1580156104bb573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061032091908101906112d5565b600080600754116104f1576000610536565b6007546001600160a01b0383166000908152600b6020526040902054610536919061052a9061051e61059b565b9063ffffffff6110b316565b9063ffffffff6110f416565b92915050565b6000600260005414156105615760405162461bcd60e51b815260040161042c906117c5565b600260005561056e610b22565b505050505050610585610580336104df565b610c15565b9050600160005590565b60075481565b60055481565b600154604080516316d3df1560e31b815290516000926001600160a01b03169163b69ef8a8916004808301926020929190829003018186803b1580156104a757600080fd5b6001600160a01b0381166000908152600c602090815260408083208054825181850281018501909352808352606094859484015b8282101561065a57838290600052602060002090600202016040518060400160405290816000820154815260200160018201548152505081526020019060010190610614565b50929695505050505050565b60095481565b610674611244565b61067c611244565b50506001600160a01b03166000908152600b6020908152604091829020825160608101845281548152600182015492810192909252600201549181019190915290565b60015460408051637e062a3560e11b815290516000926001600160a01b03169163fc0c546a916004808301926020929190829003018186803b1580156102e857600080fd5b60085481565b6002600054141561072d5760405162461bcd60e51b815260040161042c906117c5565b60026000558061074f5760405162461bcd60e51b815260040161042c90611457565b60075415806107655750600061076361059b565b115b6107815760405162461bcd60e51b815260040161042c9061165f565b600061078c82611126565b9050600080600754116107b257600a546107ad90839063ffffffff6110b316565b6107d0565b6107d06107bd61059b565b60075461052a908563ffffffff6110b316565b9050600081116107f25760405162461bcd60e51b815260040161042c906116d3565b6107fa610b22565b5050336000908152600b6020526040902080549094506108259350915084905063ffffffff61116c16565b815542600282015561083561122a565b50604080518082018252838152426020808301918252336000908152600c8252938420805460018181018355918652919094208351600290920201908155905192019190915560075461088e908463ffffffff61116c16565b60075560015460408051637e062a3560e11b815290516001600160a01b039092169163fc0c546a91600480820192602092909190829003018186803b1580156108d657600080fd5b505afa1580156108ea573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061090e91908101906112a1565b6001546040516323b872dd60e01b81526001600160a01b03928316926323b872dd92610944923392909116908a90600401611301565b602060405180830381600087803b15801561095e57600080fd5b505af1158015610972573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506109969190810190611281565b6109b25760405162461bcd60e51b815260040161042c90611843565b337fc65e53b88159e7d2c0fc12a0600072e28ae53ff73b4c1715369c30f160935142856109de836104df565b6040516109ec9291906118bf565b60405180910390a250506001600055505050565b600254604080516316d3df1560e31b815290516000926001600160a01b03169163b69ef8a8916004808301926020929190829003018186803b1580156104a757600080fd5b6002546001600160a01b031690565b6000610320610a61610462565b610a69610a00565b9063ffffffff61116c16565b6000610a7f610462565b1115610aee57600360009054906101000a90046001600160a01b03166001600160a01b03166386d1a69f6040518163ffffffff1660e01b8152600401600060405180830381600087803b158015610ad557600080fd5b505af1158015610ae9573d6000803e3d6000fd5b505050505b565b60006103206106bf565b600082821115610b1c5760405162461bcd60e51b815260040161042c90611549565b50900390565b600080600080600080610b33610a75565b6000610b5060075461051e60095442610afa90919063ffffffff16565b600854909150610b66908263ffffffff61116c16565b600855426009819055336000908152600b60205260408120805460028201549193610b9b9261051e919063ffffffff610afa16565b6001830154909150610bb3908263ffffffff61116c16565b6001830155426002830155600854600090610bcf576000610be5565b610be560085461052a856001015461051e610a00565b9050610bef610462565b610bf7610a00565b600190940154600854919c949b509950975095504294509092505050565b6000808211610c365760405162461bcd60e51b815260040161042c906117fc565b81610c40336104df565b1015610c5e5760405162461bcd60e51b815260040161042c906115f8565b6000610c7e610c6b61059b565b60075461052a908663ffffffff6110b316565b905060008111610ca05760405162461bcd60e51b815260040161042c90611771565b336000908152600b60209081526040808320600c909252909120610cc261122a565b815482906000198101908110610cd457fe5b600091825260209182902060408051808201909152600290920201805482526001015491810182905260065490925090610d1590429063ffffffff610afa16565b11610d325760405162461bcd60e51b815260040161042c90611398565b600084815b8115610e5257845460009086906000198101908110610d5257fe5b906000526020600020906002020190506000610d7b826001015442610afa90919063ffffffff16565b82549091506000908510610dff578254610d9b908363ffffffff6110b316565b9050610da8848284611191565b9350610dba868263ffffffff61116c16565b8354909650610dd090869063ffffffff610afa16565b945087805480610ddc57fe5b600082815260208120600260001990930192830201818155600101559055610e4a565b610e0f858363ffffffff6110b316565b9050610e1c848284611191565b9350610e2e868263ffffffff61116c16565b8354909650610e43908663ffffffff610afa16565b8355600094505b505050610d37565b6001860154610e67908463ffffffff610afa16565b60018701558554610e7e908863ffffffff610afa16565b8655600854610e93908463ffffffff610afa16565b600855600754610ea9908863ffffffff610afa16565b60075560015460405163a9059cbb60e01b81526001600160a01b039091169063a9059cbb90610ede9033908d90600401611325565b602060405180830381600087803b158015610ef857600080fd5b505af1158015610f0c573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250610f309190810190611281565b610f4c5760405162461bcd60e51b815260040161042c9061171d565b8015610ff25760025460405163a9059cbb60e01b81526001600160a01b039091169063a9059cbb90610f849033908590600401611325565b602060405180830381600087803b158015610f9e57600080fd5b505af1158015610fb2573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250610fd69190810190611281565b610ff25760405162461bcd60e51b815260040161042c90611402565b337faf01bfc8475df280aca00b578c4a948e6d95700f0db8c13365240f7f973c87548a61101e836104df565b60405161102c9291906118bf565b60405180910390a2336001600160a01b03167f896e034966eaaf1adc54acc0f257056febbd300c9e47182cf761982cf1f5e4308260405161106d91906118b6565b60405180910390a2600754158061108b5750600061108961059b565b115b6110a75760405162461bcd60e51b815260040161042c906114d3565b98975050505050505050565b6000826110c257506000610536565b828202828482816110cf57fe5b04146110ed5760405162461bcd60e51b815260040161042c906115b7565b9392505050565b60008082116111155760405162461bcd60e51b815260040161042c90611580565b81838161111e57fe5b049392505050565b60008061113a8360c863ffffffff6110f416565b9050600061114f82600263ffffffff6110b316565b90506000611163858363ffffffff610afa16565b95945050505050565b6000828201838110156110ed5760405162461bcd60e51b815260040161042c9061149c565b6000806111a660085461052a8661051e610a00565b905060055483106111c9576111c1858263ffffffff61116c16565b9150506110ed565b60006002600a0a9050600061120d8261052a8561051e6111fe60055461052a8c61051e6004548c610afa90919063ffffffff16565b6004549063ffffffff61116c16565b905061121f878263ffffffff61116c16565b979650505050505050565b604051806040016040528060008152602001600081525090565b60405180606001604052806000815260200160008152602001600081525090565b600060208284031215611276578081fd5b81356110ed816118dc565b600060208284031215611292578081fd5b815180151581146110ed578182fd5b6000602082840312156112b2578081fd5b81516110ed816118dc565b6000602082840312156112ce578081fd5b5035919050565b6000602082840312156112e6578081fd5b5051919050565b6001600160a01b0391909116815260200190565b6001600160a01b039384168152919092166020820152604081019190915260600190565b6001600160a01b03929092168252602082015260400190565b602080825282518282018190526000919060409081850190868401855b828110156113805781518051855286015186850152928401929085019060010161135b565b5091979650505050505050565b901515815260200190565b60208082526044908201527f5265666c6563746976655374616b653a2043616e6e6f7420756e7374616b652060408201527f6265666f726520746865206c6f636b757020706572696f6420686173206578706060820152631a5c995960e21b608082015260a00190565b60208082526035908201527f5265666c6563746976655374616b653a207472616e73666572206f7574206f66604082015274081d5b9b1bd8dad959081c1bdbdb0819985a5b1959605a1b606082015260800190565b60208082526025908201527f5265666c6563746976655374616b653a207374616b6520616d6f756e74206973604082015264207a65726f60d81b606082015260800190565b6020808252601b908201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604082015260600190565b60208082526050908201527f5265666c6563746976655374616b653a204572726f7220756e7374616b696e6760408201527f2e205374616b696e67207368617265732065786973742c20627574206e6f207360608201526f74616b696e6720746f6b656e7320646f60801b608082015260a00190565b6020808252601e908201527f536166654d6174683a207375627472616374696f6e206f766572666c6f770000604082015260600190565b6020808252601a908201527f536166654d6174683a206469766973696f6e206279207a65726f000000000000604082015260600190565b60208082526021908201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6040820152607760f81b606082015260800190565b60208082526041908201527f5265666c6563746976655374616b653a20756e7374616b6520616d6f756e742060408201527f69732067726561746572207468616e20746f74616c2075736572207374616b656060820152607360f81b608082015260a00190565b6020808252604e908201527f5265666c6563746976655374616b653a20496e76616c69642073746174652e2060408201527f5374616b696e67207368617265732065786973742c20627574206e6f2073746160608201526d6b696e6720746f6b656e7320646f60901b608082015260a00190565b6020808252602a908201527f5265666c6563746976655374616b653a205374616b6520616d6f756e74206973604082015269081d1bdbc81cdb585b1b60b21b606082015260800190565b60208082526034908201527f5265666c6563746976655374616b653a207472616e73666572206f7574206f66604082015273081cdd185ada5b99c81c1bdbdb0819985a5b195960621b606082015260800190565b60208082526034908201527f5265666c6563746976655374616b653a20556e61626c6520746f20756e7374616040820152731ad948185b5bdd5b9d081d1a1a5cc81cdb585b1b60621b606082015260800190565b6020808252601f908201527f5265656e7472616e637947756172643a207265656e7472616e742063616c6c00604082015260600190565b60208082526027908201527f5265666c6563746976655374616b653a20756e7374616b6520616d6f756e74206040820152666973207a65726f60c81b606082015260800190565b60208082526032908201527f5265666c6563746976655374616b653a207472616e7366657220696e746f20736040820152711d185ada5b99c81c1bdbdb0819985a5b195960721b606082015260800190565b81518152602080830151908201526040918201519181019190915260600190565b90815260200190565b918252602082015260606040820181905260009082015260800190565b6001600160a01b03811681146118f157600080fd5b5056fea264697066735822122050b419da6189a8577634dfeb5b6c8c0ab9e54812116e0654f12fb4625d7707be64736f6c63430006020033

00000000000000000000000048be867b240d2ffaff69e0746130f2c027d8d3d200000000000000000000000048be867b240d2ffaff69e0746130f2c027d8d3d2000000000000000000000000c3d967b588bf53cea1f791246965d4f7db0c24ea0000000000000000000000000000000000000000000000000000000000000014000000000000000000000000000000000000000000000000000000000076a70000000000000000000000000000000000000000000000000000000000000f4240000000000000000000000000000000000000000000000000000000000013c680

-----Decoded View---------------
Arg [0] : stakingToken (address): 0x48bE867B240D2fFafF69e0746130F2c027d8d3d2
Arg [1] : distributionToken (address): 0x48bE867B240D2fFafF69e0746130F2c027d8d3d2
Arg [2] : reflectiveTreasury (address): 0xc3d967B588bF53cEa1f791246965D4F7db0C24eA
Arg [3] : startBonus_ (uint256): 20
Arg [4] : bonusPeriodSec_ (uint256): 7776000
Arg [5] : initialSharesPerToken (uint256): 1000000
Arg [6] : lockupSec_ (uint256): 1296000

-----Encoded View---------------
7 Constructor Arguments found :
Arg [0] : 00000000000000000000000048be867b240d2ffaff69e0746130f2c027d8d3d2
Arg [1] : 00000000000000000000000048be867b240d2ffaff69e0746130f2c027d8d3d2
Arg [2] : 000000000000000000000000c3d967b588bf53cea1f791246965d4f7db0c24ea
Arg [3] : 0000000000000000000000000000000000000000000000000000000000000014
Arg [4] : 000000000000000000000000000000000000000000000000000000000076a700
Arg [5] : 00000000000000000000000000000000000000000000000000000000000f4240
Arg [6] : 000000000000000000000000000000000000000000000000000000000013c680

17679:12867:0:-:0;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17679:12867:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18381:28;;;:::i;:::-;;;;;;;;;;;;;;;;18256:42;;;:::i;20913:110::-;;;:::i;:::-;;;;;;;;29716:353;;;;;;;;;:::i;:::-;;;;;;;;22858:144;;;;;;;;;:::i;18305:29::-;;;:::i;30077:116::-;;;:::i;27822:210::-;;;;;;;;;:::i;23010:153::-;;;:::i;18418:37::-;;;:::i;18341:33::-;;;:::i;28040:101::-;;;:::i;27465:167::-;;;;;;;;;:::i;:::-;;;;;;;;18512:59;;;:::i;27640:174::-;;;;;;;;;:::i;:::-;;;;;;;;20803:102;;;:::i;18462:43::-;;;:::i;21031:1465::-;;;;;;;;;:::i;:::-;;30201:104;;;:::i;28258:106::-;;;:::i;30313:119::-;;;:::i;30440:103::-;;;:::i;28149:101::-;;;:::i;18381:28::-;;;;:::o;18256:42::-;18297:1;18256:42;:::o;20913:110::-;20994:13;;:21;;;-1:-1:-1;;;20994:21:0;;;;20968:6;;-1:-1:-1;;;;;20994:13:0;;:19;;:21;;;;;;;;;;;;;;:13;:21;;;5:2:-1;;;;30:1;27;20:12;5:2;20994:21:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;20994:21:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;20994:21:0;;;;;;;;;20987:28;;20913:110;:::o;29716:353::-;29776:4;29797:23;29812:7;29797:14;:23::i;:::-;29793:46;;-1:-1:-1;29834:5:0;29827:12;;29793:46;-1:-1:-1;;;;;29881:20:0;;;;;;:11;:20;;;;;;;;29850:51;;;;;;;;;;;;;;;;;:28;;:51;;29881:20;;29850:51;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;29912:28;;:::i;:::-;29943:13;29980:1;29957:13;:20;:24;29943:39;;;;;;;;;;;;;;29912:70;;30052:9;;30000:49;30020:15;:28;;;30000:15;:19;;:49;;;;:::i;:::-;:61;29993:68;;;;29716:353;;;;:::o;22858:144::-;22922:7;9294:1;9900:7;;:19;;9892:63;;;;-1:-1:-1;;;9892:63:0;;;;;;;;;;;;;;;;;9294:1;10033:7;:18;22942::::1;:16;:18::i;:::-;;;;;;;22978:16;22987:6;22978:8;:16::i;:::-;9250:1:::0;10212:7;:22;22971:23;22858:144;-1:-1:-1;;22858:144:0:o;18305:29::-;;;;:::o;30077:116::-;30149:19;;:36;;;-1:-1:-1;;;30149:36:0;;;;30122:7;;-1:-1:-1;;;;;30149:19:0;;:34;;:36;;;;;;;;;;;;;;:19;:36;;;5:2:-1;;;;30:1;27;20:12;5:2;30149:36:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;30149:36:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;30149:36:0;;;;;;;;27822:210;27881:7;27929:1;27908:18;;:22;:116;;28023:1;27908:116;;;28001:18;;-1:-1:-1;;;;;27964:17:0;;;;;;:11;:17;;;;;:31;27946:74;;28001:18;27946:50;;:13;:11;:13::i;:::-;:17;:50;:17;:50;:::i;:::-;:54;:74;:54;:74;:::i;:::-;27901:123;27822:210;-1:-1:-1;;27822:210:0:o;23010:153::-;23063:7;9294:1;9900:7;;:19;;9892:63;;;;-1:-1:-1;;;9892:63:0;;;;;;;;;9294:1;10033:7;:18;23083::::1;:16;:18::i;:::-;;;;;;;23119:36;23128:26;23143:10;23128:14;:26::i;:::-;23119:8;:36::i;:::-;23112:43;;9250:1:::0;10212:7;:22;23010:153;:::o;18418:37::-;;;;:::o;18341:33::-;;;;:::o;28040:101::-;28111:12;;:22;;;-1:-1:-1;;;28111:22:0;;;;28084:7;;-1:-1:-1;;;;;28111:12:0;;:20;;:22;;;;;;;;;;;;;;:12;:22;;;5:2:-1;;;;30:1;27;20:12;27465:167:0;-1:-1:-1;;;;;27579:17:0;;;;;;:11;:17;;;;;;;;27551:45;;;;;;;;;;;;;;;;;27525:14;;;;27551:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;27551:45:0;;27465:167;-1:-1:-1;;;;;;27465:167:0:o;18512:59::-;;;;:::o;27640:174::-;27700:17;;:::i;:::-;27730:28;;:::i;:::-;-1:-1:-1;;;;;;;27761:17:0;;;;;:11;:17;;;;;;;;;27730:48;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;27640:174::o;20803:102::-;20877:12;;:20;;;-1:-1:-1;;;20877:20:0;;;;20851:6;;-1:-1:-1;;;;;20877:12:0;;:18;;:20;;;;;;;;;;;;;;:12;:20;;;5:2:-1;;;;30:1;27;20:12;18462:43:0;;;;:::o;21031:1465::-;9294:1;9900:7;;:19;;9892:63;;;;-1:-1:-1;;;9892:63:0;;;;;;;;;9294:1;10033:7;:18;21103:10;21095:60:::1;;;;-1:-1:-1::0;;;21095:60:0::1;;;;;;;;;21174:18;::::0;:23;;:44:::1;;;21217:1;21201:13;:11;:13::i;:::-;:17;21174:44;21166:152;;;;-1:-1:-1::0;;;21166:152:0::1;;;;;;;;;21379:22;21404:17;21414:6;21404:9;:17::i;:::-;21379:42;;21434:27;21486:1:::0;21465:18:::1;;:22;21464:155;;21596:22;::::0;21577:42:::1;::::0;:14;;:42:::1;:18;:42;:::i;:::-;21464:155;;;21504:57;21547:13;:11;:13::i;:::-;21504:18;::::0;:38:::1;::::0;21527:14;21504:38:::1;:22;:38;:::i;:57::-;21434:185;;21660:1;21638:19;:23;21630:78;;;;-1:-1:-1::0;;;21630:78:0::1;;;;;;;;;21721:18;:16;:18::i;:::-;-1:-1:-1::0;;21823:10:0::1;21783:25;21811:23:::0;;;:11:::1;:23;::::0;;;;21868:20;;21811:23;;-1:-1:-1;21868:45:0::1;::::0;-1:-1:-1;21868:20:0;-1:-1:-1;21893:19:0;;-1:-1:-1;21868:45:0::1;:24;:45;:::i;:::-;21845:68:::0;;21960:15:::1;21924:33;::::0;::::1;:51:::0;21988:21:::1;;:::i;:::-;-1:-1:-1::0;22012:43:0::1;::::0;;;;::::1;::::0;;;;;22039:15:::1;22012:43;::::0;;::::1;::::0;;;22078:10:::1;-1:-1:-1::0;22066:23:0;;;:11:::1;:23:::0;;;;;27:10:-1;;39:1:::1;23:18:::0;;::::1;45:23:::0;;22066:38:0;;;;;;;;;::::1;::::0;;::::1;;::::0;;;;;;::::1;::::0;;;;22171:18:::1;::::0;:43:::1;::::0;22018:19;22171:43:::1;:22;:43;:::i;:::-;22150:18;:64:::0;22260:12:::1;::::0;:20:::1;::::0;;-1:-1:-1;;;22260:20:0;;;;-1:-1:-1;;;;;22260:12:0;;::::1;::::0;:18:::1;::::0;:20:::1;::::0;;::::1;::::0;::::1;::::0;;;;;;;;;:12;:20;::::1;;5:2:-1::0;::::1;;;30:1;27::::0;20:12:::1;5:2;22260:20:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;22260:20:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;22260:20:0;;;;;;;;;22314:12;::::0;22260:76:::1;::::0;-1:-1:-1;;;22260:76:0;;-1:-1:-1;;;;;22260:33:0;;::::1;::::0;::::1;::::0;:76:::1;::::0;22294:10:::1;::::0;22314:12;;::::1;::::0;22329:6;;22260:76:::1;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;22260:76:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;22260:76:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;22260:76:0;;;;;;;;;22252:152;;;;-1:-1:-1::0;;;22252:152:0::1;;;;;;;;;22429:10;22422:66;22441:14:::0;22457:26:::1;22429:10:::0;22457:14:::1;:26::i;:::-;22422:66;;;;;;;;;;;;;;;;-1:-1:-1::0;;9250:1:0;10212:7;:22;-1:-1:-1;;;21031:1465:0:o;30201:104::-;30274:13;;:23;;;-1:-1:-1;;;30274:23:0;;;;30247:7;;-1:-1:-1;;;;;30274:13:0;;:21;;:23;;;;;;;;;;;;;;:13;:23;;;5:2:-1;;;;30:1;27;20:12;28258:106:0;28342:13;;-1:-1:-1;;;;;28342:13:0;28258:106;:::o;30313:119::-;30362:7;30389:35;30409:14;:12;:14::i;:::-;30389:15;:13;:15::i;:::-;:19;:35;:19;:35;:::i;30440:103::-;30503:1;30486:14;:12;:14::i;:::-;:18;30482:53;;;30506:19;;;;;;;;;-1:-1:-1;;;;;30506:19:0;-1:-1:-1;;;;;30506:27:0;;:29;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;30506:29:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;30506:29:0;;;;30482:53;30440:103::o;28149:101::-;28189:7;28224:17;:15;:17::i;3298:158::-;3356:7;3389:1;3384;:6;;3376:49;;;;-1:-1:-1;;;3376:49:0;;;;;;;;;-1:-1:-1;3443:5:0;;;3298:158::o;28372:1336::-;28427:7;28436;28445;28454;28463;28472;28494:14;:12;:14::i;:::-;28551:30;28597:99;28677:18;;28597:61;28631:26;;28597:15;:33;;:61;;;;:::i;:99::-;28734:24;;28551:145;;-1:-1:-1;28734:52:0;;28551:145;28734:52;:28;:52;:::i;:::-;28707:24;:79;28826:15;28797:26;:44;;;28922:10;-1:-1:-1;28910:23:0;;;:11;:23;;;;;29081:20;;29028:33;;;;28910:23;;28994:108;;:68;;28826:15;28994:68;:33;:68;:::i;:108::-;29155:26;;;;28944:158;;-1:-1:-1;29155:72:0;;28944:158;29155:72;:44;:72;:::i;:::-;29113:26;;;:114;29274:15;29238:33;;;:51;29330:24;;-1:-1:-1;;29329:140:0;;29468:1;29329:140;;;29375:77;29427:24;;29375:47;29395:6;:26;;;29375:15;:13;:15::i;:77::-;29302:167;;29504:14;:12;:14::i;:::-;29533:15;:13;:15::i;:::-;29563:26;;;;;29604:24;;29482:218;;;;-1:-1:-1;29563:26:0;-1:-1:-1;29604:24:0;-1:-1:-1;29643:16:0;-1:-1:-1;29674:15:0;;-1:-1:-1;28372:1336:0;;-1:-1:-1;;;28372:1336:0:o;23171:3471::-;23222:7;23278:1;23269:6;:10;23261:62;;;;-1:-1:-1;;;23261:62:0;;;;;;;;;23372:6;23342:26;23357:10;23342:14;:26::i;:::-;:36;;23334:127;;;;-1:-1:-1;;;23334:127:0;;;;;;;;;23472:27;23502:49;23537:13;:11;:13::i;:::-;23502:18;;:30;;23525:6;23502:30;:22;:30;:::i;:49::-;23472:79;;23592:1;23570:19;:23;23562:88;;;;-1:-1:-1;;;23562:88:0;;;;;;;;;23734:10;23694:25;23722:23;;;:11;:23;;;;;;;;23788:11;:23;;;;;;23824:28;;:::i;:::-;23869:20;;23855:13;;-1:-1:-1;;23869:24:0;;;23855:39;;;;;;;;;;;;;;;23824:70;;;;;;;;;23855:39;;;;;23824:70;;;;;;;;;;;;;23965:9;;23824:70;;-1:-1:-1;23965:9:0;23913:49;;:15;;:49;:19;:49;:::i;:::-;:61;23905:142;;;;-1:-1:-1;;;23905:142:0;;;;;;;;;24128:33;24203:19;24128:33;24268:1307;24275:20;;24268:1307;;24352:20;;24312:23;;24338:13;;-1:-1:-1;;24352:24:0;;;24338:39;;;;;;;;;;;;;;;;24312:65;;24392:20;24415:43;24435:9;:22;;;24415:15;:19;;:43;;;;:::i;:::-;24532:23;;24392:66;;-1:-1:-1;24473:36:0;;24532:43;-1:-1:-1;24528:1036:0;;24673:23;;:41;;24701:12;24673:41;:27;:41;:::i;:::-;24642:72;;24748:74;24765:12;24779:28;24809:12;24748:16;:74::i;:::-;24733:89;-1:-1:-1;24869:59:0;:25;24899:28;24869:59;:29;:59;:::i;:::-;24987:23;;24841:87;;-1:-1:-1;24966:45:0;;:16;;:45;:20;:45;:::i;:::-;24947:64;;25030:13;:19;;;;;;;;;;;;;;;-1:-1:-1;;25030:19:0;;;;;;;;;;;;;;;24528:1036;;;25171:34;:16;25192:12;25171:34;:20;:34;:::i;:::-;25140:65;;25239:74;25256:12;25270:28;25300:12;25239:16;:74::i;:::-;25224:89;-1:-1:-1;25360:59:0;:25;25390:28;25360:59;:29;:59;:::i;:::-;25464:23;;25332:87;;-1:-1:-1;25464:45:0;;25492:16;25464:45;:27;:45;:::i;:::-;25438:71;;:23;;-1:-1:-1;24528:1036:0;24268:1307;;;;;;25614:26;;;;:57;;25645:25;25614:57;:30;:57;:::i;:::-;25585:26;;;:86;25705:20;;:45;;25730:19;25705:45;:24;:45;:::i;:::-;25682:68;;25823:24;;:55;;25852:25;25823:55;:28;:55;:::i;:::-;25796:24;:82;25910:18;;:43;;25933:19;25910:43;:22;:43;:::i;:::-;25889:18;:64;25999:12;;:41;;-1:-1:-1;;;25999:41:0;;-1:-1:-1;;;;;25999:12:0;;;;:21;;:41;;26021:10;;26033:6;;25999:41;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;25999:41:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;25999:41:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;25999:41:0;;;;;;;;;25991:119;;;;-1:-1:-1;;;25991:119:0;;;;;;;;;26127:16;;26123:180;;26168:13;;:48;;-1:-1:-1;;;26168:48:0;;-1:-1:-1;;;;;26168:13:0;;;;:22;;:48;;26191:10;;26203:12;;26168:48;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;26168:48:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;26168:48:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;26168:48:0;;;;;;;;;26160:131;;;;-1:-1:-1;;;26160:131:0;;;;;;;;;26331:10;26322:60;26343:6;26351:26;26331:10;26351:14;:26::i;:::-;26322:60;;;;;;;;;;;;;;;;26412:10;-1:-1:-1;;;;;26398:39:0;;26424:12;26398:39;;;;;;;;;;;;;;;26458:18;;:23;;:44;;;26501:1;26485:13;:11;:13::i;:::-;:17;26458:44;26450:154;;;;-1:-1:-1;;;26450:154:0;;;;;;;;;26622:12;23171:3471;-1:-1:-1;;;;;;;;23171:3471:0:o;3715:220::-;3773:7;3797:6;3793:20;;-1:-1:-1;3812:1:0;3805:8;;3793:20;3836:5;;;3840:1;3836;:5;:1;3860:5;;;;;:10;3852:56;;;;-1:-1:-1;;;3852:56:0;;;;;;;;;3926:1;3715:220;-1:-1:-1;;;3715:220:0:o;4413:153::-;4471:7;4503:1;4499;:5;4491:44;;;;-1:-1:-1;;;4491:44:0;;;;;;;;;4557:1;4553;:5;;;;;;;4413:153;-1:-1:-1;;;4413:153:0:o;22594:256::-;22660:7;;22699:15;:6;22710:3;22699:15;:10;:15;:::i;:::-;22680:34;-1:-1:-1;22725:12:0;22740:15;22680:34;22753:1;22740:15;:12;:15;:::i;:::-;22725:30;-1:-1:-1;22766:23:0;22792:16;:6;22725:30;22792:16;:10;:16;:::i;:::-;22766:42;22594:256;-1:-1:-1;;;;;22594:256:0:o;2836:179::-;2894:7;2926:5;;;2950:6;;;;2942:46;;;;-1:-1:-1;;;2942:46:0;;;;;;;;26650:807;26844:7;26866:23;26905:98;26978:24;;26905:54;26939:19;26905:15;:13;:15::i;:98::-;26866:137;;27036:14;;27020:12;:30;27016:110;;27074:40;:19;27098:15;27074:40;:23;:40;:::i;:::-;27067:47;;;;;27016:110;27138:21;18297:1;27162:2;:18;27138:42;;27191:21;27228:165;27379:13;27228:132;27344:15;27228:97;27257:67;27309:14;;27257:47;27291:12;27257:29;27275:10;;27257:13;:17;;:29;;;;:::i;:67::-;27228:10;;;:97;:28;:97;:::i;:165::-;27191:202;-1:-1:-1;27411:38:0;:19;27191:202;27411:38;:23;:38;:::i;:::-;27404:45;26650:807;-1:-1:-1;;;;;;;26650:807:0:o;17679:12867::-;;;;;;;;;;;;;;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;:::o;724:241:-1:-;;828:2;816:9;807:7;803:23;799:32;796:2;;;-1:-1;;834:12;796:2;85:6;72:20;97:33;124:5;97:33;;972:257;;1084:2;1072:9;1063:7;1059:23;1055:32;1052:2;;;-1:-1;;1090:12;1052:2;223:6;217:13;23999:5;22785:13;22778:21;23977:5;23974:32;23964:2;;-1:-1;;24010:12;1236:291;;1365:2;1353:9;1344:7;1340:23;1336:32;1333:2;;;-1:-1;;1371:12;1333:2;375:6;369:13;387:47;428:5;387:47;;1534:241;;1638:2;1626:9;1617:7;1613:23;1609:32;1606:2;;;-1:-1;;1644:12;1606:2;-1:-1;513:20;;1600:175;-1:-1;1600:175;1782:263;;1897:2;1885:9;1876:7;1872:23;1868:32;1865:2;;;-1:-1;;1903:12;1865:2;-1:-1;661:13;;1859:186;-1:-1;1859:186;11875:213;-1:-1;;;;;22985:54;;;;2530:37;;11993:2;11978:18;;11964:124;12095:451;-1:-1;;;;;22985:54;;;2389:58;;22985:54;;;;12449:2;12434:18;;2530:37;12532:2;12517:18;;11706:37;;;;12277:2;12262:18;;12248:298;12553:340;-1:-1;;;;;22985:54;;;;2389:58;;12879:2;12864:18;;11706:37;12707:2;12692:18;;12678:215;12900:433;13104:2;13118:47;;;21899:12;;13089:18;;;22210:19;;;12900:433;;13104:2;22250:14;;;;;;21735;;;12900:433;3150:314;3175:6;3172:1;3169:13;3150:314;;;3236:13;;10599:23;;11706:37;;10767:16;;10761:23;10838:14;;;11706:37;2282:14;;;;22047;;;;3197:1;3190:9;3150:314;;;-1:-1;13171:152;;13075:258;-1:-1;;;;;;;13075:258;13340:201;22785:13;;22778:21;3559:34;;13452:2;13437:18;;13423:118;13796:407;13987:2;14001:47;;;3991:2;13972:18;;;22210:19;4027:34;22250:14;;;4007:55;4096:34;4082:12;;;4075:56;-1:-1;;;4151:12;;;4144:28;4191:12;;;13958:245;14210:407;14401:2;14415:47;;;4442:2;14386:18;;;22210:19;4478:34;22250:14;;;4458:55;-1:-1;;;4533:12;;;4526:45;4590:12;;;14372:245;14624:407;14815:2;14829:47;;;4841:2;14800:18;;;22210:19;4877:34;22250:14;;;4857:55;-1:-1;;;4932:12;;;4925:29;4973:12;;;14786:245;15038:407;15229:2;15243:47;;;5224:2;15214:18;;;22210:19;5260:29;22250:14;;;5240:50;5309:12;;;15200:245;15452:407;15643:2;15657:47;;;5560:2;15628:18;;;22210:19;5596:34;22250:14;;;5576:55;5665:34;5651:12;;;5644:56;-1:-1;;;5720:12;;;5713:40;5772:12;;;15614:245;15866:407;16057:2;16071:47;;;6023:2;16042:18;;;22210:19;6059:32;22250:14;;;6039:53;6111:12;;;16028:245;16280:407;16471:2;16485:47;;;6362:2;16456:18;;;22210:19;6398:28;22250:14;;;6378:49;6446:12;;;16442:245;16694:407;16885:2;16899:47;;;6697:2;16870:18;;;22210:19;6733:34;22250:14;;;6713:55;-1:-1;;;6788:12;;;6781:25;6825:12;;;16856:245;17108:407;17299:2;17313:47;;;7076:2;17284:18;;;22210:19;7112:34;22250:14;;;7092:55;7181:34;7167:12;;;7160:56;-1:-1;;;7236:12;;;7229:25;7273:12;;;17270:245;17522:407;17713:2;17727:47;;;7524:2;17698:18;;;22210:19;7560:34;22250:14;;;7540:55;7629:34;7615:12;;;7608:56;-1:-1;;;7684:12;;;7677:38;7734:12;;;17684:245;17936:407;18127:2;18141:47;;;7985:2;18112:18;;;22210:19;8021:34;22250:14;;;8001:55;-1:-1;;;8076:12;;;8069:34;8122:12;;;18098:245;18350:407;18541:2;18555:47;;;8373:2;18526:18;;;22210:19;8409:34;22250:14;;;8389:55;-1:-1;;;8464:12;;;8457:44;8520:12;;;18512:245;18764:407;18955:2;18969:47;;;9040:2;18940:18;;;22210:19;9076:34;22250:14;;;9056:55;-1:-1;;;9131:12;;;9124:44;9187:12;;;18926:245;19178:407;19369:2;19383:47;;;9438:2;19354:18;;;22210:19;9474:33;22250:14;;;9454:54;9527:12;;;19340:245;19592:407;19783:2;19797:47;;;9778:2;19768:18;;;22210:19;9814:34;22250:14;;;9794:55;-1:-1;;;9869:12;;;9862:31;9912:12;;;19754:245;20006:407;20197:2;20211:47;;;10163:2;20182:18;;;22210:19;10199:34;22250:14;;;10179:55;-1:-1;;;10254:12;;;10247:42;10308:12;;;20168:245;20420:321;11180:23;;11706:37;;11366:4;11355:16;;;11349:23;11426:14;;;11706:37;11542:4;11531:16;;;11525:23;11602:14;;;11706:37;;;;20592:2;20577:18;;20563:178;20748:213;11706:37;;;20866:2;20851:18;;20837:124;20968:627;11706:37;;;21378:2;21363:18;;11706:37;21214:2;21415;21400:18;;21393:48;;;20968:627;21199:18;;;22210:19;22250:14;;;21185:410;23794:117;-1:-1;;;;;22985:54;;23853:35;;23843:2;;23902:1;;23892:12;23843:2;23837:74;

ipfs://88a6ae68f55646fc5af5ca4cefc818f2665ab7bbf32135085fd5bc4abbb027a1