Contract Source Code (Solidity)Audit Report

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-05-29
*/

/*
*  statera.sol
*  STA V3 deflationary index token smart contract
*  2020-05-29
**/

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

• Hacken - June 18th, 2020 - Security Audit Report

[{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"value","type":"uint256"}],"name":"cut","outputs":[{"name":"","type":"uint256"}],"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":false,"inputs":[{"name":"account","type":"address"},{"name":"amount","type":"uint256"}],"name":"destroyFrom","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":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"amount","type":"uint256"}],"name":"destroy","outputs":[],"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":"basePercent","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","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":"spender","type":"address"},{"name":"subtractedValue","type":"uint256"}],"name":"downAllowance","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"addedValue","type":"uint256"}],"name":"upAllowance","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"inputs":[],"payable":true,"stateMutability":"payable","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"}]

6a538b94f896d9c0850000006005556064600655600760808181527f537461746572610000000000000000000000000000000000000000000000000060a0908152610100604052600360c09081527f535441000000000000000000000000000000000000000000000000000000000060e052919260129162000085916000919062000180565b5081516200009b90600190602085019062000180565b506002805460ff191660ff929092169190911790555050600554620000cb903390640100000000620000d1810204565b62000225565b801515620000de57600080fd5b600160a060020a03821660009081526003602052604090205462000111908264010000000062000b806200016982021704565b600160a060020a03831660008181526003602090815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b6000828201838110156200017957fe5b9392505050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10620001c357805160ff1916838001178555620001f3565b82800160010185558215620001f3579182015b82811115620001f3578251825591602001919060010190620001d6565b506200020192915062000205565b5090565b6200022291905b808211156200020157600081556001016200020c565b90565b610c9080620002356000396000f3fe6080604052600436106100da5763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100df57806309260db714610169578063095ea7b3146101a557806318160ddd146101f257806323b872dd14610207578063313ce5671461024a57806333393efa1461027557806370a08231146102b057806395d89b41146102e35780639d118770146102f8578063a9059cbb14610322578063c5ac0ded1461035b578063dd62ed3e14610370578063df401a96146103ab578063e5981a42146103e4575b600080fd5b3480156100eb57600080fd5b506100f461041d565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561012e578181015183820152602001610116565b50505050905090810190601f16801561015b5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561017557600080fd5b506101936004803603602081101561018c57600080fd5b50356104b3565b60408051918252519081900360200190f35b3480156101b157600080fd5b506101de600480360360408110156101c857600080fd5b50600160a060020a0381351690602001356104fe565b604080519115158252519081900360200190f35b3480156101fe57600080fd5b5061019361057d565b34801561021357600080fd5b506101de6004803603606081101561022a57600080fd5b50600160a060020a03813581169160208101359091169060400135610583565b34801561025657600080fd5b5061025f610768565b6040805160ff9092168252519081900360200190f35b34801561028157600080fd5b506102ae6004803603604081101561029857600080fd5b50600160a060020a038135169060200135610771565b005b3480156102bc57600080fd5b50610193600480360360208110156102d357600080fd5b5035600160a060020a0316610807565b3480156102ef57600080fd5b506100f4610822565b34801561030457600080fd5b506102ae6004803603602081101561031b57600080fd5b5035610882565b34801561032e57600080fd5b506101de6004803603604081101561034557600080fd5b50600160a060020a03813516906020013561088f565b34801561036757600080fd5b506101936109c2565b34801561037c57600080fd5b506101936004803603604081101561039357600080fd5b50600160a060020a03813581169160200135166109c8565b3480156103b757600080fd5b506101de600480360360408110156103ce57600080fd5b50600160a060020a0381351690602001356109f3565b3480156103f057600080fd5b506101de6004803603604081101561040757600080fd5b50600160a060020a038135169060200135610aa3565b60008054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156104a95780601f1061047e576101008083540402835291602001916104a9565b820191906000526020600020905b81548152906001019060200180831161048c57829003601f168201915b5050505050905090565b6000806104cb60065484610aee90919063ffffffff16565b905060006104f66127106104ea60065485610b2890919063ffffffff16565b9063ffffffff610b5716565b949350505050565b6000600160a060020a038316151561051557600080fd5b336000818152600460209081526040808320600160a060020a03881680855290835292819020869055805186815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a35060015b92915050565b60055490565b600160a060020a0383166000908152600360205260408120548211156105a857600080fd5b600160a060020a03841660009081526004602090815260408083203384529091529020548211156105d857600080fd5b600160a060020a03831615156105ed57600080fd5b600160a060020a038416600090815260036020526040902054610616908363ffffffff610b6e16565b600160a060020a03851660009081526003602052604081209190915561063b836104b3565b9050600061064f848363ffffffff610b6e16565b600160a060020a03861660009081526003602052604090205490915061067b908263ffffffff610b8016565b600160a060020a0386166000908152600360205260409020556005546106a7908363ffffffff610b6e16565b600555600160a060020a03861660009081526004602090815260408083203384529091529020546106de908563ffffffff610b6e16565b600160a060020a0380881660008181526004602090815260408083203384528252918290209490945580518581529051928916939192600080516020610c45833981519152929181900390910190a3604080518381529051600091600160a060020a03891691600080516020610c458339815191529181900360200190a350600195945050505050565b60025460ff1690565b600160a060020a03821660009081526004602090815260408083203384529091529020548111156107a157600080fd5b600160a060020a03821660009081526004602090815260408083203384529091529020546107d5908263ffffffff610b6e16565b600160a060020a03831660009081526004602090815260408083203384529091529020556108038282610b8f565b5050565b600160a060020a031660009081526003602052604090205490565b60018054604080516020601f600260001961010087891615020190951694909404938401819004810282018101909252828152606093909290918301828280156104a95780601f1061047e576101008083540402835291602001916104a9565b61088c3382610b8f565b50565b336000908152600360205260408120548211156108ab57600080fd5b600160a060020a03831615156108c057600080fd5b60006108cb836104b3565b905060006108df848363ffffffff610b6e16565b33600090815260036020526040902054909150610902908563ffffffff610b6e16565b3360009081526003602052604080822092909255600160a060020a03871681522054610934908263ffffffff610b8016565b600160a060020a038616600090815260036020526040902055600554610960908363ffffffff610b6e16565b600555604080518281529051600160a060020a038716913391600080516020610c458339815191529181900360200190a36040805183815290516000913391600080516020610c458339815191529181900360200190a3506001949350505050565b60065481565b600160a060020a03918216600090815260046020908152604080832093909416825291909152205490565b6000600160a060020a0383161515610a0a57600080fd5b336000908152600460209081526040808320600160a060020a0387168452909152902054610a3e908363ffffffff610b6e16565b336000818152600460209081526040808320600160a060020a0389168085529083529281902085905580519485525191937f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929081900390910190a350600192915050565b6000600160a060020a0383161515610aba57600080fd5b336000908152600460209081526040808320600160a060020a0387168452909152902054610a3e908363ffffffff610b8016565b600080610afb8484610b80565b90506000610b0a826001610b6e565b9050610b1f610b198286610b57565b85610b28565b95945050505050565b6000821515610b3957506000610577565b828202828482811515610b4857fe5b0414610b5057fe5b9392505050565b6000808284811515610b6557fe5b04949350505050565b600082821115610b7a57fe5b50900390565b600082820183811015610b5057fe5b801515610b9b57600080fd5b600160a060020a038216600090815260036020526040902054811115610bc057600080fd5b600554610bd3908263ffffffff610b6e16565b600555600160a060020a038216600090815260036020526040902054610bff908263ffffffff610b6e16565b600160a060020a038316600081815260036020908152604080832094909455835185815293519193600080516020610c45833981519152929081900390910190a3505056feddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3efa165627a7a72305820c21e285495e5f930f2fbb6e2214beca6d388d59bd79cf8e6750aa11e6f1edecf0029

