Hierarchical Tarjan