\relax 
\newlabel{lem:s3-closure}{{1}{1}}
\newlabel{thm:six-or-zero}{{1}{1}}
\newlabel{lem:saturation-nonempty}{{2}{1}}
\newlabel{cor:open-nonempty}{{3}{2}}
\@writefile{toc}{\contentsline {paragraph}{Key observation.}{2}{}\protected@file@percent }
\newlabel{conj:perm-reach}{{}{2}}
\gdef \@abspage@last{3}
