\relax \ifx\hyper@anchor\@undefined \global \let \oldcontentsline\contentsline \gdef \contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}} \global \let \oldnewlabel\newlabel \gdef \newlabel#1#2{\newlabelxx{#1}#2} \gdef \newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}} \AtEndDocument{\let \contentsline\oldcontentsline \let \newlabel\oldnewlabel} \else \global \let \hyper@last\relax \fi \providecommand*\HyPL@Entry[1]{} \HyPL@Entry{0<</P(1)>>} \@writefile{toc}{\beamer@endinputifotherversion {3.10pt}} \@writefile{nav}{\beamer@endinputifotherversion {3.10pt}} \select@language{english} \@writefile{toc}{\select@language{english}} \@writefile{lof}{\select@language{english}} \@writefile{lot}{\select@language{english}} \@writefile{nav}{\headcommand {\slideentry {0}{0}{1}{1/1}{}{0}}} \@writefile{nav}{\headcommand {\beamer@framepages {1}{1}}} \HyPL@Entry{1<</P(2)>>} \@writefile{nav}{\headcommand {\sectionentry {1}{Outline}{2}{Outline}{0}}} \@writefile{nav}{\headcommand {\beamer@sectionpages {1}{1}}} \@writefile{nav}{\headcommand {\beamer@subsectionpages {1}{1}}} \@writefile{nav}{\headcommand {\slideentry {1}{0}{2}{2/2}{}{0}}} \@writefile{nav}{\headcommand {\beamer@framepages {2}{2}}} \HyPL@Entry{2<</P(3)>>} \@writefile{toc}{\beamer@sectionintoc {2}{Truth matching description }{3}{0}{1}} \@writefile{nav}{\headcommand {\sectionentry {2}{Truth matching description }{3}{Truth matching description }{0}}} \@writefile{nav}{\headcommand {\beamer@sectionpages {2}{2}}} \@writefile{nav}{\headcommand {\beamer@subsectionpages {2}{2}}} \pgfsyspdfmark {pgfid7}{14488011}{43296420} \@writefile{nav}{\headcommand {\slideentry {2}{0}{3}{3/4}{}{0}}} \@writefile{nav}{\headcommand {\beamer@framepages {3}{4}}} \HyPL@Entry{4<</P(4)>>} \@writefile{toc}{\beamer@sectionintoc {3}{Code structure}{5}{0}{2}} \@writefile{nav}{\headcommand {\sectionentry {3}{Code structure}{5}{Code structure}{0}}} \@writefile{nav}{\headcommand {\beamer@sectionpages {3}{4}}} \@writefile{nav}{\headcommand {\beamer@subsectionpages {3}{4}}} \pgfsyspdfmark {pgfid10}{10138139}{47140033} \@writefile{lol}{\contentsline {lstlisting}{\numberline {1}Oryginal declaration:}} \@writefile{lol}{\contentsline {lstlisting}{\numberline {2}Implement switch:}} \@writefile{nav}{\headcommand {\slideentry {3}{0}{4}{5/8}{}{0}}} \@writefile{nav}{\headcommand {\beamer@framepages {5}{8}}} \HyPL@Entry{8<</P(5)>>} \@writefile{toc}{\beamer@sectionintoc {4}{Tests}{9}{0}{3}} \@writefile{nav}{\headcommand {\sectionentry {4}{Tests}{9}{Tests}{0}}} \@writefile{nav}{\headcommand {\beamer@sectionpages {5}{8}}} \@writefile{nav}{\headcommand {\beamer@subsectionpages {5}{8}}} \@writefile{nav}{\headcommand {\slideentry {4}{0}{5}{9/9}{}{0}}} \@writefile{nav}{\headcommand {\beamer@framepages {9}{9}}} \HyPL@Entry{9<</P(6)>>} \@writefile{nav}{\headcommand {\slideentry {4}{0}{6}{10/10}{}{0}}} \@writefile{nav}{\headcommand {\beamer@framepages {10}{10}}} \HyPL@Entry{10<</P(7)>>} \@writefile{nav}{\headcommand {\slideentry {4}{0}{7}{11/11}{}{0}}} \@writefile{nav}{\headcommand {\beamer@framepages {11}{11}}} \HyPL@Entry{11<</P(8)>>} \@writefile{toc}{\beamer@sectionintoc {5}{BtaTupleMaker}{12}{0}{4}} \@writefile{nav}{\headcommand {\sectionentry {5}{BtaTupleMaker}{12}{BtaTupleMaker}{0}}} \@writefile{nav}{\headcommand {\beamer@sectionpages {9}{11}}} \@writefile{nav}{\headcommand {\beamer@subsectionpages {9}{11}}} \newlabel{samplecode}{{3}{12}{Implement switch:\relax }{}{}} \@writefile{snm}{\beamer@slide {samplecode}{12}} \@writefile{lol}{\contentsline {lstlisting}{\numberline {3}Implement switch:}} \@writefile{nav}{\headcommand {\slideentry {5}{0}{8}{12/12}{}{0}}} \@writefile{nav}{\headcommand {\beamer@framepages {12}{12}}} \HyPL@Entry{12<</P(9)>>} \@writefile{nav}{\headcommand {\slideentry {5}{0}{9}{13/13}{}{0}}} \@writefile{nav}{\headcommand {\beamer@framepages {13}{13}}} \HyPL@Entry{13<</P(10)>>} \@writefile{nav}{\headcommand {\slideentry {5}{0}{10}{14/14}{}{0}}} \@writefile{nav}{\headcommand {\beamer@framepages {14}{14}}} \HyPL@Entry{14<</P(11)>>} \@writefile{nav}{\headcommand {\slideentry {5}{0}{11}{15/15}{}{0}}} \@writefile{nav}{\headcommand {\beamer@framepages {15}{15}}} \HyPL@Entry{15<</P(12)>>} \newlabel{samplecode}{{4}{16}{Implement switch:\relax }{}{}} \@writefile{snm}{\beamer@slide {samplecode}{16}} \@writefile{lol}{\contentsline {lstlisting}{\numberline {4}Implement switch:}} \@writefile{nav}{\headcommand {\slideentry {5}{0}{12}{16/16}{}{0}}} \@writefile{nav}{\headcommand {\beamer@framepages {16}{16}}} \HyPL@Entry{16<</P(13)>>} \pgfsyspdfmark {pgfid11}{7207399}{41803972} \@writefile{nav}{\headcommand {\slideentry {5}{0}{13}{17/17}{}{0}}} \@writefile{nav}{\headcommand {\beamer@framepages {17}{17}}} \HyPL@Entry{17<</P(14)>>} \@writefile{nav}{\headcommand {\slideentry {5}{0}{14}{18/18}{}{0}}} \@writefile{nav}{\headcommand {\beamer@framepages {18}{18}}} \@writefile{nav}{\headcommand {\beamer@partpages {1}{18}}} \@writefile{nav}{\headcommand {\beamer@subsectionpages {12}{18}}} \@writefile{nav}{\headcommand {\beamer@sectionpages {12}{18}}} \@writefile{nav}{\headcommand {\beamer@documentpages {18}}} \@writefile{nav}{\headcommand {\def \inserttotalframenumber {14}}}