\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