Compact tree of Ove Pedersen