LLR: strong-Fermat, Lucas and Frobenius PRP! (P = 7, Q = 3, D = 37)

To be completed...