This is pdfTeX, Version 3.14159265-2.6-1.40.21 (TeX Live 2020) (preloaded format=latex 2021.4.16)  31 JUL 2023 17:54
entering extended mode
 restricted \write18 enabled.
 %&-line parsing enabled.
**2023_07_31_standalone
(./2023_07_31_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/ebproof/ebproof.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
))
(/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)))
Package: ebproof 2021/01/28 v2.1.1 EB's proof trees
\l__ebproof_separation_dim=\dimen182
\l__ebproof_rule_margin_dim=\dimen183
\l__ebproof_rule_thickness_dim=\dimen184
\l__ebproof_rule_separation_dim=\dimen185
\l__ebproof_rule_dash_length_dim=\dimen186
\l__ebproof_rule_dash_space_dim=\dimen187
\l__ebproof_label_separation_dim=\dimen188
\l__ebproof_label_axis_dim=\dimen189
\g__ebproof_register_int=\count307
\l__ebproof_transit_dim=\dimen190
\g__ebproof_level_int=\count308
\g__ebproof_stack_box=\box101
\l__ebproof_1_box=\box102
\l__ebproof_2_box=\box103
\l__ebproof_3_box=\box104
\l__ebproof_4_box=\box105
) (/usr/local/texlive/2020/texmf-dist/tex/latex/fnpct/fnpct.sty
(/usr/local/texlive/2020/texmf-dist/tex/latex/l3packages/l3keys2e/l3keys2e.sty
Package: l3keys2e 2021-03-12 LaTeX2e option processing using LaTeX3 keys
)
Package: fnpct 2021/01/21 v1.0 footnote kerning
\l__fnpct_collection_int=\count309
\l__fnpct_before_footnote_dim=\dimen191
\l__fnpct_before_dot_dim=\dimen192
\l__fnpct_after_dot_dim=\dimen193
\l__fnpct_before_comma_dim=\dimen194
\l__fnpct_after_comma_dim=\dimen195
\l__fnpct_before_collect_dim=\dimen196
\l__fnpct_after_collect_dim=\dimen197
(/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=\count310
)
(/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/tabu/tabu.sty
Package: tabu 2019/01/11 v2.9 - flexible LaTeX tabulars (FC+tabu-fixed)

(/usr/local/texlive/2020/texmf-dist/tex/latex/tools/array.sty
Package: array 2020/10/01 v2.5c Tabular extension package (FMi)
\col@sep=\dimen198
\ar@mcellbox=\box106
\extrarowheight=\dimen199
\NC@list=\toks28
\extratabsurround=\skip59
\backup@length=\skip60
\ar@cellbox=\box107
)
(/usr/local/texlive/2020/texmf-dist/tex/latex/varwidth/varwidth.sty
Package: varwidth 2009/03/30 ver 0.92;  Variable-width minipages
\@vwid@box=\box108
\sift@deathcycles=\count311
\@vwid@loff=\dimen256
\@vwid@roff=\dimen257
)
\c@taburow=\count312
\tabu@nbcols=\count313
\tabu@cnt=\count314
\tabu@Xcol=\count315
\tabu@alloc=\count316
\tabu@nested=\count317
\tabu@target=\dimen258
\tabu@spreadtarget=\dimen259
\tabu@naturalX=\dimen260
\tabucolX=\dimen261
\tabu@Xsum=\dimen262
\extrarowdepth=\dimen263
\abovetabulinesep=\dimen264
\belowtabulinesep=\dimen265
\tabustrutrule=\dimen266
\tabu@thebody=\toks29
\tabu@footnotes=\toks30
\tabu@box=\box109
\tabu@arstrutbox=\box110
\tabu@hleads=\box111
\tabu@vleads=\box112
\tabu@cellskip=\skip61
)
(/usr/local/texlive/2020/texmf-dist/tex/latex/stmaryrd/stmaryrd.sty
Package: stmaryrd 1994/03/03 St Mary's Road symbol package
\symstmry=\mathgroup6
LaTeX Font Info:    Overwriting symbol font `stmry' in version `bold'
(Font)                  U/stmry/m/n --> U/stmry/b/n on input line 89.
)
(/usr/local/texlive/2020/texmf-dist/tex/latex/enumitem/enumitem.sty
Package: enumitem 2019/06/20 v3.9 Customized lists
\labelindent=\skip62
\enit@outerparindent=\dimen267
\enit@toks=\toks31
\enit@inbox=\box113
\enit@count@id=\count318
\enitdp@description=\count319
)
(/usr/local/texlive/2020/texmf-dist/tex/latex/cases/cases.sty
Package: cases 2020/03/29 ver 3.2
\numc@numwid=\dimen268
)
(/usr/local/texlive/2020/texmf-dist/tex/latex/isomath/isomath.sty
Package: isomath 2012/09/04 v0.6.1 ISO math style

(/usr/local/texlive/2020/texmf-dist/tex/latex/was/fixmath.sty
Package: fixmath 2000/04/11 v0.9 (WaS)
LaTeX Font Info:    Redeclaring math symbol \Gamma on input line 27.
LaTeX Font Info:    Redeclaring math symbol \Delta on input line 28.
LaTeX Font Info:    Redeclaring math symbol \Theta on input line 29.
LaTeX Font Info:    Redeclaring math symbol \Lambda on input line 30.
LaTeX Font Info:    Redeclaring math symbol \Xi on input line 31.
LaTeX Font Info:    Redeclaring math symbol \Pi on input line 32.
LaTeX Font Info:    Redeclaring math symbol \Sigma on input line 33.
LaTeX Font Info:    Redeclaring math symbol \Upsilon on input line 34.
LaTeX Font Info:    Redeclaring math symbol \Phi on input line 35.
LaTeX Font Info:    Redeclaring math symbol \Psi on input line 36.
LaTeX Font Info:    Redeclaring math symbol \Omega on input line 37.
LaTeX Font Info:    Redeclaring math symbol \alpha on input line 38.
LaTeX Font Info:    Redeclaring math symbol \beta on input line 39.
LaTeX Font Info:    Redeclaring math symbol \gamma on input line 40.
LaTeX Font Info:    Redeclaring math symbol \delta on input line 41.
LaTeX Font Info:    Redeclaring math symbol \epsilon on input line 42.
LaTeX Font Info:    Redeclaring math symbol \zeta on input line 43.
LaTeX Font Info:    Redeclaring math symbol \eta on input line 44.
LaTeX Font Info:    Redeclaring math symbol \theta on input line 45.
LaTeX Font Info:    Redeclaring math symbol \iota on input line 46.
LaTeX Font Info:    Redeclaring math symbol \kappa on input line 47.
LaTeX Font Info:    Redeclaring math symbol \lambda on input line 48.
LaTeX Font Info:    Redeclaring math symbol \mu on input line 49.
LaTeX Font Info:    Redeclaring math symbol \nu on input line 50.
LaTeX Font Info:    Redeclaring math symbol \xi on input line 51.
LaTeX Font Info:    Redeclaring math symbol \pi on input line 52.
LaTeX Font Info:    Redeclaring math symbol \rho on input line 53.
LaTeX Font Info:    Redeclaring math symbol \sigma on input line 54.
LaTeX Font Info:    Redeclaring math symbol \tau on input line 55.
LaTeX Font Info:    Redeclaring math symbol \upsilon on input line 56.
LaTeX Font Info:    Redeclaring math symbol \phi on input line 57.
LaTeX Font Info:    Redeclaring math symbol \chi on input line 58.
LaTeX Font Info:    Redeclaring math symbol \psi on input line 59.
LaTeX Font Info:    Redeclaring math symbol \omega on input line 60.
LaTeX Font Info:    Redeclaring math symbol \varepsilon on input line 61.
LaTeX Font Info:    Redeclaring math symbol \vartheta on input line 62.
LaTeX Font Info:    Redeclaring math symbol \varpi on input line 63.
LaTeX Font Info:    Redeclaring math symbol \varphi on input line 64.
LaTeX Font Info:    Redeclaring math symbol \varrho on input line 65.
LaTeX Font Info:    Redeclaring math symbol \varsigma on input line 66.
)
(/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)

(/usr/local/texlive/2020/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty
Package: kvsetkeys 2019/12/15 v1.18 Key value parser (HO)
))
LaTeX Font Info:    Overwriting math alphabet `\mathsfit' in version `bold'
(Font)                  OML/cmbr/m/it --> OML/cmbr/bx/it on input line 201.
)
(/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/colortbl/colortbl.sty
Package: colortbl 2020/01/04 v1.0e Color table columns (DPC)
\everycr=\toks32
\minrowclearance=\skip63
)
(/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/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)
)
\@linkdim=\dimen269
\Hy@linkcounter=\count320
\Hy@pagecounter=\count321

