PR_MKV_uniqueness/nota5.log

This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023/nixos.org) (preloaded format=pdflatex 1980.1.1)  19 NOV 2024 10:57
entering extended mode
 restricted \write18 enabled.
 %&-line parsing enabled.
**nota5.tex
(./nota5.tex
LaTeX2e <2023-11-01> patch level 1
L3 programming layer <2024-02-20>

(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/base/article.cls
Document Class: article 2023/05/17 v1.4n Standard LaTeX document class

(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/base/size10.clo
File: size10.clo 2023/05/17 v1.4n Standard LaTeX file (size option)
)
\c@part=\count188
\c@section=\count189
\c@subsection=\count190
\c@subsubsection=\count191
\c@paragraph=\count192
\c@subparagraph=\count193
\c@figure=\count194
\c@table=\count195
\abovecaptionskip=\skip48
\belowcaptionskip=\skip49
\bibindent=\dimen140
)
(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/base/inputenc.sty
Package: inputenc 2021/02/14 v1.3d Input encoding file
\inpenc@prehook=\toks17
\inpenc@posthook=\toks18
)
(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/amsmath/amsmath.sty
Package: amsmath 2023/05/13 v2.17o AMS math features
\@mathmargin=\skip50

For additional information on amsmath, use the `?' option.

(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/amsmath/amstext.sty
Package: amstext 2021/08/26 v2.01 AMS text

(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/amsmath/amsgen.sty
File: amsgen.sty 1999/11/30 v2.0 generic functions
\@emptytoks=\toks19
\ex@=\dimen141
))
(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/amsmath/amsbsy.sty
Package: amsbsy 1999/11/29 v1.2d Bold Symbols
\pmbraise@=\dimen142
)
(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/amsmath/amsopn.sty
Package: amsopn 2022/04/08 v2.04 operator names
)
\inf@bad=\count196
LaTeX Info: Redefining \frac on input line 234.
\uproot@=\count197
\leftroot@=\count198
LaTeX Info: Redefining \overline on input line 399.
LaTeX Info: Redefining \colon on input line 410.
\classnum@=\count199
\DOTSCASE@=\count266
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@=\box51
\strutbox@=\box52
LaTeX Info: Redefining \big on input line 722.
LaTeX Info: Redefining \Big on input line 723.
LaTeX Info: Redefining \bigg on input line 724.
LaTeX Info: Redefining \Bigg on input line 725.
\big@size=\dimen143
LaTeX Font Info:    Redeclaring font encoding OML on input line 743.
LaTeX Font Info:    Redeclaring font encoding OMS on input line 744.
\macc@depth=\count267
LaTeX Info: Redefining \bmod on input line 905.
LaTeX Info: Redefining \pmod on input line 910.
LaTeX Info: Redefining \smash on input line 940.
LaTeX Info: Redefining \relbar on input line 970.
LaTeX Info: Redefining \Relbar on input line 971.
\c@MaxMatrixCols=\count268
\dotsspace@=\muskip16
\c@parentequation=\count269
\dspbrk@lvl=\count270
\tag@help=\toks20
\row@=\count271
\column@=\count272
\maxfields@=\count273
\andhelp@=\toks21
\eqnshift@=\dimen144
\alignsep@=\dimen145
\tagshift@=\dimen146
\tagwidth@=\dimen147
\totwidth@=\dimen148
\lineht@=\dimen149
\@envbody=\toks22
\multlinegap=\skip51
\multlinetaggap=\skip52
\mathdisplay@stack=\toks23
LaTeX Info: Redefining \[ on input line 2953.
LaTeX Info: Redefining \] on input line 2954.
)
(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/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.
)
(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/amsfonts/amssymb.sty
Package: amssymb 2013/01/14 v3.01 AMS font symbols
)
(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/doublestroke/dsfont.sty
Package: dsfont 1995/08/01 v0.1 Double stroke roman fonts
)
(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/fancyhdr/fancyhdr.sty
Package: fancyhdr 2022/11/09 v4.1 Extensive control of page headers and footers

\f@nch@headwidth=\skip53
\f@nch@O@elh=\skip54
\f@nch@O@erh=\skip55
\f@nch@O@olh=\skip56
\f@nch@O@orh=\skip57
\f@nch@O@elf=\skip58
\f@nch@O@erf=\skip59
\f@nch@O@olf=\skip60
\f@nch@O@orf=\skip61
)
(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/tools/indentfirst.sty
Package: indentfirst 2023/07/02 v1.03 Indent first paragraph (DPC)
)
(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/graphics/graphicx.sty
Package: graphicx 2021/09/16 v1.2d Enhanced LaTeX Graphics (DPC,SPQR)

(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/graphics/keyval.sty
Package: keyval 2022/05/29 v1.15 key=value parser (DPC)
\KV@toks@=\toks24
)
(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/graphics/graphics.sty
Package: graphics 2022/03/10 v1.4e Standard LaTeX Graphics (DPC,SPQR)

(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/graphics/trig.sty
Package: trig 2021/08/11 v1.11 sin cos tan (DPC)
)
(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/graphics-cfg/graphics.cfg
File: graphics.cfg 2016/06/04 v1.11 sample graphics configuration
)
Package graphics Info: Driver file: pdftex.def on input line 107.

(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/graphics-def/pdftex.def
File: pdftex.def 2022/09/22 v1.2b Graphics/color driver for pdftex
))
\Gin@req@height=\dimen150
\Gin@req@width=\dimen151
)
(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/base/newlfont.sty
Package: newlfont 1998/08/17 v2.2m Standard LaTeX package
LaTeX Info: Redefining \em on input line 57.

(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/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.
))
(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/amscls/amsthm.sty
Package: amsthm 2020/05/29 v2.20.6
\thm@style=\toks25
\thm@bodyfont=\toks26
\thm@headfont=\toks27
\thm@notefont=\toks28
\thm@headpunct=\toks29
\thm@preskip=\skip62
\thm@postskip=\skip63
\thm@headsep=\skip64
\dth@everypar=\toks30
)
(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/mathtools/mathtools.sty
Package: mathtools 2024/03/11 v1.30 mathematical typesetting tools

(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/tools/calc.sty
Package: calc 2023/07/08 v4.3 Infix arithmetic (KKT,FJ)
\calc@Acount=\count274
\calc@Bcount=\count275
\calc@Adimen=\dimen152
\calc@Bdimen=\dimen153
\calc@Askip=\skip65
\calc@Bskip=\skip66
LaTeX Info: Redefining \setlength on input line 80.
LaTeX Info: Redefining \addtolength on input line 81.
\calc@Ccount=\count276
\calc@Cskip=\skip67
)
(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/mathtools/mhsetup.sty
Package: mhsetup 2021/03/18 v1.4 programming setup (MH)
)
\g_MT_multlinerow_int=\count277
\l_MT_multwidth_dim=\dimen154
\origjot=\skip68
\l_MT_shortvdotswithinadjustabove_dim=\dimen155
\l_MT_shortvdotswithinadjustbelow_dim=\dimen156
\l_MT_above_intertext_sep=\dimen157
\l_MT_below_intertext_sep=\dimen158
\l_MT_above_shortintertext_sep=\dimen159
\l_MT_below_shortintertext_sep=\dimen160
\xmathstrut@box=\box53
\xmathstrut@dim=\dimen161
)
(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/units/nicefrac.sty
Package: nicefrac 1998/08/04 v0.9b Nice fractions
\L@UnitsRaiseDisplaystyle=\skip69
\L@UnitsRaiseTextstyle=\skip70
\L@UnitsRaiseScriptstyle=\skip71

(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/base/ifthen.sty
Package: ifthen 2022/04/13 v1.1d Standard LaTeX ifthen package (DPC)
))
(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/epstopdf-pkg/epstopdf.sty
Package: epstopdf 2020-01-24 v2.11 Conversion with epstopdf on the fly (HO)

(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/generic/infwarerr/infwarerr.sty
Package: infwarerr 2019/12/03 v1.5 Providing info/warning/error messages (HO)
)
(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/grfext/grfext.sty
Package: grfext 2019/12/03 v1.3 Manage graphics extensions (HO)

(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/generic/kvdefinekeys/kvdefinekeys.sty
Package: kvdefinekeys 2019-12-19 v1.6 Define keys (HO)
))
(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/kvoptions/kvoptions.sty
Package: kvoptions 2022-06-15 v3.15 Key value format for package options (HO)

(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/generic/ltxcmds/ltxcmds.sty
Package: ltxcmds 2023-12-04 v1.26 LaTeX kernel commands for general use (HO)
)
(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/kvsetkeys/kvsetkeys.sty
Package: kvsetkeys 2022-10-05 v1.19 Key value parser (HO)
))
(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/generic/pdftexcmds/pdftexcmds.sty
Package: pdftexcmds 2020-06-27 v0.33 Utility functions of pdfTeX for LuaTeX (HO
)

(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/generic/iftex/iftex.sty
Package: iftex 2022/02/03 v1.0f TeX engine tests
)
Package pdftexcmds Info: \pdf@primitive is available.
Package pdftexcmds Info: \pdf@ifprimitive is available.
Package pdftexcmds Info: \pdfdraftmode found.
)
(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/epstopdf-pkg/epstopdf-base.sty
Package: epstopdf-base 2020-01-24 v2.11 Base part for package epstopdf
Package epstopdf-base Info: Redefining graphics rule for `.eps' on input line 4
85.
Package grfext Info: Graphics extension search list:
(grfext)             [.pdf,.png,.jpg,.mps,.jpeg,.jbig2,.jb2,.PDF,.PNG,.JPG,.JPE
G,.JBIG2,.JB2,.eps]
(grfext)             \AppendGraphicsExtensions on input line 504.

(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/latexconfig/epstopdf-sys.cfg
File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Liv
e
)))
(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/caption/caption.sty
Package: caption 2023/08/05 v3.6o Customizing captions (AR)

(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/caption/caption3.sty
Package: caption3 2023/07/31 v2.4d caption3 kernel (AR)
\caption@tempdima=\dimen162
\captionmargin=\dimen163
\caption@leftmargin=\dimen164
\caption@rightmargin=\dimen165
\caption@width=\dimen166
\caption@indent=\dimen167
\caption@parindent=\dimen168
\caption@hangindent=\dimen169
Package caption Info: Standard document class detected.
)
\c@caption@flags=\count278
\c@continuedfloat=\count279
)
(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/caption/subcaption.sty
Package: subcaption 2023/07/28 v1.6b Sub-captions (AR)
Package caption Info: New subtype `subfigure' on input line 238.
\c@subfigure=\count280
Package caption Info: New subtype `subtable' on input line 238.
\c@subtable=\count281
)
(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/graphics/color.sty
Package: color 2022/01/06 v1.3d Standard LaTeX Color (DPC)

(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/graphics-cfg/color.cfg
File: color.cfg 2016/01/02 v1.6 sample color configuration
)
Package color Info: Driver file: pdftex.def on input line 149.

(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/graphics/mathcolor.ltx))
(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/comment/comment.sty
\CommentStream=\write3
 Excluding comment 'comment')
