File refactoring + created Bin

contracts/Bin/Kyber.sol

@@ -1,7 +1,18 @@
-pragma solidity 0.5.0;
+pragma solidity ^0.5.0;
 
 
-import "./safemath.sol";
+library SafeMath {
+    
+    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
+        if (a == 0) {
+            return 0;
+        }
+        uint256 c = a * b;
+        require(c / a == b, "Assertion Failed");
+        return c;
+    }
+
+}
 
 interface IERC20 {
     function balanceOf(address who) external view returns (uint256);

contracts/ProxyLogics/safemath.sol

@@ -1,32 +0,0 @@
-pragma solidity 0.5.0;
-
-
-library SafeMath {
-    
-    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
-        if (a == 0) {
-            return 0;
-        }
-        uint256 c = a * b;
-        require(c / a == b, "Assertion Failed");
-        return c;
-    }
-
-    function div(uint256 a, uint256 b) internal pure returns (uint256) {
-        require(b > 0, "Assertion Failed");
-        uint256 c = a / b;
-        return c;
-    }
-
-    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
-        assert(b <= a);
-        return a - b;
-    }
-
-    function add(uint256 a, uint256 b) internal pure returns (uint256) {
-        uint256 c = a + b;
-        assert(c >= a);
-        return c;
-    }
-
-}