Minor fixes

1 files changed, 337 insertions, 339 deletions

diff --git a/slides/preplogic-slides.fls b/slides/preplogic-slides.fls
index cfad114..bc10e7b 100644
--- a/slides/preplogic-slides.fls
+++ b/slides/preplogic-slides.fls
@@ -1,274 +1,267 @@
 PWD /home/sebastiano/Dropbox/teaching/preparatory_logic/slides
-INPUT /usr/share/texmf-dist/web2c/texmf.cnf
-INPUT /usr/share/texmf-var/web2c/pdftex/pdflatex.fmt
+INPUT /etc/texmf/web2c/texmf.cnf
+INPUT /usr/share/texmf/web2c/texmf.cnf
+INPUT /usr/share/texlive/texmf-dist/web2c/texmf.cnf
+INPUT /var/lib/texmf/web2c/pdftex/pdflatex.fmt
 INPUT preplogic-slides.tex
 OUTPUT preplogic-slides.log
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamer.cls
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamer.cls
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasemodes.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasemodes.sty
-INPUT /usr/share/texmf-dist/tex/latex/etoolbox/etoolbox.sty
-INPUT /usr/share/texmf-dist/tex/latex/etoolbox/etoolbox.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasedecode.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasedecode.sty
-INPUT /usr/share/texmf-dist/tex/generic/iftex/ifpdf.sty
-INPUT /usr/share/texmf-dist/tex/generic/iftex/ifpdf.sty
-INPUT /usr/share/texmf-dist/tex/generic/iftex/iftex.sty
-INPUT /usr/share/texmf-dist/tex/generic/iftex/iftex.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbaseoptions.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbaseoptions.sty
-INPUT /usr/share/texmf-dist/tex/latex/graphics/keyval.sty
-INPUT /usr/share/texmf-dist/tex/latex/graphics/keyval.sty
-INPUT /usr/share/texmf-dist/tex/latex/geometry/geometry.sty
-INPUT /usr/share/texmf-dist/tex/latex/geometry/geometry.sty
-INPUT /usr/share/texmf-dist/tex/generic/iftex/ifvtex.sty
-INPUT /usr/share/texmf-dist/tex/generic/iftex/ifvtex.sty
-INPUT /usr/share/texmf-dist/tex/latex/base/size11.clo
-INPUT /usr/share/texmf-dist/tex/latex/base/size11.clo
-INPUT /usr/share/texmf-dist/fonts/map/fontname/texfonts.map
-INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr10.tfm
-INPUT /usr/share/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty
-INPUT /usr/share/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty
-INPUT /usr/share/texmf-dist/tex/latex/graphics/graphicx.sty
-INPUT /usr/share/texmf-dist/tex/latex/graphics/graphicx.sty
-INPUT /usr/share/texmf-dist/tex/latex/graphics/graphics.sty
-INPUT /usr/share/texmf-dist/tex/latex/graphics/graphics.sty
-INPUT /usr/share/texmf-dist/tex/latex/graphics/trig.sty
-INPUT /usr/share/texmf-dist/tex/latex/graphics/trig.sty
-INPUT /usr/share/texmf-dist/tex/latex/graphics-cfg/graphics.cfg
-INPUT /usr/share/texmf-dist/tex/latex/graphics-cfg/graphics.cfg
-INPUT /usr/share/texmf-dist/tex/latex/graphics-def/pdftex.def
-INPUT /usr/share/texmf-dist/tex/latex/graphics-def/pdftex.def
-INPUT /usr/share/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
-INPUT /usr/share/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
-INPUT /usr/share/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
-INPUT /usr/share/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
-INPUT /usr/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex
-INPUT /usr/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-common-lists.tex
-INPUT /usr/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def
-INPUT /usr/share/texmf-dist/tex/latex/ms/everyshi.sty
-INPUT /usr/share/texmf-dist/tex/latex/ms/everyshi.sty
-INPUT /usr/share/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex
-INPUT /usr/share/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex
-INPUT /usr/share/texmf-dist/tex/generic/pgf/pgf.revision.tex
-INPUT /usr/share/texmf-dist/tex/generic/pgf/pgf.revision.tex
-INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex
-INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex
-INPUT /usr/share/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
-INPUT /usr/share/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.tex
-INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg
-INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def
-INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def
-INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def
-INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex
-INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex
-INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex
-INPUT /usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex
-INPUT /usr/share/texmf-dist/tex/latex/xcolor/xcolor.sty
-INPUT /usr/share/texmf-dist/tex/latex/xcolor/xcolor.sty
-INPUT /usr/share/texmf-dist/tex/latex/graphics-cfg/color.cfg
-INPUT /usr/share/texmf-dist/tex/latex/graphics-cfg/color.cfg
-INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex
-INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex
-INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex
-INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex
-INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex
-INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex
-INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex
-INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code.tex
-INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonometric.code.tex
-INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code.tex
-INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison.code.tex
-INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.tex
-INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code.tex
-INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex
-INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerarithmetics.code.tex
-INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex
-INPUT /usr/share/texmf-dist/tex/generic/pgf/math/pgfint.code.tex
-INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex
-INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.tex
-INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex
-INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex
-INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex
-INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations.code.tex
-INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex
-INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex
-INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code.tex
-INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex
-INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex
-INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex
-INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex
-INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex
-INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.code.tex
-INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex
-INPUT /usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorerdf.code.tex
-INPUT /usr/share/texmf-dist/tex/latex/pgf/utilities/xxcolor.sty
-INPUT /usr/share/texmf-dist/tex/latex/pgf/utilities/xxcolor.sty
-INPUT /usr/share/texmf-dist/tex/generic/atbegshi/atbegshi.sty
-INPUT /usr/share/texmf-dist/tex/generic/atbegshi/atbegshi.sty
-INPUT /usr/share/texmf-dist/tex/generic/infwarerr/infwarerr.sty
-INPUT /usr/share/texmf-dist/tex/generic/infwarerr/infwarerr.sty
-INPUT /usr/share/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty
-INPUT /usr/share/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty
-INPUT /usr/share/texmf-dist/tex/latex/hyperref/hyperref.sty
-INPUT /usr/share/texmf-dist/tex/latex/hyperref/hyperref.sty
-INPUT /usr/share/texmf-dist/tex/latex/pdftexcmds/pdftexcmds.sty
-INPUT /usr/share/texmf-dist/tex/latex/pdftexcmds/pdftexcmds.sty
-INPUT /usr/share/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty
-INPUT /usr/share/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty
-INPUT /usr/share/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty
-INPUT /usr/share/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty
-INPUT /usr/share/texmf-dist/tex/generic/pdfescape/pdfescape.sty
-INPUT /usr/share/texmf-dist/tex/generic/pdfescape/pdfescape.sty
-INPUT /usr/share/texmf-dist/tex/latex/hycolor/hycolor.sty
-INPUT /usr/share/texmf-dist/tex/latex/hycolor/hycolor.sty
-INPUT /usr/share/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty
-INPUT /usr/share/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty
-INPUT /usr/share/texmf-dist/tex/latex/auxhook/auxhook.sty
-INPUT /usr/share/texmf-dist/tex/latex/auxhook/auxhook.sty
-INPUT /usr/share/texmf-dist/tex/latex/kvoptions/kvoptions.sty
-INPUT /usr/share/texmf-dist/tex/latex/kvoptions/kvoptions.sty
-INPUT /usr/share/texmf-dist/tex/latex/hyperref/pd1enc.def
-INPUT /usr/share/texmf-dist/tex/latex/hyperref/pd1enc.def
-INPUT /usr/share/texmf-dist/tex/generic/intcalc/intcalc.sty
-INPUT /usr/share/texmf-dist/tex/generic/intcalc/intcalc.sty
-INPUT /usr/share/texmf-dist/tex/generic/etexcmds/etexcmds.sty
-INPUT /usr/share/texmf-dist/tex/generic/etexcmds/etexcmds.sty
-INPUT /usr/share/texmf-dist/tex/latex/url/url.sty
-INPUT /usr/share/texmf-dist/tex/latex/url/url.sty
-INPUT /usr/share/texmf-dist/tex/generic/bitset/bitset.sty
-INPUT /usr/share/texmf-dist/tex/generic/bitset/bitset.sty
-INPUT /usr/share/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty
-INPUT /usr/share/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty
-INPUT /usr/share/texmf-dist/tex/latex/hyperref/hpdftex.def
-INPUT /usr/share/texmf-dist/tex/latex/hyperref/hpdftex.def
-INPUT /usr/share/texmf-dist/tex/latex/atveryend/atveryend.sty
-INPUT /usr/share/texmf-dist/tex/latex/atveryend/atveryend.sty
-INPUT /usr/share/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty
-INPUT /usr/share/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty
-INPUT /usr/share/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty
-INPUT /usr/share/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbaserequires.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbaserequires.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasecompatibility.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasecompatibility.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasefont.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasefont.sty
-INPUT /usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty
-INPUT /usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty
-INPUT /usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty
-INPUT /usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasetranslator.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasetranslator.sty
-INPUT /usr/share/texmf-dist/tex/latex/translator/translator.sty
-INPUT /usr/share/texmf-dist/tex/latex/translator/translator.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasemisc.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasemisc.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasetwoscreens.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasetwoscreens.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbaseoverlay.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbaseoverlay.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasetitle.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasetitle.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasesection.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasesection.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbaseframe.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbaseframe.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbaseverbatim.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbaseverbatim.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbaseframesize.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbaseframesize.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbaseframecomponents.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbaseframecomponents.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasecolor.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasecolor.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasenotes.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasenotes.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasetoc.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasetoc.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasetemplates.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasetemplates.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbaseauxtemplates.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbaseauxtemplates.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbaseboxes.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbaseboxes.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbaselocalstructure.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbaselocalstructure.sty
-INPUT /usr/share/texmf-dist/tex/latex/tools/enumerate.sty
-INPUT /usr/share/texmf-dist/tex/latex/tools/enumerate.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasenavigation.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasenavigation.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasetheorems.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasetheorems.sty
-INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty
-INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty
-INPUT /usr/share/texmf-dist/tex/latex/amsmath/amstext.sty
-INPUT /usr/share/texmf-dist/tex/latex/amsmath/amstext.sty
-INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty
-INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty
-INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty
-INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty
-INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty
-INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty
-INPUT /usr/share/texmf-dist/tex/latex/amscls/amsthm.sty
-INPUT /usr/share/texmf-dist/tex/latex/amscls/amsthm.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasethemes.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerbasethemes.sty
-INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmss10.tfm
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerthemedefault.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerthemedefault.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerfontthemedefault.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerfontthemedefault.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamercolorthemedefault.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamercolorthemedefault.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerinnerthemedefault.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerinnerthemedefault.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamericonbook.pdf
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamer.cls
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamer.cls
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasemodes.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasemodes.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/etoolbox/etoolbox.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/etoolbox/etoolbox.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasedecode.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasedecode.sty
+INPUT /usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifpdf.sty
+INPUT /usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifpdf.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseoptions.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseoptions.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/geometry/geometry.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/geometry/geometry.sty
+INPUT /usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifvtex.sty
+INPUT /usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifvtex.sty
+INPUT /usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty
+INPUT /usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/base/size11.clo
+INPUT /usr/share/texlive/texmf-dist/tex/latex/base/size11.clo
+INPUT /usr/share/texlive/texmf-dist/fonts/map/fontname/texfonts.map
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr10.tfm
+INPUT /usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg
+INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg
+INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def
+INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def
+INPUT /usr/share/texlive/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
+INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex
+INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common-lists.tex
+INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def
+INPUT /usr/share/texlive/texmf-dist/tex/latex/ms/everyshi.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/ms/everyshi.sty
+INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex
+INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex
+INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex
+INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex
+INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
+INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.tex
+INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg
+INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def
+INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def
+INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def
+INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex
+INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex
+INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex
+INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex
+INPUT /usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg
+INPUT /usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg
+INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex
+INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex
+INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex
+INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex
+INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex
+INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex
+INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex
+INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code.tex
+INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonometric.code.tex
+INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code.tex
+INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison.code.tex
+INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.tex
+INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code.tex
+INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex
+INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerarithmetics.code.tex
+INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex
+INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex
+INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.tex
+INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex
+INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex
+INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex
+INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations.code.tex
+INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex
+INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex
+INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code.tex
+INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex
+INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex
+INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex
+INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex
+INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex
+INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.code.tex
+INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex
+INPUT /usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/xxcolor.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/xxcolor.sty
+INPUT /usr/share/texlive/texmf-dist/tex/generic/oberdiek/atbegshi.sty
+INPUT /usr/share/texlive/texmf-dist/tex/generic/oberdiek/atbegshi.sty
+INPUT /usr/share/texlive/texmf-dist/tex/generic/oberdiek/infwarerr.sty
+INPUT /usr/share/texlive/texmf-dist/tex/generic/oberdiek/infwarerr.sty
+INPUT /usr/share/texlive/texmf-dist/tex/generic/oberdiek/ltxcmds.sty
+INPUT /usr/share/texlive/texmf-dist/tex/generic/oberdiek/ltxcmds.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty
+INPUT /usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty
+INPUT /usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty
+INPUT /usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty
+INPUT /usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty
+INPUT /usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/oberdiek/auxhook.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/oberdiek/auxhook.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def
+INPUT /usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def
+INPUT /usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg
+INPUT /usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg
+INPUT /usr/share/texlive/texmf-dist/tex/latex/url/url.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/url/url.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def
+INPUT /usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def
+INPUT /usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaserequires.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaserequires.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasecompatibility.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasecompatibility.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasefont.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasefont.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/sansmathaccent/sansmathaccent.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/sansmathaccent/sansmathaccent.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/sansmathaccent/sansmathaccent.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/filehook/filehook.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/filehook/filehook.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/filehook/filehook.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetranslator.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetranslator.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/translator/translator.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/translator/translator.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasemisc.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasemisc.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetwoscreens.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetwoscreens.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseoverlay.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseoverlay.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetitle.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetitle.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasesection.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasesection.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseframe.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseframe.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseverbatim.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseverbatim.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseframesize.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseframesize.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseframecomponents.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseframecomponents.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasecolor.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasecolor.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasenotes.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasenotes.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetoc.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetoc.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetemplates.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetemplates.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseauxtemplates.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseauxtemplates.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseboxes.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseboxes.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaselocalstructure.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaselocalstructure.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/tools/enumerate.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/tools/enumerate.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasenavigation.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasenavigation.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetheorems.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetheorems.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/amscls/amsthm.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/amscls/amsthm.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasethemes.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasethemes.sty
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss10.tfm
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerthemedefault.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerthemedefault.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerfontthemedefault.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerfontthemedefault.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamercolorthemedefault.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamercolorthemedefault.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerinnerthemedefault.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerinnerthemedefault.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamericonbook.pdf
 OUTPUT preplogic-slides.pdf
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamericonbook.pdf
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamericonbook.20.pdf
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamericonbook.20.pdf
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamericonarticle.pdf
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamericonarticle.pdf
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamericonarticle.20.pdf
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamericonarticle.20.pdf
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamericononline.pdf
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamericononline.pdf
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamericononline.20.pdf
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamericononline.20.pdf
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerouterthemedefault.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerouterthemedefault.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerthemeMadrid.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerthemeMadrid.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamercolorthemewhale.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamercolorthemewhale.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamercolorthemeorchid.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamercolorthemeorchid.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerinnerthemerounded.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerinnerthemerounded.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerouterthemeinfolines.sty
-INPUT /usr/share/texmf-dist/tex/latex/beamer/beamerouterthemeinfolines.sty
-INPUT /usr/share/texmf-dist/tex/latex/base/inputenc.sty
-INPUT /usr/share/texmf-dist/tex/latex/base/inputenc.sty
-INPUT /usr/share/texmf-dist/tex/latex/setspace/setspace.sty
-INPUT /usr/share/texmf-dist/tex/latex/setspace/setspace.sty
-INPUT /usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdfmode.def
-INPUT /usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdfmode.def
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamericonbook.pdf
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamericonbook.20.pdf
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamericonbook.20.pdf
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamericonarticle.pdf
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamericonarticle.pdf
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamericonarticle.20.pdf
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamericonarticle.20.pdf
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamericononline.pdf
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamericononline.pdf
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamericononline.20.pdf
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamericononline.20.pdf
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerouterthemedefault.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerouterthemedefault.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerthemeMadrid.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerthemeMadrid.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamercolorthemewhale.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamercolorthemewhale.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamercolorthemeorchid.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamercolorthemeorchid.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerinnerthemerounded.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerinnerthemerounded.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerouterthemeinfolines.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/beamer/beamerouterthemeinfolines.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/base/utf8.def
+INPUT /usr/share/texlive/texmf-dist/tex/latex/base/utf8.def
+INPUT /usr/share/texlive/texmf-dist/tex/latex/base/t1enc.dfu
+INPUT /usr/share/texlive/texmf-dist/tex/latex/base/t1enc.dfu
+INPUT /usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.dfu
+INPUT /usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.dfu
+INPUT /usr/share/texlive/texmf-dist/tex/latex/base/omsenc.dfu
+INPUT /usr/share/texlive/texmf-dist/tex/latex/base/omsenc.dfu
+INPUT /usr/share/texlive/texmf-dist/tex/latex/setspace/setspace.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/setspace/setspace.sty
 INPUT preplogic-slides.aux
 INPUT preplogic-slides.aux
 OUTPUT preplogic-slides.aux
