This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023/Debian) (preloaded format=pdflatex 2023.10.11)  15 AUG 2025 00:59
entering extended mode
 restricted \write18 enabled.
 %&-line parsing enabled.
**Hanabi.tex
(./Hanabi.tex
LaTeX2e <2023-06-01>
L3 programming layer <2023-06-05>
(/usr/share/texlive/texmf-dist/tex/latex/koma-script/scrreport.cls
Document Class: scrreport 2023/04/24 v3.40 KOMA-Script document class (report)
(/usr/share/texlive/texmf-dist/tex/latex/koma-script/scrreprt.cls
Document Class: scrreprt 2023/04/24 v3.40 KOMA-Script document class (report)
(/usr/share/texlive/texmf-dist/tex/latex/koma-script/scrkbase.sty
Package: scrkbase 2023/04/24 v3.40 KOMA-Script package (KOMA-Script-dependent b
asics and keyval usage)

(/usr/share/texlive/texmf-dist/tex/latex/koma-script/scrbase.sty
Package: scrbase 2023/04/24 v3.40 KOMA-Script package (KOMA-Script-independent 
basics and keyval usage)

(/usr/share/texlive/texmf-dist/tex/latex/koma-script/scrlfile.sty
Package: scrlfile 2023/04/24 v3.40 KOMA-Script package (file load hooks)

(/usr/share/texlive/texmf-dist/tex/latex/koma-script/scrlfile-hook.sty
Package: scrlfile-hook 2023/04/24 v3.40 KOMA-Script package (using LaTeX hooks)


(/usr/share/texlive/texmf-dist/tex/latex/koma-script/scrlogo.sty
Package: scrlogo 2023/04/24 v3.40 KOMA-Script package (logo)
)))
(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty
Package: keyval 2022/05/29 v1.15 key=value parser (DPC)
\KV@toks@=\toks17
)
Applying: [2021/05/01] Usage of raw or classic option list on input line 252.
Already applied: [0000/00/00] Usage of raw or classic option list on input line
 368.
))
(/usr/share/texlive/texmf-dist/tex/latex/koma-script/tocbasic.sty
Package: tocbasic 2023/04/24 v3.40 KOMA-Script package (handling toc-files)
\scr@dte@tocline@numberwidth=\skip48
\scr@dte@tocline@numbox=\box51
)
Package tocbasic Info: omitting babel extension for `toc'
(tocbasic)             because of feature `nobabel' available
(tocbasic)             for `toc' on input line 135.
Package scrreprt Info: You've used standard option `10pt'.
(scrreprt)             This is correct!
(scrreprt)             Internally I'm using `fontsize=10pt'.
(scrreprt)             If you'd like to set the option with \KOMAoptions,
(scrreprt)             you'd have to use `fontsize=10pt' there
(scrreprt)             instead of `10pt', too.
Class scrreprt Info: File `scrsize10pt.clo' used to setup font sizes on input l
ine 2668.

(/usr/share/texlive/texmf-dist/tex/latex/koma-script/scrsize10pt.clo
File: scrsize10pt.clo 2023/04/24 v3.40 KOMA-Script font size class option (10pt
)
)
(/usr/share/texlive/texmf-dist/tex/latex/koma-script/typearea.sty
Package: typearea 2023/04/24 v3.40 KOMA-Script package (type area)
\ta@bcor=\skip49
\ta@div=\count185
Package typearea Info: You've used standard option `a4paper'.
(typearea)             This is correct!
(typearea)             Internally I'm using `paper=a4'.
(typearea)             If you'd like to set the option with \KOMAoptions,
(typearea)             you'd have to use `paper=a4' there
(typearea)             instead of `a4paper', too.
\ta@hblk=\skip50
\ta@vblk=\skip51
\ta@temp=\skip52
\footheight=\skip53
Package typearea Info: These are the values describing the layout:
(typearea)             DIV  = 8
(typearea)             BCOR = 0.0pt
(typearea)             \paperwidth      = 597.50793pt
(typearea)              \textwidth      = 373.44246pt
(typearea)              DIV departure   = -4%
(typearea)              \evensidemargin = 39.76274pt
(typearea)              \oddsidemargin  = 39.76274pt
(typearea)             \paperheight     = 845.04694pt
(typearea)              \textheight     = 538.0pt
(typearea)              \topmargin      = 0.36087pt
(typearea)              \headheight     = 15.0pt
(typearea)              \headsep        = 18.0pt
(typearea)              \topskip        = 10.0pt
(typearea)              \footskip       = 42.0pt
(typearea)              \baselineskip   = 12.0pt
(typearea)              on input line 1798.
)
\c@part=\count186
\c@chapter=\count187
\c@section=\count188
\c@subsection=\count189
\c@subsubsection=\count190
\c@paragraph=\count191
\c@subparagraph=\count192
\scr@dte@chapter@maxnumwidth=\skip54
Class scrreprt Info: using compatibility default `afterindent=bysign'
(scrreprt)           for `\chapter on input line 5961.
\scr@dte@section@maxnumwidth=\skip55
Class scrreprt Info: using compatibility default `runin=bysign'
(scrreprt)           for `\section on input line 5972.
Class scrreprt Info: using compatibility default `afterindent=bysign'
(scrreprt)           for `\section on input line 5972.
\scr@dte@part@maxnumwidth=\skip56
Class scrreprt Info: using compatibility default `afterindent=true'
(scrreprt)           for `\part on input line 5981.
\scr@dte@subsection@maxnumwidth=\skip57
Class scrreprt Info: using compatibility default `runin=bysign'
(scrreprt)           for `\subsection on input line 5991.
Class scrreprt Info: using compatibility default `afterindent=bysign'
(scrreprt)           for `\subsection on input line 5991.
\scr@dte@subsubsection@maxnumwidth=\skip58
Class scrreprt Info: using compatibility default `runin=bysign'
(scrreprt)           for `\subsubsection on input line 6001.
Class scrreprt Info: using compatibility default `afterindent=bysign'
(scrreprt)           for `\subsubsection on input line 6001.
\scr@dte@paragraph@maxnumwidth=\skip59
Class scrreprt Info: using compatibility default `runin=bysign'
(scrreprt)           for `\paragraph on input line 6012.
Class scrreprt Info: using compatibility default `afterindent=bysign'
(scrreprt)           for `\paragraph on input line 6012.
\scr@dte@subparagraph@maxnumwidth=\skip60
Class scrreprt Info: using compatibility default `runin=bysign'
(scrreprt)           for `\subparagraph on input line 6022.
Class scrreprt Info: using compatibility default `afterindent=bysign'
(scrreprt)           for `\subparagraph on input line 6022.
\abovecaptionskip=\skip61
\belowcaptionskip=\skip62
\c@pti@nb@sid@b@x=\box52
Package tocbasic Info: omitting babel extension for `lof'
(tocbasic)             because of feature `nobabel' available
(tocbasic)             for `lof' on input line 7199.
\scr@dte@figure@maxnumwidth=\skip63
\c@figure=\count193
Package tocbasic Info: omitting babel extension for `lot'
(tocbasic)             because of feature `nobabel' available
(tocbasic)             for `lot' on input line 7216.
\scr@dte@table@maxnumwidth=\skip64
\c@table=\count194
Class scrreprt Info: Redefining `\numberline' on input line 7387.
\bibindent=\dimen140
))
(./hanabi.sty
Package: hanabi 2022/02/10 - Style file for notes of Hanabi
 (/usr/share/texlive/texmf-dist/tex/latex/csquotes/csquotes.sty
Package: csquotes 2022-09-14 v5.2n context-sensitive quotations (JAW)

(/usr/share/texlive/texmf-dist/tex/latex/etoolbox/etoolbox.sty
Package: etoolbox 2020/10/05 v2.5k e-TeX tools for LaTeX (JAW)
\etb@tempcnta=\count195
)
\csq@reset=\count196
\csq@gtype=\count197
\csq@glevel=\count198
\csq@qlevel=\count199
\csq@maxlvl=\count266
\csq@tshold=\count267
\csq@ltx@everypar=\toks18

(/usr/share/texlive/texmf-dist/tex/latex/csquotes/csquotes.def
File: csquotes.def 2022-09-14 v5.2n csquotes generic definitions (JAW)
)
Package csquotes Info: Trying to load configuration file 'csquotes.cfg'...
Package csquotes Info: ... configuration file loaded successfully.

(/usr/share/texlive/texmf-dist/tex/latex/csquotes/csquotes.cfg
File: csquotes.cfg 
))
(/usr/share/texlive/texmf-dist/tex/latex/multirow/multirow.sty
Package: multirow 2021/03/15 v2.8 Span multiple rows of a table
\multirow@colwidth=\skip65
\multirow@cntb=\count268
\multirow@dima=\skip66
\bigstrutjot=\dimen141
)
(/usr/share/texlive/texmf-dist/tex/latex/diagbox/diagbox.sty
Package: diagbox 2020/02/09 v2.3 Making table heads with diagonal lines

(/usr/share/texlive/texmf-dist/tex/latex/pict2e/pict2e.sty
Package: pict2e 2020/09/30 v0.4b Improved picture commands (HjG,RN,JT)

(/usr/share/texlive/texmf-dist/tex/latex/pict2e/pict2e.cfg
File: pict2e.cfg 2016/02/05 v0.1u pict2e configuration for teTeX/TeXLive
)
Package pict2e Info: Driver file: pdftex.def on input line 112.

(/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def
File: pdftex.def 2022/09/22 v1.2b Graphics/color driver for pdftex
)
Package pict2e Info: Driver file for pict2e: p2e-pdftex.def on input line 114.

(/usr/share/texlive/texmf-dist/tex/latex/pict2e/p2e-pdftex.def
File: p2e-pdftex.def 2016/02/05 v0.1u Driver-dependant file (RN,HjG,JT)
)
(/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty
Package: trig 2021/08/11 v1.11 sin cos tan (DPC)
)
\pIIe@GRAPH=\toks19
\@arclen=\dimen142
\@arcrad=\dimen143
\pIIe@tempdima=\dimen144
\pIIe@tempdimb=\dimen145
\pIIe@tempdimc=\dimen146
\pIIe@tempdimd=\dimen147
\pIIe@tempdime=\dimen148
\pIIe@tempdimf=\dimen149
)
(/usr/share/texlive/texmf-dist/tex/latex/tools/calc.sty
Package: calc 2017/05/25 v4.3 Infix arithmetic (KKT,FJ)
\calc@Acount=\count269
\calc@Bcount=\count270
\calc@Adimen=\dimen150
\calc@Bdimen=\dimen151
\calc@Askip=\skip67
\calc@Bskip=\skip68
LaTeX Info: Redefining \setlength on input line 80.
LaTeX Info: Redefining \addtolength on input line 81.
\calc@Ccount=\count271
\calc@Cskip=\skip69
)
(/usr/share/texlive/texmf-dist/tex/latex/tools/array.sty
Package: array 2022/09/04 v2.5g Tabular extension package (FMi)
\col@sep=\dimen152
\ar@mcellbox=\box53
\extrarowheight=\dimen153
\NC@list=\toks20
\extratabsurround=\skip70
\backup@length=\skip71
\ar@cellbox=\box54
)
\diagbox@boxa=\box55
\diagbox@boxb=\box56
\diagbox@boxm=\box57
\diagbox@wd=\dimen154
\diagbox@ht=\dimen155
\diagbox@insepl=\dimen156
\diagbox@insepr=\dimen157
\diagbox@outsepl=\dimen158
\diagbox@outsepr=\dimen159
)
(./LatexPackagesBuild/wrappers/math/mkessler-math.sty
Package: mkessler-math 2022/01/30 - Main math package.

(/usr/share/texlive/texmf-dist/tex/latex/xkeyval/xkeyval.sty
Package: xkeyval 2022/06/16 v2.9 package option processing (HA)

(/usr/share/texlive/texmf-dist/tex/generic/xkeyval/xkeyval.tex
(/usr/share/texlive/texmf-dist/tex/generic/xkeyval/xkvutils.tex
\XKV@toks=\toks21
\XKV@tempa@toks=\toks22
)
\XKV@depth=\count272
File: xkeyval.tex 2014/12/03 v2.7a key=value parser (HA)
))
(./LatexPackagesBuild/math/mathfont/mkessler-mathfont.sty
Package: mkessler-mathfont 2022/01/30 - Collects several math fonts together

(/usr/share/texlive/texmf-dist/tex/latex/jknapltx/mathrsfs.sty
Package: mathrsfs 1996/01/01 Math RSFS package v1.0 (jk)
\symrsfs=\mathgroup4
)
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/eucal.sty
Package: eucal 2009/06/22 v3.00 Euler Script fonts
LaTeX Font Info:    Overwriting math alphabet `\EuScript' in version `bold'
(Font)                  U/eus/m/n --> U/eus/b/n on input line 33.
)
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty
Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support
\@emptytoks=\toks23
\symAMSa=\mathgroup5
\symAMSb=\mathgroup6
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.
))
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty
Package: amsmath 2023/05/13 v2.17o AMS math features
\@mathmargin=\skip72

For additional information on amsmath, use the `?' option.
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty
Package: amstext 2021/08/26 v2.01 AMS text

(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty
File: amsgen.sty 1999/11/30 v2.0 generic functions
\@emptytoks=\toks24
\ex@=\dimen160
))
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty
Package: amsbsy 1999/11/29 v1.2d Bold Symbols
\pmbraise@=\dimen161
)
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty
Package: amsopn 2022/04/08 v2.04 operator names
)
\inf@bad=\count273
LaTeX Info: Redefining \frac on input line 234.
\uproot@=\count274
\leftroot@=\count275
LaTeX Info: Redefining \overline on input line 399.
LaTeX Info: Redefining \colon on input line 410.
\classnum@=\count276
\DOTSCASE@=\count277
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@=\box58
\strutbox@=\box59
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=\dimen162
LaTeX Font Info:    Redeclaring font encoding OML on input line 743.
LaTeX Font Info:    Redeclaring font encoding OMS on input line 744.
\macc@depth=\count278
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=\count279
\dotsspace@=\muskip16
\c@parentequation=\count280
\dspbrk@lvl=\count281
\tag@help=\toks25
\row@=\count282
\column@=\count283
\maxfields@=\count284
\andhelp@=\toks26
\eqnshift@=\dimen163
\alignsep@=\dimen164
\tagshift@=\dimen165
\tagwidth@=\dimen166
\totwidth@=\dimen167
\lineht@=\dimen168
\@envbody=\toks27
\multlinegap=\skip73
\multlinetaggap=\skip74
\mathdisplay@stack=\toks28
LaTeX Info: Redefining \[ on input line 2953.
LaTeX Info: Redefining \] on input line 2954.
)
(/usr/share/texlive/texmf-dist/tex/latex/mathtools/mathtools.sty
Package: mathtools 2022/06/29 v1.29 mathematical typesetting tools

(/usr/share/texlive/texmf-dist/tex/latex/mathtools/mhsetup.sty
Package: mhsetup 2021/03/18 v1.4 programming setup (MH)
)
\g_MT_multlinerow_int=\count285
\l_MT_multwidth_dim=\dimen169
\origjot=\skip75
\l_MT_shortvdotswithinadjustabove_dim=\dimen170
\l_MT_shortvdotswithinadjustbelow_dim=\dimen171
\l_MT_above_intertext_sep=\dimen172
\l_MT_below_intertext_sep=\dimen173
\l_MT_above_shortintertext_sep=\dimen174
\l_MT_below_shortintertext_sep=\dimen175
\xmathstrut@box=\box60
\xmathstrut@dim=\dimen176
)
(/usr/share/texlive/texmf-dist/tex/latex/amscls/amsthm.sty
Package: amsthm 2020/05/29 v2.20.6
\thm@style=\toks29
\thm@bodyfont=\toks30
\thm@headfont=\toks31
\thm@notefont=\toks32
\thm@headpunct=\toks33
\thm@preskip=\skip76
\thm@postskip=\skip77
\thm@headsep=\skip78
\dth@everypar=\toks34
)
(/usr/share/texlive/texmf-dist/tex/latex/xpatch/xpatch.sty
(/usr/share/texlive/texmf-dist/tex/latex/l3kernel/expl3.sty
Package: expl3 2023-06-05 L3 programming layer (loader) 

(/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def
File: l3backend-pdftex.def 2023-04-19 L3 backend support: PDF output (pdfTeX)
\l__color_backend_stack_int=\count286
\l__pdf_internal_box=\box61
))
Package: xpatch 2020/03/25 v0.3a Extending etoolbox patching commands

(/usr/share/texlive/texmf-dist/tex/latex/l3packages/xparse/xparse.sty
Package: xparse 2023-02-02 L3 Experimental document command parser
))
Class scrreprt Info: amsthm's \deferred@thm@head patched.

(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty
Package: amssymb 2013/01/14 v3.01 AMS font symbols
)
(/usr/share/texlive/texmf-dist/tex/latex/base/latexsym.sty
Package: latexsym 1998/08/17 v2.2e Standard LaTeX package (lasy symbols)
\symlasy=\mathgroup7
LaTeX Font Info:    Overwriting symbol font `lasy' in version `bold'
(Font)                  U/lasy/m/n --> U/lasy/b/n on input line 52.
)
(/usr/share/texlive/texmf-dist/tex/generic/mathabx/mathabx.sty
Package: mathabx 2003/07/29 v0.0 Non-standard LaTeX package mathabx
\symmatha=\mathgroup8
\symmathb=\mathgroup9
\symmathx=\mathgroup10

(/usr/share/texlive/texmf-dist/tex/generic/mathabx/mathabx.dcl
LaTeX Font Info:    Redeclaring math symbol \cdotp on input line 25.
LaTeX Font Info:    Redeclaring math symbol \times on input line 33.
LaTeX Font Info:    Redeclaring math symbol \div on input line 34.
LaTeX Font Info:    Redeclaring math symbol \cdot on input line 35.
LaTeX Font Info:    Redeclaring math symbol \circ on input line 36.
LaTeX Font Info:    Redeclaring math symbol \ast on input line 38.
LaTeX Font Info:    Redeclaring math symbol \pm on input line 41.
LaTeX Font Info:    Redeclaring math symbol \mp on input line 42.
LaTeX Font Info:    Redeclaring math symbol \ltimes on input line 43.
LaTeX Font Info:    Redeclaring math symbol \rtimes on input line 44.
LaTeX Font Info:    Redeclaring math symbol \diamond on input line 45.
LaTeX Font Info:    Redeclaring math symbol \bullet on input line 46.
LaTeX Font Info:    Redeclaring math symbol \star on input line 47.
LaTeX Font Info:    Redeclaring math symbol \amalg on input line 51.
LaTeX Font Info:    Redeclaring math symbol \dotplus on input line 58.
LaTeX Font Info:    Redeclaring math symbol \square on input line 63.
LaTeX Font Info:    Redeclaring math symbol \divideontimes on input line 71.
LaTeX Font Info:    Redeclaring math symbol \bigstar on input line 75.
LaTeX Font Info:    Redeclaring math symbol \equiv on input line 83.
LaTeX Font Info:    Redeclaring math symbol \sim on input line 84.
LaTeX Font Info:    Redeclaring math symbol \approx on input line 85.
LaTeX Font Info:    Redeclaring math symbol \simeq on input line 86.
LaTeX Font Info:    Redeclaring math symbol \asymp on input line 89.
LaTeX Font Info:    Redeclaring math symbol \nsim on input line 97.
LaTeX Font Info:    Redeclaring math symbol \ncong on input line 100.
LaTeX Font Info:    Redeclaring math symbol \risingdotseq on input line 118.
LaTeX Font Info:    Redeclaring math symbol \fallingdotseq on input line 119.
LaTeX Font Info:    Redeclaring math symbol \circeq on input line 125.
LaTeX Font Info:    Redeclaring math symbol \eqcirc on input line 126.
LaTeX Font Info:    Redeclaring math symbol \triangleq on input line 127.
LaTeX Font Info:    Redeclaring math symbol \neg on input line 134.
LaTeX Font Info:    Redeclaring math symbol \ll on input line 136.
LaTeX Font Info:    Redeclaring math symbol \gg on input line 137.
LaTeX Font Info:    Redeclaring math symbol \vdash on input line 139.
LaTeX Font Info:    Redeclaring math symbol \dashv on input line 140.
LaTeX Font Info:    Redeclaring math symbol \nvdash on input line 141.
LaTeX Font Info:    Redeclaring math symbol \vDash on input line 143.
LaTeX Font Info:    Redeclaring math symbol \nvDash on input line 145.
LaTeX Font Info:    Redeclaring math symbol \Vdash on input line 147.
LaTeX Font Info:    Redeclaring math symbol \nVdash on input line 149.
LaTeX Font Info:    Redeclaring math symbol \flat on input line 158.
LaTeX Font Info:    Redeclaring math symbol \natural on input line 159.
LaTeX Font Info:    Redeclaring math symbol \sharp on input line 160.
LaTeX Font Info:    Redeclaring math symbol \infty on input line 161.
LaTeX Font Info:    Redeclaring math symbol \propto on input line 162.
LaTeX Font Info:    Redeclaring math symbol \dagger on input line 163.
LaTeX Font Info:    Redeclaring math symbol \ddagger on input line 164.
LaTeX Font Info:    Redeclaring math symbol \between on input line 170.
LaTeX Font Info:    Redeclaring math symbol \smile on input line 171.
LaTeX Font Info:    Redeclaring math symbol \frown on input line 172.
LaTeX Font Info:    Redeclaring math symbol \leftthreetimes on input line 174.
LaTeX Font Info:    Redeclaring math symbol \rightthreetimes on input line 175.

LaTeX Font Info:    Redeclaring math symbol \pitchfork on input line 176.
LaTeX Font Info:    Redeclaring math symbol \nVDash on input line 182.
LaTeX Font Info:    Redeclaring math symbol \Vvdash on input line 184.
LaTeX Font Info:    Redeclaring math symbol \therefore on input line 189.
LaTeX Font Info:    Redeclaring math symbol \because on input line 190.
LaTeX Font Info:    Redeclaring math accent \dot on input line 193.
LaTeX Font Info:    Redeclaring math accent \ddot on input line 195.
LaTeX Font Info:    Redeclaring math symbol \measuredangle on input line 202.
LaTeX Font Info:    Redeclaring math symbol \sphericalangle on input line 203.
LaTeX Font Info:    Redeclaring math symbol \setminus on input line 218.
LaTeX Font Info:    Redeclaring math symbol \mid on input line 222.
LaTeX Font Info:    Redeclaring math symbol \forall on input line 279.
LaTeX Font Info:    Redeclaring math symbol \complement on input line 280.
LaTeX Font Info:    Redeclaring math symbol \partial on input line 281.
LaTeX Font Info:    Redeclaring math symbol \exists on input line 284.
LaTeX Font Info:    Redeclaring math symbol \nexists on input line 285.
LaTeX Font Info:    Redeclaring math symbol \Finv on input line 286.
LaTeX Font Info:    Redeclaring math symbol \Game on input line 287.
LaTeX Font Info:    Redeclaring math symbol \emptyset on input line 288.
LaTeX Font Info:    Redeclaring math symbol \top on input line 290.
LaTeX Font Info:    Redeclaring math symbol \bot on input line 291.
LaTeX Font Info:    Redeclaring math symbol \perp on input line 292.
LaTeX Font Info:    Redeclaring math symbol \curlywedge on input line 296.
LaTeX Font Info:    Redeclaring math symbol \curlyvee on input line 297.
LaTeX Font Info:    Redeclaring math symbol \in on input line 299.
LaTeX Font Info:    Redeclaring math symbol \owns on input line 300.
LaTeX Font Info:    Redeclaring math symbol \cap on input line 312.
LaTeX Font Info:    Redeclaring math symbol \cup on input line 313.
LaTeX Font Info:    Redeclaring math symbol \uplus on input line 314.
LaTeX Font Info:    Redeclaring math symbol \sqcap on input line 315.
LaTeX Font Info:    Redeclaring math symbol \sqcup on input line 316.
LaTeX Font Info:    Redeclaring math symbol \wedge on input line 318.
LaTeX Font Info:    Redeclaring math symbol \vee on input line 320.
LaTeX Font Info:    Redeclaring math symbol \barwedge on input line 327.
LaTeX Font Info:    Redeclaring math symbol \veebar on input line 328.
LaTeX Font Info:    Redeclaring math symbol \doublebarwedge on input line 329.
LaTeX Font Info:    Redeclaring math symbol \doublecap on input line 331.
LaTeX Font Info:    Redeclaring math symbol \doublecup on input line 333.
LaTeX Font Info:    Redeclaring math symbol \subset on input line 344.
LaTeX Font Info:    Redeclaring math symbol \supset on input line 345.
LaTeX Font Info:    Redeclaring math symbol \subseteq on input line 348.
LaTeX Font Info:    Redeclaring math symbol \supseteq on input line 349.
LaTeX Font Info:    Redeclaring math symbol \nsubseteq on input line 350.
LaTeX Font Info:    Redeclaring math symbol \nsupseteq on input line 351.
LaTeX Font Info:    Redeclaring math symbol \subsetneq on input line 352.
LaTeX Font Info:    Redeclaring math symbol \supsetneq on input line 353.
LaTeX Font Info:    Redeclaring math symbol \varsubsetneq on input line 354.
LaTeX Font Info:    Redeclaring math symbol \varsupsetneq on input line 355.
LaTeX Font Info:    Redeclaring math symbol \subseteqq on input line 357.
LaTeX Font Info:    Redeclaring math symbol \supseteqq on input line 358.
LaTeX Font Info:    Redeclaring math symbol \nsubseteqq on input line 359.
LaTeX Font Info:    Redeclaring math symbol \nsupseteqq on input line 360.
LaTeX Font Info:    Redeclaring math symbol \subsetneqq on input line 361.
LaTeX Font Info:    Redeclaring math symbol \supsetneqq on input line 362.
LaTeX Font Info:    Redeclaring math symbol \varsubsetneqq on input line 363.
LaTeX Font Info:    Redeclaring math symbol \varsupsetneqq on input line 364.
LaTeX Font Info:    Redeclaring math symbol \Subset on input line 366.
LaTeX Font Info:    Redeclaring math symbol \Supset on input line 367.
LaTeX Font Info:    Redeclaring math symbol \sqsubseteq on input line 380.
LaTeX Font Info:    Redeclaring math symbol \sqsupseteq on input line 381.
LaTeX Font Info:    Redeclaring math symbol \triangleleft on input line 407.
LaTeX Font Info:    Redeclaring math symbol \vartriangleleft on input line 408.

LaTeX Font Info:    Redeclaring math symbol \triangleright on input line 409.
LaTeX Font Info:    Redeclaring math symbol \vartriangleright on input line 410
.
LaTeX Font Info:    Redeclaring math symbol \ntriangleleft on input line 411.
LaTeX Font Info:    Redeclaring math symbol \ntriangleright on input line 412.
LaTeX Font Info:    Redeclaring math symbol \trianglelefteq on input line 413.
LaTeX Font Info:    Redeclaring math symbol \trianglerighteq on input line 414.

LaTeX Font Info:    Redeclaring math symbol \ntrianglelefteq on input line 415.

LaTeX Font Info:    Redeclaring math symbol \ntrianglerighteq on input line 416
.
LaTeX Font Info:    Redeclaring math symbol \blacktriangledown on input line 42
7.
LaTeX Font Info:    Redeclaring math symbol \blacktriangleleft on input line 42
8.
LaTeX Font Info:    Redeclaring math symbol \blacktriangleright on input line 4
29.
LaTeX Font Info:    Redeclaring math symbol \nless on input line 437.
LaTeX Font Info:    Redeclaring math symbol \ngtr on input line 438.
LaTeX Font Info:    Redeclaring math symbol \leq on input line 439.
LaTeX Font Info:    Redeclaring math symbol \geq on input line 441.
LaTeX Font Info:    Redeclaring math symbol \nleq on input line 443.
LaTeX Font Info:    Redeclaring math symbol \ngeq on input line 445.
LaTeX Font Info:    Redeclaring math symbol \lneq on input line 451.
LaTeX Font Info:    Redeclaring math symbol \gneq on input line 452.
LaTeX Font Info:    Redeclaring math symbol \leqq on input line 453.
LaTeX Font Info:    Redeclaring math symbol \geqq on input line 454.
LaTeX Font Info:    Redeclaring math symbol \nleqq on input line 455.
LaTeX Font Info:    Redeclaring math symbol \ngeqq on input line 456.
LaTeX Font Info:    Redeclaring math symbol \lneqq on input line 457.
LaTeX Font Info:    Redeclaring math symbol \gneqq on input line 458.
LaTeX Font Info:    Redeclaring math symbol \lvertneqq on input line 459.
LaTeX Font Info:    Redeclaring math symbol \gvertneqq on input line 460.
LaTeX Font Info:    Redeclaring math symbol \eqslantless on input line 461.
LaTeX Font Info:    Redeclaring math symbol \eqslantgtr on input line 462.
LaTeX Font Info:    Redeclaring math symbol \lessgtr on input line 465.
LaTeX Font Info:    Redeclaring math symbol \gtrless on input line 466.
LaTeX Font Info:    Redeclaring math symbol \lesseqgtr on input line 467.
LaTeX Font Info:    Redeclaring math symbol \gtreqless on input line 468.
LaTeX Font Info:    Redeclaring math symbol \lesseqqgtr on input line 469.
LaTeX Font Info:    Redeclaring math symbol \gtreqqless on input line 470.
LaTeX Font Info:    Redeclaring math symbol \lesssim on input line 472.
LaTeX Font Info:    Redeclaring math symbol \gtrsim on input line 473.
LaTeX Font Info:    Redeclaring math symbol \lnsim on input line 476.
LaTeX Font Info:    Redeclaring math symbol \gnsim on input line 477.
LaTeX Font Info:    Redeclaring math symbol \lessapprox on input line 478.
LaTeX Font Info:    Redeclaring math symbol \gtrapprox on input line 479.
LaTeX Font Info:    Redeclaring math symbol \lnapprox on input line 482.
LaTeX Font Info:    Redeclaring math symbol \gnapprox on input line 483.
LaTeX Font Info:    Redeclaring math symbol \lessdot on input line 485.
LaTeX Font Info:    Redeclaring math symbol \gtrdot on input line 486.
LaTeX Font Info:    Redeclaring math symbol \lll on input line 488.
LaTeX Font Info:    Redeclaring math symbol \ggg on input line 489.
LaTeX Font Info:    Redeclaring math symbol \prec on input line 498.
LaTeX Font Info:    Redeclaring math symbol \succ on input line 499.
LaTeX Font Info:    Redeclaring math symbol \nprec on input line 500.
LaTeX Font Info:    Redeclaring math symbol \nsucc on input line 501.
LaTeX Font Info:    Redeclaring math symbol \preccurlyeq on input line 502.
LaTeX Font Info:    Redeclaring math symbol \succcurlyeq on input line 503.
LaTeX Font Info:    Redeclaring math symbol \preceq on input line 506.
LaTeX Font Info:    Redeclaring math symbol \succeq on input line 507.
LaTeX Font Info:    Redeclaring math symbol \npreceq on input line 508.
LaTeX Font Info:    Redeclaring math symbol \nsucceq on input line 509.
LaTeX Font Info:    Redeclaring math symbol \curlyeqprec on input line 512.
LaTeX Font Info:    Redeclaring math symbol \curlyeqsucc on input line 513.
LaTeX Font Info:    Redeclaring math symbol \precsim on input line 517.
LaTeX Font Info:    Redeclaring math symbol \succsim on input line 518.
LaTeX Font Info:    Redeclaring math symbol \precnsim on input line 521.
LaTeX Font Info:    Redeclaring math symbol \succnsim on input line 522.
LaTeX Font Info:    Redeclaring math symbol \precapprox on input line 523.
LaTeX Font Info:    Redeclaring math symbol \succapprox on input line 524.
LaTeX Font Info:    Redeclaring math symbol \precnapprox on input line 527.
LaTeX Font Info:    Redeclaring math symbol \succnapprox on input line 528.
LaTeX Font Info:    Redeclaring math symbol \leftarrow on input line 540.
LaTeX Font Info:    Redeclaring math symbol \rightarrow on input line 542.
LaTeX Font Info:    Redeclaring math symbol \nwarrow on input line 546.
LaTeX Font Info:    Redeclaring math symbol \nearrow on input line 547.
LaTeX Font Info:    Redeclaring math symbol \swarrow on input line 548.
LaTeX Font Info:    Redeclaring math symbol \searrow on input line 549.
LaTeX Font Info:    Redeclaring math symbol \leftrightarrow on input line 550.
LaTeX Font Info:    Redeclaring math symbol \nleftarrow on input line 552.
LaTeX Font Info:    Redeclaring math symbol \nrightarrow on input line 553.
LaTeX Font Info:    Redeclaring math symbol \nleftrightarrow on input line 554.

LaTeX Font Info:    Redeclaring math symbol \mapstochar on input line 557.
LaTeX Font Info:    Redeclaring math symbol \leftharpoonup on input line 560.
LaTeX Font Info:    Redeclaring math symbol \rightharpoonup on input line 561.
LaTeX Font Info:    Redeclaring math symbol \leftharpoondown on input line 562.

LaTeX Font Info:    Redeclaring math symbol \rightharpoondown on input line 563
.
LaTeX Font Info:    Redeclaring math symbol \upharpoonleft on input line 564.
LaTeX Font Info:    Redeclaring math symbol \downharpoonleft on input line 565.

LaTeX Font Info:    Redeclaring math symbol \upharpoonright on input line 566.
LaTeX Font Info:    Redeclaring math symbol \restriction on input line 567.
LaTeX Font Info:    Redeclaring math symbol \downharpoonright on input line 568
.
LaTeX Font Info:    Redeclaring math symbol \leftrightharpoons on input line 56
9.
LaTeX Font Info:    Redeclaring math symbol \Leftarrow on input line 575.
LaTeX Font Info:    Redeclaring math symbol \Rightarrow on input line 576.
LaTeX Font Info:    Redeclaring math symbol \Leftrightarrow on input line 579.
LaTeX Font Info:    Redeclaring math symbol \nLeftarrow on input line 581.
LaTeX Font Info:    Redeclaring math symbol \nRightarrow on input line 582.
LaTeX Font Info:    Redeclaring math symbol \nLeftrightarrow on input line 583.

LaTeX Font Info:    Redeclaring math symbol \leftleftarrows on input line 593.
LaTeX Font Info:    Redeclaring math symbol \rightrightarrows on input line 594
.
LaTeX Font Info:    Redeclaring math symbol \upuparrows on input line 595.
LaTeX Font Info:    Redeclaring math symbol \downdownarrows on input line 596.
LaTeX Font Info:    Redeclaring math symbol \leftrightarrows on input line 597.

LaTeX Font Info:    Redeclaring math symbol \rightleftarrows on input line 598.

LaTeX Font Info:    Redeclaring math symbol \rhook on input line 612.
LaTeX Font Info:    Redeclaring math symbol \lhook on input line 613.
LaTeX Font Info:    Redeclaring math symbol \diagup on input line 614.
LaTeX Font Info:    Redeclaring math symbol \diagdown on input line 615.
LaTeX Font Info:    Redeclaring math symbol \Lsh on input line 617.
LaTeX Font Info:    Redeclaring math symbol \Rsh on input line 619.
LaTeX Font Info:    Redeclaring math symbol \looparrowleft on input line 624.
LaTeX Font Info:    Redeclaring math symbol \looparrowright on input line 626.
LaTeX Font Info:    Redeclaring math symbol \curvearrowleft on input line 631.
LaTeX Font Info:    Redeclaring math symbol \curvearrowright on input line 633.

LaTeX Font Info:    Redeclaring math symbol \circlearrowleft on input line 641.

LaTeX Font Info:    Redeclaring math symbol \circlearrowright on input line 642
.
LaTeX Font Info:    Redeclaring math symbol \rightsquigarrow on input line 645.

LaTeX Font Info:    Redeclaring math symbol \leftrightsquigarrow on input line 
646.
LaTeX Font Info:    Redeclaring math symbol \oplus on input line 658.
LaTeX Font Info:    Redeclaring math symbol \ominus on input line 659.
LaTeX Font Info:    Redeclaring math symbol \otimes on input line 661.
LaTeX Font Info:    Redeclaring math symbol \odot on input line 663.
LaTeX Font Info:    Redeclaring math symbol \oslash on input line 675.
LaTeX Font Info:    Redeclaring math symbol \boxplus on input line 683.
LaTeX Font Info:    Redeclaring math symbol \boxminus on input line 684.
LaTeX Font Info:    Redeclaring math symbol \boxtimes on input line 686.
LaTeX Font Info:    Redeclaring math symbol \boxdot on input line 688.
\mayacnter=\count287
\mayacnta=\count288
\mayacntb=\count289
\mayacntc=\count290
\mayawidth=\dimen177
LaTeX Font Info:    Redeclaring math symbol \intop on input line 753.
LaTeX Font Info:    Redeclaring math symbol \ointop on input line 760.
LaTeX Font Info:    Redeclaring math delimiter \lbrace on input line 842.
LaTeX Info: Redefining \{ on input line 846.
LaTeX Font Info:    Redeclaring math delimiter \rbrace on input line 848.
LaTeX Info: Redefining \} on input line 852.
LaTeX Font Info:    Redeclaring math delimiter \langle on input line 858.
LaTeX Font Info:    Redeclaring math delimiter \rangle on input line 859.
LaTeX Font Info:    Redeclaring math delimiter \vert on input line 863.
LaTeX Font Info:    Redeclaring math delimiter \Vert on input line 865.
LaTeX Font Info:    Redeclaring math delimiter \uparrow on input line 868.
LaTeX Font Info:    Redeclaring math delimiter \downarrow on input line 869.
LaTeX Font Info:    Redeclaring math delimiter \updownarrow on input line 870.
LaTeX Font Info:    Redeclaring math delimiter \Uparrow on input line 871.
LaTeX Font Info:    Redeclaring math delimiter \Downarrow on input line 872.
LaTeX Font Info:    Redeclaring math delimiter \Updownarrow on input line 873.
LaTeX Font Info:    Redeclaring math delimiter \lgroup on input line 880.
LaTeX Font Info:    Redeclaring math delimiter \rgroup on input line 881.
LaTeX Font Info:    Redeclaring math delimiter \lceil on input line 882.
LaTeX Font Info:    Redeclaring math delimiter \rceil on input line 883.
LaTeX Font Info:    Redeclaring math delimiter \lfloor on input line 884.
LaTeX Font Info:    Redeclaring math delimiter \rfloor on input line 885.
LaTeX Font Info:    Redeclaring math symbol \braceld on input line 903.
LaTeX Font Info:    Redeclaring math symbol \bracerd on input line 905.
LaTeX Font Info:    Redeclaring math symbol \bracelu on input line 907.
LaTeX Font Info:    Redeclaring math symbol \braceru on input line 909.
LaTeX Font Info:    Redeclaring math accent \widehat on input line 944.
LaTeX Font Info:    Redeclaring math accent \widetilde on input line 946.
))
(/usr/share/texlive/texmf-dist/tex/latex/esint/esint.sty
Package: esint 
\symlargesymbolsA=\mathgroup11
)
(/usr/share/texlive/texmf-dist/tex/latex/ieeetran/IEEEtrantools.sty
Package: IEEEtrantools 2015/08/26 V1.5 by Michael Shell

-- See the "IEEEtrantools_doc.txt" manual for usage information.
-- http://www.michaelshell.org/tex/ieeetran/tools/
\@IEEEtrantmpdimenA=\dimen178
\@IEEEtrantmpdimenB=\dimen179
\@IEEEtrantmpdimenC=\dimen180
\@IEEEtrantmpcountA=\count291
\@IEEEtrantmpcountB=\count292
\@IEEEtrantmpcountC=\count293
\@IEEEtrantmptoksA=\toks35
\IEEEnormaljot=\dimen181
\IEEEquantizedlength=\dimen182
\IEEEquantizedlengthdiff=\dimen183
\IEEEquantizedtextheightdiff=\dimen184
\IEEEilabelindentA=\dimen185
\IEEEilabelindentB=\dimen186
\IEEEilabelindent=\dimen187
\IEEEelabelindent=\dimen188
\IEEEdlabelindent=\dimen189
\IEEElabelindent=\dimen190
\IEEEiednormlabelsep=\dimen191
\IEEEiedmathlabelsep=\dimen192
\IEEEiedtopsep=\skip79
\c@IEEEsubequation=\count294
\@IEEEeqnnumcols=\count295
\@IEEEeqncolcnt=\count296
\@IEEEsubeqnnumrollback=\count297
\IEEEPARstartletwidth=\dimen193
) (/usr/share/texlive/texmf-dist/tex/latex/algorithm2e/algorithm2e.sty
Package: algorithm2e 2017/07/18 v5.2 algorithms environments
\c@AlgoLine=\count298

(/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty
Package: ifthen 2022/04/13 v1.1d Standard LaTeX ifthen package (DPC)
)
\algocf@hangindent=\skip80

(/usr/share/texlive/texmf-dist/tex/latex/ifoddpage/ifoddpage.sty
Package: ifoddpage 2022/10/18 v1.2 Conditionals for odd/even page detection
\c@checkoddpage=\count299
)
(/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty
Package: xspace 2014/10/28 v1.13 Space after command names (DPC,MH)
)
(/usr/share/texlive/texmf-dist/tex/latex/relsize/relsize.sty
Package: relsize 2013/03/29 ver 4.1
)
\skiptotal=\skip81
\skiplinenumber=\skip82
\skiprule=\skip83
\skiphlne=\skip84
\skiptext=\skip85
\skiplength=\skip86
\algomargin=\skip87
\skipalgocfslide=\skip88
\algowidth=\dimen194
\inoutsize=\dimen195
\inoutindent=\dimen196
\interspacetitleruled=\dimen197
\interspacealgoruled=\dimen198
\interspacetitleboxruled=\dimen199
\algocf@ruledwidth=\skip89
\algocf@inoutbox=\box62
\algocf@inputbox=\box63
\AlCapSkip=\skip90
\AlCapHSkip=\skip91
\algoskipindent=\skip92
\algocf@nlbox=\box64
\algocf@hangingbox=\box65
\algocf@untilbox=\box66
\algocf@skipuntil=\skip93
\algocf@capbox=\box67
\algocf@lcaptionbox=\skip94
\algoheightruledefault=\skip95
\algoheightrule=\skip96
\algotitleheightruledefault=\skip97
\algotitleheightrule=\skip98
\c@algocfline=\count300
\c@algocfproc=\count301
\c@algocf=\count302
\algocf@algoframe=\box68
\algocf@algobox=\box69
)
(./LatexPackagesBuild/math/faktor/mkessler-faktor.sty
Package: mkessler-faktor 2022/01/30 - Faktor package that also handles cofaktor
s
)
(./LatexPackagesBuild/math/mathsymb/mkessler-mathsymb.sty
Package: mkessler-mathsymb 2022/06/27 - Some extra math-related symbols.

(/usr/share/texlive/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty
(/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty
(/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex
\pgfutil@everybye=\toks36
\pgfutil@tempdima=\dimen256
\pgfutil@tempdimb=\dimen257
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def
\pgfutil@abb=\box70
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex
(/usr/share/texlive/texmf-dist/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)

(/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty
(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty
Package: graphicx 2021/09/16 v1.2d Enhanced LaTeX Graphics (DPC,SPQR)

(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty
Package: graphics 2022/03/10 v1.4e Standard LaTeX Graphics (DPC,SPQR)

(/usr/share/texlive/texmf-dist/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.
)
\Gin@req@height=\dimen258
\Gin@req@width=\dimen259
)
(/usr/share/texlive/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex
Package: pgfsys 2023-01-15 v3.1.10 (3.1.10)

(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
\pgfkeys@pathtoks=\toks37
\pgfkeys@temptoks=\toks38

(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeyslibraryfiltered
.code.tex
\pgfkeys@tmptoks=\toks39
))
\pgf@x=\dimen260
\pgf@y=\dimen261
\pgf@xa=\dimen262
\pgf@ya=\dimen263
\pgf@xb=\dimen264
\pgf@yb=\dimen265
\pgf@xc=\dimen266
\pgf@yc=\dimen267
\pgf@xd=\dimen268
\pgf@yd=\dimen269
\w@pgf@writea=\write3
\r@pgf@reada=\read2
\c@pgf@counta=\count303
\c@pgf@countb=\count304
\c@pgf@countc=\count305
\c@pgf@countd=\count306
\t@pgf@toka=\toks40
\t@pgf@tokb=\toks41
\t@pgf@tokc=\toks42
\pgf@sys@id@count=\count307
 (/usr/share/texlive/texmf-dist/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
(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def
File: pgfsys-pdftex.def 2023-01-15 v3.1.10 (3.1.10)

(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.de
f
File: pgfsys-common-pdf.def 2023-01-15 v3.1.10 (3.1.10)
)))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.
tex
File: pgfsyssoftpath.code.tex 2023-01-15 v3.1.10 (3.1.10)
\pgfsyssoftpath@smallbuffer@items=\count308
\pgfsyssoftpath@bigbuffer@items=\count309
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.
tex
File: pgfsysprotocol.code.tex 2023-01-15 v3.1.10 (3.1.10)
)) (/usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty
Package: xcolor 2022/06/12 v2.14 LaTeX color extensions (UK)

(/usr/share/texlive/texmf-dist/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 227.

(/usr/share/texlive/texmf-dist/tex/latex/graphics/mathcolor.ltx)
Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1353.
Package xcolor Info: Model `hsb' substituted by `rgb' on input line 1357.
Package xcolor Info: Model `RGB' extended on input line 1369.
Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1371.
Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1372.
Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1373.
Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1374.
Package xcolor Info: Model `Gray' substituted by `gray' on input line 1375.
Package xcolor Info: Model `wave' substituted by `hsb' on input line 1376.
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex
Package: pgfcore 2023-01-15 v3.1.10 (3.1.10)

(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex
\pgfmath@dimen=\dimen270
\pgfmath@count=\count310
\pgfmath@box=\box71
\pgfmath@toks=\toks43
\pgfmath@stack@operand=\toks44
\pgfmath@stack@operation=\toks45
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code
.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonomet
ric.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.cod
e.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison
.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.
tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code
.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.
tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerari
thmetics.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex
\c@pgfmathroundto@lastzeros=\count311
))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfint.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.te
x
File: pgfcorepoints.code.tex 2023-01-15 v3.1.10 (3.1.10)
\pgf@picminx=\dimen271
\pgf@picmaxx=\dimen272
\pgf@picminy=\dimen273
\pgf@picmaxy=\dimen274
\pgf@pathminx=\dimen275
\pgf@pathmaxx=\dimen276
\pgf@pathminy=\dimen277
\pgf@pathmaxy=\dimen278
\pgf@xx=\dimen279
\pgf@xy=\dimen280
\pgf@yx=\dimen281
\pgf@yy=\dimen282
\pgf@zx=\dimen283
\pgf@zy=\dimen284
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.
code.tex
File: pgfcorepathconstruct.code.tex 2023-01-15 v3.1.10 (3.1.10)
\pgf@path@lastx=\dimen285
\pgf@path@lasty=\dimen286
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code
.tex
File: pgfcorepathusage.code.tex 2023-01-15 v3.1.10 (3.1.10)
\pgf@shorten@end@additional=\dimen287
\pgf@shorten@start@additional=\dimen288
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.te
x
File: pgfcorescopes.code.tex 2023-01-15 v3.1.10 (3.1.10)
\pgfpic=\box72
\pgf@hbox=\box73
\pgf@layerbox@main=\box74
\pgf@picture@serial@count=\count312
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.c
ode.tex
File: pgfcoregraphicstate.code.tex 2023-01-15 v3.1.10 (3.1.10)
\pgflinewidth=\dimen289
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformation
s.code.tex
File: pgfcoretransformations.code.tex 2023-01-15 v3.1.10 (3.1.10)
\pgf@pt@x=\dimen290
\pgf@pt@y=\dimen291
\pgf@pt@temp=\dimen292
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex
File: pgfcorequick.code.tex 2023-01-15 v3.1.10 (3.1.10)
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.t
ex
File: pgfcoreobjects.code.tex 2023-01-15 v3.1.10 (3.1.10)
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing
.code.tex
File: pgfcorepathprocessing.code.tex 2023-01-15 v3.1.10 (3.1.10)
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.te
x
File: pgfcorearrows.code.tex 2023-01-15 v3.1.10 (3.1.10)
\pgfarrowsep=\dimen293
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex
File: pgfcoreshade.code.tex 2023-01-15 v3.1.10 (3.1.10)
\pgf@max=\dimen294
\pgf@sys@shading@range@num=\count313
\pgf@shadingcount=\count314
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex
File: pgfcoreimage.code.tex 2023-01-15 v3.1.10 (3.1.10)
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.
tex
File: pgfcoreexternal.code.tex 2023-01-15 v3.1.10 (3.1.10)
\pgfexternal@startupbox=\box75
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.te
x
File: pgfcorelayers.code.tex 2023-01-15 v3.1.10 (3.1.10)
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.c
ode.tex
File: pgfcoretransparency.code.tex 2023-01-15 v3.1.10 (3.1.10)
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.
tex
File: pgfcorepatterns.code.tex 2023-01-15 v3.1.10 (3.1.10)
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorerdf.code.tex
File: pgfcorerdf.code.tex 2023-01-15 v3.1.10 (3.1.10)
)))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex
File: pgfmoduleshapes.code.tex 2023-01-15 v3.1.10 (3.1.10)
\pgfnodeparttextbox=\box76
) (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex
File: pgfmoduleplot.code.tex 2023-01-15 v3.1.10 (3.1.10)
)
(/usr/share/texlive/texmf-dist/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=\dimen295
\pgf@nodesepend=\dimen296
)
(/usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18
.sty
Package: pgfcomp-version-1-18 2023-01-15 v3.1.10 (3.1.10)
)) (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgffor.sty
(/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex))
(/usr/share/texlive/texmf-dist/tex/latex/pgf/math/pgfmath.sty
(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex
Package: pgffor 2023-01-15 v3.1.10 (3.1.10)
\pgffor@iter=\dimen297
\pgffor@skip=\dimen298
\pgffor@stack=\toks46
\pgffor@toks=\toks47
))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex
Package: tikz 2023-01-15 v3.1.10 (3.1.10)

(/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers
.code.tex
File: pgflibraryplothandlers.code.tex 2023-01-15 v3.1.10 (3.1.10)
\pgf@plot@mark@count=\count315
\pgfplotmarksize=\dimen299
)
\tikz@lastx=\dimen300
\tikz@lasty=\dimen301
\tikz@lastxsaved=\dimen302
\tikz@lastysaved=\dimen303
\tikz@lastmovetox=\dimen304
\tikz@lastmovetoy=\dimen305
\tikzleveldistance=\dimen306
\tikzsiblingdistance=\dimen307
\tikz@figbox=\box77
\tikz@figbox@bg=\box78
\tikz@tempbox=\box79
\tikz@tempbox@bg=\box80
\tikztreelevel=\count316
\tikznumberofchildren=\count317
\tikznumberofcurrentchild=\count318
\tikz@fig@count=\count319

(/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex
File: pgfmodulematrix.code.tex 2023-01-15 v3.1.10 (3.1.10)
\pgfmatrixcurrentrow=\count320
\pgfmatrixcurrentcolumn=\count321
\pgf@matrix@numberofcolumns=\count322
)
\tikz@expandcount=\count323

(/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik
zlibrarytopaths.code.tex
File: tikzlibrarytopaths.code.tex 2023-01-15 v3.1.10 (3.1.10)
)))
(/usr/share/texlive/texmf-dist/tex/latex/stmaryrd/stmaryrd.sty
Package: stmaryrd 1994/03/03 St Mary's Road symbol package
\symstmry=\mathgroup12
LaTeX Font Info:    Overwriting symbol font `stmry' in version `bold'
(Font)                  U/stmry/m/n --> U/stmry/b/n on input line 89.
))
(./LatexPackagesBuild/math/mathalias/mkessler-mathalias.sty
Package: mkessler-mathalias 2022/01/30 - Easy aliasing for math style commands
)
(./LatexPackagesBuild/math/mathop/mkessler-mathop.sty
Package: mkessler-mathop 2022/10/17 - Math Operator Package

(/usr/share/texlive/texmf-dist/tex/latex/bbm-macros/bbm.sty
Package: bbm 1999/03/15 V 1.2 provides fonts for set symbols - TH
LaTeX Font Info:    Overwriting math alphabet `\mathbbm' in version `bold'
(Font)                  U/bbm/m/n --> U/bbm/bx/n on input line 33.
LaTeX Font Info:    Overwriting math alphabet `\mathbbmss' in version `bold'
(Font)                  U/bbmss/m/n --> U/bbmss/bx/n on input line 35.
))
(./LatexPackagesBuild/math/categories/mkessler-categories.sty
Package: mkessler-categories 2022/06/27 v2.9-27-g2d16a2d Definitions of categor
ies with automatic indexing

(./LatexPackagesBuild/indexing/symbindex/mkessler-symbindex.sty
Package: mkessler-symbindex 2022/01/30 v2.8.1-9-g4bda829 Declaring of math symb
ols with automatic indexing

(/usr/share/texlive/texmf-dist/tex/latex/imakeidx/imakeidx.sty
Package: imakeidx 2016/10/15 v1.3e Package for typesetting indices in a synchro
nous mode

(/usr/share/texlive/texmf-dist/tex/generic/iftex/ifxetex.sty
Package: ifxetex 2019/10/25 v0.7 ifxetex legacy package. Use iftex instead.

(/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty
Package: iftex 2022/02/03 v1.0f TeX engine tests
))
(/usr/share/texlive/texmf-dist/tex/generic/iftex/ifluatex.sty
Package: ifluatex 2019/10/25 v1.5 ifluatex legacy package. Use iftex instead.
)
(/usr/share/texlive/texmf-dist/tex/latex/tools/multicol.sty
Package: multicol 2023/03/30 v1.9f multicolumn formatting (FMi)
\c@tracingmulticols=\count324
\mult@box=\box81
\multicol@leftmargin=\dimen308
\c@unbalance=\count325
\c@collectmore=\count326
\doublecol@number=\count327
\multicoltolerance=\count328
\multicolpretolerance=\count329
\full@width=\dimen309
\page@free=\dimen310
\premulticols=\dimen311
\postmulticols=\dimen312
\multicolsep=\skip99
\multicolbaselineskip=\skip100
\partial@page=\box82
\last@line=\box83
\mc@boxedresult=\box84
\maxbalancingoverflow=\dimen313
\mult@rightbox=\box85
\mult@grightbox=\box86
\mult@firstbox=\box87
\mult@gfirstbox=\box88
\@tempa=\box89
\@tempa=\box90
\@tempa=\box91
\@tempa=\box92
\@tempa=\box93
\@tempa=\box94
\@tempa=\box95
\@tempa=\box96
\@tempa=\box97
\@tempa=\box98
\@tempa=\box99
\@tempa=\box100
\@tempa=\box101
\@tempa=\box102
\@tempa=\box103
\@tempa=\box104
\@tempa=\box105
\@tempa=\box106
\@tempa=\box107
\@tempa=\box108
\@tempa=\box109
\@tempa=\box110
\@tempa=\box111
\@tempa=\box112
\@tempa=\box113
\@tempa=\box114
\@tempa=\box115
\@tempa=\box116
\@tempa=\box117
\@tempa=\box118
\@tempa=\box119
\@tempa=\box120
\@tempa=\box121
\@tempa=\box122
\@tempa=\box123
\@tempa=\box124
\c@minrows=\count330
\c@columnbadness=\count331
\c@finalcolumnbadness=\count332
\last@try=\dimen314
\multicolovershoot=\dimen315
\multicolundershoot=\dimen316
\mult@nat@firstbox=\box125
\colbreak@box=\box126
\mc@col@check@num=\count333
)))
(/usr/share/texlive/texmf-dist/tex/latex/translator/translator.sty
Package: translator 2021-05-31 v1.12d Easy translation of strings in LaTeX
)
\categories@idxfile=\write4
\openout4 = `categories.idx'.


Writing index file categories.idx
) (./LatexPackagesBuild/math/mathfig/mkessler-mathfig.sty
Package: mkessler-mathfig 2022/06/27 - Math figures with TikZ / pgfplots / xy

(/usr/share/texlive/texmf-dist/tex/latex/pgfplots/pgfplots.sty
(/usr/share/texlive/texmf-dist/tex/generic/pgfplots/pgfplots.revision.tex)
Package: pgfplots 2021/05/15 v1.18.1 Data Visualization (1.18.1)

(/usr/share/texlive/texmf-dist/tex/generic/pgfplots/pgfplots.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgfplots/pgfplotscore.code.tex
\t@pgfplots@toka=\toks48
\t@pgfplots@tokb=\toks49
\t@pgfplots@tokc=\toks50
\pgfplots@tmpa=\dimen317
\c@pgfplots@coordindex=\count334
\c@pgfplots@scanlineindex=\count335

(/usr/share/texlive/texmf-dist/tex/generic/pgfplots/sys/pgfplotssysgeneric.code
.tex))
(/usr/share/texlive/texmf-dist/tex/generic/pgfplots/libs/pgfplotslibrary.code.t
ex)
(/usr/share/texlive/texmf-dist/tex/generic/pgfplots/oldpgfcompatib/pgfplotsoldp
gfsupp_loader.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibraryfpu.code.tex
)
Package pgfplots: loading complementary utilities for your pgf version...
\t@pgf@toka=\toks51
\t@pgf@tokb=\toks52
\t@pgf@tokc=\toks53

(/usr/share/texlive/texmf-dist/tex/generic/pgfplots/oldpgfcompatib/pgfplotsoldp
gfsupp_pgfutil-common-lists.tex))
(/usr/share/texlive/texmf-dist/tex/generic/pgfplots/util/pgfplotsutil.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgfplots/liststructure/pgfplotslists
tructure.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgfplots/liststructure/pgfplotslists
tructureext.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgfplots/liststructure/pgfplotsarray
.code.tex
\c@pgfplotsarray@tmp=\count336
)
(/usr/share/texlive/texmf-dist/tex/generic/pgfplots/liststructure/pgfplotsmatri
x.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgfplots/numtable/pgfplotstableshare
d.code.tex
\c@pgfplotstable@counta=\count337
\t@pgfplotstable@a=\toks54
)
(/usr/share/texlive/texmf-dist/tex/generic/pgfplots/liststructure/pgfplotsdeque
.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgfplots/util/pgfplotsbinary.code.te
x
(/usr/share/texlive/texmf-dist/tex/generic/pgfplots/util/pgfplotsbinary.data.co
de.tex))
(/usr/share/texlive/texmf-dist/tex/generic/pgfplots/util/pgfplotsutil.verb.code
.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgfplots/libs/pgflibrarypgfplots.sur
fshading.code.tex
\c@pgfplotslibrarysurf@no=\count338

(/usr/share/texlive/texmf-dist/tex/generic/pgfplots/sys/pgflibrarypgfplots.surf
shading.pgfsys-pdftex.def)))
(/usr/share/texlive/texmf-dist/tex/generic/pgfplots/util/pgfplotscolormap.code.
tex
(/usr/share/texlive/texmf-dist/tex/generic/pgfplots/util/pgfplotscolor.code.tex
))
(/usr/share/texlive/texmf-dist/tex/generic/pgfplots/pgfplotsstackedplots.code.t
ex)
(/usr/share/texlive/texmf-dist/tex/generic/pgfplots/pgfplotsplothandlers.code.t
ex
(/usr/share/texlive/texmf-dist/tex/generic/pgfplots/pgfplotsmeshplothandler.cod
e.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgfplots/pgfplotsmeshplotimage.code.
tex)))
(/usr/share/texlive/texmf-dist/tex/generic/pgfplots/pgfplots.scaling.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgfplots/pgfplotscoordprocessing.cod
e.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgfplots/pgfplots.errorbars.code.tex
) (/usr/share/texlive/texmf-dist/tex/generic/pgfplots/pgfplots.markers.code.tex
) (/usr/share/texlive/texmf-dist/tex/generic/pgfplots/pgfplotsticks.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgfplots/pgfplots.paths.code.tex)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik
zlibrarydecorations.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduledecorations.cod
e.tex
\pgfdecoratedcompleteddistance=\dimen318
\pgfdecoratedremainingdistance=\dimen319
\pgfdecoratedinputsegmentcompleteddistance=\dimen320
\pgfdecoratedinputsegmentremainingdistance=\dimen321
\pgf@decorate@distancetomove=\dimen322
\pgf@decorate@repeatstate=\count339
\pgfdecorationsegmentamplitude=\dimen323
\pgfdecorationsegmentlength=\dimen324
)
\tikz@lib@dec@box=\box127
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik
zlibrarydecorations.pathmorphing.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibrary
decorations.pathmorphing.code.tex))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik
zlibrarydecorations.pathreplacing.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibrary
decorations.pathreplacing.code.tex))
(/usr/share/texlive/texmf-dist/tex/generic/pgfplots/libs/tikzlibrarypgfplots.co
ntourlua.code.tex)
\pgfplots@numplots=\count340
\pgfplots@xmin@reg=\dimen325
\pgfplots@xmax@reg=\dimen326
\pgfplots@ymin@reg=\dimen327
\pgfplots@ymax@reg=\dimen328
\pgfplots@zmin@reg=\dimen329
\pgfplots@zmax@reg=\dimen330
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik
zlibraryplotmarks.code.tex
File: tikzlibraryplotmarks.code.tex 2023-01-15 v3.1.10 (3.1.10)

(/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibraryplotmarks.co
de.tex
File: pgflibraryplotmarks.code.tex 2023-01-15 v3.1.10 (3.1.10)
)))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik
zlibrarycalc.code.tex
File: tikzlibrarycalc.code.tex 2023-01-15 v3.1.10 (3.1.10)
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik
zlibraryintersections.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibraryintersection
s.code.tex
\pgf@intersect@solutions=\count341
))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik
zlibrarythrough.code.tex
File: tikzlibrarythrough.code.tex 2023-01-15 v3.1.10 (3.1.10)
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik
zlibraryquotes.code.tex
File: tikzlibraryquotes.code.tex 2023-01-15 v3.1.10 (3.1.10)
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik
zlibraryangles.code.tex
File: tikzlibraryangles.code.tex 2023-01-15 v3.1.10 (3.1.10)
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik
zlibrarybabel.code.tex
File: tikzlibrarybabel.code.tex 2023-01-15 v3.1.10 (3.1.10)
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik
zlibrarypositioning.code.tex
File: tikzlibrarypositioning.code.tex 2023-01-15 v3.1.10 (3.1.10)
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik
zlibrarysnakes.code.tex
File: tikzlibrarysnakes.code.tex 2023-01-15 v3.1.10 (3.1.10)


Package pgf Warning: Snakes have been superseded by decorations. Please use the
 decoration libraries instead of the snakes library on input line 14.


(/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik
zlibrarydecorations.shapes.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibrary
decorations.shapes.code.tex)))
(/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik
zlibrarydecorations.markings.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibrary
decorations.markings.code.tex))
(/usr/share/texlive/texmf-dist/tex/latex/tikz-cd/tikz-cd.sty
Package: tikz-cd 2021/05/04 v1.0 Commutative diagrams with TikZ

(/usr/share/texlive/texmf-dist/tex/generic/tikz-cd/tikzlibrarycd.code.tex
(/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik
zlibrarymatrix.code.tex
File: tikzlibrarymatrix.code.tex 2023-01-15 v3.1.10 (3.1.10)
)
(/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.meta.
code.tex
File: pgflibraryarrows.meta.code.tex 2023-01-15 v3.1.10 (3.1.10)
\pgfarrowinset=\dimen331
\pgfarrowlength=\dimen332
\pgfarrowwidth=\dimen333
\pgfarrowlinewidth=\dimen334
))) (/usr/share/texlive/texmf-dist/tex/generic/xypic/xy.sty
(/usr/share/texlive/texmf-dist/tex/generic/xypic/xy.tex Bootstrap'ing:
catcodes, docmode, (/usr/share/texlive/texmf-dist/tex/generic/xypic/xyrecat.tex
) (/usr/share/texlive/texmf-dist/tex/generic/xypic/xyidioms.tex)

 Xy-pic version 3.8.9 <2013/10/06>
 Copyright (c) 1991-2013 by Kristoffer H. Rose <krisrose@tug.org> and others
 Xy-pic is free software: see the User's Guide for details.

Loading kernel: messages; fonts; allocations: state,
\X@c=\dimen335
\Y@c=\dimen336
\U@c=\dimen337
\D@c=\dimen338
\L@c=\dimen339
\R@c=\dimen340
\Edge@c=\toks55
\X@p=\dimen341
\Y@p=\dimen342
\U@p=\dimen343
\D@p=\dimen344
\L@p=\dimen345
\R@p=\dimen346
\Edge@p=\toks56
\X@origin=\dimen347
\Y@origin=\dimen348
\X@xbase=\dimen349
\Y@xbase=\dimen350
\X@ybase=\dimen351
\Y@ybase=\dimen352
\X@min=\dimen353
\Y@min=\dimen354
\X@max=\dimen355
\Y@max=\dimen356
\lastobjectbox@=\box128
\zerodotbox@=\box129
\almostz@=\dimen357
 direction,
\d@X=\dimen358
\d@Y=\dimen359
\K@=\count342
\KK@=\count343
\Direction=\count344
\K@dXdY=\dimen360
\K@dYdX=\dimen361
\xyread@=\read3
\xywrite@=\write5
\csp@=\count345
\quotPTK@=\dimen362

utility macros; pictures: \xy, positions,
\swaptoks@@=\toks57
\connectobjectbox@@=\box130
 objects,
\styletoks@=\toks58
 decorations;
kernel objects: directionals, circles, text; options; algorithms: directions,
edges, connections;  Xy-pic loaded)
(/usr/share/texlive/texmf-dist/tex/generic/iftex/ifpdf.sty
Package: ifpdf 2019/10/25 v3.4 ifpdf legacy package. Use iftex instead.
)
Package: xy 2013/10/06 Xy-pic version 3.8.9

(/usr/share/texlive/texmf-dist/tex/generic/xypic/xyall.tex
 Xy-pic option: All features v.3.8
(/usr/share/texlive/texmf-dist/tex/generic/xypic/xycurve.tex
 Xy-pic option: Curve and Spline extension v.3.12 curve,
\crv@cnt@=\count346
\crvpts@=\toks59
\splinebox@=\box131
\splineval@=\dimen363
\splinedepth@=\dimen364
\splinetol@=\dimen365
\splinelength@=\dimen366
 circles,
\L@=\dimen367
 loaded)
(/usr/share/texlive/texmf-dist/tex/generic/xypic/xyframe.tex
 Xy-pic option: Frame and Bracket extension v.3.14 loaded)
(/usr/share/texlive/texmf-dist/tex/generic/xypic/xycmtip.tex
 Xy-pic option: Computer Modern tip extension v.3.7
(/usr/share/texlive/texmf-dist/tex/generic/xypic/xytips.tex
 Xy-pic option: More Tips extension v.3.11 loaded) loaded)
(/usr/share/texlive/texmf-dist/tex/generic/xypic/xyline.tex
 Xy-pic option: Line styles extension v.3.10
\xylinethick@=\dimen368
 loaded)
(/usr/share/texlive/texmf-dist/tex/generic/xypic/xyrotate.tex
 Xy-pic option: Rotate and Scale extension v.3.8 loaded)
(/usr/share/texlive/texmf-dist/tex/generic/xypic/xycolor.tex
 Xy-pic option: Colour extension v.3.11 loaded)
(/usr/share/texlive/texmf-dist/tex/generic/xypic/xymatrix.tex
 Xy-pic option: Matrix feature v.3.14
\Row=\count347
\Col=\count348
\queue@=\toks60
\queue@@=\toks61
\qcount@=\count349
\qcount@@=\count350
\matrixsize@=\count351
 loaded)
(/usr/share/texlive/texmf-dist/tex/generic/xypic/xyarrow.tex
 Xy-pic option: Arrow and Path feature v.3.9 path, \ar, loaded)
(/usr/share/texlive/texmf-dist/tex/generic/xypic/xygraph.tex
 Xy-pic option: Graph feature v.3.11 loaded) loaded)
(/usr/share/texlive/texmf-dist/tex/generic/xypic/xypdf.tex
 Xy-pic option: PDF driver v.1.7 Xy-pic pdf driver: `color' extension support
(/usr/share/texlive/texmf-dist/tex/generic/xypic/xypdf-co.tex loaded)
Xy-pic pdf driver: `curve' extension support
(/usr/share/texlive/texmf-dist/tex/generic/xypic/xypdf-cu.tex loaded)
Xy-pic pdf driver: `frame' extension support
(/usr/share/texlive/texmf-dist/tex/generic/xypic/xypdf-fr.tex loaded)
Xy-pic pdf driver: `line' extension support
(/usr/share/texlive/texmf-dist/tex/generic/xypic/xypdf-li.tex loaded)
Xy-pic pdf driver: `rotate' extension support
(/usr/share/texlive/texmf-dist/tex/generic/xypic/xypdf-ro.tex loaded) loaded)))
(./LatexPackagesBuild/wrappers/unicodechar/mkessler-unicodechar.sty
Package: mkessler-unicodechar 2022/01/30 - Wrapper for the newunicodechare pack
age with some defined unicode symbols.

(/usr/share/texlive/texmf-dist/tex/latex/newunicodechar/newunicodechar.sty
Package: newunicodechar 2018/04/08 v1.2 Defining Unicode characters
)))
(./LatexPackagesBuild/math/mathfixes/mkessler-mathfixes.sty
Package: mkessler-mathfixes 2022/01/30 - Hacky math packages for some (custom) 
fixes
)
(./LatexPackagesBuild/indexing/vocab/mkessler-vocab.sty
Package: mkessler-vocab 2022/08/18 - Package for emphasizing vocabulary
)
(./LatexPackagesBuild/wrappers/hypersetup/mkessler-hypersetup.sty
Package: mkessler-hypersetup 2022/01/30 - Package for setting up hyperref, clev
eref and some default hyperref colors
)
(./LatexPackagesBuild/wrappers/enumerate/mkessler-enumerate.sty
Package: mkessler-enumerate 2022/01/30 - Simple enumeration package wrapper. Ha
ndles custom number setting and beamer class.

(/usr/share/texlive/texmf-dist/tex/latex/enumitem/enumitem.sty
Package: enumitem 2019/06/20 v3.9 Customized lists
\labelindent=\skip101
\enit@outerparindent=\dimen369
\enit@toks=\toks62
\enit@inbox=\box132
\enit@count@id=\count352
\enitdp@description=\count353
))
(./LatexPackagesBuild/environments/refproof/mkessler-refproof.sty
Package: mkessler-refproof 2022/06/27 v2.9-16-gd96c0bd Automatic references to 
theorems in proofs. Claim counters within proofs

(/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty
Package: refcount 2019/12/15 v3.6 Data extraction from label references (HO)

(/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty
Package: ltxcmds 2020-05-10 v1.25 LaTeX kernel commands for general use (HO)
)
(/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty
Package: infwarerr 2019/12/03 v1.5 Providing info/warning/error messages (HO)
))
(./LatexPackagesBuild/wip/subproof/mkessler-subproof.sty
Package: mkessler-subproof 2022/01/30 - Subproof environment with black square 
at end of proof.
)
\__mkessler_refproof_proofdepth_int=\count354
\c@claim=\count355
)
(./LatexPackagesBuild/wrappers/todo/mkessler-todo.sty
Package: mkessler-todo 2022/06/27 - Easy standards for the todonotes package

(/usr/share/texlive/texmf-dist/tex/latex/todonotes/todonotes.sty
Package: todonotes 2023/01/31 v1.1.6 Todonotes source and documentation.
Package: todonotes 2023/01/31
\c@@todonotes@numberoftodonotes=\count356
)
(/usr/share/texlive/texmf-dist/tex/latex/marginnote/marginnote.sty
Package: marginnote 2018/08/09 v1.4b non floating margin notes for LaTeX
\c@mn@abspage=\count357
))
(./LatexPackagesBuild/environments/fancythm/fancythm.sty
Package: fancythm 2022/01/30 v0.0.2 Grouped theorems.

(/usr/share/texlive/texmf-dist/tex/latex/l3packages/l3keys2e/l3keys2e.sty
Package: l3keys2e 2023-02-02 LaTeX2e option processing using LaTeX3 keys
)
(./LatexPackagesBuild/environments/thmstyle/thmstyle.sty
Package: thmstyle 2022/01/17 v0.0.1 Styles for thmtools theorems.

(/usr/share/texlive/texmf-dist/tex/latex/thmtools/thmtools.sty
Package: thmtools 2023/05/04 v0.76
\thmt@toks=\toks63
\c@thmt@dummyctr=\count358

(/usr/share/texlive/texmf-dist/tex/latex/thmtools/thm-patch.sty
Package: thm-patch 2023/05/04 v0.76

(/usr/share/texlive/texmf-dist/tex/latex/thmtools/parseargs.sty
Package: parseargs 2023/05/04 v0.76
\@parsespec=\toks64
))
(/usr/share/texlive/texmf-dist/tex/latex/thmtools/thm-kv.sty
Package: thm-kv 2023/05/04 v0.76
Package thm-kv Info: Theorem names will be uppercased on input line 42.

(/usr/share/texlive/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty
Package: kvsetkeys 2022-10-05 v1.19 Key value parser (HO)
)
Package thm-kv Info: kvsetkeys patch (v1.16 or later) on input line 158.
)
(/usr/share/texlive/texmf-dist/tex/latex/thmtools/thm-autoref.sty
Package: thm-autoref 2023/05/04 v0.76

(/usr/share/texlive/texmf-dist/tex/latex/thmtools/aliasctr.sty
Package: aliasctr 2023/05/04 v0.76
))
(/usr/share/texlive/texmf-dist/tex/latex/thmtools/thm-listof.sty
Package: thm-listof 2023/05/04 v0.76
)
(/usr/share/texlive/texmf-dist/tex/latex/thmtools/thm-restate.sty
Package: thm-restate 2023/05/04 v0.76
)
(/usr/share/texlive/texmf-dist/tex/latex/thmtools/thm-amsthm.sty
Package: thm-amsthm 2023/05/04 v0.76
\thmt@style@headstyle=\toks65
))
(/usr/share/texlive/texmf-dist/tex/latex/mdframed/mdframed.sty
Package: mdframed 2013/07/01 1.9b: mdframed

(/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty
Package: kvoptions 2022-06-15 v3.15 Key value format for package options (HO)
)
(/usr/share/texlive/texmf-dist/tex/latex/zref/zref-abspage.sty
Package: zref-abspage 2022-04-07 v2.34 Module abspage for zref (HO)

(/usr/share/texlive/texmf-dist/tex/latex/zref/zref-base.sty
Package: zref-base 2022-04-07 v2.34 Module base for zref (HO)

(/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty
Package: kvdefinekeys 2019-12-19 v1.6 Define keys (HO)
)
(/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty
Package: pdftexcmds 2020-06-27 v0.33 Utility functions of pdfTeX for LuaTeX (HO
)
Package pdftexcmds Info: \pdf@primitive is available.
Package pdftexcmds Info: \pdf@ifprimitive is available.
Package pdftexcmds Info: \pdfdraftmode found.
)
(/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty
Package: etexcmds 2019/12/15 v1.7 Avoid name clashes with e-TeX commands (HO)
)
(/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty
Package: auxhook 2019-12-17 v1.6 Hooks for auxiliary files (HO)
)
Package zref Info: New property list: main on input line 767.
Package zref Info: New property: default on input line 768.
Package zref Info: New property: page on input line 769.
)
(/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty
Package: atbegshi-ltx 2021/01/10 v1.0c Emulation of the original atbegshi
package with kernel methods
)
\c@abspage=\count359
Package zref Info: New property: abspage on input line 65.
)
(/usr/share/texlive/texmf-dist/tex/latex/needspace/needspace.sty
Package: needspace 2010/09/12 v1.3d reserve vertical space
)
\mdf@templength=\skip102
\c@mdf@globalstyle@cnt=\count360
\mdf@skipabove@length=\skip103
\mdf@skipbelow@length=\skip104
\mdf@leftmargin@length=\skip105
\mdf@rightmargin@length=\skip106
\mdf@innerleftmargin@length=\skip107
\mdf@innerrightmargin@length=\skip108
\mdf@innertopmargin@length=\skip109
\mdf@innerbottommargin@length=\skip110
\mdf@splittopskip@length=\skip111
\mdf@splitbottomskip@length=\skip112
\mdf@outermargin@length=\skip113
\mdf@innermargin@length=\skip114
\mdf@linewidth@length=\skip115
\mdf@innerlinewidth@length=\skip116
\mdf@middlelinewidth@length=\skip117
\mdf@outerlinewidth@length=\skip118
\mdf@roundcorner@length=\skip119
\mdf@footenotedistance@length=\skip120
\mdf@userdefinedwidth@length=\skip121
\mdf@needspace@length=\skip122
\mdf@frametitleaboveskip@length=\skip123
\mdf@frametitlebelowskip@length=\skip124
\mdf@frametitlerulewidth@length=\skip125
\mdf@frametitleleftmargin@length=\skip126
\mdf@frametitlerightmargin@length=\skip127
\mdf@shadowsize@length=\skip128
\mdf@extratopheight@length=\skip129
\mdf@subtitleabovelinewidth@length=\skip130
\mdf@subtitlebelowlinewidth@length=\skip131
\mdf@subtitleaboveskip@length=\skip132
\mdf@subtitlebelowskip@length=\skip133
\mdf@subtitleinneraboveskip@length=\skip134
\mdf@subtitleinnerbelowskip@length=\skip135
\mdf@subsubtitleabovelinewidth@length=\skip136
\mdf@subsubtitlebelowlinewidth@length=\skip137
\mdf@subsubtitleaboveskip@length=\skip138
\mdf@subsubtitlebelowskip@length=\skip139
\mdf@subsubtitleinneraboveskip@length=\skip140
\mdf@subsubtitleinnerbelowskip@length=\skip141

(/usr/share/texlive/texmf-dist/tex/latex/mdframed/md-frame-0.mdf
File: md-frame-0.mdf 2013/07/01\ 1.9b: md-frame-0
)
\mdf@frametitlebox=\box133
\mdf@footnotebox=\box134
\mdf@splitbox@one=\box135
\mdf@splitbox@two=\box136
\mdf@splitbox@save=\box137
\mdfsplitboxwidth=\skip142
\mdfsplitboxtotalwidth=\skip143
\mdfsplitboxheight=\skip144
\mdfsplitboxdepth=\skip145
\mdfsplitboxtotalheight=\skip146
\mdfframetitleboxwidth=\skip147
\mdfframetitleboxtotalwidth=\skip148
\mdfframetitleboxheight=\skip149
\mdfframetitleboxdepth=\skip150
\mdfframetitleboxtotalheight=\skip151
\mdffootnoteboxwidth=\skip152
\mdffootnoteboxtotalwidth=\skip153
\mdffootnoteboxheight=\skip154
\mdffootnoteboxdepth=\skip155
\mdffootnoteboxtotalheight=\skip156
\mdftotallinewidth=\skip157
\mdfboundingboxwidth=\skip158
\mdfboundingboxtotalwidth=\skip159
\mdfboundingboxheight=\skip160
\mdfboundingboxdepth=\skip161
\mdfboundingboxtotalheight=\skip162
\mdf@freevspace@length=\skip163
\mdf@horizontalwidthofbox@length=\skip164
\mdf@verticalmarginwhole@length=\skip165
\mdf@horizontalspaceofbox=\skip166
\mdfsubtitleheight=\skip167
\mdfsubsubtitleheight=\skip168
\c@mdfcountframes=\count361

****** mdframed patching \endmdf@trivlist

****** -- success******

\mdf@envdepth=\count362
\c@mdf@env@i=\count363
\c@mdf@env@ii=\count364
\c@mdf@zref@counter=\count365
Package zref Info: New property: mdf@pagevalue on input line 895.
)
Package thmtools Info: Key `mdframed' (with value `style=mdredmarginandred!8fil
l')
(thmtools)             is not a known style key.
(thmtools)             Will pass this to every \declaretheorem
(thmtools)             that uses `style=thmredmarginandfill' on input line 139.

Package thmtools Info: Key `mdframed' (with value `style=mdorangemarginandorang
e!10fill')
(thmtools)             is not a known style key.
(thmtools)             Will pass this to every \declaretheorem
(thmtools)             that uses `style=thmorangemarginandfill' on input line 1
39.
Package thmtools Info: Key `mdframed' (with value `style=mdbluemarginandblue!7f
ill')
(thmtools)             is not a known style key.
(thmtools)             Will pass this to every \declaretheorem
(thmtools)             that uses `style=thmbluemarginandfill' on input line 139
.
Package thmtools Info: Key `mdframed' (with value `style=mdgreen!70!blackmargin
')
(thmtools)             is not a known style key.
(thmtools)             Will pass this to every \declaretheorem
(thmtools)             that uses `style=thmgreenmargin' on input line 139.
Package thmtools Info: Key `mdframed' (with value `style=mdgreen!70!blackmargin
andgreen!10fill')
(thmtools)             is not a known style key.
(thmtools)             Will pass this to every \declaretheorem
(thmtools)             that uses `style=thmgreenmarginandfill' on input line 13
9.
Package thmtools Info: Key `mdframed' (with value `style=mdgoldmargin')
(thmtools)             is not a known style key.
(thmtools)             Will pass this to every \declaretheorem
(thmtools)             that uses `style=thmgoldmargin' on input line 139.
Package thmtools Info: Key `mdframed' (with value `style=mdyellow!80!orangemarg
in')
(thmtools)             is not a known style key.
(thmtools)             Will pass this to every \declaretheorem
(thmtools)             that uses `style=thmyellowmargin' on input line 139.
Package thmtools Info: Key `mdframed' (with value `style=mdgraymargin')
(thmtools)             is not a known style key.
(thmtools)             Will pass this to every \declaretheorem
(thmtools)             that uses `style=thmgraymargin' on input line 139.
Package thmtools Info: Key `mdframed' (with value `style=mdvioletmarginandviole
t!7fill')
(thmtools)             is not a known style key.
(thmtools)             Will pass this to every \declaretheorem
(thmtools)             that uses `style=thmvioletmarginandfill' on input line 1
39.
Package thmtools Info: Key `mdframed' (with value `style=mdvioletmargin')
(thmtools)             is not a known style key.
(thmtools)             Will pass this to every \declaretheorem
(thmtools)             that uses `style=thmvioletmargin' on input line 139.
Package thmtools Info: Key `mdframed' (with value `style=mdredmarginandblue!7fi
ll')
(thmtools)             is not a known style key.
(thmtools)             Will pass this to every \declaretheorem
(thmtools)             that uses `style=thmredmarginbluefill' on input line 139
.
Package thmtools Info: Key `mdframed' (with value `style=mdredmargin')
(thmtools)             is not a known style key.
(thmtools)             Will pass this to every \declaretheorem
(thmtools)             that uses `style=thmredmargin' on input line 139.
Package thmtools Info: Key `mdframed' (with value `style=mdorangemarginandblue!
7fill')
(thmtools)             is not a known style key.
(thmtools)             Will pass this to every \declaretheorem
(thmtools)             that uses `style=thmorangemarginbluefill' on input line 
139.
Package thmtools Info: Key `mdframed' (with value `style=mdblackmarginandviolet
!20!gray!20fill')
(thmtools)             is not a known style key.
(thmtools)             Will pass this to every \declaretheorem
(thmtools)             that uses `style=thmblackmarginandfill' on input line 13
9.
Package thmtools Info: Key `mdframed' (with value `style=mdblackmargin')
(thmtools)             is not a known style key.
(thmtools)             Will pass this to every \declaretheorem
(thmtools)             that uses `style=thmblackmargin' on input line 139.
)
\c@indocument=\count366
\c@insection=\count367
\c@insubsection=\count368
\c@inchapter=\count369
\c@inpart=\count370
\c@sublevel=\count371
\c@subsublevel=\count372
\c@subsubsublevel=\count373

(./LatexPackagesBuild/environments/groupthm/groupthm.sty
Package: groupthm 2022/02/02 v0.0.2 Grouped theorems.
\g__groupthm_append_groups_int=\count374
\g__groupthm_cache_version_aux_int=\count375
\g__groupthm_cache_version_document_int=\count376
> Defining theoremgroup 'all'..
> Defining theoremgroup 'starred'..
> Defining theoremgroup 'unnumbered'..
)
> Defining theoremgroup 'star'..
> Defining theoremgroup 'dagger'..
> Defining theoremgroup 'big'..
> Defining theoremgroup 'small'..
> Defining theoremgroup 'tiny'..
> Defining theoremgroup 'custom'..
> Defining theoremgroup 'nobraces'..
)
(/usr/share/texlive/texmf-dist/tex/latex/doi/doi.sty
Package: doi 2018/09/09 handle doi numbers

(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty
Package: hyperref 2023-05-16 v7.00y Hypertext links for LaTeX

(/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty
Package: pdfescape 2019/12/09 v1.15 Implements pdfTeX's escape features (HO)
)
(/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty
Package: hycolor 2020-01-27 v1.10 Color options for hyperref/bookmark (HO)
)
(/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty
Package: letltxmacro 2019/12/03 v1.6 Let assignment for LaTeX macros (HO)
)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
Package: nameref 2023-05-16 v2.51 Cross-referencing by name of section

(/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty
Package: gettitlestring 2019/12/15 v1.6 Cleanup title references (HO)
)
\c@section@level=\count377
)
\@linkdim=\dimen370
\Hy@linkcounter=\count378
\Hy@pagecounter=\count379

(/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def
File: pd1enc.def 2023-05-16 v7.00y Hyperref: PDFDocEncoding definition (HO)
Now handling font encoding PD1 ...
... no UTF-8 mapping file for font encoding PD1
)
(/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty
Package: intcalc 2019/12/15 v1.3 Expandable calculations with integers (HO)
)
\Hy@SavedSpaceFactor=\count380

(/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def
File: puenc.def 2023-05-16 v7.00y 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 4167.
Package hyperref Info: Link nesting OFF on input line 4172.
Package hyperref Info: Hyper index ON on input line 4175.
Package hyperref Info: Plain pages OFF on input line 4182.
Package hyperref Info: Backreferencing OFF on input line 4187.
Package hyperref Info: Implicit mode ON; LaTeX internals redefined.
Package hyperref Info: Bookmarks ON on input line 4434.
\c@Hy@tempcnt=\count381

(/usr/share/texlive/texmf-dist/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 4772.
\XeTeXLinkMargin=\dimen371

(/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty
Package: bitset 2019/12/09 v1.3 Handle bit-vector datatype (HO)

(/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty
Package: bigintcalc 2019/12/15 v1.5 Expandable calculations on big integers (HO
)
))
\Fld@menulength=\count382
\Field@Width=\dimen372
\Fld@charsize=\dimen373
Package hyperref Info: Hyper figures OFF on input line 6051.
Package hyperref Info: Link nesting OFF on input line 6056.
Package hyperref Info: Hyper index ON on input line 6059.
Package hyperref Info: backreferencing OFF on input line 6066.
Package hyperref Info: Link coloring OFF on input line 6071.
Package hyperref Info: Link coloring with OCG OFF on input line 6076.
Package hyperref Info: PDF/A mode OFF on input line 6081.
\Hy@abspage=\count383
\c@Item=\count384
\c@Hfootnote=\count385
)
Package hyperref Info: Driver (autodetected): hpdftex.

(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def
File: hpdftex.def 2023-05-16 v7.00y Hyperref driver for pdfTeX

(/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty
Package: atveryend-ltx 2020/08/19 v1.0a Emulation of the original atveryend pac
kage
with kernel methods
)
\HyAnn@Count=\count386
\Fld@listcount=\count387
\c@bookmark@seq@number=\count388

(/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty
Package: rerunfilecheck 2022-07-10 v1.10 Rerun checks for auxiliary files (HO)

(/usr/share/texlive/texmf-dist/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=\skip169
))
(./LatexPackagesBuild/wip/bibliography/mkessler-bibliography.sty
Package: mkessler-bibliography 2022/01/30 - Package to easily print bibliograph
y and image attributions in document

(/usr/share/texlive/texmf-dist/tex/latex/biblatex/biblatex.sty
Package: biblatex 2023/03/05 v3.19 programmable bibliographies (PK/MW)

(/usr/share/texlive/texmf-dist/tex/latex/logreq/logreq.sty
Package: logreq 2010/08/04 v1.0 xml request logger
\lrq@indent=\count389

(/usr/share/texlive/texmf-dist/tex/latex/logreq/logreq.def
File: logreq.def 2010/08/04 v1.0 logreq spec v1.0
))
\c@tabx@nest=\count390
\c@listtotal=\count391
\c@listcount=\count392
\c@liststart=\count393
\c@liststop=\count394
\c@citecount=\count395
\c@citetotal=\count396
\c@multicitecount=\count397
\c@multicitetotal=\count398
\c@instcount=\count399
\c@maxnames=\count400
\c@minnames=\count401
\c@maxitems=\count402
\c@minitems=\count403
\c@citecounter=\count404
\c@maxcitecounter=\count405
\c@savedcitecounter=\count406
\c@uniquelist=\count407
\c@uniquename=\count408
\c@refsection=\count409
\c@refsegment=\count410
\c@maxextratitle=\count411
\c@maxextratitleyear=\count412
\c@maxextraname=\count413
\c@maxextradate=\count414
\c@maxextraalpha=\count415
\c@abbrvpenalty=\count416
\c@highnamepenalty=\count417
\c@lownamepenalty=\count418
\c@maxparens=\count419
\c@parenlevel=\count420
\blx@tempcnta=\count421
\blx@tempcntb=\count422
\blx@tempcntc=\count423
\c@blx@maxsection=\count424
\blx@maxsegment@0=\count425
\blx@notetype=\count426
\blx@parenlevel@text=\count427
\blx@parenlevel@foot=\count428
\blx@sectionciteorder@0=\count429
\blx@sectionciteorderinternal@0=\count430
\blx@entrysetcounter=\count431
\blx@biblioinstance=\count432
\labelnumberwidth=\skip170
\labelalphawidth=\skip171
\biblabelsep=\skip172
\bibitemsep=\skip173
\bibnamesep=\skip174
\bibinitsep=\skip175
\bibparsep=\skip176
\bibhang=\skip177
\blx@bcfin=\read4
\blx@bcfout=\write6
\blx@langwohyphens=\language87
\c@mincomprange=\count433
\c@maxcomprange=\count434
\c@mincompwidth=\count435
Package biblatex Info: Trying to load biblatex default data model...
Package biblatex Info: ... file 'blx-dm.def' found.

(/usr/share/texlive/texmf-dist/tex/latex/biblatex/blx-dm.def
File: blx-dm.def 2023/03/05 v3.19 biblatex localization (PK/MW)
)
Package biblatex Info: Trying to load biblatex style data model...
Package biblatex Info: ... file 'alphabetic.dbx' not found.
Package biblatex Info: Trying to load biblatex custom data model...
Package biblatex Info: ... file 'biblatex-dm.cfg' not found.
\c@afterword=\count436
\c@savedafterword=\count437
\c@annotator=\count438
\c@savedannotator=\count439
\c@author=\count440
\c@savedauthor=\count441
\c@bookauthor=\count442
\c@savedbookauthor=\count443
\c@commentator=\count444
\c@savedcommentator=\count445
\c@editor=\count446
\c@savededitor=\count447
\c@editora=\count448
\c@savededitora=\count449
\c@editorb=\count450
\c@savededitorb=\count451
\c@editorc=\count452
\c@savededitorc=\count453
\c@foreword=\count454
\c@savedforeword=\count455
\c@holder=\count456
\c@savedholder=\count457
\c@introduction=\count458
\c@savedintroduction=\count459
\c@namea=\count460
\c@savednamea=\count461
\c@nameb=\count462
\c@savednameb=\count463
\c@namec=\count464
\c@savednamec=\count465
\c@translator=\count466
\c@savedtranslator=\count467
\c@shortauthor=\count468
\c@savedshortauthor=\count469
\c@shorteditor=\count470
\c@savedshorteditor=\count471
\c@labelname=\count472
\c@savedlabelname=\count473
\c@institution=\count474
\c@savedinstitution=\count475
\c@lista=\count476
\c@savedlista=\count477
\c@listb=\count478
\c@savedlistb=\count479
\c@listc=\count480
\c@savedlistc=\count481
\c@listd=\count482
\c@savedlistd=\count483
\c@liste=\count484
\c@savedliste=\count485
\c@listf=\count486
\c@savedlistf=\count487
\c@location=\count488
\c@savedlocation=\count489
\c@organization=\count490
\c@savedorganization=\count491
\c@origlocation=\count492
\c@savedoriglocation=\count493
\c@origpublisher=\count494
\c@savedorigpublisher=\count495
\c@publisher=\count496
\c@savedpublisher=\count497
\c@language=\count498
\c@savedlanguage=\count499
\c@origlanguage=\count500
\c@savedoriglanguage=\count501
\c@pageref=\count502
\c@savedpageref=\count503
\shorthandwidth=\skip178
\shortjournalwidth=\skip179
\shortserieswidth=\skip180
\shorttitlewidth=\skip181
\shortauthorwidth=\skip182
\shorteditorwidth=\skip183
\locallabelnumberwidth=\skip184
\locallabelalphawidth=\skip185
\localshorthandwidth=\skip186
\localshortjournalwidth=\skip187
\localshortserieswidth=\skip188
\localshorttitlewidth=\skip189
\localshortauthorwidth=\skip190
\localshorteditorwidth=\skip191
Package biblatex Info: Trying to load compatibility code...
Package biblatex Info: ... file 'blx-compat.def' found.

(/usr/share/texlive/texmf-dist/tex/latex/biblatex/blx-compat.def
File: blx-compat.def 2023/03/05 v3.19 biblatex compatibility (PK/MW)
)
Package biblatex Info: Trying to load generic definitions...
Package biblatex Info: ... file 'biblatex.def' found.

(/usr/share/texlive/texmf-dist/tex/latex/biblatex/biblatex.def
File: biblatex.def 2023/03/05 v3.19 biblatex compatibility (PK/MW)
\c@textcitecount=\count504
\c@textcitetotal=\count505
\c@textcitemaxnames=\count506
\c@biburlbigbreakpenalty=\count507
\c@biburlbreakpenalty=\count508
\c@biburlnumpenalty=\count509
\c@biburlucpenalty=\count510
\c@biburllcpenalty=\count511
\biburlbigskip=\muskip18
\biburlnumskip=\muskip19
\biburlucskip=\muskip20
\biburllcskip=\muskip21
\c@smartand=\count512
)
Package biblatex Info: Trying to load bibliography style 'alphabetic'...
Package biblatex Info: ... file 'alphabetic.bbx' found.

(/usr/share/texlive/texmf-dist/tex/latex/biblatex/bbx/alphabetic.bbx
File: alphabetic.bbx 2023/03/05 v3.19 biblatex bibliography style (PK/MW)
Package biblatex Info: Trying to load bibliography style 'standard'...
Package biblatex Info: ... file 'standard.bbx' found.

(/usr/share/texlive/texmf-dist/tex/latex/biblatex/bbx/standard.bbx
File: standard.bbx 2023/03/05 v3.19 biblatex bibliography style (PK/MW)
\c@bbx:relatedcount=\count513
\c@bbx:relatedtotal=\count514
))
Package biblatex Info: Trying to load citation style 'alphabetic'...
Package biblatex Info: ... file 'alphabetic.cbx' found.

(/usr/share/texlive/texmf-dist/tex/latex/biblatex/cbx/alphabetic.cbx
File: alphabetic.cbx 2023/03/05 v3.19 biblatex citation style (PK/MW)
Package biblatex Info: Redefining '\cite'.
Package biblatex Info: Redefining '\parencite'.
Package biblatex Info: Redefining '\footcite'.
Package biblatex Info: Redefining '\footcitetext'.
Package biblatex Info: Redefining '\smartcite'.
Package biblatex Info: Redefining '\textcite'.
Package biblatex Info: Redefining '\textcites'.
Package biblatex Info: Redefining '\cites'.
Package biblatex Info: Redefining '\parencites'.
Package biblatex Info: Redefining '\smartcites'.
)
Package biblatex Info: Trying to load configuration file...
Package biblatex Info: ... file 'biblatex.cfg' found.

(/usr/share/texlive/texmf-dist/tex/latex/biblatex/biblatex.cfg
File: biblatex.cfg 
)
Package biblatex Info: Input encoding 'utf8' detected.
Package biblatex Info: Document encoding is UTF8 ....
Package biblatex Info: ... and expl3
(biblatex)             2023-06-05 L3 programming layer (loader) 
(biblatex)             is new enough (at least 2020/04/06),
(biblatex)             setting 'casechanger=expl3'.

(/usr/share/texlive/texmf-dist/tex/latex/biblatex/blx-case-expl3.sty
Package: blx-case-expl3 2023/03/05 v3.19 expl3 case changing code for biblatex
))))
Package csquotes Info: Checking for multilingual support...
Package csquotes Info: ... none found.
Package hyperref Info: Option `colorlinks' set `true' on input line 8.
> Defining theorem family 'theorem'..
> Defining grouped theorem '__theorem__groups_big'..
> Flattened groups 'big' to 'all,big' when defining theorem
'__theorem__groups_big'.
> Declaring thmtools theorem __theorem__groups_big.
Package thmtools Info: Automatically pulling in `thmdef-mdframed' on input line
 8.

(/usr/share/texlive/texmf-dist/tex/latex/thmtools/thmdef-mdframed.sty
Package: thmdef-mdframed 2023/05/04 v0.76
)
> Defining grouped theorem '__theorem__groups_nobraces_big'..
> Flattened groups 'nobraces,big' to 'all,big,nobraces' when defining theorem
'__theorem__groups_nobraces_big'.
> Declaring thmtools theorem __theorem__groups_nobraces_big.
> Defining grouped theorem '__theorem__groups_big_star'..
> Flattened groups 'big,star' to 'all,custom,star,big' when defining theorem
'__theorem__groups_big_star'.
> Declaring thmtools theorem __theorem__groups_big_star.
> Defining grouped theorem '__theorem__groups_nobraces_big_star'..
> Flattened groups 'nobraces,big,star' to 'all,custom,star,big,nobraces' when
defining theorem '__theorem__groups_nobraces_big_star'.
> Declaring thmtools theorem __theorem__groups_nobraces_big_star.
> Defining grouped theorem '__theorem__groups_big_dagger'..
> Flattened groups 'big,dagger' to 'all,custom,dagger,big' when defining
theorem '__theorem__groups_big_dagger'.
> Declaring thmtools theorem __theorem__groups_big_dagger.
> Defining grouped theorem '__theorem__groups_nobraces_big_dagger'..
> Flattened groups 'nobraces,big,dagger' to 'all,custom,dagger,big,nobraces'
when defining theorem '__theorem__groups_nobraces_big_dagger'.
> Declaring thmtools theorem __theorem__groups_nobraces_big_dagger.
> Defining grouped theorem '__theorem__groups_big_dagger_star'..
> Flattened groups 'big,dagger,star' to 'all,star,custom,dagger,big' when
defining theorem '__theorem__groups_big_dagger_star'.
> Declaring thmtools theorem __theorem__groups_big_dagger_star.
> Defining grouped theorem '__theorem__groups_nobraces_big_dagger_star'..
> Flattened groups 'nobraces,big,dagger,star' to
'all,star,custom,dagger,big,nobraces' when defining theorem
'__theorem__groups_nobraces_big_dagger_star'.
> Declaring thmtools theorem __theorem__groups_nobraces_big_dagger_star.
> Defining theorem family options 'theorem'..
> Defining theorem family 'proposition'..
> Defining grouped theorem '__proposition__groups_big'..
> Flattened groups 'big' to 'all,big' when defining theorem
'__proposition__groups_big'.
> Declaring thmtools theorem __proposition__groups_big.
> Defining grouped theorem '__proposition__groups_nobraces_big'..
> Flattened groups 'nobraces,big' to 'all,big,nobraces' when defining theorem
'__proposition__groups_nobraces_big'.
> Declaring thmtools theorem __proposition__groups_nobraces_big.
> Defining grouped theorem '__proposition__groups_big_star'..
> Flattened groups 'big,star' to 'all,custom,star,big' when defining theorem
'__proposition__groups_big_star'.
> Declaring thmtools theorem __proposition__groups_big_star.
> Defining grouped theorem '__proposition__groups_nobraces_big_star'..
> Flattened groups 'nobraces,big,star' to 'all,custom,star,big,nobraces' when
defining theorem '__proposition__groups_nobraces_big_star'.
> Declaring thmtools theorem __proposition__groups_nobraces_big_star.
> Defining grouped theorem '__proposition__groups_big_dagger'..
> Flattened groups 'big,dagger' to 'all,custom,dagger,big' when defining
theorem '__proposition__groups_big_dagger'.
> Declaring thmtools theorem __proposition__groups_big_dagger.
> Defining grouped theorem '__proposition__groups_nobraces_big_dagger'..
> Flattened groups 'nobraces,big,dagger' to 'all,custom,dagger,big,nobraces'
when defining theorem '__proposition__groups_nobraces_big_dagger'.
> Declaring thmtools theorem __proposition__groups_nobraces_big_dagger.
> Defining grouped theorem '__proposition__groups_big_dagger_star'..
> Flattened groups 'big,dagger,star' to 'all,star,custom,dagger,big' when
defining theorem '__proposition__groups_big_dagger_star'.
> Declaring thmtools theorem __proposition__groups_big_dagger_star.
> Defining grouped theorem '__proposition__groups_nobraces_big_dagger_star'..
> Flattened groups 'nobraces,big,dagger,star' to
'all,star,custom,dagger,big,nobraces' when defining theorem
'__proposition__groups_nobraces_big_dagger_star'.
> Declaring thmtools theorem __proposition__groups_nobraces_big_dagger_star.
> Defining theorem family options 'proposition'..
> Defining theorem family 'corollary'..
> Defining grouped theorem '__corollary__groups_big'..
> Flattened groups 'big' to 'all,big' when defining theorem
'__corollary__groups_big'.
> Declaring thmtools theorem __corollary__groups_big.
> Defining grouped theorem '__corollary__groups_nobraces_big'..
> Flattened groups 'nobraces,big' to 'all,big,nobraces' when defining theorem
'__corollary__groups_nobraces_big'.
> Declaring thmtools theorem __corollary__groups_nobraces_big.
> Defining grouped theorem '__corollary__groups_big_star'..
> Flattened groups 'big,star' to 'all,custom,star,big' when defining theorem
'__corollary__groups_big_star'.
> Declaring thmtools theorem __corollary__groups_big_star.
> Defining grouped theorem '__corollary__groups_nobraces_big_star'..
> Flattened groups 'nobraces,big,star' to 'all,custom,star,big,nobraces' when
defining theorem '__corollary__groups_nobraces_big_star'.
> Declaring thmtools theorem __corollary__groups_nobraces_big_star.
> Defining grouped theorem '__corollary__groups_big_dagger'..
> Flattened groups 'big,dagger' to 'all,custom,dagger,big' when defining
theorem '__corollary__groups_big_dagger'.
> Declaring thmtools theorem __corollary__groups_big_dagger.
> Defining grouped theorem '__corollary__groups_nobraces_big_dagger'..
> Flattened groups 'nobraces,big,dagger' to 'all,custom,dagger,big,nobraces'
when defining theorem '__corollary__groups_nobraces_big_dagger'.
> Declaring thmtools theorem __corollary__groups_nobraces_big_dagger.
> Defining grouped theorem '__corollary__groups_big_dagger_star'..
> Flattened groups 'big,dagger,star' to 'all,star,custom,dagger,big' when
defining theorem '__corollary__groups_big_dagger_star'.
> Declaring thmtools theorem __corollary__groups_big_dagger_star.
> Defining grouped theorem '__corollary__groups_nobraces_big_dagger_star'..
> Flattened groups 'nobraces,big,dagger,star' to
'all,star,custom,dagger,big,nobraces' when defining theorem
'__corollary__groups_nobraces_big_dagger_star'.
> Declaring thmtools theorem __corollary__groups_nobraces_big_dagger_star.
> Defining theorem family options 'corollary'..
> Defining theorem family 'definition'..
> Defining grouped theorem '__definition__groups_big'..
> Flattened groups 'big' to 'all,big' when defining theorem
'__definition__groups_big'.
> Declaring thmtools theorem __definition__groups_big.
> Defining grouped theorem '__definition__groups_nobraces_big'..
> Flattened groups 'nobraces,big' to 'all,big,nobraces' when defining theorem
'__definition__groups_nobraces_big'.
> Declaring thmtools theorem __definition__groups_nobraces_big.
> Defining grouped theorem '__definition__groups_big_star'..
> Flattened groups 'big,star' to 'all,custom,star,big' when defining theorem
'__definition__groups_big_star'.
> Declaring thmtools theorem __definition__groups_big_star.
> Defining grouped theorem '__definition__groups_nobraces_big_star'..
> Flattened groups 'nobraces,big,star' to 'all,custom,star,big,nobraces' when
defining theorem '__definition__groups_nobraces_big_star'.
> Declaring thmtools theorem __definition__groups_nobraces_big_star.
> Defining grouped theorem '__definition__groups_big_dagger'..
> Flattened groups 'big,dagger' to 'all,custom,dagger,big' when defining
theorem '__definition__groups_big_dagger'.
> Declaring thmtools theorem __definition__groups_big_dagger.
> Defining grouped theorem '__definition__groups_nobraces_big_dagger'..
> Flattened groups 'nobraces,big,dagger' to 'all,custom,dagger,big,nobraces'
when defining theorem '__definition__groups_nobraces_big_dagger'.
> Declaring thmtools theorem __definition__groups_nobraces_big_dagger.
> Defining grouped theorem '__definition__groups_big_dagger_star'..
> Flattened groups 'big,dagger,star' to 'all,star,custom,dagger,big' when
defining theorem '__definition__groups_big_dagger_star'.
> Declaring thmtools theorem __definition__groups_big_dagger_star.
> Defining grouped theorem '__definition__groups_nobraces_big_dagger_star'..
> Flattened groups 'nobraces,big,dagger,star' to
'all,star,custom,dagger,big,nobraces' when defining theorem
'__definition__groups_nobraces_big_dagger_star'.
> Declaring thmtools theorem __definition__groups_nobraces_big_dagger_star.
> Defining theorem family options 'definition'..
> Defining theorem family 'lemma'..
> Defining grouped theorem '__lemma__groups_big'..
> Flattened groups 'big' to 'all,big' when defining theorem
'__lemma__groups_big'.
> Declaring thmtools theorem __lemma__groups_big.
> Defining grouped theorem '__lemma__groups_nobraces_big'..
> Flattened groups 'nobraces,big' to 'all,big,nobraces' when defining theorem
'__lemma__groups_nobraces_big'.
> Declaring thmtools theorem __lemma__groups_nobraces_big.
> Defining grouped theorem '__lemma__groups_big_star'..
> Flattened groups 'big,star' to 'all,custom,star,big' when defining theorem
'__lemma__groups_big_star'.
> Declaring thmtools theorem __lemma__groups_big_star.
> Defining grouped theorem '__lemma__groups_nobraces_big_star'..
> Flattened groups 'nobraces,big,star' to 'all,custom,star,big,nobraces' when
defining theorem '__lemma__groups_nobraces_big_star'.
> Declaring thmtools theorem __lemma__groups_nobraces_big_star.
> Defining grouped theorem '__lemma__groups_big_dagger'..
> Flattened groups 'big,dagger' to 'all,custom,dagger,big' when defining
theorem '__lemma__groups_big_dagger'.
> Declaring thmtools theorem __lemma__groups_big_dagger.
> Defining grouped theorem '__lemma__groups_nobraces_big_dagger'..
> Flattened groups 'nobraces,big,dagger' to 'all,custom,dagger,big,nobraces'
when defining theorem '__lemma__groups_nobraces_big_dagger'.
> Declaring thmtools theorem __lemma__groups_nobraces_big_dagger.
> Defining grouped theorem '__lemma__groups_big_dagger_star'..
> Flattened groups 'big,dagger,star' to 'all,star,custom,dagger,big' when
defining theorem '__lemma__groups_big_dagger_star'.
> Declaring thmtools theorem __lemma__groups_big_dagger_star.
> Defining grouped theorem '__lemma__groups_nobraces_big_dagger_star'..
> Flattened groups 'nobraces,big,dagger,star' to
'all,star,custom,dagger,big,nobraces' when defining theorem
'__lemma__groups_nobraces_big_dagger_star'.
> Declaring thmtools theorem __lemma__groups_nobraces_big_dagger_star.
> Defining theorem family options 'lemma'..
> Defining theorem family 'example'..
> Defining grouped theorem '__example__groups_big'..
> Flattened groups 'big' to 'all,big' when defining theorem
'__example__groups_big'.
> Declaring thmtools theorem __example__groups_big.
> Defining grouped theorem '__example__groups_nobraces_big'..
> Flattened groups 'nobraces,big' to 'all,big,nobraces' when defining theorem
'__example__groups_nobraces_big'.
> Declaring thmtools theorem __example__groups_nobraces_big.
> Defining grouped theorem '__example__groups_big_star'..
> Flattened groups 'big,star' to 'all,custom,star,big' when defining theorem
'__example__groups_big_star'.
> Declaring thmtools theorem __example__groups_big_star.
> Defining grouped theorem '__example__groups_nobraces_big_star'..
> Flattened groups 'nobraces,big,star' to 'all,custom,star,big,nobraces' when
defining theorem '__example__groups_nobraces_big_star'.
> Declaring thmtools theorem __example__groups_nobraces_big_star.
> Defining grouped theorem '__example__groups_big_dagger'..
> Flattened groups 'big,dagger' to 'all,custom,dagger,big' when defining
theorem '__example__groups_big_dagger'.
> Declaring thmtools theorem __example__groups_big_dagger.
> Defining grouped theorem '__example__groups_nobraces_big_dagger'..
> Flattened groups 'nobraces,big,dagger' to 'all,custom,dagger,big,nobraces'
when defining theorem '__example__groups_nobraces_big_dagger'.
> Declaring thmtools theorem __example__groups_nobraces_big_dagger.
> Defining grouped theorem '__example__groups_big_dagger_star'..
> Flattened groups 'big,dagger,star' to 'all,star,custom,dagger,big' when
defining theorem '__example__groups_big_dagger_star'.
> Declaring thmtools theorem __example__groups_big_dagger_star.
> Defining grouped theorem '__example__groups_nobraces_big_dagger_star'..
> Flattened groups 'nobraces,big,dagger,star' to
'all,star,custom,dagger,big,nobraces' when defining theorem
'__example__groups_nobraces_big_dagger_star'.
> Declaring thmtools theorem __example__groups_nobraces_big_dagger_star.
> Defining theorem family options 'example'..
> Defining theorem family 'theoremdef'..
> Defining grouped theorem '__theoremdef__groups_big'..
> Flattened groups 'big' to 'all,big' when defining theorem
'__theoremdef__groups_big'.
> Declaring thmtools theorem __theoremdef__groups_big.
> Defining grouped theorem '__theoremdef__groups_nobraces_big'..
> Flattened groups 'nobraces,big' to 'all,big,nobraces' when defining theorem
'__theoremdef__groups_nobraces_big'.
> Declaring thmtools theorem __theoremdef__groups_nobraces_big.
> Defining grouped theorem '__theoremdef__groups_big_star'..
> Flattened groups 'big,star' to 'all,custom,star,big' when defining theorem
'__theoremdef__groups_big_star'.
> Declaring thmtools theorem __theoremdef__groups_big_star.
> Defining grouped theorem '__theoremdef__groups_nobraces_big_star'..
> Flattened groups 'nobraces,big,star' to 'all,custom,star,big,nobraces' when
defining theorem '__theoremdef__groups_nobraces_big_star'.
> Declaring thmtools theorem __theoremdef__groups_nobraces_big_star.
> Defining grouped theorem '__theoremdef__groups_big_dagger'..
> Flattened groups 'big,dagger' to 'all,custom,dagger,big' when defining
theorem '__theoremdef__groups_big_dagger'.
> Declaring thmtools theorem __theoremdef__groups_big_dagger.
> Defining grouped theorem '__theoremdef__groups_nobraces_big_dagger'..
> Flattened groups 'nobraces,big,dagger' to 'all,custom,dagger,big,nobraces'
when defining theorem '__theoremdef__groups_nobraces_big_dagger'.
> Declaring thmtools theorem __theoremdef__groups_nobraces_big_dagger.
> Defining grouped theorem '__theoremdef__groups_big_dagger_star'..
> Flattened groups 'big,dagger,star' to 'all,star,custom,dagger,big' when
defining theorem '__theoremdef__groups_big_dagger_star'.
> Declaring thmtools theorem __theoremdef__groups_big_dagger_star.
> Defining grouped theorem '__theoremdef__groups_nobraces_big_dagger_star'..
> Flattened groups 'nobraces,big,dagger,star' to
'all,star,custom,dagger,big,nobraces' when defining theorem
'__theoremdef__groups_nobraces_big_dagger_star'.
> Declaring thmtools theorem __theoremdef__groups_nobraces_big_dagger_star.
> Defining theorem family options 'theoremdef'..
> Defining theorem family 'propositiondef'..
> Defining grouped theorem '__propositiondef__groups_big'..
> Flattened groups 'big' to 'all,big' when defining theorem
'__propositiondef__groups_big'.
> Declaring thmtools theorem __propositiondef__groups_big.
> Defining grouped theorem '__propositiondef__groups_nobraces_big'..
> Flattened groups 'nobraces,big' to 'all,big,nobraces' when defining theorem
'__propositiondef__groups_nobraces_big'.
> Declaring thmtools theorem __propositiondef__groups_nobraces_big.
> Defining grouped theorem '__propositiondef__groups_big_star'..
> Flattened groups 'big,star' to 'all,custom,star,big' when defining theorem
'__propositiondef__groups_big_star'.
> Declaring thmtools theorem __propositiondef__groups_big_star.
> Defining grouped theorem '__propositiondef__groups_nobraces_big_star'..
> Flattened groups 'nobraces,big,star' to 'all,custom,star,big,nobraces' when
defining theorem '__propositiondef__groups_nobraces_big_star'.
> Declaring thmtools theorem __propositiondef__groups_nobraces_big_star.
> Defining grouped theorem '__propositiondef__groups_big_dagger'..
> Flattened groups 'big,dagger' to 'all,custom,dagger,big' when defining
theorem '__propositiondef__groups_big_dagger'.
> Declaring thmtools theorem __propositiondef__groups_big_dagger.
> Defining grouped theorem '__propositiondef__groups_nobraces_big_dagger'..
> Flattened groups 'nobraces,big,dagger' to 'all,custom,dagger,big,nobraces'
when defining theorem '__propositiondef__groups_nobraces_big_dagger'.
> Declaring thmtools theorem __propositiondef__groups_nobraces_big_dagger.
> Defining grouped theorem '__propositiondef__groups_big_dagger_star'..
> Flattened groups 'big,dagger,star' to 'all,star,custom,dagger,big' when
defining theorem '__propositiondef__groups_big_dagger_star'.
> Declaring thmtools theorem __propositiondef__groups_big_dagger_star.
> Defining grouped theorem
'__propositiondef__groups_nobraces_big_dagger_star'..
> Flattened groups 'nobraces,big,dagger,star' to
'all,star,custom,dagger,big,nobraces' when defining theorem
'__propositiondef__groups_nobraces_big_dagger_star'.
> Declaring thmtools theorem
__propositiondef__groups_nobraces_big_dagger_star.
> Defining theorem family options 'propositiondef'..
> Providing theorem family 'propositiondef' skipped: 'propositiondef' already
defined..
> Providing theorem family options 'propositiondef' skipped: 'propositiondef'
already defined..
> Defining theorem family 'notation'..
> Defining grouped theorem '__notation__groups_small'..
> Flattened groups 'small' to 'all,small' when defining theorem
'__notation__groups_small'.
> Declaring thmtools theorem __notation__groups_small.
> Defining grouped theorem '__notation__groups_nobraces_small'..
> Flattened groups 'nobraces,small' to 'all,small,nobraces' when defining
theorem '__notation__groups_nobraces_small'.
> Declaring thmtools theorem __notation__groups_nobraces_small.
> Defining grouped theorem '__notation__groups_small_star'..
> Flattened groups 'small,star' to 'all,custom,star,small' when defining
theorem '__notation__groups_small_star'.
> Declaring thmtools theorem __notation__groups_small_star.
> Defining grouped theorem '__notation__groups_nobraces_small_star'..
> Flattened groups 'nobraces,small,star' to 'all,custom,star,small,nobraces'
when defining theorem '__notation__groups_nobraces_small_star'.
> Declaring thmtools theorem __notation__groups_nobraces_small_star.
> Defining grouped theorem '__notation__groups_small_dagger'..
> Flattened groups 'small,dagger' to 'all,custom,dagger,small' when defining
theorem '__notation__groups_small_dagger'.
> Declaring thmtools theorem __notation__groups_small_dagger.
> Defining grouped theorem '__notation__groups_nobraces_small_dagger'..
> Flattened groups 'nobraces,small,dagger' to
'all,custom,dagger,small,nobraces' when defining theorem
'__notation__groups_nobraces_small_dagger'.
> Declaring thmtools theorem __notation__groups_nobraces_small_dagger.
> Defining grouped theorem '__notation__groups_small_dagger_star'..
> Flattened groups 'small,dagger,star' to 'all,star,custom,dagger,small' when
defining theorem '__notation__groups_small_dagger_star'.
> Declaring thmtools theorem __notation__groups_small_dagger_star.
> Defining grouped theorem '__notation__groups_nobraces_small_dagger_star'..
> Flattened groups 'nobraces,small,dagger,star' to
'all,star,custom,dagger,small,nobraces' when defining theorem
'__notation__groups_nobraces_small_dagger_star'.
> Declaring thmtools theorem __notation__groups_nobraces_small_dagger_star.
> Defining theorem family options 'notation'..
> Defining theorem family 'remark'..
> Defining grouped theorem '__remark__groups_small'..
> Flattened groups 'small' to 'all,small' when defining theorem
'__remark__groups_small'.
> Declaring thmtools theorem __remark__groups_small.
> Defining grouped theorem '__remark__groups_nobraces_small'..
> Flattened groups 'nobraces,small' to 'all,small,nobraces' when defining
theorem '__remark__groups_nobraces_small'.
> Declaring thmtools theorem __remark__groups_nobraces_small.
> Defining grouped theorem '__remark__groups_small_star'..
> Flattened groups 'small,star' to 'all,custom,star,small' when defining
theorem '__remark__groups_small_star'.
> Declaring thmtools theorem __remark__groups_small_star.
> Defining grouped theorem '__remark__groups_nobraces_small_star'..
> Flattened groups 'nobraces,small,star' to 'all,custom,star,small,nobraces'
when defining theorem '__remark__groups_nobraces_small_star'.
> Declaring thmtools theorem __remark__groups_nobraces_small_star.
> Defining grouped theorem '__remark__groups_small_dagger'..
> Flattened groups 'small,dagger' to 'all,custom,dagger,small' when defining
theorem '__remark__groups_small_dagger'.
> Declaring thmtools theorem __remark__groups_small_dagger.
> Defining grouped theorem '__remark__groups_nobraces_small_dagger'..
> Flattened groups 'nobraces,small,dagger' to
'all,custom,dagger,small,nobraces' when defining theorem
'__remark__groups_nobraces_small_dagger'.
> Declaring thmtools theorem __remark__groups_nobraces_small_dagger.
> Defining grouped theorem '__remark__groups_small_dagger_star'..
> Flattened groups 'small,dagger,star' to 'all,star,custom,dagger,small' when
defining theorem '__remark__groups_small_dagger_star'.
> Declaring thmtools theorem __remark__groups_small_dagger_star.
> Defining grouped theorem '__remark__groups_nobraces_small_dagger_star'..
> Flattened groups 'nobraces,small,dagger,star' to
'all,star,custom,dagger,small,nobraces' when defining theorem
'__remark__groups_nobraces_small_dagger_star'.
> Declaring thmtools theorem __remark__groups_nobraces_small_dagger_star.
> Defining theorem family options 'remark'..
> Defining theorem family 'praise'..
> Defining grouped theorem '__praise__groups_small'..
> Flattened groups 'small' to 'all,small' when defining theorem
'__praise__groups_small'.
> Declaring thmtools theorem __praise__groups_small.
> Defining grouped theorem '__praise__groups_nobraces_small'..
> Flattened groups 'nobraces,small' to 'all,small,nobraces' when defining
theorem '__praise__groups_nobraces_small'.
> Declaring thmtools theorem __praise__groups_nobraces_small.
> Defining grouped theorem '__praise__groups_small_star'..
> Flattened groups 'small,star' to 'all,custom,star,small' when defining
theorem '__praise__groups_small_star'.
> Declaring thmtools theorem __praise__groups_small_star.
> Defining grouped theorem '__praise__groups_nobraces_small_star'..
> Flattened groups 'nobraces,small,star' to 'all,custom,star,small,nobraces'
when defining theorem '__praise__groups_nobraces_small_star'.
> Declaring thmtools theorem __praise__groups_nobraces_small_star.
> Defining grouped theorem '__praise__groups_small_dagger'..
> Flattened groups 'small,dagger' to 'all,custom,dagger,small' when defining
theorem '__praise__groups_small_dagger'.
> Declaring thmtools theorem __praise__groups_small_dagger.
> Defining grouped theorem '__praise__groups_nobraces_small_dagger'..
> Flattened groups 'nobraces,small,dagger' to
'all,custom,dagger,small,nobraces' when defining theorem
'__praise__groups_nobraces_small_dagger'.
> Declaring thmtools theorem __praise__groups_nobraces_small_dagger.
> Defining grouped theorem '__praise__groups_small_dagger_star'..
> Flattened groups 'small,dagger,star' to 'all,star,custom,dagger,small' when
defining theorem '__praise__groups_small_dagger_star'.
> Declaring thmtools theorem __praise__groups_small_dagger_star.
> Defining grouped theorem '__praise__groups_nobraces_small_dagger_star'..
> Flattened groups 'nobraces,small,dagger,star' to
'all,star,custom,dagger,small,nobraces' when defining theorem
'__praise__groups_nobraces_small_dagger_star'.
> Declaring thmtools theorem __praise__groups_nobraces_small_dagger_star.
> Defining theorem family options 'praise'..
> Defining theorem family 'question'..
> Defining grouped theorem '__question__groups_small'..
> Flattened groups 'small' to 'all,small' when defining theorem
'__question__groups_small'.
> Declaring thmtools theorem __question__groups_small.
> Defining grouped theorem '__question__groups_nobraces_small'..
> Flattened groups 'nobraces,small' to 'all,small,nobraces' when defining
theorem '__question__groups_nobraces_small'.
> Declaring thmtools theorem __question__groups_nobraces_small.
> Defining grouped theorem '__question__groups_small_star'..
> Flattened groups 'small,star' to 'all,custom,star,small' when defining
theorem '__question__groups_small_star'.
> Declaring thmtools theorem __question__groups_small_star.
> Defining grouped theorem '__question__groups_nobraces_small_star'..
> Flattened groups 'nobraces,small,star' to 'all,custom,star,small,nobraces'
when defining theorem '__question__groups_nobraces_small_star'.
> Declaring thmtools theorem __question__groups_nobraces_small_star.
> Defining grouped theorem '__question__groups_small_dagger'..
> Flattened groups 'small,dagger' to 'all,custom,dagger,small' when defining
theorem '__question__groups_small_dagger'.
> Declaring thmtools theorem __question__groups_small_dagger.
> Defining grouped theorem '__question__groups_nobraces_small_dagger'..
> Flattened groups 'nobraces,small,dagger' to
'all,custom,dagger,small,nobraces' when defining theorem
'__question__groups_nobraces_small_dagger'.
> Declaring thmtools theorem __question__groups_nobraces_small_dagger.
> Defining grouped theorem '__question__groups_small_dagger_star'..
> Flattened groups 'small,dagger,star' to 'all,star,custom,dagger,small' when
defining theorem '__question__groups_small_dagger_star'.
> Declaring thmtools theorem __question__groups_small_dagger_star.
> Defining grouped theorem '__question__groups_nobraces_small_dagger_star'..
> Flattened groups 'nobraces,small,dagger,star' to
'all,star,custom,dagger,small,nobraces' when defining theorem
'__question__groups_nobraces_small_dagger_star'.
> Declaring thmtools theorem __question__groups_nobraces_small_dagger_star.
> Defining theorem family options 'question'..
> Defining theorem family 'orga'..
> Defining grouped theorem '__orga__groups_small'..
> Flattened groups 'small' to 'all,small' when defining theorem
'__orga__groups_small'.
> Declaring thmtools theorem __orga__groups_small.
> Defining grouped theorem '__orga__groups_nobraces_small'..
> Flattened groups 'nobraces,small' to 'all,small,nobraces' when defining
theorem '__orga__groups_nobraces_small'.
> Declaring thmtools theorem __orga__groups_nobraces_small.
> Defining grouped theorem '__orga__groups_small_star'..
> Flattened groups 'small,star' to 'all,custom,star,small' when defining
theorem '__orga__groups_small_star'.
> Declaring thmtools theorem __orga__groups_small_star.
> Defining grouped theorem '__orga__groups_nobraces_small_star'..
> Flattened groups 'nobraces,small,star' to 'all,custom,star,small,nobraces'
when defining theorem '__orga__groups_nobraces_small_star'.
> Declaring thmtools theorem __orga__groups_nobraces_small_star.
> Defining grouped theorem '__orga__groups_small_dagger'..
> Flattened groups 'small,dagger' to 'all,custom,dagger,small' when defining
theorem '__orga__groups_small_dagger'.
> Declaring thmtools theorem __orga__groups_small_dagger.
> Defining grouped theorem '__orga__groups_nobraces_small_dagger'..
> Flattened groups 'nobraces,small,dagger' to
'all,custom,dagger,small,nobraces' when defining theorem
'__orga__groups_nobraces_small_dagger'.
> Declaring thmtools theorem __orga__groups_nobraces_small_dagger.
> Defining grouped theorem '__orga__groups_small_dagger_star'..
> Flattened groups 'small,dagger,star' to 'all,star,custom,dagger,small' when
defining theorem '__orga__groups_small_dagger_star'.
> Declaring thmtools theorem __orga__groups_small_dagger_star.
> Defining grouped theorem '__orga__groups_nobraces_small_dagger_star'..
> Flattened groups 'nobraces,small,dagger,star' to
'all,star,custom,dagger,small,nobraces' when defining theorem
'__orga__groups_nobraces_small_dagger_star'.
> Declaring thmtools theorem __orga__groups_nobraces_small_dagger_star.
> Defining theorem family options 'orga'..
> Defining theorem family 'fact'..
> Defining grouped theorem '__fact__groups_small'..
> Flattened groups 'small' to 'all,small' when defining theorem
'__fact__groups_small'.
> Declaring thmtools theorem __fact__groups_small.
> Defining grouped theorem '__fact__groups_nobraces_small'..
> Flattened groups 'nobraces,small' to 'all,small,nobraces' when defining
theorem '__fact__groups_nobraces_small'.
> Declaring thmtools theorem __fact__groups_nobraces_small.
> Defining grouped theorem '__fact__groups_small_star'..
> Flattened groups 'small,star' to 'all,custom,star,small' when defining
theorem '__fact__groups_small_star'.
> Declaring thmtools theorem __fact__groups_small_star.
> Defining grouped theorem '__fact__groups_nobraces_small_star'..
> Flattened groups 'nobraces,small,star' to 'all,custom,star,small,nobraces'
when defining theorem '__fact__groups_nobraces_small_star'.
> Declaring thmtools theorem __fact__groups_nobraces_small_star.
> Defining grouped theorem '__fact__groups_small_dagger'..
> Flattened groups 'small,dagger' to 'all,custom,dagger,small' when defining
theorem '__fact__groups_small_dagger'.
> Declaring thmtools theorem __fact__groups_small_dagger.
> Defining grouped theorem '__fact__groups_nobraces_small_dagger'..
> Flattened groups 'nobraces,small,dagger' to
'all,custom,dagger,small,nobraces' when defining theorem
'__fact__groups_nobraces_small_dagger'.
> Declaring thmtools theorem __fact__groups_nobraces_small_dagger.
> Defining grouped theorem '__fact__groups_small_dagger_star'..
> Flattened groups 'small,dagger,star' to 'all,star,custom,dagger,small' when
defining theorem '__fact__groups_small_dagger_star'.
> Declaring thmtools theorem __fact__groups_small_dagger_star.
> Defining grouped theorem '__fact__groups_nobraces_small_dagger_star'..
> Flattened groups 'nobraces,small,dagger,star' to
'all,star,custom,dagger,small,nobraces' when defining theorem
'__fact__groups_nobraces_small_dagger_star'.
> Declaring thmtools theorem __fact__groups_nobraces_small_dagger_star.
> Defining theorem family options 'fact'..
> Defining theorem family 'trivial'..
> Defining grouped theorem '__trivial__groups_small'..
> Flattened groups 'small' to 'all,small' when defining theorem
'__trivial__groups_small'.
> Declaring thmtools theorem __trivial__groups_small.
> Defining grouped theorem '__trivial__groups_nobraces_small'..
> Flattened groups 'nobraces,small' to 'all,small,nobraces' when defining
theorem '__trivial__groups_nobraces_small'.
> Declaring thmtools theorem __trivial__groups_nobraces_small.
> Defining grouped theorem '__trivial__groups_small_star'..
> Flattened groups 'small,star' to 'all,custom,star,small' when defining
theorem '__trivial__groups_small_star'.
> Declaring thmtools theorem __trivial__groups_small_star.
> Defining grouped theorem '__trivial__groups_nobraces_small_star'..
> Flattened groups 'nobraces,small,star' to 'all,custom,star,small,nobraces'
when defining theorem '__trivial__groups_nobraces_small_star'.
> Declaring thmtools theorem __trivial__groups_nobraces_small_star.
> Defining grouped theorem '__trivial__groups_small_dagger'..
> Flattened groups 'small,dagger' to 'all,custom,dagger,small' when defining
theorem '__trivial__groups_small_dagger'.
> Declaring thmtools theorem __trivial__groups_small_dagger.
> Defining grouped theorem '__trivial__groups_nobraces_small_dagger'..
> Flattened groups 'nobraces,small,dagger' to
'all,custom,dagger,small,nobraces' when defining theorem
'__trivial__groups_nobraces_small_dagger'.
> Declaring thmtools theorem __trivial__groups_nobraces_small_dagger.
> Defining grouped theorem '__trivial__groups_small_dagger_star'..
> Flattened groups 'small,dagger,star' to 'all,star,custom,dagger,small' when
defining theorem '__trivial__groups_small_dagger_star'.
> Declaring thmtools theorem __trivial__groups_small_dagger_star.
> Defining grouped theorem '__trivial__groups_nobraces_small_dagger_star'..
> Flattened groups 'nobraces,small,dagger,star' to
'all,star,custom,dagger,small,nobraces' when defining theorem
'__trivial__groups_nobraces_small_dagger_star'.
> Declaring thmtools theorem __trivial__groups_nobraces_small_dagger_star.
> Defining theorem family options 'trivial'..
> Defining theorem family 'abuse'..
> Defining grouped theorem '__abuse__groups_small'..
> Flattened groups 'small' to 'all,small' when defining theorem
'__abuse__groups_small'.
> Declaring thmtools theorem __abuse__groups_small.
> Defining grouped theorem '__abuse__groups_nobraces_small'..
> Flattened groups 'nobraces,small' to 'all,small,nobraces' when defining
theorem '__abuse__groups_nobraces_small'.
> Declaring thmtools theorem __abuse__groups_nobraces_small.
> Defining grouped theorem '__abuse__groups_small_star'..
> Flattened groups 'small,star' to 'all,custom,star,small' when defining
theorem '__abuse__groups_small_star'.
> Declaring thmtools theorem __abuse__groups_small_star.
> Defining grouped theorem '__abuse__groups_nobraces_small_star'..
> Flattened groups 'nobraces,small,star' to 'all,custom,star,small,nobraces'
when defining theorem '__abuse__groups_nobraces_small_star'.
> Declaring thmtools theorem __abuse__groups_nobraces_small_star.
> Defining grouped theorem '__abuse__groups_small_dagger'..
> Flattened groups 'small,dagger' to 'all,custom,dagger,small' when defining
theorem '__abuse__groups_small_dagger'.
> Declaring thmtools theorem __abuse__groups_small_dagger.
> Defining grouped theorem '__abuse__groups_nobraces_small_dagger'..
> Flattened groups 'nobraces,small,dagger' to
'all,custom,dagger,small,nobraces' when defining theorem
'__abuse__groups_nobraces_small_dagger'.
> Declaring thmtools theorem __abuse__groups_nobraces_small_dagger.
> Defining grouped theorem '__abuse__groups_small_dagger_star'..
> Flattened groups 'small,dagger,star' to 'all,star,custom,dagger,small' when
defining theorem '__abuse__groups_small_dagger_star'.
> Declaring thmtools theorem __abuse__groups_small_dagger_star.
> Defining grouped theorem '__abuse__groups_nobraces_small_dagger_star'..
> Flattened groups 'nobraces,small,dagger,star' to
'all,star,custom,dagger,small,nobraces' when defining theorem
'__abuse__groups_nobraces_small_dagger_star'.
> Declaring thmtools theorem __abuse__groups_nobraces_small_dagger_star.
> Defining theorem family options 'abuse'..
> Defining theorem family 'oral'..
> Defining grouped theorem '__oral__groups_small'..
> Flattened groups 'small' to 'all,small' when defining theorem
'__oral__groups_small'.
> Declaring thmtools theorem __oral__groups_small.
> Defining grouped theorem '__oral__groups_nobraces_small'..
> Flattened groups 'nobraces,small' to 'all,small,nobraces' when defining
theorem '__oral__groups_nobraces_small'.
> Declaring thmtools theorem __oral__groups_nobraces_small.
> Defining grouped theorem '__oral__groups_small_star'..
> Flattened groups 'small,star' to 'all,custom,star,small' when defining
theorem '__oral__groups_small_star'.
> Declaring thmtools theorem __oral__groups_small_star.
> Defining grouped theorem '__oral__groups_nobraces_small_star'..
> Flattened groups 'nobraces,small,star' to 'all,custom,star,small,nobraces'
when defining theorem '__oral__groups_nobraces_small_star'.
> Declaring thmtools theorem __oral__groups_nobraces_small_star.
> Defining grouped theorem '__oral__groups_small_dagger'..
> Flattened groups 'small,dagger' to 'all,custom,dagger,small' when defining
theorem '__oral__groups_small_dagger'.
> Declaring thmtools theorem __oral__groups_small_dagger.
> Defining grouped theorem '__oral__groups_nobraces_small_dagger'..
> Flattened groups 'nobraces,small,dagger' to
'all,custom,dagger,small,nobraces' when defining theorem
'__oral__groups_nobraces_small_dagger'.
> Declaring thmtools theorem __oral__groups_nobraces_small_dagger.
> Defining grouped theorem '__oral__groups_small_dagger_star'..
> Flattened groups 'small,dagger,star' to 'all,star,custom,dagger,small' when
defining theorem '__oral__groups_small_dagger_star'.
> Declaring thmtools theorem __oral__groups_small_dagger_star.
> Defining grouped theorem '__oral__groups_nobraces_small_dagger_star'..
> Flattened groups 'nobraces,small,dagger,star' to
'all,star,custom,dagger,small,nobraces' when defining theorem
'__oral__groups_nobraces_small_dagger_star'.
> Declaring thmtools theorem __oral__groups_nobraces_small_dagger_star.
> Defining theorem family options 'oral'..
> Defining theorem family 'variant'..
> Defining grouped theorem '__variant__groups_tiny'..
> Flattened groups 'tiny' to 'all,tiny' when defining theorem
'__variant__groups_tiny'.
> Declaring thmtools theorem __variant__groups_tiny.
> Defining grouped theorem '__variant__groups_nobraces_tiny'..
> Flattened groups 'nobraces,tiny' to 'all,tiny,nobraces' when defining
theorem '__variant__groups_nobraces_tiny'.
> Declaring thmtools theorem __variant__groups_nobraces_tiny.
> Defining grouped theorem '__variant__groups_tiny_star'..
> Flattened groups 'tiny,star' to 'all,custom,star,tiny' when defining theorem
'__variant__groups_tiny_star'.
> Declaring thmtools theorem __variant__groups_tiny_star.
> Defining grouped theorem '__variant__groups_nobraces_tiny_star'..
> Flattened groups 'nobraces,tiny,star' to 'all,custom,star,tiny,nobraces'
when defining theorem '__variant__groups_nobraces_tiny_star'.
> Declaring thmtools theorem __variant__groups_nobraces_tiny_star.
> Defining grouped theorem '__variant__groups_tiny_dagger'..
> Flattened groups 'tiny,dagger' to 'all,custom,dagger,tiny' when defining
theorem '__variant__groups_tiny_dagger'.
> Declaring thmtools theorem __variant__groups_tiny_dagger.
> Defining grouped theorem '__variant__groups_nobraces_tiny_dagger'..
> Flattened groups 'nobraces,tiny,dagger' to 'all,custom,dagger,tiny,nobraces'
when defining theorem '__variant__groups_nobraces_tiny_dagger'.
> Declaring thmtools theorem __variant__groups_nobraces_tiny_dagger.
> Defining grouped theorem '__variant__groups_tiny_dagger_star'..
> Flattened groups 'tiny,dagger,star' to 'all,star,custom,dagger,tiny' when
defining theorem '__variant__groups_tiny_dagger_star'.
> Declaring thmtools theorem __variant__groups_tiny_dagger_star.
> Defining grouped theorem '__variant__groups_nobraces_tiny_dagger_star'..
> Flattened groups 'nobraces,tiny,dagger,star' to
'all,star,custom,dagger,tiny,nobraces' when defining theorem
'__variant__groups_nobraces_tiny_dagger_star'.
> Declaring thmtools theorem __variant__groups_nobraces_tiny_dagger_star.
> Defining theorem family options 'variant'..
> Defining theorem family 'assumption'..
> Defining grouped theorem '__assumption__groups_tiny'..
> Flattened groups 'tiny' to 'all,tiny' when defining theorem
'__assumption__groups_tiny'.
> Declaring thmtools theorem __assumption__groups_tiny.
> Defining grouped theorem '__assumption__groups_nobraces_tiny'..
> Flattened groups 'nobraces,tiny' to 'all,tiny,nobraces' when defining
theorem '__assumption__groups_nobraces_tiny'.
> Declaring thmtools theorem __assumption__groups_nobraces_tiny.
> Defining grouped theorem '__assumption__groups_tiny_star'..
> Flattened groups 'tiny,star' to 'all,custom,star,tiny' when defining theorem
'__assumption__groups_tiny_star'.
> Declaring thmtools theorem __assumption__groups_tiny_star.
> Defining grouped theorem '__assumption__groups_nobraces_tiny_star'..
> Flattened groups 'nobraces,tiny,star' to 'all,custom,star,tiny,nobraces'
when defining theorem '__assumption__groups_nobraces_tiny_star'.
> Declaring thmtools theorem __assumption__groups_nobraces_tiny_star.
> Defining grouped theorem '__assumption__groups_tiny_dagger'..
> Flattened groups 'tiny,dagger' to 'all,custom,dagger,tiny' when defining
theorem '__assumption__groups_tiny_dagger'.
> Declaring thmtools theorem __assumption__groups_tiny_dagger.
> Defining grouped theorem '__assumption__groups_nobraces_tiny_dagger'..
> Flattened groups 'nobraces,tiny,dagger' to 'all,custom,dagger,tiny,nobraces'
when defining theorem '__assumption__groups_nobraces_tiny_dagger'.
> Declaring thmtools theorem __assumption__groups_nobraces_tiny_dagger.
> Defining grouped theorem '__assumption__groups_tiny_dagger_star'..
> Flattened groups 'tiny,dagger,star' to 'all,star,custom,dagger,tiny' when
defining theorem '__assumption__groups_tiny_dagger_star'.
> Declaring thmtools theorem __assumption__groups_tiny_dagger_star.
> Defining grouped theorem '__assumption__groups_nobraces_tiny_dagger_star'..
> Flattened groups 'nobraces,tiny,dagger,star' to
'all,star,custom,dagger,tiny,nobraces' when defining theorem
'__assumption__groups_nobraces_tiny_dagger_star'.
> Declaring thmtools theorem __assumption__groups_nobraces_tiny_dagger_star.
> Defining theorem family options 'assumption'..
> Defining theorem family 'note'..
> Defining grouped theorem '__note__groups_tiny'..
> Flattened groups 'tiny' to 'all,tiny' when defining theorem
'__note__groups_tiny'.
> Declaring thmtools theorem __note__groups_tiny.
> Defining grouped theorem '__note__groups_nobraces_tiny'..
> Flattened groups 'nobraces,tiny' to 'all,tiny,nobraces' when defining
theorem '__note__groups_nobraces_tiny'.
> Declaring thmtools theorem __note__groups_nobraces_tiny.
> Defining grouped theorem '__note__groups_tiny_star'..
> Flattened groups 'tiny,star' to 'all,custom,star,tiny' when defining theorem
'__note__groups_tiny_star'.
> Declaring thmtools theorem __note__groups_tiny_star.
> Defining grouped theorem '__note__groups_nobraces_tiny_star'..
> Flattened groups 'nobraces,tiny,star' to 'all,custom,star,tiny,nobraces'
when defining theorem '__note__groups_nobraces_tiny_star'.
> Declaring thmtools theorem __note__groups_nobraces_tiny_star.
> Defining grouped theorem '__note__groups_tiny_dagger'..
> Flattened groups 'tiny,dagger' to 'all,custom,dagger,tiny' when defining
theorem '__note__groups_tiny_dagger'.
> Declaring thmtools theorem __note__groups_tiny_dagger.
> Defining grouped theorem '__note__groups_nobraces_tiny_dagger'..
> Flattened groups 'nobraces,tiny,dagger' to 'all,custom,dagger,tiny,nobraces'
when defining theorem '__note__groups_nobraces_tiny_dagger'.
> Declaring thmtools theorem __note__groups_nobraces_tiny_dagger.
> Defining grouped theorem '__note__groups_tiny_dagger_star'..
> Flattened groups 'tiny,dagger,star' to 'all,star,custom,dagger,tiny' when
defining theorem '__note__groups_tiny_dagger_star'.
> Declaring thmtools theorem __note__groups_tiny_dagger_star.
> Defining grouped theorem '__note__groups_nobraces_tiny_dagger_star'..
> Flattened groups 'nobraces,tiny,dagger,star' to
'all,star,custom,dagger,tiny,nobraces' when defining theorem
'__note__groups_nobraces_tiny_dagger_star'.
> Declaring thmtools theorem __note__groups_nobraces_tiny_dagger_star.
> Defining theorem family options 'note'..
> Defining theorem family 'warning'..
> Defining grouped theorem '__warning__groups_tiny'..
> Flattened groups 'tiny' to 'all,tiny' when defining theorem
'__warning__groups_tiny'.
> Declaring thmtools theorem __warning__groups_tiny.
> Defining grouped theorem '__warning__groups_nobraces_tiny'..
> Flattened groups 'nobraces,tiny' to 'all,tiny,nobraces' when defining
theorem '__warning__groups_nobraces_tiny'.
> Declaring thmtools theorem __warning__groups_nobraces_tiny.
> Defining grouped theorem '__warning__groups_tiny_star'..
> Flattened groups 'tiny,star' to 'all,custom,star,tiny' when defining theorem
'__warning__groups_tiny_star'.
> Declaring thmtools theorem __warning__groups_tiny_star.
> Defining grouped theorem '__warning__groups_nobraces_tiny_star'..
> Flattened groups 'nobraces,tiny,star' to 'all,custom,star,tiny,nobraces'
when defining theorem '__warning__groups_nobraces_tiny_star'.
> Declaring thmtools theorem __warning__groups_nobraces_tiny_star.
> Defining grouped theorem '__warning__groups_tiny_dagger'..
> Flattened groups 'tiny,dagger' to 'all,custom,dagger,tiny' when defining
theorem '__warning__groups_tiny_dagger'.
> Declaring thmtools theorem __warning__groups_tiny_dagger.
> Defining grouped theorem '__warning__groups_nobraces_tiny_dagger'..
> Flattened groups 'nobraces,tiny,dagger' to 'all,custom,dagger,tiny,nobraces'
when defining theorem '__warning__groups_nobraces_tiny_dagger'.
> Declaring thmtools theorem __warning__groups_nobraces_tiny_dagger.
> Defining grouped theorem '__warning__groups_tiny_dagger_star'..
> Flattened groups 'tiny,dagger,star' to 'all,star,custom,dagger,tiny' when
defining theorem '__warning__groups_tiny_dagger_star'.
> Declaring thmtools theorem __warning__groups_tiny_dagger_star.
> Defining grouped theorem '__warning__groups_nobraces_tiny_dagger_star'..
> Flattened groups 'nobraces,tiny,dagger,star' to
'all,star,custom,dagger,tiny,nobraces' when defining theorem
'__warning__groups_nobraces_tiny_dagger_star'.
> Declaring thmtools theorem __warning__groups_nobraces_tiny_dagger_star.
> Defining theorem family options 'warning'..
> Defining theorem family 'goal'..
> Defining grouped theorem '__goal__groups_tiny'..
> Flattened groups 'tiny' to 'all,tiny' when defining theorem
'__goal__groups_tiny'.
> Declaring thmtools theorem __goal__groups_tiny.
> Defining grouped theorem '__goal__groups_nobraces_tiny'..
> Flattened groups 'nobraces,tiny' to 'all,tiny,nobraces' when defining
theorem '__goal__groups_nobraces_tiny'.
> Declaring thmtools theorem __goal__groups_nobraces_tiny.
> Defining grouped theorem '__goal__groups_tiny_star'..
> Flattened groups 'tiny,star' to 'all,custom,star,tiny' when defining theorem
'__goal__groups_tiny_star'.
> Declaring thmtools theorem __goal__groups_tiny_star.
> Defining grouped theorem '__goal__groups_nobraces_tiny_star'..
> Flattened groups 'nobraces,tiny,star' to 'all,custom,star,tiny,nobraces'
when defining theorem '__goal__groups_nobraces_tiny_star'.
> Declaring thmtools theorem __goal__groups_nobraces_tiny_star.
> Defining grouped theorem '__goal__groups_tiny_dagger'..
> Flattened groups 'tiny,dagger' to 'all,custom,dagger,tiny' when defining
theorem '__goal__groups_tiny_dagger'.
> Declaring thmtools theorem __goal__groups_tiny_dagger.
> Defining grouped theorem '__goal__groups_nobraces_tiny_dagger'..
> Flattened groups 'nobraces,tiny,dagger' to 'all,custom,dagger,tiny,nobraces'
when defining theorem '__goal__groups_nobraces_tiny_dagger'.
> Declaring thmtools theorem __goal__groups_nobraces_tiny_dagger.
> Defining grouped theorem '__goal__groups_tiny_dagger_star'..
> Flattened groups 'tiny,dagger,star' to 'all,star,custom,dagger,tiny' when
defining theorem '__goal__groups_tiny_dagger_star'.
> Declaring thmtools theorem __goal__groups_tiny_dagger_star.
> Defining grouped theorem '__goal__groups_nobraces_tiny_dagger_star'..
> Flattened groups 'nobraces,tiny,dagger,star' to
'all,star,custom,dagger,tiny,nobraces' when defining theorem
'__goal__groups_nobraces_tiny_dagger_star'.
> Declaring thmtools theorem __goal__groups_nobraces_tiny_dagger_star.
> Defining theorem family options 'goal'..
> Defining theorem family 'strategy'..
> Defining grouped theorem '__strategy__groups_tiny'..
> Flattened groups 'tiny' to 'all,tiny' when defining theorem
'__strategy__groups_tiny'.
> Declaring thmtools theorem __strategy__groups_tiny.
> Defining grouped theorem '__strategy__groups_nobraces_tiny'..
> Flattened groups 'nobraces,tiny' to 'all,tiny,nobraces' when defining
theorem '__strategy__groups_nobraces_tiny'.
> Declaring thmtools theorem __strategy__groups_nobraces_tiny.
> Defining grouped theorem '__strategy__groups_tiny_star'..
> Flattened groups 'tiny,star' to 'all,custom,star,tiny' when defining theorem
'__strategy__groups_tiny_star'.
> Declaring thmtools theorem __strategy__groups_tiny_star.
> Defining grouped theorem '__strategy__groups_nobraces_tiny_star'..
> Flattened groups 'nobraces,tiny,star' to 'all,custom,star,tiny,nobraces'
when defining theorem '__strategy__groups_nobraces_tiny_star'.
> Declaring thmtools theorem __strategy__groups_nobraces_tiny_star.
> Defining grouped theorem '__strategy__groups_tiny_dagger'..
> Flattened groups 'tiny,dagger' to 'all,custom,dagger,tiny' when defining
theorem '__strategy__groups_tiny_dagger'.
> Declaring thmtools theorem __strategy__groups_tiny_dagger.
> Defining grouped theorem '__strategy__groups_nobraces_tiny_dagger'..
> Flattened groups 'nobraces,tiny,dagger' to 'all,custom,dagger,tiny,nobraces'
when defining theorem '__strategy__groups_nobraces_tiny_dagger'.
> Declaring thmtools theorem __strategy__groups_nobraces_tiny_dagger.
> Defining grouped theorem '__strategy__groups_tiny_dagger_star'..
> Flattened groups 'tiny,dagger,star' to 'all,star,custom,dagger,tiny' when
defining theorem '__strategy__groups_tiny_dagger_star'.
> Declaring thmtools theorem __strategy__groups_tiny_dagger_star.
> Defining grouped theorem '__strategy__groups_nobraces_tiny_dagger_star'..
> Flattened groups 'nobraces,tiny,dagger,star' to
'all,star,custom,dagger,tiny,nobraces' when defining theorem
'__strategy__groups_nobraces_tiny_dagger_star'.
> Declaring thmtools theorem __strategy__groups_nobraces_tiny_dagger_star.
> Defining theorem family options 'strategy'..
> Defining theorem family 'problem'..
> Defining grouped theorem '__problem__groups_tiny'..
> Flattened groups 'tiny' to 'all,tiny' when defining theorem
'__problem__groups_tiny'.
> Declaring thmtools theorem __problem__groups_tiny.
> Defining grouped theorem '__problem__groups_nobraces_tiny'..
> Flattened groups 'nobraces,tiny' to 'all,tiny,nobraces' when defining
theorem '__problem__groups_nobraces_tiny'.
> Declaring thmtools theorem __problem__groups_nobraces_tiny.
> Defining grouped theorem '__problem__groups_tiny_star'..
> Flattened groups 'tiny,star' to 'all,custom,star,tiny' when defining theorem
'__problem__groups_tiny_star'.
> Declaring thmtools theorem __problem__groups_tiny_star.
> Defining grouped theorem '__problem__groups_nobraces_tiny_star'..
> Flattened groups 'nobraces,tiny,star' to 'all,custom,star,tiny,nobraces'
when defining theorem '__problem__groups_nobraces_tiny_star'.
> Declaring thmtools theorem __problem__groups_nobraces_tiny_star.
> Defining grouped theorem '__problem__groups_tiny_dagger'..
> Flattened groups 'tiny,dagger' to 'all,custom,dagger,tiny' when defining
theorem '__problem__groups_tiny_dagger'.
> Declaring thmtools theorem __problem__groups_tiny_dagger.
> Defining grouped theorem '__problem__groups_nobraces_tiny_dagger'..
> Flattened groups 'nobraces,tiny,dagger' to 'all,custom,dagger,tiny,nobraces'
when defining theorem '__problem__groups_nobraces_tiny_dagger'.
> Declaring thmtools theorem __problem__groups_nobraces_tiny_dagger.
> Defining grouped theorem '__problem__groups_tiny_dagger_star'..
> Flattened groups 'tiny,dagger,star' to 'all,star,custom,dagger,tiny' when
defining theorem '__problem__groups_tiny_dagger_star'.
> Declaring thmtools theorem __problem__groups_tiny_dagger_star.
> Defining grouped theorem '__problem__groups_nobraces_tiny_dagger_star'..
> Flattened groups 'nobraces,tiny,dagger,star' to
'all,star,custom,dagger,tiny,nobraces' when defining theorem
'__problem__groups_nobraces_tiny_dagger_star'.
> Declaring thmtools theorem __problem__groups_nobraces_tiny_dagger_star.
> Providing theorem family options 'problem' skipped: 'problem' already
defined..
> Defining theorem family 'info'..
> Defining grouped theorem '__info__groups_tiny'..
> Flattened groups 'tiny' to 'all,tiny' when defining theorem
'__info__groups_tiny'.
> Declaring thmtools theorem __info__groups_tiny.
> Defining grouped theorem '__info__groups_nobraces_tiny'..
> Flattened groups 'nobraces,tiny' to 'all,tiny,nobraces' when defining
theorem '__info__groups_nobraces_tiny'.
> Declaring thmtools theorem __info__groups_nobraces_tiny.
> Defining grouped theorem '__info__groups_tiny_star'..
> Flattened groups 'tiny,star' to 'all,custom,star,tiny' when defining theorem
'__info__groups_tiny_star'.
> Declaring thmtools theorem __info__groups_tiny_star.
> Defining grouped theorem '__info__groups_nobraces_tiny_star'..
> Flattened groups 'nobraces,tiny,star' to 'all,custom,star,tiny,nobraces'
when defining theorem '__info__groups_nobraces_tiny_star'.
> Declaring thmtools theorem __info__groups_nobraces_tiny_star.
> Defining grouped theorem '__info__groups_tiny_dagger'..
> Flattened groups 'tiny,dagger' to 'all,custom,dagger,tiny' when defining
theorem '__info__groups_tiny_dagger'.
> Declaring thmtools theorem __info__groups_tiny_dagger.
> Defining grouped theorem '__info__groups_nobraces_tiny_dagger'..
> Flattened groups 'nobraces,tiny,dagger' to 'all,custom,dagger,tiny,nobraces'
when defining theorem '__info__groups_nobraces_tiny_dagger'.
> Declaring thmtools theorem __info__groups_nobraces_tiny_dagger.
> Defining grouped theorem '__info__groups_tiny_dagger_star'..
> Flattened groups 'tiny,dagger,star' to 'all,star,custom,dagger,tiny' when
defining theorem '__info__groups_tiny_dagger_star'.
> Declaring thmtools theorem __info__groups_tiny_dagger_star.
> Defining grouped theorem '__info__groups_nobraces_tiny_dagger_star'..
> Flattened groups 'nobraces,tiny,dagger,star' to
'all,star,custom,dagger,tiny,nobraces' when defining theorem
'__info__groups_nobraces_tiny_dagger_star'.
> Declaring thmtools theorem __info__groups_nobraces_tiny_dagger_star.
> Defining theorem family options 'info'..
> Defining theorem family 'observe'..
> Defining grouped theorem '__observe__groups_tiny'..
> Flattened groups 'tiny' to 'all,tiny' when defining theorem
'__observe__groups_tiny'.
> Declaring thmtools theorem __observe__groups_tiny.
> Defining grouped theorem '__observe__groups_nobraces_tiny'..
> Flattened groups 'nobraces,tiny' to 'all,tiny,nobraces' when defining
theorem '__observe__groups_nobraces_tiny'.
> Declaring thmtools theorem __observe__groups_nobraces_tiny.
> Defining grouped theorem '__observe__groups_tiny_star'..
> Flattened groups 'tiny,star' to 'all,custom,star,tiny' when defining theorem
'__observe__groups_tiny_star'.
> Declaring thmtools theorem __observe__groups_tiny_star.
> Defining grouped theorem '__observe__groups_nobraces_tiny_star'..
> Flattened groups 'nobraces,tiny,star' to 'all,custom,star,tiny,nobraces'
when defining theorem '__observe__groups_nobraces_tiny_star'.
> Declaring thmtools theorem __observe__groups_nobraces_tiny_star.
> Defining grouped theorem '__observe__groups_tiny_dagger'..
> Flattened groups 'tiny,dagger' to 'all,custom,dagger,tiny' when defining
theorem '__observe__groups_tiny_dagger'.
> Declaring thmtools theorem __observe__groups_tiny_dagger.
> Defining grouped theorem '__observe__groups_nobraces_tiny_dagger'..
> Flattened groups 'nobraces,tiny,dagger' to 'all,custom,dagger,tiny,nobraces'
when defining theorem '__observe__groups_nobraces_tiny_dagger'.
> Declaring thmtools theorem __observe__groups_nobraces_tiny_dagger.
> Defining grouped theorem '__observe__groups_tiny_dagger_star'..
> Flattened groups 'tiny,dagger,star' to 'all,star,custom,dagger,tiny' when
defining theorem '__observe__groups_tiny_dagger_star'.
> Declaring thmtools theorem __observe__groups_tiny_dagger_star.
> Defining grouped theorem '__observe__groups_nobraces_tiny_dagger_star'..
> Flattened groups 'nobraces,tiny,dagger,star' to
'all,star,custom,dagger,tiny,nobraces' when defining theorem
'__observe__groups_nobraces_tiny_dagger_star'.
> Declaring thmtools theorem __observe__groups_nobraces_tiny_dagger_star.
> Defining theorem family options 'observe'..
> Defining theorem family 'property'..
> Defining grouped theorem '__property__groups_tiny'..
> Flattened groups 'tiny' to 'all,tiny' when defining theorem
'__property__groups_tiny'.
> Declaring thmtools theorem __property__groups_tiny.
> Defining grouped theorem '__property__groups_nobraces_tiny'..
> Flattened groups 'nobraces,tiny' to 'all,tiny,nobraces' when defining
theorem '__property__groups_nobraces_tiny'.
> Declaring thmtools theorem __property__groups_nobraces_tiny.
> Defining grouped theorem '__property__groups_tiny_star'..
> Flattened groups 'tiny,star' to 'all,custom,star,tiny' when defining theorem
'__property__groups_tiny_star'.
> Declaring thmtools theorem __property__groups_tiny_star.
> Defining grouped theorem '__property__groups_nobraces_tiny_star'..
> Flattened groups 'nobraces,tiny,star' to 'all,custom,star,tiny,nobraces'
when defining theorem '__property__groups_nobraces_tiny_star'.
> Declaring thmtools theorem __property__groups_nobraces_tiny_star.
> Defining grouped theorem '__property__groups_tiny_dagger'..
> Flattened groups 'tiny,dagger' to 'all,custom,dagger,tiny' when defining
theorem '__property__groups_tiny_dagger'.
> Declaring thmtools theorem __property__groups_tiny_dagger.
> Defining grouped theorem '__property__groups_nobraces_tiny_dagger'..
> Flattened groups 'nobraces,tiny,dagger' to 'all,custom,dagger,tiny,nobraces'
when defining theorem '__property__groups_nobraces_tiny_dagger'.
> Declaring thmtools theorem __property__groups_nobraces_tiny_dagger.
> Defining grouped theorem '__property__groups_tiny_dagger_star'..
> Flattened groups 'tiny,dagger,star' to 'all,star,custom,dagger,tiny' when
defining theorem '__property__groups_tiny_dagger_star'.
> Declaring thmtools theorem __property__groups_tiny_dagger_star.
> Defining grouped theorem '__property__groups_nobraces_tiny_dagger_star'..
> Flattened groups 'nobraces,tiny,dagger,star' to
'all,star,custom,dagger,tiny,nobraces' when defining theorem
'__property__groups_nobraces_tiny_dagger_star'.
> Declaring thmtools theorem __property__groups_nobraces_tiny_dagger_star.
> Defining theorem family options 'property'..
> Defining theorem family 'intuition'..
> Defining grouped theorem '__intuition__groups_tiny'..
> Flattened groups 'tiny' to 'all,tiny' when defining theorem
'__intuition__groups_tiny'.
> Declaring thmtools theorem __intuition__groups_tiny.
> Defining grouped theorem '__intuition__groups_nobraces_tiny'..
> Flattened groups 'nobraces,tiny' to 'all,tiny,nobraces' when defining
theorem '__intuition__groups_nobraces_tiny'.
> Declaring thmtools theorem __intuition__groups_nobraces_tiny.
> Defining grouped theorem '__intuition__groups_tiny_star'..
> Flattened groups 'tiny,star' to 'all,custom,star,tiny' when defining theorem
'__intuition__groups_tiny_star'.
> Declaring thmtools theorem __intuition__groups_tiny_star.
> Defining grouped theorem '__intuition__groups_nobraces_tiny_star'..
> Flattened groups 'nobraces,tiny,star' to 'all,custom,star,tiny,nobraces'
when defining theorem '__intuition__groups_nobraces_tiny_star'.
> Declaring thmtools theorem __intuition__groups_nobraces_tiny_star.
> Defining grouped theorem '__intuition__groups_tiny_dagger'..
> Flattened groups 'tiny,dagger' to 'all,custom,dagger,tiny' when defining
theorem '__intuition__groups_tiny_dagger'.
> Declaring thmtools theorem __intuition__groups_tiny_dagger.
> Defining grouped theorem '__intuition__groups_nobraces_tiny_dagger'..
> Flattened groups 'nobraces,tiny,dagger' to 'all,custom,dagger,tiny,nobraces'
when defining theorem '__intuition__groups_nobraces_tiny_dagger'.
> Declaring thmtools theorem __intuition__groups_nobraces_tiny_dagger.
> Defining grouped theorem '__intuition__groups_tiny_dagger_star'..
> Flattened groups 'tiny,dagger,star' to 'all,star,custom,dagger,tiny' when
defining theorem '__intuition__groups_tiny_dagger_star'.
> Declaring thmtools theorem __intuition__groups_tiny_dagger_star.
> Defining grouped theorem '__intuition__groups_nobraces_tiny_dagger_star'..
> Flattened groups 'nobraces,tiny,dagger,star' to
'all,star,custom,dagger,tiny,nobraces' when defining theorem
'__intuition__groups_nobraces_tiny_dagger_star'.
> Declaring thmtools theorem __intuition__groups_nobraces_tiny_dagger_star.
> Defining theorem family options 'intuition'..
> Defining theorem family 'recall'..
> Defining grouped theorem '__recall__groups_tiny'..
> Flattened groups 'tiny' to 'all,tiny' when defining theorem
'__recall__groups_tiny'.
> Declaring thmtools theorem __recall__groups_tiny.
> Defining grouped theorem '__recall__groups_nobraces_tiny'..
> Flattened groups 'nobraces,tiny' to 'all,tiny,nobraces' when defining
theorem '__recall__groups_nobraces_tiny'.
> Declaring thmtools theorem __recall__groups_nobraces_tiny.
> Defining grouped theorem '__recall__groups_tiny_star'..
> Flattened groups 'tiny,star' to 'all,custom,star,tiny' when defining theorem
'__recall__groups_tiny_star'.
> Declaring thmtools theorem __recall__groups_tiny_star.
> Defining grouped theorem '__recall__groups_nobraces_tiny_star'..
> Flattened groups 'nobraces,tiny,star' to 'all,custom,star,tiny,nobraces'
when defining theorem '__recall__groups_nobraces_tiny_star'.
> Declaring thmtools theorem __recall__groups_nobraces_tiny_star.
> Defining grouped theorem '__recall__groups_tiny_dagger'..
> Flattened groups 'tiny,dagger' to 'all,custom,dagger,tiny' when defining
theorem '__recall__groups_tiny_dagger'.
> Declaring thmtools theorem __recall__groups_tiny_dagger.
> Defining grouped theorem '__recall__groups_nobraces_tiny_dagger'..
> Flattened groups 'nobraces,tiny,dagger' to 'all,custom,dagger,tiny,nobraces'
when defining theorem '__recall__groups_nobraces_tiny_dagger'.
> Declaring thmtools theorem __recall__groups_nobraces_tiny_dagger.
> Defining grouped theorem '__recall__groups_tiny_dagger_star'..
> Flattened groups 'tiny,dagger,star' to 'all,star,custom,dagger,tiny' when
defining theorem '__recall__groups_tiny_dagger_star'.
> Declaring thmtools theorem __recall__groups_tiny_dagger_star.
> Defining grouped theorem '__recall__groups_nobraces_tiny_dagger_star'..
> Flattened groups 'nobraces,tiny,dagger,star' to
'all,star,custom,dagger,tiny,nobraces' when defining theorem
'__recall__groups_nobraces_tiny_dagger_star'.
> Declaring thmtools theorem __recall__groups_nobraces_tiny_dagger_star.
> Defining theorem family options 'recall'..
> Defining theorem family 'idea'..
> Defining grouped theorem '__idea__groups_tiny'..
> Flattened groups 'tiny' to 'all,tiny' when defining theorem
'__idea__groups_tiny'.
> Declaring thmtools theorem __idea__groups_tiny.
> Defining grouped theorem '__idea__groups_nobraces_tiny'..
> Flattened groups 'nobraces,tiny' to 'all,tiny,nobraces' when defining
theorem '__idea__groups_nobraces_tiny'.
> Declaring thmtools theorem __idea__groups_nobraces_tiny.
> Defining grouped theorem '__idea__groups_tiny_star'..
> Flattened groups 'tiny,star' to 'all,custom,star,tiny' when defining theorem
'__idea__groups_tiny_star'.
> Declaring thmtools theorem __idea__groups_tiny_star.
> Defining grouped theorem '__idea__groups_nobraces_tiny_star'..
> Flattened groups 'nobraces,tiny,star' to 'all,custom,star,tiny,nobraces'
when defining theorem '__idea__groups_nobraces_tiny_star'.
> Declaring thmtools theorem __idea__groups_nobraces_tiny_star.
> Defining grouped theorem '__idea__groups_tiny_dagger'..
> Flattened groups 'tiny,dagger' to 'all,custom,dagger,tiny' when defining
theorem '__idea__groups_tiny_dagger'.
> Declaring thmtools theorem __idea__groups_tiny_dagger.
> Defining grouped theorem '__idea__groups_nobraces_tiny_dagger'..
> Flattened groups 'nobraces,tiny,dagger' to 'all,custom,dagger,tiny,nobraces'
when defining theorem '__idea__groups_nobraces_tiny_dagger'.
> Declaring thmtools theorem __idea__groups_nobraces_tiny_dagger.
> Defining grouped theorem '__idea__groups_tiny_dagger_star'..
> Flattened groups 'tiny,dagger,star' to 'all,star,custom,dagger,tiny' when
defining theorem '__idea__groups_tiny_dagger_star'.
> Declaring thmtools theorem __idea__groups_tiny_dagger_star.
> Defining grouped theorem '__idea__groups_nobraces_tiny_dagger_star'..
> Flattened groups 'nobraces,tiny,dagger,star' to
'all,star,custom,dagger,tiny,nobraces' when defining theorem
'__idea__groups_nobraces_tiny_dagger_star'.
> Declaring thmtools theorem __idea__groups_nobraces_tiny_dagger_star.
> Defining theorem family options 'idea'..
> Defining theorem family 'exercise'..
> Defining grouped theorem '__exercise__groups_tiny'..
> Flattened groups 'tiny' to 'all,tiny' when defining theorem
'__exercise__groups_tiny'.
> Declaring thmtools theorem __exercise__groups_tiny.
> Defining grouped theorem '__exercise__groups_nobraces_tiny'..
> Flattened groups 'nobraces,tiny' to 'all,tiny,nobraces' when defining
theorem '__exercise__groups_nobraces_tiny'.
> Declaring thmtools theorem __exercise__groups_nobraces_tiny.
> Defining grouped theorem '__exercise__groups_tiny_star'..
> Flattened groups 'tiny,star' to 'all,custom,star,tiny' when defining theorem
'__exercise__groups_tiny_star'.
> Declaring thmtools theorem __exercise__groups_tiny_star.
> Defining grouped theorem '__exercise__groups_nobraces_tiny_star'..
> Flattened groups 'nobraces,tiny,star' to 'all,custom,star,tiny,nobraces'
when defining theorem '__exercise__groups_nobraces_tiny_star'.
> Declaring thmtools theorem __exercise__groups_nobraces_tiny_star.
> Defining grouped theorem '__exercise__groups_tiny_dagger'..
> Flattened groups 'tiny,dagger' to 'all,custom,dagger,tiny' when defining
theorem '__exercise__groups_tiny_dagger'.
> Declaring thmtools theorem __exercise__groups_tiny_dagger.
> Defining grouped theorem '__exercise__groups_nobraces_tiny_dagger'..
> Flattened groups 'nobraces,tiny,dagger' to 'all,custom,dagger,tiny,nobraces'
when defining theorem '__exercise__groups_nobraces_tiny_dagger'.
> Declaring thmtools theorem __exercise__groups_nobraces_tiny_dagger.
> Defining grouped theorem '__exercise__groups_tiny_dagger_star'..
> Flattened groups 'tiny,dagger,star' to 'all,star,custom,dagger,tiny' when
defining theorem '__exercise__groups_tiny_dagger_star'.
> Declaring thmtools theorem __exercise__groups_tiny_dagger_star.
> Defining grouped theorem '__exercise__groups_nobraces_tiny_dagger_star'..
> Flattened groups 'nobraces,tiny,dagger,star' to
'all,star,custom,dagger,tiny,nobraces' when defining theorem
'__exercise__groups_nobraces_tiny_dagger_star'.
> Declaring thmtools theorem __exercise__groups_nobraces_tiny_dagger_star.
> Defining theorem family options 'exercise'..
> Defining theorem family 'reminder'..
> Defining grouped theorem '__reminder__groups_tiny'..
> Flattened groups 'tiny' to 'all,tiny' when defining theorem
'__reminder__groups_tiny'.
> Declaring thmtools theorem __reminder__groups_tiny.
> Defining grouped theorem '__reminder__groups_nobraces_tiny'..
> Flattened groups 'nobraces,tiny' to 'all,tiny,nobraces' when defining
theorem '__reminder__groups_nobraces_tiny'.
> Declaring thmtools theorem __reminder__groups_nobraces_tiny.
> Defining grouped theorem '__reminder__groups_tiny_star'..
> Flattened groups 'tiny,star' to 'all,custom,star,tiny' when defining theorem
'__reminder__groups_tiny_star'.
> Declaring thmtools theorem __reminder__groups_tiny_star.
> Defining grouped theorem '__reminder__groups_nobraces_tiny_star'..
> Flattened groups 'nobraces,tiny,star' to 'all,custom,star,tiny,nobraces'
when defining theorem '__reminder__groups_nobraces_tiny_star'.
> Declaring thmtools theorem __reminder__groups_nobraces_tiny_star.
> Defining grouped theorem '__reminder__groups_tiny_dagger'..
> Flattened groups 'tiny,dagger' to 'all,custom,dagger,tiny' when defining
theorem '__reminder__groups_tiny_dagger'.
> Declaring thmtools theorem __reminder__groups_tiny_dagger.
> Defining grouped theorem '__reminder__groups_nobraces_tiny_dagger'..
> Flattened groups 'nobraces,tiny,dagger' to 'all,custom,dagger,tiny,nobraces'
when defining theorem '__reminder__groups_nobraces_tiny_dagger'.
> Declaring thmtools theorem __reminder__groups_nobraces_tiny_dagger.
> Defining grouped theorem '__reminder__groups_tiny_dagger_star'..
> Flattened groups 'tiny,dagger,star' to 'all,star,custom,dagger,tiny' when
defining theorem '__reminder__groups_tiny_dagger_star'.
> Declaring thmtools theorem __reminder__groups_tiny_dagger_star.
> Defining grouped theorem '__reminder__groups_nobraces_tiny_dagger_star'..
> Flattened groups 'nobraces,tiny,dagger,star' to
'all,star,custom,dagger,tiny,nobraces' when defining theorem
'__reminder__groups_nobraces_tiny_dagger_star'.
> Declaring thmtools theorem __reminder__groups_nobraces_tiny_dagger_star.
> Defining theorem family options 'reminder'..


LaTeX Warning: Unused global option(s):
    [git].

(build/Hanabi.aux)
\openout1 = `Hanabi.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 8.
LaTeX Font Info:    ... okay on input line 8.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 8.
LaTeX Font Info:    ... okay on input line 8.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 8.
LaTeX Font Info:    ... okay on input line 8.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 8.
LaTeX Font Info:    ... okay on input line 8.
LaTeX Font Info:    Checking defaults for TS1/cmr/m/n on input line 8.
LaTeX Font Info:    ... okay on input line 8.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 8.
LaTeX Font Info:    ... okay on input line 8.
LaTeX Font Info:    Checking defaults for U/mathx/m/n on input line 8.
LaTeX Font Info:    ... okay on input line 8.
LaTeX Font Info:    Checking defaults for PD1/pdf/m/n on input line 8.
LaTeX Font Info:    ... okay on input line 8.
LaTeX Font Info:    Checking defaults for PU/pdf/m/n on input line 8.
LaTeX Font Info:    ... okay on input line 8.
Package scrbase Info: activating english \abstractname on input line 8.
Package scrbase Info: activating english \partname on input line 8.
Package scrbase Info: activating english \chaptername on input line 8.
Package scrbase Info: activating english \appendixname on input line 8.
Package scrbase Info: activating english \figurename on input line 8.
Package scrbase Info: activating english \tablename on input line 8.
Package scrbase Info: activating english \contentsname on input line 8.
Package scrbase Info: activating english \listfigurename on input line 8.
Package scrbase Info: activating english \listtablename on input line 8.
Package scrbase Info: activating english \bibname on input line 8.
Package scrbase Info: activating english \indexname on input line 8.

