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 TetherGo is StandardToken ... *
•    - function TetherGo()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

pragma solidity ^0.4.0;


  /**
  * @dev Multiplies two numbers, reverts on overflow.
  */    // Gas optimization: this is cheaper than requiring 'a' not being zero, but the
    // benefit is lost if 'b' is also tested.
    // @dev See: https://github.com/OpenZeppelin/openzeppelin-solidity/pull/522

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

  string public constant name = "TetherGo"; 
  string public constant symbol = "TGO"; 
  uint8 public constant decimals = 18; 

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

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

608060405234801561001057600080fd5b506a4a0ab0ded4f8796434000060008181553380825260016020908152604080842085905580519485525191937fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929081900390910190a361096f806100776000396000f3006080604052600436106100c45763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100c9578063095ea7b31461015357806318160ddd1461018b57806323b872dd146101b25780632ff2e9dc146101dc578063313ce567146101f157806342966c681461021c578063661884631461023657806370a082311461025a57806395d89b411461027b578063a9059cbb14610290578063d73dd623146102b4578063dd62ed3e146102d8575b600080fd5b3480156100d557600080fd5b506100de6102ff565b6040805160208082528351818301528351919283929083019185019080838360005b83811015610118578181015183820152602001610100565b50505050905090810190601f1680156101455780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561015f57600080fd5b50610177600160a060020a0360043516602435610336565b604080519115158252519081900360200190f35b34801561019757600080fd5b506101a06103ab565b60408051918252519081900360200190f35b3480156101be57600080fd5b50610177600160a060020a03600435811690602435166044356103b1565b3480156101e857600080fd5b506101a0610536565b3480156101fd57600080fd5b50610206610545565b6040805160ff9092168252519081900360200190f35b34801561022857600080fd5b5061023460043561054a565b005b34801561024257600080fd5b50610177600160a060020a0360043516602435610608565b34801561026657600080fd5b506101a0600160a060020a0360043516610708565b34801561028757600080fd5b506100de610723565b34801561029c57600080fd5b50610177600160a060020a036004351660243561075a565b3480156102c057600080fd5b50610177600160a060020a0360043516602435610849565b3480156102e457600080fd5b506101a0600160a060020a03600435811690602435166108f0565b60408051808201909152600881527f546574686572476f000000000000000000000000000000000000000000000000602082015281565b600080821161034457600080fd5b336000818152600260209081526040808320600160a060020a03881680855290835292819020869055805186815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a350600192915050565b60005481565b60008082116103bf57600080fd5b600160a060020a03831615156103d457600080fd5b600160a060020a0384166000908152600160205260409020548211156103f957600080fd5b600160a060020a038416600090815260026020908152604080832033845290915290205482111561042957600080fd5b600160a060020a038416600090815260016020526040902054610452908363ffffffff61091b16565b600160a060020a038086166000908152600160205260408082209390935590851681522054610487908363ffffffff61092d16565b600160a060020a0380851660009081526001602090815260408083209490945591871681526002825282812033825290915220546104cb908363ffffffff61091b16565b600160a060020a03808616600081815260026020908152604080832033845282529182902094909455805186815290519287169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a35060019392505050565b6a4a0ab0ded4f8796434000081565b601281565b600080821161055857600080fd5b3360009081526001602052604090205482111561057457600080fd5b5033600081815260016020526040902054610595908363ffffffff61091b16565b600160a060020a038216600090815260016020526040812091909155546105c2908363ffffffff61091b16565b600055604080518381529051600160a060020a038316917fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5919081900360200190a25050565b60008080831161061757600080fd5b50336000908152600260209081526040808320600160a060020a03871684529091529020548083111561066d57336000908152600260209081526040808320600160a060020a03881684529091528120556106a2565b61067d818463ffffffff61091b16565b336000908152600260209081526040808320600160a060020a03891684529091529020555b336000818152600260209081526040808320600160a060020a0389168085529083529281902054815190815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a35060019392505050565b600160a060020a031660009081526001602052604090205490565b60408051808201909152600381527f54474f0000000000000000000000000000000000000000000000000000000000602082015281565b600080821161076857600080fd5b600160a060020a038316151561077d57600080fd5b3360009081526001602052604090205482111561079957600080fd5b336000908152600160205260409020546107b9908363ffffffff61091b16565b3360009081526001602052604080822092909255600160a060020a038516815220546107eb908363ffffffff61092d16565b600160a060020a0384166000818152600160209081526040918290209390935580518581529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a350600192915050565b600080821161085757600080fd5b336000908152600260209081526040808320600160a060020a038716845290915290205461088b908363ffffffff61092d16565b336000818152600260209081526040808320600160a060020a0389168085529083529281902085905580519485525191937f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929081900390910190a350600192915050565b600160a060020a03918216600090815260026020908152604080832093909416825291909152205490565b60008282111561092757fe5b50900390565b60008282018381101561093c57fe5b93925050505600a165627a7a72305820313ef3e385b1e247f45e9eb73b92c38f57ec0cd9c6962fa4625495f124b33d3f0029

