user=mdettweiler [2019-12-23 00:47:58] 793*2^1551691-1 is not prime. Res64: 6B210AF03C081F43 Time : 0.0 sec. user=mdettweiler [2019-12-23 00:47:59] 849*2^1551691-1 is not prime. Res64: 127D25224C49215F Time : 0.0 sec. user=mdettweiler [2019-12-23 00:48:00] 609*2^1551692-1 is not prime. Res64: E27A9E96EA82D77A Time : 0.0 sec. user=mdettweiler [2019-12-23 00:48:00] 665*2^1551692-1 is not prime. Res64: 04594D2C497E6A60 Time : 0.0 sec. user=mdettweiler [2019-12-23 00:48:01] 687*2^1551692-1 is not prime. Res64: 76ACADE548C695B2 Time : 0.0 sec. user=mdettweiler [2019-12-23 00:48:19] 693*2^1551692-1 is not prime. Res64: 9BE16B0188E1C3B1 Time : 0.0 sec. user=mdettweiler [2019-12-23 00:48:20] 759*2^1551692-1 is not prime. Res64: 7C0888C5047F5F7C Time : 0.0 sec. user=mdettweiler [2019-12-23 00:48:20] 777*2^1551692-1 is not prime. Res64: 335BA7C5B66DD427 Time : 0.0 sec. user=mdettweiler [2019-12-23 00:48:21] 827*2^1551692-1 is not prime. Res64: B972AFD3E3249FAB Time : 0.0 sec. user=mdettweiler [2019-12-23 00:48:22] 609*2^1551693-1 is not prime. Res64: 038FF4E02F0F752A Time : 0.0 sec. user=mdettweiler [2019-12-23 00:58:47] 907*2^1551681-1 is not prime. Res64: 6E119658F17612AF Time : 0.0 sec. user=mdettweiler [2019-12-23 00:58:47] 969*2^1551681-1 is not prime. Res64: DDF367A0A82BF2DC Time : 0.0 sec. user=mdettweiler [2019-12-23 00:58:48] 657*2^1551682-1 is not prime. Res64: AD84F335443DA3C6 Time : 0.0 sec. user=mdettweiler [2019-12-23 00:58:49] 677*2^1551682-1 is not prime. Res64: 8D333C94A0D6542A Time : 0.0 sec. user=mdettweiler [2019-12-23 01:39:45] 625*2^1551693-1 is not prime. Res64: DACE48CCCF2C2FDA Time : 0.0 sec. user=mdettweiler [2019-12-23 01:39:54] 735*2^1551693-1 is not prime. Res64: 8A8ED11AC0B2E123 Time : 0.0 sec. user=mdettweiler [2019-12-23 01:39:55] 695*2^1551694-1 is not prime. Res64: CDA0DB4D8926DF71 Time : 0.0 sec. user=mdettweiler [2019-12-23 01:39:56] 717*2^1551694-1 is not prime. Res64: DDBD5E30B873A720 Time : 0.0 sec. user=mdettweiler [2019-12-23 01:39:56] 819*2^1551693-1 is not prime. Res64: 796619160DC47420 Time : 0.0 sec. user=mdettweiler [2019-12-23 01:39:57] 741*2^1551694-1 is not prime. Res64: D6445CC2571CCBFB Time : 0.0 sec. user=mdettweiler [2019-12-23 01:39:57] 827*2^1551694-1 is not prime. Res64: EA800AD9C4441A9B Time : 0.0 sec. user=mdettweiler [2019-12-23 01:39:58] 831*2^1551694-1 is not prime. Res64: 66DFA4120D26231A Time : 0.0 sec. user=mdettweiler [2019-12-23 01:39:59] 915*2^1551693-1 is not prime. Res64: 4ABB7BD0D4F0B902 Time : 0.0 sec. user=mdettweiler [2019-12-23 01:40:00] 611*2^1551694-1 is not prime. Res64: 8400337617E73490 Time : 0.0 sec. user=mdettweiler [2019-12-23 01:52:28] 965*2^1551694-1 is not prime. Res64: 4056BAF412F478F1 Time : 0.0 sec. user=mdettweiler [2019-12-23 01:52:29] 983*2^1551694-1 is not prime. Res64: 4515871ECA67A09A Time : 0.0 sec. user=mdettweiler [2019-12-23 01:52:29] 661*2^1551695-1 is not prime. Res64: E7E1A4C37C3E0F17 Time : 0.0 sec. user=mdettweiler [2019-12-23 01:52:30] 663*2^1551695-1 is not prime. Res64: CA5F76340238A221 Time : 0.0 sec. user=mdettweiler [2019-12-23 01:52:31] 669*2^1551695-1 is not prime. Res64: 98F39EC1FD676765 Time : 0.0 sec. user=mdettweiler [2019-12-23 02:32:02] 845*2^1551696-1 is not prime. Res64: 08A061372118763F Time : 0.0 sec. user=mdettweiler [2019-12-23 02:32:05] 639*2^1551697-1 is not prime. Res64: 4461529A2D32BC75 Time : 0.0 sec. user=mdettweiler [2019-12-23 02:32:06] 645*2^1551697-1 is not prime. Res64: 5A05ADADEF3BCCCD Time : 0.0 sec. user=mdettweiler [2019-12-23 02:32:08] 729*2^1551697-1 is not prime. Res64: 381848400C90EADB Time : 0.0 sec. user=mdettweiler [2019-12-23 02:32:10] 871*2^1551697-1 is not prime. Res64: 777EC80ADEAE68B5 Time : 0.0 sec. user=mdettweiler [2019-12-23 02:33:14] 771*2^1551695-1 is not prime. Res64: CEB3094C77F38CF3 Time : 0.0 sec. user=mdettweiler [2019-12-23 02:33:17] 861*2^1551695-1 is not prime. Res64: E480A37067F15EF6 Time : 0.0 sec. user=mdettweiler [2019-12-23 02:33:19] 969*2^1551695-1 is not prime. Res64: 7A3A178BD65BB459 Time : 0.0 sec. user=mdettweiler [2019-12-23 02:33:22] 683*2^1551696-1 is not prime. Res64: A25E9A12B8A887C1 Time : 0.0 sec. user=mdettweiler [2019-12-23 02:33:26] 825*2^1551696-1 is not prime. Res64: 81D12529FFF99A63 Time : 0.0 sec. user=mdettweiler [2019-12-23 02:45:51] 895*2^1551697-1 is not prime. Res64: 7F4AC1155000D44B Time : 0.0 sec. user=mdettweiler [2019-12-23 02:45:52] 931*2^1551697-1 is not prime. Res64: 138E22AEAC44CB9A Time : 0.0 sec. user=mdettweiler [2019-12-23 02:45:53] 937*2^1551697-1 is not prime. Res64: F97B556F9719940B Time : 0.0 sec. user=mdettweiler [2019-12-23 02:45:54] 657*2^1551698-1 is not prime. Res64: C9A9C323B9881D4B Time : 0.0 sec. user=mdettweiler [2019-12-23 02:45:54] 813*2^1551698-1 is not prime. Res64: 99F75B1AAEEE41E7 Time : 0.0 sec. user=mdettweiler [2019-12-23 03:26:18] 957*2^1551698-1 is not prime. Res64: 79E9284714BB5696 Time : 0.0 sec. user=mdettweiler [2019-12-23 03:26:21] 995*2^1551698-1 is not prime. Res64: 3412967CB4905892 Time : 0.0 sec. user=mdettweiler [2019-12-23 03:26:24] 703*2^1551699-1 is not prime. Res64: FBD6F14B0FDEB9BE Time : 0.0 sec. user=mdettweiler [2019-12-23 03:26:26] 711*2^1551699-1 is not prime. Res64: EF306EDB2330E10F Time : 0.0 sec. user=mdettweiler [2019-12-23 03:26:28] 769*2^1551699-1 is not prime. Res64: 029AF4AD0D68468B Time : 0.0 sec. user=mdettweiler [2019-12-23 03:26:42] 973*2^1551699-1 is not prime. Res64: 89737FBC1CB18A60 Time : 0.0 sec. user=mdettweiler [2019-12-23 03:26:44] 629*2^1551700-1 is not prime. Res64: DB865E443FBD7083 Time : 0.0 sec. user=mdettweiler [2019-12-23 03:26:47] 635*2^1551700-1 is not prime. Res64: 7EC135425A4E569B Time : 0.0 sec. user=mdettweiler [2019-12-23 03:26:50] 785*2^1551700-1 is not prime. Res64: AA58511BC31C326B Time : 0.0 sec. user=mdettweiler [2019-12-23 03:26:53] 873*2^1551700-1 is not prime. Res64: 8E48CF96DC101976 Time : 0.0 sec. user=mdettweiler [2019-12-23 03:40:40] 875*2^1551700-1 is not prime. Res64: 126D49924D1C821E Time : 0.0 sec. user=mdettweiler [2019-12-23 03:40:43] 899*2^1551700-1 is not prime. Res64: E9044DECA08E8BE5 Time : 0.0 sec. user=mdettweiler [2019-12-23 03:40:46] 929*2^1551700-1 is not prime. Res64: C6056063AB5CD3A9 Time : 0.0 sec. user=mdettweiler [2019-12-23 03:40:48] 939*2^1551700-1 is not prime. Res64: ABDC019295EE89BD Time : 0.0 sec. user=mdettweiler [2019-12-23 03:40:50] 957*2^1551700-1 is not prime. Res64: AE8ABD0EDFAF9349 Time : 0.0 sec. user=mdettweiler [2019-12-23 04:20:49] 665*2^1551702-1 is not prime. Res64: CB51400601245B73 Time : 0.0 sec. user=mdettweiler [2019-12-23 04:20:55] 677*2^1551702-1 is not prime. Res64: 319F53C929EE449C Time : 0.0 sec. user=mdettweiler [2019-12-23 04:21:01] 755*2^1551702-1 is not prime. Res64: A4F0BD09391E1C5E Time : 0.0 sec. user=mdettweiler [2019-12-23 04:21:05] 989*2^1551700-1 is not prime. Res64: F6465C104958E8E0 Time : 0.0 sec. user=mdettweiler [2019-12-23 04:21:07] 963*2^1551702-1 is not prime. Res64: B3C715FEF9D43609 Time : 0.0 sec. user=mdettweiler [2019-12-23 04:21:08] 865*2^1551701-1 is not prime. Res64: 87C826D36EBF9ACB Time : 0.0 sec. user=mdettweiler [2019-12-23 04:21:12] 939*2^1551701-1 is not prime. Res64: 2CDE79430A1DABE5 Time : 0.0 sec. user=mdettweiler [2019-12-23 04:21:16] 651*2^1551702-1 is not prime. Res64: 29F1CF038AA2D860 Time : 0.0 sec. user=mdettweiler [2019-12-23 04:21:19] 977*2^1551702-1 is not prime. Res64: EDB3B78A3C5DFADB Time : 0.0 sec. user=mdettweiler [2019-12-23 04:21:20] 657*2^1551702-1 is not prime. Res64: 9D9FF8A0BAE2FB4F Time : 0.0 sec. user=mdettweiler [2019-12-23 04:32:54] 649*2^1551703-1 is not prime. Res64: 1C0606E7BCBA1B1C Time : 0.0 sec. user=mdettweiler [2019-12-23 04:33:00] 673*2^1551703-1 is not prime. Res64: 70D29A5508C7DD1C Time : 0.0 sec. user=mdettweiler [2019-12-23 04:33:07] 679*2^1551703-1 is not prime. Res64: EA6368119463A68D Time : 0.0 sec. user=mdettweiler [2019-12-23 04:33:11] 705*2^1551703-1 is not prime. Res64: 6546472EBE5A2CAC Time : 0.0 sec. user=mdettweiler [2019-12-23 04:33:15] 709*2^1551703-1 is not prime. Res64: F81B973BAA302762 Time : 0.0 sec. user=mdettweiler [2019-12-23 04:35:10] 683*2^1551704-1 is not prime. Res64: A277B900613F4B12 Time : 0.0 sec. user=mdettweiler [2019-12-23 05:15:24] 783*2^1551703-1 is not prime. Res64: 06EEC97BC44D8D31 Time : 0.0 sec. user=mdettweiler [2019-12-23 05:15:25] 859*2^1551703-1 is not prime. Res64: 74A8287035E0BAD9 Time : 0.0 sec. user=mdettweiler [2019-12-23 05:15:25] 885*2^1551703-1 is not prime. Res64: C78BD7094634C102 Time : 0.0 sec. user=mdettweiler [2019-12-23 05:15:26] 939*2^1551703-1 is not prime. Res64: 5753FAC89AB61918 Time : 0.0 sec. user=mdettweiler [2019-12-23 05:15:27] 663*2^1551704-1 is not prime. Res64: 0EE25F8C4E9F07B9 Time : 0.0 sec. user=mdettweiler [2019-12-23 05:25:07] 753*2^1551704-1 is not prime. Res64: 993543382B20E532 Time : 0.0 sec. user=mdettweiler [2019-12-23 05:25:07] 869*2^1551704-1 is not prime. Res64: FAAEB8493D2AFEB6 Time : 0.0 sec. user=mdettweiler [2019-12-23 05:25:08] 903*2^1551704-1 is not prime. Res64: 11E7BD0B3CF66419 Time : 0.0 sec. user=mdettweiler [2019-12-23 05:25:09] 657*2^1551705-1 is not prime. Res64: F6EDDDD72CC7C7E2 Time : 0.0 sec. user=mdettweiler [2019-12-23 05:25:09] 685*2^1551705-1 is not prime. Res64: 63AD454F97D177F4 Time : 0.0 sec. user=mdettweiler [2019-12-23 06:10:08] 837*2^1551705-1 is not prime. Res64: 28894B3764462D5E Time : 0.0 sec. user=mdettweiler [2019-12-23 06:10:09] 877*2^1551705-1 is not prime. Res64: FE0944FED29629C8 Time : 0.0 sec. user=mdettweiler [2019-12-23 06:10:10] 937*2^1551705-1 is not prime. Res64: B1C6FCCCBB12BEE5 Time : 0.0 sec. user=mdettweiler [2019-12-23 06:10:10] 951*2^1551705-1 is not prime. Res64: 7ABA3978B8AF52BA Time : 0.0 sec. user=mdettweiler [2019-12-23 06:10:11] 657*2^1551706-1 is not prime. Res64: DA3FE7C787B8BA72 Time : 0.0 sec. user=mdettweiler [2019-12-23 06:16:51] 735*2^1551706-1 is not prime. Res64: 541B4636C834E100 Time : 0.0 sec. user=mdettweiler [2019-12-23 06:16:52] 773*2^1551706-1 is not prime. Res64: 398AB5B8D702814F Time : 0.0 sec. user=mdettweiler [2019-12-23 06:16:53] 777*2^1551706-1 is not prime. Res64: B921EE0B22466C68 Time : 0.0 sec. user=mdettweiler [2019-12-23 06:16:55] 801*2^1551706-1 is not prime. Res64: 602839E74D5B6B2D Time : 0.0 sec. user=mdettweiler [2019-12-23 06:16:56] 933*2^1551706-1 is not prime. Res64: 6E541029A04EE95B Time : 0.0 sec. user=mdettweiler [2019-12-23 07:01:58] 663*2^1551707-1 is not prime. Res64: C85910BAAC182F63 Time : 0.0 sec. user=mdettweiler [2019-12-23 07:02:02] 711*2^1551707-1 is not prime. Res64: 212E6A71B5DCB8A4 Time : 0.0 sec. user=mdettweiler [2019-12-23 07:02:07] 753*2^1551707-1 is not prime. Res64: 18E816A7CD143157 Time : 0.0 sec. user=mdettweiler [2019-12-23 07:02:11] 799*2^1551707-1 is not prime. Res64: 2B706DBFFB449074 Time : 0.0 sec. user=mdettweiler [2019-12-23 07:02:15] 871*2^1551707-1 is not prime. Res64: 0F6EFBEB303EA7F2 Time : 0.0 sec. user=mdettweiler [2019-12-23 07:09:06] 909*2^1551707-1 is not prime. Res64: 55E9D87149AA62C4 Time : 0.0 sec. user=mdettweiler [2019-12-23 07:09:12] 915*2^1551707-1 is not prime. Res64: 7F5688DA5FFD14DA Time : 0.0 sec. user=mdettweiler [2019-12-23 07:09:17] 931*2^1551707-1 is not prime. Res64: E6B632F5BF805951 Time : 0.0 sec. user=mdettweiler [2019-12-23 07:09:23] 669*2^1551708-1 is not prime. Res64: F5370C1DE1938B39 Time : 0.0 sec. user=mdettweiler [2019-12-23 07:09:27] 737*2^1551708-1 is not prime. Res64: 553A5E4E40A71650 Time : 0.0 sec. user=mdettweiler [2019-12-23 07:56:31] 783*2^1551708-1 is not prime. Res64: 80EB81B8D7659C4D Time : 0.0 sec. user=mdettweiler [2019-12-23 07:56:32] 797*2^1551708-1 is not prime. Res64: A44A19E57B777D8B Time : 0.0 sec. user=mdettweiler [2019-12-23 07:56:33] 819*2^1551708-1 is not prime. Res64: 5420AF3F65473825 Time : 0.0 sec. user=mdettweiler [2019-12-23 07:56:34] 845*2^1551708-1 is not prime. Res64: 9C7398102A381B28 Time : 0.0 sec. user=mdettweiler [2019-12-23 07:56:35] 959*2^1551708-1 is not prime. Res64: 91DED70E563A7B10 Time : 0.0 sec. user=mdettweiler [2019-12-23 08:01:28] 679*2^1551709-1 is not prime. Res64: 33B11933FD2E9371 Time : 0.0 sec. user=mdettweiler [2019-12-23 08:01:33] 681*2^1551709-1 is not prime. Res64: 91F22A546FB6D296 Time : 0.0 sec. user=mdettweiler [2019-12-23 08:01:36] 819*2^1551709-1 is not prime. Res64: AE16E23831FDDF10 Time : 0.0 sec. user=mdettweiler [2019-12-23 08:01:39] 919*2^1551709-1 is not prime. Res64: C4E8DDCAF919DC50 Time : 0.0 sec. user=mdettweiler [2019-12-23 08:01:48] 753*2^1551710-1 is not prime. Res64: 445F22A7E1839006 Time : 0.0 sec. user=mdettweiler [2019-12-23 08:50:58] 831*2^1551710-1 is not prime. Res64: 86E1F9D95B9E276F Time : 0.0 sec. user=mdettweiler [2019-12-23 08:50:59] 957*2^1551710-1 is not prime. Res64: 0B9F1A7806F13933 Time : 0.0 sec. user=mdettweiler [2019-12-23 08:51:00] 1001*2^1551710-1 is not prime. Res64: 1AB55F9BA9B29FDF Time : 0.0 sec. user=mdettweiler [2019-12-23 08:51:01] 609*2^1551711-1 is not prime. Res64: 8372D4380AAE9FC7 Time : 0.0 sec. user=mdettweiler [2019-12-23 08:51:02] 873*2^1551711-1 is not prime. Res64: 479681A6667F74E1 Time : 0.0 sec. user=mdettweiler [2019-12-23 08:55:19] 931*2^1551711-1 is not prime. Res64: EC13BC54D8D1A50E Time : 0.0 sec. user=mdettweiler [2019-12-23 08:55:20] 955*2^1551711-1 is not prime. Res64: 617EDB656A1DB9D6 Time : 0.0 sec. user=mdettweiler [2019-12-23 08:55:21] 735*2^1551712-1 is not prime. Res64: EF57025C309CFFF8 Time : 0.0 sec. user=mdettweiler [2019-12-23 08:55:22] 765*2^1551712-1 is not prime. Res64: 7BC8A2385354E702 Time : 0.0 sec. user=mdettweiler [2019-12-23 08:55:23] 779*2^1551712-1 is not prime. Res64: 3038908A05D3ED60 Time : 0.0 sec. user=mdettweiler [2019-12-23 09:02:28] 855*2^1551712-1 is not prime. Res64: DAF04D1195F7B9ED Time : 0.0 sec. user=mdettweiler [2019-12-23 09:02:31] 857*2^1551712-1 is not prime. Res64: 26D34FDD3AC1C4BC Time : 0.0 sec. user=mdettweiler [2019-12-23 09:02:33] 705*2^1551713-1 is not prime. Res64: 460A163E45732E57 Time : 0.0 sec. user=mdettweiler [2019-12-23 09:02:37] 787*2^1551713-1 is not prime. Res64: E7003A1B12B0A565 Time : 0.0 sec. user=mdettweiler [2019-12-23 09:02:41] 605*2^1551714-1 is not prime. Res64: 4C3817BC1D28422D Time : 0.0 sec. user=mdettweiler [2019-12-23 09:44:20] 887*2^1551714-1 is not prime. Res64: 92AB0BFBC0CAA2B7 Time : 0.0 sec. user=mdettweiler [2019-12-23 09:44:23] 921*2^1551714-1 is not prime. Res64: 26C8256467FD9E80 Time : 0.0 sec. user=mdettweiler [2019-12-23 09:44:24] 927*2^1551714-1 is not prime. Res64: 00365B32635263F5 Time : 0.0 sec. user=mdettweiler [2019-12-23 09:44:27] 975*2^1551714-1 is not prime. Res64: 847CDACCF467BB21 Time : 0.0 sec. user=mdettweiler [2019-12-23 09:44:29] 673*2^1551715-1 is not prime. Res64: 6FAFFBB1F4CD1B2D Time : 0.0 sec. user=mdettweiler [2019-12-23 09:46:33] 723*2^1551715-1 is not prime. Res64: 3B720B6ED4D935C2 Time : 0.0 sec. user=mdettweiler [2019-12-23 09:46:34] 735*2^1551715-1 is not prime. Res64: BCEDA47BB0CF0CD8 Time : 0.0 sec. user=mdettweiler [2019-12-23 09:46:35] 751*2^1551715-1 is not prime. Res64: 54F7931946ABD606 Time : 0.0 sec. user=mdettweiler [2019-12-23 09:46:36] 759*2^1551715-1 is not prime. Res64: 48CC8ED9A35C13FD Time : 0.0 sec. user=mdettweiler [2019-12-23 09:46:36] 789*2^1551715-1 is not prime. Res64: EF7959F174E5F436 Time : 0.0 sec. user=mdettweiler [2019-12-23 09:55:35] 999*2^1551715-1 is not prime. Res64: 3DAF038FA9A83ABD Time : 0.0 sec. user=mdettweiler [2019-12-23 09:55:36] 635*2^1551716-1 is not prime. Res64: 72A80BF32B4D73E6 Time : 0.0 sec. user=mdettweiler [2019-12-23 09:55:37] 693*2^1551716-1 is not prime. Res64: 1A312EEC559C20D5 Time : 0.0 sec. user=mdettweiler [2019-12-23 09:55:38] 707*2^1551716-1 is not prime. Res64: 5E5A54EDFB183599 Time : 0.0 sec. user=mdettweiler [2019-12-23 09:55:39] 719*2^1551716-1 is not prime. Res64: BA76AD311553F293 Time : 0.0 sec. user=mdettweiler [2019-12-23 10:38:56] 717*2^1551717-1 is not prime. Res64: 1C17D0A70D7814FF Time : 0.0 sec. user=mdettweiler [2019-12-23 10:38:56] 937*2^1551717-1 is not prime. Res64: E053D2FB15CAE298 Time : 0.0 sec. user=mdettweiler [2019-12-23 10:38:57] 605*2^1551718-1 is not prime. Res64: 6DACFC361E943525 Time : 0.0 sec. user=mdettweiler [2019-12-23 10:38:58] 705*2^1551718-1 is not prime. Res64: 1197F09E55D3DF94 Time : 0.0 sec. user=mdettweiler [2019-12-23 10:38:59] 755*2^1551718-1 is not prime. Res64: 83D4EE46118F8A48 Time : 0.0 sec. user=mdettweiler [2019-12-23 10:40:02] 873*2^1551716-1 is not prime. Res64: A02BD3095A670759 Time : 0.0 sec. user=mdettweiler [2019-12-23 10:40:02] 927*2^1551716-1 is not prime. Res64: E2B5E7E4B4699B10 Time : 0.0 sec. user=mdettweiler [2019-12-23 10:40:03] 945*2^1551716-1 is not prime. Res64: 375931B38A21974B Time : 0.0 sec. user=mdettweiler [2019-12-23 10:40:03] 625*2^1551717-1 is not prime. Res64: 38772E56E9B0DA88 Time : 0.0 sec. user=mdettweiler [2019-12-23 10:40:04] 699*2^1551717-1 is not prime. Res64: 71B9FCB2B1064E30 Time : 0.0 sec. user=mdettweiler [2019-12-23 10:49:13] 843*2^1551718-1 is not prime. Res64: E83842883CC5E83A Time : 0.0 sec. user=mdettweiler [2019-12-23 10:49:17] 881*2^1551718-1 is not prime. Res64: D88B9F7EA5AF8481 Time : 0.0 sec. user=mdettweiler [2019-12-23 10:49:17] 981*2^1551718-1 is not prime. Res64: C6BDEE470429C88A Time : 0.0 sec. user=mdettweiler [2019-12-23 10:49:18] 661*2^1551719-1 is not prime. Res64: A74C9541F8362BA6 Time : 0.0 sec. user=mdettweiler [2019-12-23 10:49:19] 675*2^1551719-1 is not prime. Res64: 0B968E72D126AFD7 Time : 0.0 sec. user=mdettweiler [2019-12-23 11:31:59] 635*2^1551720-1 is not prime. Res64: A10B04ECFB7BDF4D Time : 0.0 sec. user=mdettweiler [2019-12-23 11:31:59] 693*2^1551720-1 is not prime. Res64: 8BAB3DCC671764E6 Time : 0.0 sec. user=mdettweiler [2019-12-23 11:32:00] 723*2^1551720-1 is not prime. Res64: ACE804AA9E496927 Time : 0.0 sec. user=mdettweiler [2019-12-23 11:32:01] 725*2^1551720-1 is not prime. Res64: 7B635EFB4C12B5C2 Time : 0.0 sec. user=mdettweiler [2019-12-23 11:32:01] 765*2^1551720-1 is not prime. Res64: 9519685959509FBF Time : 0.0 sec. user=mdettweiler [2019-12-23 11:33:03] 705*2^1551719-1 is not prime. Res64: A207A4E893329FA8 Time : 0.0 sec. user=mdettweiler [2019-12-23 11:33:03] 763*2^1551719-1 is not prime. Res64: 4C9FDBBBDA282E14 Time : 0.0 sec. user=mdettweiler [2019-12-23 11:33:04] 859*2^1551719-1 is not prime. Res64: 9BBEB26B1DF0131D Time : 0.0 sec. user=mdettweiler [2019-12-23 11:33:04] 879*2^1551719-1 is not prime. Res64: 15360E8D6D65C140 Time : 0.0 sec. user=mdettweiler [2019-12-23 11:33:05] 943*2^1551719-1 is not prime. Res64: AF8EC8B543B058FF Time : 0.0 sec. user=mdettweiler [2019-12-23 11:43:53] 797*2^1551720-1 is not prime. Res64: 2E26B5FB781C37F2 Time : 0.0 sec. user=mdettweiler [2019-12-23 11:43:54] 845*2^1551720-1 is not prime. Res64: 704C427701BC8D98 Time : 0.0 sec. user=mdettweiler [2019-12-23 11:43:55] 959*2^1551720-1 is not prime. Res64: 3FD40180DC329CD5 Time : 0.0 sec. user=mdettweiler [2019-12-23 11:43:55] 615*2^1551721-1 is not prime. Res64: 174C21DAC1C2272B Time : 0.0 sec. user=mdettweiler [2019-12-23 11:43:56] 637*2^1551721-1 is not prime. Res64: B1CF34BC6B6F6212 Time : 0.0 sec. user=mdettweiler [2019-12-23 12:24:09] 775*2^1551721-1 is not prime. Res64: 71B6B27B9176EF84 Time : 0.0 sec. user=mdettweiler [2019-12-23 12:24:10] 867*2^1551721-1 is not prime. Res64: 5707B756F57C7781 Time : 0.0 sec. user=mdettweiler [2019-12-23 12:24:10] 895*2^1551721-1 is not prime. Res64: 2D51FC30117E7AC1 Time : 0.0 sec. user=mdettweiler [2019-12-23 12:24:11] 797*2^1551722-1 is not prime. Res64: 96A3FAA2C0E10635 Time : 0.0 sec. user=mdettweiler [2019-12-23 12:24:12] 831*2^1551722-1 is not prime. Res64: CFCAB0E04E9714C3 Time : 0.0 sec. user=mdettweiler [2019-12-23 12:25:07] 837*2^1551722-1 is not prime. Res64: 06B549463DCBCD23 Time : 0.0 sec. user=mdettweiler [2019-12-23 12:25:07] 875*2^1551722-1 is not prime. Res64: F91966FC83DE693C Time : 0.0 sec. user=mdettweiler [2019-12-23 12:25:08] 915*2^1551722-1 is not prime. Res64: 6AEAD249D06ED293 Time : 0.0 sec. user=mdettweiler [2019-12-23 12:25:09] 923*2^1551722-1 is not prime. Res64: CCFEC87F220052CF Time : 0.0 sec. user=mdettweiler [2019-12-23 12:25:09] 609*2^1551723-1 is not prime. Res64: 72E17495CA415FEE Time : 0.0 sec. user=mdettweiler [2019-12-23 12:35:16] 613*2^1551723-1 is not prime. Res64: 50D7821C47153962 Time : 0.0 sec. user=mdettweiler [2019-12-23 12:35:17] 663*2^1551723-1 is not prime. Res64: BB958F5A1E902AE2 Time : 0.0 sec. user=mdettweiler [2019-12-23 12:35:17] 741*2^1551723-1 is not prime. Res64: 7125F0696858D2AB Time : 0.0 sec. user=mdettweiler [2019-12-23 12:35:18] 921*2^1551723-1 is not prime. Res64: F677701253268E9A Time : 0.0 sec. user=mdettweiler [2019-12-23 12:35:19] 693*2^1551724-1 is not prime. Res64: 87E31985CF56E57A Time : 0.0 sec. user=mdettweiler [2019-12-23 13:16:40] 741*2^1551725-1 is not prime. Res64: 8BC18436598486FB Time : 0.0 sec. user=mdettweiler [2019-12-23 13:16:41] 867*2^1551725-1 is not prime. Res64: BD0A60E62D4256C7 Time : 0.0 sec. user=mdettweiler [2019-12-23 13:16:42] 885*2^1551725-1 is not prime. Res64: FE6465B95AED38B5 Time : 0.0 sec. user=mdettweiler [2019-12-23 13:16:42] 717*2^1551726-1 is not prime. Res64: FA960ACB06E99B28 Time : 0.0 sec. user=mdettweiler [2019-12-23 13:16:43] 725*2^1551726-1 is not prime. Res64: 686F9FF81169FD88 Time : 0.0 sec. user=mdettweiler [2019-12-23 13:17:02] 903*2^1551724-1 is not prime. Res64: F9042E9022D42FD4 Time : 0.0 sec. user=mdettweiler [2019-12-23 13:17:02] 939*2^1551724-1 is not prime. Res64: 9FEA1ED08D6114D1 Time : 0.0 sec. user=mdettweiler [2019-12-23 13:17:03] 607*2^1551725-1 is not prime. Res64: EB3614ADDB2B9DE4 Time : 0.0 sec. user=mdettweiler [2019-12-23 13:17:04] 649*2^1551725-1 is not prime. Res64: 39DF23C4DFCACCDD Time : 0.0 sec. user=mdettweiler [2019-12-23 13:17:05] 721*2^1551725-1 is not prime. Res64: 7897A58D0A20EF7D Time : 0.0 sec. user=mdettweiler [2019-12-23 13:29:01] 947*2^1551726-1 is not prime. Res64: 33ACDB71C4919649 Time : 0.0 sec. user=mdettweiler [2019-12-23 13:29:01] 1001*2^1551726-1 is not prime. Res64: 4926BA216A7FD0BE Time : 0.0 sec. user=mdettweiler [2019-12-23 13:29:02] 619*2^1551727-1 is not prime. Res64: C02BE0272F0A66D4 Time : 0.0 sec. user=mdettweiler [2019-12-23 13:29:03] 649*2^1551727-1 is not prime. Res64: 24407838550E0CA5 Time : 0.0 sec. user=mdettweiler [2019-12-23 13:29:03] 685*2^1551727-1 is not prime. Res64: 7B0D6E7FF88BC7BF Time : 0.0 sec. user=mdettweiler [2019-12-23 14:08:32] 615*2^1551728-1 is not prime. Res64: 553E1DEA75FA59BF Time : 0.0 sec. user=mdettweiler [2019-12-23 14:08:33] 663*2^1551728-1 is not prime. Res64: B477B3F482A47CD3 Time : 0.0 sec. user=mdettweiler [2019-12-23 14:08:34] 825*2^1551728-1 is not prime. Res64: 9C65C3C41C1282EC Time : 0.0 sec. user=mdettweiler [2019-12-23 14:08:34] 855*2^1551728-1 is not prime. Res64: 34219E8894A9980C Time : 0.0 sec. user=mdettweiler [2019-12-23 14:08:35] 669*2^1551729-1 is not prime. Res64: B60BC93055CEB589 Time : 0.0 sec. user=mdettweiler [2019-12-23 14:09:20] 729*2^1551727-1 is not prime. Res64: 2460F88CEEF6D011 Time : 0.0 sec. user=mdettweiler [2019-12-23 14:09:21] 765*2^1551727-1 is not prime. Res64: C4C45D53759EF2C2 Time : 0.0 sec. user=mdettweiler [2019-12-23 14:09:22] 871*2^1551727-1 is not prime. Res64: 421A3BC395315798 Time : 0.0 sec. user=mdettweiler [2019-12-23 14:09:22] 973*2^1551727-1 is not prime. Res64: 6C97B51A1FE4900C Time : 0.0 sec. user=mdettweiler [2019-12-23 14:09:23] 603*2^1551728-1 is not prime. Res64: 09B10330A6F0ED7B Time : 0.0 sec. user=mdettweiler [2019-12-23 14:21:55] 735*2^1551729-1 is not prime. Res64: 73FFB663981A853E Time : 0.0 sec. user=mdettweiler [2019-12-23 14:21:58] 747*2^1551729-1 is not prime. Res64: F2DA6CD9D1E4A896 Time : 0.0 sec. user=mdettweiler [2019-12-23 14:21:59] 787*2^1551729-1 is not prime. Res64: C1C1D67A4DF8769E Time : 0.0 sec. user=mdettweiler [2019-12-23 14:22:00] 865*2^1551729-1 is not prime. Res64: D979ED09DA1784C4 Time : 0.0 sec. user=mdettweiler [2019-12-23 14:22:00] 979*2^1551729-1 is not prime. Res64: C3B0DB12FC2CBB14 Time : 0.0 sec. user=mdettweiler [2019-12-23 15:02:12] 991*2^1551729-1 is not prime. Res64: 937E82BAF75ED92F Time : 0.0 sec. user=mdettweiler [2019-12-23 15:02:16] 827*2^1551730-1 is not prime. Res64: B597842E7AFD89F6 Time : 0.0 sec. user=mdettweiler [2019-12-23 15:02:19] 843*2^1551730-1 is not prime. Res64: B3A88482838BB204 Time : 0.0 sec. user=mdettweiler [2019-12-23 15:02:22] 855*2^1551730-1 is not prime. Res64: 5430554113CCD195 Time : 0.0 sec. user=mdettweiler [2019-12-23 15:02:24] 867*2^1551730-1 is not prime. Res64: F7C86073E36503E3 Time : 0.0 sec. user=mdettweiler [2019-12-23 15:03:23] 911*2^1551730-1 is not prime. Res64: 57FD6AF79367D62D Time : 0.0 sec. user=mdettweiler [2019-12-23 15:03:27] 941*2^1551730-1 is not prime. Res64: 60FB6FBCC7607D7C Time : 0.0 sec. user=mdettweiler [2019-12-23 15:13:59] 703*2^1551731-1 is not prime. Res64: 841D664190CF8CFA Time : 0.0 sec. user=mdettweiler [2019-12-23 15:14:00] 759*2^1551731-1 is not prime. Res64: 6A050CE4923A95E9 Time : 0.0 sec. user=mdettweiler [2019-12-23 15:14:01] 855*2^1551731-1 is not prime. Res64: F0CF793910516895 Time : 0.0 sec. user=mdettweiler [2019-12-23 15:14:02] 859*2^1551731-1 is not prime. Res64: 918B56D04F9144C1 Time : 0.0 sec. user=mdettweiler [2019-12-23 15:14:03] 921*2^1551731-1 is not prime. Res64: CB171F5FD709589A Time : 0.0 sec. user=mdettweiler [2019-12-23 15:55:23] 939*2^1551731-1 is not prime. Res64: 8B9688C1C7A01EFC Time : 0.0 sec. user=mdettweiler [2019-12-23 15:55:25] 669*2^1551732-1 is not prime. Res64: 7BDF6F186ADA216D Time : 0.0 sec. user=mdettweiler [2019-12-23 15:55:27] 765*2^1551732-1 is not prime. Res64: E2D367A7DA9C575A Time : 0.0 sec. user=mdettweiler [2019-12-23 15:55:29] 767*2^1551732-1 is not prime. Res64: 744329A9C64CE752 Time : 0.0 sec. user=mdettweiler [2019-12-23 15:55:31] 779*2^1551732-1 is not prime. Res64: 3CDA0DC3726D9275 Time : 0.0 sec. user=mdettweiler [2019-12-23 16:07:00] 797*2^1551732-1 is not prime. Res64: 5BEE2060DC815E03 Time : 0.0 sec. user=mdettweiler [2019-12-23 16:07:04] 879*2^1551732-1 is not prime. Res64: 8753A67C2A3460F5 Time : 0.0 sec. user=mdettweiler [2019-12-23 16:07:06] 887*2^1551732-1 is not prime. Res64: ACEA48229E89ACB0 Time : 0.0 sec. user=mdettweiler [2019-12-23 16:07:10] 899*2^1551732-1 is not prime. Res64: 5168120850506BDF Time : 0.0 sec. user=mdettweiler [2019-12-23 16:07:13] 903*2^1551732-1 is not prime. Res64: 38A78DE433736821 Time : 0.0 sec. user=mdettweiler [2019-12-23 16:47:29] 649*2^1551733-1 is not prime. Res64: 1A3C3D4445E8E63A Time : 0.0 sec. user=mdettweiler [2019-12-23 16:47:30] 741*2^1551733-1 is not prime. Res64: 29AD2FDE854E2C2A Time : 0.0 sec. user=mdettweiler [2019-12-23 16:47:31] 747*2^1551733-1 is not prime. Res64: 2E2081F024AF42F1 Time : 0.0 sec. user=mdettweiler [2019-12-23 16:47:32] 765*2^1551733-1 is not prime. Res64: 9B22C645C36250D6 Time : 0.0 sec. user=mdettweiler [2019-12-23 16:47:32] 811*2^1551733-1 is not prime. Res64: BF59844B40217915 Time : 0.0 sec. user=mdettweiler [2019-12-23 17:01:32] 861*2^1551733-1 is not prime. Res64: D90F18FC9693E040 Time : 0.0 sec. user=mdettweiler [2019-12-23 17:01:36] 951*2^1551733-1 is not prime. Res64: BE89B41ABFD55446 Time : 0.0 sec. user=mdettweiler [2019-12-23 17:01:41] 677*2^1551734-1 is not prime. Res64: 045B1006FE2451CA Time : 0.0 sec. user=mdettweiler [2019-12-23 17:01:44] 791*2^1551734-1 is not prime. Res64: D887BAD95957DB7B Time : 0.0 sec. user=mdettweiler [2019-12-23 17:01:50] 923*2^1551734-1 is not prime. Res64: A80E0E49B61386C6 Time : 0.0 sec. user=mdettweiler [2019-12-23 17:42:06] 993*2^1551734-1 is not prime. Res64: 45C8C29AFE91A1AC Time : 0.0 sec. user=mdettweiler [2019-12-23 17:42:08] 1001*2^1551734-1 is not prime. Res64: 25360B173EC59FA5 Time : 0.0 sec. user=mdettweiler [2019-12-23 17:42:09] 739*2^1551735-1 is not prime. Res64: A34EEC9DA0ACABF6 Time : 0.0 sec. user=mdettweiler [2019-12-23 17:42:09] 831*2^1551735-1 is not prime. Res64: 9C3BA25C61C5694E Time : 0.0 sec. user=mdettweiler [2019-12-23 17:42:10] 853*2^1551735-1 is not prime. Res64: C9CC9AC25E670748 Time : 0.0 sec. user=mdettweiler [2019-12-23 17:56:19] 871*2^1551735-1 is not prime. Res64: A09BB97A897FD6AB Time : 0.0 sec. user=mdettweiler [2019-12-23 17:56:20] 885*2^1551735-1 is not prime. Res64: 91154E8812BABDEE Time : 0.0 sec. user=mdettweiler [2019-12-23 17:56:21] 999*2^1551735-1 is not prime. Res64: 4812F8ED5EB0B757 Time : 0.0 sec. user=mdettweiler [2019-12-23 17:56:22] 603*2^1551736-1 is not prime. Res64: C63501FDCFB8F281 Time : 0.0 sec. user=mdettweiler [2019-12-23 17:56:23] 705*2^1551736-1 is not prime. Res64: 90FF32C251A9890C Time : 0.0 sec. user=mdettweiler [2019-12-23 18:24:33] 991*2^1551737-1 is not prime. Res64: BA7A9E8072A6A21E Time : 0.0 sec. user=mdettweiler [2019-12-23 18:34:57] 743*2^1551736-1 is not prime. Res64: 53A98D57DB0CF643 Time : 0.0 sec. user=mdettweiler [2019-12-23 18:34:58] 765*2^1551736-1 is not prime. Res64: E5A807FD04B03374 Time : 0.0 sec. user=mdettweiler [2019-12-23 18:34:59] 785*2^1551736-1 is not prime. Res64: AB3EE502D199FE04 Time : 0.0 sec. user=mdettweiler [2019-12-23 18:35:00] 813*2^1551736-1 is not prime. Res64: 14596E7672E8D141 Time : 0.0 sec. user=mdettweiler [2019-12-23 18:35:01] 875*2^1551736-1 is not prime. Res64: 1953C34335DA066F Time : 0.0 sec. user=mdettweiler [2019-12-23 18:50:47] 903*2^1551736-1 is not prime. Res64: 73FF67C52CDFBC24 Time : 0.0 sec. user=mdettweiler [2019-12-23 18:50:49] 983*2^1551736-1 is not prime. Res64: 019CB2BF14FB3C4F Time : 0.0 sec. user=mdettweiler [2019-12-23 18:50:51] 631*2^1551737-1 is not prime. Res64: E7D621DD062B3AE2 Time : 0.0 sec. user=mdettweiler [2019-12-23 18:50:53] 759*2^1551737-1 is not prime. Res64: 031009F757E3EB18 Time : 0.0 sec. user=mdettweiler [2019-12-23 18:50:54] 847*2^1551737-1 is not prime. Res64: 3911C5AAC6B882F1 Time : 0.0 sec. user=mdettweiler [2019-12-23 19:29:08] 997*2^1551737-1 is not prime. Res64: C52B3FFD8070D65C Time : 0.0 sec. user=mdettweiler [2019-12-23 19:29:10] 657*2^1551738-1 is not prime. Res64: 0BCE38A9B8F429FE Time : 0.0 sec. user=mdettweiler [2019-12-23 19:29:11] 731*2^1551738-1 is not prime. Res64: 98C47D664092FE2D Time : 0.0 sec. user=mdettweiler [2019-12-23 19:29:12] 971*2^1551738-1 is not prime. Res64: B1AE0928A78F19D6 Time : 0.0 sec. user=mdettweiler [2019-12-23 19:29:13] 681*2^1551739-1 is not prime. Res64: 0AE708143352B385 Time : 0.0 sec. user=mdettweiler [2019-12-23 19:43:38] 995*2^1551730-1 is not prime. Res64: D1D0FE442135F425 Time : 0.0 sec. user=mdettweiler [2019-12-23 19:43:39] 621*2^1551731-1 is not prime. Res64: 066B789533FEDEC7 Time : 0.0 sec. user=mdettweiler [2019-12-23 19:43:39] 631*2^1551731-1 is not prime. Res64: 91074BA85B39DBAF Time : 0.0 sec. user=mdettweiler [2019-12-23 19:44:55] 759*2^1551739-1 is not prime. Res64: 6557F1399CFC69F0 Time : 0.0 sec. user=mdettweiler [2019-12-23 19:44:56] 861*2^1551739-1 is not prime. Res64: 10509B67C1B4FCFF Time : 0.0 sec. user=mdettweiler [2019-12-23 19:44:57] 985*2^1551739-1 is not prime. Res64: 2796A78F51E3A158 Time : 0.0 sec. user=mdettweiler [2019-12-23 19:44:58] 843*2^1551740-1 is not prime. Res64: 56153313B9000420 Time : 0.0 sec. user=mdettweiler [2019-12-23 19:44:59] 875*2^1551740-1 is not prime. Res64: FE1BC95D5D41A50B Time : 0.0 sec. user=mdettweiler [2019-12-23 20:24:34] 945*2^1551740-1 is not prime. Res64: 7A4142F65CE8C8CC Time : 0.0 sec. user=mdettweiler [2019-12-23 20:24:36] 977*2^1551740-1 is not prime. Res64: FBDC51CB66BF9E95 Time : 0.0 sec. user=mdettweiler [2019-12-23 20:24:37] 987*2^1551740-1 is not prime. Res64: D654BE61DE0B0AE8 Time : 0.0 sec. user=mdettweiler [2019-12-23 20:24:38] 625*2^1551741-1 is not prime. Res64: 3A91F2DF51A05A24 Time : 0.0 sec. user=mdettweiler [2019-12-23 20:24:40] 685*2^1551741-1 is not prime. Res64: E76E1E2FB9A80986 Time : 0.0 sec. user=mdettweiler [2019-12-23 20:35:00] 709*2^1551741-1 is not prime. Res64: 085011449C06BF34 Time : 0.0 sec. user=mdettweiler [2019-12-23 20:35:01] 747*2^1551741-1 is not prime. Res64: 74499ACFC907DE8D Time : 0.0 sec. user=mdettweiler [2019-12-23 20:35:02] 817*2^1551741-1 is not prime. Res64: 7043FB185D75CFB1 Time : 0.0 sec. user=mdettweiler [2019-12-23 20:35:03] 675*2^1551742-1 is not prime. Res64: F0675718F4D34AE3 Time : 0.0 sec. user=mdettweiler [2019-12-23 20:35:04] 705*2^1551742-1 is not prime. Res64: 8DB03314EC5A8A95 Time : 0.0 sec. user=mdettweiler [2019-12-23 20:37:34] 765*2^1551742-1 is not prime. Res64: B58AA33FE6DB6456 Time : 0.0 sec. user=mdettweiler [2019-12-23 20:37:35] 843*2^1551742-1 is not prime. Res64: 819F6AA6104CDEAD Time : 0.0 sec. user=mdettweiler [2019-12-23 20:37:35] 987*2^1551742-1 is not prime. Res64: 7B1568B70E3EC78D Time : 0.0 sec. user=mdettweiler [2019-12-23 20:37:36] 633*2^1551743-1 is not prime. Res64: A6D2291E264727A5 Time : 0.0 sec. user=mdettweiler [2019-12-23 20:37:36] 649*2^1551743-1 is not prime. Res64: 1D7A04BA4688734A Time : 0.0 sec. user=mdettweiler [2019-12-23 21:17:48] 679*2^1551743-1 is not prime. Res64: 8E881CE22E598533 Time : 0.0 sec. user=mdettweiler [2019-12-23 21:17:49] 763*2^1551743-1 is not prime. Res64: 111C0E38A5D4E0B0 Time : 0.0 sec. user=mdettweiler [2019-12-23 21:17:50] 831*2^1551743-1 is not prime. Res64: 41E853D96CAC521A Time : 0.0 sec. user=mdettweiler [2019-12-23 21:17:51] 955*2^1551743-1 is not prime. Res64: 99C3FDD7C7B280C9 Time : 0.0 sec. user=mdettweiler [2019-12-23 21:17:51] 695*2^1551744-1 is not prime. Res64: 1B8D8D3CCFFAF239 Time : 0.0 sec. user=mdettweiler [2019-12-23 21:27:14] 753*2^1551744-1 is not prime. Res64: D09033512D0F6847 Time : 0.0 sec. user=mdettweiler [2019-12-23 21:27:18] 789*2^1551744-1 is not prime. Res64: 0A94CAF444A78438 Time : 0.0 sec. user=mdettweiler [2019-12-23 21:29:07] 679*2^1551745-1 is not prime. Res64: B2AECBB2A6F9B342 Time : 0.0 sec. user=mdettweiler [2019-12-23 21:29:08] 717*2^1551745-1 is not prime. Res64: 6E66653E982BCB05 Time : 0.0 sec. user=mdettweiler [2019-12-23 21:29:09] 741*2^1551745-1 is not prime. Res64: EED6A82A3D28BBCB Time : 0.0 sec. user=mdettweiler [2019-12-23 21:29:12] 775*2^1551745-1 is not prime. Res64: D72C0A370F11490F Time : 0.0 sec. user=mdettweiler [2019-12-23 21:29:13] 801*2^1551745-1 is not prime. Res64: A61F4E83B2D67C24 Time : 0.0 sec. user=mdettweiler [2019-12-23 22:10:28] 909*2^1551745-1 is not prime. Res64: 130806A871BADCD6 Time : 0.0 sec. user=mdettweiler [2019-12-23 22:10:35] 633*2^1551746-1 is not prime. Res64: A502A90E190D943E Time : 0.0 sec. user=mdettweiler [2019-12-23 22:10:43] 713*2^1551746-1 is not prime. Res64: 199CE15E2EED5415 Time : 0.0 sec. user=mdettweiler [2019-12-23 22:10:48] 857*2^1551746-1 is not prime. Res64: 60988F8731EA4090 Time : 0.0 sec. user=mdettweiler [2019-12-23 22:10:54] 887*2^1551746-1 is not prime. Res64: 326822D89859274A Time : 0.0 sec. user=mdettweiler [2019-12-23 22:22:20] 751*2^1551747-1 is not prime. Res64: B183D28369C0B036 Time : 0.0 sec. user=mdettweiler [2019-12-23 22:22:21] 769*2^1551747-1 is not prime. Res64: 1AE10991C89A983B Time : 0.0 sec. user=mdettweiler [2019-12-23 22:22:22] 955*2^1551747-1 is not prime. Res64: 23A6066F6B3416D8 Time : 0.0 sec. user=mdettweiler [2019-12-23 22:22:24] 639*2^1551748-1 is not prime. Res64: CF7EFD0003218668 Time : 0.0 sec. user=mdettweiler [2019-12-23 22:22:25] 687*2^1551748-1 is not prime. Res64: 7F926EFD1DB342F7 Time : 0.0 sec. user=mdettweiler [2019-12-23 22:32:37] 861*2^1551750-1 is not prime. Res64: A92C6F6FE9A8BD1E Time : 0.0 sec. user=mdettweiler [2019-12-23 23:04:25] 743*2^1551748-1 is not prime. Res64: E1F7E7210FEAD983 Time : 0.0 sec. user=mdettweiler [2019-12-23 23:04:32] 749*2^1551748-1 is not prime. Res64: 11C6B07B87B3EB6B Time : 0.0 sec. user=mdettweiler [2019-12-23 23:04:38] 813*2^1551748-1 is not prime. Res64: 5BC483FD73426259 Time : 0.0 sec. user=mdettweiler [2019-12-23 23:04:43] 863*2^1551748-1 is not prime. Res64: C0123120F51C1797 Time : 0.0 sec. user=mdettweiler [2019-12-23 23:04:47] 929*2^1551748-1 is not prime. Res64: A99573F079075BC9 Time : 0.0 sec. user=mdettweiler [2019-12-23 23:17:19] 933*2^1551748-1 is not prime. Res64: 08140150063A161D Time : 0.0 sec.