user=mdettweiler
[2011-11-23 13:50:45]
86049*2^497391-1 is not prime.  Res64: F8C23FBA880C6176  Time : 0.0 sec.