Running N-1 test using base 2
Running N+1 test using discriminant 5, base 5+sqrt(5)
Calling N-1 BLS with factored part 0.05% and helper 0.02% (0.18% proof)
(7186^7186+7187^7187)/(3*7^2*31^2*101*79333^2) is Fermat and Lucas PRP!

To be completed...