-INPUT /usr/share/texmf-dist/tex/context/base/mkii/supp-pdf.mkii
-INPUT /usr/share/texmf-dist/tex/context/base/mkii/supp-pdf.mkii
-INPUT /usr/share/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty
-INPUT /usr/share/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty
-INPUT /usr/share/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg
-INPUT /usr/share/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg
-INPUT /usr/share/texmf-dist/tex/latex/hyperref/nameref.sty
-INPUT /usr/share/texmf-dist/tex/latex/hyperref/nameref.sty
-INPUT /usr/share/texmf-dist/tex/latex/refcount/refcount.sty
-INPUT /usr/share/texmf-dist/tex/latex/refcount/refcount.sty
-INPUT /usr/share/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty
-INPUT /usr/share/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty
+INPUT /usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii
+INPUT /usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii
+INPUT /usr/share/texlive/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/oberdiek/grfext.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/oberdiek/grfext.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg
+INPUT /usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg
+INPUT /usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
+INPUT /usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
+INPUT /usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty
+INPUT /usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty
 INPUT preplogic-slides.out
 INPUT preplogic-slides.out
 INPUT preplogic-slides.out
@@ -276,35 +269,35 @@ INPUT preplogic-slides.out
 INPUT ./preplogic-slides.out
 INPUT ./preplogic-slides.out
 OUTPUT preplogic-slides.out
