LLR: (25*10^36176-13)/3 is strong-Fermat, Lucas and Frobenius PRP! (P = 6, Q = 2, D = 28)

To be completed...