Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•  contract SafeMath
•    - function safeMul(uint256 a, uint256 b ...
•    - function safeDiv(uint256 a, uint256 b ...
•    - function safeSub(uint256 a, uint256 b ...
•    - function safeAdd(uint256 a, uint256 b ...
•    - function _assert(bool assertion)
•  contract ERC20Interface *
•    - function transfer(address _to, uint25 ...
•    - function transferFrom(address _from, ...
•    - function approve(address _spender, ui ...
•    - function allowance(address _owner, ad ...
•  contract owned
•    - function transferOwnerShip(address ne ...
•  contract ERC20 is ERC20Interface,S ... *
•    - function transfer(address _to, uint25 ...
•    - function transferFrom(address _from, ...
•    - function approve(address _spender, ui ...
•    - function allowance(address _owner, ad ...
•    - function mine(address target, uint am ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-03-10
*/

pragma solidity >=0.4.22 <0.6.0;

contract SafeMath {
    function safeMul(uint256 a, uint256 b) public pure  returns (uint256)  {
        uint256 c = a * b;
        assert(a == 0 || c / a == b);
        return c;
    }
    
    function safeDiv(uint256 a, uint256 b)public pure returns (uint256) {
        assert(b > 0);
        uint256 c = a / b;
        assert(a == b * c + a % b);
        return c;
    }
    
    function safeSub(uint256 a, uint256 b)public pure returns (uint256) {
        assert(b <= a);
        return a - b;
    }
    
    function safeAdd(uint256 a, uint256 b)public pure returns (uint256) {
        uint256 c = a + b;
        assert(c>=a && c>=b);
        return c;
    }
    
    function _assert(bool assertion)public pure {
        assert(!assertion);
    }
}

contract ERC20Interface {
    string public name;
    string public symbol;
    uint8 public  decimals;
    uint public totalSupply;
    
    function transfer(address _to, uint256 _value)public returns (bool success);
    function transferFrom(address _from, address _to, uint256 _value)public returns (bool success);
    function approve(address _spender, uint256 _value)public returns (bool success);
    function allowance(address _owner, address _spender)public view returns (uint256 remaining);
    
    event Transfer(address indexed _from, address indexed _to, uint256 _value);
    event Approval(address indexed _owner, address indexed _spender, uint256 _value);
 }
 
contract owned {
    address public owner;

    constructor () public {
        owner = msg.sender;
    }

    modifier onlyOwner {
        require(msg.sender == owner);
        _;
    }

    function transferOwnerShip(address newOwer) public onlyOwner {
        owner = newOwer;
    }

}
 
contract ERC20 is ERC20Interface,SafeMath,owned {

    mapping(address => uint256) public balanceOf;
    mapping(address => mapping(address => uint256)) allowed;

    event AddSupply(uint amount);
    
    constructor(string memory  _name) public {
        name = _name;  
        symbol = "CBI";
        decimals = 18;
        totalSupply = 5000000000000000000000000;
        balanceOf[msg.sender] = totalSupply;
    }

    function transfer(address _to, uint256 _value)public returns (bool success) {
        require(_to != address(0));
        require(balanceOf[msg.sender] >= _value);
        require(balanceOf[ _to] + _value >= balanceOf[ _to]);  
        
        balanceOf[msg.sender] =SafeMath.safeSub(balanceOf[msg.sender],_value) ;
        balanceOf[_to] =SafeMath.safeAdd(balanceOf[_to] ,_value);
        
        emit Transfer(msg.sender, _to, _value);
        
        return true;
    }

    function transferFrom(address _from, address _to, uint256 _value)public returns (bool success) {
        require(_to != address(0));
        require(allowed[_from][msg.sender] >= _value);
        require(balanceOf[_from] >= _value);
        require(balanceOf[_to] + _value >= balanceOf[_to]);
        
        balanceOf[_from] =SafeMath.safeSub(balanceOf[_from],_value) ;
        balanceOf[_to] = SafeMath.safeAdd(balanceOf[_to],_value);
        
        allowed[_from][msg.sender] =SafeMath.safeSub(allowed[_from][msg.sender], _value);
        
        emit Transfer(msg.sender, _to, _value);
        return true;
    }

    function approve(address _spender, uint256 _value)public returns (bool success) {
        require((_value==0)||(allowed[msg.sender][_spender]==0));
        allowed[msg.sender][_spender] = _value;
        
        emit Approval(msg.sender, _spender, _value);
        return true;
    }
    
    function allowance(address _owner, address _spender)public view returns (uint256 remaining) {
        return allowed[_owner][_spender];
    }
    
    function mine(address target, uint amount) public onlyOwner {
        totalSupply =SafeMath.safeAdd(totalSupply,amount) ;
        balanceOf[target] = SafeMath.safeAdd(balanceOf[target],amount);

        emit AddSupply(amount);
        emit Transfer(address(0), target, amount);
    }

}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"string","name":"_name","type":"string"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"AddSupply","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"},{"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":"bool","name":"assertion","type":"bool"}],"name":"_assert","outputs":[],"payable":false,"stateMutability":"pure","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"_owner","type":"address"},{"internalType":"address","name":"_spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"remaining","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_spender","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"target","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"mine","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":true,"inputs":[{"internalType":"uint256","name":"a","type":"uint256"},{"internalType":"uint256","name":"b","type":"uint256"}],"name":"safeAdd","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"pure","type":"function"},{"constant":true,"inputs":[{"internalType":"uint256","name":"a","type":"uint256"},{"internalType":"uint256","name":"b","type":"uint256"}],"name":"safeDiv","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"pure","type":"function"},{"constant":true,"inputs":[{"internalType":"uint256","name":"a","type":"uint256"},{"internalType":"uint256","name":"b","type":"uint256"}],"name":"safeMul","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"pure","type":"function"},{"constant":true,"inputs":[{"internalType":"uint256","name":"a","type":"uint256"},{"internalType":"uint256","name":"b","type":"uint256"}],"name":"safeSub","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"pure","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":"_to","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_from","type":"address"},{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"newOwer","type":"address"}],"name":"transferOwnerShip","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"}]

608060405234801561001057600080fd5b50604051610c3f380380610c3f8339818101604052602081101561003357600080fd5b810190808051604051939291908464010000000082111561005357600080fd5b90830190602082018581111561006857600080fd5b825164010000000081118282018810171561008257600080fd5b82525081516020918201929091019080838360005b838110156100af578181015183820152602001610097565b50505050905090810190601f1680156100dc5780820380516001836020036101000a031916815260200191505b506040525050600480546001600160a01b03191633179055508051610108906000906020840190610168565b506040805180820190915260038082526243424960e81b602090920191825261013391600191610168565b50506002805460ff191660121790556a0422ca8b0a00a425000000600381905533600090815260056020526040902055610203565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106101a957805160ff19168380011785556101d6565b828001600101855582156101d6579182015b828111156101d65782518255916020019190600101906101bb565b506101e29291506101e6565b5090565b61020091905b808211156101e257600081556001016101ec565b90565b610a2d806102126000396000f3fe608060405234801561001057600080fd5b506004361061010b5760003560e01c806395d89b41116100a2578063b5931f7c11610071578063b5931f7c14610330578063cdeda05514610353578063d05c78da14610372578063dd62ed3e14610395578063e6cb9013146103c35761010b565b806395d89b41146102ad578063a293d1e8146102b5578063a9059cbb146102d8578063ab27be20146103045761010b565b8063313ce567116100de578063313ce5671461021d57806370a082311461023b5780638863dd1a146102615780638da5cb5b146102895761010b565b806306fdde0314610110578063095ea7b31461018d57806318160ddd146101cd57806323b872dd146101e7575b600080fd5b6101186103e6565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561015257818101518382015260200161013a565b50505050905090810190601f16801561017f5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101b9600480360360408110156101a357600080fd5b506001600160a01b038135169060200135610474565b604080519115158252519081900360200190f35b6101d5610514565b60408051918252519081900360200190f35b6101b9600480360360608110156101fd57600080fd5b506001600160a01b0381358116916020810135909116906040013561051a565b6102256106a7565b6040805160ff9092168252519081900360200190f35b6101d56004803603602081101561025157600080fd5b50356001600160a01b03166106b0565b6102876004803603602081101561027757600080fd5b50356001600160a01b03166106c2565b005b6102916106fb565b604080516001600160a01b039092168252519081900360200190f35b61011861070a565b6101d5600480360360408110156102cb57600080fd5b5080359060200135610764565b6101b9600480360360408110156102ee57600080fd5b506001600160a01b038135169060200135610776565b6102876004803603604081101561031a57600080fd5b506001600160a01b038135169060200135610872565b6101d56004803603604081101561034657600080fd5b5080359060200135610952565b6102876004803603602081101561036957600080fd5b50351515610988565b6101d56004803603604081101561038857600080fd5b5080359060200135610993565b6101d5600480360360408110156103ab57600080fd5b506001600160a01b03813581169160200135166109b3565b6101d5600480360360408110156103d957600080fd5b50803590602001356109de565b6000805460408051602060026001851615610100026000190190941693909304601f8101849004840282018401909252818152929183018282801561046c5780601f106104415761010080835404028352916020019161046c565b820191906000526020600020905b81548152906001019060200180831161044f57829003601f168201915b505050505081565b60008115806104a457503360009081526006602090815260408083206001600160a01b0387168452909152902054155b6104ad57600080fd5b3360008181526006602090815260408083206001600160a01b03881680855290835292819020869055805186815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a350600192915050565b60035481565b60006001600160a01b03831661052f57600080fd5b6001600160a01b038416600090815260066020908152604080832033845290915290205482111561055f57600080fd5b6001600160a01b03841660009081526005602052604090205482111561058457600080fd5b6001600160a01b03831660009081526005602052604090205482810110156105ab57600080fd5b6001600160a01b0384166000908152600560205260409020546105ce9083610764565b6001600160a01b0380861660009081526005602052604080822093909355908516815220546105fd90836109de565b6001600160a01b03808516600090815260056020908152604080832094909455918716815260068252828120338252909152205461063b9083610764565b6001600160a01b038086166000908152600660209081526040808320338085529083529281902094909455835186815293519287169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35060019392505050565b60025460ff1681565b60056020526000908152604090205481565b6004546001600160a01b031633146106d957600080fd5b600480546001600160a01b0319166001600160a01b0392909216919091179055565b6004546001600160a01b031681565b60018054604080516020600284861615610100026000190190941693909304601f8101849004840282018401909252818152929183018282801561046c5780601f106104415761010080835404028352916020019161046c565b60008282111561077057fe5b50900390565b60006001600160a01b03831661078b57600080fd5b336000908152600560205260409020548211156107a757600080fd5b6001600160a01b03831660009081526005602052604090205482810110156107ce57600080fd5b336000908152600560205260409020546107e89083610764565b33600090815260056020526040808220929092556001600160a01b0385168152205461081490836109de565b6001600160a01b0384166000818152600560209081526040918290209390935580518581529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a350600192915050565b6004546001600160a01b0316331461088957600080fd5b610895600354826109de565b6003556001600160a01b0382166000908152600560205260409020546108bb90826109de565b6001600160a01b03831660009081526005602090815260409182902092909255805183815290517f1f90ffc80397d749f18478fbab9a66e1f7d21ab034917d4e5b5cdfff22680729929181900390910190a16040805182815290516001600160a01b038416916000917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9181900360200190a35050565b600080821161095d57fe5b600082848161096857fe5b04905082848161097457fe5b0681840201841461098157fe5b9392505050565b801561099057fe5b50565b60008282028315806109ad5750828482816109aa57fe5b04145b61098157fe5b6001600160a01b03918216600090815260066020908152604080832093909416825291909152205490565b60008282018381108015906109ad57508281101561098157fefea265627a7a723158203725cc10f1242cbe6acd786cdebb9b3a0ce9881b45d4cd2af0eb605f4fc870d364736f6c63430005100032000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000054342494558000000000000000000000000000000000000000000000000000000

0x608060405234801561001057600080fd5b506004361061010b5760003560e01c806395d89b41116100a2578063b5931f7c11610071578063b5931f7c14610330578063cdeda05514610353578063d05c78da14610372578063dd62ed3e14610395578063e6cb9013146103c35761010b565b806395d89b41146102ad578063a293d1e8146102b5578063a9059cbb146102d8578063ab27be20146103045761010b565b8063313ce567116100de578063313ce5671461021d57806370a082311461023b5780638863dd1a146102615780638da5cb5b146102895761010b565b806306fdde0314610110578063095ea7b31461018d57806318160ddd146101cd57806323b872dd146101e7575b600080fd5b6101186103e6565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561015257818101518382015260200161013a565b50505050905090810190601f16801561017f5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101b9600480360360408110156101a357600080fd5b506001600160a01b038135169060200135610474565b604080519115158252519081900360200190f35b6101d5610514565b60408051918252519081900360200190f35b6101b9600480360360608110156101fd57600080fd5b506001600160a01b0381358116916020810135909116906040013561051a565b6102256106a7565b6040805160ff9092168252519081900360200190f35b6101d56004803603602081101561025157600080fd5b50356001600160a01b03166106b0565b6102876004803603602081101561027757600080fd5b50356001600160a01b03166106c2565b005b6102916106fb565b604080516001600160a01b039092168252519081900360200190f35b61011861070a565b6101d5600480360360408110156102cb57600080fd5b5080359060200135610764565b6101b9600480360360408110156102ee57600080fd5b506001600160a01b038135169060200135610776565b6102876004803603604081101561031a57600080fd5b506001600160a01b038135169060200135610872565b6101d56004803603604081101561034657600080fd5b5080359060200135610952565b6102876004803603602081101561036957600080fd5b50351515610988565b6101d56004803603604081101561038857600080fd5b5080359060200135610993565b6101d5600480360360408110156103ab57600080fd5b506001600160a01b03813581169160200135166109b3565b6101d5600480360360408110156103d957600080fd5b50803590602001356109de565b6000805460408051602060026001851615610100026000190190941693909304601f8101849004840282018401909252818152929183018282801561046c5780601f106104415761010080835404028352916020019161046c565b820191906000526020600020905b81548152906001019060200180831161044f57829003601f168201915b505050505081565b60008115806104a457503360009081526006602090815260408083206001600160a01b0387168452909152902054155b6104ad57600080fd5b3360008181526006602090815260408083206001600160a01b03881680855290835292819020869055805186815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a350600192915050565b60035481565b60006001600160a01b03831661052f57600080fd5b6001600160a01b038416600090815260066020908152604080832033845290915290205482111561055f57600080fd5b6001600160a01b03841660009081526005602052604090205482111561058457600080fd5b6001600160a01b03831660009081526005602052604090205482810110156105ab57600080fd5b6001600160a01b0384166000908152600560205260409020546105ce9083610764565b6001600160a01b0380861660009081526005602052604080822093909355908516815220546105fd90836109de565b6001600160a01b03808516600090815260056020908152604080832094909455918716815260068252828120338252909152205461063b9083610764565b6001600160a01b038086166000908152600660209081526040808320338085529083529281902094909455835186815293519287169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35060019392505050565b60025460ff1681565b60056020526000908152604090205481565b6004546001600160a01b031633146106d957600080fd5b600480546001600160a01b0319166001600160a01b0392909216919091179055565b6004546001600160a01b031681565b60018054604080516020600284861615610100026000190190941693909304601f8101849004840282018401909252818152929183018282801561046c5780601f106104415761010080835404028352916020019161046c565b60008282111561077057fe5b50900390565b60006001600160a01b03831661078b57600080fd5b336000908152600560205260409020548211156107a757600080fd5b6001600160a01b03831660009081526005602052604090205482810110156107ce57600080fd5b336000908152600560205260409020546107e89083610764565b33600090815260056020526040808220929092556001600160a01b0385168152205461081490836109de565b6001600160a01b0384166000818152600560209081526040918290209390935580518581529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a350600192915050565b6004546001600160a01b0316331461088957600080fd5b610895600354826109de565b6003556001600160a01b0382166000908152600560205260409020546108bb90826109de565b6001600160a01b03831660009081526005602090815260409182902092909255805183815290517f1f90ffc80397d749f18478fbab9a66e1f7d21ab034917d4e5b5cdfff22680729929181900390910190a16040805182815290516001600160a01b038416916000917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9181900360200190a35050565b600080821161095d57fe5b600082848161096857fe5b04905082848161097457fe5b0681840201841461098157fe5b9392505050565b801561099057fe5b50565b60008282028315806109ad5750828482816109aa57fe5b04145b61098157fe5b6001600160a01b03918216600090815260066020908152604080832093909416825291909152205490565b60008282018381108015906109ad57508281101561098157fefea265627a7a723158203725cc10f1242cbe6acd786cdebb9b3a0ce9881b45d4cd2af0eb605f4fc870d364736f6c63430005100032

000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000054342494558000000000000000000000000000000000000000000000000000000

-----Decoded View---------------
Arg [0] : _name (string): CBIEX

-----Encoded View---------------
3 Constructor Arguments found :
Arg [0] : 0000000000000000000000000000000000000000000000000000000000000020
Arg [1] : 0000000000000000000000000000000000000000000000000000000000000005
Arg [2] : 4342494558000000000000000000000000000000000000000000000000000000

1825:2326:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1825:2326:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;855:18;;;:::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;855:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3400:290;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;3400:290:0;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;936:23;;;:::i;:::-;;;;;;;;;;;;;;;;2759:633;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;2759:633:0;;;;;;;;;;;;;;;;;:::i;907:22::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1882:44;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;1882:44:0;-1:-1:-1;;;;;1882:44:0;;:::i;1720:95::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;1720:95:0;-1:-1:-1;;;;;1720:95:0;;:::i;:::-;;1538:20;;;:::i;:::-;;;;-1:-1:-1;;;;;1538:20:0;;;;;;;;;;;;;;880;;;:::i;434:124::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;434:124:0;;;;;;;:::i;2265:486::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;2265:486:0;;;;;;;;:::i;3857:289::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;3857:289:0;;;;;;;;:::i;238:184::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;238:184:0;;;;;;;:::i;736:81::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;736:81:0;;;;:::i;61:165::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;61:165:0;;;;;;;:::i;3702:143::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;3702:143:0;;;;;;;;;;:::i;570:154::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;570:154:0;;;;;;;:::i;855:18::-;;;;;;;;;;;;;;;-1:-1:-1;;855:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;3400:290::-;3466:12;3500:9;;;3499:47;;-1:-1:-1;3521:10:0;3513:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;3513:29:0;;;;;;;;;;:32;3499:47;3491:56;;;;;;3566:10;3558:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;3558:29:0;;;;;;;;;;;;:38;;;3622;;;;;;;3558:29;;3566:10;3622:38;;;;;;;;;;;-1:-1:-1;3678:4:0;3400:290;;;;:::o;936:23::-;;;;:::o;2759:633::-;2840:12;-1:-1:-1;;;;;2873:17:0;;2865:26;;;;;;-1:-1:-1;;;;;2910:14:0;;;;;;:7;:14;;;;;;;;2925:10;2910:26;;;;;;;;:36;-1:-1:-1;2910:36:0;2902:45;;;;;;-1:-1:-1;;;;;2966:16:0;;;;;;:9;:16;;;;;;:26;-1:-1:-1;2966:26:0;2958:35;;;;;;-1:-1:-1;;;;;3039:14:0;;;;;;:9;:14;;;;;;3012:23;;;:41;;3004:50;;;;;;-1:-1:-1;;;;;3110:16:0;;;;;;:9;:16;;;;;;3093:41;;3127:6;3093:16;:41::i;:::-;-1:-1:-1;;;;;3075:16:0;;;;;;;:9;:16;;;;;;:59;;;;3180:14;;;;;;;3163:39;;3195:6;3163:16;:39::i;:::-;-1:-1:-1;;;;;3146:14:0;;;;;;;:9;:14;;;;;;;;:56;;;;3268:14;;;;;:7;:14;;;;;3283:10;3268:26;;;;;;;3251:52;;3296:6;3251:16;:52::i;:::-;-1:-1:-1;;;;;3223:14:0;;;;;;;:7;:14;;;;;;;;3238:10;3223:26;;;;;;;;;;:80;;;;3329:33;;;;;;;;;;;3238:10;;3329:33;;;;;;;;;;-1:-1:-1;3380:4:0;2759:633;;;;;:::o;907:22::-;;;;;;:::o;1882:44::-;;;;;;;;;;;;;:::o;1720:95::-;1686:5;;-1:-1:-1;;;;;1686:5:0;1672:10;:19;1664:28;;;;;;1792:5;:15;;-1:-1:-1;;;;;;1792:15:0;-1:-1:-1;;;;;1792:15:0;;;;;;;;;;1720:95::o;1538:20::-;;;-1:-1:-1;;;;;1538:20:0;;:::o;880:::-;;;;;;;;;;;;;;;-1:-1:-1;;880:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;434:124;493:7;525:1;520;:6;;513:14;;;;-1:-1:-1;545:5:0;;;434:124::o;2265:486::-;2327:12;-1:-1:-1;;;;;2360:17:0;;2352:26;;;;;;2407:10;2397:21;;;;:9;:21;;;;;;:31;-1:-1:-1;2397:31:0;2389:40;;;;;;-1:-1:-1;;;;;2476:15:0;;;;;;:9;:15;;;;;;2448:24;;;:43;;2440:52;;;;;;2565:10;2555:21;;;;:9;:21;;;;;;2538:46;;2577:6;2538:16;:46::i;:::-;2525:10;2515:21;;;;:9;:21;;;;;;:69;;;;-1:-1:-1;;;;;2629:14:0;;;;;;2612:40;;2645:6;2612:16;:40::i;:::-;-1:-1:-1;;;;;2596:14:0;;;;;;:9;:14;;;;;;;;;:56;;;;2678:33;;;;;;;2596:14;;2687:10;;2678:33;;;;;;;;;;-1:-1:-1;2739:4:0;2265:486;;;;:::o;3857:289::-;1686:5;;-1:-1:-1;;;;;1686:5:0;1672:10;:19;1664:28;;;;;;3941:36;3958:11;;3970:6;3941:16;:36::i;:::-;3928:11;:49;-1:-1:-1;;;;;4026:17:0;;;;;;:9;:17;;;;;;4009:42;;4044:6;4009:16;:42::i;:::-;-1:-1:-1;;;;;3989:17:0;;;;;;:9;:17;;;;;;;;;:62;;;;4069:17;;;;;;;;;;;;;;;;;;4102:36;;;;;;;;-1:-1:-1;;;;;4102:36:0;;;4119:1;;4102:36;;;;;;;;;3857:289;;:::o;238:184::-;297:7;328:1;324;:5;317:13;;;;341:9;357:1;353;:5;;;;;;341:17;;393:1;389;:5;;;;;;385:1;381;:5;:13;376:1;:18;369:26;;;;413:1;238:184;-1:-1:-1;;;238:184:0:o;736:81::-;799:9;798:10;791:18;;;;736:81;:::o;61:165::-;122:7;155:5;;;178:6;;;:20;;;197:1;192;188;:5;;;;;;:10;178:20;171:28;;;3702:143;-1:-1:-1;;;;;3812:15:0;;;3775:17;3812:15;;;:7;:15;;;;;;;;:25;;;;;;;;;;;;;3702:143::o;570:154::-;629:7;661:5;;;684:4;;;;;;:12;;;695:1;692;:4;;677:20;;

bzzr://3725cc10f1242cbe6acd786cdebb9b3a0ce9881b45d4cd2af0eb605f4fc870d3