user=vaughan [2011-08-26 00:42:52] 1959*2^743753-1 is not prime. Res64: 3A11BDCDEE83F06F Time : 6097.0 sec. user=vaughan [2011-08-26 02:24:41] 1421*2^743754-1 is not prime. Res64: 41521DE085C00FC0 Time : 6109.0 sec. user=vaughan [2011-08-26 04:10:14] 1445*2^743754-1 is not prime. Res64: 06C8D99B528DFB66 Time : 6334.0 sec. user=vaughan [2011-08-26 05:52:48] 1487*2^743754-1 is not prime. Res64: A9308EF17F7A471A Time : 6154.0 sec. user=vaughan [2011-08-26 07:34:44] 1545*2^743754-1 is not prime. Res64: 0EB3DA2626F08961 Time : 6116.0 sec. user=vaughan [2011-08-26 09:16:31] 1551*2^743754-1 is not prime. Res64: 703DF114C10A4276 Time : 6107.0 sec. user=vaughan [2011-08-26 10:58:37] 1595*2^743754-1 is not prime. Res64: FAA45724727D1F15 Time : 6127.0 sec. user=vaughan [2011-08-26 12:40:33] 1605*2^743754-1 is not prime. Res64: 236476280330F268 Time : 6117.0 sec. user=vaughan [2011-08-26 14:22:23] 1613*2^743754-1 is not prime. Res64: 231A339A70F9FDE0 Time : 6111.0 sec. user=vaughan [2011-08-26 16:04:12] 1701*2^743754-1 is not prime. Res64: 1C1A41421FFA71BE Time : 6109.0 sec. user=vaughan [2011-08-26 17:45:56] 1851*2^743754-1 is not prime. Res64: 850B09CDDDE01FBA Time : 6105.0 sec. user=vaughan [2011-08-26 19:27:41] 1935*2^743754-1 is not prime. Res64: AA2D4330AFCBFEEE Time : 6105.0 sec. user=vaughan [2011-08-26 21:10:11] 1943*2^743754-1 is not prime. Res64: D1DD9FCF3E945A25 Time : 6150.0 sec. user=vaughan [2011-08-26 22:52:41] 1953*2^743754-1 is not prime. Res64: B4DF4E59C17A0939 Time : 6151.0 sec.