\relax 
\newlabel{loghom}{{1}{2}}
\newlabel{exphom}{{2}{2}}
\newlabel{id1}{{3}{2}}
\newlabel{id2}{{4}{2}}
\newlabel{rep}{{5}{4}}
\newlabel{ineq1}{{6}{4}}
\newlabel{ineq2}{{7}{5}}
\newlabel{ineq3}{{8}{5}}
\newlabel{phidef}{{10}{7}}
\newlabel{asig}{{11}{7}}
\newlabel{cocy}{{12}{8}}
\newlabel{almost}{{13}{8}}
\newlabel{coho}{{14}{9}}
\newlabel{cauch}{{18}{10}}