user=vaughan
[2011-09-24 00:54:24]
1437*2^743805-1 is not prime.  Res64: D162229BF21AE0C0  Time : 6115.0 sec.
user=vaughan
[2011-09-24 02:36:02]
1441*2^743805-1 is not prime.  Res64: 5FFFFC3523FA8AD2  Time : 6098.0 sec.
user=vaughan
[2011-09-24 04:17:31]
1525*2^743805-1 is not prime.  Res64: 17DD0FE1546BD351  Time : 6089.0 sec.
user=vaughan
[2011-09-24 05:59:11]
1531*2^743805-1 is not prime.  Res64: 874DCEA36882E82A  Time : 6100.0 sec.
user=vaughan
[2011-09-24 07:40:43]
1699*2^743805-1 is not prime.  Res64: 1000FA13ED037975  Time : 6092.0 sec.
user=vaughan
[2011-09-24 09:22:14]
1831*2^743805-1 is not prime.  Res64: B4735D080F3FBF2F  Time : 6092.0 sec.
user=vaughan
[2011-09-24 11:03:37]
1837*2^743805-1 is not prime.  Res64: 188A1B1D94BEF8AB  Time : 6084.0 sec.
user=vaughan
[2011-09-24 12:45:17]
1845*2^743805-1 is not prime.  Res64: 96DDF926DB3B2562  Time : 6100.0 sec.
user=vaughan
[2011-09-24 14:26:56]
1911*2^743805-1 is not prime.  Res64: 5D644CBCED9CC49D  Time : 6099.0 sec.
user=vaughan
[2011-09-24 16:08:39]
1915*2^743805-1 is not prime.  Res64: EE8F75E5DAD6B967  Time : 6104.0 sec.
user=vaughan
[2011-09-24 17:50:36]
1959*2^743805-1 is not prime.  Res64: C95B6DBC51DAB4EE  Time : 6117.0 sec.
user=vaughan
[2011-09-24 19:32:28]
1431*2^743806-1 is not prime.  Res64: B0A469D2888C492F  Time : 6112.0 sec.
user=vaughan
[2011-09-24 21:13:57]
1445*2^743806-1 is not prime.  Res64: 2D076F988CFB4827  Time : 6090.0 sec.
user=vaughan
[2011-09-24 22:55:21]
1451*2^743806-1 is not prime.  Res64: 5C3744EFCDC2954F  Time : 6084.0 sec.