This is pdfTeX, Version 3.1415926-2.3-1.40.12 (TeX Live 2011) (format=pdflatex 2011.7.3) 11 NOV 2011 13:44 entering extended mode restricted \write18 enabled. %&-line parsing enabled. **\input 5.tex (./5.tex (/usr/local/texlive/2011/texmf-dist/tex/latex/base/article.cls Document Class: article 2007/10/19 v1.4h Standard LaTeX document class (/usr/local/texlive/2011/texmf-dist/tex/latex/base/size10.clo File: size10.clo 2007/10/19 v1.4h 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 ) \@input{macros.aux} \openout2 = `macros.aux'. (./macros.tex (/usr/local/texlive/2011/texmf-dist/tex/latex/amsmath/amsmath.sty Package: amsmath 2000/07/18 v2.13 AMS math features \@mathmargin=\skip43 For additional information on amsmath, use the `?' option. (/usr/local/texlive/2011/texmf-dist/tex/latex/amsmath/amstext.sty Package: amstext 2000/06/29 v2.01 (/usr/local/texlive/2011/texmf-dist/tex/latex/amsmath/amsgen.sty File: amsgen.sty 1999/11/30 v2.0 \@emptytoks=\toks14 \ex@=\dimen103 )) (/usr/local/texlive/2011/texmf-dist/tex/latex/amsmath/amsbsy.sty Package: amsbsy 1999/11/29 v1.2d \pmbraise@=\dimen104 ) (/usr/local/texlive/2011/texmf-dist/tex/latex/amsmath/amsopn.sty Package: amsopn 1999/12/14 v2.01 operator names ) \inf@bad=\count87 LaTeX Info: Redefining \frac on input line 211. \uproot@=\count88 \leftroot@=\count89 LaTeX Info: Redefining \overline on input line 307. \classnum@=\count90 \DOTSCASE@=\count91 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=\dimen105 LaTeX Font Info: Redeclaring font encoding OML on input line 567. LaTeX Font Info: Redeclaring font encoding OMS on input line 568. \macc@depth=\count92 \c@MaxMatrixCols=\count93 \dotsspace@=\muskip10 \c@parentequation=\count94 \dspbrk@lvl=\count95 \tag@help=\toks15 \row@=\count96 \column@=\count97 \maxfields@=\count98 \andhelp@=\toks16 \eqnshift@=\dimen106 \alignsep@=\dimen107 \tagshift@=\dimen108 \tagwidth@=\dimen109 \totwidth@=\dimen110 \lineht@=\dimen111 \@envbody=\toks17 \multlinegap=\skip44 \multlinetaggap=\skip45 \mathdisplay@stack=\toks18 LaTeX Info: Redefining \[ on input line 2666. LaTeX Info: Redefining \] on input line 2667. ) (/usr/local/texlive/2011/texmf-dist/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. ) (/usr/local/texlive/2011/texmf-dist/tex/latex/amsfonts/amssymb.sty Package: amssymb 2009/06/22 v3.00 ) (/usr/local/texlive/2011/texmf-dist/tex/latex/amscls/amsthm.sty Package: amsthm 2009/07/02 v2.20.1 \thm@style=\toks19 \thm@bodyfont=\toks20 \thm@headfont=\toks21 \thm@notefont=\toks22 \thm@headpunct=\toks23 \thm@preskip=\skip46 \thm@postskip=\skip47 \thm@headsep=\skip48 \dth@everypar=\toks24 ) \c@theorem=\count99 \c@listnum=\count100 (/usr/local/texlive/2011/texmf-dist/tex/latex/graphics/color.sty Package: color 2005/11/14 v1.0j Standard LaTeX Color (DPC) (/usr/local/texlive/2011/texmf-dist/tex/latex/latexconfig/color.cfg File: color.cfg 2007/01/18 v1.5 color configuration of teTeX/TeXLive ) Package color Info: Driver file: pdftex.def on input line 130. (/usr/local/texlive/2011/texmf-dist/tex/latex/pdftex-def/pdftex.def File: pdftex.def 2011/05/27 v0.06d Graphics/color for pdfTeX (/usr/local/texlive/2011/texmf-dist/tex/generic/oberdiek/infwarerr.sty Package: infwarerr 2010/04/08 v1.3 Providing info/warning/message (HO) ) (/usr/local/texlive/2011/texmf-dist/tex/generic/oberdiek/ltxcmds.sty Package: ltxcmds 2011/04/18 v1.20 LaTeX kernel commands for general use (HO) ) \Gread@gobject=\count101 )) (/usr/local/texlive/2011/texmf-dist/tex/latex/listings/listings.sty (/usr/local/texlive/2011/texmf-dist/tex/latex/graphics/keyval.sty Package: keyval 1999/03/16 v1.13 key=value parser (DPC) \KV@toks@=\toks25 ) \lst@mode=\count102 \lst@gtempboxa=\box28 \lst@token=\toks26 \lst@length=\count103 \lst@currlwidth=\dimen112 \lst@column=\count104 \lst@pos=\count105 \lst@lostspace=\dimen113 \lst@width=\dimen114 \lst@newlines=\count106 \lst@lineno=\count107 \lst@maxwidth=\dimen115 (/usr/local/texlive/2011/texmf-dist/tex/latex/listings/lstmisc.sty File: lstmisc.sty 2007/02/22 1.4 (Carsten Heinz) \c@lstnumber=\count108 \lst@skipnumbers=\count109 \lst@framebox=\box29 ) (/usr/local/texlive/2011/texmf-dist/tex/latex/listings/listings.cfg File: listings.cfg 2007/02/22 1.4 listings configuration )) Package: listings 2007/02/22 1.4 (Carsten Heinz) (/usr/local/texlive/2011/texmf-dist/tex/latex/listings/lstlang1.sty File: lstlang1.sty 2004/09/05 1.3 listings language file )) (/usr/local/texlive/2011/texmf-dist/tex/latex/url/url.sty \Urlmuskip=\muskip11 Package: url 2006/04/12 ver 3.3 Verb mode for urls, etc. ) Package color Info: Redefining color dblackcolor on input line 7. Package color Info: Redefining color dbluecolor on input line 8. Package color Info: Redefining color dredcolor on input line 9. Package color Info: Redefining color dgraycolor on input line 10. (./5.aux) \openout1 = `5.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 32. LaTeX Font Info: ... okay on input line 32. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 32. LaTeX Font Info: ... okay on input line 32. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 32. LaTeX Font Info: ... okay on input line 32. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 32. LaTeX Font Info: ... okay on input line 32. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 32. LaTeX Font Info: ... okay on input line 32. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 32. LaTeX Font Info: ... okay on input line 32. LaTeX Font Info: Checking defaults for OT2/cmr/m/n on input line 32. LaTeX Font Info: Try loading font information for OT2+cmr on input line 32. (/usr/local/texlive/2011/texmf-dist/tex/latex/cyrillic/ot2cmr.fd File: ot2cmr.fd 2001/08/11 v3.2c Computer Modern Cyrillic font definitions ) LaTeX Font Info: ... okay on input line 32. (/usr/local/texlive/2011/texmf-dist/tex/context/base/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] \scratchcounter=\count110 \scratchdimen=\dimen116 \scratchbox=\box30 \nofMPsegments=\count111 \nofMParguments=\count112 \everyMPshowfont=\toks27 \MPscratchCnt=\count113 \MPscratchDim=\dimen117 \MPnumerator=\count114 \makeMPintoPDFobject=\count115 \everyMPtoPDFconversion=\toks28 ) \c@lstlisting=\count116 LaTeX Font Info: Try loading font information for U+msa on input line 34. (/usr/local/texlive/2011/texmf-dist/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 34. (/usr/local/texlive/2011/texmf-dist/tex/latex/amsfonts/umsb.fd File: umsb.fd 2009/06/22 v3.00 AMS symbols B ) Overfull \hbox (5.40073pt too wide) in paragraph at lines 94--96 []\OT1/cmr/m/n/10 Find $\OML/cmm/m/it/10 ^^\$ \OT1/cmr/m/n/10 in the up-per hal f plane such that $(\OML/cmm/m/it/10 E; P; Q\OT1/cmr/m/n/10 )$ is iso-mor-phic to $(\OML/cmm/m/it/10 E[]; P[]; Q[]\OT1/cmr/m/n/10 )$. [] [1 {/usr/local/texlive/2011/texmf-var/fonts/map/pdftex/updmap/pdftex.map}] (./5.aux) ) Here is how much of TeX's memory you used: 3793 strings out of 493633 46455 string characters out of 3143378 134158 words of memory out of 3000000 7070 multiletter control sequences out of 15000+200000 11893 words of font info for 47 fonts, out of 3000000 for 9000 831 hyphenation exceptions out of 8191 36i,7n,51p,242b,234s stack positions out of 5000i,500n,10000p,200000b,50000s Output written on 5.pdf (1 page, 133990 bytes). PDF statistics: 60 PDF objects out of 1000 (max. 8388607) 43 compressed objects within 1 object stream 0 named destinations out of 1000 (max. 500000) 1 words of extra memory for PDF output out of 10000 (max. 10000000)