aboutsummaryrefslogtreecommitdiff
path: root/slides/preplogic-slides.log
diff options
context:
space:
mode:
Diffstat (limited to 'slides/preplogic-slides.log')
-rw-r--r--slides/preplogic-slides.log1478
1 files changed, 689 insertions, 789 deletions
diff --git a/slides/preplogic-slides.log b/slides/preplogic-slides.log
index cdb8be9..678d909 100644
--- a/slides/preplogic-slides.log
+++ b/slides/preplogic-slides.log
@@ -1,167 +1,203 @@
1This is pdfTeX, Version 3.14159265-2.6-1.40.18 (TeX Live 2017/Debian) (preloaded format=pdflatex 2019.3.25) 11 SEP 2020 11:12 1This is pdfTeX, Version 3.14159265-2.6-1.40.20 (TeX Live 2019/Debian) (preloaded format=pdflatex 2021.5.20) 6 SEP 2021 10:25
2entering extended mode 2entering extended mode
3 restricted \write18 enabled. 3 \write18 enabled.
4 file:line:error style messages enabled.
5 %&-line parsing enabled. 4 %&-line parsing enabled.
6**preplogic-slides.tex 5**preplogic-slides.tex
7(./preplogic-slides.tex 6(./preplogic-slides.tex
8LaTeX2e <2017-04-15> 7LaTeX2e <2020-02-02> patch level 2
9Babel <3.18> and hyphenation patterns for 84 language(s) loaded. 8L3 programming layer <2020-02-14>
10(/usr/share/texlive/texmf-dist/tex/latex/beamer/beamer.cls 9(/usr/share/texlive/texmf-dist/tex/latex/beamer/beamer.cls
11Document Class: beamer 2018/02/20 v3.50 A class for typesetting presentations 10Document Class: beamer 2019/09/29 v3.57 A class for typesetting presentations
12(/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasemodes.sty (/usr/share/texlive/texmf-dist/tex/latex/etoolbox/etoolbox.sty 11(/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasemodes.sty
13Package: etoolbox 2018/02/11 v2.5e e-TeX tools for LaTeX (JAW) 12(/usr/share/texlive/texmf-dist/tex/latex/etoolbox/etoolbox.sty
14\etb@tempcnta=\count79 13Package: etoolbox 2019/09/21 v2.5h e-TeX tools for LaTeX (JAW)
14\etb@tempcnta=\count167
15) 15)
16\beamer@tempbox=\box26 16\beamer@tempbox=\box45
17\beamer@tempcount=\count80 17\beamer@tempcount=\count168
18\c@beamerpauses=\count81 18\c@beamerpauses=\count169
19 (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasedecode.sty 19
20\beamer@slideinframe=\count82 20(/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasedecode.sty
21\beamer@minimum=\count83 21\beamer@slideinframe=\count170
22\beamer@minimum=\count171
23\beamer@decode@box=\box46
22) 24)
23\beamer@commentbox=\box27 25\beamer@commentbox=\box47
24\beamer@modecount=\count84 26\beamer@modecount=\count172
25) (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifpdf.sty
26Package: ifpdf 2017/03/15 v3.2 Provides the ifpdf switch
27) 27)
28\headdp=\dimen102 28(/usr/share/texlive/texmf-dist/tex/generic/iftex/ifpdf.sty
29\footheight=\dimen103 29Package: ifpdf 2019/10/25 v3.4 ifpdf legacy package. Use iftex instead.
30\sidebarheight=\dimen104 30
31\beamer@tempdim=\dimen105 31(/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty
32\beamer@finalheight=\dimen106 32Package: iftex 2019/11/07 v1.0c TeX engine tests
33\beamer@animht=\dimen107 33))
34\beamer@animdp=\dimen108 34\headdp=\dimen134
35\beamer@animwd=\dimen109 35\footheight=\dimen135
36\beamer@leftmargin=\dimen110 36\sidebarheight=\dimen136
37\beamer@rightmargin=\dimen111 37\beamer@tempdim=\dimen137
38\beamer@leftsidebar=\dimen112 38\beamer@finalheight=\dimen138
39\beamer@rightsidebar=\dimen113 39\beamer@animht=\dimen139
40\beamer@boxsize=\dimen114 40\beamer@animdp=\dimen140
41\beamer@vboxoffset=\dimen115 41\beamer@animwd=\dimen141
42\beamer@descdefault=\dimen116 42\beamer@leftmargin=\dimen142
43\beamer@descriptionwidth=\dimen117 43\beamer@rightmargin=\dimen143
44\beamer@lastskip=\skip41 44\beamer@leftsidebar=\dimen144
45\beamer@areabox=\box28 45\beamer@rightsidebar=\dimen145
46\beamer@animcurrent=\box29 46\beamer@boxsize=\dimen146
47\beamer@animshowbox=\box30 47\beamer@vboxoffset=\dimen147
48\beamer@sectionbox=\box31 48\beamer@descdefault=\dimen148
49\beamer@logobox=\box32 49\beamer@descriptionwidth=\dimen149
50\beamer@linebox=\box33 50\beamer@lastskip=\skip47
51\beamer@sectioncount=\count85 51\beamer@areabox=\box48
52\beamer@subsubsectionmax=\count86 52\beamer@animcurrent=\box49
53\beamer@subsectionmax=\count87 53\beamer@animshowbox=\box50
54\beamer@sectionmax=\count88 54\beamer@sectionbox=\box51
55\beamer@totalheads=\count89 55\beamer@logobox=\box52
56\beamer@headcounter=\count90 56\beamer@linebox=\box53
57\beamer@partstartpage=\count91 57\beamer@sectioncount=\count173
58\beamer@sectionstartpage=\count92 58\beamer@subsubsectionmax=\count174
59\beamer@subsectionstartpage=\count93 59\beamer@subsectionmax=\count175
60\beamer@animationtempa=\count94 60\beamer@sectionmax=\count176
61\beamer@animationtempb=\count95 61\beamer@totalheads=\count177
62\beamer@xpos=\count96 62\beamer@headcounter=\count178
63\beamer@ypos=\count97 63\beamer@partstartpage=\count179
64\beamer@ypos@offset=\count98 64\beamer@sectionstartpage=\count180
65\beamer@showpartnumber=\count99 65\beamer@subsectionstartpage=\count181
66\beamer@currentsubsection=\count100 66\beamer@animationtempa=\count182
67\beamer@coveringdepth=\count101 67\beamer@animationtempb=\count183
68\beamer@sectionadjust=\count102 68\beamer@xpos=\count184
69\beamer@tocsectionnumber=\count103 69\beamer@ypos=\count185
70 (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseoptions.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty 70\beamer@ypos@offset=\count186
71\beamer@showpartnumber=\count187
72\beamer@currentsubsection=\count188
73\beamer@coveringdepth=\count189
74\beamer@sectionadjust=\count190
75\beamer@tocsectionnumber=\count191
76
77(/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseoptions.sty
78(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty
71Package: keyval 2014/10/28 v1.15 key=value parser (DPC) 79Package: keyval 2014/10/28 v1.15 key=value parser (DPC)
72\KV@toks@=\toks14 80\KV@toks@=\toks14
73)) 81))
74\beamer@paperwidth=\skip42 82\beamer@paperwidth=\skip48
75\beamer@paperheight=\skip43 83\beamer@paperheight=\skip49
76 (/usr/share/texlive/texmf-dist/tex/latex/geometry/geometry.sty 84
77Package: geometry 2010/09/12 v5.6 Page Geometry 85(/usr/share/texlive/texmf-dist/tex/latex/geometry/geometry.sty
78 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifvtex.sty 86Package: geometry 2020/01/02 v5.9 Page Geometry
79Package: ifvtex 2016/05/16 v1.6 Detect VTeX and its facilities (HO) 87
80Package ifvtex Info: VTeX not detected. 88(/usr/share/texlive/texmf-dist/tex/generic/iftex/ifvtex.sty
81) (/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty 89Package: ifvtex 2019/10/25 v1.7 ifvtex legacy package. Use iftex instead.
82Package: ifxetex 2010/09/12 v0.6 Provides ifxetex conditional
83) 90)
84\Gm@cnth=\count104 91\Gm@cnth=\count192
85\Gm@cntv=\count105 92\Gm@cntv=\count193
86\c@Gm@tempcnt=\count106 93\c@Gm@tempcnt=\count194
87\Gm@bindingoffset=\dimen118 94\Gm@bindingoffset=\dimen150
88\Gm@wd@mp=\dimen119 95\Gm@wd@mp=\dimen151
89\Gm@odd@mp=\dimen120 96\Gm@odd@mp=\dimen152
90\Gm@even@mp=\dimen121 97\Gm@even@mp=\dimen153
91\Gm@layoutwidth=\dimen122 98\Gm@layoutwidth=\dimen154
92\Gm@layoutheight=\dimen123 99\Gm@layoutheight=\dimen155
93\Gm@layouthoffset=\dimen124 100\Gm@layouthoffset=\dimen156
94\Gm@layoutvoffset=\dimen125 101\Gm@layoutvoffset=\dimen157
95\Gm@dimlist=\toks15 102\Gm@dimlist=\toks15
96) (/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo 103)
97File: size11.clo 2014/09/29 v1.4h Standard LaTeX file (size option) 104(/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo
98) (/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty 105File: size11.clo 2019/12/20 v1.4l Standard LaTeX file (size option)
99Package: graphicx 2017/06/01 v1.1a Enhanced LaTeX Graphics (DPC,SPQR) 106)
100 (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty 107(/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty
101Package: graphics 2017/06/25 v1.2c Standard LaTeX Graphics (DPC,SPQR) 108(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty
102 (/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty 109Package: graphicx 2019/11/30 v1.2a Enhanced LaTeX Graphics (DPC,SPQR)
110
111(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty
112Package: graphics 2019/11/30 v1.4a Standard LaTeX Graphics (DPC,SPQR)
113
114(/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty
103Package: trig 2016/01/03 v1.10 sin cos tan (DPC) 115Package: trig 2016/01/03 v1.10 sin cos tan (DPC)
104) (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg 116)
117(/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg
105File: graphics.cfg 2016/06/04 v1.11 sample graphics configuration 118File: graphics.cfg 2016/06/04 v1.11 sample graphics configuration
106) 119)
107Package graphics Info: Driver file: pdftex.def on input line 99. 120Package graphics Info: Driver file: pdftex.def on input line 105.
108 (/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def 121
122(/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def
109File: pdftex.def 2018/01/08 v1.0l Graphics/color driver for pdftex 123File: pdftex.def 2018/01/08 v1.0l Graphics/color driver for pdftex
110)) 124))
111\Gin@req@height=\dimen126 125\Gin@req@height=\dimen158
112\Gin@req@width=\dimen127 126\Gin@req@width=\dimen159
113) (/usr/share/texlive/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex 127)
128(/usr/share/texlive/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
129(/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
130(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex
114\pgfutil@everybye=\toks16 131\pgfutil@everybye=\toks16
115\pgfutil@tempdima=\dimen128 132\pgfutil@tempdima=\dimen160
116\pgfutil@tempdimb=\dimen129 133\pgfutil@tempdimb=\dimen161
117 (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common-lists.tex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def 134
118\pgfutil@abb=\box34 135(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common-lists.t
119 (/usr/share/texlive/texmf-dist/tex/latex/ms/everyshi.sty 136ex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def
137\pgfutil@abb=\box54
138(/usr/share/texlive/texmf-dist/tex/latex/ms/everyshi.sty
120Package: everyshi 2001/05/15 v3.00 EveryShipout Package (MS) 139Package: everyshi 2001/05/15 v3.00 EveryShipout Package (MS)
121)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex 140))
122Package: pgfrcs 2015/08/07 v3.0.1a (rcs-revision 1.31) 141(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex
123)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex 142(/usr/share/texlive/texmf-dist/tex/generic/pgf/pgf.revision.tex)
124Package: pgfsys 2014/07/09 v3.0.1a (rcs-revision 1.48) 143Package: pgfrcs 2020/01/08 v3.1.5b (3.1.5b)
125 (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex 144))
145(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex
146Package: pgfsys 2020/01/08 v3.1.5b (3.1.5b)
147
148(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
126\pgfkeys@pathtoks=\toks17 149\pgfkeys@pathtoks=\toks17
127\pgfkeys@temptoks=\toks18 150\pgfkeys@temptoks=\toks18
128 (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.tex 151
152(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.t
153ex
129\pgfkeys@tmptoks=\toks19 154\pgfkeys@tmptoks=\toks19
130)) 155))
131\pgf@x=\dimen130 156\pgf@x=\dimen162
132\pgf@y=\dimen131 157\pgf@y=\dimen163
133\pgf@xa=\dimen132 158\pgf@xa=\dimen164
134\pgf@ya=\dimen133 159\pgf@ya=\dimen165
135\pgf@xb=\dimen134 160\pgf@xb=\dimen166
136\pgf@yb=\dimen135 161\pgf@yb=\dimen167
137\pgf@xc=\dimen136 162\pgf@xc=\dimen168
138\pgf@yc=\dimen137 163\pgf@yc=\dimen169
164\pgf@xd=\dimen170
165\pgf@yd=\dimen171
139\w@pgf@writea=\write3 166\w@pgf@writea=\write3
140\r@pgf@reada=\read1 167\r@pgf@reada=\read2
141\c@pgf@counta=\count107 168\c@pgf@counta=\count195
142\c@pgf@countb=\count108 169\c@pgf@countb=\count196
143\c@pgf@countc=\count109 170\c@pgf@countc=\count197
144\c@pgf@countd=\count110 171\c@pgf@countd=\count198
145\t@pgf@toka=\toks20 172\t@pgf@toka=\toks20
146\t@pgf@tokb=\toks21 173\t@pgf@tokb=\toks21
147\t@pgf@tokc=\toks22 174\t@pgf@tokc=\toks22
175\pgf@sys@id@count=\count199
148 (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg 176 (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg
149File: pgf.cfg 2008/05/14 (rcs-revision 1.7) 177File: pgf.cfg 2020/01/08 v3.1.5b (3.1.5b)
150) 178)
151Driver file for pgf: pgfsys-pdftex.def 179Driver file for pgf: pgfsys-pdftex.def
152 (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def 180
153File: pgfsys-pdftex.def 2014/10/11 (rcs-revision 1.35) 181(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def
154 (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def 182File: pgfsys-pdftex.def 2020/01/08 v3.1.5b (3.1.5b)
155File: pgfsys-common-pdf.def 2013/10/10 (rcs-revision 1.13) 183
156))) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex 184(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.de
157File: pgfsyssoftpath.code.tex 2013/09/09 (rcs-revision 1.9) 185f
158\pgfsyssoftpath@smallbuffer@items=\count111 186File: pgfsys-common-pdf.def 2020/01/08 v3.1.5b (3.1.5b)
159\pgfsyssoftpath@bigbuffer@items=\count112 187)))
160) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex 188(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.
161File: pgfsysprotocol.code.tex 2006/10/16 (rcs-revision 1.4) 189tex
190File: pgfsyssoftpath.code.tex 2020/01/08 v3.1.5b (3.1.5b)
191\pgfsyssoftpath@smallbuffer@items=\count266
192\pgfsyssoftpath@bigbuffer@items=\count267
193)
194(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.
195tex
196File: pgfsysprotocol.code.tex 2020/01/08 v3.1.5b (3.1.5b)
162)) (/usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty 197)) (/usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty
163Package: xcolor 2016/05/11 v2.12 LaTeX color extensions (UK) 198Package: xcolor 2016/05/11 v2.12 LaTeX color extensions (UK)
164 (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg 199
200(/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg
165File: color.cfg 2016/01/02 v1.6 sample color configuration 201File: color.cfg 2016/01/02 v1.6 sample color configuration
166) 202)
167Package xcolor Info: Driver file: pdftex.def on input line 225. 203Package xcolor Info: Driver file: pdftex.def on input line 225.
@@ -174,174 +210,237 @@ Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1368.
174Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1369. 210Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1369.
175Package xcolor Info: Model `Gray' substituted by `gray' on input line 1370. 211Package xcolor Info: Model `Gray' substituted by `gray' on input line 1370.
176Package xcolor Info: Model `wave' substituted by `hsb' on input line 1371. 212Package xcolor Info: Model `wave' substituted by `hsb' on input line 1371.
177) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex 213)
178Package: pgfcore 2010/04/11 v3.0.1a (rcs-revision 1.7) 214(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex
179 (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex 215Package: pgfcore 2020/01/08 v3.1.5b (3.1.5b)
180\pgfmath@dimen=\dimen138 216
181\pgfmath@count=\count113 217(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex
182\pgfmath@box=\box35 218(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex
219(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex)
220(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex
221\pgfmath@dimen=\dimen172
222\pgfmath@count=\count268
223\pgfmath@box=\box55
183\pgfmath@toks=\toks23 224\pgfmath@toks=\toks23
184\pgfmath@stack@operand=\toks24 225\pgfmath@stack@operand=\toks24
185\pgfmath@stack@operation=\toks25 226\pgfmath@stack@operation=\toks25
186) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonometric.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerarithmetics.code.tex))) (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex
187\c@pgfmathroundto@lastzeros=\count114
188)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex
189File: pgfcorepoints.code.tex 2013/10/07 (rcs-revision 1.27)
190\pgf@picminx=\dimen139
191\pgf@picmaxx=\dimen140
192\pgf@picminy=\dimen141
193\pgf@picmaxy=\dimen142
194\pgf@pathminx=\dimen143
195\pgf@pathmaxx=\dimen144
196\pgf@pathminy=\dimen145
197\pgf@pathmaxy=\dimen146
198\pgf@xx=\dimen147
199\pgf@xy=\dimen148
200\pgf@yx=\dimen149
201\pgf@yy=\dimen150
202\pgf@zx=\dimen151
203\pgf@zy=\dimen152
204) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.tex
205File: pgfcorepathconstruct.code.tex 2013/10/07 (rcs-revision 1.29)
206\pgf@path@lastx=\dimen153
207\pgf@path@lasty=\dimen154
208) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex
209File: pgfcorepathusage.code.tex 2014/11/02 (rcs-revision 1.24)
210\pgf@shorten@end@additional=\dimen155
211\pgf@shorten@start@additional=\dimen156
212) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex
213File: pgfcorescopes.code.tex 2015/05/08 (rcs-revision 1.46)
214\pgfpic=\box36
215\pgf@hbox=\box37
216\pgf@layerbox@main=\box38
217\pgf@picture@serial@count=\count115
218) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex
219File: pgfcoregraphicstate.code.tex 2014/11/02 (rcs-revision 1.12)
220\pgflinewidth=\dimen157
221) 227)
222(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations.code.tex 228(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex
223File: pgfcoretransformations.code.tex 2015/08/07 (rcs-revision 1.20) 229(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code
224\pgf@pt@x=\dimen158 230.tex)
225\pgf@pt@y=\dimen159 231(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonomet
226\pgf@pt@temp=\dimen160 232ric.code.tex)
227) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex 233(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.cod
228File: pgfcorequick.code.tex 2008/10/09 (rcs-revision 1.3) 234e.tex)
229) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex 235(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison
230File: pgfcoreobjects.code.tex 2006/10/11 (rcs-revision 1.2) 236.code.tex)
231) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code.tex 237(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.
232File: pgfcorepathprocessing.code.tex 2013/09/09 (rcs-revision 1.9) 238tex)
233) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex 239(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code
234File: pgfcorearrows.code.tex 2015/05/14 (rcs-revision 1.43) 240.tex)
235\pgfarrowsep=\dimen161 241(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.
236) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex 242tex)
237File: pgfcoreshade.code.tex 2013/07/15 (rcs-revision 1.15) 243(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerari
238\pgf@max=\dimen162 244thmetics.code.tex)))
239\pgf@sys@shading@range@num=\count116 245(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex
240) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex 246\c@pgfmathroundto@lastzeros=\count269
241File: pgfcoreimage.code.tex 2013/07/15 (rcs-revision 1.18) 247))
242 (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex 248(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfint.code.tex)
243File: pgfcoreexternal.code.tex 2014/07/09 (rcs-revision 1.21) 249(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.te
244\pgfexternal@startupbox=\box39 250x
245)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex 251File: pgfcorepoints.code.tex 2020/01/08 v3.1.5b (3.1.5b)
246File: pgfcorelayers.code.tex 2013/07/18 (rcs-revision 1.7) 252\pgf@picminx=\dimen173
247) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.code.tex 253\pgf@picmaxx=\dimen174
248File: pgfcoretransparency.code.tex 2013/09/30 (rcs-revision 1.5) 254\pgf@picminy=\dimen175
249) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex 255\pgf@picmaxy=\dimen176
250File: pgfcorepatterns.code.tex 2013/11/07 (rcs-revision 1.5) 256\pgf@pathminx=\dimen177
257\pgf@pathmaxx=\dimen178
258\pgf@pathminy=\dimen179
259\pgf@pathmaxy=\dimen180
260\pgf@xx=\dimen181
261\pgf@xy=\dimen182
262\pgf@yx=\dimen183
263\pgf@yy=\dimen184
264\pgf@zx=\dimen185
265\pgf@zy=\dimen186
266)
267(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.
268code.tex
269File: pgfcorepathconstruct.code.tex 2020/01/08 v3.1.5b (3.1.5b)
270\pgf@path@lastx=\dimen187
271\pgf@path@lasty=\dimen188
272)
273(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code
274.tex
275File: pgfcorepathusage.code.tex 2020/01/08 v3.1.5b (3.1.5b)
276\pgf@shorten@end@additional=\dimen189
277\pgf@shorten@start@additional=\dimen190
278)
279(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.te
280x
281File: pgfcorescopes.code.tex 2020/01/08 v3.1.5b (3.1.5b)
282\pgfpic=\box56
283\pgf@hbox=\box57
284\pgf@layerbox@main=\box58
285\pgf@picture@serial@count=\count270
286)
287(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.c
288ode.tex
289File: pgfcoregraphicstate.code.tex 2020/01/08 v3.1.5b (3.1.5b)
290\pgflinewidth=\dimen191
291)
292(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformation
293s.code.tex
294File: pgfcoretransformations.code.tex 2020/01/08 v3.1.5b (3.1.5b)
295\pgf@pt@x=\dimen192
296\pgf@pt@y=\dimen193
297\pgf@pt@temp=\dimen194
298)
299(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex
300File: pgfcorequick.code.tex 2020/01/08 v3.1.5b (3.1.5b)
301)
302(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.t
303ex
304File: pgfcoreobjects.code.tex 2020/01/08 v3.1.5b (3.1.5b)
305)
306(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing
307.code.tex
308File: pgfcorepathprocessing.code.tex 2020/01/08 v3.1.5b (3.1.5b)
309)
310(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.te
311x
312File: pgfcorearrows.code.tex 2020/01/08 v3.1.5b (3.1.5b)
313\pgfarrowsep=\dimen195
314)
315(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex
316File: pgfcoreshade.code.tex 2020/01/08 v3.1.5b (3.1.5b)
317\pgf@max=\dimen196
318\pgf@sys@shading@range@num=\count271
319\pgf@shadingcount=\count272
320)
321(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex
322File: pgfcoreimage.code.tex 2020/01/08 v3.1.5b (3.1.5b)
323
324(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.
325tex
326File: pgfcoreexternal.code.tex 2020/01/08 v3.1.5b (3.1.5b)
327\pgfexternal@startupbox=\box59
328))
329(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.te
330x
331File: pgfcorelayers.code.tex 2020/01/08 v3.1.5b (3.1.5b)
332)
333(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.c
334ode.tex
335File: pgfcoretransparency.code.tex 2020/01/08 v3.1.5b (3.1.5b)
336)
337(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.
338tex
339File: pgfcorepatterns.code.tex 2020/01/08 v3.1.5b (3.1.5b)
340)
341(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorerdf.code.tex
342File: pgfcorerdf.code.tex 2020/01/08 v3.1.5b (3.1.5b)
251))) (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/xxcolor.sty 343))) (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/xxcolor.sty
252Package: xxcolor 2003/10/24 ver 0.1 344Package: xxcolor 2003/10/24 ver 0.1
253\XC@nummixins=\count117 345\XC@nummixins=\count273
254\XC@countmixins=\count118 346\XC@countmixins=\count274
255) (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/atbegshi.sty 347)
256Package: atbegshi 2016/06/09 v1.18 At begin shipout hook (HO) 348(/usr/share/texlive/texmf-dist/tex/generic/atbegshi/atbegshi.sty
257 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/infwarerr.sty 349Package: atbegshi 2019/12/05 v1.19 At begin shipout hook (HO)
258Package: infwarerr 2016/05/16 v1.4 Providing info/warning/error messages (HO) 350
259) (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ltxcmds.sty 351(/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty
260Package: ltxcmds 2016/05/16 v1.23 LaTeX kernel commands for general use (HO) 352Package: infwarerr 2019/12/03 v1.5 Providing info/warning/error messages (HO)
261)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty 353)
262Package: hyperref 2018/02/06 v6.86b Hypertext links for LaTeX 354(/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty
263 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty 355Package: ltxcmds 2019/12/15 v1.24 LaTeX kernel commands for general use (HO)
264Package: hobsub-hyperref 2016/05/16 v1.14 Bundle oberdiek, subset hyperref (HO) 356))
265 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty 357(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty
266Package: hobsub-generic 2016/05/16 v1.14 Bundle oberdiek, subset generic (HO) 358Package: hyperref 2020/01/14 v7.00d Hypertext links for LaTeX
267Package: hobsub 2016/05/16 v1.14 Construct package bundles (HO) 359
268Package hobsub Info: Skipping package `infwarerr' (already loaded). 360(/usr/share/texlive/texmf-dist/tex/latex/pdftexcmds/pdftexcmds.sty
269Package hobsub Info: Skipping package `ltxcmds' (already loaded). 361Package: pdftexcmds 2019/11/24 v0.31 Utility functions of pdfTeX for LuaTeX (HO
270Package: ifluatex 2016/05/16 v1.4 Provides the ifluatex switch (HO) 362)
271Package ifluatex Info: LuaTeX not detected.
272Package hobsub Info: Skipping package `ifvtex' (already loaded).
273Package: intcalc 2016/05/16 v1.2 Expandable calculations with integers (HO)
274Package hobsub Info: Skipping package `ifpdf' (already loaded).
275Package: etexcmds 2016/05/16 v1.6 Avoid name clashes with e-TeX commands (HO)
276Package etexcmds Info: Could not find \expanded.
277(etexcmds) That can mean that you are not using pdfTeX 1.50 or
278(etexcmds) that some package has redefined \expanded.
279(etexcmds) In the latter case, load this package earlier.
280Package: kvsetkeys 2016/05/16 v1.17 Key value parser (HO)
281Package: kvdefinekeys 2016/05/16 v1.4 Define keys (HO)
282Package: pdftexcmds 2018/01/21 v0.26 Utility functions of pdfTeX for LuaTeX (HO)
283Package pdftexcmds Info: LuaTeX not detected.
284Package pdftexcmds Info: \pdf@primitive is available. 363Package pdftexcmds Info: \pdf@primitive is available.
285Package pdftexcmds Info: \pdf@ifprimitive is available. 364Package pdftexcmds Info: \pdf@ifprimitive is available.
286Package pdftexcmds Info: \pdfdraftmode found. 365Package pdftexcmds Info: \pdfdraftmode found.
287Package: pdfescape 2016/05/16 v1.14 Implements pdfTeX's escape features (HO)
288Package: bigintcalc 2016/05/16 v1.4 Expandable calculations on big integers (HO)
289Package: bitset 2016/05/16 v1.2 Handle bit-vector datatype (HO)
290Package: uniquecounter 2016/05/16 v1.3 Provide unlimited unique counter (HO)
291) 366)
292Package hobsub Info: Skipping package `hobsub' (already loaded). 367(/usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty
293Package: letltxmacro 2016/05/16 v1.5 Let assignment for LaTeX macros (HO) 368Package: kvsetkeys 2019/12/15 v1.18 Key value parser (HO)
294Package: hopatch 2016/05/16 v1.3 Wrapper for package hooks (HO) 369)
295Package: xcolor-patch 2016/05/16 xcolor patch 370(/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty
296Package: atveryend 2016/05/16 v1.9 Hooks at the very end of document (HO) 371Package: kvdefinekeys 2019-12-19 v1.6 Define keys (HO)
297Package hobsub Info: Skipping package `atbegshi' (already loaded).
298Package: refcount 2016/05/16 v3.5 Data extraction from label references (HO)
299Package: hycolor 2016/05/16 v1.8 Color options for hyperref/bookmark (HO)
300) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/auxhook.sty
301Package: auxhook 2016/05/16 v1.4 Hooks for auxiliary files (HO)
302) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty
303Package: kvoptions 2016/05/16 v3.12 Key value format for package options (HO)
304) 372)
305\@linkdim=\dimen163 373(/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty
306\Hy@linkcounter=\count119 374Package: pdfescape 2019/12/09 v1.15 Implements pdfTeX's escape features (HO)
307\Hy@pagecounter=\count120
308 (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def
309File: pd1enc.def 2018/02/06 v6.86b Hyperref: PDFDocEncoding definition (HO)
310) 375)
311\Hy@SavedSpaceFactor=\count121 376(/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty
312 (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg 377Package: hycolor 2020-01-27 v1.10 Color options for hyperref/bookmark (HO)
313File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive
314) 378)
315Package hyperref Info: Option `bookmarks' set `true' on input line 4383. 379(/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty
316Package hyperref Info: Option `bookmarksopen' set `true' on input line 4383. 380Package: letltxmacro 2019/12/03 v1.6 Let assignment for LaTeX macros (HO)
317Package hyperref Info: Option `implicit' set `false' on input line 4383. 381)
318Package hyperref Info: Hyper figures OFF on input line 4509. 382(/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty
319Package hyperref Info: Link nesting OFF on input line 4514. 383Package: auxhook 2019-12-17 v1.6 Hooks for auxiliary files (HO)
320Package hyperref Info: Hyper index ON on input line 4517. 384)
321Package hyperref Info: Plain pages OFF on input line 4524. 385(/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty
322Package hyperref Info: Backreferencing OFF on input line 4529. 386Package: kvoptions 2019/11/29 v3.13 Key value format for package options (HO)
387)
388\@linkdim=\dimen197
389\Hy@linkcounter=\count275
390\Hy@pagecounter=\count276
391
392(/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def
393File: pd1enc.def 2020/01/14 v7.00d Hyperref: PDFDocEncoding definition (HO)
394Now handling font encoding PD1 ...
395... no UTF-8 mapping file for font encoding PD1
396)
397(/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty
398Package: intcalc 2019/12/15 v1.3 Expandable calculations with integers (HO)
399)
400(/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty
401Package: etexcmds 2019/12/15 v1.7 Avoid name clashes with e-TeX commands (HO)
402)
403\Hy@SavedSpaceFactor=\count277
404\pdfmajorversion=\count278
405Package hyperref Info: Option `bookmarks' set `true' on input line 4421.
406Package hyperref Info: Option `bookmarksopen' set `true' on input line 4421.
407Package hyperref Info: Option `implicit' set `false' on input line 4421.
408Package hyperref Info: Hyper figures OFF on input line 4547.
409Package hyperref Info: Link nesting OFF on input line 4552.
410Package hyperref Info: Hyper index ON on input line 4555.
411Package hyperref Info: Plain pages OFF on input line 4562.
412Package hyperref Info: Backreferencing OFF on input line 4567.
323Package hyperref Info: Implicit mode OFF; no redefinition of LaTeX internals. 413Package hyperref Info: Implicit mode OFF; no redefinition of LaTeX internals.
324Package hyperref Info: Bookmarks ON on input line 4762. 414Package hyperref Info: Bookmarks ON on input line 4800.
325\c@Hy@tempcnt=\count122 415\c@Hy@tempcnt=\count279
326 (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty 416
327\Urlmuskip=\muskip10 417(/usr/share/texlive/texmf-dist/tex/latex/url/url.sty
418\Urlmuskip=\muskip16
328Package: url 2013/09/16 ver 3.4 Verb mode for urls, etc. 419Package: url 2013/09/16 ver 3.4 Verb mode for urls, etc.
329) 420)
330LaTeX Info: Redefining \url on input line 5115. 421LaTeX Info: Redefining \url on input line 5159.
331\XeTeXLinkMargin=\dimen164 422\XeTeXLinkMargin=\dimen198
332\Fld@menulength=\count123 423
333\Field@Width=\dimen165 424(/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty
334\Fld@charsize=\dimen166 425Package: bitset 2019/12/09 v1.3 Handle bit-vector datatype (HO)
335Package hyperref Info: Hyper figures OFF on input line 6369. 426
336Package hyperref Info: Link nesting OFF on input line 6374. 427(/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty
337Package hyperref Info: Hyper index ON on input line 6377. 428Package: bigintcalc 2019/12/15 v1.5 Expandable calculations on big integers (HO
338Package hyperref Info: backreferencing OFF on input line 6384. 429)
339Package hyperref Info: Link coloring OFF on input line 6389. 430))
340Package hyperref Info: Link coloring with OCG OFF on input line 6394. 431\Fld@menulength=\count280
341Package hyperref Info: PDF/A mode OFF on input line 6399. 432\Field@Width=\dimen199
342LaTeX Info: Redefining \ref on input line 6439. 433\Fld@charsize=\dimen256
343LaTeX Info: Redefining \pageref on input line 6443. 434Package hyperref Info: Hyper figures OFF on input line 6430.
344\Hy@abspage=\count124 435Package hyperref Info: Link nesting OFF on input line 6435.
436Package hyperref Info: Hyper index ON on input line 6438.
437Package hyperref Info: backreferencing OFF on input line 6445.
438Package hyperref Info: Link coloring OFF on input line 6450.
439Package hyperref Info: Link coloring with OCG OFF on input line 6455.
440Package hyperref Info: PDF/A mode OFF on input line 6460.
441LaTeX Info: Redefining \ref on input line 6500.
442LaTeX Info: Redefining \pageref on input line 6504.
443\Hy@abspage=\count281
345 444
346 445
347Package hyperref Message: Stopped early. 446Package hyperref Message: Stopped early.
@@ -349,494 +448,243 @@ Package hyperref Message: Stopped early.
349) 448)
350Package hyperref Info: Driver (autodetected): hpdftex. 449Package hyperref Info: Driver (autodetected): hpdftex.
351 (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def 450 (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def
352File: hpdftex.def 2018/02/06 v6.86b Hyperref driver for pdfTeX 451File: hpdftex.def 2020/01/14 v7.00d Hyperref driver for pdfTeX
353\Fld@listcount=\count125 452
354\c@bookmark@seq@number=\count126 453(/usr/share/texlive/texmf-dist/tex/latex/atveryend/atveryend.sty
355 (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty 454Package: atveryend 2019-12-11 v1.11 Hooks at the very end of document (HO)
356Package: rerunfilecheck 2016/05/16 v1.8 Rerun checks for auxiliary files (HO) 455)
357Package uniquecounter Info: New unique counter `rerunfilecheck' on input line 282. 456\Fld@listcount=\count282
358)) (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaserequires.sty (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasecompatibility.sty) (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasefont.sty (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty 457\c@bookmark@seq@number=\count283
458
459(/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty
460Package: rerunfilecheck 2019/12/05 v1.9 Rerun checks for auxiliary files (HO)
461
462(/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty
463Package: uniquecounter 2019/12/15 v1.4 Provide unlimited unique counter (HO)
464)
465Package uniquecounter Info: New unique counter `rerunfilecheck' on input line 2
46686.
467))
468(/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaserequires.sty
469(/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasecompatibility.sty)
470(/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasefont.sty
471(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty
359Package: amssymb 2013/01/14 v3.01 AMS font symbols 472Package: amssymb 2013/01/14 v3.01 AMS font symbols
360 (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty 473
474(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty
361Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support 475Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support
362\@emptytoks=\toks26 476\@emptytoks=\toks26
363\symAMSa=\mathgroup4 477\symAMSa=\mathgroup4
364\symAMSb=\mathgroup5 478\symAMSb=\mathgroup5
479LaTeX Font Info: Redeclaring math symbol \hbar on input line 98.
365LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' 480LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold'
366(Font) U/euf/m/n --> U/euf/b/n on input line 106. 481(Font) U/euf/m/n --> U/euf/b/n on input line 106.
367)) (/usr/share/texlive/texmf-dist/tex/latex/sansmathaccent/sansmathaccent.sty 482))
368Package: sansmathaccent 2013/03/28 483(/usr/share/texlive/texmf-dist/tex/latex/sansmathaccent/sansmathaccent.sty
369 (/usr/share/texlive/texmf-dist/tex/latex/filehook/filehook.sty 484Package: sansmathaccent 2020/01/31
370Package: filehook 2011/10/12 v0.5d Hooks for input files 485
371))) (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetranslator.sty (/usr/share/texlive/texmf-dist/tex/latex/translator/translator.sty 486(/usr/share/texlive/texmf-dist/tex/latex/koma-script/scrlfile.sty
372Package: translator 2018/01/04 v1.12 Easy translation of strings in LaTeX 487Package: scrlfile 2020/01/24 v3.29 KOMA-Script package (loading files)
373)) (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasemisc.sty) (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetwoscreens.sty) (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseoverlay.sty 488)))
374\beamer@argscount=\count127 489(/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetranslator.sty
375\beamer@lastskipcover=\skip44 490(/usr/share/texlive/texmf-dist/tex/latex/translator/translator.sty
376\beamer@trivlistdepth=\count128 491Package: translator 2019-05-31 v1.12a Easy translation of strings in LaTeX
377) (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetitle.sty) (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasesection.sty 492))
378\c@lecture=\count129 493(/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasemisc.sty)
379\c@part=\count130 494(/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetwoscreens.sty)
380\c@section=\count131 495(/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseoverlay.sty
381\c@subsection=\count132 496\beamer@argscount=\count284
382\c@subsubsection=\count133 497\beamer@lastskipcover=\skip50
383) (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseframe.sty 498\beamer@trivlistdepth=\count285
384\beamer@framebox=\box40 499)
385\beamer@frametitlebox=\box41 500(/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetitle.sty)
386\beamer@zoombox=\box42 501(/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasesection.sty
387\beamer@zoomcount=\count134 502\c@lecture=\count286
388\beamer@zoomframecount=\count135 503\c@part=\count287
389\beamer@frametextheight=\dimen167 504\c@section=\count288
390\c@subsectionslide=\count136 505\c@subsection=\count289
391\beamer@frametopskip=\skip45 506\c@subsubsection=\count290
392\beamer@framebottomskip=\skip46 507)
393\beamer@frametopskipautobreak=\skip47 508(/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseframe.sty
394\beamer@framebottomskipautobreak=\skip48 509\beamer@framebox=\box60
510\beamer@frametitlebox=\box61
511\beamer@zoombox=\box62
512\beamer@zoomcount=\count291
513\beamer@zoomframecount=\count292
514\beamer@frametextheight=\dimen257
515\c@subsectionslide=\count293
516\beamer@frametopskip=\skip51
517\beamer@framebottomskip=\skip52
518\beamer@frametopskipautobreak=\skip53
519\beamer@framebottomskipautobreak=\skip54
395\beamer@envbody=\toks27 520\beamer@envbody=\toks27
396\framewidth=\dimen168 521\framewidth=\dimen258
397\c@framenumber=\count137 522\c@framenumber=\count294
398) (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseverbatim.sty 523)
524(/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseverbatim.sty
399\beamer@verbatimfileout=\write4 525\beamer@verbatimfileout=\write4
400) (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseframesize.sty 526)
401\beamer@splitbox=\box43 527(/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseframesize.sty
402\beamer@autobreakcount=\count138 528\beamer@splitbox=\box63
403\beamer@autobreaklastheight=\dimen169 529\beamer@autobreakcount=\count295
530\beamer@autobreaklastheight=\dimen259
404\beamer@frametitletoks=\toks28 531\beamer@frametitletoks=\toks28
405\beamer@framesubtitletoks=\toks29 532\beamer@framesubtitletoks=\toks29
406) (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseframecomponents.sty 533)
407\beamer@footins=\box44 534(/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseframecomponents.sty
408) (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasecolor.sty 535\beamer@footins=\box64
409\beamer@bg@ht=\dimen170 536)
410\beamer@bg@wd=\dimen171 537(/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasecolor.sty)
411\beamer@bg@dp=\dimen172 538(/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasenotes.sty
412) (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasenotes.sty 539\beamer@frameboxcopy=\box65
413\beamer@frameboxcopy=\box45 540)
414) (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetoc.sty) (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetemplates.sty 541(/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetoc.sty)
542(/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetemplates.sty
415\beamer@sbttoks=\toks30 543\beamer@sbttoks=\toks30
416 (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseauxtemplates.sty (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseboxes.sty 544
417\bmb@box=\box46 545(/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseauxtemplates.sty
418\bmb@colorbox=\box47 546(/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseboxes.sty
419\bmb@boxshadow=\box48 547\bmb@box=\box66
420\bmb@boxshadowball=\box49 548\bmb@colorbox=\box67
421\bmb@boxshadowballlarge=\box50 549\bmb@boxshadow=\box68
422\bmb@temp=\dimen173 550\bmb@boxshadowball=\box69
423\bmb@dima=\dimen174 551\bmb@boxshadowballlarge=\box70
424\bmb@dimb=\dimen175 552\bmb@temp=\dimen260
425\bmb@prevheight=\dimen176 553\bmb@dima=\dimen261
554\bmb@dimb=\dimen262
555\bmb@prevheight=\dimen263
426) 556)
427\beamer@blockheadheight=\dimen177 557\beamer@blockheadheight=\dimen264
428)) (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaselocalstructure.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/enumerate.sty 558))
559(/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaselocalstructure.sty
560(/usr/share/texlive/texmf-dist/tex/latex/tools/enumerate.sty
429Package: enumerate 2015/07/23 v3.00 enumerate extensions (DPC) 561Package: enumerate 2015/07/23 v3.00 enumerate extensions (DPC)
430\@enLab=\toks31 562\@enLab=\toks31
431) 563)
432\c@figure=\count139 564\c@figure=\count296
433\c@table=\count140 565\c@table=\count297
434\abovecaptionskip=\skip49 566\abovecaptionskip=\skip55
435\belowcaptionskip=\skip50 567\belowcaptionskip=\skip56
436) 568)
437(/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasenavigation.sty 569(/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasenavigation.sty
438\beamer@section@min@dim=\dimen178 570\beamer@section@min@dim=\dimen265
439) (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetheorems.sty (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty 571)
440Package: amsmath 2017/09/02 v2.17a AMS math features 572(/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetheorems.sty
441\@mathmargin=\skip51 573(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty
574Package: amsmath 2020/01/20 v2.17e AMS math features
575\@mathmargin=\skip57
442 576
443For additional information on amsmath, use the `?' option. 577For additional information on amsmath, use the `?' option.
444(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty 578(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty
445Package: amstext 2000/06/29 v2.01 AMS text 579Package: amstext 2000/06/29 v2.01 AMS text
446 (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty 580
581(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty
447File: amsgen.sty 1999/11/30 v2.0 generic functions 582File: amsgen.sty 1999/11/30 v2.0 generic functions
448\@emptytoks=\toks32 583\@emptytoks=\toks32
449\ex@=\dimen179 584\ex@=\dimen266
450)) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty 585))
586(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty
451Package: amsbsy 1999/11/29 v1.2d Bold Symbols 587Package: amsbsy 1999/11/29 v1.2d Bold Symbols
452\pmbraise@=\dimen180 588\pmbraise@=\dimen267
453) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty 589)
590(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty
454Package: amsopn 2016/03/08 v2.02 operator names 591Package: amsopn 2016/03/08 v2.02 operator names
455) 592)
456\inf@bad=\count141 593\inf@bad=\count298
457LaTeX Info: Redefining \frac on input line 213. 594LaTeX Info: Redefining \frac on input line 227.
458\uproot@=\count142 595\uproot@=\count299
459\leftroot@=\count143 596\leftroot@=\count300
460LaTeX Info: Redefining \overline on input line 375. 597LaTeX Info: Redefining \overline on input line 389.
461\classnum@=\count144 598\classnum@=\count301
462\DOTSCASE@=\count145 599\DOTSCASE@=\count302
463LaTeX Info: Redefining \ldots on input line 472. 600LaTeX Info: Redefining \ldots on input line 486.
464LaTeX Info: Redefining \dots on input line 475. 601LaTeX Info: Redefining \dots on input line 489.
465LaTeX Info: Redefining \cdots on input line 596. 602LaTeX Info: Redefining \cdots on input line 610.
466\Mathstrutbox@=\box51 603\Mathstrutbox@=\box71
467\strutbox@=\box52 604\strutbox@=\box72
468\big@size=\dimen181 605\big@size=\dimen268
469LaTeX Font Info: Redeclaring font encoding OML on input line 712. 606LaTeX Font Info: Redeclaring font encoding OML on input line 733.
470LaTeX Font Info: Redeclaring font encoding OMS on input line 713. 607LaTeX Font Info: Redeclaring font encoding OMS on input line 734.
471\macc@depth=\count146 608\macc@depth=\count303
472\c@MaxMatrixCols=\count147 609\c@MaxMatrixCols=\count304
473\dotsspace@=\muskip11 610\dotsspace@=\muskip17
474\c@parentequation=\count148 611\c@parentequation=\count305
475\dspbrk@lvl=\count149 612\dspbrk@lvl=\count306
476\tag@help=\toks33 613\tag@help=\toks33
477\row@=\count150 614\row@=\count307
478\column@=\count151 615\column@=\count308
479\maxfields@=\count152 616\maxfields@=\count309
480\andhelp@=\toks34 617\andhelp@=\toks34
481\eqnshift@=\dimen182 618\eqnshift@=\dimen269
482\alignsep@=\dimen183 619\alignsep@=\dimen270
483\tagshift@=\dimen184 620\tagshift@=\dimen271
484\tagwidth@=\dimen185 621\tagwidth@=\dimen272
485\totwidth@=\dimen186 622\totwidth@=\dimen273
486\lineht@=\dimen187 623\lineht@=\dimen274
487\@envbody=\toks35 624\@envbody=\toks35
488\multlinegap=\skip52 625\multlinegap=\skip58
489\multlinetaggap=\skip53 626\multlinetaggap=\skip59
490\mathdisplay@stack=\toks36 627\mathdisplay@stack=\toks36
491LaTeX Info: Redefining \[ on input line 2817. 628LaTeX Info: Redefining \[ on input line 2859.
492LaTeX Info: Redefining \] on input line 2818. 629LaTeX Info: Redefining \] on input line 2860.
493) (/usr/share/texlive/texmf-dist/tex/latex/amscls/amsthm.sty 630)
631(/usr/share/texlive/texmf-dist/tex/latex/amscls/amsthm.sty
494Package: amsthm 2017/10/31 v2.20.4 632Package: amsthm 2017/10/31 v2.20.4
495\thm@style=\toks37 633\thm@style=\toks37
496\thm@bodyfont=\toks38 634\thm@bodyfont=\toks38
497\thm@headfont=\toks39 635\thm@headfont=\toks39
498\thm@notefont=\toks40 636\thm@notefont=\toks40
499\thm@headpunct=\toks41 637\thm@headpunct=\toks41
500\thm@preskip=\skip54 638\thm@preskip=\skip60
501\thm@postskip=\skip55 639\thm@postskip=\skip61
502\thm@headsep=\skip56 640\thm@headsep=\skip62
503\dth@everypar=\toks42 641\dth@everypar=\toks42
504) 642)
505\c@theorem=\count153 643\c@theorem=\count310
506) (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasethemes.sty)) (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerthemedefault.sty (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerfontthemedefault.sty) (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamercolorthemedefault.sty) (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerinnerthemedefault.sty
507\beamer@dima=\dimen188
508\beamer@dimb=\dimen189
509) (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerouterthemedefault.sty))) (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerthemeMadrid.sty (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamercolorthemewhale.sty) (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamercolorthemeorchid.sty) (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerinnerthemerounded.sty) (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerouterthemeinfolines.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty
510Package: inputenc 2015/03/17 v1.2c Input encoding file
511\inpenc@prehook=\toks43
512\inpenc@posthook=\toks44
513 (/usr/share/texlive/texmf-dist/tex/latex/base/utf8.def
514File: utf8.def 2017/01/28 v1.1t UTF-8 support for inputenc
515Now handling font encoding OML ...
516... no UTF-8 mapping file for font encoding OML
517Now handling font encoding T1 ...
518... processing UTF-8 mapping file for font encoding T1
519 (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.dfu
520File: t1enc.dfu 2017/01/28 v1.1t UTF-8 support for inputenc
521 defining Unicode char U+00A0 (decimal 160)
522 defining Unicode char U+00A1 (decimal 161)
523 defining Unicode char U+00A3 (decimal 163)
524 defining Unicode char U+00AB (decimal 171)
525 defining Unicode char U+00AD (decimal 173)
526 defining Unicode char U+00BB (decimal 187)
527 defining Unicode char U+00BF (decimal 191)
528 defining Unicode char U+00C0 (decimal 192)
529 defining Unicode char U+00C1 (decimal 193)
530 defining Unicode char U+00C2 (decimal 194)
531 defining Unicode char U+00C3 (decimal 195)
532 defining Unicode char U+00C4 (decimal 196)
533 defining Unicode char U+00C5 (decimal 197)
534 defining Unicode char U+00C6 (decimal 198)
535 defining Unicode char U+00C7 (decimal 199)
536 defining Unicode char U+00C8 (decimal 200)
537 defining Unicode char U+00C9 (decimal 201)
538 defining Unicode char U+00CA (decimal 202)
539 defining Unicode char U+00CB (decimal 203)
540 defining Unicode char U+00CC (decimal 204)
541 defining Unicode char U+00CD (decimal 205)
542 defining Unicode char U+00CE (decimal 206)
543 defining Unicode char U+00CF (decimal 207)
544 defining Unicode char U+00D0 (decimal 208)
545 defining Unicode char U+00D1 (decimal 209)
546 defining Unicode char U+00D2 (decimal 210)
547 defining Unicode char U+00D3 (decimal 211)
548 defining Unicode char U+00D4 (decimal 212)
549 defining Unicode char U+00D5 (decimal 213)
550 defining Unicode char U+00D6 (decimal 214)
551 defining Unicode char U+00D8 (decimal 216)
552 defining Unicode char U+00D9 (decimal 217)
553 defining Unicode char U+00DA (decimal 218)
554 defining Unicode char U+00DB (decimal 219)
555 defining Unicode char U+00DC (decimal 220)
556 defining Unicode char U+00DD (decimal 221)
557 defining Unicode char U+00DE (decimal 222)
558 defining Unicode char U+00DF (decimal 223)
559 defining Unicode char U+00E0 (decimal 224)
560 defining Unicode char U+00E1 (decimal 225)
561 defining Unicode char U+00E2 (decimal 226)
562 defining Unicode char U+00E3 (decimal 227)
563 defining Unicode char U+00E4 (decimal 228)
564 defining Unicode char U+00E5 (decimal 229)
565 defining Unicode char U+00E6 (decimal 230)
566 defining Unicode char U+00E7 (decimal 231)
567 defining Unicode char U+00E8 (decimal 232)
568 defining Unicode char U+00E9 (decimal 233)
569 defining Unicode char U+00EA (decimal 234)
570 defining Unicode char U+00EB (decimal 235)
571 defining Unicode char U+00EC (decimal 236)
572 defining Unicode char U+00ED (decimal 237)
573 defining Unicode char U+00EE (decimal 238)
574 defining Unicode char U+00EF (decimal 239)
575 defining Unicode char U+00F0 (decimal 240)
576 defining Unicode char U+00F1 (decimal 241)
577 defining Unicode char U+00F2 (decimal 242)
578 defining Unicode char U+00F3 (decimal 243)
579 defining Unicode char U+00F4 (decimal 244)
580 defining Unicode char U+00F5 (decimal 245)
581 defining Unicode char U+00F6 (decimal 246)
582 defining Unicode char U+00F8 (decimal 248)
583 defining Unicode char U+00F9 (decimal 249)
584 defining Unicode char U+00FA (decimal 250)
585 defining Unicode char U+00FB (decimal 251)
586 defining Unicode char U+00FC (decimal 252)
587 defining Unicode char U+00FD (decimal 253)
588 defining Unicode char U+00FE (decimal 254)
589 defining Unicode char U+00FF (decimal 255)
590 defining Unicode char U+0100 (decimal 256)
591 defining Unicode char U+0101 (decimal 257)
592 defining Unicode char U+0102 (decimal 258)
593 defining Unicode char U+0103 (decimal 259)
594 defining Unicode char U+0104 (decimal 260)
595 defining Unicode char U+0105 (decimal 261)
596 defining Unicode char U+0106 (decimal 262)
597 defining Unicode char U+0107 (decimal 263)
598 defining Unicode char U+0108 (decimal 264)
599 defining Unicode char U+0109 (decimal 265)
600 defining Unicode char U+010A (decimal 266)
601 defining Unicode char U+010B (decimal 267)
602 defining Unicode char U+010C (decimal 268)
603 defining Unicode char U+010D (decimal 269)
604 defining Unicode char U+010E (decimal 270)
605 defining Unicode char U+010F (decimal 271)
606 defining Unicode char U+0110 (decimal 272)
607 defining Unicode char U+0111 (decimal 273)
608 defining Unicode char U+0112 (decimal 274)
609 defining Unicode char U+0113 (decimal 275)
610 defining Unicode char U+0114 (decimal 276)
611 defining Unicode char U+0115 (decimal 277)
612 defining Unicode char U+0116 (decimal 278)
613 defining Unicode char U+0117 (decimal 279)
614 defining Unicode char U+0118 (decimal 280)
615 defining Unicode char U+0119 (decimal 281)
616 defining Unicode char U+011A (decimal 282)
617 defining Unicode char U+011B (decimal 283)
618 defining Unicode char U+011C (decimal 284)
619 defining Unicode char U+011D (decimal 285)
620 defining Unicode char U+011E (decimal 286)
621 defining Unicode char U+011F (decimal 287)
622 defining Unicode char U+0120 (decimal 288)
623 defining Unicode char U+0121 (decimal 289)
624 defining Unicode char U+0122 (decimal 290)
625 defining Unicode char U+0123 (decimal 291)
626 defining Unicode char U+0124 (decimal 292)
627 defining Unicode char U+0125 (decimal 293)
628 defining Unicode char U+0128 (decimal 296)
629 defining Unicode char U+0129 (decimal 297)
630 defining Unicode char U+012A (decimal 298)
631 defining Unicode char U+012B (decimal 299)
632 defining Unicode char U+012C (decimal 300)
633 defining Unicode char U+012D (decimal 301)
634 defining Unicode char U+012E (decimal 302)
635 defining Unicode char U+012F (decimal 303)
636 defining Unicode char U+0130 (decimal 304)
637 defining Unicode char U+0131 (decimal 305)
638 defining Unicode char U+0132 (decimal 306)
639 defining Unicode char U+0133 (decimal 307)
640 defining Unicode char U+0134 (decimal 308)
641 defining Unicode char U+0135 (decimal 309)
642 defining Unicode char U+0136 (decimal 310)
643 defining Unicode char U+0137 (decimal 311)
644 defining Unicode char U+0139 (decimal 313)
645 defining Unicode char U+013A (decimal 314)
646 defining Unicode char U+013B (decimal 315)
647 defining Unicode char U+013C (decimal 316)
648 defining Unicode char U+013D (decimal 317)
649 defining Unicode char U+013E (decimal 318)
650 defining Unicode char U+0141 (decimal 321)
651 defining Unicode char U+0142 (decimal 322)
652 defining Unicode char U+0143 (decimal 323)
653 defining Unicode char U+0144 (decimal 324)
654 defining Unicode char U+0145 (decimal 325)
655 defining Unicode char U+0146 (decimal 326)
656 defining Unicode char U+0147 (decimal 327)
657 defining Unicode char U+0148 (decimal 328)
658 defining Unicode char U+014A (decimal 330)
659 defining Unicode char U+014B (decimal 331)
660 defining Unicode char U+014C (decimal 332)
661 defining Unicode char U+014D (decimal 333)
662 defining Unicode char U+014E (decimal 334)
663 defining Unicode char U+014F (decimal 335)
664 defining Unicode char U+0150 (decimal 336)
665 defining Unicode char U+0151 (decimal 337)
666 defining Unicode char U+0152 (decimal 338)
667 defining Unicode char U+0153 (decimal 339)
668 defining Unicode char U+0154 (decimal 340)
669 defining Unicode char U+0155 (decimal 341)
670 defining Unicode char U+0156 (decimal 342)
671 defining Unicode char U+0157 (decimal 343)
672 defining Unicode char U+0158 (decimal 344)
673 defining Unicode char U+0159 (decimal 345)
674 defining Unicode char U+015A (decimal 346)
675 defining Unicode char U+015B (decimal 347)
676 defining Unicode char U+015C (decimal 348)
677 defining Unicode char U+015D (decimal 349)
678 defining Unicode char U+015E (decimal 350)
679 defining Unicode char U+015F (decimal 351)
680 defining Unicode char U+0160 (decimal 352)
681 defining Unicode char U+0161 (decimal 353)
682 defining Unicode char U+0162 (decimal 354)
683 defining Unicode char U+0163 (decimal 355)
684 defining Unicode char U+0164 (decimal 356)
685 defining Unicode char U+0165 (decimal 357)
686 defining Unicode char U+0168 (decimal 360)
687 defining Unicode char U+0169 (decimal 361)
688 defining Unicode char U+016A (decimal 362)
689 defining Unicode char U+016B (decimal 363)
690 defining Unicode char U+016C (decimal 364)
691 defining Unicode char U+016D (decimal 365)
692 defining Unicode char U+016E (decimal 366)
693 defining Unicode char U+016F (decimal 367)
694 defining Unicode char U+0170 (decimal 368)
695 defining Unicode char U+0171 (decimal 369)
696 defining Unicode char U+0172 (decimal 370)
697 defining Unicode char U+0173 (decimal 371)
698 defining Unicode char U+0174 (decimal 372)
699 defining Unicode char U+0175 (decimal 373)
700 defining Unicode char U+0176 (decimal 374)
701 defining Unicode char U+0177 (decimal 375)
702 defining Unicode char U+0178 (decimal 376)
703 defining Unicode char U+0179 (decimal 377)
704 defining Unicode char U+017A (decimal 378)
705 defining Unicode char U+017B (decimal 379)
706 defining Unicode char U+017C (decimal 380)
707 defining Unicode char U+017D (decimal 381)
708 defining Unicode char U+017E (decimal 382)
709 defining Unicode char U+01CD (decimal 461)
710 defining Unicode char U+01CE (decimal 462)
711 defining Unicode char U+01CF (decimal 463)
712 defining Unicode char U+01D0 (decimal 464)
713 defining Unicode char U+01D1 (decimal 465)
714 defining Unicode char U+01D2 (decimal 466)
715 defining Unicode char U+01D3 (decimal 467)
716 defining Unicode char U+01D4 (decimal 468)
717 defining Unicode char U+01E2 (decimal 482)
718 defining Unicode char U+01E3 (decimal 483)
719 defining Unicode char U+01E6 (decimal 486)
720 defining Unicode char U+01E7 (decimal 487)
721 defining Unicode char U+01E8 (decimal 488)
722 defining Unicode char U+01E9 (decimal 489)
723 defining Unicode char U+01EA (decimal 490)
724 defining Unicode char U+01EB (decimal 491)
725 defining Unicode char U+01F0 (decimal 496)
726 defining Unicode char U+01F4 (decimal 500)
727 defining Unicode char U+01F5 (decimal 501)
728 defining Unicode char U+0218 (decimal 536)
729 defining Unicode char U+0219 (decimal 537)
730 defining Unicode char U+021A (decimal 538)
731 defining Unicode char U+021B (decimal 539)
732 defining Unicode char U+0232 (decimal 562)
733 defining Unicode char U+0233 (decimal 563)
734 defining Unicode char U+1E02 (decimal 7682)
735 defining Unicode char U+1E03 (decimal 7683)
736 defining Unicode char U+200C (decimal 8204)
737 defining Unicode char U+2010 (decimal 8208)
738 defining Unicode char U+2011 (decimal 8209)
739 defining Unicode char U+2012 (decimal 8210)
740 defining Unicode char U+2013 (decimal 8211)
741 defining Unicode char U+2014 (decimal 8212)
742 defining Unicode char U+2015 (decimal 8213)
743 defining Unicode char U+2018 (decimal 8216)
744 defining Unicode char U+2019 (decimal 8217)
745 defining Unicode char U+201A (decimal 8218)
746 defining Unicode char U+201C (decimal 8220)
747 defining Unicode char U+201D (decimal 8221)
748 defining Unicode char U+201E (decimal 8222)
749 defining Unicode char U+2030 (decimal 8240)
750 defining Unicode char U+2031 (decimal 8241)
751 defining Unicode char U+2039 (decimal 8249)
752 defining Unicode char U+203A (decimal 8250)
753 defining Unicode char U+2423 (decimal 9251)
754 defining Unicode char U+1E20 (decimal 7712)
755 defining Unicode char U+1E21 (decimal 7713)
756) 644)
757Now handling font encoding OT1 ... 645(/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasethemes.sty))
758... processing UTF-8 mapping file for font encoding OT1 646(/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerthemedefault.sty
759 (/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.dfu 647(/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerfontthemedefault.sty)
760File: ot1enc.dfu 2017/01/28 v1.1t UTF-8 support for inputenc 648(/usr/share/texlive/texmf-dist/tex/latex/beamer/beamercolorthemedefault.sty)
761 defining Unicode char U+00A0 (decimal 160) 649(/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerinnerthemedefault.sty
762 defining Unicode char U+00A1 (decimal 161) 650\beamer@dima=\dimen275
763 defining Unicode char U+00A3 (decimal 163) 651\beamer@dimb=\dimen276
764 defining Unicode char U+00AD (decimal 173)
765 defining Unicode char U+00B8 (decimal 184)
766 defining Unicode char U+00BF (decimal 191)
767 defining Unicode char U+00C5 (decimal 197)
768 defining Unicode char U+00C6 (decimal 198)
769 defining Unicode char U+00D8 (decimal 216)
770 defining Unicode char U+00DF (decimal 223)
771 defining Unicode char U+00E6 (decimal 230)
772 defining Unicode char U+00EC (decimal 236)
773 defining Unicode char U+00ED (decimal 237)
774 defining Unicode char U+00EE (decimal 238)
775 defining Unicode char U+00EF (decimal 239)
776 defining Unicode char U+00F8 (decimal 248)
777 defining Unicode char U+0131 (decimal 305)
778 defining Unicode char U+0141 (decimal 321)
779 defining Unicode char U+0142 (decimal 322)
780 defining Unicode char U+0152 (decimal 338)
781 defining Unicode char U+0153 (decimal 339)
782 defining Unicode char U+0174 (decimal 372)
783 defining Unicode char U+0175 (decimal 373)
784 defining Unicode char U+0176 (decimal 374)
785 defining Unicode char U+0177 (decimal 375)
786 defining Unicode char U+0218 (decimal 536)
787 defining Unicode char U+0219 (decimal 537)
788 defining Unicode char U+021A (decimal 538)
789 defining Unicode char U+021B (decimal 539)
790 defining Unicode char U+2013 (decimal 8211)
791 defining Unicode char U+2014 (decimal 8212)
792 defining Unicode char U+2018 (decimal 8216)
793 defining Unicode char U+2019 (decimal 8217)
794 defining Unicode char U+201C (decimal 8220)
795 defining Unicode char U+201D (decimal 8221)
796) 652)
797Now handling font encoding OMS ... 653(/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerouterthemedefault.sty)))
798... processing UTF-8 mapping file for font encoding OMS 654(/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerthemeMadrid.sty
799 (/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.dfu 655(/usr/share/texlive/texmf-dist/tex/latex/beamer/beamercolorthemewhale.sty)
800File: omsenc.dfu 2017/01/28 v1.1t UTF-8 support for inputenc 656(/usr/share/texlive/texmf-dist/tex/latex/beamer/beamercolorthemeorchid.sty)
801 defining Unicode char U+00A7 (decimal 167) 657(/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerinnerthemerounded.sty)
802 defining Unicode char U+00B6 (decimal 182) 658(/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerouterthemeinfolines.sty))
803 defining Unicode char U+00B7 (decimal 183) 659(/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty
804 defining Unicode char U+2020 (decimal 8224) 660Package: inputenc 2018/08/11 v1.3c Input encoding file
805 defining Unicode char U+2021 (decimal 8225) 661\inpenc@prehook=\toks43
806 defining Unicode char U+2022 (decimal 8226) 662\inpenc@posthook=\toks44
807) 663)
808Now handling font encoding OMX ... 664(/usr/share/texlive/texmf-dist/tex/latex/setspace/setspace.sty
809... no UTF-8 mapping file for font encoding OMX
810Now handling font encoding U ...
811... no UTF-8 mapping file for font encoding U
812Now handling font encoding PD1 ...
813... no UTF-8 mapping file for font encoding PD1
814 defining Unicode char U+00A9 (decimal 169)
815 defining Unicode char U+00AA (decimal 170)
816 defining Unicode char U+00AE (decimal 174)
817 defining Unicode char U+00BA (decimal 186)
818 defining Unicode char U+02C6 (decimal 710)
819 defining Unicode char U+02DC (decimal 732)
820 defining Unicode char U+200C (decimal 8204)
821 defining Unicode char U+2026 (decimal 8230)
822 defining Unicode char U+2122 (decimal 8482)
823 defining Unicode char U+2423 (decimal 9251)
824)) (/usr/share/texlive/texmf-dist/tex/latex/setspace/setspace.sty
825Package: setspace 2011/12/19 v6.7a set line spacing 665Package: setspace 2011/12/19 v6.7a set line spacing
826) 666)
827\c@proposition=\count154 667\c@proposition=\count311
828\c@remark=\count155 668\c@remark=\count312
829\c@exercise=\count156 669\c@exercise=\count313
830 (./preplogic-slides.aux) 670
671(/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdfmode.def
672File: l3backend-pdfmode.def 2020-02-03 L3 backend support: PDF mode
673\l__kernel_color_stack_int=\count314
674\l__pdf_internal_box=\box73
675)
676(./preplogic-slides.aux)
831\openout1 = `preplogic-slides.aux'. 677\openout1 = `preplogic-slides.aux'.
832 678
833LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 30. 679LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 30.
834LaTeX Font Info: ... okay on input line 30. 680LaTeX Font Info: ... okay on input line 30.
835LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 30. 681LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 30.
836LaTeX Font Info: ... okay on input line 30. 682LaTeX Font Info: ... okay on input line 30.
837LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 30. 683LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 30.
838LaTeX Font Info: ... okay on input line 30. 684LaTeX Font Info: ... okay on input line 30.
839LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 30. 685LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 30.
686LaTeX Font Info: ... okay on input line 30.
687LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 30.
840LaTeX Font Info: ... okay on input line 30. 688LaTeX Font Info: ... okay on input line 30.
841LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 30. 689LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 30.
842LaTeX Font Info: ... okay on input line 30. 690LaTeX Font Info: ... okay on input line 30.
@@ -881,58 +729,62 @@ LaTeX Font Info: ... okay on input line 30.
881 729
882(/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii 730(/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii
883[Loading MPS to PDF converter (version 2006.09.02).] 731[Loading MPS to PDF converter (version 2006.09.02).]
884\scratchcounter=\count157 732\scratchcounter=\count315
885\scratchdimen=\dimen190 733\scratchdimen=\dimen277
886\scratchbox=\box53 734\scratchbox=\box74
887\nofMPsegments=\count158 735\nofMPsegments=\count316
888\nofMParguments=\count159 736\nofMParguments=\count317
889\everyMPshowfont=\toks45 737\everyMPshowfont=\toks45
890\MPscratchCnt=\count160 738\MPscratchCnt=\count318
891\MPscratchDim=\dimen191 739\MPscratchDim=\dimen278
892\MPnumerator=\count161 740\MPnumerator=\count319
893\makeMPintoPDFobject=\count162 741\makeMPintoPDFobject=\count320
894\everyMPtoPDFconversion=\toks46 742\everyMPtoPDFconversion=\toks46
895) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty 743) (/usr/share/texlive/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty
896Package: epstopdf-base 2016/05/15 v2.6 Base part for package epstopdf 744Package: epstopdf-base 2020-01-24 v2.11 Base part for package epstopdf
897 (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/grfext.sty 745Package epstopdf-base Info: Redefining graphics rule for `.eps' on input line 4
898Package: grfext 2016/05/16 v1.2 Manage graphics extensions (HO) 74685.
899) 747
900Package epstopdf-base Info: Redefining graphics rule for `.eps' on input line 438. 748(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg
901Package grfext Info: Graphics extension search list: 749File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Liv
902(grfext) [.pdf,.png,.jpg,.mps,.jpeg,.jbig2,.jb2,.PDF,.PNG,.JPG,.JPEG,.JBIG2,.JB2,.eps] 750e
903(grfext) \AppendGraphicsExtensions on input line 456. 751))
904 (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg 752ABD: EveryShipout initializing macros
905File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Live 753\AtBeginShipoutBox=\box75
906)) ABD: EveryShipout initializing macros
907\AtBeginShipoutBox=\box54
908Package hyperref Info: Link coloring OFF on input line 30. 754Package hyperref Info: Link coloring OFF on input line 30.
909 (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty 755
910Package: nameref 2016/05/21 v2.44 Cross-referencing by name of section 756(/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
911 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty 757Package: nameref 2019/09/16 v2.46 Cross-referencing by name of section
912Package: gettitlestring 2016/05/16 v1.5 Cleanup title references (HO) 758
759(/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty
760Package: refcount 2019/12/15 v3.6 Data extraction from label references (HO)
761)
762(/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty
763Package: gettitlestring 2019/12/15 v1.6 Cleanup title references (HO)
913) 764)
914\c@section@level=\count163 765\c@section@level=\count321
915) 766)
916LaTeX Info: Redefining \ref on input line 30. 767LaTeX Info: Redefining \ref on input line 30.
917LaTeX Info: Redefining \pageref on input line 30. 768LaTeX Info: Redefining \pageref on input line 30.
918LaTeX Info: Redefining \nameref on input line 30. 769LaTeX Info: Redefining \nameref on input line 30.
919 (./preplogic-slides.out) (./preplogic-slides.out) 770
771(./preplogic-slides.out) (./preplogic-slides.out)
920\@outlinefile=\write5 772\@outlinefile=\write5
921\openout5 = `preplogic-slides.out'. 773\openout5 = `preplogic-slides.out'.
922 774
923LaTeX Font Info: Overwriting symbol font `operators' in version `normal' 775LaTeX Font Info: Overwriting symbol font `operators' in version `normal'
924(Font) OT1/cmr/m/n --> OT1/cmss/m/n on input line 30. 776(Font) OT1/cmr/m/n --> OT1/cmss/m/n on input line 30.
925LaTeX Font Info: Overwriting symbol font `operators' in version `bold' 777LaTeX Font Info: Overwriting symbol font `operators' in version `bold'
926(Font) OT1/cmr/bx/n --> OT1/cmss/bx/n on input line 30. 778(Font) OT1/cmr/bx/n --> OT1/cmss/b/n on input line 30.
927\symnumbers=\mathgroup6 779\symnumbers=\mathgroup6
928\sympureletters=\mathgroup7 780\sympureletters=\mathgroup7
929LaTeX Font Info: Overwriting math alphabet `\mathrm' in version `normal' 781LaTeX Font Info: Overwriting math alphabet `\mathrm' in version `normal'
930(Font) OT1/cmss/m/n --> OT1/cmr/m/n on input line 30. 782(Font) OT1/cmss/m/n --> OT1/cmr/m/n on input line 30.
931LaTeX Font Info: Redeclaring math alphabet \mathbf on input line 30. 783LaTeX Font Info: Redeclaring math alphabet \mathbf on input line 30.
932LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `normal' 784LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `normal'
933(Font) OT1/cmr/bx/n --> OT1/cmss/bx/n on input line 30. 785(Font) OT1/cmr/bx/n --> OT1/cmss/b/n on input line 30.
934LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `bold' 786LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `bold'
935(Font) OT1/cmr/bx/n --> OT1/cmss/bx/n on input line 30. 787(Font) OT1/cmr/bx/n --> OT1/cmss/b/n on input line 30.
936LaTeX Font Info: Redeclaring math alphabet \mathsf on input line 30. 788LaTeX Font Info: Redeclaring math alphabet \mathsf on input line 30.
937LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `normal' 789LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `normal'
938(Font) OT1/cmss/m/n --> OT1/cmss/m/n on input line 30. 790(Font) OT1/cmss/m/n --> OT1/cmss/m/n on input line 30.
@@ -949,37 +801,52 @@ LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `normal'
949LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `bold' 801LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `bold'
950(Font) OT1/cmtt/m/n --> OT1/cmtt/m/n on input line 30. 802(Font) OT1/cmtt/m/n --> OT1/cmtt/m/n on input line 30.
951LaTeX Font Info: Overwriting symbol font `numbers' in version `bold' 803LaTeX Font Info: Overwriting symbol font `numbers' in version `bold'
952(Font) OT1/cmss/m/n --> OT1/cmss/bx/n on input line 30. 804(Font) OT1/cmss/m/n --> OT1/cmss/b/n on input line 30.
953LaTeX Font Info: Overwriting symbol font `pureletters' in version `bold' 805LaTeX Font Info: Overwriting symbol font `pureletters' in version `bold'
954(Font) OT1/cmss/m/it --> OT1/cmss/bx/it on input line 30. 806(Font) OT1/cmss/m/it --> OT1/cmss/b/it on input line 30.
955LaTeX Font Info: Overwriting math alphabet `\mathrm' in version `bold' 807LaTeX Font Info: Overwriting math alphabet `\mathrm' in version `bold'
956(Font) OT1/cmss/bx/n --> OT1/cmr/bx/n on input line 30. 808(Font) OT1/cmss/b/n --> OT1/cmr/b/n on input line 30.
957LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `bold' 809LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `bold'
958(Font) OT1/cmss/bx/n --> OT1/cmss/bx/n on input line 30. 810(Font) OT1/cmss/b/n --> OT1/cmss/b/n on input line 30.
959LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `bold' 811LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `bold'
960(Font) OT1/cmss/m/n --> OT1/cmss/bx/n on input line 30. 812(Font) OT1/cmss/m/n --> OT1/cmss/b/n on input line 30.
961LaTeX Font Info: Overwriting math alphabet `\mathit' in version `bold' 813LaTeX Font Info: Overwriting math alphabet `\mathit' in version `bold'
962(Font) OT1/cmss/m/it --> OT1/cmss/bx/it on input line 30. 814(Font) OT1/cmss/m/it --> OT1/cmss/b/it on input line 30.
963LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `bold' 815LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `bold'
964(Font) OT1/cmtt/m/n --> OT1/cmtt/bx/n on input line 30. 816(Font) OT1/cmtt/m/n --> OT1/cmtt/b/n on input line 30.
965LaTeX Font Info: Redeclaring symbol font `pureletters' on input line 30. 817LaTeX Font Info: Redeclaring symbol font `pureletters' on input line 30.
966LaTeX Font Info: Overwriting symbol font `pureletters' in version `normal' 818LaTeX Font Info: Overwriting symbol font `pureletters' in version `normal'
967(Font) OT1/cmss/m/it --> OT1/mathkerncmss/m/sl on input line 30. 819(Font) OT1/cmss/m/it --> OT1/mathkerncmss/m/sl on input line 3
8200.
968LaTeX Font Info: Overwriting symbol font `pureletters' in version `bold' 821LaTeX Font Info: Overwriting symbol font `pureletters' in version `bold'
969(Font) OT1/cmss/bx/it --> OT1/mathkerncmss/m/sl on input line 30. 822(Font) OT1/cmss/b/it --> OT1/mathkerncmss/m/sl on input line 3
8230.
970LaTeX Font Info: Overwriting symbol font `pureletters' in version `bold' 824LaTeX Font Info: Overwriting symbol font `pureletters' in version `bold'
971(Font) OT1/mathkerncmss/m/sl --> OT1/mathkerncmss/bx/sl on input line 30. 825(Font) OT1/mathkerncmss/m/sl --> OT1/mathkerncmss/bx/sl on inp
972 (/usr/share/texlive/texmf-dist/tex/latex/translator/translator-basic-dictionary-English.dict 826ut line 30.
827
828(/usr/share/texlive/texmf-dist/tex/latex/translator/translator-basic-dictionary
829-English.dict
973Dictionary: translator-basic-dictionary, Language: English 830Dictionary: translator-basic-dictionary, Language: English
974) (/usr/share/texlive/texmf-dist/tex/latex/translator/translator-bibliography-dictionary-English.dict 831)
832(/usr/share/texlive/texmf-dist/tex/latex/translator/translator-bibliography-dic
833tionary-English.dict
975Dictionary: translator-bibliography-dictionary, Language: English 834Dictionary: translator-bibliography-dictionary, Language: English
976) (/usr/share/texlive/texmf-dist/tex/latex/translator/translator-environment-dictionary-English.dict 835)
836(/usr/share/texlive/texmf-dist/tex/latex/translator/translator-environment-dict
837ionary-English.dict
977Dictionary: translator-environment-dictionary, Language: English 838Dictionary: translator-environment-dictionary, Language: English
978) (/usr/share/texlive/texmf-dist/tex/latex/translator/translator-months-dictionary-English.dict 839)
840(/usr/share/texlive/texmf-dist/tex/latex/translator/translator-months-dictionar
841y-English.dict
979Dictionary: translator-months-dictionary, Language: English 842Dictionary: translator-months-dictionary, Language: English
980) (/usr/share/texlive/texmf-dist/tex/latex/translator/translator-numbers-dictionary-English.dict 843)
844(/usr/share/texlive/texmf-dist/tex/latex/translator/translator-numbers-dictiona
845ry-English.dict
981Dictionary: translator-numbers-dictionary, Language: English 846Dictionary: translator-numbers-dictionary, Language: English
982) (/usr/share/texlive/texmf-dist/tex/latex/translator/translator-theorem-dictionary-English.dict 847)
848(/usr/share/texlive/texmf-dist/tex/latex/translator/translator-theorem-dictiona
849ry-English.dict
983Dictionary: translator-theorem-dictionary, Language: English 850Dictionary: translator-theorem-dictionary, Language: English
984) (./preplogic-slides.nav) 851) (./preplogic-slides.nav)
985<unilu.jpg, id=40, 645.16031pt x 578.16pt> 852<unilu.jpg, id=40, 645.16031pt x 578.16pt>
@@ -989,7 +856,8 @@ Package pdftex.def Info: unilu.jpg used on input line 34.
989(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 856(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
990 [1 857 [1
991 858
992{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map} <./unilu.jpg>] (./preplogic-slides.toc) 859{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map} <./unilu.jpg>] (./preplogic
860-slides.toc)
993File: unilu.jpg Graphic file (type jpg) 861File: unilu.jpg Graphic file (type jpg)
994<use unilu.jpg> 862<use unilu.jpg>
995Package pdftex.def Info: unilu.jpg used on input line 39. 863Package pdftex.def Info: unilu.jpg used on input line 39.
@@ -1022,7 +890,8 @@ File: unilu.jpg Graphic file (type jpg)
1022<use unilu.jpg> 890<use unilu.jpg>
1023Package pdftex.def Info: unilu.jpg used on input line 66. 891Package pdftex.def Info: unilu.jpg used on input line 66.
1024(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 892(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1025 [6 893
894[6
1026 895
1027] 896]
1028File: unilu.jpg Graphic file (type jpg) 897File: unilu.jpg Graphic file (type jpg)
@@ -1046,23 +915,30 @@ Package pdftex.def Info: unilu.jpg used on input line 66.
1046 [9 915 [9
1047 916
1048] 917]
1049LaTeX Font Info: Try loading font information for U+msa on input line 76. 918LaTeX Font Info: Trying to load font information for U+msa on input line 76.
919
1050 (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd 920 (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd
1051File: umsa.fd 2013/01/14 v3.01 AMS symbols A 921File: umsa.fd 2013/01/14 v3.01 AMS symbols A
1052) 922)
1053LaTeX Font Info: Try loading font information for U+msb on input line 76. 923LaTeX Font Info: Trying to load font information for U+msb on input line 76.
1054 (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd 924
925
926(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd
1055File: umsb.fd 2013/01/14 v3.01 AMS symbols B 927File: umsb.fd 2013/01/14 v3.01 AMS symbols B
1056) 928)
1057LaTeX Font Info: Try loading font information for OT1+mathkerncmss on input line 76. 929LaTeX Font Info: Trying to load font information for OT1+mathkerncmss on inp
1058 (/usr/share/texlive/texmf-dist/tex/latex/sansmathaccent/ot1mathkerncmss.fd 930ut line 76.
1059File: ot1mathkerncmss.fd 2013/03/27 Fontinst v1.933 font definitions for OT1/mathkerncmss. 931
932(/usr/share/texlive/texmf-dist/tex/latex/sansmathaccent/ot1mathkerncmss.fd
933File: ot1mathkerncmss.fd 2020/01/31 Fontinst v1.933 font definitions for OT1/ma
934thkerncmss.
1060) 935)
1061File: unilu.jpg Graphic file (type jpg) 936File: unilu.jpg Graphic file (type jpg)
1062<use unilu.jpg> 937<use unilu.jpg>
1063Package pdftex.def Info: unilu.jpg used on input line 76. 938Package pdftex.def Info: unilu.jpg used on input line 76.
1064(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 939(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1065 [10 940
941[10
1066 942
1067] 943]
1068File: unilu.jpg Graphic file (type jpg) 944File: unilu.jpg Graphic file (type jpg)
@@ -1074,7 +950,11 @@ Package pdftex.def Info: unilu.jpg used on input line 94.
1074] 950]
1075 951
1076LaTeX Font Warning: Font shape `OT1/cmss/bx/it' undefined 952LaTeX Font Warning: Font shape `OT1/cmss/bx/it' undefined
1077(Font) using `OT1/cmss/bx/n' instead on input line 112. 953(Font) using `OT1/cmss/b/it' instead on input line 112.
954
955
956LaTeX Font Warning: Font shape `OT1/cmss/b/it' undefined
957(Font) using `OT1/cmss/m/n' instead on input line 112.
1078 958
1079File: unilu.jpg Graphic file (type jpg) 959File: unilu.jpg Graphic file (type jpg)
1080<use unilu.jpg> 960<use unilu.jpg>
@@ -1083,11 +963,15 @@ Package pdftex.def Info: unilu.jpg used on input line 112.
1083[12 963[12
1084 964
1085] 965]
966
967LaTeX Font Warning: Font shape `OT1/cmss/bx/it' undefined
968(Font) using `OT1/cmss/b/it' instead on input line 112.
969
1086File: unilu.jpg Graphic file (type jpg) 970File: unilu.jpg Graphic file (type jpg)
1087<use unilu.jpg> 971<use unilu.jpg>
1088Package pdftex.def Info: unilu.jpg used on input line 112. 972Package pdftex.def Info: unilu.jpg used on input line 112.
1089(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 973(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1090 [13 974[13
1091 975
1092] 976]
1093File: unilu.jpg Graphic file (type jpg) 977File: unilu.jpg Graphic file (type jpg)
@@ -1252,7 +1136,8 @@ File: unilu.jpg Graphic file (type jpg)
1252<use unilu.jpg> 1136<use unilu.jpg>
1253Package pdftex.def Info: unilu.jpg used on input line 325. 1137Package pdftex.def Info: unilu.jpg used on input line 325.
1254(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1138(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1255 [36 1139
1140[36
1256 1141
1257] 1142]
1258File: unilu.jpg Graphic file (type jpg) 1143File: unilu.jpg Graphic file (type jpg)
@@ -1357,7 +1242,8 @@ File: unilu.jpg Graphic file (type jpg)
1357<use unilu.jpg> 1242<use unilu.jpg>
1358Package pdftex.def Info: unilu.jpg used on input line 445. 1243Package pdftex.def Info: unilu.jpg used on input line 445.
1359(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1244(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1360 [51 1245
1246[51
1361 1247
1362] 1248]
1363File: unilu.jpg Graphic file (type jpg) 1249File: unilu.jpg Graphic file (type jpg)
@@ -1462,7 +1348,8 @@ File: unilu.jpg Graphic file (type jpg)
1462<use unilu.jpg> 1348<use unilu.jpg>
1463Package pdftex.def Info: unilu.jpg used on input line 504. 1349Package pdftex.def Info: unilu.jpg used on input line 504.
1464(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1350(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1465 [66 1351
1352[66
1466 1353
1467] 1354]
1468File: unilu.jpg Graphic file (type jpg) 1355File: unilu.jpg Graphic file (type jpg)
@@ -1529,15 +1416,28 @@ LaTeX Font Warning: Some font shapes were not available, defaults substituted.
1529 1416
1530 ) 1417 )
1531Here is how much of TeX's memory you used: 1418Here is how much of TeX's memory you used:
1532 17726 strings out of 492982 1419 18425 strings out of 481239
1533 334249 string characters out of 6134896 1420 353267 string characters out of 5920377
1534 413838 words of memory out of 5000000 1421 607796 words of memory out of 5000000
1535 20725 multiletter control sequences out of 15000+600000 1422 33078 multiletter control sequences out of 15000+600000
1536 16889 words of font info for 61 fonts, out of 8000000 for 9000 1423 545587 words of font info for 71 fonts, out of 8000000 for 9000
1537 1141 hyphenation exceptions out of 8191 1424 1141 hyphenation exceptions out of 8191
1538 56i,20n,64p,800b,894s stack positions out of 5000i,500n,10000p,200000b,80000s 1425 58i,20n,67p,800b,908s stack positions out of 5000i,500n,10000p,200000b,80000s
1539</usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmss10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmss12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmss17.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmss8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmss9.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmssbx10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi9.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy9.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb> 1426</usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb></us
1540Output written on preplogic-slides.pdf (72 pages, 364567 bytes). 1427r/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmss10.pfb></usr/shar
1428e/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmss12.pfb></usr/share/texl
1429ive/texmf-dist/fonts/type1/public/amsfonts/cm/cmss17.pfb></usr/share/texlive/te
1430xmf-dist/fonts/type1/public/amsfonts/cm/cmss8.pfb></usr/share/texlive/texmf-dis
1431t/fonts/type1/public/amsfonts/cm/cmss9.pfb></usr/share/texlive/texmf-dist/fonts
1432/type1/public/amsfonts/cm/cmssbx10.pfb></usr/share/texlive/texmf-dist/fonts/typ
1433e1/public/amsfonts/cm/cmssi10.pfb></usr/share/texlive/texmf-dist/fonts/type1/pu
1434blic/amsfonts/cm/cmssi8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/a
1435msfonts/cm/cmssi9.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfont
1436s/cm/cmsy10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/c
1437msy9.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.p
1438fb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pf
1439b>
1440Output written on preplogic-slides.pdf (72 pages, 367456 bytes).
1541PDF statistics: 1441PDF statistics:
1542 2055 PDF objects out of 2073 (max. 8388607) 1442 2055 PDF objects out of 2073 (max. 8388607)
1543 1931 compressed objects within 20 object streams 1443 1931 compressed objects within 20 object streams

Generated with cgit - Back to sebastiano.tronto.net