From a911f938427ec88618b6b1507ac3929616c770f7 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Tue, 8 Sep 2020 08:41:13 +0200 Subject: Minor fixes --- slides/preplogic-slides.fls | 676 ++++++++++++++++++++++---------------------- 1 file changed, 337 insertions(+), 339 deletions(-) (limited to 'slides/preplogic-slides.fls') 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 -- cgit v1.3