user=mdettweiler
[2013-03-05 00:05:38]
885*2^1242041-1 is not prime.  Res64: 9975E512F4362EE2  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 00:05:40]
931*2^1242041-1 is not prime.  Res64: BDE186B71E886C02  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 00:05:41]
781*2^1242041-1 is not prime.  Res64: A1099F5A75225B6C  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 00:05:42]
811*2^1242041-1 is not prime.  Res64: ACB258B41C93BDFC  Time : 0.0 sec.
user=vaughan
[2013-03-05 00:08:40]
695*2^1242040-1 is not prime.  Res64: B8375015D653BBEE  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 00:23:07]
621*2^1242042-1 is not prime.  Res64: 536465A3C8FB7980  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 00:23:08]
671*2^1242042-1 is not prime.  Res64: EEE8D8BA65E4C519  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 00:23:08]
735*2^1242042-1 is not prime.  Res64: 16121CFA80635BA2  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 00:23:09]
741*2^1242042-1 is not prime.  Res64: 82CE152C35F60175  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 00:40:36]
797*2^1242042-1 is not prime.  Res64: 109079C4C193AFBB  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 00:40:37]
875*2^1242042-1 is not prime.  Res64: 4D4B73EC06C00320  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 00:40:37]
915*2^1242042-1 is not prime.  Res64: 1DF8F443CA570C02  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 00:40:38]
941*2^1242042-1 is not prime.  Res64: 06C3BB335A01FB05  Time : 0.0 sec.
user=juhehe
[2013-03-05 00:46:03]
711*2^1242041-1 is not prime.  Res64: 030A18084744C7A8  Time : 0.0 sec.
user=vaughan
[2013-03-05 00:46:39]
767*2^1242042-1 is not prime.  Res64: 253D5965F0E282EF  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 00:58:05]
983*2^1242042-1 is not prime.  Res64: 64721148B36DA21C  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 00:58:05]
679*2^1242043-1 is not prime.  Res64: 70481BF9ABC2753F  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 00:58:06]
1001*2^1242042-1 is not prime.  Res64: 8A47D40300E92E66  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 00:58:06]
789*2^1242043-1 is not prime.  Res64: 08EA11FDD59C7C76  Time : 0.0 sec.
user=juhehe
[2013-03-05 01:12:21]
979*2^1242041-1 is not prime.  Res64: B5ED470DCA6598E3  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 01:15:36]
959*2^1242044-1 is not prime.  Res64: 10A6D1378BFE5A12  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 01:15:37]
969*2^1242044-1 is not prime.  Res64: D7F5953EDB9663CD  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 01:15:37]
625*2^1242045-1 is not prime.  Res64: 6B5F6CBC576664BD  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 01:15:38]
717*2^1242045-1 is not prime.  Res64: F15C6E1D1B36F256  Time : 0.0 sec.
user=vaughan
[2013-03-05 01:24:39]
945*2^1242044-1 is not prime.  Res64: A333A2DA6208F76B  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 01:33:06]
727*2^1242045-1 is not prime.  Res64: 00419DB5EE968307  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 01:33:06]
849*2^1242045-1 is not prime.  Res64: 3192B7338B685CD0  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 01:33:09]
723*2^1242046-1 is not prime.  Res64: 85DDC3F9D19BA87B  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 01:33:09]
777*2^1242046-1 is not prime.  Res64: 88F05FA97C29EEB0  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 01:50:34]
821*2^1242046-1 is not prime.  Res64: 14307D4138AA8FB4  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 01:50:34]
873*2^1242046-1 is not prime.  Res64: 341AE12D71227ABC  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 01:50:36]
897*2^1242046-1 is not prime.  Res64: 46B44018AE429363  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 01:50:37]
911*2^1242046-1 is not prime.  Res64: 01F4D3955A807226  Time : 0.0 sec.
user=vaughan
[2013-03-05 02:02:37]
783*2^1242046-1 is not prime.  Res64: CABC56978D4F92B9  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 02:08:01]
975*2^1242046-1 is not prime.  Res64: DBC2D08BAFFF3C93  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 02:08:02]
619*2^1242047-1 is not prime.  Res64: 13BC0BB12FEA8D23  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 02:08:03]
633*2^1242047-1 is not prime.  Res64: 58CB7E597D86C630  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 02:08:04]
655*2^1242047-1 is not prime.  Res64: 553AF6E1074DE3BE  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 02:25:30]
805*2^1242047-1 is not prime.  Res64: 3F76145021CEF4D8  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 02:25:30]
883*2^1242047-1 is not prime.  Res64: EAE7964F3419C14C  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 02:25:31]
895*2^1242047-1 is not prime.  Res64: FCA58A4FC843F037  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 02:25:32]
993*2^1242047-1 is not prime.  Res64: F33465F59DCC5576  Time : 0.0 sec.
user=vaughan
[2013-03-05 02:40:38]
781*2^1242047-1 is not prime.  Res64: A599BFAC602A0043  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 02:42:58]
657*2^1242048-1 is not prime.  Res64: 90D56E7C10159437  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 02:42:59]
795*2^1242048-1 is not prime.  Res64: 5F2FE27393BA9CF5  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 02:43:00]
707*2^1242048-1 is not prime.  Res64: 5E9F8953DCEB0BDF  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 02:43:01]
819*2^1242048-1 is not prime.  Res64: CF78FDF25801BB59  Time : 0.0 sec.
user=juhehe
[2013-03-05 02:47:28]
945*2^1242046-1 is not prime.  Res64: 66EF56FFEF083B26  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 03:00:29]
887*2^1242048-1 is not prime.  Res64: 89A3DE55E6117442  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 03:00:32]
947*2^1242048-1 is not prime.  Res64: C6CE3FE633EE630B  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 03:00:33]
909*2^1242048-1 is not prime.  Res64: F9A6BEBBE6D5E572  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 03:00:34]
959*2^1242048-1 is not prime.  Res64: 15DBBEF54EB93CBC  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 03:18:09]
975*2^1242048-1 is not prime.  Res64: F58CFB817AE4B0FC  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 03:18:09]
615*2^1242049-1 is not prime.  Res64: 9D6CF13404B1FC4C  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 03:18:10]
817*2^1242049-1 is not prime.  Res64: 1661EB3EE3A7BE94  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 03:18:11]
855*2^1242049-1 is not prime.  Res64: 7786EBDC89395471  Time : 0.0 sec.
user=vaughan
[2013-03-05 03:18:38]
875*2^1242048-1 is not prime.  Res64: 82F2A4718B29E137  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 03:35:40]
919*2^1242049-1 is not prime.  Res64: BADBAFF326C51083  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 03:35:41]
939*2^1242049-1 is not prime.  Res64: 645A57CD6507C722  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 03:35:41]
665*2^1242050-1 is not prime.  Res64: 16FD5DDC674DA5CD  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 03:35:42]
813*2^1242050-1 is not prime.  Res64: 5AE0B802EF8A9667  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 03:53:13]
987*2^1242050-1 is not prime.  Res64: 1D34D99AF07385C8  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 03:53:14]
609*2^1242051-1 is not prime.  Res64: B166FFA9435D61B6  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 03:53:15]
651*2^1242051-1 is not prime.  Res64: B62B010B8506BE8C  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 03:53:15]
703*2^1242051-1 is not prime.  Res64: 5E53FF58E1249BC9  Time : 0.0 sec.
user=vaughan
[2013-03-05 03:56:34]
827*2^1242050-1 is not prime.  Res64: D9076730992DF467  Time : 0.0 sec.
user=juhehe
[2013-03-05 04:03:23]
751*2^1242051-1 is not prime.  Res64: E38BCF3CBF74F268  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 04:10:40]
943*2^1242051-1 is not prime.  Res64: EF179EBCE5CE37AF  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 04:10:41]
979*2^1242051-1 is not prime.  Res64: 8B8FB18F600D6D88  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 04:10:42]
635*2^1242052-1 is not prime.  Res64: 7B6A130EF7AB8C32  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 04:10:42]
675*2^1242052-1 is not prime.  Res64: DCA1259AC3DDE4C0  Time : 0.0 sec.
user=juhehe
[2013-03-05 04:12:28]
867*2^1242049-1 is not prime.  Res64: 4E02B9FE7543B281  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 04:28:09]
803*2^1242052-1 is not prime.  Res64: 669C4352DDC89013  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 04:28:10]
885*2^1242052-1 is not prime.  Res64: 74518371A003CCF6  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 04:28:10]
887*2^1242052-1 is not prime.  Res64: ED3BF2A3820BC533  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 04:28:11]
729*2^1242053-1 is not prime.  Res64: 75BE68C9D17E4A02  Time : 0.0 sec.
user=vaughan
[2013-03-05 04:34:33]
779*2^1242052-1 is not prime.  Res64: 8AA458B064E54892  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 04:45:36]
759*2^1242053-1 is not prime.  Res64: 08804B399A437CF2  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 04:45:37]
771*2^1242053-1 is not prime.  Res64: 7AF7614ACA066E9E  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 04:45:38]
801*2^1242053-1 is not prime.  Res64: 42A28EB720D51E97  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 04:45:38]
939*2^1242053-1 is not prime.  Res64: A687280A53ECA6C6  Time : 0.0 sec.
user=juhehe
[2013-03-05 04:48:53]
873*2^1242051-1 is not prime.  Res64: EDEB8A4B346FCEC4  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 05:03:04]
641*2^1242054-1 is not prime.  Res64: 59C5DB6B9ABE5882  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 05:03:05]
681*2^1242054-1 is not prime.  Res64: A4F8C02F2901B361  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 05:03:05]
807*2^1242054-1 is not prime.  Res64: BE01EDDD2233F473  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 05:03:06]
881*2^1242054-1 is not prime.  Res64: BB57D3DC5F487AAC  Time : 0.0 sec.
user=vaughan
[2013-03-05 05:17:33]
987*2^1242053-1 is not prime.  Res64: D6836E36649EF2CD  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 05:20:36]
965*2^1242054-1 is not prime.  Res64: 962527771403A44B  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 05:20:37]
609*2^1242055-1 is not prime.  Res64: D777181467E743DB  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 05:20:38]
705*2^1242055-1 is not prime.  Res64: 403FA2A45155413A  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 05:20:38]
723*2^1242055-1 is not prime.  Res64: BBDF2C8DC7053DE2  Time : 0.0 sec.
user=juhehe
[2013-03-05 05:28:33]
915*2^1242054-1 is not prime.  Res64: 6934EED27A00F9C2  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 05:38:07]
747*2^1242057-1 is not prime.  Res64: 844504D94296FF7F  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 05:38:07]
861*2^1242057-1 is not prime.  Res64: E0FFD6C12D47E3D1  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 05:38:07]
805*2^1242057-1 is not prime.  Res64: D4D0DD20FAB8D7C0  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 05:38:08]
895*2^1242057-1 is not prime.  Res64: D373C683055C4BBF  Time : 0.0 sec.
user=juhehe
[2013-03-05 05:39:20]
675*2^1242057-1 is not prime.  Res64: 796B94133BAEC304  Time : 0.0 sec.
user=juhehe
[2013-03-05 05:54:54]
603*2^1242058-1 is not prime.  Res64: 4C9D6525BA7E1DE7  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 05:55:35]
705*2^1242058-1 is not prime.  Res64: 65E9301F5CE2CC3A  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 05:55:35]
645*2^1242058-1 is not prime.  Res64: 6B3D63148C735BD9  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 05:55:36]
813*2^1242058-1 is not prime.  Res64: 861095F0F5A2F427  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 05:55:36]
647*2^1242058-1 is not prime.  Res64: 7789AC762F1FE9B1  Time : 0.0 sec.
user=vaughan
[2013-03-05 05:55:39]
741*2^1242057-1 is not prime.  Res64: 1E81A02FFB51B456  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 06:13:02]
905*2^1242058-1 is not prime.  Res64: EB9D0DEC2C90CADB  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 06:13:03]
615*2^1242059-1 is not prime.  Res64: 3F81C878B16A18EB  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 06:13:03]
951*2^1242058-1 is not prime.  Res64: C81A4E0E77FC34B7  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 06:13:03]
621*2^1242059-1 is not prime.  Res64: 01D1010C808C05F2  Time : 0.0 sec.
user=juhehe
[2013-03-05 06:13:33]
735*2^1242056-1 is not prime.  Res64: EA4AD0B8A3CDDFBC  Time : 0.0 sec.
user=juhehe
[2013-03-05 06:20:55]
991*2^1242057-1 is not prime.  Res64: 273A9C04377C408E  Time : 0.0 sec.
user=juhehe
[2013-03-05 06:21:58]
885*2^1242058-1 is not prime.  Res64: ED69E1CD84B73BF9  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 06:30:30]
895*2^1242059-1 is not prime.  Res64: 11D7669F7C60A204  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 06:30:30]
913*2^1242059-1 is not prime.  Res64: 961A034CDBBB25C6  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 06:30:31]
949*2^1242059-1 is not prime.  Res64: 6479509DF4372214  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 06:30:32]
609*2^1242060-1 is not prime.  Res64: C361242D9CEA54AA  Time : 0.0 sec.
user=vaughan
[2013-03-05 06:33:38]
711*2^1242059-1 is not prime.  Res64: 380A748D321C0EB8  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 06:47:57]
647*2^1242060-1 is not prime.  Res64: 07D72EFBDE12E468  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 06:47:58]
707*2^1242060-1 is not prime.  Res64: 404DB14CC0A45C8D  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 06:47:58]
753*2^1242060-1 is not prime.  Res64: 17759EAAD96F1C88  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 06:47:58]
845*2^1242060-1 is not prime.  Res64: D35D4CDAD2BB1021  Time : 0.0 sec.
user=juhehe
[2013-03-05 06:49:54]
827*2^1242058-1 is not prime.  Res64: 43D0DBFF0C66A1CC  Time : 0.0 sec.
user=juhehe
[2013-03-05 07:04:09]
627*2^1242060-1 is not prime.  Res64: F4B224FD1EE84A38  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 07:05:25]
905*2^1242060-1 is not prime.  Res64: 2B897786A58BF6D5  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 07:05:26]
625*2^1242061-1 is not prime.  Res64: A3662739E727C1DE  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 07:05:26]
675*2^1242061-1 is not prime.  Res64: FBF03B8F8B47DE07  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 07:05:27]
811*2^1242061-1 is not prime.  Res64: 008FB50D7B89635A  Time : 0.0 sec.
user=vaughan
[2013-03-05 07:11:37]
879*2^1242060-1 is not prime.  Res64: 4F7C3101FBB0F0B0  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 07:22:54]
931*2^1242061-1 is not prime.  Res64: B40B84B595AC4224  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 07:22:54]
671*2^1242062-1 is not prime.  Res64: 39CAB11F7AD68DDC  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 07:22:55]
677*2^1242062-1 is not prime.  Res64: BA63825A43EFF756  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 07:22:56]
705*2^1242062-1 is not prime.  Res64: 933AEFECA255FB66  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 07:40:21]
953*2^1242062-1 is not prime.  Res64: 40640C568004F89C  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 07:40:22]
879*2^1242063-1 is not prime.  Res64: 272143E41D6B5ECD  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 07:40:22]
819*2^1242063-1 is not prime.  Res64: 5ADC4F5FDD02BED6  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 07:40:22]
913*2^1242063-1 is not prime.  Res64: FBF7CEC4A3E85409  Time : 0.0 sec.
user=juhehe
[2013-03-05 07:47:26]
819*2^1242061-1 is not prime.  Res64: 45683570FBC0CA60  Time : 0.0 sec.
user=vaughan
[2013-03-05 07:49:48]
893*2^1242062-1 is not prime.  Res64: 3461E1D380165C42  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 07:57:49]
657*2^1242064-1 is not prime.  Res64: BF562705AA8482AE  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 07:57:50]
921*2^1242063-1 is not prime.  Res64: F0DB0E94866840D2  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 07:57:50]
699*2^1242064-1 is not prime.  Res64: FF0EC6C7C4C2EB0B  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 07:57:50]
645*2^1242064-1 is not prime.  Res64: 6BED75D9C5C068B4  Time : 0.0 sec.
user=juhehe
[2013-03-05 08:06:56]
705*2^1242064-1 is not prime.  Res64: F2735E3A4F679AEF  Time : 0.0 sec.
user=juhehe
[2013-03-05 08:14:05]
917*2^1242062-1 is not prime.  Res64: EC07606B81C9201C  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 08:15:15]
741*2^1242065-1 is not prime.  Res64: 5A6E9AF43CC5A0A2  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 08:15:16]
771*2^1242065-1 is not prime.  Res64: 55CA33DAFEC89BF7  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 08:15:17]
805*2^1242065-1 is not prime.  Res64: CBB881C04DF88868  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 08:15:17]
937*2^1242065-1 is not prime.  Res64: F4AE017D6079876B  Time : 0.0 sec.
user=vaughan
[2013-03-05 08:27:43]
735*2^1242065-1 is not prime.  Res64: D0E3ABD4EA72F1AA  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 08:32:42]
641*2^1242066-1 is not prime.  Res64: 939146E8315262DB  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 08:32:42]
723*2^1242066-1 is not prime.  Res64: FCFD7569A69792DB  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 08:32:43]
765*2^1242066-1 is not prime.  Res64: 5642C243F5BAB85A  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 08:32:43]
963*2^1242066-1 is not prime.  Res64: 731C2A81339FFB3F  Time : 0.0 sec.
user=juhehe
[2013-03-05 08:49:42]
603*2^1242067-1 is not prime.  Res64: C69DF7240EFD329F  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 08:50:08]
769*2^1242067-1 is not prime.  Res64: BE597D221497E8CA  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 08:50:09]
873*2^1242067-1 is not prime.  Res64: 8C312DC30C178B30  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 08:50:10]
973*2^1242067-1 is not prime.  Res64: AFB92BDCD65FB419  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 08:50:11]
993*2^1242067-1 is not prime.  Res64: 95B69B7A48AE3E6B  Time : 0.0 sec.
user=juhehe
[2013-03-05 08:50:55]
819*2^1242064-1 is not prime.  Res64: 29CCED41E63E1DBB  Time : 0.0 sec.
user=vaughan
[2013-03-05 09:05:40]
609*2^1242067-1 is not prime.  Res64: 91686DBA39220351  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 09:07:35]
687*2^1242068-1 is not prime.  Res64: 1E9F52FB8AB4E913  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 09:07:36]
689*2^1242068-1 is not prime.  Res64: 4C4EBDEB07B1B180  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 09:07:36]
813*2^1242068-1 is not prime.  Res64: C86A50903854B7A9  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 09:07:36]
893*2^1242068-1 is not prime.  Res64: A9FB77B3FF3AC2D8  Time : 0.0 sec.
user=juhehe
[2013-03-05 09:11:21]
741*2^1242067-1 is not prime.  Res64: 91E4FEE01D4843CD  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 09:25:02]
747*2^1242069-1 is not prime.  Res64: 9744DDA0FED1BFBD  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 09:25:02]
891*2^1242069-1 is not prime.  Res64: 656B3C58191883EE  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 09:25:03]
907*2^1242069-1 is not prime.  Res64: CDA691151349F609  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 09:25:04]
921*2^1242069-1 is not prime.  Res64: A989662F6C26BB5C  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 09:42:29]
741*2^1242070-1 is not prime.  Res64: 799B9673CEF47495  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 09:42:30]
773*2^1242070-1 is not prime.  Res64: DC0D1C6E8042D38B  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 09:42:30]
861*2^1242070-1 is not prime.  Res64: 6AD180540ACE74B6  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 09:42:31]
867*2^1242070-1 is not prime.  Res64: AE9B7814CE740BAE  Time : 0.0 sec.
user=vaughan
[2013-03-05 09:43:44]
661*2^1242069-1 is not prime.  Res64: FEB3A44E7EC63BEA  Time : 0.0 sec.
user=juhehe
[2013-03-05 09:56:39]
975*2^1242070-1 is not prime.  Res64: 2BE76313A90B2C8E  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 09:59:55]
987*2^1242070-1 is not prime.  Res64: 138B3A7BEB698766  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 09:59:56]
643*2^1242071-1 is not prime.  Res64: D06D00EF1BA856AF  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 09:59:57]
651*2^1242071-1 is not prime.  Res64: A7D39143ADF167A9  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 09:59:57]
675*2^1242071-1 is not prime.  Res64: FEBA497C0B00A52D  Time : 0.0 sec.
user=juhehe
[2013-03-05 10:15:22]
663*2^1242070-1 is not prime.  Res64: B9ABEED593F5B4CE  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 10:17:21]
885*2^1242071-1 is not prime.  Res64: B6A0EE0A9038AAB2  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 10:17:21]
969*2^1242071-1 is not prime.  Res64: 65D0F7AB4DA1CB28  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 10:17:22]
719*2^1242072-1 is not prime.  Res64: D142ECEBCD2597B6  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 10:17:22]
759*2^1242072-1 is not prime.  Res64: 9F07704B89236277  Time : 0.0 sec.
user=vaughan
[2013-03-05 10:21:41]
685*2^1242071-1 is not prime.  Res64: 7C19764F79CA37CF  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 10:34:51]
915*2^1242072-1 is not prime.  Res64: 4E33E59879B69ADE  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 10:34:51]
929*2^1242072-1 is not prime.  Res64: 9071CA6A041FC021  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 10:34:52]
649*2^1242073-1 is not prime.  Res64: 1C9866D417AEB4FF  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 10:34:53]
705*2^1242073-1 is not prime.  Res64: 4C5DD273D20FE7B1  Time : 0.0 sec.
user=juhehe
[2013-03-05 10:51:20]
843*2^1242071-1 is not prime.  Res64: 11D17B2E5F43D5AC  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 10:52:17]
829*2^1242073-1 is not prime.  Res64: 32CF00C48C488B9D  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 10:52:18]
831*2^1242073-1 is not prime.  Res64: 30D18EF06542CB40  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 10:52:18]
867*2^1242073-1 is not prime.  Res64: 52A197F1AB4BA749  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 10:52:19]
897*2^1242073-1 is not prime.  Res64: 3961BF0DA9541690  Time : 0.0 sec.
user=vaughan
[2013-03-05 10:59:36]
715*2^1242073-1 is not prime.  Res64: 60446558A0358463  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 11:09:44]
677*2^1242074-1 is not prime.  Res64: 1E3A24BF2125E2B1  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 11:09:45]
827*2^1242074-1 is not prime.  Res64: 39964853B4168369  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 11:09:45]
915*2^1242074-1 is not prime.  Res64: 711FD3C5ED89A022  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 11:09:45]
921*2^1242074-1 is not prime.  Res64: 4F7B7198813E9D8E  Time : 0.0 sec.
user=juhehe
[2013-03-05 11:16:08]
741*2^1242073-1 is not prime.  Res64: F0B48A675F674C47  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 11:27:12]
619*2^1242075-1 is not prime.  Res64: 72473C5F61801454  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 11:27:12]
723*2^1242075-1 is not prime.  Res64: D39DA4551F00E658  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 11:27:13]
765*2^1242075-1 is not prime.  Res64: 09A82BF5B1F61BC8  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 11:27:14]
783*2^1242075-1 is not prime.  Res64: CCFF7AE0F5957E15  Time : 0.0 sec.
user=vaughan
[2013-03-05 11:42:30]
971*2^1242074-1 is not prime.  Res64: C5C284C6FABEE6A8  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 11:44:37]
657*2^1242076-1 is not prime.  Res64: 45716E4953BF4D93  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 11:44:38]
677*2^1242076-1 is not prime.  Res64: 95AADEE10661B023  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 11:44:39]
759*2^1242076-1 is not prime.  Res64: C2E41843686F3886  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 11:44:40]
777*2^1242076-1 is not prime.  Res64: EEAC180BC3892345  Time : 0.0 sec.
user=juhehe
[2013-03-05 11:50:12]
819*2^1242075-1 is not prime.  Res64: E8CC6AC9E8A44DEB  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 12:02:10]
993*2^1242076-1 is not prime.  Res64: D15EA6B286ABA275  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 12:02:11]
621*2^1242077-1 is not prime.  Res64: 281BABC95A0EACA8  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 12:02:12]
631*2^1242077-1 is not prime.  Res64: 9E7D535C1D048A5C  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 12:02:13]
735*2^1242077-1 is not prime.  Res64: C1E484F8E97C2D47  Time : 0.0 sec.
user=juhehe
[2013-03-05 12:16:17]
805*2^1242075-1 is not prime.  Res64: EC36F400ACBB6D54  Time : 0.0 sec.
user=juhehe
[2013-03-05 12:19:42]
795*2^1242077-1 is not prime.  Res64: B9734F1DF26C4BDA  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 12:22:47]
837*2^1242077-1 is not prime.  Res64: 5AF12A947321D951  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 12:22:48]
901*2^1242077-1 is not prime.  Res64: 0B6F5F125FA7A80E  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 12:23:37]
615*2^1242078-1 is not prime.  Res64: BDD7779A75F3CEE5  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 12:23:38]
663*2^1242078-1 is not prime.  Res64: 44604A3CAB380026  Time : 0.0 sec.
user=vaughan
[2013-03-05 12:25:31]
989*2^1242076-1 is not prime.  Res64: 0B91E2FDE228FC23  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 12:40:17]
747*2^1242078-1 is not prime.  Res64: 0CF996D36378CB06  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 12:40:18]
681*2^1242079-1 is not prime.  Res64: F5FEC52A4852B6D4  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 12:41:05]
685*2^1242079-1 is not prime.  Res64: 9AC7D04461A56360  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 12:41:06]
745*2^1242079-1 is not prime.  Res64: 78C82C7A67014703  Time : 0.0 sec.
user=juhehe
[2013-03-05 12:51:35]
769*2^1242077-1 is not prime.  Res64: 45D92F5A607E46BA  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 12:57:43]
951*2^1242079-1 is not prime.  Res64: 645D765C820E4D22  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 12:57:44]
669*2^1242080-1 is not prime.  Res64: A033D70C9F5B9CBE  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 12:58:31]
687*2^1242080-1 is not prime.  Res64: 2A09240CF0893356  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 12:58:32]
725*2^1242080-1 is not prime.  Res64: 07270979E16A3642  Time : 0.0 sec.
user=vaughan
[2013-03-05 13:03:27]
861*2^1242079-1 is not prime.  Res64: 359402F6D2E2CFA7  Time : 0.0 sec.
user=juhehe
[2013-03-05 13:14:30]
939*2^1242079-1 is not prime.  Res64: 53F9A54E867EC20A  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 13:15:11]
767*2^1242080-1 is not prime.  Res64: 23C1B6538B573A00  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 13:15:11]
803*2^1242080-1 is not prime.  Res64: 6697DCCB68B0A59E  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 13:15:59]
833*2^1242080-1 is not prime.  Res64: F32FDBF0E99D1700  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 13:15:59]
915*2^1242080-1 is not prime.  Res64: 47845D5243E373E9  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 13:32:37]
999*2^1242080-1 is not prime.  Res64: 17BD3930496B6A5C  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 13:32:37]
601*2^1242081-1 is not prime.  Res64: 813315E4672975AE  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 13:33:24]
751*2^1242081-1 is not prime.  Res64: E6FA308C6EF7FC70  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 13:33:25]
889*2^1242081-1 is not prime.  Res64: 947F243FFEDA783E  Time : 0.0 sec.
user=vaughan
[2013-03-05 13:41:25]
945*2^1242080-1 is not prime.  Res64: A48B1C915D72DF64  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 13:50:05]
945*2^1242081-1 is not prime.  Res64: 9BE7F83EE63DC576  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 13:50:05]
969*2^1242081-1 is not prime.  Res64: C18371C5BD4E8F1F  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 13:50:49]
975*2^1242081-1 is not prime.  Res64: 59B750502A3F0C0B  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 13:50:50]
665*2^1242082-1 is not prime.  Res64: 78F50CA81D665FAC  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 14:07:32]
945*2^1242082-1 is not prime.  Res64: 06E1C55DEC46BE29  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 14:07:33]
983*2^1242082-1 is not prime.  Res64: C7952B858E94CD70  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 14:08:16]
615*2^1242083-1 is not prime.  Res64: 071EC60B32E0C825  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 14:08:17]
735*2^1242083-1 is not prime.  Res64: 1BE7A178083BE66B  Time : 0.0 sec.
user=vaughan
[2013-03-05 14:19:19]
777*2^1242082-1 is not prime.  Res64: 6F7B0F7E0F054F5A  Time : 0.0 sec.
user=juhehe
[2013-03-05 14:24:22]
963*2^1242080-1 is not prime.  Res64: E6F4D6F82717AA89  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 14:25:01]
741*2^1242083-1 is not prime.  Res64: 69BEB12ED628CFD5  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 14:25:01]
921*2^1242083-1 is not prime.  Res64: DFF18AE3E996C059  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 14:25:42]
949*2^1242083-1 is not prime.  Res64: EA262F7BA43E5371  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 14:25:43]
635*2^1242084-1 is not prime.  Res64: BEC181F3E6268923  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 14:42:27]
753*2^1242084-1 is not prime.  Res64: 4269D1D7E3DA9E55  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 14:42:27]
875*2^1242084-1 is not prime.  Res64: 43512E70624F7134  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 14:43:08]
887*2^1242084-1 is not prime.  Res64: 5ED8A91573EB2FEE  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 14:43:09]
929*2^1242084-1 is not prime.  Res64: 3815133AE03583ED  Time : 0.0 sec.
user=vaughan
[2013-03-05 14:57:16]
665*2^1242084-1 is not prime.  Res64: 65C53146A9196951  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 14:59:54]
607*2^1242085-1 is not prime.  Res64: 3D89BFF56646E0F9  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 14:59:55]
651*2^1242085-1 is not prime.  Res64: 6FB87C47C974B331  Time : 0.0 sec.
user=juhehe
[2013-03-05 14:59:59]
987*2^1242082-1 is not prime.  Res64: B5D9FF1CDD5C88D2  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 15:00:35]
777*2^1242085-1 is not prime.  Res64: F26014F0955B6582  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 15:00:36]
859*2^1242085-1 is not prime.  Res64: 8303B2704E4FA5E1  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 15:17:21]
711*2^1242086-1 is not prime.  Res64: DE00677F4B3B2167  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 15:17:22]
923*2^1242086-1 is not prime.  Res64: FE0F786ACD0A5406  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 15:18:04]
941*2^1242086-1 is not prime.  Res64: 5F4D693EB0F6E792  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 15:18:04]
619*2^1242087-1 is not prime.  Res64: C24241DCCED6A089  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 15:35:33]
661*2^1242087-1 is not prime.  Res64: C956FD88D43DA99E  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 15:35:33]
751*2^1242087-1 is not prime.  Res64: 382525B5A9333B7F  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 15:36:19]
765*2^1242087-1 is not prime.  Res64: EDE84F53FEA2C711  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 15:36:19]
781*2^1242087-1 is not prime.  Res64: C07E42F3E502BBF6  Time : 0.0 sec.
user=vaughan
[2013-03-05 15:40:17]
975*2^1242085-1 is not prime.  Res64: 3F9A89D6F758B5AE  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 15:53:45]
909*2^1242087-1 is not prime.  Res64: F9DEA3E733FAC3C4  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 15:53:46]
985*2^1242087-1 is not prime.  Res64: C3E5C4FD25E26495  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 15:54:30]
713*2^1242088-1 is not prime.  Res64: 0E0DCFA969494B5A  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 15:54:30]
813*2^1242088-1 is not prime.  Res64: 22ACF34A894B15E0  Time : 0.0 sec.
user=juhehe
[2013-03-05 16:00:30]
651*2^1242087-1 is not prime.  Res64: 1398F1EF7779CAF9  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 16:11:10]
999*2^1242088-1 is not prime.  Res64: 8BCC7B7EA3C33D89  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 16:11:11]
675*2^1242089-1 is not prime.  Res64: BBE9D5C8E1BA1C13  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 16:11:55]
721*2^1242089-1 is not prime.  Res64: 09F672213DDE4109  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 16:11:55]
865*2^1242089-1 is not prime.  Res64: 663400E8CC25063A  Time : 0.0 sec.
user=vaughan
[2013-03-05 16:18:15]
933*2^1242088-1 is not prime.  Res64: 1BD8B7A120B07493  Time : 0.0 sec.
user=juhehe
[2013-03-05 16:25:29]
861*2^1242087-1 is not prime.  Res64: EF9F588784B4C184  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 16:28:38]
987*2^1242089-1 is not prime.  Res64: 6433A1A06232AFFE  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 16:28:38]
641*2^1242090-1 is not prime.  Res64: 3801A0150AE6C546  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 16:29:19]
707*2^1242090-1 is not prime.  Res64: 002C492FE761780C  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 16:29:20]
945*2^1242090-1 is not prime.  Res64: 41890213D2214624  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 16:46:02]
645*2^1242091-1 is not prime.  Res64: 3F069D81E5C337A4  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 16:46:02]
715*2^1242091-1 is not prime.  Res64: 0935F7DFB1A24350  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 16:46:43]
849*2^1242091-1 is not prime.  Res64: E79049E44D083707  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 16:46:43]
855*2^1242091-1 is not prime.  Res64: 48EB71F0CAC9F9F7  Time : 0.0 sec.
user=vaughan
[2013-03-05 16:56:11]
619*2^1242091-1 is not prime.  Res64: C649558E7617E264  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 17:03:25]
969*2^1242091-1 is not prime.  Res64: DA113B74C6B12499  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 17:03:26]
973*2^1242091-1 is not prime.  Res64: 20DC5730730888D4  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 17:04:07]
623*2^1242092-1 is not prime.  Res64: 7388FAD50D76CC53  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 17:04:08]
629*2^1242092-1 is not prime.  Res64: 094AB7F037B31F4F  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 17:20:50]
621*2^1242093-1 is not prime.  Res64: 4172416FBFD8414F  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 17:20:50]
627*2^1242093-1 is not prime.  Res64: B916BF95414B1AE8  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 17:21:34]
651*2^1242093-1 is not prime.  Res64: 8B01AF43F62A00FB  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 17:21:34]
675*2^1242093-1 is not prime.  Res64: EF3C5EC1E8BCF0A2  Time : 0.0 sec.
user=juhehe
[2013-03-05 17:23:11]
883*2^1242091-1 is not prime.  Res64: 65B3DF900966216F  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 17:38:15]
759*2^1242093-1 is not prime.  Res64: D162384057BB32C7  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 17:38:15]
795*2^1242093-1 is not prime.  Res64: D1663170B739F4F3  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 17:38:57]
805*2^1242093-1 is not prime.  Res64: 626EF33B6D88F4AE  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 17:38:58]
915*2^1242093-1 is not prime.  Res64: C5B4988DC6E74B27  Time : 0.0 sec.
user=vaughan
[2013-03-05 17:39:08]
977*2^1242092-1 is not prime.  Res64: 81056869AB5B158B  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 17:55:38]
949*2^1242093-1 is not prime.  Res64: 84E27D76351E82CE  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 17:55:38]
961*2^1242093-1 is not prime.  Res64: 87FA41C576E225D9  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 17:56:22]
707*2^1242094-1 is not prime.  Res64: E4EBFD5DD1F7602A  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 17:56:22]
765*2^1242094-1 is not prime.  Res64: F626B8F17A6F28BF  Time : 0.0 sec.
user=juhehe
[2013-03-05 18:06:12]
983*2^1242092-1 is not prime.  Res64: 5340189ED0792A73  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 18:13:02]
857*2^1242094-1 is not prime.  Res64: 3B40BED89A8A22AF  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 18:13:03]
917*2^1242094-1 is not prime.  Res64: 564A68ED4259D72B  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 18:13:46]
685*2^1242095-1 is not prime.  Res64: 27F2D8599A6C523B  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 18:13:46]
771*2^1242095-1 is not prime.  Res64: 9B4F9255BC3A9CA3  Time : 0.0 sec.
user=vaughan
[2013-03-05 18:17:01]
783*2^1242094-1 is not prime.  Res64: FAC18FB02DAF74EB  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 18:30:29]
775*2^1242095-1 is not prime.  Res64: EC8A22C9117A93AA  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 18:30:30]
909*2^1242095-1 is not prime.  Res64: 41F517756DC1C2A9  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 18:31:10]
939*2^1242095-1 is not prime.  Res64: 066487B1F3E31AC9  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 18:31:10]
979*2^1242095-1 is not prime.  Res64: 96E62AE6F4D97902  Time : 0.0 sec.
user=juhehe
[2013-03-05 18:31:55]
927*2^1242093-1 is not prime.  Res64: 5D96FBA1D5AAE21F  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 18:47:53]
765*2^1242096-1 is not prime.  Res64: 96C764E5EDB514AB  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 18:47:54]
893*2^1242096-1 is not prime.  Res64: 6EC0BB7A4819D431  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 18:48:34]
969*2^1242096-1 is not prime.  Res64: 69F49893489ABD32  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 18:48:35]
975*2^1242096-1 is not prime.  Res64: C8EEF11103219A93  Time : 0.0 sec.
user=vaughan
[2013-03-05 18:54:57]
633*2^1242096-1 is not prime.  Res64: 5B20AC0D5FEB4903  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 19:05:17]
909*2^1242097-1 is not prime.  Res64: 02298D7EA90E6AA8  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 19:05:19]
771*2^1242098-1 is not prime.  Res64: D318DA54EF666605  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 19:05:59]
801*2^1242098-1 is not prime.  Res64: 8DF08AA4D3D0D246  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 19:06:00]
831*2^1242098-1 is not prime.  Res64: 7548A500680410F5  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 19:22:44]
751*2^1242099-1 is not prime.  Res64: 520700E1B2FCD5CD  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 19:22:44]
793*2^1242099-1 is not prime.  Res64: DFB6CD7A2BE82269  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 19:23:25]
895*2^1242099-1 is not prime.  Res64: 46BE71F9815C2FE1  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 19:23:25]
999*2^1242099-1 is not prime.  Res64: F347F76C46707C79  Time : 0.0 sec.
user=vaughan
[2013-03-05 19:32:51]
893*2^1242098-1 is not prime.  Res64: BD575F2815D786F7  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 19:40:09]
603*2^1242100-1 is not prime.  Res64: B4F804747F7BCC9E  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 19:40:09]
677*2^1242100-1 is not prime.  Res64: 6EA234341068FD7A  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 19:40:49]
707*2^1242100-1 is not prime.  Res64: DD6AF877CC0A6F21  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 19:40:49]
783*2^1242100-1 is not prime.  Res64: 9F535B17CCA1CB1A  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 19:57:33]
711*2^1242101-1 is not prime.  Res64: 402EA233D6E085D4  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 19:57:33]
715*2^1242101-1 is not prime.  Res64: 0C8A0E95DB3F2090  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 19:58:13]
727*2^1242101-1 is not prime.  Res64: 118ED5781F8D9DD9  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 19:58:13]
867*2^1242101-1 is not prime.  Res64: 1D28F17D0FC650D9  Time : 0.0 sec.
user=juhehe
[2013-03-05 20:07:26]
741*2^1242099-1 is not prime.  Res64: B1E25D1CD38499B6  Time : 0.0 sec.
user=vaughan
[2013-03-05 20:10:49]
691*2^1242101-1 is not prime.  Res64: 216479C5909A0784  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 20:14:58]
981*2^1242101-1 is not prime.  Res64: 7B903AAA23C1BC71  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 20:14:58]
997*2^1242101-1 is not prime.  Res64: 3F7AA50F73FEA6EA  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 20:15:38]
681*2^1242102-1 is not prime.  Res64: 32236612CFAD9645  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 20:15:39]
717*2^1242102-1 is not prime.  Res64: 8F430982A0D934A2  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 20:32:35]
801*2^1242102-1 is not prime.  Res64: 91A8D316D5AE05DF  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 20:32:36]
675*2^1242103-1 is not prime.  Res64: 4C0AE3B4DFEC7B36  Time : 0.0 sec.
user=juhehe
[2013-03-05 20:32:52]
927*2^1242100-1 is not prime.  Res64: C1BB04D02A765853  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 20:33:15]
913*2^1242103-1 is not prime.  Res64: 1886599DBD94A500  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 20:33:16]
993*2^1242103-1 is not prime.  Res64: E747796A36777FFB  Time : 0.0 sec.
user=vaughan
[2013-03-05 20:48:44]
761*2^1242102-1 is not prime.  Res64: 381C5926493DA573  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 20:50:10]
665*2^1242104-1 is not prime.  Res64: 510FC9ED1E4B9D83  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 20:50:10]
677*2^1242104-1 is not prime.  Res64: E910CF816C0738A1  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 20:50:50]
725*2^1242104-1 is not prime.  Res64: D3228D7F9C987D89  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 20:50:51]
785*2^1242104-1 is not prime.  Res64: 1465CE114A8FCAE2  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 21:07:48]
903*2^1242104-1 is not prime.  Res64: E2E61C287864FFFE  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 21:07:49]
935*2^1242104-1 is not prime.  Res64: 9BE8EDF3526232C3  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 21:08:30]
995*2^1242104-1 is not prime.  Res64: 9135420710942767  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 21:08:31]
625*2^1242105-1 is not prime.  Res64: 70AA3D9B8C719F34  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 21:25:22]
741*2^1242105-1 is not prime.  Res64: 577001C80DBA6044  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 21:25:23]
759*2^1242105-1 is not prime.  Res64: F9B9019652043BDB  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 21:26:06]
819*2^1242105-1 is not prime.  Res64: 87A89812611137C5  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 21:26:06]
871*2^1242105-1 is not prime.  Res64: FBF575EBC9435EE8  Time : 0.0 sec.
user=vaughan
[2013-03-05 21:26:44]
899*2^1242104-1 is not prime.  Res64: 09D17467CF3F8AE5  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 21:43:00]
919*2^1242105-1 is not prime.  Res64: 8039F527FF5D55A2  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 21:43:00]
955*2^1242105-1 is not prime.  Res64: 1F798F585CD6FEB5  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 21:43:45]
999*2^1242105-1 is not prime.  Res64: ACD6BB573814D1A9  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 21:43:46]
611*2^1242106-1 is not prime.  Res64: E268A6AB7391A8EF  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 22:01:04]
857*2^1242106-1 is not prime.  Res64: D899BF8E553B974A  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 22:01:05]
881*2^1242106-1 is not prime.  Res64: 58E6C395DEE1AE15  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 22:01:49]
911*2^1242106-1 is not prime.  Res64: 8625103F0C06614A  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 22:01:50]
941*2^1242106-1 is not prime.  Res64: 46D6FED03B26BC2B  Time : 0.0 sec.
user=vaughan
[2013-03-05 22:04:38]
645*2^1242106-1 is not prime.  Res64: E20117011AC16550  Time : 0.0 sec.
user=juhehe
[2013-03-05 22:08:42]
679*2^1242105-1 is not prime.  Res64: 2BA85B5D558F62F5  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 22:19:12]
971*2^1242106-1 is not prime.  Res64: 2063A7263A949E61  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 22:19:12]
1001*2^1242106-1 is not prime.  Res64: 309149716B4E3029  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 22:19:56]
703*2^1242107-1 is not prime.  Res64: 413CC6CCBE31F55B  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 22:19:56]
715*2^1242107-1 is not prime.  Res64: 70CB1825687F56AC  Time : 0.0 sec.
user=juhehe
[2013-03-05 22:34:25]
713*2^1242106-1 is not prime.  Res64: 3340493F81B18162  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 22:37:03]
909*2^1242107-1 is not prime.  Res64: AA3819A7898F12D1  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 22:37:03]
979*2^1242107-1 is not prime.  Res64: 5851DC173FBB9611  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 22:37:45]
985*2^1242107-1 is not prime.  Res64: 5728B1046A1BD633  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 22:37:46]
725*2^1242108-1 is not prime.  Res64: A509F6F84DE440C5  Time : 0.0 sec.
user=vaughan
[2013-03-05 22:42:35]
859*2^1242107-1 is not prime.  Res64: 4748952A1E37276A  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 22:54:28]
783*2^1242108-1 is not prime.  Res64: 784554A07B29987E  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 22:54:29]
977*2^1242108-1 is not prime.  Res64: 2DD24D6E813B985F  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 22:55:10]
661*2^1242109-1 is not prime.  Res64: 7A7FD69340E3589E  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 22:55:10]
747*2^1242109-1 is not prime.  Res64: D83031EBCE79B847  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 23:11:54]
811*2^1242109-1 is not prime.  Res64: 47B637F41FEB00E0  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 23:11:54]
819*2^1242109-1 is not prime.  Res64: 02D7235313AF995C  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 23:12:35]
831*2^1242109-1 is not prime.  Res64: 3D35098D2B77542B  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 23:12:36]
663*2^1242110-1 is not prime.  Res64: 17B5AD4290EC6484  Time : 0.0 sec.
user=vaughan
[2013-03-05 23:20:31]
799*2^1242109-1 is not prime.  Res64: 7BF749D48963BB91  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 23:29:18]
767*2^1242110-1 is not prime.  Res64: 7FA45EDF62800303  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 23:29:19]
795*2^1242110-1 is not prime.  Res64: 181138B36D5E8D55  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 23:29:59]
797*2^1242110-1 is not prime.  Res64: 03D857E31A536E53  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 23:30:00]
801*2^1242110-1 is not prime.  Res64: 6356EB86C296D471  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 23:46:45]
887*2^1242110-1 is not prime.  Res64: 13BB4571C2B856B7  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 23:46:45]
923*2^1242110-1 is not prime.  Res64: 4F154818862657F3  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 23:47:26]
971*2^1242110-1 is not prime.  Res64: 1047523677AA4F1F  Time : 0.0 sec.
user=mdettweiler
[2013-03-05 23:47:27]
703*2^1242111-1 is not prime.  Res64: 9E417322C232EEBD  Time : 0.0 sec.
user=vaughan
[2013-03-05 23:58:28]
857*2^1242110-1 is not prime.  Res64: F9D1F854AAD1D5DE  Time : 0.0 sec.