user=mdettweiler [2020-07-16 00:14:56] 915*2^1563307-1 is not prime. Res64: 45CA660ABEB39321 Time : 0.0 sec. user=mdettweiler [2020-07-16 00:14:57] 951*2^1563307-1 is not prime. Res64: 946D96DB715D388C Time : 0.0 sec. user=mdettweiler [2020-07-16 00:14:57] 973*2^1563307-1 is not prime. Res64: 5D7EA57897DDBC9B Time : 0.0 sec. user=mdettweiler [2020-07-16 00:14:57] 699*2^1563308-1 is not prime. Res64: 97395E47723BEF98 Time : 0.0 sec. user=mdettweiler [2020-07-16 00:14:58] 725*2^1563308-1 is not prime. Res64: C663408F30EEF1AD Time : 0.0 sec. user=mdettweiler [2020-07-16 00:19:39] 879*2^1563308-1 is not prime. Res64: A396B6EBEE021C58 Time : 0.0 sec. user=mdettweiler [2020-07-16 00:19:39] 935*2^1563308-1 is not prime. Res64: 8F42A03BDF643933 Time : 0.0 sec. user=mdettweiler [2020-07-16 00:19:40] 963*2^1563308-1 is not prime. Res64: F9CF644F8394C142 Time : 0.0 sec. user=mdettweiler [2020-07-16 00:19:40] 601*2^1563309-1 is not prime. Res64: 85681E033F83BA71 Time : 0.0 sec. user=mdettweiler [2020-07-16 00:19:40] 621*2^1563309-1 is not prime. Res64: 1A2481B1EE91856E Time : 0.0 sec. user=mdettweiler [2020-07-16 00:42:41] 675*2^1563309-1 is not prime. Res64: F30BFF41F87F3316 Time : 0.0 sec. user=mdettweiler [2020-07-16 00:42:41] 727*2^1563309-1 is not prime. Res64: 643C55B2CB54AC32 Time : 0.0 sec. user=mdettweiler [2020-07-16 00:42:42] 747*2^1563309-1 is not prime. Res64: 2DF9EE468DBDD80D Time : 0.0 sec. user=mdettweiler [2020-07-16 00:42:42] 867*2^1563309-1 is not prime. Res64: CD7E2E0C7E0DD420 Time : 0.0 sec. user=mdettweiler [2020-07-16 00:42:42] 907*2^1563309-1 is not prime. Res64: 68C213C2D85B7E70 Time : 0.0 sec. user=mdettweiler [2020-07-16 01:12:26] 927*2^1563309-1 is not prime. Res64: E67A1B93546865D2 Time : 0.0 sec. user=mdettweiler [2020-07-16 01:12:27] 975*2^1563309-1 is not prime. Res64: 940757CAAC32CB45 Time : 0.0 sec. user=mdettweiler [2020-07-16 01:12:28] 985*2^1563309-1 is not prime. Res64: DA54821AE26B14CB Time : 0.0 sec. user=mdettweiler [2020-07-16 01:12:29] 747*2^1563310-1 is not prime. Res64: 2711E12CE96C19CF Time : 0.0 sec. user=mdettweiler [2020-07-16 01:12:30] 813*2^1563310-1 is not prime. Res64: A511E518DA516E64 Time : 0.0 sec. user=mdettweiler [2020-07-16 01:13:52] 957*2^1563310-1 is not prime. Res64: B65372AC0A12CC6E Time : 0.0 sec. user=mdettweiler [2020-07-16 01:13:53] 987*2^1563310-1 is not prime. Res64: D4C6A8290BD9F5C9 Time : 0.0 sec. user=mdettweiler [2020-07-16 01:13:53] 609*2^1563311-1 is not prime. Res64: C8F14FC829A790FA Time : 0.0 sec. user=mdettweiler [2020-07-16 01:13:53] 615*2^1563311-1 is not prime. Res64: 43CA2B581B9A5540 Time : 0.0 sec. user=mdettweiler [2020-07-16 01:13:54] 651*2^1563311-1 is not prime. Res64: 71A0E4C8BB9B5E84 Time : 0.0 sec. user=mdettweiler [2020-07-16 01:36:41] 711*2^1563311-1 is not prime. Res64: B46963E7F9CDDBEE Time : 0.0 sec. user=mdettweiler [2020-07-16 01:36:42] 735*2^1563311-1 is not prime. Res64: 6CA83B4A434ED1E0 Time : 0.0 sec. user=mdettweiler [2020-07-16 01:36:43] 763*2^1563311-1 is not prime. Res64: D0B228B2A9C2425F Time : 0.0 sec. user=mdettweiler [2020-07-16 01:36:44] 781*2^1563311-1 is not prime. Res64: 726A385FCA21C4D9 Time : 0.0 sec. user=mdettweiler [2020-07-16 01:36:45] 841*2^1563311-1 is not prime. Res64: 30A67F636FC67D6D Time : 0.0 sec. user=mdettweiler [2020-07-16 02:07:11] 859*2^1563311-1 is not prime. Res64: C23E0E3A898DEABD Time : 0.0 sec. user=mdettweiler [2020-07-16 02:07:14] 943*2^1563311-1 is not prime. Res64: 1042A99B132764C5 Time : 0.0 sec. user=mdettweiler [2020-07-16 02:07:18] 605*2^1563312-1 is not prime. Res64: 748122BE300F79A0 Time : 0.0 sec. user=mdettweiler [2020-07-16 02:07:20] 629*2^1563312-1 is not prime. Res64: 35B257B1C136FC38 Time : 0.0 sec. user=mdettweiler [2020-07-16 02:07:21] 689*2^1563312-1 is not prime. Res64: C003803050B02FD0 Time : 0.0 sec. user=mdettweiler [2020-07-16 02:09:43] 759*2^1563312-1 is not prime. Res64: B71599BC06BEDD65 Time : 0.0 sec. user=mdettweiler [2020-07-16 02:09:45] 803*2^1563312-1 is not prime. Res64: C94692EA1FFADDA5 Time : 0.0 sec. user=mdettweiler [2020-07-16 02:09:49] 837*2^1563312-1 is not prime. Res64: C33209B0B7F9205D Time : 0.0 sec. user=mdettweiler [2020-07-16 02:09:51] 899*2^1563312-1 is not prime. Res64: F811EA9B50B05513 Time : 0.0 sec. user=mdettweiler [2020-07-16 02:09:52] 625*2^1563313-1 is not prime. Res64: 2D429C6442575205 Time : 0.0 sec. user=mdettweiler [2020-07-16 02:32:54] 691*2^1563313-1 is not prime. Res64: 03BD5D27BB7B72A8 Time : 0.0 sec. user=mdettweiler [2020-07-16 02:32:55] 729*2^1563313-1 is not prime. Res64: 89E74F2F21EB1718 Time : 0.0 sec. user=mdettweiler [2020-07-16 02:32:55] 847*2^1563313-1 is not prime. Res64: A498688F6D573C1A Time : 0.0 sec. user=mdettweiler [2020-07-16 02:32:56] 951*2^1563313-1 is not prime. Res64: AC1FA63ED7E6CB74 Time : 0.0 sec. user=mdettweiler [2020-07-16 02:32:56] 957*2^1563313-1 is not prime. Res64: F20FE89ACA3EA6EB Time : 0.0 sec. user=mdettweiler [2020-07-16 03:01:14] 617*2^1563314-1 is not prime. Res64: 37EE7CC8F595D61E Time : 0.0 sec. user=mdettweiler [2020-07-16 03:01:16] 635*2^1563314-1 is not prime. Res64: 5891433C89017521 Time : 0.0 sec. user=mdettweiler [2020-07-16 03:01:17] 675*2^1563314-1 is not prime. Res64: 328583CCFA50D5EB Time : 0.0 sec. user=mdettweiler [2020-07-16 03:01:18] 797*2^1563314-1 is not prime. Res64: 2444065C17DCDB1E Time : 0.0 sec. user=mdettweiler [2020-07-16 03:01:19] 857*2^1563314-1 is not prime. Res64: 5E4085A9217D9171 Time : 0.0 sec. user=mdettweiler [2020-07-16 03:03:25] 873*2^1563314-1 is not prime. Res64: 35F9D487019FA4B0 Time : 0.0 sec. user=mdettweiler [2020-07-16 03:03:25] 643*2^1563315-1 is not prime. Res64: 53D49DF3AF2864DA Time : 0.0 sec. user=mdettweiler [2020-07-16 03:03:26] 663*2^1563315-1 is not prime. Res64: 6F2BE8F32549A704 Time : 0.0 sec. user=mdettweiler [2020-07-16 03:03:26] 691*2^1563315-1 is not prime. Res64: 6850FF40E86AD4FE Time : 0.0 sec. user=mdettweiler [2020-07-16 03:03:27] 765*2^1563315-1 is not prime. Res64: D52A92D844CC587A Time : 0.0 sec. user=mdettweiler [2020-07-16 03:25:05] 609*2^1563316-1 is not prime. Res64: 4940E77918CB0DB9 Time : 0.0 sec. user=mdettweiler [2020-07-16 03:25:07] 615*2^1563316-1 is not prime. Res64: B872CE873941E0E5 Time : 0.0 sec. user=mdettweiler [2020-07-16 03:25:08] 623*2^1563316-1 is not prime. Res64: B286E41BE6CCF49B Time : 0.0 sec. user=mdettweiler [2020-07-16 03:25:09] 723*2^1563316-1 is not prime. Res64: A162AAABC3497D18 Time : 0.0 sec. user=mdettweiler [2020-07-16 03:25:10] 779*2^1563316-1 is not prime. Res64: 433F60C31C0A7F0B Time : 0.0 sec. user=mdettweiler [2020-07-16 03:56:40] 993*2^1563316-1 is not prime. Res64: 8B776FC56A83667A Time : 0.0 sec. user=mdettweiler [2020-07-16 03:56:41] 619*2^1563317-1 is not prime. Res64: 832D1EC5345B1B76 Time : 0.0 sec. user=mdettweiler [2020-07-16 03:56:42] 685*2^1563317-1 is not prime. Res64: DB1252AF314768DA Time : 0.0 sec. user=mdettweiler [2020-07-16 03:56:42] 757*2^1563317-1 is not prime. Res64: C863683AA9F74E85 Time : 0.0 sec. user=mdettweiler [2020-07-16 03:56:43] 885*2^1563317-1 is not prime. Res64: CEE1CE8746802F42 Time : 0.0 sec. user=mdettweiler [2020-07-16 03:59:47] 931*2^1563317-1 is not prime. Res64: 8A52AA3EC988CDCD Time : 0.0 sec. user=mdettweiler [2020-07-16 03:59:48] 985*2^1563317-1 is not prime. Res64: 6C3B1E25CC0CA9BA Time : 0.0 sec. user=mdettweiler [2020-07-16 03:59:49] 747*2^1563318-1 is not prime. Res64: F2BE4EAF32C5C337 Time : 0.0 sec. user=mdettweiler [2020-07-16 03:59:49] 777*2^1563318-1 is not prime. Res64: 1403C7B4E1B3ECA9 Time : 0.0 sec. user=mdettweiler [2020-07-16 03:59:50] 825*2^1563318-1 is not prime. Res64: 594D1344FFBFF5DC Time : 0.0 sec. user=mdettweiler [2020-07-16 04:18:40] 945*2^1563318-1 is not prime. Res64: FE02B54651332D71 Time : 0.0 sec. user=mdettweiler [2020-07-16 04:18:43] 603*2^1563319-1 is not prime. Res64: 06059AACFE388812 Time : 0.0 sec. user=mdettweiler [2020-07-16 04:18:45] 633*2^1563319-1 is not prime. Res64: 7D5B7DA9434925B1 Time : 0.0 sec. user=mdettweiler [2020-07-16 04:18:50] 645*2^1563319-1 is not prime. Res64: C89103012A2CAEDB Time : 0.0 sec. user=mdettweiler [2020-07-16 04:18:52] 679*2^1563319-1 is not prime. Res64: 7AEAC3770119BF1A Time : 0.0 sec. user=mdettweiler [2020-07-16 04:54:21] 985*2^1563319-1 is not prime. Res64: 884C53FEA135DA14 Time : 0.0 sec. user=mdettweiler [2020-07-16 04:54:21] 999*2^1563319-1 is not prime. Res64: 7CE69D93ECE8A54B Time : 0.0 sec. user=mdettweiler [2020-07-16 04:54:22] 603*2^1563320-1 is not prime. Res64: 02FF828A70268033 Time : 0.0 sec. user=mdettweiler [2020-07-16 04:54:22] 663*2^1563320-1 is not prime. Res64: B1710C56B6A8167C Time : 0.0 sec. user=mdettweiler [2020-07-16 04:54:22] 743*2^1563320-1 is not prime. Res64: ADF59381A066E72C Time : 0.0 sec. user=mdettweiler [2020-07-16 04:55:04] 841*2^1563319-1 is not prime. Res64: 762E2522D1006504 Time : 0.0 sec. user=mdettweiler [2020-07-16 04:55:04] 861*2^1563319-1 is not prime. Res64: DF23A8236E12CF41 Time : 0.0 sec. user=mdettweiler [2020-07-16 04:55:04] 889*2^1563319-1 is not prime. Res64: 300FABCC6F4D99EC Time : 0.0 sec. user=mdettweiler [2020-07-16 04:55:05] 939*2^1563319-1 is not prime. Res64: 6BA2413568982E30 Time : 0.0 sec. user=mdettweiler [2020-07-16 04:55:05] 951*2^1563319-1 is not prime. Res64: D2B9419B9D2B77C7 Time : 0.0 sec. user=mdettweiler [2020-07-16 05:16:28] 789*2^1563320-1 is not prime. Res64: 2324D1793EAFCDD4 Time : 0.0 sec. user=mdettweiler [2020-07-16 05:16:28] 855*2^1563320-1 is not prime. Res64: 767DAAEAD73F0337 Time : 0.0 sec. user=mdettweiler [2020-07-16 05:16:29] 893*2^1563320-1 is not prime. Res64: 8B15F2861DC4CA0A Time : 0.0 sec. user=mdettweiler [2020-07-16 05:16:29] 935*2^1563320-1 is not prime. Res64: 497715E752B8D011 Time : 0.0 sec. user=mdettweiler [2020-07-16 05:16:30] 685*2^1563321-1 is not prime. Res64: 08386B7620A3744C Time : 0.0 sec. user=mdettweiler [2020-07-16 05:50:34] 705*2^1563321-1 is not prime. Res64: 3B04A2B0FB9B40B8 Time : 0.0 sec. user=mdettweiler [2020-07-16 05:50:35] 751*2^1563321-1 is not prime. Res64: 47F62555C223DA82 Time : 0.0 sec. user=mdettweiler [2020-07-16 05:50:35] 889*2^1563321-1 is not prime. Res64: 1E455131BB8B4A20 Time : 0.0 sec. user=mdettweiler [2020-07-16 05:50:35] 921*2^1563321-1 is not prime. Res64: DC12041BC38E4BE1 Time : 0.0 sec. user=mdettweiler [2020-07-16 05:50:35] 937*2^1563321-1 is not prime. Res64: E663580A1911F122 Time : 0.0 sec. user=mdettweiler [2020-07-16 05:51:04] 979*2^1563321-1 is not prime. Res64: FCBC47DA40CED6BF Time : 0.0 sec. user=mdettweiler [2020-07-16 05:51:04] 645*2^1563322-1 is not prime. Res64: 2F19C06DF6D552DA Time : 0.0 sec. user=mdettweiler [2020-07-16 05:51:04] 777*2^1563322-1 is not prime. Res64: 06406A972E84CE84 Time : 0.0 sec. user=mdettweiler [2020-07-16 05:51:05] 815*2^1563322-1 is not prime. Res64: 987CF8AA93A74FDC Time : 0.0 sec. user=mdettweiler [2020-07-16 05:51:05] 831*2^1563322-1 is not prime. Res64: 59C05B5A4C337A5A Time : 0.0 sec. user=mdettweiler [2020-07-16 06:12:12] 867*2^1563322-1 is not prime. Res64: 6B6B943A0F708980 Time : 0.0 sec. user=mdettweiler [2020-07-16 06:12:12] 945*2^1563322-1 is not prime. Res64: 4DDFEC3B3E13A91D Time : 0.0 sec. user=mdettweiler [2020-07-16 06:12:13] 987*2^1563322-1 is not prime. Res64: 1C11091C8CA45119 Time : 0.0 sec. user=mdettweiler [2020-07-16 06:12:13] 621*2^1563323-1 is not prime. Res64: A484D9EFD4B71F0D Time : 0.0 sec. user=mdettweiler [2020-07-16 06:12:13] 643*2^1563323-1 is not prime. Res64: A00584B3181F3367 Time : 0.0 sec. user=mdettweiler [2020-07-16 06:45:48] 675*2^1563323-1 is not prime. Res64: 3D2FFEE5DDC2D8C0 Time : 0.0 sec. user=mdettweiler [2020-07-16 06:45:48] 685*2^1563323-1 is not prime. Res64: ABCD3A8495C4F50D Time : 0.0 sec. user=mdettweiler [2020-07-16 06:45:49] 753*2^1563323-1 is not prime. Res64: BB238070FB8099ED Time : 0.0 sec. user=mdettweiler [2020-07-16 06:45:49] 859*2^1563323-1 is not prime. Res64: 0A28BB18E185C3F5 Time : 0.0 sec. user=mdettweiler [2020-07-16 06:45:49] 895*2^1563323-1 is not prime. Res64: 3FB21433D88ECAD6 Time : 0.0 sec. user=mdettweiler [2020-07-16 06:48:26] 913*2^1563323-1 is not prime. Res64: 6E8E2EFC1F9C45BA Time : 0.0 sec. user=mdettweiler [2020-07-16 06:48:27] 993*2^1563323-1 is not prime. Res64: 3C2BEC0F42FDFAF0 Time : 0.0 sec. user=mdettweiler [2020-07-16 06:48:27] 699*2^1563324-1 is not prime. Res64: 70A719E62D67702D Time : 0.0 sec. user=mdettweiler [2020-07-16 06:48:27] 837*2^1563324-1 is not prime. Res64: A6AAD5583602FA43 Time : 0.0 sec. user=mdettweiler [2020-07-16 06:48:27] 843*2^1563324-1 is not prime. Res64: 4D3C6404FD0BC5E6 Time : 0.0 sec. user=mdettweiler [2020-07-16 07:05:52] 903*2^1563324-1 is not prime. Res64: 3A6CB8F19C9335A7 Time : 0.0 sec. user=mdettweiler [2020-07-16 07:05:55] 651*2^1563325-1 is not prime. Res64: 0D416F53ACA00882 Time : 0.0 sec. user=mdettweiler [2020-07-16 07:05:56] 721*2^1563325-1 is not prime. Res64: 48A59A145BCD0A79 Time : 0.0 sec. user=mdettweiler [2020-07-16 07:05:58] 741*2^1563325-1 is not prime. Res64: 32EA4B9666825766 Time : 0.0 sec. user=mdettweiler [2020-07-16 07:05:59] 623*2^1563326-1 is not prime. Res64: CE134C66FAB3E1EF Time : 0.0 sec. user=mdettweiler [2020-07-16 07:38:20] 641*2^1563326-1 is not prime. Res64: 8AF23B109A511E24 Time : 0.0 sec. user=mdettweiler [2020-07-16 07:38:21] 657*2^1563326-1 is not prime. Res64: 007FBEAB871DF689 Time : 0.0 sec. user=mdettweiler [2020-07-16 07:38:22] 677*2^1563326-1 is not prime. Res64: 4DBCDCB09973FEB5 Time : 0.0 sec. user=mdettweiler [2020-07-16 07:38:22] 741*2^1563326-1 is not prime. Res64: 18BE1731AEE97276 Time : 0.0 sec. user=mdettweiler [2020-07-16 07:38:23] 743*2^1563326-1 is not prime. Res64: B084E62F6DA66BF9 Time : 0.0 sec. user=mdettweiler [2020-07-16 07:44:37] 761*2^1563326-1 is not prime. Res64: 9E9ECD380C2B42A1 Time : 0.0 sec. user=mdettweiler [2020-07-16 07:44:37] 911*2^1563326-1 is not prime. Res64: F116B10524BF94A1 Time : 0.0 sec. user=mdettweiler [2020-07-16 07:44:38] 971*2^1563326-1 is not prime. Res64: D9D514AA24FDE73E Time : 0.0 sec. user=mdettweiler [2020-07-16 07:44:38] 981*2^1563326-1 is not prime. Res64: ADEEC2AA195AA839 Time : 0.0 sec. user=mdettweiler [2020-07-16 07:44:38] 633*2^1563327-1 is not prime. Res64: 52399D747091CEEF Time : 0.0 sec. user=mdettweiler [2020-07-16 08:00:33] 781*2^1563327-1 is not prime. Res64: 3184FE83803A86D7 Time : 0.0 sec. user=mdettweiler [2020-07-16 08:00:34] 955*2^1563327-1 is not prime. Res64: 570F057BD4FCE2D6 Time : 0.0 sec. user=mdettweiler [2020-07-16 08:00:35] 603*2^1563328-1 is not prime. Res64: D4338EA7AC70C9F3 Time : 0.0 sec. user=mdettweiler [2020-07-16 08:00:36] 747*2^1563328-1 is not prime. Res64: D33C0E20CC67791D Time : 0.0 sec. user=mdettweiler [2020-07-16 08:00:37] 797*2^1563328-1 is not prime. Res64: 2ADD5832AECCBDC5 Time : 0.0 sec. user=mdettweiler [2020-07-16 08:33:58] 969*2^1563328-1 is not prime. Res64: B7501F8B2001B2FF Time : 0.0 sec. user=mdettweiler [2020-07-16 08:33:58] 989*2^1563328-1 is not prime. Res64: B5F14B1D6E5AE308 Time : 0.0 sec. user=mdettweiler [2020-07-16 08:33:58] 675*2^1563329-1 is not prime. Res64: 7655A45A2E76905B Time : 0.0 sec. user=mdettweiler [2020-07-16 08:33:59] 705*2^1563329-1 is not prime. Res64: 267D47A4A9F78DF3 Time : 0.0 sec. user=mdettweiler [2020-07-16 08:33:59] 747*2^1563329-1 is not prime. Res64: 3785FA35994665E8 Time : 0.0 sec. user=mdettweiler [2020-07-16 08:43:05] 799*2^1563329-1 is not prime. Res64: 0558DEBFF9B8F57C Time : 0.0 sec. user=mdettweiler [2020-07-16 08:43:05] 837*2^1563329-1 is not prime. Res64: 56AFA9731FAD6289 Time : 0.0 sec. user=mdettweiler [2020-07-16 08:43:05] 879*2^1563329-1 is not prime. Res64: 833D3578071CF5C6 Time : 0.0 sec. user=mdettweiler [2020-07-16 08:43:06] 885*2^1563329-1 is not prime. Res64: EB213555EABE9879 Time : 0.0 sec. user=mdettweiler [2020-07-16 08:43:06] 925*2^1563329-1 is not prime. Res64: 4D815553E10688F9 Time : 0.0 sec. user=mdettweiler [2020-07-16 08:54:31] 955*2^1563329-1 is not prime. Res64: 70CBCCD2689DB58B Time : 0.0 sec. user=mdettweiler [2020-07-16 08:54:31] 647*2^1563330-1 is not prime. Res64: AC6C9674441C59DF Time : 0.0 sec. user=mdettweiler [2020-07-16 08:54:32] 677*2^1563330-1 is not prime. Res64: 14E71F14BD8DF15F Time : 0.0 sec. user=mdettweiler [2020-07-16 08:54:32] 765*2^1563330-1 is not prime. Res64: 07900ED85FF50F2A Time : 0.0 sec. user=mdettweiler [2020-07-16 08:54:32] 773*2^1563330-1 is not prime. Res64: A21C1E3EAC28AE81 Time : 0.0 sec. user=mdettweiler [2020-07-16 09:32:19] 821*2^1563330-1 is not prime. Res64: 085FDF32C0923BE1 Time : 0.0 sec. user=mdettweiler [2020-07-16 09:32:20] 825*2^1563330-1 is not prime. Res64: F635787990F837C1 Time : 0.0 sec. user=mdettweiler [2020-07-16 09:32:20] 861*2^1563330-1 is not prime. Res64: A579650ACCE7E21D Time : 0.0 sec. user=mdettweiler [2020-07-16 09:32:21] 873*2^1563330-1 is not prime. Res64: 9278F9ED64145142 Time : 0.0 sec. user=mdettweiler [2020-07-16 09:32:21] 1001*2^1563330-1 is not prime. Res64: A98C83BC27A589EE Time : 0.0 sec. user=mdettweiler [2020-07-16 09:37:35] 715*2^1563331-1 is not prime. Res64: A14CE0F759A419CB Time : 0.0 sec. user=mdettweiler [2020-07-16 09:37:36] 873*2^1563331-1 is not prime. Res64: 0672EAF9140BDAB3 Time : 0.0 sec. user=mdettweiler [2020-07-16 09:37:36] 951*2^1563331-1 is not prime. Res64: 2E8027990A06B068 Time : 0.0 sec. user=mdettweiler [2020-07-16 09:37:36] 609*2^1563332-1 is not prime. Res64: 7712D9EE853F01EF Time : 0.0 sec. user=mdettweiler [2020-07-16 09:37:36] 647*2^1563332-1 is not prime. Res64: E39C62C25ECECB9E Time : 0.0 sec. user=mdettweiler [2020-07-16 09:48:37] 687*2^1563332-1 is not prime. Res64: 72372CC66543A5D1 Time : 0.0 sec. user=mdettweiler [2020-07-16 09:48:37] 717*2^1563332-1 is not prime. Res64: 983CBD5C79DA5EFA Time : 0.0 sec. user=mdettweiler [2020-07-16 09:48:38] 767*2^1563332-1 is not prime. Res64: A7DC959A76E62A1D Time : 0.0 sec. user=mdettweiler [2020-07-16 09:48:38] 785*2^1563332-1 is not prime. Res64: A23F4CA7FCD82AD8 Time : 0.0 sec. user=mdettweiler [2020-07-16 09:48:38] 897*2^1563332-1 is not prime. Res64: 9AE0347F4767AFAD Time : 0.0 sec. user=mdettweiler [2020-07-16 10:30:43] 899*2^1563332-1 is not prime. Res64: 270A306B6BEB479F Time : 0.0 sec. user=mdettweiler [2020-07-16 10:30:43] 903*2^1563332-1 is not prime. Res64: 1DA410A63CDD4B8C Time : 0.0 sec. user=mdettweiler [2020-07-16 10:30:43] 929*2^1563332-1 is not prime. Res64: E94BE61F43FC90C2 Time : 0.0 sec. user=mdettweiler [2020-07-16 10:30:44] 987*2^1563332-1 is not prime. Res64: A8019168A327F765 Time : 0.0 sec. user=mdettweiler [2020-07-16 10:30:44] 995*2^1563332-1 is not prime. Res64: 76B03F4DF694D0C2 Time : 0.0 sec. user=mdettweiler [2020-07-16 10:33:12] 607*2^1563333-1 is not prime. Res64: D1D87D18BCB586CF Time : 0.0 sec. user=mdettweiler [2020-07-16 10:33:13] 639*2^1563333-1 is not prime. Res64: C632AB21AE176DBF Time : 0.0 sec. user=mdettweiler [2020-07-16 10:33:13] 951*2^1563333-1 is not prime. Res64: D7A3008F5427D451 Time : 0.0 sec. user=mdettweiler [2020-07-16 10:33:13] 955*2^1563333-1 is not prime. Res64: F4EABBD39254FDCB Time : 0.0 sec. user=mdettweiler [2020-07-16 10:33:13] 863*2^1563334-1 is not prime. Res64: 37810AF8FCB6596D Time : 0.0 sec. user=mdettweiler [2020-07-16 10:43:30] 887*2^1563334-1 is not prime. Res64: 0F3E33FB518755B8 Time : 0.0 sec. user=mdettweiler [2020-07-16 10:43:30] 891*2^1563334-1 is not prime. Res64: 9B11B769945C21B7 Time : 0.0 sec. user=mdettweiler [2020-07-16 10:43:31] 609*2^1563335-1 is not prime. Res64: D2C7A1CEB60A7502 Time : 0.0 sec. user=mdettweiler [2020-07-16 10:43:31] 715*2^1563335-1 is not prime. Res64: 3DB53C7B7069720A Time : 0.0 sec. user=mdettweiler [2020-07-16 10:43:31] 753*2^1563335-1 is not prime. Res64: 06679B54CA5CCA42 Time : 0.0 sec. user=mdettweiler [2020-07-16 11:26:00] 999*2^1563336-1 is not prime. Res64: 9C0DB47BA85E70D9 Time : 0.0 sec. user=mdettweiler [2020-07-16 11:26:00] 601*2^1563337-1 is not prime. Res64: 0C9AC81328E47428 Time : 0.0 sec. user=mdettweiler [2020-07-16 11:26:01] 609*2^1563337-1 is not prime. Res64: 95F26F9B61676A1D Time : 0.0 sec. user=mdettweiler [2020-07-16 11:26:01] 615*2^1563337-1 is not prime. Res64: 47E44E7C9459EC27 Time : 0.0 sec. user=mdettweiler [2020-07-16 11:26:01] 619*2^1563337-1 is not prime. Res64: 8E23C5E2AE210AC6 Time : 0.0 sec. user=mdettweiler [2020-07-16 11:26:34] 859*2^1563335-1 is not prime. Res64: 7D4A793E8CBF003B Time : 0.0 sec. user=mdettweiler [2020-07-16 11:26:34] 883*2^1563335-1 is not prime. Res64: 8AB2BBE013C84C0A Time : 0.0 sec. user=mdettweiler [2020-07-16 11:26:34] 669*2^1563336-1 is not prime. Res64: 050CCD92FBB54323 Time : 0.0 sec. user=mdettweiler [2020-07-16 11:26:35] 675*2^1563336-1 is not prime. Res64: A67CDFC59B487795 Time : 0.0 sec. user=mdettweiler [2020-07-16 11:26:35] 917*2^1563336-1 is not prime. Res64: DDAA1E6F6131A246 Time : 0.0 sec. user=mdettweiler [2020-07-16 11:36:06] 625*2^1563337-1 is not prime. Res64: EC98984B3EC79CE8 Time : 0.0 sec. user=mdettweiler [2020-07-16 11:36:06] 687*2^1563337-1 is not prime. Res64: D10E7896549D97BF Time : 0.0 sec. user=mdettweiler [2020-07-16 11:36:07] 729*2^1563337-1 is not prime. Res64: 198704CF72C1D958 Time : 0.0 sec. user=mdettweiler [2020-07-16 11:36:07] 747*2^1563337-1 is not prime. Res64: F906372BB9D39C1A Time : 0.0 sec. user=mdettweiler [2020-07-16 11:36:07] 765*2^1563337-1 is not prime. Res64: 749DCECA49541983 Time : 0.0 sec. user=mdettweiler [2020-07-16 12:19:11] 775*2^1563337-1 is not prime. Res64: 076D2813ECB4A92D Time : 0.0 sec. user=mdettweiler [2020-07-16 12:19:11] 807*2^1563337-1 is not prime. Res64: 446EC5374AB4B79C Time : 0.0 sec. user=mdettweiler [2020-07-16 12:19:11] 623*2^1563338-1 is not prime. Res64: 72CE7071FFF80FB1 Time : 0.0 sec. user=mdettweiler [2020-07-16 12:19:12] 645*2^1563338-1 is not prime. Res64: 89942BD66AA5D441 Time : 0.0 sec. user=mdettweiler [2020-07-16 12:19:12] 671*2^1563338-1 is not prime. Res64: AB04271F134338D6 Time : 0.0 sec. user=mdettweiler [2020-07-16 12:19:29] 687*2^1563338-1 is not prime. Res64: 8A67C7D59DDEF80F Time : 0.0 sec. user=mdettweiler [2020-07-16 12:19:30] 705*2^1563338-1 is not prime. Res64: AD87FE9B0533AF09 Time : 0.0 sec. user=mdettweiler [2020-07-16 12:19:30] 735*2^1563338-1 is not prime. Res64: 9D69EAB906F51BB9 Time : 0.0 sec. user=mdettweiler [2020-07-16 12:19:30] 747*2^1563338-1 is not prime. Res64: D213F5386758D418 Time : 0.0 sec. user=mdettweiler [2020-07-16 12:19:30] 773*2^1563338-1 is not prime. Res64: 3C9FEC9F19E58174 Time : 0.0 sec. user=mdettweiler [2020-07-16 12:32:15] 915*2^1563338-1 is not prime. Res64: 5A8AB85DA8D0EC17 Time : 0.0 sec. user=mdettweiler [2020-07-16 12:32:15] 971*2^1563338-1 is not prime. Res64: BBCE492529CBB1AD Time : 0.0 sec. user=mdettweiler [2020-07-16 12:32:15] 1001*2^1563338-1 is not prime. Res64: 63E86C62F6667B06 Time : 0.0 sec. user=mdettweiler [2020-07-16 12:32:16] 619*2^1563339-1 is not prime. Res64: 6F768D38A31BBFD0 Time : 0.0 sec. user=mdettweiler [2020-07-16 12:32:16] 751*2^1563339-1 is not prime. Res64: C276AC2CCD943BF6 Time : 0.0 sec. user=mdettweiler [2020-07-16 13:15:49] 801*2^1563339-1 is not prime. Res64: B413BA23FE75DAD7 Time : 0.0 sec. user=mdettweiler [2020-07-16 13:15:49] 949*2^1563339-1 is not prime. Res64: 024ED46B472B6892 Time : 0.0 sec. user=mdettweiler [2020-07-16 13:15:50] 961*2^1563339-1 is not prime. Res64: CB6FAD6B915B3652 Time : 0.0 sec. user=mdettweiler [2020-07-16 13:15:50] 647*2^1563340-1 is not prime. Res64: BE8E559F2BD0D7D0 Time : 0.0 sec. user=mdettweiler [2020-07-16 13:15:51] 707*2^1563340-1 is not prime. Res64: 0786CDEC7D10A976 Time : 0.0 sec. user=mdettweiler [2020-07-16 13:16:24] 719*2^1563340-1 is not prime. Res64: 59F22947F528A00B Time : 0.0 sec. user=mdettweiler [2020-07-16 13:16:24] 743*2^1563340-1 is not prime. Res64: C3108A8032467504 Time : 0.0 sec. user=mdettweiler [2020-07-16 13:16:25] 803*2^1563340-1 is not prime. Res64: 03DC0064A4CCD5EB Time : 0.0 sec. user=mdettweiler [2020-07-16 13:16:25] 887*2^1563340-1 is not prime. Res64: 23A7E345F0CF72E6 Time : 0.0 sec. user=mdettweiler [2020-07-16 13:16:25] 915*2^1563340-1 is not prime. Res64: 0D3427B57756EBF5 Time : 0.0 sec. user=mdettweiler [2020-07-16 13:26:27] 631*2^1563341-1 is not prime. Res64: 6CDA71C69B079D0A Time : 0.0 sec. user=mdettweiler [2020-07-16 13:26:27] 717*2^1563341-1 is not prime. Res64: 8888D680C665235D Time : 0.0 sec. user=mdettweiler [2020-07-16 13:26:27] 727*2^1563341-1 is not prime. Res64: 4CE19F276F1CAAD3 Time : 0.0 sec. user=mdettweiler [2020-07-16 13:26:28] 777*2^1563341-1 is not prime. Res64: B94DD6A540701DC3 Time : 0.0 sec. user=mdettweiler [2020-07-16 13:26:28] 925*2^1563341-1 is not prime. Res64: 006801CBF59300CB Time : 0.0 sec. user=mdettweiler [2020-07-16 14:10:40] 979*2^1563341-1 is not prime. Res64: FFA34EEAF1B669F0 Time : 0.0 sec. user=mdettweiler [2020-07-16 14:10:42] 615*2^1563342-1 is not prime. Res64: 5D4FF677C1068C70 Time : 0.0 sec. user=mdettweiler [2020-07-16 14:10:43] 755*2^1563342-1 is not prime. Res64: 2BC31E5573CB83F8 Time : 0.0 sec. user=mdettweiler [2020-07-16 14:10:44] 761*2^1563342-1 is not prime. Res64: 62ADCE15F80C58A7 Time : 0.0 sec. user=mdettweiler [2020-07-16 14:10:44] 951*2^1563342-1 is not prime. Res64: 103CE980B04132AA Time : 0.0 sec. user=mdettweiler [2020-07-16 14:13:19] 1001*2^1563342-1 is not prime. Res64: 8A595EA2C4D3DC15 Time : 0.0 sec. user=mdettweiler [2020-07-16 14:13:19] 663*2^1563343-1 is not prime. Res64: 0BA4BF892C4D2A45 Time : 0.0 sec. user=mdettweiler [2020-07-16 14:13:19] 805*2^1563343-1 is not prime. Res64: FB30534DD83218A1 Time : 0.0 sec. user=mdettweiler [2020-07-16 14:13:19] 855*2^1563343-1 is not prime. Res64: 71C980886AC45A92 Time : 0.0 sec. user=mdettweiler [2020-07-16 14:13:20] 859*2^1563343-1 is not prime. Res64: 48832B1ADF12EC3C Time : 0.0 sec. user=mdettweiler [2020-07-16 14:23:27] 883*2^1563343-1 is not prime. Res64: FA41A4B2C54B54C4 Time : 0.0 sec. user=mdettweiler [2020-07-16 14:23:27] 913*2^1563343-1 is not prime. Res64: 6C41E723C639CB7C Time : 0.0 sec. user=mdettweiler [2020-07-16 14:23:27] 925*2^1563343-1 is not prime. Res64: 6BF5C99A4956B651 Time : 0.0 sec. user=mdettweiler [2020-07-16 14:23:28] 945*2^1563343-1 is not prime. Res64: 3F90B664A6348D38 Time : 0.0 sec. user=mdettweiler [2020-07-16 14:23:28] 657*2^1563344-1 is not prime. Res64: D198EFD14D535EA1 Time : 0.0 sec. user=mdettweiler [2020-07-16 15:06:41] 773*2^1563344-1 is not prime. Res64: 8247FDEF3A66E9A6 Time : 0.0 sec. user=mdettweiler [2020-07-16 15:06:42] 833*2^1563344-1 is not prime. Res64: 0A9D71DEFE532FD9 Time : 0.0 sec. user=mdettweiler [2020-07-16 15:06:43] 969*2^1563344-1 is not prime. Res64: 6222FE0D205FFB47 Time : 0.0 sec. user=mdettweiler [2020-07-16 15:06:43] 983*2^1563344-1 is not prime. Res64: F818734E6D740C4F Time : 0.0 sec. user=mdettweiler [2020-07-16 15:06:44] 627*2^1563345-1 is not prime. Res64: B21DF6FD8F01310C Time : 0.0 sec. user=mdettweiler [2020-07-16 15:07:25] 705*2^1563345-1 is not prime. Res64: 56373B5682B30878 Time : 0.0 sec. user=mdettweiler [2020-07-16 15:07:25] 727*2^1563345-1 is not prime. Res64: BC8E433E8177D517 Time : 0.0 sec. user=mdettweiler [2020-07-16 15:07:26] 751*2^1563345-1 is not prime. Res64: 9A31087C4A4FB833 Time : 0.0 sec. user=mdettweiler [2020-07-16 15:07:27] 765*2^1563345-1 is not prime. Res64: 4EA7E5A038F108F4 Time : 0.0 sec. user=mdettweiler [2020-07-16 15:07:27] 889*2^1563345-1 is not prime. Res64: 418ADDCDA3CD63BA Time : 0.0 sec. user=mdettweiler [2020-07-16 15:19:22] 895*2^1563345-1 is not prime. Res64: 7EEF40D6F8D6C237 Time : 0.0 sec. user=mdettweiler [2020-07-16 15:19:23] 921*2^1563345-1 is not prime. Res64: 282257BFFB45AB47 Time : 0.0 sec. user=mdettweiler [2020-07-16 15:19:24] 951*2^1563345-1 is not prime. Res64: 2AC2BD9799D8CC9A Time : 0.0 sec. user=mdettweiler [2020-07-16 15:19:24] 653*2^1563346-1 is not prime. Res64: B034F7EE619C7895 Time : 0.0 sec. user=mdettweiler [2020-07-16 15:19:25] 741*2^1563346-1 is not prime. Res64: 88FCD61C9A2703E1 Time : 0.0 sec. user=mdettweiler [2020-07-16 16:02:15] 669*2^1563347-1 is not prime. Res64: EB89D5DFC0EF493A Time : 0.0 sec. user=mdettweiler [2020-07-16 16:02:16] 673*2^1563347-1 is not prime. Res64: 4B88279DB47D9DBD Time : 0.0 sec. user=mdettweiler [2020-07-16 16:02:17] 775*2^1563347-1 is not prime. Res64: 86F032736311B066 Time : 0.0 sec. user=mdettweiler [2020-07-16 16:02:17] 801*2^1563347-1 is not prime. Res64: A06846E5C4ADBC68 Time : 0.0 sec. user=mdettweiler [2020-07-16 16:02:18] 885*2^1563347-1 is not prime. Res64: C715C6A1C04F9CA9 Time : 0.0 sec. user=mdettweiler [2020-07-16 16:02:42] 833*2^1563346-1 is not prime. Res64: A9162634AEDE8618 Time : 0.0 sec. user=mdettweiler [2020-07-16 16:02:43] 903*2^1563346-1 is not prime. Res64: 0910FCCEF59C0955 Time : 0.0 sec. user=mdettweiler [2020-07-16 16:02:45] 981*2^1563346-1 is not prime. Res64: C328ADFBD44A96D0 Time : 0.0 sec. user=mdettweiler [2020-07-16 16:02:46] 601*2^1563347-1 is not prime. Res64: ACD4D5AE40FE3189 Time : 0.0 sec. user=mdettweiler [2020-07-16 16:02:47] 645*2^1563347-1 is not prime. Res64: D94E2296D586E85F Time : 0.0 sec. user=mdettweiler [2020-07-16 16:12:59] 909*2^1563347-1 is not prime. Res64: 061678612705B3C8 Time : 0.0 sec. user=mdettweiler [2020-07-16 16:12:59] 635*2^1563348-1 is not prime. Res64: E79F443B1FF0DB6B Time : 0.0 sec. user=mdettweiler [2020-07-16 16:12:59] 663*2^1563348-1 is not prime. Res64: C7F0972822ED5702 Time : 0.0 sec. user=mdettweiler [2020-07-16 16:12:59] 795*2^1563348-1 is not prime. Res64: 6A22BCFF4FB2AE20 Time : 0.0 sec. user=mdettweiler [2020-07-16 16:13:00] 797*2^1563348-1 is not prime. Res64: 996142827232C6AD Time : 0.0 sec. user=mdettweiler [2020-07-16 16:59:01] 961*2^1563349-1 is not prime. Res64: EC815C63B83CB772 Time : 0.0 sec. user=mdettweiler [2020-07-16 16:59:02] 677*2^1563350-1 is not prime. Res64: 9D574B1C6F3CAF04 Time : 0.0 sec. user=mdettweiler [2020-07-16 16:59:02] 711*2^1563350-1 is not prime. Res64: C5BB21153B58E5E1 Time : 0.0 sec. user=mdettweiler [2020-07-16 16:59:02] 827*2^1563350-1 is not prime. Res64: 4D3067A49914A029 Time : 0.0 sec. user=mdettweiler [2020-07-16 16:59:02] 917*2^1563350-1 is not prime. Res64: 542F25ACB792CA83 Time : 0.0 sec. user=mdettweiler [2020-07-16 16:59:46] 887*2^1563348-1 is not prime. Res64: B2C569514FDC2741 Time : 0.0 sec. user=mdettweiler [2020-07-16 16:59:46] 977*2^1563348-1 is not prime. Res64: 06F1B3B16DF8660C Time : 0.0 sec. user=mdettweiler [2020-07-16 16:59:46] 759*2^1563349-1 is not prime. Res64: 8F8E074DC3EBE742 Time : 0.0 sec. user=mdettweiler [2020-07-16 16:59:46] 831*2^1563349-1 is not prime. Res64: 6798A9C0E59EB833 Time : 0.0 sec. user=mdettweiler [2020-07-16 16:59:47] 861*2^1563349-1 is not prime. Res64: 80F497E09578E374 Time : 0.0 sec. user=mdettweiler [2020-07-16 17:11:22] 823*2^1563351-1 is not prime. Res64: E7E62994B52E4051 Time : 0.0 sec. user=mdettweiler [2020-07-16 17:11:22] 865*2^1563351-1 is not prime. Res64: AC5D9592EEA24B2E Time : 0.0 sec. user=mdettweiler [2020-07-16 17:11:23] 975*2^1563351-1 is not prime. Res64: 617068004C23EC8E Time : 0.0 sec. user=mdettweiler [2020-07-16 17:11:23] 979*2^1563351-1 is not prime. Res64: 11957153552D412C Time : 0.0 sec. user=mdettweiler [2020-07-16 17:11:23] 843*2^1563352-1 is not prime. Res64: 1ED4135F7F4E207F Time : 0.0 sec. user=mdettweiler [2020-07-16 17:53:53] 887*2^1563352-1 is not prime. Res64: 19EAC0B0636A79E3 Time : 0.0 sec. user=mdettweiler [2020-07-16 17:53:53] 983*2^1563352-1 is not prime. Res64: A27E6C85B891FCB0 Time : 0.0 sec. user=mdettweiler [2020-07-16 17:53:53] 651*2^1563353-1 is not prime. Res64: 4BCD8B7A299D1A4B Time : 0.0 sec. user=mdettweiler [2020-07-16 17:53:54] 715*2^1563353-1 is not prime. Res64: 35F4CD84875EB9FA Time : 0.0 sec. user=mdettweiler [2020-07-16 17:53:54] 727*2^1563353-1 is not prime. Res64: B185170D217623D7 Time : 0.0 sec. user=mdettweiler [2020-07-16 17:57:11] 811*2^1563353-1 is not prime. Res64: 12F6179B15EEC50F Time : 0.0 sec. user=mdettweiler [2020-07-16 17:57:11] 773*2^1563354-1 is not prime. Res64: 42138B97C6872BEA Time : 0.0 sec. user=mdettweiler [2020-07-16 17:57:11] 851*2^1563354-1 is not prime. Res64: 8EAFF365AD566085 Time : 0.0 sec. user=mdettweiler [2020-07-16 17:57:12] 903*2^1563354-1 is not prime. Res64: AF9A87053345A5E2 Time : 0.0 sec. user=mdettweiler [2020-07-16 17:57:12] 983*2^1563354-1 is not prime. Res64: F851D86C7822DE8D Time : 0.0 sec. user=mdettweiler [2020-07-16 18:03:33] 619*2^1563355-1 is not prime. Res64: 662F1E5DBEEC1DE1 Time : 0.0 sec. user=mdettweiler [2020-07-16 18:03:33] 625*2^1563355-1 is not prime. Res64: 4F7442E104145271 Time : 0.0 sec. user=mdettweiler [2020-07-16 18:03:34] 639*2^1563355-1 is not prime. Res64: F37BF1A999E0F178 Time : 0.0 sec. user=mdettweiler [2020-07-16 18:03:35] 699*2^1563355-1 is not prime. Res64: E5E463030F768B2B Time : 0.0 sec. user=mdettweiler [2020-07-16 18:03:35] 771*2^1563355-1 is not prime. Res64: 7FA23F95E8C1039F Time : 0.0 sec. user=mdettweiler [2020-07-16 18:50:50] 819*2^1563355-1 is not prime. Res64: BEE3156276997444 Time : 0.0 sec. user=mdettweiler [2020-07-16 18:50:50] 859*2^1563355-1 is not prime. Res64: 72E15FB3C06155C5 Time : 0.0 sec. user=mdettweiler [2020-07-16 18:50:50] 883*2^1563355-1 is not prime. Res64: 494F9C0AFFF4C3A5 Time : 0.0 sec. user=mdettweiler [2020-07-16 18:50:51] 999*2^1563355-1 is not prime. Res64: A54FCCC1D2237659 Time : 0.0 sec. user=mdettweiler [2020-07-16 18:50:51] 623*2^1563356-1 is not prime. Res64: 393997ECADADC054 Time : 0.0 sec. user=mdettweiler [2020-07-16 18:53:19] 717*2^1563356-1 is not prime. Res64: 4270CE6C80CB79C3 Time : 0.0 sec. user=mdettweiler [2020-07-16 18:53:20] 725*2^1563356-1 is not prime. Res64: 13618CFC38DFA16B Time : 0.0 sec. user=mdettweiler [2020-07-16 18:53:20] 825*2^1563356-1 is not prime. Res64: 6E30836152CFF870 Time : 0.0 sec. user=mdettweiler [2020-07-16 18:53:20] 875*2^1563356-1 is not prime. Res64: 3C2E13587D04CF3D Time : 0.0 sec. user=mdettweiler [2020-07-16 18:53:20] 903*2^1563356-1 is not prime. Res64: 50E17C3467106768 Time : 0.0 sec. user=mdettweiler [2020-07-16 18:56:38] 691*2^1563357-1 is not prime. Res64: 974737FDC296F391 Time : 0.0 sec. user=mdettweiler [2020-07-16 18:56:39] 699*2^1563357-1 is not prime. Res64: 666ACD8473DE5114 Time : 0.0 sec. user=mdettweiler [2020-07-16 18:56:39] 711*2^1563357-1 is not prime. Res64: DA6579AC1A27E74A Time : 0.0 sec. user=mdettweiler [2020-07-16 18:56:39] 759*2^1563357-1 is not prime. Res64: 061206825C27EE89 Time : 0.0 sec. user=mdettweiler [2020-07-16 18:56:39] 781*2^1563357-1 is not prime. Res64: 6EC14BDC90883ECD Time : 0.0 sec. user=mdettweiler [2020-07-16 19:47:51] 865*2^1563357-1 is not prime. Res64: A0BC0DE8C4FED12F Time : 0.0 sec. user=mdettweiler [2020-07-16 19:47:51] 871*2^1563357-1 is not prime. Res64: 35D6996898761D63 Time : 0.0 sec. user=mdettweiler [2020-07-16 19:47:52] 949*2^1563357-1 is not prime. Res64: AB0330535C17DBB3 Time : 0.0 sec. user=mdettweiler [2020-07-16 19:47:52] 997*2^1563357-1 is not prime. Res64: B6A57562119A786F Time : 0.0 sec. user=mdettweiler [2020-07-16 19:47:52] 635*2^1563358-1 is not prime. Res64: 9BF15D5347B15876 Time : 0.0 sec. user=mdettweiler [2020-07-16 19:51:58] 801*2^1563358-1 is not prime. Res64: 487EC038152B58BF Time : 0.0 sec. user=mdettweiler [2020-07-16 19:51:58] 813*2^1563358-1 is not prime. Res64: 3D900399EE38D2BF Time : 0.0 sec. user=mdettweiler [2020-07-16 19:51:58] 827*2^1563358-1 is not prime. Res64: B86BCCFED7C5D564 Time : 0.0 sec. user=mdettweiler [2020-07-16 19:51:59] 843*2^1563358-1 is not prime. Res64: 2EC2639FCC4D0DF9 Time : 0.0 sec. user=mdettweiler [2020-07-16 19:51:59] 857*2^1563358-1 is not prime. Res64: E5C62BF75364DC55 Time : 0.0 sec. user=mdettweiler [2020-07-16 19:52:34] 887*2^1563358-1 is not prime. Res64: BAB69A9B31FE5322 Time : 0.0 sec. user=mdettweiler [2020-07-16 19:52:34] 951*2^1563358-1 is not prime. Res64: 06BED8DB834B9C0C Time : 0.0 sec. user=mdettweiler [2020-07-16 19:52:34] 1001*2^1563358-1 is not prime. Res64: 13D277A31FF47B4D Time : 0.0 sec. user=mdettweiler [2020-07-16 19:52:34] 603*2^1563359-1 is not prime. Res64: CE29E40B15CFD1E1 Time : 0.0 sec. user=mdettweiler [2020-07-16 19:52:35] 619*2^1563359-1 is not prime. Res64: 3394DB488827FCD5 Time : 0.0 sec. user=mdettweiler [2020-07-16 20:43:11] 621*2^1563359-1 is not prime. Res64: 3D785FD9B7EB8AD0 Time : 0.0 sec. user=mdettweiler [2020-07-16 20:43:11] 693*2^1563359-1 is not prime. Res64: D429973ED6FF8702 Time : 0.0 sec. user=mdettweiler [2020-07-16 20:43:12] 741*2^1563359-1 is not prime. Res64: 773EA24FEE692ACB Time : 0.0 sec. user=mdettweiler [2020-07-16 20:43:12] 799*2^1563359-1 is not prime. Res64: A2CA09D2DC1FD506 Time : 0.0 sec. user=mdettweiler [2020-07-16 20:43:12] 811*2^1563359-1 is not prime. Res64: 3190CE8F8F9AF4CB Time : 0.0 sec. user=mdettweiler [2020-07-16 20:49:31] 813*2^1563359-1 is not prime. Res64: 344B64DCB5CAD4B0 Time : 0.0 sec. user=mdettweiler [2020-07-16 20:49:31] 855*2^1563359-1 is not prime. Res64: F5226408525CD9CC Time : 0.0 sec. user=mdettweiler [2020-07-16 20:49:31] 895*2^1563359-1 is not prime. Res64: CBCB00C1223B97DC Time : 0.0 sec. user=mdettweiler [2020-07-16 20:49:32] 939*2^1563359-1 is not prime. Res64: 747928AABFE3D1F6 Time : 0.0 sec. user=mdettweiler [2020-07-16 20:49:32] 767*2^1563360-1 is not prime. Res64: F58D39D1D8D098F4 Time : 0.0 sec. user=mdettweiler [2020-07-16 20:51:15] 875*2^1563360-1 is not prime. Res64: AEDCF6254D150E4A Time : 0.0 sec. user=mdettweiler [2020-07-16 20:51:16] 887*2^1563360-1 is not prime. Res64: C1DD5B5A459FFCEF Time : 0.0 sec. user=mdettweiler [2020-07-16 20:51:16] 975*2^1563360-1 is not prime. Res64: 92C9935798B50470 Time : 0.0 sec. user=mdettweiler [2020-07-16 20:51:16] 811*2^1563361-1 is not prime. Res64: 01A01AE021FF5D1B Time : 0.0 sec. user=mdettweiler [2020-07-16 20:51:17] 817*2^1563361-1 is not prime. Res64: EFABF79A92AC9090 Time : 0.0 sec. user=mdettweiler [2020-07-16 21:41:30] 855*2^1563361-1 is not prime. Res64: 8F6B1B3B06AA5D5A Time : 0.0 sec. user=mdettweiler [2020-07-16 21:41:30] 861*2^1563361-1 is not prime. Res64: DEC7D6DF2EEC2480 Time : 0.0 sec. user=mdettweiler [2020-07-16 21:41:31] 877*2^1563361-1 is not prime. Res64: BEFB8DAD47916D13 Time : 0.0 sec. user=mdettweiler [2020-07-16 21:41:31] 955*2^1563361-1 is not prime. Res64: 327DF94B6DC85412 Time : 0.0 sec. user=mdettweiler [2020-07-16 21:41:31] 837*2^1563362-1 is not prime. Res64: F072CA7573A61C0E Time : 0.0 sec. user=mdettweiler [2020-07-16 21:45:45] 981*2^1563362-1 is not prime. Res64: 5D5A6AEC4770F08E Time : 0.0 sec. user=mdettweiler [2020-07-16 21:45:45] 609*2^1563363-1 is not prime. Res64: ABAA9470245292F0 Time : 0.0 sec. user=mdettweiler [2020-07-16 21:45:45] 619*2^1563363-1 is not prime. Res64: C8F1BA8598FB7729 Time : 0.0 sec. user=mdettweiler [2020-07-16 21:45:46] 753*2^1563363-1 is not prime. Res64: D0D49F2DB9B2D656 Time : 0.0 sec. user=mdettweiler [2020-07-16 21:45:46] 943*2^1563363-1 is not prime. Res64: E7DD025C05A37D50 Time : 0.0 sec. user=mdettweiler [2020-07-16 21:47:52] 843*2^1563362-1 is not prime. Res64: 06ED112D6304749E Time : 0.0 sec. user=mdettweiler [2020-07-16 21:47:52] 857*2^1563362-1 is not prime. Res64: C0A0063F6930A10A Time : 0.0 sec. user=mdettweiler [2020-07-16 21:47:52] 867*2^1563362-1 is not prime. Res64: 094CF3EF8E25D345 Time : 0.0 sec. user=mdettweiler [2020-07-16 21:47:53] 903*2^1563362-1 is not prime. Res64: 84E1D41BF75CF029 Time : 0.0 sec. user=mdettweiler [2020-07-16 21:47:53] 977*2^1563362-1 is not prime. Res64: A5CFDEA6D13B521E Time : 0.0 sec. user=mdettweiler [2020-07-16 22:37:27] 951*2^1563363-1 is not prime. Res64: 8F1B04102552165D Time : 0.0 sec. user=mdettweiler [2020-07-16 22:37:27] 623*2^1563364-1 is not prime. Res64: 767297181DFA1EF8 Time : 0.0 sec. user=mdettweiler [2020-07-16 22:37:28] 719*2^1563364-1 is not prime. Res64: 03A9900018B64E4B Time : 0.0 sec. user=mdettweiler [2020-07-16 22:37:28] 965*2^1563364-1 is not prime. Res64: 939259CF373DB3DC Time : 0.0 sec. user=mdettweiler [2020-07-16 22:37:28] 983*2^1563364-1 is not prime. Res64: 55FE534C5BF8FF71 Time : 0.0 sec. user=mdettweiler [2020-07-16 22:41:36] 715*2^1563365-1 is not prime. Res64: 1F2E2B5650FFF571 Time : 0.0 sec. user=mdettweiler [2020-07-16 22:41:37] 825*2^1563365-1 is not prime. Res64: AF950DF30F353EF9 Time : 0.0 sec. user=mdettweiler [2020-07-16 22:41:37] 925*2^1563365-1 is not prime. Res64: A8804E31CDBEDE94 Time : 0.0 sec. user=mdettweiler [2020-07-16 22:41:37] 957*2^1563365-1 is not prime. Res64: 6D92A10E73C2CF21 Time : 0.0 sec. user=mdettweiler [2020-07-16 22:41:37] 657*2^1563366-1 is not prime. Res64: FC9C6D55DC5332D8 Time : 0.0 sec. user=mdettweiler [2020-07-16 22:42:45] 671*2^1563366-1 is not prime. Res64: FE7198DFA715FBDE Time : 0.0 sec. user=mdettweiler [2020-07-16 22:42:45] 683*2^1563366-1 is not prime. Res64: E456DAD22C7E7DAE Time : 0.0 sec. user=mdettweiler [2020-07-16 22:42:45] 707*2^1563366-1 is not prime. Res64: 6A42B1C298CAD415 Time : 0.0 sec. user=mdettweiler [2020-07-16 22:42:46] 815*2^1563366-1 is not prime. Res64: F48D4F460B0D8B28 Time : 0.0 sec. user=mdettweiler [2020-07-16 22:42:46] 825*2^1563366-1 is not prime. Res64: 3DD212357016F6B0 Time : 0.0 sec. user=mdettweiler [2020-07-16 23:33:26] 893*2^1563366-1 is not prime. Res64: EB8F151DFC75889F Time : 0.0 sec. user=mdettweiler [2020-07-16 23:33:27] 917*2^1563366-1 is not prime. Res64: 96D026BACFE6B6B7 Time : 0.0 sec. user=mdettweiler [2020-07-16 23:33:27] 963*2^1563366-1 is not prime. Res64: B256C1756FFCBC93 Time : 0.0 sec. user=mdettweiler [2020-07-16 23:33:27] 651*2^1563367-1 is not prime. Res64: 52C7B1BB874025DD Time : 0.0 sec. user=mdettweiler [2020-07-16 23:33:28] 705*2^1563367-1 is not prime. Res64: EA614FF283CB7936 Time : 0.0 sec. user=mdettweiler [2020-07-16 23:36:03] 729*2^1563367-1 is not prime. Res64: 2068E0BBE898C422 Time : 0.0 sec. user=mdettweiler [2020-07-16 23:36:03] 961*2^1563367-1 is not prime. Res64: B2521AEC7880EC30 Time : 0.0 sec. user=mdettweiler [2020-07-16 23:36:03] 985*2^1563367-1 is not prime. Res64: 6638D2A096C7C7A1 Time : 0.0 sec. user=mdettweiler [2020-07-16 23:36:03] 603*2^1563368-1 is not prime. Res64: C87E4968903ED098 Time : 0.0 sec. user=mdettweiler [2020-07-16 23:36:04] 659*2^1563368-1 is not prime. Res64: 12F9B6C826C9E986 Time : 0.0 sec. user=mdettweiler [2020-07-16 23:36:26] 665*2^1563368-1 is not prime. Res64: D4066C74F053AD76 Time : 0.0 sec. user=mdettweiler [2020-07-16 23:36:26] 755*2^1563368-1 is not prime. Res64: DFCD4B2E90B22D59 Time : 0.0 sec. user=mdettweiler [2020-07-16 23:36:27] 789*2^1563368-1 is not prime. Res64: CD0B68CA70DDDE8C Time : 0.0 sec. user=mdettweiler [2020-07-16 23:36:27] 797*2^1563368-1 is not prime. Res64: F3C57F0D72766BA7 Time : 0.0 sec. user=mdettweiler [2020-07-16 23:36:27] 815*2^1563368-1 is not prime. Res64: 2D61D4A01A3CC7AB Time : 0.0 sec.