This is TeX, Version 3.14159 (Web2C 7.3.1) (format=tex 2000.3.7)  7 JUL 2000 14:43
**cin.tex
(cin.tex [1] [2] [3] [4] [5] [6] )
Output written on cin.dvi (6 pages, 16960 bytes).