\relax 
\ifx\hyper@anchor\@undefined
\global \let \oldcontentsline\contentsline
\gdef \contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
\global \let \oldnewlabel\newlabel
\gdef \newlabel#1#2{\newlabelxx{#1}#2}
\gdef \newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
\AtEndDocument{\let \contentsline\oldcontentsline
\let \newlabel\oldnewlabel}
\else
\global \let \hyper@last\relax 
\fi

\citation{KS}
\@writefile{toc}{\contentsline {section}{\tocsection {}{1}{Introduction}}{1}{section.1}}
\newlabel{ThmMain}{{1}{1}{Introduction\relax }{Theorem.1}{}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{2}{The result}}{2}{section.2}}
\newlabel{Prop1}{{2}{2}{The result\relax }{Theorem.2}{}}
\newlabel{ass1}{{1}{2}{The result\relax }{Item.1}{}}
\newlabel{ass2}{{2}{2}{The result\relax }{Item.2}{}}
\newlabel{ass3}{{3}{2}{The result\relax }{Item.3}{}}
\newlabel{ass4}{{4}{2}{The result\relax }{Item.4}{}}
\newlabel{ass5}{{5}{2}{The result\relax }{Item.5}{}}
\newlabel{Thm2}{{3}{3}{The result\relax }{Theorem.3}{}}
\newlabel{assT1}{{1}{3}{The result\relax }{Item.6}{}}
\newlabel{assT2}{{2}{3}{The result\relax }{Item.7}{}}
\newlabel{assT3}{{3}{3}{The result\relax }{Item.8}{}}
\newlabel{assT4}{{4}{3}{The result\relax }{Item.9}{}}
\newlabel{assT5}{{5}{3}{The result\relax }{Item.10}{}}
\citation{CES}
\citation{JKP}
\newlabel{Cor3}{{4}{4}{The result\relax }{Theorem.4}{}}
\newlabel{assC1}{{1}{4}{The result\relax }{Item.11}{}}
\newlabel{assC2}{{2}{4}{The result\relax }{Item.12}{}}
\newlabel{PropRank0}{{5}{4}{The result\relax }{Theorem.5}{}}
\newlabel{ThmInfMany}{{6}{4}{The result\relax }{Theorem.6}{}}
\newlabel{Cor29and31}{{7}{4}{The result\relax }{Theorem.7}{}}
\citation{CES}
\citation{Magma}
\citation{CES}
\newlabel{Thm31}{{8}{5}{The result\relax }{Theorem.8}{}}
\newlabel{Thm29}{{9}{5}{The result\relax }{Theorem.9}{}}
\bibcite{Magma}{1}
\bibcite{CES}{2}
\bibcite{JKP}{3}
\bibcite{KS}{4}
\newlabel{tocindent-1}{0pt}
\newlabel{tocindent0}{15.01373pt}
\newlabel{tocindent1}{20.88867pt}
\newlabel{tocindent2}{0pt}
\newlabel{tocindent3}{0pt}
\newlabel{Thm19and23}{{10}{6}{The result\relax }{Theorem.10}{}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{}{References}}{6}{section*.1}}