Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-02-14
*/

pragma solidity ^0.4.23;

/**
 * @title ERC20Basic
 * @dev Simpler version of ERC20 interface
 * @dev 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);
}


pragma solidity ^0.4.23;

/**
 * @title SafeMath
 * @dev Math operations with safety checks that throw on error
 */
library SafeMath {

  /**
  * @dev Multiplies two numbers, throws on overflow.
  */
  function mul(uint256 a, uint256 b) internal pure returns (uint256 c) {
    // Gas optimization: this is cheaper than asserting 'a' not being zero, but the
    // benefit is lost if 'b' is also tested.
    // See: https://github.com/OpenZeppelin/openzeppelin-solidity/pull/522
    if (a == 0) {
      return 0;
    }

    c = a * b;
    assert(c / a == b);
    return c;
  }

  /**
  * @dev Integer division of two numbers, truncating the quotient.
  */
  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 a / b;
  }

  /**
  * @dev Subtracts two numbers, throws on overflow (i.e. if subtrahend is greater than minuend).
  */
  function sub(uint256 a, uint256 b) internal pure returns (uint256) {
    assert(b <= a);
    return a - b;
  }

  /**
  * @dev Adds two numbers, throws on overflow.
  */
  function add(uint256 a, uint256 b) internal pure returns (uint256 c) {
    c = a + b;
    assert(c >= a);
    return c;
  }
}


pragma solidity ^0.4.23;

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

}


pragma solidity ^0.4.23;

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


pragma solidity ^0.4.23;

/**
 * @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)) 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,
    uint _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,
    uint _subtractedValue
  )
    public
    returns (bool)
  {
    uint 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;
  }

}


pragma solidity ^0.4.23;

/**
 * @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 relinquish control of the contract.
   */
  function renounceOwnership() public onlyOwner {
    emit OwnershipRenounced(owner);
    owner = address(0);
  }

  /**
   * @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 {
    _transferOwnership(_newOwner);
  }

  /**
   * @dev Transfers control of the contract to a newOwner.
   * @param _newOwner The address to transfer ownership to.
   */
  function _transferOwnership(address _newOwner) internal {
    require(_newOwner != address(0));
    emit OwnershipTransferred(owner, _newOwner);
    owner = _newOwner;
  }
}


pragma solidity ^0.4.23;

/**
 * @title Mintable token
 * @dev Simple ERC20 Token example, with mintable token creation
 * @dev Issue: * https://github.com/OpenZeppelin/openzeppelin-solidity/issues/120
 * Based on code by TokenMarketNet: https://github.com/TokenMarketNet/ico/blob/master/contracts/MintableToken.sol
 */
contract MintableToken is StandardToken, Ownable {
  event Mint(address indexed to, uint256 amount);
  event MintFinished();

  bool public mintingFinished = false;


  modifier canMint() {
    require(!mintingFinished);
    _;
  }

  modifier hasMintPermission() {
    require(msg.sender == owner);
    _;
  }

  /**
   * @dev Function to mint tokens
   * @param _to The address that will receive the minted tokens.
   * @param _amount The amount of tokens to mint.
   * @return A boolean that indicates if the operation was successful.
   */
  function mint(
    address _to,
    uint256 _amount
  )
    hasMintPermission
    canMint
    public
    returns (bool)
  {
    totalSupply_ = totalSupply_.add(_amount);
    balances[_to] = balances[_to].add(_amount);
    emit Mint(_to, _amount);
    emit Transfer(address(0), _to, _amount);
    return true;
  }

  /**
   * @dev Function to stop minting new tokens.
   * @return True if the operation was successful.
   */
  function finishMinting() onlyOwner canMint public returns (bool) {
    mintingFinished = true;
    emit MintFinished();
    return true;
  }
}


pragma solidity ^0.4.23;

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


pragma solidity ^0.4.23;

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


pragma solidity ^0.4.24;

contract InvestmentToken is MintableToken, PausableToken {
  string  public name;
  string  public symbol;
  uint256 public decimals;

  constructor() public {
    name = "Investment Token";
    symbol = "DINT";
    decimals = 18;
  }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"mintingFinished","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"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":"decimals","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"unpause","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_amount","type":"uint256"}],"name":"mint","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"paused","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_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":"renounceOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"finishMinting","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"pause","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transfer","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":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":"_newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[],"name":"Pause","type":"event"},{"anonymous":false,"inputs":[],"name":"Unpause","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"to","type":"address"},{"indexed":false,"name":"amount","type":"uint256"}],"name":"Mint","type":"event"},{"anonymous":false,"inputs":[],"name":"MintFinished","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":"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"}]

