user=mdettweiler [2019-06-18 04:44:07] 527*2^1593574-1 is not prime. Res64: E65DF39CC660D775 Time : 0.0 sec. user=mdettweiler [2019-06-18 04:51:02] 487*2^1593573-1 is not prime. Res64: 213DC3BC54AE0347 Time : 0.0 sec. user=mdettweiler [2019-06-18 04:51:23] 453*2^1593574-1 is not prime. Res64: C96B13C468F0F8C7 Time : 0.0 sec.