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 RewardPool *
•    - 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()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

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

• 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":"started","outputs":[{"name":"","type":"bool"}],"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"}]

0x608060405234801561001057600080fd5b50600436106101155760003560e01c806370a08231116100a2578063c8f33c9111610071578063c8f33c911461041e578063cd3daf9d1461043c578063df136d651461045a578063e9fad8ee14610478578063f7c618c11461048257610115565b806370a08231146103225780637b0a47ee1461037a5780638b87634714610398578063a694fc3a146103f057610115565b80631f2698ab116100e95780631f2698ab146102605780632e1a7d4d146102825780633d18b912146102b057806351ed6a30146102ba5780636b419bf71461030457610115565b80628cc2621461011a5780630700037d146101725780630f4c5fac146101ca57806318160ddd14610242575b600080fd5b61015c6004803603602081101561013057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506104cc565b6040518082815260200191505060405180910390f35b6101b46004803603602081101561018857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506105ea565b6040518082815260200191505060405180910390f35b610240600480360360808110156101e057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919080359060200190929190505050610602565b005b61024a6109d0565b6040518082815260200191505060405180910390f35b6102686109d6565b604051808215151515815260200191505060405180910390f35b6102ae6004803603602081101561029857600080fd5b81019080803590602001909291905050506109e9565b005b6102b8610f94565b005b6102c2611437565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61030c61145c565b6040518082815260200191505060405180910390f35b6103646004803603602081101561033857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611462565b6040518082815260200191505060405180910390f35b61038261147a565b6040518082815260200191505060405180910390f35b6103da600480360360208110156103ae57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611480565b6040518082815260200191505060405180910390f35b61041c6004803603602081101561040657600080fd5b8101908080359060200190929190505050611498565b005b610426611ade565b6040518082815260200191505060405180910390f35b610444611ae4565b6040518082815260200191505060405180910390f35b610462611b72565b6040518082815260200191505060405180910390f35b610480611b78565b005b61048a611c4c565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b60006105e3600860008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546105d5670de0b6b3a76400006105c7610579600760008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461056b611ae4565b611c7290919063ffffffff16565b600960008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611cbc90919063ffffffff16565b611d4290919063ffffffff16565b611d8c90919063ffffffff16565b9050919050565b60086020528060005260406000206000915090505481565b600a60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146106c5576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600b8152602001807f21676f7665726e616e636500000000000000000000000000000000000000000081525060200191505060405180910390fd5b600160149054906101000a900460ff1615610748576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600f8152602001807f616c72656164792073746172746564000000000000000000000000000000000081525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff16141580156107a0575061079f8473ffffffffffffffffffffffffffffffffffffffff16611e14565b5b610812576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f7374616b6520746f6b656e206973206e6f6e2d636f6e7472616374000000000081525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415801561086a57506108698373ffffffffffffffffffffffffffffffffffffffff16611e14565b5b6108dc576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601c8152602001807f72657761726420746f6b656e206973206e6f6e2d636f6e74726163740000000081525060200191505060405180910390fd5b60018060146101000a81548160ff021916908315150217905550836000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555082600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506109a481610996670de0b6b3a764000085611cbc90919063ffffffff16565b611d4290919063ffffffff16565b600481905550426005819055506109c48142611d8c90919063ffffffff16565b60038190555050505050565b60025481565b600160149054906101000a900460ff1681565b336109f2611ae4565b600681905550610a00611e27565b600581905550600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614610acd57610a43816104cc565b600860008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600654600760008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b600160149054906101000a900460ff16610b4f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600d8152602001807f4e6f74207374617274207965740000000000000000000000000000000000000081525060200191505060405180910390fd5b60008211610bc5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260118152602001807f43616e6e6f74207769746864726177203000000000000000000000000000000081525060200191505060405180910390fd5b81600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610c7a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f696e73756666696369656e742062616c616e636520746f20776974686472617781525060200191505060405180910390fd5b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015610d1a57600080fd5b505afa158015610d2e573d6000803e3d6000fd5b505050506040513d6020811015610d4457600080fd5b81019080805190602001909291905050509050610d6c83600254611c7290919063ffffffff16565b600281905550610dc483600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611c7290919063ffffffff16565b600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610e5333846000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16611e419092919063ffffffff16565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015610ef357600080fd5b505afa158015610f07573d6000803e3d6000fd5b505050506040513d6020811015610f1d57600080fd5b810190808051906020019092919050505090503373ffffffffffffffffffffffffffffffffffffffff167f75e161b3e824b114fc1a33274bd7091918dd4e639cede50b78b15a4eea956a2185848460405180848152602001838152602001828152602001935050505060405180910390a250505050565b33610f9d611ae4565b600681905550610fab611e27565b600581905550600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161461107857610fee816104cc565b600860008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600654600760008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b600160149054906101000a900460ff166110fa576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600d8152602001807f4e6f74207374617274207965740000000000000000000000000000000000000081525060200191505060405180910390fd5b6000611105336104cc565b90506000811115611433576000600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156111f657600080fd5b505afa15801561120a573d6000803e3d6000fd5b505050506040513d602081101561122057600080fd5b81019080805190602001909291905050509050600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166340c10f1933846040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050600060405180830381600087803b1580156112dc57600080fd5b505af11580156112f0573d6000803e3d6000fd5b505050506000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561139557600080fd5b505afa1580156113a9573d6000803e3d6000fd5b505050506040513d60208110156113bf57600080fd5b810190808051906020019092919050505090503373ffffffffffffffffffffffffffffffffffffffff167fa4b7979b77c5bef65740b7e1d7a09534eadc2803d5c1cfdae60fa28226be6da284848460405180848152602001838152602001828152602001935050505060405180910390a250505b5050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60035481565b60096020528060005260406000206000915090505481565b60045481565b60076020528060005260406000206000915090505481565b336114a1611ae4565b6006819055506114af611e27565b600581905550600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161461157c576114f2816104cc565b600860008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600654600760008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b600160149054906101000a900460ff166115fe576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600d8152602001807f4e6f74207374617274207965740000000000000000000000000000000000000081525060200191505060405180910390fd5b60008211611674576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f43616e6e6f74207374616b65203000000000000000000000000000000000000081525060200191505060405180910390fd5b816000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561171357600080fd5b505afa158015611727573d6000803e3d6000fd5b505050506040513d602081101561173d57600080fd5b810190808051906020019092919050505010156117c2576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601d8152602001807f696e73756666696369656e742062616c616e636520746f207374616b6500000081525060200191505060405180910390fd5b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561186257600080fd5b505afa158015611876573d6000803e3d6000fd5b505050506040513d602081101561188c57600080fd5b810190808051906020019092919050505090506118ed3330856000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16611f12909392919063ffffffff16565b61190283600254611d8c90919063ffffffff16565b60028190555061195a83600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611d8c90919063ffffffff16565b600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555060008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015611a3d57600080fd5b505afa158015611a51573d6000803e3d6000fd5b505050506040513d6020811015611a6757600080fd5b810190808051906020019092919050505090503373ffffffffffffffffffffffffffffffffffffffff167fb4caaf29adda3eefee3ad552a8e85058589bf834c7466cae4ee58787f70589ed85848460405180848152602001838152602001828152602001935050505060405180910390a250505050565b60055481565b6000806002541415611afa576006549050611b6f565b611b6c611b5b600254611b4d670de0b6b3a7640000611b3f600454611b31600554611b23611e27565b611c7290919063ffffffff16565b611cbc90919063ffffffff16565b611cbc90919063ffffffff16565b611d4290919063ffffffff16565b600654611d8c90919063ffffffff16565b90505b90565b60065481565b600160149054906101000a900460ff16611bfa576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600d8152602001807f4e6f74207374617274207965740000000000000000000000000000000000000081525060200191505060405180910390fd5b611c42600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546109e9565b611c4a610f94565b565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000611cb483836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250612018565b905092915050565b600080831415611ccf5760009050611d3c565b6000828402905082848281611ce057fe5b0414611d37576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260218152602001806123ea6021913960400191505060405180910390fd5b809150505b92915050565b6000611d8483836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506120d8565b905092915050565b600080828401905083811015611e0a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b600080823b905060008111915050919050565b60006003544210611e3a57600354611e3c565b425b905090565b611f0d838473ffffffffffffffffffffffffffffffffffffffff1663a9059cbb905060e01b8484604051602401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050604051602081830303815290604052907bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19166020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff838183161783525050505061219e565b505050565b612012848573ffffffffffffffffffffffffffffffffffffffff166323b872dd905060e01b858585604051602401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050604051602081830303815290604052907bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19166020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff838183161783525050505061219e565b50505050565b60008383111582906120c5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b8381101561208a57808201518184015260208101905061206f565b50505050905090810190601f1680156120b75780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385039050809150509392505050565b60008083118290612184576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b8381101561214957808201518184015260208101905061212e565b50505050905090810190601f1680156121765780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b50600083858161219057fe5b049050809150509392505050565b6121bd8273ffffffffffffffffffffffffffffffffffffffff16611e14565b61222f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f5361666545524332303a2063616c6c20746f206e6f6e2d636f6e74726163740081525060200191505060405180910390fd5b600060608373ffffffffffffffffffffffffffffffffffffffff16836040518082805190602001908083835b6020831061227e578051825260208201915060208101905060208303925061225b565b6001836020036101000a0380198251168184511680821785525050505050509050019150506000604051808303816000865af19150503d80600081146122e0576040519150601f19603f3d011682016040523d82523d6000602084013e6122e5565b606091505b50915091508161235d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c656481525060200191505060405180910390fd5b6000815111156123e35780806020019051602081101561237c57600080fd5b81019080805190602001909291905050506123e2576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602a81526020018061240b602a913960400191505060405180910390fd5b5b5050505056fe536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f775361666545524332303a204552433230206f7065726174696f6e20646964206e6f742073756363656564a165627a7a7230582027f24349c790adb327b4a8a8f5d22f0c1f606f0b73089e1f4c7df2a543f832b40029

