Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• library SafeMath
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function add(uint256 a, uint256 b)
•    - function mod(uint256 a, uint256 b)
• interface IERC20
•    - function transfer(address to, uint256 ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address from, a ...
•    - function totalSupply()
•    - function balanceOf(address who)
•    - function allowance(address owner, add ...
•  contract Nutopia is IERC20 *
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function approve(address _spender, ui ...
•    - function transfer(address _to, uint25 ...
•    - function transferFrom(address _from, ...
•    - function _transfer(address from, addr ...
•    - function totalSupply()
•    - function allowance(address _owner, ad ...
•    - function balanceOf(address _owner)
•    - function ownerTransfer(address newOwn ...
•    - function freeze()
•    - function unfreeze()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

pragma solidity ^0.5.0;

/**
 * @title SafeMath
 * @dev Unsigned math operations with safety checks that revert on error
 */
library SafeMath {
    /**
     * @dev Multiplies two unsigned integers, reverts on overflow.
     */
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        // Gas optimization: this is cheaper than requiring 'a' not being zero, but the
        // benefit is lost if 'b' is also tested.
        // See: https://github.com/OpenZeppelin/openzeppelin-solidity/pull/522
        if (a == 0) {
            return 0;
        }

        uint256 c = a * b;
        require(c / a == b);

        return c;
    }

    /**
     * @dev Integer division of two unsigned integers truncating the quotient, reverts on division by zero.
     */
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        // Solidity only automatically asserts when dividing by 0
        require(b > 0);
        uint256 c = a / b;
        // assert(a == b * c + a % b); // There is no case in which this doesn't hold

        return c;
    }

    /**
     * @dev Subtracts two unsigned integers, reverts on overflow (i.e. if subtrahend is greater than minuend).
     */
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b <= a);
        uint256 c = a - b;

        return c;
    }

    /**
     * @dev Adds two unsigned integers, reverts on overflow.
     */
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a);

        return c;
    }

    /**
     * @dev Divides two unsigned integers and returns the remainder (unsigned integer modulo),
     * reverts when dividing by zero.
     */
    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b != 0);
        return a % b;
    }
}

/**
 * @title ERC20 interface
 * @dev see https://eips.ethereum.org/EIPS/eip-20
 */
interface IERC20 {
    function transfer(address to, uint256 value) external returns (bool);

    function approve(address spender, uint256 value) external returns (bool);

    function transferFrom(address from, address to, uint256 value) external returns (bool);

    function totalSupply() external view returns (uint256);

    function balanceOf(address who) external view returns (uint256);

    function allowance(address owner, address spender) external view returns (uint256);

    event Transfer(address indexed from, address indexed to, uint256 value);

    event Approval(address indexed owner, address indexed spender, uint256 value);
}

