Compact tree of Hans Mathias Pedersen