\beamer@endinputifotherversion {3.10pt} \headcommand {\slideentry {0}{0}{1}{1/1}{}{0}} \headcommand {\beamer@framepages {1}{1}} \headcommand {\sectionentry {1}{Outline}{2}{Outline}{0}} \headcommand {\beamer@sectionpages {1}{1}} \headcommand {\beamer@subsectionpages {1}{1}} \headcommand {\slideentry {1}{0}{2}{2/2}{}{0}} \headcommand {\beamer@framepages {2}{2}} \headcommand {\sectionentry {2}{Truth matching description }{3}{Truth matching description }{0}} \headcommand {\beamer@sectionpages {2}{2}} \headcommand {\beamer@subsectionpages {2}{2}} \headcommand {\slideentry {2}{0}{3}{3/4}{}{0}} \headcommand {\beamer@framepages {3}{4}} \headcommand {\sectionentry {3}{Code structure}{5}{Code structure}{0}} \headcommand {\beamer@sectionpages {3}{4}} \headcommand {\beamer@subsectionpages {3}{4}} \headcommand {\slideentry {3}{0}{4}{5/8}{}{0}} \headcommand {\beamer@framepages {5}{8}} \headcommand {\sectionentry {4}{Tests}{9}{Tests}{0}} \headcommand {\beamer@sectionpages {5}{8}} \headcommand {\beamer@subsectionpages {5}{8}} \headcommand {\slideentry {4}{0}{5}{9/9}{}{0}} \headcommand {\beamer@framepages {9}{9}} \headcommand {\slideentry {4}{0}{6}{10/10}{}{0}} \headcommand {\beamer@framepages {10}{10}} \headcommand {\slideentry {4}{0}{7}{11/11}{}{0}} \headcommand {\beamer@framepages {11}{11}} \headcommand {\sectionentry {5}{BtaTupleMaker}{12}{BtaTupleMaker}{0}} \headcommand {\beamer@sectionpages {9}{11}} \headcommand {\beamer@subsectionpages {9}{11}} \headcommand {\slideentry {5}{0}{8}{12/12}{}{0}} \headcommand {\beamer@framepages {12}{12}} \headcommand {\slideentry {5}{0}{9}{13/13}{}{0}} \headcommand {\beamer@framepages {13}{13}} \headcommand {\slideentry {5}{0}{10}{14/14}{}{0}} \headcommand {\beamer@framepages {14}{14}} \headcommand {\slideentry {5}{0}{11}{15/15}{}{0}} \headcommand {\beamer@framepages {15}{15}} \headcommand {\slideentry {5}{0}{12}{16/16}{}{0}} \headcommand {\beamer@framepages {16}{16}} \headcommand {\slideentry {5}{0}{13}{17/17}{}{0}} \headcommand {\beamer@framepages {17}{17}} \headcommand {\slideentry {5}{0}{14}{18/18}{}{0}} \headcommand {\beamer@framepages {18}{18}} \headcommand {\beamer@partpages {1}{18}} \headcommand {\beamer@subsectionpages {12}{18}} \headcommand {\beamer@sectionpages {12}{18}} \headcommand {\beamer@documentpages {18}} \headcommand {\def \inserttotalframenumber {14}}