contract Nutopia is IERC20 {

    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);

    using SafeMath for uint256;

    mapping (address => uint256) private _balance;

    mapping (address => mapping (address => uint256)) private _allowed;

    uint256 private _totalSupply = 10_000_000_000E18;

    string private _name = "Nutopia Coin";
    string private _symbol = "NUCO";
    uint8 private _decimals = 18;

    address public owner;

    bool public frozen;

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

    modifier checkFrozen {
        assert(!frozen);
        _;
    }

    constructor() public {
        owner = msg.sender;
        frozen = false;

        // Initial balance
        _balance[owner] = _totalSupply;
    }

    function name() public view returns (string memory) {
        return _name;
    }

    function symbol() public view returns (string memory) {
        return _symbol;
    }

    function decimals() public view returns (uint8) {
        return _decimals;
    }

    function approve(address _spender, uint256 _value) checkFrozen public returns (bool) {
        require(_spender != address(0));

        _allowed[msg.sender][_spender] = _value;
        emit Approval(msg.sender, _spender, _value);
        return true;
    }

    function transfer(address _to, uint256 _value) checkFrozen public returns (bool) {
        _transfer(msg.sender, _to, _value);
        return true;
    }

    function transferFrom(address _from, address _to, uint256 _value) checkFrozen public returns (bool) {
        _transfer(_from, _to, _value);
        _allowed[_from][_to] = _allowed[_from][_to].sub(_value);
        return true;
    }

    function _transfer(address from, address to, uint256 value) internal {
        require(value <= balanceOf(from));
        require(to != address(0));

        _balance[from] = _balance[from].sub(value);
        _balance[to] = _balance[to].add(value);
        emit Transfer(from, to, value);
    }

    function totalSupply() public view returns (uint256) {
        return _totalSupply;
    }

    function allowance(address _owner, address _spender) public view returns (uint256) {
        return _allowed[_owner][_spender];
    }

    function balanceOf(address _owner) public view returns (uint256) {
        return _balance[_owner];
    }

    // Contract owner transfer
    function ownerTransfer(address newOwner) public onlyOwner {
        require(newOwner != address(0));
        emit OwnershipTransferred(owner, newOwner);
        owner = newOwner;
    }

    function freeze() public onlyOwner {
        frozen = true;
    }

    function unfreeze() public onlyOwner {
        frozen = false;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"frozen","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_value","type":"uint256"}],"name":"approve","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"newOwner","type":"address"}],"name":"ownerTransfer","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_from","type":"address"},{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transferFrom","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"freeze","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"unfreeze","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"}],"name":"balanceOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transfer","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"},{"name":"_spender","type":"address"}],"name":"allowance","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"name":"previousOwner","type":"address"},{"indexed":true,"name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":true,"name":"to","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"owner","type":"address"},{"indexed":true,"name":"spender","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Approval","type":"event"}]

