Used fsieve (a modified version of Multisieve) to sieve. Pfgw to show that each was a prp base 3,7,11,17 and 37. Then Pfgw -tc to show that each was a "Fermat and Lucas PRP!"
To be completed...