(/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=\count322

(/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=\count323

(/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=\dimen270

(/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=\count324
\Field@Width=\dimen271
\Fld@charsize=\dimen272
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=\count325
\c@Item=\count326
\c@Hfootnote=\count327
)
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=\toks33
\pdf@box=\box114
\pdf@toks=\toks34
\pdf@defaulttoks=\toks35
\HyField@AnnotCount=\count328
\Fld@listcount=\count329
\c@bookmark@seq@number=\count330

(/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=\skip64
)) (/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=\toks36
\pgfutil@tempdima=\dimen273
\pgfutil@tempdimb=\dimen274

(/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=\box115
) (/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=\dimen275
\Gin@req@width=\dimen276
)
(/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=\toks37
\pgfkeys@temptoks=\toks38

(/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.c
ode.tex
\pgfkeys@tmptoks=\toks39
))
\pgf@x=\dimen277
\pgf@y=\dimen278
\pgf@xa=\dimen279
\pgf@ya=\dimen280
\pgf@xb=\dimen281
\pgf@yb=\dimen282
\pgf@xc=\dimen283
\pgf@yc=\dimen284
\pgf@xd=\dimen285
\pgf@yd=\dimen286
\w@pgf@writea=\write3
\r@pgf@reada=\read3
\c@pgf@counta=\count331
\c@pgf@countb=\count332
\c@pgf@countc=\count333
\c@pgf@countd=\count334
\t@pgf@toka=\toks40
\t@pgf@tokb=\toks41
\t@pgf@tokc=\toks42
\pgf@sys@id@count=\count335

(/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=\count336
)))
(/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=\count337
\pgfsyssoftpath@bigbuffer@items=\count338
)
(/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=\dimen287
\pgfmath@count=\count339
\pgfmath@box=\box116
\pgfmath@toks=\toks43
\pgfmath@stack@operand=\toks44
\pgfmath@stack@operation=\toks45
)
(/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=\count340
)) (/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=\dimen288
\pgf@picmaxx=\dimen289
\pgf@picminy=\dimen290
\pgf@picmaxy=\dimen291
\pgf@pathminx=\dimen292
\pgf@pathmaxx=\dimen293
\pgf@pathminy=\dimen294
\pgf@pathmaxy=\dimen295
\pgf@xx=\dimen296
\pgf@xy=\dimen297
\pgf@yx=\dimen298
\pgf@yy=\dimen299
\pgf@zx=\dimen300
\pgf@zy=\dimen301
)
(/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=\dimen302
\pgf@path@lasty=\dimen303
)
(/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=\dimen304
\pgf@shorten@start@additional=\dimen305
)
(/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=\box117
\pgf@hbox=\box118
\pgf@layerbox@main=\box119
\pgf@picture@serial@count=\count341
)
(/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=\dimen306
)
(/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=\dimen307
\pgf@pt@y=\dimen308
\pgf@pt@temp=\dimen309
)
(/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=\dimen310
)
(/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=\dimen311
\pgf@sys@shading@range@num=\count342
\pgf@shadingcount=\count343
)
(/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=\box120
))
(/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=\box121
)
(/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=\dimen312
\pgf@nodesepend=\dimen313
)
(/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=\dimen314
\pgffor@skip=\dimen315
\pgffor@stack=\toks46
\pgffor@toks=\toks47
))
(/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=\count344
\pgfplotmarksize=\dimen316
)
\tikz@lastx=\dimen317
\tikz@lasty=\dimen318
\tikz@lastxsaved=\dimen319
\tikz@lastysaved=\dimen320
\tikz@lastmovetox=\dimen321
\tikz@lastmovetoy=\dimen322
\tikzleveldistance=\dimen323
\tikzsiblingdistance=\dimen324
\tikz@figbox=\box122
\tikz@figbox@bg=\box123
\tikz@tempbox=\box124
\tikz@tempbox@bg=\box125
\tikztreelevel=\count345
\tikznumberofchildren=\count346
\tikznumberofcurrentchild=\count347
\tikz@fig@count=\count348

(/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=\count349
\pgfmatrixcurrentcolumn=\count350
\pgf@matrix@numberofcolumns=\count351
)
\tikz@expandcount=\count352

(/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=\count353
)
\pgf@lib@svg@last@x=\dimen325
\pgf@lib@svg@last@y=\dimen326
\pgf@lib@svg@last@c@x=\dimen327
\pgf@lib@svg@last@c@y=\dimen328
\pgf@lib@svg@count=\count354
\pgf@lib@svg@max@num=\count355
))
\@curXheight=\skip65
) (/usr/local/texlive/2020/texmf-dist/tex/latex/lineno/lineno.sty
Package: lineno 2005/11/02 line numbers on paragraphs v4.41
\linenopenalty=\count356
\output=\toks48
\linenoprevgraf=\count357
\linenumbersep=\dimen329
\linenumberwidth=\dimen330
\c@linenumber=\count358
\c@pagewiselinenumber=\count359
\c@LN@truepage=\count360
\c@internallinenumber=\count361
\c@internallinenumbers=\count362
\quotelinenumbersep=\dimen331
\bframerule=\dimen332
\bframesep=\dimen333
\bframebox=\box126
LaTeX Info: Redefining \\ on input line 3056.
)
(/usr/local/texlive/2020/texmf-dist/tex/latex/csquotes/csquotes.sty
Package: csquotes 2021-02-22 v5.2l context-sensitive quotations (JAW)
\csq@reset=\count363
\csq@gtype=\count364
\csq@glevel=\count365
\csq@qlevel=\count366
\csq@maxlvl=\count367
\csq@tshold=\count368
\csq@ltx@everypar=\toks49

(/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/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/tikzlibrarydecorations.pathmorphing.code.tex
(/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie
s/tikzlibrarydecorations.code.tex
(/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/modules/pgfmoduledecoration
s.code.tex
\pgfdecoratedcompleteddistance=\dimen334
\pgfdecoratedremainingdistance=\dimen335
\pgfdecoratedinputsegmentcompleteddistance=\dimen336
\pgfdecoratedinputsegmentremainingdistance=\dimen337
\pgf@decorate@distancetomove=\dimen338
\pgf@decorate@repeatstate=\count369
\pgfdecorationsegmentamplitude=\dimen339
\pgfdecorationsegmentlength=\dimen340
)
\tikz@lib@dec@box=\box127
)
(/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/libraries/decorations/pgfli
brarydecorations.pathmorphing.code.tex))
(/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie
s/tikzlibraryshapes.code.tex
File: tikzlibraryshapes.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.geometric.code.tex
File: tikzlibraryshapes.geometric.code.tex 2020/12/27 v3.1.8b (3.1.8b)

(/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibrary
shapes.geometric.code.tex
File: pgflibraryshapes.geometric.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.misc.code.tex
File: tikzlibraryshapes.misc.code.tex 2020/12/27 v3.1.8b (3.1.8b)

(/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibrary
shapes.misc.code.tex
File: pgflibraryshapes.misc.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/tikzlibraryshapes.arrows.code.tex
File: tikzlibraryshapes.arrows.code.tex 2020/12/27 v3.1.8b (3.1.8b)

(/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibrary
shapes.arrows.code.tex
File: pgflibraryshapes.arrows.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.callouts.code.tex
(/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibrary
shapes.callouts.code.tex))
(/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie
s/tikzlibraryshapes.multipart.code.tex
File: tikzlibraryshapes.multipart.code.tex 2020/12/27 v3.1.8b (3.1.8b)

(/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibrary
shapes.multipart.code.tex
File: pgflibraryshapes.multipart.code.tex 2020/12/27 v3.1.8b (3.1.8b)
\pgfnodepartlowerbox=\box128
\pgfnodeparttwobox=\box129
\pgfnodepartthreebox=\box130
\pgfnodepartfourbox=\box131
\pgfnodeparttwentybox=\box132
\pgfnodepartnineteenbox=\box133
\pgfnodeparteighteenbox=\box134
\pgfnodepartseventeenbox=\box135
\pgfnodepartsixteenbox=\box136
\pgfnodepartfifteenbox=\box137
\pgfnodepartfourteenbox=\box138
\pgfnodepartthirteenbox=\box139
\pgfnodeparttwelvebox=\box140
\pgfnodepartelevenbox=\box141
\pgfnodeparttenbox=\box142
\pgfnodepartninebox=\box143
\pgfnodeparteightbox=\box144
\pgfnodepartsevenbox=\box145
\pgfnodepartsixbox=\box146
\pgfnodepartfivebox=\box147
)))
(/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie
s/tikzlibrarypositioning.code.tex
File: tikzlibrarypositioning.code.tex 2020/12/27 v3.1.8b (3.1.8b)
)
(/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie
s/tikzlibraryarrows.code.tex
File: tikzlibraryarrows.code.tex 2020/12/27 v3.1.8b (3.1.8b)

(/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.
code.tex
File: pgflibraryarrows.code.tex 2020/12/27 v3.1.8b (3.1.8b)
\arrowsize=\dimen341
))
(/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.
meta.code.tex
File: pgflibraryarrows.meta.code.tex 2020/12/27 v3.1.8b (3.1.8b)
\pgfarrowinset=\dimen342
\pgfarrowlength=\dimen343
\pgfarrowwidth=\dimen344
\pgfarrowlinewidth=\dimen345
)
(/usr/local/texlive/2020/texmf-dist/tex/latex/tcolorbox/tcolorbox.sty
Package: tcolorbox 2020/10/09 version 4.42 text color boxes

(/usr/local/texlive/2020/texmf-dist/tex/latex/tools/verbatim.sty
Package: verbatim 2020-07-07 v1.5u LaTeX2e package for verbatim enhancements
\every@verbatim=\toks50
\verbatim@line=\toks51
\verbatim@in@stream=\read4
)
(/usr/local/texlive/2020/texmf-dist/tex/latex/environ/environ.sty
Package: environ 2014/05/04 v0.3 A new way to define environments

(/usr/local/texlive/2020/texmf-dist/tex/latex/trimspaces/trimspaces.sty
Package: trimspaces 2009/09/17 v1.1 Trim spaces around a token list
))
\tcb@titlebox=\box148
\tcb@upperbox=\box149
\tcb@lowerbox=\box150
\tcb@phantombox=\box151
\c@tcbbreakpart=\count370
\c@tcblayer=\count371
\c@tcolorbox@number=\count372
\tcb@temp=\box152
\tcb@temp=\box153
\tcb@temp=\box154
\tcb@temp=\box155
\tcb@out=\write4
\tcb@record@out=\write5
)
\c@sarrow=\count373
Now handling font encoding LS2 ...
... no UTF-8 mapping file for font encoding LS2
\symlargesymbolsstix=\mathgroup7
Now handling font encoding LS1 ...
... no UTF-8 mapping file for font encoding LS1
\symstixsymbols=\mathgroup8
LaTeX Font Info:    Overwriting symbol font `stixsymbols' in version `bold'
(Font)                  LS1/stixscr/m/n --> LS1/stixscr/b/n on input line 509.
\c@notation=\count374

(/usr/local/texlive/2020/texmf-dist/tex/latex/thmtools/thm-restate.sty
Package: thm-restate 2020/08/01 v0.72

(/usr/local/texlive/2020/texmf-dist/tex/latex/thmtools/thmtools.sty
Package: thmtools 2020/08/01 v0.72
\thmt@toks=\toks52
\c@thmt@dummyctr=\count375

(/usr/local/texlive/2020/texmf-dist/tex/latex/thmtools/thm-patch.sty
Package: thm-patch 2020/08/01 v0.72

(/usr/local/texlive/2020/texmf-dist/tex/latex/thmtools/parseargs.sty
Package: parseargs 2020/08/01 v0.72
\@parsespec=\toks53
))
(/usr/local/texlive/2020/texmf-dist/tex/latex/thmtools/thm-kv.sty
Package: thm-kv 2020/08/01 v0.72
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/local/texlive/2020/texmf-dist/tex/latex/thmtools/thm-autoref.sty
Package: thm-autoref 2020/08/01 v0.72

(/usr/local/texlive/2020/texmf-dist/tex/latex/thmtools/aliasctr.sty
Package: aliasctr 2020/08/01 v0.72
))
(/usr/local/texlive/2020/texmf-dist/tex/latex/thmtools/thm-listof.sty
Package: thm-listof 2020/08/01 v0.72
)
(/usr/local/texlive/2020/texmf-dist/tex/latex/thmtools/thm-llncs.sty
Package: thm-llncs 2020/08/01 v0.72


Package thmtools Warning: LLNCS support disables automatic casing of theorem na
mes .

)))
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_07_31_standalone.aux)
\openout1 = `2023_07_31_standalone.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 545.
LaTeX Font Info:    ... okay on input line 545.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 545.
LaTeX Font Info:    ... okay on input line 545.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 545.
LaTeX Font Info:    ... okay on input line 545.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 545.
LaTeX Font Info:    ... okay on input line 545.
LaTeX Font Info:    Checking defaults for TS1/cmr/m/n on input line 545.
LaTeX Font Info:    ... okay on input line 545.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 545.
LaTeX Font Info:    ... okay on input line 545.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 545.
LaTeX Font Info:    ... okay on input line 545.
LaTeX Font Info:    Checking defaults for PD1/pdf/m/n on input line 545.
LaTeX Font Info:    ... okay on input line 545.
LaTeX Font Info:    Checking defaults for PU/pdf/m/n on input line 545.
LaTeX Font Info:    ... okay on input line 545.
LaTeX Font Info:    Checking defaults for LS2/stix/m/n on input line 545.
LaTeX Font Info:    Trying to load font information for LS2+stix on input line 
545.

(/usr/local/texlive/2020/texmf-dist/tex/latex/stix/ls2stix.fd
File: ls2stix.fd 2015/04/17 v1.1.2-latex STIX LS2 font definitions
)
LaTeX Font Info:    ... okay on input line 545.
LaTeX Font Info:    Checking defaults for LS1/stix/m/n on input line 545.
LaTeX Font Info:    Trying to load font information for LS1+stix on input line 
545.

(/usr/local/texlive/2020/texmf-dist/tex/latex/stix/ls1stix.fd
File: ls1stix.fd 2015/04/17 v1.1.2-latex STIX LS1 font definitions
)
LaTeX Font Info:    ... okay on input line 545.
LaTeX Info: Redefining \microtypecontext on input line 545.
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 545.
Package hyperref Info: Link coloring OFF on input line 545.

(/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=\count376
)
LaTeX Info: Redefining \ref on input line 545.
LaTeX Info: Redefining \pageref on input line 545.
LaTeX Info: Redefining \nameref on input line 545.
 (./2023_07_31_standalone.out) (./2023_07_31_standalone.out)
\@outlinefile=\write6
\openout6 = `2023_07_31_standalone.out'.

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

(/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 548
.

(/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)
)
LaTeX Font Info:    Trying to load font information for U+stmry on input line 5
48.

(/usr/local/texlive/2020/texmf-dist/tex/latex/stmaryrd/Ustmry.fd)
LaTeX Font Info:    Trying to load font information for LS2+stixex on input lin
e 548.

(/usr/local/texlive/2020/texmf-dist/tex/latex/stix/ls2stixex.fd
File: ls2stixex.fd 2015/04/17 v1.1.2-latex STIX extentions LS2 font definitions

)
LaTeX Font Info:    Trying to load font information for LS1+stixscr on input li
ne 548.

(/usr/local/texlive/2020/texmf-dist/tex/latex/stix/ls1stixscr.fd
File: ls1stixscr.fd 2015/04/17 v1.1.2-latex STIX script LS1 font definitions
)
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.

Overfull \hbox (4.4145pt too wide) in paragraph at lines 577--578
\T1/cmr/m/n/10 systems---\T1/cmr/m/sc/10 CCSK \T1/cmr/m/n/10 [[],[]]---endowed 
with an orig-i-nal def-i-ni-tion of con-cur-rency [[],[]],
 []

[1

]
Package microtype Info: Loading generic protrusion settings for font family
(microtype)             `cmss' (encoding: OT1).
(microtype)             For optimal results, create family-specific settings.
(microtype)             See the microtype manual for details.


LaTeX Font Warning: Font shape `T1/cmr/m/scit' undefined
(Font)              using `T1/cmr/m/sc' instead on input line 593.

[2] [3]
Overfull \hbox (11.53065pt too wide) in paragraph at lines 794--810
[]$[]$$[]$ 
 []

[4] [5]
Overfull \hbox (118.2256pt too wide) in paragraph at lines 864--865
\T1/cmr/m/n/10 tional Sci-ence Foun-da-tion un-der [][][][]. 
 []

(./2023_07_31_standalone.bbl
Underfull \hbox (badness 10000) in paragraph at lines 43--46
[]\T1/cmr/m/n/9 Degano, P., Pri-ami, C.: Non-interleaving se-man-tics for mo-
 []


Underfull \hbox (badness 10000) in paragraph at lines 43--46
\T1/cmr/m/n/9 bile pro-cesses. Theor. Com-put. Sci. \T1/cmr/bx/n/9 216\T1/cmr/m
/n/9 (1-2), 237--270 (1999).
 []


Underfull \hbox (badness 7047) in paragraph at lines 62--66
[]\T1/cmr/m/n/9 Lanese, I., Phillips, I.C.C., Uli-d-owski, I.: An ax-iomatic ap
-proach to
 []


Underfull \hbox (badness 10000) in paragraph at lines 62--66
\T1/cmr/m/n/9 re-versible com-pu-ta-tion. In: Goubault-Larrecq, J., König, B. (
eds.)
 []


Underfull \hbox (badness 10000) in paragraph at lines 62--66
\T1/cmr/m/n/9 FOS-SACS 2020. LNCS, vol. 12077, pp. 442--461. Springer (2020).
 []


Underfull \hbox (badness 10000) in paragraph at lines 72--75
[]\T1/cmr/m/n/9 Palamidessi, C., Va-len-cia, F.D.: Re-cur-sion vs repli-ca-tion
 in pro-
 []


Underfull \hbox (badness 10000) in paragraph at lines 72--75
\T1/cmr/m/n/9 cess cal-culi: Ex-pres-sive-ness. Bull. EATCS \T1/cmr/bx/n/9 87\T
1/cmr/m/n/9 , 105--125 (2005),
 []

[6]) [7] [8

] [9] (./2023_07_31_standalone.aux)
Package rerunfilecheck Info: File `2023_07_31_standalone.out' has not changed.
(rerunfilecheck)             Checksum: 67A781030BE934EF946A759AA6FDE9CA;362.
 ) 
Here is how much of TeX's memory you used:
 33158 strings out of 479015
 663352 string characters out of 5854209
 1120296 words of memory out of 5000000
 49997 multiletter control sequences out of 15000+600000
 428606 words of font info for 86 fonts, out of 8000000 for 9000
 1141 hyphenation exceptions out of 8191
 128i,24n,130p,541b,1303s stack positions out of 5000i,500n,10000p,200000b,80000s

Output written on 2023_07_31_standalone.dvi (9 pages, 161804 bytes).