user=vaughan
[2011-09-07 00:51:22]
1673*2^743772-1 is not prime.  Res64: ABB3A2B724038462  Time : 6087.0 sec.
user=vaughan
[2011-09-07 02:32:35]
1683*2^743772-1 is not prime.  Res64: 75D3FBB8D15872C8  Time : 6074.0 sec.
user=vaughan
[2011-09-07 04:15:34]
1745*2^743772-1 is not prime.  Res64: DE91527205A5B0BF  Time : 6180.0 sec.
user=vaughan
[2011-09-07 05:57:10]
1887*2^743772-1 is not prime.  Res64: 9BFF28820753436E  Time : 6097.0 sec.
user=vaughan
[2011-09-07 07:38:20]
1501*2^743773-1 is not prime.  Res64: 5B96D4BF50B74B2A  Time : 6070.0 sec.
user=vaughan
[2011-09-07 09:19:43]
1519*2^743773-1 is not prime.  Res64: 558D2AEFF689F330  Time : 6084.0 sec.
user=vaughan
[2011-09-07 11:01:17]
1597*2^743773-1 is not prime.  Res64: 2A1BF487F6F19CEC  Time : 6094.0 sec.
user=vaughan
[2011-09-07 12:42:33]
1765*2^743773-1 is not prime.  Res64: 2257B7FB59CF4E38  Time : 6076.0 sec.
user=vaughan
[2011-09-07 14:23:39]
1791*2^743773-1 is not prime.  Res64: 4E1B9EF5D7BC77C2  Time : 6067.0 sec.
user=vaughan
[2011-09-07 16:04:48]
1797*2^743773-1 is not prime.  Res64: F1307D7445575E24  Time : 6069.0 sec.
user=vaughan
[2011-09-07 17:46:19]
1869*2^743773-1 is not prime.  Res64: 9A3E3D84EE5B1BB5  Time : 6091.0 sec.
user=vaughan
[2011-09-07 19:27:25]
1981*2^743773-1 is not prime.  Res64: BFAFD564D80500FA  Time : 6067.0 sec.
user=vaughan
[2011-09-07 21:08:31]
1445*2^743774-1 is not prime.  Res64: 90BC2935F4615B4F  Time : 6067.0 sec.
user=vaughan
[2011-09-07 22:50:06]
1485*2^743774-1 is not prime.  Res64: F6E82EF584CA94B7  Time : 6095.0 sec.