This is TeX, Version 3.14159 (Web2C 7.3.1) (format=amstex 2000.3.7)  7 JUL 2000 14:45
**hk.tex
(hk.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.


(/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] [16] )
Output written on hk.dvi (16 pages, 82920 bytes).