This is pdfTeX, Version 3.141592653-2.6-1.40.26 (TeX Live 2024/Arch Linux) (preloaded format=pdflatex 2024.10.11) 26 OCT 2024 00:03 entering extended mode restricted \write18 enabled. %&-line parsing enabled. **main2.tex (./main2.tex LaTeX2e <2023-11-01> patch level 1 L3 programming layer <2024-02-20> (./lipics-v2021.cls Document Class: lipics-v2021 2023/05/12 v3.1.3 LIPIcs articles (/usr/share/texmf-dist/tex/latex/base/article.cls Document Class: article 2023/05/17 v1.4n Standard LaTeX document class (/usr/share/texmf-dist/tex/latex/base/fleqn.clo File: fleqn.clo 2016/12/29 v1.2b Standard LaTeX option (flush left equations) \mathindent=\skip48 Applying: [2015/01/01] Make \[ robust on input line 50. LaTeX Info: Redefining \[ on input line 51. Already applied: [0000/00/00] Make \[ robust on input line 62. Applying: [2015/01/01] Make \] robust on input line 74. LaTeX Info: Redefining \] on input line 75. Already applied: [0000/00/00] Make \] robust on input line 83. ) (/usr/share/texmf-dist/tex/latex/base/size10.clo File: size10.clo 2023/05/17 v1.4n Standard LaTeX file (size option) ) \c@part=\count188 \c@section=\count189 \c@subsection=\count190 \c@subsubsection=\count191 \c@paragraph=\count192 \c@subparagraph=\count193 \c@figure=\count194 \c@table=\count195 \abovecaptionskip=\skip49 \belowcaptionskip=\skip50 \bibindent=\dimen140 ) \tocfile=\write3 (/usr/share/texmf-dist/tex/latex/microtype/microtype.sty Package: microtype 2023/03/13 v3.1a Micro-typographical refinements (RS) (/usr/share/texmf-dist/tex/latex/graphics/keyval.sty Package: keyval 2022/05/29 v1.15 key=value parser (DPC) \KV@toks@=\toks17 ) (/usr/share/texmf-dist/tex/latex/etoolbox/etoolbox.sty Package: etoolbox 2020/10/05 v2.5k e-TeX tools for LaTeX (JAW) \etb@tempcnta=\count196 ) \MT@toks=\toks18 \MT@tempbox=\box51 \MT@count=\count197 LaTeX Info: Redefining \noprotrusionifhmode on input line 1059. LaTeX Info: Redefining \leftprotrusion on input line 1060. \MT@prot@toks=\toks19 LaTeX Info: Redefining \rightprotrusion on input line 1078. LaTeX Info: Redefining \textls on input line 1368. \MT@outer@kern=\dimen141 LaTeX Info: Redefining \textmicrotypecontext on input line 1988. \MT@listname@count=\count198 (/usr/share/texmf-dist/tex/latex/microtype/microtype-pdftex.def File: microtype-pdftex.def 2023/03/13 v3.1a Definitions specific to pdftex (RS) LaTeX Info: Redefining \lsstyle on input line 902. LaTeX Info: Redefining \lslig on input line 902. \MT@outer@space=\skip51 ) Package microtype Info: Loading configuration file microtype.cfg. (/usr/share/texmf-dist/tex/latex/microtype/microtype.cfg File: microtype.cfg 2023/03/13 v3.1a microtype main configuration file (RS) )) (/usr/share/texmf-dist/tex/latex/base/inputenc.sty Package: inputenc 2021/02/14 v1.3d Input encoding file \inpenc@prehook=\toks20 \inpenc@posthook=\toks21 ) (/usr/share/texmf-dist/tex/latex/lm/lmodern.sty Package: lmodern 2015/05/01 v1.6.1 Latin Modern Fonts LaTeX Font Info: Overwriting symbol font `operators' in version `normal' (Font) OT1/cmr/m/n --> OT1/lmr/m/n on input line 22. LaTeX Font Info: Overwriting symbol font `letters' in version `normal' (Font) OML/cmm/m/it --> OML/lmm/m/it on input line 23. LaTeX Font Info: Overwriting symbol font `symbols' in version `normal' (Font) OMS/cmsy/m/n --> OMS/lmsy/m/n on input line 24. LaTeX Font Info: Overwriting symbol font `largesymbols' in version `normal' (Font) OMX/cmex/m/n --> OMX/lmex/m/n on input line 25. LaTeX Font Info: Overwriting symbol font `operators' in version `bold' (Font) OT1/cmr/bx/n --> OT1/lmr/bx/n on input line 26. LaTeX Font Info: Overwriting symbol font `letters' in version `bold' (Font) OML/cmm/b/it --> OML/lmm/b/it on input line 27. LaTeX Font Info: Overwriting symbol font `symbols' in version `bold' (Font) OMS/cmsy/b/n --> OMS/lmsy/b/n on input line 28. LaTeX Font Info: Overwriting symbol font `largesymbols' in version `bold' (Font) OMX/cmex/m/n --> OMX/lmex/m/n on input line 29. LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `normal' (Font) OT1/cmr/bx/n --> OT1/lmr/bx/n on input line 31. LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `normal' (Font) OT1/cmss/m/n --> OT1/lmss/m/n on input line 32. LaTeX Font Info: Overwriting math alphabet `\mathit' in version `normal' (Font) OT1/cmr/m/it --> OT1/lmr/m/it on input line 33. LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `normal' (Font) OT1/cmtt/m/n --> OT1/lmtt/m/n on input line 34. LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `bold' (Font) OT1/cmr/bx/n --> OT1/lmr/bx/n on input line 35. LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `bold' (Font) OT1/cmss/bx/n --> OT1/lmss/bx/n on input line 36. LaTeX Font Info: Overwriting math alphabet `\mathit' in version `bold' (Font) OT1/cmr/bx/it --> OT1/lmr/bx/it on input line 37. LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `bold' (Font) OT1/cmtt/m/n --> OT1/lmtt/m/n on input line 38. ) (/usr/share/texmf-dist/tex/latex/fontawesome5/fontawesome5.sty (/usr/share/texmf-dist/tex/latex/l3kernel/expl3.sty Package: expl3 2024-02-20 L3 programming layer (loader) (/usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def File: l3backend-pdftex.def 2024-02-20 L3 backend support: PDF output (pdfTeX) \l__color_backend_stack_int=\count199 \l__pdf_internal_box=\box52 )) Package: fontawesome5 2022/05/02 v5.15.4 Font Awesome 5 (/usr/share/texmf-dist/tex/latex/l3packages/l3keys2e/l3keys2e.sty Package: l3keys2e 2024-02-18 LaTeX2e option processing using LaTeX3 keys ) (/usr/share/texmf-dist/tex/latex/l3packages/xparse/xparse.sty Package: xparse 2024-02-18 L3 Experimental document command parser ) (/usr/share/texmf-dist/tex/latex/fontawesome5/fontawesome5-generic-helper.sty Package: fontawesome5-generic-helper 2022/05/02 v5.15.4 non-uTeX helper for fon tawesome5 (/usr/share/texmf-dist/tex/latex/fontawesome5/fontawesome5-mapping.def))) (/usr/share/texmf-dist/tex/latex/base/fontenc.sty Package: fontenc 2021/04/29 v2.0v Standard LaTeX package LaTeX Font Info: Trying to load font information for T1+lmr on input line 11 2. (/usr/share/texmf-dist/tex/latex/lm/t1lmr.fd File: t1lmr.fd 2015/05/01 v1.6.1 Font defs for Latin Modern )) (/usr/share/texmf-dist/tex/latex/base/textcomp.sty Package: textcomp 2020/02/02 v2.0n Standard LaTeX package ) (/usr/share/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/texmf-dist/tex/latex/amsfonts/amssymb.sty Package: amssymb 2013/01/14 v3.01 AMS font symbols (/usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support \@emptytoks=\toks22 \symAMSa=\mathgroup4 \symAMSb=\mathgroup5 LaTeX Font Info: Redeclaring math symbol \hbar on input line 98. LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' (Font) U/euf/m/n --> U/euf/b/n on input line 106. )) (/usr/share/texmf-dist/tex/generic/soul/soul.sty Package: soul 2023-06-14 v3.1 Permit use of UTF-8 characters in soul (HO) (/usr/share/texmf-dist/tex/generic/soul/soul-ori.sty Package: soul-ori 2023-06-14 v3.1 letterspacing/underlining (mf) \SOUL@word=\toks23 \SOUL@lasttoken=\toks24 \SOUL@syllable=\toks25 \SOUL@cmds=\toks26 \SOUL@buffer=\toks27 \SOUL@token=\toks28 \SOUL@syllgoal=\dimen142 \SOUL@syllwidth=\dimen143 \SOUL@charkern=\dimen144 \SOUL@hyphkern=\dimen145 \SOUL@dimen=\dimen146 \SOUL@dimeni=\dimen147 \SOUL@minus=\count266 \SOUL@comma=\count267 \SOUL@apo=\count268 \SOUL@grave=\count269 \SOUL@spaceskip=\skip52 \SOUL@ttwidth=\dimen148 \SOUL@uldp=\dimen149 \SOUL@ulht=\dimen150 ) (/usr/share/texmf-dist/tex/generic/infwarerr/infwarerr.sty Package: infwarerr 2019/12/03 v1.5 Providing info/warning/error messages (HO) ) (/usr/share/texmf-dist/tex/generic/etexcmds/etexcmds.sty Package: etexcmds 2019/12/15 v1.7 Avoid name clashes with e-TeX commands (HO) (/usr/share/texmf-dist/tex/generic/iftex/iftex.sty Package: iftex 2022/02/03 v1.0f TeX engine tests ))) (/usr/share/texmf-dist/tex/latex/graphics/color.sty Package: color 2022/01/06 v1.3d Standard LaTeX Color (DPC) (/usr/share/texmf-dist/tex/latex/graphics-cfg/color.cfg File: color.cfg 2016/01/02 v1.6 sample color configuration ) Package color Info: Driver file: pdftex.def on input line 149. (/usr/share/texmf-dist/tex/latex/graphics-def/pdftex.def File: pdftex.def 2022/09/22 v1.2b Graphics/color driver for pdftex ) (/usr/share/texmf-dist/tex/latex/graphics/mathcolor.ltx)) (/usr/share/texmf-dist/tex/generic/babel/babel.sty Package: babel 2024/02/07 v24.2 The Babel package \babel@savecnt=\count270 \U@D=\dimen151 \l@unhyphenated=\language37 (/usr/share/texmf-dist/tex/generic/babel/txtbabel.def) \bbl@readstream=\read2 \bbl@dirlevel=\count271 (/usr/share/texmf-dist/tex/generic/babel-english/UKenglish.ldf Language: UKenglish 2017/06/06 v3.3r English support from the babel system (/usr/share/texmf-dist/tex/generic/babel-english/english.ldf Language: english 2017/06/06 v3.3r English support from the babel system Package babel Info: Hyphen rules for 'british' set to \l@english (babel) (\language0). Reported on input line 82. Package babel Info: Hyphen rules for 'UKenglish' set to \l@english (babel) (\language0). Reported on input line 83. Package babel Info: Hyphen rules for 'canadian' set to \l@english (babel) (\language0). Reported on input line 102. Package babel Info: Hyphen rules for 'australian' set to \l@english (babel) (\language0). Reported on input line 105. Package babel Info: Hyphen rules for 'newzealand' set to \l@english (babel) (\language0). Reported on input line 108. ))) (/usr/share/texmf-dist/tex/generic/babel/locale/en/babel-ukenglish.tex Package babel Info: Importing font and identification data for UKenglish (babel) from babel-en-GB.ini. Reported on input line 11. ) (/usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty Package: amsmath 2023/05/13 v2.17o AMS math features \@mathmargin=\skip53 For additional information on amsmath, use the `?' option. (/usr/share/texmf-dist/tex/latex/amsmath/amstext.sty Package: amstext 2021/08/26 v2.01 AMS text (/usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty File: amsgen.sty 1999/11/30 v2.0 generic functions \@emptytoks=\toks29 \ex@=\dimen152 )) (/usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty Package: amsbsy 1999/11/29 v1.2d Bold Symbols \pmbraise@=\dimen153 ) (/usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty Package: amsopn 2022/04/08 v2.04 operator names ) \inf@bad=\count272 LaTeX Info: Redefining \frac on input line 234. \uproot@=\count273 \leftroot@=\count274 LaTeX Info: Redefining \overline on input line 399. LaTeX Info: Redefining \colon on input line 410. \classnum@=\count275 \DOTSCASE@=\count276 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@=\box53 \strutbox@=\box54 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=\dimen154 LaTeX Font Info: Redeclaring font encoding OML on input line 743. LaTeX Font Info: Redeclaring font encoding OMS on input line 744. \macc@depth=\count277 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=\count278 \dotsspace@=\muskip16 \c@parentequation=\count279 \dspbrk@lvl=\count280 \tag@help=\toks30 \row@=\count281 \column@=\count282 \maxfields@=\count283 \andhelp@=\toks31 \eqnshift@=\dimen155 \alignsep@=\dimen156 \tagshift@=\dimen157 \tagwidth@=\dimen158 \totwidth@=\dimen159 \lineht@=\dimen160 \@envbody=\toks32 \multlinegap=\skip54 \multlinetaggap=\skip55 \mathdisplay@stack=\toks33 LaTeX Info: Redefining \[ on input line 2953. LaTeX Info: Redefining \] on input line 2954. ) (/usr/share/texmf-dist/tex/latex/tools/enumerate.sty Package: enumerate 2023/07/04 v3.00 enumerate extensions (DPC) \@enLab=\toks34 ) (/usr/share/texmf-dist/tex/latex/graphics/graphicx.sty Package: graphicx 2021/09/16 v1.2d Enhanced LaTeX Graphics (DPC,SPQR) (/usr/share/texmf-dist/tex/latex/graphics/graphics.sty Package: graphics 2022/03/10 v1.4e Standard LaTeX Graphics (DPC,SPQR) (/usr/share/texmf-dist/tex/latex/graphics/trig.sty Package: trig 2021/08/11 v1.11 sin cos tan (DPC) ) (/usr/share/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=\dimen161 \Gin@req@width=\dimen162 ) (/usr/share/texmf-dist/tex/latex/tools/array.sty Package: array 2023/10/16 v2.5g Tabular extension package (FMi) \col@sep=\dimen163 \ar@mcellbox=\box55 \extrarowheight=\dimen164 \NC@list=\toks35 \extratabsurround=\skip56 \backup@length=\skip57 \ar@cellbox=\box56 ) (/usr/share/texmf-dist/tex/latex/multirow/multirow.sty Package: multirow 2021/03/15 v2.8 Span multiple rows of a table \multirow@colwidth=\skip58 \multirow@cntb=\count284 \multirow@dima=\skip59 \bigstrutjot=\dimen165 ) (/usr/share/texmf-dist/tex/latex/tools/tabularx.sty Package: tabularx 2023/07/08 v2.11c `tabularx' package (DPC) \TX@col@width=\dimen166 \TX@old@table=\dimen167 \TX@old@col=\dimen168 \TX@target=\dimen169 \TX@delta=\dimen170 \TX@cols=\count285 \TX@ftn=\toks36 ) (/usr/share/texmf-dist/tex/latex/threeparttable/threeparttable.sty Package: threeparttable 2003/06/13 v 3.0 \@tempboxb=\box57 ) (/usr/share/texmf-dist/tex/latex/listings/listings.sty \lst@mode=\count286 \lst@gtempboxa=\box58 \lst@token=\toks37 \lst@length=\count287 \lst@currlwidth=\dimen171 \lst@column=\count288 \lst@pos=\count289 \lst@lostspace=\dimen172 \lst@width=\dimen173 \lst@newlines=\count290 \lst@lineno=\count291 \lst@maxwidth=\dimen174 (/usr/share/texmf-dist/tex/latex/listings/lstpatch.sty File: lstpatch.sty 2024/02/21 1.10 (Carsten Heinz) ) (/usr/share/texmf-dist/tex/latex/listings/lstmisc.sty File: lstmisc.sty 2024/02/21 1.10 (Carsten Heinz) \c@lstnumber=\count292 \lst@skipnumbers=\count293 \lst@framebox=\box59 ) (/usr/share/texmf-dist/tex/latex/listings/listings.cfg File: listings.cfg 2024/02/21 1.10 listings configuration )) Package: listings 2024/02/21 1.10 (Carsten Heinz) (/usr/share/texmf-dist/tex/latex/lineno/lineno.sty Package: lineno 2023/05/20 line numbers on paragraphs v5.3 (/usr/share/texmf-dist/tex/latex/kvoptions/kvoptions.sty Package: kvoptions 2022-06-15 v3.15 Key value format for package options (HO) (/usr/share/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty Package: ltxcmds 2023-12-04 v1.26 LaTeX kernel commands for general use (HO) ) (/usr/share/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty Package: kvsetkeys 2022-10-05 v1.19 Key value parser (HO) )) \linenopenalty=\count294 \output=\toks38 \linenoprevgraf=\count295 \linenumbersep=\dimen175 \linenumberwidth=\dimen176 \c@linenumber=\count296 \c@pagewiselinenumber=\count297 \c@LN@truepage=\count298 \c@internallinenumber=\count299 \c@internallinenumbers=\count300 \quotelinenumbersep=\dimen177 \bframerule=\dimen178 \bframesep=\dimen179 \bframebox=\box60 \linenoamsmath@ams@eqpen=\count301 LaTeX Info: Redefining \\ on input line 3180. ) (/usr/share/texmf-dist/tex/latex/hyperref/hyperref.sty Package: hyperref 2024-01-20 v7.01h Hypertext links for LaTeX (/usr/share/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty Package: kvdefinekeys 2019-12-19 v1.6 Define keys (HO) ) (/usr/share/texmf-dist/tex/generic/pdfescape/pdfescape.sty Package: pdfescape 2019/12/09 v1.15 Implements pdfTeX's escape features (HO) (/usr/share/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/texmf-dist/tex/latex/hycolor/hycolor.sty Package: hycolor 2020-01-27 v1.10 Color options for hyperref/bookmark (HO) ) (/usr/share/texmf-dist/tex/latex/auxhook/auxhook.sty Package: auxhook 2019-12-17 v1.6 Hooks for auxiliary files (HO) ) (/usr/share/texmf-dist/tex/latex/hyperref/nameref.sty Package: nameref 2023-11-26 v2.56 Cross-referencing by name of section (/usr/share/texmf-dist/tex/latex/refcount/refcount.sty Package: refcount 2019/12/15 v3.6 Data extraction from label references (HO) ) (/usr/share/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty Package: gettitlestring 2019/12/15 v1.6 Cleanup title references (HO) ) \c@section@level=\count302 ) \@linkdim=\dimen180 \Hy@linkcounter=\count303 \Hy@pagecounter=\count304 (/usr/share/texmf-dist/tex/latex/hyperref/pd1enc.def File: pd1enc.def 2024-01-20 v7.01h Hyperref: PDFDocEncoding definition (HO) Now handling font encoding PD1 ... ... no UTF-8 mapping file for font encoding PD1 ) (/usr/share/texmf-dist/tex/generic/intcalc/intcalc.sty Package: intcalc 2019/12/15 v1.3 Expandable calculations with integers (HO) ) \Hy@SavedSpaceFactor=\count305 (/usr/share/texmf-dist/tex/latex/hyperref/puenc.def File: puenc.def 2024-01-20 v7.01h Hyperref: PDF Unicode definition (HO) Now handling font encoding PU ... ... no UTF-8 mapping file for font encoding PU ) Package hyperref Info: Option `unicode' set `true' on input line 4062. Package hyperref Info: Hyper figures OFF on input line 4179. Package hyperref Info: Link nesting OFF on input line 4184. Package hyperref Info: Hyper index ON on input line 4187. Package hyperref Info: Plain pages OFF on input line 4194. Package hyperref Info: Backreferencing OFF on input line 4199. Package hyperref Info: Implicit mode ON; LaTeX internals redefined. Package hyperref Info: Bookmarks ON on input line 4446. \c@Hy@tempcnt=\count306 (/usr/share/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 4784. \XeTeXLinkMargin=\dimen181 (/usr/share/texmf-dist/tex/generic/bitset/bitset.sty Package: bitset 2019/12/09 v1.3 Handle bit-vector datatype (HO) (/usr/share/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty Package: bigintcalc 2019/12/15 v1.5 Expandable calculations on big integers (HO ) )) \Fld@menulength=\count307 \Field@Width=\dimen182 \Fld@charsize=\dimen183 Package hyperref Info: Hyper figures OFF on input line 6063. Package hyperref Info: Link nesting OFF on input line 6068. Package hyperref Info: Hyper index ON on input line 6071. Package hyperref Info: backreferencing OFF on input line 6078. Package hyperref Info: Link coloring OFF on input line 6083. Package hyperref Info: Link coloring with OCG OFF on input line 6088. Package hyperref Info: PDF/A mode OFF on input line 6093. (/usr/share/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 ) \Hy@abspage=\count308 \c@Item=\count309 \c@Hfootnote=\count310 ) Package hyperref Info: Driver (autodetected): hpdftex. (/usr/share/texmf-dist/tex/latex/hyperref/hpdftex.def File: hpdftex.def 2024-01-20 v7.01h Hyperref driver for pdfTeX (/usr/share/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 ) \Fld@listcount=\count311 \c@bookmark@seq@number=\count312 (/usr/share/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty Package: rerunfilecheck 2022-07-10 v1.10 Rerun checks for auxiliary files (HO) (/usr/share/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=\skip60 ) (/usr/share/texmf-dist/tex/latex/totpages/totpages.sty Package: totpages 2005/09/19 v2.00 Totpages Package (muewi) (/usr/share/texmf-dist/tex/latex/everyshi/everyshi.sty Package: everyshi 2020/11/18 v4.00 EveryShipout Package )) Package hyperref Info: Option `breaklinks' set `true' on input line 662. Package hyperref Info: Option `unicode' set `true' on input line 662. Package hyperref Info: Option `bookmarksnumbered' set `true' on input line 662. (/usr/share/texmf-dist/tex/latex/caption/caption.sty Package: caption 2023/08/05 v3.6o Customizing captions (AR) (/usr/share/texmf-dist/tex/latex/caption/caption3.sty Package: caption3 2023/07/31 v2.4d caption3 kernel (AR) \caption@tempdima=\dimen184 \captionmargin=\dimen185 \caption@leftmargin=\dimen186 \caption@rightmargin=\dimen187 \caption@width=\dimen188 \caption@indent=\dimen189 \caption@parindent=\dimen190 \caption@hangindent=\dimen191 Package caption Info: Standard document class detected. ) \c@caption@flags=\count313 \c@continuedfloat=\count314 Package caption Info: hyperref package is loaded. Package caption Info: listings package is loaded. Package caption Info: threeparttable package is loaded. ) (/usr/share/texmf-dist/tex/latex/graphics/rotating.sty Package: rotating 2016/08/11 v2.16d rotated objects in LaTeX (/usr/share/texmf-dist/tex/latex/base/ifthen.sty Package: ifthen 2022/04/13 v1.1d Standard LaTeX ifthen package (DPC) ) \c@r@tfl@t=\count315 \rotFPtop=\skip61 \rotFPbot=\skip62 \rot@float@box=\box61 \rot@mess@toks=\toks39 ) (/usr/share/texmf-dist/tex/latex/caption/subcaption.sty Package: subcaption 2023/07/28 v1.6b Sub-captions (AR) Package caption Info: New subtype `subfigure' on input line 238. \c@subfigure=\count316 Package caption Info: New subtype `subtable' on input line 238. \c@subtable=\count317 ) \c@author=\count318 \c@currentauthor=\count319 (/usr/share/texmf-dist/tex/generic/xstring/xstring.sty (/usr/share/texmf-dist/tex/generic/xstring/xstring.tex \xs_counta=\count320 \xs_countb=\count321 ) Package: xstring 2023/08/22 v1.86 String manipulations (CT) ) (/usr/share/texmf-dist/tex/latex/comment/comment.sty \CommentStream=\write4 Excluding comment 'comment') Excluding comment 'CCSXML' (/usr/share/texmf-dist/tex/latex/amscls/amsthm.sty Package: amsthm 2020/05/29 v2.20.6 \thm@style=\toks40 \thm@bodyfont=\toks41 \thm@headfont=\toks42 \thm@notefont=\toks43 \thm@headpunct=\toks44 \thm@preskip=\skip63 \thm@postskip=\skip64 \thm@headsep=\skip65 \dth@everypar=\toks45 ) (/usr/share/texmf-dist/tex/latex/thmtools/thm-restate.sty Package: thm-restate 2023/05/04 v0.76 (/usr/share/texmf-dist/tex/latex/thmtools/thmtools.sty Package: thmtools 2023/05/04 v0.76 \thmt@toks=\toks46 \c@thmt@dummyctr=\count322 (/usr/share/texmf-dist/tex/latex/thmtools/thm-patch.sty Package: thm-patch 2023/05/04 v0.76 (/usr/share/texmf-dist/tex/latex/thmtools/parseargs.sty Package: parseargs 2023/05/04 v0.76 \@parsespec=\toks47 )) (/usr/share/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. Package thm-kv Info: kvsetkeys patch (v1.16 or later) on input line 158. ) (/usr/share/texmf-dist/tex/latex/thmtools/thm-autoref.sty Package: thm-autoref 2023/05/04 v0.76 (/usr/share/texmf-dist/tex/latex/thmtools/aliasctr.sty Package: aliasctr 2023/05/04 v0.76 )) (/usr/share/texmf-dist/tex/latex/thmtools/thm-listof.sty Package: thm-listof 2023/05/04 v0.76 ) (/usr/share/texmf-dist/tex/latex/thmtools/thm-amsthm.sty Package: thm-amsthm 2023/05/04 v0.76 \thmt@style@headstyle=\toks48 ))) (/usr/share/texmf-dist/tex/latex/cleveref/cleveref.sty Package: cleveref 2018/03/27 v0.21.4 Intelligent cross-referencing Package cleveref Info: `hyperref' support loaded on input line 2370. LaTeX Info: Redefining \cref on input line 2370. LaTeX Info: Redefining \Cref on input line 2370. LaTeX Info: Redefining \crefrange on input line 2370. LaTeX Info: Redefining \Crefrange on input line 2370. LaTeX Info: Redefining \cpageref on input line 2370. LaTeX Info: Redefining \Cpageref on input line 2370. LaTeX Info: Redefining \cpagerefrange on input line 2370. LaTeX Info: Redefining \Cpagerefrange on input line 2370. LaTeX Info: Redefining \labelcref on input line 2370. LaTeX Info: Redefining \labelcpageref on input line 2370. Package cleveref Info: `amsthm' support loaded on input line 3026. Package cleveref Info: `listings' support loaded on input line 3131. Package cleveref Info: always capitalise cross-reference names on input line 78 25. Package cleveref Info: always capitalise cross-reference names on input line 78 52. Package cleveref Info: no abbreviation of names on input line 7852. ) (/usr/share/texmf-dist/tex/latex/oberdiek/aliascnt.sty Package: aliascnt 2018/09/07 v1.5 Alias counters (HO) ) \c@theorem=\count323 ) (/usr/share/texmf-dist/tex/latex/algorithmicx/algpseudocode.sty Package: algpseudocode (/usr/share/texmf-dist/tex/latex/algorithmicx/algorithmicx.sty Package: algorithmicx 2005/04/27 v1.2 Algorithmicx Document Style algorithmicx 1.2 - a greatly improved `algorithmic' style \c@ALG@line=\count324 \c@ALG@rem=\count325 \c@ALG@nested=\count326 \ALG@tlm=\skip66 \ALG@thistlm=\skip67 \c@ALG@Lnr=\count327 \c@ALG@blocknr=\count328 \c@ALG@storecount=\count329 \c@ALG@tmpcounter=\count330 \ALG@tmplength=\skip68 ) Document Style - pseudocode environments for use with the `algorithmicx' style ) (/usr/share/texmf-dist/tex/latex/algorithms/algorithm.sty Package: algorithm 2009/08/24 v0.1 Document Style `algorithm' - floating enviro nment (/usr/share/texmf-dist/tex/latex/float/float.sty Package: float 2001/11/08 v1.3d Float enhancements (AL) \c@float@type=\count331 \float@exts=\toks49 \float@box=\box62 \@float@everytoks=\toks50 \@floatcapt=\box63 ) \@float@every@algorithm=\toks51 \c@algorithm=\count332 ) (/usr/share/texmf-dist/tex/latex/doublestroke/dsfont.sty Package: dsfont 1995/08/01 v0.1 Double stroke roman fonts ) (./main2.aux LaTeX Warning: Label `iterateNumbers' multiply defined. LaTeX Warning: Label `iterateNumbers@cref' multiply defined. ) \openout1 = `main2.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 80. LaTeX Font Info: ... okay on input line 80. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 80. LaTeX Font Info: ... okay on input line 80. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 80. LaTeX Font Info: ... okay on input line 80. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 80. LaTeX Font Info: ... okay on input line 80. LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 80. LaTeX Font Info: ... okay on input line 80. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 80. LaTeX Font Info: ... okay on input line 80. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 80. LaTeX Font Info: ... okay on input line 80. LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 80. LaTeX Font Info: ... okay on input line 80. LaTeX Font Info: Checking defaults for PU/pdf/m/n on input line 80. LaTeX Font Info: ... okay on input line 80. LaTeX Info: Redefining \microtypecontext on input line 80. Package microtype Info: Applying patch `item' on input line 80. Package microtype Info: Applying patch `toc' on input line 80. Package microtype Info: Applying patch `eqnum' on input line 80. Package microtype Info: Applying patch `footnote' on input line 80. Package microtype Info: Applying patch `verbatim' on input line 80. Package microtype Info: Generating PDF output. Package microtype Info: Character protrusion enabled (level 2). Package microtype Info: Using default protrusion set `alltext'. Package microtype Info: Automatic font expansion enabled (level 2), (microtype) stretch: 20, shrink: 20, step: 1, non-selected. Package microtype Info: Using default expansion set `alltext-nott'. LaTeX Info: Redefining \showhyphens on input line 80. Package microtype Info: No adjustment of tracking. Package microtype Info: No adjustment of interword spacing. Package microtype Info: No adjustment of character kerning. (/usr/share/texmf-dist/tex/latex/microtype/mt-cmr.cfg File: mt-cmr.cfg 2013/05/19 v2.2 microtype config. file: Computer Modern Roman (RS) ) (/usr/share/texmf-dist/tex/latex/xcolor/xcolor.sty Package: xcolor 2023/11/15 v3.01 LaTeX color extensions (UK) (/usr/share/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 274. LaTeX Info: Redefining \color on input line 758. (/usr/share/texmf-dist/tex/latex/graphics/mathcolor.ltx) Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1350. Package xcolor Info: Model `hsb' substituted by `rgb' on input line 1354. Package xcolor Info: Model `RGB' extended on input line 1366. Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1368. Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1369. Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1370. Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1371. Package xcolor Info: Model `Gray' substituted by `gray' on input line 1372. Package xcolor Info: Model `wave' substituted by `hsb' on input line 1373. ) (/usr/share/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] \scratchcounter=\count333 \scratchdimen=\dimen192 \scratchbox=\box64 \nofMPsegments=\count334 \nofMParguments=\count335 \everyMPshowfont=\toks52 \MPscratchCnt=\count336 \MPscratchDim=\dimen193 \MPnumerator=\count337 \makeMPintoPDFobject=\count338 \everyMPtoPDFconversion=\toks53 ) (/usr/share/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/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 )) \c@lstlisting=\count339 Package hyperref Info: Link coloring OFF on input line 80. (./main2.out) (./main2.out) \@outlinefile=\write5 \openout5 = `main2.out'. Package caption Info: Begin \AtBeginDocument code. Package caption Info: float package is loaded. Package caption Info: rotating package is loaded. Package caption Info: End \AtBeginDocument code. LaTeX Font Info: Trying to load font information for T1+lmss on input line 8 3. (/usr/share/texmf-dist/tex/latex/lm/t1lmss.fd File: t1lmss.fd 2015/05/01 v1.6.1 Font defs for Latin Modern ) Package microtype Info: Loading generic protrusion settings for font family (microtype) `lmss' (encoding: T1). (microtype) For optimal results, create family-specific settings. (microtype) See the microtype manual for details. LaTeX Font Info: Trying to load font information for OT1+lmr on input line 8 3. (/usr/share/texmf-dist/tex/latex/lm/ot1lmr.fd File: ot1lmr.fd 2015/05/01 v1.6.1 Font defs for Latin Modern ) LaTeX Font Info: Trying to load font information for OML+lmm on input line 8 3. (/usr/share/texmf-dist/tex/latex/lm/omllmm.fd File: omllmm.fd 2015/05/01 v1.6.1 Font defs for Latin Modern ) LaTeX Font Info: Trying to load font information for OMS+lmsy on input line 83. (/usr/share/texmf-dist/tex/latex/lm/omslmsy.fd File: omslmsy.fd 2015/05/01 v1.6.1 Font defs for Latin Modern ) LaTeX Font Info: Trying to load font information for OMX+lmex on input line 83. (/usr/share/texmf-dist/tex/latex/lm/omxlmex.fd File: omxlmex.fd 2015/05/01 v1.6.1 Font defs for Latin Modern ) LaTeX Font Info: External font `lmex10' loaded for size (Font) <10> on input line 83. LaTeX Font Info: External font `lmex10' loaded for size (Font) <7> on input line 83. LaTeX Font Info: External font `lmex10' loaded for size (Font) <5> on input line 83. LaTeX Font Info: Trying to load font information for U+msa on input line 83. (/usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd File: umsa.fd 2013/01/14 v3.01 AMS symbols A ) (/usr/share/texmf-dist/tex/latex/microtype/mt-msa.cfg File: mt-msa.cfg 2006/02/04 v1.1 microtype config. file: AMS symbols (a) (RS) ) LaTeX Font Info: Trying to load font information for U+msb on input line 83. (/usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd File: umsb.fd 2013/01/14 v3.01 AMS symbols B ) (/usr/share/texmf-dist/tex/latex/microtype/mt-msb.cfg File: mt-msb.cfg 2005/06/01 v1.0 microtype config. file: AMS symbols (b) (RS) ) LaTeX Font Info: Trying to load font information for U+fontawesomefree1 on i nput line 83. (/usr/share/texmf-dist/tex/latex/fontawesome5/ufontawesomefree1.fd) \openout3 = `main2.vtc'. Underfull \hbox (badness 10000) in paragraph at lines 91--92 [] File: cc-by.pdf Graphic file (type pdf) Package pdftex.def Info: cc-by.pdf used on input line 94. (pdftex.def) Requested size: 39.74274pt x 14.0pt. LaTeX Font Info: Trying to load font information for TS1+lmr on input line 9 4. (/usr/share/texmf-dist/tex/latex/lm/ts1lmr.fd File: ts1lmr.fd 2015/05/01 v1.6.1 Font defs for Latin Modern ) File: lipics-logo-bw.pdf Graphic file (type pdf) Package pdftex.def Info: lipics-logo-bw.pdf used on input line 94. (pdftex.def) Requested size: 64.00354pt x 14.0pt. [1.1 {/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}{/usr/share/texmf-dist/fonts /enc/dvips/lm/lm-ec.enc}{/usr/share/texmf-dist/fonts/enc/dvips/fontawesome5/fa5 free1.enc}{/usr/share/texmf-dist/fonts/enc/dvips/lm/lm-ts1.enc} <./lipics-logo- bw.pdf> <./cc-by.pdf>] LaTeX Warning: Citation `SocialEventPlanning' on page 2 undefined on input line 96. Underfull \hbox (badness 10000) in paragraph at lines 96--97 [] LaTeX Warning: Citation `distributedOptimizationOfCalendarEvents' on page 2 und efined on input line 98. LaTeX Warning: Citation `EventSchedulingWithSoftConstraints' on page 2 undefine d on input line 98. Underfull \hbox (badness 10000) in paragraph at lines 98--99 [] LaTeX Warning: Citation `JobShopSchedulingWithDeadlines' on page 2 undefined on input line 100. [2.2] LaTeX Font Info: Trying to load font information for U+dsrom on input line 1 46. (/usr/share/texmf-dist/tex/latex/doublestroke/Udsrom.fd File: Udsrom.fd 1995/08/01 v0.1 Double stroke roman font definitions ) Package microtype Info: Fixing zero \fontdimen 6 for font `U/dsrom/m/n/10' (microtype) (new value: 10.0pt) on input line 146. Package microtype Info: Fixing zero \fontdimen 6 for font `U/dsrom/m/n/7' (microtype) (new value: 7.0pt) on input line 146. Package microtype Info: Fixing zero \fontdimen 6 for font `U/dsrom/m/n/5' (microtype) (new value: 5.0pt) on input line 146. Overfull \hbox (30.0358pt too wide) has occurred while \output is active \T1/lmss/bx/n/10.5 Floris van der Hout, Thomas van Maaren, Rens Versnel, Wessel van der Ven and Ids de Vlas [] [] [3.3{/usr/share/texmf-dist/fonts/enc/dvips/lm/lm-mathit.enc}{/usr/share/texmf-d ist/fonts/enc/dvips/lm/lm-mathsy.enc}{/usr/share/texmf-dist/fonts/enc/dvips/lm/ lm-rm.enc}] Underfull \hbox (badness 10000) in paragraph at lines 169--176 [] Underfull \hbox (badness 10000) in paragraph at lines 177--185 [] Underfull \hbox (badness 10000) in paragraph at lines 177--185 [] Overfull \hbox (22.81808pt too wide) in paragraph at lines 188--199 \OML/lmm/m/it/10 A \OT1/lmr/m/n/10 (-20) := \OMS/lmsy/m/n/10 f\OML/lmm/m/it/10 t \OT1/lmr/m/n/10 (-20) = 3\OML/lmm/m/it/10 ; m \OT1/lmr/m/n/10 (-20) = 2\OML/l mm/m/it/10 ; b[] \OT1/lmr/m/n/10 (-20) = 1\OML/lmm/m/it/10 ; b[] \OT1/lmr/m/n/1 0 (-20) = 1\OML/lmm/m/it/10 ; I[] \OT1/lmr/m/n/10 (-20) = \OMS/lmsy/m/n/10 f\OT 1/lmr/m/n/10 (-20) ([\OML/lmm/m/it/10 t[]; t[]\OT1/lmr/m/n/10 (-20) ]\OML/lmm/m /it/10 ; \OT1/lmr/m/n/10 (-20) 2)\OMS/lmsy/m/n/10 g\OML/lmm/m/it/10 ; \OMS/lmsy /m/n/10 8\OML/lmm/m/it/10 i \OT1/lmr/m/n/10 (-20) : 1 \OML/lmm/m/it/10 < i \OMS /lmsy/m/n/10 ^^T \OML/lmm/m/it/10 n \OT1/lmr/m/n/10 (-20) : \OML/lmm/m/it/10 I[ ] \OT1/lmr/m/n/10 (-20) = \OMS/lmsy/m/n/10 f\OT1/lmr/m/n/10 (-20) ([\OML/lmm/m/ it/10 t[]; t[]\OT1/lmr/m/n/10 (-20) ]\OML/lmm/m/it/10 ; \OT1/lmr/m/n/10 (-20) 1 )\OML/lmm/m/it/10 ; \OT1/lmr/m/n/10 (-20) ([\OML/lmm/m/it/10 t[]; t[]\OT1/lmr/m /n/10 (-20) ]\OML/lmm/m/it/10 ; \OT1/lmr/m/n/10 (-20) 2)\OMS/lmsy/m/n/10 gg$ [] [4.4{/usr/share/texmf-dist/fonts/enc/dvips/lm/lm-mathex.enc}] Underfull \hbox (badness 10000) in paragraph at lines 211--228 [] Underfull \hbox (badness 10000) in paragraph at lines 211--228 [] Overfull \hbox (43.47464pt too wide) in paragraph at lines 211--228 \OML/lmm/m/it/10 B \OT1/lmr/m/n/10 (-20) := \OMS/lmsy/m/n/10 f\OML/lmm/m/it/10 t \OT1/lmr/m/n/10 (-20) = \OML/lmm/m/it/10 k \OT1/lmr/m/n/10 (-20) + 1\OML/lmm/ m/it/10 ; m \OT1/lmr/m/n/10 (-20) = 1\OML/lmm/m/it/10 ; b[] \OT1/lmr/m/n/10 (-2 0) = 1\OML/lmm/m/it/10 ; I[] \OT1/lmr/m/n/10 (-20) = \OMS/lmsy/m/n/10 f\OT1/lmr /m/n/10 (-20) ([\OML/lmm/m/it/10 t[]; t[]\OT1/lmr/m/n/10 (-20) ]\OML/lmm/m/it/1 0 ; \OT1/lmr/m/n/10 (-20) 1)\OMS/lmsy/m/n/10 g\OML/lmm/m/it/10 ; \OMS/lmsy/m/n/ 10 8\OML/lmm/m/it/10 i \OT1/lmr/m/n/10 (-20) : 1 \OML/lmm/m/it/10 < i \OMS/lmsy /m/n/10 ^^T \OML/lmm/m/it/10 n \OT1/lmr/m/n/10 (-20) : \OML/lmm/m/it/10 I[] \OT 1/lmr/m/n/10 (-20) = \OMS/lmsy/m/n/10 f\OT1/lmr/m/n/10 (-20) ([\OML/lmm/m/it/10 t[]; t[]\OT1/lmr/m/n/10 (-20) ]\OML/lmm/m/it/10 ; \OT1/lmr/m/n/10 (-20) 1)\OML /lmm/m/it/10 ; \OT1/lmr/m/n/10 (-20) ([\OML/lmm/m/it/10 t[]; t[]\OT1/lmr/m/n/10 (-20) ]1)\OMS/lmsy/m/n/10 gg$ [] Underfull \hbox (badness 10000) in paragraph at lines 211--228 [] Underfull \hbox (badness 10000) in paragraph at lines 211--228 [] Underfull \hbox (badness 10000) in paragraph at lines 211--228 [] Overfull \hbox (30.0358pt too wide) has occurred while \output is active \T1/lmss/bx/n/10.5 Floris van der Hout, Thomas van Maaren, Rens Versnel, Wessel van der Ven and Ids de Vlas [] [] [5.5] LaTeX Warning: Citation `Karp1972' on page 6 undefined on input line 234. [6.6] File: figures/ill-BS-2CO.jpg Graphic file (type jpg) Package pdftex.def Info: figures/ill-BS-2CO.jpg used on input line 258. (pdftex.def) Requested size: 199.16928pt x 187.33624pt. Overfull \hbox (30.0358pt too wide) has occurred while \output is active \T1/lmss/bx/n/10.5 Floris van der Hout, Thomas van Maaren, Rens Versnel, Wessel van der Ven and Ids de Vlas [] [] [7.7 <./figures/ill-BS-2CO.jpg>] [8.8] File: figures/ill-set-cover-reduction.jpg Graphic file (type jpg) Package pdftex.def Info: figures/ill-set-cover-reduction.jpg used on input lin e 291. (pdftex.def) Requested size: 398.33858pt x 148.91185pt. Underfull \hbox (badness 10000) in paragraph at lines 305--311 [] Overfull \hbox (30.0358pt too wide) has occurred while \output is active \T1/lmss/bx/n/10.5 Floris van der Hout, Thomas van Maaren, Rens Versnel, Wessel van der Ven and Ids de Vlas [] [] [9.9 <./figures/ill-set-cover-reduction.jpg>] LaTeX Font Info: Trying to load font information for T1+lmtt on input line 3 29. (/usr/share/texmf-dist/tex/latex/lm/t1lmtt.fd File: t1lmtt.fd 2015/05/01 v1.6.1 Font defs for Latin Modern ) Package microtype Info: Loading generic protrusion settings for font family (microtype) `lmtt' (encoding: T1). (microtype) For optimal results, create family-specific settings. (microtype) See the microtype manual for details. [10.10] Package hyperref Info: bookmark level for unknown theorem defaults to 0 on inpu t line 352. LaTeX Font Info: External font `lmex10' loaded for size (Font) <9> on input line 384. LaTeX Font Info: External font `lmex10' loaded for size (Font) <6> on input line 384. Package microtype Info: Fixing zero \fontdimen 6 for font `U/dsrom/m/n/9' (microtype) (new value: 9.0pt) on input line 384. Package microtype Info: Fixing zero \fontdimen 6 for font `U/dsrom/m/n/6' (microtype) (new value: 6.0pt) on input line 384. Overfull \hbox (30.0358pt too wide) has occurred while \output is active \T1/lmss/bx/n/10.5 Floris van der Hout, Thomas van Maaren, Rens Versnel, Wessel van der Ven and Ids de Vlas [] [] [11.11] Package hyperref Info: bookmark level for unknown lemma defaults to 0 on input line 414. [12.12] Overfull \hbox (30.0358pt too wide) has occurred while \output is active \T1/lmss/bx/n/10.5 Floris van der Hout, Thomas van Maaren, Rens Versnel, Wessel van der Ven and Ids de Vlas [] [] [13.13] Underfull \hbox (badness 10000) in paragraph at lines 550--553 [] [14.14] Package microtype Info: Character `029' is missing (microtype) in font `T1/lmr/m/sc/10'. (microtype) Ignoring protrusion settings for this character. Overfull \hbox (30.0358pt too wide) has occurred while \output is active \T1/lmss/bx/n/10.5 Floris van der Hout, Thomas van Maaren, Rens Versnel, Wessel van der Ven and Ids de Vlas [] [] [15.15] No file main2.bbl. [16.16] Overfull \hbox (30.0358pt too wide) has occurred while \output is active \T1/lmss/bx/n/10.5 Floris van der Hout, Thomas van Maaren, Rens Versnel, Wessel van der Ven and Ids de Vlas [] [] [17.17] [18.18] Overfull \hbox (30.0358pt too wide) has occurred while \output is active \T1/lmss/bx/n/10.5 Floris van der Hout, Thomas van Maaren, Rens Versnel, Wessel van der Ven and Ids de Vlas [] [] [19.19] [20.20] (./main2.aux) *********** LaTeX2e <2023-11-01> patch level 1 L3 programming layer <2024-02-20> *********** LaTeX Warning: There were undefined references. LaTeX Warning: There were multiply-defined labels. Package rerunfilecheck Info: File `main2.out' has not changed. (rerunfilecheck) Checksum: A2C84E440DD352FFB72B75EF10660245;4653. ) Here is how much of TeX's memory you used: 24723 strings out of 475403 429139 string characters out of 5776291 1960187 words of memory out of 5000000 46139 multiletter control sequences out of 15000+600000 665332 words of font info for 227 fonts, out of 8000000 for 9000 395 hyphenation exceptions out of 8191 87i,14n,93p,1489b,621s stack positions out of 10000i,1000n,20000p,200000b,200000s Output written on main2.pdf (20 pages, 1937207 bytes). PDF statistics: 447 PDF objects out of 1000 (max. 8388607) 356 compressed objects within 4 object streams 79 named destinations out of 1000 (max. 500000) 64243 words of extra memory for PDF output out of 74296 (max. 10000000)