user=mdettweiler
[2016-11-22 06:30:46]
404*23^1375664-1 is not prime.  Res64: F686ECCDEC1B19CC  Time : 0.0 sec.
user=mdettweiler
[2016-11-22 09:34:11]
404*23^1375676-1 is not prime.  Res64: 29DEF6841B83C2FF  Time : 0.0 sec.
user=mdettweiler
[2016-11-22 16:07:29]
404*23^1375856-1 is not prime.  Res64: BDA9C97A868AA67F  Time : 0.0 sec.
user=mdettweiler
[2016-11-22 19:09:23]
404*23^1375916-1 is not prime.  Res64: 22BE909985C53A5D  Time : 0.0 sec.