Kompakt træ for Rasmus Halvorsen