First commit

1 files changed, 502 insertions, 0 deletions

diff --git a/slides/preplogic-slides.fls b/slides/preplogic-slides.fls
new file mode 100644
index 0000000..fa85ddc
--- /dev/null
+++ b/slides/preplogic-slides.fls
@@ -0,0 +1,502 @@
+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 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
+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 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 preplogic-slides.out
+INPUT preplogic-slides.out
+INPUT preplogic-slides.out
+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 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 unilu.jpg
+INPUT ./unilu.jpg
+INPUT ./unilu.jpg
+INPUT /usr/share/texmf-dist/fonts/map/pdftex/updmap/pdftex.map
+INPUT preplogic-slides.toc
+INPUT preplogic-slides.toc
+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/cmssi10.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/texmf-dist/fonts/tfm/public/cm/cmssbx10.tfm
+INPUT /usr/share/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 unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+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/cmssbx10.tfm
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+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/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 unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+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/cmss10.tfm
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+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/cmssbx10.tfm
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+INPUT unilu.jpg
+INPUT ./unilu.jpg
+OUTPUT preplogic-slides.nav
+OUTPUT preplogic-slides.toc
+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/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