user=vaughan
[2011-12-05 01:56:00]
1967*2^743906-1 is not prime.  Res64: FC08469F2AC02FB1  Time : 8880.0 sec.
user=vaughan
[2011-12-05 04:23:40]
1995*2^743906-1 is not prime.  Res64: 987530779A8C89C8  Time : 8860.0 sec.
user=vaughan
[2011-12-05 06:52:09]
1623*2^743907-1 is not prime.  Res64: B1252B96872BDE4C  Time : 8909.0 sec.
user=vaughan
[2011-12-05 09:19:45]
1705*2^743907-1 is not prime.  Res64: A4461D6B0C5E5A04  Time : 8856.0 sec.
user=vaughan
[2011-12-05 11:48:10]
1789*2^743907-1 is not prime.  Res64: FEDCEB35C57B01ED  Time : 8905.0 sec.
user=vaughan
[2011-12-05 14:15:23]
1879*2^743907-1 is not prime.  Res64: BBCCD8A8116C2AFF  Time : 8833.0 sec.
user=vaughan
[2011-12-05 16:43:45]
1881*2^743907-1 is not prime.  Res64: 09C5CD502B461ECF  Time : 8902.0 sec.
user=vaughan
[2011-12-05 19:11:19]
1915*2^743907-1 is not prime.  Res64: 484DE6E55455F831  Time : 8854.0 sec.
user=vaughan
[2011-12-05 21:39:56]
1995*2^743907-1 is not prime.  Res64: 05FD8D3EE04CDB7E  Time : 8918.0 sec.