Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2019-09-09
*/

// File: @openzeppelin/contracts/token/ERC20/IERC20.sol

pragma solidity ^0.5.0;

/**
 * @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.
     *
     * > 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/SafeMath.sol

pragma solidity ^0.5.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, 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");
        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) {
        // Solidity only automatically asserts when dividing by 0
        require(b > 0, "SafeMath: division by zero");
        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) {
        require(b != 0, "SafeMath: modulo by zero");
        return a % b;
    }
}

// File: @openzeppelin/contracts/utils/Address.sol

pragma solidity ^0.5.0;

/**
 * @dev Collection of functions related to the address type,
 */
library Address {
    /**
     * @dev Returns true if `account` is a contract.
     *
     * This test is non-exhaustive, and there may be false-negatives: during the
     * execution of a contract's constructor, its address will be reported as
     * not containing a contract.
     *
     * > It is unsafe to assume that an address for which this function returns
     * false is an externally-owned account (EOA) and not a contract.
     */
    function isContract(address account) internal view returns (bool) {
        // This method relies in extcodesize, which returns 0 for contracts in
        // construction, since the code is only stored at the end of the
        // constructor execution.

        uint256 size;
        // solhint-disable-next-line no-inline-assembly
        assembly { size := extcodesize(account) }
        return size > 0;
    }
}

// File: @openzeppelin/contracts/token/ERC20/SafeERC20.sol

pragma solidity ^0.5.0;




/**
 * @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);
        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/ownership/Ownable.sol

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

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

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

    /**
     * @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 msg.sender == _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: @openzeppelin/contracts/drafts/TokenVesting.sol

pragma solidity ^0.5.0;




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

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

    // 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 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, 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;
        _revocable = revocable;
        _duration = duration;
        _cliff = start.add(cliffDuration);
        _start = start;
    }

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

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

// File: contracts/TokenVestingFactory.sol

pragma solidity 0.5.10;



// @dev Deploy token vesting contracts
contract TokenVestingFactory {
    event TokenVestingCreated(
        address vesting,
        address token,
        uint256 balance,
        address beneficiary,
        uint256 start,
        uint256 cliffDuration,
        uint256 duration
    );

    /**
    @dev Deploy the vesting contracts and send tokens to them
    */
    function createVestingContracts(
        address token,
        address[] memory beneficiaries,
        uint256[] memory startTimes,
        uint256[] memory cliffDurations,
        uint256[] memory durations,
        uint256[] memory amounts
    ) public {
        require(token != address(0), "Token cannot be zero");
        require(beneficiaries.length > 0, "No beneficiaries");
        require(
            beneficiaries.length == startTimes.length &&
            startTimes.length == cliffDurations.length &&
            cliffDurations.length == durations.length &&
            durations.length == amounts.length,
            "All inputs must have the same length"
        );

        IERC20 erc20 = IERC20(token);

        bool revocable = false;
        for (uint256 i = 0; i < beneficiaries.length; i++) {
            require(beneficiaries[i] != address(0), "Beneficiary cannot be zero");
            TokenVesting vesting = new TokenVesting(
                beneficiaries[i],
                startTimes[i],
                cliffDurations[i],
                durations[i],
                revocable
            );

            // Transfer tokens from sender (TokenDistribution) and forward them to the vesting contract(s)
            require(erc20.transferFrom(msg.sender, address(this), amounts[i]), "Failed to transfer from Distribution");
            require(erc20.transfer(address(vesting), amounts[i]), "Token failed to transfer");

            emit TokenVestingCreated(address(vesting), token, amounts[i], beneficiaries[i], startTimes[i], cliffDurations[i], durations[i]);
        }
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":false,"inputs":[{"name":"token","type":"address"},{"name":"beneficiaries","type":"address[]"},{"name":"startTimes","type":"uint256[]"},{"name":"cliffDurations","type":"uint256[]"},{"name":"durations","type":"uint256[]"},{"name":"amounts","type":"uint256[]"}],"name":"createVestingContracts","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"anonymous":false,"inputs":[{"indexed":false,"name":"vesting","type":"address"},{"indexed":false,"name":"token","type":"address"},{"indexed":false,"name":"balance","type":"uint256"},{"indexed":false,"name":"beneficiary","type":"address"},{"indexed":false,"name":"start","type":"uint256"},{"indexed":false,"name":"cliffDuration","type":"uint256"},{"indexed":false,"name":"duration","type":"uint256"}],"name":"TokenVestingCreated","type":"event"}]

