Verified Fermat and Lucas PRP by pfgw

To be completed...