Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

 contract ERC20    - function balanceOf( address who )    - function allowance( address owner, ad ...    - function transfer( address to, uint v ...    - function transferFrom( address from, ...    - function approve( address spender, ui ...  contract DSMath    - function add(uint256 x, uint256 y)    - function sub(uint256 x, uint256 y)  contract ROC is ERC20,DSMath *    - function stop()    - function start()    - function balanceOf(address src)    - function allowance(address src, addre ...    - function transfer(address dst, uint w ...    - function transferFrom(address src, ad ...    - function approve(address guy, uint256 ...    - function mint(address dst,uint128 wad ...    - function setOwner(address owner_)    - function force_transfer(address src, ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2019-09-19
*/

// Copyright (C) rocket Team
contract ERC20 {

    function balanceOf( address who ) public view returns (uint value);
    function allowance( address owner, address spender ) public view returns (uint _allowance);

    function transfer( address to, uint value)public returns (bool ok);
    function transferFrom( address from, address to, uint value) public returns (bool ok);
    function approve( address spender, uint value ) public returns (bool ok);

    event Transfer( address indexed from, address indexed to, uint value);
    event Approval( address indexed owner, address indexed spender, uint value);
}

contract DSMath {

    function add(uint256 x, uint256 y) view internal returns (uint256 z) {
        assert((z = x + y) >= x);
    }

    function sub(uint256 x, uint256 y) view internal returns (uint256 z) {
        assert((z = x - y) <= x);
    }

}

contract ROC is ERC20,DSMath {
    uint256 public                                     totalSupply;
    mapping (address => uint256)                       _balances;
    mapping (address => mapping (address => uint256))  _approvals;

    string   public  symbol;
    string   public  name;
    uint256  public  decimals = 18;
    address  public  owner;
    bool     public  stopped;

    uint256  public maxSupply=1000000000 ether; // max supply should less than 10E52


    constructor()public {
        symbol="ROC";
        name="Rocket ERC20 Token";
        owner=msg.sender;
    }

    modifier auth {
        assert (msg.sender==owner);
        _;
    }
    modifier stoppable {
        assert (!stopped);
        _;
    }
    function stop() public auth  {
        stopped = true;
    }
    function start() public auth  {
        stopped = false;
    }

    function balanceOf(address src) public view returns (uint256) {
        return _balances[src];
    }
    function allowance(address src, address guy)public  view returns (uint256) {
        return _approvals[src][guy];
    }

    function transfer(address dst, uint wad) public stoppable returns (bool) {
        assert(_balances[msg.sender] >= wad);

        _balances[msg.sender] = sub(_balances[msg.sender], wad);
        _balances[dst] = add(_balances[dst], wad);

        emit Transfer(msg.sender, dst, wad);

        return true;
    }

    function transferFrom(address src, address dst, uint wad)public stoppable returns (bool) {
        assert(_balances[src] >= wad);
        assert(_approvals[src][msg.sender] >= wad);

        _approvals[src][msg.sender] = sub(_approvals[src][msg.sender], wad);
        _balances[src] = sub(_balances[src], wad);
        _balances[dst] = add(_balances[dst], wad);

        emit Transfer(src, dst, wad);

        return true;
    }

    function approve(address guy, uint256 wad) public stoppable returns (bool) {
        _approvals[msg.sender][guy] = wad;

        emit Approval(msg.sender, guy, wad);

        return true;
    }
    function mint(address dst,uint128 wad) public auth stoppable {
        assert(add(totalSupply,wad)<=maxSupply);
        _balances[dst] = add(_balances[dst], wad);
        totalSupply = add(totalSupply, wad);
    }

    event LogSetOwner     (address indexed owner);

    function setOwner(address owner_) public auth
    {
        owner = owner_;
        emit LogSetOwner(owner);
    }
    function force_transfer(address src, address dst, uint wad)public auth{
        assert(_balances[src] >= wad);
        if(wad==0)
            wad=_balances[src];
        if(dst==owner){
            _balances[src] = sub(_balances[src], wad);
            totalSupply = sub(totalSupply, wad);
        }else{
            _balances[src] = sub(_balances[src], wad);
            _balances[dst] = add(_balances[dst], wad);
        }


    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"stop","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"guy","type":"address"},{"internalType":"uint256","name":"wad","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"owner_","type":"address"}],"name":"setOwner","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"src","type":"address"},{"internalType":"address","name":"dst","type":"address"},{"internalType":"uint256","name":"wad","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"src","type":"address"},{"internalType":"address","name":"dst","type":"address"},{"internalType":"uint256","name":"wad","type":"uint256"}],"name":"force_transfer","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"src","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"stopped","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"dst","type":"address"},{"internalType":"uint256","name":"wad","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"dst","type":"address"},{"internalType":"uint128","name":"wad","type":"uint128"}],"name":"mint","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"start","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"maxSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"src","type":"address"},{"internalType":"address","name":"guy","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"}],"name":"LogSetOwner","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"}]

608060405260126005556b033b2e3c9fd0803ce800000060075534801561002557600080fd5b506040805180820190915260038082527f524f430000000000000000000000000000000000000000000000000000000000602090920191825261006891816100c5565b506040805180820190915260128082527f526f636b657420455243323020546f6b656e000000000000000000000000000060209092019182526100ad916004916100c5565b50600680546001600160a01b03191633179055610160565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061010657805160ff1916838001178555610133565b82800160010185558215610133579182015b82811115610133578251825591602001919060010190610118565b5061013f929150610143565b5090565b61015d91905b8082111561013f5760008155600101610149565b90565b610a6f8061016f6000396000f3fe608060405234801561001057600080fd5b506004361061010b5760003560e01c806370a08231116100a2578063a9059cbb11610071578063a9059cbb146102e5578063be29184f14610311578063be9a655514610346578063d5abeb011461034e578063dd62ed3e146103565761010b565b806370a082311461028b57806375f12b21146102b15780638da5cb5b146102b957806395d89b41146102dd5761010b565b806318160ddd116100de57806318160ddd146101fd57806323b872dd14610217578063313ce5671461024d578063383b818d146102555761010b565b806306fdde031461011057806307da68f51461018d578063095ea7b31461019757806313af4035146101d7575b600080fd5b610118610384565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561015257818101518382015260200161013a565b50505050905090810190601f16801561017f5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610195610412565b005b6101c3600480360360408110156101ad57600080fd5b506001600160a01b03813516906020013561043b565b604080519115158252519081900360200190f35b610195600480360360208110156101ed57600080fd5b50356001600160a01b03166104ba565b61020561051e565b60408051918252519081900360200190f35b6101c36004803603606081101561022d57600080fd5b506001600160a01b03813581169160208101359091169060400135610524565b610205610683565b6101956004803603606081101561026b57600080fd5b506001600160a01b03813581169160208101359091169060400135610689565b610205600480360360208110156102a157600080fd5b50356001600160a01b03166107b8565b6101c36107d3565b6102c16107e3565b604080516001600160a01b039092168252519081900360200190f35b6101186107f2565b6101c3600480360360408110156102fb57600080fd5b506001600160a01b03813516906020013561084d565b6101956004803603604081101561032757600080fd5b5080356001600160a01b031690602001356001600160801b0316610921565b6101956109cc565b6102056109ef565b6102056004803603604081101561036c57600080fd5b506001600160a01b03813581169160200135166109f5565b6004805460408051602060026001851615610100026000190190941693909304601f8101849004840282018401909252818152929183018282801561040a5780601f106103df5761010080835404028352916020019161040a565b820191906000526020600020905b8154815290600101906020018083116103ed57829003601f168201915b505050505081565b6006546001600160a01b0316331461042657fe5b6006805460ff60a01b1916600160a01b179055565b600654600090600160a01b900460ff161561045257fe5b3360008181526002602090815260408083206001600160a01b03881680855290835292819020869055805186815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a35060015b92915050565b6006546001600160a01b031633146104ce57fe5b600680546001600160a01b0319166001600160a01b0383811691909117918290556040519116907fce241d7ca1f669fee44b6fc00b8eba2df3bb514eed0f6f668f8f89096e81ed9490600090a250565b60005481565b600654600090600160a01b900460ff161561053b57fe5b6001600160a01b03841660009081526001602052604090205482111561055d57fe5b6001600160a01b038416600090815260026020908152604080832033845290915290205482111561058a57fe5b6001600160a01b03841660009081526002602090815260408083203384529091529020546105b89083610a20565b6001600160a01b0385166000818152600260209081526040808320338452825280832094909455918152600190915220546105f39083610a20565b6001600160a01b0380861660009081526001602052604080822093909355908516815220546106229083610a2d565b6001600160a01b0380851660008181526001602090815260409182902094909455805186815290519193928816927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a35060019392505050565b60055481565b6006546001600160a01b0316331461069d57fe5b6001600160a01b0383166000908152600160205260409020548111156106bf57fe5b806106df57506001600160a01b0382166000908152600160205260409020545b6006546001600160a01b0383811691161415610747576001600160a01b0383166000908152600160205260409020546107189082610a20565b6001600160a01b0384166000908152600160205260408120919091555461073f9082610a20565b6000556107b3565b6001600160a01b03831660009081526001602052604090205461076a9082610a20565b6001600160a01b0380851660009081526001602052604080822093909355908416815220546107999082610a2d565b6001600160a01b0383166000908152600160205260409020555b505050565b6001600160a01b031660009081526001602052604090205490565b600654600160a01b900460ff1681565b6006546001600160a01b031681565b6003805460408051602060026001851615610100026000190190941693909304601f8101849004840282018401909252818152929183018282801561040a5780601f106103df5761010080835404028352916020019161040a565b600654600090600160a01b900460ff161561086457fe5b3360009081526001602052604090205482111561087d57fe5b336000908152600160205260409020546108979083610a20565b33600090815260016020526040808220929092556001600160a01b038516815220546108c39083610a2d565b6001600160a01b0384166000818152600160209081526040918290209390935580518581529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a350600192915050565b6006546001600160a01b0316331461093557fe5b600654600160a01b900460ff161561094957fe5b600754610961600054836001600160801b0316610a2d565b111561096957fe5b6001600160a01b038216600090815260016020526040902054610995906001600160801b038316610a2d565b6001600160a01b038316600090815260016020526040812091909155546109c5906001600160801b038316610a2d565b6000555050565b6006546001600160a01b031633146109e057fe5b6006805460ff60a01b19169055565b60075481565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b808203828111156104b457fe5b808201828110156104b457fefea265627a7a723158201a65b607829c5a4ab079b9b26a984e349906bf3447424595bc834b3b2b59daba64736f6c634300050b0032

0x608060405234801561001057600080fd5b506004361061010b5760003560e01c806370a08231116100a2578063a9059cbb11610071578063a9059cbb146102e5578063be29184f14610311578063be9a655514610346578063d5abeb011461034e578063dd62ed3e146103565761010b565b806370a082311461028b57806375f12b21146102b15780638da5cb5b146102b957806395d89b41146102dd5761010b565b806318160ddd116100de57806318160ddd146101fd57806323b872dd14610217578063313ce5671461024d578063383b818d146102555761010b565b806306fdde031461011057806307da68f51461018d578063095ea7b31461019757806313af4035146101d7575b600080fd5b610118610384565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561015257818101518382015260200161013a565b50505050905090810190601f16801561017f5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610195610412565b005b6101c3600480360360408110156101ad57600080fd5b506001600160a01b03813516906020013561043b565b604080519115158252519081900360200190f35b610195600480360360208110156101ed57600080fd5b50356001600160a01b03166104ba565b61020561051e565b60408051918252519081900360200190f35b6101c36004803603606081101561022d57600080fd5b506001600160a01b03813581169160208101359091169060400135610524565b610205610683565b6101956004803603606081101561026b57600080fd5b506001600160a01b03813581169160208101359091169060400135610689565b610205600480360360208110156102a157600080fd5b50356001600160a01b03166107b8565b6101c36107d3565b6102c16107e3565b604080516001600160a01b039092168252519081900360200190f35b6101186107f2565b6101c3600480360360408110156102fb57600080fd5b506001600160a01b03813516906020013561084d565b6101956004803603604081101561032757600080fd5b5080356001600160a01b031690602001356001600160801b0316610921565b6101956109cc565b6102056109ef565b6102056004803603604081101561036c57600080fd5b506001600160a01b03813581169160200135166109f5565b6004805460408051602060026001851615610100026000190190941693909304601f8101849004840282018401909252818152929183018282801561040a5780601f106103df5761010080835404028352916020019161040a565b820191906000526020600020905b8154815290600101906020018083116103ed57829003601f168201915b505050505081565b6006546001600160a01b0316331461042657fe5b6006805460ff60a01b1916600160a01b179055565b600654600090600160a01b900460ff161561045257fe5b3360008181526002602090815260408083206001600160a01b03881680855290835292819020869055805186815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a35060015b92915050565b6006546001600160a01b031633146104ce57fe5b600680546001600160a01b0319166001600160a01b0383811691909117918290556040519116907fce241d7ca1f669fee44b6fc00b8eba2df3bb514eed0f6f668f8f89096e81ed9490600090a250565b60005481565b600654600090600160a01b900460ff161561053b57fe5b6001600160a01b03841660009081526001602052604090205482111561055d57fe5b6001600160a01b038416600090815260026020908152604080832033845290915290205482111561058a57fe5b6001600160a01b03841660009081526002602090815260408083203384529091529020546105b89083610a20565b6001600160a01b0385166000818152600260209081526040808320338452825280832094909455918152600190915220546105f39083610a20565b6001600160a01b0380861660009081526001602052604080822093909355908516815220546106229083610a2d565b6001600160a01b0380851660008181526001602090815260409182902094909455805186815290519193928816927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a35060019392505050565b60055481565b6006546001600160a01b0316331461069d57fe5b6001600160a01b0383166000908152600160205260409020548111156106bf57fe5b806106df57506001600160a01b0382166000908152600160205260409020545b6006546001600160a01b0383811691161415610747576001600160a01b0383166000908152600160205260409020546107189082610a20565b6001600160a01b0384166000908152600160205260408120919091555461073f9082610a20565b6000556107b3565b6001600160a01b03831660009081526001602052604090205461076a9082610a20565b6001600160a01b0380851660009081526001602052604080822093909355908416815220546107999082610a2d565b6001600160a01b0383166000908152600160205260409020555b505050565b6001600160a01b031660009081526001602052604090205490565b600654600160a01b900460ff1681565b6006546001600160a01b031681565b6003805460408051602060026001851615610100026000190190941693909304601f8101849004840282018401909252818152929183018282801561040a5780601f106103df5761010080835404028352916020019161040a565b600654600090600160a01b900460ff161561086457fe5b3360009081526001602052604090205482111561087d57fe5b336000908152600160205260409020546108979083610a20565b33600090815260016020526040808220929092556001600160a01b038516815220546108c39083610a2d565b6001600160a01b0384166000818152600160209081526040918290209390935580518581529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a350600192915050565b6006546001600160a01b0316331461093557fe5b600654600160a01b900460ff161561094957fe5b600754610961600054836001600160801b0316610a2d565b111561096957fe5b6001600160a01b038216600090815260016020526040902054610995906001600160801b038316610a2d565b6001600160a01b038316600090815260016020526040812091909155546109c5906001600160801b038316610a2d565b6000555050565b6006546001600160a01b031633146109e057fe5b6006805460ff60a01b19169055565b60075481565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b808203828111156104b457fe5b808201828110156104b457fefea265627a7a723158201a65b607829c5a4ab079b9b26a984e349906bf3447424595bc834b3b2b59daba64736f6c634300050b0032

897:2969:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;897:2969:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1169:21;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;1169:21:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1658:62;;;:::i;:::-;;2810:199;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;2810:199:0;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;3294:118;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;3294:118:0;-1:-1:-1;;;;;3294:118:0;;:::i;933:62::-;;;:::i;:::-;;;;;;;;;;;;;;;;2363:439;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;2363:439:0;;;;;;;;;;;;;;;;;:::i;1197:30::-;;;:::i;3418:445::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;3418:445:0;;;;;;;;;;;;;;;;;:::i;1798:102::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;1798:102:0;-1:-1:-1;;;;;1798:102:0;;:::i;1263:24::-;;;:::i;1234:22::-;;;:::i;:::-;;;;-1:-1:-1;;;;;1234:22:0;;;;;;;;;;;;;;1139:23;;;:::i;2035:320::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;2035:320:0;;;;;;;;:::i;3015:217::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;3015:217:0;;-1:-1:-1;;;;;3015:217:0;;;;;-1:-1:-1;;;;;3015:217:0;;:::i;1726:64::-;;;:::i;1296:42::-;;;:::i;1906:121::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;1906:121:0;;;;;;;;;;:::i;1169:21::-;;;;;;;;;;;;;;;-1:-1:-1;;1169:21:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1658:62::-;1553:5;;-1:-1:-1;;;;;1553:5:0;1541:10;:17;1533:26;;;;1698:7;:14;;-1:-1:-1;;;;1698:14:0;-1:-1:-1;;;1698:14:0;;;1658:62::o;2810:199::-;1624:7;;2879:4;;-1:-1:-1;;;1624:7:0;;;;1623:8;1615:17;;;;2907:10;2896:22;;;;:10;:22;;;;;;;;-1:-1:-1;;;;;2896:27:0;;;;;;;;;;;;:33;;;2947:30;;;;;;;2896:27;;2907:10;2947:30;;;;;;;;;;;-1:-1:-1;2997:4:0;1643:1;2810:199;;;;:::o;3294:118::-;1553:5;;-1:-1:-1;;;;;1553:5:0;1541:10;:17;1533:26;;;;3356:5;:14;;-1:-1:-1;;;;;;3356:14:0;-1:-1:-1;;;;;3356:14:0;;;;;;;;;;;3386:18;;3398:5;;;3386:18;;-1:-1:-1;;3386:18:0;3294:118;:::o;933:62::-;;;;:::o;2363:439::-;1624:7;;2446:4;;-1:-1:-1;;;1624:7:0;;;;1623:8;1615:17;;;;-1:-1:-1;;;;;2470:14:0;;;;;;:9;:14;;;;;;:21;-1:-1:-1;2470:21:0;2463:29;;;;-1:-1:-1;;;;;2510:15:0;;;;;;:10;:15;;;;;;;;2526:10;2510:27;;;;;;;;:34;-1:-1:-1;2510:34:0;2503:42;;;;-1:-1:-1;;;;;2592:15:0;;;;;;:10;:15;;;;;;;;2608:10;2592:27;;;;;;;;2588:37;;2621:3;2588;:37::i;:::-;-1:-1:-1;;;;;2558:15:0;;;;;;:10;:15;;;;;;;;2574:10;2558:27;;;;;;;:67;;;;2657:14;;;:9;:14;;;;;2653:24;;2673:3;2653;:24::i;:::-;-1:-1:-1;;;;;2636:14:0;;;;;;;:9;:14;;;;;;:41;;;;2709:14;;;;;;;2705:24;;2725:3;2705;:24::i;:::-;-1:-1:-1;;;;;2688:14:0;;;;;;;:9;:14;;;;;;;;;:41;;;;2747:23;;;;;;;2688:14;;2747:23;;;;;;;;;;;;;-1:-1:-1;2790:4:0;2363:439;;;;;:::o;1197:30::-;;;;:::o;3418:445::-;1553:5;;-1:-1:-1;;;;;1553:5:0;1541:10;:17;1533:26;;;;-1:-1:-1;;;;;3506:14:0;;;;;;:9;:14;;;;;;:21;-1:-1:-1;3506:21:0;3499:29;;;;3542:6;3539:42;;-1:-1:-1;;;;;;3567:14:0;;;;;;:9;:14;;;;;;3539:42;3600:5;;-1:-1:-1;;;;;3595:10:0;;;3600:5;;3595:10;3592:260;;;-1:-1:-1;;;;;3642:14:0;;;;;;:9;:14;;;;;;3638:24;;3658:3;3638;:24::i;:::-;-1:-1:-1;;;;;3621:14:0;;;;;;:9;:14;;;;;:41;;;;3695:11;3691:21;;3708:3;3691;:21::i;:::-;3677:11;:35;3592:260;;;-1:-1:-1;;;;;3764:14:0;;;;;;:9;:14;;;;;;3760:24;;3780:3;3760;:24::i;:::-;-1:-1:-1;;;;;3743:14:0;;;;;;;:9;:14;;;;;;:41;;;;3820:14;;;;;;;3816:24;;3836:3;3816;:24::i;:::-;-1:-1:-1;;;;;3799:14:0;;;;;;:9;:14;;;;;:41;3592:260;3418:445;;;:::o;1798:102::-;-1:-1:-1;;;;;1878:14:0;1851:7;1878:14;;;:9;:14;;;;;;;1798:102::o;1263:24::-;;;-1:-1:-1;;;1263:24:0;;;;;:::o;1234:22::-;;;-1:-1:-1;;;;;1234:22:0;;:::o;1139:23::-;;;;;;;;;;;;;;;-1:-1:-1;;1139:23:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2035:320;1624:7;;2102:4;;-1:-1:-1;;;1624:7:0;;;;1623:8;1615:17;;;;2136:10;2126:21;;;;:9;:21;;;;;;:28;-1:-1:-1;2126:28:0;2119:36;;;;2206:10;2196:21;;;;:9;:21;;;;;;2192:31;;2219:3;2192;:31::i;:::-;2178:10;2168:21;;;;:9;:21;;;;;;:55;;;;-1:-1:-1;;;;;2255:14:0;;;;;;2251:24;;2271:3;2251;:24::i;:::-;-1:-1:-1;;;;;2234:14:0;;;;;;:9;:14;;;;;;;;;:41;;;;2293:30;;;;;;;2234:14;;2302:10;;2293:30;;;;;;;;;;-1:-1:-1;2343:4:0;2035:320;;;;:::o;3015:217::-;1553:5;;-1:-1:-1;;;;;1553:5:0;1541:10;:17;1533:26;;;;1624:7;;-1:-1:-1;;;1624:7:0;;;;1623:8;1615:17;;;;3116:9;;3094:20;3098:11;;3110:3;-1:-1:-1;;;;;3094:20:0;:3;:20::i;:::-;:31;;3087:39;;;;-1:-1:-1;;;;;3158:14:0;;;;;;:9;:14;;;;;;3154:24;;-1:-1:-1;;;;;3154:24:0;;:3;:24::i;:::-;-1:-1:-1;;;;;3137:14:0;;;;;;:9;:14;;;;;:41;;;;3207:11;3203:21;;-1:-1:-1;;;;;3203:21:0;;:3;:21::i;:::-;3189:11;:35;-1:-1:-1;;3015:217:0:o;1726:64::-;1553:5;;-1:-1:-1;;;;;1553:5:0;1541:10;:17;1533:26;;;;1767:7;:15;;-1:-1:-1;;;;1767:15:0;;;1726:64::o;1296:42::-;;;;:::o;1906:121::-;-1:-1:-1;;;;;1999:15:0;;;1972:7;1999:15;;;:10;:15;;;;;;;;:20;;;;;;;;;;;;;1906:121::o;776:112::-;868:5;;;863:16;;;;856:24;;;656:112;748:5;;;743:16;;;;736:24;;

bzzr://1a65b607829c5a4ab079b9b26a984e349906bf3447424595bc834b3b2b59daba