preplogic-exercises.fls (5846B)
1 PWD /home/sebastiano/Dropbox/teaching/preparatory_logic/exercises 2 INPUT /usr/share/texmf-dist/web2c/texmf.cnf 3 INPUT /usr/share/texmf-var/web2c/pdftex/pdflatex.fmt 4 INPUT preplogic-exercises.tex 5 OUTPUT preplogic-exercises.log 6 INPUT /usr/share/texmf-dist/tex/latex/base/article.cls 7 INPUT /usr/share/texmf-dist/tex/latex/base/article.cls 8 INPUT /usr/share/texmf-dist/tex/latex/base/size10.clo 9 INPUT /usr/share/texmf-dist/tex/latex/base/size10.clo 10 INPUT /usr/share/texmf-dist/tex/latex/base/inputenc.sty 11 INPUT /usr/share/texmf-dist/tex/latex/base/inputenc.sty 12 INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty 13 INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty 14 INPUT /usr/share/texmf-dist/tex/latex/amsmath/amstext.sty 15 INPUT /usr/share/texmf-dist/tex/latex/amsmath/amstext.sty 16 INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty 17 INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty 18 INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty 19 INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty 20 INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty 21 INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty 22 INPUT /usr/share/texmf-dist/tex/latex/amscls/amsthm.sty 23 INPUT /usr/share/texmf-dist/tex/latex/amscls/amsthm.sty 24 INPUT /usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty 25 INPUT /usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty 26 INPUT /usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty 27 INPUT /usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty 28 INPUT /usr/share/texmf-dist/tex/latex/geometry/geometry.sty 29 INPUT /usr/share/texmf-dist/tex/latex/geometry/geometry.sty 30 INPUT /usr/share/texmf-dist/tex/latex/graphics/keyval.sty 31 INPUT /usr/share/texmf-dist/tex/latex/graphics/keyval.sty 32 INPUT /usr/share/texmf-dist/tex/generic/iftex/ifvtex.sty 33 INPUT /usr/share/texmf-dist/tex/generic/iftex/ifvtex.sty 34 INPUT /usr/share/texmf-dist/tex/generic/iftex/iftex.sty 35 INPUT /usr/share/texmf-dist/tex/generic/iftex/iftex.sty 36 INPUT /usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdfmode.def 37 INPUT /usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdfmode.def 38 INPUT preplogic-exercises.aux 39 INPUT preplogic-exercises.aux 40 OUTPUT preplogic-exercises.aux 41 INPUT /usr/share/texmf-dist/fonts/map/fontname/texfonts.map 42 INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr17.tfm 43 INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr12.tfm 44 INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr8.tfm 45 INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr6.tfm 46 INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi12.tfm 47 INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm 48 INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm 49 INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm 50 INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm 51 INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm 52 INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmex10.tfm 53 INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex8.tfm 54 INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm 55 INPUT /usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd 56 INPUT /usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd 57 INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm 58 INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm 59 INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm 60 INPUT /usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd 61 INPUT /usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd 62 INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm 63 INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm 64 INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm 65 INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmtt12.tfm 66 INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr12.tfm 67 INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmbx12.tfm 68 INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmbx10.tfm 69 INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm 70 INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm 71 INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm 72 INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm 73 INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm 74 INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm 75 INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm 76 INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm 77 INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmti10.tfm 78 OUTPUT preplogic-exercises.pdf 79 INPUT /usr/share/texmf-dist/fonts/map/pdftex/updmap/pdftex.map 80 INPUT /usr/share/texmf-dist/fonts/tfm/jknappen/ec/tcrm1000.tfm 81 INPUT preplogic-exercises.aux 82 INPUT /usr/share/texmf-dist/fonts/enc/dvips/cm-super/cm-super-ts1.enc 83 INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx10.pfb 84 INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx12.pfb 85 INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmex10.pfb 86 INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb 87 INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi5.pfb 88 INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi7.pfb 89 INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb 90 INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr12.pfb 91 INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr17.pfb 92 INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr7.pfb 93 INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb 94 INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmti10.pfb 95 INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt12.pfb 96 INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb 97 INPUT /usr/share/texmf-dist/fonts/type1/public/cm-super/sfrm1000.pfb