First commit

1 files changed, 1210 insertions, 0 deletions

diff --git a/slides/preplogic-slides.log b/slides/preplogic-slides.log
new file mode 100644
index 0000000..84c03e8
--- /dev/null
+++ b/slides/preplogic-slides.log
@@ -0,0 +1,1210 @@
+This is pdfTeX, Version 3.14159265-2.6-1.40.21 (TeX Live 2020/VoidLinux) (preloaded format=pdflatex 2020.8.29)  6 SEP 2020 17:56
+entering extended mode
+ restricted \write18 enabled.
+ file:line:error style messages enabled.
+ %&-line parsing enabled.
+**preplogic-slides.tex
+(./preplogic-slides.tex
+LaTeX2e <2020-02-02> patch level 5
+L3 programming layer <2020-06-03> (/usr/share/texmf-dist/tex/latex/beamer/beamer.cls
+Document Class: beamer 2020/05/06 v3.58 A class for typesetting presentations
+(/usr/share/texmf-dist/tex/latex/beamer/beamerbasemodes.sty (/usr/share/texmf-dist/tex/latex/etoolbox/etoolbox.sty
+Package: etoolbox 2019/09/21 v2.5h e-TeX tools for LaTeX (JAW)
+\etb@tempcnta=\count167
+)
+\beamer@tempbox=\box45
+\beamer@tempcount=\count168
+\c@beamerpauses=\count169
+ (/usr/share/texmf-dist/tex/latex/beamer/beamerbasedecode.sty
+\beamer@slideinframe=\count170
+\beamer@minimum=\count171
+\beamer@decode@box=\box46
+)
+\beamer@commentbox=\box47
+\beamer@modecount=\count172
+) (/usr/share/texmf-dist/tex/generic/iftex/ifpdf.sty
+Package: ifpdf 2019/10/25 v3.4 ifpdf legacy package. Use iftex instead.
+ (/usr/share/texmf-dist/tex/generic/iftex/iftex.sty
+Package: iftex 2020/03/06 v1.0d TeX engine tests
+))
+\headdp=\dimen134
+\footheight=\dimen135
+\sidebarheight=\dimen136
+\beamer@tempdim=\dimen137
+\beamer@finalheight=\dimen138
+\beamer@animht=\dimen139
+\beamer@animdp=\dimen140
+\beamer@animwd=\dimen141
+\beamer@leftmargin=\dimen142
+\beamer@rightmargin=\dimen143
+\beamer@leftsidebar=\dimen144
+\beamer@rightsidebar=\dimen145
+\beamer@boxsize=\dimen146
+\beamer@vboxoffset=\dimen147
+\beamer@descdefault=\dimen148
+\beamer@descriptionwidth=\dimen149
+\beamer@lastskip=\skip47
+\beamer@areabox=\box48
+\beamer@animcurrent=\box49
+\beamer@animshowbox=\box50
+\beamer@sectionbox=\box51
+\beamer@logobox=\box52
+\beamer@linebox=\box53
+\beamer@sectioncount=\count173
+\beamer@subsubsectionmax=\count174
+\beamer@subsectionmax=\count175
+\beamer@sectionmax=\count176
+\beamer@totalheads=\count177
+\beamer@headcounter=\count178
+\beamer@partstartpage=\count179
+\beamer@sectionstartpage=\count180
+\beamer@subsectionstartpage=\count181
+\beamer@animationtempa=\count182
+\beamer@animationtempb=\count183
+\beamer@xpos=\count184
+\beamer@ypos=\count185
+\beamer@ypos@offset=\count186
+\beamer@showpartnumber=\count187
+\beamer@currentsubsection=\count188
+\beamer@coveringdepth=\count189
+\beamer@sectionadjust=\count190
+\beamer@tocsectionnumber=\count191
+ (/usr/share/texmf-dist/tex/latex/beamer/beamerbaseoptions.sty (/usr/share/texmf-dist/tex/latex/graphics/keyval.sty
+Package: keyval 2014/10/28 v1.15 key=value parser (DPC)
+\KV@toks@=\toks15
+))
+\beamer@paperwidth=\skip48
+\beamer@paperheight=\skip49
+ (/usr/share/texmf-dist/tex/latex/geometry/geometry.sty
+Package: geometry 2020/01/02 v5.9 Page Geometry
+ (/usr/share/texmf-dist/tex/generic/iftex/ifvtex.sty
+Package: ifvtex 2019/10/25 v1.7 ifvtex legacy package. Use iftex instead.
+)
+\Gm@cnth=\count192
+\Gm@cntv=\count193
+\c@Gm@tempcnt=\count194
+\Gm@bindingoffset=\dimen150
+\Gm@wd@mp=\dimen151
+\Gm@odd@mp=\dimen152
+\Gm@even@mp=\dimen153
+\Gm@layoutwidth=\dimen154
+\Gm@layoutheight=\dimen155
+\Gm@layouthoffset=\dimen156
+\Gm@layoutvoffset=\dimen157
+\Gm@dimlist=\toks16
+) (/usr/share/texmf-dist/tex/latex/base/size11.clo
+File: size11.clo 2019/12/20 v1.4l Standard LaTeX file (size option)
+) (/usr/share/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty (/usr/share/texmf-dist/tex/latex/graphics/graphicx.sty
+Package: graphicx 2019/11/30 v1.2a Enhanced LaTeX Graphics (DPC,SPQR)
+ (/usr/share/texmf-dist/tex/latex/graphics/graphics.sty
+Package: graphics 2019/11/30 v1.4a Standard LaTeX Graphics (DPC,SPQR)
+ (/usr/share/texmf-dist/tex/latex/graphics/trig.sty
+Package: trig 2016/01/03 v1.10 sin cos tan (DPC)
+) (/usr/share/texmf-dist/tex/latex/graphics-cfg/graphics.cfg
+File: graphics.cfg 2016/06/04 v1.11 sample graphics configuration
+)
+Package graphics Info: Driver file: pdftex.def on input line 105.
+ (/usr/share/texmf-dist/tex/latex/graphics-def/pdftex.def
+File: pdftex.def 2018/01/08 v1.0l Graphics/color driver for pdftex
+))
+\Gin@req@height=\dimen158
+\Gin@req@width=\dimen159
+) (/usr/share/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty (/usr/share/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty (/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex
+\pgfutil@everybye=\toks17
+\pgfutil@tempdima=\dimen160
+\pgfutil@tempdimb=\dimen161
+ (/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-common-lists.tex)) (/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def
+\pgfutil@abb=\box54
+ (/usr/share/texmf-dist/tex/latex/ms/everyshi.sty
+Package: everyshi 2001/05/15 v3.00 EveryShipout Package (MS)
+)) (/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex (/usr/share/texmf-dist/tex/generic/pgf/pgf.revision.tex)
+Package: pgfrcs 2020/01/08 v3.1.5b (3.1.5b)
+)) (/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex
+Package: pgfsys 2020/01/08 v3.1.5b (3.1.5b)
+ (/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
+\pgfkeys@pathtoks=\toks18
+\pgfkeys@temptoks=\toks19
+ (/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.tex
+\pgfkeys@tmptoks=\toks20
+))
+\pgf@x=\dimen162
+\pgf@y=\dimen163
+\pgf@xa=\dimen164
+\pgf@ya=\dimen165
+\pgf@xb=\dimen166
+\pgf@yb=\dimen167
+\pgf@xc=\dimen168
+\pgf@yc=\dimen169
+\pgf@xd=\dimen170
+\pgf@yd=\dimen171
+\w@pgf@writea=\write3
+\r@pgf@reada=\read2
+\c@pgf@counta=\count195
+\c@pgf@countb=\count196
+\c@pgf@countc=\count197
+\c@pgf@countd=\count198
+\t@pgf@toka=\toks21
+\t@pgf@tokb=\toks22
+\t@pgf@tokc=\toks23
+\pgf@sys@id@count=\count199
+ (/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg
+File: pgf.cfg 2020/01/08 v3.1.5b (3.1.5b)
+)
+Driver file for pgf: pgfsys-pdftex.def
+ (/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def
+File: pgfsys-pdftex.def 2020/01/08 v3.1.5b (3.1.5b)
+ (/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def
+File: pgfsys-common-pdf.def 2020/01/08 v3.1.5b (3.1.5b)
+))) (/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex
+File: pgfsyssoftpath.code.tex 2020/01/08 v3.1.5b (3.1.5b)
+\pgfsyssoftpath@smallbuffer@items=\count266
+\pgfsyssoftpath@bigbuffer@items=\count267
+) (/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex
+File: pgfsysprotocol.code.tex 2020/01/08 v3.1.5b (3.1.5b)
+))
+(/usr/share/texmf-dist/tex/latex/xcolor/xcolor.sty
+Package: xcolor 2016/05/11 v2.12 LaTeX color extensions (UK)
+ (/usr/share/texmf-dist/tex/latex/graphics-cfg/color.cfg
+File: color.cfg 2016/01/02 v1.6 sample color configuration
+)
+Package xcolor Info: Driver file: pdftex.def on input line 225.
+Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1348.
+Package xcolor Info: Model `hsb' substituted by `rgb' on input line 1352.
+Package xcolor Info: Model `RGB' extended on input line 1364.
+Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1366.
+Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1367.
+Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1368.
+Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1369.
+Package xcolor Info: Model `Gray' substituted by `gray' on input line 1370.
+Package xcolor Info: Model `wave' substituted by `hsb' on input line 1371.
+) (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex
+Package: pgfcore 2020/01/08 v3.1.5b (3.1.5b)
+ (/usr/share/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex (/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex (/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex) (/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex
+\pgfmath@dimen=\dimen172
+\pgfmath@count=\count268
+\pgfmath@box=\box55
+\pgfmath@toks=\toks24
+\pgfmath@stack@operand=\toks25
+\pgfmath@stack@operation=\toks26
+) (/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex (/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code.tex) (/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonometric.code.tex) (/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code.tex) (/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison.code.tex) (/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.tex) (/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code.tex) (/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex) (/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerarithmetics.code.tex))) (/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex
+\c@pgfmathroundto@lastzeros=\count269
+)) (/usr/share/texmf-dist/tex/generic/pgf/math/pgfint.code.tex) (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex
+File: pgfcorepoints.code.tex 2020/01/08 v3.1.5b (3.1.5b)
+\pgf@picminx=\dimen173
+\pgf@picmaxx=\dimen174
+\pgf@picminy=\dimen175
+\pgf@picmaxy=\dimen176
+\pgf@pathminx=\dimen177
+\pgf@pathmaxx=\dimen178
+\pgf@pathminy=\dimen179
+\pgf@pathmaxy=\dimen180
+\pgf@xx=\dimen181
+\pgf@xy=\dimen182
+\pgf@yx=\dimen183
+\pgf@yy=\dimen184
+\pgf@zx=\dimen185
+\pgf@zy=\dimen186
+) (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.tex
+File: pgfcorepathconstruct.code.tex 2020/01/08 v3.1.5b (3.1.5b)
+\pgf@path@lastx=\dimen187
+\pgf@path@lasty=\dimen188
+) (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex
+File: pgfcorepathusage.code.tex 2020/01/08 v3.1.5b (3.1.5b)
+\pgf@shorten@end@additional=\dimen189
+\pgf@shorten@start@additional=\dimen190
+) (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex
+File: pgfcorescopes.code.tex 2020/01/08 v3.1.5b (3.1.5b)
+\pgfpic=\box56
+\pgf@hbox=\box57
+\pgf@layerbox@main=\box58
+\pgf@picture@serial@count=\count270
+) (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex
+File: pgfcoregraphicstate.code.tex 2020/01/08 v3.1.5b (3.1.5b)
+\pgflinewidth=\dimen191
+) (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations.code.tex
+File: pgfcoretransformations.code.tex 2020/01/08 v3.1.5b (3.1.5b)
+\pgf@pt@x=\dimen192
+\pgf@pt@y=\dimen193
+\pgf@pt@temp=\dimen194
+) (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex
+File: pgfcorequick.code.tex 2020/01/08 v3.1.5b (3.1.5b)
+) (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex
+File: pgfcoreobjects.code.tex 2020/01/08 v3.1.5b (3.1.5b)
+) (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code.tex
+File: pgfcorepathprocessing.code.tex 2020/01/08 v3.1.5b (3.1.5b)
+)
+(/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex
+File: pgfcorearrows.code.tex 2020/01/08 v3.1.5b (3.1.5b)
+\pgfarrowsep=\dimen195
+) (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex
+File: pgfcoreshade.code.tex 2020/01/08 v3.1.5b (3.1.5b)
+\pgf@max=\dimen196
+\pgf@sys@shading@range@num=\count271
+\pgf@shadingcount=\count272
+) (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex
+File: pgfcoreimage.code.tex 2020/01/08 v3.1.5b (3.1.5b)
+ (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex
+File: pgfcoreexternal.code.tex 2020/01/08 v3.1.5b (3.1.5b)
+\pgfexternal@startupbox=\box59
+)) (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex
+File: pgfcorelayers.code.tex 2020/01/08 v3.1.5b (3.1.5b)
+) (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.code.tex
+File: pgfcoretransparency.code.tex 2020/01/08 v3.1.5b (3.1.5b)
+) (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex
+File: pgfcorepatterns.code.tex 2020/01/08 v3.1.5b (3.1.5b)
+) (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorerdf.code.tex
+File: pgfcorerdf.code.tex 2020/01/08 v3.1.5b (3.1.5b)
+))) (/usr/share/texmf-dist/tex/latex/pgf/utilities/xxcolor.sty
+Package: xxcolor 2003/10/24 ver 0.1
+\XC@nummixins=\count273
+\XC@countmixins=\count274
+) (/usr/share/texmf-dist/tex/generic/atbegshi/atbegshi.sty
+Package: atbegshi 2019/12/05 v1.19 At begin shipout hook (HO)
+ (/usr/share/texmf-dist/tex/generic/infwarerr/infwarerr.sty
+Package: infwarerr 2019/12/03 v1.5 Providing info/warning/error messages (HO)
+) (/usr/share/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty
+Package: ltxcmds 2019/12/15 v1.24 LaTeX kernel commands for general use (HO)
+)) (/usr/share/texmf-dist/tex/latex/hyperref/hyperref.sty
+Package: hyperref 2020-05-15 v7.00e Hypertext links for LaTeX
+ (/usr/share/texmf-dist/tex/latex/pdftexcmds/pdftexcmds.sty
+Package: pdftexcmds 2020-06-04 v0.32 Utility functions of pdfTeX for LuaTeX (HO)
+Package pdftexcmds Info: \pdf@primitive is available.
+Package pdftexcmds Info: \pdf@ifprimitive is available.
+Package pdftexcmds Info: \pdfdraftmode found.
+) (/usr/share/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty
+Package: kvsetkeys 2019/12/15 v1.18 Key value parser (HO)
+) (/usr/share/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty
+Package: kvdefinekeys 2019-12-19 v1.6 Define keys (HO)
+) (/usr/share/texmf-dist/tex/generic/pdfescape/pdfescape.sty
+Package: pdfescape 2019/12/09 v1.15 Implements pdfTeX's escape features (HO)
+) (/usr/share/texmf-dist/tex/latex/hycolor/hycolor.sty
+Package: hycolor 2020-01-27 v1.10 Color options for hyperref/bookmark (HO)
+) (/usr/share/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty
+Package: letltxmacro 2019/12/03 v1.6 Let assignment for LaTeX macros (HO)
+) (/usr/share/texmf-dist/tex/latex/auxhook/auxhook.sty
+Package: auxhook 2019-12-17 v1.6 Hooks for auxiliary files (HO)
+) (/usr/share/texmf-dist/tex/latex/kvoptions/kvoptions.sty
+Package: kvoptions 2019/11/29 v3.13 Key value format for package options (HO)
+)
+\@linkdim=\dimen197
+\Hy@linkcounter=\count275
+\Hy@pagecounter=\count276
+ (/usr/share/texmf-dist/tex/latex/hyperref/pd1enc.def
+File: pd1enc.def 2020-05-15 v7.00e Hyperref: PDFDocEncoding definition (HO)
+Now handling font encoding PD1 ...
+... no UTF-8 mapping file for font encoding PD1
+) (/usr/share/texmf-dist/tex/generic/intcalc/intcalc.sty
+Package: intcalc 2019/12/15 v1.3 Expandable calculations with integers (HO)
+) (/usr/share/texmf-dist/tex/generic/etexcmds/etexcmds.sty
+Package: etexcmds 2019/12/15 v1.7 Avoid name clashes with e-TeX commands (HO)
+)
+\Hy@SavedSpaceFactor=\count277
+Package hyperref Info: Option `bookmarks' set `true' on input line 4338.
+Package hyperref Info: Option `bookmarksopen' set `true' on input line 4338.
+Package hyperref Info: Option `implicit' set `false' on input line 4338.
+Package hyperref Info: Hyper figures OFF on input line 4464.
+Package hyperref Info: Link nesting OFF on input line 4469.
+Package hyperref Info: Hyper index ON on input line 4472.
+Package hyperref Info: Plain pages OFF on input line 4479.
+Package hyperref Info: Backreferencing OFF on input line 4484.
+Package hyperref Info: Implicit mode OFF; no redefinition of LaTeX internals.
+Package hyperref Info: Bookmarks ON on input line 4717.
+\c@Hy@tempcnt=\count278
+ (/usr/share/texmf-dist/tex/latex/url/url.sty
+\Urlmuskip=\muskip16
+Package: url 2013/09/16  ver 3.4  Verb mode for urls, etc.
+)
+LaTeX Info: Redefining \url on input line 5076.
+\XeTeXLinkMargin=\dimen198
+ (/usr/share/texmf-dist/tex/generic/bitset/bitset.sty
+Package: bitset 2019/12/09 v1.3 Handle bit-vector datatype (HO)
+ (/usr/share/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty
+Package: bigintcalc 2019/12/15 v1.5 Expandable calculations on big integers (HO)
+))
+\Fld@menulength=\count279
+\Field@Width=\dimen199
+\Fld@charsize=\dimen256
+Package hyperref Info: Hyper figures OFF on input line 6347.
+Package hyperref Info: Link nesting OFF on input line 6352.
+Package hyperref Info: Hyper index ON on input line 6355.
+Package hyperref Info: backreferencing OFF on input line 6362.
+Package hyperref Info: Link coloring OFF on input line 6367.
+Package hyperref Info: Link coloring with OCG OFF on input line 6372.
+Package hyperref Info: PDF/A mode OFF on input line 6377.
+LaTeX Info: Redefining \ref on input line 6417.
+LaTeX Info: Redefining \pageref on input line 6421.
+\Hy@abspage=\count280
+
+
+Package hyperref Message: Stopped early.
+
+)
+Package hyperref Info: Driver (autodetected): hpdftex.
+ (/usr/share/texmf-dist/tex/latex/hyperref/hpdftex.def
+File: hpdftex.def 2020-05-15 v7.00e Hyperref driver for pdfTeX
+ (/usr/share/texmf-dist/tex/latex/atveryend/atveryend.sty
+Package: atveryend 2019-12-11 v1.11 Hooks at the very end of document (HO)
+)
+\Fld@listcount=\count281
+\c@bookmark@seq@number=\count282
+ (/usr/share/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty
+Package: rerunfilecheck 2019/12/05 v1.9 Rerun checks for auxiliary files (HO)
+ (/usr/share/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty
+Package: uniquecounter 2019/12/15 v1.4 Provide unlimited unique counter (HO)
+)
+Package uniquecounter Info: New unique counter `rerunfilecheck' on input line 286.
+)) (/usr/share/texmf-dist/tex/latex/beamer/beamerbaserequires.sty (/usr/share/texmf-dist/tex/latex/beamer/beamerbasecompatibility.sty) (/usr/share/texmf-dist/tex/latex/beamer/beamerbasefont.sty (/usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty
+Package: amssymb 2013/01/14 v3.01 AMS font symbols
+ (/usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty
+Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support
+\@emptytoks=\toks27
+\symAMSa=\mathgroup4
+\symAMSb=\mathgroup5
+LaTeX Font Info:    Redeclaring math symbol \hbar on input line 98.
+LaTeX Font Info:    Overwriting math alphabet `\mathfrak' in version `bold'
+(Font)                  U/euf/m/n --> U/euf/b/n on input line 106.
+))) (/usr/share/texmf-dist/tex/latex/beamer/beamerbasetranslator.sty (/usr/share/texmf-dist/tex/latex/translator/translator.sty
+Package: translator 2019-05-31 v1.12a Easy translation of strings in LaTeX
+)) (/usr/share/texmf-dist/tex/latex/beamer/beamerbasemisc.sty) (/usr/share/texmf-dist/tex/latex/beamer/beamerbasetwoscreens.sty) (/usr/share/texmf-dist/tex/latex/beamer/beamerbaseoverlay.sty
+\beamer@argscount=\count283
+\beamer@lastskipcover=\skip50
+\beamer@trivlistdepth=\count284
+) (/usr/share/texmf-dist/tex/latex/beamer/beamerbasetitle.sty) (/usr/share/texmf-dist/tex/latex/beamer/beamerbasesection.sty
+\c@lecture=\count285
+\c@part=\count286
+\c@section=\count287
+\c@subsection=\count288
+\c@subsubsection=\count289
+) (/usr/share/texmf-dist/tex/latex/beamer/beamerbaseframe.sty
+\beamer@framebox=\box60
+\beamer@frametitlebox=\box61
+\beamer@zoombox=\box62
+\beamer@zoomcount=\count290
+\beamer@zoomframecount=\count291
+\beamer@frametextheight=\dimen257
+\c@subsectionslide=\count292
+\beamer@frametopskip=\skip51
+\beamer@framebottomskip=\skip52
+\beamer@frametopskipautobreak=\skip53
+\beamer@framebottomskipautobreak=\skip54
+\beamer@envbody=\toks28
+\framewidth=\dimen258
+\c@framenumber=\count293
+) (/usr/share/texmf-dist/tex/latex/beamer/beamerbaseverbatim.sty
+\beamer@verbatimfileout=\write4
+) (/usr/share/texmf-dist/tex/latex/beamer/beamerbaseframesize.sty
+\beamer@splitbox=\box63
+\beamer@autobreakcount=\count294
+\beamer@autobreaklastheight=\dimen259
+\beamer@frametitletoks=\toks29
+\beamer@framesubtitletoks=\toks30
+) (/usr/share/texmf-dist/tex/latex/beamer/beamerbaseframecomponents.sty
+\beamer@footins=\box64
+) (/usr/share/texmf-dist/tex/latex/beamer/beamerbasecolor.sty) (/usr/share/texmf-dist/tex/latex/beamer/beamerbasenotes.sty
+\beamer@frameboxcopy=\box65
+) (/usr/share/texmf-dist/tex/latex/beamer/beamerbasetoc.sty) (/usr/share/texmf-dist/tex/latex/beamer/beamerbasetemplates.sty
+\beamer@sbttoks=\toks31
+ (/usr/share/texmf-dist/tex/latex/beamer/beamerbaseauxtemplates.sty (/usr/share/texmf-dist/tex/latex/beamer/beamerbaseboxes.sty
+\bmb@box=\box66
+\bmb@colorbox=\box67
+\bmb@boxshadow=\box68
+\bmb@boxshadowball=\box69
+\bmb@boxshadowballlarge=\box70
+\bmb@temp=\dimen260
+\bmb@dima=\dimen261
+\bmb@dimb=\dimen262
+\bmb@prevheight=\dimen263
+)
+\beamer@blockheadheight=\dimen264
+)) (/usr/share/texmf-dist/tex/latex/beamer/beamerbaselocalstructure.sty (/usr/share/texmf-dist/tex/latex/tools/enumerate.sty
+Package: enumerate 2015/07/23 v3.00 enumerate extensions (DPC)
+\@enLab=\toks32
+)
+\c@figure=\count295
+\c@table=\count296
+\abovecaptionskip=\skip55
+\belowcaptionskip=\skip56
+) (/usr/share/texmf-dist/tex/latex/beamer/beamerbasenavigation.sty
+\beamer@section@min@dim=\dimen265
+) (/usr/share/texmf-dist/tex/latex/beamer/beamerbasetheorems.sty (/usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty
+Package: amsmath 2020/01/20 v2.17e AMS math features
+\@mathmargin=\skip57
+
+For additional information on amsmath, use the `?' option.
+(/usr/share/texmf-dist/tex/latex/amsmath/amstext.sty
+Package: amstext 2000/06/29 v2.01 AMS text
+ (/usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty
+File: amsgen.sty 1999/11/30 v2.0 generic functions
+\@emptytoks=\toks33
+\ex@=\dimen266
+)) (/usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty
+Package: amsbsy 1999/11/29 v1.2d Bold Symbols
+\pmbraise@=\dimen267
+) (/usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty
+Package: amsopn 2016/03/08 v2.02 operator names
+)
+\inf@bad=\count297
+LaTeX Info: Redefining \frac on input line 227.
+\uproot@=\count298
+\leftroot@=\count299
+LaTeX Info: Redefining \overline on input line 389.
+\classnum@=\count300
+\DOTSCASE@=\count301
+LaTeX Info: Redefining \ldots on input line 486.
+LaTeX Info: Redefining \dots on input line 489.
+LaTeX Info: Redefining \cdots on input line 610.
+\Mathstrutbox@=\box71
+\strutbox@=\box72
+\big@size=\dimen268
+LaTeX Font Info:    Redeclaring font encoding OML on input line 733.
+LaTeX Font Info:    Redeclaring font encoding OMS on input line 734.
+\macc@depth=\count302
+\c@MaxMatrixCols=\count303
+\dotsspace@=\muskip17
+\c@parentequation=\count304
+\dspbrk@lvl=\count305
+\tag@help=\toks34
+\row@=\count306
+\column@=\count307
+\maxfields@=\count308
+\andhelp@=\toks35
+\eqnshift@=\dimen269
+\alignsep@=\dimen270
+\tagshift@=\dimen271
+\tagwidth@=\dimen272
+\totwidth@=\dimen273
+\lineht@=\dimen274
+\@envbody=\toks36
+\multlinegap=\skip58
+\multlinetaggap=\skip59
+\mathdisplay@stack=\toks37
+LaTeX Info: Redefining \[ on input line 2859.
+LaTeX Info: Redefining \] on input line 2860.
+) (/usr/share/texmf-dist/tex/latex/amscls/amsthm.sty
+Package: amsthm 2020/05/29 v2.20.6
+\thm@style=\toks38
+\thm@bodyfont=\toks39
+\thm@headfont=\toks40
+\thm@notefont=\toks41
+\thm@headpunct=\toks42
+\thm@preskip=\skip60
+\thm@postskip=\skip61
+\thm@headsep=\skip62
+\dth@everypar=\toks43
+)
+\c@theorem=\count309
+) (/usr/share/texmf-dist/tex/latex/beamer/beamerbasethemes.sty)) (/usr/share/texmf-dist/tex/latex/beamer/beamerthemedefault.sty (/usr/share/texmf-dist/tex/latex/beamer/beamerfontthemedefault.sty) (/usr/share/texmf-dist/tex/latex/beamer/beamercolorthemedefault.sty) (/usr/share/texmf-dist/tex/latex/beamer/beamerinnerthemedefault.sty
+\beamer@dima=\dimen275
+\beamer@dimb=\dimen276
+) (/usr/share/texmf-dist/tex/latex/beamer/beamerouterthemedefault.sty))) (/usr/share/texmf-dist/tex/latex/beamer/beamerthemeMadrid.sty (/usr/share/texmf-dist/tex/latex/beamer/beamercolorthemewhale.sty) (/usr/share/texmf-dist/tex/latex/beamer/beamercolorthemeorchid.sty) (/usr/share/texmf-dist/tex/latex/beamer/beamerinnerthemerounded.sty) (/usr/share/texmf-dist/tex/latex/beamer/beamerouterthemeinfolines.sty)) (/usr/share/texmf-dist/tex/latex/base/inputenc.sty
+Package: inputenc 2018/08/11 v1.3c Input encoding file
+\inpenc@prehook=\toks44
+\inpenc@posthook=\toks45
+) (/usr/share/texmf-dist/tex/latex/setspace/setspace.sty
+Package: setspace 2011/12/19 v6.7a set line spacing
+)
+\c@proposition=\count310
+\c@remark=\count311
+\c@exercise=\count312
+ (/usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdfmode.def
+File: l3backend-pdfmode.def 2020-06-03 L3 backend support: PDF mode
+\l__kernel_color_stack_int=\count313
+\l__pdf_internal_box=\box73
+) (./preplogic-slides.aux)
+\openout1 = `preplogic-slides.aux'.
+
+LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 31.
+LaTeX Font Info:    ... okay on input line 31.
+LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 31.
+LaTeX Font Info:    ... okay on input line 31.
+LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 31.
+LaTeX Font Info:    ... okay on input line 31.
+LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 31.
+LaTeX Font Info:    ... okay on input line 31.
+LaTeX Font Info:    Checking defaults for TS1/cmr/m/n on input line 31.
+LaTeX Font Info:    ... okay on input line 31.
+LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 31.
+LaTeX Font Info:    ... okay on input line 31.
+LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 31.
+LaTeX Font Info:    ... okay on input line 31.
+LaTeX Font Info:    Checking defaults for PD1/pdf/m/n on input line 31.
+LaTeX Font Info:    ... okay on input line 31.
+
+*geometry* driver: auto-detecting
+*geometry* detected driver: pdftex
+*geometry* verbose mode - [ preamble ] result:
+* driver: pdftex
+* paper: custom
+* layout: <same size as paper>
+* layoutoffset:(h,v)=(0.0pt,0.0pt)
+* modes: includehead includefoot 
+* h-part:(L,W,R)=(10.95003pt, 342.2953pt, 10.95003pt)
+* v-part:(T,H,B)=(0.0pt, 273.14662pt, 0.0pt)
+* \paperwidth=364.19536pt
+* \paperheight=273.14662pt
+* \textwidth=342.2953pt
+* \textheight=244.6939pt
+* \oddsidemargin=-61.31996pt
+* \evensidemargin=-61.31996pt
+* \topmargin=-72.26999pt
+* \headheight=14.22636pt
+* \headsep=0.0pt
+* \topskip=11.0pt
+* \footskip=14.22636pt
+* \marginparwidth=4.0pt
+* \marginparsep=10.0pt
+* \columnsep=10.0pt
+* \skip\footins=10.0pt plus 4.0pt minus 2.0pt
+* \hoffset=0.0pt
+* \voffset=0.0pt
+* \mag=1000
+* \@twocolumnfalse
+* \@twosidefalse
+* \@mparswitchfalse
+* \@reversemarginfalse
+* (1in=72.27pt=25.4mm, 1cm=28.453pt)
+
+(/usr/share/texmf-dist/tex/context/base/mkii/supp-pdf.mkii
+[Loading MPS to PDF converter (version 2006.09.02).]
+\scratchcounter=\count314
+\scratchdimen=\dimen277
+\scratchbox=\box74
+\nofMPsegments=\count315
+\nofMParguments=\count316
+\everyMPshowfont=\toks46
+\MPscratchCnt=\count317
+\MPscratchDim=\dimen278
+\MPnumerator=\count318
+\makeMPintoPDFobject=\count319
+\everyMPtoPDFconversion=\toks47
+) (/usr/share/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty
+Package: epstopdf-base 2020-01-24 v2.11 Base part for package epstopdf
+Package epstopdf-base Info: Redefining graphics rule for `.eps' on input line 485.
+ (/usr/share/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg
+File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Live
+)) ABD: EveryShipout initializing macros
+\AtBeginShipoutBox=\box75
+Package hyperref Info: Link coloring OFF on input line 31.
+ (/usr/share/texmf-dist/tex/latex/hyperref/nameref.sty
+Package: nameref 2019/09/16 v2.46 Cross-referencing by name of section
+ (/usr/share/texmf-dist/tex/latex/refcount/refcount.sty
+Package: refcount 2019/12/15 v3.6 Data extraction from label references (HO)
+) (/usr/share/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty
+Package: gettitlestring 2019/12/15 v1.6 Cleanup title references (HO)
+)
+\c@section@level=\count320
+)
+LaTeX Info: Redefining \ref on input line 31.
+LaTeX Info: Redefining \pageref on input line 31.
+LaTeX Info: Redefining \nameref on input line 31.
+ (./preplogic-slides.out) (./preplogic-slides.out)
+\@outlinefile=\write5
+\openout5 = `preplogic-slides.out'.
+
+LaTeX Font Info:    Overwriting symbol font `operators' in version `normal'
+(Font)                  OT1/cmr/m/n --> OT1/cmss/m/n on input line 31.
+LaTeX Font Info:    Overwriting symbol font `operators' in version `bold'
+(Font)                  OT1/cmr/bx/n --> OT1/cmss/b/n on input line 31.
+\symnumbers=\mathgroup6
+\sympureletters=\mathgroup7
+LaTeX Font Info:    Overwriting math alphabet `\mathrm' in version `normal'
+(Font)                  OT1/cmss/m/n --> OT1/cmr/m/n on input line 31.
+LaTeX Font Info:    Redeclaring math alphabet \mathbf on input line 31.
+LaTeX Font Info:    Overwriting math alphabet `\mathbf' in version `normal'
+(Font)                  OT1/cmr/bx/n --> OT1/cmss/b/n on input line 31.
+LaTeX Font Info:    Overwriting math alphabet `\mathbf' in version `bold'
+(Font)                  OT1/cmr/bx/n --> OT1/cmss/b/n on input line 31.
+LaTeX Font Info:    Redeclaring math alphabet \mathsf on input line 31.
+LaTeX Font Info:    Overwriting math alphabet `\mathsf' in version `normal'
+(Font)                  OT1/cmss/m/n --> OT1/cmss/m/n on input line 31.
+LaTeX Font Info:    Overwriting math alphabet `\mathsf' in version `bold'
+(Font)                  OT1/cmss/bx/n --> OT1/cmss/m/n on input line 31.
+LaTeX Font Info:    Redeclaring math alphabet \mathit on input line 31.
+LaTeX Font Info:    Overwriting math alphabet `\mathit' in version `normal'
+(Font)                  OT1/cmr/m/it --> OT1/cmss/m/it on input line 31.
+LaTeX Font Info:    Overwriting math alphabet `\mathit' in version `bold'
+(Font)                  OT1/cmr/bx/it --> OT1/cmss/m/it on input line 31.
+LaTeX Font Info:    Redeclaring math alphabet \mathtt on input line 31.
+LaTeX Font Info:    Overwriting math alphabet `\mathtt' in version `normal'
+(Font)                  OT1/cmtt/m/n --> OT1/cmtt/m/n on input line 31.
+LaTeX Font Info:    Overwriting math alphabet `\mathtt' in version `bold'
+(Font)                  OT1/cmtt/m/n --> OT1/cmtt/m/n on input line 31.
+LaTeX Font Info:    Overwriting symbol font `numbers' in version `bold'
+(Font)                  OT1/cmss/m/n --> OT1/cmss/b/n on input line 31.
+LaTeX Font Info:    Overwriting symbol font `pureletters' in version `bold'
+(Font)                  OT1/cmss/m/it --> OT1/cmss/b/it on input line 31.
+LaTeX Font Info:    Overwriting math alphabet `\mathrm' in version `bold'
+(Font)                  OT1/cmss/b/n --> OT1/cmr/b/n on input line 31.
+LaTeX Font Info:    Overwriting math alphabet `\mathbf' in version `bold'
+(Font)                  OT1/cmss/b/n --> OT1/cmss/b/n on input line 31.
+LaTeX Font Info:    Overwriting math alphabet `\mathsf' in version `bold'
+(Font)                  OT1/cmss/m/n --> OT1/cmss/b/n on input line 31.
+LaTeX Font Info:    Overwriting math alphabet `\mathit' in version `bold'
+(Font)                  OT1/cmss/m/it --> OT1/cmss/b/it on input line 31.
+LaTeX Font Info:    Overwriting math alphabet `\mathtt' in version `bold'
+(Font)                  OT1/cmtt/m/n --> OT1/cmtt/b/n on input line 31.
+ (/usr/share/texmf-dist/tex/latex/translator/translator-basic-dictionary-English.dict
+Dictionary: translator-basic-dictionary, Language: English 
+) (/usr/share/texmf-dist/tex/latex/translator/translator-bibliography-dictionary-English.dict
+Dictionary: translator-bibliography-dictionary, Language: English 
+) (/usr/share/texmf-dist/tex/latex/translator/translator-environment-dictionary-English.dict
+Dictionary: translator-environment-dictionary, Language: English 
+) (/usr/share/texmf-dist/tex/latex/translator/translator-months-dictionary-English.dict
+Dictionary: translator-months-dictionary, Language: English 
+) (/usr/share/texmf-dist/tex/latex/translator/translator-numbers-dictionary-English.dict
+Dictionary: translator-numbers-dictionary, Language: English 
+) (/usr/share/texmf-dist/tex/latex/translator/translator-theorem-dictionary-English.dict
+Dictionary: translator-theorem-dictionary, Language: English 
+) (./preplogic-slides.nav)
+<unilu.jpg, id=60, 645.16031pt x 578.16pt>
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 35.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [1
+
+{/usr/share/texmf-dist/fonts/map/pdftex/updmap/pdftex.map} <./unilu.jpg>] (./preplogic-slides.toc)
+LaTeX Font Info:    Trying to load font information for U+msa on input line 44.
+ (/usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd
+File: umsa.fd 2013/01/14 v3.01 AMS symbols A
+)
+LaTeX Font Info:    Trying to load font information for U+msb on input line 44.
+ (/usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd
+File: umsb.fd 2013/01/14 v3.01 AMS symbols B
+)
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 44.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [2
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 71.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [3
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 71.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [4
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 71.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [5
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 71.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [6
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 71.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [7
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 71.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [8
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 71.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [9
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 81.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [10
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 99.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [11
+
+]
+
+LaTeX Font Warning: Font shape `OT1/cmss/bx/it' undefined
+(Font)              using `OT1/cmss/b/it' instead on input line 117.
+
+
+LaTeX Font Warning: Font shape `OT1/cmss/b/it' undefined
+(Font)              using `OT1/cmss/m/n' instead on input line 117.
+
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 117.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+[12
+
+]
+
+LaTeX Font Warning: Font shape `OT1/cmss/bx/it' undefined
+(Font)              using `OT1/cmss/b/it' instead on input line 117.
+
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 117.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+[13
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 135.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [14
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 135.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [15
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 153.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [16
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 153.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [17
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 178.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [18
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 178.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [19
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 178.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [20
+
+]
+Overfull \hbox (1.01225pt too wide) detected at line 205
+[]
+ []
+
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 205.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+[21
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 216.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [22
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 216.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [23
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 216.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [24
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 237.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [25
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 237.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [26
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 255.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [27
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 276.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [28
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 276.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [29
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 276.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [30
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 305.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [31
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 305.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [32
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 305.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [33
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 315.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [34
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 330.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [35
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 330.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [36
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 330.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [37
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 336.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [38
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 353.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [39
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 353.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [40
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 370.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [41
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 388.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [42
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 388.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [43
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 388.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [44
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 392.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [45
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 409.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [46
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 409.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [47
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 409.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [48
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 409.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [49
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 430.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [50
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 430.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [51
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 430.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [52
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 430.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [53
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 430.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [54
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 448.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [55
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 448.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [56
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 472.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [57
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 472.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [58
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 472.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [59
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 472.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [60
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 472.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [61
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 472.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [62
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 472.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [63
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 489.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [64
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 489.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [65
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 518.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [66
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 518.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [67
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 518.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [68
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 518.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [69
+
+]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 518.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [70
+
+]
+\tf@nav=\write6
+\openout6 = `preplogic-slides.nav'.
+
+\tf@toc=\write7
+\openout7 = `preplogic-slides.toc'.
+
+\tf@snm=\write8
+\openout8 = `preplogic-slides.snm'.
+
+Package atveryend Info: Empty hook `BeforeClearDocument' on input line 520.
+Package atveryend Info: Empty hook `AfterLastShipout' on input line 520.
+ (./preplogic-slides.aux)
+Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 520.
+Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 520.
+Package rerunfilecheck Info: File `preplogic-slides.out' has not changed.
+(rerunfilecheck)             Checksum: A373F8FE6398D06E7F947047EFB09783;564.
+
+
+LaTeX Font Warning: Some font shapes were not available, defaults substituted.
+
+ ) 
+Here is how much of TeX's memory you used:
+ 18179 strings out of 480478
+ 343939 string characters out of 5905927
+ 607887 words of memory out of 5000000
+ 33601 multiletter control sequences out of 15000+600000
+ 544705 words of font info for 69 fonts, out of 8000000 for 9000
+ 1141 hyphenation exceptions out of 8191
+ 54i,20n,63p,800b,908s stack positions out of 5000i,500n,10000p,200000b,80000s
+</usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss12.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss8.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss9.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssbx10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi8.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi9.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy9.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb>
+Output written on preplogic-slides.pdf (70 pages, 352243 bytes).
+PDF statistics:
+ 2023 PDF objects out of 2073 (max. 8388607)
+ 1902 compressed objects within 20 object streams
+ 151 named destinations out of 1000 (max. 500000)
+ 176 words of extra memory for PDF output out of 10000 (max. 10000000)
+