(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/geometry/geometry.sty
Package: geometry 2020/01/02 v5.9 Page Geometry

(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/generic/iftex/ifvtex.sty
Package: ifvtex 2019/10/25 v1.7 ifvtex legacy package. Use iftex instead.
)
\Gm@cnth=\count282
\Gm@cntv=\count283
\c@Gm@tempcnt=\count284
\Gm@bindingoffset=\dimen170
\Gm@wd@mp=\dimen171
\Gm@odd@mp=\dimen172
\Gm@even@mp=\dimen173
\Gm@layoutwidth=\dimen174
\Gm@layoutheight=\dimen175
\Gm@layouthoffset=\dimen176
\Gm@layoutvoffset=\dimen177
\Gm@dimlist=\toks31
)
(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/hyperref/hyperref.sty
Package: hyperref 2024-01-20 v7.01h Hypertext links for LaTeX

(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/generic/pdfescape/pdfescape.sty
Package: pdfescape 2019/12/09 v1.15 Implements pdfTeX's escape features (HO)
)
(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/hycolor/hycolor.sty
Package: hycolor 2020-01-27 v1.10 Color options for hyperref/bookmark (HO)
)
(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/auxhook/auxhook.sty
Package: auxhook 2019-12-17 v1.6 Hooks for auxiliary files (HO)
)
(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/hyperref/nameref.sty
Package: nameref 2023-11-26 v2.56 Cross-referencing by name of section

(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/refcount/refcount.sty
Package: refcount 2019/12/15 v3.6 Data extraction from label references (HO)
)
(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/generic/gettitlestring/gettitlestring.sty
Package: gettitlestring 2019/12/15 v1.6 Cleanup title references (HO)
)
\c@section@level=\count285
)
(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/etoolbox/etoolbox.sty
Package: etoolbox 2020/10/05 v2.5k e-TeX tools for LaTeX (JAW)
\etb@tempcnta=\count286
)
\@linkdim=\dimen178
\Hy@linkcounter=\count287
\Hy@pagecounter=\count288

(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/hyperref/pd1enc.def
File: pd1enc.def 2024-01-20 v7.01h Hyperref: PDFDocEncoding definition (HO)
Now handling font encoding PD1 ...
... no UTF-8 mapping file for font encoding PD1
)
(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/generic/intcalc/intcalc.sty
Package: intcalc 2019/12/15 v1.3 Expandable calculations with integers (HO)
)
\Hy@SavedSpaceFactor=\count289

(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/hyperref/puenc.def
File: puenc.def 2024-01-20 v7.01h Hyperref: PDF Unicode definition (HO)
Now handling font encoding PU ...
... no UTF-8 mapping file for font encoding PU
)
Package hyperref Info: Hyper figures OFF on input line 4179.
Package hyperref Info: Link nesting OFF on input line 4184.
Package hyperref Info: Hyper index ON on input line 4187.
Package hyperref Info: Plain pages OFF on input line 4194.
Package hyperref Info: Backreferencing OFF on input line 4199.
Package hyperref Info: Implicit mode ON; LaTeX internals redefined.
Package hyperref Info: Bookmarks ON on input line 4446.
\c@Hy@tempcnt=\count290

(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/url/url.sty
\Urlmuskip=\muskip17
Package: url 2013/09/16  ver 3.4  Verb mode for urls, etc.
)
LaTeX Info: Redefining \url on input line 4784.
\XeTeXLinkMargin=\dimen179

(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/generic/bitset/bitset.sty
Package: bitset 2019/12/09 v1.3 Handle bit-vector datatype (HO)

(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/generic/bigintcalc/bigintcalc.sty
Package: bigintcalc 2019/12/15 v1.5 Expandable calculations on big integers (HO
)
))
\Fld@menulength=\count291
\Field@Width=\dimen180
\Fld@charsize=\dimen181
Package hyperref Info: Hyper figures OFF on input line 6063.
Package hyperref Info: Link nesting OFF on input line 6068.
Package hyperref Info: Hyper index ON on input line 6071.
Package hyperref Info: backreferencing OFF on input line 6078.
Package hyperref Info: Link coloring OFF on input line 6083.
Package hyperref Info: Link coloring with OCG OFF on input line 6088.
Package hyperref Info: PDF/A mode OFF on input line 6093.

(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/base/atbegshi-ltx.sty
Package: atbegshi-ltx 2021/01/10 v1.0c Emulation of the original atbegshi
package with kernel methods
)
\Hy@abspage=\count292
\c@Item=\count293
\c@Hfootnote=\count294
)
Package hyperref Info: Driver (autodetected): hpdftex.

