Kompakt træ for Hans Oskar Henriksen