user=mdettweiler [2017-06-03 12:05:59] 404*23^1440268-1 is not prime. Res64: 931959652236FD40 Time : 0.0 sec. user=mdettweiler [2017-06-03 12:06:00] 404*23^1440272-1 is not prime. Res64: 7E69DCF418BBD07F Time : 0.0 sec. user=mdettweiler [2017-06-03 17:08:49] 404*23^1440368-1 is not prime. Res64: 430E0FA83D76B04A Time : 0.0 sec.