This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) (preloaded format=pdflatex 2022.10.5) 13 APR 2026 11:56 entering extended mode restricted \write18 enabled. file:line:error style messages enabled. %&-line parsing enabled. **/Users/didericis/Code/magnum-opus-4ct/paper.tex (/Users/didericis/Code/magnum-opus-4ct/paper.tex LaTeX2e <2021-11-15> patch level 1 L3 programming layer <2022-02-24> (/usr/local/texlive/2022/texmf-dist/tex/latex/amscls/amsart.cls Document Class: amsart 2020/05/29 v2.20.6 \linespacing=\dimen138 \normalparindent=\dimen139 \normaltopskip=\skip47 (/usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsmath.sty Package: amsmath 2021/10/15 v2.17l AMS math features \@mathmargin=\skip48 For additional information on amsmath, use the `?' option. (/usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amstext.sty Package: amstext 2021/08/26 v2.01 AMS text (/usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsgen.sty File: amsgen.sty 1999/11/30 v2.0 generic functions \@emptytoks=\toks16 \ex@=\dimen140 )) (/usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsbsy.sty Package: amsbsy 1999/11/29 v1.2d Bold Symbols \pmbraise@=\dimen141 ) (/usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsopn.sty Package: amsopn 2021/08/26 v2.02 operator names ) \inf@bad=\count185 LaTeX Info: Redefining \frac on input line 234. \uproot@=\count186 \leftroot@=\count187 LaTeX Info: Redefining \overline on input line 399. \classnum@=\count188 \DOTSCASE@=\count189 LaTeX Info: Redefining \ldots on input line 496. LaTeX Info: Redefining \dots on input line 499. LaTeX Info: Redefining \cdots on input line 620. \Mathstrutbox@=\box50 \strutbox@=\box51 \big@size=\dimen142 LaTeX Font Info: Redeclaring font encoding OML on input line 743. LaTeX Font Info: Redeclaring font encoding OMS on input line 744. \macc@depth=\count190 \c@MaxMatrixCols=\count191 \dotsspace@=\muskip16 \c@parentequation=\count192 \dspbrk@lvl=\count193 \tag@help=\toks17 \row@=\count194 \column@=\count195 \maxfields@=\count196 \andhelp@=\toks18 \eqnshift@=\dimen143 \alignsep@=\dimen144 \tagshift@=\dimen145 \tagwidth@=\dimen146 \totwidth@=\dimen147 \lineht@=\dimen148 \@envbody=\toks19 \multlinegap=\skip49 \multlinetaggap=\skip50 \mathdisplay@stack=\toks20 LaTeX Info: Redefining \[ on input line 2938. LaTeX Info: Redefining \] on input line 2939. ) LaTeX Font Info: Trying to load font information for U+msa on input line 397. (/usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/umsa.fd File: umsa.fd 2013/01/14 v3.01 AMS symbols A ) (/usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/amsfonts.sty Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support \symAMSa=\mathgroup4 \symAMSb=\mathgroup5 LaTeX Font Info: Redeclaring math symbol \hbar on input line 98. 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=\box52 \listisep=\skip51 \c@part=\count197 \c@section=\count198 \c@subsection=\count266 \c@subsubsection=\count267 \c@paragraph=\count268 \c@subparagraph=\count269 \c@figure=\count270 \c@table=\count271 \abovecaptionskip=\skip52 \belowcaptionskip=\skip53 \captionindent=\dimen149 \thm@style=\toks21 \thm@bodyfont=\toks22 \thm@headfont=\toks23 \thm@notefont=\toks24 \thm@headpunct=\toks25 \thm@preskip=\skip54 \thm@postskip=\skip55 \thm@headsep=\skip56 \dth@everypar=\toks26 ) \c@theorem=\count272 (/usr/local/texlive/2022/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def File: l3backend-pdftex.def 2022-02-07 L3 backend support: PDF output (pdfTeX) \l__color_backend_stack_int=\count273 \l__pdf_internal_box=\box53 ) (./paper.aux) \openout1 = `paper.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 52. LaTeX Font Info: ... okay on input line 52. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 52. LaTeX Font Info: ... okay on input line 52. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 52. LaTeX Font Info: ... okay on input line 52. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 52. LaTeX Font Info: ... okay on input line 52. LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 52. LaTeX Font Info: ... okay on input line 52. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 52. LaTeX Font Info: ... okay on input line 52. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 52. LaTeX Font Info: ... okay on input line 52. LaTeX Font Info: Trying to load font information for U+msa on input line 52. (/usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/umsa.fd File: umsa.fd 2013/01/14 v3.01 AMS symbols A ) LaTeX Font Info: Trying to load font information for U+msb on input line 52. (/usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/umsb.fd File: umsb.fd 2013/01/14 v3.01 AMS symbols B ) [1{/usr/local/texlive/2022/texmf-var/fonts/map/pdftex/updmap/pdftex.map}] [2] [3] Overfull \hbox (2.17857pt too wide) in paragraph at lines 247--248 \OT1/cmr/bx/n/10 Lemma 3.2. \OT1/cmr/m/it/10 For each $\OML/cmm/m/it/10 G[] \OMS/cmsy/m/n/10 2 M$\OT1/cmr/m/it/10 , the ex-ten-sions of $\OT1/cmr/m/n/10 ^^H[](\OML/cmm/m/it/10 G[]\OT1/cmr/m/n/10 )$ \OT1/cmr/m/it/10 lie in $\OT1/cmr/m/n/10 ^^H[]$\OT1/cmr/m/it/10 , i.e., $[] \OMS/cmsy/m/n/10 ^^R [] Overfull \hbox (18.04422pt too wide) detected at line 257 []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 N\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 v[]\OT1/cmr/m/n/10 )) = [](\OMS/cmsy/m/n/10 f\OML/cmm/m/it/10 a[]; a[]\OMS/cmsy/m/n/10 g [ \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 N\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 v[]\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 n f\OML/cmm/m/it/10 a[]; a[]\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 )) = \OMS/cmsy/m/n/10 f\OML/cmm/m/it/10 \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 a[]\OT1/cmr/m/n/10 )\OMS/cmsy/m/n/10 g [ \OML/cmm/m/it/10 \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 N\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 v[]\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 n f\OML/cmm/m/it/10 a[]; a[]\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ) = \OML/cmm/m/it/10 \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 N[]\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 v[]\OT1/cmr/m/n/10 ))\OML/cmm/m/it/10 : [] [4] [5] (./paper.aux) ) Here is how much of TeX's memory you used: 1719 strings out of 478268 24065 string characters out of 5846347 331202 words of memory out of 5000000 19803 multiletter control sequences out of 15000+600000 475834 words of font info for 54 fonts, out of 8000000 for 9000 1302 hyphenation exceptions out of 8191 69i,9n,76p,803b,280s stack positions out of 10000i,1000n,20000p,200000b,200000s Output written on paper.pdf (5 pages, 227402 bytes). PDF statistics: 110 PDF objects out of 1000 (max. 8388607) 66 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)