(/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii
[Loading MPS to PDF converter (version 2006.09.02).]
\scratchcounter=\count515
\scratchdimen=\dimen374
\scratchbox=\box138
\nofMPsegments=\count516
\nofMParguments=\count517
\everyMPshowfont=\toks66
\MPscratchCnt=\count518
\MPscratchDim=\dimen375
\MPnumerator=\count519
\makeMPintoPDFobject=\count520
\everyMPtoPDFconversion=\toks67
) (/usr/share/texlive/texmf-dist/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.

(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg
File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Liv
e
))
LaTeX Info: Command `\dddot' is already robust on input line 8.
LaTeX Info: Command `\ddddot' is already robust on input line 8.

(./LatexPackagesBuild/math/categories/translator-mathematical-categories-dictio
nary-English.dict
Dictionary: translator-mathematical-categories-dictionary, Language: English 
)
(./LatexPackagesBuild/environments/refproof/translator-proof-dictionary-English
.dict
Dictionary: translator-proof-dictionary, Language: English 
)
Package pgfplots notification 'compat/show suggested version=true': you might b
enefit from \pgfplotsset{compat=1.18} (current compat level: 1.7).

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

(/usr/share/texlive/texmf-dist/tex/latex/jknapltx/ursfs.fd
File: ursfs.fd 1998/03/24 rsfs font definition file (jk)
)
LaTeX Font Info:    Trying to load font information for U+msa on input line 8.

