This is pdfTeX, Version 3.14159265-2.6-1.40.21 (TeX Live 2020) (preloaded format=latex 2021.4.16) 31 JUL 2023 17:59 entering extended mode restricted \write18 enabled. %&-line parsing enabled. **2023_03_17_standalone (./2023_03_17_standalone.tex LaTeX2e <2020-10-01> patch level 4 L3 programming layer <2021-02-18> (/usr/local/texlive/2020/texmf-dist/tex/latex/filecontents/filecontents.sty Package: filecontents 2019/09/20 v1.5 Create an external file from within a LaT eX document Package filecontents Warning: This package is obsolete. Disabling it and (filecontents) passing control to the filecontents environment (filecontents) defined by the LaTeX kernel. ) LaTeX Warning: File `standalone.bib' already exists on the system. Not generating it from this source. (./llncs.cls Document Class: llncs 2022/09/05 v2.22 LaTeX document class for Lecture Notes in Computer Science (/usr/local/texlive/2020/texmf-dist/tex/latex/base/article.cls Document Class: article 2020/04/10 v1.4m Standard LaTeX document class (/usr/local/texlive/2020/texmf-dist/tex/latex/base/size10.clo File: size10.clo 2020/04/10 v1.4m Standard LaTeX file (size option) ) \c@part=\count179 \c@section=\count180 \c@subsection=\count181 \c@subsubsection=\count182 \c@paragraph=\count183 \c@subparagraph=\count184 \c@figure=\count185 \c@table=\count186 \abovecaptionskip=\skip47 \belowcaptionskip=\skip48 \bibindent=\dimen138 ) (/usr/local/texlive/2020/texmf-dist/tex/latex/tools/multicol.sty Package: multicol 2019/12/09 v1.8y multicolumn formatting (FMi) \c@tracingmulticols=\count187 \mult@box=\box47 \multicol@leftmargin=\dimen139 \c@unbalance=\count188 \c@collectmore=\count189 \doublecol@number=\count190 \multicoltolerance=\count191 \multicolpretolerance=\count192 \full@width=\dimen140 \page@free=\dimen141 \premulticols=\dimen142 \postmulticols=\dimen143 \multicolsep=\skip49 \multicolbaselineskip=\skip50 \partial@page=\box48 \last@line=\box49 \maxbalancingoverflow=\dimen144 \mult@rightbox=\box50 \mult@grightbox=\box51 \mult@gfirstbox=\box52 \mult@firstbox=\box53 \@tempa=\box54 \@tempa=\box55 \@tempa=\box56 \@tempa=\box57 \@tempa=\box58 \@tempa=\box59 \@tempa=\box60 \@tempa=\box61 \@tempa=\box62 \@tempa=\box63 \@tempa=\box64 \@tempa=\box65 \@tempa=\box66 \@tempa=\box67 \@tempa=\box68 \@tempa=\box69 \@tempa=\box70 \@tempa=\box71 \@tempa=\box72 \@tempa=\box73 \@tempa=\box74 \@tempa=\box75 \@tempa=\box76 \@tempa=\box77 \@tempa=\box78 \@tempa=\box79 \@tempa=\box80 \@tempa=\box81 \@tempa=\box82 \@tempa=\box83 \@tempa=\box84 \@tempa=\box85 \@tempa=\box86 \@tempa=\box87 \@tempa=\box88 \@tempa=\box89 \@tempa=\box90 \c@minrows=\count193 \c@columnbadness=\count194 \c@finalcolumnbadness=\count195 \last@try=\dimen145 \multicolovershoot=\dimen146 \multicolundershoot=\dimen147 \mult@nat@firstbox=\box91 \colbreak@box=\box92 \mc@col@check@num=\count196 ) (/usr/local/texlive/2020/texmf-dist/tex/latex/oberdiek/aliascnt.sty Package: aliascnt 2018/09/07 v1.5 Alias counters (HO) ) \c@chapter=\count197 LaTeX Font Info: Redeclaring math symbol \Gamma on input line 362. LaTeX Font Info: Redeclaring math symbol \Delta on input line 363. LaTeX Font Info: Redeclaring math symbol \Theta on input line 364. LaTeX Font Info: Redeclaring math symbol \Lambda on input line 365. LaTeX Font Info: Redeclaring math symbol \Xi on input line 366. LaTeX Font Info: Redeclaring math symbol \Pi on input line 367. LaTeX Font Info: Redeclaring math symbol \Sigma on input line 368. LaTeX Font Info: Redeclaring math symbol \Upsilon on input line 369. LaTeX Font Info: Redeclaring math symbol \Phi on input line 370. LaTeX Font Info: Redeclaring math symbol \Psi on input line 371. LaTeX Font Info: Redeclaring math symbol \Omega on input line 372. LaTeX Info: Redefining \vec on input line 377. \tocchpnum=\dimen148 \tocsecnum=\dimen149 \tocsectotal=\dimen150 \tocsubsecnum=\dimen151 \tocsubsectotal=\dimen152 \tocsubsubsecnum=\dimen153 \tocsubsubsectotal=\dimen154 \tocparanum=\dimen155 \tocparatotal=\dimen156 \tocsubparanum=\dimen157 \@tempcntc=\count198 \fnindent=\dimen158 \c@@inst=\count199 \c@@auth=\count266 \c@auco=\count267 \instindent=\dimen159 \authrun=\box93 \authorrunning=\toks15 \tocauthor=\toks16 \titrun=\box94 \titlerunning=\toks17 \toctitle=\toks18 \c@theorem=\count268 \c@case=\count269 \c@conjecture=\count270 \c@corollary=\count271 \c@definition=\count272 \c@example=\count273 \c@exercise=\count274 \c@lemma=\count275 \c@note=\count276 \c@problem=\count277 \c@property=\count278 \c@proposition=\count279 \c@question=\count280 \c@solution=\count281 \c@remark=\count282 \headlineindent=\dimen160 ) (/usr/local/texlive/2020/texmf-dist/tex/latex/base/fix-cm.sty Package: fix-cm 2015/01/14 v1.1t fixes to LaTeX (/usr/local/texlive/2020/texmf-dist/tex/latex/base/ts1enc.def File: ts1enc.def 2001/06/05 v3.0e (jk/car/fm) Standard LaTeX file LaTeX Font Info: Redeclaring font encoding TS1 on input line 47. )) (/usr/local/texlive/2020/texmf-dist/tex/latex/microtype/microtype.sty Package: microtype 2021/03/14 v2.8c Micro-typographical refinements (RS) (/usr/local/texlive/2020/texmf-dist/tex/latex/graphics/keyval.sty Package: keyval 2014/10/28 v1.15 key=value parser (DPC) \KV@toks@=\toks19 ) \MT@toks=\toks20 \MT@count=\count283 LaTeX Info: Redefining \textls on input line 790. \MT@outer@kern=\dimen161 LaTeX Info: Redefining \textmicrotypecontext on input line 1374. \MT@listname@count=\count284 (/usr/local/texlive/2020/texmf-dist/tex/latex/microtype/microtype-pdftex.def File: microtype-pdftex.def 2021/03/14 v2.8c Definitions specific to pdftex (RS) LaTeX Info: Redefining \lsstyle on input line 915. LaTeX Info: Redefining \lslig on input line 915. \MT@outer@space=\skip51 ) Package microtype Info: Loading configuration file microtype.cfg. (/usr/local/texlive/2020/texmf-dist/tex/latex/microtype/microtype.cfg File: microtype.cfg 2021/03/14 v2.8c microtype main configuration file (RS) )) (/usr/local/texlive/2020/texmf-dist/tex/latex/base/inputenc.sty Package: inputenc 2020/08/01 v1.3d Input encoding file \inpenc@prehook=\toks21 \inpenc@posthook=\toks22 ) (/usr/local/texlive/2020/texmf-dist/tex/latex/base/fontenc.sty Package: fontenc 2020/08/10 v2.0s Standard LaTeX package ) (/usr/local/texlive/2020/texmf-dist/tex/generic/babel/babel.sty Package: babel 2021/03/03 3.55 The Babel package (/usr/local/texlive/2020/texmf-dist/tex/generic/babel/babel.def File: babel.def 2021/03/03 3.55 Babel common definitions \babel@savecnt=\count285 \U@D=\dimen162 \l@babelnohyphens=\language86 (/usr/local/texlive/2020/texmf-dist/tex/generic/babel/txtbabel.def) \bbl@readstream=\read2 ) \bbl@dirlevel=\count286 (/usr/local/texlive/2020/texmf-dist/tex/generic/babel-english/english.ldf Language: english 2017/06/06 v3.3r English support from the babel system Package babel Info: \l@canadian = using hyphenrules for english (babel) (\language0) on input line 102. Package babel Info: \l@australian = using hyphenrules for ukenglish (babel) (\language21) on input line 105. Package babel Info: \l@newzealand = using hyphenrules for ukenglish (babel) (\language21) on input line 108. )) (/usr/local/texlive/2020/texmf-dist/tex/latex/mathtools/mathtools.sty Package: mathtools 2021/03/18 v1.25 mathematical typesetting tools (/usr/local/texlive/2020/texmf-dist/tex/latex/tools/calc.sty Package: calc 2017/05/25 v4.3 Infix arithmetic (KKT,FJ) \calc@Acount=\count287 \calc@Bcount=\count288 \calc@Adimen=\dimen163 \calc@Bdimen=\dimen164 \calc@Askip=\skip52 \calc@Bskip=\skip53 LaTeX Info: Redefining \setlength on input line 80. LaTeX Info: Redefining \addtolength on input line 81. \calc@Ccount=\count289 \calc@Cskip=\skip54 ) (/usr/local/texlive/2020/texmf-dist/tex/latex/mathtools/mhsetup.sty Package: mhsetup 2021/03/18 v1.4 programming setup (MH) ) (/usr/local/texlive/2020/texmf-dist/tex/latex/amsmath/amsmath.sty Package: amsmath 2020/09/23 v2.17i AMS math features \@mathmargin=\skip55 For additional information on amsmath, use the `?' option. (/usr/local/texlive/2020/texmf-dist/tex/latex/amsmath/amstext.sty Package: amstext 2000/06/29 v2.01 AMS text (/usr/local/texlive/2020/texmf-dist/tex/latex/amsmath/amsgen.sty File: amsgen.sty 1999/11/30 v2.0 generic functions \@emptytoks=\toks23 \ex@=\dimen165 )) (/usr/local/texlive/2020/texmf-dist/tex/latex/amsmath/amsbsy.sty Package: amsbsy 1999/11/29 v1.2d Bold Symbols \pmbraise@=\dimen166 ) (/usr/local/texlive/2020/texmf-dist/tex/latex/amsmath/amsopn.sty Package: amsopn 2016/03/08 v2.02 operator names ) \inf@bad=\count290 LaTeX Info: Redefining \frac on input line 234. \uproot@=\count291 \leftroot@=\count292 LaTeX Info: Redefining \overline on input line 399. \classnum@=\count293 \DOTSCASE@=\count294 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@=\box95 \strutbox@=\box96 \big@size=\dimen167 LaTeX Font Info: Redeclaring font encoding OML on input line 743. LaTeX Font Info: Redeclaring font encoding OMS on input line 744. Package amsmath Warning: Unable to redefine math accent \vec. \macc@depth=\count295 \c@MaxMatrixCols=\count296 \dotsspace@=\muskip16 \c@parentequation=\count297 \dspbrk@lvl=\count298 \tag@help=\toks24 \row@=\count299 \column@=\count300 \maxfields@=\count301 \andhelp@=\toks25 \eqnshift@=\dimen168 \alignsep@=\dimen169 \tagshift@=\dimen170 \tagwidth@=\dimen171 \totwidth@=\dimen172 \lineht@=\dimen173 \@envbody=\toks26 \multlinegap=\skip56 \multlinetaggap=\skip57 \mathdisplay@stack=\toks27 LaTeX Info: Redefining \[ on input line 2923. LaTeX Info: Redefining \] on input line 2924. ) LaTeX Info: Thecontrolsequence`\('isalreadyrobust on input line 130. LaTeX Info: Thecontrolsequence`\)'isalreadyrobust on input line 130. LaTeX Info: Thecontrolsequence`\['isalreadyrobust on input line 130. LaTeX Info: Thecontrolsequence`\]'isalreadyrobust on input line 130. \g_MT_multlinerow_int=\count302 \l_MT_multwidth_dim=\dimen174 \origjot=\skip58 \l_MT_shortvdotswithinadjustabove_dim=\dimen175 \l_MT_shortvdotswithinadjustbelow_dim=\dimen176 \l_MT_above_intertext_sep=\dimen177 \l_MT_below_intertext_sep=\dimen178 \l_MT_above_shortintertext_sep=\dimen179 \l_MT_below_shortintertext_sep=\dimen180 \xmathstrut@box=\box97 \xmathstrut@dim=\dimen181 ) (/usr/local/texlive/2020/texmf-dist/tex/latex/amsfonts/amssymb.sty Package: amssymb 2013/01/14 v3.01 AMS font symbols (/usr/local/texlive/2020/texmf-dist/tex/latex/amsfonts/amsfonts.sty Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support \symAMSa=\mathgroup4 \symAMSb=\mathgroup5 LaTeX Font Info: Redeclaring math symbol \hbar on input line 98. LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' (Font) U/euf/m/n --> U/euf/b/n on input line 106. )) (/usr/local/texlive/2020/texmf-dist/tex/latex/fnpct/fnpct.sty (/usr/local/texlive/2020/texmf-dist/tex/latex/l3packages/l3keys2e/l3keys2e.sty (/usr/local/texlive/2020/texmf-dist/tex/latex/l3kernel/expl3.sty Package: expl3 2021-02-18 L3 programming layer (loader) (/usr/local/texlive/2020/texmf-dist/tex/latex/l3backend/l3backend-dvips.def File: l3backend-dvips.def 2021-03-18 L3 backend support: dvips \l__pdf_internal_box=\box98 \g__pdf_backend_object_int=\count303 \l__pdf_backend_content_box=\box99 \l__pdf_backend_model_box=\box100 \g__pdf_backend_annotation_int=\count304 \g__pdf_backend_link_int=\count305 \g__pdf_backend_link_sf_int=\count306 )) Package: l3keys2e 2021-03-12 LaTeX2e option processing using LaTeX3 keys ) Package: fnpct 2021/01/21 v1.0 footnote kerning \l__fnpct_collection_int=\count307 \l__fnpct_before_footnote_dim=\dimen182 \l__fnpct_before_dot_dim=\dimen183 \l__fnpct_after_dot_dim=\dimen184 \l__fnpct_before_comma_dim=\dimen185 \l__fnpct_after_comma_dim=\dimen186 \l__fnpct_before_collect_dim=\dimen187 \l__fnpct_after_collect_dim=\dimen188 LaTeX3 Info: Defining command \AddPunctuation with sig. 'O{0pt}mO{0pt}m' on (LaTeX3) line 667. LaTeX3 Info: Defining command \AdaptNote with sig. 'mmom' on line 849. LaTeX3 Info: Defining command \AdaptNoteName with sig. 'mmom' on line 856. LaTeX3 Info: Defining command \AdaptText with sig. 'mmm' on line 862. LaTeX3 Info: Defining command \innernote with sig. '+m' on line 865. LaTeX3 Info: Defining command \ifcurrentnoteTF with sig. 'm' on line 868. LaTeX3 Info: Defining command \ifcurrentnoteT with sig. 'm' on line 871. LaTeX3 Info: Defining command \ifcurrentnoteF with sig. 'm' on line 874. LaTeX3 Info: Defining command \setfnpct with sig. 'm' on line 879. LaTeX3 Info: Defining command \MultVariant with sig. 'm' on line 977. LaTeX3 Info: Defining command \MultVariantName with sig. 'm' on line 980. (/usr/local/texlive/2020/texmf-dist/tex/latex/translations/translations.sty Package: translations 2021/01/17 v1.10a internationalization of LaTeX2e package s (CN) (/usr/local/texlive/2020/texmf-dist/tex/latex/etoolbox/etoolbox.sty Package: etoolbox 2020/10/05 v2.5k e-TeX tools for LaTeX (JAW) \etb@tempcnta=\count308 ) (/usr/local/texlive/2020/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty Package: pdftexcmds 2020-06-27 v0.33 Utility functions of pdfTeX for LuaTeX (HO ) (/usr/local/texlive/2020/texmf-dist/tex/generic/infwarerr/infwarerr.sty Package: infwarerr 2019/12/03 v1.5 Providing info/warning/error messages (HO) ) (/usr/local/texlive/2020/texmf-dist/tex/generic/iftex/iftex.sty Package: iftex 2020/03/06 v1.0d TeX engine tests ) (/usr/local/texlive/2020/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty Package: ltxcmds 2020-05-10 v1.25 LaTeX kernel commands for general use (HO) ) Package pdftexcmds Info: \pdf@primitive is available. Package pdftexcmds Info: \pdf@ifprimitive is available. Package pdftexcmds Info: \pdfdraftmode is ignored in DVI mode. ))) (/usr/local/texlive/2020/texmf-dist/tex/latex/enumitem/enumitem.sty Package: enumitem 2019/06/20 v3.9 Customized lists \labelindent=\skip59 \enit@outerparindent=\dimen189 \enit@toks=\toks28 \enit@inbox=\box101 \enit@count@id=\count309 \enitdp@description=\count310 ) (/usr/local/texlive/2020/texmf-dist/tex/latex/tools/xspace.sty Package: xspace 2014/10/28 v1.13 Space after command names (DPC,MH) ) (/usr/local/texlive/2020/texmf-dist/tex/latex/xcolor/xcolor.sty Package: xcolor 2016/05/11 v2.12 LaTeX color extensions (UK) (/usr/local/texlive/2020/texmf-dist/tex/latex/graphics-cfg/color.cfg File: color.cfg 2016/01/02 v1.6 sample color configuration ) Package xcolor Info: Driver file: dvips.def on input line 225. (/usr/local/texlive/2020/texmf-dist/tex/latex/graphics-def/dvips.def File: dvips.def 2017/06/20 v3.1d Graphics/color driver for dvips ) Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1348. Package xcolor Info: Model `RGB' extended on input line 1364. Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1366. Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1367. Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1368. Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1369. Package xcolor Info: Model `Gray' substituted by `gray' on input line 1370. Package xcolor Info: Model `wave' substituted by `hsb' on input line 1371. ) (/usr/local/texlive/2020/texmf-dist/tex/latex/l3packages/xparse/xparse.sty (/usr/local/texlive/2020/texmf-dist/tex/latex/l3packages/xparse/xparse-2020-10- 01.sty (/usr/local/texlive/2020/texmf-dist/tex/latex/l3packages/xparse/xparse-generic. tex))) (/usr/local/texlive/2020/texmf-dist/tex/latex/hyperref/hyperref.sty Package: hyperref 2021-02-27 v7.00k Hypertext links for LaTeX (/usr/local/texlive/2020/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty Package: kvsetkeys 2019/12/15 v1.18 Key value parser (HO) ) (/usr/local/texlive/2020/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty Package: kvdefinekeys 2019-12-19 v1.6 Define keys (HO) ) (/usr/local/texlive/2020/texmf-dist/tex/generic/pdfescape/pdfescape.sty Package: pdfescape 2019/12/09 v1.15 Implements pdfTeX's escape features (HO) ) (/usr/local/texlive/2020/texmf-dist/tex/latex/hycolor/hycolor.sty Package: hycolor 2020-01-27 v1.10 Color options for hyperref/bookmark (HO) ) (/usr/local/texlive/2020/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty Package: letltxmacro 2019/12/03 v1.6 Let assignment for LaTeX macros (HO) ) (/usr/local/texlive/2020/texmf-dist/tex/latex/auxhook/auxhook.sty Package: auxhook 2019-12-17 v1.6 Hooks for auxiliary files (HO) ) (/usr/local/texlive/2020/texmf-dist/tex/latex/kvoptions/kvoptions.sty Package: kvoptions 2020-10-07 v3.14 Key value format for package options (HO) ) \@linkdim=\dimen190 \Hy@linkcounter=\count311 \Hy@pagecounter=\count312 (/usr/local/texlive/2020/texmf-dist/tex/latex/hyperref/pd1enc.def File: pd1enc.def 2021-02-27 v7.00k Hyperref: PDFDocEncoding definition (HO) Now handling font encoding PD1 ... ... no UTF-8 mapping file for font encoding PD1 ) (/usr/local/texlive/2020/texmf-dist/tex/latex/hyperref/hyperref-langpatches.def File: hyperref-langpatches.def 2021-02-27 v7.00k Hyperref: patches for babel la nguages ) (/usr/local/texlive/2020/texmf-dist/tex/generic/intcalc/intcalc.sty Package: intcalc 2019/12/15 v1.3 Expandable calculations with integers (HO) ) (/usr/local/texlive/2020/texmf-dist/tex/generic/etexcmds/etexcmds.sty Package: etexcmds 2019/12/15 v1.7 Avoid name clashes with e-TeX commands (HO) ) \Hy@SavedSpaceFactor=\count313 (/usr/local/texlive/2020/texmf-dist/tex/latex/hyperref/puenc.def File: puenc.def 2021-02-27 v7.00k 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 4192. Package hyperref Info: Link nesting OFF on input line 4197. Package hyperref Info: Hyper index ON on input line 4200. Package hyperref Info: Plain pages OFF on input line 4207. Package hyperref Info: Backreferencing OFF on input line 4212. Package hyperref Info: Implicit mode ON; LaTeX internals redefined. Package hyperref Info: Bookmarks ON on input line 4445. \c@Hy@tempcnt=\count314 (/usr/local/texlive/2020/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 4804. \XeTeXLinkMargin=\dimen191 (/usr/local/texlive/2020/texmf-dist/tex/generic/bitset/bitset.sty Package: bitset 2019/12/09 v1.3 Handle bit-vector datatype (HO) (/usr/local/texlive/2020/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty Package: bigintcalc 2019/12/15 v1.5 Expandable calculations on big integers (HO ) )) \Fld@menulength=\count315 \Field@Width=\dimen192 \Fld@charsize=\dimen193 Package hyperref Info: Hyper figures OFF on input line 6075. Package hyperref Info: Link nesting OFF on input line 6080. Package hyperref Info: Hyper index ON on input line 6083. Package hyperref Info: backreferencing OFF on input line 6090. Package hyperref Info: Link coloring OFF on input line 6095. Package hyperref Info: Link coloring with OCG OFF on input line 6100. Package hyperref Info: PDF/A mode OFF on input line 6105. LaTeX Info: Redefining \ref on input line 6145. LaTeX Info: Redefining \pageref on input line 6149. (/usr/local/texlive/2020/texmf-dist/tex/latex/base/atbegshi-ltx.sty Package: atbegshi-ltx 2020/08/17 v1.0a Emulation of the original atbegshi packa ge with kernel methods ) \Hy@abspage=\count316 \c@Item=\count317 \c@Hfootnote=\count318 ) Package hyperref Info: Driver (default): hdvips. (/usr/local/texlive/2020/texmf-dist/tex/latex/hyperref/hdvips.def File: hdvips.def 2021-02-27 v7.00k Hyperref driver for dvips (/usr/local/texlive/2020/texmf-dist/tex/latex/hyperref/pdfmark.def File: pdfmark.def 2021-02-27 v7.00k Hyperref definitions for pdfmark specials \pdf@docset=\toks29 \pdf@box=\box102 \pdf@toks=\toks30 \pdf@defaulttoks=\toks31 \HyField@AnnotCount=\count319 \Fld@listcount=\count320 \c@bookmark@seq@number=\count321 (/usr/local/texlive/2020/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty Package: rerunfilecheck 2019/12/05 v1.9 Rerun checks for auxiliary files (HO) (/usr/local/texlive/2020/texmf-dist/tex/latex/base/atveryend-ltx.sty Package: atveryend-ltx 2020/08/19 v1.0a Emulation of the original atvery packag e with kernel methods ) (/usr/local/texlive/2020/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 86. ) \Hy@SectionHShift=\skip60 )) (/usr/local/texlive/2020/texmf-dist/tex/latex/orcidlink/orcidlink.sty Package: orcidlink 2021/03/15 v1.0.3 Linked ORCiD logo macro package (/usr/local/texlive/2020/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty (/usr/local/texlive/2020/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty (/usr/local/texlive/2020/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.te x \pgfutil@everybye=\toks32 \pgfutil@tempdima=\dimen194 \pgfutil@tempdimb=\dimen195 (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/utilities/pgfutil-common-li sts.tex)) (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def \pgfutil@abb=\box103 ) (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/pgf.revision.tex) Package: pgfrcs 2020/12/27 v3.1.8b (3.1.8b) )) Package: pgf 2020/12/27 v3.1.8b (3.1.8b) (/usr/local/texlive/2020/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty (/usr/local/texlive/2020/texmf-dist/tex/latex/graphics/graphicx.sty Package: graphicx 2020/09/09 v1.2b Enhanced LaTeX Graphics (DPC,SPQR) (/usr/local/texlive/2020/texmf-dist/tex/latex/graphics/graphics.sty Package: graphics 2020/08/30 v1.4c Standard LaTeX Graphics (DPC,SPQR) (/usr/local/texlive/2020/texmf-dist/tex/latex/graphics/trig.sty Package: trig 2016/01/03 v1.10 sin cos tan (DPC) ) (/usr/local/texlive/2020/texmf-dist/tex/latex/graphics-cfg/graphics.cfg File: graphics.cfg 2016/06/04 v1.11 sample graphics configuration ) Package graphics Info: Driver file: dvips.def on input line 105. ) \Gin@req@height=\dimen196 \Gin@req@width=\dimen197 ) (/usr/local/texlive/2020/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex Package: pgfsys 2020/12/27 v3.1.8b (3.1.8b) (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex \pgfkeys@pathtoks=\toks33 \pgfkeys@temptoks=\toks34 (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.c ode.tex \pgfkeys@tmptoks=\toks35 )) \pgf@x=\dimen198 \pgf@y=\dimen199 \pgf@xa=\dimen256 \pgf@ya=\dimen257 \pgf@xb=\dimen258 \pgf@yb=\dimen259 \pgf@xc=\dimen260 \pgf@yc=\dimen261 \pgf@xd=\dimen262 \pgf@yd=\dimen263 \w@pgf@writea=\write3 \r@pgf@reada=\read3 \c@pgf@counta=\count322 \c@pgf@countb=\count323 \c@pgf@countc=\count324 \c@pgf@countd=\count325 \t@pgf@toka=\toks36 \t@pgf@tokb=\toks37 \t@pgf@tokc=\toks38 \pgf@sys@id@count=\count326 (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg File: pgf.cfg 2020/12/27 v3.1.8b (3.1.8b) ) Driver file for pgf: pgfsys-dvips.def (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-dvips.de f File: pgfsys-dvips.def 2020/12/27 v3.1.8b (3.1.8b) (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-p ostscript.def File: pgfsys-common-postscript.def 2020/12/27 v3.1.8b (3.1.8b) \pgf@objectcount=\count327 ))) (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath. code.tex File: pgfsyssoftpath.code.tex 2020/12/27 v3.1.8b (3.1.8b) \pgfsyssoftpath@smallbuffer@items=\count328 \pgfsyssoftpath@bigbuffer@items=\count329 ) (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol. code.tex File: pgfsysprotocol.code.tex 2020/12/27 v3.1.8b (3.1.8b) )) (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex Package: pgfcore 2020/12/27 v3.1.8b (3.1.8b) (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex) (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex \pgfmath@dimen=\dimen264 \pgfmath@count=\count330 \pgfmath@box=\box104 \pgfmath@toks=\toks39 \pgfmath@stack@operand=\toks40 \pgfmath@stack@operation=\toks41 ) (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code. tex (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic .code.tex) (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigo nometric.code.tex) (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.rando m.code.tex) (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.compa rison.code.tex) (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base. code.tex) (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round .code.tex) (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc. code.tex) (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integ erarithmetics.code.tex))) (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex \c@pgfmathroundto@lastzeros=\count331 )) (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/math/pgfint.code.tex) (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.co de.tex File: pgfcorepoints.code.tex 2020/12/27 v3.1.8b (3.1.8b) \pgf@picminx=\dimen265 \pgf@picmaxx=\dimen266 \pgf@picminy=\dimen267 \pgf@picmaxy=\dimen268 \pgf@pathminx=\dimen269 \pgf@pathmaxx=\dimen270 \pgf@pathminy=\dimen271 \pgf@pathmaxy=\dimen272 \pgf@xx=\dimen273 \pgf@xy=\dimen274 \pgf@yx=\dimen275 \pgf@yy=\dimen276 \pgf@zx=\dimen277 \pgf@zy=\dimen278 ) (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconst ruct.code.tex File: pgfcorepathconstruct.code.tex 2020/12/27 v3.1.8b (3.1.8b) \pgf@path@lastx=\dimen279 \pgf@path@lasty=\dimen280 ) (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage .code.tex File: pgfcorepathusage.code.tex 2020/12/27 v3.1.8b (3.1.8b) \pgf@shorten@end@additional=\dimen281 \pgf@shorten@start@additional=\dimen282 ) (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.co de.tex File: pgfcorescopes.code.tex 2020/12/27 v3.1.8b (3.1.8b) \pgfpic=\box105 \pgf@hbox=\box106 \pgf@layerbox@main=\box107 \pgf@picture@serial@count=\count332 ) (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicst ate.code.tex File: pgfcoregraphicstate.code.tex 2020/12/27 v3.1.8b (3.1.8b) \pgflinewidth=\dimen283 ) (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransform ations.code.tex File: pgfcoretransformations.code.tex 2020/12/27 v3.1.8b (3.1.8b) \pgf@pt@x=\dimen284 \pgf@pt@y=\dimen285 \pgf@pt@temp=\dimen286 ) (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.cod e.tex File: pgfcorequick.code.tex 2020/12/27 v3.1.8b (3.1.8b) ) (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.c ode.tex File: pgfcoreobjects.code.tex 2020/12/27 v3.1.8b (3.1.8b) ) (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathproce ssing.code.tex File: pgfcorepathprocessing.code.tex 2020/12/27 v3.1.8b (3.1.8b) ) (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.co de.tex File: pgfcorearrows.code.tex 2020/12/27 v3.1.8b (3.1.8b) \pgfarrowsep=\dimen287 ) (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.cod e.tex File: pgfcoreshade.code.tex 2020/12/27 v3.1.8b (3.1.8b) \pgf@max=\dimen288 \pgf@sys@shading@range@num=\count333 \pgf@shadingcount=\count334 ) (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.cod e.tex File: pgfcoreimage.code.tex 2020/12/27 v3.1.8b (3.1.8b) (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal. code.tex File: pgfcoreexternal.code.tex 2020/12/27 v3.1.8b (3.1.8b) \pgfexternal@startupbox=\box108 )) (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.co de.tex File: pgfcorelayers.code.tex 2020/12/27 v3.1.8b (3.1.8b) ) (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretranspare ncy.code.tex File: pgfcoretransparency.code.tex 2020/12/27 v3.1.8b (3.1.8b) ) (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns. code.tex File: pgfcorepatterns.code.tex 2020/12/27 v3.1.8b (3.1.8b) ) (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/basiclayer/pgfcorerdf.code. tex File: pgfcorerdf.code.tex 2020/12/27 v3.1.8b (3.1.8b) ))) (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.cod e.tex File: pgfmoduleshapes.code.tex 2020/12/27 v3.1.8b (3.1.8b) \pgfnodeparttextbox=\box109 ) (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code. tex File: pgfmoduleplot.code.tex 2020/12/27 v3.1.8b (3.1.8b) ) (/usr/local/texlive/2020/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version -0-65.sty Package: pgfcomp-version-0-65 2020/12/27 v3.1.8b (3.1.8b) \pgf@nodesepstart=\dimen289 \pgf@nodesepend=\dimen290 ) (/usr/local/texlive/2020/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version -1-18.sty Package: pgfcomp-version-1-18 2020/12/27 v3.1.8b (3.1.8b) )) (/usr/local/texlive/2020/texmf-dist/tex/latex/pgf/utilities/pgffor.sty (/usr/local/texlive/2020/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex) ) (/usr/local/texlive/2020/texmf-dist/tex/latex/pgf/math/pgfmath.sty (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex)) (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex Package: pgffor 2020/12/27 v3.1.8b (3.1.8b) (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex) \pgffor@iter=\dimen291 \pgffor@skip=\dimen292 \pgffor@stack=\toks42 \pgffor@toks=\toks43 )) (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.cod e.tex Package: tikz 2020/12/27 v3.1.8b (3.1.8b) (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothan dlers.code.tex File: pgflibraryplothandlers.code.tex 2020/12/27 v3.1.8b (3.1.8b) \pgf@plot@mark@count=\count335 \pgfplotmarksize=\dimen293 ) \tikz@lastx=\dimen294 \tikz@lasty=\dimen295 \tikz@lastxsaved=\dimen296 \tikz@lastysaved=\dimen297 \tikz@lastmovetox=\dimen298 \tikz@lastmovetoy=\dimen299 \tikzleveldistance=\dimen300 \tikzsiblingdistance=\dimen301 \tikz@figbox=\box110 \tikz@figbox@bg=\box111 \tikz@tempbox=\box112 \tikz@tempbox@bg=\box113 \tikztreelevel=\count336 \tikznumberofchildren=\count337 \tikznumberofcurrentchild=\count338 \tikz@fig@count=\count339 (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.cod e.tex File: pgfmodulematrix.code.tex 2020/12/27 v3.1.8b (3.1.8b) \pgfmatrixcurrentrow=\count340 \pgfmatrixcurrentcolumn=\count341 \pgf@matrix@numberofcolumns=\count342 ) \tikz@expandcount=\count343 (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie s/tikzlibrarytopaths.code.tex File: tikzlibrarytopaths.code.tex 2020/12/27 v3.1.8b (3.1.8b) ))) (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie s/tikzlibrarysvg.path.code.tex File: tikzlibrarysvg.path.code.tex 2020/12/27 v3.1.8b (3.1.8b) (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/libraries/pgflibrarysvg.pat h.code.tex File: pgflibrarysvg.path.code.tex 2020/12/27 v3.1.8b (3.1.8b) (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/modules/pgfmoduleparser.cod e.tex File: pgfmoduleparser.code.tex 2020/12/27 v3.1.8b (3.1.8b) \pgfparserdef@arg@count=\count344 ) \pgf@lib@svg@last@x=\dimen302 \pgf@lib@svg@last@y=\dimen303 \pgf@lib@svg@last@c@x=\dimen304 \pgf@lib@svg@last@c@y=\dimen305 \pgf@lib@svg@count=\count345 \pgf@lib@svg@max@num=\count346 )) \@curXheight=\skip61 ) (/usr/local/texlive/2020/texmf-dist/tex/latex/csquotes/csquotes.sty Package: csquotes 2021-02-22 v5.2l context-sensitive quotations (JAW) \csq@reset=\count347 \csq@gtype=\count348 \csq@glevel=\count349 \csq@qlevel=\count350 \csq@maxlvl=\count351 \csq@tshold=\count352 \csq@ltx@everypar=\toks44 (/usr/local/texlive/2020/texmf-dist/tex/latex/csquotes/csquotes.def File: csquotes.def 2021-02-22 v5.2l csquotes generic definitions (JAW) ) Package csquotes Info: Trying to load configuration file 'csquotes.cfg'... Package csquotes Info: ... configuration file loaded successfully. (/usr/local/texlive/2020/texmf-dist/tex/latex/csquotes/csquotes.cfg File: csquotes.cfg )) (/usr/local/texlive/2020/texmf-dist/tex/latex/listings/listings.sty \lst@mode=\count353 \lst@gtempboxa=\box114 \lst@token=\toks45 \lst@length=\count354 \lst@currlwidth=\dimen306 \lst@column=\count355 \lst@pos=\count356 \lst@lostspace=\dimen307 \lst@width=\dimen308 \lst@newlines=\count357 \lst@lineno=\count358 \lst@maxwidth=\dimen309 (/usr/local/texlive/2020/texmf-dist/tex/latex/listings/lstmisc.sty File: lstmisc.sty 2020/03/24 1.8d (Carsten Heinz) \c@lstnumber=\count359 \lst@skipnumbers=\count360 \lst@framebox=\box115 ) (/usr/local/texlive/2020/texmf-dist/tex/latex/listings/listings.cfg File: listings.cfg 2020/03/24 1.8d listings configuration )) Package: listings 2020/03/24 1.8d (Carsten Heinz) (/usr/local/texlive/2020/texmf-dist/tex/latex/menukeys/menukeys.sty Package: menukeys 2020/12/19 v1.6.1 -- A package to format menus, paths and sho rtcuts (/usr/local/texlive/2020/texmf-dist/tex/generic/xstring/xstring.sty (/usr/local/texlive/2020/texmf-dist/tex/generic/xstring/xstring.tex \integerpart=\count361 \decimalpart=\count362 ) Package: xstring 2019/02/06 v1.83 String manipulations (CT) ) (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie s/tikzlibrarycalc.code.tex File: tikzlibrarycalc.code.tex 2020/12/27 v3.1.8b (3.1.8b) ) (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie s/tikzlibraryshapes.symbols.code.tex File: tikzlibraryshapes.symbols.code.tex 2020/12/27 v3.1.8b (3.1.8b) (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibrary shapes.symbols.code.tex File: pgflibraryshapes.symbols.code.tex 2020/12/27 v3.1.8b (3.1.8b) )) (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie s/tikzlibraryshadows.code.tex File: tikzlibraryshadows.code.tex 2020/12/27 v3.1.8b (3.1.8b) (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie s/tikzlibraryfadings.code.tex File: tikzlibraryfadings.code.tex 2020/12/27 v3.1.8b (3.1.8b) (/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/libraries/pgflibraryfadings .code.tex File: pgflibraryfadings.code.tex 2020/12/27 v3.1.8b (3.1.8b) ))) (/usr/local/texlive/2020/texmf-dist/tex/latex/adjustbox/adjustbox.sty Package: adjustbox 2020/08/19 v1.3 Adjusting TeX boxes (trim, clip, ...) (/usr/local/texlive/2020/texmf-dist/tex/latex/xkeyval/xkeyval.sty Package: xkeyval 2020/11/20 v2.8 package option processing (HA) (/usr/local/texlive/2020/texmf-dist/tex/generic/xkeyval/xkeyval.tex (/usr/local/texlive/2020/texmf-dist/tex/generic/xkeyval/xkvutils.tex \XKV@toks=\toks46 \XKV@tempa@toks=\toks47 ) \XKV@depth=\count363 File: xkeyval.tex 2014/12/03 v2.7a key=value parser (HA) )) (/usr/local/texlive/2020/texmf-dist/tex/latex/adjustbox/adjcalc.sty Package: adjcalc 2012/05/16 v1.1 Provides advanced setlength with multiple back -ends (calc, etex, pgfmath) ) (/usr/local/texlive/2020/texmf-dist/tex/latex/adjustbox/trimclip.sty Package: trimclip 2020/08/19 v1.2 Trim and clip general TeX material (/usr/local/texlive/2020/texmf-dist/tex/latex/collectbox/collectbox.sty Package: collectbox 2012/05/17 v0.4b Collect macro arguments as boxes \collectedbox=\box116 ) \tc@llx=\dimen310 \tc@lly=\dimen311 \tc@urx=\dimen312 \tc@ury=\dimen313 Package trimclip Info: Using driver 'tc-dvips.def'. (/usr/local/texlive/2020/texmf-dist/tex/latex/adjustbox/tc-dvips.def File: tc-dvips.def 2019/01/04 v2.2 Clipping driver for dvips )) \adjbox@Width=\dimen314 \adjbox@Height=\dimen315 \adjbox@Depth=\dimen316 \adjbox@Totalheight=\dimen317 \adjbox@pwidth=\dimen318 \adjbox@pheight=\dimen319 \adjbox@pdepth=\dimen320 \adjbox@ptotalheight=\dimen321 (/usr/local/texlive/2020/texmf-dist/tex/latex/ifoddpage/ifoddpage.sty Package: ifoddpage 2016/04/23 v1.1 Conditionals for odd/even page detection \c@checkoddpage=\count364 ) (/usr/local/texlive/2020/texmf-dist/tex/latex/varwidth/varwidth.sty Package: varwidth 2009/03/30 ver 0.92; Variable-width minipages \@vwid@box=\box117 \sift@deathcycles=\count365 \@vwid@loff=\dimen322 \@vwid@roff=\dimen323 )) (/usr/local/texlive/2020/texmf-dist/tex/latex/relsize/relsize.sty Package: relsize 2013/03/29 ver 4.1 ) \l__twmk_indris_int=\count366 \c@tw@hyphen@char@num=\count367 ) (/usr/local/texlive/2020/texmf-dist/tex/latex/pmboxdraw/pmboxdraw.sty Package: pmboxdraw 2019/12/05 v1.4 Poor man's box drawing characters (HO) Now handling font encoding pmboxdraw ... ... processing UTF-8 mapping file for font encoding pmboxdraw (/usr/local/texlive/2020/texmf-dist/tex/latex/pmboxdraw/pmboxdrawenc.dfu File: pmboxdrawenc.dfu 2019/12/05 v1.4 UTF-8 support for box drawing characters defining Unicode char U+2500 (decimal 9472) defining Unicode char U+2501 (decimal 9473) defining Unicode char U+2502 (decimal 9474) defining Unicode char U+2503 (decimal 9475) defining Unicode char U+250C (decimal 9484) defining Unicode char U+250D (decimal 9485) defining Unicode char U+250E (decimal 9486) defining Unicode char U+250F (decimal 9487) defining Unicode char U+2510 (decimal 9488) defining Unicode char U+2511 (decimal 9489) defining Unicode char U+2512 (decimal 9490) defining Unicode char U+2513 (decimal 9491) defining Unicode char U+2514 (decimal 9492) defining Unicode char U+2515 (decimal 9493) defining Unicode char U+2516 (decimal 9494) defining Unicode char U+2517 (decimal 9495) defining Unicode char U+2518 (decimal 9496) defining Unicode char U+2519 (decimal 9497) defining Unicode char U+251A (decimal 9498) defining Unicode char U+251B (decimal 9499) defining Unicode char U+251C (decimal 9500) defining Unicode char U+251D (decimal 9501) defining Unicode char U+251E (decimal 9502) defining Unicode char U+251F (decimal 9503) defining Unicode char U+2520 (decimal 9504) defining Unicode char U+2521 (decimal 9505) defining Unicode char U+2522 (decimal 9506) defining Unicode char U+2523 (decimal 9507) defining Unicode char U+2524 (decimal 9508) defining Unicode char U+252C (decimal 9516) defining Unicode char U+252D (decimal 9517) defining Unicode char U+252E (decimal 9518) defining Unicode char U+252F (decimal 9519) defining Unicode char U+2530 (decimal 9520) defining Unicode char U+2531 (decimal 9521) defining Unicode char U+2532 (decimal 9522) defining Unicode char U+2533 (decimal 9523) defining Unicode char U+2534 (decimal 9524) defining Unicode char U+2535 (decimal 9525) defining Unicode char U+2536 (decimal 9526) defining Unicode char U+2537 (decimal 9527) defining Unicode char U+2538 (decimal 9528) defining Unicode char U+2539 (decimal 9529) defining Unicode char U+253A (decimal 9530) defining Unicode char U+253B (decimal 9531) defining Unicode char U+253C (decimal 9532) defining Unicode char U+253D (decimal 9533) defining Unicode char U+253E (decimal 9534) defining Unicode char U+253F (decimal 9535) defining Unicode char U+2540 (decimal 9536) defining Unicode char U+2541 (decimal 9537) defining Unicode char U+2542 (decimal 9538) defining Unicode char U+2543 (decimal 9539) defining Unicode char U+2544 (decimal 9540) defining Unicode char U+2545 (decimal 9541) defining Unicode char U+2546 (decimal 9542) defining Unicode char U+2547 (decimal 9543) defining Unicode char U+2548 (decimal 9544) defining Unicode char U+2549 (decimal 9545) defining Unicode char U+254A (decimal 9546) defining Unicode char U+254B (decimal 9547) defining Unicode char U+2550 (decimal 9552) defining Unicode char U+2551 (decimal 9553) defining Unicode char U+2552 (decimal 9554) defining Unicode char U+2553 (decimal 9555) defining Unicode char U+2554 (decimal 9556) defining Unicode char U+2555 (decimal 9557) defining Unicode char U+2556 (decimal 9558) defining Unicode char U+2557 (decimal 9559) defining Unicode char U+2558 (decimal 9560) defining Unicode char U+2559 (decimal 9561) defining Unicode char U+255A (decimal 9562) defining Unicode char U+255B (decimal 9563) defining Unicode char U+255C (decimal 9564) defining Unicode char U+255D (decimal 9565) defining Unicode char U+255E (decimal 9566) defining Unicode char U+255F (decimal 9567) defining Unicode char U+2560 (decimal 9568) defining Unicode char U+2561 (decimal 9569) defining Unicode char U+2562 (decimal 9570) defining Unicode char U+2563 (decimal 9571) defining Unicode char U+2564 (decimal 9572) defining Unicode char U+2565 (decimal 9573) defining Unicode char U+2566 (decimal 9574) defining Unicode char U+2567 (decimal 9575) defining Unicode char U+2568 (decimal 9576) defining Unicode char U+2569 (decimal 9577) defining Unicode char U+256A (decimal 9578) defining Unicode char U+256B (decimal 9579) defining Unicode char U+256C (decimal 9580) defining Unicode char U+2574 (decimal 9588) defining Unicode char U+2575 (decimal 9589) defining Unicode char U+2576 (decimal 9590) defining Unicode char U+2577 (decimal 9591) defining Unicode char U+2578 (decimal 9592) defining Unicode char U+2579 (decimal 9593) defining Unicode char U+257A (decimal 9594) defining Unicode char U+257B (decimal 9595) defining Unicode char U+257C (decimal 9596) defining Unicode char U+257D (decimal 9597) defining Unicode char U+257E (decimal 9598) defining Unicode char U+257F (decimal 9599) defining Unicode char U+2580 (decimal 9600) defining Unicode char U+2581 (decimal 9601) defining Unicode char U+2582 (decimal 9602) defining Unicode char U+2583 (decimal 9603) defining Unicode char U+2584 (decimal 9604) defining Unicode char U+2585 (decimal 9605) defining Unicode char U+2586 (decimal 9606) defining Unicode char U+2587 (decimal 9607) defining Unicode char U+2588 (decimal 9608) defining Unicode char U+2589 (decimal 9609) defining Unicode char U+258A (decimal 9610) defining Unicode char U+258B (decimal 9611) defining Unicode char U+258C (decimal 9612) defining Unicode char U+258D (decimal 9613) defining Unicode char U+258E (decimal 9614) defining Unicode char U+258F (decimal 9615) defining Unicode char U+2590 (decimal 9616) defining Unicode char U+2591 (decimal 9617) defining Unicode char U+2592 (decimal 9618) defining Unicode char U+2593 (decimal 9619) defining Unicode char U+2594 (decimal 9620) defining Unicode char U+2595 (decimal 9621) defining Unicode char U+2596 (decimal 9622) defining Unicode char U+2597 (decimal 9623) defining Unicode char U+2598 (decimal 9624) defining Unicode char U+2599 (decimal 9625) defining Unicode char U+259A (decimal 9626) defining Unicode char U+259B (decimal 9627) defining Unicode char U+259C (decimal 9628) defining Unicode char U+259D (decimal 9629) defining Unicode char U+259E (decimal 9630) defining Unicode char U+259F (decimal 9631) ) \pmbd@W=\dimen324 \pmbd@H=\dimen325 \pmbd@L=\dimen326 \pmbd@Thin=\dimen327 \pmbd@Thick=\dimen328 \pmbd@Sep=\dimen329 ) Package csquotes Info: Checking for multilingual support... Package csquotes Info: ... found 'babel' package. Package csquotes Info: Adjusting default style. Package csquotes Info: Redefining alias 'default' -> 'english'. (./2023_03_17_standalone.aux) \openout1 = `2023_03_17_standalone.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 349. LaTeX Font Info: ... okay on input line 349. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 349. LaTeX Font Info: ... okay on input line 349. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 349. LaTeX Font Info: ... okay on input line 349. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 349. LaTeX Font Info: ... okay on input line 349. LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 349. LaTeX Font Info: ... okay on input line 349. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 349. LaTeX Font Info: ... okay on input line 349. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 349. LaTeX Font Info: ... okay on input line 349. LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 349. LaTeX Font Info: ... okay on input line 349. LaTeX Font Info: Checking defaults for PU/pdf/m/n on input line 349. LaTeX Font Info: ... okay on input line 349. LaTeX Font Info: Checking defaults for pmboxdraw/pmboxdraw/m/n on input line 349. LaTeX Font Info: ... okay on input line 349. LaTeX Info: Redefining \microtypecontext on input line 349. Package microtype Info: Generating DVI output. Package microtype Info: Character protrusion enabled (level 2). Package microtype Info: Using default protrusion set `alltext'. Package microtype Info: No font expansion. Package microtype Info: No adjustment of tracking. Package microtype Info: No adjustment of interword spacing. Package microtype Info: No adjustment of character kerning. (/usr/local/texlive/2020/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/local/texlive/2020/texmf-dist/tex/latex/translations/translations-basic-d ictionary-english.trsl File: translations-basic-dictionary-english.trsl (english translation file `tra nslations-basic-dictionary') ) Package translations Info: loading dictionary `translations-basic-dictionary' f or `english'. on input line 349. Package hyperref Info: Link coloring OFF on input line 349. (/usr/local/texlive/2020/texmf-dist/tex/latex/hyperref/nameref.sty Package: nameref 2021-04-02 v2.47 Cross-referencing by name of section (/usr/local/texlive/2020/texmf-dist/tex/latex/refcount/refcount.sty Package: refcount 2019/12/15 v3.6 Data extraction from label references (HO) ) (/usr/local/texlive/2020/texmf-dist/tex/generic/gettitlestring/gettitlestring.s ty Package: gettitlestring 2019/12/15 v1.6 Cleanup title references (HO) ) \c@section@level=\count368 ) LaTeX Info: Redefining \ref on input line 349. LaTeX Info: Redefining \pageref on input line 349. LaTeX Info: Redefining \nameref on input line 349. (./2023_03_17_standalone.out) (./2023_03_17_standalone.out) \@outlinefile=\write4 \openout4 = `2023_03_17_standalone.out'. \c@lstlisting=\count369 LaTeX Font Info: Trying to load font information for U+msa on input line 352 . (/usr/local/texlive/2020/texmf-dist/tex/latex/amsfonts/umsa.fd File: umsa.fd 2013/01/14 v3.01 AMS symbols A ) (/usr/local/texlive/2020/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 352 . (/usr/local/texlive/2020/texmf-dist/tex/latex/amsfonts/umsb.fd File: umsb.fd 2013/01/14 v3.01 AMS symbols B ) (/usr/local/texlive/2020/texmf-dist/tex/latex/microtype/mt-msb.cfg File: mt-msb.cfg 2005/06/01 v1.0 microtype config. file: AMS symbols (b) (RS) ) Package microtype Info: Loading generic protrusion settings for font family (microtype) `cmtt' (encoding: T1). (microtype) For optimal results, create family-specific settings. (microtype) See the microtype manual for details. LaTeX Warning: Citation `Despeyroux2000' on page 1 undefined on input line 377. LaTeX Warning: Citation `Hirschkoff1997' on page 1 undefined on input line 377. LaTeX Warning: Citation `Maksimovic2015' on page 1 undefined on input line 377. LaTeX Warning: Citation `the_coq_development_team_2022_5846982' on page 1 undef ined on input line 378. LaTeX Warning: Citation `Despeyroux2000' on page 1 undefined on input line 379. LaTeX Warning: Citation `Maksimovic2015' on page 1 undefined on input line 380. LaTeX Warning: Citation `Affeldt2008' on page 1 undefined on input line 383. LaTeX Warning: Citation `Blanchet2016' on page 1 undefined on input line 388. LaTeX Warning: Citation `Abadi2018' on page 1 undefined on input line 389. LaTeX Warning: Citation `Ryan2011' on page 1 undefined on input line 390. LaTeX Warning: Citation `Gillet2017' on page 1 undefined on input line 393. Overfull \hbox (43.11754pt too wide) in paragraph at lines 392--394 \T1/cmr/m/n/10 show-cases its in-ter-est. Sim-ply for \T1/cmr/m/sc/10 CCS\T1/cm r/m/n/10 , projects from the [][][][], [] Overfull \hbox (9.7518pt too wide) in paragraph at lines 392--394 \T1/cmr/m/n/10 the [][][][], the [][][][] or the [][][][] [\T1/cmr/bx/n/10 ?\T1 /cmr/m/n/10 ] [] LaTeX Warning: Citation `Danos2004' on page 1 undefined on input line 396. LaTeX Warning: Citation `Phillips2006' on page 1 undefined on input line 396. LaTeX Warning: Citation `Cox2010' on page 1 undefined on input line 398. [1 ] LaTeX Warning: Citation `Lanese2021' on page 2 undefined on input line 406. Package microtype Info: Loading generic protrusion settings for font family (microtype) `cmtt' (encoding: TS1). (microtype) For optimal results, create family-specific settings. (microtype) See the microtype manual for details. Overfull \hbox (308.78122pt too wide) in paragraph at lines 439--439 [][][][][]\T1/cmr/m/n/9 The source code is also archived at [][][][].| [] Overfull \hbox (116.31897pt too wide) in paragraph at lines 439--440 \T1/cmr/m/n/10 Downloading the lat-est re-lease can done by brows-ing to [][][] [] [] Package hyperref Info: bookmark level for unknown lstlisting defaults to 0 on i nput line 440. [2] Package microtype Info: Loading generic protrusion settings for font family (microtype) `cmss' (encoding: T1). (microtype) For optimal results, create family-specific settings. (microtype) See the microtype manual for details. [3] (/usr/local/texlive/2020/texmf-dist/tex/latex/listings/lstlang1.sty File: lstlang1.sty 2020/03/24 1.8d listings language file ) Overfull \hbox (45.642pt too wide) in paragraph at lines 525--527 []\T1/cmr/m/n/10 We also lever-aged [][][][] [] Overfull \hbox (2.01343pt too wide) in paragraph at lines 525--527 \T1/cmr/m/n/10 to re-motely com-pile our source code and au-to-mat-i-cally of-f er [][][][] [] [4] LaTeX Warning: Citation `Aubert2020b' on page 5 undefined on input line 539. LaTeX Warning: Citation `Lanese2021' on page 5 undefined on input line 539. LaTeX Warning: Citation `Aubert2021d' on page 5 undefined on input line 539. LaTeX Warning: Citation `aubert2023c' on page 5 undefined on input line 539. Overfull \hbox (54.73555pt too wide) in paragraph at lines 539--540 \T1/cmr/m/n/10 one of the ^^P re-versible^^Q bisim-u-la-tion [\T1/cmr/bx/n/10 ?\T1/cmr/m/n/10 ,\T1/cmr/bx/n/10 ?\T1/cmr/m/n/10 ], a [][][][] [\T1/cmr/bx/n/1 0 ?\T1/cmr/m/n/10 ], [] LaTeX Warning: Citation `Aubert2020b' on page 5 undefined on input line 543. LaTeX Warning: Citation `Bednarczyk1991' on page 5 undefined on input line 543. LaTeX Warning: Citation `Rabinovich1988' on page 5 undefined on input line 543. Overfull \hbox (5.3365pt too wide) in paragraph at lines 546--548 \T1/cmr/m/n/10 un-der [][][][]. [] (./2023_03_17_standalone.bbl) [5] (./2023_03_17_standalone.aux) Package rerunfilecheck Info: File `2023_03_17_standalone.out' has not changed. (rerunfilecheck) Checksum: 101FDBF63656CB8B33480691EEC01FAF;450. ) Here is how much of TeX's memory you used: 30085 strings out of 479015 554997 string characters out of 5854209 1504437 words of memory out of 5000000 47009 multiletter control sequences out of 15000+600000 423855 words of font info for 72 fonts, out of 8000000 for 9000 1141 hyphenation exceptions out of 8191 128i,14n,130p,817b,1497s stack positions out of 5000i,500n,10000p,200000b,80000s Output written on 2023_03_17_standalone.dvi (5 pages, 74980 bytes).