user=vaughan
[2011-11-20 00:38:39]
465*2^1047995-1 is not prime.  Res64: 7BD1DA52DB897076  Time : 2627.0 sec.
user=vaughan
[2011-11-20 01:22:32]
469*2^1047995-1 is not prime.  Res64: DC24A6FFDAD85932  Time : 2633.0 sec.
user=vaughan
[2011-11-20 02:07:20]
503*2^1047996-1 is not prime.  Res64: 297D89CED7FF8C71  Time : 2617.0 sec.
user=vaughan
[2011-11-20 02:51:07]
507*2^1047996-1 is not prime.  Res64: 6035714621E27608  Time : 2627.0 sec.
user=vaughan
[2011-11-20 03:34:46]
513*2^1047996-1 is not prime.  Res64: 8A62DA24B87564B5  Time : 2619.0 sec.
user=vaughan
[2011-11-20 04:18:34]
515*2^1047996-1 is not prime.  Res64: ABCB415D33F17CA5  Time : 2628.0 sec.
user=vaughan
[2011-11-20 05:02:13]
567*2^1047996-1 is not prime.  Res64: 9174305C536EA962  Time : 2620.0 sec.
user=vaughan
[2011-11-20 05:45:59]
505*2^1047997-1 is not prime.  Res64: 86706FE1C8D8E876  Time : 2626.0 sec.
user=vaughan
[2011-11-20 06:29:55]
567*2^1047997-1 is not prime.  Res64: 7709F5E551997168  Time : 2636.0 sec.
user=vaughan
[2011-11-20 07:13:35]
439*2^1047999-1 is not prime.  Res64: F426B6D84279E6E2  Time : 2621.0 sec.
user=vaughan
[2011-11-20 07:57:21]
441*2^1047999-1 is not prime.  Res64: 273C781BB401FBF1  Time : 2627.0 sec.
user=vaughan
[2011-11-20 08:41:11]
559*2^1047999-1 is not prime.  Res64: F7ECE76E0C229036  Time : 2630.0 sec.
user=vaughan
[2011-11-20 09:25:08]
483*2^1048000-1 is not prime.  Res64: 0727984CA02E5DAC  Time : 2637.0 sec.
user=vaughan
[2011-11-20 10:10:36]
439*2^1048001-1 is not prime.  Res64: 5AB5409D950F58DB  Time : 2623.0 sec.
user=vaughan
[2011-11-20 10:54:16]
529*2^1048001-1 is not prime.  Res64: 8B8E582B9391F448  Time : 2620.0 sec.
user=vaughan
[2011-11-20 11:39:32]
405*2^1048002-1 is not prime.  Res64: 79792576E189CF97  Time : 2717.0 sec.
user=vaughan
[2011-11-20 12:25:40]
501*2^1048002-1 is not prime.  Res64: 634AC0601433B956  Time : 2635.0 sec.
user=vaughan
[2011-11-20 13:10:28]
537*2^1048002-1 is not prime.  Res64: 11EBDF76671FCEC4  Time : 2623.0 sec.
user=vaughan
[2011-11-20 13:54:14]
555*2^1048002-1 is not prime.  Res64: 2952FCE9AF20924B  Time : 2627.0 sec.
user=vaughan
[2011-11-20 14:37:57]
411*2^1048003-1 is not prime.  Res64: FC87286F2398C21A  Time : 2623.0 sec.
user=vaughan
[2011-11-20 15:21:48]
441*2^1048003-1 is not prime.  Res64: 242AC1F7EF70C424  Time : 2631.0 sec.
user=vaughan
[2011-11-20 16:07:52]
549*2^1048003-1 is not prime.  Res64: 79BBDC848EB38929  Time : 2631.0 sec.
user=vaughan
[2011-11-20 16:52:52]
413*2^1048004-1 is not prime.  Res64: 2020CF40489BFB74  Time : 2636.0 sec.
user=vaughan
[2011-11-20 17:38:57]
425*2^1048004-1 is not prime.  Res64: 990314607ACFB9F6  Time : 2632.0 sec.
user=vaughan
[2011-11-20 19:10:44]
479*2^1048004-1 is not prime.  Res64: A67AA49DF91DDB81  Time : 2744.0 sec.
user=vaughan
[2011-11-20 19:54:32]
489*2^1048004-1 is not prime.  Res64: 94B6DBDAD1902B15  Time : 2629.0 sec.
user=vaughan
[2011-11-20 20:39:44]
507*2^1048004-1 is not prime.  Res64: D8348D2D5122CD4C  Time : 2714.0 sec.
user=vaughan
[2011-11-20 21:25:05]
533*2^1048004-1 is not prime.  Res64: F6FC2FCDDA66A8E0  Time : 2722.0 sec.
user=vaughan
[2011-11-20 22:08:54]
441*2^1048005-1 is not prime.  Res64: 5AFFFF5A8102E6CD  Time : 2631.0 sec.
user=vaughan
[2011-11-20 22:54:11]
507*2^1048005-1 is not prime.  Res64: 2E41C9FF4C968B45  Time : 2717.0 sec.
user=vaughan
[2011-11-20 23:40:30]
545*2^1048006-1 is not prime.  Res64: 10318635C0FB52AD  Time : 2718.0 sec.