user=mdettweiler
[2016-11-09 12:16:02]
404*23^1357672-1 is not prime.  Res64: 086CA2D29A8AC3C1  Time : 0.0 sec.
user=mdettweiler
[2016-11-09 16:45:32]
404*23^1357736-1 is not prime.  Res64: F4E2E8056C2ACD26  Time : 0.0 sec.
user=mdettweiler
[2016-11-09 23:20:42]
404*23^1357976-1 is not prime.  Res64: CB140CE045FCDD48  Time : 0.0 sec.