user=mdettweiler
[2015-10-28 00:05:14]
721*2^1413389-1 is not prime.  Res64: 5874340011E0F32B  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 00:05:15]
811*2^1413389-1 is not prime.  Res64: 0A59A775FD0389FC  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 00:05:16]
951*2^1413389-1 is not prime.  Res64: 057A98AE7D9FC271  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 00:05:16]
635*2^1413390-1 is not prime.  Res64: AFB4C5415990C9BB  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 00:05:17]
627*2^1413390-1 is not prime.  Res64: CEEA9A0EFE4C4188  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 00:05:17]
723*2^1413390-1 is not prime.  Res64: B691ADD11DA2ED8A  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 00:23:09]
833*2^1413390-1 is not prime.  Res64: 469F4785293ACD61  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 00:23:10]
873*2^1413390-1 is not prime.  Res64: BFB862B85EC71019  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 00:23:12]
977*2^1413390-1 is not prime.  Res64: FE21CABB48E2D911  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 00:23:12]
619*2^1413391-1 is not prime.  Res64: 1015E504A9129E85  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 00:23:12]
1001*2^1413390-1 is not prime.  Res64: A649B6EEEF9246B1  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 00:23:12]
675*2^1413391-1 is not prime.  Res64: DD7583EB75A7BD7C  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 00:40:55]
693*2^1413392-1 is not prime.  Res64: F3D25CF949D48C95  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 00:40:55]
685*2^1413391-1 is not prime.  Res64: A31A39B4068A4277  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 00:40:55]
813*2^1413391-1 is not prime.  Res64: C4C9B85A9BFCBB50  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 00:40:55]
717*2^1413392-1 is not prime.  Res64: F82EE82E1F6B3BF0  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 00:40:55]
993*2^1413391-1 is not prime.  Res64: 7A47E8792CAA819A  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 00:40:55]
725*2^1413392-1 is not prime.  Res64: 0EDBA61D7A78BBC0  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 00:58:49]
767*2^1413392-1 is not prime.  Res64: 6CE39AB4B41CE68D  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 00:58:49]
785*2^1413392-1 is not prime.  Res64: DC2ACAA0F2D0C211  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 00:58:51]
855*2^1413392-1 is not prime.  Res64: 92F6733B8117975D  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 00:58:51]
781*2^1413393-1 is not prime.  Res64: 1654790169A45FED  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 00:58:52]
797*2^1413392-1 is not prime.  Res64: ED0D576B3C50AA78  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 00:58:53]
843*2^1413392-1 is not prime.  Res64: 8DE09AF0BFA794B3  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 01:16:48]
915*2^1413393-1 is not prime.  Res64: EF62ECD8EEE9734B  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 01:16:49]
795*2^1413393-1 is not prime.  Res64: 5105E8CD3F3A3FA2  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 01:16:49]
951*2^1413393-1 is not prime.  Res64: 42F0AAD089DE4B96  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 01:16:49]
847*2^1413393-1 is not prime.  Res64: 407D6AA72FE342F0  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 01:16:51]
605*2^1413394-1 is not prime.  Res64: 438D21B6AC4397D6  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 01:16:51]
635*2^1413394-1 is not prime.  Res64: 32F25A3E0B470DAF  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 01:34:40]
947*2^1413394-1 is not prime.  Res64: 521352BC2A06A644  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 01:34:40]
971*2^1413394-1 is not prime.  Res64: 4AA39C883C161A16  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 01:34:42]
813*2^1413394-1 is not prime.  Res64: 633FA3A88FC8D9CE  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 01:34:43]
857*2^1413394-1 is not prime.  Res64: 1622BFDE3D53B91A  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 01:34:43]
645*2^1413395-1 is not prime.  Res64: 8E5C3FEEBB143D5B  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 01:34:43]
735*2^1413395-1 is not prime.  Res64: 49B3D0F8CF287C70  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 01:52:42]
981*2^1413395-1 is not prime.  Res64: 73BA93B945829FE5  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 01:52:42]
623*2^1413396-1 is not prime.  Res64: 68B8BA7A19C10894  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 01:52:44]
771*2^1413395-1 is not prime.  Res64: BABD9F3865C683E9  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 01:52:44]
657*2^1413396-1 is not prime.  Res64: D0F28DD9AFDC1DBF  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 01:52:44]
843*2^1413395-1 is not prime.  Res64: 556D8F84D4B62FA1  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 01:52:44]
737*2^1413396-1 is not prime.  Res64: F881F9E352474ED8  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 02:10:24]
749*2^1413396-1 is not prime.  Res64: D7CBAE0132073788  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 02:10:24]
857*2^1413396-1 is not prime.  Res64: C879F9D623D4D61D  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 02:10:24]
765*2^1413396-1 is not prime.  Res64: FF9BD66DD61B1433  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 02:10:24]
783*2^1413396-1 is not prime.  Res64: 1EC1D74D22B90E2E  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 02:10:24]
903*2^1413396-1 is not prime.  Res64: 2B73AA1AB8873D91  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 02:10:25]
789*2^1413396-1 is not prime.  Res64: BBFC88AE66024B19  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 02:27:51]
905*2^1413396-1 is not prime.  Res64: 079CD5816284142D  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 02:27:52]
909*2^1413396-1 is not prime.  Res64: 5614EA0D189404D2  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 02:27:52]
727*2^1413397-1 is not prime.  Res64: B254CDCB42FAB4D5  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 02:27:52]
831*2^1413397-1 is not prime.  Res64: FE2975A28566AFA2  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 02:27:54]
957*2^1413396-1 is not prime.  Res64: 5AB96853A6890C70  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 02:27:55]
999*2^1413396-1 is not prime.  Res64: C21138FF734FEA56  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 02:45:23]
889*2^1413397-1 is not prime.  Res64: 776C37BF451A5AC5  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 02:45:24]
997*2^1413397-1 is not prime.  Res64: 1D69FE6D27BD9802  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 02:45:24]
931*2^1413397-1 is not prime.  Res64: 8F6BC572A765EC51  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 02:45:24]
743*2^1413398-1 is not prime.  Res64: 5F3B84C713549DA4  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 02:45:27]
761*2^1413398-1 is not prime.  Res64: 4464969197850827  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 02:45:27]
833*2^1413398-1 is not prime.  Res64: 4C281D974A2175DE  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 03:03:12]
1001*2^1413398-1 is not prime.  Res64: BC1B9A7EBA9C6D04  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 03:03:12]
867*2^1413398-1 is not prime.  Res64: 5C9662A35D07E272  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 03:03:13]
823*2^1413399-1 is not prime.  Res64: 88C5F23B7E5CA1AF  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 03:03:14]
961*2^1413399-1 is not prime.  Res64: A2A03F727608345E  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 03:03:15]
963*2^1413398-1 is not prime.  Res64: AFCB07D04F37E0D0  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 03:03:16]
969*2^1413399-1 is not prime.  Res64: CCB0233090881E1F  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 03:21:07]
605*2^1413400-1 is not prime.  Res64: 96C2299570A62922  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 03:21:07]
609*2^1413400-1 is not prime.  Res64: E1FB36B0A9615723  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 03:21:09]
615*2^1413400-1 is not prime.  Res64: 1F3C4BC159F08C75  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 03:21:10]
839*2^1413400-1 is not prime.  Res64: 2C00EA9B6A4BDF50  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 03:21:12]
873*2^1413400-1 is not prime.  Res64: 12D89D6C48C21E03  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 03:21:12]
897*2^1413400-1 is not prime.  Res64: DF6F8EA3128BDD82  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 03:38:39]
959*2^1413400-1 is not prime.  Res64: 71113A3E77D82454  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 03:38:40]
747*2^1413401-1 is not prime.  Res64: B9CFAC3CF6F62F47  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 03:38:41]
711*2^1413401-1 is not prime.  Res64: 008B6CADF3656FD3  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 03:38:42]
861*2^1413401-1 is not prime.  Res64: CC7A6D5D91778475  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 03:38:42]
957*2^1413401-1 is not prime.  Res64: 6B87086B5B365886  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 03:38:43]
635*2^1413402-1 is not prime.  Res64: 0E3C88A13E02B2BC  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 03:56:33]
833*2^1413402-1 is not prime.  Res64: 6ABAA4ADF34433A3  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 03:56:33]
801*2^1413402-1 is not prime.  Res64: BA686DC1CAB83215  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 03:56:34]
941*2^1413402-1 is not prime.  Res64: C0B834F658652BEF  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 03:56:34]
807*2^1413402-1 is not prime.  Res64: 670FA9A0EB5DB36D  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 03:56:34]
681*2^1413403-1 is not prime.  Res64: 72437CB63C78574A  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 03:56:35]
783*2^1413403-1 is not prime.  Res64: 28A87992900E96DB  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 04:14:02]
919*2^1413403-1 is not prime.  Res64: 73EEE38AF2C4ECEB  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 04:14:02]
793*2^1413403-1 is not prime.  Res64: FDB99833592508D4  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 04:14:02]
853*2^1413403-1 is not prime.  Res64: C35A3F360AAB308F  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 04:14:02]
665*2^1413404-1 is not prime.  Res64: 639F3ECF6A9D01A0  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 04:14:02]
859*2^1413403-1 is not prime.  Res64: F5AB919C02569850  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 04:14:02]
849*2^1413403-1 is not prime.  Res64: A178CA3E258E72C0  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 04:31:32]
743*2^1413404-1 is not prime.  Res64: D6C8CDFDABF44F2E  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 04:31:33]
867*2^1413405-1 is not prime.  Res64: E45D407B28502CE6  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 04:31:33]
935*2^1413404-1 is not prime.  Res64: 0FF29EE15C8CAB6A  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 04:31:33]
635*2^1413406-1 is not prime.  Res64: C2557EE55786AD0E  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 04:31:35]
699*2^1413405-1 is not prime.  Res64: 1AAEA2995F1B2610  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 04:31:35]
847*2^1413405-1 is not prime.  Res64: 201990AE5B7A1CA7  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 04:48:59]
651*2^1413406-1 is not prime.  Res64: E8B404D7004CC1DA  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 04:48:59]
663*2^1413406-1 is not prime.  Res64: 9D4046F9F7F690D8  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 04:49:00]
705*2^1413406-1 is not prime.  Res64: 2535C44344D6E79D  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 04:49:00]
713*2^1413406-1 is not prime.  Res64: D807B96EFEE294DE  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 04:49:02]
785*2^1413406-1 is not prime.  Res64: 26F54ABDFAB9E67B  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 04:49:02]
911*2^1413406-1 is not prime.  Res64: E567ED6EEB9E6F2B  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 05:06:27]
703*2^1413407-1 is not prime.  Res64: A2B708833510FA63  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 05:06:28]
781*2^1413407-1 is not prime.  Res64: AF76496423D3B5C7  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 05:06:28]
941*2^1413406-1 is not prime.  Res64: 359E5D8D4B23C927  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 05:06:29]
993*2^1413406-1 is not prime.  Res64: 7C1D77CF3CB456C6  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 05:06:31]
819*2^1413407-1 is not prime.  Res64: AEB8EA8DBC4705F3  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 05:06:31]
689*2^1413408-1 is not prime.  Res64: 2C1DD30545176680  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 05:23:57]
737*2^1413408-1 is not prime.  Res64: 4673427176B35AC6  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 05:23:57]
803*2^1413408-1 is not prime.  Res64: 423B5297E4AC68D4  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 05:23:58]
875*2^1413408-1 is not prime.  Res64: 7ABD8D2A75FA123B  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 05:23:58]
929*2^1413408-1 is not prime.  Res64: 299295CBF492D237  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 05:23:59]
615*2^1413409-1 is not prime.  Res64: 171EC0941CD9201E  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 05:23:59]
729*2^1413409-1 is not prime.  Res64: C85C262D439D27FE  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 05:41:23]
885*2^1413409-1 is not prime.  Res64: 74B8B1AF51A3D200  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 05:41:23]
603*2^1413410-1 is not prime.  Res64: 36733AC7D0B3002C  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 05:41:23]
651*2^1413410-1 is not prime.  Res64: D7A214FBF9B3DE84  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 05:41:24]
713*2^1413410-1 is not prime.  Res64: 027C2BE4D69D7949  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 05:41:24]
677*2^1413410-1 is not prime.  Res64: 5D5649B48228A425  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 05:41:24]
785*2^1413410-1 is not prime.  Res64: CEDF8A45E5E63115  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 05:58:50]
789*2^1413411-1 is not prime.  Res64: 7AABA07F629F894D  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 05:58:50]
823*2^1413411-1 is not prime.  Res64: 4BBC210FB27B59DC  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 05:58:50]
849*2^1413411-1 is not prime.  Res64: 03D860449B0549C4  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 05:58:50]
797*2^1413410-1 is not prime.  Res64: E848BDD7BED3D51D  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 05:58:50]
873*2^1413411-1 is not prime.  Res64: 7B671F9E6C26D70D  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 05:58:51]
735*2^1413411-1 is not prime.  Res64: 379212BA38A4F68C  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 06:16:16]
623*2^1413412-1 is not prime.  Res64: 1BE4B8581CFAFA97  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 06:16:17]
649*2^1413413-1 is not prime.  Res64: D83882EB573BDC06  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 06:16:17]
869*2^1413412-1 is not prime.  Res64: B859EBC501852B9B  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 06:16:17]
803*2^1413412-1 is not prime.  Res64: 1BBD08AAFB9C3B90  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 06:16:17]
747*2^1413413-1 is not prime.  Res64: 12C23E573671C3ED  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 06:16:17]
885*2^1413412-1 is not prime.  Res64: 02CBE5F95B2A7E02  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 06:33:45]
871*2^1413413-1 is not prime.  Res64: 708204D61200ACAA  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 06:33:46]
901*2^1413413-1 is not prime.  Res64: 30F76C336703D15F  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 06:33:48]
641*2^1413414-1 is not prime.  Res64: BD6176A054F79EDD  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 06:33:49]
657*2^1413414-1 is not prime.  Res64: 57078A860F43BFFD  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 06:33:50]
759*2^1413413-1 is not prime.  Res64: 6BC57C5162CA4355  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 06:33:50]
811*2^1413413-1 is not prime.  Res64: 0A184F30D8517795  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 06:51:13]
693*2^1413414-1 is not prime.  Res64: 10ACB7BAFCD6CE66  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 06:51:13]
707*2^1413414-1 is not prime.  Res64: 45B95DA729B0573D  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 06:51:14]
807*2^1413414-1 is not prime.  Res64: 3DEAB10A3400B4CF  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 06:51:14]
851*2^1413414-1 is not prime.  Res64: F7888F7DB32B031B  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 06:51:16]
881*2^1413414-1 is not prime.  Res64: 4646AD9D64015377  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 06:51:16]
891*2^1413414-1 is not prime.  Res64: 5F1B623BEE541AF5  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 07:08:39]
893*2^1413414-1 is not prime.  Res64: 6BD69B04F0A890B0  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 07:08:40]
917*2^1413414-1 is not prime.  Res64: 1E579EEA19379013  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 07:08:43]
927*2^1413414-1 is not prime.  Res64: 94E42490F8D17297  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 07:08:43]
971*2^1413414-1 is not prime.  Res64: C433D2ADD665181F  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 07:08:45]
1001*2^1413414-1 is not prime.  Res64: B6B193B67ADB1F2F  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 07:08:46]
619*2^1413415-1 is not prime.  Res64: 7ADCF45336746AE2  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 07:26:11]
841*2^1413415-1 is not prime.  Res64: 71CDB0CCDF114E41  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 07:26:11]
849*2^1413415-1 is not prime.  Res64: 31A2EB1777F8C79A  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 07:26:12]
735*2^1413415-1 is not prime.  Res64: 37E422AAE132E9F9  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 07:26:12]
793*2^1413415-1 is not prime.  Res64: 39663A61860A0B1C  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 07:26:14]
889*2^1413415-1 is not prime.  Res64: C364F7B29AFB33DC  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 07:26:14]
633*2^1413416-1 is not prime.  Res64: 18EF00658AA5E39B  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 07:43:36]
693*2^1413416-1 is not prime.  Res64: F601616D6212ACDA  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 07:43:36]
825*2^1413416-1 is not prime.  Res64: 11E8045F4C9C52FD  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 07:43:37]
813*2^1413416-1 is not prime.  Res64: F6E7943451C1D63C  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 07:43:37]
903*2^1413416-1 is not prime.  Res64: 1CF91B70051DD611  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 07:43:38]
637*2^1413417-1 is not prime.  Res64: 2461E7993C98E4CD  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 07:43:39]
669*2^1413417-1 is not prime.  Res64: 50956C4941146271  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 08:01:03]
781*2^1413417-1 is not prime.  Res64: 1A55309604731B32  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 08:01:04]
901*2^1413417-1 is not prime.  Res64: B87E8F61C030B706  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 08:01:04]
795*2^1413417-1 is not prime.  Res64: 75E8BBC6782FCD34  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 08:01:05]
905*2^1413418-1 is not prime.  Res64: A19EA583EE2E7EE8  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 08:01:06]
971*2^1413418-1 is not prime.  Res64: A98266C246EE7CB8  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 08:01:06]
995*2^1413418-1 is not prime.  Res64: EDFE2B4DAF6F0CD0  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 08:19:00]
609*2^1413419-1 is not prime.  Res64: 269BEEA05B14EFBF  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 08:19:00]
789*2^1413419-1 is not prime.  Res64: 3BD07EC74F22932E  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 08:19:00]
619*2^1413419-1 is not prime.  Res64: C85B7FE2AD5CD3B2  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 08:19:00]
811*2^1413419-1 is not prime.  Res64: 0E6FEE9D4113A861  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 08:19:01]
685*2^1413419-1 is not prime.  Res64: 1C357892E682F25D  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 08:19:01]
745*2^1413419-1 is not prime.  Res64: AA4AEFBBE4232527  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 08:36:28]
861*2^1413419-1 is not prime.  Res64: 6C3178088ADF6408  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 08:36:29]
955*2^1413419-1 is not prime.  Res64: C959CA66DDEC1A93  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 08:36:29]
909*2^1413419-1 is not prime.  Res64: B5D80E49C4576A2D  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 08:36:29]
993*2^1413419-1 is not prime.  Res64: 36B992F937B8E60B  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 08:36:31]
759*2^1413420-1 is not prime.  Res64: 2562A5AF8D8EBD4E  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 08:36:31]
927*2^1413420-1 is not prime.  Res64: E586B4B4F596BBB1  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 08:53:54]
615*2^1413421-1 is not prime.  Res64: 431E8EC7DE09FFDA  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 08:53:55]
741*2^1413421-1 is not prime.  Res64: FE292A0629CCBB2A  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 08:53:55]
959*2^1413420-1 is not prime.  Res64: 5C84CE3C9E6E96A3  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 08:53:55]
607*2^1413421-1 is not prime.  Res64: B661C381161A1246  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 08:53:57]
777*2^1413421-1 is not prime.  Res64: 989204E51D4A387C  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 08:53:58]
799*2^1413421-1 is not prime.  Res64: D13EE662CEE85365  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 09:11:21]
615*2^1413422-1 is not prime.  Res64: 90D247766727D107  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 09:11:22]
741*2^1413422-1 is not prime.  Res64: 29E1C3462153E280  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 09:11:22]
819*2^1413421-1 is not prime.  Res64: E233305B4BB4D3FF  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 09:11:23]
877*2^1413421-1 is not prime.  Res64: F8648285C02F259F  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 09:11:25]
791*2^1413422-1 is not prime.  Res64: B6D8A9888AB20B3C  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 09:11:25]
827*2^1413422-1 is not prime.  Res64: F2C45BBF6744DCDB  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 09:28:53]
917*2^1413422-1 is not prime.  Res64: 06E318F2197C78F3  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 09:28:53]
957*2^1413422-1 is not prime.  Res64: 73A8FAE4D6E96AF6  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 09:28:53]
619*2^1413423-1 is not prime.  Res64: 2E93A1CDF3D3A4F1  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 09:28:53]
741*2^1413423-1 is not prime.  Res64: 2C5A629E11B673F6  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 09:28:54]
693*2^1413423-1 is not prime.  Res64: 5962E6B01AB3AA42  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 09:28:54]
901*2^1413423-1 is not prime.  Res64: 1F31BAE5B9F2E81E  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 09:46:20]
963*2^1413423-1 is not prime.  Res64: 8ED1D7D67442FE3C  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 09:46:21]
991*2^1413423-1 is not prime.  Res64: 9F8842475BFDB5C0  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 09:46:23]
929*2^1413424-1 is not prime.  Res64: 8F360FDE01E3F945  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 09:46:23]
729*2^1413425-1 is not prime.  Res64: BBF3743E57BD37ED  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 09:46:24]
707*2^1413424-1 is not prime.  Res64: 900CD5536A31B702  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 09:46:24]
903*2^1413424-1 is not prime.  Res64: EF9447530B366EC9  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 10:03:48]
705*2^1413426-1 is not prime.  Res64: C21930C240FB0FCE  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 10:03:50]
615*2^1413427-1 is not prime.  Res64: 10209C839D859DF4  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 10:03:51]
663*2^1413427-1 is not prime.  Res64: C7C7B1893068D965  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 10:03:52]
651*2^1413427-1 is not prime.  Res64: E22E32A478577914  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 10:03:52]
673*2^1413427-1 is not prime.  Res64: 0E430602CDAE046B  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 10:03:54]
921*2^1413426-1 is not prime.  Res64: FEC1FC6CB719F608  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 10:21:44]
675*2^1413427-1 is not prime.  Res64: 276F109F233B3AC1  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 10:21:45]
691*2^1413427-1 is not prime.  Res64: 77AA0613A747B20A  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 10:21:45]
885*2^1413427-1 is not prime.  Res64: C9FC686E9B89D45F  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 10:21:46]
753*2^1413428-1 is not prime.  Res64: F1B50B959CA1A78A  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 10:21:48]
897*2^1413428-1 is not prime.  Res64: DE22FC09B4B4B12E  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 10:21:48]
609*2^1413429-1 is not prime.  Res64: 5358EA1D302739C8  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 10:39:14]
795*2^1413429-1 is not prime.  Res64: D2474DC93D73655F  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 10:39:14]
621*2^1413429-1 is not prime.  Res64: 0F7924CCF8A3C769  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 10:39:14]
831*2^1413429-1 is not prime.  Res64: 00219E478D382A58  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 10:39:14]
709*2^1413429-1 is not prime.  Res64: ADF066A03EFACA78  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 10:39:15]
877*2^1413429-1 is not prime.  Res64: 81B9E6AAF6EB8DFF  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 10:39:16]
985*2^1413429-1 is not prime.  Res64: DB5F9E9F7D768CB1  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 10:56:41]
753*2^1413431-1 is not prime.  Res64: 81D50A9C41B11413  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 10:56:41]
791*2^1413430-1 is not prime.  Res64: 5713ACA1605A5CED  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 10:56:41]
783*2^1413431-1 is not prime.  Res64: B9C74CD912362162  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 10:56:41]
891*2^1413430-1 is not prime.  Res64: E14AE4277976A7A5  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 10:56:44]
991*2^1413429-1 is not prime.  Res64: 890E842BEA1863E4  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 10:56:44]
695*2^1413430-1 is not prime.  Res64: 2045A4E2DA2F0B00  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 11:14:07]
901*2^1413431-1 is not prime.  Res64: 1815112B33397267  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 11:14:08]
913*2^1413431-1 is not prime.  Res64: 54FE99375BB495FD  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 11:14:08]
855*2^1413431-1 is not prime.  Res64: 3E5D01D0872AF51A  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 11:14:09]
883*2^1413431-1 is not prime.  Res64: 86BCE576607B6A7F  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 11:14:12]
969*2^1413431-1 is not prime.  Res64: D36061AF1F03A856  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 11:14:12]
605*2^1413432-1 is not prime.  Res64: C73E7657E5679BF7  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 11:31:40]
903*2^1413432-1 is not prime.  Res64: A0085F43BFE2B6AC  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 11:31:41]
957*2^1413432-1 is not prime.  Res64: 9EFF0611836046EA  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 11:31:41]
615*2^1413432-1 is not prime.  Res64: 1C16A5D007385EB3  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 11:31:41]
657*2^1413432-1 is not prime.  Res64: A93DA2B3A49B86F5  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 11:31:42]
797*2^1413432-1 is not prime.  Res64: 747EE7C03ADF5F01  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 11:31:42]
879*2^1413432-1 is not prime.  Res64: A798380E19119D26  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 11:49:07]
951*2^1413433-1 is not prime.  Res64: 11E3A899141A7C92  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 11:49:07]
955*2^1413433-1 is not prime.  Res64: 6773771845481145  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 11:49:07]
765*2^1413433-1 is not prime.  Res64: 841B573650B6FA49  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 11:49:08]
771*2^1413433-1 is not prime.  Res64: 207EF20A202BB1D4  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 11:49:08]
967*2^1413433-1 is not prime.  Res64: 4219D0B02854D6FA  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 11:49:08]
675*2^1413434-1 is not prime.  Res64: 46E31CBAF4FE7D55  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 12:06:34]
687*2^1413434-1 is not prime.  Res64: C4A272AC0C41D65F  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 12:06:34]
873*2^1413434-1 is not prime.  Res64: 57CA21AE9B56AD6F  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 12:06:38]
791*2^1413434-1 is not prime.  Res64: 457DC2E4D1180D7C  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 12:06:39]
983*2^1413434-1 is not prime.  Res64: 2D682B8DE56809E6  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 12:06:40]
851*2^1413434-1 is not prime.  Res64: 6D4ED8FCDB5E1A19  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 12:06:41]
753*2^1413434-1 is not prime.  Res64: 2F2202BE9F689469  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 12:24:34]
669*2^1413435-1 is not prime.  Res64: 4BD19E33A2E4B319  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 12:24:35]
783*2^1413435-1 is not prime.  Res64: 4694410C6E5B24DE  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 12:24:37]
609*2^1413435-1 is not prime.  Res64: 81FD799442BA00D0  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 12:24:37]
961*2^1413435-1 is not prime.  Res64: 82277578B9DCFF79  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 12:24:38]
617*2^1413436-1 is not prime.  Res64: B679624AD884FB48  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 12:24:38]
615*2^1413436-1 is not prime.  Res64: F2DF9FB01EA37AFB  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 12:42:01]
695*2^1413436-1 is not prime.  Res64: 8A59EF747C1DA1FE  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 12:42:01]
707*2^1413436-1 is not prime.  Res64: 8C5DB6DA44E3EF67  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 12:42:03]
777*2^1413436-1 is not prime.  Res64: E504F1E0A6BEE3C9  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 12:42:03]
735*2^1413436-1 is not prime.  Res64: E586486FC19692A1  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 12:42:03]
803*2^1413436-1 is not prime.  Res64: DD6ABEFB854061F4  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 12:42:03]
773*2^1413436-1 is not prime.  Res64: A13EBD6BDC9C43BD  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 12:59:29]
615*2^1413437-1 is not prime.  Res64: A5BB7ABA0C5A3906  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 12:59:29]
627*2^1413437-1 is not prime.  Res64: 64DB7807736632BE  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 12:59:29]
711*2^1413437-1 is not prime.  Res64: B697FF169DA38907  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 12:59:30]
735*2^1413437-1 is not prime.  Res64: 5E1328A6E513301D  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 12:59:30]
987*2^1413436-1 is not prime.  Res64: D1D4F771C46144BC  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 12:59:30]
999*2^1413436-1 is not prime.  Res64: 358FED73CFFCE3DD  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 13:16:55]
747*2^1413437-1 is not prime.  Res64: 3613F4AE750C14CA  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 13:16:55]
957*2^1413437-1 is not prime.  Res64: C2DC152E6B161D56  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 13:16:56]
829*2^1413437-1 is not prime.  Res64: 41ABF78F4955D589  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 13:16:56]
843*2^1413438-1 is not prime.  Res64: 458490482975701B  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 13:16:56]
847*2^1413437-1 is not prime.  Res64: B66F3922CE739B43  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 13:16:57]
949*2^1413437-1 is not prime.  Res64: F85562C95A0C25A3  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 13:34:26]
867*2^1413438-1 is not prime.  Res64: D98C7B1EF2B33562  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 13:34:27]
675*2^1413439-1 is not prime.  Res64: 18379DDBD28FE5F3  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 13:34:27]
921*2^1413438-1 is not prime.  Res64: 3671BF577874ABFB  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 13:34:27]
709*2^1413439-1 is not prime.  Res64: 66508CB8851E8B53  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 13:34:28]
971*2^1413438-1 is not prime.  Res64: 96B9AA541AF5E5C1  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 13:34:28]
977*2^1413438-1 is not prime.  Res64: B8C23F403127CF8B  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 13:51:54]
729*2^1413439-1 is not prime.  Res64: B6B4EB88F7A11705  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 13:51:54]
735*2^1413439-1 is not prime.  Res64: EF18B0059A1E985E  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 13:51:54]
771*2^1413439-1 is not prime.  Res64: 6736BA0F92654AFF  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 13:51:54]
873*2^1413439-1 is not prime.  Res64: 4832D785462CC6FD  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 13:51:55]
855*2^1413439-1 is not prime.  Res64: 7551AA0BD98D83EB  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 13:51:55]
883*2^1413439-1 is not prime.  Res64: EF946F7C4F03DC55  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 14:09:20]
913*2^1413439-1 is not prime.  Res64: 490B5D0D1B79DD70  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 14:09:20]
985*2^1413439-1 is not prime.  Res64: 241FB3E690E7DB42  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 14:09:20]
973*2^1413439-1 is not prime.  Res64: 7D0711A7D5C1B2C7  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 14:09:21]
983*2^1413440-1 is not prime.  Res64: 3E4DF5E8186F8315  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 14:09:21]
879*2^1413440-1 is not prime.  Res64: 5E8BE0EB1B0EB951  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 14:09:21]
625*2^1413441-1 is not prime.  Res64: 18EB91E54B965A55  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 14:26:50]
645*2^1413442-1 is not prime.  Res64: A31BEAEC36177B1B  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 14:26:51]
657*2^1413441-1 is not prime.  Res64: D02589ABBD1F96FF  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 14:26:51]
801*2^1413442-1 is not prime.  Res64: 1B6E9C7F89838FF4  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 14:26:51]
691*2^1413441-1 is not prime.  Res64: 34122CC2AC29B4D2  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 14:26:51]
745*2^1413441-1 is not prime.  Res64: 57D8F7967A33B13E  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 14:26:52]
999*2^1413441-1 is not prime.  Res64: D14D8A779BD0357F  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 14:44:18]
663*2^1413443-1 is not prime.  Res64: 3C5B7C1A3A6953AE  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 14:44:18]
881*2^1413442-1 is not prime.  Res64: 43337C8A742824FB  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 14:44:18]
703*2^1413443-1 is not prime.  Res64: 89DE6496DEACDCF8  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 14:44:19]
643*2^1413443-1 is not prime.  Res64: A8DCE47DA41BD684  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 14:44:23]
963*2^1413443-1 is not prime.  Res64: 09A313D525F2061B  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 14:44:23]
675*2^1413444-1 is not prime.  Res64: D9E5A1FB58822B98  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 15:01:45]
825*2^1413444-1 is not prime.  Res64: 66ABD9F358EE1B18  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 15:01:46]
863*2^1413444-1 is not prime.  Res64: 94ACEB1EDCE745F8  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 15:01:46]
837*2^1413444-1 is not prime.  Res64: EB8D8CE783CD7420  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 15:01:47]
651*2^1413445-1 is not prime.  Res64: 0D59DCA1D1C5B18C  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 15:01:49]
679*2^1413445-1 is not prime.  Res64: C05ACCEFFF21AA65  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 15:01:50]
699*2^1413445-1 is not prime.  Res64: 918C9345E1C10FEA  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 15:19:28]
721*2^1413445-1 is not prime.  Res64: E52DEDE3D0AFD9DB  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 15:19:28]
741*2^1413445-1 is not prime.  Res64: 41985D4CB5B4B169  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 15:19:29]
897*2^1413445-1 is not prime.  Res64: CDD4D0A39BC9A827  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 15:19:30]
789*2^1413445-1 is not prime.  Res64: EA23EDF39F85446D  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 15:19:30]
939*2^1413445-1 is not prime.  Res64: 2D672D1AF4B5A836  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 15:19:30]
861*2^1413445-1 is not prime.  Res64: 9D445B32A9EFB3DB  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 15:37:03]
677*2^1413446-1 is not prime.  Res64: 04DE88B760AE78C4  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 15:37:03]
625*2^1413447-1 is not prime.  Res64: 51D638C1BE45DFBD  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 15:37:03]
683*2^1413446-1 is not prime.  Res64: 04481DFB3CBE48F5  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 15:37:03]
685*2^1413447-1 is not prime.  Res64: C0DB6524233029B9  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 15:37:04]
861*2^1413446-1 is not prime.  Res64: E9F4F6DD78314E19  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 15:37:05]
897*2^1413446-1 is not prime.  Res64: F0C0E795734C6C4F  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 15:54:35]
933*2^1413447-1 is not prime.  Res64: 1D0B1AF5ABB4956F  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 15:54:36]
979*2^1413447-1 is not prime.  Res64: 316025F5F55E0078  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 15:54:39]
709*2^1413447-1 is not prime.  Res64: E81DFD17D7701710  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 15:54:40]
861*2^1413447-1 is not prime.  Res64: 4203F9D60A22AC1B  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 15:54:40]
687*2^1413448-1 is not prime.  Res64: 61B616241191E46A  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 15:54:40]
735*2^1413448-1 is not prime.  Res64: A6DA2A6809924EF9  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 16:12:06]
743*2^1413448-1 is not prime.  Res64: 8460900C78EF8B0B  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 16:12:06]
813*2^1413448-1 is not prime.  Res64: 2E59B5DF8BE3B29A  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 16:12:10]
615*2^1413449-1 is not prime.  Res64: 101529084B08B726  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 16:12:10]
721*2^1413449-1 is not prime.  Res64: B11BDA8D2CF02D7C  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 16:12:10]
863*2^1413448-1 is not prime.  Res64: 91D4C5E334D37B3A  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 16:12:11]
601*2^1413449-1 is not prime.  Res64: A996658C6814AC7F  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 16:29:36]
735*2^1413449-1 is not prime.  Res64: EFDA7E2176262272  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 16:29:37]
741*2^1413449-1 is not prime.  Res64: 8A86C7321F010FC1  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 16:29:44]
931*2^1413449-1 is not prime.  Res64: 0589EA2193385C5B  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 16:29:44]
717*2^1413450-1 is not prime.  Res64: EE0599BCE8D8C50A  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 16:29:45]
847*2^1413449-1 is not prime.  Res64: B3E89D1EE2F2EFF8  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 16:29:45]
861*2^1413449-1 is not prime.  Res64: CC39B24B9109EB1C  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 16:47:05]
765*2^1413450-1 is not prime.  Res64: 05CF8337C41EDF67  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 16:47:05]
773*2^1413450-1 is not prime.  Res64: 71F89E2BB0484567  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 16:47:11]
843*2^1413450-1 is not prime.  Res64: B2D555294C949A78  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 16:47:12]
851*2^1413450-1 is not prime.  Res64: 9C55C9B3BCD5831A  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 16:47:12]
927*2^1413450-1 is not prime.  Res64: DCB41A590722A175  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 16:47:13]
631*2^1413451-1 is not prime.  Res64: EAF64E43E3B5C6FD  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 17:04:32]
741*2^1413451-1 is not prime.  Res64: 4DA0C9B223A915D2  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 17:04:34]
633*2^1413452-1 is not prime.  Res64: 52922ECB59D12E44  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 17:04:39]
665*2^1413452-1 is not prime.  Res64: 938D75B57C007B6E  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 17:04:42]
755*2^1413452-1 is not prime.  Res64: CBB309F4A3263B94  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 17:04:44]
819*2^1413452-1 is not prime.  Res64: FB3629A7BC269B50  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 17:04:45]
857*2^1413452-1 is not prime.  Res64: 571EE0A22A9D5C9D  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 17:22:22]
915*2^1413452-1 is not prime.  Res64: FDC392F747BB17E8  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 17:22:22]
875*2^1413452-1 is not prime.  Res64: 619FFDF18EFF4412  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 17:22:22]
627*2^1413453-1 is not prime.  Res64: 8A93F8BB0DC879A3  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 17:22:22]
903*2^1413452-1 is not prime.  Res64: 0BFA42154F837AA4  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 17:22:23]
657*2^1413453-1 is not prime.  Res64: 750B6C50A8EAC764  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 17:22:24]
727*2^1413453-1 is not prime.  Res64: 2F8388C867E6FECE  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 17:39:51]
927*2^1413453-1 is not prime.  Res64: 23D38CDD6308C2A5  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 17:39:52]
961*2^1413453-1 is not prime.  Res64: 921338DE2B3F1B06  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 17:39:52]
805*2^1413453-1 is not prime.  Res64: BD2EF049E5F0A757  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 17:39:53]
811*2^1413453-1 is not prime.  Res64: DF21ED56EA696ED5  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 17:39:53]
889*2^1413453-1 is not prime.  Res64: 4E582573E2B7DA25  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 17:39:54]
919*2^1413453-1 is not prime.  Res64: AF72F01BCBF57653  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 17:57:23]
825*2^1413454-1 is not prime.  Res64: 7FB23E77F5CBA39C  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 17:57:23]
945*2^1413454-1 is not prime.  Res64: 6159E3C4C9040B42  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 17:57:25]
951*2^1413454-1 is not prime.  Res64: 3F4E27AD4F6E5153  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 17:57:26]
965*2^1413454-1 is not prime.  Res64: 44814FD0B3D71673  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 17:57:28]
645*2^1413454-1 is not prime.  Res64: 634BB252DD962CCE  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 17:57:28]
737*2^1413454-1 is not prime.  Res64: A0D5F28735037951  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 18:14:50]
619*2^1413455-1 is not prime.  Res64: A4111383C9B7B4A9  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 18:14:50]
661*2^1413455-1 is not prime.  Res64: 2B6F730C0F613007  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 18:14:52]
705*2^1413455-1 is not prime.  Res64: 5F13FFDE88CB7B6C  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 18:14:53]
823*2^1413455-1 is not prime.  Res64: 1B3044C464467FD9  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 18:14:54]
841*2^1413455-1 is not prime.  Res64: AE80C37AD900E2FC  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 18:14:54]
943*2^1413455-1 is not prime.  Res64: D21776C53D6E7828  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 18:32:20]
669*2^1413456-1 is not prime.  Res64: CF9730C9A0C9EC60  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 18:32:20]
849*2^1413456-1 is not prime.  Res64: 777951334D638763  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 18:32:20]
765*2^1413456-1 is not prime.  Res64: 7F8C3F37189680DF  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 18:32:21]
975*2^1413456-1 is not prime.  Res64: 7AA1C02E08235C04  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 18:32:21]
949*2^1413455-1 is not prime.  Res64: C3013F88F1BF8D0F  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 18:32:22]
639*2^1413456-1 is not prime.  Res64: 2ADF557123F9407A  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 18:49:47]
683*2^1413458-1 is not prime.  Res64: 8C4D52DAF8DB7E47  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 18:49:48]
747*2^1413458-1 is not prime.  Res64: 5B3E4E0DF0A26D36  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 18:49:49]
601*2^1413457-1 is not prime.  Res64: ADCC36A3EE9AD709  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 18:49:49]
893*2^1413458-1 is not prime.  Res64: F3A84B51DD820E5B  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 18:49:49]
605*2^1413458-1 is not prime.  Res64: 067764E9E56A9CCD  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 18:49:50]
935*2^1413458-1 is not prime.  Res64: 22A02CCA1ED4EF47  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 19:07:17]
789*2^1413459-1 is not prime.  Res64: 0FBF32C07683C9BC  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 19:07:17]
633*2^1413459-1 is not prime.  Res64: 73B0C62E7ACEBB44  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 19:07:17]
705*2^1413459-1 is not prime.  Res64: 5E838BE474393883  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 19:07:17]
973*2^1413459-1 is not prime.  Res64: DD210D22C0EF3678  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 19:07:20]
609*2^1413460-1 is not prime.  Res64: 47CD4B19EAF8EF80  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 19:07:20]
675*2^1413460-1 is not prime.  Res64: 08EFECAD10466A0F  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 19:24:50]
677*2^1413460-1 is not prime.  Res64: 4FE28C4BD3FB6CB5  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 19:24:50]
905*2^1413460-1 is not prime.  Res64: D58ADB380B039C67  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 19:24:50]
819*2^1413460-1 is not prime.  Res64: 5003AEDC4179B366  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 19:24:51]
777*2^1413460-1 is not prime.  Res64: A961435A04165257  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 19:24:51]
615*2^1413461-1 is not prime.  Res64: AC2B51F78DC233AA  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 19:24:51]
843*2^1413460-1 is not prime.  Res64: 0D54BE3A829EBCC7  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 19:42:27]
775*2^1413461-1 is not prime.  Res64: 8570AC9EF824466C  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 19:42:27]
725*2^1413462-1 is not prime.  Res64: 97F9CE3C11E5016F  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 19:42:27]
867*2^1413461-1 is not prime.  Res64: EDCE0243F3DCEF8A  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 19:42:27]
801*2^1413461-1 is not prime.  Res64: 98AC687DD98315E0  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 19:42:27]
741*2^1413462-1 is not prime.  Res64: 836AEE926D9638A9  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 19:42:28]
991*2^1413461-1 is not prime.  Res64: 22EA58F2C4E838E9  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 20:00:02]
855*2^1413463-1 is not prime.  Res64: 4868A97DC506F53A  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 20:00:02]
805*2^1413463-1 is not prime.  Res64: 59CE21750FEF1E83  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 20:00:03]
747*2^1413462-1 is not prime.  Res64: 09BCABE471BE6B80  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 20:00:03]
871*2^1413463-1 is not prime.  Res64: 63962A1CA6CFB99B  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 20:00:03]
853*2^1413463-1 is not prime.  Res64: 0D03CB2BE11990BE  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 20:00:04]
777*2^1413462-1 is not prime.  Res64: 274C7A3EF5BF00A4  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 20:17:35]
895*2^1413463-1 is not prime.  Res64: F1DC84E5854020F5  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 20:17:35]
935*2^1413464-1 is not prime.  Res64: 858357DB5417F295  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 20:17:36]
919*2^1413463-1 is not prime.  Res64: 5301130061754B72  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 20:17:36]
651*2^1413465-1 is not prime.  Res64: EB01AE45F9732749  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 20:17:37]
617*2^1413464-1 is not prime.  Res64: A8EEEBE3D274607D  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 20:17:38]
635*2^1413464-1 is not prime.  Res64: 038363FEE3B1D427  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 20:35:11]
741*2^1413465-1 is not prime.  Res64: C35B244F06B63571  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 20:35:11]
877*2^1413465-1 is not prime.  Res64: 4DB5A3EEE3D1CED9  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 20:35:12]
955*2^1413465-1 is not prime.  Res64: 0C027B3FE9CAB481  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 20:35:12]
949*2^1413465-1 is not prime.  Res64: 62A9830E1878D5B0  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 20:35:13]
705*2^1413465-1 is not prime.  Res64: 7919D393D263A70D  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 20:35:14]
759*2^1413465-1 is not prime.  Res64: 9E77731B3366A0C9  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 20:52:45]
979*2^1413465-1 is not prime.  Res64: EE5A09CCA625BB39  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 20:52:45]
651*2^1413466-1 is not prime.  Res64: 9BBBDB9851459990  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 20:52:46]
999*2^1413465-1 is not prime.  Res64: A05338CBE3D5C4FC  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 20:52:46]
675*2^1413466-1 is not prime.  Res64: EB2686699A67DD37  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 20:52:47]
653*2^1413466-1 is not prime.  Res64: A384EE1B3CE9E4EA  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 20:52:47]
755*2^1413466-1 is not prime.  Res64: D75FF5181D80D3AE  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 21:10:21]
621*2^1413467-1 is not prime.  Res64: E86128A9360BC03D  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 21:10:21]
843*2^1413466-1 is not prime.  Res64: 7C2A3DE705DEB4F1  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 21:10:22]
675*2^1413467-1 is not prime.  Res64: 0C4D6DADF661E40D  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 21:10:22]
673*2^1413467-1 is not prime.  Res64: 5973D9A43060AF38  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 21:10:22]
971*2^1413466-1 is not prime.  Res64: 37472541FCF50BF7  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 21:10:23]
711*2^1413467-1 is not prime.  Res64: 068FB5A04753A837  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 21:28:03]
889*2^1413467-1 is not prime.  Res64: 7CE0EDC22BFC3D04  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 21:28:03]
741*2^1413467-1 is not prime.  Res64: 21218888651888D6  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 21:28:03]
939*2^1413467-1 is not prime.  Res64: 20CEEF073D612893  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 21:28:04]
903*2^1413467-1 is not prime.  Res64: 519D120013A9240B  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 21:28:04]
801*2^1413467-1 is not prime.  Res64: 9844D357B300FB31  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 21:28:04]
963*2^1413467-1 is not prime.  Res64: E1026A8FCB94C4DB  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 21:45:37]
803*2^1413468-1 is not prime.  Res64: 192B14F6DE846F88  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 21:45:38]
845*2^1413468-1 is not prime.  Res64: 6EC848E3E4B04EA4  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 21:45:40]
867*2^1413468-1 is not prime.  Res64: A9DB0A4B9EEA559C  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 21:45:41]
735*2^1413468-1 is not prime.  Res64: A2691AFBD54812E2  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 21:45:41]
879*2^1413468-1 is not prime.  Res64: B15560AB958ECB81  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 21:45:42]
765*2^1413468-1 is not prime.  Res64: 41C791205854DA21  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 22:03:53]
945*2^1413468-1 is not prime.  Res64: B03594FCBFA44F20  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 22:03:55]
817*2^1413469-1 is not prime.  Res64: 721FC0FB5F2EC8D2  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 22:03:55]
999*2^1413468-1 is not prime.  Res64: 04D6D170169444A6  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 22:03:56]
877*2^1413469-1 is not prime.  Res64: EEF62D5A572F09CB  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 22:03:57]
625*2^1413469-1 is not prime.  Res64: 5C145D1E57A3D2D3  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 22:03:58]
639*2^1413469-1 is not prime.  Res64: 21525EE4284A043A  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 22:22:35]
605*2^1413470-1 is not prime.  Res64: F18DBA3B1B915903  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 22:22:36]
857*2^1413470-1 is not prime.  Res64: 6B925525C70F8CCB  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 22:22:38]
941*2^1413470-1 is not prime.  Res64: F6D63189A50E40DE  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 22:22:39]
981*2^1413470-1 is not prime.  Res64: A2EB64361C467674  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 22:22:39]
773*2^1413470-1 is not prime.  Res64: CB2C973769D734B8  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 22:22:40]
915*2^1413470-1 is not prime.  Res64: 8B3CA2BA1BF714EA  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 22:40:44]
685*2^1413471-1 is not prime.  Res64: 92358EA82FA71577  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 22:40:45]
691*2^1413471-1 is not prime.  Res64: E21E1F4BC7F455D4  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 22:40:45]
745*2^1413471-1 is not prime.  Res64: 0C71647F5BF0223A  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 22:40:46]
805*2^1413471-1 is not prime.  Res64: E8CD0ADB5B0DB3EA  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 22:40:49]
849*2^1413471-1 is not prime.  Res64: AD2F25E72240D182  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 22:40:50]
949*2^1413471-1 is not prime.  Res64: A4F9E8BCFE51188F  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 22:58:47]
961*2^1413471-1 is not prime.  Res64: 46C058BFFD0A84AF  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 22:58:48]
603*2^1413472-1 is not prime.  Res64: CA8EBED2398FFFCE  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 22:58:49]
615*2^1413472-1 is not prime.  Res64: 67A3C9B308C01F26  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 22:58:50]
665*2^1413472-1 is not prime.  Res64: B9E6F702114A1695  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 22:58:55]
719*2^1413472-1 is not prime.  Res64: 7E4830C1D2A5D0F9  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 22:58:56]
875*2^1413472-1 is not prime.  Res64: 1A14BF91FBDB1F8F  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 23:16:55]
965*2^1413472-1 is not prime.  Res64: 553B636F741ED315  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 23:16:55]
917*2^1413472-1 is not prime.  Res64: E11F5B354C4CECBD  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 23:16:56]
983*2^1413472-1 is not prime.  Res64: 1988EEA7A2A4FBA7  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 23:16:56]
957*2^1413472-1 is not prime.  Res64: 0C0D746CAF949919  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 23:16:59]
999*2^1413472-1 is not prime.  Res64: 2A78EB3879700C8F  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 23:17:00]
615*2^1413473-1 is not prime.  Res64: A8935253E4A84EED  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 23:34:52]
717*2^1413474-1 is not prime.  Res64: 7CD6148FBEA07E3C  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 23:34:53]
905*2^1413474-1 is not prime.  Res64: 554AC3FC9F9E8B06  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 23:34:54]
771*2^1413473-1 is not prime.  Res64: BD5E8CED0FF11121  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 23:34:55]
811*2^1413473-1 is not prime.  Res64: 928AF0205207524A  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 23:34:56]
941*2^1413474-1 is not prime.  Res64: 8D0B9ED95E9FDD64  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 23:34:56]
947*2^1413474-1 is not prime.  Res64: 6E93B3B16C016B34  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 23:53:08]
951*2^1413474-1 is not prime.  Res64: 977226E8778BAEDC  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 23:53:08]
975*2^1413474-1 is not prime.  Res64: 255F9AB06A1378E9  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 23:53:16]
783*2^1413475-1 is not prime.  Res64: 8F3084DD2E4E096C  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 23:53:17]
805*2^1413475-1 is not prime.  Res64: 4B7E62711E61AE53  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 23:53:17]
993*2^1413474-1 is not prime.  Res64: 833137D21A182AD5  Time : 0.0 sec.
user=mdettweiler
[2015-10-28 23:53:18]
645*2^1413475-1 is not prime.  Res64: 28A3692919AE9026  Time : 0.0 sec.