user=mdettweiler [2020-05-10 00:25:29] 945*2^1559100-1 is not prime. Res64: 2695D3E1114C7CB7 Time : 0.0 sec. user=mdettweiler [2020-05-10 00:25:30] 987*2^1559100-1 is not prime. Res64: 8B46EBC4CEF101EF Time : 0.0 sec. user=mdettweiler [2020-05-10 00:25:30] 651*2^1559101-1 is not prime. Res64: C0299BECA9EF7C53 Time : 0.0 sec. user=mdettweiler [2020-05-10 00:25:31] 681*2^1559101-1 is not prime. Res64: B3F81E247DFEA28F Time : 0.0 sec. user=mdettweiler [2020-05-10 00:25:31] 691*2^1559101-1 is not prime. Res64: 0F3E48501F1FA9CA Time : 0.0 sec. user=mdettweiler [2020-05-10 00:28:09] 747*2^1559101-1 is not prime. Res64: DA8BDBB968E46F92 Time : 0.0 sec. user=mdettweiler [2020-05-10 00:28:09] 769*2^1559101-1 is not prime. Res64: 4AE2596F64A618F1 Time : 0.0 sec. user=mdettweiler [2020-05-10 00:28:09] 805*2^1559101-1 is not prime. Res64: 8D6F05B86450DB5D Time : 0.0 sec. user=mdettweiler [2020-05-10 00:28:10] 945*2^1559101-1 is not prime. Res64: 9E839F5A4FBFF95B Time : 0.0 sec. user=mdettweiler [2020-05-10 00:28:10] 987*2^1559101-1 is not prime. Res64: AD2D64F53DCEB919 Time : 0.0 sec. user=mdettweiler [2020-05-10 00:46:28] 675*2^1559102-1 is not prime. Res64: A2556F52F0B5887E Time : 0.0 sec. user=mdettweiler [2020-05-10 00:46:29] 741*2^1559102-1 is not prime. Res64: A6B7A0AF90913CDF Time : 0.0 sec. user=mdettweiler [2020-05-10 00:46:29] 825*2^1559102-1 is not prime. Res64: DA9748721CD769A3 Time : 0.0 sec. user=mdettweiler [2020-05-10 00:46:29] 887*2^1559102-1 is not prime. Res64: 865C7430D3CAACEA Time : 0.0 sec. user=mdettweiler [2020-05-10 00:46:30] 953*2^1559102-1 is not prime. Res64: 329FE8341DDAE0F1 Time : 0.0 sec. user=mdettweiler [2020-05-10 01:18:01] 609*2^1559103-1 is not prime. Res64: 27359380D8E29039 Time : 0.0 sec. user=mdettweiler [2020-05-10 01:18:02] 649*2^1559103-1 is not prime. Res64: BFFA240E8D8AEADF Time : 0.0 sec. user=mdettweiler [2020-05-10 01:18:02] 661*2^1559103-1 is not prime. Res64: E9C0456F8B677137 Time : 0.0 sec. user=mdettweiler [2020-05-10 01:18:02] 765*2^1559103-1 is not prime. Res64: 41B78F0AD0CE169E Time : 0.0 sec. user=mdettweiler [2020-05-10 01:18:02] 789*2^1559103-1 is not prime. Res64: 0F6F8C9B8F5476BA Time : 0.0 sec. user=mdettweiler [2020-05-10 01:23:12] 873*2^1559103-1 is not prime. Res64: 27729C19EC3730AD Time : 0.0 sec. user=mdettweiler [2020-05-10 01:23:13] 657*2^1559104-1 is not prime. Res64: 98AE7366CAA3F5B9 Time : 0.0 sec. user=mdettweiler [2020-05-10 01:23:13] 677*2^1559104-1 is not prime. Res64: FEB1435F0421D961 Time : 0.0 sec. user=mdettweiler [2020-05-10 01:23:14] 765*2^1559104-1 is not prime. Res64: 8FC1CBE3E00F11A9 Time : 0.0 sec. user=mdettweiler [2020-05-10 01:23:15] 849*2^1559104-1 is not prime. Res64: C871A5DFC8C4CAE5 Time : 0.0 sec. user=mdettweiler [2020-05-10 01:42:04] 903*2^1559104-1 is not prime. Res64: BACCD8EDBF12ACC3 Time : 0.0 sec. user=mdettweiler [2020-05-10 01:42:06] 947*2^1559104-1 is not prime. Res64: AD8413BE3311C9E8 Time : 0.0 sec. user=mdettweiler [2020-05-10 01:42:07] 645*2^1559105-1 is not prime. Res64: 4090C1B717EADE2E Time : 0.0 sec. user=mdettweiler [2020-05-10 01:42:08] 721*2^1559105-1 is not prime. Res64: 84743468A3AFDE5D Time : 0.0 sec. user=mdettweiler [2020-05-10 01:42:09] 729*2^1559105-1 is not prime. Res64: 1CD6F0B13950767E Time : 0.0 sec. user=mdettweiler [2020-05-10 02:13:55] 777*2^1559105-1 is not prime. Res64: 2BA4C4A0E17369A9 Time : 0.0 sec. user=mdettweiler [2020-05-10 02:14:02] 801*2^1559105-1 is not prime. Res64: 9B01766486C2EDC9 Time : 0.0 sec. user=mdettweiler [2020-05-10 02:14:10] 657*2^1559106-1 is not prime. Res64: 4B0743E6EE308F94 Time : 0.0 sec. user=mdettweiler [2020-05-10 02:14:13] 881*2^1559106-1 is not prime. Res64: F4996D5C3C4608FD Time : 0.0 sec. user=mdettweiler [2020-05-10 02:14:15] 993*2^1559106-1 is not prime. Res64: 0CCF1BC3958794EE Time : 0.0 sec. user=mdettweiler [2020-05-10 02:16:33] 651*2^1559107-1 is not prime. Res64: 2B650F4DFBB44AEE Time : 0.0 sec. user=mdettweiler [2020-05-10 02:38:37] 659*2^1559108-1 is not prime. Res64: 6782C3C67778C774 Time : 0.0 sec. user=mdettweiler [2020-05-10 02:38:37] 813*2^1559108-1 is not prime. Res64: F8999ECC409C493C Time : 0.0 sec. user=mdettweiler [2020-05-10 02:38:37] 885*2^1559108-1 is not prime. Res64: F10DF7111E764C4C Time : 0.0 sec. user=mdettweiler [2020-05-10 02:38:38] 915*2^1559108-1 is not prime. Res64: 1E4B9FF0F460D794 Time : 0.0 sec. user=mdettweiler [2020-05-10 02:38:38] 963*2^1559108-1 is not prime. Res64: 13CE84EA5D653DB7 Time : 0.0 sec. user=mdettweiler [2020-05-10 02:38:56] 605*2^1559110-1 is not prime. Res64: 7A9F5E29E902DBE4 Time : 0.0 sec. user=mdettweiler [2020-05-10 03:10:16] 751*2^1559109-1 is not prime. Res64: A36BD92DD36FD1CF Time : 0.0 sec. user=mdettweiler [2020-05-10 03:10:17] 769*2^1559109-1 is not prime. Res64: AF9B7E6E03601BC4 Time : 0.0 sec. user=mdettweiler [2020-05-10 03:10:19] 835*2^1559109-1 is not prime. Res64: 4F15369C04B7961C Time : 0.0 sec. user=mdettweiler [2020-05-10 03:10:20] 895*2^1559109-1 is not prime. Res64: C46B4DF787DF392B Time : 0.0 sec. user=mdettweiler [2020-05-10 03:10:22] 997*2^1559109-1 is not prime. Res64: F03CEEA68806DFBE Time : 0.0 sec. user=mdettweiler [2020-05-10 03:32:34] 645*2^1559110-1 is not prime. Res64: AD63C37809D3DAB2 Time : 0.0 sec. user=mdettweiler [2020-05-10 03:32:35] 653*2^1559110-1 is not prime. Res64: 091FA2ED63EDFE51 Time : 0.0 sec. user=mdettweiler [2020-05-10 03:32:35] 755*2^1559110-1 is not prime. Res64: 587C84B15133CF68 Time : 0.0 sec. user=mdettweiler [2020-05-10 03:32:36] 801*2^1559110-1 is not prime. Res64: 87152D5BE845DC47 Time : 0.0 sec. user=mdettweiler [2020-05-10 03:32:37] 891*2^1559110-1 is not prime. Res64: B1343A642F43531B Time : 0.0 sec. user=mdettweiler [2020-05-10 04:05:35] 951*2^1559110-1 is not prime. Res64: 478D44F5AF94B28E Time : 0.0 sec. user=mdettweiler [2020-05-10 04:05:38] 1001*2^1559110-1 is not prime. Res64: 7A6F014B45379748 Time : 0.0 sec. user=mdettweiler [2020-05-10 04:05:40] 645*2^1559111-1 is not prime. Res64: 5ECB9091E802577E Time : 0.0 sec. user=mdettweiler [2020-05-10 04:05:42] 693*2^1559111-1 is not prime. Res64: EC353C277BCFC803 Time : 0.0 sec. user=mdettweiler [2020-05-10 04:05:43] 745*2^1559111-1 is not prime. Res64: 9E5A0D045F3CFAF3 Time : 0.0 sec. user=mdettweiler [2020-05-10 04:25:30] 633*2^1559112-1 is not prime. Res64: A5432B39FB4B5184 Time : 0.0 sec. user=mdettweiler [2020-05-10 04:25:32] 669*2^1559112-1 is not prime. Res64: 57D3FC2A342CA84B Time : 0.0 sec. user=mdettweiler [2020-05-10 04:25:33] 689*2^1559112-1 is not prime. Res64: F35FA76AEFB57221 Time : 0.0 sec. user=mdettweiler [2020-05-10 04:25:34] 737*2^1559112-1 is not prime. Res64: 436AE966B2E5C5F5 Time : 0.0 sec. user=mdettweiler [2020-05-10 04:25:34] 767*2^1559112-1 is not prime. Res64: 342E6B9331C46E82 Time : 0.0 sec. user=mdettweiler [2020-05-10 05:03:49] 825*2^1559112-1 is not prime. Res64: 0E154BBEBACC934B Time : 0.0 sec. user=mdettweiler [2020-05-10 05:03:52] 843*2^1559112-1 is not prime. Res64: 125BBF73EFE0DB45 Time : 0.0 sec. user=mdettweiler [2020-05-10 05:03:53] 857*2^1559112-1 is not prime. Res64: 2AE27F1949F6BCD3 Time : 0.0 sec. user=mdettweiler [2020-05-10 05:03:54] 903*2^1559112-1 is not prime. Res64: 29C0D02D068D9DCE Time : 0.0 sec. user=mdettweiler [2020-05-10 05:03:55] 929*2^1559112-1 is not prime. Res64: 43870A23ABC5FFDC Time : 0.0 sec. user=mdettweiler [2020-05-10 05:20:51] 933*2^1559112-1 is not prime. Res64: 9D5CF2DE5E0E5CBE Time : 0.0 sec. user=mdettweiler [2020-05-10 05:20:52] 945*2^1559112-1 is not prime. Res64: BE9BCD7A73F75598 Time : 0.0 sec. user=mdettweiler [2020-05-10 05:20:52] 637*2^1559113-1 is not prime. Res64: 21F541D25C2DFC71 Time : 0.0 sec. user=mdettweiler [2020-05-10 05:20:52] 649*2^1559113-1 is not prime. Res64: AFEE5B35B5B34206 Time : 0.0 sec. user=mdettweiler [2020-05-10 05:20:53] 675*2^1559113-1 is not prime. Res64: 0DE7552B9996E8EC Time : 0.0 sec. user=mdettweiler [2020-05-10 05:58:35] 705*2^1559113-1 is not prime. Res64: 665E957C66CF3428 Time : 0.0 sec. user=mdettweiler [2020-05-10 05:58:35] 721*2^1559113-1 is not prime. Res64: 89C68E1997C88EF4 Time : 0.0 sec. user=mdettweiler [2020-05-10 05:58:36] 741*2^1559113-1 is not prime. Res64: CCB0CC1814304E25 Time : 0.0 sec. user=mdettweiler [2020-05-10 05:58:36] 765*2^1559113-1 is not prime. Res64: F7B92570123A316B Time : 0.0 sec. user=mdettweiler [2020-05-10 05:58:36] 867*2^1559113-1 is not prime. Res64: 2B1BB827ABC6ED9F Time : 0.0 sec. user=mdettweiler [2020-05-10 06:14:31] 925*2^1559113-1 is not prime. Res64: D50C2ABB9AC308CA Time : 0.0 sec. user=mdettweiler [2020-05-10 06:14:32] 615*2^1559114-1 is not prime. Res64: 8ECF2D0A02C883C0 Time : 0.0 sec. user=mdettweiler [2020-05-10 06:14:33] 671*2^1559114-1 is not prime. Res64: 03588ACE82B4D3E0 Time : 0.0 sec. user=mdettweiler [2020-05-10 06:14:33] 791*2^1559114-1 is not prime. Res64: 31812B090848C974 Time : 0.0 sec. user=mdettweiler [2020-05-10 06:14:34] 643*2^1559115-1 is not prime. Res64: 347409093B994CC4 Time : 0.0 sec. user=mdettweiler [2020-05-10 06:52:42] 685*2^1559115-1 is not prime. Res64: 7B24B2206479344B Time : 0.0 sec. user=mdettweiler [2020-05-10 06:52:42] 739*2^1559115-1 is not prime. Res64: 95EF1442AEE1EE8A Time : 0.0 sec. user=mdettweiler [2020-05-10 06:52:43] 795*2^1559115-1 is not prime. Res64: D10B14A46CD89590 Time : 0.0 sec. user=mdettweiler [2020-05-10 06:52:43] 829*2^1559115-1 is not prime. Res64: A071C46CC3B288DE Time : 0.0 sec. user=mdettweiler [2020-05-10 06:52:43] 891*2^1559115-1 is not prime. Res64: 9DBC19FB50EDA1AC Time : 0.0 sec. user=mdettweiler [2020-05-10 07:08:12] 973*2^1559115-1 is not prime. Res64: 6BA39978C14C1474 Time : 0.0 sec. user=mdettweiler [2020-05-10 07:08:12] 609*2^1559116-1 is not prime. Res64: 34D268154EC225B7 Time : 0.0 sec. user=mdettweiler [2020-05-10 07:08:13] 657*2^1559116-1 is not prime. Res64: 79D80241C9F398ED Time : 0.0 sec. user=mdettweiler [2020-05-10 07:08:13] 705*2^1559116-1 is not prime. Res64: 0F4BE8937721D653 Time : 0.0 sec. user=mdettweiler [2020-05-10 07:08:13] 723*2^1559116-1 is not prime. Res64: 692753A47DF6E0CD Time : 0.0 sec. user=mdettweiler [2020-05-10 07:31:26] 699*2^1559107-1 is not prime. Res64: 33E02C88D1174309 Time : 0.0 sec. user=mdettweiler [2020-05-10 07:31:26] 765*2^1559107-1 is not prime. Res64: 949DB74878C5A4F0 Time : 0.0 sec. user=mdettweiler [2020-05-10 07:31:27] 915*2^1559107-1 is not prime. Res64: 3C03E95E614FB3F6 Time : 0.0 sec. user=mdettweiler [2020-05-10 07:31:27] 615*2^1559108-1 is not prime. Res64: A4D141D0AFA79217 Time : 0.0 sec. user=mdettweiler [2020-05-10 07:48:08] 755*2^1559116-1 is not prime. Res64: 1AE9EC42F8423AD9 Time : 0.0 sec. user=mdettweiler [2020-05-10 07:48:08] 759*2^1559116-1 is not prime. Res64: 8A5C7CD8F1C226F9 Time : 0.0 sec. user=mdettweiler [2020-05-10 07:48:08] 783*2^1559116-1 is not prime. Res64: E6B49591C6A21175 Time : 0.0 sec. user=mdettweiler [2020-05-10 07:48:09] 873*2^1559116-1 is not prime. Res64: 4D283A3E1BF26C99 Time : 0.0 sec. user=mdettweiler [2020-05-10 07:48:09] 887*2^1559116-1 is not prime. Res64: 6EE40780AD85249C Time : 0.0 sec. user=mdettweiler [2020-05-10 08:02:15] 957*2^1559116-1 is not prime. Res64: B93EC4FF939C91EE Time : 0.0 sec. user=mdettweiler [2020-05-10 08:02:17] 697*2^1559117-1 is not prime. Res64: 3A48F5EADC31D18E Time : 0.0 sec. user=mdettweiler [2020-05-10 08:02:18] 727*2^1559117-1 is not prime. Res64: 2CB5A4F53E5E8FBD Time : 0.0 sec. user=mdettweiler [2020-05-10 08:02:19] 741*2^1559117-1 is not prime. Res64: 9A1E35EAEB0C188D Time : 0.0 sec. user=mdettweiler [2020-05-10 08:02:20] 771*2^1559117-1 is not prime. Res64: 579C0AEE3901FFE5 Time : 0.0 sec. user=mdettweiler [2020-05-10 08:27:04] 867*2^1559117-1 is not prime. Res64: 0D942EFFCF0AC292 Time : 0.0 sec. user=mdettweiler [2020-05-10 08:27:04] 925*2^1559117-1 is not prime. Res64: F8B9D1BA44010B1B Time : 0.0 sec. user=mdettweiler [2020-05-10 08:27:04] 967*2^1559117-1 is not prime. Res64: EB2D79727370BA73 Time : 0.0 sec. user=mdettweiler [2020-05-10 08:27:05] 611*2^1559118-1 is not prime. Res64: E732AF620DD8C275 Time : 0.0 sec. user=mdettweiler [2020-05-10 08:27:05] 641*2^1559118-1 is not prime. Res64: 9A83F4B6212F28DD Time : 0.0 sec. user=mdettweiler [2020-05-10 08:43:12] 791*2^1559118-1 is not prime. Res64: 74E6355B09C88AC8 Time : 0.0 sec. user=mdettweiler [2020-05-10 08:43:13] 927*2^1559118-1 is not prime. Res64: 1106970251A28076 Time : 0.0 sec. user=mdettweiler [2020-05-10 08:43:13] 993*2^1559118-1 is not prime. Res64: D8F244DE8B316BC1 Time : 0.0 sec. user=mdettweiler [2020-05-10 08:43:13] 705*2^1559119-1 is not prime. Res64: 12656095DF918579 Time : 0.0 sec. user=mdettweiler [2020-05-10 08:43:13] 745*2^1559119-1 is not prime. Res64: 641CAB44798C2B4F Time : 0.0 sec. user=mdettweiler [2020-05-10 08:58:43] 889*2^1559119-1 is not prime. Res64: BA91ED61E0A79EF7 Time : 0.0 sec. user=mdettweiler [2020-05-10 08:58:44] 939*2^1559119-1 is not prime. Res64: CFF1880BF65743D9 Time : 0.0 sec. user=mdettweiler [2020-05-10 08:58:44] 969*2^1559119-1 is not prime. Res64: C5FBFB91219A9758 Time : 0.0 sec. user=mdettweiler [2020-05-10 08:58:44] 665*2^1559120-1 is not prime. Res64: 2ABD0B3AD5BDFB43 Time : 0.0 sec. user=mdettweiler [2020-05-10 08:58:44] 789*2^1559120-1 is not prime. Res64: 40AB320CEB0B2590 Time : 0.0 sec. user=mdettweiler [2020-05-10 09:23:07] 935*2^1559120-1 is not prime. Res64: 5F9D5F4C9AE397D8 Time : 0.0 sec. user=mdettweiler [2020-05-10 09:23:08] 963*2^1559120-1 is not prime. Res64: 10C1A368A82343B3 Time : 0.0 sec. user=mdettweiler [2020-05-10 09:23:08] 999*2^1559120-1 is not prime. Res64: CE7352C8926228DD Time : 0.0 sec. user=mdettweiler [2020-05-10 09:23:08] 679*2^1559121-1 is not prime. Res64: FD2B856EA0E5FEC7 Time : 0.0 sec. user=mdettweiler [2020-05-10 09:23:09] 795*2^1559121-1 is not prime. Res64: 13ECC8A3EA4B3628 Time : 0.0 sec. user=mdettweiler [2020-05-10 09:38:18] 955*2^1559121-1 is not prime. Res64: 4BCBDD09E5AF0602 Time : 0.0 sec. user=mdettweiler [2020-05-10 09:38:18] 979*2^1559121-1 is not prime. Res64: 8BC6AF55101FF12C Time : 0.0 sec. user=mdettweiler [2020-05-10 09:38:19] 623*2^1559122-1 is not prime. Res64: D742A4F8A335C7DA Time : 0.0 sec. user=mdettweiler [2020-05-10 09:38:19] 653*2^1559122-1 is not prime. Res64: 3F2C6AB1E0A170F3 Time : 0.0 sec. user=mdettweiler [2020-05-10 09:38:19] 701*2^1559122-1 is not prime. Res64: 3FE3CC36F745B4F0 Time : 0.0 sec. user=mdettweiler [2020-05-10 09:55:56] 737*2^1559122-1 is not prime. Res64: 7D2DAF19C106DB32 Time : 0.0 sec. user=mdettweiler [2020-05-10 09:55:57] 747*2^1559122-1 is not prime. Res64: 5C387C6625196947 Time : 0.0 sec. user=mdettweiler [2020-05-10 09:55:57] 777*2^1559122-1 is not prime. Res64: 7ED2C60888FC7976 Time : 0.0 sec. user=mdettweiler [2020-05-10 09:55:57] 857*2^1559122-1 is not prime. Res64: 4F9316A2834757D8 Time : 0.0 sec. user=mdettweiler [2020-05-10 09:55:58] 867*2^1559122-1 is not prime. Res64: E5B0DC22CC1F1EF8 Time : 0.0 sec. user=mdettweiler [2020-05-10 10:20:54] 947*2^1559122-1 is not prime. Res64: 7A3497B68F2AC2D8 Time : 0.0 sec. user=mdettweiler [2020-05-10 10:20:55] 995*2^1559122-1 is not prime. Res64: 33D3F3FD86EEAF6A Time : 0.0 sec. user=mdettweiler [2020-05-10 10:20:55] 643*2^1559123-1 is not prime. Res64: A7D3C463A6E4C3FD Time : 0.0 sec. user=mdettweiler [2020-05-10 10:20:55] 693*2^1559123-1 is not prime. Res64: 0715B6237EDB57A2 Time : 0.0 sec. user=mdettweiler [2020-05-10 10:20:56] 703*2^1559123-1 is not prime. Res64: 86592370384B571C Time : 0.0 sec. user=mdettweiler [2020-05-10 10:38:41] 825*2^1559123-1 is not prime. Res64: 0BE0C9090849062B Time : 0.0 sec. user=mdettweiler [2020-05-10 10:38:42] 829*2^1559123-1 is not prime. Res64: 587450B2888F1F62 Time : 0.0 sec. user=mdettweiler [2020-05-10 10:38:42] 855*2^1559123-1 is not prime. Res64: CD8E03515217E9CA Time : 0.0 sec. user=mdettweiler [2020-05-10 10:38:42] 861*2^1559123-1 is not prime. Res64: 2BB7462A12665E4C Time : 0.0 sec. user=mdettweiler [2020-05-10 10:38:43] 871*2^1559123-1 is not prime. Res64: A6B9C54F1457AEDD Time : 0.0 sec. user=mdettweiler [2020-05-10 10:58:57] 879*2^1559123-1 is not prime. Res64: 9542BDB835A04D80 Time : 0.0 sec. user=mdettweiler [2020-05-10 10:58:57] 939*2^1559123-1 is not prime. Res64: 22B6274998234FEA Time : 0.0 sec. user=mdettweiler [2020-05-10 10:58:57] 943*2^1559123-1 is not prime. Res64: 3CFF112A833FDED0 Time : 0.0 sec. user=mdettweiler [2020-05-10 10:58:58] 949*2^1559123-1 is not prime. Res64: 92E23C6FD3F9E089 Time : 0.0 sec. user=mdettweiler [2020-05-10 10:58:58] 963*2^1559123-1 is not prime. Res64: 1F2B7FF44B9930DE Time : 0.0 sec. user=mdettweiler [2020-05-10 11:17:01] 985*2^1559123-1 is not prime. Res64: DA601D179522212B Time : 0.0 sec. user=mdettweiler [2020-05-10 11:17:01] 615*2^1559124-1 is not prime. Res64: A4EFCA7E90096B93 Time : 0.0 sec. user=mdettweiler [2020-05-10 11:17:01] 629*2^1559124-1 is not prime. Res64: B8D6681421BABC85 Time : 0.0 sec. user=mdettweiler [2020-05-10 11:17:02] 635*2^1559124-1 is not prime. Res64: 78EBB88E04455CF2 Time : 0.0 sec. user=mdettweiler [2020-05-10 11:17:02] 663*2^1559124-1 is not prime. Res64: 1647FC9AF81D1DCA Time : 0.0 sec. user=mdettweiler [2020-05-10 11:34:41] 767*2^1559124-1 is not prime. Res64: 879B16BD6EBE867A Time : 0.0 sec. user=mdettweiler [2020-05-10 11:34:42] 773*2^1559124-1 is not prime. Res64: D1B759F583FCEDA6 Time : 0.0 sec. user=mdettweiler [2020-05-10 11:34:42] 803*2^1559124-1 is not prime. Res64: 9C7ECB688C9AFDBF Time : 0.0 sec. user=mdettweiler [2020-05-10 11:34:42] 809*2^1559124-1 is not prime. Res64: 2222C2039D16A15F Time : 0.0 sec. user=mdettweiler [2020-05-10 11:34:42] 863*2^1559124-1 is not prime. Res64: F8628F5043226266 Time : 0.0 sec. user=mdettweiler [2020-05-10 11:58:01] 899*2^1559124-1 is not prime. Res64: 0F2EBC2E79EB8CBD Time : 0.0 sec. user=mdettweiler [2020-05-10 11:58:02] 909*2^1559124-1 is not prime. Res64: 2FB6C725687BB1D9 Time : 0.0 sec. user=mdettweiler [2020-05-10 11:58:02] 927*2^1559124-1 is not prime. Res64: 537B5B6791F7C764 Time : 0.0 sec. user=mdettweiler [2020-05-10 11:58:02] 935*2^1559124-1 is not prime. Res64: EA6CA6F5929B3454 Time : 0.0 sec. user=mdettweiler [2020-05-10 11:58:02] 957*2^1559124-1 is not prime. Res64: 72BC4CE50DA01E0D Time : 0.0 sec. user=mdettweiler [2020-05-10 12:09:00] 601*2^1559125-1 is not prime. Res64: 5EACE9C30CA9FC82 Time : 0.0 sec. user=mdettweiler [2020-05-10 12:09:01] 607*2^1559125-1 is not prime. Res64: 74254747E82B3043 Time : 0.0 sec. user=mdettweiler [2020-05-10 12:09:01] 679*2^1559125-1 is not prime. Res64: EF3DE3AFAD31EE29 Time : 0.0 sec. user=mdettweiler [2020-05-10 12:09:02] 831*2^1559125-1 is not prime. Res64: 3A21FE91D9CD890E Time : 0.0 sec. user=mdettweiler [2020-05-10 12:09:02] 635*2^1559126-1 is not prime. Res64: 991D89BC2F948C95 Time : 0.0 sec. user=mdettweiler [2020-05-10 12:30:54] 713*2^1559126-1 is not prime. Res64: 28B54D910C3A8D59 Time : 0.0 sec. user=mdettweiler [2020-05-10 12:30:54] 761*2^1559126-1 is not prime. Res64: EDE00C0417DF79ED Time : 0.0 sec. user=mdettweiler [2020-05-10 12:30:55] 825*2^1559126-1 is not prime. Res64: 89FBCCAD199E0924 Time : 0.0 sec. user=mdettweiler [2020-05-10 12:30:55] 851*2^1559126-1 is not prime. Res64: B4418D88DC4BD79A Time : 0.0 sec. user=mdettweiler [2020-05-10 12:30:55] 897*2^1559126-1 is not prime. Res64: BD63D7DB995DE00A Time : 0.0 sec. user=mdettweiler [2020-05-10 12:55:29] 903*2^1559126-1 is not prime. Res64: 566744BDF84ADA00 Time : 0.0 sec. user=mdettweiler [2020-05-10 12:55:30] 945*2^1559126-1 is not prime. Res64: 8BF8071B3A276FDB Time : 0.0 sec. user=mdettweiler [2020-05-10 12:55:30] 709*2^1559127-1 is not prime. Res64: 445A2FB45673F7B8 Time : 0.0 sec. user=mdettweiler [2020-05-10 12:55:30] 819*2^1559127-1 is not prime. Res64: E4C48F04AAB6BEC1 Time : 0.0 sec. user=mdettweiler [2020-05-10 12:55:30] 961*2^1559127-1 is not prime. Res64: DA2312ED21F8CE53 Time : 0.0 sec. user=mdettweiler [2020-05-10 13:06:54] 963*2^1559127-1 is not prime. Res64: 4F0EC4E1746B1C30 Time : 0.0 sec. user=mdettweiler [2020-05-10 13:06:55] 985*2^1559127-1 is not prime. Res64: 0F9FC3EAA3D50702 Time : 0.0 sec. user=mdettweiler [2020-05-10 13:06:56] 765*2^1559128-1 is not prime. Res64: B7E8F81F6D8F17F4 Time : 0.0 sec. user=mdettweiler [2020-05-10 13:06:57] 813*2^1559128-1 is not prime. Res64: F3582888763F90E5 Time : 0.0 sec. user=mdettweiler [2020-05-10 13:06:58] 887*2^1559128-1 is not prime. Res64: F0EC2ED5077CB28C Time : 0.0 sec. user=mdettweiler [2020-05-10 13:24:53] 601*2^1559129-1 is not prime. Res64: 1306E4E42B90E1D4 Time : 0.0 sec. user=mdettweiler [2020-05-10 13:24:53] 631*2^1559129-1 is not prime. Res64: FC351F4F3FF5225C Time : 0.0 sec. user=mdettweiler [2020-05-10 13:24:53] 705*2^1559129-1 is not prime. Res64: 2646103D8DBBD139 Time : 0.0 sec. user=mdettweiler [2020-05-10 13:24:54] 841*2^1559129-1 is not prime. Res64: 2A50C01A1BC80DCA Time : 0.0 sec. user=mdettweiler [2020-05-10 13:24:54] 939*2^1559129-1 is not prime. Res64: 3DD0AD048B3B8D6B Time : 0.0 sec. user=mdettweiler [2020-05-10 13:50:30] 955*2^1559129-1 is not prime. Res64: DD74DD9577F6141D Time : 0.0 sec. user=mdettweiler [2020-05-10 13:50:31] 615*2^1559130-1 is not prime. Res64: 284283F4A3A55806 Time : 0.0 sec. user=mdettweiler [2020-05-10 13:50:31] 653*2^1559130-1 is not prime. Res64: B7D748CD289B497E Time : 0.0 sec. user=mdettweiler [2020-05-10 13:50:31] 717*2^1559130-1 is not prime. Res64: 8B5191EDDB47FFE5 Time : 0.0 sec. user=mdettweiler [2020-05-10 13:50:32] 927*2^1559130-1 is not prime. Res64: 4EBD8767CA8AA17B Time : 0.0 sec. user=mdettweiler [2020-05-10 14:04:32] 945*2^1559130-1 is not prime. Res64: A02C2AC5D3F101EE Time : 0.0 sec. user=mdettweiler [2020-05-10 14:04:34] 963*2^1559130-1 is not prime. Res64: CC2027AB1DFB8FAB Time : 0.0 sec. user=mdettweiler [2020-05-10 14:04:36] 685*2^1559131-1 is not prime. Res64: 37531C7B7AD5361B Time : 0.0 sec. user=mdettweiler [2020-05-10 14:04:37] 861*2^1559131-1 is not prime. Res64: 0292552F8D4071F4 Time : 0.0 sec. user=mdettweiler [2020-05-10 14:04:39] 939*2^1559131-1 is not prime. Res64: DB1134FED5CD26AF Time : 0.0 sec. user=mdettweiler [2020-05-10 14:20:19] 961*2^1559131-1 is not prime. Res64: 53BE073A79804915 Time : 0.0 sec. user=mdettweiler [2020-05-10 14:20:19] 999*2^1559131-1 is not prime. Res64: 7227AD2887510546 Time : 0.0 sec. user=mdettweiler [2020-05-10 14:20:20] 633*2^1559132-1 is not prime. Res64: 0C5B4E650C60390A Time : 0.0 sec. user=mdettweiler [2020-05-10 14:20:20] 717*2^1559132-1 is not prime. Res64: 4C1D550E89789F78 Time : 0.0 sec. user=mdettweiler [2020-05-10 14:20:20] 819*2^1559132-1 is not prime. Res64: E45D9D3E8BEA22FA Time : 0.0 sec. user=mdettweiler [2020-05-10 14:48:24] 833*2^1559132-1 is not prime. Res64: ADF64F3F94C0E9E8 Time : 0.0 sec. user=mdettweiler [2020-05-10 14:48:24] 885*2^1559132-1 is not prime. Res64: 681C57615CD5446B Time : 0.0 sec. user=mdettweiler [2020-05-10 14:48:24] 903*2^1559132-1 is not prime. Res64: D8858B718622FB5E Time : 0.0 sec. user=mdettweiler [2020-05-10 14:48:25] 909*2^1559132-1 is not prime. Res64: EEB7B402B7414F66 Time : 0.0 sec. user=mdettweiler [2020-05-10 14:48:25] 935*2^1559132-1 is not prime. Res64: FA6726A46CBA73F2 Time : 0.0 sec. user=mdettweiler [2020-05-10 15:00:22] 957*2^1559132-1 is not prime. Res64: 0C699309FD72174B Time : 0.0 sec. user=mdettweiler [2020-05-10 15:00:23] 963*2^1559132-1 is not prime. Res64: 07B151340DA24414 Time : 0.0 sec. user=mdettweiler [2020-05-10 15:00:27] 649*2^1559133-1 is not prime. Res64: 19812B3E57FBF11D Time : 0.0 sec. user=mdettweiler [2020-05-10 15:15:26] 817*2^1559133-1 is not prime. Res64: F30AFB6A8B99BA8A Time : 0.0 sec. user=mdettweiler [2020-05-10 15:15:26] 937*2^1559133-1 is not prime. Res64: 75B77E0514C2C5E7 Time : 0.0 sec. user=mdettweiler [2020-05-10 15:15:27] 951*2^1559133-1 is not prime. Res64: D7039251371FAA11 Time : 0.0 sec. user=mdettweiler [2020-05-10 15:15:27] 635*2^1559134-1 is not prime. Res64: 59E3713EC619E2CB Time : 0.0 sec. user=mdettweiler [2020-05-10 15:15:27] 671*2^1559134-1 is not prime. Res64: 2BB300F508811854 Time : 0.0 sec. user=mdettweiler [2020-05-10 15:44:17] 741*2^1559134-1 is not prime. Res64: 25CFF13EA6333D21 Time : 0.0 sec. user=mdettweiler [2020-05-10 15:44:18] 783*2^1559134-1 is not prime. Res64: F4BE01DD25778EAA Time : 0.0 sec. user=mdettweiler [2020-05-10 15:44:18] 785*2^1559134-1 is not prime. Res64: E86EEE8107FD7F27 Time : 0.0 sec. user=mdettweiler [2020-05-10 15:44:19] 885*2^1559134-1 is not prime. Res64: 3B6853EA0D6360BA Time : 0.0 sec. user=mdettweiler [2020-05-10 15:44:19] 887*2^1559134-1 is not prime. Res64: E77443678FAF80A7 Time : 0.0 sec. user=mdettweiler [2020-05-10 16:10:23] 987*2^1559134-1 is not prime. Res64: 390C7B553220F833 Time : 0.0 sec. user=mdettweiler [2020-05-10 16:10:27] 661*2^1559135-1 is not prime. Res64: 83F88C4DC8B79785 Time : 0.0 sec. user=mdettweiler [2020-05-10 16:10:29] 673*2^1559135-1 is not prime. Res64: 82692F8A918B9188 Time : 0.0 sec. user=mdettweiler [2020-05-10 16:10:31] 981*2^1559135-1 is not prime. Res64: AA877713009416F2 Time : 0.0 sec. user=mdettweiler [2020-05-10 16:10:34] 669*2^1559136-1 is not prime. Res64: 415F1EA2325C826E Time : 0.0 sec. user=mdettweiler [2020-05-10 16:39:14] 717*2^1559136-1 is not prime. Res64: E8FB2B2630818221 Time : 0.0 sec. user=mdettweiler [2020-05-10 16:39:14] 719*2^1559136-1 is not prime. Res64: 938B34D32E700643 Time : 0.0 sec. user=mdettweiler [2020-05-10 16:39:14] 809*2^1559136-1 is not prime. Res64: 92DB897CEC9BAFA9 Time : 0.0 sec. user=mdettweiler [2020-05-10 16:39:15] 839*2^1559136-1 is not prime. Res64: E33106DF4C33C52E Time : 0.0 sec. user=mdettweiler [2020-05-10 16:39:15] 945*2^1559136-1 is not prime. Res64: 1AE01CEEF151410E Time : 0.0 sec. user=mdettweiler [2020-05-10 17:04:24] 615*2^1559137-1 is not prime. Res64: 9D6A43B4461C13AB Time : 0.0 sec. user=mdettweiler [2020-05-10 17:04:26] 645*2^1559137-1 is not prime. Res64: 596D2BC8EA3AEAF1 Time : 0.0 sec. user=mdettweiler [2020-05-10 17:04:27] 661*2^1559137-1 is not prime. Res64: FAEFB1324FC9B122 Time : 0.0 sec. user=mdettweiler [2020-05-10 17:04:29] 687*2^1559137-1 is not prime. Res64: 99AE417D16BB4598 Time : 0.0 sec. user=mdettweiler [2020-05-10 17:04:30] 805*2^1559137-1 is not prime. Res64: 43DCCBB6552D9357 Time : 0.0 sec. user=mdettweiler [2020-05-10 17:37:09] 867*2^1559137-1 is not prime. Res64: CFD86C7CD133B81E Time : 0.0 sec. user=mdettweiler [2020-05-10 17:37:10] 915*2^1559137-1 is not prime. Res64: 4FDE6D70A5A8EB0C Time : 0.0 sec. user=mdettweiler [2020-05-10 17:37:10] 623*2^1559138-1 is not prime. Res64: 36ACE97B0E44B12F Time : 0.0 sec. user=mdettweiler [2020-05-10 17:37:11] 743*2^1559138-1 is not prime. Res64: 1F8B16CE577048D2 Time : 0.0 sec. user=mdettweiler [2020-05-10 17:37:11] 867*2^1559138-1 is not prime. Res64: E1756957EA40E7DD Time : 0.0 sec. user=mdettweiler [2020-05-10 18:01:18] 893*2^1559138-1 is not prime. Res64: 9953AEA4547F1552 Time : 0.0 sec. user=mdettweiler [2020-05-10 18:01:19] 945*2^1559138-1 is not prime. Res64: 8F874CEFF63AC546 Time : 0.0 sec. user=mdettweiler [2020-05-10 18:01:20] 971*2^1559138-1 is not prime. Res64: 0CB183B42D470A9F Time : 0.0 sec. user=mdettweiler [2020-05-10 18:01:22] 601*2^1559139-1 is not prime. Res64: 8E071A79FE2D6AF6 Time : 0.0 sec. user=mdettweiler [2020-05-10 18:01:23] 633*2^1559139-1 is not prime. Res64: 99F7BFC20F172773 Time : 0.0 sec. user=mdettweiler [2020-05-10 18:33:36] 639*2^1559139-1 is not prime. Res64: CD1E399AD2857A69 Time : 0.0 sec. user=mdettweiler [2020-05-10 18:33:36] 751*2^1559139-1 is not prime. Res64: AE8CF1E58A120D16 Time : 0.0 sec. user=mdettweiler [2020-05-10 18:33:37] 879*2^1559139-1 is not prime. Res64: 5CA1B90AC5F30457 Time : 0.0 sec. user=mdettweiler [2020-05-10 18:33:37] 975*2^1559139-1 is not prime. Res64: 3BD7A4B43E5A0336 Time : 0.0 sec. user=mdettweiler [2020-05-10 18:33:37] 979*2^1559139-1 is not prime. Res64: A085D78AFE54C55C Time : 0.0 sec. user=mdettweiler [2020-05-10 18:55:03] 985*2^1559139-1 is not prime. Res64: 6A9D5DF95103D2EE Time : 0.0 sec. user=mdettweiler [2020-05-10 18:55:04] 603*2^1559140-1 is not prime. Res64: 32384F25A42006F5 Time : 0.0 sec. user=mdettweiler [2020-05-10 18:55:04] 629*2^1559140-1 is not prime. Res64: C754610B493B0BA2 Time : 0.0 sec. user=mdettweiler [2020-05-10 18:55:04] 663*2^1559140-1 is not prime. Res64: 1F908F3AD2FAAB6C Time : 0.0 sec. user=mdettweiler [2020-05-10 18:55:05] 825*2^1559140-1 is not prime. Res64: 9E946B40F6A82834 Time : 0.0 sec. user=mdettweiler [2020-05-10 19:31:07] 845*2^1559140-1 is not prime. Res64: 0A514DBF628C8793 Time : 0.0 sec. user=mdettweiler [2020-05-10 19:31:07] 857*2^1559140-1 is not prime. Res64: 2DDF297A1C3DC933 Time : 0.0 sec. user=mdettweiler [2020-05-10 19:31:07] 923*2^1559140-1 is not prime. Res64: 86B78A51583D6993 Time : 0.0 sec. user=mdettweiler [2020-05-10 19:31:08] 999*2^1559140-1 is not prime. Res64: A75647DC732F9F23 Time : 0.0 sec. user=mdettweiler [2020-05-10 19:31:08] 607*2^1559141-1 is not prime. Res64: 76D04B5F7FBE1DE4 Time : 0.0 sec. user=mdettweiler [2020-05-10 19:51:32] 621*2^1559141-1 is not prime. Res64: EEDCE9CC75BD5EB1 Time : 0.0 sec. user=mdettweiler [2020-05-10 19:51:32] 657*2^1559141-1 is not prime. Res64: E10DBE5EEC6D512F Time : 0.0 sec. user=mdettweiler [2020-05-10 19:51:32] 789*2^1559141-1 is not prime. Res64: 68FA9F938CBFAAA5 Time : 0.0 sec. user=mdettweiler [2020-05-10 19:51:32] 837*2^1559141-1 is not prime. Res64: B97F8E334FECFBC2 Time : 0.0 sec. user=mdettweiler [2020-05-10 19:51:33] 901*2^1559141-1 is not prime. Res64: 1F1EAB771AFB1017 Time : 0.0 sec. user=mdettweiler [2020-05-10 19:59:14] 727*2^1559133-1 is not prime. Res64: 062034B37D0B86A5 Time : 0.0 sec. user=mdettweiler [2020-05-10 19:59:15] 745*2^1559133-1 is not prime. Res64: 17D34E7DA510E382 Time : 0.0 sec. user=mdettweiler [2020-05-10 20:28:01] 981*2^1559141-1 is not prime. Res64: 7BCB472E668EA9DA Time : 0.0 sec. user=mdettweiler [2020-05-10 20:28:02] 825*2^1559142-1 is not prime. Res64: F6315EB8BF5D32A5 Time : 0.0 sec. user=mdettweiler [2020-05-10 20:28:02] 893*2^1559142-1 is not prime. Res64: 01FD75585322D905 Time : 0.0 sec. user=mdettweiler [2020-05-10 20:28:02] 679*2^1559143-1 is not prime. Res64: B717F7FC63CA3160 Time : 0.0 sec. user=mdettweiler [2020-05-10 20:28:03] 765*2^1559143-1 is not prime. Res64: A527B291FBD6477D Time : 0.0 sec. user=mdettweiler [2020-05-10 20:48:15] 775*2^1559143-1 is not prime. Res64: C5462CE0B095D68B Time : 0.0 sec. user=mdettweiler [2020-05-10 20:48:15] 811*2^1559143-1 is not prime. Res64: 90F125EF268A76D3 Time : 0.0 sec. user=mdettweiler [2020-05-10 20:48:15] 849*2^1559143-1 is not prime. Res64: 46E737BF709408F9 Time : 0.0 sec. user=mdettweiler [2020-05-10 20:48:16] 855*2^1559143-1 is not prime. Res64: 6BDFA0C01B57F32A Time : 0.0 sec. user=mdettweiler [2020-05-10 20:48:16] 861*2^1559143-1 is not prime. Res64: 0BE771A354D142D3 Time : 0.0 sec. user=mdettweiler [2020-05-10 20:53:22] 951*2^1559143-1 is not prime. Res64: 624B117561E7BD4A Time : 0.0 sec. user=mdettweiler [2020-05-10 20:53:22] 759*2^1559144-1 is not prime. Res64: 6CAAB34E17D7B1C3 Time : 0.0 sec. user=mdettweiler [2020-05-10 20:53:22] 625*2^1559145-1 is not prime. Res64: A62C725313520372 Time : 0.0 sec. user=mdettweiler [2020-05-10 20:53:23] 741*2^1559145-1 is not prime. Res64: 05B8E1985329FD58 Time : 0.0 sec. user=mdettweiler [2020-05-10 20:53:23] 781*2^1559145-1 is not prime. Res64: B3C7B806593CB040 Time : 0.0 sec. user=mdettweiler [2020-05-10 21:23:17] 657*2^1559146-1 is not prime. Res64: 05B20D2D05F7FC45 Time : 0.0 sec. user=mdettweiler [2020-05-10 21:23:18] 713*2^1559146-1 is not prime. Res64: F246DB55EFE789EE Time : 0.0 sec. user=mdettweiler [2020-05-10 21:23:19] 717*2^1559146-1 is not prime. Res64: 9D0DFE5C7A59620D Time : 0.0 sec. user=mdettweiler [2020-05-10 21:23:19] 923*2^1559146-1 is not prime. Res64: 55B95D17BA28D82F Time : 0.0 sec. user=mdettweiler [2020-05-10 21:23:19] 941*2^1559146-1 is not prime. Res64: 73774E5E3D96E77A Time : 0.0 sec. user=mdettweiler [2020-05-10 21:43:20] 615*2^1559147-1 is not prime. Res64: 18FCDBB4D5A38A5A Time : 0.0 sec. user=mdettweiler [2020-05-10 21:43:20] 805*2^1559147-1 is not prime. Res64: 2507C096DDFEBFE2 Time : 0.0 sec. user=mdettweiler [2020-05-10 21:43:20] 825*2^1559147-1 is not prime. Res64: 7DDEAA6B959AFF01 Time : 0.0 sec. user=mdettweiler [2020-05-10 21:43:20] 895*2^1559147-1 is not prime. Res64: 8E8D0C6A5E473478 Time : 0.0 sec. user=mdettweiler [2020-05-10 21:43:21] 955*2^1559147-1 is not prime. Res64: CA102F4F6258E8F4 Time : 0.0 sec. user=mdettweiler [2020-05-10 21:47:24] 979*2^1559147-1 is not prime. Res64: A404C6C73D490CD1 Time : 0.0 sec. user=mdettweiler [2020-05-10 21:47:25] 689*2^1559148-1 is not prime. Res64: 599B3933C999B962 Time : 0.0 sec. user=mdettweiler [2020-05-10 21:47:25] 737*2^1559148-1 is not prime. Res64: 55DC2EC5380CF548 Time : 0.0 sec. user=mdettweiler [2020-05-10 21:47:25] 795*2^1559148-1 is not prime. Res64: 85866331ABFA602F Time : 0.0 sec. user=mdettweiler [2020-05-10 21:47:25] 825*2^1559148-1 is not prime. Res64: 3B384A31420C4E78 Time : 0.0 sec. user=mdettweiler [2020-05-10 22:19:21] 927*2^1559148-1 is not prime. Res64: 188DEE211C71A8C5 Time : 0.0 sec. user=mdettweiler [2020-05-10 22:19:21] 929*2^1559148-1 is not prime. Res64: B2A62A6C5AA49FCF Time : 0.0 sec. user=mdettweiler [2020-05-10 22:19:21] 977*2^1559148-1 is not prime. Res64: 5C227F13E85B7EBB Time : 0.0 sec. user=mdettweiler [2020-05-10 22:19:22] 615*2^1559149-1 is not prime. Res64: 679BA68DB6FD878C Time : 0.0 sec. user=mdettweiler [2020-05-10 22:19:22] 687*2^1559149-1 is not prime. Res64: AF73DE9BD5D4FBF6 Time : 0.0 sec. user=mdettweiler [2020-05-10 22:37:11] 691*2^1559149-1 is not prime. Res64: A65F67147A7FD87D Time : 0.0 sec. user=mdettweiler [2020-05-10 22:37:11] 729*2^1559149-1 is not prime. Res64: 625F170721520F20 Time : 0.0 sec. user=mdettweiler [2020-05-10 22:37:12] 757*2^1559149-1 is not prime. Res64: 87EA7F027CF41C73 Time : 0.0 sec. user=mdettweiler [2020-05-10 22:37:12] 759*2^1559149-1 is not prime. Res64: 8021E5898B9F1992 Time : 0.0 sec. user=mdettweiler [2020-05-10 22:37:12] 877*2^1559149-1 is not prime. Res64: 005BB98B94AB04B6 Time : 0.0 sec. user=mdettweiler [2020-05-10 22:40:12] 687*2^1559150-1 is not prime. Res64: 43A43C829B45EF00 Time : 0.0 sec. user=mdettweiler [2020-05-10 22:40:12] 767*2^1559150-1 is not prime. Res64: D83787FAFA1EDE13 Time : 0.0 sec. user=mdettweiler [2020-05-10 22:40:13] 773*2^1559150-1 is not prime. Res64: C056DE8776507008 Time : 0.0 sec. user=mdettweiler [2020-05-10 22:40:13] 791*2^1559150-1 is not prime. Res64: 13F35793533FC380 Time : 0.0 sec. user=mdettweiler [2020-05-10 22:40:13] 797*2^1559150-1 is not prime. Res64: 4D7398B0FD8624EC Time : 0.0 sec. user=mdettweiler [2020-05-10 23:15:45] 813*2^1559150-1 is not prime. Res64: E2DDD787ED750FE4 Time : 0.0 sec. user=mdettweiler [2020-05-10 23:15:45] 833*2^1559150-1 is not prime. Res64: E279397B493D4488 Time : 0.0 sec. user=mdettweiler [2020-05-10 23:15:45] 911*2^1559150-1 is not prime. Res64: A1903261203F489C Time : 0.0 sec. user=mdettweiler [2020-05-10 23:15:46] 923*2^1559150-1 is not prime. Res64: 53EE280B746D1D4B Time : 0.0 sec. user=mdettweiler [2020-05-10 23:15:46] 935*2^1559150-1 is not prime. Res64: 9BAFCCFE95E67770 Time : 0.0 sec. user=mdettweiler [2020-05-10 23:31:50] 643*2^1559151-1 is not prime. Res64: 073EF7ED69BDAD46 Time : 0.0 sec. user=mdettweiler [2020-05-10 23:31:50] 709*2^1559151-1 is not prime. Res64: 1B489C63820D105C Time : 0.0 sec. user=mdettweiler [2020-05-10 23:31:50] 769*2^1559151-1 is not prime. Res64: 8784E6A6C4EBCCB5 Time : 0.0 sec. user=mdettweiler [2020-05-10 23:31:51] 913*2^1559151-1 is not prime. Res64: 6370D34DCEEF5E12 Time : 0.0 sec. user=mdettweiler [2020-05-10 23:31:51] 975*2^1559151-1 is not prime. Res64: FC3BA3BDC7E639A4 Time : 0.0 sec. user=mdettweiler [2020-05-10 23:36:17] 849*2^1559152-1 is not prime. Res64: 0B273E493EAD3C93 Time : 0.0 sec. user=mdettweiler [2020-05-10 23:36:17] 917*2^1559152-1 is not prime. Res64: A888BC7F6A820BFA Time : 0.0 sec. user=mdettweiler [2020-05-10 23:36:18] 995*2^1559152-1 is not prime. Res64: 846C94B81BC35E5F Time : 0.0 sec. user=mdettweiler [2020-05-10 23:36:18] 649*2^1559153-1 is not prime. Res64: B7479346CE3A8662 Time : 0.0 sec. user=mdettweiler [2020-05-10 23:36:18] 715*2^1559153-1 is not prime. Res64: A656176D1903B784 Time : 0.0 sec.