\relax 
\providecommand\hyper@newdestlabel[2]{}
\@writefile{toc}{\beamer@sectionintoc {13}{{\bfseries  NP}-Vollst\IeC {\"a}ndigkeit}{2105}{0}{13}}
\@writefile{nav}{\headcommand {\sectionentry {13}{{\bfseries  NP}-Vollst\IeC {\"a}ndigkeit}{2105}{{\bfseries  NP}-Vollst\IeC {\"a}ndigkeit}{0}}}
\@writefile{nav}{\headcommand {\beamer@sectionpages {1942}{2104}}}
\@writefile{nav}{\headcommand {\beamer@subsectionpages {1942}{2104}}}
\@writefile{nav}{\headcommand {\slideentry {13}{0}{183}{2105/2105}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {2105}{2105}}}
\@writefile{nav}{\headcommand {\slideentry {13}{0}{184}{2106/2115}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {2106}{2115}}}
\newlabel{Abschluss nach unten}{{13.2}{2116}{}{Doc-Start}{}}
\@writefile{snm}{\beamer@slide {Abschluss nach unten}{2116}}
\@writefile{nav}{\headcommand {\slideentry {13}{0}{185}{2116/2131}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {2116}{2131}}}
\newlabel{transitive Reduktion}{{13.3}{2132}{}{Doc-Start}{}}
\@writefile{snm}{\beamer@slide {transitive Reduktion}{2132}}
\@writefile{nav}{\headcommand {\slideentry {13}{0}{186}{2132/2152}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {2132}{2152}}}
\@writefile{nav}{\headcommand {\slideentry {13}{0}{187}{2153/2159}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {2153}{2159}}}
\@writefile{nav}{\headcommand {\slideentry {13}{0}{188}{2160/2169}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {2160}{2169}}}
\@writefile{nav}{\headcommand {\slideentry {13}{0}{189}{2170/2189}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {2170}{2189}}}
\@writefile{nav}{\headcommand {\slideentry {13}{0}{190}{2190/2209}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {2190}{2209}}}
\newlabel{eindeutig}{{13.6}{2210}{}{Doc-Start}{}}
\@writefile{snm}{\beamer@slide {eindeutig}{2210}}
\@writefile{nav}{\headcommand {\slideentry {13}{0}{191}{2210/2215}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {2210}{2215}}}
\newlabel{Satz von Cook}{{13.8}{2216}{Cook}{Doc-Start}{}}
\@writefile{snm}{\beamer@slide {Satz von Cook}{2216}}
\@writefile{nav}{\headcommand {\slideentry {13}{0}{192}{2216/2226}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {2216}{2226}}}
\@writefile{nav}{\headcommand {\slideentry {13}{0}{193}{2227/2248}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {2227}{2248}}}
\@writefile{nav}{\headcommand {\slideentry {13}{0}{194}{2249/2264}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {2249}{2264}}}
\@writefile{nav}{\headcommand {\slideentry {13}{0}{195}{2265/2289}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {2265}{2289}}}
\@writefile{nav}{\headcommand {\slideentry {13}{0}{196}{2290/2311}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {2290}{2311}}}
\@writefile{nav}{\headcommand {\slideentry {13}{0}{197}{2312/2323}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {2312}{2323}}}
\@writefile{nav}{\headcommand {\slideentry {13}{0}{198}{2324/2340}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {2324}{2340}}}
\@writefile{nav}{\headcommand {\slideentry {13}{0}{199}{2341/2361}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {2341}{2361}}}
\@writefile{nav}{\headcommand {\slideentry {13}{0}{200}{2362/2373}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {2362}{2373}}}
\@setckpt{kapitel-13}{
\setcounter{page}{2374}
\setcounter{equation}{0}
\setcounter{enumi}{4}
\setcounter{enumii}{0}
\setcounter{enumiii}{0}
\setcounter{enumiv}{5}
\setcounter{footnote}{0}
\setcounter{mpfootnote}{0}
\setcounter{beamerpauses}{12}
\setcounter{bookmark@seq@number}{13}
\setcounter{lecture}{0}
\setcounter{part}{0}
\setcounter{section}{13}
\setcounter{subsection}{0}
\setcounter{subsubsection}{0}
\setcounter{subsectionslide}{200}
\setcounter{framenumber}{200}
\setcounter{figure}{0}
\setcounter{table}{0}
\setcounter{parentequation}{0}
\setcounter{r@tfl@t}{0}
\setcounter{FancyVerbLine}{0}
\setcounter{lstnumber}{11}
\setcounter{theorem}{8}
\setcounter{section@level}{0}
\setcounter{lstlisting}{0}
}