Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• 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, ...
• library SafeMath
•    - function add(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b, st ...
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b, st ...
•    - function mod(uint256 a, uint256 b)
•    - function mod(uint256 a, uint256 b, st ...
• library Address
•    - function isContract(address account)
•    - function toPayable(address account)
•    - function sendValue(address payable re ...
• library SafeERC20
•    - function safeTransfer(IERC20 token, a ...
•    - function safeTransferFrom(IERC20 toke ...
•    - function safeApprove(IERC20 token, ad ...
•    - function safeIncreaseAllowance(IERC20 ...
•    - function safeDecreaseAllowance(IERC20 ...
•    - function callOptionalReturn(IERC20 to ...
•  contract Context
•    - function _msgSender()
•    - function _msgData()
•  contract Ownable is Context
•    - function owner()
•    - function isOwner()
•    - function renounceOwnership()
•    - function transferOwnership(address ne ...
•    - function _transferOwnership(address n ...
• interface IDelegation
•    - function clearDelegate(bytes32 _id)
•    - function setDelegate(bytes32 _id, add ...
•    - function delegation(address _address, ...
•  contract TokenVesting is Ownable *
•    - function beneficiary()
•    - function isBeneficiary()
•    - function delegateRegistry()
•    - function cliff()
•    - function start()
•    - function duration()
•    - function revocable()
•    - function released(address token)
•    - function revoked(address token)
•    - function release(IERC20 token)
•    - function revoke(IERC20 token)
•    - function _releasableAmount(IERC20 tok ...
•    - function _vestedAmount(IERC20 token)
•    - function changeBeneficiary(address ne ...
•    - function _changeBeneficiary(address n ...
•    - function changeDelegateRegistry(addre ...
•    - function _changeDelegateRegistry(addr ...
•    - function setDelegate(address _delegat ...
•    - function clearDelegate()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2021-12-19
*/

/**
 * compiler:  v0.5.6+commit.b259423e
*/

// File @openzeppelin/contracts/token/ERC20/[email protected]

pragma solidity 0.5.6;

/**
 * @dev Interface of the ERC20 standard as defined in the EIP. Does not include
 * the optional functions; to access them see {ERC20Detailed}.
 */
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 @openzeppelin/contracts/math/[email protected]

pragma solidity ^0.5.5;

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

        return c;
    }

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

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

        return c;
    }

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

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

        return c;
    }

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

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

        return c;
    }

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

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


// File @openzeppelin/contracts/utils/[email protected]

/**
 * @dev Collection of functions related to the address type
 */
library Address {
    /**
     * @dev Returns true if `account` is a contract.
     *
     * [IMPORTANT]
     * ====
     * It is unsafe to assume that an address for which this function returns
     * false is an externally-owned account (EOA) and not a contract.
     *
     * Among others, `isContract` will return false for the following 
     * types of addresses:
     *
     *  - an externally-owned account
     *  - a contract in construction
     *  - an address where a contract will be created
     *  - an address where a contract lived, but was destroyed
     * ====
     */
    function isContract(address account) internal view returns (bool) {
        // According to EIP-1052, 0x0 is the value returned for not-yet created accounts
        // and 0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470 is returned
        // for accounts without code, i.e. `keccak256('')`
        bytes32 codehash;
        bytes32 accountHash = 0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470;
        // solhint-disable-next-line no-inline-assembly
        assembly { codehash := extcodehash(account) }
        return (codehash != accountHash && codehash != 0x0);
    }

    /**
     * @dev Converts an `address` into `address payable`. Note that this is
     * simply a type cast: the actual underlying value is not changed.
     *
     * _Available since v2.4.0._
     */
    function toPayable(address account) internal pure returns (address payable) {
        return address(uint160(account));
    }

    /**
     * @dev Replacement for Solidity's `transfer`: sends `amount` wei to
     * `recipient`, forwarding all available gas and reverting on errors.
     *
     * https://eips.ethereum.org/EIPS/eip-1884[EIP1884] increases the gas cost
     * of certain opcodes, possibly making contracts go over the 2300 gas limit
     * imposed by `transfer`, making them unable to receive funds via
     * `transfer`. {sendValue} removes this limitation.
     *
     * https://diligence.consensys.net/posts/2019/09/stop-using-soliditys-transfer-now/[Learn more].
     *
     * IMPORTANT: because control is transferred to `recipient`, care must be
     * taken to not create reentrancy vulnerabilities. Consider using
     * {ReentrancyGuard} or the
     * https://solidity.readthedocs.io/en/v0.5.11/security-considerations.html#use-the-checks-effects-interactions-pattern[checks-effects-interactions pattern].
     *
     * _Available since v2.4.0._
     */
    function sendValue(address payable recipient, uint256 amount) internal {
        require(address(this).balance >= amount, "Address: insufficient balance");

        // solhint-disable-next-line avoid-call-value
        (bool success, ) = recipient.call.value(amount)("");
        require(success, "Address: unable to send value, recipient may have reverted");
    }
}


// File @openzeppelin/contracts/token/ERC20/[email protected]

/**
 * @title SafeERC20
 * @dev Wrappers around ERC20 operations that throw on failure (when the token
 * contract returns false). Tokens that return no value (and instead revert or
 * throw on failure) are also supported, non-reverting calls are assumed to be
 * successful.
 * To use this library you can add a `using SafeERC20 for ERC20;` statement to your contract,
 * which allows you to call the safe operations as `token.safeTransfer(...)`, etc.
 */
library SafeERC20 {
    using SafeMath for uint256;
    using Address for address;

    function safeTransfer(IERC20 token, address to, uint256 value) internal {
        callOptionalReturn(token, abi.encodeWithSelector(token.transfer.selector, to, value));
    }

    function safeTransferFrom(IERC20 token, address from, address to, uint256 value) internal {
        callOptionalReturn(token, abi.encodeWithSelector(token.transferFrom.selector, from, to, value));
    }

    function safeApprove(IERC20 token, address spender, uint256 value) internal {
        // safeApprove should only be called when setting an initial allowance,
        // or when resetting it to zero. To increase and decrease it, use
        // 'safeIncreaseAllowance' and 'safeDecreaseAllowance'
        // solhint-disable-next-line max-line-length
        require((value == 0) || (token.allowance(address(this), spender) == 0),
            "SafeERC20: approve from non-zero to non-zero allowance"
        );
        callOptionalReturn(token, abi.encodeWithSelector(token.approve.selector, spender, value));
    }

    function safeIncreaseAllowance(IERC20 token, address spender, uint256 value) internal {
        uint256 newAllowance = token.allowance(address(this), spender).add(value);
        callOptionalReturn(token, abi.encodeWithSelector(token.approve.selector, spender, newAllowance));
    }

    function safeDecreaseAllowance(IERC20 token, address spender, uint256 value) internal {
        uint256 newAllowance = token.allowance(address(this), spender).sub(value, "SafeERC20: decreased allowance below zero");
        callOptionalReturn(token, abi.encodeWithSelector(token.approve.selector, spender, newAllowance));
    }

    /**
     * @dev Imitates a Solidity high-level call (i.e. a regular function call to a contract), relaxing the requirement
     * on the return value: the return value is optional (but if data is returned, it must not be false).
     * @param token The token targeted by the call.
     * @param data The call data (encoded using abi.encode or one of its variants).
     */
    function callOptionalReturn(IERC20 token, bytes memory data) private {
        // We need to perform a low level call here, to bypass Solidity's return data size checking mechanism, since
        // we're implementing it ourselves.

        // A Solidity high level call has three parts:
        //  1. The target address is checked to verify it contains contract code
        //  2. The call itself is made, and success asserted
        //  3. The return value is decoded, which in turn checks the size of the returned data.
        // solhint-disable-next-line max-line-length
        require(address(token).isContract(), "SafeERC20: call to non-contract");

        // solhint-disable-next-line avoid-low-level-calls
        (bool success, bytes memory returndata) = address(token).call(data);
        require(success, "SafeERC20: low-level call failed");

        if (returndata.length > 0) { // Return data is optional
            // solhint-disable-next-line max-line-length
            require(abi.decode(returndata, (bool)), "SafeERC20: ERC20 operation did not succeed");
        }
    }
}


// File @openzeppelin/contracts/GSN/[email protected]

pragma solidity ^0.5.5;

/*
 * @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.
 */
contract Context {
    // Empty internal constructor, to prevent people from mistakenly deploying
    // an instance of this contract, which should be used via inheritance.
    constructor () internal { }
    // solhint-disable-previous-line no-empty-blocks

    function _msgSender() internal view returns (address payable) {
        return msg.sender;
    }

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


// File @openzeppelin/contracts/ownership/[email protected]

pragma solidity ^0.5.5;

/**
 * @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.
 *
 * This module is used through inheritance. It will make available the modifier
 * `onlyOwner`, which can be applied to your functions to restrict their use to
 * the owner.
 */
contract Ownable is Context {
    address private _owner;

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

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

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

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

    /**
     * @dev Returns true if the caller is the current owner.
     */
    function isOwner() public view returns (bool) {
        return _msgSender() == _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 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 onlyOwner {
        _transferOwnership(newOwner);
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     */
    function _transferOwnership(address newOwner) internal {
        require(newOwner != address(0), "Ownable: new owner is the zero address");
        emit OwnershipTransferred(_owner, newOwner);
        _owner = newOwner;
    }
}

// File IDelegation.sol

interface IDelegation{
    function clearDelegate(bytes32 _id) external;
    function setDelegate(bytes32 _id, address _delegate) external;
    function delegation(address _address, bytes32 _id) external view returns(address);
}

// File contracts/TokenVesting.sol

/**
 * @title TokenVesting
 * @dev A token holder contract that can release its token balance gradually like a
 * typical vesting scheme, with a cliff and vesting period. Optionally revocable by the
 * owner.
 */
contract TokenVesting is Ownable {
    // The vesting schedule is time-based (i.e. using block timestamps as opposed to e.g. block numbers), and is
    // therefore sensitive to timestamp manipulation (which is something miners can do, to a certain degree). Therefore,
    // it is recommended to avoid using short time durations (less than a minute). Typical vesting schemes, with a
    // cliff period of a year and a duration of four years, are safe to use.
    // solhint-disable not-rely-on-time

    using SafeMath for uint256;
    using SafeERC20 for IERC20;

    event TokensReleased(address token, uint256 amount);
    event TokenVestingRevoked(address token);
    event BeneficiaryChanged(address indexed previousBeneficiary, address indexed newBeneficiary);
    event DelegateRegistryChanged(address indexed previousDelegateRegistry, address indexed newDelegateRegistry);
    event VoteDelegated(address indexed beneficiary, address indexed delegate);
    event DelegateCleared();

    // beneficiary of tokens after they are released
    address private _beneficiary;

    // delegate registry for voting
    address private _delegateRegistry;

    // Durations and timestamps are expressed in UNIX time, the same units as block.timestamp.
    uint256 private _cliff;
    uint256 private _start;
    uint256 private _duration;

    bool private _revocable;

    mapping (address => uint256) private _released;
    mapping (address => bool) private _revoked;

    /**
     * @dev Creates a vesting contract that vests its balance of any ERC20 token to the
     * beneficiary, gradually in a linear fashion until start + duration. By then all
     * of the balance will have vested.
     * @param beneficiary address of the beneficiary to whom vested tokens are transferred
     * @param delegateRegistry address of the delegate register contract
     * @param cliffDuration duration in seconds of the cliff in which tokens will begin to vest
     * @param start the time (as Unix time) at which point vesting starts
     * @param duration duration in seconds of the period in which the tokens will vest
     * @param revocable whether the vesting is revocable or not
     */
    constructor (address beneficiary, address delegateRegistry, uint256 start, uint256 cliffDuration, uint256 duration, bool revocable) public {
        require(beneficiary != address(0), "TokenVesting: beneficiary is the zero address");
        // solhint-disable-next-line max-line-length
        require(cliffDuration <= duration, "TokenVesting: cliff is longer than duration");
        require(duration > 0, "TokenVesting: duration is 0");
        // solhint-disable-next-line max-line-length
        require(start.add(duration) > block.timestamp, "TokenVesting: final time is before current time");

        _beneficiary = beneficiary;
        _delegateRegistry = delegateRegistry;
        _revocable = revocable;
        _duration = duration;
        _cliff = start.add(cliffDuration);
        _start = start;
    }

    /**
     * @return the beneficiary of the tokens.
     */
    function beneficiary() public view returns (address) {
        return _beneficiary;
    }

    /**
     * @dev Throws if called by any account other than the beneficiary.
     */
    modifier onlyBeneficiary() {
        require(isBeneficiary(), "Not beneficiary: caller is not the beneficiary");
        _;
    }

    /**
     * @dev Returns true if the caller is the current owner.
     */
    function isBeneficiary() public view returns (bool) {
        return _msgSender() == _beneficiary;
    }

    /**
     * @return the delegate registry address
     */
    function delegateRegistry() public view returns (address) {
        return _delegateRegistry;
    }

    /**
     * @return the cliff time of the token vesting.
     */
    function cliff() public view returns (uint256) {
        return _cliff;
    }

    /**
     * @return the start time of the token vesting.
     */
    function start() public view returns (uint256) {
        return _start;
    }

    /**
     * @return the duration of the token vesting.
     */
    function duration() public view returns (uint256) {
        return _duration;
    }

    /**
     * @return true if the vesting is revocable.
     */
    function revocable() public view returns (bool) {
        return _revocable;
    }

    /**
     * @return the amount of the token released.
     */
    function released(address token) public view returns (uint256) {
        return _released[token];
    }

    /**
     * @return true if the token is revoked.
     */
    function revoked(address token) public view returns (bool) {
        return _revoked[token];
    }

    /**
     * @notice Transfers vested tokens to beneficiary.
     * @param token ERC20 token which is being vested
     */
    function release(IERC20 token) public onlyBeneficiary {
        uint256 unreleased = _releasableAmount(token);

        require(unreleased > 0, "TokenVesting: no tokens are due");

        _released[address(token)] = _released[address(token)].add(unreleased);

        token.safeTransfer(_beneficiary, unreleased);

        emit TokensReleased(address(token), unreleased);
    }

    /**
     * @notice Allows the owner to revoke the vesting. Tokens already vested
     * remain in the contract, the rest are returned to the owner.
     * @param token ERC20 token which is being vested
     */
    function revoke(IERC20 token) public onlyOwner {
        require(_revocable, "TokenVesting: cannot revoke");
        require(!_revoked[address(token)], "TokenVesting: token already revoked");

        uint256 balance = token.balanceOf(address(this));

        uint256 unreleased = _releasableAmount(token);
        uint256 refund = balance.sub(unreleased);

        _revoked[address(token)] = true;

        token.safeTransfer(owner(), refund);

        emit TokenVestingRevoked(address(token));
    }

    /**
     * @dev Calculates the amount that has already vested but hasn't been released yet.
     * @param token ERC20 token which is being vested
     */
    function _releasableAmount(IERC20 token) private view returns (uint256) {
        return _vestedAmount(token).sub(_released[address(token)]);
    }

    /**
     * @dev Calculates the amount that has already vested.
     * @param token ERC20 token which is being vested
     */
    function _vestedAmount(IERC20 token) private view returns (uint256) {
        uint256 currentBalance = token.balanceOf(address(this));
        uint256 totalBalance = currentBalance.add(_released[address(token)]);

        if (block.timestamp < _cliff) {
            return 0;
        } else if (block.timestamp >= _start.add(_duration) || _revoked[address(token)]) {
            return totalBalance;
        } else {
            return totalBalance.mul(block.timestamp.sub(_start)).div(_duration);
        }
    }

    /**
     * @dev Changes beneficiary of the contract to a new account (`newBeneficiary`).
     * Can only be called by the current beneficiary.
     */
    function changeBeneficiary(address newBeneficiary) public onlyBeneficiary {
        _changeBeneficiary(newBeneficiary);
    }

    /**
     * @dev Changes beneficiary of the contract to a new account (`newBeneficiary`).
     */
    function _changeBeneficiary(address newBeneficiary) internal {
        require(newBeneficiary != address(0), "Beneficiary: new beneficiary is the zero address");
        emit BeneficiaryChanged(_beneficiary, newBeneficiary);
        _beneficiary = newBeneficiary;
    }

    /**
     * @dev Changes delegate registry contract to a new address (`newDelegateRegistry`).
     * Can only be called by the current beneficiary.
     */
    function changeDelegateRegistry(address newDelegateRegistry) public onlyOwner {
        _changeDelegateRegistry(newDelegateRegistry);
    }

    /**
     * @dev Changes delegate registry to contract a new address (`newDelegateRegistry`).
     */
    function _changeDelegateRegistry(address newDelegateRegistry) internal {
        require(newDelegateRegistry != address(0), "Delegate registry: new address is the zero address");
        emit DelegateRegistryChanged(_delegateRegistry, newDelegateRegistry);
        _delegateRegistry = newDelegateRegistry;
    }

    /**
     * @dev Delegates the voting power of tokens held in the contract to a new account (`_delegate`)
     * id is left blank to apply delegation to all
     * space ids
     */
    function setDelegate(address _delegate) external onlyBeneficiary {
        IDelegation(_delegateRegistry).setDelegate("", _delegate);
        emit VoteDelegated(_beneficiary, _delegate);
    }

    /**
     * @dev Clears delegation for all space ids
     */
    function clearDelegate() external onlyBeneficiary {
        IDelegation(_delegateRegistry).clearDelegate("");
        emit DelegateCleared();
    }

}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"duration","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"delegateRegistry","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"cliff","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"token","type":"address"}],"name":"release","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"beneficiary","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"clearDelegate","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"renounceOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"token","type":"address"}],"name":"revoke","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"isBeneficiary","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"revocable","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"isOwner","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"token","type":"address"}],"name":"released","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"newDelegateRegistry","type":"address"}],"name":"changeDelegateRegistry","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"start","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_delegate","type":"address"}],"name":"setDelegate","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"newBeneficiary","type":"address"}],"name":"changeBeneficiary","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"token","type":"address"}],"name":"revoked","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"inputs":[{"name":"beneficiary","type":"address"},{"name":"delegateRegistry","type":"address"},{"name":"start","type":"uint256"},{"name":"cliffDuration","type":"uint256"},{"name":"duration","type":"uint256"},{"name":"revocable","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":false,"name":"token","type":"address"},{"indexed":false,"name":"amount","type":"uint256"}],"name":"TokensReleased","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"token","type":"address"}],"name":"TokenVestingRevoked","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"previousBeneficiary","type":"address"},{"indexed":true,"name":"newBeneficiary","type":"address"}],"name":"BeneficiaryChanged","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"previousDelegateRegistry","type":"address"},{"indexed":true,"name":"newDelegateRegistry","type":"address"}],"name":"DelegateRegistryChanged","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"beneficiary","type":"address"},{"indexed":true,"name":"delegate","type":"address"}],"name":"VoteDelegated","type":"event"},{"anonymous":false,"inputs":[],"name":"DelegateCleared","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"previousOwner","type":"address"},{"indexed":true,"name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"}]

0x608060405234801561001057600080fd5b50600436106101215760003560e01c8063872a7810116100ad578063be9a655511610071578063be9a6555146103de578063ca5eb5e1146103fc578063dc07065714610440578063f2fde38b14610484578063fa01dc06146104c857610121565b8063872a7810146102b45780638da5cb5b146102d65780638f32d59b146103205780639852595c14610342578063ad91b6ce1461039a57610121565b806338af3eed116100f457806338af3eed146101f05780636ea447ba1461023a578063715018a61461024457806374a8f1031461024e5780637b70209f1461029257610121565b80630fb5a6b41461012657806313bfffac1461014457806313d033c01461018e57806319165587146101ac575b600080fd5b61012e610524565b6040518082815260200191505060405180910390f35b61014c61052e565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b610196610558565b6040518082815260200191505060405180910390f35b6101ee600480360360208110156101c257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610562565b005b6101f8610793565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6102426107bd565b005b61024c6108d0565b005b6102906004803603602081101561026457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610a09565b005b61029a610d7b565b604051808215151515815260200191505060405180910390f35b6102bc610dda565b604051808215151515815260200191505060405180910390f35b6102de610df1565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b610328610e1a565b604051808215151515815260200191505060405180910390f35b6103846004803603602081101561035857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610e78565b6040518082815260200191505060405180910390f35b6103dc600480360360208110156103b057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610ec1565b005b6103e6610f47565b6040518082815260200191505060405180910390f35b61043e6004803603602081101561041257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610f51565b005b6104826004803603602081101561045657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506110e9565b005b6104c66004803603602081101561049a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611152565b005b61050a600480360360208110156104de57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506111d8565b604051808215151515815260200191505060405180910390f35b6000600554905090565b6000600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6000600354905090565b61056a610d7b565b6105bf576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602e815260200180611f5c602e913960400191505060405180910390fd5b60006105ca8261122e565b905060008111610642576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f546f6b656e56657374696e673a206e6f20746f6b656e7320617265206475650081525060200191505060405180910390fd5b61069481600760008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461129190919063ffffffff16565b600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610724600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16828473ffffffffffffffffffffffffffffffffffffffff166113199092919063ffffffff16565b7fc7798891864187665ac6dd119286e44ec13f014527aeeb2b8eb3fd413df931798282604051808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019250505060405180910390a15050565b6000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6107c5610d7b565b61081a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602e815260200180611f5c602e913960400191505060405180910390fd5b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663f0bedbe26040518163ffffffff1660e01b8152600401806020019050600060405180830381600087803b15801561088a57600080fd5b505af115801561089e573d6000803e3d6000fd5b505050507f7eed1019f40468824c99e50242fc486498df22e1b32743f1df384b01df6b3acd60405160405180910390a1565b6108d8610e1a565b61094a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a360008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b610a11610e1a565b610a83576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600660009054906101000a900460ff16610b05576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f546f6b656e56657374696e673a2063616e6e6f74207265766f6b65000000000081525060200191505060405180910390fd5b600860008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615610ba8576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526023815260200180611fe46023913960400191505060405180910390fd5b60008173ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015610c2757600080fd5b505afa158015610c3b573d6000803e3d6000fd5b505050506040513d6020811015610c5157600080fd5b810190808051906020019092919050505090506000610c6f8361122e565b90506000610c8682846113ea90919063ffffffff16565b90506001600860008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908315150217905550610d12610ceb610df1565b828673ffffffffffffffffffffffffffffffffffffffff166113199092919063ffffffff16565b7f39983c6d4d174a7aee564f449d4a5c3c7ac9649d72b7793c56901183996f8af684604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a150505050565b6000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16610dbe611434565b73ffffffffffffffffffffffffffffffffffffffff1614905090565b6000600660009054906101000a900460ff16905090565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16610e5c611434565b73ffffffffffffffffffffffffffffffffffffffff1614905090565b6000600760008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b610ec9610e1a565b610f3b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b610f448161143c565b50565b6000600454905090565b610f59610d7b565b610fae576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602e815260200180611f5c602e913960400191505060405180910390fd5b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663bd86e508826040518263ffffffff1660e01b8152600401806020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001915050600060405180830381600087803b15801561105257600080fd5b505af1158015611066573d6000803e3d6000fd5b505050508073ffffffffffffffffffffffffffffffffffffffff16600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167fa0ff2fa6909fe4ddd94349fc9d8e2932f3dfe666216f3cc2aa3a72f5a03b655e60405160405180910390a350565b6110f1610d7b565b611146576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602e815260200180611f5c602e913960400191505060405180910390fd5b61114f81611582565b50565b61115a610e1a565b6111cc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b6111d5816116c8565b50565b6000600860008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff169050919050565b600061128a600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461127c8461180c565b6113ea90919063ffffffff16565b9050919050565b60008082840190508381101561130f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b6113e5838473ffffffffffffffffffffffffffffffffffffffff1663a9059cbb905060e01b8484604051602401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050604051602081830303815290604052907bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19166020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff83818316178352505050506119f6565b505050565b600061142c83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611c41565b905092915050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156114c2576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526032815260200180611ee36032913960400191505060405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff16600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167fa9f4763ecc59573f8233892d7f232ff14618476c5d51481555af478825da0b0560405160405180910390a380600260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415611608576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526030815260200180611fb46030913960400191505060405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff16600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f768099735d1c322a05a5b9d7b76d99682a1833d3f7055e5ede25e0f2eeaa8c6d60405160405180910390a380600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141561174e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526026815260200180611f156026913960400191505060405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6000808273ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561188c57600080fd5b505afa1580156118a0573d6000803e3d6000fd5b505050506040513d60208110156118b657600080fd5b81019080805190602001909291905050509050600061191d600760008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548361129190919063ffffffff16565b9050600354421015611934576000925050506119f1565b61194b60055460045461129190919063ffffffff16565b421015806119a25750600860008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b156119b15780925050506119f1565b6119ec6005546119de6119cf600454426113ea90919063ffffffff16565b84611d0190919063ffffffff16565b611d8790919063ffffffff16565b925050505b919050565b611a158273ffffffffffffffffffffffffffffffffffffffff16611dd1565b611a87576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f5361666545524332303a2063616c6c20746f206e6f6e2d636f6e74726163740081525060200191505060405180910390fd5b600060608373ffffffffffffffffffffffffffffffffffffffff16836040518082805190602001908083835b60208310611ad65780518252602082019150602081019050602083039250611ab3565b6001836020036101000a0380198251168184511680821785525050505050509050019150506000604051808303816000865af19150503d8060008114611b38576040519150601f19603f3d011682016040523d82523d6000602084013e611b3d565b606091505b509150915081611bb5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c656481525060200191505060405180910390fd5b600081511115611c3b57808060200190516020811015611bd457600080fd5b8101908080519060200190929190505050611c3a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602a815260200180611f8a602a913960400191505060405180910390fd5b5b50505050565b6000838311158290611cee576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015611cb3578082015181840152602081019050611c98565b50505050905090810190601f168015611ce05780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385039050809150509392505050565b600080831415611d145760009050611d81565b6000828402905082848281611d2557fe5b0414611d7c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180611f3b6021913960400191505060405180910390fd5b809150505b92915050565b6000611dc983836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611e1c565b905092915050565b60008060007fc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a47060001b9050833f9150808214158015611e1357506000801b8214155b92505050919050565b60008083118290611ec8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015611e8d578082015181840152602081019050611e72565b50505050905090810190601f168015611eba5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b506000838581611ed457fe5b04905080915050939250505056fe44656c65676174652072656769737472793a206e6577206164647265737320697320746865207a65726f20616464726573734f776e61626c653a206e6577206f776e657220697320746865207a65726f2061646472657373536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f774e6f742062656e65666963696172793a2063616c6c6572206973206e6f74207468652062656e65666963696172795361666545524332303a204552433230206f7065726174696f6e20646964206e6f74207375636365656442656e65666963696172793a206e65772062656e656669636961727920697320746865207a65726f2061646472657373546f6b656e56657374696e673a20746f6b656e20616c7265616479207265766f6b6564a165627a7a723058209f862cd9e840c51bd12ad89fa281383ed780f9910941ed122b50dccc3796d5f50029

19547:9114:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19547:9114:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23767:85;;;:::i;:::-;;;;;;;;;;;;;;;;;;;23273:101;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;23453:79;;;:::i;:::-;;;;;;;;;;;;;;;;;;;24502:388;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;24502:388:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;22685:91;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;28506:150;;;:::i;:::-;;18281:140;;;:::i;:::-;;25117:515;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;25117:515:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;23095:106;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;23928:84;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;17470:79;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;17836:94;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;24088:105;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;24088:105:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;27466:141;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;27466:141:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;23611:79;;;:::i;:::-;;;;;;;;;;;;;;;;;;;28236:195;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;28236:195:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;26783:127;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;26783:127:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;18576:109;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;18576:109:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;24265:100;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;24265:100:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;23767:85;23808:7;23835:9;;23828:16;;23767:85;:::o;23273:101::-;23322:7;23349:17;;;;;;;;;;;23342:24;;23273:101;:::o;23453:79::-;23491:7;23518:6;;23511:13;;23453:79;:::o;24502:388::-;22921:15;:13;:15::i;:::-;22913:74;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;24567:18;24588:24;24606:5;24588:17;:24::i;:::-;24567:45;;24646:1;24633:10;:14;24625:58;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;24724:41;24754:10;24724:9;:25;24742:5;24724:25;;;;;;;;;;;;;;;;:29;;:41;;;;:::i;:::-;24696:9;:25;24714:5;24696:25;;;;;;;;;;;;;;;:69;;;;24778:44;24797:12;;;;;;;;;;;24811:10;24778:5;:18;;;;:44;;;;;:::i;:::-;24840:42;24863:5;24871:10;24840:42;;;;;;;;;;;;;;;;;;;;;;;;;;;;22998:1;24502:388;:::o;22685:91::-;22729:7;22756:12;;;;;;;;;;;22749:19;;22685:91;:::o;28506:150::-;22921:15;:13;:15::i;:::-;22913:74;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;28579:17;;;;;;;;;;;28567:44;;;:48;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;28567:48:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;28567:48:0;;;;28631:17;;;;;;;;;;28506:150::o;18281:140::-;17682:9;:7;:9::i;:::-;17674:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18380:1;18343:40;;18364:6;;;;;;;;;;;18343:40;;;;;;;;;;;;18411:1;18394:6;;:19;;;;;;;;;;;;;;;;;;18281:140::o;25117:515::-;17682:9;:7;:9::i;:::-;17674:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;25183:10;;;;;;;;;;;25175:50;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;25245:8;:24;25262:5;25245:24;;;;;;;;;;;;;;;;;;;;;;;;;25244:25;25236:73;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;25322:15;25340:5;:15;;;25364:4;25340:30;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;25340:30:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;25340:30:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;25340:30:0;;;;;;;;;;;;;;;;25322:48;;25383:18;25404:24;25422:5;25404:17;:24::i;:::-;25383:45;;25439:14;25456:23;25468:10;25456:7;:11;;:23;;;;:::i;:::-;25439:40;;25519:4;25492:8;:24;25509:5;25492:24;;;;;;;;;;;;;;;;:31;;;;;;;;;;;;;;;;;;25536:35;25555:7;:5;:7::i;:::-;25564:6;25536:5;:18;;;;:35;;;;;:::i;:::-;25589;25617:5;25589:35;;;;;;;;;;;;;;;;;;;;;;17739:1;;;25117:515;:::o;23095:106::-;23141:4;23181:12;;;;;;;;;;;23165:28;;:12;:10;:12::i;:::-;:28;;;23158:35;;23095:106;:::o;23928:84::-;23970:4;23994:10;;;;;;;;;;;23987:17;;23928:84;:::o;17470:79::-;17508:7;17535:6;;;;;;;;;;;17528:13;;17470:79;:::o;17836:94::-;17876:4;17916:6;;;;;;;;;;;17900:22;;:12;:10;:12::i;:::-;:22;;;17893:29;;17836:94;:::o;24088:105::-;24142:7;24169:9;:16;24179:5;24169:16;;;;;;;;;;;;;;;;24162:23;;24088:105;;;:::o;27466:141::-;17682:9;:7;:9::i;:::-;17674:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;27555:44;27579:19;27555:23;:44::i;:::-;27466:141;:::o;23611:79::-;23649:7;23676:6;;23669:13;;23611:79;:::o;28236:195::-;22921:15;:13;:15::i;:::-;22913:74;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;28324:17;;;;;;;;;;;28312:42;;;28359:9;28312:57;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;28312:57:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;28312:57:0;;;;28413:9;28385:38;;28399:12;;;;;;;;;;;28385:38;;;;;;;;;;;;28236:195;:::o;26783:127::-;22921:15;:13;:15::i;:::-;22913:74;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;26868:34;26887:14;26868:18;:34::i;:::-;26783:127;:::o;18576:109::-;17682:9;:7;:9::i;:::-;17674:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18649:28;18668:8;18649:18;:28::i;:::-;18576:109;:::o;24265:100::-;24318:4;24342:8;:15;24351:5;24342:15;;;;;;;;;;;;;;;;;;;;;;;;;24335:22;;24265:100;;;:::o;25802:149::-;25865:7;25892:51;25917:9;:25;25935:5;25917:25;;;;;;;;;;;;;;;;25892:20;25906:5;25892:13;:20::i;:::-;:24;;:51;;;;:::i;:::-;25885:58;;25802:149;;;:::o;3855:181::-;3913:7;3933:9;3949:1;3945;:5;3933:17;;3974:1;3969;:6;;3961:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4027:1;4020:8;;;3855:181;;;;:::o;12142:176::-;12225:85;12244:5;12274;:14;;;:23;;;;12299:2;12303:5;12251:58;;;;;;;;;;;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;12251:58:0;;;;;;;38:4:-1;29:7;25:18;67:10;61:17;96:58;199:8;192:4;186;182:15;179:29;167:10;160:49;0:215;;;12251:58:0;12225:18;:85::i;:::-;12142:176;;;:::o;4311:136::-;4369:7;4396:43;4400:1;4403;4396:43;;;;;;;;;;;;;;;;;:3;:43::i;:::-;4389:50;;4311:136;;;;:::o;16168:98::-;16213:15;16248:10;16241:17;;16168:98;:::o;27723:315::-;27844:1;27813:33;;:19;:33;;;;27805:96;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;27960:19;27917:63;;27941:17;;;;;;;;;;;27917:63;;;;;;;;;;;;28011:19;27991:17;;:39;;;;;;;;;;;;;;;;;;27723:315;:::o;27022:273::-;27128:1;27102:28;;:14;:28;;;;27094:89;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;27232:14;27199:48;;27218:12;;;;;;;;;;;27199:48;;;;;;;;;;;;27273:14;27258:12;;:29;;;;;;;;;;;;;;;;;;27022:273;:::o;18791:229::-;18885:1;18865:22;;:8;:22;;;;18857:73;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18975:8;18946:38;;18967:6;;;;;;;;;;;18946:38;;;;;;;;;;;;19004:8;18995:6;;:17;;;;;;;;;;;;;;;;;;18791:229;:::o;26092:524::-;26151:7;26171:22;26196:5;:15;;;26220:4;26196:30;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;26196:30:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;26196:30:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;26196:30:0;;;;;;;;;;;;;;;;26171:55;;26237:20;26260:45;26279:9;:25;26297:5;26279:25;;;;;;;;;;;;;;;;26260:14;:18;;:45;;;;:::i;:::-;26237:68;;26340:6;;26322:15;:24;26318:291;;;26370:1;26363:8;;;;;;26318:291;26412:21;26423:9;;26412:6;;:10;;:21;;;;:::i;:::-;26393:15;:40;;:68;;;;26437:8;:24;26454:5;26437:24;;;;;;;;;;;;;;;;;;;;;;;;;26393:68;26389:220;;;26485:12;26478:19;;;;;;26389:220;26537:60;26587:9;;26537:45;26554:27;26574:6;;26554:15;:19;;:27;;;;:::i;:::-;26537:12;:16;;:45;;;;:::i;:::-;:49;;:60;;;;:::i;:::-;26530:67;;;;26092:524;;;;:::o;14181:1114::-;14785:27;14793:5;14785:25;;;:27::i;:::-;14777:71;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14922:12;14936:23;14971:5;14963:19;;14983:4;14963:25;;;;;;;;;;;;;36:153:-1;66:2;61:3;58:11;36:153;;182:3;176:10;171:3;164:23;98:2;93:3;89:12;82:19;;123:2;118:3;114:12;107:19;;148:2;143:3;139:12;132:19;;36:153;;;274:1;267:3;263:2;259:12;254:3;250:22;246:30;315:4;311:9;305:3;299:10;295:26;356:4;350:3;344:10;340:21;389:7;380;377:20;372:3;365:33;3:399;;;14963:25:0;;;;;;;;;;;;;;;;;;;;;;;;14:1:-1;21;16:31;;;;75:4;69:11;64:16;;144:4;140:9;133:4;115:16;111:27;107:43;104:1;100:51;94:4;87:65;169:16;166:1;159:27;225:16;222:1;215:4;212:1;208:12;193:49;7:242;;16:31;36:4;31:9;;7:242;;14921:67:0;;;;15007:7;14999:52;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15088:1;15068:10;:17;:21;15064:224;;;15210:10;15199:30;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;15199:30:0;;;;;;;;;;;;;;;;15191:85;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15064:224;14181:1114;;;;:::o;4784:192::-;4870:7;4903:1;4898;:6;;4906:12;4890:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;4890:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4930:9;4946:1;4942;:5;4930:17;;4967:1;4960:8;;;4784:192;;;;;:::o;5227:471::-;5285:7;5535:1;5530;:6;5526:47;;;5560:1;5553:8;;;;5526:47;5585:9;5601:1;5597;:5;5585:17;;5630:1;5625;5621;:5;;;;;;:10;5613:56;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5689:1;5682:8;;;5227:471;;;;;:::o;6166:132::-;6224:7;6251:39;6255:1;6258;6251:39;;;;;;;;;;;;;;;;;:3;:39::i;:::-;6244:46;;6166:132;;;;:::o;9196:619::-;9256:4;9518:16;9545:19;9567:66;9545:88;;;;9736:7;9724:20;9712:32;;9776:11;9764:8;:23;;:42;;;;;9803:3;9791:15;;:8;:15;;9764:42;9756:51;;;;9196:619;;;:::o;6828:345::-;6914:7;7013:1;7009;:5;7016:12;7001:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;7001:28:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7040:9;7056:1;7052;:5;;;;;;7040:17;;7164:1;7157:8;;;6828:345;;;;;:::o

bzzr://9f862cd9e840c51bd12ad89fa281383ed780f9910941ed122b50dccc3796d5f5