Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

library SafeMath    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function add(uint256 a, uint256 b)  contract ERC20Basic    - function totalSupply()    - function balanceOf(address who)    - function transfer(address to, uint256 ...  contract ERC20 is ERC20Basic    - function allowance(address owner, add ...    - function transferFrom(address from, a ...    - function approve(address spender, uin ...  contract BasicToken is ERC20Basic    - function totalSupply()    - function transfer(address _to, uint25 ...    - function balanceOf(address _owner)  contract StandardToken is ERC20, B ...    - function transferFrom(address _from, ...    - function approve(address _spender, ui ...    - function allowance(address _owner, ad ...    - function increaseApproval(address _sp ...    - function decreaseApproval(address _sp ...  contract SENbitGlobalToken is Stan ... *    - function setCroupier(address newCroup ...    - function transfer(address _target, ui ...    - function burn(address _target, uint25 ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2019-11-05
*/

pragma solidity ^0.4.24;

library SafeMath {

  function mul(uint256 a, uint256 b) internal pure returns (uint256 c) {
    if (a == 0) {
      return 0;
    }
    c = a * b;
    assert(c / a == b);
    return c;
  }

  function div(uint256 a, uint256 b) internal pure returns (uint256) {
    // assert(b > 0); // Solidity automatically throws when dividing by 0
    // uint256 c = a / b;
    // assert(a == b * c + a % b); // There is no case in which this doesn't hold
    return a / b;
  }

  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 c) {
    c = a + b;
    assert(c >= a);
    return c;
  }
}

contract ERC20Basic {
  function totalSupply() public view returns (uint256);
  function balanceOf(address who) public view returns (uint256);
  function transfer(address to, uint256 value) public returns (bool);
  event Transfer(address indexed from, address indexed to, uint256 value);
}

contract ERC20 is ERC20Basic {
  function allowance(address owner, address spender) public view returns (uint256);
  function transferFrom(address from, address to, uint256 value) public returns (bool);
  function approve(address spender, uint256 value) public returns (bool);
  event Approval(address indexed owner, address indexed spender, uint256 value);
}

contract BasicToken is ERC20Basic {
  using SafeMath for uint256;

  mapping(address => uint256) balances;

  uint256 totalSupply_;

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

  function transfer(address _to, uint256 _value) public returns (bool) {
    require(_to != address(0));
    require(_value <= balances[msg.sender]);

    balances[msg.sender] = balances[msg.sender].sub(_value);
    balances[_to] = balances[_to].add(_value);
    emit Transfer(msg.sender, _to, _value);
    return true;
  }

  function balanceOf(address _owner) public view returns (uint256) {
    return balances[_owner];
  }

}

contract StandardToken is ERC20, BasicToken {

  mapping (address => mapping (address => uint256)) internal allowed;

  function transferFrom(address _from, address _to, uint256 _value) public returns (bool) {
    require(_to != address(0));
    require(_value <= balances[_from]);
    require(_value <= allowed[_from][msg.sender]);

    balances[_from] = balances[_from].sub(_value);
    balances[_to] = balances[_to].add(_value);
    allowed[_from][msg.sender] = allowed[_from][msg.sender].sub(_value);
    emit Transfer(_from, _to, _value);
    return true;
  }

  function approve(address _spender, uint256 _value) public returns (bool) {
    require((_value == 0) || (allowed[msg.sender][_spender] == 0));
    allowed[msg.sender][_spender] = _value;
    emit Approval(msg.sender, _spender, _value);
    return true;
  }

  function allowance(address _owner, address _spender) public view returns (uint256) {
    return allowed[_owner][_spender];
  }

  function increaseApproval(address _spender, uint _addedValue) public returns (bool) {
    allowed[msg.sender][_spender] = allowed[msg.sender][_spender].add(_addedValue);
    emit Approval(msg.sender, _spender, allowed[msg.sender][_spender]);
    return true;
  }

  function decreaseApproval(address _spender, uint _subtractedValue) public returns (bool) {
    uint oldValue = allowed[msg.sender][_spender];
    if (_subtractedValue > oldValue) {
      allowed[msg.sender][_spender] = 0;
    } else {
      allowed[msg.sender][_spender] = oldValue.sub(_subtractedValue);
    }
    emit Approval(msg.sender, _spender, allowed[msg.sender][_spender]);
    return true;
  }

}

contract SENbitGlobalToken is StandardToken {

  string public name = "SENbit Global Token";
  string public symbol = "SGT";
  uint8 public decimals = 8;
  uint256 public INITIAL_SUPPLY = 400000000*10**8;

  address constant DUMMY_ADDRESS = 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE;

  address public owner;

  address public croupier;

  event Approval(address indexed _owner, address indexed _spender, uint256 _value);
  event Transfer(address indexed from, address indexed to, uint256 value);
  event Burn(address indexed _target, uint256 _value);

  constructor() public {
    totalSupply_ = INITIAL_SUPPLY;
    balances[msg.sender] = INITIAL_SUPPLY;
    owner = msg.sender; 
    croupier = DUMMY_ADDRESS;
  }

    modifier onlyOwner {
        require(msg.sender == owner, "onlyOwner method called by non-owner.");
        _;
    }

    modifier onlyCroupier {
        require (msg.sender == croupier, "OnlyCroupier methods called by non-croupier.");
        _;
    }

    function setCroupier(address newCroupier) external onlyOwner {
        croupier = newCroupier;
    }

  function transfer(address _target, uint256 _amount) public returns (bool) {
    require(_target != address(0));
    require(balances[msg.sender] >= _amount);
    balances[_target] = balances[_target].add(_amount);
    balances[msg.sender] = balances[msg.sender].sub(_amount);

    emit Transfer(msg.sender, _target, _amount);

    return true;
  }


  function burn(address _target, uint256 _amount) external onlyCroupier returns (bool) {
        require(_target != address(0));
        require(_amount > 0);
        balances[_target] = balances[_target].sub(_amount);
        totalSupply_ = totalSupply_.sub(_amount);
        INITIAL_SUPPLY = totalSupply_;
        emit Burn(_target, _amount);
        return true;
    }

}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_value","type":"uint256"}],"name":"approve","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_from","type":"address"},{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transferFrom","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"INITIAL_SUPPLY","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_subtractedValue","type":"uint256"}],"name":"decreaseApproval","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"croupier","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","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":"owner","outputs":[{"name":"","type":"address"}],"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":"_target","type":"address"},{"name":"_amount","type":"uint256"}],"name":"burn","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_target","type":"address"},{"name":"_amount","type":"uint256"}],"name":"transfer","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_addedValue","type":"uint256"}],"name":"increaseApproval","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"},{"name":"_spender","type":"address"}],"name":"allowance","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"newCroupier","type":"address"}],"name":"setCroupier","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"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"},{"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":"_target","type":"address"},{"indexed":false,"name":"_value","type":"uint256"}],"name":"Burn","type":"event"}]

