user=mdettweiler [2020-06-18 06:33:51] 437*2^1595020-1 is not prime. Res64: C9DF6EA90DE296F4 Time : 0.0 sec. user=mdettweiler [2020-06-18 06:33:59] 405*2^1595021-1 is not prime. Res64: 985E1ABDB6A7AAE4 Time : 0.0 sec.