~~test~~
add lca with binary algorithm and down convex