\relax 
\providecommand\babel@aux[2]{}
\@nameuse{bbl@beforestart}
\babel@aux{nil}{}
\@writefile{toc}{\contentsline {section}{Strong Induction}{3}{}\protected@file@percent }
\gdef \@abspage@last{5}