Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address sender, ...
• library SafeMath
•    - function add(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function mod(uint256 a, uint256 b)
•  contract ERC20 is 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, ...
•    - function increaseAllowance(address sp ...
•    - function decreaseAllowance(address sp ...
•    - function _transfer(address sender, ad ...
•    - function _mint(address account, uint2 ...
•    - function _burn(address account, uint2 ...
•    - function _approve(address owner, addr ...
•    - function _burnFrom(address account, u ...
• library Roles
•    - function add(Role storage role, addre ...
•    - function remove(Role storage role, ad ...
•    - function has(Role storage role, addre ...
•  contract PauserRole
•    - function isPauser(address account)
•    - function addPauser(address account)
•    - function renouncePauser()
•    - function _addPauser(address account)
•    - function _removePauser(address accoun ...
•  contract Pausable is PauserRole
•    - function paused()
•    - function pause()
•    - function unpause()
•  contract ERC20Pausable is ERC20, P ...
•    - function transfer(address to, uint256 ...
•    - function transferFrom(address from, a ...
•    - function approve(address spender, uin ...
•    - function increaseAllowance(address sp ...
•    - function decreaseAllowance(address sp ...
•  contract Ownable
•    - function owner()
•    - function isOwner()
•    - function renounceOwnership()
•    - function transferOwnership(address ne ...
•    - function _transferOwnership(address n ...
•  contract UltraToken is ERC20Pausab ... *
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function deployTime()
•    - function buyerInformation()
•    - function nextVestingDate()
•    - function setVestingContract(string me ...
•    - function importBalance(address[] memo ...
•    - function claim()
•    - function claimableToken()
•    - function _register(string memory EOSK ...
•    - function register(string memory EOSKe ...
•    - function keyOf()
•    - function setUpdateApproval(address bu ...
•    - function updateApproved()
•    - function update(string memory EOSKey)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// File: openzeppelin-solidity/contracts/token/ERC20/IERC20.sol

pragma solidity ^0.5.0;

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

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

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

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

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

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

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

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

// File: openzeppelin-solidity/contracts/math/SafeMath.sol

pragma solidity ^0.5.0;

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

        return c;
    }

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

        return c;
    }

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

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

        return c;
    }

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

        return c;
    }

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

// File: openzeppelin-solidity/contracts/token/ERC20/ERC20.sol

pragma solidity ^0.5.0;



/**
 * @dev Implementation of the `IERC20` interface.
 *
 * This implementation is agnostic to the way tokens are created. This means
 * that a supply mechanism has to be added in a derived contract using `_mint`.
 * For a generic mechanism see `ERC20Mintable`.
 *
 * *For a detailed writeup see our guide [How to implement supply
 * mechanisms](https://forum.zeppelin.solutions/t/how-to-implement-erc20-supply-mechanisms/226).*
 *
 * We have followed general OpenZeppelin guidelines: functions revert instead
 * of returning `false` on failure. This behavior is nonetheless conventional
 * and does not conflict with the expectations of ERC20 applications.
 *
 * Additionally, an `Approval` event is emitted on calls to `transferFrom`.
 * This allows applications to reconstruct the allowance for all accounts just
 * by listening to said events. Other implementations of the EIP may not emit
 * these events, as it isn't required by the specification.
 *
 * Finally, the non-standard `decreaseAllowance` and `increaseAllowance`
 * functions have been added to mitigate the well-known issues around setting
 * allowances. See `IERC20.approve`.
 */
contract ERC20 is IERC20 {
    using SafeMath for uint256;

    mapping (address => uint256) private _balances;

    mapping (address => mapping (address => uint256)) private _allowances;

    uint256 private _totalSupply;

    /**
     * @dev See `IERC20.totalSupply`.
     */
    function totalSupply() public view returns (uint256) {
        return _totalSupply;
    }

    /**
     * @dev See `IERC20.balanceOf`.
     */
    function balanceOf(address account) public view returns (uint256) {
        return _balances[account];
    }

    /**
     * @dev See `IERC20.transfer`.
     *
     * Requirements:
     *
     * - `recipient` cannot be the zero address.
     * - the caller must have a balance of at least `amount`.
     */
    function transfer(address recipient, uint256 amount) public returns (bool) {
        _transfer(msg.sender, recipient, amount);
        return true;
    }

    /**
     * @dev See `IERC20.allowance`.
     */
    function allowance(address owner, address spender) public view returns (uint256) {
        return _allowances[owner][spender];
    }

    /**
     * @dev See `IERC20.approve`.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     */
    function approve(address spender, uint256 value) public returns (bool) {
        _approve(msg.sender, spender, value);
        return true;
    }

    /**
     * @dev See `IERC20.transferFrom`.
     *
     * Emits an `Approval` event indicating the updated allowance. This is not
     * required by the EIP. See the note at the beginning of `ERC20`;
     *
     * Requirements:
     * - `sender` and `recipient` cannot be the zero address.
     * - `sender` must have a balance of at least `value`.
     * - the caller must have allowance for `sender`'s tokens of at least
     * `amount`.
     */
    function transferFrom(address sender, address recipient, uint256 amount) public returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(sender, msg.sender, _allowances[sender][msg.sender].sub(amount));
        return true;
    }

    /**
     * @dev Atomically increases the allowance granted to `spender` by the caller.
     *
     * This is an alternative to `approve` that can be used as a mitigation for
     * problems described in `IERC20.approve`.
     *
     * Emits an `Approval` event indicating the updated allowance.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     */
    function increaseAllowance(address spender, uint256 addedValue) public returns (bool) {
        _approve(msg.sender, spender, _allowances[msg.sender][spender].add(addedValue));
        return true;
    }

    /**
     * @dev Atomically decreases the allowance granted to `spender` by the caller.
     *
     * This is an alternative to `approve` that can be used as a mitigation for
     * problems described in `IERC20.approve`.
     *
     * Emits an `Approval` event indicating the updated allowance.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     * - `spender` must have allowance for the caller of at least
     * `subtractedValue`.
     */
    function decreaseAllowance(address spender, uint256 subtractedValue) public returns (bool) {
        _approve(msg.sender, spender, _allowances[msg.sender][spender].sub(subtractedValue));
        return true;
    }

    /**
     * @dev Moves tokens `amount` from `sender` to `recipient`.
     *
     * This is internal function is equivalent to `transfer`, and can be used to
     * e.g. implement automatic token fees, slashing mechanisms, etc.
     *
     * Emits a `Transfer` event.
     *
     * Requirements:
     *
     * - `sender` cannot be the zero address.
     * - `recipient` cannot be the zero address.
     * - `sender` must have a balance of at least `amount`.
     */
    function _transfer(address sender, address recipient, uint256 amount) internal {
        require(sender != address(0), "ERC20: transfer from the zero address");
        require(recipient != address(0), "ERC20: transfer to the zero address");

        _balances[sender] = _balances[sender].sub(amount);
        _balances[recipient] = _balances[recipient].add(amount);
        emit Transfer(sender, recipient, amount);
    }

    /** @dev Creates `amount` tokens and assigns them to `account`, increasing
     * the total supply.
     *
     * Emits a `Transfer` event with `from` set to the zero address.
     *
     * Requirements
     *
     * - `to` cannot be the zero address.
     */
    function _mint(address account, uint256 amount) internal {
        require(account != address(0), "ERC20: mint to the zero address");

        _totalSupply = _totalSupply.add(amount);
        _balances[account] = _balances[account].add(amount);
        emit Transfer(address(0), account, amount);
    }

     /**
     * @dev Destoys `amount` tokens from `account`, reducing the
     * total supply.
     *
     * Emits a `Transfer` event with `to` set to the zero address.
     *
     * Requirements
     *
     * - `account` cannot be the zero address.
     * - `account` must have at least `amount` tokens.
     */
    function _burn(address account, uint256 value) internal {
        require(account != address(0), "ERC20: burn from the zero address");

        _totalSupply = _totalSupply.sub(value);
        _balances[account] = _balances[account].sub(value);
        emit Transfer(account, address(0), value);
    }

    /**
     * @dev Sets `amount` as the allowance of `spender` over the `owner`s tokens.
     *
     * This is internal function is equivalent to `approve`, and can be used to
     * e.g. set automatic allowances for certain subsystems, etc.
     *
     * Emits an `Approval` event.
     *
     * Requirements:
     *
     * - `owner` cannot be the zero address.
     * - `spender` cannot be the zero address.
     */
    function _approve(address owner, address spender, uint256 value) internal {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");

        _allowances[owner][spender] = value;
        emit Approval(owner, spender, value);
    }

    /**
     * @dev Destoys `amount` tokens from `account`.`amount` is then deducted
     * from the caller's allowance.
     *
     * See `_burn` and `_approve`.
     */
    function _burnFrom(address account, uint256 amount) internal {
        _burn(account, amount);
        _approve(account, msg.sender, _allowances[account][msg.sender].sub(amount));
    }
}

// File: openzeppelin-solidity/contracts/access/Roles.sol

pragma solidity ^0.5.0;

/**
 * @title Roles
 * @dev Library for managing addresses assigned to a Role.
 */
library Roles {
    struct Role {
        mapping (address => bool) bearer;
    }

    /**
     * @dev Give an account access to this role.
     */
    function add(Role storage role, address account) internal {
        require(!has(role, account), "Roles: account already has role");
        role.bearer[account] = true;
    }

    /**
     * @dev Remove an account's access to this role.
     */
    function remove(Role storage role, address account) internal {
        require(has(role, account), "Roles: account does not have role");
        role.bearer[account] = false;
    }

    /**
     * @dev Check if an account has this role.
     * @return bool
     */
    function has(Role storage role, address account) internal view returns (bool) {
        require(account != address(0), "Roles: account is the zero address");
        return role.bearer[account];
    }
}

// File: openzeppelin-solidity/contracts/access/roles/PauserRole.sol

pragma solidity ^0.5.0;


contract PauserRole {
    using Roles for Roles.Role;

    event PauserAdded(address indexed account);
    event PauserRemoved(address indexed account);

    Roles.Role private _pausers;

    constructor () internal {
        _addPauser(msg.sender);
    }

    modifier onlyPauser() {
        require(isPauser(msg.sender), "PauserRole: caller does not have the Pauser role");
        _;
    }

    function isPauser(address account) public view returns (bool) {
        return _pausers.has(account);
    }

    function addPauser(address account) public onlyPauser {
        _addPauser(account);
    }

    function renouncePauser() public {
        _removePauser(msg.sender);
    }

    function _addPauser(address account) internal {
        _pausers.add(account);
        emit PauserAdded(account);
    }

    function _removePauser(address account) internal {
        _pausers.remove(account);
        emit PauserRemoved(account);
    }
}

// File: openzeppelin-solidity/contracts/lifecycle/Pausable.sol

pragma solidity ^0.5.0;


/**
 * @dev Contract module which allows children to implement an emergency stop
 * mechanism that can be triggered by an authorized account.
 *
 * This module is used through inheritance. It will make available the
 * modifiers `whenNotPaused` and `whenPaused`, which can be applied to
 * the functions of your contract. Note that they will not be pausable by
 * simply including this module, only once the modifiers are put in place.
 */
contract Pausable is PauserRole {
    /**
     * @dev Emitted when the pause is triggered by a pauser (`account`).
     */
    event Paused(address account);

    /**
     * @dev Emitted when the pause is lifted by a pauser (`account`).
     */
    event Unpaused(address account);

    bool private _paused;

    /**
     * @dev Initializes the contract in unpaused state. Assigns the Pauser role
     * to the deployer.
     */
    constructor () internal {
        _paused = false;
    }

    /**
     * @dev Returns true if the contract is paused, and false otherwise.
     */
    function paused() public view returns (bool) {
        return _paused;
    }

    /**
     * @dev Modifier to make a function callable only when the contract is not paused.
     */
    modifier whenNotPaused() {
        require(!_paused, "Pausable: paused");
        _;
    }

    /**
     * @dev Modifier to make a function callable only when the contract is paused.
     */
    modifier whenPaused() {
        require(_paused, "Pausable: not paused");
        _;
    }

    /**
     * @dev Called by a pauser to pause, triggers stopped state.
     */
    function pause() public onlyPauser whenNotPaused {
        _paused = true;
        emit Paused(msg.sender);
    }

    /**
     * @dev Called by a pauser to unpause, returns to normal state.
     */
    function unpause() public onlyPauser whenPaused {
        _paused = false;
        emit Unpaused(msg.sender);
    }
}

// File: openzeppelin-solidity/contracts/token/ERC20/ERC20Pausable.sol

pragma solidity ^0.5.0;



/**
 * @title Pausable token
 * @dev ERC20 modified with pausable transfers.
 */
contract ERC20Pausable is ERC20, Pausable {
    function transfer(address to, uint256 value) public whenNotPaused returns (bool) {
        return super.transfer(to, value);
    }

    function transferFrom(address from, address to, uint256 value) public whenNotPaused returns (bool) {
        return super.transferFrom(from, to, value);
    }

    function approve(address spender, uint256 value) public whenNotPaused returns (bool) {
        return super.approve(spender, value);
    }

    function increaseAllowance(address spender, uint addedValue) public whenNotPaused returns (bool) {
        return super.increaseAllowance(spender, addedValue);
    }

    function decreaseAllowance(address spender, uint subtractedValue) public whenNotPaused returns (bool) {
        return super.decreaseAllowance(spender, subtractedValue);
    }
}

// File: openzeppelin-solidity/contracts/ownership/Ownable.sol

pragma solidity ^0.5.0;

/**
 * @dev Contract module which provides a basic access control mechanism, where
 * there is an account (an owner) that can be granted exclusive access to
 * specific functions.
 *
 * This module is used through inheritance. It will make available the modifier
 * `onlyOwner`, which can be aplied to your functions to restrict their use to
 * the owner.
 */
contract Ownable {
    address private _owner;

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

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

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

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

    /**
     * @dev Returns true if the caller is the current owner.
     */
    function isOwner() public view returns (bool) {
        return msg.sender == _owner;
    }

    /**
     * @dev Leaves the contract without owner. It will not be possible to call
     * `onlyOwner` functions anymore. Can only be called by the current owner.
     *
     * > Note: Renouncing ownership will leave the contract without an owner,
     * thereby removing any functionality that is only available to the owner.
     */
    function renounceOwnership() public onlyOwner {
        emit OwnershipTransferred(_owner, address(0));
        _owner = address(0);
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     * Can only be called by the current owner.
     */
    function transferOwnership(address newOwner) public onlyOwner {
        _transferOwnership(newOwner);
    }

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

// File: contracts/Ultra_IEO.sol

pragma solidity 0.5.9;

//import 'openzeppelin-solidity/contracts/math/Math.sol';



contract UltraToken is ERC20Pausable, Ownable {
    using SafeMath for uint256;
//  using Math     for uint256;

    string  private _name = "Ultra Token";
    string  private _symbol = "UOS";
    uint8   private _decimals = 4;      // the token precision on UOS mainnet is 4, can be adjusted there as necessary.

    /*  0-------------------------------------->  time in month(30 days)
     *  ^               ^                   ^
     *  |               |                   |
     * deploy         start     ...        end
     *                10.00%    ...       20.00%    adds up to 100.00%
     */                                       
    uint256 private _deployTime;                // the deployment time of the contract
    uint256 private _month = 30 days;           // time unit
    struct VestingContract {
        uint256[]   basisPoints;    // the basis points array of each vesting. The last one won't matter, cause we give the remainder to the user at last, but the sum will be validated against 10000
        uint256     startMonth;     // the index of the month at the beginning of which the first vesting is available 
        uint256     endMonth;       // the index of the month at the beginning of which the last vesting is available; _endMonth = _startMonth + _basisPoints.length -1;
    }

    struct BuyerInfo {
        uint256 total;          // the total number of tokens purchased by the buyer
        uint256 claimed;        // the number of tokens has been claimed so far
        string  contractName;   // with what contract the buyer purchased the tokens
    }

    mapping (string => VestingContract) private _vestingContracts;
    mapping (address => BuyerInfo)      private _buyerInfos;

    mapping (address => string) private _keys;              // ethereum to eos public key mapping
    mapping (address => bool)   private _updateApproval;    // whether allow an account to update its registerred eos key

    constructor() public {
        _mint(address(this), uint256(1000000000).mul(10**uint256(_decimals)));  // mint all tokens and send to the contract, 1,000,000,000 UOS;    
        _deployTime = block.timestamp;
    }

    function name() public view returns (string memory) {
        return _name;
    }

    function symbol() public view returns (string memory) {
        return _symbol;
    }

    function decimals() public view returns (uint8) {
        return _decimals;
    }

    function deployTime() public view returns (uint256) {
        return _deployTime;
    }

    function buyerInformation() public view returns (uint256, uint256, string memory) {
        BuyerInfo storage buyerInfo = _buyerInfos[msg.sender];
        return (buyerInfo.total, buyerInfo.claimed, buyerInfo.contractName );
    }
    
    function nextVestingDate() public view returns (uint256) {
        BuyerInfo storage buyerInfo = _buyerInfos[msg.sender];
        require(buyerInfo.total > 0, "Buyer does not exist");
        VestingContract storage vestingContract = _vestingContracts[buyerInfo.contractName];
        uint256 currentMonth = block.timestamp.sub(_deployTime).div(_month);
        if(currentMonth < vestingContract.startMonth) {
            return _deployTime.add(vestingContract.startMonth.mul(_month));
        } else if(currentMonth >= vestingContract.endMonth) {
            return _deployTime.add(vestingContract.endMonth.mul(_month));
        } else {
            return _deployTime.add(currentMonth.add(1).mul(_month));
        }
    }

    event SetVestingContract(string contractName, uint256[] basisPoints, uint256 startMonth);

    function setVestingContract(string memory contractName, uint256[] memory basisPoints, uint256 startMonth) public onlyOwner whenNotPaused returns (bool) {
        VestingContract storage vestingContract = _vestingContracts[contractName];
        require(vestingContract.basisPoints.length == 0, "can't change an existing contract");
        uint256 totalBPs = 0;
        for(uint256 i = 0; i < basisPoints.length; i++) {
            totalBPs = totalBPs.add(basisPoints[i]);
        }
        require(totalBPs == 10000, "invalid basis points array"); // this also ensures array length is not zero

        vestingContract.basisPoints = basisPoints;
        vestingContract.startMonth  = startMonth;
        vestingContract.endMonth    = startMonth.add(basisPoints.length).sub(1);

        emit SetVestingContract(contractName, basisPoints, startMonth);
        return true;
    }

    event ImportBalance(address[] buyers, uint256[] tokens, string contractName);

    // import balance for a group of user with a specific contract terms
    function importBalance(address[] memory buyers, uint256[] memory tokens, string memory contractName) public onlyOwner whenNotPaused returns (bool) {
        require(buyers.length == tokens.length, "buyers and balances mismatch");
        
        VestingContract storage vestingContract = _vestingContracts[contractName];
        require(vestingContract.basisPoints.length > 0, "contract does not exist");

        for(uint256 i = 0; i < buyers.length; i++) {
            require(tokens[i] > 0, "cannot import zero balance");
            BuyerInfo storage buyerInfo = _buyerInfos[buyers[i]]; 
            require(buyerInfo.total == 0, "have already imported balance for this buyer");
            buyerInfo.total = tokens[i];
            buyerInfo.contractName = contractName;
        }

        emit ImportBalance(buyers, tokens, contractName);
        return true;
    }

    event Claim(address indexed claimer, uint256 claimed);

    function claim() public whenNotPaused returns (bool) {
        uint256 canClaim = claimableToken();
        
        require(canClaim > 0, "No token is available to claim");

        _buyerInfos[msg.sender].claimed = _buyerInfos[msg.sender].claimed.add(canClaim);
        _transfer(address(this), msg.sender, canClaim);

        emit Claim(msg.sender, canClaim);
        return true;
    }

    // the number of token can be claimed by the msg.sender at the moment
    function claimableToken() public view returns (uint256) {
        BuyerInfo storage buyerInfo = _buyerInfos[msg.sender];

        if(buyerInfo.claimed < buyerInfo.total) {
            VestingContract storage vestingContract = _vestingContracts[buyerInfo.contractName];
            uint256 currentMonth = block.timestamp.sub(_deployTime).div(_month);
            
            if(currentMonth < vestingContract.startMonth) {
                return uint256(0);
            }

            if(currentMonth >= vestingContract.endMonth) { // vest the unclaimed token all at once so there's no remainder
                return buyerInfo.total.sub(buyerInfo.claimed);
            } else {
                uint256 claimableIndex = currentMonth.sub(vestingContract.startMonth);
                uint256 canClaim = 0;
                for(uint256 i = 0; i <= claimableIndex; ++i) {
                    canClaim = canClaim.add(vestingContract.basisPoints[i]);
                }
                return canClaim.mul(buyerInfo.total).div(10000).sub(buyerInfo.claimed);
            }
        }
        return uint256(0);
    }

    event SetKey(address indexed buyer, string EOSKey);

    function _register(string memory EOSKey) internal {
        require(bytes(EOSKey).length > 0 && bytes(EOSKey).length <= 64, "EOS public key length should be less than 64 characters");
        _keys[msg.sender] = EOSKey;
  
        emit SetKey(msg.sender, EOSKey);
    }

    function register(string memory EOSKey) public whenNotPaused returns (bool) {
        _register(EOSKey);
        return true;
    }

    function keyOf() public view returns (string memory) {
        return _keys[msg.sender];
    }

    event SetUpdateApproval(address indexed buyer, bool isApproved);

    function setUpdateApproval(address buyer, bool isApproved) public onlyOwner returns (bool) {
        require(balanceOf(buyer) > 0 || _buyerInfos[buyer].total > 0, "This account has no token"); // allowance will not be considered
        _updateApproval[buyer] = isApproved;

        emit SetUpdateApproval(buyer, isApproved);
        return true;
    }

    function updateApproved() public view returns (bool) {
        return _updateApproval[msg.sender];
    }

    function update(string memory EOSKey) public returns (bool) {
        require(_updateApproval[msg.sender], "Need approval from ultra after contract is frozen");
        _register(EOSKey);
        return true;
    }

}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"value","type":"uint256"}],"name":"approve","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"buyerInformation","outputs":[{"name":"","type":"uint256"},{"name":"","type":"uint256"},{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"from","type":"address"},{"name":"to","type":"address"},{"name":"value","type":"uint256"}],"name":"transferFrom","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"EOSKey","type":"string"}],"name":"update","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"unpause","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"account","type":"address"}],"name":"isPauser","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"claim","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"paused","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"renouncePauser","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"account","type":"address"}],"name":"balanceOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"renounceOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"contractName","type":"string"},{"name":"basisPoints","type":"uint256[]"},{"name":"startMonth","type":"uint256"}],"name":"setVestingContract","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"deployTime","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"account","type":"address"}],"name":"addPauser","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"pause","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"isOwner","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"buyers","type":"address[]"},{"name":"tokens","type":"uint256[]"},{"name":"contractName","type":"string"}],"name":"importBalance","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"nextVestingDate","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"to","type":"address"},{"name":"value","type":"uint256"}],"name":"transfer","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"keyOf","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"buyer","type":"address"},{"name":"isApproved","type":"bool"}],"name":"setUpdateApproval","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"owner","type":"address"},{"name":"spender","type":"address"}],"name":"allowance","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"EOSKey","type":"string"}],"name":"register","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"updateApproved","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"claimableToken","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":false,"name":"contractName","type":"string"},{"indexed":false,"name":"basisPoints","type":"uint256[]"},{"indexed":false,"name":"startMonth","type":"uint256"}],"name":"SetVestingContract","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"buyers","type":"address[]"},{"indexed":false,"name":"tokens","type":"uint256[]"},{"indexed":false,"name":"contractName","type":"string"}],"name":"ImportBalance","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"claimer","type":"address"},{"indexed":false,"name":"claimed","type":"uint256"}],"name":"Claim","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"buyer","type":"address"},{"indexed":false,"name":"EOSKey","type":"string"}],"name":"SetKey","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"buyer","type":"address"},{"indexed":false,"name":"isApproved","type":"bool"}],"name":"SetUpdateApproval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"previousOwner","type":"address"},{"indexed":true,"name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"account","type":"address"}],"name":"Paused","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"account","type":"address"}],"name":"Unpaused","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"account","type":"address"}],"name":"PauserAdded","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"account","type":"address"}],"name":"PauserRemoved","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":true,"name":"to","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"owner","type":"address"},{"indexed":true,"name":"spender","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Approval","type":"event"}]

