Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•  contract SafeMath
•    - function safeMul(uint256 a, uint256 b ...
•    - function safeDiv(uint256 a, uint256 b ...
•    - function safeSub(uint256 a, uint256 b ...
•    - function safeAdd(uint256 a, uint256 b ...
•    - function _assert(bool assertion)
•  contract ERC20Interface *
•    - function transfer(address _to, uint25 ...
•    - function transferFrom(address _from, ...
•    - function approve(address _spender, ui ...
•    - function allowance(address _owner, ad ...
•  contract ERC20 is ERC20Interface,S ... *
•    - function transfer(address _to, uint25 ...
•    - function transferFrom(address _from, ...
•    - function approve(address _spender, ui ...
•    - function allowance(address _owner, ad ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2019-10-27
*/

pragma solidity >=0.4.22 <0.6.0;

contract SafeMath {
  function safeMul(uint256 a, uint256 b) public pure  returns (uint256)  {
    uint256 c = a * b;
    assert(a == 0 || c / a == b);
    return c;
  }

  function safeDiv(uint256 a, uint256 b)public pure returns (uint256) {
    assert(b > 0);
    uint256 c = a / b;
    assert(a == b * c + a % b);
    return c;
  }

  function safeSub(uint256 a, uint256 b)public pure returns (uint256) {
    assert(b <= a);
    return a - b;
  }

  function safeAdd(uint256 a, uint256 b)public pure returns (uint256) {
    uint256 c = a + b;
    assert(c>=a && c>=b);
    return c;
  }

  function _assert(bool assertion)public pure {
    assert(!assertion);
  }
}


contract ERC20Interface {
  string public name;
  string public symbol;
  uint8 public  decimals;
  uint public totalSupply;
  
  function transfer(address _to, uint256 _value)public returns (bool success);
  function transferFrom(address _from, address _to, uint256 _value)public returns (bool success);
  function approve(address _spender, uint256 _value)public returns (bool success);
  function allowance(address _owner, address _spender)public view returns (uint256 remaining);
  
  event Transfer(address indexed _from, address indexed _to, uint256 _value);
  event Approval(address indexed _owner, address indexed _spender, uint256 _value);
 }
 
contract ERC20 is ERC20Interface,SafeMath{

    mapping(address => uint256) public balanceOf;

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

    constructor(string memory _name) public {
       name = _name;  
       symbol = "ENB";
       decimals = 8;
       totalSupply = 210000000000000000;
       balanceOf[msg.sender] = totalSupply;
    }

  function transfer(address _to, uint256 _value)public returns (bool success) {
      require(_to != address(0));
      require(balanceOf[msg.sender] >= _value);
      require(balanceOf[ _to] + _value >= balanceOf[ _to]); 

      balanceOf[msg.sender] =SafeMath.safeSub(balanceOf[msg.sender],_value) ;
      balanceOf[_to] =SafeMath.safeAdd(balanceOf[_to],_value) ;

      emit Transfer(msg.sender, _to, _value);

      return true;
  }

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

      balanceOf[_from] =SafeMath.safeSub(balanceOf[_from],_value) ;
      balanceOf[_to] =SafeMath.safeAdd(balanceOf[_to],_value) ;

      allowed[_from][msg.sender] =SafeMath.safeSub(allowed[_from][msg.sender],_value) ;

      emit Transfer(msg.sender, _to, _value);
      return true;
  }

  function approve(address _spender, uint256 _value)public returns (bool success) {
      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 remaining) {
      return allowed[_owner][_spender];
  }

}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_spender","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_from","type":"address"},{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"uint256","name":"a","type":"uint256"},{"internalType":"uint256","name":"b","type":"uint256"}],"name":"safeSub","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"pure","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"uint256","name":"a","type":"uint256"},{"internalType":"uint256","name":"b","type":"uint256"}],"name":"safeDiv","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"pure","type":"function"},{"constant":true,"inputs":[{"internalType":"bool","name":"assertion","type":"bool"}],"name":"_assert","outputs":[],"payable":false,"stateMutability":"pure","type":"function"},{"constant":true,"inputs":[{"internalType":"uint256","name":"a","type":"uint256"},{"internalType":"uint256","name":"b","type":"uint256"}],"name":"safeMul","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"pure","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"_owner","type":"address"},{"internalType":"address","name":"_spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"remaining","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"uint256","name":"a","type":"uint256"},{"internalType":"uint256","name":"b","type":"uint256"}],"name":"safeAdd","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"string","name":"_name","type":"string"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"_from","type":"address"},{"indexed":true,"internalType":"address","name":"_to","type":"address"},{"indexed":false,"internalType":"uint256","name":"_value","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"_owner","type":"address"},{"indexed":true,"internalType":"address","name":"_spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"_value","type":"uint256"}],"name":"Approval","type":"event"}]

608060405234801561001057600080fd5b50604051610a85380380610a858339818101604052602081101561003357600080fd5b810190808051604051939291908464010000000082111561005357600080fd5b90830190602082018581111561006857600080fd5b825164010000000081118282018810171561008257600080fd5b82525081516020918201929091019080838360005b838110156100af578181015183820152602001610097565b50505050905090810190601f1680156100dc5780820380516001836020036101000a031916815260200191505b50604052505081516100f69150600090602084019061016d565b506040805180820190915260038082527f454e420000000000000000000000000000000000000000000000000000000000602090920191825261013b9160019161016d565b50506002805460ff191660081790556702ea11e32ad50000600381905533600090815260046020526040902055610208565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106101ae57805160ff19168380011785556101db565b828001600101855582156101db579182015b828111156101db5782518255916020019190600101906101c0565b506101e79291506101eb565b5090565b61020591905b808211156101e757600081556001016101f1565b90565b61086e806102176000396000f3fe608060405234801561001057600080fd5b50600436106100ea5760003560e01c8063a293d1e81161008c578063cdeda05511610066578063cdeda055146102ba578063d05c78da146102db578063dd62ed3e146102fe578063e6cb90131461032c576100ea565b8063a293d1e814610248578063a9059cbb1461026b578063b5931f7c14610297576100ea565b806323b872dd116100c857806323b872dd146101c6578063313ce567146101fc57806370a082311461021a57806395d89b4114610240576100ea565b806306fdde03146100ef578063095ea7b31461016c57806318160ddd146101ac575b600080fd5b6100f761034f565b6040805160208082528351818301528351919283929083019185019080838360005b83811015610131578181015183820152602001610119565b50505050905090810190601f16801561015e5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101986004803603604081101561018257600080fd5b506001600160a01b0381351690602001356103dd565b604080519115158252519081900360200190f35b6101b461047d565b60408051918252519081900360200190f35b610198600480360360608110156101dc57600080fd5b506001600160a01b03813581169160208101359091169060400135610483565b610204610610565b6040805160ff9092168252519081900360200190f35b6101b46004803603602081101561023057600080fd5b50356001600160a01b0316610619565b6100f761062b565b6101b46004803603604081101561025e57600080fd5b5080359060200135610685565b6101986004803603604081101561028157600080fd5b506001600160a01b038135169060200135610697565b6101b4600480360360408110156102ad57600080fd5b5080359060200135610793565b6102d9600480360360208110156102d057600080fd5b503515156107c9565b005b6101b4600480360360408110156102f157600080fd5b50803590602001356107d4565b6101b46004803603604081101561031457600080fd5b506001600160a01b03813581169160200135166107f4565b6101b46004803603604081101561034257600080fd5b508035906020013561081f565b6000805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156103d55780601f106103aa576101008083540402835291602001916103d5565b820191906000526020600020905b8154815290600101906020018083116103b857829003601f168201915b505050505081565b600081158061040d57503360009081526005602090815260408083206001600160a01b0387168452909152902054155b61041657600080fd5b3360008181526005602090815260408083206001600160a01b03881680855290835292819020869055805186815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a350600192915050565b60035481565b60006001600160a01b03831661049857600080fd5b6001600160a01b03841660009081526005602090815260408083203384529091529020548211156104c857600080fd5b6001600160a01b0384166000908152600460205260409020548211156104ed57600080fd5b6001600160a01b038316600090815260046020526040902054828101101561051457600080fd5b6001600160a01b0384166000908152600460205260409020546105379083610685565b6001600160a01b038086166000908152600460205260408082209390935590851681522054610566908361081f565b6001600160a01b0380851660009081526004602090815260408083209490945591871681526005825282812033825290915220546105a49083610685565b6001600160a01b038086166000908152600560209081526040808320338085529083529281902094909455835186815293519287169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35060019392505050565b60025460ff1681565b60046020526000908152604090205481565b60018054604080516020600284861615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156103d55780601f106103aa576101008083540402835291602001916103d5565b60008282111561069157fe5b50900390565b60006001600160a01b0383166106ac57600080fd5b336000908152600460205260409020548211156106c857600080fd5b6001600160a01b03831660009081526004602052604090205482810110156106ef57600080fd5b336000908152600460205260409020546107099083610685565b33600090815260046020526040808220929092556001600160a01b03851681522054610735908361081f565b6001600160a01b0384166000818152600460209081526040918290209390935580518581529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a350600192915050565b600080821161079e57fe5b60008284816107a957fe5b0490508284816107b557fe5b068184020184146107c257fe5b9392505050565b80156107d157fe5b50565b60008282028315806107ee5750828482816107eb57fe5b04145b6107c257fe5b6001600160a01b03918216600090815260056020908152604080832093909416825291909152205490565b60008282018381108015906107ee5750828110156107c257fefea265627a7a723158206c42100e5e7bd90404af114ceab093b08596233e30745acc64c65d09699aae3e64736f6c634300050b003200000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000005456e6a6f79000000000000000000000000000000000000000000000000000000

0x608060405234801561001057600080fd5b50600436106100ea5760003560e01c8063a293d1e81161008c578063cdeda05511610066578063cdeda055146102ba578063d05c78da146102db578063dd62ed3e146102fe578063e6cb90131461032c576100ea565b8063a293d1e814610248578063a9059cbb1461026b578063b5931f7c14610297576100ea565b806323b872dd116100c857806323b872dd146101c6578063313ce567146101fc57806370a082311461021a57806395d89b4114610240576100ea565b806306fdde03146100ef578063095ea7b31461016c57806318160ddd146101ac575b600080fd5b6100f761034f565b6040805160208082528351818301528351919283929083019185019080838360005b83811015610131578181015183820152602001610119565b50505050905090810190601f16801561015e5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101986004803603604081101561018257600080fd5b506001600160a01b0381351690602001356103dd565b604080519115158252519081900360200190f35b6101b461047d565b60408051918252519081900360200190f35b610198600480360360608110156101dc57600080fd5b506001600160a01b03813581169160208101359091169060400135610483565b610204610610565b6040805160ff9092168252519081900360200190f35b6101b46004803603602081101561023057600080fd5b50356001600160a01b0316610619565b6100f761062b565b6101b46004803603604081101561025e57600080fd5b5080359060200135610685565b6101986004803603604081101561028157600080fd5b506001600160a01b038135169060200135610697565b6101b4600480360360408110156102ad57600080fd5b5080359060200135610793565b6102d9600480360360208110156102d057600080fd5b503515156107c9565b005b6101b4600480360360408110156102f157600080fd5b50803590602001356107d4565b6101b46004803603604081101561031457600080fd5b506001600160a01b03813581169160200135166107f4565b6101b46004803603604081101561034257600080fd5b508035906020013561081f565b6000805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156103d55780601f106103aa576101008083540402835291602001916103d5565b820191906000526020600020905b8154815290600101906020018083116103b857829003601f168201915b505050505081565b600081158061040d57503360009081526005602090815260408083206001600160a01b0387168452909152902054155b61041657600080fd5b3360008181526005602090815260408083206001600160a01b03881680855290835292819020869055805186815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a350600192915050565b60035481565b60006001600160a01b03831661049857600080fd5b6001600160a01b03841660009081526005602090815260408083203384529091529020548211156104c857600080fd5b6001600160a01b0384166000908152600460205260409020548211156104ed57600080fd5b6001600160a01b038316600090815260046020526040902054828101101561051457600080fd5b6001600160a01b0384166000908152600460205260409020546105379083610685565b6001600160a01b038086166000908152600460205260408082209390935590851681522054610566908361081f565b6001600160a01b0380851660009081526004602090815260408083209490945591871681526005825282812033825290915220546105a49083610685565b6001600160a01b038086166000908152600560209081526040808320338085529083529281902094909455835186815293519287169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35060019392505050565b60025460ff1681565b60046020526000908152604090205481565b60018054604080516020600284861615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156103d55780601f106103aa576101008083540402835291602001916103d5565b60008282111561069157fe5b50900390565b60006001600160a01b0383166106ac57600080fd5b336000908152600460205260409020548211156106c857600080fd5b6001600160a01b03831660009081526004602052604090205482810110156106ef57600080fd5b336000908152600460205260409020546107099083610685565b33600090815260046020526040808220929092556001600160a01b03851681522054610735908361081f565b6001600160a01b0384166000818152600460209081526040918290209390935580518581529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a350600192915050565b600080821161079e57fe5b60008284816107a957fe5b0490508284816107b557fe5b068184020184146107c257fe5b9392505050565b80156107d157fe5b50565b60008282028315806107ee5750828482816107eb57fe5b04145b6107c257fe5b6001600160a01b03918216600090815260056020908152604080832093909416825291909152205490565b60008282018381108015906107ee5750828110156107c257fefea265627a7a723158206c42100e5e7bd90404af114ceab093b08596233e30745acc64c65d09699aae3e64736f6c634300050b0032

00000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000005456e6a6f79000000000000000000000000000000000000000000000000000000

-----Decoded View---------------
Arg [0] : _name (string): Enjoy

-----Encoded View---------------
3 Constructor Arguments found :
Arg [0] : 0000000000000000000000000000000000000000000000000000000000000020
Arg [1] : 0000000000000000000000000000000000000000000000000000000000000005
Arg [2] : 456e6a6f79000000000000000000000000000000000000000000000000000000

1406:1848:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1406:1848:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;767:18;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:100:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;767:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2832:272;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;2832:272:0;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;842:23;;;:::i;:::-;;;;;;;;;;;;;;;;2235:591;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;2235:591:0;;;;;;;;;;;;;;;;;:::i;815:22::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1456:44;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;1456:44:0;-1:-1:-1;;;;;1456:44:0;;:::i;790:20::-;;;:::i;388:114::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;388:114:0;;;;;;;:::i;1784:445::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;1784:445:0;;;;;;;;:::i;216:166::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;216:166:0;;;;;;;:::i;654:75::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;654:75:0;;;;:::i;:::-;;59:151;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;59:151:0;;;;;;;:::i;3110:139::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;3110:139:0;;;;;;;;;;:::i;508:140::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;508:140:0;;;;;;;:::i;767:18::-;;;;;;;;;;;;;;;-1:-1:-1;;767:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2832:272::-;2898:12;2930:9;;;2929:47;;-1:-1:-1;2951:10:0;2943:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;2943:29:0;;;;;;;;;;:32;2929:47;2921:56;;;;;;2994:10;2986:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;2986:29:0;;;;;;;;;;;;:38;;;3040;;;;;;;2986:29;;2994:10;3040:38;;;;;;;;;;;-1:-1:-1;3094:4:0;2832:272;;;;:::o;842:23::-;;;;:::o;2235:591::-;2316:12;-1:-1:-1;;;;;2347:17:0;;2339:26;;;;;;-1:-1:-1;;;;;2382:14:0;;;;;;:7;:14;;;;;;;;2397:10;2382:26;;;;;;;;:36;-1:-1:-1;2382:36:0;2374:45;;;;;;-1:-1:-1;;;;;2436:16:0;;;;;;:9;:16;;;;;;:26;-1:-1:-1;2436:26:0;2428:35;;;;;;-1:-1:-1;;;;;2508:15:0;;;;;;:9;:15;;;;;;2480:24;;;:43;;2472:52;;;;;;-1:-1:-1;;;;;2570:16:0;;;;;;:9;:16;;;;;;2553:41;;2587:6;2553:16;:41::i;:::-;-1:-1:-1;;;;;2535:16:0;;;;;;;:9;:16;;;;;;:59;;;;2637:14;;;;;;;2620:39;;2652:6;2620:16;:39::i;:::-;-1:-1:-1;;;;;2604:14:0;;;;;;;:9;:14;;;;;;;;:55;;;;2716:14;;;;;:7;:14;;;;;2731:10;2716:26;;;;;;;2699:51;;2743:6;2699:16;:51::i;:::-;-1:-1:-1;;;;;2671:14:0;;;;;;;:7;:14;;;;;;;;2686:10;2671:26;;;;;;;;;;:79;;;;2767:33;;;;;;;;;;;2686:10;;2767:33;;;;;;;;;;-1:-1:-1;2816:4:0;2235:591;;;;;:::o;815:22::-;;;;;;:::o;1456:44::-;;;;;;;;;;;;;:::o;790:20::-;;;;;;;;;;;;;;;-1:-1:-1;;790:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;388:114;447:7;475:1;470;:6;;463:14;;;;-1:-1:-1;491:5:0;;;388:114::o;1784:445::-;1846:12;-1:-1:-1;;;;;1877:17:0;;1869:26;;;;;;1922:10;1912:21;;;;:9;:21;;;;;;:31;-1:-1:-1;1912:31:0;1904:40;;;;;;-1:-1:-1;;;;;1989:15:0;;;;;;:9;:15;;;;;;1961:24;;;:43;;1953:52;;;;;;2067:10;2057:21;;;;:9;:21;;;;;;2040:46;;2079:6;2040:16;:46::i;:::-;2027:10;2017:21;;;;:9;:21;;;;;;:69;;;;-1:-1:-1;;;;;2129:14:0;;;;;;2112:39;;2144:6;2112:16;:39::i;:::-;-1:-1:-1;;;;;2096:14:0;;;;;;:9;:14;;;;;;;;;:55;;;;2168:33;;;;;;;2096:14;;2177:10;;2168:33;;;;;;;;;;-1:-1:-1;2219:4:0;1784:445;;;;:::o;216:166::-;275:7;302:1;298;:5;291:13;;;;311:9;327:1;323;:5;;;;;;311:17;;359:1;355;:5;;;;;;351:1;347;:5;:13;342:1;:18;335:26;;;;375:1;216:166;-1:-1:-1;;;216:166:0:o;654:75::-;713:9;712:10;705:18;;;;654:75;:::o;59:151::-;120:7;149:5;;;168:6;;;:20;;;187:1;182;178;:5;;;;;;:10;168:20;161:28;;;3110:139;-1:-1:-1;;;;;3218:15:0;;;3183:17;3218:15;;;:7;:15;;;;;;;;:25;;;;;;;;;;;;;3110:139::o;508:140::-;567:7;595:5;;;614:4;;;;;;:12;;;625:1;622;:4;;607:20;;

bzzr://6c42100e5e7bd90404af114ceab093b08596233e30745acc64c65d09699aae3e