\beamer@endinputifotherversion {3.10pt}
\beamer@sectionintoc {0}{Title}{1}{0}{1}
\beamer@sectionintoc {1}{Abstract Interpretation using Zones}{4}{0}{2}
\beamer@sectionintoc {2}{Max-Strategy Iteration}{15}{0}{3}
\beamer@sectionintoc {3}{Conclusion}{28}{0}{4}