user=mdettweiler
[2016-12-14 05:07:03]
404*23^1381244-1 is not prime.  Res64: 0501723228AEFB19  Time : 0.0 sec.
user=mdettweiler
[2016-12-14 11:01:24]
404*23^1381288-1 is not prime.  Res64: E0ADB7CEDCF3A0BD  Time : 0.0 sec.
user=mdettweiler
[2016-12-14 14:44:23]
404*23^1381352-1 is not prime.  Res64: DFE907851B826B80  Time : 0.0 sec.