Primality testing 2^84421+20561 [N-1/N+1, Brillhart-Lehmer-Selfridge]
Running N-1 test using base 5
Running N-1 test using base 17
Running N+1 test using discriminant 29, base 3+sqrt(29)
Calling N-1 BLS with factored part 0.02% and helper 0.00% (0.07% proof)
2^84421+20561 is Fermat and Lucas PRP! (46.1634s+0.0026s)

To be completed...