60c0604052601360808190527f53454e62697420476c6f62616c20546f6b656e0000000000000000000000000060a090815261003e91600391906100fd565b506040805180820190915260038082527f53475400000000000000000000000000000000000000000000000000000000006020909201918252610083916004916100fd565b506005805460ff19166008179055668e1bc9bf0400006006553480156100a857600080fd5b5060065460018190553360008181526020819052604090209190915560078054600160a060020a031990811690921790556008805490911673eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee179055610198565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061013e57805160ff191683800117855561016b565b8280016001018555821561016b579182015b8281111561016b578251825591602001919060010190610150565b5061017792915061017b565b5090565b61019591905b808211156101775760008155600101610181565b90565b610c05806101a76000396000f3006080604052600436106100e55763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100ea578063095ea7b31461017457806318160ddd146101ac57806323b872dd146101d35780632ff2e9dc146101fd578063313ce56714610212578063661884631461023d5780636b5c5f391461026157806370a08231146102925780638da5cb5b146102b357806395d89b41146102c85780639dc29fac146102dd578063a9059cbb14610301578063d73dd62314610325578063dd62ed3e14610349578063f8bb201c14610370575b600080fd5b3480156100f657600080fd5b506100ff610393565b6040805160208082528351818301528351919283929083019185019080838360005b83811015610139578181015183820152602001610121565b50505050905090810190601f1680156101665780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561018057600080fd5b50610198600160a060020a0360043516602435610421565b604080519115158252519081900360200190f35b3480156101b857600080fd5b506101c16104c3565b60408051918252519081900360200190f35b3480156101df57600080fd5b50610198600160a060020a03600435811690602435166044356104c9565b34801561020957600080fd5b506101c1610640565b34801561021e57600080fd5b50610227610646565b6040805160ff9092168252519081900360200190f35b34801561024957600080fd5b50610198600160a060020a036004351660243561064f565b34801561026d57600080fd5b5061027661073f565b60408051600160a060020a039092168252519081900360200190f35b34801561029e57600080fd5b506101c1600160a060020a036004351661074e565b3480156102bf57600080fd5b50610276610769565b3480156102d457600080fd5b506100ff610778565b3480156102e957600080fd5b50610198600160a060020a03600435166024356107d3565b34801561030d57600080fd5b50610198600160a060020a036004351660243561093c565b34801561033157600080fd5b50610198600160a060020a0360043516602435610a22565b34801561035557600080fd5b506101c1600160a060020a0360043581169060243516610abb565b34801561037c57600080fd5b50610391600160a060020a0360043516610ae6565b005b6003805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156104195780601f106103ee57610100808354040283529160200191610419565b820191906000526020600020905b8154815290600101906020018083116103fc57829003601f168201915b505050505081565b60008115806104515750336000908152600260209081526040808320600160a060020a0387168452909152902054155b151561045c57600080fd5b336000818152600260209081526040808320600160a060020a03881680855290835292819020869055805186815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a350600192915050565b60015490565b6000600160a060020a03831615156104e057600080fd5b600160a060020a03841660009081526020819052604090205482111561050557600080fd5b600160a060020a038416600090815260026020908152604080832033845290915290205482111561053557600080fd5b600160a060020a03841660009081526020819052604090205461055e908363ffffffff610bb416565b600160a060020a038086166000908152602081905260408082209390935590851681522054610593908363ffffffff610bc616565b600160a060020a038085166000908152602081815260408083209490945591871681526002825282812033825290915220546105d5908363ffffffff610bb416565b600160a060020a03808616600081815260026020908152604080832033845282529182902094909455805186815290519287169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a35060019392505050565b60065481565b60055460ff1681565b336000908152600260209081526040808320600160a060020a0386168452909152812054808311156106a457336000908152600260209081526040808320600160a060020a03881684529091528120556106d9565b6106b4818463ffffffff610bb416565b336000908152600260209081526040808320600160a060020a03891684529091529020555b336000818152600260209081526040808320600160a060020a0389168085529083529281902054815190815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a35060019392505050565b600854600160a060020a031681565b600160a060020a031660009081526020819052604090205490565b600754600160a060020a031681565b6004805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156104195780601f106103ee57610100808354040283529160200191610419565b600854600090600160a060020a0316331461087557604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602c60248201527f4f6e6c7943726f7570696572206d6574686f64732063616c6c6564206279206e60448201527f6f6e2d63726f75706965722e0000000000000000000000000000000000000000606482015290519081900360840190fd5b600160a060020a038316151561088a57600080fd5b6000821161089757600080fd5b600160a060020a0383166000908152602081905260409020546108c0908363ffffffff610bb416565b600160a060020a0384166000908152602081905260409020556001546108ec908363ffffffff610bb416565b6001819055600655604080518381529051600160a060020a038516917fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5919081900360200190a250600192915050565b6000600160a060020a038316151561095357600080fd5b3360009081526020819052604090205482111561096f57600080fd5b600160a060020a038316600090815260208190526040902054610998908363ffffffff610bc616565b600160a060020a0384166000908152602081905260408082209290925533815220546109ca908363ffffffff610bb416565b33600081815260208181526040918290209390935580518581529051600160a060020a038716937fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef928290030190a350600192915050565b336000908152600260209081526040808320600160a060020a0386168452909152812054610a56908363ffffffff610bc616565b336000818152600260209081526040808320600160a060020a0389168085529083529281902085905580519485525191937f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929081900390910190a350600192915050565b600160a060020a03918216600090815260026020908152604080832093909416825291909152205490565b600754600160a060020a03163314610b8557604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602560248201527f6f6e6c794f776e6572206d6574686f642063616c6c6564206279206e6f6e2d6f60448201527f776e65722e000000000000000000000000000000000000000000000000000000606482015290519081900360840190fd5b6008805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0392909216919091179055565b600082821115610bc057fe5b50900390565b81810182811015610bd357fe5b929150505600a165627a7a723058206254f2bfd03800b094bf2fea84f3fade8ba581cf6e31c7a09285a65b0b5613660029

