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


(conm-p.sty (ams-p.sty (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) (amsppt.sti symbol names
(/usr/share/texmf/tex/plain/amsfonts/amssym.tex) ,)

) (ams-spec.sty))) [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] )
Output written on hbav.dvi (11 pages, 54228 bytes).