Redirecting to Tarjan's strongly connected components algorithm