This is pdfTeX, Version 3.141592-1.10b (Web2C 7.5.2) (format=pdflatex 2003.9.3)  9 OCT 2003 14:45
**en4-13-10
(./en4-13-10.tex{/usr/local/share/teTeX/share/texmf/pdftex/config/pdftex.cfg}
LaTeX2e <2001/06/01>
Babel <v3.7h> and hyphenation patterns for american, french, german, ngerman, n
ohyphenation, loaded.
(/usr/local/share/teTeX/share/texmf/tex/latex/amscls/amsart.cls
Document Class: amsart 2000/10/26 v2.08
\linespacing=\dimen102
\normalparindent=\dimen103
\normaltopskip=\skip41
(/usr/local/share/teTeX/share/texmf/tex/latex/amsmath/amsmath.sty
Package: amsmath 2000/07/18 v2.13 AMS math features
\@mathmargin=\skip42

For additional information on amsmath, use the `?' option.
(/usr/local/share/teTeX/share/texmf/tex/latex/amsmath/amstext.sty
Package: amstext 2000/06/29 v2.01

(/usr/local/share/teTeX/share/texmf/tex/latex/amsmath/amsgen.sty
File: amsgen.sty 1999/11/30 v2.0
\@emptytoks=\toks14
\ex@=\dimen104
))
(/usr/local/share/teTeX/share/texmf/tex/latex/amsmath/amsbsy.sty
Package: amsbsy 1999/11/29 v1.2d
\pmbraise@=\dimen105
)
(/usr/local/share/teTeX/share/texmf/tex/latex/amsmath/amsopn.sty
Package: amsopn 1999/12/14 v2.01 operator names
)
\inf@bad=\count79
LaTeX Info: Redefining \frac on input line 211.
\uproot@=\count80
\leftroot@=\count81
LaTeX Info: Redefining \overline on input line 307.
\classnum@=\count82
\DOTSCASE@=\count83
LaTeX Info: Redefining \ldots on input line 379.
LaTeX Info: Redefining \dots on input line 382.
LaTeX Info: Redefining \cdots on input line 467.
\Mathstrutbox@=\box26
\strutbox@=\box27
\big@size=\dimen106
LaTeX Font Info:    Redeclaring font encoding OML on input line 567.
LaTeX Font Info:    Redeclaring font encoding OMS on input line 568.
\macc@depth=\count84
\c@MaxMatrixCols=\count85
\dotsspace@=\muskip10
\c@parentequation=\count86
\dspbrk@lvl=\count87
\tag@help=\toks15
\row@=\count88
\column@=\count89
\maxfields@=\count90
\andhelp@=\toks16
\eqnshift@=\dimen107
\alignsep@=\dimen108
\tagshift@=\dimen109
\tagwidth@=\dimen110
\totwidth@=\dimen111
\lineht@=\dimen112
\@envbody=\toks17
\multlinegap=\skip43
\multlinetaggap=\skip44
\mathdisplay@stack=\toks18
LaTeX Info: Redefining \[ on input line 2666.
LaTeX Info: Redefining \] on input line 2667.
)
LaTeX Font Info:    Try loading font information for U+msa on input line 395.

(/usr/local/share/teTeX/share/texmf/tex/latex/amsfonts/umsa.fd
File: umsa.fd 2002/01/19 v2.2g AMS font definitions
)
(/usr/local/share/teTeX/share/texmf/tex/latex/amsfonts/amsfonts.sty
Package: amsfonts 2001/10/25 v2.2f
\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.
)
\copyins=\insert233
\abstractbox=\box28
\listisep=\skip45
\c@part=\count91
\c@section=\count92
\c@subsection=\count93
\c@subsubsection=\count94
\c@paragraph=\count95
\c@subparagraph=\count96
\c@figure=\count97
\c@table=\count98
\abovecaptionskip=\skip46
\belowcaptionskip=\skip47
\captionindent=\dimen113
\thm@style=\toks19
\thm@bodyfont=\toks20
\thm@headfont=\toks21
\thm@notefont=\toks22
\thm@headpunct=\toks23
\thm@preskip=\skip48
\thm@postskip=\skip49
\thm@headsep=\skip50
\dth@everypar=\toks24
)
(/usr/local/share/teTeX/share/texmf/tex/latex/base/inputenc.sty
Package: inputenc 2001/07/10 v0.99a Input encoding file 

(/usr/local/share/teTeX/share/texmf/tex/latex/base/latin1.def
File: latin1.def 2001/07/10 v0.99a Input encoding file 
))
(/usr/local/share/teTeX/share/texmf/tex/generic/babel/babel.sty
Package: babel 2001/03/01 v3.7h The Babel package

(/usr/local/share/teTeX/share/texmf/tex/generic/babel/english.ldf
Language: english 2001/04/15 v3.3l English support from the babel system

(/usr/local/share/teTeX/share/texmf/tex/generic/babel/babel.def
File: babel.def 2001/03/01 v3.7h Babel common definitions
\babel@savecnt=\count99
\U@D=\dimen114
)
\l@canadian = a dialect from \language\l@english 
)
(/usr/local/share/teTeX/share/texmf/tex/generic/babel/portuges.ldf
Language: portuges 2001/02/16 v1.2o Portuguese support from the babel system


Package babel Warning: No hyphenation patterns were loaded for
(babel)                the language `Portuguese'
(babel)                I will use the patterns loaded for \language=0 instead.

\l@portuges = a dialect from \language0
Package babel Info: Making " an active character on input line 126.
)) (/usr/local/share/teTeX/share/texmf/tex/latex/amsfonts/amssymb.sty
Package: amssymb 2002/01/22 v2.2d
)
(/usr/local/share/teTeX/share/texmf/tex/latex/tools/enumerate.sty
Package: enumerate 1999/03/05 v3.00 enumerate extensions (DPC)
\@enLab=\toks25
)
(/usr/local/share/teTeX/share/texmf/tex/latex/graphics/epsfig.sty
Package: epsfig 1999/02/16 v1.7a (e)psfig emulation (SPQR)

(/usr/local/share/teTeX/share/texmf/tex/latex/graphics/graphicx.sty
Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR)

(/usr/local/share/teTeX/share/texmf/tex/latex/graphics/keyval.sty
Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
\KV@toks@=\toks26
)
(/usr/local/share/teTeX/share/texmf/tex/latex/graphics/graphics.sty
Package: graphics 2001/07/07 v1.0n Standard LaTeX Graphics (DPC,SPQR)

(/usr/local/share/teTeX/share/texmf/tex/latex/graphics/trig.sty
Package: trig 1999/03/16 v1.09 sin cos tan (DPC)
)
(/usr/local/share/teTeX/share/texmf/tex/latex/config/graphics.cfg
File: graphics.cfg 2001/08/31 v1.1 graphics configuration of teTeX/TeXLive
)
Package graphics Info: Driver file: pdftex.def on input line 80.

(/usr/local/share/teTeX/share/texmf/tex/latex/graphics/pdftex.def
File: pdftex.def 2002/06/19 v0.03k graphics/color for pdftex
\Gread@gobject=\count100
))
\Gin@req@height=\dimen115
\Gin@req@width=\dimen116
)
\epsfxsize=\dimen117
\epsfysize=\dimen118
)
(/usr/local/share/teTeX/share/texmf/tex/latex/misc/float.sty
Package: float 2001/11/08 v1.3d Float enhancements (AL)
\c@float@type=\count101
\float@exts=\toks27
\float@box=\box29
\@float@everytoks=\toks28
\@floatcapt=\box30
) (./en4-13-10.aux)
\openout1 = `en4-13-10.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 20.
LaTeX Font Info:    ... okay on input line 20.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 20.
LaTeX Font Info:    ... okay on input line 20.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 20.
LaTeX Font Info:    ... okay on input line 20.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 20.
LaTeX Font Info:    ... okay on input line 20.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 20.
LaTeX Font Info:    ... okay on input line 20.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 20.
LaTeX Font Info:    ... okay on input line 20.
LaTeX Font Info:    Try loading font information for U+msa on input line 20.
(/usr/local/share/teTeX/share/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 20.

(/usr/local/share/teTeX/share/texmf/tex/latex/amsfonts/umsb.fd
File: umsb.fd 2002/01/19 v2.2g AMS font definitions
)
(/usr/local/share/teTeX/share/texmf/tex/context/base/supp-pdf.tex
(/usr/local/share/teTeX/share/texmf/tex/context/base/supp-mis.tex
loading : Context Support Macros / Missing
\protectiondepth=\count102
\scratchcounter=\count103
\scratchtoks=\toks29
\scratchdimen=\dimen119
\scratchskip=\skip51
\scratchmuskip=\muskip11
\scratchbox=\box31
\scratchread=\read1
\scratchwrite=\write3
\zeropoint=\dimen120
\minusone=\count104
\thousandpoint=\dimen121
\emptytoks=\toks30
\nextbox=\box32
\nextdepth=\dimen122
\everyline=\toks31
\!!counta=\count105
\!!countb=\count106
\recursecounter=\count107
)
loading : Context Support Macros / PDF
\nofMPsegments=\count108
\nofMParguments=\count109
\everyMPtoPDFconversion=\toks32
) [1{/usr/local/share/teTeX/share/texmf/dvips/config/pdftex.map}]
(./en4-13-10.aux) ) 
Here is how much of TeX's memory you used:
 2649 strings out of 95437
 31407 string characters out of 1189490
 82931 words of memory out of 1000001
 5459 multiletter control sequences out of 10000+50000
 11529 words of font info for 45 fonts, out of 500000 for 1000
 175 hyphenation exceptions out of 1000
 34i,8n,26p,242b,201s stack positions out of 1500i,500n,5000p,200000b,5000s
 37 PDF objects out of 300000
 0 named destinations out of 131072
 0 words of extra memory for PDF output out of 65536
{/usr/local/share/teTeX/share/texmf/dvips/tetex/aae443f0.enc
}</usr/local/share/teTeX/share/texmf/fonts/type1/bluesky/cm/cmmi10.pfb>{/usr/lo
cal/share/teTeX/share/texmf/dvips/tetex/0ef0afca.enc}</usr/local/share/teTeX/sh
are/texmf/fonts/type1/bluesky/cm/cmr5.pfb></usr/local/share/teTeX/share/texmf/f
onts/type1/bluesky/cm/cmmi7.pfb>{/usr/local/share/teTeX/share/texmf/dvips/tetex
/bbad153f.enc}</usr/local/share/teTeX/share/texmf/fonts/type1/bluesky/cm/cmsy7.
pfb>{/usr/local/share/teTeX/share/texmf/dvips/tetex/f7b6d320.enc}</usr/local/sh
are/teTeX/share/texmf/fonts/type1/bluesky/cm/cmr7.pfb></usr/local/share/teTeX/s
hare/texmf/fonts/type1/bluesky/cm/cmex10.pfb></usr/local/share/teTeX/share/texm
f/fonts/type1/bluesky/cm/cmr10.pfb></usr/local/share/teTeX/share/texmf/fonts/ty
pe1/bluesky/cm/cmbx10.pfb></usr/local/share/teTeX/share/texmf/fonts/type1/blues
ky/cm/cmbx8.pfb></usr/local/share/teTeX/share/texmf/fonts/type1/bluesky/cm/cmr1
2.pfb></usr/local/share/teTeX/share/texmf/fonts/type1/bluesky/cm/cmbx12.pfb>
Output written on en4-13-10.pdf (1 page, 43244 bytes).