Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

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 CCS 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=14285700 ether; // max supply should less than 10E52


    constructor()public {
        symbol="CCS";
        name="Copyright Confirmation System 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"}]

608060405260126005556a0bd11d59493d855b90000060075534801561002457600080fd5b506040805180820190915260038082527f4343530000000000000000000000000000000000000000000000000000000000602090920191825261006791816100ad565b50604051806060016040528060298152602001610bc6602991398051610095916004916020909101906100ad565b50600680546001600160a01b03191633179055610148565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106100ee57805160ff191683800117855561011b565b8280016001018555821561011b579182015b8281111561011b578251825591602001919060010190610100565b5061012792915061012b565b5090565b61014591905b808211156101275760008155600101610131565b90565b610a6f806101576000396000f3fe608060405234801561001057600080fd5b506004361061010b5760003560e01c806370a08231116100a2578063a9059cbb11610071578063a9059cbb146102e5578063be29184f14610311578063be9a655514610346578063d5abeb011461034e578063dd62ed3e146103565761010b565b806370a082311461028b57806375f12b21146102b15780638da5cb5b146102b957806395d89b41146102dd5761010b565b806318160ddd116100de57806318160ddd146101fd57806323b872dd14610217578063313ce5671461024d578063383b818d146102555761010b565b806306fdde031461011057806307da68f51461018d578063095ea7b31461019757806313af4035146101d7575b600080fd5b610118610384565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561015257818101518382015260200161013a565b50505050905090810190601f16801561017f5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610195610412565b005b6101c3600480360360408110156101ad57600080fd5b506001600160a01b03813516906020013561043b565b604080519115158252519081900360200190f35b610195600480360360208110156101ed57600080fd5b50356001600160a01b03166104ba565b61020561051e565b60408051918252519081900360200190f35b6101c36004803603606081101561022d57600080fd5b506001600160a01b03813581169160208101359091169060400135610524565b610205610683565b6101956004803603606081101561026b57600080fd5b506001600160a01b03813581169160208101359091169060400135610689565b610205600480360360208110156102a157600080fd5b50356001600160a01b03166107b8565b6101c36107d3565b6102c16107e3565b604080516001600160a01b039092168252519081900360200190f35b6101186107f2565b6101c3600480360360408110156102fb57600080fd5b506001600160a01b03813516906020013561084d565b6101956004803603604081101561032757600080fd5b5080356001600160a01b031690602001356001600160801b0316610921565b6101956109cc565b6102056109ef565b6102056004803603604081101561036c57600080fd5b506001600160a01b03813581169160200135166109f5565b6004805460408051602060026001851615610100026000190190941693909304601f8101849004840282018401909252818152929183018282801561040a5780601f106103df5761010080835404028352916020019161040a565b820191906000526020600020905b8154815290600101906020018083116103ed57829003601f168201915b505050505081565b6006546001600160a01b0316331461042657fe5b6006805460ff60a01b1916600160a01b179055565b600654600090600160a01b900460ff161561045257fe5b3360008181526002602090815260408083206001600160a01b03881680855290835292819020869055805186815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a35060015b92915050565b6006546001600160a01b031633146104ce57fe5b600680546001600160a01b0319166001600160a01b0383811691909117918290556040519116907fce241d7ca1f669fee44b6fc00b8eba2df3bb514eed0f6f668f8f89096e81ed9490600090a250565b60005481565b600654600090600160a01b900460ff161561053b57fe5b6001600160a01b03841660009081526001602052604090205482111561055d57fe5b6001600160a01b038416600090815260026020908152604080832033845290915290205482111561058a57fe5b6001600160a01b03841660009081526002602090815260408083203384529091529020546105b89083610a20565b6001600160a01b0385166000818152600260209081526040808320338452825280832094909455918152600190915220546105f39083610a20565b6001600160a01b0380861660009081526001602052604080822093909355908516815220546106229083610a2d565b6001600160a01b0380851660008181526001602090815260409182902094909455805186815290519193928816927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a35060019392505050565b60055481565b6006546001600160a01b0316331461069d57fe5b6001600160a01b0383166000908152600160205260409020548111156106bf57fe5b806106df57506001600160a01b0382166000908152600160205260409020545b6006546001600160a01b0383811691161415610747576001600160a01b0383166000908152600160205260409020546107189082610a20565b6001600160a01b0384166000908152600160205260408120919091555461073f9082610a20565b6000556107b3565b6001600160a01b03831660009081526001602052604090205461076a9082610a20565b6001600160a01b0380851660009081526001602052604080822093909355908416815220546107999082610a2d565b6001600160a01b0383166000908152600160205260409020555b505050565b6001600160a01b031660009081526001602052604090205490565b600654600160a01b900460ff1681565b6006546001600160a01b031681565b6003805460408051602060026001851615610100026000190190941693909304601f8101849004840282018401909252818152929183018282801561040a5780601f106103df5761010080835404028352916020019161040a565b600654600090600160a01b900460ff161561086457fe5b3360009081526001602052604090205482111561087d57fe5b336000908152600160205260409020546108979083610a20565b33600090815260016020526040808220929092556001600160a01b038516815220546108c39083610a2d565b6001600160a01b0384166000818152600160209081526040918290209390935580518581529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a350600192915050565b6006546001600160a01b0316331461093557fe5b600654600160a01b900460ff161561094957fe5b600754610961600054836001600160801b0316610a2d565b111561096957fe5b6001600160a01b038216600090815260016020526040902054610995906001600160801b038316610a2d565b6001600160a01b038316600090815260016020526040812091909155546109c5906001600160801b038316610a2d565b6000555050565b6006546001600160a01b031633146109e057fe5b6006805460ff60a01b19169055565b60075481565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b808203828111156104b457fe5b808201828110156104b457fefea265627a7a72315820251e726bc4a822f5e44012ef4767cb44e2848ec5c356d8ef82d2a0a6c0241b5f64736f6c634300050b0032436f7079726967687420436f6e6669726d6174696f6e2053797374656d20455243323020546f6b656e

