user=mdettweiler [2020-07-10 00:06:29] 829*2^1562915-1 is not prime. Res64: 856CB809BBFE7D67 Time : 0.0 sec. user=mdettweiler [2020-07-10 00:06:30] 859*2^1562915-1 is not prime. Res64: 692514B93C39F48C Time : 0.0 sec. user=mdettweiler [2020-07-10 00:06:31] 885*2^1562915-1 is not prime. Res64: 45BF9139761D52AD Time : 0.0 sec. user=mdettweiler [2020-07-10 00:06:31] 963*2^1562915-1 is not prime. Res64: 963F2191BE843DEC Time : 0.0 sec. user=mdettweiler [2020-07-10 00:06:32] 969*2^1562915-1 is not prime. Res64: C92FC953248F3611 Time : 0.0 sec. user=mdettweiler [2020-07-10 00:14:25] 985*2^1562915-1 is not prime. Res64: 12664B4CC3848DB1 Time : 0.0 sec. user=mdettweiler [2020-07-10 00:14:26] 991*2^1562915-1 is not prime. Res64: FDC002068E001FEF Time : 0.0 sec. user=mdettweiler [2020-07-10 00:14:26] 999*2^1562915-1 is not prime. Res64: 50F29048D3D9B8F0 Time : 0.0 sec. user=mdettweiler [2020-07-10 00:14:26] 635*2^1562916-1 is not prime. Res64: B300E6DEFB3A455B Time : 0.0 sec. user=mdettweiler [2020-07-10 00:14:27] 689*2^1562916-1 is not prime. Res64: 85B0B9E6F233C1F7 Time : 0.0 sec. user=mdettweiler [2020-07-10 00:23:41] 723*2^1562916-1 is not prime. Res64: 1AAA545C99AE0AA0 Time : 0.0 sec. user=mdettweiler [2020-07-10 00:23:41] 765*2^1562916-1 is not prime. Res64: 2B2A502E99F6FF76 Time : 0.0 sec. user=mdettweiler [2020-07-10 00:23:41] 789*2^1562916-1 is not prime. Res64: 074829D12D855668 Time : 0.0 sec. user=mdettweiler [2020-07-10 00:23:42] 845*2^1562916-1 is not prime. Res64: 1DE5D32B50F96FE0 Time : 0.0 sec. user=mdettweiler [2020-07-10 00:23:42] 609*2^1562917-1 is not prime. Res64: C7EAFE34DE90B923 Time : 0.0 sec. user=mdettweiler [2020-07-10 00:59:05] 619*2^1562917-1 is not prime. Res64: C5325AF888F19E9D Time : 0.0 sec. user=mdettweiler [2020-07-10 00:59:05] 645*2^1562917-1 is not prime. Res64: AEFDFB6C8A713E2C Time : 0.0 sec. user=mdettweiler [2020-07-10 00:59:05] 757*2^1562917-1 is not prime. Res64: C82E1B196A62F748 Time : 0.0 sec. user=mdettweiler [2020-07-10 00:59:05] 765*2^1562917-1 is not prime. Res64: B47F3315DF09B67A Time : 0.0 sec. user=mdettweiler [2020-07-10 00:59:06] 775*2^1562917-1 is not prime. Res64: A1727B001A792D4E Time : 0.0 sec. user=mdettweiler [2020-07-10 01:09:20] 777*2^1562917-1 is not prime. Res64: 30EF78D056091A2D Time : 0.0 sec. user=mdettweiler [2020-07-10 01:09:21] 831*2^1562917-1 is not prime. Res64: C7B3F871B5762265 Time : 0.0 sec. user=mdettweiler [2020-07-10 01:09:21] 937*2^1562917-1 is not prime. Res64: 8794BE87532ED424 Time : 0.0 sec. user=mdettweiler [2020-07-10 01:09:21] 617*2^1562918-1 is not prime. Res64: 47EAD3E98330B685 Time : 0.0 sec. user=mdettweiler [2020-07-10 01:09:22] 705*2^1562918-1 is not prime. Res64: ACAB3A4D10FA004F Time : 0.0 sec. user=mdettweiler [2020-07-10 01:19:42] 711*2^1562918-1 is not prime. Res64: 663DC4CF1134C05C Time : 0.0 sec. user=mdettweiler [2020-07-10 01:19:43] 893*2^1562918-1 is not prime. Res64: 23AA5C9A0085379A Time : 0.0 sec. user=mdettweiler [2020-07-10 01:19:43] 911*2^1562918-1 is not prime. Res64: 4C36EC8CF6DEF356 Time : 0.0 sec. user=mdettweiler [2020-07-10 01:19:43] 921*2^1562918-1 is not prime. Res64: 8785D11D225B2F1D Time : 0.0 sec. user=mdettweiler [2020-07-10 01:19:43] 649*2^1562919-1 is not prime. Res64: FCE7773F40F5FBA2 Time : 0.0 sec. user=mdettweiler [2020-07-10 01:55:12] 763*2^1562919-1 is not prime. Res64: E26E121884CA66D1 Time : 0.0 sec. user=mdettweiler [2020-07-10 01:55:13] 859*2^1562919-1 is not prime. Res64: DEE01FE0C9162F63 Time : 0.0 sec. user=mdettweiler [2020-07-10 01:55:13] 909*2^1562919-1 is not prime. Res64: 0A0AC1402951E7D0 Time : 0.0 sec. user=mdettweiler [2020-07-10 01:55:14] 921*2^1562919-1 is not prime. Res64: A54DCE7E7545FB42 Time : 0.0 sec. user=mdettweiler [2020-07-10 01:55:14] 615*2^1562920-1 is not prime. Res64: 287720451786EFB4 Time : 0.0 sec. user=mdettweiler [2020-07-10 02:06:47] 863*2^1562920-1 is not prime. Res64: 99B743076AD44DBB Time : 0.0 sec. user=mdettweiler [2020-07-10 02:06:50] 875*2^1562920-1 is not prime. Res64: 49E3DB1645E87861 Time : 0.0 sec. user=mdettweiler [2020-07-10 02:06:52] 887*2^1562920-1 is not prime. Res64: 3EFDBD5B6AC8BD5F Time : 0.0 sec. user=mdettweiler [2020-07-10 02:06:53] 909*2^1562920-1 is not prime. Res64: 2635206DC498801F Time : 0.0 sec. user=mdettweiler [2020-07-10 02:06:55] 711*2^1562921-1 is not prime. Res64: BB68D8D33B355CEF Time : 0.0 sec. user=mdettweiler [2020-07-10 02:14:01] 907*2^1562921-1 is not prime. Res64: A7777D69216B24A9 Time : 0.0 sec. user=mdettweiler [2020-07-10 02:14:03] 967*2^1562921-1 is not prime. Res64: A64F871A8854F57C Time : 0.0 sec. user=mdettweiler [2020-07-10 02:14:07] 657*2^1562922-1 is not prime. Res64: 5CA32B90AB63EEF3 Time : 0.0 sec. user=mdettweiler [2020-07-10 02:14:10] 609*2^1562923-1 is not prime. Res64: 07D817377A5DCB72 Time : 0.0 sec. user=mdettweiler [2020-07-10 02:14:18] 663*2^1562923-1 is not prime. Res64: 68FEEE1325860138 Time : 0.0 sec. user=mdettweiler [2020-07-10 02:50:31] 693*2^1562923-1 is not prime. Res64: DA3A5E038F86877C Time : 0.0 sec. user=mdettweiler [2020-07-10 02:50:32] 709*2^1562923-1 is not prime. Res64: EEF461F1B3982E71 Time : 0.0 sec. user=mdettweiler [2020-07-10 02:50:32] 783*2^1562923-1 is not prime. Res64: C7D7A28CBB1329D8 Time : 0.0 sec. user=mdettweiler [2020-07-10 02:50:32] 805*2^1562923-1 is not prime. Res64: 9D539FDB7DAEA54C Time : 0.0 sec. user=mdettweiler [2020-07-10 02:50:32] 835*2^1562923-1 is not prime. Res64: CED2A9C9BE546682 Time : 0.0 sec. user=mdettweiler [2020-07-10 03:02:07] 891*2^1562923-1 is not prime. Res64: B444F90BE4544FAF Time : 0.0 sec. user=mdettweiler [2020-07-10 03:02:08] 895*2^1562923-1 is not prime. Res64: C4967109BBB25E00 Time : 0.0 sec. user=mdettweiler [2020-07-10 03:02:09] 605*2^1562924-1 is not prime. Res64: A9BD62414C36964F Time : 0.0 sec. user=mdettweiler [2020-07-10 03:02:10] 657*2^1562924-1 is not prime. Res64: 8B04044625264822 Time : 0.0 sec. user=mdettweiler [2020-07-10 03:02:10] 665*2^1562924-1 is not prime. Res64: EDEE510BF23CC836 Time : 0.0 sec. user=mdettweiler [2020-07-10 03:12:19] 743*2^1562924-1 is not prime. Res64: 5F4A1CA5E4CB2144 Time : 0.0 sec. user=mdettweiler [2020-07-10 03:12:19] 837*2^1562924-1 is not prime. Res64: 312CE01FC3C7C3FB Time : 0.0 sec. user=mdettweiler [2020-07-10 03:12:20] 857*2^1562924-1 is not prime. Res64: 73DE25F75C24A3E1 Time : 0.0 sec. user=mdettweiler [2020-07-10 03:12:20] 893*2^1562924-1 is not prime. Res64: E14A86265FC88DBC Time : 0.0 sec. user=mdettweiler [2020-07-10 03:12:20] 959*2^1562924-1 is not prime. Res64: 8DC42F2593A5694B Time : 0.0 sec. user=mdettweiler [2020-07-10 03:44:39] 685*2^1562925-1 is not prime. Res64: B9F5E3AD259C6A74 Time : 0.0 sec. user=mdettweiler [2020-07-10 03:44:41] 691*2^1562925-1 is not prime. Res64: 4BF315BC5D9059A6 Time : 0.0 sec. user=mdettweiler [2020-07-10 03:44:42] 717*2^1562925-1 is not prime. Res64: 3019A3AC1F3D6E9B Time : 0.0 sec. user=mdettweiler [2020-07-10 03:44:43] 759*2^1562925-1 is not prime. Res64: 8A99F760D6AF85D3 Time : 0.0 sec. user=mdettweiler [2020-07-10 03:44:45] 951*2^1562925-1 is not prime. Res64: 25ECE27C8616F85A Time : 0.0 sec. user=mdettweiler [2020-07-10 03:57:00] 997*2^1562925-1 is not prime. Res64: C9763F2C8B195DAD Time : 0.0 sec. user=mdettweiler [2020-07-10 03:57:02] 603*2^1562926-1 is not prime. Res64: F6EEA803E36F40F6 Time : 0.0 sec. user=mdettweiler [2020-07-10 03:57:03] 647*2^1562926-1 is not prime. Res64: 466C067518F37765 Time : 0.0 sec. user=mdettweiler [2020-07-10 03:57:06] 705*2^1562926-1 is not prime. Res64: 8F0E725565926BFF Time : 0.0 sec. user=mdettweiler [2020-07-10 03:57:09] 815*2^1562926-1 is not prime. Res64: C31CD7C0AA1A3849 Time : 0.0 sec. user=mdettweiler [2020-07-10 04:08:28] 867*2^1562926-1 is not prime. Res64: FFE4EC70C95BEC28 Time : 0.0 sec. user=mdettweiler [2020-07-10 04:08:31] 873*2^1562926-1 is not prime. Res64: DAC4C2BC555F4A03 Time : 0.0 sec. user=mdettweiler [2020-07-10 04:08:32] 891*2^1562926-1 is not prime. Res64: DC122D525E6B02B7 Time : 0.0 sec. user=mdettweiler [2020-07-10 04:08:34] 645*2^1562927-1 is not prime. Res64: 6C4C3B826F20D6FA Time : 0.0 sec. user=mdettweiler [2020-07-10 04:08:35] 775*2^1562927-1 is not prime. Res64: 4E2508BBCA303FC2 Time : 0.0 sec. user=mdettweiler [2020-07-10 04:42:33] 781*2^1562927-1 is not prime. Res64: B5FFDC73B2720A76 Time : 0.0 sec. user=mdettweiler [2020-07-10 04:42:33] 841*2^1562927-1 is not prime. Res64: 7CC288B967E56C8C Time : 0.0 sec. user=mdettweiler [2020-07-10 04:42:33] 865*2^1562927-1 is not prime. Res64: 31E64B987ADCA1B2 Time : 0.0 sec. user=mdettweiler [2020-07-10 04:42:34] 885*2^1562927-1 is not prime. Res64: 84470BBCC19F79D5 Time : 0.0 sec. user=mdettweiler [2020-07-10 04:42:34] 979*2^1562927-1 is not prime. Res64: F108D58AA350A02E Time : 0.0 sec. user=mdettweiler [2020-07-10 04:53:59] 985*2^1562927-1 is not prime. Res64: 00DB45F01BB85F41 Time : 0.0 sec. user=mdettweiler [2020-07-10 04:54:00] 999*2^1562927-1 is not prime. Res64: FA11319E8809E17D Time : 0.0 sec. user=mdettweiler [2020-07-10 04:54:00] 705*2^1562928-1 is not prime. Res64: 1BAD6BF45DD82542 Time : 0.0 sec. user=mdettweiler [2020-07-10 04:54:00] 797*2^1562928-1 is not prime. Res64: 2846D96209A101F1 Time : 0.0 sec. user=mdettweiler [2020-07-10 04:54:00] 909*2^1562928-1 is not prime. Res64: 2CDCAA961EBCA729 Time : 0.0 sec. user=mdettweiler [2020-07-10 05:04:18] 945*2^1562928-1 is not prime. Res64: 490BD2D8AFBB444B Time : 0.0 sec. user=mdettweiler [2020-07-10 05:04:21] 993*2^1562928-1 is not prime. Res64: 4C7AA88C0C85A7D3 Time : 0.0 sec. user=mdettweiler [2020-07-10 05:04:21] 691*2^1562929-1 is not prime. Res64: 73B07FF4CE45EF92 Time : 0.0 sec. user=mdettweiler [2020-07-10 05:04:23] 705*2^1562929-1 is not prime. Res64: 1E1351FEFFCD444F Time : 0.0 sec. user=mdettweiler [2020-07-10 05:04:24] 801*2^1562929-1 is not prime. Res64: 6948FF75C1CC91F0 Time : 0.0 sec. user=mdettweiler [2020-07-10 05:41:07] 811*2^1562929-1 is not prime. Res64: 6CA78297A62370A4 Time : 0.0 sec. user=mdettweiler [2020-07-10 05:41:07] 855*2^1562929-1 is not prime. Res64: 4E34CCC02C3F5EE8 Time : 0.0 sec. user=mdettweiler [2020-07-10 05:41:07] 931*2^1562929-1 is not prime. Res64: 25CE52AE129B011D Time : 0.0 sec. user=mdettweiler [2020-07-10 05:41:07] 951*2^1562929-1 is not prime. Res64: 8951320EA7578D86 Time : 0.0 sec. user=mdettweiler [2020-07-10 05:41:08] 957*2^1562929-1 is not prime. Res64: C2A47AD87BF0AAB3 Time : 0.0 sec. user=mdettweiler [2020-07-10 05:50:23] 987*2^1562929-1 is not prime. Res64: FB1B3F7B2F5E787C Time : 0.0 sec. user=mdettweiler [2020-07-10 05:50:23] 687*2^1562930-1 is not prime. Res64: FE7D41F98611FBDD Time : 0.0 sec. user=mdettweiler [2020-07-10 05:50:23] 797*2^1562930-1 is not prime. Res64: 9A6B36E1CE724BBB Time : 0.0 sec. user=mdettweiler [2020-07-10 05:50:24] 851*2^1562930-1 is not prime. Res64: 5ED0A5D6AE5F97FF Time : 0.0 sec. user=mdettweiler [2020-07-10 05:50:24] 935*2^1562930-1 is not prime. Res64: DA58E458B48ED5F6 Time : 0.0 sec. user=mdettweiler [2020-07-10 05:58:34] 613*2^1562931-1 is not prime. Res64: 2BD593F9E9BAD6CB Time : 0.0 sec. user=mdettweiler [2020-07-10 05:58:35] 625*2^1562931-1 is not prime. Res64: 2D146B361BF204D8 Time : 0.0 sec. user=mdettweiler [2020-07-10 05:58:35] 679*2^1562931-1 is not prime. Res64: BC1B81DB3F3328E3 Time : 0.0 sec. user=mdettweiler [2020-07-10 05:58:35] 745*2^1562931-1 is not prime. Res64: 5067315682504152 Time : 0.0 sec. user=mdettweiler [2020-07-10 05:58:35] 829*2^1562931-1 is not prime. Res64: A6C6FA6C2B9DDEBA Time : 0.0 sec. user=mdettweiler [2020-07-10 06:35:25] 849*2^1562931-1 is not prime. Res64: E39E410585F559F1 Time : 0.0 sec. user=mdettweiler [2020-07-10 06:35:26] 885*2^1562931-1 is not prime. Res64: ABB1EF4668E08C51 Time : 0.0 sec. user=mdettweiler [2020-07-10 06:35:26] 605*2^1562932-1 is not prime. Res64: 7E0E7591773AF429 Time : 0.0 sec. user=mdettweiler [2020-07-10 06:35:26] 609*2^1562932-1 is not prime. Res64: 2A156CAFCE297AB3 Time : 0.0 sec. user=mdettweiler [2020-07-10 06:35:26] 623*2^1562932-1 is not prime. Res64: 4EBDFADDEB3E9BF1 Time : 0.0 sec. user=mdettweiler [2020-07-10 06:43:09] 719*2^1562932-1 is not prime. Res64: 7A9F0DAF22C56420 Time : 0.0 sec. user=mdettweiler [2020-07-10 06:43:09] 765*2^1562932-1 is not prime. Res64: 5EBD87A18C88AE9F Time : 0.0 sec. user=mdettweiler [2020-07-10 06:43:09] 669*2^1562933-1 is not prime. Res64: 990ACD673934847A Time : 0.0 sec. user=mdettweiler [2020-07-10 06:43:10] 771*2^1562933-1 is not prime. Res64: EA44A3011B8D52B5 Time : 0.0 sec. user=mdettweiler [2020-07-10 06:43:10] 775*2^1562933-1 is not prime. Res64: CD8E3085C05724CF Time : 0.0 sec. user=mdettweiler [2020-07-10 06:55:36] 837*2^1562933-1 is not prime. Res64: BAF1D7EEB333EB10 Time : 0.0 sec. user=mdettweiler [2020-07-10 06:55:37] 867*2^1562933-1 is not prime. Res64: 88937E1B93989182 Time : 0.0 sec. user=mdettweiler [2020-07-10 06:55:37] 985*2^1562933-1 is not prime. Res64: E54DBA224585F9C8 Time : 0.0 sec. user=mdettweiler [2020-07-10 06:55:37] 663*2^1562934-1 is not prime. Res64: D4D270CC2FB53271 Time : 0.0 sec. user=mdettweiler [2020-07-10 06:55:37] 833*2^1562934-1 is not prime. Res64: A20F0176F5AB01BF Time : 0.0 sec. user=mdettweiler [2020-07-10 07:32:50] 971*2^1562934-1 is not prime. Res64: 5B6B089B342C6F76 Time : 0.0 sec. user=mdettweiler [2020-07-10 07:32:51] 983*2^1562934-1 is not prime. Res64: 13560DC0D85D9534 Time : 0.0 sec. user=mdettweiler [2020-07-10 07:32:51] 1001*2^1562934-1 is not prime. Res64: FA217C3332410AB9 Time : 0.0 sec. user=mdettweiler [2020-07-10 07:32:51] 679*2^1562935-1 is not prime. Res64: 5C13A0CDE51DBA0F Time : 0.0 sec. user=mdettweiler [2020-07-10 07:32:51] 841*2^1562935-1 is not prime. Res64: B8E42D4D8F3D779A Time : 0.0 sec. user=mdettweiler [2020-07-10 07:39:23] 859*2^1562935-1 is not prime. Res64: BEE1CECB32981D6B Time : 0.0 sec. user=mdettweiler [2020-07-10 07:39:23] 919*2^1562935-1 is not prime. Res64: 98A85628159F887F Time : 0.0 sec. user=mdettweiler [2020-07-10 07:39:24] 985*2^1562935-1 is not prime. Res64: C0B59972848C1721 Time : 0.0 sec. user=mdettweiler [2020-07-10 07:39:24] 773*2^1562936-1 is not prime. Res64: 546633D6002281E1 Time : 0.0 sec. user=mdettweiler [2020-07-10 07:39:24] 789*2^1562936-1 is not prime. Res64: 0D2A2B0A0C377F25 Time : 0.0 sec. user=mdettweiler [2020-07-10 07:54:05] 813*2^1562936-1 is not prime. Res64: A1979C3BEB959B68 Time : 0.0 sec. user=mdettweiler [2020-07-10 07:54:05] 837*2^1562936-1 is not prime. Res64: FF6925410567FC5B Time : 0.0 sec. user=mdettweiler [2020-07-10 07:54:06] 869*2^1562936-1 is not prime. Res64: 16E0AA7994873B83 Time : 0.0 sec. user=mdettweiler [2020-07-10 07:54:06] 899*2^1562936-1 is not prime. Res64: 6B63482C299548C8 Time : 0.0 sec. user=mdettweiler [2020-07-10 07:54:06] 927*2^1562936-1 is not prime. Res64: 13BDCDDBDD8839E6 Time : 0.0 sec. user=mdettweiler [2020-07-10 08:28:01] 963*2^1562936-1 is not prime. Res64: 070EB3293B48028B Time : 0.0 sec. user=mdettweiler [2020-07-10 08:28:02] 759*2^1562937-1 is not prime. Res64: 2FB597F823AD9A15 Time : 0.0 sec. user=mdettweiler [2020-07-10 08:28:02] 777*2^1562937-1 is not prime. Res64: 31AF03B284FBE7A5 Time : 0.0 sec. user=mdettweiler [2020-07-10 08:28:02] 795*2^1562937-1 is not prime. Res64: C42B39A5B6662018 Time : 0.0 sec. user=mdettweiler [2020-07-10 08:28:02] 835*2^1562937-1 is not prime. Res64: FA43A793255BBB33 Time : 0.0 sec. user=mdettweiler [2020-07-10 08:34:15] 919*2^1562937-1 is not prime. Res64: A44BBBECA801BC7A Time : 0.0 sec. user=mdettweiler [2020-07-10 08:34:15] 979*2^1562937-1 is not prime. Res64: AC8118C03865D265 Time : 0.0 sec. user=mdettweiler [2020-07-10 08:34:15] 603*2^1562938-1 is not prime. Res64: 4462C298CF7F35B6 Time : 0.0 sec. user=mdettweiler [2020-07-10 08:34:16] 731*2^1562938-1 is not prime. Res64: 84C3E3AB66662E9D Time : 0.0 sec. user=mdettweiler [2020-07-10 08:34:16] 777*2^1562938-1 is not prime. Res64: 5737DC5CF774CBAC Time : 0.0 sec. user=mdettweiler [2020-07-10 08:50:22] 791*2^1562938-1 is not prime. Res64: 8E3DCE7974605768 Time : 0.0 sec. user=mdettweiler [2020-07-10 08:50:22] 801*2^1562938-1 is not prime. Res64: C02163D5BAD2B37B Time : 0.0 sec. user=mdettweiler [2020-07-10 08:50:22] 843*2^1562938-1 is not prime. Res64: AAFCF5306F4731DF Time : 0.0 sec. user=mdettweiler [2020-07-10 08:50:22] 951*2^1562938-1 is not prime. Res64: 4DE98E51C01F02E7 Time : 0.0 sec. user=mdettweiler [2020-07-10 08:50:22] 883*2^1562939-1 is not prime. Res64: C6B3153EBB401F89 Time : 0.0 sec. user=mdettweiler [2020-07-10 09:24:01] 885*2^1562939-1 is not prime. Res64: C3C46BD6D2DE4B24 Time : 0.0 sec. user=mdettweiler [2020-07-10 09:24:02] 985*2^1562939-1 is not prime. Res64: F35F850D81F66619 Time : 0.0 sec. user=mdettweiler [2020-07-10 09:24:02] 653*2^1562940-1 is not prime. Res64: E867BF36D0CEA039 Time : 0.0 sec. user=mdettweiler [2020-07-10 09:24:02] 759*2^1562940-1 is not prime. Res64: 53E5BAB244387366 Time : 0.0 sec. user=mdettweiler [2020-07-10 09:24:03] 909*2^1562940-1 is not prime. Res64: 781A660F46F536EA Time : 0.0 sec. user=mdettweiler [2020-07-10 09:31:18] 923*2^1562940-1 is not prime. Res64: C29F916B78B1E10F Time : 0.0 sec. user=mdettweiler [2020-07-10 09:31:18] 929*2^1562940-1 is not prime. Res64: 4C779B0E9288F68E Time : 0.0 sec. user=mdettweiler [2020-07-10 09:31:19] 933*2^1562940-1 is not prime. Res64: AC792AC18F2E3A75 Time : 0.0 sec. user=mdettweiler [2020-07-10 09:31:19] 957*2^1562940-1 is not prime. Res64: ADAFF69A1A2BD295 Time : 0.0 sec. user=mdettweiler [2020-07-10 09:31:19] 619*2^1562941-1 is not prime. Res64: 55EBF3DACCC8448B Time : 0.0 sec. user=mdettweiler [2020-07-10 09:45:30] 687*2^1562941-1 is not prime. Res64: 7025F4EF29C206E6 Time : 0.0 sec. user=mdettweiler [2020-07-10 09:45:31] 741*2^1562941-1 is not prime. Res64: CBF3D8EC331FC2CD Time : 0.0 sec. user=mdettweiler [2020-07-10 09:45:31] 771*2^1562941-1 is not prime. Res64: 49B04CCEECDE895D Time : 0.0 sec. user=mdettweiler [2020-07-10 09:45:31] 819*2^1562941-1 is not prime. Res64: 8C5DA3DFCC95A8F9 Time : 0.0 sec. user=mdettweiler [2020-07-10 09:45:31] 835*2^1562941-1 is not prime. Res64: 0530680657E9F4FC Time : 0.0 sec. user=mdettweiler [2020-07-10 10:22:28] 847*2^1562941-1 is not prime. Res64: 33A5D87D81C4E2C5 Time : 0.0 sec. user=mdettweiler [2020-07-10 10:22:29] 861*2^1562941-1 is not prime. Res64: 990F1B221AEB7516 Time : 0.0 sec. user=mdettweiler [2020-07-10 10:22:29] 827*2^1562942-1 is not prime. Res64: D7CD552EDA6F1D50 Time : 0.0 sec. user=mdettweiler [2020-07-10 10:22:29] 873*2^1562942-1 is not prime. Res64: 5044F339EA6D3C16 Time : 0.0 sec. user=mdettweiler [2020-07-10 10:22:29] 875*2^1562942-1 is not prime. Res64: F6A2B2C77C822A45 Time : 0.0 sec. user=mdettweiler [2020-07-10 10:29:40] 885*2^1562942-1 is not prime. Res64: F5323867C8974A48 Time : 0.0 sec. user=mdettweiler [2020-07-10 10:29:40] 897*2^1562942-1 is not prime. Res64: 572ABEF8415CB81F Time : 0.0 sec. user=mdettweiler [2020-07-10 10:29:40] 945*2^1562942-1 is not prime. Res64: 04C61656FDA93C00 Time : 0.0 sec. user=mdettweiler [2020-07-10 10:29:41] 965*2^1562942-1 is not prime. Res64: E2DFC576A6FC5D25 Time : 0.0 sec. user=mdettweiler [2020-07-10 10:29:41] 981*2^1562942-1 is not prime. Res64: E5C795ADF2179586 Time : 0.0 sec. user=mdettweiler [2020-07-10 10:40:18] 613*2^1562943-1 is not prime. Res64: 7FFFE20C90145DE6 Time : 0.0 sec. user=mdettweiler [2020-07-10 10:40:19] 669*2^1562943-1 is not prime. Res64: F1C8AB2B4D962FCE Time : 0.0 sec. user=mdettweiler [2020-07-10 10:40:19] 769*2^1562943-1 is not prime. Res64: B3F156E588A818F4 Time : 0.0 sec. user=mdettweiler [2020-07-10 10:40:19] 805*2^1562943-1 is not prime. Res64: 9323FC55EC4DCC6E Time : 0.0 sec. user=mdettweiler [2020-07-10 10:40:19] 861*2^1562943-1 is not prime. Res64: 6CBC225AC3128683 Time : 0.0 sec. user=mdettweiler [2020-07-10 11:18:50] 873*2^1562943-1 is not prime. Res64: 871E4F8F135A9878 Time : 0.0 sec. user=mdettweiler [2020-07-10 11:18:51] 921*2^1562943-1 is not prime. Res64: 581F3ADDCE3AAC23 Time : 0.0 sec. user=mdettweiler [2020-07-10 11:18:51] 955*2^1562943-1 is not prime. Res64: 29FFEC28A46B6BE5 Time : 0.0 sec. user=mdettweiler [2020-07-10 11:18:52] 723*2^1562944-1 is not prime. Res64: A598FE060AF989EA Time : 0.0 sec. user=mdettweiler [2020-07-10 11:18:52] 743*2^1562944-1 is not prime. Res64: 2E6A8E94E0EDEFD5 Time : 0.0 sec. user=mdettweiler [2020-07-10 11:25:43] 869*2^1562944-1 is not prime. Res64: 13D4529DF88135AC Time : 0.0 sec. user=mdettweiler [2020-07-10 11:25:44] 995*2^1562944-1 is not prime. Res64: 025DCEE0FB201235 Time : 0.0 sec. user=mdettweiler [2020-07-10 11:25:44] 759*2^1562945-1 is not prime. Res64: 8215040307FEFDB0 Time : 0.0 sec. user=mdettweiler [2020-07-10 11:25:44] 979*2^1562945-1 is not prime. Res64: 00F6449157E53A54 Time : 0.0 sec. user=mdettweiler [2020-07-10 11:25:44] 647*2^1562946-1 is not prime. Res64: 5851B5C24B6670B1 Time : 0.0 sec. user=mdettweiler [2020-07-10 11:35:33] 711*2^1562946-1 is not prime. Res64: 839B791638D51889 Time : 0.0 sec. user=mdettweiler [2020-07-10 11:35:33] 725*2^1562946-1 is not prime. Res64: 5857DD27E034456B Time : 0.0 sec. user=mdettweiler [2020-07-10 11:35:33] 747*2^1562946-1 is not prime. Res64: 6B8605375A83445B Time : 0.0 sec. user=mdettweiler [2020-07-10 11:35:33] 933*2^1562946-1 is not prime. Res64: F5779C61007FC78F Time : 0.0 sec. user=mdettweiler [2020-07-10 11:35:34] 975*2^1562946-1 is not prime. Res64: 6774042EA053C63B Time : 0.0 sec. user=mdettweiler [2020-07-10 12:14:14] 1001*2^1562946-1 is not prime. Res64: CB6DC9B1F64F593B Time : 0.0 sec. user=mdettweiler [2020-07-10 12:14:14] 645*2^1562947-1 is not prime. Res64: 1DD000C8B5B35150 Time : 0.0 sec. user=mdettweiler [2020-07-10 12:14:14] 741*2^1562947-1 is not prime. Res64: 82597CDB5B2BF161 Time : 0.0 sec. user=mdettweiler [2020-07-10 12:14:15] 759*2^1562947-1 is not prime. Res64: D7ADB4688FFE57E3 Time : 0.0 sec. user=mdettweiler [2020-07-10 12:14:15] 829*2^1562947-1 is not prime. Res64: 810143708876049F Time : 0.0 sec. user=mdettweiler [2020-07-10 12:24:41] 883*2^1562947-1 is not prime. Res64: 8BD1A9C1591513EE Time : 0.0 sec. user=mdettweiler [2020-07-10 12:24:41] 891*2^1562947-1 is not prime. Res64: 2750CE8B2A4358EB Time : 0.0 sec. user=mdettweiler [2020-07-10 12:24:41] 951*2^1562947-1 is not prime. Res64: 22CC3533BCCF59F3 Time : 0.0 sec. user=mdettweiler [2020-07-10 12:24:42] 961*2^1562947-1 is not prime. Res64: 24231A1C2ECE7DD5 Time : 0.0 sec. user=mdettweiler [2020-07-10 12:24:42] 973*2^1562947-1 is not prime. Res64: 9F028754384D4109 Time : 0.0 sec. user=mdettweiler [2020-07-10 12:28:52] 665*2^1562948-1 is not prime. Res64: 9F7C479C09631EAF Time : 0.0 sec. user=mdettweiler [2020-07-10 12:28:53] 725*2^1562948-1 is not prime. Res64: AB9821E799FA2C38 Time : 0.0 sec. user=mdettweiler [2020-07-10 12:28:53] 735*2^1562948-1 is not prime. Res64: E918C49719C9A454 Time : 0.0 sec. user=mdettweiler [2020-07-10 12:28:53] 743*2^1562948-1 is not prime. Res64: B3130E4012C1BE47 Time : 0.0 sec. user=mdettweiler [2020-07-10 12:28:53] 753*2^1562948-1 is not prime. Res64: 55969F14EE303880 Time : 0.0 sec. user=mdettweiler [2020-07-10 13:13:33] 813*2^1562948-1 is not prime. Res64: A4F6F503EFEF30E9 Time : 0.0 sec. user=mdettweiler [2020-07-10 13:13:34] 837*2^1562948-1 is not prime. Res64: DA59829F3BA91A59 Time : 0.0 sec. user=mdettweiler [2020-07-10 13:13:34] 869*2^1562948-1 is not prime. Res64: 6829F50FCA4FCE48 Time : 0.0 sec. user=mdettweiler [2020-07-10 13:13:34] 915*2^1562948-1 is not prime. Res64: 2D7CF8EBAABA1228 Time : 0.0 sec. user=mdettweiler [2020-07-10 13:13:35] 987*2^1562948-1 is not prime. Res64: 1B8D8B56975500ED Time : 0.0 sec. user=mdettweiler [2020-07-10 13:19:56] 609*2^1562949-1 is not prime. Res64: 81B901931B174D98 Time : 0.0 sec. user=mdettweiler [2020-07-10 13:19:57] 669*2^1562949-1 is not prime. Res64: 62C24B09005AC334 Time : 0.0 sec. user=mdettweiler [2020-07-10 13:19:57] 675*2^1562949-1 is not prime. Res64: 41983C30CDC437E7 Time : 0.0 sec. user=mdettweiler [2020-07-10 13:19:57] 847*2^1562949-1 is not prime. Res64: 2315BE1D06E3AD7A Time : 0.0 sec. user=mdettweiler [2020-07-10 13:19:57] 861*2^1562949-1 is not prime. Res64: 2CDEE08BB31943A5 Time : 0.0 sec. user=mdettweiler [2020-07-10 13:25:52] 895*2^1562949-1 is not prime. Res64: E288D258A8D287B7 Time : 0.0 sec. user=mdettweiler [2020-07-10 13:25:52] 951*2^1562949-1 is not prime. Res64: 9BD73A9C30A9DDDC Time : 0.0 sec. user=mdettweiler [2020-07-10 13:25:52] 991*2^1562949-1 is not prime. Res64: 953247397DBA1CED Time : 0.0 sec. user=mdettweiler [2020-07-10 13:25:52] 677*2^1562950-1 is not prime. Res64: B8EDE1D5A97795C0 Time : 0.0 sec. user=mdettweiler [2020-07-10 13:25:53] 747*2^1562950-1 is not prime. Res64: A99BF33FA53F41B9 Time : 0.0 sec. user=mdettweiler [2020-07-10 14:08:55] 765*2^1562950-1 is not prime. Res64: D7A7B442F15FD282 Time : 0.0 sec. user=mdettweiler [2020-07-10 14:08:55] 783*2^1562950-1 is not prime. Res64: D42E9548ACA75CC7 Time : 0.0 sec. user=mdettweiler [2020-07-10 14:08:55] 791*2^1562950-1 is not prime. Res64: DD44F6D1F9688385 Time : 0.0 sec. user=mdettweiler [2020-07-10 14:08:56] 885*2^1562950-1 is not prime. Res64: 7EB74FAF1403A680 Time : 0.0 sec. user=mdettweiler [2020-07-10 14:08:56] 945*2^1562950-1 is not prime. Res64: 51C77148EB7C5B3D Time : 0.0 sec. user=mdettweiler [2020-07-10 14:15:55] 669*2^1562951-1 is not prime. Res64: 165755962B14CAE6 Time : 0.0 sec. user=mdettweiler [2020-07-10 14:15:55] 745*2^1562951-1 is not prime. Res64: 00169878C91C6452 Time : 0.0 sec. user=mdettweiler [2020-07-10 14:15:55] 811*2^1562951-1 is not prime. Res64: CB061A91016FD248 Time : 0.0 sec. user=mdettweiler [2020-07-10 14:15:56] 909*2^1562951-1 is not prime. Res64: EEE6A95CC3F7185C Time : 0.0 sec. user=mdettweiler [2020-07-10 14:15:56] 939*2^1562951-1 is not prime. Res64: 8B350472D9CF9E7A Time : 0.0 sec. user=mdettweiler [2020-07-10 14:21:04] 689*2^1562952-1 is not prime. Res64: 04B32E3EE0D78708 Time : 0.0 sec. user=mdettweiler [2020-07-10 14:21:04] 723*2^1562952-1 is not prime. Res64: 7ED9AAC27EDA15DE Time : 0.0 sec. user=mdettweiler [2020-07-10 14:21:04] 737*2^1562952-1 is not prime. Res64: A914E20F6997D8AC Time : 0.0 sec. user=mdettweiler [2020-07-10 14:21:05] 873*2^1562952-1 is not prime. Res64: 73B353573163414F Time : 0.0 sec. user=mdettweiler [2020-07-10 14:21:05] 933*2^1562952-1 is not prime. Res64: 6420A909C2A858A4 Time : 0.0 sec. user=mdettweiler [2020-07-10 15:02:52] 999*2^1562952-1 is not prime. Res64: 776E5E1286A59EE2 Time : 0.0 sec. user=mdettweiler [2020-07-10 15:02:53] 607*2^1562953-1 is not prime. Res64: B1ACBEE00E5AF32A Time : 0.0 sec. user=mdettweiler [2020-07-10 15:02:53] 675*2^1562953-1 is not prime. Res64: ABD89155376C1F21 Time : 0.0 sec. user=mdettweiler [2020-07-10 15:02:54] 747*2^1562953-1 is not prime. Res64: 598309125A89539D Time : 0.0 sec. user=mdettweiler [2020-07-10 15:02:54] 789*2^1562953-1 is not prime. Res64: E379BF6C87EE6743 Time : 0.0 sec. user=mdettweiler [2020-07-10 15:13:04] 831*2^1562953-1 is not prime. Res64: 2845C29A5D217756 Time : 0.0 sec. user=mdettweiler [2020-07-10 15:13:05] 847*2^1562953-1 is not prime. Res64: 9E08694E0A13B90D Time : 0.0 sec. user=mdettweiler [2020-07-10 15:13:06] 889*2^1562953-1 is not prime. Res64: 736C18096B7FAC02 Time : 0.0 sec. user=mdettweiler [2020-07-10 15:13:06] 915*2^1562953-1 is not prime. Res64: CD04FF79332CCC3F Time : 0.0 sec. user=mdettweiler [2020-07-10 15:13:06] 671*2^1562954-1 is not prime. Res64: 08AEF1C46C5C7445 Time : 0.0 sec. user=mdettweiler [2020-07-10 15:16:45] 815*2^1562954-1 is not prime. Res64: 3A7FD7184735F1A2 Time : 0.0 sec. user=mdettweiler [2020-07-10 15:16:45] 981*2^1562954-1 is not prime. Res64: F441FDCFA6C70538 Time : 0.0 sec. user=mdettweiler [2020-07-10 15:16:45] 609*2^1562955-1 is not prime. Res64: 1BD016B9009784E1 Time : 0.0 sec. user=mdettweiler [2020-07-10 15:16:45] 613*2^1562955-1 is not prime. Res64: 734D610F6A73F23C Time : 0.0 sec. user=mdettweiler [2020-07-10 15:16:46] 909*2^1562955-1 is not prime. Res64: D2B787E792F63E1D Time : 0.0 sec. user=mdettweiler [2020-07-10 15:57:10] 647*2^1562956-1 is not prime. Res64: C23D0FBEDD83508B Time : 0.0 sec. user=mdettweiler [2020-07-10 15:57:11] 689*2^1562956-1 is not prime. Res64: 982E0E754E264B74 Time : 0.0 sec. user=mdettweiler [2020-07-10 15:57:11] 719*2^1562956-1 is not prime. Res64: 2D3422C939F9A112 Time : 0.0 sec. user=mdettweiler [2020-07-10 15:57:11] 777*2^1562956-1 is not prime. Res64: 83740E96FF6110B9 Time : 0.0 sec. user=mdettweiler [2020-07-10 15:57:11] 843*2^1562956-1 is not prime. Res64: EBA39AF999BB2665 Time : 0.0 sec. user=mdettweiler [2020-07-10 16:10:08] 699*2^1562957-1 is not prime. Res64: C5B814B74A2DABF6 Time : 0.0 sec. user=mdettweiler [2020-07-10 16:10:09] 729*2^1562957-1 is not prime. Res64: 1C880662132C6A87 Time : 0.0 sec. user=mdettweiler [2020-07-10 16:10:09] 735*2^1562957-1 is not prime. Res64: 7845853843E9BA7C Time : 0.0 sec. user=mdettweiler [2020-07-10 16:10:09] 747*2^1562957-1 is not prime. Res64: F28567FE0CF3056F Time : 0.0 sec. user=mdettweiler [2020-07-10 16:10:09] 769*2^1562957-1 is not prime. Res64: 485173B246A5F738 Time : 0.0 sec. user=mdettweiler [2020-07-10 16:10:34] 923*2^1562956-1 is not prime. Res64: A44BAD25823B1D4B Time : 0.0 sec. user=mdettweiler [2020-07-10 16:10:35] 927*2^1562956-1 is not prime. Res64: D78F777B146BCABF Time : 0.0 sec. user=mdettweiler [2020-07-10 16:10:35] 957*2^1562956-1 is not prime. Res64: F89C848F01BF0AAA Time : 0.0 sec. user=mdettweiler [2020-07-10 16:10:35] 999*2^1562956-1 is not prime. Res64: 49D08D5C4445B531 Time : 0.0 sec. user=mdettweiler [2020-07-10 16:10:35] 655*2^1562957-1 is not prime. Res64: EFCAD8C0DE36CE06 Time : 0.0 sec. user=mdettweiler [2020-07-10 16:52:11] 777*2^1562957-1 is not prime. Res64: B403E31F3BFAFBB0 Time : 0.0 sec. user=mdettweiler [2020-07-10 16:52:11] 915*2^1562957-1 is not prime. Res64: D70819C946E0E2DC Time : 0.0 sec. user=mdettweiler [2020-07-10 16:52:11] 957*2^1562957-1 is not prime. Res64: 85AF8C792C50FD24 Time : 0.0 sec. user=mdettweiler [2020-07-10 16:52:12] 621*2^1562958-1 is not prime. Res64: 2FEE102611ADCCA4 Time : 0.0 sec. user=mdettweiler [2020-07-10 16:52:12] 705*2^1562958-1 is not prime. Res64: 29996F96CB3A3B14 Time : 0.0 sec. user=mdettweiler [2020-07-10 17:06:20] 815*2^1562958-1 is not prime. Res64: F1764BB20BD66E08 Time : 0.0 sec. user=mdettweiler [2020-07-10 17:06:21] 867*2^1562958-1 is not prime. Res64: 5817D7DDCE79D0EB Time : 0.0 sec. user=mdettweiler [2020-07-10 17:06:21] 971*2^1562958-1 is not prime. Res64: D5A32C29D586C52C Time : 0.0 sec. user=mdettweiler [2020-07-10 17:06:22] 679*2^1562959-1 is not prime. Res64: D0E2FC2A5356ADA9 Time : 0.0 sec. user=mdettweiler [2020-07-10 17:06:23] 705*2^1562959-1 is not prime. Res64: F70B89B5834DF94A Time : 0.0 sec. user=mdettweiler [2020-07-10 17:07:47] 831*2^1562959-1 is not prime. Res64: 9B9E22AA58926D40 Time : 0.0 sec. user=mdettweiler [2020-07-10 17:07:47] 889*2^1562959-1 is not prime. Res64: 68066BA6F676B5BD Time : 0.0 sec. user=mdettweiler [2020-07-10 17:07:48] 919*2^1562959-1 is not prime. Res64: 236F56FF24FC97F9 Time : 0.0 sec. user=mdettweiler [2020-07-10 17:07:48] 931*2^1562959-1 is not prime. Res64: D09244C635114A40 Time : 0.0 sec. user=mdettweiler [2020-07-10 17:07:48] 753*2^1562960-1 is not prime. Res64: 24C02AF2BE948040 Time : 0.0 sec. user=mdettweiler [2020-07-10 17:49:25] 789*2^1562960-1 is not prime. Res64: 864B37435F480B60 Time : 0.0 sec. user=mdettweiler [2020-07-10 17:49:25] 843*2^1562960-1 is not prime. Res64: 87212AEC783F3B90 Time : 0.0 sec. user=mdettweiler [2020-07-10 17:49:25] 857*2^1562960-1 is not prime. Res64: 3B9E93B5C20C4823 Time : 0.0 sec. user=mdettweiler [2020-07-10 17:49:25] 935*2^1562960-1 is not prime. Res64: ADACDF0082473104 Time : 0.0 sec. user=mdettweiler [2020-07-10 17:49:26] 959*2^1562960-1 is not prime. Res64: D597B48AA48BEE23 Time : 0.0 sec. user=mdettweiler [2020-07-10 18:00:36] 679*2^1562961-1 is not prime. Res64: 160EB4B415D07F44 Time : 0.0 sec. user=mdettweiler [2020-07-10 18:00:37] 691*2^1562961-1 is not prime. Res64: F5B0DB3C0C9033AF Time : 0.0 sec. user=mdettweiler [2020-07-10 18:00:38] 739*2^1562961-1 is not prime. Res64: 7E7D1F9C5B3EF725 Time : 0.0 sec. user=mdettweiler [2020-07-10 18:00:38] 777*2^1562961-1 is not prime. Res64: 547BAA03C41261BE Time : 0.0 sec. user=mdettweiler [2020-07-10 18:00:38] 907*2^1562961-1 is not prime. Res64: E3DE3405CB33E362 Time : 0.0 sec. user=mdettweiler [2020-07-10 18:02:33] 975*2^1562961-1 is not prime. Res64: F6B208AAD427B57D Time : 0.0 sec. user=mdettweiler [2020-07-10 18:02:35] 997*2^1562961-1 is not prime. Res64: C6B0AD8FAF6BF3AA Time : 0.0 sec. user=mdettweiler [2020-07-10 18:02:36] 651*2^1562962-1 is not prime. Res64: 76443541A08B05EF Time : 0.0 sec. user=mdettweiler [2020-07-10 18:02:37] 765*2^1562962-1 is not prime. Res64: DBA12EB366FB1146 Time : 0.0 sec. user=mdettweiler [2020-07-10 18:02:38] 801*2^1562962-1 is not prime. Res64: 8D8058EABFADE849 Time : 0.0 sec. user=mdettweiler [2020-07-10 18:46:36] 827*2^1562962-1 is not prime. Res64: DC1F82E70440415F Time : 0.0 sec. user=mdettweiler [2020-07-10 18:46:36] 945*2^1562962-1 is not prime. Res64: B511AED8D572917E Time : 0.0 sec. user=mdettweiler [2020-07-10 18:46:37] 619*2^1562963-1 is not prime. Res64: 5F94B240C26212E1 Time : 0.0 sec. user=mdettweiler [2020-07-10 18:46:37] 811*2^1562963-1 is not prime. Res64: CCB0D48B17F58016 Time : 0.0 sec. user=mdettweiler [2020-07-10 18:46:37] 853*2^1562963-1 is not prime. Res64: 85677999FCAB3D9E Time : 0.0 sec. user=mdettweiler [2020-07-10 18:55:52] 969*2^1562963-1 is not prime. Res64: 93DD2A75A02F628C Time : 0.0 sec. user=mdettweiler [2020-07-10 18:55:52] 725*2^1562964-1 is not prime. Res64: 3CC54B3B4DB9A829 Time : 0.0 sec. user=mdettweiler [2020-07-10 18:55:52] 737*2^1562964-1 is not prime. Res64: FD4E1DD3E9A673EE Time : 0.0 sec. user=mdettweiler [2020-07-10 18:55:53] 765*2^1562964-1 is not prime. Res64: B076206E303A3C27 Time : 0.0 sec. user=mdettweiler [2020-07-10 18:55:53] 843*2^1562964-1 is not prime. Res64: 5446367D045B9207 Time : 0.0 sec. user=mdettweiler [2020-07-10 18:57:59] 857*2^1562964-1 is not prime. Res64: CBE19CFFDAD500FF Time : 0.0 sec. user=mdettweiler [2020-07-10 18:58:00] 649*2^1562965-1 is not prime. Res64: C374BABC21E4AC27 Time : 0.0 sec. user=mdettweiler [2020-07-10 18:58:00] 741*2^1562965-1 is not prime. Res64: 03FC6D074F9954E9 Time : 0.0 sec. user=mdettweiler [2020-07-10 18:58:00] 765*2^1562965-1 is not prime. Res64: FC6A7ADE9140D6CF Time : 0.0 sec. user=mdettweiler [2020-07-10 18:58:00] 855*2^1562965-1 is not prime. Res64: CA866AB3B7D3915D Time : 0.0 sec. user=mdettweiler [2020-07-10 19:43:55] 885*2^1562965-1 is not prime. Res64: 4B76991DEBDFE837 Time : 0.0 sec. user=mdettweiler [2020-07-10 19:43:56] 979*2^1562965-1 is not prime. Res64: C3F095B83663ACDA Time : 0.0 sec. user=mdettweiler [2020-07-10 19:43:56] 675*2^1562966-1 is not prime. Res64: 0770BF2EAD3E2A1E Time : 0.0 sec. user=mdettweiler [2020-07-10 19:43:56] 867*2^1562966-1 is not prime. Res64: EDBAED5E821C054C Time : 0.0 sec. user=mdettweiler [2020-07-10 19:43:56] 911*2^1562966-1 is not prime. Res64: 3913C1558A2EB87B Time : 0.0 sec. user=mdettweiler [2020-07-10 19:52:46] 945*2^1562966-1 is not prime. Res64: 5BF228670689C751 Time : 0.0 sec. user=mdettweiler [2020-07-10 19:52:46] 965*2^1562966-1 is not prime. Res64: 4F92C1B195085752 Time : 0.0 sec. user=mdettweiler [2020-07-10 19:52:47] 633*2^1562967-1 is not prime. Res64: 66F5168901E4F692 Time : 0.0 sec. user=mdettweiler [2020-07-10 19:52:47] 885*2^1562967-1 is not prime. Res64: 563E39C45350559D Time : 0.0 sec. user=mdettweiler [2020-07-10 19:52:47] 891*2^1562967-1 is not prime. Res64: 81E3CF744C1FD89A Time : 0.0 sec. user=mdettweiler [2020-07-10 19:56:17] 901*2^1562967-1 is not prime. Res64: 9A1A8CFC82551D48 Time : 0.0 sec. user=mdettweiler [2020-07-10 19:56:18] 951*2^1562967-1 is not prime. Res64: 0E32FC531E6A91ED Time : 0.0 sec. user=mdettweiler [2020-07-10 19:56:18] 961*2^1562967-1 is not prime. Res64: EA24A5B0B350144B Time : 0.0 sec. user=mdettweiler [2020-07-10 19:56:18] 905*2^1562968-1 is not prime. Res64: 22BC0AD85676A7E1 Time : 0.0 sec. user=mdettweiler [2020-07-10 19:56:18] 975*2^1562968-1 is not prime. Res64: 74A744CA79BE51FA Time : 0.0 sec. user=mdettweiler [2020-07-10 20:37:56] 699*2^1562969-1 is not prime. Res64: 28AF17625FB5E8B5 Time : 0.0 sec. user=mdettweiler [2020-07-10 20:37:56] 775*2^1562969-1 is not prime. Res64: 874ADAC2A1C3071C Time : 0.0 sec. user=mdettweiler [2020-07-10 20:37:56] 787*2^1562969-1 is not prime. Res64: E199D1F15F66D505 Time : 0.0 sec. user=mdettweiler [2020-07-10 20:37:56] 795*2^1562969-1 is not prime. Res64: ECC8A015D18B4122 Time : 0.0 sec. user=mdettweiler [2020-07-10 20:37:57] 841*2^1562969-1 is not prime. Res64: CAC49B7B044E4B58 Time : 0.0 sec. user=mdettweiler [2020-07-10 20:46:28] 885*2^1562969-1 is not prime. Res64: FFC26C6601B75A75 Time : 0.0 sec. user=mdettweiler [2020-07-10 20:46:28] 647*2^1562970-1 is not prime. Res64: 3BE1A6F4F6A7B446 Time : 0.0 sec. user=mdettweiler [2020-07-10 20:46:28] 717*2^1562970-1 is not prime. Res64: 15AAD0408011B147 Time : 0.0 sec. user=mdettweiler [2020-07-10 20:46:28] 723*2^1562970-1 is not prime. Res64: 5EA03A3D82A50EF5 Time : 0.0 sec. user=mdettweiler [2020-07-10 20:46:29] 791*2^1562970-1 is not prime. Res64: E9DE03F1D843D83C Time : 0.0 sec. user=mdettweiler [2020-07-10 20:51:04] 875*2^1562970-1 is not prime. Res64: C05BCB3B7286693A Time : 0.0 sec. user=mdettweiler [2020-07-10 20:51:04] 891*2^1562970-1 is not prime. Res64: A570C6112536B623 Time : 0.0 sec. user=mdettweiler [2020-07-10 20:51:05] 651*2^1562971-1 is not prime. Res64: 11359508C6843DD1 Time : 0.0 sec. user=mdettweiler [2020-07-10 20:51:05] 679*2^1562971-1 is not prime. Res64: 488BBB2659E72F8F Time : 0.0 sec. user=mdettweiler [2020-07-10 20:51:05] 709*2^1562971-1 is not prime. Res64: 388DDB2996465272 Time : 0.0 sec. user=mdettweiler [2020-07-10 21:33:01] 801*2^1562971-1 is not prime. Res64: 38ED0E8C033C4474 Time : 0.0 sec. user=mdettweiler [2020-07-10 21:33:01] 813*2^1562971-1 is not prime. Res64: D5351A0687FDE542 Time : 0.0 sec. user=mdettweiler [2020-07-10 21:33:01] 999*2^1562971-1 is not prime. Res64: 6FD4DB2FDB94B993 Time : 0.0 sec. user=mdettweiler [2020-07-10 21:33:02] 725*2^1562972-1 is not prime. Res64: 47F6A324DC2CCA5A Time : 0.0 sec. user=mdettweiler [2020-07-10 21:33:02] 753*2^1562972-1 is not prime. Res64: 547AAD4974633B0A Time : 0.0 sec. user=mdettweiler [2020-07-10 21:42:19] 855*2^1562972-1 is not prime. Res64: 140EDB86840CCAB5 Time : 0.0 sec. user=mdettweiler [2020-07-10 21:42:19] 957*2^1562972-1 is not prime. Res64: 340F3E771BF3985D Time : 0.0 sec. user=mdettweiler [2020-07-10 21:42:20] 627*2^1562973-1 is not prime. Res64: 550887671B443949 Time : 0.0 sec. user=mdettweiler [2020-07-10 21:42:20] 721*2^1562973-1 is not prime. Res64: 6C85DCDC5E41D1BF Time : 0.0 sec. user=mdettweiler [2020-07-10 21:42:20] 837*2^1562973-1 is not prime. Res64: 72C122241043F524 Time : 0.0 sec. user=mdettweiler [2020-07-10 21:44:45] 985*2^1562973-1 is not prime. Res64: AC3E547E95224F00 Time : 0.0 sec. user=mdettweiler [2020-07-10 21:44:45] 657*2^1562974-1 is not prime. Res64: 1C154EEC3A9AA565 Time : 0.0 sec. user=mdettweiler [2020-07-10 21:44:46] 675*2^1562974-1 is not prime. Res64: C6EB850FF807A1E7 Time : 0.0 sec. user=mdettweiler [2020-07-10 21:44:46] 681*2^1562974-1 is not prime. Res64: 1C745A0C4C567FBD Time : 0.0 sec. user=mdettweiler [2020-07-10 21:44:46] 687*2^1562974-1 is not prime. Res64: 30AB703A2033FF67 Time : 0.0 sec. user=mdettweiler [2020-07-10 22:28:06] 723*2^1562974-1 is not prime. Res64: 0096F0E7ABA0460B Time : 0.0 sec. user=mdettweiler [2020-07-10 22:28:06] 731*2^1562974-1 is not prime. Res64: B3DB418288D39EBD Time : 0.0 sec. user=mdettweiler [2020-07-10 22:28:07] 747*2^1562974-1 is not prime. Res64: F10DC25677CCE908 Time : 0.0 sec. user=mdettweiler [2020-07-10 22:28:07] 887*2^1562974-1 is not prime. Res64: 4B67A323F0C878EA Time : 0.0 sec. user=mdettweiler [2020-07-10 22:28:07] 987*2^1562974-1 is not prime. Res64: 7FF06D5981B91523 Time : 0.0 sec. user=mdettweiler [2020-07-10 22:36:48] 1001*2^1562974-1 is not prime. Res64: 4DCA4E2D6800A7D9 Time : 0.0 sec. user=mdettweiler [2020-07-10 22:36:48] 601*2^1562975-1 is not prime. Res64: 0C5738A4BD88172A Time : 0.0 sec. user=mdettweiler [2020-07-10 22:36:49] 655*2^1562975-1 is not prime. Res64: 3F3B9EAA166FF17A Time : 0.0 sec. user=mdettweiler [2020-07-10 22:36:49] 771*2^1562975-1 is not prime. Res64: 1108DA0CAEA75F4B Time : 0.0 sec. user=mdettweiler [2020-07-10 22:36:49] 823*2^1562975-1 is not prime. Res64: 9BC73AD96F93CFAC Time : 0.0 sec. user=mdettweiler [2020-07-10 22:39:33] 915*2^1562975-1 is not prime. Res64: D04913569CA6DFD3 Time : 0.0 sec. user=mdettweiler [2020-07-10 22:39:33] 939*2^1562975-1 is not prime. Res64: CB4ACFD305790B5F Time : 0.0 sec. user=mdettweiler [2020-07-10 22:39:33] 615*2^1562976-1 is not prime. Res64: 64EC41289473B11C Time : 0.0 sec. user=mdettweiler [2020-07-10 22:39:33] 693*2^1562976-1 is not prime. Res64: F7127E88A1C1BCEF Time : 0.0 sec. user=mdettweiler [2020-07-10 22:39:33] 707*2^1562976-1 is not prime. Res64: 835C77A70E067A6A Time : 0.0 sec. user=mdettweiler [2020-07-10 23:25:26] 725*2^1562976-1 is not prime. Res64: C48910A7670E79DD Time : 0.0 sec. user=mdettweiler [2020-07-10 23:25:26] 843*2^1562976-1 is not prime. Res64: 088283ED83C36CF0 Time : 0.0 sec. user=mdettweiler [2020-07-10 23:25:27] 849*2^1562976-1 is not prime. Res64: 16FACF898727EBF7 Time : 0.0 sec. user=mdettweiler [2020-07-10 23:25:27] 841*2^1562977-1 is not prime. Res64: A7ED231AC0F5C5E4 Time : 0.0 sec. user=mdettweiler [2020-07-10 23:25:27] 945*2^1562977-1 is not prime. Res64: A95B58823F5C73F9 Time : 0.0 sec. user=mdettweiler [2020-07-10 23:34:00] 987*2^1562978-1 is not prime. Res64: B20C8F33037FA158 Time : 0.0 sec. user=mdettweiler [2020-07-10 23:34:01] 1001*2^1562978-1 is not prime. Res64: EB1741A47BE03F96 Time : 0.0 sec. user=mdettweiler [2020-07-10 23:34:01] 619*2^1562979-1 is not prime. Res64: 41029E2B0E2AD1AF Time : 0.0 sec. user=mdettweiler [2020-07-10 23:34:01] 663*2^1562979-1 is not prime. Res64: 2B5D60D8783D4528 Time : 0.0 sec. user=mdettweiler [2020-07-10 23:34:01] 675*2^1562979-1 is not prime. Res64: F8561D273E391B33 Time : 0.0 sec. user=mdettweiler [2020-07-10 23:34:02] 999*2^1562977-1 is not prime. Res64: 3527FE8D1E190731 Time : 0.0 sec. user=mdettweiler [2020-07-10 23:34:02] 711*2^1562978-1 is not prime. Res64: 8FA2F56D01B4ACE8 Time : 0.0 sec. user=mdettweiler [2020-07-10 23:34:02] 837*2^1562978-1 is not prime. Res64: 35AD5FB71F6392E8 Time : 0.0 sec. user=mdettweiler [2020-07-10 23:34:02] 887*2^1562978-1 is not prime. Res64: B239915791661F9C Time : 0.0 sec. user=mdettweiler [2020-07-10 23:34:02] 951*2^1562978-1 is not prime. Res64: 6BB11883AA7BB489 Time : 0.0 sec.