Minor fixes

1 files changed, 211 insertions, 214 deletions

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 @@
 # Fdb version 3
-["pdflatex"] 1599412181 "preplogic-slides.tex" "preplogic-slides.pdf" "preplogic-slides" 1599412185
-  "/usr/share/texmf-dist/fonts/map/fontname/texfonts.map" 1594687104 3524 cb3e574dea2d1052e39280babc910dc8 ""
-  "/usr/share/texmf-dist/fonts/map/pdftex/updmap/pdftex.map" 1594687104 4851843 f8aac22e46e9a458223e5c13b1e20998 ""
-  "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm" 1594687104 1004 54797486969f23fa377b128694d548df ""
-  "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex8.tfm" 1594687104 988 bdf658c3bfc2d96d3c8b02cfc1c94c20 ""
-  "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex9.tfm" 1594687104 996 a18840b13b499c08ac2de96a99eda4bc ""
-  "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm" 1594687104 916 f87d7c45f9c908e672703b83b72241a3 ""
-  "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm" 1594687104 924 9904cf1d39e9767e7a3622f2a125a565 ""
-  "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm" 1594687104 928 2dc8d444221b7a635bb58038579b861a ""
-  "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm" 1594687104 908 2921f8a10601f252058503cc6570e581 ""
-  "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm" 1594687104 940 75ac932a52f80982a9f8ea75d03a34cf ""
-  "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm" 1594687104 940 228d6584342e91276bf566bcf9716b83 ""
-  "/usr/share/texmf-dist/fonts/tfm/public/cm/cmex10.tfm" 1594687104 992 662f679a0b3d2d53c1b94050fdaa3f50 ""
-  "/usr/share/texmf-dist/fonts/tfm/public/cm/cmmi10.tfm" 1594687104 1528 abec98dbc43e172678c11b3b9031252a ""
-  "/usr/share/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm" 1594687104 1512 f21f83efb36853c0b70002322c1ab3ad ""
-  "/usr/share/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm" 1594687104 1520 eccf95517727cb11801f4f1aee3a21b4 ""
-  "/usr/share/texmf-dist/fonts/tfm/public/cm/cmmi9.tfm" 1594687104 1524 d89e2d087a9828407a196f428428ef4a ""
-  "/usr/share/texmf-dist/fonts/tfm/public/cm/cmr10.tfm" 1594687104 1296 45809c5a464d5f32c8f98ba97c1bb47f ""
-  "/usr/share/texmf-dist/fonts/tfm/public/cm/cmss10.tfm" 1594687104 1316 b636689f1933f24d1294acdf6041daaa ""
-  "/usr/share/texmf-dist/fonts/tfm/public/cm/cmss12.tfm" 1594687104 1324 37b971caf729d7edd9cbb9f9b0ea76eb ""
-  "/usr/share/texmf-dist/fonts/tfm/public/cm/cmss17.tfm" 1594687104 1320 ed93d62c5f2c16343826001f03341dbc ""
-  "/usr/share/texmf-dist/fonts/tfm/public/cm/cmss8.tfm" 1594687104 1296 d77f431d10d47c8ea2cc18cf45346274 ""
-  "/usr/share/texmf-dist/fonts/tfm/public/cm/cmss9.tfm" 1594687104 1320 49357c421c0d469f88b867dd0c3d10e8 ""
-  "/usr/share/texmf-dist/fonts/tfm/public/cm/cmssbx10.tfm" 1594687104 1272 e2d13f0df30bf3ad990bb9d028e37f34 ""
-  "/usr/share/texmf-dist/fonts/tfm/public/cm/cmssi10.tfm" 1594687104 1520 ca2bb4b78ac9800bd686e30c6d19ef95 ""
-  "/usr/share/texmf-dist/fonts/tfm/public/cm/cmssi8.tfm" 1594687104 1500 7f49257eca65a87057f17452e9fe3ef5 ""
-  "/usr/share/texmf-dist/fonts/tfm/public/cm/cmssi9.tfm" 1594687104 1524 db4bb1dddb7b51420776d94a5c70c2a5 ""
-  "/usr/share/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm" 1594687104 1124 6c73e740cf17375f03eec0ee63599741 ""
-  "/usr/share/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm" 1594687104 1116 933a60c408fc0a863a92debe84b2d294 ""
-  "/usr/share/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm" 1594687104 1120 8b7d695260f3cff42e636090a8002094 ""
-  "/usr/share/texmf-dist/fonts/tfm/public/cm/cmsy9.tfm" 1594687104 1116 25a7bf822c58caf309a702ef79f4afbb ""
-  "/usr/share/texmf-dist/fonts/tfm/public/cm/cmtt10.tfm" 1594687104 768 1321e9409b4137d6fb428ac9dc956269 ""
-  "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb" 1594687104 36299 5f9df58c2139e7edcf37c8fca4bd384d ""
-  "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss10.pfb" 1594687104 24457 5cbb7bdf209d5d1ce9892a9b80a307cc ""
-  "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss12.pfb" 1594687104 24393 3b7eb51a67a0a62aec5849271bdb9c2e ""
-  "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss17.pfb" 1594687104 24416 36515493f76659302880e2604105b074 ""
-  "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss8.pfb" 1594687104 24420 52dbb8e8aa0069a1b987309557f8d303 ""
-  "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss9.pfb" 1594687104 24373 a91d375736817a75026663adcb2190c1 ""
-  "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssbx10.pfb" 1594687104 28902 2f5c04fd2884d1878057baa5aad22765 ""
-  "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi10.pfb" 1594687104 25150 e0d09798d232ab9d00c5c0a8df6cc22d ""
-  "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi8.pfb" 1594687104 25168 33771b85f45c82138dd7745db7092d1c ""
-  "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi9.pfb" 1594687104 25029 6f2cec9646ca278302ed7d604e506e3e ""
-  "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb" 1594687104 32569 5e5ddc8df908dea60932f3c484a54c0d ""
-  "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy9.pfb" 1594687104 32442 c975af247b6702f7ca0c299af3616b80 ""
-  "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.pfb" 1594687104 31099 c85edf1dd5b9e826d67c9c7293b6786c ""
-  "/usr/share/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb" 1594687104 34694 ad62b13721ee8eda1dcc8993c8bd7041 ""
-  "/usr/share/texmf-dist/tex/context/base/mkii/supp-pdf.mkii" 1594687104 71627 94eb9990bed73c364d7f53f960cc8c5b ""
-  "/usr/share/texmf-dist/tex/generic/atbegshi/atbegshi.sty" 1594687104 24708 5584a51a7101caf7e6bbf1fc27d8f7b1 ""
-  "/usr/share/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty" 1594687104 40635 c40361e206be584d448876bba8a64a3b ""
-  "/usr/share/texmf-dist/tex/generic/bitset/bitset.sty" 1594687104 33961 6b5c75130e435b2bfdb9f480a09a39f9 ""
-  "/usr/share/texmf-dist/tex/generic/etexcmds/etexcmds.sty" 1594687104 7734 b98cbb34c81f667027c1e3ebdbfce34b ""
-  "/usr/share/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty" 1594687104 8371 9d55b8bd010bc717624922fb3477d92e ""
-  "/usr/share/texmf-dist/tex/generic/iftex/ifpdf.sty" 1594687104 480 5778104efadad304ced77548ca2184b1 ""
-  "/usr/share/texmf-dist/tex/generic/iftex/iftex.sty" 1594687104 6501 4011d89d9621e0b0901138815ba5ff29 ""
-  "/usr/share/texmf-dist/tex/generic/iftex/ifvtex.sty" 1594687104 1057 525c2192b5febbd8c1f662c9468335bb ""
-  "/usr/share/texmf-dist/tex/generic/infwarerr/infwarerr.sty" 1594687104 8356 7bbb2c2373aa810be568c29e333da8ed ""
-  "/usr/share/texmf-dist/tex/generic/intcalc/intcalc.sty" 1594687104 31769 002a487f55041f8e805cfbf6385ffd97 ""
-  "/usr/share/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty" 1594687104 5412 d5a2436094cd7be85769db90f29250a6 ""
-  "/usr/share/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty" 1594687104 13807 952b0226d4efca026f0e19dd266dcc22 ""
-  "/usr/share/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty" 1594687104 18552 1e1cc7b75da0dfaacce7cdcb27d306bf ""
-  "/usr/share/texmf-dist/tex/generic/pdfescape/pdfescape.sty" 1594687104 19007 15924f7228aca6c6d184b115f4baa231 ""
-  "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex" 1594687104 992 fb3cda354707a54fda62787a411c7c22 ""
-  "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex" 1594687104 43820 bc6cf5aa959817914ace33f5c6232161 ""
-  "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex" 1594687104 19324 c9a64402f22bd8d81821141a357af653 ""
-  "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex" 1594687104 6038 d639d02574be9a72f3c602c2a3510e02 ""
-  "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex" 1594687104 6948 284bbe3c9a7ca0a826c1c03895e69b9f ""
-  "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex" 1594687104 4883 a6f3eb1f71d8c4affaf43a169828b043 ""
-  "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex" 1594687104 2544 3b1b198fd49f01e328adc9162a07b213 ""
-  "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.tex" 1594687104 44189 1fd6229dad4c898883516c032f2ca5d2 ""
-  "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code.tex" 1594687104 17311 3092579be20ef0f229c42ad3f09da85c ""
-  "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex" 1594687104 21302 d6c4b340248adbe650ebf6ca76bdccca ""
-  "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex" 1594687104 9690 7585efa5a591822837f837bc5bc35621 ""
-  "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex" 1594687104 33335 942ccafe284041918d36e54696b98aa7 ""
-  "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex" 1594687104 2965 502761b60f43ab2de5ecb2f4625163ae ""
-  "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorerdf.code.tex" 1594687104 5196 f8c5c775d4d6e2cb050392127cabda72 ""
-  "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex" 1594687104 20726 ed6ec1d6f0f35e7a93de4e79af83dbce ""
-  "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex" 1594687104 35249 144a6b9c4df4644618bb3a0a40472608 ""
-  "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations.code.tex" 1594687104 21989 266e83c51fe41eb8b8d5e6896dc71cc1 ""
-  "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.code.tex" 1594687104 8842 5cc856e132fac404805c6da091779283 ""
-  "/usr/share/texmf-dist/tex/generic/pgf/math/pgfint.code.tex" 1594687104 3063 8c415c68a0f3394e45cfeca0b65f6ee6 ""
-  "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex" 1594687104 521 c70cf6ad609de83a27ee7929eb356332 ""
-  "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex" 1594687104 13391 933cab19c6d27039dbfc487330d1005a ""
-  "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex" 1594687104 104938 15f2d8bdabd6bf9ca70f62cd8e3d4940 ""
-  "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.tex" 1594687104 10157 218d58ab074e5bd0d027de45ec64cc00 ""
-  "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code.tex" 1594687104 28176 568b081ec39645f2db1a29fbd0c635e2 ""
-  "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex" 1594687104 9054 388d21239a1b6df2cc8beaae31c976b0 ""
-  "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison.code.tex" 1594687104 3865 cddf7ddc80f018587c55afdcc79fc333 ""
-  "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerarithmetics.code.tex" 1594687104 3177 27d85c44fbfe09ff3b2cf2879e3ea434 ""
-  "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex" 1594687104 10925 df50b8a6e5660a585e3a2bf55726dcc8 ""
-  "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code.tex" 1594687104 7787 1750fc3f164703caf31fc8ea9218c67e ""
-  "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code.tex" 1594687104 3379 cbd0948a550bd7a495a160ca6beee9ed ""
-  "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonometric.code.tex" 1594687104 92405 bba89470858d7b0788a9c09331c39653 ""
-  "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex" 1594687104 36526 453db1f8626a56b5ebb0fad496d6a39f ""
-  "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex" 1594687104 8471 b18959397c76e1e582402ab9f592ed9f ""
-  "/usr/share/texmf-dist/tex/generic/pgf/pgf.revision.tex" 1594687104 465 1f401ab1e7fc6cb7ede39e96c66531fd ""
-  "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg" 1594687104 926 70ff613fabeb70f5d1673dc0c93987bd ""
-  "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def" 1594687104 5546 3586827e6032c95512b2a6682d2979a3 ""
-  "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def" 1594687104 12603 c02869ea216d842c29d52fae8738264e ""
-  "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex" 1594687104 60269 e86bc0081af83a4ad47e4500ee09a2e4 ""
-  "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex" 1594687104 1896 82c274ff520f9e450ccea4e3ef4edc12 ""
-  "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex" 1594687104 7778 a25a32a10ca820357491d4c7b3ac02ea ""
-  "/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex" 1594687104 36815 f7f1772c398f07af2cb741992963045c ""
-  "/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.tex" 1594687104 37439 bd44d50aef702b03193f731207931834 ""
-  "/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex" 1594687104 4494 7e5ace0ccf59408f2cf63219a5d36927 ""
-  "/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-common-lists.tex" 1594687104 7250 03b2b9fb5fa38e7ca5cc3c45860fb210 ""
-  "/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex" 1594687104 28309 488ccc6c701bbdd1bf671f708757aa5c ""
-  "/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def" 1594687104 6286 1bd76fc45da9929ab2a64f51cba3ab6f ""
-  "/usr/share/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty" 1594687104 7008 f92eaa0a3872ed622bbf538217cd2ab7 ""
-  "/usr/share/texmf-dist/tex/latex/amscls/amsthm.sty" 1594687104 12594 0d51ac3a545aaaa555021326ff22a6cc ""
-  "/usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty" 1594687104 5949 3f3fd50a8cc94c3d4cbf4fc66cd3df1c ""
-  "/usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty" 1594687104 13829 94730e64147574077f8ecfea9bb69af4 ""
-  "/usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd" 1594687104 961 6518c6525a34feb5e8250ffa91731cff ""
-  "/usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd" 1594687104 961 d02606146ba5601b5645f987c92e6193 ""
-  "/usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty" 1594687104 2211 ca7ce284ab93c8eecdc6029dc5ccbd73 ""
-  "/usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty" 1594687104 4161 7f6eb9092061a11f87d08ed13515b48d ""
-  "/usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty" 1594687104 85660 baee036978c7a91f4e2bba43f05e5945 ""
-  "/usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty" 1594687104 4116 32e6abd27229755a83a8b7f18e583890 ""
-  "/usr/share/texmf-dist/tex/latex/amsmath/amstext.sty" 1594687104 2432 8ff93b1137020e8f21930562a874ae66 ""
-  "/usr/share/texmf-dist/tex/latex/atveryend/atveryend.sty" 1594687104 19336 ce7ae9438967282886b3b036cfad1e4d ""
-  "/usr/share/texmf-dist/tex/latex/auxhook/auxhook.sty" 1594687104 3935 57aa3c3e203a5c2effb4d2bd2efbc323 ""
-  "/usr/share/texmf-dist/tex/latex/base/inputenc.sty" 1594687104 5050 8933a39ad74377accd18991c5eb90c58 ""
-  "/usr/share/texmf-dist/tex/latex/base/size11.clo" 1594687104 8462 61fdf79debfc3dc4dab35ec6cf83fbf7 ""
-  "/usr/share/texmf-dist/tex/latex/beamer/beamer.cls" 1594687104 11573 fb10f3ba07076d9c06c3409feda5d88d ""
-  "/usr/share/texmf-dist/tex/latex/beamer/beamerbaseauxtemplates.sty" 1594687104 22666 933c376468a06913d7754fc13742473c ""
-  "/usr/share/texmf-dist/tex/latex/beamer/beamerbaseboxes.sty" 1594687104 8073 df5c1784673e960a504a7c1960c767d3 ""
-  "/usr/share/texmf-dist/tex/latex/beamer/beamerbasecolor.sty" 1594687104 12833 4a3018ddd737615ef54cab73b480dcce ""
-  "/usr/share/texmf-dist/tex/latex/beamer/beamerbasecompatibility.sty" 1594687104 24482 5f58e11864478c308dcf8c18243dcb94 ""
-  "/usr/share/texmf-dist/tex/latex/beamer/beamerbasedecode.sty" 1594687104 9407 98317d4428bbbc4430035c0c0e3898d5 ""
-  "/usr/share/texmf-dist/tex/latex/beamer/beamerbasefont.sty" 1594687104 13569 d8a4a4071b0e63f9a4cf8ae3c68b7e7e ""
-  "/usr/share/texmf-dist/tex/latex/beamer/beamerbaseframe.sty" 1594687104 25162 9e33f2887dc316e20c319466b078d6eb ""
-  "/usr/share/texmf-dist/tex/latex/beamer/beamerbaseframecomponents.sty" 1594687104 11898 264f0ae03dbfa791611c1821393bc0b9 ""
-  "/usr/share/texmf-dist/tex/latex/beamer/beamerbaseframesize.sty" 1594687104 8800 544bcf1a583ad768d77d8b1d8f18a993 ""
-  "/usr/share/texmf-dist/tex/latex/beamer/beamerbaselocalstructure.sty" 1594687104 17583 c291beca2f4344c6e18bd65c861fab16 ""
-  "/usr/share/texmf-dist/tex/latex/beamer/beamerbasemisc.sty" 1594687104 8313 358d4bb860bd9098eb24099f36b27af1 ""
-  "/usr/share/texmf-dist/tex/latex/beamer/beamerbasemodes.sty" 1594687104 7493 bfb4c812c60867c1a9060a306fdd3434 ""
-  "/usr/share/texmf-dist/tex/latex/beamer/beamerbasenavigation.sty" 1594687104 29020 6cae2187b2d2bc4f39b6bb5bddbcf031 ""
-  "/usr/share/texmf-dist/tex/latex/beamer/beamerbasenotes.sty" 1594687104 5395 48b89c204d17ea05ff3963866b346ef1 ""
-  "/usr/share/texmf-dist/tex/latex/beamer/beamerbaseoptions.sty" 1594687104 1753 c10ec1df45e4b4c7ee05e306d23f95d7 ""
-  "/usr/share/texmf-dist/tex/latex/beamer/beamerbaseoverlay.sty" 1594687104 27356 1d0de4282709577ad8e0af82d9f86547 ""
-  "/usr/share/texmf-dist/tex/latex/beamer/beamerbaserequires.sty" 1594687104 1593 48c3729494fa250d34789fd6af677f99 ""
-  "/usr/share/texmf-dist/tex/latex/beamer/beamerbasesection.sty" 1594687104 13463 17ce9c69ca9d65b18f2625010a24b63a ""
-  "/usr/share/texmf-dist/tex/latex/beamer/beamerbasetemplates.sty" 1594687104 5753 fbf8c2f7c7d6d5d1d2b900c353f094e8 ""
-  "/usr/share/texmf-dist/tex/latex/beamer/beamerbasethemes.sty" 1594687104 1140 cdaff8d445bd2a4e7afdec5190a758c0 ""
-  "/usr/share/texmf-dist/tex/latex/beamer/beamerbasetheorems.sty" 1594687104 4548 cdde9ae4b614ce5ea4cf7a232ceeb6a8 ""
-  "/usr/share/texmf-dist/tex/latex/beamer/beamerbasetitle.sty" 1594687104 5356 d32dea458460fce4541d4f9aa765b876 ""
-  "/usr/share/texmf-dist/tex/latex/beamer/beamerbasetoc.sty" 1594687104 7540 49f6c8ecb1955d667d1620733f995fe0 ""
-  "/usr/share/texmf-dist/tex/latex/beamer/beamerbasetranslator.sty" 1594687104 637 685bd3d40aca2fa87965a39bc31aca7f ""
-  "/usr/share/texmf-dist/tex/latex/beamer/beamerbasetwoscreens.sty" 1594687104 1408 93bead6e76a275002dbb9a319dc984d0 ""
-  "/usr/share/texmf-dist/tex/latex/beamer/beamerbaseverbatim.sty" 1594687104 4026 1ba2c6a2acf275d63cb85d60d8597fe8 ""
-  "/usr/share/texmf-dist/tex/latex/beamer/beamercolorthemedefault.sty" 1594687104 7089 c34bc77851d46db7348b94bd5e51168a ""
-  "/usr/share/texmf-dist/tex/latex/beamer/beamercolorthemeorchid.sty" 1594687104 835 ac57517533d993c08f21ee9ac10445d7 ""
-  "/usr/share/texmf-dist/tex/latex/beamer/beamercolorthemewhale.sty" 1594687104 1013 bbd3a76e797308a780fd7196c973ec2e ""
-  "/usr/share/texmf-dist/tex/latex/beamer/beamerfontthemedefault.sty" 1594687104 4236 21e590075d6781cc58fee783316ee268 ""
-  "/usr/share/texmf-dist/tex/latex/beamer/beamericonarticle.20.pdf" 1594687104 2958 4e0c4a6e994e5c4d9da11c477e927f0f ""
-  "/usr/share/texmf-dist/tex/latex/beamer/beamericonarticle.pdf" 1594687104 2936 6cc3ef0682cbb62be8aa1b19f0a84ed6 ""
-  "/usr/share/texmf-dist/tex/latex/beamer/beamericonbook.20.pdf" 1594687104 2734 0bcf939051dd2a936cdfe5982f7c233b ""
-  "/usr/share/texmf-dist/tex/latex/beamer/beamericonbook.pdf" 1594687104 2667 7624351b441ffe4bd2d14e08fbcf063d ""
-  "/usr/share/texmf-dist/tex/latex/beamer/beamericononline.20.pdf" 1594687104 24451 195d2c060e84f339954bc6d9b52131d7 ""
-  "/usr/share/texmf-dist/tex/latex/beamer/beamericononline.pdf" 1594687104 24611 df07010540266b2b205b492a4d02e7e1 ""
-  "/usr/share/texmf-dist/tex/latex/beamer/beamerinnerthemedefault.sty" 1594687104 13031 a33a15e4b12bfa976c11f59131636ea9 ""
-  "/usr/share/texmf-dist/tex/latex/beamer/beamerinnerthemerounded.sty" 1594687104 1012 55816d41ed72706aad1be90f5f2e88c2 ""
-  "/usr/share/texmf-dist/tex/latex/beamer/beamerouterthemedefault.sty" 1594687104 6630 9731ba35f4c7921e311abc957adf446b ""
-  "/usr/share/texmf-dist/tex/latex/beamer/beamerouterthemeinfolines.sty" 1594687104 2144 e0cf5aa9e45511f2752045d0ae67bb3b ""
-  "/usr/share/texmf-dist/tex/latex/beamer/beamerthemeMadrid.sty" 1594687104 557 e5b73eb0fcb3152cb7e2db7637b10743 ""
-  "/usr/share/texmf-dist/tex/latex/beamer/beamerthemedefault.sty" 1594687104 355 75c98e7b8f427eb7c625ed391b140c5b ""
-  "/usr/share/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty" 1594687104 13886 d1306dcf79a944f6988e688c1785f9ce ""
-  "/usr/share/texmf-dist/tex/latex/etoolbox/etoolbox.sty" 1594687104 45259 743c52a37a6e5ed83cfe0e128b2da10d ""
-  "/usr/share/texmf-dist/tex/latex/geometry/geometry.sty" 1594687104 41601 9cf6c5257b1bc7af01a58859749dd37a ""
-  "/usr/share/texmf-dist/tex/latex/graphics-cfg/color.cfg" 1594687104 1213 620bba36b25224fa9b7e1ccb4ecb76fd ""
-  "/usr/share/texmf-dist/tex/latex/graphics-cfg/graphics.cfg" 1594687104 1224 978390e9c2234eab29404bc21b268d1e ""
-  "/usr/share/texmf-dist/tex/latex/graphics-def/pdftex.def" 1594687104 17448 c8e20d5f7e69b0cbecf82ab29daeebd9 ""
-  "/usr/share/texmf-dist/tex/latex/graphics/graphics.sty" 1594687104 16932 04729abe63b66ec59ea56edcd722b058 ""
-  "/usr/share/texmf-dist/tex/latex/graphics/graphicx.sty" 1594687104 9067 1b996612394a52e1efe89c8bfe8a5892 ""
-  "/usr/share/texmf-dist/tex/latex/graphics/keyval.sty" 1594687104 2590 e3b24ff953e5b58d924f163d25380312 ""
-  "/usr/share/texmf-dist/tex/latex/graphics/trig.sty" 1594687104 3976 d7fa7d81d2870d509d25b17d0245e735 ""
-  "/usr/share/texmf-dist/tex/latex/hycolor/hycolor.sty" 1594687104 17914 4c28a13fc3d975e6e81c9bea1d697276 ""
-  "/usr/share/texmf-dist/tex/latex/hyperref/hpdftex.def" 1594687104 50570 2e81797743231d9037b0cbe3436d74ba ""
-  "/usr/share/texmf-dist/tex/latex/hyperref/hyperref.sty" 1594687104 236775 8ab18a05f69e6caef423fa59cb0af03b ""
-  "/usr/share/texmf-dist/tex/latex/hyperref/nameref.sty" 1594687104 13244 0070bcab7b5a88187847128d22faf4d8 ""
-  "/usr/share/texmf-dist/tex/latex/hyperref/pd1enc.def" 1594687104 14134 c11767c54bd7ecab56984ee4e4e3158c ""
-  "/usr/share/texmf-dist/tex/latex/kvoptions/kvoptions.sty" 1594687104 22520 c4c2dab203104295e1e618be7e5c0f5b ""
-  "/usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdfmode.def" 1594687104 25742 5de23a2d2bc67a3139433e702e64a437 ""
-  "/usr/share/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg" 1594687104 678 4792914a8f45be57bb98413425e4c7af ""
-  "/usr/share/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty" 1594687104 5766 13a9e8766c47f30327caf893ece86ac8 ""
-  "/usr/share/texmf-dist/tex/latex/ms/everyshi.sty" 1594687104 3878 6aa7c08ff2621006e0603349e40a30a8 ""
-  "/usr/share/texmf-dist/tex/latex/pdftexcmds/pdftexcmds.sty" 1594687104 19989 e08c4750d96640367c4b141017eda013 ""
-  "/usr/share/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty" 1594687104 410 5bf12ea7330e5f12c445332a4fe9a263 ""
-  "/usr/share/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty" 1594687104 443 0b2e781830192df35c0fd357cf13e26e ""
-  "/usr/share/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty" 1594687104 325 2bcd023400636339210573e2b3ee298b ""
-  "/usr/share/texmf-dist/tex/latex/pgf/utilities/xxcolor.sty" 1594687104 2232 039fa82ec2c2edd871c3a2d85e9cb2f7 ""
-  "/usr/share/texmf-dist/tex/latex/refcount/refcount.sty" 1594687104 9878 9e94e8fa600d95f9c7731bb21dfb67a4 ""
-  "/usr/share/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty" 1594687104 9715 b051d5b493d9fe5f4bc251462d039e5f ""
-  "/usr/share/texmf-dist/tex/latex/setspace/setspace.sty" 1594687104 22913 a27d7908fc6f0385466454a966a316eb ""
-  "/usr/share/texmf-dist/tex/latex/tools/enumerate.sty" 1594687104 3469 19b6cb25f21abe53fb90b9fe27615441 ""
-  "/usr/share/texmf-dist/tex/latex/translator/translator-basic-dictionary-English.dict" 1594687104 3435 0a4d096dde3f8fe682c2aedd33b8137d ""
-  "/usr/share/texmf-dist/tex/latex/translator/translator-bibliography-dictionary-English.dict" 1594687104 903 c6d17f0656e9e1abb172b4faebabd617 ""
-  "/usr/share/texmf-dist/tex/latex/translator/translator-environment-dictionary-English.dict" 1594687104 433 bfb8d1c2c020defd2de8e5c276710094 ""
-  "/usr/share/texmf-dist/tex/latex/translator/translator-months-dictionary-English.dict" 1594687104 1337 9a6c05e8f0c8b3c5f27cbd0e455cf475 ""
-  "/usr/share/texmf-dist/tex/latex/translator/translator-numbers-dictionary-English.dict" 1594687104 1638 2bf1a1dea98f8a4d28033fce76e9cc67 ""
-  "/usr/share/texmf-dist/tex/latex/translator/translator-theorem-dictionary-English.dict" 1594687104 3523 1f9d9b91f7d78b73e74c7e97bca30fb0 ""
-  "/usr/share/texmf-dist/tex/latex/translator/translator.sty" 1594687104 8691 e154b4b39c7cd1cfa9301a391c44afdd ""
-  "/usr/share/texmf-dist/tex/latex/url/url.sty" 1594687104 12796 8edb7d69a20b857904dd0ea757c14ec9 ""
-  "/usr/share/texmf-dist/tex/latex/xcolor/xcolor.sty" 1594687104 55589 34128738f682d033422ca125f82e5d62 ""
-  "/usr/share/texmf-dist/web2c/texmf.cnf" 1597672114 39446 755423e82e7afb756f49b242a15f4ec2 ""
-  "/usr/share/texmf-var/web2c/pdftex/pdflatex.fmt" 1598712773 2434818 64d78922a5d2a9baf6bf1beec95a9374 ""
-  "preplogic-slides.aux" 1599412185 6068 0cd160fad86cda8453c8a27f21ba7a8b "pdflatex"
-  "preplogic-slides.nav" 1599412185 3672 0800028632c9a7b0abd7c91d24b51be9 "pdflatex"
-  "preplogic-slides.out" 1599412185 231 deb4a29a1afc0897b65a37cc63a87407 "pdflatex"
-  "preplogic-slides.tex" 1599412180 14004 9f55841449bbd22b45df126f77402832 ""
-  "preplogic-slides.toc" 1599412185 240 128cdf304ee282775db2a41da35e3a3e "pdflatex"
+["pdflatex"] 1599547213 "preplogic-slides.tex" "preplogic-slides.pdf" "preplogic-slides" 1599547216
+  "/etc/texmf/web2c/texmf.cnf" 1538037709 475 c0e671620eb5563b2130f56340a5fde8 ""
+  "/usr/share/texlive/texmf-dist/fonts/map/fontname/texfonts.map" 1511824771 3332 103109f5612ad95229751940c61aada0 ""
+  "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm" 1480098698 1004 54797486969f23fa377b128694d548df ""
+  "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex8.tfm" 1480098698 988 bdf658c3bfc2d96d3c8b02cfc1c94c20 ""
+  "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex9.tfm" 1480098698 996 a18840b13b499c08ac2de96a99eda4bc ""
+  "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm" 1480098698 916 f87d7c45f9c908e672703b83b72241a3 ""
+  "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm" 1480098698 924 9904cf1d39e9767e7a3622f2a125a565 ""
+  "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm" 1480098698 928 2dc8d444221b7a635bb58038579b861a ""
+  "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm" 1480098698 908 2921f8a10601f252058503cc6570e581 ""
+  "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm" 1480098698 940 75ac932a52f80982a9f8ea75d03a34cf ""
+  "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm" 1480098698 940 228d6584342e91276bf566bcf9716b83 ""
+  "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmex10.tfm" 1480098701 992 662f679a0b3d2d53c1b94050fdaa3f50 ""
+  "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi10.tfm" 1480098701 1528 abec98dbc43e172678c11b3b9031252a ""
+  "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm" 1480098701 1512 f21f83efb36853c0b70002322c1ab3ad ""
+  "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm" 1480098701 1520 eccf95517727cb11801f4f1aee3a21b4 ""
+  "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi9.tfm" 1480098701 1524 d89e2d087a9828407a196f428428ef4a ""
+  "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr10.tfm" 1480098701 1296 45809c5a464d5f32c8f98ba97c1bb47f ""
+  "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss10.tfm" 1480098701 1316 b636689f1933f24d1294acdf6041daaa ""
+  "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss12.tfm" 1480098701 1324 37b971caf729d7edd9cbb9f9b0ea76eb ""
+  "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss17.tfm" 1480098701 1320 ed93d62c5f2c16343826001f03341dbc ""
+  "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss8.tfm" 1480098701 1296 d77f431d10d47c8ea2cc18cf45346274 ""
+  "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss9.tfm" 1480098701 1320 49357c421c0d469f88b867dd0c3d10e8 ""
+  "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmssbx10.tfm" 1480098701 1272 e2d13f0df30bf3ad990bb9d028e37f34 ""
+  "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmssi10.tfm" 1480098701 1520 ca2bb4b78ac9800bd686e30c6d19ef95 ""
+  "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm" 1480098701 1124 6c73e740cf17375f03eec0ee63599741 ""
+  "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm" 1480098701 1116 933a60c408fc0a863a92debe84b2d294 ""
+  "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm" 1480098701 1120 8b7d695260f3cff42e636090a8002094 ""
+  "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy9.tfm" 1480098701 1116 25a7bf822c58caf309a702ef79f4afbb ""
+  "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmtt10.tfm" 1480098701 768 1321e9409b4137d6fb428ac9dc956269 ""
+  "/usr/share/texlive/texmf-dist/fonts/tfm/public/sansmathaccent/mathkerncmssi10.tfm" 1480098717 1696 aaa5bbd1f47f001247d42218ce371101 ""
+  "/usr/share/texlive/texmf-dist/fonts/tfm/public/sansmathaccent/mathkerncmssi8.tfm" 1480098717 1676 fb6c6a335484692abff897d6e8965829 ""
+  "/usr/share/texlive/texmf-dist/fonts/tfm/public/sansmathaccent/mathkerncmssi9.tfm" 1480098717 1700 6cce8f71de5b3d676f417bc2a77d1db2 ""
+  "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb" 1480098733 36299 5f9df58c2139e7edcf37c8fca4bd384d ""
+  "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmss10.pfb" 1480098733 24457 5cbb7bdf209d5d1ce9892a9b80a307cc ""
+  "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmss12.pfb" 1480098733 24393 3b7eb51a67a0a62aec5849271bdb9c2e ""
+  "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmss17.pfb" 1480098733 24416 36515493f76659302880e2604105b074 ""
+  "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmss8.pfb" 1480098733 24420 52dbb8e8aa0069a1b987309557f8d303 ""
+  "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmss9.pfb" 1480098733 24373 a91d375736817a75026663adcb2190c1 ""
+  "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmssbx10.pfb" 1480098733 28902 2f5c04fd2884d1878057baa5aad22765 ""
+  "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi10.pfb" 1480098733 25150 e0d09798d232ab9d00c5c0a8df6cc22d ""
+  "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi8.pfb" 1480098733 25168 33771b85f45c82138dd7745db7092d1c ""
+  "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi9.pfb" 1480098733 25029 6f2cec9646ca278302ed7d604e506e3e ""
+  "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb" 1480098733 32569 5e5ddc8df908dea60932f3c484a54c0d ""
+  "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy9.pfb" 1480098733 32442 c975af247b6702f7ca0c299af3616b80 ""
+  "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.pfb" 1480098733 31099 c85edf1dd5b9e826d67c9c7293b6786c ""
+  "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb" 1480098734 34694 ad62b13721ee8eda1dcc8993c8bd7041 ""
+  "/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii" 1480098806 71627 94eb9990bed73c364d7f53f960cc8c5b ""
+  "/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty" 1480098815 1458 43ab4710dc82f3edeabecd0d099626b2 ""
+  "/usr/share/texlive/texmf-dist/tex/generic/oberdiek/atbegshi.sty" 1480098815 24580 144573175d90c8e36676f97ae1d11ec2 ""
+  "/usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty" 1480098815 8237 3b62ef1f7e2c23a328c814b3893bc11f ""
+  "/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty" 1517006633 185082 6c11d4e30ed78e2a12957b7e77030856 ""
+  "/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty" 1480098815 70864 bcd5b216757bd619ae692a151d90085d ""
+  "/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifpdf.sty" 1490564930 1251 d170e11a3246c3392bc7f59595af42cb ""
+  "/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifvtex.sty" 1480098815 6797 90b7f83b0ad46826bc16058b1e3d48df ""
+  "/usr/share/texlive/texmf-dist/tex/generic/oberdiek/infwarerr.sty" 1480098815 8253 473e0e41f9adadb1977e8631b8f72ea6 ""
+  "/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ltxcmds.sty" 1480098815 18425 5b3c0c59d76fac78978b5558e83c1f36 ""
+  "/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex" 1480098816 1006 b103be0bfc8c1682ff1fa9760697a329 ""
+  "/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex" 1480098816 43226 167a99346bfe2676e3efcdde2d81fe45 ""
+  "/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex" 1480098816 19302 4f089dc590e71f7331e6d5b5ea85273b ""
+  "/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex" 1480098816 6068 edae1e768a7d8d8f0f00e953d2b0153e ""
+  "/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex" 1480098816 7041 a891ad72049e17c4e366c40ca37b0ccb ""
+  "/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex" 1480098816 4625 40c07e9f6f2f7c674704b3f2055560ce ""
+  "/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex" 1480098816 2631 7eefa6cdbefd8d4e2bad7262cf1094cd ""
+  "/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.tex" 1480098816 43477 81143b33d9ebafdeead07ede13372427 ""
+  "/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code.tex" 1480098816 17436 8d99d4113be311daf23deff86991ee7d ""
+  "/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex" 1480098816 20772 c57e34db4aa7b1da013169d04b743eac ""
+  "/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex" 1480098816 9641 711f0edc22c180a5caf168b6e8970057 ""
+  "/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex" 1480098816 34516 658a71478d21df554bce9d9cd436203a ""
+  "/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex" 1480098816 3052 e5672c657232fd63b0a9853b0746297c ""
+  "/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex" 1480098816 16669 4ec6e40088fc6de6334b443fe2dc59f0 ""
+  "/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex" 1480098816 21541 4cd19f8ff7dd74d5aa7d803a6397af84 ""
+  "/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations.code.tex" 1480098816 19998 d77fef95c7369827753d17fd11be19c4 ""
+  "/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.code.tex" 1480098816 8943 2e2495b057f8f0035b5568394d489963 ""
+  "/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex" 1480098816 454 9e9e7c99f4da4f41698be21eaef4938e ""
+  "/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex" 1480098816 13416 940ea6971d7a65dc440d3479939c66ae ""
+  "/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex" 1480098816 94097 62ac62cda46eb715560dc27f9ed6e8b1 ""
+  "/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.tex" 1480098816 9375 5adc70f722abd29fc250d59e0694b548 ""
+  "/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code.tex" 1480098816 22069 7c21c42b15718ce922f36235be360490 ""
+  "/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex" 1480098816 8210 a7be5b52ef3d2c087b7dc3d52898b67e ""
+  "/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison.code.tex" 1480098816 3534 c7f28fbac13616513e513efe93b8569b ""
+  "/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerarithmetics.code.tex" 1480098816 3167 7c9394e79aac27db96a92f9b2792b858 ""
+  "/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex" 1480098816 9289 261407875b9dbb0194691c3eb893610f ""
+  "/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code.tex" 1480098816 7078 946ddf4a7e57219b6afdbad98eb6731b ""
+  "/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code.tex" 1480098816 2688 139c6abc86761a6190c2f4bef5d752be ""
+  "/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonometric.code.tex" 1480098816 92284 dcf023dbaa84e6c50e11c2f79fe8cfa6 ""
+  "/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex" 1480098816 35430 046e15fbb65e74d8f0e7945f99741fdb ""
+  "/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex" 1480098816 7099 f44d505bae6c7c2b933cdd63441db4b9 ""
+  "/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg" 1480098816 978 15af626ebd3d4d790aac19170dac04f2 ""
+  "/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def" 1480098816 5437 d91f93ed61ecdc57e119849b2d784a0b ""
+  "/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def" 1480098816 13507 809d848d9262638e1b1705a68a73c566 ""
+  "/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex" 1480098816 35113 2ccc50c1c9573e4bac9230d030f9c67c ""
+  "/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex" 1480098816 1983 b5994ebbcee17f1ba3d29bb1bd696fcf ""
+  "/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex" 1480098816 7881 d459d6057e13d10ce7a227ae44b7295e ""
+  "/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex" 1480098816 36194 e194ef4e0b396b531a3891feb4b1cc22 ""
+  "/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.tex" 1480098816 33377 af391d6ad1bfcbe2278e191f48e43ba8 ""
+  "/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex" 1480098816 2536 a3b0529d815a2759ba157b56610a6377 ""
+  "/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common-lists.tex" 1480098816 6833 114eda2cf1d348e0e7e477a1a4dc1941 ""
+  "/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex" 1480098816 16501 ab0135765e27b6b8dae047831fe84818 ""
+  "/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def" 1480098816 5544 294baac9629ba59f675b1f2027ad7136 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/amscls/amsthm.sty" 1513722769 12604 3dec726c041422879dc3268237f09026 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty" 1480098820 5949 3f3fd50a8cc94c3d4cbf4fc66cd3df1c ""
+  "/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty" 1480098820 13829 94730e64147574077f8ecfea9bb69af4 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd" 1480098820 961 6518c6525a34feb5e8250ffa91731cff ""
+  "/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd" 1480098820 961 d02606146ba5601b5645f987c92e6193 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty" 1480098820 2210 5c54ab129b848a5071554186d0168766 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty" 1480098820 4160 c115536cf8d4ff25aa8c1c9bc4ecb79a ""
+  "/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty" 1504905757 84352 897a476d96a0681047a5b0f91178a3d2 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty" 1480098820 4115 318a66090112f3aa3f415aeb6fe8540f ""
+  "/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty" 1480098820 2431 fe3078ec12fc30287f568596f8e0b948 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty" 1480098821 4732 d63eda807ac82cca2ca8488efd31a966 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.dfu" 1487721667 2004 ac51aeac484f08c01026120d62677eca ""
+  "/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.dfu" 1487721667 3181 1cb3e9ad01f4a01127b2ffd821bfeec7 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo" 1480098821 8308 f91506bb4df6d8527331f7bbeaf0e63c ""
+  "/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.dfu" 1487721667 11255 9d97362866549d3d3c994b5f28d1b9b5 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/base/utf8.def" 1487721667 7784 325a2a09984cb5c4ff230f9867145ad3 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamer.cls" 1519256047 11573 6ad13c4ed41dfa776135546b18cfbe1a ""
+  "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseauxtemplates.sty" 1519256047 22666 933c376468a06913d7754fc13742473c ""
+  "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseboxes.sty" 1483401677 8073 df5c1784673e960a504a7c1960c767d3 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasecolor.sty" 1519256047 13293 4e137a4941dec574b49585c13053f681 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasecompatibility.sty" 1519256047 24410 c4c8374860ec8dd144c9e52b9a4be8f6 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasedecode.sty" 1519256047 9223 3dcf2e3028325ba361c1b99d7205fc93 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasefont.sty" 1519256047 13464 29d78002042e084b82f7d34ed67391d9 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseframe.sty" 1519256047 24785 78a2d764d246c48203b98fd9602a30cf ""
+  "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseframecomponents.sty" 1519256047 11898 264f0ae03dbfa791611c1821393bc0b9 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseframesize.sty" 1483401677 8724 3da64c74fd1533e88179d5635b7ae6fe ""
+  "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaselocalstructure.sty" 1519256047 16585 b2950fd7e085cc3b1afaf3170f3e21fc ""
+  "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasemisc.sty" 1519256047 8313 358d4bb860bd9098eb24099f36b27af1 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasemodes.sty" 1519256047 7493 bfb4c812c60867c1a9060a306fdd3434 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasenavigation.sty" 1519256047 29020 6cae2187b2d2bc4f39b6bb5bddbcf031 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasenotes.sty" 1519256047 5347 c13cef7a309d4719e32c79977ffb972f ""
+  "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseoptions.sty" 1500070590 1753 c10ec1df45e4b4c7ee05e306d23f95d7 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseoverlay.sty" 1519256047 27030 515a945e010680cce3b317f59eaaf081 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaserequires.sty" 1500070590 1593 48c3729494fa250d34789fd6af677f99 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasesection.sty" 1519256047 13467 0173b5c7addf3966d285337d930a310a ""
+  "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetemplates.sty" 1500070590 5753 fbf8c2f7c7d6d5d1d2b900c353f094e8 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasethemes.sty" 1500070590 1140 cdaff8d445bd2a4e7afdec5190a758c0 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetheorems.sty" 1500070590 4548 cdde9ae4b614ce5ea4cf7a232ceeb6a8 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetitle.sty" 1519256047 5373 858be7ef52ed1687cd0388aded0480c3 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetoc.sty" 1519256047 7494 ed91d358cf202c733488dccab65fec3b ""
+  "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetranslator.sty" 1483401677 637 685bd3d40aca2fa87965a39bc31aca7f ""
+  "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetwoscreens.sty" 1500070590 1408 93bead6e76a275002dbb9a319dc984d0 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseverbatim.sty" 1519256047 4026 1ba2c6a2acf275d63cb85d60d8597fe8 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamercolorthemedefault.sty" 1519256047 7113 9e704ecfdbef4fb8bd9e18751e4051a9 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamercolorthemeorchid.sty" 1513642141 835 ac57517533d993c08f21ee9ac10445d7 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamercolorthemewhale.sty" 1513642141 1013 bbd3a76e797308a780fd7196c973ec2e ""
+  "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerfontthemedefault.sty" 1519256047 4236 21e590075d6781cc58fee783316ee268 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamericonarticle.20.pdf" 1513642141 2958 4e0c4a6e994e5c4d9da11c477e927f0f ""
+  "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamericonarticle.pdf" 1513642141 2936 6cc3ef0682cbb62be8aa1b19f0a84ed6 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamericonbook.20.pdf" 1513642141 2734 0bcf939051dd2a936cdfe5982f7c233b ""
+  "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamericonbook.pdf" 1513642141 2667 7624351b441ffe4bd2d14e08fbcf063d ""
+  "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamericononline.20.pdf" 1513642141 24451 195d2c060e84f339954bc6d9b52131d7 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamericononline.pdf" 1513642141 24611 df07010540266b2b205b492a4d02e7e1 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerinnerthemedefault.sty" 1519256047 13031 a33a15e4b12bfa976c11f59131636ea9 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerinnerthemerounded.sty" 1519256047 1012 55816d41ed72706aad1be90f5f2e88c2 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerouterthemedefault.sty" 1519256047 6584 a2b5a29622807666ab66e073d385a2b7 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerouterthemeinfolines.sty" 1519256047 2059 d74a25f2c50be5a6bd60f6dd74623b60 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerthemeMadrid.sty" 1513642141 557 e5b73eb0fcb3152cb7e2db7637b10743 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerthemedefault.sty" 1513642141 355 75c98e7b8f427eb7c625ed391b140c5b ""
+  "/usr/share/texlive/texmf-dist/tex/latex/etoolbox/etoolbox.sty" 1518389458 43862 d90315ae4a46ef887a38b4ccba021f91 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/filehook/filehook.sty" 1480098828 12104 88bda8c1ae09e2b6dc29ed32629eafa1 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/geometry/geometry.sty" 1480098829 40502 e003406220954b0716679d7928aedd8a ""
+  "/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg" 1480098830 1213 620bba36b25224fa9b7e1ccb4ecb76fd ""
+  "/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg" 1480098830 1224 978390e9c2234eab29404bc21b268d1e ""
+  "/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def" 1515537368 17334 520b9b85ad8a2a48eda3f643e27a5179 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty" 1498427532 15275 7d676729b1bedd3e7f3c6717affb366c ""
+  "/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty" 1498427532 9066 649f2ccf62888e3d8c3e57256b70b8e1 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty" 1480098830 2594 d18d5e19aa8239cf867fa670c556d2e9 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty" 1480098830 3980 0a268fbfda01e381fa95821ab13b6aee ""
+  "/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def" 1518041854 51699 9069fc983fff0db91d59a15af144ad62 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty" 1518041854 234088 2c849389d62d41c593d9f5176c4116ab ""
+  "/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty" 1480098831 12949 81e4e808884a8f0e276b69410e234656 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def" 1518041854 14098 4e70bf396c7c265bd8b0e5cab3fd3d4d ""
+  "/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg" 1480098833 678 4792914a8f45be57bb98413425e4c7af ""
+  "/usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg" 1480098833 235 6031e5765137be07eed51a510b2b8fb7 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/ms/everyshi.sty" 1480098835 3878 6aa7c08ff2621006e0603349e40a30a8 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/oberdiek/auxhook.sty" 1480098836 3834 4363110eb0ef1eb2b71c8fcbcdb6c357 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty" 1480098836 12095 5337833c991d80788a43d3ce26bd1c46 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/oberdiek/grfext.sty" 1480098836 7075 2fe3d848bba95f139de11ded085e74aa ""
+  "/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty" 1480098836 22417 1d9df1eb66848aa31b18a593099cf45c ""
+  "/usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty" 1480098836 9581 023642318cef9f4677efe364de1e2a27 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty" 1480098837 410 5bf12ea7330e5f12c445332a4fe9a263 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty" 1480098837 443 0b2e781830192df35c0fd357cf13e26e ""
+  "/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty" 1480098837 325 2bcd023400636339210573e2b3ee298b ""
+  "/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/xxcolor.sty" 1480098837 2267 e82edfd18fbf4047c6f20ed9467f27db ""
+  "/usr/share/texlive/texmf-dist/tex/latex/sansmathaccent/ot1mathkerncmss.fd" 1480098838 1299 299fd4fecf7d7085f0a8361bcf0e7804 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/sansmathaccent/sansmathaccent.sty" 1480098838 4280 a62885a2f2d4221d634eb6cd5559e518 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/setspace/setspace.sty" 1480098838 22913 a27d7908fc6f0385466454a966a316eb ""
+  "/usr/share/texlive/texmf-dist/tex/latex/tools/enumerate.sty" 1480098841 3467 d39e40f25d5fd2b3b49a58d155063dd6 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/translator/translator-basic-dictionary-English.dict" 1512078926 3435 0a4d096dde3f8fe682c2aedd33b8137d ""
+  "/usr/share/texlive/texmf-dist/tex/latex/translator/translator-bibliography-dictionary-English.dict" 1512078926 903 c6d17f0656e9e1abb172b4faebabd617 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/translator/translator-environment-dictionary-English.dict" 1512078926 433 bfb8d1c2c020defd2de8e5c276710094 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/translator/translator-months-dictionary-English.dict" 1512078926 1337 9a6c05e8f0c8b3c5f27cbd0e455cf475 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/translator/translator-numbers-dictionary-English.dict" 1512078926 1638 2bf1a1dea98f8a4d28033fce76e9cc67 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/translator/translator-theorem-dictionary-English.dict" 1512078926 3523 1f9d9b91f7d78b73e74c7e97bca30fb0 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/translator/translator.sty" 1515274380 8690 269ca424c32d015df5d558ef9752619d ""
+  "/usr/share/texlive/texmf-dist/tex/latex/url/url.sty" 1480098842 12796 8edb7d69a20b857904dd0ea757c14ec9 ""
+  "/usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty" 1480098843 55589 34128738f682d033422ca125f82e5d62 ""
+  "/usr/share/texlive/texmf-dist/web2c/texmf.cnf" 1520210507 32485 c64754543d8ac501bea6e75e209ea521 ""
+  "/usr/share/texmf/web2c/texmf.cnf" 1520210507 32485 c64754543d8ac501bea6e75e209ea521 ""
+  "/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map" 1556268315 2498019 afad6a2aaa78d153b1d838814ac14e00 ""
+  "/var/lib/texmf/web2c/pdftex/pdflatex.fmt" 1553505671 4131933 9c912dd4c7f439cb8b40127b9b4a2f38 ""
+  "preplogic-slides.aux" 1599547215 6068 2f0cc67bdd50708d140d2e9bc09f8405 ""
+  "preplogic-slides.nav" 1599547215 3672 467051a347cacc5af16126018a801fe6 ""
+  "preplogic-slides.out" 1599547215 231 deb4a29a1afc0897b65a37cc63a87407 ""
+  "preplogic-slides.tex" 1599547212 14092 f64cd262a08bbc958a70d23b2d3ed4d4 ""
+  "preplogic-slides.toc" 1599547215 240 82b64b5af661cb4f9fe5c48ed162b693 ""
   "unilu.jpg" 1554272896 41957 a77f6a50964dc93c1a7378a3852a421d ""
   (generated)
-  "preplogic-slides.toc"
-  "preplogic-slides.snm"
-  "preplogic-slides.out"
+  "preplogic-slides.log"
   "preplogic-slides.aux"
+  "preplogic-slides.toc"
   "preplogic-slides.nav"
+  "preplogic-slides.snm"
   "preplogic-slides.pdf"
-  "preplogic-slides.log"
+  "preplogic-slides.out"