user=mdettweiler [2016-09-26 02:35:03] 405*2^1432273-1 is not prime. Res64: 2F3D30766E77C6C1 Time : 0.0 sec.