\ifx\pdfoutput\undefined
\else
  \ifx\pdfoutput\relax
  \else
    \input pdftexconfig
    \pdfoutput=0
  \fi
\fi

\input cyrtex
\UNPROTECT
\input amstex
%% Uncomment this line to include the AMSPPT preprint style in the
%% format file:
%%\documentstyle{amsppt}
\input txxextra
\makerobust\dots
\PROTECT
\dump
