Files
usenix-2026-nested/main.log
2025-10-25 03:54:21 -04:00

2074 lines
78 KiB
Plaintext
Raw Permalink Blame History

This is pdfTeX, Version 3.141592653-2.6-1.40.27 (TeX Live 2025/nixos.org) (preloaded format=pdflatex 1980.1.1) 27 AUG 2025 02:26
entering extended mode
restricted \write18 enabled.
%&-line parsing enabled.
**main.tex
(./main.tex
LaTeX2e <2025-06-01> patch level 1
L3 programming layer <2025-06-09>
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/base/article.cls
Document Class: article 2025/01/22 v1.4n Standard LaTeX document class
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/base/size10.clo
File: size10.clo 2025/01/22 v1.4n Standard LaTeX file (size option)
)
\c@part=\count275
\c@section=\count276
\c@subsection=\count277
\c@subsubsection=\count278
\c@paragraph=\count279
\c@subparagraph=\count280
\c@figure=\count281
\c@table=\count282
\abovecaptionskip=\skip49
\belowcaptionskip=\skip50
\bibindent=\dimen148
) (./usenix.sty
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/psnfss/mathptmx.sty
Package: mathptmx 2020/03/25 PSNFSS-v9.3 Times w/ Math, improved (SPQR, WaS)
LaTeX Font Info: Redeclaring symbol font `operators' on input line 28.
LaTeX Font Info: Overwriting symbol font `operators' in version `normal'
(Font) OT1/cmr/m/n --> OT1/ztmcm/m/n on input line 28.
LaTeX Font Info: Overwriting symbol font `operators' in version `bold'
(Font) OT1/cmr/bx/n --> OT1/ztmcm/m/n on input line 28.
LaTeX Font Info: Redeclaring symbol font `letters' on input line 29.
LaTeX Font Info: Overwriting symbol font `letters' in version `normal'
(Font) OML/cmm/m/it --> OML/ztmcm/m/it on input line 29.
LaTeX Font Info: Overwriting symbol font `letters' in version `bold'
(Font) OML/cmm/b/it --> OML/ztmcm/m/it on input line 29.
LaTeX Font Info: Redeclaring symbol font `symbols' on input line 30.
LaTeX Font Info: Overwriting symbol font `symbols' in version `normal'
(Font) OMS/cmsy/m/n --> OMS/ztmcm/m/n on input line 30.
LaTeX Font Info: Overwriting symbol font `symbols' in version `bold'
(Font) OMS/cmsy/b/n --> OMS/ztmcm/m/n on input line 30.
LaTeX Font Info: Redeclaring symbol font `largesymbols' on input line 31.
LaTeX Font Info: Overwriting symbol font `largesymbols' in version `normal'
(Font) OMX/cmex/m/n --> OMX/ztmcm/m/n on input line 31.
LaTeX Font Info: Overwriting symbol font `largesymbols' in version `bold'
(Font) OMX/cmex/m/n --> OMX/ztmcm/m/n on input line 31.
\symbold=\mathgroup4
\symitalic=\mathgroup5
LaTeX Font Info: Redeclaring math alphabet \mathbf on input line 34.
LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `normal'
(Font) OT1/cmr/bx/n --> OT1/ptm/bx/n on input line 34.
LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `bold'
(Font) OT1/cmr/bx/n --> OT1/ptm/bx/n on input line 34.
LaTeX Font Info: Redeclaring math alphabet \mathit on input line 35.
LaTeX Font Info: Overwriting math alphabet `\mathit' in version `normal'
(Font) OT1/cmr/m/it --> OT1/ptm/m/it on input line 35.
LaTeX Font Info: Overwriting math alphabet `\mathit' in version `bold'
(Font) OT1/cmr/bx/it --> OT1/ptm/m/it on input line 35.
LaTeX Info: Redefining \hbar on input line 50.
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/base/fontenc.sty
Package: fontenc 2024/12/21 v2.1c Standard LaTeX package
LaTeX Font Info: Trying to load font information for T1+ptm on input line 11
6.
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/psnfss/t1ptm.fd
File: t1ptm.fd 2001/06/04 font definitions for T1/ptm.
))
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/base/inputenc.sty
Package: inputenc 2024/02/08 v1.3d Input encoding file
\inpenc@prehook=\toks17
\inpenc@posthook=\toks18
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/pslatex/pslatex.sty
Package: pslatex 2021/01/13 v1.3 pslatex emulation (DPC)
LaTeX Encoding Info: Redeclaring text command \textsterling (encoding ?) on
input line 51.
LaTeX Font Info: Redeclaring symbol font `operators' on input line 66.
LaTeX Font Info: Overwriting symbol font `operators' in version `normal'
(Font) OT1/ztmcm/m/n --> OT1/ptmcm/m/n on input line 66.
LaTeX Font Info: Overwriting symbol font `operators' in version `bold'
(Font) OT1/ztmcm/m/n --> OT1/ptmcm/m/n on input line 66.
LaTeX Font Info: Redeclaring symbol font `letters' on input line 67.
LaTeX Font Info: Overwriting symbol font `letters' in version `normal'
(Font) OML/ztmcm/m/it --> OML/ptmcm/m/it on input line 67.
LaTeX Font Info: Overwriting symbol font `letters' in version `bold'
(Font) OML/ztmcm/m/it --> OML/ptmcm/m/it on input line 67.
LaTeX Font Info: Redeclaring symbol font `symbols' on input line 68.
LaTeX Font Info: Overwriting symbol font `symbols' in version `normal'
(Font) OMS/ztmcm/m/n --> OMS/pzccm/m/n on input line 68.
LaTeX Font Info: Overwriting symbol font `symbols' in version `bold'
(Font) OMS/ztmcm/m/n --> OMS/pzccm/m/n on input line 68.
LaTeX Font Info: Redeclaring symbol font `largesymbols' on input line 69.
LaTeX Font Info: Overwriting symbol font `largesymbols' in version `normal'
(Font) OMX/ztmcm/m/n --> OMX/psycm/m/n on input line 69.
LaTeX Font Info: Overwriting symbol font `largesymbols' in version `bold'
(Font) OMX/ztmcm/m/n --> OMX/psycm/m/n on input line 69.
LaTeX Font Info: Redeclaring symbol font `bold' on input line 70.
LaTeX Font Info: Overwriting symbol font `bold' in version `normal'
(Font) OT1/ptm/bx/n --> OT1/ptm/bx/n on input line 70.
LaTeX Font Info: Overwriting symbol font `bold' in version `bold'
(Font) OT1/ptm/bx/n --> OT1/ptm/bx/n on input line 70.
LaTeX Font Info: Redeclaring symbol font `italic' on input line 71.
LaTeX Font Info: Overwriting symbol font `italic' in version `normal'
(Font) OT1/ptm/m/it --> OT1/ptm/m/it on input line 71.
LaTeX Font Info: Overwriting symbol font `italic' in version `bold'
(Font) OT1/ptm/m/it --> OT1/ptm/m/it on input line 71.
LaTeX Font Info: Redeclaring math alphabet \mathbf on input line 75.
LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `normal'
(Font) OT1/ptm/bx/n --> OT1/ptm/bx/n on input line 75.
LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `bold'
(Font) OT1/ptm/bx/n --> OT1/ptm/bx/n on input line 75.
LaTeX Font Info: Redeclaring math alphabet \mathit on input line 76.
LaTeX Font Info: Overwriting math alphabet `\mathit' in version `normal'
(Font) OT1/ptm/m/it --> OT1/ptm/m/it on input line 76.
LaTeX Font Info: Overwriting math alphabet `\mathit' in version `bold'
(Font) OT1/ptm/m/it --> OT1/ptm/m/it on input line 76.
LaTeX Font Info: Redeclaring math symbol \omicron on input line 80.
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/microtype/microtype.sty
Package: microtype 2025/02/11 v3.2a Micro-typographical refinements (RS)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/graphics/keyval.sty
Package: keyval 2022/05/29 v1.15 key=value parser (DPC)
\KV@toks@=\toks19
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/etoolbox/etoolbox.sty
Package: etoolbox 2025/02/11 v2.5l e-TeX tools for LaTeX (JAW)
\etb@tempcnta=\count283
)
\MT@toks=\toks20
\MT@tempbox=\box53
\MT@count=\count284
LaTeX Info: Redefining \noprotrusionifhmode on input line 1087.
LaTeX Info: Redefining \leftprotrusion on input line 1088.
\MT@prot@toks=\toks21
LaTeX Info: Redefining \rightprotrusion on input line 1107.
LaTeX Info: Redefining \textls on input line 1449.
\MT@outer@kern=\dimen149
LaTeX Info: Redefining \microtypecontext on input line 2053.
LaTeX Info: Redefining \textmicrotypecontext on input line 2070.
\MT@listname@count=\count285
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/microtype/microtype-pdftex.def
File: microtype-pdftex.def 2025/02/11 v3.2a Definitions specific to pdftex (RS)
LaTeX Info: Redefining \lsstyle on input line 944.
LaTeX Info: Redefining \lslig on input line 944.
\MT@outer@space=\skip51
)
Package microtype Info: Loading configuration file microtype.cfg.
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/microtype/microtype.cfg
File: microtype.cfg 2025/02/11 v3.2a microtype main configuration file (RS)
)
LaTeX Info: Redefining \microtypesetup on input line 3065.
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/cite/cite.sty
LaTeX Info: Redefining \cite on input line 302.
LaTeX Info: Redefining \nocite on input line 332.
Package: cite 2015/02/27 v 5.5
) (./breakurl.sty
Package: breakurl 2013/04/10 v1.40 Breakable hyperref URLs
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/xkeyval/xkeyval.sty
Package: xkeyval 2022/06/16 v2.9 package option processing (HA)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/xkeyval/xkeyval.tex
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/xkeyval/xkvutils.tex
\XKV@toks=\toks22
\XKV@tempa@toks=\toks23
)
\XKV@depth=\count286
File: xkeyval.tex 2014/12/03 v2.7a key=value parser (HA)
))
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/iftex/ifpdf.sty
Package: ifpdf 2019/10/25 v3.4 ifpdf legacy package. Use iftex instead.
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/iftex/iftex.sty
Package: iftex 2024/12/12 v1.0g TeX engine tests
))
Package breakurl Warning: You are using breakurl while processing via pdflatex.
(breakurl) \burl will be just a synonym of \url.
(breakurl) on input line 48.
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/url/url.sty
\Urlmuskip=\muskip17
Package: url 2013/09/16 ver 3.4 Verb mode for urls, etc.
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/xcolor/xcolor.sty
Package: xcolor 2024/09/29 v3.02 LaTeX color extensions (UK)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/graphics-cfg/color.cfg
File: color.cfg 2016/01/02 v1.6 sample color configuration
)
Package xcolor Info: Driver file: pdftex.def on input line 274.
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/graphics-def/pdftex.def
File: pdftex.def 2024/04/13 v1.2c Graphics/color driver for pdftex
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/graphics/mathcolor.ltx)
Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1349.
Package xcolor Info: Model `hsb' substituted by `rgb' on input line 1353.
Package xcolor Info: Model `RGB' extended on input line 1365.
Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1367.
Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1368.
Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1369.
Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1370.
Package xcolor Info: Model `Gray' substituted by `gray' on input line 1371.
Package xcolor Info: Model `wave' substituted by `hsb' on input line 1372.
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/hyperref/hyperref.sty
Package: hyperref 2025-06-21 v7.01n Hypertext links for LaTeX
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/kvsetkeys/kvsetkeys.sty
Package: kvsetkeys 2022-10-05 v1.19 Key value parser (HO)
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/kvdefinekeys/kvdefinekeys.sty
Package: kvdefinekeys 2019-12-19 v1.6 Define keys (HO)
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pdfescape/pdfescape.sty
Package: pdfescape 2019/12/09 v1.15 Implements pdfTeX's escape features (HO)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/ltxcmds/ltxcmds.sty
Package: ltxcmds 2023-12-04 v1.26 LaTeX kernel commands for general use (HO)
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pdftexcmds/pdftexcmds.sty
Package: pdftexcmds 2020-06-27 v0.33 Utility functions of pdfTeX for LuaTeX (HO
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/infwarerr/infwarerr.sty
Package: infwarerr 2019/12/03 v1.5 Providing info/warning/error messages (HO)
)
Package pdftexcmds Info: \pdf@primitive is available.
Package pdftexcmds Info: \pdf@ifprimitive is available.
Package pdftexcmds Info: \pdfdraftmode found.
))
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/hycolor/hycolor.sty
Package: hycolor 2020-01-27 v1.10 Color options for hyperref/bookmark (HO)
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/hyperref/nameref.sty
Package: nameref 2025-06-21 v2.57 Cross-referencing by name of section
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/refcount/refcount.sty
Package: refcount 2019/12/15 v3.6 Data extraction from label references (HO)
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/gettitlestring/gettitlestring.sty
Package: gettitlestring 2019/12/15 v1.6 Cleanup title references (HO)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/kvoptions/kvoptions.sty
Package: kvoptions 2022-06-15 v3.15 Key value format for package options (HO)
))
\c@section@level=\count287
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/stringenc/stringenc.sty
Package: stringenc 2019/11/29 v1.12 Convert strings between diff. encodings (HO
)
)
\@linkdim=\dimen150
\Hy@linkcounter=\count288
\Hy@pagecounter=\count289
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/hyperref/pd1enc.def
File: pd1enc.def 2025-06-21 v7.01n Hyperref: PDFDocEncoding definition (HO)
Now handling font encoding PD1 ...
... no UTF-8 mapping file for font encoding PD1
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/intcalc/intcalc.sty
Package: intcalc 2019/12/15 v1.3 Expandable calculations with integers (HO)
)
\Hy@SavedSpaceFactor=\count290
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/hyperref/puenc.def
File: puenc.def 2025-06-21 v7.01n 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 4181.
Package hyperref Info: Link nesting OFF on input line 4186.
Package hyperref Info: Hyper index ON on input line 4189.
Package hyperref Info: Plain pages OFF on input line 4196.
Package hyperref Info: Backreferencing OFF on input line 4201.
Package hyperref Info: Implicit mode ON; LaTeX internals redefined.
Package hyperref Info: Bookmarks ON on input line 4448.
\c@Hy@tempcnt=\count291
LaTeX Info: Redefining \url on input line 4787.
\XeTeXLinkMargin=\dimen151
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/bitset/bitset.sty
Package: bitset 2019/12/09 v1.3 Handle bit-vector datatype (HO)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/bigintcalc/bigintcalc.sty
Package: bigintcalc 2019/12/15 v1.5 Expandable calculations on big integers (HO
)
))
\Fld@menulength=\count292
\Field@Width=\dimen152
\Fld@charsize=\dimen153
Package hyperref Info: Hyper figures OFF on input line 6066.
Package hyperref Info: Link nesting OFF on input line 6071.
Package hyperref Info: Hyper index ON on input line 6074.
Package hyperref Info: backreferencing OFF on input line 6081.
Package hyperref Info: Link coloring OFF on input line 6086.
Package hyperref Info: Link coloring with OCG OFF on input line 6091.
Package hyperref Info: PDF/A mode OFF on input line 6096.
\Hy@abspage=\count293
\c@Item=\count294
\c@Hfootnote=\count295
)
Package hyperref Info: Driver (autodetected): hpdftex.
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/hyperref/hpdftex.def
File: hpdftex.def 2025-06-21 v7.01n Hyperref driver for pdfTeX
\Fld@listcount=\count296
\c@bookmark@seq@number=\count297
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/rerunfilecheck/rerunfilecheck.sty
Package: rerunfilecheck 2025-06-21 v1.11 Rerun checks for auxiliary files (HO)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/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
84.
)
\Hy@SectionHShift=\skip52
)
Package hyperref Info: Option `colorlinks' set `true' on input line 50.
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/pgf/frontendlayer/tikz.sty
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/pgf/basiclayer/pgf.sty
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/pgf/utilities/pgfrcs.sty
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/utilities/pgfutil-common.tex
\pgfutil@everybye=\toks24
\pgfutil@tempdima=\dimen154
\pgfutil@tempdimb=\dimen155
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/utilities/pgfutil-latex.def
\pgfutil@abb=\box54
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/utilities/pgfrcs.code.tex
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/pgf.revision.tex)
Package: pgfrcs 2023-01-15 v3.1.10 (3.1.10)
))
Package: pgf 2023-01-15 v3.1.10 (3.1.10)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/pgf/basiclayer/pgfcore.sty
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/graphics/graphicx.sty
Package: graphicx 2024/12/31 v1.2e Enhanced LaTeX Graphics (DPC,SPQR)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/graphics/graphics.sty
Package: graphics 2024/08/06 v1.4g Standard LaTeX Graphics (DPC,SPQR)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/graphics/trig.sty
Package: trig 2023/12/02 v1.11 sin cos tan (DPC)
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/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 106.
)
\Gin@req@height=\dimen156
\Gin@req@width=\dimen157
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/pgf/systemlayer/pgfsys.sty
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/systemlayer/pgfsys.code.tex
Package: pgfsys 2023-01-15 v3.1.10 (3.1.10)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/utilities/pgfkeys.code.tex
\pgfkeys@pathtoks=\toks25
\pgfkeys@temptoks=\toks26
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/utilities/pgfkeyslibraryfiltered.code.tex
\pgfkeys@tmptoks=\toks27
))
\pgf@x=\dimen158
\pgf@y=\dimen159
\pgf@xa=\dimen160
\pgf@ya=\dimen161
\pgf@xb=\dimen162
\pgf@yb=\dimen163
\pgf@xc=\dimen164
\pgf@yc=\dimen165
\pgf@xd=\dimen166
\pgf@yd=\dimen167
\w@pgf@writea=\write3
\r@pgf@reada=\read2
\c@pgf@counta=\count298
\c@pgf@countb=\count299
\c@pgf@countc=\count300
\c@pgf@countd=\count301
\t@pgf@toka=\toks28
\t@pgf@tokb=\toks29
\t@pgf@tokc=\toks30
\pgf@sys@id@count=\count302
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/systemlayer/pgf.cfg
File: pgf.cfg 2023-01-15 v3.1.10 (3.1.10)
)
Driver file for pgf: pgfsys-pdftex.def
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def
File: pgfsys-pdftex.def 2023-01-15 v3.1.10 (3.1.10)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def
File: pgfsys-common-pdf.def 2023-01-15 v3.1.10 (3.1.10)
)))
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex
File: pgfsyssoftpath.code.tex 2023-01-15 v3.1.10 (3.1.10)
\pgfsyssoftpath@smallbuffer@items=\count303
\pgfsyssoftpath@bigbuffer@items=\count304
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex
File: pgfsysprotocol.code.tex 2023-01-15 v3.1.10 (3.1.10)
))
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/basiclayer/pgfcore.code.tex
Package: pgfcore 2023-01-15 v3.1.10 (3.1.10)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/math/pgfmath.code.tex
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/math/pgfmathutil.code.tex)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/math/pgfmathparser.code.tex
\pgfmath@dimen=\dimen168
\pgfmath@count=\count305
\pgfmath@box=\box55
\pgfmath@toks=\toks31
\pgfmath@stack@operand=\toks32
\pgfmath@stack@operation=\toks33
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/math/pgfmathfunctions.code.tex)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/math/pgfmathfunctions.basic.code.tex)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/math/pgfmathfunctions.trigonometric.code.tex)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/math/pgfmathfunctions.random.code.tex)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/math/pgfmathfunctions.comparison.code.tex)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/math/pgfmathfunctions.base.code.tex)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/math/pgfmathfunctions.round.code.tex)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/math/pgfmathfunctions.integerarithmetics.code.tex
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/math/pgfmathcalc.code.tex)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/math/pgfmathfloat.code.tex
\c@pgfmathroundto@lastzeros=\count306
))
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/math/pgfint.code.tex)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex
File: pgfcorepoints.code.tex 2023-01-15 v3.1.10 (3.1.10)
\pgf@picminx=\dimen169
\pgf@picmaxx=\dimen170
\pgf@picminy=\dimen171
\pgf@picmaxy=\dimen172
\pgf@pathminx=\dimen173
\pgf@pathmaxx=\dimen174
\pgf@pathminy=\dimen175
\pgf@pathmaxy=\dimen176
\pgf@xx=\dimen177
\pgf@xy=\dimen178
\pgf@yx=\dimen179
\pgf@yy=\dimen180
\pgf@zx=\dimen181
\pgf@zy=\dimen182
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.tex
File: pgfcorepathconstruct.code.tex 2023-01-15 v3.1.10 (3.1.10)
\pgf@path@lastx=\dimen183
\pgf@path@lasty=\dimen184
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex
File: pgfcorepathusage.code.tex 2023-01-15 v3.1.10 (3.1.10)
\pgf@shorten@end@additional=\dimen185
\pgf@shorten@start@additional=\dimen186
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex
File: pgfcorescopes.code.tex 2023-01-15 v3.1.10 (3.1.10)
\pgfpic=\box56
\pgf@hbox=\box57
\pgf@layerbox@main=\box58
\pgf@picture@serial@count=\count307
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex
File: pgfcoregraphicstate.code.tex 2023-01-15 v3.1.10 (3.1.10)
\pgflinewidth=\dimen187
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/basiclayer/pgfcoretransformations.code.tex
File: pgfcoretransformations.code.tex 2023-01-15 v3.1.10 (3.1.10)
\pgf@pt@x=\dimen188
\pgf@pt@y=\dimen189
\pgf@pt@temp=\dimen190
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex
File: pgfcorequick.code.tex 2023-01-15 v3.1.10 (3.1.10)
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex
File: pgfcoreobjects.code.tex 2023-01-15 v3.1.10 (3.1.10)
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code.tex
File: pgfcorepathprocessing.code.tex 2023-01-15 v3.1.10 (3.1.10)
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex
File: pgfcorearrows.code.tex 2023-01-15 v3.1.10 (3.1.10)
\pgfarrowsep=\dimen191
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex
File: pgfcoreshade.code.tex 2023-01-15 v3.1.10 (3.1.10)
\pgf@max=\dimen192
\pgf@sys@shading@range@num=\count308
\pgf@shadingcount=\count309
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex
File: pgfcoreimage.code.tex 2023-01-15 v3.1.10 (3.1.10)
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex
File: pgfcoreexternal.code.tex 2023-01-15 v3.1.10 (3.1.10)
\pgfexternal@startupbox=\box59
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex
File: pgfcorelayers.code.tex 2023-01-15 v3.1.10 (3.1.10)
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/basiclayer/pgfcoretransparency.code.tex
File: pgfcoretransparency.code.tex 2023-01-15 v3.1.10 (3.1.10)
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex
File: pgfcorepatterns.code.tex 2023-01-15 v3.1.10 (3.1.10)
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/basiclayer/pgfcorerdf.code.tex
File: pgfcorerdf.code.tex 2023-01-15 v3.1.10 (3.1.10)
)))
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex
File: pgfmoduleshapes.code.tex 2023-01-15 v3.1.10 (3.1.10)
\pgfnodeparttextbox=\box60
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/modules/pgfmoduleplot.code.tex
File: pgfmoduleplot.code.tex 2023-01-15 v3.1.10 (3.1.10)
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty
Package: pgfcomp-version-0-65 2023-01-15 v3.1.10 (3.1.10)
\pgf@nodesepstart=\dimen193
\pgf@nodesepend=\dimen194
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty
Package: pgfcomp-version-1-18 2023-01-15 v3.1.10 (3.1.10)
))
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/pgf/utilities/pgffor.sty
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/pgf/utilities/pgfkeys.sty
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/utilities/pgfkeys.code.tex))
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/pgf/math/pgfmath.sty
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/math/pgfmath.code.tex))
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/utilities/pgffor.code.tex
Package: pgffor 2023-01-15 v3.1.10 (3.1.10)
\pgffor@iter=\dimen195
\pgffor@skip=\dimen196
\pgffor@stack=\toks34
\pgffor@toks=\toks35
))
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex
Package: tikz 2023-01-15 v3.1.10 (3.1.10)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/libraries/pgflibraryplothandlers.code.tex
File: pgflibraryplothandlers.code.tex 2023-01-15 v3.1.10 (3.1.10)
\pgf@plot@mark@count=\count310
\pgfplotmarksize=\dimen197
)
\tikz@lastx=\dimen198
\tikz@lasty=\dimen199
\tikz@lastxsaved=\dimen256
\tikz@lastysaved=\dimen257
\tikz@lastmovetox=\dimen258
\tikz@lastmovetoy=\dimen259
\tikzleveldistance=\dimen260
\tikzsiblingdistance=\dimen261
\tikz@figbox=\box61
\tikz@figbox@bg=\box62
\tikz@tempbox=\box63
\tikz@tempbox@bg=\box64
\tikztreelevel=\count311
\tikznumberofchildren=\count312
\tikznumberofcurrentchild=\count313
\tikz@fig@count=\count314
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/modules/pgfmodulematrix.code.tex
File: pgfmodulematrix.code.tex 2023-01-15 v3.1.10 (3.1.10)
\pgfmatrixcurrentrow=\count315
\pgfmatrixcurrentcolumn=\count316
\pgf@matrix@numberofcolumns=\count317
)
\tikz@expandcount=\count318
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarytopaths.c
ode.tex
File: tikzlibrarytopaths.code.tex 2023-01-15 v3.1.10 (3.1.10)
)))
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/amsmath/amsmath.sty
Package: amsmath 2025/06/16 v2.17y AMS math features
\@mathmargin=\skip53
For additional information on amsmath, use the `?' option.
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/amsmath/amstext.sty
Package: amstext 2024/11/17 v2.01 AMS text
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/amsmath/amsgen.sty
File: amsgen.sty 1999/11/30 v2.0 generic functions
\@emptytoks=\toks36
\ex@=\dimen262
))
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/amsmath/amsbsy.sty
Package: amsbsy 1999/11/29 v1.2d Bold Symbols
\pmbraise@=\dimen263
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/amsmath/amsopn.sty
Package: amsopn 2022/04/08 v2.04 operator names
)
\inf@bad=\count319
LaTeX Info: Redefining \frac on input line 233.
\uproot@=\count320
\leftroot@=\count321
LaTeX Info: Redefining \overline on input line 398.
LaTeX Info: Redefining \colon on input line 409.
\classnum@=\count322
\DOTSCASE@=\count323
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@=\box65
\strutbox@=\box66
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=\dimen264
LaTeX Font Info: Redeclaring font encoding OML on input line 742.
LaTeX Font Info: Redeclaring font encoding OMS on input line 743.
\macc@depth=\count324
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=\count325
\dotsspace@=\muskip18
\c@parentequation=\count326
\dspbrk@lvl=\count327
\tag@help=\toks37
\row@=\count328
\column@=\count329
\maxfields@=\count330
\andhelp@=\toks38
\eqnshift@=\dimen265
\alignsep@=\dimen266
\tagshift@=\dimen267
\tagwidth@=\dimen268
\totwidth@=\dimen269
\lineht@=\dimen270
\@envbody=\toks39
\multlinegap=\skip54
\multlinetaggap=\skip55
\mathdisplay@stack=\toks40
LaTeX Info: Redefining \[ on input line 2949.
LaTeX Info: Redefining \] on input line 2950.
) (./msc.sty
Package: msc 2022/05/13, v2.00
msc version 2.00. (2022/05/13)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/xstring/xstring.sty
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/xstring/xstring.tex
\xs_counta=\count331
\xs_countb=\count332
)
Package: xstring 2023/08/22 v1.86 String manipulations (CT)
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/tools/calc.sty
Package: calc 2025/03/01 v4.3b Infix arithmetic (KKT,FJ)
\calc@Acount=\count333
\calc@Bcount=\count334
\calc@Adimen=\dimen271
\calc@Bdimen=\dimen272
\calc@Askip=\skip56
\calc@Bskip=\skip57
LaTeX Info: Redefining \setlength on input line 86.
LaTeX Info: Redefining \addtolength on input line 87.
\calc@Ccount=\count335
\calc@Cskip=\skip58
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarypositioni
ng.code.tex
File: tikzlibrarypositioning.code.tex 2023-01-15 v3.1.10 (3.1.10)
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryfit.code.
tex
File: tikzlibraryfit.code.tex 2023-01-15 v3.1.10 (3.1.10)
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarycalc.code
.tex
File: tikzlibrarycalc.code.tex 2023-01-15 v3.1.10 (3.1.10)
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryarrows.co
de.tex
File: tikzlibraryarrows.code.tex 2023-01-15 v3.1.10 (3.1.10)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/libraries/pgflibraryarrows.code.tex
File: pgflibraryarrows.code.tex 2023-01-15 v3.1.10 (3.1.10)
\arrowsize=\dimen273
))
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarydecoratio
ns.markings.code.tex
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarydecoratio
ns.code.tex
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/modules/pgfmoduledecorations.code.tex
\pgfdecoratedcompleteddistance=\dimen274
\pgfdecoratedremainingdistance=\dimen275
\pgfdecoratedinputsegmentcompleteddistance=\dimen276
\pgfdecoratedinputsegmentremainingdistance=\dimen277
\pgf@decorate@distancetomove=\dimen278
\pgf@decorate@repeatstate=\count336
\pgfdecorationsegmentamplitude=\dimen279
\pgfdecorationsegmentlength=\dimen280
)
\tikz@lib@dec@box=\box67
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/libraries/decorations/pgflibrarydecorations.marki
ngs.code.tex))
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.mi
sc.code.tex
File: tikzlibraryshapes.misc.code.tex 2023-01-15 v3.1.10 (3.1.10)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.misc.code.tex
File: pgflibraryshapes.misc.code.tex 2023-01-15 v3.1.10 (3.1.10)
))
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.ge
ometric.code.tex
File: tikzlibraryshapes.geometric.code.tex 2023-01-15 v3.1.10 (3.1.10)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.geometric.code.
tex
File: pgflibraryshapes.geometric.code.tex 2023-01-15 v3.1.10 (3.1.10)
))
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.sy
mbols.code.tex
File: tikzlibraryshapes.symbols.code.tex 2023-01-15 v3.1.10 (3.1.10)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.symbols.code.te
x
File: pgflibraryshapes.symbols.code.tex 2023-01-15 v3.1.10 (3.1.10)
))
\pgf@layerbox@background=\box68
\pgf@layerboxsaved@background=\box69
\msc@box=\box70
\actionheight=\skip59
\actionwidth=\skip60
\bottomfootdist=\skip61
\msccommentdist=\skip62
\conditionheight=\skip63
\conditionoverlap=\skip64
\envinstdist=\skip65
\firstlevelheight=\skip66
\gatesymbolradius=\skip67
\hmscconditionheight=\skip68
\hmscconditionwidth=\skip69
\hmscconnectionradius=\skip70
\hmscreferenceheight=\skip71
\hmscreferencewidth=\skip72
\hmscstartsymbolwidth=\skip73
\inlineoverlap=\skip74
\instbarwidth=\skip75
\instdist=\skip76
\instfootheight=\skip77
\instheadheight=\skip78
\instwidth=\skip79
\labeldist=\skip80
\lastlevelheight=\skip81
\leftnamedist=\skip82
\levelheight=\skip83
\lostsymbolradius=\skip84
\markdist=\skip85
\measuredist=\skip86
\measuresymbolwidth=\skip87
\mscdocreferenceheight=\skip88
\mscdocreferencewidth=\skip89
\referenceoverlap=\skip90
\regionbarwidth=\skip91
\selfmesswidth=\skip92
\stopwidth=\skip93
\timerwidth=\skip94
\topheaddist=\skip95
\topnamedist=\skip96
\c@mscinstcnt=\count337
\c@condition=\count338
\c@msclevelcnt=\count339
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/tools/array.sty
Package: array 2025/06/08 v2.6j Tabular extension package (FMi)
\col@sep=\dimen281
\ar@mcellbox=\box71
\extrarowheight=\dimen282
\NC@list=\toks41
\extratabsurround=\skip97
\backup@length=\skip98
\ar@cellbox=\box72
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/tools/xspace.sty
Package: xspace 2014/10/28 v1.13 Space after command names (DPC,MH)
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/tools/enumerate.sty
Package: enumerate 2023/07/04 v3.00 enumerate extensions (DPC)
\@enLab=\toks42
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/oberdiek/centernot.sty
Package: centernot 2016/05/16 v1.4 Centers the not symbol horizontally (HO)
) (./multirow.sty)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/float/float.sty
Package: float 2001/11/08 v1.3d Float enhancements (AL)
\c@float@type=\count340
\float@exts=\toks43
\float@box=\box73
\@float@everytoks=\toks44
\@floatcapt=\box74
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/caption/caption.sty
Package: caption 2023/08/05 v3.6o Customizing captions (AR)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/caption/caption3.sty
Package: caption3 2023/07/31 v2.4d caption3 kernel (AR)
\caption@tempdima=\dimen283
\captionmargin=\dimen284
\caption@leftmargin=\dimen285
\caption@rightmargin=\dimen286
\caption@width=\dimen287
\caption@indent=\dimen288
\caption@parindent=\dimen289
\caption@hangindent=\dimen290
Package caption Info: Standard document class detected.
)
\c@caption@flags=\count341
\c@continuedfloat=\count342
Package caption Info: float package is loaded.
Package caption Info: hyperref package is loaded.
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/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=\count343
Package caption Info: New subtype `subtable' on input line 238.
\c@subtable=\count344
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/base/textcomp.sty
Package: textcomp 2024/04/24 v2.1b Standard LaTeX package
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/listings/listings.sty
\lst@mode=\count345
\lst@gtempboxa=\box75
\lst@token=\toks45
\lst@length=\count346
\lst@currlwidth=\dimen291
\lst@column=\count347
\lst@pos=\count348
\lst@lostspace=\dimen292
\lst@width=\dimen293
\lst@newlines=\count349
\lst@lineno=\count350
\lst@maxwidth=\dimen294
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/listings/lstpatch.sty
File: lstpatch.sty 2024/09/23 1.10c (Carsten Heinz)
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/listings/lstmisc.sty
File: lstmisc.sty 2024/09/23 1.10c (Carsten Heinz)
\c@lstnumber=\count351
\lst@skipnumbers=\count352
\lst@framebox=\box76
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/listings/listings.cfg
File: listings.cfg 2024/09/23 1.10c listings configuration
))
Package: listings 2024/09/23 1.10c (Carsten Heinz)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/adjustbox/adjustbox.sty
Package: adjustbox 2025/02/26 v1.3c Adjusting TeX boxes (trim, clip, ...)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/adjustbox/adjcalc.sty
Package: adjcalc 2012/05/16 v1.1 Provides advanced setlength with multiple back
-ends (calc, etex, pgfmath)
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/adjustbox/trimclip.sty
Package: trimclip 2025/02/21 v1.2a Trim and clip general TeX material
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/collectbox/collectbox.sty
Package: collectbox 2022/10/17 v0.4c Collect macro arguments as boxes
\collectedbox=\box77
)
\tc@llx=\dimen295
\tc@lly=\dimen296
\tc@urx=\dimen297
\tc@ury=\dimen298
Package trimclip Info: Using driver 'tc-pdftex.def'.
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/adjustbox/tc-pdftex.def
File: tc-pdftex.def 2025/02/26 v2.3 Clipping driver for pdftex
))
\adjbox@Width=\dimen299
\adjbox@Height=\dimen300
\adjbox@Depth=\dimen301
\adjbox@Totalheight=\dimen302
\adjbox@pwidth=\dimen303
\adjbox@pheight=\dimen304
\adjbox@pdepth=\dimen305
\adjbox@ptotalheight=\dimen306
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/algorithms/algorithm.sty
Package: algorithm 2009/08/24 v0.1 Document Style `algorithm' - floating enviro
nment
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/base/ifthen.sty
Package: ifthen 2024/03/16 v1.1e Standard LaTeX ifthen package (DPC)
)
\@float@every@algorithm=\toks46
\c@algorithm=\count353
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/algorithms/algorithmic.sty
Package: algorithmic 2009/08/24 v0.1 Document Style `algorithmic'
\c@ALC@unique=\count354
\c@ALC@line=\count355
\c@ALC@rem=\count356
\c@ALC@depth=\count357
\ALC@tlm=\skip99
\algorithmicindent=\skip100
) (./tcolorbox.sty
Package: tcolorbox 2025/07/08 version 6.7.1 text color boxes
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/tools/verbatim.sty
Package: verbatim 2024-01-22 v1.5x LaTeX2e package for verbatim enhancements
\every@verbatim=\toks47
\verbatim@line=\toks48
\verbatim@in@stream=\read3
) (./environ.sty)
LaTeX Warning: You have requested, on input line 27, version
`2013/04/01' of package environ,
but only version
`'
is available.
\tcb@titlebox=\box78
\tcb@upperbox=\box79
\tcb@lowerbox=\box80
\tcb@phantombox=\box81
\c@tcbbreakpart=\count358
\c@tcblayer=\count359
\c@tcolorbox@number=\count360
\l__tcobox_tmpa_box=\box82
\l__tcobox_tmpa_dim=\dimen307
\tcb@temp=\box83
\tcb@temp=\box84
\tcb@temp=\box85
\tcb@temp=\box86
) (./enumitem.sty
Package: enumitem 2011/09/28 v3.5.2 Customized lists
\labelindent=\skip101
\enit@outerparindent=\dimen308
\enit@toks=\toks49
\enit@inbox=\box87
\enitdp@description=\count361
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/booktabs/booktabs.sty
Package: booktabs 2020/01/12 v1.61803398 Publication quality tables
\heavyrulewidth=\dimen309
\lightrulewidth=\dimen310
\cmidrulewidth=\dimen311
\belowrulesep=\dimen312
\belowbottomsep=\dimen313
\aboverulesep=\dimen314
\abovetopsep=\dimen315
\cmidrulesep=\dimen316
\cmidrulekern=\dimen317
\defaultaddspace=\dimen318
\@cmidla=\count362
\@cmidlb=\count363
\@aboverulesep=\dimen319
\@belowrulesep=\dimen320
\@thisruleclass=\count364
\@lastruleclass=\count365
\@thisrulewidth=\dimen321
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/tools/tabularx.sty
Package: tabularx 2023/12/11 v2.12a `tabularx' package (DPC)
\TX@col@width=\dimen322
\TX@old@table=\dimen323
\TX@old@col=\dimen324
\TX@target=\dimen325
\TX@delta=\dimen326
\TX@cols=\count366
\TX@ftn=\toks50
) (./makecell.sty
Package: makecell 2006/06/28 v0.1c Multilined Cells and Tabular Heads
\rotheadsize=\dimen327
\TeXr@lab=\toks51
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/psnfss/pifont.sty
Package: pifont 2020/03/25 PSNFSS-v9.3 Pi font support (SPQR)
LaTeX Font Info: Trying to load font information for U+pzd on input line 63.
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/psnfss/upzd.fd
File: upzd.fd 2001/06/04 font definitions for U/pzd.
)
LaTeX Font Info: Trying to load font information for U+psy on input line 64.
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/psnfss/upsy.fd
File: upsy.fd 2001/06/04 font definitions for U/psy.
))
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryautomata.
code.tex
File: tikzlibraryautomata.code.tex 2023-01-15 v3.1.10 (3.1.10)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.mu
ltipart.code.tex
File: tikzlibraryshapes.multipart.code.tex 2023-01-15 v3.1.10 (3.1.10)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.multipart.code.
tex
File: pgflibraryshapes.multipart.code.tex 2023-01-15 v3.1.10 (3.1.10)
\pgfnodepartlowerbox=\box88
\pgfnodeparttwobox=\box89
\pgfnodepartthreebox=\box90
\pgfnodepartfourbox=\box91
\pgfnodeparttwentybox=\box92
\pgfnodepartnineteenbox=\box93
\pgfnodeparteighteenbox=\box94
\pgfnodepartseventeenbox=\box95
\pgfnodepartsixteenbox=\box96
\pgfnodepartfifteenbox=\box97
\pgfnodepartfourteenbox=\box98
\pgfnodepartthirteenbox=\box99
\pgfnodeparttwelvebox=\box100
\pgfnodepartelevenbox=\box101
\pgfnodeparttenbox=\box102
\pgfnodepartninebox=\box103
\pgfnodeparteightbox=\box104
\pgfnodepartsevenbox=\box105
\pgfnodepartsixbox=\box106
\pgfnodepartfivebox=\box107
)))
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/amsfonts/amsfonts.sty
Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support
\symAMSa=\mathgroup6
\symAMSb=\mathgroup7
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/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/amsfonts/amssymb.sty
Package: amssymb 2013/01/14 v3.01 AMS font symbols
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/amscls/amsthm.sty
Package: amsthm 2020/05/29 v2.20.6
\thm@style=\toks52
\thm@bodyfont=\toks53
\thm@headfont=\toks54
\thm@notefont=\toks55
\thm@headpunct=\toks56
\thm@preskip=\skip102
\thm@postskip=\skip103
\thm@headsep=\skip104
\dth@everypar=\toks57
) (./paralist.sty
Package: paralist 2001/03/03 v2.0a Some new list environments (BS)
\pltopsep=\skip105
\plpartopsep=\skip106
\plitemsep=\skip107
\plparsep=\skip108
\pl@lab=\toks58
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/tools/hhline.sty
Package: hhline 2020/01/04 v2.04 Table rule package (DPC)
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/lineno/lineno.sty
Package: lineno 2025/05/13 line numbers on paragraphs v5.5
\linenopenalty=\count367
\output=\toks59
\linenoprevgraf=\count368
\linenumbersep=\dimen328
\linenumberwidth=\dimen329
\c@linenumber=\count369
\c@pagewiselinenumber=\count370
\c@LN@truepage=\count371
\c@internallinenumber=\count372
\c@internallinenumbers=\count373
\quotelinenumbersep=\dimen330
\bframerule=\dimen331
\bframesep=\dimen332
\bframebox=\box108
\@LN@amsmath@ams@eqpen=\count374
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/mathtools/mathtools.sty
Package: mathtools 2024/10/04 v1.31 mathematical typesetting tools
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/mathtools/mhsetup.sty
Package: mhsetup 2021/03/18 v1.4 programming setup (MH)
)
\g_MT_multlinerow_int=\count375
\l_MT_multwidth_dim=\dimen333
\origjot=\skip109
\l_MT_shortvdotswithinadjustabove_dim=\dimen334
\l_MT_shortvdotswithinadjustbelow_dim=\dimen335
\l_MT_above_intertext_sep=\dimen336
\l_MT_below_intertext_sep=\dimen337
\l_MT_above_shortintertext_sep=\dimen338
\l_MT_below_shortintertext_sep=\dimen339
\xmathstrut@box=\box109
\xmathstrut@dim=\dimen340
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/tools/multicol.sty
Package: multicol 2025/05/25 v2.0a multicolumn formatting (FMi)
\c@tracingmulticols=\count376
Package multicol Warning: May not work with the twocolumn option on input line
145.
\mult@box=\box110
\multicol@leftmargin=\dimen341
\c@unbalance=\count377
\c@collectmore=\count378
\doublecol@number=\count379
\multicoltolerance=\count380
\multicolpretolerance=\count381
\full@width=\dimen342
\page@free=\dimen343
\premulticols=\dimen344
\postmulticols=\dimen345
\multicolsep=\skip110
\multicolbaselineskip=\skip111
\partial@page=\box111
\last@line=\box112
\mc@boxedresult=\box113
\maxbalancingoverflow=\dimen346
\mult@rightbox=\box114
\mult@grightbox=\box115
\mult@firstbox=\box116
\mult@gfirstbox=\box117
\@tempa=\box118
\@tempa=\box119
\@tempa=\box120
\@tempa=\box121
\@tempa=\box122
\@tempa=\box123
\@tempa=\box124
\@tempa=\box125
\@tempa=\box126
\@tempa=\box127
\@tempa=\box128
\@tempa=\box129
\@tempa=\box130
\@tempa=\box131
\@tempa=\box132
\@tempa=\box133
\@tempa=\box134
\@tempa=\box135
\@tempa=\box136
\@tempa=\box137
\@tempa=\box138
\@tempa=\box139
\@tempa=\box140
\@tempa=\box141
\@tempa=\box142
\@tempa=\box143
\@tempa=\box144
\@tempa=\box145
\@tempa=\box146
\@tempa=\box147
\@tempa=\box148
\@tempa=\box149
\@tempa=\box150
\@tempa=\box151
\@tempa=\box152
\@tempa=\box153
\c@minrows=\count382
\c@columnbadness=\count383
\c@finalcolumnbadness=\count384
\last@try=\dimen347
\multicolovershoot=\dimen348
\multicolundershoot=\dimen349
\mult@nat@firstbox=\box154
\colbreak@box=\box155
\mc@col@check@num=\count385
\g__mc_curr_col_int=\count386
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/graphics/dvipsnam.def
File: dvipsnam.def 2016/06/17 v3.0m Driver-dependent file (DPC,SPQR)
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/colortbl/colortbl.sty
Package: colortbl 2024/10/29 v1.0k Color table columns (DPC)
\everycr=\toks60
\minrowclearance=\skip112
\rownum=\count387
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/soul/soul.sty
Package: soul 2023-06-14 v3.1 Permit use of UTF-8 characters in soul (HO)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/soul/soul-ori.sty
Package: soul-ori 2023-06-14 v3.1 letterspacing/underlining (mf)
\SOUL@word=\toks61
\SOUL@lasttoken=\toks62
\SOUL@syllable=\toks63
\SOUL@cmds=\toks64
\SOUL@buffer=\toks65
\SOUL@token=\toks66
\SOUL@syllgoal=\dimen350
\SOUL@syllwidth=\dimen351
\SOUL@charkern=\dimen352
\SOUL@hyphkern=\dimen353
\SOUL@dimen=\dimen354
\SOUL@dimeni=\dimen355
\SOUL@minus=\count388
\SOUL@comma=\count389
\SOUL@apo=\count390
\SOUL@grave=\count391
\SOUL@spaceskip=\skip113
\SOUL@ttwidth=\dimen356
\SOUL@uldp=\dimen357
\SOUL@ulht=\dimen358
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/generic/etexcmds/etexcmds.sty
Package: etexcmds 2019/12/15 v1.7 Avoid name clashes with e-TeX commands (HO)
)) (./arydshln.sty
Package: arydshln 2019/02/21 v1.76
\dashlinedash=\dimen359
\dashlinegap=\dimen360
\adl@box=\box156
\adl@height=\dimen361
\adl@heightsave=\dimen362
\adl@depth=\dimen363
\adl@depthsave=\dimen364
\adl@finaldepth=\dimen365
\adl@columns=\count392
\adl@ncol=\count393
\adl@currentcolumn=\count394
\adl@currentcolumnsave=\count395
\adl@totalheight=\count396
\adl@totalheightsave=\count397
\adl@dash=\count398
\adl@gap=\count399
\adl@cla=\count400
\adl@clb=\count401
\adl@everyvbox=\toks67
\adl@LTpagetotal=\dimen366
)
==> First Aid for arydshln.sty applied!
Package hyperref Info: Option `colorlinks' set `true' on input line 68.
Package array Warning: Column X is already defined on input line 74.
\c@mydef=\count402
Package hyperref Info: Option `colorlinks' set `true' on input line 238.
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-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=\count403
) (./main.aux
LaTeX Warning: Label `sec:section label' multiply defined.
LaTeX Warning: Label `sec:section label' multiply defined.
LaTeX Warning: Label `sec:section label' multiply defined.
LaTeX Warning: Label `sec:section label' multiply defined.
LaTeX Warning: Label `sec:section label' multiply defined.
LaTeX Warning: Label `sec:section label' multiply defined.
LaTeX Warning: Label `sec:section label' multiply defined.
LaTeX Warning: Label `sec:section label' multiply defined.
LaTeX Warning: Label `sec:section label' multiply defined.
LaTeX Warning: Label `sec:section label' multiply defined.
LaTeX Warning: Label `sec:section label' multiply defined.
LaTeX Warning: Label `sec:section label' multiply defined.
LaTeX Warning: Label `sec:section label' multiply defined.
LaTeX Warning: Label `sec:section label' multiply defined.
LaTeX Warning: Label `sec:section label' multiply defined.
LaTeX Warning: Label `sec:section label' multiply defined.
LaTeX Warning: Label `sec:section label' multiply defined.
)
\openout1 = `main.aux'.
LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 242.
LaTeX Font Info: ... okay on input line 242.
LaTeX Font Info: Checking defaults for OMS/pzccm/m/n on input line 242.
LaTeX Font Info: Trying to load font information for OMS+pzccm on input line
242.
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/psnfss/omspzccm.fd
File: omspzccm.fd 2000/01/03 Fontinst v1.801 font definitions for OMS/pzccm.
)
LaTeX Font Info: ... okay on input line 242.
LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 242.
LaTeX Font Info: ... okay on input line 242.
LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 242.
LaTeX Font Info: ... okay on input line 242.
LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 242.
LaTeX Font Info: ... okay on input line 242.
LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 242.
LaTeX Font Info: ... okay on input line 242.
LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 242.
LaTeX Font Info: ... okay on input line 242.
LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 242.
LaTeX Font Info: ... okay on input line 242.
LaTeX Font Info: Checking defaults for PU/pdf/m/n on input line 242.
LaTeX Font Info: ... okay on input line 242.
LaTeX Info: Redefining \microtypecontext on input line 242.
Package microtype Info: Applying patch `item' on input line 242.
Package microtype Info: Applying patch `toc' on input line 242.
Package microtype Info: Applying patch `eqnum' on input line 242.
Package microtype Info: Applying patch `footnote' on input line 242.
Package microtype Info: Applying patch `verbatim' on input line 242.
LaTeX Info: Redefining \microtypesetup on input line 242.
Package microtype Info: Generating PDF output.
Package microtype Info: Character protrusion enabled (level 2).
Package microtype Info: Using default protrusion set `alltext'.
Package microtype Info: Automatic font expansion enabled (level 2),
(microtype) stretch: 20, shrink: 20, step: 1, non-selected.
Package microtype Info: Using default expansion set `alltext-nott'.
LaTeX Warning: Command \showhyphens has changed.
Check if current package is valid.
LaTeX Info: Redefining \showhyphens on input line 242.
Package microtype Info: No adjustment of tracking.
Package microtype Info: Adjustment of interword spacing enabled.
Package microtype Info: Using default spacing set `alltext-nott'.
Package microtype Info: Adjustment of character kerning enabled.
Package microtype Info: Using default kerning set `alltext'.
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/microtype/mt-ptm.cfg
File: mt-ptm.cfg 2006/04/20 v1.7 microtype config. file: Times (RS)
)
Package microtype Warning: \nonfrenchspacing is active. Adjustment of
(microtype) interword spacing will disable it. You might want
(microtype) to add `\microtypecontext{spacing=nonfrench}'
(microtype) to your preamble.
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/context/base/mkii/supp-pdf.mkii
[Loading MPS to PDF converter (version 2006.09.02).]
\scratchcounter=\count404
\scratchdimen=\dimen367
\scratchbox=\box157
\nofMPsegments=\count405
\nofMParguments=\count406
\everyMPshowfont=\toks68
\MPscratchCnt=\count407
\MPscratchDim=\dimen368
\MPnumerator=\count408
\makeMPintoPDFobject=\count409
\everyMPtoPDFconversion=\toks69
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/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.
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/latexconfig/epstopdf-sys.cfg
File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Liv
e
))
Package hyperref Info: Link coloring ON on input line 242.
(./main.out) (./main.out)
\@outlinefile=\write4
\openout4 = `main.out'.
Package caption Info: Begin \AtBeginDocument code.
Package caption Info: listings package is loaded.
Package caption Info: End \AtBeginDocument code.
\c@lstlisting=\count410
LaTeX Font Info: Trying to load font information for OT1+ptmcm on input line
255.
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/psnfss/ot1ptmcm.fd
File: ot1ptmcm.fd 2000/01/03 Fontinst v1.801 font definitions for OT1/ptmcm.
)
Package microtype Info: Loading generic protrusion settings for font family
(microtype) `ptmcm' (encoding: OT1).
(microtype) For optimal results, create family-specific settings.
(microtype) See the microtype manual for details.
LaTeX Font Info: Trying to load font information for OML+ptmcm on input line
255.
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/psnfss/omlptmcm.fd
File: omlptmcm.fd 2000/01/03 Fontinst v1.801 font definitions for OML/ptmcm.
)
LaTeX Font Info: Trying to load font information for OMX+psycm on input line
255.
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/psnfss/omxpsycm.fd
File: omxpsycm.fd 2000/01/03 Fontinst v1.801 font definitions for OMX/psycm.
)
LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <12> not available
(Font) Font shape `OT1/ptm/b/n' tried instead on input line 255.
LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <9> not available
(Font) Font shape `OT1/ptm/b/n' tried instead on input line 255.
LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <7> not available
(Font) Font shape `OT1/ptm/b/n' tried instead on input line 255.
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/microtype/mt-msa.cfg
File: mt-msa.cfg 2006/02/04 v1.1 microtype config. file: AMS symbols (a) (RS)
)
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/microtype/mt-msb.cfg
File: mt-msb.cfg 2005/06/01 v1.0 microtype config. file: AMS symbols (b) (RS)
) (./sections/abstract.tex)
Underfull \hbox (badness 6625) in paragraph at lines 2--258
\T1/ptm/m/n/10 (+20) Nested ratchet pro-to-cols^^Vsuch as Sender Keys and
[]
Underfull \hbox (badness 1824) in paragraph at lines 2--258
\T1/ptm/m/n/10 (+20) Megolm^^Vcombine pair-wise peer-to-peer double-ratchet
[]
(./sections/intro.tex
LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <10> not available
(Font) Font shape `OT1/ptm/b/n' tried instead on input line 52.
LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <7.4> not available
(Font) Font shape `OT1/ptm/b/n' tried instead on input line 52.
LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <6> not available
(Font) Font shape `OT1/ptm/b/n' tried instead on input line 52.
LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <8> not available
(Font) Font shape `OT1/ptm/b/n' tried instead on input line 52.
LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <5> not available
(Font) Font shape `OT1/ptm/b/n' tried instead on input line 52.
[1{/nix/store/pwg0fvf1d2648crki9jqc2g7fps4w1yz-texlive-combined-medium-2025.202
50703/share/texmf-var/fonts/map/pdftex/updmap/pdftex.map}{/nix/store/9pyhr9ky5b
bhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250703-texmfdist/fonts/en
c/dvips/base/8r.enc}
]
) (./sections/related.tex (./diagrams/related.tex
Overfull \hbox (13.58765pt too wide) in paragraph at lines 7--20
[][]
[]
)
Underfull \vbox (badness 6559) has occurred while \output is active []
[2]
) (./sections/background.tex
LaTeX Font Info: Font shape `T1/phv/m/n' will be
(Font) scaled to size 8.99994pt on input line 9.
Package microtype Info: Loading generic protrusion settings for font family
(microtype) `phv' (encoding: T1).
(microtype) For optimal results, create family-specific settings.
(microtype) See the microtype manual for details.
LaTeX Font Info: Font shape `T1/phv/m/it' in size <10> not available
(Font) Font shape `T1/phv/m/sl' tried instead on input line 10.
LaTeX Font Info: Font shape `T1/phv/m/sl' will be
(Font) scaled to size 8.99994pt on input line 10.
LaTeX Font Info: Font shape `T1/phv/m/n' will be
(Font) scaled to size 6.65994pt on input line 23.
[3]
Package array Warning: Column L is already defined on input line 42.
Package array Warning: Column R is already defined on input line 43.
LaTeX Warning: `h' float specifier changed to `ht'.
(./diagrams/ake-server.tex
Missing character: There is no 5 in font nullfont!
Package msc Warning: parameter 0.2 is a float when integer was expected - recov
ering by advancing by 0+1 levels where last level is scaled by 0.2 on input lin
e 45.
Package msc Warning: parameter 2.5 is a float when integer was expected - recov
ering by advancing by 2+1 levels where last level is scaled by 0.5 on input lin
e 72.
Missing character: There is no 5 in font nullfont!
Package msc Warning: parameter 1.2 is a float when integer was expected - recov
ering by advancing by 1+1 levels where last level is scaled by 0.2 on input lin
e 75.
Missing character: There is no 5 in font nullfont!
Package msc Warning: parameter 1.2 is a float when integer was expected - recov
ering by advancing by 1+1 levels where last level is scaled by 0.2 on input lin
e 78.
Missing character: There is no 5 in font nullfont!
Package msc Warning: parameter 0.7 is a float when integer was expected - recov
ering by advancing by 0+1 levels where last level is scaled by 0.7 on input lin
e 83.
Missing character: There is no 5 in font nullfont!
Package msc Warning: parameter 3.1 is a float when integer was expected - recov
ering by advancing by 3+1 levels where last level is scaled by 0.1 on input lin
e 93.
Package msc Warning: parameter 0.5 is a float when integer was expected - recov
ering by advancing by 0+1 levels where last level is scaled by 0.5 on input lin
e 104.
Missing character: There is no . in font nullfont!
Missing character: There is no 1 in font nullfont!
Missing character: There is no 2 in font nullfont!
Missing character: There is no 3 in font nullfont!
Missing character: There is no 5 in font nullfont!
Missing character: There is no 7 in font nullfont!
Overfull \hbox (8.83014pt too wide) in paragraph at lines 116--117
[][]
[]
LaTeX Warning: `!h' float specifier changed to `!ht'.
)
[4]
(./diagrams/session-trans.tex
Package msc Warning: parameter 2.3 is a float when integer was expected - recov
ering by advancing by 2+1 levels where last level is scaled by 0.3 on input lin
e 51.
Missing character: There is no 5 in font nullfont!
Package msc Warning: parameter 2.2 is a float when integer was expected - recov
ering by advancing by 2+1 levels where last level is scaled by 0.2 on input lin
e 55.
Package msc Warning: parameter 0.6 is a float when integer was expected - recov
ering by advancing by 0+1 levels where last level is scaled by 0.6 on input lin
e 64.
Package msc Warning: parameter 4.4 is a float when integer was expected - recov
ering by advancing by 4+1 levels where last level is scaled by 0.4 on input lin
e 78.
Package msc Warning: parameter 0.6 is a float when integer was expected - recov
ering by advancing by 0+1 levels where last level is scaled by 0.6 on input lin
e 88.
Missing character: There is no . in font nullfont!
Missing character: There is no 9 in font nullfont!
Missing character: There is no 3 in font nullfont!
Missing character: There is no 3 in font nullfont!
Missing character: There is no 0 in font nullfont!
Missing character: There is no 6 in font nullfont!
LaTeX Warning: `!h' float specifier changed to `!ht'.
)
LaTeX Font Info: Trying to load font information for TS1+ptm on input line 1
35.
(/nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250
703-texmfdist/tex/latex/psnfss/ts1ptm.fd
File: ts1ptm.fd 2001/06/04 font definitions for TS1/ptm.
)
[5]
Package microtype Info: Loading generic protrusion settings for font family
(microtype) `cmss' (encoding: OT1).
(microtype) For optimal results, create family-specific settings.
(microtype) See the microtype manual for details.
Package microtype Info: Loading generic protrusion settings for font family
(microtype) `pcr' (encoding: T1).
(microtype) For optimal results, create family-specific settings.
(microtype) See the microtype manual for details.
Underfull \hbox (badness 10000) in paragraph at lines 174--179
[]\T1/ptm/m/sc/10 (+20) Recv$\OT1/ptmcm/m/n/10 (\OML/ptmcm/m/it/10 u[]; c; ^^[[
]; i[]\OT1/ptmcm/m/n/10 )$ \T1/ptm/m/n/10 (+20) --- re-trives the stored ses-si
on
[]
Underfull \hbox (badness 10000) in paragraph at lines 174--179
\OT1/ptmcm/m/n/10 ([][]\OML/ptmcm/m/it/10 ; [][]; i[]\OT1/ptmcm/m/n/10 )$\T1/pt
m/m/n/10 (+20) , com-putes $[]\OT1/ptmcm/m/n/10 ([][]\OML/ptmcm/m/it/10 ; c; ^^
[[]\OT1/ptmcm/m/n/10 )$\T1/ptm/m/n/10 (+20) , it-er-ates
[]
Underfull \hbox (badness 1308) in paragraph at lines 174--179
[][] \OMS/pzccm/m/n/10 []\OT1/ptmcm/m/n/10 ([][])$ $\OML/ptmcm/m/it/10 i[] \O
MS/pzccm/m/n/10 ^^@ \OML/ptmcm/m/it/10 i[]$ \T1/ptm/m/n/10 (+20) times, then fi
-nally com-putes
[]
(./diagrams/megolm.tex
Package msc Warning: parameter 4.4 is a float when integer was expected - recov
ering by advancing by 4+1 levels where last level is scaled by 0.4 on input lin
e 73.
Package msc Warning: parameter 2.3 is a float when integer was expected - recov
ering by advancing by 2+1 levels where last level is scaled by 0.3 on input lin
e 78.
Package msc Warning: parameter 1.5 is a float when integer was expected - recov
ering by advancing by 1+1 levels where last level is scaled by 0.5 on input lin
e 94.
Package msc Warning: parameter 6.5 is a float when integer was expected - recov
ering by advancing by 6+1 levels where last level is scaled by 0.5 on input lin
e 118.
Package msc Warning: parameter 6.5 is a float when integer was expected - recov
ering by advancing by 6+1 levels where last level is scaled by 0.5 on input lin
e 170.
Missing character: There is no . in font nullfont!
Missing character: There is no 3 in font nullfont!
Missing character: There is no 9 in font nullfont!
Missing character: There is no 7 in font nullfont!
Missing character: There is no 1 in font nullfont!
Missing character: There is no 7 in font nullfont!
Overfull \hbox (11.01193pt too wide) in paragraph at lines 323--324
[][]
[]
LaTeX Warning: `!h' float specifier changed to `!ht'.
)) (./sections/models.tex
[6]
LaTeX Warning: Text page 7 contains only floats.
LaTeX Warning: Text page 7 contains only floats.
[7]
Underfull \vbox (badness 10000) has occurred while \output is active []
[8]) (./sections/analysis.tex
[9]
Underfull \hbox (badness 7186) in paragraph at lines 68--69
\T1/ptm/m/n/10 (+20) main-tain per-fect for-ward se-crecy (P5) and post-
[]
(./diagrams/fail-cases.tex
Overfull \hbox (1.61018pt too wide) in alignment at lines 27--27
[][][][][][][]
[]
LaTeX Warning: `h' float specifier changed to `ht'.
)) (./sections/discussion.tex
Underfull \hbox (badness 6961) in paragraph at lines 3--3
[]\T1/ptm/b/n/12 (+20) Recommendations for pro-to-col im-ple-
[]
[10])
(./sections/limitations.tex
Underfull \hbox (badness 1783) in paragraph at lines 8--8
[][][]\T1/ptm/m/n/8 (+20) WhatsApp is not open source; how-ever, the im-ple-men
-ta-tion of
[]
Underfull \hbox (badness 5147) in paragraph at lines 8--8
\T1/ptm/m/n/8 (+20) the Key Trans-parency server is open source and avail-able
here:
[]
[11]) (./sections/conclusion.tex) (./sections/usenix.tex
Underfull \vbox (badness 3780) has occurred while \output is active []
) (./main.bbl
[12]
Underfull \hbox (badness 1400) in paragraph at lines 46--49
[]\T1/ptm/m/n/10 (+20) Richard Barnes, Karthikeyan Bhar-ga-van, Ben-jamin
[]
Underfull \hbox (badness 10000) in paragraph at lines 57--61
[]\T1/ptm/m/n/10 (+20) Karthikeyan Bhar-ga-van, Ab-hishek Bich-hawat,
[]
Underfull \hbox (badness 10000) in paragraph at lines 63--67
[]\T1/ptm/m/n/10 (+20) Karthikeyan Bhar-ga-van, Ab-hishek Bich-hawat,
[]
Underfull \hbox (badness 2173) in paragraph at lines 116--120
\T1/ptm/m/n/10 (+20) Dumittan. Real-world de-ni-a-bil-ity in mes-sag-ing.
[]
Underfull \hbox (badness 3039) in paragraph at lines 116--120
\T1/ptm/m/it/10 (+20) Pro-ceed-ings on Pri-vacy En-hanc-ing Tech-nolo-gies\T1/p
tm/m/n/10 (+20) ,
[]
Underfull \hbox (badness 4805) in paragraph at lines 122--125
\T1/ptm/m/n/10 (+20) Wiener. Au-then-ti-ca-tion and au-then-ti-cated key
[]
Underfull \hbox (badness 3758) in paragraph at lines 122--125
\T1/ptm/m/n/10 (+20) ex-changes. \T1/ptm/m/it/10 (+20) De-signs, Codes and Cry
p-tog-ra-phy\T1/ptm/m/n/10 (+20) ,
[]
Underfull \hbox (badness 2245) in paragraph at lines 162--167
[]\T1/ptm/m/n/10 (+20) Andreas H<>ls-ing, Kai-Chun Ning, Pe-ter Schwabe,
[]
[13]
Underfull \hbox (badness 10000) in paragraph at lines 219--225
[]\T1/ptm/m/n/10 (+20) matrix-org. doc-s/megolm.md. [][]$\T1/pcr/m/n/10 https
:
[]
Underfull \hbox (badness 10000) in paragraph at lines 219--225
\T1/pcr/m/n/10 / / gitlab . matrix . org / matrix-[]org / olm / -[] / blob /
[]
Underfull \hbox (badness 10000) in paragraph at lines 265--272
\T1/pcr/m/n/10 libsignal / blob / main / rust / protocol / src /
[]
Underfull \hbox (badness 10000) in paragraph at lines 292--295
[]\T1/ptm/m/n/10 (+20) Th<54>ophile Wallez, Ben-jamin Beur-douche, and
[]
)
[14] (./main.aux)
***********
LaTeX2e <2025-06-01> patch level 1
L3 programming layer <2025-06-09>
***********
LaTeX Font Warning: Size substitutions with differences
(Font) up to 0.55997pt have occurred.
LaTeX Warning: There were multiply-defined labels.
Package rerunfilecheck Info: File `main.out' has not changed.
(rerunfilecheck) Checksum: 6DED136EE18CF618D1B35E6E911361EF;5818.
)
Here is how much of TeX's memory you used:
39875 strings out of 469012
815884 string characters out of 5435860
1291810 words of memory out of 5000000
66791 multiletter control sequences out of 15000+600000
770930 words of font info for 608 fonts, out of 8000000 for 9000
433 hyphenation exceptions out of 8191
102i,16n,117p,1657b,1788s stack positions out of 10000i,1000n,20000p,200000b,200000s
</nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.202
50703-texmfdist/fonts/type1/public/amsfonts/cm/cmex10.pfb></nix/store/9pyhr9ky5
bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250703-texmfdist/fonts/t
ype1/public/amsfonts/cm/cmmi10.pfb></nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba
-texlive-combined-medium-2025.20250703-texmfdist/fonts/type1/public/amsfonts/cm
/cmr10.pfb></nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium
-2025.20250703-texmfdist/fonts/type1/public/amsfonts/cm/cmss10.pfb></nix/store/
9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250703-texmfdis
t/fonts/type1/public/amsfonts/cm/cmsy10.pfb></nix/store/9pyhr9ky5bbhsv4xai3bgxx
wxcxaa3ba-texlive-combined-medium-2025.20250703-texmfdist/fonts/type1/urw/couri
er/ucrr8a.pfb></nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-med
ium-2025.20250703-texmfdist/fonts/type1/urw/helvetic/uhvr8a.pfb></nix/store/9py
hr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250703-texmfdist/f
onts/type1/urw/helvetic/uhvro8a.pfb></nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3b
a-texlive-combined-medium-2025.20250703-texmfdist/fonts/type1/urw/symbol/usyr.p
fb></nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20
250703-texmfdist/fonts/type1/urw/times/utmb8a.pfb></nix/store/9pyhr9ky5bbhsv4xa
i3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250703-texmfdist/fonts/type1/urw
/times/utmr8a.pfb></nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined
-medium-2025.20250703-texmfdist/fonts/type1/urw/times/utmri8a.pfb></nix/store/9
pyhr9ky5bbhsv4xai3bgxxwxcxaa3ba-texlive-combined-medium-2025.20250703-texmfdist
/fonts/type1/urw/zapfchan/uzcmi8a.pfb></nix/store/9pyhr9ky5bbhsv4xai3bgxxwxcxaa
3ba-texlive-combined-medium-2025.20250703-texmfdist/fonts/type1/urw/zapfding/uz
dr.pfb>
Output written on ./main.pdf (14 pages, 224314 bytes).
PDF statistics:
491 PDF objects out of 1000 (max. 8388607)
431 compressed objects within 5 object streams
114 named destinations out of 1000 (max. 500000)
147709 words of extra memory for PDF output out of 154059 (max. 10000000)