6b204fce5e3e2502611000000060025560c0604052600c60808190527f4e75746f70696120436f696e000000000000000000000000000000000000000060a090815261004e91600391906100f7565b506040805180820190915260048082527f4e55434f00000000000000000000000000000000000000000000000000000000602090920191825261009191816100f7565b506005805460ff191660121790553480156100ab57600080fd5b5060058054600160a81b60ff0219610100338102610100600160a81b031990931692909217169182905560025491046001600160a01b0316600090815260208190526040902055610192565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061013857805160ff1916838001178555610165565b82800160010185558215610165579182015b8281111561016557825182559160200191906001019061014a565b50610171929150610175565b5090565b61018f91905b80821115610171576000815560010161017b565b90565b610825806101a16000396000f3fe608060405234801561001057600080fd5b50600436106100ea5760003560e01c806362a5af3b1161008c5780638da5cb5b116100665780638da5cb5b1461028057806395d89b41146102a4578063a9059cbb146102ac578063dd62ed3e146102d8576100ea565b806362a5af3b1461024a5780636a28f0001461025257806370a082311461025a576100ea565b80631815c208116100c85780631815c208146101b457806318160ddd146101dc57806323b872dd146101f6578063313ce5671461022c576100ea565b8063054f7d9c146100ef57806306fdde031461010b578063095ea7b314610188575b600080fd5b6100f7610306565b604080519115158252519081900360200190f35b610113610316565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561014d578181015183820152602001610135565b50505050905090810190601f16801561017a5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6100f76004803603604081101561019e57600080fd5b506001600160a01b0381351690602001356103ac565b6101da600480360360208110156101ca57600080fd5b50356001600160a01b031661043d565b005b6101e46104ea565b60408051918252519081900360200190f35b6100f76004803603606081101561020c57600080fd5b506001600160a01b038135811691602081013590911690604001356104f0565b61023461057c565b6040805160ff9092168252519081900360200190f35b6101da610585565b6101da6105c8565b6101e46004803603602081101561027057600080fd5b50356001600160a01b0316610605565b610288610620565b604080516001600160a01b039092168252519081900360200190f35b610113610634565b6100f7600480360360408110156102c257600080fd5b506001600160a01b038135169060200135610695565b6101e4600480360360408110156102ee57600080fd5b506001600160a01b03813581169160200135166106c0565b600554600160a81b900460ff1681565b60038054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156103a25780601f10610377576101008083540402835291602001916103a2565b820191906000526020600020905b81548152906001019060200180831161038557829003601f168201915b5050505050905090565b600554600090600160a81b900460ff16156103c357fe5b6001600160a01b0383166103d657600080fd5b3360008181526001602090815260408083206001600160a01b03881680855290835292819020869055805186815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a350600192915050565b60055461010090046001600160a01b0316331461045957600080fd5b6001600160a01b03811661046c57600080fd5b6005546040516001600160a01b0380841692610100900416907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a3600580546001600160a01b03909216610100027fffffffffffffffffffffff0000000000000000000000000000000000000000ff909216919091179055565b60025490565b600554600090600160a81b900460ff161561050757fe5b6105128484846106eb565b6001600160a01b03808516600090815260016020908152604080832093871683529290522054610548908363ffffffff6107cb16565b6001600160a01b03808616600090815260016020818152604080842094891684529390529190209190915590509392505050565b60055460ff1690565b60055461010090046001600160a01b031633146105a157600080fd5b6005805475ff0000000000000000000000000000000000000000001916600160a81b179055565b60055461010090046001600160a01b031633146105e457600080fd5b6005805475ff00000000000000000000000000000000000000000019169055565b6001600160a01b031660009081526020819052604090205490565b60055461010090046001600160a01b031681565b60048054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156103a25780601f10610377576101008083540402835291602001916103a2565b600554600090600160a81b900460ff16156106ac57fe5b6106b73384846106eb565b50600192915050565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b6106f483610605565b81111561070057600080fd5b6001600160a01b03821661071357600080fd5b6001600160a01b03831660009081526020819052604090205461073c908263ffffffff6107cb16565b6001600160a01b038085166000908152602081905260408082209390935590841681522054610771908263ffffffff6107e016565b6001600160a01b038084166000818152602081815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b6000828211156107da57600080fd5b50900390565b6000828201838110156107f257600080fd5b939250505056fea165627a7a72305820862abc8411942d4b1dc2aa18c23f3c5f8824021a54873004ea3eaa6843f73ec30029

