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 ...
• 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)
• library SafeERC20
•    - function safeTransfer(IERC20 token, a ...
•    - function safeTransferFrom(IERC20 toke ...
•    - function callOptionalReturn(IERC20 to ...
•  contract IMinableERC20 is IERC20
•    - function mint(address account, uint a ...
•  contract RewardLockPool *
•    - function start(address stake_token, a ...
•    - function lastTimeRewardApplicable()
•    - function rewardPerToken()
•    - function earned(address account)
•    - function stake(uint256 amount)
•    - function withdraw(uint256 amount)
•    - function exit()
•    - function getReward()
•    - function canWithdraw(address account)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-10-29
*/

// Created By BitDNS.vip
// contact : Reward Pool
// SPDX-License-Identifier: MIT

pragma solidity ^0.5.8;

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

        return c;
    }

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

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

        return c;
    }

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

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

        return c;
    }

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

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

        return c;
    }
}

// File: @openzeppelin/contracts/token/ERC20/IERC20.sol
/**
 * @dev Interface of the ERC20 standard as defined in the EIP. Does not include
 * the optional functions; to access them see {ERC20Detailed}.
 */
interface IERC20 {
    /**
     * @dev Returns the amount of tokens in existence.
     */
    function totalSupply() external view returns (uint256);

    /**
     * @dev Returns the amount of tokens owned by `account`.
     */
    function balanceOf(address account) external view returns (uint256);

    /**
     * @dev Moves `amount` tokens from the caller's account to `recipient`.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transfer(address recipient, uint256 amount) external returns (bool);

    /**
     * @dev Returns the remaining number of tokens that `spender` will be
     * allowed to spend on behalf of `owner` through {transferFrom}. This is
     * zero by default.
     *
     * This value changes when {approve} or {transferFrom} are called.
     */
    function allowance(address owner, address spender) external view returns (uint256);

    /**
     * @dev Sets `amount` as the allowance of `spender` over the caller's tokens.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * IMPORTANT: Beware that changing an allowance with this method brings the risk
     * that someone may use both the old and the new allowance by unfortunate
     * transaction ordering. One possible solution to mitigate this race
     * condition is to first reduce the spender's allowance to 0 and set the
     * desired value afterwards:
     * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
     *
     * Emits an {Approval} event.
     */
    function approve(address spender, uint256 amount) external returns (bool);

    /**
     * @dev Moves `amount` tokens from `sender` to `recipient` using the
     * allowance mechanism. `amount` is then deducted from the caller's
     * allowance.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);

    /**
     * @dev Emitted when `value` tokens are moved from one account (`from`) to
     * another (`to`).
     *
     * Note that `value` may be zero.
     */
    event Transfer(address indexed from, address indexed to, uint256 value);

    /**
     * @dev Emitted when the allowance of a `spender` for an `owner` is set by
     * a call to {approve}. `value` is the new allowance.
     */
    event Approval(address indexed owner, address indexed spender, uint256 value);
}

