user=mdettweiler
[2016-05-23 00:32:50]
404*23^1218956-1 is not prime.  Res64: 022DCBB5A1120CBF  Time : 0.0 sec.
user=mdettweiler
[2016-05-23 00:51:41]
404*23^1219052-1 is not prime.  Res64: 6F87B52843D6C88B  Time : 0.0 sec.
user=mdettweiler
[2016-05-23 01:53:18]
404*23^1218992-1 is not prime.  Res64: 4FBAE058C0910BE1  Time : 0.0 sec.
user=mdettweiler
[2016-05-23 02:10:45]
404*23^1219504-1 is not prime.  Res64: F2B8D46699110226  Time : 0.0 sec.
user=mdettweiler
[2016-05-23 02:42:32]
404*23^1219664-1 is not prime.  Res64: 799276F000544C06  Time : 0.0 sec.
user=mdettweiler
[2016-05-23 03:02:57]
404*23^1219772-1 is not prime.  Res64: 4B75C846729C3C67  Time : 0.0 sec.
user=mdettweiler
[2016-05-23 03:06:41]
404*23^1219912-1 is not prime.  Res64: 38EF89E8B59F168F  Time : 0.0 sec.
user=mdettweiler
[2016-05-23 03:28:30]
404*23^1220588-1 is not prime.  Res64: 5500480E34A73F2A  Time : 0.0 sec.
user=mdettweiler
[2016-05-23 04:11:17]
404*23^1220672-1 is not prime.  Res64: 3264F5516DC0A981  Time : 0.0 sec.
user=mdettweiler
[2016-05-23 04:40:59]
404*23^1221032-1 is not prime.  Res64: 5446DA468C89FB62  Time : 0.0 sec.
user=mdettweiler
[2016-05-23 05:45:51]
404*23^1221064-1 is not prime.  Res64: 3DB7CCD5C63F3CCB  Time : 0.0 sec.
user=mdettweiler
[2016-05-23 05:56:34]
404*23^1221344-1 is not prime.  Res64: 93F62623846C0D48  Time : 0.0 sec.
user=mdettweiler
[2016-05-23 06:16:19]
404*23^1221248-1 is not prime.  Res64: B2D8D006EE401D10  Time : 0.0 sec.
user=mdettweiler
[2016-05-23 06:29:20]
404*23^1217968-1 is not prime.  Res64: FBFC166D5012A928  Time : 0.0 sec.
user=mdettweiler
[2016-05-23 06:38:55]
404*23^1221388-1 is not prime.  Res64: D0F12A2D983D6532  Time : 0.0 sec.
user=mdettweiler
[2016-05-23 06:49:04]
404*23^1221536-1 is not prime.  Res64: 86C95191DDE60BD0  Time : 0.0 sec.
user=mdettweiler
[2016-05-23 07:50:45]
404*23^1221664-1 is not prime.  Res64: 2FD706499680F22B  Time : 0.0 sec.
user=mdettweiler
[2016-05-23 08:02:56]
404*23^1221676-1 is not prime.  Res64: 75C9183451074F7D  Time : 0.0 sec.
user=mdettweiler
[2016-05-23 08:21:21]
404*23^1221704-1 is not prime.  Res64: 8FDDB7525ED42063  Time : 0.0 sec.
user=mdettweiler
[2016-05-23 08:36:04]
404*23^1221532-1 is not prime.  Res64: DAC2DBFF2C836D74  Time : 0.0 sec.
user=mdettweiler
[2016-05-23 08:48:26]
404*23^1221776-1 is not prime.  Res64: D7C2056A43076534  Time : 0.0 sec.
user=mdettweiler
[2016-05-23 09:14:08]
404*23^1221872-1 is not prime.  Res64: EBEC757F07055582  Time : 0.0 sec.
user=mdettweiler
[2016-05-23 09:17:29]
404*23^1221788-1 is not prime.  Res64: F2D60400A2945E4C  Time : 0.0 sec.
user=mdettweiler
[2016-05-23 10:06:39]
404*23^1221896-1 is not prime.  Res64: 473396E47DCDD882  Time : 0.0 sec.
user=mdettweiler
[2016-05-23 11:41:51]
404*23^1218652-1 is not prime.  Res64: 0CD7F304E91EBF59  Time : 0.0 sec.
user=mdettweiler
[2016-05-23 12:51:28]
404*23^1222024-1 is not prime.  Res64: BBD3D7338A1BBC04  Time : 0.0 sec.
user=mdettweiler
[2016-05-23 13:52:51]
404*23^1222172-1 is not prime.  Res64: B8420000732C75AD  Time : 0.0 sec.
user=mdettweiler
[2016-05-23 14:02:57]
404*23^1219424-1 is not prime.  Res64: E83D8AE05D336D61  Time : 0.0 sec.
user=mdettweiler
[2016-05-23 16:16:48]
404*23^1219736-1 is not prime.  Res64: 46B4613299BD2637  Time : 0.0 sec.
user=mdettweiler
[2016-05-23 16:20:07]
404*23^1220188-1 is not prime.  Res64: F947403B4B76C436  Time : 0.0 sec.
user=mdettweiler
[2016-05-23 16:31:06]
404*23^1220264-1 is not prime.  Res64: FFBDD949F4431859  Time : 0.0 sec.
user=mdettweiler
[2016-05-23 16:34:19]
404*23^1220288-1 is not prime.  Res64: 4D45BEA7F6F1ED71  Time : 0.0 sec.
user=mdettweiler
[2016-05-23 16:43:04]
404*23^1220524-1 is not prime.  Res64: 7DC3C4F609E15D55  Time : 0.0 sec.
user=mdettweiler
[2016-05-23 17:17:14]
404*23^1222304-1 is not prime.  Res64: 65525762CA948301  Time : 0.0 sec.
user=mdettweiler
[2016-05-23 18:47:24]
404*23^1222424-1 is not prime.  Res64: 3E1E1F15643E9545  Time : 0.0 sec.
user=mdettweiler
[2016-05-23 18:59:44]
404*23^1222432-1 is not prime.  Res64: 838AC7EA7215D942  Time : 0.0 sec.
user=mdettweiler
[2016-05-23 19:08:25]
404*23^1222808-1 is not prime.  Res64: ABBEF07A6E5E305D  Time : 0.0 sec.
user=mdettweiler
[2016-05-23 20:32:15]
404*23^1222976-1 is not prime.  Res64: E7EA05B75D52425C  Time : 0.0 sec.
user=mdettweiler
[2016-05-23 21:43:30]
404*23^1223192-1 is not prime.  Res64: ECAA61FF4E533096  Time : 0.0 sec.
user=mdettweiler
[2016-05-23 22:38:32]
404*23^1223216-1 is not prime.  Res64: 7F963C57CBF37C94  Time : 0.0 sec.
user=mdettweiler
[2016-05-23 23:30:22]
404*23^1223432-1 is not prime.  Res64: 5F85B40FA3152943  Time : 0.0 sec.