% Numbers of the supplement items cited in the main text (the supplement is a separate document).
\newlabel{app:verify}{{SA}{548}}
\newlabel{cor:4kn}{{S3.564}{344}}
\newlabel{cor:647}{{S3.360}{207}}
\newlabel{cor:667b1112}{{S3.487}{294}}
\newlabel{cor:667b15}{{S3.479}{291}}
\newlabel{cor:667c4}{{S3.485}{294}}
\newlabel{cor:n3}{{S3.349}{199}}
\newlabel{cor:ns2gen}{{S3.409}{254}}
\newlabel{cor:ratcurve}{{S4.24}{541}}
\newlabel{cuts:a}{{{{(a)}}}{8}}
\newlabel{cuts:b}{{{{(b)}}}{8}}
\newlabel{cuts:c}{{{{(c)}}}{8}}
\newlabel{lem:566no4}{{S3.36}{30}}
\newlabel{lem:ENcount}{{S4.9}{533}}
\newlabel{lem:eight}{{S4.26}{542}}
\newlabel{lem:gale}{{S4.12}{535}}
\newlabel{lem:line}{{S4.27}{543}}
\newlabel{lem:lowblocks}{{S3.363}{209}}
\newlabel{lem:oneshort}{{S4.22}{540}}
\newlabel{lem:plane}{{S4.28}{543}}
\newlabel{lem:vanish}{{S3.356}{205}}
\newlabel{o486b:486no}{{S3.698}{409}}
\newlabel{o666t:rem:c4}{{S3.292}{173}}
\newlabel{prop:46nbound}{{S3.372}{215}}
\newlabel{prop:57b10}{{S3.422}{263}}
\newlabel{prop:657s}{{S3.368}{211}}
\newlabel{prop:666nine}{{S3.155}{88}}
\newlabel{prop:757s}{{S3.369}{213}}
\newlabel{prop:bezout}{{S4.3}{531}}
\newlabel{prop:cuts}{{S3.18}{8}}
\newlabel{prop:k6rank6}{{S3.412}{256}}
\newlabel{prop:real}{{S4.4}{532}}
\newlabel{rem:657}{{S3.365}{210}}
\newlabel{rem:666open}{{S3.347e}{198}}
\newlabel{rem:747res}{{S3.406}{252}}
\newlabel{rem:757}{{S3.366}{210}}
\newlabel{rem:n356}{{S3.355}{205}}
\newlabel{sec:numerics}{{S7}{546}}
\newlabel{tab:666}{{S3.3}{89}}
\newlabel{tab:o4cells}{{S3.5}{358}}
\newlabel{tab:verify}{{SA.1}{577}}
\newlabel{thm:466}{{S3.14}{7}}
\newlabel{thm:46n}{{S3.11}{6}}
\newlabel{thm:475no}{{S3.397}{229}}
\newlabel{thm:476}{{S3.398}{231}}
\newlabel{thm:485no}{{S3.507}{310}}
\newlabel{thm:495no}{{S3.561}{343}}
\newlabel{thm:557}{{S3.364}{210}}
\newlabel{thm:566kp109}{{S3.149}{86}}
\newlabel{thm:566nk109}{{S3.81}{50}}
\newlabel{thm:566nk11e}{{S3.72}{46}}
\newlabel{thm:567s}{{S3.476}{289}}
\newlabel{thm:575c}{{S3.423}{264}}
\newlabel{thm:575nine}{{S3.437}{275}}
\newlabel{thm:575t14}{{S3.457}{282}}
\newlabel{thm:575t16}{{S3.454}{281}}
\newlabel{thm:575two}{{S3.444}{277}}
\newlabel{thm:575x15}{{S3.452}{280}}
\newlabel{thm:576}{{S3.432}{271}}
\newlabel{thm:576e}{{S3.463}{284}}
\newlabel{thm:577f}{{S3.464}{284}}
\newlabel{thm:577g}{{S3.467}{285}}
\newlabel{thm:577h15}{{S3.470}{286}}
\newlabel{thm:577k}{{S3.475}{288}}
\newlabel{thm:57M}{{S3.429}{269}}
\newlabel{thm:57b12}{{S3.428}{267}}
\newlabel{thm:57big}{{S3.421}{262}}
\newlabel{thm:57n}{{S3.415}{258}}
\newlabel{thm:64n}{{S3.699}{410}}
\newlabel{thm:666cong}{{S3.157}{90}}
\newlabel{thm:666corner}{{S3.20}{10}}
\newlabel{thm:667c4}{{S3.484}{293}}
\newlabel{thm:667cong}{{S3.480}{292}}
\newlabel{thm:667corner}{{S3.477}{291}}
\newlabel{thm:747}{{S3.400}{249}}
\newlabel{thm:747b}{{S3.405}{251}}
\newlabel{thm:767cong}{{S3.411}{255}}
\newlabel{thm:767corner}{{S3.410}{254}}
\newlabel{thm:n3}{{S3.348}{199}}