user=mdettweiler
[2016-07-09 14:15:28]
423*2^1431492-1 is not prime.  Res64: 1097D1006C1D0EF0  Time : 0.0 sec.