This is TeX, Version 3.14159 (Web2C 7.3.1) (format=tex 2000.7.19)  1 AUG 2001 13:20
**paper.tex
(paper.tex (/usr/share/texmf/tex/amstex/base/amstex.tex

AmS-TeX- Version 2.1
COPYRIGHT 1985, 1990, 1991 - AMERICAN MATHEMATICAL SOCIETY
Use of this macro package is not restricted provided
each use is acknowledged upon publication.

Loading definitions for misc utility macros, page layout, accents/punctuation,
line and page breaks, figures, comments, math spacing, fractions,
smash commands, large operator symbols, integrals, operator names,
multilevel sub/superscripts, matrices, multiline displays,
continued fractions, compound symbols, various kinds of dots,
special superscripts, \text, math font commands, \newsymbol,
bold Greek and bold symbols, Euler fonts, math accents, roots,
commutative diagrams, poor man's bold, syntax check, ... finished)

(/usr/share/texmf/tex/amstex/base/amsppt.sty version 2.1h (1997/02/02):
Loading utility definitions, more fonts, page dimension settings, top matter,
section heads, theorems/proofs/definitions/remarks, rosters, footnotes,
figures and captions, miscellaneous, references, end of document,
output routine,
\copyins=\insert252
 hyphenation exceptions (U.S. English)
(/usr/share/texmf/tex/amstex/config/amsppt.sti symbol names
(/usr/share/texmf/tex/plain/amsfonts/amssym.tex) ,)

) [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] )
Output written on paper.dvi (15 pages, 61484 bytes).