user=mdettweiler [2020-05-27 00:39:52] 855*2^1560196-1 is not prime. Res64: FA99F16371A7505F Time : 0.0 sec. user=mdettweiler [2020-05-27 00:39:52] 857*2^1560196-1 is not prime. Res64: 4D2B01200254396D Time : 0.0 sec. user=mdettweiler [2020-05-27 00:39:52] 869*2^1560196-1 is not prime. Res64: F24ED512DA95A0AE Time : 0.0 sec. user=mdettweiler [2020-05-27 00:39:53] 897*2^1560196-1 is not prime. Res64: 3BD09878814925D7 Time : 0.0 sec. user=mdettweiler [2020-05-27 00:39:53] 899*2^1560196-1 is not prime. Res64: 60F36678E3FDEA9F Time : 0.0 sec. user=mdettweiler [2020-05-27 00:42:13] 903*2^1560196-1 is not prime. Res64: E5E7CAC371854EE7 Time : 0.0 sec. user=mdettweiler [2020-05-27 00:42:13] 619*2^1560197-1 is not prime. Res64: BC48F9277C0F3E97 Time : 0.0 sec. user=mdettweiler [2020-05-27 00:42:14] 631*2^1560197-1 is not prime. Res64: ED310D02BBD1B469 Time : 0.0 sec. user=mdettweiler [2020-05-27 00:42:14] 795*2^1560197-1 is not prime. Res64: 48A203327F279F84 Time : 0.0 sec. user=mdettweiler [2020-05-27 00:42:14] 837*2^1560197-1 is not prime. Res64: BF4E8289E0149BE8 Time : 0.0 sec. user=mdettweiler [2020-05-27 00:58:14] 847*2^1560197-1 is not prime. Res64: CC504BFB3C9B931F Time : 0.0 sec. user=mdettweiler [2020-05-27 00:58:14] 861*2^1560197-1 is not prime. Res64: B01E8D466AA046C7 Time : 0.0 sec. user=mdettweiler [2020-05-27 00:58:15] 879*2^1560197-1 is not prime. Res64: 9146A32E590CC940 Time : 0.0 sec. user=mdettweiler [2020-05-27 00:58:15] 939*2^1560197-1 is not prime. Res64: A3FB3491FEBE3693 Time : 0.0 sec. user=mdettweiler [2020-05-27 00:58:15] 997*2^1560197-1 is not prime. Res64: B4DECB9A00CBBA4A Time : 0.0 sec. user=mdettweiler [2020-05-27 01:32:19] 671*2^1560198-1 is not prime. Res64: E04ACAC377AA5DA9 Time : 0.0 sec. user=mdettweiler [2020-05-27 01:32:23] 681*2^1560198-1 is not prime. Res64: AC1F9BDB1665275F Time : 0.0 sec. user=mdettweiler [2020-05-27 01:32:26] 755*2^1560198-1 is not prime. Res64: 9B07720835B242EC Time : 0.0 sec. user=mdettweiler [2020-05-27 01:32:30] 795*2^1560198-1 is not prime. Res64: 8887DD62A7244864 Time : 0.0 sec. user=mdettweiler [2020-05-27 01:32:33] 625*2^1560199-1 is not prime. Res64: 739B89A285B8F725 Time : 0.0 sec. user=mdettweiler [2020-05-27 01:38:50] 723*2^1560199-1 is not prime. Res64: 12A6FE4702728F5C Time : 0.0 sec. user=mdettweiler [2020-05-27 01:38:51] 741*2^1560199-1 is not prime. Res64: A7E3896168E943AF Time : 0.0 sec. user=mdettweiler [2020-05-27 01:38:53] 859*2^1560199-1 is not prime. Res64: 4F802E367EA9D2A2 Time : 0.0 sec. user=mdettweiler [2020-05-27 01:38:54] 919*2^1560199-1 is not prime. Res64: 91E223AE261EA3D9 Time : 0.0 sec. user=mdettweiler [2020-05-27 01:38:55] 973*2^1560199-1 is not prime. Res64: D0B45CD6F11F0E19 Time : 0.0 sec. user=mdettweiler [2020-05-27 01:50:57] 669*2^1560200-1 is not prime. Res64: 44BEBAE9A4107967 Time : 0.0 sec. user=mdettweiler [2020-05-27 01:51:00] 797*2^1560200-1 is not prime. Res64: B710B0B74FD1AE23 Time : 0.0 sec. user=mdettweiler [2020-05-27 01:51:03] 615*2^1560201-1 is not prime. Res64: 244046AB62FF2A2E Time : 0.0 sec. user=mdettweiler [2020-05-27 01:51:05] 691*2^1560201-1 is not prime. Res64: 36158910CD776E63 Time : 0.0 sec. user=mdettweiler [2020-05-27 01:51:07] 735*2^1560201-1 is not prime. Res64: FA1550C29C14FDA4 Time : 0.0 sec. user=mdettweiler [2020-05-27 02:29:27] 739*2^1560201-1 is not prime. Res64: F2CFC9D48D9C96B1 Time : 0.0 sec. user=mdettweiler [2020-05-27 02:29:29] 871*2^1560201-1 is not prime. Res64: FB1EC1345C2A8DDD Time : 0.0 sec. user=mdettweiler [2020-05-27 02:29:33] 951*2^1560201-1 is not prime. Res64: BC84806B1115AC76 Time : 0.0 sec. user=mdettweiler [2020-05-27 02:29:34] 999*2^1560201-1 is not prime. Res64: 5D723A7C50A6D603 Time : 0.0 sec. user=mdettweiler [2020-05-27 02:29:35] 747*2^1560202-1 is not prime. Res64: 2C1FF611112F8EAC Time : 0.0 sec. user=mdettweiler [2020-05-27 02:33:40] 873*2^1560202-1 is not prime. Res64: F5F82046DEF5532C Time : 0.0 sec. user=mdettweiler [2020-05-27 02:33:41] 911*2^1560202-1 is not prime. Res64: DD2846873979842B Time : 0.0 sec. user=mdettweiler [2020-05-27 02:33:41] 609*2^1560203-1 is not prime. Res64: FAA399988F07B94C Time : 0.0 sec. user=mdettweiler [2020-05-27 02:33:41] 669*2^1560203-1 is not prime. Res64: E185EE76EE127F1E Time : 0.0 sec. user=mdettweiler [2020-05-27 02:33:41] 675*2^1560203-1 is not prime. Res64: 4E56DC2C4411B58D Time : 0.0 sec. user=mdettweiler [2020-05-27 02:46:48] 811*2^1560203-1 is not prime. Res64: 8D5DA0BF0E99343B Time : 0.0 sec. user=mdettweiler [2020-05-27 02:46:48] 823*2^1560203-1 is not prime. Res64: 295DDFA25415EFD8 Time : 0.0 sec. user=mdettweiler [2020-05-27 02:46:48] 825*2^1560203-1 is not prime. Res64: C71B4C5C91255266 Time : 0.0 sec. user=mdettweiler [2020-05-27 02:46:49] 879*2^1560203-1 is not prime. Res64: 756E2A0FC86E1441 Time : 0.0 sec. user=mdettweiler [2020-05-27 02:46:49] 921*2^1560203-1 is not prime. Res64: 489DCD0BE781BF0A Time : 0.0 sec. user=mdettweiler [2020-05-27 03:23:50] 627*2^1560204-1 is not prime. Res64: 8720B5459E4E5FFE Time : 0.0 sec. user=mdettweiler [2020-05-27 03:23:50] 665*2^1560204-1 is not prime. Res64: 4FF0A16DAC76745F Time : 0.0 sec. user=mdettweiler [2020-05-27 03:23:51] 789*2^1560204-1 is not prime. Res64: CA949F1E6A6C0E0C Time : 0.0 sec. user=mdettweiler [2020-05-27 03:23:51] 803*2^1560204-1 is not prime. Res64: 3E23FBA99F5D1A34 Time : 0.0 sec. user=mdettweiler [2020-05-27 03:23:51] 887*2^1560204-1 is not prime. Res64: 67E560A79E307DAC Time : 0.0 sec. user=mdettweiler [2020-05-27 03:28:21] 903*2^1560204-1 is not prime. Res64: 43A9167A8FAD7930 Time : 0.0 sec. user=mdettweiler [2020-05-27 03:28:21] 909*2^1560204-1 is not prime. Res64: 6E5988EBBD68A4C4 Time : 0.0 sec. user=mdettweiler [2020-05-27 03:28:22] 607*2^1560205-1 is not prime. Res64: B10D23CEA722113C Time : 0.0 sec. user=mdettweiler [2020-05-27 03:28:23] 667*2^1560205-1 is not prime. Res64: 48BB69DA05F0194E Time : 0.0 sec. user=mdettweiler [2020-05-27 03:28:24] 721*2^1560205-1 is not prime. Res64: 54F080D5370ADA2C Time : 0.0 sec. user=mdettweiler [2020-05-27 03:40:46] 825*2^1560205-1 is not prime. Res64: BDBB5261FF1F9070 Time : 0.0 sec. user=mdettweiler [2020-05-27 03:40:54] 675*2^1560206-1 is not prime. Res64: 15F695E845D1FDDB Time : 0.0 sec. user=mdettweiler [2020-05-27 03:40:56] 795*2^1560206-1 is not prime. Res64: 7BBE7FD6A6505D61 Time : 0.0 sec. user=mdettweiler [2020-05-27 03:40:57] 831*2^1560206-1 is not prime. Res64: 4D81909F1D47B37D Time : 0.0 sec. user=mdettweiler [2020-05-27 03:40:58] 957*2^1560206-1 is not prime. Res64: 0C2B19CF0320AFD4 Time : 0.0 sec. user=mdettweiler [2020-05-27 04:21:01] 843*2^1560207-1 is not prime. Res64: 64400A5EE4FA92FC Time : 0.0 sec. user=mdettweiler [2020-05-27 04:21:03] 873*2^1560207-1 is not prime. Res64: 9645035B63E19229 Time : 0.0 sec. user=mdettweiler [2020-05-27 04:21:05] 879*2^1560207-1 is not prime. Res64: 75A97486EFD372AD Time : 0.0 sec. user=mdettweiler [2020-05-27 04:21:06] 979*2^1560207-1 is not prime. Res64: 417207154D9D5F99 Time : 0.0 sec. user=mdettweiler [2020-05-27 04:21:09] 665*2^1560208-1 is not prime. Res64: D8AE03FA5E495293 Time : 0.0 sec. user=mdettweiler [2020-05-27 04:24:43] 755*2^1560208-1 is not prime. Res64: C7B638748CCBE82B Time : 0.0 sec. user=mdettweiler [2020-05-27 04:24:45] 827*2^1560208-1 is not prime. Res64: E06EB6B37B92D482 Time : 0.0 sec. user=mdettweiler [2020-05-27 04:24:47] 839*2^1560208-1 is not prime. Res64: E9ACB3E025F78661 Time : 0.0 sec. user=mdettweiler [2020-05-27 04:24:49] 875*2^1560208-1 is not prime. Res64: A137302E4975B188 Time : 0.0 sec. user=mdettweiler [2020-05-27 04:24:51] 897*2^1560208-1 is not prime. Res64: 2FFEC6F29F62AF57 Time : 0.0 sec. user=mdettweiler [2020-05-27 04:38:34] 905*2^1560208-1 is not prime. Res64: BF38F091BF9FEA9D Time : 0.0 sec. user=mdettweiler [2020-05-27 05:17:43] 897*2^1560209-1 is not prime. Res64: 44AD53F5B8BED95C Time : 0.0 sec. user=mdettweiler [2020-05-27 05:17:43] 985*2^1560209-1 is not prime. Res64: 0EA1FD3ABA6B00C9 Time : 0.0 sec. user=mdettweiler [2020-05-27 05:17:43] 987*2^1560209-1 is not prime. Res64: 1CE5D295FF511EF6 Time : 0.0 sec. user=mdettweiler [2020-05-27 05:17:44] 627*2^1560210-1 is not prime. Res64: B181AD5AD694BA20 Time : 0.0 sec. user=mdettweiler [2020-05-27 05:17:44] 723*2^1560210-1 is not prime. Res64: 259A36DE2BABC611 Time : 0.0 sec. user=mdettweiler [2020-05-27 05:20:19] 725*2^1560210-1 is not prime. Res64: AACFA25256863124 Time : 0.0 sec. user=mdettweiler [2020-05-27 05:20:19] 867*2^1560210-1 is not prime. Res64: 194460458C519A7E Time : 0.0 sec. user=mdettweiler [2020-05-27 05:20:20] 1001*2^1560210-1 is not prime. Res64: 0D415A6E03851604 Time : 0.0 sec. user=mdettweiler [2020-05-27 05:20:20] 619*2^1560211-1 is not prime. Res64: 932AA8BA81771DC7 Time : 0.0 sec. user=mdettweiler [2020-05-27 05:20:21] 621*2^1560211-1 is not prime. Res64: C00DFF1863A425B3 Time : 0.0 sec. user=mdettweiler [2020-05-27 06:12:47] 829*2^1560021-1 is not prime. Res64: 837F691BFB590A2B Time : 0.0 sec. user=mdettweiler [2020-05-27 06:12:47] 631*2^1560211-1 is not prime. Res64: 3B48F38DCAD888AB Time : 0.0 sec. user=mdettweiler [2020-05-27 06:12:48] 673*2^1560211-1 is not prime. Res64: AC5B065A587E2923 Time : 0.0 sec. user=mdettweiler [2020-05-27 06:12:48] 843*2^1560211-1 is not prime. Res64: B1C6F880B9328A98 Time : 0.0 sec. user=mdettweiler [2020-05-27 06:12:49] 961*2^1560211-1 is not prime. Res64: 48E0C84F371C5ECB Time : 0.0 sec. user=mdettweiler [2020-05-27 06:17:02] 797*2^1560212-1 is not prime. Res64: 0B526957429F18B8 Time : 0.0 sec. user=mdettweiler [2020-05-27 06:17:02] 819*2^1560212-1 is not prime. Res64: 4EC48F2EEAC0F4DE Time : 0.0 sec. user=mdettweiler [2020-05-27 06:17:02] 875*2^1560212-1 is not prime. Res64: 851DA129A6ECC7AD Time : 0.0 sec. user=mdettweiler [2020-05-27 06:17:03] 957*2^1560212-1 is not prime. Res64: D28F20D7137EB069 Time : 0.0 sec. user=mdettweiler [2020-05-27 06:17:03] 945*2^1560213-1 is not prime. Res64: E0A3A222EAB018C6 Time : 0.0 sec. user=mdettweiler [2020-05-27 07:05:03] 611*2^1560214-1 is not prime. Res64: 9838887AD1365C92 Time : 0.0 sec. user=mdettweiler [2020-05-27 07:05:07] 623*2^1560214-1 is not prime. Res64: D31F5EB959D45773 Time : 0.0 sec. user=mdettweiler [2020-05-27 07:05:08] 645*2^1560214-1 is not prime. Res64: 9DE930997156D758 Time : 0.0 sec. user=mdettweiler [2020-05-27 07:05:10] 657*2^1560214-1 is not prime. Res64: 22E516E912BAEF38 Time : 0.0 sec. user=mdettweiler [2020-05-27 07:05:12] 765*2^1560214-1 is not prime. Res64: A53F8A6C83B00259 Time : 0.0 sec. user=mdettweiler [2020-05-27 07:13:52] 813*2^1560214-1 is not prime. Res64: 3FE0F7A7C051946A Time : 0.0 sec. user=mdettweiler [2020-05-27 07:13:53] 833*2^1560214-1 is not prime. Res64: E49BA25CA7FEF4B5 Time : 0.0 sec. user=mdettweiler [2020-05-27 07:13:53] 917*2^1560214-1 is not prime. Res64: 8DE098841A46C8FE Time : 0.0 sec. user=mdettweiler [2020-05-27 07:13:54] 951*2^1560214-1 is not prime. Res64: 351C4209F95F1F7C Time : 0.0 sec. user=mdettweiler [2020-05-27 07:13:54] 975*2^1560214-1 is not prime. Res64: 8F07E7C0B641C56D Time : 0.0 sec. user=mdettweiler [2020-05-27 08:02:58] 1001*2^1560214-1 is not prime. Res64: FBC6F84E4D243101 Time : 0.0 sec. user=mdettweiler [2020-05-27 08:03:00] 663*2^1560215-1 is not prime. Res64: 8B0F656B03C6F540 Time : 0.0 sec. user=mdettweiler [2020-05-27 08:03:02] 861*2^1560215-1 is not prime. Res64: BB97D8A5BFD55678 Time : 0.0 sec. user=mdettweiler [2020-05-27 08:03:05] 883*2^1560215-1 is not prime. Res64: DCC7C12BAD553024 Time : 0.0 sec. user=mdettweiler [2020-05-27 08:03:08] 921*2^1560215-1 is not prime. Res64: EAF2DCDDE6DEF620 Time : 0.0 sec. user=mdettweiler [2020-05-27 08:08:15] 949*2^1560215-1 is not prime. Res64: 61E8E260422B2AEA Time : 0.0 sec. user=mdettweiler [2020-05-27 08:08:16] 779*2^1560216-1 is not prime. Res64: 741EF992C9255156 Time : 0.0 sec. user=mdettweiler [2020-05-27 08:08:18] 649*2^1560217-1 is not prime. Res64: D415F44BCE9986E3 Time : 0.0 sec. user=mdettweiler [2020-05-27 08:08:19] 717*2^1560217-1 is not prime. Res64: 41BCEA7ABDDEC884 Time : 0.0 sec. user=mdettweiler [2020-05-27 08:08:20] 747*2^1560217-1 is not prime. Res64: F624B2E6376DE20A Time : 0.0 sec. user=mdettweiler [2020-05-27 08:58:25] 829*2^1560217-1 is not prime. Res64: D95877781E9E6270 Time : 0.0 sec. user=mdettweiler [2020-05-27 08:58:26] 867*2^1560217-1 is not prime. Res64: 783E2E1E1E615DE1 Time : 0.0 sec. user=mdettweiler [2020-05-27 08:58:26] 915*2^1560217-1 is not prime. Res64: C53BC715209ADFEB Time : 0.0 sec. user=mdettweiler [2020-05-27 08:58:27] 627*2^1560218-1 is not prime. Res64: 5AC862C7EFE46655 Time : 0.0 sec. user=mdettweiler [2020-05-27 08:58:27] 635*2^1560218-1 is not prime. Res64: 5C55FE9100E5E7C3 Time : 0.0 sec. user=mdettweiler [2020-05-27 09:01:50] 705*2^1560218-1 is not prime. Res64: 39BC62B1242FBE8C Time : 0.0 sec. user=mdettweiler [2020-05-27 09:01:52] 735*2^1560218-1 is not prime. Res64: FC00F4E5DF570289 Time : 0.0 sec. user=mdettweiler [2020-05-27 09:01:53] 753*2^1560218-1 is not prime. Res64: 22EBE315B7B0E287 Time : 0.0 sec. user=mdettweiler [2020-05-27 09:01:58] 815*2^1560218-1 is not prime. Res64: ED558375B028A1DD Time : 0.0 sec. user=mdettweiler [2020-05-27 09:02:00] 825*2^1560218-1 is not prime. Res64: 9F223E16F3C2A78D Time : 0.0 sec. user=mdettweiler [2020-05-27 09:52:27] 989*2^1560208-1 is not prime. Res64: DF294DAB8552AA6C Time : 0.0 sec. user=mdettweiler [2020-05-27 09:52:28] 999*2^1560208-1 is not prime. Res64: 405AD8375A1C4887 Time : 0.0 sec. user=mdettweiler [2020-05-27 09:52:28] 699*2^1560209-1 is not prime. Res64: 30748877AC17F0CE Time : 0.0 sec. user=mdettweiler [2020-05-27 09:52:28] 861*2^1560209-1 is not prime. Res64: C8719DE5675B69F2 Time : 0.0 sec. user=mdettweiler [2020-05-27 09:55:19] 923*2^1560218-1 is not prime. Res64: A47E3EECAC431D10 Time : 0.0 sec. user=mdettweiler [2020-05-27 09:55:19] 963*2^1560218-1 is not prime. Res64: 66585933894DAA66 Time : 0.0 sec. user=mdettweiler [2020-05-27 09:55:20] 971*2^1560218-1 is not prime. Res64: F477E856E76EB423 Time : 0.0 sec. user=mdettweiler [2020-05-27 09:55:20] 709*2^1560219-1 is not prime. Res64: 6DBFDF6496642562 Time : 0.0 sec. user=mdettweiler [2020-05-27 09:55:20] 741*2^1560219-1 is not prime. Res64: BCEC154E5D56A07C Time : 0.0 sec. user=mdettweiler [2020-05-27 10:00:30] 873*2^1560219-1 is not prime. Res64: 1E0F617622C3573E Time : 0.0 sec. user=mdettweiler [2020-05-27 10:00:31] 985*2^1560219-1 is not prime. Res64: F9E3A7C6CD467B59 Time : 0.0 sec. user=mdettweiler [2020-05-27 10:00:32] 797*2^1560220-1 is not prime. Res64: BCBE0C8060FC0B97 Time : 0.0 sec. user=mdettweiler [2020-05-27 10:00:33] 855*2^1560220-1 is not prime. Res64: 9BB355E5DA44CE4B Time : 0.0 sec. user=mdettweiler [2020-05-27 10:00:33] 987*2^1560220-1 is not prime. Res64: AE48C2ED93B960A1 Time : 0.0 sec. user=mdettweiler [2020-05-27 10:44:17] 615*2^1560221-1 is not prime. Res64: ADA9E139ED0E458A Time : 0.0 sec. user=mdettweiler [2020-05-27 10:44:18] 769*2^1560221-1 is not prime. Res64: B7E28560E30196BF Time : 0.0 sec. user=mdettweiler [2020-05-27 10:44:19] 681*2^1560222-1 is not prime. Res64: 5399E40CEAF28BC9 Time : 0.0 sec. user=mdettweiler [2020-05-27 10:44:20] 683*2^1560222-1 is not prime. Res64: E39913D1A04F317F Time : 0.0 sec. user=mdettweiler [2020-05-27 10:44:20] 695*2^1560222-1 is not prime. Res64: 3C2C7717BF0A67E4 Time : 0.0 sec. user=mdettweiler [2020-05-27 10:48:25] 705*2^1560222-1 is not prime. Res64: C3A83DFD28A5A28C Time : 0.0 sec. user=mdettweiler [2020-05-27 10:48:25] 713*2^1560222-1 is not prime. Res64: 652432006B35325D Time : 0.0 sec. user=mdettweiler [2020-05-27 10:48:26] 725*2^1560222-1 is not prime. Res64: 3FB9AA8776341E39 Time : 0.0 sec. user=mdettweiler [2020-05-27 10:48:26] 747*2^1560222-1 is not prime. Res64: E1F20F5CDA2011F2 Time : 0.0 sec. user=mdettweiler [2020-05-27 10:48:27] 797*2^1560222-1 is not prime. Res64: 51F9E25977312D72 Time : 0.0 sec. user=mdettweiler [2020-05-27 10:56:31] 825*2^1560222-1 is not prime. Res64: E1499D10DCD123A0 Time : 0.0 sec. user=mdettweiler [2020-05-27 10:56:31] 867*2^1560222-1 is not prime. Res64: 79BF70886CF448F1 Time : 0.0 sec. user=mdettweiler [2020-05-27 10:56:32] 873*2^1560222-1 is not prime. Res64: 0CA3E76084ECDAA5 Time : 0.0 sec. user=mdettweiler [2020-05-27 10:56:32] 941*2^1560222-1 is not prime. Res64: B9D0D8C9D1D0129E Time : 0.0 sec. user=mdettweiler [2020-05-27 10:56:32] 633*2^1560223-1 is not prime. Res64: 936E50A52ABD16F1 Time : 0.0 sec. user=mdettweiler [2020-05-27 11:38:53] 861*2^1560223-1 is not prime. Res64: 7272061B44B50EC8 Time : 0.0 sec. user=mdettweiler [2020-05-27 11:38:54] 871*2^1560223-1 is not prime. Res64: 56689B173C886E3C Time : 0.0 sec. user=mdettweiler [2020-05-27 11:38:54] 659*2^1560224-1 is not prime. Res64: 16F02064DC5709C8 Time : 0.0 sec. user=mdettweiler [2020-05-27 11:38:55] 683*2^1560224-1 is not prime. Res64: 707A5829F1B4481C Time : 0.0 sec. user=mdettweiler [2020-05-27 11:38:55] 813*2^1560224-1 is not prime. Res64: 9648499E9B20E83D Time : 0.0 sec. user=mdettweiler [2020-05-27 11:42:00] 915*2^1560224-1 is not prime. Res64: 52D0EFD17892FDC7 Time : 0.0 sec. user=mdettweiler [2020-05-27 11:42:00] 625*2^1560225-1 is not prime. Res64: CE0F22A0E6493AF3 Time : 0.0 sec. user=mdettweiler [2020-05-27 11:42:00] 685*2^1560225-1 is not prime. Res64: 6FFC7A88457F362F Time : 0.0 sec. user=mdettweiler [2020-05-27 11:42:01] 717*2^1560225-1 is not prime. Res64: FA6B10F05DC8563D Time : 0.0 sec. user=mdettweiler [2020-05-27 11:42:01] 777*2^1560225-1 is not prime. Res64: 8ABE6F8BFFD2C8F6 Time : 0.0 sec. user=mdettweiler [2020-05-27 11:53:51] 787*2^1560225-1 is not prime. Res64: 3DA5EFD591FFBC00 Time : 0.0 sec. user=mdettweiler [2020-05-27 11:53:51] 871*2^1560225-1 is not prime. Res64: 76E7D5A71263EF86 Time : 0.0 sec. user=mdettweiler [2020-05-27 11:53:51] 915*2^1560225-1 is not prime. Res64: 0E8E143501637B91 Time : 0.0 sec. user=mdettweiler [2020-05-27 11:53:52] 937*2^1560225-1 is not prime. Res64: 7A607F53F2D478E2 Time : 0.0 sec. user=mdettweiler [2020-05-27 11:53:52] 949*2^1560225-1 is not prime. Res64: C625184F9A225A08 Time : 0.0 sec. user=mdettweiler [2020-05-27 12:32:38] 617*2^1560226-1 is not prime. Res64: 4738B5FD58B3EF04 Time : 0.0 sec. user=mdettweiler [2020-05-27 12:32:39] 723*2^1560226-1 is not prime. Res64: 3B1757BBDFF7A2E9 Time : 0.0 sec. user=mdettweiler [2020-05-27 12:32:39] 971*2^1560226-1 is not prime. Res64: 04078712C38EBFE8 Time : 0.0 sec. user=mdettweiler [2020-05-27 12:32:39] 711*2^1560227-1 is not prime. Res64: 536BA0ED45910A5A Time : 0.0 sec. user=mdettweiler [2020-05-27 12:32:40] 627*2^1560228-1 is not prime. Res64: 51BA278BA456FB61 Time : 0.0 sec. user=mdettweiler [2020-05-27 12:37:25] 723*2^1560228-1 is not prime. Res64: 0966B893C9EF3543 Time : 0.0 sec. user=mdettweiler [2020-05-27 12:37:26] 759*2^1560228-1 is not prime. Res64: ECA3A1D25BFFC6D5 Time : 0.0 sec. user=mdettweiler [2020-05-27 12:37:26] 777*2^1560228-1 is not prime. Res64: 7A82CF7345AAC2F5 Time : 0.0 sec. user=mdettweiler [2020-05-27 12:37:26] 867*2^1560228-1 is not prime. Res64: D7BD36DE47CC7B87 Time : 0.0 sec. user=mdettweiler [2020-05-27 12:37:27] 915*2^1560228-1 is not prime. Res64: FDE51C55201FC6C5 Time : 0.0 sec. user=mdettweiler [2020-05-27 12:46:31] 619*2^1560229-1 is not prime. Res64: 9420415B33D8A8A3 Time : 0.0 sec. user=mdettweiler [2020-05-27 12:46:32] 621*2^1560229-1 is not prime. Res64: 1913BF8285D13597 Time : 0.0 sec. user=mdettweiler [2020-05-27 12:46:32] 721*2^1560229-1 is not prime. Res64: 067F278266ECDB20 Time : 0.0 sec. user=mdettweiler [2020-05-27 12:46:32] 811*2^1560229-1 is not prime. Res64: 5C538338E7882379 Time : 0.0 sec. user=mdettweiler [2020-05-27 12:46:33] 817*2^1560229-1 is not prime. Res64: E1A94206284E6264 Time : 0.0 sec. user=mdettweiler [2020-05-27 13:27:56] 885*2^1560229-1 is not prime. Res64: 2571AEE8E5644B3E Time : 0.0 sec. user=mdettweiler [2020-05-27 13:27:57] 939*2^1560229-1 is not prime. Res64: DDD4C5B1F15891D8 Time : 0.0 sec. user=mdettweiler [2020-05-27 13:27:57] 741*2^1560230-1 is not prime. Res64: 11CDC783CD1D7AF2 Time : 0.0 sec. user=mdettweiler [2020-05-27 13:27:58] 813*2^1560230-1 is not prime. Res64: A080F864EF062923 Time : 0.0 sec. user=mdettweiler [2020-05-27 13:27:59] 833*2^1560230-1 is not prime. Res64: 1C555BC4442297C8 Time : 0.0 sec. user=mdettweiler [2020-05-27 13:31:38] 917*2^1560230-1 is not prime. Res64: 616481729FFA0337 Time : 0.0 sec. user=mdettweiler [2020-05-27 13:31:39] 705*2^1560231-1 is not prime. Res64: B673EF3D8300D676 Time : 0.0 sec. user=mdettweiler [2020-05-27 13:31:40] 783*2^1560231-1 is not prime. Res64: 747242D889F5CEA8 Time : 0.0 sec. user=mdettweiler [2020-05-27 13:31:40] 795*2^1560231-1 is not prime. Res64: 7F5A9D84C99B05B7 Time : 0.0 sec. user=mdettweiler [2020-05-27 13:31:41] 825*2^1560231-1 is not prime. Res64: 4C99B801A31C33A3 Time : 0.0 sec. user=mdettweiler [2020-05-27 13:42:18] 861*2^1560231-1 is not prime. Res64: 54257004AE828101 Time : 0.0 sec. user=mdettweiler [2020-05-27 13:42:18] 879*2^1560231-1 is not prime. Res64: 92AA896441AC38D9 Time : 0.0 sec. user=mdettweiler [2020-05-27 13:42:18] 961*2^1560231-1 is not prime. Res64: 69E92D4C4A099635 Time : 0.0 sec. user=mdettweiler [2020-05-27 13:42:19] 603*2^1560232-1 is not prime. Res64: D5986B220909C6D8 Time : 0.0 sec. user=mdettweiler [2020-05-27 13:42:19] 665*2^1560232-1 is not prime. Res64: 0404E74CA61C5449 Time : 0.0 sec. user=mdettweiler [2020-05-27 14:21:39] 813*2^1560232-1 is not prime. Res64: 8F695B0ABD07CB8A Time : 0.0 sec. user=mdettweiler [2020-05-27 14:21:40] 855*2^1560232-1 is not prime. Res64: A72BD248FC21BB71 Time : 0.0 sec. user=mdettweiler [2020-05-27 14:21:40] 649*2^1560233-1 is not prime. Res64: BC6BF8440FAC3D08 Time : 0.0 sec. user=mdettweiler [2020-05-27 14:21:41] 675*2^1560233-1 is not prime. Res64: D33CB16C4E7BBCCA Time : 0.0 sec. user=mdettweiler [2020-05-27 14:21:41] 729*2^1560233-1 is not prime. Res64: 333CCD07C54B9351 Time : 0.0 sec. user=mdettweiler [2020-05-27 14:28:08] 735*2^1560233-1 is not prime. Res64: CBDB6574D763CD1B Time : 0.0 sec. user=mdettweiler [2020-05-27 14:28:08] 889*2^1560233-1 is not prime. Res64: 6E4FBA421DA42C30 Time : 0.0 sec. user=mdettweiler [2020-05-27 14:28:09] 987*2^1560233-1 is not prime. Res64: 1E40F2F3ADCC6F9E Time : 0.0 sec. user=mdettweiler [2020-05-27 14:28:09] 833*2^1560234-1 is not prime. Res64: F5288982BCC8BA37 Time : 0.0 sec. user=mdettweiler [2020-05-27 14:28:10] 837*2^1560234-1 is not prime. Res64: 8901BCEBB9CD8031 Time : 0.0 sec. user=mdettweiler [2020-05-27 14:39:28] 917*2^1560234-1 is not prime. Res64: 337662D0DF2774F5 Time : 0.0 sec. user=mdettweiler [2020-05-27 14:39:28] 927*2^1560234-1 is not prime. Res64: 8C1E9C8DD6FA733D Time : 0.0 sec. user=mdettweiler [2020-05-27 14:39:29] 975*2^1560234-1 is not prime. Res64: 143401F1D9443D01 Time : 0.0 sec. user=mdettweiler [2020-05-27 14:39:29] 993*2^1560234-1 is not prime. Res64: 896BF1327FE00718 Time : 0.0 sec. user=mdettweiler [2020-05-27 14:39:29] 631*2^1560235-1 is not prime. Res64: 8349DB623C444012 Time : 0.0 sec. user=mdettweiler [2020-05-27 15:18:04] 775*2^1560235-1 is not prime. Res64: EF59ABEBE2D39613 Time : 0.0 sec. user=mdettweiler [2020-05-27 15:18:05] 783*2^1560235-1 is not prime. Res64: BE53EC18309C46E4 Time : 0.0 sec. user=mdettweiler [2020-05-27 15:18:06] 843*2^1560235-1 is not prime. Res64: 9E38CBE249E91E41 Time : 0.0 sec. user=mdettweiler [2020-05-27 15:18:06] 855*2^1560235-1 is not prime. Res64: 5442B6AD917EA86C Time : 0.0 sec. user=mdettweiler [2020-05-27 15:18:07] 951*2^1560235-1 is not prime. Res64: 39EAC40E840BD505 Time : 0.0 sec. user=mdettweiler [2020-05-27 15:24:11] 725*2^1560236-1 is not prime. Res64: 17992A3754C015BC Time : 0.0 sec. user=mdettweiler [2020-05-27 15:24:11] 839*2^1560236-1 is not prime. Res64: C4654ECEF9317DC3 Time : 0.0 sec. user=mdettweiler [2020-05-27 15:24:12] 873*2^1560236-1 is not prime. Res64: 1AF2248B059F31A5 Time : 0.0 sec. user=mdettweiler [2020-05-27 15:24:12] 993*2^1560236-1 is not prime. Res64: 261DAC66A37AA838 Time : 0.0 sec. user=mdettweiler [2020-05-27 15:24:13] 615*2^1560237-1 is not prime. Res64: 02C85F5E28D6AADE Time : 0.0 sec. user=mdettweiler [2020-05-27 15:35:33] 685*2^1560237-1 is not prime. Res64: 249BA0314CDE585A Time : 0.0 sec. user=mdettweiler [2020-05-27 15:35:34] 817*2^1560237-1 is not prime. Res64: A0F74C7A3A05C78E Time : 0.0 sec. user=mdettweiler [2020-05-27 15:35:34] 835*2^1560237-1 is not prime. Res64: A2ACD4FC66355FEF Time : 0.0 sec. user=mdettweiler [2020-05-27 15:35:34] 837*2^1560237-1 is not prime. Res64: 9CBFC09597D938FC Time : 0.0 sec. user=mdettweiler [2020-05-27 15:35:35] 849*2^1560237-1 is not prime. Res64: AB69D2F5748EF4B7 Time : 0.0 sec. user=mdettweiler [2020-05-27 16:14:17] 985*2^1560237-1 is not prime. Res64: 6C6567EBD5DE78BE Time : 0.0 sec. user=mdettweiler [2020-05-27 16:14:18] 647*2^1560238-1 is not prime. Res64: 9813203D8052088F Time : 0.0 sec. user=mdettweiler [2020-05-27 16:14:18] 827*2^1560238-1 is not prime. Res64: C01D7395118E7A81 Time : 0.0 sec. user=mdettweiler [2020-05-27 16:14:19] 911*2^1560238-1 is not prime. Res64: B558441E26DFB9E7 Time : 0.0 sec. user=mdettweiler [2020-05-27 16:14:20] 933*2^1560238-1 is not prime. Res64: 42BEF0334AD4B800 Time : 0.0 sec. user=mdettweiler [2020-05-27 16:19:34] 711*2^1560239-1 is not prime. Res64: 785A69F42FB1F29A Time : 0.0 sec. user=mdettweiler [2020-05-27 16:19:35] 745*2^1560239-1 is not prime. Res64: 5576D77C17211E56 Time : 0.0 sec. user=mdettweiler [2020-05-27 16:19:35] 775*2^1560239-1 is not prime. Res64: 8946791E84D63CAF Time : 0.0 sec. user=mdettweiler [2020-05-27 16:19:36] 855*2^1560239-1 is not prime. Res64: 6BFF4FA2EFA65E37 Time : 0.0 sec. user=mdettweiler [2020-05-27 16:19:36] 909*2^1560239-1 is not prime. Res64: 1D1841C9FC60706A Time : 0.0 sec. user=mdettweiler [2020-05-27 16:29:12] 955*2^1560239-1 is not prime. Res64: 2750C0F868C72B2C Time : 0.0 sec. user=mdettweiler [2020-05-27 16:29:12] 629*2^1560240-1 is not prime. Res64: EDF6933E0B849A0A Time : 0.0 sec. user=mdettweiler [2020-05-27 16:29:13] 717*2^1560240-1 is not prime. Res64: 48D0DE6D0B216399 Time : 0.0 sec. user=mdettweiler [2020-05-27 16:29:13] 765*2^1560240-1 is not prime. Res64: 8E3D311CDEC4CA56 Time : 0.0 sec. user=mdettweiler [2020-05-27 16:29:13] 625*2^1560241-1 is not prime. Res64: 489DAF52FF800761 Time : 0.0 sec. user=mdettweiler [2020-05-27 17:07:48] 639*2^1560241-1 is not prime. Res64: 06A088AD1D07AC19 Time : 0.0 sec. user=mdettweiler [2020-05-27 17:07:50] 651*2^1560241-1 is not prime. Res64: 4C7089563D2B1BBD Time : 0.0 sec. user=mdettweiler [2020-05-27 17:07:52] 687*2^1560241-1 is not prime. Res64: 927FA0505FFC23CA Time : 0.0 sec. user=mdettweiler [2020-05-27 17:07:53] 747*2^1560241-1 is not prime. Res64: CC0167A60574C2DB Time : 0.0 sec. user=mdettweiler [2020-05-27 17:07:54] 835*2^1560241-1 is not prime. Res64: 559C2CD6BA47BB82 Time : 0.0 sec. user=mdettweiler [2020-05-27 17:15:31] 861*2^1560241-1 is not prime. Res64: 7D544A01F5C9E155 Time : 0.0 sec. user=mdettweiler [2020-05-27 17:15:31] 871*2^1560241-1 is not prime. Res64: 0C9F73200A493695 Time : 0.0 sec. user=mdettweiler [2020-05-27 17:15:32] 939*2^1560241-1 is not prime. Res64: 6B7620D9E9017205 Time : 0.0 sec. user=mdettweiler [2020-05-27 17:15:32] 617*2^1560242-1 is not prime. Res64: 8062D6A5F4DF406A Time : 0.0 sec. user=mdettweiler [2020-05-27 17:15:33] 623*2^1560242-1 is not prime. Res64: C4341FF62B854979 Time : 0.0 sec. user=mdettweiler [2020-05-27 17:24:18] 645*2^1560242-1 is not prime. Res64: CB808B5A78BB7AED Time : 0.0 sec. user=mdettweiler [2020-05-27 17:24:18] 701*2^1560242-1 is not prime. Res64: 8AB59E5148D16846 Time : 0.0 sec. user=mdettweiler [2020-05-27 17:24:19] 977*2^1560242-1 is not prime. Res64: 706BD1AE051FFB43 Time : 0.0 sec. user=mdettweiler [2020-05-27 17:24:19] 983*2^1560242-1 is not prime. Res64: C82E0B69E68B052C Time : 0.0 sec. user=mdettweiler [2020-05-27 17:24:20] 723*2^1560243-1 is not prime. Res64: 07745D6473AB6DEA Time : 0.0 sec. user=mdettweiler [2020-05-27 18:01:20] 795*2^1560243-1 is not prime. Res64: 7B67489AFD1F86E2 Time : 0.0 sec. user=mdettweiler [2020-05-27 18:01:25] 885*2^1560243-1 is not prime. Res64: 8204F7D98C713AFE Time : 0.0 sec. user=mdettweiler [2020-05-27 18:01:30] 623*2^1560244-1 is not prime. Res64: 840CC082B704A33A Time : 0.0 sec. user=mdettweiler [2020-05-27 18:01:34] 677*2^1560244-1 is not prime. Res64: 999237C2B021C5D5 Time : 0.0 sec. user=mdettweiler [2020-05-27 18:01:37] 693*2^1560244-1 is not prime. Res64: FB0122611634CFA4 Time : 0.0 sec. user=mdettweiler [2020-05-27 18:13:06] 743*2^1560244-1 is not prime. Res64: 14713C61963B83CE Time : 0.0 sec. user=mdettweiler [2020-05-27 18:13:06] 855*2^1560244-1 is not prime. Res64: D921D28253B32C55 Time : 0.0 sec. user=mdettweiler [2020-05-27 18:13:07] 915*2^1560244-1 is not prime. Res64: BD6F48DD5DBD82A1 Time : 0.0 sec. user=mdettweiler [2020-05-27 18:13:07] 983*2^1560244-1 is not prime. Res64: 85E6872840B27D79 Time : 0.0 sec. user=mdettweiler [2020-05-27 18:13:08] 989*2^1560244-1 is not prime. Res64: C2AE87C08818A94C Time : 0.0 sec. user=mdettweiler [2020-05-27 18:19:22] 993*2^1560244-1 is not prime. Res64: 13A64534036471D7 Time : 0.0 sec. user=mdettweiler [2020-05-27 18:19:22] 697*2^1560245-1 is not prime. Res64: EE37E565B79754D2 Time : 0.0 sec. user=mdettweiler [2020-05-27 18:19:22] 757*2^1560245-1 is not prime. Res64: 0E7B080456214596 Time : 0.0 sec. user=mdettweiler [2020-05-27 18:19:23] 759*2^1560245-1 is not prime. Res64: EAEAF6149A121DC0 Time : 0.0 sec. user=mdettweiler [2020-05-27 18:19:23] 955*2^1560245-1 is not prime. Res64: 0B4E4270C73BCC06 Time : 0.0 sec. user=mdettweiler [2020-05-27 18:57:15] 611*2^1560246-1 is not prime. Res64: EC470D27012F409C Time : 0.0 sec. user=mdettweiler [2020-05-27 18:57:15] 671*2^1560246-1 is not prime. Res64: 25938BCB91B34FDB Time : 0.0 sec. user=mdettweiler [2020-05-27 18:57:16] 723*2^1560246-1 is not prime. Res64: 4D10E40E9B976696 Time : 0.0 sec. user=mdettweiler [2020-05-27 18:57:16] 891*2^1560246-1 is not prime. Res64: 2E03EBD337F4D433 Time : 0.0 sec. user=mdettweiler [2020-05-27 18:57:17] 917*2^1560246-1 is not prime. Res64: D04BCB30D208C666 Time : 0.0 sec. user=mdettweiler [2020-05-27 19:08:12] 675*2^1560247-1 is not prime. Res64: 2A1513553E8AE197 Time : 0.0 sec. user=mdettweiler [2020-05-27 19:08:16] 925*2^1560247-1 is not prime. Res64: F3DEB97227EBA91A Time : 0.0 sec. user=mdettweiler [2020-05-27 19:08:18] 993*2^1560247-1 is not prime. Res64: 1EFCD892A61A5AEF Time : 0.0 sec. user=mdettweiler [2020-05-27 19:08:21] 759*2^1560248-1 is not prime. Res64: 6CC413F6C7C07718 Time : 0.0 sec. user=mdettweiler [2020-05-27 19:08:23] 657*2^1560249-1 is not prime. Res64: 273BFCD7D56A2C99 Time : 0.0 sec. user=mdettweiler [2020-05-27 19:14:48] 661*2^1560249-1 is not prime. Res64: 22208DFB28973250 Time : 0.0 sec. user=mdettweiler [2020-05-27 19:14:49] 789*2^1560249-1 is not prime. Res64: 596C8DEF305C391B Time : 0.0 sec. user=mdettweiler [2020-05-27 19:14:49] 817*2^1560249-1 is not prime. Res64: 0E117DA7CE6602F9 Time : 0.0 sec. user=mdettweiler [2020-05-27 19:14:50] 861*2^1560249-1 is not prime. Res64: 9FE2780CAD405D75 Time : 0.0 sec. user=mdettweiler [2020-05-27 19:14:51] 885*2^1560249-1 is not prime. Res64: C44A0E2D7CD3FAD1 Time : 0.0 sec. user=mdettweiler [2020-05-27 19:50:12] 635*2^1560250-1 is not prime. Res64: 10F450BA6364F754 Time : 0.0 sec. user=mdettweiler [2020-05-27 19:50:12] 695*2^1560250-1 is not prime. Res64: 6CA4D68DE2E57553 Time : 0.0 sec. user=mdettweiler [2020-05-27 19:50:13] 833*2^1560250-1 is not prime. Res64: 5623B0AC7E109E07 Time : 0.0 sec. user=mdettweiler [2020-05-27 19:50:14] 609*2^1560251-1 is not prime. Res64: D38D9FCD6D3639C3 Time : 0.0 sec. user=mdettweiler [2020-05-27 19:50:14] 621*2^1560251-1 is not prime. Res64: AF6575B2AB910FBB Time : 0.0 sec. user=mdettweiler [2020-05-27 20:02:29] 741*2^1560251-1 is not prime. Res64: F9D2FE932A66A653 Time : 0.0 sec. user=mdettweiler [2020-05-27 20:09:57] 915*2^1560252-1 is not prime. Res64: C5AA9C2DC05193CB Time : 0.0 sec. user=mdettweiler [2020-05-27 20:10:01] 923*2^1560252-1 is not prime. Res64: 9951A8E5230EBC8F Time : 0.0 sec. user=mdettweiler [2020-05-27 20:10:04] 651*2^1560253-1 is not prime. Res64: 2ADDC3D95970B451 Time : 0.0 sec. user=mdettweiler [2020-05-27 20:10:08] 805*2^1560253-1 is not prime. Res64: 189C24E38D8FBFF7 Time : 0.0 sec. user=mdettweiler [2020-05-27 20:10:11] 741*2^1560254-1 is not prime. Res64: 250A18504690756D Time : 0.0 sec. user=mdettweiler [2020-05-27 20:46:32] 797*2^1560254-1 is not prime. Res64: 290E1A1522E83333 Time : 0.0 sec. user=mdettweiler [2020-05-27 20:46:32] 915*2^1560254-1 is not prime. Res64: 2207840AA0028562 Time : 0.0 sec. user=mdettweiler [2020-05-27 20:46:33] 927*2^1560254-1 is not prime. Res64: B9536A630A857DF0 Time : 0.0 sec. user=mdettweiler [2020-05-27 20:46:34] 953*2^1560254-1 is not prime. Res64: 38DB8E23355C6A9A Time : 0.0 sec. user=mdettweiler [2020-05-27 20:46:34] 675*2^1560255-1 is not prime. Res64: D54326081B8FD057 Time : 0.0 sec. user=mdettweiler [2020-05-27 21:12:49] 693*2^1560255-1 is not prime. Res64: FD77B5C79E812C5A Time : 0.0 sec. user=mdettweiler [2020-05-27 21:12:51] 789*2^1560255-1 is not prime. Res64: 42D13F15C7C6C8FF Time : 0.0 sec. user=mdettweiler [2020-05-27 21:12:52] 823*2^1560255-1 is not prime. Res64: 0A723EAD82A5C39D Time : 0.0 sec. user=mdettweiler [2020-05-27 21:12:53] 873*2^1560255-1 is not prime. Res64: EBBBFC04619C508F Time : 0.0 sec. user=mdettweiler [2020-05-27 21:12:54] 921*2^1560255-1 is not prime. Res64: 2D9C5EFAF95A289E Time : 0.0 sec. user=mdettweiler [2020-05-27 21:43:09] 963*2^1560255-1 is not prime. Res64: 82C132E8744C9FE6 Time : 0.0 sec. user=mdettweiler [2020-05-27 21:43:12] 719*2^1560256-1 is not prime. Res64: C5A892740C2F0FD0 Time : 0.0 sec. user=mdettweiler [2020-05-27 21:43:12] 785*2^1560256-1 is not prime. Res64: 26C1416A2762DDA8 Time : 0.0 sec. user=mdettweiler [2020-05-27 21:43:13] 855*2^1560256-1 is not prime. Res64: 6A84840E5FE50A10 Time : 0.0 sec. user=mdettweiler [2020-05-27 21:43:13] 875*2^1560256-1 is not prime. Res64: F8DEE05FB6C8D618 Time : 0.0 sec. user=mdettweiler [2020-05-27 22:07:41] 947*2^1560256-1 is not prime. Res64: B9C3527B201CAD79 Time : 0.0 sec. user=mdettweiler [2020-05-27 22:07:43] 989*2^1560256-1 is not prime. Res64: E0C3D8578F1FF874 Time : 0.0 sec. user=mdettweiler [2020-05-27 22:07:45] 601*2^1560257-1 is not prime. Res64: D8D7F183FCB5D3EF Time : 0.0 sec. user=mdettweiler [2020-05-27 22:07:46] 615*2^1560257-1 is not prime. Res64: 89A93B7F736D24E5 Time : 0.0 sec. user=mdettweiler [2020-05-27 22:07:49] 669*2^1560257-1 is not prime. Res64: 9B9587034A5B1DD1 Time : 0.0 sec. user=mdettweiler [2020-05-27 22:37:24] 691*2^1560257-1 is not prime. Res64: 89FB6489C7232DAE Time : 0.0 sec. user=mdettweiler [2020-05-27 22:37:26] 711*2^1560257-1 is not prime. Res64: F82BD3197EF216B0 Time : 0.0 sec. user=mdettweiler [2020-05-27 22:37:26] 735*2^1560257-1 is not prime. Res64: 9BEE71DC34592118 Time : 0.0 sec. user=mdettweiler [2020-05-27 22:37:27] 771*2^1560257-1 is not prime. Res64: 9541E496B52A49A7 Time : 0.0 sec. user=mdettweiler [2020-05-27 22:37:27] 841*2^1560257-1 is not prime. Res64: A3ACCD06DDBB908C Time : 0.0 sec. user=mdettweiler [2020-05-27 23:02:50] 871*2^1560257-1 is not prime. Res64: 0D053D71748B48FA Time : 0.0 sec. user=mdettweiler [2020-05-27 23:02:54] 949*2^1560257-1 is not prime. Res64: D9CA76E208CBCE49 Time : 0.0 sec. user=mdettweiler [2020-05-27 23:02:57] 621*2^1560258-1 is not prime. Res64: A7A01480FA31AE35 Time : 0.0 sec. user=mdettweiler [2020-05-27 23:03:00] 657*2^1560258-1 is not prime. Res64: E9A77B922FA9121E Time : 0.0 sec. user=mdettweiler [2020-05-27 23:03:03] 747*2^1560258-1 is not prime. Res64: 2ED96D951863DE4C Time : 0.0 sec. user=mdettweiler [2020-05-27 23:30:50] 755*2^1560258-1 is not prime. Res64: A49FD43DEE99BD79 Time : 0.0 sec. user=mdettweiler [2020-05-27 23:30:51] 791*2^1560258-1 is not prime. Res64: A90AAE7EDCD835E6 Time : 0.0 sec. user=mdettweiler [2020-05-27 23:30:51] 797*2^1560258-1 is not prime. Res64: 3114114BFD69C098 Time : 0.0 sec. user=mdettweiler [2020-05-27 23:30:52] 803*2^1560258-1 is not prime. Res64: FD725661C0CB7107 Time : 0.0 sec. user=mdettweiler [2020-05-27 23:30:52] 815*2^1560258-1 is not prime. Res64: F812EC2D0348CC2C Time : 0.0 sec. user=mdettweiler [2020-05-27 23:55:41] 601*2^1560259-1 is not prime. Res64: 222029109C368F9B Time : 0.0 sec. user=mdettweiler [2020-05-27 23:55:42] 619*2^1560259-1 is not prime. Res64: 9F0B3586625F760A Time : 0.0 sec. user=mdettweiler [2020-05-27 23:55:43] 639*2^1560259-1 is not prime. Res64: 1F9562CED5029218 Time : 0.0 sec. user=mdettweiler [2020-05-27 23:55:43] 645*2^1560259-1 is not prime. Res64: FC2BEBAC6C7D5C6F Time : 0.0 sec. user=mdettweiler [2020-05-27 23:55:44] 811*2^1560259-1 is not prime. Res64: 940CDF5570F87E90 Time : 0.0 sec.