// File: @openzeppelin/contracts/utils/Address.sol
/**
 * @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.
     *
     * 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.

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

// File: @openzeppelin/contracts/token/ERC20/SafeERC20.sol
/**
 * @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));
    }

    /**
     * @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 IMinableERC20 is IERC20 {
    function mint(address account, uint amount) public;
}

contract RewardLockPool {
    using SafeMath for uint256;
    using Address for address;
    using SafeERC20 for IERC20;
    using SafeERC20 for IMinableERC20;

    IERC20 public stakeToken;
    IMinableERC20 public rewardToken;
    
    bool public started;
    uint256 public totalSupply;
    uint256 public rewardFinishTime = 0;
    uint256 public rewardRate = 0;
    uint256 public lastUpdateTime;
    uint256 public rewardPerTokenStored;
    mapping(address => uint256) public userRewardPerTokenPaid;
    mapping(address => uint256) public rewards;
    mapping(address => uint256) public balanceOf;
    mapping(address => uint256) public lockTimeOf;
    address private governance;

    event RewardAdded(uint256 reward);
    event Staked(address indexed user, uint256 amount, uint256 beforeT, uint256 afterT);
    event Withdrawn(address indexed user, uint256 amount, uint256 beforeT, uint256 afterT);
    event RewardPaid(address indexed user, uint256 reward, uint256 beforeT, uint256 afterT);

    modifier updateReward(address account) {
        rewardPerTokenStored = rewardPerToken();
        lastUpdateTime = lastTimeRewardApplicable();
        if (account != address(0)) {
            rewards[account] = earned(account);
            userRewardPerTokenPaid[account] = rewardPerTokenStored;
        }
        _;
    }

    modifier onlyOwner() {
        require(msg.sender == governance, "!governance");
        _;
    }

    constructor () public {
        governance = msg.sender;
    }

    function start(address stake_token, address reward_token, uint256 reward, uint256 duration) public onlyOwner {
        require(!started, "already started");
        require(stake_token != address(0) && stake_token.isContract(), "stake token is non-contract");
        require(reward_token != address(0) && reward_token.isContract(), "reward token is non-contract");

        started = true;
        stakeToken = IERC20(stake_token);
        rewardToken = IMinableERC20(reward_token);
        rewardRate = reward.mul(1e18).div(duration);
        lastUpdateTime = block.timestamp;
        rewardFinishTime = block.timestamp.add(duration);
    }

    function lastTimeRewardApplicable() internal view returns (uint256) {
        return block.timestamp < rewardFinishTime ? block.timestamp : rewardFinishTime;
    }

    function rewardPerToken() public view returns (uint256) {
        if (totalSupply == 0) {
            return rewardPerTokenStored;
        }
        return
        rewardPerTokenStored.add(
            lastTimeRewardApplicable()
            .sub(lastUpdateTime)
            .mul(rewardRate)
            .mul(1e18)
            .div(totalSupply)
        );
    }

    function earned(address account) public view returns (uint256) {
        return
        balanceOf[account]
        .mul(rewardPerToken().sub(userRewardPerTokenPaid[account]))
        .div(1e18)
        .add(rewards[account]);
    }

    function stake(uint256 amount) public updateReward(msg.sender) {
        require(started, "Not start yet");
        require(amount > 0, "Cannot stake 0");
        require(stakeToken.balanceOf(msg.sender) >= amount, "insufficient balance to stake");
        uint256 beforeT = stakeToken.balanceOf(address(this));
        
        stakeToken.safeTransferFrom(msg.sender, address(this), amount);
        totalSupply = totalSupply.add(amount);
        balanceOf[msg.sender] = balanceOf[msg.sender].add(amount);
        
        uint256 afterT = stakeToken.balanceOf(address(this));

        // Add Lock Time Begin:
        lockTimeOf[msg.sender] = block.timestamp.add(14 days);
        // Add Lock Time End!!!

        emit Staked(msg.sender, amount, beforeT, afterT);
    }

    function withdraw(uint256 amount) public updateReward(msg.sender) {
        require(started, "Not start yet");
        require(amount > 0, "Cannot withdraw 0");
        require(balanceOf[msg.sender] >= amount, "Insufficient balance to withdraw");

        // Add Lock Time Begin:
        require(canWithdraw(msg.sender), "Must be locked for 14 days or Mining ended");
        // Add Lock Time End!!!

        uint256 beforeT = stakeToken.balanceOf(address(this));
        
        totalSupply = totalSupply.sub(amount);
        balanceOf[msg.sender] = balanceOf[msg.sender].sub(amount);
        stakeToken.safeTransfer(msg.sender, amount);

        uint256 afterT = stakeToken.balanceOf(address(this));
        emit Withdrawn(msg.sender, amount, beforeT, afterT);
    }

    function exit() external {
        require(started, "Not start yet");
        withdraw(balanceOf[msg.sender]);
        getReward();
    }

    function getReward() public updateReward(msg.sender) {
        require(started, "Not start yet");
        
        uint256 reward = earned(msg.sender);
        if (reward > 0) {
            rewards[msg.sender] = 0;
            uint256 beforeT = rewardToken.balanceOf(address(this));
            rewardToken.mint(msg.sender, reward);
            //rewardToken.safeTransfer(msg.sender, reward);
            uint256 afterT = rewardToken.balanceOf(address(this));
            emit RewardPaid(msg.sender, reward, beforeT, afterT);
        }
    }

    // Add Lock Time Begin:
    function canWithdraw(address account) public view returns (bool) {
        return started && (balanceOf[account] > 0) && 
            (block.timestamp >= lockTimeOf[account] || block.timestamp >= rewardFinishTime);
    }
    // Add Lock Time End!!!
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[{"name":"account","type":"address"}],"name":"earned","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"rewards","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"stake_token","type":"address"},{"name":"reward_token","type":"address"},{"name":"reward","type":"uint256"},{"name":"duration","type":"uint256"}],"name":"start","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"account","type":"address"}],"name":"canWithdraw","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"started","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"lockTimeOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"amount","type":"uint256"}],"name":"withdraw","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"getReward","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"stakeToken","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"rewardFinishTime","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"balanceOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"rewardRate","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"userRewardPerTokenPaid","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"amount","type":"uint256"}],"name":"stake","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"lastUpdateTime","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"rewardPerToken","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"rewardPerTokenStored","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"exit","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"rewardToken","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":false,"name":"reward","type":"uint256"}],"name":"RewardAdded","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"user","type":"address"},{"indexed":false,"name":"amount","type":"uint256"},{"indexed":false,"name":"beforeT","type":"uint256"},{"indexed":false,"name":"afterT","type":"uint256"}],"name":"Staked","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"user","type":"address"},{"indexed":false,"name":"amount","type":"uint256"},{"indexed":false,"name":"beforeT","type":"uint256"},{"indexed":false,"name":"afterT","type":"uint256"}],"name":"Withdrawn","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"user","type":"address"},{"indexed":false,"name":"reward","type":"uint256"},{"indexed":false,"name":"beforeT","type":"uint256"},{"indexed":false,"name":"afterT","type":"uint256"}],"name":"RewardPaid","type":"event"}]

60806040526000600355600060045534801561001a57600080fd5b5033600b60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506126df8061006b6000396000f3fe608060405234801561001057600080fd5b506004361061012b5760003560e01c80636b419bf7116100ad578063c8f33c9111610071578063c8f33c91146104e8578063cd3daf9d14610506578063df136d6514610524578063e9fad8ee14610542578063f7c618c11461054c5761012b565b80636b419bf7146103ce57806370a08231146103ec5780637b0a47ee146104445780638b87634714610462578063a694fc3a146104ba5761012b565b80631f2698ab116100f45780631f2698ab146102d25780632a7d61b7146102f45780632e1a7d4d1461034c5780633d18b9121461037a57806351ed6a30146103845761012b565b80628cc262146101305780630700037d146101885780630f4c5fac146101e057806318160ddd1461025857806319262d3014610276575b600080fd5b6101726004803603602081101561014657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610596565b6040518082815260200191505060405180910390f35b6101ca6004803603602081101561019e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506106b4565b6040518082815260200191505060405180910390f35b610256600480360360808110156101f657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803590602001909291905050506106cc565b005b610260610a9a565b6040518082815260200191505060405180910390f35b6102b86004803603602081101561028c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610aa0565b604051808215151515815260200191505060405180910390f35b6102da610b5c565b604051808215151515815260200191505060405180910390f35b6103366004803603602081101561030a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610b6f565b6040518082815260200191505060405180910390f35b6103786004803603602081101561036257600080fd5b8101908080359060200190929190505050610b87565b005b610382611190565b005b61038c611633565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6103d6611658565b6040518082815260200191505060405180910390f35b61042e6004803603602081101561040257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061165e565b6040518082815260200191505060405180910390f35b61044c611676565b6040518082815260200191505060405180910390f35b6104a46004803603602081101561047857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061167c565b6040518082815260200191505060405180910390f35b6104e6600480360360208110156104d057600080fd5b8101908080359060200190929190505050611694565b005b6104f0611d33565b6040518082815260200191505060405180910390f35b61050e611d39565b6040518082815260200191505060405180910390f35b61052c611dc7565b6040518082815260200191505060405180910390f35b61054a611dcd565b005b610554611ea1565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b60006106ad600860008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461069f670de0b6b3a7640000610691610643600760008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610635611d39565b611ec790919063ffffffff16565b600960008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611f1190919063ffffffff16565b611f9790919063ffffffff16565b611fe190919063ffffffff16565b9050919050565b60086020528060005260406000206000915090505481565b600b60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461078f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600b8152602001807f21676f7665726e616e636500000000000000000000000000000000000000000081525060200191505060405180910390fd5b600160149054906101000a900460ff1615610812576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600f8152602001807f616c72656164792073746172746564000000000000000000000000000000000081525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff161415801561086a57506108698473ffffffffffffffffffffffffffffffffffffffff16612069565b5b6108dc576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f7374616b6520746f6b656e206973206e6f6e2d636f6e7472616374000000000081525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415801561093457506109338373ffffffffffffffffffffffffffffffffffffffff16612069565b5b6109a6576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601c8152602001807f72657761726420746f6b656e206973206e6f6e2d636f6e74726163740000000081525060200191505060405180910390fd5b60018060146101000a81548160ff021916908315150217905550836000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555082600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550610a6e81610a60670de0b6b3a764000085611f1190919063ffffffff16565b611f9790919063ffffffff16565b60048190555042600581905550610a8e8142611fe190919063ffffffff16565b60038190555050505050565b60025481565b6000600160149054906101000a900460ff168015610afd57506000600960008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054115b8015610b555750600a60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205442101580610b5457506003544210155b5b9050919050565b600160149054906101000a900460ff1681565b600a6020528060005260406000206000915090505481565b33610b90611d39565b600681905550610b9e61207c565b600581905550600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614610c6b57610be181610596565b600860008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600654600760008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b600160149054906101000a900460ff16610ced576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600d8152602001807f4e6f74207374617274207965740000000000000000000000000000000000000081525060200191505060405180910390fd5b60008211610d63576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260118152602001807f43616e6e6f74207769746864726177203000000000000000000000000000000081525060200191505060405180910390fd5b81600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610e18576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f496e73756666696369656e742062616c616e636520746f20776974686472617781525060200191505060405180910390fd5b610e2133610aa0565b610e76576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602a81526020018061263f602a913960400191505060405180910390fd5b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015610f1657600080fd5b505afa158015610f2a573d6000803e3d6000fd5b505050506040513d6020811015610f4057600080fd5b81019080805190602001909291905050509050610f6883600254611ec790919063ffffffff16565b600281905550610fc083600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611ec790919063ffffffff16565b600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061104f33846000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166120969092919063ffffffff16565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156110ef57600080fd5b505afa158015611103573d6000803e3d6000fd5b505050506040513d602081101561111957600080fd5b810190808051906020019092919050505090503373ffffffffffffffffffffffffffffffffffffffff167f75e161b3e824b114fc1a33274bd7091918dd4e639cede50b78b15a4eea956a2185848460405180848152602001838152602001828152602001935050505060405180910390a250505050565b33611199611d39565b6006819055506111a761207c565b600581905550600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614611274576111ea81610596565b600860008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600654600760008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b600160149054906101000a900460ff166112f6576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600d8152602001807f4e6f74207374617274207965740000000000000000000000000000000000000081525060200191505060405180910390fd5b600061130133610596565b9050600081111561162f576000600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156113f257600080fd5b505afa158015611406573d6000803e3d6000fd5b505050506040513d602081101561141c57600080fd5b81019080805190602001909291905050509050600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166340c10f1933846040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050600060405180830381600087803b1580156114d857600080fd5b505af11580156114ec573d6000803e3d6000fd5b505050506000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561159157600080fd5b505afa1580156115a5573d6000803e3d6000fd5b505050506040513d60208110156115bb57600080fd5b810190808051906020019092919050505090503373ffffffffffffffffffffffffffffffffffffffff167fa4b7979b77c5bef65740b7e1d7a09534eadc2803d5c1cfdae60fa28226be6da284848460405180848152602001838152602001828152602001935050505060405180910390a250505b5050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60035481565b60096020528060005260406000206000915090505481565b60045481565b60076020528060005260406000206000915090505481565b3361169d611d39565b6006819055506116ab61207c565b600581905550600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614611778576116ee81610596565b600860008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600654600760008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b600160149054906101000a900460ff166117fa576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600d8152602001807f4e6f74207374617274207965740000000000000000000000000000000000000081525060200191505060405180910390fd5b60008211611870576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f43616e6e6f74207374616b65203000000000000000000000000000000000000081525060200191505060405180910390fd5b816000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561190f57600080fd5b505afa158015611923573d6000803e3d6000fd5b505050506040513d602081101561193957600080fd5b810190808051906020019092919050505010156119be576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601d8152602001807f696e73756666696369656e742062616c616e636520746f207374616b6500000081525060200191505060405180910390fd5b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015611a5e57600080fd5b505afa158015611a72573d6000803e3d6000fd5b505050506040513d6020811015611a8857600080fd5b81019080805190602001909291905050509050611ae93330856000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16612167909392919063ffffffff16565b611afe83600254611fe190919063ffffffff16565b600281905550611b5683600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611fe190919063ffffffff16565b600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555060008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015611c3957600080fd5b505afa158015611c4d573d6000803e3d6000fd5b505050506040513d6020811015611c6357600080fd5b81019080805190602001909291905050509050611c8c6212750042611fe190919063ffffffff16565b600a60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff167fb4caaf29adda3eefee3ad552a8e85058589bf834c7466cae4ee58787f70589ed85848460405180848152602001838152602001828152602001935050505060405180910390a250505050565b60055481565b6000806002541415611d4f576006549050611dc4565b611dc1611db0600254611da2670de0b6b3a7640000611d94600454611d86600554611d7861207c565b611ec790919063ffffffff16565b611f1190919063ffffffff16565b611f1190919063ffffffff16565b611f9790919063ffffffff16565b600654611fe190919063ffffffff16565b90505b90565b60065481565b600160149054906101000a900460ff16611e4f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600d8152602001807f4e6f74207374617274207965740000000000000000000000000000000000000081525060200191505060405180910390fd5b611e97600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610b87565b611e9f611190565b565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000611f0983836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061226d565b905092915050565b600080831415611f245760009050611f91565b6000828402905082848281611f3557fe5b0414611f8c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260218152602001806126696021913960400191505060405180910390fd5b809150505b92915050565b6000611fd983836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061232d565b905092915050565b60008082840190508381101561205f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b600080823b905060008111915050919050565b6000600354421061208f57600354612091565b425b905090565b612162838473ffffffffffffffffffffffffffffffffffffffff1663a9059cbb905060e01b8484604051602401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050604051602081830303815290604052907bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19166020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff83818316178352505050506123f3565b505050565b612267848573ffffffffffffffffffffffffffffffffffffffff166323b872dd905060e01b858585604051602401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050604051602081830303815290604052907bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19166020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff83818316178352505050506123f3565b50505050565b600083831115829061231a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b838110156122df5780820151818401526020810190506122c4565b50505050905090810190601f16801561230c5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385039050809150509392505050565b600080831182906123d9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b8381101561239e578082015181840152602081019050612383565b50505050905090810190601f1680156123cb5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385816123e557fe5b049050809150509392505050565b6124128273ffffffffffffffffffffffffffffffffffffffff16612069565b612484576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f5361666545524332303a2063616c6c20746f206e6f6e2d636f6e74726163740081525060200191505060405180910390fd5b600060608373ffffffffffffffffffffffffffffffffffffffff16836040518082805190602001908083835b602083106124d357805182526020820191506020810190506020830392506124b0565b6001836020036101000a0380198251168184511680821785525050505050509050019150506000604051808303816000865af19150503d8060008114612535576040519150601f19603f3d011682016040523d82523d6000602084013e61253a565b606091505b5091509150816125b2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c656481525060200191505060405180910390fd5b600081511115612638578080602001905160208110156125d157600080fd5b8101908080519060200190929190505050612637576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602a81526020018061268a602a913960400191505060405180910390fd5b5b5050505056fe4d757374206265206c6f636b656420666f722031342064617973206f72204d696e696e6720656e646564536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f775361666545524332303a204552433230206f7065726174696f6e20646964206e6f742073756363656564a165627a7a723058201173d3cf04e5afd230e8beeb17716778c3d72721fd0fd5e161c6c5a04167a6fe0029

0x608060405234801561001057600080fd5b506004361061012b5760003560e01c80636b419bf7116100ad578063c8f33c9111610071578063c8f33c91146104e8578063cd3daf9d14610506578063df136d6514610524578063e9fad8ee14610542578063f7c618c11461054c5761012b565b80636b419bf7146103ce57806370a08231146103ec5780637b0a47ee146104445780638b87634714610462578063a694fc3a146104ba5761012b565b80631f2698ab116100f45780631f2698ab146102d25780632a7d61b7146102f45780632e1a7d4d1461034c5780633d18b9121461037a57806351ed6a30146103845761012b565b80628cc262146101305780630700037d146101885780630f4c5fac146101e057806318160ddd1461025857806319262d3014610276575b600080fd5b6101726004803603602081101561014657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610596565b6040518082815260200191505060405180910390f35b6101ca6004803603602081101561019e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506106b4565b6040518082815260200191505060405180910390f35b610256600480360360808110156101f657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803590602001909291905050506106cc565b005b610260610a9a565b6040518082815260200191505060405180910390f35b6102b86004803603602081101561028c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610aa0565b604051808215151515815260200191505060405180910390f35b6102da610b5c565b604051808215151515815260200191505060405180910390f35b6103366004803603602081101561030a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610b6f565b6040518082815260200191505060405180910390f35b6103786004803603602081101561036257600080fd5b8101908080359060200190929190505050610b87565b005b610382611190565b005b61038c611633565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6103d6611658565b6040518082815260200191505060405180910390f35b61042e6004803603602081101561040257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061165e565b6040518082815260200191505060405180910390f35b61044c611676565b6040518082815260200191505060405180910390f35b6104a46004803603602081101561047857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061167c565b6040518082815260200191505060405180910390f35b6104e6600480360360208110156104d057600080fd5b8101908080359060200190929190505050611694565b005b6104f0611d33565b6040518082815260200191505060405180910390f35b61050e611d39565b6040518082815260200191505060405180910390f35b61052c611dc7565b6040518082815260200191505060405180910390f35b61054a611dcd565b005b610554611ea1565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b60006106ad600860008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461069f670de0b6b3a7640000610691610643600760008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610635611d39565b611ec790919063ffffffff16565b600960008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611f1190919063ffffffff16565b611f9790919063ffffffff16565b611fe190919063ffffffff16565b9050919050565b60086020528060005260406000206000915090505481565b600b60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461078f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600b8152602001807f21676f7665726e616e636500000000000000000000000000000000000000000081525060200191505060405180910390fd5b600160149054906101000a900460ff1615610812576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600f8152602001807f616c72656164792073746172746564000000000000000000000000000000000081525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff161415801561086a57506108698473ffffffffffffffffffffffffffffffffffffffff16612069565b5b6108dc576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f7374616b6520746f6b656e206973206e6f6e2d636f6e7472616374000000000081525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415801561093457506109338373ffffffffffffffffffffffffffffffffffffffff16612069565b5b6109a6576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601c8152602001807f72657761726420746f6b656e206973206e6f6e2d636f6e74726163740000000081525060200191505060405180910390fd5b60018060146101000a81548160ff021916908315150217905550836000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555082600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550610a6e81610a60670de0b6b3a764000085611f1190919063ffffffff16565b611f9790919063ffffffff16565b60048190555042600581905550610a8e8142611fe190919063ffffffff16565b60038190555050505050565b60025481565b6000600160149054906101000a900460ff168015610afd57506000600960008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054115b8015610b555750600a60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205442101580610b5457506003544210155b5b9050919050565b600160149054906101000a900460ff1681565b600a6020528060005260406000206000915090505481565b33610b90611d39565b600681905550610b9e61207c565b600581905550600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614610c6b57610be181610596565b600860008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600654600760008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b600160149054906101000a900460ff16610ced576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600d8152602001807f4e6f74207374617274207965740000000000000000000000000000000000000081525060200191505060405180910390fd5b60008211610d63576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260118152602001807f43616e6e6f74207769746864726177203000000000000000000000000000000081525060200191505060405180910390fd5b81600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610e18576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f496e73756666696369656e742062616c616e636520746f20776974686472617781525060200191505060405180910390fd5b610e2133610aa0565b610e76576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602a81526020018061263f602a913960400191505060405180910390fd5b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015610f1657600080fd5b505afa158015610f2a573d6000803e3d6000fd5b505050506040513d6020811015610f4057600080fd5b81019080805190602001909291905050509050610f6883600254611ec790919063ffffffff16565b600281905550610fc083600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611ec790919063ffffffff16565b600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061104f33846000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166120969092919063ffffffff16565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156110ef57600080fd5b505afa158015611103573d6000803e3d6000fd5b505050506040513d602081101561111957600080fd5b810190808051906020019092919050505090503373ffffffffffffffffffffffffffffffffffffffff167f75e161b3e824b114fc1a33274bd7091918dd4e639cede50b78b15a4eea956a2185848460405180848152602001838152602001828152602001935050505060405180910390a250505050565b33611199611d39565b6006819055506111a761207c565b600581905550600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614611274576111ea81610596565b600860008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600654600760008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b600160149054906101000a900460ff166112f6576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600d8152602001807f4e6f74207374617274207965740000000000000000000000000000000000000081525060200191505060405180910390fd5b600061130133610596565b9050600081111561162f576000600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156113f257600080fd5b505afa158015611406573d6000803e3d6000fd5b505050506040513d602081101561141c57600080fd5b81019080805190602001909291905050509050600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166340c10f1933846040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050600060405180830381600087803b1580156114d857600080fd5b505af11580156114ec573d6000803e3d6000fd5b505050506000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561159157600080fd5b505afa1580156115a5573d6000803e3d6000fd5b505050506040513d60208110156115bb57600080fd5b810190808051906020019092919050505090503373ffffffffffffffffffffffffffffffffffffffff167fa4b7979b77c5bef65740b7e1d7a09534eadc2803d5c1cfdae60fa28226be6da284848460405180848152602001838152602001828152602001935050505060405180910390a250505b5050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60035481565b60096020528060005260406000206000915090505481565b60045481565b60076020528060005260406000206000915090505481565b3361169d611d39565b6006819055506116ab61207c565b600581905550600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614611778576116ee81610596565b600860008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600654600760008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b600160149054906101000a900460ff166117fa576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600d8152602001807f4e6f74207374617274207965740000000000000000000000000000000000000081525060200191505060405180910390fd5b60008211611870576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f43616e6e6f74207374616b65203000000000000000000000000000000000000081525060200191505060405180910390fd5b816000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561190f57600080fd5b505afa158015611923573d6000803e3d6000fd5b505050506040513d602081101561193957600080fd5b810190808051906020019092919050505010156119be576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601d8152602001807f696e73756666696369656e742062616c616e636520746f207374616b6500000081525060200191505060405180910390fd5b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015611a5e57600080fd5b505afa158015611a72573d6000803e3d6000fd5b505050506040513d6020811015611a8857600080fd5b81019080805190602001909291905050509050611ae93330856000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16612167909392919063ffffffff16565b611afe83600254611fe190919063ffffffff16565b600281905550611b5683600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611fe190919063ffffffff16565b600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555060008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015611c3957600080fd5b505afa158015611c4d573d6000803e3d6000fd5b505050506040513d6020811015611c6357600080fd5b81019080805190602001909291905050509050611c8c6212750042611fe190919063ffffffff16565b600a60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff167fb4caaf29adda3eefee3ad552a8e85058589bf834c7466cae4ee58787f70589ed85848460405180848152602001838152602001828152602001935050505060405180910390a250505050565b60055481565b6000806002541415611d4f576006549050611dc4565b611dc1611db0600254611da2670de0b6b3a7640000611d94600454611d86600554611d7861207c565b611ec790919063ffffffff16565b611f1190919063ffffffff16565b611f1190919063ffffffff16565b611f9790919063ffffffff16565b600654611fe190919063ffffffff16565b90505b90565b60065481565b600160149054906101000a900460ff16611e4f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600d8152602001807f4e6f74207374617274207965740000000000000000000000000000000000000081525060200191505060405180910390fd5b611e97600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610b87565b611e9f611190565b565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000611f0983836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061226d565b905092915050565b600080831415611f245760009050611f91565b6000828402905082848281611f3557fe5b0414611f8c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260218152602001806126696021913960400191505060405180910390fd5b809150505b92915050565b6000611fd983836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061232d565b905092915050565b60008082840190508381101561205f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b600080823b905060008111915050919050565b6000600354421061208f57600354612091565b425b905090565b612162838473ffffffffffffffffffffffffffffffffffffffff1663a9059cbb905060e01b8484604051602401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050604051602081830303815290604052907bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19166020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff83818316178352505050506123f3565b505050565b612267848573ffffffffffffffffffffffffffffffffffffffff166323b872dd905060e01b858585604051602401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050604051602081830303815290604052907bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19166020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff83818316178352505050506123f3565b50505050565b600083831115829061231a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b838110156122df5780820151818401526020810190506122c4565b50505050905090810190601f16801561230c5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385039050809150509392505050565b600080831182906123d9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b8381101561239e578082015181840152602081019050612383565b50505050905090810190601f1680156123cb5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385816123e557fe5b049050809150509392505050565b6124128273ffffffffffffffffffffffffffffffffffffffff16612069565b612484576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f5361666545524332303a2063616c6c20746f206e6f6e2d636f6e74726163740081525060200191505060405180910390fd5b600060608373ffffffffffffffffffffffffffffffffffffffff16836040518082805190602001908083835b602083106124d357805182526020820191506020810190506020830392506124b0565b6001836020036101000a0380198251168184511680821785525050505050509050019150506000604051808303816000865af19150503d8060008114612535576040519150601f19603f3d011682016040523d82523d6000602084013e61253a565b606091505b5091509150816125b2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c656481525060200191505060405180910390fd5b600081511115612638578080602001905160208110156125d157600080fd5b8101908080519060200190929190505050612637576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602a81526020018061268a602a913960400191505060405180910390fd5b5b5050505056fe4d757374206265206c6f636b656420666f722031342064617973206f72204d696e696e6720656e646564536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f775361666545524332303a204552433230206f7065726174696f6e20646964206e6f742073756363656564a165627a7a723058201173d3cf04e5afd230e8beeb17716778c3d72721fd0fd5e161c6c5a04167a6fe0029

10826:5592:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10826:5592:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13590:237;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;13590:237:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;11352:42;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;11352:42:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;12376:653;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;12376:653:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;11099:26;;;:::i;:::-;;;;;;;;;;;;;;;;;;;16163:223;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;16163:223:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;11073:19;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;11452:45;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;11452:45:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;14630:786;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;14630:786:0;;;;;;;;;;;;;;;;;:::i;:::-;;15573:553;;;:::i;:::-;;10997:24;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;11132:35;;;:::i;:::-;;;;;;;;;;;;;;;;;;;11401:44;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;11401:44:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;11174:29;;;:::i;:::-;;;;;;;;;;;;;;;;;;;11288:57;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;11288:57:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;13835:787;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;13835:787:0;;;;;;;;;;;;;;;;;:::i;:::-;;11210:29;;;:::i;:::-;;;;;;;;;;;;;;;;;;;13210:372;;;:::i;:::-;;;;;;;;;;;;;;;;;;;11246:35;;;:::i;:::-;;;;;;;;;;;;;;;;;;;15424:141;;;:::i;:::-;;11028:32;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;13590:237;13644:7;13680:139;13802:7;:16;13810:7;13802:16;;;;;;;;;;;;;;;;13680:107;13782:4;13680:87;13713:53;13734:22;:31;13757:7;13734:31;;;;;;;;;;;;;;;;13713:16;:14;:16::i;:::-;:20;;:53;;;;:::i;:::-;13680:9;:18;13690:7;13680:18;;;;;;;;;;;;;;;;:32;;:87;;;;:::i;:::-;:101;;:107;;;;:::i;:::-;:121;;:139;;;;:::i;:::-;13664:155;;13590:237;;;:::o;11352:42::-;;;;;;;;;;;;;;;;;:::o;12376:653::-;12250:10;;;;;;;;;;;12236:24;;:10;:24;;;12228:48;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12505:7;;;;;;;;;;;12504:8;12496:36;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12574:1;12551:25;;:11;:25;;;;:53;;;;;12580:24;:11;:22;;;:24::i;:::-;12551:53;12543:93;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12679:1;12655:26;;:12;:26;;;;:55;;;;;12685:25;:12;:23;;;:25::i;:::-;12655:55;12647:96;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12766:4;12756:7;;:14;;;;;;;;;;;;;;;;;;12801:11;12781:10;;:32;;;;;;;;;;;;;;;;;;12852:12;12824:11;;:41;;;;;;;;;;;;;;;;;;12889:30;12910:8;12889:16;12900:4;12889:6;:10;;:16;;;;:::i;:::-;:20;;:30;;;;:::i;:::-;12876:10;:43;;;;12947:15;12930:14;:32;;;;12992:29;13012:8;12992:15;:19;;:29;;;;:::i;:::-;12973:16;:48;;;;12376:653;;;;:::o;11099:26::-;;;;:::o;16163:223::-;16222:4;16246:7;;;;;;;;;;;:35;;;;;16279:1;16258:9;:18;16268:7;16258:18;;;;;;;;;;;;;;;;:22;16246:35;:132;;;;;16319:10;:19;16330:7;16319:19;;;;;;;;;;;;;;;;16300:15;:38;;:77;;;;16361:16;;16342:15;:35;;16300:77;16246:132;16239:139;;16163:223;;;:::o;11073:19::-;;;;;;;;;;;;;:::o;11452:45::-;;;;;;;;;;;;;;;;;:::o;14630:786::-;14684:10;11931:16;:14;:16::i;:::-;11908:20;:39;;;;11975:26;:24;:26::i;:::-;11958:14;:43;;;;12035:1;12016:21;;:7;:21;;;12012:157;;12073:15;12080:7;12073:6;:15::i;:::-;12054:7;:16;12062:7;12054:16;;;;;;;;;;;;;;;:34;;;;12137:20;;12103:22;:31;12126:7;12103:31;;;;;;;;;;;;;;;:54;;;;12012:157;14715:7;;;;;;;;;;;14707:33;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14768:1;14759:6;:10;14751:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14835:6;14810:9;:21;14820:10;14810:21;;;;;;;;;;;;;;;;:31;;14802:76;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14932:23;14944:10;14932:11;:23::i;:::-;14924:78;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15048:15;15066:10;;;;;;;;;;;:20;;;15095:4;15066:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15066:35:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;15066:35:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;15066:35:0;;;;;;;;;;;;;;;;15048:53;;15136:23;15152:6;15136:11;;:15;;:23;;;;:::i;:::-;15122:11;:37;;;;15194:33;15220:6;15194:9;:21;15204:10;15194:21;;;;;;;;;;;;;;;;:25;;:33;;;;:::i;:::-;15170:9;:21;15180:10;15170:21;;;;;;;;;;;;;;;:57;;;;15238:43;15262:10;15274:6;15238:10;;;;;;;;;;;:23;;;;:43;;;;;:::i;:::-;15294:14;15311:10;;;;;;;;;;;:20;;;15340:4;15311:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15311:35:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;15311:35:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;15311:35:0;;;;;;;;;;;;;;;;15294:52;;15372:10;15362:46;;;15384:6;15392:7;15401:6;15362:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12179:1;;14630:786;;:::o;15573:553::-;15614:10;11931:16;:14;:16::i;:::-;11908:20;:39;;;;11975:26;:24;:26::i;:::-;11958:14;:43;;;;12035:1;12016:21;;:7;:21;;;12012:157;;12073:15;12080:7;12073:6;:15::i;:::-;12054:7;:16;12062:7;12054:16;;;;;;;;;;;;;;;:34;;;;12137:20;;12103:22;:31;12126:7;12103:31;;;;;;;;;;;;;;;:54;;;;12012:157;15645:7;;;;;;;;;;;15637:33;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15691:14;15708:18;15715:10;15708:6;:18::i;:::-;15691:35;;15750:1;15741:6;:10;15737:382;;;15790:1;15768:7;:19;15776:10;15768:19;;;;;;;;;;;;;;;:23;;;;15806:15;15824:11;;;;;;;;;;;:21;;;15854:4;15824:36;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15824:36:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;15824:36:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;15824:36:0;;;;;;;;;;;;;;;;15806:54;;15875:11;;;;;;;;;;;:16;;;15892:10;15904:6;15875:36;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15875:36:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;15875:36:0;;;;15987:14;16004:11;;;;;;;;;;;:21;;;16034:4;16004:36;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;16004:36:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;16004:36:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;16004:36:0;;;;;;;;;;;;;;;;15987:53;;16071:10;16060:47;;;16083:6;16091:7;16100:6;16060:47;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15737:382;;;12179:1;15573:553;:::o;10997:24::-;;;;;;;;;;;;;:::o;11132:35::-;;;;:::o;11401:44::-;;;;;;;;;;;;;;;;;:::o;11174:29::-;;;;:::o;11288:57::-;;;;;;;;;;;;;;;;;:::o;13835:787::-;13886:10;11931:16;:14;:16::i;:::-;11908:20;:39;;;;11975:26;:24;:26::i;:::-;11958:14;:43;;;;12035:1;12016:21;;:7;:21;;;12012:157;;12073:15;12080:7;12073:6;:15::i;:::-;12054:7;:16;12062:7;12054:16;;;;;;;;;;;;;;;:34;;;;12137:20;;12103:22;:31;12126:7;12103:31;;;;;;;;;;;;;;;:54;;;;12012:157;13917:7;;;;;;;;;;;13909:33;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13970:1;13961:6;:10;13953:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14045:6;14009:10;;;;;;;;;;;:20;;;14030:10;14009:32;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;14009:32:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;14009:32:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;14009:32:0;;;;;;;;;;;;;;;;:42;;14001:84;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14096:15;14114:10;;;;;;;;;;;:20;;;14143:4;14114:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;14114:35:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;14114:35:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;14114:35:0;;;;;;;;;;;;;;;;14096:53;;14170:62;14198:10;14218:4;14225:6;14170:10;;;;;;;;;;;:27;;;;:62;;;;;;:::i;:::-;14257:23;14273:6;14257:11;;:15;;:23;;;;:::i;:::-;14243:11;:37;;;;14315:33;14341:6;14315:9;:21;14325:10;14315:21;;;;;;;;;;;;;;;;:25;;:33;;;;:::i;:::-;14291:9;:21;14301:10;14291:21;;;;;;;;;;;;;;;:57;;;;14369:14;14386:10;;;;;;;;;;;:20;;;14415:4;14386:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;14386:35:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;14386:35:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;14386:35:0;;;;;;;;;;;;;;;;14369:52;;14492:28;14512:7;14492:15;:19;;:28;;;;:::i;:::-;14467:10;:22;14478:10;14467:22;;;;;;;;;;;;;;;:53;;;;14578:10;14571:43;;;14590:6;14598:7;14607:6;14571:43;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12179:1;;13835:787;;:::o;11210:29::-;;;;:::o;13210:372::-;13257:7;13296:1;13281:11;;:16;13277:76;;;13321:20;;13314:27;;;;13277:76;13379:195;13418:145;13551:11;;13418:114;13527:4;13418:90;13497:10;;13418:60;13463:14;;13418:26;:24;:26::i;:::-;:44;;:60;;;;:::i;:::-;:78;;:90;;;;:::i;:::-;:108;;:114;;;;:::i;:::-;:132;;:145;;;;:::i;:::-;13379:20;;:24;;:195;;;;:::i;:::-;13363:211;;13210:372;;:::o;11246:35::-;;;;:::o;15424:141::-;15468:7;;;;;;;;;;;15460:33;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15504:31;15513:9;:21;15523:10;15513:21;;;;;;;;;;;;;;;;15504:8;:31::i;:::-;15546:11;:9;:11::i;:::-;15424:141::o;11028:32::-;;;;;;;;;;;;;:::o;1454:136::-;1512:7;1539:43;1543:1;1546;1539:43;;;;;;;;;;;;;;;;;:3;:43::i;:::-;1532:50;;1454:136;;;;:::o;2370:471::-;2428:7;2678:1;2673;:6;2669:47;;;2703:1;2696:8;;;;2669:47;2728:9;2744:1;2740;:5;2728:17;;2773:1;2768;2764;:5;;;;;;:10;2756:56;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2832:1;2825:8;;;2370:471;;;;;:::o;3309:132::-;3367:7;3394:39;3398:1;3401;3394:39;;;;;;;;;;;;;;;;;:3;:39::i;:::-;3387:46;;3309:132;;;;:::o;998:181::-;1056:7;1076:9;1092:1;1088;:5;1076:17;;1117:1;1112;:6;;1104:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1170:1;1163:8;;;998:181;;;;:::o;7773:422::-;7833:4;8041:12;8152:7;8140:20;8132:28;;8186:1;8179:4;:8;8172:15;;;7773:422;;;:::o;13037:165::-;13096:7;13141:16;;13123:15;:34;:71;;13178:16;;13123:71;;;13160:15;13123:71;13116:78;;13037:165;:::o;8820:176::-;8903:85;8922:5;8952;:14;;;:23;;;;8977:2;8981:5;8929:58;;;;;;;;;;;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;8929:58:0;;;;;;;38:4:-1;29:7;25:18;67:10;61:17;96:58;199:8;192:4;186;182:15;179:29;167:10;160:49;0:215;;;8929:58:0;8903:18;:85::i;:::-;8820:176;;;:::o;9004:204::-;9105:95;9124:5;9154;:18;;;:27;;;;9183:4;9189:2;9193:5;9131:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;9131:68:0;;;;;;;38:4:-1;29:7;25:18;67:10;61:17;96:58;199:8;192:4;186;182:15;179:29;167:10;160:49;0:215;;;9131:68:0;9105:18;:95::i;:::-;9004:204;;;;:::o;1927:192::-;2013:7;2046:1;2041;:6;;2049:12;2033:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;2033:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2073:9;2089:1;2085;:5;2073:17;;2110:1;2103:8;;;1927:192;;;;;:::o;3971:345::-;4057:7;4156:1;4152;:5;4159:12;4144:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;4144:28:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4183:9;4199:1;4195;:5;;;;;;4183:17;;4307:1;4300:8;;;3971:345;;;;;:::o;9599:1122::-;10203:27;10211:5;10203:25;;;:27::i;:::-;10195:71;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10340:12;10354:23;10389:5;10381:19;;10401:4;10381:25;;;;;;;;;;;;;36:153:-1;66:2;61:3;58:11;36:153;;182:3;176:10;171:3;164:23;98:2;93:3;89:12;82:19;;123:2;118:3;114:12;107:19;;148:2;143:3;139:12;132:19;;36:153;;;274:1;267:3;263:2;259:12;254:3;250:22;246:30;315:4;311:9;305:3;299:10;295:26;356:4;350:3;344:10;340:21;389:7;380;377:20;372:3;365:33;3:399;;;10381: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;;10339:67:0;;;;10433:7;10425:52;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10514:1;10494:10;:17;:21;10490:224;;;10636:10;10625:30;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;10625:30:0;;;;;;;;;;;;;;;;10617:85;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10490:224;9599:1122;;;;:::o

bzzr://1173d3cf04e5afd230e8beeb17716778c3d72721fd0fd5e161c6c5a04167a6fe