Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

interface IERC20    - function totalSupply()    - function balanceOf(address who)    - function allowance(address owner, add ...    - function transfer(address to, uint256 ...    - function approve(address spender, uin ...    - function transferFrom(address from, a ... 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 ceil(uint256 a, uint256 m)    - function floor(uint256 a, uint256 m)  contract ERC20Detailed is IERC20    - function name()    - function symbol()    - function decimals()  contract SPIKECOREv2 is ERC20Detai ... *    - function totalSupply()    - function balanceOf(address owner)    - function allowance(address owner, add ...    - function findThreePercent(uint256 val ...    - function transfer(address to, uint256 ...    - function multiTransfer(address[] memo ...    - function approve(address spender, uin ...    - function transferFrom(address from, a ...    - function increaseAllowance(address sp ...    - function decreaseAllowance(address sp ...    - function _mint(address account, uint2 ...    - function burn(uint256 amount)    - function _burn(address account, uint2 ...    - function burnFrom(address account, ui ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

pragma solidity ^0.5.0;

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);
  }
  function floor(uint256 a, uint256 m) internal pure returns (uint256) {
    uint256 c = add(a,m);
    uint256 d = add(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 SPIKECOREv2 is ERC20Detailed {

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

  string constant tokenName = "SPIKECORE";
  string constant tokenSymbol = "SPK";
  uint8  constant tokenDecimals = 0;
  uint256 _totalSupply = 50000;
  uint256 public baseMultiplier = 3;
  uint256 public defaultBurn = 1;
  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 findThreePercent(uint256 value) public view returns (uint256)  {
    if(value<=33){
        uint256 ThreePercent = defaultBurn;
        return ThreePercent;
    }
    else{
        uint256 TheePercent = value.mul(baseMultiplier).div(basePercent);
        uint256 ThreePercent = TheePercent.ceil(defaultBurn);
        return ThreePercent;
    }
    
  }

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

    uint256 tokensToBurn = findThreePercent(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 = findThreePercent(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":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":"defaultBurn","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"basePercent","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"baseMultiplier","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":true,"inputs":[{"name":"value","type":"uint256"}],"name":"findThreePercent","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"}]

608060405261c3506005556003600655600160075560646008556040805190810160405280600981526020017f5350494b45434f524500000000000000000000000000000000000000000000008152506040805190810160405280600381526020017f53504b0000000000000000000000000000000000000000000000000000000000815250600082600090805190602001906200009f92919062000239565b508160019080519060200190620000b892919062000239565b5080600260006101000a81548160ff021916908360ff160217905550505050620000f433600554620000fa640100000000026401000000009004565b620002e8565b600081141515156200010b57600080fd5b6200016d81600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546200021a6401000000000262001a2f179091906401000000009004565b600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b60008082840190508381101515156200022f57fe5b8091505092915050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106200027c57805160ff1916838001178555620002ad565b82800160010185558215620002ad579182015b82811115620002ac5782518255916020019190600101906200028f565b5b509050620002bc9190620002c0565b5090565b620002e591905b80821115620002e1576000816000905550600101620002c7565b5090565b90565b611c8280620002f86000396000f3fe6080604052600436106100fc576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde0314610101578063095ea7b31461019157806318160ddd146102045780631e89d5451461022f57806323b872dd14610388578063313ce5671461041b578063395093511461044c57806342966c68146104bf57806370a08231146104fa57806379cc67901461055f57806395d89b41146105ba578063a457c2d71461064a578063a9059cbb146106bd578063bfd14d1814610730578063c5ac0ded1461075b578063d60a095514610786578063dd62ed3e146107b1578063fe9fed5114610836575b600080fd5b34801561010d57600080fd5b50610116610885565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561015657808201518184015260208101905061013b565b50505050905090810190601f1680156101835780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561019d57600080fd5b506101ea600480360360408110156101b457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610927565b604051808215151515815260200191505060405180910390f35b34801561021057600080fd5b50610219610a54565b6040518082815260200191505060405180910390f35b34801561023b57600080fd5b506103866004803603604081101561025257600080fd5b810190808035906020019064010000000081111561026f57600080fd5b82018360208201111561028157600080fd5b803590602001918460208302840111640100000000831117156102a357600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f8201169050808301925050505050505091929192908035906020019064010000000081111561030357600080fd5b82018360208201111561031557600080fd5b8035906020019184602083028401116401000000008311171561033757600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f820116905080830192505050505050509192919290505050610a5e565b005b34801561039457600080fd5b50610401600480360360608110156103ab57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610ab8565b604051808215151515815260200191505060405180910390f35b34801561042757600080fd5b50610430610f1f565b604051808260ff1660ff16815260200191505060405180910390f35b34801561045857600080fd5b506104a56004803603604081101561046f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610f36565b604051808215151515815260200191505060405180910390f35b3480156104cb57600080fd5b506104f8600480360360208110156104e257600080fd5b810190808035906020019092919050505061116d565b005b34801561050657600080fd5b506105496004803603602081101561051d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061117a565b6040518082815260200191505060405180910390f35b34801561056b57600080fd5b506105b86004803603604081101561058257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506111c3565b005b3480156105c657600080fd5b506105cf61136b565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561060f5780820151818401526020810190506105f4565b50505050905090810190601f16801561063c5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561065657600080fd5b506106a36004803603604081101561066d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061140d565b604051808215151515815260200191505060405180910390f35b3480156106c957600080fd5b50610716600480360360408110156106e057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611644565b604051808215151515815260200191505060405180910390f35b34801561073c57600080fd5b50610745611910565b6040518082815260200191505060405180910390f35b34801561076757600080fd5b50610770611916565b6040518082815260200191505060405180910390f35b34801561079257600080fd5b5061079b61191c565b6040518082815260200191505060405180910390f35b3480156107bd57600080fd5b50610820600480360360408110156107d457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611922565b6040518082815260200191505060405180910390f35b34801561084257600080fd5b5061086f6004803603602081101561085957600080fd5b81019080803590602001909291905050506119a9565b6040518082815260200191505060405180910390f35b606060008054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561091d5780601f106108f25761010080835404028352916020019161091d565b820191906000526020600020905b81548152906001019060200180831161090057829003601f168201915b5050505050905090565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415151561096457600080fd5b81600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b6000600554905090565b60008090505b8251811015610ab357610aa58382815181101515610a7e57fe5b906020019060200201518383815181101515610a9657fe5b90602001906020020151611644565b508080600101915050610a64565b505050565b6000600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211151515610b0857600080fd5b600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211151515610b9357600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614151515610bcf57600080fd5b610c2182600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a1690919063ffffffff16565b600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000610c6f836119a9565b90506000610c868285611a1690919063ffffffff16565b9050610cda81600360008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a2f90919063ffffffff16565b600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610d3282600554611a1690919063ffffffff16565b600581905550610dc784600460008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a1690919063ffffffff16565b600460008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508473ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3600073ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001925050509392505050565b6000600260009054906101000a900460ff16905090565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614151515610f7357600080fd5b61100282600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a2f90919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b6111773382611a4d565b50565b6000600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054811115151561124e57600080fd5b6112dd81600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a1690919063ffffffff16565b600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506113678282611a4d565b5050565b606060018054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156114035780601f106113d857610100808354040283529160200191611403565b820191906000526020600020905b8154815290600101906020018083116113e657829003601f168201915b5050505050905090565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415151561144a57600080fd5b6114d982600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a1690919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b6000600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115151561169457600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141515156116d057600080fd5b60006116db836119a9565b905060006116f28285611a1690919063ffffffff16565b905061174684600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a1690919063ffffffff16565b600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506117db81600360008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a2f90919063ffffffff16565b600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061183382600554611a1690919063ffffffff16565b6005819055508473ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3600073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a360019250505092915050565b60075481565b60085481565b60065481565b6000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b60006021821115156119c5576000600754905080915050611a11565b60006119f06008546119e260065486611bc590919063ffffffff16565b611c0090919063ffffffff16565b90506000611a0960075483611c1b90919063ffffffff16565b905080925050505b919050565b6000828211151515611a2457fe5b818303905092915050565b6000808284019050838110151515611a4357fe5b8091505092915050565b60008114151515611a5d57600080fd5b600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548111151515611aab57600080fd5b611ac081600554611a1690919063ffffffff16565b600581905550611b1881600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a1690919063ffffffff16565b600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b600080831415611bd85760009050611bfa565b60008284029050828482811515611beb57fe5b04141515611bf557fe5b809150505b92915050565b6000808284811515611c0e57fe5b0490508091505092915050565b600080611c288484611a2f565b90506000611c37826001611a16565b9050611c4c611c468286611c00565b85611bc5565b925050509291505056fea165627a7a723058203b96e72f537d05b15a3dfaec339b405d8cef7865d0d1b6b8d67b771fdbd44f050029

0x6080604052600436106100fc576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde0314610101578063095ea7b31461019157806318160ddd146102045780631e89d5451461022f57806323b872dd14610388578063313ce5671461041b578063395093511461044c57806342966c68146104bf57806370a08231146104fa57806379cc67901461055f57806395d89b41146105ba578063a457c2d71461064a578063a9059cbb146106bd578063bfd14d1814610730578063c5ac0ded1461075b578063d60a095514610786578063dd62ed3e146107b1578063fe9fed5114610836575b600080fd5b34801561010d57600080fd5b50610116610885565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561015657808201518184015260208101905061013b565b50505050905090810190601f1680156101835780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561019d57600080fd5b506101ea600480360360408110156101b457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610927565b604051808215151515815260200191505060405180910390f35b34801561021057600080fd5b50610219610a54565b6040518082815260200191505060405180910390f35b34801561023b57600080fd5b506103866004803603604081101561025257600080fd5b810190808035906020019064010000000081111561026f57600080fd5b82018360208201111561028157600080fd5b803590602001918460208302840111640100000000831117156102a357600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f8201169050808301925050505050505091929192908035906020019064010000000081111561030357600080fd5b82018360208201111561031557600080fd5b8035906020019184602083028401116401000000008311171561033757600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f820116905080830192505050505050509192919290505050610a5e565b005b34801561039457600080fd5b50610401600480360360608110156103ab57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610ab8565b604051808215151515815260200191505060405180910390f35b34801561042757600080fd5b50610430610f1f565b604051808260ff1660ff16815260200191505060405180910390f35b34801561045857600080fd5b506104a56004803603604081101561046f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610f36565b604051808215151515815260200191505060405180910390f35b3480156104cb57600080fd5b506104f8600480360360208110156104e257600080fd5b810190808035906020019092919050505061116d565b005b34801561050657600080fd5b506105496004803603602081101561051d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061117a565b6040518082815260200191505060405180910390f35b34801561056b57600080fd5b506105b86004803603604081101561058257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506111c3565b005b3480156105c657600080fd5b506105cf61136b565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561060f5780820151818401526020810190506105f4565b50505050905090810190601f16801561063c5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561065657600080fd5b506106a36004803603604081101561066d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061140d565b604051808215151515815260200191505060405180910390f35b3480156106c957600080fd5b50610716600480360360408110156106e057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611644565b604051808215151515815260200191505060405180910390f35b34801561073c57600080fd5b50610745611910565b6040518082815260200191505060405180910390f35b34801561076757600080fd5b50610770611916565b6040518082815260200191505060405180910390f35b34801561079257600080fd5b5061079b61191c565b6040518082815260200191505060405180910390f35b3480156107bd57600080fd5b50610820600480360360408110156107d457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611922565b6040518082815260200191505060405180910390f35b34801561084257600080fd5b5061086f6004803603602081101561085957600080fd5b81019080803590602001909291905050506119a9565b6040518082815260200191505060405180910390f35b606060008054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561091d5780601f106108f25761010080835404028352916020019161091d565b820191906000526020600020905b81548152906001019060200180831161090057829003601f168201915b5050505050905090565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415151561096457600080fd5b81600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b6000600554905090565b60008090505b8251811015610ab357610aa58382815181101515610a7e57fe5b906020019060200201518383815181101515610a9657fe5b90602001906020020151611644565b508080600101915050610a64565b505050565b6000600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211151515610b0857600080fd5b600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211151515610b9357600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614151515610bcf57600080fd5b610c2182600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a1690919063ffffffff16565b600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000610c6f836119a9565b90506000610c868285611a1690919063ffffffff16565b9050610cda81600360008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a2f90919063ffffffff16565b600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610d3282600554611a1690919063ffffffff16565b600581905550610dc784600460008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a1690919063ffffffff16565b600460008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508473ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3600073ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001925050509392505050565b6000600260009054906101000a900460ff16905090565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614151515610f7357600080fd5b61100282600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a2f90919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b6111773382611a4d565b50565b6000600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054811115151561124e57600080fd5b6112dd81600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a1690919063ffffffff16565b600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506113678282611a4d565b5050565b606060018054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156114035780601f106113d857610100808354040283529160200191611403565b820191906000526020600020905b8154815290600101906020018083116113e657829003601f168201915b5050505050905090565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415151561144a57600080fd5b6114d982600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a1690919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b6000600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115151561169457600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141515156116d057600080fd5b60006116db836119a9565b905060006116f28285611a1690919063ffffffff16565b905061174684600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a1690919063ffffffff16565b600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506117db81600360008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a2f90919063ffffffff16565b600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061183382600554611a1690919063ffffffff16565b6005819055508473ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3600073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a360019250505092915050565b60075481565b60085481565b60065481565b6000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b60006021821115156119c5576000600754905080915050611a11565b60006119f06008546119e260065486611bc590919063ffffffff16565b611c0090919063ffffffff16565b90506000611a0960075483611c1b90919063ffffffff16565b905080925050505b919050565b6000828211151515611a2457fe5b818303905092915050565b6000808284019050838110151515611a4357fe5b8091505092915050565b60008114151515611a5d57600080fd5b600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548111151515611aab57600080fd5b611ac081600554611a1690919063ffffffff16565b600581905550611b1881600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a1690919063ffffffff16565b600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b600080831415611bd85760009050611bfa565b60008284029050828482811515611beb57fe5b04141515611bf557fe5b809150505b92915050565b6000808284811515611c0e57fe5b0490508091505092915050565b600080611c288484611a2f565b90506000611c37826001611a16565b9050611c4c611c468286611c00565b85611bc5565b925050509291505056fea165627a7a723058203b96e72f537d05b15a3dfaec339b405d8cef7865d0d1b6b8d67b771fdbd44f050029

2108:4451:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1857:76;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1857:76:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;1857:76:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4191:224;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4191:224:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4191:224:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2707:85;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2707:85:0;;;;;;;;;;;;;;;;;;;;;;;3991:194;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3991:194:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3991:194:0;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;3991:194:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;3991:194:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;39:11;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;3991:194:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;3991:194:0;;;;;;;;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;3991:194:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;3991:194:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;39:11;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;3991:194:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;3991:194:0;;;;;;;;;;;;;;;;;;4421:688;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4421:688:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4421:688:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2025:76;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2025:76:0;;;;;;;;;;;;;;;;;;;;;;;;;;;5115:305;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5115:305:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5115:305:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5950:77;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5950:77:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5950:77:0;;;;;;;;;;;;;;;;;;;;2798:100;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2798:100:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2798:100:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6326:230;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6326:230:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6326:230:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1939:80;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1939:80:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;1939:80:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5426:315;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5426:315:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5426:315:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3413:572;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3413:572:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3413:572:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2501:30;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2501:30:0;;;;;;;;;;;;;;;;;;;;;;;2536:32;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2536:32:0;;;;;;;;;;;;;;;;;;;;;;;2463:33;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2463:33:0;;;;;;;;;;;;;;;;;;;;;;;2904:125;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2904:125:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2904:125:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3035:372;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3035:372:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3035:372:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1857:76;1893:13;1922:5;1915:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1857:76;:::o;4191:224::-;4256:4;4296:1;4277:21;;:7;:21;;;;4269:30;;;;;;;;4338:5;4306:8;:20;4315:10;4306:20;;;;;;;;;;;;;;;:29;4327:7;4306:29;;;;;;;;;;;;;;;:37;;;;4376:7;4355:36;;4364:10;4355:36;;;4385:5;4355:36;;;;;;;;;;;;;;;;;;4405:4;4398:11;;4191:224;;;;:::o;2707:85::-;2751:7;2774:12;;2767:19;;2707:85;:::o;3991:194::-;4087:9;4099:1;4087:13;;4082:98;4106:9;:16;4102:1;:20;4082:98;;;4138:34;4147:9;4157:1;4147:12;;;;;;;;;;;;;;;;;;4161:7;4169:1;4161:10;;;;;;;;;;;;;;;;;;4138:8;:34::i;:::-;;4124:3;;;;;;;4082:98;;;;3991:194;;:::o;4421:688::-;4500:4;4530:9;:15;4540:4;4530:15;;;;;;;;;;;;;;;;4521:5;:24;;4513:33;;;;;;;;4570:8;:14;4579:4;4570:14;;;;;;;;;;;;;;;:26;4585:10;4570:26;;;;;;;;;;;;;;;;4561:5;:35;;4553:44;;;;;;;;4626:1;4612:16;;:2;:16;;;;4604:25;;;;;;;;4656:26;4676:5;4656:9;:15;4666:4;4656:15;;;;;;;;;;;;;;;;:19;;:26;;;;:::i;:::-;4638:9;:15;4648:4;4638:15;;;;;;;;;;;;;;;:44;;;;4691:20;4714:23;4731:5;4714:16;:23::i;:::-;4691:46;;4744:24;4771:23;4781:12;4771:5;:9;;:23;;;;:::i;:::-;4744:50;;4819:35;4837:16;4819:9;:13;4829:2;4819:13;;;;;;;;;;;;;;;;:17;;:35;;;;:::i;:::-;4803:9;:13;4813:2;4803:13;;;;;;;;;;;;;;;:51;;;;4876:30;4893:12;4876;;:16;;:30;;;;:::i;:::-;4861:12;:45;;;;4944:37;4975:5;4944:8;:14;4953:4;4944:14;;;;;;;;;;;;;;;:26;4959:10;4944:26;;;;;;;;;;;;;;;;:30;;:37;;;;:::i;:::-;4915:8;:14;4924:4;4915:14;;;;;;;;;;;;;;;:26;4930:10;4915:26;;;;;;;;;;;;;;;:66;;;;5010:2;4995:36;;5004:4;4995:36;;;5014:16;4995:36;;;;;;;;;;;;;;;;;;5066:1;5043:40;;5052:4;5043:40;;;5070:12;5043:40;;;;;;;;;;;;;;;;;;5099:4;5092:11;;;;4421:688;;;;;:::o;2025:76::-;2065:5;2086:9;;;;;;;;;;;2079:16;;2025:76;:::o;5115:305::-;5195:4;5235:1;5216:21;;:7;:21;;;;5208:30;;;;;;;;5278:45;5312:10;5278:8;:20;5287:10;5278:20;;;;;;;;;;;;;;;:29;5299:7;5278:29;;;;;;;;;;;;;;;;:33;;:45;;;;:::i;:::-;5245:8;:20;5254:10;5245:20;;;;;;;;;;;;;;;:29;5266:7;5245:29;;;;;;;;;;;;;;;:79;;;;5357:7;5336:60;;5345:10;5336:60;;;5366:8;:20;5375:10;5366:20;;;;;;;;;;;;;;;:29;5387:7;5366:29;;;;;;;;;;;;;;;;5336:60;;;;;;;;;;;;;;;;;;5410:4;5403:11;;5115:305;;;;:::o;5950:77::-;5996:25;6002:10;6014:6;5996:5;:25::i;:::-;5950:77;:::o;2798:100::-;2853:7;2876:9;:16;2886:5;2876:16;;;;;;;;;;;;;;;;2869:23;;2798:100;;;:::o;6326:230::-;6411:8;:17;6420:7;6411:17;;;;;;;;;;;;;;;:29;6429:10;6411:29;;;;;;;;;;;;;;;;6401:6;:39;;6393:48;;;;;;;;6480:41;6514:6;6480:8;:17;6489:7;6480:17;;;;;;;;;;;;;;;:29;6498:10;6480:29;;;;;;;;;;;;;;;;:33;;:41;;;;:::i;:::-;6448:8;:17;6457:7;6448:17;;;;;;;;;;;;;;;:29;6466:10;6448:29;;;;;;;;;;;;;;;:73;;;;6528:22;6534:7;6543:6;6528:5;:22::i;:::-;6326:230;;:::o;1939:80::-;1977:13;2006:7;1999:14;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1939:80;:::o;5426:315::-;5511:4;5551:1;5532:21;;:7;:21;;;;5524:30;;;;;;;;5594:50;5628:15;5594:8;:20;5603:10;5594:20;;;;;;;;;;;;;;;:29;5615:7;5594:29;;;;;;;;;;;;;;;;:33;;:50;;;;:::i;:::-;5561:8;:20;5570:10;5561:20;;;;;;;;;;;;;;;:29;5582:7;5561:29;;;;;;;;;;;;;;;:84;;;;5678:7;5657:60;;5666:10;5657:60;;;5687:8;:20;5696:10;5687:20;;;;;;;;;;;;;;;:29;5708:7;5687:29;;;;;;;;;;;;;;;;5657:60;;;;;;;;;;;;;;;;;;5731:4;5724:11;;5426:315;;;;:::o;3413:572::-;3474:4;3504:9;:21;3514:10;3504:21;;;;;;;;;;;;;;;;3495:5;:30;;3487:39;;;;;;;;3555:1;3541:16;;:2;:16;;;;3533:25;;;;;;;;3567:20;3590:23;3607:5;3590:16;:23::i;:::-;3567:46;;3620:24;3647:23;3657:12;3647:5;:9;;:23;;;;:::i;:::-;3620:50;;3703:32;3729:5;3703:9;:21;3713:10;3703:21;;;;;;;;;;;;;;;;:25;;:32;;;;:::i;:::-;3679:9;:21;3689:10;3679:21;;;;;;;;;;;;;;;:56;;;;3758:35;3776:16;3758:9;:13;3768:2;3758:13;;;;;;;;;;;;;;;;:17;;:35;;;;:::i;:::-;3742:9;:13;3752:2;3742:13;;;;;;;;;;;;;;;:51;;;;3817:30;3834:12;3817;;:16;;:30;;;;:::i;:::-;3802:12;:45;;;;3882:2;3861:42;;3870:10;3861:42;;;3886:16;3861:42;;;;;;;;;;;;;;;;;;3944:1;3915:46;;3924:10;3915:46;;;3948:12;3915:46;;;;;;;;;;;;;;;;;;3975:4;3968:11;;;;3413:572;;;;:::o;2501:30::-;;;;:::o;2536:32::-;;;;:::o;2463:33::-;;;;:::o;2904:125::-;2976:7;2999:8;:15;3008:5;2999:15;;;;;;;;;;;;;;;:24;3015:7;2999:24;;;;;;;;;;;;;;;;2992:31;;2904:125;;;;:::o;3035:372::-;3097:7;3124:2;3117:5;:9;;3114:282;;;3138:20;3161:11;;3138:34;;3190:12;3183:19;;;;;3114:282;3231:19;3253:42;3283:11;;3253:25;3263:14;;3253:5;:9;;:25;;;;:::i;:::-;:29;;:42;;;;:::i;:::-;3231:64;;3306:20;3329:29;3346:11;;3329;:16;;:29;;;;:::i;:::-;3306:52;;3376:12;3369:19;;;;3035:372;;;;:::o;993:113::-;1051:7;1079:1;1074;:6;;1067:14;;;;;;1099:1;1095;:5;1088:12;;993:113;;;;:::o;1112:133::-;1170:7;1186:9;1202:1;1198;:5;1186:17;;1222:1;1217;:6;;1210:14;;;;;;1238:1;1231:8;;;1112:133;;;;:::o;6033:287::-;6115:1;6105:6;:11;;6097:20;;;;;;;;6142:9;:18;6152:7;6142:18;;;;;;;;;;;;;;;;6132:6;:28;;6124:37;;;;;;;;6183:24;6200:6;6183:12;;:16;;:24;;;;:::i;:::-;6168:12;:39;;;;6235:30;6258:6;6235:9;:18;6245:7;6235:18;;;;;;;;;;;;;;;;:22;;:30;;;;:::i;:::-;6214:9;:18;6224:7;6214:18;;;;;;;;;;;;;;;:51;;;;6303:1;6277:37;;6286:7;6277:37;;;6307:6;6277:37;;;;;;;;;;;;;;;;;;6033:287;;:::o;689:180::-;747:7;772:1;767;:6;763:37;;;791:1;784:8;;;;763:37;806:9;822:1;818;:5;806:17;;846:1;841;837;:5;;;;;;;;:10;830:18;;;;;;862:1;855:8;;;689:180;;;;;:::o;875:112::-;933:7;949:9;965:1;961;:5;;;;;;;;949:17;;980:1;973:8;;;875:112;;;;:::o;1251:157::-;1310:7;1326:9;1338:8;1342:1;1344;1338:3;:8::i;:::-;1326:20;;1353:9;1365:8;1369:1;1371;1365:3;:8::i;:::-;1353:20;;1387:15;1391:8;1395:1;1397;1391:3;:8::i;:::-;1400:1;1387:3;:15::i;:::-;1380:22;;;;1251:157;;;;:::o

bzzr://3b96e72f537d05b15a3dfaec339b405d8cef7865d0d1b6b8d67b771fdbd44f05