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 PDS 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
*/

// Copyright (C)  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 PDS 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=580000000 ether; // max supply should less than 10E52


    constructor()public {
        symbol="PDS";
        name="Permanent Digita Seal 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"}]

608060405260126005556b01dfc3c700884a60c400000060075534801561002557600080fd5b506040805180820190915260038082527f5044530000000000000000000000000000000000000000000000000000000000602090920191825261006891816100ae565b50604051806060016040528060218152602001610bc7602191398051610096916004916020909101906100ae565b50600680546001600160a01b03191633179055610149565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106100ef57805160ff191683800117855561011c565b8280016001018555821561011c579182015b8281111561011c578251825591602001919060010190610101565b5061012892915061012c565b5090565b61014691905b808211156101285760008155600101610132565b90565b610a6f806101586000396000f3fe608060405234801561001057600080fd5b506004361061010b5760003560e01c806370a08231116100a2578063a9059cbb11610071578063a9059cbb146102e5578063be29184f14610311578063be9a655514610346578063d5abeb011461034e578063dd62ed3e146103565761010b565b806370a082311461028b57806375f12b21146102b15780638da5cb5b146102b957806395d89b41146102dd5761010b565b806318160ddd116100de57806318160ddd146101fd57806323b872dd14610217578063313ce5671461024d578063383b818d146102555761010b565b806306fdde031461011057806307da68f51461018d578063095ea7b31461019757806313af4035146101d7575b600080fd5b610118610384565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561015257818101518382015260200161013a565b50505050905090810190601f16801561017f5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610195610412565b005b6101c3600480360360408110156101ad57600080fd5b506001600160a01b03813516906020013561043b565b604080519115158252519081900360200190f35b610195600480360360208110156101ed57600080fd5b50356001600160a01b03166104ba565b61020561051e565b60408051918252519081900360200190f35b6101c36004803603606081101561022d57600080fd5b506001600160a01b03813581169160208101359091169060400135610524565b610205610683565b6101956004803603606081101561026b57600080fd5b506001600160a01b03813581169160208101359091169060400135610689565b610205600480360360208110156102a157600080fd5b50356001600160a01b03166107b8565b6101c36107d3565b6102c16107e3565b604080516001600160a01b039092168252519081900360200190f35b6101186107f2565b6101c3600480360360408110156102fb57600080fd5b506001600160a01b03813516906020013561084d565b6101956004803603604081101561032757600080fd5b5080356001600160a01b031690602001356001600160801b0316610921565b6101956109cc565b6102056109ef565b6102056004803603604081101561036c57600080fd5b506001600160a01b03813581169160200135166109f5565b6004805460408051602060026001851615610100026000190190941693909304601f8101849004840282018401909252818152929183018282801561040a5780601f106103df5761010080835404028352916020019161040a565b820191906000526020600020905b8154815290600101906020018083116103ed57829003601f168201915b505050505081565b6006546001600160a01b0316331461042657fe5b6006805460ff60a01b1916600160a01b179055565b600654600090600160a01b900460ff161561045257fe5b3360008181526002602090815260408083206001600160a01b03881680855290835292819020869055805186815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a35060015b92915050565b6006546001600160a01b031633146104ce57fe5b600680546001600160a01b0319166001600160a01b0383811691909117918290556040519116907fce241d7ca1f669fee44b6fc00b8eba2df3bb514eed0f6f668f8f89096e81ed9490600090a250565b60005481565b600654600090600160a01b900460ff161561053b57fe5b6001600160a01b03841660009081526001602052604090205482111561055d57fe5b6001600160a01b038416600090815260026020908152604080832033845290915290205482111561058a57fe5b6001600160a01b03841660009081526002602090815260408083203384529091529020546105b89083610a20565b6001600160a01b0385166000818152600260209081526040808320338452825280832094909455918152600190915220546105f39083610a20565b6001600160a01b0380861660009081526001602052604080822093909355908516815220546106229083610a2d565b6001600160a01b0380851660008181526001602090815260409182902094909455805186815290519193928816927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a35060019392505050565b60055481565b6006546001600160a01b0316331461069d57fe5b6001600160a01b0383166000908152600160205260409020548111156106bf57fe5b806106df57506001600160a01b0382166000908152600160205260409020545b6006546001600160a01b0383811691161415610747576001600160a01b0383166000908152600160205260409020546107189082610a20565b6001600160a01b0384166000908152600160205260408120919091555461073f9082610a20565b6000556107b3565b6001600160a01b03831660009081526001602052604090205461076a9082610a20565b6001600160a01b0380851660009081526001602052604080822093909355908416815220546107999082610a2d565b6001600160a01b0383166000908152600160205260409020555b505050565b6001600160a01b031660009081526001602052604090205490565b600654600160a01b900460ff1681565b6006546001600160a01b031681565b6003805460408051602060026001851615610100026000190190941693909304601f8101849004840282018401909252818152929183018282801561040a5780601f106103df5761010080835404028352916020019161040a565b600654600090600160a01b900460ff161561086457fe5b3360009081526001602052604090205482111561087d57fe5b336000908152600160205260409020546108979083610a20565b33600090815260016020526040808220929092556001600160a01b038516815220546108c39083610a2d565b6001600160a01b0384166000818152600160209081526040918290209390935580518581529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a350600192915050565b6006546001600160a01b0316331461093557fe5b600654600160a01b900460ff161561094957fe5b600754610961600054836001600160801b0316610a2d565b111561096957fe5b6001600160a01b038216600090815260016020526040902054610995906001600160801b038316610a2d565b6001600160a01b038316600090815260016020526040812091909155546109c5906001600160801b038316610a2d565b6000555050565b6006546001600160a01b031633146109e057fe5b6006805460ff60a01b19169055565b60075481565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b808203828111156104b457fe5b808201828110156104b457fefea265627a7a7231582056ec4c608a18bb9cf6da73ebacba4ab3264de7e94ac48db13a9f5124e5a2972764736f6c634300050b00325065726d616e656e7420446967697461205365616c20455243323020546f6b656e

