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-04-28
*/

pragma solidity ^0.5.0;

/*
*  statera.sol
*  STA V2 deflationary index token smart contract
*  2020-04-28
**/

interface IERC20 {
  function totalSupply() external view returns (uint256);
  function balanceOf(address who) external view returns (uint256);
  function allowance(address owner, address spender) external view returns (uint256);
  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);

  event Transfer(address indexed from, address indexed to, uint256 value);
  event Approval(address indexed owner, address indexed spender, uint256 value);
}

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) {
    uint256 c = a / b;
    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;
  }

  function ceil(uint256 a, uint256 m) internal pure returns (uint256) {
    uint256 c = add(a,m);
    uint256 d = sub(c,1);
    return mul(div(d,m),m);
  }
}

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;
  }

  function name() public view returns(string memory) {
    return _name;
  }

  function symbol() public view returns(string memory) {
    return _symbol;
  }

  function decimals() public view returns(uint8) {
    return _decimals;
  }
}

contract Statera is ERC20Detailed {

  using SafeMath for uint256;
  mapping (address => uint256) private _balances;
  mapping (address => mapping (address => uint256)) private _allowed;

  string constant tokenName = "Statera";
  string constant tokenSymbol = "STA";
  uint8  constant tokenDecimals = 18;
  uint256 _totalSupply = 101000000000000000000000000;
  uint256 public basePercent = 100;

  constructor() public payable ERC20Detailed(tokenName, tokenSymbol, tokenDecimals) {
    _issue(msg.sender, _totalSupply);
  }

  function totalSupply() public view returns (uint256) {
    return _totalSupply;
  }

  function balanceOf(address owner) public view returns (uint256) {
    return _balances[owner];
  }

  function allowance(address owner, address spender) public view returns (uint256) {
    return _allowed[owner][spender];
  }

  function cut(uint256 value) public view returns (uint256)  {
    uint256 roundValue = value.ceil(basePercent);
    uint256 cutValue = roundValue.mul(basePercent).div(10000);
    return cutValue;
  }

  function transfer(address to, uint256 value) public returns (bool) {
    require(value <= _balances[msg.sender]);
    require(to != address(0));

    uint256 tokensToBurn = cut(value);
    uint256 tokensToTransfer = value.sub(tokensToBurn);

    _balances[msg.sender] = _balances[msg.sender].sub(value);
    _balances[to] = _balances[to].add(tokensToTransfer);

    _totalSupply = _totalSupply.sub(tokensToBurn);

    emit Transfer(msg.sender, to, tokensToTransfer);
    emit Transfer(msg.sender, address(0), tokensToBurn);
    return true;
  }


  function approve(address spender, uint256 value) public returns (bool) {
    require(spender != address(0));
    _allowed[msg.sender][spender] = value;
    emit Approval(msg.sender, spender, value);
    return true;
  }

  function transferFrom(address from, address to, uint256 value) public returns (bool) {
    require(value <= _balances[from]);
    require(value <= _allowed[from][msg.sender]);
    require(to != address(0));

    _balances[from] = _balances[from].sub(value);

    uint256 tokensToBurn = cut(value);
    uint256 tokensToTransfer = value.sub(tokensToBurn);

    _balances[to] = _balances[to].add(tokensToTransfer);
    _totalSupply = _totalSupply.sub(tokensToBurn);

    _allowed[from][msg.sender] = _allowed[from][msg.sender].sub(value);

    emit Transfer(from, to, tokensToTransfer);
    emit Transfer(from, address(0), tokensToBurn);

    return true;
  }

  function upAllowance(address spender, uint256 addedValue) public returns (bool) {
    require(spender != address(0));
    _allowed[msg.sender][spender] = (_allowed[msg.sender][spender].add(addedValue));
    emit Approval(msg.sender, spender, _allowed[msg.sender][spender]);
    return true;
  }

  function downAllowance(address spender, uint256 subtractedValue) public returns (bool) {
    require(spender != address(0));
    _allowed[msg.sender][spender] = (_allowed[msg.sender][spender].sub(subtractedValue));
    emit Approval(msg.sender, spender, _allowed[msg.sender][spender]);
    return true;
  }

  function _issue(address account, uint256 amount) internal {
    require(amount != 0);
    _balances[account] = _balances[account].add(amount);
    emit Transfer(address(0), account, amount);
  }

  function destroy(uint256 amount) external {
    _destroy(msg.sender, amount);
  }

  function _destroy(address account, uint256 amount) internal {
    require(amount != 0);
    require(amount <= _balances[account]);
    _totalSupply = _totalSupply.sub(amount);
    _balances[account] = _balances[account].sub(amount);
    emit Transfer(account, address(0), amount);
  }

  function destroyFrom(address account, uint256 amount) external {
    require(amount <= _allowed[account][msg.sender]);
    _allowed[account][msg.sender] = _allowed[account][msg.sender].sub(amount);
    _destroy(account, amount);
  }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"payable":true,"stateMutability":"payable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"constant":true,"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"owner","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"basePercent","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"uint256","name":"value","type":"uint256"}],"name":"cut","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"destroy","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"destroyFrom","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"downAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"upAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"}]

