LLR: (58*10^38400-1)/3 is strong-Fermat, Lucas and Frobenius PRP! (P = 4, Q = 2, D = 8)

To be completed...