user=mdettweiler
[2016-12-21 01:03:32]
404*23^1383932-1 is not prime.  Res64: 806C6C4828A34ECB  Time : 0.0 sec.
user=mdettweiler
[2016-12-21 04:54:45]
404*23^1384072-1 is not prime.  Res64: D59263FEE670F25D  Time : 0.0 sec.
user=mdettweiler
[2016-12-21 14:29:35]
404*23^1384348-1 is not prime.  Res64: 8079DD5168080650  Time : 0.0 sec.
user=mdettweiler
[2016-12-21 16:59:35]
404*23^1384288-1 is not prime.  Res64: DD7C1C1E265733EE  Time : 0.0 sec.