This is pdfTeX, Version 3.141592653-2.6-1.40.27 (TeX Live 2025/nixos.org) (preloaded format=pdflatex 1980.1.1) 25 APR 2026 04:07 entering extended mode restricted \write18 enabled. %&-line parsing enabled. **paper.tex (./paper.tex LaTeX2e <2025-06-01> patch level 1 L3 programming layer <2025-06-09> (/nix/store/zwvq8i154s539b4w2fqhia83fsfng7ng-texlive-combined-full-2025.2025070 3-texmfdist/tex/latex/amscls/amsart.cls Document Class: amsart 2020/05/29 v2.20.6 \linespacing=\dimen148 \normalparindent=\dimen149 \normaltopskip=\skip49 (/nix/store/zwvq8i154s539b4w2fqhia83fsfng7ng-texlive-combined-full-2025.2025070 3-texmfdist/tex/latex/amsmath/amsmath.sty Package: amsmath 2025/06/16 v2.17y AMS math features \@mathmargin=\skip50 For additional information on amsmath, use the `?' option. (/nix/store/zwvq8i154s539b4w2fqhia83fsfng7ng-texlive-combined-full-2025.2025070 3-texmfdist/tex/latex/amsmath/amstext.sty Package: amstext 2024/11/17 v2.01 AMS text (/nix/store/zwvq8i154s539b4w2fqhia83fsfng7ng-texlive-combined-full-2025.2025070 3-texmfdist/tex/latex/amsmath/amsgen.sty File: amsgen.sty 1999/11/30 v2.0 generic functions \@emptytoks=\toks17 \ex@=\dimen150 )) (/nix/store/zwvq8i154s539b4w2fqhia83fsfng7ng-texlive-combined-full-2025.2025070 3-texmfdist/tex/latex/amsmath/amsbsy.sty Package: amsbsy 1999/11/29 v1.2d Bold Symbols \pmbraise@=\dimen151 ) (/nix/store/zwvq8i154s539b4w2fqhia83fsfng7ng-texlive-combined-full-2025.2025070 3-texmfdist/tex/latex/amsmath/amsopn.sty Package: amsopn 2022/04/08 v2.04 operator names ) \inf@bad=\count275 LaTeX Info: Redefining \frac on input line 233. \uproot@=\count276 \leftroot@=\count277 LaTeX Info: Redefining \overline on input line 398. LaTeX Info: Redefining \colon on input line 409. \classnum@=\count278 \DOTSCASE@=\count279 LaTeX Info: Redefining \ldots on input line 495. LaTeX Info: Redefining \dots on input line 498. LaTeX Info: Redefining \cdots on input line 619. \Mathstrutbox@=\box53 \strutbox@=\box54 LaTeX Info: Redefining \big on input line 721. LaTeX Info: Redefining \Big on input line 722. LaTeX Info: Redefining \bigg on input line 723. LaTeX Info: Redefining \Bigg on input line 724. \big@size=\dimen152 LaTeX Font Info: Redeclaring font encoding OML on input line 742. LaTeX Font Info: Redeclaring font encoding OMS on input line 743. \macc@depth=\count280 LaTeX Info: Redefining \bmod on input line 904. LaTeX Info: Redefining \pmod on input line 909. LaTeX Info: Redefining \smash on input line 939. LaTeX Info: Redefining \relbar on input line 969. LaTeX Info: Redefining \Relbar on input line 970. \c@MaxMatrixCols=\count281 \dotsspace@=\muskip17 \c@parentequation=\count282 \dspbrk@lvl=\count283 \tag@help=\toks18 \row@=\count284 \column@=\count285 \maxfields@=\count286 \andhelp@=\toks19 \eqnshift@=\dimen153 \alignsep@=\dimen154 \tagshift@=\dimen155 \tagwidth@=\dimen156 \totwidth@=\dimen157 \lineht@=\dimen158 \@envbody=\toks20 \multlinegap=\skip51 \multlinetaggap=\skip52 \mathdisplay@stack=\toks21 LaTeX Info: Redefining \[ on input line 2949. LaTeX Info: Redefining \] on input line 2950. ) LaTeX Font Info: Trying to load font information for U+msa on input line 397 . (/nix/store/zwvq8i154s539b4w2fqhia83fsfng7ng-texlive-combined-full-2025.2025070 3-texmfdist/tex/latex/amsfonts/umsa.fd File: umsa.fd 2013/01/14 v3.01 AMS symbols A ) (/nix/store/zwvq8i154s539b4w2fqhia83fsfng7ng-texlive-combined-full-2025.2025070 3-texmfdist/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=\insert252 \abstractbox=\box55 \listisep=\skip53 \c@part=\count287 \c@section=\count288 \c@subsection=\count289 \c@subsubsection=\count290 \c@paragraph=\count291 \c@subparagraph=\count292 \c@figure=\count293 \c@table=\count294 \abovecaptionskip=\skip54 \belowcaptionskip=\skip55 \captionindent=\dimen159 \thm@style=\toks22 \thm@bodyfont=\toks23 \thm@headfont=\toks24 \thm@notefont=\toks25 \thm@headpunct=\toks26 \thm@preskip=\skip56 \thm@postskip=\skip57 \thm@headsep=\skip58 \dth@everypar=\toks27 ) \c@theorem=\count295 (/nix/store/zwvq8i154s539b4w2fqhia83fsfng7ng-texlive-combined-full-2025.2025070 3-texmfdist/tex/latex/l3backend/l3backend-pdftex.def File: l3backend-pdftex.def 2025-06-09 L3 backend support: PDF output (pdfTeX) \l__color_backend_stack_int=\count296 ) (./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. (/nix/store/zwvq8i154s539b4w2fqhia83fsfng7ng-texlive-combined-full-2025.2025070 3-texmfdist/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. (/nix/store/zwvq8i154s539b4w2fqhia83fsfng7ng-texlive-combined-full-2025.2025070 3-texmfdist/tex/latex/amsfonts/umsb.fd File: umsb.fd 2013/01/14 v3.01 AMS symbols B ) [1{/nix/store/4g7bv3lsd1r7lrfxi0x145xac0jag4hl-texlive-combined-full-2025.20250 703/share/texmf-var/fonts/map/pdftex/updmap/pdftex.map}] [2] (./paper.aux) *********** LaTeX2e <2025-06-01> patch level 1 L3 programming layer <2025-06-09> *********** ) Here is how much of TeX's memory you used: 1763 strings out of 467888 25768 string characters out of 5405403 436018 words of memory out of 5000000 30194 multiletter control sequences out of 15000+600000 633232 words of font info for 65 fonts, out of 8000000 for 9000 1302 hyphenation exceptions out of 8191 71i,6n,79p,751b,238s stack positions out of 10000i,1000n,20000p,200000b,200000s Output written on paper.pdf (2 pages, 143149 bytes). PDF statistics: 71 PDF objects out of 1000 (max. 8388607) 42 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)