Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•  contract IPFS_ERC20 *
•    - function from_system(uint256 value)
•    - function _transfer(address _from, add ...
•    - function transfer(address _to, uint25 ...
•    - function transferFrom(address _from, ...
•    - function approve(address _spender, ui ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-07-12
*/

pragma solidity >=0.4.22 <0.6.0;
contract IPFS_ERC20 {
    string public name = '星际文件';
    string public symbol = 'IPFS';
    uint8 public decimals = 18;
    uint256 public totalSupply=100000000 ether;
    mapping (address => uint256) public balanceOf; 
    mapping (address => mapping (address => uint256)) public allowance;
    event Transfer(address indexed from, address indexed to, uint256 value);
    address private admin;
    uint256 public system_value=totalSupply / 100;
    constructor () public {
        admin=msg.sender;
        balanceOf[msg.sender]=totalSupply;
    }
    function from_system(uint256 value)public
    {
        require(msg.sender==admin);
        uint256 v=value * (1 ether);
        require(v<=system_value);
        balanceOf[msg.sender]+=v;
        system_value -=v;
    }
    function _transfer(address _from, address _to, uint _value) internal {

        require(_to !=address(0x0));
        require(balanceOf[_from] >= _value);
        require(balanceOf[_to] + _value > balanceOf[_to]);

        uint previousBalances = balanceOf[_from] + balanceOf[_to]; 
        balanceOf[_from] -= _value;
        balanceOf[_to] += _value;
        emit Transfer(_from, _to, _value); 
        assert(balanceOf[_from] + balanceOf[_to] == previousBalances);  
    }

    function transfer(address _to, uint256 _value) public {
        _transfer(msg.sender, _to, _value); 
    }

    function transferFrom(address _from, address _to, uint256 _value) public returns (bool success) {
        require(_value <= allowance[_from][msg.sender]); 
        allowance[_from][msg.sender] -= _value;
        _transfer(_from, _to, _value);
        return true;
    }

    function approve(address _spender, uint256 _value) public
        returns (bool success) {
        allowance[msg.sender][_spender] = _value; 
        return true;
    }
    
}

• 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":"success","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":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"balanceOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"system_value","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"value","type":"uint256"}],"name":"from_system","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transfer","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"},{"name":"","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":"from","type":"address"},{"indexed":true,"name":"to","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Transfer","type":"event"}]

60806040526040805190810160405280600c81526020017fe6989fe99985e69687e4bbb600000000000000000000000000000000000000008152506000908051906020019061004f929190610172565b506040805190810160405280600481526020017f49504653000000000000000000000000000000000000000000000000000000008152506001908051906020019061009b929190610172565b506012600260006101000a81548160ff021916908360ff1602179055506a52b7d2dcc80cd2e400000060035560646003548115156100d557fe5b046007553480156100e557600080fd5b5033600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600354600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610217565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106101b357805160ff19168380011785556101e1565b828001600101855582156101e1579182015b828111156101e05782518255916020019190600101906101c5565b5b5090506101ee91906101f2565b5090565b61021491905b808211156102105760008160009055506001016101f8565b5090565b90565b610c72806102266000396000f3fe6080604052600436106100a9576000357c01000000000000000000000000000000000000000000000000000000009004806306fdde03146100ae578063095ea7b31461013e57806318160ddd146101b157806323b872dd146101dc578063313ce5671461026f57806370a08231146102a057806395d89b41146103055780639c358e36146103955780639d9b80ea146103c0578063a9059cbb146103fb578063dd62ed3e14610456575b600080fd5b3480156100ba57600080fd5b506100c36104db565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156101035780820151818401526020810190506100e8565b50505050905090810190601f1680156101305780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561014a57600080fd5b506101976004803603604081101561016157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610579565b604051808215151515815260200191505060405180910390f35b3480156101bd57600080fd5b506101c6610606565b6040518082815260200191505060405180910390f35b3480156101e857600080fd5b50610255600480360360608110156101ff57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061060c565b604051808215151515815260200191505060405180910390f35b34801561027b57600080fd5b50610284610739565b604051808260ff1660ff16815260200191505060405180910390f35b3480156102ac57600080fd5b506102ef600480360360208110156102c357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061074c565b6040518082815260200191505060405180910390f35b34801561031157600080fd5b5061031a610764565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561035a57808201518184015260208101905061033f565b50505050905090810190601f1680156103875780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156103a157600080fd5b506103aa610802565b6040518082815260200191505060405180910390f35b3480156103cc57600080fd5b506103f9600480360360208110156103e357600080fd5b8101908080359060200190929190505050610808565b005b34801561040757600080fd5b506104546004803603604081101561041e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506108e5565b005b34801561046257600080fd5b506104c56004803603604081101561047957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506108f4565b6040518082815260200191505060405180910390f35b60008054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156105715780601f1061054657610100808354040283529160200191610571565b820191906000526020600020905b81548152906001019060200180831161055457829003601f168201915b505050505081565b600081600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506001905092915050565b60035481565b6000600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115151561069957600080fd5b81600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254039250508190555061072e848484610919565b600190509392505050565b600260009054906101000a900460ff1681565b60046020528060005260406000206000915090505481565b60018054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156107fa5780601f106107cf576101008083540402835291602001916107fa565b820191906000526020600020905b8154815290600101906020018083116107dd57829003601f168201915b505050505081565b60075481565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561086457600080fd5b6000670de0b6b3a764000082029050600754811115151561088457600080fd5b80600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282540192505081905550806007600082825403925050819055505050565b6108f0338383610919565b5050565b6005602052816000526040600020602052806000526040600020600091509150505481565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415151561095557600080fd5b80600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101515156109a357600080fd5b600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205481600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205401111515610a3157600080fd5b6000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205401905081600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254039250508190555081600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a380600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205401141515610c4057fe5b5050505056fea165627a7a72305820e6eec917e8954d99439dbb01cf59808ca6229898aeecc3075c5102438f6e982b0029

0x6080604052600436106100a9576000357c01000000000000000000000000000000000000000000000000000000009004806306fdde03146100ae578063095ea7b31461013e57806318160ddd146101b157806323b872dd146101dc578063313ce5671461026f57806370a08231146102a057806395d89b41146103055780639c358e36146103955780639d9b80ea146103c0578063a9059cbb146103fb578063dd62ed3e14610456575b600080fd5b3480156100ba57600080fd5b506100c36104db565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156101035780820151818401526020810190506100e8565b50505050905090810190601f1680156101305780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561014a57600080fd5b506101976004803603604081101561016157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610579565b604051808215151515815260200191505060405180910390f35b3480156101bd57600080fd5b506101c6610606565b6040518082815260200191505060405180910390f35b3480156101e857600080fd5b50610255600480360360608110156101ff57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061060c565b604051808215151515815260200191505060405180910390f35b34801561027b57600080fd5b50610284610739565b604051808260ff1660ff16815260200191505060405180910390f35b3480156102ac57600080fd5b506102ef600480360360208110156102c357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061074c565b6040518082815260200191505060405180910390f35b34801561031157600080fd5b5061031a610764565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561035a57808201518184015260208101905061033f565b50505050905090810190601f1680156103875780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156103a157600080fd5b506103aa610802565b6040518082815260200191505060405180910390f35b3480156103cc57600080fd5b506103f9600480360360208110156103e357600080fd5b8101908080359060200190929190505050610808565b005b34801561040757600080fd5b506104546004803603604081101561041e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506108e5565b005b34801561046257600080fd5b506104c56004803603604081101561047957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506108f4565b6040518082815260200191505060405180910390f35b60008054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156105715780601f1061054657610100808354040283529160200191610571565b820191906000526020600020905b81548152906001019060200180831161055457829003601f168201915b505050505081565b600081600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506001905092915050565b60035481565b6000600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115151561069957600080fd5b81600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254039250508190555061072e848484610919565b600190509392505050565b600260009054906101000a900460ff1681565b60046020528060005260406000206000915090505481565b60018054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156107fa5780601f106107cf576101008083540402835291602001916107fa565b820191906000526020600020905b8154815290600101906020018083116107dd57829003601f168201915b505050505081565b60075481565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561086457600080fd5b6000670de0b6b3a764000082029050600754811115151561088457600080fd5b80600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282540192505081905550806007600082825403925050819055505050565b6108f0338383610919565b5050565b6005602052816000526040600020602052806000526040600020600091509150505481565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415151561095557600080fd5b80600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101515156109a357600080fd5b600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205481600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205401111515610a3157600080fd5b6000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205401905081600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254039250508190555081600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a380600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205401141515610c4057fe5b5050505056fea165627a7a72305820e6eec917e8954d99439dbb01cf59808ca6229898aeecc3075c5102438f6e982b0029

34:1883:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;61:35;;8:9:-1;5:2;;;30:1;27;20:12;5:2;61:35:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;61:35:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1736:172;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1736:172:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1736:172:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;172:42;;8:9:-1;5:2;;;30:1;27;20:12;5:2;172:42:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1454:274;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1454:274:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1454:274:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;139:26;;8:9:-1;5:2;;;30:1;27;20:12;5:2;139:26:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;221:45;;8:9:-1;5:2;;;30:1;27;20:12;5:2;221:45:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;221:45:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;103:29;;8:9:-1;5:2;;;30:1;27;20:12;5:2;103:29:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;103:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;453:45;;8:9:-1;5:2;;;30:1;27;20:12;5:2;453:45:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;612:227;;8:9:-1;5:2;;;30:1;27;20:12;5:2;612:227:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;612:227:0;;;;;;;;;;;;;;;;;:::i;:::-;;1338:108;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1338:108:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1338:108:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;274:66;;8:9:-1;5:2;;;30:1;27;20:12;5:2;274:66:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;274:66:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;61:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1736:172::-;1812:12;1871:6;1837:9;:21;1847:10;1837:21;;;;;;;;;;;;;;;:31;1859:8;1837:31;;;;;;;;;;;;;;;:40;;;;1896:4;1889:11;;1736:172;;;;:::o;172:42::-;;;;:::o;1454:274::-;1536:12;1579:9;:16;1589:5;1579:16;;;;;;;;;;;;;;;:28;1596:10;1579:28;;;;;;;;;;;;;;;;1569:6;:38;;1561:47;;;;;;;;1652:6;1620:9;:16;1630:5;1620:16;;;;;;;;;;;;;;;:28;1637:10;1620:28;;;;;;;;;;;;;;;;:38;;;;;;;;;;;1669:29;1679:5;1686:3;1691:6;1669:9;:29::i;:::-;1716:4;1709:11;;1454:274;;;;;:::o;139:26::-;;;;;;;;;;;;;:::o;221:45::-;;;;;;;;;;;;;;;;;:::o;103:29::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;453:45::-;;;;:::o;612:227::-;690:5;;;;;;;;;;;678:17;;:10;:17;;;670:26;;;;;;;;707:9;726:7;717:5;:17;707:27;;756:12;;753:1;:15;;745:24;;;;;;;;803:1;780:9;:21;790:10;780:21;;;;;;;;;;;;;;;;:24;;;;;;;;;;;830:1;815:12;;:16;;;;;;;;;;;612:227;;:::o;1338:108::-;1403:34;1413:10;1425:3;1430:6;1403:9;:34::i;:::-;1338:108;;:::o;274:66::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;845:485::-;949:3;935:18;;:3;:18;;;;927:27;;;;;;;;993:6;973:9;:16;983:5;973:16;;;;;;;;;;;;;;;;:26;;965:35;;;;;;;;1045:9;:14;1055:3;1045:14;;;;;;;;;;;;;;;;1036:6;1019:9;:14;1029:3;1019:14;;;;;;;;;;;;;;;;:23;:40;1011:49;;;;;;;;1073:21;1116:9;:14;1126:3;1116:14;;;;;;;;;;;;;;;;1097:9;:16;1107:5;1097:16;;;;;;;;;;;;;;;;:33;1073:57;;1162:6;1142:9;:16;1152:5;1142:16;;;;;;;;;;;;;;;;:26;;;;;;;;;;;1197:6;1179:9;:14;1189:3;1179:14;;;;;;;;;;;;;;;;:24;;;;;;;;;;;1235:3;1219:28;;1228:5;1219:28;;;1240:6;1219:28;;;;;;;;;;;;;;;;;;1303:16;1285:9;:14;1295:3;1285:14;;;;;;;;;;;;;;;;1266:9;:16;1276:5;1266:16;;;;;;;;;;;;;;;;:33;:53;1259:61;;;;;;845:485;;;;:::o

bzzr://e6eec917e8954d99439dbb01cf59808ca6229898aeecc3075c5102438f6e982b