608060405234801561001057600080fd5b5061195e806100206000396000f3fe608060405234801561001057600080fd5b506004361061002b5760003560e01c806338f2b90114610030575b600080fd5b6102e9600480360360c081101561004657600080fd5b6001600160a01b038235169190810190604081016020820135600160201b81111561007057600080fd5b82018360208201111561008257600080fd5b803590602001918460208302840111600160201b831117156100a357600080fd5b9190808060200260200160405190810160405280939291908181526020018383602002808284376000920191909152509295949360208101935035915050600160201b8111156100f257600080fd5b82018360208201111561010457600080fd5b803590602001918460208302840111600160201b8311171561012557600080fd5b9190808060200260200160405190810160405280939291908181526020018383602002808284376000920191909152509295949360208101935035915050600160201b81111561017457600080fd5b82018360208201111561018657600080fd5b803590602001918460208302840111600160201b831117156101a757600080fd5b9190808060200260200160405190810160405280939291908181526020018383602002808284376000920191909152509295949360208101935035915050600160201b8111156101f657600080fd5b82018360208201111561020857600080fd5b803590602001918460208302840111600160201b8311171561022957600080fd5b9190808060200260200160405190810160405280939291908181526020018383602002808284376000920191909152509295949360208101935035915050600160201b81111561027857600080fd5b82018360208201111561028a57600080fd5b803590602001918460208302840111600160201b831117156102ab57600080fd5b9190808060200260200160405190810160405280939291908181526020018383602002808284376000920191909152509295506102eb945050505050565b005b6001600160a01b03861661033d576040805162461bcd60e51b8152602060048201526014602482015273546f6b656e2063616e6e6f74206265207a65726f60601b604482015290519081900360640190fd5b6000855111610386576040805162461bcd60e51b815260206004820152601060248201526f4e6f2062656e6566696369617269657360801b604482015290519081900360640190fd5b83518551148015610398575082518451145b80156103a5575081518351145b80156103b2575080518251145b6103ed5760405162461bcd60e51b81526004018080602001828103825260248152602001806118e26024913960400191505060405180910390fd5b856000805b87518110156107e15760006001600160a01b031688828151811061041257fe5b60200260200101516001600160a01b03161415610476576040805162461bcd60e51b815260206004820152601a60248201527f42656e65666963696172792063616e6e6f74206265207a65726f000000000000604482015290519081900360640190fd5b600088828151811061048457fe5b602002602001015188838151811061049857fe5b60200260200101518884815181106104ac57fe5b60200260200101518885815181106104c057fe5b6020026020010151866040516104d5906107ec565b6001600160a01b039095168552602085019390935260408085019290925260608401529015156080830152519081900360a001906000f08015801561051e573d6000803e3d6000fd5b509050836001600160a01b03166323b872dd333088868151811061053e57fe5b60200260200101516040518463ffffffff1660e01b815260040180846001600160a01b03166001600160a01b03168152602001836001600160a01b03166001600160a01b031681526020018281526020019350505050602060405180830381600087803b1580156105ae57600080fd5b505af11580156105c2573d6000803e3d6000fd5b505050506040513d60208110156105d857600080fd5b50516106155760405162461bcd60e51b81526004018080602001828103825260248152602001806119066024913960400191505060405180910390fd5b836001600160a01b031663a9059cbb8287858151811061063157fe5b60200260200101516040518363ffffffff1660e01b815260040180836001600160a01b03166001600160a01b0316815260200182815260200192505050602060405180830381600087803b15801561068857600080fd5b505af115801561069c573d6000803e3d6000fd5b505050506040513d60208110156106b257600080fd5b5051610705576040805162461bcd60e51b815260206004820152601860248201527f546f6b656e206661696c656420746f207472616e736665720000000000000000604482015290519081900360640190fd5b7f250b4183b9a90d952378d036eb08a72f3b6db3e7044b4dcc8313b6f4b51b0d24818b87858151811061073457fe5b60200260200101518c868151811061074857fe5b60200260200101518c878151811061075c57fe5b60200260200101518c888151811061077057fe5b60200260200101518c898151811061078457fe5b602090810291909101810151604080516001600160a01b03998a1681529789169288019290925286820195909552929095166060850152608084015260a083019390935260c082015290519081900360e00190a1506001016103f2565b505050505050505050565b6110e8806107fa8339019056fe608060405234801561001057600080fd5b506040516110e83803806110e8833981810160405260a081101561003357600080fd5b50805160208201516040808401516060850151608090950151600080546001600160a01b031916331780825593519596949592949391926001600160a01b0392909216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a36001600160a01b0385166100fb576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602d815260200180611090602d913960400191505060405180910390fd5b81831115610154576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602b8152602001806110bd602b913960400191505060405180910390fd5b600082116101c357604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601b60248201527f546f6b656e56657374696e673a206475726174696f6e20697320300000000000604482015290519081900360640190fd5b426101db838661028360201b61070a1790919060201c565b11610231576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602f815260200180611061602f913960400191505060405180910390fd5b600180546001600160a01b0319166001600160a01b0387161790556005805460ff191682151517905560048290556102748484610283602090811b61070a17901c565b600255505050600355506102fe565b6000828201838110156102f757604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b9392505050565b610d548061030d6000396000f3fe608060405234801561001057600080fd5b50600436106100cf5760003560e01c8063872a78101161008c5780639852595c116100665780639852595c1461019c578063be9a6555146101c2578063f2fde38b146101ca578063fa01dc06146101f0576100cf565b8063872a7810146101705780638da5cb5b1461018c5780638f32d59b14610194576100cf565b80630fb5a6b4146100d457806313d033c0146100ee57806319165587146100f657806338af3eed1461011e578063715018a61461014257806374a8f1031461014a575b600080fd5b6100dc610216565b60408051918252519081900360200190f35b6100dc61021c565b61011c6004803603602081101561010c57600080fd5b50356001600160a01b0316610222565b005b610126610327565b604080516001600160a01b039092168252519081900360200190f35b61011c610336565b61011c6004803603602081101561016057600080fd5b50356001600160a01b03166103d9565b610178610601565b604080519115158252519081900360200190f35b61012661060a565b610178610619565b6100dc600480360360208110156101b257600080fd5b50356001600160a01b031661062a565b6100dc610649565b61011c600480360360208110156101e057600080fd5b50356001600160a01b031661064f565b6101786004803603602081101561020657600080fd5b50356001600160a01b03166106b4565b60045490565b60025490565b600061022d826106d2565b905060008111610284576040805162461bcd60e51b815260206004820152601f60248201527f546f6b656e56657374696e673a206e6f20746f6b656e73206172652064756500604482015290519081900360640190fd5b6001600160a01b0382166000908152600660205260409020546102ad908263ffffffff61070a16565b6001600160a01b038084166000818152600660205260409020929092556001546102df9291168363ffffffff61076b16565b604080516001600160a01b03841681526020810183905281517fc7798891864187665ac6dd119286e44ec13f014527aeeb2b8eb3fd413df93179929181900390910190a15050565b6001546001600160a01b031690565b61033e610619565b61038f576040805162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015290519081900360640190fd5b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6103e1610619565b610432576040805162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015290519081900360640190fd5b60055460ff16610489576040805162461bcd60e51b815260206004820152601b60248201527f546f6b656e56657374696e673a2063616e6e6f74207265766f6b650000000000604482015290519081900360640190fd5b6001600160a01b03811660009081526007602052604090205460ff16156104e15760405162461bcd60e51b8152600401808060200182810382526023815260200180610cfd6023913960400191505060405180910390fd5b604080516370a0823160e01b815230600482015290516000916001600160a01b038416916370a0823191602480820192602092909190829003018186803b15801561052b57600080fd5b505afa15801561053f573d6000803e3d6000fd5b505050506040513d602081101561055557600080fd5b505190506000610564836106d2565b90506000610578838363ffffffff6107c216565b6001600160a01b0385166000908152600760205260409020805460ff1916600117905590506105bf6105a861060a565b6001600160a01b038616908363ffffffff61076b16565b604080516001600160a01b038616815290517f39983c6d4d174a7aee564f449d4a5c3c7ac9649d72b7793c56901183996f8af69181900360200190a150505050565b60055460ff1690565b6000546001600160a01b031690565b6000546001600160a01b0316331490565b6001600160a01b0381166000908152600660205260409020545b919050565b60035490565b610657610619565b6106a8576040805162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015290519081900360640190fd5b6106b18161081f565b50565b6001600160a01b031660009081526007602052604090205460ff1690565b6001600160a01b038116600090815260066020526040812054610704906106f8846108bf565b9063ffffffff6107c216565b92915050565b600082820183811015610764576040805162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b9392505050565b604080516001600160a01b038416602482015260448082018490528251808303909101815260649091019091526020810180516001600160e01b031663a9059cbb60e01b1790526107bd908490610a04565b505050565b600082821115610819576040805162461bcd60e51b815260206004820152601e60248201527f536166654d6174683a207375627472616374696f6e206f766572666c6f770000604482015290519081900360640190fd5b50900390565b6001600160a01b0381166108645760405162461bcd60e51b8152600401808060200182810382526026815260200180610c8c6026913960400191505060405180910390fd5b600080546040516001600160a01b03808516939216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a3600080546001600160a01b0319166001600160a01b0392909216919091179055565b604080516370a0823160e01b8152306004820152905160009182916001600160a01b038516916370a08231916024808301926020929190829003018186803b15801561090a57600080fd5b505afa15801561091e573d6000803e3d6000fd5b505050506040513d602081101561093457600080fd5b50516001600160a01b0384166000908152600660205260408120549192509061096490839063ffffffff61070a16565b905060025442101561097b57600092505050610644565b6004546003546109909163ffffffff61070a16565b421015806109b657506001600160a01b03841660009081526007602052604090205460ff165b156109c45791506106449050565b6109fb6004546109ef6109e2600354426107c290919063ffffffff16565b849063ffffffff610bc216565b9063ffffffff610c1b16565b92505050610644565b610a16826001600160a01b0316610c85565b610a67576040805162461bcd60e51b815260206004820152601f60248201527f5361666545524332303a2063616c6c20746f206e6f6e2d636f6e747261637400604482015290519081900360640190fd5b60006060836001600160a01b0316836040518082805190602001908083835b60208310610aa55780518252601f199092019160209182019101610a86565b6001836020036101000a0380198251168184511680821785525050505050509050019150506000604051808303816000865af19150503d8060008114610b07576040519150601f19603f3d011682016040523d82523d6000602084013e610b0c565b606091505b509150915081610b63576040805162461bcd60e51b815260206004820181905260248201527f5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564604482015290519081900360640190fd5b805115610bbc57808060200190516020811015610b7f57600080fd5b5051610bbc5760405162461bcd60e51b815260040180806020018281038252602a815260200180610cd3602a913960400191505060405180910390fd5b50505050565b600082610bd157506000610704565b82820282848281610bde57fe5b04146107645760405162461bcd60e51b8152600401808060200182810382526021815260200180610cb26021913960400191505060405180910390fd5b6000808211610c71576040805162461bcd60e51b815260206004820152601a60248201527f536166654d6174683a206469766973696f6e206279207a65726f000000000000604482015290519081900360640190fd5b6000828481610c7c57fe5b04949350505050565b3b15159056fe4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061646472657373536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f775361666545524332303a204552433230206f7065726174696f6e20646964206e6f742073756363656564546f6b656e56657374696e673a20746f6b656e20616c7265616479207265766f6b6564a265627a7a72305820fbd7a73c115d9f8505841002da62868657a376f3fc87e55071ad975382dea09a64736f6c634300050a0032546f6b656e56657374696e673a2066696e616c2074696d65206973206265666f72652063757272656e742074696d65546f6b656e56657374696e673a2062656e656669636961727920697320746865207a65726f2061646472657373546f6b656e56657374696e673a20636c696666206973206c6f6e676572207468616e206475726174696f6e416c6c20696e70757473206d7573742068617665207468652073616d65206c656e6774684661696c656420746f207472616e736665722066726f6d20446973747269627574696f6ea265627a7a72305820e06c6620f219b38f4ccb3089d252929114a176a9239fd8ca5d323e632c78b7bb64736f6c634300050a0032

