Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

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)    - function mod(uint256 a, uint256 b) interface IERC20    - function transfer(address to, uint256 ...    - function approve(address spender, uin ...    - function transferFrom(address from, a ...    - function totalSupply()    - function balanceOf(address who)    - function allowance(address owner, add ...  contract ERC20 is IERC20    - function totalSupply()    - function balanceOf(address owner)    - function allowance(address owner, add ...    - function transfer(address to, uint256 ...    - function approve(address spender, uin ...    - function transferFrom(address from, a ...    - function increaseAllowance(address sp ...    - function decreaseAllowance(address sp ...    - function _transfer(address from, addr ...    - function _mint(address account, uint2 ...    - function _burn(address account, uint2 ...    - function _approve(address owner, addr ...    - function _burnFrom(address account, u ...  contract ERC20Detailed is IERC20    - function name()    - function symbol()    - function decimals()  contract ERC20Burnable is ERC20    - function burn(uint256 value)    - function burnFrom(address from, uint2 ...  contract Petra is ERC20, ERC20Deta ... *

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-08-17
*/

pragma solidity ^0.5.2;
// produced by the Solididy File SCC(c) Danny Hwang 2018
// contact : [email protected]
// released under Apache 2.0 licence
library SafeMath {
  /**
    * @dev Multiplies two unsigned integers, reverts on overflow.
    */
  function mul(uint256 a, uint256 b) internal pure returns (uint256) {
    // Gas optimization: this is cheaper than requiring 'a' not being zero, but the
    // benefit is lost if 'b' is also tested.
    if (a == 0) {
      return 0;
    }
    uint256 c = a * b;
    require(c / a == b);
    return c;
  }

  /**
    * @dev Integer division of two unsigned integers truncating the quotient, reverts on division by zero.
    */
  function div(uint256 a, uint256 b) internal pure returns (uint256) {
    // Solidity only automatically asserts when dividing by 0
    require(b > 0);
    uint256 c = a / b;
    // assert(a == b * c + a % b); // There is no case in which this doesn't hold
    return c;
  }

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

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

  /**
    * @dev Divides two unsigned integers and returns the remainder (unsigned integer modulo),
    * reverts when dividing by zero.
    */
  function mod(uint256 a, uint256 b) internal pure returns (uint256) {
    require(b != 0);
    return a % b;
  }
}

interface IERC20 {
  function transfer(address to, uint256 value) external returns (bool);
  function approve(address spender, uint256 value) external returns (bool);
  function transferFrom(address from, address to, uint256 value) external returns (bool);
  function totalSupply() external view returns (uint256);
  function balanceOf(address who) external view returns (uint256);
  function allowance(address owner, address spender) external view returns (uint256);
  event Transfer(address indexed from, address indexed to, uint256 value);
  event Approval(address indexed owner, address indexed spender, uint256 value);
}

contract ERC20 is IERC20 {
  using SafeMath for uint256;
  mapping (address => uint256) private _balances;
  mapping (address => mapping (address => uint256)) private _allowed;
  uint256 private _totalSupply;

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

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

  /**
    * @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 Transfer token to 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) {
    _transfer(msg.sender, 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) {
    _approve(msg.sender, spender, value);
    return true;
  }

  /**
    * @dev Transfer tokens from one address to another.
    * Note that while this function emits an Approval event, this is not required as per the specification,
    * and other compliant implementations may not emit the event.
    * @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) {
    _transfer(from, to, value);
    _approve(from, msg.sender, _allowed[from][msg.sender].sub(value));
    return true;
  }

  /**
    * @dev Increase the amount of tokens that an owner allowed to a spender.
    * approve should be called when _allowed[msg.sender][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
    * Emits an Approval event.
    * @param spender The address which will spend the funds.
    * @param addedValue The amount of tokens to increase the allowance by.
    */
  function increaseAllowance(address spender, uint256 addedValue) public returns (bool) {
    _approve(msg.sender, spender, _allowed[msg.sender][spender].add(addedValue));
    return true;
  }

  /**
    * @dev Decrease the amount of tokens that an owner allowed to a spender.
    * approve should be called when _allowed[msg.sender][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
    * Emits an Approval event.
    * @param spender The address which will spend the funds.
    * @param subtractedValue The amount of tokens to decrease the allowance by.
    */
  function decreaseAllowance(address spender, uint256 subtractedValue) public returns (bool) {
    _approve(msg.sender, spender, _allowed[msg.sender][spender].sub(subtractedValue));
    return true;
  }

  /**
    * @dev Transfer token for a specified addresses.
    * @param from The address to transfer from.
    * @param to The address to transfer to.
    * @param value The amount to be transferred.
    */
  function _transfer(address from, address to, uint256 value) internal {
    require(to != address(0)); 
    _balances[from] = _balances[from].sub(value);
    _balances[to] = _balances[to].add(value);
    emit Transfer(from, to, value);
  }

  /**
    * @dev Internal function that mints an amount of the token and assigns it to
    * an account. This encapsulates the modification of balances such that the
    * proper events are emitted.
    * @param account The account that will receive the created tokens.
    * @param value The amount that will be created.
    */
  function _mint(address account, uint256 value) internal {
    require(account != address(0));
    _totalSupply = _totalSupply.add(value);
    _balances[account] = _balances[account].add(value);
    emit Transfer(address(0), account, value);
  }

  /**
    * @dev Internal function that burns an amount of the token of a given
    * account.
    * @param account The account whose tokens will be burnt.
    * @param value The amount that will be burnt.
    */
  function _burn(address account, uint256 value) internal {
    require(account != address(0));
    _totalSupply = _totalSupply.sub(value);
    _balances[account] = _balances[account].sub(value);
    emit Transfer(account, address(0), value);
  }

  /**
    * @dev Approve an address to spend another addresses' tokens.
    * @param owner The address that owns the tokens.
    * @param spender The address that will spend the tokens.
    * @param value The number of tokens that can be spent.
    */
  function _approve(address owner, address spender, uint256 value) internal {
    require(spender != address(0));
    require(owner != address(0));
    _allowed[owner][spender] = value;
    emit Approval(owner, spender, value);
  }

  /**
    * @dev Internal function that burns an amount of the token of a given
    * account, deducting from the sender's allowance for said account. Uses the
    * internal burn function.
    * Emits an Approval event (reflecting the reduced allowance).
    * @param account The account whose tokens will be burnt.
    * @param value The amount that will be burnt.
    */
  function _burnFrom(address account, uint256 value) internal {
    _burn(account, value);
    _approve(account, msg.sender, _allowed[account][msg.sender].sub(value));
  }
}

contract ERC20Detailed is IERC20 {
  string private _name;
  string private _symbol;
  uint8 private _decimals;
  constructor (string memory name, string memory symbol, uint8 decimals) public {
      _name = name;
      _symbol = symbol;
      _decimals = decimals;
  }

  /**
    * @return the name of the token.
    */
  function name() public view returns (string memory) {
    return _name;
  }

  /**
    * @return the symbol of the token.
    */
  function symbol() public view returns (string memory) {
    return _symbol;
  }

  /**
    * @return the number of decimals of the token.
    */
  function decimals() public view returns (uint8) {
    return _decimals;
  }
}

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

  /**
    * @dev Burns a specific amount of tokens from the target address and decrements allowance.
    * @param from address The account whose tokens will be burned.
    * @param value uint256 The amount of token to be burned.
    */
  function burnFrom(address from, uint256 value) public {
    _burnFrom(from, value);
  }
}

contract Petra is ERC20, ERC20Detailed, ERC20Burnable {
  uint8 public constant DECIMALS = 18;
  uint256 public constant INITIAL_SUPPLY = 7700000000 * (10 ** uint256(DECIMALS));

  /**
    * @dev Constructor that gives msg.sender all of existing tokens.
    */
  constructor () public ERC20Detailed("Petra", "PETA", DECIMALS) {
    _mint(msg.sender, INITIAL_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":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"INITIAL_SUPPLY","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"value","type":"uint256"}],"name":"burn","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"owner","type":"address"}],"name":"balanceOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"from","type":"address"},{"name":"value","type":"uint256"}],"name":"burnFrom","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"to","type":"address"},{"name":"value","type":"uint256"}],"name":"transfer","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"owner","type":"address"},{"name":"spender","type":"address"}],"name":"allowance","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"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"},{"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"}]

608060405234801561001057600080fd5b50604080518082018252600581527f506574726100000000000000000000000000000000000000000000000000000060208083019182528351808501909452600484527f504554410000000000000000000000000000000000000000000000000000000090840152815191929160129161008d91600391906101ae565b5081516100a19060049060208501906101ae565b506005805460ff191660ff92909216919091179055506100d89050336b18e14a6c682bdb6e940000006401000000006100dd810204565b610249565b600160a060020a03821615156100f257600080fd5b60025461010c908264010000000061075961019582021704565b600255600160a060020a03821660009081526020819052604090205461013f908264010000000061075961019582021704565b600160a060020a0383166000818152602081815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b6000828201838110156101a757600080fd5b9392505050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106101ef57805160ff191683800117855561021c565b8280016001018555821561021c579182015b8281111561021c578251825591602001919060010190610201565b5061022892915061022c565b5090565b61024691905b808211156102285760008155600101610232565b90565b61088c806102586000396000f3fe608060405234801561001057600080fd5b5060043610610112576000357c01000000000000000000000000000000000000000000000000000000009004806339509351116100b457806395d89b411161008357806395d89b41146102ef578063a457c2d7146102f7578063a9059cbb14610323578063dd62ed3e1461034f57610112565b8063395093511461025257806342966c681461027e57806370a082311461029d57806379cc6790146102c357610112565b806323b872dd116100f057806323b872dd146101ee5780632e0f2625146102245780632ff2e9dc14610242578063313ce5671461024a57610112565b806306fdde0314610117578063095ea7b31461019457806318160ddd146101d4575b600080fd5b61011f61037d565b6040805160208082528351818301528351919283929083019185019080838360005b83811015610159578181015183820152602001610141565b50505050905090810190601f1680156101865780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101c0600480360360408110156101aa57600080fd5b50600160a060020a038135169060200135610413565b604080519115158252519081900360200190f35b6101dc610429565b60408051918252519081900360200190f35b6101c06004803603606081101561020457600080fd5b50600160a060020a0381358116916020810135909116906040013561042f565b61022c610486565b6040805160ff9092168252519081900360200190f35b6101dc61048b565b61022c61049b565b6101c06004803603604081101561026857600080fd5b50600160a060020a0381351690602001356104a4565b61029b6004803603602081101561029457600080fd5b50356104e0565b005b6101dc600480360360208110156102b357600080fd5b5035600160a060020a03166104ed565b61029b600480360360408110156102d957600080fd5b50600160a060020a038135169060200135610508565b61011f610516565b6101c06004803603604081101561030d57600080fd5b50600160a060020a038135169060200135610577565b6101c06004803603604081101561033957600080fd5b50600160a060020a0381351690602001356105b3565b6101dc6004803603604081101561036557600080fd5b50600160a060020a03813581169160200135166105c0565b60038054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156104095780601f106103de57610100808354040283529160200191610409565b820191906000526020600020905b8154815290600101906020018083116103ec57829003601f168201915b5050505050905090565b60006104203384846105eb565b50600192915050565b60025490565b600061043c848484610677565b600160a060020a03841660009081526001602090815260408083203380855292529091205461047c918691610477908663ffffffff61074416565b6105eb565b5060019392505050565b601281565b6b18e14a6c682bdb6e9400000081565b60055460ff1690565b336000818152600160209081526040808320600160a060020a03871684529091528120549091610420918590610477908663ffffffff61075916565b6104ea3382610772565b50565b600160a060020a031660009081526020819052604090205490565b610512828261081b565b5050565b60048054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156104095780601f106103de57610100808354040283529160200191610409565b336000818152600160209081526040808320600160a060020a03871684529091528120549091610420918590610477908663ffffffff61074416565b6000610420338484610677565b600160a060020a03918216600090815260016020908152604080832093909416825291909152205490565b600160a060020a038216151561060057600080fd5b600160a060020a038316151561061557600080fd5b600160a060020a03808416600081815260016020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b600160a060020a038216151561068c57600080fd5b600160a060020a0383166000908152602081905260409020546106b5908263ffffffff61074416565b600160a060020a0380851660009081526020819052604080822093909355908416815220546106ea908263ffffffff61075916565b600160a060020a038084166000818152602081815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b60008282111561075357600080fd5b50900390565b60008282018381101561076b57600080fd5b9392505050565b600160a060020a038216151561078757600080fd5b60025461079a908263ffffffff61074416565b600255600160a060020a0382166000908152602081905260409020546107c6908263ffffffff61074416565b600160a060020a038316600081815260208181526040808320949094558351858152935191937fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929081900390910190a35050565b6108258282610772565b600160a060020a038216600090815260016020908152604080832033808552925290912054610512918491610477908563ffffffff6107441656fea165627a7a723058207f319a67bf83296c1af32afbcfb0d8924ea1ed9abcc8ac8b7d9ea0550ba1b7510029

0x608060405234801561001057600080fd5b5060043610610112576000357c01000000000000000000000000000000000000000000000000000000009004806339509351116100b457806395d89b411161008357806395d89b41146102ef578063a457c2d7146102f7578063a9059cbb14610323578063dd62ed3e1461034f57610112565b8063395093511461025257806342966c681461027e57806370a082311461029d57806379cc6790146102c357610112565b806323b872dd116100f057806323b872dd146101ee5780632e0f2625146102245780632ff2e9dc14610242578063313ce5671461024a57610112565b806306fdde0314610117578063095ea7b31461019457806318160ddd146101d4575b600080fd5b61011f61037d565b6040805160208082528351818301528351919283929083019185019080838360005b83811015610159578181015183820152602001610141565b50505050905090810190601f1680156101865780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101c0600480360360408110156101aa57600080fd5b50600160a060020a038135169060200135610413565b604080519115158252519081900360200190f35b6101dc610429565b60408051918252519081900360200190f35b6101c06004803603606081101561020457600080fd5b50600160a060020a0381358116916020810135909116906040013561042f565b61022c610486565b6040805160ff9092168252519081900360200190f35b6101dc61048b565b61022c61049b565b6101c06004803603604081101561026857600080fd5b50600160a060020a0381351690602001356104a4565b61029b6004803603602081101561029457600080fd5b50356104e0565b005b6101dc600480360360208110156102b357600080fd5b5035600160a060020a03166104ed565b61029b600480360360408110156102d957600080fd5b50600160a060020a038135169060200135610508565b61011f610516565b6101c06004803603604081101561030d57600080fd5b50600160a060020a038135169060200135610577565b6101c06004803603604081101561033957600080fd5b50600160a060020a0381351690602001356105b3565b6101dc6004803603604081101561036557600080fd5b50600160a060020a03813581169160200135166105c0565b60038054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156104095780601f106103de57610100808354040283529160200191610409565b820191906000526020600020905b8154815290600101906020018083116103ec57829003601f168201915b5050505050905090565b60006104203384846105eb565b50600192915050565b60025490565b600061043c848484610677565b600160a060020a03841660009081526001602090815260408083203380855292529091205461047c918691610477908663ffffffff61074416565b6105eb565b5060019392505050565b601281565b6b18e14a6c682bdb6e9400000081565b60055460ff1690565b336000818152600160209081526040808320600160a060020a03871684529091528120549091610420918590610477908663ffffffff61075916565b6104ea3382610772565b50565b600160a060020a031660009081526020819052604090205490565b610512828261081b565b5050565b60048054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156104095780601f106103de57610100808354040283529160200191610409565b336000818152600160209081526040808320600160a060020a03871684529091528120549091610420918590610477908663ffffffff61074416565b6000610420338484610677565b600160a060020a03918216600090815260016020908152604080832093909416825291909152205490565b600160a060020a038216151561060057600080fd5b600160a060020a038316151561061557600080fd5b600160a060020a03808416600081815260016020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b600160a060020a038216151561068c57600080fd5b600160a060020a0383166000908152602081905260409020546106b5908263ffffffff61074416565b600160a060020a0380851660009081526020819052604080822093909355908416815220546106ea908263ffffffff61075916565b600160a060020a038084166000818152602081815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b60008282111561075357600080fd5b50900390565b60008282018381101561076b57600080fd5b9392505050565b600160a060020a038216151561078757600080fd5b60025461079a908263ffffffff61074416565b600255600160a060020a0382166000908152602081905260409020546107c6908263ffffffff61074416565b600160a060020a038316600081815260208181526040808320949094558351858152935191937fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929081900390910190a35050565b6108258282610772565b600160a060020a038216600090815260016020908152604080832033808552925290912054610512918491610477908563ffffffff6107441656fea165627a7a723058207f319a67bf83296c1af32afbcfb0d8924ea1ed9abcc8ac8b7d9ea0550ba1b7510029

10559:382:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10559:382:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9614:77;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;9614:77:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4445:138;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;4445:138:0;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;2662:85;;;:::i;:::-;;;;;;;;;;;;;;;;5045:214;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;5045:214:0;;;;;;;;;;;;;;;;;:::i;10618:35::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;10658:79;;;:::i;9906:77::-;;;:::i;5772:193::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;5772:193:0;;;;;;;;:::i;10143:73::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;10143:73:0;;:::i;:::-;;2958:100;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;2958:100:0;-1:-1:-1;;;;;2958:100:0;;:::i;10463:89::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;10463:89:0;;;;;;;;:::i;9752:81::-;;;:::i;6483:203::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;6483:203:0;;;;;;;;:::i;3680:130::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;3680:130:0;;;;;;;;:::i;3388:125::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;3388:125:0;;;;;;;;;;:::i;9614:77::-;9680:5;9673:12;;;;;;;;-1:-1:-1;;9673:12:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9651:13;;9673:12;;9680:5;;9673:12;;9680:5;9673:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9614:77;:::o;4445:138::-;4510:4;4523:36;4532:10;4544:7;4553:5;4523:8;:36::i;:::-;-1:-1:-1;4573:4:0;4445:138;;;;:::o;2662:85::-;2729:12;;2662:85;:::o;5045:214::-;5124:4;5137:26;5147:4;5153:2;5157:5;5137:9;:26::i;:::-;-1:-1:-1;;;;;5197:14:0;;;;;;:8;:14;;;;;;;;5185:10;5197:26;;;;;;;;;5170:65;;5179:4;;5197:37;;5228:5;5197:37;:30;:37;:::i;:::-;5170:8;:65::i;:::-;-1:-1:-1;5249:4:0;5045:214;;;;;:::o;10618:35::-;10651:2;10618:35;:::o;10658:79::-;10699:38;10658:79;:::o;9906:77::-;9968:9;;;;9906:77;:::o;5772:193::-;5874:10;5852:4;5895:20;;;:8;:20;;;;;;;;-1:-1:-1;;;;;5895:29:0;;;;;;;;;;5852:4;;5865:76;;5886:7;;5895:45;;5929:10;5895:45;:33;:45;:::i;10143:73::-;10186:24;10192:10;10204:5;10186;:24::i;:::-;10143:73;:::o;2958:100::-;-1:-1:-1;;;;;3036:16:0;3013:7;3036:16;;;;;;;;;;;;2958:100::o;10463:89::-;10524:22;10534:4;10540:5;10524:9;:22::i;:::-;10463:89;;:::o;9752:81::-;9820:7;9813:14;;;;;;;;-1:-1:-1;;9813:14:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9791:13;;9813:14;;9820:7;;9813:14;;9820:7;9813:14;;;;;;;;;;;;;;;;;;;;;;;;6483:203;6590:10;6568:4;6611:20;;;:8;:20;;;;;;;;-1:-1:-1;;;;;6611:29:0;;;;;;;;;;6568:4;;6581:81;;6602:7;;6611:50;;6645:15;6611:50;:33;:50;:::i;3680:130::-;3741:4;3754:32;3764:10;3776:2;3780:5;3754:9;:32::i;3388:125::-;-1:-1:-1;;;;;3483:15:0;;;3460:7;3483:15;;;:8;:15;;;;;;;;:24;;;;;;;;;;;;;3388:125::o;8477:234::-;-1:-1:-1;;;;;8566:21:0;;;;8558:30;;;;;;-1:-1:-1;;;;;8603:19:0;;;;8595:28;;;;;;-1:-1:-1;;;;;8630:15:0;;;;;;;:8;:15;;;;;;;;:24;;;;;;;;;;;;;:32;;;8674:31;;;;;;;;;;;;;;;;;8477:234;;;:::o;6905:243::-;-1:-1:-1;;;;;6989:16:0;;;;6981:25;;;;;;-1:-1:-1;;;;;7032:15:0;;:9;:15;;;;;;;;;;;:26;;7052:5;7032:26;:19;:26;:::i;:::-;-1:-1:-1;;;;;7014:15:0;;;:9;:15;;;;;;;;;;;:44;;;;7081:13;;;;;;;:24;;7099:5;7081:24;:17;:24;:::i;:::-;-1:-1:-1;;;;;7065:13:0;;;:9;:13;;;;;;;;;;;;:40;;;;7117:25;;;;;;;7065:13;;7117:25;;;;;;;;;;;;;6905:243;;;:::o;1117:134::-;1175:7;1199:6;;;;1191:15;;;;;;-1:-1:-1;1225:5:0;;;1117:134::o;1333:::-;1391:7;1419:5;;;1439:6;;;;1431:15;;;;;;1460:1;1333:134;-1:-1:-1;;;1333:134:0:o;7964:249::-;-1:-1:-1;;;;;8035:21:0;;;;8027:30;;;;;;8079:12;;:23;;8096:5;8079:23;:16;:23;:::i;:::-;8064:12;:38;-1:-1:-1;;;;;8130:18:0;;:9;:18;;;;;;;;;;;:29;;8153:5;8130:29;:22;:29;:::i;:::-;-1:-1:-1;;;;;8109:18:0;;:9;:18;;;;;;;;;;;:50;;;;8171:36;;;;;;;8109:9;;8171:36;;;;;;;;;;;7964:249;;:::o;9099:172::-;9166:21;9172:7;9181:5;9166;:21::i;:::-;-1:-1:-1;;;;;9224:17:0;;;;;;:8;:17;;;;;;;;9212:10;9224:29;;;;;;;;;9194:71;;9203:7;;9224:40;;9258:5;9224:40;:33;:40;:::i

bzzr://7f319a67bf83296c1af32afbcfb0d8924ea1ed9abcc8ac8b7d9ea0550ba1b751