This is TeX, Version 3.14159 (Web2C 7.3.1) (format=tex 2000.7.19)  22 APR 2001 01:34
**anti-cyclotomic_height.tex
(anti-cyclotomic_height.tex [1])
*\bye
[2]
Output written on anti-cyclotomic_height.dvi (2 pages, 6740 bytes).