This is pdfTeX, Version 3.14159265-2.6-1.40.21 (TeX Live 2020) (preloaded format=latex 2021.4.16)  10 MAR 2022 16:09
entering extended mode
 restricted \write18 enabled.
 %&-line parsing enabled.
**main
(./main.tex
LaTeX2e <2020-10-01> patch level 4
L3 programming layer <2021-02-18> (./llncs.cls
Document Class: llncs 2018/03/10 v2.20 
 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.
\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
)
(./latex/packages.sty
(/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.
\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/cite/cite.sty
LaTeX Info: Redefining \cite on input line 302.
LaTeX Info: Redefining \nocite on input line 332.
Package: cite 2015/02/27  v 5.5
)
(/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/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=\toks31
\c@thmt@dummyctr=\count318

(/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=\toks32
))
(/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.

(/usr/local/texlive/2020/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty
Package: kvsetkeys 2019/12/15 v1.18 Key value parser (HO)
)
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 .

))) (/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=\toks33
\enit@inbox=\box113
\enit@count@id=\count319
\enitdp@description=\count320
)
(/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)
)
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/csquotes/csquotes.sty
Package: csquotes 2021-02-22 v5.2l context-sensitive quotations (JAW)
\csq@reset=\count321
\csq@gtype=\count322
\csq@glevel=\count323
\csq@qlevel=\count324
\csq@maxlvl=\count325
\csq@tshold=\count326
\csq@ltx@everypar=\toks34

(/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/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=\toks35
\pgfutil@tempdima=\dimen269
\pgfutil@tempdimb=\dimen270

(/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=\box114
) (/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.

(/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
))
\Gin@req@height=\dimen271
\Gin@req@width=\dimen272
)
(/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=\toks36
\pgfkeys@temptoks=\toks37

(/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.c
ode.tex
\pgfkeys@tmptoks=\toks38
))
\pgf@x=\dimen273
\pgf@y=\dimen274
\pgf@xa=\dimen275
\pgf@ya=\dimen276
\pgf@xb=\dimen277
\pgf@yb=\dimen278
\pgf@xc=\dimen279
\pgf@yc=\dimen280
\pgf@xd=\dimen281
\pgf@yd=\dimen282
\w@pgf@writea=\write3
\r@pgf@reada=\read3
\c@pgf@counta=\count327
\c@pgf@countb=\count328
\c@pgf@countc=\count329
\c@pgf@countd=\count330
\t@pgf@toka=\toks39
\t@pgf@tokb=\toks40
\t@pgf@tokc=\toks41
\pgf@sys@id@count=\count331

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

(/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=\count345
\pgfmatrixcurrentcolumn=\count346
\pgf@matrix@numberofcolumns=\count347
)
\tikz@expandcount=\count348

