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 SEC 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-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 SEC 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="SEC";
        name="Super Event 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"}]

608060405260126005556b033b2e3c9fd0803ce800000060075534801561002557600080fd5b506040805180820190915260038082527f5345430000000000000000000000000000000000000000000000000000000000602090920191825261006891816100c5565b506040805180820190915260178082527f5375706572204576656e7420455243323020546f6b656e00000000000000000060209092019182526100ad916004916100c5565b50600680546001600160a01b03191633179055610160565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061010657805160ff1916838001178555610133565b82800160010185558215610133579182015b82811115610133578251825591602001919060010190610118565b5061013f929150610143565b5090565b61015d91905b8082111561013f5760008155600101610149565b90565b610a6f8061016f6000396000f3fe608060405234801561001057600080fd5b506004361061010b5760003560e01c806370a08231116100a2578063a9059cbb11610071578063a9059cbb146102e5578063be29184f14610311578063be9a655514610346578063d5abeb011461034e578063dd62ed3e146103565761010b565b806370a082311461028b57806375f12b21146102b15780638da5cb5b146102b957806395d89b41146102dd5761010b565b806318160ddd116100de57806318160ddd146101fd57806323b872dd14610217578063313ce5671461024d578063383b818d146102555761010b565b806306fdde031461011057806307da68f51461018d578063095ea7b31461019757806313af4035146101d7575b600080fd5b610118610384565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561015257818101518382015260200161013a565b50505050905090810190601f16801561017f5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610195610412565b005b6101c3600480360360408110156101ad57600080fd5b506001600160a01b03813516906020013561043b565b604080519115158252519081900360200190f35b610195600480360360208110156101ed57600080fd5b50356001600160a01b03166104ba565b61020561051e565b60408051918252519081900360200190f35b6101c36004803603606081101561022d57600080fd5b506001600160a01b03813581169160208101359091169060400135610524565b610205610683565b6101956004803603606081101561026b57600080fd5b506001600160a01b03813581169160208101359091169060400135610689565b610205600480360360208110156102a157600080fd5b50356001600160a01b03166107b8565b6101c36107d3565b6102c16107e3565b604080516001600160a01b039092168252519081900360200190f35b6101186107f2565b6101c3600480360360408110156102fb57600080fd5b506001600160a01b03813516906020013561084d565b6101956004803603604081101561032757600080fd5b5080356001600160a01b031690602001356001600160801b0316610921565b6101956109cc565b6102056109ef565b6102056004803603604081101561036c57600080fd5b506001600160a01b03813581169160200135166109f5565b6004805460408051602060026001851615610100026000190190941693909304601f8101849004840282018401909252818152929183018282801561040a5780601f106103df5761010080835404028352916020019161040a565b820191906000526020600020905b8154815290600101906020018083116103ed57829003601f168201915b505050505081565b6006546001600160a01b0316331461042657fe5b6006805460ff60a01b1916600160a01b179055565b600654600090600160a01b900460ff161561045257fe5b3360008181526002602090815260408083206001600160a01b03881680855290835292819020869055805186815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a35060015b92915050565b6006546001600160a01b031633146104ce57fe5b600680546001600160a01b0319166001600160a01b0383811691909117918290556040519116907fce241d7ca1f669fee44b6fc00b8eba2df3bb514eed0f6f668f8f89096e81ed9490600090a250565b60005481565b600654600090600160a01b900460ff161561053b57fe5b6001600160a01b03841660009081526001602052604090205482111561055d57fe5b6001600160a01b038416600090815260026020908152604080832033845290915290205482111561058a57fe5b6001600160a01b03841660009081526002602090815260408083203384529091529020546105b89083610a20565b6001600160a01b0385166000818152600260209081526040808320338452825280832094909455918152600190915220546105f39083610a20565b6001600160a01b0380861660009081526001602052604080822093909355908516815220546106229083610a2d565b6001600160a01b0380851660008181526001602090815260409182902094909455805186815290519193928816927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a35060019392505050565b60055481565b6006546001600160a01b0316331461069d57fe5b6001600160a01b0383166000908152600160205260409020548111156106bf57fe5b806106df57506001600160a01b0382166000908152600160205260409020545b6006546001600160a01b0383811691161415610747576001600160a01b0383166000908152600160205260409020546107189082610a20565b6001600160a01b0384166000908152600160205260408120919091555461073f9082610a20565b6000556107b3565b6001600160a01b03831660009081526001602052604090205461076a9082610a20565b6001600160a01b0380851660009081526001602052604080822093909355908416815220546107999082610a2d565b6001600160a01b0383166000908152600160205260409020555b505050565b6001600160a01b031660009081526001602052604090205490565b600654600160a01b900460ff1681565b6006546001600160a01b031681565b6003805460408051602060026001851615610100026000190190941693909304601f8101849004840282018401909252818152929183018282801561040a5780601f106103df5761010080835404028352916020019161040a565b600654600090600160a01b900460ff161561086457fe5b3360009081526001602052604090205482111561087d57fe5b336000908152600160205260409020546108979083610a20565b33600090815260016020526040808220929092556001600160a01b038516815220546108c39083610a2d565b6001600160a01b0384166000818152600160209081526040918290209390935580518581529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a350600192915050565b6006546001600160a01b0316331461093557fe5b600654600160a01b900460ff161561094957fe5b600754610961600054836001600160801b0316610a2d565b111561096957fe5b6001600160a01b038216600090815260016020526040902054610995906001600160801b038316610a2d565b6001600160a01b038316600090815260016020526040812091909155546109c5906001600160801b038316610a2d565b6000555050565b6006546001600160a01b031633146109e057fe5b6006805460ff60a01b19169055565b60075481565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b808203828111156104b457fe5b808201828110156104b457fefea265627a7a72315820c6feaae69030d2c8c35201d8cef2eb52f00e59dd4ad7f6a9d2a6f84f82ac015864736f6c634300050b0032

