user=mdettweiler [2018-05-17 00:07:15] 767*2^1509932-1 is not prime. Res64: 4254ECD97347CBCE Time : 0.0 sec. user=mdettweiler [2018-05-17 00:07:16] 875*2^1509932-1 is not prime. Res64: FAB226D2F567965E Time : 0.0 sec. user=mdettweiler [2018-05-17 00:07:18] 957*2^1509932-1 is not prime. Res64: F21E492A6C325F68 Time : 0.0 sec. user=mdettweiler [2018-05-17 00:07:19] 625*2^1509933-1 is not prime. Res64: 4F5A6FE1325D2232 Time : 0.0 sec. user=mdettweiler [2018-05-17 00:07:20] 919*2^1509933-1 is not prime. Res64: B546E8C211572AAF Time : 0.0 sec. user=mdettweiler [2018-05-17 00:18:21] 937*2^1509933-1 is not prime. Res64: AB292F952CFE7C14 Time : 0.0 sec. user=mdettweiler [2018-05-17 00:18:21] 605*2^1509934-1 is not prime. Res64: DC720B1573357F40 Time : 0.0 sec. user=mdettweiler [2018-05-17 00:18:22] 651*2^1509934-1 is not prime. Res64: 9FC038210155B27E Time : 0.0 sec. user=mdettweiler [2018-05-17 00:18:22] 657*2^1509934-1 is not prime. Res64: 974AB2451088651A Time : 0.0 sec. user=mdettweiler [2018-05-17 00:18:23] 825*2^1509934-1 is not prime. Res64: DD8AD57EF10A30D7 Time : 0.0 sec. user=mdettweiler [2018-05-17 00:37:43] 885*2^1509934-1 is not prime. Res64: 1695BF32D3111D04 Time : 0.0 sec. user=mdettweiler [2018-05-17 00:37:44] 831*2^1509935-1 is not prime. Res64: FC521FFD34BC7838 Time : 0.0 sec. user=mdettweiler [2018-05-17 00:37:44] 841*2^1509935-1 is not prime. Res64: 3CD24FDDCF9BD15F Time : 0.0 sec. user=mdettweiler [2018-05-17 00:37:44] 615*2^1509936-1 is not prime. Res64: BF49922622B240E6 Time : 0.0 sec. user=mdettweiler [2018-05-17 00:37:45] 707*2^1509936-1 is not prime. Res64: 42D61B0FEC9C05EC Time : 0.0 sec. user=mdettweiler [2018-05-17 00:48:13] 773*2^1509936-1 is not prime. Res64: 0E2449D7953B1C6B Time : 0.0 sec. user=mdettweiler [2018-05-17 00:48:13] 715*2^1509937-1 is not prime. Res64: C934C032E5EC04E7 Time : 0.0 sec. user=mdettweiler [2018-05-17 00:48:14] 717*2^1509937-1 is not prime. Res64: 24E59FCE810F6D7C Time : 0.0 sec. user=mdettweiler [2018-05-17 00:48:14] 727*2^1509937-1 is not prime. Res64: 3847E526AE78CBF4 Time : 0.0 sec. user=mdettweiler [2018-05-17 00:48:14] 897*2^1509937-1 is not prime. Res64: 397BC050C729C4F3 Time : 0.0 sec. user=mdettweiler [2018-05-17 00:58:59] 979*2^1509937-1 is not prime. Res64: 4FA9EF43A50FFB54 Time : 0.0 sec. user=mdettweiler [2018-05-17 00:59:00] 635*2^1509938-1 is not prime. Res64: 1FAA0C1FCE83FEE7 Time : 0.0 sec. user=mdettweiler [2018-05-17 00:59:00] 657*2^1509938-1 is not prime. Res64: 437C8CA759120439 Time : 0.0 sec. user=mdettweiler [2018-05-17 00:59:01] 837*2^1509938-1 is not prime. Res64: 0628E019A7AE2E58 Time : 0.0 sec. user=mdettweiler [2018-05-17 00:59:01] 615*2^1509939-1 is not prime. Res64: EA32C02C70143FB5 Time : 0.0 sec. user=mdettweiler [2018-05-17 01:09:54] 735*2^1509939-1 is not prime. Res64: BD83AA4D02165BEB Time : 0.0 sec. user=mdettweiler [2018-05-17 01:09:55] 745*2^1509939-1 is not prime. Res64: 1C8C3A03E1DDD27F Time : 0.0 sec. user=mdettweiler [2018-05-17 01:09:55] 753*2^1509939-1 is not prime. Res64: 1180CB446DCFD531 Time : 0.0 sec. user=mdettweiler [2018-05-17 01:09:56] 801*2^1509939-1 is not prime. Res64: 9C2FFCF72C6B54CD Time : 0.0 sec. user=mdettweiler [2018-05-17 01:09:56] 823*2^1509939-1 is not prime. Res64: F623DFC4D1A9CBA5 Time : 0.0 sec. user=mdettweiler [2018-05-17 01:28:50] 895*2^1509939-1 is not prime. Res64: 1CF3D0F04DFF3999 Time : 0.0 sec. user=mdettweiler [2018-05-17 01:28:51] 921*2^1509939-1 is not prime. Res64: 75B71D058C693F8A Time : 0.0 sec. user=mdettweiler [2018-05-17 01:28:51] 951*2^1509939-1 is not prime. Res64: B0CFC9EC6F0F0C6E Time : 0.0 sec. user=mdettweiler [2018-05-17 01:28:52] 665*2^1509940-1 is not prime. Res64: 624D686D250FBCB9 Time : 0.0 sec. user=mdettweiler [2018-05-17 01:28:53] 833*2^1509940-1 is not prime. Res64: 946E7519FB108452 Time : 0.0 sec. user=mdettweiler [2018-05-17 01:39:42] 875*2^1509940-1 is not prime. Res64: 8E80BA54321758ED Time : 0.0 sec. user=mdettweiler [2018-05-17 01:39:43] 887*2^1509940-1 is not prime. Res64: F54B9CDAAD6FBD45 Time : 0.0 sec. user=mdettweiler [2018-05-17 01:39:43] 897*2^1509940-1 is not prime. Res64: AB7C34FD8372630F Time : 0.0 sec. user=mdettweiler [2018-05-17 01:39:44] 975*2^1509940-1 is not prime. Res64: 8B37BECDBBF0E04E Time : 0.0 sec. user=mdettweiler [2018-05-17 01:39:44] 805*2^1509941-1 is not prime. Res64: DA1E5B0E5BB8CF4E Time : 0.0 sec. user=mdettweiler [2018-05-17 01:49:51] 927*2^1509941-1 is not prime. Res64: 00F7EAB051CE036C Time : 0.0 sec. user=mdettweiler [2018-05-17 01:49:53] 939*2^1509941-1 is not prime. Res64: 7D7CDDF511AC04C9 Time : 0.0 sec. user=mdettweiler [2018-05-17 01:49:53] 951*2^1509941-1 is not prime. Res64: A28DAEFC954363FE Time : 0.0 sec. user=mdettweiler [2018-05-17 01:49:54] 981*2^1509941-1 is not prime. Res64: 8A144874131363CE Time : 0.0 sec. user=mdettweiler [2018-05-17 01:49:56] 665*2^1509942-1 is not prime. Res64: F1C1CFABD43D3EB7 Time : 0.0 sec. user=mdettweiler [2018-05-17 02:00:36] 705*2^1509942-1 is not prime. Res64: 50A6F628018C2143 Time : 0.0 sec. user=mdettweiler [2018-05-17 02:00:37] 725*2^1509942-1 is not prime. Res64: 6590ACD076F739DF Time : 0.0 sec. user=mdettweiler [2018-05-17 02:00:37] 615*2^1509943-1 is not prime. Res64: E34B6E82E8DDD778 Time : 0.0 sec. user=mdettweiler [2018-05-17 02:00:38] 723*2^1509943-1 is not prime. Res64: C50C0F532B2081E3 Time : 0.0 sec. user=mdettweiler [2018-05-17 02:00:38] 789*2^1509943-1 is not prime. Res64: C8544C064789F42E Time : 0.0 sec. user=mdettweiler [2018-05-17 02:12:19] 651*2^1509946-1 is not prime. Res64: 41DA7728B2C6B5A7 Time : 0.0 sec. user=mdettweiler [2018-05-17 02:20:28] 793*2^1509943-1 is not prime. Res64: 1241F66C368C206E Time : 0.0 sec. user=mdettweiler [2018-05-17 02:20:29] 969*2^1509943-1 is not prime. Res64: 2D9E32E2627A2D3C Time : 0.0 sec. user=mdettweiler [2018-05-17 02:20:29] 993*2^1509943-1 is not prime. Res64: 1504C2DE63D2819F Time : 0.0 sec. user=mdettweiler [2018-05-17 02:20:31] 759*2^1509944-1 is not prime. Res64: A921AFE3A9B78EFD Time : 0.0 sec. user=mdettweiler [2018-05-17 02:20:31] 789*2^1509944-1 is not prime. Res64: 0F6698A8B1136BBC Time : 0.0 sec. user=mdettweiler [2018-05-17 02:31:41] 825*2^1509944-1 is not prime. Res64: CD65E59CE6A36CA7 Time : 0.0 sec. user=mdettweiler [2018-05-17 02:31:42] 827*2^1509944-1 is not prime. Res64: A17034245F6CD1B7 Time : 0.0 sec. user=mdettweiler [2018-05-17 02:31:44] 915*2^1509944-1 is not prime. Res64: 7F4FB291030CBD1E Time : 0.0 sec. user=mdettweiler [2018-05-17 02:31:45] 923*2^1509944-1 is not prime. Res64: B0B7AAF37D9945DF Time : 0.0 sec. user=mdettweiler [2018-05-17 02:31:45] 717*2^1509945-1 is not prime. Res64: DA999BE6BA2909F5 Time : 0.0 sec. user=mdettweiler [2018-05-17 02:42:56] 741*2^1509945-1 is not prime. Res64: 9063B5F2A3807A27 Time : 0.0 sec. user=mdettweiler [2018-05-17 02:42:57] 847*2^1509945-1 is not prime. Res64: 5C085842F028B885 Time : 0.0 sec. user=mdettweiler [2018-05-17 02:42:57] 861*2^1509945-1 is not prime. Res64: 6E0845BB8294E15D Time : 0.0 sec. user=mdettweiler [2018-05-17 02:42:58] 915*2^1509945-1 is not prime. Res64: E0D79E696870ADB5 Time : 0.0 sec. user=mdettweiler [2018-05-17 02:42:58] 991*2^1509945-1 is not prime. Res64: 7D24B58A5E9634AA Time : 0.0 sec. user=mdettweiler [2018-05-17 02:52:59] 735*2^1509946-1 is not prime. Res64: 19AB2A8C878C7CDE Time : 0.0 sec. user=mdettweiler [2018-05-17 02:53:01] 737*2^1509946-1 is not prime. Res64: F56CA5C1224CB947 Time : 0.0 sec. user=mdettweiler [2018-05-17 02:53:01] 747*2^1509946-1 is not prime. Res64: 09E596188C8C5733 Time : 0.0 sec. user=mdettweiler [2018-05-17 02:53:03] 941*2^1509946-1 is not prime. Res64: C2A702FA5C265AB6 Time : 0.0 sec. user=mdettweiler [2018-05-17 02:53:04] 733*2^1509947-1 is not prime. Res64: A355406E45EC0B0B Time : 0.0 sec. user=mdettweiler [2018-05-17 03:12:06] 639*2^1509948-1 is not prime. Res64: B5D2D469E23B311A Time : 0.0 sec. user=mdettweiler [2018-05-17 03:12:06] 699*2^1509948-1 is not prime. Res64: D7C358EF3129354A Time : 0.0 sec. user=mdettweiler [2018-05-17 03:12:07] 725*2^1509948-1 is not prime. Res64: C6CC566DCF48DF84 Time : 0.0 sec. user=mdettweiler [2018-05-17 03:12:07] 767*2^1509948-1 is not prime. Res64: 0427E95C18AA60B6 Time : 0.0 sec. user=mdettweiler [2018-05-17 03:12:08] 809*2^1509948-1 is not prime. Res64: 3AEA094F530B1968 Time : 0.0 sec. user=mdettweiler [2018-05-17 03:23:57] 879*2^1509948-1 is not prime. Res64: 89915CB3F990DFDA Time : 0.0 sec. user=mdettweiler [2018-05-17 03:23:57] 887*2^1509948-1 is not prime. Res64: 11C03035C815DCBE Time : 0.0 sec. user=mdettweiler [2018-05-17 03:23:57] 927*2^1509948-1 is not prime. Res64: 303FFAF7388E2885 Time : 0.0 sec. user=mdettweiler [2018-05-17 03:23:58] 929*2^1509948-1 is not prime. Res64: AC4B0F7F94808BF5 Time : 0.0 sec. user=mdettweiler [2018-05-17 03:23:58] 945*2^1509948-1 is not prime. Res64: 98C11BFA4AB44F16 Time : 0.0 sec. user=mdettweiler [2018-05-17 03:34:13] 615*2^1509949-1 is not prime. Res64: BA0EA700009898E1 Time : 0.0 sec. user=mdettweiler [2018-05-17 03:34:15] 667*2^1509949-1 is not prime. Res64: C01A8B2BB11F5B0F Time : 0.0 sec. user=mdettweiler [2018-05-17 03:34:25] 691*2^1509949-1 is not prime. Res64: 2D961EE2F66B6F34 Time : 0.0 sec. user=mdettweiler [2018-05-17 03:44:12] 999*2^1509949-1 is not prime. Res64: 095BCF8B40D077DD Time : 0.0 sec. user=mdettweiler [2018-05-17 03:44:14] 675*2^1509950-1 is not prime. Res64: B1BAA8080B398E85 Time : 0.0 sec. user=mdettweiler [2018-05-17 03:44:17] 707*2^1509950-1 is not prime. Res64: 24BBF02445B6149A Time : 0.0 sec. user=mdettweiler [2018-05-17 03:44:19] 767*2^1509950-1 is not prime. Res64: 67DCFC4515FBC820 Time : 0.0 sec. user=mdettweiler [2018-05-17 03:44:21] 797*2^1509950-1 is not prime. Res64: 618E4EA8A62A3160 Time : 0.0 sec. user=mdettweiler [2018-05-17 04:03:37] 887*2^1509950-1 is not prime. Res64: 949AA585591E6F3A Time : 0.0 sec. user=mdettweiler [2018-05-17 04:03:41] 927*2^1509950-1 is not prime. Res64: 65F41ECAD1C931D5 Time : 0.0 sec. user=mdettweiler [2018-05-17 04:03:44] 987*2^1509950-1 is not prime. Res64: 2F4B497629CD2CF7 Time : 0.0 sec. user=mdettweiler [2018-05-17 04:03:49] 625*2^1509951-1 is not prime. Res64: D504AA7268C044DB Time : 0.0 sec. user=mdettweiler [2018-05-17 04:03:52] 703*2^1509951-1 is not prime. Res64: F8C0B1AED2610FB9 Time : 0.0 sec. user=mdettweiler [2018-05-17 04:16:16] 741*2^1509951-1 is not prime. Res64: FCE3F17216D8862C Time : 0.0 sec. user=mdettweiler [2018-05-17 04:16:21] 871*2^1509951-1 is not prime. Res64: F36912839ED47DD9 Time : 0.0 sec. user=mdettweiler [2018-05-17 04:16:27] 885*2^1509951-1 is not prime. Res64: 4DB59521A0BE555C Time : 0.0 sec. user=mdettweiler [2018-05-17 04:36:10] 979*2^1509951-1 is not prime. Res64: 2077EDEAD773420D Time : 0.0 sec. user=mdettweiler [2018-05-17 04:36:10] 603*2^1509952-1 is not prime. Res64: 3E4883C392825816 Time : 0.0 sec. user=mdettweiler [2018-05-17 04:36:11] 615*2^1509952-1 is not prime. Res64: CF70383677E78684 Time : 0.0 sec. user=mdettweiler [2018-05-17 04:36:12] 635*2^1509952-1 is not prime. Res64: CB1FD16288DF2636 Time : 0.0 sec. user=mdettweiler [2018-05-17 04:36:12] 665*2^1509952-1 is not prime. Res64: 9D39CA0FAD546D43 Time : 0.0 sec. user=mdettweiler [2018-05-17 04:57:39] 695*2^1509952-1 is not prime. Res64: 15648D7247E6D4E2 Time : 0.0 sec. user=mdettweiler [2018-05-17 04:57:39] 699*2^1509952-1 is not prime. Res64: 0A722ED442558349 Time : 0.0 sec. user=mdettweiler [2018-05-17 04:57:40] 765*2^1509952-1 is not prime. Res64: 64F3EAC43A3DBB52 Time : 0.0 sec. user=mdettweiler [2018-05-17 04:57:40] 797*2^1509952-1 is not prime. Res64: FA3A06D9FF1EDE98 Time : 0.0 sec. user=mdettweiler [2018-05-17 04:57:41] 843*2^1509952-1 is not prime. Res64: 18D4E96C5B92684A Time : 0.0 sec. user=mdettweiler [2018-05-17 05:30:49] 965*2^1509952-1 is not prime. Res64: 17561A70D2C49021 Time : 0.0 sec. user=mdettweiler [2018-05-17 05:30:50] 995*2^1509952-1 is not prime. Res64: E42C44EC03B2540B Time : 0.0 sec. user=mdettweiler [2018-05-17 05:30:50] 627*2^1509953-1 is not prime. Res64: 68C8AF25A5F4DC49 Time : 0.0 sec. user=mdettweiler [2018-05-17 05:30:52] 691*2^1509953-1 is not prime. Res64: 3905753F1AF0E4B1 Time : 0.0 sec. user=mdettweiler [2018-05-17 05:30:56] 771*2^1509953-1 is not prime. Res64: EF79EA1DB0A41835 Time : 0.0 sec. user=mdettweiler [2018-05-17 05:52:25] 789*2^1509953-1 is not prime. Res64: 11ED88B03DA209DC Time : 0.0 sec. user=mdettweiler [2018-05-17 05:52:25] 951*2^1509953-1 is not prime. Res64: 7CD0E6203222D9FF Time : 0.0 sec. user=mdettweiler [2018-05-17 05:52:26] 681*2^1509954-1 is not prime. Res64: C78B72927A0C860F Time : 0.0 sec. user=mdettweiler [2018-05-17 05:52:26] 717*2^1509954-1 is not prime. Res64: F767D7BCE699FF48 Time : 0.0 sec. user=mdettweiler [2018-05-17 05:52:28] 725*2^1509954-1 is not prime. Res64: BFA8E6C1F68A3F3F Time : 0.0 sec. user=mdettweiler [2018-05-17 06:24:58] 737*2^1509954-1 is not prime. Res64: 7505FEC50914EC3F Time : 0.0 sec. user=mdettweiler [2018-05-17 06:24:59] 767*2^1509954-1 is not prime. Res64: 12CE5B2A13A39A93 Time : 0.0 sec. user=mdettweiler [2018-05-17 06:24:59] 875*2^1509954-1 is not prime. Res64: 127BFE95FEAE4FE7 Time : 0.0 sec. user=mdettweiler [2018-05-17 06:25:00] 945*2^1509954-1 is not prime. Res64: 81969FB4C18D2B81 Time : 0.0 sec. user=mdettweiler [2018-05-17 06:25:00] 1001*2^1509954-1 is not prime. Res64: A74C9C667BB26C93 Time : 0.0 sec. user=mdettweiler [2018-05-17 06:46:14] 609*2^1509955-1 is not prime. Res64: BB77196B7D7A1E85 Time : 0.0 sec. user=mdettweiler [2018-05-17 06:46:15] 759*2^1509955-1 is not prime. Res64: CB9230AF1E3CE1F8 Time : 0.0 sec. user=mdettweiler [2018-05-17 06:46:15] 789*2^1509955-1 is not prime. Res64: 64F35D99791BD390 Time : 0.0 sec. user=mdettweiler [2018-05-17 06:46:16] 853*2^1509955-1 is not prime. Res64: F1290651724D7469 Time : 0.0 sec. user=mdettweiler [2018-05-17 06:46:16] 951*2^1509955-1 is not prime. Res64: F8F9B2469E7077FE Time : 0.0 sec. user=mdettweiler [2018-05-17 07:17:47] 617*2^1509956-1 is not prime. Res64: 59AF173038859940 Time : 0.0 sec. user=mdettweiler [2018-05-17 07:17:47] 623*2^1509956-1 is not prime. Res64: BA8BF010638C07D9 Time : 0.0 sec. user=mdettweiler [2018-05-17 07:17:48] 669*2^1509956-1 is not prime. Res64: 858786757AE45387 Time : 0.0 sec. user=mdettweiler [2018-05-17 07:17:48] 923*2^1509956-1 is not prime. Res64: 476123ACF8F89A1C Time : 0.0 sec. user=mdettweiler [2018-05-17 07:17:49] 969*2^1509956-1 is not prime. Res64: A3F5ABEEB54EFAD4 Time : 0.0 sec. user=mdettweiler [2018-05-17 07:40:11] 669*2^1509957-1 is not prime. Res64: 17100644B46B327C Time : 0.0 sec. user=mdettweiler [2018-05-17 07:40:11] 741*2^1509957-1 is not prime. Res64: 19AD6E81D97E2119 Time : 0.0 sec. user=mdettweiler [2018-05-17 07:40:12] 751*2^1509957-1 is not prime. Res64: 9FF270C20042FA51 Time : 0.0 sec. user=mdettweiler [2018-05-17 07:40:12] 819*2^1509957-1 is not prime. Res64: 3A963BCEB28A72AD Time : 0.0 sec. user=mdettweiler [2018-05-17 07:40:13] 891*2^1509957-1 is not prime. Res64: 1CDA0EFA35E00A56 Time : 0.0 sec. user=mdettweiler [2018-05-17 08:14:59] 979*2^1509957-1 is not prime. Res64: 93EDCB9008D600D5 Time : 0.0 sec. user=mdettweiler [2018-05-17 08:14:59] 603*2^1509958-1 is not prime. Res64: 1FF612B221BC925E Time : 0.0 sec. user=mdettweiler [2018-05-17 08:15:00] 647*2^1509958-1 is not prime. Res64: 21C8485387840631 Time : 0.0 sec. user=mdettweiler [2018-05-17 08:15:00] 677*2^1509958-1 is not prime. Res64: 88413B6F808B79B2 Time : 0.0 sec. user=mdettweiler [2018-05-17 08:15:01] 737*2^1509958-1 is not prime. Res64: 687244A994DDD307 Time : 0.0 sec. user=mdettweiler [2018-05-17 08:35:01] 831*2^1509958-1 is not prime. Res64: EF74F4A18FCC39B5 Time : 0.0 sec. user=mdettweiler [2018-05-17 08:35:02] 615*2^1509959-1 is not prime. Res64: 436C5D07BAE0D41A Time : 0.0 sec. user=mdettweiler [2018-05-17 08:35:02] 711*2^1509959-1 is not prime. Res64: 75FF7A3F0E536CE5 Time : 0.0 sec. user=mdettweiler [2018-05-17 08:35:03] 735*2^1509959-1 is not prime. Res64: 2A53670402CD9AA2 Time : 0.0 sec. user=mdettweiler [2018-05-17 08:35:03] 825*2^1509959-1 is not prime. Res64: 6C151505F1F71562 Time : 0.0 sec. user=mdettweiler [2018-05-17 09:07:14] 747*2^1509949-1 is not prime. Res64: 5DF796A5D47BFB0C Time : 0.0 sec. user=mdettweiler [2018-05-17 09:07:16] 769*2^1509949-1 is not prime. Res64: AABB57F7924AD0E1 Time : 0.0 sec. user=mdettweiler [2018-05-17 09:10:22] 843*2^1509959-1 is not prime. Res64: 2312FFC91F8223E1 Time : 0.0 sec. user=mdettweiler [2018-05-17 09:10:22] 985*2^1509959-1 is not prime. Res64: A3E247B4BAB257D8 Time : 0.0 sec. user=mdettweiler [2018-05-17 09:10:23] 689*2^1509960-1 is not prime. Res64: C427434A7E9003FA Time : 0.0 sec. user=mdettweiler [2018-05-17 09:10:24] 765*2^1509960-1 is not prime. Res64: 70BAF318FF13B64C Time : 0.0 sec. user=mdettweiler [2018-05-17 09:10:24] 825*2^1509960-1 is not prime. Res64: 7696A5EB764E32B8 Time : 0.0 sec. user=mdettweiler [2018-05-17 09:22:06] 891*2^1509951-1 is not prime. Res64: C201F6D008960EA3 Time : 0.0 sec. user=mdettweiler [2018-05-17 09:22:06] 933*2^1509951-1 is not prime. Res64: 56D3933B60BE9915 Time : 0.0 sec. user=mdettweiler [2018-05-17 09:28:57] 615*2^1509961-1 is not prime. Res64: FA69176F46BA7BDD Time : 0.0 sec. user=mdettweiler [2018-05-17 09:28:58] 777*2^1509961-1 is not prime. Res64: 05254030CF3B5DA4 Time : 0.0 sec. user=mdettweiler [2018-05-17 09:28:58] 799*2^1509961-1 is not prime. Res64: ADCBF86142F24568 Time : 0.0 sec. user=mdettweiler [2018-05-17 09:28:59] 855*2^1509961-1 is not prime. Res64: B2F0CC91DA7CC18E Time : 0.0 sec. user=mdettweiler [2018-05-17 09:28:59] 861*2^1509961-1 is not prime. Res64: DFEC6821F86A2687 Time : 0.0 sec. user=mdettweiler [2018-05-17 09:59:16] 711*2^1509962-1 is not prime. Res64: 07CE1FF487CD8F8E Time : 0.0 sec. user=mdettweiler [2018-05-17 09:59:17] 731*2^1509962-1 is not prime. Res64: 10637FAF79B9451E Time : 0.0 sec. user=mdettweiler [2018-05-17 09:59:17] 813*2^1509962-1 is not prime. Res64: 9A080B0083D41944 Time : 0.0 sec. user=mdettweiler [2018-05-17 09:59:17] 867*2^1509962-1 is not prime. Res64: 4785303B9E4591FC Time : 0.0 sec. user=mdettweiler [2018-05-17 09:59:18] 911*2^1509962-1 is not prime. Res64: F7A803809622ED18 Time : 0.0 sec. user=mdettweiler [2018-05-17 10:00:52] 963*2^1509962-1 is not prime. Res64: A522434451439C7B Time : 0.0 sec. user=mdettweiler [2018-05-17 10:00:53] 1001*2^1509962-1 is not prime. Res64: 871082FBCF296A34 Time : 0.0 sec. user=mdettweiler [2018-05-17 10:00:54] 643*2^1509963-1 is not prime. Res64: F41D3F2E04B311DE Time : 0.0 sec. user=mdettweiler [2018-05-17 10:00:55] 669*2^1509963-1 is not prime. Res64: 1238AB821EC47D7E Time : 0.0 sec. user=mdettweiler [2018-05-17 10:00:56] 685*2^1509963-1 is not prime. Res64: 44C6F3A72FA0DBFF Time : 0.0 sec. user=mdettweiler [2018-05-17 10:12:38] 699*2^1509963-1 is not prime. Res64: 6BD3DE130BBC43EA Time : 0.0 sec. user=mdettweiler [2018-05-17 10:12:39] 617*2^1509964-1 is not prime. Res64: F059EE398CD50F61 Time : 0.0 sec. user=mdettweiler [2018-05-17 10:12:39] 827*2^1509964-1 is not prime. Res64: 0C7B6C5A9D2E6B88 Time : 0.0 sec. user=mdettweiler [2018-05-17 10:12:39] 855*2^1509964-1 is not prime. Res64: B96814B0E003A894 Time : 0.0 sec. user=mdettweiler [2018-05-17 10:12:40] 927*2^1509964-1 is not prime. Res64: D17E283B318137A6 Time : 0.0 sec. user=mdettweiler [2018-05-17 10:20:00] 939*2^1509964-1 is not prime. Res64: D74FD54CD199156C Time : 0.0 sec. user=mdettweiler [2018-05-17 10:20:00] 975*2^1509964-1 is not prime. Res64: 90281C637D939809 Time : 0.0 sec. user=mdettweiler [2018-05-17 10:20:00] 989*2^1509964-1 is not prime. Res64: 30F66F4E7D985909 Time : 0.0 sec. user=mdettweiler [2018-05-17 10:20:01] 601*2^1509965-1 is not prime. Res64: 6ACA806E76AAA94B Time : 0.0 sec. user=mdettweiler [2018-05-17 10:20:01] 825*2^1509965-1 is not prime. Res64: B0E85C362CF33391 Time : 0.0 sec. user=mdettweiler [2018-05-17 10:49:47] 981*2^1509965-1 is not prime. Res64: 5494B605C9D74F97 Time : 0.0 sec. user=mdettweiler [2018-05-17 10:49:47] 641*2^1509966-1 is not prime. Res64: 81A56CB31AE90ECA Time : 0.0 sec. user=mdettweiler [2018-05-17 10:49:48] 893*2^1509966-1 is not prime. Res64: 5584CDEB82123EE9 Time : 0.0 sec. user=mdettweiler [2018-05-17 10:49:48] 993*2^1509966-1 is not prime. Res64: 6D64F33EB0EECD59 Time : 0.0 sec. user=mdettweiler [2018-05-17 10:49:48] 693*2^1509967-1 is not prime. Res64: 35B4F63CB5D17B96 Time : 0.0 sec. user=mdettweiler [2018-05-17 10:52:20] 705*2^1509967-1 is not prime. Res64: 454DB62A6CABE830 Time : 0.0 sec. user=mdettweiler [2018-05-17 10:52:20] 759*2^1509967-1 is not prime. Res64: 16D660343D7E6E9C Time : 0.0 sec. user=mdettweiler [2018-05-17 10:52:21] 805*2^1509967-1 is not prime. Res64: 3B0B6B745F9F44CD Time : 0.0 sec. user=mdettweiler [2018-05-17 10:52:21] 909*2^1509967-1 is not prime. Res64: 1B730AC88347ECAD Time : 0.0 sec. user=mdettweiler [2018-05-17 10:52:21] 919*2^1509967-1 is not prime. Res64: 2ACBC127BF76A772 Time : 0.0 sec. user=mdettweiler [2018-05-17 11:03:51] 795*2^1509968-1 is not prime. Res64: 0906CBA3D2C181D2 Time : 0.0 sec. user=mdettweiler [2018-05-17 11:03:53] 845*2^1509968-1 is not prime. Res64: 340B52AEEC046E96 Time : 0.0 sec. user=mdettweiler [2018-05-17 11:03:54] 929*2^1509968-1 is not prime. Res64: E0F747DEDDF966DA Time : 0.0 sec. user=mdettweiler [2018-05-17 11:03:55] 969*2^1509968-1 is not prime. Res64: 0CA9BD76255459F9 Time : 0.0 sec. user=mdettweiler [2018-05-17 11:03:56] 997*2^1509969-1 is not prime. Res64: 6338D15ECA7270A6 Time : 0.0 sec. user=mdettweiler [2018-05-17 11:10:49] 635*2^1509970-1 is not prime. Res64: 262CACC9016DF6D5 Time : 0.0 sec. user=mdettweiler [2018-05-17 11:10:49] 773*2^1509970-1 is not prime. Res64: 432B574F11A38872 Time : 0.0 sec. user=mdettweiler [2018-05-17 11:10:50] 791*2^1509970-1 is not prime. Res64: B5912AF0CF79F8B9 Time : 0.0 sec. user=mdettweiler [2018-05-17 11:10:50] 803*2^1509970-1 is not prime. Res64: 79DD5851888EE0D5 Time : 0.0 sec. user=mdettweiler [2018-05-17 11:10:50] 873*2^1509970-1 is not prime. Res64: 2AA8CFFD7E8B808E Time : 0.0 sec. user=mdettweiler [2018-05-17 11:41:12] 933*2^1509970-1 is not prime. Res64: 02B2C4A23CD60DE0 Time : 0.0 sec. user=mdettweiler [2018-05-17 11:41:12] 945*2^1509970-1 is not prime. Res64: 7685E71DF1DD4378 Time : 0.0 sec. user=mdettweiler [2018-05-17 11:41:13] 603*2^1509971-1 is not prime. Res64: F23893A883226E16 Time : 0.0 sec. user=mdettweiler [2018-05-17 11:41:13] 609*2^1509971-1 is not prime. Res64: B4121CEFFCBBDA46 Time : 0.0 sec. user=mdettweiler [2018-05-17 11:41:14] 693*2^1509971-1 is not prime. Res64: EC985D47FA592B26 Time : 0.0 sec. user=mdettweiler [2018-05-17 11:44:01] 705*2^1509971-1 is not prime. Res64: E48492B2635A804C Time : 0.0 sec. user=mdettweiler [2018-05-17 11:44:01] 735*2^1509971-1 is not prime. Res64: 89B6C935029EB125 Time : 0.0 sec. user=mdettweiler [2018-05-17 11:44:01] 813*2^1509971-1 is not prime. Res64: 61FB91E4D4C8AF71 Time : 0.0 sec. user=mdettweiler [2018-05-17 11:44:02] 879*2^1509971-1 is not prime. Res64: 598F811190D66E74 Time : 0.0 sec. user=mdettweiler [2018-05-17 11:44:02] 921*2^1509971-1 is not prime. Res64: BF234B4B47B2B24B Time : 0.0 sec. user=mdettweiler [2018-05-17 11:56:34] 939*2^1509971-1 is not prime. Res64: 3E89546DBE9E40DD Time : 0.0 sec. user=mdettweiler [2018-05-17 11:56:35] 969*2^1509971-1 is not prime. Res64: 315E9BE498DD0846 Time : 0.0 sec. user=mdettweiler [2018-05-17 11:56:35] 909*2^1509972-1 is not prime. Res64: 71A3EEDC41A115C2 Time : 0.0 sec. user=mdettweiler [2018-05-17 11:56:36] 947*2^1509972-1 is not prime. Res64: 6EEF61CC35AF60F2 Time : 0.0 sec. user=mdettweiler [2018-05-17 11:56:36] 609*2^1509973-1 is not prime. Res64: 90F49D3D1201AC44 Time : 0.0 sec. user=mdettweiler [2018-05-17 12:06:32] 621*2^1509973-1 is not prime. Res64: 82865571C8D3E064 Time : 0.0 sec. user=mdettweiler [2018-05-17 12:06:34] 625*2^1509973-1 is not prime. Res64: 89F19A2953878A50 Time : 0.0 sec. user=mdettweiler [2018-05-17 12:06:35] 729*2^1509973-1 is not prime. Res64: 5805F882B6516933 Time : 0.0 sec. user=mdettweiler [2018-05-17 12:06:36] 741*2^1509973-1 is not prime. Res64: 93051BBA111C384A Time : 0.0 sec. user=mdettweiler [2018-05-17 12:06:37] 819*2^1509973-1 is not prime. Res64: 7E718A051E5859D0 Time : 0.0 sec. user=mdettweiler [2018-05-17 12:37:50] 855*2^1509973-1 is not prime. Res64: F950E63B0F872F3E Time : 0.0 sec. user=mdettweiler [2018-05-17 12:37:50] 967*2^1509973-1 is not prime. Res64: 2007769FA407F4C3 Time : 0.0 sec. user=mdettweiler [2018-05-17 12:37:51] 979*2^1509973-1 is not prime. Res64: 768D7112081D7D61 Time : 0.0 sec. user=mdettweiler [2018-05-17 12:37:51] 623*2^1509974-1 is not prime. Res64: CFFCAEB58C22885D Time : 0.0 sec. user=mdettweiler [2018-05-17 12:37:52] 833*2^1509974-1 is not prime. Res64: EE70BEB83353915A Time : 0.0 sec. user=mdettweiler [2018-05-17 12:38:08] 861*2^1509974-1 is not prime. Res64: 76C2044D53B087C5 Time : 0.0 sec. user=mdettweiler [2018-05-17 12:38:08] 651*2^1509975-1 is not prime. Res64: EF0422ADCE7C0690 Time : 0.0 sec. user=mdettweiler [2018-05-17 12:38:08] 781*2^1509975-1 is not prime. Res64: C481148EC9D870E9 Time : 0.0 sec. user=mdettweiler [2018-05-17 12:38:09] 819*2^1509975-1 is not prime. Res64: 1BFD54DAA90BD274 Time : 0.0 sec. user=mdettweiler [2018-05-17 12:38:09] 825*2^1509975-1 is not prime. Res64: 98876D1D8A8E426C Time : 0.0 sec. user=mdettweiler [2018-05-17 12:48:35] 645*2^1509976-1 is not prime. Res64: 19019EB37484F803 Time : 0.0 sec. user=mdettweiler [2018-05-17 12:48:35] 695*2^1509976-1 is not prime. Res64: 082616FD676A64AB Time : 0.0 sec. user=mdettweiler [2018-05-17 12:48:36] 707*2^1509976-1 is not prime. Res64: 294DF62964C58145 Time : 0.0 sec. user=mdettweiler [2018-05-17 12:48:36] 735*2^1509976-1 is not prime. Res64: 9976C5767DBEA7E8 Time : 0.0 sec. user=mdettweiler [2018-05-17 12:48:36] 755*2^1509976-1 is not prime. Res64: C02D934FB0FB00E0 Time : 0.0 sec. user=mdettweiler [2018-05-17 13:00:36] 869*2^1509976-1 is not prime. Res64: 81354530F24B799F Time : 0.0 sec. user=mdettweiler [2018-05-17 13:00:37] 897*2^1509976-1 is not prime. Res64: A105FAE8437CA889 Time : 0.0 sec. user=mdettweiler [2018-05-17 13:00:38] 927*2^1509976-1 is not prime. Res64: 06B463C82B70A2FD Time : 0.0 sec. user=mdettweiler [2018-05-17 13:00:39] 699*2^1509977-1 is not prime. Res64: 3325A1B276A5627E Time : 0.0 sec. user=mdettweiler [2018-05-17 13:00:39] 799*2^1509977-1 is not prime. Res64: D2342C2BD87D69E6 Time : 0.0 sec. user=mdettweiler [2018-05-17 13:29:15] 925*2^1509977-1 is not prime. Res64: 621FDEFA2A4479B2 Time : 0.0 sec. user=mdettweiler [2018-05-17 13:29:16] 635*2^1509978-1 is not prime. Res64: 5753D5BA5C7DCA6C Time : 0.0 sec. user=mdettweiler [2018-05-17 13:29:16] 651*2^1509978-1 is not prime. Res64: A2DFBF2B0145B305 Time : 0.0 sec. user=mdettweiler [2018-05-17 13:29:16] 681*2^1509978-1 is not prime. Res64: 070BC41916B2C30B Time : 0.0 sec. user=mdettweiler [2018-05-17 13:29:17] 747*2^1509978-1 is not prime. Res64: 774DB8427EA14C03 Time : 0.0 sec. user=mdettweiler [2018-05-17 13:29:49] 791*2^1509978-1 is not prime. Res64: 1EA8EDB91789BEDD Time : 0.0 sec. user=mdettweiler [2018-05-17 13:29:49] 801*2^1509978-1 is not prime. Res64: 6F1593069AE7BA9A Time : 0.0 sec. user=mdettweiler [2018-05-17 13:29:50] 861*2^1509978-1 is not prime. Res64: FC8FF44F1E1FBD85 Time : 0.0 sec. user=mdettweiler [2018-05-17 13:29:50] 875*2^1509978-1 is not prime. Res64: 535B18ADE90A45C3 Time : 0.0 sec. user=mdettweiler [2018-05-17 13:29:50] 893*2^1509978-1 is not prime. Res64: B520A803A6C31AF2 Time : 0.0 sec. user=mdettweiler [2018-05-17 13:39:10] 975*2^1509978-1 is not prime. Res64: ED5A8C62EF7DF70B Time : 0.0 sec. user=mdettweiler [2018-05-17 13:39:11] 615*2^1509979-1 is not prime. Res64: 56B495A50B2F1731 Time : 0.0 sec. user=mdettweiler [2018-05-17 13:39:11] 663*2^1509979-1 is not prime. Res64: 93C0E1180D7917AE Time : 0.0 sec. user=mdettweiler [2018-05-17 13:39:11] 691*2^1509979-1 is not prime. Res64: 4A6F9D39B72AC6B6 Time : 0.0 sec. user=mdettweiler [2018-05-17 13:39:12] 693*2^1509979-1 is not prime. Res64: 3DAC5B440A5A669B Time : 0.0 sec. user=mdettweiler [2018-05-17 13:52:55] 723*2^1509979-1 is not prime. Res64: 52D7023287B14502 Time : 0.0 sec. user=mdettweiler [2018-05-17 13:52:56] 759*2^1509979-1 is not prime. Res64: 6B42CA02FAAE3EDA Time : 0.0 sec. user=mdettweiler [2018-05-17 13:52:56] 853*2^1509979-1 is not prime. Res64: 849BE407B8EDFA83 Time : 0.0 sec. user=mdettweiler [2018-05-17 13:52:57] 743*2^1509980-1 is not prime. Res64: 7EA26B43AD05B331 Time : 0.0 sec. user=mdettweiler [2018-05-17 13:52:57] 813*2^1509980-1 is not prime. Res64: 04DFCCD599542604 Time : 0.0 sec. user=mdettweiler [2018-05-17 14:20:53] 847*2^1509981-1 is not prime. Res64: A5C2B41F4904C586 Time : 0.0 sec. user=mdettweiler [2018-05-17 14:20:54] 889*2^1509981-1 is not prime. Res64: BD14A0A02A97F7D5 Time : 0.0 sec. user=mdettweiler [2018-05-17 14:20:54] 611*2^1509982-1 is not prime. Res64: FCFB140E04808E93 Time : 0.0 sec. user=mdettweiler [2018-05-17 14:20:54] 681*2^1509982-1 is not prime. Res64: 585ADD93A2C2FF74 Time : 0.0 sec. user=mdettweiler [2018-05-17 14:20:55] 695*2^1509982-1 is not prime. Res64: 2DF485665D10238B Time : 0.0 sec. user=mdettweiler [2018-05-17 14:21:04] 845*2^1509980-1 is not prime. Res64: 5C814BD350C9F827 Time : 0.0 sec. user=mdettweiler [2018-05-17 14:21:05] 963*2^1509980-1 is not prime. Res64: 3B95F8479EA6DE4C Time : 0.0 sec. user=mdettweiler [2018-05-17 14:21:05] 601*2^1509981-1 is not prime. Res64: 25D3F585B5EFBB24 Time : 0.0 sec. user=mdettweiler [2018-05-17 14:21:05] 685*2^1509981-1 is not prime. Res64: 0D82DD15444BFEB0 Time : 0.0 sec. user=mdettweiler [2018-05-17 14:21:05] 741*2^1509981-1 is not prime. Res64: 8420594FFF3B1DB5 Time : 0.0 sec. user=mdettweiler [2018-05-17 14:31:33] 705*2^1509982-1 is not prime. Res64: 12363795B6935737 Time : 0.0 sec. user=mdettweiler [2018-05-17 14:31:33] 755*2^1509982-1 is not prime. Res64: 29C3D0520F0385C4 Time : 0.0 sec. user=mdettweiler [2018-05-17 14:31:34] 777*2^1509982-1 is not prime. Res64: C267FA4016885193 Time : 0.0 sec. user=mdettweiler [2018-05-17 14:31:34] 801*2^1509982-1 is not prime. Res64: E6711F3D6369C056 Time : 0.0 sec. user=mdettweiler [2018-05-17 14:31:34] 825*2^1509982-1 is not prime. Res64: 700C4CA5C88DA69F Time : 0.0 sec. user=mdettweiler [2018-05-17 14:48:35] 833*2^1509982-1 is not prime. Res64: F4CF5D6CFFCA119B Time : 0.0 sec. user=mdettweiler [2018-05-17 14:48:36] 911*2^1509982-1 is not prime. Res64: 7B9277DE2C27E50A Time : 0.0 sec. user=mdettweiler [2018-05-17 14:48:36] 915*2^1509982-1 is not prime. Res64: 12C95A3FEFAB562E Time : 0.0 sec. user=mdettweiler [2018-05-17 14:48:36] 981*2^1509982-1 is not prime. Res64: AFB1C7035C5EC8D9 Time : 0.0 sec. user=mdettweiler [2018-05-17 14:48:37] 987*2^1509982-1 is not prime. Res64: BD96454136869150 Time : 0.0 sec. user=mdettweiler [2018-05-17 15:14:32] 861*2^1509983-1 is not prime. Res64: 30F61FCDB94F2A3A Time : 0.0 sec. user=mdettweiler [2018-05-17 15:14:32] 985*2^1509983-1 is not prime. Res64: C2557DE9538E6B91 Time : 0.0 sec. user=mdettweiler [2018-05-17 15:14:33] 999*2^1509983-1 is not prime. Res64: 471B3F8B5DAAD43F Time : 0.0 sec. user=mdettweiler [2018-05-17 15:14:35] 629*2^1509984-1 is not prime. Res64: 2D56FC81BECB08F4 Time : 0.0 sec. user=mdettweiler [2018-05-17 15:14:36] 603*2^1509983-1 is not prime. Res64: C4FD99ADBA5B6912 Time : 0.0 sec. user=mdettweiler [2018-05-17 15:14:36] 663*2^1509984-1 is not prime. Res64: 786F3ED4E6AE8106 Time : 0.0 sec. user=mdettweiler [2018-05-17 15:14:36] 619*2^1509983-1 is not prime. Res64: D08C319CFDC7D904 Time : 0.0 sec. user=mdettweiler [2018-05-17 15:14:36] 643*2^1509983-1 is not prime. Res64: AD0F94AD263B0144 Time : 0.0 sec. user=mdettweiler [2018-05-17 15:14:37] 775*2^1509983-1 is not prime. Res64: 59F68E2D43C580DD Time : 0.0 sec. user=mdettweiler [2018-05-17 15:14:37] 829*2^1509983-1 is not prime. Res64: C376108A250EA149 Time : 0.0 sec. user=mdettweiler [2018-05-17 15:26:11] 705*2^1509984-1 is not prime. Res64: 3132BF8942945129 Time : 0.0 sec. user=mdettweiler [2018-05-17 15:26:11] 717*2^1509984-1 is not prime. Res64: E6909D035D244965 Time : 0.0 sec. user=mdettweiler [2018-05-17 15:26:12] 863*2^1509984-1 is not prime. Res64: 7ACF5DB064E1630C Time : 0.0 sec. user=mdettweiler [2018-05-17 15:26:12] 893*2^1509984-1 is not prime. Res64: 27F316DF11A40579 Time : 0.0 sec. user=mdettweiler [2018-05-17 15:26:13] 945*2^1509984-1 is not prime. Res64: 5A30B1769C97F41F Time : 0.0 sec. user=mdettweiler [2018-05-17 15:39:14] 959*2^1509984-1 is not prime. Res64: 53C1B8CD5C404010 Time : 0.0 sec. user=mdettweiler [2018-05-17 15:39:14] 607*2^1509985-1 is not prime. Res64: 0C483E6AD65CE0B9 Time : 0.0 sec. user=mdettweiler [2018-05-17 15:39:15] 985*2^1509985-1 is not prime. Res64: 0407F7D40857D7B8 Time : 0.0 sec. user=mdettweiler [2018-05-17 15:39:15] 617*2^1509986-1 is not prime. Res64: 691253E626DF078E Time : 0.0 sec. user=mdettweiler [2018-05-17 15:39:15] 633*2^1509986-1 is not prime. Res64: B8B4D90B5AD10DA1 Time : 0.0 sec. user=mdettweiler [2018-05-17 16:06:27] 743*2^1509986-1 is not prime. Res64: 615D6938040068FA Time : 0.0 sec. user=mdettweiler [2018-05-17 16:06:34] 861*2^1509986-1 is not prime. Res64: 5BF1FB034F3CD66C Time : 0.0 sec. user=mdettweiler [2018-05-17 16:06:36] 893*2^1509986-1 is not prime. Res64: 5548C4055A44BCE5 Time : 0.0 sec. user=mdettweiler [2018-05-17 16:06:38] 903*2^1509986-1 is not prime. Res64: 550DB5DA2485AF42 Time : 0.0 sec. user=mdettweiler [2018-05-17 16:06:39] 935*2^1509986-1 is not prime. Res64: 1C34C5FE463FF2CD Time : 0.0 sec. user=mdettweiler [2018-05-17 16:06:54] 981*2^1509986-1 is not prime. Res64: 58D4E75149FC0BDF Time : 0.0 sec. user=mdettweiler [2018-05-17 16:06:59] 619*2^1509987-1 is not prime. Res64: 55DEE8ED6AAA596E Time : 0.0 sec. user=mdettweiler [2018-05-17 16:07:03] 709*2^1509987-1 is not prime. Res64: B8321130C298ABCA Time : 0.0 sec. user=mdettweiler [2018-05-17 16:07:04] 751*2^1509987-1 is not prime. Res64: 4ADF2207FD648E76 Time : 0.0 sec. user=mdettweiler [2018-05-17 16:07:06] 873*2^1509987-1 is not prime. Res64: B674AAB30B34C4ED Time : 0.0 sec. user=mdettweiler [2018-05-17 16:25:12] 891*2^1509987-1 is not prime. Res64: F4D2A3E53AB1B4A6 Time : 0.0 sec. user=mdettweiler [2018-05-17 16:25:12] 919*2^1509987-1 is not prime. Res64: 35A40CF6B02BE065 Time : 0.0 sec. user=mdettweiler [2018-05-17 16:25:13] 743*2^1509988-1 is not prime. Res64: DE9B7A550943E88D Time : 0.0 sec. user=mdettweiler [2018-05-17 16:25:13] 777*2^1509988-1 is not prime. Res64: 37F5651209BACF26 Time : 0.0 sec. user=mdettweiler [2018-05-17 16:25:14] 855*2^1509988-1 is not prime. Res64: 2EA28968D696E6C1 Time : 0.0 sec. user=mdettweiler [2018-05-17 16:30:27] 909*2^1509988-1 is not prime. Res64: 81DDF787103F3FD2 Time : 0.0 sec. user=mdettweiler [2018-05-17 16:30:28] 993*2^1509988-1 is not prime. Res64: BB07D7FDC2A3AC40 Time : 0.0 sec. user=mdettweiler [2018-05-17 16:30:28] 679*2^1509989-1 is not prime. Res64: 68163E39CCE77B63 Time : 0.0 sec. user=mdettweiler [2018-05-17 16:30:28] 741*2^1509989-1 is not prime. Res64: 244B0C72F00B5F90 Time : 0.0 sec. user=mdettweiler [2018-05-17 16:30:29] 775*2^1509989-1 is not prime. Res64: 0C1CCE6295C4830C Time : 0.0 sec. user=mdettweiler [2018-05-17 16:57:58] 619*2^1509991-1 is not prime. Res64: 4293A09DFB0E84C1 Time : 0.0 sec. user=mdettweiler [2018-05-17 16:57:58] 645*2^1509991-1 is not prime. Res64: 0FE199D4B360BFA7 Time : 0.0 sec. user=mdettweiler [2018-05-17 16:57:59] 681*2^1509991-1 is not prime. Res64: BBEEF0BAD9E59C55 Time : 0.0 sec. user=mdettweiler [2018-05-17 16:57:59] 883*2^1509991-1 is not prime. Res64: A9E5001255CA5068 Time : 0.0 sec. user=mdettweiler [2018-05-17 16:57:59] 939*2^1509991-1 is not prime. Res64: 305989B1DEBA14DD Time : 0.0 sec. user=mdettweiler [2018-05-17 16:58:39] 789*2^1509989-1 is not prime. Res64: 049774C88BA4F63F Time : 0.0 sec. user=mdettweiler [2018-05-17 16:58:40] 837*2^1509989-1 is not prime. Res64: 1680917F7052713A Time : 0.0 sec. user=mdettweiler [2018-05-17 16:58:40] 867*2^1509990-1 is not prime. Res64: 755FBA7C4C8987CB Time : 0.0 sec. user=mdettweiler [2018-05-17 16:58:41] 893*2^1509990-1 is not prime. Res64: D23920BDBCB68618 Time : 0.0 sec. user=mdettweiler [2018-05-17 16:58:41] 951*2^1509990-1 is not prime. Res64: B31B48F71BECA63E Time : 0.0 sec. user=mdettweiler [2018-05-17 17:16:50] 943*2^1509991-1 is not prime. Res64: F080877CEFE4D31E Time : 0.0 sec. user=mdettweiler [2018-05-17 17:16:51] 951*2^1509991-1 is not prime. Res64: 1E2F93D5C16D9EC4 Time : 0.0 sec. user=mdettweiler [2018-05-17 17:16:51] 993*2^1509991-1 is not prime. Res64: 80EE0EEC7ABF2EEF Time : 0.0 sec. user=mdettweiler [2018-05-17 17:16:52] 717*2^1509992-1 is not prime. Res64: 3DE665B809CC106F Time : 0.0 sec. user=mdettweiler [2018-05-17 17:16:52] 743*2^1509992-1 is not prime. Res64: 4FADD1E996E74C5C Time : 0.0 sec. user=mdettweiler [2018-05-17 17:21:24] 755*2^1509992-1 is not prime. Res64: F43FCE1BC2994363 Time : 0.0 sec. user=mdettweiler [2018-05-17 17:21:25] 803*2^1509992-1 is not prime. Res64: 599BEB6355D8E8A0 Time : 0.0 sec. user=mdettweiler [2018-05-17 17:21:25] 825*2^1509992-1 is not prime. Res64: 29DC267561B450EC Time : 0.0 sec. user=mdettweiler [2018-05-17 17:21:25] 935*2^1509992-1 is not prime. Res64: 17DC2445C56CC97D Time : 0.0 sec. user=mdettweiler [2018-05-17 17:21:26] 625*2^1509993-1 is not prime. Res64: 63955356DFC0E91E Time : 0.0 sec. user=mdettweiler [2018-05-17 17:48:49] 649*2^1509993-1 is not prime. Res64: 671AAD0BE9EF81FC Time : 0.0 sec. user=mdettweiler [2018-05-17 17:48:49] 741*2^1509993-1 is not prime. Res64: AF65868D05B0A691 Time : 0.0 sec. user=mdettweiler [2018-05-17 17:48:50] 837*2^1509993-1 is not prime. Res64: 2DBB67CB12C138F9 Time : 0.0 sec. user=mdettweiler [2018-05-17 17:48:50] 861*2^1509993-1 is not prime. Res64: C01CDDA0157E5F61 Time : 0.0 sec. user=mdettweiler [2018-05-17 17:48:50] 937*2^1509993-1 is not prime. Res64: 00AD2EBA90A9DDB4 Time : 0.0 sec. user=mdettweiler [2018-05-17 17:49:21] 633*2^1509994-1 is not prime. Res64: DEE21BE83A4E33A3 Time : 0.0 sec. user=mdettweiler [2018-05-17 17:49:22] 705*2^1509994-1 is not prime. Res64: 1D41F23E9D1C98CC Time : 0.0 sec. user=mdettweiler [2018-05-17 17:49:22] 773*2^1509994-1 is not prime. Res64: 12F840C5B029268D Time : 0.0 sec. user=mdettweiler [2018-05-17 17:49:22] 791*2^1509994-1 is not prime. Res64: 03A17FE2BA6E2F52 Time : 0.0 sec. user=mdettweiler [2018-05-17 17:49:23] 855*2^1509994-1 is not prime. Res64: 3341DCFD445BA2F3 Time : 0.0 sec. user=mdettweiler [2018-05-17 18:08:03] 945*2^1509994-1 is not prime. Res64: CE753DC08C52A6DF Time : 0.0 sec. user=mdettweiler [2018-05-17 18:08:03] 975*2^1509994-1 is not prime. Res64: 835DC0D10DA38ECD Time : 0.0 sec. user=mdettweiler [2018-05-17 18:08:04] 733*2^1509995-1 is not prime. Res64: 5DDABD1536D239E7 Time : 0.0 sec. user=mdettweiler [2018-05-17 18:08:04] 759*2^1509995-1 is not prime. Res64: AE6B115621BE4192 Time : 0.0 sec. user=mdettweiler [2018-05-17 18:08:05] 823*2^1509995-1 is not prime. Res64: 851919D8DE672C41 Time : 0.0 sec. user=mdettweiler [2018-05-17 18:12:39] 841*2^1509995-1 is not prime. Res64: 796E378009766650 Time : 0.0 sec. user=mdettweiler [2018-05-17 18:12:40] 973*2^1509995-1 is not prime. Res64: D417EE669DB7AB63 Time : 0.0 sec. user=mdettweiler [2018-05-17 18:12:40] 609*2^1509996-1 is not prime. Res64: 3B7B83D24062AE89 Time : 0.0 sec. user=mdettweiler [2018-05-17 18:12:41] 633*2^1509996-1 is not prime. Res64: 1807BA7BF17BBCB2 Time : 0.0 sec. user=mdettweiler [2018-05-17 18:12:41] 675*2^1509996-1 is not prime. Res64: 005031D4F9AEF25E Time : 0.0 sec. user=mdettweiler [2018-05-17 18:39:46] 683*2^1509996-1 is not prime. Res64: 06DA998DB67078D7 Time : 0.0 sec. user=mdettweiler [2018-05-17 18:39:46] 789*2^1509996-1 is not prime. Res64: 6DF68A36F5DE42CC Time : 0.0 sec. user=mdettweiler [2018-05-17 18:39:46] 899*2^1509996-1 is not prime. Res64: 2673D8B58B3B6FF8 Time : 0.0 sec. user=mdettweiler [2018-05-17 18:39:47] 909*2^1509996-1 is not prime. Res64: 054BD1DE9096CA3F Time : 0.0 sec. user=mdettweiler [2018-05-17 18:39:47] 923*2^1509996-1 is not prime. Res64: 6D064091365C2BFA Time : 0.0 sec. user=mdettweiler [2018-05-17 18:40:10] 987*2^1509996-1 is not prime. Res64: 71A3C2231895A379 Time : 0.0 sec. user=mdettweiler [2018-05-17 18:40:10] 775*2^1509997-1 is not prime. Res64: A225F620AF8C39CF Time : 0.0 sec. user=mdettweiler [2018-05-17 18:40:11] 825*2^1509997-1 is not prime. Res64: 7ECC163A7651E7E8 Time : 0.0 sec. user=mdettweiler [2018-05-17 18:40:11] 871*2^1509997-1 is not prime. Res64: C34E50C9193F9237 Time : 0.0 sec. user=mdettweiler [2018-05-17 18:40:11] 627*2^1509998-1 is not prime. Res64: 2D93DEC9C2F39D94 Time : 0.0 sec. user=mdettweiler [2018-05-17 18:58:54] 731*2^1509998-1 is not prime. Res64: 4AF9A2AB52AA9025 Time : 0.0 sec. user=mdettweiler [2018-05-17 18:58:54] 915*2^1509998-1 is not prime. Res64: 499D6520E08F5634 Time : 0.0 sec. user=mdettweiler [2018-05-17 18:58:55] 945*2^1509998-1 is not prime. Res64: DBE81D83F8D14899 Time : 0.0 sec. user=mdettweiler [2018-05-17 18:58:55] 963*2^1509998-1 is not prime. Res64: 880C252274274C4F Time : 0.0 sec. user=mdettweiler [2018-05-17 18:58:56] 669*2^1509999-1 is not prime. Res64: 50BEAF70190B7846 Time : 0.0 sec. user=mdettweiler [2018-05-17 19:03:42] 685*2^1509999-1 is not prime. Res64: F15FC133724E2392 Time : 0.0 sec. user=mdettweiler [2018-05-17 19:03:44] 751*2^1509999-1 is not prime. Res64: 9E4D18C86B14BAAC Time : 0.0 sec. user=mdettweiler [2018-05-17 19:03:45] 829*2^1509999-1 is not prime. Res64: E8B237BFB6B9D688 Time : 0.0 sec. user=mdettweiler [2018-05-17 19:03:46] 853*2^1509999-1 is not prime. Res64: C6A9091376051A58 Time : 0.0 sec. user=mdettweiler [2018-05-17 19:03:47] 865*2^1509999-1 is not prime. Res64: C3C0A8D0073FD199 Time : 0.0 sec. user=mdettweiler [2018-05-17 19:33:59] 653*2^1510000-1 is not prime. Res64: 1122976EC1E98213 Time : 0.0 sec. user=mdettweiler [2018-05-17 19:33:59] 717*2^1510000-1 is not prime. Res64: 09C9DCD6DE53A53E Time : 0.0 sec. user=mdettweiler [2018-05-17 19:34:00] 735*2^1510000-1 is not prime. Res64: A0221AEA4F5505DE Time : 0.0 sec. user=mdettweiler [2018-05-17 19:34:00] 933*2^1510000-1 is not prime. Res64: 34EB3F55C17C2901 Time : 0.0 sec. user=mdettweiler [2018-05-17 19:34:01] 939*2^1510000-1 is not prime. Res64: BF59FBAB2C0CC0D9 Time : 0.0 sec. user=mdettweiler [2018-05-17 19:34:03] 959*2^1510000-1 is not prime. Res64: C222E7BFB3F94A9F Time : 0.0 sec. user=mdettweiler [2018-05-17 19:34:03] 607*2^1510001-1 is not prime. Res64: 39436B87D6D33333 Time : 0.0 sec. user=mdettweiler [2018-05-17 19:34:04] 741*2^1510001-1 is not prime. Res64: 833D29236C8BF136 Time : 0.0 sec. user=mdettweiler [2018-05-17 19:34:04] 769*2^1510001-1 is not prime. Res64: 07623305947664A9 Time : 0.0 sec. user=mdettweiler [2018-05-17 19:34:04] 907*2^1510001-1 is not prime. Res64: 98DD85F2E4133A83 Time : 0.0 sec. user=mdettweiler [2018-05-17 19:55:10] 925*2^1510001-1 is not prime. Res64: D024FB5E1D3BBB72 Time : 0.0 sec. user=mdettweiler [2018-05-17 19:55:11] 931*2^1510001-1 is not prime. Res64: E52A210119C9B605 Time : 0.0 sec. user=mdettweiler [2018-05-17 19:55:11] 695*2^1510002-1 is not prime. Res64: 3AF8F7100714AB73 Time : 0.0 sec. user=mdettweiler [2018-05-17 19:55:12] 711*2^1510002-1 is not prime. Res64: DF2BBE950C90E5E9 Time : 0.0 sec. user=mdettweiler [2018-05-17 19:55:12] 725*2^1510002-1 is not prime. Res64: DCCDDC1CB82C7DF4 Time : 0.0 sec. user=mdettweiler [2018-05-17 19:59:52] 747*2^1510002-1 is not prime. Res64: A1148808B331B872 Time : 0.0 sec. user=mdettweiler [2018-05-17 19:59:52] 765*2^1510002-1 is not prime. Res64: 0F38F07348A8F8EA Time : 0.0 sec. user=mdettweiler [2018-05-17 19:59:52] 833*2^1510002-1 is not prime. Res64: E5211ABF63ABC928 Time : 0.0 sec. user=mdettweiler [2018-05-17 19:59:53] 885*2^1510002-1 is not prime. Res64: 4A609AB040A76C51 Time : 0.0 sec. user=mdettweiler [2018-05-17 19:59:53] 891*2^1510002-1 is not prime. Res64: 55BE036FBFAF99C3 Time : 0.0 sec. user=mdettweiler [2018-05-17 20:27:52] 903*2^1510002-1 is not prime. Res64: 2CA4A5D10A0E5788 Time : 0.0 sec. user=mdettweiler [2018-05-17 20:27:52] 977*2^1510002-1 is not prime. Res64: 687A6777393CDE48 Time : 0.0 sec. user=mdettweiler [2018-05-17 20:27:53] 649*2^1510003-1 is not prime. Res64: D348495C9960CF01 Time : 0.0 sec. user=mdettweiler [2018-05-17 20:27:53] 703*2^1510003-1 is not prime. Res64: 03788B731214F639 Time : 0.0 sec. user=mdettweiler [2018-05-17 20:27:54] 709*2^1510003-1 is not prime. Res64: F7901BF1B5AD3F92 Time : 0.0 sec. user=mdettweiler [2018-05-17 20:28:34] 765*2^1510003-1 is not prime. Res64: 81C929DE4DBB1680 Time : 0.0 sec. user=mdettweiler [2018-05-17 20:28:35] 885*2^1510003-1 is not prime. Res64: 91BCF4A12E3AAD3C Time : 0.0 sec. user=mdettweiler [2018-05-17 20:28:35] 973*2^1510003-1 is not prime. Res64: F8A2DA2EB80C0B45 Time : 0.0 sec. user=mdettweiler [2018-05-17 20:28:35] 773*2^1510004-1 is not prime. Res64: B79E08FC87F79027 Time : 0.0 sec. user=mdettweiler [2018-05-17 20:28:36] 833*2^1510004-1 is not prime. Res64: 4A1ECCE3B328D6B0 Time : 0.0 sec. user=mdettweiler [2018-05-17 20:48:55] 843*2^1510004-1 is not prime. Res64: 9C241B77D6ED9553 Time : 0.0 sec. user=mdettweiler [2018-05-17 20:48:56] 657*2^1510005-1 is not prime. Res64: B5CF155CFC832BA1 Time : 0.0 sec. user=mdettweiler [2018-05-17 20:48:56] 699*2^1510005-1 is not prime. Res64: 787FA6006A5D2FD5 Time : 0.0 sec. user=mdettweiler [2018-05-17 20:48:57] 927*2^1510005-1 is not prime. Res64: 61D297C01194CD3A Time : 0.0 sec. user=mdettweiler [2018-05-17 20:48:57] 951*2^1510005-1 is not prime. Res64: BD322502B54F8CF7 Time : 0.0 sec. user=mdettweiler [2018-05-17 20:56:55] 991*2^1510005-1 is not prime. Res64: F607ED9274C58E6A Time : 0.0 sec. user=mdettweiler [2018-05-17 20:56:55] 653*2^1510006-1 is not prime. Res64: 1D14FD08CB70CACE Time : 0.0 sec. user=mdettweiler [2018-05-17 20:56:55] 705*2^1510006-1 is not prime. Res64: 9325D9D1F925DB92 Time : 0.0 sec. user=mdettweiler [2018-05-17 20:56:56] 773*2^1510006-1 is not prime. Res64: DA99BB35553EF751 Time : 0.0 sec. user=mdettweiler [2018-05-17 20:56:56] 971*2^1510006-1 is not prime. Res64: 99031BB18FEEC4E5 Time : 0.0 sec. user=mdettweiler [2018-05-17 21:20:41] 669*2^1510008-1 is not prime. Res64: A60D1647B0236210 Time : 0.0 sec. user=mdettweiler [2018-05-17 21:20:41] 689*2^1510008-1 is not prime. Res64: BB19F47A96A78CF5 Time : 0.0 sec. user=mdettweiler [2018-05-17 21:20:42] 725*2^1510008-1 is not prime. Res64: 9467A75C6FF2CF1F Time : 0.0 sec. user=mdettweiler [2018-05-17 21:20:42] 737*2^1510008-1 is not prime. Res64: B264A153CF0957E7 Time : 0.0 sec. user=mdettweiler [2018-05-17 21:20:43] 753*2^1510008-1 is not prime. Res64: 2B0495E4C6E248DC Time : 0.0 sec. user=mdettweiler [2018-05-17 21:23:19] 601*2^1510007-1 is not prime. Res64: B7D82A2FAFA6CA89 Time : 0.0 sec. user=mdettweiler [2018-05-17 21:23:19] 609*2^1510007-1 is not prime. Res64: 0B67FD2775295F4E Time : 0.0 sec. user=mdettweiler [2018-05-17 21:23:20] 663*2^1510007-1 is not prime. Res64: 5C2E8F7238DFB891 Time : 0.0 sec. user=mdettweiler [2018-05-17 21:23:20] 669*2^1510007-1 is not prime. Res64: 12634D22863AC202 Time : 0.0 sec. user=mdettweiler [2018-05-17 21:23:21] 879*2^1510007-1 is not prime. Res64: A9B16C2B372F7FA6 Time : 0.0 sec. user=mdettweiler [2018-05-17 21:40:59] 767*2^1510008-1 is not prime. Res64: 140B1AD1E8A6C514 Time : 0.0 sec. user=mdettweiler [2018-05-17 21:40:59] 845*2^1510008-1 is not prime. Res64: 67C5C39DC916E485 Time : 0.0 sec. user=mdettweiler [2018-05-17 21:40:59] 909*2^1510008-1 is not prime. Res64: 984F4B46D35EBABC Time : 0.0 sec. user=mdettweiler [2018-05-17 21:41:00] 927*2^1510008-1 is not prime. Res64: BF26544C8400D491 Time : 0.0 sec. user=mdettweiler [2018-05-17 21:41:00] 929*2^1510008-1 is not prime. Res64: 0D69F361D5C7B9CD Time : 0.0 sec. user=mdettweiler [2018-05-17 21:48:45] 947*2^1510008-1 is not prime. Res64: 9A6D6E696F3C538E Time : 0.0 sec. user=mdettweiler [2018-05-17 21:48:45] 975*2^1510008-1 is not prime. Res64: 46D039077214A503 Time : 0.0 sec. user=mdettweiler [2018-05-17 21:48:46] 977*2^1510008-1 is not prime. Res64: F11736FF3093A4DD Time : 0.0 sec. user=mdettweiler [2018-05-17 21:48:46] 685*2^1510009-1 is not prime. Res64: B98BDDAAAB29B673 Time : 0.0 sec. user=mdettweiler [2018-05-17 21:48:47] 747*2^1510009-1 is not prime. Res64: 1039D1C239C06770 Time : 0.0 sec. user=mdettweiler [2018-05-17 22:12:42] 751*2^1510009-1 is not prime. Res64: 926216647C0FB483 Time : 0.0 sec. user=mdettweiler [2018-05-17 22:12:43] 765*2^1510009-1 is not prime. Res64: 33A34EA8418E554B Time : 0.0 sec. user=mdettweiler [2018-05-17 22:12:43] 829*2^1510009-1 is not prime. Res64: BFB3F4901E31E36E Time : 0.0 sec. user=mdettweiler [2018-05-17 22:12:43] 835*2^1510009-1 is not prime. Res64: 521E0938FCE259D6 Time : 0.0 sec. user=mdettweiler [2018-05-17 22:12:44] 711*2^1510010-1 is not prime. Res64: 61BCF3DE3563B25B Time : 0.0 sec. user=mdettweiler [2018-05-17 22:13:47] 743*2^1510010-1 is not prime. Res64: 39B22E4FCD5E83DF Time : 0.0 sec. user=mdettweiler [2018-05-17 22:13:49] 813*2^1510010-1 is not prime. Res64: D4B730A477B22B3E Time : 0.0 sec. user=mdettweiler [2018-05-17 22:13:50] 615*2^1510011-1 is not prime. Res64: 2C4A8EAFB9098012 Time : 0.0 sec. user=mdettweiler [2018-05-17 22:13:50] 703*2^1510011-1 is not prime. Res64: 1E1DACBC005B452E Time : 0.0 sec. user=mdettweiler [2018-05-17 22:13:50] 751*2^1510011-1 is not prime. Res64: 917765C64309C109 Time : 0.0 sec. user=mdettweiler [2018-05-17 22:31:55] 823*2^1510011-1 is not prime. Res64: 43FDA5B3E503A5DC Time : 0.0 sec. user=mdettweiler [2018-05-17 22:31:56] 829*2^1510011-1 is not prime. Res64: 89D149D610CBA448 Time : 0.0 sec. user=mdettweiler [2018-05-17 22:31:56] 943*2^1510011-1 is not prime. Res64: 90E33FBAF3BB0726 Time : 0.0 sec. user=mdettweiler [2018-05-17 22:31:56] 979*2^1510011-1 is not prime. Res64: DFD5A23F76252362 Time : 0.0 sec. user=mdettweiler [2018-05-17 22:31:57] 609*2^1510012-1 is not prime. Res64: 52E988A8B815B6A1 Time : 0.0 sec. user=mdettweiler [2018-05-17 22:39:50] 705*2^1510012-1 is not prime. Res64: A3D1F64CC51E30F6 Time : 0.0 sec. user=mdettweiler [2018-05-17 22:39:51] 719*2^1510012-1 is not prime. Res64: EBBB4EBE0D638D3D Time : 0.0 sec. user=mdettweiler [2018-05-17 22:39:52] 785*2^1510012-1 is not prime. Res64: A4B73A5B6B0F6529 Time : 0.0 sec. user=mdettweiler [2018-05-17 22:39:52] 903*2^1510012-1 is not prime. Res64: 242B257D7213DE21 Time : 0.0 sec. user=mdettweiler [2018-05-17 22:39:52] 787*2^1510013-1 is not prime. Res64: D1962BB549620565 Time : 0.0 sec. user=mdettweiler [2018-05-17 23:03:33] 657*2^1510014-1 is not prime. Res64: FE0452A036EB40CD Time : 0.0 sec. user=mdettweiler [2018-05-17 23:03:35] 663*2^1510014-1 is not prime. Res64: 0A4ADAC5189E22BB Time : 0.0 sec. user=mdettweiler [2018-05-17 23:03:36] 825*2^1510014-1 is not prime. Res64: 3E25E3CB71909EE8 Time : 0.0 sec. user=mdettweiler [2018-05-17 23:03:39] 903*2^1510014-1 is not prime. Res64: DDE14006BA4A0679 Time : 0.0 sec. user=mdettweiler [2018-05-17 23:03:41] 983*2^1510014-1 is not prime. Res64: 6B6B935C6DCDD393 Time : 0.0 sec. user=mdettweiler [2018-05-17 23:03:45] 601*2^1510015-1 is not prime. Res64: 5095701021DE17EF Time : 0.0 sec. user=mdettweiler [2018-05-17 23:03:46] 603*2^1510015-1 is not prime. Res64: 9D21C89D57A97433 Time : 0.0 sec. user=mdettweiler [2018-05-17 23:03:47] 625*2^1510015-1 is not prime. Res64: B5ACF17FC24F34FE Time : 0.0 sec. user=mdettweiler [2018-05-17 23:03:48] 673*2^1510015-1 is not prime. Res64: B77E9B1B2AF67251 Time : 0.0 sec. user=mdettweiler [2018-05-17 23:03:49] 705*2^1510015-1 is not prime. Res64: 52C27A08B83CE2FC Time : 0.0 sec. user=mdettweiler [2018-05-17 23:24:54] 723*2^1510015-1 is not prime. Res64: 6886209A39CEF09B Time : 0.0 sec. user=mdettweiler [2018-05-17 23:24:54] 763*2^1510015-1 is not prime. Res64: 56EB1577E4D098B0 Time : 0.0 sec. user=mdettweiler [2018-05-17 23:24:55] 789*2^1510015-1 is not prime. Res64: DA399B32DE55C162 Time : 0.0 sec. user=mdettweiler [2018-05-17 23:24:55] 805*2^1510015-1 is not prime. Res64: 85036E708AA1F242 Time : 0.0 sec. user=mdettweiler [2018-05-17 23:24:55] 819*2^1510015-1 is not prime. Res64: 4BBF8056B72AD39B Time : 0.0 sec. user=mdettweiler [2018-05-17 23:33:24] 885*2^1510015-1 is not prime. Res64: 7D4DAC15A8B9C057 Time : 0.0 sec. user=mdettweiler [2018-05-17 23:33:25] 603*2^1510016-1 is not prime. Res64: A3474A5ABFB02B6D Time : 0.0 sec. user=mdettweiler [2018-05-17 23:33:25] 777*2^1510016-1 is not prime. Res64: 4C822CB4038DA4EE Time : 0.0 sec. user=mdettweiler [2018-05-17 23:33:26] 785*2^1510016-1 is not prime. Res64: 100AC88D55E5FCD5 Time : 0.0 sec. user=mdettweiler [2018-05-17 23:33:26] 825*2^1510016-1 is not prime. Res64: B77A33B1A862D145 Time : 0.0 sec. user=mdettweiler [2018-05-17 23:55:17] 667*2^1510017-1 is not prime. Res64: 74265ECDAF1D68B5 Time : 0.0 sec. user=mdettweiler [2018-05-17 23:55:18] 717*2^1510017-1 is not prime. Res64: 6859312B85C0B99B Time : 0.0 sec. user=mdettweiler [2018-05-17 23:55:18] 777*2^1510017-1 is not prime. Res64: 208370AB882A1936 Time : 0.0 sec. user=mdettweiler [2018-05-17 23:55:19] 795*2^1510017-1 is not prime. Res64: 96B3026BC07E1275 Time : 0.0 sec. user=mdettweiler [2018-05-17 23:55:19] 807*2^1510017-1 is not prime. Res64: B2883A1169817ED9 Time : 0.0 sec. user=mdettweiler [2018-05-17 23:55:31] 845*2^1510016-1 is not prime. Res64: 505A080A7874EF25 Time : 0.0 sec. user=mdettweiler [2018-05-17 23:55:32] 873*2^1510016-1 is not prime. Res64: D1F7F657CFA6CFB1 Time : 0.0 sec. user=mdettweiler [2018-05-17 23:55:32] 963*2^1510016-1 is not prime. Res64: 1403D85C8EAD1CEB Time : 0.0 sec. user=mdettweiler [2018-05-17 23:55:32] 649*2^1510017-1 is not prime. Res64: D7E9C8114847B8A4 Time : 0.0 sec. user=mdettweiler [2018-05-17 23:55:33] 865*2^1510017-1 is not prime. Res64: B02C51F7BBBC4F84 Time : 0.0 sec.