Running N-1 test using base 29
Running N-1 test using base 31
Running N+1 test using discriminant 47, base 4+sqrt(47)
Calling N-1 BLS with factored part 0.25% and helper 0.06% (0.82% proof)
(101^5329+35^5329-lucasV(135,3535,5329))/(101^73+35^73-lucasV(135,3535,73))
is Fermat and Lucas PRP!

To be completed...