\relax 
\providecommand\hyper@newdestlabel[2]{}
\@writefile{toc}{\contentsline {chapter}{\numberline {17}Strong connectivity}{157}{chapter.17}\protected@file@percent }
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\citation{aho83}
\citation{sha81}
\@writefile{toc}{\contentsline {section}{\numberline {17.1}Kosaraju's algorithm}{158}{section.17.1}\protected@file@percent }
\@writefile{toc}{\contentsline {subsubsection}{Search 1}{158}{section.17.1}\protected@file@percent }
\@writefile{toc}{\contentsline {subsubsection}{Search 2}{159}{section.17.1}\protected@file@percent }
\citation{asp79}
\citation{eve75}
\@writefile{toc}{\contentsline {section}{\numberline {17.2}2SAT problem}{160}{section.17.2}\protected@file@percent }
\@setckpt{chapter17}{
\setcounter{page}{163}
\setcounter{equation}{0}
\setcounter{enumi}{5}
\setcounter{enumii}{0}
\setcounter{enumiii}{0}
\setcounter{enumiv}{0}
\setcounter{footnote}{2}
\setcounter{mpfootnote}{0}
\setcounter{part}{2}
\setcounter{chapter}{17}
\setcounter{section}{2}
\setcounter{subsection}{0}
\setcounter{subsubsection}{0}
\setcounter{paragraph}{0}
\setcounter{subparagraph}{0}
\setcounter{figure}{0}
\setcounter{table}{0}
\setcounter{lstnumber}{7}
\setcounter{Item}{7}
\setcounter{Hfootnote}{31}
\setcounter{bookmark@seq@number}{88}
\setcounter{parentequation}{0}
\setcounter{fileFrom}{0}
\setcounter{rankFrom}{0}
\setcounter{fileTo}{0}
\setcounter{rankTo}{0}
\setcounter{ps@inverse}{0}
\setcounter{ps@knightangle}{0}
\setcounter{halfmove}{0}
\setcounter{move}{0}
\setcounter{helpgobble}{0}
\setcounter{helpnumber}{0}
\setcounter{helpnumberMove}{0}
\setcounter{idxcols}{2}
\setcounter{lstlisting}{0}
\setcounter{section@level}{0}
}