user=mdettweiler [2021-08-31 00:17:47] 937*2^1619861-1 is not prime. Res64: 06AD79E77490AB2C Time : 0.0 sec. user=mdettweiler [2021-08-31 00:17:48] 987*2^1619861-1 is not prime. Res64: 7074E57D6A003D7E Time : 0.0 sec. user=mdettweiler [2021-08-31 00:17:48] 683*2^1619862-1 is not prime. Res64: 5C6B4C6E266055EE Time : 0.0 sec. user=mdettweiler [2021-08-31 00:17:49] 747*2^1619862-1 is not prime. Res64: A9F8310CEE22D269 Time : 0.0 sec. user=mdettweiler [2021-08-31 00:17:49] 833*2^1619862-1 is not prime. Res64: EE4B6B7A3443BE7D Time : 0.0 sec. user=mdettweiler [2021-08-31 00:24:09] 843*2^1619862-1 is not prime. Res64: FAE50014179500EE Time : 0.0 sec. user=mdettweiler [2021-08-31 00:24:10] 965*2^1619862-1 is not prime. Res64: 65779EDE7826E8E3 Time : 0.0 sec. user=mdettweiler [2021-08-31 00:24:10] 609*2^1619863-1 is not prime. Res64: 69851FA4D4788066 Time : 0.0 sec. user=mdettweiler [2021-08-31 00:24:11] 679*2^1619863-1 is not prime. Res64: C0565369D279CEF5 Time : 0.0 sec. user=mdettweiler [2021-08-31 00:24:11] 741*2^1619863-1 is not prime. Res64: 26F41CD2F0DEC1C8 Time : 0.0 sec. user=mdettweiler [2021-08-31 01:18:12] 765*2^1619863-1 is not prime. Res64: 8E70BBD7252C3AC5 Time : 0.0 sec. user=mdettweiler [2021-08-31 01:18:12] 635*2^1619864-1 is not prime. Res64: 0E9241A604744DFC Time : 0.0 sec. user=mdettweiler [2021-08-31 01:18:13] 759*2^1619864-1 is not prime. Res64: 8262FFD97E1AC31F Time : 0.0 sec. user=mdettweiler [2021-08-31 01:18:13] 819*2^1619864-1 is not prime. Res64: B0510959F5F35878 Time : 0.0 sec. user=mdettweiler [2021-08-31 01:18:14] 843*2^1619864-1 is not prime. Res64: D206305E4189572C Time : 0.0 sec. user=mdettweiler [2021-08-31 01:24:35] 899*2^1619864-1 is not prime. Res64: 4BA8E3374F3E95B8 Time : 0.0 sec. user=mdettweiler [2021-08-31 01:24:35] 957*2^1619864-1 is not prime. Res64: 8D2E5B2016EB154B Time : 0.0 sec. user=mdettweiler [2021-08-31 01:24:36] 649*2^1619865-1 is not prime. Res64: 631E857D2577B183 Time : 0.0 sec. user=mdettweiler [2021-08-31 01:24:36] 657*2^1619865-1 is not prime. Res64: 062A07D3FA66069B Time : 0.0 sec. user=mdettweiler [2021-08-31 01:24:37] 795*2^1619865-1 is not prime. Res64: DA6EDE769E976769 Time : 0.0 sec. user=mdettweiler [2021-08-31 02:18:37] 861*2^1619865-1 is not prime. Res64: 6AD5DE54742A333D Time : 0.0 sec. user=mdettweiler [2021-08-31 02:18:38] 889*2^1619865-1 is not prime. Res64: E018F8F191C988A1 Time : 0.0 sec. user=mdettweiler [2021-08-31 02:18:38] 969*2^1619865-1 is not prime. Res64: B0D1E320C0B461A1 Time : 0.0 sec. user=mdettweiler [2021-08-31 02:18:39] 773*2^1619866-1 is not prime. Res64: 4B07795021C5F737 Time : 0.0 sec. user=mdettweiler [2021-08-31 02:18:39] 957*2^1619866-1 is not prime. Res64: F8E95FEC7B18EF18 Time : 0.0 sec. user=mdettweiler [2021-08-31 02:25:02] 971*2^1619866-1 is not prime. Res64: 7FB72ECE877783AC Time : 0.0 sec. user=mdettweiler [2021-08-31 02:25:03] 987*2^1619866-1 is not prime. Res64: 7D26B098E3642EFF Time : 0.0 sec. user=mdettweiler [2021-08-31 02:25:03] 633*2^1619867-1 is not prime. Res64: C24893969301A415 Time : 0.0 sec. user=mdettweiler [2021-08-31 02:25:04] 675*2^1619867-1 is not prime. Res64: 0D2208EC5EB21AAC Time : 0.0 sec. user=mdettweiler [2021-08-31 02:25:04] 861*2^1619867-1 is not prime. Res64: 8A273E2D435C29FA Time : 0.0 sec. user=mdettweiler [2021-08-31 03:19:07] 939*2^1619867-1 is not prime. Res64: 3AE5EF36C0C0B90C Time : 0.0 sec. user=mdettweiler [2021-08-31 03:19:08] 707*2^1619868-1 is not prime. Res64: C9857353E57F9A09 Time : 0.0 sec. user=mdettweiler [2021-08-31 03:19:08] 723*2^1619868-1 is not prime. Res64: EE41424EF1E3607B Time : 0.0 sec. user=mdettweiler [2021-08-31 03:19:09] 789*2^1619868-1 is not prime. Res64: 6C1D8D05359B6235 Time : 0.0 sec. user=mdettweiler [2021-08-31 03:19:09] 909*2^1619868-1 is not prime. Res64: E600BC416441697E Time : 0.0 sec. user=mdettweiler [2021-08-31 03:25:32] 615*2^1619869-1 is not prime. Res64: CAEE2B7B6DCA72E9 Time : 0.0 sec. user=mdettweiler [2021-08-31 03:25:33] 619*2^1619869-1 is not prime. Res64: E12206C0AEE65F9B Time : 0.0 sec. user=mdettweiler [2021-08-31 03:25:34] 661*2^1619869-1 is not prime. Res64: 5E3183EB95EAFDB2 Time : 0.0 sec. user=mdettweiler [2021-08-31 03:25:35] 667*2^1619869-1 is not prime. Res64: 6D155C2424325670 Time : 0.0 sec. user=mdettweiler [2021-08-31 03:25:35] 681*2^1619869-1 is not prime. Res64: ADC2D37F53821C37 Time : 0.0 sec. user=mdettweiler [2021-08-31 04:19:37] 759*2^1619869-1 is not prime. Res64: 1A4BD4DB6DBAF81E Time : 0.0 sec. user=mdettweiler [2021-08-31 04:19:38] 927*2^1619869-1 is not prime. Res64: 1505C1AD929F557F Time : 0.0 sec. user=mdettweiler [2021-08-31 04:19:38] 997*2^1619869-1 is not prime. Res64: 50A8C2B76FD87C32 Time : 0.0 sec. user=mdettweiler [2021-08-31 04:19:39] 627*2^1619870-1 is not prime. Res64: 9182F321AB2D7241 Time : 0.0 sec. user=mdettweiler [2021-08-31 04:19:40] 741*2^1619870-1 is not prime. Res64: 9B63648BCB73DCA8 Time : 0.0 sec. user=mdettweiler [2021-08-31 04:26:02] 767*2^1619870-1 is not prime. Res64: 84021355CE0CE157 Time : 0.0 sec. user=mdettweiler [2021-08-31 04:26:03] 897*2^1619870-1 is not prime. Res64: C36B1FA942A6AE93 Time : 0.0 sec. user=mdettweiler [2021-08-31 04:26:03] 951*2^1619870-1 is not prime. Res64: 871A3E8DD4D8A8AD Time : 0.0 sec. user=mdettweiler [2021-08-31 04:26:04] 971*2^1619870-1 is not prime. Res64: C20B7FE2AEF674FD Time : 0.0 sec. user=mdettweiler [2021-08-31 04:26:04] 1001*2^1619870-1 is not prime. Res64: EB6B5C97DAA19571 Time : 0.0 sec. user=mdettweiler [2021-08-31 05:20:24] 615*2^1619871-1 is not prime. Res64: 5CEC661ACF7209F3 Time : 0.0 sec. user=mdettweiler [2021-08-31 05:20:24] 705*2^1619871-1 is not prime. Res64: 62C679FE81BC7001 Time : 0.0 sec. user=mdettweiler [2021-08-31 05:20:25] 763*2^1619871-1 is not prime. Res64: 00F1EC9460956CD5 Time : 0.0 sec. user=mdettweiler [2021-08-31 05:20:25] 781*2^1619871-1 is not prime. Res64: 830D60108A8684AA Time : 0.0 sec. user=mdettweiler [2021-08-31 05:20:26] 819*2^1619871-1 is not prime. Res64: F2C588D15EE2F269 Time : 0.0 sec. user=mdettweiler [2021-08-31 05:26:33] 823*2^1619871-1 is not prime. Res64: 6831263D64789CB1 Time : 0.0 sec. user=mdettweiler [2021-08-31 05:26:34] 933*2^1619871-1 is not prime. Res64: D88C4B5BE311EEA3 Time : 0.0 sec. user=mdettweiler [2021-08-31 05:26:34] 623*2^1619872-1 is not prime. Res64: A2C7304461448CE1 Time : 0.0 sec. user=mdettweiler [2021-08-31 05:26:35] 675*2^1619872-1 is not prime. Res64: F60ED895A67E3541 Time : 0.0 sec. user=mdettweiler [2021-08-31 05:26:35] 765*2^1619872-1 is not prime. Res64: AB930F795B74EFD6 Time : 0.0 sec. user=mdettweiler [2021-08-31 06:20:54] 983*2^1619872-1 is not prime. Res64: 69C9289CBA984F4D Time : 0.0 sec. user=mdettweiler [2021-08-31 06:20:55] 691*2^1619873-1 is not prime. Res64: C01C40E3382F7B8A Time : 0.0 sec. user=mdettweiler [2021-08-31 06:20:55] 727*2^1619873-1 is not prime. Res64: BCB34DDC76017305 Time : 0.0 sec. user=mdettweiler [2021-08-31 06:20:56] 897*2^1619873-1 is not prime. Res64: 098BED757630DD0B Time : 0.0 sec. user=mdettweiler [2021-08-31 06:20:56] 663*2^1619874-1 is not prime. Res64: 966D18AEEB8EBA0C Time : 0.0 sec. user=mdettweiler [2021-08-31 06:27:03] 737*2^1619874-1 is not prime. Res64: F2B71FDA2E8B47D8 Time : 0.0 sec. user=mdettweiler [2021-08-31 06:27:04] 747*2^1619874-1 is not prime. Res64: 0D19E860D9CB2FE3 Time : 0.0 sec. user=mdettweiler [2021-08-31 06:27:04] 773*2^1619874-1 is not prime. Res64: 335388D3132A0BC2 Time : 0.0 sec. user=mdettweiler [2021-08-31 06:27:05] 825*2^1619874-1 is not prime. Res64: 296CA69B521335D3 Time : 0.0 sec. user=mdettweiler [2021-08-31 06:27:05] 619*2^1619875-1 is not prime. Res64: BE6F8CBDF5DA14C5 Time : 0.0 sec. user=mdettweiler [2021-08-31 07:21:21] 631*2^1619875-1 is not prime. Res64: 8A73298096F399E0 Time : 0.0 sec. user=mdettweiler [2021-08-31 07:21:21] 673*2^1619875-1 is not prime. Res64: C40B670A90995EB4 Time : 0.0 sec. user=mdettweiler [2021-08-31 07:21:22] 679*2^1619875-1 is not prime. Res64: 92EDE89C3F650D93 Time : 0.0 sec. user=mdettweiler [2021-08-31 07:21:22] 691*2^1619875-1 is not prime. Res64: AD4A49AA68799051 Time : 0.0 sec. user=mdettweiler [2021-08-31 07:21:23] 765*2^1619875-1 is not prime. Res64: 184FAB5F645B5C77 Time : 0.0 sec. user=mdettweiler [2021-08-31 07:27:28] 883*2^1619875-1 is not prime. Res64: 2E96DC0A8DD80BB4 Time : 0.0 sec. user=mdettweiler [2021-08-31 07:27:29] 969*2^1619875-1 is not prime. Res64: A65A149ABDCDD4DA Time : 0.0 sec. user=mdettweiler [2021-08-31 07:27:29] 707*2^1619876-1 is not prime. Res64: 9D11898BC3F50C15 Time : 0.0 sec. user=mdettweiler [2021-08-31 07:27:30] 789*2^1619876-1 is not prime. Res64: D65B15FDD87545B1 Time : 0.0 sec. user=mdettweiler [2021-08-31 07:27:30] 833*2^1619876-1 is not prime. Res64: E89167634D8EB56E Time : 0.0 sec. user=mdettweiler [2021-08-31 08:22:27] 855*2^1619876-1 is not prime. Res64: 6DC8187B24E67052 Time : 0.0 sec. user=mdettweiler [2021-08-31 08:22:28] 873*2^1619876-1 is not prime. Res64: B82AC8C1FF82B65F Time : 0.0 sec. user=mdettweiler [2021-08-31 08:22:28] 935*2^1619876-1 is not prime. Res64: 587C1F24CD2F2799 Time : 0.0 sec. user=mdettweiler [2021-08-31 08:22:29] 983*2^1619876-1 is not prime. Res64: C3C7FEFE02AF720E Time : 0.0 sec. user=mdettweiler [2021-08-31 08:22:29] 667*2^1619877-1 is not prime. Res64: C1DD71EDF059990D Time : 0.0 sec. user=mdettweiler [2021-08-31 08:28:37] 691*2^1619877-1 is not prime. Res64: ED75282DCC252D0F Time : 0.0 sec. user=mdettweiler [2021-08-31 08:28:37] 817*2^1619877-1 is not prime. Res64: 05A0D9E25B38B816 Time : 0.0 sec. user=mdettweiler [2021-08-31 08:28:38] 647*2^1619878-1 is not prime. Res64: FA164AFEDBC61EFC Time : 0.0 sec. user=mdettweiler [2021-08-31 08:28:38] 773*2^1619878-1 is not prime. Res64: D6736F3E6BDEE32D Time : 0.0 sec. user=mdettweiler [2021-08-31 08:28:39] 777*2^1619878-1 is not prime. Res64: B92C039F0F2838D2 Time : 0.0 sec. user=mdettweiler [2021-08-31 09:22:56] 815*2^1619878-1 is not prime. Res64: 993C7755FBE11BEC Time : 0.0 sec. user=mdettweiler [2021-08-31 09:22:56] 825*2^1619878-1 is not prime. Res64: 7F79A86F2A729B66 Time : 0.0 sec. user=mdettweiler [2021-08-31 09:22:57] 603*2^1619879-1 is not prime. Res64: 81BE2EED935B1350 Time : 0.0 sec. user=mdettweiler [2021-08-31 09:22:57] 655*2^1619879-1 is not prime. Res64: 52344CE13D05D723 Time : 0.0 sec. user=mdettweiler [2021-08-31 09:22:58] 663*2^1619879-1 is not prime. Res64: 17E4F7C6D64893C9 Time : 0.0 sec. user=mdettweiler [2021-08-31 09:29:03] 753*2^1619879-1 is not prime. Res64: 673B8193974F9B7E Time : 0.0 sec. user=mdettweiler [2021-08-31 09:29:04] 861*2^1619879-1 is not prime. Res64: D7EC7011C14FB9EB Time : 0.0 sec. user=mdettweiler [2021-08-31 09:29:04] 725*2^1619880-1 is not prime. Res64: CC72E9F75E2B7DFB Time : 0.0 sec. user=mdettweiler [2021-08-31 09:29:05] 765*2^1619880-1 is not prime. Res64: 6AF3F8EB22FF3FDC Time : 0.0 sec. user=mdettweiler [2021-08-31 09:29:05] 795*2^1619880-1 is not prime. Res64: 640B4DEE929901DC Time : 0.0 sec. user=mdettweiler [2021-08-31 10:23:25] 819*2^1619880-1 is not prime. Res64: 1BEBDA4E15C6A79E Time : 0.0 sec. user=mdettweiler [2021-08-31 10:23:25] 839*2^1619880-1 is not prime. Res64: 54005C28661ED19C Time : 0.0 sec. user=mdettweiler [2021-08-31 10:23:26] 849*2^1619880-1 is not prime. Res64: 345C48FE055EC36E Time : 0.0 sec. user=mdettweiler [2021-08-31 10:23:26] 879*2^1619880-1 is not prime. Res64: 2624BA7C155E32B3 Time : 0.0 sec. user=mdettweiler [2021-08-31 10:23:27] 959*2^1619880-1 is not prime. Res64: 15D3439193D1DFA6 Time : 0.0 sec. user=mdettweiler [2021-08-31 10:29:30] 615*2^1619881-1 is not prime. Res64: 84238C46552E2C42 Time : 0.0 sec. user=mdettweiler [2021-08-31 10:29:31] 705*2^1619881-1 is not prime. Res64: 88ACC61EE303D216 Time : 0.0 sec. user=mdettweiler [2021-08-31 10:29:31] 819*2^1619881-1 is not prime. Res64: D2325C1B4133072A Time : 0.0 sec. user=mdettweiler [2021-08-31 10:29:32] 861*2^1619881-1 is not prime. Res64: 13CCDD5D7A152B75 Time : 0.0 sec. user=mdettweiler [2021-08-31 10:29:32] 909*2^1619881-1 is not prime. Res64: 5EBBDD24DDB727EB Time : 0.0 sec. user=mdettweiler [2021-08-31 11:23:53] 925*2^1619881-1 is not prime. Res64: 1B3E6814061A3109 Time : 0.0 sec. user=mdettweiler [2021-08-31 11:23:53] 603*2^1619882-1 is not prime. Res64: 9CD710EC299436E6 Time : 0.0 sec. user=mdettweiler [2021-08-31 11:23:54] 615*2^1619882-1 is not prime. Res64: 580A895708C25907 Time : 0.0 sec. user=mdettweiler [2021-08-31 11:23:54] 873*2^1619882-1 is not prime. Res64: ABCB7348532EDCB4 Time : 0.0 sec. user=mdettweiler [2021-08-31 11:23:55] 963*2^1619882-1 is not prime. Res64: 411762FCB65D43B9 Time : 0.0 sec. user=mdettweiler [2021-08-31 11:29:59] 609*2^1619883-1 is not prime. Res64: 3C34F5ABAF9A84F6 Time : 0.0 sec. user=mdettweiler [2021-08-31 11:29:59] 663*2^1619883-1 is not prime. Res64: 680EF7B786D8F99C Time : 0.0 sec. user=mdettweiler [2021-08-31 11:30:00] 765*2^1619883-1 is not prime. Res64: BE017360369AF0B1 Time : 0.0 sec. user=mdettweiler [2021-08-31 11:30:00] 775*2^1619883-1 is not prime. Res64: CABC72C6D1B6E49A Time : 0.0 sec. user=mdettweiler [2021-08-31 11:30:01] 801*2^1619883-1 is not prime. Res64: FF391A6EA22409D0 Time : 0.0 sec. user=mdettweiler [2021-08-31 12:24:20] 913*2^1619883-1 is not prime. Res64: 497F9042BCE377BF Time : 0.0 sec. user=mdettweiler [2021-08-31 12:24:20] 623*2^1619884-1 is not prime. Res64: 07AAB3FC4372A2EA Time : 0.0 sec. user=mdettweiler [2021-08-31 12:24:21] 657*2^1619884-1 is not prime. Res64: 4E642365A0FA968E Time : 0.0 sec. user=mdettweiler [2021-08-31 12:24:21] 695*2^1619884-1 is not prime. Res64: 40D59E868027F5E2 Time : 0.0 sec. user=mdettweiler [2021-08-31 12:24:22] 705*2^1619884-1 is not prime. Res64: E17FC0AF7EA6B391 Time : 0.0 sec. user=mdettweiler [2021-08-31 12:30:26] 707*2^1619884-1 is not prime. Res64: 36ADF4A75E55834D Time : 0.0 sec. user=mdettweiler [2021-08-31 12:30:26] 729*2^1619884-1 is not prime. Res64: 9B6BA244AAB40B1B Time : 0.0 sec. user=mdettweiler [2021-08-31 12:30:27] 785*2^1619884-1 is not prime. Res64: 1C8A0108C4912144 Time : 0.0 sec. user=mdettweiler [2021-08-31 12:30:27] 923*2^1619884-1 is not prime. Res64: 032B172F3EE115E8 Time : 0.0 sec. user=mdettweiler [2021-08-31 12:30:28] 651*2^1619885-1 is not prime. Res64: EA134A51C60A061B Time : 0.0 sec. user=mdettweiler [2021-08-31 13:24:47] 655*2^1619885-1 is not prime. Res64: 098D6BFCFB5603C5 Time : 0.0 sec. user=mdettweiler [2021-08-31 13:24:47] 859*2^1619885-1 is not prime. Res64: 16A3D1D7E7566331 Time : 0.0 sec. user=mdettweiler [2021-08-31 13:24:48] 889*2^1619885-1 is not prime. Res64: A8CC47E5F162F416 Time : 0.0 sec. user=mdettweiler [2021-08-31 13:24:48] 635*2^1619886-1 is not prime. Res64: 86AD1C9E11E1795A Time : 0.0 sec. user=mdettweiler [2021-08-31 13:24:49] 677*2^1619886-1 is not prime. Res64: F129548864D5A745 Time : 0.0 sec. user=mdettweiler [2021-08-31 13:30:53] 705*2^1619886-1 is not prime. Res64: 06BA2726FD697FFF Time : 0.0 sec. user=mdettweiler [2021-08-31 13:30:54] 711*2^1619886-1 is not prime. Res64: AE6E9757F6487FF3 Time : 0.0 sec. user=mdettweiler [2021-08-31 13:30:54] 713*2^1619886-1 is not prime. Res64: 1FEC61AB338FD304 Time : 0.0 sec. user=mdettweiler [2021-08-31 13:30:55] 993*2^1619886-1 is not prime. Res64: 647D6FF4D9D31F66 Time : 0.0 sec. user=mdettweiler [2021-08-31 13:30:55] 603*2^1619887-1 is not prime. Res64: 44FA8260226BB1B9 Time : 0.0 sec. user=mdettweiler [2021-08-31 14:25:35] 663*2^1619887-1 is not prime. Res64: 9E887D2150E3A734 Time : 0.0 sec. user=mdettweiler [2021-08-31 14:25:36] 813*2^1619887-1 is not prime. Res64: 6F718B4E243245D5 Time : 0.0 sec. user=mdettweiler [2021-08-31 14:25:36] 843*2^1619887-1 is not prime. Res64: B1EB03788F3714CE Time : 0.0 sec. user=mdettweiler [2021-08-31 14:25:37] 657*2^1619888-1 is not prime. Res64: 6217F6C4E2836407 Time : 0.0 sec. user=mdettweiler [2021-08-31 14:25:37] 725*2^1619888-1 is not prime. Res64: 4F1FB3EBDD974876 Time : 0.0 sec. user=mdettweiler [2021-08-31 14:31:41] 755*2^1619888-1 is not prime. Res64: BAF71F58E968F1B8 Time : 0.0 sec. user=mdettweiler [2021-08-31 14:31:41] 797*2^1619888-1 is not prime. Res64: A7F17879DBEAD537 Time : 0.0 sec. user=mdettweiler [2021-08-31 14:31:42] 839*2^1619888-1 is not prime. Res64: 25FA08CDAB4F3CFB Time : 0.0 sec. user=mdettweiler [2021-08-31 14:31:42] 869*2^1619888-1 is not prime. Res64: 4269EB1D407E69F6 Time : 0.0 sec. user=mdettweiler [2021-08-31 14:31:43] 945*2^1619888-1 is not prime. Res64: 41D20E3E1767F44F Time : 0.0 sec. user=mdettweiler [2021-08-31 15:26:05] 995*2^1619888-1 is not prime. Res64: 4CD33B9A896A1BB5 Time : 0.0 sec. user=mdettweiler [2021-08-31 15:26:06] 669*2^1619889-1 is not prime. Res64: 48A122CD9D0F8000 Time : 0.0 sec. user=mdettweiler [2021-08-31 15:26:06] 681*2^1619889-1 is not prime. Res64: 0CAD2006D7C752D3 Time : 0.0 sec. user=mdettweiler [2021-08-31 15:26:07] 721*2^1619889-1 is not prime. Res64: A032091F79F3A286 Time : 0.0 sec. user=mdettweiler [2021-08-31 15:26:07] 831*2^1619889-1 is not prime. Res64: 98F73C08CD762972 Time : 0.0 sec. user=mdettweiler [2021-08-31 15:32:11] 955*2^1619889-1 is not prime. Res64: 81550DD9E39F5641 Time : 0.0 sec. user=mdettweiler [2021-08-31 15:32:11] 999*2^1619889-1 is not prime. Res64: D3901AF75D697258 Time : 0.0 sec. user=mdettweiler [2021-08-31 15:32:12] 647*2^1619890-1 is not prime. Res64: 00FF84D9475B7809 Time : 0.0 sec. user=mdettweiler [2021-08-31 15:32:12] 657*2^1619890-1 is not prime. Res64: C335ED8A22C06010 Time : 0.0 sec. user=mdettweiler [2021-08-31 15:32:13] 677*2^1619890-1 is not prime. Res64: 8AF1501B9355743A Time : 0.0 sec. user=mdettweiler [2021-08-31 16:26:34] 743*2^1619890-1 is not prime. Res64: 6330467D546C2F4B Time : 0.0 sec. user=mdettweiler [2021-08-31 16:26:34] 619*2^1619891-1 is not prime. Res64: 71264E55A2C6CE78 Time : 0.0 sec. user=mdettweiler [2021-08-31 16:26:35] 759*2^1619891-1 is not prime. Res64: EAEC6CBE5F81D26C Time : 0.0 sec. user=mdettweiler [2021-08-31 16:26:35] 801*2^1619891-1 is not prime. Res64: 0AE2DD11793AE870 Time : 0.0 sec. user=mdettweiler [2021-08-31 16:26:36] 885*2^1619891-1 is not prime. Res64: BD83605CE65B6FE5 Time : 0.0 sec. user=mdettweiler [2021-08-31 16:32:37] 913*2^1619891-1 is not prime. Res64: 61522F72D3C6DB54 Time : 0.0 sec. user=mdettweiler [2021-08-31 16:32:37] 979*2^1619891-1 is not prime. Res64: 67A0CFDE186154A2 Time : 0.0 sec. user=mdettweiler [2021-08-31 16:32:38] 981*2^1619891-1 is not prime. Res64: A356C1D33F48B241 Time : 0.0 sec. user=mdettweiler [2021-08-31 16:32:38] 999*2^1619891-1 is not prime. Res64: B8132B38C3EB37B8 Time : 0.0 sec. user=mdettweiler [2021-08-31 16:32:39] 689*2^1619892-1 is not prime. Res64: DF44738BA971709B Time : 0.0 sec. user=mdettweiler [2021-08-31 17:27:01] 765*2^1619892-1 is not prime. Res64: AA05DBC1AA9C49C2 Time : 0.0 sec. user=mdettweiler [2021-08-31 17:27:02] 825*2^1619892-1 is not prime. Res64: A89B1C02BDD88A91 Time : 0.0 sec. user=mdettweiler [2021-08-31 17:27:02] 867*2^1619892-1 is not prime. Res64: 5602CE5D4F5865C8 Time : 0.0 sec. user=mdettweiler [2021-08-31 17:27:03] 929*2^1619892-1 is not prime. Res64: 6AEFA88F12446FCC Time : 0.0 sec. user=mdettweiler [2021-08-31 17:27:03] 933*2^1619892-1 is not prime. Res64: E3D2DD73B78C559F Time : 0.0 sec. user=mdettweiler [2021-08-31 17:33:04] 959*2^1619892-1 is not prime. Res64: 450DB0F17C7C38E1 Time : 0.0 sec. user=mdettweiler [2021-08-31 17:33:05] 769*2^1619893-1 is not prime. Res64: 420EBE4944807CD8 Time : 0.0 sec. user=mdettweiler [2021-08-31 17:33:05] 817*2^1619893-1 is not prime. Res64: 5FE99C1204B5C3EE Time : 0.0 sec. user=mdettweiler [2021-08-31 17:33:06] 861*2^1619893-1 is not prime. Res64: 1134F9938C913CE0 Time : 0.0 sec. user=mdettweiler [2021-08-31 17:33:06] 623*2^1619894-1 is not prime. Res64: 7797042987294151 Time : 0.0 sec. user=mdettweiler [2021-08-31 18:27:29] 705*2^1619894-1 is not prime. Res64: E332F12D48E4AE0F Time : 0.0 sec. user=mdettweiler [2021-08-31 18:27:29] 707*2^1619894-1 is not prime. Res64: 92EF9040F6FD87FA Time : 0.0 sec. user=mdettweiler [2021-08-31 18:27:30] 897*2^1619894-1 is not prime. Res64: CDC06C45F070B2E4 Time : 0.0 sec. user=mdettweiler [2021-08-31 18:27:30] 921*2^1619894-1 is not prime. Res64: DAC5D36BD6AC6255 Time : 0.0 sec. user=mdettweiler [2021-08-31 18:27:31] 923*2^1619894-1 is not prime. Res64: 8D4F2A9B4F002F40 Time : 0.0 sec. user=mdettweiler [2021-08-31 18:33:32] 651*2^1619895-1 is not prime. Res64: B5EA224A181156C1 Time : 0.0 sec. user=mdettweiler [2021-08-31 18:33:33] 691*2^1619895-1 is not prime. Res64: 2D94CCC6F4EA6AE1 Time : 0.0 sec. user=mdettweiler [2021-08-31 18:33:33] 741*2^1619895-1 is not prime. Res64: 272F66B1ED872E44 Time : 0.0 sec. user=mdettweiler [2021-08-31 18:33:33] 751*2^1619895-1 is not prime. Res64: 36737BF0D75617EA Time : 0.0 sec. user=mdettweiler [2021-08-31 18:33:34] 853*2^1619895-1 is not prime. Res64: C74FD29C7CB3A8FE Time : 0.0 sec. user=mdettweiler [2021-08-31 19:27:56] 755*2^1619896-1 is not prime. Res64: 4A72C7D654C9090A Time : 0.0 sec. user=mdettweiler [2021-08-31 19:27:57] 845*2^1619896-1 is not prime. Res64: B6DCDAA17D87F6F1 Time : 0.0 sec. user=mdettweiler [2021-08-31 19:27:57] 875*2^1619896-1 is not prime. Res64: 594A9A16A91A86EF Time : 0.0 sec. user=mdettweiler [2021-08-31 19:27:58] 957*2^1619896-1 is not prime. Res64: C4273AF155266DFB Time : 0.0 sec. user=mdettweiler [2021-08-31 19:27:58] 699*2^1619897-1 is not prime. Res64: DFA243901DF01C76 Time : 0.0 sec. user=mdettweiler [2021-08-31 19:33:59] 717*2^1619897-1 is not prime. Res64: 73E1A85B8A8149F3 Time : 0.0 sec. user=mdettweiler [2021-08-31 19:34:00] 741*2^1619897-1 is not prime. Res64: 63D577857E6B4AE7 Time : 0.0 sec. user=mdettweiler [2021-08-31 19:34:00] 771*2^1619897-1 is not prime. Res64: F6E8BEAA18D343DA Time : 0.0 sec. user=mdettweiler [2021-08-31 19:34:01] 985*2^1619897-1 is not prime. Res64: CF619CED1A560C66 Time : 0.0 sec. user=mdettweiler [2021-08-31 19:34:01] 707*2^1619898-1 is not prime. Res64: D44A587CC652165B Time : 0.0 sec. user=mdettweiler [2021-08-31 20:28:25] 755*2^1619898-1 is not prime. Res64: 0F8136DBB46C74A8 Time : 0.0 sec. user=mdettweiler [2021-08-31 20:28:25] 833*2^1619898-1 is not prime. Res64: CAD3C59F286F38CB Time : 0.0 sec. user=mdettweiler [2021-08-31 20:28:26] 837*2^1619898-1 is not prime. Res64: 2425A49062320D67 Time : 0.0 sec. user=mdettweiler [2021-08-31 20:28:26] 875*2^1619898-1 is not prime. Res64: 1BFB5B3C0A46815E Time : 0.0 sec. user=mdettweiler [2021-08-31 20:28:27] 881*2^1619898-1 is not prime. Res64: 2798C517F5822D74 Time : 0.0 sec. user=mdettweiler [2021-08-31 20:34:26] 963*2^1619898-1 is not prime. Res64: 615B1EF0D22AEFD5 Time : 0.0 sec. user=mdettweiler [2021-08-31 20:34:27] 993*2^1619898-1 is not prime. Res64: CE69BF1E470D16E9 Time : 0.0 sec. user=mdettweiler [2021-08-31 20:34:27] 633*2^1619899-1 is not prime. Res64: 121C672BCFB733D4 Time : 0.0 sec. user=mdettweiler [2021-08-31 20:34:28] 789*2^1619899-1 is not prime. Res64: A96027472B9F1144 Time : 0.0 sec. user=mdettweiler [2021-08-31 20:34:28] 841*2^1619899-1 is not prime. Res64: EEADD95FCB348429 Time : 0.0 sec. user=mdettweiler [2021-08-31 21:28:57] 853*2^1619899-1 is not prime. Res64: 26CC971047768A83 Time : 0.0 sec. user=mdettweiler [2021-08-31 21:28:57] 859*2^1619899-1 is not prime. Res64: 35409FEAD43FEA36 Time : 0.0 sec. user=mdettweiler [2021-08-31 21:28:58] 873*2^1619899-1 is not prime. Res64: D02C939FA28B491E Time : 0.0 sec. user=mdettweiler [2021-08-31 21:28:58] 961*2^1619899-1 is not prime. Res64: F2CA8C36E734FEC8 Time : 0.0 sec. user=mdettweiler [2021-08-31 21:28:59] 603*2^1619900-1 is not prime. Res64: 3DDB420F3507116D Time : 0.0 sec. user=mdettweiler [2021-08-31 21:34:58] 633*2^1619900-1 is not prime. Res64: 0AB07C9452032A07 Time : 0.0 sec. user=mdettweiler [2021-08-31 21:34:59] 677*2^1619900-1 is not prime. Res64: 3986857310024CF0 Time : 0.0 sec. user=mdettweiler [2021-08-31 21:34:59] 839*2^1619900-1 is not prime. Res64: D4203E12530DD4BC Time : 0.0 sec. user=mdettweiler [2021-08-31 21:35:00] 893*2^1619900-1 is not prime. Res64: 1652F2B269AEC891 Time : 0.0 sec. user=mdettweiler [2021-08-31 21:35:00] 977*2^1619900-1 is not prime. Res64: FECD12579BC45F8B Time : 0.0 sec. user=mdettweiler [2021-08-31 22:29:24] 811*2^1619901-1 is not prime. Res64: 2F8CB4ED2407AF27 Time : 0.0 sec. user=mdettweiler [2021-08-31 22:29:25] 889*2^1619901-1 is not prime. Res64: 484AE880DD7196EB Time : 0.0 sec. user=mdettweiler [2021-08-31 22:29:25] 937*2^1619901-1 is not prime. Res64: E50604DA76409F15 Time : 0.0 sec. user=mdettweiler [2021-08-31 22:29:26] 999*2^1619901-1 is not prime. Res64: B1134D2C7DBE8912 Time : 0.0 sec. user=mdettweiler [2021-08-31 22:29:26] 747*2^1619902-1 is not prime. Res64: 58CA16D300CBECF0 Time : 0.0 sec. user=mdettweiler [2021-08-31 22:35:30] 857*2^1619902-1 is not prime. Res64: 8E11D7AA8C09F39F Time : 0.0 sec. user=mdettweiler [2021-08-31 22:35:30] 881*2^1619902-1 is not prime. Res64: 9AEC10C3835FBA22 Time : 0.0 sec. user=mdettweiler [2021-08-31 22:35:31] 945*2^1619902-1 is not prime. Res64: 86EC95A1A6D1C18E Time : 0.0 sec. user=mdettweiler [2021-08-31 22:35:31] 609*2^1619903-1 is not prime. Res64: 60D82AADFAA19D77 Time : 0.0 sec. user=mdettweiler [2021-08-31 22:35:32] 673*2^1619903-1 is not prime. Res64: 1201D1B90DB31C79 Time : 0.0 sec. user=mdettweiler [2021-08-31 23:29:57] 753*2^1619903-1 is not prime. Res64: 5EF1D3323A226612 Time : 0.0 sec. user=mdettweiler [2021-08-31 23:29:58] 949*2^1619903-1 is not prime. Res64: DC8AE5A7D80DF3C5 Time : 0.0 sec. user=mdettweiler [2021-08-31 23:29:58] 635*2^1619904-1 is not prime. Res64: 150958A1031706F0 Time : 0.0 sec. user=mdettweiler [2021-08-31 23:29:59] 675*2^1619904-1 is not prime. Res64: 78973F7F41A3956E Time : 0.0 sec. user=mdettweiler [2021-08-31 23:29:59] 863*2^1619904-1 is not prime. Res64: 28BB5190F94E6BA7 Time : 0.0 sec. user=mdettweiler [2021-08-31 23:35:57] 873*2^1619904-1 is not prime. Res64: 84597F9386456DCE Time : 0.0 sec. user=mdettweiler [2021-08-31 23:35:58] 929*2^1619904-1 is not prime. Res64: 265C2F13C60FC691 Time : 0.0 sec. user=mdettweiler [2021-08-31 23:35:58] 969*2^1619904-1 is not prime. Res64: D30B26E8016AA8F8 Time : 0.0 sec. user=mdettweiler [2021-08-31 23:35:59] 975*2^1619904-1 is not prime. Res64: 12A803A681F11F06 Time : 0.0 sec. user=mdettweiler [2021-08-31 23:35:59] 983*2^1619904-1 is not prime. Res64: 1729763F72F9E828 Time : 0.0 sec.