user=vaughan
[2011-09-19 00:02:54]
1895*2^743796-1 is not prime.  Res64: 8F596C530C98A353  Time : 6119.0 sec.
user=vaughan
[2011-09-19 01:44:41]
1949*2^743796-1 is not prime.  Res64: EB94E7092B980963  Time : 6107.0 sec.
user=vaughan
[2011-09-19 03:26:40]
1965*2^743796-1 is not prime.  Res64: D3B70C86738C402F  Time : 6119.0 sec.
user=vaughan
[2011-09-19 05:08:37]
1979*2^743796-1 is not prime.  Res64: A5DAAF37888D5E2B  Time : 6117.0 sec.
user=vaughan
[2011-09-19 06:52:07]
1997*2^743796-1 is not prime.  Res64: 7C4255BF35E2964D  Time : 6210.0 sec.
user=vaughan
[2011-09-19 08:34:19]
1417*2^743797-1 is not prime.  Res64: 5DE57A09399CFCC5  Time : 6132.0 sec.
user=vaughan
[2011-09-19 14:03:04]
1459*2^743797-1 is not prime.  Res64: 1818C0090D7CDAC5  Time : 19725.0 sec.
user=vaughan
[2011-09-19 15:44:42]
1519*2^743797-1 is not prime.  Res64: 18B05E48AAACFE0D  Time : 6098.0 sec.
user=vaughan
[2011-09-19 17:27:47]
1575*2^743797-1 is not prime.  Res64: 28AB347B90FBDF07  Time : 6186.0 sec.
user=vaughan
[2011-09-19 19:09:08]
1609*2^743797-1 is not prime.  Res64: 0DA7D05D38354EAD  Time : 6081.0 sec.
user=vaughan
[2011-09-19 20:50:50]
1629*2^743797-1 is not prime.  Res64: A871F2B31A116F29  Time : 6103.0 sec.
user=vaughan
[2011-09-19 22:32:27]
1711*2^743797-1 is not prime.  Res64: A52BCC99A62E3028  Time : 6097.0 sec.