How can I prove this PRP prime?
According to PFGW, 1816 x (2^3217  1) + 1 is a PRP.
(FYI: 2^3217  1 is a Mersenne prime.)
I thought PFGW would use Pocklington's test as N1 is easy to completely factor.
Am I missing a switch in PFGW?
Is there an alternative to Pocklington's test?