0x608060405234801561001057600080fd5b50600436106100ea5760003560e01c806362a5af3b1161008c5780638da5cb5b116100665780638da5cb5b1461028057806395d89b41146102a4578063a9059cbb146102ac578063dd62ed3e146102d8576100ea565b806362a5af3b1461024a5780636a28f0001461025257806370a082311461025a576100ea565b80631815c208116100c85780631815c208146101b457806318160ddd146101dc57806323b872dd146101f6578063313ce5671461022c576100ea565b8063054f7d9c146100ef57806306fdde031461010b578063095ea7b314610188575b600080fd5b6100f7610306565b604080519115158252519081900360200190f35b610113610316565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561014d578181015183820152602001610135565b50505050905090810190601f16801561017a5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6100f76004803603604081101561019e57600080fd5b506001600160a01b0381351690602001356103ac565b6101da600480360360208110156101ca57600080fd5b50356001600160a01b031661043d565b005b6101e46104ea565b60408051918252519081900360200190f35b6100f76004803603606081101561020c57600080fd5b506001600160a01b038135811691602081013590911690604001356104f0565b61023461057c565b6040805160ff9092168252519081900360200190f35b6101da610585565b6101da6105c8565b6101e46004803603602081101561027057600080fd5b50356001600160a01b0316610605565b610288610620565b604080516001600160a01b039092168252519081900360200190f35b610113610634565b6100f7600480360360408110156102c257600080fd5b506001600160a01b038135169060200135610695565b6101e4600480360360408110156102ee57600080fd5b506001600160a01b03813581169160200135166106c0565b600554600160a81b900460ff1681565b60038054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156103a25780601f10610377576101008083540402835291602001916103a2565b820191906000526020600020905b81548152906001019060200180831161038557829003601f168201915b5050505050905090565b600554600090600160a81b900460ff16156103c357fe5b6001600160a01b0383166103d657600080fd5b3360008181526001602090815260408083206001600160a01b03881680855290835292819020869055805186815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a350600192915050565b60055461010090046001600160a01b0316331461045957600080fd5b6001600160a01b03811661046c57600080fd5b6005546040516001600160a01b0380841692610100900416907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a3600580546001600160a01b03909216610100027fffffffffffffffffffffff0000000000000000000000000000000000000000ff909216919091179055565b60025490565b600554600090600160a81b900460ff161561050757fe5b6105128484846106eb565b6001600160a01b03808516600090815260016020908152604080832093871683529290522054610548908363ffffffff6107cb16565b6001600160a01b03808616600090815260016020818152604080842094891684529390529190209190915590509392505050565b60055460ff1690565b60055461010090046001600160a01b031633146105a157600080fd5b6005805475ff0000000000000000000000000000000000000000001916600160a81b179055565b60055461010090046001600160a01b031633146105e457600080fd5b6005805475ff00000000000000000000000000000000000000000019169055565b6001600160a01b031660009081526020819052604090205490565b60055461010090046001600160a01b031681565b60048054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156103a25780601f10610377576101008083540402835291602001916103a2565b600554600090600160a81b900460ff16156106ac57fe5b6106b73384846106eb565b50600192915050565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b6106f483610605565b81111561070057600080fd5b6001600160a01b03821661071357600080fd5b6001600160a01b03831660009081526020819052604090205461073c908263ffffffff6107cb16565b6001600160a01b038085166000908152602081905260408082209390935590841681522054610771908263ffffffff6107e016565b6001600160a01b038084166000818152602081815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b6000828211156107da57600080fd5b50900390565b6000828201838110156107f257600080fd5b939250505056fea165627a7a72305820862abc8411942d4b1dc2aa18c23f3c5f8824021a54873004ea3eaa6843f73ec30029

