Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

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 ...  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 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 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 ERC20 is IERC20    - function totalSupply()    - function balanceOf(address owner)    - function allowance(address owner, add ...    - function transfer(address to, uint256 ...    - function approve(address spender, uin ...    - function transferFrom(address from, a ...    - function _transfer(address from, addr ...  contract ERC20Mintable is ERC20    - function _mint(address to, uint256 am ...    - function _burn(address from, uint256 ... library ABDKMath64x64    - function mulu(int128 x, uint256 y)    - function divu(uint256 x, uint256 y)    - function exp_2(int128 x)    - function divuu(uint256 x, uint256 y)  contract stakingRateModel    - function stakingRate(uint256 time)    - function stakingRateMax()  contract sHakka is Ownable, ERC20M ... *    - function getStakingRate(uint256 time)    - function setStakingRateModel(address ...    - function stake(address to, uint256 am ...    - function restake(uint256 index, uint2 ...    - function unstake(address to, uint256 ...    - function inCaseTokenGetsStuckPartial( ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2022-06-07
*/

pragma solidity 0.5.17;

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;
    }
}

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;
    }
}

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 {
        _owner = _msgSender();
        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 _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;
    }
}

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);
}

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.
     *
     * 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.
     */
    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.

        // 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 != 0x0 && codehash != accountHash);
    }

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

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");
        }
    }
}

contract ERC20 is IERC20 {
    using SafeMath for uint256;

    mapping (address => uint256) internal _balances;
    mapping (address => mapping (address => uint256)) internal _allowed;
    
    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(address indexed owner, address indexed spender, uint256 value);

    uint256 internal _totalSupply;

    function totalSupply() public view returns (uint256) {
        return _totalSupply;
    }

    function balanceOf(address owner) public view returns (uint256) {
        return _balances[owner];
    }

    function allowance(address owner, address spender) public view returns (uint256) {
        return _allowed[owner][spender];
    }

    function transfer(address to, uint256 value) public returns (bool) {
        _transfer(msg.sender, to, value);
        return true;
    }

    function approve(address spender, uint256 value) public returns (bool) {
        _allowed[msg.sender][spender] = value;
        emit Approval(msg.sender, spender, value);
        return true;
    }

    function transferFrom(address from, address to, uint256 value) public returns (bool) {
        _allowed[from][msg.sender] = _allowed[from][msg.sender].sub(value);
        _transfer(from, to, value);
        return true;
    }

    function _transfer(address from, address to, uint256 value) internal {
        require(to != address(0));
        _balances[from] = _balances[from].sub(value);
        _balances[to] = _balances[to].add(value);
        emit Transfer(from, to, value);
    }
}

contract ERC20Mintable is ERC20 {
    string public name;
    string public symbol;
    uint8 public decimals;

    function _mint(address to, uint256 amount) internal {
        _balances[to] = _balances[to].add(amount);
        _totalSupply = _totalSupply.add(amount);
        emit Transfer(address(0), to, amount);
    }

    function _burn(address from, uint256 amount) internal {
        _balances[from] = _balances[from].sub(amount);
        _totalSupply = _totalSupply.sub(amount);
        emit Transfer(from, address(0), amount);
    }
}

library ABDKMath64x64 {
    /*
     * Minimum value signed 64.64-bit fixed point number may have.
     * -2^127
     */
    int128 private constant MIN_64x64 = -0x80000000000000000000000000000000;

    /*
     * Maximum value signed 64.64-bit fixed point number may have.
     * 2^127-1
     */
    int128 private constant MAX_64x64 = 0x7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF;

    /**
     * Calculate x * y rounding down, where x is signed 64.64 fixed point number
     * and y is unsigned 256-bit integer number.  Revert on overflow.
     *
     * @param x signed 64.64 fixed point number
     * @param y unsigned 256-bit integer number
     * @return unsigned 256-bit integer number
     */
    function mulu(int128 x, uint256 y) internal pure returns (uint256) {
        if (y == 0) return 0;

        require(x >= 0);

        uint256 lo = (uint256(x) * (y & 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF)) >> 64;
        uint256 hi = uint256(x) * (y >> 128);

        require(hi <= 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF);
        hi <<= 64;

        require(hi <= 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF - lo);
        return hi + lo;
    }

    /**
     * Calculate x / y rounding towards zero, where x and y are unsigned 256-bit
     * integer numbers.  Revert on overflow or when y is zero.
     *
     * @param x unsigned 256-bit integer number
     * @param y unsigned 256-bit integer number
     * @return signed 64.64-bit fixed point number
     */
    function divu(uint256 x, uint256 y) public pure returns (int128) {
        require(y != 0);
        uint128 result = divuu(x, y);
        require(result <= uint128(MAX_64x64));
        return int128(result);
    }

    /**
     * Calculate binary exponent of x.  Revert on overflow.
     *
     * @param x signed 64.64-bit fixed point number
     * @return signed 64.64-bit fixed point number
     */
    function exp_2(int128 x) public pure returns (int128) {
        require(x < 0x400000000000000000); // Overflow

        if (x < -0x400000000000000000) return 0; // Underflow

        uint256 result = 0x80000000000000000000000000000000;

        if (x & 0x8000000000000000 > 0) result = (result * 0x16A09E667F3BCC908B2FB1366EA957D3E) >> 128;
        if (x & 0x4000000000000000 > 0) result = (result * 0x1306FE0A31B7152DE8D5A46305C85EDEC) >> 128;
        if (x & 0x2000000000000000 > 0) result = (result * 0x1172B83C7D517ADCDF7C8C50EB14A791F) >> 128;
        if (x & 0x1000000000000000 > 0) result = (result * 0x10B5586CF9890F6298B92B71842A98363) >> 128;
        if (x & 0x800000000000000 > 0) result = (result * 0x1059B0D31585743AE7C548EB68CA417FD) >> 128;
        if (x & 0x400000000000000 > 0) result = (result * 0x102C9A3E778060EE6F7CACA4F7A29BDE8) >> 128;
        if (x & 0x200000000000000 > 0) result = (result * 0x10163DA9FB33356D84A66AE336DCDFA3F) >> 128;
        if (x & 0x100000000000000 > 0) result = (result * 0x100B1AFA5ABCBED6129AB13EC11DC9543) >> 128;
        if (x & 0x80000000000000 > 0) result = (result * 0x10058C86DA1C09EA1FF19D294CF2F679B) >> 128;
        if (x & 0x40000000000000 > 0) result = (result * 0x1002C605E2E8CEC506D21BFC89A23A00F) >> 128;
        if (x & 0x20000000000000 > 0) result = (result * 0x100162F3904051FA128BCA9C55C31E5DF) >> 128;
        if (x & 0x10000000000000 > 0) result = (result * 0x1000B175EFFDC76BA38E31671CA939725) >> 128;
        if (x & 0x8000000000000 > 0) result = (result * 0x100058BA01FB9F96D6CACD4B180917C3D) >> 128;
        if (x & 0x4000000000000 > 0) result = (result * 0x10002C5CC37DA9491D0985C348C68E7B3) >> 128;
        if (x & 0x2000000000000 > 0) result = (result * 0x1000162E525EE054754457D5995292026) >> 128;
        if (x & 0x1000000000000 > 0) result = (result * 0x10000B17255775C040618BF4A4ADE83FC) >> 128;
        if (x & 0x800000000000 > 0) result = (result * 0x1000058B91B5BC9AE2EED81E9B7D4CFAB) >> 128;
        if (x & 0x400000000000 > 0) result = (result * 0x100002C5C89D5EC6CA4D7C8ACC017B7C9) >> 128;
        if (x & 0x200000000000 > 0) result = (result * 0x10000162E43F4F831060E02D839A9D16D) >> 128;
        if (x & 0x100000000000 > 0) result = (result * 0x100000B1721BCFC99D9F890EA06911763) >> 128;
        if (x & 0x80000000000 > 0) result = (result * 0x10000058B90CF1E6D97F9CA14DBCC1628) >> 128;
        if (x & 0x40000000000 > 0) result = (result * 0x1000002C5C863B73F016468F6BAC5CA2B) >> 128;
        if (x & 0x20000000000 > 0) result = (result * 0x100000162E430E5A18F6119E3C02282A5) >> 128;
        if (x & 0x10000000000 > 0) result = (result * 0x1000000B1721835514B86E6D96EFD1BFE) >> 128;
        if (x & 0x8000000000 > 0) result = (result * 0x100000058B90C0B48C6BE5DF846C5B2EF) >> 128;
        if (x & 0x4000000000 > 0) result = (result * 0x10000002C5C8601CC6B9E94213C72737A) >> 128;
        if (x & 0x2000000000 > 0) result = (result * 0x1000000162E42FFF037DF38AA2B219F06) >> 128;
        if (x & 0x1000000000 > 0) result = (result * 0x10000000B17217FBA9C739AA5819F44F9) >> 128;
        if (x & 0x800000000 > 0) result = (result * 0x1000000058B90BFCDEE5ACD3C1CEDC823) >> 128;
        if (x & 0x400000000 > 0) result = (result * 0x100000002C5C85FE31F35A6A30DA1BE50) >> 128;
        if (x & 0x200000000 > 0) result = (result * 0x10000000162E42FF0999CE3541B9FFFCF) >> 128;
        if (x & 0x100000000 > 0) result = (result * 0x100000000B17217F80F4EF5AADDA45554) >> 128;
        if (x & 0x80000000 > 0) result = (result * 0x10000000058B90BFBF8479BD5A81B51AD) >> 128;
        if (x & 0x40000000 > 0) result = (result * 0x1000000002C5C85FDF84BD62AE30A74CC) >> 128;
        if (x & 0x20000000 > 0) result = (result * 0x100000000162E42FEFB2FED257559BDAA) >> 128;
        if (x & 0x10000000 > 0) result = (result * 0x1000000000B17217F7D5A7716BBA4A9AE) >> 128;
        if (x & 0x8000000 > 0) result = (result * 0x100000000058B90BFBE9DDBAC5E109CCE) >> 128;
        if (x & 0x4000000 > 0) result = (result * 0x10000000002C5C85FDF4B15DE6F17EB0D) >> 128;
        if (x & 0x2000000 > 0) result = (result * 0x1000000000162E42FEFA494F1478FDE05) >> 128;
        if (x & 0x1000000 > 0) result = (result * 0x10000000000B17217F7D20CF927C8E94C) >> 128;
        if (x & 0x800000 > 0) result = (result * 0x1000000000058B90BFBE8F71CB4E4B33D) >> 128;
        if (x & 0x400000 > 0) result = (result * 0x100000000002C5C85FDF477B662B26945) >> 128;
        if (x & 0x200000 > 0) result = (result * 0x10000000000162E42FEFA3AE53369388C) >> 128;
        if (x & 0x100000 > 0) result = (result * 0x100000000000B17217F7D1D351A389D40) >> 128;
        if (x & 0x80000 > 0) result = (result * 0x10000000000058B90BFBE8E8B2D3D4EDE) >> 128;
        if (x & 0x40000 > 0) result = (result * 0x1000000000002C5C85FDF4741BEA6E77E) >> 128;
        if (x & 0x20000 > 0) result = (result * 0x100000000000162E42FEFA39FE95583C2) >> 128;
        if (x & 0x10000 > 0) result = (result * 0x1000000000000B17217F7D1CFB72B45E1) >> 128;
        if (x & 0x8000 > 0) result = (result * 0x100000000000058B90BFBE8E7CC35C3F0) >> 128;
        if (x & 0x4000 > 0) result = (result * 0x10000000000002C5C85FDF473E242EA38) >> 128;
        if (x & 0x2000 > 0) result = (result * 0x1000000000000162E42FEFA39F02B772C) >> 128;
        if (x & 0x1000 > 0) result = (result * 0x10000000000000B17217F7D1CF7D83C1A) >> 128;
        if (x & 0x800 > 0) result = (result * 0x1000000000000058B90BFBE8E7BDCBE2E) >> 128;
        if (x & 0x400 > 0) result = (result * 0x100000000000002C5C85FDF473DEA871F) >> 128;
        if (x & 0x200 > 0) result = (result * 0x10000000000000162E42FEFA39EF44D91) >> 128;
        if (x & 0x100 > 0) result = (result * 0x100000000000000B17217F7D1CF79E949) >> 128;
        if (x & 0x80 > 0) result = (result * 0x10000000000000058B90BFBE8E7BCE544) >> 128;
        if (x & 0x40 > 0) result = (result * 0x1000000000000002C5C85FDF473DE6ECA) >> 128;
        if (x & 0x20 > 0) result = (result * 0x100000000000000162E42FEFA39EF366F) >> 128;
        if (x & 0x10 > 0) result = (result * 0x1000000000000000B17217F7D1CF79AFA) >> 128;
        if (x & 0x8 > 0) result = (result * 0x100000000000000058B90BFBE8E7BCD6D) >> 128;
        if (x & 0x4 > 0) result = (result * 0x10000000000000002C5C85FDF473DE6B2) >> 128;
        if (x & 0x2 > 0) result = (result * 0x1000000000000000162E42FEFA39EF358) >> 128;
        if (x & 0x1 > 0) result = (result * 0x10000000000000000B17217F7D1CF79AB) >> 128;

        result >>= uint256(63 - (x >> 64));
        require(result <= uint256(MAX_64x64));

        return int128(result);
    }

    /**
     * Calculate x / y rounding towards zero, where x and y are unsigned 256-bit
     * integer numbers.  Revert on overflow or when y is zero.
     *
     * @param x unsigned 256-bit integer number
     * @param y unsigned 256-bit integer number
     * @return unsigned 64.64-bit fixed point number
     */
    function divuu(uint256 x, uint256 y) private pure returns (uint128) {
        require(y != 0);

        uint256 result;

        if (x <= 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF) result = (x << 64) / y;
        else {
            uint256 msb = 192;
            uint256 xc = x >> 192;
            if (xc >= 0x100000000) {
                xc >>= 32;
                msb += 32;
            }
            if (xc >= 0x10000) {
                xc >>= 16;
                msb += 16;
            }
            if (xc >= 0x100) {
                xc >>= 8;
                msb += 8;
            }
            if (xc >= 0x10) {
                xc >>= 4;
                msb += 4;
            }
            if (xc >= 0x4) {
                xc >>= 2;
                msb += 2;
            }
            if (xc >= 0x2) msb += 1; // No need to shift xc anymore

            result = (x << (255 - msb)) / (((y - 1) >> (msb - 191)) + 1);
            require(result <= 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF);

            uint256 hi = result * (y >> 128);
            uint256 lo = result * (y & 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF);

            uint256 xh = x >> 192;
            uint256 xl = x << 64;

            if (xl < lo) xh -= 1;
            xl -= lo; // We rely on overflow behavior here
            lo = hi << 128;
            if (xl < lo) xh -= 1;
            xl -= lo; // We rely on overflow behavior here

            assert(xh == hi >> 128);

            result += xl / y;
        }

        require(result <= 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF);
        return uint128(result);
    }
}

contract stakingRateModel {
    using SafeMath for *;

    uint256 lastUpdateTimestamp;
    uint256 stakingRateStored;
    constructor() public {
        stakingRateStored = 0.0625e18;
        lastUpdateTimestamp = block.timestamp;
    }

    function stakingRate(uint256 time) external returns (uint256 rate) {
        if(time < 30 minutes) return 0;
        if(time > 1461 days) return 0;

        int128 t = ABDKMath64x64.divu(time, 365.25 days);
        int128 r = ABDKMath64x64.exp_2(t);
        rate = ABDKMath64x64.mulu(r, stakingRateMax());
    }

    function stakingRateMax() public returns (uint256 rate) {
        uint256 timeElapsed = block.timestamp.sub(lastUpdateTimestamp);
        if(timeElapsed > 0) {
            lastUpdateTimestamp = block.timestamp;
            int128 t = ABDKMath64x64.divu(timeElapsed, 365.25 days);
            int128 r = ABDKMath64x64.exp_2(t);
            rate = ABDKMath64x64.mulu(r, stakingRateStored);
            stakingRateStored = rate;
        }
        else rate = stakingRateStored;
    }

}

contract sHakka is Ownable, ERC20Mintable {
    using SafeMath for *;
    using SafeERC20 for IERC20;

    struct vault {
        uint256 hakkaAmount;
        uint256 wAmount;
        uint256 unlockTime;
    }

    event Stake(address indexed holder, address indexed depositor, uint256 amount, uint256 wAmount, uint256 time);
    event Restake(address indexed holder, uint256 index, uint256 amountAdded, uint256 wAmountAdded, uint256 time);
    event Unstake(address indexed holder, address indexed receiver, uint256 amount, uint256 wAmount);

    IERC20 public constant Hakka = IERC20(0x0E29e5AbbB5FD88e28b2d355774e73BD47dE3bcd);
    stakingRateModel public currentModel;

    mapping(address => mapping(uint256 => vault)) public vaults;
    mapping(address => uint256) public vaultCount;
    mapping(address => uint256) public stakedHakka;
    mapping(address => uint256) public votingPower;

    constructor() public {
        symbol = "sHAKKA";
        name = "Sealed Hakka";
        decimals = 18;
        _balances[address(this)] = uint256(-1);
        _balances[address(0)] = uint256(-1);
    }

    function getStakingRate(uint256 time) public returns (uint256 rate) {
        return currentModel.stakingRate(time);
    }

    function setStakingRateModel(address newModel) external onlyOwner {
        currentModel = stakingRateModel(newModel);
    }

    function stake(address to, uint256 amount, uint256 time) external returns (uint256 wAmount) {
        vault storage v = vaults[to][vaultCount[to]];
        wAmount = getStakingRate(time).mul(amount).div(1e18);
        require(wAmount > 0, "invalid lockup");

        v.hakkaAmount = amount;
        v.wAmount = wAmount;
        v.unlockTime = block.timestamp.add(time);
        
        stakedHakka[to] = stakedHakka[to].add(amount);
        votingPower[to] = votingPower[to].add(wAmount);
        vaultCount[to]++;

        _mint(to, wAmount);
        Hakka.safeTransferFrom(msg.sender, address(this), amount);

        emit Stake(to, msg.sender, amount, wAmount, time);
    }

    function restake(uint256 index, uint256 amount, uint256 time) external returns (uint256 wAmountAdded) {
        require(index < vaultCount[msg.sender], "invalid index");
        vault storage v = vaults[msg.sender][index];
        require(v.unlockTime < block.timestamp.add(time), "locked");
        uint256 newWAmount = v.hakkaAmount.add(amount).mul(getStakingRate(time)).div(1e18);
        require(newWAmount > 0, "invalid lockup");

        wAmountAdded = newWAmount.sub(v.wAmount);
        v.hakkaAmount = v.hakkaAmount.add(amount);
        v.wAmount = newWAmount;
        v.unlockTime = block.timestamp.add(time);

        stakedHakka[msg.sender] = stakedHakka[msg.sender].add(amount);
        votingPower[msg.sender] = votingPower[msg.sender].add(wAmountAdded);

        _mint(msg.sender, wAmountAdded);
        if(amount > 0) Hakka.safeTransferFrom(msg.sender, address(this), amount);

        emit Restake(msg.sender, index, amount, wAmountAdded, time);
    }

    function unstake(address to, uint256 index, uint256 wAmount) external returns (uint256 amount) {
        vault storage v = vaults[msg.sender][index];
        require(block.timestamp >= v.unlockTime, "locked");
        require(wAmount <= v.wAmount, "exceed locked amount");
        amount = wAmount.mul(v.hakkaAmount).div(v.wAmount);

        v.hakkaAmount = v.hakkaAmount.sub(amount);
        v.wAmount = v.wAmount.sub(wAmount);

        stakedHakka[msg.sender] = stakedHakka[msg.sender].sub(amount);
        votingPower[msg.sender] = votingPower[msg.sender].sub(wAmount);

        _burn(msg.sender, wAmount);
        Hakka.safeTransfer(to, amount);
        
        emit Unstake(msg.sender, to, amount, wAmount);
    }

    function inCaseTokenGetsStuckPartial(IERC20 _TokenAddress, uint256 _amount) onlyOwner external {
        require(_TokenAddress != Hakka);
        _TokenAddress.safeTransfer(msg.sender, _amount);
    }

}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"holder","type":"address"},{"indexed":false,"internalType":"uint256","name":"index","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"amountAdded","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"wAmountAdded","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"time","type":"uint256"}],"name":"Restake","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"holder","type":"address"},{"indexed":true,"internalType":"address","name":"depositor","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"wAmount","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"time","type":"uint256"}],"name":"Stake","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"holder","type":"address"},{"indexed":true,"internalType":"address","name":"receiver","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"wAmount","type":"uint256"}],"name":"Unstake","type":"event"},{"constant":true,"inputs":[],"name":"Hakka","outputs":[{"internalType":"contract IERC20","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"owner","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"currentModel","outputs":[{"internalType":"contract stakingRateModel","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"time","type":"uint256"}],"name":"getStakingRate","outputs":[{"internalType":"uint256","name":"rate","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"contract IERC20","name":"_TokenAddress","type":"address"},{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"inCaseTokenGetsStuckPartial","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"isOwner","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"renounceOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"index","type":"uint256"},{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"uint256","name":"time","type":"uint256"}],"name":"restake","outputs":[{"internalType":"uint256","name":"wAmountAdded","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"newModel","type":"address"}],"name":"setStakingRateModel","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"uint256","name":"time","type":"uint256"}],"name":"stake","outputs":[{"internalType":"uint256","name":"wAmount","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"stakedHakka","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"index","type":"uint256"},{"internalType":"uint256","name":"wAmount","type":"uint256"}],"name":"unstake","outputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"vaultCount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"uint256","name":"","type":"uint256"}],"name":"vaults","outputs":[{"internalType":"uint256","name":"hakkaAmount","type":"uint256"},{"internalType":"uint256","name":"wAmount","type":"uint256"},{"internalType":"uint256","name":"unlockTime","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"votingPower","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"}]

60806040523480156200001157600080fd5b50620000256001600160e01b036200012116565b600080546001600160a01b0319166001600160a01b03928316178082556040519216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a3604080518082019091526006808252657348414b4b4160d01b60209092019182526200009c9160059162000126565b5060408051808201909152600c8082526b5365616c65642048616b6b6160a01b6020909201918252620000d29160049162000126565b506006805460ff19166012179055306000908152600160205260408120600019908190559080527fa6eef7e35abe7026729641147f7915573c7e97b47efa546f5f6e3230263bcb4955620001c8565b335b90565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106200016957805160ff191683800117855562000199565b8280016001018555821562000199579182015b82811115620001995782518255916020019190600101906200017c565b50620001a7929150620001ab565b5090565b6200012391905b80821115620001a75760008155600101620001b2565b611f4880620001d86000396000f3fe608060405234801561001057600080fd5b50600436106101a25760003560e01c806370a08231116100ee57806395d89b4111610097578063c07473f611610071578063c07473f614610577578063ce733e6d146105aa578063dd62ed3e146105d3578063f2fde38b1461060e576101a2565b806395d89b41146104f7578063a2bc66be146104ff578063a9059cbb1461053e576101a2565b80638da5cb5b116100c85780638da5cb5b146104b45780638f32d59b146104bc5780639038ff80146104c4576101a2565b806370a0823114610422578063715018a6146104555780637bbfc69e1461045d576101a2565b806323b872dd116101505780634701a8ae1161012a5780634701a8ae146103ae5780634f97e491146103e1578063587558801461041a576101a2565b806323b872dd1461031c578063313ce5671461035f578063351a5f7b1461037d576101a2565b80630c51b88f116101815780630c51b88f146102a057806318160ddd146102df57806323ac136d146102e7576101a2565b80629a9756146101a757806306fdde03146101d6578063095ea7b314610253575b600080fd5b6101c4600480360360208110156101bd57600080fd5b5035610641565b60408051918252519081900360200190f35b6101de6106eb565b6040805160208082528351818301528351919283929083019185019080838360005b83811015610218578181015183820152602001610200565b50505050905090810190601f1680156102455780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b61028c6004803603604081101561026957600080fd5b5073ffffffffffffffffffffffffffffffffffffffff8135169060200135610797565b604080519115158252519081900360200190f35b6101c4600480360360608110156102b657600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813516906020810135906040013561080b565b6101c4610a45565b61031a600480360360208110156102fd57600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16610a4b565b005b61028c6004803603606081101561033257600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813581169160208101359091169060400135610b0a565b610367610b91565b6040805160ff9092168252519081900360200190f35b610385610b9a565b6040805173ffffffffffffffffffffffffffffffffffffffff9092168252519081900360200190f35b6101c4600480360360208110156103c457600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16610bbb565b61031a600480360360408110156103f757600080fd5b5073ffffffffffffffffffffffffffffffffffffffff8135169060200135610bcd565b610385610ca2565b6101c46004803603602081101561043857600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16610cba565b61031a610ce2565b6104966004803603604081101561047357600080fd5b5073ffffffffffffffffffffffffffffffffffffffff8135169060200135610dc4565b60408051938452602084019290925282820152519081900360600190f35b610385610df0565b61028c610e0c565b6101c4600480360360208110156104da57600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16610e4a565b6101de610e5c565b6101c46004803603606081101561051557600080fd5b5073ffffffffffffffffffffffffffffffffffffffff8135169060208101359060400135610ed5565b61028c6004803603604081101561055457600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813516906020013561110e565b6101c46004803603602081101561058d57600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16611124565b6101c4600480360360608110156105c057600080fd5b5080359060208101359060400135611136565b6101c4600480360360408110156105e957600080fd5b5073ffffffffffffffffffffffffffffffffffffffff8135811691602001351661141c565b61031a6004803603602081101561062457600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16611454565b600654604080517f80a537d9000000000000000000000000000000000000000000000000000000008152600481018490529051600092610100900473ffffffffffffffffffffffffffffffffffffffff16916380a537d991602480830192602092919082900301818787803b1580156106b957600080fd5b505af11580156106cd573d6000803e3d6000fd5b505050506040513d60208110156106e357600080fd5b505192915050565b6004805460408051602060026001851615610100027fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0190941693909304601f8101849004840282018401909252818152929183018282801561078f5780601f106107645761010080835404028352916020019161078f565b820191906000526020600020905b81548152906001019060200180831161077257829003601f168201915b505050505081565b33600081815260026020908152604080832073ffffffffffffffffffffffffffffffffffffffff8716808552908352818420869055815186815291519394909390927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925928290030190a35060015b92915050565b73ffffffffffffffffffffffffffffffffffffffff83166000908152600760209081526040808320600883528184205484529091528120610873670de0b6b3a76400006108678661085b87610641565b9063ffffffff6114d316565b9063ffffffff61154d16565b9150600082116108e457604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f696e76616c6964206c6f636b7570000000000000000000000000000000000000604482015290519081900360640190fd5b838155600181018290556108fe428463ffffffff61158f16565b600282015573ffffffffffffffffffffffffffffffffffffffff8516600090815260096020526040902054610939908563ffffffff61158f16565b73ffffffffffffffffffffffffffffffffffffffff8616600090815260096020908152604080832093909355600a9052205461097b908363ffffffff61158f16565b73ffffffffffffffffffffffffffffffffffffffff86166000908152600a60209081526040808320939093556008905220805460010190556109bd8583611603565b6109e3730e29e5abbb5fd88e28b2d355774e73bd47de3bcd33308763ffffffff6116c716565b60408051858152602081018490528082018590529051339173ffffffffffffffffffffffffffffffffffffffff8816917f4b22ccaaeb4846ec98072623a51a9070bf1f01c75ac1f8119035f373df852a0c9181900360600190a3509392505050565b60035490565b610a53610e0c565b610abe57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015290519081900360640190fd5b6006805473ffffffffffffffffffffffffffffffffffffffff909216610100027fffffffffffffffffffffff0000000000000000000000000000000000000000ff909216919091179055565b73ffffffffffffffffffffffffffffffffffffffff83166000908152600260209081526040808320338452909152812054610b4b908363ffffffff61176216565b73ffffffffffffffffffffffffffffffffffffffff85166000908152600260209081526040808320338452909152902055610b878484846117a4565b5060019392505050565b60065460ff1681565b600654610100900473ffffffffffffffffffffffffffffffffffffffff1681565b60096020526000908152604090205481565b610bd5610e0c565b610c4057604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015290519081900360640190fd5b73ffffffffffffffffffffffffffffffffffffffff8216730e29e5abbb5fd88e28b2d355774e73bd47de3bcd1415610c7757600080fd5b610c9e73ffffffffffffffffffffffffffffffffffffffff8316338363ffffffff6118a516565b5050565b730e29e5abbb5fd88e28b2d355774e73bd47de3bcd81565b73ffffffffffffffffffffffffffffffffffffffff1660009081526001602052604090205490565b610cea610e0c565b610d5557604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015290519081900360640190fd5b6000805460405173ffffffffffffffffffffffffffffffffffffffff909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080547fffffffffffffffffffffffff0000000000000000000000000000000000000000169055565b600760209081526000928352604080842090915290825290208054600182015460029092015490919083565b60005473ffffffffffffffffffffffffffffffffffffffff1690565b6000805473ffffffffffffffffffffffffffffffffffffffff16610e2e611937565b73ffffffffffffffffffffffffffffffffffffffff1614905090565b60086020526000908152604090205481565b6005805460408051602060026001851615610100027fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0190941693909304601f8101849004840282018401909252818152929183018282801561078f5780601f106107645761010080835404028352916020019161078f565b33600090815260076020908152604080832085845290915281206002810154421015610f6257604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600660248201527f6c6f636b65640000000000000000000000000000000000000000000000000000604482015290519081900360640190fd5b8060010154831115610fd557604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601460248201527f657863656564206c6f636b656420616d6f756e74000000000000000000000000604482015290519081900360640190fd5b60018101548154610ff2919061086790869063ffffffff6114d316565b8154909250611007908363ffffffff61176216565b8155600181015461101e908463ffffffff61176216565b600182015533600090815260096020526040902054611043908363ffffffff61176216565b33600090815260096020908152604080832093909355600a9052205461106f908463ffffffff61176216565b336000818152600a602052604090209190915561108c908461193b565b6110b1730e29e5abbb5fd88e28b2d355774e73bd47de3bcd868463ffffffff6118a516565b6040805183815260208101859052815173ffffffffffffffffffffffffffffffffffffffff88169233927f18edd09e80386cd99df397e2e0d87d2bb259423eae08645e776321a36fe680ef929081900390910190a3509392505050565b600061111b3384846117a4565b50600192915050565b600a6020526000908152604090205481565b3360009081526008602052604081205484106111b357604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600d60248201527f696e76616c696420696e64657800000000000000000000000000000000000000604482015290519081900360640190fd5b33600090815260076020908152604080832087845290915290206111dd428463ffffffff61158f16565b81600201541061124e57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600660248201527f6c6f636b65640000000000000000000000000000000000000000000000000000604482015290519081900360640190fd5b600061127a670de0b6b3a764000061086761126887610641565b855461085b908a63ffffffff61158f16565b9050600081116112eb57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f696e76616c6964206c6f636b7570000000000000000000000000000000000000604482015290519081900360640190fd5b600182015461130190829063ffffffff61176216565b8254909350611316908663ffffffff61158f16565b82556001820181905561132f428563ffffffff61158f16565b600283015533600090815260096020526040902054611354908663ffffffff61158f16565b33600090815260096020908152604080832093909355600a90522054611380908463ffffffff61158f16565b336000818152600a602052604090209190915561139d9084611603565b84156113c9576113c9730e29e5abbb5fd88e28b2d355774e73bd47de3bcd33308863ffffffff6116c716565b604080518781526020810187905280820185905260608101869052905133917fbc25936f61d661553dca1fb2bd2c968321f2a2f3061dc7511941bad73f2aa063919081900360800190a250509392505050565b73ffffffffffffffffffffffffffffffffffffffff918216600090815260026020908152604080832093909416825291909152205490565b61145c610e0c565b6114c757604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015290519081900360640190fd5b6114d0816119ff565b50565b6000826114e257506000610805565b828202828482816114ef57fe5b0414611546576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180611ec96021913960400191505060405180910390fd5b9392505050565b600061154683836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611af8565b60008282018381101561154657604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b73ffffffffffffffffffffffffffffffffffffffff8216600090815260016020526040902054611639908263ffffffff61158f16565b73ffffffffffffffffffffffffffffffffffffffff8316600090815260016020526040902055600354611672908263ffffffff61158f16565b60035560408051828152905173ffffffffffffffffffffffffffffffffffffffff8416916000917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9181900360200190a35050565b6040805173ffffffffffffffffffffffffffffffffffffffff85811660248301528416604482015260648082018490528251808303909101815260849091019091526020810180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167f23b872dd0000000000000000000000000000000000000000000000000000000017905261175c908590611bb4565b50505050565b600061154683836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611df2565b73ffffffffffffffffffffffffffffffffffffffff82166117c457600080fd5b73ffffffffffffffffffffffffffffffffffffffff83166000908152600160205260409020546117fa908263ffffffff61176216565b73ffffffffffffffffffffffffffffffffffffffff808516600090815260016020526040808220939093559084168152205461183c908263ffffffff61158f16565b73ffffffffffffffffffffffffffffffffffffffff80841660008181526001602090815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b6040805173ffffffffffffffffffffffffffffffffffffffff8416602482015260448082018490528251808303909101815260649091019091526020810180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167fa9059cbb00000000000000000000000000000000000000000000000000000000179052611932908490611bb4565b505050565b3390565b73ffffffffffffffffffffffffffffffffffffffff8216600090815260016020526040902054611971908263ffffffff61176216565b73ffffffffffffffffffffffffffffffffffffffff83166000908152600160205260409020556003546119aa908263ffffffff61176216565b60035560408051828152905160009173ffffffffffffffffffffffffffffffffffffffff8516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9181900360200190a35050565b73ffffffffffffffffffffffffffffffffffffffff8116611a6b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526026815260200180611ea36026913960400191505060405180910390fd5b6000805460405173ffffffffffffffffffffffffffffffffffffffff808516939216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a3600080547fffffffffffffffffffffffff00000000000000000000000000000000000000001673ffffffffffffffffffffffffffffffffffffffff92909216919091179055565b60008183611b9e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015611b63578181015183820152602001611b4b565b50505050905090810190601f168015611b905780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b506000838581611baa57fe5b0495945050505050565b611bd38273ffffffffffffffffffffffffffffffffffffffff16611e66565b611c3e57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601f60248201527f5361666545524332303a2063616c6c20746f206e6f6e2d636f6e747261637400604482015290519081900360640190fd5b600060608373ffffffffffffffffffffffffffffffffffffffff16836040518082805190602001908083835b60208310611ca757805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe09092019160209182019101611c6a565b6001836020036101000a0380198251168184511680821785525050505050509050019150506000604051808303816000865af19150503d8060008114611d09576040519150601f19603f3d011682016040523d82523d6000602084013e611d0e565b606091505b509150915081611d7f57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820181905260248201527f5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564604482015290519081900360640190fd5b80511561175c57808060200190516020811015611d9b57600080fd5b505161175c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602a815260200180611eea602a913960400191505060405180910390fd5b60008184841115611e5e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152602060048201818152835160248401528351909283926044909101919085019080838360008315611b63578181015183820152602001611b4b565b505050900390565b6000813f7fc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a4708115801590611e9a5750808214155b94935050505056fe4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061646472657373536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f775361666545524332303a204552433230206f7065726174696f6e20646964206e6f742073756363656564a265627a7a723158209234b6c04ffa71e699f0c87c592efbd8ba6f6cc96f099012ef5be684a5f2396264736f6c63430005110032

0x608060405234801561001057600080fd5b50600436106101a25760003560e01c806370a08231116100ee57806395d89b4111610097578063c07473f611610071578063c07473f614610577578063ce733e6d146105aa578063dd62ed3e146105d3578063f2fde38b1461060e576101a2565b806395d89b41146104f7578063a2bc66be146104ff578063a9059cbb1461053e576101a2565b80638da5cb5b116100c85780638da5cb5b146104b45780638f32d59b146104bc5780639038ff80146104c4576101a2565b806370a0823114610422578063715018a6146104555780637bbfc69e1461045d576101a2565b806323b872dd116101505780634701a8ae1161012a5780634701a8ae146103ae5780634f97e491146103e1578063587558801461041a576101a2565b806323b872dd1461031c578063313ce5671461035f578063351a5f7b1461037d576101a2565b80630c51b88f116101815780630c51b88f146102a057806318160ddd146102df57806323ac136d146102e7576101a2565b80629a9756146101a757806306fdde03146101d6578063095ea7b314610253575b600080fd5b6101c4600480360360208110156101bd57600080fd5b5035610641565b60408051918252519081900360200190f35b6101de6106eb565b6040805160208082528351818301528351919283929083019185019080838360005b83811015610218578181015183820152602001610200565b50505050905090810190601f1680156102455780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b61028c6004803603604081101561026957600080fd5b5073ffffffffffffffffffffffffffffffffffffffff8135169060200135610797565b604080519115158252519081900360200190f35b6101c4600480360360608110156102b657600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813516906020810135906040013561080b565b6101c4610a45565b61031a600480360360208110156102fd57600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16610a4b565b005b61028c6004803603606081101561033257600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813581169160208101359091169060400135610b0a565b610367610b91565b6040805160ff9092168252519081900360200190f35b610385610b9a565b6040805173ffffffffffffffffffffffffffffffffffffffff9092168252519081900360200190f35b6101c4600480360360208110156103c457600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16610bbb565b61031a600480360360408110156103f757600080fd5b5073ffffffffffffffffffffffffffffffffffffffff8135169060200135610bcd565b610385610ca2565b6101c46004803603602081101561043857600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16610cba565b61031a610ce2565b6104966004803603604081101561047357600080fd5b5073ffffffffffffffffffffffffffffffffffffffff8135169060200135610dc4565b60408051938452602084019290925282820152519081900360600190f35b610385610df0565b61028c610e0c565b6101c4600480360360208110156104da57600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16610e4a565b6101de610e5c565b6101c46004803603606081101561051557600080fd5b5073ffffffffffffffffffffffffffffffffffffffff8135169060208101359060400135610ed5565b61028c6004803603604081101561055457600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813516906020013561110e565b6101c46004803603602081101561058d57600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16611124565b6101c4600480360360608110156105c057600080fd5b5080359060208101359060400135611136565b6101c4600480360360408110156105e957600080fd5b5073ffffffffffffffffffffffffffffffffffffffff8135811691602001351661141c565b61031a6004803603602081101561062457600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16611454565b600654604080517f80a537d9000000000000000000000000000000000000000000000000000000008152600481018490529051600092610100900473ffffffffffffffffffffffffffffffffffffffff16916380a537d991602480830192602092919082900301818787803b1580156106b957600080fd5b505af11580156106cd573d6000803e3d6000fd5b505050506040513d60208110156106e357600080fd5b505192915050565b6004805460408051602060026001851615610100027fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0190941693909304601f8101849004840282018401909252818152929183018282801561078f5780601f106107645761010080835404028352916020019161078f565b820191906000526020600020905b81548152906001019060200180831161077257829003601f168201915b505050505081565b33600081815260026020908152604080832073ffffffffffffffffffffffffffffffffffffffff8716808552908352818420869055815186815291519394909390927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925928290030190a35060015b92915050565b73ffffffffffffffffffffffffffffffffffffffff83166000908152600760209081526040808320600883528184205484529091528120610873670de0b6b3a76400006108678661085b87610641565b9063ffffffff6114d316565b9063ffffffff61154d16565b9150600082116108e457604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f696e76616c6964206c6f636b7570000000000000000000000000000000000000604482015290519081900360640190fd5b838155600181018290556108fe428463ffffffff61158f16565b600282015573ffffffffffffffffffffffffffffffffffffffff8516600090815260096020526040902054610939908563ffffffff61158f16565b73ffffffffffffffffffffffffffffffffffffffff8616600090815260096020908152604080832093909355600a9052205461097b908363ffffffff61158f16565b73ffffffffffffffffffffffffffffffffffffffff86166000908152600a60209081526040808320939093556008905220805460010190556109bd8583611603565b6109e3730e29e5abbb5fd88e28b2d355774e73bd47de3bcd33308763ffffffff6116c716565b60408051858152602081018490528082018590529051339173ffffffffffffffffffffffffffffffffffffffff8816917f4b22ccaaeb4846ec98072623a51a9070bf1f01c75ac1f8119035f373df852a0c9181900360600190a3509392505050565b60035490565b610a53610e0c565b610abe57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015290519081900360640190fd5b6006805473ffffffffffffffffffffffffffffffffffffffff909216610100027fffffffffffffffffffffff0000000000000000000000000000000000000000ff909216919091179055565b73ffffffffffffffffffffffffffffffffffffffff83166000908152600260209081526040808320338452909152812054610b4b908363ffffffff61176216565b73ffffffffffffffffffffffffffffffffffffffff85166000908152600260209081526040808320338452909152902055610b878484846117a4565b5060019392505050565b60065460ff1681565b600654610100900473ffffffffffffffffffffffffffffffffffffffff1681565b60096020526000908152604090205481565b610bd5610e0c565b610c4057604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015290519081900360640190fd5b73ffffffffffffffffffffffffffffffffffffffff8216730e29e5abbb5fd88e28b2d355774e73bd47de3bcd1415610c7757600080fd5b610c9e73ffffffffffffffffffffffffffffffffffffffff8316338363ffffffff6118a516565b5050565b730e29e5abbb5fd88e28b2d355774e73bd47de3bcd81565b73ffffffffffffffffffffffffffffffffffffffff1660009081526001602052604090205490565b610cea610e0c565b610d5557604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015290519081900360640190fd5b6000805460405173ffffffffffffffffffffffffffffffffffffffff909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080547fffffffffffffffffffffffff0000000000000000000000000000000000000000169055565b600760209081526000928352604080842090915290825290208054600182015460029092015490919083565b60005473ffffffffffffffffffffffffffffffffffffffff1690565b6000805473ffffffffffffffffffffffffffffffffffffffff16610e2e611937565b73ffffffffffffffffffffffffffffffffffffffff1614905090565b60086020526000908152604090205481565b6005805460408051602060026001851615610100027fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0190941693909304601f8101849004840282018401909252818152929183018282801561078f5780601f106107645761010080835404028352916020019161078f565b33600090815260076020908152604080832085845290915281206002810154421015610f6257604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600660248201527f6c6f636b65640000000000000000000000000000000000000000000000000000604482015290519081900360640190fd5b8060010154831115610fd557604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601460248201527f657863656564206c6f636b656420616d6f756e74000000000000000000000000604482015290519081900360640190fd5b60018101548154610ff2919061086790869063ffffffff6114d316565b8154909250611007908363ffffffff61176216565b8155600181015461101e908463ffffffff61176216565b600182015533600090815260096020526040902054611043908363ffffffff61176216565b33600090815260096020908152604080832093909355600a9052205461106f908463ffffffff61176216565b336000818152600a602052604090209190915561108c908461193b565b6110b1730e29e5abbb5fd88e28b2d355774e73bd47de3bcd868463ffffffff6118a516565b6040805183815260208101859052815173ffffffffffffffffffffffffffffffffffffffff88169233927f18edd09e80386cd99df397e2e0d87d2bb259423eae08645e776321a36fe680ef929081900390910190a3509392505050565b600061111b3384846117a4565b50600192915050565b600a6020526000908152604090205481565b3360009081526008602052604081205484106111b357604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600d60248201527f696e76616c696420696e64657800000000000000000000000000000000000000604482015290519081900360640190fd5b33600090815260076020908152604080832087845290915290206111dd428463ffffffff61158f16565b81600201541061124e57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600660248201527f6c6f636b65640000000000000000000000000000000000000000000000000000604482015290519081900360640190fd5b600061127a670de0b6b3a764000061086761126887610641565b855461085b908a63ffffffff61158f16565b9050600081116112eb57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f696e76616c6964206c6f636b7570000000000000000000000000000000000000604482015290519081900360640190fd5b600182015461130190829063ffffffff61176216565b8254909350611316908663ffffffff61158f16565b82556001820181905561132f428563ffffffff61158f16565b600283015533600090815260096020526040902054611354908663ffffffff61158f16565b33600090815260096020908152604080832093909355600a90522054611380908463ffffffff61158f16565b336000818152600a602052604090209190915561139d9084611603565b84156113c9576113c9730e29e5abbb5fd88e28b2d355774e73bd47de3bcd33308863ffffffff6116c716565b604080518781526020810187905280820185905260608101869052905133917fbc25936f61d661553dca1fb2bd2c968321f2a2f3061dc7511941bad73f2aa063919081900360800190a250509392505050565b73ffffffffffffffffffffffffffffffffffffffff918216600090815260026020908152604080832093909416825291909152205490565b61145c610e0c565b6114c757604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015290519081900360640190fd5b6114d0816119ff565b50565b6000826114e257506000610805565b828202828482816114ef57fe5b0414611546576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180611ec96021913960400191505060405180910390fd5b9392505050565b600061154683836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611af8565b60008282018381101561154657604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b73ffffffffffffffffffffffffffffffffffffffff8216600090815260016020526040902054611639908263ffffffff61158f16565b73ffffffffffffffffffffffffffffffffffffffff8316600090815260016020526040902055600354611672908263ffffffff61158f16565b60035560408051828152905173ffffffffffffffffffffffffffffffffffffffff8416916000917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9181900360200190a35050565b6040805173ffffffffffffffffffffffffffffffffffffffff85811660248301528416604482015260648082018490528251808303909101815260849091019091526020810180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167f23b872dd0000000000000000000000000000000000000000000000000000000017905261175c908590611bb4565b50505050565b600061154683836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611df2565b73ffffffffffffffffffffffffffffffffffffffff82166117c457600080fd5b73ffffffffffffffffffffffffffffffffffffffff83166000908152600160205260409020546117fa908263ffffffff61176216565b73ffffffffffffffffffffffffffffffffffffffff808516600090815260016020526040808220939093559084168152205461183c908263ffffffff61158f16565b73ffffffffffffffffffffffffffffffffffffffff80841660008181526001602090815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b6040805173ffffffffffffffffffffffffffffffffffffffff8416602482015260448082018490528251808303909101815260649091019091526020810180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167fa9059cbb00000000000000000000000000000000000000000000000000000000179052611932908490611bb4565b505050565b3390565b73ffffffffffffffffffffffffffffffffffffffff8216600090815260016020526040902054611971908263ffffffff61176216565b73ffffffffffffffffffffffffffffffffffffffff83166000908152600160205260409020556003546119aa908263ffffffff61176216565b60035560408051828152905160009173ffffffffffffffffffffffffffffffffffffffff8516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9181900360200190a35050565b73ffffffffffffffffffffffffffffffffffffffff8116611a6b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526026815260200180611ea36026913960400191505060405180910390fd5b6000805460405173ffffffffffffffffffffffffffffffffffffffff808516939216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a3600080547fffffffffffffffffffffffff00000000000000000000000000000000000000001673ffffffffffffffffffffffffffffffffffffffff92909216919091179055565b60008183611b9e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015611b63578181015183820152602001611b4b565b50505050905090810190601f168015611b905780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b506000838581611baa57fe5b0495945050505050565b611bd38273ffffffffffffffffffffffffffffffffffffffff16611e66565b611c3e57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601f60248201527f5361666545524332303a2063616c6c20746f206e6f6e2d636f6e747261637400604482015290519081900360640190fd5b600060608373ffffffffffffffffffffffffffffffffffffffff16836040518082805190602001908083835b60208310611ca757805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe09092019160209182019101611c6a565b6001836020036101000a0380198251168184511680821785525050505050509050019150506000604051808303816000865af19150503d8060008114611d09576040519150601f19603f3d011682016040523d82523d6000602084013e611d0e565b606091505b509150915081611d7f57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820181905260248201527f5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564604482015290519081900360640190fd5b80511561175c57808060200190516020811015611d9b57600080fd5b505161175c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602a815260200180611eea602a913960400191505060405180910390fd5b60008184841115611e5e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152602060048201818152835160248401528351909283926044909101919085019080838360008315611b63578181015183820152602001611b4b565b505050900390565b6000813f7fc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a4708115801590611e9a5750808214155b94935050505056fe4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061646472657373536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f775361666545524332303a204552433230206f7065726174696f6e20646964206e6f742073756363656564a265627a7a723158209234b6c04ffa71e699f0c87c592efbd8ba6f6cc96f099012ef5be684a5f2396264736f6c63430005110032

30184:4050:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;30184:4050:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;31321:124;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;31321:124:0;;:::i;:::-;;;;;;;;;;;;;;;;18032:18;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:100:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;18032:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17280:201;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;17280:201:0;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;31587:694;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;31587:694:0;;;;;;;;;;;;;;:::i;16780:91::-;;;:::i;31453:126::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;31453:126:0;;;;:::i;:::-;;17489:229;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;17489:229:0;;;;;;;;;;;;;;;;;;:::i;18084:21::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;30834:36;;;:::i;:::-;;;;;;;;;;;;;;;;;;;30997:46;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;30997:46:0;;;;:::i;34026:203::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;34026:203:0;;;;;;;;;:::i;30746:81::-;;;:::i;16879:106::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;16879:106:0;;;;:::i;6755:140::-;;;:::i;30879:59::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;30879:59:0;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;5944:79;;;:::i;6310:94::-;;;:::i;30945:45::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;30945:45:0;;;;:::i;18057:20::-;;;:::i;33283:735::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;33283:735:0;;;;;;;;;;;;;;:::i;17132:140::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;17132:140:0;;;;;;;;;:::i;31050:46::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;31050:46:0;;;;:::i;32289:986::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;32289:986:0;;;;;;;;;;;;:::i;16993:131::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;16993:131:0;;;;;;;;;;;:::i;7050:109::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;7050:109:0;;;;:::i;31321:124::-;31407:12;;:30;;;;;;;;;;;;;;-1:-1:-1;;31407:12:0;;;;;;:24;;:30;;;;;;;;;;;;;;-1:-1:-1;31407:12:0;:30;;;5:2:-1;;;;30:1;27;20:12;5:2;31407:30:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;31407:30:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;31407:30:0;;31321:124;-1:-1:-1;;31321:124:0:o;18032:18::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;17280:201::-;17371:10;17345:4;17362:20;;;:8;:20;;;;;;;;;:29;;;;;;;;;;;:37;;;17415:36;;;;;;;17345:4;;17362:29;;17371:10;;17415:36;;;;;;;;-1:-1:-1;17469:4:0;17280:201;;;;;:::o;31587:694::-;31708:10;;;31662:15;31708:10;;;:6;:10;;;;;;;;31719;:14;;;;;;31708:26;;;;;;;31755:42;31792:4;31755:32;31780:6;31755:20;31770:4;31755:14;:20::i;:::-;:24;:32;:24;:32;:::i;:::-;:36;:42;:36;:42;:::i;:::-;31745:52;;31826:1;31816:7;:11;31808:38;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;31859:22;;;31892:9;;;:19;;;31937:25;:15;31957:4;31937:25;:19;:25;:::i;:::-;31922:12;;;:40;32001:15;;;;;;;:11;:15;;;;;;:27;;32021:6;32001:27;:19;:27;:::i;:::-;31983:15;;;;;;;:11;:15;;;;;;;;:45;;;;32057:11;:15;;;;:28;;32077:7;32057:28;:19;:28;:::i;:::-;32039:15;;;;;;;:11;:15;;;;;;;;:46;;;;32096:10;:14;;;:16;;;;;;32125:18;32051:2;32135:7;32125:5;:18::i;:::-;32154:57;30784:42;32177:10;32197:4;32204:6;32154:57;:22;:57;:::i;:::-;32229:44;;;;;;;;;;;;;;;;;;;;32239:10;;32229:44;;;;;;;;;;;;;31587:694;;;;;;:::o;16780:91::-;16851:12;;16780:91;:::o;31453:126::-;6156:9;:7;:9::i;:::-;6148:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;31530:12;:41;;;;;;;;;;;;;;;;;;31453:126::o;17489:229::-;17614:14;;;17568:4;17614:14;;;:8;:14;;;;;;;;17629:10;17614:26;;;;;;;;:37;;17645:5;17614:37;:30;:37;:::i;:::-;17585:14;;;;;;;:8;:14;;;;;;;;17600:10;17585:26;;;;;;;:66;17662:26;17594:4;17678:2;17682:5;17662:9;:26::i;:::-;-1:-1:-1;17706:4:0;17489:229;;;;;:::o;18084:21::-;;;;;;:::o;30834:36::-;;;;;;;;;:::o;30997:46::-;;;;;;;;;;;;;:::o;34026:203::-;6156:9;:7;:9::i;:::-;6148:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;34140:22;;;30784:42;34140:22;;34132:31;;;;;;34174:47;:26;;;34201:10;34213:7;34174:47;:26;:47;:::i;:::-;34026:203;;:::o;30746:81::-;30784:42;30746:81;:::o;16879:106::-;16961:16;;16934:7;16961:16;;;:9;:16;;;;;;;16879:106::o;6755:140::-;6156:9;:7;:9::i;:::-;6148:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6854:1;6838:6;;6817:40;;;6838:6;;;;6817:40;;6854:1;;6817:40;6885:1;6868:19;;;;;;6755:140::o;30879:59::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;5944:79::-;5982:7;6009:6;;;5944:79;:::o;6310:94::-;6350:4;6390:6;;;;6374:12;:10;:12::i;:::-;:22;;;6367:29;;6310:94;:::o;30945:45::-;;;;;;;;;;;;;:::o;18057:20::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;33283:735;33414:10;33362:14;33407:18;;;:6;:18;;;;;;;;:25;;;;;;;;33470:12;;;;33451:15;:31;;33443:50;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;33523:1;:9;;;33512:7;:20;;33504:53;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;33608:9;;;;33589:13;;33577:41;;33608:9;33577:26;;:7;;:26;:11;:26;:::i;:41::-;33647:13;;33568:50;;-1:-1:-1;33647:25:0;;33568:50;33647:25;:17;:25;:::i;:::-;33631:41;;33695:9;;;;:22;;33709:7;33695:22;:13;:22;:::i;:::-;33683:9;;;:34;33768:10;33756:23;;;;:11;:23;;;;;;:35;;33784:6;33756:35;:27;:35;:::i;:::-;33742:10;33730:23;;;;:11;:23;;;;;;;;:61;;;;33828:11;:23;;;;:36;;33856:7;33828:36;:27;:36;:::i;:::-;33814:10;33802:23;;;;:11;:23;;;;;:62;;;;33877:26;;33895:7;33877:5;:26::i;:::-;33914:30;30784:42;33933:2;33937:6;33914:30;:18;:30;:::i;:::-;33970:40;;;;;;;;;;;;;;;;;;33978:10;;33970:40;;;;;;;;;;;33283:735;;;;;;:::o;17132:140::-;17193:4;17210:32;17220:10;17232:2;17236:5;17210:9;:32::i;:::-;-1:-1:-1;17260:4:0;17132:140;;;;:::o;31050:46::-;;;;;;;;;;;;;:::o;32289:986::-;32429:10;32369:20;32418:22;;;:10;:22;;;;;;32410:30;;32402:56;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;32494:10;32469:15;32487:18;;;:6;:18;;;;;;;;:25;;;;;;;;32546;:15;32566:4;32546:25;:19;:25;:::i;:::-;32531:1;:12;;;:40;32523:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;32593:18;32614:61;32670:4;32614:51;32644:20;32659:4;32644:14;:20::i;:::-;32614:13;;:25;;32632:6;32614:25;:17;:25;:::i;:61::-;32593:82;;32707:1;32694:10;:14;32686:41;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;32770:9;;;;32755:25;;:10;;:25;:14;:25;:::i;:::-;32807:13;;32740:40;;-1:-1:-1;32807:25:0;;32825:6;32807:25;:17;:25;:::i;:::-;32791:41;;32843:9;;;:22;;;32891:25;:15;32911:4;32891:25;:19;:25;:::i;:::-;32876:12;;;:40;32967:10;32955:23;;;;:11;:23;;;;;;:35;;32983:6;32955:35;:27;:35;:::i;:::-;32941:10;32929:23;;;;:11;:23;;;;;;;;:61;;;;33027:11;:23;;;;:41;;33055:12;33027:41;:27;:41;:::i;:::-;33013:10;33001:23;;;;:11;:23;;;;;:67;;;;33081:31;;33099:12;33081:5;:31::i;:::-;33126:10;;33123:72;;33138:57;30784:42;33161:10;33181:4;33188:6;33138:57;:22;:57;:::i;:::-;33213:54;;;;;;;;;;;;;;;;;;;;;;;;;;33221:10;;33213:54;;;;;;;;;;32289:986;;;;;;;:::o;16993:131::-;17092:15;;;;17065:7;17092:15;;;:8;:15;;;;;;;;:24;;;;;;;;;;;;;16993:131::o;7050:109::-;6156:9;:7;:9::i;:::-;6148:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7123:28;7142:8;7123:18;:28::i;:::-;7050:109;:::o;1654:471::-;1712:7;1957:6;1953:47;;-1:-1:-1;1987:1:0;1980:8;;1953:47;2024:5;;;2028:1;2024;:5;:1;2048:5;;;;;:10;2040:56;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2116:1;1654:471;-1:-1:-1;;;1654:471:0:o;2593:132::-;2651:7;2678:39;2682:1;2685;2678:39;;;;;;;;;;;;;;;;;:3;:39::i;282:181::-;340:7;372:5;;;396:6;;;;388:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18114:210;18193:13;;;;;;;:9;:13;;;;;;:25;;18211:6;18193:25;:17;:25;:::i;:::-;18177:13;;;;;;;:9;:13;;;;;:41;18244:12;;:24;;18261:6;18244:24;:16;:24;:::i;:::-;18229:12;:39;18284:32;;;;;;;;;;;;18301:1;;18284:32;;;;;;;;;18114:210;;:::o;13401:204::-;13528:68;;;13551:18;13528:68;;;;;;;;;;;;;;;;;;;;;;26:21:-1;;;22:32;;;6:49;;13528:68:0;;;;;;;;25:18:-1;;61:17;;13528:68:0;182:15:-1;13551:27:0;179:29:-1;160:49;;13502:95:0;;13521:5;;13502:18;:95::i;:::-;13401:204;;;;:::o;738:136::-;796:7;823:43;827:1;830;823:43;;;;;;;;;;;;;;;;;:3;:43::i;17726:260::-;17814:16;;;17806:25;;;;;;17860:15;;;;;;;:9;:15;;;;;;:26;;17880:5;17860:26;:19;:26;:::i;:::-;17842:15;;;;;;;;:9;:15;;;;;;:44;;;;17913:13;;;;;;;:24;;17931:5;17913:24;:17;:24;:::i;:::-;17897:13;;;;;;;;:9;:13;;;;;;;;;:40;;;;17953:25;;;;;;;17897:13;;17953:25;;;;;;;;;;;;;17726:260;;;:::o;13217:176::-;13326:58;;;13349:14;13326:58;;;;;;;;;;;;;;;26:21:-1;;;22:32;;;6:49;;13326:58:0;;;;;;;;25:18:-1;;61:17;;13326:58:0;182:15:-1;13349:23:0;179:29:-1;160:49;;13300:85:0;;13319:5;;13300:18;:85::i;:::-;13217:176;;;:::o;5148:98::-;5228:10;5148:98;:::o;18332:218::-;18415:15;;;;;;;:9;:15;;;;;;:27;;18435:6;18415:27;:19;:27;:::i;:::-;18397:15;;;;;;;:9;:15;;;;;:45;18468:12;;:24;;18485:6;18468:24;:16;:24;:::i;:::-;18453:12;:39;18508:34;;;;;;;;18531:1;;18508:34;;;;;;;;;;;;;18332:218;;:::o;7265:229::-;7339:22;;;7331:73;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7441:6;;;7420:38;;;;;;;7441:6;;;7420:38;;;7469:6;:17;;;;;;;;;;;;;;;7265:229::o;3255:345::-;3341:7;3443:12;3436:5;3428:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;3428:28:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3467:9;3483:1;3479;:5;;;;;;;3255:345;-1:-1:-1;;;;;3255:345:0:o;15256:1114::-;15860:27;15868:5;15860:25;;;:27::i;:::-;15852:71;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15997:12;16011:23;16046:5;16038:19;;16058:4;16038:25;;;;;;;;;;;;;36:153:-1;66:2;61:3;58:11;36:153;;176:10;;164:23;;139:12;;;;;98:2;89:12;;;;114;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;;;16038: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;;15996:67:0;;;;16082:7;16074:52;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16143:17;;:21;16139:224;;16285:10;16274:30;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;16274:30:0;16266:85;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1211:192;1297:7;1333:12;1325:6;;;;1317:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;27:10:-1;;8:100;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;1317:29:0;-1:-1:-1;;;1369:5:0;;;1211:192::o;10616:810::-;10676:4;11335:20;;11178:66;11375:15;;;;;:42;;;11406:11;11394:8;:23;;11375:42;11367:51;10616:810;-1:-1:-1;;;;10616:810:0:o

bzzr://9234b6c04ffa71e699f0c87c592efbd8ba6f6cc96f099012ef5be684a5f23962