user=mdettweiler
[2017-02-04 00:38:45]
404*23^1394432-1 is not prime.  Res64: A0467D1FEBDE24A5  Time : 0.0 sec.
user=mdettweiler
[2017-02-04 06:55:36]
404*23^1394144-1 is not prime.  Res64: 2E70B9148536B0DA  Time : 0.0 sec.
user=mdettweiler
[2017-02-04 08:39:12]
404*23^1394264-1 is not prime.  Res64: AD8EE6CA30EFF4E3  Time : 0.0 sec.
user=mdettweiler
[2017-02-04 08:58:12]
404*23^1394636-1 is not prime.  Res64: DFD12C2B15EE93BF  Time : 0.0 sec.
user=mdettweiler
[2017-02-04 17:49:48]
404*23^1394792-1 is not prime.  Res64: 708C0A80F718C01E  Time : 0.0 sec.
user=mdettweiler
[2017-02-04 18:17:51]
404*23^1394476-1 is not prime.  Res64: F8FB66A767FE0E07  Time : 0.0 sec.
user=mdettweiler
[2017-02-04 19:40:43]
404*23^1394896-1 is not prime.  Res64: 5E6C88705A173036  Time : 0.0 sec.