0x6080604052600436106100da5763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100df57806309260db714610169578063095ea7b3146101a557806318160ddd146101f257806323b872dd14610207578063313ce5671461024a57806333393efa1461027557806370a08231146102b057806395d89b41146102e35780639d118770146102f8578063a9059cbb14610322578063c5ac0ded1461035b578063dd62ed3e14610370578063df401a96146103ab578063e5981a42146103e4575b600080fd5b3480156100eb57600080fd5b506100f461041d565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561012e578181015183820152602001610116565b50505050905090810190601f16801561015b5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561017557600080fd5b506101936004803603602081101561018c57600080fd5b50356104b3565b60408051918252519081900360200190f35b3480156101b157600080fd5b506101de600480360360408110156101c857600080fd5b50600160a060020a0381351690602001356104fe565b604080519115158252519081900360200190f35b3480156101fe57600080fd5b5061019361057d565b34801561021357600080fd5b506101de6004803603606081101561022a57600080fd5b50600160a060020a03813581169160208101359091169060400135610583565b34801561025657600080fd5b5061025f610768565b6040805160ff9092168252519081900360200190f35b34801561028157600080fd5b506102ae6004803603604081101561029857600080fd5b50600160a060020a038135169060200135610771565b005b3480156102bc57600080fd5b50610193600480360360208110156102d357600080fd5b5035600160a060020a0316610807565b3480156102ef57600080fd5b506100f4610822565b34801561030457600080fd5b506102ae6004803603602081101561031b57600080fd5b5035610882565b34801561032e57600080fd5b506101de6004803603604081101561034557600080fd5b50600160a060020a03813516906020013561088f565b34801561036757600080fd5b506101936109c2565b34801561037c57600080fd5b506101936004803603604081101561039357600080fd5b50600160a060020a03813581169160200135166109c8565b3480156103b757600080fd5b506101de600480360360408110156103ce57600080fd5b50600160a060020a0381351690602001356109f3565b3480156103f057600080fd5b506101de6004803603604081101561040757600080fd5b50600160a060020a038135169060200135610aa3565b60008054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156104a95780601f1061047e576101008083540402835291602001916104a9565b820191906000526020600020905b81548152906001019060200180831161048c57829003601f168201915b5050505050905090565b6000806104cb60065484610aee90919063ffffffff16565b905060006104f66127106104ea60065485610b2890919063ffffffff16565b9063ffffffff610b5716565b949350505050565b6000600160a060020a038316151561051557600080fd5b336000818152600460209081526040808320600160a060020a03881680855290835292819020869055805186815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a35060015b92915050565b60055490565b600160a060020a0383166000908152600360205260408120548211156105a857600080fd5b600160a060020a03841660009081526004602090815260408083203384529091529020548211156105d857600080fd5b600160a060020a03831615156105ed57600080fd5b600160a060020a038416600090815260036020526040902054610616908363ffffffff610b6e16565b600160a060020a03851660009081526003602052604081209190915561063b836104b3565b9050600061064f848363ffffffff610b6e16565b600160a060020a03861660009081526003602052604090205490915061067b908263ffffffff610b8016565b600160a060020a0386166000908152600360205260409020556005546106a7908363ffffffff610b6e16565b600555600160a060020a03861660009081526004602090815260408083203384529091529020546106de908563ffffffff610b6e16565b600160a060020a0380881660008181526004602090815260408083203384528252918290209490945580518581529051928916939192600080516020610c45833981519152929181900390910190a3604080518381529051600091600160a060020a03891691600080516020610c458339815191529181900360200190a350600195945050505050565b60025460ff1690565b600160a060020a03821660009081526004602090815260408083203384529091529020548111156107a157600080fd5b600160a060020a03821660009081526004602090815260408083203384529091529020546107d5908263ffffffff610b6e16565b600160a060020a03831660009081526004602090815260408083203384529091529020556108038282610b8f565b5050565b600160a060020a031660009081526003602052604090205490565b60018054604080516020601f600260001961010087891615020190951694909404938401819004810282018101909252828152606093909290918301828280156104a95780601f1061047e576101008083540402835291602001916104a9565b61088c3382610b8f565b50565b336000908152600360205260408120548211156108ab57600080fd5b600160a060020a03831615156108c057600080fd5b60006108cb836104b3565b905060006108df848363ffffffff610b6e16565b33600090815260036020526040902054909150610902908563ffffffff610b6e16565b3360009081526003602052604080822092909255600160a060020a03871681522054610934908263ffffffff610b8016565b600160a060020a038616600090815260036020526040902055600554610960908363ffffffff610b6e16565b600555604080518281529051600160a060020a038716913391600080516020610c458339815191529181900360200190a36040805183815290516000913391600080516020610c458339815191529181900360200190a3506001949350505050565b60065481565b600160a060020a03918216600090815260046020908152604080832093909416825291909152205490565b6000600160a060020a0383161515610a0a57600080fd5b336000908152600460209081526040808320600160a060020a0387168452909152902054610a3e908363ffffffff610b6e16565b336000818152600460209081526040808320600160a060020a0389168085529083529281902085905580519485525191937f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929081900390910190a350600192915050565b6000600160a060020a0383161515610aba57600080fd5b336000908152600460209081526040808320600160a060020a0387168452909152902054610a3e908363ffffffff610b8016565b600080610afb8484610b80565b90506000610b0a826001610b6e565b9050610b1f610b198286610b57565b85610b28565b95945050505050565b6000821515610b3957506000610577565b828202828482811515610b4857fe5b0414610b5057fe5b9392505050565b6000808284811515610b6557fe5b04949350505050565b600082821115610b7a57fe5b50900390565b600082820183811015610b5057fe5b801515610b9b57600080fd5b600160a060020a038216600090815260036020526040902054811115610bc057600080fd5b600554610bd3908263ffffffff610b6e16565b600555600160a060020a038216600090815260036020526040902054610bff908263ffffffff610b6e16565b600160a060020a038316600081815260036020908152604080832094909455835185815293519193600080516020610c45833981519152929081900390910190a3505056feddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3efa165627a7a72305820c21e285495e5f930f2fbb6e2214beca6d388d59bd79cf8e6750aa11e6f1edecf0029