2686:2846:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2686:2846:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3183:18;;;:::i;:::-;;;;;;;;;;;;;;;;;;3533:83;;;:::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;3533:83:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3810:263;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;3810:263:0;;;;;;;;:::i;5188:188::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;5188:188:0;-1:-1:-1;;;;;5188:188:0;;:::i;:::-;;4799:91;;;:::i;:::-;;;;;;;;;;;;;;;;4245:236;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;4245:236:0;;;;;;;;;;;;;;;;;:::i;3719:83::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;5384:67;;;:::i;5459:70::-;;;:::i;5041:107::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;5041:107:0;-1:-1:-1;;;;;5041:107:0;;:::i;3154:20::-;;;:::i;:::-;;;;-1:-1:-1;;;;;3154:20:0;;;;;;;;;;;;;;3624:87;;;:::i;4081:156::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;4081:156:0;;;;;;;;:::i;4898:135::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;4898:135:0;;;;;;;;;;:::i;3183:18::-;;;-1:-1:-1;;;3183:18:0;;;;;:::o;3533:83::-;3603:5;3596:12;;;;;;;;-1:-1:-1;;3596:12:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3570:13;;3596:12;;3603:5;;3596:12;;3603:5;3596:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3533:83;:::o;3810:263::-;3336:6;;3889:4;;-1:-1:-1;;;3336:6:0;;;;3335:7;3328:15;;;;-1:-1:-1;;;;;3914:22:0;;3906:31;;;;;;3959:10;3950:20;;;;:8;:20;;;;;;;;-1:-1:-1;;;;;3950:30:0;;;;;;;;;;;;:39;;;4005:38;;;;;;;3950:30;;3959:10;4005:38;;;;;;;;;;;-1:-1:-1;4061:4:0;3810:263;;;;:::o;5188:188::-;3262:5;;;;;-1:-1:-1;;;;;3262:5:0;3248:10;:19;3240:28;;;;;;-1:-1:-1;;;;;5265:22:0;;5257:31;;;;;;5325:5;;5304:37;;-1:-1:-1;;;;;5304:37:0;;;;5325:5;;;;;5304:37;;;;;5352:5;:16;;-1:-1:-1;;;;;5352:16:0;;;;;;;;;;;;;;;5188:188::o;4799:91::-;4870:12;;4799:91;:::o;4245:236::-;3336:6;;4339:4;;-1:-1:-1;;;3336:6:0;;;;3335:7;3328:15;;;;4356:29;4366:5;4373:3;4378:6;4356:9;:29::i;:::-;-1:-1:-1;;;;;4419:15:0;;;;;;;:8;:15;;;;;;;;:20;;;;;;;;;;:32;;4444:6;4419:32;:24;:32;:::i;:::-;-1:-1:-1;;;;;4396:15:0;;;;;;;:8;:15;;;;;;;;:20;;;;;;;;;;;:55;;;;:8;-1:-1:-1;4245:236:0;;;;;:::o;3719:83::-;3785:9;;;;3719:83;:::o;5384:67::-;3262:5;;;;;-1:-1:-1;;;;;3262:5:0;3248:10;:19;3240:28;;;;;;5430:6;:13;;-1:-1:-1;;5430:13:0;-1:-1:-1;;;5430:13:0;;;5384:67::o;5459:70::-;3262:5;;;;;-1:-1:-1;;;;;3262:5:0;3248:10;:19;3240:28;;;;;;5507:6;:14;;-1:-1:-1;;5507:14:0;;;5459:70::o;5041:107::-;-1:-1:-1;;;;;5124:16:0;5097:7;5124:16;;;;;;;;;;;;5041:107::o;3154:20::-;;;;;;-1:-1:-1;;;;;3154:20:0;;:::o;3624:87::-;3696:7;3689:14;;;;;;;;-1:-1:-1;;3689:14:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3663:13;;3689:14;;3696:7;;3689:14;;3696:7;3689:14;;;;;;;;;;;;;;;;;;;;;;;;4081:156;3336:6;;4156:4;;-1:-1:-1;;;3336:6:0;;;;3335:7;3328:15;;;;4173:34;4183:10;4195:3;4200:6;4173:9;:34::i;:::-;-1:-1:-1;4225:4:0;4081:156;;;;:::o;4898:135::-;-1:-1:-1;;;;;4999:16:0;;;4972:7;4999:16;;;:8;:16;;;;;;;;:26;;;;;;;;;;;;;4898:135::o;4489:302::-;4586:15;4596:4;4586:9;:15::i;:::-;4577:5;:24;;4569:33;;;;;;-1:-1:-1;;;;;4621:16:0;;4613:25;;;;;;-1:-1:-1;;;;;4668:14:0;;:8;:14;;;;;;;;;;;:25;;4687:5;4668:25;:18;:25;:::i;:::-;-1:-1:-1;;;;;4651:14:0;;;:8;:14;;;;;;;;;;;:42;;;;4719:12;;;;;;;:23;;4736:5;4719:23;:16;:23;:::i;:::-;-1:-1:-1;;;;;4704:12:0;;;:8;:12;;;;;;;;;;;;:38;;;;4758:25;;;;;;;4704:12;;4758:25;;;;;;;;;;;;;4489:302;;;:::o;1250:150::-;1308:7;1341:1;1336;:6;;1328:15;;;;;;-1:-1:-1;1366:5:0;;;1250:150::o;1488:::-;1546:7;1578:5;;;1602:6;;;;1594:15;;;;;;1629:1;1488:150;-1:-1:-1;;;1488:150:0:o

bzzr://862abc8411942d4b1dc2aa18c23f3c5f8824021a54873004ea3eaa6843f73ec3