0x6080604052600436106100e55763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100ea578063095ea7b31461017457806318160ddd146101ac57806323b872dd146101d35780632ff2e9dc146101fd578063313ce56714610212578063661884631461023d5780636b5c5f391461026157806370a08231146102925780638da5cb5b146102b357806395d89b41146102c85780639dc29fac146102dd578063a9059cbb14610301578063d73dd62314610325578063dd62ed3e14610349578063f8bb201c14610370575b600080fd5b3480156100f657600080fd5b506100ff610393565b6040805160208082528351818301528351919283929083019185019080838360005b83811015610139578181015183820152602001610121565b50505050905090810190601f1680156101665780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561018057600080fd5b50610198600160a060020a0360043516602435610421565b604080519115158252519081900360200190f35b3480156101b857600080fd5b506101c16104c3565b60408051918252519081900360200190f35b3480156101df57600080fd5b50610198600160a060020a03600435811690602435166044356104c9565b34801561020957600080fd5b506101c1610640565b34801561021e57600080fd5b50610227610646565b6040805160ff9092168252519081900360200190f35b34801561024957600080fd5b50610198600160a060020a036004351660243561064f565b34801561026d57600080fd5b5061027661073f565b60408051600160a060020a039092168252519081900360200190f35b34801561029e57600080fd5b506101c1600160a060020a036004351661074e565b3480156102bf57600080fd5b50610276610769565b3480156102d457600080fd5b506100ff610778565b3480156102e957600080fd5b50610198600160a060020a03600435166024356107d3565b34801561030d57600080fd5b50610198600160a060020a036004351660243561093c565b34801561033157600080fd5b50610198600160a060020a0360043516602435610a22565b34801561035557600080fd5b506101c1600160a060020a0360043581169060243516610abb565b34801561037c57600080fd5b50610391600160a060020a0360043516610ae6565b005b6003805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156104195780601f106103ee57610100808354040283529160200191610419565b820191906000526020600020905b8154815290600101906020018083116103fc57829003601f168201915b505050505081565b60008115806104515750336000908152600260209081526040808320600160a060020a0387168452909152902054155b151561045c57600080fd5b336000818152600260209081526040808320600160a060020a03881680855290835292819020869055805186815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a350600192915050565b60015490565b6000600160a060020a03831615156104e057600080fd5b600160a060020a03841660009081526020819052604090205482111561050557600080fd5b600160a060020a038416600090815260026020908152604080832033845290915290205482111561053557600080fd5b600160a060020a03841660009081526020819052604090205461055e908363ffffffff610bb416565b600160a060020a038086166000908152602081905260408082209390935590851681522054610593908363ffffffff610bc616565b600160a060020a038085166000908152602081815260408083209490945591871681526002825282812033825290915220546105d5908363ffffffff610bb416565b600160a060020a03808616600081815260026020908152604080832033845282529182902094909455805186815290519287169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a35060019392505050565b60065481565b60055460ff1681565b336000908152600260209081526040808320600160a060020a0386168452909152812054808311156106a457336000908152600260209081526040808320600160a060020a03881684529091528120556106d9565b6106b4818463ffffffff610bb416565b336000908152600260209081526040808320600160a060020a03891684529091529020555b336000818152600260209081526040808320600160a060020a0389168085529083529281902054815190815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a35060019392505050565b600854600160a060020a031681565b600160a060020a031660009081526020819052604090205490565b600754600160a060020a031681565b6004805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156104195780601f106103ee57610100808354040283529160200191610419565b600854600090600160a060020a0316331461087557604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602c60248201527f4f6e6c7943726f7570696572206d6574686f64732063616c6c6564206279206e60448201527f6f6e2d63726f75706965722e0000000000000000000000000000000000000000606482015290519081900360840190fd5b600160a060020a038316151561088a57600080fd5b6000821161089757600080fd5b600160a060020a0383166000908152602081905260409020546108c0908363ffffffff610bb416565b600160a060020a0384166000908152602081905260409020556001546108ec908363ffffffff610bb416565b6001819055600655604080518381529051600160a060020a038516917fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5919081900360200190a250600192915050565b6000600160a060020a038316151561095357600080fd5b3360009081526020819052604090205482111561096f57600080fd5b600160a060020a038316600090815260208190526040902054610998908363ffffffff610bc616565b600160a060020a0384166000908152602081905260408082209290925533815220546109ca908363ffffffff610bb416565b33600081815260208181526040918290209390935580518581529051600160a060020a038716937fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef928290030190a350600192915050565b336000908152600260209081526040808320600160a060020a0386168452909152812054610a56908363ffffffff610bc616565b336000818152600260209081526040808320600160a060020a0389168085529083529281902085905580519485525191937f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929081900390910190a350600192915050565b600160a060020a03918216600090815260026020908152604080832093909416825291909152205490565b600754600160a060020a03163314610b8557604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602560248201527f6f6e6c794f776e6572206d6574686f642063616c6c6564206279206e6f6e2d6f60448201527f776e65722e000000000000000000000000000000000000000000000000000000606482015290519081900360840190fd5b6008805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0392909216919091179055565b600082821115610bc057fe5b50900390565b81810182811015610bd357fe5b929150505600a165627a7a723058206254f2bfd03800b094bf2fea84f3fade8ba581cf6e31c7a09285a65b0b5613660029

