user=mdettweiler
[2016-08-07 00:25:56]
404*23^1301276-1 is not prime.  Res64: FFC524729C9DD556  Time : 0.0 sec.
user=mdettweiler
[2016-08-07 01:43:25]
404*23^1301432-1 is not prime.  Res64: 37EC75E57278342C  Time : 0.0 sec.
user=mdettweiler
[2016-08-07 05:40:47]
404*23^1301056-1 is not prime.  Res64: F4E9DB2C6399D1E8  Time : 0.0 sec.
user=mdettweiler
[2016-08-07 08:47:37]
404*23^1301704-1 is not prime.  Res64: 5E0D62172D56ACA6  Time : 0.0 sec.
user=mdettweiler
[2016-08-07 10:04:15]
404*23^1301728-1 is not prime.  Res64: B122D18D27B619ED  Time : 0.0 sec.
user=mdettweiler
[2016-08-07 12:20:31]
404*23^1301224-1 is not prime.  Res64: 588B16223AFE04F1  Time : 0.0 sec.
user=mdettweiler
[2016-08-07 16:14:20]
404*23^1301504-1 is not prime.  Res64: A300CCC7F1AFBB34  Time : 0.0 sec.
user=mdettweiler
[2016-08-07 17:11:29]
404*23^1302028-1 is not prime.  Res64: BD83999C979E06F8  Time : 0.0 sec.
user=mdettweiler
[2016-08-07 18:27:46]
404*23^1302104-1 is not prime.  Res64: BE0F5418E5CA98E2  Time : 0.0 sec.
user=mdettweiler
[2016-08-07 19:03:22]
404*23^1301632-1 is not prime.  Res64: B2ED747AEF03F029  Time : 0.0 sec.