\relax 
\@writefile{toc}{\contentsline {section}{\numberline {1}Overview}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {2}Controls}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Dramatis Personae}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {4}Printers}{2}}
\@writefile{toc}{\contentsline {section}{\numberline {5}Students}{3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1}Wrench Stealing Student}{3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2}Printer Breaking Student}{3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3}Harmless Students}{3}}
\@writefile{toc}{\contentsline {section}{\numberline {6}Scoring}{4}}