user=kruoli
[2023-05-17 00:02:48]
307*2^4688353-1 is not prime.  Res64: FDAD820512E9EC23  Time : 0.0 sec.
user=mdettweiler
[2023-05-17 00:18:53]
301*2^4688361-1 is not prime.  Res64: 4DA3FB0B5D4430A5  Time : 0.0 sec.
user=mdettweiler
[2023-05-17 00:45:12]
303*2^4688367-1 is not prime.  Res64: B990CFCDEF151D21  Time : 0.0 sec.
user=mdettweiler
[2023-05-17 01:11:23]
307*2^4688381-1 is not prime.  Res64: 3BA1A2B55AB60F07  Time : 0.0 sec.
user=kruoli
[2023-05-17 01:22:41]
309*2^4688365-1 is not prime.  Res64: 7A79C86EDAD34293  Time : 0.0 sec.
user=mdettweiler
[2023-05-17 01:37:35]
301*2^4688409-1 is not prime.  Res64: 9DED9CAFAA7F935F  Time : 0.0 sec.
user=mdettweiler
[2023-05-17 02:03:48]
301*2^4688415-1 is not prime.  Res64: B871237C6FD6ADBB  Time : 0.0 sec.
user=kruoli
[2023-05-17 02:16:00]
303*2^4688383-1 is not prime.  Res64: 6E667E38332B663B  Time : 0.0 sec.
user=mdettweiler
[2023-05-17 02:29:58]
309*2^4688437-1 is not prime.  Res64: 6462C9FDA981817D  Time : 0.0 sec.
user=kruoli
[2023-05-17 02:51:45]
305*2^4688414-1 is not prime.  Res64: 6E6AC8E3E9FE737E  Time : 0.0 sec.
user=mdettweiler
[2023-05-17 02:56:33]
309*2^4688441-1 is not prime.  Res64: 69542A113EFE29DD  Time : 0.0 sec.
user=kruoli
[2023-05-17 03:01:47]
309*2^4688419-1 is not prime.  Res64: 2C5CD056AD7A0068  Time : 0.0 sec.
user=kruoli
[2023-05-17 03:06:05]
301*2^4688427-1 is not prime.  Res64: 855F480CD2C21DB5  Time : 0.0 sec.
user=mdettweiler
[2023-05-17 03:22:39]
309*2^4688501-1 is not prime.  Res64: 7C2DE6B233223A15  Time : 0.0 sec.
user=mdettweiler
[2023-05-17 03:50:28]
305*2^4688526-1 is not prime.  Res64: 300FF36FF85DA56E  Time : 0.0 sec.
user=kruoli
[2023-05-17 04:08:26]
305*2^4688450-1 is not prime.  Res64: C11390CBFFCF90C2  Time : 0.0 sec.
user=kruoli
[2023-05-17 04:09:53]
301*2^4688455-1 is not prime.  Res64: 3AB90E5370C8331C  Time : 0.0 sec.
user=kruoli
[2023-05-17 04:10:50]
303*2^4688455-1 is not prime.  Res64: 04FE7FEF71722E2F  Time : 0.0 sec.
user=mdettweiler
[2023-05-17 04:16:41]
303*2^4688532-1 is not prime.  Res64: B2979EAB3EDF56DE  Time : 0.0 sec.
user=kruoli
[2023-05-17 04:42:48]
301*2^4688505-1 is not prime.  Res64: 9F1E8C584CC00D1C  Time : 0.0 sec.
user=mdettweiler
[2023-05-17 04:44:43]
301*2^4688557-1 is not prime.  Res64: EC140E3A7BD8ED4D  Time : 0.0 sec.
user=mdettweiler
[2023-05-17 05:10:47]
303*2^4688563-1 is not prime.  Res64: 104531FAEF391CC2  Time : 0.0 sec.
user=mdettweiler
[2023-05-17 05:36:58]
301*2^4688569-1 is not prime.  Res64: A746771DD7B4EEBF  Time : 0.0 sec.
user=kruoli
[2023-05-17 05:40:42]
309*2^4688537-1 is not prime.  Res64: B002587A23E9561F  Time : 0.0 sec.
user=kruoli
[2023-05-17 05:53:32]
301*2^4688559-1 is not prime.  Res64: 684223FA720E38AF  Time : 0.0 sec.
user=mdettweiler
[2023-05-17 06:03:09]
303*2^4688592-1 is not prime.  Res64: F7EF735949E5596E  Time : 0.0 sec.
user=mdettweiler
[2023-05-17 06:29:13]
305*2^4688606-1 is not prime.  Res64: 363CF062671BECFE  Time : 0.0 sec.
user=kruoli
[2023-05-17 06:31:32]
309*2^4688564-1 is not prime.  Res64: 5C58BC8C9D553539  Time : 0.0 sec.
user=kruoli
[2023-05-17 06:47:45]
303*2^4688575-1 is not prime.  Res64: 18AC1026F6374B8B  Time : 0.0 sec.
user=mdettweiler
[2023-05-17 06:55:15]
303*2^4688607-1 is not prime.  Res64: C71EACBAF641218C  Time : 0.0 sec.
user=kruoli
[2023-05-17 06:55:31]
301*2^4688577-1 is not prime.  Res64: CBB876E9D47F9409  Time : 0.0 sec.
user=kruoli
[2023-05-17 06:57:22]
301*2^4688589-1 is not prime.  Res64: 2C63EB8660F16ECA  Time : 0.0 sec.
user=kruoli
[2023-05-17 07:11:58]
305*2^4688594-1 is not prime.  Res64: A9DD3CD81277F224  Time : 0.0 sec.
user=mdettweiler
[2023-05-17 07:21:23]
307*2^4688629-1 is not prime.  Res64: 0BB0E1904E78E533  Time : 0.0 sec.
user=mdettweiler
[2023-05-17 07:47:34]
307*2^4688633-1 is not prime.  Res64: 1CB7029F8D1282ED  Time : 0.0 sec.
user=mdettweiler
[2023-05-17 08:13:45]
309*2^4688641-1 is not prime.  Res64: 45AA0BBC0E1636D7  Time : 0.0 sec.
user=kruoli
[2023-05-17 08:18:11]
305*2^4688630-1 is not prime.  Res64: A6F3BD8DB10549BD  Time : 0.0 sec.
user=mdettweiler
[2023-05-17 08:39:50]
307*2^4688653-1 is not prime.  Res64: E9EFB769DEE7DA11  Time : 0.0 sec.
user=mdettweiler
[2023-05-17 09:06:00]
309*2^4688672-1 is not prime.  Res64: F601078991ED62A0  Time : 0.0 sec.
user=kruoli
[2023-05-17 09:14:58]
303*2^4688643-1 is not prime.  Res64: 2672B947EEB3FC67  Time : 0.0 sec.
user=kruoli
[2023-05-17 09:22:23]
301*2^4688647-1 is not prime.  Res64: B17FCB56A90635A2  Time : 0.0 sec.
user=mdettweiler
[2023-05-17 09:32:07]
301*2^4688707-1 is not prime.  Res64: AE7F9EA9A400C74F  Time : 0.0 sec.
user=kruoli
[2023-05-17 09:45:38]
305*2^4688670-1 is not prime.  Res64: D85BA5AC6CDB5773  Time : 0.0 sec.
user=kruoli
[2023-05-17 10:04:18]
305*2^4688678-1 is not prime.  Res64: 874C729B7AA9F3F1  Time : 0.0 sec.
user=mdettweiler
[2023-05-17 10:11:36]
303*2^4688718-1 is not prime.  Res64: F720CE841A2E6A98  Time : 0.0 sec.
user=kruoli
[2023-05-17 10:13:23]
301*2^4688703-1 is not prime.  Res64: D9C9F4D0C536DD8A  Time : 0.0 sec.
user=kruoli
[2023-05-17 10:18:40]
309*2^4688704-1 is not prime.  Res64: 389420AD6AD168DC  Time : 0.0 sec.
user=kruoli
[2023-05-17 10:19:52]
301*2^4688717-1 is not prime.  Res64: 368C4192A8D49063  Time : 0.0 sec.
user=mdettweiler
[2023-05-17 10:37:48]
305*2^4688720-1 is not prime.  Res64: 506C82A02DEC238E  Time : 0.0 sec.
user=mdettweiler
[2023-05-17 11:03:58]
303*2^4688724-1 is not prime.  Res64: A69B93EE718BF0FE  Time : 0.0 sec.
user=mdettweiler
[2023-05-17 11:30:21]
307*2^4688729-1 is not prime.  Res64: 1E435F35D3CBA03E  Time : 0.0 sec.
user=kruoli
[2023-05-17 11:54:40]
305*2^4688726-1 is not prime.  Res64: 4D537DD989AE758B  Time : 0.0 sec.
user=mdettweiler
[2023-05-17 11:56:33]
309*2^4688749-1 is not prime.  Res64: 87B32EC1EC907635  Time : 0.0 sec.
user=mdettweiler
[2023-05-17 12:22:38]
305*2^4688762-1 is not prime.  Res64: C48C0EE24C52D626  Time : 0.0 sec.
user=mdettweiler
[2023-05-17 12:48:47]
303*2^4688799-1 is not prime.  Res64: 9CF3AA23D7121A3A  Time : 0.0 sec.
user=mdettweiler
[2023-05-17 13:30:23]
307*2^4688809-1 is not prime.  Res64: ACC40F5A97395122  Time : 0.0 sec.
user=mdettweiler
[2023-05-17 13:56:31]
301*2^4688821-1 is not prime.  Res64: DC493B530B134481  Time : 0.0 sec.
user=mdettweiler
[2023-05-17 14:22:43]
301*2^4688829-1 is not prime.  Res64: 3417F35345D513A8  Time : 0.0 sec.
user=mdettweiler
[2023-05-17 14:48:57]
309*2^4688831-1 is not prime.  Res64: 48D53C997E332540  Time : 0.0 sec.
user=kruoli
[2023-05-17 15:10:35]
309*2^4688744-1 is not prime.  Res64: 38235371E4A22A86  Time : 0.0 sec.
user=mdettweiler
[2023-05-17 15:15:07]
309*2^4688836-1 is not prime.  Res64: 5DAB178D2F0ABE31  Time : 0.0 sec.
user=mdettweiler
[2023-05-17 15:41:16]
305*2^4688870-1 is not prime.  Res64: FBC81A99A1BC551D  Time : 0.0 sec.
user=kruoli
[2023-05-17 15:43:25]
301*2^4688755-1 is not prime.  Res64: D4AAF65549A78B21  Time : 0.0 sec.
user=kruoli
[2023-05-17 15:43:43]
309*2^4688755-1 is not prime.  Res64: 8E54FABFFBB2E1B1  Time : 0.0 sec.
user=kruoli
[2023-05-17 15:50:02]
305*2^4688760-1 is not prime.  Res64: 92AF09F51445020B  Time : 0.0 sec.
user=kruoli
[2023-05-17 16:04:24]
301*2^4688765-1 is not prime.  Res64: 8A041686A3354FC9  Time : 0.0 sec.
user=kruoli
[2023-05-17 16:05:18]
301*2^4688781-1 is not prime.  Res64: 92AA271EB0053E91  Time : 0.0 sec.
user=mdettweiler
[2023-05-17 16:07:25]
309*2^4688879-1 is not prime.  Res64: 5355F77792E70EE6  Time : 0.0 sec.
user=kruoli
[2023-05-17 16:10:21]
309*2^4688743-1 is not prime.  Res64: D40C239D9D8109F7  Time : 0.0 sec.
user=kruoli
[2023-05-17 16:14:10]
307*2^4688837-1 is not prime.  Res64: 6FF236CB1C5160AB  Time : 0.0 sec.
user=mdettweiler
[2023-05-17 16:33:39]
309*2^4688885-1 is not prime.  Res64: 3FF4C5E4B1C3122E  Time : 0.0 sec.
user=mdettweiler
[2023-05-17 16:59:53]
301*2^4688899-1 is not prime.  Res64: A33A32EC8A47823A  Time : 0.0 sec.
user=mdettweiler
[2023-05-17 17:20:14]
301*2^4688835-1 is not prime.  Res64: FE2FC04370EB571F  Time : 0.0 sec.
user=mdettweiler
[2023-05-17 17:26:16]
301*2^4688909-1 is not prime.  Res64: E5A6387D6E48AE3D  Time : 0.0 sec.
user=mdettweiler
[2023-05-17 17:52:33]
301*2^4688913-1 is not prime.  Res64: C92026B0ED2AF3BE  Time : 0.0 sec.
user=mdettweiler
[2023-05-17 18:19:03]
307*2^4688929-1 is not prime.  Res64: 74E84FC356952784  Time : 0.0 sec.
user=mdettweiler
[2023-05-17 18:45:23]
307*2^4689013-1 is not prime.  Res64: 00C3E807038E6573  Time : 0.0 sec.
user=kruoli
[2023-05-17 19:05:26]
309*2^4688941-1 is not prime.  Res64: 6CC16DF32503D6D0  Time : 0.0 sec.
user=kruoli
[2023-05-17 19:09:25]
303*2^4688947-1 is not prime.  Res64: 3C4E3A6B572B42AC  Time : 0.0 sec.
user=mdettweiler
[2023-05-17 19:11:36]
307*2^4689017-1 is not prime.  Res64: 8F8B90F2DB16A744  Time : 0.0 sec.
user=kruoli
[2023-05-17 19:12:03]
301*2^4688953-1 is not prime.  Res64: 9BF506320FD22A02  Time : 0.0 sec.
user=kruoli
[2023-05-17 19:12:57]
303*2^4688982-1 is not prime.  Res64: 2FEBCF321720510B  Time : 0.0 sec.
user=kruoli
[2023-05-17 19:14:43]
309*2^4689001-1 is not prime.  Res64: 2C8BC36A7F0094E3  Time : 0.0 sec.
user=kruoli
[2023-05-17 19:15:52]
305*2^4689002-1 is not prime.  Res64: EAD4027F300AB6B8  Time : 0.0 sec.
user=kruoli
[2023-05-17 19:16:34]
309*2^4689005-1 is not prime.  Res64: 1BAD15094D085810  Time : 0.0 sec.
user=kruoli
[2023-05-17 19:17:25]
303*2^4689006-1 is not prime.  Res64: 0A7C68FE3FF51D29  Time : 0.0 sec.
user=mdettweiler
[2023-05-17 19:37:46]
303*2^4689018-1 is not prime.  Res64: 953C366C572E9F11  Time : 0.0 sec.
user=mdettweiler
[2023-05-17 20:04:01]
303*2^4689028-1 is not prime.  Res64: FFF2C89883CB4DAA  Time : 0.0 sec.
user=mdettweiler
[2023-05-17 20:30:10]
309*2^4689028-1 is not prime.  Res64: A4AFD2C2E20F86F0  Time : 0.0 sec.
user=mdettweiler
[2023-05-17 20:58:00]
301*2^4689031-1 is not prime.  Res64: 94C102300F2A0E08  Time : 0.0 sec.
user=mdettweiler
[2023-05-17 21:24:08]
301*2^4689067-1 is not prime.  Res64: 9F11DE35B47A12EB  Time : 0.0 sec.
user=kruoli
[2023-05-17 21:59:56]
309*2^4689052-1 is not prime.  Res64: 20DC0C53BD4D711C  Time : 0.0 sec.
user=kruoli
[2023-05-17 22:00:56]
309*2^4689053-1 is not prime.  Res64: D6F7E2ED8E617ED2  Time : 0.0 sec.
user=kruoli
[2023-05-17 22:03:01]
309*2^4689055-1 is not prime.  Res64: 50345EC044ECB4C4  Time : 0.0 sec.
user=mdettweiler
[2023-05-17 22:03:35]
301*2^4689103-1 is not prime.  Res64: 7F306F7F4564B915  Time : 0.0 sec.
user=kruoli
[2023-05-17 22:10:05]
303*2^4689072-1 is not prime.  Res64: 80DA20820A3F3C35  Time : 0.0 sec.
user=kruoli
[2023-05-17 22:22:29]
303*2^4689087-1 is not prime.  Res64: 498723DBA0F61BB1  Time : 0.0 sec.
user=kruoli
[2023-05-17 22:24:07]
303*2^4689088-1 is not prime.  Res64: 5B1C6DACDCE566F9  Time : 0.0 sec.
user=kruoli
[2023-05-17 22:25:21]
307*2^4689089-1 is not prime.  Res64: 8D76AA9AF299B840  Time : 0.0 sec.
user=kruoli
[2023-05-17 22:25:59]
301*2^4689099-1 is not prime.  Res64: BAD8BA6DD4C4ACCE  Time : 0.0 sec.
user=mdettweiler
[2023-05-17 22:29:46]
301*2^4689115-1 is not prime.  Res64: 7EC5BBE9EC4E10DC  Time : 0.0 sec.
user=mdettweiler
[2023-05-17 22:55:56]
309*2^4689121-1 is not prime.  Res64: B0DED4949C9D3707  Time : 0.0 sec.
user=mdettweiler
[2023-05-17 23:21:59]
303*2^4689124-1 is not prime.  Res64: 77806E1AA94195A0  Time : 0.0 sec.
user=mdettweiler
[2023-05-17 23:48:15]
301*2^4689127-1 is not prime.  Res64: F518C6992673302E  Time : 0.0 sec.