Category
Level
Binary lifting precomputes 2^k ancestors for every node so we can jump upward in powers of two.