user=mdettweiler
[2016-05-03 00:12:34]
404*23^1162328-1 is not prime.  Res64: DC5D2A8A37A91849  Time : 0.0 sec.
user=mdettweiler
[2016-05-03 01:19:58]
404*23^1157456-1 is not prime.  Res64: 4BC13D1CCD67D40D  Time : 0.0 sec.
user=mdettweiler
[2016-05-03 01:24:55]
404*23^1162192-1 is not prime.  Res64: DA2EF5EEC6BDD7D0  Time : 0.0 sec.
user=mdettweiler
[2016-05-03 03:51:35]
404*23^1158284-1 is not prime.  Res64: 63A6DE219D240939  Time : 0.0 sec.
user=mdettweiler
[2016-05-03 05:49:08]
404*23^1158464-1 is not prime.  Res64: 2347C083F43C265D  Time : 0.0 sec.
user=mdettweiler
[2016-05-03 07:52:03]
404*23^1162832-1 is not prime.  Res64: F407BE4704C19645  Time : 0.0 sec.
user=mdettweiler
[2016-05-03 14:17:42]
404*23^1162412-1 is not prime.  Res64: D8169F7B44EBDAEE  Time : 0.0 sec.
user=mdettweiler
[2016-05-03 18:48:50]
404*23^1162712-1 is not prime.  Res64: 7BECB1D10B5D7B06  Time : 0.0 sec.
user=mdettweiler
[2016-05-03 19:26:48]
404*23^1162496-1 is not prime.  Res64: DE2E04EB96DB91E6  Time : 0.0 sec.
user=mdettweiler
[2016-05-03 20:11:40]
404*23^1163212-1 is not prime.  Res64: 2DBFD1ECDA7D9D1E  Time : 0.0 sec.
user=mdettweiler
[2016-05-03 21:24:29]
404*23^1162844-1 is not prime.  Res64: 04A10DFCD0E9B8D5  Time : 0.0 sec.
user=mdettweiler
[2016-05-03 21:32:38]
404*23^1162768-1 is not prime.  Res64: 417EE27679C16070  Time : 0.0 sec.
user=mdettweiler
[2016-05-03 21:56:55]
404*23^1163276-1 is not prime.  Res64: 241E50F2F247A31F  Time : 0.0 sec.
user=mdettweiler
[2016-05-03 23:19:31]
404*23^1163048-1 is not prime.  Res64: 47F489CDA50BCDAF  Time : 0.0 sec.