60806040526040518060400160405280600b81526020017f556c74726120546f6b656e00000000000000000000000000000000000000000081525060059080519060200190620000519291906200070f565b506040518060400160405280600381526020017f554f530000000000000000000000000000000000000000000000000000000000815250600690805190602001906200009f9291906200070f565b506004600760006101000a81548160ff021916908360ff16021790555062278d00600955348015620000d057600080fd5b50620000e2336200020c60201b60201c565b6000600460006101000a81548160ff02191690831515021790555033600460016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3620001ff30620001f3600760009054906101000a900460ff1660ff16600a0a633b9aca006200026d60201b620037d51790919060201c565b620002f860201b60201c565b42600881905550620007be565b62000227816003620004c260201b62003c6c1790919060201c565b8073ffffffffffffffffffffffffffffffffffffffff167f6719d08c1888103bea251a4ed56406bd0c3e69723c8a1686e017e7bbe159b6f860405160405180910390a250565b600080831415620002825760009050620002f2565b60008284029050828482816200029457fe5b0414620002ed576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180620048396021913960400191505060405180910390fd5b809150505b92915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156200039c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f45524332303a206d696e7420746f20746865207a65726f20616464726573730081525060200191505060405180910390fd5b620003b881600254620005a660201b620032401790919060201c565b60028190555062000416816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054620005a660201b620032401790919060201c565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b620004d482826200062f60201b60201c565b1562000548576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f526f6c65733a206163636f756e7420616c72656164792068617320726f6c650081525060200191505060405180910390fd5b60018260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b60008082840190508381101562000625576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415620006b8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260228152602001806200485a6022913960400191505060405180910390fd5b8260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106200075257805160ff191683800117855562000783565b8280016001018555821562000783579182015b828111156200078257825182559160200191906001019062000765565b5b50905062000792919062000796565b5090565b620007bb91905b80821115620007b75760008160009055506001016200079d565b5090565b90565b61406b80620007ce6000396000f3fe608060405234801561001057600080fd5b50600436106101fb5760003560e01c80637a40624b1161011a578063a804e66d116100ad578063dd62ed3e1161007c578063dd62ed3e14610d2d578063f2c298be14610da5578063f2fde38b14610e78578063f426103f14610ebc578063f6d6d5aa14610ede576101fb565b8063a804e66d14610bbe578063a9059cbb14610bdc578063c143637b14610c42578063d34e664714610cc5576101fb565b80638f32d59b116100e95780638f32d59b146108b8578063941854a8146108da57806395d89b4114610ad5578063a457c2d714610b58576101fb565b80637a40624b1461080257806382dc1ec4146108205780638456cb59146108645780638da5cb5b1461086e576101fb565b80633f4ba83a116101925780636ef8d66d116101615780636ef8d66d1461062557806370a082311461062f578063715018a6146106875780637459d7fa14610691576101fb565b80633f4ba83a1461057b57806346fbf68e146105855780634e71d92d146105e15780635c975abb14610603576101fb565b806323b872dd116101ce57806323b872dd14610398578063313ce5671461041e57806339509351146104425780633d7403a3146104a8576101fb565b806306fdde0314610200578063095ea7b3146102835780630cba9e7e146102e957806318160ddd1461037a575b600080fd5b610208610efc565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561024857808201518184015260208101905061022d565b50505050905090810190601f1680156102755780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102cf6004803603604081101561029957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610f9e565b604051808215151515815260200191505060405180910390f35b6102f1611035565b6040518084815260200183815260200180602001828103825283818151815260200191508051906020019080838360005b8381101561033d578082015181840152602081019050610322565b50505050905090810190601f16801561036a5780820380516001836020036101000a031916815260200191505b5094505050505060405180910390f35b610382611133565b6040518082815260200191505060405180910390f35b610404600480360360608110156103ae57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061113d565b604051808215151515815260200191505060405180910390f35b6104266111d6565b604051808260ff1660ff16815260200191505060405180910390f35b61048e6004803603604081101561045857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506111ed565b604051808215151515815260200191505060405180910390f35b610561600480360360208110156104be57600080fd5b81019080803590602001906401000000008111156104db57600080fd5b8201836020820111156104ed57600080fd5b8035906020019184600183028401116401000000008311171561050f57600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050509192919290505050611284565b604051808215151515815260200191505060405180910390f35b61058361133a565b005b6105c76004803603602081101561059b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061149a565b604051808215151515815260200191505060405180910390f35b6105e96114b7565b604051808215151515815260200191505060405180910390f35b61060b6116ba565b604051808215151515815260200191505060405180910390f35b61062d6116d1565b005b6106716004803603602081101561064557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506116dc565b6040518082815260200191505060405180910390f35b61068f611724565b005b6107e8600480360360608110156106a757600080fd5b81019080803590602001906401000000008111156106c457600080fd5b8201836020820111156106d657600080fd5b803590602001918460018302840111640100000000831117156106f857600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f8201169050808301925050505050505091929192908035906020019064010000000081111561075b57600080fd5b82018360208201111561076d57600080fd5b8035906020019184602083028401116401000000008311171561078f57600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f8201169050808301925050505050505091929192908035906020019092919050505061185f565b604051808215151515815260200191505060405180910390f35b61080a611c37565b6040518082815260200191505060405180910390f35b6108626004803603602081101561083657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611c41565b005b61086c611cab565b005b610876611e0c565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6108c0611e36565b604051808215151515815260200191505060405180910390f35b610abb600480360360608110156108f057600080fd5b810190808035906020019064010000000081111561090d57600080fd5b82018360208201111561091f57600080fd5b8035906020019184602083028401116401000000008311171561094157600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f820116905080830192505050505050509192919290803590602001906401000000008111156109a157600080fd5b8201836020820111156109b357600080fd5b803590602001918460208302840111640100000000831117156109d557600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f82011690508083019250505050505050919291929080359060200190640100000000811115610a3557600080fd5b820183602082011115610a4757600080fd5b80359060200191846001830284011164010000000083111715610a6957600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050509192919290505050611e8e565b604051808215151515815260200191505060405180910390f35b610add6123b7565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610b1d578082015181840152602081019050610b02565b50505050905090810190601f168015610b4a5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610ba460048036036040811015610b6e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050612459565b604051808215151515815260200191505060405180910390f35b610bc66124f0565b6040518082815260200191505060405180910390f35b610c2860048036036040811015610bf257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061271d565b604051808215151515815260200191505060405180910390f35b610c4a6127b4565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610c8a578082015181840152602081019050610c6f565b50505050905090810190601f168015610cb75780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610d1360048036036040811015610cdb57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803515159060200190929190505050612893565b604051808215151515815260200191505060405180910390f35b610d8f60048036036040811015610d4357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612a8d565b6040518082815260200191505060405180910390f35b610e5e60048036036020811015610dbb57600080fd5b8101908080359060200190640100000000811115610dd857600080fd5b820183602082011115610dea57600080fd5b80359060200191846001830284011164010000000083111715610e0c57600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050509192919290505050612b14565b604051808215151515815260200191505060405180910390f35b610eba60048036036020811015610e8e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612bab565b005b610ec4612c31565b604051808215151515815260200191505060405180910390f35b610ee6612c85565b6040518082815260200191505060405180910390f35b606060058054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610f945780601f10610f6957610100808354040283529160200191610f94565b820191906000526020600020905b815481529060010190602001808311610f7757829003601f168201915b5050505050905090565b6000600460009054906101000a900460ff1615611023576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f5061757361626c653a207061757365640000000000000000000000000000000081525060200191505060405180910390fd5b61102d8383612e83565b905092915050565b60008060606000600b60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002090508060000154816001015482600201808054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156111205780601f106110f557610100808354040283529160200191611120565b820191906000526020600020905b81548152906001019060200180831161110357829003601f168201915b5050505050905093509350935050909192565b6000600254905090565b6000600460009054906101000a900460ff16156111c2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f5061757361626c653a207061757365640000000000000000000000000000000081525060200191505060405180910390fd5b6111cd848484612e9a565b90509392505050565b6000600760009054906101000a900460ff16905090565b6000600460009054906101000a900460ff1615611272576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f5061757361626c653a207061757365640000000000000000000000000000000081525060200191505060405180910390fd5b61127c8383612f4b565b905092915050565b6000600d60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16611328576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526031815260200180613f2d6031913960400191505060405180910390fd5b61133182612ff0565b60019050919050565b6113433361149a565b611398576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526030815260200180613e5d6030913960400191505060405180910390fd5b600460009054906101000a900460ff1661141a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f5061757361626c653a206e6f742070617573656400000000000000000000000081525060200191505060405180910390fd5b6000600460006101000a81548160ff0219169083151502179055507f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa33604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b60006114b082600361316290919063ffffffff16565b9050919050565b6000600460009054906101000a900460ff161561153c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f5061757361626c653a207061757365640000000000000000000000000000000081525060200191505060405180910390fd5b6000611546612c85565b9050600081116115be576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601e8152602001807f4e6f20746f6b656e20697320617661696c61626c6520746f20636c61696d000081525060200191505060405180910390fd5b61161381600b60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206001015461324090919063ffffffff16565b600b60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600101819055506116643033836132c8565b3373ffffffffffffffffffffffffffffffffffffffff167f47cee97cb7acd717b3c0aa1435d004cd5b3c8c57d70dbceb4e4458bbd60e39d4826040518082815260200191505060405180910390a2600191505090565b6000600460009054906101000a900460ff16905090565b6116da33613564565b565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b61172c611e36565b61179e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff16600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a36000600460016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b6000611869611e36565b6118db576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600460009054906101000a900460ff161561195e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f5061757361626c653a207061757365640000000000000000000000000000000081525060200191505060405180910390fd5b6000600a856040518082805190602001908083835b602083106119965780518252602082019150602081019050602083039250611973565b6001836020036101000a038019825116818451168082178552505050505050905001915050908152602001604051809103902090506000816000018054905014611a2b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260218152602001806140166021913960400191505060405180910390fd5b600080905060008090505b8551811015611a7457611a65868281518110611a4e57fe5b60200260200101518361324090919063ffffffff16565b91508080600101915050611a36565b506127108114611aec576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601a8152602001807f696e76616c696420626173697320706f696e747320617272617900000000000081525060200191505060405180910390fd5b84826000019080519060200190611b04929190613d47565b50838260010181905550611b356001611b2787518761324090919063ffffffff16565b6135be90919063ffffffff16565b82600201819055507f881c40e55d13430137e592834d5bb31177df54809796f80c76cd21befd8bf077868686604051808060200180602001848152602001838103835286818151815260200191508051906020019080838360005b83811015611bab578082015181840152602081019050611b90565b50505050905090810190601f168015611bd85780820380516001836020036101000a031916815260200191505b50838103825285818151815260200191508051906020019060200280838360005b83811015611c14578082015181840152602081019050611bf9565b505050509050019550505050505060405180910390a16001925050509392505050565b6000600854905090565b611c4a3361149a565b611c9f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526030815260200180613e5d6030913960400191505060405180910390fd5b611ca881613647565b50565b611cb43361149a565b611d09576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526030815260200180613e5d6030913960400191505060405180910390fd5b600460009054906101000a900460ff1615611d8c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f5061757361626c653a207061757365640000000000000000000000000000000081525060200191505060405180910390fd5b6001600460006101000a81548160ff0219169083151502179055507f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a25833604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b6000600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6000600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614905090565b6000611e98611e36565b611f0a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600460009054906101000a900460ff1615611f8d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f5061757361626c653a207061757365640000000000000000000000000000000081525060200191505060405180910390fd5b8251845114612004576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601c8152602001807f62757965727320616e642062616c616e636573206d69736d617463680000000081525060200191505060405180910390fd5b6000600a836040518082805190602001908083835b6020831061203c5780518252602082019150602081019050602083039250612019565b6001836020036101000a0380198251168184511680821785525050505050509050019150509081526020016040518091039020905060008160000180549050116120ee576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260178152602001807f636f6e747261637420646f6573206e6f7420657869737400000000000000000081525060200191505060405180910390fd5b60008090505b855181101561227c57600085828151811061210b57fe5b602002602001015111612186576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601a8152602001807f63616e6e6f7420696d706f7274207a65726f2062616c616e636500000000000081525060200191505060405180910390fd5b6000600b600088848151811061219857fe5b602002602001015173ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002090506000816000015414612239576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602c815260200180613fa1602c913960400191505060405180910390fd5b85828151811061224557fe5b602002602001015181600001819055508481600201908051906020019061226d929190613d94565b505080806001019150506120f4565b507ff132e3c572fc64f47f5035d498d9055d8167be07bb7f9db6b0722e7e66f8010885858560405180806020018060200180602001848103845287818151815260200191508051906020019060200280838360005b838110156122ec5780820151818401526020810190506122d1565b50505050905001848103835286818151815260200191508051906020019060200280838360005b8381101561232e578082015181840152602081019050612313565b50505050905001848103825285818151815260200191508051906020019080838360005b8381101561236d578082015181840152602081019050612352565b50505050905090810190601f16801561239a5780820380516001836020036101000a031916815260200191505b50965050505050505060405180910390a160019150509392505050565b606060068054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561244f5780601f106124245761010080835404028352916020019161244f565b820191906000526020600020905b81548152906001019060200180831161243257829003601f168201915b5050505050905090565b6000600460009054906101000a900460ff16156124de576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f5061757361626c653a207061757365640000000000000000000000000000000081525060200191505060405180910390fd5b6124e883836136a1565b905092915050565b600080600b60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020905060008160000154116125ae576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f427579657220646f6573206e6f7420657869737400000000000000000000000081525060200191505060405180910390fd5b6000600a8260020160405180828054600181600116156101000203166002900480156126115780601f106125ef576101008083540402835291820191612611565b820191906000526020600020905b8154815290600101906020018083116125fd575b5050915050908152602001604051809103902090506000612651600954612643600854426135be90919063ffffffff16565b61374690919063ffffffff16565b905081600101548110156126965761268c61267b60095484600101546137d590919063ffffffff16565b60085461324090919063ffffffff16565b935050505061271a565b816002015481106126d8576126ce6126bd60095484600201546137d590919063ffffffff16565b60085461324090919063ffffffff16565b935050505061271a565b6127146127036009546126f560018561324090919063ffffffff16565b6137d590919063ffffffff16565b60085461324090919063ffffffff16565b93505050505b90565b6000600460009054906101000a900460ff16156127a2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f5061757361626c653a207061757365640000000000000000000000000000000081525060200191505060405180910390fd5b6127ac838361385b565b905092915050565b6060600c60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156128895780601f1061285e57610100808354040283529160200191612889565b820191906000526020600020905b81548152906001019060200180831161286c57829003601f168201915b5050505050905090565b600061289d611e36565b61290f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600061291a846116dc565b118061296857506000600b60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000154115b6129da576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f54686973206163636f756e7420686173206e6f20746f6b656e0000000000000081525060200191505060405180910390fd5b81600d60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508273ffffffffffffffffffffffffffffffffffffffff167f5a404117e55c0ababf2faa9b78a18748ce1ea27f71914c7737063f127bfeed3183604051808215151515815260200191505060405180910390a26001905092915050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6000600460009054906101000a900460ff1615612b99576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f5061757361626c653a207061757365640000000000000000000000000000000081525060200191505060405180910390fd5b612ba282612ff0565b60019050919050565b612bb3611e36565b612c25576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b612c2e81613872565b50565b6000600d60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905090565b600080600b60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000209050806000015481600101541015612e7a576000600a826002016040518082805460018160011615610100020316600290048015612d3c5780601f10612d1a576101008083540402835291820191612d3c565b820191906000526020600020905b815481529060010190602001808311612d28575b5050915050908152602001604051809103902090506000612d7c600954612d6e600854426135be90919063ffffffff16565b61374690919063ffffffff16565b90508160010154811015612d965760009350505050612e80565b81600201548110612dc657612dbc836001015484600001546135be90919063ffffffff16565b9350505050612e80565b6000612ddf8360010154836135be90919063ffffffff16565b9050600080905060008090505b828111612e2c57612e1f856000018281548110612e0557fe5b90600052602060002001548361324090919063ffffffff16565b9150806001019050612dec565b50612e6e8560010154612e60612710612e528960000154866137d590919063ffffffff16565b61374690919063ffffffff16565b6135be90919063ffffffff16565b95505050505050612e80565b60009150505b90565b6000612e903384846139b8565b6001905092915050565b6000612ea78484846132c8565b612f408433612f3b85600160008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546135be90919063ffffffff16565b6139b8565b600190509392505050565b6000612fe63384612fe185600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461324090919063ffffffff16565b6139b8565b6001905092915050565b6000815111801561300357506040815111155b613058576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526037815260200180613ed56037913960400191505060405180910390fd5b80600c60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002090805190602001906130ab929190613d94565b503373ffffffffffffffffffffffffffffffffffffffff167f533ed67e0e01238543ce4d22a87d9342a801ce989489a3b088b5ded68159e7bc826040518080602001828103825283818151815260200191508051906020019080838360005b8381101561312557808201518184015260208101905061310a565b50505050905090810190601f1680156131525780820380516001836020036101000a031916815260200191505b509250505060405180910390a250565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156131e9576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526022815260200180613f7f6022913960400191505060405180910390fd5b8260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b6000808284019050838110156132be576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561334e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526025815260200180613fcd6025913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156133d4576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526023815260200180613e3a6023913960400191505060405180910390fd5b613425816000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546135be90919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506134b8816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461324090919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505050565b613578816003613baf90919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167fcd265ebaf09df2871cc7bd4133404a235ba12eff2041bb89d9c714a2621c7c7e60405160405180910390a250565b600082821115613636576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601e8152602001807f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525060200191505060405180910390fd5b600082840390508091505092915050565b61365b816003613c6c90919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167f6719d08c1888103bea251a4ed56406bd0c3e69723c8a1686e017e7bbe159b6f860405160405180910390a250565b600061373c338461373785600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546135be90919063ffffffff16565b6139b8565b6001905092915050565b60008082116137bd576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601a8152602001807f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525060200191505060405180910390fd5b60008284816137c857fe5b0490508091505092915050565b6000808314156137e85760009050613855565b60008284029050828482816137f957fe5b0414613850576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180613f5e6021913960400191505060405180910390fd5b809150505b92915050565b60006138683384846132c8565b6001905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156138f8576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526026815260200180613e8d6026913960400191505060405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff16600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a380600460016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415613a3e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526024815260200180613ff26024913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415613ac4576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526022815260200180613eb36022913960400191505060405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040518082815260200191505060405180910390a3505050565b613bb98282613162565b613c0e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180613f0c6021913960400191505060405180910390fd5b60008260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b613c768282613162565b15613ce9576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f526f6c65733a206163636f756e7420616c72656164792068617320726f6c650081525060200191505060405180910390fd5b60018260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b828054828255906000526020600020908101928215613d83579160200282015b82811115613d82578251825591602001919060010190613d67565b5b509050613d909190613e14565b5090565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10613dd557805160ff1916838001178555613e03565b82800160010185558215613e03579182015b82811115613e02578251825591602001919060010190613de7565b5b509050613e109190613e14565b5090565b613e3691905b80821115613e32576000816000905550600101613e1a565b5090565b9056fe45524332303a207472616e7366657220746f20746865207a65726f2061646472657373506175736572526f6c653a2063616c6c657220646f6573206e6f742068617665207468652050617573657220726f6c654f776e61626c653a206e6577206f776e657220697320746865207a65726f206164647265737345524332303a20617070726f766520746f20746865207a65726f2061646472657373454f53207075626c6963206b6579206c656e6774682073686f756c64206265206c657373207468616e2036342063686172616374657273526f6c65733a206163636f756e7420646f6573206e6f74206861766520726f6c654e65656420617070726f76616c2066726f6d20756c74726120616674657220636f6e74726163742069732066726f7a656e536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f77526f6c65733a206163636f756e7420697320746865207a65726f20616464726573736861766520616c726561647920696d706f727465642062616c616e636520666f72207468697320627579657245524332303a207472616e736665722066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f206164647265737363616e2774206368616e676520616e206578697374696e6720636f6e7472616374a265627a7a72305820241dbe33cfdd9eba72a7f16c4cc2eebb12bea4ec9690917c5ee82c6d8b04f9c164736f6c63430005090032536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f77526f6c65733a206163636f756e7420697320746865207a65726f2061646472657373

