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 2019-06-21
*/

pragma solidity ^0.4.24;

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 BURN is ERC20Detailed {

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

  string constant tokenName = "The Burn Token";
  string constant tokenSymbol = "BURN";
  uint8  constant tokenDecimals = 0;
  uint256 _totalSupply = 10000000;
  uint256 public basePercent = 100;

  constructor() public payable ERC20Detailed(tokenName, tokenSymbol, tokenDecimals) {
    _mint(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 findOnePercent(uint256 value) public view returns (uint256)  {
    uint256 roundValue = value.ceil(basePercent);
    uint256 onePercent = roundValue.mul(basePercent).div(10000);
    return onePercent;
  }

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

    uint256 tokensToBurn = findOnePercent(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 multiTransfer(address[] memory receivers, uint256[] memory amounts) public {
    for (uint256 i = 0; i < receivers.length; i++) {
      transfer(receivers[i], amounts[i]);
    }
  }

  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 = findOnePercent(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 increaseAllowance(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 decreaseAllowance(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 _mint(address account, uint256 amount) internal {
    require(amount != 0);
    _balances[account] = _balances[account].add(amount);
    emit Transfer(address(0), account, amount);
  }

  function burn(uint256 amount) external {
    _burn(msg.sender, amount);
  }

  function _burn(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 burnFrom(address account, uint256 amount) external {
    require(amount <= _allowed[account][msg.sender]);
    _allowed[account][msg.sender] = _allowed[account][msg.sender].sub(amount);
    _burn(account, amount);
  }
}

• 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":"receivers","type":"address[]"},{"name":"amounts","type":"uint256[]"}],"name":"multiTransfer","outputs":[],"payable":false,"stateMutability":"nonpayable","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":"spender","type":"address"},{"name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"amount","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":"account","type":"address"},{"name":"amount","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":true,"inputs":[{"name":"value","type":"uint256"}],"name":"findOnePercent","outputs":[{"name":"","type":"uint256"}],"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":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"},{"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"}]

629896806005556064600655600e60808181527f546865204275726e20546f6b656e00000000000000000000000000000000000060a0908152610100604052600460c09081527f4255524e0000000000000000000000000000000000000000000000000000000060e05291926000916200007c9183919062000177565b5081516200009290600190602085019062000177565b506002805460ff191660ff929092169190911790555050600554620000c2903390640100000000620000c8810204565b6200021c565b801515620000d557600080fd5b600160a060020a03821660009081526003602052604090205462000108908264010000000062000b1d6200016082021704565b600160a060020a03831660008181526003602090815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b6000828201838110156200017057fe5b9392505050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10620001ba57805160ff1916838001178555620001ea565b82800160010185558215620001ea579182015b82811115620001ea578251825591602001919060010190620001cd565b50620001f8929150620001fc565b5090565b6200021991905b80821115620001f8576000815560010162000203565b90565b610cb4806200022c6000396000f3006080604052600436106100e55763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100ea578063095ea7b31461017457806318160ddd146101ac5780631e89d545146101d357806323b872dd14610263578063313ce5671461028d57806339509351146102b857806342966c68146102dc57806370a08231146102f457806379cc67901461031557806395d89b4114610339578063a457c2d71461034e578063a6a6860614610372578063a9059cbb1461038a578063c5ac0ded146103ae578063dd62ed3e146103c3575b600080fd5b3480156100f657600080fd5b506100ff6103ea565b6040805160208082528351818301528351919283929083019185019080838360005b83811015610139578181015183820152602001610121565b50505050905090810190601f1680156101665780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561018057600080fd5b50610198600160a060020a0360043516602435610480565b604080519115158252519081900360200190f35b3480156101b857600080fd5b506101c16104fe565b60408051918252519081900360200190f35b3480156101df57600080fd5b506040805160206004803580820135838102808601850190965280855261026195369593946024949385019291829185019084908082843750506040805187358901803560208181028481018201909552818452989b9a9989019892975090820195509350839250850190849080828437509497506105049650505050505050565b005b34801561026f57600080fd5b50610198600160a060020a0360043581169060243516604435610556565b34801561029957600080fd5b506102a261073a565b6040805160ff9092168252519081900360200190f35b3480156102c457600080fd5b50610198600160a060020a0360043516602435610743565b3480156102e857600080fd5b506102616004356107f3565b34801561030057600080fd5b506101c1600160a060020a0360043516610800565b34801561032157600080fd5b50610261600160a060020a036004351660243561081b565b34801561034557600080fd5b506100ff6108b1565b34801561035a57600080fd5b50610198600160a060020a0360043516602435610911565b34801561037e57600080fd5b506101c160043561095c565b34801561039657600080fd5b50610198600160a060020a03600435166024356109a7565b3480156103ba57600080fd5b506101c1610ada565b3480156103cf57600080fd5b506101c1600160a060020a0360043581169060243516610ae0565b60008054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156104765780601f1061044b57610100808354040283529160200191610476565b820191906000526020600020905b81548152906001019060200180831161045957829003601f168201915b5050505050905090565b6000600160a060020a038316151561049757600080fd5b336000818152600460209081526040808320600160a060020a03881680855290835292819020869055805186815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a350600192915050565b60055490565b60005b825181101561055157610548838281518110151561052157fe5b90602001906020020151838381518110151561053957fe5b906020019060200201516109a7565b50600101610507565b505050565b600160a060020a0383166000908152600360205260408120548190819084111561057f57600080fd5b600160a060020a03861660009081526004602090815260408083203384529091529020548411156105af57600080fd5b600160a060020a03851615156105c457600080fd5b600160a060020a0386166000908152600360205260409020546105ed908563ffffffff610b0b16565b600160a060020a03871660009081526003602052604090205561060f8461095c565b9150610621848363ffffffff610b0b16565b600160a060020a03861660009081526003602052604090205490915061064d908263ffffffff610b1d16565b600160a060020a038616600090815260036020526040902055600554610679908363ffffffff610b0b16565b600555600160a060020a03861660009081526004602090815260408083203384529091529020546106b0908563ffffffff610b0b16565b600160a060020a0380881660008181526004602090815260408083203384528252918290209490945580518581529051928916939192600080516020610c69833981519152929181900390910190a3604080518381529051600091600160a060020a03891691600080516020610c698339815191529181900360200190a350600195945050505050565b60025460ff1690565b6000600160a060020a038316151561075a57600080fd5b336000908152600460209081526040808320600160a060020a038716845290915290205461078e908363ffffffff610b1d16565b336000818152600460209081526040808320600160a060020a0389168085529083529281902085905580519485525191937f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929081900390910190a350600192915050565b6107fd3382610b37565b50565b600160a060020a031660009081526003602052604090205490565b600160a060020a038216600090815260046020908152604080832033845290915290205481111561084b57600080fd5b600160a060020a038216600090815260046020908152604080832033845290915290205461087f908263ffffffff610b0b16565b600160a060020a03831660009081526004602090815260408083203384529091529020556108ad8282610b37565b5050565b60018054604080516020601f600260001961010087891615020190951694909404938401819004810282018101909252828152606093909290918301828280156104765780601f1061044b57610100808354040283529160200191610476565b6000600160a060020a038316151561092857600080fd5b336000908152600460209081526040808320600160a060020a038716845290915290205461078e908363ffffffff610b0b16565b600080600061097660065485610bec90919063ffffffff16565b915061099f61271061099360065485610c2690919063ffffffff16565b9063ffffffff610c5116565b949350505050565b33600090815260036020526040812054819081908411156109c757600080fd5b600160a060020a03851615156109dc57600080fd5b6109e58461095c565b91506109f7848363ffffffff610b0b16565b33600090815260036020526040902054909150610a1a908563ffffffff610b0b16565b3360009081526003602052604080822092909255600160a060020a03871681522054610a4c908263ffffffff610b1d16565b600160a060020a038616600090815260036020526040902055600554610a78908363ffffffff610b0b16565b600555604080518281529051600160a060020a038716913391600080516020610c698339815191529181900360200190a36040805183815290516000913391600080516020610c698339815191529181900360200190a3506001949350505050565b60065481565b600160a060020a03918216600090815260046020908152604080832093909416825291909152205490565b600082821115610b1757fe5b50900390565b600082820183811015610b2c57fe5b8091505b5092915050565b801515610b4357600080fd5b600160a060020a038216600090815260036020526040902054811115610b6857600080fd5b600554610b7b908263ffffffff610b0b16565b600555600160a060020a038216600090815260036020526040902054610ba7908263ffffffff610b0b16565b600160a060020a038316600081815260036020908152604080832094909455835185815293519193600080516020610c69833981519152929081900390910190a35050565b6000806000610bfb8585610b1d565b9150610c08826001610b0b565b9050610c1d610c178286610c51565b85610c26565b95945050505050565b600080831515610c395760009150610b30565b50828202828482811515610c4957fe5b0414610b2c57fe5b6000808284811515610c5f57fe5b049493505050505600ddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3efa165627a7a723058203295776fd656f8553f750eb8422a2cadf0a0f688cd1299c17ee78427c99142950029

0x6080604052600436106100e55763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100ea578063095ea7b31461017457806318160ddd146101ac5780631e89d545146101d357806323b872dd14610263578063313ce5671461028d57806339509351146102b857806342966c68146102dc57806370a08231146102f457806379cc67901461031557806395d89b4114610339578063a457c2d71461034e578063a6a6860614610372578063a9059cbb1461038a578063c5ac0ded146103ae578063dd62ed3e146103c3575b600080fd5b3480156100f657600080fd5b506100ff6103ea565b6040805160208082528351818301528351919283929083019185019080838360005b83811015610139578181015183820152602001610121565b50505050905090810190601f1680156101665780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561018057600080fd5b50610198600160a060020a0360043516602435610480565b604080519115158252519081900360200190f35b3480156101b857600080fd5b506101c16104fe565b60408051918252519081900360200190f35b3480156101df57600080fd5b506040805160206004803580820135838102808601850190965280855261026195369593946024949385019291829185019084908082843750506040805187358901803560208181028481018201909552818452989b9a9989019892975090820195509350839250850190849080828437509497506105049650505050505050565b005b34801561026f57600080fd5b50610198600160a060020a0360043581169060243516604435610556565b34801561029957600080fd5b506102a261073a565b6040805160ff9092168252519081900360200190f35b3480156102c457600080fd5b50610198600160a060020a0360043516602435610743565b3480156102e857600080fd5b506102616004356107f3565b34801561030057600080fd5b506101c1600160a060020a0360043516610800565b34801561032157600080fd5b50610261600160a060020a036004351660243561081b565b34801561034557600080fd5b506100ff6108b1565b34801561035a57600080fd5b50610198600160a060020a0360043516602435610911565b34801561037e57600080fd5b506101c160043561095c565b34801561039657600080fd5b50610198600160a060020a03600435166024356109a7565b3480156103ba57600080fd5b506101c1610ada565b3480156103cf57600080fd5b506101c1600160a060020a0360043581169060243516610ae0565b60008054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156104765780601f1061044b57610100808354040283529160200191610476565b820191906000526020600020905b81548152906001019060200180831161045957829003601f168201915b5050505050905090565b6000600160a060020a038316151561049757600080fd5b336000818152600460209081526040808320600160a060020a03881680855290835292819020869055805186815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a350600192915050565b60055490565b60005b825181101561055157610548838281518110151561052157fe5b90602001906020020151838381518110151561053957fe5b906020019060200201516109a7565b50600101610507565b505050565b600160a060020a0383166000908152600360205260408120548190819084111561057f57600080fd5b600160a060020a03861660009081526004602090815260408083203384529091529020548411156105af57600080fd5b600160a060020a03851615156105c457600080fd5b600160a060020a0386166000908152600360205260409020546105ed908563ffffffff610b0b16565b600160a060020a03871660009081526003602052604090205561060f8461095c565b9150610621848363ffffffff610b0b16565b600160a060020a03861660009081526003602052604090205490915061064d908263ffffffff610b1d16565b600160a060020a038616600090815260036020526040902055600554610679908363ffffffff610b0b16565b600555600160a060020a03861660009081526004602090815260408083203384529091529020546106b0908563ffffffff610b0b16565b600160a060020a0380881660008181526004602090815260408083203384528252918290209490945580518581529051928916939192600080516020610c69833981519152929181900390910190a3604080518381529051600091600160a060020a03891691600080516020610c698339815191529181900360200190a350600195945050505050565b60025460ff1690565b6000600160a060020a038316151561075a57600080fd5b336000908152600460209081526040808320600160a060020a038716845290915290205461078e908363ffffffff610b1d16565b336000818152600460209081526040808320600160a060020a0389168085529083529281902085905580519485525191937f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929081900390910190a350600192915050565b6107fd3382610b37565b50565b600160a060020a031660009081526003602052604090205490565b600160a060020a038216600090815260046020908152604080832033845290915290205481111561084b57600080fd5b600160a060020a038216600090815260046020908152604080832033845290915290205461087f908263ffffffff610b0b16565b600160a060020a03831660009081526004602090815260408083203384529091529020556108ad8282610b37565b5050565b60018054604080516020601f600260001961010087891615020190951694909404938401819004810282018101909252828152606093909290918301828280156104765780601f1061044b57610100808354040283529160200191610476565b6000600160a060020a038316151561092857600080fd5b336000908152600460209081526040808320600160a060020a038716845290915290205461078e908363ffffffff610b0b16565b600080600061097660065485610bec90919063ffffffff16565b915061099f61271061099360065485610c2690919063ffffffff16565b9063ffffffff610c5116565b949350505050565b33600090815260036020526040812054819081908411156109c757600080fd5b600160a060020a03851615156109dc57600080fd5b6109e58461095c565b91506109f7848363ffffffff610b0b16565b33600090815260036020526040902054909150610a1a908563ffffffff610b0b16565b3360009081526003602052604080822092909255600160a060020a03871681522054610a4c908263ffffffff610b1d16565b600160a060020a038616600090815260036020526040902055600554610a78908363ffffffff610b0b16565b600555604080518281529051600160a060020a038716913391600080516020610c698339815191529181900360200190a36040805183815290516000913391600080516020610c698339815191529181900360200190a3506001949350505050565b60065481565b600160a060020a03918216600090815260046020908152604080832093909416825291909152205490565b600082821115610b1757fe5b50900390565b600082820183811015610b2c57fe5b8091505b5092915050565b801515610b4357600080fd5b600160a060020a038216600090815260036020526040902054811115610b6857600080fd5b600554610b7b908263ffffffff610b0b16565b600555600160a060020a038216600090815260036020526040902054610ba7908263ffffffff610b0b16565b600160a060020a038316600081815260036020908152604080832094909455835185815293519193600080516020610c69833981519152929081900390910190a35050565b6000806000610bfb8585610b1d565b9150610c08826001610b0b565b9050610c1d610c178286610c51565b85610c26565b95945050505050565b600080831515610c395760009150610b30565b50828202828482811515610c4957fe5b0414610b2c57fe5b6000808284811515610c5f57fe5b049493505050505600ddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3efa165627a7a723058203295776fd656f8553f750eb8422a2cadf0a0f688cd1299c17ee78427c99142950029

1947:4221:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1696:76;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1696: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;1696:76:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3802:224;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;3802:224:0;-1:-1:-1;;;;;3802:224:0;;;;;;;;;;;;;;;;;;;;;;;;;2475:85;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2475:85:0;;;;;;;;;;;;;;;;;;;;3602:194;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;3602:194:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;3602:194:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;3602:194:0;;;;-1:-1:-1;3602:194:0;-1:-1:-1;3602:194:0;;-1:-1:-1;3602:194:0;;;;;;;;;-1:-1:-1;3602:194:0;;-1:-1:-1;3602:194:0;;-1:-1:-1;;;;;;;3602:194:0;;;4032:686;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;4032:686:0;-1:-1:-1;;;;;4032:686:0;;;;;;;;;;;;1864:76;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1864:76:0;;;;;;;;;;;;;;;;;;;;;;;4724:305;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;4724:305:0;-1:-1:-1;;;;;4724:305:0;;;;;;;5559:77;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;5559:77:0;;;;;2566:100;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;2566:100:0;-1:-1:-1;;;;;2566:100:0;;;;;5935:230;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;5935:230:0;-1:-1:-1;;;;;5935:230:0;;;;;;;1778:80;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1778:80:0;;;;5035:315;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;5035:315:0;-1:-1:-1;;;;;5035:315:0;;;;;;;2803:217;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;2803:217:0;;;;;3026:570;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;3026:570:0;-1:-1:-1;;;;;3026:570:0;;;;;;;2304:32;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2304:32:0;;;;2672:125;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;2672:125:0;-1:-1:-1;;;;;2672:125:0;;;;;;;;;;1696:76;1761:5;1754:12;;;;;;;;-1:-1:-1;;1754:12:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1732:6;;1754:12;;1761:5;;1754:12;;1761:5;1754:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1696:76;:::o;3802:224::-;3867:4;-1:-1:-1;;;;;3888:21:0;;;;3880:30;;;;;;3926:10;3917:20;;;;:8;:20;;;;;;;;-1:-1:-1;;;;;3917:29:0;;;;;;;;;;;;:37;;;3966:36;;;;;;;3917:29;;3926:10;3966:36;;;;;;;;;;;-1:-1:-1;4016:4:0;3802:224;;;;:::o;2475:85::-;2542:12;;2475:85;:::o;3602:194::-;3698:9;3693:98;3717:9;:16;3713:1;:20;3693:98;;;3749:34;3758:9;3768:1;3758:12;;;;;;;;;;;;;;;;;;3772:7;3780:1;3772:10;;;;;;;;;;;;;;;;;;3749:8;:34::i;:::-;-1:-1:-1;3735:3:0;;3693:98;;;3602:194;;;:::o;4032:686::-;-1:-1:-1;;;;;4141:15:0;;4111:4;4141:15;;;:9;:15;;;;;;4111:4;;;;4132:24;;;4124:33;;;;;;-1:-1:-1;;;;;4181:14:0;;;;;;:8;:14;;;;;;;;4196:10;4181:26;;;;;;;;4172:35;;;4164:44;;;;;;-1:-1:-1;;;;;4223:16:0;;;;4215:25;;;;;;-1:-1:-1;;;;;4267:15:0;;;;;;:9;:15;;;;;;:26;;4287:5;4267:26;:19;:26;:::i;:::-;-1:-1:-1;;;;;4249:15:0;;;;;;:9;:15;;;;;:44;4325:21;4340:5;4325:14;:21::i;:::-;4302:44;-1:-1:-1;4380:23:0;:5;4302:44;4380:23;:9;:23;:::i;:::-;-1:-1:-1;;;;;4428:13:0;;;;;;:9;:13;;;;;;4353:50;;-1:-1:-1;4428:35:0;;4353:50;4428:35;:17;:35;:::i;:::-;-1:-1:-1;;;;;4412:13:0;;;;;;:9;:13;;;;;:51;4485:12;;:30;;4502:12;4485:30;:16;:30;:::i;:::-;4470:12;:45;-1:-1:-1;;;;;4553:14:0;;;;;;:8;:14;;;;;;;;4568:10;4553:26;;;;;;;;:37;;4584:5;4553:37;:30;:37;:::i;:::-;-1:-1:-1;;;;;4524:14:0;;;;;;;:8;:14;;;;;;;;4539:10;4524:26;;;;;;;;:66;;;;4604:36;;;;;;;;;;;4524:14;;-1:-1:-1;;;;;;;;;;;4604:36:0;;;;;;;;;;4652:40;;;;;;;;4675:1;;-1:-1:-1;;;;;4652:40:0;;;-1:-1:-1;;;;;;;;;;;4652:40:0;;;;;;;;-1:-1:-1;4708:4:0;;4032:686;-1:-1:-1;;;;;4032:686:0:o;1864:76::-;1925:9;;;;1864:76;:::o;4724:305::-;4804:4;-1:-1:-1;;;;;4825:21:0;;;;4817:30;;;;;;4896:10;4887:20;;;;:8;:20;;;;;;;;-1:-1:-1;;;;;4887:29:0;;;;;;;;;;:45;;4921:10;4887:45;:33;:45;:::i;:::-;4863:10;4854:20;;;;:8;:20;;;;;;;;-1:-1:-1;;;;;4854:29:0;;;;;;;;;;;;:79;;;4945:60;;;;;;4854:29;;4945:60;;;;;;;;;;;-1:-1:-1;5019:4:0;4724:305;;;;:::o;5559:77::-;5605:25;5611:10;5623:6;5605:5;:25::i;:::-;5559:77;:::o;2566:100::-;-1:-1:-1;;;;;2644:16:0;2621:7;2644:16;;;:9;:16;;;;;;;2566:100::o;5935:230::-;-1:-1:-1;;;;;6020:17:0;;;;;;:8;:17;;;;;;;;6038:10;6020:29;;;;;;;;6010:39;;;6002:48;;;;;;-1:-1:-1;;;;;6089:17:0;;;;;;:8;:17;;;;;;;;6107:10;6089:29;;;;;;;;:41;;6123:6;6089:41;:33;:41;:::i;:::-;-1:-1:-1;;;;;6057:17:0;;;;;;:8;:17;;;;;;;;6075:10;6057:29;;;;;;;:73;6137:22;6066:7;6152:6;6137:5;:22::i;:::-;5935:230;;:::o;1778:80::-;1845:7;1838:14;;;;;;;;-1:-1:-1;;1838:14:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1816:6;;1838:14;;1845:7;;1838:14;;1845:7;1838:14;;;;;;;;;;;;;;;;;;;;;;;;5035:315;5120:4;-1:-1:-1;;;;;5141:21:0;;;;5133:30;;;;;;5212:10;5203:20;;;;:8;:20;;;;;;;;-1:-1:-1;;;;;5203:29:0;;;;;;;;;;:50;;5237:15;5203:50;:33;:50;:::i;2803:217::-;2863:7;2880:18;2931;2901:23;2912:11;;2901:5;:10;;:23;;;;:::i;:::-;2880:44;;2952:38;2984:5;2952:27;2967:11;;2952:10;:14;;:27;;;;:::i;:::-;:31;:38;:31;:38;:::i;:::-;2931:59;2803:217;-1:-1:-1;;;;2803:217:0:o;3026:570::-;3127:10;3087:4;3117:21;;;:9;:21;;;;;;3087:4;;;;3108:30;;;3100:39;;;;;;-1:-1:-1;;;;;3154:16:0;;;;3146:25;;;;;;3203:21;3218:5;3203:14;:21::i;:::-;3180:44;-1:-1:-1;3258:23:0;:5;3180:44;3258:23;:9;:23;:::i;:::-;3324:10;3314:21;;;;:9;:21;;;;;;3231:50;;-1:-1:-1;3314:32:0;;3340:5;3314:32;:25;:32;:::i;:::-;3300:10;3290:21;;;;:9;:21;;;;;;:56;;;;-1:-1:-1;;;;;3369:13:0;;;;;;:35;;3387:16;3369:35;:17;:35;:::i;:::-;-1:-1:-1;;;;;3353:13:0;;;;;;:9;:13;;;;;:51;3428:12;;:30;;3445:12;3428:30;:16;:30;:::i;:::-;3413:12;:45;3472:42;;;;;;;;-1:-1:-1;;;;;3472:42:0;;;3481:10;;-1:-1:-1;;;;;;;;;;;3472:42:0;;;;;;;;3526:46;;;;;;;;3555:1;;3535:10;;-1:-1:-1;;;;;;;;;;;3526:46:0;;;;;;;;-1:-1:-1;3586:4:0;;3026:570;-1:-1:-1;;;;3026:570:0:o;2304:32::-;;;;:::o;2672:125::-;-1:-1:-1;;;;;2767:15:0;;;2744:7;2767:15;;;:8;:15;;;;;;;;:24;;;;;;;;;;;;;2672:125::o;994:113::-;1052:7;1075:6;;;;1068:14;;;;-1:-1:-1;1096:5:0;;;994:113::o;1113:133::-;1171:7;1199:5;;;1218:6;;;;1211:14;;;;1239:1;1232:8;;1113:133;;;;;;:::o;5642:287::-;5714:11;;;5706:20;;;;;;-1:-1:-1;;;;;5751:18:0;;;;;;:9;:18;;;;;;5741:28;;;5733:37;;;;;;5792:12;;:24;;5809:6;5792:24;:16;:24;:::i;:::-;5777:12;:39;-1:-1:-1;;;;;5844:18:0;;;;;;:9;:18;;;;;;:30;;5867:6;5844:30;:22;:30;:::i;:::-;-1:-1:-1;;;;;5823:18:0;;;;;;:9;:18;;;;;;;;:51;;;;5886:37;;;;;;;5823:18;;-1:-1:-1;;;;;;;;;;;5886:37:0;;;;;;;;;;5642:287;;:::o;1252:157::-;1311:7;1327:9;1354;1339:8;1343:1;1345;1339:3;:8::i;:::-;1327:20;;1366:8;1370:1;1372;1366:3;:8::i;:::-;1354:20;;1388:15;1392:8;1396:1;1398;1392:3;:8::i;:::-;1401:1;1388:3;:15::i;:::-;1381:22;1252:157;-1:-1:-1;;;;;1252:157:0:o;690:180::-;748:7;;768:6;;764:37;;;792:1;785:8;;;;764:37;-1:-1:-1;819:5:0;;;823:1;819;:5;838;;;;;;;;:10;831:18;;;876:112;934:7;950:9;966:1;962;:5;;;;;;;;;876:112;-1:-1:-1;;;;876:112:0:o

bzzr://3295776fd656f8553f750eb8422a2cadf0a0f688cd1299c17ee78427c9914295