aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--.gitignore2
-rw-r--r--exercises/preplogic-exercises.log128
-rw-r--r--exercises/preplogic-exercises.pdfbin146771 -> 141765 bytes
-rw-r--r--exercises/preplogic-exercises.synctex.gzbin15152 -> 0 bytes
-rw-r--r--preplogic-exercises.pdfbin146771 -> 141765 bytes
-rw-r--r--preplogic-slides.pdfbin364567 -> 367456 bytes
-rw-r--r--preplogic-solutions.pdfbin167239 -> 167760 bytes
-rw-r--r--slides/preplogic-slides.log1478
-rw-r--r--slides/preplogic-slides.pdfbin364567 -> 367456 bytes
-rw-r--r--slides/preplogic-slides.synctex.gzbin88620 -> 0 bytes
-rw-r--r--slides/preplogic-slides.tex2
-rw-r--r--solutions/preplogic-solutions.aux8
-rw-r--r--solutions/preplogic-solutions.log563
-rw-r--r--solutions/preplogic-solutions.pdfbin167239 -> 167760 bytes
-rw-r--r--solutions/preplogic-solutions.synctex.gzbin35055 -> 0 bytes
15 files changed, 918 insertions, 1263 deletions
diff --git a/.gitignore b/.gitignore
index be7dde1..9156717 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,5 @@
1exercises-luca 1exercises-luca
2notes.txt 2notes.txt
3notes-schlenker.pdf 3notes-schlenker.pdf
4solutions
5preplogic-solutions.pdf
diff --git a/exercises/preplogic-exercises.log b/exercises/preplogic-exercises.log
index 66c9478..60d2cd0 100644
--- a/exercises/preplogic-exercises.log
+++ b/exercises/preplogic-exercises.log
@@ -1,14 +1,14 @@
1This is pdfTeX, Version 3.14159265-2.6-1.40.21 (TeX Live 2020/VoidLinux) (preloaded format=pdflatex 2020.8.29) 6 SEP 2020 19:28 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:27
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-exercises.tex 5**preplogic-exercises.tex
7(./preplogic-exercises.tex 6(./preplogic-exercises.tex
8LaTeX2e <2020-02-02> patch level 5 7LaTeX2e <2020-02-02> patch level 2
9L3 programming layer <2020-06-03> (/usr/share/texmf-dist/tex/latex/base/article.cls 8L3 programming layer <2020-02-14>
9(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
10Document Class: article 2019/12/20 v1.4l Standard LaTeX document class 10Document Class: article 2019/12/20 v1.4l Standard LaTeX document class
11(/usr/share/texmf-dist/tex/latex/base/size10.clo 11(/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo
12File: size10.clo 2019/12/20 v1.4l Standard LaTeX file (size option) 12File: size10.clo 2019/12/20 v1.4l Standard LaTeX file (size option)
13) 13)
14\c@part=\count167 14\c@part=\count167
@@ -22,25 +22,30 @@ File: size10.clo 2019/12/20 v1.4l Standard LaTeX file (size option)
22\abovecaptionskip=\skip47 22\abovecaptionskip=\skip47
23\belowcaptionskip=\skip48 23\belowcaptionskip=\skip48
24\bibindent=\dimen134 24\bibindent=\dimen134
25) (/usr/share/texmf-dist/tex/latex/base/inputenc.sty 25)
26(/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty
26Package: inputenc 2018/08/11 v1.3c Input encoding file 27Package: inputenc 2018/08/11 v1.3c Input encoding file
27\inpenc@prehook=\toks15 28\inpenc@prehook=\toks14
28\inpenc@posthook=\toks16 29\inpenc@posthook=\toks15
29) (/usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty 30)
31(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty
30Package: amsmath 2020/01/20 v2.17e AMS math features 32Package: amsmath 2020/01/20 v2.17e AMS math features
31\@mathmargin=\skip49 33\@mathmargin=\skip49
32 34
33For additional information on amsmath, use the `?' option. 35For additional information on amsmath, use the `?' option.
34(/usr/share/texmf-dist/tex/latex/amsmath/amstext.sty 36(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty
35Package: amstext 2000/06/29 v2.01 AMS text 37Package: amstext 2000/06/29 v2.01 AMS text
36 (/usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty 38
39(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty
37File: amsgen.sty 1999/11/30 v2.0 generic functions 40File: amsgen.sty 1999/11/30 v2.0 generic functions
38\@emptytoks=\toks17 41\@emptytoks=\toks16
39\ex@=\dimen135 42\ex@=\dimen135
40)) (/usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty 43))
44(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty
41Package: amsbsy 1999/11/29 v1.2d Bold Symbols 45Package: amsbsy 1999/11/29 v1.2d Bold Symbols
42\pmbraise@=\dimen136 46\pmbraise@=\dimen136
43) (/usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty 47)
48(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty
44Package: amsopn 2016/03/08 v2.02 operator names 49Package: amsopn 2016/03/08 v2.02 operator names
45) 50)
46\inf@bad=\count175 51\inf@bad=\count175
@@ -63,52 +68,59 @@ LaTeX Font Info: Redeclaring font encoding OMS on input line 734.
63\dotsspace@=\muskip16 68\dotsspace@=\muskip16
64\c@parentequation=\count182 69\c@parentequation=\count182
65\dspbrk@lvl=\count183 70\dspbrk@lvl=\count183
66\tag@help=\toks18 71\tag@help=\toks17
67\row@=\count184 72\row@=\count184
68\column@=\count185 73\column@=\count185
69\maxfields@=\count186 74\maxfields@=\count186
70\andhelp@=\toks19 75\andhelp@=\toks18
71\eqnshift@=\dimen138 76\eqnshift@=\dimen138
72\alignsep@=\dimen139 77\alignsep@=\dimen139
73\tagshift@=\dimen140 78\tagshift@=\dimen140
74\tagwidth@=\dimen141 79\tagwidth@=\dimen141
75\totwidth@=\dimen142 80\totwidth@=\dimen142
76\lineht@=\dimen143 81\lineht@=\dimen143
77\@envbody=\toks20 82\@envbody=\toks19
78\multlinegap=\skip50 83\multlinegap=\skip50
79\multlinetaggap=\skip51 84\multlinetaggap=\skip51
80\mathdisplay@stack=\toks21 85\mathdisplay@stack=\toks20
81LaTeX Info: Redefining \[ on input line 2859. 86LaTeX Info: Redefining \[ on input line 2859.
82LaTeX Info: Redefining \] on input line 2860. 87LaTeX Info: Redefining \] on input line 2860.
83) (/usr/share/texmf-dist/tex/latex/amscls/amsthm.sty 88)
84Package: amsthm 2020/05/29 v2.20.6 89(/usr/share/texlive/texmf-dist/tex/latex/amscls/amsthm.sty
85\thm@style=\toks22 90Package: amsthm 2017/10/31 v2.20.4
86\thm@bodyfont=\toks23 91\thm@style=\toks21
87\thm@headfont=\toks24 92\thm@bodyfont=\toks22
88\thm@notefont=\toks25 93\thm@headfont=\toks23
89\thm@headpunct=\toks26 94\thm@notefont=\toks24
95\thm@headpunct=\toks25
90\thm@preskip=\skip52 96\thm@preskip=\skip52
91\thm@postskip=\skip53 97\thm@postskip=\skip53
92\thm@headsep=\skip54 98\thm@headsep=\skip54
93\dth@everypar=\toks27 99\dth@everypar=\toks26
94) (/usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty 100)
101(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty
95Package: amssymb 2013/01/14 v3.01 AMS font symbols 102Package: amssymb 2013/01/14 v3.01 AMS font symbols
96 (/usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty 103
104(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty
97Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support 105Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support
98\symAMSa=\mathgroup4 106\symAMSa=\mathgroup4
99\symAMSb=\mathgroup5 107\symAMSb=\mathgroup5
100LaTeX Font Info: Redeclaring math symbol \hbar on input line 98. 108LaTeX Font Info: Redeclaring math symbol \hbar on input line 98.
101LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' 109LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold'
102(Font) U/euf/m/n --> U/euf/b/n on input line 106. 110(Font) U/euf/m/n --> U/euf/b/n on input line 106.
103)) (/usr/share/texmf-dist/tex/latex/geometry/geometry.sty 111))
112(/usr/share/texlive/texmf-dist/tex/latex/geometry/geometry.sty
104Package: geometry 2020/01/02 v5.9 Page Geometry 113Package: geometry 2020/01/02 v5.9 Page Geometry
105 (/usr/share/texmf-dist/tex/latex/graphics/keyval.sty 114
115(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty
106Package: keyval 2014/10/28 v1.15 key=value parser (DPC) 116Package: keyval 2014/10/28 v1.15 key=value parser (DPC)
107\KV@toks@=\toks28 117\KV@toks@=\toks27
108) (/usr/share/texmf-dist/tex/generic/iftex/ifvtex.sty 118)
119(/usr/share/texlive/texmf-dist/tex/generic/iftex/ifvtex.sty
109Package: ifvtex 2019/10/25 v1.7 ifvtex legacy package. Use iftex instead. 120Package: ifvtex 2019/10/25 v1.7 ifvtex legacy package. Use iftex instead.
110 (/usr/share/texmf-dist/tex/generic/iftex/iftex.sty 121
111Package: iftex 2020/03/06 v1.0d TeX engine tests 122(/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty
123Package: iftex 2019/11/07 v1.0c TeX engine tests
112)) 124))
113\Gm@cnth=\count187 125\Gm@cnth=\count187
114\Gm@cntv=\count188 126\Gm@cntv=\count188
@@ -121,14 +133,16 @@ Package: iftex 2020/03/06 v1.0d TeX engine tests
121\Gm@layoutheight=\dimen149 133\Gm@layoutheight=\dimen149
122\Gm@layouthoffset=\dimen150 134\Gm@layouthoffset=\dimen150
123\Gm@layoutvoffset=\dimen151 135\Gm@layoutvoffset=\dimen151
124\Gm@dimlist=\toks29 136\Gm@dimlist=\toks28
125) 137)
126\c@exercise=\count190 138\c@exercise=\count190
127 (/usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdfmode.def 139
128File: l3backend-pdfmode.def 2020-06-03 L3 backend support: PDF mode 140(/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdfmode.def
141File: l3backend-pdfmode.def 2020-02-03 L3 backend support: PDF mode
129\l__kernel_color_stack_int=\count191 142\l__kernel_color_stack_int=\count191
130\l__pdf_internal_box=\box47 143\l__pdf_internal_box=\box47
131) (./preplogic-exercises.aux) 144)
145(./preplogic-exercises.aux)
132\openout1 = `preplogic-exercises.aux'. 146\openout1 = `preplogic-exercises.aux'.
133 147
134LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 13. 148LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 13.
@@ -181,25 +195,43 @@ LaTeX Font Info: ... okay on input line 13.
181* (1in=72.27pt=25.4mm, 1cm=28.453pt) 195* (1in=72.27pt=25.4mm, 1cm=28.453pt)
182 196
183LaTeX Font Info: Trying to load font information for U+msa on input line 14. 197LaTeX Font Info: Trying to load font information for U+msa on input line 14.
184(/usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd 198
199(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd
185File: umsa.fd 2013/01/14 v3.01 AMS symbols A 200File: umsa.fd 2013/01/14 v3.01 AMS symbols A
186) 201)
187LaTeX Font Info: Trying to load font information for U+msb on input line 14. 202LaTeX Font Info: Trying to load font information for U+msb on input line 14.
188 (/usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd 203
204
205(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd
189File: umsb.fd 2013/01/14 v3.01 AMS symbols B 206File: umsb.fd 2013/01/14 v3.01 AMS symbols B
190) [1 207) [1
191 208
192{/usr/share/texmf-dist/fonts/map/pdftex/updmap/pdftex.map}] [2] (./preplogic-exercises.aux) ) 209{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] [2] (./preplogic-exercises
210.aux) )
193Here is how much of TeX's memory you used: 211Here is how much of TeX's memory you used:
194 2168 strings out of 480478 212 2171 strings out of 481239
195 27947 string characters out of 5905927 213 28248 string characters out of 5920377
196 275547 words of memory out of 5000000 214 273136 words of memory out of 5000000
197 18202 multiletter control sequences out of 15000+600000 215 17447 multiletter control sequences out of 15000+600000
198 540744 words of font info for 57 fonts, out of 8000000 for 9000 216 540744 words of font info for 57 fonts, out of 8000000 for 9000
199 1141 hyphenation exceptions out of 8191 217 1141 hyphenation exceptions out of 8191
200 30i,16n,31p,234b,270s stack positions out of 5000i,500n,10000p,200000b,80000s 218 30i,16n,31p,234b,270s stack positions out of 5000i,500n,10000p,200000b,80000s
201{/usr/share/texmf-dist/fonts/enc/dvips/cm-super/cm-super-ts1.enc}</usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx12.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmex10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi5.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi7.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr12.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr17.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr7.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmti10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt12.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb></usr/share/texmf-dist/fonts/type1/public/cm-super/sfrm1000.pfb> 219 </home/sebastiano/.texlive2019/texmf-var/fonts/pk/ljfour/jknappen/ec/tc
202Output written on preplogic-exercises.pdf (2 pages, 146771 bytes). 220rm1000.600pk></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx
22110.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx12.pfb
222></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmex10.pfb></usr
223/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb></usr/share
224/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi5.pfb></usr/share/texliv
225e/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi7.pfb></usr/share/texlive/texmf
226-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb></usr/share/texlive/texmf-dist/f
227onts/type1/public/amsfonts/cm/cmr12.pfb></usr/share/texlive/texmf-dist/fonts/ty
228pe1/public/amsfonts/cm/cmr17.pfb></usr/share/texlive/texmf-dist/fonts/type1/pub
229lic/amsfonts/cm/cmr7.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsf
230onts/cm/cmsy10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/c
231m/cmti10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt
23212.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm1
2330.pfb>
234Output written on preplogic-exercises.pdf (2 pages, 141765 bytes).
203PDF statistics: 235PDF statistics:
204 72 PDF objects out of 1000 (max. 8388607) 236 72 PDF objects out of 1000 (max. 8388607)
205 52 compressed objects within 1 object stream 237 52 compressed objects within 1 object stream
diff --git a/exercises/preplogic-exercises.pdf b/exercises/preplogic-exercises.pdf
index 09381d6..4f0520b 100644
--- a/exercises/preplogic-exercises.pdf
+++ b/exercises/preplogic-exercises.pdf
Binary files differ
diff --git a/exercises/preplogic-exercises.synctex.gz b/exercises/preplogic-exercises.synctex.gz
deleted file mode 100644
index 7531587..0000000
--- a/exercises/preplogic-exercises.synctex.gz
+++ /dev/null
Binary files differ
diff --git a/preplogic-exercises.pdf b/preplogic-exercises.pdf
index 09381d6..4f0520b 100644
--- a/preplogic-exercises.pdf
+++ b/preplogic-exercises.pdf
Binary files differ
diff --git a/preplogic-slides.pdf b/preplogic-slides.pdf
index 0e1ab91..4a88f12 100644
--- a/preplogic-slides.pdf
+++ b/preplogic-slides.pdf
Binary files differ
diff --git a/preplogic-solutions.pdf b/preplogic-solutions.pdf
index 2ad655a..5fc4e0a 100644
--- a/preplogic-solutions.pdf
+++ b/preplogic-solutions.pdf
Binary files differ
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
diff --git a/slides/preplogic-slides.pdf b/slides/preplogic-slides.pdf
index 0e1ab91..4a88f12 100644
--- a/slides/preplogic-slides.pdf
+++ b/slides/preplogic-slides.pdf
Binary files differ
diff --git a/slides/preplogic-slides.synctex.gz b/slides/preplogic-slides.synctex.gz
deleted file mode 100644
index b00eb0e..0000000
--- a/slides/preplogic-slides.synctex.gz
+++ /dev/null
Binary files differ
diff --git a/slides/preplogic-slides.tex b/slides/preplogic-slides.tex
index 94a4895..3601d27 100644
--- a/slides/preplogic-slides.tex
+++ b/slides/preplogic-slides.tex
@@ -11,7 +11,7 @@
11%\setbeamertemplate{navigation symbols}{} 11%\setbeamertemplate{navigation symbols}{}
12\logo{\includegraphics[scale=0.065]{unilu.jpg}} 12\logo{\includegraphics[scale=0.065]{unilu.jpg}}
13\institute{uni.lu} 13\institute{uni.lu}
14\date{September 7-8, 2020} 14\date{September 13-14, 2021}
15%\subject{} 15%\subject{}
16 16
17\newtheorem {proposition}{Proposition} 17\newtheorem {proposition}{Proposition}
diff --git a/solutions/preplogic-solutions.aux b/solutions/preplogic-solutions.aux
index 17d376d..6d7567f 100644
--- a/solutions/preplogic-solutions.aux
+++ b/solutions/preplogic-solutions.aux
@@ -1,5 +1,5 @@
1\relax 1\relax
2\@writefile{toc}{\contentsline {section}{\numberline {1}Logical operations}{1}} 2\@writefile{toc}{\contentsline {section}{\numberline {1}Logical operations}{1}\protected@file@percent }
3\@writefile{toc}{\contentsline {section}{\numberline {2}Implication}{2}} 3\@writefile{toc}{\contentsline {section}{\numberline {2}Implication}{2}\protected@file@percent }
4\@writefile{toc}{\contentsline {section}{\numberline {3}Quantifiers}{2}} 4\@writefile{toc}{\contentsline {section}{\numberline {3}Quantifiers}{2}\protected@file@percent }
5\@writefile{toc}{\contentsline {section}{\numberline {4}Proofs}{3}} 5\@writefile{toc}{\contentsline {section}{\numberline {4}Proofs}{3}\protected@file@percent }
diff --git a/solutions/preplogic-solutions.log b/solutions/preplogic-solutions.log
index 0814741..d0fc38d 100644
--- a/solutions/preplogic-solutions.log
+++ b/solutions/preplogic-solutions.log
@@ -1,451 +1,159 @@
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:09 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:28
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-solutions.tex 5**preplogic-solutions.tex
7(./preplogic-solutions.tex 6(./preplogic-solutions.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/base/article.cls 9(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
11Document Class: article 2014/09/29 v1.4h Standard LaTeX document class 10Document Class: article 2019/12/20 v1.4l Standard LaTeX document class
12(/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo 11(/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo
13File: size10.clo 2014/09/29 v1.4h Standard LaTeX file (size option) 12File: size10.clo 2019/12/20 v1.4l Standard LaTeX file (size option)
14) 13)
15\c@part=\count79 14\c@part=\count167
16\c@section=\count80 15\c@section=\count168
17\c@subsection=\count81 16\c@subsection=\count169
18\c@subsubsection=\count82 17\c@subsubsection=\count170
19\c@paragraph=\count83 18\c@paragraph=\count171
20\c@subparagraph=\count84 19\c@subparagraph=\count172
21\c@figure=\count85 20\c@figure=\count173
22\c@table=\count86 21\c@table=\count174
23\abovecaptionskip=\skip41 22\abovecaptionskip=\skip47
24\belowcaptionskip=\skip42 23\belowcaptionskip=\skip48
25\bibindent=\dimen102 24\bibindent=\dimen134
26) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty 25)
27Package: inputenc 2015/03/17 v1.2c Input encoding file 26(/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty
27Package: inputenc 2018/08/11 v1.3c Input encoding file
28\inpenc@prehook=\toks14 28\inpenc@prehook=\toks14
29\inpenc@posthook=\toks15 29\inpenc@posthook=\toks15
30 (/usr/share/texlive/texmf-dist/tex/latex/base/utf8.def
31File: utf8.def 2017/01/28 v1.1t UTF-8 support for inputenc
32Now handling font encoding OML ...
33... no UTF-8 mapping file for font encoding OML
34Now handling font encoding T1 ...
35... processing UTF-8 mapping file for font encoding T1
36 (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.dfu
37File: t1enc.dfu 2017/01/28 v1.1t UTF-8 support for inputenc
38 defining Unicode char U+00A0 (decimal 160)
39 defining Unicode char U+00A1 (decimal 161)
40 defining Unicode char U+00A3 (decimal 163)
41 defining Unicode char U+00AB (decimal 171)
42 defining Unicode char U+00AD (decimal 173)
43 defining Unicode char U+00BB (decimal 187)
44 defining Unicode char U+00BF (decimal 191)
45 defining Unicode char U+00C0 (decimal 192)
46 defining Unicode char U+00C1 (decimal 193)
47 defining Unicode char U+00C2 (decimal 194)
48 defining Unicode char U+00C3 (decimal 195)
49 defining Unicode char U+00C4 (decimal 196)
50 defining Unicode char U+00C5 (decimal 197)
51 defining Unicode char U+00C6 (decimal 198)
52 defining Unicode char U+00C7 (decimal 199)
53 defining Unicode char U+00C8 (decimal 200)
54 defining Unicode char U+00C9 (decimal 201)
55 defining Unicode char U+00CA (decimal 202)
56 defining Unicode char U+00CB (decimal 203)
57 defining Unicode char U+00CC (decimal 204)
58 defining Unicode char U+00CD (decimal 205)
59 defining Unicode char U+00CE (decimal 206)
60 defining Unicode char U+00CF (decimal 207)
61 defining Unicode char U+00D0 (decimal 208)
62 defining Unicode char U+00D1 (decimal 209)
63 defining Unicode char U+00D2 (decimal 210)
64 defining Unicode char U+00D3 (decimal 211)
65 defining Unicode char U+00D4 (decimal 212)
66 defining Unicode char U+00D5 (decimal 213)
67 defining Unicode char U+00D6 (decimal 214)
68 defining Unicode char U+00D8 (decimal 216)
69 defining Unicode char U+00D9 (decimal 217)
70 defining Unicode char U+00DA (decimal 218)
71 defining Unicode char U+00DB (decimal 219)
72 defining Unicode char U+00DC (decimal 220)
73 defining Unicode char U+00DD (decimal 221)
74 defining Unicode char U+00DE (decimal 222)
75 defining Unicode char U+00DF (decimal 223)
76 defining Unicode char U+00E0 (decimal 224)
77 defining Unicode char U+00E1 (decimal 225)
78 defining Unicode char U+00E2 (decimal 226)
79 defining Unicode char U+00E3 (decimal 227)
80 defining Unicode char U+00E4 (decimal 228)
81 defining Unicode char U+00E5 (decimal 229)
82 defining Unicode char U+00E6 (decimal 230)
83 defining Unicode char U+00E7 (decimal 231)
84 defining Unicode char U+00E8 (decimal 232)
85 defining Unicode char U+00E9 (decimal 233)
86 defining Unicode char U+00EA (decimal 234)
87 defining Unicode char U+00EB (decimal 235)
88 defining Unicode char U+00EC (decimal 236)
89 defining Unicode char U+00ED (decimal 237)
90 defining Unicode char U+00EE (decimal 238)
91 defining Unicode char U+00EF (decimal 239)
92 defining Unicode char U+00F0 (decimal 240)
93 defining Unicode char U+00F1 (decimal 241)
94 defining Unicode char U+00F2 (decimal 242)
95 defining Unicode char U+00F3 (decimal 243)
96 defining Unicode char U+00F4 (decimal 244)
97 defining Unicode char U+00F5 (decimal 245)
98 defining Unicode char U+00F6 (decimal 246)
99 defining Unicode char U+00F8 (decimal 248)
100 defining Unicode char U+00F9 (decimal 249)
101 defining Unicode char U+00FA (decimal 250)
102 defining Unicode char U+00FB (decimal 251)
103 defining Unicode char U+00FC (decimal 252)
104 defining Unicode char U+00FD (decimal 253)
105 defining Unicode char U+00FE (decimal 254)
106 defining Unicode char U+00FF (decimal 255)
107 defining Unicode char U+0100 (decimal 256)
108 defining Unicode char U+0101 (decimal 257)
109 defining Unicode char U+0102 (decimal 258)
110 defining Unicode char U+0103 (decimal 259)
111 defining Unicode char U+0104 (decimal 260)
112 defining Unicode char U+0105 (decimal 261)
113 defining Unicode char U+0106 (decimal 262)
114 defining Unicode char U+0107 (decimal 263)
115 defining Unicode char U+0108 (decimal 264)
116 defining Unicode char U+0109 (decimal 265)
117 defining Unicode char U+010A (decimal 266)
118 defining Unicode char U+010B (decimal 267)
119 defining Unicode char U+010C (decimal 268)
120 defining Unicode char U+010D (decimal 269)
121 defining Unicode char U+010E (decimal 270)
122 defining Unicode char U+010F (decimal 271)
123 defining Unicode char U+0110 (decimal 272)
124 defining Unicode char U+0111 (decimal 273)
125 defining Unicode char U+0112 (decimal 274)
126 defining Unicode char U+0113 (decimal 275)
127 defining Unicode char U+0114 (decimal 276)
128 defining Unicode char U+0115 (decimal 277)
129 defining Unicode char U+0116 (decimal 278)
130 defining Unicode char U+0117 (decimal 279)
131 defining Unicode char U+0118 (decimal 280)
132 defining Unicode char U+0119 (decimal 281)
133 defining Unicode char U+011A (decimal 282)
134 defining Unicode char U+011B (decimal 283)
135 defining Unicode char U+011C (decimal 284)
136 defining Unicode char U+011D (decimal 285)
137 defining Unicode char U+011E (decimal 286)
138 defining Unicode char U+011F (decimal 287)
139 defining Unicode char U+0120 (decimal 288)
140 defining Unicode char U+0121 (decimal 289)
141 defining Unicode char U+0122 (decimal 290)
142 defining Unicode char U+0123 (decimal 291)
143 defining Unicode char U+0124 (decimal 292)
144 defining Unicode char U+0125 (decimal 293)
145 defining Unicode char U+0128 (decimal 296)
146 defining Unicode char U+0129 (decimal 297)
147 defining Unicode char U+012A (decimal 298)
148 defining Unicode char U+012B (decimal 299)
149 defining Unicode char U+012C (decimal 300)
150 defining Unicode char U+012D (decimal 301)
151 defining Unicode char U+012E (decimal 302)
152 defining Unicode char U+012F (decimal 303)
153 defining Unicode char U+0130 (decimal 304)
154 defining Unicode char U+0131 (decimal 305)
155 defining Unicode char U+0132 (decimal 306)
156 defining Unicode char U+0133 (decimal 307)
157 defining Unicode char U+0134 (decimal 308)
158 defining Unicode char U+0135 (decimal 309)
159 defining Unicode char U+0136 (decimal 310)
160 defining Unicode char U+0137 (decimal 311)
161 defining Unicode char U+0139 (decimal 313)
162 defining Unicode char U+013A (decimal 314)
163 defining Unicode char U+013B (decimal 315)
164 defining Unicode char U+013C (decimal 316)
165 defining Unicode char U+013D (decimal 317)
166 defining Unicode char U+013E (decimal 318)
167 defining Unicode char U+0141 (decimal 321)
168 defining Unicode char U+0142 (decimal 322)
169 defining Unicode char U+0143 (decimal 323)
170 defining Unicode char U+0144 (decimal 324)
171 defining Unicode char U+0145 (decimal 325)
172 defining Unicode char U+0146 (decimal 326)
173 defining Unicode char U+0147 (decimal 327)
174 defining Unicode char U+0148 (decimal 328)
175 defining Unicode char U+014A (decimal 330)
176 defining Unicode char U+014B (decimal 331)
177 defining Unicode char U+014C (decimal 332)
178 defining Unicode char U+014D (decimal 333)
179 defining Unicode char U+014E (decimal 334)
180 defining Unicode char U+014F (decimal 335)
181 defining Unicode char U+0150 (decimal 336)
182 defining Unicode char U+0151 (decimal 337)
183 defining Unicode char U+0152 (decimal 338)
184 defining Unicode char U+0153 (decimal 339)
185 defining Unicode char U+0154 (decimal 340)
186 defining Unicode char U+0155 (decimal 341)
187 defining Unicode char U+0156 (decimal 342)
188 defining Unicode char U+0157 (decimal 343)
189 defining Unicode char U+0158 (decimal 344)
190 defining Unicode char U+0159 (decimal 345)
191 defining Unicode char U+015A (decimal 346)
192 defining Unicode char U+015B (decimal 347)
193 defining Unicode char U+015C (decimal 348)
194 defining Unicode char U+015D (decimal 349)
195 defining Unicode char U+015E (decimal 350)
196 defining Unicode char U+015F (decimal 351)
197 defining Unicode char U+0160 (decimal 352)
198 defining Unicode char U+0161 (decimal 353)
199 defining Unicode char U+0162 (decimal 354)
200 defining Unicode char U+0163 (decimal 355)
201 defining Unicode char U+0164 (decimal 356)
202 defining Unicode char U+0165 (decimal 357)
203 defining Unicode char U+0168 (decimal 360)
204 defining Unicode char U+0169 (decimal 361)
205 defining Unicode char U+016A (decimal 362)
206 defining Unicode char U+016B (decimal 363)
207 defining Unicode char U+016C (decimal 364)
208 defining Unicode char U+016D (decimal 365)
209 defining Unicode char U+016E (decimal 366)
210 defining Unicode char U+016F (decimal 367)
211 defining Unicode char U+0170 (decimal 368)
212 defining Unicode char U+0171 (decimal 369)
213 defining Unicode char U+0172 (decimal 370)
214 defining Unicode char U+0173 (decimal 371)
215 defining Unicode char U+0174 (decimal 372)
216 defining Unicode char U+0175 (decimal 373)
217 defining Unicode char U+0176 (decimal 374)
218 defining Unicode char U+0177 (decimal 375)
219 defining Unicode char U+0178 (decimal 376)
220 defining Unicode char U+0179 (decimal 377)
221 defining Unicode char U+017A (decimal 378)
222 defining Unicode char U+017B (decimal 379)
223 defining Unicode char U+017C (decimal 380)
224 defining Unicode char U+017D (decimal 381)
225 defining Unicode char U+017E (decimal 382)
226 defining Unicode char U+01CD (decimal 461)
227 defining Unicode char U+01CE (decimal 462)
228 defining Unicode char U+01CF (decimal 463)
229 defining Unicode char U+01D0 (decimal 464)
230 defining Unicode char U+01D1 (decimal 465)
231 defining Unicode char U+01D2 (decimal 466)
232 defining Unicode char U+01D3 (decimal 467)
233 defining Unicode char U+01D4 (decimal 468)
234 defining Unicode char U+01E2 (decimal 482)
235 defining Unicode char U+01E3 (decimal 483)
236 defining Unicode char U+01E6 (decimal 486)
237 defining Unicode char U+01E7 (decimal 487)
238 defining Unicode char U+01E8 (decimal 488)
239 defining Unicode char U+01E9 (decimal 489)
240 defining Unicode char U+01EA (decimal 490)
241 defining Unicode char U+01EB (decimal 491)
242 defining Unicode char U+01F0 (decimal 496)
243 defining Unicode char U+01F4 (decimal 500)
244 defining Unicode char U+01F5 (decimal 501)
245 defining Unicode char U+0218 (decimal 536)
246 defining Unicode char U+0219 (decimal 537)
247 defining Unicode char U+021A (decimal 538)
248 defining Unicode char U+021B (decimal 539)
249 defining Unicode char U+0232 (decimal 562)
250 defining Unicode char U+0233 (decimal 563)
251 defining Unicode char U+1E02 (decimal 7682)
252 defining Unicode char U+1E03 (decimal 7683)
253 defining Unicode char U+200C (decimal 8204)
254 defining Unicode char U+2010 (decimal 8208)
255 defining Unicode char U+2011 (decimal 8209)
256 defining Unicode char U+2012 (decimal 8210)
257 defining Unicode char U+2013 (decimal 8211)
258 defining Unicode char U+2014 (decimal 8212)
259 defining Unicode char U+2015 (decimal 8213)
260 defining Unicode char U+2018 (decimal 8216)
261 defining Unicode char U+2019 (decimal 8217)
262 defining Unicode char U+201A (decimal 8218)
263 defining Unicode char U+201C (decimal 8220)
264 defining Unicode char U+201D (decimal 8221)
265 defining Unicode char U+201E (decimal 8222)
266 defining Unicode char U+2030 (decimal 8240)
267 defining Unicode char U+2031 (decimal 8241)
268 defining Unicode char U+2039 (decimal 8249)
269 defining Unicode char U+203A (decimal 8250)
270 defining Unicode char U+2423 (decimal 9251)
271 defining Unicode char U+1E20 (decimal 7712)
272 defining Unicode char U+1E21 (decimal 7713)
273)
274Now handling font encoding OT1 ...
275... processing UTF-8 mapping file for font encoding OT1
276 (/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.dfu
277File: ot1enc.dfu 2017/01/28 v1.1t UTF-8 support for inputenc
278 defining Unicode char U+00A0 (decimal 160)
279 defining Unicode char U+00A1 (decimal 161)
280 defining Unicode char U+00A3 (decimal 163)
281 defining Unicode char U+00AD (decimal 173)
282 defining Unicode char U+00B8 (decimal 184)
283 defining Unicode char U+00BF (decimal 191)
284 defining Unicode char U+00C5 (decimal 197)
285 defining Unicode char U+00C6 (decimal 198)
286 defining Unicode char U+00D8 (decimal 216)
287 defining Unicode char U+00DF (decimal 223)
288 defining Unicode char U+00E6 (decimal 230)
289 defining Unicode char U+00EC (decimal 236)
290 defining Unicode char U+00ED (decimal 237)
291 defining Unicode char U+00EE (decimal 238)
292 defining Unicode char U+00EF (decimal 239)
293 defining Unicode char U+00F8 (decimal 248)
294 defining Unicode char U+0131 (decimal 305)
295 defining Unicode char U+0141 (decimal 321)
296 defining Unicode char U+0142 (decimal 322)
297 defining Unicode char U+0152 (decimal 338)
298 defining Unicode char U+0153 (decimal 339)
299 defining Unicode char U+0174 (decimal 372)
300 defining Unicode char U+0175 (decimal 373)
301 defining Unicode char U+0176 (decimal 374)
302 defining Unicode char U+0177 (decimal 375)
303 defining Unicode char U+0218 (decimal 536)
304 defining Unicode char U+0219 (decimal 537)
305 defining Unicode char U+021A (decimal 538)
306 defining Unicode char U+021B (decimal 539)
307 defining Unicode char U+2013 (decimal 8211)
308 defining Unicode char U+2014 (decimal 8212)
309 defining Unicode char U+2018 (decimal 8216)
310 defining Unicode char U+2019 (decimal 8217)
311 defining Unicode char U+201C (decimal 8220)
312 defining Unicode char U+201D (decimal 8221)
313)
314Now handling font encoding OMS ...
315... processing UTF-8 mapping file for font encoding OMS
316 (/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.dfu
317File: omsenc.dfu 2017/01/28 v1.1t UTF-8 support for inputenc
318 defining Unicode char U+00A7 (decimal 167)
319 defining Unicode char U+00B6 (decimal 182)
320 defining Unicode char U+00B7 (decimal 183)
321 defining Unicode char U+2020 (decimal 8224)
322 defining Unicode char U+2021 (decimal 8225)
323 defining Unicode char U+2022 (decimal 8226)
324) 30)
325Now handling font encoding OMX ... 31(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty
326... no UTF-8 mapping file for font encoding OMX 32Package: amsmath 2020/01/20 v2.17e AMS math features
327Now handling font encoding U ... 33\@mathmargin=\skip49
328... no UTF-8 mapping file for font encoding U
329 defining Unicode char U+00A9 (decimal 169)
330 defining Unicode char U+00AA (decimal 170)
331 defining Unicode char U+00AE (decimal 174)
332 defining Unicode char U+00BA (decimal 186)
333 defining Unicode char U+02C6 (decimal 710)
334 defining Unicode char U+02DC (decimal 732)
335 defining Unicode char U+200C (decimal 8204)
336 defining Unicode char U+2026 (decimal 8230)
337 defining Unicode char U+2122 (decimal 8482)
338 defining Unicode char U+2423 (decimal 9251)
339)) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty
340Package: amsmath 2017/09/02 v2.17a AMS math features
341\@mathmargin=\skip43
342 34
343For additional information on amsmath, use the `?' option. 35For additional information on amsmath, use the `?' option.
344(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty 36(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty
345Package: amstext 2000/06/29 v2.01 AMS text 37Package: amstext 2000/06/29 v2.01 AMS text
346 (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty 38
39(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty
347File: amsgen.sty 1999/11/30 v2.0 generic functions 40File: amsgen.sty 1999/11/30 v2.0 generic functions
348\@emptytoks=\toks16 41\@emptytoks=\toks16
349\ex@=\dimen103 42\ex@=\dimen135
350)) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty 43))
44(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty
351Package: amsbsy 1999/11/29 v1.2d Bold Symbols 45Package: amsbsy 1999/11/29 v1.2d Bold Symbols
352\pmbraise@=\dimen104 46\pmbraise@=\dimen136
353) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty 47)
48(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty
354Package: amsopn 2016/03/08 v2.02 operator names 49Package: amsopn 2016/03/08 v2.02 operator names
355) 50)
356\inf@bad=\count87 51\inf@bad=\count175
357LaTeX Info: Redefining \frac on input line 213. 52LaTeX Info: Redefining \frac on input line 227.
358\uproot@=\count88 53\uproot@=\count176
359\leftroot@=\count89 54\leftroot@=\count177
360LaTeX Info: Redefining \overline on input line 375. 55LaTeX Info: Redefining \overline on input line 389.
361\classnum@=\count90 56\classnum@=\count178
362\DOTSCASE@=\count91 57\DOTSCASE@=\count179
363LaTeX Info: Redefining \ldots on input line 472. 58LaTeX Info: Redefining \ldots on input line 486.
364LaTeX Info: Redefining \dots on input line 475. 59LaTeX Info: Redefining \dots on input line 489.
365LaTeX Info: Redefining \cdots on input line 596. 60LaTeX Info: Redefining \cdots on input line 610.
366\Mathstrutbox@=\box26 61\Mathstrutbox@=\box45
367\strutbox@=\box27 62\strutbox@=\box46
368\big@size=\dimen105 63\big@size=\dimen137
369LaTeX Font Info: Redeclaring font encoding OML on input line 712. 64LaTeX Font Info: Redeclaring font encoding OML on input line 733.
370LaTeX Font Info: Redeclaring font encoding OMS on input line 713. 65LaTeX Font Info: Redeclaring font encoding OMS on input line 734.
371\macc@depth=\count92 66\macc@depth=\count180
372\c@MaxMatrixCols=\count93 67\c@MaxMatrixCols=\count181
373\dotsspace@=\muskip10 68\dotsspace@=\muskip16
374\c@parentequation=\count94 69\c@parentequation=\count182
375\dspbrk@lvl=\count95 70\dspbrk@lvl=\count183
376\tag@help=\toks17 71\tag@help=\toks17
377\row@=\count96 72\row@=\count184
378\column@=\count97 73\column@=\count185
379\maxfields@=\count98 74\maxfields@=\count186
380\andhelp@=\toks18 75\andhelp@=\toks18
381\eqnshift@=\dimen106 76\eqnshift@=\dimen138
382\alignsep@=\dimen107 77\alignsep@=\dimen139
383\tagshift@=\dimen108 78\tagshift@=\dimen140
384\tagwidth@=\dimen109 79\tagwidth@=\dimen141
385\totwidth@=\dimen110 80\totwidth@=\dimen142
386\lineht@=\dimen111 81\lineht@=\dimen143
387\@envbody=\toks19 82\@envbody=\toks19
388\multlinegap=\skip44 83\multlinegap=\skip50
389\multlinetaggap=\skip45 84\multlinetaggap=\skip51
390\mathdisplay@stack=\toks20 85\mathdisplay@stack=\toks20
391LaTeX Info: Redefining \[ on input line 2817. 86LaTeX Info: Redefining \[ on input line 2859.
392LaTeX Info: Redefining \] on input line 2818. 87LaTeX Info: Redefining \] on input line 2860.
393) (/usr/share/texlive/texmf-dist/tex/latex/amscls/amsthm.sty 88)
89(/usr/share/texlive/texmf-dist/tex/latex/amscls/amsthm.sty
394Package: amsthm 2017/10/31 v2.20.4 90Package: amsthm 2017/10/31 v2.20.4
395\thm@style=\toks21 91\thm@style=\toks21
396\thm@bodyfont=\toks22 92\thm@bodyfont=\toks22
397\thm@headfont=\toks23 93\thm@headfont=\toks23
398\thm@notefont=\toks24 94\thm@notefont=\toks24
399\thm@headpunct=\toks25 95\thm@headpunct=\toks25
400\thm@preskip=\skip46 96\thm@preskip=\skip52
401\thm@postskip=\skip47 97\thm@postskip=\skip53
402\thm@headsep=\skip48 98\thm@headsep=\skip54
403\dth@everypar=\toks26 99\dth@everypar=\toks26
404) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty 100)
101(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty
405Package: amssymb 2013/01/14 v3.01 AMS font symbols 102Package: amssymb 2013/01/14 v3.01 AMS font symbols
406 (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty 103
104(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty
407Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support 105Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support
408\symAMSa=\mathgroup4 106\symAMSa=\mathgroup4
409\symAMSb=\mathgroup5 107\symAMSb=\mathgroup5
108LaTeX Font Info: Redeclaring math symbol \hbar on input line 98.
410LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' 109LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold'
411(Font) U/euf/m/n --> U/euf/b/n on input line 106. 110(Font) U/euf/m/n --> U/euf/b/n on input line 106.
412)) (/usr/share/texlive/texmf-dist/tex/latex/geometry/geometry.sty 111))
413Package: geometry 2010/09/12 v5.6 Page Geometry 112(/usr/share/texlive/texmf-dist/tex/latex/geometry/geometry.sty
414 (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty 113Package: geometry 2020/01/02 v5.9 Page Geometry
114
115(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty
415Package: keyval 2014/10/28 v1.15 key=value parser (DPC) 116Package: keyval 2014/10/28 v1.15 key=value parser (DPC)
416\KV@toks@=\toks27 117\KV@toks@=\toks27
417) (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifpdf.sty
418Package: ifpdf 2017/03/15 v3.2 Provides the ifpdf switch
419) (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifvtex.sty
420Package: ifvtex 2016/05/16 v1.6 Detect VTeX and its facilities (HO)
421Package ifvtex Info: VTeX not detected.
422) (/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty
423Package: ifxetex 2010/09/12 v0.6 Provides ifxetex conditional
424) 118)
425\Gm@cnth=\count99 119(/usr/share/texlive/texmf-dist/tex/generic/iftex/ifvtex.sty
426\Gm@cntv=\count100 120Package: ifvtex 2019/10/25 v1.7 ifvtex legacy package. Use iftex instead.
427\c@Gm@tempcnt=\count101 121
428\Gm@bindingoffset=\dimen112 122(/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty
429\Gm@wd@mp=\dimen113 123Package: iftex 2019/11/07 v1.0c TeX engine tests
430\Gm@odd@mp=\dimen114 124))
431\Gm@even@mp=\dimen115 125\Gm@cnth=\count187
432\Gm@layoutwidth=\dimen116 126\Gm@cntv=\count188
433\Gm@layoutheight=\dimen117 127\c@Gm@tempcnt=\count189
434\Gm@layouthoffset=\dimen118 128\Gm@bindingoffset=\dimen144
435\Gm@layoutvoffset=\dimen119 129\Gm@wd@mp=\dimen145
130\Gm@odd@mp=\dimen146
131\Gm@even@mp=\dimen147
132\Gm@layoutwidth=\dimen148
133\Gm@layoutheight=\dimen149
134\Gm@layouthoffset=\dimen150
135\Gm@layoutvoffset=\dimen151
436\Gm@dimlist=\toks28 136\Gm@dimlist=\toks28
437) 137)
438\c@exercise=\count102 138\c@exercise=\count190
439 (./preplogic-solutions.aux) 139
140(/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdfmode.def
141File: l3backend-pdfmode.def 2020-02-03 L3 backend support: PDF mode
142\l__kernel_color_stack_int=\count191
143\l__pdf_internal_box=\box47
144)
145(./preplogic-solutions.aux)
440\openout1 = `preplogic-solutions.aux'. 146\openout1 = `preplogic-solutions.aux'.
441 147
442LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 13. 148LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 13.
443LaTeX Font Info: ... okay on input line 13. 149LaTeX Font Info: ... okay on input line 13.
444LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 13. 150LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 13.
445LaTeX Font Info: ... okay on input line 13. 151LaTeX Font Info: ... okay on input line 13.
446LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 13. 152LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 13.
447LaTeX Font Info: ... okay on input line 13. 153LaTeX Font Info: ... okay on input line 13.
448LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 13. 154LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 13.
155LaTeX Font Info: ... okay on input line 13.
156LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 13.
449LaTeX Font Info: ... okay on input line 13. 157LaTeX Font Info: ... okay on input line 13.
450LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 13. 158LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 13.
451LaTeX Font Info: ... okay on input line 13. 159LaTeX Font Info: ... okay on input line 13.
@@ -486,36 +194,49 @@ LaTeX Font Info: ... okay on input line 13.
486* \@reversemarginfalse 194* \@reversemarginfalse
487* (1in=72.27pt=25.4mm, 1cm=28.453pt) 195* (1in=72.27pt=25.4mm, 1cm=28.453pt)
488 196
489LaTeX Font Info: Try loading font information for U+msa on input line 14. 197LaTeX Font Info: Trying to load font information for U+msa on input line 14.
198
490(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd 199(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd
491File: umsa.fd 2013/01/14 v3.01 AMS symbols A 200File: umsa.fd 2013/01/14 v3.01 AMS symbols A
492) 201)
493LaTeX Font Info: Try loading font information for U+msb on input line 14. 202LaTeX Font Info: Trying to load font information for U+msb on input line 14.
494 (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd 203
204
205(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd
495File: umsb.fd 2013/01/14 v3.01 AMS symbols B 206File: umsb.fd 2013/01/14 v3.01 AMS symbols B
496) [1 207) [1
497 208
498{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] [2] 209{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] [2] [3] [4] (./preplogic-s
499LaTeX Font Info: Try loading font information for OMS+cmr on input line 190. 210olutions.aux) )
500 (/usr/share/texlive/texmf-dist/tex/latex/base/omscmr.fd
501File: omscmr.fd 2014/09/29 v2.5h Standard LaTeX font definitions
502)
503LaTeX Font Info: Font shape `OMS/cmr/m/n' in size <10> not available
504(Font) Font shape `OMS/cmsy/m/n' tried instead on input line 190.
505 [3] [4] (./preplogic-solutions.aux) )
506Here is how much of TeX's memory you used: 211Here is how much of TeX's memory you used:
507 2058 strings out of 492982 212 2177 strings out of 481239
508 24165 string characters out of 6134896 213 28310 string characters out of 5920377
509 98124 words of memory out of 5000000 214 278136 words of memory out of 5000000
510 5615 multiletter control sequences out of 15000+600000 215 17450 multiletter control sequences out of 15000+600000
511 12689 words of font info for 49 fonts, out of 8000000 for 9000 216 541722 words of font info for 60 fonts, out of 8000000 for 9000
512 1141 hyphenation exceptions out of 8191 217 1141 hyphenation exceptions out of 8191
513 27i,16n,26p,234b,280s stack positions out of 5000i,500n,10000p,200000b,80000s 218 30i,16n,31p,234b,294s stack positions out of 5000i,500n,10000p,200000b,80000s
514</usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbxti10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmex10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi5.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi7.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr17.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr5.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr7.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmti10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb> 219 </home/sebastiano/.texlive2019/texmf-var/fonts/pk/ljfour/jknapp
515Output written on preplogic-solutions.pdf (4 pages, 167239 bytes). 220en/ec/tcrm1000.600pk></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts
221/cm/cmbx10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cm
222bx12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbxti10
223.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmex10.pfb><
224/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb></usr/s
225hare/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi5.pfb></usr/share/te
226xlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi7.pfb></usr/share/texlive/t
227exmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb></usr/share/texlive/texmf-di
228st/fonts/type1/public/amsfonts/cm/cmr12.pfb></usr/share/texlive/texmf-dist/font
229s/type1/public/amsfonts/cm/cmr17.pfb></usr/share/texlive/texmf-dist/fonts/type1
230/public/amsfonts/cm/cmr5.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/
231amsfonts/cm/cmr7.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts
232/cm/cmsy10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cm
233ti10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt12.p
234fb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pf
235b>
236Output written on preplogic-solutions.pdf (4 pages, 167760 bytes).
516PDF statistics: 237PDF statistics:
517 81 PDF objects out of 1000 (max. 8388607) 238 86 PDF objects out of 1000 (max. 8388607)
518 58 compressed objects within 1 object stream 239 62 compressed objects within 1 object stream
519 0 named destinations out of 1000 (max. 500000) 240 0 named destinations out of 1000 (max. 500000)
520 1 words of extra memory for PDF output out of 10000 (max. 10000000) 241 1 words of extra memory for PDF output out of 10000 (max. 10000000)
521 242
diff --git a/solutions/preplogic-solutions.pdf b/solutions/preplogic-solutions.pdf
index 2ad655a..5fc4e0a 100644
--- a/solutions/preplogic-solutions.pdf
+++ b/solutions/preplogic-solutions.pdf
Binary files differ
diff --git a/solutions/preplogic-solutions.synctex.gz b/solutions/preplogic-solutions.synctex.gz
deleted file mode 100644
index 647d5b3..0000000
--- a/solutions/preplogic-solutions.synctex.gz
+++ /dev/null
Binary files differ

Generated with cgit - Back to sebastiano.tronto.net