user=mdettweiler
[2016-09-30 02:08:09]
411*2^1432273-1 is not prime.  Res64: 7BEBC7033E8116BF  Time : 0.0 sec.