user=mdettweiler
[2017-04-10 09:43:44]
404*23^1415308-1 is not prime.  Res64: 8A0BD78F5215BC71  Time : 0.0 sec.
user=mdettweiler
[2017-04-10 14:32:24]
404*23^1415468-1 is not prime.  Res64: 842F43411C2D5B41  Time : 0.0 sec.
user=mdettweiler
[2017-04-10 16:02:31]
404*23^1415456-1 is not prime.  Res64: 5574905DB859FA1C  Time : 0.0 sec.