0x608060405234801561001057600080fd5b506004361061010b5760003560e01c806370a08231116100a2578063a9059cbb11610071578063a9059cbb146102e5578063be29184f14610311578063be9a655514610346578063d5abeb011461034e578063dd62ed3e146103565761010b565b806370a082311461028b57806375f12b21146102b15780638da5cb5b146102b957806395d89b41146102dd5761010b565b806318160ddd116100de57806318160ddd146101fd57806323b872dd14610217578063313ce5671461024d578063383b818d146102555761010b565b806306fdde031461011057806307da68f51461018d578063095ea7b31461019757806313af4035146101d7575b600080fd5b610118610384565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561015257818101518382015260200161013a565b50505050905090810190601f16801561017f5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610195610412565b005b6101c3600480360360408110156101ad57600080fd5b506001600160a01b03813516906020013561043b565b604080519115158252519081900360200190f35b610195600480360360208110156101ed57600080fd5b50356001600160a01b03166104ba565b61020561051e565b60408051918252519081900360200190f35b6101c36004803603606081101561022d57600080fd5b506001600160a01b03813581169160208101359091169060400135610524565b610205610683565b6101956004803603606081101561026b57600080fd5b506001600160a01b03813581169160208101359091169060400135610689565b610205600480360360208110156102a157600080fd5b50356001600160a01b03166107b8565b6101c36107d3565b6102c16107e3565b604080516001600160a01b039092168252519081900360200190f35b6101186107f2565b6101c3600480360360408110156102fb57600080fd5b506001600160a01b03813516906020013561084d565b6101956004803603604081101561032757600080fd5b5080356001600160a01b031690602001356001600160801b0316610921565b6101956109cc565b6102056109ef565b6102056004803603604081101561036c57600080fd5b506001600160a01b03813581169160200135166109f5565b6004805460408051602060026001851615610100026000190190941693909304601f8101849004840282018401909252818152929183018282801561040a5780601f106103df5761010080835404028352916020019161040a565b820191906000526020600020905b8154815290600101906020018083116103ed57829003601f168201915b505050505081565b6006546001600160a01b0316331461042657fe5b6006805460ff60a01b1916600160a01b179055565b600654600090600160a01b900460ff161561045257fe5b3360008181526002602090815260408083206001600160a01b03881680855290835292819020869055805186815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a35060015b92915050565b6006546001600160a01b031633146104ce57fe5b600680546001600160a01b0319166001600160a01b0383811691909117918290556040519116907fce241d7ca1f669fee44b6fc00b8eba2df3bb514eed0f6f668f8f89096e81ed9490600090a250565b60005481565b600654600090600160a01b900460ff161561053b57fe5b6001600160a01b03841660009081526001602052604090205482111561055d57fe5b6001600160a01b038416600090815260026020908152604080832033845290915290205482111561058a57fe5b6001600160a01b03841660009081526002602090815260408083203384529091529020546105b89083610a20565b6001600160a01b0385166000818152600260209081526040808320338452825280832094909455918152600190915220546105f39083610a20565b6001600160a01b0380861660009081526001602052604080822093909355908516815220546106229083610a2d565b6001600160a01b0380851660008181526001602090815260409182902094909455805186815290519193928816927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a35060019392505050565b60055481565b6006546001600160a01b0316331461069d57fe5b6001600160a01b0383166000908152600160205260409020548111156106bf57fe5b806106df57506001600160a01b0382166000908152600160205260409020545b6006546001600160a01b0383811691161415610747576001600160a01b0383166000908152600160205260409020546107189082610a20565b6001600160a01b0384166000908152600160205260408120919091555461073f9082610a20565b6000556107b3565b6001600160a01b03831660009081526001602052604090205461076a9082610a20565b6001600160a01b0380851660009081526001602052604080822093909355908416815220546107999082610a2d565b6001600160a01b0383166000908152600160205260409020555b505050565b6001600160a01b031660009081526001602052604090205490565b600654600160a01b900460ff1681565b6006546001600160a01b031681565b6003805460408051602060026001851615610100026000190190941693909304601f8101849004840282018401909252818152929183018282801561040a5780601f106103df5761010080835404028352916020019161040a565b600654600090600160a01b900460ff161561086457fe5b3360009081526001602052604090205482111561087d57fe5b336000908152600160205260409020546108979083610a20565b33600090815260016020526040808220929092556001600160a01b038516815220546108c39083610a2d565b6001600160a01b0384166000818152600160209081526040918290209390935580518581529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a350600192915050565b6006546001600160a01b0316331461093557fe5b600654600160a01b900460ff161561094957fe5b600754610961600054836001600160801b0316610a2d565b111561096957fe5b6001600160a01b038216600090815260016020526040902054610995906001600160801b038316610a2d565b6001600160a01b038316600090815260016020526040812091909155546109c5906001600160801b038316610a2d565b6000555050565b6006546001600160a01b031633146109e057fe5b6006805460ff60a01b19169055565b60075481565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b808203828111156104b457fe5b808201828110156104b457fefea265627a7a72315820c6feaae69030d2c8c35201d8cef2eb52f00e59dd4ad7f6a9d2a6f84f82ac015864736f6c634300050b0032

