160 lines
8.1 KiB
Plaintext
160 lines
8.1 KiB
Plaintext
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
|
|
</usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx10.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmcsc10.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmex10.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi5.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi7.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmr5.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmr7.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmr8.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy5.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy7.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmti10.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmti8.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt8.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/symbols/msam10.pfb></usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb>
|
|
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)
|
|
|