user=mdettweiler
[2015-03-14 00:03:21]
811*2^1395353-1 is not prime.  Res64: B2497D8245CECEB3  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 00:03:22]
837*2^1395353-1 is not prime.  Res64: B8055B64066F5115  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 00:03:31]
901*2^1395353-1 is not prime.  Res64: 7EBCF30AAF613B4E  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 00:03:32]
949*2^1395353-1 is not prime.  Res64: DD2796D80B8B4756  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 00:20:34]
991*2^1395353-1 is not prime.  Res64: 78AA65863282F2D6  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 00:20:35]
621*2^1395354-1 is not prime.  Res64: 3EDD2A2F42F52D48  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 00:25:00]
663*2^1395354-1 is not prime.  Res64: 295EE0ED973AD5AF  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 00:25:01]
683*2^1395354-1 is not prime.  Res64: 904493ABF334A3E0  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 00:29:39]
755*2^1395354-1 is not prime.  Res64: E393CD21FF327E7C  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 00:29:40]
851*2^1395354-1 is not prime.  Res64: 6D98615EE2C8CD0C  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 00:29:46]
717*2^1395354-1 is not prime.  Res64: 6F69C5B1793915D1  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 00:29:46]
723*2^1395354-1 is not prime.  Res64: CAFC856C38CD2136  Time : 0.0 sec.
user=juhehe
[2015-03-14 00:42:38]
1001*2^1395354-1 is not prime.  Res64: C9E079FCD94C9A80  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 00:46:34]
625*2^1395355-1 is not prime.  Res64: 31291EFFBEEE54EA  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 00:46:35]
699*2^1395355-1 is not prime.  Res64: 8401CB2B16D463D5  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 00:51:03]
913*2^1395355-1 is not prime.  Res64: 54F608233F09F9A1  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 00:51:04]
999*2^1395355-1 is not prime.  Res64: C5D7A8B885264801  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 00:55:24]
725*2^1395356-1 is not prime.  Res64: 5B61074B7AB36000  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 00:55:24]
743*2^1395356-1 is not prime.  Res64: 2245F1C82F8EC69D  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 00:55:32]
893*2^1395356-1 is not prime.  Res64: B5669C3C4372B80F  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 00:55:33]
987*2^1395356-1 is not prime.  Res64: 8046691A0A6EC245  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 01:12:24]
685*2^1395357-1 is not prime.  Res64: B53F7B8ED18474F8  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 01:12:24]
747*2^1395357-1 is not prime.  Res64: 6DCAD6EC9418C93C  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 01:16:47]
805*2^1395357-1 is not prime.  Res64: 15A307CB17BE370B  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 01:16:48]
835*2^1395357-1 is not prime.  Res64: 019D561FC00A1F3E  Time : 0.0 sec.
user=juhehe
[2015-03-14 01:17:15]
601*2^1395357-1 is not prime.  Res64: 255B37C9CE9A207C  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 01:21:11]
889*2^1395357-1 is not prime.  Res64: 131F106B972D7F5A  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 01:21:11]
945*2^1395357-1 is not prime.  Res64: E5C27D6A7AEFD557  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 01:21:19]
645*2^1395358-1 is not prime.  Res64: BCB4F69ECB27D510  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 01:21:19]
665*2^1395358-1 is not prime.  Res64: 1208E1964ECD6790  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 01:38:16]
671*2^1395358-1 is not prime.  Res64: 7D5914AA7E745B38  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 01:38:17]
705*2^1395358-1 is not prime.  Res64: E332A1C7CFBD0FC1  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 01:42:38]
843*2^1395358-1 is not prime.  Res64: 72978237AED2EF2E  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 01:42:39]
981*2^1395358-1 is not prime.  Res64: E12B1FE912C75DCC  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 01:47:03]
995*2^1395358-1 is not prime.  Res64: 18C48759E2E79876  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 01:47:04]
721*2^1395359-1 is not prime.  Res64: C45444375EDD6C4B  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 01:47:11]
843*2^1395359-1 is not prime.  Res64: 5F51365A489A877C  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 01:47:12]
949*2^1395359-1 is not prime.  Res64: 1931030924F1BD05  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 02:04:10]
747*2^1395360-1 is not prime.  Res64: 135AC383887A57B7  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 02:04:11]
759*2^1395360-1 is not prime.  Res64: 5D385528000546D1  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 02:08:27]
779*2^1395360-1 is not prime.  Res64: 6DA304F35517750A  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 02:08:28]
789*2^1395360-1 is not prime.  Res64: A75C3588928A3BB0  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 02:12:58]
929*2^1395360-1 is not prime.  Res64: 54D75AA42DDF2CD2  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 02:12:59]
983*2^1395360-1 is not prime.  Res64: 1CC1009013CDC7C8  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 02:13:00]
849*2^1395360-1 is not prime.  Res64: 223BA5D9F8C1051D  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 02:13:01]
857*2^1395360-1 is not prime.  Res64: B0F65E99A7331AAC  Time : 0.0 sec.
user=juhehe
[2015-03-14 02:23:57]
741*2^1395361-1 is not prime.  Res64: C755C7DDD658FDC3  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 02:30:07]
745*2^1395361-1 is not prime.  Res64: 96FEDE31FC45924D  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 02:30:13]
861*2^1395361-1 is not prime.  Res64: 0377E5605FD25C5F  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 02:34:16]
877*2^1395361-1 is not prime.  Res64: 0DF69619DC4A464A  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 02:34:16]
665*2^1395362-1 is not prime.  Res64: 64A1C9281D524921  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 02:38:56]
677*2^1395362-1 is not prime.  Res64: 474ECE1DD9C09B0C  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 02:38:56]
815*2^1395362-1 is not prime.  Res64: E0C75E71EB158BD0  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 02:38:56]
701*2^1395362-1 is not prime.  Res64: CEFAE2A3F0474A76  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 02:38:57]
945*2^1395362-1 is not prime.  Res64: BA6FA3CD07D1863F  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 02:56:50]
675*2^1395363-1 is not prime.  Res64: F29AA958442C4194  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 02:56:51]
679*2^1395363-1 is not prime.  Res64: 6BC3A51413986701  Time : 0.0 sec.
user=juhehe
[2015-03-14 02:57:06]
963*2^1395362-1 is not prime.  Res64: 5003A9DA01134F4C  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 03:00:59]
705*2^1395363-1 is not prime.  Res64: DA467181955F101D  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 03:01:00]
723*2^1395363-1 is not prime.  Res64: A4E26D505D597164  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 03:05:06]
789*2^1395363-1 is not prime.  Res64: 88360E37A6DA5827  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 03:05:07]
819*2^1395363-1 is not prime.  Res64: 9CEFB1587BC5DF1F  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 03:06:30]
741*2^1395363-1 is not prime.  Res64: A9830B2551685D4A  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 03:06:30]
751*2^1395363-1 is not prime.  Res64: 212C6F8F73109709  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 03:22:41]
871*2^1395363-1 is not prime.  Res64: 28F4A9A6CD72C721  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 03:22:42]
879*2^1395363-1 is not prime.  Res64: 134E27D7FE24B5E7  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 03:26:54]
963*2^1395363-1 is not prime.  Res64: 5548D6F1F6168A88  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 03:26:55]
615*2^1395364-1 is not prime.  Res64: 9544EBDF7E798113  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 03:31:08]
635*2^1395364-1 is not prime.  Res64: 8CE554CEEE985A97  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 03:31:09]
699*2^1395364-1 is not prime.  Res64: 7F1FD3EB33E6A947  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 03:32:31]
707*2^1395364-1 is not prime.  Res64: 1398D3A528B2D39C  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 03:32:32]
833*2^1395364-1 is not prime.  Res64: E07FC96EB9DCC9C4  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 03:48:39]
929*2^1395364-1 is not prime.  Res64: D94AF76020DE2F45  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 03:48:39]
627*2^1395365-1 is not prime.  Res64: 6B8EEF0F9EA5E91B  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 03:52:49]
669*2^1395365-1 is not prime.  Res64: 3294DC1E3DD542EE  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 03:52:50]
699*2^1395365-1 is not prime.  Res64: 593AAA3394313DC4  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 03:57:09]
867*2^1395365-1 is not prime.  Res64: 34CA3AEFCE67E8D2  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 03:57:09]
885*2^1395365-1 is not prime.  Res64: F0CDA849FF6C9A72  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 03:58:32]
927*2^1395365-1 is not prime.  Res64: 0D2787030211981C  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 03:58:32]
939*2^1395365-1 is not prime.  Res64: 304803D6BA82685B  Time : 0.0 sec.
user=juhehe
[2015-03-14 04:04:07]
805*2^1395365-1 is not prime.  Res64: BD01A3701D77CECC  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 04:14:39]
985*2^1395365-1 is not prime.  Res64: AE614B3EC3CF2C33  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 04:14:39]
761*2^1395366-1 is not prime.  Res64: FBD5A2516F814A6F  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 04:18:42]
851*2^1395366-1 is not prime.  Res64: 11258E045BD31F1F  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 04:18:42]
941*2^1395366-1 is not prime.  Res64: 08E0ABF9ED27C6AC  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 04:23:02]
971*2^1395366-1 is not prime.  Res64: 6CC6FDB2A37B982C  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 04:23:02]
975*2^1395366-1 is not prime.  Res64: AA875A5230F009C9  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 04:24:22]
983*2^1395366-1 is not prime.  Res64: 1CD399857CF6E73C  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 04:24:23]
1001*2^1395366-1 is not prime.  Res64: 6E65E299590660D9  Time : 0.0 sec.
user=juhehe
[2015-03-14 04:37:57]
615*2^1395367-1 is not prime.  Res64: 7A8D87D16D444DA9  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 04:40:36]
729*2^1395367-1 is not prime.  Res64: 3E42D1CF7F5DCCC7  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 04:40:37]
741*2^1395367-1 is not prime.  Res64: AFC5C7E98934705E  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 04:44:39]
793*2^1395367-1 is not prime.  Res64: 82DC05F31C10825C  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 04:44:40]
829*2^1395367-1 is not prime.  Res64: 4B97CB5AE45FB6C9  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 04:49:01]
931*2^1395367-1 is not prime.  Res64: A00DD96504D9443A  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 04:49:02]
657*2^1395368-1 is not prime.  Res64: ACF0B13D278DE2E0  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 04:50:22]
773*2^1395368-1 is not prime.  Res64: 21D8B0A18E38C27A  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 04:50:22]
839*2^1395368-1 is not prime.  Res64: A844273A249CB19C  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 05:06:29]
869*2^1395368-1 is not prime.  Res64: 799888404C3B6570  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 05:06:30]
897*2^1395368-1 is not prime.  Res64: 2F9D3AC9BD2B8194  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 05:10:32]
915*2^1395368-1 is not prime.  Res64: 9471A88D0847CAA4  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 05:10:32]
945*2^1395368-1 is not prime.  Res64: 693EF987EF9AB645  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 05:14:55]
963*2^1395368-1 is not prime.  Res64: D993D54BED31474B  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 05:14:56]
639*2^1395369-1 is not prime.  Res64: D06D6E5335E1F7AF  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 05:16:24]
657*2^1395369-1 is not prime.  Res64: 6CD2B2C216A40A1D  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 05:16:25]
669*2^1395369-1 is not prime.  Res64: FE157A4298A80E06  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 05:32:29]
747*2^1395369-1 is not prime.  Res64: 23675369684C2520  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 05:32:30]
889*2^1395369-1 is not prime.  Res64: D60DFFD92D0912A7  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 05:36:25]
919*2^1395369-1 is not prime.  Res64: AEF276D5C5282069  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 05:36:26]
665*2^1395370-1 is not prime.  Res64: 388AD3DF59BB3AAC  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 05:40:51]
695*2^1395370-1 is not prime.  Res64: 395A894AD0037AD8  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 05:40:51]
713*2^1395370-1 is not prime.  Res64: F5DB641A23B3D7A1  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 05:42:25]
791*2^1395370-1 is not prime.  Res64: 86183A12DA94BEB8  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 05:42:26]
801*2^1395370-1 is not prime.  Res64: 0CC787284FA286D4  Time : 0.0 sec.
user=juhehe
[2015-03-14 05:44:57]
677*2^1395370-1 is not prime.  Res64: E55332DFEB1ABB86  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 05:58:28]
857*2^1395370-1 is not prime.  Res64: 9FC8A585BF7638F6  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 05:58:28]
867*2^1395370-1 is not prime.  Res64: 446C89D4757EDCEF  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 06:02:27]
885*2^1395370-1 is not prime.  Res64: 9E9BFD0AF772AEBA  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 06:02:29]
915*2^1395370-1 is not prime.  Res64: 5A1C9CB5CD0572ED  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 06:06:45]
745*2^1395371-1 is not prime.  Res64: 013872325F658C27  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 06:06:46]
811*2^1395371-1 is not prime.  Res64: 94CD67D6D70A740D  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 06:08:30]
819*2^1395371-1 is not prime.  Res64: D0C5CBDE9BD0DB53  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 06:08:30]
909*2^1395371-1 is not prime.  Res64: 1B68E10F1FAF0A09  Time : 0.0 sec.
user=juhehe
[2015-03-14 06:18:14]
913*2^1395371-1 is not prime.  Res64: BD386D82FD2ACD7A  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 06:24:24]
939*2^1395371-1 is not prime.  Res64: FA9E8D6F1DDCFAAA  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 06:24:25]
943*2^1395371-1 is not prime.  Res64: 8AAE716183ADBE39  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 06:28:33]
949*2^1395371-1 is not prime.  Res64: 051DEDA64068FC54  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 06:28:33]
669*2^1395372-1 is not prime.  Res64: 4CD3C328E50395DB  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 06:32:48]
777*2^1395372-1 is not prime.  Res64: C8D8AA9D93928696  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 06:32:48]
819*2^1395372-1 is not prime.  Res64: 08DE2723982E14DB  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 06:34:27]
873*2^1395372-1 is not prime.  Res64: BC021DC4B1BFAA71  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 06:34:28]
899*2^1395372-1 is not prime.  Res64: 75CA637271F311A1  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 06:50:25]
915*2^1395372-1 is not prime.  Res64: 510B1CC07A8569C4  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 06:50:25]
929*2^1395372-1 is not prime.  Res64: D3D35DF2C55DC60A  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 06:54:32]
977*2^1395372-1 is not prime.  Res64: 98B673C8C1A3D05C  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 06:54:32]
607*2^1395373-1 is not prime.  Res64: 66A51645DD2EFB52  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 06:58:54]
609*2^1395373-1 is not prime.  Res64: 711F72F9758D9245  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 06:58:55]
741*2^1395373-1 is not prime.  Res64: F6BAE7EBE5C5AD28  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 07:00:42]
939*2^1395373-1 is not prime.  Res64: 68BBBA9BB107B200  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 07:00:43]
985*2^1395373-1 is not prime.  Res64: 4E04541E94F4F59E  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 07:16:32]
651*2^1395374-1 is not prime.  Res64: 0A0954D896ED6041  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 07:16:33]
755*2^1395374-1 is not prime.  Res64: 5C82A0435983C670  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 07:20:28]
993*2^1395374-1 is not prime.  Res64: AC845F469149D7FE  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 07:20:29]
675*2^1395375-1 is not prime.  Res64: E58922E4FFE62EAD  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 07:24:53]
859*2^1395375-1 is not prime.  Res64: ABD4EDB651145771  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 07:24:54]
891*2^1395375-1 is not prime.  Res64: 9B13870F82BBE7BB  Time : 0.0 sec.
user=juhehe
[2015-03-14 07:25:07]
941*2^1395374-1 is not prime.  Res64: C6013C2348CDE488  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 07:26:44]
963*2^1395375-1 is not prime.  Res64: 637C90C03FD8A378  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 07:26:44]
639*2^1395376-1 is not prime.  Res64: 9FD9E60ED6466737  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 07:42:33]
653*2^1395376-1 is not prime.  Res64: F0654F056314FA5C  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 07:42:34]
717*2^1395376-1 is not prime.  Res64: A41E6600D41946E3  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 07:46:28]
803*2^1395376-1 is not prime.  Res64: 863A9A47E5089A08  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 07:46:29]
843*2^1395376-1 is not prime.  Res64: 1657CB40E7DBFC16  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 07:50:56]
845*2^1395376-1 is not prime.  Res64: 3BC83255FDDD59B1  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 07:50:56]
849*2^1395376-1 is not prime.  Res64: B6EBA405A80D0407  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 07:52:50]
903*2^1395376-1 is not prime.  Res64: 3FF317DCE9C92180  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 07:52:51]
927*2^1395376-1 is not prime.  Res64: 227D091AF5CCAA28  Time : 0.0 sec.
user=juhehe
[2015-03-14 07:58:24]
869*2^1395376-1 is not prime.  Res64: 2713E9DA2CFF21A7  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 08:08:33]
633*2^1395378-1 is not prime.  Res64: 26616A390139FFF6  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 08:08:33]
681*2^1395378-1 is not prime.  Res64: 69F153D1B65294D8  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 08:12:30]
923*2^1395378-1 is not prime.  Res64: 3D45BB01EDCDB324  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 08:12:31]
769*2^1395379-1 is not prime.  Res64: D6B2CA7688BED865  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 08:16:56]
829*2^1395379-1 is not prime.  Res64: 6B4DC1EE867472B5  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 08:16:56]
861*2^1395379-1 is not prime.  Res64: A96241EFA2CE98E5  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 08:18:49]
889*2^1395379-1 is not prime.  Res64: 054386812F45A8A4  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 08:18:50]
969*2^1395379-1 is not prime.  Res64: F5C1AB9317A0B7DB  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 08:34:35]
985*2^1395379-1 is not prime.  Res64: 3926A136BEB3DEAA  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 08:34:35]
633*2^1395380-1 is not prime.  Res64: B7CB7FA5CDF51D4C  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 08:38:30]
665*2^1395380-1 is not prime.  Res64: 1E0C1263955F52F2  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 08:38:30]
719*2^1395380-1 is not prime.  Res64: 7E746AD6F8B184F1  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 08:42:59]
725*2^1395380-1 is not prime.  Res64: 5D35FA4527E4A2C0  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 08:43:00]
743*2^1395380-1 is not prime.  Res64: 7065CAE3EDE2767B  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 08:44:45]
753*2^1395380-1 is not prime.  Res64: AD58414E9F5D4F84  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 08:44:45]
747*2^1395381-1 is not prime.  Res64: 25CB4D615FF63A60  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 09:00:42]
849*2^1395381-1 is not prime.  Res64: 8D2149F8460112A3  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 09:00:43]
921*2^1395381-1 is not prime.  Res64: 6DC1BB3CEA30C61F  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 09:04:24]
955*2^1395381-1 is not prime.  Res64: 5490AC7D6F2BF66A  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 09:04:25]
979*2^1395381-1 is not prime.  Res64: 78655CDC2096F2CC  Time : 0.0 sec.
user=juhehe
[2015-03-14 09:05:17]
811*2^1395381-1 is not prime.  Res64: B8C04ED9DB0832C8  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 09:08:57]
997*2^1395381-1 is not prime.  Res64: 3418F4C071863AAB  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 09:08:57]
603*2^1395382-1 is not prime.  Res64: 167D683E6EC378CB  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 09:10:42]
635*2^1395382-1 is not prime.  Res64: 6199812802B7DDB3  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 09:10:42]
677*2^1395382-1 is not prime.  Res64: 71D1646231E63568  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 09:26:56]
791*2^1395382-1 is not prime.  Res64: F8EC01FC45D02161  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 09:26:57]
965*2^1395382-1 is not prime.  Res64: E7FF783883A841F9  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 09:30:31]
619*2^1395383-1 is not prime.  Res64: 632BBA9265BE228D  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 09:30:31]
675*2^1395383-1 is not prime.  Res64: 6A6BD52D2F173C7D  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 09:34:59]
627*2^1395384-1 is not prime.  Res64: DBE5623F7EE479CE  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 09:34:59]
663*2^1395384-1 is not prime.  Res64: 34748714258AD904  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 09:36:38]
789*2^1395384-1 is not prime.  Res64: 257DEC54931259DF  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 09:36:38]
843*2^1395384-1 is not prime.  Res64: A9C83E4C46E642AD  Time : 0.0 sec.
user=juhehe
[2015-03-14 09:38:36]
913*2^1395383-1 is not prime.  Res64: AA23BB3C0D18AD81  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 09:53:09]
849*2^1395384-1 is not prime.  Res64: 48FFAAD1A698C9F4  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 09:53:09]
873*2^1395384-1 is not prime.  Res64: 1813451591C91430  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 09:56:36]
917*2^1395384-1 is not prime.  Res64: EBF2E4728985956A  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 09:56:37]
947*2^1395384-1 is not prime.  Res64: 4681E0223BE86820  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 10:01:03]
983*2^1395384-1 is not prime.  Res64: 11019287FF51596C  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 10:01:04]
685*2^1395385-1 is not prime.  Res64: F886AFDED7DB1D7A  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 10:02:41]
715*2^1395385-1 is not prime.  Res64: 1150358EFF5925EC  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 10:02:43]
789*2^1395385-1 is not prime.  Res64: 36166E98D2C33FF2  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 10:19:16]
799*2^1395385-1 is not prime.  Res64: 53572A5FC18A0644  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 10:19:17]
981*2^1395385-1 is not prime.  Res64: FF42A5B06BC0E4CA  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 10:22:37]
615*2^1395386-1 is not prime.  Res64: B9530C918EF0EEE8  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 10:22:37]
633*2^1395386-1 is not prime.  Res64: 577CC03E901E3F5A  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 10:27:14]
743*2^1395386-1 is not prime.  Res64: 778984512A03E807  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 10:27:15]
825*2^1395386-1 is not prime.  Res64: 6B79B7335147024C  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 10:28:40]
921*2^1395386-1 is not prime.  Res64: 2AC4991CB6B047B7  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 10:28:40]
957*2^1395386-1 is not prime.  Res64: E739DC31100FE5C1  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 10:45:16]
615*2^1395387-1 is not prime.  Res64: D53110DAC8CC1046  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 10:45:17]
685*2^1395387-1 is not prime.  Res64: 5EC139017FA21998  Time : 0.0 sec.
user=juhehe
[2015-03-14 10:46:43]
1001*2^1395386-1 is not prime.  Res64: C1F7BD9D0C57906E  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 10:48:40]
705*2^1395387-1 is not prime.  Res64: 95B2855141B770D6  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 10:48:40]
711*2^1395387-1 is not prime.  Res64: C538159FC99795E5  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 10:53:15]
735*2^1395387-1 is not prime.  Res64: AA9D245DFCE4605C  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 10:53:16]
739*2^1395387-1 is not prime.  Res64: D6794761F381B13A  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 10:54:45]
849*2^1395387-1 is not prime.  Res64: 8CC0C1E516021BD9  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 10:54:46]
909*2^1395387-1 is not prime.  Res64: 18E8A21BA6B7D95F  Time : 0.0 sec.
user=juhehe
[2015-03-14 11:10:37]
973*2^1395387-1 is not prime.  Res64: D1F11DEA953F9886  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 11:11:25]
783*2^1395388-1 is not prime.  Res64: 5EFF68C6C3BC85EE  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 11:11:26]
827*2^1395388-1 is not prime.  Res64: 01CD9414AE04E9F1  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 11:14:51]
999*2^1395388-1 is not prime.  Res64: 849A10A7794E12E7  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 11:14:51]
697*2^1395389-1 is not prime.  Res64: A3A7DB68E53754D4  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 11:19:24]
721*2^1395389-1 is not prime.  Res64: 8F059433668B0426  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 11:19:24]
795*2^1395389-1 is not prime.  Res64: 044B1AD19D45F35C  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 11:20:54]
819*2^1395389-1 is not prime.  Res64: D8CA04880E58D512  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 11:20:55]
825*2^1395389-1 is not prime.  Res64: EC433961044D139D  Time : 0.0 sec.
user=juhehe
[2015-03-14 11:23:38]
987*2^1395388-1 is not prime.  Res64: 6BC40F200CCE4D30  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 11:37:44]
885*2^1395389-1 is not prime.  Res64: 97CCFEC458EC867B  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 11:37:44]
889*2^1395389-1 is not prime.  Res64: 73AD60AC4F3CC898  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 11:41:00]
951*2^1395389-1 is not prime.  Res64: CB450D0E72FF4DC5  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 11:41:00]
957*2^1395389-1 is not prime.  Res64: EE41A046DAB15242  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 11:45:39]
969*2^1395389-1 is not prime.  Res64: A4A0E4EDFEFD817C  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 11:45:39]
647*2^1395390-1 is not prime.  Res64: 17A039D037F9A13D  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 11:47:04]
677*2^1395390-1 is not prime.  Res64: 52DF9216E029C963  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 11:47:05]
801*2^1395390-1 is not prime.  Res64: 227DCE5E426BB243  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 12:03:54]
951*2^1395390-1 is not prime.  Res64: 97539FB16E693DEB  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 12:03:56]
963*2^1395390-1 is not prime.  Res64: A91A0588494D966A  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 12:07:07]
673*2^1395391-1 is not prime.  Res64: 02EAE6900E4E293C  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 12:07:08]
805*2^1395391-1 is not prime.  Res64: AC7641008EC0D30A  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 12:11:45]
909*2^1395391-1 is not prime.  Res64: EA4E58DD93BF1E87  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 12:11:46]
931*2^1395391-1 is not prime.  Res64: 198E458B6DF4842D  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 12:13:17]
939*2^1395391-1 is not prime.  Res64: 39F8A2CE3B2D87BF  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 12:13:18]
993*2^1395391-1 is not prime.  Res64: 1664D5FD4A0FFE43  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 12:30:06]
797*2^1395392-1 is not prime.  Res64: 02EFCD407523641D  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 12:30:07]
903*2^1395392-1 is not prime.  Res64: 86A1DF21BDF05E17  Time : 0.0 sec.
user=juhehe
[2015-03-14 12:32:58]
689*2^1395392-1 is not prime.  Res64: C33DEC84A2BF5F7F  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 12:33:16]
699*2^1395393-1 is not prime.  Res64: 04C67771F2902710  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 12:33:17]
751*2^1395393-1 is not prime.  Res64: 64C130914E7382C9  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 12:37:55]
759*2^1395393-1 is not prime.  Res64: 0683C7BECC11FD26  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 12:37:56]
805*2^1395393-1 is not prime.  Res64: AAE99A55B3FE6566  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 12:39:40]
849*2^1395393-1 is not prime.  Res64: CE96C114C4718D2F  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 12:39:40]
605*2^1395394-1 is not prime.  Res64: 7ECD5783DD1F296B  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 12:56:15]
623*2^1395394-1 is not prime.  Res64: 142CEC95ABE57A42  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 12:56:15]
663*2^1395394-1 is not prime.  Res64: C210E4949595032A  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 12:59:24]
717*2^1395394-1 is not prime.  Res64: F444D784CEC0FFB2  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 12:59:25]
785*2^1395394-1 is not prime.  Res64: FC1E2D79708A233C  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 13:04:08]
619*2^1395395-1 is not prime.  Res64: 54E24E84470A384B  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 13:04:10]
843*2^1395395-1 is not prime.  Res64: 03DEA9068C5B0975  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 13:05:50]
859*2^1395395-1 is not prime.  Res64: D771B8D67F4EC38A  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 13:05:51]
939*2^1395395-1 is not prime.  Res64: 72C725BE453CADCC  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 13:22:24]
943*2^1395395-1 is not prime.  Res64: 190ED535C2E4753A  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 13:22:24]
979*2^1395395-1 is not prime.  Res64: 476982818633A60D  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 13:25:32]
675*2^1395396-1 is not prime.  Res64: 41E6BB3E760C32B5  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 13:25:32]
705*2^1395396-1 is not prime.  Res64: CDEBD9DE6B3CD655  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 13:30:25]
725*2^1395396-1 is not prime.  Res64: 9177383931AB1E4F  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 13:30:25]
759*2^1395396-1 is not prime.  Res64: FAC189742D44805D  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 13:31:58]
899*2^1395396-1 is not prime.  Res64: D067FC213B7F1379  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 13:31:58]
905*2^1395396-1 is not prime.  Res64: AFFAA0E0743ACD8A  Time : 0.0 sec.
user=juhehe
[2015-03-14 13:40:17]
969*2^1395396-1 is not prime.  Res64: 54F252E472AF6E4E  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 13:48:34]
667*2^1395397-1 is not prime.  Res64: 00E46B64AD9E5BCB  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 13:48:34]
819*2^1395397-1 is not prime.  Res64: 7C922E15AE10FAA8  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 13:51:41]
897*2^1395397-1 is not prime.  Res64: 9B41114ECB02319D  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 13:51:41]
915*2^1395397-1 is not prime.  Res64: 289B731925E86EAB  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 13:56:40]
967*2^1395397-1 is not prime.  Res64: 7DC996A210CB3F0E  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 13:56:40]
693*2^1395398-1 is not prime.  Res64: 0A97D4ABD1354140  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 13:58:15]
707*2^1395398-1 is not prime.  Res64: D58943E04DA61470  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 13:58:16]
761*2^1395398-1 is not prime.  Res64: B0E9FD9E618178FB  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 14:14:48]
791*2^1395398-1 is not prime.  Res64: 1555A82486F8E468  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 14:14:49]
885*2^1395398-1 is not prime.  Res64: 33BD36F7DFC6E122  Time : 0.0 sec.
user=juhehe
[2015-03-14 14:17:14]
771*2^1395398-1 is not prime.  Res64: ECF6E80085CBAE17  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 14:17:59]
945*2^1395398-1 is not prime.  Res64: 318FDD35BE4DBB9E  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 14:18:00]
951*2^1395398-1 is not prime.  Res64: EA9547809489CDE0  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 14:22:52]
613*2^1395399-1 is not prime.  Res64: 6391CDE371F3D702  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 14:22:52]
679*2^1395399-1 is not prime.  Res64: 0E62A60168EA87E9  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 14:24:29]
735*2^1395399-1 is not prime.  Res64: 3C72CC5EB16FB18F  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 14:24:30]
795*2^1395399-1 is not prime.  Res64: D57C85CF45C5FC5F  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 14:41:06]
895*2^1395399-1 is not prime.  Res64: 37DCE12727363D50  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 14:41:07]
909*2^1395399-1 is not prime.  Res64: 261976C70643BE61  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 14:44:12]
931*2^1395399-1 is not prime.  Res64: 54B4BA66D7334A7B  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 14:44:12]
933*2^1395399-1 is not prime.  Res64: 046DB4BE215A2DA1  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 14:49:08]
615*2^1395400-1 is not prime.  Res64: E59E0CA9A94FD0AB  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 14:49:08]
693*2^1395400-1 is not prime.  Res64: CC85EE80AD4BEB89  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 14:50:44]
773*2^1395400-1 is not prime.  Res64: 7A4D946C1B01ABB9  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 14:50:45]
873*2^1395400-1 is not prime.  Res64: 9EC682BB0CD77F4A  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 15:07:18]
933*2^1395400-1 is not prime.  Res64: A44D2123AFB302E5  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 15:07:19]
995*2^1395400-1 is not prime.  Res64: CB07683F6AED7F09  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 15:10:30]
615*2^1395401-1 is not prime.  Res64: 7CC6607411C1FDFB  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 15:10:30]
741*2^1395401-1 is not prime.  Res64: 1C038E6DAB6429A1  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 15:15:21]
865*2^1395401-1 is not prime.  Res64: 30D85CE1028E3AE0  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 15:15:21]
885*2^1395401-1 is not prime.  Res64: 426E6256E3D53567  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 15:16:59]
909*2^1395401-1 is not prime.  Res64: 69469CEB69A93B34  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 15:16:59]
967*2^1395401-1 is not prime.  Res64: 5789DE1AD9CD112A  Time : 0.0 sec.
user=juhehe
[2015-03-14 15:27:26]
987*2^1395401-1 is not prime.  Res64: 96230AEA529F02AB  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 15:33:35]
621*2^1395402-1 is not prime.  Res64: 0B8094F2A34B7B72  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 15:33:36]
671*2^1395402-1 is not prime.  Res64: C64A572696B47745  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 15:36:43]
705*2^1395402-1 is not prime.  Res64: 8E8D9EA4451AE567  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 15:36:44]
765*2^1395402-1 is not prime.  Res64: BAAA369DA78BBE60  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 15:41:36]
837*2^1395402-1 is not prime.  Res64: 3C891788BE2C2BBE  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 15:41:37]
975*2^1395402-1 is not prime.  Res64: 67AEB9A6347BC7D7  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 15:43:10]
631*2^1395403-1 is not prime.  Res64: A23EADEDD2E8AA07  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 15:43:10]
673*2^1395403-1 is not prime.  Res64: A6204604E71F773F  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 15:59:47]
969*2^1395403-1 is not prime.  Res64: 776C572787B8F182  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 15:59:48]
665*2^1395404-1 is not prime.  Res64: 7902612AA51A075A  Time : 0.0 sec.
user=juhehe
[2015-03-14 16:00:47]
835*2^1395403-1 is not prime.  Res64: C9952527D9272F75  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 16:02:57]
687*2^1395404-1 is not prime.  Res64: 35ED3E423E5A3535  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 16:02:58]
893*2^1395404-1 is not prime.  Res64: D5749E63FF368BE5  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 16:07:43]
927*2^1395404-1 is not prime.  Res64: B62A0083D0A0016A  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 16:07:44]
625*2^1395405-1 is not prime.  Res64: 169C6B86863E95FF  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 16:09:23]
699*2^1395405-1 is not prime.  Res64: A69A3D114BF6D02E  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 16:09:24]
711*2^1395405-1 is not prime.  Res64: FE507616B3B4BEF5  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 16:26:01]
603*2^1395406-1 is not prime.  Res64: 1E642CBFB627AF21  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 16:26:01]
653*2^1395406-1 is not prime.  Res64: 4A57CDB2B70953E4  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 16:29:24]
705*2^1395406-1 is not prime.  Res64: B5127EB4E9720E91  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 16:29:25]
765*2^1395406-1 is not prime.  Res64: 2957CC1A74F40C8F  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 16:34:02]
773*2^1395406-1 is not prime.  Res64: FDDF2F95405D5C72  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 16:34:02]
941*2^1395406-1 is not prime.  Res64: 4C066D6433B27EE7  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 16:35:37]
975*2^1395406-1 is not prime.  Res64: DF4E2FC599AE9DE5  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 16:35:37]
981*2^1395406-1 is not prime.  Res64: D006AE4166ACE9E3  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 16:52:18]
705*2^1395407-1 is not prime.  Res64: D8E804D1AAED818C  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 16:52:19]
759*2^1395407-1 is not prime.  Res64: BF5927CE8AA9C2CA  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 16:55:42]
939*2^1395407-1 is not prime.  Res64: D4B450798F9B0E9B  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 16:55:42]
979*2^1395407-1 is not prime.  Res64: C610F8A28963AD39  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 17:00:17]
985*2^1395407-1 is not prime.  Res64: 5EA5A2D3AF4E2BBA  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 17:00:18]
669*2^1395408-1 is not prime.  Res64: 782710840B9761E8  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 17:01:51]
737*2^1395408-1 is not prime.  Res64: 3730E7453E49C2D7  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 17:01:52]
789*2^1395408-1 is not prime.  Res64: 5593DA9BC2A91D62  Time : 0.0 sec.
user=juhehe
[2015-03-14 17:11:05]
723*2^1395408-1 is not prime.  Res64: AAABF8E5A2E8A86F  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 17:18:27]
933*2^1395408-1 is not prime.  Res64: B0C8E848890439DC  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 17:18:27]
959*2^1395408-1 is not prime.  Res64: 20353D7EA876E2B8  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 17:21:54]
999*2^1395408-1 is not prime.  Res64: 37A7E15E24921E38  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 17:21:54]
721*2^1395409-1 is not prime.  Res64: 7EE95DF33C5ACB43  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 17:26:30]
765*2^1395409-1 is not prime.  Res64: 382C216F07A00DD1  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 17:26:31]
775*2^1395409-1 is not prime.  Res64: 8BF9356F3F72DD8C  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 17:28:07]
807*2^1395409-1 is not prime.  Res64: 07C723CD06B70DB4  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 17:28:07]
997*2^1395409-1 is not prime.  Res64: B88307A041456BA9  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 17:44:39]
651*2^1395410-1 is not prime.  Res64: BB862235E8507ED8  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 17:44:40]
657*2^1395410-1 is not prime.  Res64: 193790E1EE08D427  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 17:48:04]
767*2^1395410-1 is not prime.  Res64: 0D59BAA8D3577FFC  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 17:48:05]
801*2^1395410-1 is not prime.  Res64: 1F3BF37C5743F1F8  Time : 0.0 sec.
user=juhehe
[2015-03-14 17:48:09]
641*2^1395410-1 is not prime.  Res64: 17F3F9DCA2DEAFE7  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 17:52:45]
857*2^1395410-1 is not prime.  Res64: C5B56B1406254A8B  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 17:52:46]
861*2^1395410-1 is not prime.  Res64: 529BAC94E22FE8E9  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 17:54:31]
917*2^1395410-1 is not prime.  Res64: 491F172669912734  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 17:54:32]
981*2^1395410-1 is not prime.  Res64: 011BD750CF58A859  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 18:10:55]
615*2^1395411-1 is not prime.  Res64: 37586D7138190EA9  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 18:10:56]
751*2^1395411-1 is not prime.  Res64: E5005DF4C0A421E7  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 18:14:11]
835*2^1395411-1 is not prime.  Res64: A2C0A96AC53166A1  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 18:14:12]
955*2^1395411-1 is not prime.  Res64: 2153E7D0A2A76898  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 18:18:55]
979*2^1395411-1 is not prime.  Res64: 5E412AEA11FC91BD  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 18:18:55]
657*2^1395412-1 is not prime.  Res64: 2342EED163A03196  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 18:20:40]
675*2^1395412-1 is not prime.  Res64: AA91414BA1735B09  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 18:20:41]
693*2^1395412-1 is not prime.  Res64: E52B942571CDF6B9  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 18:36:54]
947*2^1395412-1 is not prime.  Res64: 97ABB3F8998D6E61  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 18:36:55]
957*2^1395412-1 is not prime.  Res64: 664349279C0AF95D  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 18:40:07]
651*2^1395413-1 is not prime.  Res64: C5AFA3B5B8D234FE  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 18:40:07]
669*2^1395413-1 is not prime.  Res64: CE24927935B601F0  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 18:44:54]
679*2^1395413-1 is not prime.  Res64: B14F7B19408C534F  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 18:44:55]
699*2^1395413-1 is not prime.  Res64: 04C4C02D34FC0985  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 18:46:37]
741*2^1395413-1 is not prime.  Res64: CA4FB829B6AEF87E  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 18:46:38]
801*2^1395413-1 is not prime.  Res64: 1B1A8325D7B8820E  Time : 0.0 sec.
user=juhehe
[2015-03-14 19:00:55]
829*2^1395413-1 is not prime.  Res64: 01C969A2B2B92608  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 19:02:53]
855*2^1395413-1 is not prime.  Res64: 4F6B88E2F3D17F7A  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 19:02:54]
915*2^1395413-1 is not prime.  Res64: 0688A6990264BE41  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 19:06:05]
949*2^1395413-1 is not prime.  Res64: AEE9D6B8597263A0  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 19:06:06]
663*2^1395414-1 is not prime.  Res64: E22C179A508CF426  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 19:11:00]
725*2^1395414-1 is not prime.  Res64: 3D85E86E85082ADB  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 19:11:01]
927*2^1395414-1 is not prime.  Res64: 4164F7979AC959D2  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 19:12:37]
945*2^1395414-1 is not prime.  Res64: 07B890802C1F8B88  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 19:12:38]
609*2^1395415-1 is not prime.  Res64: 1F21E0096AD62044  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 19:28:55]
693*2^1395415-1 is not prime.  Res64: 9324AD28B6052DC5  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 19:28:56]
705*2^1395415-1 is not prime.  Res64: 8C1C52AC53DA6940  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 19:31:59]
735*2^1395415-1 is not prime.  Res64: 1E42EC924451B0FD  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 19:32:00]
765*2^1395415-1 is not prime.  Res64: 2CE0F10661DB773D  Time : 0.0 sec.
user=juhehe
[2015-03-14 19:36:26]
679*2^1395415-1 is not prime.  Res64: 46F663F57BCDC068  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 19:37:04]
783*2^1395415-1 is not prime.  Res64: C5055F49C47367D1  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 19:37:04]
841*2^1395415-1 is not prime.  Res64: 977346280C7B5605  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 19:38:33]
891*2^1395415-1 is not prime.  Res64: 471E2107E1C6026B  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 19:38:34]
919*2^1395415-1 is not prime.  Res64: 59ACC12FAB66474F  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 19:54:52]
925*2^1395415-1 is not prime.  Res64: BF5F9E4B79B14C62  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 19:54:52]
951*2^1395415-1 is not prime.  Res64: C0E328446AD3FED2  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 19:57:57]
669*2^1395416-1 is not prime.  Res64: 3C7E0A7CF9F38C4A  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 19:57:58]
725*2^1395416-1 is not prime.  Res64: 0C31E491DC5EF183  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 20:03:00]
825*2^1395416-1 is not prime.  Res64: 605CE90614A3E850  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 20:03:02]
855*2^1395416-1 is not prime.  Res64: 59852168A1D686FC  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 20:04:28]
625*2^1395417-1 is not prime.  Res64: 9E9E30BC3C35A6AB  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 20:04:30]
637*2^1395417-1 is not prime.  Res64: D0AD1EA3AF091E8B  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 20:20:48]
651*2^1395417-1 is not prime.  Res64: DD06648E1D04A95F  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 20:20:49]
711*2^1395417-1 is not prime.  Res64: 0FC2B2613FA0E0A7  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 20:23:59]
747*2^1395417-1 is not prime.  Res64: B856C1E5AFAC4213  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 20:24:00]
777*2^1395417-1 is not prime.  Res64: 74D09A544E5CA79A  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 20:29:25]
885*2^1395417-1 is not prime.  Res64: D5EC960A21A3DCE3  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 20:29:25]
997*2^1395417-1 is not prime.  Res64: 55CE30C3B3EBE533  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 20:30:30]
603*2^1395418-1 is not prime.  Res64: 2BD22F19835C62FB  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 20:30:30]
705*2^1395418-1 is not prime.  Res64: 38367BA66EAB0CCA  Time : 0.0 sec.
user=juhehe
[2015-03-14 20:45:48]
731*2^1395418-1 is not prime.  Res64: C0AF8B90B29A3D57  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 20:46:44]
885*2^1395418-1 is not prime.  Res64: 0E1B0AA1A0DB0952  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 20:46:44]
911*2^1395418-1 is not prime.  Res64: D0FBF456EC46FEE7  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 20:49:53]
933*2^1395418-1 is not prime.  Res64: 404F5A16D67EB83B  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 20:49:54]
993*2^1395418-1 is not prime.  Res64: D81D24E00C1098D8  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 20:55:23]
619*2^1395419-1 is not prime.  Res64: 5BB91C9B33A804A9  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 20:55:24]
631*2^1395419-1 is not prime.  Res64: 278B977FFDA05187  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 20:56:28]
675*2^1395419-1 is not prime.  Res64: 7F736009F442FF47  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 20:56:28]
705*2^1395419-1 is not prime.  Res64: 2EC06EA73D89BB53  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 21:12:45]
811*2^1395419-1 is not prime.  Res64: 6ADF8A6B2C4F029A  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 21:12:45]
861*2^1395419-1 is not prime.  Res64: 065D0EE1B293F246  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 21:15:55]
883*2^1395419-1 is not prime.  Res64: C80EB8ED58FB5C0A  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 21:15:55]
993*2^1395419-1 is not prime.  Res64: 9D33A445F4618212  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 21:21:25]
783*2^1395420-1 is not prime.  Res64: B183CBE43660476E  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 21:21:25]
839*2^1395420-1 is not prime.  Res64: 59FAE9A1A2EF8072  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 21:22:29]
845*2^1395420-1 is not prime.  Res64: E83F38428C9D15E6  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 21:22:30]
863*2^1395420-1 is not prime.  Res64: 98EFBC18C4B8CEDF  Time : 0.0 sec.
user=juhehe
[2015-03-14 21:22:45]
741*2^1395419-1 is not prime.  Res64: F565A97918E57239  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 21:38:44]
879*2^1395420-1 is not prime.  Res64: 91860186EE190C0E  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 21:38:44]
959*2^1395420-1 is not prime.  Res64: EA5F4F72602C8F40  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 21:41:59]
811*2^1395421-1 is not prime.  Res64: B5C4B2A93E1AC191  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 21:42:00]
871*2^1395421-1 is not prime.  Res64: 60D8055C4ED61AA0  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 21:47:32]
957*2^1395421-1 is not prime.  Res64: 24B1ED810F47E508  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 21:47:33]
999*2^1395421-1 is not prime.  Res64: 032CC8B115021770  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 21:48:36]
755*2^1395422-1 is not prime.  Res64: 65993E5A211E2C38  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 21:48:37]
801*2^1395422-1 is not prime.  Res64: EED4FBA2B4F8E892  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 22:04:47]
825*2^1395422-1 is not prime.  Res64: C7E2451DD0319D92  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 22:04:49]
875*2^1395422-1 is not prime.  Res64: 2C46209FD13ED27E  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 22:08:04]
893*2^1395422-1 is not prime.  Res64: F5F9BBFF77DD42A9  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 22:08:05]
897*2^1395422-1 is not prime.  Res64: 425EAD4C0FA77AA5  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 22:13:43]
957*2^1395422-1 is not prime.  Res64: A556A135D4B50D42  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 22:13:43]
981*2^1395422-1 is not prime.  Res64: 5E47A22E7445F036  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 22:14:34]
685*2^1395423-1 is not prime.  Res64: F84F9606BEF09B69  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 22:14:34]
951*2^1395423-1 is not prime.  Res64: 18C90E685E7A7D5D  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 22:30:57]
635*2^1395424-1 is not prime.  Res64: 7A38357AA304F1E5  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 22:30:58]
855*2^1395424-1 is not prime.  Res64: 4848B9C9E85721C7  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 22:34:02]
869*2^1395424-1 is not prime.  Res64: 137148AB8AC2961B  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 22:34:03]
873*2^1395424-1 is not prime.  Res64: E56C0E0AC7E18E5B  Time : 0.0 sec.
user=juhehe
[2015-03-14 22:34:31]
973*2^1395423-1 is not prime.  Res64: D0C4D3BB5CC84AD7  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 22:39:57]
983*2^1395424-1 is not prime.  Res64: 2144DFCE6AD4B2BF  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 22:39:58]
657*2^1395425-1 is not prime.  Res64: 2C17C7694DDDF0AA  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 22:40:57]
675*2^1395425-1 is not prime.  Res64: 7DBAB111EC5420CE  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 22:40:57]
691*2^1395425-1 is not prime.  Res64: A644053D320F1761  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 22:57:29]
711*2^1395425-1 is not prime.  Res64: 5E85CD4EACD2FA34  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 22:57:30]
759*2^1395425-1 is not prime.  Res64: F590437D23C3D86F  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 23:00:25]
811*2^1395425-1 is not prime.  Res64: 6A6543E680753DBB  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 23:00:26]
871*2^1395425-1 is not prime.  Res64: F1175EC993286DC0  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 23:06:06]
951*2^1395425-1 is not prime.  Res64: E1709BD7A33FFB0A  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 23:06:07]
957*2^1395425-1 is not prime.  Res64: EED0E1D53F4AACFD  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 23:06:51]
987*2^1395425-1 is not prime.  Res64: 5BE2530007318FA8  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 23:06:52]
991*2^1395425-1 is not prime.  Res64: EA6906BA6B17B9CF  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 23:23:28]
635*2^1395426-1 is not prime.  Res64: 328F970E34B9D9EF  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 23:23:29]
683*2^1395426-1 is not prime.  Res64: 01E30C619724AAA1  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 23:26:32]
713*2^1395426-1 is not prime.  Res64: 583416A9125339A9  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 23:26:33]
783*2^1395426-1 is not prime.  Res64: 4585DA8A4EEE943D  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 23:32:09]
923*2^1395426-1 is not prime.  Res64: DF0D12709FCA94EC  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 23:32:10]
993*2^1395426-1 is not prime.  Res64: 843AE4D2D096AF82  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 23:32:53]
609*2^1395427-1 is not prime.  Res64: E5A827FB61D71333  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 23:32:53]
699*2^1395427-1 is not prime.  Res64: A83DDBEFAE1F36F3  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 23:49:27]
703*2^1395427-1 is not prime.  Res64: 5A82EF9FF31976D9  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 23:49:28]
859*2^1395427-1 is not prime.  Res64: 0B93EA35CF47DC5C  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 23:52:34]
629*2^1395428-1 is not prime.  Res64: A0D5B7A6BDACC296  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 23:52:34]
843*2^1395428-1 is not prime.  Res64: F6E80B26EE83ECC6  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 23:58:11]
927*2^1395428-1 is not prime.  Res64: 4FAF19BAFD857629  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 23:58:12]
963*2^1395428-1 is not prime.  Res64: 75F3B2F4097FF350  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 23:58:49]
657*2^1395429-1 is not prime.  Res64: D761B2C07590DAE4  Time : 0.0 sec.
user=mdettweiler
[2015-03-14 23:58:49]
667*2^1395429-1 is not prime.  Res64: D646A583A176D854  Time : 0.0 sec.