Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

 contract ERC20Basic    - function balanceOf(address who)    - function transfer(address to, uint256 ... 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 BasicToken is ERC20Basic    - function transfer(address _to, uint25 ...    - function balanceOf(address _owner)  contract ERC20 is ERC20Basic    - function allowance(address owner, add ...    - function transferFrom(address from, a ...    - function approve(address spender, uin ...  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 BurnableToken is BasicTok ...    - function burn(uint256 _value)  contract ZXTH is StandardToken, Bu ... *    - function ZXTH()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-02-08
*/

pragma solidity ^0.4.25;


contract ERC20Basic {
  uint256 public totalSupply;
  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);
}

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


contract BasicToken is ERC20Basic {
  using SafeMath for uint256;

  mapping(address => uint256) balances;

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

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

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

}

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 StandardToken is ERC20, BasicToken {

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


  function transferFrom(address _from, address _to, uint256 _value) public returns (bool) {
    require(_value > 0);
    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);
    Transfer(_from, _to, _value);
    return true;
  }

  function approve(address _spender, uint256 _value) public returns (bool) {
    require(_value > 0);
    allowed[msg.sender][_spender] = _value;
    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) {
    require(_addedValue > 0);
    allowed[msg.sender][_spender] = allowed[msg.sender][_spender].add(_addedValue);
    Approval(msg.sender, _spender, allowed[msg.sender][_spender]);
    return true;
  }

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

}

contract BurnableToken is BasicToken {

  event Burn(address indexed burner, uint256 value);

  function burn(uint256 _value) public {
    require(_value > 0);
    require(_value <= balances[msg.sender]);

    address burner = msg.sender;
    balances[burner] = balances[burner].sub(_value);
    totalSupply = totalSupply.sub(_value);
    Burn(burner, _value);
  }
}


contract ZXTH is StandardToken, BurnableToken {

  string public constant name = "ZXTH"; 
  string public constant symbol = "ZXTH"; 
  uint8 public constant decimals = 18; 

  uint256 public constant INITIAL_SUPPLY = 21000000 * (10 ** uint256(decimals));

  function ZXTH() public {
    totalSupply = INITIAL_SUPPLY;
    balances[msg.sender] = INITIAL_SUPPLY;
    Transfer(0x0, msg.sender, INITIAL_SUPPLY);
  }

}

• 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":"_value","type":"uint256"}],"name":"burn","outputs":[],"payable":false,"stateMutability":"nonpayable","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":"_owner","type":"address"}],"name":"balanceOf","outputs":[{"name":"balance","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_value","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"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"name":"burner","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Burn","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"},{"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"}]

608060405234801561001057600080fd5b506a115eec47f6cf7e3500000060008181553380825260016020908152604080842085905580519485525191937fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929081900390910190a3610923806100776000396000f3006080604052600436106100c45763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100c9578063095ea7b31461015357806318160ddd1461018b57806323b872dd146101b25780632ff2e9dc146101dc578063313ce567146101f157806342966c681461021c578063661884631461023657806370a082311461025a57806395d89b41146100c9578063a9059cbb1461027b578063d73dd6231461029f578063dd62ed3e146102c3575b600080fd5b3480156100d557600080fd5b506100de6102ea565b6040805160208082528351818301528351919283929083019185019080838360005b83811015610118578181015183820152602001610100565b50505050905090810190601f1680156101455780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561015f57600080fd5b50610177600160a060020a0360043516602435610321565b604080519115158252519081900360200190f35b34801561019757600080fd5b506101a0610396565b60408051918252519081900360200190f35b3480156101be57600080fd5b50610177600160a060020a036004358116906024351660443561039c565b3480156101e857600080fd5b506101a0610521565b3480156101fd57600080fd5b50610206610530565b6040805160ff9092168252519081900360200190f35b34801561022857600080fd5b50610234600435610535565b005b34801561024257600080fd5b50610177600160a060020a03600435166024356105f3565b34801561026657600080fd5b506101a0600160a060020a03600435166106f3565b34801561028757600080fd5b50610177600160a060020a036004351660243561070e565b3480156102ab57600080fd5b50610177600160a060020a03600435166024356107fd565b3480156102cf57600080fd5b506101a0600160a060020a03600435811690602435166108a4565b60408051808201909152600481527f5a58544800000000000000000000000000000000000000000000000000000000602082015281565b600080821161032f57600080fd5b336000818152600260209081526040808320600160a060020a03881680855290835292819020869055805186815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a350600192915050565b60005481565b60008082116103aa57600080fd5b600160a060020a03831615156103bf57600080fd5b600160a060020a0384166000908152600160205260409020548211156103e457600080fd5b600160a060020a038416600090815260026020908152604080832033845290915290205482111561041457600080fd5b600160a060020a03841660009081526001602052604090205461043d908363ffffffff6108cf16565b600160a060020a038086166000908152600160205260408082209390935590851681522054610472908363ffffffff6108e116565b600160a060020a0380851660009081526001602090815260408083209490945591871681526002825282812033825290915220546104b6908363ffffffff6108cf16565b600160a060020a03808616600081815260026020908152604080832033845282529182902094909455805186815290519287169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a35060019392505050565b6a115eec47f6cf7e3500000081565b601281565b600080821161054357600080fd5b3360009081526001602052604090205482111561055f57600080fd5b5033600081815260016020526040902054610580908363ffffffff6108cf16565b600160a060020a038216600090815260016020526040812091909155546105ad908363ffffffff6108cf16565b600055604080518381529051600160a060020a038316917fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5919081900360200190a25050565b60008080831161060257600080fd5b50336000908152600260209081526040808320600160a060020a03871684529091529020548083111561065857336000908152600260209081526040808320600160a060020a038816845290915281205561068d565b610668818463ffffffff6108cf16565b336000908152600260209081526040808320600160a060020a03891684529091529020555b336000818152600260209081526040808320600160a060020a0389168085529083529281902054815190815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a35060019392505050565b600160a060020a031660009081526001602052604090205490565b600080821161071c57600080fd5b600160a060020a038316151561073157600080fd5b3360009081526001602052604090205482111561074d57600080fd5b3360009081526001602052604090205461076d908363ffffffff6108cf16565b3360009081526001602052604080822092909255600160a060020a0385168152205461079f908363ffffffff6108e116565b600160a060020a0384166000818152600160209081526040918290209390935580518581529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a350600192915050565b600080821161080b57600080fd5b336000908152600260209081526040808320600160a060020a038716845290915290205461083f908363ffffffff6108e116565b336000818152600260209081526040808320600160a060020a0389168085529083529281902085905580519485525191937f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929081900390910190a350600192915050565b600160a060020a03918216600090815260026020908152604080832093909416825291909152205490565b6000828211156108db57fe5b50900390565b6000828201838110156108f057fe5b93925050505600a165627a7a723058208e66d094cc9a3886e2004cba0ab854b8836288bea1bd0862f0327b19440f5d200029

0x6080604052600436106100c45763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100c9578063095ea7b31461015357806318160ddd1461018b57806323b872dd146101b25780632ff2e9dc146101dc578063313ce567146101f157806342966c681461021c578063661884631461023657806370a082311461025a57806395d89b41146100c9578063a9059cbb1461027b578063d73dd6231461029f578063dd62ed3e146102c3575b600080fd5b3480156100d557600080fd5b506100de6102ea565b6040805160208082528351818301528351919283929083019185019080838360005b83811015610118578181015183820152602001610100565b50505050905090810190601f1680156101455780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561015f57600080fd5b50610177600160a060020a0360043516602435610321565b604080519115158252519081900360200190f35b34801561019757600080fd5b506101a0610396565b60408051918252519081900360200190f35b3480156101be57600080fd5b50610177600160a060020a036004358116906024351660443561039c565b3480156101e857600080fd5b506101a0610521565b3480156101fd57600080fd5b50610206610530565b6040805160ff9092168252519081900360200190f35b34801561022857600080fd5b50610234600435610535565b005b34801561024257600080fd5b50610177600160a060020a03600435166024356105f3565b34801561026657600080fd5b506101a0600160a060020a03600435166106f3565b34801561028757600080fd5b50610177600160a060020a036004351660243561070e565b3480156102ab57600080fd5b50610177600160a060020a03600435166024356107fd565b3480156102cf57600080fd5b506101a0600160a060020a03600435811690602435166108a4565b60408051808201909152600481527f5a58544800000000000000000000000000000000000000000000000000000000602082015281565b600080821161032f57600080fd5b336000818152600260209081526040808320600160a060020a03881680855290835292819020869055805186815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a350600192915050565b60005481565b60008082116103aa57600080fd5b600160a060020a03831615156103bf57600080fd5b600160a060020a0384166000908152600160205260409020548211156103e457600080fd5b600160a060020a038416600090815260026020908152604080832033845290915290205482111561041457600080fd5b600160a060020a03841660009081526001602052604090205461043d908363ffffffff6108cf16565b600160a060020a038086166000908152600160205260408082209390935590851681522054610472908363ffffffff6108e116565b600160a060020a0380851660009081526001602090815260408083209490945591871681526002825282812033825290915220546104b6908363ffffffff6108cf16565b600160a060020a03808616600081815260026020908152604080832033845282529182902094909455805186815290519287169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a35060019392505050565b6a115eec47f6cf7e3500000081565b601281565b600080821161054357600080fd5b3360009081526001602052604090205482111561055f57600080fd5b5033600081815260016020526040902054610580908363ffffffff6108cf16565b600160a060020a038216600090815260016020526040812091909155546105ad908363ffffffff6108cf16565b600055604080518381529051600160a060020a038316917fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5919081900360200190a25050565b60008080831161060257600080fd5b50336000908152600260209081526040808320600160a060020a03871684529091529020548083111561065857336000908152600260209081526040808320600160a060020a038816845290915281205561068d565b610668818463ffffffff6108cf16565b336000908152600260209081526040808320600160a060020a03891684529091529020555b336000818152600260209081526040808320600160a060020a0389168085529083529281902054815190815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a35060019392505050565b600160a060020a031660009081526001602052604090205490565b600080821161071c57600080fd5b600160a060020a038316151561073157600080fd5b3360009081526001602052604090205482111561074d57600080fd5b3360009081526001602052604090205461076d908363ffffffff6108cf16565b3360009081526001602052604080822092909255600160a060020a0385168152205461079f908363ffffffff6108e116565b600160a060020a0384166000818152600160209081526040918290209390935580518581529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a350600192915050565b600080821161080b57600080fd5b336000908152600260209081526040808320600160a060020a038716845290915290205461083f908363ffffffff6108e116565b336000818152600260209081526040808320600160a060020a0389168085529083529281902085905580519485525191937f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929081900390910190a350600192915050565b600160a060020a03918216600090815260026020908152604080832093909416825291909152205490565b6000828211156108db57fe5b50900390565b6000828201838110156108f057fe5b93925050505600a165627a7a723058208e66d094cc9a3886e2004cba0ab854b8836288bea1bd0862f0327b19440f5d200029

3947:427:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4000:36;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4000:36: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;4000:36:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2459:213;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;2459:213:0;-1:-1:-1;;;;;2459:213:0;;;;;;;;;;;;;;;;;;;;;;;;;55:26;;8:9:-1;5:2;;;30:1;27;20:12;5:2;55:26:0;;;;;;;;;;;;;;;;;;;;1978:475;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;1978:475:0;-1:-1:-1;;;;;1978:475:0;;;;;;;;;;;;4129:77;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4129:77:0;;;;4086:35;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4086:35:0;;;;;;;;;;;;;;;;;;;;;;;3662:276;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;3662:276:0;;;;;;;3110:443;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;3110:443:0;-1:-1:-1;;;;;3110:443:0;;;;;;;1362:109;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;1362:109:0;-1:-1:-1;;;;;1362:109:0;;;;;1006:350;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;1006:350:0;-1:-1:-1;;;;;1006:350:0;;;;;;;2812:292;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;2812:292:0;-1:-1:-1;;;;;2812:292:0;;;;;;;2678:128;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;2678:128:0;-1:-1:-1;;;;;2678:128:0;;;;;;;;;;4000:36;;;;;;;;;;;;;;;;;;;:::o;2459:213::-;2526:4;2547:10;;;2539:19;;;;;;2573:10;2565:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;2565:29:0;;;;;;;;;;;;:38;;;2610;;;;;;;2565:29;;2573:10;2610:38;;;;;;;;;;;-1:-1:-1;2662:4:0;2459:213;;;;:::o;55:26::-;;;;:::o;1978:475::-;2060:4;2081:10;;;2073:19;;;;;;-1:-1:-1;;;;;2107:17:0;;;;2099:26;;;;;;-1:-1:-1;;;;;2150:15:0;;;;;;:8;:15;;;;;;2140:25;;;2132:34;;;;;;-1:-1:-1;;;;;2191:14:0;;;;;;:7;:14;;;;;;;;2206:10;2191:26;;;;;;;;2181:36;;;2173:45;;;;;;-1:-1:-1;;;;;2245:15:0;;;;;;:8;:15;;;;;;:27;;2265:6;2245:27;:19;:27;:::i;:::-;-1:-1:-1;;;;;2227:15:0;;;;;;;:8;:15;;;;;;:45;;;;2295:13;;;;;;;:25;;2313:6;2295:25;:17;:25;:::i;:::-;-1:-1:-1;;;;;2279:13:0;;;;;;;:8;:13;;;;;;;;:41;;;;2356:14;;;;;:7;:14;;;;;2371:10;2356:26;;;;;;;:38;;2387:6;2356:38;:30;:38;:::i;:::-;-1:-1:-1;;;;;2327:14:0;;;;;;;:7;:14;;;;;;;;2342:10;2327:26;;;;;;;;:67;;;;2401:28;;;;;;;;;;;2327:14;;2401:28;;;;;;;;;;;-1:-1:-1;2443:4:0;1978:475;;;;;:::o;4129:77::-;4170:36;4129:77;:::o;4086:35::-;4119:2;4086:35;:::o;3662:276::-;3780:14;3714:10;;;3706:19;;;;;;3759:10;3750:20;;;;:8;:20;;;;;;3740:30;;;3732:39;;;;;;-1:-1:-1;3797:10:0;3833:16;;;;:8;:16;;;;;;:28;;3854:6;3833:28;:20;:28;:::i;:::-;-1:-1:-1;;;;;3814:16:0;;;;;;:8;:16;;;;;:47;;;;3882:11;:23;;3898:6;3882:23;:15;:23;:::i;:::-;3868:11;:37;3912:20;;;;;;;;-1:-1:-1;;;;;3912:20:0;;;;;;;;;;;;;3662:276;;:::o;3110:443::-;3193:4;;3214:20;;;3206:29;;;;;;-1:-1:-1;3266:10:0;3258:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;3258:29:0;;;;;;;;;;3298:27;;;3294:168;;;3344:10;3368:1;3336:19;;;:7;:19;;;;;;;;-1:-1:-1;;;;;3336:29:0;;;;;;;;;:33;3294:168;;;3424:30;:8;3437:16;3424:30;:12;:30;:::i;:::-;3400:10;3392:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;3392:29:0;;;;;;;;;:62;3294:168;3477:10;3499:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;3468:61:0;;3499:29;;;;;;;;;;;3468:61;;;;;;;;;3477:10;3468:61;;;;;;;;;;;-1:-1:-1;3543:4:0;;3110:443;-1:-1:-1;;;3110:443:0:o;1362:109::-;-1:-1:-1;;;;;1449:16:0;1418:15;1449:16;;;:8;:16;;;;;;;1362:109::o;1006:350::-;1069:4;1090:10;;;1082:19;;;;;;-1:-1:-1;;;;;1116:17:0;;;;1108:26;;;;;;1168:10;1159:20;;;;:8;:20;;;;;;1149:30;;;1141:39;;;;;;1221:10;1212:20;;;;:8;:20;;;;;;:32;;1237:6;1212:32;:24;:32;:::i;:::-;1198:10;1189:20;;;;:8;:20;;;;;;:55;;;;-1:-1:-1;;;;;1267:13:0;;;;;;:25;;1285:6;1267:25;:17;:25;:::i;:::-;-1:-1:-1;;;;;1251:13:0;;;;;;:8;:13;;;;;;;;;:41;;;;1299:33;;;;;;;1251:13;;1308:10;;1299:33;;;;;;;;;;-1:-1:-1;1346:4:0;1006:350;;;;:::o;2812:292::-;2890:4;2911:15;;;2903:24;;;;;;2974:10;2966:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;2966:29:0;;;;;;;;;;:46;;3000:11;2966:46;:33;:46;:::i;:::-;2942:10;2934:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;2934:29:0;;;;;;;;;;;;:78;;;3019:61;;;;;;2934:29;;3019:61;;;;;;;;;;;-1:-1:-1;3094:4:0;2812:292;;;;:::o;2678:128::-;-1:-1:-1;;;;;2775:15:0;;;2752:7;2775:15;;;:7;:15;;;;;;;;:25;;;;;;;;;;;;;2678:128::o;630:113::-;688:7;711:6;;;;704:14;;;;-1:-1:-1;732:5:0;;;630:113::o;749:133::-;807:7;835:5;;;854:6;;;;847:14;;;;875:1;749:133;-1:-1:-1;;;749:133:0:o

bzzr://8e66d094cc9a3886e2004cba0ab854b8836288bea1bd0862f0327b19440f5d20