<!-- Input on stdin (cgiprint-9.68 (2016-01-16)) -->
\begin{HEAD}\tagged{TITLE}{}\end{HEAD}
\begin{BODY}\centerline{{\bf\Large }}