Add Lucas sequence and have all 3 Lucas tests use it