Fermat tests using bases 3,5,7,11,137 plus a Lucas test

To be completed...