Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•  contract ERC20Basic
•    - function balanceOf(address who)
•    - function transfer(address to, uint256 ...
•  contract ERC20 is ERC20Basic
•    - function allowance(address owner, add ...
•    - function transferFrom(address from, a ...
•    - function approve(address spender, uin ...
• 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 StandardToken is ERC20, B ...
•    - function transferFrom(address _from, ...
•    - function approve(address _spender, ui ...
•    - function allowance(address _owner, ad ...
•    - function increaseApproval(address _sp ...
•    - function decreaseApproval(address _sp ...
•  contract Ownable
•    - function Ownable()
•    - function transferOwnership(address ne ...
•  contract DFS is StandardToken,Owna ... *
•    - function DFS()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

/**
 *Submitted for verification at Etherscan.io on 2018-07-09
*/

pragma solidity ^ 0.4.24;


/**
 * @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 view returns (uint256);
  function transfer(address to, uint256 value) public returns (bool);
  event Transfer(address indexed from, address indexed to, uint256 value);
}
/**
 * @title ERC20 interface
 * @dev see https://github.com/ethereum/EIPs/issues/20
 */
contract ERC20 is ERC20Basic {
  function allowance(address owner, address spender) public view returns (uint256);
  function transferFrom(address from, address to, uint256 value) public returns (bool);
  function approve(address spender, uint256 value) public returns (bool);
  event Approval(address indexed owner, address indexed spender, uint256 value);
}


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

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

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

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

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

  mapping(address => uint256) balances;

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

    // 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 view returns (uint256 balance) {
    return balances[_owner];
  }

}


/**
 * @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);
    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 view returns (uint256) {
    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) public returns (bool) {
    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) 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);
    }
    Approval(msg.sender, _spender, allowed[msg.sender][_spender]);
    return true;
  }

}


/**
 * @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() public {
    owner = msg.sender;
  }


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


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

}


contract DFS is StandardToken,Ownable{

	//the base info of the token
	string public constant name="DEFI Shares";
	string public constant symbol="DFS";
	string public constant version = "1.0";
	uint256 public constant decimals = 18;

	uint256 public constant MAX_SUPPLY=200000000*10**decimals;
	
	function DFS(){
		totalSupply = MAX_SUPPLY ;
		balances[msg.sender] = MAX_SUPPLY;
		Transfer(0x0, msg.sender, MAX_SUPPLY);
	}
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_value","type":"uint256"}],"name":"approve","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_from","type":"address"},{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transferFrom","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"MAX_SUPPLY","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"version","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_subtractedValue","type":"uint256"}],"name":"decreaseApproval","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"}],"name":"balanceOf","outputs":[{"name":"balance","type":"uint256"}],"payable":false,"stateMutability":"view","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":"","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":[{"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"}]

608060405234801561001057600080fd5b5060038054600160a060020a031916339081179091556aa56fa5b99019a5c8000000600081815582815260016020908152604080832084905580519384525191927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929081900390910190a36109968061008b6000396000f3006080604052600436106100da5763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100df578063095ea7b31461016957806318160ddd146101a157806323b872dd146101c8578063313ce567146101f257806332cb6b0c1461020757806354fd4d501461021c578063661884631461023157806370a08231146102555780638da5cb5b1461027657806395d89b41146102a7578063a9059cbb146102bc578063d73dd623146102e0578063dd62ed3e14610304578063f2fde38b1461032b575b600080fd5b3480156100eb57600080fd5b506100f461034e565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561012e578181015183820152602001610116565b50505050905090810190601f16801561015b5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561017557600080fd5b5061018d600160a060020a0360043516602435610385565b604080519115158252519081900360200190f35b3480156101ad57600080fd5b506101b66103eb565b60408051918252519081900360200190f35b3480156101d457600080fd5b5061018d600160a060020a03600435811690602435166044356103f1565b3480156101fe57600080fd5b506101b661056a565b34801561021357600080fd5b506101b661056f565b34801561022857600080fd5b506100f461057e565b34801561023d57600080fd5b5061018d600160a060020a03600435166024356105b5565b34801561026157600080fd5b506101b6600160a060020a03600435166106a5565b34801561028257600080fd5b5061028b6106c0565b60408051600160a060020a039092168252519081900360200190f35b3480156102b357600080fd5b506100f46106cf565b3480156102c857600080fd5b5061018d600160a060020a0360043516602435610706565b3480156102ec57600080fd5b5061018d600160a060020a03600435166024356107e9565b34801561031057600080fd5b506101b6600160a060020a0360043581169060243516610882565b34801561033757600080fd5b5061034c600160a060020a03600435166108ad565b005b60408051808201909152600b81527f4445464920536861726573000000000000000000000000000000000000000000602082015281565b336000818152600260209081526040808320600160a060020a038716808552908352818420869055815186815291519394909390927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925928290030190a350600192915050565b60005481565b6000600160a060020a038316151561040857600080fd5b600160a060020a03841660009081526001602052604090205482111561042d57600080fd5b600160a060020a038416600090815260026020908152604080832033845290915290205482111561045d57600080fd5b600160a060020a038416600090815260016020526040902054610486908363ffffffff61094216565b600160a060020a0380861660009081526001602052604080822093909355908516815220546104bb908363ffffffff61095416565b600160a060020a0380851660009081526001602090815260408083209490945591871681526002825282812033825290915220546104ff908363ffffffff61094216565b600160a060020a03808616600081815260026020908152604080832033845282529182902094909455805186815290519287169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a35060019392505050565b601281565b6aa56fa5b99019a5c800000081565b60408051808201909152600381527f312e300000000000000000000000000000000000000000000000000000000000602082015281565b336000908152600260209081526040808320600160a060020a03861684529091528120548083111561060a57336000908152600260209081526040808320600160a060020a038816845290915281205561063f565b61061a818463ffffffff61094216565b336000908152600260209081526040808320600160a060020a03891684529091529020555b336000818152600260209081526040808320600160a060020a0389168085529083529281902054815190815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a35060019392505050565b600160a060020a031660009081526001602052604090205490565b600354600160a060020a031681565b60408051808201909152600381527f4446530000000000000000000000000000000000000000000000000000000000602082015281565b6000600160a060020a038316151561071d57600080fd5b3360009081526001602052604090205482111561073957600080fd5b33600090815260016020526040902054610759908363ffffffff61094216565b3360009081526001602052604080822092909255600160a060020a0385168152205461078b908363ffffffff61095416565b600160a060020a0384166000818152600160209081526040918290209390935580518581529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a350600192915050565b336000908152600260209081526040808320600160a060020a038616845290915281205461081d908363ffffffff61095416565b336000818152600260209081526040808320600160a060020a0389168085529083529281902085905580519485525191937f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929081900390910190a350600192915050565b600160a060020a03918216600090815260026020908152604080832093909416825291909152205490565b600354600160a060020a031633146108c457600080fd5b600160a060020a03811615156108d957600080fd5b600354604051600160a060020a038084169216907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a36003805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0392909216919091179055565b60008282111561094e57fe5b50900390565b60008282018381101561096357fe5b93925050505600a165627a7a72305820bb32759b4d7a5680db03b51e499abb7f2db13ff43861eddcf34441dbc337570a0029

0x6080604052600436106100da5763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100df578063095ea7b31461016957806318160ddd146101a157806323b872dd146101c8578063313ce567146101f257806332cb6b0c1461020757806354fd4d501461021c578063661884631461023157806370a08231146102555780638da5cb5b1461027657806395d89b41146102a7578063a9059cbb146102bc578063d73dd623146102e0578063dd62ed3e14610304578063f2fde38b1461032b575b600080fd5b3480156100eb57600080fd5b506100f461034e565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561012e578181015183820152602001610116565b50505050905090810190601f16801561015b5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561017557600080fd5b5061018d600160a060020a0360043516602435610385565b604080519115158252519081900360200190f35b3480156101ad57600080fd5b506101b66103eb565b60408051918252519081900360200190f35b3480156101d457600080fd5b5061018d600160a060020a03600435811690602435166044356103f1565b3480156101fe57600080fd5b506101b661056a565b34801561021357600080fd5b506101b661056f565b34801561022857600080fd5b506100f461057e565b34801561023d57600080fd5b5061018d600160a060020a03600435166024356105b5565b34801561026157600080fd5b506101b6600160a060020a03600435166106a5565b34801561028257600080fd5b5061028b6106c0565b60408051600160a060020a039092168252519081900360200190f35b3480156102b357600080fd5b506100f46106cf565b3480156102c857600080fd5b5061018d600160a060020a0360043516602435610706565b3480156102ec57600080fd5b5061018d600160a060020a03600435166024356107e9565b34801561031057600080fd5b506101b6600160a060020a0360043581169060243516610882565b34801561033757600080fd5b5061034c600160a060020a03600435166108ad565b005b60408051808201909152600b81527f4445464920536861726573000000000000000000000000000000000000000000602082015281565b336000818152600260209081526040808320600160a060020a038716808552908352818420869055815186815291519394909390927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925928290030190a350600192915050565b60005481565b6000600160a060020a038316151561040857600080fd5b600160a060020a03841660009081526001602052604090205482111561042d57600080fd5b600160a060020a038416600090815260026020908152604080832033845290915290205482111561045d57600080fd5b600160a060020a038416600090815260016020526040902054610486908363ffffffff61094216565b600160a060020a0380861660009081526001602052604080822093909355908516815220546104bb908363ffffffff61095416565b600160a060020a0380851660009081526001602090815260408083209490945591871681526002825282812033825290915220546104ff908363ffffffff61094216565b600160a060020a03808616600081815260026020908152604080832033845282529182902094909455805186815290519287169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a35060019392505050565b601281565b6aa56fa5b99019a5c800000081565b60408051808201909152600381527f312e300000000000000000000000000000000000000000000000000000000000602082015281565b336000908152600260209081526040808320600160a060020a03861684529091528120548083111561060a57336000908152600260209081526040808320600160a060020a038816845290915281205561063f565b61061a818463ffffffff61094216565b336000908152600260209081526040808320600160a060020a03891684529091529020555b336000818152600260209081526040808320600160a060020a0389168085529083529281902054815190815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a35060019392505050565b600160a060020a031660009081526001602052604090205490565b600354600160a060020a031681565b60408051808201909152600381527f4446530000000000000000000000000000000000000000000000000000000000602082015281565b6000600160a060020a038316151561071d57600080fd5b3360009081526001602052604090205482111561073957600080fd5b33600090815260016020526040902054610759908363ffffffff61094216565b3360009081526001602052604080822092909255600160a060020a0385168152205461078b908363ffffffff61095416565b600160a060020a0384166000818152600160209081526040918290209390935580518581529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a350600192915050565b336000908152600260209081526040808320600160a060020a038616845290915281205461081d908363ffffffff61095416565b336000818152600260209081526040808320600160a060020a0389168085529083529281902085905580519485525191937f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929081900390910190a350600192915050565b600160a060020a03918216600090815260026020908152604080832093909416825291909152205490565b600354600160a060020a031633146108c457600080fd5b600160a060020a03811615156108d957600080fd5b600354604051600160a060020a038084169216907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a36003805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0392909216919091179055565b60008282111561094e57fe5b50900390565b60008282018381101561096357fe5b93925050505600a165627a7a72305820bb32759b4d7a5680db03b51e499abb7f2db13ff43861eddcf34441dbc337570a0029

7247:439:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7321:41;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7321:41: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;7321:41:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4647:187;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;4647:187:0;-1:-1:-1;;;;;4647:187:0;;;;;;;;;;;;;;;;;;;;;;;;;260:26;;8:9:-1;5:2;;;30:1;27;20:12;5:2;260:26:0;;;;;;;;;;;;;;;;;;;;3563:449;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;3563:449:0;-1:-1:-1;;;;;3563:449:0;;;;;;;;;;;;7447:37;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7447:37:0;;;;7490:57;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7490:57:0;;;;7405:38;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7405:38:0;;;;5804:407;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;5804:407:0;-1:-1:-1;;;;;5804:407:0;;;;;;;2766:109;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;2766:109:0;-1:-1:-1;;;;;2766:109:0;;;;;6439:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6439:20:0;;;;;;;;-1:-1:-1;;;;;6439:20:0;;;;;;;;;;;;;;7366:35;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7366:35:0;;;;2169:388;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;2169:388:0;-1:-1:-1;;;;;2169:388:0;;;;;;;5537:261;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;5537:261:0;-1:-1:-1;;;;;5537:261:0;;;;;;;5161:128;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;5161:128:0;-1:-1:-1;;;;;5161:128:0;;;;;;;;;;7063:173;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;7063:173:0;-1:-1:-1;;;;;7063:173:0;;;;;;;7321:41;;;;;;;;;;;;;;;;;;;:::o;4647:187::-;4735:10;4714:4;4727:19;;;:7;:19;;;;;;;;-1:-1:-1;;;;;4727:29:0;;;;;;;;;;;:38;;;4772;;;;;;;4714:4;;4727:29;;4735:10;;4772:38;;;;;;;;-1:-1:-1;4824:4:0;4647:187;;;;:::o;260:26::-;;;;:::o;3563:449::-;3645:4;-1:-1:-1;;;;;3666:17:0;;;;3658:26;;;;;;-1:-1:-1;;;;;3709:15:0;;;;;;:8;:15;;;;;;3699:25;;;3691:34;;;;;;-1:-1:-1;;;;;3750:14:0;;;;;;:7;:14;;;;;;;;3765:10;3750:26;;;;;;;;3740:36;;;3732:45;;;;;;-1:-1:-1;;;;;3804:15:0;;;;;;:8;:15;;;;;;:27;;3824:6;3804:27;:19;:27;:::i;:::-;-1:-1:-1;;;;;3786:15:0;;;;;;;:8;:15;;;;;;:45;;;;3854:13;;;;;;;:25;;3872:6;3854:25;:17;:25;:::i;:::-;-1:-1:-1;;;;;3838:13:0;;;;;;;:8;:13;;;;;;;;:41;;;;3915:14;;;;;:7;:14;;;;;3930:10;3915:26;;;;;;;:38;;3946:6;3915:38;:30;:38;:::i;:::-;-1:-1:-1;;;;;3886:14:0;;;;;;;:7;:14;;;;;;;;3901:10;3886:26;;;;;;;;:67;;;;3960:28;;;;;;;;;;;3886:14;;3960:28;;;;;;;;;;;-1:-1:-1;4002:4:0;3563:449;;;;;:::o;7447:37::-;7482:2;7447:37;:::o;7490:57::-;7525:22;7490:57;:::o;7405:38::-;;;;;;;;;;;;;;;;;;;:::o;5804:407::-;5924:10;5887:4;5916:19;;;:7;:19;;;;;;;;-1:-1:-1;;;;;5916:29:0;;;;;;;;;;5956:27;;;5952:168;;;6002:10;6026:1;5994:19;;;:7;:19;;;;;;;;-1:-1:-1;;;;;5994:29:0;;;;;;;;;:33;5952:168;;;6082:30;:8;6095:16;6082:30;:12;:30;:::i;:::-;6058:10;6050:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;6050:29:0;;;;;;;;;:62;5952:168;6135:10;6157:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;6126:61:0;;6157:29;;;;;;;;;;;6126:61;;;;;;;;;6135:10;6126:61;;;;;;;;;;;-1:-1:-1;6201:4:0;;5804:407;-1:-1:-1;;;5804:407:0:o;2766:109::-;-1:-1:-1;;;;;2853:16:0;2822:15;2853:16;;;:8;:16;;;;;;;2766:109::o;6439:20::-;;;-1:-1:-1;;;;;6439:20:0;;:::o;7366:35::-;;;;;;;;;;;;;;;;;;;:::o;2169:388::-;2232:4;-1:-1:-1;;;;;2253:17:0;;;;2245:26;;;;;;2305:10;2296:20;;;;:8;:20;;;;;;2286:30;;;2278:39;;;;;;2422:10;2413:20;;;;:8;:20;;;;;;:32;;2438:6;2413:32;:24;:32;:::i;:::-;2399:10;2390:20;;;;:8;:20;;;;;;:55;;;;-1:-1:-1;;;;;2468:13:0;;;;;;:25;;2486:6;2468:25;:17;:25;:::i;:::-;-1:-1:-1;;;;;2452:13:0;;;;;;:8;:13;;;;;;;;;:41;;;;2500:33;;;;;;;2452:13;;2509:10;;2500:33;;;;;;;;;;-1:-1:-1;2547:4:0;2169:388;;;;:::o;5537:261::-;5668:10;5615:4;5660:19;;;:7;:19;;;;;;;;-1:-1:-1;;;;;5660:29:0;;;;;;;;;;:46;;5694:11;5660:46;:33;:46;:::i;:::-;5636:10;5628:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;5628:29:0;;;;;;;;;;;;:78;;;5713:61;;;;;;5628:29;;5713:61;;;;;;;;;;;-1:-1:-1;5788:4:0;5537:261;;;;:::o;5161:128::-;-1:-1:-1;;;;;5258:15:0;;;5235:7;5258:15;;;:7;:15;;;;;;;;:25;;;;;;;;;;;;;5161:128::o;7063:173::-;6874:5;;-1:-1:-1;;;;;6874:5:0;6860:10;:19;6852:28;;;;;;-1:-1:-1;;;;;7140:22:0;;;;7132:31;;;;;;7191:5;;7170:37;;-1:-1:-1;;;;;7170:37:0;;;;7191:5;;7170:37;;7191:5;;7170:37;7214:5;:16;;-1:-1:-1;;7214:16:0;-1:-1:-1;;;;;7214:16:0;;;;;;;;;;7063:173::o;1546:113::-;1604:7;1627:6;;;;1620:14;;;;-1:-1:-1;1648:5:0;;;1546:113::o;1665:133::-;1723:7;1751:5;;;1770:6;;;;1763:14;;;;1791:1;1665:133;-1:-1:-1;;;1665:133:0:o

bzzr://bb32759b4d7a5680db03b51e499abb7f2db13ff43861eddcf34441dbc337570a