\relax 
\providecommand\hyper@newdestlabel[2]{}
\providecommand\HyField@AuxAddToFields[1]{}
\providecommand\HyField@AuxAddToCoFields[2]{}
\@writefile{toc}{\contentsline {paragraph}{A tiny example.}{1}{section*.2}\protected@file@percent }
\@writefile{toc}{\contentsline {paragraph}{Why not just try them all?}{1}{section*.3}\protected@file@percent }
\@writefile{toc}{\contentsline {paragraph}{Running example.}{1}{section*.4}\protected@file@percent }
\newlabel{cl:sub}{{1}{2}{Optimal substructure}{claim.1}{}}
\@writefile{toc}{\contentsline {paragraph}{Worked entry.}{2}{section*.7}\protected@file@percent }
\@writefile{toc}{\contentsline {paragraph}{Filled table on the running example}{4}{section*.11}\protected@file@percent }
\@writefile{toc}{\contentsline {paragraph}{Can we do better?}{5}{section*.13}\protected@file@percent }
\gdef \@abspage@last{5}