Kompakt træ for Hans Sørensen Thorstensen