user=mdettweiler [2020-01-15 00:33:03] 819*2^1552600-1 is not prime. Res64: 3ED2DE8582596D14 Time : 0.0 sec. user=mdettweiler [2020-01-15 00:33:03] 839*2^1552600-1 is not prime. Res64: 87AD8A8D06B3D984 Time : 0.0 sec. user=mdettweiler [2020-01-15 00:33:04] 873*2^1552600-1 is not prime. Res64: 8DB510F991635E57 Time : 0.0 sec. user=mdettweiler [2020-01-15 00:33:04] 897*2^1552600-1 is not prime. Res64: B5C9C2B51EB463F2 Time : 0.0 sec. user=mdettweiler [2020-01-15 00:33:05] 927*2^1552600-1 is not prime. Res64: 555D585AEECA066E Time : 0.0 sec. user=mdettweiler [2020-01-15 00:44:53] 989*2^1552600-1 is not prime. Res64: A9F69BE0816FF9C1 Time : 0.0 sec. user=mdettweiler [2020-01-15 00:44:54] 999*2^1552600-1 is not prime. Res64: 8CB77138E1866FEA Time : 0.0 sec. user=mdettweiler [2020-01-15 00:44:54] 631*2^1552601-1 is not prime. Res64: F43F151676BB38B7 Time : 0.0 sec. user=mdettweiler [2020-01-15 00:44:54] 775*2^1552601-1 is not prime. Res64: 5F512FDBC1937C38 Time : 0.0 sec. user=mdettweiler [2020-01-15 00:44:55] 799*2^1552601-1 is not prime. Res64: 22990CCEF2128C1D Time : 0.0 sec. user=mdettweiler [2020-01-15 01:25:58] 871*2^1552601-1 is not prime. Res64: 9370BE3ED72AA22C Time : 0.0 sec. user=mdettweiler [2020-01-15 01:25:58] 889*2^1552601-1 is not prime. Res64: 0E4C501BD0C1BC21 Time : 0.0 sec. user=mdettweiler [2020-01-15 01:25:59] 939*2^1552601-1 is not prime. Res64: E853FC6EBF4C7536 Time : 0.0 sec. user=mdettweiler [2020-01-15 01:26:00] 633*2^1552602-1 is not prime. Res64: B6E98892E7D40EFA Time : 0.0 sec. user=mdettweiler [2020-01-15 01:26:01] 681*2^1552602-1 is not prime. Res64: 6244722519EA8D3C Time : 0.0 sec. user=mdettweiler [2020-01-15 01:38:17] 797*2^1552602-1 is not prime. Res64: E14F2AA72915B685 Time : 0.0 sec. user=mdettweiler [2020-01-15 01:38:17] 815*2^1552602-1 is not prime. Res64: 84ED2D25BD676E4D Time : 0.0 sec. user=mdettweiler [2020-01-15 01:38:18] 891*2^1552602-1 is not prime. Res64: A8681943D2C41EEC Time : 0.0 sec. user=mdettweiler [2020-01-15 01:38:18] 963*2^1552602-1 is not prime. Res64: 4F8330672AF5D3A7 Time : 0.0 sec. user=mdettweiler [2020-01-15 01:38:19] 789*2^1552603-1 is not prime. Res64: 86B13B95351CEF3C Time : 0.0 sec. user=mdettweiler [2020-01-15 02:19:38] 895*2^1552603-1 is not prime. Res64: C9E3367249E5DE15 Time : 0.0 sec. user=mdettweiler [2020-01-15 02:19:41] 999*2^1552603-1 is not prime. Res64: 36A6269E6AB6677D Time : 0.0 sec. user=mdettweiler [2020-01-15 02:19:46] 635*2^1552604-1 is not prime. Res64: 38959138DDE4F964 Time : 0.0 sec. user=mdettweiler [2020-01-15 02:19:52] 659*2^1552604-1 is not prime. Res64: A3BAC879207EB802 Time : 0.0 sec. user=mdettweiler [2020-01-15 02:19:56] 677*2^1552604-1 is not prime. Res64: DFC4F3066B608131 Time : 0.0 sec. user=mdettweiler [2020-01-15 02:40:45] 699*2^1552604-1 is not prime. Res64: 70FDFCAFD38E3E11 Time : 0.0 sec. user=mdettweiler [2020-01-15 02:40:46] 843*2^1552604-1 is not prime. Res64: 75DD884B01DD8403 Time : 0.0 sec. user=mdettweiler [2020-01-15 02:40:46] 857*2^1552604-1 is not prime. Res64: 3D07F5CF06596285 Time : 0.0 sec. user=mdettweiler [2020-01-15 02:40:47] 885*2^1552604-1 is not prime. Res64: 7DADF06C89EAC9D4 Time : 0.0 sec. user=mdettweiler [2020-01-15 02:40:47] 935*2^1552604-1 is not prime. Res64: 30CD914430AB8552 Time : 0.0 sec. user=mdettweiler [2020-01-15 03:23:11] 945*2^1552604-1 is not prime. Res64: 51F119A4B748135F Time : 0.0 sec. user=mdettweiler [2020-01-15 03:23:11] 651*2^1552605-1 is not prime. Res64: 5EC1DCE1CD6C57A1 Time : 0.0 sec. user=mdettweiler [2020-01-15 03:23:12] 657*2^1552605-1 is not prime. Res64: 2023E87CA84E8E2F Time : 0.0 sec. user=mdettweiler [2020-01-15 03:23:13] 895*2^1552605-1 is not prime. Res64: B5765783328BB67A Time : 0.0 sec. user=mdettweiler [2020-01-15 03:23:13] 955*2^1552605-1 is not prime. Res64: E5ED02E6DEA51FF7 Time : 0.0 sec. user=mdettweiler [2020-01-15 03:24:59] 997*2^1552605-1 is not prime. Res64: 77F02BB1C6C3981E Time : 0.0 sec. user=mdettweiler [2020-01-15 03:24:59] 999*2^1552605-1 is not prime. Res64: 0A40755B7879769A Time : 0.0 sec. user=mdettweiler [2020-01-15 03:25:00] 825*2^1552606-1 is not prime. Res64: 551490B1A6F45BA1 Time : 0.0 sec. user=mdettweiler [2020-01-15 03:25:01] 843*2^1552606-1 is not prime. Res64: E69329859F801187 Time : 0.0 sec. user=mdettweiler [2020-01-15 03:25:01] 981*2^1552606-1 is not prime. Res64: 6AC73E3669910B0A Time : 0.0 sec. user=mdettweiler [2020-01-15 03:31:42] 615*2^1552607-1 is not prime. Res64: 89CA61193ECF6F38 Time : 0.0 sec. user=mdettweiler [2020-01-15 03:31:44] 619*2^1552607-1 is not prime. Res64: 175259F2899209A5 Time : 0.0 sec. user=mdettweiler [2020-01-15 03:31:46] 645*2^1552607-1 is not prime. Res64: ED92A8C534334942 Time : 0.0 sec. user=mdettweiler [2020-01-15 03:31:48] 649*2^1552607-1 is not prime. Res64: EB46DAFCC8875C48 Time : 0.0 sec. user=mdettweiler [2020-01-15 03:31:49] 685*2^1552607-1 is not prime. Res64: 6D1598FB398B7FBF Time : 0.0 sec. user=mdettweiler [2020-01-15 04:14:56] 735*2^1552607-1 is not prime. Res64: 9A45FBCCC01217A4 Time : 0.0 sec. user=mdettweiler [2020-01-15 04:14:59] 741*2^1552607-1 is not prime. Res64: D59A3C30CE05EED6 Time : 0.0 sec. user=mdettweiler [2020-01-15 04:15:03] 843*2^1552607-1 is not prime. Res64: 7B4AC2D08970A423 Time : 0.0 sec. user=mdettweiler [2020-01-15 04:15:08] 865*2^1552607-1 is not prime. Res64: F5996AE1DB26E586 Time : 0.0 sec. user=mdettweiler [2020-01-15 04:15:15] 879*2^1552607-1 is not prime. Res64: 31E16BA46C151953 Time : 0.0 sec. user=mdettweiler [2020-01-15 04:19:13] 885*2^1552607-1 is not prime. Res64: A2CCFE222C58852E Time : 0.0 sec. user=mdettweiler [2020-01-15 04:19:16] 913*2^1552607-1 is not prime. Res64: 81C77DDF2CB9A6E3 Time : 0.0 sec. user=mdettweiler [2020-01-15 04:19:17] 973*2^1552607-1 is not prime. Res64: 57F4D079B74C1945 Time : 0.0 sec. user=mdettweiler [2020-01-15 04:19:20] 991*2^1552607-1 is not prime. Res64: D6611A4D10217DAB Time : 0.0 sec. user=mdettweiler [2020-01-15 04:19:22] 633*2^1552608-1 is not prime. Res64: 8978D7D261B250EB Time : 0.0 sec. user=mdettweiler [2020-01-15 04:24:34] 725*2^1552608-1 is not prime. Res64: C36276CA215B0202 Time : 0.0 sec. user=mdettweiler [2020-01-15 04:24:35] 767*2^1552608-1 is not prime. Res64: 9A38D4DD2380A353 Time : 0.0 sec. user=mdettweiler [2020-01-15 04:24:36] 993*2^1552608-1 is not prime. Res64: BD191EF109F57B57 Time : 0.0 sec. user=mdettweiler [2020-01-15 04:24:38] 609*2^1552609-1 is not prime. Res64: DD6BDB4D6B63F0AB Time : 0.0 sec. user=mdettweiler [2020-01-15 04:24:39] 679*2^1552609-1 is not prime. Res64: 8962DE4A6F9308C8 Time : 0.0 sec. user=mdettweiler [2020-01-15 05:10:36] 765*2^1552609-1 is not prime. Res64: BDA4D00F42779F1B Time : 0.0 sec. user=mdettweiler [2020-01-15 05:10:38] 841*2^1552609-1 is not prime. Res64: 2D556E14AC1EA85E Time : 0.0 sec. user=mdettweiler [2020-01-15 05:10:39] 861*2^1552609-1 is not prime. Res64: CC9D592C05C4099B Time : 0.0 sec. user=mdettweiler [2020-01-15 05:10:40] 939*2^1552609-1 is not prime. Res64: E0D04F3B9FC861A4 Time : 0.0 sec. user=mdettweiler [2020-01-15 05:10:42] 997*2^1552609-1 is not prime. Res64: CF2092AA6E138C17 Time : 0.0 sec. user=mdettweiler [2020-01-15 05:11:26] 603*2^1552610-1 is not prime. Res64: CBE0A56E62ED7856 Time : 0.0 sec. user=mdettweiler [2020-01-15 05:11:27] 623*2^1552610-1 is not prime. Res64: 86BB0EC48F8E2E03 Time : 0.0 sec. user=mdettweiler [2020-01-15 05:11:28] 645*2^1552610-1 is not prime. Res64: A0D2E7DDD1707381 Time : 0.0 sec. user=mdettweiler [2020-01-15 05:11:30] 723*2^1552611-1 is not prime. Res64: 2CBEE1E9F2D8D111 Time : 0.0 sec. user=mdettweiler [2020-01-15 05:11:31] 781*2^1552611-1 is not prime. Res64: 7404B8805ECDE7C5 Time : 0.0 sec. user=mdettweiler [2020-01-15 05:17:49] 879*2^1552611-1 is not prime. Res64: 2E0CE0D96649953C Time : 0.0 sec. user=mdettweiler [2020-01-15 05:17:50] 951*2^1552611-1 is not prime. Res64: CE9A2E06FA911481 Time : 0.0 sec. user=mdettweiler [2020-01-15 05:17:50] 603*2^1552612-1 is not prime. Res64: B73F68FF670CAF75 Time : 0.0 sec. user=mdettweiler [2020-01-15 05:17:51] 693*2^1552612-1 is not prime. Res64: D6BC291942BA34E1 Time : 0.0 sec. user=mdettweiler [2020-01-15 05:17:51] 695*2^1552612-1 is not prime. Res64: DF2264F7DEE8AE7A Time : 0.0 sec. user=mdettweiler [2020-01-15 06:03:02] 749*2^1552612-1 is not prime. Res64: 7F71931A20D69822 Time : 0.0 sec. user=mdettweiler [2020-01-15 06:03:04] 765*2^1552612-1 is not prime. Res64: 69597F928E0DC309 Time : 0.0 sec. user=mdettweiler [2020-01-15 06:03:05] 857*2^1552612-1 is not prime. Res64: EEE7BBD1AF5ECE76 Time : 0.0 sec. user=mdettweiler [2020-01-15 06:03:06] 875*2^1552612-1 is not prime. Res64: 015F38D31591CE88 Time : 0.0 sec. user=mdettweiler [2020-01-15 06:03:08] 923*2^1552612-1 is not prime. Res64: F9471F07E73D91CC Time : 0.0 sec. user=mdettweiler [2020-01-15 06:05:23] 939*2^1552612-1 is not prime. Res64: 9EB13ADBE911B2D8 Time : 0.0 sec. user=mdettweiler [2020-01-15 06:05:24] 983*2^1552612-1 is not prime. Res64: E2A4B5748E66E832 Time : 0.0 sec. user=mdettweiler [2020-01-15 06:05:25] 699*2^1552613-1 is not prime. Res64: C1F22FCECF08FE89 Time : 0.0 sec. user=mdettweiler [2020-01-15 06:05:26] 715*2^1552613-1 is not prime. Res64: 73EE1F79CC085FAC Time : 0.0 sec. user=mdettweiler [2020-01-15 06:05:27] 787*2^1552613-1 is not prime. Res64: 4944C4CFAFB301C3 Time : 0.0 sec. user=mdettweiler [2020-01-15 06:10:16] 885*2^1552613-1 is not prime. Res64: 4E99D26BCDDF59FD Time : 0.0 sec. user=mdettweiler [2020-01-15 06:10:16] 957*2^1552613-1 is not prime. Res64: FDF824FE1F0904F2 Time : 0.0 sec. user=mdettweiler [2020-01-15 06:10:17] 663*2^1552614-1 is not prime. Res64: DEA7515E53EBBEFA Time : 0.0 sec. user=mdettweiler [2020-01-15 06:10:17] 671*2^1552614-1 is not prime. Res64: F2EB13950462C79A Time : 0.0 sec. user=mdettweiler [2020-01-15 06:10:18] 683*2^1552614-1 is not prime. Res64: CBA3DAFF0E2792CB Time : 0.0 sec. user=mdettweiler [2020-01-15 06:55:16] 731*2^1552614-1 is not prime. Res64: E2DC9B16E47C0057 Time : 0.0 sec. user=mdettweiler [2020-01-15 06:55:16] 815*2^1552614-1 is not prime. Res64: F35E26FE696C11BD Time : 0.0 sec. user=mdettweiler [2020-01-15 06:55:17] 873*2^1552614-1 is not prime. Res64: 800D02FC2FD7F190 Time : 0.0 sec. user=mdettweiler [2020-01-15 06:55:17] 875*2^1552614-1 is not prime. Res64: 079611075F298873 Time : 0.0 sec. user=mdettweiler [2020-01-15 06:55:18] 915*2^1552614-1 is not prime. Res64: E58FDBA216D6F5E8 Time : 0.0 sec. user=mdettweiler [2020-01-15 06:58:29] 759*2^1552615-1 is not prime. Res64: CB52C3E895C2BE70 Time : 0.0 sec. user=mdettweiler [2020-01-15 06:58:29] 841*2^1552615-1 is not prime. Res64: ACF8487D863643E7 Time : 0.0 sec. user=mdettweiler [2020-01-15 06:58:30] 883*2^1552615-1 is not prime. Res64: C9A6F93F0D7DE15F Time : 0.0 sec. user=mdettweiler [2020-01-15 06:58:30] 919*2^1552615-1 is not prime. Res64: 1011D167E21D1A64 Time : 0.0 sec. user=mdettweiler [2020-01-15 06:58:31] 951*2^1552615-1 is not prime. Res64: 5A8C20CC3BD63599 Time : 0.0 sec. user=mdettweiler [2020-01-15 07:05:14] 985*2^1552615-1 is not prime. Res64: 4576607E5893252F Time : 0.0 sec. user=mdettweiler [2020-01-15 07:05:17] 717*2^1552616-1 is not prime. Res64: D2A59D860321904B Time : 0.0 sec. user=mdettweiler [2020-01-15 07:05:19] 983*2^1552616-1 is not prime. Res64: F59E6E7659A9CB2F Time : 0.0 sec. user=mdettweiler [2020-01-15 07:05:21] 999*2^1552616-1 is not prime. Res64: 396B6E1D59CEBCDE Time : 0.0 sec. user=mdettweiler [2020-01-15 07:05:23] 681*2^1552617-1 is not prime. Res64: 6F1DF14B64C92069 Time : 0.0 sec. user=mdettweiler [2020-01-15 07:46:19] 735*2^1552617-1 is not prime. Res64: 50AE4A5BA0719962 Time : 0.0 sec. user=mdettweiler [2020-01-15 07:46:19] 739*2^1552617-1 is not prime. Res64: 4CA41EE21CEA7DDE Time : 0.0 sec. user=mdettweiler [2020-01-15 07:46:20] 747*2^1552617-1 is not prime. Res64: F0955AA97CB32E74 Time : 0.0 sec. user=mdettweiler [2020-01-15 07:46:20] 751*2^1552617-1 is not prime. Res64: B7E46DEF05880CCE Time : 0.0 sec. user=mdettweiler [2020-01-15 07:46:21] 889*2^1552617-1 is not prime. Res64: DCAF1180615DDCEE Time : 0.0 sec. user=mdettweiler [2020-01-15 07:52:37] 895*2^1552617-1 is not prime. Res64: 2EF880E8666A9FE2 Time : 0.0 sec. user=mdettweiler [2020-01-15 07:52:38] 919*2^1552617-1 is not prime. Res64: 476D8E76E40B02DC Time : 0.0 sec. user=mdettweiler [2020-01-15 07:52:38] 945*2^1552617-1 is not prime. Res64: BB4F05CFBDAD0FFE Time : 0.0 sec. user=mdettweiler [2020-01-15 07:52:39] 955*2^1552617-1 is not prime. Res64: A9DB54821F365D2D Time : 0.0 sec. user=mdettweiler [2020-01-15 07:52:39] 605*2^1552618-1 is not prime. Res64: 051FDA156B62AAF7 Time : 0.0 sec. user=mdettweiler [2020-01-15 07:59:40] 945*2^1552618-1 is not prime. Res64: E653C7105583A0A9 Time : 0.0 sec. user=mdettweiler [2020-01-15 07:59:41] 975*2^1552618-1 is not prime. Res64: 2B09E5872E82CFFE Time : 0.0 sec. user=mdettweiler [2020-01-15 07:59:41] 621*2^1552619-1 is not prime. Res64: F76804F57D96A22E Time : 0.0 sec. user=mdettweiler [2020-01-15 07:59:41] 631*2^1552619-1 is not prime. Res64: 9B89733E584E7F2D Time : 0.0 sec. user=mdettweiler [2020-01-15 07:59:42] 633*2^1552619-1 is not prime. Res64: C2CE6827A4ADAE2D Time : 0.0 sec. user=mdettweiler [2020-01-15 08:38:50] 645*2^1552619-1 is not prime. Res64: 9588954F6D3FC555 Time : 0.0 sec. user=mdettweiler [2020-01-15 08:38:50] 703*2^1552619-1 is not prime. Res64: 2DE886F520CC1F93 Time : 0.0 sec. user=mdettweiler [2020-01-15 08:38:51] 841*2^1552619-1 is not prime. Res64: 8056568C4142C220 Time : 0.0 sec. user=mdettweiler [2020-01-15 08:38:51] 979*2^1552619-1 is not prime. Res64: 3F9C01DFEEFDAC11 Time : 0.0 sec. user=mdettweiler [2020-01-15 08:38:52] 609*2^1552620-1 is not prime. Res64: 25156F4B375C265D Time : 0.0 sec. user=mdettweiler [2020-01-15 08:43:43] 623*2^1552620-1 is not prime. Res64: 3E7DD39E1702A695 Time : 0.0 sec. user=mdettweiler [2020-01-15 08:43:44] 675*2^1552620-1 is not prime. Res64: 6E01603DA5797103 Time : 0.0 sec. user=mdettweiler [2020-01-15 08:43:44] 765*2^1552620-1 is not prime. Res64: D0C497F96FF66912 Time : 0.0 sec. user=mdettweiler [2020-01-15 08:43:45] 773*2^1552620-1 is not prime. Res64: 7826C031B3F8EB55 Time : 0.0 sec. user=mdettweiler [2020-01-15 08:43:45] 779*2^1552620-1 is not prime. Res64: 1EBC33B290658610 Time : 0.0 sec. user=mdettweiler [2020-01-15 08:53:48] 795*2^1552620-1 is not prime. Res64: E31F80EE99410EEB Time : 0.0 sec. user=mdettweiler [2020-01-15 08:53:48] 863*2^1552620-1 is not prime. Res64: DB79CB79BFE69B8F Time : 0.0 sec. user=mdettweiler [2020-01-15 08:53:49] 975*2^1552620-1 is not prime. Res64: 243821961C214760 Time : 0.0 sec. user=mdettweiler [2020-01-15 08:53:49] 999*2^1552620-1 is not prime. Res64: 773DE27F04333A62 Time : 0.0 sec. user=mdettweiler [2020-01-15 08:53:50] 615*2^1552621-1 is not prime. Res64: C7B8280DEAEA0B72 Time : 0.0 sec. user=mdettweiler [2020-01-15 09:34:17] 861*2^1552621-1 is not prime. Res64: 3DC637DCFD9C2366 Time : 0.0 sec. user=mdettweiler [2020-01-15 09:34:17] 927*2^1552621-1 is not prime. Res64: 832BFE1737016D57 Time : 0.0 sec. user=mdettweiler [2020-01-15 09:34:18] 939*2^1552621-1 is not prime. Res64: 5E571C0E90CAF170 Time : 0.0 sec. user=mdettweiler [2020-01-15 09:34:18] 999*2^1552621-1 is not prime. Res64: 4F9CF47FB30C120C Time : 0.0 sec. user=mdettweiler [2020-01-15 09:34:19] 711*2^1552622-1 is not prime. Res64: 731107BD7BD0DF1B Time : 0.0 sec. user=mdettweiler [2020-01-15 09:35:05] 815*2^1552622-1 is not prime. Res64: 9408DE01DBA184A5 Time : 0.0 sec. user=mdettweiler [2020-01-15 09:35:05] 609*2^1552623-1 is not prime. Res64: CA98E811393D1280 Time : 0.0 sec. user=mdettweiler [2020-01-15 09:35:06] 613*2^1552623-1 is not prime. Res64: 9D70AA9BD97D3C90 Time : 0.0 sec. user=mdettweiler [2020-01-15 09:35:06] 709*2^1552623-1 is not prime. Res64: 9A113BE62B8EE3FA Time : 0.0 sec. user=mdettweiler [2020-01-15 09:35:07] 735*2^1552623-1 is not prime. Res64: A584A2A095644BCA Time : 0.0 sec. user=mdettweiler [2020-01-15 09:47:00] 739*2^1552623-1 is not prime. Res64: 5139D45022F36865 Time : 0.0 sec. user=mdettweiler [2020-01-15 09:47:00] 781*2^1552623-1 is not prime. Res64: 08087076B62725EA Time : 0.0 sec. user=mdettweiler [2020-01-15 09:47:01] 985*2^1552623-1 is not prime. Res64: 7E47CADDBFB14072 Time : 0.0 sec. user=mdettweiler [2020-01-15 09:47:01] 609*2^1552624-1 is not prime. Res64: DDDD4F7744C074BD Time : 0.0 sec. user=mdettweiler [2020-01-15 09:47:02] 717*2^1552624-1 is not prime. Res64: 9030CD8AD636A052 Time : 0.0 sec. user=mdettweiler [2020-01-15 10:29:50] 929*2^1552624-1 is not prime. Res64: 9EA41E0FF45BC209 Time : 0.0 sec. user=mdettweiler [2020-01-15 10:29:50] 965*2^1552624-1 is not prime. Res64: 062B3B9F52F10C82 Time : 0.0 sec. user=mdettweiler [2020-01-15 10:29:51] 771*2^1552625-1 is not prime. Res64: CE4ADF3DAACB3665 Time : 0.0 sec. user=mdettweiler [2020-01-15 10:29:52] 801*2^1552625-1 is not prime. Res64: 9CDA3DA0F2A7E6A8 Time : 0.0 sec. user=mdettweiler [2020-01-15 10:29:52] 837*2^1552625-1 is not prime. Res64: 976B3D2F9BE7581D Time : 0.0 sec. user=mdettweiler [2020-01-15 10:34:19] 719*2^1552624-1 is not prime. Res64: EBC37D3545082E61 Time : 0.0 sec. user=mdettweiler [2020-01-15 10:34:19] 869*2^1552624-1 is not prime. Res64: 8D1E4A67B5F71377 Time : 0.0 sec. user=mdettweiler [2020-01-15 10:34:20] 887*2^1552624-1 is not prime. Res64: 740C2948A0822DD1 Time : 0.0 sec. user=mdettweiler [2020-01-15 10:34:21] 903*2^1552624-1 is not prime. Res64: 2DA3F82E0566B093 Time : 0.0 sec. user=mdettweiler [2020-01-15 10:34:21] 909*2^1552624-1 is not prime. Res64: E9C8B7F96A151EBD Time : 0.0 sec. user=mdettweiler [2020-01-15 10:40:41] 955*2^1552625-1 is not prime. Res64: 0D261D5D04AC29A9 Time : 0.0 sec. user=mdettweiler [2020-01-15 10:40:41] 957*2^1552625-1 is not prime. Res64: 79800A7C5B36EC49 Time : 0.0 sec. user=mdettweiler [2020-01-15 10:40:42] 683*2^1552626-1 is not prime. Res64: 2C9A9ED800466A5B Time : 0.0 sec. user=mdettweiler [2020-01-15 10:40:42] 695*2^1552626-1 is not prime. Res64: 0ACD3C7E64EE2EB6 Time : 0.0 sec. user=mdettweiler [2020-01-15 10:40:43] 765*2^1552626-1 is not prime. Res64: 4833B303EA8EAF76 Time : 0.0 sec. user=mdettweiler [2020-01-15 11:21:41] 843*2^1552626-1 is not prime. Res64: 71C55ABD159B87E9 Time : 0.0 sec. user=mdettweiler [2020-01-15 11:21:41] 861*2^1552626-1 is not prime. Res64: 56F608714269657B Time : 0.0 sec. user=mdettweiler [2020-01-15 11:21:42] 639*2^1552627-1 is not prime. Res64: 73ACB4565B311790 Time : 0.0 sec. user=mdettweiler [2020-01-15 11:21:42] 663*2^1552627-1 is not prime. Res64: 99D0C4E81E154A49 Time : 0.0 sec. user=mdettweiler [2020-01-15 11:21:43] 835*2^1552627-1 is not prime. Res64: E1B5AEACFFB09E2E Time : 0.0 sec. user=mdettweiler [2020-01-15 11:26:56] 849*2^1552627-1 is not prime. Res64: CB41B17816ED4D5E Time : 0.0 sec. user=mdettweiler [2020-01-15 11:26:56] 985*2^1552627-1 is not prime. Res64: 1348392D1BAD51D1 Time : 0.0 sec. user=mdettweiler [2020-01-15 11:26:57] 617*2^1552628-1 is not prime. Res64: 5E569DEF0088B1A6 Time : 0.0 sec. user=mdettweiler [2020-01-15 11:26:57] 635*2^1552628-1 is not prime. Res64: 76D3259CCC5C9737 Time : 0.0 sec. user=mdettweiler [2020-01-15 11:26:58] 665*2^1552628-1 is not prime. Res64: EB4783CF2FE49EC6 Time : 0.0 sec. user=mdettweiler [2020-01-15 11:34:53] 725*2^1552628-1 is not prime. Res64: 0D9ACE9BB5A0D81A Time : 0.0 sec. user=mdettweiler [2020-01-15 11:34:54] 825*2^1552628-1 is not prime. Res64: BA0C38E63D3A16AB Time : 0.0 sec. user=mdettweiler [2020-01-15 11:34:54] 839*2^1552628-1 is not prime. Res64: 8CBDD5E8D5B4A807 Time : 0.0 sec. user=mdettweiler [2020-01-15 11:34:55] 959*2^1552628-1 is not prime. Res64: B523C1EFD2482BCF Time : 0.0 sec. user=mdettweiler [2020-01-15 11:34:55] 999*2^1552628-1 is not prime. Res64: C79555D14ACD6958 Time : 0.0 sec. user=mdettweiler [2020-01-15 12:13:17] 627*2^1552629-1 is not prime. Res64: FDBE0352D547EE48 Time : 0.0 sec. user=mdettweiler [2020-01-15 12:13:18] 681*2^1552629-1 is not prime. Res64: C5BADE9C93E869B8 Time : 0.0 sec. user=mdettweiler [2020-01-15 12:13:19] 741*2^1552629-1 is not prime. Res64: 638EFF32CF18F4BC Time : 0.0 sec. user=mdettweiler [2020-01-15 12:13:19] 787*2^1552629-1 is not prime. Res64: CFA9E495590A9142 Time : 0.0 sec. user=mdettweiler [2020-01-15 12:13:20] 811*2^1552629-1 is not prime. Res64: C09828E2DDDC138D Time : 0.0 sec. user=mdettweiler [2020-01-15 12:22:20] 919*2^1552629-1 is not prime. Res64: 6F4DB9AA796E9513 Time : 0.0 sec. user=mdettweiler [2020-01-15 12:22:20] 945*2^1552629-1 is not prime. Res64: EA0F9CED79D2177C Time : 0.0 sec. user=mdettweiler [2020-01-15 12:22:21] 975*2^1552629-1 is not prime. Res64: F46C745916396B82 Time : 0.0 sec. user=mdettweiler [2020-01-15 12:22:21] 979*2^1552629-1 is not prime. Res64: CB348DE0E2A12FB4 Time : 0.0 sec. user=mdettweiler [2020-01-15 12:22:22] 645*2^1552630-1 is not prime. Res64: C5084D3446B57A56 Time : 0.0 sec. user=mdettweiler [2020-01-15 12:26:12] 653*2^1552630-1 is not prime. Res64: 2BBC7C8A535B110F Time : 0.0 sec. user=mdettweiler [2020-01-15 12:26:12] 707*2^1552630-1 is not prime. Res64: E1F27513721C005E Time : 0.0 sec. user=mdettweiler [2020-01-15 12:26:13] 731*2^1552630-1 is not prime. Res64: 4E3CF495C90DC6A0 Time : 0.0 sec. user=mdettweiler [2020-01-15 12:26:13] 741*2^1552630-1 is not prime. Res64: A1E50A9D564BA1A4 Time : 0.0 sec. user=mdettweiler [2020-01-15 12:26:14] 843*2^1552630-1 is not prime. Res64: E3AB111CFE242103 Time : 0.0 sec. user=mdettweiler [2020-01-15 13:06:11] 855*2^1552630-1 is not prime. Res64: 5D3E24974AF7D0F0 Time : 0.0 sec. user=mdettweiler [2020-01-15 13:06:12] 615*2^1552631-1 is not prime. Res64: EBB27295ADA46671 Time : 0.0 sec. user=mdettweiler [2020-01-15 13:06:13] 619*2^1552631-1 is not prime. Res64: A31833F558315CE8 Time : 0.0 sec. user=mdettweiler [2020-01-15 13:06:14] 669*2^1552631-1 is not prime. Res64: 0ECDC5938F172FA5 Time : 0.0 sec. user=mdettweiler [2020-01-15 13:06:15] 813*2^1552631-1 is not prime. Res64: EC58FB168F2E1BA5 Time : 0.0 sec. user=mdettweiler [2020-01-15 13:16:40] 843*2^1552631-1 is not prime. Res64: EEAEA785ABB06174 Time : 0.0 sec. user=mdettweiler [2020-01-15 13:16:41] 683*2^1552632-1 is not prime. Res64: A732E43961B07AA0 Time : 0.0 sec. user=mdettweiler [2020-01-15 13:16:41] 699*2^1552632-1 is not prime. Res64: 2A91CBEAE0EF629F Time : 0.0 sec. user=mdettweiler [2020-01-15 13:16:41] 797*2^1552632-1 is not prime. Res64: 0C088CA721B6FAE0 Time : 0.0 sec. user=mdettweiler [2020-01-15 13:16:42] 975*2^1552632-1 is not prime. Res64: 27AB4A9DE6FE7242 Time : 0.0 sec. user=mdettweiler [2020-01-15 13:21:24] 983*2^1552632-1 is not prime. Res64: 6446DC0ABDBCB482 Time : 0.0 sec. user=mdettweiler [2020-01-15 13:21:25] 609*2^1552633-1 is not prime. Res64: 6EE323608915ABDC Time : 0.0 sec. user=mdettweiler [2020-01-15 13:21:25] 847*2^1552633-1 is not prime. Res64: 375D5F0877C5F97F Time : 0.0 sec. user=mdettweiler [2020-01-15 13:21:25] 945*2^1552633-1 is not prime. Res64: 75966B785331652A Time : 0.0 sec. user=mdettweiler [2020-01-15 13:21:26] 675*2^1552634-1 is not prime. Res64: D726FD7044C11F7B Time : 0.0 sec. user=mdettweiler [2020-01-15 14:00:05] 995*2^1552634-1 is not prime. Res64: 36E8D81B0CD40A68 Time : 0.0 sec. user=mdettweiler [2020-01-15 14:00:05] 613*2^1552635-1 is not prime. Res64: C82319588F717B45 Time : 0.0 sec. user=mdettweiler [2020-01-15 14:00:06] 783*2^1552635-1 is not prime. Res64: DD5B17B053D451CA Time : 0.0 sec. user=mdettweiler [2020-01-15 14:00:06] 795*2^1552635-1 is not prime. Res64: 33D8D2FF225494A9 Time : 0.0 sec. user=mdettweiler [2020-01-15 14:00:06] 861*2^1552635-1 is not prime. Res64: F12DCA0FC5172684 Time : 0.0 sec. user=mdettweiler [2020-01-15 14:09:00] 609*2^1552636-1 is not prime. Res64: C6807C624ED0189D Time : 0.0 sec. user=mdettweiler [2020-01-15 14:09:00] 755*2^1552636-1 is not prime. Res64: DDAE192B3659806F Time : 0.0 sec. user=mdettweiler [2020-01-15 14:09:01] 779*2^1552636-1 is not prime. Res64: 3BA98674556BFF17 Time : 0.0 sec. user=mdettweiler [2020-01-15 14:09:02] 839*2^1552636-1 is not prime. Res64: 924D66A362387038 Time : 0.0 sec. user=mdettweiler [2020-01-15 14:09:02] 857*2^1552636-1 is not prime. Res64: 4B598898A00F2272 Time : 0.0 sec. user=mdettweiler [2020-01-15 14:13:09] 873*2^1552636-1 is not prime. Res64: 36290838614BA899 Time : 0.0 sec. user=mdettweiler [2020-01-15 14:13:10] 619*2^1552637-1 is not prime. Res64: 70B6672A03EB6A23 Time : 0.0 sec. user=mdettweiler [2020-01-15 14:13:10] 645*2^1552637-1 is not prime. Res64: 5F944918A9B2484F Time : 0.0 sec. user=mdettweiler [2020-01-15 14:13:11] 727*2^1552637-1 is not prime. Res64: BCBBE4F8CCAB251B Time : 0.0 sec. user=mdettweiler [2020-01-15 14:13:11] 729*2^1552637-1 is not prime. Res64: 01EEFFB839F10DEE Time : 0.0 sec. user=mdettweiler [2020-01-15 14:53:16] 747*2^1552637-1 is not prime. Res64: C79CC699535B9D9C Time : 0.0 sec. user=mdettweiler [2020-01-15 14:53:16] 769*2^1552637-1 is not prime. Res64: 9D29588D56CD36B4 Time : 0.0 sec. user=mdettweiler [2020-01-15 14:53:17] 915*2^1552637-1 is not prime. Res64: 44BB15600D64B305 Time : 0.0 sec. user=mdettweiler [2020-01-15 14:53:17] 981*2^1552637-1 is not prime. Res64: 8AAFD61A08A50BE8 Time : 0.0 sec. user=mdettweiler [2020-01-15 14:53:17] 641*2^1552638-1 is not prime. Res64: 24D97E84CAD5EF26 Time : 0.0 sec. user=mdettweiler [2020-01-15 15:04:17] 657*2^1552638-1 is not prime. Res64: D1F993B72DD4BB2F Time : 0.0 sec. user=mdettweiler [2020-01-15 15:04:18] 791*2^1552638-1 is not prime. Res64: 88D0A37787DFB1CA Time : 0.0 sec. user=mdettweiler [2020-01-15 15:04:19] 801*2^1552638-1 is not prime. Res64: 3A76DAD4414F8077 Time : 0.0 sec. user=mdettweiler [2020-01-15 15:04:20] 933*2^1552638-1 is not prime. Res64: 9C6E002F7D994B12 Time : 0.0 sec. user=mdettweiler [2020-01-15 15:04:21] 977*2^1552638-1 is not prime. Res64: 3504C23307BBE857 Time : 0.0 sec. user=mdettweiler [2020-01-15 15:04:59] 609*2^1552639-1 is not prime. Res64: C3190FB8E31A7247 Time : 0.0 sec. user=mdettweiler [2020-01-15 15:05:01] 615*2^1552639-1 is not prime. Res64: 77623FF700D1283B Time : 0.0 sec. user=mdettweiler [2020-01-15 15:05:02] 675*2^1552639-1 is not prime. Res64: 578F2C73587446F5 Time : 0.0 sec. user=mdettweiler [2020-01-15 15:05:03] 709*2^1552639-1 is not prime. Res64: B392F1CAF86BC275 Time : 0.0 sec. user=mdettweiler [2020-01-15 15:05:04] 745*2^1552639-1 is not prime. Res64: 5262C063ECB10359 Time : 0.0 sec. user=mdettweiler [2020-01-15 15:47:50] 843*2^1552639-1 is not prime. Res64: 65B3BC3681C8673C Time : 0.0 sec. user=mdettweiler [2020-01-15 15:47:51] 855*2^1552639-1 is not prime. Res64: 102541E13DBF2512 Time : 0.0 sec. user=mdettweiler [2020-01-15 15:47:51] 961*2^1552639-1 is not prime. Res64: BE9E3FD3C845EE7B Time : 0.0 sec. user=mdettweiler [2020-01-15 15:47:52] 747*2^1552640-1 is not prime. Res64: 79F4D041DDCD3243 Time : 0.0 sec. user=mdettweiler [2020-01-15 15:47:52] 753*2^1552640-1 is not prime. Res64: 46E9884DED7E2E9C Time : 0.0 sec. user=mdettweiler [2020-01-15 15:57:51] 651*2^1552641-1 is not prime. Res64: C3310C5390ADFF3E Time : 0.0 sec. user=mdettweiler [2020-01-15 15:57:51] 751*2^1552641-1 is not prime. Res64: 8E66D8F3544C5C60 Time : 0.0 sec. user=mdettweiler [2020-01-15 15:57:52] 735*2^1552642-1 is not prime. Res64: 5F654BD1323146CF Time : 0.0 sec. user=mdettweiler [2020-01-15 15:57:52] 777*2^1552642-1 is not prime. Res64: BE4D64EE1F32CD2E Time : 0.0 sec. user=mdettweiler [2020-01-15 15:57:52] 791*2^1552642-1 is not prime. Res64: 5DA1B4A4AC4A68D7 Time : 0.0 sec. user=mdettweiler [2020-01-15 15:58:41] 755*2^1552640-1 is not prime. Res64: ADF204A444CC2E01 Time : 0.0 sec. user=mdettweiler [2020-01-15 15:58:42] 813*2^1552640-1 is not prime. Res64: 9F6449E8A1B0D751 Time : 0.0 sec. user=mdettweiler [2020-01-15 15:58:42] 843*2^1552640-1 is not prime. Res64: 3C06A14FD711A253 Time : 0.0 sec. user=mdettweiler [2020-01-15 15:58:42] 977*2^1552640-1 is not prime. Res64: 64A73E916D165C38 Time : 0.0 sec. user=mdettweiler [2020-01-15 15:58:43] 609*2^1552641-1 is not prime. Res64: 5B89948DDEFD04F7 Time : 0.0 sec. user=mdettweiler [2020-01-15 16:40:08] 801*2^1552642-1 is not prime. Res64: 41615EBAB15A313B Time : 0.0 sec. user=mdettweiler [2020-01-15 16:40:08] 867*2^1552642-1 is not prime. Res64: 6F4BF269A9A366D3 Time : 0.0 sec. user=mdettweiler [2020-01-15 16:40:09] 881*2^1552642-1 is not prime. Res64: 57B040D38B42B19F Time : 0.0 sec. user=mdettweiler [2020-01-15 16:40:09] 663*2^1552643-1 is not prime. Res64: DF03DE2A45BDD8E8 Time : 0.0 sec. user=mdettweiler [2020-01-15 16:40:09] 735*2^1552643-1 is not prime. Res64: DC39291F7B469535 Time : 0.0 sec. user=mdettweiler [2020-01-15 16:52:06] 783*2^1552643-1 is not prime. Res64: A4727A561A98DCBF Time : 0.0 sec. user=mdettweiler [2020-01-15 16:52:06] 813*2^1552643-1 is not prime. Res64: 52D21BCA2819710C Time : 0.0 sec. user=mdettweiler [2020-01-15 16:52:07] 823*2^1552643-1 is not prime. Res64: B089B893055AA3B1 Time : 0.0 sec. user=mdettweiler [2020-01-15 16:52:07] 901*2^1552643-1 is not prime. Res64: 5DB3DE4ADA1317D4 Time : 0.0 sec. user=mdettweiler [2020-01-15 16:52:07] 945*2^1552643-1 is not prime. Res64: BD08DAB5753024FA Time : 0.0 sec. user=mdettweiler [2020-01-15 16:53:23] 981*2^1552643-1 is not prime. Res64: 093CD52FD186AAC8 Time : 0.0 sec. user=mdettweiler [2020-01-15 16:53:24] 985*2^1552643-1 is not prime. Res64: 418830456D93BE88 Time : 0.0 sec. user=mdettweiler [2020-01-15 16:53:24] 657*2^1552644-1 is not prime. Res64: C49D3E8C3ECE1078 Time : 0.0 sec. user=mdettweiler [2020-01-15 16:53:24] 717*2^1552644-1 is not prime. Res64: 3811D20BA65B4CB9 Time : 0.0 sec. user=mdettweiler [2020-01-15 16:53:25] 887*2^1552644-1 is not prime. Res64: 2C64578B8D7A9C52 Time : 0.0 sec. user=mdettweiler [2020-01-15 17:34:40] 927*2^1552644-1 is not prime. Res64: CB58BD61BC93AABD Time : 0.0 sec. user=mdettweiler [2020-01-15 17:34:41] 975*2^1552644-1 is not prime. Res64: 056961FEFF9BD020 Time : 0.0 sec. user=mdettweiler [2020-01-15 17:34:41] 729*2^1552645-1 is not prime. Res64: EF52D50D0C55AFC6 Time : 0.0 sec. user=mdettweiler [2020-01-15 17:34:41] 861*2^1552645-1 is not prime. Res64: FC44361A00BC0789 Time : 0.0 sec. user=mdettweiler [2020-01-15 17:34:42] 867*2^1552645-1 is not prime. Res64: 7014D08ABBE73AFB Time : 0.0 sec. user=mdettweiler [2020-01-15 17:46:26] 955*2^1552645-1 is not prime. Res64: F5AC03748A34C8A8 Time : 0.0 sec. user=mdettweiler [2020-01-15 17:46:26] 615*2^1552646-1 is not prime. Res64: 22459A7FB67047F5 Time : 0.0 sec. user=mdettweiler [2020-01-15 17:46:26] 831*2^1552646-1 is not prime. Res64: 8DAB7D023F29E3A6 Time : 0.0 sec. user=mdettweiler [2020-01-15 17:46:27] 903*2^1552646-1 is not prime. Res64: DE09FE17D70E1894 Time : 0.0 sec. user=mdettweiler [2020-01-15 17:46:27] 935*2^1552646-1 is not prime. Res64: DD73D90FDB7DD642 Time : 0.0 sec. user=mdettweiler [2020-01-15 17:47:19] 957*2^1552646-1 is not prime. Res64: 1D68290DA7D9A488 Time : 0.0 sec. user=mdettweiler [2020-01-15 17:47:19] 1001*2^1552646-1 is not prime. Res64: 0E510BCE03E376B8 Time : 0.0 sec. user=mdettweiler [2020-01-15 17:47:20] 703*2^1552647-1 is not prime. Res64: BEDF823E7596DF41 Time : 0.0 sec. user=mdettweiler [2020-01-15 17:47:20] 741*2^1552647-1 is not prime. Res64: 1438D6F3E4A56680 Time : 0.0 sec. user=mdettweiler [2020-01-15 17:47:21] 781*2^1552647-1 is not prime. Res64: 28BD3674829C93D9 Time : 0.0 sec. user=mdettweiler [2020-01-15 18:28:36] 793*2^1552647-1 is not prime. Res64: 7200B73F21B813D3 Time : 0.0 sec. user=mdettweiler [2020-01-15 18:28:37] 873*2^1552647-1 is not prime. Res64: 68D230711DCA18E5 Time : 0.0 sec. user=mdettweiler [2020-01-15 18:28:37] 885*2^1552647-1 is not prime. Res64: 68BDE9A50D685AFE Time : 0.0 sec. user=mdettweiler [2020-01-15 18:28:38] 895*2^1552647-1 is not prime. Res64: 551F332E9EA95D54 Time : 0.0 sec. user=mdettweiler [2020-01-15 18:28:38] 955*2^1552647-1 is not prime. Res64: F5BF44D1A78AE026 Time : 0.0 sec. user=mdettweiler [2020-01-15 18:39:53] 721*2^1552649-1 is not prime. Res64: 7389D3581C5B1517 Time : 0.0 sec. user=mdettweiler [2020-01-15 18:39:53] 775*2^1552649-1 is not prime. Res64: 663BDDEB161B1C50 Time : 0.0 sec. user=mdettweiler [2020-01-15 18:39:54] 787*2^1552649-1 is not prime. Res64: 1292504F70A4EB3F Time : 0.0 sec. user=mdettweiler [2020-01-15 18:39:54] 841*2^1552649-1 is not prime. Res64: E04692FEC6B26076 Time : 0.0 sec. user=mdettweiler [2020-01-15 18:39:55] 865*2^1552649-1 is not prime. Res64: 323566C2B92246BB Time : 0.0 sec. user=mdettweiler [2020-01-15 18:40:24] 963*2^1552647-1 is not prime. Res64: 79867BEAB3544C98 Time : 0.0 sec. user=mdettweiler [2020-01-15 18:40:25] 603*2^1552648-1 is not prime. Res64: C0EB3285636A1184 Time : 0.0 sec. user=mdettweiler [2020-01-15 18:40:25] 827*2^1552648-1 is not prime. Res64: 8CD61085CC48D3A7 Time : 0.0 sec. user=mdettweiler [2020-01-15 18:40:26] 845*2^1552648-1 is not prime. Res64: 1149C38F9029BD8D Time : 0.0 sec. user=mdettweiler [2020-01-15 18:40:26] 887*2^1552648-1 is not prime. Res64: 6AB94DA54CD94B9F Time : 0.0 sec. user=mdettweiler [2020-01-15 19:21:29] 909*2^1552649-1 is not prime. Res64: FC067948BFD9830A Time : 0.0 sec. user=mdettweiler [2020-01-15 19:21:29] 651*2^1552650-1 is not prime. Res64: 8FB52A1D6662A350 Time : 0.0 sec. user=mdettweiler [2020-01-15 19:21:30] 767*2^1552650-1 is not prime. Res64: 3B1797DA34CF05D4 Time : 0.0 sec. user=mdettweiler [2020-01-15 19:21:30] 861*2^1552650-1 is not prime. Res64: 01CAB0B5964E3B4A Time : 0.0 sec. user=mdettweiler [2020-01-15 19:21:31] 693*2^1552651-1 is not prime. Res64: 3653D2963ED4CF80 Time : 0.0 sec. user=mdettweiler [2020-01-15 19:32:15] 723*2^1552651-1 is not prime. Res64: D66716D13D692054 Time : 0.0 sec. user=mdettweiler [2020-01-15 19:32:15] 603*2^1552652-1 is not prime. Res64: E456B9BFD0FF9727 Time : 0.0 sec. user=mdettweiler [2020-01-15 19:32:16] 735*2^1552652-1 is not prime. Res64: 559AC0B98B2958C6 Time : 0.0 sec. user=mdettweiler [2020-01-15 19:32:16] 837*2^1552652-1 is not prime. Res64: 6D47A8AA369B8314 Time : 0.0 sec. user=mdettweiler [2020-01-15 19:32:16] 867*2^1552652-1 is not prime. Res64: CEC055D34B6FCD72 Time : 0.0 sec. user=mdettweiler [2020-01-15 19:35:16] 873*2^1552652-1 is not prime. Res64: 4184C8A12194F2B3 Time : 0.0 sec. user=mdettweiler [2020-01-15 19:35:16] 945*2^1552652-1 is not prime. Res64: 1A7E7BF7B390BDB5 Time : 0.0 sec. user=mdettweiler [2020-01-15 19:35:16] 987*2^1552652-1 is not prime. Res64: 66F39350767D3B38 Time : 0.0 sec. user=mdettweiler [2020-01-15 19:35:17] 649*2^1552653-1 is not prime. Res64: 1C6F6CD678C61BC6 Time : 0.0 sec. user=mdettweiler [2020-01-15 19:35:17] 685*2^1552653-1 is not prime. Res64: 93848A1EF12B9883 Time : 0.0 sec. user=mdettweiler [2020-01-15 20:13:02] 735*2^1552653-1 is not prime. Res64: 3961C59A4DAFCBB5 Time : 0.0 sec. user=mdettweiler [2020-01-15 20:13:02] 747*2^1552653-1 is not prime. Res64: 0467AC9B90903BBD Time : 0.0 sec. user=mdettweiler [2020-01-15 20:13:03] 837*2^1552653-1 is not prime. Res64: 949402FF31814EFB Time : 0.0 sec. user=mdettweiler [2020-01-15 20:13:03] 891*2^1552653-1 is not prime. Res64: E1F032BCC2BFCDA5 Time : 0.0 sec. user=mdettweiler [2020-01-15 20:13:04] 717*2^1552654-1 is not prime. Res64: 237C2042DB793814 Time : 0.0 sec. user=mdettweiler [2020-01-15 20:24:34] 741*2^1552654-1 is not prime. Res64: 1510DF837AAF8A4B Time : 0.0 sec. user=mdettweiler [2020-01-15 20:24:35] 815*2^1552654-1 is not prime. Res64: DCACAAC46B68D02D Time : 0.0 sec. user=mdettweiler [2020-01-15 20:24:36] 827*2^1552654-1 is not prime. Res64: 9C6E5398FCA9E12E Time : 0.0 sec. user=mdettweiler [2020-01-15 20:24:37] 861*2^1552654-1 is not prime. Res64: 096B9FFB1C8474D8 Time : 0.0 sec. user=mdettweiler [2020-01-15 20:24:37] 897*2^1552654-1 is not prime. Res64: D2C29F104B13814A Time : 0.0 sec. user=mdettweiler [2020-01-15 20:28:14] 975*2^1552654-1 is not prime. Res64: 7CC83C6A565F03C9 Time : 0.0 sec. user=mdettweiler [2020-01-15 20:28:14] 715*2^1552655-1 is not prime. Res64: 5EBD7C2296D7E44A Time : 0.0 sec. user=mdettweiler [2020-01-15 20:28:15] 633*2^1552656-1 is not prime. Res64: 6D0ED397527364B4 Time : 0.0 sec. user=mdettweiler [2020-01-15 20:28:15] 789*2^1552656-1 is not prime. Res64: AA2536AD370F5009 Time : 0.0 sec. user=mdettweiler [2020-01-15 20:28:15] 845*2^1552656-1 is not prime. Res64: D8F23A7FF3E72917 Time : 0.0 sec. user=mdettweiler [2020-01-15 21:07:49] 875*2^1552656-1 is not prime. Res64: CC0B53012A251A07 Time : 0.0 sec. user=mdettweiler [2020-01-15 21:07:52] 933*2^1552656-1 is not prime. Res64: 4FB583143E6FEF39 Time : 0.0 sec. user=mdettweiler [2020-01-15 21:07:54] 993*2^1552656-1 is not prime. Res64: 347E4CE613C95E0E Time : 0.0 sec. user=mdettweiler [2020-01-15 21:07:56] 607*2^1552657-1 is not prime. Res64: 2D1E7281FCB9E5F9 Time : 0.0 sec. user=mdettweiler [2020-01-15 21:07:57] 615*2^1552657-1 is not prime. Res64: CFBEF6B12FF1E46F Time : 0.0 sec. user=mdettweiler [2020-01-15 21:16:38] 651*2^1552657-1 is not prime. Res64: D19B65F841DDD821 Time : 0.0 sec. user=mdettweiler [2020-01-15 21:16:38] 727*2^1552657-1 is not prime. Res64: AF45B2B7B6C16B5B Time : 0.0 sec. user=mdettweiler [2020-01-15 21:16:38] 741*2^1552657-1 is not prime. Res64: FC2F676B748DFB9D Time : 0.0 sec. user=mdettweiler [2020-01-15 21:16:39] 801*2^1552657-1 is not prime. Res64: 79B91E3507BE8785 Time : 0.0 sec. user=mdettweiler [2020-01-15 21:16:39] 841*2^1552657-1 is not prime. Res64: 86B8B1AC6DADAFFF Time : 0.0 sec. user=mdettweiler [2020-01-15 21:22:43] 931*2^1552657-1 is not prime. Res64: E15BBEF351C7FD96 Time : 0.0 sec. user=mdettweiler [2020-01-15 21:22:44] 957*2^1552657-1 is not prime. Res64: 1C1D6951F59B70AB Time : 0.0 sec. user=mdettweiler [2020-01-15 21:22:44] 671*2^1552658-1 is not prime. Res64: 7029E0E5799A47F4 Time : 0.0 sec. user=mdettweiler [2020-01-15 21:22:44] 735*2^1552658-1 is not prime. Res64: E56581D6EA97BC05 Time : 0.0 sec. user=mdettweiler [2020-01-15 21:22:44] 825*2^1552658-1 is not prime. Res64: 8ECDE6A3B7AA2D2F Time : 0.0 sec. user=mdettweiler [2020-01-15 22:02:07] 861*2^1552658-1 is not prime. Res64: 103D18D66EB7B7A5 Time : 0.0 sec. user=mdettweiler [2020-01-15 22:02:08] 993*2^1552658-1 is not prime. Res64: 0AB8F6CDB641DEC6 Time : 0.0 sec. user=mdettweiler [2020-01-15 22:02:09] 613*2^1552659-1 is not prime. Res64: 01602F99FC4C517C Time : 0.0 sec. user=mdettweiler [2020-01-15 22:02:10] 619*2^1552659-1 is not prime. Res64: C8AC372AEA21B2EA Time : 0.0 sec. user=mdettweiler [2020-01-15 22:02:10] 853*2^1552659-1 is not prime. Res64: D746C8EEC1D73AD6 Time : 0.0 sec. user=mdettweiler [2020-01-15 22:12:31] 985*2^1552659-1 is not prime. Res64: 3B1218C0392FEB29 Time : 0.0 sec. user=mdettweiler [2020-01-15 22:12:32] 693*2^1552660-1 is not prime. Res64: 8636EB997D5BBE4D Time : 0.0 sec. user=mdettweiler [2020-01-15 22:12:32] 825*2^1552660-1 is not prime. Res64: 9BA49541C82C6326 Time : 0.0 sec. user=mdettweiler [2020-01-15 22:12:32] 939*2^1552660-1 is not prime. Res64: 30BAE44E327DC6E2 Time : 0.0 sec. user=mdettweiler [2020-01-15 22:12:33] 975*2^1552660-1 is not prime. Res64: 477198C97F8D3980 Time : 0.0 sec. user=mdettweiler [2020-01-15 22:16:04] 999*2^1552660-1 is not prime. Res64: 8E1FC961F2F628CC Time : 0.0 sec. user=mdettweiler [2020-01-15 22:16:05] 621*2^1552661-1 is not prime. Res64: 704EA0DE22CEEF32 Time : 0.0 sec. user=mdettweiler [2020-01-15 22:16:05] 649*2^1552661-1 is not prime. Res64: 928979158F27FAB5 Time : 0.0 sec. user=mdettweiler [2020-01-15 22:16:05] 799*2^1552661-1 is not prime. Res64: BD2A9003278BF6F3 Time : 0.0 sec. user=mdettweiler [2020-01-15 22:16:06] 907*2^1552661-1 is not prime. Res64: 59C42D614D0E5113 Time : 0.0 sec. user=mdettweiler [2020-01-15 22:55:16] 981*2^1552661-1 is not prime. Res64: 4A918554EC66C5C0 Time : 0.0 sec. user=mdettweiler [2020-01-15 22:55:16] 683*2^1552662-1 is not prime. Res64: B6E700D02D3CCF91 Time : 0.0 sec. user=mdettweiler [2020-01-15 22:55:16] 717*2^1552662-1 is not prime. Res64: 526FA14AA57BA7C2 Time : 0.0 sec. user=mdettweiler [2020-01-15 22:55:17] 737*2^1552662-1 is not prime. Res64: C31668D31F4751E5 Time : 0.0 sec. user=mdettweiler [2020-01-15 22:55:17] 833*2^1552662-1 is not prime. Res64: 63F90382770F1BB9 Time : 0.0 sec. user=mdettweiler [2020-01-15 23:07:38] 945*2^1552662-1 is not prime. Res64: 78BEBB30079DAC83 Time : 0.0 sec. user=mdettweiler [2020-01-15 23:07:40] 947*2^1552662-1 is not prime. Res64: 5FE069E13EC933E3 Time : 0.0 sec. user=mdettweiler [2020-01-15 23:07:41] 963*2^1552662-1 is not prime. Res64: 147A064775A35823 Time : 0.0 sec. user=mdettweiler [2020-01-15 23:07:42] 609*2^1552663-1 is not prime. Res64: E76059B92A410E08 Time : 0.0 sec. user=mdettweiler [2020-01-15 23:07:43] 703*2^1552663-1 is not prime. Res64: 8641E51CDC30BCE2 Time : 0.0 sec. user=mdettweiler [2020-01-15 23:09:01] 705*2^1552663-1 is not prime. Res64: E8322DCBCE384F3B Time : 0.0 sec. user=mdettweiler [2020-01-15 23:09:01] 819*2^1552663-1 is not prime. Res64: DFE8736734E75855 Time : 0.0 sec. user=mdettweiler [2020-01-15 23:09:02] 873*2^1552663-1 is not prime. Res64: 48FDE5DFA883DFAF Time : 0.0 sec. user=mdettweiler [2020-01-15 23:09:02] 985*2^1552663-1 is not prime. Res64: AB525000178FEB51 Time : 0.0 sec. user=mdettweiler [2020-01-15 23:09:03] 687*2^1552664-1 is not prime. Res64: EC623D17899AF9B0 Time : 0.0 sec. user=mdettweiler [2020-01-15 23:46:51] 875*2^1552664-1 is not prime. Res64: 321FB2F0427E912F Time : 0.0 sec. user=mdettweiler [2020-01-15 23:46:51] 915*2^1552664-1 is not prime. Res64: CC76D1E50A3C7FC0 Time : 0.0 sec. user=mdettweiler [2020-01-15 23:46:51] 625*2^1552665-1 is not prime. Res64: E82D50534F036D88 Time : 0.0 sec. user=mdettweiler [2020-01-15 23:46:52] 651*2^1552665-1 is not prime. Res64: 7DBE8FFC742E992E Time : 0.0 sec. user=mdettweiler [2020-01-15 23:46:52] 709*2^1552665-1 is not prime. Res64: 180AF76CF6149DAF Time : 0.0 sec. user=mdettweiler [2020-01-15 23:59:25] 817*2^1552665-1 is not prime. Res64: 08490A8FE352FC24 Time : 0.0 sec. user=mdettweiler [2020-01-15 23:59:25] 623*2^1552666-1 is not prime. Res64: A7E344236415CE2A Time : 0.0 sec. user=mdettweiler [2020-01-15 23:59:26] 663*2^1552666-1 is not prime. Res64: B36179DD90322778 Time : 0.0 sec. user=mdettweiler [2020-01-15 23:59:26] 765*2^1552666-1 is not prime. Res64: 5486EA0CB4EC727F Time : 0.0 sec. user=mdettweiler [2020-01-15 23:59:27] 803*2^1552666-1 is not prime. Res64: C2B8633661ECE068 Time : 0.0 sec.