user=vaughan
[2011-08-25 00:48:23]
1427*2^743752-1 is not prime.  Res64: B42CAE7E7534C19B  Time : 6112.0 sec.
user=vaughan
[2011-08-25 02:34:45]
1475*2^743752-1 is not prime.  Res64: 8952B41E6236892E  Time : 6382.0 sec.
user=vaughan
[2011-08-25 04:16:31]
1535*2^743752-1 is not prime.  Res64: 2D11C84290513452  Time : 6106.0 sec.
user=vaughan
[2011-08-25 06:02:11]
1617*2^743752-1 is not prime.  Res64: 9C59C6595ADB1D97  Time : 6340.0 sec.
user=vaughan
[2011-08-25 07:43:59]
1739*2^743752-1 is not prime.  Res64: D935C31099AA3391  Time : 6108.0 sec.
user=vaughan
[2011-08-25 09:25:46]
1799*2^743752-1 is not prime.  Res64: C5A1E7719853FEF9  Time : 6108.0 sec.
user=vaughan
[2011-08-25 11:08:02]
1853*2^743752-1 is not prime.  Res64: 9527400494FC3D4B  Time : 6137.0 sec.
user=vaughan
[2011-08-25 12:49:45]
1869*2^743752-1 is not prime.  Res64: 119556029CCDAA49  Time : 6103.0 sec.
user=vaughan
[2011-08-25 14:31:23]
1417*2^743753-1 is not prime.  Res64: 726895D4CF611CF5  Time : 6098.0 sec.
user=vaughan
[2011-08-25 16:13:17]
1435*2^743753-1 is not prime.  Res64: 8E0CE57A9C5D111D  Time : 6114.0 sec.
user=vaughan
[2011-08-25 17:55:17]
1527*2^743753-1 is not prime.  Res64: 6232BAAE82D9AB3D  Time : 6120.0 sec.
user=vaughan
[2011-08-25 19:37:06]
1699*2^743753-1 is not prime.  Res64: 4665C44799BB98F7  Time : 6110.0 sec.
user=vaughan
[2011-08-25 21:18:55]
1755*2^743753-1 is not prime.  Res64: A82F92742A5759E1  Time : 6109.0 sec.
user=vaughan
[2011-08-25 23:01:15]
1791*2^743753-1 is not prime.  Res64: 7F214A7D516F50C8  Time : 6140.0 sec.