user=mdettweiler
[2016-07-02 00:37:30]
404*23^1270732-1 is not prime.  Res64: AC3E7CE2A8A3F4C0  Time : 0.0 sec.
user=mdettweiler
[2016-07-02 01:38:50]
404*23^1271516-1 is not prime.  Res64: DE9174AF63AEC49C  Time : 0.0 sec.
user=mdettweiler
[2016-07-02 01:42:58]
404*23^1270928-1 is not prime.  Res64: 7D5730DEFB7014B9  Time : 0.0 sec.
user=mdettweiler
[2016-07-02 03:28:20]
404*23^1270976-1 is not prime.  Res64: 3A5D458190F9478E  Time : 0.0 sec.
user=mdettweiler
[2016-07-02 04:22:44]
404*23^1271624-1 is not prime.  Res64: 32CC94EF39EE92B1  Time : 0.0 sec.
user=mdettweiler
[2016-07-02 09:27:51]
404*23^1271948-1 is not prime.  Res64: F4840FBDC46D5C4C  Time : 0.0 sec.
user=mdettweiler
[2016-07-02 12:05:01]
404*23^1271096-1 is not prime.  Res64: 6468A9DD27607319  Time : 0.0 sec.
user=mdettweiler
[2016-07-02 12:13:20]
404*23^1272428-1 is not prime.  Res64: 5838EC99BDFB316A  Time : 0.0 sec.
user=mdettweiler
[2016-07-02 22:21:04]
404*23^1271792-1 is not prime.  Res64: F00BD9ECBCB02348  Time : 0.0 sec.
user=mdettweiler
[2016-07-02 23:25:50]
404*23^1271984-1 is not prime.  Res64: 49948F62439F311D  Time : 0.0 sec.