user=mdettweiler [2020-12-15 07:24:24] 351134*2^6633328-1 is not prime. Res64: 74E4BE004A59254C Time : 0.0 sec.