0x608060405234801561001057600080fd5b506004361061010b5760003560e01c806370a08231116100a2578063a9059cbb11610071578063a9059cbb146102e5578063be29184f14610311578063be9a655514610346578063d5abeb011461034e578063dd62ed3e146103565761010b565b806370a082311461028b57806375f12b21146102b15780638da5cb5b146102b957806395d89b41146102dd5761010b565b806318160ddd116100de57806318160ddd146101fd57806323b872dd14610217578063313ce5671461024d578063383b818d146102555761010b565b806306fdde031461011057806307da68f51461018d578063095ea7b31461019757806313af4035146101d7575b600080fd5b610118610384565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561015257818101518382015260200161013a565b50505050905090810190601f16801561017f5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610195610412565b005b6101c3600480360360408110156101ad57600080fd5b506001600160a01b03813516906020013561043b565b604080519115158252519081900360200190f35b610195600480360360208110156101ed57600080fd5b50356001600160a01b03166104ba565b61020561051e565b60408051918252519081900360200190f35b6101c36004803603606081101561022d57600080fd5b506001600160a01b03813581169160208101359091169060400135610524565b610205610683565b6101956004803603606081101561026b57600080fd5b506001600160a01b03813581169160208101359091169060400135610689565b610205600480360360208110156102a157600080fd5b50356001600160a01b03166107b8565b6101c36107d3565b6102c16107e3565b604080516001600160a01b039092168252519081900360200190f35b6101186107f2565b6101c3600480360360408110156102fb57600080fd5b506001600160a01b03813516906020013561084d565b6101956004803603604081101561032757600080fd5b5080356001600160a01b031690602001356001600160801b0316610921565b6101956109cc565b6102056109ef565b6102056004803603604081101561036c57600080fd5b506001600160a01b03813581169160200135166109f5565b6004805460408051602060026001851615610100026000190190941693909304601f8101849004840282018401909252818152929183018282801561040a5780601f106103df5761010080835404028352916020019161040a565b820191906000526020600020905b8154815290600101906020018083116103ed57829003601f168201915b505050505081565b6006546001600160a01b0316331461042657fe5b6006805460ff60a01b1916600160a01b179055565b600654600090600160a01b900460ff161561045257fe5b3360008181526002602090815260408083206001600160a01b03881680855290835292819020869055805186815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a35060015b92915050565b6006546001600160a01b031633146104ce57fe5b600680546001600160a01b0319166001600160a01b0383811691909117918290556040519116907fce241d7ca1f669fee44b6fc00b8eba2df3bb514eed0f6f668f8f89096e81ed9490600090a250565b60005481565b600654600090600160a01b900460ff161561053b57fe5b6001600160a01b03841660009081526001602052604090205482111561055d57fe5b6001600160a01b038416600090815260026020908152604080832033845290915290205482111561058a57fe5b6001600160a01b03841660009081526002602090815260408083203384529091529020546105b89083610a20565b6001600160a01b0385166000818152600260209081526040808320338452825280832094909455918152600190915220546105f39083610a20565b6001600160a01b0380861660009081526001602052604080822093909355908516815220546106229083610a2d565b6001600160a01b0380851660008181526001602090815260409182902094909455805186815290519193928816927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a35060019392505050565b60055481565b6006546001600160a01b0316331461069d57fe5b6001600160a01b0383166000908152600160205260409020548111156106bf57fe5b806106df57506001600160a01b0382166000908152600160205260409020545b6006546001600160a01b0383811691161415610747576001600160a01b0383166000908152600160205260409020546107189082610a20565b6001600160a01b0384166000908152600160205260408120919091555461073f9082610a20565b6000556107b3565b6001600160a01b03831660009081526001602052604090205461076a9082610a20565b6001600160a01b0380851660009081526001602052604080822093909355908416815220546107999082610a2d565b6001600160a01b0383166000908152600160205260409020555b505050565b6001600160a01b031660009081526001602052604090205490565b600654600160a01b900460ff1681565b6006546001600160a01b031681565b6003805460408051602060026001851615610100026000190190941693909304601f8101849004840282018401909252818152929183018282801561040a5780601f106103df5761010080835404028352916020019161040a565b600654600090600160a01b900460ff161561086457fe5b3360009081526001602052604090205482111561087d57fe5b336000908152600160205260409020546108979083610a20565b33600090815260016020526040808220929092556001600160a01b038516815220546108c39083610a2d565b6001600160a01b0384166000818152600160209081526040918290209390935580518581529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a350600192915050565b6006546001600160a01b0316331461093557fe5b600654600160a01b900460ff161561094957fe5b600754610961600054836001600160801b0316610a2d565b111561096957fe5b6001600160a01b038216600090815260016020526040902054610995906001600160801b038316610a2d565b6001600160a01b038316600090815260016020526040812091909155546109c5906001600160801b038316610a2d565b6000555050565b6006546001600160a01b031633146109e057fe5b6006805460ff60a01b19169055565b60075481565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b808203828111156104b457fe5b808201828110156104b457fefea265627a7a7231582056ec4c608a18bb9cf6da73ebacba4ab3264de7e94ac48db13a9f5124e5a2972764736f6c634300050b0032