0x6080604052600436106100c45763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100c9578063095ea7b31461015357806318160ddd1461018b57806323b872dd146101b25780632ff2e9dc146101dc578063313ce567146101f157806342966c681461021c578063661884631461023657806370a082311461025a57806395d89b411461027b578063a9059cbb14610290578063d73dd623146102b4578063dd62ed3e146102d8575b600080fd5b3480156100d557600080fd5b506100de6102ff565b6040805160208082528351818301528351919283929083019185019080838360005b83811015610118578181015183820152602001610100565b50505050905090810190601f1680156101455780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561015f57600080fd5b50610177600160a060020a0360043516602435610336565b604080519115158252519081900360200190f35b34801561019757600080fd5b506101a06103ab565b60408051918252519081900360200190f35b3480156101be57600080fd5b50610177600160a060020a03600435811690602435166044356103b1565b3480156101e857600080fd5b506101a0610536565b3480156101fd57600080fd5b50610206610545565b6040805160ff9092168252519081900360200190f35b34801561022857600080fd5b5061023460043561054a565b005b34801561024257600080fd5b50610177600160a060020a0360043516602435610608565b34801561026657600080fd5b506101a0600160a060020a0360043516610708565b34801561028757600080fd5b506100de610723565b34801561029c57600080fd5b50610177600160a060020a036004351660243561075a565b3480156102c057600080fd5b50610177600160a060020a0360043516602435610849565b3480156102e457600080fd5b506101a0600160a060020a03600435811690602435166108f0565b60408051808201909152600881527f546574686572476f000000000000000000000000000000000000000000000000602082015281565b600080821161034457600080fd5b336000818152600260209081526040808320600160a060020a03881680855290835292819020869055805186815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a350600192915050565b60005481565b60008082116103bf57600080fd5b600160a060020a03831615156103d457600080fd5b600160a060020a0384166000908152600160205260409020548211156103f957600080fd5b600160a060020a038416600090815260026020908152604080832033845290915290205482111561042957600080fd5b600160a060020a038416600090815260016020526040902054610452908363ffffffff61091b16565b600160a060020a038086166000908152600160205260408082209390935590851681522054610487908363ffffffff61092d16565b600160a060020a0380851660009081526001602090815260408083209490945591871681526002825282812033825290915220546104cb908363ffffffff61091b16565b600160a060020a03808616600081815260026020908152604080832033845282529182902094909455805186815290519287169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a35060019392505050565b6a4a0ab0ded4f8796434000081565b601281565b600080821161055857600080fd5b3360009081526001602052604090205482111561057457600080fd5b5033600081815260016020526040902054610595908363ffffffff61091b16565b600160a060020a038216600090815260016020526040812091909155546105c2908363ffffffff61091b16565b600055604080518381529051600160a060020a038316917fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5919081900360200190a25050565b60008080831161061757600080fd5b50336000908152600260209081526040808320600160a060020a03871684529091529020548083111561066d57336000908152600260209081526040808320600160a060020a03881684529091528120556106a2565b61067d818463ffffffff61091b16565b336000908152600260209081526040808320600160a060020a03891684529091529020555b336000818152600260209081526040808320600160a060020a0389168085529083529281902054815190815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a35060019392505050565b600160a060020a031660009081526001602052604090205490565b60408051808201909152600381527f54474f0000000000000000000000000000000000000000000000000000000000602082015281565b600080821161076857600080fd5b600160a060020a038316151561077d57600080fd5b3360009081526001602052604090205482111561079957600080fd5b336000908152600160205260409020546107b9908363ffffffff61091b16565b3360009081526001602052604080822092909255600160a060020a038516815220546107eb908363ffffffff61092d16565b600160a060020a0384166000818152600160209081526040918290209390935580518581529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a350600192915050565b600080821161085757600080fd5b336000908152600260209081526040808320600160a060020a038716845290915290205461088b908363ffffffff61092d16565b336000818152600260209081526040808320600160a060020a0389168085529083529281902085905580519485525191937f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929081900390910190a350600192915050565b600160a060020a03918216600090815260026020908152604080832093909416825291909152205490565b60008282111561092757fe5b50900390565b60008282018381101561093c57fe5b93925050505600a165627a7a72305820313ef3e385b1e247f45e9eb73b92c38f57ec0cd9c6962fa4625495f124b33d3f0029

