\relax 
\@writefile{toc}{\contentsline {section}{\numberline {6}Identification of Invariants}{6}}
\newlabel{sec:inv}{{6}{6}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1}Phase 1: Two set matching}{6}}
\citation{A87}
\@writefile{toc}{\contentsline {paragraph}{Eliminating Redundant Solutions.}{8}}
\@writefile{toc}{\contentsline {paragraph}{Inaccuracies in Computing the Transformation.}{8}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.2}Phase 2: Multiple match}{8}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3}Partial solutions}{9}}
\@setckpt{section}{
\setcounter{page}{10}
\setcounter{equation}{0}
\setcounter{enumi}{2}
\setcounter{enumii}{2}
\setcounter{enumiii}{0}
\setcounter{enumiv}{0}
\setcounter{footnote}{2}
\setcounter{mpfootnote}{0}
\setcounter{part}{0}
\setcounter{section}{6}
\setcounter{subsection}{3}
\setcounter{subsubsection}{0}
\setcounter{paragraph}{0}
\setcounter{subparagraph}{0}
\setcounter{figure}{0}
\setcounter{table}{0}
\setcounter{theorem}{2}
\setcounter{lemma}{0}
\setcounter{claim}{2}
\setcounter{fact}{0}
\setcounter{remark}{3}
\setcounter{corollary}{0}
\setcounter{exercise}{0}
\setcounter{problem}{2}
\setcounter{conjecture}{0}
\setcounter{oq}{0}
\setcounter{defn}{0}
\setcounter{exprime}{0}
}