0x608060405234801561001057600080fd5b506004361061002b5760003560e01c806338f2b90114610030575b600080fd5b6102e9600480360360c081101561004657600080fd5b6001600160a01b038235169190810190604081016020820135600160201b81111561007057600080fd5b82018360208201111561008257600080fd5b803590602001918460208302840111600160201b831117156100a357600080fd5b9190808060200260200160405190810160405280939291908181526020018383602002808284376000920191909152509295949360208101935035915050600160201b8111156100f257600080fd5b82018360208201111561010457600080fd5b803590602001918460208302840111600160201b8311171561012557600080fd5b9190808060200260200160405190810160405280939291908181526020018383602002808284376000920191909152509295949360208101935035915050600160201b81111561017457600080fd5b82018360208201111561018657600080fd5b803590602001918460208302840111600160201b831117156101a757600080fd5b9190808060200260200160405190810160405280939291908181526020018383602002808284376000920191909152509295949360208101935035915050600160201b8111156101f657600080fd5b82018360208201111561020857600080fd5b803590602001918460208302840111600160201b8311171561022957600080fd5b9190808060200260200160405190810160405280939291908181526020018383602002808284376000920191909152509295949360208101935035915050600160201b81111561027857600080fd5b82018360208201111561028a57600080fd5b803590602001918460208302840111600160201b831117156102ab57600080fd5b9190808060200260200160405190810160405280939291908181526020018383602002808284376000920191909152509295506102eb945050505050565b005b6001600160a01b03861661033d576040805162461bcd60e51b8152602060048201526014602482015273546f6b656e2063616e6e6f74206265207a65726f60601b604482015290519081900360640190fd5b6000855111610386576040805162461bcd60e51b815260206004820152601060248201526f4e6f2062656e6566696369617269657360801b604482015290519081900360640190fd5b83518551148015610398575082518451145b80156103a5575081518351145b80156103b2575080518251145b6103ed5760405162461bcd60e51b81526004018080602001828103825260248152602001806118e26024913960400191505060405180910390fd5b856000805b87518110156107e15760006001600160a01b031688828151811061041257fe5b60200260200101516001600160a01b03161415610476576040805162461bcd60e51b815260206004820152601a60248201527f42656e65666963696172792063616e6e6f74206265207a65726f000000000000604482015290519081900360640190fd5b600088828151811061048457fe5b602002602001015188838151811061049857fe5b60200260200101518884815181106104ac57fe5b60200260200101518885815181106104c057fe5b6020026020010151866040516104d5906107ec565b6001600160a01b039095168552602085019390935260408085019290925260608401529015156080830152519081900360a001906000f08015801561051e573d6000803e3d6000fd5b509050836001600160a01b03166323b872dd333088868151811061053e57fe5b60200260200101516040518463ffffffff1660e01b815260040180846001600160a01b03166001600160a01b03168152602001836001600160a01b03166001600160a01b031681526020018281526020019350505050602060405180830381600087803b1580156105ae57600080fd5b505af11580156105c2573d6000803e3d6000fd5b505050506040513d60208110156105d857600080fd5b50516106155760405162461bcd60e51b81526004018080602001828103825260248152602001806119066024913960400191505060405180910390fd5b836001600160a01b031663a9059cbb8287858151811061063157fe5b60200260200101516040518363ffffffff1660e01b815260040180836001600160a01b03166001600160a01b0316815260200182815260200192505050602060405180830381600087803b15801561068857600080fd5b505af115801561069c573d6000803e3d6000fd5b505050506040513d60208110156106b257600080fd5b5051610705576040805162461bcd60e51b815260206004820152601860248201527f546f6b656e206661696c656420746f207472616e736665720000000000000000604482015290519081900360640190fd5b7f250b4183b9a90d952378d036eb08a72f3b6db3e7044b4dcc8313b6f4b51b0d24818b87858151811061073457fe5b60200260200101518c868151811061074857fe5b60200260200101518c878151811061075c57fe5b60200260200101518c888151811061077057fe5b60200260200101518c898151811061078457fe5b602090810291909101810151604080516001600160a01b03998a1681529789169288019290925286820195909552929095166060850152608084015260a083019390935260c082015290519081900360e00190a1506001016103f2565b505050505050505050565b6110e8806107fa8339019056fe608060405234801561001057600080fd5b506040516110e83803806110e8833981810160405260a081101561003357600080fd5b50805160208201516040808401516060850151608090950151600080546001600160a01b031916331780825593519596949592949391926001600160a01b0392909216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a36001600160a01b0385166100fb576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602d815260200180611090602d913960400191505060405180910390fd5b81831115610154576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602b8152602001806110bd602b913960400191505060405180910390fd5b600082116101c357604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601b60248201527f546f6b656e56657374696e673a206475726174696f6e20697320300000000000604482015290519081900360640190fd5b426101db838661028360201b61070a1790919060201c565b11610231576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602f815260200180611061602f913960400191505060405180910390fd5b600180546001600160a01b0319166001600160a01b0387161790556005805460ff191682151517905560048290556102748484610283602090811b61070a17901c565b600255505050600355506102fe565b6000828201838110156102f757604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b9392505050565b610d548061030d6000396000f3fe608060405234801561001057600080fd5b50600436106100cf5760003560e01c8063872a78101161008c5780639852595c116100665780639852595c1461019c578063be9a6555146101c2578063f2fde38b146101ca578063fa01dc06146101f0576100cf565b8063872a7810146101705780638da5cb5b1461018c5780638f32d59b14610194576100cf565b80630fb5a6b4146100d457806313d033c0146100ee57806319165587146100f657806338af3eed1461011e578063715018a61461014257806374a8f1031461014a575b600080fd5b6100dc610216565b60408051918252519081900360200190f35b6100dc61021c565b61011c6004803603602081101561010c57600080fd5b50356001600160a01b0316610222565b005b610126610327565b604080516001600160a01b039092168252519081900360200190f35b61011c610336565b61011c6004803603602081101561016057600080fd5b50356001600160a01b03166103d9565b610178610601565b604080519115158252519081900360200190f35b61012661060a565b610178610619565b6100dc600480360360208110156101b257600080fd5b50356001600160a01b031661062a565b6100dc610649565b61011c600480360360208110156101e057600080fd5b50356001600160a01b031661064f565b6101786004803603602081101561020657600080fd5b50356001600160a01b03166106b4565b60045490565b60025490565b600061022d826106d2565b905060008111610284576040805162461bcd60e51b815260206004820152601f60248201527f546f6b656e56657374696e673a206e6f20746f6b656e73206172652064756500604482015290519081900360640190fd5b6001600160a01b0382166000908152600660205260409020546102ad908263ffffffff61070a16565b6001600160a01b038084166000818152600660205260409020929092556001546102df9291168363ffffffff61076b16565b604080516001600160a01b03841681526020810183905281517fc7798891864187665ac6dd119286e44ec13f014527aeeb2b8eb3fd413df93179929181900390910190a15050565b6001546001600160a01b031690565b61033e610619565b61038f576040805162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015290519081900360640190fd5b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6103e1610619565b610432576040805162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015290519081900360640190fd5b60055460ff16610489576040805162461bcd60e51b815260206004820152601b60248201527f546f6b656e56657374696e673a2063616e6e6f74207265766f6b650000000000604482015290519081900360640190fd5b6001600160a01b03811660009081526007602052604090205460ff16156104e15760405162461bcd60e51b8152600401808060200182810382526023815260200180610cfd6023913960400191505060405180910390fd5b604080516370a0823160e01b815230600482015290516000916001600160a01b038416916370a0823191602480820192602092909190829003018186803b15801561052b57600080fd5b505afa15801561053f573d6000803e3d6000fd5b505050506040513d602081101561055557600080fd5b505190506000610564836106d2565b90506000610578838363ffffffff6107c216565b6001600160a01b0385166000908152600760205260409020805460ff1916600117905590506105bf6105a861060a565b6001600160a01b038616908363ffffffff61076b16565b604080516001600160a01b038616815290517f39983c6d4d174a7aee564f449d4a5c3c7ac9649d72b7793c56901183996f8af69181900360200190a150505050565b60055460ff1690565b6000546001600160a01b031690565b6000546001600160a01b0316331490565b6001600160a01b0381166000908152600660205260409020545b919050565b60035490565b610657610619565b6106a8576040805162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015290519081900360640190fd5b6106b18161081f565b50565b6001600160a01b031660009081526007602052604090205460ff1690565b6001600160a01b038116600090815260066020526040812054610704906106f8846108bf565b9063ffffffff6107c216565b92915050565b600082820183811015610764576040805162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b9392505050565b604080516001600160a01b038416602482015260448082018490528251808303909101815260649091019091526020810180516001600160e01b031663a9059cbb60e01b1790526107bd908490610a04565b505050565b600082821115610819576040805162461bcd60e51b815260206004820152601e60248201527f536166654d6174683a207375627472616374696f6e206f766572666c6f770000604482015290519081900360640190fd5b50900390565b6001600160a01b0381166108645760405162461bcd60e51b8152600401808060200182810382526026815260200180610c8c6026913960400191505060405180910390fd5b600080546040516001600160a01b03808516939216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a3600080546001600160a01b0319166001600160a01b0392909216919091179055565b604080516370a0823160e01b8152306004820152905160009182916001600160a01b038516916370a08231916024808301926020929190829003018186803b15801561090a57600080fd5b505afa15801561091e573d6000803e3d6000fd5b505050506040513d602081101561093457600080fd5b50516001600160a01b0384166000908152600660205260408120549192509061096490839063ffffffff61070a16565b905060025442101561097b57600092505050610644565b6004546003546109909163ffffffff61070a16565b421015806109b657506001600160a01b03841660009081526007602052604090205460ff165b156109c45791506106449050565b6109fb6004546109ef6109e2600354426107c290919063ffffffff16565b849063ffffffff610bc216565b9063ffffffff610c1b16565b92505050610644565b610a16826001600160a01b0316610c85565b610a67576040805162461bcd60e51b815260206004820152601f60248201527f5361666545524332303a2063616c6c20746f206e6f6e2d636f6e747261637400604482015290519081900360640190fd5b60006060836001600160a01b0316836040518082805190602001908083835b60208310610aa55780518252601f199092019160209182019101610a86565b6001836020036101000a0380198251168184511680821785525050505050509050019150506000604051808303816000865af19150503d8060008114610b07576040519150601f19603f3d011682016040523d82523d6000602084013e610b0c565b606091505b509150915081610b63576040805162461bcd60e51b815260206004820181905260248201527f5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564604482015290519081900360640190fd5b805115610bbc57808060200190516020811015610b7f57600080fd5b5051610bbc5760405162461bcd60e51b815260040180806020018281038252602a815260200180610cd3602a913960400191505060405180910390fd5b50505050565b600082610bd157506000610704565b82820282848281610bde57fe5b04146107645760405162461bcd60e51b8152600401808060200182810382526021815260200180610cb26021913960400191505060405180910390fd5b6000808211610c71576040805162461bcd60e51b815260206004820152601a60248201527f536166654d6174683a206469766973696f6e206279207a65726f000000000000604482015290519081900360640190fd5b6000828481610c7c57fe5b04949350505050565b3b15159056fe4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061646472657373536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f775361666545524332303a204552433230206f7065726174696f6e20646964206e6f742073756363656564546f6b656e56657374696e673a20746f6b656e20616c7265616479207265766f6b6564a265627a7a72305820fbd7a73c115d9f8505841002da62868657a376f3fc87e55071ad975382dea09a64736f6c634300050a0032546f6b656e56657374696e673a2066696e616c2074696d65206973206265666f72652063757272656e742074696d65546f6b656e56657374696e673a2062656e656669636961727920697320746865207a65726f2061646472657373546f6b656e56657374696e673a20636c696666206973206c6f6e676572207468616e206475726174696f6e416c6c20696e70757473206d7573742068617665207468652073616d65206c656e6774684661696c656420746f207472616e736665722066726f6d20446973747269627574696f6ea265627a7a72305820e06c6620f219b38f4ccb3089d252929114a176a9239fd8ca5d323e632c78b7bb64736f6c634300050a0032