6a538b94f896d9c085000000600555606460065560076080818152665374617465726160c81b60a0908152610100604052600360c09081526253544160e81b60e052919260129162000055916000919062000144565b5081516200006b90600190602085019062000144565b506002805460ff191660ff9290921691909117905550506005546200009290339062000098565b620001e9565b80620000a357600080fd5b6001600160a01b038216600090815260036020908152604090912054620000d591839062000ac86200012d821b17901c565b6001600160a01b03831660008181526003602090815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b6000828201838110156200013d57fe5b9392505050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106200018757805160ff1916838001178555620001b7565b82800160010185558215620001b7579182015b82811115620001b75782518255916020019190600101906200019a565b50620001c5929150620001c9565b5090565b620001e691905b80821115620001c55760008155600101620001d0565b90565b610bdf80620001f96000396000f3fe608060405234801561001057600080fd5b50600436106100f55760003560e01c806370a0823111610097578063c5ac0ded11610066578063c5ac0ded146102e7578063dd62ed3e146102ef578063df401a961461031d578063e5981a4214610349576100f5565b806370a082311461027057806395d89b41146102965780639d1187701461029e578063a9059cbb146102bb576100f5565b806318160ddd116100d357806318160ddd146101e657806323b872dd146101ee578063313ce5671461022457806333393efa14610242576100f5565b806306fdde03146100fa57806309260db714610177578063095ea7b3146101a6575b600080fd5b610102610375565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561013c578181015183820152602001610124565b50505050905090810190601f1680156101695780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101946004803603602081101561018d57600080fd5b503561040b565b60408051918252519081900360200190f35b6101d2600480360360408110156101bc57600080fd5b506001600160a01b038135169060200135610456565b604080519115158252519081900360200190f35b6101946104d3565b6101d26004803603606081101561020457600080fd5b506001600160a01b038135811691602081013590911690604001356104d9565b61022c6106bc565b6040805160ff9092168252519081900360200190f35b61026e6004803603604081101561025857600080fd5b506001600160a01b0381351690602001356106c5565b005b6101946004803603602081101561028657600080fd5b50356001600160a01b031661075b565b610102610776565b61026e600480360360208110156102b457600080fd5b50356107d6565b6101d2600480360360408110156102d157600080fd5b506001600160a01b0381351690602001356107e3565b610194610914565b6101946004803603604081101561030557600080fd5b506001600160a01b038135811691602001351661091a565b6101d26004803603604081101561033357600080fd5b506001600160a01b038135169060200135610945565b6101d26004803603604081101561035f57600080fd5b506001600160a01b0381351690602001356109f3565b60008054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156104015780601f106103d657610100808354040283529160200191610401565b820191906000526020600020905b8154815290600101906020018083116103e457829003601f168201915b5050505050905090565b60008061042360065484610a3c90919063ffffffff16565b9050600061044e61271061044260065485610a7690919063ffffffff16565b9063ffffffff610aa116565b949350505050565b60006001600160a01b03831661046b57600080fd5b3360008181526004602090815260408083206001600160a01b03881680855290835292819020869055805186815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a35060015b92915050565b60055490565b6001600160a01b0383166000908152600360205260408120548211156104fe57600080fd5b6001600160a01b038416600090815260046020908152604080832033845290915290205482111561052e57600080fd5b6001600160a01b03831661054157600080fd5b6001600160a01b03841660009081526003602052604090205461056a908363ffffffff610ab616565b6001600160a01b03851660009081526003602052604081209190915561058f8361040b565b905060006105a3848363ffffffff610ab616565b6001600160a01b0386166000908152600360205260409020549091506105cf908263ffffffff610ac816565b6001600160a01b0386166000908152600360205260409020556005546105fb908363ffffffff610ab616565b6005556001600160a01b0386166000908152600460209081526040808320338452909152902054610632908563ffffffff610ab616565b6001600160a01b0380881660008181526004602090815260408083203384528252918290209490945580518581529051928916939192600080516020610b8b833981519152929181900390910190a36040805183815290516000916001600160a01b03891691600080516020610b8b8339815191529181900360200190a350600195945050505050565b60025460ff1690565b6001600160a01b03821660009081526004602090815260408083203384529091529020548111156106f557600080fd5b6001600160a01b0382166000908152600460209081526040808320338452909152902054610729908263ffffffff610ab616565b6001600160a01b03831660009081526004602090815260408083203384529091529020556107578282610ad7565b5050565b6001600160a01b031660009081526003602052604090205490565b60018054604080516020601f600260001961010087891615020190951694909404938401819004810282018101909252828152606093909290918301828280156104015780601f106103d657610100808354040283529160200191610401565b6107e03382610ad7565b50565b336000908152600360205260408120548211156107ff57600080fd5b6001600160a01b03831661081257600080fd5b600061081d8361040b565b90506000610831848363ffffffff610ab616565b33600090815260036020526040902054909150610854908563ffffffff610ab616565b33600090815260036020526040808220929092556001600160a01b03871681522054610886908263ffffffff610ac816565b6001600160a01b0386166000908152600360205260409020556005546108b2908363ffffffff610ab616565b6005556040805182815290516001600160a01b038716913391600080516020610b8b8339815191529181900360200190a36040805183815290516000913391600080516020610b8b8339815191529181900360200190a3506001949350505050565b60065481565b6001600160a01b03918216600090815260046020908152604080832093909416825291909152205490565b60006001600160a01b03831661095a57600080fd5b3360009081526004602090815260408083206001600160a01b038716845290915290205461098e908363ffffffff610ab616565b3360008181526004602090815260408083206001600160a01b0389168085529083529281902085905580519485525191937f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929081900390910190a350600192915050565b60006001600160a01b038316610a0857600080fd5b3360009081526004602090815260408083206001600160a01b038716845290915290205461098e908363ffffffff610ac816565b600080610a498484610ac8565b90506000610a58826001610ab6565b9050610a6d610a678286610aa1565b85610a76565b95945050505050565b600082610a85575060006104cd565b82820282848281610a9257fe5b0414610a9a57fe5b9392505050565b600080828481610aad57fe5b04949350505050565b600082821115610ac257fe5b50900390565b600082820183811015610a9a57fe5b80610ae157600080fd5b6001600160a01b038216600090815260036020526040902054811115610b0657600080fd5b600554610b19908263ffffffff610ab616565b6005556001600160a01b038216600090815260036020526040902054610b45908263ffffffff610ab616565b6001600160a01b038316600081815260036020908152604080832094909455835185815293519193600080516020610b8b833981519152929081900390910190a3505056feddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3efa265627a7a72315820922497663855a04b99dc9d5e13cfd21c44bbc9a895bc5213be8b3644670dd85b64736f6c63430005110032

