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