user=vaughan
[2011-09-05 01:34:37]
1485*2^743770-1 is not prime.  Res64: 6BE48877DDFA6497  Time : 6060.0 sec.
user=vaughan
[2011-09-05 03:15:44]
1493*2^743770-1 is not prime.  Res64: BB58D857695C3F57  Time : 6067.0 sec.
user=vaughan
[2011-09-05 04:58:45]
1511*2^743770-1 is not prime.  Res64: 2DE2936D300BBBD5  Time : 6181.0 sec.
user=vaughan
[2011-09-05 06:40:05]
1535*2^743770-1 is not prime.  Res64: DE096F27614246B0  Time : 6080.0 sec.
user=vaughan
[2011-09-05 08:21:08]
1595*2^743770-1 is not prime.  Res64: DEA678A47EC313A9  Time : 6063.0 sec.
user=vaughan
[2011-09-05 10:02:36]
1685*2^743770-1 is not prime.  Res64: A7477841A5DD55CB  Time : 6089.0 sec.
user=vaughan
[2011-09-05 11:43:39]
1821*2^743770-1 is not prime.  Res64: C6381CBF0AEA9FB2  Time : 6063.0 sec.
user=vaughan
[2011-09-05 13:24:41]
1851*2^743770-1 is not prime.  Res64: 700C053983C7E080  Time : 6062.0 sec.
user=vaughan
[2011-09-05 15:05:38]
1925*2^743770-1 is not prime.  Res64: 634207681DFBEA6C  Time : 6058.0 sec.
user=vaughan
[2011-09-05 16:46:37]
1983*2^743770-1 is not prime.  Res64: E8F4A5E3EE9D89C5  Time : 6059.0 sec.
user=vaughan
[2011-09-05 18:27:48]
1483*2^743771-1 is not prime.  Res64: E8AB375A76CD3C4F  Time : 6072.0 sec.
user=vaughan
[2011-09-05 20:08:50]
1533*2^743771-1 is not prime.  Res64: A8023DF81A2F5A81  Time : 6062.0 sec.
user=vaughan
[2011-09-05 21:50:01]
1603*2^743771-1 is not prime.  Res64: 8897786E9AEFF7AE  Time : 6072.0 sec.
user=vaughan
[2011-09-05 23:31:30]
1695*2^743771-1 is not prime.  Res64: 9BB6A52849F80C6E  Time : 6089.0 sec.