user=mdettweiler
[2015-04-25 12:18:02]
1420756867185*2^1000000-1 is not prime.  Res64: B08268205223BAD1  Time : 0.0 sec.