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).