strongly connected components using kosaraju algorithm