Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

 contract ERC20Basic    - function balanceOf(address who)    - function transfer(address to, uint256 ...  contract Ownable    - function Ownable()    - function transferOwnership(address ne ... 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 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(address _from, ...    - function approve(address _spender, ui ...    - function allowance(address _owner, ad ...    - function increaseApproval (address _s ...    - function decreaseApproval (address _s ...  contract Pausable is Ownable    - function pause()    - function unpause()  contract iEthereum is StandardToke ... *    - function iEthereum()    - function transfer(address _to, uint25 ...    - function transferFrom(address _from, ...    - function approve(address _spender, ui ...    - function increaseApproval (address _s ...    - function decreaseApproval (address _s ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-07-25
*/

/**
 *Submitted for verification at Etherscan.io on 2020-01-20
*/

pragma solidity ^0.4.11;


/**
 * @title ERC20Basic
 * @dev Simpler version of ERC20 interface
 * @dev see https://github.com/ethereum/EIPs/issues/179
 */
contract ERC20Basic {
  uint256 public totalSupply;
  function balanceOf(address who) public constant 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 OwnershipTransferred(address indexed previousOwner, address indexed newOwner);


  /**
   * @dev The Ownable constructor sets the original `owner` of the contract to the sender
   * account.
   */
  function Ownable() {
    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) onlyOwner public {
    require(newOwner != address(0));
    OwnershipTransferred(owner, newOwner);
    owner = newOwner;
  }

}












/**
 * @title SafeMath
 * @dev Math operations with safety checks that throw on error
 */
library SafeMath {
  function mul(uint256 a, uint256 b) internal constant returns (uint256) {
    uint256 c = a * b;
    assert(a == 0 || c / a == b);
    return c;
  }

  function div(uint256 a, uint256 b) internal constant 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 constant returns (uint256) {
    assert(b <= a);
    return a - b;
  }

  function add(uint256 a, uint256 b) internal constant 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;

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

    // SafeMath.sub will throw if there is not enough balance.
    balances[msg.sender] = balances[msg.sender].sub(_value);
    balances[_to] = balances[_to].add(_value);
    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 constant returns (uint256 balance) {
    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 constant 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.
 * @dev https://github.com/ethereum/EIPs/issues/20
 * @dev 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)) 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));

    uint256 _allowance = allowed[_from][msg.sender];

    // Check is not needed because sub(_allowance, _value) will already throw if this condition is not met
    // require (_value <= _allowance);

    balances[_from] = balances[_from].sub(_value);
    balances[_to] = balances[_to].add(_value);
    allowed[_from][msg.sender] = _allowance.sub(_value);
    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;
    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 constant returns (uint256 remaining) {
    return allowed[_owner][_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
   */
  function increaseApproval (address _spender, uint _addedValue)
    returns (bool success) {
    allowed[msg.sender][_spender] = allowed[msg.sender][_spender].add(_addedValue);
    Approval(msg.sender, _spender, allowed[msg.sender][_spender]);
    return true;
  }

  function decreaseApproval (address _spender, uint _subtractedValue)
    returns (bool success) {
    uint oldValue = allowed[msg.sender][_spender];
    if (_subtractedValue > oldValue) {
      allowed[msg.sender][_spender] = 0;
    } else {
      allowed[msg.sender][_spender] = oldValue.sub(_subtractedValue);
    }
    Approval(msg.sender, _spender, allowed[msg.sender][_spender]);
    return true;
  }

}







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

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



/**
 * @title iEthereum
 * @dev ERC20 iETH Token
 *
 * iETH Tokens are divisible by 1e8 (100,000,000) base
 * units referred to as 'Grains'.
 *
 * iETH are displayed using 8 decimal places of precision.
 *
 * 1.85 Billion iEthereum total supply (185 Quadrillion Grains):
 *   1,850,000,000 * 1e8 == 185e7 * 10**8 == 185e15
 *
 * All initial iETH Grains are assigned to the creator of
 * this contract.
 */
contract iEthereum is StandardToken, Pausable {

  string public constant name = 'iEthereum';                              // Set the token name for display
  string public constant symbol = 'iETH';                                  // Set the token symbol for display
  uint8 public constant decimals = 8;                                     // Set the number of decimals for display
  uint256 public constant INITIAL_SUPPLY = 1e8 * 10**uint256(decimals); // supply specified in Grains

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

  /**
   * @dev iEthereum Constructor
   * Runs only on initial contract creation.
   */
  function iEthereum() {
    totalSupply = INITIAL_SUPPLY;                               // Set the total supply
    balances[msg.sender] = INITIAL_SUPPLY;                      // Creator address is assigned all
    Transfer(0x0, msg.sender, INITIAL_SUPPLY);
  }

  /**
   * @dev Transfer token for a specified address when not paused
   * @param _to The address to transfer to.
   * @param _value The amount to be transferred.
   */
  function transfer(address _to, uint256 _value) rejectTokensToContract(_to) public whenNotPaused returns (bool) {
    return super.transfer(_to, _value);
  }

  /**
   * @dev Transfer tokens from one address to another when not paused
   * @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) rejectTokensToContract(_to) public whenNotPaused returns (bool) {
    return super.transferFrom(_from, _to, _value);
  }

  /**
   * @dev Aprove the passed address to spend the specified amount of tokens on behalf of msg.sender when not paused.
   * @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 whenNotPaused returns (bool) {
    return super.approve(_spender, _value);
  }

  /**
   * Adding whenNotPaused
   */
  function increaseApproval (address _spender, uint _addedValue) public whenNotPaused returns (bool success) {
    return super.increaseApproval(_spender, _addedValue);
  }

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

}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_value","type":"uint256"}],"name":"approve","outputs":[{"name":"","type":"bool"}],"payable":false,"type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"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,"type":"function"},{"constant":true,"inputs":[],"name":"INITIAL_SUPPLY","outputs":[{"name":"","type":"uint256"}],"payable":false,"type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint8"}],"payable":false,"type":"function"},{"constant":false,"inputs":[],"name":"unpause","outputs":[],"payable":false,"type":"function"},{"constant":true,"inputs":[],"name":"paused","outputs":[{"name":"","type":"bool"}],"payable":false,"type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_subtractedValue","type":"uint256"}],"name":"decreaseApproval","outputs":[{"name":"success","type":"bool"}],"payable":false,"type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"}],"name":"balanceOf","outputs":[{"name":"balance","type":"uint256"}],"payable":false,"type":"function"},{"constant":false,"inputs":[],"name":"pause","outputs":[],"payable":false,"type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"name":"","type":"address"}],"payable":false,"type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transfer","outputs":[{"name":"","type":"bool"}],"payable":false,"type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_addedValue","type":"uint256"}],"name":"increaseApproval","outputs":[{"name":"success","type":"bool"}],"payable":false,"type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"},{"name":"_spender","type":"address"}],"name":"allowance","outputs":[{"name":"remaining","type":"uint256"}],"payable":false,"type":"function"},{"constant":false,"inputs":[{"name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"type":"function"},{"inputs":[],"payable":false,"type":"constructor"},{"anonymous":false,"inputs":[],"name":"Pause","type":"event"},{"anonymous":false,"inputs":[],"name":"Unpause","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":"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"}]

60606040526000600360146101000a81548160ff021916908315150217905550341561002757fe5b5b5b33600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505b600860ff16600a0a6305f5e10002600081905550600860ff16600a0a6305f5e10002600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff1660007fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef600860ff16600a0a6305f5e100026040518082815260200191505060405180910390a35b5b6116b18061013e6000396000f300606060405236156100ef576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde03146100f1578063095ea7b31461018a57806318160ddd146101e157806323b872dd146102075780632ff2e9dc1461027d578063313ce567146102a35780633f4ba83a146102cf5780635c975abb146102e1578063661884631461030b57806370a08231146103625780638456cb59146103ac5780638da5cb5b146103be57806395d89b4114610410578063a9059cbb146104a9578063d73dd62314610500578063dd62ed3e14610557578063f2fde38b146105c0575bfe5b34156100f957fe5b6101016105f6565b6040518080602001828103825283818151815260200191508051906020019080838360008314610150575b8051825260208311156101505760208201915060208101905060208303925061012c565b505050905090810190601f16801561017c5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b341561019257fe5b6101c7600480803573ffffffffffffffffffffffffffffffffffffffff16906020019091908035906020019091905050610630565b604051808215151515815260200191505060405180910390f35b34156101e957fe5b6101f1610663565b6040518082815260200191505060405180910390f35b341561020f57fe5b610263600480803573ffffffffffffffffffffffffffffffffffffffff1690602001909190803573ffffffffffffffffffffffffffffffffffffffff16906020019091908035906020019091905050610669565b604051808215151515815260200191505060405180910390f35b341561028557fe5b61028d6106dd565b6040518082815260200191505060405180910390f35b34156102ab57fe5b6102b36106ee565b604051808260ff1660ff16815260200191505060405180910390f35b34156102d757fe5b6102df6106f3565b005b34156102e957fe5b6102f16107bb565b604051808215151515815260200191505060405180910390f35b341561031357fe5b610348600480803573ffffffffffffffffffffffffffffffffffffffff169060200190919080359060200190919050506107ce565b604051808215151515815260200191505060405180910390f35b341561036a57fe5b610396600480803573ffffffffffffffffffffffffffffffffffffffff16906020019091905050610801565b6040518082815260200191505060405180910390f35b34156103b457fe5b6103bc61084b565b005b34156103c657fe5b6103ce610914565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b341561041857fe5b61042061093a565b604051808060200182810382528381815181526020019150805190602001908083836000831461046f575b80518252602083111561046f5760208201915060208101905060208303925061044b565b505050905090810190601f16801561049b5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34156104b157fe5b6104e6600480803573ffffffffffffffffffffffffffffffffffffffff16906020019091908035906020019091905050610974565b604051808215151515815260200191505060405180910390f35b341561050857fe5b61053d600480803573ffffffffffffffffffffffffffffffffffffffff169060200190919080359060200190919050506109e6565b604051808215151515815260200191505060405180910390f35b341561055f57fe5b6105aa600480803573ffffffffffffffffffffffffffffffffffffffff1690602001909190803573ffffffffffffffffffffffffffffffffffffffff16906020019091905050610a19565b6040518082815260200191505060405180910390f35b34156105c857fe5b6105f4600480803573ffffffffffffffffffffffffffffffffffffffff16906020019091905050610aa1565b005b604060405190810160405280600981526020017f69457468657265756d000000000000000000000000000000000000000000000081525081565b6000600360149054906101000a900460ff1615151561064f5760006000fd5b6106598383610c00565b90505b5b92915050565b60005481565b6000823073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141515156106a85760006000fd5b600360149054906101000a900460ff161515156106c55760006000fd5b6106d0858585610cf3565b91505b5b5b509392505050565b600860ff16600a0a6305f5e1000281565b600881565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156107505760006000fd5b600360149054906101000a900460ff16151561076c5760006000fd5b6000600360146101000a81548160ff0219169083151502179055507f7805862f689e2f13df9f062ff482ad3ad112aca9e0847911ed832e158c525b3360405180905060405180910390a15b5b5b565b600360149054906101000a900460ff1681565b6000600360149054906101000a900460ff161515156107ed5760006000fd5b6107f78383610fe2565b90505b5b92915050565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490505b919050565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156108a85760006000fd5b600360149054906101000a900460ff161515156108c55760006000fd5b6001600360146101000a81548160ff0219169083151502179055507f6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff62560405180905060405180910390a15b5b5b565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b604060405190810160405280600481526020017f694554480000000000000000000000000000000000000000000000000000000081525081565b6000823073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141515156109b35760006000fd5b600360149054906101000a900460ff161515156109d05760006000fd5b6109da8484611275565b91505b5b5b5092915050565b6000600360149054906101000a900460ff16151515610a055760006000fd5b610a0f838361144e565b90505b5b92915050565b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490505b92915050565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610afe5760006000fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614151515610b3b5760006000fd5b8073ffffffffffffffffffffffffffffffffffffffff16600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405180905060405180910390a380600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505b5b50565b600081600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a3600190505b92915050565b60006000600073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614151515610d345760006000fd5b600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050610e0583600160008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461164b90919063ffffffff16565b600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610e9a83600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461166590919063ffffffff16565b600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610ef0838261164b90919063ffffffff16565b600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040518082815260200191505060405180910390a3600191505b509392505050565b60006000600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050808311156110f4576000600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611188565b611107838261164b90919063ffffffff16565b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b8373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a3600191505b5092915050565b6000600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141515156112b45760006000fd5b61130682600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461164b90919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061139b82600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461166590919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190505b92915050565b60006114df82600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461166590919063ffffffff16565b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a3600190505b92915050565b600082821115151561165957fe5b81830390505b92915050565b60006000828401905083811015151561167a57fe5b8091505b50929150505600a165627a7a72305820f93bb3c52d29f0d91f4e55f56aca6a144d35d67251a6b8ab5397ed6f85a72b150029

0x606060405236156100ef576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde03146100f1578063095ea7b31461018a57806318160ddd146101e157806323b872dd146102075780632ff2e9dc1461027d578063313ce567146102a35780633f4ba83a146102cf5780635c975abb146102e1578063661884631461030b57806370a08231146103625780638456cb59146103ac5780638da5cb5b146103be57806395d89b4114610410578063a9059cbb146104a9578063d73dd62314610500578063dd62ed3e14610557578063f2fde38b146105c0575bfe5b34156100f957fe5b6101016105f6565b6040518080602001828103825283818151815260200191508051906020019080838360008314610150575b8051825260208311156101505760208201915060208101905060208303925061012c565b505050905090810190601f16801561017c5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b341561019257fe5b6101c7600480803573ffffffffffffffffffffffffffffffffffffffff16906020019091908035906020019091905050610630565b604051808215151515815260200191505060405180910390f35b34156101e957fe5b6101f1610663565b6040518082815260200191505060405180910390f35b341561020f57fe5b610263600480803573ffffffffffffffffffffffffffffffffffffffff1690602001909190803573ffffffffffffffffffffffffffffffffffffffff16906020019091908035906020019091905050610669565b604051808215151515815260200191505060405180910390f35b341561028557fe5b61028d6106dd565b6040518082815260200191505060405180910390f35b34156102ab57fe5b6102b36106ee565b604051808260ff1660ff16815260200191505060405180910390f35b34156102d757fe5b6102df6106f3565b005b34156102e957fe5b6102f16107bb565b604051808215151515815260200191505060405180910390f35b341561031357fe5b610348600480803573ffffffffffffffffffffffffffffffffffffffff169060200190919080359060200190919050506107ce565b604051808215151515815260200191505060405180910390f35b341561036a57fe5b610396600480803573ffffffffffffffffffffffffffffffffffffffff16906020019091905050610801565b6040518082815260200191505060405180910390f35b34156103b457fe5b6103bc61084b565b005b34156103c657fe5b6103ce610914565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b341561041857fe5b61042061093a565b604051808060200182810382528381815181526020019150805190602001908083836000831461046f575b80518252602083111561046f5760208201915060208101905060208303925061044b565b505050905090810190601f16801561049b5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34156104b157fe5b6104e6600480803573ffffffffffffffffffffffffffffffffffffffff16906020019091908035906020019091905050610974565b604051808215151515815260200191505060405180910390f35b341561050857fe5b61053d600480803573ffffffffffffffffffffffffffffffffffffffff169060200190919080359060200190919050506109e6565b604051808215151515815260200191505060405180910390f35b341561055f57fe5b6105aa600480803573ffffffffffffffffffffffffffffffffffffffff1690602001909190803573ffffffffffffffffffffffffffffffffffffffff16906020019091905050610a19565b6040518082815260200191505060405180910390f35b34156105c857fe5b6105f4600480803573ffffffffffffffffffffffffffffffffffffffff16906020019091905050610aa1565b005b604060405190810160405280600981526020017f69457468657265756d000000000000000000000000000000000000000000000081525081565b6000600360149054906101000a900460ff1615151561064f5760006000fd5b6106598383610c00565b90505b5b92915050565b60005481565b6000823073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141515156106a85760006000fd5b600360149054906101000a900460ff161515156106c55760006000fd5b6106d0858585610cf3565b91505b5b5b509392505050565b600860ff16600a0a6305f5e1000281565b600881565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156107505760006000fd5b600360149054906101000a900460ff16151561076c5760006000fd5b6000600360146101000a81548160ff0219169083151502179055507f7805862f689e2f13df9f062ff482ad3ad112aca9e0847911ed832e158c525b3360405180905060405180910390a15b5b5b565b600360149054906101000a900460ff1681565b6000600360149054906101000a900460ff161515156107ed5760006000fd5b6107f78383610fe2565b90505b5b92915050565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490505b919050565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156108a85760006000fd5b600360149054906101000a900460ff161515156108c55760006000fd5b6001600360146101000a81548160ff0219169083151502179055507f6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff62560405180905060405180910390a15b5b5b565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b604060405190810160405280600481526020017f694554480000000000000000000000000000000000000000000000000000000081525081565b6000823073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141515156109b35760006000fd5b600360149054906101000a900460ff161515156109d05760006000fd5b6109da8484611275565b91505b5b5b5092915050565b6000600360149054906101000a900460ff16151515610a055760006000fd5b610a0f838361144e565b90505b5b92915050565b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490505b92915050565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610afe5760006000fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614151515610b3b5760006000fd5b8073ffffffffffffffffffffffffffffffffffffffff16600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405180905060405180910390a380600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505b5b50565b600081600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a3600190505b92915050565b60006000600073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614151515610d345760006000fd5b600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050610e0583600160008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461164b90919063ffffffff16565b600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610e9a83600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461166590919063ffffffff16565b600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610ef0838261164b90919063ffffffff16565b600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040518082815260200191505060405180910390a3600191505b509392505050565b60006000600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050808311156110f4576000600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611188565b611107838261164b90919063ffffffff16565b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b8373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a3600191505b5092915050565b6000600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141515156112b45760006000fd5b61130682600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461164b90919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061139b82600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461166590919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190505b92915050565b60006114df82600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461166590919063ffffffff16565b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a3600190505b92915050565b600082821115151561165957fe5b81830390505b92915050565b60006000828401905083811015151561167a57fe5b8091505b50929150505600a165627a7a72305820f93bb3c52d29f0d91f4e55f56aca6a144d35d67251a6b8ab5397ed6f85a72b150029

8685:2725:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8738:41;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;26:1:-1;21:3;18:2;13:3;7:5;32;59:3;53:5;48:3;41:6;93:2;88:3;85:2;78:6;73:3;67:5;117:2;112:3;108;101:19;;139:2;134:3;130;123:19;;161:2;156:3;152;145:19;;172:5;167:4;181:3;3:186;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10819:138:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;259:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10377:188;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9076:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8959:34;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8163:90;;;;;;;;;;;;7547:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11223:182;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3291:113;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7988:88;;;;;;;;;;;;731:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8847:38;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;26:1:-1;21:3;18:2;13:3;7:5;32;59:3;53:5;48:3;41:6;93:2;88:3;85:2;78:6;73:3;67:5;117:2;112:3;108;101:19;;139:2;134:3;130;123:19;;161:2;156:3;152;145:19;;172:5;167:4;181:3;3:186;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9920:158:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11004:172;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6257:142;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1348:173;;;;;;;;;;;;;;;;;;;;;;;;;;8738:41;;;;;;;;;;;;;;;;;;;;:::o;10819:138::-;10900:4;7723:6;;;;;;;;;;;7722:7;7714:16;;;;;;;;10920:31;10934:8;10944:6;10920:13;:31::i;:::-;10913:38;;7737:1;10819:138;;;;;:::o;259:26::-;;;;:::o;10377:188::-;10501:4;10466:3;9356:4;9341:20;;:3;:20;;;;9333:29;;;;;;;;7723:6;;;;;;;;;;;7722:7;7714:16;;;;;;;;10521:38;10540:5;10547:3;10552:6;10521:18;:38::i;:::-;10514:45;;7737:1;9369;10377:188;;;;;;;:::o;9076:68::-;8992:1;9127:17;;9123:2;:21;9117:3;:27;9076:68;:::o;8959:34::-;8992:1;8959:34;:::o;8163:90::-;1159:5;;;;;;;;;;;1145:19;;:10;:19;;;1137:28;;;;;;;;7883:6;;;;;;;;;;;7875:15;;;;;;;;8226:5;8217:6;;:14;;;;;;;;;;;;;;;;;;8238:9;;;;;;;;;;;;;7897:1;1172;8163:90;:::o;7547:26::-;;;;;;;;;;;;;:::o;11223:182::-;11321:12;7723:6;;;;;;;;;;;7722:7;7714:16;;;;;;;;11349:50;11372:8;11382:16;11349:22;:50::i;:::-;11342:57;;7737:1;11223:182;;;;;:::o;3291:113::-;3351:15;3382:8;:16;3391:6;3382:16;;;;;;;;;;;;;;;;3375:23;;3291:113;;;;:::o;7988:88::-;1159:5;;;;;;;;;;;1145:19;;:10;:19;;;1137:28;;;;;;;;7723:6;;;;;;;;;;;7722:7;7714:16;;;;;;;;8052:4;8043:6;;:13;;;;;;;;;;;;;;;;;;8063:7;;;;;;;;;;;;;7737:1;1172;7988:88;:::o;731:20::-;;;;;;;;;;;;;:::o;8847:38::-;;;;;;;;;;;;;;;;;;;;:::o;9920:158::-;10025:4;9990:3;9356:4;9341:20;;:3;:20;;;;9333:29;;;;;;;;7723:6;;;;;;;;;;;7722:7;7714:16;;;;;;;;10045:27;10060:3;10065:6;10045:14;:27::i;:::-;10038:34;;7737:1;9369;9920:158;;;;;;:::o;11004:172::-;11097:12;7723:6;;;;;;;;;;;7722:7;7714:16;;;;;;;;11125:45;11148:8;11158:11;11125:22;:45::i;:::-;11118:52;;7737:1;11004:172;;;;;:::o;6257:142::-;6335:17;6368:7;:15;6376:6;6368:15;;;;;;;;;;;;;;;:25;6384:8;6368:25;;;;;;;;;;;;;;;;6361:32;;6257:142;;;;;:::o;1348:173::-;1159:5;;;;;;;;;;;1145:19;;:10;:19;;;1137:28;;;;;;;;1445:1;1425:22;;:8;:22;;;;1417:31;;;;;;;;1483:8;1455:37;;1476:5;;;;;;;;;;;1455:37;;;;;;;;;;;;;;;1507:8;1499:5;;:16;;;;;;;;;;;;;;;;;;1172:1;1348:173;;:::o;5743:187::-;5810:4;5855:6;5823:7;:19;5831:10;5823:19;;;;;;;;;;;;;;;:29;5843:8;5823:29;;;;;;;;;;;;;;;:38;;;;5889:8;5868:38;;5877:10;5868:38;;;5899:6;5868:38;;;;;;;;;;;;;;;;;;5920:4;5913:11;;5743:187;;;;;:::o;4562:546::-;4644:4;4692:18;4680:1;4665:17;;:3;:17;;;;4657:26;;;;;;;;4713:7;:14;4721:5;4713:14;;;;;;;;;;;;;;;:26;4728:10;4713:26;;;;;;;;;;;;;;;;4692:47;;4916:27;4936:6;4916:8;:15;4925:5;4916:15;;;;;;;;;;;;;;;;:19;;:27;;;;:::i;:::-;4898:8;:15;4907:5;4898:15;;;;;;;;;;;;;;;:45;;;;4966:25;4984:6;4966:8;:13;4975:3;4966:13;;;;;;;;;;;;;;;;:17;;:25;;;;:::i;:::-;4950:8;:13;4959:3;4950:13;;;;;;;;;;;;;;;:41;;;;5027:22;5042:6;5027:10;:14;;:22;;;;:::i;:::-;4998:7;:14;5006:5;4998:14;;;;;;;;;;;;;;;:26;5013:10;4998:26;;;;;;;;;;;;;;;:51;;;;5072:3;5056:28;;5065:5;5056:28;;;5077:6;5056:28;;;;;;;;;;;;;;;;;;5098:4;5091:11;;4562:546;;;;;;;:::o;6921:414::-;7003:12;7024:13;7040:7;:19;7048:10;7040:19;;;;;;;;;;;;;;;:29;7060:8;7040:29;;;;;;;;;;;;;;;;7024:45;;7099:8;7080:16;:27;7076:168;;;7150:1;7118:7;:19;7126:10;7118:19;;;;;;;;;;;;;;;:29;7138:8;7118:29;;;;;;;;;;;;;;;:33;;;;7076:168;;;7206:30;7219:16;7206:8;:12;;:30;;;;:::i;:::-;7174:7;:19;7182:10;7174:19;;;;;;;;;;;;;;;:29;7194:8;7174:29;;;;;;;;;;;;;;;:62;;;;7076:168;7271:8;7250:61;;7259:10;7250:61;;;7281:7;:19;7289:10;7281:19;;;;;;;;;;;;;;;:29;7301:8;7281:29;;;;;;;;;;;;;;;;7250:61;;;;;;;;;;;;;;;;;;7325:4;7318:11;;6921:414;;;;;;:::o;2740:342::-;2803:4;2839:1;2824:17;;:3;:17;;;;2816:26;;;;;;;;2938:32;2963:6;2938:8;:20;2947:10;2938:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;2915:8;:20;2924:10;2915:20;;;;;;;;;;;;;;;:55;;;;2993:25;3011:6;2993:8;:13;3002:3;2993:13;;;;;;;;;;;;;;;;:17;;:25;;;;:::i;:::-;2977:8;:13;2986:3;2977:13;;;;;;;;;;;;;;;:41;;;;3046:3;3025:33;;3034:10;3025:33;;;3051:6;3025:33;;;;;;;;;;;;;;;;;;3072:4;3065:11;;2740:342;;;;;:::o;6647:268::-;6724:12;6777:46;6811:11;6777:7;:19;6785:10;6777:19;;;;;;;;;;;;;;;:29;6797:8;6777:29;;;;;;;;;;;;;;;;:33;;:46;;;;:::i;:::-;6745:7;:19;6753:10;6745:19;;;;;;;;;;;;;;;:29;6765:8;6745:29;;;;;;;;;;;;;;;:78;;;;6851:8;6830:61;;6839:10;6830:61;;;6861:7;:19;6869:10;6861:19;;;;;;;;;;;;;;;:29;6881:8;6861:29;;;;;;;;;;;;;;;;6830:61;;;;;;;;;;;;;;;;;;6905:4;6898:11;;6647:268;;;;;:::o;2105:117::-;2167:7;2195:1;2190;:6;;2183:14;;;;;;2215:1;2211;:5;2204:12;;2105:117;;;;;:::o;2228:137::-;2290:7;2306:9;2322:1;2318;:5;2306:17;;2342:1;2337;:6;;2330:14;;;;;;2358:1;2351:8;;2228:137;;;;;;:::o

bzzr://f93bb3c52d29f0d91f4e55f56aca6a144d35d67251a6b8ab5397ed6f85a72b15