>__

strongly connected components in directed graph. Kosaraju's algorithm.