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 vSlice is StandardToken, ... *    - function vSlice()    - 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-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 vSlice
 * @dev ERC20 VSL Token
 *
 * VSL Tokens are divisible by 1e8 (100,000,000) base
 * units referred to as 'Grains'.
 *
 * VSL are displayed using 8 decimal places of precision.
 *
 * 1.85 Billion vSlice total supply (185 Quadrillion Grains):
 *   1,850,000,000 * 1e8 == 185e7 * 10**8 == 185e15
 *
 * All initial VSL Grains are assigned to the creator of
 * this contract.
 */
contract vSlice is StandardToken, Pausable {

  string public constant name = 'vSlice';                              // Set the token name for display
  string public constant symbol = 'VSL';                                  // 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 vSlice Constructor
   * Runs only on initial contract creation.
   */
  function vSlice() {
    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"}]

60606040526000600360146101000a81548160ff021916908315150217905550341561002757fe5b5b5b33600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505b600860ff16600a0a6305f5e10002600081905550600860ff16600a0a6305f5e10002600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff1660007fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef600860ff16600a0a6305f5e100026040518082815260200191505060405180910390a35b5b6116b18061013e6000396000f300606060405236156100ef576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde03146100f1578063095ea7b31461018a57806318160ddd146101e157806323b872dd146102075780632ff2e9dc1461027d578063313ce567146102a35780633f4ba83a146102cf5780635c975abb146102e1578063661884631461030b57806370a08231146103625780638456cb59146103ac5780638da5cb5b146103be57806395d89b4114610410578063a9059cbb146104a9578063d73dd62314610500578063dd62ed3e14610557578063f2fde38b146105c0575bfe5b34156100f957fe5b6101016105f6565b6040518080602001828103825283818151815260200191508051906020019080838360008314610150575b8051825260208311156101505760208201915060208101905060208303925061012c565b505050905090810190601f16801561017c5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b341561019257fe5b6101c7600480803573ffffffffffffffffffffffffffffffffffffffff16906020019091908035906020019091905050610630565b604051808215151515815260200191505060405180910390f35b34156101e957fe5b6101f1610663565b6040518082815260200191505060405180910390f35b341561020f57fe5b610263600480803573ffffffffffffffffffffffffffffffffffffffff1690602001909190803573ffffffffffffffffffffffffffffffffffffffff16906020019091908035906020019091905050610669565b604051808215151515815260200191505060405180910390f35b341561028557fe5b61028d6106dd565b6040518082815260200191505060405180910390f35b34156102ab57fe5b6102b36106ee565b604051808260ff1660ff16815260200191505060405180910390f35b34156102d757fe5b6102df6106f3565b005b34156102e957fe5b6102f16107bb565b604051808215151515815260200191505060405180910390f35b341561031357fe5b610348600480803573ffffffffffffffffffffffffffffffffffffffff169060200190919080359060200190919050506107ce565b604051808215151515815260200191505060405180910390f35b341561036a57fe5b610396600480803573ffffffffffffffffffffffffffffffffffffffff16906020019091905050610801565b6040518082815260200191505060405180910390f35b34156103b457fe5b6103bc61084b565b005b34156103c657fe5b6103ce610914565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b341561041857fe5b61042061093a565b604051808060200182810382528381815181526020019150805190602001908083836000831461046f575b80518252602083111561046f5760208201915060208101905060208303925061044b565b505050905090810190601f16801561049b5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34156104b157fe5b6104e6600480803573ffffffffffffffffffffffffffffffffffffffff16906020019091908035906020019091905050610974565b604051808215151515815260200191505060405180910390f35b341561050857fe5b61053d600480803573ffffffffffffffffffffffffffffffffffffffff169060200190919080359060200190919050506109e6565b604051808215151515815260200191505060405180910390f35b341561055f57fe5b6105aa600480803573ffffffffffffffffffffffffffffffffffffffff1690602001909190803573ffffffffffffffffffffffffffffffffffffffff16906020019091905050610a19565b6040518082815260200191505060405180910390f35b34156105c857fe5b6105f4600480803573ffffffffffffffffffffffffffffffffffffffff16906020019091905050610aa1565b005b604060405190810160405280600681526020017f76536c696365000000000000000000000000000000000000000000000000000081525081565b6000600360149054906101000a900460ff1615151561064f5760006000fd5b6106598383610c00565b90505b5b92915050565b60005481565b6000823073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141515156106a85760006000fd5b600360149054906101000a900460ff161515156106c55760006000fd5b6106d0858585610cf3565b91505b5b5b509392505050565b600860ff16600a0a6305f5e1000281565b600881565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156107505760006000fd5b600360149054906101000a900460ff16151561076c5760006000fd5b6000600360146101000a81548160ff0219169083151502179055507f7805862f689e2f13df9f062ff482ad3ad112aca9e0847911ed832e158c525b3360405180905060405180910390a15b5b5b565b600360149054906101000a900460ff1681565b6000600360149054906101000a900460ff161515156107ed5760006000fd5b6107f78383610fe2565b90505b5b92915050565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490505b919050565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156108a85760006000fd5b600360149054906101000a900460ff161515156108c55760006000fd5b6001600360146101000a81548160ff0219169083151502179055507f6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff62560405180905060405180910390a15b5b5b565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b604060405190810160405280600381526020017f56534c000000000000000000000000000000000000000000000000000000000081525081565b6000823073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141515156109b35760006000fd5b600360149054906101000a900460ff161515156109d05760006000fd5b6109da8484611275565b91505b5b5b5092915050565b6000600360149054906101000a900460ff16151515610a055760006000fd5b610a0f838361144e565b90505b5b92915050565b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490505b92915050565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610afe5760006000fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614151515610b3b5760006000fd5b8073ffffffffffffffffffffffffffffffffffffffff16600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405180905060405180910390a380600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505b5b50565b600081600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a3600190505b92915050565b60006000600073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614151515610d345760006000fd5b600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050610e0583600160008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461164b90919063ffffffff16565b600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610e9a83600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461166590919063ffffffff16565b600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610ef0838261164b90919063ffffffff16565b600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040518082815260200191505060405180910390a3600191505b509392505050565b60006000600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050808311156110f4576000600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611188565b611107838261164b90919063ffffffff16565b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b8373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a3600191505b5092915050565b6000600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141515156112b45760006000fd5b61130682600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461164b90919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061139b82600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461166590919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190505b92915050565b60006114df82600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461166590919063ffffffff16565b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a3600190505b92915050565b600082821115151561165957fe5b81830390505b92915050565b60006000828401905083811015151561167a57fe5b8091505b50929150505600a165627a7a72305820c2254c5bd9b1adfcd4a108583ee795da5ad6c40422205f91b037c59ce3781cd30029

0x606060405236156100ef576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde03146100f1578063095ea7b31461018a57806318160ddd146101e157806323b872dd146102075780632ff2e9dc1461027d578063313ce567146102a35780633f4ba83a146102cf5780635c975abb146102e1578063661884631461030b57806370a08231146103625780638456cb59146103ac5780638da5cb5b146103be57806395d89b4114610410578063a9059cbb146104a9578063d73dd62314610500578063dd62ed3e14610557578063f2fde38b146105c0575bfe5b34156100f957fe5b6101016105f6565b6040518080602001828103825283818151815260200191508051906020019080838360008314610150575b8051825260208311156101505760208201915060208101905060208303925061012c565b505050905090810190601f16801561017c5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b341561019257fe5b6101c7600480803573ffffffffffffffffffffffffffffffffffffffff16906020019091908035906020019091905050610630565b604051808215151515815260200191505060405180910390f35b34156101e957fe5b6101f1610663565b6040518082815260200191505060405180910390f35b341561020f57fe5b610263600480803573ffffffffffffffffffffffffffffffffffffffff1690602001909190803573ffffffffffffffffffffffffffffffffffffffff16906020019091908035906020019091905050610669565b604051808215151515815260200191505060405180910390f35b341561028557fe5b61028d6106dd565b6040518082815260200191505060405180910390f35b34156102ab57fe5b6102b36106ee565b604051808260ff1660ff16815260200191505060405180910390f35b34156102d757fe5b6102df6106f3565b005b34156102e957fe5b6102f16107bb565b604051808215151515815260200191505060405180910390f35b341561031357fe5b610348600480803573ffffffffffffffffffffffffffffffffffffffff169060200190919080359060200190919050506107ce565b604051808215151515815260200191505060405180910390f35b341561036a57fe5b610396600480803573ffffffffffffffffffffffffffffffffffffffff16906020019091905050610801565b6040518082815260200191505060405180910390f35b34156103b457fe5b6103bc61084b565b005b34156103c657fe5b6103ce610914565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b341561041857fe5b61042061093a565b604051808060200182810382528381815181526020019150805190602001908083836000831461046f575b80518252602083111561046f5760208201915060208101905060208303925061044b565b505050905090810190601f16801561049b5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34156104b157fe5b6104e6600480803573ffffffffffffffffffffffffffffffffffffffff16906020019091908035906020019091905050610974565b604051808215151515815260200191505060405180910390f35b341561050857fe5b61053d600480803573ffffffffffffffffffffffffffffffffffffffff169060200190919080359060200190919050506109e6565b604051808215151515815260200191505060405180910390f35b341561055f57fe5b6105aa600480803573ffffffffffffffffffffffffffffffffffffffff1690602001909190803573ffffffffffffffffffffffffffffffffffffffff16906020019091905050610a19565b6040518082815260200191505060405180910390f35b34156105c857fe5b6105f4600480803573ffffffffffffffffffffffffffffffffffffffff16906020019091905050610aa1565b005b604060405190810160405280600681526020017f76536c696365000000000000000000000000000000000000000000000000000081525081565b6000600360149054906101000a900460ff1615151561064f5760006000fd5b6106598383610c00565b90505b5b92915050565b60005481565b6000823073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141515156106a85760006000fd5b600360149054906101000a900460ff161515156106c55760006000fd5b6106d0858585610cf3565b91505b5b5b509392505050565b600860ff16600a0a6305f5e1000281565b600881565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156107505760006000fd5b600360149054906101000a900460ff16151561076c5760006000fd5b6000600360146101000a81548160ff0219169083151502179055507f7805862f689e2f13df9f062ff482ad3ad112aca9e0847911ed832e158c525b3360405180905060405180910390a15b5b5b565b600360149054906101000a900460ff1681565b6000600360149054906101000a900460ff161515156107ed5760006000fd5b6107f78383610fe2565b90505b5b92915050565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490505b919050565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156108a85760006000fd5b600360149054906101000a900460ff161515156108c55760006000fd5b6001600360146101000a81548160ff0219169083151502179055507f6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff62560405180905060405180910390a15b5b5b565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b604060405190810160405280600381526020017f56534c000000000000000000000000000000000000000000000000000000000081525081565b6000823073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141515156109b35760006000fd5b600360149054906101000a900460ff161515156109d05760006000fd5b6109da8484611275565b91505b5b5b5092915050565b6000600360149054906101000a900460ff16151515610a055760006000fd5b610a0f838361144e565b90505b5b92915050565b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490505b92915050565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610afe5760006000fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614151515610b3b5760006000fd5b8073ffffffffffffffffffffffffffffffffffffffff16600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405180905060405180910390a380600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505b5b50565b600081600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a3600190505b92915050565b60006000600073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614151515610d345760006000fd5b600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050610e0583600160008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461164b90919063ffffffff16565b600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610e9a83600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461166590919063ffffffff16565b600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610ef0838261164b90919063ffffffff16565b600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040518082815260200191505060405180910390a3600191505b509392505050565b60006000600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050808311156110f4576000600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611188565b611107838261164b90919063ffffffff16565b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b8373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a3600191505b5092915050565b6000600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141515156112b45760006000fd5b61130682600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461164b90919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061139b82600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461166590919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190505b92915050565b60006114df82600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461166590919063ffffffff16565b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a3600190505b92915050565b600082821115151561165957fe5b81830390505b92915050565b60006000828401905083811015151561167a57fe5b8091505b50929150505600a165627a7a72305820c2254c5bd9b1adfcd4a108583ee795da5ad6c40422205f91b037c59ce3781cd30029

8604:2712:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8654: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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10725:138:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;188:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10283:188;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8988:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8871:34;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8092:90;;;;;;;;;;;;7476:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11129:182;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3220:113;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7917:88;;;;;;;;;;;;660:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8760:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9826:158:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10910:172;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6186:142;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1277:173;;;;;;;;;;;;;;;;;;;;;;;;;;8654:38;;;;;;;;;;;;;;;;;;;;:::o;10725:138::-;10806:4;7652:6;;;;;;;;;;;7651:7;7643:16;;;;;;;;10826:31;10840:8;10850:6;10826:13;:31::i;:::-;10819:38;;7666:1;10725:138;;;;;:::o;188:26::-;;;;:::o;10283:188::-;10407:4;10372:3;9268:4;9253:20;;:3;:20;;;;9245:29;;;;;;;;7652:6;;;;;;;;;;;7651:7;7643:16;;;;;;;;10427:38;10446:5;10453:3;10458:6;10427:18;:38::i;:::-;10420:45;;7666:1;9281;10283:188;;;;;;;:::o;8988:68::-;8904:1;9039:17;;9035:2;:21;9029:3;:27;8988:68;:::o;8871:34::-;8904:1;8871:34;:::o;8092:90::-;1088:5;;;;;;;;;;;1074:19;;:10;:19;;;1066:28;;;;;;;;7812:6;;;;;;;;;;;7804:15;;;;;;;;8155:5;8146:6;;:14;;;;;;;;;;;;;;;;;;8167:9;;;;;;;;;;;;;7826:1;1101;8092:90;:::o;7476:26::-;;;;;;;;;;;;;:::o;11129:182::-;11227:12;7652:6;;;;;;;;;;;7651:7;7643:16;;;;;;;;11255:50;11278:8;11288:16;11255:22;:50::i;:::-;11248:57;;7666:1;11129:182;;;;;:::o;3220:113::-;3280:15;3311:8;:16;3320:6;3311:16;;;;;;;;;;;;;;;;3304:23;;3220:113;;;;:::o;7917:88::-;1088:5;;;;;;;;;;;1074:19;;:10;:19;;;1066:28;;;;;;;;7652:6;;;;;;;;;;;7651:7;7643:16;;;;;;;;7981:4;7972:6;;:13;;;;;;;;;;;;;;;;;;7992:7;;;;;;;;;;;;;7666:1;1101;7917:88;:::o;660:20::-;;;;;;;;;;;;;:::o;8760:37::-;;;;;;;;;;;;;;;;;;;;:::o;9826:158::-;9931:4;9896:3;9268:4;9253:20;;:3;:20;;;;9245:29;;;;;;;;7652:6;;;;;;;;;;;7651:7;7643:16;;;;;;;;9951:27;9966:3;9971:6;9951:14;:27::i;:::-;9944:34;;7666:1;9281;9826:158;;;;;;:::o;10910:172::-;11003:12;7652:6;;;;;;;;;;;7651:7;7643:16;;;;;;;;11031:45;11054:8;11064:11;11031:22;:45::i;:::-;11024:52;;7666:1;10910:172;;;;;:::o;6186:142::-;6264:17;6297:7;:15;6305:6;6297:15;;;;;;;;;;;;;;;:25;6313:8;6297:25;;;;;;;;;;;;;;;;6290:32;;6186:142;;;;;:::o;1277:173::-;1088:5;;;;;;;;;;;1074:19;;:10;:19;;;1066:28;;;;;;;;1374:1;1354:22;;:8;:22;;;;1346:31;;;;;;;;1412:8;1384:37;;1405:5;;;;;;;;;;;1384:37;;;;;;;;;;;;;;;1436:8;1428:5;;:16;;;;;;;;;;;;;;;;;;1101:1;1277:173;;:::o;5672:187::-;5739:4;5784:6;5752:7;:19;5760:10;5752:19;;;;;;;;;;;;;;;:29;5772:8;5752:29;;;;;;;;;;;;;;;:38;;;;5818:8;5797:38;;5806:10;5797:38;;;5828:6;5797:38;;;;;;;;;;;;;;;;;;5849:4;5842:11;;5672:187;;;;;:::o;4491:546::-;4573:4;4621:18;4609:1;4594:17;;:3;:17;;;;4586:26;;;;;;;;4642:7;:14;4650:5;4642:14;;;;;;;;;;;;;;;:26;4657:10;4642:26;;;;;;;;;;;;;;;;4621:47;;4845:27;4865:6;4845:8;:15;4854:5;4845:15;;;;;;;;;;;;;;;;:19;;:27;;;;:::i;:::-;4827:8;:15;4836:5;4827:15;;;;;;;;;;;;;;;:45;;;;4895:25;4913:6;4895:8;:13;4904:3;4895:13;;;;;;;;;;;;;;;;:17;;:25;;;;:::i;:::-;4879:8;:13;4888:3;4879:13;;;;;;;;;;;;;;;:41;;;;4956:22;4971:6;4956:10;:14;;:22;;;;:::i;:::-;4927:7;:14;4935:5;4927:14;;;;;;;;;;;;;;;:26;4942:10;4927:26;;;;;;;;;;;;;;;:51;;;;5001:3;4985:28;;4994:5;4985:28;;;5006:6;4985:28;;;;;;;;;;;;;;;;;;5027:4;5020:11;;4491:546;;;;;;;:::o;6850:414::-;6932:12;6953:13;6969:7;:19;6977:10;6969:19;;;;;;;;;;;;;;;:29;6989:8;6969:29;;;;;;;;;;;;;;;;6953:45;;7028:8;7009:16;:27;7005:168;;;7079:1;7047:7;:19;7055:10;7047:19;;;;;;;;;;;;;;;:29;7067:8;7047:29;;;;;;;;;;;;;;;:33;;;;7005:168;;;7135:30;7148:16;7135:8;:12;;:30;;;;:::i;:::-;7103:7;:19;7111:10;7103:19;;;;;;;;;;;;;;;:29;7123:8;7103:29;;;;;;;;;;;;;;;:62;;;;7005:168;7200:8;7179:61;;7188:10;7179:61;;;7210:7;:19;7218:10;7210:19;;;;;;;;;;;;;;;:29;7230:8;7210:29;;;;;;;;;;;;;;;;7179:61;;;;;;;;;;;;;;;;;;7254:4;7247:11;;6850:414;;;;;;:::o;2669:342::-;2732:4;2768:1;2753:17;;:3;:17;;;;2745:26;;;;;;;;2867:32;2892:6;2867:8;:20;2876:10;2867:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;2844:8;:20;2853:10;2844:20;;;;;;;;;;;;;;;:55;;;;2922:25;2940:6;2922:8;:13;2931:3;2922:13;;;;;;;;;;;;;;;;:17;;:25;;;;:::i;:::-;2906:8;:13;2915:3;2906:13;;;;;;;;;;;;;;;:41;;;;2975:3;2954:33;;2963:10;2954:33;;;2980:6;2954:33;;;;;;;;;;;;;;;;;;3001:4;2994:11;;2669:342;;;;;:::o;6576:268::-;6653:12;6706:46;6740:11;6706:7;:19;6714:10;6706:19;;;;;;;;;;;;;;;:29;6726:8;6706:29;;;;;;;;;;;;;;;;:33;;:46;;;;:::i;:::-;6674:7;:19;6682:10;6674:19;;;;;;;;;;;;;;;:29;6694:8;6674:29;;;;;;;;;;;;;;;:78;;;;6780:8;6759:61;;6768:10;6759:61;;;6790:7;:19;6798:10;6790:19;;;;;;;;;;;;;;;:29;6810:8;6790:29;;;;;;;;;;;;;;;;6759:61;;;;;;;;;;;;;;;;;;6834:4;6827:11;;6576:268;;;;;:::o;2034:117::-;2096:7;2124:1;2119;:6;;2112:14;;;;;;2144:1;2140;:5;2133:12;;2034:117;;;;;:::o;2157:137::-;2219:7;2235:9;2251:1;2247;:5;2235:17;;2271:1;2266;:6;;2259:14;;;;;;2287:1;2280:8;;2157:137;;;;;;:::o

bzzr://c2254c5bd9b1adfcd4a108583ee795da5ad6c40422205f91b037c59ce3781cd3