\relax 
\newlabel{arith}{{}{2}}
\newlabel{remain}{{1}{5}}
\newlabel{VALID}{{}{11}}
\newlabel{notAx}{{}{12}}
\newlabel{repinTh}{{}{17}}
\newlabel{RART}{{}{17}}
\newlabel{cor1RA}{{}{18}}
\newlabel{CTm}{{}{18}}
\newlabel{DecT}{{}{18}}
\newlabel{cor3ED}{{}{22}}
\newlabel{ext}{{17}{22}}
\newlabel{notodd}{{2}{23}}
\newlabel{repR}{{}{23}}
\newlabel{prUnT}{{}{24}}
\newlabel{first}{{3}{25}}
\newlabel{second}{{4}{25}}
\newlabel{neg}{{5}{25}}
\newlabel{c}{{6}{25}}