\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}}