--- a/thys2/Journal/root.log Mon Nov 01 10:52:44 2021 +0000
+++ b/thys2/Journal/root.log Tue Nov 02 13:57:59 2021 +0000
@@ -1,4 +1,4 @@
-This is LuaTeX, Version 1.07.0 (TeX Live 2018) (format=lualatex 2019.2.7) 1 NOV 2021 09:38
+This is LuaTeX, Version 1.07.0 (TeX Live 2018) (format=lualatex 2019.2.7) 1 NOV 2021 11:19
restricted system commands enabled.
**root.tex
(./root.tex
@@ -34,7 +34,7 @@
'.
Inserting `luaotfload.rewrite_fontname' at position 4 in `luaotfload.patch_font'
.
-luaotfload | main : initialization completed in 0.091 seconds
+luaotfload | main : initialization completed in 0.120 seconds
Babel <3.18> and hyphenation patterns for 1 language(s) loaded.
(./llncs.cls
Document Class: llncs 2002/01/28 v2.13
@@ -1580,147 +1580,147 @@
) (./Paper.tex
-LaTeX Warning: Citation `Brzozowski1964' on page 41 undefined on input line 82.
+LaTeX Warning: Citation `Brzozowski1964' on page 41 undefined on input line 78.
-LaTeX Warning: Citation `Owens2008' on page 41 undefined on input line 96.
+LaTeX Warning: Citation `Owens2008' on page 41 undefined on input line 92.
-LaTeX Warning: Citation `Krauss2011' on page 41 undefined on input line 97.
+LaTeX Warning: Citation `Krauss2011' on page 41 undefined on input line 93.
-LaTeX Warning: Citation `Coquand2012' on page 41 undefined on input line 98.
+LaTeX Warning: Citation `Coquand2012' on page 41 undefined on input line 94.
[41]
-LaTeX Warning: Citation `Frisch2004' on page 42 undefined on input line 103.
+LaTeX Warning: Citation `Frisch2004' on page 42 undefined on input line 99.
-LaTeX Warning: Citation `POSIX' on page 42 undefined on input line 104.
+LaTeX Warning: Citation `POSIX' on page 42 undefined on input line 100.
-LaTeX Warning: Citation `Kuklewicz' on page 42 undefined on input line 104.
+LaTeX Warning: Citation `Kuklewicz' on page 42 undefined on input line 100.
-LaTeX Warning: Citation `OkuiSuzuki2010' on page 42 undefined on input line 104.
+LaTeX Warning: Citation `OkuiSuzuki2010' on page 42 undefined on input line 100.
-LaTeX Warning: Citation `Sulzmann2014' on page 42 undefined on input line 104.
+LaTeX Warning: Citation `Sulzmann2014' on page 42 undefined on input line 100.
-LaTeX Warning: Citation `Vansummeren2006' on page 42 undefined on input line 104
+LaTeX Warning: Citation `Vansummeren2006' on page 42 undefined on input line 100
.
-LaTeX Warning: Citation `POSIX' on page 42 undefined on input line 121.
+LaTeX Warning: Citation `POSIX' on page 42 undefined on input line 117.
[42]
-LaTeX Warning: Citation `Sulzmann2014' on page 43 undefined on input line 160.
+LaTeX Warning: Citation `Sulzmann2014' on page 43 undefined on input line 156.
LaTeX Warning: Citation `HosoyaVouillonPierce2005' on page 43 undefined on input
- line 182.
+ line 178.
-LaTeX Warning: Citation `Sulzmann2014' on page 43 undefined on input line 204.
+LaTeX Warning: Citation `Sulzmann2014' on page 43 undefined on input line 200.
-LaTeX Warning: Citation `Frisch2004' on page 43 undefined on input line 208.
+LaTeX Warning: Citation `Frisch2004' on page 43 undefined on input line 204.
-LaTeX Warning: Citation `Sulzmann2014' on page 43 undefined on input line 213.
+LaTeX Warning: Citation `Sulzmann2014' on page 43 undefined on input line 209.
-LaTeX Warning: Citation `Kuklewicz' on page 43 undefined on input line 221.
+LaTeX Warning: Citation `Kuklewicz' on page 43 undefined on input line 217.
-LaTeX Warning: Citation `Sulzmann2014' on page 43 undefined on input line 222.
+LaTeX Warning: Citation `Sulzmann2014' on page 43 undefined on input line 218.
-LaTeX Warning: Citation `CrashCourse2014' on page 43 undefined on input line 223
+LaTeX Warning: Citation `CrashCourse2014' on page 43 undefined on input line 219
.
[43]
-LaTeX Warning: Citation `Sulzmann2014' on page 44 undefined on input line 235.
+LaTeX Warning: Citation `Sulzmann2014' on page 44 undefined on input line 231.
-LaTeX Warning: Citation `Vansummeren2006' on page 44 undefined on input line 237
+LaTeX Warning: Citation `Vansummeren2006' on page 44 undefined on input line 233
.
-LaTeX Warning: Citation `Sulzmann2014' on page 44 undefined on input line 238.
+LaTeX Warning: Citation `Sulzmann2014' on page 44 undefined on input line 234.
(load luc: /Users/cstan/Library/texlive/2018/texmf-var/luatex-cache/generic/font
s/otl/lmroman8-regular.luc)
-LaTeX Warning: Citation `Sulzmann2014' on page 44 undefined on input line 242.
+LaTeX Warning: Citation `Sulzmann2014' on page 44 undefined on input line 238.
-LaTeX Warning: Citation `OkuiSuzuki2010' on page 44 undefined on input line 246.
+LaTeX Warning: Citation `OkuiSuzuki2010' on page 44 undefined on input line 242.
(load luc: /Users/cstan/Library/texlive/2018/texmf-var/luatex-cache/generic/font
s/otl/lmroman10-bolditalic.luc) [44]
LaTeX Font Warning: Font shape `U/stmry/b/n' undefined
-(Font) using `U/stmry/m/n' instead on input line 325.
+(Font) using `U/stmry/m/n' instead on input line 321.
-LaTeX Warning: Citation `Krauss2011' on page 45 undefined on input line 330.
+LaTeX Warning: Citation `Krauss2011' on page 45 undefined on input line 326.
(load luc: /Users/cstan/Library/texlive/2018/texmf-var/luatex-cache/generic/font
s/otl/lmroman6-regular.luc)
-LaTeX Warning: Citation `Brzozowski1964' on page 45 undefined on input line 345.
+LaTeX Warning: Citation `Brzozowski1964' on page 45 undefined on input line 341.
-Overfull \hbox (1.4002pt too wide) in paragraph at lines 352--373
+Overfull \hbox (1.4002pt too wide) in paragraph at lines 348--369
[]
[]
[45]
-LaTeX Warning: Citation `Sulzmann2014' on page 46 undefined on input line 408.
+LaTeX Warning: Citation `Sulzmann2014' on page 46 undefined on input line 404.
-LaTeX Warning: Citation `Sulzmann2014' on page 46 undefined on input line 432.
+LaTeX Warning: Citation `Sulzmann2014' on page 46 undefined on input line 428.
-LaTeX Warning: Citation `Frisch2004' on page 46 undefined on input line 449.
+LaTeX Warning: Citation `Frisch2004' on page 46 undefined on input line 445.
-LaTeX Warning: Citation `Sulzmann2014' on page 46 undefined on input line 450.
+LaTeX Warning: Citation `Sulzmann2014' on page 46 undefined on input line 446.
LaTeX Warning: Citation `AusafDyckhoffUrban2016' on page 46 undefined on input l
-ine 482.
+ine 478.
[46]
-LaTeX Warning: Citation `OkuiSuzuki2010' on page 47 undefined on input line 519.
+LaTeX Warning: Citation `OkuiSuzuki2010' on page 47 undefined on input line 515.
-LaTeX Warning: Citation `Frisch2004' on page 47 undefined on input line 519.
+LaTeX Warning: Citation `Frisch2004' on page 47 undefined on input line 515.
-Underfull \hbox (badness 10000) in paragraph at lines 579--580
+Underfull \hbox (badness 10000) in paragraph at lines 575--576
[]
-LaTeX Warning: Citation `Sulzmann2014' on page 47 undefined on input line 590.
+LaTeX Warning: Citation `Sulzmann2014' on page 47 undefined on input line 586.
-LaTeX Warning: Citation `Sulzmann2014' on page 47 undefined on input line 590.
+LaTeX Warning: Citation `Sulzmann2014' on page 47 undefined on input line 586.
[47]
-LaTeX Warning: Citation `Sulzmann2014' on page 48 undefined on input line 610.
+LaTeX Warning: Citation `Sulzmann2014' on page 48 undefined on input line 606.
Underfull \vbox (badness 10000) has occurred while \output is active []
@@ -1728,61 +1728,61 @@
[48]
[49]
-LaTeX Warning: Citation `Sulzmann2014' on page 50 undefined on input line 718.
+LaTeX Warning: Citation `Sulzmann2014' on page 50 undefined on input line 714.
-LaTeX Warning: Citation `Vansummeren2006' on page 50 undefined on input line 725
+LaTeX Warning: Citation `Vansummeren2006' on page 50 undefined on input line 721
.
(load luc: /Users/cstan/Library/texlive/2018/texmf-var/luatex-cache/generic/font
s/otl/lmroman5-regular.luc) [50] [51] [52]
-LaTeX Warning: Citation `Sulzmann2014' on page 53 undefined on input line 938.
+LaTeX Warning: Citation `Sulzmann2014' on page 53 undefined on input line 934.
-LaTeX Warning: Citation `Sulzmann2014' on page 53 undefined on input line 940.
+LaTeX Warning: Citation `Sulzmann2014' on page 53 undefined on input line 936.
-LaTeX Warning: Citation `OkuiSuzuki2010' on page 53 undefined on input line 947.
+LaTeX Warning: Citation `OkuiSuzuki2010' on page 53 undefined on input line 943.
-LaTeX Warning: Citation `OkuiSuzukiTech' on page 53 undefined on input line 947.
+LaTeX Warning: Citation `OkuiSuzukiTech' on page 53 undefined on input line 943.
[53] [54]
-LaTeX Warning: Citation `OkuiSuzuki2010' on page 55 undefined on input line 1069
+LaTeX Warning: Citation `OkuiSuzuki2010' on page 55 undefined on input line 1065
.
-LaTeX Warning: Citation `OkuiSuzuki2010' on page 55 undefined on input line 1090
+LaTeX Warning: Citation `OkuiSuzuki2010' on page 55 undefined on input line 1086
.
-LaTeX Warning: Citation `OkuiSuzuki2010' on page 55 undefined on input line 1130
+LaTeX Warning: Citation `OkuiSuzuki2010' on page 55 undefined on input line 1126
.
[55]
-Overfull \hbox (47.18065pt too wide) in paragraph at lines 1154--1184
+Overfull \hbox (47.18065pt too wide) in paragraph at lines 1150--1180
[] []
[]
[56] [57]
-LaTeX Warning: Citation `Sulzmann2014' on page 58 undefined on input line 1351.
+LaTeX Warning: Citation `Sulzmann2014' on page 58 undefined on input line 1347.
(load luc: /Users/cstan/Library/texlive/2018/texmf-var/luatex-cache/generic/font
s/otl/lmroman8-bold.luc)(load luc: /Users/cstan/Library/texlive/2018/texmf-var/l
uatex-cache/generic/fonts/otl/lmroman5-bold.luc)
-LaTeX Warning: Citation `Sulzmann2014' on page 58 undefined on input line 1370.
+LaTeX Warning: Citation `Sulzmann2014' on page 58 undefined on input line 1366.
Underfull \vbox (badness 10000) has occurred while \output is active []
[58]
-Overfull \hbox (4.61574pt too wide) in paragraph at lines 1434--1435
+Overfull \hbox (4.61574pt too wide) in paragraph at lines 1430--1431
\OT1/zplm/m/n/10 $$$\OMS/zplm/m/n/10 n$\TU/lmr/m/it/10 dn$\OT1/zplm/m/n/10 $$ $
\OT1/pplx/m/n/10 &$ $@$$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 thm $\OT1/zplm/m/n/1
0 ($\TU/lmr/m/it/10 rhs$\OT1/zplm/m/n/10 )$ \TU/lmr/m/it/10 in-tern$\OT1/pplx/m
@@ -1795,7 +1795,7 @@
[]
-Overfull \hbox (43.28516pt too wide) in paragraph at lines 1434--1435
+Overfull \hbox (43.28516pt too wide) in paragraph at lines 1430--1431
\OT1/pplx/m/n/10 &$ $\OT1/zplm/m/n/10 $$$\OMS/zplm/m/n/10 n$\TU/lmr/m/it/10 dn$
\OT1/zplm/m/n/10 $$ $\OT1/pplx/m/n/10 &$ $@$$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10
thm $\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 rhs$\OT1/zplm/m/n/10 )$ \TU/lmr/m/it/1
@@ -1807,7 +1807,7 @@
[]
-Overfull \hbox (31.37523pt too wide) in paragraph at lines 1434--1435
+Overfull \hbox (31.37523pt too wide) in paragraph at lines 1430--1431
\OMS/zplm/m/n/10 n$\TU/lmr/m/it/10 end$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 tabul
ar$\OMS/zplm/m/n/10 g$ $n$\TU/lmr/m/it/10 end$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/1
0 center$\OMS/zplm/m/n/10 g$ \TU/lmr/m/it/10 Some sim-ple facts about erase $
@@ -1816,7 +1816,7 @@
[]
-Overfull \hbox (4.57928pt too wide) in paragraph at lines 1434--1435
+Overfull \hbox (4.57928pt too wide) in paragraph at lines 1430--1431
\OT1/pplx/m/n/10 @$$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 thm $\OT1/zplm/m/n/10 ($
\TU/lmr/m/it/10 rhs$\OT1/zplm/m/n/10 )$ \TU/lmr/m/it/10 bnul-lable$\OT1/pplx/m/
n/10 .$\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 4$\OT1/zplm/m/n
@@ -1828,7 +1828,7 @@
[]
-Overfull \hbox (7.7924pt too wide) in paragraph at lines 1434--1435
+Overfull \hbox (7.7924pt too wide) in paragraph at lines 1430--1431
\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 lhs$\OT1/zplm/m/n/10 )$ \TU/lmr/m/it/10 bnul
-lable$\OT1/pplx/m/n/10 .$\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/10 ($\TU/lmr/m/it
/10 6$\OT1/zplm/m/n/10 )$$\OMS/zplm/m/n/10 g$ $\OT1/pplx/m/n/10 &$ $\OT1/zplm/m
@@ -1840,7 +1840,7 @@
[]
-Overfull \hbox (34.28575pt too wide) in paragraph at lines 1434--1435
+Overfull \hbox (34.28575pt too wide) in paragraph at lines 1430--1431
\TU/lmr/m/it/10 bder$\OT1/pplx/m/n/10 .$\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/10
($\TU/lmr/m/it/10 3$\OT1/zplm/m/n/10 )$$\OMS/zplm/m/n/10 g$ $\OT1/pplx/m/n/10 &
$ $\OT1/zplm/m/n/10 $$$\OMS/zplm/m/n/10 n$\TU/lmr/m/it/10 dn$\OT1/zplm/m/n/10 $
@@ -1854,7 +1854,7 @@
[]
-Overfull \hbox (3.47198pt too wide) in paragraph at lines 1434--1435
+Overfull \hbox (3.47198pt too wide) in paragraph at lines 1430--1431
\OT1/pplx/m/n/10 @$$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 thm $\OT1/zplm/m/n/10 ($
\TU/lmr/m/it/10 rhs$\OT1/zplm/m/n/10 )$ \TU/lmr/m/it/10 bmkeps$\OT1/pplx/m/n/10
.$\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 4$\OT1/zplm/m/n/10
@@ -1865,7 +1865,7 @@
[]
-Overfull \hbox (2.7528pt too wide) in paragraph at lines 1434--1435
+Overfull \hbox (2.7528pt too wide) in paragraph at lines 1430--1431
\OMS/zplm/m/n/10 n$\TU/lmr/m/it/10 noindent Def-i-ni-tion of the bit-coded lexe
r $\OT1/pplx/m/n/10 @$$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 thm blexer[]def$\OMS
/zplm/m/n/10 g$ $n$\TU/lmr/m/it/10 begin$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 t
@@ -1876,7 +1876,7 @@
Underfull \vbox (badness 10000) has occurred while \output is active []
[60]
-Overfull \hbox (2.67558pt too wide) in paragraph at lines 1438--1447
+Overfull \hbox (2.67558pt too wide) in paragraph at lines 1434--1443
\TU/lmr/m/it/10 ac-cord-ing to rules like $\OMS/zplm/m/n/10 n$\TU/lmr/m/it/10
begin$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 equation$\OMS/zplm/m/n/10 g$$n$\TU/lmr
/m/it/10 label$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 Simpl$\OMS/zplm/m/n/10 g$ $n$
@@ -1885,7 +1885,7 @@
[]
-Overfull \hbox (35.68385pt too wide) in paragraph at lines 1438--1447
+Overfull \hbox (35.68385pt too wide) in paragraph at lines 1434--1443
\TU/lmr/m/it/10 F[]SEQ1$\OT1/pplx/m/n/10 .$\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/
10 ($\TU/lmr/m/it/10 1$\OT1/zplm/m/n/10 )$$\OMS/zplm/m/n/10 g$ $\OT1/pplx/m/n/1
0 &$ $\OT1/zplm/m/n/10 $$$\OMS/zplm/m/n/10 n$\TU/lmr/m/it/10 dn$\OT1/zplm/m/n/1
@@ -1898,7 +1898,7 @@
[]
-Overfull \hbox (18.66588pt too wide) in paragraph at lines 1438--1447
+Overfull \hbox (18.66588pt too wide) in paragraph at lines 1434--1443
\OT1/pplx/m/n/10 &$ $@$$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 thm L[]fst[]simp$\OT
1/zplm/m/n/10 [$\TU/lmr/m/it/10 symmetric$\OT1/zplm/m/n/10 ]$$\OMS/zplm/m/n/10
g$$n$$n$ $\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 2$\OT1/zplm/m/n/10 )$ $\OT1/pplx/m
@@ -1922,15 +1922,9 @@
(./root.aux)
Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 96.
Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 96.
-
+Package rerunfilecheck Info: File `root.out' has not changed.
+(rerunfilecheck) Checksum: F68486A1B88421815EBCC3CB75200893;512.
-Package rerunfilecheck Warning: File `root.out' has changed.
-(rerunfilecheck) Rerun to get outlines right
-(rerunfilecheck) or use package `bookmark'.
-
-Package rerunfilecheck Info: Checksums for `root.out':
-(rerunfilecheck) Before: 40AB4FCF7DFB133886AD9117C6B3D022;396
-(rerunfilecheck) After: F68486A1B88421815EBCC3CB75200893;512.
LaTeX Font Warning: Size substitutions with differences
(Font) up to 2.26395pt have occurred.
@@ -1938,32 +1932,19 @@
LaTeX Font Warning: Some font shapes were not available, defaults substituted.
-
-LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right.
-
Package atveryend Info: Empty hook `AtVeryVeryEnd' on input line 96.
)
Here is how much of LuaTeX's memory you used:
- 29104 strings out of 494413
+ 29101 strings out of 494413
156265,794899 words of node,token memory allocated
1590 words of node memory still in use:
9 hlist, 2 vlist, 2 rule, 11 disc, 21 glue, 7 kern, 98 glyph, 33 attribute, 5
7 glue_spec, 33 attribute_list, 1 write nodes
- avail lists: 2:6992,3:290,4:52,5:2358,6:47,7:12582,8:52,9:593,10:23,11:398
- 31952 multiletter control sequences out of 65536+600000
+ avail lists: 2:6992,3:291,4:52,5:2358,6:47,7:12582,8:52,9:593,10:23,11:398
+ 31954 multiletter control sequences out of 65536+600000
282 fonts using 23215399 bytes
55i,23n,68p,45885b,993s stack positions out of 5000i,500n,10000p,200000b,100000s
-
-warning (pdf backend): unreferenced destination with name 'equation.1.6.2'
-
-warning (pdf backend): unreferenced destination with name 'theorem.1.4.3'
-
-warning (pdf backend): unreferenced destination with name 'theorem.1.3.2'
-
-warning (pdf backend): unreferenced destination with name 'theorem.1.3.1'
-
-warning (pdf backend): unreferenced destination with name 'equation.1.2.1'
</usr/local/texlive/2018/texmf-dist/fonts/opentype/public/lm/lmroman7-regular.ot
f></usr/local/texlive/2018/texmf-dist/fonts/opentype/public/lm/lmroman8-regular.
otf></usr/local/texlive/2018/texmf-dist/fonts/opentype/public/lm/lmroman7-italic
@@ -1986,10 +1967,10 @@
ocal/texlive/2018/texmf-dist/fonts/type1/public/stmaryrd/stmary10.pfb></usr/loca
l/texlive/2018/texmf-dist/fonts/type1/urw/palatino/uplr8a.pfb></usr/local/texliv
e/2018/texmf-dist/fonts/type1/urw/palatino/uplri8a.pfb>
-Output written on root.pdf (65 pages, 375818 bytes).
+Output written on root.pdf (65 pages, 375799 bytes).
-PDF statistics: 526 PDF objects out of 1000 (max. 8388607)
- 411 compressed objects within 5 object streams
- 112 named destinations out of 1000 (max. 131072)
- 72 words of extra memory for PDF output out of 10000 (max. 100000000)
+PDF statistics: 527 PDF objects out of 1000 (max. 8388607)
+ 412 compressed objects within 5 object streams
+ 107 named destinations out of 1000 (max. 131072)
+ 88 words of extra memory for PDF output out of 10000 (max. 100000000)