Compacte boom van Dirk van Maanen