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