60806040526003805460a060020a61ffff021916905534801561002157600080fd5b5060038054600160a060020a031916331790556040805180820190915260108082527f496e766573746d656e7420546f6b656e000000000000000000000000000000006020909201918252610078916004916100c8565b506040805180820190915260048082527f44494e540000000000000000000000000000000000000000000000000000000060209092019182526100bd916005916100c8565b506012600655610163565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061010957805160ff1916838001178555610136565b82800160010185558215610136579182015b8281111561013657825182559160200191906001019061011b565b50610142929150610146565b5090565b61016091905b80821115610142576000815560010161014c565b90565b610e9b80620001736000396000f3006080604052600436106101115763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166305d2035b811461011657806306fdde031461013f578063095ea7b3146101c957806318160ddd146101ed57806323b872dd14610214578063313ce5671461023e5780633f4ba83a1461025357806340c10f191461026a5780635c975abb1461028e57806366188463146102a357806370a08231146102c7578063715018a6146102e85780637d64bcb4146102fd5780638456cb59146103125780638da5cb5b1461032757806395d89b4114610358578063a9059cbb1461036d578063d73dd62314610391578063dd62ed3e146103b5578063f2fde38b146103dc575b600080fd5b34801561012257600080fd5b5061012b6103fd565b604080519115158252519081900360200190f35b34801561014b57600080fd5b5061015461041e565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561018e578181015183820152602001610176565b50505050905090810190601f1680156101bb5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156101d557600080fd5b5061012b600160a060020a03600435166024356104ac565b3480156101f957600080fd5b506102026104d7565b60408051918252519081900360200190f35b34801561022057600080fd5b5061012b600160a060020a03600435811690602435166044356104dd565b34801561024a57600080fd5b5061020261050a565b34801561025f57600080fd5b50610268610510565b005b34801561027657600080fd5b5061012b600160a060020a0360043516602435610589565b34801561029a57600080fd5b5061012b6106a4565b3480156102af57600080fd5b5061012b600160a060020a03600435166024356106b4565b3480156102d357600080fd5b50610202600160a060020a03600435166106d8565b3480156102f457600080fd5b506102686106f3565b34801561030957600080fd5b5061012b610761565b34801561031e57600080fd5b50610268610807565b34801561033357600080fd5b5061033c610885565b60408051600160a060020a039092168252519081900360200190f35b34801561036457600080fd5b50610154610894565b34801561037957600080fd5b5061012b600160a060020a03600435166024356108ef565b34801561039d57600080fd5b5061012b600160a060020a0360043516602435610913565b3480156103c157600080fd5b50610202600160a060020a0360043581169060243516610937565b3480156103e857600080fd5b50610268600160a060020a0360043516610962565b60035474010000000000000000000000000000000000000000900460ff1681565b6004805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156104a45780601f10610479576101008083540402835291602001916104a4565b820191906000526020600020905b81548152906001019060200180831161048757829003601f168201915b505050505081565b60035460009060a860020a900460ff16156104c657600080fd5b6104d08383610985565b9392505050565b60015490565b60035460009060a860020a900460ff16156104f757600080fd5b6105028484846109eb565b949350505050565b60065481565b600354600160a060020a0316331461052757600080fd5b60035460a860020a900460ff16151561053f57600080fd5b6003805475ff000000000000000000000000000000000000000000191690556040517f7805862f689e2f13df9f062ff482ad3ad112aca9e0847911ed832e158c525b3390600090a1565b600354600090600160a060020a031633146105a357600080fd5b60035474010000000000000000000000000000000000000000900460ff16156105cb57600080fd5b6001546105de908363ffffffff610b6216565b600155600160a060020a03831660009081526020819052604090205461060a908363ffffffff610b6216565b600160a060020a03841660008181526020818152604091829020939093558051858152905191927f0f6798a560793a54c3bcfe86a93cde1e73087d944c0ea20544137d412139688592918290030190a2604080518381529051600160a060020a038516916000917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9181900360200190a350600192915050565b60035460a860020a900460ff1681565b60035460009060a860020a900460ff16156106ce57600080fd5b6104d08383610b75565b600160a060020a031660009081526020819052604090205490565b600354600160a060020a0316331461070a57600080fd5b600354604051600160a060020a03909116907ff8df31144d9c2f0f6b59d69b8b98abd5459d07f2742c4df920b25aae33c6482090600090a26003805473ffffffffffffffffffffffffffffffffffffffff19169055565b600354600090600160a060020a0316331461077b57600080fd5b60035474010000000000000000000000000000000000000000900460ff16156107a357600080fd5b6003805474ff00000000000000000000000000000000000000001916740100000000000000000000000000000000000000001790556040517fae5184fba832cb2b1f702aca6117b8d265eaf03ad33eb133f19dde0f5920fa0890600090a150600190565b600354600160a060020a0316331461081e57600080fd5b60035460a860020a900460ff161561083557600080fd5b6003805475ff000000000000000000000000000000000000000000191660a860020a1790556040517f6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff62590600090a1565b600354600160a060020a031681565b6005805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156104a45780601f10610479576101008083540402835291602001916104a4565b60035460009060a860020a900460ff161561090957600080fd5b6104d08383610c65565b60035460009060a860020a900460ff161561092d57600080fd5b6104d08383610d46565b600160a060020a03918216600090815260026020908152604080832093909416825291909152205490565b600354600160a060020a0316331461097957600080fd5b61098281610ddf565b50565b336000818152600260209081526040808320600160a060020a038716808552908352818420869055815186815291519394909390927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925928290030190a350600192915050565b6000600160a060020a0383161515610a0257600080fd5b600160a060020a038416600090815260208190526040902054821115610a2757600080fd5b600160a060020a0384166000908152600260209081526040808320338452909152902054821115610a5757600080fd5b600160a060020a038416600090815260208190526040902054610a80908363ffffffff610e5d16565b600160a060020a038086166000908152602081905260408082209390935590851681522054610ab5908363ffffffff610b6216565b600160a060020a03808516600090815260208181526040808320949094559187168152600282528281203382529091522054610af7908363ffffffff610e5d16565b600160a060020a03808616600081815260026020908152604080832033845282529182902094909455805186815290519287169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a35060019392505050565b81810182811015610b6f57fe5b92915050565b336000908152600260209081526040808320600160a060020a038616845290915281205480831115610bca57336000908152600260209081526040808320600160a060020a0388168452909152812055610bff565b610bda818463ffffffff610e5d16565b336000908152600260209081526040808320600160a060020a03891684529091529020555b336000818152600260209081526040808320600160a060020a0389168085529083529281902054815190815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a35060019392505050565b6000600160a060020a0383161515610c7c57600080fd5b33600090815260208190526040902054821115610c9857600080fd5b33600090815260208190526040902054610cb8908363ffffffff610e5d16565b3360009081526020819052604080822092909255600160a060020a03851681522054610cea908363ffffffff610b6216565b600160a060020a038416600081815260208181526040918290209390935580518581529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a350600192915050565b336000908152600260209081526040808320600160a060020a0386168452909152812054610d7a908363ffffffff610b6216565b336000818152600260209081526040808320600160a060020a0389168085529083529281902085905580519485525191937f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929081900390910190a350600192915050565b600160a060020a0381161515610df457600080fd5b600354604051600160a060020a038084169216907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a36003805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0392909216919091179055565b600082821115610e6957fe5b509003905600a165627a7a723058207de238822a130bfe3b591a1844806d07fb68509dd411c2d8152f4e951e2854280029