4227:438:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4284:40;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4284:40: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;4284:40:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2739:213;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;2739:213:0;-1:-1:-1;;;;;2739:213:0;;;;;;;;;;;;;;;;;;;;;;;;;335:26;;8:9:-1;5:2;;;30:1;27;20:12;5:2;335:26:0;;;;;;;;;;;;;;;;;;;;2258:475;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;2258:475:0;-1:-1:-1;;;;;2258:475:0;;;;;;;;;;;;4416:77;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4416:77:0;;;;4373:35;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4373:35:0;;;;;;;;;;;;;;;;;;;;;;;3942:276;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;3942:276:0;;;;;;;3390:443;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;3390:443:0;-1:-1:-1;;;;;3390:443:0;;;;;;;1642:109;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;1642:109:0;-1:-1:-1;;;;;1642:109:0;;;;;4330:37;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4330:37:0;;;;1286:350;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;1286:350:0;-1:-1:-1;;;;;1286:350:0;;;;;;;3092:292;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;3092:292:0;-1:-1:-1;;;;;3092:292:0;;;;;;;2958:128;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;2958:128:0;-1:-1:-1;;;;;2958:128:0;;;;;;;;;;4284:40;;;;;;;;;;;;;;;;;;;:::o;2739:213::-;2806:4;2827:10;;;2819:19;;;;;;2853:10;2845:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;2845:29:0;;;;;;;;;;;;:38;;;2890;;;;;;;2845:29;;2853:10;2890:38;;;;;;;;;;;-1:-1:-1;2942:4:0;2739:213;;;;:::o;335:26::-;;;;:::o;2258:475::-;2340:4;2361:10;;;2353:19;;;;;;-1:-1:-1;;;;;2387:17:0;;;;2379:26;;;;;;-1:-1:-1;;;;;2430:15:0;;;;;;:8;:15;;;;;;2420:25;;;2412:34;;;;;;-1:-1:-1;;;;;2471:14:0;;;;;;:7;:14;;;;;;;;2486:10;2471:26;;;;;;;;2461:36;;;2453:45;;;;;;-1:-1:-1;;;;;2525:15:0;;;;;;:8;:15;;;;;;:27;;2545:6;2525:27;:19;:27;:::i;:::-;-1:-1:-1;;;;;2507:15:0;;;;;;;:8;:15;;;;;;:45;;;;2575:13;;;;;;;:25;;2593:6;2575:25;:17;:25;:::i;:::-;-1:-1:-1;;;;;2559:13:0;;;;;;;:8;:13;;;;;;;;:41;;;;2636:14;;;;;:7;:14;;;;;2651:10;2636:26;;;;;;;:38;;2667:6;2636:38;:30;:38;:::i;:::-;-1:-1:-1;;;;;2607:14:0;;;;;;;:7;:14;;;;;;;;2622:10;2607:26;;;;;;;;:67;;;;2681:28;;;;;;;;;;;2607:14;;2681:28;;;;;;;;;;;-1:-1:-1;2723:4:0;2258:475;;;;;:::o;4416:77::-;4457:36;4416:77;:::o;4373:35::-;4406:2;4373:35;:::o;3942:276::-;4060:14;3994:10;;;3986:19;;;;;;4039:10;4030:20;;;;:8;:20;;;;;;4020:30;;;4012:39;;;;;;-1:-1:-1;4077:10:0;4113:16;;;;:8;:16;;;;;;:28;;4134:6;4113:28;:20;:28;:::i;:::-;-1:-1:-1;;;;;4094:16:0;;;;;;:8;:16;;;;;:47;;;;4162:11;:23;;4178:6;4162:23;:15;:23;:::i;:::-;4148:11;:37;4192:20;;;;;;;;-1:-1:-1;;;;;4192:20:0;;;;;;;;;;;;;3942:276;;:::o;3390:443::-;3473:4;;3494:20;;;3486:29;;;;;;-1:-1:-1;3546:10:0;3538:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;3538:29:0;;;;;;;;;;3578:27;;;3574:168;;;3624:10;3648:1;3616:19;;;:7;:19;;;;;;;;-1:-1:-1;;;;;3616:29:0;;;;;;;;;:33;3574:168;;;3704:30;:8;3717:16;3704:30;:12;:30;:::i;:::-;3680:10;3672:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;3672:29:0;;;;;;;;;:62;3574:168;3757:10;3779:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;3748:61:0;;3779:29;;;;;;;;;;;3748:61;;;;;;;;;3757:10;3748:61;;;;;;;;;;;-1:-1:-1;3823:4:0;;3390:443;-1:-1:-1;;;3390:443:0:o;1642:109::-;-1:-1:-1;;;;;1729:16:0;1698:15;1729:16;;;:8;:16;;;;;;;1642:109::o;4330:37::-;;;;;;;;;;;;;;;;;;;:::o;1286:350::-;1349:4;1370:10;;;1362:19;;;;;;-1:-1:-1;;;;;1396:17:0;;;;1388:26;;;;;;1448:10;1439:20;;;;:8;:20;;;;;;1429:30;;;1421:39;;;;;;1501:10;1492:20;;;;:8;:20;;;;;;:32;;1517:6;1492:32;:24;:32;:::i;:::-;1478:10;1469:20;;;;:8;:20;;;;;;:55;;;;-1:-1:-1;;;;;1547:13:0;;;;;;:25;;1565:6;1547:25;:17;:25;:::i;:::-;-1:-1:-1;;;;;1531:13:0;;;;;;:8;:13;;;;;;;;;:41;;;;1579:33;;;;;;;1531:13;;1588:10;;1579:33;;;;;;;;;;-1:-1:-1;1626:4:0;1286:350;;;;:::o;3092:292::-;3170:4;3191:15;;;3183:24;;;;;;3254:10;3246:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;3246:29:0;;;;;;;;;;:46;;3280:11;3246:46;:33;:46;:::i;:::-;3222:10;3214:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;3214:29:0;;;;;;;;;;;;:78;;;3299:61;;;;;;3214:29;;3299:61;;;;;;;;;;;-1:-1:-1;3374:4:0;3092:292;;;;:::o;2958:128::-;-1:-1:-1;;;;;3055:15:0;;;3032:7;3055:15;;;:7;:15;;;;;;;;:25;;;;;;;;;;;;;2958:128::o;910:113::-;968:7;991:6;;;;984:14;;;;-1:-1:-1;1012:5:0;;;910:113::o;1029:133::-;1087:7;1115:5;;;1134:6;;;;1127:14;;;;1155:1;1029:133;-1:-1:-1;;;1029:133:0:o

bzzr://313ef3e385b1e247f45e9eb73b92c38f57ec0cd9c6962fa4625495f124b33d3f