user=vaughan
[2011-10-11 00:28:02]
1555*2^743827-1 is not prime.  Res64: EF4162E370C1EBB0  Time : 8951.0 sec.
user=vaughan
[2011-10-11 02:59:41]
1725*2^743826-1 is not prime.  Res64: 39C027EAFF20398D  Time : 9099.0 sec.
user=vaughan
[2011-10-11 05:30:32]
1913*2^743826-1 is not prime.  Res64: B9705BA3AF630E49  Time : 9052.0 sec.
user=vaughan
[2011-10-11 08:01:12]
1479*2^743827-1 is not prime.  Res64: 26E54247255F4469  Time : 9041.0 sec.
user=vaughan
[2011-10-11 10:30:46]
1629*2^743827-1 is not prime.  Res64: 8CBBB63BEB42AFF3  Time : 8974.0 sec.
user=vaughan
[2011-10-11 13:00:19]
1689*2^743827-1 is not prime.  Res64: 88E8CD3648AB8793  Time : 8973.0 sec.
user=vaughan
[2011-10-11 15:28:59]
1743*2^743827-1 is not prime.  Res64: 932198FFF7A1237B  Time : 8920.0 sec.
user=vaughan
[2011-10-11 20:40:53]
1809*2^743827-1 is not prime.  Res64: 00B52EF9BCF7743E  Time : 18714.0 sec.
user=vaughan
[2011-10-11 23:10:13]
1843*2^743827-1 is not prime.  Res64: 951453BA87206208  Time : 8961.0 sec.