user=vaughan
[2011-11-23 00:52:24]
1659*2^743892-1 is not prime.  Res64: 74A4E6B69460B3BD  Time : 8819.0 sec.
user=vaughan
[2011-11-23 03:19:42]
1725*2^743892-1 is not prime.  Res64: 8C35D958B04C33AC  Time : 8838.0 sec.
user=vaughan
[2011-11-23 05:46:14]
1943*2^743892-1 is not prime.  Res64: 3FFB23453DE4C750  Time : 8792.0 sec.
user=vaughan
[2011-11-23 08:13:35]
1401*2^743893-1 is not prime.  Res64: 4DC73504EC906190  Time : 8841.0 sec.
user=vaughan
[2011-11-23 10:40:08]
1477*2^743893-1 is not prime.  Res64: BB183DD1335A8B64  Time : 8793.0 sec.
user=vaughan
[2011-11-23 13:07:13]
1491*2^743893-1 is not prime.  Res64: 0042A4AF23A493E6  Time : 8825.0 sec.
user=vaughan
[2011-11-23 15:34:06]
1597*2^743893-1 is not prime.  Res64: 4FC758F83DFE0F4E  Time : 8813.0 sec.
user=vaughan
[2011-11-23 18:00:53]
1609*2^743893-1 is not prime.  Res64: 2A994B3732AACF48  Time : 8807.0 sec.
user=vaughan
[2011-11-23 20:27:44]
1699*2^743893-1 is not prime.  Res64: 87CDB213FB61B7BB  Time : 8812.0 sec.
user=vaughan
[2011-11-23 22:55:05]
1825*2^743893-1 is not prime.  Res64: 80F0C73E4EED3C99  Time : 8841.0 sec.