user=mdettweiler
[2015-04-11 00:11:34]
681*2^1397358-1 is not prime.  Res64: AA5C008C744A4B5E  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 00:11:34]
777*2^1397358-1 is not prime.  Res64: BEDA8BDEAE6E64B7  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 00:12:49]
843*2^1397358-1 is not prime.  Res64: 895B7E92826060DD  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 00:12:50]
963*2^1397358-1 is not prime.  Res64: B8B7092908AC9202  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 00:14:14]
709*2^1397359-1 is not prime.  Res64: 4343BAAC466574D0  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 00:14:14]
843*2^1397359-1 is not prime.  Res64: 7D188F635A1BD624  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 00:20:04]
853*2^1397359-1 is not prime.  Res64: 6E206E10B3B647C8  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 00:20:04]
861*2^1397359-1 is not prime.  Res64: C832854A0E193DD3  Time : 0.0 sec.
user=juhehe
[2015-04-11 00:32:20]
873*2^1397359-1 is not prime.  Res64: 4075AFE0F49573A5  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 00:38:00]
933*2^1397359-1 is not prime.  Res64: 143C908A382B8FB4  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 00:38:00]
645*2^1397360-1 is not prime.  Res64: 8F098FDBB0F8DC36  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 00:39:16]
753*2^1397360-1 is not prime.  Res64: 4E14655B7E34027D  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 00:39:17]
833*2^1397360-1 is not prime.  Res64: D43606C118354E3B  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 00:40:45]
929*2^1397360-1 is not prime.  Res64: E74D062A1E182F12  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 00:40:45]
983*2^1397360-1 is not prime.  Res64: 9A27EE16ABF9CB85  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 00:46:40]
609*2^1397361-1 is not prime.  Res64: 950391F2B8A4E239  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 00:46:41]
657*2^1397361-1 is not prime.  Res64: AF37FEB5657A74F9  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 01:04:39]
669*2^1397361-1 is not prime.  Res64: 58F04AC0290ADC63  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 01:04:41]
681*2^1397361-1 is not prime.  Res64: 307C4215B05FE08F  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 01:05:49]
685*2^1397361-1 is not prime.  Res64: C78EDEC42F982B7D  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 01:05:50]
727*2^1397361-1 is not prime.  Res64: D653F7BA09C68151  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 01:07:22]
871*2^1397361-1 is not prime.  Res64: 1EF0E82587BCA332  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 01:07:22]
975*2^1397361-1 is not prime.  Res64: 058A30013EDA4DBE  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 01:12:48]
603*2^1397362-1 is not prime.  Res64: 98AC53D21ED2E241  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 01:12:48]
717*2^1397362-1 is not prime.  Res64: AA2EF46601D9EFF4  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 01:31:11]
741*2^1397362-1 is not prime.  Res64: F4D027F865589CAE  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 01:31:14]
791*2^1397362-1 is not prime.  Res64: 9FB813F1069243C9  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 01:31:56]
815*2^1397362-1 is not prime.  Res64: 7983B8EC476A93BF  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 01:31:56]
619*2^1397363-1 is not prime.  Res64: 474E49577B760509  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 01:33:28]
631*2^1397363-1 is not prime.  Res64: 1A32D0655D6C917E  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 01:33:28]
679*2^1397363-1 is not prime.  Res64: 8E9288A18A2EDC98  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 01:38:58]
771*2^1397363-1 is not prime.  Res64: A719ADFFF4AF55FC  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 01:38:58]
825*2^1397363-1 is not prime.  Res64: 9AC057247C769166  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 01:57:41]
629*2^1397364-1 is not prime.  Res64: 29F7DB46BE4AC5A6  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 01:57:41]
635*2^1397364-1 is not prime.  Res64: 27B39AEA3E953BF2  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 01:57:53]
753*2^1397364-1 is not prime.  Res64: F9C5B9265D6C934F  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 01:57:53]
773*2^1397364-1 is not prime.  Res64: 7422A5BD8C487403  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 01:59:29]
873*2^1397364-1 is not prime.  Res64: 13D77B6B28890834  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 01:59:29]
685*2^1397365-1 is not prime.  Res64: B7BA2A233B729E71  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 02:05:34]
987*2^1397365-1 is not prime.  Res64: 44D00EA3967D9432  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 02:05:34]
627*2^1397366-1 is not prime.  Res64: FF2CA1B4E0F16E7A  Time : 0.0 sec.
user=juhehe
[2015-04-11 02:20:54]
645*2^1397366-1 is not prime.  Res64: F2C315612D9A39B7  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 02:26:02]
941*2^1397366-1 is not prime.  Res64: 76EDF1190A25C43E  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 02:26:03]
963*2^1397366-1 is not prime.  Res64: C8A647F1E68B0DD2  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 02:26:08]
873*2^1397366-1 is not prime.  Res64: 1F669C8507F2A88E  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 02:26:08]
897*2^1397366-1 is not prime.  Res64: 0EF5E1F64F4D9E74  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 02:27:55]
601*2^1397367-1 is not prime.  Res64: D797514A4A18D294  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 02:27:55]
633*2^1397367-1 is not prime.  Res64: D43FF6E8DFE09B4A  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 02:34:01]
661*2^1397367-1 is not prime.  Res64: ABEA03219CF0708B  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 02:34:03]
735*2^1397367-1 is not prime.  Res64: BD5513EA02973C39  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 02:53:43]
699*2^1397368-1 is not prime.  Res64: 7F4D6F9342146C78  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 02:53:43]
735*2^1397368-1 is not prime.  Res64: 3140D761BB6B075E  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 02:54:00]
969*2^1397368-1 is not prime.  Res64: E4AA73C05B755782  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 02:54:00]
627*2^1397369-1 is not prime.  Res64: 5EDB27556CDC34C3  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 02:56:01]
631*2^1397369-1 is not prime.  Res64: 633205DE59F04E69  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 02:56:01]
649*2^1397369-1 is not prime.  Res64: 6F7778A8EE40A81C  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 03:02:10]
685*2^1397369-1 is not prime.  Res64: D62E42E8F6848D5D  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 03:02:12]
789*2^1397369-1 is not prime.  Res64: 59E84BBF6720F17C  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 03:22:04]
811*2^1397369-1 is not prime.  Res64: 039A28D0E6392BF2  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 03:22:05]
865*2^1397369-1 is not prime.  Res64: 71B44D9A76553D7F  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 03:22:26]
867*2^1397369-1 is not prime.  Res64: 164A2FECB1032858  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 03:22:26]
949*2^1397369-1 is not prime.  Res64: 988E6A490D301606  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 03:24:21]
657*2^1397370-1 is not prime.  Res64: C5AB767BB092C191  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 03:24:21]
707*2^1397370-1 is not prime.  Res64: AC70FDA6B29652D4  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 03:30:58]
885*2^1397370-1 is not prime.  Res64: 8CE9F89D9B304F59  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 03:31:00]
951*2^1397370-1 is not prime.  Res64: BD742ED74AA6597E  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 03:49:19]
977*2^1397370-1 is not prime.  Res64: CF6F9BBBCA7887ED  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 03:49:20]
1001*2^1397370-1 is not prime.  Res64: AB702BEEFFAF1F6D  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 03:49:59]
625*2^1397371-1 is not prime.  Res64: C7DD94752228DD24  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 03:50:00]
693*2^1397371-1 is not prime.  Res64: D90E5D667FE66063  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 03:51:45]
775*2^1397371-1 is not prime.  Res64: 8137A9004391B3CF  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 03:51:45]
895*2^1397371-1 is not prime.  Res64: B244908536073FC0  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 03:58:05]
999*2^1397371-1 is not prime.  Res64: 56F245C21CFB7375  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 03:58:06]
675*2^1397372-1 is not prime.  Res64: 86E33D9949B97D4C  Time : 0.0 sec.
user=juhehe
[2015-04-11 04:09:52]
735*2^1397372-1 is not prime.  Res64: 16633DF9949AAFC6  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 04:15:39]
915*2^1397372-1 is not prime.  Res64: 5BB103A46C88539F  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 04:15:40]
945*2^1397372-1 is not prime.  Res64: 856D7DC2E7482780  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 04:16:10]
741*2^1397373-1 is not prime.  Res64: 1C611DD7ECCC8283  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 04:16:11]
847*2^1397373-1 is not prime.  Res64: 9A4B2AFF0D8BF5BB  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 04:18:01]
895*2^1397373-1 is not prime.  Res64: F5081AB967B2B786  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 04:18:02]
605*2^1397374-1 is not prime.  Res64: DB3585BED6762765  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 04:25:00]
885*2^1397374-1 is not prime.  Res64: 95C54E49DAA63B69  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 04:25:00]
887*2^1397374-1 is not prime.  Res64: 9693F47A9E3D8AA1  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 04:42:19]
917*2^1397374-1 is not prime.  Res64: EF5AE4EC1CE4A480  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 04:42:19]
951*2^1397374-1 is not prime.  Res64: 6A8F3EFA9AE5AB1C  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 04:43:15]
957*2^1397374-1 is not prime.  Res64: 1D999F67A5F5B9F0  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 04:43:15]
983*2^1397374-1 is not prime.  Res64: A6A0C63232CA3AE8  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 04:44:54]
721*2^1397375-1 is not prime.  Res64: 3615FA3D5B455E81  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 04:44:54]
739*2^1397375-1 is not prime.  Res64: B33C4982F8D6FA32  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 04:50:52]
775*2^1397375-1 is not prime.  Res64: 34403D2F30348F51  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 04:50:53]
635*2^1397376-1 is not prime.  Res64: 0E8ED348AB93C4EE  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 05:08:17]
639*2^1397376-1 is not prime.  Res64: 2C72D7D87A407E10  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 05:08:19]
693*2^1397376-1 is not prime.  Res64: 5FFF5BF61B317DCE  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 05:09:18]
717*2^1397376-1 is not prime.  Res64: FE9C40BCFD4F33C1  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 05:09:19]
735*2^1397376-1 is not prime.  Res64: F9659A7D590CF815  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 05:10:54]
879*2^1397376-1 is not prime.  Res64: EBF1743AA861B604  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 05:10:54]
651*2^1397377-1 is not prime.  Res64: 67FADDB2DD761FCE  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 05:16:48]
687*2^1397377-1 is not prime.  Res64: 7270B9869B5F594A  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 05:16:48]
729*2^1397377-1 is not prime.  Res64: 93AD51F879E2D3B1  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 05:34:24]
771*2^1397377-1 is not prime.  Res64: 4B5853A4E92490AC  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 05:34:24]
819*2^1397377-1 is not prime.  Res64: B449821D5418AD16  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 05:35:20]
847*2^1397377-1 is not prime.  Res64: 64CD07B95BA52D51  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 05:35:20]
975*2^1397377-1 is not prime.  Res64: 726C03FD60CEE6CD  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 05:36:57]
677*2^1397378-1 is not prime.  Res64: 6813FCEA75F81982  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 05:36:58]
755*2^1397378-1 is not prime.  Res64: F97D3FEF32013F94  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 05:42:43]
837*2^1397378-1 is not prime.  Res64: FA20143AB7A75473  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 05:42:43]
867*2^1397378-1 is not prime.  Res64: B651DA6A539D2286  Time : 0.0 sec.
user=juhehe
[2015-04-11 05:59:37]
945*2^1397378-1 is not prime.  Res64: 67EDE995CFF18E09  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 06:00:23]
951*2^1397378-1 is not prime.  Res64: 3B7AA4F641A28D33  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 06:00:24]
675*2^1397379-1 is not prime.  Res64: 19A38211020E348F  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 06:01:20]
711*2^1397379-1 is not prime.  Res64: 8E0E581276A8BDCD  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 06:01:21]
723*2^1397379-1 is not prime.  Res64: F1195F206D3C4ED3  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 06:02:49]
751*2^1397379-1 is not prime.  Res64: C1F4B6B17640466A  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 06:02:50]
859*2^1397379-1 is not prime.  Res64: 7FC5C2D6F2B14E6E  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 06:08:40]
991*2^1397379-1 is not prime.  Res64: 9D5371192F28A685  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 06:08:41]
677*2^1397380-1 is not prime.  Res64: 5EB37BD28A84461F  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 06:26:25]
687*2^1397380-1 is not prime.  Res64: A261A2910C6A1599  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 06:26:26]
759*2^1397380-1 is not prime.  Res64: 0B2B6B1513A7AF8B  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 06:27:18]
843*2^1397380-1 is not prime.  Res64: 8E2F94F7E047821D  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 06:27:18]
905*2^1397380-1 is not prime.  Res64: 0005706FD212179E  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 06:28:42]
909*2^1397380-1 is not prime.  Res64: 7A416A13FC349585  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 06:28:43]
923*2^1397380-1 is not prime.  Res64: B8188C58992CE885  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 06:34:44]
933*2^1397380-1 is not prime.  Res64: 827F03CA505E9A0A  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 06:34:44]
959*2^1397380-1 is not prime.  Res64: 731096F76DE8563C  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 06:52:19]
711*2^1397381-1 is not prime.  Res64: 4D9A253862286556  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 06:52:19]
979*2^1397381-1 is not prime.  Res64: 4D55E828AA812D01  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 06:53:13]
717*2^1397382-1 is not prime.  Res64: CA921E46FE6239B6  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 06:53:14]
737*2^1397382-1 is not prime.  Res64: 78BBBDDF076D49CD  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 06:54:41]
965*2^1397382-1 is not prime.  Res64: C407F63403C10242  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 06:54:42]
703*2^1397383-1 is not prime.  Res64: 5AAEAA89580D4DF5  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 07:00:34]
771*2^1397383-1 is not prime.  Res64: B9915032E0F48C9C  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 07:00:35]
615*2^1397384-1 is not prime.  Res64: 1EA1EAF078CF2B6F  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 07:18:20]
665*2^1397384-1 is not prime.  Res64: FE0EF4F3DA83D84D  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 07:18:21]
689*2^1397384-1 is not prime.  Res64: B8CCD25796DF1D8B  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 07:19:09]
717*2^1397384-1 is not prime.  Res64: B5A6CCD3800CD4AD  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 07:19:09]
755*2^1397384-1 is not prime.  Res64: 9BF91ABB9538CA40  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 07:20:41]
825*2^1397384-1 is not prime.  Res64: 8D7C3FBC2E5216D7  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 07:20:42]
657*2^1397385-1 is not prime.  Res64: 43655E0ADD648CF1  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 07:26:38]
667*2^1397385-1 is not prime.  Res64: AE7902989B2392AF  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 07:26:39]
679*2^1397385-1 is not prime.  Res64: C223CAF1A4A6A9F9  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 07:44:14]
819*2^1397385-1 is not prime.  Res64: C5A362DDBDCCCDA5  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 07:44:14]
861*2^1397385-1 is not prime.  Res64: 275FA2A0EE294913  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 07:45:04]
885*2^1397385-1 is not prime.  Res64: 0FAF920EB9022AE4  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 07:45:05]
889*2^1397385-1 is not prime.  Res64: 648FFB5C7228A98C  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 07:46:39]
919*2^1397385-1 is not prime.  Res64: 33C9D0B4B4D0B568  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 07:46:39]
657*2^1397386-1 is not prime.  Res64: 6410AD00FB30E92F  Time : 0.0 sec.
user=juhehe
[2015-04-11 07:48:49]
739*2^1397385-1 is not prime.  Res64: 852B8A0BB3173BDA  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 07:52:31]
675*2^1397386-1 is not prime.  Res64: 23251CDFE56AFD63  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 07:52:32]
701*2^1397386-1 is not prime.  Res64: 171EC777BE474CF0  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 08:10:14]
857*2^1397386-1 is not prime.  Res64: 9997EE1E5A66AFE1  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 08:10:14]
923*2^1397386-1 is not prime.  Res64: 20A266E04D6DCFC9  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 08:11:04]
933*2^1397386-1 is not prime.  Res64: 86E6EAD8200B113F  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 08:11:05]
975*2^1397386-1 is not prime.  Res64: 83AABB3981C52CAD  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 08:12:35]
675*2^1397387-1 is not prime.  Res64: BBFAB5564A43493E  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 08:12:36]
693*2^1397387-1 is not prime.  Res64: 4DA638BA44B415EC  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 08:18:28]
699*2^1397387-1 is not prime.  Res64: 2CA41ED2067975BD  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 08:18:28]
705*2^1397387-1 is not prime.  Res64: 9B3C9D2A4E59FA2A  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 08:36:09]
741*2^1397387-1 is not prime.  Res64: 3A8708C50B519EF3  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 08:36:09]
683*2^1397388-1 is not prime.  Res64: DD3EE84CD1D2FC7F  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 08:37:00]
809*2^1397388-1 is not prime.  Res64: 2504C7AFC6E41495  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 08:37:01]
825*2^1397388-1 is not prime.  Res64: 7727B3CF38995EF2  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 08:38:32]
845*2^1397388-1 is not prime.  Res64: A459A6870050F6E3  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 08:38:32]
915*2^1397388-1 is not prime.  Res64: D7C576FF34F82DBE  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 08:44:23]
609*2^1397389-1 is not prime.  Res64: F1FC2F10C0370BCE  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 08:44:23]
699*2^1397389-1 is not prime.  Res64: 2904F2487FA43663  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 09:02:05]
741*2^1397389-1 is not prime.  Res64: 7CDC95923999C42A  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 09:02:06]
801*2^1397389-1 is not prime.  Res64: 97FC0A47B9334030  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 09:02:57]
825*2^1397389-1 is not prime.  Res64: E4A48C6BF967F53A  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 09:02:59]
831*2^1397389-1 is not prime.  Res64: 239FA46AAC3ACBC8  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 09:04:30]
867*2^1397389-1 is not prime.  Res64: F3F9BDA2B9A3049E  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 09:04:32]
961*2^1397389-1 is not prime.  Res64: C8BCAA7B154D95DB  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 09:10:23]
999*2^1397389-1 is not prime.  Res64: 8BEE85E8EC46EAFD  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 09:10:23]
635*2^1397390-1 is not prime.  Res64: 5BA6198220137DB8  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 09:28:07]
767*2^1397390-1 is not prime.  Res64: 6B76F32F99F26027  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 09:28:08]
831*2^1397390-1 is not prime.  Res64: FD1F8EE9F6237E0D  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 09:28:54]
851*2^1397390-1 is not prime.  Res64: 9BAFC421BBFD542B  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 09:28:54]
875*2^1397390-1 is not prime.  Res64: A728A22187E937D0  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 09:30:26]
897*2^1397390-1 is not prime.  Res64: 9CFC9B56BA561313  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 09:30:26]
987*2^1397390-1 is not prime.  Res64: B4C7C995E6706FC2  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 09:36:19]
1001*2^1397390-1 is not prime.  Res64: 1151E8EFE9C0CF62  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 09:36:19]
685*2^1397391-1 is not prime.  Res64: FCA6208A0B6AA49D  Time : 0.0 sec.
user=juhehe
[2015-04-11 09:38:06]
651*2^1397390-1 is not prime.  Res64: 7CEFEDC215783D58  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 09:54:01]
705*2^1397391-1 is not prime.  Res64: 9D6FD9EFADF806EF  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 09:54:01]
751*2^1397391-1 is not prime.  Res64: 1273DEA1FA69C1E7  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 09:54:53]
829*2^1397391-1 is not prime.  Res64: BBB7AC5975240C40  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 09:54:54]
969*2^1397391-1 is not prime.  Res64: 8F9052E8BFECDB54  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 09:56:19]
979*2^1397391-1 is not prime.  Res64: C032F6D74AE9B599  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 09:56:20]
603*2^1397392-1 is not prime.  Res64: EE5197B2AAF83549  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 10:02:11]
615*2^1397392-1 is not prime.  Res64: 44E2F0CE930FF722  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 10:02:11]
635*2^1397392-1 is not prime.  Res64: AF593BFA401143BC  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 10:19:58]
687*2^1397392-1 is not prime.  Res64: 9B5B449B77151173  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 10:19:59]
765*2^1397392-1 is not prime.  Res64: 50BE73F19F9A13CC  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 10:20:53]
777*2^1397392-1 is not prime.  Res64: BD5E086497219242  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 10:20:54]
827*2^1397392-1 is not prime.  Res64: 7EC79D05CF9072D0  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 10:22:22]
843*2^1397392-1 is not prime.  Res64: 34E2141018AF96D7  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 10:22:22]
903*2^1397392-1 is not prime.  Res64: 5442514942990591  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 10:28:12]
989*2^1397392-1 is not prime.  Res64: 4E558CCB61F4C098  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 10:28:12]
679*2^1397393-1 is not prime.  Res64: 9B81EB5BAF5101AE  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 10:45:54]
829*2^1397393-1 is not prime.  Res64: EA1AB4D66A962735  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 10:45:54]
967*2^1397393-1 is not prime.  Res64: 2EE28D5A66AE9447  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 10:46:47]
695*2^1397394-1 is not prime.  Res64: 2E476011B88DAFB7  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 10:46:47]
737*2^1397394-1 is not prime.  Res64: A9DFA4C084647649  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 10:48:17]
767*2^1397394-1 is not prime.  Res64: E6DBD0601DC60968  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 10:48:17]
783*2^1397394-1 is not prime.  Res64: 4E199F630DC680C2  Time : 0.0 sec.
user=juhehe
[2015-04-11 10:50:46]
811*2^1397393-1 is not prime.  Res64: F657F1088E16FF23  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 10:54:08]
807*2^1397394-1 is not prime.  Res64: 7865FC124F2DE871  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 10:54:09]
851*2^1397394-1 is not prime.  Res64: 0889A1F588F72285  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 11:12:02]
891*2^1397394-1 is not prime.  Res64: E28A890470C920DA  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 11:12:02]
941*2^1397394-1 is not prime.  Res64: 87F0ADF32CC2325D  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 11:12:40]
603*2^1397395-1 is not prime.  Res64: 8480779571DB309E  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 11:12:40]
645*2^1397395-1 is not prime.  Res64: 17E359695ED93609  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 11:14:14]
693*2^1397395-1 is not prime.  Res64: A40957109684AF5C  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 11:14:15]
895*2^1397395-1 is not prime.  Res64: 39C6AFA3AE21FA1E  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 11:20:07]
969*2^1397395-1 is not prime.  Res64: 2F3B94F0EC9F97C6  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 11:20:08]
773*2^1397396-1 is not prime.  Res64: B9563259C8E06AB8  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 11:38:01]
833*2^1397396-1 is not prime.  Res64: 20BAB594ADAF01C6  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 11:38:01]
843*2^1397396-1 is not prime.  Res64: 048B1AC59E3F4117  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 11:38:39]
963*2^1397396-1 is not prime.  Res64: B1D74766EC3EE0F6  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 11:38:39]
983*2^1397396-1 is not prime.  Res64: E42F49BFC4372F0C  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 11:40:16]
621*2^1397397-1 is not prime.  Res64: 094E32A13C6ABC8C  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 11:40:16]
747*2^1397397-1 is not prime.  Res64: D442C8BF60DF7AB6  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 11:46:03]
777*2^1397397-1 is not prime.  Res64: 6CEC0A560A0C887B  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 11:46:03]
781*2^1397397-1 is not prime.  Res64: 5EF3CB2DC28D145C  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 12:04:00]
825*2^1397397-1 is not prime.  Res64: 81450B413A3B36D7  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 12:04:01]
861*2^1397397-1 is not prime.  Res64: F51D4E4ED19D54FC  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 12:04:35]
915*2^1397397-1 is not prime.  Res64: EC3A4A71A40CBF46  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 12:04:37]
919*2^1397397-1 is not prime.  Res64: A2EED223166DADC8  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 12:06:10]
949*2^1397397-1 is not prime.  Res64: 512528BEBDDD9942  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 12:06:10]
621*2^1397398-1 is not prime.  Res64: 98181EB0F64F07B2  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 12:12:10]
635*2^1397398-1 is not prime.  Res64: 56EE768C9DAC835F  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 12:12:10]
657*2^1397398-1 is not prime.  Res64: D28D2EBA9E054BAB  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 12:31:06]
681*2^1397398-1 is not prime.  Res64: E9B06346349722A2  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 12:31:07]
773*2^1397398-1 is not prime.  Res64: D30F40CD1B8186CC  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 12:31:27]
703*2^1397399-1 is not prime.  Res64: 09386C812DFFF522  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 12:31:27]
729*2^1397399-1 is not prime.  Res64: E92CE5FBE7748690  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 12:33:18]
753*2^1397399-1 is not prime.  Res64: 0952025999414896  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 12:33:18]
775*2^1397399-1 is not prime.  Res64: 37999CAD1F9C0135  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 12:39:30]
789*2^1397399-1 is not prime.  Res64: 16D6F04A87E8CFF8  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 12:39:31]
859*2^1397399-1 is not prime.  Res64: 716A77E8FE577AFA  Time : 0.0 sec.
user=juhehe
[2015-04-11 12:40:32]
831*2^1397398-1 is not prime.  Res64: A3F79247469D4545  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 12:58:44]
895*2^1397399-1 is not prime.  Res64: 94169E37CF86BAB7  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 12:58:44]
931*2^1397399-1 is not prime.  Res64: 00E4030E6CD6694D  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 12:58:48]
861*2^1397399-1 is not prime.  Res64: 66FD2FD68ABF21A4  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 12:58:49]
865*2^1397399-1 is not prime.  Res64: 3D5D4C71E7252569  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 13:00:52]
949*2^1397399-1 is not prime.  Res64: 51A3275C6FE069A2  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 13:00:53]
993*2^1397399-1 is not prime.  Res64: C7228979B0726122  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 13:07:02]
707*2^1397400-1 is not prime.  Res64: CE575777E48FD518  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 13:07:03]
789*2^1397400-1 is not prime.  Res64: D67C4463D8F1BE04  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 13:26:05]
845*2^1397400-1 is not prime.  Res64: 5011FCB74415C8C0  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 13:26:05]
849*2^1397400-1 is not prime.  Res64: 31FEA671AA62136E  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 13:26:15]
863*2^1397400-1 is not prime.  Res64: AFEF901347B10B05  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 13:26:15]
909*2^1397400-1 is not prime.  Res64: FDDE55C1564EB485  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 13:28:08]
927*2^1397400-1 is not prime.  Res64: 5F4FF939FF004BC2  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 13:28:09]
645*2^1397401-1 is not prime.  Res64: 3E967D2F98B1BA14  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 13:34:03]
691*2^1397401-1 is not prime.  Res64: C13DFF6FD810500F  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 13:34:03]
705*2^1397401-1 is not prime.  Res64: 71D2172BFD697536  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 13:53:38]
855*2^1397401-1 is not prime.  Res64: DFF806DB6C274F40  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 13:53:38]
871*2^1397401-1 is not prime.  Res64: 15B1DA6FE2E50EA5  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 13:53:46]
819*2^1397401-1 is not prime.  Res64: A17C2B45F9C1CD89  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 13:53:46]
829*2^1397401-1 is not prime.  Res64: 3324514998C20753  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 13:55:48]
895*2^1397401-1 is not prime.  Res64: 52D102E148C51A39  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 13:55:48]
931*2^1397401-1 is not prime.  Res64: 6F446AC7B5700ACA  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 14:01:41]
945*2^1397401-1 is not prime.  Res64: 164D19A60D38897C  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 14:01:42]
633*2^1397402-1 is not prime.  Res64: A315F7A90570C339  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 14:21:18]
827*2^1397402-1 is not prime.  Res64: 5663749B700ACE10  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 14:21:18]
675*2^1397402-1 is not prime.  Res64: 59206EA6925FC575  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 14:21:18]
957*2^1397402-1 is not prime.  Res64: C8653B676E44306C  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 14:21:18]
705*2^1397402-1 is not prime.  Res64: 4D8A374268D4BB93  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 14:23:16]
685*2^1397403-1 is not prime.  Res64: 405FF9576341AB37  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 14:23:17]
751*2^1397403-1 is not prime.  Res64: B074FBFBA23F4254  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 14:29:17]
781*2^1397403-1 is not prime.  Res64: 2756D5E415544941  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 14:29:18]
825*2^1397403-1 is not prime.  Res64: E646A4B20E82420D  Time : 0.0 sec.
user=juhehe
[2015-04-11 14:29:51]
615*2^1397403-1 is not prime.  Res64: 2AF13318296BF007  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 14:48:09]
955*2^1397403-1 is not prime.  Res64: AB73DD5D9F04DB37  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 14:48:09]
707*2^1397404-1 is not prime.  Res64: A56421C799902621  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 14:48:17]
749*2^1397404-1 is not prime.  Res64: FC5EBFA09DD00687  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 14:48:17]
825*2^1397404-1 is not prime.  Res64: 6D2A553AFEE35A39  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 14:50:13]
857*2^1397404-1 is not prime.  Res64: AC2653930FEC1A16  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 14:50:13]
869*2^1397404-1 is not prime.  Res64: 96AD95ED5B312E0A  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 14:56:19]
875*2^1397404-1 is not prime.  Res64: 4BE3630E8B6BF0C9  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 14:56:20]
903*2^1397404-1 is not prime.  Res64: B8C26B4C74A97A31  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 15:15:45]
735*2^1397405-1 is not prime.  Res64: D94E2ECD42E1DEBB  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 15:15:45]
775*2^1397405-1 is not prime.  Res64: C33E56D98DD3FFBA  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 15:16:02]
947*2^1397404-1 is not prime.  Res64: 1365F296767194DA  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 15:16:03]
619*2^1397405-1 is not prime.  Res64: A81E34678E9FEF37  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 15:17:33]
781*2^1397405-1 is not prime.  Res64: B2D998533E3F61A7  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 15:17:34]
825*2^1397405-1 is not prime.  Res64: CC08023625FB1EDA  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 15:24:11]
861*2^1397405-1 is not prime.  Res64: 73B373A4EB81B43E  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 15:24:11]
647*2^1397406-1 is not prime.  Res64: 4CFA519C538271EF  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 15:43:30]
815*2^1397406-1 is not prime.  Res64: D85911022D8B93ED  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 15:43:30]
703*2^1397407-1 is not prime.  Res64: 3EE3F096CD68AD12  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 15:43:36]
717*2^1397406-1 is not prime.  Res64: 94B3B12BBA480416  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 15:43:36]
723*2^1397406-1 is not prime.  Res64: 468BD6A856EA1F4E  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 15:45:00]
759*2^1397407-1 is not prime.  Res64: 9CACB658668FBBE7  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 15:45:01]
793*2^1397407-1 is not prime.  Res64: 06CA7BBCE1516722  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 15:51:44]
831*2^1397407-1 is not prime.  Res64: CE4B3B187EC85122  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 15:51:44]
665*2^1397408-1 is not prime.  Res64: 2A3AA180F839F19C  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 16:11:20]
743*2^1397408-1 is not prime.  Res64: 82B7B7A3A7C0040B  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 16:11:20]
747*2^1397408-1 is not prime.  Res64: 405E2FE6537971D6  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 16:12:09]
767*2^1397408-1 is not prime.  Res64: A40BEF4F9D2F2308  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 16:12:09]
797*2^1397408-1 is not prime.  Res64: 21A3AC78C9F30499  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 16:12:57]
813*2^1397408-1 is not prime.  Res64: 1BFECB3DFC2C6D07  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 16:12:57]
839*2^1397408-1 is not prime.  Res64: 441F25E148A4F8EF  Time : 0.0 sec.
user=juhehe
[2015-04-11 16:19:11]
699*2^1397408-1 is not prime.  Res64: 869F360CC3C1A784  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 16:19:18]
945*2^1397408-1 is not prime.  Res64: 3C5295C4EFCC006A  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 16:19:18]
963*2^1397408-1 is not prime.  Res64: E6B454EB0EC2C1D9  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 16:39:02]
747*2^1397409-1 is not prime.  Res64: BF3DAA5E470491F1  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 16:39:02]
751*2^1397409-1 is not prime.  Res64: E79B65119FA3AA45  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 16:39:18]
759*2^1397409-1 is not prime.  Res64: 4D3EED952FC49D76  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 16:39:18]
795*2^1397409-1 is not prime.  Res64: DF883AFC9776AE1B  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 16:40:20]
817*2^1397409-1 is not prime.  Res64: F1E18379AF0EB7B6  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 16:40:20]
877*2^1397409-1 is not prime.  Res64: 3EE6599576306891  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 16:47:06]
987*2^1397409-1 is not prime.  Res64: BF9E1B884B6DAC59  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 16:47:06]
611*2^1397410-1 is not prime.  Res64: 55A0846750EF27F8  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 17:07:16]
735*2^1397410-1 is not prime.  Res64: 960281AA0BA0BF75  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 17:07:16]
867*2^1397410-1 is not prime.  Res64: 715829067928A7AB  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 17:08:22]
911*2^1397410-1 is not prime.  Res64: 4C2808B4DD08BD33  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 17:08:22]
941*2^1397410-1 is not prime.  Res64: A79E42AFFD3E1C58  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 17:09:06]
615*2^1397411-1 is not prime.  Res64: AA77D41EBB70B52A  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 17:09:07]
663*2^1397411-1 is not prime.  Res64: 79B8422089590457  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 17:15:39]
679*2^1397411-1 is not prime.  Res64: FDC7B2C960DFFB79  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 17:15:39]
685*2^1397411-1 is not prime.  Res64: 51C165E77A036488  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 17:36:06]
715*2^1397411-1 is not prime.  Res64: 358B77CDD7C1055F  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 17:36:06]
843*2^1397411-1 is not prime.  Res64: 3018372F20364C67  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 17:37:28]
921*2^1397411-1 is not prime.  Res64: 512116FCDC58014A  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 17:37:28]
931*2^1397411-1 is not prime.  Res64: A499DC6B24002819  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 17:39:22]
943*2^1397411-1 is not prime.  Res64: 1CB460715DB94757  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 17:39:22]
945*2^1397411-1 is not prime.  Res64: 42B50A7621704670  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 17:46:00]
955*2^1397411-1 is not prime.  Res64: CE45ECF883CF7F7C  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 17:46:00]
627*2^1397412-1 is not prime.  Res64: 39D87133D61DE9AF  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 18:04:56]
689*2^1397412-1 is not prime.  Res64: 9286F839CEF77723  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 18:04:57]
765*2^1397412-1 is not prime.  Res64: 2FD89E71F1BD0FE4  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 18:05:56]
959*2^1397412-1 is not prime.  Res64: E2BD2D00DE6CED13  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 18:05:57]
639*2^1397413-1 is not prime.  Res64: 8DDA0DEDAA875B49  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 18:07:49]
679*2^1397413-1 is not prime.  Res64: 2370A59DFF914F85  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 18:07:50]
691*2^1397413-1 is not prime.  Res64: ED49C8C5DADA4226  Time : 0.0 sec.
user=juhehe
[2015-04-11 18:08:24]
669*2^1397412-1 is not prime.  Res64: 9DADE2757B40CBB3  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 18:14:06]
741*2^1397413-1 is not prime.  Res64: B701F361C947B7FA  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 18:14:06]
775*2^1397413-1 is not prime.  Res64: E55D88D0EDFE7BB5  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 18:33:49]
615*2^1397414-1 is not prime.  Res64: 8CABBF7061CFFB67  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 18:33:50]
671*2^1397414-1 is not prime.  Res64: 38F7DEBDD8B45E3D  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 18:33:58]
915*2^1397413-1 is not prime.  Res64: 36E2EDE4FC650ED8  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 18:33:59]
967*2^1397413-1 is not prime.  Res64: 252F7762F3980551  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 18:36:19]
755*2^1397414-1 is not prime.  Res64: F26518C18EF4A538  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 18:36:20]
827*2^1397414-1 is not prime.  Res64: CDC010F041016371  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 18:42:22]
873*2^1397414-1 is not prime.  Res64: 282AA8E8F06B6207  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 18:42:23]
903*2^1397414-1 is not prime.  Res64: D8161F88912FF508  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 19:02:04]
915*2^1397414-1 is not prime.  Res64: 829287ABF82714EF  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 19:02:05]
951*2^1397414-1 is not prime.  Res64: 24FC93ED47186777  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 19:02:11]
669*2^1397415-1 is not prime.  Res64: BEC56EE49D5A82F8  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 19:02:12]
679*2^1397415-1 is not prime.  Res64: 6BD784030EF1B372  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 19:03:59]
819*2^1397415-1 is not prime.  Res64: B094EE24FD101EB1  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 19:04:01]
853*2^1397415-1 is not prime.  Res64: 4941021CEAB0B406  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 19:09:59]
921*2^1397415-1 is not prime.  Res64: FDA26C357B00AE8D  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 19:09:59]
949*2^1397415-1 is not prime.  Res64: 0299FF2444639202  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 19:29:51]
963*2^1397415-1 is not prime.  Res64: F8C410021CA45661  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 19:29:52]
615*2^1397416-1 is not prime.  Res64: 0EA816936AFEF24A  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 19:30:47]
699*2^1397416-1 is not prime.  Res64: D15E4638BE9C200D  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 19:30:48]
755*2^1397416-1 is not prime.  Res64: A8FED0D5ED13023C  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 19:32:21]
843*2^1397416-1 is not prime.  Res64: 2B45DC5A45AA0AD9  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 19:32:21]
887*2^1397416-1 is not prime.  Res64: 9171D7625FDCB686  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 19:37:54]
999*2^1397416-1 is not prime.  Res64: C52A03C4B8C52AB7  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 19:37:54]
697*2^1397417-1 is not prime.  Res64: 84D9C46C6066B5CF  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 19:57:40]
729*2^1397417-1 is not prime.  Res64: 39A6E5599545D9E6  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 19:57:40]
769*2^1397417-1 is not prime.  Res64: A25FB2E014738BD4  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 19:58:30]
777*2^1397417-1 is not prime.  Res64: 778C6112E5EA33AA  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 19:58:30]
885*2^1397417-1 is not prime.  Res64: 58491DBEA12F1F9C  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 20:00:15]
979*2^1397417-1 is not prime.  Res64: F0670523808B39C0  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 20:00:16]
627*2^1397418-1 is not prime.  Res64: A483BC5EDDABB202  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 20:05:48]
651*2^1397418-1 is not prime.  Res64: DCC6E7D27F96B34F  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 20:05:49]
975*2^1397418-1 is not prime.  Res64: 03D080054970962C  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 20:25:23]
631*2^1397419-1 is not prime.  Res64: 5692FA67A9FDF48D  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 20:25:23]
735*2^1397419-1 is not prime.  Res64: C774DAF3D50E686F  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 20:26:18]
759*2^1397419-1 is not prime.  Res64: 5707332DC738852E  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 20:26:18]
789*2^1397419-1 is not prime.  Res64: 782EE46E1FB5DCA4  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 20:28:08]
793*2^1397419-1 is not prime.  Res64: AE765D5522052647  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 20:28:08]
861*2^1397419-1 is not prime.  Res64: D10487EF63CA3799  Time : 0.0 sec.
user=juhehe
[2015-04-11 20:29:36]
615*2^1397419-1 is not prime.  Res64: FC3860099029B915  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 20:34:19]
603*2^1397420-1 is not prime.  Res64: D66AFD24D3AE7141  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 20:34:19]
609*2^1397420-1 is not prime.  Res64: 78559F67CD43E60F  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 20:54:57]
615*2^1397420-1 is not prime.  Res64: 58964886BE63A426  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 20:54:57]
677*2^1397420-1 is not prime.  Res64: A1AFBF3F5B08C71D  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 20:55:25]
843*2^1397420-1 is not prime.  Res64: 97310173F9A5A4DC  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 20:55:25]
855*2^1397420-1 is not prime.  Res64: D1E2B33D8C4EA1AF  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 20:57:01]
923*2^1397420-1 is not prime.  Res64: 4ADDBE6226CCF665  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 20:57:02]
999*2^1397420-1 is not prime.  Res64: 795C7DA8F4B68670  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 21:04:04]
621*2^1397421-1 is not prime.  Res64: FCA1CBDBA38795E2  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 21:04:05]
649*2^1397421-1 is not prime.  Res64: D5AE220394792E6E  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 21:22:55]
679*2^1397421-1 is not prime.  Res64: 29E34093A8C4C92A  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 21:22:56]
685*2^1397421-1 is not prime.  Res64: 7807CF86100AE9F6  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 21:25:14]
727*2^1397421-1 is not prime.  Res64: 2ADA84F1D25A0C17  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 21:25:14]
781*2^1397421-1 is not prime.  Res64: ADD35E150343C385  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 21:26:36]
819*2^1397421-1 is not prime.  Res64: 6E0FC4408AC5002E  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 21:26:36]
889*2^1397421-1 is not prime.  Res64: EFC298547595CF22  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 21:33:15]
945*2^1397421-1 is not prime.  Res64: FC76E07C0CD5EBDF  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 21:33:16]
785*2^1397422-1 is not prime.  Res64: 99A120187F0F4E79  Time : 0.0 sec.
user=juhehe
[2015-04-11 21:42:15]
857*2^1397422-1 is not prime.  Res64: 6C738A46CE35CAEC  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 21:51:21]
911*2^1397422-1 is not prime.  Res64: F87991A348ECCF1F  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 21:51:22]
621*2^1397423-1 is not prime.  Res64: 3F97113A64375809  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 21:53:37]
643*2^1397423-1 is not prime.  Res64: 62305EC11B28AFA2  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 21:53:38]
741*2^1397423-1 is not prime.  Res64: 77CD077F873A81BA  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 21:54:54]
783*2^1397423-1 is not prime.  Res64: C24E2692C5A99466  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 21:54:54]
789*2^1397423-1 is not prime.  Res64: 835B7B231195FC21  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 22:01:35]
859*2^1397423-1 is not prime.  Res64: 7BB3B1412B758FCD  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 22:01:35]
609*2^1397424-1 is not prime.  Res64: C9FDEF4DB5EAA2EF  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 22:18:27]
629*2^1397424-1 is not prime.  Res64: 4C0FD7DB8B17C8D9  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 22:18:28]
705*2^1397424-1 is not prime.  Res64: 35CED9C6FC67B4CA  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 22:20:37]
707*2^1397424-1 is not prime.  Res64: D4695C8DA76527DA  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 22:20:37]
717*2^1397424-1 is not prime.  Res64: E5998AB0EC557EF1  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 22:21:57]
887*2^1397424-1 is not prime.  Res64: 350C2EE898FD9227  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 22:21:58]
927*2^1397424-1 is not prime.  Res64: BFC1BC4FB2BF07EA  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 22:28:35]
983*2^1397424-1 is not prime.  Res64: EA5193EF9D3DA1EB  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 22:28:35]
619*2^1397425-1 is not prime.  Res64: F84B551CFDD2D9E2  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 22:45:44]
649*2^1397425-1 is not prime.  Res64: 8BF805B9D1D86B2F  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 22:45:45]
847*2^1397425-1 is not prime.  Res64: AB85C8B74D10FA22  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 22:48:02]
957*2^1397425-1 is not prime.  Res64: A0B78A956ECA3972  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 22:48:02]
979*2^1397425-1 is not prime.  Res64: D08E7ACC0A525305  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 22:49:23]
615*2^1397426-1 is not prime.  Res64: 7C65556D06AAD9AC  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 22:49:23]
617*2^1397426-1 is not prime.  Res64: BC07FC0169716809  Time : 0.0 sec.
user=juhehe
[2015-04-11 22:54:50]
909*2^1397425-1 is not prime.  Res64: 29E10D16C8C726FE  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 22:55:42]
801*2^1397426-1 is not prime.  Res64: 15A97698077708C4  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 22:55:42]
825*2^1397426-1 is not prime.  Res64: BC1A830667717780  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 23:12:52]
917*2^1397426-1 is not prime.  Res64: 54DDF2FC9B24F527  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 23:12:52]
923*2^1397426-1 is not prime.  Res64: EB04DC15DD04117F  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 23:15:12]
945*2^1397426-1 is not prime.  Res64: 9C7EF73547BA89FA  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 23:15:12]
963*2^1397426-1 is not prime.  Res64: C87B3098C6BE5103  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 23:16:50]
735*2^1397427-1 is not prime.  Res64: 922D87ECB09CBA28  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 23:16:51]
819*2^1397427-1 is not prime.  Res64: C6E6DCEFB8A76808  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 23:23:06]
859*2^1397427-1 is not prime.  Res64: 791C8390E4C48CC1  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 23:23:06]
871*2^1397427-1 is not prime.  Res64: 443251132BCEAC5B  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 23:41:23]
975*2^1397427-1 is not prime.  Res64: 74C76A2B167AC694  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 23:41:23]
605*2^1397428-1 is not prime.  Res64: 13B0DC7413037976  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 23:44:00]
765*2^1397428-1 is not prime.  Res64: D3E645D86F22C62E  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 23:44:01]
869*2^1397428-1 is not prime.  Res64: 95B0DEE7473906A2  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 23:45:42]
909*2^1397428-1 is not prime.  Res64: E6E3F29B6349A421  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 23:45:42]
975*2^1397428-1 is not prime.  Res64: BA2AAFA26099C951  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 23:51:54]
657*2^1397429-1 is not prime.  Res64: C7D87913255168D9  Time : 0.0 sec.
user=mdettweiler
[2015-04-11 23:51:54]
697*2^1397429-1 is not prime.  Res64: 742B01E9E19476D4  Time : 0.0 sec.