(/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/libraries/pgflibraryarrows.
meta.code.tex
File: pgflibraryarrows.meta.code.tex 2020/12/27 v3.1.8b (3.1.8b)
\pgfarrowinset=\dimen321
\pgfarrowlength=\dimen322
\pgfarrowwidth=\dimen323
\pgfarrowlinewidth=\dimen324
)
(/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/tikzlibrarybackgrounds.code.tex
File: tikzlibrarybackgrounds.code.tex 2020/12/27 v3.1.8b (3.1.8b)
\pgf@layerbox@background=\box125
\pgf@layerboxsaved@background=\box126
)
(/usr/local/texlive/2020/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie
s/tikzlibraryfit.code.tex
File: tikzlibraryfit.code.tex 2020/12/27 v3.1.8b (3.1.8b)
)
(/usr/local/texlive/2020/texmf-dist/tex/latex/stackengine/stackengine.sty
Package: stackengine 2017/02/13 v4.01\ Stacking text and objects in convenient 
ways

(/usr/local/texlive/2020/texmf-dist/tex/generic/listofitems/listofitems.sty
(/usr/local/texlive/2020/texmf-dist/tex/generic/listofitems/listofitems.tex
\loi_cnt_foreach_nest=\count349
\loi_nestcnt=\count350
)
Package: listofitems 2019/08/21 v1.63 Grab items in lists using user-specified 
sep char (CT)
)
\c@@stackindex=\count351
\@boxshift=\skip63
\stack@tmplength=\skip64
\temp@stkl=\skip65
\@stackedboxwidth=\skip66
\@addedbox=\box127
\@anchorbox=\box128
\stackedbox=\box129
\@centerbox=\box130
\c@ROWcellindex@=\count352
)
(/usr/local/texlive/2020/texmf-dist/tex/latex/scalerel/scalerel.sty
Package: scalerel 2016/12/29 v1.8 Routines for constrained scaling and stretchi
ng of objects, relative to a reference object or in absolute terms
\thesrwidth=\skip67
\thesrheight=\skip68
\srblobheight=\skip69
\srblobdepth=\skip70
\mnxsrwidth=\skip71
\LMex=\skip72
\LMpt=\skip73
)
(/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=\box131
)
(/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/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=\toks47
\XKV@tempa@toks=\toks48
)
\XKV@depth=\count353
File: xkeyval.tex 2014/12/03 v2.7a key=value parser (HA)
)))
\tc@llx=\dimen325
\tc@lly=\dimen326
\tc@urx=\dimen327
\tc@ury=\dimen328
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
))
(/usr/local/texlive/2020/texmf-dist/tex/latex/wasysym/wasysym.sty
Package: wasysym 2020/01/19 v2.4 Wasy-2 symbol support package
\symwasy=\mathgroup7
LaTeX Font Info:    Overwriting symbol font `wasy' in version `bold'
(Font)                  U/wasy/m/n --> U/wasy/b/n on input line 93.
LaTeX Font Info:    Redeclaring math symbol \ocircle on input line 243.
)
(/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=\dimen329
)) (/usr/local/texlive/2020/texmf-dist/tex/latex/colortbl/colortbl.sty
Package: colortbl 2020/01/04 v1.0e Color table columns (DPC)
\everycr=\toks49
\minrowclearance=\skip74
) (/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=\box132
\tcb@upperbox=\box133
\tcb@lowerbox=\box134
\tcb@phantombox=\box135
\c@tcbbreakpart=\count354
\c@tcblayer=\count355
\c@tcolorbox@number=\count356
\tcb@temp=\box136
\tcb@temp=\box137
\tcb@temp=\box138
\tcb@temp=\box139
\tcb@out=\write4
\tcb@record@out=\write5
)
(/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=\dimen330
\Hy@linkcounter=\count357
\Hy@pagecounter=\count358

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

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

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

(/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=\count361
\Field@Width=\dimen332
\Fld@charsize=\dimen333
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=\count362
\c@Item=\count363
\c@Hfootnote=\count364
)
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=\toks52
\pdf@box=\box140
\pdf@toks=\toks53
\pdf@defaulttoks=\toks54
\HyField@AnnotCount=\count365
\Fld@listcount=\count366
\c@bookmark@seq@number=\count367

(/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=\skip75
))) (./latex/macros_arrows.sty
\zigzagtextstylecontent=\box141
LaTeX Font Info:    Trying to load font information for U+wasy on input line 1.


(/usr/local/texlive/2020/texmf-dist/tex/latex/wasysym/uwasy.fd
File: uwasy.fd 2020/01/19 v2.4 Wasy-2 symbol font definitions
)
\onelinetextstylecontent=\box142
LaTeX Font Info:    Trying to load font information for U+msa on input line 2.

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

(/usr/local/texlive/2020/texmf-dist/tex/latex/amsfonts/umsb.fd
File: umsb.fd 2013/01/14 v3.01 AMS symbols B
)
LaTeX Font Info:    Trying to load font information for U+stmry on input line 2
.

(/usr/local/texlive/2020/texmf-dist/tex/latex/stmaryrd/Ustmry.fd)
\twolinetextstylecontent=\box143
\ZigZagtextstylecontent=\box144
\repwidth=\skip76
\fzigarrowtextstylecontent=\box145
\fZigarrowtextstylecontent=\box146
\flinearrowtextstylecontent=\box147
\fLinearrowtextstylecontent=\box148
\fzzigarrowtextstylecontent=\box149
\fZZigarrowtextstylecontent=\box150
\fllinearrowtextstylecontent=\box151
\fLLinearrowtextstylecontent=\box152
)
(./latex/newcommands.tex
Now handling font encoding LS2 ...
... no UTF-8 mapping file for font encoding LS2
\symlargesymbolsstix=\mathgroup8
Now handling font encoding LS1 ...
... no UTF-8 mapping file for font encoding LS1
\symstixsymbols=\mathgroup9
LaTeX Font Info:    Overwriting symbol font `stixsymbols' in version `bold'
(Font)                  LS1/stixscr/m/n --> LS1/stixscr/b/n on input line 160.
\c@notation=\count368
) (./latex/info.tex)
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'.
 (./main.aux)
