\relax 
\newlabel{arith}{{}{67}}
\newlabel{remain}{{1}{70}}
\newlabel{VALID}{{}{76}}
\newlabel{notAx}{{}{77}}
\newlabel{repinTh}{{}{82}}
\newlabel{RART}{{}{82}}
\newlabel{cor1RA}{{}{83}}
\newlabel{CTm}{{}{83}}
\newlabel{DecT}{{}{83}}
\newlabel{cor3ED}{{}{87}}
\newlabel{ext}{{16}{87}}
\newlabel{notodd}{{2}{88}}
\newlabel{repR}{{}{88}}
\newlabel{prUnT}{{}{89}}
\newlabel{first}{{3}{90}}
\newlabel{second}{{4}{90}}
\newlabel{neg}{{5}{90}}
\newlabel{c}{{6}{90}}