user=mdettweiler
[2016-07-24 00:50:27]
404*23^1289704-1 is not prime.  Res64: 10114A694CAF0FE4  Time : 0.0 sec.
user=mdettweiler
[2016-07-24 03:29:44]
404*23^1289792-1 is not prime.  Res64: 9EF8C35CA302EFDD  Time : 0.0 sec.
user=mdettweiler
[2016-07-24 04:43:01]
404*23^1289912-1 is not prime.  Res64: 837678292FB823DD  Time : 0.0 sec.
user=mdettweiler
[2016-07-24 09:36:41]
404*23^1289936-1 is not prime.  Res64: 8A2F194B4F88815B  Time : 0.0 sec.
user=mdettweiler
[2016-07-24 11:31:35]
404*23^1290284-1 is not prime.  Res64: 2E41A16BEA309349  Time : 0.0 sec.
user=mdettweiler
[2016-07-24 12:44:07]
404*23^1290416-1 is not prime.  Res64: F50E60573F9E7262  Time : 0.0 sec.
user=mdettweiler
[2016-07-24 16:12:17]
404*23^1289984-1 is not prime.  Res64: 6A24F0582D67280D  Time : 0.0 sec.
user=mdettweiler
[2016-07-24 20:02:50]
404*23^1290028-1 is not prime.  Res64: 528A43E8CC68876F  Time : 0.0 sec.
user=mdettweiler
[2016-07-24 22:53:44]
404*23^1290064-1 is not prime.  Res64: B88EC30EFAB06D6F  Time : 0.0 sec.