\relax 
\ifx\hyper@anchor\@undefined
\global \let \oldcontentsline\contentsline
\gdef \contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
\global \let \oldnewlabel\newlabel
\gdef \newlabel#1#2{\newlabelxx{#1}#2}
\gdef \newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
\AtEndDocument{\let \contentsline\oldcontentsline
\let \newlabel\oldnewlabel}
\else
\global \let \hyper@last\relax 
\fi

\@writefile{toc}{\contentsline {paragraph}{Keywords:}{1}{section*.1}}
\citation{GoldwasserMiRa89}
\@writefile{toc}{\contentsline {section}{\numberline {1}How to use the template}{2}{section.1}}
\newlabel{sec:howtouse}{{1}{2}{How to use the template\relax }{section.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.1}Useful conventions}{2}{subsection.1.1}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {1.1.1}Bookmarks and macros.}{2}{subsubsection.1.1.1}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {1.1.2}Labelling}{2}{subsubsection.1.1.2}}
\citation{GoldwasserMiRa89}
\citation{GoldwasserMiRa89}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {1.1.3}Bibliography}{3}{subsubsection.1.1.3}}
\@writefile{toc}{\contentsline {section}{\numberline {2}General variables}{3}{section.2}}
\newlabel{sec:variables}{{2}{3}{General variables\relax }{section.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Hyperlinks and Cross-referencing}{3}{section.3}}
\newlabel{sec:crosref}{{3}{3}{Hyperlinks and Cross-referencing\relax }{section.3}{}}
\newlabel{BBtmpL:l1}{{4.3}{4}{Environments\relax }{theorem.4.3}{}}
\newlabel{prot:2roundZK}{{4.3}{4}{Environments\relax }{theorem.4.3}{}}
\@writefile{lot}{\contentsline {table}{Protocol\nobreakspace  {}\ref  *{BBtmpL:l1}: Generic bounded non-uniformity zero-knowledge protocol.}{4}{theorem.4.3}}
\@writefile{toc}{\contentsline {section}{\numberline {4}Useful macros}{4}{section.4}}
\newlabel{sec:macros}{{4}{4}{Useful macros\relax }{section.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1}Math Symbols (partial list)}{4}{subsection.4.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2}Environments}{4}{subsection.4.2}}
\newlabel{def:rat}{{4.1}{4}{Environments\relax }{theorem.4.1}{}}
\newlabel{thm:irrat}{{4.2}{4}{Environments\relax }{theorem.4.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3}Complexity classes}{4}{subsection.4.3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4}Author's note}{4}{subsection.4.4}}
\@writefile{toc}{\contentsline {section}{\numberline {5}The \texttt  {boaz.sty} package}{5}{section.5}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1}Package options}{5}{subsection.5.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2}Important macros}{5}{subsection.5.2}}
\bibstyle{alphabetic}
\bibdata{template}
\bibcite{GoldwasserMiRa89}{GMR89}
\@writefile{toc}{\contentsline {section}{Appendices}{7}{section*.5}}
\@writefile{toc}{\contentsline {section}{\numberline {A}Sample Appendix}{7}{section.A}}