\relax 
\providecommand\zref@newlabel[2]{}
\providecommand\hyper@newdestlabel[2]{}
\providecommand\HyField@AuxAddToFields[1]{}
\providecommand\HyField@AuxAddToCoFields[2]{}
\@writefile{loe}{\contentsline {lemma}{\ifthmt@listswap Lemma~0.0.1\else \numberline {0.0.1}Lemma\fi \thmtformatoptarg {a discrete time result}}{1}{lemma.0.0.0.1}\protected@file@percent }
\gdef \@abspage@last{1}