1st PRP for 2^n-129763.
Sieved to P=200G.
Primality testing 2^72085-129763 [N-1/N+1, Brillhart-Lehmer-Selfridge]
Running N-1 test using base 131
Running N+1 test using discriminant 127, base 2+sqrt(127)
Calling N-1 BLS with factored part 0.04% and helper 0.00% (0.12% proof)
2^72085-129763 is Fermat and Lucas PRP! (239.8987s+0.0074s)
To be completed...