Contract

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 Ownable
•    - function Ownable()
•    - function transferOwnership(address ne ...
•  contract ERC20Basic
•    - function balanceOf(address who)
•    - function transfer(address to, uint256 ...
•  contract ERC20 is ERC20Basic
•    - function transferFrom(address from, a ...
•  contract BasicToken is ERC20Basic
•    - function transfer(address _to, uint25 ...
•    - function balanceOf(address _owner)
•  contract StandardToken is ERC20, B ...
•    - function transferFrom(address _from, ...
•  contract PausableToken is Standard ...
•    - function transfer(address _to, uint25 ...
•    - function transferFrom(address _from, ...
•  contract AUVCoin is PausableToken *
•    - function AUVCoin()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

pragma solidity ^0.4.13;

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

  function div(uint256 a, uint256 b) internal 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 c;
  }

  function sub(uint256 a, uint256 b) internal returns (uint256) {
    assert(b <= a);
    return a - b;
  }

  function add(uint256 a, uint256 b) internal returns (uint256) {
    uint256 c = a + b;
    assert(c >= a);
    return c;
  }
}

contract Ownable {
  address public owner;


  event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);



  function Ownable() public {
    owner = msg.sender;
  }


  modifier onlyOwner() {
    require(msg.sender == owner);
    _;
  }


  function transferOwnership(address newOwner) public onlyOwner {
    require(newOwner != address(0));

    owner = newOwner;
  }

}


contract ERC20Basic {
  uint256 public totalSupply;
  function balanceOf(address who) public 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 transferFrom(address from, address to, uint256 value) public returns (bool);
}

contract BasicToken is ERC20Basic {
  using SafeMath for uint256;

  mapping(address => uint256) balances;

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

    // SafeMath.sub will throw if there is not enough balance.
    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 returns (uint256 balance) {
    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);
    Transfer(_from, _to, _value);
    return true;
  }
}

contract PausableToken is StandardToken {

  function transfer(address _to, uint256 _value) public  returns (bool) {
    return super.transfer(_to, _value);
  }

  function transferFrom(address _from, address _to, uint256 _value) public  returns (bool) {
    return super.transferFrom(_from, _to, _value);
  }

}

contract AUVCoin is PausableToken {
    string public name = "AUV";
    string public symbol = "AUV";
    uint public decimals = 18;
    uint public INITIAL_SUPPLY = 21000000000000000000000000;

    function AUVCoin() public {
        totalSupply = INITIAL_SUPPLY;
        balances[msg.sender] = INITIAL_SUPPLY;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"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,"type":"function"},{"constant":true,"inputs":[],"name":"INITIAL_SUPPLY","outputs":[{"name":"","type":"uint256"}],"payable":false,"type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint256"}],"payable":false,"type":"function"},{"constant":false,"inputs":[{"name":"_owner","type":"address"}],"name":"balanceOf","outputs":[{"name":"balance","type":"uint256"}],"payable":false,"type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transfer","outputs":[{"name":"","type":"bool"}],"payable":false,"type":"function"},{"inputs":[],"payable":false,"type":"constructor"},{"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"}]

60606040526040805190810160405280600381526020017f41555600000000000000000000000000000000000000000000000000000000008152506003908051906020019061004f929190610111565b506040805190810160405280600381526020017f41555600000000000000000000000000000000000000000000000000000000008152506004908051906020019061009b929190610111565b5060126005556a115eec47f6cf7e3500000060065534156100bb57600080fd5b5b600654600081905550600654600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b6101b6565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061015257805160ff1916838001178555610180565b82800160010185558215610180579182015b8281111561017f578251825591602001919060010190610164565b5b50905061018d9190610191565b5090565b6101b391905b808211156101af576000816000905550600101610197565b5090565b90565b610b58806101c56000396000f3006060604052361561008c576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde031461009157806318160ddd1461012057806323b872dd146101495780632ff2e9dc146101c2578063313ce567146101eb57806370a082311461021457806395d89b4114610261578063a9059cbb146102f0575b600080fd5b341561009c57600080fd5b6100a461034a565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156100e55780820151818401525b6020810190506100c9565b50505050905090810190601f1680156101125780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b341561012b57600080fd5b6101336103e8565b6040518082815260200191505060405180910390f35b341561015457600080fd5b6101a8600480803573ffffffffffffffffffffffffffffffffffffffff1690602001909190803573ffffffffffffffffffffffffffffffffffffffff169060200190919080359060200190919050506103ee565b604051808215151515815260200191505060405180910390f35b34156101cd57600080fd5b6101d5610405565b6040518082815260200191505060405180910390f35b34156101f657600080fd5b6101fe61040b565b6040518082815260200191505060405180910390f35b341561021f57600080fd5b61024b600480803573ffffffffffffffffffffffffffffffffffffffff16906020019091905050610411565b6040518082815260200191505060405180910390f35b341561026c57600080fd5b61027461045b565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156102b55780820151818401525b602081019050610299565b50505050905090810190601f1680156102e25780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34156102fb57600080fd5b610330600480803573ffffffffffffffffffffffffffffffffffffffff169060200190919080359060200190919050506104f9565b604051808215151515815260200191505060405180910390f35b60038054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156103e05780601f106103b5576101008083540402835291602001916103e0565b820191906000526020600020905b8154815290600101906020018083116103c357829003601f168201915b505050505081565b60005481565b60006103fb84848461050e565b90505b9392505050565b60065481565b60055481565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490505b919050565b60048054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156104f15780601f106104c6576101008083540402835291602001916104f1565b820191906000526020600020905b8154815290600101906020018083116104d457829003601f168201915b505050505081565b600061050583836108ce565b90505b92915050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415151561054b57600080fd5b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115151561059957600080fd5b600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115151561062457600080fd5b61067682600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610af390919063ffffffff16565b600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061070b82600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610b0d90919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506107dd82600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610af390919063ffffffff16565b600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190505b9392505050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415151561090b57600080fd5b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115151561095957600080fd5b6109ab82600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610af390919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610a4082600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610b0d90919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190505b92915050565b6000828211151515610b0157fe5b81830390505b92915050565b6000808284019050838110151515610b2157fe5b8091505b50929150505600a165627a7a72305820688e306b6a6e2901fb9cc84cd28718b59b9a0593fed358aaa723d377a8af2d9d0029

0x6060604052361561008c576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde031461009157806318160ddd1461012057806323b872dd146101495780632ff2e9dc146101c2578063313ce567146101eb57806370a082311461021457806395d89b4114610261578063a9059cbb146102f0575b600080fd5b341561009c57600080fd5b6100a461034a565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156100e55780820151818401525b6020810190506100c9565b50505050905090810190601f1680156101125780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b341561012b57600080fd5b6101336103e8565b6040518082815260200191505060405180910390f35b341561015457600080fd5b6101a8600480803573ffffffffffffffffffffffffffffffffffffffff1690602001909190803573ffffffffffffffffffffffffffffffffffffffff169060200190919080359060200190919050506103ee565b604051808215151515815260200191505060405180910390f35b34156101cd57600080fd5b6101d5610405565b6040518082815260200191505060405180910390f35b34156101f657600080fd5b6101fe61040b565b6040518082815260200191505060405180910390f35b341561021f57600080fd5b61024b600480803573ffffffffffffffffffffffffffffffffffffffff16906020019091905050610411565b6040518082815260200191505060405180910390f35b341561026c57600080fd5b61027461045b565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156102b55780820151818401525b602081019050610299565b50505050905090810190601f1680156102e25780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34156102fb57600080fd5b610330600480803573ffffffffffffffffffffffffffffffffffffffff169060200190919080359060200190919050506104f9565b604051808215151515815260200191505060405180910390f35b60038054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156103e05780601f106103b5576101008083540402835291602001916103e0565b820191906000526020600020905b8154815290600101906020018083116103c357829003601f168201915b505050505081565b60005481565b60006103fb84848461050e565b90505b9392505050565b60065481565b60055481565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490505b919050565b60048054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156104f15780601f106104c6576101008083540402835291602001916104f1565b820191906000526020600020905b8154815290600101906020018083116104d457829003601f168201915b505050505081565b600061050583836108ce565b90505b92915050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415151561054b57600080fd5b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115151561059957600080fd5b600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115151561062457600080fd5b61067682600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610af390919063ffffffff16565b600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061070b82600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610b0d90919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506107dd82600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610af390919063ffffffff16565b600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190505b9392505050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415151561090b57600080fd5b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115151561095957600080fd5b6109ab82600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610af390919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610a4082600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610b0d90919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190505b92915050565b6000828211151515610b0157fe5b81830390505b92915050565b6000808284019050838110151515610b2157fe5b8091505b50929150505600a165627a7a72305820688e306b6a6e2901fb9cc84cd28718b59b9a0593fed358aaa723d377a8af2d9d0029

3102:329:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3143:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:2;8:100;;;99:1;94:3;90;84:5;80:1;75:3;71;64:6;8:100;52:2;49:1;45:3;40:15;;8:100;;;12:14;3:109;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1206:26:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2946:147;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3243:55;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3211:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2083:104;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3176:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:2;8:100;;;99:1;94:3;90;84:5;80:1;75:3;71;64:6;8:100;52:2;49:1;45:3;40:15;;8:100;;;12:14;3:109;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2823:117:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3143:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1206:::-;;;;:::o;2946:147::-;3029:4;3049:38;3068:5;3075:3;3080:6;3049:18;:38::i;:::-;3042:45;;2946:147;;;;;;:::o;3243:55::-;;;;:::o;3211:25::-;;;;:::o;2083:104::-;2134:15;2165:8;:16;2174:6;2165:16;;;;;;;;;;;;;;;;2158:23;;2083:104;;;;:::o;3176:28::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2823:117::-;2887:4;2907:27;2922:3;2927:6;2907:14;:27::i;:::-;2900:34;;2823:117;;;;;:::o;2320:449::-;2402:4;2438:1;2423:17;;:3;:17;;;;2415:26;;;;;;;;2466:8;:15;2475:5;2466:15;;;;;;;;;;;;;;;;2456:6;:25;;2448:34;;;;;;;;2507:7;:14;2515:5;2507:14;;;;;;;;;;;;;;;:26;2522:10;2507:26;;;;;;;;;;;;;;;;2497:6;:36;;2489:45;;;;;;;;2561:27;2581:6;2561:8;:15;2570:5;2561:15;;;;;;;;;;;;;;;;:19;;:27;;;;:::i;:::-;2543:8;:15;2552:5;2543:15;;;;;;;;;;;;;;;:45;;;;2611:25;2629:6;2611:8;:13;2620:3;2611:13;;;;;;;;;;;;;;;;:17;;:25;;;;:::i;:::-;2595:8;:13;2604:3;2595:13;;;;;;;;;;;;;;;:41;;;;2672:38;2703:6;2672:7;:14;2680:5;2672:14;;;;;;;;;;;;;;;:26;2687:10;2672:26;;;;;;;;;;;;;;;;:30;;:38;;;;:::i;:::-;2643:7;:14;2651:5;2643:14;;;;;;;;;;;;;;;:26;2658:10;2643:26;;;;;;;;;;;;;;;:67;;;;2733:3;2717:28;;2726:5;2717:28;;;2738:6;2717:28;;;;;;;;;;;;;;;;;;2759:4;2752:11;;2320:449;;;;;;:::o;1689:388::-;1752:4;1788:1;1773:17;;:3;:17;;;;1765:26;;;;;;;;1816:8;:20;1825:10;1816:20;;;;;;;;;;;;;;;;1806:6;:30;;1798:39;;;;;;;;1933:32;1958:6;1933:8;:20;1942:10;1933:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;1910:8;:20;1919:10;1910:20;;;;;;;;;;;;;;;:55;;;;1988:25;2006:6;1988:8;:13;1997:3;1988:13;;;;;;;;;;;;;;;;:17;;:25;;;;:::i;:::-;1972:8;:13;1981:3;1972:13;;;;;;;;;;;;;;;:41;;;;2041:3;2020:33;;2029:10;2020:33;;;2046:6;2020:33;;;;;;;;;;;;;;;;;;2067:4;2060:11;;1689:388;;;;;:::o;502:108::-;555:7;583:1;578;:6;;571:14;;;;;;603:1;599;:5;592:12;;502:108;;;;;:::o;616:128::-;669:7;685:9;701:1;697;:5;685:17;;721:1;716;:6;;709:14;;;;;;737:1;730:8;;616:128;;;;;;:::o

bzzr://688e306b6a6e2901fb9cc84cd28718b59b9a0593fed358aaa723d377a8af2d9d