20167:1988:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;20167:1988:0;;;;;;;;;;;;;;;;;;;20513:1639;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;-1:-1;;;;;20513:1639:0;;;;;;;;;;;;;;;-1:-1:-1;;;5:28;;2:2;;;46:1;43;36:12;2:2;20513:1639:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;20513:1639:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;-1:-1;;;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;20513:1639:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;81:16;;74:27;;;;-1:-1;20513:1639:0;;;;;;;;-1:-1:-1;20513:1639:0;;-1:-1:-1;;;;;5:28;;2:2;;;46:1;43;36:12;2:2;20513:1639:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;20513:1639:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;-1:-1;;;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;20513:1639:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;81:16;;74:27;;;;-1:-1;20513:1639:0;;;;;;;;-1:-1:-1;20513:1639:0;;-1:-1:-1;;;;;5:28;;2:2;;;46:1;43;36:12;2:2;20513:1639:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;20513:1639:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;-1:-1;;;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;20513:1639:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;81:16;;74:27;;;;-1:-1;20513:1639:0;;;;;;;;-1:-1:-1;20513:1639:0;;-1:-1:-1;;;;;5:28;;2:2;;;46:1;43;36:12;2:2;20513:1639:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;20513:1639:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;-1:-1;;;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;20513:1639:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;81:16;;74:27;;;;-1:-1;20513:1639:0;;;;;;;;-1:-1:-1;20513:1639:0;;-1:-1:-1;;;;;5:28;;2:2;;;46:1;43;36:12;2:2;20513:1639:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;20513:1639:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;-1:-1;;;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;20513:1639:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;81:16;;74:27;;;;-1:-1;20513:1639:0;;-1:-1:-1;20513:1639:0;;-1:-1:-1;;;;;20513:1639:0:i;:::-;;;-1:-1:-1;;;;;20795:19:0;;20787:52;;;;;-1:-1:-1;;;20787:52:0;;;;;;;;;;;;-1:-1:-1;;;20787:52:0;;;;;;;;;;;;;;;20881:1;20858:13;:20;:24;20850:53;;;;;-1:-1:-1;;;20850:53:0;;;;;;;;;;;;-1:-1:-1;;;20850:53:0;;;;;;;;;;;;;;;20960:10;:17;20936:13;:20;:41;:100;;;;;21015:14;:21;20994:10;:17;:42;20936:100;:158;;;;;21078:9;:16;21053:14;:21;:41;20936:158;:209;;;;;21131:7;:14;21111:9;:16;:34;20936:209;20914:295;;;;-1:-1:-1;;;20914:295:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21244:5;21222:12;;21296:849;21320:13;:20;21316:1;:24;21296:849;;;21398:1;-1:-1:-1;;;;;21370:30:0;:13;21384:1;21370:16;;;;;;;;;;;;;;-1:-1:-1;;;;;21370:30:0;;;21362:69;;;;;-1:-1:-1;;;21362:69:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;21446:20;21504:13;21518:1;21504:16;;;;;;;;;;;;;;21539:10;21550:1;21539:13;;;;;;;;;;;;;;21571:14;21586:1;21571:17;;;;;;;;;;;;;;21607:9;21617:1;21607:12;;;;;;;;;;;;;;21638:9;21469:193;;;;;:::i;:::-;-1:-1:-1;;;;;21469:193:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;21469:193:0;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;21469:193:0;21446:216;;21795:5;-1:-1:-1;;;;;21795:18:0;;21814:10;21834:4;21841:7;21849:1;21841:10;;;;;;;;;;;;;;21795:57;;;;;;;;;;;;;-1:-1:-1;;;;;21795:57:0;-1:-1:-1;;;;;21795:57:0;;;;;;-1:-1:-1;;;;;21795:57:0;-1:-1:-1;;;;;21795:57:0;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;21795:57:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;21795:57:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;21795:57:0;21787:106;;;;-1:-1:-1;;;21787:106:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21916:5;-1:-1:-1;;;;;21916:14:0;;21939:7;21949;21957:1;21949:10;;;;;;;;;;;;;;21916:44;;;;;;;;;;;;;-1:-1:-1;;;;;21916:44:0;-1:-1:-1;;;;;21916:44:0;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;21916:44:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;21916:44:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;21916:44:0;21908:81;;;;;-1:-1:-1;;;21908:81:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;22011:122;22039:7;22049:5;22056:7;22064:1;22056:10;;;;;;;;;;;;;;22068:13;22082:1;22068:16;;;;;;;;;;;;;;22086:10;22097:1;22086:13;;;;;;;;;;;;;;22101:14;22116:1;22101:17;;;;;;;;;;;;;;22120:9;22130:1;22120:12;;;;;;;;;;;;;;;;;;;22011:122;;;-1:-1:-1;;;;;22011:122:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;21342:3:0;;21296:849;;;;20513:1639;;;;;;;;:::o;20167:1988::-;;;;;;;;:::o

bzzr://e06c6620f219b38f4ccb3089d252929114a176a9239fd8ca5d323e632c78b7bb