user=vaughan
[2011-12-03 00:25:44]
1767*2^743904-1 is not prime.  Res64: 5C25DCFD086E88E0  Time : 8834.0 sec.
user=vaughan
[2011-12-03 02:54:21]
1815*2^743904-1 is not prime.  Res64: 43EA24BA54BC7FC8  Time : 8917.0 sec.
user=vaughan
[2011-12-03 05:21:40]
1507*2^743905-1 is not prime.  Res64: F81EF81F4FA14247  Time : 8839.0 sec.
user=vaughan
[2011-12-03 07:50:28]
1519*2^743905-1 is not prime.  Res64: 52F912136D7B96F6  Time : 8929.0 sec.
user=vaughan
[2011-12-03 10:17:36]
1555*2^743905-1 is not prime.  Res64: 2D54E04D922FB4CF  Time : 8829.0 sec.
user=vaughan
[2011-12-03 12:45:59]
1897*2^743905-1 is not prime.  Res64: 607EFE2164486CF0  Time : 8903.0 sec.
user=vaughan
[2011-12-03 15:13:10]
1911*2^743905-1 is not prime.  Res64: B5D05087855BBFE1  Time : 8832.0 sec.
user=vaughan
[2011-12-03 17:41:00]
1927*2^743905-1 is not prime.  Res64: C150D31FB047E89B  Time : 8870.0 sec.
user=vaughan
[2011-12-03 20:08:55]
1941*2^743905-1 is not prime.  Res64: 375A992F82D3A2FA  Time : 8875.0 sec.
user=vaughan
[2011-12-03 22:37:03]
1433*2^743906-1 is not prime.  Res64: A4243FE95FABA44B  Time : 8888.0 sec.