user=mdettweiler
[2010-02-11 03:27:01]
4233*22^267410+1 is not prime.  Res64: 0DF907D3CE1F9130  Time : 0.0 sec.