Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•  contract ERC20Basic
•    - function totalSupply()
•    - function balanceOf(address who)
•    - function transfer(address to, uint256 ...
•  contract Ownable
•    - function transferOwnership(address ne ...
•    - function renounceOwnership()
• library SafeMath
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function add(uint256 a, uint256 b)
•  contract BasicToken is ERC20Basic
•    - function totalSupply()
•    - function transfer(address _to, uint25 ...
•    - function balanceOf(address _owner)
•  contract ERC20 is ERC20Basic
•    - function allowance(address owner, add ...
•    - function transferFrom(address from, a ...
•    - function approve(address spender, uin ...
•  contract StandardToken is ERC20, B ...
•    - function transferFrom(
•    - function approve(address _spender, ui ...
•    - function allowance(
•    - function increaseApproval(
•    - function decreaseApproval(
•  contract BurnableToken is BasicTok ...
•    - function burn(uint256 _value)
•    - function _burn(address _who, uint256 ...
•  contract StandardBurnableToken is ...
•    - function burnFrom(address _from, uint ...
•  contract Pausable is Ownable
•    - function pause()
•    - function unpause()
•  contract PausableToken is Standard ...
•    - function transfer(
•    - function transferFrom(
•    - function approve(
•    - function increaseApproval(
•    - function decreaseApproval(
•    - function transfer(address to, uint256 ...
•    - function transferFrom(address from, a ...
•    - function transferWithLock(address hol ...
•    - function _lock(address holder, uint25 ...
•    - function _unlock(address holder, uint ...
•    - function _autoUnlock(address holder)
•    - function setLockTime(address holder, ...
•    - function getLockedUserInfo(address _a ...
•    - function burn(uint256 _value)
•    - function burnFrom(address _from, uint ...
•    - function balanceOf(address owner)
•    - function setSupervisor(address _addre ...
•    - function removeSupervisor(address _ad ...
•    - function setLockedWalletEntity(addres ...
•    - function removeLockedWalletEntity(add ...
•    - function isSupervisor(address _addres ...
•    - function isLockedWalletEntity(address ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-11-27
*/

pragma solidity ^0.4.24;

/**
 * @title ERC20Basic
 * @dev Simpler version of ERC20 interface
 * See https://github.com/ethereum/EIPs/issues/179
 */
contract ERC20Basic {
  function totalSupply() public view returns (uint256);
  function balanceOf(address who) public view returns (uint256);
  function transfer(address to, uint256 value) public returns (bool);
  event Transfer(address indexed from, address indexed to, uint256 value);
}

/**
 * @title Ownable
 * @dev The Ownable contract has an owner address, and provides basic authorization control
 * functions, this simplifies the implementation of "user permissions".
 */
contract Ownable {
  address public owner;


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


  /**
   * @dev The Ownable constructor sets the original `owner` of the contract to the sender
   * account.
   */
  constructor() public {
    owner = msg.sender;
  }

  /**
   * @dev Throws if called by any account other than the owner.
   */
  modifier onlyOwner() {
    require(msg.sender == owner);
    _;
  }

  /**
   * @dev Allows the current owner to transfer control of the contract to a newOwner.
   * @param newOwner The address to transfer ownership to.
   */
  function transferOwnership(address newOwner) public onlyOwner {
    require(newOwner != address(0));
    emit OwnershipTransferred(owner, newOwner);
    owner = newOwner;
  }

  /**
   * @dev Allows the current owner to relinquish control of the contract.
   */
  function renounceOwnership() public onlyOwner {
    emit OwnershipRenounced(owner);
    owner = address(0);
  }
}

library SafeMath {
  function mul(uint256 a, uint256 b) internal pure returns (uint256) {
    if (a == 0) {
      return 0;
    }
    uint256 c = a * b;
    assert(c / a == b);
    return c;
  }

  function div(uint256 a, uint256 b) internal pure returns (uint256) {
    assert(b > 0); // Solidity automatically throws when dividing by 0
    uint256 c = a / b;
    // assert(a == b * c + a % b); // There is no case in which this doesn't hold
    return c;
  }

  function sub(uint256 a, uint256 b) internal pure returns (uint256) {
    assert(b <= a);
    return a - b;
  }

  function add(uint256 a, uint256 b) internal pure returns (uint256) {
    uint256 c = a + b;
    assert(c >= a);
    return c;
  }
}



/**
 * @title Basic token
 * @dev Basic version of StandardToken, with no allowances.
 */
contract BasicToken is ERC20Basic {
  using SafeMath for uint256;

  mapping(address => uint256) balances;

  uint256 totalSupply_;

  /**
  * @dev Total number of tokens in existence
  */
  function totalSupply() public view returns (uint256) {
    return totalSupply_;
  }

  /**
  * @dev Transfer token for a specified address
  * @param _to The address to transfer to.
  * @param _value The amount to be transferred.
  */
  function transfer(address _to, uint256 _value) public returns (bool) {
    require(_to != address(0));
    require(_value <= balances[msg.sender]);

    balances[msg.sender] = balances[msg.sender].sub(_value);
    balances[_to] = balances[_to].add(_value);
    emit Transfer(msg.sender, _to, _value);
    return true;
  }

  /**
  * @dev Gets the balance of the specified address.
  * @param _owner The address to query the the balance of.
  * @return An uint256 representing the amount owned by the passed address.
  */
  function balanceOf(address _owner) public view returns (uint256) {
    return balances[_owner];
  }

}

/**
 * @title ERC20 interface
 * @dev see https://github.com/ethereum/EIPs/issues/20
 */
contract ERC20 is ERC20Basic {
  
  function allowance(address owner, address spender)
    public view returns (uint256);

  function transferFrom(address from, address to, uint256 value)
    public returns (bool);

  function approve(address spender, uint256 value) public returns (bool);
  event Approval(
    address indexed owner,
    address indexed spender,
    uint256 value
  );
}


/**
 * @title Standard ERC20 token
 *
 * @dev Implementation of the basic standard token.
 * https://github.com/ethereum/EIPs/issues/20
 * Based on code by FirstBlood: https://github.com/Firstbloodio/token/blob/master/smart_contract/FirstBloodToken.sol
 */
contract StandardToken is ERC20, BasicToken {

  mapping (address => mapping (address => uint256)) internal allowed;


  /**
   * @dev Transfer tokens from one address to another
   * @param _from address The address which you want to send tokens from
   * @param _to address The address which you want to transfer to
   * @param _value uint256 the amount of tokens to be transferred
   */
  function transferFrom(
    address _from,
    address _to,
    uint256 _value
  )
    public
    returns (bool)
  {
    require(_to != address(0));
    require(_value <= balances[_from]);
    require(_value <= allowed[_from][msg.sender]);

    balances[_from] = balances[_from].sub(_value);
    balances[_to] = balances[_to].add(_value);
    allowed[_from][msg.sender] = allowed[_from][msg.sender].sub(_value);
    emit Transfer(_from, _to, _value);
    return true;
  }

  /**
   * @dev Approve the passed address to spend the specified amount of tokens on behalf of msg.sender.
   * 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
   * @param _spender The address which will spend the funds.
   * @param _value The amount of tokens to be spent.
   */
  function approve(address _spender, uint256 _value) public returns (bool) {
    allowed[msg.sender][_spender] = _value;
    emit Approval(msg.sender, _spender, _value);
    return true;
  }

  /**
   * @dev Function to check the amount of tokens that an owner allowed to a spender.
   * @param _owner address The address which owns the funds.
   * @param _spender address The address which will spend the funds.
   * @return A uint256 specifying the amount of tokens still available for the spender.
   */
  function allowance(
    address _owner,
    address _spender
   )
    public
    view
    returns (uint256)
  {
    return allowed[_owner][_spender];
  }

  /**
   * @dev Increase the amount of tokens that an owner allowed to a spender.
   * approve should be called when allowed[_spender] == 0. To increment
   * allowed value is better to use this function to avoid 2 calls (and wait until
   * the first transaction is mined)
   * From MonolithDAO Token.sol
   * @param _spender The address which will spend the funds.
   * @param _addedValue The amount of tokens to increase the allowance by.
   */
  function increaseApproval(
    address _spender,
    uint256 _addedValue
  )
    public
    returns (bool)
  {
    allowed[msg.sender][_spender] = (
      allowed[msg.sender][_spender].add(_addedValue));
    emit Approval(msg.sender, _spender, allowed[msg.sender][_spender]);
    return true;
  }

  /**
   * @dev Decrease the amount of tokens that an owner allowed to a spender.
   * approve should be called when allowed[_spender] == 0. To decrement
   * allowed value is better to use this function to avoid 2 calls (and wait until
   * the first transaction is mined)
   * From MonolithDAO Token.sol
   * @param _spender The address which will spend the funds.
   * @param _subtractedValue The amount of tokens to decrease the allowance by.
   */
  function decreaseApproval(
    address _spender,
    uint256 _subtractedValue
  )
    public
    returns (bool)
  {
    uint256 oldValue = allowed[msg.sender][_spender];
    if (_subtractedValue > oldValue) {
      allowed[msg.sender][_spender] = 0;
    } else {
      allowed[msg.sender][_spender] = oldValue.sub(_subtractedValue);
    }
    emit Approval(msg.sender, _spender, allowed[msg.sender][_spender]);
    return true;
  }

}

/**
 * @title Burnable Token
 * @dev Token that can be irreversibly burned (destroyed).
 */

contract BurnableToken is BasicToken {

  event Burn(address indexed burner, uint256 value);

  /**
   * @dev Burns a specific amount of tokens.
   * @param _value The amount of token to be burned.
   */
  function burn(uint256 _value) public {
    _burn(msg.sender, _value);
  }

  function _burn(address _who, uint256 _value) internal {
    require(_value <= balances[_who]);
    // no need to require value <= totalSupply, since that would imply the
    // sender's balance is greater than the totalSupply, which *should* be an assertion failure

    balances[_who] = balances[_who].sub(_value);
    totalSupply_ = totalSupply_.sub(_value);
    emit Burn(_who, _value);
    emit Transfer(_who, address(0), _value);
  }
}

/**
 * @title Standard Burnable Token
 * @dev Adds burnFrom method to ERC20 implementations
 */

contract StandardBurnableToken is BurnableToken, StandardToken {

  /**
   * @dev Burns a specific amount of tokens from the target address and decrements allowance
   * @param _from address The address which you want to send tokens from
   * @param _value uint256 The amount of token to be burned
   */
  function burnFrom(address _from, uint256 _value) public {
    require(_value <= allowed[_from][msg.sender]);
    // Should https://github.com/OpenZeppelin/zeppelin-solidity/issues/707 be accepted,
    // this function needs to emit an event with the updated approval.
    allowed[_from][msg.sender] = allowed[_from][msg.sender].sub(_value);
    _burn(_from, _value);
  }
}

/**
 * @title Pausable
 * @dev Base contract which allows children to implement an emergency stop mechanism.
 */
contract Pausable is Ownable {
  event Pause();
  event Unpause();

  bool public paused = false;


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

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

  /**
   * @dev called by the owner to pause, triggers stopped state
   */
  function pause() onlyOwner whenNotPaused public {
    paused = true;
    emit Pause();
  }

  /**
   * @dev called by the owner to unpause, returns to normal state
   */
  function unpause() onlyOwner whenPaused public {
    paused = false;
    emit Unpause();
  }
}

/**
 * @title Pausable token
 * @dev StandardToken modified with pausable transfers.
 **/
contract PausableToken is StandardToken, 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 increaseApproval(
    address _spender,
    uint _addedValue
  )
    public
    whenNotPaused
    returns (bool success)
  {
    return super.increaseApproval(_spender, _addedValue);
  }

  function decreaseApproval(
    address _spender,
    uint _subtractedValue
  )
    public
    whenNotPaused
    returns (bool success)
  {
    return super.decreaseApproval(_spender, _subtractedValue);
  }
}

/**
 * @title Lox token
 **/
 contract LOX is StandardBurnableToken, PausableToken {
     
    using SafeMath for uint256;
    string public constant name = "LOX SOCIETY";
    string public constant symbol = "LOX";
    uint8 public constant decimals = 10;
    uint256 public constant INITIAL_SUPPLY = 5e4 * (10 ** uint256(decimals));
    uint constant LOCK_TOKEN_COUNT = 1000;
    
    struct LockedUserInfo{
        uint256 _releaseTime;
        uint256 _amount;
    }

    mapping(address => LockedUserInfo[]) private lockedUserEntity;
    mapping(address => bool) private supervisorEntity;
    mapping(address => bool) private lockedWalletEntity;

    modifier onlySupervisor() {
        require(owner == msg.sender || supervisorEntity[msg.sender]);
        _;
    }

    event Lock(address indexed holder, uint256 value, uint256 releaseTime);
    event Unlock(address indexed holder, uint256 value);
 
    event PrintLog(
        address indexed sender,
        string _logName,
        uint256 _value
    );

    constructor() public {
        totalSupply_ = INITIAL_SUPPLY;
        balances[msg.sender] = INITIAL_SUPPLY;
        emit Transfer(0x0, msg.sender, INITIAL_SUPPLY);
    }
    
    function transfer(address to, uint256 value) public whenNotPaused returns (bool) {
        require(!isLockedWalletEntity(msg.sender));
        require(msg.sender != to,"Check your address!!");
        
        if (lockedUserEntity[msg.sender].length > 0 ) {
            _autoUnlock(msg.sender);            
        }
        return super.transfer(to, value);
    }

    function transferFrom(address from, address to, uint256 value) public whenNotPaused  returns (bool) {
        require(!isLockedWalletEntity(from) && !isLockedWalletEntity(msg.sender));
        if (lockedUserEntity[from].length > 0) {
            _autoUnlock(from);            
        }
        return super.transferFrom(from, to, value);
    }
    
    function transferWithLock(address holder, uint256 value, uint256 releaseTime) public onlySupervisor whenNotPaused returns (bool) {
        require(releaseTime > now && value > 0, "Check your values!!;");
        if(lockedUserEntity[holder].length >= LOCK_TOKEN_COUNT){
            return false;
        }
        transfer(holder, value);
        _lock(holder,value,releaseTime);
        return true;
    }
      
    function _lock(address holder, uint256 value, uint256 releaseTime) internal returns(bool) {
        balances[holder] = balances[holder].sub(value);
        lockedUserEntity[holder].push( LockedUserInfo(releaseTime, value) );
        
        emit Lock(holder, value, releaseTime);
        return true;
    }
    
    function _unlock(address holder, uint256 idx) internal returns(bool) {
        LockedUserInfo storage lockedUserInfo = lockedUserEntity[holder][idx];
        uint256 releaseAmount = lockedUserInfo._amount;

        delete lockedUserEntity[holder][idx];
        lockedUserEntity[holder][idx] = lockedUserEntity[holder][lockedUserEntity[holder].length.sub(1)];
        lockedUserEntity[holder].length -=1;
        
        emit Unlock(holder, releaseAmount);
        balances[holder] = balances[holder].add(releaseAmount);
        
        return true;
    }
    
    function _autoUnlock(address holder) internal returns(bool) {
        for(uint256 idx =0; idx < lockedUserEntity[holder].length ; idx++ ) {
            if (lockedUserEntity[holder][idx]._releaseTime <= now) {
                // If lockupinfo was deleted, loop restart at same position.
                if( _unlock(holder, idx) ) {
                    idx -=1;
                }
            }
        }
        return true;
    } 
    
    function setLockTime(address holder, uint idx, uint256 releaseTime) onlySupervisor public returns(bool){
        require(holder !=address(0) && idx >= 0 && releaseTime > now);
        require(lockedUserEntity[holder].length >= idx);
         
        lockedUserEntity[holder][idx]._releaseTime = releaseTime;
        return true;
    }
    
    function getLockedUserInfo(address _address) view public returns (uint256[], uint256[]){
        require(msg.sender == _address || msg.sender == owner || supervisorEntity[msg.sender]);
        uint256[] memory _returnAmount = new uint256[](lockedUserEntity[_address].length);
        uint256[] memory _returnReleaseTime = new uint256[](lockedUserEntity[_address].length);
        
        for(uint i = 0; i < lockedUserEntity[_address].length; i ++){
            _returnAmount[i] = lockedUserEntity[_address][i]._amount;
            _returnReleaseTime[i] = lockedUserEntity[_address][i]._releaseTime;
        }
        return (_returnAmount, _returnReleaseTime);
    }
    
    function burn(uint256 _value) onlySupervisor public {
        super._burn(msg.sender, _value);
    }
    
    function burnFrom(address _from, uint256 _value) onlySupervisor public {
        super.burnFrom(_from, _value);
    }
    
    function balanceOf(address owner) public view returns (uint256) {
        
        uint256 totalBalance = super.balanceOf(owner);
        if( lockedUserEntity[owner].length >0 ){
            for(uint i=0; i<lockedUserEntity[owner].length;i++){
                totalBalance = totalBalance.add(lockedUserEntity[owner][i]._amount);
            }
        }
        
        return totalBalance;
    }

    function setSupervisor(address _address) onlyOwner public returns (bool){
        require(_address !=address(0) && !supervisorEntity[_address]);
        supervisorEntity[_address] = true;
        emit PrintLog(_address, "isSupervisor",  1);
        return true;
    }

    function removeSupervisor(address _address) onlyOwner public returns (bool){
        require(_address !=address(0) && supervisorEntity[_address]);
        delete supervisorEntity[_address];
        emit PrintLog(_address, "isSupervisor",  0);
        return true;
    }

    function setLockedWalletEntity(address _address) onlySupervisor public returns (bool){
        require(_address !=address(0) && !lockedWalletEntity[_address]);
        lockedWalletEntity[_address] = true;
        emit PrintLog(_address, "isLockedWalletEntity",  1);
        return true;
    }

    function removeLockedWalletEntity(address _address) onlySupervisor public returns (bool){
        require(_address !=address(0) && lockedWalletEntity[_address]);
        delete lockedWalletEntity[_address];
        emit PrintLog(_address, "isLockedWalletEntity",  0);
        return true;
    }

    function isSupervisor(address _address) view onlyOwner public returns (bool){
        return supervisorEntity[_address];
    }

    function isLockedWalletEntity(address _from) view private returns (bool){
        return lockedWalletEntity[_from];
    }

}

• 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":"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":"INITIAL_SUPPLY","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"unpause","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_value","type":"uint256"}],"name":"burn","outputs":[],"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":"_spender","type":"address"},{"name":"_subtractedValue","type":"uint256"}],"name":"decreaseApproval","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"owner","type":"address"}],"name":"balanceOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_address","type":"address"}],"name":"removeSupervisor","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"renounceOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_from","type":"address"},{"name":"_value","type":"uint256"}],"name":"burnFrom","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_address","type":"address"}],"name":"isSupervisor","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"pause","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_address","type":"address"}],"name":"getLockedUserInfo","outputs":[{"name":"","type":"uint256[]"},{"name":"","type":"uint256[]"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_address","type":"address"}],"name":"setSupervisor","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":"holder","type":"address"},{"name":"idx","type":"uint256"},{"name":"releaseTime","type":"uint256"}],"name":"setLockTime","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","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":false,"inputs":[{"name":"_address","type":"address"}],"name":"removeLockedWalletEntity","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_addedValue","type":"uint256"}],"name":"increaseApproval","outputs":[{"name":"success","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":"holder","type":"address"},{"name":"value","type":"uint256"},{"name":"releaseTime","type":"uint256"}],"name":"transferWithLock","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_address","type":"address"}],"name":"setLockedWalletEntity","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"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"name":"holder","type":"address"},{"indexed":false,"name":"value","type":"uint256"},{"indexed":false,"name":"releaseTime","type":"uint256"}],"name":"Lock","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"holder","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Unlock","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"sender","type":"address"},{"indexed":false,"name":"_logName","type":"string"},{"indexed":false,"name":"_value","type":"uint256"}],"name":"PrintLog","type":"event"},{"anonymous":false,"inputs":[],"name":"Pause","type":"event"},{"anonymous":false,"inputs":[],"name":"Unpause","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"previousOwner","type":"address"}],"name":"OwnershipRenounced","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":true,"name":"burner","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Burn","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"},{"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"}]

60806040526000600360146101000a81548160ff02191690831515021790555034801561002b57600080fd5b5033600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600a60ff16600a0a61c35002600181905550600a60ff16600a0a61c350026000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff1660007fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef600a60ff16600a0a61c350026040518082815260200191505060405180910390a3613af2806101376000396000f30060806040526004361061016a576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde031461016f578063095ea7b3146101ff57806318160ddd1461026457806323b872dd1461028f5780632ff2e9dc14610314578063313ce5671461033f5780633f4ba83a1461037057806342966c68146103875780635c975abb146103b457806366188463146103e357806370a08231146104485780637128defb1461049f578063715018a6146104fa57806379cc67901461051157806381a244591461055e5780638456cb59146105b95780638477a3f4146105d05780638da5cb5b146106b05780639299eb301461070757806395d89b4114610762578063997fdb1f146107f2578063a9059cbb14610861578063b74467df146108c6578063d73dd62314610921578063dd62ed3e14610986578063de6baccb146109fd578063eb7ee54814610a6c578063f2fde38b14610ac7575b600080fd5b34801561017b57600080fd5b50610184610b0a565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156101c45780820151818401526020810190506101a9565b50505050905090810190601f1680156101f15780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561020b57600080fd5b5061024a600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610b43565b604051808215151515815260200191505060405180910390f35b34801561027057600080fd5b50610279610b73565b6040518082815260200191505060405180910390f35b34801561029b57600080fd5b506102fa600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610b7d565b604051808215151515815260200191505060405180910390f35b34801561032057600080fd5b50610329610c2c565b6040518082815260200191505060405180910390f35b34801561034b57600080fd5b50610354610c3b565b604051808260ff1660ff16815260200191505060405180910390f35b34801561037c57600080fd5b50610385610c40565b005b34801561039357600080fd5b506103b260048036038101908080359060200190929190505050610d00565b005b3480156103c057600080fd5b506103c9610dbd565b604051808215151515815260200191505060405180910390f35b3480156103ef57600080fd5b5061042e600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610dd0565b604051808215151515815260200191505060405180910390f35b34801561045457600080fd5b50610489600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610e00565b6040518082815260200191505060405180910390f35b3480156104ab57600080fd5b506104e0600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610f34565b604051808215151515815260200191505060405180910390f35b34801561050657600080fd5b5061050f611103565b005b34801561051d57600080fd5b5061055c600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611208565b005b34801561056a57600080fd5b5061059f600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506112c6565b604051808215151515815260200191505060405180910390f35b3480156105c557600080fd5b506105ce611378565b005b3480156105dc57600080fd5b50610611600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611439565b604051808060200180602001838103835285818151815260200191508051906020019060200280838360005b8381101561065857808201518184015260208101905061063d565b50505050905001838103825284818151815260200191508051906020019060200280838360005b8381101561069a57808201518184015260208101905061067f565b5050505090500194505050505060405180910390f35b3480156106bc57600080fd5b506106c561176d565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561071357600080fd5b50610748600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611793565b604051808215151515815260200191505060405180910390f35b34801561076e57600080fd5b5061077761196c565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156107b757808201518184015260208101905061079c565b50505050905090810190601f1680156107e45780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156107fe57600080fd5b50610847600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803590602001909291905050506119a5565b604051808215151515815260200191505060405180910390f35b34801561086d57600080fd5b506108ac600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611b69565b604051808215151515815260200191505060405180910390f35b3480156108d257600080fd5b50610907600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611ca8565b604051808215151515815260200191505060405180910390f35b34801561092d57600080fd5b5061096c600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611ecb565b604051808215151515815260200191505060405180910390f35b34801561099257600080fd5b506109e7600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611efb565b6040518082815260200191505060405180910390f35b348015610a0957600080fd5b50610a52600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919080359060200190929190505050611f82565b604051808215151515815260200191505060405180910390f35b348015610a7857600080fd5b50610aad600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061214c565b604051808215151515815260200191505060405180910390f35b348015610ad357600080fd5b50610b08600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612379565b005b6040805190810160405280600b81526020017f4c4f5820534f434945545900000000000000000000000000000000000000000081525081565b6000600360149054906101000a900460ff16151515610b6157600080fd5b610b6b83836124d1565b905092915050565b6000600154905090565b6000600360149054906101000a900460ff16151515610b9b57600080fd5b610ba4846125c3565b158015610bb75750610bb5336125c3565b155b1515610bc257600080fd5b6000600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490501115610c1857610c1684612619565b505b610c238484846126ff565b90509392505050565b600a60ff16600a0a61c3500281565b600a81565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610c9c57600080fd5b600360149054906101000a900460ff161515610cb757600080fd5b6000600360146101000a81548160ff0219169083151502179055507f7805862f689e2f13df9f062ff482ad3ad112aca9e0847911ed832e158c525b3360405160405180910390a1565b3373ffffffffffffffffffffffffffffffffffffffff16600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161480610da55750600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b1515610db057600080fd5b610dba3382612731565b50565b600360149054906101000a900460ff1681565b6000600360149054906101000a900460ff16151515610dee57600080fd5b610df883836128e4565b905092915050565b6000806000610e0e84612b75565b91506000600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490501115610f2a57600090505b600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002080549050811015610f2957610f1a600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002082815481101515610ef957fe5b90600052602060002090600202016001015483612bbd90919063ffffffff16565b91508080600101915050610e60565b5b8192505050919050565b6000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610f9257600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141580156110185750600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b151561102357600080fd5b600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81549060ff02191690558173ffffffffffffffffffffffffffffffffffffffff167f8c5488c20f72c8e1e70d2fb015bb3f71075f6b62981493b11d7bc228dcd3dc98600060405180806020018381526020018281038252600c8152602001807f697353757065727669736f7200000000000000000000000000000000000000008152506020019250505060405180910390a260019050919050565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561115f57600080fd5b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167ff8df31144d9c2f0f6b59d69b8b98abd5459d07f2742c4df920b25aae33c6482060405160405180910390a26000600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b3373ffffffffffffffffffffffffffffffffffffffff16600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614806112ad5750600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b15156112b857600080fd5b6112c28282612bdb565b5050565b6000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561132457600080fd5b600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff169050919050565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156113d457600080fd5b600360149054906101000a900460ff161515156113f057600080fd5b6001600360146101000a81548160ff0219169083151502179055507f6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff62560405160405180910390a1565b60608060608060008573ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614806114c85750600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16145b8061151c5750600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b151561152757600080fd5b600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490506040519080825280602002602001820160405280156115985781602001602082028038833980820191505090505b509250600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054905060405190808252806020026020018201604052801561160c5781602001602082028038833980820191505090505b509150600090505b600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054905081101561175f57600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020818154811015156116aa57fe5b90600052602060002090600202016001015483828151811015156116ca57fe5b9060200190602002018181525050600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208181548110151561172457fe5b906000526020600020906002020160000154828281518110151561174457fe5b90602001906020020181815250508080600101915050611614565b828294509450505050915091565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156117f157600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141580156118785750600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16155b151561188357600080fd5b6001600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff167f8c5488c20f72c8e1e70d2fb015bb3f71075f6b62981493b11d7bc228dcd3dc98600160405180806020018381526020018281038252600c8152602001807f697353757065727669736f7200000000000000000000000000000000000000008152506020019250505060405180910390a260019050919050565b6040805190810160405280600381526020017f4c4f58000000000000000000000000000000000000000000000000000000000081525081565b60003373ffffffffffffffffffffffffffffffffffffffff16600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161480611a4c5750600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b1515611a5757600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614158015611a95575060008310155b8015611aa057504282115b1515611aab57600080fd5b82600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054905010151515611afc57600080fd5b81600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002084815481101515611b4957fe5b906000526020600020906002020160000181905550600190509392505050565b6000600360149054906101000a900460ff16151515611b8757600080fd5b611b90336125c3565b151515611b9c57600080fd5b8273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151515611c40576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f436865636b20796f75722061646472657373212100000000000000000000000081525060200191505060405180910390fd5b6000600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490501115611c9657611c9433612619565b505b611ca08383612d83565b905092915050565b60003373ffffffffffffffffffffffffffffffffffffffff16600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161480611d4f5750600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b1515611d5a57600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614158015611de05750600660008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b1515611deb57600080fd5b600660008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81549060ff02191690558173ffffffffffffffffffffffffffffffffffffffff167f8c5488c20f72c8e1e70d2fb015bb3f71075f6b62981493b11d7bc228dcd3dc9860006040518080602001838152602001828103825260148152602001807f69734c6f636b656457616c6c6574456e746974790000000000000000000000008152506020019250505060405180910390a260019050919050565b6000600360149054906101000a900460ff16151515611ee957600080fd5b611ef38383612db3565b905092915050565b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b60003373ffffffffffffffffffffffffffffffffffffffff16600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614806120295750600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b151561203457600080fd5b600360149054906101000a900460ff1615151561205057600080fd5b428211801561205f5750600083115b15156120d3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f436865636b20796f75722076616c75657321213b00000000000000000000000081525060200191505060405180910390fd5b6103e8600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490501015156121295760009050612145565b6121338484611b69565b5061213f848484612faf565b50600190505b9392505050565b60003373ffffffffffffffffffffffffffffffffffffffff16600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614806121f35750600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b15156121fe57600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141580156122855750600660008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16155b151561229057600080fd5b6001600660008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff167f8c5488c20f72c8e1e70d2fb015bb3f71075f6b62981493b11d7bc228dcd3dc9860016040518080602001838152602001828103825260148152602001807f69734c6f636b656457616c6c6574456e746974790000000000000000000000008152506020019250505060405180910390a260019050919050565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156123d557600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415151561241157600080fd5b8073ffffffffffffffffffffffffffffffffffffffff16600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a380600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600081600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b6000600660008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff169050919050565b600080600090505b600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490508110156126f55742600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020828154811015156126b857fe5b9060005260206000209060020201600001541115156126e8576126db838261313b565b156126e7576001810390505b5b8080600101915050612621565b6001915050919050565b6000600360149054906101000a900460ff1615151561271d57600080fd5b612728848484613473565b90509392505050565b6000808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054811115151561277e57600080fd5b6127cf816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461382d90919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506128268160015461382d90919063ffffffff16565b6001819055508173ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5826040518082815260200191505060405180910390a2600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b600080600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050808311156129f5576000600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612a89565b612a08838261382d90919063ffffffff16565b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b8373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a3600191505092915050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000808284019050838110151515612bd157fe5b8091505092915050565b600260008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548111151515612c6657600080fd5b612cf581600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461382d90919063ffffffff16565b600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612d7f8282612731565b5050565b6000600360149054906101000a900460ff16151515612da157600080fd5b612dab8383613846565b905092915050565b6000612e4482600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612bbd90919063ffffffff16565b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b6000613002836000808773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461382d90919063ffffffff16565b6000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206040805190810160405280848152602001858152509080600181540180825580915050906001820390600052602060002090600202016000909192909190915060008201518160000155602082015181600101555050508373ffffffffffffffffffffffffffffffffffffffff167f49eaf4942f1237055eb4cfa5f31c9dfe50d5b4ade01e021f7de8be2fbbde557b8484604051808381526020018281526020019250505060405180910390a2600190509392505050565b6000806000600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208481548110151561318c57fe5b9060005260206000209060020201915081600101549050600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020848154811015156131ef57fe5b906000526020600020906002020160008082016000905560018201600090555050600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206132a56001600460008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054905061382d90919063ffffffff16565b8154811015156132b157fe5b9060005260206000209060020201600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208581548110151561330b57fe5b906000526020600020906002020160008201548160000155600182015481600101559050506001600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020818180549050039150816133859190613a65565b508473ffffffffffffffffffffffffffffffffffffffff167f6381d9813cabeb57471b5a7e05078e64845ccdb563146a6911d536f24ce960f1826040518082815260200191505060405180910390a2613425816000808873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612bbd90919063ffffffff16565b6000808773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555060019250505092915050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141515156134b057600080fd5b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111515156134fd57600080fd5b600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115151561358857600080fd5b6135d9826000808773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461382d90919063ffffffff16565b6000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061366c826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612bbd90919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061373d82600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461382d90919063ffffffff16565b600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b600082821115151561383b57fe5b818303905092915050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415151561388357600080fd5b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111515156138d057600080fd5b613921826000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461382d90919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506139b4826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612bbd90919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b815481835581811115613a9257600202816002028360005260206000209182019101613a919190613a97565b5b505050565b613ac391905b80821115613abf57600080820160009055600182016000905550600201613a9d565b5090565b905600a165627a7a723058204be8643fd2e4aa44663b1d646c558a58a2fd45a9791f587a58dececfb191503b0029

0x60806040526004361061016a576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde031461016f578063095ea7b3146101ff57806318160ddd1461026457806323b872dd1461028f5780632ff2e9dc14610314578063313ce5671461033f5780633f4ba83a1461037057806342966c68146103875780635c975abb146103b457806366188463146103e357806370a08231146104485780637128defb1461049f578063715018a6146104fa57806379cc67901461051157806381a244591461055e5780638456cb59146105b95780638477a3f4146105d05780638da5cb5b146106b05780639299eb301461070757806395d89b4114610762578063997fdb1f146107f2578063a9059cbb14610861578063b74467df146108c6578063d73dd62314610921578063dd62ed3e14610986578063de6baccb146109fd578063eb7ee54814610a6c578063f2fde38b14610ac7575b600080fd5b34801561017b57600080fd5b50610184610b0a565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156101c45780820151818401526020810190506101a9565b50505050905090810190601f1680156101f15780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561020b57600080fd5b5061024a600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610b43565b604051808215151515815260200191505060405180910390f35b34801561027057600080fd5b50610279610b73565b6040518082815260200191505060405180910390f35b34801561029b57600080fd5b506102fa600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610b7d565b604051808215151515815260200191505060405180910390f35b34801561032057600080fd5b50610329610c2c565b6040518082815260200191505060405180910390f35b34801561034b57600080fd5b50610354610c3b565b604051808260ff1660ff16815260200191505060405180910390f35b34801561037c57600080fd5b50610385610c40565b005b34801561039357600080fd5b506103b260048036038101908080359060200190929190505050610d00565b005b3480156103c057600080fd5b506103c9610dbd565b604051808215151515815260200191505060405180910390f35b3480156103ef57600080fd5b5061042e600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610dd0565b604051808215151515815260200191505060405180910390f35b34801561045457600080fd5b50610489600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610e00565b6040518082815260200191505060405180910390f35b3480156104ab57600080fd5b506104e0600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610f34565b604051808215151515815260200191505060405180910390f35b34801561050657600080fd5b5061050f611103565b005b34801561051d57600080fd5b5061055c600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611208565b005b34801561056a57600080fd5b5061059f600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506112c6565b604051808215151515815260200191505060405180910390f35b3480156105c557600080fd5b506105ce611378565b005b3480156105dc57600080fd5b50610611600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611439565b604051808060200180602001838103835285818151815260200191508051906020019060200280838360005b8381101561065857808201518184015260208101905061063d565b50505050905001838103825284818151815260200191508051906020019060200280838360005b8381101561069a57808201518184015260208101905061067f565b5050505090500194505050505060405180910390f35b3480156106bc57600080fd5b506106c561176d565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561071357600080fd5b50610748600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611793565b604051808215151515815260200191505060405180910390f35b34801561076e57600080fd5b5061077761196c565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156107b757808201518184015260208101905061079c565b50505050905090810190601f1680156107e45780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156107fe57600080fd5b50610847600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803590602001909291905050506119a5565b604051808215151515815260200191505060405180910390f35b34801561086d57600080fd5b506108ac600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611b69565b604051808215151515815260200191505060405180910390f35b3480156108d257600080fd5b50610907600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611ca8565b604051808215151515815260200191505060405180910390f35b34801561092d57600080fd5b5061096c600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611ecb565b604051808215151515815260200191505060405180910390f35b34801561099257600080fd5b506109e7600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611efb565b6040518082815260200191505060405180910390f35b348015610a0957600080fd5b50610a52600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919080359060200190929190505050611f82565b604051808215151515815260200191505060405180910390f35b348015610a7857600080fd5b50610aad600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061214c565b604051808215151515815260200191505060405180910390f35b348015610ad357600080fd5b50610b08600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612379565b005b6040805190810160405280600b81526020017f4c4f5820534f434945545900000000000000000000000000000000000000000081525081565b6000600360149054906101000a900460ff16151515610b6157600080fd5b610b6b83836124d1565b905092915050565b6000600154905090565b6000600360149054906101000a900460ff16151515610b9b57600080fd5b610ba4846125c3565b158015610bb75750610bb5336125c3565b155b1515610bc257600080fd5b6000600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490501115610c1857610c1684612619565b505b610c238484846126ff565b90509392505050565b600a60ff16600a0a61c3500281565b600a81565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610c9c57600080fd5b600360149054906101000a900460ff161515610cb757600080fd5b6000600360146101000a81548160ff0219169083151502179055507f7805862f689e2f13df9f062ff482ad3ad112aca9e0847911ed832e158c525b3360405160405180910390a1565b3373ffffffffffffffffffffffffffffffffffffffff16600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161480610da55750600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b1515610db057600080fd5b610dba3382612731565b50565b600360149054906101000a900460ff1681565b6000600360149054906101000a900460ff16151515610dee57600080fd5b610df883836128e4565b905092915050565b6000806000610e0e84612b75565b91506000600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490501115610f2a57600090505b600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002080549050811015610f2957610f1a600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002082815481101515610ef957fe5b90600052602060002090600202016001015483612bbd90919063ffffffff16565b91508080600101915050610e60565b5b8192505050919050565b6000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610f9257600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141580156110185750600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b151561102357600080fd5b600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81549060ff02191690558173ffffffffffffffffffffffffffffffffffffffff167f8c5488c20f72c8e1e70d2fb015bb3f71075f6b62981493b11d7bc228dcd3dc98600060405180806020018381526020018281038252600c8152602001807f697353757065727669736f7200000000000000000000000000000000000000008152506020019250505060405180910390a260019050919050565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561115f57600080fd5b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167ff8df31144d9c2f0f6b59d69b8b98abd5459d07f2742c4df920b25aae33c6482060405160405180910390a26000600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b3373ffffffffffffffffffffffffffffffffffffffff16600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614806112ad5750600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b15156112b857600080fd5b6112c28282612bdb565b5050565b6000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561132457600080fd5b600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff169050919050565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156113d457600080fd5b600360149054906101000a900460ff161515156113f057600080fd5b6001600360146101000a81548160ff0219169083151502179055507f6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff62560405160405180910390a1565b60608060608060008573ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614806114c85750600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16145b8061151c5750600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b151561152757600080fd5b600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490506040519080825280602002602001820160405280156115985781602001602082028038833980820191505090505b509250600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054905060405190808252806020026020018201604052801561160c5781602001602082028038833980820191505090505b509150600090505b600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054905081101561175f57600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020818154811015156116aa57fe5b90600052602060002090600202016001015483828151811015156116ca57fe5b9060200190602002018181525050600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208181548110151561172457fe5b906000526020600020906002020160000154828281518110151561174457fe5b90602001906020020181815250508080600101915050611614565b828294509450505050915091565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156117f157600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141580156118785750600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16155b151561188357600080fd5b6001600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff167f8c5488c20f72c8e1e70d2fb015bb3f71075f6b62981493b11d7bc228dcd3dc98600160405180806020018381526020018281038252600c8152602001807f697353757065727669736f7200000000000000000000000000000000000000008152506020019250505060405180910390a260019050919050565b6040805190810160405280600381526020017f4c4f58000000000000000000000000000000000000000000000000000000000081525081565b60003373ffffffffffffffffffffffffffffffffffffffff16600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161480611a4c5750600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b1515611a5757600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614158015611a95575060008310155b8015611aa057504282115b1515611aab57600080fd5b82600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054905010151515611afc57600080fd5b81600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002084815481101515611b4957fe5b906000526020600020906002020160000181905550600190509392505050565b6000600360149054906101000a900460ff16151515611b8757600080fd5b611b90336125c3565b151515611b9c57600080fd5b8273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151515611c40576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f436865636b20796f75722061646472657373212100000000000000000000000081525060200191505060405180910390fd5b6000600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490501115611c9657611c9433612619565b505b611ca08383612d83565b905092915050565b60003373ffffffffffffffffffffffffffffffffffffffff16600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161480611d4f5750600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b1515611d5a57600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614158015611de05750600660008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b1515611deb57600080fd5b600660008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81549060ff02191690558173ffffffffffffffffffffffffffffffffffffffff167f8c5488c20f72c8e1e70d2fb015bb3f71075f6b62981493b11d7bc228dcd3dc9860006040518080602001838152602001828103825260148152602001807f69734c6f636b656457616c6c6574456e746974790000000000000000000000008152506020019250505060405180910390a260019050919050565b6000600360149054906101000a900460ff16151515611ee957600080fd5b611ef38383612db3565b905092915050565b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b60003373ffffffffffffffffffffffffffffffffffffffff16600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614806120295750600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b151561203457600080fd5b600360149054906101000a900460ff1615151561205057600080fd5b428211801561205f5750600083115b15156120d3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f436865636b20796f75722076616c75657321213b00000000000000000000000081525060200191505060405180910390fd5b6103e8600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490501015156121295760009050612145565b6121338484611b69565b5061213f848484612faf565b50600190505b9392505050565b60003373ffffffffffffffffffffffffffffffffffffffff16600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614806121f35750600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b15156121fe57600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141580156122855750600660008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16155b151561229057600080fd5b6001600660008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff167f8c5488c20f72c8e1e70d2fb015bb3f71075f6b62981493b11d7bc228dcd3dc9860016040518080602001838152602001828103825260148152602001807f69734c6f636b656457616c6c6574456e746974790000000000000000000000008152506020019250505060405180910390a260019050919050565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156123d557600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415151561241157600080fd5b8073ffffffffffffffffffffffffffffffffffffffff16600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a380600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600081600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b6000600660008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff169050919050565b600080600090505b600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805490508110156126f55742600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020828154811015156126b857fe5b9060005260206000209060020201600001541115156126e8576126db838261313b565b156126e7576001810390505b5b8080600101915050612621565b6001915050919050565b6000600360149054906101000a900460ff1615151561271d57600080fd5b612728848484613473565b90509392505050565b6000808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054811115151561277e57600080fd5b6127cf816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461382d90919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506128268160015461382d90919063ffffffff16565b6001819055508173ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5826040518082815260200191505060405180910390a2600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b600080600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050808311156129f5576000600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612a89565b612a08838261382d90919063ffffffff16565b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b8373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a3600191505092915050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000808284019050838110151515612bd157fe5b8091505092915050565b600260008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548111151515612c6657600080fd5b612cf581600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461382d90919063ffffffff16565b600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612d7f8282612731565b5050565b6000600360149054906101000a900460ff16151515612da157600080fd5b612dab8383613846565b905092915050565b6000612e4482600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612bbd90919063ffffffff16565b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b6000613002836000808773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461382d90919063ffffffff16565b6000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206040805190810160405280848152602001858152509080600181540180825580915050906001820390600052602060002090600202016000909192909190915060008201518160000155602082015181600101555050508373ffffffffffffffffffffffffffffffffffffffff167f49eaf4942f1237055eb4cfa5f31c9dfe50d5b4ade01e021f7de8be2fbbde557b8484604051808381526020018281526020019250505060405180910390a2600190509392505050565b6000806000600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208481548110151561318c57fe5b9060005260206000209060020201915081600101549050600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020848154811015156131ef57fe5b906000526020600020906002020160008082016000905560018201600090555050600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206132a56001600460008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208054905061382d90919063ffffffff16565b8154811015156132b157fe5b9060005260206000209060020201600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208581548110151561330b57fe5b906000526020600020906002020160008201548160000155600182015481600101559050506001600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020818180549050039150816133859190613a65565b508473ffffffffffffffffffffffffffffffffffffffff167f6381d9813cabeb57471b5a7e05078e64845ccdb563146a6911d536f24ce960f1826040518082815260200191505060405180910390a2613425816000808873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612bbd90919063ffffffff16565b6000808773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555060019250505092915050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141515156134b057600080fd5b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111515156134fd57600080fd5b600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115151561358857600080fd5b6135d9826000808773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461382d90919063ffffffff16565b6000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061366c826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612bbd90919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061373d82600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461382d90919063ffffffff16565b600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b600082821115151561383b57fe5b818303905092915050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415151561388357600080fd5b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111515156138d057600080fd5b613921826000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461382d90919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506139b4826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612bbd90919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b815481835581811115613a9257600202816002028360005260206000209182019101613a919190613a97565b5b505050565b613ac391905b80821115613abf57600080820160009055600182016000905550600201613a9d565b5090565b905600a165627a7a723058204be8643fd2e4aa44663b1d646c558a58a2fd45a9791f587a58dececfb191503b0029

12070:6871:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12170:43;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12170: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;12170:43:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11429:171;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11429:171:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2794:85;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2794:85:0;;;;;;;;;;;;;;;;;;;;;;;13656:350;;8:9:-1;5:2;;;30:1;27;20:12;5:2;13656:350:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12306:72;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12306:72:0;;;;;;;;;;;;;;;;;;;;;;;12264:35;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12264:35:0;;;;;;;;;;;;;;;;;;;;;;;;;;;10803:95;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10803:95:0;;;;;;16844:102;;8:9:-1;5:2;;;30:1;27;20:12;5:2;16844:102:0;;;;;;;;;;;;;;;;;;;;;;;;;;10182:26;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10182:26:0;;;;;;;;;;;;;;;;;;;;;;;;;;;11816:214;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11816:214:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17089:406;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17089:406:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17783:274;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17783:274:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1634:114;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1634:114:0;;;;;;16958:119;;8:9:-1;5:2;;;30:1;27;20:12;5:2;16958:119:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18677:128;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18677:128:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10623:93;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10623:93:0;;;;;;16154:678;;8:9:-1;5:2;;;30:1;27;20:12;5:2;16154:678: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;16154:678: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;16154:678:0;;;;;;;;;;;;;;;;;;;671:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;671:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;17503:272;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17503:272:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12220:37;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12220:37: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;12220:37:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15801:341;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15801:341:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13276:372;;8:9:-1;5:2;;;30:1;27;20:12;5:2;13276:372:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18370:299;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18370:299:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11606:204;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11606:204:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6491:162;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6491:162:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14018:413;;8:9:-1;5:2;;;30:1;27;20:12;5:2;14018:413:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18065:297;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18065:297:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1361:178;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1361:178:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;12170:43;;;;;;;;;;;;;;;;;;;;:::o;11429:171::-;11540:4;10358:6;;;;;;;;;;;10357:7;10349:16;;;;;;;;11563:31;11577:8;11587:6;11563:13;:31::i;:::-;11556:38;;11429:171;;;;:::o;2794:85::-;2838:7;2861:12;;2854:19;;2794:85;:::o;13656:350::-;13750:4;10358:6;;;;;;;;;;;10357:7;10349:16;;;;;;;;13776:26;13797:4;13776:20;:26::i;:::-;13775:27;:64;;;;;13807:32;13828:10;13807:20;:32::i;:::-;13806:33;13775:64;13767:73;;;;;;;;13887:1;13855:16;:22;13872:4;13855:22;;;;;;;;;;;;;;;:29;;;;:33;13851:95;;;13905:17;13917:4;13905:11;:17::i;:::-;;13851:95;13963:35;13982:4;13988:2;13992:5;13963:18;:35::i;:::-;13956:42;;13656:350;;;;;:::o;12306:72::-;12297:2;12360:17;;12354:2;:23;12347:3;:31;12306:72;:::o;12264:35::-;12297:2;12264:35;:::o;10803:95::-;1174:5;;;;;;;;;;;1160:19;;:10;:19;;;1152:28;;;;;;;;10518:6;;;;;;;;;;;10510:15;;;;;;;;10866:5;10857:6;;:14;;;;;;;;;;;;;;;;;;10883:9;;;;;;;;;;10803:95::o;16844:102::-;12767:10;12758:19;;:5;;;;;;;;;;;:19;;;:51;;;;12781:16;:28;12798:10;12781:28;;;;;;;;;;;;;;;;;;;;;;;;;12758:51;12750:60;;;;;;;;16907:31;16919:10;16931:6;16907:11;:31::i;:::-;16844:102;:::o;10182:26::-;;;;;;;;;;;;;:::o;11816:214::-;11943:12;10358:6;;;;;;;;;;;10357:7;10349:16;;;;;;;;11974:50;11997:8;12007:16;11974:22;:50::i;:::-;11967:57;;11816:214;;;;:::o;17089:406::-;17144:7;17174:20;17288:6;17197:22;17213:5;17197:15;:22::i;:::-;17174:45;;17266:1;17234:16;:23;17251:5;17234:23;;;;;;;;;;;;;;;:30;;;;:33;17230:218;;;17295:1;17288:8;;17284:153;17300:16;:23;17317:5;17300:23;;;;;;;;;;;;;;;:30;;;;17298:1;:32;17284:153;;;17369:52;17386:16;:23;17403:5;17386:23;;;;;;;;;;;;;;;17410:1;17386:26;;;;;;;;;;;;;;;;;;;;:34;;;17369:12;:16;;:52;;;;:::i;:::-;17354:67;;17331:3;;;;;;;17284:153;;;17230:218;17475:12;17468:19;;17089:406;;;;;:::o;17783:274::-;17853:4;1174:5;;;;;;;;;;;1160:19;;:10;:19;;;1152:28;;;;;;;;17896:1;17877:21;;:8;:21;;;;:51;;;;;17902:16;:26;17919:8;17902:26;;;;;;;;;;;;;;;;;;;;;;;;;17877:51;17869:60;;;;;;;;17947:16;:26;17964:8;17947:26;;;;;;;;;;;;;;;;17940:33;;;;;;;;;;;17998:8;17989:38;;;18025:1;17989:38;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18045:4;18038:11;;17783:274;;;:::o;1634:114::-;1174:5;;;;;;;;;;;1160:19;;:10;:19;;;1152:28;;;;;;;;1711:5;;;;;;;;;;;1692:25;;;;;;;;;;;;1740:1;1724:5;;:18;;;;;;;;;;;;;;;;;;1634:114::o;16958:119::-;12767:10;12758:19;;:5;;;;;;;;;;;:19;;;:51;;;;12781:16;:28;12798:10;12781:28;;;;;;;;;;;;;;;;;;;;;;;;;12758:51;12750:60;;;;;;;;17040:29;17055:5;17062:6;17040:14;:29::i;:::-;16958:119;;:::o;18677:128::-;18748:4;1174:5;;;;;;;;;;;1160:19;;:10;:19;;;1152:28;;;;;;;;18771:16;:26;18788:8;18771:26;;;;;;;;;;;;;;;;;;;;;;;;;18764:33;;18677:128;;;:::o;10623:93::-;1174:5;;;;;;;;;;;1160:19;;:10;:19;;;1152:28;;;;;;;;10358:6;;;;;;;;;;;10357:7;10349:16;;;;;;;;10687:4;10678:6;;:13;;;;;;;;;;;;;;;;;;10703:7;;;;;;;;;;10623:93::o;16154:678::-;16220:9;16231;16349:30;16441:35;16552:6;16274:8;16260:22;;:10;:22;;;:45;;;;16300:5;;;;;;;;;;;16286:19;;:10;:19;;;16260:45;:77;;;;16309:16;:28;16326:10;16309:28;;;;;;;;;;;;;;;;;;;;;;;;;16260:77;16252:86;;;;;;;;16396:16;:26;16413:8;16396:26;;;;;;;;;;;;;;;:33;;;;16382:48;;;;;;;;;;;;;;;;;;;;;;29:2:-1;21:6;17:15;117:4;105:10;97:6;88:34;148:4;140:6;136:17;126:27;;0:157;16382:48:0;;;;16349:81;;16493:16;:26;16510:8;16493:26;;;;;;;;;;;;;;;:33;;;;16479:48;;;;;;;;;;;;;;;;;;;;;;29:2:-1;21:6;17:15;117:4;105:10;97:6;88:34;148:4;140:6;136:17;126:27;;0:157;16479:48:0;;;;16441:86;;16561:1;16552:10;;16548:224;16568:16;:26;16585:8;16568:26;;;;;;;;;;;;;;;:33;;;;16564:1;:37;16548:224;;;16642:16;:26;16659:8;16642:26;;;;;;;;;;;;;;;16669:1;16642:29;;;;;;;;;;;;;;;;;;;;:37;;;16623:13;16637:1;16623:16;;;;;;;;;;;;;;;;;:56;;;;;16718:16;:26;16735:8;16718:26;;;;;;;;;;;;;;;16745:1;16718:29;;;;;;;;;;;;;;;;;;;;:42;;;16694:18;16713:1;16694:21;;;;;;;;;;;;;;;;;:66;;;;;16603:4;;;;;;;16548:224;;;16790:13;16805:18;16782:42;;;;16154:678;;;;;;:::o;671:20::-;;;;;;;;;;;;;:::o;17503:272::-;17570:4;1174:5;;;;;;;;;;;1160:19;;:10;:19;;;1152:28;;;;;;;;17613:1;17594:21;;:8;:21;;;;:52;;;;;17620:16;:26;17637:8;17620:26;;;;;;;;;;;;;;;;;;;;;;;;;17619:27;17594:52;17586:61;;;;;;;;17687:4;17658:16;:26;17675:8;17658:26;;;;;;;;;;;;;;;;:33;;;;;;;;;;;;;;;;;;17716:8;17707:38;;;17743:1;17707:38;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17763:4;17756:11;;17503:272;;;:::o;12220:37::-;;;;;;;;;;;;;;;;;;;;:::o;15801:341::-;15899:4;12767:10;12758:19;;:5;;;;;;;;;;;:19;;;:51;;;;12781:16;:28;12798:10;12781:28;;;;;;;;;;;;;;;;;;;;;;;;;12758:51;12750:60;;;;;;;;15940:1;15923:19;;:6;:19;;;;:31;;;;;15953:1;15946:3;:8;;15923:31;:52;;;;;15972:3;15958:11;:17;15923:52;15915:61;;;;;;;;16030:3;15995:16;:24;16012:6;15995:24;;;;;;;;;;;;;;;:31;;;;:38;;15987:47;;;;;;;;16101:11;16056:16;:24;16073:6;16056:24;;;;;;;;;;;;;;;16081:3;16056:29;;;;;;;;;;;;;;;;;;;;:42;;:56;;;;16130:4;16123:11;;15801:341;;;;;:::o;13276:372::-;13351:4;10358:6;;;;;;;;;;;10357:7;10349:16;;;;;;;;13377:32;13398:10;13377:20;:32::i;:::-;13376:33;13368:42;;;;;;;;13443:2;13429:16;;:10;:16;;;;13421:48;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13532:1;13494:16;:28;13511:10;13494:28;;;;;;;;;;;;;;;:35;;;;:39;13490:108;;;13551:23;13563:10;13551:11;:23::i;:::-;;13490:108;13615:25;13630:2;13634:5;13615:14;:25::i;:::-;13608:32;;13276:372;;;;:::o;18370:299::-;18453:4;12767:10;12758:19;;:5;;;;;;;;;;;:19;;;:51;;;;12781:16;:28;12798:10;12781:28;;;;;;;;;;;;;;;;;;;;;;;;;12758:51;12750:60;;;;;;;;18496:1;18477:21;;:8;:21;;;;:53;;;;;18502:18;:28;18521:8;18502:28;;;;;;;;;;;;;;;;;;;;;;;;;18477:53;18469:62;;;;;;;;18549:18;:28;18568:8;18549:28;;;;;;;;;;;;;;;;18542:35;;;;;;;;;;;18602:8;18593:46;;;18637:1;18593:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18657:4;18650:11;;18370:299;;;:::o;11606:204::-;11728:12;10358:6;;;;;;;;;;;10357:7;10349:16;;;;;;;;11759:45;11782:8;11792:11;11759:22;:45::i;:::-;11752:52;;11606:204;;;;:::o;6491:162::-;6596:7;6622;:15;6630:6;6622:15;;;;;;;;;;;;;;;:25;6638:8;6622:25;;;;;;;;;;;;;;;;6615:32;;6491:162;;;;:::o;14018:413::-;14141:4;12767:10;12758:19;;:5;;;;;;;;;;;:19;;;:51;;;;12781:16;:28;12798:10;12781:28;;;;;;;;;;;;;;;;;;;;;;;;;12758:51;12750:60;;;;;;;;10358:6;;;;;;;;;;;10357:7;10349:16;;;;;;;;14180:3;14166:11;:17;:30;;;;;14195:1;14187:5;:9;14166:30;14158:63;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12418:4;14235:16;:24;14252:6;14235:24;;;;;;;;;;;;;;;:31;;;;:51;;14232:94;;;14309:5;14302:12;;;;14232:94;14336:23;14345:6;14353:5;14336:8;:23::i;:::-;;14370:31;14376:6;14383:5;14389:11;14370:5;:31::i;:::-;;14419:4;14412:11;;10372:1;14018:413;;;;;:::o;18065:297::-;18145:4;12767:10;12758:19;;:5;;;;;;;;;;;:19;;;:51;;;;12781:16;:28;12798:10;12781:28;;;;;;;;;;;;;;;;;;;;;;;;;12758:51;12750:60;;;;;;;;18188:1;18169:21;;:8;:21;;;;:54;;;;;18195:18;:28;18214:8;18195:28;;;;;;;;;;;;;;;;;;;;;;;;;18194:29;18169:54;18161:63;;;;;;;;18266:4;18235:18;:28;18254:8;18235:28;;;;;;;;;;;;;;;;:35;;;;;;;;;;;;;;;;;;18295:8;18286:46;;;18330:1;18286:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18350:4;18343:11;;18065:297;;;:::o;1361:178::-;1174:5;;;;;;;;;;;1160:19;;:10;:19;;;1152:28;;;;;;;;1458:1;1438:22;;:8;:22;;;;1430:31;;;;;;;;1501:8;1473:37;;1494:5;;;;;;;;;;;1473:37;;;;;;;;;;;;1525:8;1517:5;;:16;;;;;;;;;;;;;;;;;;1361:178;:::o;5972:192::-;6039:4;6084:6;6052:7;:19;6060:10;6052:19;;;;;;;;;;;;;;;:29;6072:8;6052:29;;;;;;;;;;;;;;;:38;;;;6123:8;6102:38;;6111:10;6102:38;;;6133:6;6102:38;;;;;;;;;;;;;;;;;;6154:4;6147:11;;5972:192;;;;:::o;18813:123::-;18880:4;18903:18;:25;18922:5;18903:25;;;;;;;;;;;;;;;;;;;;;;;;;18896:32;;18813:123;;;:::o;15350:438::-;15404:4;15425:11;15438:1;15425:14;;15421:338;15447:16;:24;15464:6;15447:24;;;;;;;;;;;;;;;:31;;;;15441:3;:37;15421:338;;;15554:3;15508:16;:24;15525:6;15508:24;;;;;;;;;;;;;;;15533:3;15508:29;;;;;;;;;;;;;;;;;;;;:42;;;:49;;15504:244;;;15660:20;15668:6;15676:3;15660:7;:20::i;:::-;15656:77;;;15712:1;15706:7;;;;15656:77;15504:244;15481:5;;;;;;;15421:338;;;15776:4;15769:11;;15350:438;;;;:::o;11225:198::-;11356:4;10358:6;;;;;;;;;;;10357:7;10349:16;;;;;;;;11379:38;11398:5;11405:3;11410:6;11379:18;:38::i;:::-;11372:45;;11225:198;;;;;:::o;8739:447::-;8818:8;:14;8827:4;8818:14;;;;;;;;;;;;;;;;8808:6;:24;;8800:33;;;;;;;;9032:26;9051:6;9032:8;:14;9041:4;9032:14;;;;;;;;;;;;;;;;:18;;:26;;;;:::i;:::-;9015:8;:14;9024:4;9015:14;;;;;;;;;;;;;;;:43;;;;9080:24;9097:6;9080:12;;:16;;:24;;;;:::i;:::-;9065:12;:39;;;;9121:4;9116:18;;;9127:6;9116:18;;;;;;;;;;;;;;;;;;9169:1;9146:34;;9155:4;9146:34;;;9173:6;9146:34;;;;;;;;;;;;;;;;;;8739:447;;:::o;7891:446::-;8002:4;8018:16;8037:7;:19;8045:10;8037:19;;;;;;;;;;;;;;;:29;8057:8;8037:29;;;;;;;;;;;;;;;;8018:48;;8096:8;8077:16;:27;8073:168;;;8147:1;8115:7;:19;8123:10;8115:19;;;;;;;;;;;;;;;:29;8135:8;8115:29;;;;;;;;;;;;;;;:33;;;;8073:168;;;8203:30;8216:16;8203:8;:12;;:30;;;;:::i;:::-;8171:7;:19;8179:10;8171:19;;;;;;;;;;;;;;;:29;8191:8;8171:29;;;;;;;;;;;;;;;:62;;;;8073:168;8273:8;8252:61;;8261:10;8252:61;;;8283:7;:19;8291:10;8283:19;;;;;;;;;;;;;;;:29;8303:8;8283:29;;;;;;;;;;;;;;;;8252:61;;;;;;;;;;;;;;;;;;8327:4;8320:11;;7891:446;;;;;:::o;3578:101::-;3634:7;3657:8;:16;3666:6;3657:16;;;;;;;;;;;;;;;;3650:23;;3578:101;;;:::o;2355:133::-;2413:7;2429:9;2445:1;2441;:5;2429:17;;2465:1;2460;:6;;2453:14;;;;;;2481:1;2474:8;;2355:133;;;;;:::o;9608:376::-;9689:7;:14;9697:5;9689:14;;;;;;;;;;;;;;;:26;9704:10;9689:26;;;;;;;;;;;;;;;;9679:6;:36;;9671:45;;;;;;;;9913:38;9944:6;9913:7;:14;9921:5;9913:14;;;;;;;;;;;;;;;:26;9928:10;9913:26;;;;;;;;;;;;;;;;:30;;:38;;;;:::i;:::-;9884:7;:14;9892:5;9884:14;;;;;;;;;;;;;;;:26;9899:10;9884:26;;;;;;;;;;;;;;;:67;;;;9958:20;9964:5;9971:6;9958:5;:20::i;:::-;9608:376;;:::o;11056:163::-;11163:4;10358:6;;;;;;;;;;;10357:7;10349:16;;;;;;;;11186:27;11201:3;11206:6;11186:14;:27::i;:::-;11179:34;;11056:163;;;;:::o;7116:307::-;7222:4;7279:46;7313:11;7279:7;:19;7287:10;7279:19;;;;;;;;;;;;;;;:29;7299:8;7279:29;;;;;;;;;;;;;;;;:33;;:46;;;;:::i;:::-;7238:7;:19;7246:10;7238:19;;;;;;;;;;;;;;;:29;7258:8;7238:29;;;;;;;;;;;;;;;:88;;;;7359:8;7338:61;;7347:10;7338:61;;;7369:7;:19;7377:10;7369:19;;;;;;;;;;;;;;;:29;7389:8;7369:29;;;;;;;;;;;;;;;;7338:61;;;;;;;;;;;;;;;;;;7413:4;7406:11;;7116:307;;;;:::o;14445:313::-;14529:4;14565:27;14586:5;14565:8;:16;14574:6;14565:16;;;;;;;;;;;;;;;;:20;;:27;;;;:::i;:::-;14546:8;:16;14555:6;14546:16;;;;;;;;;;;;;;;:46;;;;14603:16;:24;14620:6;14603:24;;;;;;;;;;;;;;;14634:34;;;;;;;;;14649:11;14634:34;;;;14662:5;14634:34;;;14603:67;;39:1:-1;33:3;27:10;23:18;57:10;52:3;45:23;79:10;72:17;;0:93;14603:67:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14701:6;14696:32;;;14709:5;14716:11;14696:32;;;;;;;;;;;;;;;;;;;;;;;;14746:4;14739:11;;14445:313;;;;;:::o;14770:568::-;14833:4;14850:37;14930:21;14890:16;:24;14907:6;14890:24;;;;;;;;;;;;;;;14915:3;14890:29;;;;;;;;;;;;;;;;;;;;14850:69;;14954:14;:22;;;14930:46;;14996:16;:24;15013:6;14996:24;;;;;;;;;;;;;;;15021:3;14996:29;;;;;;;;;;;;;;;;;;;;;14989:36;;;;;;;;;;;;;;15068:16;:24;15085:6;15068:24;;;;;;;;;;;;;;;15093:38;15129:1;15093:16;:24;15110:6;15093:24;;;;;;;;;;;;;;;:31;;;;:35;;:38;;;;:::i;:::-;15068:64;;;;;;;;;;;;;;;;;;;;15036:16;:24;15053:6;15036:24;;;;;;;;;;;;;;;15061:3;15036:29;;;;;;;;;;;;;;;;;;;;:96;;;;;;;;;;;;;;;;;;;15177:1;15143:16;:24;15160:6;15143:24;;;;;;;;;;;;;;;:35;;;;;;;;;;;;;;:::i;:::-;;15211:6;15204:29;;;15219:13;15204:29;;;;;;;;;;;;;;;;;;15263:35;15284:13;15263:8;:16;15272:6;15263:16;;;;;;;;;;;;;;;;:20;;:35;;;;:::i;:::-;15244:8;:16;15253:6;15244:16;;;;;;;;;;;;;;;:54;;;;15326:4;15319:11;;14770:568;;;;;;:::o;4856:487::-;4968:4;5007:1;4992:17;;:3;:17;;;;4984:26;;;;;;;;5035:8;:15;5044:5;5035:15;;;;;;;;;;;;;;;;5025:6;:25;;5017:34;;;;;;;;5076:7;:14;5084:5;5076:14;;;;;;;;;;;;;;;:26;5091:10;5076:26;;;;;;;;;;;;;;;;5066:6;:36;;5058:45;;;;;;;;5130:27;5150:6;5130:8;:15;5139:5;5130:15;;;;;;;;;;;;;;;;:19;;:27;;;;:::i;:::-;5112:8;:15;5121:5;5112:15;;;;;;;;;;;;;;;:45;;;;5180:25;5198:6;5180:8;:13;5189:3;5180:13;;;;;;;;;;;;;;;;:17;;:25;;;;:::i;:::-;5164:8;:13;5173:3;5164:13;;;;;;;;;;;;;;;:41;;;;5241:38;5272:6;5241:7;:14;5249:5;5241:14;;;;;;;;;;;;;;;:26;5256:10;5241:26;;;;;;;;;;;;;;;;:30;;:38;;;;:::i;:::-;5212:7;:14;5220:5;5212:14;;;;;;;;;;;;;;;:26;5227:10;5212:26;;;;;;;;;;;;;;;:67;;;;5307:3;5291:28;;5300:5;5291:28;;;5312:6;5291:28;;;;;;;;;;;;;;;;;;5333:4;5326:11;;4856:487;;;;;:::o;2236:113::-;2294:7;2322:1;2317;:6;;2310:14;;;;;;2342:1;2338;:5;2331:12;;2236:113;;;;:::o;3040:329::-;3103:4;3139:1;3124:17;;:3;:17;;;;3116:26;;;;;;;;3167:8;:20;3176:10;3167:20;;;;;;;;;;;;;;;;3157:6;:30;;3149:39;;;;;;;;3220:32;3245:6;3220:8;:20;3229:10;3220:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;3197:8;:20;3206:10;3197:20;;;;;;;;;;;;;;;:55;;;;3275:25;3293:6;3275:8;:13;3284:3;3275:13;;;;;;;;;;;;;;;;:17;;:25;;;;:::i;:::-;3259:8;:13;3268:3;3259:13;;;;;;;;;;;;;;;:41;;;;3333:3;3312:33;;3321:10;3312:33;;;3338:6;3312:33;;;;;;;;;;;;;;;;;;3359:4;3352:11;;3040:329;;;;:::o;12070:6871::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o

bzzr://4be8643fd2e4aa44663b1d646c558a58a2fd45a9791f587a58dececfb191503b