0x6080604052600436106101115763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166305d2035b811461011657806306fdde031461013f578063095ea7b3146101c957806318160ddd146101ed57806323b872dd14610214578063313ce5671461023e5780633f4ba83a1461025357806340c10f191461026a5780635c975abb1461028e57806366188463146102a357806370a08231146102c7578063715018a6146102e85780637d64bcb4146102fd5780638456cb59146103125780638da5cb5b1461032757806395d89b4114610358578063a9059cbb1461036d578063d73dd62314610391578063dd62ed3e146103b5578063f2fde38b146103dc575b600080fd5b34801561012257600080fd5b5061012b6103fd565b604080519115158252519081900360200190f35b34801561014b57600080fd5b5061015461041e565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561018e578181015183820152602001610176565b50505050905090810190601f1680156101bb5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156101d557600080fd5b5061012b600160a060020a03600435166024356104ac565b3480156101f957600080fd5b506102026104d7565b60408051918252519081900360200190f35b34801561022057600080fd5b5061012b600160a060020a03600435811690602435166044356104dd565b34801561024a57600080fd5b5061020261050a565b34801561025f57600080fd5b50610268610510565b005b34801561027657600080fd5b5061012b600160a060020a0360043516602435610589565b34801561029a57600080fd5b5061012b6106a4565b3480156102af57600080fd5b5061012b600160a060020a03600435166024356106b4565b3480156102d357600080fd5b50610202600160a060020a03600435166106d8565b3480156102f457600080fd5b506102686106f3565b34801561030957600080fd5b5061012b610761565b34801561031e57600080fd5b50610268610807565b34801561033357600080fd5b5061033c610885565b60408051600160a060020a039092168252519081900360200190f35b34801561036457600080fd5b50610154610894565b34801561037957600080fd5b5061012b600160a060020a03600435166024356108ef565b34801561039d57600080fd5b5061012b600160a060020a0360043516602435610913565b3480156103c157600080fd5b50610202600160a060020a0360043581169060243516610937565b3480156103e857600080fd5b50610268600160a060020a0360043516610962565b60035474010000000000000000000000000000000000000000900460ff1681565b6004805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156104a45780601f10610479576101008083540402835291602001916104a4565b820191906000526020600020905b81548152906001019060200180831161048757829003601f168201915b505050505081565b60035460009060a860020a900460ff16156104c657600080fd5b6104d08383610985565b9392505050565b60015490565b60035460009060a860020a900460ff16156104f757600080fd5b6105028484846109eb565b949350505050565b60065481565b600354600160a060020a0316331461052757600080fd5b60035460a860020a900460ff16151561053f57600080fd5b6003805475ff000000000000000000000000000000000000000000191690556040517f7805862f689e2f13df9f062ff482ad3ad112aca9e0847911ed832e158c525b3390600090a1565b600354600090600160a060020a031633146105a357600080fd5b60035474010000000000000000000000000000000000000000900460ff16156105cb57600080fd5b6001546105de908363ffffffff610b6216565b600155600160a060020a03831660009081526020819052604090205461060a908363ffffffff610b6216565b600160a060020a03841660008181526020818152604091829020939093558051858152905191927f0f6798a560793a54c3bcfe86a93cde1e73087d944c0ea20544137d412139688592918290030190a2604080518381529051600160a060020a038516916000917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9181900360200190a350600192915050565b60035460a860020a900460ff1681565b60035460009060a860020a900460ff16156106ce57600080fd5b6104d08383610b75565b600160a060020a031660009081526020819052604090205490565b600354600160a060020a0316331461070a57600080fd5b600354604051600160a060020a03909116907ff8df31144d9c2f0f6b59d69b8b98abd5459d07f2742c4df920b25aae33c6482090600090a26003805473ffffffffffffffffffffffffffffffffffffffff19169055565b600354600090600160a060020a0316331461077b57600080fd5b60035474010000000000000000000000000000000000000000900460ff16156107a357600080fd5b6003805474ff00000000000000000000000000000000000000001916740100000000000000000000000000000000000000001790556040517fae5184fba832cb2b1f702aca6117b8d265eaf03ad33eb133f19dde0f5920fa0890600090a150600190565b600354600160a060020a0316331461081e57600080fd5b60035460a860020a900460ff161561083557600080fd5b6003805475ff000000000000000000000000000000000000000000191660a860020a1790556040517f6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff62590600090a1565b600354600160a060020a031681565b6005805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156104a45780601f10610479576101008083540402835291602001916104a4565b60035460009060a860020a900460ff161561090957600080fd5b6104d08383610c65565b60035460009060a860020a900460ff161561092d57600080fd5b6104d08383610d46565b600160a060020a03918216600090815260026020908152604080832093909416825291909152205490565b600354600160a060020a0316331461097957600080fd5b61098281610ddf565b50565b336000818152600260209081526040808320600160a060020a038716808552908352818420869055815186815291519394909390927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925928290030190a350600192915050565b6000600160a060020a0383161515610a0257600080fd5b600160a060020a038416600090815260208190526040902054821115610a2757600080fd5b600160a060020a0384166000908152600260209081526040808320338452909152902054821115610a5757600080fd5b600160a060020a038416600090815260208190526040902054610a80908363ffffffff610e5d16565b600160a060020a038086166000908152602081905260408082209390935590851681522054610ab5908363ffffffff610b6216565b600160a060020a03808516600090815260208181526040808320949094559187168152600282528281203382529091522054610af7908363ffffffff610e5d16565b600160a060020a03808616600081815260026020908152604080832033845282529182902094909455805186815290519287169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a35060019392505050565b81810182811015610b6f57fe5b92915050565b336000908152600260209081526040808320600160a060020a038616845290915281205480831115610bca57336000908152600260209081526040808320600160a060020a0388168452909152812055610bff565b610bda818463ffffffff610e5d16565b336000908152600260209081526040808320600160a060020a03891684529091529020555b336000818152600260209081526040808320600160a060020a0389168085529083529281902054815190815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a35060019392505050565b6000600160a060020a0383161515610c7c57600080fd5b33600090815260208190526040902054821115610c9857600080fd5b33600090815260208190526040902054610cb8908363ffffffff610e5d16565b3360009081526020819052604080822092909255600160a060020a03851681522054610cea908363ffffffff610b6216565b600160a060020a038416600081815260208181526040918290209390935580518581529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a350600192915050565b336000908152600260209081526040808320600160a060020a0386168452909152812054610d7a908363ffffffff610b6216565b336000818152600260209081526040808320600160a060020a0389168085529083529281902085905580519485525191937f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929081900390910190a350600192915050565b600160a060020a0381161515610df457600080fd5b600354604051600160a060020a038084169216907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a36003805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0392909216919091179055565b600082821115610e6957fe5b509003905600a165627a7a723058207de238822a130bfe3b591a1844806d07fb68509dd411c2d8152f4e951e2854280029

