e2.5a: complete binary trees with sharing