0x608060405234801561001057600080fd5b50600436106100f55760003560e01c806370a0823111610097578063c5ac0ded11610066578063c5ac0ded146102e7578063dd62ed3e146102ef578063df401a961461031d578063e5981a4214610349576100f5565b806370a082311461027057806395d89b41146102965780639d1187701461029e578063a9059cbb146102bb576100f5565b806318160ddd116100d357806318160ddd146101e657806323b872dd146101ee578063313ce5671461022457806333393efa14610242576100f5565b806306fdde03146100fa57806309260db714610177578063095ea7b3146101a6575b600080fd5b610102610375565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561013c578181015183820152602001610124565b50505050905090810190601f1680156101695780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101946004803603602081101561018d57600080fd5b503561040b565b60408051918252519081900360200190f35b6101d2600480360360408110156101bc57600080fd5b506001600160a01b038135169060200135610456565b604080519115158252519081900360200190f35b6101946104d3565b6101d26004803603606081101561020457600080fd5b506001600160a01b038135811691602081013590911690604001356104d9565b61022c6106bc565b6040805160ff9092168252519081900360200190f35b61026e6004803603604081101561025857600080fd5b506001600160a01b0381351690602001356106c5565b005b6101946004803603602081101561028657600080fd5b50356001600160a01b031661075b565b610102610776565b61026e600480360360208110156102b457600080fd5b50356107d6565b6101d2600480360360408110156102d157600080fd5b506001600160a01b0381351690602001356107e3565b610194610914565b6101946004803603604081101561030557600080fd5b506001600160a01b038135811691602001351661091a565b6101d26004803603604081101561033357600080fd5b506001600160a01b038135169060200135610945565b6101d26004803603604081101561035f57600080fd5b506001600160a01b0381351690602001356109f3565b60008054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156104015780601f106103d657610100808354040283529160200191610401565b820191906000526020600020905b8154815290600101906020018083116103e457829003601f168201915b5050505050905090565b60008061042360065484610a3c90919063ffffffff16565b9050600061044e61271061044260065485610a7690919063ffffffff16565b9063ffffffff610aa116565b949350505050565b60006001600160a01b03831661046b57600080fd5b3360008181526004602090815260408083206001600160a01b03881680855290835292819020869055805186815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a35060015b92915050565b60055490565b6001600160a01b0383166000908152600360205260408120548211156104fe57600080fd5b6001600160a01b038416600090815260046020908152604080832033845290915290205482111561052e57600080fd5b6001600160a01b03831661054157600080fd5b6001600160a01b03841660009081526003602052604090205461056a908363ffffffff610ab616565b6001600160a01b03851660009081526003602052604081209190915561058f8361040b565b905060006105a3848363ffffffff610ab616565b6001600160a01b0386166000908152600360205260409020549091506105cf908263ffffffff610ac816565b6001600160a01b0386166000908152600360205260409020556005546105fb908363ffffffff610ab616565b6005556001600160a01b0386166000908152600460209081526040808320338452909152902054610632908563ffffffff610ab616565b6001600160a01b0380881660008181526004602090815260408083203384528252918290209490945580518581529051928916939192600080516020610b8b833981519152929181900390910190a36040805183815290516000916001600160a01b03891691600080516020610b8b8339815191529181900360200190a350600195945050505050565b60025460ff1690565b6001600160a01b03821660009081526004602090815260408083203384529091529020548111156106f557600080fd5b6001600160a01b0382166000908152600460209081526040808320338452909152902054610729908263ffffffff610ab616565b6001600160a01b03831660009081526004602090815260408083203384529091529020556107578282610ad7565b5050565b6001600160a01b031660009081526003602052604090205490565b60018054604080516020601f600260001961010087891615020190951694909404938401819004810282018101909252828152606093909290918301828280156104015780601f106103d657610100808354040283529160200191610401565b6107e03382610ad7565b50565b336000908152600360205260408120548211156107ff57600080fd5b6001600160a01b03831661081257600080fd5b600061081d8361040b565b90506000610831848363ffffffff610ab616565b33600090815260036020526040902054909150610854908563ffffffff610ab616565b33600090815260036020526040808220929092556001600160a01b03871681522054610886908263ffffffff610ac816565b6001600160a01b0386166000908152600360205260409020556005546108b2908363ffffffff610ab616565b6005556040805182815290516001600160a01b038716913391600080516020610b8b8339815191529181900360200190a36040805183815290516000913391600080516020610b8b8339815191529181900360200190a3506001949350505050565b60065481565b6001600160a01b03918216600090815260046020908152604080832093909416825291909152205490565b60006001600160a01b03831661095a57600080fd5b3360009081526004602090815260408083206001600160a01b038716845290915290205461098e908363ffffffff610ab616565b3360008181526004602090815260408083206001600160a01b0389168085529083529281902085905580519485525191937f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929081900390910190a350600192915050565b60006001600160a01b038316610a0857600080fd5b3360009081526004602090815260408083206001600160a01b038716845290915290205461098e908363ffffffff610ac816565b600080610a498484610ac8565b90506000610a58826001610ab6565b9050610a6d610a678286610aa1565b85610a76565b95945050505050565b600082610a85575060006104cd565b82820282848281610a9257fe5b0414610a9a57fe5b9392505050565b600080828481610aad57fe5b04949350505050565b600082821115610ac257fe5b50900390565b600082820183811015610a9a57fe5b80610ae157600080fd5b6001600160a01b038216600090815260036020526040902054811115610b0657600080fd5b600554610b19908263ffffffff610ab616565b6005556001600160a01b038216600090815260036020526040902054610b45908263ffffffff610ab616565b6001600160a01b038316600081815260036020908152604080832094909455835185815293519193600080516020610b8b833981519152929081900390910190a3505056feddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3efa265627a7a72315820922497663855a04b99dc9d5e13cfd21c44bbc9a895bc5213be8b3644670dd85b64736f6c63430005110032

