user=vaughan
[2011-09-26 00:19:41]
1621*2^743807-1 is not prime.  Res64: 866871A3E0C77B6E  Time : 6108.0 sec.
user=vaughan
[2011-09-26 02:01:02]
1711*2^743807-1 is not prime.  Res64: D93E9F845BD8482C  Time : 6082.0 sec.
user=vaughan
[2011-09-26 03:45:59]
1741*2^743807-1 is not prime.  Res64: 81756DEFBE1BFB73  Time : 6297.0 sec.
user=vaughan
[2011-09-26 05:27:33]
1749*2^743807-1 is not prime.  Res64: 10FB3CCAD3161E1D  Time : 6094.0 sec.
user=vaughan
[2011-09-26 07:09:45]
1813*2^743807-1 is not prime.  Res64: D1084B7B183DA9D4  Time : 6132.0 sec.
user=vaughan
[2011-09-26 08:51:28]
1831*2^743807-1 is not prime.  Res64: 9AE63E35817F0C08  Time : 6103.0 sec.
user=vaughan
[2011-09-26 10:32:57]
1839*2^743807-1 is not prime.  Res64: 78F5943A2AC904F7  Time : 6090.0 sec.
user=vaughan
[2011-09-26 12:14:11]
1881*2^743807-1 is not prime.  Res64: 45CE3D5281B93FC5  Time : 6074.0 sec.
user=vaughan
[2011-09-26 13:55:35]
1929*2^743807-1 is not prime.  Res64: 42E136BBDBEC69D3  Time : 6085.0 sec.
user=vaughan
[2011-09-26 15:37:02]
1935*2^743807-1 is not prime.  Res64: DDF9DC20FD8CAFFB  Time : 6087.0 sec.
user=vaughan
[2011-09-26 17:26:31]
1945*2^743807-1 is not prime.  Res64: 0FC629FF9475DFCD  Time : 6570.0 sec.
user=vaughan
[2011-09-26 19:08:06]
1517*2^743808-1 is not prime.  Res64: 8D1F6B373E6759CD  Time : 6095.0 sec.
user=vaughan
[2011-09-26 20:49:31]
1563*2^743808-1 is not prime.  Res64: AAF301A3498F3A97  Time : 6085.0 sec.
user=vaughan
[2011-09-26 22:30:46]
1607*2^743808-1 is not prime.  Res64: 5FCAABD3EE18EF69  Time : 6075.0 sec.