user=mdettweiler
[2017-01-19 00:02:20]
404*23^1387928-1 is not prime.  Res64: AF4C26E5BEC83FF7  Time : 0.0 sec.
user=mdettweiler
[2017-01-19 00:21:04]
404*23^1387984-1 is not prime.  Res64: 9E695998E97F35BD  Time : 0.0 sec.
user=mdettweiler
[2017-01-19 09:50:18]
404*23^1388096-1 is not prime.  Res64: 8C0008CDD0654449  Time : 0.0 sec.
user=mdettweiler
[2017-01-19 10:09:46]
404*23^1388192-1 is not prime.  Res64: DA65DC1F2D3540F4  Time : 0.0 sec.
user=mdettweiler
[2017-01-19 20:18:08]
404*23^1388336-1 is not prime.  Res64: 61C7484EDE0F1410  Time : 0.0 sec.
user=mdettweiler
[2017-01-19 20:37:29]
404*23^1388348-1 is not prime.  Res64: 60E6F182CDBE72E4  Time : 0.0 sec.