user=mdettweiler
[2016-05-27 13:34:08]
583*2^1431487-1 is not prime.  Res64: 0DF94AA8DC05C36D  Time : 0.0 sec.