(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd
File: umsa.fd 2013/01/14 v3.01 AMS symbols A
)
LaTeX Font Info:    Trying to load font information for U+msb on input line 8.

(/usr/share/texlive/texmf-dist/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 8.


(/usr/share/texlive/texmf-dist/tex/latex/base/ulasy.fd
File: ulasy.fd 1998/08/17 v2.2e LaTeX symbol font definitions
)
LaTeX Font Info:    Trying to load font information for U+esint on input line 8
.

(/usr/share/texlive/texmf-dist/tex/latex/esint/uesint.fd
File: uesint.fd 
)
LaTeX Font Info:    Trying to load font information for U+stmry on input line 8
.

(/usr/share/texlive/texmf-dist/tex/latex/stmaryrd/Ustmry.fd)
Package xypdf Info: Line width: 0.39998pt on input line 8.
Package hyperref Info: Link coloring ON on input line 8.
 (build/Hanabi.out) (build/Hanabi.out)
\@outlinefile=\write7
\openout7 = `Hanabi.out'.

Class scrreprt Info: loading recommended package `bookmark'.
(scrreprt)           Using `bookmark' together with `hyperref' is recommended,
(scrreprt)           because of handling of possible bookmark level gaps.
(scrreprt)           You can avoid loading `bookmark' with KOMA-Script option
(scrreprt)           `bookmarkpackage=false' before \begin{document} and
(scrreprt)           you can avoid this message adding:
(scrreprt)             \usepackage{bookmark}
(scrreprt)           before \begin{document} on input line 8.

(/usr/share/texlive/texmf-dist/tex/latex/bookmark/bookmark.sty
Package: bookmark 2020-11-06 v1.29 PDF bookmarks (HO)

(/usr/share/texlive/texmf-dist/tex/latex/bookmark/bkm-pdftex.def
File: bkm-pdftex.def 2020-11-06 v1.29 bookmark driver for pdfTeX (HO)
\BKM@id=\count521
))
Package biblatex Info: Trying to load language 'english'...
Package biblatex Info: ... file 'english.lbx' found.

(/usr/share/texlive/texmf-dist/tex/latex/biblatex/lbx/english.lbx
File: english.lbx 2023/03/05 v3.19 biblatex localization (PK/MW)
)
Package biblatex Info: Input encoding 'utf8' detected.
Package biblatex Info: Automatic encoding selection.
(biblatex)             Assuming data encoding 'utf8'.
\openout6 = `Hanabi.bcf'.

Package biblatex Info: Trying to load bibliographic data...
Package biblatex Info: ... file 'Hanabi.bbl' found.

(build/Hanabi.bbl)
Package biblatex Info: Reference section=0 on input line 8.
Package biblatex Info: Reference segment=0 on input line 8.
 [1



{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}]
(build/Hanabi.toc)
\tf@toc=\write8
\openout8 = `Hanabi.toc'.

 [2



]
chapter 1.
[3



{/usr/share/texmf/fonts/enc/dvips/cm-super/cm-super-ts1.enc}]
chapter 2.
[4

]
chapter 3.
Package mdframed Info: mdframed detected package amsthm 
 changed the theorem header of amsthm
(mdframed)              on input line 41.
Package hyperref Info: bookmark level for unknown __definition__groups_big defa
ults to 0 on input line 41.
Package mdframed Info: mdframed detected package amsthm 
 changed the theorem header of amsthm
(mdframed)              on input line 58.
Package mdframed Info: mdframed detected package amsthm 
 changed the theorem header of amsthm
(mdframed)              on input line 68.

Overfull \hbox (16.8437pt too wide) in paragraph at lines 73--78
[]\OT1/cmr/m/n/10 For a game state of \OT1/cmr/m/sc/10 Han-abi\OT1/cmr/m/n/10 ,
 the []\OT1/cmr/bx/n/10 stacks[] \OT1/cmr/m/n/10 (or []\OT1/cmr/bx/n/10 progres
s[]\OT1/cmr/m/n/10 ) is a func-tion $\OML/cmm/m/it/10 S [] []  [] \U/matha/m/n/
10 Ñ
 []

Package mdframed Info: mdframed detected package amsthm 
 changed the theorem header of amsthm
(mdframed)              on input line 88.
[5

]
Package mdframed Info: mdframed detected package amsthm 
 changed the theorem header of amsthm
(mdframed)              on input line 119.
Package hyperref Info: bookmark level for unknown __remark__groups_small defaul
ts to 0 on input line 119.
Package mdframed Info: mdframed detected package amsthm 
 changed the theorem header of amsthm
(mdframed)              on input line 131.
 [6]
Package mdframed Info: mdframed detected package amsthm 
 changed the theorem header of amsthm
(mdframed)              on input line 161.
 [7]
chapter 4.
[8

]
chapter 5.
(./inputs/winrates_theoretical_limits.tex
Package mdframed Info: mdframed detected package amsthm 
 changed the theorem header of amsthm
(mdframed)              on input line 8.
Package hyperref Info: bookmark level for unknown __lemma__groups_big defaults 
to 0 on input line 8.
Package mdframed Info: mdframed detected package amsthm 
 changed the theorem header of amsthm
(mdframed)              on input line 22.
Package mdframed Info: mdframed detected package amsthm 
 changed the theorem header of amsthm
(mdframed)              on input line 30.
Package hyperref Info: bookmark level for unknown __corollary__groups_big defau
lts to 0 on input line 30.
Package mdframed Info: mdframed detected package amsthm 
 changed the theorem header of amsthm
(mdframed)              on input line 42.
 [9

]
Package mdframed Info: mdframed detected package amsthm 
 changed the theorem header of amsthm
(mdframed)              on input line 56.
Package mdframed Info: mdframed detected package amsthm 
 changed the theorem header of amsthm
(mdframed)              on input line 69.
Package mdframed Info: mdframed detected package amsthm 
 changed the theorem header of amsthm
(mdframed)              on input line 74.
Package hyperref Info: bookmark level for unknown __theorem__groups_big default
s to 0 on input line 74.
 [10]) [11] [12] [13



]
(build/Hanabi.aux)
 ***********
LaTeX2e <2023-06-01>
L3 programming layer <2020/03/25>
 ***********
Package rerunfilecheck Info: File `Hanabi.out' has not changed.
(rerunfilecheck)             Checksum: D41D8CD98F00B204E9800998ECF8427E;0.
Package logreq Info: Writing requests to 'Hanabi.run.xml'.
\openout1 = `Hanabi.run.xml'.

 )
