\relax 
\@writefile{toc}{\contentsline {section}{\numberline {1}$\text  {\#}P\subseteq IP$}{21-1}}
\@writefile{toc}{\contentsline {section}{\numberline {2}$IP(poly) = PSPACE$}{21-3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}$IP(poly) \subseteq PSPACE$}{21-3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}$IP(poly) \supseteq PSPACE$}{21-3}}