Full lean_lie8