user=mdettweiler [2020-02-16 00:30:50] 789*2^1554108-1 is not prime. Res64: 8643B3942B93E41C Time : 0.0 sec. user=mdettweiler [2020-02-16 00:30:50] 839*2^1554108-1 is not prime. Res64: F7BFB05C782CA15D Time : 0.0 sec. user=mdettweiler [2020-02-16 00:30:50] 899*2^1554108-1 is not prime. Res64: B708F5A764C31699 Time : 0.0 sec. user=mdettweiler [2020-02-16 00:30:51] 909*2^1554108-1 is not prime. Res64: 1B514240DE446700 Time : 0.0 sec. user=mdettweiler [2020-02-16 00:30:51] 947*2^1554108-1 is not prime. Res64: 1D48D56D67A77300 Time : 0.0 sec. user=mdettweiler [2020-02-16 00:33:51] 619*2^1554109-1 is not prime. Res64: 431C25AEB214A85C Time : 0.0 sec. user=mdettweiler [2020-02-16 00:33:51] 685*2^1554109-1 is not prime. Res64: FEBE1930DD3A99CA Time : 0.0 sec. user=mdettweiler [2020-02-16 00:33:52] 745*2^1554109-1 is not prime. Res64: A210528755537329 Time : 0.0 sec. user=mdettweiler [2020-02-16 00:33:52] 747*2^1554109-1 is not prime. Res64: 7C5316679135F1EA Time : 0.0 sec. user=mdettweiler [2020-02-16 00:33:53] 925*2^1554109-1 is not prime. Res64: E24736E0A42B1A8C Time : 0.0 sec. user=mdettweiler [2020-02-16 00:50:45] 931*2^1554109-1 is not prime. Res64: 11C28A8787FBFBEA Time : 0.0 sec. user=mdettweiler [2020-02-16 00:50:45] 961*2^1554109-1 is not prime. Res64: 7D89539F5728D26C Time : 0.0 sec. user=mdettweiler [2020-02-16 00:50:45] 635*2^1554110-1 is not prime. Res64: AE813230B442AF45 Time : 0.0 sec. user=mdettweiler [2020-02-16 00:50:46] 731*2^1554110-1 is not prime. Res64: 60E95F5F7AD5652E Time : 0.0 sec. user=mdettweiler [2020-02-16 00:50:46] 755*2^1554110-1 is not prime. Res64: EBAAFEF72A3B18FC Time : 0.0 sec. user=mdettweiler [2020-02-16 01:24:37] 761*2^1554110-1 is not prime. Res64: 196CBDEA69793E1D Time : 0.0 sec. user=mdettweiler [2020-02-16 01:24:38] 831*2^1554110-1 is not prime. Res64: 401A419111DDC17B Time : 0.0 sec. user=mdettweiler [2020-02-16 01:24:38] 857*2^1554110-1 is not prime. Res64: 05A0D9FCD23889AD Time : 0.0 sec. user=mdettweiler [2020-02-16 01:24:39] 887*2^1554110-1 is not prime. Res64: 1CD369187AED461D Time : 0.0 sec. user=mdettweiler [2020-02-16 01:24:39] 911*2^1554110-1 is not prime. Res64: B20A493F1506C081 Time : 0.0 sec. user=mdettweiler [2020-02-16 01:27:04] 965*2^1554110-1 is not prime. Res64: 9ADDFFEBB792F04D Time : 0.0 sec. user=mdettweiler [2020-02-16 01:27:06] 661*2^1554111-1 is not prime. Res64: B74CBB7A2D476C74 Time : 0.0 sec. user=mdettweiler [2020-02-16 01:27:07] 709*2^1554111-1 is not prime. Res64: 4405EA3543D5B27B Time : 0.0 sec. user=mdettweiler [2020-02-16 01:27:08] 859*2^1554111-1 is not prime. Res64: DF360B91E9A03881 Time : 0.0 sec. user=mdettweiler [2020-02-16 01:27:10] 861*2^1554111-1 is not prime. Res64: BD00FE61294846B1 Time : 0.0 sec. user=mdettweiler [2020-02-16 01:43:57] 871*2^1554111-1 is not prime. Res64: C026FC8EE8130B1F Time : 0.0 sec. user=mdettweiler [2020-02-16 01:43:59] 879*2^1554111-1 is not prime. Res64: ECE4EF3F6E5175D5 Time : 0.0 sec. user=mdettweiler [2020-02-16 01:44:00] 951*2^1554111-1 is not prime. Res64: 435CD86C9B6DE2F5 Time : 0.0 sec. user=mdettweiler [2020-02-16 01:44:01] 635*2^1554112-1 is not prime. Res64: 73F38DE7438583F6 Time : 0.0 sec. user=mdettweiler [2020-02-16 01:44:03] 657*2^1554112-1 is not prime. Res64: F25730208C0E0974 Time : 0.0 sec. user=mdettweiler [2020-02-16 01:51:25] 723*2^1554114-1 is not prime. Res64: 19B8928680B5B012 Time : 0.0 sec. user=mdettweiler [2020-02-16 02:19:07] 743*2^1554112-1 is not prime. Res64: F8C4383BB6A68E69 Time : 0.0 sec. user=mdettweiler [2020-02-16 02:19:08] 785*2^1554112-1 is not prime. Res64: 21389BF45414C241 Time : 0.0 sec. user=mdettweiler [2020-02-16 02:19:09] 873*2^1554112-1 is not prime. Res64: 39801D759CC487FD Time : 0.0 sec. user=mdettweiler [2020-02-16 02:19:10] 923*2^1554112-1 is not prime. Res64: FC6E0016B2B2505A Time : 0.0 sec. user=mdettweiler [2020-02-16 02:19:11] 957*2^1554112-1 is not prime. Res64: EA7A0EDC88E572CB Time : 0.0 sec. user=mdettweiler [2020-02-16 02:19:24] 637*2^1554113-1 is not prime. Res64: F0B9EA491E0C7692 Time : 0.0 sec. user=mdettweiler [2020-02-16 02:19:25] 651*2^1554113-1 is not prime. Res64: CB1A3D9E8843B4C6 Time : 0.0 sec. user=mdettweiler [2020-02-16 02:19:26] 675*2^1554113-1 is not prime. Res64: A28093C5F4DF9026 Time : 0.0 sec. user=mdettweiler [2020-02-16 02:19:27] 775*2^1554113-1 is not prime. Res64: 87FC80AF55D8ED6A Time : 0.0 sec. user=mdettweiler [2020-02-16 02:19:27] 789*2^1554113-1 is not prime. Res64: F50AA5360DC94FC3 Time : 0.0 sec. user=mdettweiler [2020-02-16 02:29:43] 615*2^1554117-1 is not prime. Res64: E270EA564FC01144 Time : 0.0 sec. user=mdettweiler [2020-02-16 02:36:52] 879*2^1554113-1 is not prime. Res64: 2A2F7EFF222E6E31 Time : 0.0 sec. user=mdettweiler [2020-02-16 02:36:53] 957*2^1554113-1 is not prime. Res64: EE90B648124BCC33 Time : 0.0 sec. user=mdettweiler [2020-02-16 02:36:53] 657*2^1554114-1 is not prime. Res64: 32277A52A9FFF9D5 Time : 0.0 sec. user=mdettweiler [2020-02-16 02:36:53] 671*2^1554114-1 is not prime. Res64: F23CDA2E2D1F8130 Time : 0.0 sec. user=mdettweiler [2020-02-16 02:36:54] 705*2^1554114-1 is not prime. Res64: AB715DEE1DBD877C Time : 0.0 sec. user=mdettweiler [2020-02-16 03:11:25] 791*2^1554114-1 is not prime. Res64: 759E246BB0873992 Time : 0.0 sec. user=mdettweiler [2020-02-16 03:11:25] 803*2^1554114-1 is not prime. Res64: C687CC65DDCB82A1 Time : 0.0 sec. user=mdettweiler [2020-02-16 03:11:26] 861*2^1554114-1 is not prime. Res64: 17070CC100C029BB Time : 0.0 sec. user=mdettweiler [2020-02-16 03:11:27] 887*2^1554114-1 is not prime. Res64: 2A0BDE10A716877A Time : 0.0 sec. user=mdettweiler [2020-02-16 03:11:28] 723*2^1554115-1 is not prime. Res64: 826A4093B605C9DF Time : 0.0 sec. user=mdettweiler [2020-02-16 03:11:42] 819*2^1554115-1 is not prime. Res64: 86190FB236F8B8B7 Time : 0.0 sec. user=mdettweiler [2020-02-16 03:11:44] 859*2^1554115-1 is not prime. Res64: 111605FCDC1DCE03 Time : 0.0 sec. user=mdettweiler [2020-02-16 03:11:44] 735*2^1554116-1 is not prime. Res64: ABCBB58C54609C2D Time : 0.0 sec. user=mdettweiler [2020-02-16 03:11:45] 845*2^1554116-1 is not prime. Res64: EFCDFD01CAECE360 Time : 0.0 sec. user=mdettweiler [2020-02-16 03:11:47] 869*2^1554116-1 is not prime. Res64: AF8CA9AC8586A0C1 Time : 0.0 sec. user=mdettweiler [2020-02-16 03:30:11] 777*2^1554117-1 is not prime. Res64: 8CBC6E114B2C5D6C Time : 0.0 sec. user=mdettweiler [2020-02-16 03:30:13] 867*2^1554117-1 is not prime. Res64: D514DD20869B93BA Time : 0.0 sec. user=mdettweiler [2020-02-16 03:30:16] 997*2^1554117-1 is not prime. Res64: E43DF07A9F856B11 Time : 0.0 sec. user=mdettweiler [2020-02-16 03:30:18] 651*2^1554118-1 is not prime. Res64: 1FAE791154CCD878 Time : 0.0 sec. user=mdettweiler [2020-02-16 03:30:20] 671*2^1554118-1 is not prime. Res64: FD3DAB82D75ACABA Time : 0.0 sec. user=mdettweiler [2020-02-16 04:04:49] 737*2^1554118-1 is not prime. Res64: E2F64A5FE7B2F2F1 Time : 0.0 sec. user=mdettweiler [2020-02-16 04:04:52] 885*2^1554118-1 is not prime. Res64: 1B89BBF2D9BC9380 Time : 0.0 sec. user=mdettweiler [2020-02-16 04:04:53] 911*2^1554118-1 is not prime. Res64: CA7949E8F3F4B82C Time : 0.0 sec. user=mdettweiler [2020-02-16 04:04:56] 753*2^1554119-1 is not prime. Res64: AA40DB901A71E00A Time : 0.0 sec. user=mdettweiler [2020-02-16 04:05:00] 841*2^1554119-1 is not prime. Res64: 68D5C48D4F0D0943 Time : 0.0 sec. user=mdettweiler [2020-02-16 04:05:03] 615*2^1554120-1 is not prime. Res64: B12881473406B799 Time : 0.0 sec. user=mdettweiler [2020-02-16 04:05:05] 845*2^1554120-1 is not prime. Res64: 3D2EEE4DAAFAD19C Time : 0.0 sec. user=mdettweiler [2020-02-16 04:05:06] 915*2^1554120-1 is not prime. Res64: 28FE57AF69275A8F Time : 0.0 sec. user=mdettweiler [2020-02-16 04:05:10] 679*2^1554121-1 is not prime. Res64: ED1FA35C8B712F69 Time : 0.0 sec. user=mdettweiler [2020-02-16 04:05:11] 777*2^1554121-1 is not prime. Res64: AE6CDAF8E3B69642 Time : 0.0 sec. user=mdettweiler [2020-02-16 04:22:55] 861*2^1554121-1 is not prime. Res64: EB99AA8C35E784C4 Time : 0.0 sec. user=mdettweiler [2020-02-16 04:58:52] 995*2^1554122-1 is not prime. Res64: 10C36B15D9E65740 Time : 0.0 sec. user=mdettweiler [2020-02-16 04:58:52] 615*2^1554123-1 is not prime. Res64: 430955BF459718AC Time : 0.0 sec. user=mdettweiler [2020-02-16 04:58:52] 663*2^1554123-1 is not prime. Res64: 24F74DBA96D7A5CF Time : 0.0 sec. user=mdettweiler [2020-02-16 04:58:53] 699*2^1554123-1 is not prime. Res64: A7B87B8B44B8224A Time : 0.0 sec. user=mdettweiler [2020-02-16 04:58:53] 705*2^1554123-1 is not prime. Res64: D82953BABD2AB812 Time : 0.0 sec. user=mdettweiler [2020-02-16 05:00:57] 921*2^1554122-1 is not prime. Res64: B4119D629C906B78 Time : 0.0 sec. user=mdettweiler [2020-02-16 05:00:58] 981*2^1554122-1 is not prime. Res64: D2174DAE5A5ECA1D Time : 0.0 sec. user=mdettweiler [2020-02-16 05:00:59] 723*2^1554123-1 is not prime. Res64: 6EB722042E928B67 Time : 0.0 sec. user=mdettweiler [2020-02-16 05:00:59] 765*2^1554123-1 is not prime. Res64: 6E34CAA819404413 Time : 0.0 sec. user=mdettweiler [2020-02-16 05:01:00] 861*2^1554123-1 is not prime. Res64: 45956CDECAD84408 Time : 0.0 sec. user=mdettweiler [2020-02-16 05:51:45] 617*2^1554124-1 is not prime. Res64: 1A3C740642A7939E Time : 0.0 sec. user=mdettweiler [2020-02-16 05:51:45] 723*2^1554124-1 is not prime. Res64: B3F90E0C152B988C Time : 0.0 sec. user=mdettweiler [2020-02-16 05:51:45] 749*2^1554124-1 is not prime. Res64: E8A3ACC2CCB3FE68 Time : 0.0 sec. user=mdettweiler [2020-02-16 05:51:46] 897*2^1554124-1 is not prime. Res64: 42DB93D2C4F2B5B6 Time : 0.0 sec. user=mdettweiler [2020-02-16 05:51:46] 987*2^1554124-1 is not prime. Res64: A4A9F90FB785082B Time : 0.0 sec. user=mdettweiler [2020-02-16 05:53:59] 619*2^1554125-1 is not prime. Res64: 2EE8AD1BEB961DAA Time : 0.0 sec. user=mdettweiler [2020-02-16 05:53:59] 729*2^1554125-1 is not prime. Res64: 7C5E95F9BE79BFC7 Time : 0.0 sec. user=mdettweiler [2020-02-16 05:54:00] 795*2^1554125-1 is not prime. Res64: 14623BAE5EDE4F57 Time : 0.0 sec. user=mdettweiler [2020-02-16 05:54:00] 969*2^1554125-1 is not prime. Res64: F4C9813D43544097 Time : 0.0 sec. user=mdettweiler [2020-02-16 05:54:00] 755*2^1554126-1 is not prime. Res64: 11E38C46E9F8DAA7 Time : 0.0 sec. user=mdettweiler [2020-02-16 06:45:19] 783*2^1554126-1 is not prime. Res64: E89843B9AAF8B49B Time : 0.0 sec. user=mdettweiler [2020-02-16 06:45:20] 993*2^1554126-1 is not prime. Res64: 2C7071CD40756979 Time : 0.0 sec. user=mdettweiler [2020-02-16 06:45:20] 735*2^1554127-1 is not prime. Res64: 1A51D68EF904FFF5 Time : 0.0 sec. user=mdettweiler [2020-02-16 06:45:21] 763*2^1554127-1 is not prime. Res64: 9A093C1218388E1F Time : 0.0 sec. user=mdettweiler [2020-02-16 06:45:22] 829*2^1554127-1 is not prime. Res64: 31E2D7EFF0D4F294 Time : 0.0 sec. user=mdettweiler [2020-02-16 06:47:34] 861*2^1554127-1 is not prime. Res64: F84D68EF1F89B7F0 Time : 0.0 sec. user=mdettweiler [2020-02-16 06:47:34] 873*2^1554127-1 is not prime. Res64: 8A313DF5C6A0ADB2 Time : 0.0 sec. user=mdettweiler [2020-02-16 06:47:36] 885*2^1554127-1 is not prime. Res64: 7D8EB11BBAC2E52A Time : 0.0 sec. user=mdettweiler [2020-02-16 06:47:37] 915*2^1554127-1 is not prime. Res64: 839CD9304C5006D1 Time : 0.0 sec. user=mdettweiler [2020-02-16 06:47:37] 669*2^1554128-1 is not prime. Res64: 9429ECE6708BC798 Time : 0.0 sec. user=mdettweiler [2020-02-16 07:38:53] 677*2^1554128-1 is not prime. Res64: C99A835B190BDAF8 Time : 0.0 sec. user=mdettweiler [2020-02-16 07:38:53] 797*2^1554128-1 is not prime. Res64: F381F74C84F88C5E Time : 0.0 sec. user=mdettweiler [2020-02-16 07:38:54] 845*2^1554128-1 is not prime. Res64: F4A8C33358155C18 Time : 0.0 sec. user=mdettweiler [2020-02-16 07:38:54] 867*2^1554128-1 is not prime. Res64: D7EE97C587104C3C Time : 0.0 sec. user=mdettweiler [2020-02-16 07:38:54] 915*2^1554128-1 is not prime. Res64: 3CAB0133B4513415 Time : 0.0 sec. user=mdettweiler [2020-02-16 07:41:42] 923*2^1554128-1 is not prime. Res64: 1DA2A065DF9CF91B Time : 0.0 sec. user=mdettweiler [2020-02-16 07:41:42] 995*2^1554128-1 is not prime. Res64: 63385F83745BCCFD Time : 0.0 sec. user=mdettweiler [2020-02-16 07:41:43] 637*2^1554129-1 is not prime. Res64: 616884741318B23E Time : 0.0 sec. user=mdettweiler [2020-02-16 07:41:44] 705*2^1554129-1 is not prime. Res64: 618E0C8C17F87BDD Time : 0.0 sec. user=mdettweiler [2020-02-16 07:41:44] 727*2^1554129-1 is not prime. Res64: 06C9B4F1CEB4C72D Time : 0.0 sec. user=mdettweiler [2020-02-16 08:32:02] 751*2^1554129-1 is not prime. Res64: 9B40857CECD7B162 Time : 0.0 sec. user=mdettweiler [2020-02-16 08:32:03] 847*2^1554129-1 is not prime. Res64: 210C578192F8FC4A Time : 0.0 sec. user=mdettweiler [2020-02-16 08:32:03] 919*2^1554129-1 is not prime. Res64: EA750EBCB1935739 Time : 0.0 sec. user=mdettweiler [2020-02-16 08:32:04] 681*2^1554130-1 is not prime. Res64: 4A3178D7A42131FD Time : 0.0 sec. user=mdettweiler [2020-02-16 08:32:04] 765*2^1554130-1 is not prime. Res64: 7FBBD3A5C5D15162 Time : 0.0 sec. user=mdettweiler [2020-02-16 08:33:10] 643*2^1554131-1 is not prime. Res64: A816AE985CC764D9 Time : 0.0 sec. user=mdettweiler [2020-02-16 08:33:11] 663*2^1554131-1 is not prime. Res64: 2A3D861B68260035 Time : 0.0 sec. user=mdettweiler [2020-02-16 08:33:11] 673*2^1554131-1 is not prime. Res64: D5E5B04031650C73 Time : 0.0 sec. user=mdettweiler [2020-02-16 08:33:11] 753*2^1554131-1 is not prime. Res64: 144A2D9AD065E382 Time : 0.0 sec. user=mdettweiler [2020-02-16 08:33:12] 801*2^1554131-1 is not prime. Res64: 7C5D4A8BCC885480 Time : 0.0 sec. user=mdettweiler [2020-02-16 09:25:13] 819*2^1554131-1 is not prime. Res64: EEC025055E9F85C9 Time : 0.0 sec. user=mdettweiler [2020-02-16 09:25:14] 829*2^1554131-1 is not prime. Res64: 6890A9924620A219 Time : 0.0 sec. user=mdettweiler [2020-02-16 09:25:14] 921*2^1554131-1 is not prime. Res64: 8214EB990AA721F9 Time : 0.0 sec. user=mdettweiler [2020-02-16 09:25:15] 605*2^1554132-1 is not prime. Res64: E2CC1C14D46ADADE Time : 0.0 sec. user=mdettweiler [2020-02-16 09:25:15] 635*2^1554132-1 is not prime. Res64: F3691D2C22BF8B0E Time : 0.0 sec. user=mdettweiler [2020-02-16 09:25:35] 665*2^1554122-1 is not prime. Res64: 24CDE7047474E9A2 Time : 0.0 sec. user=mdettweiler [2020-02-16 09:25:35] 713*2^1554122-1 is not prime. Res64: E7DD428242F8F29E Time : 0.0 sec. user=mdettweiler [2020-02-16 09:25:36] 837*2^1554122-1 is not prime. Res64: 86D83F31352691F6 Time : 0.0 sec. user=mdettweiler [2020-02-16 09:25:36] 887*2^1554122-1 is not prime. Res64: 26226246248F4D20 Time : 0.0 sec. user=mdettweiler [2020-02-16 09:26:41] 717*2^1554132-1 is not prime. Res64: 7A244AF213F53F28 Time : 0.0 sec. user=mdettweiler [2020-02-16 09:26:42] 819*2^1554132-1 is not prime. Res64: D6F34F1ECB075086 Time : 0.0 sec. user=mdettweiler [2020-02-16 09:26:42] 825*2^1554132-1 is not prime. Res64: 6E5F1120CDDC2320 Time : 0.0 sec. user=mdettweiler [2020-02-16 09:26:43] 893*2^1554132-1 is not prime. Res64: AEFBE4CA38D511C8 Time : 0.0 sec. user=mdettweiler [2020-02-16 09:26:43] 959*2^1554132-1 is not prime. Res64: F61B8964709EDF3D Time : 0.0 sec. user=mdettweiler [2020-02-16 10:19:02] 619*2^1554133-1 is not prime. Res64: 78602B8C5FEABB81 Time : 0.0 sec. user=mdettweiler [2020-02-16 10:19:02] 729*2^1554133-1 is not prime. Res64: 27893013BFEF36F2 Time : 0.0 sec. user=mdettweiler [2020-02-16 10:19:03] 957*2^1554133-1 is not prime. Res64: 087FBDB73EB50918 Time : 0.0 sec. user=mdettweiler [2020-02-16 10:19:03] 985*2^1554133-1 is not prime. Res64: B760A473798F4A7C Time : 0.0 sec. user=mdettweiler [2020-02-16 10:19:04] 657*2^1554134-1 is not prime. Res64: F89D0D53C01BB6D8 Time : 0.0 sec. user=mdettweiler [2020-02-16 10:21:03] 741*2^1554134-1 is not prime. Res64: 2BF2AF5BD1405338 Time : 0.0 sec. user=mdettweiler [2020-02-16 10:21:03] 857*2^1554134-1 is not prime. Res64: 27A7D1D2B3C8303C Time : 0.0 sec. user=mdettweiler [2020-02-16 10:21:03] 915*2^1554134-1 is not prime. Res64: 4876606CC21171FE Time : 0.0 sec. user=mdettweiler [2020-02-16 10:21:04] 921*2^1554134-1 is not prime. Res64: F112E86DC57EC3A9 Time : 0.0 sec. user=mdettweiler [2020-02-16 10:21:05] 935*2^1554134-1 is not prime. Res64: 8B2A9E8AD893A7B7 Time : 0.0 sec. user=mdettweiler [2020-02-16 10:21:05] 643*2^1554135-1 is not prime. Res64: 846EC5CE083242B2 Time : 0.0 sec. user=mdettweiler [2020-02-16 10:21:05] 895*2^1554135-1 is not prime. Res64: 68A5EAA3E3A17486 Time : 0.0 sec. user=mdettweiler [2020-02-16 10:21:06] 933*2^1554135-1 is not prime. Res64: 9BBA2CA2318FBF3A Time : 0.0 sec. user=mdettweiler [2020-02-16 10:21:06] 979*2^1554135-1 is not prime. Res64: 7AE250AF02ACBDC5 Time : 0.0 sec. user=mdettweiler [2020-02-16 10:21:06] 777*2^1554136-1 is not prime. Res64: 41AC62A4741BF0CA Time : 0.0 sec. user=mdettweiler [2020-02-16 11:12:26] 779*2^1554136-1 is not prime. Res64: 1DC788551A53EF49 Time : 0.0 sec. user=mdettweiler [2020-02-16 11:12:26] 869*2^1554136-1 is not prime. Res64: 4C794DD6288EFD92 Time : 0.0 sec. user=mdettweiler [2020-02-16 11:12:27] 983*2^1554136-1 is not prime. Res64: 8BCE73E8D7C67592 Time : 0.0 sec. user=mdettweiler [2020-02-16 11:12:27] 619*2^1554137-1 is not prime. Res64: 00FE965C0CF541BA Time : 0.0 sec. user=mdettweiler [2020-02-16 11:12:28] 771*2^1554137-1 is not prime. Res64: 42BD5C04F70F421A Time : 0.0 sec. user=mdettweiler [2020-02-16 11:14:22] 861*2^1554137-1 is not prime. Res64: 8F2C547209060962 Time : 0.0 sec. user=mdettweiler [2020-02-16 11:14:22] 879*2^1554137-1 is not prime. Res64: 624D5A614252F62B Time : 0.0 sec. user=mdettweiler [2020-02-16 11:14:22] 925*2^1554137-1 is not prime. Res64: 748CDF8D459F9F37 Time : 0.0 sec. user=mdettweiler [2020-02-16 11:14:23] 681*2^1554138-1 is not prime. Res64: 50FFC7A30CFA0A8D Time : 0.0 sec. user=mdettweiler [2020-02-16 11:14:23] 773*2^1554138-1 is not prime. Res64: 16C647BB3F025EAA Time : 0.0 sec. user=mdettweiler [2020-02-16 11:16:49] 797*2^1554138-1 is not prime. Res64: D883F0DD7B551784 Time : 0.0 sec. user=mdettweiler [2020-02-16 11:16:49] 815*2^1554138-1 is not prime. Res64: 791F78B771D6C47B Time : 0.0 sec. user=mdettweiler [2020-02-16 11:16:49] 915*2^1554138-1 is not prime. Res64: 10CF7619BEDA1635 Time : 0.0 sec. user=mdettweiler [2020-02-16 11:16:50] 945*2^1554138-1 is not prime. Res64: 67BB79EBD6E82BCC Time : 0.0 sec. user=mdettweiler [2020-02-16 11:16:50] 971*2^1554138-1 is not prime. Res64: B5B61FBADBA1E3B4 Time : 0.0 sec. user=mdettweiler [2020-02-16 12:04:27] 723*2^1554139-1 is not prime. Res64: 35DB4FB4E372566F Time : 0.0 sec. user=mdettweiler [2020-02-16 12:04:28] 759*2^1554139-1 is not prime. Res64: F4683F44A9B073C8 Time : 0.0 sec. user=mdettweiler [2020-02-16 12:04:29] 853*2^1554139-1 is not prime. Res64: D53B38889FED0289 Time : 0.0 sec. user=mdettweiler [2020-02-16 12:04:31] 855*2^1554139-1 is not prime. Res64: 02C597CC67140C3B Time : 0.0 sec. user=mdettweiler [2020-02-16 12:04:32] 861*2^1554139-1 is not prime. Res64: 8C36C19A672783AE Time : 0.0 sec. user=mdettweiler [2020-02-16 12:07:23] 999*2^1554139-1 is not prime. Res64: B891C38168140918 Time : 0.0 sec. user=mdettweiler [2020-02-16 12:07:25] 719*2^1554140-1 is not prime. Res64: 078B5E5465D88E7B Time : 0.0 sec. user=mdettweiler [2020-02-16 12:07:27] 819*2^1554140-1 is not prime. Res64: E7943220E6F4629C Time : 0.0 sec. user=mdettweiler [2020-02-16 12:07:28] 833*2^1554140-1 is not prime. Res64: 44963C69B22C277B Time : 0.0 sec. user=mdettweiler [2020-02-16 12:07:30] 627*2^1554141-1 is not prime. Res64: 3F6894C27AF6D35E Time : 0.0 sec. user=mdettweiler [2020-02-16 12:10:07] 709*2^1554141-1 is not prime. Res64: 253CBC2BC08BCE79 Time : 0.0 sec. user=mdettweiler [2020-02-16 12:10:08] 777*2^1554141-1 is not prime. Res64: 527C391CE306CC97 Time : 0.0 sec. user=mdettweiler [2020-02-16 12:10:08] 795*2^1554141-1 is not prime. Res64: 8DCD23841510C874 Time : 0.0 sec. user=mdettweiler [2020-02-16 12:10:09] 825*2^1554141-1 is not prime. Res64: 00E2ACC106918208 Time : 0.0 sec. user=mdettweiler [2020-02-16 12:10:10] 927*2^1554141-1 is not prime. Res64: 550CD4ADA814B528 Time : 0.0 sec. user=mdettweiler [2020-02-16 12:58:27] 969*2^1554141-1 is not prime. Res64: 71695DF77EBE063D Time : 0.0 sec. user=mdettweiler [2020-02-16 12:58:27] 997*2^1554141-1 is not prime. Res64: 246FABED4E631B59 Time : 0.0 sec. user=mdettweiler [2020-02-16 12:58:27] 621*2^1554142-1 is not prime. Res64: 9EE8018B8386C6F6 Time : 0.0 sec. user=mdettweiler [2020-02-16 12:58:28] 623*2^1554142-1 is not prime. Res64: 85EE99F5A3DA1027 Time : 0.0 sec. user=mdettweiler [2020-02-16 12:58:28] 675*2^1554142-1 is not prime. Res64: AD83ACAE3E3EA24C Time : 0.0 sec. user=mdettweiler [2020-02-16 12:59:32] 713*2^1554142-1 is not prime. Res64: 0A1A418E9B366A80 Time : 0.0 sec. user=mdettweiler [2020-02-16 12:59:33] 743*2^1554142-1 is not prime. Res64: 6A4199F91A02D6CC Time : 0.0 sec. user=mdettweiler [2020-02-16 12:59:33] 761*2^1554142-1 is not prime. Res64: 81FE73BA4A50B26B Time : 0.0 sec. user=mdettweiler [2020-02-16 12:59:33] 765*2^1554142-1 is not prime. Res64: F0E26174617BF954 Time : 0.0 sec. user=mdettweiler [2020-02-16 12:59:34] 885*2^1554142-1 is not prime. Res64: EE29D10FBCA665A7 Time : 0.0 sec. user=mdettweiler [2020-02-16 13:02:57] 621*2^1554143-1 is not prime. Res64: 1E6F6F1B4C32FB12 Time : 0.0 sec. user=mdettweiler [2020-02-16 13:02:58] 745*2^1554143-1 is not prime. Res64: 26AA8043A282AF72 Time : 0.0 sec. user=mdettweiler [2020-02-16 13:02:59] 775*2^1554143-1 is not prime. Res64: F19E2EE096665393 Time : 0.0 sec. user=mdettweiler [2020-02-16 13:03:01] 943*2^1554143-1 is not prime. Res64: 281C295F626AC0A1 Time : 0.0 sec. user=mdettweiler [2020-02-16 13:03:01] 639*2^1554144-1 is not prime. Res64: F126C7DC22E468A1 Time : 0.0 sec. user=mdettweiler [2020-02-16 13:52:09] 663*2^1554144-1 is not prime. Res64: 1EBA58F372F75DD0 Time : 0.0 sec. user=mdettweiler [2020-02-16 13:52:10] 945*2^1554144-1 is not prime. Res64: 280F03D10E9515B9 Time : 0.0 sec. user=mdettweiler [2020-02-16 13:52:10] 959*2^1554144-1 is not prime. Res64: 4B9C742DC45D6AC2 Time : 0.0 sec. user=mdettweiler [2020-02-16 13:52:10] 645*2^1554145-1 is not prime. Res64: C438FA13A3B2D32D Time : 0.0 sec. user=mdettweiler [2020-02-16 13:52:11] 741*2^1554145-1 is not prime. Res64: 040EEA05E4880EBE Time : 0.0 sec. user=mdettweiler [2020-02-16 13:53:06] 777*2^1554145-1 is not prime. Res64: 20B20B3920715482 Time : 0.0 sec. user=mdettweiler [2020-02-16 13:53:06] 799*2^1554145-1 is not prime. Res64: 2C8A7D14B16B8372 Time : 0.0 sec. user=mdettweiler [2020-02-16 13:53:07] 855*2^1554145-1 is not prime. Res64: 3AFF9BFB86305A27 Time : 0.0 sec. user=mdettweiler [2020-02-16 13:53:07] 871*2^1554145-1 is not prime. Res64: B63E59C5DC4C1E19 Time : 0.0 sec. user=mdettweiler [2020-02-16 13:53:08] 919*2^1554145-1 is not prime. Res64: 0E2D2322BCBAFE98 Time : 0.0 sec. user=mdettweiler [2020-02-16 13:58:28] 937*2^1554145-1 is not prime. Res64: 383515F1B33FE7AC Time : 0.0 sec. user=mdettweiler [2020-02-16 13:58:28] 953*2^1554146-1 is not prime. Res64: 0D2D5337ADDFBC3F Time : 0.0 sec. user=mdettweiler [2020-02-16 13:58:29] 983*2^1554146-1 is not prime. Res64: E154046B30A61998 Time : 0.0 sec. user=mdettweiler [2020-02-16 13:58:29] 615*2^1554147-1 is not prime. Res64: 3368FF127AF26FA8 Time : 0.0 sec. user=mdettweiler [2020-02-16 13:58:29] 775*2^1554147-1 is not prime. Res64: EA1813FEEA22A6CE Time : 0.0 sec. user=mdettweiler [2020-02-16 14:45:45] 635*2^1554148-1 is not prime. Res64: BD1FC7EACF6466C8 Time : 0.0 sec. user=mdettweiler [2020-02-16 14:45:45] 647*2^1554148-1 is not prime. Res64: F6A4AF5AA5C8798F Time : 0.0 sec. user=mdettweiler [2020-02-16 14:45:46] 695*2^1554148-1 is not prime. Res64: 7AA83674CD45F1B9 Time : 0.0 sec. user=mdettweiler [2020-02-16 14:45:46] 825*2^1554148-1 is not prime. Res64: E56A10871D149B79 Time : 0.0 sec. user=mdettweiler [2020-02-16 14:45:46] 933*2^1554148-1 is not prime. Res64: 5DB3C163B8B49051 Time : 0.0 sec. user=mdettweiler [2020-02-16 14:46:45] 793*2^1554147-1 is not prime. Res64: C06D9FCF059120AC Time : 0.0 sec. user=mdettweiler [2020-02-16 14:46:46] 849*2^1554147-1 is not prime. Res64: 0707C8ACA53D7C1C Time : 0.0 sec. user=mdettweiler [2020-02-16 14:46:46] 891*2^1554147-1 is not prime. Res64: 45FBDCA8CBBBECFD Time : 0.0 sec. user=mdettweiler [2020-02-16 14:46:46] 961*2^1554147-1 is not prime. Res64: D70FC7CC3D0BA218 Time : 0.0 sec. user=mdettweiler [2020-02-16 14:46:47] 973*2^1554147-1 is not prime. Res64: B874896840552816 Time : 0.0 sec. user=mdettweiler [2020-02-16 14:49:47] 627*2^1554149-1 is not prime. Res64: 7584D7A0BAF1D3E5 Time : 0.0 sec. user=mdettweiler [2020-02-16 14:49:47] 685*2^1554149-1 is not prime. Res64: 660704851653DBFC Time : 0.0 sec. user=mdettweiler [2020-02-16 14:49:47] 697*2^1554149-1 is not prime. Res64: 86A1AEDFC4226656 Time : 0.0 sec. user=mdettweiler [2020-02-16 14:49:48] 745*2^1554149-1 is not prime. Res64: AFBD4A58F43FCAE3 Time : 0.0 sec. user=mdettweiler [2020-02-16 14:49:48] 847*2^1554149-1 is not prime. Res64: 76EA429101980E55 Time : 0.0 sec. user=mdettweiler [2020-02-16 15:40:10] 865*2^1554149-1 is not prime. Res64: A09DF253738F0A26 Time : 0.0 sec. user=mdettweiler [2020-02-16 15:40:10] 885*2^1554149-1 is not prime. Res64: 447CBD28E54DBD05 Time : 0.0 sec. user=mdettweiler [2020-02-16 15:40:10] 939*2^1554149-1 is not prime. Res64: 72924965289D46A2 Time : 0.0 sec. user=mdettweiler [2020-02-16 15:40:11] 955*2^1554149-1 is not prime. Res64: 5FB335EBCC531FC9 Time : 0.0 sec. user=mdettweiler [2020-02-16 15:40:11] 641*2^1554150-1 is not prime. Res64: C3BBEE71EBC53F5A Time : 0.0 sec. user=mdettweiler [2020-02-16 15:40:47] 891*2^1554150-1 is not prime. Res64: 3580301666750B38 Time : 0.0 sec. user=mdettweiler [2020-02-16 15:40:47] 921*2^1554150-1 is not prime. Res64: 52B691A6C21832FF Time : 0.0 sec. user=mdettweiler [2020-02-16 15:40:48] 945*2^1554150-1 is not prime. Res64: A778FD2CEF52C788 Time : 0.0 sec. user=mdettweiler [2020-02-16 15:40:48] 645*2^1554151-1 is not prime. Res64: 2ADFD782190A8C8D Time : 0.0 sec. user=mdettweiler [2020-02-16 15:40:48] 705*2^1554151-1 is not prime. Res64: 8D7B0DCF35E390A1 Time : 0.0 sec. user=mdettweiler [2020-02-16 15:43:25] 763*2^1554151-1 is not prime. Res64: D47501207E05444B Time : 0.0 sec. user=mdettweiler [2020-02-16 15:43:25] 771*2^1554151-1 is not prime. Res64: 7C8AAE727236D777 Time : 0.0 sec. user=mdettweiler [2020-02-16 15:43:26] 793*2^1554151-1 is not prime. Res64: 840AA85F44088B51 Time : 0.0 sec. user=mdettweiler [2020-02-16 15:43:26] 805*2^1554151-1 is not prime. Res64: B3BF07D7BF7A73A7 Time : 0.0 sec. user=mdettweiler [2020-02-16 15:43:26] 913*2^1554151-1 is not prime. Res64: DF520FE31808EE0F Time : 0.0 sec. user=mdettweiler [2020-02-16 16:34:15] 931*2^1554151-1 is not prime. Res64: C09F7AC1D8AB753B Time : 0.0 sec. user=mdettweiler [2020-02-16 16:34:16] 979*2^1554151-1 is not prime. Res64: C9B78405DAF06F4F Time : 0.0 sec. user=mdettweiler [2020-02-16 16:34:16] 693*2^1554152-1 is not prime. Res64: 4EC6CB5F9723B74B Time : 0.0 sec. user=mdettweiler [2020-02-16 16:34:17] 743*2^1554152-1 is not prime. Res64: AAB931703EF82473 Time : 0.0 sec. user=mdettweiler [2020-02-16 16:34:18] 797*2^1554152-1 is not prime. Res64: C49917D7D58D7638 Time : 0.0 sec. user=mdettweiler [2020-02-16 16:36:25] 843*2^1554152-1 is not prime. Res64: 448BA9071E280084 Time : 0.0 sec. user=mdettweiler [2020-02-16 16:36:25] 899*2^1554152-1 is not prime. Res64: 7DFF78F50072B602 Time : 0.0 sec. user=mdettweiler [2020-02-16 16:36:26] 935*2^1554152-1 is not prime. Res64: 13ECB1F6A8EE7717 Time : 0.0 sec. user=mdettweiler [2020-02-16 16:36:26] 945*2^1554152-1 is not prime. Res64: B5C8E67BC78745E7 Time : 0.0 sec. user=mdettweiler [2020-02-16 16:36:27] 959*2^1554152-1 is not prime. Res64: 4062DBFFD79FA763 Time : 0.0 sec. user=mdettweiler [2020-02-16 16:37:28] 895*2^1554153-1 is not prime. Res64: B577CD59450EB6C1 Time : 0.0 sec. user=mdettweiler [2020-02-16 16:37:28] 945*2^1554153-1 is not prime. Res64: 0DAECE8FBB24E815 Time : 0.0 sec. user=mdettweiler [2020-02-16 16:37:29] 949*2^1554153-1 is not prime. Res64: B4146B592D6011AD Time : 0.0 sec. user=mdettweiler [2020-02-16 16:37:29] 645*2^1554154-1 is not prime. Res64: DF71E112E788D262 Time : 0.0 sec. user=mdettweiler [2020-02-16 16:37:29] 663*2^1554154-1 is not prime. Res64: 997EFD095EB07542 Time : 0.0 sec. user=mdettweiler [2020-02-16 17:25:33] 857*2^1554154-1 is not prime. Res64: 882A98D63EC2339E Time : 0.0 sec. user=mdettweiler [2020-02-16 17:25:33] 603*2^1554155-1 is not prime. Res64: D4AE61932F7ED8A8 Time : 0.0 sec. user=mdettweiler [2020-02-16 17:25:35] 655*2^1554155-1 is not prime. Res64: 44C60236090EA9E1 Time : 0.0 sec. user=mdettweiler [2020-02-16 17:25:35] 663*2^1554155-1 is not prime. Res64: 759C7414474E2E8A Time : 0.0 sec. user=mdettweiler [2020-02-16 17:25:36] 675*2^1554155-1 is not prime. Res64: B2CA97ED1DADA0D0 Time : 0.0 sec. user=mdettweiler [2020-02-16 17:29:43] 893*2^1554156-1 is not prime. Res64: 5C1114E592750C56 Time : 0.0 sec. user=mdettweiler [2020-02-16 17:29:43] 757*2^1554157-1 is not prime. Res64: 9CAF6F4C2F8A12A1 Time : 0.0 sec. user=mdettweiler [2020-02-16 17:29:43] 769*2^1554157-1 is not prime. Res64: FB5F73BD60626D12 Time : 0.0 sec. user=mdettweiler [2020-02-16 17:29:44] 799*2^1554157-1 is not prime. Res64: B569063C6399F1FA Time : 0.0 sec. user=mdettweiler [2020-02-16 17:29:45] 835*2^1554157-1 is not prime. Res64: FD9CCCACA0E32B65 Time : 0.0 sec. user=mdettweiler [2020-02-16 17:30:32] 735*2^1554155-1 is not prime. Res64: E2B048D797FCAECD Time : 0.0 sec. user=mdettweiler [2020-02-16 17:30:32] 789*2^1554155-1 is not prime. Res64: E6B12EAE2DAD2ACB Time : 0.0 sec. user=mdettweiler [2020-02-16 17:30:33] 921*2^1554155-1 is not prime. Res64: D7EBD0A56E5F2FC0 Time : 0.0 sec. user=mdettweiler [2020-02-16 17:30:33] 981*2^1554155-1 is not prime. Res64: 97629682C871EBD9 Time : 0.0 sec. user=mdettweiler [2020-02-16 17:30:33] 717*2^1554156-1 is not prime. Res64: 595A9192BD530183 Time : 0.0 sec. user=mdettweiler [2020-02-16 18:18:18] 955*2^1554157-1 is not prime. Res64: 8DFE107216863AC8 Time : 0.0 sec. user=mdettweiler [2020-02-16 18:18:18] 641*2^1554158-1 is not prime. Res64: F77B30C714554598 Time : 0.0 sec. user=mdettweiler [2020-02-16 18:18:19] 773*2^1554158-1 is not prime. Res64: 168A8195AE32E17B Time : 0.0 sec. user=mdettweiler [2020-02-16 18:18:20] 609*2^1554159-1 is not prime. Res64: 49FBF0A02E8A9FFB Time : 0.0 sec. user=mdettweiler [2020-02-16 18:18:20] 615*2^1554159-1 is not prime. Res64: FFB60F5388FC33F4 Time : 0.0 sec. user=mdettweiler [2020-02-16 18:23:52] 623*2^1554160-1 is not prime. Res64: 4F3FCF23A82FD993 Time : 0.0 sec. user=mdettweiler [2020-02-16 18:23:53] 833*2^1554160-1 is not prime. Res64: C1B70670755AFDF1 Time : 0.0 sec. user=mdettweiler [2020-02-16 18:23:53] 839*2^1554160-1 is not prime. Res64: 75FA7018FC3AEFB6 Time : 0.0 sec. user=mdettweiler [2020-02-16 18:23:54] 875*2^1554160-1 is not prime. Res64: 756AC67F70F11284 Time : 0.0 sec. user=mdettweiler [2020-02-16 18:23:54] 927*2^1554160-1 is not prime. Res64: ED544BF3653014E6 Time : 0.0 sec. user=mdettweiler [2020-02-16 18:24:54] 675*2^1554159-1 is not prime. Res64: E57BCA93D3232558 Time : 0.0 sec. user=mdettweiler [2020-02-16 18:24:55] 709*2^1554159-1 is not prime. Res64: DD7B4B41FBC7484B Time : 0.0 sec. user=mdettweiler [2020-02-16 18:24:55] 931*2^1554159-1 is not prime. Res64: C35E59D2B06A0528 Time : 0.0 sec. user=mdettweiler [2020-02-16 18:24:56] 933*2^1554159-1 is not prime. Res64: 4DCFEBC7444AEC48 Time : 0.0 sec. user=mdettweiler [2020-02-16 18:24:57] 991*2^1554159-1 is not prime. Res64: F0B9EEF0F4DE8AC2 Time : 0.0 sec. user=mdettweiler [2020-02-16 19:12:45] 995*2^1554160-1 is not prime. Res64: 605B51BF692D1436 Time : 0.0 sec. user=mdettweiler [2020-02-16 19:12:47] 705*2^1554161-1 is not prime. Res64: 379ADB5D163D1FA0 Time : 0.0 sec. user=mdettweiler [2020-02-16 19:12:48] 727*2^1554161-1 is not prime. Res64: B310E8F6D2A2610D Time : 0.0 sec. user=mdettweiler [2020-02-16 19:12:50] 837*2^1554161-1 is not prime. Res64: F2BCC337A5E180FF Time : 0.0 sec. user=mdettweiler [2020-02-16 19:12:52] 907*2^1554161-1 is not prime. Res64: A2B79389ECC75845 Time : 0.0 sec. user=mdettweiler [2020-02-16 19:18:15] 981*2^1554161-1 is not prime. Res64: EFCB20AA90F56B36 Time : 0.0 sec. user=mdettweiler [2020-02-16 19:18:16] 621*2^1554162-1 is not prime. Res64: 8F0FDDBA1EDF3184 Time : 0.0 sec. user=mdettweiler [2020-02-16 19:18:16] 635*2^1554162-1 is not prime. Res64: 921A9F846C023DDD Time : 0.0 sec. user=mdettweiler [2020-02-16 19:18:16] 873*2^1554162-1 is not prime. Res64: EC80F7E2AA624151 Time : 0.0 sec. user=mdettweiler [2020-02-16 19:18:17] 945*2^1554162-1 is not prime. Res64: EDFCDAD0903B3937 Time : 0.0 sec. user=mdettweiler [2020-02-16 19:19:14] 975*2^1554162-1 is not prime. Res64: 81EB146F0F593C2C Time : 0.0 sec. user=mdettweiler [2020-02-16 19:19:15] 1001*2^1554162-1 is not prime. Res64: 9CB7C2B68B5D7E83 Time : 0.0 sec. user=mdettweiler [2020-02-16 19:19:15] 679*2^1554163-1 is not prime. Res64: FE9705BF6C082C0B Time : 0.0 sec. user=mdettweiler [2020-02-16 19:19:15] 741*2^1554163-1 is not prime. Res64: EA9A1B2EFBFCF491 Time : 0.0 sec. user=mdettweiler [2020-02-16 19:19:16] 805*2^1554163-1 is not prime. Res64: 32661D9FA56366BD Time : 0.0 sec. user=mdettweiler [2020-02-16 20:08:31] 939*2^1554163-1 is not prime. Res64: 1ECA2E8C3C90ED7C Time : 0.0 sec. user=mdettweiler [2020-02-16 20:08:31] 961*2^1554163-1 is not prime. Res64: 7DBB65BA7FBF4CF5 Time : 0.0 sec. user=mdettweiler [2020-02-16 20:08:31] 973*2^1554163-1 is not prime. Res64: 1B8F6B41377B1F9F Time : 0.0 sec. user=mdettweiler [2020-02-16 20:08:32] 635*2^1554164-1 is not prime. Res64: 24F3FF18D1A64BB3 Time : 0.0 sec. user=mdettweiler [2020-02-16 20:08:32] 689*2^1554164-1 is not prime. Res64: A91CAA18625B6D31 Time : 0.0 sec. user=mdettweiler [2020-02-16 20:11:52] 609*2^1554165-1 is not prime. Res64: EA4FAB10CB8B0510 Time : 0.0 sec. user=mdettweiler [2020-02-16 20:11:53] 711*2^1554165-1 is not prime. Res64: DE3C63DEEDDF2A0C Time : 0.0 sec. user=mdettweiler [2020-02-16 20:11:53] 717*2^1554165-1 is not prime. Res64: 9F5B3D7168B52AEC Time : 0.0 sec. user=mdettweiler [2020-02-16 20:11:54] 919*2^1554165-1 is not prime. Res64: DBED951DC5F5CBEB Time : 0.0 sec. user=mdettweiler [2020-02-16 20:11:56] 695*2^1554166-1 is not prime. Res64: 0830F90968796A75 Time : 0.0 sec. user=mdettweiler [2020-02-16 20:14:02] 707*2^1554164-1 is not prime. Res64: 47706CB63DB9B609 Time : 0.0 sec. user=mdettweiler [2020-02-16 20:14:03] 869*2^1554164-1 is not prime. Res64: A4838757BF8CF28E Time : 0.0 sec. user=mdettweiler [2020-02-16 20:14:03] 923*2^1554164-1 is not prime. Res64: B7C95712F4CCF7D7 Time : 0.0 sec. user=mdettweiler [2020-02-16 20:14:03] 935*2^1554164-1 is not prime. Res64: 8370B69DEA5EFA57 Time : 0.0 sec. user=mdettweiler [2020-02-16 20:14:04] 957*2^1554164-1 is not prime. Res64: 61946A17F100A696 Time : 0.0 sec. user=mdettweiler [2020-02-16 21:03:03] 815*2^1554166-1 is not prime. Res64: 3A50A046AC721C4E Time : 0.0 sec. user=mdettweiler [2020-02-16 21:03:04] 843*2^1554166-1 is not prime. Res64: 51830EAC24FF47D9 Time : 0.0 sec. user=mdettweiler [2020-02-16 21:03:05] 933*2^1554166-1 is not prime. Res64: BCB53A7B2A88C10C Time : 0.0 sec. user=mdettweiler [2020-02-16 21:03:06] 981*2^1554166-1 is not prime. Res64: 765F8FFF4F725A31 Time : 0.0 sec. user=mdettweiler [2020-02-16 21:03:07] 601*2^1554167-1 is not prime. Res64: 07A5DAA32D77C428 Time : 0.0 sec. user=mdettweiler [2020-02-16 21:06:12] 645*2^1554167-1 is not prime. Res64: 422034F97B102559 Time : 0.0 sec. user=mdettweiler [2020-02-16 21:06:13] 711*2^1554167-1 is not prime. Res64: 218EDEA0F9E70449 Time : 0.0 sec. user=mdettweiler [2020-02-16 21:06:14] 889*2^1554167-1 is not prime. Res64: F962EA3B98FD6D48 Time : 0.0 sec. user=mdettweiler [2020-02-16 21:06:15] 963*2^1554167-1 is not prime. Res64: 4EC0803901F4F409 Time : 0.0 sec. user=mdettweiler [2020-02-16 21:06:16] 973*2^1554167-1 is not prime. Res64: A7CB459F26519BE7 Time : 0.0 sec. user=mdettweiler [2020-02-16 21:06:30] 695*2^1554168-1 is not prime. Res64: 94AFC56980CD5948 Time : 0.0 sec. user=mdettweiler [2020-02-16 21:06:31] 777*2^1554168-1 is not prime. Res64: F4B0CC94D72D4155 Time : 0.0 sec. user=mdettweiler [2020-02-16 21:06:31] 803*2^1554168-1 is not prime. Res64: 197F79C8249C34E8 Time : 0.0 sec. user=mdettweiler [2020-02-16 21:06:32] 819*2^1554168-1 is not prime. Res64: 8153FBC6E3C4AEB1 Time : 0.0 sec. user=mdettweiler [2020-02-16 21:06:33] 893*2^1554168-1 is not prime. Res64: 63CD39BFB3C15043 Time : 0.0 sec. user=mdettweiler [2020-02-16 21:56:08] 915*2^1554168-1 is not prime. Res64: 24DC67CBFA23B41B Time : 0.0 sec. user=mdettweiler [2020-02-16 21:56:09] 649*2^1554169-1 is not prime. Res64: 8B7B2F34D8E58E06 Time : 0.0 sec. user=mdettweiler [2020-02-16 21:56:09] 675*2^1554169-1 is not prime. Res64: 1D3A0C6EB5CF635E Time : 0.0 sec. user=mdettweiler [2020-02-16 21:56:10] 765*2^1554169-1 is not prime. Res64: 9350AD1686A98C23 Time : 0.0 sec. user=mdettweiler [2020-02-16 21:56:10] 775*2^1554169-1 is not prime. Res64: D48D90E8D25ABB5E Time : 0.0 sec. user=mdettweiler [2020-02-16 21:58:59] 831*2^1554169-1 is not prime. Res64: B46CB8D03BCBCFFB Time : 0.0 sec. user=mdettweiler [2020-02-16 21:58:59] 931*2^1554169-1 is not prime. Res64: 6D34D67E1DB2AF92 Time : 0.0 sec. user=mdettweiler [2020-02-16 21:58:59] 657*2^1554170-1 is not prime. Res64: 1607C48C30A20141 Time : 0.0 sec. user=mdettweiler [2020-02-16 21:59:00] 713*2^1554170-1 is not prime. Res64: 9930A16170BC8534 Time : 0.0 sec. user=mdettweiler [2020-02-16 21:59:00] 717*2^1554170-1 is not prime. Res64: 2720F104F0B27F69 Time : 0.0 sec. user=mdettweiler [2020-02-16 22:01:13] 767*2^1554170-1 is not prime. Res64: 5946A37E430EE1FE Time : 0.0 sec. user=mdettweiler [2020-02-16 22:01:14] 843*2^1554170-1 is not prime. Res64: F2C4936A2168BE6C Time : 0.0 sec. user=mdettweiler [2020-02-16 22:01:16] 893*2^1554170-1 is not prime. Res64: 07F50F41B55DB115 Time : 0.0 sec. user=mdettweiler [2020-02-16 22:01:16] 923*2^1554170-1 is not prime. Res64: 04BC42BDFECA4A27 Time : 0.0 sec. user=mdettweiler [2020-02-16 22:01:17] 945*2^1554170-1 is not prime. Res64: 9F89C3FEA532B094 Time : 0.0 sec. user=mdettweiler [2020-02-16 22:50:14] 953*2^1554170-1 is not prime. Res64: 14C2F4821158CB66 Time : 0.0 sec. user=mdettweiler [2020-02-16 22:50:14] 1001*2^1554170-1 is not prime. Res64: 346C6E1F68CA8449 Time : 0.0 sec. user=mdettweiler [2020-02-16 22:50:14] 619*2^1554171-1 is not prime. Res64: AD19F4F195F55B42 Time : 0.0 sec. user=mdettweiler [2020-02-16 22:50:15] 705*2^1554171-1 is not prime. Res64: 7107C1F41B6C3CCD Time : 0.0 sec. user=mdettweiler [2020-02-16 22:50:15] 835*2^1554171-1 is not prime. Res64: 1255C74DB53479E9 Time : 0.0 sec. user=mdettweiler [2020-02-16 22:53:20] 895*2^1554171-1 is not prime. Res64: 037E11D33F8B5853 Time : 0.0 sec. user=mdettweiler [2020-02-16 22:53:20] 665*2^1554172-1 is not prime. Res64: 23F70FEE56F0CF34 Time : 0.0 sec. user=mdettweiler [2020-02-16 22:53:21] 863*2^1554172-1 is not prime. Res64: 035EFDB794521844 Time : 0.0 sec. user=mdettweiler [2020-02-16 22:53:21] 965*2^1554172-1 is not prime. Res64: 63BF7C40477CCDF5 Time : 0.0 sec. user=mdettweiler [2020-02-16 22:53:21] 975*2^1554172-1 is not prime. Res64: AD27BD21E9A4DEAA Time : 0.0 sec. user=mdettweiler [2020-02-16 22:55:28] 831*2^1554173-1 is not prime. Res64: 05119E53983A8DEF Time : 0.0 sec. user=mdettweiler [2020-02-16 22:55:28] 955*2^1554173-1 is not prime. Res64: 1BB8586DAEBD2262 Time : 0.0 sec. user=mdettweiler [2020-02-16 22:55:29] 969*2^1554173-1 is not prime. Res64: A42682D9CDA20EEA Time : 0.0 sec. user=mdettweiler [2020-02-16 22:55:29] 621*2^1554174-1 is not prime. Res64: BB559F4BDE716D4F Time : 0.0 sec. user=mdettweiler [2020-02-16 22:55:30] 663*2^1554174-1 is not prime. Res64: E692E0282F609450 Time : 0.0 sec. user=mdettweiler [2020-02-16 23:44:52] 807*2^1554174-1 is not prime. Res64: 6DEC2E67BD09B1BC Time : 0.0 sec. user=mdettweiler [2020-02-16 23:44:53] 873*2^1554174-1 is not prime. Res64: 5E8835754E7639EA Time : 0.0 sec. user=mdettweiler [2020-02-16 23:44:53] 881*2^1554174-1 is not prime. Res64: FDF4B4E5B1B58DBF Time : 0.0 sec. user=mdettweiler [2020-02-16 23:44:53] 947*2^1554174-1 is not prime. Res64: 681541048D0A64F7 Time : 0.0 sec. user=mdettweiler [2020-02-16 23:44:54] 957*2^1554174-1 is not prime. Res64: 8509DFACDCC5E55A Time : 0.0 sec. user=mdettweiler [2020-02-16 23:46:41] 983*2^1554174-1 is not prime. Res64: B86231A1448EBCCF Time : 0.0 sec. user=mdettweiler [2020-02-16 23:46:42] 673*2^1554175-1 is not prime. Res64: BA97E637591CE872 Time : 0.0 sec. user=mdettweiler [2020-02-16 23:46:42] 819*2^1554175-1 is not prime. Res64: 4A8150536D5F928D Time : 0.0 sec. user=mdettweiler [2020-02-16 23:46:43] 885*2^1554175-1 is not prime. Res64: 37F2CDD3A011D8BC Time : 0.0 sec. user=mdettweiler [2020-02-16 23:46:43] 895*2^1554175-1 is not prime. Res64: F1C9A60728EB1D26 Time : 0.0 sec. user=mdettweiler [2020-02-16 23:47:05] 633*2^1554176-1 is not prime. Res64: 7E24A9B1B119D3DD Time : 0.0 sec. user=mdettweiler [2020-02-16 23:47:06] 645*2^1554176-1 is not prime. Res64: 8915DE60AA752ED0 Time : 0.0 sec. user=mdettweiler [2020-02-16 23:47:06] 755*2^1554176-1 is not prime. Res64: BB26F12814B3D96B Time : 0.0 sec. user=mdettweiler [2020-02-16 23:47:06] 825*2^1554176-1 is not prime. Res64: 27690608658E332B Time : 0.0 sec. user=mdettweiler [2020-02-16 23:47:07] 869*2^1554176-1 is not prime. Res64: D869ECBF0EC7752C Time : 0.0 sec.