\documentclass{article}
\input{6045preamble}
\newcommand{\spacechar}{\sqcup}
\newcommand{\length}[1]{\left \vert #1 \right \vert}

\begin{document}
\homework{8}{Prof. Ron Rivest}{Due: 24 April 2002}{}

\begin{problem}
  Problem 7.17
\end{problem}

\begin{problem}
  Problem 7.16
\end{problem}

\begin{problem}
  Problem 7.30
\end{problem}

\begin{problem}
  Problem 7.25
\end{problem}

\end{document}

%%% Local Variables: 
%%% mode: latex
%%% TeX-master: t
%%% End: 
% LocalWords:  Undecidability
