user=mdettweiler
[2016-08-10 06:11:37]
351134*2^4778424-1 is not prime.  Res64: 9A65D2E56D3F94EF  Time : 0.0 sec.