user=vaughan
[2011-09-16 00:37:26]
1679*2^743788-1 is not prime.  Res64: CDB67AA60F4DED3D  Time : 6149.0 sec.
user=vaughan
[2011-09-16 02:19:49]
1893*2^743788-1 is not prime.  Res64: DB4123BB7665631C  Time : 6143.0 sec.
user=vaughan
[2011-09-16 04:01:54]
1425*2^743789-1 is not prime.  Res64: ACA28CE86DE0BD01  Time : 6125.0 sec.
user=vaughan
[2011-09-16 05:44:02]
1461*2^743789-1 is not prime.  Res64: C110F9DDA160853D  Time : 6129.0 sec.
user=vaughan
[2011-09-16 07:26:17]
1489*2^743789-1 is not prime.  Res64: 043478D567C387C3  Time : 6135.0 sec.
user=vaughan
[2011-09-16 09:08:50]
1561*2^743789-1 is not prime.  Res64: 2EBEE34E13A2381A  Time : 6153.0 sec.
user=vaughan
[2011-09-16 10:51:13]
1587*2^743789-1 is not prime.  Res64: 6689BBAFEC5EE7BD  Time : 6144.0 sec.
user=vaughan
[2011-09-16 12:34:07]
1741*2^743789-1 is not prime.  Res64: 220B474BE88C4329  Time : 6175.0 sec.
user=vaughan
[2011-09-16 14:16:50]
1747*2^743789-1 is not prime.  Res64: BB088EE410EBA2B8  Time : 6164.0 sec.
user=vaughan
[2011-09-16 15:59:37]
1755*2^743789-1 is not prime.  Res64: 58E9EBA44A8546C2  Time : 6168.0 sec.
user=vaughan
[2011-09-16 17:42:22]
1785*2^743789-1 is not prime.  Res64: 88D56DC661DF1501  Time : 6166.0 sec.
user=vaughan
[2011-09-16 19:25:09]
1791*2^743789-1 is not prime.  Res64: 144223B01D7E28E2  Time : 6168.0 sec.
user=vaughan
[2011-09-16 21:08:36]
1821*2^743789-1 is not prime.  Res64: 037406F2A567E505  Time : 6207.0 sec.
user=vaughan
[2011-09-16 22:51:17]
1939*2^743789-1 is not prime.  Res64: AF4BDD67873B0465  Time : 6161.0 sec.