Compact tree of George Scholze