user=vaughan
[2011-11-29 00:14:24]
1863*2^743899-1 is not prime.  Res64: 09430636A3104F1F  Time : 8907.0 sec.
user=vaughan
[2011-11-29 02:42:09]
1923*2^743899-1 is not prime.  Res64: 51BD43A419C44BFF  Time : 8866.0 sec.
user=vaughan
[2011-11-29 05:10:21]
1963*2^743899-1 is not prime.  Res64: EF8994B149595447  Time : 8892.0 sec.
user=vaughan
[2011-11-29 07:38:46]
1425*2^743900-1 is not prime.  Res64: E2D6464D0578C95C  Time : 8905.0 sec.
user=vaughan
[2011-11-29 10:07:30]
1467*2^743900-1 is not prime.  Res64: 7CCB67D1C1C5470B  Time : 8924.0 sec.
user=vaughan
[2011-11-29 12:35:06]
1575*2^743900-1 is not prime.  Res64: 0ACFFF1A64FE474C  Time : 8856.0 sec.
user=vaughan
[2011-11-29 15:02:11]
1655*2^743900-1 is not prime.  Res64: 5F2D58C9E2B8CF48  Time : 8825.0 sec.
user=vaughan
[2011-11-29 17:30:07]
1713*2^743900-1 is not prime.  Res64: 25DB212BF09B274B  Time : 8876.0 sec.
user=vaughan
[2011-11-29 19:57:23]
1715*2^743900-1 is not prime.  Res64: E6951AE5FD77FD18  Time : 8836.0 sec.
user=vaughan
[2011-11-29 22:25:48]
1743*2^743900-1 is not prime.  Res64: 8835088B00126E28  Time : 8905.0 sec.