13010:246:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9840:35;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9840:35:0;;;;;;;;;;;;;;;;;;;;;;13072:19;;8:9:-1;5:2;;;30:1;27;20:12;5:2;13072:19:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:100:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;13072:19:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12372:171;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;12372:171:0;-1:-1:-1;;;;;12372:171:0;;;;;;;2178:85;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2178:85:0;;;;;;;;;;;;;;;;;;;;12168:198;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;12168:198:0;-1:-1:-1;;;;;12168:198:0;;;;;;;;;;;;13122:23;;8:9:-1;5:2;;;30:1;27;20:12;5:2;13122:23:0;;;;11716:95;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11716:95:0;;;;;;10277:326;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;10277:326:0;-1:-1:-1;;;;;10277:326:0;;;;;;;11095:26;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11095:26:0;;;;12759:214;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;12759:214:0;-1:-1:-1;;;;;12759:214:0;;;;;;;2962:101;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;2962:101:0;-1:-1:-1;;;;;2962:101:0;;;;;8668:114;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8668:114:0;;;;10723:144;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10723:144:0;;;;11536:93;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11536:93:0;;;;8050:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8050:20:0;;;;;;;;-1:-1:-1;;;;;8050:20:0;;;;;;;;;;;;;;13096:21;;8:9:-1;5:2;;;30:1;27;20:12;5:2;13096:21:0;;;;11999:163;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;11999:163:0;-1:-1:-1;;;;;11999:163:0;;;;;;;12549:204;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;12549:204:0;-1:-1:-1;;;;;12549:204:0;;;;;;;5945:162;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;5945:162:0;-1:-1:-1;;;;;5945:162:0;;;;;;;;;;8950:105;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;8950:105:0;-1:-1:-1;;;;;8950:105:0;;;;;9840:35;;;;;;;;;:::o;13072:19::-;;;;;;;;;;;;;;;-1:-1:-1;;13072:19:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;12372:171::-;11271:6;;12483:4;;-1:-1:-1;;;11271:6:0;;;;11270:7;11262:16;;;;;;12506:31;12520:8;12530:6;12506:13;:31::i;:::-;12499:38;12372:171;-1:-1:-1;;;12372:171:0:o;2178:85::-;2245:12;;2178:85;:::o;12168:198::-;11271:6;;12299:4;;-1:-1:-1;;;11271:6:0;;;;11270:7;11262:16;;;;;;12322:38;12341:5;12348:3;12353:6;12322:18;:38::i;:::-;12315:45;12168:198;-1:-1:-1;;;;12168:198:0:o;13122:23::-;;;;:::o;11716:95::-;8553:5;;-1:-1:-1;;;;;8553:5:0;8539:10;:19;8531:28;;;;;;11431:6;;-1:-1:-1;;;11431:6:0;;;;11423:15;;;;;;;;11770:6;:14;;-1:-1:-1;;11770:14:0;;;11796:9;;;;11779:5;;11796:9;11716:95::o;10277:326::-;10013:5;;10398:4;;-1:-1:-1;;;;;10013:5:0;9999:10;:19;9991:28;;;;;;9919:15;;;;;;;9918:16;9910:25;;;;;;10429:12;;:25;;10446:7;10429:25;:16;:25;:::i;:::-;10414:12;:40;-1:-1:-1;;;;;10477:13:0;;:8;:13;;;;;;;;;;;:26;;10495:7;10477:26;:17;:26;:::i;:::-;-1:-1:-1;;;;;10461:13:0;;:8;:13;;;;;;;;;;;;:42;;;;10515:18;;;;;;;10461:13;;10515:18;;;;;;;;;10545:34;;;;;;;;-1:-1:-1;;;;;10545:34:0;;;10562:1;;10545:34;;;;;;;;;-1:-1:-1;10593:4:0;10277:326;;;;:::o;11095:26::-;;;-1:-1:-1;;;11095:26:0;;;;;:::o;12759:214::-;11271:6;;12886:12;;-1:-1:-1;;;11271:6:0;;;;11270:7;11262:16;;;;;;12917:50;12940:8;12950:16;12917:22;:50::i;2962:101::-;-1:-1:-1;;;;;3041:16:0;3018:7;3041:16;;;;;;;;;;;;2962:101::o;8668:114::-;8553:5;;-1:-1:-1;;;;;8553:5:0;8539:10;:19;8531:28;;;;;;8745:5;;8726:25;;-1:-1:-1;;;;;8745:5:0;;;;8726:25;;8745:5;;8726:25;8758:5;:18;;-1:-1:-1;;8758:18:0;;;8668:114::o;10723:144::-;8553:5;;10782:4;;-1:-1:-1;;;;;8553:5:0;8539:10;:19;8531:28;;;;;;9919:15;;;;;;;9918:16;9910:25;;;;;;10795:15;:22;;-1:-1:-1;;10795:22:0;;;;;10829:14;;;;10795:22;;10829:14;-1:-1:-1;10857:4:0;10723:144;:::o;11536:93::-;8553:5;;-1:-1:-1;;;;;8553:5:0;8539:10;:19;8531:28;;;;;;11271:6;;-1:-1:-1;;;11271:6:0;;;;11270:7;11262:16;;;;;;11591:6;:13;;-1:-1:-1;;11591:13:0;-1:-1:-1;;;11591:13:0;;;11616:7;;;;11591:13;;11616:7;11536:93::o;8050:20::-;;;-1:-1:-1;;;;;8050:20:0;;:::o;13096:21::-;;;;;;;;;;;;;;;-1:-1:-1;;13096:21:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11999:163;11271:6;;12106:4;;-1:-1:-1;;;11271:6:0;;;;11270:7;11262:16;;;;;;12129:27;12144:3;12149:6;12129:14;:27::i;12549:204::-;11271:6;;12671:12;;-1:-1:-1;;;11271:6:0;;;;11270:7;11262:16;;;;;;12702:45;12725:8;12735:11;12702:22;:45::i;5945:162::-;-1:-1:-1;;;;;6076:15:0;;;6050:7;6076:15;;;:7;:15;;;;;;;;:25;;;;;;;;;;;;;5945:162::o;8950:105::-;8553:5;;-1:-1:-1;;;;;8553:5:0;8539:10;:19;8531:28;;;;;;9020:29;9039:9;9020:18;:29::i;:::-;8950:105;:::o;5426:192::-;5514:10;5493:4;5506:19;;;:7;:19;;;;;;;;-1:-1:-1;;;;;5506:29:0;;;;;;;;;;;:38;;;5556;;;;;;;5493:4;;5506:29;;5514:10;;5556:38;;;;;;;;-1:-1:-1;5608:4:0;5426:192;;;;:::o;4304:487::-;4416:4;-1:-1:-1;;;;;4440:17:0;;;;4432:26;;;;;;-1:-1:-1;;;;;4483:15:0;;:8;:15;;;;;;;;;;;4473:25;;;4465:34;;;;;;-1:-1:-1;;;;;4524:14:0;;;;;;:7;:14;;;;;;;;4539:10;4524:26;;;;;;;;4514:36;;;4506:45;;;;;;-1:-1:-1;;;;;4578:15:0;;:8;:15;;;;;;;;;;;:27;;4598:6;4578:27;:19;:27;:::i;:::-;-1:-1:-1;;;;;4560:15:0;;;:8;:15;;;;;;;;;;;:45;;;;4628:13;;;;;;;:25;;4646:6;4628:25;:17;:25;:::i;:::-;-1:-1:-1;;;;;4612:13:0;;;:8;:13;;;;;;;;;;;:41;;;;4689:14;;;;;:7;:14;;;;;4704:10;4689:26;;;;;;;:38;;4720:6;4689:38;:30;:38;:::i;:::-;-1:-1:-1;;;;;4660:14:0;;;;;;;:7;:14;;;;;;;;4675:10;4660:26;;;;;;;;:67;;;;4739:28;;;;;;;;;;;4660:14;;4739:28;;;;;;;;;;;-1:-1:-1;4781:4:0;4304:487;;;;;:::o;1719:127::-;1799:5;;;1818:6;;;;1811:14;;;;1719:127;;;;:::o;7354:440::-;7502:10;7462:4;7494:19;;;:7;:19;;;;;;;;-1:-1:-1;;;;;7494:29:0;;;;;;;;;;7534:27;;;7530:168;;;7580:10;7604:1;7572:19;;;:7;:19;;;;;;;;-1:-1:-1;;;;;7572:29:0;;;;;;;;;:33;7530:168;;;7660:30;:8;7673:16;7660:30;:12;:30;:::i;:::-;7636:10;7628:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;7628:29:0;;;;;;;;;:62;7530:168;7718:10;7740:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;7709:61:0;;7740:29;;;;;;;;;;;7709:61;;;;;;;;;7718:10;7709:61;;;;;;;;;;;-1:-1:-1;7784:4:0;;7354:440;-1:-1:-1;;;7354:440:0:o;2424:329::-;2487:4;-1:-1:-1;;;;;2508:17:0;;;;2500:26;;;;;;2560:10;2551:8;:20;;;;;;;;;;;2541:30;;;2533:39;;;;;;2613:10;2604:8;:20;;;;;;;;;;;:32;;2629:6;2604:32;:24;:32;:::i;:::-;2590:10;2581:8;:20;;;;;;;;;;;:55;;;;-1:-1:-1;;;;;2659:13:0;;;;;;:25;;2677:6;2659:25;:17;:25;:::i;:::-;-1:-1:-1;;;;;2643:13:0;;:8;:13;;;;;;;;;;;;:41;;;;2696:33;;;;;;;2643:13;;2705:10;;2696:33;;;;;;;;;;-1:-1:-1;2743:4:0;2424:329;;;;:::o;6576:304::-;6744:10;6679:4;6736:19;;;:7;:19;;;;;;;;-1:-1:-1;;;;;6736:29:0;;;;;;;;;;:46;;6770:11;6736:46;:33;:46;:::i;:::-;6703:10;6695:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;6695:29:0;;;;;;;;;;;;:88;;;6795:61;;;;;;6695:29;;6795:61;;;;;;;;;;;-1:-1:-1;6870:4:0;6576:304;;;;:::o;9196:175::-;-1:-1:-1;;;;;9267:23:0;;;;9259:32;;;;;;9324:5;;9303:38;;-1:-1:-1;;;;;9303:38:0;;;;9324:5;;9303:38;;9324:5;;9303:38;9348:5;:17;;-1:-1:-1;;9348:17:0;-1:-1:-1;;;;;9348:17:0;;;;;;;;;;9196:175::o;1539:113::-;1597:7;1620:6;;;;1613:14;;;;-1:-1:-1;1641:5:0;;;1539:113::o

bzzr://7de238822a130bfe3b591a1844806d07fb68509dd411c2d8152f4e951e285428