\relax 
\@writefile{toc}{\contentsline {section}{\numberline {3.1}The top--of--the--top level procedures}{110}}
\newlabel{procsimple}{{3.1}{110}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.1}Procedure {\bf  simple}}{110}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.2}Procedure {\bf  ncpbhgroebner}}{110}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.3}Procedure {\bf  modulehseries}}{111}}
\@setckpt{toplevel}{
\setcounter{page}{112}
\setcounter{equation}{0}
\setcounter{enumi}{3}
\setcounter{enumii}{0}
\setcounter{enumiii}{0}
\setcounter{enumiv}{0}
\setcounter{footnote}{0}
\setcounter{mpfootnote}{0}
\setcounter{part}{0}
\setcounter{chapter}{3}
\setcounter{section}{1}
\setcounter{subsection}{3}
\setcounter{subsubsection}{0}
\setcounter{paragraph}{0}
\setcounter{subparagraph}{0}
\setcounter{figure}{0}
\setcounter{table}{0}
\setcounter{exm}{4}
}
