user=mdettweiler
[2016-06-11 08:03:05]
404*23^1253984-1 is not prime.  Res64: 9920FA358AA518FE  Time : 0.0 sec.
user=mdettweiler
[2016-06-11 08:10:50]
404*23^1254056-1 is not prime.  Res64: 762F7AA5C241CC56  Time : 0.0 sec.
user=mdettweiler
[2016-06-11 09:56:30]
404*23^1254076-1 is not prime.  Res64: 51FFC8F0EBE8163F  Time : 0.0 sec.
user=mdettweiler
[2016-06-11 10:48:07]
404*23^1256108-1 is not prime.  Res64: 38BD8F9DF5832A7E  Time : 0.0 sec.
user=mdettweiler
[2016-06-11 10:55:44]
404*23^1256224-1 is not prime.  Res64: 7F0C9BDF033838B4  Time : 0.0 sec.
user=mdettweiler
[2016-06-11 18:39:56]
404*23^1256584-1 is not prime.  Res64: 9FB8129B0898A522  Time : 0.0 sec.
user=mdettweiler
[2016-06-11 19:19:04]
404*23^1256312-1 is not prime.  Res64: FE185F383FC58E8F  Time : 0.0 sec.
user=mdettweiler
[2016-06-11 19:39:16]
404*23^1256956-1 is not prime.  Res64: 11A4AE7D123A8BCD  Time : 0.0 sec.