user=mdettweiler
[2017-02-20 01:43:01]
404*23^1401272-1 is not prime.  Res64: 0455F4B73B1DE03D  Time : 0.0 sec.
user=mdettweiler
[2017-02-20 03:43:23]
404*23^1401352-1 is not prime.  Res64: A72E3BEB8522DA77  Time : 0.0 sec.
user=mdettweiler
[2017-02-20 11:39:47]
404*23^1401548-1 is not prime.  Res64: FCD58AB007A9C7D0  Time : 0.0 sec.
user=mdettweiler
[2017-02-20 13:37:22]
404*23^1401608-1 is not prime.  Res64: 3FC6C5BA5A10A9DC  Time : 0.0 sec.
user=mdettweiler
[2017-02-20 18:33:06]
404*23^1401676-1 is not prime.  Res64: C9BEF5EB10161988  Time : 0.0 sec.
user=mdettweiler
[2017-02-20 21:31:45]
404*23^1401692-1 is not prime.  Res64: 85EF4262BE4A3918  Time : 0.0 sec.