2012:4008:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1761:76;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1761:76: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;1761:76:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2884:202;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2884:202:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;2884:202:0;;;;;;;;;;;;;;;;;;;3659:224;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3659:224:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;3659:224:0;;;;;;;;;;;;;;;;;;;;;;;;;;;2556:85;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2556:85:0;;;;3889:675;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3889:675:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;3889:675:0;;;;;;;;;;;;;;;;;;1929:76;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1929:76:0;;;;;;;;;;;;;;;;;;;;;;;5781:236;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5781:236:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;5781:236:0;;;;;;;;;;;2647:100;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2647:100:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;2647:100:0;-1:-1:-1;;;;;2647:100:0;;;1843:80;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1843:80:0;;;;5396:83;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5396:83:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;5396:83:0;;;3092:559;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3092:559:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;3092:559:0;;;;;;;;;2384:32;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2384:32:0;;;;2753:125;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2753:125:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;2753:125:0;;;;;;;;;;;4875:311;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4875:311:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;4875:311:0;;;;;;;;;4570:299;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4570:299:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;4570:299:0;;;;;;;;;1761:76;1826:5;1819:12;;;;;;;;-1:-1:-1;;1819:12:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1797:13;;1819:12;;1826:5;;1819:12;;1826:5;1819:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1761:76;:::o;2884:202::-;2933:7;2950:18;2971:23;2982:11;;2971:5;:10;;:23;;;;:::i;:::-;2950:44;;3001:16;3020:38;3052:5;3020:27;3035:11;;3020:10;:14;;:27;;;;:::i;:::-;:31;:38;:31;:38;:::i;:::-;3001:57;2884:202;-1:-1:-1;;;;2884:202:0:o;3659:224::-;3724:4;-1:-1:-1;;;;;3745:21:0;;;;3737:30;;;;;;3783:10;3774:20;;;;:8;:20;;;;;;;;-1:-1:-1;;;;;3774:29:0;;;;;;;;;;;;:37;;;3823:36;;;;;;;3774:29;;3783:10;3823:36;;;;;;;;;;;-1:-1:-1;3873:4:0;3659:224;;;;;:::o;2556:85::-;2623:12;;2556:85;:::o;3889:675::-;-1:-1:-1;;;;;3998:15:0;;3968:4;3998:15;;;:9;:15;;;;;;3989:24;;;3981:33;;;;;;-1:-1:-1;;;;;4038:14:0;;;;;;:8;:14;;;;;;;;4053:10;4038:26;;;;;;;;4029:35;;;4021:44;;;;;;-1:-1:-1;;;;;4080:16:0;;;;4072:25;;;;;;-1:-1:-1;;;;;4124:15:0;;;;;;:9;:15;;;;;;:26;;4144:5;4124:26;:19;:26;:::i;:::-;-1:-1:-1;;;;;4106:15:0;;;;;;:9;:15;;;;;:44;;;;4182:10;4186:5;4182:3;:10::i;:::-;4159:33;-1:-1:-1;4199:24:0;4226:23;:5;4159:33;4226:23;:9;:23;:::i;:::-;-1:-1:-1;;;;;4274:13:0;;;;;;:9;:13;;;;;;4199:50;;-1:-1:-1;4274:35:0;;4199:50;4274:35;:17;:35;:::i;:::-;-1:-1:-1;;;;;4258:13:0;;;;;;:9;:13;;;;;:51;4331:12;;:30;;4348:12;4331:30;:16;:30;:::i;:::-;4316:12;:45;-1:-1:-1;;;;;4399:14:0;;;;;;:8;:14;;;;;;;;4414:10;4399:26;;;;;;;;:37;;4430:5;4399:37;:30;:37;:::i;:::-;-1:-1:-1;;;;;4370:14:0;;;;;;;:8;:14;;;;;;;;4385:10;4370:26;;;;;;;;:66;;;;4450:36;;;;;;;;;;;4370:14;;-1:-1:-1;;;;;;;;;;;4450:36:0;;;;;;;;;;4498:40;;;;;;;;4521:1;;-1:-1:-1;;;;;4498:40:0;;;-1:-1:-1;;;;;;;;;;;4498:40:0;;;;;;;;-1:-1:-1;4554:4:0;;3889:675;-1:-1:-1;;;;;3889:675:0:o;1929:76::-;1990:9;;;;1929:76;:::o;5781:236::-;-1:-1:-1;;;;;5869:17:0;;;;;;:8;:17;;;;;;;;5887:10;5869:29;;;;;;;;5859:39;;;5851:48;;;;;;-1:-1:-1;;;;;5938:17:0;;;;;;:8;:17;;;;;;;;5956:10;5938:29;;;;;;;;:41;;5972:6;5938:41;:33;:41;:::i;:::-;-1:-1:-1;;;;;5906:17:0;;;;;;:8;:17;;;;;;;;5924:10;5906:29;;;;;;;:73;5986:25;5915:7;6004:6;5986:8;:25::i;:::-;5781:236;;:::o;2647:100::-;-1:-1:-1;;;;;2725:16:0;2702:7;2725:16;;;:9;:16;;;;;;;2647:100::o;1843:80::-;1910:7;1903:14;;;;;;;;-1:-1:-1;;1903:14:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1881:13;;1903:14;;1910:7;;1903:14;;1910:7;1903:14;;;;;;;;;;;;;;;;;;;;;;;;5396:83;5445:28;5454:10;5466:6;5445:8;:28::i;:::-;5396:83;:::o;3092:559::-;3193:10;3153:4;3183:21;;;:9;:21;;;;;;3174:30;;;3166:39;;;;;;-1:-1:-1;;;;;3220:16:0;;;;3212:25;;;;;;3246:20;3269:10;3273:5;3269:3;:10::i;:::-;3246:33;-1:-1:-1;3286:24:0;3313:23;:5;3246:33;3313:23;:9;:23;:::i;:::-;3379:10;3369:21;;;;:9;:21;;;;;;3286:50;;-1:-1:-1;3369:32:0;;3395:5;3369:32;:25;:32;:::i;:::-;3355:10;3345:21;;;;:9;:21;;;;;;:56;;;;-1:-1:-1;;;;;3424:13:0;;;;;;:35;;3442:16;3424:35;:17;:35;:::i;:::-;-1:-1:-1;;;;;3408:13:0;;;;;;:9;:13;;;;;:51;3483:12;;:30;;3500:12;3483:30;:16;:30;:::i;:::-;3468:12;:45;3527:42;;;;;;;;-1:-1:-1;;;;;3527:42:0;;;3536:10;;-1:-1:-1;;;;;;;;;;;3527:42:0;;;;;;;;3581:46;;;;;;;;3610:1;;3590:10;;-1:-1:-1;;;;;;;;;;;3581:46:0;;;;;;;;-1:-1:-1;3641:4:0;;3092:559;-1:-1:-1;;;;3092:559:0:o;2384:32::-;;;;:::o;2753:125::-;-1:-1:-1;;;;;2848:15:0;;;2825:7;2848:15;;;:8;:15;;;;;;;;:24;;;;;;;;;;;;;2753:125::o;4875:311::-;4956:4;-1:-1:-1;;;;;4977:21:0;;;;4969:30;;;;;;5048:10;5039:20;;;;:8;:20;;;;;;;;-1:-1:-1;;;;;5039:29:0;;;;;;;;;;:50;;5073:15;5039:50;:33;:50;:::i;:::-;5015:10;5006:20;;;;:8;:20;;;;;;;;-1:-1:-1;;;;;5006:29:0;;;;;;;;;;;;:84;;;5102:60;;;;;;5006:29;;5102:60;;;;;;;;;;;-1:-1:-1;5176:4:0;4875:311;;;;:::o;4570:299::-;4644:4;-1:-1:-1;;;;;4665:21:0;;;;4657:30;;;;;;4736:10;4727:20;;;;:8;:20;;;;;;;;-1:-1:-1;;;;;4727:29:0;;;;;;;;;;:45;;4761:10;4727:45;:33;:45;:::i;1317:157::-;1376:7;1392:9;1404:8;1408:1;1410;1404:3;:8::i;:::-;1392:20;;1419:9;1431:8;1435:1;1437;1431:3;:8::i;:::-;1419:20;;1453:15;1457:8;1461:1;1463;1457:3;:8::i;:::-;1466:1;1453:3;:15::i;:::-;1446:22;1317:157;-1:-1:-1;;;;;1317:157:0:o;755:180::-;813:7;833:6;;829:37;;;-1:-1:-1;857:1:0;850:8;;829:37;884:5;;;888:1;884;:5;903;;;;;;;;:10;896:18;;;;928:1;755:180;-1:-1:-1;;;755:180:0:o;941:112::-;999:7;1015:9;1031:1;1027;:5;;;;;;;;;941:112;-1:-1:-1;;;;941:112:0:o;1059:113::-;1117:7;1140:6;;;;1133:14;;;;-1:-1:-1;1161:5:0;;;1059:113::o;1178:133::-;1236:7;1264:5;;;1283:6;;;;1276:14;;;5485:290;5560:11;;;5552:20;;;;;;-1:-1:-1;;;;;5597:18:0;;;;;;:9;:18;;;;;;5587:28;;;5579:37;;;;;;5638:12;;:24;;5655:6;5638:24;:16;:24;:::i;:::-;5623:12;:39;-1:-1:-1;;;;;5690:18:0;;;;;;:9;:18;;;;;;:30;;5713:6;5690:30;:22;:30;:::i;:::-;-1:-1:-1;;;;;5669:18:0;;;;;;:9;:18;;;;;;;;:51;;;;5732:37;;;;;;;5669:18;;-1:-1:-1;;;;;;;;;;;5732:37:0;;;;;;;;;;5485:290;;:::o

bzzr://c21e285495e5f930f2fbb6e2214beca6d388d59bd79cf8e6750aa11e6f1edecf