preplogic-exercises.fdb_latexmk (7399B)
1 # Fdb version 3 2 ["pdflatex"] 1599413298 "preplogic-exercises.tex" "preplogic-exercises.pdf" "preplogic-exercises" 1599413298 3 "/usr/share/texmf-dist/fonts/enc/dvips/cm-super/cm-super-ts1.enc" 1594687104 2900 1537cc8184ad1792082cd229ecc269f4 "" 4 "/usr/share/texmf-dist/fonts/map/fontname/texfonts.map" 1594687104 3524 cb3e574dea2d1052e39280babc910dc8 "" 5 "/usr/share/texmf-dist/fonts/map/pdftex/updmap/pdftex.map" 1594687104 4851843 f8aac22e46e9a458223e5c13b1e20998 "" 6 "/usr/share/texmf-dist/fonts/tfm/jknappen/ec/tcrm1000.tfm" 1594687104 1536 e07581a4bb3136ece9eeb4c3ffab8233 "" 7 "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm" 1594687104 1004 54797486969f23fa377b128694d548df "" 8 "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex8.tfm" 1594687104 988 bdf658c3bfc2d96d3c8b02cfc1c94c20 "" 9 "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm" 1594687104 916 f87d7c45f9c908e672703b83b72241a3 "" 10 "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm" 1594687104 924 9904cf1d39e9767e7a3622f2a125a565 "" 11 "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm" 1594687104 928 2dc8d444221b7a635bb58038579b861a "" 12 "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm" 1594687104 908 2921f8a10601f252058503cc6570e581 "" 13 "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm" 1594687104 940 75ac932a52f80982a9f8ea75d03a34cf "" 14 "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm" 1594687104 940 228d6584342e91276bf566bcf9716b83 "" 15 "/usr/share/texmf-dist/fonts/tfm/public/cm/cmbx10.tfm" 1594687104 1328 c834bbb027764024c09d3d2bf908b5f0 "" 16 "/usr/share/texmf-dist/fonts/tfm/public/cm/cmbx12.tfm" 1594687104 1324 c910af8c371558dc20f2d7822f66fe64 "" 17 "/usr/share/texmf-dist/fonts/tfm/public/cm/cmex10.tfm" 1594687104 992 662f679a0b3d2d53c1b94050fdaa3f50 "" 18 "/usr/share/texmf-dist/fonts/tfm/public/cm/cmmi12.tfm" 1594687104 1524 4414a8315f39513458b80dfc63bff03a "" 19 "/usr/share/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm" 1594687104 1512 f21f83efb36853c0b70002322c1ab3ad "" 20 "/usr/share/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm" 1594687104 1520 eccf95517727cb11801f4f1aee3a21b4 "" 21 "/usr/share/texmf-dist/fonts/tfm/public/cm/cmr12.tfm" 1594687104 1288 655e228510b4c2a1abe905c368440826 "" 22 "/usr/share/texmf-dist/fonts/tfm/public/cm/cmr17.tfm" 1594687104 1292 296a67155bdbfc32aa9c636f21e91433 "" 23 "/usr/share/texmf-dist/fonts/tfm/public/cm/cmr6.tfm" 1594687104 1300 b62933e007d01cfd073f79b963c01526 "" 24 "/usr/share/texmf-dist/fonts/tfm/public/cm/cmr8.tfm" 1594687104 1292 21c1c5bfeaebccffdb478fd231a0997d "" 25 "/usr/share/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm" 1594687104 1124 6c73e740cf17375f03eec0ee63599741 "" 26 "/usr/share/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm" 1594687104 1116 933a60c408fc0a863a92debe84b2d294 "" 27 "/usr/share/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm" 1594687104 1120 8b7d695260f3cff42e636090a8002094 "" 28 "/usr/share/texmf-dist/fonts/tfm/public/cm/cmti10.tfm" 1594687104 1480 aa8e34af0eb6a2941b776984cf1dfdc4 "" 29 "/usr/share/texmf-dist/fonts/tfm/public/cm/cmtt12.tfm" 1594687104 772 9a936b7f5e2ff0557fce0f62822f0bbf "" 30 "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx10.pfb" 1594687104 34811 78b52f49e893bcba91bd7581cdc144c0 "" 31 "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx12.pfb" 1594687104 32080 340ef9bf63678554ee606688e7b5339d "" 32 "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmex10.pfb" 1594687104 30251 6afa5cb1d0204815a708a080681d4674 "" 33 "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb" 1594687104 36299 5f9df58c2139e7edcf37c8fca4bd384d "" 34 "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi5.pfb" 1594687104 37912 77d683123f92148345f3fc36a38d9ab1 "" 35 "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi7.pfb" 1594687104 36281 c355509802a035cadc5f15869451dcee "" 36 "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb" 1594687104 35752 024fb6c41858982481f6968b5fc26508 "" 37 "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr12.pfb" 1594687104 32722 d7379af29a190c3f453aba36302ff5a9 "" 38 "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr17.pfb" 1594687104 32362 179c33bbf43f19adbb3825bb4e36e57a "" 39 "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr7.pfb" 1594687104 32762 224316ccc9ad3ca0423a14971cfa7fc1 "" 40 "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb" 1594687104 32569 5e5ddc8df908dea60932f3c484a54c0d "" 41 "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmti10.pfb" 1594687104 37944 359e864bd06cde3b1cf57bb20757fb06 "" 42 "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt12.pfb" 1594687104 24252 1e4e051947e12dfb50fee0b7f4e26e3a "" 43 "/usr/share/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb" 1594687104 34694 ad62b13721ee8eda1dcc8993c8bd7041 "" 44 "/usr/share/texmf-dist/fonts/type1/public/cm-super/sfrm1000.pfb" 1594687104 138258 6525c253f16cededa14c7fd0da7f67b2 "" 45 "/usr/share/texmf-dist/tex/generic/iftex/iftex.sty" 1594687104 6501 4011d89d9621e0b0901138815ba5ff29 "" 46 "/usr/share/texmf-dist/tex/generic/iftex/ifvtex.sty" 1594687104 1057 525c2192b5febbd8c1f662c9468335bb "" 47 "/usr/share/texmf-dist/tex/latex/amscls/amsthm.sty" 1594687104 12594 0d51ac3a545aaaa555021326ff22a6cc "" 48 "/usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty" 1594687104 5949 3f3fd50a8cc94c3d4cbf4fc66cd3df1c "" 49 "/usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty" 1594687104 13829 94730e64147574077f8ecfea9bb69af4 "" 50 "/usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd" 1594687104 961 6518c6525a34feb5e8250ffa91731cff "" 51 "/usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd" 1594687104 961 d02606146ba5601b5645f987c92e6193 "" 52 "/usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty" 1594687104 2211 ca7ce284ab93c8eecdc6029dc5ccbd73 "" 53 "/usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty" 1594687104 4161 7f6eb9092061a11f87d08ed13515b48d "" 54 "/usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty" 1594687104 85660 baee036978c7a91f4e2bba43f05e5945 "" 55 "/usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty" 1594687104 4116 32e6abd27229755a83a8b7f18e583890 "" 56 "/usr/share/texmf-dist/tex/latex/amsmath/amstext.sty" 1594687104 2432 8ff93b1137020e8f21930562a874ae66 "" 57 "/usr/share/texmf-dist/tex/latex/base/article.cls" 1594687104 20023 e427dd9e17e239bf926ef3aab67fe35e "" 58 "/usr/share/texmf-dist/tex/latex/base/inputenc.sty" 1594687104 5050 8933a39ad74377accd18991c5eb90c58 "" 59 "/usr/share/texmf-dist/tex/latex/base/size10.clo" 1594687104 8446 9874cccac5fee462272c582807dbbf56 "" 60 "/usr/share/texmf-dist/tex/latex/geometry/geometry.sty" 1594687104 41601 9cf6c5257b1bc7af01a58859749dd37a "" 61 "/usr/share/texmf-dist/tex/latex/graphics/keyval.sty" 1594687104 2590 e3b24ff953e5b58d924f163d25380312 "" 62 "/usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdfmode.def" 1594687104 25742 5de23a2d2bc67a3139433e702e64a437 "" 63 "/usr/share/texmf-dist/web2c/texmf.cnf" 1597672114 39446 755423e82e7afb756f49b242a15f4ec2 "" 64 "/usr/share/texmf-var/web2c/pdftex/pdflatex.fmt" 1598712773 2434818 64d78922a5d2a9baf6bf1beec95a9374 "" 65 "preplogic-exercises.aux" 1599413298 398 c1412237ecba2ce936c17ace596c30a6 "pdflatex" 66 "preplogic-exercises.tex" 1599413295 4576 b03ca92fc16bbca83f264a2bb3016bef "" 67 (generated) 68 "preplogic-exercises.aux" 69 "preplogic-exercises.pdf" 70 "preplogic-exercises.log"