From a911f938427ec88618b6b1507ac3929616c770f7 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Tue, 8 Sep 2020 08:41:13 +0200 Subject: Minor fixes --- slides/preplogic-slides.fdb_latexmk | 425 ++++++++++++++++++------------------ 1 file changed, 211 insertions(+), 214 deletions(-) (limited to 'slides/preplogic-slides.fdb_latexmk') 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" -- cgit v1.3