user=vaughan
[2011-11-24 01:21:36]
1995*2^743893-1 is not prime.  Res64: F2F054A6FABA5E40  Time : 8791.0 sec.
user=vaughan
[2011-11-24 03:49:20]
1445*2^743894-1 is not prime.  Res64: A8C7686D9319EDA0  Time : 8864.0 sec.
user=vaughan
[2011-11-24 06:16:19]
1475*2^743894-1 is not prime.  Res64: AFFF1999804A1E03  Time : 8819.0 sec.
user=vaughan
[2011-11-24 08:43:40]
1547*2^743894-1 is not prime.  Res64: E3B62A21245A472D  Time : 8841.0 sec.
user=vaughan
[2011-11-24 11:10:18]
1631*2^743894-1 is not prime.  Res64: DDE48501899DA1A6  Time : 8798.0 sec.
user=vaughan
[2011-11-24 13:36:31]
1665*2^743894-1 is not prime.  Res64: 86771A2DF689C834  Time : 8773.0 sec.
user=vaughan
[2011-11-24 16:03:38]
1881*2^743894-1 is not prime.  Res64: 52FC0B97D5714236  Time : 8827.0 sec.
user=vaughan
[2011-11-24 18:30:30]
1887*2^743894-1 is not prime.  Res64: 9536E02D67749AFA  Time : 8812.0 sec.
user=vaughan
[2011-11-24 20:58:57]
1943*2^743894-1 is not prime.  Res64: C3AF541E6F546C7D  Time : 8907.0 sec.
user=vaughan
[2011-11-24 23:26:58]
1985*2^743894-1 is not prime.  Res64: BC09DDF2C8EBA3C5  Time : 8881.0 sec.