user=vaughan
[2011-12-20 00:06:50]
439*2^1048701-1 is not prime.  Res64: DB317E428569375D  Time : 2629.0 sec.
user=vaughan
[2011-12-20 00:50:37]
445*2^1048701-1 is not prime.  Res64: E3FBA6893446AF6F  Time : 2628.0 sec.
user=vaughan
[2011-12-20 01:34:25]
447*2^1048701-1 is not prime.  Res64: E2CA9DD632B44D25  Time : 2628.0 sec.
user=vaughan
[2011-12-20 02:18:14]
459*2^1048701-1 is not prime.  Res64: DF30803E5CB13408  Time : 2629.0 sec.
user=vaughan
[2011-12-20 03:02:01]
401*2^1048702-1 is not prime.  Res64: A52FA9988E266BA0  Time : 2628.0 sec.
user=vaughan
[2011-12-20 03:45:51]
413*2^1048702-1 is not prime.  Res64: 7D57CABFE1C8965A  Time : 2630.0 sec.
user=vaughan
[2011-12-20 04:29:39]
467*2^1048702-1 is not prime.  Res64: DD0C5A533A91539E  Time : 2630.0 sec.
user=vaughan
[2011-12-20 05:13:28]
483*2^1048702-1 is not prime.  Res64: 446C4678DD93B529  Time : 2630.0 sec.
user=vaughan
[2011-12-20 05:57:20]
555*2^1048702-1 is not prime.  Res64: 4CA3D32D60CAE9D1  Time : 2632.0 sec.
user=vaughan
[2011-12-20 06:41:10]
465*2^1048703-1 is not prime.  Res64: D1176C05F648AEA2  Time : 2630.0 sec.
user=vaughan
[2011-12-20 07:25:00]
571*2^1048703-1 is not prime.  Res64: 021092FB8BAEFA8C  Time : 2632.0 sec.
user=vaughan
[2011-12-20 08:08:51]
585*2^1048703-1 is not prime.  Res64: FEE41B69CC0572B9  Time : 2631.0 sec.
user=vaughan
[2011-12-20 08:52:42]
447*2^1048704-1 is not prime.  Res64: D75ACB915819BDC7  Time : 2632.0 sec.
user=vaughan
[2011-12-20 09:36:30]
489*2^1048704-1 is not prime.  Res64: B688026754261845  Time : 2629.0 sec.
user=vaughan
[2011-12-20 10:20:20]
569*2^1048704-1 is not prime.  Res64: 2832908A5128C3C1  Time : 2630.0 sec.
user=vaughan
[2011-12-20 11:04:11]
481*2^1048705-1 is not prime.  Res64: 1EA4F43E193357FB  Time : 2631.0 sec.
user=vaughan
[2011-12-20 11:47:59]
555*2^1048705-1 is not prime.  Res64: 886FFBC700A08E42  Time : 2628.0 sec.
user=vaughan
[2011-12-20 12:31:47]
589*2^1048705-1 is not prime.  Res64: C5F704F8DC873224  Time : 2628.0 sec.
user=vaughan
[2011-12-20 13:15:36]
591*2^1048705-1 is not prime.  Res64: CC6B66D6F466810A  Time : 2630.0 sec.
user=vaughan
[2011-12-20 13:59:24]
545*2^1048706-1 is not prime.  Res64: 1C59722C6235E7DF  Time : 2629.0 sec.
user=vaughan
[2011-12-20 14:43:16]
433*2^1048707-1 is not prime.  Res64: C42C8A49129DB032  Time : 2632.0 sec.
user=vaughan
[2011-12-20 15:27:03]
445*2^1048707-1 is not prime.  Res64: 3CB7F8049A24D089  Time : 2627.0 sec.
user=vaughan
[2011-12-20 16:10:50]
489*2^1048707-1 is not prime.  Res64: 80042D24BCFA060F  Time : 2627.0 sec.
user=vaughan
[2011-12-20 16:54:38]
529*2^1048707-1 is not prime.  Res64: 5F3463114A48FF16  Time : 2628.0 sec.
user=vaughan
[2011-12-20 17:38:31]
405*2^1048708-1 is not prime.  Res64: 9CFF33A7258042F6  Time : 2634.0 sec.
user=vaughan
[2011-12-20 18:22:19]
413*2^1048708-1 is not prime.  Res64: 62453DB4380B870E  Time : 2629.0 sec.
user=vaughan
[2011-12-20 19:06:06]
519*2^1048708-1 is not prime.  Res64: E027ECC4560FB079  Time : 2628.0 sec.
user=vaughan
[2011-12-20 19:49:53]
573*2^1048708-1 is not prime.  Res64: BF9BD8674A01CC30  Time : 2628.0 sec.
user=vaughan
[2011-12-20 20:33:41]
571*2^1048709-1 is not prime.  Res64: 37BDD01C5AD6C227  Time : 2628.0 sec.
user=vaughan
[2011-12-20 21:17:29]
543*2^1048710-1 is not prime.  Res64: 8B53D96B6FFA6626  Time : 2628.0 sec.
user=vaughan
[2011-12-20 22:01:17]
411*2^1048711-1 is not prime.  Res64: 5396DA73CBE5E255  Time : 2628.0 sec.
user=vaughan
[2011-12-20 22:45:04]
493*2^1048711-1 is not prime.  Res64: BED712603FEFD9AA  Time : 2627.0 sec.
user=vaughan
[2011-12-20 23:28:51]
525*2^1048711-1 is not prime.  Res64: 40CD6F35F76DDC62  Time : 2628.0 sec.