user=vaughan
[2011-11-30 00:53:17]
1877*2^743900-1 is not prime.  Res64: F934FAFEAE042C03  Time : 8849.0 sec.
user=vaughan
[2011-11-30 03:22:04]
1929*2^743900-1 is not prime.  Res64: 9A162B4B6E5A086D  Time : 8928.0 sec.
user=vaughan
[2011-11-30 05:49:26]
1943*2^743900-1 is not prime.  Res64: 72A2BDF0586AAFD0  Time : 8843.0 sec.
user=vaughan
[2011-11-30 08:17:54]
1455*2^743901-1 is not prime.  Res64: FBA16BEBD337914F  Time : 8909.0 sec.
user=vaughan
[2011-11-30 10:45:18]
1605*2^743901-1 is not prime.  Res64: 3CE673CC52CA445D  Time : 8844.0 sec.
user=vaughan
[2011-11-30 13:13:40]
1629*2^743901-1 is not prime.  Res64: E0CC30B155136EEC  Time : 8902.0 sec.
user=vaughan
[2011-11-30 15:40:57]
1701*2^743901-1 is not prime.  Res64: B2839D36EF232F0F  Time : 8839.0 sec.
user=vaughan
[2011-11-30 18:09:21]
1791*2^743901-1 is not prime.  Res64: C554F50FEE499F14  Time : 8904.0 sec.
user=vaughan
[2011-11-30 20:36:52]
1809*2^743901-1 is not prime.  Res64: 2F317B1EDD7B7999  Time : 8851.0 sec.
user=vaughan
[2011-11-30 23:05:20]
1855*2^743901-1 is not prime.  Res64: 15986E1F9FC67127  Time : 8908.0 sec.