user=mdettweiler
[2017-05-20 01:25:39]
404*23^1435964-1 is not prime.  Res64: 5C0D53F9FF7C257C  Time : 0.0 sec.
user=mdettweiler
[2017-05-20 05:08:35]
404*23^1436096-1 is not prime.  Res64: 58ED86E6F9A56027  Time : 0.0 sec.
user=mdettweiler
[2017-05-20 18:27:32]
404*23^1436252-1 is not prime.  Res64: 4DF87F64E88DE289  Time : 0.0 sec.