Verified by LLR (strong-Fermat, Lucas and Frobenius PRP)

Minimal prime in base 19, see https://github.com/xayahrainie4793/quasi-mepn-data/blob/main/kernel19

To be completed...