2039:4008:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2039:4008:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1788:76;;;:::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;1788:76:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2911:202;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;2911:202:0;;:::i;:::-;;;;;;;;;;;;;;;;3686:224;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;3686:224:0;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;2583:85;;;:::i;3916:675::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;3916:675:0;;;;;;;;;;;;;;;;;:::i;1956:76::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;5808:236;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;5808:236:0;;;;;;;;:::i;:::-;;2674:100;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;2674:100:0;-1:-1:-1;;;;;2674:100:0;;:::i;1870:80::-;;;:::i;5423:83::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;5423:83:0;;:::i;3119:559::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;3119:559:0;;;;;;;;:::i;2411:32::-;;;:::i;2780:125::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;2780:125:0;;;;;;;;;;:::i;4902:311::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;4902:311:0;;;;;;;;:::i;4597:299::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;4597:299:0;;;;;;;;:::i;1788:76::-;1853:5;1846:12;;;;;;;;-1:-1:-1;;1846:12:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1824:13;;1846:12;;1853:5;;1846:12;;1853:5;1846:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1788:76;:::o;2911:202::-;2960:7;2977:18;2998:23;3009:11;;2998:5;:10;;:23;;;;:::i;:::-;2977:44;;3028:16;3047:38;3079:5;3047:27;3062:11;;3047:10;:14;;:27;;;;:::i;:::-;:31;:38;:31;:38;:::i;:::-;3028:57;2911:202;-1:-1:-1;;;;2911:202:0:o;3686:224::-;3751:4;-1:-1:-1;;;;;3772:21:0;;3764:30;;;;;;3810:10;3801:20;;;;:8;:20;;;;;;;;-1:-1:-1;;;;;3801:29:0;;;;;;;;;;;;:37;;;3850:36;;;;;;;3801:29;;3810:10;3850:36;;;;;;;;;;;-1:-1:-1;3900:4:0;3686:224;;;;;:::o;2583:85::-;2650:12;;2583:85;:::o;3916:675::-;-1:-1:-1;;;;;4025:15:0;;3995:4;4025:15;;;:9;:15;;;;;;4016:24;;;4008:33;;;;;;-1:-1:-1;;;;;4065:14:0;;;;;;:8;:14;;;;;;;;4080:10;4065:26;;;;;;;;4056:35;;;4048:44;;;;;;-1:-1:-1;;;;;4107:16:0;;4099:25;;;;;;-1:-1:-1;;;;;4151:15:0;;;;;;:9;:15;;;;;;:26;;4171:5;4151:26;:19;:26;:::i;:::-;-1:-1:-1;;;;;4133:15:0;;;;;;:9;:15;;;;;:44;;;;4209:10;4213:5;4209:3;:10::i;:::-;4186:33;-1:-1:-1;4226:24:0;4253:23;:5;4186:33;4253:23;:9;:23;:::i;:::-;-1:-1:-1;;;;;4301:13:0;;;;;;:9;:13;;;;;;4226:50;;-1:-1:-1;4301:35:0;;4226:50;4301:35;:17;:35;:::i;:::-;-1:-1:-1;;;;;4285:13:0;;;;;;:9;:13;;;;;:51;4358:12;;:30;;4375:12;4358:30;:16;:30;:::i;:::-;4343:12;:45;-1:-1:-1;;;;;4426:14:0;;;;;;:8;:14;;;;;;;;4441:10;4426:26;;;;;;;;:37;;4457:5;4426:37;:30;:37;:::i;:::-;-1:-1:-1;;;;;4397:14:0;;;;;;;:8;:14;;;;;;;;4412:10;4397:26;;;;;;;;:66;;;;4477:36;;;;;;;;;;;4397:14;;-1:-1:-1;;;;;;;;;;;4477:36:0;;;;;;;;;;4525:40;;;;;;;;4548:1;;-1:-1:-1;;;;;4525:40:0;;;-1:-1:-1;;;;;;;;;;;4525:40:0;;;;;;;;-1:-1:-1;4581:4:0;;3916:675;-1:-1:-1;;;;;3916:675:0:o;1956:76::-;2017:9;;;;1956:76;:::o;5808:236::-;-1:-1:-1;;;;;5896:17:0;;;;;;:8;:17;;;;;;;;5914:10;5896:29;;;;;;;;5886:39;;;5878:48;;;;;;-1:-1:-1;;;;;5965:17:0;;;;;;:8;:17;;;;;;;;5983:10;5965:29;;;;;;;;:41;;5999:6;5965:41;:33;:41;:::i;:::-;-1:-1:-1;;;;;5933:17:0;;;;;;:8;:17;;;;;;;;5951:10;5933:29;;;;;;;:73;6013:25;5942:7;6031:6;6013:8;:25::i;:::-;5808:236;;:::o;2674:100::-;-1:-1:-1;;;;;2752:16:0;2729:7;2752:16;;;:9;:16;;;;;;;2674:100::o;1870:80::-;1937:7;1930:14;;;;;;;;-1:-1:-1;;1930:14:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1908:13;;1930:14;;1937:7;;1930:14;;1937:7;1930:14;;;;;;;;;;;;;;;;;;;;;;;;5423:83;5472:28;5481:10;5493:6;5472:8;:28::i;:::-;5423:83;:::o;3119:559::-;3220:10;3180:4;3210:21;;;:9;:21;;;;;;3201:30;;;3193:39;;;;;;-1:-1:-1;;;;;3247:16:0;;3239:25;;;;;;3273:20;3296:10;3300:5;3296:3;:10::i;:::-;3273:33;-1:-1:-1;3313:24:0;3340:23;:5;3273:33;3340:23;:9;:23;:::i;:::-;3406:10;3396:21;;;;:9;:21;;;;;;3313:50;;-1:-1:-1;3396:32:0;;3422:5;3396:32;:25;:32;:::i;:::-;3382:10;3372:21;;;;:9;:21;;;;;;:56;;;;-1:-1:-1;;;;;3451:13:0;;;;;;:35;;3469:16;3451:35;:17;:35;:::i;:::-;-1:-1:-1;;;;;3435:13:0;;;;;;:9;:13;;;;;:51;3510:12;;:30;;3527:12;3510:30;:16;:30;:::i;:::-;3495:12;:45;3554:42;;;;;;;;-1:-1:-1;;;;;3554:42:0;;;3563:10;;-1:-1:-1;;;;;;;;;;;3554:42:0;;;;;;;;3608:46;;;;;;;;3637:1;;3617:10;;-1:-1:-1;;;;;;;;;;;3608:46:0;;;;;;;;-1:-1:-1;3668:4:0;;3119:559;-1:-1:-1;;;;3119:559:0:o;2411:32::-;;;;:::o;2780:125::-;-1:-1:-1;;;;;2875:15:0;;;2852:7;2875:15;;;:8;:15;;;;;;;;:24;;;;;;;;;;;;;2780:125::o;4902:311::-;4983:4;-1:-1:-1;;;;;5004:21:0;;4996:30;;;;;;5075:10;5066:20;;;;:8;:20;;;;;;;;-1:-1:-1;;;;;5066:29:0;;;;;;;;;;:50;;5100:15;5066:50;:33;:50;:::i;:::-;5042:10;5033:20;;;;:8;:20;;;;;;;;-1:-1:-1;;;;;5033:29:0;;;;;;;;;;;;:84;;;5129:60;;;;;;5033:29;;5129:60;;;;;;;;;;;-1:-1:-1;5203:4:0;4902:311;;;;:::o;4597:299::-;4671:4;-1:-1:-1;;;;;4692:21:0;;4684:30;;;;;;4763:10;4754:20;;;;:8;:20;;;;;;;;-1:-1:-1;;;;;4754:29:0;;;;;;;;;;:45;;4788:10;4754:45;:33;:45;:::i;1344:157::-;1403:7;1419:9;1431:8;1435:1;1437;1431:3;:8::i;:::-;1419:20;;1446:9;1458:8;1462:1;1464;1458:3;:8::i;:::-;1446:20;;1480:15;1484:8;1488:1;1490;1484:3;:8::i;:::-;1493:1;1480:3;:15::i;:::-;1473:22;1344:157;-1:-1:-1;;;;;1344:157:0:o;782:180::-;840:7;860:6;856:37;;-1:-1:-1;884:1:0;877:8;;856:37;911:5;;;915:1;911;:5;:1;930:5;;;;;:10;923:18;;;;955:1;782:180;-1:-1:-1;;;782:180:0:o;968:112::-;1026:7;1042:9;1058:1;1054;:5;;;;;;;968:112;-1:-1:-1;;;;968:112:0:o;1086:113::-;1144:7;1172:1;1167;:6;;1160:14;;;;-1:-1:-1;1188:5:0;;;1086:113::o;1205:133::-;1263:7;1291:5;;;1310:6;;;;1303:14;;;5512:290;5587:11;5579:20;;;;;;-1:-1:-1;;;;;5624:18:0;;;;;;:9;:18;;;;;;5614:28;;;5606:37;;;;;;5665:12;;:24;;5682:6;5665:24;:16;:24;:::i;:::-;5650:12;:39;-1:-1:-1;;;;;5717:18:0;;;;;;:9;:18;;;;;;:30;;5740:6;5717:30;:22;:30;:::i;:::-;-1:-1:-1;;;;;5696:18:0;;;;;;:9;:18;;;;;;;;:51;;;;5759:37;;;;;;;5696:18;;-1:-1:-1;;;;;;;;;;;5759:37:0;;;;;;;;;;5512:290;;:::o

bzzr://922497663855a04b99dc9d5e13cfd21c44bbc9a895bc5213be8b3644670dd85b