user=mdettweiler
[2016-11-05 06:08:32]
404*23^1356556-1 is not prime.  Res64: D1ADC6A3CB6E1638  Time : 0.0 sec.
user=mdettweiler
[2016-11-05 08:50:50]
404*23^1356704-1 is not prime.  Res64: 9C8DD913C1EA9BC3  Time : 0.0 sec.
user=mdettweiler
[2016-11-05 22:53:38]
404*23^1356712-1 is not prime.  Res64: EF49F3CD5D6E077A  Time : 0.0 sec.