user=vaughan
[2011-09-22 01:22:33]
1427*2^743802-1 is not prime.  Res64: A83E6D33DB54B31E  Time : 6094.0 sec.
user=vaughan
[2011-09-22 03:04:00]
1431*2^743802-1 is not prime.  Res64: 22993ABE99645794  Time : 6088.0 sec.
user=vaughan
[2011-09-22 04:46:51]
1535*2^743802-1 is not prime.  Res64: C838E0F1E160B01A  Time : 6172.0 sec.
user=vaughan
[2011-09-22 06:28:38]
1595*2^743802-1 is not prime.  Res64: 1D0D5E6633AF75DF  Time : 6107.0 sec.
user=vaughan
[2011-09-22 08:10:04]
1701*2^743802-1 is not prime.  Res64: 64194F0F81AB912B  Time : 6087.0 sec.
user=vaughan
[2011-09-22 09:51:28]
1745*2^743802-1 is not prime.  Res64: BE361828776DFCEB  Time : 6085.0 sec.
user=vaughan
[2011-09-22 11:33:49]
1841*2^743802-1 is not prime.  Res64: 8D601D9134A150EA  Time : 6141.0 sec.
user=vaughan
[2011-09-22 13:15:26]
1893*2^743802-1 is not prime.  Res64: 2BDE06D811704E8F  Time : 6097.0 sec.
user=vaughan
[2011-09-22 14:56:51]
1925*2^743802-1 is not prime.  Res64: 6F15D5FB1A2ACAE9  Time : 6086.0 sec.
user=vaughan
[2011-09-22 16:38:19]
1953*2^743802-1 is not prime.  Res64: 57951257F2F3C133  Time : 6088.0 sec.
user=vaughan
[2011-09-22 18:19:57]
1955*2^743802-1 is not prime.  Res64: B2DFF3DB8ABB64A4  Time : 6098.0 sec.
user=vaughan
[2011-09-22 20:02:00]
1429*2^743803-1 is not prime.  Res64: 3BAFFB1A040B9224  Time : 6123.0 sec.
user=vaughan
[2011-09-22 21:43:37]
1543*2^743803-1 is not prime.  Res64: B64ED0596A3FE08B  Time : 6097.0 sec.
user=vaughan
[2011-09-22 23:25:16]
1575*2^743803-1 is not prime.  Res64: 7AA299CFD00D043D  Time : 6099.0 sec.