preplogic

Notes for the course "elementary logic"
git clone https://git.tronto.net/preplogic
Download | Log | Files | Refs | README

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