867:2970:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;867:2970: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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1633:62;;;:::i;:::-;;2785:199;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;2785:199:0;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;3269:118;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;3269:118:0;-1:-1:-1;;;;;3269:118:0;;:::i;903:62::-;;;:::i;:::-;;;;;;;;;;;;;;;;2338:439;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;2338:439:0;;;;;;;;;;;;;;;;;:::i;1167:30::-;;;:::i;3393:441::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;3393:441:0;;;;;;;;;;;;;;;;;:::i;1773:102::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;1773:102:0;-1:-1:-1;;;;;1773:102:0;;:::i;1233:24::-;;;:::i;1204:22::-;;;:::i;:::-;;;;-1:-1:-1;;;;;1204:22:0;;;;;;;;;;;;;;1109:23;;;:::i;2010:320::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;2010:320:0;;;;;;;;:::i;2990:217::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;2990:217:0;;-1:-1:-1;;;;;2990:217:0;;;;;-1:-1:-1;;;;;2990:217:0;;:::i;1701:64::-;;;:::i;1266:42::-;;;:::i;1881:121::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;1881:121:0;;;;;;;;;;:::i;1139:21::-;;;;;;;;;;;;;;;-1:-1:-1;;1139:21:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1633:62::-;1528:5;;-1:-1:-1;;;;;1528:5:0;1516:10;:17;1508:26;;;;1673:7;:14;;-1:-1:-1;;;;1673:14:0;-1:-1:-1;;;1673:14:0;;;1633:62::o;2785:199::-;1599:7;;2854:4;;-1:-1:-1;;;1599:7:0;;;;1598:8;1590:17;;;;2882:10;2871:22;;;;:10;:22;;;;;;;;-1:-1:-1;;;;;2871:27:0;;;;;;;;;;;;:33;;;2922:30;;;;;;;2871:27;;2882:10;2922:30;;;;;;;;;;;-1:-1:-1;2972:4:0;1618:1;2785:199;;;;:::o;3269:118::-;1528:5;;-1:-1:-1;;;;;1528:5:0;1516:10;:17;1508:26;;;;3331:5;:14;;-1:-1:-1;;;;;;3331:14:0;-1:-1:-1;;;;;3331:14:0;;;;;;;;;;;3361:18;;3373:5;;;3361:18;;-1:-1:-1;;3361:18:0;3269:118;:::o;903:62::-;;;;:::o;2338:439::-;1599:7;;2421:4;;-1:-1:-1;;;1599:7:0;;;;1598:8;1590:17;;;;-1:-1:-1;;;;;2445:14:0;;;;;;:9;:14;;;;;;:21;-1:-1:-1;2445:21:0;2438:29;;;;-1:-1:-1;;;;;2485:15:0;;;;;;:10;:15;;;;;;;;2501:10;2485:27;;;;;;;;:34;-1:-1:-1;2485:34:0;2478:42;;;;-1:-1:-1;;;;;2567:15:0;;;;;;:10;:15;;;;;;;;2583:10;2567:27;;;;;;;;2563:37;;2596:3;2563;:37::i;:::-;-1:-1:-1;;;;;2533:15:0;;;;;;:10;:15;;;;;;;;2549:10;2533:27;;;;;;;:67;;;;2632:14;;;:9;:14;;;;;2628:24;;2648:3;2628;:24::i;:::-;-1:-1:-1;;;;;2611:14:0;;;;;;;:9;:14;;;;;;:41;;;;2684:14;;;;;;;2680:24;;2700:3;2680;:24::i;:::-;-1:-1:-1;;;;;2663:14:0;;;;;;;:9;:14;;;;;;;;;:41;;;;2722:23;;;;;;;2663:14;;2722:23;;;;;;;;;;;;;-1:-1:-1;2765:4:0;2338:439;;;;;:::o;1167:30::-;;;;:::o;3393:441::-;1528:5;;-1:-1:-1;;;;;1528:5:0;1516:10;:17;1508:26;;;;-1:-1:-1;;;;;3481:14:0;;;;;;:9;:14;;;;;;:21;-1:-1:-1;3481:21:0;3474:29;;;;3517:6;3514:42;;-1:-1:-1;;;;;;3542:14:0;;;;;;:9;:14;;;;;;3514:42;3575:5;;-1:-1:-1;;;;;3570:10:0;;;3575:5;;3570:10;3567:260;;;-1:-1:-1;;;;;3617:14:0;;;;;;:9;:14;;;;;;3613:24;;3633:3;3613;:24::i;:::-;-1:-1:-1;;;;;3596:14:0;;;;;;:9;:14;;;;;:41;;;;3670:11;3666:21;;3683:3;3666;:21::i;:::-;3652:11;:35;3567:260;;;-1:-1:-1;;;;;3739:14:0;;;;;;:9;:14;;;;;;3735:24;;3755:3;3735;:24::i;:::-;-1:-1:-1;;;;;3718:14:0;;;;;;;:9;:14;;;;;;:41;;;;3795:14;;;;;;;3791:24;;3811:3;3791;:24::i;:::-;-1:-1:-1;;;;;3774:14:0;;;;;;:9;:14;;;;;:41;3567:260;3393:441;;;:::o;1773:102::-;-1:-1:-1;;;;;1853:14:0;1826:7;1853:14;;;:9;:14;;;;;;;1773: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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2010:320;1599:7;;2077:4;;-1:-1:-1;;;1599:7:0;;;;1598:8;1590:17;;;;2111:10;2101:21;;;;:9;:21;;;;;;:28;-1:-1:-1;2101:28:0;2094:36;;;;2181:10;2171:21;;;;:9;:21;;;;;;2167:31;;2194:3;2167;:31::i;:::-;2153:10;2143:21;;;;:9;:21;;;;;;:55;;;;-1:-1:-1;;;;;2230:14:0;;;;;;2226:24;;2246:3;2226;:24::i;:::-;-1:-1:-1;;;;;2209:14:0;;;;;;:9;:14;;;;;;;;;:41;;;;2268:30;;;;;;;2209:14;;2277:10;;2268:30;;;;;;;;;;-1:-1:-1;2318:4:0;2010:320;;;;:::o;2990:217::-;1528:5;;-1:-1:-1;;;;;1528:5:0;1516:10;:17;1508:26;;;;1599:7;;-1:-1:-1;;;1599:7:0;;;;1598:8;1590:17;;;;3091:9;;3069:20;3073:11;;3085:3;-1:-1:-1;;;;;3069:20:0;:3;:20::i;:::-;:31;;3062:39;;;;-1:-1:-1;;;;;3133:14:0;;;;;;:9;:14;;;;;;3129:24;;-1:-1:-1;;;;;3129:24:0;;:3;:24::i;:::-;-1:-1:-1;;;;;3112:14:0;;;;;;:9;:14;;;;;:41;;;;3182:11;3178:21;;-1:-1:-1;;;;;3178:21:0;;:3;:21::i;:::-;3164:11;:35;-1:-1:-1;;2990:217:0:o;1701:64::-;1528:5;;-1:-1:-1;;;;;1528:5:0;1516:10;:17;1508:26;;;;1742:7;:15;;-1:-1:-1;;;;1742:15:0;;;1701:64::o;1266:42::-;;;;:::o;1881:121::-;-1:-1:-1;;;;;1974:15:0;;;1947:7;1974:15;;;:10;:15;;;;;;;;:20;;;;;;;;;;;;;1881:121::o;746:112::-;838:5;;;833:16;;;;826:24;;;626:112;718:5;;;713:16;;;;706:24;;

bzzr://c6feaae69030d2c8c35201d8cef2eb52f00e59dd4ad7f6a9d2a6f84f82ac0158