Kompakt træ for Mathias Larsen Davidsen