contract SafeMath
{
    //
    // Standard overflow / underflow proof basic maths library
    //
    
    function safeAdd(uint a, uint b) public pure returns (uint c)
    {
        c = a + b;
        require(c >= a);
    }

    function safeSub(uint a, uint b) public pure returns (uint c)
    {
        require(b <= a);
        c = a - b;
    }

    function safeMul(uint a, uint b) public pure returns (uint c)
    {
        c = a * b;
        require(a == 0 || c / a == b);
    }

    function safeDiv(uint a, uint b) public pure returns (uint c)
    {
        require(b > 0);
        c = a / b;
    }
}
//------------------------------------------------------------------------------------------------------------------
//
// ethbox Token
//
// Token symbol:    EBOX
// Token name:      ethbox Token
// 
// Total supply:    65.000.000 * 10^18
// Decimals:        18
//
//------------------------------------------------------------------------------------------------------------------
function safeAdd(uint a, uint b) public pure returns (uint c)
    {
        c = a + b;
        require(c >= a);
    }
//
// Standard overflow / underflow proof basic maths library
//