0x608060405234801561001057600080fd5b506004361061010b5760003560e01c806370a08231116100a2578063a9059cbb11610071578063a9059cbb146102e5578063be29184f14610311578063be9a655514610346578063d5abeb011461034e578063dd62ed3e146103565761010b565b806370a082311461028b57806375f12b21146102b15780638da5cb5b146102b957806395d89b41146102dd5761010b565b806318160ddd116100de57806318160ddd146101fd57806323b872dd14610217578063313ce5671461024d578063383b818d146102555761010b565b806306fdde031461011057806307da68f51461018d578063095ea7b31461019757806313af4035146101d7575b600080fd5b610118610384565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561015257818101518382015260200161013a565b50505050905090810190601f16801561017f5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610195610412565b005b6101c3600480360360408110156101ad57600080fd5b506001600160a01b03813516906020013561043b565b604080519115158252519081900360200190f35b610195600480360360208110156101ed57600080fd5b50356001600160a01b03166104ba565b61020561051e565b60408051918252519081900360200190f35b6101c36004803603606081101561022d57600080fd5b506001600160a01b03813581169160208101359091169060400135610524565b610205610683565b6101956004803603606081101561026b57600080fd5b506001600160a01b03813581169160208101359091169060400135610689565b610205600480360360208110156102a157600080fd5b50356001600160a01b03166107b8565b6101c36107d3565b6102c16107e3565b604080516001600160a01b039092168252519081900360200190f35b6101186107f2565b6101c3600480360360408110156102fb57600080fd5b506001600160a01b03813516906020013561084d565b6101956004803603604081101561032757600080fd5b5080356001600160a01b031690602001356001600160801b0316610921565b6101956109cc565b6102056109ef565b6102056004803603604081101561036c57600080fd5b506001600160a01b03813581169160200135166109f5565b6004805460408051602060026001851615610100026000190190941693909304601f8101849004840282018401909252818152929183018282801561040a5780601f106103df5761010080835404028352916020019161040a565b820191906000526020600020905b8154815290600101906020018083116103ed57829003601f168201915b505050505081565b6006546001600160a01b0316331461042657fe5b6006805460ff60a01b1916600160a01b179055565b600654600090600160a01b900460ff161561045257fe5b3360008181526002602090815260408083206001600160a01b03881680855290835292819020869055805186815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a35060015b92915050565b6006546001600160a01b031633146104ce57fe5b600680546001600160a01b0319166001600160a01b0383811691909117918290556040519116907fce241d7ca1f669fee44b6fc00b8eba2df3bb514eed0f6f668f8f89096e81ed9490600090a250565b60005481565b600654600090600160a01b900460ff161561053b57fe5b6001600160a01b03841660009081526001602052604090205482111561055d57fe5b6001600160a01b038416600090815260026020908152604080832033845290915290205482111561058a57fe5b6001600160a01b03841660009081526002602090815260408083203384529091529020546105b89083610a20565b6001600160a01b0385166000818152600260209081526040808320338452825280832094909455918152600190915220546105f39083610a20565b6001600160a01b0380861660009081526001602052604080822093909355908516815220546106229083610a2d565b6001600160a01b0380851660008181526001602090815260409182902094909455805186815290519193928816927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a35060019392505050565b60055481565b6006546001600160a01b0316331461069d57fe5b6001600160a01b0383166000908152600160205260409020548111156106bf57fe5b806106df57506001600160a01b0382166000908152600160205260409020545b6006546001600160a01b0383811691161415610747576001600160a01b0383166000908152600160205260409020546107189082610a20565b6001600160a01b0384166000908152600160205260408120919091555461073f9082610a20565b6000556107b3565b6001600160a01b03831660009081526001602052604090205461076a9082610a20565b6001600160a01b0380851660009081526001602052604080822093909355908416815220546107999082610a2d565b6001600160a01b0383166000908152600160205260409020555b505050565b6001600160a01b031660009081526001602052604090205490565b600654600160a01b900460ff1681565b6006546001600160a01b031681565b6003805460408051602060026001851615610100026000190190941693909304601f8101849004840282018401909252818152929183018282801561040a5780601f106103df5761010080835404028352916020019161040a565b600654600090600160a01b900460ff161561086457fe5b3360009081526001602052604090205482111561087d57fe5b336000908152600160205260409020546108979083610a20565b33600090815260016020526040808220929092556001600160a01b038516815220546108c39083610a2d565b6001600160a01b0384166000818152600160209081526040918290209390935580518581529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a350600192915050565b6006546001600160a01b0316331461093557fe5b600654600160a01b900460ff161561094957fe5b600754610961600054836001600160801b0316610a2d565b111561096957fe5b6001600160a01b038216600090815260016020526040902054610995906001600160801b038316610a2d565b6001600160a01b038316600090815260016020526040812091909155546109c5906001600160801b038316610a2d565b6000555050565b6006546001600160a01b031633146109e057fe5b6006805460ff60a01b19169055565b60075481565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b808203828111156104b457fe5b808201828110156104b457fefea265627a7a72315820251e726bc4a822f5e44012ef4767cb44e2848ec5c356d8ef82d2a0a6c0241b5f64736f6c634300050b0032

