--- /dev/null
+\relax
+\@writefile{toc}{\contentsline {section}{\numberline {1}\textbf {Introduction}}{1}}
+\@writefile{toc}{\contentsline {section}{\numberline {2}Approach}{1}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Keys}{1}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Entry layout}{1}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {2.3}Live status}{3}}
+\@writefile{toc}{\contentsline {paragraph}{Validation procedure on client:}{4}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {2.4}Resizing Queue}{4}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {2.5}The Arbitrator}{4}}
+\@writefile{toc}{\contentsline {section}{\numberline {3}Server Algorithm}{4}}
+\@writefile{toc}{\contentsline {section}{\numberline {4}\textbf {Client}}{6}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {4.1}\textbf {Client Notation Conventions}}{6}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {4.2}\textbf {Client State}}{7}}
+\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.2.1}Constants}{7}}
+\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.2.2}Primitive Variables}{7}}
+\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.2.3}Sets and Lists}{7}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {4.3}Helper Functions}{8}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {4.4}Client Interfaces}{37}}