user=vaughan
[2011-11-12 00:09:23]
1639*2^743881-1 is not prime.  Res64: B28796BDE9CF8579  Time : 8848.0 sec.
user=vaughan
[2011-11-12 02:36:16]
1681*2^743881-1 is not prime.  Res64: 324FEDC88A2B04B9  Time : 8813.0 sec.
user=vaughan
[2011-11-12 05:04:02]
1687*2^743881-1 is not prime.  Res64: 4884DA985C0D5FF8  Time : 8866.0 sec.
user=vaughan
[2011-11-12 07:31:03]
1771*2^743881-1 is not prime.  Res64: 8E70198C7E410BD8  Time : 8821.0 sec.
user=vaughan
[2011-11-12 09:58:22]
1851*2^743881-1 is not prime.  Res64: 04ADE3F0A0128367  Time : 8839.0 sec.
user=vaughan
[2011-11-12 12:26:33]
1467*2^743882-1 is not prime.  Res64: 32C47B21ED82F0AA  Time : 8891.0 sec.
user=vaughan
[2011-11-12 14:53:24]
1545*2^743882-1 is not prime.  Res64: EDCC4851C93FA684  Time : 8811.0 sec.
user=vaughan
[2011-11-12 17:20:53]
1553*2^743882-1 is not prime.  Res64: 5F7033718A632013  Time : 8850.0 sec.
user=vaughan
[2011-11-12 19:47:51]
1623*2^743882-1 is not prime.  Res64: 0710926BDD48D08C  Time : 8818.0 sec.
user=vaughan
[2011-11-12 22:15:24]
1637*2^743882-1 is not prime.  Res64: FBF4906B96D29152  Time : 8853.0 sec.