user=mdettweiler
[2023-03-18 00:17:28]
301*2^4617979-1 is not prime.  Res64: D9D82C78F063428B  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 00:24:19]
307*2^4618001-1 is not prime.  Res64: C387B6C1D048E74A  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 00:30:14]
301*2^4618013-1 is not prime.  Res64: D18115F10647CFF8  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 00:47:11]
305*2^4618034-1 is not prime.  Res64: 82555BCC05C2019D  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 00:50:21]
309*2^4618075-1 is not prime.  Res64: 22EB47767AD0B00F  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 00:59:51]
305*2^4618082-1 is not prime.  Res64: 2ED92FF474FEBA8F  Time : 0.0 sec.
user=kruoli
[2023-03-18 01:11:09]
309*2^4617973-1 is not prime.  Res64: E100540ACE3196FE  Time : 0.0 sec.
user=kruoli
[2023-03-18 01:12:59]
301*2^4617973-1 is not prime.  Res64: 656328FCC3B17563  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 01:16:14]
303*2^4618159-1 is not prime.  Res64: 60155F592D24066A  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 01:16:45]
301*2^4618153-1 is not prime.  Res64: B6F96508616AF4AB  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 01:29:32]
301*2^4618167-1 is not prime.  Res64: EA115A9FC23FA288  Time : 0.0 sec.
user=kruoli
[2023-03-18 01:33:50]
303*2^4618026-1 is not prime.  Res64: 1FC6DC48F880A410  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 01:42:14]
309*2^4618168-1 is not prime.  Res64: 131F3747DDD2EAA2  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 01:46:28]
307*2^4618169-1 is not prime.  Res64: 4541B5EF5C905BEB  Time : 0.0 sec.
user=kruoli
[2023-03-18 01:46:45]
309*2^4618061-1 is not prime.  Res64: A0F76B2B3C99AE6A  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 01:59:11]
309*2^4618207-1 is not prime.  Res64: 3639908CB98DED32  Time : 0.0 sec.
user=kruoli
[2023-03-18 02:00:30]
301*2^4618077-1 is not prime.  Res64: CD618189399DDE61  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 02:08:09]
301*2^4618221-1 is not prime.  Res64: A402B77909CFA0D6  Time : 0.0 sec.
user=kruoli
[2023-03-18 02:09:00]
309*2^4618117-1 is not prime.  Res64: C2EDD241F1354FAE  Time : 0.0 sec.
user=kruoli
[2023-03-18 02:13:36]
305*2^4618158-1 is not prime.  Res64: BF7A959568890FCF  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 02:16:02]
309*2^4618223-1 is not prime.  Res64: 6F99DE3D6AFD1464  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 02:28:38]
301*2^4618227-1 is not prime.  Res64: 9423DC41F56976DC  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 02:34:05]
309*2^4618235-1 is not prime.  Res64: 50CBA1E2AD727952  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 02:45:37]
309*2^4618237-1 is not prime.  Res64: 682DFAFC29067242  Time : 0.0 sec.
user=kruoli
[2023-03-18 02:49:05]
309*2^4618195-1 is not prime.  Res64: 560FBB85289DAF74  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 02:58:08]
303*2^4618240-1 is not prime.  Res64: 4F13FE483A7A0113  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 02:59:55]
307*2^4618249-1 is not prime.  Res64: 76D0449260527F8F  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 03:15:12]
305*2^4618250-1 is not prime.  Res64: 108EACE43170BC63  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 03:25:42]
303*2^4618266-1 is not prime.  Res64: 03F315E492989924  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 03:27:37]
301*2^4618255-1 is not prime.  Res64: 40B6064B2E3D592A  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 03:44:52]
309*2^4618267-1 is not prime.  Res64: 635D65FE7685ADAE  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 03:51:38]
303*2^4618288-1 is not prime.  Res64: 1CA2856E7B36E2C8  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 03:57:27]
305*2^4618298-1 is not prime.  Res64: 036FB1F13D903EE0  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 04:14:23]
309*2^4618319-1 is not prime.  Res64: 38F6EACB51EDBE07  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 04:17:44]
307*2^4618321-1 is not prime.  Res64: 2DBAFAC89D3C04B1  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 04:26:53]
309*2^4618324-1 is not prime.  Res64: 4A39C9D1FD0209A3  Time : 0.0 sec.
user=kruoli
[2023-03-18 04:41:26]
307*2^4618277-1 is not prime.  Res64: DC8A46683A0A579F  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 04:43:50]
309*2^4618364-1 is not prime.  Res64: DD83F80AEC319A89  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 04:44:09]
303*2^4618360-1 is not prime.  Res64: E85065BF6A67E836  Time : 0.0 sec.
user=kruoli
[2023-03-18 04:46:14]
301*2^4618287-1 is not prime.  Res64: 4CA0CA11D735C452  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 04:56:25]
305*2^4618370-1 is not prime.  Res64: 55E120CD331E55C7  Time : 0.0 sec.
user=kruoli
[2023-03-18 05:05:46]
309*2^4618312-1 is not prime.  Res64: 4658C8D2A6B981FC  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 05:09:46]
301*2^4618385-1 is not prime.  Res64: ED972C491ABB3A7B  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 05:13:46]
307*2^4618393-1 is not prime.  Res64: 58B9D65E8BEE034A  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 05:26:02]
307*2^4618397-1 is not prime.  Res64: 7431326DECADE88E  Time : 0.0 sec.
user=kruoli
[2023-03-18 05:29:54]
307*2^4618333-1 is not prime.  Res64: E27A84939DF033B3  Time : 0.0 sec.
user=kruoli
[2023-03-18 05:32:02]
307*2^4618349-1 is not prime.  Res64: 268AD46B5D5E11FF  Time : 0.0 sec.
user=kruoli
[2023-03-18 05:33:18]
301*2^4618353-1 is not prime.  Res64: D28F47F30E4EB6D2  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 05:35:46]
305*2^4618398-1 is not prime.  Res64: FDCC82E76FACF4AD  Time : 0.0 sec.
user=kruoli
[2023-03-18 05:40:49]
307*2^4618361-1 is not prime.  Res64: BA3720652120FC0C  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 05:43:21]
301*2^4618399-1 is not prime.  Res64: 55068411EEE19DC9  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 05:43:45]
309*2^4618328-1 is not prime.  Res64: 021DC43E63FCBDE5  Time : 0.0 sec.
user=kruoli
[2023-03-18 05:55:23]
301*2^4618375-1 is not prime.  Res64: 1A6736DAA8F26156  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 05:55:36]
303*2^4618407-1 is not prime.  Res64: DD5C7E1E4F4611C4  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 05:55:37]
309*2^4618327-1 is not prime.  Res64: 4F45E635BC52097C  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 06:01:47]
301*2^4618425-1 is not prime.  Res64: 7A955EB3EBB142A6  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 06:12:54]
303*2^4618428-1 is not prime.  Res64: A723C9BCC89193E6  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 06:25:07]
301*2^4618429-1 is not prime.  Res64: 4E4509D4F547F054  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 06:27:41]
309*2^4618445-1 is not prime.  Res64: D7EE34EE523C03AC  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 06:42:31]
301*2^4618447-1 is not prime.  Res64: 84523AD69D521653  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 06:53:38]
303*2^4618464-1 is not prime.  Res64: 2BF1034D43FB70DB  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 06:54:56]
303*2^4618452-1 is not prime.  Res64: B6664E825596E453  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 07:12:01]
301*2^4618471-1 is not prime.  Res64: FC64F5436AF1A16D  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 07:19:35]
303*2^4618483-1 is not prime.  Res64: 2F3A36199B0E8975  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 07:24:33]
309*2^4618484-1 is not prime.  Res64: 3D3B250D0B50792B  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 07:41:35]
309*2^4618519-1 is not prime.  Res64: 20D6FDF8CD7B2320  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 07:45:46]
309*2^4618525-1 is not prime.  Res64: 004A7C35B790DAE9  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 07:54:13]
307*2^4618529-1 is not prime.  Res64: 345AE13B186211D8  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 08:11:22]
303*2^4618564-1 is not prime.  Res64: 58EB128FAFAF525C  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 08:11:57]
303*2^4618567-1 is not prime.  Res64: B5817B6C14CFA216  Time : 0.0 sec.
user=kruoli
[2023-03-18 08:13:35]
301*2^4618477-1 is not prime.  Res64: 27B35CF9054A63BA  Time : 0.0 sec.
user=kruoli
[2023-03-18 08:19:12]
301*2^4618515-1 is not prime.  Res64: A30C28DF6B762D21  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 08:23:49]
309*2^4618592-1 is not prime.  Res64: B006B3CF92873A31  Time : 0.0 sec.
user=kruoli
[2023-03-18 08:35:59]
309*2^4618523-1 is not prime.  Res64: B90E72DD4B8B4BCC  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 08:37:55]
305*2^4618634-1 is not prime.  Res64: 18FD3577D4FE9CAF  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 08:41:03]
303*2^4618632-1 is not prime.  Res64: D5BAD2A953DB9894  Time : 0.0 sec.
user=kruoli
[2023-03-18 08:50:43]
303*2^4618542-1 is not prime.  Res64: 2F36F6BFF79095A6  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 08:53:31]
307*2^4618649-1 is not prime.  Res64: 9B8577CF8F629CD8  Time : 0.0 sec.
user=kruoli
[2023-03-18 08:57:19]
305*2^4618562-1 is not prime.  Res64: 3CA20A7F2D83F554  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 09:03:52]
309*2^4618651-1 is not prime.  Res64: 45FED894E81AF287  Time : 0.0 sec.
user=kruoli
[2023-03-18 09:05:53]
303*2^4618563-1 is not prime.  Res64: C3B545705849C5A9  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 09:10:40]
307*2^4618657-1 is not prime.  Res64: ACFD9B5B876447B1  Time : 0.0 sec.
user=kruoli
[2023-03-18 09:22:50]
305*2^4618622-1 is not prime.  Res64: DF064957BBD21A2E  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 09:23:08]
303*2^4618662-1 is not prime.  Res64: DFCF1CCEFC6920F8  Time : 0.0 sec.
user=kruoli
[2023-03-18 09:28:57]
301*2^4618625-1 is not prime.  Res64: 05BD5EB693D1488E  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 09:29:59]
309*2^4618672-1 is not prime.  Res64: 24FA9B08A49A07A3  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 09:40:22]
301*2^4618675-1 is not prime.  Res64: C12C45E02DAED3A4  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 09:52:43]
303*2^4618675-1 is not prime.  Res64: 7BD0691034C189A9  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 09:56:00]
309*2^4618679-1 is not prime.  Res64: 3FCF427AA1DB43E7  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 10:09:58]
309*2^4618685-1 is not prime.  Res64: E9B0A65E11607C8F  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 10:22:07]
309*2^4618691-1 is not prime.  Res64: 236F95578CAD9D4C  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 10:22:12]
301*2^4618689-1 is not prime.  Res64: 64C3C39C266508F2  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 10:39:35]
307*2^4618709-1 is not prime.  Res64: 39BFF7C0D809B83B  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 10:48:29]
309*2^4618729-1 is not prime.  Res64: 3E607CD928029DE9  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 10:51:57]
305*2^4618730-1 is not prime.  Res64: 6A43946983B05F87  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 11:09:14]
303*2^4618747-1 is not prime.  Res64: 82E06B9736A377AF  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 11:14:21]
303*2^4618764-1 is not prime.  Res64: C921F249169F7FD6  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 11:21:29]
305*2^4618778-1 is not prime.  Res64: 69962A62356504FB  Time : 0.0 sec.
user=kruoli
[2023-03-18 11:35:40]
303*2^4618720-1 is not prime.  Res64: A299D42D3059E3CD  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 11:38:52]
301*2^4618785-1 is not prime.  Res64: FE6DC4B03600A57E  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 11:40:11]
309*2^4618796-1 is not prime.  Res64: 59A4104FEE9CB133  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 11:51:12]
309*2^4618829-1 is not prime.  Res64: 365B7C01C5F32F8A  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 12:06:08]
307*2^4618909-1 is not prime.  Res64: 907AFBE02AF67E11  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 12:08:29]
303*2^4618878-1 is not prime.  Res64: F830BC6FB56B041A  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 12:20:42]
309*2^4618915-1 is not prime.  Res64: 3D0F441D08B98B5F  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 12:32:15]
303*2^4618926-1 is not prime.  Res64: B495D6388AB9850C  Time : 0.0 sec.
user=kruoli
[2023-03-18 12:36:45]
307*2^4618793-1 is not prime.  Res64: AA022A24F0C0AFA2  Time : 0.0 sec.
user=kruoli
[2023-03-18 12:37:23]
305*2^4618806-1 is not prime.  Res64: 720F372E5B51F1B7  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 12:38:08]
303*2^4618932-1 is not prime.  Res64: B4799C7AEB8106FE  Time : 0.0 sec.
user=kruoli
[2023-03-18 12:39:47]
307*2^4618813-1 is not prime.  Res64: 51249AC34A09C47D  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 12:50:28]
309*2^4618945-1 is not prime.  Res64: 7B57A8BD05C1F1C3  Time : 0.0 sec.
user=kruoli
[2023-03-18 12:53:42]
301*2^4618865-1 is not prime.  Res64: 2B50AE2260296C52  Time : 0.0 sec.
user=kruoli
[2023-03-18 12:53:58]
309*2^4618876-1 is not prime.  Res64: 1F89B8A1A2DA9B08  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 12:58:18]
307*2^4618981-1 is not prime.  Res64: 5EB4DFECD7B1C093  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 13:07:43]
301*2^4619005-1 is not prime.  Res64: 51E70CD2ABEC7AB8  Time : 0.0 sec.
user=kruoli
[2023-03-18 13:09:11]
301*2^4618915-1 is not prime.  Res64: 3B010DF1839E36B1  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 13:20:06]
301*2^4619007-1 is not prime.  Res64: 6179C2D210E7884A  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 13:24:11]
309*2^4619008-1 is not prime.  Res64: 31F869800CAE5789  Time : 0.0 sec.
user=kruoli
[2023-03-18 13:25:41]
307*2^4618921-1 is not prime.  Res64: 7196FED738E05D9B  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 13:37:38]
309*2^4619012-1 is not prime.  Res64: 4005400C64EED583  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 13:49:45]
309*2^4619015-1 is not prime.  Res64: 9E5E840E584C2E70  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 13:50:08]
309*2^4619024-1 is not prime.  Res64: 775DA269F3BB978D  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 14:07:08]
305*2^4619040-1 is not prime.  Res64: 6B6233695031857B  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 14:16:03]
301*2^4619047-1 is not prime.  Res64: A2B2288A5A80D66E  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 14:19:20]
303*2^4619044-1 is not prime.  Res64: FBE502D94F9DB0E7  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 14:36:42]
307*2^4619069-1 is not prime.  Res64: 89AFBC4ADB392586  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 14:41:56]
301*2^4619073-1 is not prime.  Res64: 9CBEBF9993C4A102  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 14:46:46]
305*2^4618952-1 is not prime.  Res64: 68A99BE6B2671631  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 14:48:01]
309*2^4618951-1 is not prime.  Res64: D3162AA191653EF3  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 14:48:56]
309*2^4619081-1 is not prime.  Res64: 45752D22DB76BAF9  Time : 0.0 sec.
user=kruoli
[2023-03-18 15:05:58]
305*2^4619042-1 is not prime.  Res64: A4D5988FBF40EB99  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 15:06:18]
309*2^4619099-1 is not prime.  Res64: 025F8C6B5E6FDD38  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 15:07:48]
309*2^4619107-1 is not prime.  Res64: 7E4AA2F0E9D88D79  Time : 0.0 sec.
user=kruoli
[2023-03-18 15:18:32]
309*2^4619053-1 is not prime.  Res64: B5349C82C3912515  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 15:18:35]
301*2^4619121-1 is not prime.  Res64: CE2D4AEE16888BFB  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 15:33:41]
305*2^4619168-1 is not prime.  Res64: 3239A1AAE693120A  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 15:35:50]
309*2^4619164-1 is not prime.  Res64: DE21D302491822A8  Time : 0.0 sec.
user=kruoli
[2023-03-18 15:41:44]
309*2^4619075-1 is not prime.  Res64: 6B27443B362B5918  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 15:48:11]
309*2^4619177-1 is not prime.  Res64: E4685307B0DADA19  Time : 0.0 sec.
user=kruoli
[2023-03-18 15:56:26]
307*2^4619089-1 is not prime.  Res64: A70B6A0360520D83  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 15:59:29]
301*2^4619179-1 is not prime.  Res64: 7C77897DE1091C24  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 16:05:22]
301*2^4619189-1 is not prime.  Res64: E7C766F0BF86D1C6  Time : 0.0 sec.
user=kruoli
[2023-03-18 16:07:09]
305*2^4619114-1 is not prime.  Res64: 4F444F046A2E7934  Time : 0.0 sec.
user=kruoli
[2023-03-18 16:15:00]
309*2^4619141-1 is not prime.  Res64: FDCD1C221F63F664  Time : 0.0 sec.
user=kruoli
[2023-03-18 16:15:56]
309*2^4619147-1 is not prime.  Res64: 32E890B61A44CDC1  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 16:17:41]
305*2^4619190-1 is not prime.  Res64: 833BEE147D53D608  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 16:25:41]
303*2^4619202-1 is not prime.  Res64: 38B1498C68D77373  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 16:35:01]
303*2^4619208-1 is not prime.  Res64: DC39620CF95FFD74  Time : 0.0 sec.
user=kruoli
[2023-03-18 16:41:43]
307*2^4619173-1 is not prime.  Res64: 5155882898FD2F84  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 16:47:14]
301*2^4619213-1 is not prime.  Res64: 4E89EF71C52A0480  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 16:51:39]
301*2^4619217-1 is not prime.  Res64: 5A219E4739DCD4A0  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 17:04:36]
307*2^4619221-1 is not prime.  Res64: 2A5CA9BE4C2D5625  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 17:16:43]
307*2^4619257-1 is not prime.  Res64: 8F8C36B981643737  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 17:17:36]
301*2^4619259-1 is not prime.  Res64: 78B6A84535F0A83C  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 17:34:23]
305*2^4619280-1 is not prime.  Res64: 6C04CB8AFFC7C899  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 17:43:31]
309*2^4619312-1 is not prime.  Res64: 44FB402CB27E8603  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 17:46:26]
305*2^4619310-1 is not prime.  Res64: 61F89132F23A2D2B  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 18:04:05]
309*2^4619317-1 is not prime.  Res64: 9A9E56AA78C2572D  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 18:09:25]
305*2^4619328-1 is not prime.  Res64: 72515503AB99BF0E  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 18:16:06]
303*2^4619332-1 is not prime.  Res64: E5F6C7F39CB4D27B  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 18:33:44]
307*2^4619353-1 is not prime.  Res64: F4E608C2FCC806AD  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 18:35:18]
309*2^4619359-1 is not prime.  Res64: 8CE9361A66220631  Time : 0.0 sec.
user=kruoli
[2023-03-18 18:41:29]
301*2^4619313-1 is not prime.  Res64: 6494B8612B682016  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 18:45:49]
301*2^4619377-1 is not prime.  Res64: E013BAEE8956A779  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 19:01:16]
309*2^4619425-1 is not prime.  Res64: 2250CE386174C7DE  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 19:03:19]
301*2^4619395-1 is not prime.  Res64: 7E407B8C87F806B6  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 19:15:20]
301*2^4619439-1 is not prime.  Res64: A132AC3416EC1DA1  Time : 0.0 sec.
user=kruoli
[2023-03-18 19:17:09]
305*2^4619334-1 is not prime.  Res64: DE12B35D21C5925D  Time : 0.0 sec.
user=kruoli
[2023-03-18 19:18:22]
301*2^4619347-1 is not prime.  Res64: 25A39B86C3E25DB9  Time : 0.0 sec.
user=kruoli
[2023-03-18 19:19:54]
309*2^4619351-1 is not prime.  Res64: E51DE82096CA2192  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 19:27:06]
301*2^4619455-1 is not prime.  Res64: 4A14C61DE1CF3289  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 19:32:52]
303*2^4619463-1 is not prime.  Res64: DE1482B278B0010C  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 19:45:08]
301*2^4619479-1 is not prime.  Res64: FCFA258FA80FD97E  Time : 0.0 sec.
user=kruoli
[2023-03-18 19:45:50]
307*2^4619389-1 is not prime.  Res64: 709ABA4FC946BA76  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 19:52:54]
303*2^4619479-1 is not prime.  Res64: 5C2DF4376BA9F99B  Time : 0.0 sec.
user=kruoli
[2023-03-18 19:53:43]
305*2^4619390-1 is not prime.  Res64: 0968A4173C7BC1DF  Time : 0.0 sec.
user=kruoli
[2023-03-18 20:02:19]
309*2^4619428-1 is not prime.  Res64: 74052FC36380CD09  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 20:02:20]
309*2^4619492-1 is not prime.  Res64: 1713D01590FFAAFD  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 20:14:39]
303*2^4619512-1 is not prime.  Res64: 67EE27866EB44A53  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 20:18:43]
303*2^4619526-1 is not prime.  Res64: A52242102EF39F03  Time : 0.0 sec.
user=kruoli
[2023-03-18 20:20:46]
307*2^4619441-1 is not prime.  Res64: AE635A017A76C7ED  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 20:31:56]
301*2^4619541-1 is not prime.  Res64: 4EC7846DFBF28DB5  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 20:44:25]
307*2^4619549-1 is not prime.  Res64: 3E48B6B577B1DEDB  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 20:44:38]
307*2^4619573-1 is not prime.  Res64: F075FBEA53709BC1  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 21:01:28]
303*2^4619575-1 is not prime.  Res64: 2B081ACE753E72FB  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 21:10:34]
309*2^4619584-1 is not prime.  Res64: 6FCADE74B26E526F  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 21:14:02]
303*2^4619584-1 is not prime.  Res64: 01426583A5A6E662  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 21:30:56]
309*2^4619587-1 is not prime.  Res64: 80A49C424C25CD90  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 21:36:34]
301*2^4619597-1 is not prime.  Res64: 6678259744D0F581  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 21:43:42]
301*2^4619607-1 is not prime.  Res64: 7A15D6BEBBBF247B  Time : 0.0 sec.
user=kruoli
[2023-03-18 21:58:17]
307*2^4619581-1 is not prime.  Res64: D93FE1838875E745  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 22:00:29]
303*2^4619608-1 is not prime.  Res64: CBF0716331C3E43C  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 22:02:30]
301*2^4619617-1 is not prime.  Res64: 96C1E24ADB732477  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 22:13:17]
305*2^4619642-1 is not prime.  Res64: 8E2FE69B2E3C0308  Time : 0.0 sec.
user=kruoli
[2023-03-18 22:23:29]
309*2^4619588-1 is not prime.  Res64: 6E2B3877265D101B  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 22:28:24]
301*2^4619657-1 is not prime.  Res64: 9F7C70CE6978AA67  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 22:30:04]
307*2^4619653-1 is not prime.  Res64: 4A377470814EB6CE  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 22:42:54]
309*2^4619713-1 is not prime.  Res64: 0DE8E3CC6C9BAFB7  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 22:54:16]
303*2^4619728-1 is not prime.  Res64: 56C0A0757CEE4CF2  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 22:59:43]
309*2^4619741-1 is not prime.  Res64: 96DB5AC2B0BE0AEC  Time : 0.0 sec.
user=kruoli
[2023-03-18 23:02:28]
305*2^4619618-1 is not prime.  Res64: 6680700A79F47499  Time : 0.0 sec.
user=kruoli
[2023-03-18 23:03:22]
307*2^4619629-1 is not prime.  Res64: EA784FFF44788E03  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 23:12:34]
301*2^4619745-1 is not prime.  Res64: 6340FCCEE0CE8480  Time : 0.0 sec.
user=kruoli
[2023-03-18 23:19:44]
303*2^4619652-1 is not prime.  Res64: 2AA0FBB727B96D85  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 23:20:12]
309*2^4619755-1 is not prime.  Res64: F8CC3CD1BFD7F291  Time : 0.0 sec.
user=kruoli
[2023-03-18 23:27:00]
301*2^4619671-1 is not prime.  Res64: FCE3A812F3E1581A  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 23:29:21]
307*2^4619761-1 is not prime.  Res64: 4A0A9C4F5A6FC736  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 23:42:15]
301*2^4619787-1 is not prime.  Res64: 9CBA6F397177BE90  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 23:46:03]
309*2^4619789-1 is not prime.  Res64: 49F8F8549D96FF30  Time : 0.0 sec.
user=kruoli
[2023-03-18 23:52:25]
309*2^4619743-1 is not prime.  Res64: 4DF82C05EACADE6A  Time : 0.0 sec.
user=mdettweiler
[2023-03-18 23:58:54]
303*2^4619823-1 is not prime.  Res64: EAB192710DF65D57  Time : 0.0 sec.