This is TeX, Version 3.14159 (Web2C 7.3.1) (format=tex 2000.3.7)  7 JUL 2000 14:41
**ribet_korea.tex
(ribet_korea.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] [16]
[17] [18] [19] )
Output written on ribet_korea.dvi (19 pages, 94640 bytes).