user=mdettweiler
[2009-11-16 00:47:13]
2151*2^154557-1 is not prime.  Res64: 310D44FA4F5C5498  Time : 40.0 sec.