user=mdettweiler [2020-04-20 00:13:26] 909*2^1557819-1 is not prime. Res64: E36E58E7DA9AFF8E Time : 0.0 sec. user=mdettweiler [2020-04-20 00:13:26] 913*2^1557819-1 is not prime. Res64: 63193ECE5E44DE1D Time : 0.0 sec. user=mdettweiler [2020-04-20 00:13:27] 707*2^1557820-1 is not prime. Res64: 563C97D7786D568B Time : 0.0 sec. user=mdettweiler [2020-04-20 00:13:27] 803*2^1557820-1 is not prime. Res64: D3E438AB0CF12ADD Time : 0.0 sec. user=mdettweiler [2020-04-20 00:13:28] 827*2^1557820-1 is not prime. Res64: 3C7BE08D59E83CDE Time : 0.0 sec. user=mdettweiler [2020-04-20 00:17:18] 857*2^1557820-1 is not prime. Res64: DE0EA47C57AF101E Time : 0.0 sec. user=mdettweiler [2020-04-20 00:17:18] 927*2^1557820-1 is not prime. Res64: 9CF85084D52B5505 Time : 0.0 sec. user=mdettweiler [2020-04-20 00:17:19] 939*2^1557820-1 is not prime. Res64: 14B693A30A0DC531 Time : 0.0 sec. user=mdettweiler [2020-04-20 00:17:19] 975*2^1557820-1 is not prime. Res64: 36E84A9B78F79392 Time : 0.0 sec. user=mdettweiler [2020-04-20 00:17:19] 987*2^1557820-1 is not prime. Res64: 18EBEBBE3ED68159 Time : 0.0 sec. user=mdettweiler [2020-04-20 00:46:44] 999*2^1557820-1 is not prime. Res64: BB59FF903BFB3C46 Time : 0.0 sec. user=mdettweiler [2020-04-20 00:46:45] 621*2^1557821-1 is not prime. Res64: 96CB49B49933B054 Time : 0.0 sec. user=mdettweiler [2020-04-20 00:46:45] 691*2^1557821-1 is not prime. Res64: 6B965DB44F0811AB Time : 0.0 sec. user=mdettweiler [2020-04-20 00:46:45] 697*2^1557821-1 is not prime. Res64: AD43D9B7D48B84B0 Time : 0.0 sec. user=mdettweiler [2020-04-20 00:46:46] 727*2^1557821-1 is not prime. Res64: 47CD66515C1B85ED Time : 0.0 sec. user=mdettweiler [2020-04-20 01:07:56] 795*2^1557821-1 is not prime. Res64: AA1B5FCCCADD3278 Time : 0.0 sec. user=mdettweiler [2020-04-20 01:07:59] 879*2^1557821-1 is not prime. Res64: DB3E38F8102057C0 Time : 0.0 sec. user=mdettweiler [2020-04-20 01:08:02] 981*2^1557821-1 is not prime. Res64: 30D1CA63C9B9293E Time : 0.0 sec. user=mdettweiler [2020-04-20 01:08:05] 657*2^1557822-1 is not prime. Res64: AF07AA7F846F8661 Time : 0.0 sec. user=mdettweiler [2020-04-20 01:08:09] 723*2^1557822-1 is not prime. Res64: 0EFD8D47C1594C9F Time : 0.0 sec. user=mdettweiler [2020-04-20 01:10:13] 725*2^1557822-1 is not prime. Res64: 3424B314375AD0A3 Time : 0.0 sec. user=mdettweiler [2020-04-20 01:10:15] 741*2^1557822-1 is not prime. Res64: FDC07A8C3242F3CE Time : 0.0 sec. user=mdettweiler [2020-04-20 01:10:16] 747*2^1557822-1 is not prime. Res64: 1025C5102A49D538 Time : 0.0 sec. user=mdettweiler [2020-04-20 01:10:18] 777*2^1557822-1 is not prime. Res64: B922B9FFCB3FE6DF Time : 0.0 sec. user=mdettweiler [2020-04-20 01:10:20] 791*2^1557822-1 is not prime. Res64: 45FEF0D70920CA85 Time : 0.0 sec. user=mdettweiler [2020-04-20 01:44:06] 807*2^1557822-1 is not prime. Res64: CECF3D4F424A5075 Time : 0.0 sec. user=mdettweiler [2020-04-20 01:44:09] 875*2^1557822-1 is not prime. Res64: 12BB901A38234011 Time : 0.0 sec. user=mdettweiler [2020-04-20 01:44:12] 887*2^1557822-1 is not prime. Res64: 558455D75294A624 Time : 0.0 sec. user=mdettweiler [2020-04-20 01:44:15] 941*2^1557822-1 is not prime. Res64: B2C2EFE77A4314EE Time : 0.0 sec. user=mdettweiler [2020-04-20 01:44:17] 951*2^1557822-1 is not prime. Res64: 4C5D0E5418FC35BE Time : 0.0 sec. user=mdettweiler [2020-04-20 02:01:54] 619*2^1557823-1 is not prime. Res64: F1DDC32FD8E34DE4 Time : 0.0 sec. user=mdettweiler [2020-04-20 02:03:48] 813*2^1557824-1 is not prime. Res64: 44C3AB4FFCFF6BA4 Time : 0.0 sec. user=mdettweiler [2020-04-20 02:03:53] 969*2^1557824-1 is not prime. Res64: 3251DEF29BA942E5 Time : 0.0 sec. user=mdettweiler [2020-04-20 02:03:57] 625*2^1557825-1 is not prime. Res64: 4C5DC515E693A769 Time : 0.0 sec. user=mdettweiler [2020-04-20 02:04:02] 679*2^1557825-1 is not prime. Res64: 0B8633C644604AB4 Time : 0.0 sec. user=mdettweiler [2020-04-20 02:04:06] 751*2^1557825-1 is not prime. Res64: B0F6DAB1CE558DF1 Time : 0.0 sec. user=mdettweiler [2020-04-20 02:41:57] 795*2^1557825-1 is not prime. Res64: C2FCA49DEBFCA1D5 Time : 0.0 sec. user=mdettweiler [2020-04-20 02:41:58] 861*2^1557825-1 is not prime. Res64: B9AD1BD35A4AB77B Time : 0.0 sec. user=mdettweiler [2020-04-20 02:41:58] 895*2^1557825-1 is not prime. Res64: F54C1FACDAC87919 Time : 0.0 sec. user=mdettweiler [2020-04-20 02:41:59] 919*2^1557825-1 is not prime. Res64: E165797ACAC6C84B Time : 0.0 sec. user=mdettweiler [2020-04-20 02:41:59] 985*2^1557825-1 is not prime. Res64: 81C3E55D3F491A6C Time : 0.0 sec. user=mdettweiler [2020-04-20 02:58:29] 617*2^1557826-1 is not prime. Res64: 5C4AA543D68B4AFD Time : 0.0 sec. user=mdettweiler [2020-04-20 02:58:29] 623*2^1557826-1 is not prime. Res64: 569D05680B004522 Time : 0.0 sec. user=mdettweiler [2020-04-20 02:58:30] 735*2^1557826-1 is not prime. Res64: AC806338CEF36FFB Time : 0.0 sec. user=mdettweiler [2020-04-20 02:58:30] 843*2^1557826-1 is not prime. Res64: 9867A5FFBC1F2748 Time : 0.0 sec. user=mdettweiler [2020-04-20 02:58:31] 867*2^1557826-1 is not prime. Res64: D24ACD557C41F9ED Time : 0.0 sec. user=mdettweiler [2020-04-20 03:37:01] 881*2^1557826-1 is not prime. Res64: 96DA7C137F73E15A Time : 0.0 sec. user=mdettweiler [2020-04-20 03:37:04] 619*2^1557827-1 is not prime. Res64: 745FF6717B8C7B11 Time : 0.0 sec. user=mdettweiler [2020-04-20 03:37:05] 703*2^1557827-1 is not prime. Res64: E85F57DD5711635E Time : 0.0 sec. user=mdettweiler [2020-04-20 03:37:06] 801*2^1557827-1 is not prime. Res64: C6676FFC972CD8FB Time : 0.0 sec. user=mdettweiler [2020-04-20 03:37:07] 999*2^1557827-1 is not prime. Res64: AC7F3C0CC3A13154 Time : 0.0 sec. user=mdettweiler [2020-04-20 03:54:43] 663*2^1557828-1 is not prime. Res64: 90FC7949AA6276ED Time : 0.0 sec. user=mdettweiler [2020-04-20 03:54:45] 789*2^1557828-1 is not prime. Res64: 9ED950962C0DE284 Time : 0.0 sec. user=mdettweiler [2020-04-20 03:54:46] 893*2^1557828-1 is not prime. Res64: 737B9F0F803A3295 Time : 0.0 sec. user=mdettweiler [2020-04-20 03:54:47] 899*2^1557828-1 is not prime. Res64: ADEAF0B8D73F3674 Time : 0.0 sec. user=mdettweiler [2020-04-20 03:54:49] 945*2^1557828-1 is not prime. Res64: 060F2247A7AA7980 Time : 0.0 sec. user=mdettweiler [2020-04-20 04:32:36] 959*2^1557828-1 is not prime. Res64: 94B5DCFC3F4BB5D5 Time : 0.0 sec. user=mdettweiler [2020-04-20 04:32:37] 999*2^1557828-1 is not prime. Res64: CE50DCCA38D25B6A Time : 0.0 sec. user=mdettweiler [2020-04-20 04:32:38] 619*2^1557829-1 is not prime. Res64: 5002D5091AA1C0F7 Time : 0.0 sec. user=mdettweiler [2020-04-20 04:32:38] 769*2^1557829-1 is not prime. Res64: 2182814EC658A037 Time : 0.0 sec. user=mdettweiler [2020-04-20 04:32:39] 775*2^1557829-1 is not prime. Res64: C8CC43AFDBC65FF6 Time : 0.0 sec. user=mdettweiler [2020-04-20 04:51:16] 811*2^1557829-1 is not prime. Res64: D5A343A2C89406F8 Time : 0.0 sec. user=mdettweiler [2020-04-20 04:51:17] 895*2^1557829-1 is not prime. Res64: 0CBD0FCF49E38B81 Time : 0.0 sec. user=mdettweiler [2020-04-20 04:51:17] 951*2^1557829-1 is not prime. Res64: 1E7F8B268D03A654 Time : 0.0 sec. user=mdettweiler [2020-04-20 04:51:17] 975*2^1557829-1 is not prime. Res64: C7417DEF46B9BECF Time : 0.0 sec. user=mdettweiler [2020-04-20 04:51:18] 665*2^1557830-1 is not prime. Res64: 9384BE0DB1F75613 Time : 0.0 sec. user=mdettweiler [2020-04-20 05:28:34] 677*2^1557830-1 is not prime. Res64: 6CADFF1FBC853BFC Time : 0.0 sec. user=mdettweiler [2020-04-20 05:28:34] 717*2^1557830-1 is not prime. Res64: A69C8045139D0EB8 Time : 0.0 sec. user=mdettweiler [2020-04-20 05:28:35] 861*2^1557830-1 is not prime. Res64: 1FE91F7A4586E0DD Time : 0.0 sec. user=mdettweiler [2020-04-20 05:28:35] 893*2^1557830-1 is not prime. Res64: 948156D73F49ACBA Time : 0.0 sec. user=mdettweiler [2020-04-20 05:28:36] 987*2^1557830-1 is not prime. Res64: CDE9864506B243BF Time : 0.0 sec. user=mdettweiler [2020-04-20 05:45:49] 995*2^1557830-1 is not prime. Res64: A3ABDD9B27A2AB18 Time : 0.0 sec. user=mdettweiler [2020-04-20 05:45:49] 705*2^1557831-1 is not prime. Res64: 9C2FA4D8958ACBA2 Time : 0.0 sec. user=mdettweiler [2020-04-20 05:45:50] 711*2^1557831-1 is not prime. Res64: A8FBE67238A98B3E Time : 0.0 sec. user=mdettweiler [2020-04-20 05:45:50] 723*2^1557831-1 is not prime. Res64: 2516B27D1FDCE210 Time : 0.0 sec. user=mdettweiler [2020-04-20 05:45:50] 861*2^1557831-1 is not prime. Res64: 1B08B4D09F408319 Time : 0.0 sec. user=mdettweiler [2020-04-20 06:23:05] 909*2^1557831-1 is not prime. Res64: 667D6A3B9104A198 Time : 0.0 sec. user=mdettweiler [2020-04-20 06:23:06] 605*2^1557832-1 is not prime. Res64: F5639BE60A6C204C Time : 0.0 sec. user=mdettweiler [2020-04-20 06:23:06] 677*2^1557832-1 is not prime. Res64: 74E174F6EC44352C Time : 0.0 sec. user=mdettweiler [2020-04-20 06:23:07] 705*2^1557832-1 is not prime. Res64: CCD943BAAB8664E3 Time : 0.0 sec. user=mdettweiler [2020-04-20 06:23:07] 875*2^1557832-1 is not prime. Res64: 340B2E154EB3D9A9 Time : 0.0 sec. user=mdettweiler [2020-04-20 06:40:38] 903*2^1557832-1 is not prime. Res64: DF04DA7F7FD3DE4E Time : 0.0 sec. user=mdettweiler [2020-04-20 06:40:38] 615*2^1557833-1 is not prime. Res64: FFBF3F8BB5154A1C Time : 0.0 sec. user=mdettweiler [2020-04-20 06:40:39] 691*2^1557833-1 is not prime. Res64: 761F04491A70E1E7 Time : 0.0 sec. user=mdettweiler [2020-04-20 06:40:39] 795*2^1557833-1 is not prime. Res64: B8764B50FAF05A42 Time : 0.0 sec. user=mdettweiler [2020-04-20 06:40:39] 861*2^1557833-1 is not prime. Res64: 1780BFC8EB25D712 Time : 0.0 sec. user=mdettweiler [2020-04-20 06:55:36] 663*2^1557823-1 is not prime. Res64: FBE46D5F899C86F3 Time : 0.0 sec. user=mdettweiler [2020-04-20 06:55:36] 775*2^1557823-1 is not prime. Res64: 6EF4C1347709E3CF Time : 0.0 sec. user=mdettweiler [2020-04-20 06:55:37] 901*2^1557823-1 is not prime. Res64: 3060BD7D21FEF185 Time : 0.0 sec. user=mdettweiler [2020-04-20 06:55:37] 755*2^1557824-1 is not prime. Res64: 21BE27CFBBB8B133 Time : 0.0 sec. user=mdettweiler [2020-04-20 07:17:48] 871*2^1557833-1 is not prime. Res64: E519C23C8112A4D6 Time : 0.0 sec. user=mdettweiler [2020-04-20 07:17:49] 979*2^1557833-1 is not prime. Res64: 3AD9B18DEB0CC180 Time : 0.0 sec. user=mdettweiler [2020-04-20 07:17:50] 621*2^1557834-1 is not prime. Res64: D18435C9082538F1 Time : 0.0 sec. user=mdettweiler [2020-04-20 07:17:50] 651*2^1557834-1 is not prime. Res64: 5D2DF2FC214F2E6B Time : 0.0 sec. user=mdettweiler [2020-04-20 07:17:51] 851*2^1557834-1 is not prime. Res64: 0BD52A3D202EE607 Time : 0.0 sec. user=mdettweiler [2020-04-20 07:33:25] 921*2^1557834-1 is not prime. Res64: A970B0592BEA3CD5 Time : 0.0 sec. user=mdettweiler [2020-04-20 07:33:26] 673*2^1557835-1 is not prime. Res64: 5A03E9F85A67D477 Time : 0.0 sec. user=mdettweiler [2020-04-20 07:33:26] 685*2^1557835-1 is not prime. Res64: F7FE2AA1F97EABD7 Time : 0.0 sec. user=mdettweiler [2020-04-20 07:33:27] 693*2^1557835-1 is not prime. Res64: 469DDE38E835FA46 Time : 0.0 sec. user=mdettweiler [2020-04-20 07:33:27] 723*2^1557835-1 is not prime. Res64: B3E4C346A06971DD Time : 0.0 sec. user=mdettweiler [2020-04-20 07:50:39] 765*2^1557835-1 is not prime. Res64: B8E3A82555D4B6F7 Time : 0.0 sec. user=mdettweiler [2020-04-20 07:50:39] 771*2^1557835-1 is not prime. Res64: EC98080425589D14 Time : 0.0 sec. user=mdettweiler [2020-04-20 07:50:39] 789*2^1557835-1 is not prime. Res64: F69F45486D0E0368 Time : 0.0 sec. user=mdettweiler [2020-04-20 07:50:40] 925*2^1557835-1 is not prime. Res64: 7016A44EC413CB7B Time : 0.0 sec. user=mdettweiler [2020-04-20 07:50:40] 961*2^1557835-1 is not prime. Res64: DA7E7C95C25E033D Time : 0.0 sec. user=mdettweiler [2020-04-20 08:09:50] 617*2^1557836-1 is not prime. Res64: F305BAB4C3DEEF7A Time : 0.0 sec. user=mdettweiler [2020-04-20 08:09:54] 657*2^1557836-1 is not prime. Res64: BA905E828C1E9E31 Time : 0.0 sec. user=mdettweiler [2020-04-20 08:09:57] 699*2^1557836-1 is not prime. Res64: 294B4E79CA2C9243 Time : 0.0 sec. user=mdettweiler [2020-04-20 08:10:00] 749*2^1557836-1 is not prime. Res64: 877477A96CF614F9 Time : 0.0 sec. user=mdettweiler [2020-04-20 08:10:03] 773*2^1557836-1 is not prime. Res64: D18069E3A23C70C3 Time : 0.0 sec. user=mdettweiler [2020-04-20 08:28:09] 785*2^1557836-1 is not prime. Res64: 235B22B059755989 Time : 0.0 sec. user=mdettweiler [2020-04-20 08:28:10] 953*2^1557836-1 is not prime. Res64: 7A2368A1F3B327F4 Time : 0.0 sec. user=mdettweiler [2020-04-20 08:28:10] 957*2^1557836-1 is not prime. Res64: F3F241C1E6832A46 Time : 0.0 sec. user=mdettweiler [2020-04-20 08:28:11] 627*2^1557837-1 is not prime. Res64: 4A59F2C148FD18B8 Time : 0.0 sec. user=mdettweiler [2020-04-20 08:28:11] 727*2^1557837-1 is not prime. Res64: 8800E5C081CE1625 Time : 0.0 sec. user=mdettweiler [2020-04-20 08:46:29] 781*2^1557837-1 is not prime. Res64: C1ECF36A6EF945AE Time : 0.0 sec. user=mdettweiler [2020-04-20 08:46:29] 889*2^1557837-1 is not prime. Res64: 694F0B0E224DCC6B Time : 0.0 sec. user=mdettweiler [2020-04-20 08:46:30] 901*2^1557837-1 is not prime. Res64: 2049E54BBC1ADEB9 Time : 0.0 sec. user=mdettweiler [2020-04-20 08:46:30] 985*2^1557837-1 is not prime. Res64: FD8663247D57096A Time : 0.0 sec. user=mdettweiler [2020-04-20 08:46:30] 611*2^1557838-1 is not prime. Res64: 35D8400D449C9B63 Time : 0.0 sec. user=mdettweiler [2020-04-20 09:03:37] 645*2^1557838-1 is not prime. Res64: CD2E28BBD4E80E5A Time : 0.0 sec. user=mdettweiler [2020-04-20 09:03:39] 681*2^1557838-1 is not prime. Res64: 35FA73AF7348FDDD Time : 0.0 sec. user=mdettweiler [2020-04-20 09:03:40] 945*2^1557838-1 is not prime. Res64: 3E19987653CBDD0E Time : 0.0 sec. user=mdettweiler [2020-04-20 09:03:41] 645*2^1557839-1 is not prime. Res64: EE7EE47E2126ABA9 Time : 0.0 sec. user=mdettweiler [2020-04-20 09:03:43] 685*2^1557839-1 is not prime. Res64: CF4AD324F2ADC53A Time : 0.0 sec. user=mdettweiler [2020-04-20 09:24:17] 729*2^1557839-1 is not prime. Res64: 0DCB7B71D201BCBD Time : 0.0 sec. user=mdettweiler [2020-04-20 09:24:17] 855*2^1557839-1 is not prime. Res64: FB979546016D9761 Time : 0.0 sec. user=mdettweiler [2020-04-20 09:24:18] 909*2^1557839-1 is not prime. Res64: 90BBD5BF27C6B048 Time : 0.0 sec. user=mdettweiler [2020-04-20 09:24:18] 921*2^1557839-1 is not prime. Res64: 1871B060BE49DA95 Time : 0.0 sec. user=mdettweiler [2020-04-20 09:24:19] 949*2^1557839-1 is not prime. Res64: 950E0DE8A7A2F0E9 Time : 0.0 sec. user=mdettweiler [2020-04-20 09:39:58] 979*2^1557839-1 is not prime. Res64: C1E2B354ADA8E6F5 Time : 0.0 sec. user=mdettweiler [2020-04-20 09:39:58] 609*2^1557840-1 is not prime. Res64: 3D4438584192FEF4 Time : 0.0 sec. user=mdettweiler [2020-04-20 09:39:59] 623*2^1557840-1 is not prime. Res64: 2A2CC8B5F0AC9EA4 Time : 0.0 sec. user=mdettweiler [2020-04-20 09:39:59] 779*2^1557840-1 is not prime. Res64: F3192D39D9A98C1D Time : 0.0 sec. user=mdettweiler [2020-04-20 09:40:00] 795*2^1557840-1 is not prime. Res64: 8E98579389E008E6 Time : 0.0 sec. user=mdettweiler [2020-04-20 09:58:24] 839*2^1557840-1 is not prime. Res64: B0AE971BC6D6966B Time : 0.0 sec. user=mdettweiler [2020-04-20 09:58:25] 863*2^1557840-1 is not prime. Res64: 7F86ACE635767A01 Time : 0.0 sec. user=mdettweiler [2020-04-20 09:58:25] 959*2^1557840-1 is not prime. Res64: 05BC4A511C929234 Time : 0.0 sec. user=mdettweiler [2020-04-20 09:58:26] 601*2^1557841-1 is not prime. Res64: 6D41A40E787EB83D Time : 0.0 sec. user=mdettweiler [2020-04-20 09:58:26] 607*2^1557841-1 is not prime. Res64: 36103257EC8363A7 Time : 0.0 sec. user=mdettweiler [2020-04-20 10:17:30] 717*2^1557841-1 is not prime. Res64: 53683D78815823A4 Time : 0.0 sec. user=mdettweiler [2020-04-20 10:17:30] 769*2^1557841-1 is not prime. Res64: 39A426D3C3E6004D Time : 0.0 sec. user=mdettweiler [2020-04-20 10:17:31] 939*2^1557841-1 is not prime. Res64: D8FE2BF391C8B2D5 Time : 0.0 sec. user=mdettweiler [2020-04-20 10:17:32] 671*2^1557842-1 is not prime. Res64: 59633CC46F37A90A Time : 0.0 sec. user=mdettweiler [2020-04-20 10:17:32] 675*2^1557842-1 is not prime. Res64: 95CB999926F8279A Time : 0.0 sec. user=mdettweiler [2020-04-20 10:31:57] 677*2^1557842-1 is not prime. Res64: 60F8C05E4B1AD247 Time : 0.0 sec. user=mdettweiler [2020-04-20 10:31:57] 705*2^1557842-1 is not prime. Res64: B4431FBE486389A0 Time : 0.0 sec. user=mdettweiler [2020-04-20 10:31:58] 711*2^1557842-1 is not prime. Res64: FFAC20D35F40BC52 Time : 0.0 sec. user=mdettweiler [2020-04-20 10:31:58] 785*2^1557842-1 is not prime. Res64: 67F58DF9DEF083DE Time : 0.0 sec. user=mdettweiler [2020-04-20 10:31:59] 801*2^1557842-1 is not prime. Res64: 892FF043B942D855 Time : 0.0 sec. user=mdettweiler [2020-04-20 10:54:37] 813*2^1557842-1 is not prime. Res64: 1E0E57918508E349 Time : 0.0 sec. user=mdettweiler [2020-04-20 10:54:38] 831*2^1557842-1 is not prime. Res64: 438541D1D0FC5AF6 Time : 0.0 sec. user=mdettweiler [2020-04-20 10:54:38] 867*2^1557842-1 is not prime. Res64: 768C0FD1B80A8E93 Time : 0.0 sec. user=mdettweiler [2020-04-20 10:54:39] 887*2^1557842-1 is not prime. Res64: 090B2CF9198CDC1C Time : 0.0 sec. user=mdettweiler [2020-04-20 10:54:39] 915*2^1557842-1 is not prime. Res64: 2D2E0C70A91DDD80 Time : 0.0 sec. user=mdettweiler [2020-04-20 11:14:55] 981*2^1557842-1 is not prime. Res64: 89C557053DD0D5AC Time : 0.0 sec. user=mdettweiler [2020-04-20 11:14:56] 783*2^1557843-1 is not prime. Res64: 6559DE06B46845D4 Time : 0.0 sec. user=mdettweiler [2020-04-20 11:14:56] 873*2^1557843-1 is not prime. Res64: 8078CBDFF30A8BA7 Time : 0.0 sec. user=mdettweiler [2020-04-20 11:14:57] 885*2^1557843-1 is not prime. Res64: 96DDE079ADB2CAB9 Time : 0.0 sec. user=mdettweiler [2020-04-20 11:14:57] 961*2^1557843-1 is not prime. Res64: A13C8BCF1978D87E Time : 0.0 sec. user=mdettweiler [2020-04-20 11:23:36] 615*2^1557844-1 is not prime. Res64: BA320BF7CE05A6DE Time : 0.0 sec. user=mdettweiler [2020-04-20 11:23:37] 617*2^1557844-1 is not prime. Res64: 1BE39F84F11292C6 Time : 0.0 sec. user=mdettweiler [2020-04-20 11:23:38] 677*2^1557844-1 is not prime. Res64: 77ABD8D69ED11122 Time : 0.0 sec. user=mdettweiler [2020-04-20 11:23:38] 723*2^1557844-1 is not prime. Res64: ECD47847072F3631 Time : 0.0 sec. user=mdettweiler [2020-04-20 11:23:39] 813*2^1557844-1 is not prime. Res64: 95AC06E4947F308D Time : 0.0 sec. user=mdettweiler [2020-04-20 11:50:08] 873*2^1557844-1 is not prime. Res64: ECD8D1775F548036 Time : 0.0 sec. user=mdettweiler [2020-04-20 11:50:08] 885*2^1557844-1 is not prime. Res64: 1948FA73B7AABE80 Time : 0.0 sec. user=mdettweiler [2020-04-20 11:50:09] 899*2^1557844-1 is not prime. Res64: 1CA3FB4F384AA1C8 Time : 0.0 sec. user=mdettweiler [2020-04-20 11:50:09] 685*2^1557845-1 is not prime. Res64: A3FA9594C29F3291 Time : 0.0 sec. user=mdettweiler [2020-04-20 11:50:10] 717*2^1557845-1 is not prime. Res64: CCBB7905754105AE Time : 0.0 sec. user=mdettweiler [2020-04-20 12:10:50] 721*2^1557845-1 is not prime. Res64: B33C8279FD0BB929 Time : 0.0 sec. user=mdettweiler [2020-04-20 12:10:54] 741*2^1557845-1 is not prime. Res64: 4DF9783723EA88F3 Time : 0.0 sec. user=mdettweiler [2020-04-20 12:15:44] 841*2^1557847-1 is not prime. Res64: A9A9F4E8AA057832 Time : 0.0 sec. user=mdettweiler [2020-04-20 12:15:44] 629*2^1557848-1 is not prime. Res64: 901BF312266EA104 Time : 0.0 sec. user=mdettweiler [2020-04-20 12:15:45] 657*2^1557848-1 is not prime. Res64: F865D0EB11029A0A Time : 0.0 sec. user=mdettweiler [2020-04-20 12:15:46] 681*2^1557849-1 is not prime. Res64: 3218F17CD4D71888 Time : 0.0 sec. user=mdettweiler [2020-04-20 12:15:46] 735*2^1557849-1 is not prime. Res64: 8AE1862EE77C3420 Time : 0.0 sec. user=mdettweiler [2020-04-20 12:43:46] 745*2^1557849-1 is not prime. Res64: D5EDBB46EAFC448F Time : 0.0 sec. user=mdettweiler [2020-04-20 12:43:46] 747*2^1557849-1 is not prime. Res64: F0990A4E54AB6563 Time : 0.0 sec. user=mdettweiler [2020-04-20 12:43:47] 895*2^1557849-1 is not prime. Res64: 8FCC7C6FF08C0790 Time : 0.0 sec. user=mdettweiler [2020-04-20 12:43:48] 657*2^1557850-1 is not prime. Res64: 8FE2F3C903A2C4E6 Time : 0.0 sec. user=mdettweiler [2020-04-20 12:43:48] 681*2^1557850-1 is not prime. Res64: 09C57328713C97EE Time : 0.0 sec. user=mdettweiler [2020-04-20 13:12:04] 911*2^1557850-1 is not prime. Res64: 00F11D0E0D550C18 Time : 0.0 sec. user=mdettweiler [2020-04-20 13:12:04] 945*2^1557850-1 is not prime. Res64: 1E2F7335815D75E6 Time : 0.0 sec. user=mdettweiler [2020-04-20 13:12:05] 669*2^1557851-1 is not prime. Res64: BD027AFAB374F887 Time : 0.0 sec. user=mdettweiler [2020-04-20 13:12:06] 781*2^1557851-1 is not prime. Res64: 0F90FBA160A664D0 Time : 0.0 sec. user=mdettweiler [2020-04-20 13:12:06] 979*2^1557851-1 is not prime. Res64: 1913FCA86967FA56 Time : 0.0 sec. user=mdettweiler [2020-04-20 13:37:54] 627*2^1557852-1 is not prime. Res64: 843A6AEA83B39A05 Time : 0.0 sec. user=mdettweiler [2020-04-20 13:37:55] 843*2^1557852-1 is not prime. Res64: 295734BB28960308 Time : 0.0 sec. user=mdettweiler [2020-04-20 13:37:55] 857*2^1557852-1 is not prime. Res64: E7551F818A1ABD39 Time : 0.0 sec. user=mdettweiler [2020-04-20 13:37:56] 915*2^1557852-1 is not prime. Res64: 4EEBCDF615CECAB0 Time : 0.0 sec. user=mdettweiler [2020-04-20 13:37:56] 727*2^1557853-1 is not prime. Res64: A3B05B03E79F6385 Time : 0.0 sec. user=mdettweiler [2020-04-20 14:08:25] 919*2^1557853-1 is not prime. Res64: 19345B86D2403FA7 Time : 0.0 sec. user=mdettweiler [2020-04-20 14:08:26] 955*2^1557853-1 is not prime. Res64: CABE90CEC83003D8 Time : 0.0 sec. user=mdettweiler [2020-04-20 14:08:26] 979*2^1557853-1 is not prime. Res64: 2E52237F7556FB8A Time : 0.0 sec. user=mdettweiler [2020-04-20 14:08:27] 635*2^1557854-1 is not prime. Res64: 4B46744B703B3AC9 Time : 0.0 sec. user=mdettweiler [2020-04-20 14:08:27] 743*2^1557854-1 is not prime. Res64: 37D85E3CAFCBCFDF Time : 0.0 sec. user=mdettweiler [2020-04-20 14:33:01] 747*2^1557854-1 is not prime. Res64: 81B4A70B54208D86 Time : 0.0 sec. user=mdettweiler [2020-04-20 14:33:02] 785*2^1557854-1 is not prime. Res64: F41C87E92A5AD73E Time : 0.0 sec. user=mdettweiler [2020-04-20 14:33:02] 887*2^1557854-1 is not prime. Res64: 7732A15DE1A2C4A5 Time : 0.0 sec. user=mdettweiler [2020-04-20 14:33:03] 685*2^1557855-1 is not prime. Res64: FDD1D68AF69C9B4D Time : 0.0 sec. user=mdettweiler [2020-04-20 14:33:03] 913*2^1557855-1 is not prime. Res64: 28098F86D5E8D29D Time : 0.0 sec. user=mdettweiler [2020-04-20 15:05:59] 963*2^1557855-1 is not prime. Res64: 3375A809D0E17081 Time : 0.0 sec. user=mdettweiler [2020-04-20 15:06:03] 973*2^1557855-1 is not prime. Res64: A296B0477B890EDA Time : 0.0 sec. user=mdettweiler [2020-04-20 15:06:05] 999*2^1557855-1 is not prime. Res64: ADA0EA8C5169988E Time : 0.0 sec. user=mdettweiler [2020-04-20 15:06:06] 803*2^1557856-1 is not prime. Res64: 5856D76ACCAD2F61 Time : 0.0 sec. user=mdettweiler [2020-04-20 15:06:08] 965*2^1557856-1 is not prime. Res64: 92450BF468B0B46C Time : 0.0 sec. user=mdettweiler [2020-04-20 15:27:02] 651*2^1557857-1 is not prime. Res64: 6D130DA0D3C5CABF Time : 0.0 sec. user=mdettweiler [2020-04-20 15:27:03] 747*2^1557857-1 is not prime. Res64: D1E6220F27288B70 Time : 0.0 sec. user=mdettweiler [2020-04-20 15:27:03] 769*2^1557857-1 is not prime. Res64: F3FF537B7CA9FF37 Time : 0.0 sec. user=mdettweiler [2020-04-20 15:27:04] 799*2^1557857-1 is not prime. Res64: 17CA30B34BF0B5B2 Time : 0.0 sec. user=mdettweiler [2020-04-20 15:27:04] 885*2^1557857-1 is not prime. Res64: F6552908F114C192 Time : 0.0 sec. user=mdettweiler [2020-04-20 16:01:39] 901*2^1557857-1 is not prime. Res64: 7F09BC703F2877CF Time : 0.0 sec. user=mdettweiler [2020-04-20 16:01:43] 957*2^1557857-1 is not prime. Res64: 4B0AD84B334E33E5 Time : 0.0 sec. user=mdettweiler [2020-04-20 16:01:46] 621*2^1557858-1 is not prime. Res64: A1F5D00E3E1F5F50 Time : 0.0 sec. user=mdettweiler [2020-04-20 16:01:48] 773*2^1557858-1 is not prime. Res64: 0874E862F8BFF265 Time : 0.0 sec. user=mdettweiler [2020-04-20 16:01:52] 797*2^1557858-1 is not prime. Res64: 3BDA7B453BBC422B Time : 0.0 sec. user=mdettweiler [2020-04-20 16:20:33] 815*2^1557858-1 is not prime. Res64: 5D69FF5171E6FF7D Time : 0.0 sec. user=mdettweiler [2020-04-20 16:20:33] 977*2^1557858-1 is not prime. Res64: 408485406BC2E024 Time : 0.0 sec. user=mdettweiler [2020-04-20 16:20:34] 631*2^1557859-1 is not prime. Res64: 3CB538FD8F91C6F0 Time : 0.0 sec. user=mdettweiler [2020-04-20 16:20:35] 645*2^1557859-1 is not prime. Res64: 6F88B6FE861B3042 Time : 0.0 sec. user=mdettweiler [2020-04-20 16:20:36] 675*2^1557859-1 is not prime. Res64: 9950B0A2B45D9843 Time : 0.0 sec. user=mdettweiler [2020-04-20 16:57:17] 723*2^1557859-1 is not prime. Res64: E68B02FCFA9E87FE Time : 0.0 sec. user=mdettweiler [2020-04-20 16:57:17] 765*2^1557859-1 is not prime. Res64: A6FC2B09704D90F4 Time : 0.0 sec. user=mdettweiler [2020-04-20 16:57:18] 861*2^1557859-1 is not prime. Res64: D226021BDD5E5269 Time : 0.0 sec. user=mdettweiler [2020-04-20 16:57:19] 919*2^1557859-1 is not prime. Res64: BB77609AE6202B99 Time : 0.0 sec. user=mdettweiler [2020-04-20 16:57:19] 629*2^1557860-1 is not prime. Res64: 8F721DC6C358207A Time : 0.0 sec. user=mdettweiler [2020-04-20 17:02:01] 949*2^1557845-1 is not prime. Res64: C266F4EDA57D28CD Time : 0.0 sec. user=mdettweiler [2020-04-20 17:02:02] 947*2^1557846-1 is not prime. Res64: A1BC636A7695797A Time : 0.0 sec. user=mdettweiler [2020-04-20 17:02:05] 963*2^1557846-1 is not prime. Res64: ED4EC02DF1D7C6C0 Time : 0.0 sec. user=mdettweiler [2020-04-20 17:12:41] 665*2^1557860-1 is not prime. Res64: 4C4B4A925A449521 Time : 0.0 sec. user=mdettweiler [2020-04-20 17:12:41] 675*2^1557860-1 is not prime. Res64: 52004291723D09E8 Time : 0.0 sec. user=mdettweiler [2020-04-20 17:12:41] 707*2^1557860-1 is not prime. Res64: 700B7943209C324E Time : 0.0 sec. user=mdettweiler [2020-04-20 17:12:42] 717*2^1557860-1 is not prime. Res64: 6BED7A93373FB421 Time : 0.0 sec. user=mdettweiler [2020-04-20 17:12:42] 825*2^1557860-1 is not prime. Res64: 06B1377CDDEC4B17 Time : 0.0 sec. user=mdettweiler [2020-04-20 17:51:37] 899*2^1557860-1 is not prime. Res64: 7D7365C2B8CECED3 Time : 0.0 sec. user=mdettweiler [2020-04-20 17:51:38] 963*2^1557860-1 is not prime. Res64: A5FAA65CE83D304A Time : 0.0 sec. user=mdettweiler [2020-04-20 17:51:38] 607*2^1557861-1 is not prime. Res64: DF0E347A4B756D64 Time : 0.0 sec. user=mdettweiler [2020-04-20 17:51:39] 649*2^1557861-1 is not prime. Res64: 6232E6D5EBF8FF3F Time : 0.0 sec. user=mdettweiler [2020-04-20 17:51:39] 651*2^1557861-1 is not prime. Res64: BB06694AABF46F27 Time : 0.0 sec. user=mdettweiler [2020-04-20 17:57:11] 669*2^1557861-1 is not prime. Res64: 274B8FA59AD0EDF5 Time : 0.0 sec. user=mdettweiler [2020-04-20 17:57:11] 819*2^1557861-1 is not prime. Res64: 2745198DF9469F05 Time : 0.0 sec. user=mdettweiler [2020-04-20 17:57:12] 847*2^1557861-1 is not prime. Res64: E96F36EC35E3A081 Time : 0.0 sec. user=mdettweiler [2020-04-20 17:57:12] 877*2^1557861-1 is not prime. Res64: 35E4D72F62AD1CBC Time : 0.0 sec. user=mdettweiler [2020-04-20 17:57:12] 949*2^1557861-1 is not prime. Res64: B90B540AD1C99BD4 Time : 0.0 sec. user=mdettweiler [2020-04-20 18:06:06] 623*2^1557862-1 is not prime. Res64: 80E587AD064EB83D Time : 0.0 sec. user=mdettweiler [2020-04-20 18:06:09] 657*2^1557862-1 is not prime. Res64: 7C5E0594926EEFA4 Time : 0.0 sec. user=mdettweiler [2020-04-20 18:06:11] 791*2^1557862-1 is not prime. Res64: F4334C8F7ED994BA Time : 0.0 sec. user=mdettweiler [2020-04-20 18:06:13] 825*2^1557862-1 is not prime. Res64: 08F2AAAB52B36A5B Time : 0.0 sec. user=mdettweiler [2020-04-20 18:06:15] 887*2^1557862-1 is not prime. Res64: 18891DA51D703CFF Time : 0.0 sec. user=mdettweiler [2020-04-20 18:46:24] 911*2^1557862-1 is not prime. Res64: CCE9D608896A01D2 Time : 0.0 sec. user=mdettweiler [2020-04-20 18:46:25] 941*2^1557862-1 is not prime. Res64: F9ECFF86B1EED33B Time : 0.0 sec. user=mdettweiler [2020-04-20 18:46:26] 679*2^1557863-1 is not prime. Res64: 036BA9BACF6CC068 Time : 0.0 sec. user=mdettweiler [2020-04-20 18:46:26] 729*2^1557863-1 is not prime. Res64: B16A8E7E394FC78C Time : 0.0 sec. user=mdettweiler [2020-04-20 18:46:26] 813*2^1557863-1 is not prime. Res64: 3417E7BA5DF70CEE Time : 0.0 sec. user=mdettweiler [2020-04-20 18:52:21] 823*2^1557863-1 is not prime. Res64: 9494D27113B0DEA6 Time : 0.0 sec. user=mdettweiler [2020-04-20 18:52:22] 879*2^1557863-1 is not prime. Res64: 244EC75FCBF6CE2C Time : 0.0 sec. user=mdettweiler [2020-04-20 18:52:22] 985*2^1557863-1 is not prime. Res64: D3825E5A26A8B241 Time : 0.0 sec. user=mdettweiler [2020-04-20 18:52:22] 725*2^1557864-1 is not prime. Res64: 07CC89E7038EB544 Time : 0.0 sec. user=mdettweiler [2020-04-20 18:52:23] 765*2^1557864-1 is not prime. Res64: CDB6F4C0E593A9E1 Time : 0.0 sec. user=mdettweiler [2020-04-20 19:01:59] 767*2^1557864-1 is not prime. Res64: 06F0A8720CF10636 Time : 0.0 sec. user=mdettweiler [2020-04-20 19:02:00] 803*2^1557864-1 is not prime. Res64: 76138E959D125FE4 Time : 0.0 sec. user=mdettweiler [2020-04-20 19:02:02] 825*2^1557864-1 is not prime. Res64: 9C52C58FAE4C5848 Time : 0.0 sec. user=mdettweiler [2020-04-20 19:02:04] 903*2^1557864-1 is not prime. Res64: 11A76E2311428807 Time : 0.0 sec. user=mdettweiler [2020-04-20 19:02:05] 959*2^1557864-1 is not prime. Res64: 6E012C8B1365624C Time : 0.0 sec. user=mdettweiler [2020-04-20 19:39:38] 993*2^1557864-1 is not prime. Res64: 2D38430DFFECF88F Time : 0.0 sec. user=mdettweiler [2020-04-20 19:39:38] 609*2^1557865-1 is not prime. Res64: 580795B7C6230A83 Time : 0.0 sec. user=mdettweiler [2020-04-20 19:39:39] 649*2^1557865-1 is not prime. Res64: 15B88AFD7E8ED6AE Time : 0.0 sec. user=mdettweiler [2020-04-20 19:39:39] 661*2^1557865-1 is not prime. Res64: D0D8F2255B2A2B81 Time : 0.0 sec. user=mdettweiler [2020-04-20 19:39:40] 811*2^1557865-1 is not prime. Res64: A6F1A32C91BC2448 Time : 0.0 sec. user=mdettweiler [2020-04-20 19:47:09] 819*2^1557865-1 is not prime. Res64: 62326B9613EDAE8F Time : 0.0 sec. user=mdettweiler [2020-04-20 19:47:10] 831*2^1557865-1 is not prime. Res64: 14D67C32E9D4BB29 Time : 0.0 sec. user=mdettweiler [2020-04-20 19:47:10] 871*2^1557865-1 is not prime. Res64: 039DFC95E47740F8 Time : 0.0 sec. user=mdettweiler [2020-04-20 19:47:11] 877*2^1557865-1 is not prime. Res64: 72752203A5F5E719 Time : 0.0 sec. user=mdettweiler [2020-04-20 19:47:11] 617*2^1557866-1 is not prime. Res64: 8766164C006A0EF8 Time : 0.0 sec. user=mdettweiler [2020-04-20 19:55:13] 675*2^1557866-1 is not prime. Res64: 6B184F22759500C0 Time : 0.0 sec. user=mdettweiler [2020-04-20 19:55:14] 683*2^1557866-1 is not prime. Res64: 0861597BFCABA36C Time : 0.0 sec. user=mdettweiler [2020-04-20 19:55:14] 705*2^1557866-1 is not prime. Res64: 1FAD3A82EC83231D Time : 0.0 sec. user=mdettweiler [2020-04-20 19:55:15] 741*2^1557866-1 is not prime. Res64: E0861461ABF2C25D Time : 0.0 sec. user=mdettweiler [2020-04-20 19:55:15] 875*2^1557866-1 is not prime. Res64: 8AB27ECCDACD5596 Time : 0.0 sec. user=mdettweiler [2020-04-20 20:34:13] 923*2^1557866-1 is not prime. Res64: D202498843588B20 Time : 0.0 sec. user=mdettweiler [2020-04-20 20:34:13] 981*2^1557866-1 is not prime. Res64: C0434BDF51E294D4 Time : 0.0 sec. user=mdettweiler [2020-04-20 20:34:14] 625*2^1557867-1 is not prime. Res64: BDAE459D5AAC8F2F Time : 0.0 sec. user=mdettweiler [2020-04-20 20:34:14] 705*2^1557867-1 is not prime. Res64: BEE16DC99584006C Time : 0.0 sec. user=mdettweiler [2020-04-20 20:34:15] 769*2^1557867-1 is not prime. Res64: BF79745D4F220D3D Time : 0.0 sec. user=mdettweiler [2020-04-20 20:42:56] 871*2^1557867-1 is not prime. Res64: 2B31CF4B85D53516 Time : 0.0 sec. user=mdettweiler [2020-04-20 20:42:56] 891*2^1557867-1 is not prime. Res64: 439EED57FA002B75 Time : 0.0 sec. user=mdettweiler [2020-04-20 20:42:57] 909*2^1557867-1 is not prime. Res64: 82DFE4D5C1157934 Time : 0.0 sec. user=mdettweiler [2020-04-20 20:42:57] 647*2^1557868-1 is not prime. Res64: CBEED0E5091026E9 Time : 0.0 sec. user=mdettweiler [2020-04-20 20:42:57] 663*2^1557868-1 is not prime. Res64: 25D2857004AED71E Time : 0.0 sec. user=mdettweiler [2020-04-20 20:47:23] 695*2^1557868-1 is not prime. Res64: 5FD9C4BAD01E2C6F Time : 0.0 sec. user=mdettweiler [2020-04-20 20:47:23] 705*2^1557868-1 is not prime. Res64: BAB467452F207458 Time : 0.0 sec. user=mdettweiler [2020-04-20 20:47:24] 735*2^1557868-1 is not prime. Res64: AD0942A2A2E3FDD4 Time : 0.0 sec. user=mdettweiler [2020-04-20 20:47:24] 843*2^1557868-1 is not prime. Res64: BE89515D65D03C49 Time : 0.0 sec. user=mdettweiler [2020-04-20 20:47:24] 601*2^1557869-1 is not prime. Res64: CE8F01B3373944FA Time : 0.0 sec. user=mdettweiler [2020-04-20 21:26:38] 615*2^1557869-1 is not prime. Res64: F2536568C7A3918B Time : 0.0 sec. user=mdettweiler [2020-04-20 21:26:39] 631*2^1557869-1 is not prime. Res64: 4BECFB2F6472FC73 Time : 0.0 sec. user=mdettweiler [2020-04-20 21:26:39] 699*2^1557869-1 is not prime. Res64: 71BAAE7C0DB61A9D Time : 0.0 sec. user=mdettweiler [2020-04-20 21:26:40] 729*2^1557869-1 is not prime. Res64: 167CBC7654002660 Time : 0.0 sec. user=mdettweiler [2020-04-20 21:26:40] 795*2^1557869-1 is not prime. Res64: D5DC6244C052DE10 Time : 0.0 sec. user=mdettweiler [2020-04-20 21:37:44] 867*2^1557869-1 is not prime. Res64: FA2929DD4E24678A Time : 0.0 sec. user=mdettweiler [2020-04-20 21:37:44] 889*2^1557869-1 is not prime. Res64: C1A2B66294277C21 Time : 0.0 sec. user=mdettweiler [2020-04-20 21:37:45] 843*2^1557870-1 is not prime. Res64: 1D9CC902F6829932 Time : 0.0 sec. user=mdettweiler [2020-04-20 21:37:45] 645*2^1557871-1 is not prime. Res64: C7ECB854D50697B0 Time : 0.0 sec. user=mdettweiler [2020-04-20 21:37:46] 673*2^1557871-1 is not prime. Res64: 3A142CAF528F2209 Time : 0.0 sec. user=mdettweiler [2020-04-20 21:43:37] 741*2^1557871-1 is not prime. Res64: E3EE4B556F0BD42F Time : 0.0 sec. user=mdettweiler [2020-04-20 21:43:38] 883*2^1557871-1 is not prime. Res64: 12A3106D2376A0F9 Time : 0.0 sec. user=mdettweiler [2020-04-20 21:43:38] 951*2^1557871-1 is not prime. Res64: 3F9350ACE4E1C9E6 Time : 0.0 sec. user=mdettweiler [2020-04-20 21:43:39] 993*2^1557871-1 is not prime. Res64: F957D709149498CD Time : 0.0 sec. user=mdettweiler [2020-04-20 21:43:39] 605*2^1557872-1 is not prime. Res64: 0011609C16C0B73C Time : 0.0 sec. user=mdettweiler [2020-04-20 22:22:36] 657*2^1557872-1 is not prime. Res64: CA9C2E39D7B1A0DD Time : 0.0 sec. user=mdettweiler [2020-04-20 22:22:37] 855*2^1557872-1 is not prime. Res64: 71909C755CBD91DB Time : 0.0 sec. user=mdettweiler [2020-04-20 22:22:37] 873*2^1557872-1 is not prime. Res64: 74C8D8AE2B98D050 Time : 0.0 sec. user=mdettweiler [2020-04-20 22:22:38] 875*2^1557872-1 is not prime. Res64: 922FBCD1A6C93258 Time : 0.0 sec. user=mdettweiler [2020-04-20 22:22:38] 897*2^1557872-1 is not prime. Res64: EC11EACABD3C18E5 Time : 0.0 sec. user=mdettweiler [2020-04-20 22:32:57] 923*2^1557872-1 is not prime. Res64: 4B38CC85E77FD88D Time : 0.0 sec. user=mdettweiler [2020-04-20 22:32:58] 995*2^1557872-1 is not prime. Res64: 22728C534AAE4239 Time : 0.0 sec. user=mdettweiler [2020-04-20 22:32:58] 727*2^1557873-1 is not prime. Res64: 12E3554460E15FAA Time : 0.0 sec. user=mdettweiler [2020-04-20 22:32:59] 765*2^1557873-1 is not prime. Res64: 490D1229C829BF5B Time : 0.0 sec. user=mdettweiler [2020-04-20 22:32:59] 769*2^1557873-1 is not prime. Res64: 01873866DB01D826 Time : 0.0 sec. user=mdettweiler [2020-04-20 22:35:25] 789*2^1557873-1 is not prime. Res64: CF428058710ABD0F Time : 0.0 sec. user=mdettweiler [2020-04-20 22:35:26] 605*2^1557874-1 is not prime. Res64: 4D88CE63E195B914 Time : 0.0 sec. user=mdettweiler [2020-04-20 22:35:26] 645*2^1557874-1 is not prime. Res64: FD203B9E66464CB7 Time : 0.0 sec. user=mdettweiler [2020-04-20 22:35:26] 701*2^1557874-1 is not prime. Res64: 3B83E1F1D815AF76 Time : 0.0 sec. user=mdettweiler [2020-04-20 22:35:27] 705*2^1557874-1 is not prime. Res64: 44048AA63827D725 Time : 0.0 sec. user=mdettweiler [2020-04-20 23:17:44] 813*2^1557874-1 is not prime. Res64: 40DE81EA7031714C Time : 0.0 sec. user=mdettweiler [2020-04-20 23:17:45] 855*2^1557874-1 is not prime. Res64: B6ED939DB1FD792C Time : 0.0 sec. user=mdettweiler [2020-04-20 23:17:45] 887*2^1557874-1 is not prime. Res64: FB6FCD774A8E3A24 Time : 0.0 sec. user=mdettweiler [2020-04-20 23:17:46] 903*2^1557874-1 is not prime. Res64: EC173DC4D94FDCCF Time : 0.0 sec. user=mdettweiler [2020-04-20 23:17:47] 619*2^1557875-1 is not prime. Res64: 651CB2D4D0837539 Time : 0.0 sec. user=mdettweiler [2020-04-20 23:27:34] 609*2^1557876-1 is not prime. Res64: 3ED314049AAB9387 Time : 0.0 sec. user=mdettweiler [2020-04-20 23:27:35] 629*2^1557876-1 is not prime. Res64: 75DD60C662A7B768 Time : 0.0 sec. user=mdettweiler [2020-04-20 23:27:35] 693*2^1557876-1 is not prime. Res64: CA549AC96D4B1C81 Time : 0.0 sec. user=mdettweiler [2020-04-20 23:27:36] 719*2^1557876-1 is not prime. Res64: 3902F807E2BA3BC1 Time : 0.0 sec. user=mdettweiler [2020-04-20 23:27:36] 773*2^1557876-1 is not prime. Res64: 34D0CBC48AD7D8E4 Time : 0.0 sec. user=mdettweiler [2020-04-20 23:27:36] 675*2^1557875-1 is not prime. Res64: F30ECDBCE09200F3 Time : 0.0 sec. user=mdettweiler [2020-04-20 23:27:37] 699*2^1557875-1 is not prime. Res64: 3394589B4881D8D6 Time : 0.0 sec. user=mdettweiler [2020-04-20 23:27:37] 715*2^1557875-1 is not prime. Res64: A818D2454FB49D7B Time : 0.0 sec. user=mdettweiler [2020-04-20 23:27:38] 861*2^1557875-1 is not prime. Res64: 26E498615EF7C2B4 Time : 0.0 sec. user=mdettweiler [2020-04-20 23:27:38] 979*2^1557875-1 is not prime. Res64: AD095C453B3E1C77 Time : 0.0 sec.