user=vaughan
[2011-12-06 00:07:33]
1407*2^743908-1 is not prime.  Res64: 4E7615ED450E9187  Time : 8858.0 sec.
user=vaughan
[2011-12-06 02:36:28]
1527*2^743908-1 is not prime.  Res64: 19AC75B189525407  Time : 8935.0 sec.
user=vaughan
[2011-12-06 05:04:20]
1587*2^743908-1 is not prime.  Res64: 7AF481B79654D200  Time : 8872.0 sec.
user=vaughan
[2011-12-06 07:32:52]
1605*2^743908-1 is not prime.  Res64: EDDD077699284D98  Time : 8912.0 sec.
user=vaughan
[2011-12-06 10:00:26]
1613*2^743908-1 is not prime.  Res64: F7282E062A36510D  Time : 8855.0 sec.
user=vaughan
[2011-12-06 12:28:49]
1617*2^743908-1 is not prime.  Res64: 62DEC63A7D1323E7  Time : 8904.0 sec.
user=vaughan
[2011-12-06 14:56:07]
1655*2^743908-1 is not prime.  Res64: E8079680CBBFA052  Time : 8838.0 sec.
user=vaughan
[2011-12-06 17:24:16]
1949*2^743908-1 is not prime.  Res64: 5C8BC65D8AF70143  Time : 8889.0 sec.
user=vaughan
[2011-12-06 19:51:31]
1471*2^743909-1 is not prime.  Res64: 51C5E61250AAB078  Time : 8836.0 sec.
user=vaughan
[2011-12-06 22:19:44]
1527*2^743909-1 is not prime.  Res64: AEDD0AEA8110C524  Time : 8893.0 sec.