(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/hyperref/hpdftex.def
File: hpdftex.def 2024-01-20 v7.01h Hyperref driver for pdfTeX

(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/base/atveryend-ltx.sty
Package: atveryend-ltx 2020/08/19 v1.0a Emulation of the original atveryend pac
kage
with kernel methods
)
\Fld@listcount=\count295
\c@bookmark@seq@number=\count296

(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/rerunfilecheck/rerunfilecheck.sty
Package: rerunfilecheck 2022-07-10 v1.10 Rerun checks for auxiliary files (HO)

(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/generic/uniquecounter/uniquecounter.sty
Package: uniquecounter 2019/12/15 v1.4 Provide unlimited unique counter (HO)
)
Package uniquecounter Info: New unique counter `rerunfilecheck' on input line 2
85.
)
\Hy@SectionHShift=\skip72
)
\c@theorem=\count297
\c@notation=\count298

(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/l3backend/l3backend-pdftex.def
File: l3backend-pdftex.def 2024-02-20 L3 backend support: PDF output (pdfTeX)
\l__color_backend_stack_int=\count299
\l__pdf_internal_box=\box54
) (./nota5.aux)
\openout1 = `nota5.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:    Checking defaults for PD1/pdf/m/n on input line 52.
LaTeX Font Info:    ... okay on input line 52.
LaTeX Font Info:    Checking defaults for PU/pdf/m/n on input line 52.
LaTeX Font Info:    ... okay on input line 52.

(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/context/base/mkii/supp-pdf.mkii
[Loading MPS to PDF converter (version 2006.09.02).]
\scratchcounter=\count300
\scratchdimen=\dimen182
\scratchbox=\box55
\nofMPsegments=\count301
\nofMParguments=\count302
\everyMPshowfont=\toks32
\MPscratchCnt=\count303
\MPscratchDim=\dimen183
\MPnumerator=\count304
\makeMPintoPDFobject=\count305
\everyMPtoPDFconversion=\toks33
)
Package caption Info: Begin \AtBeginDocument code.
Package caption Info: hyperref package is loaded.
Package caption Info: End \AtBeginDocument code.

*geometry* driver: auto-detecting
*geometry* detected driver: pdftex
*geometry* verbose mode - [ preamble ] result:
* driver: pdftex
* paper: a4paper
* layout: <same size as paper>
* layoutoffset:(h,v)=(0.0pt,0.0pt)
* modes: 
* h-part:(L,W,R)=(56.9055pt, 483.69687pt, 56.9055pt)
* v-part:(T,H,B)=(56.9055pt, 731.23584pt, 56.9055pt)
* \paperwidth=597.50787pt
* \paperheight=845.04684pt
* \textwidth=483.69687pt
* \textheight=731.23584pt
* \oddsidemargin=-15.36449pt
* \evensidemargin=-15.36449pt
* \topmargin=-52.36449pt
* \headheight=12.0pt
* \headsep=25.0pt
* \topskip=10.0pt
* \footskip=30.0pt
* \marginparwidth=57.0pt
* \marginparsep=11.0pt
* \columnsep=10.0pt
* \skip\footins=9.0pt plus 4.0pt minus 2.0pt
* \hoffset=0.0pt
* \voffset=0.0pt
* \mag=1000
* \@twocolumnfalse
* \@twosidefalse
* \@mparswitchfalse
* \@reversemarginfalse
* (1in=72.27pt=25.4mm, 1cm=28.453pt)

Package hyperref Info: Link coloring OFF on input line 52.
(./nota5.out) (./nota5.out)
\@outlinefile=\write4
\openout4 = `nota5.out'.

LaTeX Font Info:    Trying to load font information for U+msa on input line 54.


(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/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 54.


(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/amsfonts/umsb.fd
File: umsb.fd 2013/01/14 v3.01 AMS symbols B
)
LaTeX Font Info:    Trying to load font information for U+lasy on input line 54
.

(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/base/ulasy.fd
File: ulasy.fd 1998/08/17 v2.2e LaTeX symbol font definitions
) [1

{/nix/store/mhdx3hkmpns8i6czk9ygf2yc7wxlkpy0-texlive-combined-full-2023-final/s
hare/texmf-var/fonts/map/pdftex/updmap/pdftex.map}] Excluding 'comment' comment
. Excluding 'comment' comment. [2]
LaTeX Font Info:    Trying to load font information for U+dsrom on input line 2
25.

(/nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-t
exmfdist/tex/latex/doublestroke/Udsrom.fd
File: Udsrom.fd 1995/08/01 v0.1 Double stroke roman font definitions
)
Overfull \hbox (29.63692pt too wide) detected at line 236
[]
 []

[3] Excluding 'comment' comment. [4] [5] [6] (./nota5.aux)
 ***********
LaTeX2e <2023-11-01> patch level 1
L3 programming layer <2024-02-20>
 ***********
Package rerunfilecheck Info: File `nota5.out' has not changed.
(rerunfilecheck)             Checksum: D41D8CD98F00B204E9800998ECF8427E;0.
 ) 
Here is how much of TeX's memory you used:
 12850 strings out of 474116
 214715 string characters out of 5717523
 1952187 words of memory out of 5000000
 34990 multiletter control sequences out of 15000+600000
 565113 words of font info for 69 fonts, out of 8000000 for 9000
 1141 hyphenation exceptions out of 8191
 63i,16n,67p,849b,509s stack positions out of 10000i,1000n,20000p,200000b,200000s
</nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final
-texmfdist/fonts/type1/public/amsfonts/cm/cmbx10.pfb></nix/store/bj92vd0x3z4f1y
idlv488fis5rx252nk-texlive-combined-full-2023-final-texmfdist/fonts/type1/publi
c/amsfonts/cm/cmbx12.pfb></nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-c
ombined-full-2023-final-texmfdist/fonts/type1/public/amsfonts/cm/cmex10.pfb></n
ix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-texm
fdist/fonts/type1/public/amsfonts/cm/cmmi10.pfb></nix/store/bj92vd0x3z4f1yidlv4
88fis5rx252nk-texlive-combined-full-2023-final-texmfdist/fonts/type1/public/ams
fonts/cm/cmmi5.pfb></nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combine
d-full-2023-final-texmfdist/fonts/type1/public/amsfonts/cm/cmmi6.pfb></nix/stor
e/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-texmfdist/f
onts/type1/public/amsfonts/cm/cmmi7.pfb></nix/store/bj92vd0x3z4f1yidlv488fis5rx
252nk-texlive-combined-full-2023-final-texmfdist/fonts/type1/public/amsfonts/cm
/cmmi8.pfb></nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2
023-final-texmfdist/fonts/type1/public/amsfonts/cm/cmr10.pfb></nix/store/bj92vd
0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-texmfdist/fonts/typ
e1/public/amsfonts/cm/cmr5.pfb></nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-tex
live-combined-full-2023-final-texmfdist/fonts/type1/public/amsfonts/cm/cmr6.pfb
></nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-
texmfdist/fonts/type1/public/amsfonts/cm/cmr7.pfb></nix/store/bj92vd0x3z4f1yidl
v488fis5rx252nk-texlive-combined-full-2023-final-texmfdist/fonts/type1/public/a
msfonts/cm/cmr8.pfb></nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combin
ed-full-2023-final-texmfdist/fonts/type1/public/amsfonts/cm/cmsy10.pfb></nix/st
ore/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-texmfdist
/fonts/type1/public/amsfonts/cm/cmsy5.pfb></nix/store/bj92vd0x3z4f1yidlv488fis5
rx252nk-texlive-combined-full-2023-final-texmfdist/fonts/type1/public/amsfonts/
cm/cmsy6.pfb></nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full
-2023-final-texmfdist/fonts/type1/public/amsfonts/cm/cmsy7.pfb></nix/store/bj92
vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-texmfdist/fonts/t
ype1/public/amsfonts/cm/cmsy8.pfb></nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-
texlive-combined-full-2023-final-texmfdist/fonts/type1/public/amsfonts/cm/cmti1
0.pfb></nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023-f
inal-texmfdist/fonts/type1/public/amsfonts/cm/cmtt10.pfb></nix/store/bj92vd0x3z
4f1yidlv488fis5rx252nk-texlive-combined-full-2023-final-texmfdist/fonts/type1/p
ublic/doublestroke/dsrom10.pfb></nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-tex
live-combined-full-2023-final-texmfdist/fonts/type1/public/amsfonts/symbols/msb
m10.pfb></nix/store/bj92vd0x3z4f1yidlv488fis5rx252nk-texlive-combined-full-2023
-final-texmfdist/fonts/type1/public/amsfonts/symbols/msbm7.pfb>
Output written on nota5.pdf (6 pages, 281244 bytes).
PDF statistics:
 216 PDF objects out of 1000 (max. 8388607)
 145 compressed objects within 2 object streams
 31 named destinations out of 1000 (max. 500000)
 1 words of extra memory for PDF output out of 10000 (max. 10000000)