library SMSLIB {
    /**
     * Divide with safety check
     */
    function safeDiv(uint a, uint b) pure internal returns(uint) {
        //overflow check; b must not be 0
        assert(b > 0);
        uint c = a / b;
        assert(a == b * c + a % b);
        return c;
    }
}
/**
 SMSCoin is a token implementation for Speed Mining Service (SMS) project.
 We are aim to issue the SMS tokens to give the privilege to the closed group of investors,
 as then they will be able to receive the devidends from our mining farm in Hokkaido and the other countries as well.
 
 Our cloudsale starts from 27 October 2017, 14:00 (JST) with the different bonus ratio based on the number of token and the sale period.
 
 SMS coin team,
 https://smscoin.jp
 https://github.com/Speed-Mining/SMSCoin
 https://etherscan.io/address/0x39013f961c378f02c2b82a6e1d31e9812786fd9d
 */
function safeDiv(uint a, uint b) pure internal returns(uint) {
    //overflow check; b must not be 0
    assert(b > 0);
    uint c = a / b;
    assert(a == b * c + a % b);
    return c;
}

/**
 * Divide with safety check
 */