user=mdettweiler
[2023-03-12 00:01:24]
303*2^4607292-1 is not prime.  Res64: 2B7C6021E82C3493  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 00:03:05]
301*2^4607311-1 is not prime.  Res64: D9C59FE64B2B6BEE  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 00:31:09]
309*2^4607311-1 is not prime.  Res64: B32E2D339867EB90  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 00:32:37]
307*2^4607317-1 is not prime.  Res64: 5CDCC840D9D329C9  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 01:00:22]
309*2^4607323-1 is not prime.  Res64: 37AD989F872F1BB9  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 01:02:04]
309*2^4607329-1 is not prime.  Res64: A8AA2857CD9F6BDB  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 01:29:51]
309*2^4607333-1 is not prime.  Res64: A8AF4BFA170D7748  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 01:31:34]
301*2^4607335-1 is not prime.  Res64: 9C115E3AAEF9CD43  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 01:59:22]
309*2^4607351-1 is not prime.  Res64: 0A296E853836500E  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 03:16:33]
301*2^4607369-1 is not prime.  Res64: D5363C21525FF103  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 03:28:46]
301*2^4607377-1 is not prime.  Res64: 50E4A980E4A7E0EC  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 03:46:11]
303*2^4607406-1 is not prime.  Res64: 53A194E4AA2393A0  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 03:58:15]
303*2^4607418-1 is not prime.  Res64: 1B4E0BC50B065384  Time : 0.0 sec.
user=kruoli
[2023-03-12 04:09:29]
305*2^4607366-1 is not prime.  Res64: 470FB652F2DB2538  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 04:16:03]
301*2^4607439-1 is not prime.  Res64: E1E833F23AD146F0  Time : 0.0 sec.
user=kruoli
[2023-03-12 04:26:07]
305*2^4607378-1 is not prime.  Res64: 4238FEA8DD32BCAC  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 04:27:45]
303*2^4607440-1 is not prime.  Res64: D5DAF86FA6124C84  Time : 0.0 sec.
user=kruoli
[2023-03-12 04:30:57]
307*2^4607377-1 is not prime.  Res64: E6A9A9B796CFDAC5  Time : 0.0 sec.
user=kruoli
[2023-03-12 04:39:09]
303*2^4607380-1 is not prime.  Res64: 637801889231545F  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 04:45:34]
301*2^4607441-1 is not prime.  Res64: 69EB3767B8BB63E4  Time : 0.0 sec.
user=kruoli
[2023-03-12 04:52:27]
307*2^4607417-1 is not prime.  Res64: 1BAD1C61ADC4EA45  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 04:57:20]
305*2^4607486-1 is not prime.  Res64: 9FC20F38E938095F  Time : 0.0 sec.
user=kruoli
[2023-03-12 05:01:26]
301*2^4607427-1 is not prime.  Res64: 70BE395065DE03AD  Time : 0.0 sec.
user=kruoli
[2023-03-12 05:07:40]
309*2^4607429-1 is not prime.  Res64: C9E3944DE4A02F5D  Time : 0.0 sec.
user=kruoli
[2023-03-12 05:08:34]
305*2^4607432-1 is not prime.  Res64: F12475208733D0F1  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 05:15:03]
301*2^4607505-1 is not prime.  Res64: 885069A8FF074750  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 05:26:47]
303*2^4607512-1 is not prime.  Res64: 4BF91BF9E8B401B0  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 05:44:47]
301*2^4607521-1 is not prime.  Res64: E823E6843E067215  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 05:52:01]
301*2^4607445-1 is not prime.  Res64: 364AAF83779B007C  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 05:56:25]
309*2^4607528-1 is not prime.  Res64: F84B01ABC53DF778  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 05:59:06]
301*2^4607461-1 is not prime.  Res64: 7435263AE393A7BD  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 06:09:53]
301*2^4607485-1 is not prime.  Res64: D2DD9129F61B86DB  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 06:13:21]
303*2^4607442-1 is not prime.  Res64: C050AA6E97E73C7E  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 06:14:22]
303*2^4607544-1 is not prime.  Res64: D6823664590B3AAA  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 06:15:08]
303*2^4607448-1 is not prime.  Res64: 5EF1CEF932DD544A  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 06:25:59]
301*2^4607575-1 is not prime.  Res64: 3563BD53F6A422AD  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 06:43:54]
305*2^4607600-1 is not prime.  Res64: CF30F954217F1C7B  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 06:55:29]
301*2^4607623-1 is not prime.  Res64: A9305DF8A5DB8B7E  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 07:13:25]
305*2^4607666-1 is not prime.  Res64: 24552986A649A6FE  Time : 0.0 sec.
user=kruoli
[2023-03-12 07:21:34]
305*2^4607582-1 is not prime.  Res64: C3D7F954F0E9A618  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 07:25:01]
301*2^4607681-1 is not prime.  Res64: 9B700C7576A88F85  Time : 0.0 sec.
user=kruoli
[2023-03-12 07:30:06]
309*2^4607599-1 is not prime.  Res64: 4FABC8E3354A8841  Time : 0.0 sec.
user=kruoli
[2023-03-12 07:36:32]
309*2^4607611-1 is not prime.  Res64: 66991F3526AEFAB6  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 07:43:02]
301*2^4607709-1 is not prime.  Res64: 8F72969C982EE58A  Time : 0.0 sec.
user=kruoli
[2023-03-12 07:47:06]
301*2^4607629-1 is not prime.  Res64: 8EC81A514FAED1CA  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 07:54:33]
307*2^4607729-1 is not prime.  Res64: 8A797ECA3AF8033D  Time : 0.0 sec.
user=kruoli
[2023-03-12 07:54:51]
307*2^4607629-1 is not prime.  Res64: 1A6BA85AFD7ED7BF  Time : 0.0 sec.
user=kruoli
[2023-03-12 07:58:36]
305*2^4607630-1 is not prime.  Res64: AC17609AEAE41483  Time : 0.0 sec.
user=kruoli
[2023-03-12 08:04:57]
307*2^4607653-1 is not prime.  Res64: 5BA994E35D8E0F96  Time : 0.0 sec.
user=kruoli
[2023-03-12 08:06:33]
307*2^4607657-1 is not prime.  Res64: AF231F13A85E02D4  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 08:12:25]
305*2^4607736-1 is not prime.  Res64: 5438C83BA4CB7435  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 08:24:00]
307*2^4607737-1 is not prime.  Res64: DAAB778CBAA93313  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 08:41:56]
303*2^4607742-1 is not prime.  Res64: 2DE794510DEBCAF1  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 08:53:36]
309*2^4607752-1 is not prime.  Res64: 44663787AED91559  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 09:11:33]
303*2^4607764-1 is not prime.  Res64: FF50D24EB074F650  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 09:23:01]
309*2^4607767-1 is not prime.  Res64: 8565E451A09BAEDD  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 09:41:28]
303*2^4607784-1 is not prime.  Res64: E1F6B38A7653DA68  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 09:52:36]
309*2^4607785-1 is not prime.  Res64: 86BA0FE8DC384EA2  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 10:10:55]
305*2^4607810-1 is not prime.  Res64: 2CF7A38B2454F52D  Time : 0.0 sec.
user=kruoli
[2023-03-12 10:19:35]
301*2^4607775-1 is not prime.  Res64: 7301D9624E7BA523  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 10:22:11]
301*2^4607821-1 is not prime.  Res64: D1B1404245DB44E7  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 10:40:28]
309*2^4607821-1 is not prime.  Res64: A3D0196ABAAF6183  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 10:51:49]
301*2^4607895-1 is not prime.  Res64: 3648C3F52BC6C30B  Time : 0.0 sec.
user=kruoli
[2023-03-12 10:53:54]
301*2^4607787-1 is not prime.  Res64: 141958CBB81E7BBA  Time : 0.0 sec.
user=kruoli
[2023-03-12 11:00:10]
301*2^4607791-1 is not prime.  Res64: 833FD0FE95335033  Time : 0.0 sec.
user=kruoli
[2023-03-12 11:04:09]
303*2^4607803-1 is not prime.  Res64: 813C794ECB343F44  Time : 0.0 sec.
user=kruoli
[2023-03-12 11:09:07]
303*2^4607814-1 is not prime.  Res64: 189EE188662582E7  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 11:10:24]
309*2^4607908-1 is not prime.  Res64: 6F5E991C58A77502  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 11:21:27]
309*2^4607936-1 is not prime.  Res64: A289BF3DD837195F  Time : 0.0 sec.
user=kruoli
[2023-03-12 11:25:37]
307*2^4607821-1 is not prime.  Res64: B03DC6977E577A56  Time : 0.0 sec.
user=kruoli
[2023-03-12 11:35:33]
309*2^4607833-1 is not prime.  Res64: DC19A1C7219DF141  Time : 0.0 sec.
user=kruoli
[2023-03-12 11:38:50]
301*2^4607853-1 is not prime.  Res64: 6F775FAA34F08799  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 11:39:52]
309*2^4607941-1 is not prime.  Res64: 0588B40933FEFDB7  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 11:51:03]
309*2^4607945-1 is not prime.  Res64: 878EC8A5E7E3307B  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 12:09:23]
303*2^4607946-1 is not prime.  Res64: 97C46B2763E38227  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 12:20:27]
309*2^4607956-1 is not prime.  Res64: EB38D1BEA8A2E9C1  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 12:38:49]
309*2^4607959-1 is not prime.  Res64: A252C6CB5DD41D6B  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 12:50:07]
309*2^4607992-1 is not prime.  Res64: 44DC69171A233F98  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 13:08:15]
305*2^4608006-1 is not prime.  Res64: BA88DB0DC75B066A  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 13:19:33]
301*2^4608073-1 is not prime.  Res64: C6EB09FE78760D84  Time : 0.0 sec.
user=kruoli
[2023-03-12 13:21:57]
301*2^4607985-1 is not prime.  Res64: 3C415831EE9C4E1A  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 13:37:58]
303*2^4608084-1 is not prime.  Res64: 66EAE32AF09A5F8F  Time : 0.0 sec.
user=kruoli
[2023-03-12 13:48:25]
303*2^4608006-1 is not prime.  Res64: 7B8108B2C5277735  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 13:49:00]
309*2^4608157-1 is not prime.  Res64: DC230465D74A073C  Time : 0.0 sec.
user=kruoli
[2023-03-12 13:55:45]
307*2^4608013-1 is not prime.  Res64: 30485975E1173BE2  Time : 0.0 sec.
user=kruoli
[2023-03-12 14:06:03]
309*2^4608077-1 is not prime.  Res64: 13FDC9EEF6926B0C  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 14:07:23]
309*2^4608176-1 is not prime.  Res64: 4A0D13B6B148067E  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 14:18:30]
307*2^4608197-1 is not prime.  Res64: 5D172324B86F5D1A  Time : 0.0 sec.
user=kruoli
[2023-03-12 14:29:28]
301*2^4608127-1 is not prime.  Res64: C0332095E9FB01B5  Time : 0.0 sec.
user=kruoli
[2023-03-12 14:36:21]
301*2^4608093-1 is not prime.  Res64: EC208B0E9B675C14  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 14:36:56]
303*2^4608204-1 is not prime.  Res64: 4CB267547BADF3E9  Time : 0.0 sec.
user=kruoli
[2023-03-12 14:37:21]
305*2^4608102-1 is not prime.  Res64: C263737FC54197E8  Time : 0.0 sec.
user=kruoli
[2023-03-12 14:38:45]
305*2^4608096-1 is not prime.  Res64: 955F31E4CE15F80F  Time : 0.0 sec.
user=kruoli
[2023-03-12 14:45:46]
309*2^4608161-1 is not prime.  Res64: 58926FFE652984AF  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 14:48:21]
309*2^4608208-1 is not prime.  Res64: 6FC51CFF67B24A57  Time : 0.0 sec.
user=kruoli
[2023-03-12 14:56:00]
305*2^4608176-1 is not prime.  Res64: 16C3F5FED48A3F38  Time : 0.0 sec.
user=kruoli
[2023-03-12 15:04:24]
301*2^4608177-1 is not prime.  Res64: 78EFD29F1FC4B79C  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 15:06:20]
301*2^4608211-1 is not prime.  Res64: 5562545F38B1F1DB  Time : 0.0 sec.
user=kruoli
[2023-03-12 15:07:32]
303*2^4608192-1 is not prime.  Res64: CBF309DDB81986A6  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 15:17:47]
303*2^4608223-1 is not prime.  Res64: DC13E47598665009  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 15:36:05]
309*2^4608227-1 is not prime.  Res64: 630FE32EBECF1F4C  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 15:47:40]
309*2^4608263-1 is not prime.  Res64: 2830630354F2DEAF  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 16:05:34]
303*2^4608304-1 is not prime.  Res64: D3E9689EBFBA1BF6  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 16:17:09]
309*2^4608304-1 is not prime.  Res64: 2972DBB5AA322494  Time : 0.0 sec.
user=kruoli
[2023-03-12 16:18:10]
309*2^4608247-1 is not prime.  Res64: CE0D7CFDDB7069ED  Time : 0.0 sec.
user=kruoli
[2023-03-12 16:29:15]
301*2^4608269-1 is not prime.  Res64: 787B4F072A6FA75B  Time : 0.0 sec.
user=kruoli
[2023-03-12 16:33:52]
305*2^4608278-1 is not prime.  Res64: E74D00BDAE426876  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 16:35:07]
309*2^4608311-1 is not prime.  Res64: 131132137F9E3900  Time : 0.0 sec.
user=kruoli
[2023-03-12 16:37:08]
301*2^4608291-1 is not prime.  Res64: 346B0C083EDE6A6E  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 16:46:50]
303*2^4608340-1 is not prime.  Res64: F5F5199EBA3650A5  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 17:04:49]
301*2^4608365-1 is not prime.  Res64: B4964B5302A13F51  Time : 0.0 sec.
user=kruoli
[2023-03-12 17:10:55]
301*2^4608309-1 is not prime.  Res64: C0DF1ECE35C6B97E  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 17:16:19]
303*2^4608378-1 is not prime.  Res64: D8B3CF3F591750CC  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 17:34:24]
309*2^4608436-1 is not prime.  Res64: F3BAA6A7481B64C1  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 17:45:56]
303*2^4608444-1 is not prime.  Res64: ED541D46B43C0468  Time : 0.0 sec.
user=kruoli
[2023-03-12 17:54:02]
309*2^4608356-1 is not prime.  Res64: 56DBCE18A1C0F8DB  Time : 0.0 sec.
user=kruoli
[2023-03-12 18:00:06]
301*2^4608367-1 is not prime.  Res64: 2426C125E0875EFB  Time : 0.0 sec.
user=kruoli
[2023-03-12 18:03:34]
307*2^4608373-1 is not prime.  Res64: F5DA4056600FE6F0  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 18:03:57]
301*2^4608453-1 is not prime.  Res64: FAB2CCC4C7D4DF5E  Time : 0.0 sec.
user=kruoli
[2023-03-12 18:08:09]
305*2^4608374-1 is not prime.  Res64: 8450D67F6B07B873  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 18:15:27]
301*2^4608461-1 is not prime.  Res64: AC39257B784DB748  Time : 0.0 sec.
user=kruoli
[2023-03-12 18:17:06]
301*2^4608385-1 is not prime.  Res64: 8E540109D7FDB410  Time : 0.0 sec.
user=kruoli
[2023-03-12 18:21:38]
301*2^4608399-1 is not prime.  Res64: F9B33E24CA578439  Time : 0.0 sec.
user=kruoli
[2023-03-12 18:22:46]
303*2^4608402-1 is not prime.  Res64: E1A136DA4B34C1A0  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 18:33:27]
309*2^4608467-1 is not prime.  Res64: 6C55F23388F69C9F  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 18:45:03]
309*2^4608469-1 is not prime.  Res64: E4D6D63B630386F8  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 19:03:08]
305*2^4608470-1 is not prime.  Res64: 2A66ED1EF1C80EBE  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 19:14:46]
301*2^4608475-1 is not prime.  Res64: 20732795ED7BCCD0  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 19:32:44]
309*2^4608481-1 is not prime.  Res64: 42F39DFEE17BA646  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 19:44:26]
309*2^4608496-1 is not prime.  Res64: 310F39EC4EA7EE28  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 20:02:06]
303*2^4608523-1 is not prime.  Res64: 9FADB973DF9E457E  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 20:13:59]
305*2^4608534-1 is not prime.  Res64: F69D3EA048529EEB  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 20:31:29]
301*2^4608555-1 is not prime.  Res64: 486365B70779DC3C  Time : 0.0 sec.
user=kruoli
[2023-03-12 20:39:56]
307*2^4608517-1 is not prime.  Res64: 4AA7688A5698A9D1  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 20:43:37]
303*2^4608583-1 is not prime.  Res64: 005BEE78FAFE3823  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 21:00:58]
301*2^4608615-1 is not prime.  Res64: 0538B80C350BFDDC  Time : 0.0 sec.
user=kruoli
[2023-03-12 21:10:12]
301*2^4608541-1 is not prime.  Res64: 2D8391970D92CBED  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 21:13:13]
301*2^4608645-1 is not prime.  Res64: D2D51CFE24F56BBA  Time : 0.0 sec.
user=kruoli
[2023-03-12 21:18:55]
301*2^4608543-1 is not prime.  Res64: 2F1D98DAB8B34E6B  Time : 0.0 sec.
user=kruoli
[2023-03-12 21:24:55]
303*2^4608546-1 is not prime.  Res64: F177708B0A1A3D15  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 21:30:27]
309*2^4608659-1 is not prime.  Res64: 2FCA0D5E26FBF6D0  Time : 0.0 sec.
user=kruoli
[2023-03-12 21:35:00]
309*2^4608571-1 is not prime.  Res64: CB845CAA1710A050  Time : 0.0 sec.
user=kruoli
[2023-03-12 21:39:43]
301*2^4608595-1 is not prime.  Res64: C37212D1DF6FED26  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 21:42:45]
303*2^4608666-1 is not prime.  Res64: 98C5FBBD831474F3  Time : 0.0 sec.
user=kruoli
[2023-03-12 21:49:58]
303*2^4608595-1 is not prime.  Res64: 6A006DF1D261DB87  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 22:00:09]
309*2^4608731-1 is not prime.  Res64: 0DC0C9971250CB8F  Time : 0.0 sec.
user=kruoli
[2023-03-12 22:05:51]
309*2^4608652-1 is not prime.  Res64: E6F61E229310A549  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 22:12:19]
307*2^4608737-1 is not prime.  Res64: 98E24D5D0878DF16  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 22:29:51]
309*2^4608743-1 is not prime.  Res64: C3AA6694689236D9  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 22:41:53]
301*2^4608753-1 is not prime.  Res64: 58747B4349965E4A  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 22:59:32]
301*2^4608773-1 is not prime.  Res64: 3A6E59055C74C256  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 23:11:35]
307*2^4608793-1 is not prime.  Res64: 2E44A8794C67D833  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 23:29:03]
309*2^4608796-1 is not prime.  Res64: 93ABA77360C34785  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 23:41:14]
301*2^4608807-1 is not prime.  Res64: 6CDDB3000BE771B9  Time : 0.0 sec.
user=mdettweiler
[2023-03-12 23:58:31]
307*2^4608817-1 is not prime.  Res64: B7A6345F2BAB20E3  Time : 0.0 sec.