Verified Fermat and Lucas PRP by pfgw.
Primality testing 10^38315+2*38315-1 [N-1/N+1, Brillhart-Lehmer-Selfridge]
Running N-1 test using base 2
Running N-1 test using base 7
Running N+1 test using discriminant 13, base 13+sqrt(13)
Calling N-1 BLS with factored part 0.03% and helper 0.01% (0.11% proof)
10^38315+2*38315-1 is Fermat and Lucas PRP! (624.0930s+0.0032s)
Primality testing 10^47989+2*47989-1 [N-1/N+1, Brillhart-Lehmer-Selfridge]
Running N-1 test using base 3
Running N+1 test using discriminant 7, base 1+sqrt(7)
Calling N-1 BLS with factored part 0.03% and helper 0.01% (0.11% proof)
10^47989+2*47989-1 is Fermat and Lucas PRP! (625.2383s+0.0031s)
To be completed...