This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian) (format=latex 2010.5.10) 19 AUG 2010 23:40 entering extended mode restricted \write18 enabled. %&-line parsing enabled. **399.tex (./399.tex LaTeX2e <2009/09/24> Babel and hyphenation patterns for english, usenglishmax, dumylang, noh yphenation, ngerman, german, german-x-2009-06-19, ngerman-x-2009-06-19, pinyin, loaded. (/usr/share/texmf-texlive/tex/latex/amscls/amsart.cls Document Class: amsart 2009/07/02 v2.20.1 \linespacing=\dimen102 \normalparindent=\dimen103 \normaltopskip=\skip41 (/usr/share/texmf-texlive/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/share/texmf-texlive/tex/latex/amsmath/amstext.sty Package: amstext 2000/06/29 v2.01 (/usr/share/texmf-texlive/tex/latex/amsmath/amsgen.sty File: amsgen.sty 1999/11/30 v2.0 \@emptytoks=\toks14 \ex@=\dimen104 )) (/usr/share/texmf-texlive/tex/latex/amsmath/amsbsy.sty Package: amsbsy 1999/11/29 v1.2d \pmbraise@=\dimen105 ) (/usr/share/texmf-texlive/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 388. (/usr/share/texmf-texlive/tex/latex/amsfonts/umsa.fd File: umsa.fd 2009/06/22 v3.00 AMS symbols A ) (/usr/share/texmf-texlive/tex/latex/amsfonts/amsfonts.sty Package: amsfonts 2009/06/22 v3.00 Basic AMSFonts support \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 96. ) \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/share/texmf-texlive/tex/latex/amsmath/amscd.sty Package: amscd 1999/11/29 v1.2d \athelp@=\toks25 \minaw@=\dimen114 \bigaw@=\dimen115 \minCDarrowwidth=\dimen116 ) (/usr/share/texmf-texlive/tex/latex/amsfonts/amssymb.sty Package: amssymb 2009/06/22 v3.00 ) (/usr/share/texmf-texlive/tex/latex/ltxmisc/url.sty \Urlmuskip=\muskip11 Package: url 2006/04/12 ver 3.3 Verb mode for urls, etc. ) (/usr/share/texmf-texlive/tex/latex/oberdiek/colonequals.sty Package: colonequals 2006/08/01 v1.0 Colon equals symbols (HO) ) (/usr/share/texmf-texlive/tex/latex/enumitem/enumitem.sty Package: enumitem 2009/05/18 v2.2 Customized lists \enit@toks=\toks26 (/usr/share/texmf-texlive/tex/latex/graphics/keyval.sty Package: keyval 1999/03/16 v1.13 key=value parser (DPC) \KV@toks@=\toks27 ) \labelindent=\skip51 \enit@outerparindent=\dimen117 \enitdp@desc=\count99 ) (/usr/share/texmf-texlive/tex/generic/xypic/xy.sty (/usr/share/texmf-texlive/tex/generic/xypic/xy.tex Bootstrap'ing: catcodes, docmode, (/usr/share/texmf-texlive/tex/generic/xypic/xyrecat.tex) (/usr/share/texmf-texlive/tex/generic/xypic/xyidioms.tex) Xy-pic version 3.7 <1999/02/16> Copyright (c) 1991-1998 by Kristoffer H. Rose Xy-pic is free software: see the User's Guide for details. Loading kernel: messages; fonts; allocations: state, \X@c=\dimen118 \Y@c=\dimen119 \U@c=\dimen120 \D@c=\dimen121 \L@c=\dimen122 \R@c=\dimen123 \Edge@c=\toks28 \X@p=\dimen124 \Y@p=\dimen125 \U@p=\dimen126 \D@p=\dimen127 \L@p=\dimen128 \R@p=\dimen129 \Edge@p=\toks29 \X@origin=\dimen130 \Y@origin=\dimen131 \X@xbase=\dimen132 \Y@xbase=\dimen133 \X@ybase=\dimen134 \Y@ybase=\dimen135 \X@min=\dimen136 \Y@min=\dimen137 \X@max=\dimen138 \Y@max=\dimen139 \lastobjectbox@=\box29 \zerodotbox@=\box30 \almostz@=\dimen140 direction, \d@X=\dimen141 \d@Y=\dimen142 \K@=\count100 \KK@=\count101 \Direction=\count102 \K@dXdY=\dimen143 \K@dYdX=\dimen144 \xyread@=\read1 \xywrite@=\write3 \csp@=\count103 \quotPTK@=\dimen145 utility macros; pictures: \xy, positions, \swaptoks@@=\toks30 \connectobjectbox@@=\box31 objects, \styletoks@=\toks31 decorations; kernel objects: directionals, circles, text; options; algorithms: directions, edges, connections; Xy-pic loaded) Package: xy 1999/02/16 Xy-pic version 3.7 ) (/usr/share/texmf-texlive/tex/generic/xypic/xyall.tex Xy-pic option: All features v.3.3 (/usr/share/texmf-texlive/tex/generic/xypic/xycurve.tex Xy-pic option: Curve and Spline extension v.3.7 curve, \crv@cnt@=\count104 \crvpts@=\toks32 \splinebox@=\box32 \splineval@=\dimen146 \splinedepth@=\dimen147 \splinetol@=\dimen148 \splinelength@=\dimen149 circles, \L@=\dimen150 loaded) (/usr/share/texmf-texlive/tex/generic/xypic/xyframe.tex Xy-pic option: Frame and Bracket extension v.3.7 loaded) (/usr/share/texmf-texlive/tex/generic/xypic/xycmtip.tex Xy-pic option: Computer Modern tip extension v.3.3 (/usr/share/texmf-texlive/tex/generic/xypic/xytips.tex Xy-pic option: More Tips extension v.3.3 loaded) loaded) (/usr/share/texmf-texlive/tex/generic/xypic/xyline.tex Xy-pic option: Line styles extension v.3.6 \xylinethick@=\dimen151 loaded) (/usr/share/texmf-texlive/tex/generic/xypic/xyrotate.tex Xy-pic option: Rotate and Scale extension v.3.3 loaded) (/usr/share/texmf-texlive/tex/generic/xypic/xycolor.tex Xy-pic option: Colour extension v.3.3 loaded) (/usr/share/texmf-texlive/tex/generic/xypic/xymatrix.tex Xy-pic option: Matrix feature v.3.4 \Row=\count105 \Col=\count106 \queue@=\toks33 \queue@@=\toks34 \qcount@=\count107 \qcount@@=\count108 \matrixsize@=\count109 loaded) (/usr/share/texmf-texlive/tex/generic/xypic/xyarrow.tex Xy-pic option: Arrow and Path feature v.3.5 path, \ar, loaded) (/usr/share/texmf-texlive/tex/generic/xypic/xygraph.tex Xy-pic option: Graph feature v.3.7 loaded) loaded) \c@thm=\count110 (/usr/share/texmf-texlive/tex/latex/hyperref/hyperref.sty Package: hyperref 2009/10/09 v6.79a Hypertext links for LaTeX (/usr/share/texmf-texlive/tex/generic/oberdiek/ifpdf.sty Package: ifpdf 2009/04/10 v2.0 Provides the ifpdf switch (HO) Package ifpdf Info: pdfTeX in pdf mode not detected. ) (/usr/share/texmf-texlive/tex/generic/oberdiek/ifvtex.sty Package: ifvtex 2008/11/04 v1.4 Switches for detecting VTeX and its modes (HO) Package ifvtex Info: VTeX not detected. ) (/usr/share/texmf-texlive/tex/generic/ifxetex/ifxetex.sty Package: ifxetex 2009/01/23 v0.5 Provides ifxetex conditional ) (/usr/share/texmf-texlive/tex/latex/oberdiek/hycolor.sty Package: hycolor 2009/10/02 v1.5 Code for color options of hyperref/bookmark (H O) (/usr/share/texmf-texlive/tex/latex/oberdiek/xcolor-patch.sty Package: xcolor-patch 2009/10/02 xcolor patch )) \@linkdim=\dimen152 \Hy@linkcounter=\count111 \Hy@pagecounter=\count112 (/usr/share/texmf-texlive/tex/latex/hyperref/pd1enc.def File: pd1enc.def 2009/10/09 v6.79a Hyperref: PDFDocEncoding definition (HO) ) (/usr/share/texmf-texlive/tex/generic/oberdiek/etexcmds.sty Package: etexcmds 2007/12/12 v1.2 Prefix for e-TeX command names (HO) (/usr/share/texmf-texlive/tex/generic/oberdiek/infwarerr.sty Package: infwarerr 2007/09/09 v1.2 Providing info/warning/message (HO) ) Package etexcmds Info: Could not find \expanded. (etexcmds) That can mean that you are not using pdfTeX 1.50 or (etexcmds) that some package has redefined \expanded. (etexcmds) In the latter case, load this package earlier. ) (/etc/texmf/tex/latex/config/hyperref.cfg File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive ) (/usr/share/texmf-texlive/tex/latex/oberdiek/kvoptions.sty Package: kvoptions 2009/08/13 v3.4 Keyval support for LaTeX options (HO) (/usr/share/texmf-texlive/tex/generic/oberdiek/kvsetkeys.sty Package: kvsetkeys 2009/07/30 v1.5 Key value parser with default handler suppor t (HO) )) Package hyperref Info: Hyper figures OFF on input line 2975. Package hyperref Info: Link nesting OFF on input line 2980. Package hyperref Info: Hyper index ON on input line 2983. Package hyperref Info: Plain pages OFF on input line 2990. Package hyperref Info: Backreferencing OFF on input line 2995. Implicit mode ON; LaTeX internals redefined Package hyperref Info: Bookmarks ON on input line 3191. LaTeX Info: Redefining \url on input line 3428. (/usr/share/texmf-texlive/tex/generic/oberdiek/bitset.sty Package: bitset 2007/09/28 v1.0 Data type bit set (HO) (/usr/share/texmf-texlive/tex/generic/oberdiek/intcalc.sty Package: intcalc 2007/09/27 v1.1 Expandable integer calculations (HO) ) (/usr/share/texmf-texlive/tex/generic/oberdiek/bigintcalc.sty Package: bigintcalc 2007/11/11 v1.1 Expandable big integer calculations (HO) (/usr/share/texmf-texlive/tex/generic/oberdiek/pdftexcmds.sty Package: pdftexcmds 2009/09/23 v0.6 LuaTeX support for pdfTeX utility functions (HO) (/usr/share/texmf-texlive/tex/generic/oberdiek/ifluatex.sty Package: ifluatex 2009/04/17 v1.2 Provides the ifluatex switch (HO) Package ifluatex Info: LuaTeX not detected. ) (/usr/share/texmf-texlive/tex/generic/oberdiek/ltxcmds.sty Package: ltxcmds 2009/08/05 v1.0 Some LaTeX kernel commands for general use (HO ) ) Package pdftexcmds Info: LuaTeX not detected. Package pdftexcmds Info: \pdf@primitive is available. Package pdftexcmds Info: \pdf@ifprimitive is available. ))) \Fld@menulength=\count113 \Field@Width=\dimen153 \Fld@charsize=\dimen154 \Field@toks=\toks35 Package hyperref Info: Hyper figures OFF on input line 4377. Package hyperref Info: Link nesting OFF on input line 4382. Package hyperref Info: Hyper index ON on input line 4385. Package hyperref Info: backreferencing OFF on input line 4392. Package hyperref Info: Link coloring OFF on input line 4397. Package hyperref Info: Link coloring with OCG OFF on input line 4402. Package hyperref Info: PDF/A mode OFF on input line 4407. (/usr/share/texmf-texlive/tex/generic/oberdiek/atbegshi.sty Package: atbegshi 2008/07/31 v1.9 At begin shipout hook (HO) ) \Hy@abspage=\count114 \c@Item=\count115 \c@Hfootnote=\count116 ) *hyperref using default driver hdvips* (/usr/share/texmf-texlive/tex/latex/hyperref/hdvips.def File: hdvips.def 2009/10/09 v6.79a Hyperref driver for dvips (/usr/share/texmf-texlive/tex/latex/hyperref/pdfmark.def File: pdfmark.def 2009/10/09 v6.79a Hyperref definitions for pdfmark specials \pdf@docset=\toks36 \pdf@box=\box33 \pdf@toks=\toks37 \pdf@defaulttoks=\toks38 \Fld@listcount=\count117 )) (./399.aux) \openout1 = `399.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 56. LaTeX Font Info: ... okay on input line 56. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 56. LaTeX Font Info: ... okay on input line 56. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 56. LaTeX Font Info: ... okay on input line 56. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 56. LaTeX Font Info: ... okay on input line 56. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 56. LaTeX Font Info: ... okay on input line 56. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 56. LaTeX Font Info: ... okay on input line 56. LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 56. LaTeX Font Info: ... okay on input line 56. LaTeX Font Info: Try loading font information for U+msa on input line 56. (/usr/share/texmf-texlive/tex/latex/amsfonts/umsa.fd File: umsa.fd 2009/06/22 v3.00 AMS symbols A ) LaTeX Font Info: Try loading font information for U+msb on input line 56. (/usr/share/texmf-texlive/tex/latex/amsfonts/umsb.fd File: umsb.fd 2009/06/22 v3.00 AMS symbols B ) Package hyperref Info: Link coloring OFF on input line 56. (/usr/share/texmf-texlive/tex/latex/hyperref/nameref.sty Package: nameref 2007/05/29 v2.31 Cross-referencing by name of section (/usr/share/texmf-texlive/tex/latex/oberdiek/refcount.sty Package: refcount 2008/08/11 v3.1 Data extraction from references (HO) ) \c@section@level=\count118 ) LaTeX Info: Redefining \ref on input line 56. LaTeX Info: Redefining \pageref on input line 56. (./399.out) (./399.out) \@outlinefile=\write4 \openout4 = `399.out'. \AtBeginShipoutBox=\box34 [1] [2] [3] [4] [5] [6] Overfull \hbox (3.30873pt too wide) in paragraph at lines 562--575 []\OT1/cmr/m/n/10.95 We will first prove $[](\OML/cmm/m/it/10.95 G\OT1/cmr/m/n/ 10.95 ; \OML/cmm/m/it/10.95 p\OT1/cmr/m/n/10.95 ) \OMS/cmsy/m/n/10.95 ^^U [] [] \OT1/cmr/m/n/10.95 (\OML/cmm/m/it/10.95 \OT1/cmr/m/n/10.95 ) \OMS/cmsy/m/n/10. 95 ^^@ [] \OML/cmm/m/it/10.95 G$\OT1/cmr/m/n/10.95 , [] [7] [8] LaTeX Font Info: Try loading font information for OMS+cmr on input line 654. (/usr/share/texmf-texlive/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.95> not available (Font) Font shape `OMS/cmsy/m/n' tried instead on input line 654. [9] [10] [11] [12] (./399.aux) ) Here is how much of TeX's memory you used: 7390 strings out of 495010 97517 string characters out of 1180449 212573 words of memory out of 3000000 10308 multiletter control sequences out of 15000+50000 13697 words of font info for 55 fonts, out of 3000000 for 9000 189 hyphenation exceptions out of 8191 38i,12n,40p,294b,444s stack positions out of 5000i,500n,10000p,200000b,50000s Output written on 399.dvi (12 pages, 80092 bytes).