user=mdettweiler
[2012-11-02 00:18:50]
873*2^1233506-1 is not prime.  Res64: D8185B8A09408C26  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 00:18:50]
875*2^1233506-1 is not prime.  Res64: E7144EFF346F75E6  Time : 0.0 sec.
user=vaughan
[2012-11-02 00:28:00]
831*2^1233506-1 is not prime.  Res64: 7D1DCF2F6AEBED02  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 00:39:57]
941*2^1233506-1 is not prime.  Res64: B2EA2D5F786E0C91  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 00:39:58]
971*2^1233506-1 is not prime.  Res64: FD08E95113B5E0E5  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 01:00:56]
649*2^1233507-1 is not prime.  Res64: 4729672B754CC95C  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 01:00:57]
703*2^1233507-1 is not prime.  Res64: 849F3BB1BBDD42EC  Time : 0.0 sec.
user=vaughan
[2012-11-02 01:05:42]
625*2^1233507-1 is not prime.  Res64: 5551BE6B5E4AB58F  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 01:22:10]
705*2^1233507-1 is not prime.  Res64: 03AAD4453DB97AE8  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 01:22:10]
741*2^1233507-1 is not prime.  Res64: 1584C8D886833A58  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 01:43:13]
793*2^1233507-1 is not prime.  Res64: 0E45781B4C8B6FB2  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 01:43:14]
795*2^1233507-1 is not prime.  Res64: 680BF04DE6AEE51F  Time : 0.0 sec.
user=vaughan
[2012-11-02 01:43:27]
765*2^1233507-1 is not prime.  Res64: F8BE0058603597CE  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 02:04:12]
991*2^1233507-1 is not prime.  Res64: DF8D6873EBE1BC18  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 02:04:13]
647*2^1233508-1 is not prime.  Res64: 67CF6A7587A78ED2  Time : 0.0 sec.
user=vaughan
[2012-11-02 02:21:08]
677*2^1233508-1 is not prime.  Res64: D62592D2FD9AFF6E  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 02:25:18]
707*2^1233508-1 is not prime.  Res64: 47A581B331732F22  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 02:25:18]
735*2^1233508-1 is not prime.  Res64: F815F370DE516345  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 02:40:33]
649*2^1233505-1 is not prime.  Res64: 905AC129CB9AB093  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 02:40:34]
775*2^1233505-1 is not prime.  Res64: 27F4C69791A9B6CE  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 02:46:11]
619*2^1233509-1 is not prime.  Res64: 28FD7A9E0B808F70  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 02:46:12]
631*2^1233509-1 is not prime.  Res64: 72A617E4CB63AAD3  Time : 0.0 sec.
user=vaughan
[2012-11-02 02:58:53]
615*2^1233509-1 is not prime.  Res64: FDF7049E8F3B2704  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 03:01:35]
657*2^1233509-1 is not prime.  Res64: D01CF97D70DECDD6  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 03:01:37]
789*2^1233509-1 is not prime.  Res64: 0E837E25295210D3  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 03:06:57]
955*2^1233509-1 is not prime.  Res64: 685CD8764710F69E  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 03:06:58]
791*2^1233510-1 is not prime.  Res64: 0FD4FD1CBEE9FC30  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 03:22:23]
875*2^1233510-1 is not prime.  Res64: 21AD5A676F344119  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 03:22:23]
619*2^1233511-1 is not prime.  Res64: 8135ADDA9FC281FB  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 03:27:49]
621*2^1233511-1 is not prime.  Res64: 8FA7AF0B7F989E19  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 03:27:50]
639*2^1233511-1 is not prime.  Res64: 8C0A0CB73593DB70  Time : 0.0 sec.
user=vaughan
[2012-11-02 03:36:37]
833*2^1233510-1 is not prime.  Res64: 679EC2DD7E7133DA  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 03:43:08]
735*2^1233511-1 is not prime.  Res64: 3172FF7D2DEE09E2  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 03:43:09]
909*2^1233511-1 is not prime.  Res64: 88825B64C6A1E76E  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 03:48:37]
615*2^1233512-1 is not prime.  Res64: 67315549F6BF7013  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 03:48:38]
717*2^1233512-1 is not prime.  Res64: FF7C8BE637805518  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 04:03:52]
825*2^1233512-1 is not prime.  Res64: CC459CEFBA1B271D  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 04:03:54]
893*2^1233512-1 is not prime.  Res64: 381D9BD60D3D21E0  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 04:09:33]
959*2^1233512-1 is not prime.  Res64: 335AC010CED605AC  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 04:09:35]
983*2^1233512-1 is not prime.  Res64: F84D705FB4F66F79  Time : 0.0 sec.
user=vaughan
[2012-11-02 04:14:18]
725*2^1233512-1 is not prime.  Res64: BE6FF51A590718E4  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 04:24:45]
627*2^1233513-1 is not prime.  Res64: 7E75C1EA0E928ADF  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 04:24:45]
669*2^1233513-1 is not prime.  Res64: D19C00580E614FBE  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 04:30:34]
691*2^1233513-1 is not prime.  Res64: 9B1B11010ACEE57C  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 04:30:35]
747*2^1233513-1 is not prime.  Res64: DA686A5321318237  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 04:45:31]
951*2^1233513-1 is not prime.  Res64: 495A5F5E8B77FA8B  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 04:45:32]
773*2^1233514-1 is not prime.  Res64: B495A6E832731103  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 04:51:23]
813*2^1233514-1 is not prime.  Res64: AD4FDB9FA91D8822  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 04:51:24]
861*2^1233514-1 is not prime.  Res64: E9D6B1EA2DA2E704  Time : 0.0 sec.
user=vaughan
[2012-11-02 04:52:10]
829*2^1233513-1 is not prime.  Res64: E335E637361A39BF  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 05:06:18]
905*2^1233514-1 is not prime.  Res64: 9EC91F8981915485  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 05:06:19]
951*2^1233514-1 is not prime.  Res64: 5A56D2324737305A  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 05:12:08]
655*2^1233515-1 is not prime.  Res64: 1D4CFB2CD8AFFFF0  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 05:12:09]
841*2^1233515-1 is not prime.  Res64: CE6C7130ACB60EA3  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 05:27:09]
675*2^1233516-1 is not prime.  Res64: 7DFDBA6692C135E3  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 05:27:09]
719*2^1233516-1 is not prime.  Res64: 9B84DEF317C2F4C5  Time : 0.0 sec.
user=vaughan
[2012-11-02 05:29:51]
861*2^1233515-1 is not prime.  Res64: DB8601AA6FF0B2DF  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 05:32:57]
837*2^1233516-1 is not prime.  Res64: F176F353AB24628C  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 05:32:58]
945*2^1233516-1 is not prime.  Res64: C789E0C4F005E555  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 05:47:54]
615*2^1233517-1 is not prime.  Res64: 67E6035DD5C23188  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 05:47:54]
675*2^1233517-1 is not prime.  Res64: 47FC901583DF2C0C  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 05:53:41]
799*2^1233517-1 is not prime.  Res64: DC506C9D3553B3BB  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 05:53:42]
817*2^1233517-1 is not prime.  Res64: 81704005930B06D1  Time : 0.0 sec.
user=vaughan
[2012-11-02 06:07:33]
775*2^1233517-1 is not prime.  Res64: D60170D46408362C  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 06:08:38]
831*2^1233517-1 is not prime.  Res64: F74CFE40D32D4344  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 06:08:39]
885*2^1233517-1 is not prime.  Res64: 204AB554250C064B  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 06:14:25]
919*2^1233517-1 is not prime.  Res64: BBADF9AAF7D67E00  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 06:14:26]
651*2^1233518-1 is not prime.  Res64: 1F66B458DF13EB9C  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 06:29:25]
693*2^1233518-1 is not prime.  Res64: 8A0795BDE982D0BC  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 06:29:26]
857*2^1233518-1 is not prime.  Res64: BF1AAC221318ADDE  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 06:35:11]
887*2^1233518-1 is not prime.  Res64: 34902E6BB4FBAD0C  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 06:35:11]
977*2^1233518-1 is not prime.  Res64: CDC99F8525B8EB71  Time : 0.0 sec.
user=vaughan
[2012-11-02 06:45:22]
677*2^1233518-1 is not prime.  Res64: 832BF1575125A41B  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 06:50:11]
669*2^1233519-1 is not prime.  Res64: E4A835B8AC632142  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 06:50:13]
693*2^1233519-1 is not prime.  Res64: F7524C0765EA6EB7  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 06:55:55]
831*2^1233519-1 is not prime.  Res64: 742C53D095DC6988  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 06:55:55]
865*2^1233519-1 is not prime.  Res64: 92E622A024C65FB9  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 07:10:57]
985*2^1233519-1 is not prime.  Res64: 2B63353E0A450D30  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 07:10:58]
665*2^1233520-1 is not prime.  Res64: 2FD4C16A83E98882  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 07:16:40]
677*2^1233520-1 is not prime.  Res64: 66BF4BCB40A6499A  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 07:16:46]
813*2^1233520-1 is not prime.  Res64: 3FE48DABE903BB95  Time : 0.0 sec.
user=vaughan
[2012-11-02 07:23:05]
919*2^1233519-1 is not prime.  Res64: A464E38C8F495133  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 07:31:45]
825*2^1233520-1 is not prime.  Res64: 30AF8F40494C7EFC  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 07:31:45]
927*2^1233520-1 is not prime.  Res64: D97C45796B45AFCA  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 07:38:27]
965*2^1233520-1 is not prime.  Res64: 2B2D766F1421C823  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 07:38:28]
685*2^1233521-1 is not prime.  Res64: 6552D9B5A18E6303  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 07:52:30]
967*2^1233521-1 is not prime.  Res64: 618258BB0DFD6A71  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 07:52:30]
621*2^1233522-1 is not prime.  Res64: 50BB405FEC707500  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 07:59:13]
705*2^1233522-1 is not prime.  Res64: 411D94181C82D218  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 07:59:14]
711*2^1233522-1 is not prime.  Res64: EDC1C098BB11B62C  Time : 0.0 sec.
user=vaughan
[2012-11-02 08:00:46]
711*2^1233521-1 is not prime.  Res64: E19B467F5AC6B10E  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 08:13:16]
765*2^1233522-1 is not prime.  Res64: 81DF6F4B2D9D4FCC  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 08:13:17]
791*2^1233522-1 is not prime.  Res64: 4ADF63883F0EA323  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 08:19:57]
885*2^1233522-1 is not prime.  Res64: D836CF7DA7497928  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 08:19:58]
947*2^1233522-1 is not prime.  Res64: D37B3A89B38CA98C  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 08:34:20]
603*2^1233523-1 is not prime.  Res64: A4B3C59694E5CEDF  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 08:34:20]
649*2^1233523-1 is not prime.  Res64: E3269C77B4985F32  Time : 0.0 sec.
user=vaughan
[2012-11-02 08:38:27]
957*2^1233522-1 is not prime.  Res64: 0EC7D62C4BA57B18  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 08:40:43]
709*2^1233523-1 is not prime.  Res64: 640B917444F432FB  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 08:40:44]
819*2^1233523-1 is not prime.  Res64: EBAF9125BCD7DA39  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 08:55:05]
895*2^1233523-1 is not prime.  Res64: 623077F7EC685C73  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 08:55:05]
615*2^1233524-1 is not prime.  Res64: 90C23E82497CD09A  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 09:01:29]
729*2^1233524-1 is not prime.  Res64: E601D5F2C5146DF8  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 09:01:30]
743*2^1233524-1 is not prime.  Res64: C1E8EEEFA9E4BC19  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 09:15:51]
813*2^1233524-1 is not prime.  Res64: 72693F23ABAA9257  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 09:15:54]
959*2^1233524-1 is not prime.  Res64: 917968CD4670BE32  Time : 0.0 sec.
user=vaughan
[2012-11-02 09:16:10]
629*2^1233524-1 is not prime.  Res64: 8F78FAFC9BD4D923  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 09:22:22]
995*2^1233524-1 is not prime.  Res64: 073284DC97782479  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 09:22:22]
625*2^1233525-1 is not prime.  Res64: 549911C41B8C4F66  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 09:37:04]
699*2^1233525-1 is not prime.  Res64: DF1E65F4ACEB691E  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 09:37:04]
711*2^1233525-1 is not prime.  Res64: 50FEC9EAA49D1FE5  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 09:43:07]
741*2^1233525-1 is not prime.  Res64: 0895CFBDBD2DAE14  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 09:43:07]
825*2^1233525-1 is not prime.  Res64: 9FFA87F9A15A3924  Time : 0.0 sec.
user=vaughan
[2012-11-02 09:53:55]
657*2^1233525-1 is not prime.  Res64: 8D4880A4DBDCE731  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 09:57:48]
859*2^1233525-1 is not prime.  Res64: CC223DC4A4CC78DE  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 09:57:49]
645*2^1233526-1 is not prime.  Res64: 58D44F4A668B61E8  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 10:03:52]
723*2^1233526-1 is not prime.  Res64: 85534429DE14CD73  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 10:03:53]
761*2^1233526-1 is not prime.  Res64: 3A43175B609A105D  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 10:18:33]
825*2^1233526-1 is not prime.  Res64: 0CDF31EF54D75393  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 10:18:34]
945*2^1233526-1 is not prime.  Res64: C5E83E9FB74EDB6F  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 10:24:39]
651*2^1233527-1 is not prime.  Res64: A5E40C35EC7CE1A6  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 10:24:39]
661*2^1233527-1 is not prime.  Res64: FEFECC12C68A19D0  Time : 0.0 sec.
user=vaughan
[2012-11-02 10:31:38]
783*2^1233526-1 is not prime.  Res64: A4933FEC7CF62652  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 10:39:22]
675*2^1233527-1 is not prime.  Res64: BC5A28CE3D5E78D9  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 10:39:22]
711*2^1233527-1 is not prime.  Res64: DBA3E965F44FE052  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 10:45:23]
729*2^1233527-1 is not prime.  Res64: BB5212CF0D529A81  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 10:45:23]
781*2^1233527-1 is not prime.  Res64: 586195EB141620FC  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 11:00:07]
931*2^1233527-1 is not prime.  Res64: 43DB9E6617182C2B  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 11:00:08]
945*2^1233527-1 is not prime.  Res64: EE400647A339031C  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 11:06:08]
981*2^1233527-1 is not prime.  Res64: DCC1923B31815B04  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 11:06:11]
627*2^1233528-1 is not prime.  Res64: 67D7C2C23E0B92B9  Time : 0.0 sec.
user=vaughan
[2012-11-02 11:09:20]
823*2^1233527-1 is not prime.  Res64: 64429157D28AB650  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 11:20:54]
725*2^1233528-1 is not prime.  Res64: B8C5377181BE8A99  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 11:20:54]
977*2^1233528-1 is not prime.  Res64: D0A9647EF0EDFA4A  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 11:26:58]
639*2^1233529-1 is not prime.  Res64: D2AE3DDF760BD09D  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 11:26:58]
759*2^1233529-1 is not prime.  Res64: 72C704DD19E36C6E  Time : 0.0 sec.
user=vaughan
[2012-11-02 11:47:14]
789*2^1233529-1 is not prime.  Res64: 657EE3ECAD1D3B37  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 11:47:41]
951*2^1233529-1 is not prime.  Res64: 0A009A126770FD27  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 11:47:42]
657*2^1233530-1 is not prime.  Res64: 16495A50338CE7D5  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 12:08:29]
711*2^1233530-1 is not prime.  Res64: 942E054A645BD38D  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 12:08:30]
753*2^1233530-1 is not prime.  Res64: EF5EAA399068802F  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 12:15:11]
819*2^1233529-1 is not prime.  Res64: EF53D30FA2B2BDDB  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 12:15:13]
855*2^1233529-1 is not prime.  Res64: 76E7ABE80D38F27A  Time : 0.0 sec.
user=vaughan
[2012-11-02 12:24:57]
671*2^1233530-1 is not prime.  Res64: 0C86387367D4C980  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 12:29:23]
827*2^1233530-1 is not prime.  Res64: C7C8F640ADE65351  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 12:29:24]
851*2^1233530-1 is not prime.  Res64: 988331125F82C03F  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 12:36:11]
675*2^1233531-1 is not prime.  Res64: 80841B6031F2AA0D  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 12:36:11]
705*2^1233531-1 is not prime.  Res64: 83A0E8D9F6945DC3  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 12:50:08]
789*2^1233531-1 is not prime.  Res64: AF6479640B101467  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 12:50:10]
973*2^1233531-1 is not prime.  Res64: E264F23E9CF7AC2D  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 12:56:58]
999*2^1233531-1 is not prime.  Res64: 132C5FC721514FF8  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 12:56:58]
639*2^1233532-1 is not prime.  Res64: 06AB407A71E8C757  Time : 0.0 sec.
user=vaughan
[2012-11-02 13:02:39]
769*2^1233531-1 is not prime.  Res64: 40AA14B563090562  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 13:11:08]
687*2^1233532-1 is not prime.  Res64: 551961FADF7F8BA7  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 13:11:10]
777*2^1233532-1 is not prime.  Res64: 92F0640139E34280  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 13:17:58]
965*2^1233532-1 is not prime.  Res64: 5107D9D00244D96D  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 13:17:59]
983*2^1233532-1 is not prime.  Res64: E4CA1392AB6D6F4A  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 13:32:12]
615*2^1233533-1 is not prime.  Res64: 00CC871E1C0B8B65  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 13:32:13]
685*2^1233533-1 is not prime.  Res64: 953E842CCF843DDB  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 13:38:50]
871*2^1233533-1 is not prime.  Res64: E91FF86EFCD85109  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 13:38:51]
651*2^1233534-1 is not prime.  Res64: EA8024BDEA72472E  Time : 0.0 sec.
user=vaughan
[2012-11-02 13:40:24]
989*2^1233532-1 is not prime.  Res64: E6B418EE8DA20BA2  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 13:53:04]
717*2^1233534-1 is not prime.  Res64: EE803980DCDA5397  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 13:53:04]
737*2^1233534-1 is not prime.  Res64: 5BC3AE7FAEF4017C  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 13:59:38]
807*2^1233534-1 is not prime.  Res64: 2A85190C868E6F6E  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 13:59:39]
825*2^1233534-1 is not prime.  Res64: 7DBFE9DEFC96D7F8  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 14:13:51]
891*2^1233534-1 is not prime.  Res64: C62C37023E100A56  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 14:13:52]
893*2^1233534-1 is not prime.  Res64: 6F803BA0BD912076  Time : 0.0 sec.
user=vaughan
[2012-11-02 14:18:06]
851*2^1233534-1 is not prime.  Res64: 417036D4A4E68C7C  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 14:20:25]
921*2^1233534-1 is not prime.  Res64: E480B94A9E56C09A  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 14:20:25]
619*2^1233535-1 is not prime.  Res64: 121733760A7C0985  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 14:34:46]
783*2^1233535-1 is not prime.  Res64: 09E5F44F61F26381  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 14:34:49]
829*2^1233535-1 is not prime.  Res64: 25C8D8D6287D2510  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 14:41:20]
951*2^1233535-1 is not prime.  Res64: 8A69B9BBEF287B08  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 14:41:21]
979*2^1233535-1 is not prime.  Res64: 7955870972378259  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 14:55:44]
985*2^1233535-1 is not prime.  Res64: 0BA386F7280DC45A  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 14:55:45]
767*2^1233536-1 is not prime.  Res64: E7EEA671C6F9575F  Time : 0.0 sec.
user=vaughan
[2012-11-02 14:55:48]
861*2^1233535-1 is not prime.  Res64: 0A6B4F13DC200A69  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 15:02:08]
935*2^1233536-1 is not prime.  Res64: C75BC2046D0B89DD  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 15:02:09]
609*2^1233537-1 is not prime.  Res64: 0823745723A1CC4F  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 15:16:31]
699*2^1233537-1 is not prime.  Res64: D804C9D6AE4E9260  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 15:16:32]
831*2^1233537-1 is not prime.  Res64: FC765F8BC6B27D7D  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 15:23:00]
945*2^1233537-1 is not prime.  Res64: D46813EA887CDD30  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 15:23:00]
695*2^1233538-1 is not prime.  Res64: 5463D064F745F246  Time : 0.0 sec.
user=vaughan
[2012-11-02 15:33:32]
871*2^1233537-1 is not prime.  Res64: E989587103793791  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 15:37:22]
747*2^1233538-1 is not prime.  Res64: EBB25EBD9E9D7B8B  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 15:37:23]
911*2^1233538-1 is not prime.  Res64: D2C1B6E564BF20EA  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 15:43:50]
915*2^1233538-1 is not prime.  Res64: F50212F2A0CD687B  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 15:43:51]
945*2^1233538-1 is not prime.  Res64: 33B0F577990E9DBC  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 16:04:49]
943*2^1233539-1 is not prime.  Res64: 3D181D5DCE23F31D  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 16:04:50]
707*2^1233540-1 is not prime.  Res64: FC69F29666AC1EA7  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 16:10:58]
841*2^1233539-1 is not prime.  Res64: E23FF347577116FA  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 16:10:59]
855*2^1233539-1 is not prime.  Res64: 08A2F7FE089B0F3C  Time : 0.0 sec.
user=vaughan
[2012-11-02 16:11:13]
1001*2^1233538-1 is not prime.  Res64: 9429C4B720176F2A  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 16:26:06]
779*2^1233540-1 is not prime.  Res64: 3DAC420CB9A58136  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 16:26:07]
879*2^1233540-1 is not prime.  Res64: F06C9B776566FFB4  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 16:32:02]
935*2^1233540-1 is not prime.  Res64: D33E3DDBC7C61CC4  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 16:32:03]
983*2^1233540-1 is not prime.  Res64: 174ED2722C1FF077  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 16:46:57]
849*2^1233541-1 is not prime.  Res64: F6A49242989A9497  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 16:46:58]
855*2^1233541-1 is not prime.  Res64: 0B54A2BFE17A7B3B  Time : 0.0 sec.
user=vaughan
[2012-11-02 16:48:55]
607*2^1233541-1 is not prime.  Res64: EB008A4729446AFE  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 16:52:55]
975*2^1233541-1 is not prime.  Res64: 2193CB0535835936  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 16:52:55]
997*2^1233541-1 is not prime.  Res64: A23C2D86C311F600  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 17:07:43]
665*2^1233542-1 is not prime.  Res64: 68C69297D82E00BF  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 17:07:45]
677*2^1233542-1 is not prime.  Res64: B3863223933EE3E3  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 17:13:42]
615*2^1233543-1 is not prime.  Res64: 148DF0F7DEF47CEC  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 17:13:43]
679*2^1233543-1 is not prime.  Res64: D22D3973729F3CA7  Time : 0.0 sec.
user=vaughan
[2012-11-02 17:26:36]
893*2^1233542-1 is not prime.  Res64: 198ECAF1B95C7411  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 17:28:44]
949*2^1233543-1 is not prime.  Res64: 6A23108F0F535498  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 17:28:44]
961*2^1233543-1 is not prime.  Res64: E6611054126E5CB1  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 17:34:42]
639*2^1233544-1 is not prime.  Res64: 968285B93818A9EE  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 17:34:43]
675*2^1233544-1 is not prime.  Res64: 2AFB666A0A651089  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 17:49:34]
607*2^1233545-1 is not prime.  Res64: 6AFB09F191604B24  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 17:49:37]
627*2^1233545-1 is not prime.  Res64: 2A70E24D911C85EB  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 17:55:39]
657*2^1233545-1 is not prime.  Res64: 62537038DEB912B3  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 17:55:41]
669*2^1233545-1 is not prime.  Res64: 2AC1363DBB47D905  Time : 0.0 sec.
user=vaughan
[2012-11-02 18:04:21]
717*2^1233544-1 is not prime.  Res64: 5CCAD735E4BE694C  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 18:10:32]
705*2^1233545-1 is not prime.  Res64: 3D8BABD7995C5DEF  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 18:10:39]
771*2^1233545-1 is not prime.  Res64: FB8350CFBCB52629  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 18:16:33]
795*2^1233545-1 is not prime.  Res64: 51CF60D9AB545121  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 18:16:35]
949*2^1233545-1 is not prime.  Res64: 940D5B9DAC2EE2B2  Time : 0.0 sec.
user=vaughan
[2012-11-02 18:42:10]
979*2^1233545-1 is not prime.  Res64: A6F77C648F0B10C2  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 18:50:29]
717*2^1233546-1 is not prime.  Res64: 832E4B0400E8946B  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 18:50:29]
851*2^1233546-1 is not prime.  Res64: C4BC7EE448DB47D5  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 19:11:30]
765*2^1233547-1 is not prime.  Res64: 1C8F7760E3B1E147  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 19:11:32]
819*2^1233547-1 is not prime.  Res64: 482EE5487F988E66  Time : 0.0 sec.
user=vaughan
[2012-11-02 19:19:48]
971*2^1233546-1 is not prime.  Res64: D812695E146B8789  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 19:25:34]
835*2^1233547-1 is not prime.  Res64: 05184AF49782C91E  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 19:25:34]
885*2^1233547-1 is not prime.  Res64: 9428A5EACCACD8A0  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 19:32:35]
891*2^1233547-1 is not prime.  Res64: EFC72C09D565CB4B  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 19:32:35]
979*2^1233547-1 is not prime.  Res64: EE1F3615010D702F  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 19:46:38]
683*2^1233548-1 is not prime.  Res64: B90316E5CF75BFBC  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 19:46:39]
743*2^1233548-1 is not prime.  Res64: ED59F6C4CB4A49A1  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 19:53:51]
749*2^1233548-1 is not prime.  Res64: 4A39F08001377B21  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 19:53:52]
755*2^1233548-1 is not prime.  Res64: 9B675E5D8004B52E  Time : 0.0 sec.
user=vaughan
[2012-11-02 19:57:30]
665*2^1233548-1 is not prime.  Res64: D8129A68118FEBE2  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 20:07:59]
837*2^1233548-1 is not prime.  Res64: E9BC50C7D07E333C  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 20:08:01]
923*2^1233548-1 is not prime.  Res64: 2DE86DB0F072D6E0  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 20:14:59]
959*2^1233548-1 is not prime.  Res64: AA2124BEC35CBB82  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 20:15:02]
963*2^1233548-1 is not prime.  Res64: E8DCD1125D835147  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 20:28:54]
657*2^1233549-1 is not prime.  Res64: 347982E8B46616CD  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 20:28:54]
675*2^1233549-1 is not prime.  Res64: 1E18A336668A5D5F  Time : 0.0 sec.
user=vaughan
[2012-11-02 20:35:14]
999*2^1233548-1 is not prime.  Res64: 569535A1AD64FBF7  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 20:36:07]
979*2^1233549-1 is not prime.  Res64: 0987175E7A891954  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 20:36:07]
997*2^1233549-1 is not prime.  Res64: 920E967CF5DFD0F6  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 20:49:48]
723*2^1233550-1 is not prime.  Res64: 6D0CB550175790CF  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 20:49:49]
765*2^1233550-1 is not prime.  Res64: 61DE2E5C99F950D3  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 20:56:59]
813*2^1233550-1 is not prime.  Res64: 14914CE761988FA0  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 20:56:59]
843*2^1233550-1 is not prime.  Res64: 10D4B226890FCDEE  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 21:10:41]
855*2^1233550-1 is not prime.  Res64: 022967A8A277B437  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 21:10:42]
975*2^1233550-1 is not prime.  Res64: FD33A28268D8FCF4  Time : 0.0 sec.
user=vaughan
[2012-11-02 21:12:55]
801*2^1233550-1 is not prime.  Res64: 83666B68D708252B  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 21:17:55]
987*2^1233550-1 is not prime.  Res64: 62A457B48019F041  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 21:17:55]
651*2^1233551-1 is not prime.  Res64: 0B0D5A881EF094BE  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 21:31:55]
661*2^1233551-1 is not prime.  Res64: 72C814D5295965E3  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 21:31:56]
741*2^1233551-1 is not prime.  Res64: 60EE8C61FE7F88EC  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 21:38:57]
969*2^1233551-1 is not prime.  Res64: DFE0F90718B0DEA9  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 21:38:58]
973*2^1233551-1 is not prime.  Res64: 5A0C4E9B5F62CE50  Time : 0.0 sec.
user=vaughan
[2012-11-02 21:50:40]
843*2^1233551-1 is not prime.  Res64: 19D4CACBFAB290FE  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 21:52:57]
993*2^1233551-1 is not prime.  Res64: 433D301C81E4716F  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 21:52:57]
717*2^1233552-1 is not prime.  Res64: 8EE5C59324969300  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 22:00:01]
797*2^1233552-1 is not prime.  Res64: 0BE1EEC445B11D94  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 22:00:02]
815*2^1233552-1 is not prime.  Res64: 85A6DA7E2EA7CDF1  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 22:14:04]
691*2^1233553-1 is not prime.  Res64: D8989F946C949D7F  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 22:14:05]
705*2^1233553-1 is not prime.  Res64: 34F97DD3C63962A7  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 22:21:00]
715*2^1233553-1 is not prime.  Res64: 18C8CDE8745626E8  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 22:21:00]
729*2^1233553-1 is not prime.  Res64: 32842BA611330354  Time : 0.0 sec.
user=vaughan
[2012-11-02 22:28:26]
945*2^1233552-1 is not prime.  Res64: EF4BC83AF8A8B607  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 22:35:02]
895*2^1233553-1 is not prime.  Res64: C98FE858A13AA1CC  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 22:35:02]
999*2^1233553-1 is not prime.  Res64: D547007E30C7E501  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 22:41:46]
617*2^1233554-1 is not prime.  Res64: E1ED0FDA31775395  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 22:41:46]
623*2^1233554-1 is not prime.  Res64: D8D7BA7942E3A42D  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 22:55:47]
851*2^1233554-1 is not prime.  Res64: 34342C01668ADC32  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 22:55:48]
885*2^1233554-1 is not prime.  Res64: 8ABBC6D7C1E375BA  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 23:02:31]
971*2^1233554-1 is not prime.  Res64: 2D6F2D41DBA006D6  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 23:02:32]
639*2^1233555-1 is not prime.  Res64: D1956E24AEC10587  Time : 0.0 sec.
user=vaughan
[2012-11-02 23:06:08]
675*2^1233554-1 is not prime.  Res64: 788EC02F7AF81BE6  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 23:16:34]
669*2^1233555-1 is not prime.  Res64: D41EC4A13E8D7432  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 23:16:34]
685*2^1233555-1 is not prime.  Res64: 35B472F2177B3053  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 23:23:17]
741*2^1233555-1 is not prime.  Res64: B6DBB394E88903B1  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 23:23:18]
793*2^1233555-1 is not prime.  Res64: 6B90775BB9402E67  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 23:37:39]
891*2^1233555-1 is not prime.  Res64: 4EBFE59BA866FD0A  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 23:37:39]
919*2^1233555-1 is not prime.  Res64: F0355558356518F6  Time : 0.0 sec.
user=vaughan
[2012-11-02 23:43:53]
885*2^1233555-1 is not prime.  Res64: E3A9EBD4995D663A  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 23:44:11]
723*2^1233556-1 is not prime.  Res64: 788B4402393F9491  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 23:44:11]
803*2^1233556-1 is not prime.  Res64: 6FDE4491799FC775  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 23:58:30]
875*2^1233556-1 is not prime.  Res64: 3DABCF1AEBB187BB  Time : 0.0 sec.
user=mdettweiler
[2012-11-02 23:58:30]
899*2^1233556-1 is not prime.  Res64: 1F4BE4D93188FD0C  Time : 0.0 sec.