Compact tree of Thor Halvorsen