867:2986:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;867:2986:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1139: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;1139:21:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1649:62;;;:::i;:::-;;2801:199;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;2801:199:0;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;3285:118;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;3285:118:0;-1:-1:-1;;;;;3285:118:0;;:::i;903:62::-;;;:::i;:::-;;;;;;;;;;;;;;;;2354:439;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;2354:439:0;;;;;;;;;;;;;;;;;:::i;1167:30::-;;;:::i;3409:441::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;3409:441:0;;;;;;;;;;;;;;;;;:::i;1789:102::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;1789:102:0;-1:-1:-1;;;;;1789:102:0;;:::i;1233:24::-;;;:::i;1204:22::-;;;:::i;:::-;;;;-1:-1:-1;;;;;1204:22:0;;;;;;;;;;;;;;1109:23;;;:::i;2026:320::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;2026:320:0;;;;;;;;:::i;3006:217::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;3006:217:0;;-1:-1:-1;;;;;3006:217:0;;;;;-1:-1:-1;;;;;3006:217:0;;:::i;1717:64::-;;;:::i;1266:40::-;;;:::i;1897:121::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;1897:121:0;;;;;;;;;;:::i;1139:21::-;;;;;;;;;;;;;;;-1:-1:-1;;1139:21:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1649:62::-;1544:5;;-1:-1:-1;;;;;1544:5:0;1532:10;:17;1524:26;;;;1689:7;:14;;-1:-1:-1;;;;1689:14:0;-1:-1:-1;;;1689:14:0;;;1649:62::o;2801:199::-;1615:7;;2870:4;;-1:-1:-1;;;1615:7:0;;;;1614:8;1606:17;;;;2898:10;2887:22;;;;:10;:22;;;;;;;;-1:-1:-1;;;;;2887:27:0;;;;;;;;;;;;:33;;;2938:30;;;;;;;2887:27;;2898:10;2938:30;;;;;;;;;;;-1:-1:-1;2988:4:0;1634:1;2801:199;;;;:::o;3285:118::-;1544:5;;-1:-1:-1;;;;;1544:5:0;1532:10;:17;1524:26;;;;3347:5;:14;;-1:-1:-1;;;;;;3347:14:0;-1:-1:-1;;;;;3347:14:0;;;;;;;;;;;3377:18;;3389:5;;;3377:18;;-1:-1:-1;;3377:18:0;3285:118;:::o;903:62::-;;;;:::o;2354:439::-;1615:7;;2437:4;;-1:-1:-1;;;1615:7:0;;;;1614:8;1606:17;;;;-1:-1:-1;;;;;2461:14:0;;;;;;:9;:14;;;;;;:21;-1:-1:-1;2461:21:0;2454:29;;;;-1:-1:-1;;;;;2501:15:0;;;;;;:10;:15;;;;;;;;2517:10;2501:27;;;;;;;;:34;-1:-1:-1;2501:34:0;2494:42;;;;-1:-1:-1;;;;;2583:15:0;;;;;;:10;:15;;;;;;;;2599:10;2583:27;;;;;;;;2579:37;;2612:3;2579;:37::i;:::-;-1:-1:-1;;;;;2549:15:0;;;;;;:10;:15;;;;;;;;2565:10;2549:27;;;;;;;:67;;;;2648:14;;;:9;:14;;;;;2644:24;;2664:3;2644;:24::i;:::-;-1:-1:-1;;;;;2627:14:0;;;;;;;:9;:14;;;;;;:41;;;;2700:14;;;;;;;2696:24;;2716:3;2696;:24::i;:::-;-1:-1:-1;;;;;2679:14:0;;;;;;;:9;:14;;;;;;;;;:41;;;;2738:23;;;;;;;2679:14;;2738:23;;;;;;;;;;;;;-1:-1:-1;2781:4:0;2354:439;;;;;:::o;1167:30::-;;;;:::o;3409:441::-;1544:5;;-1:-1:-1;;;;;1544:5:0;1532:10;:17;1524:26;;;;-1:-1:-1;;;;;3497:14:0;;;;;;:9;:14;;;;;;:21;-1:-1:-1;3497:21:0;3490:29;;;;3533:6;3530:42;;-1:-1:-1;;;;;;3558:14:0;;;;;;:9;:14;;;;;;3530:42;3591:5;;-1:-1:-1;;;;;3586:10:0;;;3591:5;;3586:10;3583:260;;;-1:-1:-1;;;;;3633:14:0;;;;;;:9;:14;;;;;;3629:24;;3649:3;3629;:24::i;:::-;-1:-1:-1;;;;;3612:14:0;;;;;;:9;:14;;;;;:41;;;;3686:11;3682:21;;3699:3;3682;:21::i;:::-;3668:11;:35;3583:260;;;-1:-1:-1;;;;;3755:14:0;;;;;;:9;:14;;;;;;3751:24;;3771:3;3751;:24::i;:::-;-1:-1:-1;;;;;3734:14:0;;;;;;;:9;:14;;;;;;:41;;;;3811:14;;;;;;;3807:24;;3827:3;3807;:24::i;:::-;-1:-1:-1;;;;;3790:14:0;;;;;;:9;:14;;;;;:41;3583:260;3409:441;;;:::o;1789:102::-;-1:-1:-1;;;;;1869:14:0;1842:7;1869:14;;;:9;:14;;;;;;;1789:102::o;1233:24::-;;;-1:-1:-1;;;1233:24:0;;;;;:::o;1204:22::-;;;-1:-1:-1;;;;;1204:22:0;;:::o;1109:23::-;;;;;;;;;;;;;;;-1:-1:-1;;1109:23:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2026:320;1615:7;;2093:4;;-1:-1:-1;;;1615:7:0;;;;1614:8;1606:17;;;;2127:10;2117:21;;;;:9;:21;;;;;;:28;-1:-1:-1;2117:28:0;2110:36;;;;2197:10;2187:21;;;;:9;:21;;;;;;2183:31;;2210:3;2183;:31::i;:::-;2169:10;2159:21;;;;:9;:21;;;;;;:55;;;;-1:-1:-1;;;;;2246:14:0;;;;;;2242:24;;2262:3;2242;:24::i;:::-;-1:-1:-1;;;;;2225:14:0;;;;;;:9;:14;;;;;;;;;:41;;;;2284:30;;;;;;;2225:14;;2293:10;;2284:30;;;;;;;;;;-1:-1:-1;2334:4:0;2026:320;;;;:::o;3006:217::-;1544:5;;-1:-1:-1;;;;;1544:5:0;1532:10;:17;1524:26;;;;1615:7;;-1:-1:-1;;;1615:7:0;;;;1614:8;1606:17;;;;3107:9;;3085:20;3089:11;;3101:3;-1:-1:-1;;;;;3085:20:0;:3;:20::i;:::-;:31;;3078:39;;;;-1:-1:-1;;;;;3149:14:0;;;;;;:9;:14;;;;;;3145:24;;-1:-1:-1;;;;;3145:24:0;;:3;:24::i;:::-;-1:-1:-1;;;;;3128:14:0;;;;;;:9;:14;;;;;:41;;;;3198:11;3194:21;;-1:-1:-1;;;;;3194:21:0;;:3;:21::i;:::-;3180:11;:35;-1:-1:-1;;3006:217:0:o;1717:64::-;1544:5;;-1:-1:-1;;;;;1544:5:0;1532:10;:17;1524:26;;;;1758:7;:15;;-1:-1:-1;;;;1758:15:0;;;1717:64::o;1266:40::-;;;;:::o;1897:121::-;-1:-1:-1;;;;;1990:15:0;;;1963:7;1990:15;;;:10;:15;;;;;;;;:20;;;;;;;;;;;;;1897:121::o;746:112::-;838:5;;;833:16;;;;826:24;;;626:112;718:5;;;713:16;;;;706:24;;

bzzr://251e726bc4a822f5e44012ef4767cb44e2848ec5c356d8ef82d2a0a6c0241b5f