\relax 
\@writefile{toc}{\contentsline {paragraph}{Per-tire half.}{1}{}\protected@file@percent }
\@writefile{toc}{\contentsline {paragraph}{Chain half.}{1}{}\protected@file@percent }
\@writefile{toc}{\contentsline {paragraph}{(1) Leaves.}{1}{}\protected@file@percent }
\@writefile{toc}{\contentsline {paragraph}{(2) Internal nodes.}{1}{}\protected@file@percent }
\@writefile{toc}{\contentsline {paragraph}{(3) Roots and the cut.}{2}{}\protected@file@percent }
\@writefile{toc}{\contentsline {paragraph}{(4) Cross-cut.}{2}{}\protected@file@percent }
\newlabel{conj:non-empty-prop}{{}{2}}
\@writefile{toc}{\contentsline {paragraph}{Why it isn't trivial.}{2}{}\protected@file@percent }
\@writefile{toc}{\contentsline {paragraph}{Why it's plausible.}{2}{}\protected@file@percent }
\@writefile{toc}{\contentsline {paragraph}{What would close the proof.}{2}{}\protected@file@percent }
\@writefile{toc}{\contentsline {paragraph}{What goes wrong.}{3}{}\protected@file@percent }
\@writefile{toc}{\contentsline {paragraph}{Consequence for Prop 1.13.}{3}{}\protected@file@percent }
\@writefile{toc}{\contentsline {paragraph}{Two ways forward.}{3}{}\protected@file@percent }
\@writefile{toc}{\contentsline {paragraph}{What this changes in the chain DP.}{4}{}\protected@file@percent }
\@writefile{toc}{\contentsline {paragraph}{Second issue: out-spoke projection loses S$_3$ orbit.}{4}{}\protected@file@percent }
\@writefile{toc}{\contentsline {paragraph}{Third issue: heuristic parent-finding.}{4}{}\protected@file@percent }
\@writefile{toc}{\contentsline {paragraph}{Fourth issue: when $H_d$ is a tree, the high-side forest is empty.}{4}{}\protected@file@percent }
\@writefile{toc}{\contentsline {paragraph}{Empirical baseline for ground-truth comparison.}{5}{}\protected@file@percent }
\@writefile{toc}{\contentsline {paragraph}{Path forward.}{5}{}\protected@file@percent }
\gdef \@abspage@last{5}
