user=mdettweiler [2016-06-08 05:32:06] 404*23^1255304-1 is not prime. Res64: 374D4F8CEEC3D087 Time : 0.0 sec. user=mdettweiler [2016-06-08 15:45:54] 404*23^1255324-1 is not prime. Res64: 875AEBFBBCAEE3DA Time : 0.0 sec. user=mdettweiler [2016-06-08 15:53:28] 404*23^1255336-1 is not prime. Res64: 71B9155770A24E12 Time : 0.0 sec. user=mdettweiler [2016-06-08 18:24:46] 404*23^1255372-1 is not prime. Res64: 23A3BFC5589197B0 Time : 0.0 sec.