aboutsummaryrefslogtreecommitdiff
path: root/slides
diff options
context:
space:
mode:
Diffstat (limited to 'slides')
-rw-r--r--slides/preplogic-slides.aux56
-rw-r--r--slides/preplogic-slides.fdb_latexmk425
-rw-r--r--slides/preplogic-slides.fls676
-rw-r--r--slides/preplogic-slides.log1427
-rw-r--r--slides/preplogic-slides.nav54
-rw-r--r--slides/preplogic-slides.pdfbin364862 -> 364675 bytes
-rw-r--r--slides/preplogic-slides.synctex.gzbin90792 -> 88640 bytes
-rw-r--r--slides/preplogic-slides.tex10
-rw-r--r--slides/preplogic-slides.toc2
9 files changed, 1489 insertions, 1161 deletions
diff --git a/slides/preplogic-slides.aux b/slides/preplogic-slides.aux
index d51ee85..ee1fb2f 100644
--- a/slides/preplogic-slides.aux
+++ b/slides/preplogic-slides.aux
@@ -70,32 +70,32 @@
70\@writefile{nav}{\headcommand {\beamer@sectionpages {28}{39}}} 70\@writefile{nav}{\headcommand {\beamer@sectionpages {28}{39}}}
71\@writefile{nav}{\headcommand {\beamer@subsectionpages {28}{39}}} 71\@writefile{nav}{\headcommand {\beamer@subsectionpages {28}{39}}}
72\@writefile{nav}{\headcommand {\sectionentry {4}{Quantifiers}{40}{Quantifiers}{0}}} 72\@writefile{nav}{\headcommand {\sectionentry {4}{Quantifiers}{40}{Quantifiers}{0}}}
73\@writefile{nav}{\headcommand {\slideentry {4}{0}{1}{40/41}{}{0}}} 73\@writefile{nav}{\headcommand {\slideentry {4}{0}{1}{40/42}{}{0}}}
74\@writefile{nav}{\headcommand {\beamer@framepages {40}{41}}} 74\@writefile{nav}{\headcommand {\beamer@framepages {40}{42}}}
75\@writefile{nav}{\headcommand {\slideentry {4}{0}{2}{42/42}{}{0}}} 75\@writefile{nav}{\headcommand {\slideentry {4}{0}{2}{43/43}{}{0}}}
76\@writefile{nav}{\headcommand {\beamer@framepages {42}{42}}} 76\@writefile{nav}{\headcommand {\beamer@framepages {43}{43}}}
77\@writefile{nav}{\headcommand {\slideentry {4}{0}{3}{43/45}{}{0}}} 77\@writefile{nav}{\headcommand {\slideentry {4}{0}{3}{44/46}{}{0}}}
78\@writefile{nav}{\headcommand {\beamer@framepages {43}{45}}} 78\@writefile{nav}{\headcommand {\beamer@framepages {44}{46}}}
79\@writefile{toc}{\beamer@sectionintoc {5}{Proofs}{46}{0}{5}} 79\@writefile{toc}{\beamer@sectionintoc {5}{Proofs}{47}{0}{5}}
80\@writefile{nav}{\headcommand {\beamer@sectionpages {40}{45}}} 80\@writefile{nav}{\headcommand {\beamer@sectionpages {40}{46}}}
81\@writefile{nav}{\headcommand {\beamer@subsectionpages {40}{45}}} 81\@writefile{nav}{\headcommand {\beamer@subsectionpages {40}{46}}}
82\@writefile{nav}{\headcommand {\sectionentry {5}{Proofs}{46}{Proofs}{0}}} 82\@writefile{nav}{\headcommand {\sectionentry {5}{Proofs}{47}{Proofs}{0}}}
83\@writefile{nav}{\headcommand {\slideentry {5}{0}{1}{46/49}{}{0}}} 83\@writefile{nav}{\headcommand {\slideentry {5}{0}{1}{47/50}{}{0}}}
84\@writefile{nav}{\headcommand {\beamer@framepages {46}{49}}} 84\@writefile{nav}{\headcommand {\beamer@framepages {47}{50}}}
85\@writefile{nav}{\headcommand {\slideentry {5}{0}{2}{50/54}{}{0}}} 85\@writefile{nav}{\headcommand {\slideentry {5}{0}{2}{51/55}{}{0}}}
86\@writefile{nav}{\headcommand {\beamer@framepages {50}{54}}} 86\@writefile{nav}{\headcommand {\beamer@framepages {51}{55}}}
87\@writefile{nav}{\headcommand {\slideentry {5}{0}{3}{55/56}{}{0}}} 87\@writefile{nav}{\headcommand {\slideentry {5}{0}{3}{56/57}{}{0}}}
88\@writefile{nav}{\headcommand {\beamer@framepages {55}{56}}} 88\@writefile{nav}{\headcommand {\beamer@framepages {56}{57}}}
89\@writefile{nav}{\headcommand {\slideentry {5}{0}{4}{57/63}{}{0}}} 89\@writefile{nav}{\headcommand {\slideentry {5}{0}{4}{58/64}{}{0}}}
90\@writefile{nav}{\headcommand {\beamer@framepages {57}{63}}} 90\@writefile{nav}{\headcommand {\beamer@framepages {58}{64}}}
91\@writefile{nav}{\headcommand {\slideentry {5}{0}{5}{64/65}{}{0}}} 91\@writefile{nav}{\headcommand {\slideentry {5}{0}{5}{65/66}{}{0}}}
92\@writefile{nav}{\headcommand {\beamer@framepages {64}{65}}} 92\@writefile{nav}{\headcommand {\beamer@framepages {65}{66}}}
93\@writefile{nav}{\headcommand {\slideentry {5}{0}{6}{66/70}{}{0}}} 93\@writefile{nav}{\headcommand {\slideentry {5}{0}{6}{67/71}{}{0}}}
94\@writefile{nav}{\headcommand {\beamer@framepages {66}{70}}} 94\@writefile{nav}{\headcommand {\beamer@framepages {67}{71}}}
95\@writefile{nav}{\headcommand {\slideentry {5}{0}{7}{71/71}{}{0}}} 95\@writefile{nav}{\headcommand {\slideentry {5}{0}{7}{72/72}{}{0}}}
96\@writefile{nav}{\headcommand {\beamer@framepages {71}{71}}} 96\@writefile{nav}{\headcommand {\beamer@framepages {72}{72}}}
97\@writefile{nav}{\headcommand {\beamer@partpages {1}{71}}} 97\@writefile{nav}{\headcommand {\beamer@partpages {1}{72}}}
98\@writefile{nav}{\headcommand {\beamer@subsectionpages {46}{71}}} 98\@writefile{nav}{\headcommand {\beamer@subsectionpages {47}{72}}}
99\@writefile{nav}{\headcommand {\beamer@sectionpages {46}{71}}} 99\@writefile{nav}{\headcommand {\beamer@sectionpages {47}{72}}}
100\@writefile{nav}{\headcommand {\beamer@documentpages {71}}} 100\@writefile{nav}{\headcommand {\beamer@documentpages {72}}}
101\@writefile{nav}{\headcommand {\gdef \inserttotalframenumber {29}}} 101\@writefile{nav}{\headcommand {\gdef \inserttotalframenumber {29}}}
diff --git a/slides/preplogic-slides.fdb_latexmk b/slides/preplogic-slides.fdb_latexmk
index b01ff7a..32485a0 100644
--- a/slides/preplogic-slides.fdb_latexmk
+++ b/slides/preplogic-slides.fdb_latexmk
@@ -1,220 +1,217 @@
1# Fdb version 3 1# Fdb version 3
2["pdflatex"] 1599412181 "preplogic-slides.tex" "preplogic-slides.pdf" "preplogic-slides" 1599412185 2["pdflatex"] 1599547213 "preplogic-slides.tex" "preplogic-slides.pdf" "preplogic-slides" 1599547216
3 "/usr/share/texmf-dist/fonts/map/fontname/texfonts.map" 1594687104 3524 cb3e574dea2d1052e39280babc910dc8 "" 3 "/etc/texmf/web2c/texmf.cnf" 1538037709 475 c0e671620eb5563b2130f56340a5fde8 ""
4 "/usr/share/texmf-dist/fonts/map/pdftex/updmap/pdftex.map" 1594687104 4851843 f8aac22e46e9a458223e5c13b1e20998 "" 4 "/usr/share/texlive/texmf-dist/fonts/map/fontname/texfonts.map" 1511824771 3332 103109f5612ad95229751940c61aada0 ""
5 "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm" 1594687104 1004 54797486969f23fa377b128694d548df "" 5 "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm" 1480098698 1004 54797486969f23fa377b128694d548df ""
6 "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex8.tfm" 1594687104 988 bdf658c3bfc2d96d3c8b02cfc1c94c20 "" 6 "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex8.tfm" 1480098698 988 bdf658c3bfc2d96d3c8b02cfc1c94c20 ""
7 "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex9.tfm" 1594687104 996 a18840b13b499c08ac2de96a99eda4bc "" 7 "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex9.tfm" 1480098698 996 a18840b13b499c08ac2de96a99eda4bc ""
8 "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm" 1594687104 916 f87d7c45f9c908e672703b83b72241a3 "" 8 "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm" 1480098698 916 f87d7c45f9c908e672703b83b72241a3 ""
9 "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm" 1594687104 924 9904cf1d39e9767e7a3622f2a125a565 "" 9 "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm" 1480098698 924 9904cf1d39e9767e7a3622f2a125a565 ""
10 "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm" 1594687104 928 2dc8d444221b7a635bb58038579b861a "" 10 "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm" 1480098698 928 2dc8d444221b7a635bb58038579b861a ""
11 "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm" 1594687104 908 2921f8a10601f252058503cc6570e581 "" 11 "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm" 1480098698 908 2921f8a10601f252058503cc6570e581 ""
12 "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm" 1594687104 940 75ac932a52f80982a9f8ea75d03a34cf "" 12 "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm" 1480098698 940 75ac932a52f80982a9f8ea75d03a34cf ""
13 "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm" 1594687104 940 228d6584342e91276bf566bcf9716b83 "" 13 "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm" 1480098698 940 228d6584342e91276bf566bcf9716b83 ""
14 "/usr/share/texmf-dist/fonts/tfm/public/cm/cmex10.tfm" 1594687104 992 662f679a0b3d2d53c1b94050fdaa3f50 "" 14 "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmex10.tfm" 1480098701 992 662f679a0b3d2d53c1b94050fdaa3f50 ""
15 "/usr/share/texmf-dist/fonts/tfm/public/cm/cmmi10.tfm" 1594687104 1528 abec98dbc43e172678c11b3b9031252a "" 15 "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi10.tfm" 1480098701 1528 abec98dbc43e172678c11b3b9031252a ""
16 "/usr/share/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm" 1594687104 1512 f21f83efb36853c0b70002322c1ab3ad "" 16 "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm" 1480098701 1512 f21f83efb36853c0b70002322c1ab3ad ""
17 "/usr/share/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm" 1594687104 1520 eccf95517727cb11801f4f1aee3a21b4 "" 17 "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm" 1480098701 1520 eccf95517727cb11801f4f1aee3a21b4 ""
18 "/usr/share/texmf-dist/fonts/tfm/public/cm/cmmi9.tfm" 1594687104 1524 d89e2d087a9828407a196f428428ef4a "" 18 "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi9.tfm" 1480098701 1524 d89e2d087a9828407a196f428428ef4a ""
19 "/usr/share/texmf-dist/fonts/tfm/public/cm/cmr10.tfm" 1594687104 1296 45809c5a464d5f32c8f98ba97c1bb47f "" 19 "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr10.tfm" 1480098701 1296 45809c5a464d5f32c8f98ba97c1bb47f ""
20 "/usr/share/texmf-dist/fonts/tfm/public/cm/cmss10.tfm" 1594687104 1316 b636689f1933f24d1294acdf6041daaa "" 20 "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss10.tfm" 1480098701 1316 b636689f1933f24d1294acdf6041daaa ""
21 "/usr/share/texmf-dist/fonts/tfm/public/cm/cmss12.tfm" 1594687104 1324 37b971caf729d7edd9cbb9f9b0ea76eb "" 21 "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss12.tfm" 1480098701 1324 37b971caf729d7edd9cbb9f9b0ea76eb ""
22 "/usr/share/texmf-dist/fonts/tfm/public/cm/cmss17.tfm" 1594687104 1320 ed93d62c5f2c16343826001f03341dbc "" 22 "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss17.tfm" 1480098701 1320 ed93d62c5f2c16343826001f03341dbc ""
23 "/usr/share/texmf-dist/fonts/tfm/public/cm/cmss8.tfm" 1594687104 1296 d77f431d10d47c8ea2cc18cf45346274 "" 23 "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss8.tfm" 1480098701 1296 d77f431d10d47c8ea2cc18cf45346274 ""
24 "/usr/share/texmf-dist/fonts/tfm/public/cm/cmss9.tfm" 1594687104 1320 49357c421c0d469f88b867dd0c3d10e8 "" 24 "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss9.tfm" 1480098701 1320 49357c421c0d469f88b867dd0c3d10e8 ""
25 "/usr/share/texmf-dist/fonts/tfm/public/cm/cmssbx10.tfm" 1594687104 1272 e2d13f0df30bf3ad990bb9d028e37f34 "" 25 "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmssbx10.tfm" 1480098701 1272 e2d13f0df30bf3ad990bb9d028e37f34 ""
26 "/usr/share/texmf-dist/fonts/tfm/public/cm/cmssi10.tfm" 1594687104 1520 ca2bb4b78ac9800bd686e30c6d19ef95 "" 26 "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmssi10.tfm" 1480098701 1520 ca2bb4b78ac9800bd686e30c6d19ef95 ""
27 "/usr/share/texmf-dist/fonts/tfm/public/cm/cmssi8.tfm" 1594687104 1500 7f49257eca65a87057f17452e9fe3ef5 "" 27 "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm" 1480098701 1124 6c73e740cf17375f03eec0ee63599741 ""
28 "/usr/share/texmf-dist/fonts/tfm/public/cm/cmssi9.tfm" 1594687104 1524 db4bb1dddb7b51420776d94a5c70c2a5 "" 28 "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm" 1480098701 1116 933a60c408fc0a863a92debe84b2d294 ""
29 "/usr/share/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm" 1594687104 1124 6c73e740cf17375f03eec0ee63599741 "" 29 "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm" 1480098701 1120 8b7d695260f3cff42e636090a8002094 ""
30 "/usr/share/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm" 1594687104 1116 933a60c408fc0a863a92debe84b2d294 "" 30 "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy9.tfm" 1480098701 1116 25a7bf822c58caf309a702ef79f4afbb ""
31 "/usr/share/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm" 1594687104 1120 8b7d695260f3cff42e636090a8002094 "" 31 "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmtt10.tfm" 1480098701 768 1321e9409b4137d6fb428ac9dc956269 ""
32 "/usr/share/texmf-dist/fonts/tfm/public/cm/cmsy9.tfm" 1594687104 1116 25a7bf822c58caf309a702ef79f4afbb "" 32 "/usr/share/texlive/texmf-dist/fonts/tfm/public/sansmathaccent/mathkerncmssi10.tfm" 1480098717 1696 aaa5bbd1f47f001247d42218ce371101 ""
33 "/usr/share/texmf-dist/fonts/tfm/public/cm/cmtt10.tfm" 1594687104 768 1321e9409b4137d6fb428ac9dc956269 "" 33 "/usr/share/texlive/texmf-dist/fonts/tfm/public/sansmathaccent/mathkerncmssi8.tfm" 1480098717 1676 fb6c6a335484692abff897d6e8965829 ""
34 "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb" 1594687104 36299 5f9df58c2139e7edcf37c8fca4bd384d "" 34 "/usr/share/texlive/texmf-dist/fonts/tfm/public/sansmathaccent/mathkerncmssi9.tfm" 1480098717 1700 6cce8f71de5b3d676f417bc2a77d1db2 ""
35 "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss10.pfb" 1594687104 24457 5cbb7bdf209d5d1ce9892a9b80a307cc "" 35 "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb" 1480098733 36299 5f9df58c2139e7edcf37c8fca4bd384d ""
36 "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss12.pfb" 1594687104 24393 3b7eb51a67a0a62aec5849271bdb9c2e "" 36 "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmss10.pfb" 1480098733 24457 5cbb7bdf209d5d1ce9892a9b80a307cc ""
37 "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss17.pfb" 1594687104 24416 36515493f76659302880e2604105b074 "" 37 "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmss12.pfb" 1480098733 24393 3b7eb51a67a0a62aec5849271bdb9c2e ""
38 "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss8.pfb" 1594687104 24420 52dbb8e8aa0069a1b987309557f8d303 "" 38 "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmss17.pfb" 1480098733 24416 36515493f76659302880e2604105b074 ""
39 "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss9.pfb" 1594687104 24373 a91d375736817a75026663adcb2190c1 "" 39 "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmss8.pfb" 1480098733 24420 52dbb8e8aa0069a1b987309557f8d303 ""
40 "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssbx10.pfb" 1594687104 28902 2f5c04fd2884d1878057baa5aad22765 "" 40 "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmss9.pfb" 1480098733 24373 a91d375736817a75026663adcb2190c1 ""
41 "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi10.pfb" 1594687104 25150 e0d09798d232ab9d00c5c0a8df6cc22d "" 41 "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmssbx10.pfb" 1480098733 28902 2f5c04fd2884d1878057baa5aad22765 ""
42 "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi8.pfb" 1594687104 25168 33771b85f45c82138dd7745db7092d1c "" 42 "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi10.pfb" 1480098733 25150 e0d09798d232ab9d00c5c0a8df6cc22d ""
43 "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi9.pfb" 1594687104 25029 6f2cec9646ca278302ed7d604e506e3e "" 43 "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi8.pfb" 1480098733 25168 33771b85f45c82138dd7745db7092d1c ""
44 "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb" 1594687104 32569 5e5ddc8df908dea60932f3c484a54c0d "" 44 "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi9.pfb" 1480098733 25029 6f2cec9646ca278302ed7d604e506e3e ""
45 "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy9.pfb" 1594687104 32442 c975af247b6702f7ca0c299af3616b80 "" 45 "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb" 1480098733 32569 5e5ddc8df908dea60932f3c484a54c0d ""
46 "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.pfb" 1594687104 31099 c85edf1dd5b9e826d67c9c7293b6786c "" 46 "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy9.pfb" 1480098733 32442 c975af247b6702f7ca0c299af3616b80 ""
47 "/usr/share/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb" 1594687104 34694 ad62b13721ee8eda1dcc8993c8bd7041 "" 47 "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.pfb" 1480098733 31099 c85edf1dd5b9e826d67c9c7293b6786c ""
48 "/usr/share/texmf-dist/tex/context/base/mkii/supp-pdf.mkii" 1594687104 71627 94eb9990bed73c364d7f53f960cc8c5b "" 48 "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb" 1480098734 34694 ad62b13721ee8eda1dcc8993c8bd7041 ""
49 "/usr/share/texmf-dist/tex/generic/atbegshi/atbegshi.sty" 1594687104 24708 5584a51a7101caf7e6bbf1fc27d8f7b1 "" 49 "/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii" 1480098806 71627 94eb9990bed73c364d7f53f960cc8c5b ""
50 "/usr/share/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty" 1594687104 40635 c40361e206be584d448876bba8a64a3b "" 50 "/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty" 1480098815 1458 43ab4710dc82f3edeabecd0d099626b2 ""
51 "/usr/share/texmf-dist/tex/generic/bitset/bitset.sty" 1594687104 33961 6b5c75130e435b2bfdb9f480a09a39f9 "" 51 "/usr/share/texlive/texmf-dist/tex/generic/oberdiek/atbegshi.sty" 1480098815 24580 144573175d90c8e36676f97ae1d11ec2 ""
52 "/usr/share/texmf-dist/tex/generic/etexcmds/etexcmds.sty" 1594687104 7734 b98cbb34c81f667027c1e3ebdbfce34b "" 52 "/usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty" 1480098815 8237 3b62ef1f7e2c23a328c814b3893bc11f ""
53 "/usr/share/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty" 1594687104 8371 9d55b8bd010bc717624922fb3477d92e "" 53 "/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty" 1517006633 185082 6c11d4e30ed78e2a12957b7e77030856 ""
54 "/usr/share/texmf-dist/tex/generic/iftex/ifpdf.sty" 1594687104 480 5778104efadad304ced77548ca2184b1 "" 54 "/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty" 1480098815 70864 bcd5b216757bd619ae692a151d90085d ""
55 "/usr/share/texmf-dist/tex/generic/iftex/iftex.sty" 1594687104 6501 4011d89d9621e0b0901138815ba5ff29 "" 55 "/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifpdf.sty" 1490564930 1251 d170e11a3246c3392bc7f59595af42cb ""
56 "/usr/share/texmf-dist/tex/generic/iftex/ifvtex.sty" 1594687104 1057 525c2192b5febbd8c1f662c9468335bb "" 56 "/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifvtex.sty" 1480098815 6797 90b7f83b0ad46826bc16058b1e3d48df ""
57 "/usr/share/texmf-dist/tex/generic/infwarerr/infwarerr.sty" 1594687104 8356 7bbb2c2373aa810be568c29e333da8ed "" 57 "/usr/share/texlive/texmf-dist/tex/generic/oberdiek/infwarerr.sty" 1480098815 8253 473e0e41f9adadb1977e8631b8f72ea6 ""
58 "/usr/share/texmf-dist/tex/generic/intcalc/intcalc.sty" 1594687104 31769 002a487f55041f8e805cfbf6385ffd97 "" 58 "/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ltxcmds.sty" 1480098815 18425 5b3c0c59d76fac78978b5558e83c1f36 ""
59 "/usr/share/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty" 1594687104 5412 d5a2436094cd7be85769db90f29250a6 "" 59 "/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex" 1480098816 1006 b103be0bfc8c1682ff1fa9760697a329 ""
60 "/usr/share/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty" 1594687104 13807 952b0226d4efca026f0e19dd266dcc22 "" 60 "/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex" 1480098816 43226 167a99346bfe2676e3efcdde2d81fe45 ""
61 "/usr/share/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty" 1594687104 18552 1e1cc7b75da0dfaacce7cdcb27d306bf "" 61 "/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex" 1480098816 19302 4f089dc590e71f7331e6d5b5ea85273b ""
62 "/usr/share/texmf-dist/tex/generic/pdfescape/pdfescape.sty" 1594687104 19007 15924f7228aca6c6d184b115f4baa231 "" 62 "/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex" 1480098816 6068 edae1e768a7d8d8f0f00e953d2b0153e ""
63 "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex" 1594687104 992 fb3cda354707a54fda62787a411c7c22 "" 63 "/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex" 1480098816 7041 a891ad72049e17c4e366c40ca37b0ccb ""
64 "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex" 1594687104 43820 bc6cf5aa959817914ace33f5c6232161 "" 64 "/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex" 1480098816 4625 40c07e9f6f2f7c674704b3f2055560ce ""
65 "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex" 1594687104 19324 c9a64402f22bd8d81821141a357af653 "" 65 "/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex" 1480098816 2631 7eefa6cdbefd8d4e2bad7262cf1094cd ""
66 "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex" 1594687104 6038 d639d02574be9a72f3c602c2a3510e02 "" 66 "/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.tex" 1480098816 43477 81143b33d9ebafdeead07ede13372427 ""
67 "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex" 1594687104 6948 284bbe3c9a7ca0a826c1c03895e69b9f "" 67 "/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code.tex" 1480098816 17436 8d99d4113be311daf23deff86991ee7d ""
68 "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex" 1594687104 4883 a6f3eb1f71d8c4affaf43a169828b043 "" 68 "/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex" 1480098816 20772 c57e34db4aa7b1da013169d04b743eac ""
69 "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex" 1594687104 2544 3b1b198fd49f01e328adc9162a07b213 "" 69 "/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex" 1480098816 9641 711f0edc22c180a5caf168b6e8970057 ""
70 "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.tex" 1594687104 44189 1fd6229dad4c898883516c032f2ca5d2 "" 70 "/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex" 1480098816 34516 658a71478d21df554bce9d9cd436203a ""
71 "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code.tex" 1594687104 17311 3092579be20ef0f229c42ad3f09da85c "" 71 "/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex" 1480098816 3052 e5672c657232fd63b0a9853b0746297c ""
72 "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex" 1594687104 21302 d6c4b340248adbe650ebf6ca76bdccca "" 72 "/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex" 1480098816 16669 4ec6e40088fc6de6334b443fe2dc59f0 ""
73 "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex" 1594687104 9690 7585efa5a591822837f837bc5bc35621 "" 73 "/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex" 1480098816 21541 4cd19f8ff7dd74d5aa7d803a6397af84 ""
74 "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex" 1594687104 33335 942ccafe284041918d36e54696b98aa7 "" 74 "/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations.code.tex" 1480098816 19998 d77fef95c7369827753d17fd11be19c4 ""
75 "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex" 1594687104 2965 502761b60f43ab2de5ecb2f4625163ae "" 75 "/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.code.tex" 1480098816 8943 2e2495b057f8f0035b5568394d489963 ""
76 "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorerdf.code.tex" 1594687104 5196 f8c5c775d4d6e2cb050392127cabda72 "" 76 "/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex" 1480098816 454 9e9e7c99f4da4f41698be21eaef4938e ""
77 "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex" 1594687104 20726 ed6ec1d6f0f35e7a93de4e79af83dbce "" 77 "/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex" 1480098816 13416 940ea6971d7a65dc440d3479939c66ae ""
78 "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex" 1594687104 35249 144a6b9c4df4644618bb3a0a40472608 "" 78 "/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex" 1480098816 94097 62ac62cda46eb715560dc27f9ed6e8b1 ""
79 "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations.code.tex" 1594687104 21989 266e83c51fe41eb8b8d5e6896dc71cc1 "" 79 "/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.tex" 1480098816 9375 5adc70f722abd29fc250d59e0694b548 ""
80 "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.code.tex" 1594687104 8842 5cc856e132fac404805c6da091779283 "" 80 "/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code.tex" 1480098816 22069 7c21c42b15718ce922f36235be360490 ""
81 "/usr/share/texmf-dist/tex/generic/pgf/math/pgfint.code.tex" 1594687104 3063 8c415c68a0f3394e45cfeca0b65f6ee6 "" 81 "/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex" 1480098816 8210 a7be5b52ef3d2c087b7dc3d52898b67e ""
82 "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex" 1594687104 521 c70cf6ad609de83a27ee7929eb356332 "" 82 "/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison.code.tex" 1480098816 3534 c7f28fbac13616513e513efe93b8569b ""
83 "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex" 1594687104 13391 933cab19c6d27039dbfc487330d1005a "" 83 "/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerarithmetics.code.tex" 1480098816 3167 7c9394e79aac27db96a92f9b2792b858 ""
84 "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex" 1594687104 104938 15f2d8bdabd6bf9ca70f62cd8e3d4940 "" 84 "/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex" 1480098816 9289 261407875b9dbb0194691c3eb893610f ""
85 "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.tex" 1594687104 10157 218d58ab074e5bd0d027de45ec64cc00 "" 85 "/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code.tex" 1480098816 7078 946ddf4a7e57219b6afdbad98eb6731b ""
86 "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code.tex" 1594687104 28176 568b081ec39645f2db1a29fbd0c635e2 "" 86 "/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code.tex" 1480098816 2688 139c6abc86761a6190c2f4bef5d752be ""
87 "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex" 1594687104 9054 388d21239a1b6df2cc8beaae31c976b0 "" 87 "/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonometric.code.tex" 1480098816 92284 dcf023dbaa84e6c50e11c2f79fe8cfa6 ""
88 "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison.code.tex" 1594687104 3865 cddf7ddc80f018587c55afdcc79fc333 "" 88 "/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex" 1480098816 35430 046e15fbb65e74d8f0e7945f99741fdb ""
89 "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerarithmetics.code.tex" 1594687104 3177 27d85c44fbfe09ff3b2cf2879e3ea434 "" 89 "/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex" 1480098816 7099 f44d505bae6c7c2b933cdd63441db4b9 ""
90 "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex" 1594687104 10925 df50b8a6e5660a585e3a2bf55726dcc8 "" 90 "/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg" 1480098816 978 15af626ebd3d4d790aac19170dac04f2 ""
91 "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code.tex" 1594687104 7787 1750fc3f164703caf31fc8ea9218c67e "" 91 "/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def" 1480098816 5437 d91f93ed61ecdc57e119849b2d784a0b ""
92 "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code.tex" 1594687104 3379 cbd0948a550bd7a495a160ca6beee9ed "" 92 "/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def" 1480098816 13507 809d848d9262638e1b1705a68a73c566 ""
93 "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonometric.code.tex" 1594687104 92405 bba89470858d7b0788a9c09331c39653 "" 93 "/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex" 1480098816 35113 2ccc50c1c9573e4bac9230d030f9c67c ""
94 "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex" 1594687104 36526 453db1f8626a56b5ebb0fad496d6a39f "" 94 "/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex" 1480098816 1983 b5994ebbcee17f1ba3d29bb1bd696fcf ""
95 "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex" 1594687104 8471 b18959397c76e1e582402ab9f592ed9f "" 95 "/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex" 1480098816 7881 d459d6057e13d10ce7a227ae44b7295e ""
96 "/usr/share/texmf-dist/tex/generic/pgf/pgf.revision.tex" 1594687104 465 1f401ab1e7fc6cb7ede39e96c66531fd "" 96 "/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex" 1480098816 36194 e194ef4e0b396b531a3891feb4b1cc22 ""
97 "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg" 1594687104 926 70ff613fabeb70f5d1673dc0c93987bd "" 97 "/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.tex" 1480098816 33377 af391d6ad1bfcbe2278e191f48e43ba8 ""
98 "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def" 1594687104 5546 3586827e6032c95512b2a6682d2979a3 "" 98 "/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex" 1480098816 2536 a3b0529d815a2759ba157b56610a6377 ""
99 "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def" 1594687104 12603 c02869ea216d842c29d52fae8738264e "" 99 "/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common-lists.tex" 1480098816 6833 114eda2cf1d348e0e7e477a1a4dc1941 ""
100 "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex" 1594687104 60269 e86bc0081af83a4ad47e4500ee09a2e4 "" 100 "/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex" 1480098816 16501 ab0135765e27b6b8dae047831fe84818 ""
101 "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex" 1594687104 1896 82c274ff520f9e450ccea4e3ef4edc12 "" 101 "/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def" 1480098816 5544 294baac9629ba59f675b1f2027ad7136 ""
102 "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex" 1594687104 7778 a25a32a10ca820357491d4c7b3ac02ea "" 102 "/usr/share/texlive/texmf-dist/tex/latex/amscls/amsthm.sty" 1513722769 12604 3dec726c041422879dc3268237f09026 ""
103 "/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex" 1594687104 36815 f7f1772c398f07af2cb741992963045c "" 103 "/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty" 1480098820 5949 3f3fd50a8cc94c3d4cbf4fc66cd3df1c ""
104 "/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.tex" 1594687104 37439 bd44d50aef702b03193f731207931834 "" 104 "/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty" 1480098820 13829 94730e64147574077f8ecfea9bb69af4 ""
105 "/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex" 1594687104 4494 7e5ace0ccf59408f2cf63219a5d36927 "" 105 "/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd" 1480098820 961 6518c6525a34feb5e8250ffa91731cff ""
106 "/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-common-lists.tex" 1594687104 7250 03b2b9fb5fa38e7ca5cc3c45860fb210 "" 106 "/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd" 1480098820 961 d02606146ba5601b5645f987c92e6193 ""
107 "/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex" 1594687104 28309 488ccc6c701bbdd1bf671f708757aa5c "" 107 "/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty" 1480098820 2210 5c54ab129b848a5071554186d0168766 ""
108 "/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def" 1594687104 6286 1bd76fc45da9929ab2a64f51cba3ab6f "" 108 "/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty" 1480098820 4160 c115536cf8d4ff25aa8c1c9bc4ecb79a ""
109 "/usr/share/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty" 1594687104 7008 f92eaa0a3872ed622bbf538217cd2ab7 "" 109 "/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty" 1504905757 84352 897a476d96a0681047a5b0f91178a3d2 ""
110 "/usr/share/texmf-dist/tex/latex/amscls/amsthm.sty" 1594687104 12594 0d51ac3a545aaaa555021326ff22a6cc "" 110 "/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty" 1480098820 4115 318a66090112f3aa3f415aeb6fe8540f ""
111 "/usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty" 1594687104 5949 3f3fd50a8cc94c3d4cbf4fc66cd3df1c "" 111 "/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty" 1480098820 2431 fe3078ec12fc30287f568596f8e0b948 ""
112 "/usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty" 1594687104 13829 94730e64147574077f8ecfea9bb69af4 "" 112 "/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty" 1480098821 4732 d63eda807ac82cca2ca8488efd31a966 ""
113 "/usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd" 1594687104 961 6518c6525a34feb5e8250ffa91731cff "" 113 "/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.dfu" 1487721667 2004 ac51aeac484f08c01026120d62677eca ""
114 "/usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd" 1594687104 961 d02606146ba5601b5645f987c92e6193 "" 114 "/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.dfu" 1487721667 3181 1cb3e9ad01f4a01127b2ffd821bfeec7 ""
115 "/usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty" 1594687104 2211 ca7ce284ab93c8eecdc6029dc5ccbd73 "" 115 "/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo" 1480098821 8308 f91506bb4df6d8527331f7bbeaf0e63c ""
116 "/usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty" 1594687104 4161 7f6eb9092061a11f87d08ed13515b48d "" 116 "/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.dfu" 1487721667 11255 9d97362866549d3d3c994b5f28d1b9b5 ""
117 "/usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty" 1594687104 85660 baee036978c7a91f4e2bba43f05e5945 "" 117 "/usr/share/texlive/texmf-dist/tex/latex/base/utf8.def" 1487721667 7784 325a2a09984cb5c4ff230f9867145ad3 ""
118 "/usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty" 1594687104 4116 32e6abd27229755a83a8b7f18e583890 "" 118 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamer.cls" 1519256047 11573 6ad13c4ed41dfa776135546b18cfbe1a ""
119 "/usr/share/texmf-dist/tex/latex/amsmath/amstext.sty" 1594687104 2432 8ff93b1137020e8f21930562a874ae66 "" 119 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseauxtemplates.sty" 1519256047 22666 933c376468a06913d7754fc13742473c ""
120 "/usr/share/texmf-dist/tex/latex/atveryend/atveryend.sty" 1594687104 19336 ce7ae9438967282886b3b036cfad1e4d "" 120 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseboxes.sty" 1483401677 8073 df5c1784673e960a504a7c1960c767d3 ""
121 "/usr/share/texmf-dist/tex/latex/auxhook/auxhook.sty" 1594687104 3935 57aa3c3e203a5c2effb4d2bd2efbc323 "" 121 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasecolor.sty" 1519256047 13293 4e137a4941dec574b49585c13053f681 ""
122 "/usr/share/texmf-dist/tex/latex/base/inputenc.sty" 1594687104 5050 8933a39ad74377accd18991c5eb90c58 "" 122 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasecompatibility.sty" 1519256047 24410 c4c8374860ec8dd144c9e52b9a4be8f6 ""
123 "/usr/share/texmf-dist/tex/latex/base/size11.clo" 1594687104 8462 61fdf79debfc3dc4dab35ec6cf83fbf7 "" 123 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasedecode.sty" 1519256047 9223 3dcf2e3028325ba361c1b99d7205fc93 ""
124 "/usr/share/texmf-dist/tex/latex/beamer/beamer.cls" 1594687104 11573 fb10f3ba07076d9c06c3409feda5d88d "" 124 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasefont.sty" 1519256047 13464 29d78002042e084b82f7d34ed67391d9 ""
125 "/usr/share/texmf-dist/tex/latex/beamer/beamerbaseauxtemplates.sty" 1594687104 22666 933c376468a06913d7754fc13742473c "" 125 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseframe.sty" 1519256047 24785 78a2d764d246c48203b98fd9602a30cf ""
126 "/usr/share/texmf-dist/tex/latex/beamer/beamerbaseboxes.sty" 1594687104 8073 df5c1784673e960a504a7c1960c767d3 "" 126 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseframecomponents.sty" 1519256047 11898 264f0ae03dbfa791611c1821393bc0b9 ""
127 "/usr/share/texmf-dist/tex/latex/beamer/beamerbasecolor.sty" 1594687104 12833 4a3018ddd737615ef54cab73b480dcce "" 127 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseframesize.sty" 1483401677 8724 3da64c74fd1533e88179d5635b7ae6fe ""
128 "/usr/share/texmf-dist/tex/latex/beamer/beamerbasecompatibility.sty" 1594687104 24482 5f58e11864478c308dcf8c18243dcb94 "" 128 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaselocalstructure.sty" 1519256047 16585 b2950fd7e085cc3b1afaf3170f3e21fc ""
129 "/usr/share/texmf-dist/tex/latex/beamer/beamerbasedecode.sty" 1594687104 9407 98317d4428bbbc4430035c0c0e3898d5 "" 129 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasemisc.sty" 1519256047 8313 358d4bb860bd9098eb24099f36b27af1 ""
130 "/usr/share/texmf-dist/tex/latex/beamer/beamerbasefont.sty" 1594687104 13569 d8a4a4071b0e63f9a4cf8ae3c68b7e7e "" 130 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasemodes.sty" 1519256047 7493 bfb4c812c60867c1a9060a306fdd3434 ""
131 "/usr/share/texmf-dist/tex/latex/beamer/beamerbaseframe.sty" 1594687104 25162 9e33f2887dc316e20c319466b078d6eb "" 131 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasenavigation.sty" 1519256047 29020 6cae2187b2d2bc4f39b6bb5bddbcf031 ""
132 "/usr/share/texmf-dist/tex/latex/beamer/beamerbaseframecomponents.sty" 1594687104 11898 264f0ae03dbfa791611c1821393bc0b9 "" 132 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasenotes.sty" 1519256047 5347 c13cef7a309d4719e32c79977ffb972f ""
133 "/usr/share/texmf-dist/tex/latex/beamer/beamerbaseframesize.sty" 1594687104 8800 544bcf1a583ad768d77d8b1d8f18a993 "" 133 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseoptions.sty" 1500070590 1753 c10ec1df45e4b4c7ee05e306d23f95d7 ""
134 "/usr/share/texmf-dist/tex/latex/beamer/beamerbaselocalstructure.sty" 1594687104 17583 c291beca2f4344c6e18bd65c861fab16 "" 134 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseoverlay.sty" 1519256047 27030 515a945e010680cce3b317f59eaaf081 ""
135 "/usr/share/texmf-dist/tex/latex/beamer/beamerbasemisc.sty" 1594687104 8313 358d4bb860bd9098eb24099f36b27af1 "" 135 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaserequires.sty" 1500070590 1593 48c3729494fa250d34789fd6af677f99 ""
136 "/usr/share/texmf-dist/tex/latex/beamer/beamerbasemodes.sty" 1594687104 7493 bfb4c812c60867c1a9060a306fdd3434 "" 136 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasesection.sty" 1519256047 13467 0173b5c7addf3966d285337d930a310a ""
137 "/usr/share/texmf-dist/tex/latex/beamer/beamerbasenavigation.sty" 1594687104 29020 6cae2187b2d2bc4f39b6bb5bddbcf031 "" 137 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetemplates.sty" 1500070590 5753 fbf8c2f7c7d6d5d1d2b900c353f094e8 ""
138 "/usr/share/texmf-dist/tex/latex/beamer/beamerbasenotes.sty" 1594687104 5395 48b89c204d17ea05ff3963866b346ef1 "" 138 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasethemes.sty" 1500070590 1140 cdaff8d445bd2a4e7afdec5190a758c0 ""
139 "/usr/share/texmf-dist/tex/latex/beamer/beamerbaseoptions.sty" 1594687104 1753 c10ec1df45e4b4c7ee05e306d23f95d7 "" 139 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetheorems.sty" 1500070590 4548 cdde9ae4b614ce5ea4cf7a232ceeb6a8 ""
140 "/usr/share/texmf-dist/tex/latex/beamer/beamerbaseoverlay.sty" 1594687104 27356 1d0de4282709577ad8e0af82d9f86547 "" 140 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetitle.sty" 1519256047 5373 858be7ef52ed1687cd0388aded0480c3 ""
141 "/usr/share/texmf-dist/tex/latex/beamer/beamerbaserequires.sty" 1594687104 1593 48c3729494fa250d34789fd6af677f99 "" 141 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetoc.sty" 1519256047 7494 ed91d358cf202c733488dccab65fec3b ""
142 "/usr/share/texmf-dist/tex/latex/beamer/beamerbasesection.sty" 1594687104 13463 17ce9c69ca9d65b18f2625010a24b63a "" 142 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetranslator.sty" 1483401677 637 685bd3d40aca2fa87965a39bc31aca7f ""
143 "/usr/share/texmf-dist/tex/latex/beamer/beamerbasetemplates.sty" 1594687104 5753 fbf8c2f7c7d6d5d1d2b900c353f094e8 "" 143 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetwoscreens.sty" 1500070590 1408 93bead6e76a275002dbb9a319dc984d0 ""
144 "/usr/share/texmf-dist/tex/latex/beamer/beamerbasethemes.sty" 1594687104 1140 cdaff8d445bd2a4e7afdec5190a758c0 "" 144 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseverbatim.sty" 1519256047 4026 1ba2c6a2acf275d63cb85d60d8597fe8 ""
145 "/usr/share/texmf-dist/tex/latex/beamer/beamerbasetheorems.sty" 1594687104 4548 cdde9ae4b614ce5ea4cf7a232ceeb6a8 "" 145 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamercolorthemedefault.sty" 1519256047 7113 9e704ecfdbef4fb8bd9e18751e4051a9 ""
146 "/usr/share/texmf-dist/tex/latex/beamer/beamerbasetitle.sty" 1594687104 5356 d32dea458460fce4541d4f9aa765b876 "" 146 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamercolorthemeorchid.sty" 1513642141 835 ac57517533d993c08f21ee9ac10445d7 ""
147 "/usr/share/texmf-dist/tex/latex/beamer/beamerbasetoc.sty" 1594687104 7540 49f6c8ecb1955d667d1620733f995fe0 "" 147 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamercolorthemewhale.sty" 1513642141 1013 bbd3a76e797308a780fd7196c973ec2e ""
148 "/usr/share/texmf-dist/tex/latex/beamer/beamerbasetranslator.sty" 1594687104 637 685bd3d40aca2fa87965a39bc31aca7f "" 148 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerfontthemedefault.sty" 1519256047 4236 21e590075d6781cc58fee783316ee268 ""
149 "/usr/share/texmf-dist/tex/latex/beamer/beamerbasetwoscreens.sty" 1594687104 1408 93bead6e76a275002dbb9a319dc984d0 "" 149 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamericonarticle.20.pdf" 1513642141 2958 4e0c4a6e994e5c4d9da11c477e927f0f ""
150 "/usr/share/texmf-dist/tex/latex/beamer/beamerbaseverbatim.sty" 1594687104 4026 1ba2c6a2acf275d63cb85d60d8597fe8 "" 150 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamericonarticle.pdf" 1513642141 2936 6cc3ef0682cbb62be8aa1b19f0a84ed6 ""
151 "/usr/share/texmf-dist/tex/latex/beamer/beamercolorthemedefault.sty" 1594687104 7089 c34bc77851d46db7348b94bd5e51168a "" 151 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamericonbook.20.pdf" 1513642141 2734 0bcf939051dd2a936cdfe5982f7c233b ""
152 "/usr/share/texmf-dist/tex/latex/beamer/beamercolorthemeorchid.sty" 1594687104 835 ac57517533d993c08f21ee9ac10445d7 "" 152 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamericonbook.pdf" 1513642141 2667 7624351b441ffe4bd2d14e08fbcf063d ""
153 "/usr/share/texmf-dist/tex/latex/beamer/beamercolorthemewhale.sty" 1594687104 1013 bbd3a76e797308a780fd7196c973ec2e "" 153 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamericononline.20.pdf" 1513642141 24451 195d2c060e84f339954bc6d9b52131d7 ""
154 "/usr/share/texmf-dist/tex/latex/beamer/beamerfontthemedefault.sty" 1594687104 4236 21e590075d6781cc58fee783316ee268 "" 154 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamericononline.pdf" 1513642141 24611 df07010540266b2b205b492a4d02e7e1 ""
155 "/usr/share/texmf-dist/tex/latex/beamer/beamericonarticle.20.pdf" 1594687104 2958 4e0c4a6e994e5c4d9da11c477e927f0f "" 155 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerinnerthemedefault.sty" 1519256047 13031 a33a15e4b12bfa976c11f59131636ea9 ""
156 "/usr/share/texmf-dist/tex/latex/beamer/beamericonarticle.pdf" 1594687104 2936 6cc3ef0682cbb62be8aa1b19f0a84ed6 "" 156 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerinnerthemerounded.sty" 1519256047 1012 55816d41ed72706aad1be90f5f2e88c2 ""
157 "/usr/share/texmf-dist/tex/latex/beamer/beamericonbook.20.pdf" 1594687104 2734 0bcf939051dd2a936cdfe5982f7c233b "" 157 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerouterthemedefault.sty" 1519256047 6584 a2b5a29622807666ab66e073d385a2b7 ""
158 "/usr/share/texmf-dist/tex/latex/beamer/beamericonbook.pdf" 1594687104 2667 7624351b441ffe4bd2d14e08fbcf063d "" 158 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerouterthemeinfolines.sty" 1519256047 2059 d74a25f2c50be5a6bd60f6dd74623b60 ""
159 "/usr/share/texmf-dist/tex/latex/beamer/beamericononline.20.pdf" 1594687104 24451 195d2c060e84f339954bc6d9b52131d7 "" 159 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerthemeMadrid.sty" 1513642141 557 e5b73eb0fcb3152cb7e2db7637b10743 ""
160 "/usr/share/texmf-dist/tex/latex/beamer/beamericononline.pdf" 1594687104 24611 df07010540266b2b205b492a4d02e7e1 "" 160 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerthemedefault.sty" 1513642141 355 75c98e7b8f427eb7c625ed391b140c5b ""
161 "/usr/share/texmf-dist/tex/latex/beamer/beamerinnerthemedefault.sty" 1594687104 13031 a33a15e4b12bfa976c11f59131636ea9 "" 161 "/usr/share/texlive/texmf-dist/tex/latex/etoolbox/etoolbox.sty" 1518389458 43862 d90315ae4a46ef887a38b4ccba021f91 ""
162 "/usr/share/texmf-dist/tex/latex/beamer/beamerinnerthemerounded.sty" 1594687104 1012 55816d41ed72706aad1be90f5f2e88c2 "" 162 "/usr/share/texlive/texmf-dist/tex/latex/filehook/filehook.sty" 1480098828 12104 88bda8c1ae09e2b6dc29ed32629eafa1 ""
163 "/usr/share/texmf-dist/tex/latex/beamer/beamerouterthemedefault.sty" 1594687104 6630 9731ba35f4c7921e311abc957adf446b "" 163 "/usr/share/texlive/texmf-dist/tex/latex/geometry/geometry.sty" 1480098829 40502 e003406220954b0716679d7928aedd8a ""
164 "/usr/share/texmf-dist/tex/latex/beamer/beamerouterthemeinfolines.sty" 1594687104 2144 e0cf5aa9e45511f2752045d0ae67bb3b "" 164 "/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg" 1480098830 1213 620bba36b25224fa9b7e1ccb4ecb76fd ""
165 "/usr/share/texmf-dist/tex/latex/beamer/beamerthemeMadrid.sty" 1594687104 557 e5b73eb0fcb3152cb7e2db7637b10743 "" 165 "/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg" 1480098830 1224 978390e9c2234eab29404bc21b268d1e ""
166 "/usr/share/texmf-dist/tex/latex/beamer/beamerthemedefault.sty" 1594687104 355 75c98e7b8f427eb7c625ed391b140c5b "" 166 "/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def" 1515537368 17334 520b9b85ad8a2a48eda3f643e27a5179 ""
167 "/usr/share/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty" 1594687104 13886 d1306dcf79a944f6988e688c1785f9ce "" 167 "/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty" 1498427532 15275 7d676729b1bedd3e7f3c6717affb366c ""
168 "/usr/share/texmf-dist/tex/latex/etoolbox/etoolbox.sty" 1594687104 45259 743c52a37a6e5ed83cfe0e128b2da10d "" 168 "/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty" 1498427532 9066 649f2ccf62888e3d8c3e57256b70b8e1 ""
169 "/usr/share/texmf-dist/tex/latex/geometry/geometry.sty" 1594687104 41601 9cf6c5257b1bc7af01a58859749dd37a "" 169 "/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty" 1480098830 2594 d18d5e19aa8239cf867fa670c556d2e9 ""
170 "/usr/share/texmf-dist/tex/latex/graphics-cfg/color.cfg" 1594687104 1213 620bba36b25224fa9b7e1ccb4ecb76fd "" 170 "/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty" 1480098830 3980 0a268fbfda01e381fa95821ab13b6aee ""
171 "/usr/share/texmf-dist/tex/latex/graphics-cfg/graphics.cfg" 1594687104 1224 978390e9c2234eab29404bc21b268d1e "" 171 "/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def" 1518041854 51699 9069fc983fff0db91d59a15af144ad62 ""
172 "/usr/share/texmf-dist/tex/latex/graphics-def/pdftex.def" 1594687104 17448 c8e20d5f7e69b0cbecf82ab29daeebd9 "" 172 "/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty" 1518041854 234088 2c849389d62d41c593d9f5176c4116ab ""
173 "/usr/share/texmf-dist/tex/latex/graphics/graphics.sty" 1594687104 16932 04729abe63b66ec59ea56edcd722b058 "" 173 "/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty" 1480098831 12949 81e4e808884a8f0e276b69410e234656 ""
174 "/usr/share/texmf-dist/tex/latex/graphics/graphicx.sty" 1594687104 9067 1b996612394a52e1efe89c8bfe8a5892 "" 174 "/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def" 1518041854 14098 4e70bf396c7c265bd8b0e5cab3fd3d4d ""
175 "/usr/share/texmf-dist/tex/latex/graphics/keyval.sty" 1594687104 2590 e3b24ff953e5b58d924f163d25380312 "" 175 "/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg" 1480098833 678 4792914a8f45be57bb98413425e4c7af ""
176 "/usr/share/texmf-dist/tex/latex/graphics/trig.sty" 1594687104 3976 d7fa7d81d2870d509d25b17d0245e735 "" 176 "/usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg" 1480098833 235 6031e5765137be07eed51a510b2b8fb7 ""
177 "/usr/share/texmf-dist/tex/latex/hycolor/hycolor.sty" 1594687104 17914 4c28a13fc3d975e6e81c9bea1d697276 "" 177 "/usr/share/texlive/texmf-dist/tex/latex/ms/everyshi.sty" 1480098835 3878 6aa7c08ff2621006e0603349e40a30a8 ""
178 "/usr/share/texmf-dist/tex/latex/hyperref/hpdftex.def" 1594687104 50570 2e81797743231d9037b0cbe3436d74ba "" 178 "/usr/share/texlive/texmf-dist/tex/latex/oberdiek/auxhook.sty" 1480098836 3834 4363110eb0ef1eb2b71c8fcbcdb6c357 ""
179 "/usr/share/texmf-dist/tex/latex/hyperref/hyperref.sty" 1594687104 236775 8ab18a05f69e6caef423fa59cb0af03b "" 179 "/usr/share/texlive/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty" 1480098836 12095 5337833c991d80788a43d3ce26bd1c46 ""
180 "/usr/share/texmf-dist/tex/latex/hyperref/nameref.sty" 1594687104 13244 0070bcab7b5a88187847128d22faf4d8 "" 180 "/usr/share/texlive/texmf-dist/tex/latex/oberdiek/grfext.sty" 1480098836 7075 2fe3d848bba95f139de11ded085e74aa ""
181 "/usr/share/texmf-dist/tex/latex/hyperref/pd1enc.def" 1594687104 14134 c11767c54bd7ecab56984ee4e4e3158c "" 181 "/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty" 1480098836 22417 1d9df1eb66848aa31b18a593099cf45c ""
182 "/usr/share/texmf-dist/tex/latex/kvoptions/kvoptions.sty" 1594687104 22520 c4c2dab203104295e1e618be7e5c0f5b "" 182 "/usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty" 1480098836 9581 023642318cef9f4677efe364de1e2a27 ""
183 "/usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdfmode.def" 1594687104 25742 5de23a2d2bc67a3139433e702e64a437 "" 183 "/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty" 1480098837 410 5bf12ea7330e5f12c445332a4fe9a263 ""
184 "/usr/share/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg" 1594687104 678 4792914a8f45be57bb98413425e4c7af "" 184 "/usr/share/texlive/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty" 1480098837 443 0b2e781830192df35c0fd357cf13e26e ""
185 "/usr/share/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty" 1594687104 5766 13a9e8766c47f30327caf893ece86ac8 "" 185 "/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty" 1480098837 325 2bcd023400636339210573e2b3ee298b ""
186 "/usr/share/texmf-dist/tex/latex/ms/everyshi.sty" 1594687104 3878 6aa7c08ff2621006e0603349e40a30a8 "" 186 "/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/xxcolor.sty" 1480098837 2267 e82edfd18fbf4047c6f20ed9467f27db ""
187 "/usr/share/texmf-dist/tex/latex/pdftexcmds/pdftexcmds.sty" 1594687104 19989 e08c4750d96640367c4b141017eda013 "" 187 "/usr/share/texlive/texmf-dist/tex/latex/sansmathaccent/ot1mathkerncmss.fd" 1480098838 1299 299fd4fecf7d7085f0a8361bcf0e7804 ""
188 "/usr/share/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty" 1594687104 410 5bf12ea7330e5f12c445332a4fe9a263 "" 188 "/usr/share/texlive/texmf-dist/tex/latex/sansmathaccent/sansmathaccent.sty" 1480098838 4280 a62885a2f2d4221d634eb6cd5559e518 ""
189 "/usr/share/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty" 1594687104 443 0b2e781830192df35c0fd357cf13e26e "" 189 "/usr/share/texlive/texmf-dist/tex/latex/setspace/setspace.sty" 1480098838 22913 a27d7908fc6f0385466454a966a316eb ""
190 "/usr/share/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty" 1594687104 325 2bcd023400636339210573e2b3ee298b "" 190 "/usr/share/texlive/texmf-dist/tex/latex/tools/enumerate.sty" 1480098841 3467 d39e40f25d5fd2b3b49a58d155063dd6 ""
191 "/usr/share/texmf-dist/tex/latex/pgf/utilities/xxcolor.sty" 1594687104 2232 039fa82ec2c2edd871c3a2d85e9cb2f7 "" 191 "/usr/share/texlive/texmf-dist/tex/latex/translator/translator-basic-dictionary-English.dict" 1512078926 3435 0a4d096dde3f8fe682c2aedd33b8137d ""
192 "/usr/share/texmf-dist/tex/latex/refcount/refcount.sty" 1594687104 9878 9e94e8fa600d95f9c7731bb21dfb67a4 "" 192 "/usr/share/texlive/texmf-dist/tex/latex/translator/translator-bibliography-dictionary-English.dict" 1512078926 903 c6d17f0656e9e1abb172b4faebabd617 ""
193 "/usr/share/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty" 1594687104 9715 b051d5b493d9fe5f4bc251462d039e5f "" 193 "/usr/share/texlive/texmf-dist/tex/latex/translator/translator-environment-dictionary-English.dict" 1512078926 433 bfb8d1c2c020defd2de8e5c276710094 ""
194 "/usr/share/texmf-dist/tex/latex/setspace/setspace.sty" 1594687104 22913 a27d7908fc6f0385466454a966a316eb "" 194 "/usr/share/texlive/texmf-dist/tex/latex/translator/translator-months-dictionary-English.dict" 1512078926 1337 9a6c05e8f0c8b3c5f27cbd0e455cf475 ""
195 "/usr/share/texmf-dist/tex/latex/tools/enumerate.sty" 1594687104 3469 19b6cb25f21abe53fb90b9fe27615441 "" 195 "/usr/share/texlive/texmf-dist/tex/latex/translator/translator-numbers-dictionary-English.dict" 1512078926 1638 2bf1a1dea98f8a4d28033fce76e9cc67 ""
196 "/usr/share/texmf-dist/tex/latex/translator/translator-basic-dictionary-English.dict" 1594687104 3435 0a4d096dde3f8fe682c2aedd33b8137d "" 196 "/usr/share/texlive/texmf-dist/tex/latex/translator/translator-theorem-dictionary-English.dict" 1512078926 3523 1f9d9b91f7d78b73e74c7e97bca30fb0 ""
197 "/usr/share/texmf-dist/tex/latex/translator/translator-bibliography-dictionary-English.dict" 1594687104 903 c6d17f0656e9e1abb172b4faebabd617 "" 197 "/usr/share/texlive/texmf-dist/tex/latex/translator/translator.sty" 1515274380 8690 269ca424c32d015df5d558ef9752619d ""
198 "/usr/share/texmf-dist/tex/latex/translator/translator-environment-dictionary-English.dict" 1594687104 433 bfb8d1c2c020defd2de8e5c276710094 "" 198 "/usr/share/texlive/texmf-dist/tex/latex/url/url.sty" 1480098842 12796 8edb7d69a20b857904dd0ea757c14ec9 ""
199 "/usr/share/texmf-dist/tex/latex/translator/translator-months-dictionary-English.dict" 1594687104 1337 9a6c05e8f0c8b3c5f27cbd0e455cf475 "" 199 "/usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty" 1480098843 55589 34128738f682d033422ca125f82e5d62 ""
200 "/usr/share/texmf-dist/tex/latex/translator/translator-numbers-dictionary-English.dict" 1594687104 1638 2bf1a1dea98f8a4d28033fce76e9cc67 "" 200 "/usr/share/texlive/texmf-dist/web2c/texmf.cnf" 1520210507 32485 c64754543d8ac501bea6e75e209ea521 ""
201 "/usr/share/texmf-dist/tex/latex/translator/translator-theorem-dictionary-English.dict" 1594687104 3523 1f9d9b91f7d78b73e74c7e97bca30fb0 "" 201 "/usr/share/texmf/web2c/texmf.cnf" 1520210507 32485 c64754543d8ac501bea6e75e209ea521 ""
202 "/usr/share/texmf-dist/tex/latex/translator/translator.sty" 1594687104 8691 e154b4b39c7cd1cfa9301a391c44afdd "" 202 "/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map" 1556268315 2498019 afad6a2aaa78d153b1d838814ac14e00 ""
203 "/usr/share/texmf-dist/tex/latex/url/url.sty" 1594687104 12796 8edb7d69a20b857904dd0ea757c14ec9 "" 203 "/var/lib/texmf/web2c/pdftex/pdflatex.fmt" 1553505671 4131933 9c912dd4c7f439cb8b40127b9b4a2f38 ""
204 "/usr/share/texmf-dist/tex/latex/xcolor/xcolor.sty" 1594687104 55589 34128738f682d033422ca125f82e5d62 "" 204 "preplogic-slides.aux" 1599547215 6068 2f0cc67bdd50708d140d2e9bc09f8405 ""
205 "/usr/share/texmf-dist/web2c/texmf.cnf" 1597672114 39446 755423e82e7afb756f49b242a15f4ec2 "" 205 "preplogic-slides.nav" 1599547215 3672 467051a347cacc5af16126018a801fe6 ""
206 "/usr/share/texmf-var/web2c/pdftex/pdflatex.fmt" 1598712773 2434818 64d78922a5d2a9baf6bf1beec95a9374 "" 206 "preplogic-slides.out" 1599547215 231 deb4a29a1afc0897b65a37cc63a87407 ""
207 "preplogic-slides.aux" 1599412185 6068 0cd160fad86cda8453c8a27f21ba7a8b "pdflatex" 207 "preplogic-slides.tex" 1599547212 14092 f64cd262a08bbc958a70d23b2d3ed4d4 ""
208 "preplogic-slides.nav" 1599412185 3672 0800028632c9a7b0abd7c91d24b51be9 "pdflatex" 208 "preplogic-slides.toc" 1599547215 240 82b64b5af661cb4f9fe5c48ed162b693 ""
209 "preplogic-slides.out" 1599412185 231 deb4a29a1afc0897b65a37cc63a87407 "pdflatex"
210 "preplogic-slides.tex" 1599412180 14004 9f55841449bbd22b45df126f77402832 ""
211 "preplogic-slides.toc" 1599412185 240 128cdf304ee282775db2a41da35e3a3e "pdflatex"
212 "unilu.jpg" 1554272896 41957 a77f6a50964dc93c1a7378a3852a421d "" 209 "unilu.jpg" 1554272896 41957 a77f6a50964dc93c1a7378a3852a421d ""
213 (generated) 210 (generated)
214 "preplogic-slides.toc" 211 "preplogic-slides.log"
215 "preplogic-slides.snm"
216 "preplogic-slides.out"
217 "preplogic-slides.aux" 212 "preplogic-slides.aux"
213 "preplogic-slides.toc"
218 "preplogic-slides.nav" 214 "preplogic-slides.nav"
215 "preplogic-slides.snm"
219 "preplogic-slides.pdf" 216 "preplogic-slides.pdf"
220 "preplogic-slides.log" 217 "preplogic-slides.out"
diff --git a/slides/preplogic-slides.fls b/slides/preplogic-slides.fls
index cfad114..bc10e7b 100644
--- a/slides/preplogic-slides.fls
+++ b/slides/preplogic-slides.fls
@@ -1,274 +1,267 @@
1PWD /home/sebastiano/Dropbox/teaching/preparatory_logic/slides 1PWD /home/sebastiano/Dropbox/teaching/preparatory_logic/slides
2INPUT /usr/share/texmf-dist/web2c/texmf.cnf 2INPUT /etc/texmf/web2c/texmf.cnf
3INPUT /usr/share/texmf-var/web2c/pdftex/pdflatex.fmt 3INPUT /usr/share/texmf/web2c/texmf.cnf
4INPUT /usr/share/texlive/texmf-dist/web2c/texmf.cnf
5INPUT /var/lib/texmf/web2c/pdftex/pdflatex.fmt
4INPUT preplogic-slides.tex 6INPUT preplogic-slides.tex
5OUTPUT preplogic-slides.log 7OUTPUT preplogic-slides.log
6INPUT /usr/share/texmf-dist/tex/latex/beamer/beamer.cls 8INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamer.cls
7INPUT /usr/share/texmf-dist/tex/latex/beamer/beamer.cls 9INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamer.cls
8INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasemodes.sty 10INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasemodes.sty
9INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasemodes.sty 11INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasemodes.sty
10INPUT /usr/share/texmf-dist/tex/latex/etoolbox/etoolbox.sty 12INPUT /usr/share/texlive/texmf-dist/tex/latex/etoolbox/etoolbox.sty
11INPUT /usr/share/texmf-dist/tex/latex/etoolbox/etoolbox.sty 13INPUT /usr/share/texlive/texmf-dist/tex/latex/etoolbox/etoolbox.sty
12INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasedecode.sty 14INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasedecode.sty
13INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasedecode.sty 15INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasedecode.sty
14INPUT /usr/share/texmf-dist/tex/generic/iftex/ifpdf.sty 16INPUT /usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifpdf.sty
15INPUT /usr/share/texmf-dist/tex/generic/iftex/ifpdf.sty 17INPUT /usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifpdf.sty
16INPUT /usr/share/texmf-dist/tex/generic/iftex/iftex.sty 18INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseoptions.sty
17INPUT /usr/share/texmf-dist/tex/generic/iftex/iftex.sty 19INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseoptions.sty
18INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbaseoptions.sty 20INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty
19INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbaseoptions.sty 21INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty
20INPUT /usr/share/texmf-dist/tex/latex/graphics/keyval.sty 22INPUT /usr/share/texlive/texmf-dist/tex/latex/geometry/geometry.sty
21INPUT /usr/share/texmf-dist/tex/latex/graphics/keyval.sty 23INPUT /usr/share/texlive/texmf-dist/tex/latex/geometry/geometry.sty
22INPUT /usr/share/texmf-dist/tex/latex/geometry/geometry.sty 24INPUT /usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifvtex.sty
23INPUT /usr/share/texmf-dist/tex/latex/geometry/geometry.sty 25INPUT /usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifvtex.sty
24INPUT /usr/share/texmf-dist/tex/generic/iftex/ifvtex.sty 26INPUT /usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty
25INPUT /usr/share/texmf-dist/tex/generic/iftex/ifvtex.sty 27INPUT /usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty
26INPUT /usr/share/texmf-dist/tex/latex/base/size11.clo 28INPUT /usr/share/texlive/texmf-dist/tex/latex/base/size11.clo
27INPUT /usr/share/texmf-dist/tex/latex/base/size11.clo 29INPUT /usr/share/texlive/texmf-dist/tex/latex/base/size11.clo
28INPUT /usr/share/texmf-dist/fonts/map/fontname/texfonts.map 30INPUT /usr/share/texlive/texmf-dist/fonts/map/fontname/texfonts.map
29INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr10.tfm 31INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr10.tfm
30INPUT /usr/share/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty 32INPUT /usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty
31INPUT /usr/share/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty 33INPUT /usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty
32INPUT /usr/share/texmf-dist/tex/latex/graphics/graphicx.sty 34INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty
33INPUT /usr/share/texmf-dist/tex/latex/graphics/graphicx.sty 35INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty
34INPUT /usr/share/texmf-dist/tex/latex/graphics/graphics.sty 36INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty
35INPUT /usr/share/texmf-dist/tex/latex/graphics/graphics.sty 37INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty
36INPUT /usr/share/texmf-dist/tex/latex/graphics/trig.sty 38INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty
37INPUT /usr/share/texmf-dist/tex/latex/graphics/trig.sty 39INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty
38INPUT /usr/share/texmf-dist/tex/latex/graphics-cfg/graphics.cfg 40INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg
39INPUT /usr/share/texmf-dist/tex/latex/graphics-cfg/graphics.cfg 41INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg
40INPUT /usr/share/texmf-dist/tex/latex/graphics-def/pdftex.def 42INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def
41INPUT /usr/share/texmf-dist/tex/latex/graphics-def/pdftex.def 43INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def
42INPUT /usr/share/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty 44INPUT /usr/share/texlive/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
43INPUT /usr/share/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty 45INPUT /usr/share/texlive/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
44INPUT /usr/share/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty 46INPUT /usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
45INPUT /usr/share/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty 47INPUT /usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
46INPUT /usr/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex 48INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex
47INPUT /usr/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-common-lists.tex 49INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common-lists.tex
48INPUT /usr/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def 50INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def
49INPUT /usr/share/texmf-dist/tex/latex/ms/everyshi.sty 51INPUT /usr/share/texlive/texmf-dist/tex/latex/ms/everyshi.sty
50INPUT /usr/share/texmf-dist/tex/latex/ms/everyshi.sty 52INPUT /usr/share/texlive/texmf-dist/tex/latex/ms/everyshi.sty
51INPUT /usr/share/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex 53INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex
52INPUT /usr/share/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex 54INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex
53INPUT /usr/share/texmf-dist/tex/generic/pgf/pgf.revision.tex 55INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex
54INPUT /usr/share/texmf-dist/tex/generic/pgf/pgf.revision.tex 56INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex
55INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex 57INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
56INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex 58INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.tex
57INPUT /usr/share/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex 59INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg
58INPUT /usr/share/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.tex 60INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def
59INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg 61INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def
60INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def 62INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def
61INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def 63INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex
62INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def 64INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex
63INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex 65INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex
64INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex 66INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex
65INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex 67INPUT /usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty
66INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex 68INPUT /usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty
67INPUT /usr/share/texmf-dist/tex/latex/xcolor/xcolor.sty 69INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg
68INPUT /usr/share/texmf-dist/tex/latex/xcolor/xcolor.sty 70INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg
69INPUT /usr/share/texmf-dist/tex/latex/graphics-cfg/color.cfg 71INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex
70INPUT /usr/share/texmf-dist/tex/latex/graphics-cfg/color.cfg 72INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex
71INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex 73INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex
72INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex 74INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex
73INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex 75INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex
74INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex 76INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex
75INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex 77INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex
76INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex 78INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code.tex
77INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex 79INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonometric.code.tex
78INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code.tex 80INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code.tex
79INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonometric.code.tex 81INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison.code.tex
80INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code.tex 82INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.tex
81INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison.code.tex 83INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code.tex
82INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.tex 84INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex
83INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code.tex 85INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerarithmetics.code.tex
84INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex 86INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex
85INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerarithmetics.code.tex 87INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex
86INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex 88INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.tex
87INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfint.code.tex 89INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex
88INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex 90INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex
89INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.tex 91INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex
90INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex 92INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations.code.tex
91INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex 93INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex
92INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex 94INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex
93INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations.code.tex 95INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code.tex
94INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex 96INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex
95INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex 97INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex
96INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code.tex 98INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex
97INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex 99INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex
98INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex 100INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex
99INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex 101INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.code.tex
100INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex 102INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex
101INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex 103INPUT /usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/xxcolor.sty
102INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.code.tex 104INPUT /usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/xxcolor.sty
103INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex 105INPUT /usr/share/texlive/texmf-dist/tex/generic/oberdiek/atbegshi.sty
104INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorerdf.code.tex 106INPUT /usr/share/texlive/texmf-dist/tex/generic/oberdiek/atbegshi.sty
105INPUT /usr/share/texmf-dist/tex/latex/pgf/utilities/xxcolor.sty 107INPUT /usr/share/texlive/texmf-dist/tex/generic/oberdiek/infwarerr.sty
106INPUT /usr/share/texmf-dist/tex/latex/pgf/utilities/xxcolor.sty 108INPUT /usr/share/texlive/texmf-dist/tex/generic/oberdiek/infwarerr.sty
107INPUT /usr/share/texmf-dist/tex/generic/atbegshi/atbegshi.sty 109INPUT /usr/share/texlive/texmf-dist/tex/generic/oberdiek/ltxcmds.sty
108INPUT /usr/share/texmf-dist/tex/generic/atbegshi/atbegshi.sty 110INPUT /usr/share/texlive/texmf-dist/tex/generic/oberdiek/ltxcmds.sty
109INPUT /usr/share/texmf-dist/tex/generic/infwarerr/infwarerr.sty 111INPUT /usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty
110INPUT /usr/share/texmf-dist/tex/generic/infwarerr/infwarerr.sty 112INPUT /usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty
111INPUT /usr/share/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty 113INPUT /usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty
112INPUT /usr/share/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty 114INPUT /usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty
113INPUT /usr/share/texmf-dist/tex/latex/hyperref/hyperref.sty 115INPUT /usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty
114INPUT /usr/share/texmf-dist/tex/latex/hyperref/hyperref.sty 116INPUT /usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty
115INPUT /usr/share/texmf-dist/tex/latex/pdftexcmds/pdftexcmds.sty 117INPUT /usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty
116INPUT /usr/share/texmf-dist/tex/latex/pdftexcmds/pdftexcmds.sty 118INPUT /usr/share/texlive/texmf-dist/tex/latex/oberdiek/auxhook.sty
117INPUT /usr/share/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty 119INPUT /usr/share/texlive/texmf-dist/tex/latex/oberdiek/auxhook.sty
118INPUT /usr/share/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty 120INPUT /usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty
119INPUT /usr/share/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty 121INPUT /usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty
120INPUT /usr/share/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty 122INPUT /usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def
121INPUT /usr/share/texmf-dist/tex/generic/pdfescape/pdfescape.sty 123INPUT /usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def
122INPUT /usr/share/texmf-dist/tex/generic/pdfescape/pdfescape.sty 124INPUT /usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg
123INPUT /usr/share/texmf-dist/tex/latex/hycolor/hycolor.sty 125INPUT /usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg
124INPUT /usr/share/texmf-dist/tex/latex/hycolor/hycolor.sty 126INPUT /usr/share/texlive/texmf-dist/tex/latex/url/url.sty
125INPUT /usr/share/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty 127INPUT /usr/share/texlive/texmf-dist/tex/latex/url/url.sty
126INPUT /usr/share/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty 128INPUT /usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def
127INPUT /usr/share/texmf-dist/tex/latex/auxhook/auxhook.sty 129INPUT /usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def
128INPUT /usr/share/texmf-dist/tex/latex/auxhook/auxhook.sty 130INPUT /usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty
129INPUT /usr/share/texmf-dist/tex/latex/kvoptions/kvoptions.sty 131INPUT /usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty
130INPUT /usr/share/texmf-dist/tex/latex/kvoptions/kvoptions.sty 132INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaserequires.sty
131INPUT /usr/share/texmf-dist/tex/latex/hyperref/pd1enc.def 133INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaserequires.sty
132INPUT /usr/share/texmf-dist/tex/latex/hyperref/pd1enc.def 134INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasecompatibility.sty
133INPUT /usr/share/texmf-dist/tex/generic/intcalc/intcalc.sty 135INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasecompatibility.sty
134INPUT /usr/share/texmf-dist/tex/generic/intcalc/intcalc.sty 136INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasefont.sty
135INPUT /usr/share/texmf-dist/tex/generic/etexcmds/etexcmds.sty 137INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasefont.sty
136INPUT /usr/share/texmf-dist/tex/generic/etexcmds/etexcmds.sty 138INPUT /usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty
137INPUT /usr/share/texmf-dist/tex/latex/url/url.sty 139INPUT /usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty
138INPUT /usr/share/texmf-dist/tex/latex/url/url.sty 140INPUT /usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty
139INPUT /usr/share/texmf-dist/tex/generic/bitset/bitset.sty 141INPUT /usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty
140INPUT /usr/share/texmf-dist/tex/generic/bitset/bitset.sty 142INPUT /usr/share/texlive/texmf-dist/tex/latex/sansmathaccent/sansmathaccent.sty
141INPUT /usr/share/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty 143INPUT /usr/share/texlive/texmf-dist/tex/latex/sansmathaccent/sansmathaccent.sty
142INPUT /usr/share/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty 144INPUT /usr/share/texlive/texmf-dist/tex/latex/sansmathaccent/sansmathaccent.sty
143INPUT /usr/share/texmf-dist/tex/latex/hyperref/hpdftex.def 145INPUT /usr/share/texlive/texmf-dist/tex/latex/filehook/filehook.sty
144INPUT /usr/share/texmf-dist/tex/latex/hyperref/hpdftex.def 146INPUT /usr/share/texlive/texmf-dist/tex/latex/filehook/filehook.sty
145INPUT /usr/share/texmf-dist/tex/latex/atveryend/atveryend.sty 147INPUT /usr/share/texlive/texmf-dist/tex/latex/filehook/filehook.sty
146INPUT /usr/share/texmf-dist/tex/latex/atveryend/atveryend.sty 148INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetranslator.sty
147INPUT /usr/share/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty 149INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetranslator.sty
148INPUT /usr/share/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty 150INPUT /usr/share/texlive/texmf-dist/tex/latex/translator/translator.sty
149INPUT /usr/share/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty 151INPUT /usr/share/texlive/texmf-dist/tex/latex/translator/translator.sty
150INPUT /usr/share/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty 152INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasemisc.sty
151INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbaserequires.sty 153INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasemisc.sty
152INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbaserequires.sty 154INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetwoscreens.sty
153INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasecompatibility.sty 155INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetwoscreens.sty
154INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasecompatibility.sty 156INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseoverlay.sty
155INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasefont.sty 157INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseoverlay.sty
156INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasefont.sty 158INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetitle.sty
157INPUT /usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty 159INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetitle.sty
158INPUT /usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty 160INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasesection.sty
159INPUT /usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty 161INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasesection.sty
160INPUT /usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty 162INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseframe.sty
161INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasetranslator.sty 163INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseframe.sty
162INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasetranslator.sty 164INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseverbatim.sty
163INPUT /usr/share/texmf-dist/tex/latex/translator/translator.sty 165INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseverbatim.sty
164INPUT /usr/share/texmf-dist/tex/latex/translator/translator.sty 166INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseframesize.sty
165INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasemisc.sty 167INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseframesize.sty
166INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasemisc.sty 168INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseframecomponents.sty
167INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasetwoscreens.sty 169INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseframecomponents.sty
168INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasetwoscreens.sty 170INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasecolor.sty
169INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbaseoverlay.sty 171INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasecolor.sty
170INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbaseoverlay.sty 172INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasenotes.sty
171INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasetitle.sty 173INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasenotes.sty
172INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasetitle.sty 174INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetoc.sty
173INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasesection.sty 175INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetoc.sty
174INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasesection.sty 176INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetemplates.sty
175INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbaseframe.sty 177INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetemplates.sty
176INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbaseframe.sty 178INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseauxtemplates.sty
177INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbaseverbatim.sty 179INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseauxtemplates.sty
178INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbaseverbatim.sty 180INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseboxes.sty
179INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbaseframesize.sty 181INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseboxes.sty
180INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbaseframesize.sty 182INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaselocalstructure.sty
181INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbaseframecomponents.sty 183INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaselocalstructure.sty
182INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbaseframecomponents.sty 184INPUT /usr/share/texlive/texmf-dist/tex/latex/tools/enumerate.sty
183INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasecolor.sty 185INPUT /usr/share/texlive/texmf-dist/tex/latex/tools/enumerate.sty
184INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasecolor.sty 186INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasenavigation.sty
185INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasenotes.sty 187INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasenavigation.sty
186INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasenotes.sty 188INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetheorems.sty
187INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasetoc.sty 189INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetheorems.sty
188INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasetoc.sty 190INPUT /usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty
189INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasetemplates.sty 191INPUT /usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty
190INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasetemplates.sty 192INPUT /usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty
191INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbaseauxtemplates.sty 193INPUT /usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty
192INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbaseauxtemplates.sty 194INPUT /usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty
193INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbaseboxes.sty 195INPUT /usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty
194INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbaseboxes.sty 196INPUT /usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty
195INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbaselocalstructure.sty 197INPUT /usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty
196INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbaselocalstructure.sty 198INPUT /usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty
197INPUT /usr/share/texmf-dist/tex/latex/tools/enumerate.sty 199INPUT /usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty
198INPUT /usr/share/texmf-dist/tex/latex/tools/enumerate.sty 200INPUT /usr/share/texlive/texmf-dist/tex/latex/amscls/amsthm.sty
199INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasenavigation.sty 201INPUT /usr/share/texlive/texmf-dist/tex/latex/amscls/amsthm.sty
200INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasenavigation.sty 202INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasethemes.sty
201INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasetheorems.sty 203INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasethemes.sty
202INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasetheorems.sty 204INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss10.tfm
203INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty 205INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerthemedefault.sty
204INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty 206INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerthemedefault.sty
205INPUT /usr/share/texmf-dist/tex/latex/amsmath/amstext.sty 207INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerfontthemedefault.sty
206INPUT /usr/share/texmf-dist/tex/latex/amsmath/amstext.sty 208INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerfontthemedefault.sty
207INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty 209INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamercolorthemedefault.sty
208INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty 210INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamercolorthemedefault.sty
209INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty 211INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerinnerthemedefault.sty
210INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty 212INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerinnerthemedefault.sty
211INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty 213INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamericonbook.pdf
212INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty
213INPUT /usr/share/texmf-dist/tex/latex/amscls/amsthm.sty
214INPUT /usr/share/texmf-dist/tex/latex/amscls/amsthm.sty
215INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasethemes.sty
216INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasethemes.sty
217INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmss10.tfm
218INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerthemedefault.sty
219INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerthemedefault.sty
220INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerfontthemedefault.sty
221INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerfontthemedefault.sty
222INPUT /usr/share/texmf-dist/tex/latex/beamer/beamercolorthemedefault.sty
223INPUT /usr/share/texmf-dist/tex/latex/beamer/beamercolorthemedefault.sty
224INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerinnerthemedefault.sty
225INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerinnerthemedefault.sty
226INPUT /usr/share/texmf-dist/tex/latex/beamer/beamericonbook.pdf
227OUTPUT preplogic-slides.pdf 214OUTPUT preplogic-slides.pdf
228INPUT /usr/share/texmf-dist/tex/latex/beamer/beamericonbook.pdf 215INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamericonbook.pdf
229INPUT /usr/share/texmf-dist/tex/latex/beamer/beamericonbook.20.pdf 216INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamericonbook.20.pdf
230INPUT /usr/share/texmf-dist/tex/latex/beamer/beamericonbook.20.pdf 217INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamericonbook.20.pdf
231INPUT /usr/share/texmf-dist/tex/latex/beamer/beamericonarticle.pdf 218INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamericonarticle.pdf
232INPUT /usr/share/texmf-dist/tex/latex/beamer/beamericonarticle.pdf 219INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamericonarticle.pdf
233INPUT /usr/share/texmf-dist/tex/latex/beamer/beamericonarticle.20.pdf 220INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamericonarticle.20.pdf
234INPUT /usr/share/texmf-dist/tex/latex/beamer/beamericonarticle.20.pdf 221INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamericonarticle.20.pdf
235INPUT /usr/share/texmf-dist/tex/latex/beamer/beamericononline.pdf 222INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamericononline.pdf
236INPUT /usr/share/texmf-dist/tex/latex/beamer/beamericononline.pdf 223INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamericononline.pdf
237INPUT /usr/share/texmf-dist/tex/latex/beamer/beamericononline.20.pdf 224INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamericononline.20.pdf
238INPUT /usr/share/texmf-dist/tex/latex/beamer/beamericononline.20.pdf 225INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamericononline.20.pdf
239INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerouterthemedefault.sty 226INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerouterthemedefault.sty
240INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerouterthemedefault.sty 227INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerouterthemedefault.sty
241INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerthemeMadrid.sty 228INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerthemeMadrid.sty
242INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerthemeMadrid.sty 229INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerthemeMadrid.sty
243INPUT /usr/share/texmf-dist/tex/latex/beamer/beamercolorthemewhale.sty 230INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamercolorthemewhale.sty
244INPUT /usr/share/texmf-dist/tex/latex/beamer/beamercolorthemewhale.sty 231INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamercolorthemewhale.sty
245INPUT /usr/share/texmf-dist/tex/latex/beamer/beamercolorthemeorchid.sty 232INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamercolorthemeorchid.sty
246INPUT /usr/share/texmf-dist/tex/latex/beamer/beamercolorthemeorchid.sty 233INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamercolorthemeorchid.sty
247INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerinnerthemerounded.sty 234INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerinnerthemerounded.sty
248INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerinnerthemerounded.sty 235INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerinnerthemerounded.sty
249INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerouterthemeinfolines.sty 236INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerouterthemeinfolines.sty
250INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerouterthemeinfolines.sty 237INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerouterthemeinfolines.sty
251INPUT /usr/share/texmf-dist/tex/latex/base/inputenc.sty 238INPUT /usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty
252INPUT /usr/share/texmf-dist/tex/latex/base/inputenc.sty 239INPUT /usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty
253INPUT /usr/share/texmf-dist/tex/latex/setspace/setspace.sty 240INPUT /usr/share/texlive/texmf-dist/tex/latex/base/utf8.def
254INPUT /usr/share/texmf-dist/tex/latex/setspace/setspace.sty 241INPUT /usr/share/texlive/texmf-dist/tex/latex/base/utf8.def
255INPUT /usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdfmode.def 242INPUT /usr/share/texlive/texmf-dist/tex/latex/base/t1enc.dfu
256INPUT /usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdfmode.def 243INPUT /usr/share/texlive/texmf-dist/tex/latex/base/t1enc.dfu
244INPUT /usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.dfu
245INPUT /usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.dfu
246INPUT /usr/share/texlive/texmf-dist/tex/latex/base/omsenc.dfu
247INPUT /usr/share/texlive/texmf-dist/tex/latex/base/omsenc.dfu
248INPUT /usr/share/texlive/texmf-dist/tex/latex/setspace/setspace.sty
249INPUT /usr/share/texlive/texmf-dist/tex/latex/setspace/setspace.sty
257INPUT preplogic-slides.aux 250INPUT preplogic-slides.aux
258INPUT preplogic-slides.aux 251INPUT preplogic-slides.aux
259OUTPUT preplogic-slides.aux 252OUTPUT preplogic-slides.aux
260INPUT /usr/share/texmf-dist/tex/context/base/mkii/supp-pdf.mkii 253INPUT /usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii
261INPUT /usr/share/texmf-dist/tex/context/base/mkii/supp-pdf.mkii 254INPUT /usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii
262INPUT /usr/share/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty 255INPUT /usr/share/texlive/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty
263INPUT /usr/share/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty 256INPUT /usr/share/texlive/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty
264INPUT /usr/share/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg 257INPUT /usr/share/texlive/texmf-dist/tex/latex/oberdiek/grfext.sty
265INPUT /usr/share/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg 258INPUT /usr/share/texlive/texmf-dist/tex/latex/oberdiek/grfext.sty
266INPUT /usr/share/texmf-dist/tex/latex/hyperref/nameref.sty 259INPUT /usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg
267INPUT /usr/share/texmf-dist/tex/latex/hyperref/nameref.sty 260INPUT /usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg
268INPUT /usr/share/texmf-dist/tex/latex/refcount/refcount.sty 261INPUT /usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
269INPUT /usr/share/texmf-dist/tex/latex/refcount/refcount.sty 262INPUT /usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
270INPUT /usr/share/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty 263INPUT /usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty
271INPUT /usr/share/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty 264INPUT /usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty
272INPUT preplogic-slides.out 265INPUT preplogic-slides.out
273INPUT preplogic-slides.out 266INPUT preplogic-slides.out
274INPUT preplogic-slides.out 267INPUT preplogic-slides.out
@@ -276,35 +269,35 @@ INPUT preplogic-slides.out
276INPUT ./preplogic-slides.out 269INPUT ./preplogic-slides.out
277INPUT ./preplogic-slides.out 270INPUT ./preplogic-slides.out
278OUTPUT preplogic-slides.out 271OUTPUT preplogic-slides.out
279INPUT /usr/share/texmf-dist/tex/latex/translator/translator-basic-dictionary-English.dict 272INPUT /usr/share/texlive/texmf-dist/tex/latex/translator/translator-basic-dictionary-English.dict
280INPUT /usr/share/texmf-dist/tex/latex/translator/translator-basic-dictionary-English.dict 273INPUT /usr/share/texlive/texmf-dist/tex/latex/translator/translator-basic-dictionary-English.dict
281INPUT /usr/share/texmf-dist/tex/latex/translator/translator-bibliography-dictionary-English.dict 274INPUT /usr/share/texlive/texmf-dist/tex/latex/translator/translator-bibliography-dictionary-English.dict
282INPUT /usr/share/texmf-dist/tex/latex/translator/translator-bibliography-dictionary-English.dict 275INPUT /usr/share/texlive/texmf-dist/tex/latex/translator/translator-bibliography-dictionary-English.dict
283INPUT /usr/share/texmf-dist/tex/latex/translator/translator-environment-dictionary-English.dict 276INPUT /usr/share/texlive/texmf-dist/tex/latex/translator/translator-environment-dictionary-English.dict
284INPUT /usr/share/texmf-dist/tex/latex/translator/translator-environment-dictionary-English.dict 277INPUT /usr/share/texlive/texmf-dist/tex/latex/translator/translator-environment-dictionary-English.dict
285INPUT /usr/share/texmf-dist/tex/latex/translator/translator-months-dictionary-English.dict 278INPUT /usr/share/texlive/texmf-dist/tex/latex/translator/translator-months-dictionary-English.dict
286INPUT /usr/share/texmf-dist/tex/latex/translator/translator-months-dictionary-English.dict 279INPUT /usr/share/texlive/texmf-dist/tex/latex/translator/translator-months-dictionary-English.dict
287INPUT /usr/share/texmf-dist/tex/latex/translator/translator-numbers-dictionary-English.dict 280INPUT /usr/share/texlive/texmf-dist/tex/latex/translator/translator-numbers-dictionary-English.dict
288INPUT /usr/share/texmf-dist/tex/latex/translator/translator-numbers-dictionary-English.dict 281INPUT /usr/share/texlive/texmf-dist/tex/latex/translator/translator-numbers-dictionary-English.dict
289INPUT /usr/share/texmf-dist/tex/latex/translator/translator-theorem-dictionary-English.dict 282INPUT /usr/share/texlive/texmf-dist/tex/latex/translator/translator-theorem-dictionary-English.dict
290INPUT /usr/share/texmf-dist/tex/latex/translator/translator-theorem-dictionary-English.dict 283INPUT /usr/share/texlive/texmf-dist/tex/latex/translator/translator-theorem-dictionary-English.dict
291INPUT preplogic-slides.nav 284INPUT preplogic-slides.nav
292INPUT preplogic-slides.nav 285INPUT preplogic-slides.nav
293INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmss8.tfm 286INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss8.tfm
294INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmss12.tfm 287INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss12.tfm
295INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmss8.tfm 288INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss8.tfm
296INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmss8.tfm 289INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss8.tfm
297INPUT unilu.jpg 290INPUT unilu.jpg
298INPUT ./unilu.jpg 291INPUT ./unilu.jpg
299INPUT ./unilu.jpg 292INPUT ./unilu.jpg
300INPUT /usr/share/texmf-dist/fonts/map/pdftex/updmap/pdftex.map 293INPUT /var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map
301INPUT preplogic-slides.toc 294INPUT preplogic-slides.toc
302INPUT preplogic-slides.toc 295INPUT preplogic-slides.toc
303INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmssbx10.tfm 296INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmssbx10.tfm
304INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmtt10.tfm 297INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmtt10.tfm
305INPUT unilu.jpg 298INPUT unilu.jpg
306INPUT ./unilu.jpg 299INPUT ./unilu.jpg
307INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmss12.tfm 300INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss12.tfm
308INPUT unilu.jpg 301INPUT unilu.jpg
309INPUT ./unilu.jpg 302INPUT ./unilu.jpg
310INPUT unilu.jpg 303INPUT unilu.jpg
@@ -319,33 +312,36 @@ INPUT unilu.jpg
319INPUT ./unilu.jpg 312INPUT ./unilu.jpg
320INPUT unilu.jpg 313INPUT unilu.jpg
321INPUT ./unilu.jpg 314INPUT ./unilu.jpg
322INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmssi10.tfm 315INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmssi10.tfm
323INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi10.tfm 316INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi10.tfm
324INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm 317INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm
325INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm 318INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm
326INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm 319INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm
327INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm 320INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm
328INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm 321INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm
329INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmex10.tfm 322INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmex10.tfm
330INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex8.tfm 323INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex8.tfm
331INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm 324INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm
332INPUT /usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd 325INPUT /usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd
333INPUT /usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd 326INPUT /usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd
334INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm 327INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm
335INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm 328INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm
336INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm 329INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm
337INPUT /usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd 330INPUT /usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd
338INPUT /usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd 331INPUT /usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd
339INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm 332INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm
340INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm 333INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm
341INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm 334INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm
342INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmssi8.tfm 335INPUT /usr/share/texlive/texmf-dist/tex/latex/sansmathaccent/ot1mathkerncmss.fd
343INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmssi8.tfm 336INPUT /usr/share/texlive/texmf-dist/tex/latex/sansmathaccent/ot1mathkerncmss.fd
337INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/sansmathaccent/mathkerncmssi10.tfm
338INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/sansmathaccent/mathkerncmssi8.tfm
339INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/sansmathaccent/mathkerncmssi8.tfm
344INPUT unilu.jpg 340INPUT unilu.jpg
345INPUT ./unilu.jpg 341INPUT ./unilu.jpg
346INPUT unilu.jpg 342INPUT unilu.jpg
347INPUT ./unilu.jpg 343INPUT ./unilu.jpg
348INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmssbx10.tfm 344INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmssbx10.tfm
349INPUT unilu.jpg 345INPUT unilu.jpg
350INPUT ./unilu.jpg 346INPUT ./unilu.jpg
351INPUT unilu.jpg 347INPUT unilu.jpg
@@ -364,21 +360,21 @@ INPUT unilu.jpg
364INPUT ./unilu.jpg 360INPUT ./unilu.jpg
365INPUT unilu.jpg 361INPUT unilu.jpg
366INPUT ./unilu.jpg 362INPUT ./unilu.jpg
367INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmss9.tfm 363INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss9.tfm
368INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmss8.tfm 364INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss8.tfm
369INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi9.tfm 365INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi9.tfm
370INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmsy9.tfm 366INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy9.tfm
371INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex9.tfm 367INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex9.tfm
372INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm 368INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm
373INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm 369INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm
374INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm 370INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm
375INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm 371INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm
376INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm 372INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm
377INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmssi9.tfm 373INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/sansmathaccent/mathkerncmssi9.tfm
378INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmssi8.tfm 374INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/sansmathaccent/mathkerncmssi8.tfm
379INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmssbx10.tfm 375INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmssbx10.tfm
380INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmssbx10.tfm 376INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmssbx10.tfm
381INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmssbx10.tfm 377INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmssbx10.tfm
382INPUT unilu.jpg 378INPUT unilu.jpg
383INPUT ./unilu.jpg 379INPUT ./unilu.jpg
384INPUT unilu.jpg 380INPUT unilu.jpg
@@ -407,14 +403,14 @@ INPUT unilu.jpg
407INPUT ./unilu.jpg 403INPUT ./unilu.jpg
408INPUT unilu.jpg 404INPUT unilu.jpg
409INPUT ./unilu.jpg 405INPUT ./unilu.jpg
410INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmss10.tfm 406INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss10.tfm
411INPUT unilu.jpg 407INPUT unilu.jpg
412INPUT ./unilu.jpg 408INPUT ./unilu.jpg
413INPUT unilu.jpg 409INPUT unilu.jpg
414INPUT ./unilu.jpg 410INPUT ./unilu.jpg
415INPUT unilu.jpg 411INPUT unilu.jpg
416INPUT ./unilu.jpg 412INPUT ./unilu.jpg
417INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmss17.tfm 413INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss17.tfm
418INPUT unilu.jpg 414INPUT unilu.jpg
419INPUT ./unilu.jpg 415INPUT ./unilu.jpg
420INPUT unilu.jpg 416INPUT unilu.jpg
@@ -449,7 +445,9 @@ INPUT unilu.jpg
449INPUT ./unilu.jpg 445INPUT ./unilu.jpg
450INPUT unilu.jpg 446INPUT unilu.jpg
451INPUT ./unilu.jpg 447INPUT ./unilu.jpg
452INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmssbx10.tfm 448INPUT unilu.jpg
449INPUT ./unilu.jpg
450INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmssbx10.tfm
453INPUT unilu.jpg 451INPUT unilu.jpg
454INPUT ./unilu.jpg 452INPUT ./unilu.jpg
455INPUT unilu.jpg 453INPUT unilu.jpg
@@ -490,17 +488,17 @@ OUTPUT preplogic-slides.snm
490INPUT preplogic-slides.aux 488INPUT preplogic-slides.aux
491INPUT ./preplogic-slides.out 489INPUT ./preplogic-slides.out
492INPUT ./preplogic-slides.out 490INPUT ./preplogic-slides.out
493INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb 491INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb
494INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss10.pfb 492INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmss10.pfb
495INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss12.pfb 493INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmss12.pfb
496INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss17.pfb 494INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmss17.pfb
497INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss8.pfb 495INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmss8.pfb
498INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss9.pfb 496INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmss9.pfb
499INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssbx10.pfb 497INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmssbx10.pfb
500INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi10.pfb 498INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi10.pfb
501INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi8.pfb 499INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi8.pfb
502INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi9.pfb 500INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi9.pfb
503INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb 501INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb
504INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy9.pfb 502INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy9.pfb
505INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.pfb 503INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.pfb
506INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb 504INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb
diff --git a/slides/preplogic-slides.log b/slides/preplogic-slides.log
index ed1edf2..b9ce44b 100644
--- a/slides/preplogic-slides.log
+++ b/slides/preplogic-slides.log
@@ -1,170 +1,167 @@
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:09 1This is pdfTeX, Version 3.14159265-2.6-1.40.18 (TeX Live 2017/Debian) (preloaded format=pdflatex 2019.3.25) 8 SEP 2020 08:40
2entering extended mode 2entering extended mode
3 restricted \write18 enabled. 3 restricted \write18 enabled.
4 file:line:error style messages enabled. 4 file:line:error style messages enabled.
5 %&-line parsing enabled. 5 %&-line parsing enabled.
6**preplogic-slides.tex 6**preplogic-slides.tex
7(./preplogic-slides.tex 7(./preplogic-slides.tex
8LaTeX2e <2020-02-02> patch level 5 8LaTeX2e <2017-04-15>
9L3 programming layer <2020-06-03> (/usr/share/texmf-dist/tex/latex/beamer/beamer.cls 9Babel <3.18> and hyphenation patterns for 84 language(s) loaded.
10Document Class: beamer 2020/05/06 v3.58 A class for typesetting presentations 10(/usr/share/texlive/texmf-dist/tex/latex/beamer/beamer.cls
11(/usr/share/texmf-dist/tex/latex/beamer/beamerbasemodes.sty (/usr/share/texmf-dist/tex/latex/etoolbox/etoolbox.sty 11Document Class: beamer 2018/02/20 v3.50 A class for typesetting presentations
12Package: etoolbox 2019/09/21 v2.5h e-TeX tools for LaTeX (JAW) 12(/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasemodes.sty (/usr/share/texlive/texmf-dist/tex/latex/etoolbox/etoolbox.sty
13\etb@tempcnta=\count167 13Package: etoolbox 2018/02/11 v2.5e e-TeX tools for LaTeX (JAW)
14\etb@tempcnta=\count79
14) 15)
15\beamer@tempbox=\box45 16\beamer@tempbox=\box26
16\beamer@tempcount=\count168 17\beamer@tempcount=\count80
17\c@beamerpauses=\count169 18\c@beamerpauses=\count81
18 (/usr/share/texmf-dist/tex/latex/beamer/beamerbasedecode.sty 19 (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasedecode.sty
19\beamer@slideinframe=\count170 20\beamer@slideinframe=\count82
20\beamer@minimum=\count171 21\beamer@minimum=\count83
21\beamer@decode@box=\box46
22) 22)
23\beamer@commentbox=\box47 23\beamer@commentbox=\box27
24\beamer@modecount=\count172 24\beamer@modecount=\count84
25) (/usr/share/texmf-dist/tex/generic/iftex/ifpdf.sty 25) (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifpdf.sty
26Package: ifpdf 2019/10/25 v3.4 ifpdf legacy package. Use iftex instead. 26Package: ifpdf 2017/03/15 v3.2 Provides the ifpdf switch
27 (/usr/share/texmf-dist/tex/generic/iftex/iftex.sty 27)
28Package: iftex 2020/03/06 v1.0d TeX engine tests 28\headdp=\dimen102
29)) 29\footheight=\dimen103
30\headdp=\dimen134 30\sidebarheight=\dimen104
31\footheight=\dimen135 31\beamer@tempdim=\dimen105
32\sidebarheight=\dimen136 32\beamer@finalheight=\dimen106
33\beamer@tempdim=\dimen137 33\beamer@animht=\dimen107
34\beamer@finalheight=\dimen138 34\beamer@animdp=\dimen108
35\beamer@animht=\dimen139 35\beamer@animwd=\dimen109
36\beamer@animdp=\dimen140 36\beamer@leftmargin=\dimen110
37\beamer@animwd=\dimen141 37\beamer@rightmargin=\dimen111
38\beamer@leftmargin=\dimen142 38\beamer@leftsidebar=\dimen112
39\beamer@rightmargin=\dimen143 39\beamer@rightsidebar=\dimen113
40\beamer@leftsidebar=\dimen144 40\beamer@boxsize=\dimen114
41\beamer@rightsidebar=\dimen145 41\beamer@vboxoffset=\dimen115
42\beamer@boxsize=\dimen146 42\beamer@descdefault=\dimen116
43\beamer@vboxoffset=\dimen147 43\beamer@descriptionwidth=\dimen117
44\beamer@descdefault=\dimen148 44\beamer@lastskip=\skip41
45\beamer@descriptionwidth=\dimen149 45\beamer@areabox=\box28
46\beamer@lastskip=\skip47 46\beamer@animcurrent=\box29
47\beamer@areabox=\box48 47\beamer@animshowbox=\box30
48\beamer@animcurrent=\box49 48\beamer@sectionbox=\box31
49\beamer@animshowbox=\box50 49\beamer@logobox=\box32
50\beamer@sectionbox=\box51 50\beamer@linebox=\box33
51\beamer@logobox=\box52 51\beamer@sectioncount=\count85
52\beamer@linebox=\box53 52\beamer@subsubsectionmax=\count86
53\beamer@sectioncount=\count173 53\beamer@subsectionmax=\count87
54\beamer@subsubsectionmax=\count174 54\beamer@sectionmax=\count88
55\beamer@subsectionmax=\count175 55\beamer@totalheads=\count89
56\beamer@sectionmax=\count176 56\beamer@headcounter=\count90
57\beamer@totalheads=\count177 57\beamer@partstartpage=\count91
58\beamer@headcounter=\count178 58\beamer@sectionstartpage=\count92
59\beamer@partstartpage=\count179 59\beamer@subsectionstartpage=\count93
60\beamer@sectionstartpage=\count180 60\beamer@animationtempa=\count94
61\beamer@subsectionstartpage=\count181 61\beamer@animationtempb=\count95
62\beamer@animationtempa=\count182 62\beamer@xpos=\count96
63\beamer@animationtempb=\count183 63\beamer@ypos=\count97
64\beamer@xpos=\count184 64\beamer@ypos@offset=\count98
65\beamer@ypos=\count185 65\beamer@showpartnumber=\count99
66\beamer@ypos@offset=\count186 66\beamer@currentsubsection=\count100
67\beamer@showpartnumber=\count187 67\beamer@coveringdepth=\count101
68\beamer@currentsubsection=\count188 68\beamer@sectionadjust=\count102
69\beamer@coveringdepth=\count189 69\beamer@tocsectionnumber=\count103
70\beamer@sectionadjust=\count190 70 (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseoptions.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty
71\beamer@tocsectionnumber=\count191
72 (/usr/share/texmf-dist/tex/latex/beamer/beamerbaseoptions.sty (/usr/share/texmf-dist/tex/latex/graphics/keyval.sty
73Package: keyval 2014/10/28 v1.15 key=value parser (DPC) 71Package: keyval 2014/10/28 v1.15 key=value parser (DPC)
74\KV@toks@=\toks15 72\KV@toks@=\toks14
75)) 73))
76\beamer@paperwidth=\skip48 74\beamer@paperwidth=\skip42
77\beamer@paperheight=\skip49 75\beamer@paperheight=\skip43
78 (/usr/share/texmf-dist/tex/latex/geometry/geometry.sty 76 (/usr/share/texlive/texmf-dist/tex/latex/geometry/geometry.sty
79Package: geometry 2020/01/02 v5.9 Page Geometry 77Package: geometry 2010/09/12 v5.6 Page Geometry
80 (/usr/share/texmf-dist/tex/generic/iftex/ifvtex.sty 78 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifvtex.sty
81Package: ifvtex 2019/10/25 v1.7 ifvtex legacy package. Use iftex instead. 79Package: ifvtex 2016/05/16 v1.6 Detect VTeX and its facilities (HO)
80Package ifvtex Info: VTeX not detected.
81) (/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty
82Package: ifxetex 2010/09/12 v0.6 Provides ifxetex conditional
82) 83)
83\Gm@cnth=\count192 84\Gm@cnth=\count104
84\Gm@cntv=\count193 85\Gm@cntv=\count105
85\c@Gm@tempcnt=\count194 86\c@Gm@tempcnt=\count106
86\Gm@bindingoffset=\dimen150 87\Gm@bindingoffset=\dimen118
87\Gm@wd@mp=\dimen151 88\Gm@wd@mp=\dimen119
88\Gm@odd@mp=\dimen152 89\Gm@odd@mp=\dimen120
89\Gm@even@mp=\dimen153 90\Gm@even@mp=\dimen121
90\Gm@layoutwidth=\dimen154 91\Gm@layoutwidth=\dimen122
91\Gm@layoutheight=\dimen155 92\Gm@layoutheight=\dimen123
92\Gm@layouthoffset=\dimen156 93\Gm@layouthoffset=\dimen124
93\Gm@layoutvoffset=\dimen157 94\Gm@layoutvoffset=\dimen125
94\Gm@dimlist=\toks16 95\Gm@dimlist=\toks15
95) (/usr/share/texmf-dist/tex/latex/base/size11.clo 96) (/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo
96File: size11.clo 2019/12/20 v1.4l Standard LaTeX file (size option) 97File: size11.clo 2014/09/29 v1.4h Standard LaTeX file (size option)
97) (/usr/share/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty (/usr/share/texmf-dist/tex/latex/graphics/graphicx.sty 98) (/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty
98Package: graphicx 2019/11/30 v1.2a Enhanced LaTeX Graphics (DPC,SPQR) 99Package: graphicx 2017/06/01 v1.1a Enhanced LaTeX Graphics (DPC,SPQR)
99 (/usr/share/texmf-dist/tex/latex/graphics/graphics.sty 100 (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty
100Package: graphics 2019/11/30 v1.4a Standard LaTeX Graphics (DPC,SPQR) 101Package: graphics 2017/06/25 v1.2c Standard LaTeX Graphics (DPC,SPQR)
101 (/usr/share/texmf-dist/tex/latex/graphics/trig.sty 102 (/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty
102Package: trig 2016/01/03 v1.10 sin cos tan (DPC) 103Package: trig 2016/01/03 v1.10 sin cos tan (DPC)
103) (/usr/share/texmf-dist/tex/latex/graphics-cfg/graphics.cfg 104) (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg
104File: graphics.cfg 2016/06/04 v1.11 sample graphics configuration 105File: graphics.cfg 2016/06/04 v1.11 sample graphics configuration
105) 106)
106Package graphics Info: Driver file: pdftex.def on input line 105. 107Package graphics Info: Driver file: pdftex.def on input line 99.
107 (/usr/share/texmf-dist/tex/latex/graphics-def/pdftex.def 108 (/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def
108File: pdftex.def 2018/01/08 v1.0l Graphics/color driver for pdftex 109File: pdftex.def 2018/01/08 v1.0l Graphics/color driver for pdftex
109)) 110))
110\Gin@req@height=\dimen158 111\Gin@req@height=\dimen126
111\Gin@req@width=\dimen159 112\Gin@req@width=\dimen127
112) (/usr/share/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty (/usr/share/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty (/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex 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
113\pgfutil@everybye=\toks17 114\pgfutil@everybye=\toks16
114\pgfutil@tempdima=\dimen160 115\pgfutil@tempdima=\dimen128
115\pgfutil@tempdimb=\dimen161 116\pgfutil@tempdimb=\dimen129
116 (/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-common-lists.tex)) (/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def 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
117\pgfutil@abb=\box54 118\pgfutil@abb=\box34
118 (/usr/share/texmf-dist/tex/latex/ms/everyshi.sty 119 (/usr/share/texlive/texmf-dist/tex/latex/ms/everyshi.sty
119Package: everyshi 2001/05/15 v3.00 EveryShipout Package (MS) 120Package: everyshi 2001/05/15 v3.00 EveryShipout Package (MS)
120)) (/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex (/usr/share/texmf-dist/tex/generic/pgf/pgf.revision.tex) 121)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex
121Package: pgfrcs 2020/01/08 v3.1.5b (3.1.5b) 122Package: pgfrcs 2015/08/07 v3.0.1a (rcs-revision 1.31)
122)) (/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex 123)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex
123Package: pgfsys 2020/01/08 v3.1.5b (3.1.5b) 124Package: pgfsys 2014/07/09 v3.0.1a (rcs-revision 1.48)
124 (/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex 125 (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
125\pgfkeys@pathtoks=\toks18 126\pgfkeys@pathtoks=\toks17
126\pgfkeys@temptoks=\toks19 127\pgfkeys@temptoks=\toks18
127 (/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.tex 128 (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.tex
128\pgfkeys@tmptoks=\toks20 129\pgfkeys@tmptoks=\toks19
129)) 130))
130\pgf@x=\dimen162 131\pgf@x=\dimen130
131\pgf@y=\dimen163 132\pgf@y=\dimen131
132\pgf@xa=\dimen164 133\pgf@xa=\dimen132
133\pgf@ya=\dimen165 134\pgf@ya=\dimen133
134\pgf@xb=\dimen166 135\pgf@xb=\dimen134
135\pgf@yb=\dimen167 136\pgf@yb=\dimen135
136\pgf@xc=\dimen168 137\pgf@xc=\dimen136
137\pgf@yc=\dimen169 138\pgf@yc=\dimen137
138\pgf@xd=\dimen170
139\pgf@yd=\dimen171
140\w@pgf@writea=\write3 139\w@pgf@writea=\write3
141\r@pgf@reada=\read2 140\r@pgf@reada=\read1
142\c@pgf@counta=\count195 141\c@pgf@counta=\count107
143\c@pgf@countb=\count196 142\c@pgf@countb=\count108
144\c@pgf@countc=\count197 143\c@pgf@countc=\count109
145\c@pgf@countd=\count198 144\c@pgf@countd=\count110
146\t@pgf@toka=\toks21 145\t@pgf@toka=\toks20
147\t@pgf@tokb=\toks22 146\t@pgf@tokb=\toks21
148\t@pgf@tokc=\toks23 147\t@pgf@tokc=\toks22
149\pgf@sys@id@count=\count199 148 (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg
150 (/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg 149File: pgf.cfg 2008/05/14 (rcs-revision 1.7)
151File: pgf.cfg 2020/01/08 v3.1.5b (3.1.5b)
152) 150)
153Driver file for pgf: pgfsys-pdftex.def 151Driver file for pgf: pgfsys-pdftex.def
154 (/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def 152 (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def
155File: pgfsys-pdftex.def 2020/01/08 v3.1.5b (3.1.5b) 153File: pgfsys-pdftex.def 2014/10/11 (rcs-revision 1.35)
156 (/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def 154 (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def
157File: pgfsys-common-pdf.def 2020/01/08 v3.1.5b (3.1.5b) 155File: pgfsys-common-pdf.def 2013/10/10 (rcs-revision 1.13)
158))) (/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex 156))) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex
159File: pgfsyssoftpath.code.tex 2020/01/08 v3.1.5b (3.1.5b) 157File: pgfsyssoftpath.code.tex 2013/09/09 (rcs-revision 1.9)
160\pgfsyssoftpath@smallbuffer@items=\count266 158\pgfsyssoftpath@smallbuffer@items=\count111
161\pgfsyssoftpath@bigbuffer@items=\count267 159\pgfsyssoftpath@bigbuffer@items=\count112
162) (/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex 160) (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex
163File: pgfsysprotocol.code.tex 2020/01/08 v3.1.5b (3.1.5b) 161File: pgfsysprotocol.code.tex 2006/10/16 (rcs-revision 1.4)
164)) 162)) (/usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty
165(/usr/share/texmf-dist/tex/latex/xcolor/xcolor.sty
166Package: xcolor 2016/05/11 v2.12 LaTeX color extensions (UK) 163Package: xcolor 2016/05/11 v2.12 LaTeX color extensions (UK)
167 (/usr/share/texmf-dist/tex/latex/graphics-cfg/color.cfg 164 (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg
168File: color.cfg 2016/01/02 v1.6 sample color configuration 165File: color.cfg 2016/01/02 v1.6 sample color configuration
169) 166)
170Package xcolor Info: Driver file: pdftex.def on input line 225. 167Package xcolor Info: Driver file: pdftex.def on input line 225.
@@ -177,351 +174,669 @@ Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1368.
177Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1369. 174Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1369.
178Package xcolor Info: Model `Gray' substituted by `gray' on input line 1370. 175Package xcolor Info: Model `Gray' substituted by `gray' on input line 1370.
179Package xcolor Info: Model `wave' substituted by `hsb' on input line 1371. 176Package xcolor Info: Model `wave' substituted by `hsb' on input line 1371.
180) (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex 177) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex
181Package: pgfcore 2020/01/08 v3.1.5b (3.1.5b) 178Package: pgfcore 2010/04/11 v3.0.1a (rcs-revision 1.7)
182 (/usr/share/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex (/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex (/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex) (/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathparser.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
183\pgfmath@dimen=\dimen172 180\pgfmath@dimen=\dimen138
184\pgfmath@count=\count268 181\pgfmath@count=\count113
185\pgfmath@box=\box55 182\pgfmath@box=\box35
186\pgfmath@toks=\toks24 183\pgfmath@toks=\toks23
187\pgfmath@stack@operand=\toks25 184\pgfmath@stack@operand=\toks24
188\pgfmath@stack@operation=\toks26 185\pgfmath@stack@operation=\toks25
189) (/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex (/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code.tex) (/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonometric.code.tex) (/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code.tex) (/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison.code.tex) (/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.tex) (/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code.tex) (/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex) (/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerarithmetics.code.tex))) (/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex 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
190\c@pgfmathroundto@lastzeros=\count269 187\c@pgfmathroundto@lastzeros=\count114
191)) (/usr/share/texmf-dist/tex/generic/pgf/math/pgfint.code.tex) (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex 188)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex
192File: pgfcorepoints.code.tex 2020/01/08 v3.1.5b (3.1.5b) 189File: pgfcorepoints.code.tex 2013/10/07 (rcs-revision 1.27)
193\pgf@picminx=\dimen173 190\pgf@picminx=\dimen139
194\pgf@picmaxx=\dimen174 191\pgf@picmaxx=\dimen140
195\pgf@picminy=\dimen175 192\pgf@picminy=\dimen141
196\pgf@picmaxy=\dimen176 193\pgf@picmaxy=\dimen142
197\pgf@pathminx=\dimen177 194\pgf@pathminx=\dimen143
198\pgf@pathmaxx=\dimen178 195\pgf@pathmaxx=\dimen144
199\pgf@pathminy=\dimen179 196\pgf@pathminy=\dimen145
200\pgf@pathmaxy=\dimen180 197\pgf@pathmaxy=\dimen146
201\pgf@xx=\dimen181 198\pgf@xx=\dimen147
202\pgf@xy=\dimen182 199\pgf@xy=\dimen148
203\pgf@yx=\dimen183 200\pgf@yx=\dimen149
204\pgf@yy=\dimen184 201\pgf@yy=\dimen150
205\pgf@zx=\dimen185 202\pgf@zx=\dimen151
206\pgf@zy=\dimen186 203\pgf@zy=\dimen152
207) (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.tex 204) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.tex
208File: pgfcorepathconstruct.code.tex 2020/01/08 v3.1.5b (3.1.5b) 205File: pgfcorepathconstruct.code.tex 2013/10/07 (rcs-revision 1.29)
209\pgf@path@lastx=\dimen187 206\pgf@path@lastx=\dimen153
210\pgf@path@lasty=\dimen188 207\pgf@path@lasty=\dimen154
211) (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex 208) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex
212File: pgfcorepathusage.code.tex 2020/01/08 v3.1.5b (3.1.5b) 209File: pgfcorepathusage.code.tex 2014/11/02 (rcs-revision 1.24)
213\pgf@shorten@end@additional=\dimen189 210\pgf@shorten@end@additional=\dimen155
214\pgf@shorten@start@additional=\dimen190 211\pgf@shorten@start@additional=\dimen156
215) (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex 212) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex
216File: pgfcorescopes.code.tex 2020/01/08 v3.1.5b (3.1.5b) 213File: pgfcorescopes.code.tex 2015/05/08 (rcs-revision 1.46)
217\pgfpic=\box56 214\pgfpic=\box36
218\pgf@hbox=\box57 215\pgf@hbox=\box37
219\pgf@layerbox@main=\box58 216\pgf@layerbox@main=\box38
220\pgf@picture@serial@count=\count270 217\pgf@picture@serial@count=\count115
221) (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex 218) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex
222File: pgfcoregraphicstate.code.tex 2020/01/08 v3.1.5b (3.1.5b) 219File: pgfcoregraphicstate.code.tex 2014/11/02 (rcs-revision 1.12)
223\pgflinewidth=\dimen191 220\pgflinewidth=\dimen157
224) (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations.code.tex
225File: pgfcoretransformations.code.tex 2020/01/08 v3.1.5b (3.1.5b)
226\pgf@pt@x=\dimen192
227\pgf@pt@y=\dimen193
228\pgf@pt@temp=\dimen194
229) (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex
230File: pgfcorequick.code.tex 2020/01/08 v3.1.5b (3.1.5b)
231) (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex
232File: pgfcoreobjects.code.tex 2020/01/08 v3.1.5b (3.1.5b)
233) (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code.tex
234File: pgfcorepathprocessing.code.tex 2020/01/08 v3.1.5b (3.1.5b)
235) 221)
236(/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex 222(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations.code.tex
237File: pgfcorearrows.code.tex 2020/01/08 v3.1.5b (3.1.5b) 223File: pgfcoretransformations.code.tex 2015/08/07 (rcs-revision 1.20)
238\pgfarrowsep=\dimen195 224\pgf@pt@x=\dimen158
239) (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex 225\pgf@pt@y=\dimen159
240File: pgfcoreshade.code.tex 2020/01/08 v3.1.5b (3.1.5b) 226\pgf@pt@temp=\dimen160
241\pgf@max=\dimen196 227) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex
242\pgf@sys@shading@range@num=\count271 228File: pgfcorequick.code.tex 2008/10/09 (rcs-revision 1.3)
243\pgf@shadingcount=\count272 229) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex
244) (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex 230File: pgfcoreobjects.code.tex 2006/10/11 (rcs-revision 1.2)
245File: pgfcoreimage.code.tex 2020/01/08 v3.1.5b (3.1.5b) 231) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code.tex
246 (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex 232File: pgfcorepathprocessing.code.tex 2013/09/09 (rcs-revision 1.9)
247File: pgfcoreexternal.code.tex 2020/01/08 v3.1.5b (3.1.5b) 233) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex
248\pgfexternal@startupbox=\box59 234File: pgfcorearrows.code.tex 2015/05/14 (rcs-revision 1.43)
249)) (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex 235\pgfarrowsep=\dimen161
250File: pgfcorelayers.code.tex 2020/01/08 v3.1.5b (3.1.5b) 236) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex
251) (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.code.tex 237File: pgfcoreshade.code.tex 2013/07/15 (rcs-revision 1.15)
252File: pgfcoretransparency.code.tex 2020/01/08 v3.1.5b (3.1.5b) 238\pgf@max=\dimen162
253) (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex 239\pgf@sys@shading@range@num=\count116
254File: pgfcorepatterns.code.tex 2020/01/08 v3.1.5b (3.1.5b) 240) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex
255) (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorerdf.code.tex 241File: pgfcoreimage.code.tex 2013/07/15 (rcs-revision 1.18)
256File: pgfcorerdf.code.tex 2020/01/08 v3.1.5b (3.1.5b) 242 (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex
257))) (/usr/share/texmf-dist/tex/latex/pgf/utilities/xxcolor.sty 243File: pgfcoreexternal.code.tex 2014/07/09 (rcs-revision 1.21)
244\pgfexternal@startupbox=\box39
245)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex
246File: pgfcorelayers.code.tex 2013/07/18 (rcs-revision 1.7)
247) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.code.tex
248File: pgfcoretransparency.code.tex 2013/09/30 (rcs-revision 1.5)
249) (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex
250File: pgfcorepatterns.code.tex 2013/11/07 (rcs-revision 1.5)
251))) (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/xxcolor.sty
258Package: xxcolor 2003/10/24 ver 0.1 252Package: xxcolor 2003/10/24 ver 0.1
259\XC@nummixins=\count273 253\XC@nummixins=\count117
260\XC@countmixins=\count274 254\XC@countmixins=\count118
261) (/usr/share/texmf-dist/tex/generic/atbegshi/atbegshi.sty 255) (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/atbegshi.sty
262Package: atbegshi 2019/12/05 v1.19 At begin shipout hook (HO) 256Package: atbegshi 2016/06/09 v1.18 At begin shipout hook (HO)
263 (/usr/share/texmf-dist/tex/generic/infwarerr/infwarerr.sty 257 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/infwarerr.sty
264Package: infwarerr 2019/12/03 v1.5 Providing info/warning/error messages (HO) 258Package: infwarerr 2016/05/16 v1.4 Providing info/warning/error messages (HO)
265) (/usr/share/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty 259) (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ltxcmds.sty
266Package: ltxcmds 2019/12/15 v1.24 LaTeX kernel commands for general use (HO) 260Package: ltxcmds 2016/05/16 v1.23 LaTeX kernel commands for general use (HO)
267)) (/usr/share/texmf-dist/tex/latex/hyperref/hyperref.sty 261)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty
268Package: hyperref 2020-05-15 v7.00e Hypertext links for LaTeX 262Package: hyperref 2018/02/06 v6.86b Hypertext links for LaTeX
269 (/usr/share/texmf-dist/tex/latex/pdftexcmds/pdftexcmds.sty 263 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty
270Package: pdftexcmds 2020-06-04 v0.32 Utility functions of pdfTeX for LuaTeX (HO) 264Package: hobsub-hyperref 2016/05/16 v1.14 Bundle oberdiek, subset hyperref (HO)
265 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty
266Package: hobsub-generic 2016/05/16 v1.14 Bundle oberdiek, subset generic (HO)
267Package: hobsub 2016/05/16 v1.14 Construct package bundles (HO)
268Package hobsub Info: Skipping package `infwarerr' (already loaded).
269Package hobsub Info: Skipping package `ltxcmds' (already loaded).
270Package: ifluatex 2016/05/16 v1.4 Provides the ifluatex switch (HO)
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.
271Package pdftexcmds Info: \pdf@primitive is available. 284Package pdftexcmds Info: \pdf@primitive is available.
272Package pdftexcmds Info: \pdf@ifprimitive is available. 285Package pdftexcmds Info: \pdf@ifprimitive is available.
273Package pdftexcmds Info: \pdfdraftmode found. 286Package pdftexcmds Info: \pdfdraftmode found.
274) (/usr/share/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty 287Package: pdfescape 2016/05/16 v1.14 Implements pdfTeX's escape features (HO)
275Package: kvsetkeys 2019/12/15 v1.18 Key value parser (HO) 288Package: bigintcalc 2016/05/16 v1.4 Expandable calculations on big integers (HO)
276) (/usr/share/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty 289Package: bitset 2016/05/16 v1.2 Handle bit-vector datatype (HO)
277Package: kvdefinekeys 2019-12-19 v1.6 Define keys (HO) 290Package: uniquecounter 2016/05/16 v1.3 Provide unlimited unique counter (HO)
278) (/usr/share/texmf-dist/tex/generic/pdfescape/pdfescape.sty
279Package: pdfescape 2019/12/09 v1.15 Implements pdfTeX's escape features (HO)
280) (/usr/share/texmf-dist/tex/latex/hycolor/hycolor.sty
281Package: hycolor 2020-01-27 v1.10 Color options for hyperref/bookmark (HO)
282) (/usr/share/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty
283Package: letltxmacro 2019/12/03 v1.6 Let assignment for LaTeX macros (HO)
284) (/usr/share/texmf-dist/tex/latex/auxhook/auxhook.sty
285Package: auxhook 2019-12-17 v1.6 Hooks for auxiliary files (HO)
286) (/usr/share/texmf-dist/tex/latex/kvoptions/kvoptions.sty
287Package: kvoptions 2019/11/29 v3.13 Key value format for package options (HO)
288) 291)
289\@linkdim=\dimen197 292Package hobsub Info: Skipping package `hobsub' (already loaded).
290\Hy@linkcounter=\count275 293Package: letltxmacro 2016/05/16 v1.5 Let assignment for LaTeX macros (HO)
291\Hy@pagecounter=\count276 294Package: hopatch 2016/05/16 v1.3 Wrapper for package hooks (HO)
292 (/usr/share/texmf-dist/tex/latex/hyperref/pd1enc.def 295Package: xcolor-patch 2016/05/16 xcolor patch
293File: pd1enc.def 2020-05-15 v7.00e Hyperref: PDFDocEncoding definition (HO) 296Package: atveryend 2016/05/16 v1.9 Hooks at the very end of document (HO)
294Now handling font encoding PD1 ... 297Package hobsub Info: Skipping package `atbegshi' (already loaded).
295... no UTF-8 mapping file for font encoding PD1 298Package: refcount 2016/05/16 v3.5 Data extraction from label references (HO)
296) (/usr/share/texmf-dist/tex/generic/intcalc/intcalc.sty 299Package: hycolor 2016/05/16 v1.8 Color options for hyperref/bookmark (HO)
297Package: intcalc 2019/12/15 v1.3 Expandable calculations with integers (HO) 300) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/auxhook.sty
298) (/usr/share/texmf-dist/tex/generic/etexcmds/etexcmds.sty 301Package: auxhook 2016/05/16 v1.4 Hooks for auxiliary files (HO)
299Package: etexcmds 2019/12/15 v1.7 Avoid name clashes with e-TeX commands (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)
300) 304)
301\Hy@SavedSpaceFactor=\count277 305\@linkdim=\dimen163
302Package hyperref Info: Option `bookmarks' set `true' on input line 4338. 306\Hy@linkcounter=\count119
303Package hyperref Info: Option `bookmarksopen' set `true' on input line 4338. 307\Hy@pagecounter=\count120
304Package hyperref Info: Option `implicit' set `false' on input line 4338. 308 (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def
305Package hyperref Info: Hyper figures OFF on input line 4464. 309File: pd1enc.def 2018/02/06 v6.86b Hyperref: PDFDocEncoding definition (HO)
306Package hyperref Info: Link nesting OFF on input line 4469. 310)
307Package hyperref Info: Hyper index ON on input line 4472. 311\Hy@SavedSpaceFactor=\count121
308Package hyperref Info: Plain pages OFF on input line 4479. 312 (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg
309Package hyperref Info: Backreferencing OFF on input line 4484. 313File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive
314)
315Package hyperref Info: Option `bookmarks' set `true' on input line 4383.
316Package hyperref Info: Option `bookmarksopen' set `true' on input line 4383.
317Package hyperref Info: Option `implicit' set `false' on input line 4383.
318Package hyperref Info: Hyper figures OFF on input line 4509.
319Package hyperref Info: Link nesting OFF on input line 4514.
320Package hyperref Info: Hyper index ON on input line 4517.
321Package hyperref Info: Plain pages OFF on input line 4524.
322Package hyperref Info: Backreferencing OFF on input line 4529.
310Package hyperref Info: Implicit mode OFF; no redefinition of LaTeX internals. 323Package hyperref Info: Implicit mode OFF; no redefinition of LaTeX internals.
311Package hyperref Info: Bookmarks ON on input line 4717. 324Package hyperref Info: Bookmarks ON on input line 4762.
312\c@Hy@tempcnt=\count278 325\c@Hy@tempcnt=\count122
313 (/usr/share/texmf-dist/tex/latex/url/url.sty 326 (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty
314\Urlmuskip=\muskip16 327\Urlmuskip=\muskip10
315Package: url 2013/09/16 ver 3.4 Verb mode for urls, etc. 328Package: url 2013/09/16 ver 3.4 Verb mode for urls, etc.
316) 329)
317LaTeX Info: Redefining \url on input line 5076. 330LaTeX Info: Redefining \url on input line 5115.
318\XeTeXLinkMargin=\dimen198 331\XeTeXLinkMargin=\dimen164
319 (/usr/share/texmf-dist/tex/generic/bitset/bitset.sty 332\Fld@menulength=\count123
320Package: bitset 2019/12/09 v1.3 Handle bit-vector datatype (HO) 333\Field@Width=\dimen165
321 (/usr/share/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty 334\Fld@charsize=\dimen166
322Package: bigintcalc 2019/12/15 v1.5 Expandable calculations on big integers (HO) 335Package hyperref Info: Hyper figures OFF on input line 6369.
323)) 336Package hyperref Info: Link nesting OFF on input line 6374.
324\Fld@menulength=\count279 337Package hyperref Info: Hyper index ON on input line 6377.
325\Field@Width=\dimen199 338Package hyperref Info: backreferencing OFF on input line 6384.
326\Fld@charsize=\dimen256 339Package hyperref Info: Link coloring OFF on input line 6389.
327Package hyperref Info: Hyper figures OFF on input line 6347. 340Package hyperref Info: Link coloring with OCG OFF on input line 6394.
328Package hyperref Info: Link nesting OFF on input line 6352. 341Package hyperref Info: PDF/A mode OFF on input line 6399.
329Package hyperref Info: Hyper index ON on input line 6355. 342LaTeX Info: Redefining \ref on input line 6439.
330Package hyperref Info: backreferencing OFF on input line 6362. 343LaTeX Info: Redefining \pageref on input line 6443.
331Package hyperref Info: Link coloring OFF on input line 6367. 344\Hy@abspage=\count124
332Package hyperref Info: Link coloring with OCG OFF on input line 6372.
333Package hyperref Info: PDF/A mode OFF on input line 6377.
334LaTeX Info: Redefining \ref on input line 6417.
335LaTeX Info: Redefining \pageref on input line 6421.
336\Hy@abspage=\count280
337 345
338 346
339Package hyperref Message: Stopped early. 347Package hyperref Message: Stopped early.
340 348
341) 349)
342Package hyperref Info: Driver (autodetected): hpdftex. 350Package hyperref Info: Driver (autodetected): hpdftex.
343 (/usr/share/texmf-dist/tex/latex/hyperref/hpdftex.def 351 (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def
344File: hpdftex.def 2020-05-15 v7.00e Hyperref driver for pdfTeX 352File: hpdftex.def 2018/02/06 v6.86b Hyperref driver for pdfTeX
345 (/usr/share/texmf-dist/tex/latex/atveryend/atveryend.sty 353\Fld@listcount=\count125
346Package: atveryend 2019-12-11 v1.11 Hooks at the very end of document (HO) 354\c@bookmark@seq@number=\count126
347) 355 (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty
348\Fld@listcount=\count281 356Package: rerunfilecheck 2016/05/16 v1.8 Rerun checks for auxiliary files (HO)
349\c@bookmark@seq@number=\count282 357Package uniquecounter Info: New unique counter `rerunfilecheck' on input line 282.
350 (/usr/share/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty 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
351Package: rerunfilecheck 2019/12/05 v1.9 Rerun checks for auxiliary files (HO)
352 (/usr/share/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty
353Package: uniquecounter 2019/12/15 v1.4 Provide unlimited unique counter (HO)
354)
355Package uniquecounter Info: New unique counter `rerunfilecheck' on input line 286.
356)) (/usr/share/texmf-dist/tex/latex/beamer/beamerbaserequires.sty (/usr/share/texmf-dist/tex/latex/beamer/beamerbasecompatibility.sty) (/usr/share/texmf-dist/tex/latex/beamer/beamerbasefont.sty (/usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty
357Package: amssymb 2013/01/14 v3.01 AMS font symbols 359Package: amssymb 2013/01/14 v3.01 AMS font symbols
358 (/usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty 360 (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty
359Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support 361Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support
360\@emptytoks=\toks27 362\@emptytoks=\toks26
361\symAMSa=\mathgroup4 363\symAMSa=\mathgroup4
362\symAMSb=\mathgroup5 364\symAMSb=\mathgroup5
363LaTeX Font Info: Redeclaring math symbol \hbar on input line 98.
364LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' 365LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold'
365(Font) U/euf/m/n --> U/euf/b/n on input line 106. 366(Font) U/euf/m/n --> U/euf/b/n on input line 106.
366))) (/usr/share/texmf-dist/tex/latex/beamer/beamerbasetranslator.sty (/usr/share/texmf-dist/tex/latex/translator/translator.sty 367)) (/usr/share/texlive/texmf-dist/tex/latex/sansmathaccent/sansmathaccent.sty
367Package: translator 2019-05-31 v1.12a Easy translation of strings in LaTeX 368Package: sansmathaccent 2013/03/28
368)) (/usr/share/texmf-dist/tex/latex/beamer/beamerbasemisc.sty) (/usr/share/texmf-dist/tex/latex/beamer/beamerbasetwoscreens.sty) (/usr/share/texmf-dist/tex/latex/beamer/beamerbaseoverlay.sty 369 (/usr/share/texlive/texmf-dist/tex/latex/filehook/filehook.sty
369\beamer@argscount=\count283 370Package: filehook 2011/10/12 v0.5d Hooks for input files
370\beamer@lastskipcover=\skip50 371))) (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetranslator.sty (/usr/share/texlive/texmf-dist/tex/latex/translator/translator.sty
371\beamer@trivlistdepth=\count284 372Package: translator 2018/01/04 v1.12 Easy translation of strings in LaTeX
372) (/usr/share/texmf-dist/tex/latex/beamer/beamerbasetitle.sty) (/usr/share/texmf-dist/tex/latex/beamer/beamerbasesection.sty 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
373\c@lecture=\count285 374\beamer@argscount=\count127
374\c@part=\count286 375\beamer@lastskipcover=\skip44
375\c@section=\count287 376\beamer@trivlistdepth=\count128
376\c@subsection=\count288 377) (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetitle.sty) (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasesection.sty
377\c@subsubsection=\count289 378\c@lecture=\count129
378) (/usr/share/texmf-dist/tex/latex/beamer/beamerbaseframe.sty 379\c@part=\count130
379\beamer@framebox=\box60 380\c@section=\count131
380\beamer@frametitlebox=\box61 381\c@subsection=\count132
381\beamer@zoombox=\box62 382\c@subsubsection=\count133
382\beamer@zoomcount=\count290 383) (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseframe.sty
383\beamer@zoomframecount=\count291 384\beamer@framebox=\box40
384\beamer@frametextheight=\dimen257 385\beamer@frametitlebox=\box41
385\c@subsectionslide=\count292 386\beamer@zoombox=\box42
386\beamer@frametopskip=\skip51 387\beamer@zoomcount=\count134
387\beamer@framebottomskip=\skip52 388\beamer@zoomframecount=\count135
388\beamer@frametopskipautobreak=\skip53 389\beamer@frametextheight=\dimen167
389\beamer@framebottomskipautobreak=\skip54 390\c@subsectionslide=\count136
390\beamer@envbody=\toks28 391\beamer@frametopskip=\skip45
391\framewidth=\dimen258 392\beamer@framebottomskip=\skip46
392\c@framenumber=\count293 393\beamer@frametopskipautobreak=\skip47
393) (/usr/share/texmf-dist/tex/latex/beamer/beamerbaseverbatim.sty 394\beamer@framebottomskipautobreak=\skip48
395\beamer@envbody=\toks27
396\framewidth=\dimen168
397\c@framenumber=\count137
398) (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseverbatim.sty
394\beamer@verbatimfileout=\write4 399\beamer@verbatimfileout=\write4
395) (/usr/share/texmf-dist/tex/latex/beamer/beamerbaseframesize.sty 400) (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseframesize.sty
396\beamer@splitbox=\box63 401\beamer@splitbox=\box43
397\beamer@autobreakcount=\count294 402\beamer@autobreakcount=\count138
398\beamer@autobreaklastheight=\dimen259 403\beamer@autobreaklastheight=\dimen169
399\beamer@frametitletoks=\toks29 404\beamer@frametitletoks=\toks28
400\beamer@framesubtitletoks=\toks30 405\beamer@framesubtitletoks=\toks29
401) (/usr/share/texmf-dist/tex/latex/beamer/beamerbaseframecomponents.sty 406) (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseframecomponents.sty
402\beamer@footins=\box64 407\beamer@footins=\box44
403) (/usr/share/texmf-dist/tex/latex/beamer/beamerbasecolor.sty) (/usr/share/texmf-dist/tex/latex/beamer/beamerbasenotes.sty 408) (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasecolor.sty
404\beamer@frameboxcopy=\box65 409\beamer@bg@ht=\dimen170
405) (/usr/share/texmf-dist/tex/latex/beamer/beamerbasetoc.sty) (/usr/share/texmf-dist/tex/latex/beamer/beamerbasetemplates.sty 410\beamer@bg@wd=\dimen171
406\beamer@sbttoks=\toks31 411\beamer@bg@dp=\dimen172
407 (/usr/share/texmf-dist/tex/latex/beamer/beamerbaseauxtemplates.sty (/usr/share/texmf-dist/tex/latex/beamer/beamerbaseboxes.sty 412) (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasenotes.sty
408\bmb@box=\box66 413\beamer@frameboxcopy=\box45
409\bmb@colorbox=\box67 414) (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetoc.sty) (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetemplates.sty
410\bmb@boxshadow=\box68 415\beamer@sbttoks=\toks30
411\bmb@boxshadowball=\box69 416 (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseauxtemplates.sty (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseboxes.sty
412\bmb@boxshadowballlarge=\box70 417\bmb@box=\box46
413\bmb@temp=\dimen260 418\bmb@colorbox=\box47
414\bmb@dima=\dimen261 419\bmb@boxshadow=\box48
415\bmb@dimb=\dimen262 420\bmb@boxshadowball=\box49
416\bmb@prevheight=\dimen263 421\bmb@boxshadowballlarge=\box50
422\bmb@temp=\dimen173
423\bmb@dima=\dimen174
424\bmb@dimb=\dimen175
425\bmb@prevheight=\dimen176
417) 426)
418\beamer@blockheadheight=\dimen264 427\beamer@blockheadheight=\dimen177
419)) (/usr/share/texmf-dist/tex/latex/beamer/beamerbaselocalstructure.sty (/usr/share/texmf-dist/tex/latex/tools/enumerate.sty 428)) (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaselocalstructure.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/enumerate.sty
420Package: enumerate 2015/07/23 v3.00 enumerate extensions (DPC) 429Package: enumerate 2015/07/23 v3.00 enumerate extensions (DPC)
421\@enLab=\toks32 430\@enLab=\toks31
431)
432\c@figure=\count139
433\c@table=\count140
434\abovecaptionskip=\skip49
435\belowcaptionskip=\skip50
422) 436)
423\c@figure=\count295 437(/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasenavigation.sty
424\c@table=\count296 438\beamer@section@min@dim=\dimen178
425\abovecaptionskip=\skip55 439) (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetheorems.sty (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty
426\belowcaptionskip=\skip56 440Package: amsmath 2017/09/02 v2.17a AMS math features
427) (/usr/share/texmf-dist/tex/latex/beamer/beamerbasenavigation.sty 441\@mathmargin=\skip51
428\beamer@section@min@dim=\dimen265
429) (/usr/share/texmf-dist/tex/latex/beamer/beamerbasetheorems.sty (/usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty
430Package: amsmath 2020/01/20 v2.17e AMS math features
431\@mathmargin=\skip57
432 442
433For additional information on amsmath, use the `?' option. 443For additional information on amsmath, use the `?' option.
434(/usr/share/texmf-dist/tex/latex/amsmath/amstext.sty 444(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty
435Package: amstext 2000/06/29 v2.01 AMS text 445Package: amstext 2000/06/29 v2.01 AMS text
436 (/usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty 446 (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty
437File: amsgen.sty 1999/11/30 v2.0 generic functions 447File: amsgen.sty 1999/11/30 v2.0 generic functions
438\@emptytoks=\toks33 448\@emptytoks=\toks32
439\ex@=\dimen266 449\ex@=\dimen179
440)) (/usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty 450)) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty
441Package: amsbsy 1999/11/29 v1.2d Bold Symbols 451Package: amsbsy 1999/11/29 v1.2d Bold Symbols
442\pmbraise@=\dimen267 452\pmbraise@=\dimen180
443) (/usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty 453) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty
444Package: amsopn 2016/03/08 v2.02 operator names 454Package: amsopn 2016/03/08 v2.02 operator names
445) 455)
446\inf@bad=\count297 456\inf@bad=\count141
447LaTeX Info: Redefining \frac on input line 227. 457LaTeX Info: Redefining \frac on input line 213.
448\uproot@=\count298 458\uproot@=\count142
449\leftroot@=\count299 459\leftroot@=\count143
450LaTeX Info: Redefining \overline on input line 389. 460LaTeX Info: Redefining \overline on input line 375.
451\classnum@=\count300 461\classnum@=\count144
452\DOTSCASE@=\count301 462\DOTSCASE@=\count145
453LaTeX Info: Redefining \ldots on input line 486. 463LaTeX Info: Redefining \ldots on input line 472.
454LaTeX Info: Redefining \dots on input line 489. 464LaTeX Info: Redefining \dots on input line 475.
455LaTeX Info: Redefining \cdots on input line 610. 465LaTeX Info: Redefining \cdots on input line 596.
456\Mathstrutbox@=\box71 466\Mathstrutbox@=\box51
457\strutbox@=\box72 467\strutbox@=\box52
458\big@size=\dimen268 468\big@size=\dimen181
459LaTeX Font Info: Redeclaring font encoding OML on input line 733. 469LaTeX Font Info: Redeclaring font encoding OML on input line 712.
460LaTeX Font Info: Redeclaring font encoding OMS on input line 734. 470LaTeX Font Info: Redeclaring font encoding OMS on input line 713.
461\macc@depth=\count302 471\macc@depth=\count146
462\c@MaxMatrixCols=\count303 472\c@MaxMatrixCols=\count147
463\dotsspace@=\muskip17 473\dotsspace@=\muskip11
464\c@parentequation=\count304 474\c@parentequation=\count148
465\dspbrk@lvl=\count305 475\dspbrk@lvl=\count149
466\tag@help=\toks34 476\tag@help=\toks33
467\row@=\count306 477\row@=\count150
468\column@=\count307 478\column@=\count151
469\maxfields@=\count308 479\maxfields@=\count152
470\andhelp@=\toks35 480\andhelp@=\toks34
471\eqnshift@=\dimen269 481\eqnshift@=\dimen182
472\alignsep@=\dimen270 482\alignsep@=\dimen183
473\tagshift@=\dimen271 483\tagshift@=\dimen184
474\tagwidth@=\dimen272 484\tagwidth@=\dimen185
475\totwidth@=\dimen273 485\totwidth@=\dimen186
476\lineht@=\dimen274 486\lineht@=\dimen187
477\@envbody=\toks36 487\@envbody=\toks35
478\multlinegap=\skip58 488\multlinegap=\skip52
479\multlinetaggap=\skip59 489\multlinetaggap=\skip53
480\mathdisplay@stack=\toks37 490\mathdisplay@stack=\toks36
481LaTeX Info: Redefining \[ on input line 2859. 491LaTeX Info: Redefining \[ on input line 2817.
482LaTeX Info: Redefining \] on input line 2860. 492LaTeX Info: Redefining \] on input line 2818.
483) (/usr/share/texmf-dist/tex/latex/amscls/amsthm.sty 493) (/usr/share/texlive/texmf-dist/tex/latex/amscls/amsthm.sty
484Package: amsthm 2020/05/29 v2.20.6 494Package: amsthm 2017/10/31 v2.20.4
485\thm@style=\toks38 495\thm@style=\toks37
486\thm@bodyfont=\toks39 496\thm@bodyfont=\toks38
487\thm@headfont=\toks40 497\thm@headfont=\toks39
488\thm@notefont=\toks41 498\thm@notefont=\toks40
489\thm@headpunct=\toks42 499\thm@headpunct=\toks41
490\thm@preskip=\skip60 500\thm@preskip=\skip54
491\thm@postskip=\skip61 501\thm@postskip=\skip55
492\thm@headsep=\skip62 502\thm@headsep=\skip56
493\dth@everypar=\toks43 503\dth@everypar=\toks42
504)
505\c@theorem=\count153
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)
757Now handling font encoding OT1 ...
758... processing UTF-8 mapping file for font encoding OT1
759 (/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.dfu
760File: ot1enc.dfu 2017/01/28 v1.1t UTF-8 support for inputenc
761 defining Unicode char U+00A0 (decimal 160)
762 defining Unicode char U+00A1 (decimal 161)
763 defining Unicode char U+00A3 (decimal 163)
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)
797Now handling font encoding OMS ...
798... processing UTF-8 mapping file for font encoding OMS
799 (/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.dfu
800File: omsenc.dfu 2017/01/28 v1.1t UTF-8 support for inputenc
801 defining Unicode char U+00A7 (decimal 167)
802 defining Unicode char U+00B6 (decimal 182)
803 defining Unicode char U+00B7 (decimal 183)
804 defining Unicode char U+2020 (decimal 8224)
805 defining Unicode char U+2021 (decimal 8225)
806 defining Unicode char U+2022 (decimal 8226)
494) 807)
495\c@theorem=\count309 808Now handling font encoding OMX ...
496) (/usr/share/texmf-dist/tex/latex/beamer/beamerbasethemes.sty)) (/usr/share/texmf-dist/tex/latex/beamer/beamerthemedefault.sty (/usr/share/texmf-dist/tex/latex/beamer/beamerfontthemedefault.sty) (/usr/share/texmf-dist/tex/latex/beamer/beamercolorthemedefault.sty) (/usr/share/texmf-dist/tex/latex/beamer/beamerinnerthemedefault.sty 809... no UTF-8 mapping file for font encoding OMX
497\beamer@dima=\dimen275 810Now handling font encoding U ...
498\beamer@dimb=\dimen276 811... no UTF-8 mapping file for font encoding U
499) (/usr/share/texmf-dist/tex/latex/beamer/beamerouterthemedefault.sty))) (/usr/share/texmf-dist/tex/latex/beamer/beamerthemeMadrid.sty (/usr/share/texmf-dist/tex/latex/beamer/beamercolorthemewhale.sty) (/usr/share/texmf-dist/tex/latex/beamer/beamercolorthemeorchid.sty) (/usr/share/texmf-dist/tex/latex/beamer/beamerinnerthemerounded.sty) (/usr/share/texmf-dist/tex/latex/beamer/beamerouterthemeinfolines.sty)) (/usr/share/texmf-dist/tex/latex/base/inputenc.sty 812Now handling font encoding PD1 ...
500Package: inputenc 2018/08/11 v1.3c Input encoding file 813... no UTF-8 mapping file for font encoding PD1
501\inpenc@prehook=\toks44 814 defining Unicode char U+00A9 (decimal 169)
502\inpenc@posthook=\toks45 815 defining Unicode char U+00AA (decimal 170)
503) (/usr/share/texmf-dist/tex/latex/setspace/setspace.sty 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
504Package: setspace 2011/12/19 v6.7a set line spacing 825Package: setspace 2011/12/19 v6.7a set line spacing
505) 826)
506\c@proposition=\count310 827\c@proposition=\count154
507\c@remark=\count311 828\c@remark=\count155
508\c@exercise=\count312 829\c@exercise=\count156
509 (/usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdfmode.def 830 (./preplogic-slides.aux)
510File: l3backend-pdfmode.def 2020-06-03 L3 backend support: PDF mode
511\l__kernel_color_stack_int=\count313
512\l__pdf_internal_box=\box73
513) (./preplogic-slides.aux)
514\openout1 = `preplogic-slides.aux'. 831\openout1 = `preplogic-slides.aux'.
515 832
516LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 30. 833LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 30.
517LaTeX Font Info: ... okay on input line 30. 834LaTeX Font Info: ... okay on input line 30.
518LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 30. 835LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 30.
519LaTeX Font Info: ... okay on input line 30. 836LaTeX Font Info: ... okay on input line 30.
520LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 30. 837LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 30.
521LaTeX Font Info: ... okay on input line 30. 838LaTeX Font Info: ... okay on input line 30.
522LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 30. 839LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 30.
523LaTeX Font Info: ... okay on input line 30.
524LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 30.
525LaTeX Font Info: ... okay on input line 30. 840LaTeX Font Info: ... okay on input line 30.
526LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 30. 841LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 30.
527LaTeX Font Info: ... okay on input line 30. 842LaTeX Font Info: ... okay on input line 30.
@@ -564,35 +879,39 @@ LaTeX Font Info: ... okay on input line 30.
564* \@reversemarginfalse 879* \@reversemarginfalse
565* (1in=72.27pt=25.4mm, 1cm=28.453pt) 880* (1in=72.27pt=25.4mm, 1cm=28.453pt)
566 881
567(/usr/share/texmf-dist/tex/context/base/mkii/supp-pdf.mkii 882(/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii
568[Loading MPS to PDF converter (version 2006.09.02).] 883[Loading MPS to PDF converter (version 2006.09.02).]
569\scratchcounter=\count314 884\scratchcounter=\count157
570\scratchdimen=\dimen277 885\scratchdimen=\dimen190
571\scratchbox=\box74 886\scratchbox=\box53
572\nofMPsegments=\count315 887\nofMPsegments=\count158
573\nofMParguments=\count316 888\nofMParguments=\count159
574\everyMPshowfont=\toks46 889\everyMPshowfont=\toks45
575\MPscratchCnt=\count317 890\MPscratchCnt=\count160
576\MPscratchDim=\dimen278 891\MPscratchDim=\dimen191
577\MPnumerator=\count318 892\MPnumerator=\count161
578\makeMPintoPDFobject=\count319 893\makeMPintoPDFobject=\count162
579\everyMPtoPDFconversion=\toks47 894\everyMPtoPDFconversion=\toks46
580) (/usr/share/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty 895) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty
581Package: epstopdf-base 2020-01-24 v2.11 Base part for package epstopdf 896Package: epstopdf-base 2016/05/15 v2.6 Base part for package epstopdf
582Package epstopdf-base Info: Redefining graphics rule for `.eps' on input line 485. 897 (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/grfext.sty
583 (/usr/share/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg 898Package: grfext 2016/05/16 v1.2 Manage graphics extensions (HO)
899)
900Package epstopdf-base Info: Redefining graphics rule for `.eps' on input line 438.
901Package grfext Info: Graphics extension search list:
902(grfext) [.pdf,.png,.jpg,.mps,.jpeg,.jbig2,.jb2,.PDF,.PNG,.JPG,.JPEG,.JBIG2,.JB2,.eps]
903(grfext) \AppendGraphicsExtensions on input line 456.
904 (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg
584File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Live 905File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Live
585)) ABD: EveryShipout initializing macros 906)) ABD: EveryShipout initializing macros
586\AtBeginShipoutBox=\box75 907\AtBeginShipoutBox=\box54
587Package hyperref Info: Link coloring OFF on input line 30. 908Package hyperref Info: Link coloring OFF on input line 30.
588 (/usr/share/texmf-dist/tex/latex/hyperref/nameref.sty 909 (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
589Package: nameref 2019/09/16 v2.46 Cross-referencing by name of section 910Package: nameref 2016/05/21 v2.44 Cross-referencing by name of section
590 (/usr/share/texmf-dist/tex/latex/refcount/refcount.sty 911 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty
591Package: refcount 2019/12/15 v3.6 Data extraction from label references (HO) 912Package: gettitlestring 2016/05/16 v1.5 Cleanup title references (HO)
592) (/usr/share/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty
593Package: gettitlestring 2019/12/15 v1.6 Cleanup title references (HO)
594) 913)
595\c@section@level=\count320 914\c@section@level=\count163
596) 915)
597LaTeX Info: Redefining \ref on input line 30. 916LaTeX Info: Redefining \ref on input line 30.
598LaTeX Info: Redefining \pageref on input line 30. 917LaTeX Info: Redefining \pageref on input line 30.
@@ -604,16 +923,16 @@ LaTeX Info: Redefining \nameref on input line 30.
604LaTeX Font Info: Overwriting symbol font `operators' in version `normal' 923LaTeX Font Info: Overwriting symbol font `operators' in version `normal'
605(Font) OT1/cmr/m/n --> OT1/cmss/m/n on input line 30. 924(Font) OT1/cmr/m/n --> OT1/cmss/m/n on input line 30.
606LaTeX Font Info: Overwriting symbol font `operators' in version `bold' 925LaTeX Font Info: Overwriting symbol font `operators' in version `bold'
607(Font) OT1/cmr/bx/n --> OT1/cmss/b/n on input line 30. 926(Font) OT1/cmr/bx/n --> OT1/cmss/bx/n on input line 30.
608\symnumbers=\mathgroup6 927\symnumbers=\mathgroup6
609\sympureletters=\mathgroup7 928\sympureletters=\mathgroup7
610LaTeX Font Info: Overwriting math alphabet `\mathrm' in version `normal' 929LaTeX Font Info: Overwriting math alphabet `\mathrm' in version `normal'
611(Font) OT1/cmss/m/n --> OT1/cmr/m/n on input line 30. 930(Font) OT1/cmss/m/n --> OT1/cmr/m/n on input line 30.
612LaTeX Font Info: Redeclaring math alphabet \mathbf on input line 30. 931LaTeX Font Info: Redeclaring math alphabet \mathbf on input line 30.
613LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `normal' 932LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `normal'
614(Font) OT1/cmr/bx/n --> OT1/cmss/b/n on input line 30. 933(Font) OT1/cmr/bx/n --> OT1/cmss/bx/n on input line 30.
615LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `bold' 934LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `bold'
616(Font) OT1/cmr/bx/n --> OT1/cmss/b/n on input line 30. 935(Font) OT1/cmr/bx/n --> OT1/cmss/bx/n on input line 30.
617LaTeX Font Info: Redeclaring math alphabet \mathsf on input line 30. 936LaTeX Font Info: Redeclaring math alphabet \mathsf on input line 30.
618LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `normal' 937LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `normal'
619(Font) OT1/cmss/m/n --> OT1/cmss/m/n on input line 30. 938(Font) OT1/cmss/m/n --> OT1/cmss/m/n on input line 30.
@@ -630,30 +949,37 @@ LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `normal'
630LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `bold' 949LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `bold'
631(Font) OT1/cmtt/m/n --> OT1/cmtt/m/n on input line 30. 950(Font) OT1/cmtt/m/n --> OT1/cmtt/m/n on input line 30.
632LaTeX Font Info: Overwriting symbol font `numbers' in version `bold' 951LaTeX Font Info: Overwriting symbol font `numbers' in version `bold'
633(Font) OT1/cmss/m/n --> OT1/cmss/b/n on input line 30. 952(Font) OT1/cmss/m/n --> OT1/cmss/bx/n on input line 30.
634LaTeX Font Info: Overwriting symbol font `pureletters' in version `bold' 953LaTeX Font Info: Overwriting symbol font `pureletters' in version `bold'
635(Font) OT1/cmss/m/it --> OT1/cmss/b/it on input line 30. 954(Font) OT1/cmss/m/it --> OT1/cmss/bx/it on input line 30.
636LaTeX Font Info: Overwriting math alphabet `\mathrm' in version `bold' 955LaTeX Font Info: Overwriting math alphabet `\mathrm' in version `bold'
637(Font) OT1/cmss/b/n --> OT1/cmr/b/n on input line 30. 956(Font) OT1/cmss/bx/n --> OT1/cmr/bx/n on input line 30.
638LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `bold' 957LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `bold'
639(Font) OT1/cmss/b/n --> OT1/cmss/b/n on input line 30. 958(Font) OT1/cmss/bx/n --> OT1/cmss/bx/n on input line 30.
640LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `bold' 959LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `bold'
641(Font) OT1/cmss/m/n --> OT1/cmss/b/n on input line 30. 960(Font) OT1/cmss/m/n --> OT1/cmss/bx/n on input line 30.
642LaTeX Font Info: Overwriting math alphabet `\mathit' in version `bold' 961LaTeX Font Info: Overwriting math alphabet `\mathit' in version `bold'
643(Font) OT1/cmss/m/it --> OT1/cmss/b/it on input line 30. 962(Font) OT1/cmss/m/it --> OT1/cmss/bx/it on input line 30.
644LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `bold' 963LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `bold'
645(Font) OT1/cmtt/m/n --> OT1/cmtt/b/n on input line 30. 964(Font) OT1/cmtt/m/n --> OT1/cmtt/bx/n on input line 30.
646 (/usr/share/texmf-dist/tex/latex/translator/translator-basic-dictionary-English.dict 965LaTeX Font Info: Redeclaring symbol font `pureletters' on input line 30.
966LaTeX Font Info: Overwriting symbol font `pureletters' in version `normal'
967(Font) OT1/cmss/m/it --> OT1/mathkerncmss/m/sl on input line 30.
968LaTeX Font Info: Overwriting symbol font `pureletters' in version `bold'
969(Font) OT1/cmss/bx/it --> OT1/mathkerncmss/m/sl on input line 30.
970LaTeX Font Info: Overwriting symbol font `pureletters' in version `bold'
971(Font) OT1/mathkerncmss/m/sl --> OT1/mathkerncmss/bx/sl on input line 30.
972 (/usr/share/texlive/texmf-dist/tex/latex/translator/translator-basic-dictionary-English.dict
647Dictionary: translator-basic-dictionary, Language: English 973Dictionary: translator-basic-dictionary, Language: English
648) (/usr/share/texmf-dist/tex/latex/translator/translator-bibliography-dictionary-English.dict 974) (/usr/share/texlive/texmf-dist/tex/latex/translator/translator-bibliography-dictionary-English.dict
649Dictionary: translator-bibliography-dictionary, Language: English 975Dictionary: translator-bibliography-dictionary, Language: English
650) (/usr/share/texmf-dist/tex/latex/translator/translator-environment-dictionary-English.dict 976) (/usr/share/texlive/texmf-dist/tex/latex/translator/translator-environment-dictionary-English.dict
651Dictionary: translator-environment-dictionary, Language: English 977Dictionary: translator-environment-dictionary, Language: English
652) (/usr/share/texmf-dist/tex/latex/translator/translator-months-dictionary-English.dict 978) (/usr/share/texlive/texmf-dist/tex/latex/translator/translator-months-dictionary-English.dict
653Dictionary: translator-months-dictionary, Language: English 979Dictionary: translator-months-dictionary, Language: English
654) (/usr/share/texmf-dist/tex/latex/translator/translator-numbers-dictionary-English.dict 980) (/usr/share/texlive/texmf-dist/tex/latex/translator/translator-numbers-dictionary-English.dict
655Dictionary: translator-numbers-dictionary, Language: English 981Dictionary: translator-numbers-dictionary, Language: English
656) (/usr/share/texmf-dist/tex/latex/translator/translator-theorem-dictionary-English.dict 982) (/usr/share/texlive/texmf-dist/tex/latex/translator/translator-theorem-dictionary-English.dict
657Dictionary: translator-theorem-dictionary, Language: English 983Dictionary: translator-theorem-dictionary, Language: English
658) (./preplogic-slides.nav) 984) (./preplogic-slides.nav)
659<unilu.jpg, id=40, 645.16031pt x 578.16pt> 985<unilu.jpg, id=40, 645.16031pt x 578.16pt>
@@ -663,7 +989,7 @@ Package pdftex.def Info: unilu.jpg used on input line 34.
663(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 989(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
664 [1 990 [1
665 991
666{/usr/share/texmf-dist/fonts/map/pdftex/updmap/pdftex.map} <./unilu.jpg>] (./preplogic-slides.toc) 992{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map} <./unilu.jpg>] (./preplogic-slides.toc)
667File: unilu.jpg Graphic file (type jpg) 993File: unilu.jpg Graphic file (type jpg)
668<use unilu.jpg> 994<use unilu.jpg>
669Package pdftex.def Info: unilu.jpg used on input line 39. 995Package pdftex.def Info: unilu.jpg used on input line 39.
@@ -720,14 +1046,18 @@ Package pdftex.def Info: unilu.jpg used on input line 66.
720 [9 1046 [9
721 1047
722] 1048]
723LaTeX Font Info: Trying to load font information for U+msa on input line 76. 1049LaTeX Font Info: Try loading font information for U+msa on input line 76.
724 (/usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd 1050 (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd
725File: umsa.fd 2013/01/14 v3.01 AMS symbols A 1051File: umsa.fd 2013/01/14 v3.01 AMS symbols A
726) 1052)
727LaTeX Font Info: Trying to load font information for U+msb on input line 76. 1053LaTeX Font Info: Try loading font information for U+msb on input line 76.
728 (/usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd 1054 (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd
729File: umsb.fd 2013/01/14 v3.01 AMS symbols B 1055File: umsb.fd 2013/01/14 v3.01 AMS symbols B
730) 1056)
1057LaTeX Font Info: Try loading font information for OT1+mathkerncmss on input line 76.
1058 (/usr/share/texlive/texmf-dist/tex/latex/sansmathaccent/ot1mathkerncmss.fd
1059File: ot1mathkerncmss.fd 2013/03/27 Fontinst v1.933 font definitions for OT1/mathkerncmss.
1060)
731File: unilu.jpg Graphic file (type jpg) 1061File: unilu.jpg Graphic file (type jpg)
732<use unilu.jpg> 1062<use unilu.jpg>
733Package pdftex.def Info: unilu.jpg used on input line 76. 1063Package pdftex.def Info: unilu.jpg used on input line 76.
@@ -744,11 +1074,7 @@ Package pdftex.def Info: unilu.jpg used on input line 94.
744] 1074]
745 1075
746LaTeX Font Warning: Font shape `OT1/cmss/bx/it' undefined 1076LaTeX Font Warning: Font shape `OT1/cmss/bx/it' undefined
747(Font) using `OT1/cmss/b/it' instead on input line 112. 1077(Font) using `OT1/cmss/bx/n' instead on input line 112.
748
749
750LaTeX Font Warning: Font shape `OT1/cmss/b/it' undefined
751(Font) using `OT1/cmss/m/n' instead on input line 112.
752 1078
753File: unilu.jpg Graphic file (type jpg) 1079File: unilu.jpg Graphic file (type jpg)
754<use unilu.jpg> 1080<use unilu.jpg>
@@ -757,15 +1083,11 @@ Package pdftex.def Info: unilu.jpg used on input line 112.
757[12 1083[12
758 1084
759] 1085]
760
761LaTeX Font Warning: Font shape `OT1/cmss/bx/it' undefined
762(Font) using `OT1/cmss/b/it' instead on input line 112.
763
764File: unilu.jpg Graphic file (type jpg) 1086File: unilu.jpg Graphic file (type jpg)
765<use unilu.jpg> 1087<use unilu.jpg>
766Package pdftex.def Info: unilu.jpg used on input line 112. 1088Package pdftex.def Info: unilu.jpg used on input line 112.
767(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1089(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
768[13 1090 [13
769 1091
770] 1092]
771File: unilu.jpg Graphic file (type jpg) 1093File: unilu.jpg Graphic file (type jpg)
@@ -956,228 +1278,235 @@ Package pdftex.def Info: unilu.jpg used on input line 341.
956] 1278]
957File: unilu.jpg Graphic file (type jpg) 1279File: unilu.jpg Graphic file (type jpg)
958<use unilu.jpg> 1280<use unilu.jpg>
959Package pdftex.def Info: unilu.jpg used on input line 359. 1281Package pdftex.def Info: unilu.jpg used on input line 363.
960(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1282(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
961 [40 1283 [40
962 1284
963] 1285]
964File: unilu.jpg Graphic file (type jpg) 1286File: unilu.jpg Graphic file (type jpg)
965<use unilu.jpg> 1287<use unilu.jpg>
966Package pdftex.def Info: unilu.jpg used on input line 359. 1288Package pdftex.def Info: unilu.jpg used on input line 363.
967(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1289(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
968 [41 1290 [41
969 1291
970] 1292]
971File: unilu.jpg Graphic file (type jpg) 1293File: unilu.jpg Graphic file (type jpg)
972<use unilu.jpg> 1294<use unilu.jpg>
973Package pdftex.def Info: unilu.jpg used on input line 376. 1295Package pdftex.def Info: unilu.jpg used on input line 363.
974(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1296(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
975 [42 1297 [42
976 1298
977] 1299]
978File: unilu.jpg Graphic file (type jpg) 1300File: unilu.jpg Graphic file (type jpg)
979<use unilu.jpg> 1301<use unilu.jpg>
980Package pdftex.def Info: unilu.jpg used on input line 403. 1302Package pdftex.def Info: unilu.jpg used on input line 380.
981(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1303(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
982 [43 1304 [43
983 1305
984] 1306]
985File: unilu.jpg Graphic file (type jpg) 1307File: unilu.jpg Graphic file (type jpg)
986<use unilu.jpg> 1308<use unilu.jpg>
987Package pdftex.def Info: unilu.jpg used on input line 403. 1309Package pdftex.def Info: unilu.jpg used on input line 407.
988(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1310(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
989 [44 1311 [44
990 1312
991] 1313]
992File: unilu.jpg Graphic file (type jpg) 1314File: unilu.jpg Graphic file (type jpg)
993<use unilu.jpg> 1315<use unilu.jpg>
994Package pdftex.def Info: unilu.jpg used on input line 403. 1316Package pdftex.def Info: unilu.jpg used on input line 407.
995(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1317(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
996 [45 1318 [45
997 1319
998] 1320]
999File: unilu.jpg Graphic file (type jpg) 1321File: unilu.jpg Graphic file (type jpg)
1000<use unilu.jpg> 1322<use unilu.jpg>
1001Package pdftex.def Info: unilu.jpg used on input line 420. 1323Package pdftex.def Info: unilu.jpg used on input line 407.
1002(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1324(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1003 [46 1325 [46
1004 1326
1005] 1327]
1006File: unilu.jpg Graphic file (type jpg) 1328File: unilu.jpg Graphic file (type jpg)
1007<use unilu.jpg> 1329<use unilu.jpg>
1008Package pdftex.def Info: unilu.jpg used on input line 420. 1330Package pdftex.def Info: unilu.jpg used on input line 424.
1009(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1331(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1010 [47 1332 [47
1011 1333
1012] 1334]
1013File: unilu.jpg Graphic file (type jpg) 1335File: unilu.jpg Graphic file (type jpg)
1014<use unilu.jpg> 1336<use unilu.jpg>
1015Package pdftex.def Info: unilu.jpg used on input line 420. 1337Package pdftex.def Info: unilu.jpg used on input line 424.
1016(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1338(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1017 [48 1339 [48
1018 1340
1019] 1341]
1020File: unilu.jpg Graphic file (type jpg) 1342File: unilu.jpg Graphic file (type jpg)
1021<use unilu.jpg> 1343<use unilu.jpg>
1022Package pdftex.def Info: unilu.jpg used on input line 420. 1344Package pdftex.def Info: unilu.jpg used on input line 424.
1023(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1345(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1024 [49 1346 [49
1025 1347
1026] 1348]
1027File: unilu.jpg Graphic file (type jpg) 1349File: unilu.jpg Graphic file (type jpg)
1028<use unilu.jpg> 1350<use unilu.jpg>
1029Package pdftex.def Info: unilu.jpg used on input line 441. 1351Package pdftex.def Info: unilu.jpg used on input line 424.
1030(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1352(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1031 [50 1353 [50
1032 1354
1033] 1355]
1034File: unilu.jpg Graphic file (type jpg) 1356File: unilu.jpg Graphic file (type jpg)
1035<use unilu.jpg> 1357<use unilu.jpg>
1036Package pdftex.def Info: unilu.jpg used on input line 441. 1358Package pdftex.def Info: unilu.jpg used on input line 445.
1037(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1359(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1038 [51 1360 [51
1039 1361
1040] 1362]
1041File: unilu.jpg Graphic file (type jpg) 1363File: unilu.jpg Graphic file (type jpg)
1042<use unilu.jpg> 1364<use unilu.jpg>
1043Package pdftex.def Info: unilu.jpg used on input line 441. 1365Package pdftex.def Info: unilu.jpg used on input line 445.
1044(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1366(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1045 [52 1367 [52
1046 1368
1047] 1369]
1048File: unilu.jpg Graphic file (type jpg) 1370File: unilu.jpg Graphic file (type jpg)
1049<use unilu.jpg> 1371<use unilu.jpg>
1050Package pdftex.def Info: unilu.jpg used on input line 441. 1372Package pdftex.def Info: unilu.jpg used on input line 445.
1051(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1373(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1052 [53 1374 [53
1053 1375
1054] 1376]
1055File: unilu.jpg Graphic file (type jpg) 1377File: unilu.jpg Graphic file (type jpg)
1056<use unilu.jpg> 1378<use unilu.jpg>
1057Package pdftex.def Info: unilu.jpg used on input line 441. 1379Package pdftex.def Info: unilu.jpg used on input line 445.
1058(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1380(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1059 [54 1381 [54
1060 1382
1061] 1383]
1062File: unilu.jpg Graphic file (type jpg) 1384File: unilu.jpg Graphic file (type jpg)
1063<use unilu.jpg> 1385<use unilu.jpg>
1064Package pdftex.def Info: unilu.jpg used on input line 459. 1386Package pdftex.def Info: unilu.jpg used on input line 445.
1065(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1387(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1066 [55 1388 [55
1067 1389
1068] 1390]
1069File: unilu.jpg Graphic file (type jpg) 1391File: unilu.jpg Graphic file (type jpg)
1070<use unilu.jpg> 1392<use unilu.jpg>
1071Package pdftex.def Info: unilu.jpg used on input line 459. 1393Package pdftex.def Info: unilu.jpg used on input line 463.
1072(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1394(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1073 [56 1395 [56
1074 1396
1075] 1397]
1076File: unilu.jpg Graphic file (type jpg) 1398File: unilu.jpg Graphic file (type jpg)
1077<use unilu.jpg> 1399<use unilu.jpg>
1078Package pdftex.def Info: unilu.jpg used on input line 483. 1400Package pdftex.def Info: unilu.jpg used on input line 463.
1079(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1401(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1080 [57 1402 [57
1081 1403
1082] 1404]
1083File: unilu.jpg Graphic file (type jpg) 1405File: unilu.jpg Graphic file (type jpg)
1084<use unilu.jpg> 1406<use unilu.jpg>
1085Package pdftex.def Info: unilu.jpg used on input line 483. 1407Package pdftex.def Info: unilu.jpg used on input line 487.
1086(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1408(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1087 [58 1409 [58
1088 1410
1089] 1411]
1090File: unilu.jpg Graphic file (type jpg) 1412File: unilu.jpg Graphic file (type jpg)
1091<use unilu.jpg> 1413<use unilu.jpg>
1092Package pdftex.def Info: unilu.jpg used on input line 483. 1414Package pdftex.def Info: unilu.jpg used on input line 487.
1093(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1415(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1094 [59 1416 [59
1095 1417
1096] 1418]
1097File: unilu.jpg Graphic file (type jpg) 1419File: unilu.jpg Graphic file (type jpg)
1098<use unilu.jpg> 1420<use unilu.jpg>
1099Package pdftex.def Info: unilu.jpg used on input line 483. 1421Package pdftex.def Info: unilu.jpg used on input line 487.
1100(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1422(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1101 [60 1423 [60
1102 1424
1103] 1425]
1104File: unilu.jpg Graphic file (type jpg) 1426File: unilu.jpg Graphic file (type jpg)
1105<use unilu.jpg> 1427<use unilu.jpg>
1106Package pdftex.def Info: unilu.jpg used on input line 483. 1428Package pdftex.def Info: unilu.jpg used on input line 487.
1107(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1429(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1108 [61 1430 [61
1109 1431
1110] 1432]
1111File: unilu.jpg Graphic file (type jpg) 1433File: unilu.jpg Graphic file (type jpg)
1112<use unilu.jpg> 1434<use unilu.jpg>
1113Package pdftex.def Info: unilu.jpg used on input line 483. 1435Package pdftex.def Info: unilu.jpg used on input line 487.
1114(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1436(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1115 [62 1437 [62
1116 1438
1117] 1439]
1118File: unilu.jpg Graphic file (type jpg) 1440File: unilu.jpg Graphic file (type jpg)
1119<use unilu.jpg> 1441<use unilu.jpg>
1120Package pdftex.def Info: unilu.jpg used on input line 483. 1442Package pdftex.def Info: unilu.jpg used on input line 487.
1121(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1443(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1122 [63 1444 [63
1123 1445
1124] 1446]
1125File: unilu.jpg Graphic file (type jpg) 1447File: unilu.jpg Graphic file (type jpg)
1126<use unilu.jpg> 1448<use unilu.jpg>
1127Package pdftex.def Info: unilu.jpg used on input line 500. 1449Package pdftex.def Info: unilu.jpg used on input line 487.
1128(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1450(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1129 [64 1451 [64
1130 1452
1131] 1453]
1132File: unilu.jpg Graphic file (type jpg) 1454File: unilu.jpg Graphic file (type jpg)
1133<use unilu.jpg> 1455<use unilu.jpg>
1134Package pdftex.def Info: unilu.jpg used on input line 500. 1456Package pdftex.def Info: unilu.jpg used on input line 504.
1135(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1457(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1136 [65 1458 [65
1137 1459
1138] 1460]
1139File: unilu.jpg Graphic file (type jpg) 1461File: unilu.jpg Graphic file (type jpg)
1140<use unilu.jpg> 1462<use unilu.jpg>
1141Package pdftex.def Info: unilu.jpg used on input line 529. 1463Package pdftex.def Info: unilu.jpg used on input line 504.
1142(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1464(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1143 [66 1465 [66
1144 1466
1145] 1467]
1146File: unilu.jpg Graphic file (type jpg) 1468File: unilu.jpg Graphic file (type jpg)
1147<use unilu.jpg> 1469<use unilu.jpg>
1148Package pdftex.def Info: unilu.jpg used on input line 529. 1470Package pdftex.def Info: unilu.jpg used on input line 533.
1149(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1471(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1150 [67 1472 [67
1151 1473
1152] 1474]
1153File: unilu.jpg Graphic file (type jpg) 1475File: unilu.jpg Graphic file (type jpg)
1154<use unilu.jpg> 1476<use unilu.jpg>
1155Package pdftex.def Info: unilu.jpg used on input line 529. 1477Package pdftex.def Info: unilu.jpg used on input line 533.
1156(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1478(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1157 [68 1479 [68
1158 1480
1159] 1481]
1160File: unilu.jpg Graphic file (type jpg) 1482File: unilu.jpg Graphic file (type jpg)
1161<use unilu.jpg> 1483<use unilu.jpg>
1162Package pdftex.def Info: unilu.jpg used on input line 529. 1484Package pdftex.def Info: unilu.jpg used on input line 533.
1163(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1485(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1164 [69 1486 [69
1165 1487
1166] 1488]
1167File: unilu.jpg Graphic file (type jpg) 1489File: unilu.jpg Graphic file (type jpg)
1168<use unilu.jpg> 1490<use unilu.jpg>
1169Package pdftex.def Info: unilu.jpg used on input line 529. 1491Package pdftex.def Info: unilu.jpg used on input line 533.
1170(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1492(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1171 [70 1493 [70
1172 1494
1173] 1495]
1174File: unilu.jpg Graphic file (type jpg) 1496File: unilu.jpg Graphic file (type jpg)
1175<use unilu.jpg> 1497<use unilu.jpg>
1176Package pdftex.def Info: unilu.jpg used on input line 540. 1498Package pdftex.def Info: unilu.jpg used on input line 533.
1177(pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1499(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1178 [71 1500 [71
1179 1501
1180] 1502]
1503File: unilu.jpg Graphic file (type jpg)
1504<use unilu.jpg>
1505Package pdftex.def Info: unilu.jpg used on input line 544.
1506(pdftex.def) Requested size: 41.93689pt x 37.58171pt.
1507 [72
1508
1509]
1181\tf@nav=\write6 1510\tf@nav=\write6
1182\openout6 = `preplogic-slides.nav'. 1511\openout6 = `preplogic-slides.nav'.
1183 1512
@@ -1187,11 +1516,11 @@ Package pdftex.def Info: unilu.jpg used on input line 540.
1187\tf@snm=\write8 1516\tf@snm=\write8
1188\openout8 = `preplogic-slides.snm'. 1517\openout8 = `preplogic-slides.snm'.
1189 1518
1190Package atveryend Info: Empty hook `BeforeClearDocument' on input line 543. 1519Package atveryend Info: Empty hook `BeforeClearDocument' on input line 547.
1191Package atveryend Info: Empty hook `AfterLastShipout' on input line 543. 1520Package atveryend Info: Empty hook `AfterLastShipout' on input line 547.
1192 (./preplogic-slides.aux) 1521 (./preplogic-slides.aux)
1193Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 543. 1522Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 547.
1194Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 543. 1523Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 547.
1195Package rerunfilecheck Info: File `preplogic-slides.out' has not changed. 1524Package rerunfilecheck Info: File `preplogic-slides.out' has not changed.
1196(rerunfilecheck) Checksum: DEB4A29A1AFC0897B65A37CC63A87407;231. 1525(rerunfilecheck) Checksum: DEB4A29A1AFC0897B65A37CC63A87407;231.
1197 1526
@@ -1200,18 +1529,18 @@ LaTeX Font Warning: Some font shapes were not available, defaults substituted.
1200 1529
1201 ) 1530 )
1202Here is how much of TeX's memory you used: 1531Here is how much of TeX's memory you used:
1203 18146 strings out of 480478 1532 17726 strings out of 492982
1204 343117 string characters out of 5905927 1533 334249 string characters out of 6134896
1205 607433 words of memory out of 5000000 1534 413838 words of memory out of 5000000
1206 33570 multiletter control sequences out of 15000+600000 1535 20725 multiletter control sequences out of 15000+600000
1207 545011 words of font info for 70 fonts, out of 8000000 for 9000 1536 16889 words of font info for 61 fonts, out of 8000000 for 9000
1208 1141 hyphenation exceptions out of 8191 1537 1141 hyphenation exceptions out of 8191
1209 54i,20n,64p,800b,908s stack positions out of 5000i,500n,10000p,200000b,80000s 1538 56i,20n,64p,800b,894s stack positions out of 5000i,500n,10000p,200000b,80000s
1210</usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss12.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss17.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss8.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss9.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssbx10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi8.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi9.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy9.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb> 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>
1211Output written on preplogic-slides.pdf (71 pages, 364862 bytes). 1540Output written on preplogic-slides.pdf (72 pages, 364675 bytes).
1212PDF statistics: 1541PDF statistics:
1213 2027 PDF objects out of 2073 (max. 8388607) 1542 2055 PDF objects out of 2073 (max. 8388607)
1214 1904 compressed objects within 20 object streams 1543 1931 compressed objects within 20 object streams
1215 148 named destinations out of 1000 (max. 500000) 1544 150 named destinations out of 1000 (max. 500000)
1216 136 words of extra memory for PDF output out of 10000 (max. 10000000) 1545 136 words of extra memory for PDF output out of 10000 (max. 10000000)
1217 1546
diff --git a/slides/preplogic-slides.nav b/slides/preplogic-slides.nav
index 46ad078..bf76d2a 100644
--- a/slides/preplogic-slides.nav
+++ b/slides/preplogic-slides.nav
@@ -48,31 +48,31 @@
48\headcommand {\beamer@sectionpages {28}{39}} 48\headcommand {\beamer@sectionpages {28}{39}}
49\headcommand {\beamer@subsectionpages {28}{39}} 49\headcommand {\beamer@subsectionpages {28}{39}}
50\headcommand {\sectionentry {4}{Quantifiers}{40}{Quantifiers}{0}} 50\headcommand {\sectionentry {4}{Quantifiers}{40}{Quantifiers}{0}}
51\headcommand {\slideentry {4}{0}{1}{40/41}{}{0}} 51\headcommand {\slideentry {4}{0}{1}{40/42}{}{0}}
52\headcommand {\beamer@framepages {40}{41}} 52\headcommand {\beamer@framepages {40}{42}}
53\headcommand {\slideentry {4}{0}{2}{42/42}{}{0}} 53\headcommand {\slideentry {4}{0}{2}{43/43}{}{0}}
54\headcommand {\beamer@framepages {42}{42}} 54\headcommand {\beamer@framepages {43}{43}}
55\headcommand {\slideentry {4}{0}{3}{43/45}{}{0}} 55\headcommand {\slideentry {4}{0}{3}{44/46}{}{0}}
56\headcommand {\beamer@framepages {43}{45}} 56\headcommand {\beamer@framepages {44}{46}}
57\headcommand {\beamer@sectionpages {40}{45}} 57\headcommand {\beamer@sectionpages {40}{46}}
58\headcommand {\beamer@subsectionpages {40}{45}} 58\headcommand {\beamer@subsectionpages {40}{46}}
59\headcommand {\sectionentry {5}{Proofs}{46}{Proofs}{0}} 59\headcommand {\sectionentry {5}{Proofs}{47}{Proofs}{0}}
60\headcommand {\slideentry {5}{0}{1}{46/49}{}{0}} 60\headcommand {\slideentry {5}{0}{1}{47/50}{}{0}}
61\headcommand {\beamer@framepages {46}{49}} 61\headcommand {\beamer@framepages {47}{50}}
62\headcommand {\slideentry {5}{0}{2}{50/54}{}{0}} 62\headcommand {\slideentry {5}{0}{2}{51/55}{}{0}}
63\headcommand {\beamer@framepages {50}{54}} 63\headcommand {\beamer@framepages {51}{55}}
64\headcommand {\slideentry {5}{0}{3}{55/56}{}{0}} 64\headcommand {\slideentry {5}{0}{3}{56/57}{}{0}}
65\headcommand {\beamer@framepages {55}{56}} 65\headcommand {\beamer@framepages {56}{57}}
66\headcommand {\slideentry {5}{0}{4}{57/63}{}{0}} 66\headcommand {\slideentry {5}{0}{4}{58/64}{}{0}}
67\headcommand {\beamer@framepages {57}{63}} 67\headcommand {\beamer@framepages {58}{64}}
68\headcommand {\slideentry {5}{0}{5}{64/65}{}{0}} 68\headcommand {\slideentry {5}{0}{5}{65/66}{}{0}}
69\headcommand {\beamer@framepages {64}{65}} 69\headcommand {\beamer@framepages {65}{66}}
70\headcommand {\slideentry {5}{0}{6}{66/70}{}{0}} 70\headcommand {\slideentry {5}{0}{6}{67/71}{}{0}}
71\headcommand {\beamer@framepages {66}{70}} 71\headcommand {\beamer@framepages {67}{71}}
72\headcommand {\slideentry {5}{0}{7}{71/71}{}{0}} 72\headcommand {\slideentry {5}{0}{7}{72/72}{}{0}}
73\headcommand {\beamer@framepages {71}{71}} 73\headcommand {\beamer@framepages {72}{72}}
74\headcommand {\beamer@partpages {1}{71}} 74\headcommand {\beamer@partpages {1}{72}}
75\headcommand {\beamer@subsectionpages {46}{71}} 75\headcommand {\beamer@subsectionpages {47}{72}}
76\headcommand {\beamer@sectionpages {46}{71}} 76\headcommand {\beamer@sectionpages {47}{72}}
77\headcommand {\beamer@documentpages {71}} 77\headcommand {\beamer@documentpages {72}}
78\headcommand {\gdef \inserttotalframenumber {29}} 78\headcommand {\gdef \inserttotalframenumber {29}}
diff --git a/slides/preplogic-slides.pdf b/slides/preplogic-slides.pdf
index e9bc6b7..03e8821 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
index 7394213..1b16a6d 100644
--- a/slides/preplogic-slides.synctex.gz
+++ b/slides/preplogic-slides.synctex.gz
Binary files differ
diff --git a/slides/preplogic-slides.tex b/slides/preplogic-slides.tex
index dc68c1f..e0c4886 100644
--- a/slides/preplogic-slides.tex
+++ b/slides/preplogic-slides.tex
@@ -347,15 +347,19 @@ Mathematician: ``Yes.''
347 Let $S$ be a set and let $A(x)$ be a ``variable statement'' that depends on 347 Let $S$ be a set and let $A(x)$ be a ``variable statement'' that depends on
348 $x\in S$ (for example $S=\mathbb{N}$ and $A(x)=$``x is an even number''). 348 $x\in S$ (for example $S=\mathbb{N}$ and $A(x)=$``x is an even number'').
349 \pause 349 \pause
350 350 \vspace{12pt}
351 \begin{itemize} 351 \begin{itemize}
352 \item \textbf{Universal quantifier} ($\forall$ or ``for all''): 352 \item \textbf{Universal quantifier} ($\forall$ or ``for all''):
353 ``$\forall x\in S,\,A(x)$'' means that if we replace ``$x$'' with any 353 ``$\forall x\in S,\,A(x)$'' means that if we replace ``$x$'' with any
354 element of $S$, $A(x)$ is always \textbf{true}. 354 element of $S$, $A(x)$ is always \textbf{true}.
355 \vspace{9pt}
355 \item \textbf{Existential quantifier} ($\exists$ or ``there exists''): 356 \item \textbf{Existential quantifier} ($\exists$ or ``there exists''):
356 ``$\exists x\in S,\, A(x)$'' means that $A(x)$ is \textbf{true} for 357 ``$\exists x\in S,\, A(x)$'' means that $A(x)$ is \textbf{true} for
357 at least one value of $x$ is $S$. 358 at least one value of $x$ is $S$.
358 \end{itemize} 359 \end{itemize}
360 \vspace{12pt}
361 \pause
362 \textbf{You always need a set $S$}
359\end{frame} 363\end{frame}
360 364
361\begin{frame}{Quantifiers - examples} 365\begin{frame}{Quantifiers - examples}
@@ -467,8 +471,8 @@ Mathematician: ``Yes.''
467 \begin{enumerate} 471 \begin{enumerate}
468 \item Assume that there are only finitely many prime numbers. 472 \item Assume that there are only finitely many prime numbers.
469 \pause 473 \pause
470 \item So there are $n$ prime numbers, for some number $n$. 474 \item $\exists n\in \mathbb N$, there are $n$ prime numbers. Call them
471 Call them $p_1,p_2,\dots,p_n$. 475 $p_1,p_2,\dots,p_n$.
472 \pause 476 \pause
473 \item Let $u=p_1\times p_2\times \dots \times p_n +1$. 477 \item Let $u=p_1\times p_2\times \dots \times p_n +1$.
474 \pause 478 \pause
diff --git a/slides/preplogic-slides.toc b/slides/preplogic-slides.toc
index 80170ac..1dc8678 100644
--- a/slides/preplogic-slides.toc
+++ b/slides/preplogic-slides.toc
@@ -2,4 +2,4 @@
2\beamer@sectionintoc {2}{Logical operations}{11}{0}{2} 2\beamer@sectionintoc {2}{Logical operations}{11}{0}{2}
3\beamer@sectionintoc {3}{Implication}{28}{0}{3} 3\beamer@sectionintoc {3}{Implication}{28}{0}{3}
4\beamer@sectionintoc {4}{Quantifiers}{40}{0}{4} 4\beamer@sectionintoc {4}{Quantifiers}{40}{0}{4}
5\beamer@sectionintoc {5}{Proofs}{46}{0}{5} 5\beamer@sectionintoc {5}{Proofs}{47}{0}{5}

Generated with cgit - Back to sebastiano.tronto.net