euler tour
tree
xor-convolution
