pfgw verifies that these numbers are Fermat and Lucas PRP!

To be completed...