891:2983:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;891:2983:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1163: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;1163:21:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1666:62;;;:::i;:::-;;2818:199;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;2818:199:0;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;3302:118;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;3302:118:0;-1:-1:-1;;;;;3302:118:0;;:::i;927:62::-;;;:::i;:::-;;;;;;;;;;;;;;;;2371:439;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;2371:439:0;;;;;;;;;;;;;;;;;:::i;1191:30::-;;;:::i;3426:445::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;3426:445:0;;;;;;;;;;;;;;;;;:::i;1806:102::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;1806:102:0;-1:-1:-1;;;;;1806:102:0;;:::i;1257:24::-;;;:::i;1228:22::-;;;:::i;:::-;;;;-1:-1:-1;;;;;1228:22:0;;;;;;;;;;;;;;1133:23;;;:::i;2043:320::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;2043:320:0;;;;;;;;:::i;3023:217::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;3023:217:0;;-1:-1:-1;;;;;3023:217:0;;;;;-1:-1:-1;;;;;3023:217:0;;:::i;1734:64::-;;;:::i;1290:41::-;;;:::i;1914:121::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;1914:121:0;;;;;;;;;;:::i;1163:21::-;;;;;;;;;;;;;;;-1:-1:-1;;1163:21:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1666:62::-;1561:5;;-1:-1:-1;;;;;1561:5:0;1549:10;:17;1541:26;;;;1706:7;:14;;-1:-1:-1;;;;1706:14:0;-1:-1:-1;;;1706:14:0;;;1666:62::o;2818:199::-;1632:7;;2887:4;;-1:-1:-1;;;1632:7:0;;;;1631:8;1623:17;;;;2915:10;2904:22;;;;:10;:22;;;;;;;;-1:-1:-1;;;;;2904:27:0;;;;;;;;;;;;:33;;;2955:30;;;;;;;2904:27;;2915:10;2955:30;;;;;;;;;;;-1:-1:-1;3005:4:0;1651:1;2818:199;;;;:::o;3302:118::-;1561:5;;-1:-1:-1;;;;;1561:5:0;1549:10;:17;1541:26;;;;3364:5;:14;;-1:-1:-1;;;;;;3364:14:0;-1:-1:-1;;;;;3364:14:0;;;;;;;;;;;3394:18;;3406:5;;;3394:18;;-1:-1:-1;;3394:18:0;3302:118;:::o;927:62::-;;;;:::o;2371:439::-;1632:7;;2454:4;;-1:-1:-1;;;1632:7:0;;;;1631:8;1623:17;;;;-1:-1:-1;;;;;2478:14:0;;;;;;:9;:14;;;;;;:21;-1:-1:-1;2478:21:0;2471:29;;;;-1:-1:-1;;;;;2518:15:0;;;;;;:10;:15;;;;;;;;2534:10;2518:27;;;;;;;;:34;-1:-1:-1;2518:34:0;2511:42;;;;-1:-1:-1;;;;;2600:15:0;;;;;;:10;:15;;;;;;;;2616:10;2600:27;;;;;;;;2596:37;;2629:3;2596;:37::i;:::-;-1:-1:-1;;;;;2566:15:0;;;;;;:10;:15;;;;;;;;2582:10;2566:27;;;;;;;:67;;;;2665:14;;;:9;:14;;;;;2661:24;;2681:3;2661;:24::i;:::-;-1:-1:-1;;;;;2644:14:0;;;;;;;:9;:14;;;;;;:41;;;;2717:14;;;;;;;2713:24;;2733:3;2713;:24::i;:::-;-1:-1:-1;;;;;2696:14:0;;;;;;;:9;:14;;;;;;;;;:41;;;;2755:23;;;;;;;2696:14;;2755:23;;;;;;;;;;;;;-1:-1:-1;2798:4:0;2371:439;;;;;:::o;1191:30::-;;;;:::o;3426:445::-;1561:5;;-1:-1:-1;;;;;1561:5:0;1549:10;:17;1541:26;;;;-1:-1:-1;;;;;3514:14:0;;;;;;:9;:14;;;;;;:21;-1:-1:-1;3514:21:0;3507:29;;;;3550:6;3547:42;;-1:-1:-1;;;;;;3575:14:0;;;;;;:9;:14;;;;;;3547:42;3608:5;;-1:-1:-1;;;;;3603:10:0;;;3608:5;;3603:10;3600:260;;;-1:-1:-1;;;;;3650:14:0;;;;;;:9;:14;;;;;;3646:24;;3666:3;3646;:24::i;:::-;-1:-1:-1;;;;;3629:14:0;;;;;;:9;:14;;;;;:41;;;;3703:11;3699:21;;3716:3;3699;:21::i;:::-;3685:11;:35;3600:260;;;-1:-1:-1;;;;;3772:14:0;;;;;;:9;:14;;;;;;3768:24;;3788:3;3768;:24::i;:::-;-1:-1:-1;;;;;3751:14:0;;;;;;;:9;:14;;;;;;:41;;;;3828:14;;;;;;;3824:24;;3844:3;3824;:24::i;:::-;-1:-1:-1;;;;;3807:14:0;;;;;;:9;:14;;;;;:41;3600:260;3426:445;;;:::o;1806:102::-;-1:-1:-1;;;;;1886:14:0;1859:7;1886:14;;;:9;:14;;;;;;;1806:102::o;1257:24::-;;;-1:-1:-1;;;1257:24:0;;;;;:::o;1228:22::-;;;-1:-1:-1;;;;;1228:22:0;;:::o;1133:23::-;;;;;;;;;;;;;;;-1:-1:-1;;1133:23:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2043:320;1632:7;;2110:4;;-1:-1:-1;;;1632:7:0;;;;1631:8;1623:17;;;;2144:10;2134:21;;;;:9;:21;;;;;;:28;-1:-1:-1;2134:28:0;2127:36;;;;2214:10;2204:21;;;;:9;:21;;;;;;2200:31;;2227:3;2200;:31::i;:::-;2186:10;2176:21;;;;:9;:21;;;;;;:55;;;;-1:-1:-1;;;;;2263:14:0;;;;;;2259:24;;2279:3;2259;:24::i;:::-;-1:-1:-1;;;;;2242:14:0;;;;;;:9;:14;;;;;;;;;:41;;;;2301:30;;;;;;;2242:14;;2310:10;;2301:30;;;;;;;;;;-1:-1:-1;2351:4:0;2043:320;;;;:::o;3023:217::-;1561:5;;-1:-1:-1;;;;;1561:5:0;1549:10;:17;1541:26;;;;1632:7;;-1:-1:-1;;;1632:7:0;;;;1631:8;1623:17;;;;3124:9;;3102:20;3106:11;;3118:3;-1:-1:-1;;;;;3102:20:0;:3;:20::i;:::-;:31;;3095:39;;;;-1:-1:-1;;;;;3166:14:0;;;;;;:9;:14;;;;;;3162:24;;-1:-1:-1;;;;;3162:24:0;;:3;:24::i;:::-;-1:-1:-1;;;;;3145:14:0;;;;;;:9;:14;;;;;:41;;;;3215:11;3211:21;;-1:-1:-1;;;;;3211:21:0;;:3;:21::i;:::-;3197:11;:35;-1:-1:-1;;3023:217:0:o;1734:64::-;1561:5;;-1:-1:-1;;;;;1561:5:0;1549:10;:17;1541:26;;;;1775:7;:15;;-1:-1:-1;;;;1775:15:0;;;1734:64::o;1290:41::-;;;;:::o;1914:121::-;-1:-1:-1;;;;;2007:15:0;;;1980:7;2007:15;;;:10;:15;;;;;;;;:20;;;;;;;;;;;;;1914:121::o;770:112::-;862:5;;;857:16;;;;850:24;;;650:112;742:5;;;737:16;;;;730:24;;

bzzr://56ec4c608a18bb9cf6da73ebacba4ab3264de7e94ac48db13a9f5124e5a29727