(\end occurred when \ifx on line 7 was incomplete) 
Here is how much of TeX's memory you used:
 57776 strings out of 475735
 1359771 string characters out of 5784785
 2396758 words of memory out of 5000000
 77472 multiletter control sequences out of 15000+600000
 527372 words of font info for 95 fonts, out of 8000000 for 9000
 1141 hyphenation exceptions out of 8191
 145i,10n,144p,10911b,1522s stack positions out of 10000i,1000n,20000p,200000b,200000s
</usr/share/texlive/texmf-dis
t/fonts/type1/public/amsfonts/cm/cmbx10.pfb></usr/share/texlive/texmf-dist/font
s/type1/public/amsfonts/cm/cmcsc10.pfb></usr/share/texlive/texmf-dist/fonts/typ
e1/public/amsfonts/cm/cmmi10.pfb></usr/share/texlive/texmf-dist/fonts/type1/pub
lic/amsfonts/cm/cmmi5.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/ams
fonts/cm/cmmi7.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/c
m/cmr10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr12
.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr5.pfb></u
sr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr7.pfb></usr/share
/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmssbx10.pfb></usr/share/tex
live/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb></usr/share/texlive/t
exmf-dist/fonts/type1/public/amsfonts/cm/cmti10.pfb></usr/share/texlive/texmf-d
ist/fonts/type1/public/amsfonts/cm/cmtt10.pfb></usr/share/texlive/texmf-dist/fo
nts/type1/public/mathabx-type1/matha10.pfb></usr/share/texlive/texmf-dist/fonts
/type1/public/mathabx-type1/matha7.pfb></usr/share/texlive/texmf-dist/fonts/typ
e1/public/mathabx-type1/mathb10.pfb></usr/share/texlive/texmf-dist/fonts/type1/
public/mathabx-type1/mathx10.pfb></usr/share/texlive/texmf-dist/fonts/type1/pub
lic/amsfonts/symbols/msbm10.pfb></usr/share/texmf/fonts/type1/public/cm-super/s
frm1000.pfb>
Output written on build/Hanabi.pdf (13 pages, 216533 bytes).
PDF statistics:
 254 PDF objects out of 1000 (max. 8388607)
 199 compressed objects within 2 object streams
 54 named destinations out of 1000 (max. 500000)
 77 words of extra memory for PDF output out of 10000 (max. 10000000)