PFGW:
Primality testing (7*10^(2*11852+1)+18*10^11852-7)/9 [N-1/N+1, Brillhart-Lehmer-Selfridge]
Running N-1 test using base 5
Running N-1 test using base 29
Running N+1 test using discriminant 37, base 14+sqrt(37)
Calling N-1 BLS with factored part 0.04% and helper 0.00% (0.12% proof)
(7*10^(2*11852+1)+18*10^11852-7)/9 is Fermat and Lucas PRP! (172.7271s+0.0022s)

To be completed...