user=mdettweiler
[2012-04-22 17:13:54]
73935*2^498529-1 is not prime.  Res64: 7D77FF24EA9F5028  Time : 0.0 sec.