Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

 contract Utils    - function safeAdd(uint256 _x, uint256 ...    - function safeSub(uint256 _x, uint256 ...    - function safeMul(uint256 _x, uint256 ...    - function safeDiv(uint256 _x, uint256 ...  contract Ownable    - function Ownable()    - function transferOwnership(address ne ...  contract ERC20Token    - function balanceOf(address who)    - function transfer(address to, uint256 ...  contract StandardToken is ERC20Tok ...    - function disableTransfers(bool _disab ...    - function transfer(address _to, uint25 ...    - function balanceOf(address _owner)  contract EcoIndustrialChain is Sta ... *    - function EcoIndustrialChain()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2019-07-15
*/

pragma solidity ^0.4.25;

contract Utils {
    modifier validAddress(address _address) {
        require(_address != address(0));
        _;
    }

    function safeAdd(uint256 _x, uint256 _y) internal pure returns (uint256) {
        uint256 _z = _x + _y;
        assert(_z >= _x);
        return _z;
    }

    function safeSub(uint256 _x, uint256 _y) internal pure returns (uint256) {
        assert(_x >= _y);
        return _x - _y;
    }

    function safeMul(uint256 _x, uint256 _y) internal pure returns (uint256) {
        uint256 _z = _x * _y;
        assert(_x == 0 || _z / _x == _y);
        return _z;
    }
    
    function safeDiv(uint256 _x, uint256 _y) internal pure returns (uint256) {
        assert(_y != 0); 
        uint256 _z = _x / _y;
        assert(_x == _y * _z + _x % _y); 
        return _z;
    }

}

contract Ownable {
    address public owner;

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

    modifier onlyOwner() {
        require(msg.sender == owner);
        _;
    }
    function transferOwnership(address newOwner) onlyOwner public {
        require(newOwner != address(0));
        owner = newOwner;
    }
}

contract ERC20Token {
    function balanceOf(address who) public constant returns (uint256);
    function transfer(address to, uint256 value) public returns (bool);
    event Transfer(address indexed _from, address indexed _to, uint256 _value);
    event Burn(address indexed from, uint256 value);
}

contract StandardToken is ERC20Token, Utils, Ownable {
 
    bool public transfersEnabled = true;  
    
    mapping (address => uint256) public balanceOf;
    mapping (address => mapping (address => uint256)) public allowed;

    modifier transfersAllowed {
        assert(transfersEnabled);
        _;
    }

    function disableTransfers(bool _disable) public onlyOwner {
        transfersEnabled = !_disable;
    }
    
    function transfer(address _to, uint256 _value) public validAddress(_to) transfersAllowed returns (bool success){
        require(balanceOf[msg.sender] >= _value && balanceOf[_to] + _value > balanceOf[_to]); 
        
        balanceOf[msg.sender] = safeSub(balanceOf[msg.sender], _value);
        balanceOf[_to] = safeAdd(balanceOf[_to], _value);
        Transfer(msg.sender, _to, _value);
        return true;
    }

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

}

contract EcoIndustrialChain is StandardToken {

    string public constant name = "Eco Industrial Chain";
    string public constant symbol = "V13"; 
    uint8 public constant decimals = 18;
    uint256 public totalSupply = 13 * 10**26;
    address public constant OwnerWallet = 0x922bF8be612658FBF6C34EAE6f3e4B7E2e2bF710;
    
    function EcoIndustrialChain(){
        balanceOf[OwnerWallet] = totalSupply;
        
        Transfer(0x0, OwnerWallet, balanceOf[OwnerWallet]);
    }
}

• 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":"_disable","type":"bool"}],"name":"disableTransfers","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"OwnerWallet","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"},{"name":"","type":"address"}],"name":"allowed","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","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":"owner","outputs":[{"name":"","type":"address"}],"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":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"transfersEnabled","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","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"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Burn","type":"event"}]

60806040526001600060146101000a81548160ff0219169083151502179055506b043355b53628a6b59400000060035534801561003b57600080fd5b50336000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506003546001600073922bf8be612658fbf6c34eae6f3e4b7e2e2bf71073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555073922bf8be612658fbf6c34eae6f3e4b7e2e2bf71073ffffffffffffffffffffffffffffffffffffffff1660007fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6001600073922bf8be612658fbf6c34eae6f3e4b7e2e2bf71073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a3610aa48061019c6000396000f3006080604052600436106100ba576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde03146100bf5780631608f18f1461014f57806318160ddd1461017e57806318af7611146101a9578063313ce567146102005780635c6581651461023157806370a08231146102a85780638da5cb5b146102ff57806395d89b4114610356578063a9059cbb146103e6578063bef97c871461044b578063f2fde38b1461047a575b600080fd5b3480156100cb57600080fd5b506100d46104bd565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156101145780820151818401526020810190506100f9565b50505050905090810190601f1680156101415780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561015b57600080fd5b5061017c6004803603810190808035151590602001909291905050506104f6565b005b34801561018a57600080fd5b5061019361056f565b6040518082815260200191505060405180910390f35b3480156101b557600080fd5b506101be610575565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561020c57600080fd5b5061021561058d565b604051808260ff1660ff16815260200191505060405180910390f35b34801561023d57600080fd5b50610292600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610592565b6040518082815260200191505060405180910390f35b3480156102b457600080fd5b506102e9600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506105b7565b6040518082815260200191505060405180910390f35b34801561030b57600080fd5b5061031461063e565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561036257600080fd5b5061036b610663565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156103ab578082015181840152602081019050610390565b50505050905090810190601f1680156103d85780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156103f257600080fd5b50610431600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061069c565b604051808215151515815260200191505060405180910390f35b34801561045757600080fd5b50610460610954565b604051808215151515815260200191505060405180910390f35b34801561048657600080fd5b506104bb600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610967565b005b6040805190810160405280601481526020017f45636f20496e647573747269616c20436861696e00000000000000000000000081525081565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561055157600080fd5b8015600060146101000a81548160ff02191690831515021790555050565b60035481565b73922bf8be612658fbf6c34eae6f3e4b7e2e2bf71081565b601281565b6002602052816000526040600020602052806000526040600020600091509150505481565b600081600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141515156105f657600080fd5b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054915050919050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6040805190810160405280600381526020017f563133000000000000000000000000000000000000000000000000000000000081525081565b600082600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141515156106db57600080fd5b600060149054906101000a900460ff1615156106f357fe5b82600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101580156107c15750600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205401115b15156107cc57600080fd5b610815600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205484610a41565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506108a1600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205484610a5a565b600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040518082815260200191505060405180910390a3600191505092915050565b600060149054906101000a900460ff1681565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156109c257600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141515156109fe57600080fd5b806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6000818310151515610a4f57fe5b818303905092915050565b6000808284019050838110151515610a6e57fe5b80915050929150505600a165627a7a72305820b052f25ca0a89b86a52a783485f33905fdf54b9debfa2de1232100635c8418390029

0x6080604052600436106100ba576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde03146100bf5780631608f18f1461014f57806318160ddd1461017e57806318af7611146101a9578063313ce567146102005780635c6581651461023157806370a08231146102a85780638da5cb5b146102ff57806395d89b4114610356578063a9059cbb146103e6578063bef97c871461044b578063f2fde38b1461047a575b600080fd5b3480156100cb57600080fd5b506100d46104bd565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156101145780820151818401526020810190506100f9565b50505050905090810190601f1680156101415780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561015b57600080fd5b5061017c6004803603810190808035151590602001909291905050506104f6565b005b34801561018a57600080fd5b5061019361056f565b6040518082815260200191505060405180910390f35b3480156101b557600080fd5b506101be610575565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561020c57600080fd5b5061021561058d565b604051808260ff1660ff16815260200191505060405180910390f35b34801561023d57600080fd5b50610292600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610592565b6040518082815260200191505060405180910390f35b3480156102b457600080fd5b506102e9600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506105b7565b6040518082815260200191505060405180910390f35b34801561030b57600080fd5b5061031461063e565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561036257600080fd5b5061036b610663565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156103ab578082015181840152602081019050610390565b50505050905090810190601f1680156103d85780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156103f257600080fd5b50610431600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061069c565b604051808215151515815260200191505060405180910390f35b34801561045757600080fd5b50610460610954565b604051808215151515815260200191505060405180910390f35b34801561048657600080fd5b506104bb600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610967565b005b6040805190810160405280601481526020017f45636f20496e647573747269616c20436861696e00000000000000000000000081525081565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561055157600080fd5b8015600060146101000a81548160ff02191690831515021790555050565b60035481565b73922bf8be612658fbf6c34eae6f3e4b7e2e2bf71081565b601281565b6002602052816000526040600020602052806000526040600020600091509150505481565b600081600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141515156105f657600080fd5b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054915050919050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6040805190810160405280600381526020017f563133000000000000000000000000000000000000000000000000000000000081525081565b600082600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141515156106db57600080fd5b600060149054906101000a900460ff1615156106f357fe5b82600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101580156107c15750600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205401115b15156107cc57600080fd5b610815600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205484610a41565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506108a1600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205484610a5a565b600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040518082815260200191505060405180910390a3600191505092915050565b600060149054906101000a900460ff1681565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156109c257600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141515156109fe57600080fd5b806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6000818310151515610a4f57fe5b818303905092915050565b6000808284019050838110151515610a6e57fe5b80915050929150505600a165627a7a72305820b052f25ca0a89b86a52a783485f33905fdf54b9debfa2de1232100635c8418390029

2555:498:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2609:52;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2609:52:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;2609:52:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1857:105;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1857:105:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;2755:40;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2755:40:0;;;;;;;;;;;;;;;;;;;;;;;2802:80;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2802:80:0;;;;;;;;;;;;;;;;;;;;;;;;;;;2713:35;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2713:35:0;;;;;;;;;;;;;;;;;;;;;;;;;;;1695:64;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1695:64:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2405:141;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2405:141:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;890:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;890:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;2668:37;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2668:37:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;2668:37:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1974:423;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1974:423:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1593:35;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1593:35:0;;;;;;;;;;;;;;;;;;;;;;;;;;;1076:139;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1076:139:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;2609:52;;;;;;;;;;;;;;;;;;;;:::o;1857:105::-;1044:5;;;;;;;;;;;1030:19;;:10;:19;;;1022:28;;;;;;;;1946:8;1945:9;1926:16;;:28;;;;;;;;;;;;;;;;;;1857:105;:::o;2755:40::-;;;;:::o;2802:80::-;2840:42;2802:80;:::o;2713:35::-;2746:2;2713:35;:::o;1695:64::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2405:141::-;2486:15;2460:6;129:1;109:22;;:8;:22;;;;101:31;;;;;;;;2521:9;:17;2531:6;2521:17;;;;;;;;;;;;;;;;2514:24;;2405:141;;;;:::o;890:20::-;;;;;;;;;;;;;:::o;2668:37::-;;;;;;;;;;;;;;;;;;;;:::o;1974:423::-;2072:12;2041:3;129:1;109:22;;:8;:22;;;;101:31;;;;;;;;1812:16;;;;;;;;;;;1805:24;;;;;;2129:6;2104:9;:21;2114:10;2104:21;;;;;;;;;;;;;;;;:31;;:75;;;;;2165:9;:14;2175:3;2165:14;;;;;;;;;;;;;;;;2156:6;2139:9;:14;2149:3;2139:14;;;;;;;;;;;;;;;;:23;:40;2104:75;2096:84;;;;;;;;2226:38;2234:9;:21;2244:10;2234:21;;;;;;;;;;;;;;;;2257:6;2226:7;:38::i;:::-;2202:9;:21;2212:10;2202:21;;;;;;;;;;;;;;;:62;;;;2292:31;2300:9;:14;2310:3;2300:14;;;;;;;;;;;;;;;;2316:6;2292:7;:31::i;:::-;2275:9;:14;2285:3;2275:14;;;;;;;;;;;;;;;:48;;;;2355:3;2334:33;;2343:10;2334:33;;;2360:6;2334:33;;;;;;;;;;;;;;;;;;2385:4;2378:11;;1974:423;;;;;:::o;1593:35::-;;;;;;;;;;;;;:::o;1076:139::-;1044:5;;;;;;;;;;;1030:19;;:10;:19;;;1022:28;;;;;;;;1177:1;1157:22;;:8;:22;;;;1149:31;;;;;;;;1199:8;1191:5;;:16;;;;;;;;;;;;;;;;;;1076:139;:::o;327:133::-;391:7;424:2;418;:8;;411:16;;;;;;450:2;445;:7;438:14;;327:133;;;;:::o;160:159::-;224:7;244:10;262:2;257;:7;244:20;;288:2;282;:8;;275:16;;;;;;309:2;302:9;;160:159;;;;;:::o

bzzr://b052f25ca0a89b86a52a783485f33905fdf54b9debfa2de1232100635c841839