user=mdettweiler
[2023-03-28 00:02:32]
307*2^4636793-1 is not prime.  Res64: 0EA822BAA1EBA2BE  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 00:08:38]
307*2^4636801-1 is not prime.  Res64: D40402E047F32119  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 00:10:45]
305*2^4636806-1 is not prime.  Res64: BC502E7C003740AB  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 00:28:49]
309*2^4636841-1 is not prime.  Res64: EA93A1A2D22BB2D7  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 00:38:28]
309*2^4636859-1 is not prime.  Res64: C58A72E5BB211CC5  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 00:40:34]
301*2^4636861-1 is not prime.  Res64: C5596DFE6EAF93F3  Time : 0.0 sec.
user=kruoli
[2023-03-28 00:43:48]
309*2^4636772-1 is not prime.  Res64: 6EA91CE90FD163DA  Time : 0.0 sec.
user=kruoli
[2023-03-28 00:46:12]
309*2^4636781-1 is not prime.  Res64: 262AA941EAE391B4  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 00:55:05]
301*2^4636893-1 is not prime.  Res64: FD232AF8A2958818  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 01:08:14]
303*2^4636900-1 is not prime.  Res64: 892F800F07111DCF  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 01:10:16]
303*2^4636902-1 is not prime.  Res64: CE395EAB3254CA15  Time : 0.0 sec.
user=kruoli
[2023-03-28 01:21:12]
305*2^4636814-1 is not prime.  Res64: 6CE7B02503F1A24C  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 01:21:30]
309*2^4636924-1 is not prime.  Res64: 9ECA662575237F33  Time : 0.0 sec.
user=kruoli
[2023-03-28 01:24:24]
301*2^4636825-1 is not prime.  Res64: 92E182042F609B81  Time : 0.0 sec.
user=kruoli
[2023-03-28 01:27:41]
301*2^4636839-1 is not prime.  Res64: 2D267CEC0B39061E  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 01:38:01]
309*2^4636943-1 is not prime.  Res64: 753DD1E321D01DA5  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 01:40:08]
301*2^4636947-1 is not prime.  Res64: 7EFCF5ACA242C129  Time : 0.0 sec.
user=kruoli
[2023-03-28 01:41:10]
305*2^4636862-1 is not prime.  Res64: 9CB99DCBC44F67F5  Time : 0.0 sec.
user=kruoli
[2023-03-28 01:43:21]
303*2^4636864-1 is not prime.  Res64: 83D0413C9F264ACA  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 01:48:05]
309*2^4636967-1 is not prime.  Res64: AFB8C5713ABF5A8B  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 02:08:01]
303*2^4636972-1 is not prime.  Res64: AB8F18CB23027D77  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 02:09:58]
301*2^4636973-1 is not prime.  Res64: 32E0D6CC7BA8E134  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 02:14:35]
309*2^4636976-1 is not prime.  Res64: ACAF97B3C17873F6  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 02:38:01]
309*2^4636985-1 is not prime.  Res64: 8D140E80A91EC9C3  Time : 0.0 sec.
user=kruoli
[2023-03-28 02:39:49]
303*2^4636947-1 is not prime.  Res64: 53DD49A7150A1820  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 02:39:54]
303*2^4636986-1 is not prime.  Res64: 9BDFD36A0F8B08F5  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 02:40:58]
307*2^4637009-1 is not prime.  Res64: CE9389E4A1497A93  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 03:07:21]
305*2^4637040-1 is not prime.  Res64: E8108F4D88BBFBC1  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 03:07:55]
305*2^4637018-1 is not prime.  Res64: 82D62EAF79D009B4  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 03:09:51]
309*2^4637039-1 is not prime.  Res64: BFC099D9711B27A6  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 03:33:46]
309*2^4637045-1 is not prime.  Res64: 481C000A22DE3B91  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 03:37:42]
301*2^4637057-1 is not prime.  Res64: E09F4202447283DD  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 03:39:54]
301*2^4637067-1 is not prime.  Res64: 6B428C52DEFC5EC8  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 04:00:11]
303*2^4637088-1 is not prime.  Res64: 404FB989873A7A54  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 04:07:34]
309*2^4637089-1 is not prime.  Res64: B98D9F53F3349D15  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 04:09:44]
305*2^4637112-1 is not prime.  Res64: BDDD464BB3DA156A  Time : 0.0 sec.
user=kruoli
[2023-03-28 04:17:05]
307*2^4637041-1 is not prime.  Res64: 3009B717483F660B  Time : 0.0 sec.
user=kruoli
[2023-03-28 04:22:17]
301*2^4637045-1 is not prime.  Res64: 1BA66E3DB865B14E  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 04:26:45]
301*2^4637141-1 is not prime.  Res64: FF7D9E1BC1CC88B8  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 04:37:22]
301*2^4637161-1 is not prime.  Res64: 7585399AF51F87D2  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 04:39:32]
303*2^4637167-1 is not prime.  Res64: C061479DAEFF1AE0  Time : 0.0 sec.
user=kruoli
[2023-03-28 04:41:53]
309*2^4637069-1 is not prime.  Res64: DE545A516EDB9E84  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 04:53:16]
303*2^4637172-1 is not prime.  Res64: 972C408DB1C8D808  Time : 0.0 sec.
user=kruoli
[2023-03-28 04:56:06]
301*2^4637095-1 is not prime.  Res64: 08137491C98BB705  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 05:07:04]
303*2^4637178-1 is not prime.  Res64: 7821F431F3415153  Time : 0.0 sec.
user=kruoli
[2023-03-28 05:08:55]
301*2^4637127-1 is not prime.  Res64: 033D09168E6B908A  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 05:09:18]
301*2^4637189-1 is not prime.  Res64: 0D97C274314B51AE  Time : 0.0 sec.
user=kruoli
[2023-03-28 05:10:34]
305*2^4637136-1 is not prime.  Res64: 230B5C468FCA89CA  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 05:19:40]
309*2^4637209-1 is not prime.  Res64: 3DBB9AA92B5874A1  Time : 0.0 sec.
user=kruoli
[2023-03-28 05:21:47]
309*2^4637165-1 is not prime.  Res64: 6083E3D9DDE23468  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 05:37:01]
307*2^4637213-1 is not prime.  Res64: 27D4DC930DD6CEE4  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 05:39:01]
303*2^4637226-1 is not prime.  Res64: ECE4BF60B3E11344  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 05:46:02]
305*2^4637234-1 is not prime.  Res64: 7DA39EEFD7E1E1E8  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 05:46:37]
309*2^4637143-1 is not prime.  Res64: A5751B2B0E347C1C  Time : 0.0 sec.
user=kruoli
[2023-03-28 06:03:02]
305*2^4637208-1 is not prime.  Res64: FEE584970322AF75  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 06:06:48]
307*2^4637269-1 is not prime.  Res64: D85F6BD591C67743  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 06:08:39]
303*2^4637274-1 is not prime.  Res64: 0F2A3A85CBA3A03A  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 06:12:23]
309*2^4637284-1 is not prime.  Res64: 855370B33910B30A  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 06:36:43]
309*2^4637291-1 is not prime.  Res64: BD9B4FBCB1D8982D  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 06:38:27]
309*2^4637317-1 is not prime.  Res64: 20A4437107C5EF4D  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 06:38:45]
309*2^4637321-1 is not prime.  Res64: 1F5D926FE54B817A  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 07:04:59]
303*2^4637346-1 is not prime.  Res64: AD345F50F12FECBD  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 07:06:26]
309*2^4637335-1 is not prime.  Res64: A983CCA752F62D9F  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 07:08:11]
309*2^4637344-1 is not prime.  Res64: 37E9FB00EB7BEB96  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 07:31:16]
307*2^4637401-1 is not prime.  Res64: D5CD38110EAFC2E9  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 07:36:20]
305*2^4637408-1 is not prime.  Res64: 2884D1752CDD76B3  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 07:38:01]
309*2^4637416-1 is not prime.  Res64: 4CAFE5120EDEC3D7  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 07:57:34]
303*2^4637442-1 is not prime.  Res64: 5FBA8C353D854B1D  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 08:06:10]
303*2^4637463-1 is not prime.  Res64: AFD7545CCFF5DA6C  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 08:07:52]
307*2^4637477-1 is not prime.  Res64: 42F7CAE3B042EB50  Time : 0.0 sec.
user=kruoli
[2023-03-28 08:13:42]
305*2^4637334-1 is not prime.  Res64: 4BDC252ADA362FE9  Time : 0.0 sec.
user=kruoli
[2023-03-28 08:19:16]
309*2^4637348-1 is not prime.  Res64: AC323A8DC879134F  Time : 0.0 sec.
user=kruoli
[2023-03-28 08:22:41]
309*2^4637353-1 is not prime.  Res64: 2A048A9B84299DF7  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 08:23:56]
309*2^4637492-1 is not prime.  Res64: F13919651C2E7BCF  Time : 0.0 sec.
user=kruoli
[2023-03-28 08:28:48]
309*2^4637368-1 is not prime.  Res64: DFC2A9FA96272F8D  Time : 0.0 sec.
user=kruoli
[2023-03-28 08:32:20]
301*2^4637359-1 is not prime.  Res64: 4C8B1391EF1C6DF2  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 08:36:16]
301*2^4637529-1 is not prime.  Res64: DC2BD1CBF1E340CD  Time : 0.0 sec.
user=kruoli
[2023-03-28 08:36:35]
305*2^4637390-1 is not prime.  Res64: 4FE91B520DDE4F2E  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 08:37:34]
305*2^4637550-1 is not prime.  Res64: CCC7534AA70EB730  Time : 0.0 sec.
user=kruoli
[2023-03-28 08:49:20]
301*2^4637427-1 is not prime.  Res64: 0B7625C1A48EE8BB  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 08:50:21]
307*2^4637557-1 is not prime.  Res64: F0B6985D46EBDDD4  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 09:05:59]
303*2^4637559-1 is not prime.  Res64: 055CBDD807DD8AF8  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 09:07:31]
309*2^4637596-1 is not prime.  Res64: 1DB427EB449F83FC  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 09:16:47]
307*2^4637609-1 is not prime.  Res64: 074C177B1E818C95  Time : 0.0 sec.
user=kruoli
[2023-03-28 09:24:44]
309*2^4637527-1 is not prime.  Res64: 0970A8A6B47DA14E  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 09:35:45]
301*2^4637623-1 is not prime.  Res64: 8D0A5C6A6B16271A  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 09:37:23]
309*2^4637624-1 is not prime.  Res64: 4B4764E4D8CCD088  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 09:43:16]
309*2^4637627-1 is not prime.  Res64: E67C4F5993EBA220  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 10:05:41]
305*2^4637630-1 is not prime.  Res64: A78EA47737EC34C1  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 10:07:14]
301*2^4637635-1 is not prime.  Res64: 1995B6F02A5584E1  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 10:09:40]
301*2^4637637-1 is not prime.  Res64: C2F948504AD579A5  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 10:35:36]
309*2^4637639-1 is not prime.  Res64: 7FA17344F8716E6C  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 10:36:09]
309*2^4637672-1 is not prime.  Res64: 5B31800D0BEB7342  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 10:37:13]
309*2^4637668-1 is not prime.  Res64: F09C25CCA124D7C0  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 11:02:43]
309*2^4637699-1 is not prime.  Res64: CA04C30943E25302  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 11:05:21]
301*2^4637697-1 is not prime.  Res64: E78F8F95A7E0FAFC  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 11:06:57]
307*2^4637701-1 is not prime.  Res64: 7BC50548E2A34DB1  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 11:29:10]
309*2^4637708-1 is not prime.  Res64: FC51DFDA2FFAF716  Time : 0.0 sec.
user=kruoli
[2023-03-28 11:31:30]
309*2^4637669-1 is not prime.  Res64: 92FC2E99FAF61F4C  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 11:35:09]
301*2^4637719-1 is not prime.  Res64: DABE3C71FD32F385  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 11:36:41]
303*2^4637724-1 is not prime.  Res64: A9CE78D8B3F4B631  Time : 0.0 sec.
user=kruoli
[2023-03-28 11:51:22]
305*2^4637678-1 is not prime.  Res64: 768A26A26EC0C4B0  Time : 0.0 sec.
user=kruoli
[2023-03-28 11:51:49]
309*2^4637681-1 is not prime.  Res64: C84D1044627A3F13  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 11:55:33]
307*2^4637749-1 is not prime.  Res64: 4612F025E80B7BB7  Time : 0.0 sec.
user=kruoli
[2023-03-28 11:58:31]
303*2^4637682-1 is not prime.  Res64: EC5758EC19B6BCAE  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 12:04:51]
309*2^4637752-1 is not prime.  Res64: CD639AA5B75F3785  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 12:06:35]
309*2^4637764-1 is not prime.  Res64: 1058D0B13DF3D9AB  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 12:21:55]
305*2^4637766-1 is not prime.  Res64: 72473C2BB377A660  Time : 0.0 sec.
user=kruoli
[2023-03-28 12:26:43]
309*2^4637713-1 is not prime.  Res64: DEA50363E1FA4CA3  Time : 0.0 sec.
user=kruoli
[2023-03-28 12:28:49]
301*2^4637721-1 is not prime.  Res64: 2C8BF2F1FF222942  Time : 0.0 sec.
user=kruoli
[2023-03-28 12:33:18]
309*2^4637731-1 is not prime.  Res64: DB82B6CB7E0C55C9  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 12:34:53]
301*2^4637791-1 is not prime.  Res64: 492A012E4CFF1A34  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 12:36:38]
303*2^4637800-1 is not prime.  Res64: E660396EFF457CA9  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 12:48:17]
305*2^4637810-1 is not prime.  Res64: 821C6F8C20F14366  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 13:04:51]
309*2^4637813-1 is not prime.  Res64: A9266E803A674DCF  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 13:06:16]
303*2^4637815-1 is not prime.  Res64: 1558379E8C33E1EB  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 13:14:39]
305*2^4637840-1 is not prime.  Res64: 133CD1FE50990EB5  Time : 0.0 sec.
user=kruoli
[2023-03-28 13:18:23]
305*2^4637768-1 is not prime.  Res64: 7AB795680EF46692  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 13:34:38]
309*2^4637843-1 is not prime.  Res64: 15A90F90F2FD5283  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 13:36:14]
301*2^4637875-1 is not prime.  Res64: ACABF20368422192  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 13:40:59]
309*2^4637891-1 is not prime.  Res64: 39D782228321CB35  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 14:04:23]
301*2^4637921-1 is not prime.  Res64: 6222D646B96C9BC8  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 14:05:51]
309*2^4637932-1 is not prime.  Res64: 900A29349D27590C  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 14:07:32]
303*2^4637944-1 is not prime.  Res64: 2C89695FFFB76B42  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 14:34:05]
301*2^4637981-1 is not prime.  Res64: 01E30E9E31E1C4AD  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 14:34:07]
301*2^4637955-1 is not prime.  Res64: B53D1CB187AE9299  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 14:35:47]
301*2^4637967-1 is not prime.  Res64: EE8DA24BEFECC4EE  Time : 0.0 sec.
user=kruoli
[2023-03-28 14:36:17]
307*2^4637881-1 is not prime.  Res64: C75519C0A6E69E26  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 15:00:29]
305*2^4638014-1 is not prime.  Res64: 9885D4D2ADA2887C  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 15:03:54]
309*2^4637999-1 is not prime.  Res64: 7D8F8E2EFB4B2ECF  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 15:05:35]
309*2^4638017-1 is not prime.  Res64: 171E870EFB599493  Time : 0.0 sec.
user=kruoli
[2023-03-28 15:21:41]
309*2^4637944-1 is not prime.  Res64: 8E183442579102B7  Time : 0.0 sec.
user=kruoli
[2023-03-28 15:24:01]
309*2^4637953-1 is not prime.  Res64: BBB995904DAE16DC  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 15:26:37]
303*2^4637899-1 is not prime.  Res64: BB24CE9ADB29F4A3  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 15:27:00]
305*2^4638050-1 is not prime.  Res64: A4505A8F69EFD6C8  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 15:33:37]
309*2^4638055-1 is not prime.  Res64: 68816AF38F1626D6  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 15:35:24]
303*2^4638066-1 is not prime.  Res64: 095FA95E1FCF5EF9  Time : 0.0 sec.
user=kruoli
[2023-03-28 15:42:04]
301*2^4637989-1 is not prime.  Res64: 6554A94702358686  Time : 0.0 sec.
user=kruoli
[2023-03-28 15:44:01]
301*2^4637993-1 is not prime.  Res64: 87EE7B824571CAFC  Time : 0.0 sec.
user=kruoli
[2023-03-28 15:46:31]
301*2^4637997-1 is not prime.  Res64: 3D7F99DA334CE262  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 15:53:23]
301*2^4638067-1 is not prime.  Res64: 536A8D21A042EC3E  Time : 0.0 sec.
user=kruoli
[2023-03-28 16:01:12]
303*2^4638024-1 is not prime.  Res64: 32FB6FB4CA73421A  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 16:03:21]
303*2^4638072-1 is not prime.  Res64: A3268B7121841843  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 16:05:15]
301*2^4638075-1 is not prime.  Res64: 04D598510564D181  Time : 0.0 sec.
user=kruoli
[2023-03-28 16:10:24]
301*2^4638041-1 is not prime.  Res64: 24CBA66205BC8DE3  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 16:19:44]
303*2^4638088-1 is not prime.  Res64: 212720D1EE5C5E39  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 16:33:12]
307*2^4638089-1 is not prime.  Res64: 6220BF364B666FAC  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 16:35:05]
301*2^4638099-1 is not prime.  Res64: 0AFEEA1096D69507  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 16:46:04]
309*2^4638119-1 is not prime.  Res64: 0FE596BFF9468C13  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 17:03:05]
301*2^4638135-1 is not prime.  Res64: 100C6F577E02EFAB  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 17:05:01]
301*2^4638137-1 is not prime.  Res64: 47E9BEE0410EDE11  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 17:12:31]
309*2^4638139-1 is not prime.  Res64: B626CA274824FE52  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 17:32:52]
301*2^4638165-1 is not prime.  Res64: 57070DE92E1C15F1  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 17:34:43]
301*2^4638177-1 is not prime.  Res64: 590B128E7E9EA86C  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 17:38:52]
309*2^4638181-1 is not prime.  Res64: 09F55D84395976BC  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 18:02:37]
307*2^4638193-1 is not prime.  Res64: F1A55993BB4F667F  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 18:04:34]
301*2^4638207-1 is not prime.  Res64: 3D924481EE065F55  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 18:05:12]
303*2^4638207-1 is not prime.  Res64: 7DC78969852CDCED  Time : 0.0 sec.
user=kruoli
[2023-03-28 18:29:35]
309*2^4638149-1 is not prime.  Res64: 8E2A7799CF4464F4  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 18:31:33]
305*2^4638266-1 is not prime.  Res64: 4255D25EF3AE854F  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 18:32:24]
303*2^4638259-1 is not prime.  Res64: DEE4ED00F39E260F  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 18:34:20]
301*2^4638265-1 is not prime.  Res64: 23826C5B3772765A  Time : 0.0 sec.
user=kruoli
[2023-03-28 18:44:24]
303*2^4638183-1 is not prime.  Res64: 3973C243086B59EA  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 18:57:48]
303*2^4638292-1 is not prime.  Res64: 94C59E11EF1EA9D3  Time : 0.0 sec.
user=kruoli
[2023-03-28 18:59:47]
305*2^4638192-1 is not prime.  Res64: 33443C0E7DEA322C  Time : 0.0 sec.
user=kruoli
[2023-03-28 18:59:55]
309*2^4638185-1 is not prime.  Res64: 823F2225CED50F8F  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 19:12:20]
301*2^4638309-1 is not prime.  Res64: 5FDC932986897DAC  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 19:12:38]
301*2^4638313-1 is not prime.  Res64: 505740C1749F6FC7  Time : 0.0 sec.
user=kruoli
[2023-03-28 19:18:42]
305*2^4638230-1 is not prime.  Res64: B855E64FA457E4B4  Time : 0.0 sec.
user=kruoli
[2023-03-28 19:20:45]
301*2^4638241-1 is not prime.  Res64: 7BCB6C2986E10173  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 19:24:07]
305*2^4638320-1 is not prime.  Res64: 99F0479698B79D7B  Time : 0.0 sec.
user=kruoli
[2023-03-28 19:32:48]
309*2^4638283-1 is not prime.  Res64: 13C298D9D19C2660  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 19:42:13]
301*2^4638329-1 is not prime.  Res64: 3C8391EFE4378806  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 19:42:31]
301*2^4638337-1 is not prime.  Res64: 5C818AAC6A97FA97  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 19:50:28]
303*2^4638343-1 is not prime.  Res64: B195B0AED4948CB8  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 20:12:11]
309*2^4638343-1 is not prime.  Res64: 03113926E7419277  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 20:12:18]
309*2^4638344-1 is not prime.  Res64: 86C7A4210258F93F  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 20:16:45]
307*2^4638361-1 is not prime.  Res64: ED133D8E13944499  Time : 0.0 sec.
user=kruoli
[2023-03-28 20:22:52]
303*2^4638319-1 is not prime.  Res64: 77E63C252FD6191D  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 20:41:51]
309*2^4638371-1 is not prime.  Res64: 228D69B91D25BC7B  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 20:42:08]
303*2^4638372-1 is not prime.  Res64: 843B93565273029F  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 20:43:15]
301*2^4638373-1 is not prime.  Res64: D32E5F0F6D5C8E4B  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 21:09:30]
303*2^4638400-1 is not prime.  Res64: A3720BD132CEE35A  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 21:11:36]
309*2^4638377-1 is not prime.  Res64: 5C79A7E77B9DF121  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 21:11:37]
301*2^4638379-1 is not prime.  Res64: 8C4C602F1062141A  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 21:35:54]
309*2^4638419-1 is not prime.  Res64: 20427A6791E14A30  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 21:41:18]
305*2^4638432-1 is not prime.  Res64: C0558173F0686495  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 21:41:28]
307*2^4638421-1 is not prime.  Res64: C4F4BB3AEAB79987  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 22:02:07]
305*2^4638446-1 is not prime.  Res64: F34961CC6FF5BAA9  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 22:10:59]
309*2^4638485-1 is not prime.  Res64: DCD05BB0F1E7EE25  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 22:11:17]
303*2^4638487-1 is not prime.  Res64: 116CBD51CEB379AA  Time : 0.0 sec.
user=kruoli
[2023-03-28 22:12:59]
307*2^4638397-1 is not prime.  Res64: CA3F2FE33C111637  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 22:28:23]
307*2^4638509-1 is not prime.  Res64: 3D8143A48109B8A3  Time : 0.0 sec.
user=kruoli
[2023-03-28 22:29:44]
301*2^4638403-1 is not prime.  Res64: 214116A8032B5870  Time : 0.0 sec.
user=kruoli
[2023-03-28 22:30:47]
305*2^4638410-1 is not prime.  Res64: 27800BB2196139F6  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 22:40:53]
309*2^4638535-1 is not prime.  Res64: A7F1D819CA580122  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 22:40:58]
309*2^4638545-1 is not prime.  Res64: 6FAE23FEF4F418F8  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 22:54:43]
303*2^4638552-1 is not prime.  Res64: D94AB8100F7BCD8B  Time : 0.0 sec.
user=kruoli
[2023-03-28 22:58:58]
309*2^4638433-1 is not prime.  Res64: 8489A31645DDBD9D  Time : 0.0 sec.
user=kruoli
[2023-03-28 23:00:34]
309*2^4638439-1 is not prime.  Res64: 5F6D6B7C4AF6146A  Time : 0.0 sec.
user=kruoli
[2023-03-28 23:08:19]
301*2^4638475-1 is not prime.  Res64: 96EC62EDDA168A1A  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 23:10:30]
301*2^4638555-1 is not prime.  Res64: 14C80F4C7BF6A1AD  Time : 0.0 sec.
user=kruoli
[2023-03-28 23:10:37]
303*2^4638475-1 is not prime.  Res64: E0D4629947D885C9  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 23:10:45]
301*2^4638561-1 is not prime.  Res64: 98BA37070B28DBE7  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 23:21:08]
307*2^4638581-1 is not prime.  Res64: 6C4ACDD60E55A498  Time : 0.0 sec.
user=kruoli
[2023-03-28 23:22:12]
301*2^4638493-1 is not prime.  Res64: 508CB922DCB794C2  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 23:40:18]
301*2^4638585-1 is not prime.  Res64: 3F004878B86DDE49  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 23:40:43]
307*2^4638593-1 is not prime.  Res64: 89A893B774C44FA8  Time : 0.0 sec.
user=mdettweiler
[2023-03-28 23:47:32]
309*2^4638596-1 is not prime.  Res64: A3B545FDD46D5781  Time : 0.0 sec.