user=vaughan
[2011-09-25 00:36:44]
1455*2^743806-1 is not prime.  Res64: 75D35C900E14259E  Time : 6083.0 sec.
user=vaughan
[2011-09-25 02:18:05]
1515*2^743806-1 is not prime.  Res64: D18052CA10B246B4  Time : 6081.0 sec.
user=vaughan
[2011-09-25 03:59:58]
1571*2^743806-1 is not prime.  Res64: 86F86CA65BCF39CC  Time : 6113.0 sec.
user=vaughan
[2011-09-25 05:41:24]
1661*2^743806-1 is not prime.  Res64: B6BC34ECC0332312  Time : 6086.0 sec.
user=vaughan
[2011-09-25 07:22:55]
1725*2^743806-1 is not prime.  Res64: 58989D445A09F3F1  Time : 6092.0 sec.
user=vaughan
[2011-09-25 09:04:45]
1841*2^743806-1 is not prime.  Res64: 8B9121EF8755A6F8  Time : 6110.0 sec.
user=vaughan
[2011-09-25 10:46:26]
1905*2^743806-1 is not prime.  Res64: 5E144A5AAA97F80D  Time : 6101.0 sec.
user=vaughan
[2011-09-25 12:28:11]
1977*2^743806-1 is not prime.  Res64: 7A7C95CF3233AFB1  Time : 6105.0 sec.
user=vaughan
[2011-09-25 14:09:41]
1991*2^743806-1 is not prime.  Res64: F79D31537432B8FD  Time : 6091.0 sec.
user=vaughan
[2011-09-25 15:51:21]
1995*2^743806-1 is not prime.  Res64: 222757DC8B47E742  Time : 6100.0 sec.
user=vaughan
[2011-09-25 17:33:06]
1997*2^743806-1 is not prime.  Res64: 6EF374C267D51C32  Time : 6106.0 sec.
user=vaughan
[2011-09-25 19:14:50]
1483*2^743807-1 is not prime.  Res64: B3D2C9594D6F5707  Time : 6105.0 sec.
user=vaughan
[2011-09-25 20:56:29]
1489*2^743807-1 is not prime.  Res64: A573DEE70D4B7C29  Time : 6099.0 sec.
user=vaughan
[2011-09-25 22:37:54]
1495*2^743807-1 is not prime.  Res64: E443E2EDF61B2717  Time : 6085.0 sec.