user=mdettweiler [2020-12-11 11:34:39] 861*2^1567981-1 is not prime. Res64: 17E44430FB45F1C3 Time : 0.0 sec. user=mdettweiler [2020-12-11 11:34:41] 939*2^1567981-1 is not prime. Res64: 9A07D6B86A2D309D Time : 0.0 sec. user=mdettweiler [2020-12-11 11:34:43] 955*2^1567981-1 is not prime. Res64: 38FAACF23F8CB49C Time : 0.0 sec. user=mdettweiler [2020-12-11 11:34:44] 645*2^1567982-1 is not prime. Res64: 0627B75521D0483F Time : 0.0 sec. user=mdettweiler [2020-12-11 11:34:45] 705*2^1567982-1 is not prime. Res64: 796F29A8368BFCF9 Time : 0.0 sec. user=mdettweiler [2020-12-11 11:58:21] 873*2^1567982-1 is not prime. Res64: 8E59728FE9F0F645 Time : 0.0 sec. user=mdettweiler [2020-12-11 11:58:22] 893*2^1567982-1 is not prime. Res64: A4F375AC6B9E205C Time : 0.0 sec. user=mdettweiler [2020-12-11 11:58:23] 945*2^1567982-1 is not prime. Res64: A821D8511EFE8D12 Time : 0.0 sec. user=mdettweiler [2020-12-11 11:58:24] 705*2^1567983-1 is not prime. Res64: C15C3CE7AD636509 Time : 0.0 sec. user=mdettweiler [2020-12-11 11:58:24] 709*2^1567983-1 is not prime. Res64: CBDB77D88315B20C Time : 0.0 sec. user=mdettweiler [2020-12-11 12:30:57] 745*2^1567983-1 is not prime. Res64: F0CB2D0A2EA4512A Time : 0.0 sec. user=mdettweiler [2020-12-11 12:30:58] 763*2^1567983-1 is not prime. Res64: EFFF96EE202B495F Time : 0.0 sec. user=mdettweiler [2020-12-11 12:30:59] 859*2^1567983-1 is not prime. Res64: 83D670EEE91A2B90 Time : 0.0 sec. user=mdettweiler [2020-12-11 12:31:00] 985*2^1567983-1 is not prime. Res64: 9B323B2B3D90DA6B Time : 0.0 sec. user=mdettweiler [2020-12-11 12:31:01] 609*2^1567984-1 is not prime. Res64: 9C4A309EDDBAFC0D Time : 0.0 sec. user=mdettweiler [2020-12-11 12:54:26] 635*2^1567984-1 is not prime. Res64: A946D2EF5AE6F753 Time : 0.0 sec. user=mdettweiler [2020-12-11 12:54:26] 695*2^1567984-1 is not prime. Res64: 1967E8722224F73D Time : 0.0 sec. user=mdettweiler [2020-12-11 12:54:27] 803*2^1567984-1 is not prime. Res64: F21A7275010E0E60 Time : 0.0 sec. user=mdettweiler [2020-12-11 12:54:28] 843*2^1567984-1 is not prime. Res64: 143647D3659878C9 Time : 0.0 sec. user=mdettweiler [2020-12-11 12:54:29] 929*2^1567984-1 is not prime. Res64: 6F107F5BF3944C26 Time : 0.0 sec. user=mdettweiler [2020-12-11 13:25:36] 619*2^1567985-1 is not prime. Res64: 0F3CAF27FB4891A3 Time : 0.0 sec. user=mdettweiler [2020-12-11 13:25:37] 711*2^1567985-1 is not prime. Res64: BAEB5D8E6F98E1E1 Time : 0.0 sec. user=mdettweiler [2020-12-11 13:25:37] 925*2^1567985-1 is not prime. Res64: 74C979ABE3A34889 Time : 0.0 sec. user=mdettweiler [2020-12-11 13:25:38] 985*2^1567985-1 is not prime. Res64: 2F5DC70738B1E19E Time : 0.0 sec. user=mdettweiler [2020-12-11 13:25:38] 735*2^1567986-1 is not prime. Res64: 845667F11CB5F68E Time : 0.0 sec. user=mdettweiler [2020-12-11 13:50:27] 833*2^1567986-1 is not prime. Res64: C0C8472E9341055B Time : 0.0 sec. user=mdettweiler [2020-12-11 13:50:28] 843*2^1567986-1 is not prime. Res64: E4F51698E856E157 Time : 0.0 sec. user=mdettweiler [2020-12-11 13:50:28] 945*2^1567986-1 is not prime. Res64: AC3F3319F7C907B6 Time : 0.0 sec. user=mdettweiler [2020-12-11 13:50:29] 633*2^1567987-1 is not prime. Res64: 97494475660EC89D Time : 0.0 sec. user=mdettweiler [2020-12-11 13:50:29] 639*2^1567987-1 is not prime. Res64: D6E790EAFFF07C72 Time : 0.0 sec. user=mdettweiler [2020-12-11 14:21:35] 675*2^1567987-1 is not prime. Res64: FEEC86086BE97DB9 Time : 0.0 sec. user=mdettweiler [2020-12-11 14:21:36] 715*2^1567987-1 is not prime. Res64: AF7FD96D2784D379 Time : 0.0 sec. user=mdettweiler [2020-12-11 14:21:37] 793*2^1567987-1 is not prime. Res64: 9412082839C859D3 Time : 0.0 sec. user=mdettweiler [2020-12-11 14:21:37] 849*2^1567987-1 is not prime. Res64: 59BC4D123CEDE63C Time : 0.0 sec. user=mdettweiler [2020-12-11 14:21:38] 915*2^1567987-1 is not prime. Res64: DF3F2E8D75C31913 Time : 0.0 sec. user=mdettweiler [2020-12-11 14:46:11] 919*2^1567987-1 is not prime. Res64: 5C3389D558050A9B Time : 0.0 sec. user=mdettweiler [2020-12-11 14:46:11] 951*2^1567987-1 is not prime. Res64: 386FFD873C427529 Time : 0.0 sec. user=mdettweiler [2020-12-11 14:46:12] 979*2^1567987-1 is not prime. Res64: 627FD5A3D21635EA Time : 0.0 sec. user=mdettweiler [2020-12-11 14:46:12] 603*2^1567988-1 is not prime. Res64: 5C076FED379D8B62 Time : 0.0 sec. user=mdettweiler [2020-12-11 14:46:13] 687*2^1567988-1 is not prime. Res64: 46198ACDB10AEE26 Time : 0.0 sec. user=mdettweiler [2020-12-11 15:18:40] 689*2^1567988-1 is not prime. Res64: EB2C4FEA6578405E Time : 0.0 sec. user=mdettweiler [2020-12-11 15:18:41] 753*2^1567988-1 is not prime. Res64: F0283F1649E9E986 Time : 0.0 sec. user=mdettweiler [2020-12-11 15:18:41] 767*2^1567988-1 is not prime. Res64: 311528332D12444C Time : 0.0 sec. user=mdettweiler [2020-12-11 15:18:42] 803*2^1567988-1 is not prime. Res64: 2E1BE6ECACD8506C Time : 0.0 sec. user=mdettweiler [2020-12-11 15:18:42] 825*2^1567988-1 is not prime. Res64: 5C7EF462E5A59792 Time : 0.0 sec. user=mdettweiler [2020-12-11 15:42:11] 899*2^1567988-1 is not prime. Res64: AC0767E20DAC55DA Time : 0.0 sec. user=mdettweiler [2020-12-11 15:42:12] 681*2^1567989-1 is not prime. Res64: C6D161B43ADDA73A Time : 0.0 sec. user=mdettweiler [2020-12-11 15:42:12] 747*2^1567989-1 is not prime. Res64: 65985AEB8AAB352C Time : 0.0 sec. user=mdettweiler [2020-12-11 15:42:13] 817*2^1567989-1 is not prime. Res64: 68C0DC1E772ECB9E Time : 0.0 sec. user=mdettweiler [2020-12-11 15:42:13] 837*2^1567989-1 is not prime. Res64: D77503EE9CC1CDB1 Time : 0.0 sec. user=mdettweiler [2020-12-11 16:13:37] 663*2^1567990-1 is not prime. Res64: E828F27DC7D02EA2 Time : 0.0 sec. user=mdettweiler [2020-12-11 16:13:44] 677*2^1567990-1 is not prime. Res64: 35BF91D19469014B Time : 0.0 sec. user=mdettweiler [2020-12-11 16:13:49] 707*2^1567990-1 is not prime. Res64: 86ED7A90EDAE12FB Time : 0.0 sec. user=mdettweiler [2020-12-11 16:13:53] 785*2^1567990-1 is not prime. Res64: 6445402D7803C774 Time : 0.0 sec. user=mdettweiler [2020-12-11 16:13:57] 857*2^1567990-1 is not prime. Res64: D6A3F4762010FD0E Time : 0.0 sec. user=mdettweiler [2020-12-11 16:37:37] 861*2^1567990-1 is not prime. Res64: A43B901A633FDD67 Time : 0.0 sec. user=mdettweiler [2020-12-11 16:37:38] 917*2^1567990-1 is not prime. Res64: 888D905A4CD994EC Time : 0.0 sec. user=mdettweiler [2020-12-11 16:37:38] 957*2^1567990-1 is not prime. Res64: BA3D9D3737A8F917 Time : 0.0 sec. user=mdettweiler [2020-12-11 16:37:39] 601*2^1567991-1 is not prime. Res64: 7F4CE1EEF09BF9D7 Time : 0.0 sec. user=mdettweiler [2020-12-11 16:37:39] 609*2^1567991-1 is not prime. Res64: C4B2AE433320E124 Time : 0.0 sec. user=mdettweiler [2020-12-11 17:08:30] 643*2^1567991-1 is not prime. Res64: 6318EF63D669A8FE Time : 0.0 sec. user=mdettweiler [2020-12-11 17:08:33] 651*2^1567991-1 is not prime. Res64: 18F02A2B30A898C4 Time : 0.0 sec. user=mdettweiler [2020-12-11 17:08:35] 693*2^1567991-1 is not prime. Res64: F6F23634B455369F Time : 0.0 sec. user=mdettweiler [2020-12-11 17:08:37] 735*2^1567991-1 is not prime. Res64: FF6F4AF7F3037848 Time : 0.0 sec. user=mdettweiler [2020-12-11 17:08:39] 753*2^1567991-1 is not prime. Res64: 3878543EB796CC3E Time : 0.0 sec. user=mdettweiler [2020-12-11 17:35:39] 789*2^1567991-1 is not prime. Res64: 6773944B7A964EBC Time : 0.0 sec. user=mdettweiler [2020-12-11 17:35:40] 811*2^1567991-1 is not prime. Res64: 1AA8D7B38657735D Time : 0.0 sec. user=mdettweiler [2020-12-11 17:35:40] 819*2^1567991-1 is not prime. Res64: 9213E0259E25BF1D Time : 0.0 sec. user=mdettweiler [2020-12-11 17:35:41] 895*2^1567991-1 is not prime. Res64: 0BB6D528337A47F5 Time : 0.0 sec. user=mdettweiler [2020-12-11 17:35:41] 949*2^1567991-1 is not prime. Res64: 82BEA50DECEADDF5 Time : 0.0 sec. user=mdettweiler [2020-12-11 18:04:52] 973*2^1567991-1 is not prime. Res64: E38E92E3E48C4779 Time : 0.0 sec. user=mdettweiler [2020-12-11 18:04:56] 759*2^1567992-1 is not prime. Res64: 3CA64DEFC10F4B74 Time : 0.0 sec. user=mdettweiler [2020-12-11 18:04:59] 825*2^1567992-1 is not prime. Res64: 128652E1BBF44F3E Time : 0.0 sec. user=mdettweiler [2020-12-11 18:05:01] 675*2^1567993-1 is not prime. Res64: D9325CF4FD1F564A Time : 0.0 sec. user=mdettweiler [2020-12-11 18:05:03] 741*2^1567993-1 is not prime. Res64: 40142F68AC26D17D Time : 0.0 sec. user=mdettweiler [2020-12-11 18:31:38] 751*2^1567993-1 is not prime. Res64: BA1537A88566347C Time : 0.0 sec. user=mdettweiler [2020-12-11 18:31:39] 771*2^1567993-1 is not prime. Res64: B055534D63DD2E5F Time : 0.0 sec. user=mdettweiler [2020-12-11 18:31:40] 951*2^1567993-1 is not prime. Res64: B04860B65CAA3CC8 Time : 0.0 sec. user=mdettweiler [2020-12-11 18:31:40] 641*2^1567994-1 is not prime. Res64: 4DA1C63985305B7A Time : 0.0 sec. user=mdettweiler [2020-12-11 18:31:41] 645*2^1567994-1 is not prime. Res64: 67EA113BCCF48883 Time : 0.0 sec. user=mdettweiler [2020-12-11 19:02:58] 651*2^1567994-1 is not prime. Res64: 372F3E30DA13AA64 Time : 0.0 sec. user=mdettweiler [2020-12-11 19:02:59] 755*2^1567994-1 is not prime. Res64: F3EF5A6E7D407C0E Time : 0.0 sec. user=mdettweiler [2020-12-11 19:03:01] 785*2^1567994-1 is not prime. Res64: DFD8796D14978C7A Time : 0.0 sec. user=mdettweiler [2020-12-11 19:03:02] 851*2^1567994-1 is not prime. Res64: 20A1004EE405C600 Time : 0.0 sec. user=mdettweiler [2020-12-11 19:03:04] 887*2^1567994-1 is not prime. Res64: 4A3AE2B851840584 Time : 0.0 sec. user=mdettweiler [2020-12-11 19:27:10] 639*2^1567995-1 is not prime. Res64: EA3A3262372DA12B Time : 0.0 sec. user=mdettweiler [2020-12-11 19:27:11] 679*2^1567995-1 is not prime. Res64: 7741C330B6097F51 Time : 0.0 sec. user=mdettweiler [2020-12-11 19:27:11] 735*2^1567995-1 is not prime. Res64: 5DC05FAB9E4E7368 Time : 0.0 sec. user=mdettweiler [2020-12-11 19:27:12] 819*2^1567995-1 is not prime. Res64: E2A0AA073423BB18 Time : 0.0 sec. user=mdettweiler [2020-12-11 19:27:13] 913*2^1567995-1 is not prime. Res64: 96DBB6AE0780DD03 Time : 0.0 sec. user=mdettweiler [2020-12-11 19:56:05] 609*2^1567996-1 is not prime. Res64: B8FBA454F996AA50 Time : 0.0 sec. user=mdettweiler [2020-12-11 19:56:06] 639*2^1567996-1 is not prime. Res64: 64FF1943E35E63A4 Time : 0.0 sec. user=mdettweiler [2020-12-11 19:56:06] 653*2^1567996-1 is not prime. Res64: 1805113DCF99DD3D Time : 0.0 sec. user=mdettweiler [2020-12-11 19:56:07] 663*2^1567996-1 is not prime. Res64: 404524A3E40BEC7F Time : 0.0 sec. user=mdettweiler [2020-12-11 19:56:07] 677*2^1567996-1 is not prime. Res64: 2F4D1E7C6A697B8C Time : 0.0 sec. user=mdettweiler [2020-12-11 20:22:13] 689*2^1567996-1 is not prime. Res64: DB408C654E975463 Time : 0.0 sec. user=mdettweiler [2020-12-11 20:22:14] 705*2^1567996-1 is not prime. Res64: 8D88796B63A68F5E Time : 0.0 sec. user=mdettweiler [2020-12-11 20:22:14] 749*2^1567996-1 is not prime. Res64: 667058294D0BE49F Time : 0.0 sec. user=mdettweiler [2020-12-11 20:22:15] 777*2^1567996-1 is not prime. Res64: 57B26CFE78669895 Time : 0.0 sec. user=mdettweiler [2020-12-11 20:22:15] 779*2^1567996-1 is not prime. Res64: 050E7CBB1C8B45A9 Time : 0.0 sec. user=mdettweiler [2020-12-11 20:52:56] 803*2^1567996-1 is not prime. Res64: 4BD6AA8006A3FC70 Time : 0.0 sec. user=mdettweiler [2020-12-11 20:52:57] 813*2^1567996-1 is not prime. Res64: 48A4B13A5397C6FF Time : 0.0 sec. user=mdettweiler [2020-12-11 20:52:57] 855*2^1567996-1 is not prime. Res64: 6FA18002E2C298CC Time : 0.0 sec. user=mdettweiler [2020-12-11 20:52:58] 989*2^1567996-1 is not prime. Res64: 29AADBC0351EA9B5 Time : 0.0 sec. user=mdettweiler [2020-12-11 20:52:58] 615*2^1567997-1 is not prime. Res64: E6347725964617DC Time : 0.0 sec. user=mdettweiler [2020-12-11 21:17:18] 699*2^1567997-1 is not prime. Res64: 8FD70E2A9DE4E334 Time : 0.0 sec. user=mdettweiler [2020-12-11 21:17:19] 727*2^1567997-1 is not prime. Res64: 7070085C71AFA44E Time : 0.0 sec. user=mdettweiler [2020-12-11 21:17:19] 735*2^1567997-1 is not prime. Res64: 13F997A7491C82E7 Time : 0.0 sec. user=mdettweiler [2020-12-11 21:17:20] 757*2^1567997-1 is not prime. Res64: 0AB5F0EB8A1C526D Time : 0.0 sec. user=mdettweiler [2020-12-11 21:17:20] 759*2^1567997-1 is not prime. Res64: 0F23361C43BBF3E3 Time : 0.0 sec. user=mdettweiler [2020-12-11 21:50:04] 859*2^1567997-1 is not prime. Res64: 43B1520224F48F01 Time : 0.0 sec. user=mdettweiler [2020-12-11 21:50:05] 937*2^1567997-1 is not prime. Res64: 0C7A675B07A79192 Time : 0.0 sec. user=mdettweiler [2020-12-11 21:50:05] 955*2^1567997-1 is not prime. Res64: 0C25A61059498CFD Time : 0.0 sec. user=mdettweiler [2020-12-11 21:50:06] 985*2^1567997-1 is not prime. Res64: 046E7F5C208DCCCE Time : 0.0 sec. user=mdettweiler [2020-12-11 21:50:06] 635*2^1567998-1 is not prime. Res64: A49A45D88151C832 Time : 0.0 sec. user=mdettweiler [2020-12-11 22:13:27] 681*2^1567998-1 is not prime. Res64: 043BEFDC4D1C756C Time : 0.0 sec. user=mdettweiler [2020-12-11 22:13:27] 713*2^1567998-1 is not prime. Res64: BD992A5EC5392852 Time : 0.0 sec. user=mdettweiler [2020-12-11 22:13:28] 801*2^1567998-1 is not prime. Res64: 16C692E8208EF1F1 Time : 0.0 sec. user=mdettweiler [2020-12-11 22:13:28] 833*2^1567998-1 is not prime. Res64: 6A87D2E3E3442F2B Time : 0.0 sec. user=mdettweiler [2020-12-11 22:13:29] 881*2^1567998-1 is not prime. Res64: B371119D916EB0EC Time : 0.0 sec. user=mdettweiler [2020-12-11 22:43:26] 891*2^1567998-1 is not prime. Res64: 87354006707B2BA4 Time : 0.0 sec. user=mdettweiler [2020-12-11 22:43:27] 601*2^1567999-1 is not prime. Res64: 6F34E1E9207A76E0 Time : 0.0 sec. user=mdettweiler [2020-12-11 22:43:27] 615*2^1567999-1 is not prime. Res64: 3BF52CAB66EA1A30 Time : 0.0 sec. user=mdettweiler [2020-12-11 22:43:28] 663*2^1567999-1 is not prime. Res64: 7FD2AE4289645E71 Time : 0.0 sec. user=mdettweiler [2020-12-11 22:43:28] 679*2^1567999-1 is not prime. Res64: 9DCE60903642DA5C Time : 0.0 sec. user=mdettweiler [2020-12-11 23:07:04] 729*2^1567999-1 is not prime. Res64: 380A7F03B1EC8225 Time : 0.0 sec. user=mdettweiler [2020-12-11 23:07:06] 993*2^1567999-1 is not prime. Res64: D20E6D27308E8D2A Time : 0.0 sec. user=mdettweiler [2020-12-11 23:07:08] 605*2^1568000-1 is not prime. Res64: 02D7DA2ADFC97A4E Time : 0.0 sec. user=mdettweiler [2020-12-11 23:07:10] 735*2^1568000-1 is not prime. Res64: EF609C1FFB5D68AA Time : 0.0 sec. user=mdettweiler [2020-12-11 23:07:12] 743*2^1568000-1 is not prime. Res64: 64A134970195A6FD Time : 0.0 sec. user=mdettweiler [2020-12-11 23:40:34] 875*2^1568000-1 is not prime. Res64: DFBB407C5357E8B7 Time : 0.0 sec. user=mdettweiler [2020-12-11 23:40:35] 963*2^1568000-1 is not prime. Res64: 4892970552042830 Time : 0.0 sec. user=mdettweiler [2020-12-11 23:40:35] 679*2^1568001-1 is not prime. Res64: 4971EFBA1D3F4717 Time : 0.0 sec. user=mdettweiler [2020-12-11 23:40:36] 777*2^1568001-1 is not prime. Res64: F7648EE6209940F2 Time : 0.0 sec. user=mdettweiler [2020-12-11 23:40:36] 871*2^1568001-1 is not prime. Res64: C5E02A2884F956C6 Time : 0.0 sec.