10826:4954:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10826:4954:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13534:237;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;13534:237:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;11348:42;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;11348:42:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;12320:653;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;12320:653:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;11095:26;;;:::i;:::-;;;;;;;;;;;;;;;;;;;11069:19;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;14440:627;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;14440:627:0;;;;;;;;;;;;;;;;;:::i;:::-;;15224:553;;;:::i;:::-;;10993:24;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;11128:35;;;:::i;:::-;;;;;;;;;;;;;;;;;;;11397:44;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;11397:44:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;11170:29;;;:::i;:::-;;;;;;;;;;;;;;;;;;;11284:57;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;11284:57:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;13779:653;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;13779:653:0;;;;;;;;;;;;;;;;;:::i;:::-;;11206:29;;;:::i;:::-;;;;;;;;;;;;;;;;;;;13154:372;;;:::i;:::-;;;;;;;;;;;;;;;;;;;11242:35;;;:::i;:::-;;;;;;;;;;;;;;;;;;;15075:141;;;:::i;:::-;;11024:32;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;13534:237;13588:7;13624:139;13746:7;:16;13754:7;13746:16;;;;;;;;;;;;;;;;13624:107;13726:4;13624:87;13657:53;13678:22;:31;13701:7;13678:31;;;;;;;;;;;;;;;;13657:16;:14;:16::i;:::-;:20;;:53;;;;:::i;:::-;13624:9;:18;13634:7;13624:18;;;;;;;;;;;;;;;;:32;;:87;;;;:::i;:::-;:101;;:107;;;;:::i;:::-;:121;;:139;;;;:::i;:::-;13608:155;;13534:237;;;:::o;11348:42::-;;;;;;;;;;;;;;;;;:::o;12320:653::-;12194:10;;;;;;;;;;;12180:24;;:10;:24;;;12172:48;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12449:7;;;;;;;;;;;12448:8;12440:36;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12518:1;12495:25;;:11;:25;;;;:53;;;;;12524:24;:11;:22;;;:24::i;:::-;12495:53;12487:93;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12623:1;12599:26;;:12;:26;;;;:55;;;;;12629:25;:12;:23;;;:25::i;:::-;12599:55;12591:96;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12710:4;12700:7;;:14;;;;;;;;;;;;;;;;;;12745:11;12725:10;;:32;;;;;;;;;;;;;;;;;;12796:12;12768:11;;:41;;;;;;;;;;;;;;;;;;12833:30;12854:8;12833:16;12844:4;12833:6;:10;;:16;;;;:::i;:::-;:20;;:30;;;;:::i;:::-;12820:10;:43;;;;12891:15;12874:14;:32;;;;12936:29;12956:8;12936:15;:19;;:29;;;;:::i;:::-;12917:16;:48;;;;12320:653;;;;:::o;11095:26::-;;;;:::o;11069:19::-;;;;;;;;;;;;;:::o;14440:627::-;14494:10;11875:16;:14;:16::i;:::-;11852:20;:39;;;;11919:26;:24;:26::i;:::-;11902:14;:43;;;;11979:1;11960:21;;:7;:21;;;11956:157;;12017:15;12024:7;12017:6;:15::i;:::-;11998:7;:16;12006:7;11998:16;;;;;;;;;;;;;;;:34;;;;12081:20;;12047:22;:31;12070:7;12047:31;;;;;;;;;;;;;;;:54;;;;11956:157;14525:7;;;;;;;;;;;14517:33;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14578:1;14569:6;:10;14561:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14645:6;14620:9;:21;14630:10;14620:21;;;;;;;;;;;;;;;;:31;;14612:76;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14699:15;14717:10;;;;;;;;;;;:20;;;14746:4;14717:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;14717:35:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;14717:35:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;14717:35:0;;;;;;;;;;;;;;;;14699:53;;14787:23;14803:6;14787:11;;:15;;:23;;;;:::i;:::-;14773:11;:37;;;;14845:33;14871:6;14845:9;:21;14855:10;14845:21;;;;;;;;;;;;;;;;:25;;:33;;;;:::i;:::-;14821:9;:21;14831:10;14821:21;;;;;;;;;;;;;;;:57;;;;14889:43;14913:10;14925:6;14889:10;;;;;;;;;;;:23;;;;:43;;;;;:::i;:::-;14945:14;14962:10;;;;;;;;;;;:20;;;14991:4;14962:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;14962:35:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;14962:35:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;14962:35:0;;;;;;;;;;;;;;;;14945:52;;15023:10;15013:46;;;15035:6;15043:7;15052:6;15013:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12123:1;;14440:627;;:::o;15224:553::-;15265:10;11875:16;:14;:16::i;:::-;11852:20;:39;;;;11919:26;:24;:26::i;:::-;11902:14;:43;;;;11979:1;11960:21;;:7;:21;;;11956:157;;12017:15;12024:7;12017:6;:15::i;:::-;11998:7;:16;12006:7;11998:16;;;;;;;;;;;;;;;:34;;;;12081:20;;12047:22;:31;12070:7;12047:31;;;;;;;;;;;;;;;:54;;;;11956:157;15296:7;;;;;;;;;;;15288:33;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15342:14;15359:18;15366:10;15359:6;:18::i;:::-;15342:35;;15401:1;15392:6;:10;15388:382;;;15441:1;15419:7;:19;15427:10;15419:19;;;;;;;;;;;;;;;:23;;;;15457:15;15475:11;;;;;;;;;;;:21;;;15505:4;15475:36;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15475:36:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;15475:36:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;15475:36:0;;;;;;;;;;;;;;;;15457:54;;15526:11;;;;;;;;;;;:16;;;15543:10;15555:6;15526:36;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15526:36:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;15526:36:0;;;;15638:14;15655:11;;;;;;;;;;;:21;;;15685:4;15655:36;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15655:36:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;15655:36:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;15655:36:0;;;;;;;;;;;;;;;;15638:53;;15722:10;15711:47;;;15734:6;15742:7;15751:6;15711:47;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15388:382;;;12123:1;15224:553;:::o;10993:24::-;;;;;;;;;;;;;:::o;11128:35::-;;;;:::o;11397:44::-;;;;;;;;;;;;;;;;;:::o;11170:29::-;;;;:::o;11284:57::-;;;;;;;;;;;;;;;;;:::o;13779:653::-;13830:10;11875:16;:14;:16::i;:::-;11852:20;:39;;;;11919:26;:24;:26::i;:::-;11902:14;:43;;;;11979:1;11960:21;;:7;:21;;;11956:157;;12017:15;12024:7;12017:6;:15::i;:::-;11998:7;:16;12006:7;11998:16;;;;;;;;;;;;;;;:34;;;;12081:20;;12047:22;:31;12070:7;12047:31;;;;;;;;;;;;;;;:54;;;;11956:157;13861:7;;;;;;;;;;;13853:33;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13914:1;13905:6;:10;13897:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13989:6;13953:10;;;;;;;;;;;:20;;;13974:10;13953:32;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;13953:32:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;13953:32:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;13953:32:0;;;;;;;;;;;;;;;;:42;;13945:84;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14040:15;14058:10;;;;;;;;;;;:20;;;14087:4;14058:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;14058:35:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;14058:35:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;14058:35:0;;;;;;;;;;;;;;;;14040:53;;14114:62;14142:10;14162:4;14169:6;14114:10;;;;;;;;;;;:27;;;;:62;;;;;;:::i;:::-;14201:23;14217:6;14201:11;;:15;;:23;;;;:::i;:::-;14187:11;:37;;;;14259:33;14285:6;14259:9;:21;14269:10;14259:21;;;;;;;;;;;;;;;;:25;;:33;;;;:::i;:::-;14235:9;:21;14245:10;14235:21;;;;;;;;;;;;;;;:57;;;;14313:14;14330:10;;;;;;;;;;;:20;;;14359:4;14330:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;14330:35:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;14330:35:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;14330:35:0;;;;;;;;;;;;;;;;14313:52;;14388:10;14381:43;;;14400:6;14408:7;14417:6;14381:43;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12123:1;;13779:653;;:::o;11206:29::-;;;;:::o;13154:372::-;13201:7;13240:1;13225:11;;:16;13221:76;;;13265:20;;13258:27;;;;13221:76;13323:195;13362:145;13495:11;;13362:114;13471:4;13362:90;13441:10;;13362:60;13407:14;;13362:26;:24;:26::i;:::-;:44;;:60;;;;:::i;:::-;:78;;:90;;;;:::i;:::-;:108;;:114;;;;:::i;:::-;:132;;:145;;;;:::i;:::-;13323:20;;:24;;:195;;;;:::i;:::-;13307:211;;13154:372;;:::o;11242:35::-;;;;:::o;15075:141::-;15119:7;;;;;;;;;;;15111:33;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15155:31;15164:9;:21;15174:10;15164:21;;;;;;;;;;;;;;;;15155:8;:31::i;:::-;15197:11;:9;:11::i;:::-;15075:141::o;11024: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;12981:165::-;13040:7;13085:16;;13067:15;:34;:71;;13122:16;;13067:71;;;13104:15;13067:71;13060:78;;12981: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://27f24349c790adb327b4a8a8f5d22f0c1f606f0b73089e1f4c7df2a543f832b4