user=vaughan
[2009-11-06 01:15:33]
1697*2^664250-1 is not prime.  Res64: 44287CA2EDE7007A  Time : 6474.0 sec.
user=vaughan
[2009-11-06 03:04:28]
1727*2^664250-1 is not prime.  Res64: 43B169F0403D306A  Time : 6535.0 sec.
user=vaughan
[2009-11-06 04:53:34]
1763*2^664250-1 is not prime.  Res64: 26C007E899D21735  Time : 6546.0 sec.
user=vaughan
[2009-11-06 06:42:44]
1823*2^664250-1 is not prime.  Res64: 3B67F65B775C8F81  Time : 6550.0 sec.
user=vaughan
[2009-11-06 08:31:34]
1875*2^664250-1 is not prime.  Res64: DBB088B2B0CC04AF  Time : 6530.0 sec.
user=vaughan
[2009-11-06 10:20:32]
1877*2^664250-1 is not prime.  Res64: 3CF33573E1DBE865  Time : 6538.0 sec.
user=vaughan
[2009-11-06 12:09:12]
1925*2^664250-1 is not prime.  Res64: 644D543B0E0E1CAB  Time : 6520.0 sec.
user=vaughan
[2009-11-06 13:58:41]
1953*2^664250-1 is not prime.  Res64: 19E9FB9D69BADB5C  Time : 6569.0 sec.
user=vaughan
[2009-11-06 15:47:52]
1501*2^664251-1 is not prime.  Res64: ED2E62B5C224AC57  Time : 6551.0 sec.
user=vaughan
[2009-11-06 17:36:47]
1543*2^664251-1 is not prime.  Res64: 2BDAF9C817AF623B  Time : 6535.0 sec.
user=vaughan
[2009-11-06 19:25:18]
1609*2^664251-1 is not prime.  Res64: 83959EE322406BAF  Time : 6511.0 sec.
user=vaughan
[2009-11-06 21:13:52]
1615*2^664251-1 is not prime.  Res64: 27EF584ACFE81CF0  Time : 6514.0 sec.
user=vaughan
[2009-11-06 23:02:23]
1729*2^664251-1 is not prime.  Res64: A398BA696535223B  Time : 6511.0 sec.