0x608060405234801561001057600080fd5b50600436106101fb5760003560e01c80637a40624b1161011a578063a804e66d116100ad578063dd62ed3e1161007c578063dd62ed3e14610d2d578063f2c298be14610da5578063f2fde38b14610e78578063f426103f14610ebc578063f6d6d5aa14610ede576101fb565b8063a804e66d14610bbe578063a9059cbb14610bdc578063c143637b14610c42578063d34e664714610cc5576101fb565b80638f32d59b116100e95780638f32d59b146108b8578063941854a8146108da57806395d89b4114610ad5578063a457c2d714610b58576101fb565b80637a40624b1461080257806382dc1ec4146108205780638456cb59146108645780638da5cb5b1461086e576101fb565b80633f4ba83a116101925780636ef8d66d116101615780636ef8d66d1461062557806370a082311461062f578063715018a6146106875780637459d7fa14610691576101fb565b80633f4ba83a1461057b57806346fbf68e146105855780634e71d92d146105e15780635c975abb14610603576101fb565b806323b872dd116101ce57806323b872dd14610398578063313ce5671461041e57806339509351146104425780633d7403a3146104a8576101fb565b806306fdde0314610200578063095ea7b3146102835780630cba9e7e146102e957806318160ddd1461037a575b600080fd5b610208610efc565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561024857808201518184015260208101905061022d565b50505050905090810190601f1680156102755780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102cf6004803603604081101561029957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610f9e565b604051808215151515815260200191505060405180910390f35b6102f1611035565b6040518084815260200183815260200180602001828103825283818151815260200191508051906020019080838360005b8381101561033d578082015181840152602081019050610322565b50505050905090810190601f16801561036a5780820380516001836020036101000a031916815260200191505b5094505050505060405180910390f35b610382611133565b6040518082815260200191505060405180910390f35b610404600480360360608110156103ae57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061113d565b604051808215151515815260200191505060405180910390f35b6104266111d6565b604051808260ff1660ff16815260200191505060405180910390f35b61048e6004803603604081101561045857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506111ed565b604051808215151515815260200191505060405180910390f35b610561600480360360208110156104be57600080fd5b81019080803590602001906401000000008111156104db57600080fd5b8201836020820111156104ed57600080fd5b8035906020019184600183028401116401000000008311171561050f57600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050509192919290505050611284565b604051808215151515815260200191505060405180910390f35b61058361133a565b005b6105c76004803603602081101561059b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061149a565b604051808215151515815260200191505060405180910390f35b6105e96114b7565b604051808215151515815260200191505060405180910390f35b61060b6116ba565b604051808215151515815260200191505060405180910390f35b61062d6116d1565b005b6106716004803603602081101561064557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506116dc565b6040518082815260200191505060405180910390f35b61068f611724565b005b6107e8600480360360608110156106a757600080fd5b81019080803590602001906401000000008111156106c457600080fd5b8201836020820111156106d657600080fd5b803590602001918460018302840111640100000000831117156106f857600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f8201169050808301925050505050505091929192908035906020019064010000000081111561075b57600080fd5b82018360208201111561076d57600080fd5b8035906020019184602083028401116401000000008311171561078f57600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f8201169050808301925050505050505091929192908035906020019092919050505061185f565b604051808215151515815260200191505060405180910390f35b61080a611c37565b6040518082815260200191505060405180910390f35b6108626004803603602081101561083657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611c41565b005b61086c611cab565b005b610876611e0c565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6108c0611e36565b604051808215151515815260200191505060405180910390f35b610abb600480360360608110156108f057600080fd5b810190808035906020019064010000000081111561090d57600080fd5b82018360208201111561091f57600080fd5b8035906020019184602083028401116401000000008311171561094157600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f820116905080830192505050505050509192919290803590602001906401000000008111156109a157600080fd5b8201836020820111156109b357600080fd5b803590602001918460208302840111640100000000831117156109d557600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f82011690508083019250505050505050919291929080359060200190640100000000811115610a3557600080fd5b820183602082011115610a4757600080fd5b80359060200191846001830284011164010000000083111715610a6957600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050509192919290505050611e8e565b604051808215151515815260200191505060405180910390f35b610add6123b7565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610b1d578082015181840152602081019050610b02565b50505050905090810190601f168015610b4a5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610ba460048036036040811015610b6e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050612459565b604051808215151515815260200191505060405180910390f35b610bc66124f0565b6040518082815260200191505060405180910390f35b610c2860048036036040811015610bf257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061271d565b604051808215151515815260200191505060405180910390f35b610c4a6127b4565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610c8a578082015181840152602081019050610c6f565b50505050905090810190601f168015610cb75780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610d1360048036036040811015610cdb57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803515159060200190929190505050612893565b604051808215151515815260200191505060405180910390f35b610d8f60048036036040811015610d4357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612a8d565b6040518082815260200191505060405180910390f35b610e5e60048036036020811015610dbb57600080fd5b8101908080359060200190640100000000811115610dd857600080fd5b820183602082011115610dea57600080fd5b80359060200191846001830284011164010000000083111715610e0c57600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050509192919290505050612b14565b604051808215151515815260200191505060405180910390f35b610eba60048036036020811015610e8e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612bab565b005b610ec4612c31565b604051808215151515815260200191505060405180910390f35b610ee6612c85565b6040518082815260200191505060405180910390f35b606060058054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610f945780601f10610f6957610100808354040283529160200191610f94565b820191906000526020600020905b815481529060010190602001808311610f7757829003601f168201915b5050505050905090565b6000600460009054906101000a900460ff1615611023576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f5061757361626c653a207061757365640000000000000000000000000000000081525060200191505060405180910390fd5b61102d8383612e83565b905092915050565b60008060606000600b60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002090508060000154816001015482600201808054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156111205780601f106110f557610100808354040283529160200191611120565b820191906000526020600020905b81548152906001019060200180831161110357829003601f168201915b5050505050905093509350935050909192565b6000600254905090565b6000600460009054906101000a900460ff16156111c2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f5061757361626c653a207061757365640000000000000000000000000000000081525060200191505060405180910390fd5b6111cd848484612e9a565b90509392505050565b6000600760009054906101000a900460ff16905090565b6000600460009054906101000a900460ff1615611272576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f5061757361626c653a207061757365640000000000000000000000000000000081525060200191505060405180910390fd5b61127c8383612f4b565b905092915050565b6000600d60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16611328576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526031815260200180613f2d6031913960400191505060405180910390fd5b61133182612ff0565b60019050919050565b6113433361149a565b611398576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526030815260200180613e5d6030913960400191505060405180910390fd5b600460009054906101000a900460ff1661141a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f5061757361626c653a206e6f742070617573656400000000000000000000000081525060200191505060405180910390fd5b6000600460006101000a81548160ff0219169083151502179055507f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa33604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b60006114b082600361316290919063ffffffff16565b9050919050565b6000600460009054906101000a900460ff161561153c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f5061757361626c653a207061757365640000000000000000000000000000000081525060200191505060405180910390fd5b6000611546612c85565b9050600081116115be576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601e8152602001807f4e6f20746f6b656e20697320617661696c61626c6520746f20636c61696d000081525060200191505060405180910390fd5b61161381600b60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206001015461324090919063ffffffff16565b600b60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600101819055506116643033836132c8565b3373ffffffffffffffffffffffffffffffffffffffff167f47cee97cb7acd717b3c0aa1435d004cd5b3c8c57d70dbceb4e4458bbd60e39d4826040518082815260200191505060405180910390a2600191505090565b6000600460009054906101000a900460ff16905090565b6116da33613564565b565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b61172c611e36565b61179e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff16600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a36000600460016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b6000611869611e36565b6118db576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600460009054906101000a900460ff161561195e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f5061757361626c653a207061757365640000000000000000000000000000000081525060200191505060405180910390fd5b6000600a856040518082805190602001908083835b602083106119965780518252602082019150602081019050602083039250611973565b6001836020036101000a038019825116818451168082178552505050505050905001915050908152602001604051809103902090506000816000018054905014611a2b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260218152602001806140166021913960400191505060405180910390fd5b600080905060008090505b8551811015611a7457611a65868281518110611a4e57fe5b60200260200101518361324090919063ffffffff16565b91508080600101915050611a36565b506127108114611aec576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601a8152602001807f696e76616c696420626173697320706f696e747320617272617900000000000081525060200191505060405180910390fd5b84826000019080519060200190611b04929190613d47565b50838260010181905550611b356001611b2787518761324090919063ffffffff16565b6135be90919063ffffffff16565b82600201819055507f881c40e55d13430137e592834d5bb31177df54809796f80c76cd21befd8bf077868686604051808060200180602001848152602001838103835286818151815260200191508051906020019080838360005b83811015611bab578082015181840152602081019050611b90565b50505050905090810190601f168015611bd85780820380516001836020036101000a031916815260200191505b50838103825285818151815260200191508051906020019060200280838360005b83811015611c14578082015181840152602081019050611bf9565b505050509050019550505050505060405180910390a16001925050509392505050565b6000600854905090565b611c4a3361149a565b611c9f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526030815260200180613e5d6030913960400191505060405180910390fd5b611ca881613647565b50565b611cb43361149a565b611d09576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526030815260200180613e5d6030913960400191505060405180910390fd5b600460009054906101000a900460ff1615611d8c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f5061757361626c653a207061757365640000000000000000000000000000000081525060200191505060405180910390fd5b6001600460006101000a81548160ff0219169083151502179055507f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a25833604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b6000600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6000600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614905090565b6000611e98611e36565b611f0a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600460009054906101000a900460ff1615611f8d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f5061757361626c653a207061757365640000000000000000000000000000000081525060200191505060405180910390fd5b8251845114612004576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601c8152602001807f62757965727320616e642062616c616e636573206d69736d617463680000000081525060200191505060405180910390fd5b6000600a836040518082805190602001908083835b6020831061203c5780518252602082019150602081019050602083039250612019565b6001836020036101000a0380198251168184511680821785525050505050509050019150509081526020016040518091039020905060008160000180549050116120ee576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260178152602001807f636f6e747261637420646f6573206e6f7420657869737400000000000000000081525060200191505060405180910390fd5b60008090505b855181101561227c57600085828151811061210b57fe5b602002602001015111612186576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601a8152602001807f63616e6e6f7420696d706f7274207a65726f2062616c616e636500000000000081525060200191505060405180910390fd5b6000600b600088848151811061219857fe5b602002602001015173ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002090506000816000015414612239576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602c815260200180613fa1602c913960400191505060405180910390fd5b85828151811061224557fe5b602002602001015181600001819055508481600201908051906020019061226d929190613d94565b505080806001019150506120f4565b507ff132e3c572fc64f47f5035d498d9055d8167be07bb7f9db6b0722e7e66f8010885858560405180806020018060200180602001848103845287818151815260200191508051906020019060200280838360005b838110156122ec5780820151818401526020810190506122d1565b50505050905001848103835286818151815260200191508051906020019060200280838360005b8381101561232e578082015181840152602081019050612313565b50505050905001848103825285818151815260200191508051906020019080838360005b8381101561236d578082015181840152602081019050612352565b50505050905090810190601f16801561239a5780820380516001836020036101000a031916815260200191505b50965050505050505060405180910390a160019150509392505050565b606060068054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561244f5780601f106124245761010080835404028352916020019161244f565b820191906000526020600020905b81548152906001019060200180831161243257829003601f168201915b5050505050905090565b6000600460009054906101000a900460ff16156124de576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f5061757361626c653a207061757365640000000000000000000000000000000081525060200191505060405180910390fd5b6124e883836136a1565b905092915050565b600080600b60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020905060008160000154116125ae576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f427579657220646f6573206e6f7420657869737400000000000000000000000081525060200191505060405180910390fd5b6000600a8260020160405180828054600181600116156101000203166002900480156126115780601f106125ef576101008083540402835291820191612611565b820191906000526020600020905b8154815290600101906020018083116125fd575b5050915050908152602001604051809103902090506000612651600954612643600854426135be90919063ffffffff16565b61374690919063ffffffff16565b905081600101548110156126965761268c61267b60095484600101546137d590919063ffffffff16565b60085461324090919063ffffffff16565b935050505061271a565b816002015481106126d8576126ce6126bd60095484600201546137d590919063ffffffff16565b60085461324090919063ffffffff16565b935050505061271a565b6127146127036009546126f560018561324090919063ffffffff16565b6137d590919063ffffffff16565b60085461324090919063ffffffff16565b93505050505b90565b6000600460009054906101000a900460ff16156127a2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f5061757361626c653a207061757365640000000000000000000000000000000081525060200191505060405180910390fd5b6127ac838361385b565b905092915050565b6060600c60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156128895780601f1061285e57610100808354040283529160200191612889565b820191906000526020600020905b81548152906001019060200180831161286c57829003601f168201915b5050505050905090565b600061289d611e36565b61290f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600061291a846116dc565b118061296857506000600b60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000154115b6129da576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f54686973206163636f756e7420686173206e6f20746f6b656e0000000000000081525060200191505060405180910390fd5b81600d60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508273ffffffffffffffffffffffffffffffffffffffff167f5a404117e55c0ababf2faa9b78a18748ce1ea27f71914c7737063f127bfeed3183604051808215151515815260200191505060405180910390a26001905092915050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6000600460009054906101000a900460ff1615612b99576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f5061757361626c653a207061757365640000000000000000000000000000000081525060200191505060405180910390fd5b612ba282612ff0565b60019050919050565b612bb3611e36565b612c25576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b612c2e81613872565b50565b6000600d60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905090565b600080600b60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000209050806000015481600101541015612e7a576000600a826002016040518082805460018160011615610100020316600290048015612d3c5780601f10612d1a576101008083540402835291820191612d3c565b820191906000526020600020905b815481529060010190602001808311612d28575b5050915050908152602001604051809103902090506000612d7c600954612d6e600854426135be90919063ffffffff16565b61374690919063ffffffff16565b90508160010154811015612d965760009350505050612e80565b81600201548110612dc657612dbc836001015484600001546135be90919063ffffffff16565b9350505050612e80565b6000612ddf8360010154836135be90919063ffffffff16565b9050600080905060008090505b828111612e2c57612e1f856000018281548110612e0557fe5b90600052602060002001548361324090919063ffffffff16565b9150806001019050612dec565b50612e6e8560010154612e60612710612e528960000154866137d590919063ffffffff16565b61374690919063ffffffff16565b6135be90919063ffffffff16565b95505050505050612e80565b60009150505b90565b6000612e903384846139b8565b6001905092915050565b6000612ea78484846132c8565b612f408433612f3b85600160008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546135be90919063ffffffff16565b6139b8565b600190509392505050565b6000612fe63384612fe185600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461324090919063ffffffff16565b6139b8565b6001905092915050565b6000815111801561300357506040815111155b613058576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526037815260200180613ed56037913960400191505060405180910390fd5b80600c60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002090805190602001906130ab929190613d94565b503373ffffffffffffffffffffffffffffffffffffffff167f533ed67e0e01238543ce4d22a87d9342a801ce989489a3b088b5ded68159e7bc826040518080602001828103825283818151815260200191508051906020019080838360005b8381101561312557808201518184015260208101905061310a565b50505050905090810190601f1680156131525780820380516001836020036101000a031916815260200191505b509250505060405180910390a250565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156131e9576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526022815260200180613f7f6022913960400191505060405180910390fd5b8260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b6000808284019050838110156132be576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561334e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526025815260200180613fcd6025913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156133d4576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526023815260200180613e3a6023913960400191505060405180910390fd5b613425816000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546135be90919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506134b8816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461324090919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505050565b613578816003613baf90919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167fcd265ebaf09df2871cc7bd4133404a235ba12eff2041bb89d9c714a2621c7c7e60405160405180910390a250565b600082821115613636576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601e8152602001807f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525060200191505060405180910390fd5b600082840390508091505092915050565b61365b816003613c6c90919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167f6719d08c1888103bea251a4ed56406bd0c3e69723c8a1686e017e7bbe159b6f860405160405180910390a250565b600061373c338461373785600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546135be90919063ffffffff16565b6139b8565b6001905092915050565b60008082116137bd576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601a8152602001807f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525060200191505060405180910390fd5b60008284816137c857fe5b0490508091505092915050565b6000808314156137e85760009050613855565b60008284029050828482816137f957fe5b0414613850576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180613f5e6021913960400191505060405180910390fd5b809150505b92915050565b60006138683384846132c8565b6001905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156138f8576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526026815260200180613e8d6026913960400191505060405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff16600460019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a380600460016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415613a3e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526024815260200180613ff26024913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415613ac4576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526022815260200180613eb36022913960400191505060405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040518082815260200191505060405180910390a3505050565b613bb98282613162565b613c0e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180613f0c6021913960400191505060405180910390fd5b60008260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b613c768282613162565b15613ce9576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f526f6c65733a206163636f756e7420616c72656164792068617320726f6c650081525060200191505060405180910390fd5b60018260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b828054828255906000526020600020908101928215613d83579160200282015b82811115613d82578251825591602001919060010190613d67565b5b509050613d909190613e14565b5090565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10613dd557805160ff1916838001178555613e03565b82800160010185558215613e03579182015b82811115613e02578251825591602001919060010190613de7565b5b509050613e109190613e14565b5090565b613e3691905b80821115613e32576000816000905550600101613e1a565b5090565b9056fe45524332303a207472616e7366657220746f20746865207a65726f2061646472657373506175736572526f6c653a2063616c6c657220646f6573206e6f742068617665207468652050617573657220726f6c654f776e61626c653a206e6577206f776e657220697320746865207a65726f206164647265737345524332303a20617070726f766520746f20746865207a65726f2061646472657373454f53207075626c6963206b6579206c656e6774682073686f756c64206265206c657373207468616e2036342063686172616374657273526f6c65733a206163636f756e7420646f6573206e6f74206861766520726f6c654e65656420617070726f76616c2066726f6d20756c74726120616674657220636f6e74726163742069732066726f7a656e536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f77526f6c65733a206163636f756e7420697320746865207a65726f20616464726573736861766520616c726561647920696d706f727465642062616c616e636520666f72207468697320627579657245524332303a207472616e736665722066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f206164647265737363616e2774206368616e676520616e206578697374696e6720636f6e7472616374a265627a7a72305820241dbe33cfdd9eba72a7f16c4cc2eebb12bea4ec9690917c5ee82c6d8b04f9c164736f6c63430005090032

