preplogic-slides.fdb_latexmk (26036B)
1 # Fdb version 3 2 ["pdflatex"] 1599815546 "preplogic-slides.tex" "preplogic-slides.pdf" "preplogic-slides" 1599815549 3 "/etc/texmf/web2c/texmf.cnf" 1538037709 475 c0e671620eb5563b2130f56340a5fde8 "" 4 "/usr/share/texlive/texmf-dist/fonts/map/fontname/texfonts.map" 1511824771 3332 103109f5612ad95229751940c61aada0 "" 5 "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm" 1480098698 1004 54797486969f23fa377b128694d548df "" 6 "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex8.tfm" 1480098698 988 bdf658c3bfc2d96d3c8b02cfc1c94c20 "" 7 "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex9.tfm" 1480098698 996 a18840b13b499c08ac2de96a99eda4bc "" 8 "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm" 1480098698 916 f87d7c45f9c908e672703b83b72241a3 "" 9 "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm" 1480098698 924 9904cf1d39e9767e7a3622f2a125a565 "" 10 "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm" 1480098698 928 2dc8d444221b7a635bb58038579b861a "" 11 "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm" 1480098698 908 2921f8a10601f252058503cc6570e581 "" 12 "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm" 1480098698 940 75ac932a52f80982a9f8ea75d03a34cf "" 13 "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm" 1480098698 940 228d6584342e91276bf566bcf9716b83 "" 14 "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmex10.tfm" 1480098701 992 662f679a0b3d2d53c1b94050fdaa3f50 "" 15 "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi10.tfm" 1480098701 1528 abec98dbc43e172678c11b3b9031252a "" 16 "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm" 1480098701 1512 f21f83efb36853c0b70002322c1ab3ad "" 17 "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm" 1480098701 1520 eccf95517727cb11801f4f1aee3a21b4 "" 18 "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi9.tfm" 1480098701 1524 d89e2d087a9828407a196f428428ef4a "" 19 "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr10.tfm" 1480098701 1296 45809c5a464d5f32c8f98ba97c1bb47f "" 20 "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss10.tfm" 1480098701 1316 b636689f1933f24d1294acdf6041daaa "" 21 "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss12.tfm" 1480098701 1324 37b971caf729d7edd9cbb9f9b0ea76eb "" 22 "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss17.tfm" 1480098701 1320 ed93d62c5f2c16343826001f03341dbc "" 23 "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss8.tfm" 1480098701 1296 d77f431d10d47c8ea2cc18cf45346274 "" 24 "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss9.tfm" 1480098701 1320 49357c421c0d469f88b867dd0c3d10e8 "" 25 "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmssbx10.tfm" 1480098701 1272 e2d13f0df30bf3ad990bb9d028e37f34 "" 26 "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmssi10.tfm" 1480098701 1520 ca2bb4b78ac9800bd686e30c6d19ef95 "" 27 "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm" 1480098701 1124 6c73e740cf17375f03eec0ee63599741 "" 28 "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm" 1480098701 1116 933a60c408fc0a863a92debe84b2d294 "" 29 "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm" 1480098701 1120 8b7d695260f3cff42e636090a8002094 "" 30 "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy9.tfm" 1480098701 1116 25a7bf822c58caf309a702ef79f4afbb "" 31 "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmtt10.tfm" 1480098701 768 1321e9409b4137d6fb428ac9dc956269 "" 32 "/usr/share/texlive/texmf-dist/fonts/tfm/public/sansmathaccent/mathkerncmssi10.tfm" 1480098717 1696 aaa5bbd1f47f001247d42218ce371101 "" 33 "/usr/share/texlive/texmf-dist/fonts/tfm/public/sansmathaccent/mathkerncmssi8.tfm" 1480098717 1676 fb6c6a335484692abff897d6e8965829 "" 34 "/usr/share/texlive/texmf-dist/fonts/tfm/public/sansmathaccent/mathkerncmssi9.tfm" 1480098717 1700 6cce8f71de5b3d676f417bc2a77d1db2 "" 35 "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb" 1480098733 36299 5f9df58c2139e7edcf37c8fca4bd384d "" 36 "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmss10.pfb" 1480098733 24457 5cbb7bdf209d5d1ce9892a9b80a307cc "" 37 "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmss12.pfb" 1480098733 24393 3b7eb51a67a0a62aec5849271bdb9c2e "" 38 "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmss17.pfb" 1480098733 24416 36515493f76659302880e2604105b074 "" 39 "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmss8.pfb" 1480098733 24420 52dbb8e8aa0069a1b987309557f8d303 "" 40 "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmss9.pfb" 1480098733 24373 a91d375736817a75026663adcb2190c1 "" 41 "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmssbx10.pfb" 1480098733 28902 2f5c04fd2884d1878057baa5aad22765 "" 42 "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi10.pfb" 1480098733 25150 e0d09798d232ab9d00c5c0a8df6cc22d "" 43 "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi8.pfb" 1480098733 25168 33771b85f45c82138dd7745db7092d1c "" 44 "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi9.pfb" 1480098733 25029 6f2cec9646ca278302ed7d604e506e3e "" 45 "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb" 1480098733 32569 5e5ddc8df908dea60932f3c484a54c0d "" 46 "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy9.pfb" 1480098733 32442 c975af247b6702f7ca0c299af3616b80 "" 47 "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.pfb" 1480098733 31099 c85edf1dd5b9e826d67c9c7293b6786c "" 48 "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb" 1480098734 34694 ad62b13721ee8eda1dcc8993c8bd7041 "" 49 "/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii" 1480098806 71627 94eb9990bed73c364d7f53f960cc8c5b "" 50 "/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty" 1480098815 1458 43ab4710dc82f3edeabecd0d099626b2 "" 51 "/usr/share/texlive/texmf-dist/tex/generic/oberdiek/atbegshi.sty" 1480098815 24580 144573175d90c8e36676f97ae1d11ec2 "" 52 "/usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty" 1480098815 8237 3b62ef1f7e2c23a328c814b3893bc11f "" 53 "/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty" 1517006633 185082 6c11d4e30ed78e2a12957b7e77030856 "" 54 "/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty" 1480098815 70864 bcd5b216757bd619ae692a151d90085d "" 55 "/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifpdf.sty" 1490564930 1251 d170e11a3246c3392bc7f59595af42cb "" 56 "/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifvtex.sty" 1480098815 6797 90b7f83b0ad46826bc16058b1e3d48df "" 57 "/usr/share/texlive/texmf-dist/tex/generic/oberdiek/infwarerr.sty" 1480098815 8253 473e0e41f9adadb1977e8631b8f72ea6 "" 58 "/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ltxcmds.sty" 1480098815 18425 5b3c0c59d76fac78978b5558e83c1f36 "" 59 "/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex" 1480098816 1006 b103be0bfc8c1682ff1fa9760697a329 "" 60 "/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex" 1480098816 43226 167a99346bfe2676e3efcdde2d81fe45 "" 61 "/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex" 1480098816 19302 4f089dc590e71f7331e6d5b5ea85273b "" 62 "/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex" 1480098816 6068 edae1e768a7d8d8f0f00e953d2b0153e "" 63 "/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex" 1480098816 7041 a891ad72049e17c4e366c40ca37b0ccb "" 64 "/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex" 1480098816 4625 40c07e9f6f2f7c674704b3f2055560ce "" 65 "/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex" 1480098816 2631 7eefa6cdbefd8d4e2bad7262cf1094cd "" 66 "/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.tex" 1480098816 43477 81143b33d9ebafdeead07ede13372427 "" 67 "/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code.tex" 1480098816 17436 8d99d4113be311daf23deff86991ee7d "" 68 "/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex" 1480098816 20772 c57e34db4aa7b1da013169d04b743eac "" 69 "/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex" 1480098816 9641 711f0edc22c180a5caf168b6e8970057 "" 70 "/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex" 1480098816 34516 658a71478d21df554bce9d9cd436203a "" 71 "/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex" 1480098816 3052 e5672c657232fd63b0a9853b0746297c "" 72 "/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex" 1480098816 16669 4ec6e40088fc6de6334b443fe2dc59f0 "" 73 "/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex" 1480098816 21541 4cd19f8ff7dd74d5aa7d803a6397af84 "" 74 "/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations.code.tex" 1480098816 19998 d77fef95c7369827753d17fd11be19c4 "" 75 "/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.code.tex" 1480098816 8943 2e2495b057f8f0035b5568394d489963 "" 76 "/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex" 1480098816 454 9e9e7c99f4da4f41698be21eaef4938e "" 77 "/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex" 1480098816 13416 940ea6971d7a65dc440d3479939c66ae "" 78 "/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex" 1480098816 94097 62ac62cda46eb715560dc27f9ed6e8b1 "" 79 "/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.tex" 1480098816 9375 5adc70f722abd29fc250d59e0694b548 "" 80 "/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code.tex" 1480098816 22069 7c21c42b15718ce922f36235be360490 "" 81 "/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex" 1480098816 8210 a7be5b52ef3d2c087b7dc3d52898b67e "" 82 "/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison.code.tex" 1480098816 3534 c7f28fbac13616513e513efe93b8569b "" 83 "/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerarithmetics.code.tex" 1480098816 3167 7c9394e79aac27db96a92f9b2792b858 "" 84 "/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex" 1480098816 9289 261407875b9dbb0194691c3eb893610f "" 85 "/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code.tex" 1480098816 7078 946ddf4a7e57219b6afdbad98eb6731b "" 86 "/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code.tex" 1480098816 2688 139c6abc86761a6190c2f4bef5d752be "" 87 "/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonometric.code.tex" 1480098816 92284 dcf023dbaa84e6c50e11c2f79fe8cfa6 "" 88 "/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex" 1480098816 35430 046e15fbb65e74d8f0e7945f99741fdb "" 89 "/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex" 1480098816 7099 f44d505bae6c7c2b933cdd63441db4b9 "" 90 "/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg" 1480098816 978 15af626ebd3d4d790aac19170dac04f2 "" 91 "/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def" 1480098816 5437 d91f93ed61ecdc57e119849b2d784a0b "" 92 "/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def" 1480098816 13507 809d848d9262638e1b1705a68a73c566 "" 93 "/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex" 1480098816 35113 2ccc50c1c9573e4bac9230d030f9c67c "" 94 "/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex" 1480098816 1983 b5994ebbcee17f1ba3d29bb1bd696fcf "" 95 "/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex" 1480098816 7881 d459d6057e13d10ce7a227ae44b7295e "" 96 "/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex" 1480098816 36194 e194ef4e0b396b531a3891feb4b1cc22 "" 97 "/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.tex" 1480098816 33377 af391d6ad1bfcbe2278e191f48e43ba8 "" 98 "/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex" 1480098816 2536 a3b0529d815a2759ba157b56610a6377 "" 99 "/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common-lists.tex" 1480098816 6833 114eda2cf1d348e0e7e477a1a4dc1941 "" 100 "/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex" 1480098816 16501 ab0135765e27b6b8dae047831fe84818 "" 101 "/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def" 1480098816 5544 294baac9629ba59f675b1f2027ad7136 "" 102 "/usr/share/texlive/texmf-dist/tex/latex/amscls/amsthm.sty" 1513722769 12604 3dec726c041422879dc3268237f09026 "" 103 "/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty" 1480098820 5949 3f3fd50a8cc94c3d4cbf4fc66cd3df1c "" 104 "/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty" 1480098820 13829 94730e64147574077f8ecfea9bb69af4 "" 105 "/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd" 1480098820 961 6518c6525a34feb5e8250ffa91731cff "" 106 "/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd" 1480098820 961 d02606146ba5601b5645f987c92e6193 "" 107 "/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty" 1480098820 2210 5c54ab129b848a5071554186d0168766 "" 108 "/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty" 1480098820 4160 c115536cf8d4ff25aa8c1c9bc4ecb79a "" 109 "/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty" 1504905757 84352 897a476d96a0681047a5b0f91178a3d2 "" 110 "/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty" 1480098820 4115 318a66090112f3aa3f415aeb6fe8540f "" 111 "/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty" 1480098820 2431 fe3078ec12fc30287f568596f8e0b948 "" 112 "/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty" 1480098821 4732 d63eda807ac82cca2ca8488efd31a966 "" 113 "/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.dfu" 1487721667 2004 ac51aeac484f08c01026120d62677eca "" 114 "/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.dfu" 1487721667 3181 1cb3e9ad01f4a01127b2ffd821bfeec7 "" 115 "/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo" 1480098821 8308 f91506bb4df6d8527331f7bbeaf0e63c "" 116 "/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.dfu" 1487721667 11255 9d97362866549d3d3c994b5f28d1b9b5 "" 117 "/usr/share/texlive/texmf-dist/tex/latex/base/utf8.def" 1487721667 7784 325a2a09984cb5c4ff230f9867145ad3 "" 118 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamer.cls" 1519256047 11573 6ad13c4ed41dfa776135546b18cfbe1a "" 119 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseauxtemplates.sty" 1519256047 22666 933c376468a06913d7754fc13742473c "" 120 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseboxes.sty" 1483401677 8073 df5c1784673e960a504a7c1960c767d3 "" 121 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasecolor.sty" 1519256047 13293 4e137a4941dec574b49585c13053f681 "" 122 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasecompatibility.sty" 1519256047 24410 c4c8374860ec8dd144c9e52b9a4be8f6 "" 123 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasedecode.sty" 1519256047 9223 3dcf2e3028325ba361c1b99d7205fc93 "" 124 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasefont.sty" 1519256047 13464 29d78002042e084b82f7d34ed67391d9 "" 125 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseframe.sty" 1519256047 24785 78a2d764d246c48203b98fd9602a30cf "" 126 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseframecomponents.sty" 1519256047 11898 264f0ae03dbfa791611c1821393bc0b9 "" 127 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseframesize.sty" 1483401677 8724 3da64c74fd1533e88179d5635b7ae6fe "" 128 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaselocalstructure.sty" 1519256047 16585 b2950fd7e085cc3b1afaf3170f3e21fc "" 129 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasemisc.sty" 1519256047 8313 358d4bb860bd9098eb24099f36b27af1 "" 130 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasemodes.sty" 1519256047 7493 bfb4c812c60867c1a9060a306fdd3434 "" 131 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasenavigation.sty" 1519256047 29020 6cae2187b2d2bc4f39b6bb5bddbcf031 "" 132 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasenotes.sty" 1519256047 5347 c13cef7a309d4719e32c79977ffb972f "" 133 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseoptions.sty" 1500070590 1753 c10ec1df45e4b4c7ee05e306d23f95d7 "" 134 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseoverlay.sty" 1519256047 27030 515a945e010680cce3b317f59eaaf081 "" 135 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaserequires.sty" 1500070590 1593 48c3729494fa250d34789fd6af677f99 "" 136 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasesection.sty" 1519256047 13467 0173b5c7addf3966d285337d930a310a "" 137 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetemplates.sty" 1500070590 5753 fbf8c2f7c7d6d5d1d2b900c353f094e8 "" 138 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasethemes.sty" 1500070590 1140 cdaff8d445bd2a4e7afdec5190a758c0 "" 139 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetheorems.sty" 1500070590 4548 cdde9ae4b614ce5ea4cf7a232ceeb6a8 "" 140 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetitle.sty" 1519256047 5373 858be7ef52ed1687cd0388aded0480c3 "" 141 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetoc.sty" 1519256047 7494 ed91d358cf202c733488dccab65fec3b "" 142 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetranslator.sty" 1483401677 637 685bd3d40aca2fa87965a39bc31aca7f "" 143 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetwoscreens.sty" 1500070590 1408 93bead6e76a275002dbb9a319dc984d0 "" 144 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseverbatim.sty" 1519256047 4026 1ba2c6a2acf275d63cb85d60d8597fe8 "" 145 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamercolorthemedefault.sty" 1519256047 7113 9e704ecfdbef4fb8bd9e18751e4051a9 "" 146 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamercolorthemeorchid.sty" 1513642141 835 ac57517533d993c08f21ee9ac10445d7 "" 147 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamercolorthemewhale.sty" 1513642141 1013 bbd3a76e797308a780fd7196c973ec2e "" 148 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerfontthemedefault.sty" 1519256047 4236 21e590075d6781cc58fee783316ee268 "" 149 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamericonarticle.20.pdf" 1513642141 2958 4e0c4a6e994e5c4d9da11c477e927f0f "" 150 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamericonarticle.pdf" 1513642141 2936 6cc3ef0682cbb62be8aa1b19f0a84ed6 "" 151 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamericonbook.20.pdf" 1513642141 2734 0bcf939051dd2a936cdfe5982f7c233b "" 152 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamericonbook.pdf" 1513642141 2667 7624351b441ffe4bd2d14e08fbcf063d "" 153 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamericononline.20.pdf" 1513642141 24451 195d2c060e84f339954bc6d9b52131d7 "" 154 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamericononline.pdf" 1513642141 24611 df07010540266b2b205b492a4d02e7e1 "" 155 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerinnerthemedefault.sty" 1519256047 13031 a33a15e4b12bfa976c11f59131636ea9 "" 156 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerinnerthemerounded.sty" 1519256047 1012 55816d41ed72706aad1be90f5f2e88c2 "" 157 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerouterthemedefault.sty" 1519256047 6584 a2b5a29622807666ab66e073d385a2b7 "" 158 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerouterthemeinfolines.sty" 1519256047 2059 d74a25f2c50be5a6bd60f6dd74623b60 "" 159 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerthemeMadrid.sty" 1513642141 557 e5b73eb0fcb3152cb7e2db7637b10743 "" 160 "/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerthemedefault.sty" 1513642141 355 75c98e7b8f427eb7c625ed391b140c5b "" 161 "/usr/share/texlive/texmf-dist/tex/latex/etoolbox/etoolbox.sty" 1518389458 43862 d90315ae4a46ef887a38b4ccba021f91 "" 162 "/usr/share/texlive/texmf-dist/tex/latex/filehook/filehook.sty" 1480098828 12104 88bda8c1ae09e2b6dc29ed32629eafa1 "" 163 "/usr/share/texlive/texmf-dist/tex/latex/geometry/geometry.sty" 1480098829 40502 e003406220954b0716679d7928aedd8a "" 164 "/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg" 1480098830 1213 620bba36b25224fa9b7e1ccb4ecb76fd "" 165 "/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg" 1480098830 1224 978390e9c2234eab29404bc21b268d1e "" 166 "/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def" 1515537368 17334 520b9b85ad8a2a48eda3f643e27a5179 "" 167 "/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty" 1498427532 15275 7d676729b1bedd3e7f3c6717affb366c "" 168 "/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty" 1498427532 9066 649f2ccf62888e3d8c3e57256b70b8e1 "" 169 "/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty" 1480098830 2594 d18d5e19aa8239cf867fa670c556d2e9 "" 170 "/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty" 1480098830 3980 0a268fbfda01e381fa95821ab13b6aee "" 171 "/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def" 1518041854 51699 9069fc983fff0db91d59a15af144ad62 "" 172 "/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty" 1518041854 234088 2c849389d62d41c593d9f5176c4116ab "" 173 "/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty" 1480098831 12949 81e4e808884a8f0e276b69410e234656 "" 174 "/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def" 1518041854 14098 4e70bf396c7c265bd8b0e5cab3fd3d4d "" 175 "/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg" 1480098833 678 4792914a8f45be57bb98413425e4c7af "" 176 "/usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg" 1480098833 235 6031e5765137be07eed51a510b2b8fb7 "" 177 "/usr/share/texlive/texmf-dist/tex/latex/ms/everyshi.sty" 1480098835 3878 6aa7c08ff2621006e0603349e40a30a8 "" 178 "/usr/share/texlive/texmf-dist/tex/latex/oberdiek/auxhook.sty" 1480098836 3834 4363110eb0ef1eb2b71c8fcbcdb6c357 "" 179 "/usr/share/texlive/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty" 1480098836 12095 5337833c991d80788a43d3ce26bd1c46 "" 180 "/usr/share/texlive/texmf-dist/tex/latex/oberdiek/grfext.sty" 1480098836 7075 2fe3d848bba95f139de11ded085e74aa "" 181 "/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty" 1480098836 22417 1d9df1eb66848aa31b18a593099cf45c "" 182 "/usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty" 1480098836 9581 023642318cef9f4677efe364de1e2a27 "" 183 "/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty" 1480098837 410 5bf12ea7330e5f12c445332a4fe9a263 "" 184 "/usr/share/texlive/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty" 1480098837 443 0b2e781830192df35c0fd357cf13e26e "" 185 "/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty" 1480098837 325 2bcd023400636339210573e2b3ee298b "" 186 "/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/xxcolor.sty" 1480098837 2267 e82edfd18fbf4047c6f20ed9467f27db "" 187 "/usr/share/texlive/texmf-dist/tex/latex/sansmathaccent/ot1mathkerncmss.fd" 1480098838 1299 299fd4fecf7d7085f0a8361bcf0e7804 "" 188 "/usr/share/texlive/texmf-dist/tex/latex/sansmathaccent/sansmathaccent.sty" 1480098838 4280 a62885a2f2d4221d634eb6cd5559e518 "" 189 "/usr/share/texlive/texmf-dist/tex/latex/setspace/setspace.sty" 1480098838 22913 a27d7908fc6f0385466454a966a316eb "" 190 "/usr/share/texlive/texmf-dist/tex/latex/tools/enumerate.sty" 1480098841 3467 d39e40f25d5fd2b3b49a58d155063dd6 "" 191 "/usr/share/texlive/texmf-dist/tex/latex/translator/translator-basic-dictionary-English.dict" 1512078926 3435 0a4d096dde3f8fe682c2aedd33b8137d "" 192 "/usr/share/texlive/texmf-dist/tex/latex/translator/translator-bibliography-dictionary-English.dict" 1512078926 903 c6d17f0656e9e1abb172b4faebabd617 "" 193 "/usr/share/texlive/texmf-dist/tex/latex/translator/translator-environment-dictionary-English.dict" 1512078926 433 bfb8d1c2c020defd2de8e5c276710094 "" 194 "/usr/share/texlive/texmf-dist/tex/latex/translator/translator-months-dictionary-English.dict" 1512078926 1337 9a6c05e8f0c8b3c5f27cbd0e455cf475 "" 195 "/usr/share/texlive/texmf-dist/tex/latex/translator/translator-numbers-dictionary-English.dict" 1512078926 1638 2bf1a1dea98f8a4d28033fce76e9cc67 "" 196 "/usr/share/texlive/texmf-dist/tex/latex/translator/translator-theorem-dictionary-English.dict" 1512078926 3523 1f9d9b91f7d78b73e74c7e97bca30fb0 "" 197 "/usr/share/texlive/texmf-dist/tex/latex/translator/translator.sty" 1515274380 8690 269ca424c32d015df5d558ef9752619d "" 198 "/usr/share/texlive/texmf-dist/tex/latex/url/url.sty" 1480098842 12796 8edb7d69a20b857904dd0ea757c14ec9 "" 199 "/usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty" 1480098843 55589 34128738f682d033422ca125f82e5d62 "" 200 "/usr/share/texlive/texmf-dist/web2c/texmf.cnf" 1520210507 32485 c64754543d8ac501bea6e75e209ea521 "" 201 "/usr/share/texmf/web2c/texmf.cnf" 1520210507 32485 c64754543d8ac501bea6e75e209ea521 "" 202 "/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map" 1556268315 2498019 afad6a2aaa78d153b1d838814ac14e00 "" 203 "/var/lib/texmf/web2c/pdftex/pdflatex.fmt" 1553505671 4131933 9c912dd4c7f439cb8b40127b9b4a2f38 "" 204 "preplogic-slides.aux" 1599815549 6068 2f0cc67bdd50708d140d2e9bc09f8405 "" 205 "preplogic-slides.nav" 1599815549 3672 467051a347cacc5af16126018a801fe6 "" 206 "preplogic-slides.out" 1599815549 231 deb4a29a1afc0897b65a37cc63a87407 "" 207 "preplogic-slides.tex" 1599815542 14092 3c16e3328c2a1c52359574a1cf12eecc "" 208 "preplogic-slides.toc" 1599815549 240 82b64b5af661cb4f9fe5c48ed162b693 "" 209 "unilu.jpg" 1554272896 41957 a77f6a50964dc93c1a7378a3852a421d "" 210 (generated) 211 "preplogic-slides.toc" 212 "preplogic-slides.snm" 213 "preplogic-slides.aux" 214 "preplogic-slides.out" 215 "preplogic-slides.pdf" 216 "preplogic-slides.nav" 217 "preplogic-slides.log"