-INPUT /usr/share/texmf-dist/tex/latex/translator/translator-basic-dictionary-English.dict
-INPUT /usr/share/texmf-dist/tex/latex/translator/translator-basic-dictionary-English.dict
-INPUT /usr/share/texmf-dist/tex/latex/translator/translator-bibliography-dictionary-English.dict
-INPUT /usr/share/texmf-dist/tex/latex/translator/translator-bibliography-dictionary-English.dict
-INPUT /usr/share/texmf-dist/tex/latex/translator/translator-environment-dictionary-English.dict
-INPUT /usr/share/texmf-dist/tex/latex/translator/translator-environment-dictionary-English.dict
-INPUT /usr/share/texmf-dist/tex/latex/translator/translator-months-dictionary-English.dict
-INPUT /usr/share/texmf-dist/tex/latex/translator/translator-months-dictionary-English.dict
-INPUT /usr/share/texmf-dist/tex/latex/translator/translator-numbers-dictionary-English.dict
-INPUT /usr/share/texmf-dist/tex/latex/translator/translator-numbers-dictionary-English.dict
-INPUT /usr/share/texmf-dist/tex/latex/translator/translator-theorem-dictionary-English.dict
-INPUT /usr/share/texmf-dist/tex/latex/translator/translator-theorem-dictionary-English.dict
+INPUT /usr/share/texlive/texmf-dist/tex/latex/translator/translator-basic-dictionary-English.dict
+INPUT /usr/share/texlive/texmf-dist/tex/latex/translator/translator-basic-dictionary-English.dict
+INPUT /usr/share/texlive/texmf-dist/tex/latex/translator/translator-bibliography-dictionary-English.dict
+INPUT /usr/share/texlive/texmf-dist/tex/latex/translator/translator-bibliography-dictionary-English.dict
+INPUT /usr/share/texlive/texmf-dist/tex/latex/translator/translator-environment-dictionary-English.dict
+INPUT /usr/share/texlive/texmf-dist/tex/latex/translator/translator-environment-dictionary-English.dict
+INPUT /usr/share/texlive/texmf-dist/tex/latex/translator/translator-months-dictionary-English.dict
+INPUT /usr/share/texlive/texmf-dist/tex/latex/translator/translator-months-dictionary-English.dict
+INPUT /usr/share/texlive/texmf-dist/tex/latex/translator/translator-numbers-dictionary-English.dict
+INPUT /usr/share/texlive/texmf-dist/tex/latex/translator/translator-numbers-dictionary-English.dict
+INPUT /usr/share/texlive/texmf-dist/tex/latex/translator/translator-theorem-dictionary-English.dict
+INPUT /usr/share/texlive/texmf-dist/tex/latex/translator/translator-theorem-dictionary-English.dict
 INPUT preplogic-slides.nav
 INPUT preplogic-slides.nav
-INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmss8.tfm
-INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmss12.tfm
-INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmss8.tfm
-INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmss8.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss8.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss12.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss8.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss8.tfm
 INPUT unilu.jpg
 INPUT ./unilu.jpg
 INPUT ./unilu.jpg
-INPUT /usr/share/texmf-dist/fonts/map/pdftex/updmap/pdftex.map
+INPUT /var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map
 INPUT preplogic-slides.toc
 INPUT preplogic-slides.toc
-INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmssbx10.tfm
-INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmtt10.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmssbx10.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmtt10.tfm
 INPUT unilu.jpg
 INPUT ./unilu.jpg
-INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmss12.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss12.tfm
 INPUT unilu.jpg
 INPUT ./unilu.jpg
 INPUT unilu.jpg
@@ -319,33 +312,36 @@ INPUT unilu.jpg
 INPUT ./unilu.jpg
 INPUT unilu.jpg
 INPUT ./unilu.jpg
-INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmssi10.tfm
-INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi10.tfm
-INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm
-INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm
-INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm
-INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm
-INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm
-INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmex10.tfm
-INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex8.tfm
-INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm
-INPUT /usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd
-INPUT /usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd
-INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm
-INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm
-INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm
-INPUT /usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd
-INPUT /usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd
-INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm
-INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm
-INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm
-INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmssi8.tfm
-INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmssi8.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmssi10.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi10.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmex10.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex8.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm
+INPUT /usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd
+INPUT /usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm
+INPUT /usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd
+INPUT /usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm
+INPUT /usr/share/texlive/texmf-dist/tex/latex/sansmathaccent/ot1mathkerncmss.fd
+INPUT /usr/share/texlive/texmf-dist/tex/latex/sansmathaccent/ot1mathkerncmss.fd
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/sansmathaccent/mathkerncmssi10.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/sansmathaccent/mathkerncmssi8.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/sansmathaccent/mathkerncmssi8.tfm
 INPUT unilu.jpg
 INPUT ./unilu.jpg
 INPUT unilu.jpg
 INPUT ./unilu.jpg
-INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmssbx10.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmssbx10.tfm
 INPUT unilu.jpg
 INPUT ./unilu.jpg
 INPUT unilu.jpg
@@ -364,21 +360,21 @@ INPUT unilu.jpg
 INPUT ./unilu.jpg
 INPUT unilu.jpg
 INPUT ./unilu.jpg
-INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmss9.tfm
-INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmss8.tfm
-INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi9.tfm
-INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmsy9.tfm
-INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex9.tfm
-INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm
-INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm
-INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm
-INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm
-INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm
-INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmssi9.tfm
-INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmssi8.tfm
-INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmssbx10.tfm
-INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmssbx10.tfm
-INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmssbx10.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss9.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss8.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi9.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy9.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex9.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/sansmathaccent/mathkerncmssi9.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/sansmathaccent/mathkerncmssi8.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmssbx10.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmssbx10.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmssbx10.tfm
 INPUT unilu.jpg
 INPUT ./unilu.jpg
 INPUT unilu.jpg
@@ -407,14 +403,14 @@ INPUT unilu.jpg
 INPUT ./unilu.jpg
 INPUT unilu.jpg
 INPUT ./unilu.jpg
-INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmss10.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss10.tfm
 INPUT unilu.jpg
 INPUT ./unilu.jpg
 INPUT unilu.jpg
 INPUT ./unilu.jpg
 INPUT unilu.jpg
 INPUT ./unilu.jpg
-INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmss17.tfm
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss17.tfm
 INPUT unilu.jpg
 INPUT ./unilu.jpg
 INPUT unilu.jpg
@@ -449,7 +445,9 @@ INPUT unilu.jpg
 INPUT ./unilu.jpg
 INPUT unilu.jpg
 INPUT ./unilu.jpg
-INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmssbx10.tfm
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmssbx10.tfm
 INPUT unilu.jpg
 INPUT ./unilu.jpg
 INPUT unilu.jpg
@@ -490,17 +488,17 @@ OUTPUT preplogic-slides.snm
 INPUT preplogic-slides.aux
 INPUT ./preplogic-slides.out
 INPUT ./preplogic-slides.out
-INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb
-INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss10.pfb
-INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss12.pfb
-INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss17.pfb
-INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss8.pfb
-INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss9.pfb
-INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssbx10.pfb
-INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi10.pfb
-INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi8.pfb
-INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi9.pfb
-INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb
-INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy9.pfb
-INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.pfb
-INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb
+INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb
+INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmss10.pfb
+INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmss12.pfb
+INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmss17.pfb
+INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmss8.pfb
+INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmss9.pfb
+INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmssbx10.pfb
+INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi10.pfb
+INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi8.pfb
+INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi9.pfb
+INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb
+INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy9.pfb
+INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.pfb
+INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb