Compact tree of Harald Halvorsen