user=mdettweiler [2020-04-25 00:09:57] 603*2^1558120-1 is not prime. Res64: EF3B88463CA67642 Time : 0.0 sec. user=mdettweiler [2020-04-25 00:09:58] 707*2^1558120-1 is not prime. Res64: 5EA34BA782E95869 Time : 0.0 sec. user=mdettweiler [2020-04-25 00:09:59] 755*2^1558120-1 is not prime. Res64: 3D7883E5DC4A1985 Time : 0.0 sec. user=mdettweiler [2020-04-25 00:10:00] 833*2^1558120-1 is not prime. Res64: FC56C4D9B03D37F2 Time : 0.0 sec. user=mdettweiler [2020-04-25 00:10:01] 857*2^1558120-1 is not prime. Res64: E7CFA21F445B1A21 Time : 0.0 sec. user=mdettweiler [2020-04-25 00:50:43] 909*2^1558120-1 is not prime. Res64: C9948DAC6BAAB2F0 Time : 0.0 sec. user=mdettweiler [2020-04-25 00:50:44] 915*2^1558120-1 is not prime. Res64: 3EFEE515A36A4A02 Time : 0.0 sec. user=mdettweiler [2020-04-25 00:50:44] 917*2^1558120-1 is not prime. Res64: A8878CA7ACBA7F7A Time : 0.0 sec. user=mdettweiler [2020-04-25 00:50:45] 927*2^1558120-1 is not prime. Res64: 59F854EBBECEC42C Time : 0.0 sec. user=mdettweiler [2020-04-25 00:50:45] 995*2^1558120-1 is not prime. Res64: 039410215BEE1004 Time : 0.0 sec. user=mdettweiler [2020-04-25 00:53:33] 601*2^1558121-1 is not prime. Res64: 5A0EAC5614CD181F Time : 0.0 sec. user=mdettweiler [2020-04-25 00:53:34] 861*2^1558121-1 is not prime. Res64: 7FE656833D0AD1A6 Time : 0.0 sec. user=mdettweiler [2020-04-25 00:53:34] 885*2^1558121-1 is not prime. Res64: 98A5EDC2730AC410 Time : 0.0 sec. user=mdettweiler [2020-04-25 00:53:35] 937*2^1558121-1 is not prime. Res64: C03DB12E025B2D7F Time : 0.0 sec. user=mdettweiler [2020-04-25 00:53:35] 615*2^1558122-1 is not prime. Res64: D86B2F4A6513FD97 Time : 0.0 sec. user=mdettweiler [2020-04-25 01:01:54] 651*2^1558122-1 is not prime. Res64: 2BF3E9D924C36744 Time : 0.0 sec. user=mdettweiler [2020-04-25 01:01:56] 717*2^1558122-1 is not prime. Res64: 7C85835C455E553A Time : 0.0 sec. user=mdettweiler [2020-04-25 01:01:57] 797*2^1558122-1 is not prime. Res64: DADA45CE03DF96E9 Time : 0.0 sec. user=mdettweiler [2020-04-25 01:01:59] 691*2^1558123-1 is not prime. Res64: E3F308CAF03FAAA1 Time : 0.0 sec. user=mdettweiler [2020-04-25 01:02:01] 629*2^1558124-1 is not prime. Res64: A65EABA2B036BC11 Time : 0.0 sec. user=mdettweiler [2020-04-25 01:43:34] 717*2^1558124-1 is not prime. Res64: 60B1FA474A99D256 Time : 0.0 sec. user=mdettweiler [2020-04-25 01:43:37] 759*2^1558124-1 is not prime. Res64: 2E5A1DD63558CDE3 Time : 0.0 sec. user=mdettweiler [2020-04-25 01:43:39] 767*2^1558124-1 is not prime. Res64: AF4E935A03C64D1A Time : 0.0 sec. user=mdettweiler [2020-04-25 01:43:42] 827*2^1558124-1 is not prime. Res64: 028ABD0659A4B84E Time : 0.0 sec. user=mdettweiler [2020-04-25 01:43:45] 833*2^1558124-1 is not prime. Res64: A3BC6974D74C92AC Time : 0.0 sec. user=mdettweiler [2020-04-25 01:49:54] 843*2^1558124-1 is not prime. Res64: 2450665AB2A87010 Time : 0.0 sec. user=mdettweiler [2020-04-25 01:49:56] 857*2^1558124-1 is not prime. Res64: 2CFE9B53C0AC362B Time : 0.0 sec. user=mdettweiler [2020-04-25 01:49:58] 903*2^1558124-1 is not prime. Res64: FB68F7D94249EC73 Time : 0.0 sec. user=mdettweiler [2020-04-25 01:49:59] 915*2^1558124-1 is not prime. Res64: DD1A8058A96CBE81 Time : 0.0 sec. user=mdettweiler [2020-04-25 01:50:01] 923*2^1558124-1 is not prime. Res64: 32E7D7CF148BC5FC Time : 0.0 sec. user=mdettweiler [2020-04-25 01:57:30] 927*2^1558124-1 is not prime. Res64: 11DD4D4EAFE0BF4A Time : 0.0 sec. user=mdettweiler [2020-04-25 01:57:31] 711*2^1558125-1 is not prime. Res64: 6E369173733E6FA1 Time : 0.0 sec. user=mdettweiler [2020-04-25 01:57:33] 805*2^1558125-1 is not prime. Res64: 4FF8601CB3041128 Time : 0.0 sec. user=mdettweiler [2020-04-25 01:57:33] 847*2^1558125-1 is not prime. Res64: AF3725B0437372E1 Time : 0.0 sec. user=mdettweiler [2020-04-25 01:57:34] 861*2^1558125-1 is not prime. Res64: 7B777FD21729AB73 Time : 0.0 sec. user=mdettweiler [2020-04-25 02:37:43] 919*2^1558125-1 is not prime. Res64: 30E9C62E6E3A317A Time : 0.0 sec. user=mdettweiler [2020-04-25 02:37:45] 623*2^1558126-1 is not prime. Res64: 98D2265941F6EA3B Time : 0.0 sec. user=mdettweiler [2020-04-25 02:37:47] 705*2^1558126-1 is not prime. Res64: 0426B232C7E0B4D4 Time : 0.0 sec. user=mdettweiler [2020-04-25 02:37:48] 723*2^1558126-1 is not prime. Res64: FF0F046A02DCCC21 Time : 0.0 sec. user=mdettweiler [2020-04-25 02:37:49] 755*2^1558126-1 is not prime. Res64: F4E8F09C8DD7EAA2 Time : 0.0 sec. user=mdettweiler [2020-04-25 02:46:49] 773*2^1558126-1 is not prime. Res64: 026E91BED6D209E3 Time : 0.0 sec. user=mdettweiler [2020-04-25 02:46:50] 821*2^1558126-1 is not prime. Res64: 923300DB553EC0AF Time : 0.0 sec. user=mdettweiler [2020-04-25 02:46:50] 881*2^1558126-1 is not prime. Res64: 7F8FCFD00882AF38 Time : 0.0 sec. user=mdettweiler [2020-04-25 02:46:51] 903*2^1558126-1 is not prime. Res64: 7C5051B29AC0EA52 Time : 0.0 sec. user=mdettweiler [2020-04-25 02:46:51] 911*2^1558126-1 is not prime. Res64: EEA8B756682E5686 Time : 0.0 sec. user=mdettweiler [2020-04-25 02:52:39] 987*2^1558126-1 is not prime. Res64: 63C9B490E0B28BEA Time : 0.0 sec. user=mdettweiler [2020-04-25 02:52:39] 799*2^1558127-1 is not prime. Res64: 3C90ACF161C5FA87 Time : 0.0 sec. user=mdettweiler [2020-04-25 02:52:39] 819*2^1558127-1 is not prime. Res64: 2DDB956FED81BFE6 Time : 0.0 sec. user=mdettweiler [2020-04-25 02:52:40] 885*2^1558127-1 is not prime. Res64: F558BF15A6AD2D65 Time : 0.0 sec. user=mdettweiler [2020-04-25 02:52:40] 635*2^1558128-1 is not prime. Res64: 6BC0376303D3C0E3 Time : 0.0 sec. user=mdettweiler [2020-04-25 03:31:54] 657*2^1558128-1 is not prime. Res64: B2FC3265759EC1BC Time : 0.0 sec. user=mdettweiler [2020-04-25 03:31:58] 705*2^1558128-1 is not prime. Res64: D03C7B0198AB892A Time : 0.0 sec. user=mdettweiler [2020-04-25 03:31:59] 723*2^1558128-1 is not prime. Res64: 875E366E1B465BA6 Time : 0.0 sec. user=mdettweiler [2020-04-25 03:32:02] 819*2^1558128-1 is not prime. Res64: 51F2DD7F87EAB509 Time : 0.0 sec. user=mdettweiler [2020-04-25 03:32:04] 909*2^1558128-1 is not prime. Res64: D7EBB6A89E6872EB Time : 0.0 sec. user=mdettweiler [2020-04-25 03:40:04] 619*2^1558129-1 is not prime. Res64: ECA965637C89B11F Time : 0.0 sec. user=mdettweiler [2020-04-25 03:40:06] 721*2^1558129-1 is not prime. Res64: BF63ECFF24A6B1AD Time : 0.0 sec. user=mdettweiler [2020-04-25 03:40:07] 867*2^1558129-1 is not prime. Res64: 48B9F115FECFC1A7 Time : 0.0 sec. user=mdettweiler [2020-04-25 03:40:10] 657*2^1558130-1 is not prime. Res64: 066BA745719F7198 Time : 0.0 sec. user=mdettweiler [2020-04-25 03:40:11] 665*2^1558130-1 is not prime. Res64: B3A435F41D613553 Time : 0.0 sec. user=mdettweiler [2020-04-25 03:47:34] 675*2^1558130-1 is not prime. Res64: 2BD38186D0A22913 Time : 0.0 sec. user=mdettweiler [2020-04-25 03:47:37] 773*2^1558130-1 is not prime. Res64: 9686B8ED15F5DDD0 Time : 0.0 sec. user=mdettweiler [2020-04-25 03:47:37] 977*2^1558130-1 is not prime. Res64: 8483BD138AA8C5A3 Time : 0.0 sec. user=mdettweiler [2020-04-25 03:47:38] 1001*2^1558130-1 is not prime. Res64: 75370B2C1385503D Time : 0.0 sec. user=mdettweiler [2020-04-25 03:47:40] 745*2^1558131-1 is not prime. Res64: 9C358F228FC49653 Time : 0.0 sec. user=mdettweiler [2020-04-25 04:27:24] 829*2^1558131-1 is not prime. Res64: 8C4D2C30F703EC11 Time : 0.0 sec. user=mdettweiler [2020-04-25 04:27:30] 931*2^1558131-1 is not prime. Res64: 3E903E00844E2638 Time : 0.0 sec. user=mdettweiler [2020-04-25 04:27:33] 961*2^1558131-1 is not prime. Res64: 316597AD63D81E4A Time : 0.0 sec. user=mdettweiler [2020-04-25 04:27:37] 719*2^1558132-1 is not prime. Res64: 7448E2907B8AA005 Time : 0.0 sec. user=mdettweiler [2020-04-25 04:27:39] 803*2^1558132-1 is not prime. Res64: 53D570D4BFCB4F9D Time : 0.0 sec. user=mdettweiler [2020-04-25 04:37:36] 863*2^1558132-1 is not prime. Res64: A7C15569A515DB4F Time : 0.0 sec. user=mdettweiler [2020-04-25 04:37:37] 873*2^1558132-1 is not prime. Res64: A6EA14000ACDAD0D Time : 0.0 sec. user=mdettweiler [2020-04-25 04:37:37] 899*2^1558132-1 is not prime. Res64: 765403097C313815 Time : 0.0 sec. user=mdettweiler [2020-04-25 04:37:38] 923*2^1558132-1 is not prime. Res64: 76591009B555B839 Time : 0.0 sec. user=mdettweiler [2020-04-25 04:37:38] 721*2^1558133-1 is not prime. Res64: F1BDA7CD7B7ED0EA Time : 0.0 sec. user=mdettweiler [2020-04-25 04:40:50] 735*2^1558133-1 is not prime. Res64: 233C6BD494ED7D5A Time : 0.0 sec. user=mdettweiler [2020-04-25 04:40:50] 745*2^1558133-1 is not prime. Res64: 5C0AFE527084F561 Time : 0.0 sec. user=mdettweiler [2020-04-25 04:40:51] 771*2^1558133-1 is not prime. Res64: 438DC563580A8235 Time : 0.0 sec. user=mdettweiler [2020-04-25 04:40:51] 789*2^1558133-1 is not prime. Res64: 8AC1B5DCF2E859AF Time : 0.0 sec. user=mdettweiler [2020-04-25 04:40:52] 829*2^1558133-1 is not prime. Res64: 29B346C23D875FF0 Time : 0.0 sec. user=mdettweiler [2020-04-25 05:23:23] 847*2^1558133-1 is not prime. Res64: 9C13FD59757B533E Time : 0.0 sec. user=mdettweiler [2020-04-25 05:23:24] 871*2^1558133-1 is not prime. Res64: F9CF9866ADF79ECD Time : 0.0 sec. user=mdettweiler [2020-04-25 05:23:24] 773*2^1558134-1 is not prime. Res64: 7B0C9FF726E9038E Time : 0.0 sec. user=mdettweiler [2020-04-25 05:23:25] 783*2^1558134-1 is not prime. Res64: DAC0CB79CB33068E Time : 0.0 sec. user=mdettweiler [2020-04-25 05:23:25] 863*2^1558134-1 is not prime. Res64: 463FF9CC6513A851 Time : 0.0 sec. user=mdettweiler [2020-04-25 05:34:27] 1001*2^1558134-1 is not prime. Res64: 66787AC12232044E Time : 0.0 sec. user=mdettweiler [2020-04-25 05:34:27] 673*2^1558135-1 is not prime. Res64: BC561A26DF328217 Time : 0.0 sec. user=mdettweiler [2020-04-25 05:34:28] 709*2^1558135-1 is not prime. Res64: 3F368C0D61135FBD Time : 0.0 sec. user=mdettweiler [2020-04-25 05:34:28] 793*2^1558135-1 is not prime. Res64: CE572F06161A52BC Time : 0.0 sec. user=mdettweiler [2020-04-25 05:34:28] 843*2^1558135-1 is not prime. Res64: 3AF5FC42B6A780A8 Time : 0.0 sec. user=mdettweiler [2020-04-25 05:36:04] 891*2^1558134-1 is not prime. Res64: 4D1AE4C182EBF5E8 Time : 0.0 sec. user=mdettweiler [2020-04-25 05:36:05] 923*2^1558134-1 is not prime. Res64: 4214E316773E041E Time : 0.0 sec. user=mdettweiler [2020-04-25 05:36:05] 927*2^1558134-1 is not prime. Res64: 7998DA04158C21C8 Time : 0.0 sec. user=mdettweiler [2020-04-25 05:36:05] 941*2^1558134-1 is not prime. Res64: BBBF2AB0921DB18B Time : 0.0 sec. user=mdettweiler [2020-04-25 05:36:06] 965*2^1558134-1 is not prime. Res64: 0D74942A9F4E9EDE Time : 0.0 sec. user=mdettweiler [2020-04-25 06:16:45] 855*2^1558135-1 is not prime. Res64: 0A734A80AC80AC1C Time : 0.0 sec. user=mdettweiler [2020-04-25 06:16:47] 859*2^1558135-1 is not prime. Res64: 13DFEFA0BC4DC8BB Time : 0.0 sec. user=mdettweiler [2020-04-25 06:16:48] 609*2^1558136-1 is not prime. Res64: 423C2CA79F576486 Time : 0.0 sec. user=mdettweiler [2020-04-25 06:16:50] 645*2^1558136-1 is not prime. Res64: AF2803CAB6A288F0 Time : 0.0 sec. user=mdettweiler [2020-04-25 06:16:51] 719*2^1558136-1 is not prime. Res64: 044E3932DCE48F50 Time : 0.0 sec. user=mdettweiler [2020-04-25 06:30:44] 773*2^1558136-1 is not prime. Res64: 7280183AD33C521A Time : 0.0 sec. user=mdettweiler [2020-04-25 06:30:44] 827*2^1558136-1 is not prime. Res64: 39FE1396022081DB Time : 0.0 sec. user=mdettweiler [2020-04-25 06:30:45] 873*2^1558136-1 is not prime. Res64: 0027769B596D6409 Time : 0.0 sec. user=mdettweiler [2020-04-25 06:30:45] 893*2^1558136-1 is not prime. Res64: C3B4B4116B5A6FB3 Time : 0.0 sec. user=mdettweiler [2020-04-25 06:30:46] 903*2^1558136-1 is not prime. Res64: 56EFAE95F9B74274 Time : 0.0 sec. user=mdettweiler [2020-04-25 06:31:00] 935*2^1558136-1 is not prime. Res64: 1516B61EF217C660 Time : 0.0 sec. user=mdettweiler [2020-04-25 06:31:01] 983*2^1558136-1 is not prime. Res64: 3EA0B22DFE568A7F Time : 0.0 sec. user=mdettweiler [2020-04-25 06:31:01] 609*2^1558137-1 is not prime. Res64: 7B13E37AFCB85563 Time : 0.0 sec. user=mdettweiler [2020-04-25 06:31:01] 807*2^1558137-1 is not prime. Res64: 715E0E96BEFB7397 Time : 0.0 sec. user=mdettweiler [2020-04-25 06:31:02] 817*2^1558137-1 is not prime. Res64: 861F403BC54A18A6 Time : 0.0 sec. user=mdettweiler [2020-04-25 07:23:34] 825*2^1558138-1 is not prime. Res64: C8EC1EF8A19D0AFF Time : 0.0 sec. user=mdettweiler [2020-04-25 07:23:35] 693*2^1558139-1 is not prime. Res64: C02A0D6EF5AA9987 Time : 0.0 sec. user=mdettweiler [2020-04-25 07:23:36] 733*2^1558139-1 is not prime. Res64: 9ACCC7166C86A355 Time : 0.0 sec. user=mdettweiler [2020-04-25 07:23:36] 775*2^1558139-1 is not prime. Res64: 3CC1C5B0BDC3C89E Time : 0.0 sec. user=mdettweiler [2020-04-25 07:23:36] 811*2^1558139-1 is not prime. Res64: BC35FD4FE04E3508 Time : 0.0 sec. user=mdettweiler [2020-04-25 07:26:17] 813*2^1558139-1 is not prime. Res64: F6A385D7C5820DD2 Time : 0.0 sec. user=mdettweiler [2020-04-25 07:26:18] 841*2^1558139-1 is not prime. Res64: 3ACE091618A7ED26 Time : 0.0 sec. user=mdettweiler [2020-04-25 07:26:18] 883*2^1558139-1 is not prime. Res64: 49EFF54ED1075689 Time : 0.0 sec. user=mdettweiler [2020-04-25 07:26:19] 895*2^1558139-1 is not prime. Res64: 9B32B269D0435C67 Time : 0.0 sec. user=mdettweiler [2020-04-25 07:26:19] 767*2^1558140-1 is not prime. Res64: 3BFC40742B52E742 Time : 0.0 sec. user=mdettweiler [2020-04-25 07:45:13] 819*2^1558137-1 is not prime. Res64: 2BBD60FA55CC09D9 Time : 0.0 sec. user=mdettweiler [2020-04-25 07:45:13] 605*2^1558138-1 is not prime. Res64: AF11F10B119633F0 Time : 0.0 sec. user=mdettweiler [2020-04-25 07:45:14] 647*2^1558138-1 is not prime. Res64: 13D4862D78C25667 Time : 0.0 sec. user=mdettweiler [2020-04-25 07:45:14] 687*2^1558138-1 is not prime. Res64: 2FFDDAC7F6532F80 Time : 0.0 sec. user=mdettweiler [2020-04-25 07:45:15] 773*2^1558138-1 is not prime. Res64: 2E46D7F2872B607F Time : 0.0 sec. user=mdettweiler [2020-04-25 08:18:38] 783*2^1558140-1 is not prime. Res64: 71EC0FA8A13A25E2 Time : 0.0 sec. user=mdettweiler [2020-04-25 08:18:39] 839*2^1558140-1 is not prime. Res64: EAFC9E1741A8ABFF Time : 0.0 sec. user=mdettweiler [2020-04-25 08:18:39] 927*2^1558140-1 is not prime. Res64: DFBD232D99EDFE5C Time : 0.0 sec. user=mdettweiler [2020-04-25 08:18:40] 621*2^1558141-1 is not prime. Res64: E0D5A5DBB6246563 Time : 0.0 sec. user=mdettweiler [2020-04-25 08:18:41] 639*2^1558141-1 is not prime. Res64: C5503166F2379AEF Time : 0.0 sec. user=mdettweiler [2020-04-25 08:18:49] 645*2^1558141-1 is not prime. Res64: F90D4434790C6220 Time : 0.0 sec. user=mdettweiler [2020-04-25 08:18:50] 715*2^1558141-1 is not prime. Res64: 3654A61CEF34BE19 Time : 0.0 sec. user=mdettweiler [2020-04-25 08:18:51] 771*2^1558141-1 is not prime. Res64: 343C7EF5849293B9 Time : 0.0 sec. user=mdettweiler [2020-04-25 08:18:51] 819*2^1558141-1 is not prime. Res64: 106A207378C94EB7 Time : 0.0 sec. user=mdettweiler [2020-04-25 08:18:52] 847*2^1558141-1 is not prime. Res64: C9A3D036DFB08E99 Time : 0.0 sec. user=mdettweiler [2020-04-25 08:38:54] 635*2^1558142-1 is not prime. Res64: 95838564E216E95D Time : 0.0 sec. user=mdettweiler [2020-04-25 08:38:55] 651*2^1558142-1 is not prime. Res64: 63E43757F5E0256B Time : 0.0 sec. user=mdettweiler [2020-04-25 08:38:55] 813*2^1558142-1 is not prime. Res64: 9AB025D95B497758 Time : 0.0 sec. user=mdettweiler [2020-04-25 08:38:55] 843*2^1558142-1 is not prime. Res64: B056573AD77D1058 Time : 0.0 sec. user=mdettweiler [2020-04-25 08:38:56] 963*2^1558142-1 is not prime. Res64: 3F2AEAF046856927 Time : 0.0 sec. user=mdettweiler [2020-04-25 09:10:59] 613*2^1558143-1 is not prime. Res64: A46BD74EE81F2CCC Time : 0.0 sec. user=mdettweiler [2020-04-25 09:11:00] 619*2^1558143-1 is not prime. Res64: EEFD3527B8377681 Time : 0.0 sec. user=mdettweiler [2020-04-25 09:11:00] 663*2^1558143-1 is not prime. Res64: A0963BD37CDE6ECD Time : 0.0 sec. user=mdettweiler [2020-04-25 09:11:01] 735*2^1558143-1 is not prime. Res64: 6745E4C9D05869B5 Time : 0.0 sec. user=mdettweiler [2020-04-25 09:11:01] 765*2^1558143-1 is not prime. Res64: F2737B7922425EEC Time : 0.0 sec. user=mdettweiler [2020-04-25 09:12:58] 775*2^1558143-1 is not prime. Res64: 963E7A7F134A89FA Time : 0.0 sec. user=mdettweiler [2020-04-25 09:12:59] 823*2^1558143-1 is not prime. Res64: 1C4E937D2C6B1F34 Time : 0.0 sec. user=mdettweiler [2020-04-25 09:12:59] 829*2^1558143-1 is not prime. Res64: 9F29258E5E2D5A09 Time : 0.0 sec. user=mdettweiler [2020-04-25 09:12:59] 849*2^1558143-1 is not prime. Res64: E4125B066CE1689A Time : 0.0 sec. user=mdettweiler [2020-04-25 09:13:00] 955*2^1558143-1 is not prime. Res64: F6DABA729D2BB7AC Time : 0.0 sec. user=mdettweiler [2020-04-25 09:32:44] 961*2^1558143-1 is not prime. Res64: A417E05A869FDBC3 Time : 0.0 sec. user=mdettweiler [2020-04-25 09:32:45] 605*2^1558144-1 is not prime. Res64: 16FB804EF2B37426 Time : 0.0 sec. user=mdettweiler [2020-04-25 09:32:45] 723*2^1558144-1 is not prime. Res64: 333C71C011A080C3 Time : 0.0 sec. user=mdettweiler [2020-04-25 09:32:45] 759*2^1558144-1 is not prime. Res64: AB78BDEF9ED4B5B5 Time : 0.0 sec. user=mdettweiler [2020-04-25 09:32:45] 773*2^1558144-1 is not prime. Res64: 9570927D8FDEF291 Time : 0.0 sec. user=mdettweiler [2020-04-25 10:06:23] 785*2^1558144-1 is not prime. Res64: 0008FD2B8F18B3AD Time : 0.0 sec. user=mdettweiler [2020-04-25 10:06:26] 819*2^1558144-1 is not prime. Res64: EC204FA553D9A1B0 Time : 0.0 sec. user=mdettweiler [2020-04-25 10:06:28] 825*2^1558144-1 is not prime. Res64: 5C894B41A921B01A Time : 0.0 sec. user=mdettweiler [2020-04-25 10:06:30] 887*2^1558144-1 is not prime. Res64: 1ED93B96FA9A37AF Time : 0.0 sec. user=mdettweiler [2020-04-25 10:06:31] 909*2^1558144-1 is not prime. Res64: C52E39425490D020 Time : 0.0 sec. user=mdettweiler [2020-04-25 10:07:19] 917*2^1558144-1 is not prime. Res64: 0C488FCB8E378333 Time : 0.0 sec. user=mdettweiler [2020-04-25 10:07:21] 995*2^1558144-1 is not prime. Res64: 2696C54B7DE6339A Time : 0.0 sec. user=mdettweiler [2020-04-25 10:07:24] 619*2^1558145-1 is not prime. Res64: F338365229ADCC7B Time : 0.0 sec. user=mdettweiler [2020-04-25 10:07:25] 649*2^1558145-1 is not prime. Res64: 1090F404DC602D4B Time : 0.0 sec. user=mdettweiler [2020-04-25 10:07:28] 697*2^1558145-1 is not prime. Res64: FED8858EDFA271D8 Time : 0.0 sec. user=mdettweiler [2020-04-25 10:28:04] 721*2^1558145-1 is not prime. Res64: 4491B9C357E232A2 Time : 0.0 sec. user=mdettweiler [2020-04-25 10:28:04] 729*2^1558145-1 is not prime. Res64: AA2BDBD1D526DEEC Time : 0.0 sec. user=mdettweiler [2020-04-25 10:28:04] 799*2^1558145-1 is not prime. Res64: FC2A7D904C36F112 Time : 0.0 sec. user=mdettweiler [2020-04-25 10:28:05] 867*2^1558145-1 is not prime. Res64: 86DF04930C0C2DA7 Time : 0.0 sec. user=mdettweiler [2020-04-25 10:28:05] 985*2^1558145-1 is not prime. Res64: DBF8F196E846C00A Time : 0.0 sec. user=mdettweiler [2020-04-25 10:59:53] 647*2^1558146-1 is not prime. Res64: D0F97D7C48458236 Time : 0.0 sec. user=mdettweiler [2020-04-25 10:59:53] 741*2^1558146-1 is not prime. Res64: 37D7FE70F1F80803 Time : 0.0 sec. user=mdettweiler [2020-04-25 10:59:53] 755*2^1558146-1 is not prime. Res64: A441E8837C7F2204 Time : 0.0 sec. user=mdettweiler [2020-04-25 10:59:54] 783*2^1558146-1 is not prime. Res64: BAEC064F351C00B1 Time : 0.0 sec. user=mdettweiler [2020-04-25 10:59:54] 837*2^1558146-1 is not prime. Res64: C3C270A4C3772526 Time : 0.0 sec. user=mdettweiler [2020-04-25 11:01:54] 873*2^1558146-1 is not prime. Res64: F42597D1D40BE85A Time : 0.0 sec. user=mdettweiler [2020-04-25 11:01:55] 917*2^1558146-1 is not prime. Res64: 367E4AC2F496A3A6 Time : 0.0 sec. user=mdettweiler [2020-04-25 11:01:57] 601*2^1558147-1 is not prime. Res64: 326E891180141F1A Time : 0.0 sec. user=mdettweiler [2020-04-25 11:01:58] 633*2^1558147-1 is not prime. Res64: 0409CE3FEEE588C4 Time : 0.0 sec. user=mdettweiler [2020-04-25 11:02:00] 681*2^1558147-1 is not prime. Res64: D199CCF8C9F63CA3 Time : 0.0 sec. user=mdettweiler [2020-04-25 11:26:54] 871*2^1558147-1 is not prime. Res64: D73981AB6817D4E0 Time : 0.0 sec. user=mdettweiler [2020-04-25 11:26:54] 885*2^1558147-1 is not prime. Res64: 5B6D638F850E937E Time : 0.0 sec. user=mdettweiler [2020-04-25 11:26:55] 931*2^1558147-1 is not prime. Res64: BC5A13A52DD9E88F Time : 0.0 sec. user=mdettweiler [2020-04-25 11:26:55] 961*2^1558147-1 is not prime. Res64: 6C99C2C16AF7809B Time : 0.0 sec. user=mdettweiler [2020-04-25 11:26:56] 975*2^1558147-1 is not prime. Res64: 9D344848011094B5 Time : 0.0 sec. user=mdettweiler [2020-04-25 11:54:01] 635*2^1558148-1 is not prime. Res64: 23A8C15BF4ED16E8 Time : 0.0 sec. user=mdettweiler [2020-04-25 11:54:01] 659*2^1558148-1 is not prime. Res64: E9360426346939C6 Time : 0.0 sec. user=mdettweiler [2020-04-25 11:54:02] 759*2^1558148-1 is not prime. Res64: 1EF3A7DA839B3EAA Time : 0.0 sec. user=mdettweiler [2020-04-25 11:54:02] 777*2^1558148-1 is not prime. Res64: 210F63DDDB137447 Time : 0.0 sec. user=mdettweiler [2020-04-25 11:54:03] 995*2^1558148-1 is not prime. Res64: ABF62995B8EAC8E2 Time : 0.0 sec. user=mdettweiler [2020-04-25 11:56:30] 649*2^1558149-1 is not prime. Res64: BBA2E3E074FFAF0B Time : 0.0 sec. user=mdettweiler [2020-04-25 11:56:30] 721*2^1558149-1 is not prime. Res64: 09E8A52859D05BA0 Time : 0.0 sec. user=mdettweiler [2020-04-25 11:56:31] 835*2^1558149-1 is not prime. Res64: 359A6867F0E8F36E Time : 0.0 sec. user=mdettweiler [2020-04-25 11:56:31] 837*2^1558149-1 is not prime. Res64: 14E47058816543FC Time : 0.0 sec. user=mdettweiler [2020-04-25 11:56:32] 861*2^1558149-1 is not prime. Res64: B130879556C8A39A Time : 0.0 sec. user=mdettweiler [2020-04-25 12:22:34] 877*2^1558149-1 is not prime. Res64: 992FA8F8CCCDADC0 Time : 0.0 sec. user=mdettweiler [2020-04-25 12:22:34] 949*2^1558149-1 is not prime. Res64: 0640436D9905A82F Time : 0.0 sec. user=mdettweiler [2020-04-25 12:22:35] 635*2^1558150-1 is not prime. Res64: 7DF90DFECAC77D7A Time : 0.0 sec. user=mdettweiler [2020-04-25 12:22:36] 687*2^1558150-1 is not prime. Res64: EDFD128DE71F2C0D Time : 0.0 sec. user=mdettweiler [2020-04-25 12:22:36] 695*2^1558150-1 is not prime. Res64: 55EC7BBE394507C0 Time : 0.0 sec. user=mdettweiler [2020-04-25 12:50:44] 741*2^1558150-1 is not prime. Res64: B5E8EEC67A3C1EDB Time : 0.0 sec. user=mdettweiler [2020-04-25 12:50:44] 791*2^1558150-1 is not prime. Res64: D1E6B209D5E737A5 Time : 0.0 sec. user=mdettweiler [2020-04-25 12:50:45] 813*2^1558150-1 is not prime. Res64: 32B9673057314375 Time : 0.0 sec. user=mdettweiler [2020-04-25 12:50:46] 917*2^1558150-1 is not prime. Res64: 7C5A88129E45473D Time : 0.0 sec. user=mdettweiler [2020-04-25 12:50:46] 945*2^1558150-1 is not prime. Res64: 9F9CEC9E7911F9FE Time : 0.0 sec. user=mdettweiler [2020-04-25 12:51:27] 965*2^1558150-1 is not prime. Res64: ABD5B04CF39B3068 Time : 0.0 sec. user=mdettweiler [2020-04-25 12:51:27] 603*2^1558151-1 is not prime. Res64: AB9A99389B7B8601 Time : 0.0 sec. user=mdettweiler [2020-04-25 12:51:28] 669*2^1558151-1 is not prime. Res64: 0257D6D5BB07583E Time : 0.0 sec. user=mdettweiler [2020-04-25 12:51:28] 735*2^1558151-1 is not prime. Res64: ACBEC3F79ADE2ED9 Time : 0.0 sec. user=mdettweiler [2020-04-25 12:51:29] 741*2^1558151-1 is not prime. Res64: EC497EBBEBA4868E Time : 0.0 sec. user=mdettweiler [2020-04-25 13:19:00] 745*2^1558151-1 is not prime. Res64: D79AC4E9DEB7525C Time : 0.0 sec. user=mdettweiler [2020-04-25 13:19:01] 843*2^1558151-1 is not prime. Res64: FDBCDB6AC9C7084F Time : 0.0 sec. user=mdettweiler [2020-04-25 13:19:02] 855*2^1558151-1 is not prime. Res64: 42C4C08B46D66E45 Time : 0.0 sec. user=mdettweiler [2020-04-25 13:19:02] 943*2^1558151-1 is not prime. Res64: 82847E2E223F9C03 Time : 0.0 sec. user=mdettweiler [2020-04-25 13:19:03] 981*2^1558151-1 is not prime. Res64: 859E6078EE681051 Time : 0.0 sec. user=mdettweiler [2020-04-25 13:46:25] 695*2^1558152-1 is not prime. Res64: 309668F3CBBAA04F Time : 0.0 sec. user=mdettweiler [2020-04-25 13:46:26] 717*2^1558152-1 is not prime. Res64: F80FD5A88CC9C6C3 Time : 0.0 sec. user=mdettweiler [2020-04-25 13:46:27] 909*2^1558152-1 is not prime. Res64: C47282F77EC68591 Time : 0.0 sec. user=mdettweiler [2020-04-25 13:46:27] 947*2^1558152-1 is not prime. Res64: 3CC3CD72246BB428 Time : 0.0 sec. user=mdettweiler [2020-04-25 13:46:27] 619*2^1558153-1 is not prime. Res64: 102F1A4A34C7E4C1 Time : 0.0 sec. user=mdettweiler [2020-04-25 13:48:52] 889*2^1558153-1 is not prime. Res64: B6C0984A60BF6F8B Time : 0.0 sec. user=mdettweiler [2020-04-25 13:48:53] 895*2^1558153-1 is not prime. Res64: 846F82DBF0AD30C1 Time : 0.0 sec. user=mdettweiler [2020-04-25 13:48:53] 945*2^1558153-1 is not prime. Res64: F6F4C2AF9EC9BD14 Time : 0.0 sec. user=mdettweiler [2020-04-25 13:48:54] 707*2^1558154-1 is not prime. Res64: 669DA7A24ED6E1A9 Time : 0.0 sec. user=mdettweiler [2020-04-25 13:48:54] 753*2^1558154-1 is not prime. Res64: 2BBC1765829622B1 Time : 0.0 sec. user=mdettweiler [2020-04-25 14:16:20] 987*2^1558154-1 is not prime. Res64: 420DFC5770ACB2C7 Time : 0.0 sec. user=mdettweiler [2020-04-25 14:16:21] 625*2^1558155-1 is not prime. Res64: 85A2204CD0D722FA Time : 0.0 sec. user=mdettweiler [2020-04-25 14:16:21] 711*2^1558155-1 is not prime. Res64: 6CDC0088169EFB41 Time : 0.0 sec. user=mdettweiler [2020-04-25 14:16:22] 873*2^1558155-1 is not prime. Res64: 630B945B810CCC30 Time : 0.0 sec. user=mdettweiler [2020-04-25 14:16:22] 919*2^1558155-1 is not prime. Res64: 4430CB646E2611E5 Time : 0.0 sec. user=mdettweiler [2020-04-25 14:39:36] 623*2^1558156-1 is not prime. Res64: FBA58CBBAED346D7 Time : 0.0 sec. user=mdettweiler [2020-04-25 14:39:36] 693*2^1558156-1 is not prime. Res64: 44FEA8364B376387 Time : 0.0 sec. user=mdettweiler [2020-04-25 14:39:37] 719*2^1558156-1 is not prime. Res64: CFEDC4975FFD654B Time : 0.0 sec. user=mdettweiler [2020-04-25 14:39:37] 777*2^1558156-1 is not prime. Res64: 615A7EB270BB579C Time : 0.0 sec. user=mdettweiler [2020-04-25 14:39:37] 783*2^1558156-1 is not prime. Res64: 6097A375D3DECA4A Time : 0.0 sec. user=mdettweiler [2020-04-25 14:43:22] 807*2^1558156-1 is not prime. Res64: EE505848B758034C Time : 0.0 sec. user=mdettweiler [2020-04-25 14:43:23] 989*2^1558156-1 is not prime. Res64: E02C2E54E9FA4870 Time : 0.0 sec. user=mdettweiler [2020-04-25 14:43:23] 619*2^1558157-1 is not prime. Res64: 2DA950DFD20A3FE4 Time : 0.0 sec. user=mdettweiler [2020-04-25 14:43:24] 621*2^1558157-1 is not prime. Res64: 63AD47590827B5C3 Time : 0.0 sec. user=mdettweiler [2020-04-25 14:43:24] 759*2^1558157-1 is not prime. Res64: 5A2F10CF59149E44 Time : 0.0 sec. user=mdettweiler [2020-04-25 15:14:01] 889*2^1558157-1 is not prime. Res64: 31CEAC0581EC0D0A Time : 0.0 sec. user=mdettweiler [2020-04-25 15:14:01] 925*2^1558157-1 is not prime. Res64: 1144CFDCDBF64A65 Time : 0.0 sec. user=mdettweiler [2020-04-25 15:14:02] 979*2^1558157-1 is not prime. Res64: 42731E4264D378E4 Time : 0.0 sec. user=mdettweiler [2020-04-25 15:14:02] 997*2^1558157-1 is not prime. Res64: 07AC4375AB4A52F2 Time : 0.0 sec. user=mdettweiler [2020-04-25 15:14:03] 647*2^1558158-1 is not prime. Res64: 201E1377BEF11E49 Time : 0.0 sec. user=mdettweiler [2020-04-25 15:31:47] 663*2^1558158-1 is not prime. Res64: 81C221B6A15F3C88 Time : 0.0 sec. user=mdettweiler [2020-04-25 15:31:48] 683*2^1558158-1 is not prime. Res64: 409F4F2914916E8E Time : 0.0 sec. user=mdettweiler [2020-04-25 15:31:48] 705*2^1558158-1 is not prime. Res64: 386FA12EE9C3934A Time : 0.0 sec. user=mdettweiler [2020-04-25 15:31:49] 725*2^1558158-1 is not prime. Res64: 5AB6BE99095F536F Time : 0.0 sec. user=mdettweiler [2020-04-25 15:31:49] 709*2^1558159-1 is not prime. Res64: A818A3BE133C3D4A Time : 0.0 sec. user=mdettweiler [2020-04-25 15:37:12] 853*2^1558159-1 is not prime. Res64: 35B8FDBC33B71C15 Time : 0.0 sec. user=mdettweiler [2020-04-25 15:37:12] 859*2^1558159-1 is not prime. Res64: E1F1854AB103BC7C Time : 0.0 sec. user=mdettweiler [2020-04-25 15:37:13] 635*2^1558160-1 is not prime. Res64: 77A2DF635B923C3B Time : 0.0 sec. user=mdettweiler [2020-04-25 15:37:13] 689*2^1558160-1 is not prime. Res64: B59FD76D913D10F1 Time : 0.0 sec. user=mdettweiler [2020-04-25 15:37:14] 759*2^1558160-1 is not prime. Res64: 7B41A2A3063B9E45 Time : 0.0 sec. user=mdettweiler [2020-04-25 16:08:24] 825*2^1558160-1 is not prime. Res64: 1877E73A83943EB4 Time : 0.0 sec. user=mdettweiler [2020-04-25 16:08:29] 833*2^1558160-1 is not prime. Res64: FC9FE0F5F5CCAB43 Time : 0.0 sec. user=mdettweiler [2020-04-25 16:08:32] 879*2^1558160-1 is not prime. Res64: A36B6BBEA01D5709 Time : 0.0 sec. user=mdettweiler [2020-04-25 16:08:34] 739*2^1558161-1 is not prime. Res64: B29AA11926238D46 Time : 0.0 sec. user=mdettweiler [2020-04-25 16:08:38] 741*2^1558161-1 is not prime. Res64: F85C92F702956E21 Time : 0.0 sec. user=mdettweiler [2020-04-25 16:26:17] 751*2^1558161-1 is not prime. Res64: 7E77BC15B980DCD6 Time : 0.0 sec. user=mdettweiler [2020-04-25 16:26:18] 811*2^1558161-1 is not prime. Res64: F189475959D29E04 Time : 0.0 sec. user=mdettweiler [2020-04-25 16:26:18] 999*2^1558161-1 is not prime. Res64: 9D12BF9A9E403B76 Time : 0.0 sec. user=mdettweiler [2020-04-25 16:26:19] 833*2^1558162-1 is not prime. Res64: E2CDB918AA6F2DD9 Time : 0.0 sec. user=mdettweiler [2020-04-25 16:26:19] 855*2^1558162-1 is not prime. Res64: 692D975AE9D1FBA2 Time : 0.0 sec. user=mdettweiler [2020-04-25 16:33:34] 873*2^1558162-1 is not prime. Res64: 9B7C3E4B23B9EF61 Time : 0.0 sec. user=mdettweiler [2020-04-25 16:33:35] 735*2^1558163-1 is not prime. Res64: BB103D269829CC40 Time : 0.0 sec. user=mdettweiler [2020-04-25 16:33:35] 969*2^1558163-1 is not prime. Res64: 8B8FE328ED1FF7BE Time : 0.0 sec. user=mdettweiler [2020-04-25 16:33:36] 993*2^1558163-1 is not prime. Res64: 4AA8B2253C2925EA Time : 0.0 sec. user=mdettweiler [2020-04-25 16:33:37] 629*2^1558164-1 is not prime. Res64: 53A4D3793BF9D1DA Time : 0.0 sec. user=mdettweiler [2020-04-25 17:04:06] 707*2^1558164-1 is not prime. Res64: C94B3FE58ED78B10 Time : 0.0 sec. user=mdettweiler [2020-04-25 17:04:08] 795*2^1558164-1 is not prime. Res64: 21A0D1322CF4EA9D Time : 0.0 sec. user=mdettweiler [2020-04-25 17:04:09] 947*2^1558164-1 is not prime. Res64: 1DEA07DB73C30A76 Time : 0.0 sec. user=mdettweiler [2020-04-25 17:04:10] 993*2^1558164-1 is not prime. Res64: C8845A5624AE59A8 Time : 0.0 sec. user=mdettweiler [2020-04-25 17:04:11] 691*2^1558165-1 is not prime. Res64: D273FFDD8CC4D202 Time : 0.0 sec. user=mdettweiler [2020-04-25 17:19:04] 717*2^1558165-1 is not prime. Res64: 5776BC11E5EE2B02 Time : 0.0 sec. user=mdettweiler [2020-04-25 17:19:04] 741*2^1558165-1 is not prime. Res64: D1FE03D262A27380 Time : 0.0 sec. user=mdettweiler [2020-04-25 17:19:05] 801*2^1558165-1 is not prime. Res64: EF3ACA282EF4509C Time : 0.0 sec. user=mdettweiler [2020-04-25 17:19:05] 855*2^1558165-1 is not prime. Res64: 4992ED7664B31BAE Time : 0.0 sec. user=mdettweiler [2020-04-25 17:19:06] 627*2^1558166-1 is not prime. Res64: F9C305E0C93F69C1 Time : 0.0 sec. user=mdettweiler [2020-04-25 17:29:48] 785*2^1558166-1 is not prime. Res64: 15F763E85CF498BD Time : 0.0 sec. user=mdettweiler [2020-04-25 17:29:49] 857*2^1558166-1 is not prime. Res64: 6AEB1D9578F163B1 Time : 0.0 sec. user=mdettweiler [2020-04-25 17:29:49] 873*2^1558166-1 is not prime. Res64: 3E36CAE1AEDB9973 Time : 0.0 sec. user=mdettweiler [2020-04-25 17:29:49] 917*2^1558166-1 is not prime. Res64: 6C1EB39351A8239B Time : 0.0 sec. user=mdettweiler [2020-04-25 17:29:49] 691*2^1558167-1 is not prime. Res64: 4F10CA9CCAA588E7 Time : 0.0 sec. user=mdettweiler [2020-04-25 18:00:00] 741*2^1558167-1 is not prime. Res64: B51C482C923EA526 Time : 0.0 sec. user=mdettweiler [2020-04-25 18:00:00] 751*2^1558167-1 is not prime. Res64: 297B886A3A276EA9 Time : 0.0 sec. user=mdettweiler [2020-04-25 18:00:01] 793*2^1558167-1 is not prime. Res64: A199571DA2E2AF7A Time : 0.0 sec. user=mdettweiler [2020-04-25 18:00:01] 879*2^1558167-1 is not prime. Res64: 3DF1AB43892687DE Time : 0.0 sec. user=mdettweiler [2020-04-25 18:00:02] 951*2^1558167-1 is not prime. Res64: 1A99AE53849EBD90 Time : 0.0 sec. user=mdettweiler [2020-04-25 18:13:22] 615*2^1558168-1 is not prime. Res64: 4B93D081CAEC5209 Time : 0.0 sec. user=mdettweiler [2020-04-25 18:13:23] 735*2^1558168-1 is not prime. Res64: 125FF9AEEBE8C17E Time : 0.0 sec. user=mdettweiler [2020-04-25 18:13:23] 765*2^1558168-1 is not prime. Res64: 009AAFCCB8ADF35D Time : 0.0 sec. user=mdettweiler [2020-04-25 18:13:24] 819*2^1558168-1 is not prime. Res64: 597F330D880BF5F7 Time : 0.0 sec. user=mdettweiler [2020-04-25 18:13:24] 947*2^1558168-1 is not prime. Res64: 9264D7D52323E2CB Time : 0.0 sec. user=mdettweiler [2020-04-25 18:22:12] 637*2^1558169-1 is not prime. Res64: 90DA981EE3B2AFB7 Time : 0.0 sec. user=mdettweiler [2020-04-25 18:22:13] 699*2^1558169-1 is not prime. Res64: 1FF84CCAB123C5CC Time : 0.0 sec. user=mdettweiler [2020-04-25 18:22:14] 735*2^1558169-1 is not prime. Res64: D5EBA884CB5F76A6 Time : 0.0 sec. user=mdettweiler [2020-04-25 18:22:14] 747*2^1558169-1 is not prime. Res64: 6CD6A74D2F26786D Time : 0.0 sec. user=mdettweiler [2020-04-25 18:22:15] 695*2^1558170-1 is not prime. Res64: D61ED11B0632C8D4 Time : 0.0 sec. user=mdettweiler [2020-04-25 18:53:28] 747*2^1558170-1 is not prime. Res64: EAA4E72C7AAD5057 Time : 0.0 sec. user=mdettweiler [2020-04-25 18:53:29] 977*2^1558170-1 is not prime. Res64: EF721C5F515A840F Time : 0.0 sec. user=mdettweiler [2020-04-25 18:53:29] 639*2^1558171-1 is not prime. Res64: FD1319872330E3F4 Time : 0.0 sec. user=mdettweiler [2020-04-25 18:53:30] 651*2^1558171-1 is not prime. Res64: 452C966B90F6A555 Time : 0.0 sec. user=mdettweiler [2020-04-25 18:53:30] 663*2^1558171-1 is not prime. Res64: 80632052430CF81A Time : 0.0 sec. user=mdettweiler [2020-04-25 19:08:29] 703*2^1558171-1 is not prime. Res64: 7CC369577DF29D6B Time : 0.0 sec. user=mdettweiler [2020-04-25 19:08:31] 723*2^1558171-1 is not prime. Res64: 0E86160C2B0AECFE Time : 0.0 sec. user=mdettweiler [2020-04-25 19:08:36] 829*2^1558171-1 is not prime. Res64: 7F0EF1D7BF500414 Time : 0.0 sec. user=mdettweiler [2020-04-25 19:08:40] 895*2^1558171-1 is not prime. Res64: 3DEA08ED88DE5894 Time : 0.0 sec. user=mdettweiler [2020-04-25 19:08:43] 931*2^1558171-1 is not prime. Res64: 71431184B0606AC3 Time : 0.0 sec. user=mdettweiler [2020-04-25 19:15:41] 969*2^1558171-1 is not prime. Res64: F106BDC1416646D6 Time : 0.0 sec. user=mdettweiler [2020-04-25 19:15:41] 683*2^1558172-1 is not prime. Res64: 5B1307F38F35BA34 Time : 0.0 sec. user=mdettweiler [2020-04-25 19:15:41] 687*2^1558172-1 is not prime. Res64: A6AFBE45FBAAF65C Time : 0.0 sec. user=mdettweiler [2020-04-25 19:15:42] 719*2^1558172-1 is not prime. Res64: FFF86E3F646E99FC Time : 0.0 sec. user=mdettweiler [2020-04-25 19:15:42] 767*2^1558172-1 is not prime. Res64: 46D2C4FC1E75A742 Time : 0.0 sec. user=mdettweiler [2020-04-25 19:46:57] 837*2^1558172-1 is not prime. Res64: 9A2A64CED3961938 Time : 0.0 sec. user=mdettweiler [2020-04-25 19:46:57] 867*2^1558172-1 is not prime. Res64: 6A89B64B9799DB19 Time : 0.0 sec. user=mdettweiler [2020-04-25 19:46:57] 651*2^1558173-1 is not prime. Res64: 82793E379BF0E77B Time : 0.0 sec. user=mdettweiler [2020-04-25 19:46:57] 669*2^1558173-1 is not prime. Res64: 76E3CD9DDF588DB5 Time : 0.0 sec. user=mdettweiler [2020-04-25 19:46:58] 691*2^1558173-1 is not prime. Res64: 80E0AD152D4F0C79 Time : 0.0 sec. user=mdettweiler [2020-04-25 20:04:51] 727*2^1558173-1 is not prime. Res64: 90511F18606C4838 Time : 0.0 sec. user=mdettweiler [2020-04-25 20:04:52] 781*2^1558173-1 is not prime. Res64: 01C75D7499EB2357 Time : 0.0 sec. user=mdettweiler [2020-04-25 20:04:53] 849*2^1558173-1 is not prime. Res64: 644C62C580D9DC40 Time : 0.0 sec. user=mdettweiler [2020-04-25 20:04:54] 889*2^1558173-1 is not prime. Res64: 0F8790E4B9B022E6 Time : 0.0 sec. user=mdettweiler [2020-04-25 20:04:55] 891*2^1558173-1 is not prime. Res64: B3371F5E6D6FB117 Time : 0.0 sec. user=mdettweiler [2020-04-25 20:11:35] 921*2^1558173-1 is not prime. Res64: DA4F6284311CD71B Time : 0.0 sec. user=mdettweiler [2020-04-25 20:11:36] 979*2^1558173-1 is not prime. Res64: 9CAC8A54DD71F37C Time : 0.0 sec. user=mdettweiler [2020-04-25 20:11:36] 999*2^1558173-1 is not prime. Res64: 4FCB3219B30A8AE4 Time : 0.0 sec. user=mdettweiler [2020-04-25 20:11:36] 611*2^1558174-1 is not prime. Res64: FDF73605160E878E Time : 0.0 sec. user=mdettweiler [2020-04-25 20:11:36] 665*2^1558174-1 is not prime. Res64: E9FCFDD840B8D488 Time : 0.0 sec. user=mdettweiler [2020-04-25 20:43:09] 705*2^1558174-1 is not prime. Res64: BDBE4EFCB78AEC19 Time : 0.0 sec. user=mdettweiler [2020-04-25 20:43:09] 827*2^1558174-1 is not prime. Res64: 31B434EB1CDF5515 Time : 0.0 sec. user=mdettweiler [2020-04-25 20:43:10] 923*2^1558174-1 is not prime. Res64: C1D085F9EEB492B6 Time : 0.0 sec. user=mdettweiler [2020-04-25 20:43:10] 983*2^1558174-1 is not prime. Res64: 7E79E39F91AE3FDE Time : 0.0 sec. user=mdettweiler [2020-04-25 20:43:10] 993*2^1558174-1 is not prime. Res64: DB925B5539EA182E Time : 0.0 sec. user=mdettweiler [2020-04-25 20:57:22] 643*2^1558175-1 is not prime. Res64: 68BC83A961DF1D12 Time : 0.0 sec. user=mdettweiler [2020-04-25 20:57:22] 661*2^1558175-1 is not prime. Res64: 9CA8E234FE6256CD Time : 0.0 sec. user=mdettweiler [2020-04-25 20:57:22] 685*2^1558175-1 is not prime. Res64: 24D15A8DB705BCDF Time : 0.0 sec. user=mdettweiler [2020-04-25 20:57:22] 759*2^1558175-1 is not prime. Res64: E6553182082CFDEF Time : 0.0 sec. user=mdettweiler [2020-04-25 20:57:23] 799*2^1558175-1 is not prime. Res64: 3BEC735C25FEA03F Time : 0.0 sec. user=mdettweiler [2020-04-25 21:09:23] 913*2^1558175-1 is not prime. Res64: 6618F81A004916AE Time : 0.0 sec. user=mdettweiler [2020-04-25 21:09:23] 999*2^1558175-1 is not prime. Res64: F8BE2399553B0D4D Time : 0.0 sec. user=mdettweiler [2020-04-25 21:09:24] 875*2^1558176-1 is not prime. Res64: 596CB06685E43C6A Time : 0.0 sec. user=mdettweiler [2020-04-25 21:09:24] 903*2^1558176-1 is not prime. Res64: F918D5ABD688B5B4 Time : 0.0 sec. user=mdettweiler [2020-04-25 21:09:24] 741*2^1558177-1 is not prime. Res64: 34D3D8001EA68C1E Time : 0.0 sec. user=mdettweiler [2020-04-25 21:38:36] 835*2^1558177-1 is not prime. Res64: 0ABE3E660C6838FE Time : 0.0 sec. user=mdettweiler [2020-04-25 21:38:36] 885*2^1558177-1 is not prime. Res64: 26F8B0386137E06E Time : 0.0 sec. user=mdettweiler [2020-04-25 21:38:36] 919*2^1558177-1 is not prime. Res64: 32B9CA983875BC46 Time : 0.0 sec. user=mdettweiler [2020-04-25 21:38:37] 633*2^1558178-1 is not prime. Res64: 7B213B1356FFD0DB Time : 0.0 sec. user=mdettweiler [2020-04-25 21:38:37] 771*2^1558178-1 is not prime. Res64: 1E3AF79D9F27D0F3 Time : 0.0 sec. user=mdettweiler [2020-04-25 21:50:47] 923*2^1558178-1 is not prime. Res64: BF9C92A154117F2B Time : 0.0 sec. user=mdettweiler [2020-04-25 21:50:47] 613*2^1558179-1 is not prime. Res64: 4098C9E5CA5D0130 Time : 0.0 sec. user=mdettweiler [2020-04-25 21:50:47] 625*2^1558179-1 is not prime. Res64: 643346C44022083F Time : 0.0 sec. user=mdettweiler [2020-04-25 21:50:47] 669*2^1558179-1 is not prime. Res64: 464B90939E77306D Time : 0.0 sec. user=mdettweiler [2020-04-25 21:50:47] 685*2^1558179-1 is not prime. Res64: 0D5037E7BC9AF91F Time : 0.0 sec. user=mdettweiler [2020-04-25 22:02:20] 751*2^1558179-1 is not prime. Res64: 3491128592CA95D4 Time : 0.0 sec. user=mdettweiler [2020-04-25 22:02:21] 605*2^1558180-1 is not prime. Res64: A910AB05E372448A Time : 0.0 sec. user=mdettweiler [2020-04-25 22:02:22] 677*2^1558180-1 is not prime. Res64: 0A632C94861FDD9C Time : 0.0 sec. user=mdettweiler [2020-04-25 22:02:22] 785*2^1558180-1 is not prime. Res64: 6149CD2063C828BA Time : 0.0 sec. user=mdettweiler [2020-04-25 22:02:23] 819*2^1558180-1 is not prime. Res64: 27180019C0FCAD90 Time : 0.0 sec. user=mdettweiler [2020-04-25 22:33:28] 873*2^1558180-1 is not prime. Res64: FE9C375A2854A02A Time : 0.0 sec. user=mdettweiler [2020-04-25 22:33:28] 875*2^1558180-1 is not prime. Res64: 9CB54FDC61647B2C Time : 0.0 sec. user=mdettweiler [2020-04-25 22:33:29] 645*2^1558181-1 is not prime. Res64: 9AA904E2B53963B0 Time : 0.0 sec. user=mdettweiler [2020-04-25 22:33:29] 691*2^1558181-1 is not prime. Res64: B1B69779E70A6652 Time : 0.0 sec. user=mdettweiler [2020-04-25 22:33:29] 715*2^1558181-1 is not prime. Res64: 631A1684B1171EEB Time : 0.0 sec. user=mdettweiler [2020-04-25 22:47:40] 747*2^1558181-1 is not prime. Res64: 1E1920A55BE0C785 Time : 0.0 sec. user=mdettweiler [2020-04-25 22:47:40] 799*2^1558181-1 is not prime. Res64: 720F1D9C4633C3B9 Time : 0.0 sec. user=mdettweiler [2020-04-25 22:47:41] 885*2^1558181-1 is not prime. Res64: A212F0512528EF85 Time : 0.0 sec. user=mdettweiler [2020-04-25 22:47:41] 987*2^1558181-1 is not prime. Res64: E13B2FB6DDDC0897 Time : 0.0 sec. user=mdettweiler [2020-04-25 22:47:41] 991*2^1558181-1 is not prime. Res64: D079E6E14FA6D814 Time : 0.0 sec. user=mdettweiler [2020-04-25 22:55:18] 657*2^1558182-1 is not prime. Res64: 0E8446E7140C7369 Time : 0.0 sec. user=mdettweiler [2020-04-25 22:55:18] 665*2^1558182-1 is not prime. Res64: DAB82FE3029738CE Time : 0.0 sec. user=mdettweiler [2020-04-25 22:55:18] 713*2^1558182-1 is not prime. Res64: C5FA0DE8F4A6F3FE Time : 0.0 sec. user=mdettweiler [2020-04-25 22:55:18] 741*2^1558182-1 is not prime. Res64: AF825D77B5F0DC0F Time : 0.0 sec. user=mdettweiler [2020-04-25 22:55:18] 821*2^1558182-1 is not prime. Res64: C827C0389F3276F3 Time : 0.0 sec. user=mdettweiler [2020-04-25 23:26:35] 873*2^1558182-1 is not prime. Res64: 3A869DA376E60E3C Time : 0.0 sec. user=mdettweiler [2020-04-25 23:26:35] 619*2^1558183-1 is not prime. Res64: 72C0B1363F601A47 Time : 0.0 sec. user=mdettweiler [2020-04-25 23:26:36] 673*2^1558183-1 is not prime. Res64: 8139BEAB0D98A1BF Time : 0.0 sec. user=mdettweiler [2020-04-25 23:26:36] 675*2^1558183-1 is not prime. Res64: 40D10A9193521658 Time : 0.0 sec. user=mdettweiler [2020-04-25 23:26:36] 705*2^1558183-1 is not prime. Res64: 89AD85CF5CF0CAA1 Time : 0.0 sec. user=mdettweiler [2020-04-25 23:40:43] 723*2^1558183-1 is not prime. Res64: A9E6FF446FD403C0 Time : 0.0 sec. user=mdettweiler [2020-04-25 23:40:43] 789*2^1558183-1 is not prime. Res64: 0CFF892915A6F35A Time : 0.0 sec. user=mdettweiler [2020-04-25 23:40:44] 805*2^1558183-1 is not prime. Res64: 36CBF537B4078031 Time : 0.0 sec. user=mdettweiler [2020-04-25 23:40:44] 831*2^1558183-1 is not prime. Res64: 0D734B597A0201CF Time : 0.0 sec. user=mdettweiler [2020-04-25 23:40:44] 785*2^1558184-1 is not prime. Res64: BED4D90ECDECF72D Time : 0.0 sec. user=mdettweiler [2020-04-25 23:49:40] 875*2^1558184-1 is not prime. Res64: 9F44723E3946648A Time : 0.0 sec. user=mdettweiler [2020-04-25 23:49:41] 903*2^1558184-1 is not prime. Res64: 9DADD7C9262F91C3 Time : 0.0 sec. user=mdettweiler [2020-04-25 23:49:41] 609*2^1558185-1 is not prime. Res64: 5AFE01C79372FD9D Time : 0.0 sec. user=mdettweiler [2020-04-25 23:49:41] 685*2^1558185-1 is not prime. Res64: 7FB1872969135C9E Time : 0.0 sec. user=mdettweiler [2020-04-25 23:49:41] 699*2^1558185-1 is not prime. Res64: 3DD38BEADC9243EE Time : 0.0 sec.