preplogic-slides.fls (28223B)
1 PWD /home/sebastiano/Dropbox/teaching/preparatory_logic/slides 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-slides.tex 7 OUTPUT preplogic-slides.log 8 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamer.cls 9 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamer.cls 10 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasemodes.sty 11 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasemodes.sty 12 INPUT /usr/share/texlive/texmf-dist/tex/latex/etoolbox/etoolbox.sty 13 INPUT /usr/share/texlive/texmf-dist/tex/latex/etoolbox/etoolbox.sty 14 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasedecode.sty 15 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasedecode.sty 16 INPUT /usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifpdf.sty 17 INPUT /usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifpdf.sty 18 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseoptions.sty 19 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseoptions.sty 20 INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty 21 INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty 22 INPUT /usr/share/texlive/texmf-dist/tex/latex/geometry/geometry.sty 23 INPUT /usr/share/texlive/texmf-dist/tex/latex/geometry/geometry.sty 24 INPUT /usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifvtex.sty 25 INPUT /usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifvtex.sty 26 INPUT /usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty 27 INPUT /usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty 28 INPUT /usr/share/texlive/texmf-dist/tex/latex/base/size11.clo 29 INPUT /usr/share/texlive/texmf-dist/tex/latex/base/size11.clo 30 INPUT /usr/share/texlive/texmf-dist/fonts/map/fontname/texfonts.map 31 INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr10.tfm 32 INPUT /usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty 33 INPUT /usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty 34 INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty 35 INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty 36 INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty 37 INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty 38 INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty 39 INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty 40 INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg 41 INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg 42 INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def 43 INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def 44 INPUT /usr/share/texlive/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty 45 INPUT /usr/share/texlive/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty 46 INPUT /usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty 47 INPUT /usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty 48 INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex 49 INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common-lists.tex 50 INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def 51 INPUT /usr/share/texlive/texmf-dist/tex/latex/ms/everyshi.sty 52 INPUT /usr/share/texlive/texmf-dist/tex/latex/ms/everyshi.sty 53 INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex 54 INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex 55 INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex 56 INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex 57 INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex 58 INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.tex 59 INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg 60 INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def 61 INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def 62 INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def 63 INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex 64 INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex 65 INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex 66 INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex 67 INPUT /usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty 68 INPUT /usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty 69 INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg 70 INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg 71 INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex 72 INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex 73 INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex 74 INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex 75 INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex 76 INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex 77 INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex 78 INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code.tex 79 INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonometric.code.tex 80 INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code.tex 81 INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison.code.tex 82 INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.tex 83 INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code.tex 84 INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex 85 INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerarithmetics.code.tex 86 INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex 87 INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex 88 INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.tex 89 INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex 90 INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex 91 INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex 92 INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations.code.tex 93 INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex 94 INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex 95 INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code.tex 96 INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex 97 INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex 98 INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex 99 INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex 100 INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex 101 INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.code.tex 102 INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex 103 INPUT /usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/xxcolor.sty 104 INPUT /usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/xxcolor.sty 105 INPUT /usr/share/texlive/texmf-dist/tex/generic/oberdiek/atbegshi.sty 106 INPUT /usr/share/texlive/texmf-dist/tex/generic/oberdiek/atbegshi.sty 107 INPUT /usr/share/texlive/texmf-dist/tex/generic/oberdiek/infwarerr.sty 108 INPUT /usr/share/texlive/texmf-dist/tex/generic/oberdiek/infwarerr.sty 109 INPUT /usr/share/texlive/texmf-dist/tex/generic/oberdiek/ltxcmds.sty 110 INPUT /usr/share/texlive/texmf-dist/tex/generic/oberdiek/ltxcmds.sty 111 INPUT /usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty 112 INPUT /usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty 113 INPUT /usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty 114 INPUT /usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty 115 INPUT /usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty 116 INPUT /usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty 117 INPUT /usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty 118 INPUT /usr/share/texlive/texmf-dist/tex/latex/oberdiek/auxhook.sty 119 INPUT /usr/share/texlive/texmf-dist/tex/latex/oberdiek/auxhook.sty 120 INPUT /usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty 121 INPUT /usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty 122 INPUT /usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def 123 INPUT /usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def 124 INPUT /usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg 125 INPUT /usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg 126 INPUT /usr/share/texlive/texmf-dist/tex/latex/url/url.sty 127 INPUT /usr/share/texlive/texmf-dist/tex/latex/url/url.sty 128 INPUT /usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def 129 INPUT /usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def 130 INPUT /usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty 131 INPUT /usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty 132 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaserequires.sty 133 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaserequires.sty 134 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasecompatibility.sty 135 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasecompatibility.sty 136 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasefont.sty 137 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasefont.sty 138 INPUT /usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty 139 INPUT /usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty 140 INPUT /usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty 141 INPUT /usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty 142 INPUT /usr/share/texlive/texmf-dist/tex/latex/sansmathaccent/sansmathaccent.sty 143 INPUT /usr/share/texlive/texmf-dist/tex/latex/sansmathaccent/sansmathaccent.sty 144 INPUT /usr/share/texlive/texmf-dist/tex/latex/sansmathaccent/sansmathaccent.sty 145 INPUT /usr/share/texlive/texmf-dist/tex/latex/filehook/filehook.sty 146 INPUT /usr/share/texlive/texmf-dist/tex/latex/filehook/filehook.sty 147 INPUT /usr/share/texlive/texmf-dist/tex/latex/filehook/filehook.sty 148 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetranslator.sty 149 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetranslator.sty 150 INPUT /usr/share/texlive/texmf-dist/tex/latex/translator/translator.sty 151 INPUT /usr/share/texlive/texmf-dist/tex/latex/translator/translator.sty 152 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasemisc.sty 153 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasemisc.sty 154 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetwoscreens.sty 155 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetwoscreens.sty 156 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseoverlay.sty 157 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseoverlay.sty 158 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetitle.sty 159 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetitle.sty 160 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasesection.sty 161 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasesection.sty 162 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseframe.sty 163 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseframe.sty 164 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseverbatim.sty 165 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseverbatim.sty 166 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseframesize.sty 167 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseframesize.sty 168 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseframecomponents.sty 169 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseframecomponents.sty 170 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasecolor.sty 171 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasecolor.sty 172 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasenotes.sty 173 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasenotes.sty 174 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetoc.sty 175 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetoc.sty 176 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetemplates.sty 177 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetemplates.sty 178 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseauxtemplates.sty 179 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseauxtemplates.sty 180 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseboxes.sty 181 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseboxes.sty 182 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaselocalstructure.sty 183 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaselocalstructure.sty 184 INPUT /usr/share/texlive/texmf-dist/tex/latex/tools/enumerate.sty 185 INPUT /usr/share/texlive/texmf-dist/tex/latex/tools/enumerate.sty 186 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasenavigation.sty 187 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasenavigation.sty 188 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetheorems.sty 189 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetheorems.sty 190 INPUT /usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty 191 INPUT /usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty 192 INPUT /usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty 193 INPUT /usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty 194 INPUT /usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty 195 INPUT /usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty 196 INPUT /usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty 197 INPUT /usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty 198 INPUT /usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty 199 INPUT /usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty 200 INPUT /usr/share/texlive/texmf-dist/tex/latex/amscls/amsthm.sty 201 INPUT /usr/share/texlive/texmf-dist/tex/latex/amscls/amsthm.sty 202 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasethemes.sty 203 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasethemes.sty 204 INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss10.tfm 205 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerthemedefault.sty 206 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerthemedefault.sty 207 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerfontthemedefault.sty 208 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerfontthemedefault.sty 209 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamercolorthemedefault.sty 210 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamercolorthemedefault.sty 211 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerinnerthemedefault.sty 212 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerinnerthemedefault.sty 213 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamericonbook.pdf 214 OUTPUT preplogic-slides.pdf 215 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamericonbook.pdf 216 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamericonbook.20.pdf 217 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamericonbook.20.pdf 218 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamericonarticle.pdf 219 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamericonarticle.pdf 220 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamericonarticle.20.pdf 221 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamericonarticle.20.pdf 222 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamericononline.pdf 223 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamericononline.pdf 224 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamericononline.20.pdf 225 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamericononline.20.pdf 226 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerouterthemedefault.sty 227 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerouterthemedefault.sty 228 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerthemeMadrid.sty 229 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerthemeMadrid.sty 230 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamercolorthemewhale.sty 231 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamercolorthemewhale.sty 232 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamercolorthemeorchid.sty 233 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamercolorthemeorchid.sty 234 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerinnerthemerounded.sty 235 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerinnerthemerounded.sty 236 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerouterthemeinfolines.sty 237 INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerouterthemeinfolines.sty 238 INPUT /usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty 239 INPUT /usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty 240 INPUT /usr/share/texlive/texmf-dist/tex/latex/base/utf8.def 241 INPUT /usr/share/texlive/texmf-dist/tex/latex/base/utf8.def 242 INPUT /usr/share/texlive/texmf-dist/tex/latex/base/t1enc.dfu 243 INPUT /usr/share/texlive/texmf-dist/tex/latex/base/t1enc.dfu 244 INPUT /usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.dfu 245 INPUT /usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.dfu 246 INPUT /usr/share/texlive/texmf-dist/tex/latex/base/omsenc.dfu 247 INPUT /usr/share/texlive/texmf-dist/tex/latex/base/omsenc.dfu 248 INPUT /usr/share/texlive/texmf-dist/tex/latex/setspace/setspace.sty 249 INPUT /usr/share/texlive/texmf-dist/tex/latex/setspace/setspace.sty 250 INPUT preplogic-slides.aux 251 INPUT preplogic-slides.aux 252 OUTPUT preplogic-slides.aux 253 INPUT /usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii 254 INPUT /usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii 255 INPUT /usr/share/texlive/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty 256 INPUT /usr/share/texlive/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty 257 INPUT /usr/share/texlive/texmf-dist/tex/latex/oberdiek/grfext.sty 258 INPUT /usr/share/texlive/texmf-dist/tex/latex/oberdiek/grfext.sty 259 INPUT /usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg 260 INPUT /usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg 261 INPUT /usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty 262 INPUT /usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty 263 INPUT /usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty 264 INPUT /usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty 265 INPUT preplogic-slides.out 266 INPUT preplogic-slides.out 267 INPUT preplogic-slides.out 268 INPUT preplogic-slides.out 269 INPUT ./preplogic-slides.out 270 INPUT ./preplogic-slides.out 271 OUTPUT preplogic-slides.out 272 INPUT /usr/share/texlive/texmf-dist/tex/latex/translator/translator-basic-dictionary-English.dict 273 INPUT /usr/share/texlive/texmf-dist/tex/latex/translator/translator-basic-dictionary-English.dict 274 INPUT /usr/share/texlive/texmf-dist/tex/latex/translator/translator-bibliography-dictionary-English.dict 275 INPUT /usr/share/texlive/texmf-dist/tex/latex/translator/translator-bibliography-dictionary-English.dict 276 INPUT /usr/share/texlive/texmf-dist/tex/latex/translator/translator-environment-dictionary-English.dict 277 INPUT /usr/share/texlive/texmf-dist/tex/latex/translator/translator-environment-dictionary-English.dict 278 INPUT /usr/share/texlive/texmf-dist/tex/latex/translator/translator-months-dictionary-English.dict 279 INPUT /usr/share/texlive/texmf-dist/tex/latex/translator/translator-months-dictionary-English.dict 280 INPUT /usr/share/texlive/texmf-dist/tex/latex/translator/translator-numbers-dictionary-English.dict 281 INPUT /usr/share/texlive/texmf-dist/tex/latex/translator/translator-numbers-dictionary-English.dict 282 INPUT /usr/share/texlive/texmf-dist/tex/latex/translator/translator-theorem-dictionary-English.dict 283 INPUT /usr/share/texlive/texmf-dist/tex/latex/translator/translator-theorem-dictionary-English.dict 284 INPUT preplogic-slides.nav 285 INPUT preplogic-slides.nav 286 INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss8.tfm 287 INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss12.tfm 288 INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss8.tfm 289 INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss8.tfm 290 INPUT unilu.jpg 291 INPUT ./unilu.jpg 292 INPUT ./unilu.jpg 293 INPUT /var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map 294 INPUT preplogic-slides.toc 295 INPUT preplogic-slides.toc 296 INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmssbx10.tfm 297 INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmtt10.tfm 298 INPUT unilu.jpg 299 INPUT ./unilu.jpg 300 INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss12.tfm 301 INPUT unilu.jpg 302 INPUT ./unilu.jpg 303 INPUT unilu.jpg 304 INPUT ./unilu.jpg 305 INPUT unilu.jpg 306 INPUT ./unilu.jpg 307 INPUT unilu.jpg 308 INPUT ./unilu.jpg 309 INPUT unilu.jpg 310 INPUT ./unilu.jpg 311 INPUT unilu.jpg 312 INPUT ./unilu.jpg 313 INPUT unilu.jpg 314 INPUT ./unilu.jpg 315 INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmssi10.tfm 316 INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi10.tfm 317 INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm 318 INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm 319 INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm 320 INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm 321 INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm 322 INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmex10.tfm 323 INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex8.tfm 324 INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm 325 INPUT /usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd 326 INPUT /usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd 327 INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm 328 INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm 329 INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm 330 INPUT /usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd 331 INPUT /usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd 332 INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm 333 INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm 334 INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm 335 INPUT /usr/share/texlive/texmf-dist/tex/latex/sansmathaccent/ot1mathkerncmss.fd 336 INPUT /usr/share/texlive/texmf-dist/tex/latex/sansmathaccent/ot1mathkerncmss.fd 337 INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/sansmathaccent/mathkerncmssi10.tfm 338 INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/sansmathaccent/mathkerncmssi8.tfm 339 INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/sansmathaccent/mathkerncmssi8.tfm 340 INPUT unilu.jpg 341 INPUT ./unilu.jpg 342 INPUT unilu.jpg 343 INPUT ./unilu.jpg 344 INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmssbx10.tfm 345 INPUT unilu.jpg 346 INPUT ./unilu.jpg 347 INPUT unilu.jpg 348 INPUT ./unilu.jpg 349 INPUT unilu.jpg 350 INPUT ./unilu.jpg 351 INPUT unilu.jpg 352 INPUT ./unilu.jpg 353 INPUT unilu.jpg 354 INPUT ./unilu.jpg 355 INPUT unilu.jpg 356 INPUT ./unilu.jpg 357 INPUT unilu.jpg 358 INPUT ./unilu.jpg 359 INPUT unilu.jpg 360 INPUT ./unilu.jpg 361 INPUT unilu.jpg 362 INPUT ./unilu.jpg 363 INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss9.tfm 364 INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss8.tfm 365 INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi9.tfm 366 INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy9.tfm 367 INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex9.tfm 368 INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm 369 INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm 370 INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm 371 INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm 372 INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm 373 INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/sansmathaccent/mathkerncmssi9.tfm 374 INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/sansmathaccent/mathkerncmssi8.tfm 375 INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmssbx10.tfm 376 INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmssbx10.tfm 377 INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmssbx10.tfm 378 INPUT unilu.jpg 379 INPUT ./unilu.jpg 380 INPUT unilu.jpg 381 INPUT ./unilu.jpg 382 INPUT unilu.jpg 383 INPUT ./unilu.jpg 384 INPUT unilu.jpg 385 INPUT ./unilu.jpg 386 INPUT unilu.jpg 387 INPUT ./unilu.jpg 388 INPUT unilu.jpg 389 INPUT ./unilu.jpg 390 INPUT unilu.jpg 391 INPUT ./unilu.jpg 392 INPUT unilu.jpg 393 INPUT ./unilu.jpg 394 INPUT unilu.jpg 395 INPUT ./unilu.jpg 396 INPUT unilu.jpg 397 INPUT ./unilu.jpg 398 INPUT unilu.jpg 399 INPUT ./unilu.jpg 400 INPUT unilu.jpg 401 INPUT ./unilu.jpg 402 INPUT unilu.jpg 403 INPUT ./unilu.jpg 404 INPUT unilu.jpg 405 INPUT ./unilu.jpg 406 INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss10.tfm 407 INPUT unilu.jpg 408 INPUT ./unilu.jpg 409 INPUT unilu.jpg 410 INPUT ./unilu.jpg 411 INPUT unilu.jpg 412 INPUT ./unilu.jpg 413 INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss17.tfm 414 INPUT unilu.jpg 415 INPUT ./unilu.jpg 416 INPUT unilu.jpg 417 INPUT ./unilu.jpg 418 INPUT unilu.jpg 419 INPUT ./unilu.jpg 420 INPUT unilu.jpg 421 INPUT ./unilu.jpg 422 INPUT unilu.jpg 423 INPUT ./unilu.jpg 424 INPUT unilu.jpg 425 INPUT ./unilu.jpg 426 INPUT unilu.jpg 427 INPUT ./unilu.jpg 428 INPUT unilu.jpg 429 INPUT ./unilu.jpg 430 INPUT unilu.jpg 431 INPUT ./unilu.jpg 432 INPUT unilu.jpg 433 INPUT ./unilu.jpg 434 INPUT unilu.jpg 435 INPUT ./unilu.jpg 436 INPUT unilu.jpg 437 INPUT ./unilu.jpg 438 INPUT unilu.jpg 439 INPUT ./unilu.jpg 440 INPUT unilu.jpg 441 INPUT ./unilu.jpg 442 INPUT unilu.jpg 443 INPUT ./unilu.jpg 444 INPUT unilu.jpg 445 INPUT ./unilu.jpg 446 INPUT unilu.jpg 447 INPUT ./unilu.jpg 448 INPUT unilu.jpg 449 INPUT ./unilu.jpg 450 INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmssbx10.tfm 451 INPUT unilu.jpg 452 INPUT ./unilu.jpg 453 INPUT unilu.jpg 454 INPUT ./unilu.jpg 455 INPUT unilu.jpg 456 INPUT ./unilu.jpg 457 INPUT unilu.jpg 458 INPUT ./unilu.jpg 459 INPUT unilu.jpg 460 INPUT ./unilu.jpg 461 INPUT unilu.jpg 462 INPUT ./unilu.jpg 463 INPUT unilu.jpg 464 INPUT ./unilu.jpg 465 INPUT unilu.jpg 466 INPUT ./unilu.jpg 467 INPUT unilu.jpg 468 INPUT ./unilu.jpg 469 INPUT unilu.jpg 470 INPUT ./unilu.jpg 471 INPUT unilu.jpg 472 INPUT ./unilu.jpg 473 INPUT unilu.jpg 474 INPUT ./unilu.jpg 475 INPUT unilu.jpg 476 INPUT ./unilu.jpg 477 INPUT unilu.jpg 478 INPUT ./unilu.jpg 479 INPUT unilu.jpg 480 INPUT ./unilu.jpg 481 INPUT unilu.jpg 482 INPUT ./unilu.jpg 483 INPUT unilu.jpg 484 INPUT ./unilu.jpg 485 OUTPUT preplogic-slides.nav 486 OUTPUT preplogic-slides.toc 487 OUTPUT preplogic-slides.snm 488 INPUT preplogic-slides.aux 489 INPUT ./preplogic-slides.out 490 INPUT ./preplogic-slides.out 491 INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb 492 INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmss10.pfb 493 INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmss12.pfb 494 INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmss17.pfb 495 INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmss8.pfb 496 INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmss9.pfb 497 INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmssbx10.pfb 498 INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi10.pfb 499 INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi8.pfb 500 INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi9.pfb 501 INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb 502 INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy9.pfb 503 INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.pfb 504 INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb