user=mdettweiler [2017-05-12 01:16:55] 404*23^1431584-1 is not prime. Res64: 43BF3E4D5D618DEF Time : 0.0 sec. user=mdettweiler [2017-05-12 04:12:34] 404*23^1431308-1 is not prime. Res64: B31F1DFFBE393B31 Time : 0.0 sec. user=mdettweiler [2017-05-12 05:27:33] 404*23^1431688-1 is not prime. Res64: 40B9CADC5274ACB6 Time : 0.0 sec. user=mdettweiler [2017-05-12 12:18:04] 404*23^1431592-1 is not prime. Res64: 7A17B0B6AAB96C43 Time : 0.0 sec.