3790:1867:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3841:42;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3841:42: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;3841:42:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2696:261;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;2696:261:0;-1:-1:-1;;;;;2696:261:0;;;;;;;;;;;;;;;;;;;;;;;;;1576:85;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1576:85:0;;;;;;;;;;;;;;;;;;;;2236:454;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;2236:454:0;-1:-1:-1;;;;;2236:454:0;;;;;;;;;;;;3951:47;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3951:47:0;;;;3921:25;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3921:25:0;;;;;;;;;;;;;;;;;;;;;;;3369:412;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;3369:412:0;-1:-1:-1;;;;;3369:412:0;;;;;;;4114:23;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4114:23:0;;;;;;;;-1:-1:-1;;;;;4114:23:0;;;;;;;;;;;;;;2002:101;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;2002:101:0;-1:-1:-1;;;;;2002:101:0;;;;;4087:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4087:20:0;;;;3888:28;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3888:28:0;;;;5275:377;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;5275:377:0;-1:-1:-1;;;;;5275:377:0;;;;;;;4911:356;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;4911:356:0;-1:-1:-1;;;;;4911:356:0;;;;;;;3097:266;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;3097:266:0;-1:-1:-1;;;;;3097:266:0;;;;;;;2963:128;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;2963:128:0;-1:-1:-1;;;;;2963:128:0;;;;;;;;;;4803:102;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;4803:102:0;-1:-1:-1;;;;;4803:102:0;;;;;;;3841:42;;;;;;;;;;;;;;;-1:-1:-1;;3841:42:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2696:261::-;2763:4;2785:11;;;2784:53;;-1:-1:-1;2810:10:0;2802:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;2802:29:0;;;;;;;;;;:34;2784:53;2776:62;;;;;;;;2853:10;2845:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;2845:29:0;;;;;;;;;;;;:38;;;2895;;;;;;;2845:29;;2853:10;2895:38;;;;;;;;;;;-1:-1:-1;2947:4:0;2696:261;;;;:::o;1576:85::-;1643:12;;1576:85;:::o;2236:454::-;2318:4;-1:-1:-1;;;;;2339:17:0;;;;2331:26;;;;;;-1:-1:-1;;;;;2382:15:0;;:8;:15;;;;;;;;;;;2372:25;;;2364:34;;;;;;-1:-1:-1;;;;;2423:14:0;;;;;;:7;:14;;;;;;;;2438:10;2423:26;;;;;;;;2413:36;;;2405:45;;;;;;-1:-1:-1;;;;;2477:15:0;;:8;:15;;;;;;;;;;;:27;;2497:6;2477:27;:19;:27;:::i;:::-;-1:-1:-1;;;;;2459:15:0;;;:8;:15;;;;;;;;;;;:45;;;;2527:13;;;;;;;:25;;2545:6;2527:25;:17;:25;:::i;:::-;-1:-1:-1;;;;;2511:13:0;;;:8;:13;;;;;;;;;;;:41;;;;2588:14;;;;;:7;:14;;;;;2603:10;2588:26;;;;;;;:38;;2619:6;2588:38;:30;:38;:::i;:::-;-1:-1:-1;;;;;2559:14:0;;;;;;;:7;:14;;;;;;;;2574:10;2559:26;;;;;;;;:67;;;;2638:28;;;;;;;;;;;2559:14;;2638:28;;;;;;;;;;;-1:-1:-1;2680:4:0;2236:454;;;;;:::o;3951:47::-;;;;:::o;3921:25::-;;;;;;:::o;3369:412::-;3489:10;3452:4;3481:19;;;:7;:19;;;;;;;;-1:-1:-1;;;;;3481:29:0;;;;;;;;;;3521:27;;;3517:168;;;3567:10;3591:1;3559:19;;;:7;:19;;;;;;;;-1:-1:-1;;;;;3559:29:0;;;;;;;;;:33;3517:168;;;3647:30;:8;3660:16;3647:30;:12;:30;:::i;:::-;3623:10;3615:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;3615:29:0;;;;;;;;;:62;3517:168;3705:10;3727:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;3696:61:0;;3727:29;;;;;;;;;;;3696:61;;;;;;;;;3705:10;3696:61;;;;;;;;;;;-1:-1:-1;3771:4:0;;3369:412;-1:-1:-1;;;3369:412:0:o;4114:23::-;;;-1:-1:-1;;;;;4114:23:0;;:::o;2002:101::-;-1:-1:-1;;;;;2081:16:0;2058:7;2081:16;;;;;;;;;;;;2002:101::o;4087:20::-;;;-1:-1:-1;;;;;4087:20:0;;:::o;3888:28::-;;;;;;;;;;;;;;;-1:-1:-1;;3888:28:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5275:377;4718:8;;5354:4;;-1:-1:-1;;;;;4718:8:0;4704:10;:22;4695:80;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;5379:21:0;;;;5371:30;;;;;;5430:1;5420:11;;5412:20;;;;;;-1:-1:-1;;;;;5463:17:0;;:8;:17;;;;;;;;;;;:30;;5485:7;5463:30;:21;:30;:::i;:::-;-1:-1:-1;;;;;5443:17:0;;:8;:17;;;;;;;;;;:50;5519:12;;:25;;5536:7;5519:25;:16;:25;:::i;:::-;5504:12;:40;;;5555:14;:29;5600:22;;;;;;;;-1:-1:-1;;;;;5600:22:0;;;;;;;;;;;;;-1:-1:-1;5640:4:0;5275:377;;;;:::o;4911:356::-;4979:4;-1:-1:-1;;;;;5000:21:0;;;;4992:30;;;;;;5046:10;5037:8;:20;;;;;;;;;;;:31;-1:-1:-1;5037:31:0;5029:40;;;;;;-1:-1:-1;;;;;5096:17:0;;:8;:17;;;;;;;;;;;:30;;5118:7;5096:30;:21;:30;:::i;:::-;-1:-1:-1;;;;;5076:17:0;;:8;:17;;;;;;;;;;;:50;;;;5165:10;5156:20;;;;:33;;5181:7;5156:33;:24;:33;:::i;:::-;5142:10;5133:8;:20;;;;;;;;;;;;:56;;;;5203:38;;;;;;;-1:-1:-1;;;;;5203:38:0;;;;;;;;;;;-1:-1:-1;5257:4:0;4911:356;;;;:::o;3097:266::-;3228:10;3175:4;3220:19;;;:7;:19;;;;;;;;-1:-1:-1;;;;;3220:29:0;;;;;;;;;;:46;;3254:11;3220:46;:33;:46;:::i;:::-;3196:10;3188:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;3188:29:0;;;;;;;;;;;;:78;;;3278:61;;;;;;3188:29;;3278:61;;;;;;;;;;;-1:-1:-1;3353:4:0;3097:266;;;;:::o;2963:128::-;-1:-1:-1;;;;;3060:15:0;;;3037:7;3060:15;;;:7;:15;;;;;;;;:25;;;;;;;;;;;;;2963:128::o;4803:102::-;4587:5;;-1:-1:-1;;;;;4587:5:0;4573:10;:19;4565:69;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4875:8;:22;;-1:-1:-1;;4875:22:0;-1:-1:-1;;;;;4875:22:0;;;;;;;;;;4803:102::o;515:113::-;573:7;596:6;;;;589:14;;;;-1:-1:-1;617:5:0;;;515:113::o;634:127::-;714:5;;;733:6;;;;726:14;;;;634:127;;;;:::o

bzzr://6254f2bfd03800b094bf2fea84f3fade8ba581cf6e31c7a09285a65b0b561366