user=mdettweiler
[2009-10-13 10:27:08]
381*2^335127-1 is not prime.  Res64: BF481B0E2E7B34CB  Time : 0.0 sec.