user=mdettweiler [2019-10-16 04:15:03] 623*2^1547332-1 is not prime. Res64: E4FAC0C1B3E30A8B Time : 0.0 sec. user=mdettweiler [2019-10-16 11:03:40] 689*2^1547332-1 is not prime. Res64: 1EB2FE9CD3BDF431 Time : 0.0 sec.