lucas3 (-1)