user=mdettweiler [2017-02-03 03:40:39] 404*23^1393532-1 is not prime. Res64: 1CDC52526EB6BB5F Time : 0.0 sec. user=mdettweiler [2017-02-03 05:18:23] 404*23^1393544-1 is not prime. Res64: 5B375874138CBF94 Time : 0.0 sec. user=mdettweiler [2017-02-03 13:35:48] 404*23^1393664-1 is not prime. Res64: 7B860A11C753ABD3 Time : 0.0 sec. user=mdettweiler [2017-02-03 15:08:57] 404*23^1393976-1 is not prime. Res64: 350CD581660FD914 Time : 0.0 sec.