user=mdettweiler [2020-10-08 09:11:10] 163503*2^6630147-1 is not prime. Res64: C8F98E519D3AB15E Time : 0.0 sec.