user=mdettweiler
[2017-04-24 05:07:59]
404*23^1423016-1 is not prime.  Res64: 20221F62011CFABB  Time : 0.0 sec.
user=mdettweiler
[2017-04-24 09:14:02]
404*23^1423304-1 is not prime.  Res64: BB08B2A9BD3A7ED5  Time : 0.0 sec.
user=mdettweiler
[2017-04-24 12:17:03]
404*23^1423448-1 is not prime.  Res64: 1356097514A408F1  Time : 0.0 sec.
user=mdettweiler
[2017-04-24 13:06:55]
404*23^1423136-1 is not prime.  Res64: 8E30E01217A67679  Time : 0.0 sec.
user=mdettweiler
[2017-04-24 16:45:33]
404*23^1423532-1 is not prime.  Res64: F911B7BE1D482D21  Time : 0.0 sec.
user=mdettweiler
[2017-04-24 21:45:36]
404*23^1423688-1 is not prime.  Res64: EB63463954143FE4  Time : 0.0 sec.