Topological, KosarajuSharirSCC