user=mdettweiler
[2017-01-14 06:02:16]
404*23^1386488-1 is not prime.  Res64: 460724EFF720E93D  Time : 0.0 sec.
user=mdettweiler
[2017-01-14 08:31:22]
404*23^1386536-1 is not prime.  Res64: EDCC43CAB67D45BE  Time : 0.0 sec.
user=mdettweiler
[2017-01-14 15:45:07]
404*23^1386556-1 is not prime.  Res64: C32DD85DD1C5A349  Time : 0.0 sec.