\relax 
\providecommand\zref@newlabel[2]{}
\providecommand\hyper@newdestlabel[2]{}
\providecommand\HyField@AuxAddToFields[1]{}
\providecommand\HyField@AuxAddToCoFields[2]{}
\@writefile{loe}{\contentsline {corollary}{\ifthmt@listswap Corollary~0.0.1\else \numberline {0.0.1}Corollary\fi }{1}{corollary.0.0.0.1}\protected@file@percent }
\gdef \@abspage@last{1}