This is e-TeX, Version 3.141592-2.2 (MiKTeX 2.4) (preloaded format=latex 2005.6.14)  15 JUN 2005 13:09
entering extended mode
**indef-log.tex
(indef-log.tex
LaTeX2e <2003/12/01>
Babel <v3.8g> and hyphenation patterns for english, french, german, ngerman, du
mylang, nohyphenation, loaded.
(C:\texmf\tex\latex\base\article.cls
Document Class: article 2004/02/16 v1.4f Standard LaTeX document class
(C:\texmf\tex\latex\base\size10.clo
File: size10.clo 2004/02/16 v1.4f 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
) (C:\texmf\tex\latex\amsfonts\amssymb.sty
Package: amssymb 2002/01/22 v2.2d

(C:\texmf\tex\latex\amsfonts\amsfonts.sty
Package: amsfonts 2001/10/25 v2.2f
\@emptytoks=\toks14
\symAMSa=\mathgroup4
\symAMSb=\mathgroup5
LaTeX Font Info:    Overwriting math alphabet `\mathfrak' in version `bold'
(Font)                  U/euf/m/n --> U/euf/b/n on input line 132.
))
(C:\texmf\tex\latex\amscls\amsthm.sty
Package: amsthm 2004/08/06 v2.20
\thm@style=\toks15
\thm@bodyfont=\toks16
\thm@headfont=\toks17
\thm@notefont=\toks18
\thm@headpunct=\toks19
\thm@preskip=\skip43
\thm@postskip=\skip44
\thm@headsep=\skip45
\dth@everypar=\toks20
)
\c@defn=\count87
 (indef-log.aux)
LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 31.
LaTeX Font Info:    ... okay on input line 31.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 31.
LaTeX Font Info:    ... okay on input line 31.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 31.
LaTeX Font Info:    ... okay on input line 31.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 31.
LaTeX Font Info:    ... okay on input line 31.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 31.
LaTeX Font Info:    ... okay on input line 31.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 31.
LaTeX Font Info:    ... okay on input line 31.
LaTeX Font Info:    Try loading font information for U+msa on input line 32.

(C:\texmf\tex\latex\amsfonts\umsa.fd
File: umsa.fd 2002/01/19 v2.2g AMS font definitions
)
LaTeX Font Info:    Try loading font information for U+msb on input line 32.
 (C:\texmf\tex\latex\amsfonts\umsb.fd
File: umsb.fd 2002/01/19 v2.2g AMS font definitions
)
[1

] [2] [3] [4]
LaTeX Font Info:    Try loading font information for OMS+cmr on input line 285.

 (C:\texmf\tex\latex\base\omscmr.fd
File: omscmr.fd 1999/05/25 v2.5h Standard LaTeX font definitions
)
LaTeX Font Info:    Font shape `OMS/cmr/m/n' in size <10> not available
(Font)              Font shape `OMS/cmsy/m/n' tried instead on input line 285.
 [5] [6] [7] [8] [9]
[10] [11] [12] [13] (indef-log.bbl [14]) [15] (indef-log.aux) ) 
Here is how much of TeX's memory you used:
 734 strings out of 95898
 7215 string characters out of 1195288
 51479 words of memory out of 1051160
 3770 multiletter control sequences out of 60000
 13927 words of font info for 54 fonts, out of 500000 for 1000
 14 hyphenation exceptions out of 4999
 23i,8n,24p,247b,230s stack positions out of 1500i,500n,5000p,200000b,32768s

Output written on indef-log.dvi (15 pages, 62604 bytes).