user=mdettweiler
[2017-04-26 05:57:27]
404*23^1423772-1 is not prime.  Res64: 61FD705E7B0F44E0  Time : 0.0 sec.
user=mdettweiler
[2017-04-26 07:06:18]
404*23^1424392-1 is not prime.  Res64: 50B74DB69B2A0851  Time : 0.0 sec.
user=mdettweiler
[2017-04-26 10:47:26]
404*23^1424444-1 is not prime.  Res64: 517468C6FAD5A9B4  Time : 0.0 sec.