Verified in pfgw, by two different people on mersenneforum, and using Mathematica s PrimeQ.

To be completed...