This is e-TeX, Version 3.14159-1.1 (Web2c 7.0) (format=latex 97.10.28)  6 MAY 1998 18:52
entering compatibility mode
**lecture12.tex
(lecture12.tex
LaTeX2e <1997/06/01>
(/mit/newtex/share/texmf/tex/latex/base/article.cls
Document Class: article 1997/06/16 v1.3v Standard LaTeX document class
(/mit/newtex/share/texmf/tex/latex/base/size10.clo
File: size10.clo 1997/06/16 v1.3v 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
)
(/mit/newtex/share/texmf/tex/latex/amslatex/amsmath.sty
Package: amsmath 1997/03/20 v1.2d AMS math features
\@mathmargin=\skip43

(/mit/newtex/share/texmf/tex/latex/amslatex/amstext.sty
Package: amstext 1996/10/28 v1.2b

(/mit/newtex/share/texmf/tex/latex/amslatex/amsgen.sty
File: amsgen 1996/10/29 v1.2b
\@emptytoks=\toks14
\ex@=\dimen103
))
(/mit/newtex/share/texmf/tex/latex/amslatex/amsbsy.sty
Package: amsbsy 1996/10/28 v1.2b
\pmbraise@=\dimen104
)
(/mit/newtex/share/texmf/tex/latex/amslatex/amsopn.sty
Package: amsopn 1996/10/28 v1.2b operator names
)
LaTeX Info: Redefining \frac on input line 188.
\uproot@=\count87
\leftroot@=\count88
\classnum@=\count89
\DOTSCASE@=\count90
LaTeX Info: Redefining \dots on input line 335.
LaTeX Info: Redefining \ldots on input line 418.
LaTeX Info: Redefining \cdots on input line 422.
\Mathstrutbox@=\box26
\strutbox@=\box27
\big@size=\dimen105
LaTeX Font Info:    Redeclaring font encoding OML on input line 500.
LaTeX Font Info:    Redeclaring font encoding OMS on input line 501.
\skewcharcount@=\count91
\familycount@=\count92
\pointcount@=\count93
\accentdimen@=\dimen106
\accentmu@=\count94
\minaw@=\dimen107
\c@MaxMatrixCols=\count95
\dotsspace@=\muskip10
\c@parentequation=\count96
\dspbrk@lvl=\count97
\tag@help=\toks15
\row@=\count98
\column@=\count99
\maxfields@=\count100
\andhelp@=\toks16
\eqnshift@=\dimen108
\alignsep@=\dimen109
\tagshift@=\dimen110
\tagwidth@=\dimen111
\totwidth@=\dimen112
\lineht@=\dimen113
\@envbody=\toks17
\multlinegap=\skip44
\multlinetaggap=\skip45
)
(/mit/newtex/share/texmf/tex/latex/amsfonts/amsfonts.sty
Package: amsfonts 1997/09/17 v2.2e
\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 133.
)
(/mit/newtex/share/texmf/tex/latex/graphics/epsfig.sty
Package: epsfig 1996/10/04 v1.7 (e)psfig emulation (SPQR)

(/mit/newtex/share/texmf/tex/latex/graphics/graphicx.sty
Package: graphicx 1997/06/09 v1.0d Enhanced LaTeX Graphics (DPC,SPQR)

(/mit/newtex/share/texmf/tex/latex/graphics/keyval.sty
Package: keyval 1995/09/21 v1.09 key=value parser (DPC)
)
(/mit/newtex/share/texmf/tex/latex/graphics/graphics.sty
Package: graphics 1997/06/07 v1.0d Standard LaTeX Graphics (DPC,SPQR)

(/mit/newtex/share/texmf/tex/latex/graphics/trig.sty
Package: trig 1994/10/16 v1.08 sin cos tan (DPC)
)
(/mit/newtex/share/texmf/tex/latex/config/graphics.cfg)
Package graphics Info: Driver file: dvips.def on input line 84.

(/mit/newtex/share/texmf/tex/latex/graphics/dvips.def
File: dvips.def 1996/12/12 v3.0d Driver-dependant file (DPC,SPQR)
))
\Gin@req@height=\dimen114
\Gin@req@width=\dimen115
)
\epsfxsize=\dimen116
\epsfysize=\dimen117
)
\c@theorem=\count101
 (lecture12.aux)
\openout1 = `lecture12.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 51.
LaTeX Font Info:    ... okay on input line 51.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 51.
LaTeX Font Info:    ... okay on input line 51.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 51.
LaTeX Font Info:    ... okay on input line 51.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 51.
LaTeX Font Info:    ... okay on input line 51.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 51.
LaTeX Font Info:    ... okay on input line 51.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 51.
LaTeX Font Info:    ... okay on input line 51.
LaTeX Font Info:    Try loading font information for U+msa on input line 57.

(/mit/newtex/share/texmf/tex/latex/amsfonts/umsa.fd
File: umsa.fd 1995/01/05 v2.2e AMS font definitions
)
LaTeX Font Info:    Try loading font information for U+msb on input line 57.

(/mit/newtex/share/texmf/tex/latex/amsfonts/umsb.fd
File: umsb.fd 1995/01/05 v2.2e AMS font definitions
)
LaTeX Font Info:    Try loading font information for U+euf on input line 57.

(/mit/newtex/share/texmf/tex/latex/amsfonts/ueuf.fd
File: ueuf.fd 1995/01/05 v2.2e AMS font definitions
) [1

]
File: fig12-1.eps Graphic file (type eps)
 <fig12-1.eps>
File: fig12-2.eps Graphic file (type eps)

<fig12-2.eps>
File: fig12-3.eps Graphic file (type eps)
 <fig12-3.eps> [2]
Overfull \hbox (42.88232pt too wide) in paragraph at lines 179--183
\OT1/cmr/m/n/10 This is equiv-a-lent to think-ing of the fol-low-ing: for $\OML
/cmm/m/it/10 L$\OT1/cmr/m/n/10 , $\OML/cmm/m/it/10 existsA \OMS/cmsy/m/n/10 62 
\OML/cmm/m/it/10 P$ \OT1/cmr/m/n/10 such that $\OML/cmm/m/it/10 w \OMS/cmsy/m/n
/10 2 \OML/cmm/m/it/10 L$ \OT1/cmr/m/n/10 iff $\OMS/cmsy/m/n/10 9\OML/cmm/m/it/
10 y[]; \OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 y[]; \OMS/cmsy/m/n/10 9\OML/cmm/m/it
/10 y[]; \OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 y[]; [] ; \OMS/cmsy/m/n/10 9\OML/cm
m/m/it/10 y[]$\OT1/cmr/m/n/10 : 
 []

[3] (lecture12.aux) ) 
Here is how much of TeX's memory you used:
 1157 strings out of 10906
 12636 string characters out of 72736
 62933 words of memory out of 263001
 4021 multiletter control sequences out of 10000+0
 8004 words of font info for 31 fonts, out of 100000 for 500
 14 hyphenation exceptions out of 1000
 32i,14n,22p,226b,207s stack positions out of 300i,100n,500p,3000b,4000s

Output written on lecture12.dvi (3 pages, 11288 bytes).