\relax 
\@writefile{toc}{\contentsline {section}{\numberline {1}Lecture 7}{1}}
\newlabel{defofQ}{{1}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {2}Lecture 8}{4}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Lecture 9}{6}}