user=mdettweiler
[2016-01-13 23:52:21]
511*2^1431323-1 is not prime.  Res64: F4BECDF24B92F2E5  Time : 0.0 sec.