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 ECX 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 2020-01-16
*/

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


    constructor()public {
        symbol="ECX";
        name="ECDAX Platform 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

[{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"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"},{"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"},{"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"},{"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":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":"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":[],"name":"maxSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","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":true,"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"owner_","type":"address"}],"name":"setOwner","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"start","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"stop","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"stopped","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","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":"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":"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"}]

608060405260126005556b019d971e4fe8401e7400000060075534801561002557600080fd5b506040805180820190915260038082527f4543580000000000000000000000000000000000000000000000000000000000602090920191825261006891816100c5565b5060408051808201909152601a8082527f454344415820506c6174666f726d20455243323020546f6b656e00000000000060209092019182526100ad916004916100c5565b50600680546001600160a01b03191633179055610160565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061010657805160ff1916838001178555610133565b82800160010185558215610133579182015b82811115610133578251825591602001919060010190610118565b5061013f929150610143565b5090565b61015d91905b8082111561013f5760008155600101610149565b90565b610a6f8061016f6000396000f3fe608060405234801561001057600080fd5b506004361061010b5760003560e01c806370a08231116100a2578063a9059cbb11610071578063a9059cbb146102e5578063be29184f14610311578063be9a655514610346578063d5abeb011461034e578063dd62ed3e146103565761010b565b806370a082311461028b57806375f12b21146102b15780638da5cb5b146102b957806395d89b41146102dd5761010b565b806318160ddd116100de57806318160ddd146101fd57806323b872dd14610217578063313ce5671461024d578063383b818d146102555761010b565b806306fdde031461011057806307da68f51461018d578063095ea7b31461019757806313af4035146101d7575b600080fd5b610118610384565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561015257818101518382015260200161013a565b50505050905090810190601f16801561017f5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610195610412565b005b6101c3600480360360408110156101ad57600080fd5b506001600160a01b03813516906020013561043b565b604080519115158252519081900360200190f35b610195600480360360208110156101ed57600080fd5b50356001600160a01b03166104ba565b61020561051e565b60408051918252519081900360200190f35b6101c36004803603606081101561022d57600080fd5b506001600160a01b03813581169160208101359091169060400135610524565b610205610683565b6101956004803603606081101561026b57600080fd5b506001600160a01b03813581169160208101359091169060400135610689565b610205600480360360208110156102a157600080fd5b50356001600160a01b03166107b8565b6101c36107d3565b6102c16107e3565b604080516001600160a01b039092168252519081900360200190f35b6101186107f2565b6101c3600480360360408110156102fb57600080fd5b506001600160a01b03813516906020013561084d565b6101956004803603604081101561032757600080fd5b5080356001600160a01b031690602001356001600160801b0316610921565b6101956109cc565b6102056109ef565b6102056004803603604081101561036c57600080fd5b506001600160a01b03813581169160200135166109f5565b6004805460408051602060026001851615610100026000190190941693909304601f8101849004840282018401909252818152929183018282801561040a5780601f106103df5761010080835404028352916020019161040a565b820191906000526020600020905b8154815290600101906020018083116103ed57829003601f168201915b505050505081565b6006546001600160a01b0316331461042657fe5b6006805460ff60a01b1916600160a01b179055565b600654600090600160a01b900460ff161561045257fe5b3360008181526002602090815260408083206001600160a01b03881680855290835292819020869055805186815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a35060015b92915050565b6006546001600160a01b031633146104ce57fe5b600680546001600160a01b0319166001600160a01b0383811691909117918290556040519116907fce241d7ca1f669fee44b6fc00b8eba2df3bb514eed0f6f668f8f89096e81ed9490600090a250565b60005481565b600654600090600160a01b900460ff161561053b57fe5b6001600160a01b03841660009081526001602052604090205482111561055d57fe5b6001600160a01b038416600090815260026020908152604080832033845290915290205482111561058a57fe5b6001600160a01b03841660009081526002602090815260408083203384529091529020546105b89083610a20565b6001600160a01b0385166000818152600260209081526040808320338452825280832094909455918152600190915220546105f39083610a20565b6001600160a01b0380861660009081526001602052604080822093909355908516815220546106229083610a2d565b6001600160a01b0380851660008181526001602090815260409182902094909455805186815290519193928816927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a35060019392505050565b60055481565b6006546001600160a01b0316331461069d57fe5b6001600160a01b0383166000908152600160205260409020548111156106bf57fe5b806106df57506001600160a01b0382166000908152600160205260409020545b6006546001600160a01b0383811691161415610747576001600160a01b0383166000908152600160205260409020546107189082610a20565b6001600160a01b0384166000908152600160205260408120919091555461073f9082610a20565b6000556107b3565b6001600160a01b03831660009081526001602052604090205461076a9082610a20565b6001600160a01b0380851660009081526001602052604080822093909355908416815220546107999082610a2d565b6001600160a01b0383166000908152600160205260409020555b505050565b6001600160a01b031660009081526001602052604090205490565b600654600160a01b900460ff1681565b6006546001600160a01b031681565b6003805460408051602060026001851615610100026000190190941693909304601f8101849004840282018401909252818152929183018282801561040a5780601f106103df5761010080835404028352916020019161040a565b600654600090600160a01b900460ff161561086457fe5b3360009081526001602052604090205482111561087d57fe5b336000908152600160205260409020546108979083610a20565b33600090815260016020526040808220929092556001600160a01b038516815220546108c39083610a2d565b6001600160a01b0384166000818152600160209081526040918290209390935580518581529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a350600192915050565b6006546001600160a01b0316331461093557fe5b600654600160a01b900460ff161561094957fe5b600754610961600054836001600160801b0316610a2d565b111561096957fe5b6001600160a01b038216600090815260016020526040902054610995906001600160801b038316610a2d565b6001600160a01b038316600090815260016020526040812091909155546109c5906001600160801b038316610a2d565b6000555050565b6006546001600160a01b031633146109e057fe5b6006805460ff60a01b19169055565b60075481565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b808203828111156104b457fe5b808201828110156104b457fefea265627a7a723158203b1a8f1220c6453d30776dc71f8b0f79fb4f51a5c9b8f29d81fd55f64436012c64736f6c634300050c0032

0x608060405234801561001057600080fd5b506004361061010b5760003560e01c806370a08231116100a2578063a9059cbb11610071578063a9059cbb146102e5578063be29184f14610311578063be9a655514610346578063d5abeb011461034e578063dd62ed3e146103565761010b565b806370a082311461028b57806375f12b21146102b15780638da5cb5b146102b957806395d89b41146102dd5761010b565b806318160ddd116100de57806318160ddd146101fd57806323b872dd14610217578063313ce5671461024d578063383b818d146102555761010b565b806306fdde031461011057806307da68f51461018d578063095ea7b31461019757806313af4035146101d7575b600080fd5b610118610384565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561015257818101518382015260200161013a565b50505050905090810190601f16801561017f5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610195610412565b005b6101c3600480360360408110156101ad57600080fd5b506001600160a01b03813516906020013561043b565b604080519115158252519081900360200190f35b610195600480360360208110156101ed57600080fd5b50356001600160a01b03166104ba565b61020561051e565b60408051918252519081900360200190f35b6101c36004803603606081101561022d57600080fd5b506001600160a01b03813581169160208101359091169060400135610524565b610205610683565b6101956004803603606081101561026b57600080fd5b506001600160a01b03813581169160208101359091169060400135610689565b610205600480360360208110156102a157600080fd5b50356001600160a01b03166107b8565b6101c36107d3565b6102c16107e3565b604080516001600160a01b039092168252519081900360200190f35b6101186107f2565b6101c3600480360360408110156102fb57600080fd5b506001600160a01b03813516906020013561084d565b6101956004803603604081101561032757600080fd5b5080356001600160a01b031690602001356001600160801b0316610921565b6101956109cc565b6102056109ef565b6102056004803603604081101561036c57600080fd5b506001600160a01b03813581169160200135166109f5565b6004805460408051602060026001851615610100026000190190941693909304601f8101849004840282018401909252818152929183018282801561040a5780601f106103df5761010080835404028352916020019161040a565b820191906000526020600020905b8154815290600101906020018083116103ed57829003601f168201915b505050505081565b6006546001600160a01b0316331461042657fe5b6006805460ff60a01b1916600160a01b179055565b600654600090600160a01b900460ff161561045257fe5b3360008181526002602090815260408083206001600160a01b03881680855290835292819020869055805186815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a35060015b92915050565b6006546001600160a01b031633146104ce57fe5b600680546001600160a01b0319166001600160a01b0383811691909117918290556040519116907fce241d7ca1f669fee44b6fc00b8eba2df3bb514eed0f6f668f8f89096e81ed9490600090a250565b60005481565b600654600090600160a01b900460ff161561053b57fe5b6001600160a01b03841660009081526001602052604090205482111561055d57fe5b6001600160a01b038416600090815260026020908152604080832033845290915290205482111561058a57fe5b6001600160a01b03841660009081526002602090815260408083203384529091529020546105b89083610a20565b6001600160a01b0385166000818152600260209081526040808320338452825280832094909455918152600190915220546105f39083610a20565b6001600160a01b0380861660009081526001602052604080822093909355908516815220546106229083610a2d565b6001600160a01b0380851660008181526001602090815260409182902094909455805186815290519193928816927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a35060019392505050565b60055481565b6006546001600160a01b0316331461069d57fe5b6001600160a01b0383166000908152600160205260409020548111156106bf57fe5b806106df57506001600160a01b0382166000908152600160205260409020545b6006546001600160a01b0383811691161415610747576001600160a01b0383166000908152600160205260409020546107189082610a20565b6001600160a01b0384166000908152600160205260408120919091555461073f9082610a20565b6000556107b3565b6001600160a01b03831660009081526001602052604090205461076a9082610a20565b6001600160a01b0380851660009081526001602052604080822093909355908416815220546107999082610a2d565b6001600160a01b0383166000908152600160205260409020555b505050565b6001600160a01b031660009081526001602052604090205490565b600654600160a01b900460ff1681565b6006546001600160a01b031681565b6003805460408051602060026001851615610100026000190190941693909304601f8101849004840282018401909252818152929183018282801561040a5780601f106103df5761010080835404028352916020019161040a565b600654600090600160a01b900460ff161561086457fe5b3360009081526001602052604090205482111561087d57fe5b336000908152600160205260409020546108979083610a20565b33600090815260016020526040808220929092556001600160a01b038516815220546108c39083610a2d565b6001600160a01b0384166000818152600160209081526040918290209390935580518581529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a350600192915050565b6006546001600160a01b0316331461093557fe5b600654600160a01b900460ff161561094957fe5b600754610961600054836001600160801b0316610a2d565b111561096957fe5b6001600160a01b038216600090815260016020526040902054610995906001600160801b038316610a2d565b6001600160a01b038316600090815260016020526040812091909155546109c5906001600160801b038316610a2d565b6000555050565b6006546001600160a01b031633146109e057fe5b6006805460ff60a01b19169055565b60075481565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b808203828111156104b457fe5b808201828110156104b457fefea265627a7a723158203b1a8f1220c6453d30776dc71f8b0f79fb4f51a5c9b8f29d81fd55f64436012c64736f6c634300050c0032

867:2972:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;867:2972: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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1635:62;;;:::i;:::-;;2787:199;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;2787:199:0;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;3271:118;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;3271:118:0;-1:-1:-1;;;;;3271:118:0;;:::i;903:62::-;;;:::i;:::-;;;;;;;;;;;;;;;;2340:439;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;2340:439:0;;;;;;;;;;;;;;;;;:::i;1167:30::-;;;:::i;3395:441::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;3395:441:0;;;;;;;;;;;;;;;;;:::i;1775:102::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;1775:102:0;-1:-1:-1;;;;;1775:102:0;;:::i;1233:24::-;;;:::i;1204:22::-;;;:::i;:::-;;;;-1:-1:-1;;;;;1204:22:0;;;;;;;;;;;;;;1109:23;;;:::i;2012:320::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;2012:320:0;;;;;;;;:::i;2992:217::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;2992:217:0;;-1:-1:-1;;;;;2992:217:0;;;;;-1:-1:-1;;;;;2992:217:0;;:::i;1703:64::-;;;:::i;1266:41::-;;;:::i;1883:121::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;1883:121:0;;;;;;;;;;:::i;1139:21::-;;;;;;;;;;;;;;;-1:-1:-1;;1139:21:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1635:62::-;1530:5;;-1:-1:-1;;;;;1530:5:0;1518:10;:17;1510:26;;;;1675:7;:14;;-1:-1:-1;;;;1675:14:0;-1:-1:-1;;;1675:14:0;;;1635:62::o;2787:199::-;1601:7;;2856:4;;-1:-1:-1;;;1601:7:0;;;;1600:8;1592:17;;;;2884:10;2873:22;;;;:10;:22;;;;;;;;-1:-1:-1;;;;;2873:27:0;;;;;;;;;;;;:33;;;2924:30;;;;;;;2873:27;;2884:10;2924:30;;;;;;;;;;;-1:-1:-1;2974:4:0;1620:1;2787:199;;;;:::o;3271:118::-;1530:5;;-1:-1:-1;;;;;1530:5:0;1518:10;:17;1510:26;;;;3333:5;:14;;-1:-1:-1;;;;;;3333:14:0;-1:-1:-1;;;;;3333:14:0;;;;;;;;;;;3363:18;;3375:5;;;3363:18;;-1:-1:-1;;3363:18:0;3271:118;:::o;903:62::-;;;;:::o;2340:439::-;1601:7;;2423:4;;-1:-1:-1;;;1601:7:0;;;;1600:8;1592:17;;;;-1:-1:-1;;;;;2447:14:0;;;;;;:9;:14;;;;;;:21;-1:-1:-1;2447:21:0;2440:29;;;;-1:-1:-1;;;;;2487:15:0;;;;;;:10;:15;;;;;;;;2503:10;2487:27;;;;;;;;:34;-1:-1:-1;2487:34:0;2480:42;;;;-1:-1:-1;;;;;2569:15:0;;;;;;:10;:15;;;;;;;;2585:10;2569:27;;;;;;;;2565:37;;2598:3;2565;:37::i;:::-;-1:-1:-1;;;;;2535:15:0;;;;;;:10;:15;;;;;;;;2551:10;2535:27;;;;;;;:67;;;;2634:14;;;:9;:14;;;;;2630:24;;2650:3;2630;:24::i;:::-;-1:-1:-1;;;;;2613:14:0;;;;;;;:9;:14;;;;;;:41;;;;2686:14;;;;;;;2682:24;;2702:3;2682;:24::i;:::-;-1:-1:-1;;;;;2665:14:0;;;;;;;:9;:14;;;;;;;;;:41;;;;2724:23;;;;;;;2665:14;;2724:23;;;;;;;;;;;;;-1:-1:-1;2767:4:0;2340:439;;;;;:::o;1167:30::-;;;;:::o;3395:441::-;1530:5;;-1:-1:-1;;;;;1530:5:0;1518:10;:17;1510:26;;;;-1:-1:-1;;;;;3483:14:0;;;;;;:9;:14;;;;;;:21;-1:-1:-1;3483:21:0;3476:29;;;;3519:6;3516:42;;-1:-1:-1;;;;;;3544:14:0;;;;;;:9;:14;;;;;;3516:42;3577:5;;-1:-1:-1;;;;;3572:10:0;;;3577:5;;3572:10;3569:260;;;-1:-1:-1;;;;;3619:14:0;;;;;;:9;:14;;;;;;3615:24;;3635:3;3615;:24::i;:::-;-1:-1:-1;;;;;3598:14:0;;;;;;:9;:14;;;;;:41;;;;3672:11;3668:21;;3685:3;3668;:21::i;:::-;3654:11;:35;3569:260;;;-1:-1:-1;;;;;3741:14:0;;;;;;:9;:14;;;;;;3737:24;;3757:3;3737;:24::i;:::-;-1:-1:-1;;;;;3720:14:0;;;;;;;:9;:14;;;;;;:41;;;;3797:14;;;;;;;3793:24;;3813:3;3793;:24::i;:::-;-1:-1:-1;;;;;3776:14:0;;;;;;:9;:14;;;;;:41;3569:260;3395:441;;;:::o;1775:102::-;-1:-1:-1;;;;;1855:14:0;1828:7;1855:14;;;:9;:14;;;;;;;1775: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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2012:320;1601:7;;2079:4;;-1:-1:-1;;;1601:7:0;;;;1600:8;1592:17;;;;2113:10;2103:21;;;;:9;:21;;;;;;:28;-1:-1:-1;2103:28:0;2096:36;;;;2183:10;2173:21;;;;:9;:21;;;;;;2169:31;;2196:3;2169;:31::i;:::-;2155:10;2145:21;;;;:9;:21;;;;;;:55;;;;-1:-1:-1;;;;;2232:14:0;;;;;;2228:24;;2248:3;2228;:24::i;:::-;-1:-1:-1;;;;;2211:14:0;;;;;;:9;:14;;;;;;;;;:41;;;;2270:30;;;;;;;2211:14;;2279:10;;2270:30;;;;;;;;;;-1:-1:-1;2320:4:0;2012:320;;;;:::o;2992:217::-;1530:5;;-1:-1:-1;;;;;1530:5:0;1518:10;:17;1510:26;;;;1601:7;;-1:-1:-1;;;1601:7:0;;;;1600:8;1592:17;;;;3093:9;;3071:20;3075:11;;3087:3;-1:-1:-1;;;;;3071:20:0;:3;:20::i;:::-;:31;;3064:39;;;;-1:-1:-1;;;;;3135:14:0;;;;;;:9;:14;;;;;;3131:24;;-1:-1:-1;;;;;3131:24:0;;:3;:24::i;:::-;-1:-1:-1;;;;;3114:14:0;;;;;;:9;:14;;;;;:41;;;;3184:11;3180:21;;-1:-1:-1;;;;;3180:21:0;;:3;:21::i;:::-;3166:11;:35;-1:-1:-1;;2992:217:0:o;1703:64::-;1530:5;;-1:-1:-1;;;;;1530:5:0;1518:10;:17;1510:26;;;;1744:7;:15;;-1:-1:-1;;;;1744:15:0;;;1703:64::o;1266:41::-;;;;:::o;1883:121::-;-1:-1:-1;;;;;1976:15:0;;;1949:7;1976:15;;;:10;:15;;;;;;;;:20;;;;;;;;;;;;;1883:121::o;746:112::-;838:5;;;833:16;;;;826:24;;;626:112;718:5;;;713:16;;;;706:24;;

bzzr://3b1a8f1220c6453d30776dc71f8b0f79fb4f51a5c9b8f29d81fd55f64436012c