user=mdettweiler [2020-02-23 00:17:36] 711*2^1554546-1 is not prime. Res64: 2FD94A67A53F07F3 Time : 0.0 sec. user=mdettweiler [2020-02-23 00:17:37] 747*2^1554546-1 is not prime. Res64: 8F81D96F99AF9872 Time : 0.0 sec. user=mdettweiler [2020-02-23 00:17:37] 917*2^1554546-1 is not prime. Res64: FDAFD7BD18217F86 Time : 0.0 sec. user=mdettweiler [2020-02-23 00:17:38] 645*2^1554547-1 is not prime. Res64: E4D15F67266AB7DE Time : 0.0 sec. user=mdettweiler [2020-02-23 00:17:38] 715*2^1554547-1 is not prime. Res64: E693D9FA57A73DF9 Time : 0.0 sec. user=mdettweiler [2020-02-23 00:24:00] 999*2^1554547-1 is not prime. Res64: C61B6E71B6FD8B0B Time : 0.0 sec. user=mdettweiler [2020-02-23 00:24:00] 669*2^1554548-1 is not prime. Res64: E4671E9AAC8818B1 Time : 0.0 sec. user=mdettweiler [2020-02-23 00:24:01] 855*2^1554548-1 is not prime. Res64: 839B812F26A0117D Time : 0.0 sec. user=mdettweiler [2020-02-23 00:24:01] 995*2^1554548-1 is not prime. Res64: B037BAFD0D48C88A Time : 0.0 sec. user=mdettweiler [2020-02-23 00:24:01] 669*2^1554549-1 is not prime. Res64: A2757949431B2B83 Time : 0.0 sec. user=mdettweiler [2020-02-23 01:10:28] 681*2^1554549-1 is not prime. Res64: 5CA95115DB130CC6 Time : 0.0 sec. user=mdettweiler [2020-02-23 01:10:30] 759*2^1554549-1 is not prime. Res64: 6A698382644DB8F1 Time : 0.0 sec. user=mdettweiler [2020-02-23 01:10:31] 781*2^1554549-1 is not prime. Res64: 0D0CAD9C761267BB Time : 0.0 sec. user=mdettweiler [2020-02-23 01:10:32] 831*2^1554549-1 is not prime. Res64: 286221F10AEF30F4 Time : 0.0 sec. user=mdettweiler [2020-02-23 01:10:33] 635*2^1554550-1 is not prime. Res64: C2E8C5CB4E7D5814 Time : 0.0 sec. user=mdettweiler [2020-02-23 01:17:31] 671*2^1554550-1 is not prime. Res64: 62D283E524F2639F Time : 0.0 sec. user=mdettweiler [2020-02-23 01:17:32] 753*2^1554551-1 is not prime. Res64: 6905D06AB5C5C8A7 Time : 0.0 sec. user=mdettweiler [2020-02-23 01:17:32] 783*2^1554551-1 is not prime. Res64: 5F1C90C1910E34E5 Time : 0.0 sec. user=mdettweiler [2020-02-23 01:17:32] 931*2^1554551-1 is not prime. Res64: 8B3217771E56B2BD Time : 0.0 sec. user=mdettweiler [2020-02-23 01:17:33] 605*2^1554552-1 is not prime. Res64: 0CEC89155AB5A037 Time : 0.0 sec. user=mdettweiler [2020-02-23 02:02:56] 699*2^1554552-1 is not prime. Res64: B56BF83B22E6654E Time : 0.0 sec. user=mdettweiler [2020-02-23 02:03:04] 717*2^1554552-1 is not prime. Res64: F0BBB3DFCCAE25B7 Time : 0.0 sec. user=mdettweiler [2020-02-23 02:03:11] 721*2^1554553-1 is not prime. Res64: 58D756CCFFA7BBE6 Time : 0.0 sec. user=mdettweiler [2020-02-23 02:03:19] 811*2^1554553-1 is not prime. Res64: 1B65780676F926EA Time : 0.0 sec. user=mdettweiler [2020-02-23 02:10:58] 957*2^1554553-1 is not prime. Res64: 743A91D58EDDCD3F Time : 0.0 sec. user=mdettweiler [2020-02-23 02:11:03] 645*2^1554554-1 is not prime. Res64: A0035EE93439C59E Time : 0.0 sec. user=mdettweiler [2020-02-23 02:11:06] 687*2^1554554-1 is not prime. Res64: 74B23750D4CB3E88 Time : 0.0 sec. user=mdettweiler [2020-02-23 02:11:07] 753*2^1554554-1 is not prime. Res64: 4E78F6D147D65D20 Time : 0.0 sec. user=mdettweiler [2020-02-23 02:11:11] 783*2^1554554-1 is not prime. Res64: 23E589FB3972B1CD Time : 0.0 sec. user=mdettweiler [2020-02-23 02:14:16] 815*2^1554554-1 is not prime. Res64: 8735B48C6B160ECF Time : 0.0 sec. user=mdettweiler [2020-02-23 03:05:20] 825*2^1554554-1 is not prime. Res64: A46FA620F589D855 Time : 0.0 sec. user=mdettweiler [2020-02-23 03:05:22] 887*2^1554554-1 is not prime. Res64: 4700E1B570B584A3 Time : 0.0 sec. user=mdettweiler [2020-02-23 03:05:23] 971*2^1554554-1 is not prime. Res64: 5FE58E674B947891 Time : 0.0 sec. user=mdettweiler [2020-02-23 03:05:24] 625*2^1554555-1 is not prime. Res64: 13E0FAF5EA9F5904 Time : 0.0 sec. user=mdettweiler [2020-02-23 03:05:25] 669*2^1554555-1 is not prime. Res64: D7036C28CD2024E2 Time : 0.0 sec. user=mdettweiler [2020-02-23 03:45:27] 957*2^1554542-1 is not prime. Res64: 32D27BC6AC17CE1F Time : 0.0 sec. user=mdettweiler [2020-02-23 03:45:30] 963*2^1554542-1 is not prime. Res64: 4B5DDFD055E7D5FD Time : 0.0 sec. user=mdettweiler [2020-02-23 03:45:33] 613*2^1554543-1 is not prime. Res64: E2C5603FF2A48687 Time : 0.0 sec. user=mdettweiler [2020-02-23 03:45:35] 661*2^1554543-1 is not prime. Res64: 0121443891190FC2 Time : 0.0 sec. user=mdettweiler [2020-02-23 03:59:49] 679*2^1554555-1 is not prime. Res64: 6FC73A14AE7DA520 Time : 0.0 sec. user=mdettweiler [2020-02-23 03:59:50] 819*2^1554555-1 is not prime. Res64: 64AE89486C7BFF17 Time : 0.0 sec. user=mdettweiler [2020-02-23 03:59:51] 825*2^1554555-1 is not prime. Res64: 4BEB87DDEC3855FF Time : 0.0 sec. user=mdettweiler [2020-02-23 03:59:52] 853*2^1554555-1 is not prime. Res64: 61C84392D1271255 Time : 0.0 sec. user=mdettweiler [2020-02-23 03:59:53] 963*2^1554555-1 is not prime. Res64: 6200F57A6D7809D8 Time : 0.0 sec. user=mdettweiler [2020-02-23 04:41:05] 699*2^1554368-1 is not prime. Res64: 8F62079FBFA6D4C4 Time : 0.0 sec. user=mdettweiler [2020-02-23 04:41:06] 755*2^1554556-1 is not prime. Res64: 57D92E592D3695C8 Time : 0.0 sec. user=mdettweiler [2020-02-23 04:41:06] 777*2^1554556-1 is not prime. Res64: 21C1579F4DB28FB4 Time : 0.0 sec. user=mdettweiler [2020-02-23 04:41:07] 909*2^1554556-1 is not prime. Res64: 5B7342C9B18F6C53 Time : 0.0 sec. user=mdettweiler [2020-02-23 04:41:08] 953*2^1554556-1 is not prime. Res64: 08FFF70C662241F5 Time : 0.0 sec. user=mdettweiler [2020-02-23 04:55:59] 957*2^1554556-1 is not prime. Res64: 5E4E32287DD4C127 Time : 0.0 sec. user=mdettweiler [2020-02-23 04:56:00] 715*2^1554557-1 is not prime. Res64: 22F64B2BE3EE270B Time : 0.0 sec. user=mdettweiler [2020-02-23 04:56:01] 847*2^1554557-1 is not prime. Res64: B5440C8A8CEEA420 Time : 0.0 sec. user=mdettweiler [2020-02-23 04:56:01] 885*2^1554557-1 is not prime. Res64: DC98CC4C752ABDB3 Time : 0.0 sec. user=mdettweiler [2020-02-23 04:56:01] 937*2^1554557-1 is not prime. Res64: 34DD77209633350B Time : 0.0 sec. user=mdettweiler [2020-02-23 05:36:22] 945*2^1554557-1 is not prime. Res64: 8E57020681686C16 Time : 0.0 sec. user=mdettweiler [2020-02-23 05:36:23] 663*2^1554558-1 is not prime. Res64: 67B99FD545A15736 Time : 0.0 sec. user=mdettweiler [2020-02-23 05:36:23] 693*2^1554558-1 is not prime. Res64: 38542311D71ADA1F Time : 0.0 sec. user=mdettweiler [2020-02-23 05:36:24] 867*2^1554558-1 is not prime. Res64: 0427AE359D4129D3 Time : 0.0 sec. user=mdettweiler [2020-02-23 05:36:24] 881*2^1554558-1 is not prime. Res64: 5F778E6607A6F336 Time : 0.0 sec. user=mdettweiler [2020-02-23 05:50:16] 933*2^1554558-1 is not prime. Res64: 3C246159E65117D8 Time : 0.0 sec. user=mdettweiler [2020-02-23 05:50:16] 639*2^1554559-1 is not prime. Res64: 71AEC57C3A874AFB Time : 0.0 sec. user=mdettweiler [2020-02-23 05:50:17] 649*2^1554559-1 is not prime. Res64: 0FD2E4754CE4F1E1 Time : 0.0 sec. user=mdettweiler [2020-02-23 05:50:17] 663*2^1554559-1 is not prime. Res64: 20674BA372FE333F Time : 0.0 sec. user=mdettweiler [2020-02-23 05:50:17] 723*2^1554559-1 is not prime. Res64: 3E8D1CD2DD28C771 Time : 0.0 sec. user=mdettweiler [2020-02-23 06:11:17] 849*2^1554553-1 is not prime. Res64: 2B04F8C3473B62C4 Time : 0.0 sec. user=mdettweiler [2020-02-23 06:32:50] 741*2^1554559-1 is not prime. Res64: BB3C253BD36DD2A1 Time : 0.0 sec. user=mdettweiler [2020-02-23 06:32:50] 939*2^1554559-1 is not prime. Res64: 088372E5317770A8 Time : 0.0 sec. user=mdettweiler [2020-02-23 06:32:50] 973*2^1554559-1 is not prime. Res64: 7555231143DC9282 Time : 0.0 sec. user=mdettweiler [2020-02-23 06:32:51] 993*2^1554559-1 is not prime. Res64: 1610D2B179FC98F0 Time : 0.0 sec. user=mdettweiler [2020-02-23 06:32:52] 629*2^1554560-1 is not prime. Res64: 9613587F08FB7607 Time : 0.0 sec. user=mdettweiler [2020-02-23 06:43:41] 747*2^1554560-1 is not prime. Res64: E15468FA695E0A29 Time : 0.0 sec. user=mdettweiler [2020-02-23 06:43:42] 833*2^1554560-1 is not prime. Res64: 2C396E597587DA11 Time : 0.0 sec. user=mdettweiler [2020-02-23 06:43:42] 855*2^1554560-1 is not prime. Res64: EB5E20EE321D226D Time : 0.0 sec. user=mdettweiler [2020-02-23 06:43:43] 893*2^1554560-1 is not prime. Res64: F8AFE93EC222E973 Time : 0.0 sec. user=mdettweiler [2020-02-23 06:43:43] 897*2^1554560-1 is not prime. Res64: 14955C984330E008 Time : 0.0 sec. user=mdettweiler [2020-02-23 07:05:23] 679*2^1554561-1 is not prime. Res64: E9F388BBEADD6863 Time : 0.0 sec. user=mdettweiler [2020-02-23 07:05:25] 781*2^1554561-1 is not prime. Res64: 2764661F85599E51 Time : 0.0 sec. user=mdettweiler [2020-02-23 07:05:26] 795*2^1554561-1 is not prime. Res64: 9A7875FE99E58ABC Time : 0.0 sec. user=mdettweiler [2020-02-23 07:05:27] 889*2^1554561-1 is not prime. Res64: 44F2B5B5CF680BF5 Time : 0.0 sec. user=mdettweiler [2020-02-23 07:05:28] 979*2^1554561-1 is not prime. Res64: 45081F4C83D5689F Time : 0.0 sec. user=mdettweiler [2020-02-23 07:24:48] 653*2^1554562-1 is not prime. Res64: A33E1451331F1C18 Time : 0.0 sec. user=mdettweiler [2020-02-23 07:24:49] 705*2^1554562-1 is not prime. Res64: 8050EEAB0F0BC734 Time : 0.0 sec. user=mdettweiler [2020-02-23 07:24:49] 755*2^1554562-1 is not prime. Res64: CA62A4C67D7ACE69 Time : 0.0 sec. user=mdettweiler [2020-02-23 07:24:50] 813*2^1554562-1 is not prime. Res64: 4E5A2F0578FA8AFD Time : 0.0 sec. user=mdettweiler [2020-02-23 07:24:50] 857*2^1554562-1 is not prime. Res64: B9998EB43758B249 Time : 0.0 sec. user=mdettweiler [2020-02-23 07:37:14] 1001*2^1554562-1 is not prime. Res64: 552EA3AA4BDCA36D Time : 0.0 sec. user=mdettweiler [2020-02-23 07:37:15] 621*2^1554563-1 is not prime. Res64: B26EA80B405C9C7A Time : 0.0 sec. user=mdettweiler [2020-02-23 07:37:15] 783*2^1554563-1 is not prime. Res64: 759567C74B1F3195 Time : 0.0 sec. user=mdettweiler [2020-02-23 07:37:15] 805*2^1554563-1 is not prime. Res64: F6DB7177AB900E76 Time : 0.0 sec. user=mdettweiler [2020-02-23 07:37:16] 855*2^1554563-1 is not prime. Res64: 9A249C1CF2C819A3 Time : 0.0 sec. user=mdettweiler [2020-02-23 07:59:32] 943*2^1554563-1 is not prime. Res64: 273D53E0E35BF184 Time : 0.0 sec. user=mdettweiler [2020-02-23 07:59:32] 949*2^1554563-1 is not prime. Res64: 726B50245838D654 Time : 0.0 sec. user=mdettweiler [2020-02-23 07:59:33] 605*2^1554564-1 is not prime. Res64: BA2E005B43962845 Time : 0.0 sec. user=mdettweiler [2020-02-23 07:59:33] 663*2^1554564-1 is not prime. Res64: 2018E2F0681A926C Time : 0.0 sec. user=mdettweiler [2020-02-23 07:59:33] 719*2^1554564-1 is not prime. Res64: ACD7C694F09B4A92 Time : 0.0 sec. user=mdettweiler [2020-02-23 08:18:01] 837*2^1554564-1 is not prime. Res64: 66CFFBE8F71A5AEE Time : 0.0 sec. user=mdettweiler [2020-02-23 08:18:02] 905*2^1554564-1 is not prime. Res64: 1A49F3A3B5BC94D6 Time : 0.0 sec. user=mdettweiler [2020-02-23 08:18:02] 685*2^1554565-1 is not prime. Res64: 79122063680DAA2A Time : 0.0 sec. user=mdettweiler [2020-02-23 08:18:03] 729*2^1554565-1 is not prime. Res64: A85A276D5D3D1E30 Time : 0.0 sec. user=mdettweiler [2020-02-23 08:18:03] 765*2^1554565-1 is not prime. Res64: 77B97BA715686355 Time : 0.0 sec. user=mdettweiler [2020-02-23 08:31:27] 775*2^1554565-1 is not prime. Res64: 5636C0E763AC2F41 Time : 0.0 sec. user=mdettweiler [2020-02-23 08:31:27] 951*2^1554565-1 is not prime. Res64: A5FA5877E812E43E Time : 0.0 sec. user=mdettweiler [2020-02-23 08:31:28] 997*2^1554565-1 is not prime. Res64: 753D3BDC65666860 Time : 0.0 sec. user=mdettweiler [2020-02-23 08:31:28] 675*2^1554566-1 is not prime. Res64: 5C6AD7662B1C8CD4 Time : 0.0 sec. user=mdettweiler [2020-02-23 08:31:28] 677*2^1554566-1 is not prime. Res64: B8520E4D0C9DD446 Time : 0.0 sec. user=mdettweiler [2020-02-23 08:52:36] 683*2^1554566-1 is not prime. Res64: 3D953632BC50239D Time : 0.0 sec. user=mdettweiler [2020-02-23 08:52:36] 755*2^1554566-1 is not prime. Res64: 173F191A8DEBC550 Time : 0.0 sec. user=mdettweiler [2020-02-23 08:52:36] 801*2^1554566-1 is not prime. Res64: F87A0C92320A5A46 Time : 0.0 sec. user=mdettweiler [2020-02-23 08:52:37] 945*2^1554566-1 is not prime. Res64: 1CE924FFEFFB3691 Time : 0.0 sec. user=mdettweiler [2020-02-23 08:52:37] 643*2^1554567-1 is not prime. Res64: D4CC32842923FC08 Time : 0.0 sec. user=mdettweiler [2020-02-23 09:10:08] 685*2^1554567-1 is not prime. Res64: 594DEA21EBF41B52 Time : 0.0 sec. user=mdettweiler [2020-02-23 09:10:08] 691*2^1554567-1 is not prime. Res64: 811D5C39E0885D4B Time : 0.0 sec. user=mdettweiler [2020-02-23 09:10:09] 751*2^1554567-1 is not prime. Res64: 0AFC808E3B5C0046 Time : 0.0 sec. user=mdettweiler [2020-02-23 09:10:09] 775*2^1554567-1 is not prime. Res64: 05B9B277AE5E78C9 Time : 0.0 sec. user=mdettweiler [2020-02-23 09:10:09] 793*2^1554567-1 is not prime. Res64: 50C25E1041DB2D07 Time : 0.0 sec. user=mdettweiler [2020-02-23 09:25:06] 795*2^1554567-1 is not prime. Res64: 8796B8B15570EC53 Time : 0.0 sec. user=mdettweiler [2020-02-23 09:25:07] 819*2^1554567-1 is not prime. Res64: 78D3945961DB7CD2 Time : 0.0 sec. user=mdettweiler [2020-02-23 09:25:07] 865*2^1554567-1 is not prime. Res64: F22013CA5AFC3980 Time : 0.0 sec. user=mdettweiler [2020-02-23 09:25:07] 931*2^1554567-1 is not prime. Res64: 759FDFD445CD737B Time : 0.0 sec. user=mdettweiler [2020-02-23 09:25:08] 689*2^1554568-1 is not prime. Res64: 845BD4DA95B708A5 Time : 0.0 sec. user=mdettweiler [2020-02-23 09:45:21] 735*2^1554568-1 is not prime. Res64: 2263158BFE1E789D Time : 0.0 sec. user=mdettweiler [2020-02-23 09:45:22] 923*2^1554568-1 is not prime. Res64: D4F26CFCCD7C8680 Time : 0.0 sec. user=mdettweiler [2020-02-23 09:45:22] 679*2^1554569-1 is not prime. Res64: 9F48778D816E9D7C Time : 0.0 sec. user=mdettweiler [2020-02-23 09:45:23] 721*2^1554569-1 is not prime. Res64: 19612F5A019828A1 Time : 0.0 sec. user=mdettweiler [2020-02-23 09:45:23] 735*2^1554569-1 is not prime. Res64: 5B37DAF4A3D068E7 Time : 0.0 sec. user=mdettweiler [2020-02-23 10:03:46] 789*2^1554569-1 is not prime. Res64: EB44810FDEACB830 Time : 0.0 sec. user=mdettweiler [2020-02-23 10:03:47] 861*2^1554569-1 is not prime. Res64: 58CD0D7EF71D99C3 Time : 0.0 sec. user=mdettweiler [2020-02-23 10:03:48] 907*2^1554569-1 is not prime. Res64: 337D9F5C7D896594 Time : 0.0 sec. user=mdettweiler [2020-02-23 10:03:49] 615*2^1554570-1 is not prime. Res64: 1303118858BAE954 Time : 0.0 sec. user=mdettweiler [2020-02-23 10:03:49] 843*2^1554570-1 is not prime. Res64: 8CE6042242DC40A7 Time : 0.0 sec. user=mdettweiler [2020-02-23 10:19:51] 845*2^1554570-1 is not prime. Res64: 3C076267C19E5E53 Time : 0.0 sec. user=mdettweiler [2020-02-23 10:19:51] 927*2^1554570-1 is not prime. Res64: 67ACFE13EF10C410 Time : 0.0 sec. user=mdettweiler [2020-02-23 10:19:52] 971*2^1554570-1 is not prime. Res64: 5042016173BE05D0 Time : 0.0 sec. user=mdettweiler [2020-02-23 10:19:52] 609*2^1554571-1 is not prime. Res64: DDF574ABE4DB6270 Time : 0.0 sec. user=mdettweiler [2020-02-23 10:19:53] 769*2^1554571-1 is not prime. Res64: C5C1F4C7CA73E72C Time : 0.0 sec. user=mdettweiler [2020-02-23 10:38:07] 793*2^1554571-1 is not prime. Res64: F2D0A68C67A71875 Time : 0.0 sec. user=mdettweiler [2020-02-23 10:38:07] 849*2^1554571-1 is not prime. Res64: 37A75F93DFE8A48A Time : 0.0 sec. user=mdettweiler [2020-02-23 10:38:08] 855*2^1554571-1 is not prime. Res64: 74281995EEFC31EE Time : 0.0 sec. user=mdettweiler [2020-02-23 10:38:08] 885*2^1554571-1 is not prime. Res64: CEC7D57DF158EB91 Time : 0.0 sec. user=mdettweiler [2020-02-23 10:38:08] 889*2^1554571-1 is not prime. Res64: 16FD20E501D5C77B Time : 0.0 sec. user=mdettweiler [2020-02-23 10:58:26] 925*2^1554571-1 is not prime. Res64: 79722179FB52078C Time : 0.0 sec. user=mdettweiler [2020-02-23 10:58:26] 693*2^1554572-1 is not prime. Res64: E01A322C7E38B129 Time : 0.0 sec. user=mdettweiler [2020-02-23 10:58:26] 797*2^1554572-1 is not prime. Res64: FE2FAD8324ECE69C Time : 0.0 sec. user=mdettweiler [2020-02-23 10:58:27] 875*2^1554572-1 is not prime. Res64: B746696425EADB43 Time : 0.0 sec. user=mdettweiler [2020-02-23 10:58:27] 923*2^1554572-1 is not prime. Res64: 5FEE5BA399D78265 Time : 0.0 sec. user=mdettweiler [2020-02-23 11:15:43] 963*2^1554572-1 is not prime. Res64: EE101293745A6330 Time : 0.0 sec. user=mdettweiler [2020-02-23 11:15:52] 995*2^1554572-1 is not prime. Res64: CB0CFF57F59D0F43 Time : 0.0 sec. user=mdettweiler [2020-02-23 11:15:55] 699*2^1554573-1 is not prime. Res64: CECA9F279413E249 Time : 0.0 sec. user=mdettweiler [2020-02-23 11:15:57] 861*2^1554573-1 is not prime. Res64: C2B24A5EE8E955A0 Time : 0.0 sec. user=mdettweiler [2020-02-23 11:15:59] 915*2^1554573-1 is not prime. Res64: F91AE0133F13C01E Time : 0.0 sec. user=mdettweiler [2020-02-23 11:30:20] 611*2^1554574-1 is not prime. Res64: DE47B2D7162A9EEA Time : 0.0 sec. user=mdettweiler [2020-02-23 11:30:20] 723*2^1554574-1 is not prime. Res64: B198EF3E9EAE3377 Time : 0.0 sec. user=mdettweiler [2020-02-23 11:30:21] 815*2^1554574-1 is not prime. Res64: 30EB01022E392950 Time : 0.0 sec. user=mdettweiler [2020-02-23 11:30:21] 833*2^1554574-1 is not prime. Res64: 0561EA360343D373 Time : 0.0 sec. user=mdettweiler [2020-02-23 11:30:21] 857*2^1554574-1 is not prime. Res64: 8CDCC8FB35B44C84 Time : 0.0 sec. user=mdettweiler [2020-02-23 11:53:09] 887*2^1554574-1 is not prime. Res64: DADCF2029C583C7B Time : 0.0 sec. user=mdettweiler [2020-02-23 11:53:09] 897*2^1554574-1 is not prime. Res64: 3E86697E0E2973EC Time : 0.0 sec. user=mdettweiler [2020-02-23 11:53:09] 917*2^1554574-1 is not prime. Res64: A924F3B6BAEF3132 Time : 0.0 sec. user=mdettweiler [2020-02-23 11:53:10] 987*2^1554574-1 is not prime. Res64: 6C69091127C007D4 Time : 0.0 sec. user=mdettweiler [2020-02-23 11:53:10] 693*2^1554575-1 is not prime. Res64: 8FC22EDCF7E2A0FE Time : 0.0 sec. user=mdettweiler [2020-02-23 12:09:35] 843*2^1554575-1 is not prime. Res64: E1108BE8C45F8B1D Time : 0.0 sec. user=mdettweiler [2020-02-23 12:09:36] 853*2^1554575-1 is not prime. Res64: 740989371ADD386F Time : 0.0 sec. user=mdettweiler [2020-02-23 12:09:37] 985*2^1554575-1 is not prime. Res64: 54B1ECFBDE03214A Time : 0.0 sec. user=mdettweiler [2020-02-23 12:09:38] 609*2^1554576-1 is not prime. Res64: F4B29BCD2EF286CC Time : 0.0 sec. user=mdettweiler [2020-02-23 12:09:39] 639*2^1554576-1 is not prime. Res64: C396E0EAA5274046 Time : 0.0 sec. user=mdettweiler [2020-02-23 12:22:24] 705*2^1554576-1 is not prime. Res64: 18FA3E4115391A78 Time : 0.0 sec. user=mdettweiler [2020-02-23 12:22:25] 843*2^1554576-1 is not prime. Res64: FC5BA737C00CC334 Time : 0.0 sec. user=mdettweiler [2020-02-23 12:22:25] 691*2^1554577-1 is not prime. Res64: C540DCC8FEFCB002 Time : 0.0 sec. user=mdettweiler [2020-02-23 12:22:26] 729*2^1554577-1 is not prime. Res64: 540A410EAC7ED3A8 Time : 0.0 sec. user=mdettweiler [2020-02-23 12:22:26] 771*2^1554577-1 is not prime. Res64: 185B2F99A31B775C Time : 0.0 sec. user=mdettweiler [2020-02-23 12:45:58] 937*2^1554577-1 is not prime. Res64: 1DDF39A8FA608781 Time : 0.0 sec. user=mdettweiler [2020-02-23 12:45:58] 635*2^1554578-1 is not prime. Res64: 005CDCAA1E8E78C8 Time : 0.0 sec. user=mdettweiler [2020-02-23 12:45:58] 671*2^1554578-1 is not prime. Res64: A1E158A8032C9D88 Time : 0.0 sec. user=mdettweiler [2020-02-23 12:45:59] 677*2^1554578-1 is not prime. Res64: 759F970DD8041619 Time : 0.0 sec. user=mdettweiler [2020-02-23 12:45:59] 731*2^1554578-1 is not prime. Res64: 79BF96D9DD96D315 Time : 0.0 sec. user=mdettweiler [2020-02-23 13:04:47] 767*2^1554578-1 is not prime. Res64: 829E83B730D72FD0 Time : 0.0 sec. user=mdettweiler [2020-02-23 13:04:49] 845*2^1554578-1 is not prime. Res64: 01ED5E23C12C31D4 Time : 0.0 sec. user=mdettweiler [2020-02-23 13:04:50] 945*2^1554578-1 is not prime. Res64: A03AFC51D0088ED8 Time : 0.0 sec. user=mdettweiler [2020-02-23 13:04:50] 1001*2^1554578-1 is not prime. Res64: BB0BD2FFCF191161 Time : 0.0 sec. user=mdettweiler [2020-02-23 13:04:51] 609*2^1554579-1 is not prime. Res64: AC3BDFA377356165 Time : 0.0 sec. user=mdettweiler [2020-02-23 13:15:41] 769*2^1554579-1 is not prime. Res64: 6A5571FBFF7C9D5E Time : 0.0 sec. user=mdettweiler [2020-02-23 13:15:41] 775*2^1554579-1 is not prime. Res64: C9E0F4E7FDDD46D5 Time : 0.0 sec. user=mdettweiler [2020-02-23 13:15:41] 961*2^1554579-1 is not prime. Res64: 4607A8C16D67982C Time : 0.0 sec. user=mdettweiler [2020-02-23 13:15:42] 689*2^1554580-1 is not prime. Res64: FBA85A68A58789A5 Time : 0.0 sec. user=mdettweiler [2020-02-23 13:15:43] 723*2^1554580-1 is not prime. Res64: 2AD19FB77D28951F Time : 0.0 sec. user=mdettweiler [2020-02-23 13:41:41] 773*2^1554580-1 is not prime. Res64: 2A49926F17CB6101 Time : 0.0 sec. user=mdettweiler [2020-02-23 13:41:42] 827*2^1554580-1 is not prime. Res64: 5DA17689E0E5E8D3 Time : 0.0 sec. user=mdettweiler [2020-02-23 13:41:42] 899*2^1554580-1 is not prime. Res64: D23FFA51F9D4939E Time : 0.0 sec. user=mdettweiler [2020-02-23 13:41:42] 933*2^1554580-1 is not prime. Res64: FD19683771494FC3 Time : 0.0 sec. user=mdettweiler [2020-02-23 13:41:43] 957*2^1554580-1 is not prime. Res64: 325D4D1C5FEA4102 Time : 0.0 sec. user=mdettweiler [2020-02-23 14:00:18] 975*2^1554580-1 is not prime. Res64: 4EE74EFE46E3183F Time : 0.0 sec. user=mdettweiler [2020-02-23 14:00:20] 619*2^1554581-1 is not prime. Res64: 55571F75B587ABCE Time : 0.0 sec. user=mdettweiler [2020-02-23 14:00:21] 819*2^1554581-1 is not prime. Res64: 9D400E3F8C99C853 Time : 0.0 sec. user=mdettweiler [2020-02-23 14:00:21] 855*2^1554581-1 is not prime. Res64: 4197097632214A69 Time : 0.0 sec. user=mdettweiler [2020-02-23 14:00:22] 867*2^1554581-1 is not prime. Res64: A3B3331F63922D19 Time : 0.0 sec. user=mdettweiler [2020-02-23 14:12:24] 987*2^1554581-1 is not prime. Res64: BC4A6A0F80666EB3 Time : 0.0 sec. user=mdettweiler [2020-02-23 14:12:24] 677*2^1554582-1 is not prime. Res64: F0CA503E063B5556 Time : 0.0 sec. user=mdettweiler [2020-02-23 14:12:25] 791*2^1554582-1 is not prime. Res64: EF5F1F2B859F06D0 Time : 0.0 sec. user=mdettweiler [2020-02-23 14:12:25] 983*2^1554582-1 is not prime. Res64: 8492B6D46901E9C9 Time : 0.0 sec. user=mdettweiler [2020-02-23 14:12:26] 615*2^1554583-1 is not prime. Res64: A326F5E3FE21342A Time : 0.0 sec. user=mdettweiler [2020-02-23 14:36:28] 619*2^1554583-1 is not prime. Res64: 1BD03F0CF3AC61AC Time : 0.0 sec. user=mdettweiler [2020-02-23 14:36:28] 693*2^1554583-1 is not prime. Res64: 42B458BD0FB1BACC Time : 0.0 sec. user=mdettweiler [2020-02-23 14:36:29] 783*2^1554583-1 is not prime. Res64: 50A4CCCC7D81F534 Time : 0.0 sec. user=mdettweiler [2020-02-23 14:36:29] 861*2^1554583-1 is not prime. Res64: 74EEDA67C9F36209 Time : 0.0 sec. user=mdettweiler [2020-02-23 14:36:29] 895*2^1554583-1 is not prime. Res64: AFC9CC931DCB4F64 Time : 0.0 sec. user=mdettweiler [2020-02-23 14:58:30] 913*2^1554583-1 is not prime. Res64: 8ADBCF8471904067 Time : 0.0 sec. user=mdettweiler [2020-02-23 14:58:30] 973*2^1554583-1 is not prime. Res64: C471A1E9D7985583 Time : 0.0 sec. user=mdettweiler [2020-02-23 14:58:31] 985*2^1554583-1 is not prime. Res64: ADE87E0278FACD6D Time : 0.0 sec. user=mdettweiler [2020-02-23 14:58:31] 869*2^1554584-1 is not prime. Res64: 89D835327A731B49 Time : 0.0 sec. user=mdettweiler [2020-02-23 14:58:31] 897*2^1554584-1 is not prime. Res64: 5B535CF310411634 Time : 0.0 sec. user=mdettweiler [2020-02-23 15:07:45] 627*2^1554585-1 is not prime. Res64: 782F9B5860E65110 Time : 0.0 sec. user=mdettweiler [2020-02-23 15:07:46] 649*2^1554585-1 is not prime. Res64: FF85F8352B22A48C Time : 0.0 sec. user=mdettweiler [2020-02-23 15:07:48] 789*2^1554585-1 is not prime. Res64: 89E660267F96CA84 Time : 0.0 sec. user=mdettweiler [2020-02-23 15:07:49] 889*2^1554585-1 is not prime. Res64: 807CC9289176AB20 Time : 0.0 sec. user=mdettweiler [2020-02-23 15:07:49] 921*2^1554585-1 is not prime. Res64: 26128A280ED5507B Time : 0.0 sec. user=mdettweiler [2020-02-23 15:31:52] 979*2^1554585-1 is not prime. Res64: 7D36697321313738 Time : 0.0 sec. user=mdettweiler [2020-02-23 15:31:52] 705*2^1554586-1 is not prime. Res64: 3A55249C8442F052 Time : 0.0 sec. user=mdettweiler [2020-02-23 15:31:53] 813*2^1554586-1 is not prime. Res64: 23CE437D2FADA5E5 Time : 0.0 sec. user=mdettweiler [2020-02-23 15:31:53] 815*2^1554586-1 is not prime. Res64: 90CA418AB32B99C8 Time : 0.0 sec. user=mdettweiler [2020-02-23 15:31:54] 861*2^1554586-1 is not prime. Res64: DD86CB921CBBA60D Time : 0.0 sec. user=mdettweiler [2020-02-23 15:56:07] 881*2^1554586-1 is not prime. Res64: 9BE8070532021CAC Time : 0.0 sec. user=mdettweiler [2020-02-23 15:56:07] 941*2^1554586-1 is not prime. Res64: 9B3C38CA6A030AC2 Time : 0.0 sec. user=mdettweiler [2020-02-23 15:56:08] 971*2^1554586-1 is not prime. Res64: 4CE5C4210EE7C23A Time : 0.0 sec. user=mdettweiler [2020-02-23 15:56:08] 1001*2^1554586-1 is not prime. Res64: 134F2828B53D4F37 Time : 0.0 sec. user=mdettweiler [2020-02-23 15:56:08] 643*2^1554587-1 is not prime. Res64: F858A9FDD4CD5D41 Time : 0.0 sec. user=mdettweiler [2020-02-23 16:04:13] 673*2^1554587-1 is not prime. Res64: BD25B0F6DF55D6EF Time : 0.0 sec. user=mdettweiler [2020-02-23 16:04:15] 963*2^1554587-1 is not prime. Res64: 7F99A8358980F721 Time : 0.0 sec. user=mdettweiler [2020-02-23 16:04:15] 979*2^1554587-1 is not prime. Res64: CFC9824119326494 Time : 0.0 sec. user=mdettweiler [2020-02-23 16:04:16] 635*2^1554588-1 is not prime. Res64: 7594C073CC746303 Time : 0.0 sec. user=mdettweiler [2020-02-23 16:04:17] 773*2^1554588-1 is not prime. Res64: B658D891D525B0D7 Time : 0.0 sec. user=mdettweiler [2020-02-23 16:26:18] 999*2^1554588-1 is not prime. Res64: 281666FBE24E878C Time : 0.0 sec. user=mdettweiler [2020-02-23 16:26:19] 775*2^1554589-1 is not prime. Res64: 88053A6CEBCF45DF Time : 0.0 sec. user=mdettweiler [2020-02-23 16:26:19] 799*2^1554589-1 is not prime. Res64: 4E5E0CC15172CA13 Time : 0.0 sec. user=mdettweiler [2020-02-23 16:26:19] 811*2^1554589-1 is not prime. Res64: F401302C1938F66B Time : 0.0 sec. user=mdettweiler [2020-02-23 16:26:19] 819*2^1554589-1 is not prime. Res64: 684CD9D5B4F7EE30 Time : 0.0 sec. user=mdettweiler [2020-02-23 16:53:13] 861*2^1554589-1 is not prime. Res64: 6DE569D7DE94655B Time : 0.0 sec. user=mdettweiler [2020-02-23 16:53:13] 951*2^1554589-1 is not prime. Res64: 1A5CA08508D4B619 Time : 0.0 sec. user=mdettweiler [2020-02-23 16:53:13] 967*2^1554589-1 is not prime. Res64: ED8B9CD3533FC82E Time : 0.0 sec. user=mdettweiler [2020-02-23 16:53:13] 985*2^1554589-1 is not prime. Res64: FDA8CF06133887EA Time : 0.0 sec. user=mdettweiler [2020-02-23 16:53:14] 999*2^1554589-1 is not prime. Res64: 81DA0737A1547823 Time : 0.0 sec. user=mdettweiler [2020-02-23 16:57:12] 663*2^1554590-1 is not prime. Res64: AABB15F8DE1B4CDF Time : 0.0 sec. user=mdettweiler [2020-02-23 16:57:13] 665*2^1554590-1 is not prime. Res64: DF195DC58ACCD973 Time : 0.0 sec. user=mdettweiler [2020-02-23 16:57:13] 707*2^1554590-1 is not prime. Res64: 52DB68ABEED28C0B Time : 0.0 sec. user=mdettweiler [2020-02-23 16:57:14] 861*2^1554590-1 is not prime. Res64: 84F5C65FFFA7AB37 Time : 0.0 sec. user=mdettweiler [2020-02-23 16:57:14] 911*2^1554590-1 is not prime. Res64: AAA8ADCEF208DDA1 Time : 0.0 sec. user=mdettweiler [2020-02-23 17:19:04] 987*2^1554590-1 is not prime. Res64: 42E0DF61970AE268 Time : 0.0 sec. user=mdettweiler [2020-02-23 17:19:04] 693*2^1554591-1 is not prime. Res64: 4D308C6AD5D130EF Time : 0.0 sec. user=mdettweiler [2020-02-23 17:19:04] 723*2^1554591-1 is not prime. Res64: 53F4D1310922ACFB Time : 0.0 sec. user=mdettweiler [2020-02-23 17:19:05] 751*2^1554591-1 is not prime. Res64: 303999B973035537 Time : 0.0 sec. user=mdettweiler [2020-02-23 17:19:05] 769*2^1554591-1 is not prime. Res64: AFF1CC5C0D567174 Time : 0.0 sec. user=mdettweiler [2020-02-23 17:45:10] 783*2^1554591-1 is not prime. Res64: 00F8E67FC62DDD09 Time : 0.0 sec. user=mdettweiler [2020-02-23 17:45:11] 879*2^1554591-1 is not prime. Res64: C193726876C3083B Time : 0.0 sec. user=mdettweiler [2020-02-23 17:45:11] 891*2^1554591-1 is not prime. Res64: A3A7EF4BD88ADC42 Time : 0.0 sec. user=mdettweiler [2020-02-23 17:45:11] 603*2^1554592-1 is not prime. Res64: EC4675425EFE94E6 Time : 0.0 sec. user=mdettweiler [2020-02-23 17:45:11] 609*2^1554592-1 is not prime. Res64: FB5A76F4ADEF9A88 Time : 0.0 sec. user=mdettweiler [2020-02-23 17:51:34] 623*2^1554592-1 is not prime. Res64: 3CC58C1A06374E54 Time : 0.0 sec. user=mdettweiler [2020-02-23 17:51:34] 873*2^1554592-1 is not prime. Res64: 0B9A358DCB15EA55 Time : 0.0 sec. user=mdettweiler [2020-02-23 17:51:34] 875*2^1554592-1 is not prime. Res64: 1BA5D4292E8646AA Time : 0.0 sec. user=mdettweiler [2020-02-23 17:51:34] 915*2^1554592-1 is not prime. Res64: D90D0173E91DBD1D Time : 0.0 sec. user=mdettweiler [2020-02-23 17:51:35] 917*2^1554592-1 is not prime. Res64: F924C11570028175 Time : 0.0 sec. user=mdettweiler [2020-02-23 18:11:37] 999*2^1554592-1 is not prime. Res64: 208261F16B43F0D6 Time : 0.0 sec. user=mdettweiler [2020-02-23 18:11:39] 615*2^1554593-1 is not prime. Res64: DBBA8E67B651BA49 Time : 0.0 sec. user=mdettweiler [2020-02-23 18:11:41] 679*2^1554593-1 is not prime. Res64: 83978C778535A0C2 Time : 0.0 sec. user=mdettweiler [2020-02-23 18:11:42] 705*2^1554593-1 is not prime. Res64: 9166808022DB7BB1 Time : 0.0 sec. user=mdettweiler [2020-02-23 18:11:45] 741*2^1554593-1 is not prime. Res64: 0337285785363168 Time : 0.0 sec. user=mdettweiler [2020-02-23 18:37:46] 795*2^1554593-1 is not prime. Res64: B72AAAD9F1040C71 Time : 0.0 sec. user=mdettweiler [2020-02-23 18:37:46] 879*2^1554593-1 is not prime. Res64: 03B25AB02E60BD5A Time : 0.0 sec. user=mdettweiler [2020-02-23 18:37:46] 651*2^1554594-1 is not prime. Res64: 04145CF19C6A2788 Time : 0.0 sec. user=mdettweiler [2020-02-23 18:37:46] 773*2^1554594-1 is not prime. Res64: B59920C2E8E99410 Time : 0.0 sec. user=mdettweiler [2020-02-23 18:37:47] 861*2^1554594-1 is not prime. Res64: 6D013CFD54EAD480 Time : 0.0 sec. user=mdettweiler [2020-02-23 18:45:18] 639*2^1554595-1 is not prime. Res64: 7E4D4A085C00D522 Time : 0.0 sec. user=mdettweiler [2020-02-23 18:45:19] 765*2^1554595-1 is not prime. Res64: C95D94287FFD459A Time : 0.0 sec. user=mdettweiler [2020-02-23 18:45:19] 819*2^1554595-1 is not prime. Res64: D39C8F28EE103305 Time : 0.0 sec. user=mdettweiler [2020-02-23 18:45:19] 871*2^1554595-1 is not prime. Res64: 718ADB5383822BE6 Time : 0.0 sec. user=mdettweiler [2020-02-23 18:45:20] 919*2^1554595-1 is not prime. Res64: C598027D5FBC81E7 Time : 0.0 sec. user=mdettweiler [2020-02-23 19:04:46] 609*2^1554596-1 is not prime. Res64: A0A85A7E707F0751 Time : 0.0 sec. user=mdettweiler [2020-02-23 19:04:47] 647*2^1554596-1 is not prime. Res64: 070162E6C67EB94F Time : 0.0 sec. user=mdettweiler [2020-02-23 19:04:48] 725*2^1554596-1 is not prime. Res64: 91229EE6E663A14A Time : 0.0 sec. user=mdettweiler [2020-02-23 19:04:49] 785*2^1554596-1 is not prime. Res64: 4A043FB57B73F975 Time : 0.0 sec. user=mdettweiler [2020-02-23 19:04:49] 813*2^1554596-1 is not prime. Res64: 03ADCB6A99077F7E Time : 0.0 sec. user=mdettweiler [2020-02-23 19:32:34] 957*2^1554596-1 is not prime. Res64: 25FF8AD0FAB3701E Time : 0.0 sec. user=mdettweiler [2020-02-23 19:32:35] 741*2^1554597-1 is not prime. Res64: 0FE2F1215F5CA553 Time : 0.0 sec. user=mdettweiler [2020-02-23 19:32:35] 781*2^1554597-1 is not prime. Res64: A2BDB8D5259B7A7A Time : 0.0 sec. user=mdettweiler [2020-02-23 19:32:35] 895*2^1554597-1 is not prime. Res64: 68CBD3340A2C81EA Time : 0.0 sec. user=mdettweiler [2020-02-23 19:32:36] 901*2^1554597-1 is not prime. Res64: 14A2496059D34A0D Time : 0.0 sec. user=mdettweiler [2020-02-23 19:37:24] 647*2^1554598-1 is not prime. Res64: D038903156F63580 Time : 0.0 sec. user=mdettweiler [2020-02-23 19:37:25] 713*2^1554598-1 is not prime. Res64: EED671B099F03254 Time : 0.0 sec. user=mdettweiler [2020-02-23 19:37:25] 723*2^1554598-1 is not prime. Res64: E5C1C630A40BE9FC Time : 0.0 sec. user=mdettweiler [2020-02-23 19:37:25] 827*2^1554598-1 is not prime. Res64: 3B231CD4F3E555A8 Time : 0.0 sec. user=mdettweiler [2020-02-23 19:37:25] 897*2^1554598-1 is not prime. Res64: 39AA21064AB96C30 Time : 0.0 sec. user=mdettweiler [2020-02-23 19:56:39] 669*2^1554599-1 is not prime. Res64: DE6B1930F6E90BEE Time : 0.0 sec. user=mdettweiler [2020-02-23 19:56:39] 685*2^1554599-1 is not prime. Res64: 0A15A55FF14A87FC Time : 0.0 sec. user=mdettweiler [2020-02-23 19:56:39] 729*2^1554599-1 is not prime. Res64: 1C4F69C9452902E1 Time : 0.0 sec. user=mdettweiler [2020-02-23 19:56:39] 675*2^1554600-1 is not prime. Res64: 29EFA81A2FDAEB9B Time : 0.0 sec. user=mdettweiler [2020-02-23 19:56:40] 765*2^1554600-1 is not prime. Res64: 48D0E78F256C8A9A Time : 0.0 sec. user=mdettweiler [2020-02-23 20:25:38] 795*2^1554600-1 is not prime. Res64: FB723A13F502EC69 Time : 0.0 sec. user=mdettweiler [2020-02-23 20:25:38] 819*2^1554600-1 is not prime. Res64: EE5DB943F3788824 Time : 0.0 sec. user=mdettweiler [2020-02-23 20:25:38] 825*2^1554600-1 is not prime. Res64: 46ECA79FF844D4A2 Time : 0.0 sec. user=mdettweiler [2020-02-23 20:25:39] 845*2^1554600-1 is not prime. Res64: 05D3E82BAB1DEB79 Time : 0.0 sec. user=mdettweiler [2020-02-23 20:25:39] 875*2^1554600-1 is not prime. Res64: 8EEA861DEA40004D Time : 0.0 sec. user=mdettweiler [2020-02-23 20:30:39] 905*2^1554600-1 is not prime. Res64: 84DCD3F5A5101E69 Time : 0.0 sec. user=mdettweiler [2020-02-23 20:30:39] 615*2^1554601-1 is not prime. Res64: CE76FDF1A0CBF362 Time : 0.0 sec. user=mdettweiler [2020-02-23 20:30:39] 705*2^1554601-1 is not prime. Res64: CFF10AD9F2F17B34 Time : 0.0 sec. user=mdettweiler [2020-02-23 20:30:39] 747*2^1554601-1 is not prime. Res64: 48BC6980C8DC0F8F Time : 0.0 sec. user=mdettweiler [2020-02-23 20:30:40] 769*2^1554601-1 is not prime. Res64: B696786E0A67AB83 Time : 0.0 sec. user=mdettweiler [2020-02-23 20:50:08] 777*2^1554601-1 is not prime. Res64: 1A1B625753155ED2 Time : 0.0 sec. user=mdettweiler [2020-02-23 20:50:08] 871*2^1554601-1 is not prime. Res64: 58A02256BDE43262 Time : 0.0 sec. user=mdettweiler [2020-02-23 20:50:09] 939*2^1554601-1 is not prime. Res64: 43B91EBBA53356DC Time : 0.0 sec. user=mdettweiler [2020-02-23 20:50:09] 665*2^1554602-1 is not prime. Res64: 54FE1BB04EA7CE05 Time : 0.0 sec. user=mdettweiler [2020-02-23 20:50:09] 711*2^1554602-1 is not prime. Res64: 506E49B6B20E9ACA Time : 0.0 sec. user=mdettweiler [2020-02-23 21:21:52] 813*2^1554602-1 is not prime. Res64: FDC6E8254553A854 Time : 0.0 sec. user=mdettweiler [2020-02-23 21:21:53] 867*2^1554602-1 is not prime. Res64: 0E2987997C98BAA5 Time : 0.0 sec. user=mdettweiler [2020-02-23 21:21:54] 911*2^1554602-1 is not prime. Res64: 5F27ABFFB573D2B6 Time : 0.0 sec. user=mdettweiler [2020-02-23 21:21:55] 957*2^1554602-1 is not prime. Res64: 88979A45A139DE14 Time : 0.0 sec. user=mdettweiler [2020-02-23 21:21:56] 977*2^1554602-1 is not prime. Res64: F6BF004903454BF4 Time : 0.0 sec. user=mdettweiler [2020-02-23 21:23:30] 987*2^1554602-1 is not prime. Res64: C89C7A4777DA6FC3 Time : 0.0 sec. user=mdettweiler [2020-02-23 21:23:31] 609*2^1554603-1 is not prime. Res64: D9785B8DDE8D180E Time : 0.0 sec. user=mdettweiler [2020-02-23 21:23:32] 705*2^1554603-1 is not prime. Res64: 13FA444A372C4D1E Time : 0.0 sec. user=mdettweiler [2020-02-23 21:23:32] 709*2^1554603-1 is not prime. Res64: 72E14861776B4E36 Time : 0.0 sec. user=mdettweiler [2020-02-23 21:23:33] 741*2^1554603-1 is not prime. Res64: A21191E3DD179D02 Time : 0.0 sec. user=mdettweiler [2020-02-23 21:44:14] 765*2^1554603-1 is not prime. Res64: 6829E2EBEE8651EA Time : 0.0 sec. user=mdettweiler [2020-02-23 21:44:14] 829*2^1554603-1 is not prime. Res64: 96E0FD5A11E26B15 Time : 0.0 sec. user=mdettweiler [2020-02-23 21:44:15] 853*2^1554603-1 is not prime. Res64: 71AB8B815749695B Time : 0.0 sec. user=mdettweiler [2020-02-23 21:44:15] 871*2^1554603-1 is not prime. Res64: DAF5E6C72B7792EB Time : 0.0 sec. user=mdettweiler [2020-02-23 21:44:15] 677*2^1554604-1 is not prime. Res64: 6497FF665AE6BAFD Time : 0.0 sec. user=mdettweiler [2020-02-23 22:19:37] 657*2^1554605-1 is not prime. Res64: D8DFF781DDFBFA37 Time : 0.0 sec. user=mdettweiler [2020-02-23 22:19:38] 865*2^1554605-1 is not prime. Res64: D434A954705D3C6F Time : 0.0 sec. user=mdettweiler [2020-02-23 22:19:38] 857*2^1554604-1 is not prime. Res64: E8773A914BD60C18 Time : 0.0 sec. user=mdettweiler [2020-02-23 22:19:39] 985*2^1554605-1 is not prime. Res64: 8E55509846A4D95C Time : 0.0 sec. user=mdettweiler [2020-02-23 22:19:39] 755*2^1554606-1 is not prime. Res64: 1B8DC5838A8D2200 Time : 0.0 sec. user=mdettweiler [2020-02-23 22:19:40] 801*2^1554606-1 is not prime. Res64: 19BE636290E87CC2 Time : 0.0 sec. user=mdettweiler [2020-02-23 22:19:40] 899*2^1554604-1 is not prime. Res64: 38723080B59D361C Time : 0.0 sec. user=mdettweiler [2020-02-23 22:19:40] 905*2^1554604-1 is not prime. Res64: FFBD8B7BF93CEFF6 Time : 0.0 sec. user=mdettweiler [2020-02-23 22:19:41] 975*2^1554604-1 is not prime. Res64: 8A973F68B4E7C7AC Time : 0.0 sec. user=mdettweiler [2020-02-23 22:19:41] 645*2^1554605-1 is not prime. Res64: B51B84EAF23A5D5B Time : 0.0 sec. user=mdettweiler [2020-02-23 22:40:23] 957*2^1554606-1 is not prime. Res64: 2E307DEA195D787A Time : 0.0 sec. user=mdettweiler [2020-02-23 22:40:24] 1001*2^1554606-1 is not prime. Res64: 297CFCE9E9931E81 Time : 0.0 sec. user=mdettweiler [2020-02-23 22:40:24] 645*2^1554607-1 is not prime. Res64: D523AEE8941BD71C Time : 0.0 sec. user=mdettweiler [2020-02-23 22:40:24] 873*2^1554607-1 is not prime. Res64: 18AE3C90B9CD9F91 Time : 0.0 sec. user=mdettweiler [2020-02-23 22:40:25] 883*2^1554607-1 is not prime. Res64: A2345AF1AB78D216 Time : 0.0 sec. user=mdettweiler [2020-02-23 23:11:36] 885*2^1554607-1 is not prime. Res64: BA714790A70FA6C2 Time : 0.0 sec. user=mdettweiler [2020-02-23 23:11:36] 891*2^1554607-1 is not prime. Res64: EE07E1954D56BE9B Time : 0.0 sec. user=mdettweiler [2020-02-23 23:11:37] 657*2^1554608-1 is not prime. Res64: 4405AD3A6F41FA3E Time : 0.0 sec. user=mdettweiler [2020-02-23 23:11:37] 687*2^1554608-1 is not prime. Res64: C535DA4C2B3B75D3 Time : 0.0 sec. user=mdettweiler [2020-02-23 23:11:38] 735*2^1554608-1 is not prime. Res64: CA15DFEFD4928C46 Time : 0.0 sec. user=mdettweiler [2020-02-23 23:15:41] 845*2^1554608-1 is not prime. Res64: 60CEDDC1EBFCE593 Time : 0.0 sec. user=mdettweiler [2020-02-23 23:15:42] 869*2^1554608-1 is not prime. Res64: 4C57CE26DD0478AB Time : 0.0 sec. user=mdettweiler [2020-02-23 23:15:42] 927*2^1554608-1 is not prime. Res64: C0E1CE3DF3B96596 Time : 0.0 sec. user=mdettweiler [2020-02-23 23:15:42] 977*2^1554608-1 is not prime. Res64: 527B01A69EFD9630 Time : 0.0 sec. user=mdettweiler [2020-02-23 23:15:43] 999*2^1554608-1 is not prime. Res64: EC12658499C6F6DA Time : 0.0 sec. user=mdettweiler [2020-02-23 23:31:59] 685*2^1554609-1 is not prime. Res64: 5D0F9BB81AB08FC0 Time : 0.0 sec. user=mdettweiler [2020-02-23 23:31:59] 711*2^1554609-1 is not prime. Res64: 2595ACF7408DED1A Time : 0.0 sec. user=mdettweiler [2020-02-23 23:32:00] 727*2^1554609-1 is not prime. Res64: 45956404BFA8CDE2 Time : 0.0 sec. user=mdettweiler [2020-02-23 23:32:01] 765*2^1554609-1 is not prime. Res64: CC66F2E835C0180E Time : 0.0 sec. user=mdettweiler [2020-02-23 23:32:01] 787*2^1554609-1 is not prime. Res64: D641CDF2F0E092E8 Time : 0.0 sec.