user=mdettweiler [2020-11-17 00:22:29] 845*2^1567348-1 is not prime. Res64: 5FACE5956D7FC52A Time : 0.0 sec. user=mdettweiler [2020-11-17 00:22:30] 855*2^1567348-1 is not prime. Res64: 82894AFD4B28C62E Time : 0.0 sec. user=mdettweiler [2020-11-17 00:22:31] 959*2^1567348-1 is not prime. Res64: 362438726FC24999 Time : 0.0 sec. user=mdettweiler [2020-11-17 00:22:31] 675*2^1567349-1 is not prime. Res64: 8F0AB37DC568F6D2 Time : 0.0 sec. user=mdettweiler [2020-11-17 00:22:32] 759*2^1567349-1 is not prime. Res64: 42DFC5C7E8180902 Time : 0.0 sec. user=mdettweiler [2020-11-17 00:39:30] 771*2^1567349-1 is not prime. Res64: E8E51253E480A780 Time : 0.0 sec. user=mdettweiler [2020-11-17 00:39:31] 829*2^1567349-1 is not prime. Res64: 6AB9D22FFBC0F415 Time : 0.0 sec. user=mdettweiler [2020-11-17 00:39:31] 671*2^1567350-1 is not prime. Res64: 0383A87299A1AC2B Time : 0.0 sec. user=mdettweiler [2020-11-17 00:39:32] 765*2^1567350-1 is not prime. Res64: 652F41E48CDE9ECC Time : 0.0 sec. user=mdettweiler [2020-11-17 00:39:32] 801*2^1567350-1 is not prime. Res64: CF1B5A98D3BF1A61 Time : 0.0 sec. user=mdettweiler [2020-11-17 01:19:39] 825*2^1567350-1 is not prime. Res64: 8B8DC71FB8256B90 Time : 0.0 sec. user=mdettweiler [2020-11-17 01:19:40] 893*2^1567350-1 is not prime. Res64: 31857CF10C7F6283 Time : 0.0 sec. user=mdettweiler [2020-11-17 01:19:41] 921*2^1567350-1 is not prime. Res64: D3F1F5743C200D84 Time : 0.0 sec. user=mdettweiler [2020-11-17 01:19:41] 941*2^1567350-1 is not prime. Res64: E4D4F85EDF9BBE40 Time : 0.0 sec. user=mdettweiler [2020-11-17 01:19:42] 649*2^1567351-1 is not prime. Res64: 6ABE210C11DAB063 Time : 0.0 sec. user=mdettweiler [2020-11-17 01:35:31] 661*2^1567351-1 is not prime. Res64: 9F5AE676BBC9FD10 Time : 0.0 sec. user=mdettweiler [2020-11-17 01:35:34] 715*2^1567351-1 is not prime. Res64: B76FC39BB2564573 Time : 0.0 sec. user=mdettweiler [2020-11-17 01:35:38] 813*2^1567351-1 is not prime. Res64: 86CFD492E4FEE168 Time : 0.0 sec. user=mdettweiler [2020-11-17 01:35:41] 859*2^1567351-1 is not prime. Res64: BD48D045DEAC14D1 Time : 0.0 sec. user=mdettweiler [2020-11-17 01:35:47] 889*2^1567351-1 is not prime. Res64: FE215F452DDC5E86 Time : 0.0 sec. user=mdettweiler [2020-11-17 02:15:45] 677*2^1567352-1 is not prime. Res64: DCF1C19722E4ADDD Time : 0.0 sec. user=mdettweiler [2020-11-17 02:15:53] 717*2^1567352-1 is not prime. Res64: D29A4C560D7A7D0C Time : 0.0 sec. user=mdettweiler [2020-11-17 02:15:57] 827*2^1567352-1 is not prime. Res64: 5F0119F6300A7063 Time : 0.0 sec. user=mdettweiler [2020-11-17 02:16:03] 867*2^1567352-1 is not prime. Res64: A08C52C6CB32CB95 Time : 0.0 sec. user=mdettweiler [2020-11-17 02:16:07] 983*2^1567352-1 is not prime. Res64: 21F98AA57EB00F48 Time : 0.0 sec. user=mdettweiler [2020-11-17 02:31:06] 607*2^1567353-1 is not prime. Res64: 049692E7836F1DE2 Time : 0.0 sec. user=mdettweiler [2020-11-17 02:31:09] 727*2^1567353-1 is not prime. Res64: 065488ADDCEEB62C Time : 0.0 sec. user=mdettweiler [2020-11-17 02:31:12] 745*2^1567353-1 is not prime. Res64: 4FCFB4096D0970BE Time : 0.0 sec. user=mdettweiler [2020-11-17 02:31:16] 759*2^1567353-1 is not prime. Res64: 9EFD9AE2A48DFECD Time : 0.0 sec. user=mdettweiler [2020-11-17 02:31:22] 781*2^1567353-1 is not prime. Res64: 64571ADD4AE51596 Time : 0.0 sec. user=mdettweiler [2020-11-17 03:13:17] 919*2^1567353-1 is not prime. Res64: B472102248B9F75C Time : 0.0 sec. user=mdettweiler [2020-11-17 03:13:18] 949*2^1567353-1 is not prime. Res64: 62D702C632FF5E76 Time : 0.0 sec. user=mdettweiler [2020-11-17 03:13:19] 955*2^1567353-1 is not prime. Res64: 83D7C12E2B66BA8E Time : 0.0 sec. user=mdettweiler [2020-11-17 03:13:19] 665*2^1567354-1 is not prime. Res64: A8EB78566C35FDAF Time : 0.0 sec. user=mdettweiler [2020-11-17 03:13:20] 681*2^1567354-1 is not prime. Res64: D1087F850542399C Time : 0.0 sec. user=mdettweiler [2020-11-17 03:27:39] 701*2^1567354-1 is not prime. Res64: 644CF2C63B326591 Time : 0.0 sec. user=mdettweiler [2020-11-17 03:27:41] 717*2^1567354-1 is not prime. Res64: E2A080E5F56126C4 Time : 0.0 sec. user=mdettweiler [2020-11-17 03:27:44] 917*2^1567354-1 is not prime. Res64: 24B9023600126DC3 Time : 0.0 sec. user=mdettweiler [2020-11-17 03:27:46] 923*2^1567354-1 is not prime. Res64: 880A04C16CE4FCAA Time : 0.0 sec. user=mdettweiler [2020-11-17 03:27:47] 971*2^1567354-1 is not prime. Res64: 08CEA84D3D16D738 Time : 0.0 sec. user=mdettweiler [2020-11-17 04:08:16] 651*2^1567355-1 is not prime. Res64: E8A8336CE9B39E7C Time : 0.0 sec. user=mdettweiler [2020-11-17 04:08:19] 685*2^1567355-1 is not prime. Res64: 479892496BC7F294 Time : 0.0 sec. user=mdettweiler [2020-11-17 04:08:22] 753*2^1567355-1 is not prime. Res64: 9D07782F5FF667BA Time : 0.0 sec. user=mdettweiler [2020-11-17 04:08:26] 859*2^1567355-1 is not prime. Res64: 7E91CE1F32B4B20D Time : 0.0 sec. user=mdettweiler [2020-11-17 04:08:30] 963*2^1567355-1 is not prime. Res64: 4E0F4F5DB5EE386B Time : 0.0 sec. user=mdettweiler [2020-11-17 04:21:34] 985*2^1567355-1 is not prime. Res64: CC97C32A29B5C745 Time : 0.0 sec. user=mdettweiler [2020-11-17 04:21:40] 627*2^1567356-1 is not prime. Res64: DF8B1EAD548054AA Time : 0.0 sec. user=mdettweiler [2020-11-17 04:21:44] 653*2^1567356-1 is not prime. Res64: EF18F0B723E8E8EA Time : 0.0 sec. user=mdettweiler [2020-11-17 04:21:51] 683*2^1567356-1 is not prime. Res64: 976E99E294A258C1 Time : 0.0 sec. user=mdettweiler [2020-11-17 04:21:57] 725*2^1567356-1 is not prime. Res64: 909D9DFA5BED7846 Time : 0.0 sec. user=mdettweiler [2020-11-17 05:04:44] 735*2^1567356-1 is not prime. Res64: E937E31FDAA9C917 Time : 0.0 sec. user=mdettweiler [2020-11-17 05:04:46] 839*2^1567356-1 is not prime. Res64: 3F274C726F45C139 Time : 0.0 sec. user=mdettweiler [2020-11-17 05:04:48] 975*2^1567356-1 is not prime. Res64: C2A259B085795522 Time : 0.0 sec. user=mdettweiler [2020-11-17 05:04:50] 983*2^1567356-1 is not prime. Res64: 4158CAA65226A7D0 Time : 0.0 sec. user=mdettweiler [2020-11-17 05:04:53] 619*2^1567357-1 is not prime. Res64: D4BC67B2CC84E324 Time : 0.0 sec. user=mdettweiler [2020-11-17 05:19:57] 867*2^1567357-1 is not prime. Res64: 3EA9E7397FB91409 Time : 0.0 sec. user=mdettweiler [2020-11-17 05:19:59] 985*2^1567357-1 is not prime. Res64: 496C098A08CB04CE Time : 0.0 sec. user=mdettweiler [2020-11-17 05:19:59] 623*2^1567358-1 is not prime. Res64: C19FF514C22EE0D4 Time : 0.0 sec. user=mdettweiler [2020-11-17 05:20:01] 773*2^1567358-1 is not prime. Res64: 67C8B257CED56417 Time : 0.0 sec. user=mdettweiler [2020-11-17 05:20:02] 795*2^1567358-1 is not prime. Res64: BBE3EB97CE688E8A Time : 0.0 sec. user=mdettweiler [2020-11-17 06:03:23] 797*2^1567358-1 is not prime. Res64: 261EFDBC948F2804 Time : 0.0 sec. user=mdettweiler [2020-11-17 06:03:27] 827*2^1567358-1 is not prime. Res64: 4940A4E6D37E91CD Time : 0.0 sec. user=mdettweiler [2020-11-17 06:03:31] 885*2^1567358-1 is not prime. Res64: CF0586C52FCCAC49 Time : 0.0 sec. user=mdettweiler [2020-11-17 06:03:36] 897*2^1567358-1 is not prime. Res64: 86477B31EEDBEDAF Time : 0.0 sec. user=mdettweiler [2020-11-17 06:03:39] 945*2^1567358-1 is not prime. Res64: 6BDE9AD9CC48E974 Time : 0.0 sec. user=mdettweiler [2020-11-17 06:14:49] 613*2^1567359-1 is not prime. Res64: 8E18827811423260 Time : 0.0 sec. user=mdettweiler [2020-11-17 06:14:54] 735*2^1567359-1 is not prime. Res64: A7B1AAEA2A7F5C0F Time : 0.0 sec. user=mdettweiler [2020-11-17 06:14:57] 853*2^1567359-1 is not prime. Res64: A098072CC3751FB1 Time : 0.0 sec. user=mdettweiler [2020-11-17 06:15:02] 861*2^1567359-1 is not prime. Res64: 280374E67B9A4910 Time : 0.0 sec. user=mdettweiler [2020-11-17 07:00:18] 773*2^1567360-1 is not prime. Res64: 8D222039EC4C8FF3 Time : 0.0 sec. user=mdettweiler [2020-11-17 07:00:21] 827*2^1567360-1 is not prime. Res64: A654B9630C89D3EA Time : 0.0 sec. user=mdettweiler [2020-11-17 07:00:23] 917*2^1567360-1 is not prime. Res64: 2111723B381F4B10 Time : 0.0 sec. user=mdettweiler [2020-11-17 07:00:27] 691*2^1567361-1 is not prime. Res64: 365EB62FFA2360D2 Time : 0.0 sec. user=mdettweiler [2020-11-17 07:00:31] 705*2^1567361-1 is not prime. Res64: AD1E57E0B249061D Time : 0.0 sec. user=mdettweiler [2020-11-17 07:57:49] 777*2^1567361-1 is not prime. Res64: 4FBEBB81E7AE012F Time : 0.0 sec. user=mdettweiler [2020-11-17 07:57:49] 801*2^1567361-1 is not prime. Res64: 6A6433AA60047D2E Time : 0.0 sec. user=mdettweiler [2020-11-17 07:57:50] 819*2^1567361-1 is not prime. Res64: F1851CF109656E60 Time : 0.0 sec. user=mdettweiler [2020-11-17 07:57:51] 925*2^1567361-1 is not prime. Res64: C4492F95668F7BCB Time : 0.0 sec. user=mdettweiler [2020-11-17 07:57:52] 627*2^1567362-1 is not prime. Res64: FC64B157F7AF1A24 Time : 0.0 sec. user=mdettweiler [2020-11-17 08:51:29] 695*2^1567362-1 is not prime. Res64: C688204FB5F7C7E2 Time : 0.0 sec. user=mdettweiler [2020-11-17 08:51:30] 717*2^1567362-1 is not prime. Res64: FDFAC4B6EDD99B96 Time : 0.0 sec. user=mdettweiler [2020-11-17 08:51:31] 945*2^1567362-1 is not prime. Res64: FA74EDD4EF014011 Time : 0.0 sec. user=mdettweiler [2020-11-17 08:51:32] 615*2^1567363-1 is not prime. Res64: 307A9AB1DF5E92B3 Time : 0.0 sec. user=mdettweiler [2020-11-17 08:51:33] 639*2^1567363-1 is not prime. Res64: BC96F31D524A2496 Time : 0.0 sec. user=mdettweiler [2020-11-17 09:49:58] 765*2^1567363-1 is not prime. Res64: DD3462C8D79BE76B Time : 0.0 sec. user=mdettweiler [2020-11-17 09:49:59] 855*2^1567363-1 is not prime. Res64: 438D91D49F969B2B Time : 0.0 sec. user=mdettweiler [2020-11-17 09:50:00] 885*2^1567363-1 is not prime. Res64: F1E659EB7EE6ADEB Time : 0.0 sec. user=mdettweiler [2020-11-17 09:50:01] 913*2^1567363-1 is not prime. Res64: F9FE7B9A14D3C4F2 Time : 0.0 sec. user=mdettweiler [2020-11-17 09:50:01] 939*2^1567363-1 is not prime. Res64: FA8D13C87EF8112B Time : 0.0 sec. user=mdettweiler [2020-11-17 10:45:12] 675*2^1567364-1 is not prime. Res64: 4D286697A93DBDCB Time : 0.0 sec. user=mdettweiler [2020-11-17 10:45:13] 843*2^1567364-1 is not prime. Res64: 8BF35F09033FAAB5 Time : 0.0 sec. user=mdettweiler [2020-11-17 10:45:14] 657*2^1567365-1 is not prime. Res64: 4D76851315866F61 Time : 0.0 sec. user=mdettweiler [2020-11-17 10:45:15] 699*2^1567365-1 is not prime. Res64: 4627309ACB3A4820 Time : 0.0 sec. user=mdettweiler [2020-11-17 10:45:16] 777*2^1567365-1 is not prime. Res64: A1E0FF3182397E8C Time : 0.0 sec. user=mdettweiler [2020-11-17 11:18:48] 695*2^1567360-1 is not prime. Res64: 793ADD41DA23997A Time : 0.0 sec. user=mdettweiler [2020-11-17 11:41:24] 877*2^1567365-1 is not prime. Res64: D6972CA6E843D699 Time : 0.0 sec. user=mdettweiler [2020-11-17 11:41:25] 969*2^1567365-1 is not prime. Res64: 25C7D67B44E34798 Time : 0.0 sec. user=mdettweiler [2020-11-17 11:41:25] 991*2^1567365-1 is not prime. Res64: 3E36A19A7CFE5CD3 Time : 0.0 sec. user=mdettweiler [2020-11-17 11:41:26] 645*2^1567366-1 is not prime. Res64: E346E1AE8D4B7B37 Time : 0.0 sec. user=mdettweiler [2020-11-17 11:41:26] 677*2^1567366-1 is not prime. Res64: 9B46AD092BE5D754 Time : 0.0 sec. user=mdettweiler [2020-11-17 12:13:31] 705*2^1567366-1 is not prime. Res64: FAB13414419CDC86 Time : 0.0 sec. user=mdettweiler [2020-11-17 12:13:32] 755*2^1567366-1 is not prime. Res64: 9E25E1FEA7B63D82 Time : 0.0 sec. user=mdettweiler [2020-11-17 12:13:33] 873*2^1567366-1 is not prime. Res64: 56A3B8AAB6B3E2EA Time : 0.0 sec. user=mdettweiler [2020-11-17 12:13:34] 987*2^1567366-1 is not prime. Res64: 57697C9C5AB823F0 Time : 0.0 sec. user=mdettweiler [2020-11-17 12:13:34] 621*2^1567367-1 is not prime. Res64: D38696B6302A70DF Time : 0.0 sec. user=mdettweiler [2020-11-17 12:36:23] 651*2^1567367-1 is not prime. Res64: D675B46149D26159 Time : 0.0 sec. user=mdettweiler [2020-11-17 12:36:24] 711*2^1567367-1 is not prime. Res64: 4C547A29E7511AEC Time : 0.0 sec. user=mdettweiler [2020-11-17 12:36:24] 729*2^1567367-1 is not prime. Res64: BFEEBF6759A07D72 Time : 0.0 sec. user=mdettweiler [2020-11-17 12:36:25] 879*2^1567367-1 is not prime. Res64: FA51395AA088232A Time : 0.0 sec. user=mdettweiler [2020-11-17 12:36:25] 767*2^1567368-1 is not prime. Res64: CFBBB4C109DAD180 Time : 0.0 sec. user=mdettweiler [2020-11-17 13:07:58] 819*2^1567368-1 is not prime. Res64: BDA933B22EA26A69 Time : 0.0 sec. user=mdettweiler [2020-11-17 13:08:04] 609*2^1567369-1 is not prime. Res64: F222FF0843186A86 Time : 0.0 sec. user=mdettweiler [2020-11-17 13:08:08] 619*2^1567369-1 is not prime. Res64: 0F8F9D6A5C2501B0 Time : 0.0 sec. user=mdettweiler [2020-11-17 13:08:11] 747*2^1567369-1 is not prime. Res64: B24FEC21175738FF Time : 0.0 sec. user=mdettweiler [2020-11-17 13:08:14] 975*2^1567369-1 is not prime. Res64: 0F9ED892F0550D4F Time : 0.0 sec. user=mdettweiler [2020-11-17 13:30:59] 615*2^1567370-1 is not prime. Res64: C2F2BA20ACF2E60A Time : 0.0 sec. user=mdettweiler [2020-11-17 13:30:59] 701*2^1567370-1 is not prime. Res64: C03CB235FDD62E8A Time : 0.0 sec. user=mdettweiler [2020-11-17 13:31:00] 717*2^1567370-1 is not prime. Res64: 4ABB6D3110802B3E Time : 0.0 sec. user=mdettweiler [2020-11-17 13:31:00] 797*2^1567370-1 is not prime. Res64: DE660B30587878C5 Time : 0.0 sec. user=mdettweiler [2020-11-17 13:31:01] 827*2^1567370-1 is not prime. Res64: B7A647172507C879 Time : 0.0 sec. user=mdettweiler [2020-11-17 14:05:29] 831*2^1567370-1 is not prime. Res64: 8D7043C17C4F9F41 Time : 0.0 sec. user=mdettweiler [2020-11-17 14:05:31] 887*2^1567370-1 is not prime. Res64: 37F8B13592D6664B Time : 0.0 sec. user=mdettweiler [2020-11-17 14:05:32] 935*2^1567370-1 is not prime. Res64: 4AA25744991D26EC Time : 0.0 sec. user=mdettweiler [2020-11-17 14:05:34] 625*2^1567371-1 is not prime. Res64: 8593FEFAE2AF7ED2 Time : 0.0 sec. user=mdettweiler [2020-11-17 14:05:36] 783*2^1567371-1 is not prime. Res64: 716B74AB306FF35F Time : 0.0 sec. user=mdettweiler [2020-11-17 14:28:05] 793*2^1567371-1 is not prime. Res64: 335668635D4CB0AA Time : 0.0 sec. user=mdettweiler [2020-11-17 14:28:08] 801*2^1567371-1 is not prime. Res64: 0BAA37B784BA5623 Time : 0.0 sec. user=mdettweiler [2020-11-17 14:28:10] 961*2^1567371-1 is not prime. Res64: A73FDBC449AF0734 Time : 0.0 sec. user=mdettweiler [2020-11-17 14:28:12] 675*2^1567372-1 is not prime. Res64: 91C89A2EB8C297DB Time : 0.0 sec. user=mdettweiler [2020-11-17 14:28:15] 873*2^1567372-1 is not prime. Res64: D86E127296F760F8 Time : 0.0 sec. user=mdettweiler [2020-11-17 15:01:43] 903*2^1567372-1 is not prime. Res64: 8384A1C234A3F6B8 Time : 0.0 sec. user=mdettweiler [2020-11-17 15:01:47] 923*2^1567372-1 is not prime. Res64: D8936BD441E16DC9 Time : 0.0 sec. user=mdettweiler [2020-11-17 15:01:51] 607*2^1567373-1 is not prime. Res64: DD53E6B1D87DC772 Time : 0.0 sec. user=mdettweiler [2020-11-17 15:01:55] 735*2^1567373-1 is not prime. Res64: C60F320A43BDC9BD Time : 0.0 sec. user=mdettweiler [2020-11-17 15:01:59] 925*2^1567373-1 is not prime. Res64: 1A4A28AB34C5B52D Time : 0.0 sec. user=mdettweiler [2020-11-17 15:25:33] 951*2^1567373-1 is not prime. Res64: BF113EAD58B45BB1 Time : 0.0 sec. user=mdettweiler [2020-11-17 15:25:34] 969*2^1567373-1 is not prime. Res64: F1EAA18FB52A5173 Time : 0.0 sec. user=mdettweiler [2020-11-17 15:25:34] 711*2^1567374-1 is not prime. Res64: 6268521C8E731074 Time : 0.0 sec. user=mdettweiler [2020-11-17 15:25:35] 861*2^1567374-1 is not prime. Res64: ABD17ED0E70F0AE0 Time : 0.0 sec. user=mdettweiler [2020-11-17 15:25:35] 873*2^1567374-1 is not prime. Res64: 000D61EF11FD55C2 Time : 0.0 sec. user=mdettweiler [2020-11-17 15:56:28] 903*2^1567374-1 is not prime. Res64: 04544FE96744F735 Time : 0.0 sec. user=mdettweiler [2020-11-17 15:56:29] 601*2^1567375-1 is not prime. Res64: 2A0185FB1D78D450 Time : 0.0 sec. user=mdettweiler [2020-11-17 15:56:29] 679*2^1567375-1 is not prime. Res64: AE7BA0A2492D4060 Time : 0.0 sec. user=mdettweiler [2020-11-17 15:56:30] 693*2^1567375-1 is not prime. Res64: 4F18F960375E0E41 Time : 0.0 sec. user=mdettweiler [2020-11-17 15:56:30] 705*2^1567375-1 is not prime. Res64: EC040C436C98E780 Time : 0.0 sec. user=mdettweiler [2020-11-17 16:23:48] 783*2^1567375-1 is not prime. Res64: 90666007B85FF4A9 Time : 0.0 sec. user=mdettweiler [2020-11-17 16:23:49] 789*2^1567375-1 is not prime. Res64: D9D57E6880CF1BBC Time : 0.0 sec. user=mdettweiler [2020-11-17 16:23:49] 871*2^1567375-1 is not prime. Res64: 9857C7728C18EC54 Time : 0.0 sec. user=mdettweiler [2020-11-17 16:23:50] 909*2^1567375-1 is not prime. Res64: 76A96FF5788920C1 Time : 0.0 sec. user=mdettweiler [2020-11-17 16:23:50] 961*2^1567375-1 is not prime. Res64: B90DF2EDD840B627 Time : 0.0 sec. user=mdettweiler [2020-11-17 16:52:28] 969*2^1567375-1 is not prime. Res64: F66D26FB84495919 Time : 0.0 sec. user=mdettweiler [2020-11-17 16:52:29] 683*2^1567376-1 is not prime. Res64: D7CF39D07558796E Time : 0.0 sec. user=mdettweiler [2020-11-17 16:52:29] 743*2^1567376-1 is not prime. Res64: 85AA70C01CA97B8C Time : 0.0 sec. user=mdettweiler [2020-11-17 16:52:30] 785*2^1567376-1 is not prime. Res64: 176988137C4419B4 Time : 0.0 sec. user=mdettweiler [2020-11-17 16:52:31] 845*2^1567376-1 is not prime. Res64: 730D9AE28FD2FF2D Time : 0.0 sec. user=mdettweiler [2020-11-17 17:17:04] 873*2^1567376-1 is not prime. Res64: 1A89CD7D3A645E2A Time : 0.0 sec. user=mdettweiler [2020-11-17 17:17:05] 609*2^1567377-1 is not prime. Res64: 1F73AD62F025A7A7 Time : 0.0 sec. user=mdettweiler [2020-11-17 17:17:06] 615*2^1567377-1 is not prime. Res64: E72366C5121227F4 Time : 0.0 sec. user=mdettweiler [2020-11-17 17:17:07] 649*2^1567377-1 is not prime. Res64: 84982EC998E64A85 Time : 0.0 sec. user=mdettweiler [2020-11-17 17:17:08] 651*2^1567377-1 is not prime. Res64: FDE7D8BC54F35E65 Time : 0.0 sec. user=mdettweiler [2020-11-17 17:48:28] 769*2^1567377-1 is not prime. Res64: 78C2C5DACADDFB1F Time : 0.0 sec. user=mdettweiler [2020-11-17 17:48:29] 871*2^1567377-1 is not prime. Res64: 3108518EC746D52D Time : 0.0 sec. user=mdettweiler [2020-11-17 17:48:30] 885*2^1567377-1 is not prime. Res64: 8A11C61276E1FE0E Time : 0.0 sec. user=mdettweiler [2020-11-17 17:48:30] 737*2^1567378-1 is not prime. Res64: 3B6E8B02F1EC85A5 Time : 0.0 sec. user=mdettweiler [2020-11-17 17:48:31] 747*2^1567378-1 is not prime. Res64: 4AB4D7531E950588 Time : 0.0 sec. user=mdettweiler [2020-11-17 18:11:55] 833*2^1567378-1 is not prime. Res64: B61792D0ADA74243 Time : 0.0 sec. user=mdettweiler [2020-11-17 18:12:00] 951*2^1567378-1 is not prime. Res64: 1A47F39BDCB0FFDC Time : 0.0 sec. user=mdettweiler [2020-11-17 18:12:07] 619*2^1567379-1 is not prime. Res64: 8CFE00CC1BBC601B Time : 0.0 sec. user=mdettweiler [2020-11-17 18:12:11] 669*2^1567379-1 is not prime. Res64: 450E88BC227951AD Time : 0.0 sec. user=mdettweiler [2020-11-17 18:12:16] 693*2^1567379-1 is not prime. Res64: 248F68BAF2DD1A6B Time : 0.0 sec. user=mdettweiler [2020-11-17 18:44:30] 741*2^1567379-1 is not prime. Res64: F88C0BCB6600CD85 Time : 0.0 sec. user=mdettweiler [2020-11-17 18:44:31] 745*2^1567379-1 is not prime. Res64: A0A0B27E5A6F5C7E Time : 0.0 sec. user=mdettweiler [2020-11-17 18:44:32] 843*2^1567379-1 is not prime. Res64: 565FE17D1289ECA3 Time : 0.0 sec. user=mdettweiler [2020-11-17 18:44:32] 883*2^1567379-1 is not prime. Res64: 88AAB79418B49AC4 Time : 0.0 sec. user=mdettweiler [2020-11-17 18:44:32] 889*2^1567379-1 is not prime. Res64: 61183E9C549D8940 Time : 0.0 sec. user=mdettweiler [2020-11-17 19:10:03] 939*2^1567379-1 is not prime. Res64: 7D7349B777756F06 Time : 0.0 sec. user=mdettweiler [2020-11-17 19:10:04] 993*2^1567379-1 is not prime. Res64: 4255F06253A6037C Time : 0.0 sec. user=mdettweiler [2020-11-17 19:10:04] 737*2^1567380-1 is not prime. Res64: 1F7645DA4F0ECF8A Time : 0.0 sec. user=mdettweiler [2020-11-17 19:10:04] 773*2^1567380-1 is not prime. Res64: 90B6F373A4315AC4 Time : 0.0 sec. user=mdettweiler [2020-11-17 19:10:05] 783*2^1567380-1 is not prime. Res64: 4A2AEA0DB5494CD0 Time : 0.0 sec. user=mdettweiler [2020-11-17 19:42:38] 797*2^1567380-1 is not prime. Res64: 83DD77738E164D42 Time : 0.0 sec. user=mdettweiler [2020-11-17 19:42:39] 809*2^1567380-1 is not prime. Res64: 26A6832EFFEE35C3 Time : 0.0 sec. user=mdettweiler [2020-11-17 19:42:39] 845*2^1567380-1 is not prime. Res64: A788E903BD61E346 Time : 0.0 sec. user=mdettweiler [2020-11-17 19:42:40] 879*2^1567380-1 is not prime. Res64: 3EAF4EBB06117FE8 Time : 0.0 sec. user=mdettweiler [2020-11-17 19:42:40] 893*2^1567380-1 is not prime. Res64: BB1DC954A0934A4D Time : 0.0 sec. user=mdettweiler [2020-11-17 20:06:48] 615*2^1567381-1 is not prime. Res64: 8E8D35949A356A96 Time : 0.0 sec. user=mdettweiler [2020-11-17 20:06:50] 801*2^1567381-1 is not prime. Res64: 12A39D0B9A9CE94E Time : 0.0 sec. user=mdettweiler [2020-11-17 20:06:51] 951*2^1567381-1 is not prime. Res64: 97CF44CDB14A1B8A Time : 0.0 sec. user=mdettweiler [2020-11-17 20:06:53] 975*2^1567381-1 is not prime. Res64: 8E769AC2469F7D2B Time : 0.0 sec. user=mdettweiler [2020-11-17 20:06:54] 999*2^1567381-1 is not prime. Res64: BF56F3B4B8639C82 Time : 0.0 sec. user=mdettweiler [2020-11-17 20:38:19] 627*2^1567382-1 is not prime. Res64: 898D182C79D7CDD7 Time : 0.0 sec. user=mdettweiler [2020-11-17 20:38:20] 705*2^1567382-1 is not prime. Res64: A53FE4E14B3AC910 Time : 0.0 sec. user=mdettweiler [2020-11-17 20:38:20] 815*2^1567382-1 is not prime. Res64: 0E94BC5EC26E5E30 Time : 0.0 sec. user=mdettweiler [2020-11-17 20:38:20] 957*2^1567382-1 is not prime. Res64: 757BC0C2FF845CAF Time : 0.0 sec. user=mdettweiler [2020-11-17 20:38:20] 987*2^1567382-1 is not prime. Res64: 573C9CA3BBCD57B7 Time : 0.0 sec. user=mdettweiler [2020-11-17 21:04:12] 1001*2^1567382-1 is not prime. Res64: 861201666922EAB6 Time : 0.0 sec. user=mdettweiler [2020-11-17 21:04:14] 693*2^1567383-1 is not prime. Res64: 0D3B3AB08BC66A5C Time : 0.0 sec. user=mdettweiler [2020-11-17 21:04:16] 781*2^1567383-1 is not prime. Res64: E0DF37566C5E45DF Time : 0.0 sec. user=mdettweiler [2020-11-17 21:04:17] 789*2^1567383-1 is not prime. Res64: A3F2A61F20FD9693 Time : 0.0 sec. user=mdettweiler [2020-11-17 21:04:19] 853*2^1567383-1 is not prime. Res64: BFB0442C9D11A93F Time : 0.0 sec. user=mdettweiler [2020-11-17 21:34:05] 945*2^1567383-1 is not prime. Res64: 89490F1C75A71C2A Time : 0.0 sec. user=mdettweiler [2020-11-17 21:34:06] 949*2^1567383-1 is not prime. Res64: 07B49D0621270779 Time : 0.0 sec. user=mdettweiler [2020-11-17 21:34:07] 635*2^1567384-1 is not prime. Res64: 8A3BA5E76151A6BD Time : 0.0 sec. user=mdettweiler [2020-11-17 21:34:07] 719*2^1567384-1 is not prime. Res64: AC923A2F0C2431C8 Time : 0.0 sec. user=mdettweiler [2020-11-17 21:34:08] 827*2^1567384-1 is not prime. Res64: 9C36AE94B6A42417 Time : 0.0 sec. user=mdettweiler [2020-11-17 22:00:29] 833*2^1567384-1 is not prime. Res64: F7A09A5915FC14D6 Time : 0.0 sec. user=mdettweiler [2020-11-17 22:00:31] 857*2^1567384-1 is not prime. Res64: C4F9CD814C5EF7FE Time : 0.0 sec. user=mdettweiler [2020-11-17 22:00:34] 873*2^1567384-1 is not prime. Res64: B9B6FF106F612B52 Time : 0.0 sec. user=mdettweiler [2020-11-17 22:00:36] 651*2^1567385-1 is not prime. Res64: E95D3511EA6BAB5C Time : 0.0 sec. user=mdettweiler [2020-11-17 22:00:38] 679*2^1567385-1 is not prime. Res64: E3A68B2FA317546B Time : 0.0 sec. user=mdettweiler [2020-11-17 22:30:09] 691*2^1567385-1 is not prime. Res64: EF266395E290F091 Time : 0.0 sec. user=mdettweiler [2020-11-17 22:30:09] 717*2^1567385-1 is not prime. Res64: F62AA6E6547DFA98 Time : 0.0 sec. user=mdettweiler [2020-11-17 22:30:09] 771*2^1567385-1 is not prime. Res64: 9282D1E1D8821F5C Time : 0.0 sec. user=mdettweiler [2020-11-17 22:30:10] 811*2^1567385-1 is not prime. Res64: E85AAD50569E8A1C Time : 0.0 sec. user=mdettweiler [2020-11-17 22:30:10] 871*2^1567385-1 is not prime. Res64: 7F9C613C99D3A850 Time : 0.0 sec. user=mdettweiler [2020-11-17 22:54:19] 907*2^1567385-1 is not prime. Res64: A269E3E0336C740E Time : 0.0 sec. user=mdettweiler [2020-11-17 22:54:20] 615*2^1567386-1 is not prime. Res64: FCD04D95E2D4D4EF Time : 0.0 sec. user=mdettweiler [2020-11-17 22:54:20] 627*2^1567386-1 is not prime. Res64: E2F4925FB32FEA1A Time : 0.0 sec. user=mdettweiler [2020-11-17 22:54:21] 707*2^1567386-1 is not prime. Res64: 09A500B45224ABAB Time : 0.0 sec. user=mdettweiler [2020-11-17 22:54:21] 741*2^1567386-1 is not prime. Res64: F81B919E4D6E3993 Time : 0.0 sec. user=mdettweiler [2020-11-17 23:28:23] 825*2^1567386-1 is not prime. Res64: 0DAA5D5F4E65DB83 Time : 0.0 sec. user=mdettweiler [2020-11-17 23:28:23] 851*2^1567386-1 is not prime. Res64: 9CF39FBB74A97754 Time : 0.0 sec. user=mdettweiler [2020-11-17 23:28:24] 861*2^1567386-1 is not prime. Res64: 1490F67A259850BC Time : 0.0 sec. user=mdettweiler [2020-11-17 23:28:24] 881*2^1567386-1 is not prime. Res64: A6B64E5B3960D987 Time : 0.0 sec. user=mdettweiler [2020-11-17 23:28:25] 923*2^1567386-1 is not prime. Res64: 87F349FB720316F3 Time : 0.0 sec. user=mdettweiler [2020-11-17 23:51:28] 945*2^1567386-1 is not prime. Res64: 66B14D4F899D1F4A Time : 0.0 sec. user=mdettweiler [2020-11-17 23:51:28] 775*2^1567387-1 is not prime. Res64: 73D03A8C71588FAF Time : 0.0 sec. user=mdettweiler [2020-11-17 23:51:29] 805*2^1567387-1 is not prime. Res64: C980868120BF449C Time : 0.0 sec. user=mdettweiler [2020-11-17 23:51:29] 999*2^1567388-1 is not prime. Res64: 6F1BD5057A7430FD Time : 0.0 sec. user=mdettweiler [2020-11-17 23:51:29] 709*2^1567389-1 is not prime. Res64: 09570CBE484AA07B Time : 0.0 sec.