user=mdettweiler
[2023-03-23 00:07:02]
309*2^4627828-1 is not prime.  Res64: EA8542EABC6169F6  Time : 0.0 sec.
user=kruoli
[2023-03-23 00:07:13]
307*2^4627693-1 is not prime.  Res64: A6274B093BF1E899  Time : 0.0 sec.
user=kruoli
[2023-03-23 00:08:31]
301*2^4627717-1 is not prime.  Res64: 69E68AD981805C52  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 00:09:23]
303*2^4627812-1 is not prime.  Res64: 35E28C1593B36904  Time : 0.0 sec.
user=kruoli
[2023-03-23 00:11:54]
305*2^4627730-1 is not prime.  Res64: F9D6376C713900C1  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 00:21:47]
301*2^4627839-1 is not prime.  Res64: CD5B4033A514D098  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 00:33:01]
309*2^4627844-1 is not prime.  Res64: 5334397420E06ED8  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 00:39:01]
301*2^4627855-1 is not prime.  Res64: A5BEA53E44F3BFFB  Time : 0.0 sec.
user=kruoli
[2023-03-23 00:41:58]
301*2^4627797-1 is not prime.  Res64: 8364BA42B7468571  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 00:51:38]
305*2^4627862-1 is not prime.  Res64: 6813405AD0D8CA06  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 00:58:52]
303*2^4627864-1 is not prime.  Res64: ABFB3130C15813A7  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 01:08:39]
301*2^4627867-1 is not prime.  Res64: 617753C91BC2FB11  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 01:21:24]
303*2^4627888-1 is not prime.  Res64: 6CFC2FF54767DDF6  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 01:24:55]
301*2^4627889-1 is not prime.  Res64: 46886F8AC0445F1E  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 01:38:23]
309*2^4627903-1 is not prime.  Res64: 43E0B9B56F7213B5  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 01:50:43]
307*2^4627937-1 is not prime.  Res64: AF673E2AB7D30AFE  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 01:51:02]
309*2^4627936-1 is not prime.  Res64: 9D84689A53413B89  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 02:08:07]
309*2^4627939-1 is not prime.  Res64: B7CBE606370915E1  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 02:16:51]
303*2^4627963-1 is not prime.  Res64: 23201760114F9AB1  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 02:20:50]
301*2^4627965-1 is not prime.  Res64: 7AF5D10E4920ED51  Time : 0.0 sec.
user=kruoli
[2023-03-23 02:33:03]
309*2^4627901-1 is not prime.  Res64: FB71EA56D669E87F  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 02:38:09]
303*2^4627987-1 is not prime.  Res64: 9D202233548E3E94  Time : 0.0 sec.
user=kruoli
[2023-03-23 02:41:52]
307*2^4627909-1 is not prime.  Res64: 21B36F55B9BCFA6D  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 02:42:48]
309*2^4628015-1 is not prime.  Res64: 70B2D5CC4092628A  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 02:50:29]
309*2^4628017-1 is not prime.  Res64: 898A2F964E10293B  Time : 0.0 sec.
user=kruoli
[2023-03-23 03:07:19]
309*2^4627952-1 is not prime.  Res64: 2A84D04F90A514B2  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 03:08:02]
303*2^4628019-1 is not prime.  Res64: BEA325D8691B0A8F  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 03:08:42]
309*2^4628051-1 is not prime.  Res64: BF0B99FA7945F118  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 03:20:08]
309*2^4628063-1 is not prime.  Res64: DFD2EC9601B8642B  Time : 0.0 sec.
user=kruoli
[2023-03-23 03:30:31]
301*2^4627981-1 is not prime.  Res64: D642C535E55B71A1  Time : 0.0 sec.
user=kruoli
[2023-03-23 03:33:55]
303*2^4627975-1 is not prime.  Res64: 09F5E32C971E6926  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 03:34:44]
301*2^4628081-1 is not prime.  Res64: AEBF548C455C650A  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 03:37:47]
309*2^4628071-1 is not prime.  Res64: F284A50CC9624DA7  Time : 0.0 sec.
user=kruoli
[2023-03-23 03:39:31]
301*2^4628013-1 is not prime.  Res64: 8EB3A90AAC72A60B  Time : 0.0 sec.
user=kruoli
[2023-03-23 03:49:33]
305*2^4628018-1 is not prime.  Res64: E8AD3E865B87824B  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 03:49:50]
303*2^4628082-1 is not prime.  Res64: 88C856707EFF784C  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 04:00:41]
309*2^4628087-1 is not prime.  Res64: 5A2D0159E1BDF7F5  Time : 0.0 sec.
user=kruoli
[2023-03-23 04:05:01]
309*2^4628023-1 is not prime.  Res64: A7E486DF81B57AAF  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 04:07:34]
307*2^4628089-1 is not prime.  Res64: 2D1268CC4812D4C6  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 04:19:24]
309*2^4628093-1 is not prime.  Res64: 59E5D5A9C1345BC0  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 04:37:32]
309*2^4628101-1 is not prime.  Res64: B39A1DAE73A62603  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 04:42:58]
301*2^4628129-1 is not prime.  Res64: B30D464B84DA05AB  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 04:48:56]
309*2^4628135-1 is not prime.  Res64: A9E2A98FE5A7B37A  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 05:07:11]
301*2^4628145-1 is not prime.  Res64: F7ED15B3E37C755B  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 05:08:56]
309*2^4628156-1 is not prime.  Res64: 8C821739B7A27822  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 05:18:32]
309*2^4628171-1 is not prime.  Res64: 52C615D75A2EB77B  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 05:34:46]
301*2^4628189-1 is not prime.  Res64: D42D5D84FA05E397  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 05:36:57]
303*2^4628184-1 is not prime.  Res64: A223E29FAB21DBA4  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 05:42:38]
305*2^4628094-1 is not prime.  Res64: 91239F93BBF8D0C1  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 05:48:18]
307*2^4628197-1 is not prime.  Res64: C55A843A5C2F5CE7  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 06:00:46]
301*2^4628199-1 is not prime.  Res64: 03F1B2ABDF4FF851  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 06:06:32]
309*2^4628212-1 is not prime.  Res64: 2AFD2330D0391E10  Time : 0.0 sec.
user=kruoli
[2023-03-23 06:08:16]
303*2^4628163-1 is not prime.  Res64: 7EF3DA7000963DA0  Time : 0.0 sec.
user=kruoli
[2023-03-23 06:15:17]
303*2^4628172-1 is not prime.  Res64: 3FA60FE3EBE1A94F  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 06:17:59]
305*2^4628238-1 is not prime.  Res64: 7E911E05E3C95C8E  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 06:26:45]
303*2^4628262-1 is not prime.  Res64: 3DDEB38F75099A4B  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 06:36:04]
301*2^4628275-1 is not prime.  Res64: 545F1ABBF69BB99A  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 06:47:40]
309*2^4628297-1 is not prime.  Res64: 1A559C252AD377D1  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 06:52:44]
301*2^4628307-1 is not prime.  Res64: 9DEB80C8B6DA9843  Time : 0.0 sec.
user=kruoli
[2023-03-23 07:04:29]
307*2^4628221-1 is not prime.  Res64: 411B39B0435B521A  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 07:05:40]
301*2^4628313-1 is not prime.  Res64: 451FDE973A41699D  Time : 0.0 sec.
user=kruoli
[2023-03-23 07:13:15]
303*2^4628224-1 is not prime.  Res64: 72D72AE20E094759  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 07:17:17]
309*2^4628315-1 is not prime.  Res64: DE902E699C66CD9D  Time : 0.0 sec.
user=kruoli
[2023-03-23 07:17:50]
303*2^4628247-1 is not prime.  Res64: 950C2D258C4DE838  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 07:18:36]
305*2^4628330-1 is not prime.  Res64: 3E6C0532DA329923  Time : 0.0 sec.
user=kruoli
[2023-03-23 07:30:51]
301*2^4628269-1 is not prime.  Res64: 94FC54F3904E0218  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 07:35:19]
309*2^4628339-1 is not prime.  Res64: F0575C4390365AB7  Time : 0.0 sec.
user=kruoli
[2023-03-23 07:36:33]
303*2^4628275-1 is not prime.  Res64: 0630763E1DE38412  Time : 0.0 sec.
user=kruoli
[2023-03-23 07:42:27]
309*2^4628287-1 is not prime.  Res64: 616E5845E66AEB08  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 07:44:29]
305*2^4628354-1 is not prime.  Res64: 14A469296424E132  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 07:46:54]
309*2^4628345-1 is not prime.  Res64: 8DE6E41FFC92BAFB  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 08:05:00]
309*2^4628357-1 is not prime.  Res64: B490AB60EEBFED0F  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 08:10:17]
301*2^4628361-1 is not prime.  Res64: A0F58CE99217191C  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 08:16:32]
307*2^4628369-1 is not prime.  Res64: A2240086D5FA025B  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 08:34:43]
301*2^4628371-1 is not prime.  Res64: AA7B2A1E6C4D570F  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 08:36:07]
301*2^4628385-1 is not prime.  Res64: A2408A619D0002A9  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 08:46:09]
309*2^4628392-1 is not prime.  Res64: ED87CAE52D98E98E  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 09:02:04]
309*2^4628452-1 is not prime.  Res64: 7BACC856D74BDEF8  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 09:04:32]
309*2^4628441-1 is not prime.  Res64: 7C312565853F67DE  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 09:15:48]
301*2^4628467-1 is not prime.  Res64: 968A291621C49991  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 09:28:05]
301*2^4628479-1 is not prime.  Res64: 39355C92304F510D  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 09:34:02]
309*2^4628489-1 is not prime.  Res64: AD358990381E83E1  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 09:45:25]
301*2^4628509-1 is not prime.  Res64: 36C0DF655E5BE77F  Time : 0.0 sec.
user=kruoli
[2023-03-23 09:47:04]
303*2^4628406-1 is not prime.  Res64: 605550A1010D2E16  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 09:54:00]
303*2^4628527-1 is not prime.  Res64: 97E9E4C82929DF7C  Time : 0.0 sec.
user=kruoli
[2023-03-23 09:56:38]
309*2^4628416-1 is not prime.  Res64: 658595C804D5E886  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 10:03:43]
307*2^4628537-1 is not prime.  Res64: B1003CA001240CCE  Time : 0.0 sec.
user=kruoli
[2023-03-23 10:13:12]
303*2^4628463-1 is not prime.  Res64: 69C2497ED0020625  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 10:14:54]
301*2^4628545-1 is not prime.  Res64: 67F757467D8D1A45  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 10:19:57]
301*2^4628547-1 is not prime.  Res64: 068B81F14609D890  Time : 0.0 sec.
user=kruoli
[2023-03-23 10:20:30]
309*2^4628476-1 is not prime.  Res64: E2F0FC1A4709F938  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 10:33:18]
303*2^4628563-1 is not prime.  Res64: 2D7D521498DF1B37  Time : 0.0 sec.
user=kruoli
[2023-03-23 10:42:43]
309*2^4628507-1 is not prime.  Res64: 2A816F1AFD3E6615  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 10:44:47]
305*2^4628570-1 is not prime.  Res64: 432C46D88887559B  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 10:45:57]
307*2^4628593-1 is not prime.  Res64: 11C13F45197A1BC3  Time : 0.0 sec.
user=kruoli
[2023-03-23 10:51:09]
301*2^4628527-1 is not prime.  Res64: 05E3F4C6EDDF899D  Time : 0.0 sec.
user=kruoli
[2023-03-23 10:57:42]
309*2^4628528-1 is not prime.  Res64: 8323C7AA4C68DC39  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 11:03:13]
305*2^4628600-1 is not prime.  Res64: F6326737B5BBC8F7  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 11:11:57]
309*2^4628609-1 is not prime.  Res64: C076438DB2C96597  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 11:14:36]
309*2^4628603-1 is not prime.  Res64: 7B5B7C1FEED45A38  Time : 0.0 sec.
user=kruoli
[2023-03-23 11:25:58]
303*2^4628562-1 is not prime.  Res64: 732986C9B9130E03  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 11:33:06]
309*2^4628611-1 is not prime.  Res64: 47E72D0B4766FB76  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 11:38:10]
301*2^4628617-1 is not prime.  Res64: A8112C7D50E287C3  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 11:44:28]
303*2^4628628-1 is not prime.  Res64: DB15E22155F0BB47  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 12:03:01]
301*2^4628643-1 is not prime.  Res64: 923ABD8D918BBC55  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 12:04:10]
301*2^4628659-1 is not prime.  Res64: F7B174991AEA480A  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 12:14:07]
301*2^4628679-1 is not prime.  Res64: 0DBF66CF98722CA1  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 12:30:09]
303*2^4628682-1 is not prime.  Res64: DAB5B5EF27880F3A  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 12:32:51]
309*2^4628681-1 is not prime.  Res64: 0DCDB375BE141BC2  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 12:43:59]
303*2^4628703-1 is not prime.  Res64: AC2DA35E67DE4035  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 12:56:17]
309*2^4628723-1 is not prime.  Res64: 75705C31DE2988B6  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 13:02:48]
309*2^4628767-1 is not prime.  Res64: F2CBC30F2B7775E5  Time : 0.0 sec.
user=kruoli
[2023-03-23 13:07:52]
309*2^4628672-1 is not prime.  Res64: D81EBA7B78062FA7  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 13:13:35]
309*2^4628795-1 is not prime.  Res64: 23BADFEC2BA1B057  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 13:22:15]
309*2^4628807-1 is not prime.  Res64: F38935C89728824A  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 13:32:24]
309*2^4628852-1 is not prime.  Res64: 08DEA9DC44160BC8  Time : 0.0 sec.
user=kruoli
[2023-03-23 13:35:52]
301*2^4628695-1 is not prime.  Res64: 4E320DC4CD3B5CFE  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 13:43:27]
309*2^4628875-1 is not prime.  Res64: 020CB0EF65F32FBE  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 13:48:28]
303*2^4628883-1 is not prime.  Res64: 102B53421424692C  Time : 0.0 sec.
user=kruoli
[2023-03-23 13:55:34]
309*2^4628713-1 is not prime.  Res64: EC93941D68603B18  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 14:02:07]
301*2^4628897-1 is not prime.  Res64: ABE0CF7A782CF717  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 14:13:01]
309*2^4628899-1 is not prime.  Res64: 14535757189702F5  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 14:14:25]
307*2^4628909-1 is not prime.  Res64: 98D0C28CF149E186  Time : 0.0 sec.
user=kruoli
[2023-03-23 14:28:41]
301*2^4628809-1 is not prime.  Res64: 5F48212FC9846212  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 14:31:50]
303*2^4628922-1 is not prime.  Res64: C3D6A083642310EB  Time : 0.0 sec.
user=kruoli
[2023-03-23 14:33:14]
303*2^4628863-1 is not prime.  Res64: 193DE70CAA3BCFDC  Time : 0.0 sec.
user=kruoli
[2023-03-23 14:36:00]
307*2^4628869-1 is not prime.  Res64: 43D8872FEC9B1A62  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 14:40:27]
301*2^4628941-1 is not prime.  Res64: C5F5398481FABC33  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 14:42:52]
309*2^4628924-1 is not prime.  Res64: D2D7B625B8D1FF4D  Time : 0.0 sec.
user=kruoli
[2023-03-23 14:50:25]
301*2^4628895-1 is not prime.  Res64: 364464EC47C2E4EC  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 15:01:28]
303*2^4628947-1 is not prime.  Res64: 684EFF34F2DC11C7  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 15:06:22]
309*2^4628959-1 is not prime.  Res64: 6AC9CD22D0C90BE8  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 15:12:39]
303*2^4628968-1 is not prime.  Res64: 5E90565149CD05DD  Time : 0.0 sec.
user=kruoli
[2023-03-23 15:25:10]
309*2^4628912-1 is not prime.  Res64: 64FB160BF3164074  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 15:31:08]
301*2^4628971-1 is not prime.  Res64: 170D9B40CFCEAC84  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 15:32:31]
303*2^4628980-1 is not prime.  Res64: 833CAD4022EC0C9A  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 15:42:32]
307*2^4628981-1 is not prime.  Res64: 40F82F528CE576AA  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 15:58:27]
309*2^4628995-1 is not prime.  Res64: D7BB5081B368EBBC  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 16:00:49]
303*2^4628994-1 is not prime.  Res64: 711CC5D048236356  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 16:12:21]
309*2^4629023-1 is not prime.  Res64: D5B41459C8609073  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 16:24:23]
305*2^4629026-1 is not prime.  Res64: 0473BAA06ECB7E0B  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 16:30:37]
309*2^4629052-1 is not prime.  Res64: 108B1C83CE71DC02  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 16:42:02]
303*2^4629072-1 is not prime.  Res64: 322B9C365D25583A  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 16:50:35]
303*2^4629078-1 is not prime.  Res64: 7F0A79691BA6F5F7  Time : 0.0 sec.
user=kruoli
[2023-03-23 16:51:45]
307*2^4628989-1 is not prime.  Res64: 34933BD6E566B55E  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 17:00:22]
301*2^4629079-1 is not prime.  Res64: 2012203C94CF8B0C  Time : 0.0 sec.
user=kruoli
[2023-03-23 17:02:05]
303*2^4629019-1 is not prime.  Res64: 465DB0A4D748F944  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 17:11:44]
307*2^4629097-1 is not prime.  Res64: D88C5FE273EFF55A  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 17:16:47]
303*2^4629102-1 is not prime.  Res64: 098235A2D3A0BD52  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 17:30:09]
301*2^4629121-1 is not prime.  Res64: 79F72CE0EA641846  Time : 0.0 sec.
user=kruoli
[2023-03-23 17:32:59]
303*2^4629067-1 is not prime.  Res64: EE1A4F1341174F01  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 17:41:24]
309*2^4629128-1 is not prime.  Res64: 741250A83051EFF5  Time : 0.0 sec.
user=kruoli
[2023-03-23 17:42:02]
307*2^4629073-1 is not prime.  Res64: AF6B8EDBBB26A834  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 17:42:45]
303*2^4629132-1 is not prime.  Res64: 58497E54B5B88DB6  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 17:59:53]
301*2^4629153-1 is not prime.  Res64: E0D2647DC54005B2  Time : 0.0 sec.
user=kruoli
[2023-03-23 18:07:37]
301*2^4629091-1 is not prime.  Res64: 1D45D7290AC06E74  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 18:08:42]
305*2^4627214-1 is not prime.  Res64: 0C6FC5473A61A99D  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 18:11:02]
309*2^4627204-1 is not prime.  Res64: 2A7A8D1A4C2D790A  Time : 0.0 sec.
user=kruoli
[2023-03-23 18:22:49]
303*2^4629112-1 is not prime.  Res64: 893D68427BAA062E  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 18:29:29]
301*2^4627217-1 is not prime.  Res64: 235CC10787F3EBD6  Time : 0.0 sec.
user=kruoli
[2023-03-23 18:31:50]
307*2^4629121-1 is not prime.  Res64: 94880A24208CF889  Time : 0.0 sec.
user=kruoli
[2023-03-23 18:33:48]
305*2^4629128-1 is not prime.  Res64: 7B31354A6F48FCA9  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 18:34:37]
309*2^4627217-1 is not prime.  Res64: 2EE233210535057E  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 18:40:55]
305*2^4629170-1 is not prime.  Res64: 53FFC2FA1E0835A3  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 18:59:12]
303*2^4629192-1 is not prime.  Res64: DBCD06C9AEA44FA3  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 19:00:31]
301*2^4629197-1 is not prime.  Res64: 36BBB37D0362C1D8  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 19:10:49]
307*2^4629197-1 is not prime.  Res64: 935F6FA5FD61C147  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 19:26:34]
309*2^4629205-1 is not prime.  Res64: 96F9ED94B80EEF8C  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 19:28:54]
301*2^4629199-1 is not prime.  Res64: 796132B0EA5496CF  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 19:40:42]
303*2^4629223-1 is not prime.  Res64: 95D16B8F315713F4  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 19:52:34]
301*2^4629257-1 is not prime.  Res64: C9B20975F0036245  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 19:58:38]
309*2^4629257-1 is not prime.  Res64: 0140CC30E7FF0146  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 20:10:28]
301*2^4629293-1 is not prime.  Res64: 904F7FB36F3883AA  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 20:18:45]
301*2^4629307-1 is not prime.  Res64: B75C116DB0E56E88  Time : 0.0 sec.
user=kruoli
[2023-03-23 20:28:22]
301*2^4629213-1 is not prime.  Res64: 5F8AA8B05D464215  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 20:28:23]
303*2^4629318-1 is not prime.  Res64: EFC7F5795CB341A6  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 20:40:26]
309*2^4629328-1 is not prime.  Res64: C574049325D5DF87  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 20:44:42]
307*2^4629329-1 is not prime.  Res64: 7A2E71BC3F77030A  Time : 0.0 sec.
user=kruoli
[2023-03-23 20:56:05]
305*2^4629272-1 is not prime.  Res64: 37D0690B0261E4A4  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 20:58:02]
303*2^4629342-1 is not prime.  Res64: CADEA5C901FFF4A2  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 21:10:00]
301*2^4629369-1 is not prime.  Res64: 1EA14F5F236BEF41  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 21:10:31]
303*2^4629372-1 is not prime.  Res64: 27ACAAB3DFCB03E4  Time : 0.0 sec.
user=kruoli
[2023-03-23 21:21:30]
303*2^4629307-1 is not prime.  Res64: 290DB4347E7D93BC  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 21:27:43]
305*2^4629386-1 is not prime.  Res64: 1EAD4D79E8D77EA9  Time : 0.0 sec.
user=kruoli
[2023-03-23 21:35:22]
305*2^4629326-1 is not prime.  Res64: 45CEAF66C58FDA17  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 21:36:22]
305*2^4629410-1 is not prime.  Res64: CDBDD811E6C9B041  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 21:39:48]
301*2^4629409-1 is not prime.  Res64: 2F85141704D415BB  Time : 0.0 sec.
user=kruoli
[2023-03-23 21:52:52]
305*2^4629338-1 is not prime.  Res64: 7A648DC4E6E2BE55  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 21:57:29]
309*2^4629412-1 is not prime.  Res64: 4D38DA03503713A1  Time : 0.0 sec.
user=kruoli
[2023-03-23 21:58:38]
309*2^4629356-1 is not prime.  Res64: 052F78E954811FF4  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 22:02:15]
309*2^4629421-1 is not prime.  Res64: 871935B5B370BD16  Time : 0.0 sec.
user=kruoli
[2023-03-23 22:02:35]
309*2^4629361-1 is not prime.  Res64: 69C6C37EF566385F  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 22:09:33]
309*2^4629428-1 is not prime.  Res64: 2DD4E6D4C08B8182  Time : 0.0 sec.
user=kruoli
[2023-03-23 22:13:22]
307*2^4629377-1 is not prime.  Res64: 6D511D379AB10888  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 22:27:05]
309*2^4629431-1 is not prime.  Res64: AFB0AFCE05E56ED3  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 22:28:05]
303*2^4629438-1 is not prime.  Res64: 9B39B7A2B47DAE96  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 22:39:19]
301*2^4629473-1 is not prime.  Res64: 6E18B1AF4DBDDB5A  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 22:53:52]
309*2^4629491-1 is not prime.  Res64: 9654ED66E17428E2  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 22:56:49]
301*2^4629485-1 is not prime.  Res64: 1ACF0371DABF0D63  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 23:09:18]
309*2^4629497-1 is not prime.  Res64: A197C6B35D50EB8F  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 23:19:47]
305*2^4629534-1 is not prime.  Res64: 640AD4B2B2CE7075  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 23:26:30]
303*2^4629544-1 is not prime.  Res64: 1567A7E0160D1C96  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 23:38:54]
301*2^4629553-1 is not prime.  Res64: 922CEB955FC1F2D2  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 23:45:44]
309*2^4629581-1 is not prime.  Res64: 653ECFAB777C4772  Time : 0.0 sec.
user=kruoli
[2023-03-23 23:54:23]
301*2^4629493-1 is not prime.  Res64: 0B81D675EEE3A1C9  Time : 0.0 sec.
user=mdettweiler
[2023-03-23 23:56:16]
303*2^4629606-1 is not prime.  Res64: D27E41F18DE5BC5B  Time : 0.0 sec.