\relax 
\newlabel{lll1}{{1}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {1}Case Splitting}{1}}
\newlabel{Case Splitting}{{1}{1}}