tree data:
tree?_i is of size 2^(i+1)-1, e.g., tree0_1 has 3 nodes.
