\beamer@endinputifotherversion {3.10pt}
\select@language {english}
\beamer@sectionintoc {2}{Truth matching description }{3}{0}{1}
\beamer@sectionintoc {3}{Code structure}{5}{0}{2}
\beamer@sectionintoc {4}{Tests}{9}{0}{3}
\beamer@sectionintoc {5}{BtaTupleMaker}{12}{0}{4}