22509:8667:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;22509:8667:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;24719:83;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;24719:83:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19411:140;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;19411:140:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;25093:233;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;25093:233:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8141:91;;;:::i;:::-;;;;;;;;;;;;;;;;;;;19243:160;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;19243:160:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;24905:83;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;19559:167;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;19559:167:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;30953:218;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;30953:218:0;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;30953:218:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;30953:218:0;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;39:11;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;30953:218:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;30953:218:0;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;18739:118;;;:::i;:::-;;16225:109;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;16225:109:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;28194:399;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;17948:78;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;16442:77;;;:::i;:::-;;8295:110;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8295:110:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;21636:140;;;:::i;:::-;;26178:892;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;26178:892:0;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;26178:892:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;26178:892:0;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;39:11;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;26178:892:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;26178:892:0;;;;;;;;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;26178:892:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;26178:892:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;39:11;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;26178:892:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;26178:892:0;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;24996:89;;;:::i;:::-;;;;;;;;;;;;;;;;;;;16342:92;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;16342:92:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;18528:116;;;:::i;:::-;;20825:79;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;21191:92;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;27237:887;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;27237:887:0;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;27237:887:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;27237:887:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;39:11;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;27237:887:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;27237:887:0;;;;;;;;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;27237:887:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;27237:887:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;39:11;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;27237:887:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;27237:887:0;;;;;;;;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;27237:887:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;27237:887:0;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;39:11;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;27237:887:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;27237:887:0;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;24810:87;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;24810:87:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19734:177;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;19734:177:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;25338:735;;;:::i;:::-;;;;;;;;;;;;;;;;;;;19103:132;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;19103:132:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;30297:96;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;30297:96:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30473:358;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;30473:358:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;8837:134;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8837:134:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;30155;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;30155:134:0;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;30155:134:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;30155:134:0;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;39:11;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;30155:134:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;30155:134:0;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;21931:109;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;21931:109:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;30839:106;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;28676:1130;;;:::i;:::-;;;;;;;;;;;;;;;;;;;24719:83;24756:13;24789:5;24782:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;24719:83;:::o;19411:140::-;19490:4;18185:7;;;;;;;;;;;18184:8;18176:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19514:29;19528:7;19537:5;19514:13;:29::i;:::-;19507:36;;19411:140;;;;:::o;25093:233::-;25142:7;25151;25160:13;25186:27;25216:11;:23;25228:10;25216:23;;;;;;;;;;;;;;;25186:53;;25258:9;:15;;;25275:9;:17;;;25294:9;:22;;25250:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;25093:233;;;:::o;8141:91::-;8185:7;8212:12;;8205:19;;8141:91;:::o;19243:160::-;19336:4;18185:7;;;;;;;;;;;18184:8;18176:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19360:35;19379:4;19385:2;19389:5;19360:18;:35::i;:::-;19353:42;;19243:160;;;;;:::o;24905:83::-;24946:5;24971:9;;;;;;;;;;;24964:16;;24905:83;:::o;19559:167::-;19650:4;18185:7;;;;;;;;;;;18184:8;18176:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19674:44;19698:7;19707:10;19674:23;:44::i;:::-;19667:51;;19559:167;;;;:::o;30953:218::-;31007:4;31032:15;:27;31048:10;31032:27;;;;;;;;;;;;;;;;;;;;;;;;;31024:89;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;31124:17;31134:6;31124:9;:17::i;:::-;31159:4;31152:11;;30953:218;;;:::o;18739:118::-;16124:20;16133:10;16124:8;:20::i;:::-;16116:81;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18384:7;;;;;;;;;;;18376:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18808:5;18798:7;;:15;;;;;;;;;;;;;;;;;;18829:20;18838:10;18829:20;;;;;;;;;;;;;;;;;;;;;;18739:118::o;16225:109::-;16281:4;16305:21;16318:7;16305:8;:12;;:21;;;;:::i;:::-;16298:28;;16225:109;;;:::o;28194:399::-;28241:4;18185:7;;;;;;;;;;;18184:8;18176:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;28258:16;28277;:14;:16::i;:::-;28258:35;;28333:1;28322:8;:12;28314:55;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;28416:45;28452:8;28416:11;:23;28428:10;28416:23;;;;;;;;;;;;;;;:31;;;:35;;:45;;;;:::i;:::-;28382:11;:23;28394:10;28382:23;;;;;;;;;;;;;;;:31;;:79;;;;28472:46;28490:4;28497:10;28509:8;28472:9;:46::i;:::-;28542:10;28536:27;;;28554:8;28536:27;;;;;;;;;;;;;;;;;;28581:4;28574:11;;;28194:399;:::o;17948:78::-;17987:4;18011:7;;;;;;;;;;;18004:14;;17948:78;:::o;16442:77::-;16486:25;16500:10;16486:13;:25::i;:::-;16442:77::o;8295:110::-;8352:7;8379:9;:18;8389:7;8379:18;;;;;;;;;;;;;;;;8372:25;;8295:110;;;:::o;21636:140::-;21037:9;:7;:9::i;:::-;21029:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21735:1;21698:40;;21719:6;;;;;;;;;;;21698:40;;;;;;;;;;;;21766:1;21749:6;;:19;;;;;;;;;;;;;;;;;;21636:140::o;26178:892::-;26324:4;21037:9;:7;:9::i;:::-;21029:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18185:7;;;;;;;;;;;18184:8;18176:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;26341:39;26383:17;26401:12;26383:31;;;;;;;;;;;;;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;;;26383:31:0;;;;;;;;;;;;;;;;;;;;;26341:73;;26471:1;26433:15;:27;;:34;;;;:39;26425:85;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;26521:16;26540:1;26521:20;;26556:9;26568:1;26556:13;;26552:114;26575:11;:18;26571:1;:22;26552:114;;;26626:28;26639:11;26651:1;26639:14;;;;;;;;;;;;;;26626:8;:12;;:28;;;;:::i;:::-;26615:39;;26595:3;;;;;;;26552:114;;;;26696:5;26684:8;:17;26676:56;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;26821:11;26791:15;:27;;:41;;;;;;;;;;;;:::i;:::-;;26873:10;26843:15;:26;;:40;;;;26924:41;26963:1;26924:34;26939:11;:18;26924:10;:14;;:34;;;;:::i;:::-;:38;;:41;;;;:::i;:::-;26894:15;:24;;:71;;;;26983:57;27002:12;27016:11;27029:10;26983:57;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;26983:57:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;26983:57:0;;;;;;;;;;;;;;;;;;;;27058:4;27051:11;;;;26178:892;;;;;:::o;24996:89::-;25039:7;25066:11;;25059:18;;24996:89;:::o;16342:92::-;16124:20;16133:10;16124:8;:20::i;:::-;16116:81;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16407:19;16418:7;16407:10;:19::i;:::-;16342:92;:::o;18528:116::-;16124:20;16133:10;16124:8;:20::i;:::-;16116:81;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18185:7;;;;;;;;;;;18184:8;18176:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18598:4;18588:7;;:14;;;;;;;;;;;;;;;;;;18618:18;18625:10;18618:18;;;;;;;;;;;;;;;;;;;;;;18528:116::o;20825:79::-;20863:7;20890:6;;;;;;;;;;;20883:13;;20825:79;:::o;21191:92::-;21231:4;21269:6;;;;;;;;;;;21255:20;;:10;:20;;;21248:27;;21191:92;:::o;27237:887::-;27378:4;21037:9;:7;:9::i;:::-;21029:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18185:7;;;;;;;;;;;18184:8;18176:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;27420:6;:13;27403:6;:13;:30;27395:71;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;27487:39;27529:17;27547:12;27529:31;;;;;;;;;;;;;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;;;27529:31:0;;;;;;;;;;;;;;;;;;;;;27487:73;;27616:1;27579:15;:27;;:34;;;;:38;27571:74;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;27662:9;27674:1;27662:13;;27658:376;27681:6;:13;27677:1;:17;27658:376;;;27736:1;27724:6;27731:1;27724:9;;;;;;;;;;;;;;:13;27716:52;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;27783:27;27813:11;:22;27825:6;27832:1;27825:9;;;;;;;;;;;;;;27813:22;;;;;;;;;;;;;;;27783:52;;27878:1;27859:9;:15;;;:20;27851:77;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;27961:6;27968:1;27961:9;;;;;;;;;;;;;;27943;:15;;:27;;;;28010:12;27985:9;:22;;:37;;;;;;;;;;;;:::i;:::-;;27658:376;27696:3;;;;;;;27658:376;;;;28051:43;28065:6;28073;28081:12;28051:43;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;28051:43:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;28051:43:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;28051:43:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;28112:4;28105:11;;;27237:887;;;;;:::o;24810:87::-;24849:13;24882:7;24875:14;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;24810:87;:::o;19734:177::-;19830:4;18185:7;;;;;;;;;;;18184:8;18176:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19854:49;19878:7;19887:15;19854:23;:49::i;:::-;19847:56;;19734:177;;;;:::o;25338:735::-;25386:7;25406:27;25436:11;:23;25448:10;25436:23;;;;;;;;;;;;;;;25406:53;;25496:1;25478:9;:15;;;:19;25470:52;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;25533:39;25575:17;25593:9;:22;;25575:41;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;25533:83;;25627:20;25650:44;25687:6;;25650:32;25670:11;;25650:15;:19;;:32;;;;:::i;:::-;:36;;:44;;;;:::i;:::-;25627:67;;25723:15;:26;;;25708:12;:41;25705:361;;;25773:55;25789:38;25820:6;;25789:15;:26;;;:30;;:38;;;;:::i;:::-;25773:11;;:15;;:55;;;;:::i;:::-;25766:62;;;;;;;25705:361;25865:15;:24;;;25849:12;:40;25846:220;;25913:53;25929:36;25958:6;;25929:15;:24;;;:28;;:36;;;;:::i;:::-;25913:11;;:15;;:53;;;;:::i;:::-;25906:60;;;;;;;25846:220;26006:48;26022:31;26046:6;;26022:19;26039:1;26022:12;:16;;:19;;;;:::i;:::-;:23;;:31;;;;:::i;:::-;26006:11;;:15;;:48;;;;:::i;:::-;25999:55;;;;;25338:735;;:::o;19103:132::-;19178:4;18185:7;;;;;;;;;;;18184:8;18176:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19202:25;19217:2;19221:5;19202:14;:25::i;:::-;19195:32;;19103:132;;;;:::o;30297:96::-;30335:13;30368:5;:17;30374:10;30368:17;;;;;;;;;;;;;;;30361:24;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30297:96;:::o;30473:358::-;30558:4;21037:9;:7;:9::i;:::-;21029:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30602:1;30583:16;30593:5;30583:9;:16::i;:::-;:20;:52;;;;30634:1;30607:11;:18;30619:5;30607:18;;;;;;;;;;;;;;;:24;;;:28;30583:52;30575:90;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30737:10;30712:15;:22;30728:5;30712:22;;;;;;;;;;;;;;;;:35;;;;;;;;;;;;;;;;;;30783:5;30765:36;;;30790:10;30765:36;;;;;;;;;;;;;;;;;;;;;;30819:4;30812:11;;30473:358;;;;:::o;8837:134::-;8909:7;8936:11;:18;8948:5;8936:18;;;;;;;;;;;;;;;:27;8955:7;8936:27;;;;;;;;;;;;;;;;8929:34;;8837:134;;;;:::o;30155:::-;30225:4;18185:7;;;;;;;;;;;18184:8;18176:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30242:17;30252:6;30242:9;:17::i;:::-;30277:4;30270:11;;30155:134;;;:::o;21931:109::-;21037:9;:7;:9::i;:::-;21029:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;22004:28;22023:8;22004:18;:28::i;:::-;21931:109;:::o;30839:106::-;30886:4;30910:15;:27;30926:10;30910:27;;;;;;;;;;;;;;;;;;;;;;;;;30903:34;;30839:106;:::o;28676:1130::-;28723:7;28743:27;28773:11;:23;28785:10;28773:23;;;;;;;;;;;;;;;28743:53;;28832:9;:15;;;28812:9;:17;;;:35;28809:962;;;28864:39;28906:17;28924:9;:22;;28906:41;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;28864:83;;28962:20;28985:44;29022:6;;28985:32;29005:11;;28985:15;:19;;:32;;;;:::i;:::-;:36;;:44;;;;:::i;:::-;28962:67;;29076:15;:26;;;29061:12;:41;29058:98;;;29138:1;29123:17;;;;;;;29058:98;29191:15;:24;;;29175:12;:40;29172:588;;29307:38;29327:9;:17;;;29307:9;:15;;;:19;;:38;;;;:::i;:::-;29300:45;;;;;;;29172:588;29386:22;29411:44;29428:15;:26;;;29411:12;:16;;:44;;;;:::i;:::-;29386:69;;29474:16;29493:1;29474:20;;29517:9;29529:1;29517:13;;29513:143;29537:14;29532:1;:19;29513:143;;29592:44;29605:15;:27;;29633:1;29605:30;;;;;;;;;;;;;;;;29592:8;:12;;:44;;;;:::i;:::-;29581:55;;29553:3;;;;;29513:143;;;;29681:63;29726:9;:17;;;29681:40;29715:5;29681:29;29694:9;:15;;;29681:8;:12;;:29;;;;:::i;:::-;:33;;:40;;;;:::i;:::-;:44;;:63;;;;:::i;:::-;29674:70;;;;;;;;;28809:962;29796:1;29781:17;;;28676:1130;;:::o;9118:148::-;9183:4;9200:36;9209:10;9221:7;9230:5;9200:8;:36::i;:::-;9254:4;9247:11;;9118:148;;;;:::o;9737:256::-;9826:4;9843:36;9853:6;9861:9;9872:6;9843:9;:36::i;:::-;9890:73;9899:6;9907:10;9919:43;9955:6;9919:11;:19;9931:6;9919:19;;;;;;;;;;;;;;;:31;9939:10;9919:31;;;;;;;;;;;;;;;;:35;;:43;;;;:::i;:::-;9890:8;:73::i;:::-;9981:4;9974:11;;9737:256;;;;;:::o;10402:206::-;10482:4;10499:79;10508:10;10520:7;10529:48;10566:10;10529:11;:23;10541:10;10529:23;;;;;;;;;;;;;;;:32;10553:7;10529:32;;;;;;;;;;;;;;;;:36;;:48;;;;:::i;:::-;10499:8;:79::i;:::-;10596:4;10589:11;;10402:206;;;;:::o;29873:274::-;29965:1;29948:6;29942:20;:24;:54;;;;;29994:2;29976:6;29970:20;:26;;29942:54;29934:122;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30087:6;30067:5;:17;30073:10;30067:17;;;;;;;;;;;;;;;:26;;;;;;;;;;;;:::i;:::-;;30120:10;30113:26;;;30132:6;30113:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;30113:26:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;29873:274;:::o;15499:203::-;15571:4;15615:1;15596:21;;:7;:21;;;;15588:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15674:4;:11;;:20;15686:7;15674:20;;;;;;;;;;;;;;;;;;;;;;;;;15667:27;;15499:203;;;;:::o;3800:181::-;3858:7;3878:9;3894:1;3890;:5;3878:17;;3919:1;3914;:6;;3906:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3972:1;3965:8;;;3800:181;;;;:::o;11817:429::-;11933:1;11915:20;;:6;:20;;;;11907:70;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12017:1;11996:23;;:9;:23;;;;11988:71;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12092:29;12114:6;12092:9;:17;12102:6;12092:17;;;;;;;;;;;;;;;;:21;;:29;;;;:::i;:::-;12072:9;:17;12082:6;12072:17;;;;;;;;;;;;;;;:49;;;;12155:32;12180:6;12155:9;:20;12165:9;12155:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;12132:9;:20;12142:9;12132:20;;;;;;;;;;;;;;;:55;;;;12220:9;12203:35;;12212:6;12203:35;;;12231:6;12203:35;;;;;;;;;;;;;;;;;;11817:429;;;:::o;16657:130::-;16717:24;16733:7;16717:8;:15;;:24;;;;:::i;:::-;16771:7;16757:22;;;;;;;;;;;;16657:130;:::o;4256:184::-;4314:7;4347:1;4342;:6;;4334:49;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4394:9;4410:1;4406;:5;4394:17;;4431:1;4424:8;;;4256:184;;;;:::o;16527:122::-;16584:21;16597:7;16584:8;:12;;:21;;;;:::i;:::-;16633:7;16621:20;;;;;;;;;;;;16527:122;:::o;11111:216::-;11196:4;11213:84;11222:10;11234:7;11243:53;11280:15;11243:11;:23;11255:10;11243:23;;;;;;;;;;;;;;;:32;11267:7;11243:32;;;;;;;;;;;;;;;;:36;;:53;;;;:::i;:::-;11213:8;:84::i;:::-;11315:4;11308:11;;11111:216;;;;:::o;5629:333::-;5687:7;5786:1;5782;:5;5774:44;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5829:9;5845:1;5841;:5;;;;;;5829:17;;5953:1;5946:8;;;5629:333;;;;:::o;4691:470::-;4749:7;4998:1;4993;:6;4989:47;;;5023:1;5016:8;;;;4989:47;5048:9;5064:1;5060;:5;5048:17;;5093:1;5088;5084;:5;;;;;;:10;5076:56;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5152:1;5145:8;;;4691:470;;;;;:::o;8618:156::-;8687:4;8704:40;8714:10;8726:9;8737:6;8704:9;:40::i;:::-;8762:4;8755:11;;8618:156;;;;:::o;22146:229::-;22240:1;22220:22;;:8;:22;;;;22212:73;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;22330:8;22301:38;;22322:6;;;;;;;;;;;22301:38;;;;;;;;;;;;22359:8;22350:6;;:17;;;;;;;;;;;;;;;;;;22146:229;:::o;13913:335::-;14023:1;14006:19;;:5;:19;;;;13998:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14104:1;14085:21;;:7;:21;;;;14077:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14188:5;14158:11;:18;14170:5;14158:18;;;;;;;;;;;;;;;:27;14177:7;14158:27;;;;;;;;;;;;;;;:35;;;;14225:7;14209:31;;14218:5;14209:31;;;14234:5;14209:31;;;;;;;;;;;;;;;;;;13913:335;;;:::o;15221:183::-;15301:18;15305:4;15311:7;15301:3;:18::i;:::-;15293:64;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15391:5;15368:4;:11;;:20;15380:7;15368:20;;;;;;;;;;;;;;;;:28;;;;;;;;;;;;;;;;;;15221:183;;:::o;14963:178::-;15041:18;15045:4;15051:7;15041:3;:18::i;:::-;15040:19;15032:63;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15129:4;15106;:11;;:20;15118:7;15106:20;;;;;;;;;;;;;;;;:27;;;;;;;;;;;;;;;;;;14963:178;;:::o;22509:8667::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o

bzzr://241dbe33cfdd9eba72a7f16c4cc2eebb12bea4ec9690917c5ee82c6d8b04f9c1