user=vaughan
[2011-09-20 00:14:05]
1857*2^743797-1 is not prime.  Res64: 3BB00755B1BE5C4D  Time : 6098.0 sec.
user=vaughan
[2011-09-20 01:55:39]
1945*2^743797-1 is not prime.  Res64: 62271BF66BD18BCE  Time : 6094.0 sec.
user=vaughan
[2011-09-20 03:37:30]
1413*2^743798-1 is not prime.  Res64: 6BD85E70E3C620E3  Time : 6112.0 sec.
user=vaughan
[2011-09-20 05:20:19]
1475*2^743798-1 is not prime.  Res64: 93DD167DE026DF33  Time : 6169.0 sec.
user=vaughan
[2011-09-20 07:01:55]
1485*2^743798-1 is not prime.  Res64: 08E27D87DB64D0AF  Time : 6096.0 sec.
user=vaughan
[2011-09-20 08:43:25]
1617*2^743798-1 is not prime.  Res64: 70A9BCA698155A61  Time : 6091.0 sec.
user=vaughan
[2011-09-20 10:24:53]
1641*2^743798-1 is not prime.  Res64: 3A2CE8ED514D4888  Time : 6088.0 sec.
user=vaughan
[2011-09-20 12:06:24]
1901*2^743798-1 is not prime.  Res64: EFFA1B4799C4E709  Time : 6091.0 sec.
user=vaughan
[2011-09-20 13:47:47]
1965*2^743798-1 is not prime.  Res64: 528ECD1DC0961241  Time : 6083.0 sec.
user=vaughan
[2011-09-20 15:29:23]
1441*2^743799-1 is not prime.  Res64: 10D15FF72CC3461F  Time : 6096.0 sec.
user=vaughan
[2011-09-20 17:10:52]
1473*2^743799-1 is not prime.  Res64: 21A8C6D184145859  Time : 6090.0 sec.
user=vaughan
[2011-09-20 18:52:47]
1491*2^743799-1 is not prime.  Res64: CB791F4AF1C0C295  Time : 6115.0 sec.
user=vaughan
[2011-09-20 20:34:18]
1615*2^743799-1 is not prime.  Res64: 055C3FB696EF19A2  Time : 6091.0 sec.
user=vaughan
[2011-09-20 22:16:03]
1689*2^743799-1 is not prime.  Res64: ACC2D32D6FAB83C9  Time : 6105.0 sec.
user=vaughan
[2011-09-20 23:57:57]
1749*2^743799-1 is not prime.  Res64: B4D3C40F997675DC  Time : 6114.0 sec.