user=mdettweiler
[2016-06-25 13:01:49]
519*2^1431491-1 is not prime.  Res64: A14D3879D324CCF2  Time : 0.0 sec.