user=vaughan
[2011-08-24 01:04:03]
1419*2^743751-1 is not prime.  Res64: 563FE860257ADC2B  Time : 6094.0 sec.
user=vaughan
[2011-08-24 02:45:54]
1449*2^743751-1 is not prime.  Res64: 5829A904A18A31C4  Time : 6112.0 sec.
user=vaughan
[2011-08-24 04:27:28]
1459*2^743751-1 is not prime.  Res64: 111B7CD6486524C5  Time : 6095.0 sec.
user=vaughan
[2011-08-24 06:09:07]
1495*2^743751-1 is not prime.  Res64: 7DCBF5CCACF47792  Time : 6100.0 sec.
user=vaughan
[2011-08-24 07:50:56]
1501*2^743751-1 is not prime.  Res64: 237B297C702B97E6  Time : 6109.0 sec.
user=vaughan
[2011-08-24 09:32:41]
1563*2^743751-1 is not prime.  Res64: 07F4A83302800E50  Time : 6105.0 sec.
user=vaughan
[2011-08-24 11:14:34]
1705*2^743751-1 is not prime.  Res64: 96EBAA22372DCD87  Time : 6113.0 sec.
user=vaughan
[2011-08-24 12:56:16]
1761*2^743751-1 is not prime.  Res64: F88E52F1E0F4FD48  Time : 6102.0 sec.
user=vaughan
[2011-08-24 14:38:03]
1789*2^743751-1 is not prime.  Res64: 7F1D06BF8691C716  Time : 6107.0 sec.
user=vaughan
[2011-08-24 16:19:43]
1813*2^743751-1 is not prime.  Res64: 22D500C66D42CD66  Time : 6100.0 sec.
user=vaughan
[2011-08-24 18:01:29]
1873*2^743751-1 is not prime.  Res64: 15F2C95D7B401009  Time : 6106.0 sec.
user=vaughan
[2011-08-24 19:43:07]
1911*2^743751-1 is not prime.  Res64: 1E0EDF085978653C  Time : 6099.0 sec.
user=vaughan
[2011-08-24 21:24:27]
1939*2^743751-1 is not prime.  Res64: D083C76A5EB4DDB9  Time : 6081.0 sec.
user=vaughan
[2011-08-24 23:06:31]
1971*2^743751-1 is not prime.  Res64: A7595735BB6E07C4  Time : 6124.0 sec.