\openout1 = `main.aux'.

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

(/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 15.
LaTeX Font Info:    Checking defaults for LS1/stix/m/n on input line 15.
LaTeX Font Info:    Trying to load font information for LS1+stix on input line 
15.

(/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 15.
LaTeX Info: Redefining \microtypecontext on input line 15.
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 15.
Package hyperref Info: Link coloring OFF on input line 15.

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


(/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)
)
(/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 LS2+stixex on input lin
e 17.

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

(/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 (2.51775pt too wide) in paragraph at lines 44--46
\T1/cmr/m/n/10 novel cor-rec-tion cri-te-ria for causal semantics---both re-ver
sible and ir-re-versible [[][][][]].
 []

[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.
 [2]

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


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


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

[3] [4] [5] [6]
Overfull \hbox (4.68864pt too wide) in paragraph at lines 540--546
[]\T1/cmr/bx/n/10 ((Composable) Con-cur-rency). []\T1/cmr/m/it/10 Let $\OML/cmm
/m/it/10 T$ \T1/cmr/m/it/10 be a trace $\OML/cmm/m/it/10 X[] [] [] []
 []


Overfull \hbox (25.49623pt too wide) detected at line 608
[]
 []


Overfull \hbox (22.02159pt too wide) in paragraph at lines 584--610
$[]$ $[]$ 
 []

[7] [8] [9]
Overfull \hbox (23.6438pt too wide) in paragraph at lines 873--875
[][]
 []

[10]
Overfull \hbox (1.48297pt too wide) in paragraph at lines 904--904
[]\T1/cmr/bx/n/10 (Backward tran-si-tions are con-cur-rent). [][] []\T1/cmr/m/i
t/10 Any two dif-fer-ent coini-
 []

[11]
Overfull \hbox (7.64091pt too wide) in paragraph at lines 986--990
\T1/cmr/m/n/10 strict the def-i-ni-tion of con-cur-rency for a re-versible $\OM
L/cmm/m/it/10 ^^Y$\T1/cmr/m/n/10 -calculus ex-tend-ing \T1/cmr/m/sc/10 CCSK \T1
/cmr/m/n/10 [[][][][]],
 []


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

[12] (./main.bbl [13]
Underfull \hbox (badness 1237) in paragraph at lines 19--22
\T1/cmr/m/n/9 and re-versibil-ity. J. Log. Al-gebr. Meth-ods Pro-gram. \T1/cmr/
bx/n/9 86\T1/cmr/m/n/9 (1), 77--106 (2017).
 []


Underfull \hbox (badness 1320) in paragraph at lines 37--42
[]\T1/cmr/m/n/9 Aubert, C., Medi¢, D.: Ex-plicit iden-ti-fiers and con-texts in
 re-versible con-
 []


Underfull \hbox (badness 1565) in paragraph at lines 37--42
\T1/cmr/m/n/9 cur-rent cal-cu-lus. In: Ya-mashita, S., Yokoyama, T. (eds.) Re-v
ersible Com-
 []


Underfull \hbox (badness 2617) in paragraph at lines 37--42
\T1/cmr/m/n/9 pu-ta-tion - 13th In-ter-na-tional Con-fer-ence, RC 2021, Vir-tua
l Event, July
 []


Underfull \hbox (badness 2512) in paragraph at lines 37--42
\T1/cmr/m/n/9 7-8, 2021, Pro-ceed-ings. LNCS, vol. 12805, pp. 144--162. Springe
r (2021).
 []


Underfull \hbox (badness 1831) in paragraph at lines 44--49
[]\T1/cmr/m/n/9 Aubert, C., Varacca, D.: Pro-cesses, sys-tems & tests: Defin-in
g con-tex-tual
 []


Underfull \hbox (badness 1527) in paragraph at lines 44--49
\T1/cmr/m/n/9 ceed-ings 14th In-ter-ac-tion and Con-cur-rency Ex-pe-ri-ence, On
-line, 18th June
 []


Underfull \hbox (badness 3612) in paragraph at lines 44--49
\T1/cmr/m/n/9 2021. EPTCS, vol. 347, pp. 1--21. Open Pub-lish-ing As-so-ci-a-ti
on (2021).
 []


Underfull \hbox (badness 6236) in paragraph at lines 65--73
[]\T1/cmr/m/n/9 Carabetta, G., Degano, P., Gad-ducci, F.: CCS se-man-tics via p
roved
 []


Underfull \hbox (badness 5741) in paragraph at lines 65--73
\T1/cmr/m/n/9 tran-si-tion sys-tems and rewrit-ing logic. In: Kirch-ner, C., Ki
rch-ner, H.
 []


Underfull \hbox (badness 2608) in paragraph at lines 65--73
\T1/cmr/m/n/9 (eds.) 1998 In-ter-na-tional Work-shop on Rewrit-ing Logic and it
s Ap-pli-ca-
 []


Underfull \hbox (badness 3364) in paragraph at lines 65--73
\T1/cmr/m/n/9 tions, WRLA 1998, Ab-baye des Pré-mon-trés at Pont-à-Mousson, Fra
nce,
 []


Underfull \hbox (badness 1867) in paragraph at lines 65--73
\T1/cmr/m/n/9 Septem-ber 1998. Elec-tron. Notes Theor. Com-put. Sci., vol. 15, 
pp. 369--
 []


Underfull \hbox (badness 10000) in paragraph at lines 65--73
\T1/cmr/m/n/9 387. El-se-vier (1998). [][][][],
 []


Overfull \hbox (149.30151pt too wide) in paragraph at lines 65--73
[][][][] 
 []

[14]
Underfull \hbox (badness 10000) in paragraph at lines 106--109
[]\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 106--109
\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 10000) in paragraph at lines 148--151
[]\T1/cmr/m/n/9 Lanese, I., Mezzina, C.A., Ste-fani, J.: Re-versibil-ity in the

 []


Underfull \hbox (badness 10000) in paragraph at lines 148--151
\T1/cmr/m/n/9 higher-order $\OML/cmm/m/it/9 ^^Y$\T1/cmr/m/n/9 -calculus. Theor.
 Com-put. Sci. \T1/cmr/bx/n/9 625\T1/cmr/m/n/9 , 25--84 (2016).
 []

[15]
Underfull \hbox (badness 10000) in paragraph at lines 169--172
[]\T1/cmr/m/n/9 Medi¢, D., Mezzina, C.A., Phillips, I., Yoshida, N.: A para-met
-ric
 []


Underfull \hbox (badness 10000) in paragraph at lines 169--172
\T1/cmr/m/n/9 frame-work for re-versible $\OML/cmm/m/it/9 ^^Y$\T1/cmr/m/n/9 -ca
lculi. Inf. Com-put. \T1/cmr/bx/n/9 275\T1/cmr/m/n/9 , 104644 (2020).
 []


Underfull \hbox (badness 10000) in paragraph at lines 174--180
[]\T1/cmr/m/n/9 Mezzina, C.A., Koutavas, V.: A safety and live-ness the-ory for
 to-
 []


Underfull \hbox (badness 4291) in paragraph at lines 174--180
\T1/cmr/m/n/9 tal re-versibil-ity. In: Mal-let, F., Zhang, M., Made-laine, E. (
eds.) 11th
 []


Underfull \hbox (badness 10000) in paragraph at lines 174--180
\T1/cmr/m/n/9 In-ter-na-tional Sym-po-sium on The-o-ret-i-cal As-pects of Soft-
ware En-
 []


Underfull \hbox (badness 10000) in paragraph at lines 174--180
\T1/cmr/m/n/9 gi-neer-ing, TASE 2017, Sophia An-tipo-lis, France, Septem-ber 13
-15.
 []


Underfull \hbox (badness 10000) in paragraph at lines 174--180
\T1/cmr/m/n/9 pp. 1--8. IEEE (2017). [][][][],
 []


Underfull \hbox (badness 10000) in paragraph at lines 186--189
[]\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 186--189
\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),
 []


Underfull \hbox (badness 10000) in paragraph at lines 191--194
[]\T1/cmr/m/n/9 Phillips, I., Uli-d-owski, I.: Re-versibil-ity and mod-els for 
con-cur-
 []


Underfull \hbox (badness 10000) in paragraph at lines 191--194
\T1/cmr/m/n/9 rency. Elec-tron. Notes Theor. Com-put. Sci. \T1/cmr/bx/n/9 192\T
1/cmr/m/n/9 (1), 93--108 (2007).
 []


Underfull \hbox (badness 10000) in paragraph at lines 204--207
[]\T1/cmr/m/n/9 Sassone, V., Nielsen, M., Winskel, G.: Mod-els for con-cur-renc
y: To-
 []


Underfull \hbox (badness 7030) in paragraph at lines 204--207
\T1/cmr/m/n/9 wards a clas-si-fi-ca-tion. Theor. Com-put. Sci. \T1/cmr/bx/n/9 1
70\T1/cmr/m/n/9 (1-2), 297--348 (1996).
 []

) [16] (./appendix.tex [17

] [18] [19] [20] [21]
Overfull \hbox (11.5494pt too wide) in paragraph at lines 248--251
[]\T1/cmr/m/n/10 Since $\OML/cmm/m/it/10 t[]$ \T1/cmr/m/n/10 and $\OML/cmm/m/it
/10 t[]$ \T1/cmr/m/n/10 are con-cur-rent, by [][][][]
 []


Overfull \hbox (11.54887pt too wide) in paragraph at lines 255--258
[]\T1/cmr/m/n/10 Since $\OML/cmm/m/it/10 t[]$ \T1/cmr/m/n/10 and $\OML/cmm/m/it
/10 t[]$ \T1/cmr/m/n/10 are con-cur-rent, by [][][][]
 []


Overfull \hbox (11.54991pt too wide) in paragraph at lines 259--261
[]\T1/cmr/m/n/10 Since $\OML/cmm/m/it/10 t[]$ \T1/cmr/m/n/10 and $\OML/cmm/m/it
/10 t[]$ \T1/cmr/m/n/10 are con-cur-rent, by [][][][]
 []

[22] [23]) (./comparison.tex

LaTeX Font Warning: Font shape `U/stmry/b/n' undefined
(Font)              using `U/stmry/m/n' instead on input line 22.


LaTeX Font Warning: Font shape `U/wasy/b/n' in size <7> not available
(Font)              Font shape `U/wasy/m/n' tried instead on input line 22.


LaTeX Font Warning: Font shape `U/wasy/b/n' in size <5> not available
(Font)              Font shape `U/wasy/m/n' tried instead on input line 22.


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


Overfull \hbox (10.38925pt too wide) in paragraph at lines 45--48
[]\T1/cmr/bx/n/10 (Structural causal-ity [[][][][], Def-i-ni-tion 22]). \T1/cmr
/m/it/10 In $\OML/cmm/m/it/10 t[]\OT1/cmr/m/n/10 ; \OML/cmm/m/it/10 t[] \OT1/cm
r/m/n/10 : \OML/cmm/m/it/10 X []
 []

[24] [25] [26]

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


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

[27]

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

[28]
Package hyperref Info: bookmark level for unknown notation defaults to 0 on inp
ut line 253.

Overfull \hbox (1.53735pt too wide) in paragraph at lines 268--318
[]\T1/cmr/m/n/10 The for-ward and back-ward LTS for \T1/cmr/m/sc/10 RCCS\T1/cmr
/m/n/10 , that we de-note $[]\OT1/cmr/m/n/10 =[] \OMS/cmsy/m/n/10 [ []$\T1/cmr/
m/n/10 ,
 []

[29]
Overfull \hbox (0.23589pt too wide) in paragraph at lines 351--354
[]\T1/cmr/bx/n/10 (Concurrency on com-pos-able tran-si-tions in \T1/cmr/bx/sc/1
0 RCCS\T1/cmr/bx/n/10 ). []\T1/cmr/m/it/10 Two
 []

[30]
Overfull \hbox (11.11566pt too wide) in paragraph at lines 378--381
[][][][] \T1/cmr/m/n/10 rule, we keep it, but re-move the [][][][]
 []


Overfull \hbox (2.88249pt too wide) in paragraph at lines 439--442
[]\T1/cmr/bx/n/10 (Dependency re-la-tion). []\T1/cmr/m/it/10 The \T1/cmr/m/n/10
 de-pen-dency re-la-tion \T1/cmr/m/it/10 on en-hanced
 []

[31] [32] [33] [34]) [35] (./main.aux)

LaTeX Font Warning: Some font shapes were not available, defaults substituted.

Package rerunfilecheck Info: File `main.out' has not changed.
(rerunfilecheck)             Checksum: B8CE132FBA20706D89F56189E0D37B97;285.
 ) 
Here is how much of TeX's memory you used:
 31441 strings out of 479015
 596090 string characters out of 5854209
 1137914 words of memory out of 5000000
 48263 multiletter control sequences out of 15000+600000
 437203 words of font info for 108 fonts, out of 8000000 for 9000
 1141 hyphenation exceptions out of 8191
 128i,19n,155p,1092b,878s stack positions out of 5000i,500n,10000p,200000b,80000s

Output written on main.dvi (35 pages, 1271060 bytes).