By PFGW is Fermat and Lucas PRP.

Norm of (1+sqrt(7)+sqrt(6))^n-1 in the biquadratic field k(sqrt(7),sqrt(6)).

To be completed...