counterexample_report.aux

\relax 
\providecommand\hyper@newdestlabel[2]{}
\providecommand*\HyPL@Entry[1]{}
\HyPL@Entry{0<</S/D>>}
\@writefile{toc}{\contentsline {section}{\numberline {1}合并边猜想反例}{1}{section.1}\protected@file@percent }
\newlabel{prop:merge-false}{{1.1}{1}{合并边猜想——已证伪}{theorem.1.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2}$[2,6,7,68]$的唯一性}{1}{section.2}\protected@file@percent }
\newlabel{prop:unique}{{2.1}{1}{唯一表示}{theorem.2.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3}$[3,4,5,47]$的替代表示}{2}{section.3}\protected@file@percent }
\newlabel{prop:alternative}{{3.1}{2}{替代表示}{theorem.3.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {4}对强完备性猜想的影响}{2}{section.4}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {5}搜索统计}{2}{section.5}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {6}结论与开放问题}{3}{section.6}\protected@file@percent }
\gdef \@abspage@last{3}