This is pdfTeX, Version 3.14159265-2.6-1.40.16 (TeX Live 2015) (preloaded format=pdflatex 2016.5.24) 30 OCT 2022 18:42 entering extended mode restricted \write18 enabled. %&-line parsing enabled. **comp (./comp.tex LaTeX2e <2016/03/31> Babel <3.9q> and hyphenation patterns for 81 language(s) loaded. (/usr/local/TeX-20160405/texmf-dist/tex/latex/amscls/amsart.cls Document Class: amsart 2015/03/04 v2.20.2 \linespacing=\dimen102 \normalparindent=\dimen103 \normaltopskip=\skip41 (/usr/local/TeX-20160405/texmf-dist/tex/latex/amsmath/amsmath.sty Package: amsmath 2016/03/10 v2.15b AMS math features \@mathmargin=\skip42 For additional information on amsmath, use the `?' option. (/usr/local/TeX-20160405/texmf-dist/tex/latex/amsmath/amstext.sty Package: amstext 2000/06/29 v2.01 AMS text (/usr/local/TeX-20160405/texmf-dist/tex/latex/amsmath/amsgen.sty File: amsgen.sty 1999/11/30 v2.0 generic functions \@emptytoks=\toks14 \ex@=\dimen104 )) (/usr/local/TeX-20160405/texmf-dist/tex/latex/amsmath/amsbsy.sty Package: amsbsy 1999/11/29 v1.2d Bold Symbols \pmbraise@=\dimen105 ) (/usr/local/TeX-20160405/texmf-dist/tex/latex/amsmath/amsopn.sty Package: amsopn 2016/03/08 v2.02 operator names ) \inf@bad=\count79 LaTeX Info: Redefining \frac on input line 199. \uproot@=\count80 \leftroot@=\count81 LaTeX Info: Redefining \overline on input line 297. \classnum@=\count82 \DOTSCASE@=\count83 LaTeX Info: Redefining \ldots on input line 394. LaTeX Info: Redefining \dots on input line 397. LaTeX Info: Redefining \cdots on input line 518. \Mathstrutbox@=\box26 \strutbox@=\box27 \big@size=\dimen106 LaTeX Font Info: Redeclaring font encoding OML on input line 634. LaTeX Font Info: Redeclaring font encoding OMS on input line 635. \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 2739. LaTeX Info: Redefining \] on input line 2740. ) LaTeX Font Info: Try loading font information for U+msa on input line 388. (/usr/local/TeX-20160405/texmf-dist/tex/latex/amsfonts/umsa.fd File: umsa.fd 2013/01/14 v3.01 AMS symbols A ) (/usr/local/TeX-20160405/texmf-dist/tex/latex/amsfonts/amsfonts.sty Package: amsfonts 2013/01/14 v3.01 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 106. ) \copyins=\insert199 \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/TeX-20160405/texmf-dist/tex/latex/amsfonts/amssymb.sty Package: amssymb 2013/01/14 v3.01 AMS font symbols ) (/usr/local/TeX-20160405/texmf-dist/tex/latex/base/latexsym.sty Package: latexsym 1998/08/17 v2.2e Standard LaTeX package (lasy symbols) \symlasy=\mathgroup6 LaTeX Font Info: Overwriting symbol font `lasy' in version `bold' (Font) U/lasy/m/n --> U/lasy/b/n on input line 52. ) \c@thm=\count99 \c@prbl=\count100 No file comp.aux. \openout1 = `comp.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 110. LaTeX Font Info: ... okay on input line 110. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 110. LaTeX Font Info: ... okay on input line 110. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 110. LaTeX Font Info: ... okay on input line 110. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 110. LaTeX Font Info: ... okay on input line 110. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 110. LaTeX Font Info: ... okay on input line 110. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 110. LaTeX Font Info: ... okay on input line 110. LaTeX Font Info: Try loading font information for U+msa on input line 110. (/usr/local/TeX-20160405/texmf-dist/tex/latex/amsfonts/umsa.fd File: umsa.fd 2013/01/14 v3.01 AMS symbols A ) LaTeX Font Info: Try loading font information for U+msb on input line 110. (/usr/local/TeX-20160405/texmf-dist/tex/latex/amsfonts/umsb.fd File: umsb.fd 2013/01/14 v3.01 AMS symbols B ) LaTeX Font Info: Try loading font information for U+lasy on input line 110. (/usr/local/TeX-20160405/texmf-dist/tex/latex/base/ulasy.fd File: ulasy.fd 1998/08/17 v2.2e LaTeX symbol font definitions ) Overfull \vbox (36.0pt too high) has occurred while \output is active [] [1{/usr/local/TeX-20160405/texmf-var/fonts/map/pdftex/updmap/pdftex.map}] Overfull \vbox (36.0pt too high) has occurred while \output is active [] [2] (./comp.aux) ) Here is how much of TeX's memory you used: 1749 strings out of 493027 18673 string characters out of 6134069 74527 words of memory out of 5000000 5157 multiletter control sequences out of 15000+600000 12621 words of font info for 53 fonts, out of 8000000 for 9000 1302 hyphenation exceptions out of 8191 34i,10n,28p,281b,180s stack positions out of 5000i,500n,10000p,200000b,80000s Output written on comp.pdf (2 pages, 64679 bytes). PDF statistics: 31 PDF objects out of 1000 (max. 8388607) 21 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)