user=mdettweiler [2016-06-06 03:08:29] 404*23^1254584-1 is not prime. Res64: A518E4ED22212091 Time : 0.0 sec. user=mdettweiler [2016-06-06 09:52:11] 404*23^1254796-1 is not prime. Res64: 892EC5C133BF2446 Time : 0.0 sec. user=mdettweiler [2016-06-06 10:50:13] 404*23^1254832-1 is not prime. Res64: 33AD1C53FEB9F2FB Time : 0.0 sec. user=mdettweiler [2016-06-06 20:46:35] 404*23^1253024-1 is not prime. Res64: 9425AB1E83CDE366 Time : 0.0 sec. user=mdettweiler [2016-06-06 20:55:54] 404*23^1253036-1 is not prime. Res64: 4B59A087BAAE32DF Time : 0.0 sec. user=mdettweiler [2016-06-06 23:24:12] 404*23^1253164-1 is not prime. Res64: 8EDF6F53C568E046 Time : 0.0 sec.