From 4ca009f025a29351bcf1160cd68d513f04687713 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Sun, 6 Sep 2020 18:04:41 +0200 Subject: First commit --- slides/preplogic-slides.fls | 502 ++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 502 insertions(+) create mode 100644 slides/preplogic-slides.fls (limited to 'slides/preplogic-slides.fls') 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 -- cgit v1.3