This is TeX, Version 3.1415 (C version 6.1) (format=amstex 95.4.10)  1 JUL 2002 15:20
**\documentstyle{amsppt}
(/usr/local/lib/texmf/tex/ams/amsppt.sty version 2.1c (11-Dec-1992):
Loading utility definitions, more fonts, symbol names
(/usr/local/lib/texmf/tex/ams/amssym.tex) , page dimension settings,
top matter, section heads, theorems/proofs/definitions/remarks, rosters,
footnotes, figures and captions, miscellaneous, references, end of document,
output routine, hyphenation exceptions (U.S. English)

)
*\input real_02s.tex
(real_02s.tex [1] [2] )
Output written on amsppt.dvi (2 pages, 7704 bytes).