Add strong Lucas test