\relax 
\newlabel{thm:rainbow}{{1}{1}}
\newlabel{lem:o-face}{{2}{1}}
\newlabel{lem:gap}{{3}{2}}
\newlabel{prop:reduction}{{4}{2}}
\newlabel{conj:2sat}{{5}{2}}
\newlabel{prop:sharpness}{{6}{3}}
\newlabel{cor:provisional}{{7}{3}}
\newlabel{cor:chain}{{8}{3}}
\gdef \@abspage@last{4}
