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 CZX is StandardToken, Bur ... *    - function CZX()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

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 CZX is StandardToken, BurnableToken {

  string public constant name = "Cozex Token"; 
  string public constant symbol = "CZX"; 
  uint8 public constant decimals = 18; 

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

  function CZX() 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"}]

608060405234801561001057600080fd5b506c026a0c202cc4ea18db4b24000060008181553380825260016020908152604080842085905580519485525191937fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929081900390910190a3610971806100796000396000f3006080604052600436106100c45763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100c9578063095ea7b31461015357806318160ddd1461018b57806323b872dd146101b25780632ff2e9dc146101dc578063313ce567146101f157806342966c681461021c578063661884631461023657806370a082311461025a57806395d89b411461027b578063a9059cbb14610290578063d73dd623146102b4578063dd62ed3e146102d8575b600080fd5b3480156100d557600080fd5b506100de6102ff565b6040805160208082528351818301528351919283929083019185019080838360005b83811015610118578181015183820152602001610100565b50505050905090810190601f1680156101455780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561015f57600080fd5b50610177600160a060020a0360043516602435610336565b604080519115158252519081900360200190f35b34801561019757600080fd5b506101a06103ab565b60408051918252519081900360200190f35b3480156101be57600080fd5b50610177600160a060020a03600435811690602435166044356103b1565b3480156101e857600080fd5b506101a0610536565b3480156101fd57600080fd5b50610206610547565b6040805160ff9092168252519081900360200190f35b34801561022857600080fd5b5061023460043561054c565b005b34801561024257600080fd5b50610177600160a060020a036004351660243561060a565b34801561026657600080fd5b506101a0600160a060020a036004351661070a565b34801561028757600080fd5b506100de610725565b34801561029c57600080fd5b50610177600160a060020a036004351660243561075c565b3480156102c057600080fd5b50610177600160a060020a036004351660243561084b565b3480156102e457600080fd5b506101a0600160a060020a03600435811690602435166108f2565b60408051808201909152600b81527f436f7a657820546f6b656e000000000000000000000000000000000000000000602082015281565b600080821161034457600080fd5b336000818152600260209081526040808320600160a060020a03881680855290835292819020869055805186815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a350600192915050565b60005481565b60008082116103bf57600080fd5b600160a060020a03831615156103d457600080fd5b600160a060020a0384166000908152600160205260409020548211156103f957600080fd5b600160a060020a038416600090815260026020908152604080832033845290915290205482111561042957600080fd5b600160a060020a038416600090815260016020526040902054610452908363ffffffff61091d16565b600160a060020a038086166000908152600160205260408082209390935590851681522054610487908363ffffffff61092f16565b600160a060020a0380851660009081526001602090815260408083209490945591871681526002825282812033825290915220546104cb908363ffffffff61091d16565b600160a060020a03808616600081815260026020908152604080832033845282529182902094909455805186815290519287169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a35060019392505050565b6c026a0c202cc4ea18db4b24000081565b601281565b600080821161055a57600080fd5b3360009081526001602052604090205482111561057657600080fd5b5033600081815260016020526040902054610597908363ffffffff61091d16565b600160a060020a038216600090815260016020526040812091909155546105c4908363ffffffff61091d16565b600055604080518381529051600160a060020a038316917fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5919081900360200190a25050565b60008080831161061957600080fd5b50336000908152600260209081526040808320600160a060020a03871684529091529020548083111561066f57336000908152600260209081526040808320600160a060020a03881684529091528120556106a4565b61067f818463ffffffff61091d16565b336000908152600260209081526040808320600160a060020a03891684529091529020555b336000818152600260209081526040808320600160a060020a0389168085529083529281902054815190815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a35060019392505050565b600160a060020a031660009081526001602052604090205490565b60408051808201909152600381527f435a580000000000000000000000000000000000000000000000000000000000602082015281565b600080821161076a57600080fd5b600160a060020a038316151561077f57600080fd5b3360009081526001602052604090205482111561079b57600080fd5b336000908152600160205260409020546107bb908363ffffffff61091d16565b3360009081526001602052604080822092909255600160a060020a038516815220546107ed908363ffffffff61092f16565b600160a060020a0384166000818152600160209081526040918290209390935580518581529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a350600192915050565b600080821161085957600080fd5b336000908152600260209081526040808320600160a060020a038716845290915290205461088d908363ffffffff61092f16565b336000818152600260209081526040808320600160a060020a0389168085529083529281902085905580519485525191937f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929081900390910190a350600192915050565b600160a060020a03918216600090815260026020908152604080832093909416825291909152205490565b60008282111561092957fe5b50900390565b60008282018381101561093e57fe5b93925050505600a165627a7a72305820a36f20bfcf0c6dee89999390c87275dfd102fd38e2fd3dbea30272a8a5fe92a40029

0x6080604052600436106100c45763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100c9578063095ea7b31461015357806318160ddd1461018b57806323b872dd146101b25780632ff2e9dc146101dc578063313ce567146101f157806342966c681461021c578063661884631461023657806370a082311461025a57806395d89b411461027b578063a9059cbb14610290578063d73dd623146102b4578063dd62ed3e146102d8575b600080fd5b3480156100d557600080fd5b506100de6102ff565b6040805160208082528351818301528351919283929083019185019080838360005b83811015610118578181015183820152602001610100565b50505050905090810190601f1680156101455780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561015f57600080fd5b50610177600160a060020a0360043516602435610336565b604080519115158252519081900360200190f35b34801561019757600080fd5b506101a06103ab565b60408051918252519081900360200190f35b3480156101be57600080fd5b50610177600160a060020a03600435811690602435166044356103b1565b3480156101e857600080fd5b506101a0610536565b3480156101fd57600080fd5b50610206610547565b6040805160ff9092168252519081900360200190f35b34801561022857600080fd5b5061023460043561054c565b005b34801561024257600080fd5b50610177600160a060020a036004351660243561060a565b34801561026657600080fd5b506101a0600160a060020a036004351661070a565b34801561028757600080fd5b506100de610725565b34801561029c57600080fd5b50610177600160a060020a036004351660243561075c565b3480156102c057600080fd5b50610177600160a060020a036004351660243561084b565b3480156102e457600080fd5b506101a0600160a060020a03600435811690602435166108f2565b60408051808201909152600b81527f436f7a657820546f6b656e000000000000000000000000000000000000000000602082015281565b600080821161034457600080fd5b336000818152600260209081526040808320600160a060020a03881680855290835292819020869055805186815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a350600192915050565b60005481565b60008082116103bf57600080fd5b600160a060020a03831615156103d457600080fd5b600160a060020a0384166000908152600160205260409020548211156103f957600080fd5b600160a060020a038416600090815260026020908152604080832033845290915290205482111561042957600080fd5b600160a060020a038416600090815260016020526040902054610452908363ffffffff61091d16565b600160a060020a038086166000908152600160205260408082209390935590851681522054610487908363ffffffff61092f16565b600160a060020a0380851660009081526001602090815260408083209490945591871681526002825282812033825290915220546104cb908363ffffffff61091d16565b600160a060020a03808616600081815260026020908152604080832033845282529182902094909455805186815290519287169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a35060019392505050565b6c026a0c202cc4ea18db4b24000081565b601281565b600080821161055a57600080fd5b3360009081526001602052604090205482111561057657600080fd5b5033600081815260016020526040902054610597908363ffffffff61091d16565b600160a060020a038216600090815260016020526040812091909155546105c4908363ffffffff61091d16565b600055604080518381529051600160a060020a038316917fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5919081900360200190a25050565b60008080831161061957600080fd5b50336000908152600260209081526040808320600160a060020a03871684529091529020548083111561066f57336000908152600260209081526040808320600160a060020a03881684529091528120556106a4565b61067f818463ffffffff61091d16565b336000908152600260209081526040808320600160a060020a03891684529091529020555b336000818152600260209081526040808320600160a060020a0389168085529083529281902054815190815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a35060019392505050565b600160a060020a031660009081526001602052604090205490565b60408051808201909152600381527f435a580000000000000000000000000000000000000000000000000000000000602082015281565b600080821161076a57600080fd5b600160a060020a038316151561077f57600080fd5b3360009081526001602052604090205482111561079b57600080fd5b336000908152600160205260409020546107bb908363ffffffff61091d16565b3360009081526001602052604080822092909255600160a060020a038516815220546107ed908363ffffffff61092f16565b600160a060020a0384166000818152600160209081526040918290209390935580518581529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a350600192915050565b600080821161085957600080fd5b336000908152600260209081526040808320600160a060020a038716845290915290205461088d908363ffffffff61092f16565b336000818152600260209081526040808320600160a060020a0389168085529083529281902085905580519485525191937f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929081900390910190a350600192915050565b600160a060020a03918216600090815260026020908152604080832093909416825291909152205490565b60008282111561092957fe5b50900390565b60008282018381101561093e57fe5b93925050505600a165627a7a72305820a36f20bfcf0c6dee89999390c87275dfd102fd38e2fd3dbea30272a8a5fe92a40029

3945:435:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3997:43;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3997:43: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;3997:43:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2457:213;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;2457:213:0;-1:-1:-1;;;;;2457:213:0;;;;;;;;;;;;;;;;;;;;;;;;;53:26;;8:9:-1;5:2;;;30:1;27;20:12;5:2;53:26:0;;;;;;;;;;;;;;;;;;;;1976:475;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;1976:475:0;-1:-1:-1;;;;;1976:475:0;;;;;;;;;;;;4132:81;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4132:81:0;;;;4089:35;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4089:35:0;;;;;;;;;;;;;;;;;;;;;;;3660:276;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;3660:276:0;;;;;;;3108:443;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;3108:443:0;-1:-1:-1;;;;;3108:443:0;;;;;;;1360:109;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;1360:109:0;-1:-1:-1;;;;;1360:109:0;;;;;4046:37;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4046:37:0;;;;1004:350;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;1004:350:0;-1:-1:-1;;;;;1004:350:0;;;;;;;2810:292;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;2810:292:0;-1:-1:-1;;;;;2810:292:0;;;;;;;2676:128;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;2676:128:0;-1:-1:-1;;;;;2676:128:0;;;;;;;;;;3997:43;;;;;;;;;;;;;;;;;;;:::o;2457:213::-;2524:4;2545:10;;;2537:19;;;;;;2571:10;2563:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;2563:29:0;;;;;;;;;;;;:38;;;2608;;;;;;;2563:29;;2571:10;2608:38;;;;;;;;;;;-1:-1:-1;2660:4:0;2457:213;;;;:::o;53:26::-;;;;:::o;1976:475::-;2058:4;2079:10;;;2071:19;;;;;;-1:-1:-1;;;;;2105:17:0;;;;2097:26;;;;;;-1:-1:-1;;;;;2148:15:0;;;;;;:8;:15;;;;;;2138:25;;;2130:34;;;;;;-1:-1:-1;;;;;2189:14:0;;;;;;:7;:14;;;;;;;;2204:10;2189:26;;;;;;;;2179:36;;;2171:45;;;;;;-1:-1:-1;;;;;2243:15:0;;;;;;:8;:15;;;;;;:27;;2263:6;2243:27;:19;:27;:::i;:::-;-1:-1:-1;;;;;2225:15:0;;;;;;;:8;:15;;;;;;:45;;;;2293:13;;;;;;;:25;;2311:6;2293:25;:17;:25;:::i;:::-;-1:-1:-1;;;;;2277:13:0;;;;;;;:8;:13;;;;;;;;:41;;;;2354:14;;;;;:7;:14;;;;;2369:10;2354:26;;;;;;;:38;;2385:6;2354:38;:30;:38;:::i;:::-;-1:-1:-1;;;;;2325:14:0;;;;;;;:7;:14;;;;;;;;2340:10;2325:26;;;;;;;;:67;;;;2399:28;;;;;;;;;;;2325:14;;2399:28;;;;;;;;;;;-1:-1:-1;2441:4:0;1976:475;;;;;:::o;4132:81::-;4173:40;4132:81;:::o;4089:35::-;4122:2;4089:35;:::o;3660:276::-;3778:14;3712:10;;;3704:19;;;;;;3757:10;3748:20;;;;:8;:20;;;;;;3738:30;;;3730:39;;;;;;-1:-1:-1;3795:10:0;3831:16;;;;:8;:16;;;;;;:28;;3852:6;3831:28;:20;:28;:::i;:::-;-1:-1:-1;;;;;3812:16:0;;;;;;:8;:16;;;;;:47;;;;3880:11;:23;;3896:6;3880:23;:15;:23;:::i;:::-;3866:11;:37;3910:20;;;;;;;;-1:-1:-1;;;;;3910:20:0;;;;;;;;;;;;;3660:276;;:::o;3108:443::-;3191:4;;3212:20;;;3204:29;;;;;;-1:-1:-1;3264:10:0;3256:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;3256:29:0;;;;;;;;;;3296:27;;;3292:168;;;3342:10;3366:1;3334:19;;;:7;:19;;;;;;;;-1:-1:-1;;;;;3334:29:0;;;;;;;;;:33;3292:168;;;3422:30;:8;3435:16;3422:30;:12;:30;:::i;:::-;3398:10;3390:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;3390:29:0;;;;;;;;;:62;3292:168;3475:10;3497:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;3466:61:0;;3497:29;;;;;;;;;;;3466:61;;;;;;;;;3475:10;3466:61;;;;;;;;;;;-1:-1:-1;3541:4:0;;3108:443;-1:-1:-1;;;3108:443:0:o;1360:109::-;-1:-1:-1;;;;;1447:16:0;1416:15;1447:16;;;:8;:16;;;;;;;1360:109::o;4046:37::-;;;;;;;;;;;;;;;;;;;:::o;1004:350::-;1067:4;1088:10;;;1080:19;;;;;;-1:-1:-1;;;;;1114:17:0;;;;1106:26;;;;;;1166:10;1157:20;;;;:8;:20;;;;;;1147:30;;;1139:39;;;;;;1219:10;1210:20;;;;:8;:20;;;;;;:32;;1235:6;1210:32;:24;:32;:::i;:::-;1196:10;1187:20;;;;:8;:20;;;;;;:55;;;;-1:-1:-1;;;;;1265:13:0;;;;;;:25;;1283:6;1265:25;:17;:25;:::i;:::-;-1:-1:-1;;;;;1249:13:0;;;;;;:8;:13;;;;;;;;;:41;;;;1297:33;;;;;;;1249:13;;1306:10;;1297:33;;;;;;;;;;-1:-1:-1;1344:4:0;1004:350;;;;:::o;2810:292::-;2888:4;2909:15;;;2901:24;;;;;;2972:10;2964:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;2964:29:0;;;;;;;;;;:46;;2998:11;2964:46;:33;:46;:::i;:::-;2940:10;2932:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;2932:29:0;;;;;;;;;;;;:78;;;3017:61;;;;;;2932:29;;3017:61;;;;;;;;;;;-1:-1:-1;3092:4:0;2810:292;;;;:::o;2676:128::-;-1:-1:-1;;;;;2773:15:0;;;2750:7;2773:15;;;:7;:15;;;;;;;;:25;;;;;;;;;;;;;2676:128::o;628:113::-;686:7;709:6;;;;702:14;;;;-1:-1:-1;730:5:0;;;628:113::o;747:133::-;805:7;833:5;;;852:6;;;;845:14;;;;873:1;747:133;-1:-1:-1;;;747:133:0:o

bzzr://a36f20bfcf0c6dee89999390c87275dfd102fd38e2fd3dbea30272a8a5fe92a4