This is TeX, Version 3.14159 (Web2C 7.4.5) (format=latex 2004.7.27)  28 JUL 2004 14:16
**test
(./test.tex
LaTeX2e <2001/06/01>
Babel <v3.7h> and hyphenation patterns for american, nohyphenation, loaded.
(/usr/share/texmf/tex/latex/base/article.cls
Document Class: article 2001/04/21 v1.4e Standard LaTeX document class
(/usr/share/texmf/tex/latex/base/size10.clo
File: size10.clo 2001/04/21 v1.4e Standard LaTeX file (size option)
)
\c@part=\count79
\c@section=\count80
\c@subsection=\count81
\c@subsubsection=\count82
\c@paragraph=\count83
\c@subparagraph=\count84
\c@figure=\count85
\c@table=\count86
\abovecaptionskip=\skip41
\belowcaptionskip=\skip42
\bibindent=\dimen102
)
(/usr/share/texmf/tex/latex/amscls/amsthm.sty
Package: amsthm 2000/10/26 v2.08
\thm@style=\toks14
\thm@bodyfont=\toks15
\thm@headfont=\toks16
\thm@notefont=\toks17
\thm@headpunct=\toks18
\thm@preskip=\skip43
\thm@postskip=\skip44
\thm@headsep=\skip45
\dth@everypar=\toks19
)
\c@theorem=\count87
 (./test.aux)
\openout1 = `test.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 15.
LaTeX Font Info:    ... okay on input line 15.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 15.
LaTeX Font Info:    ... okay on input line 15.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 15.
LaTeX Font Info:    ... okay on input line 15.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 15.
LaTeX Font Info:    ... okay on input line 15.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 15.
LaTeX Font Info:    ... okay on input line 15.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 15.
LaTeX Font Info:    ... okay on input line 15.
 [1

] [2] (./test.aux) ) 
Here is how much of TeX's memory you used:
 326 strings out of 95870
 3312 string characters out of 1196419
 46414 words of memory out of 1000001
 3322 multiletter control sequences out of 10000+50000
 4294 words of font info for 16 fonts, out of 500000 for 1000
 14 hyphenation exceptions out of 1000
 23i,4n,17p,127b,162s stack positions out of 1500i,500n,5000p,200000b,5000s

Output written on test.dvi (2 pages, 740 bytes).