Compact tree of Hans Halvorsen