\relax 
\newlabel{prop:tree}{{}{1}}
\newlabel{lem:bfs-adj}{{}{1}}
\newlabel{lem:level-set}{{}{1}}
\@writefile{toc}{\contentsline {paragraph}{Remark on the proof.}{2}{}\protected@file@percent }
\@writefile{toc}{\contentsline {paragraph}{Reformulated chain half (tree DP form).}{5}{}\protected@file@percent }
\gdef \@abspage@last{5}
