preplogic-slides.log (50266B)
1 This is pdfTeX, Version 3.14159265-2.6-1.40.20 (TeX Live 2019/Debian) (preloaded format=pdflatex 2021.5.20) 6 SEP 2021 10:25 2 entering extended mode 3 \write18 enabled. 4 %&-line parsing enabled. 5 **preplogic-slides.tex 6 (./preplogic-slides.tex 7 LaTeX2e <2020-02-02> patch level 2 8 L3 programming layer <2020-02-14> 9 (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamer.cls 10 Document Class: beamer 2019/09/29 v3.57 A class for typesetting presentations 11 (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasemodes.sty 12 (/usr/share/texlive/texmf-dist/tex/latex/etoolbox/etoolbox.sty 13 Package: etoolbox 2019/09/21 v2.5h e-TeX tools for LaTeX (JAW) 14 \etb@tempcnta=\count167 15 ) 16 \beamer@tempbox=\box45 17 \beamer@tempcount=\count168 18 \c@beamerpauses=\count169 19 20 (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasedecode.sty 21 \beamer@slideinframe=\count170 22 \beamer@minimum=\count171 23 \beamer@decode@box=\box46 24 ) 25 \beamer@commentbox=\box47 26 \beamer@modecount=\count172 27 ) 28 (/usr/share/texlive/texmf-dist/tex/generic/iftex/ifpdf.sty 29 Package: ifpdf 2019/10/25 v3.4 ifpdf legacy package. Use iftex instead. 30 31 (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty 32 Package: iftex 2019/11/07 v1.0c TeX engine tests 33 )) 34 \headdp=\dimen134 35 \footheight=\dimen135 36 \sidebarheight=\dimen136 37 \beamer@tempdim=\dimen137 38 \beamer@finalheight=\dimen138 39 \beamer@animht=\dimen139 40 \beamer@animdp=\dimen140 41 \beamer@animwd=\dimen141 42 \beamer@leftmargin=\dimen142 43 \beamer@rightmargin=\dimen143 44 \beamer@leftsidebar=\dimen144 45 \beamer@rightsidebar=\dimen145 46 \beamer@boxsize=\dimen146 47 \beamer@vboxoffset=\dimen147 48 \beamer@descdefault=\dimen148 49 \beamer@descriptionwidth=\dimen149 50 \beamer@lastskip=\skip47 51 \beamer@areabox=\box48 52 \beamer@animcurrent=\box49 53 \beamer@animshowbox=\box50 54 \beamer@sectionbox=\box51 55 \beamer@logobox=\box52 56 \beamer@linebox=\box53 57 \beamer@sectioncount=\count173 58 \beamer@subsubsectionmax=\count174 59 \beamer@subsectionmax=\count175 60 \beamer@sectionmax=\count176 61 \beamer@totalheads=\count177 62 \beamer@headcounter=\count178 63 \beamer@partstartpage=\count179 64 \beamer@sectionstartpage=\count180 65 \beamer@subsectionstartpage=\count181 66 \beamer@animationtempa=\count182 67 \beamer@animationtempb=\count183 68 \beamer@xpos=\count184 69 \beamer@ypos=\count185 70 \beamer@ypos@offset=\count186 71 \beamer@showpartnumber=\count187 72 \beamer@currentsubsection=\count188 73 \beamer@coveringdepth=\count189 74 \beamer@sectionadjust=\count190 75 \beamer@tocsectionnumber=\count191 76 77 (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseoptions.sty 78 (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty 79 Package: keyval 2014/10/28 v1.15 key=value parser (DPC) 80 \KV@toks@=\toks14 81 )) 82 \beamer@paperwidth=\skip48 83 \beamer@paperheight=\skip49 84 85 (/usr/share/texlive/texmf-dist/tex/latex/geometry/geometry.sty 86 Package: geometry 2020/01/02 v5.9 Page Geometry 87 88 (/usr/share/texlive/texmf-dist/tex/generic/iftex/ifvtex.sty 89 Package: ifvtex 2019/10/25 v1.7 ifvtex legacy package. Use iftex instead. 90 ) 91 \Gm@cnth=\count192 92 \Gm@cntv=\count193 93 \c@Gm@tempcnt=\count194 94 \Gm@bindingoffset=\dimen150 95 \Gm@wd@mp=\dimen151 96 \Gm@odd@mp=\dimen152 97 \Gm@even@mp=\dimen153 98 \Gm@layoutwidth=\dimen154 99 \Gm@layoutheight=\dimen155 100 \Gm@layouthoffset=\dimen156 101 \Gm@layoutvoffset=\dimen157 102 \Gm@dimlist=\toks15 103 ) 104 (/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo 105 File: size11.clo 2019/12/20 v1.4l Standard LaTeX file (size option) 106 ) 107 (/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty 108 (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty 109 Package: graphicx 2019/11/30 v1.2a Enhanced LaTeX Graphics (DPC,SPQR) 110 111 (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty 112 Package: graphics 2019/11/30 v1.4a Standard LaTeX Graphics (DPC,SPQR) 113 114 (/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty 115 Package: trig 2016/01/03 v1.10 sin cos tan (DPC) 116 ) 117 (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg 118 File: graphics.cfg 2016/06/04 v1.11 sample graphics configuration 119 ) 120 Package graphics Info: Driver file: pdftex.def on input line 105. 121 122 (/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def 123 File: pdftex.def 2018/01/08 v1.0l Graphics/color driver for pdftex 124 )) 125 \Gin@req@height=\dimen158 126 \Gin@req@width=\dimen159 127 ) 128 (/usr/share/texlive/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty 129 (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty 130 (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex 131 \pgfutil@everybye=\toks16 132 \pgfutil@tempdima=\dimen160 133 \pgfutil@tempdimb=\dimen161 134 135 (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common-lists.t 136 ex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def 137 \pgfutil@abb=\box54 138 (/usr/share/texlive/texmf-dist/tex/latex/ms/everyshi.sty 139 Package: everyshi 2001/05/15 v3.00 EveryShipout Package (MS) 140 )) 141 (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex 142 (/usr/share/texlive/texmf-dist/tex/generic/pgf/pgf.revision.tex) 143 Package: pgfrcs 2020/01/08 v3.1.5b (3.1.5b) 144 )) 145 (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex 146 Package: pgfsys 2020/01/08 v3.1.5b (3.1.5b) 147 148 (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex 149 \pgfkeys@pathtoks=\toks17 150 \pgfkeys@temptoks=\toks18 151 152 (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.t 153 ex 154 \pgfkeys@tmptoks=\toks19 155 )) 156 \pgf@x=\dimen162 157 \pgf@y=\dimen163 158 \pgf@xa=\dimen164 159 \pgf@ya=\dimen165 160 \pgf@xb=\dimen166 161 \pgf@yb=\dimen167 162 \pgf@xc=\dimen168 163 \pgf@yc=\dimen169 164 \pgf@xd=\dimen170 165 \pgf@yd=\dimen171 166 \w@pgf@writea=\write3 167 \r@pgf@reada=\read2 168 \c@pgf@counta=\count195 169 \c@pgf@countb=\count196 170 \c@pgf@countc=\count197 171 \c@pgf@countd=\count198 172 \t@pgf@toka=\toks20 173 \t@pgf@tokb=\toks21 174 \t@pgf@tokc=\toks22 175 \pgf@sys@id@count=\count199 176 (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg 177 File: pgf.cfg 2020/01/08 v3.1.5b (3.1.5b) 178 ) 179 Driver file for pgf: pgfsys-pdftex.def 180 181 (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def 182 File: pgfsys-pdftex.def 2020/01/08 v3.1.5b (3.1.5b) 183 184 (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.de 185 f 186 File: pgfsys-common-pdf.def 2020/01/08 v3.1.5b (3.1.5b) 187 ))) 188 (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code. 189 tex 190 File: pgfsyssoftpath.code.tex 2020/01/08 v3.1.5b (3.1.5b) 191 \pgfsyssoftpath@smallbuffer@items=\count266 192 \pgfsyssoftpath@bigbuffer@items=\count267 193 ) 194 (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code. 195 tex 196 File: pgfsysprotocol.code.tex 2020/01/08 v3.1.5b (3.1.5b) 197 )) (/usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty 198 Package: xcolor 2016/05/11 v2.12 LaTeX color extensions (UK) 199 200 (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg 201 File: color.cfg 2016/01/02 v1.6 sample color configuration 202 ) 203 Package xcolor Info: Driver file: pdftex.def on input line 225. 204 Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1348. 205 Package xcolor Info: Model `hsb' substituted by `rgb' on input line 1352. 206 Package xcolor Info: Model `RGB' extended on input line 1364. 207 Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1366. 208 Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1367. 209 Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1368. 210 Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1369. 211 Package xcolor Info: Model `Gray' substituted by `gray' on input line 1370. 212 Package xcolor Info: Model `wave' substituted by `hsb' on input line 1371. 213 ) 214 (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex 215 Package: pgfcore 2020/01/08 v3.1.5b (3.1.5b) 216 217 (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex 218 (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex 219 (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex) 220 (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex 221 \pgfmath@dimen=\dimen172 222 \pgfmath@count=\count268 223 \pgfmath@box=\box55 224 \pgfmath@toks=\toks23 225 \pgfmath@stack@operand=\toks24 226 \pgfmath@stack@operation=\toks25 227 ) 228 (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex 229 (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code 230 .tex) 231 (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonomet 232 ric.code.tex) 233 (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.cod 234 e.tex) 235 (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison 236 .code.tex) 237 (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code. 238 tex) 239 (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code 240 .tex) 241 (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code. 242 tex) 243 (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerari 244 thmetics.code.tex))) 245 (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex 246 \c@pgfmathroundto@lastzeros=\count269 247 )) 248 (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfint.code.tex) 249 (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.te 250 x 251 File: pgfcorepoints.code.tex 2020/01/08 v3.1.5b (3.1.5b) 252 \pgf@picminx=\dimen173 253 \pgf@picmaxx=\dimen174 254 \pgf@picminy=\dimen175 255 \pgf@picmaxy=\dimen176 256 \pgf@pathminx=\dimen177 257 \pgf@pathmaxx=\dimen178 258 \pgf@pathminy=\dimen179 259 \pgf@pathmaxy=\dimen180 260 \pgf@xx=\dimen181 261 \pgf@xy=\dimen182 262 \pgf@yx=\dimen183 263 \pgf@yy=\dimen184 264 \pgf@zx=\dimen185 265 \pgf@zy=\dimen186 266 ) 267 (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct. 268 code.tex 269 File: pgfcorepathconstruct.code.tex 2020/01/08 v3.1.5b (3.1.5b) 270 \pgf@path@lastx=\dimen187 271 \pgf@path@lasty=\dimen188 272 ) 273 (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code 274 .tex 275 File: pgfcorepathusage.code.tex 2020/01/08 v3.1.5b (3.1.5b) 276 \pgf@shorten@end@additional=\dimen189 277 \pgf@shorten@start@additional=\dimen190 278 ) 279 (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.te 280 x 281 File: pgfcorescopes.code.tex 2020/01/08 v3.1.5b (3.1.5b) 282 \pgfpic=\box56 283 \pgf@hbox=\box57 284 \pgf@layerbox@main=\box58 285 \pgf@picture@serial@count=\count270 286 ) 287 (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.c 288 ode.tex 289 File: pgfcoregraphicstate.code.tex 2020/01/08 v3.1.5b (3.1.5b) 290 \pgflinewidth=\dimen191 291 ) 292 (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformation 293 s.code.tex 294 File: pgfcoretransformations.code.tex 2020/01/08 v3.1.5b (3.1.5b) 295 \pgf@pt@x=\dimen192 296 \pgf@pt@y=\dimen193 297 \pgf@pt@temp=\dimen194 298 ) 299 (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex 300 File: pgfcorequick.code.tex 2020/01/08 v3.1.5b (3.1.5b) 301 ) 302 (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.t 303 ex 304 File: pgfcoreobjects.code.tex 2020/01/08 v3.1.5b (3.1.5b) 305 ) 306 (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing 307 .code.tex 308 File: pgfcorepathprocessing.code.tex 2020/01/08 v3.1.5b (3.1.5b) 309 ) 310 (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.te 311 x 312 File: pgfcorearrows.code.tex 2020/01/08 v3.1.5b (3.1.5b) 313 \pgfarrowsep=\dimen195 314 ) 315 (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex 316 File: pgfcoreshade.code.tex 2020/01/08 v3.1.5b (3.1.5b) 317 \pgf@max=\dimen196 318 \pgf@sys@shading@range@num=\count271 319 \pgf@shadingcount=\count272 320 ) 321 (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex 322 File: pgfcoreimage.code.tex 2020/01/08 v3.1.5b (3.1.5b) 323 324 (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code. 325 tex 326 File: pgfcoreexternal.code.tex 2020/01/08 v3.1.5b (3.1.5b) 327 \pgfexternal@startupbox=\box59 328 )) 329 (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.te 330 x 331 File: pgfcorelayers.code.tex 2020/01/08 v3.1.5b (3.1.5b) 332 ) 333 (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.c 334 ode.tex 335 File: pgfcoretransparency.code.tex 2020/01/08 v3.1.5b (3.1.5b) 336 ) 337 (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code. 338 tex 339 File: pgfcorepatterns.code.tex 2020/01/08 v3.1.5b (3.1.5b) 340 ) 341 (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorerdf.code.tex 342 File: pgfcorerdf.code.tex 2020/01/08 v3.1.5b (3.1.5b) 343 ))) (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/xxcolor.sty 344 Package: xxcolor 2003/10/24 ver 0.1 345 \XC@nummixins=\count273 346 \XC@countmixins=\count274 347 ) 348 (/usr/share/texlive/texmf-dist/tex/generic/atbegshi/atbegshi.sty 349 Package: atbegshi 2019/12/05 v1.19 At begin shipout hook (HO) 350 351 (/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty 352 Package: infwarerr 2019/12/03 v1.5 Providing info/warning/error messages (HO) 353 ) 354 (/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty 355 Package: ltxcmds 2019/12/15 v1.24 LaTeX kernel commands for general use (HO) 356 )) 357 (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty 358 Package: hyperref 2020/01/14 v7.00d Hypertext links for LaTeX 359 360 (/usr/share/texlive/texmf-dist/tex/latex/pdftexcmds/pdftexcmds.sty 361 Package: pdftexcmds 2019/11/24 v0.31 Utility functions of pdfTeX for LuaTeX (HO 362 ) 363 Package pdftexcmds Info: \pdf@primitive is available. 364 Package pdftexcmds Info: \pdf@ifprimitive is available. 365 Package pdftexcmds Info: \pdfdraftmode found. 366 ) 367 (/usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty 368 Package: kvsetkeys 2019/12/15 v1.18 Key value parser (HO) 369 ) 370 (/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty 371 Package: kvdefinekeys 2019-12-19 v1.6 Define keys (HO) 372 ) 373 (/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty 374 Package: pdfescape 2019/12/09 v1.15 Implements pdfTeX's escape features (HO) 375 ) 376 (/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty 377 Package: hycolor 2020-01-27 v1.10 Color options for hyperref/bookmark (HO) 378 ) 379 (/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty 380 Package: letltxmacro 2019/12/03 v1.6 Let assignment for LaTeX macros (HO) 381 ) 382 (/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty 383 Package: auxhook 2019-12-17 v1.6 Hooks for auxiliary files (HO) 384 ) 385 (/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty 386 Package: kvoptions 2019/11/29 v3.13 Key value format for package options (HO) 387 ) 388 \@linkdim=\dimen197 389 \Hy@linkcounter=\count275 390 \Hy@pagecounter=\count276 391 392 (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def 393 File: pd1enc.def 2020/01/14 v7.00d Hyperref: PDFDocEncoding definition (HO) 394 Now handling font encoding PD1 ... 395 ... no UTF-8 mapping file for font encoding PD1 396 ) 397 (/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty 398 Package: intcalc 2019/12/15 v1.3 Expandable calculations with integers (HO) 399 ) 400 (/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty 401 Package: etexcmds 2019/12/15 v1.7 Avoid name clashes with e-TeX commands (HO) 402 ) 403 \Hy@SavedSpaceFactor=\count277 404 \pdfmajorversion=\count278 405 Package hyperref Info: Option `bookmarks' set `true' on input line 4421. 406 Package hyperref Info: Option `bookmarksopen' set `true' on input line 4421. 407 Package hyperref Info: Option `implicit' set `false' on input line 4421. 408 Package hyperref Info: Hyper figures OFF on input line 4547. 409 Package hyperref Info: Link nesting OFF on input line 4552. 410 Package hyperref Info: Hyper index ON on input line 4555. 411 Package hyperref Info: Plain pages OFF on input line 4562. 412 Package hyperref Info: Backreferencing OFF on input line 4567. 413 Package hyperref Info: Implicit mode OFF; no redefinition of LaTeX internals. 414 Package hyperref Info: Bookmarks ON on input line 4800. 415 \c@Hy@tempcnt=\count279 416 417 (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty 418 \Urlmuskip=\muskip16 419 Package: url 2013/09/16 ver 3.4 Verb mode for urls, etc. 420 ) 421 LaTeX Info: Redefining \url on input line 5159. 422 \XeTeXLinkMargin=\dimen198 423 424 (/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty 425 Package: bitset 2019/12/09 v1.3 Handle bit-vector datatype (HO) 426 427 (/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty 428 Package: bigintcalc 2019/12/15 v1.5 Expandable calculations on big integers (HO 429 ) 430 )) 431 \Fld@menulength=\count280 432 \Field@Width=\dimen199 433 \Fld@charsize=\dimen256 434 Package hyperref Info: Hyper figures OFF on input line 6430. 435 Package hyperref Info: Link nesting OFF on input line 6435. 436 Package hyperref Info: Hyper index ON on input line 6438. 437 Package hyperref Info: backreferencing OFF on input line 6445. 438 Package hyperref Info: Link coloring OFF on input line 6450. 439 Package hyperref Info: Link coloring with OCG OFF on input line 6455. 440 Package hyperref Info: PDF/A mode OFF on input line 6460. 441 LaTeX Info: Redefining \ref on input line 6500. 442 LaTeX Info: Redefining \pageref on input line 6504. 443 \Hy@abspage=\count281 444 445 446 Package hyperref Message: Stopped early. 447 448 ) 449 Package hyperref Info: Driver (autodetected): hpdftex. 450 (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def 451 File: hpdftex.def 2020/01/14 v7.00d Hyperref driver for pdfTeX 452 453 (/usr/share/texlive/texmf-dist/tex/latex/atveryend/atveryend.sty 454 Package: atveryend 2019-12-11 v1.11 Hooks at the very end of document (HO) 455 ) 456 \Fld@listcount=\count282 457 \c@bookmark@seq@number=\count283 458 459 (/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty 460 Package: rerunfilecheck 2019/12/05 v1.9 Rerun checks for auxiliary files (HO) 461 462 (/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty 463 Package: uniquecounter 2019/12/15 v1.4 Provide unlimited unique counter (HO) 464 ) 465 Package uniquecounter Info: New unique counter `rerunfilecheck' on input line 2 466 86. 467 )) 468 (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaserequires.sty 469 (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasecompatibility.sty) 470 (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasefont.sty 471 (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty 472 Package: amssymb 2013/01/14 v3.01 AMS font symbols 473 474 (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty 475 Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support 476 \@emptytoks=\toks26 477 \symAMSa=\mathgroup4 478 \symAMSb=\mathgroup5 479 LaTeX Font Info: Redeclaring math symbol \hbar on input line 98. 480 LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' 481 (Font) U/euf/m/n --> U/euf/b/n on input line 106. 482 )) 483 (/usr/share/texlive/texmf-dist/tex/latex/sansmathaccent/sansmathaccent.sty 484 Package: sansmathaccent 2020/01/31 485 486 (/usr/share/texlive/texmf-dist/tex/latex/koma-script/scrlfile.sty 487 Package: scrlfile 2020/01/24 v3.29 KOMA-Script package (loading files) 488 ))) 489 (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetranslator.sty 490 (/usr/share/texlive/texmf-dist/tex/latex/translator/translator.sty 491 Package: translator 2019-05-31 v1.12a Easy translation of strings in LaTeX 492 )) 493 (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasemisc.sty) 494 (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetwoscreens.sty) 495 (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseoverlay.sty 496 \beamer@argscount=\count284 497 \beamer@lastskipcover=\skip50 498 \beamer@trivlistdepth=\count285 499 ) 500 (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetitle.sty) 501 (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasesection.sty 502 \c@lecture=\count286 503 \c@part=\count287 504 \c@section=\count288 505 \c@subsection=\count289 506 \c@subsubsection=\count290 507 ) 508 (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseframe.sty 509 \beamer@framebox=\box60 510 \beamer@frametitlebox=\box61 511 \beamer@zoombox=\box62 512 \beamer@zoomcount=\count291 513 \beamer@zoomframecount=\count292 514 \beamer@frametextheight=\dimen257 515 \c@subsectionslide=\count293 516 \beamer@frametopskip=\skip51 517 \beamer@framebottomskip=\skip52 518 \beamer@frametopskipautobreak=\skip53 519 \beamer@framebottomskipautobreak=\skip54 520 \beamer@envbody=\toks27 521 \framewidth=\dimen258 522 \c@framenumber=\count294 523 ) 524 (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseverbatim.sty 525 \beamer@verbatimfileout=\write4 526 ) 527 (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseframesize.sty 528 \beamer@splitbox=\box63 529 \beamer@autobreakcount=\count295 530 \beamer@autobreaklastheight=\dimen259 531 \beamer@frametitletoks=\toks28 532 \beamer@framesubtitletoks=\toks29 533 ) 534 (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseframecomponents.sty 535 \beamer@footins=\box64 536 ) 537 (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasecolor.sty) 538 (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasenotes.sty 539 \beamer@frameboxcopy=\box65 540 ) 541 (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetoc.sty) 542 (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetemplates.sty 543 \beamer@sbttoks=\toks30 544 545 (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseauxtemplates.sty 546 (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaseboxes.sty 547 \bmb@box=\box66 548 \bmb@colorbox=\box67 549 \bmb@boxshadow=\box68 550 \bmb@boxshadowball=\box69 551 \bmb@boxshadowballlarge=\box70 552 \bmb@temp=\dimen260 553 \bmb@dima=\dimen261 554 \bmb@dimb=\dimen262 555 \bmb@prevheight=\dimen263 556 ) 557 \beamer@blockheadheight=\dimen264 558 )) 559 (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbaselocalstructure.sty 560 (/usr/share/texlive/texmf-dist/tex/latex/tools/enumerate.sty 561 Package: enumerate 2015/07/23 v3.00 enumerate extensions (DPC) 562 \@enLab=\toks31 563 ) 564 \c@figure=\count296 565 \c@table=\count297 566 \abovecaptionskip=\skip55 567 \belowcaptionskip=\skip56 568 ) 569 (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasenavigation.sty 570 \beamer@section@min@dim=\dimen265 571 ) 572 (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasetheorems.sty 573 (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty 574 Package: amsmath 2020/01/20 v2.17e AMS math features 575 \@mathmargin=\skip57 576 577 For additional information on amsmath, use the `?' option. 578 (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty 579 Package: amstext 2000/06/29 v2.01 AMS text 580 581 (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty 582 File: amsgen.sty 1999/11/30 v2.0 generic functions 583 \@emptytoks=\toks32 584 \ex@=\dimen266 585 )) 586 (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty 587 Package: amsbsy 1999/11/29 v1.2d Bold Symbols 588 \pmbraise@=\dimen267 589 ) 590 (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty 591 Package: amsopn 2016/03/08 v2.02 operator names 592 ) 593 \inf@bad=\count298 594 LaTeX Info: Redefining \frac on input line 227. 595 \uproot@=\count299 596 \leftroot@=\count300 597 LaTeX Info: Redefining \overline on input line 389. 598 \classnum@=\count301 599 \DOTSCASE@=\count302 600 LaTeX Info: Redefining \ldots on input line 486. 601 LaTeX Info: Redefining \dots on input line 489. 602 LaTeX Info: Redefining \cdots on input line 610. 603 \Mathstrutbox@=\box71 604 \strutbox@=\box72 605 \big@size=\dimen268 606 LaTeX Font Info: Redeclaring font encoding OML on input line 733. 607 LaTeX Font Info: Redeclaring font encoding OMS on input line 734. 608 \macc@depth=\count303 609 \c@MaxMatrixCols=\count304 610 \dotsspace@=\muskip17 611 \c@parentequation=\count305 612 \dspbrk@lvl=\count306 613 \tag@help=\toks33 614 \row@=\count307 615 \column@=\count308 616 \maxfields@=\count309 617 \andhelp@=\toks34 618 \eqnshift@=\dimen269 619 \alignsep@=\dimen270 620 \tagshift@=\dimen271 621 \tagwidth@=\dimen272 622 \totwidth@=\dimen273 623 \lineht@=\dimen274 624 \@envbody=\toks35 625 \multlinegap=\skip58 626 \multlinetaggap=\skip59 627 \mathdisplay@stack=\toks36 628 LaTeX Info: Redefining \[ on input line 2859. 629 LaTeX Info: Redefining \] on input line 2860. 630 ) 631 (/usr/share/texlive/texmf-dist/tex/latex/amscls/amsthm.sty 632 Package: amsthm 2017/10/31 v2.20.4 633 \thm@style=\toks37 634 \thm@bodyfont=\toks38 635 \thm@headfont=\toks39 636 \thm@notefont=\toks40 637 \thm@headpunct=\toks41 638 \thm@preskip=\skip60 639 \thm@postskip=\skip61 640 \thm@headsep=\skip62 641 \dth@everypar=\toks42 642 ) 643 \c@theorem=\count310 644 ) 645 (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerbasethemes.sty)) 646 (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerthemedefault.sty 647 (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerfontthemedefault.sty) 648 (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamercolorthemedefault.sty) 649 (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerinnerthemedefault.sty 650 \beamer@dima=\dimen275 651 \beamer@dimb=\dimen276 652 ) 653 (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerouterthemedefault.sty))) 654 (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerthemeMadrid.sty 655 (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamercolorthemewhale.sty) 656 (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamercolorthemeorchid.sty) 657 (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerinnerthemerounded.sty) 658 (/usr/share/texlive/texmf-dist/tex/latex/beamer/beamerouterthemeinfolines.sty)) 659 (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty 660 Package: inputenc 2018/08/11 v1.3c Input encoding file 661 \inpenc@prehook=\toks43 662 \inpenc@posthook=\toks44 663 ) 664 (/usr/share/texlive/texmf-dist/tex/latex/setspace/setspace.sty 665 Package: setspace 2011/12/19 v6.7a set line spacing 666 ) 667 \c@proposition=\count311 668 \c@remark=\count312 669 \c@exercise=\count313 670 671 (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdfmode.def 672 File: l3backend-pdfmode.def 2020-02-03 L3 backend support: PDF mode 673 \l__kernel_color_stack_int=\count314 674 \l__pdf_internal_box=\box73 675 ) 676 (./preplogic-slides.aux) 677 \openout1 = `preplogic-slides.aux'. 678 679 LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 30. 680 LaTeX Font Info: ... okay on input line 30. 681 LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 30. 682 LaTeX Font Info: ... okay on input line 30. 683 LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 30. 684 LaTeX Font Info: ... okay on input line 30. 685 LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 30. 686 LaTeX Font Info: ... okay on input line 30. 687 LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 30. 688 LaTeX Font Info: ... okay on input line 30. 689 LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 30. 690 LaTeX Font Info: ... okay on input line 30. 691 LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 30. 692 LaTeX Font Info: ... okay on input line 30. 693 LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 30. 694 LaTeX Font Info: ... okay on input line 30. 695 696 *geometry* driver: auto-detecting 697 *geometry* detected driver: pdftex 698 *geometry* verbose mode - [ preamble ] result: 699 * driver: pdftex 700 * paper: custom 701 * layout: <same size as paper> 702 * layoutoffset:(h,v)=(0.0pt,0.0pt) 703 * modes: includehead includefoot 704 * h-part:(L,W,R)=(10.95003pt, 342.2953pt, 10.95003pt) 705 * v-part:(T,H,B)=(0.0pt, 273.14662pt, 0.0pt) 706 * \paperwidth=364.19536pt 707 * \paperheight=273.14662pt 708 * \textwidth=342.2953pt 709 * \textheight=244.6939pt 710 * \oddsidemargin=-61.31996pt 711 * \evensidemargin=-61.31996pt 712 * \topmargin=-72.26999pt 713 * \headheight=14.22636pt 714 * \headsep=0.0pt 715 * \topskip=11.0pt 716 * \footskip=14.22636pt 717 * \marginparwidth=4.0pt 718 * \marginparsep=10.0pt 719 * \columnsep=10.0pt 720 * \skip\footins=10.0pt plus 4.0pt minus 2.0pt 721 * \hoffset=0.0pt 722 * \voffset=0.0pt 723 * \mag=1000 724 * \@twocolumnfalse 725 * \@twosidefalse 726 * \@mparswitchfalse 727 * \@reversemarginfalse 728 * (1in=72.27pt=25.4mm, 1cm=28.453pt) 729 730 (/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii 731 [Loading MPS to PDF converter (version 2006.09.02).] 732 \scratchcounter=\count315 733 \scratchdimen=\dimen277 734 \scratchbox=\box74 735 \nofMPsegments=\count316 736 \nofMParguments=\count317 737 \everyMPshowfont=\toks45 738 \MPscratchCnt=\count318 739 \MPscratchDim=\dimen278 740 \MPnumerator=\count319 741 \makeMPintoPDFobject=\count320 742 \everyMPtoPDFconversion=\toks46 743 ) (/usr/share/texlive/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty 744 Package: epstopdf-base 2020-01-24 v2.11 Base part for package epstopdf 745 Package epstopdf-base Info: Redefining graphics rule for `.eps' on input line 4 746 85. 747 748 (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg 749 File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Liv 750 e 751 )) 752 ABD: EveryShipout initializing macros 753 \AtBeginShipoutBox=\box75 754 Package hyperref Info: Link coloring OFF on input line 30. 755 756 (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty 757 Package: nameref 2019/09/16 v2.46 Cross-referencing by name of section 758 759 (/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty 760 Package: refcount 2019/12/15 v3.6 Data extraction from label references (HO) 761 ) 762 (/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty 763 Package: gettitlestring 2019/12/15 v1.6 Cleanup title references (HO) 764 ) 765 \c@section@level=\count321 766 ) 767 LaTeX Info: Redefining \ref on input line 30. 768 LaTeX Info: Redefining \pageref on input line 30. 769 LaTeX Info: Redefining \nameref on input line 30. 770 771 (./preplogic-slides.out) (./preplogic-slides.out) 772 \@outlinefile=\write5 773 \openout5 = `preplogic-slides.out'. 774 775 LaTeX Font Info: Overwriting symbol font `operators' in version `normal' 776 (Font) OT1/cmr/m/n --> OT1/cmss/m/n on input line 30. 777 LaTeX Font Info: Overwriting symbol font `operators' in version `bold' 778 (Font) OT1/cmr/bx/n --> OT1/cmss/b/n on input line 30. 779 \symnumbers=\mathgroup6 780 \sympureletters=\mathgroup7 781 LaTeX Font Info: Overwriting math alphabet `\mathrm' in version `normal' 782 (Font) OT1/cmss/m/n --> OT1/cmr/m/n on input line 30. 783 LaTeX Font Info: Redeclaring math alphabet \mathbf on input line 30. 784 LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `normal' 785 (Font) OT1/cmr/bx/n --> OT1/cmss/b/n on input line 30. 786 LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `bold' 787 (Font) OT1/cmr/bx/n --> OT1/cmss/b/n on input line 30. 788 LaTeX Font Info: Redeclaring math alphabet \mathsf on input line 30. 789 LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `normal' 790 (Font) OT1/cmss/m/n --> OT1/cmss/m/n on input line 30. 791 LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `bold' 792 (Font) OT1/cmss/bx/n --> OT1/cmss/m/n on input line 30. 793 LaTeX Font Info: Redeclaring math alphabet \mathit on input line 30. 794 LaTeX Font Info: Overwriting math alphabet `\mathit' in version `normal' 795 (Font) OT1/cmr/m/it --> OT1/cmss/m/it on input line 30. 796 LaTeX Font Info: Overwriting math alphabet `\mathit' in version `bold' 797 (Font) OT1/cmr/bx/it --> OT1/cmss/m/it on input line 30. 798 LaTeX Font Info: Redeclaring math alphabet \mathtt on input line 30. 799 LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `normal' 800 (Font) OT1/cmtt/m/n --> OT1/cmtt/m/n on input line 30. 801 LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `bold' 802 (Font) OT1/cmtt/m/n --> OT1/cmtt/m/n on input line 30. 803 LaTeX Font Info: Overwriting symbol font `numbers' in version `bold' 804 (Font) OT1/cmss/m/n --> OT1/cmss/b/n on input line 30. 805 LaTeX Font Info: Overwriting symbol font `pureletters' in version `bold' 806 (Font) OT1/cmss/m/it --> OT1/cmss/b/it on input line 30. 807 LaTeX Font Info: Overwriting math alphabet `\mathrm' in version `bold' 808 (Font) OT1/cmss/b/n --> OT1/cmr/b/n on input line 30. 809 LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `bold' 810 (Font) OT1/cmss/b/n --> OT1/cmss/b/n on input line 30. 811 LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `bold' 812 (Font) OT1/cmss/m/n --> OT1/cmss/b/n on input line 30. 813 LaTeX Font Info: Overwriting math alphabet `\mathit' in version `bold' 814 (Font) OT1/cmss/m/it --> OT1/cmss/b/it on input line 30. 815 LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `bold' 816 (Font) OT1/cmtt/m/n --> OT1/cmtt/b/n on input line 30. 817 LaTeX Font Info: Redeclaring symbol font `pureletters' on input line 30. 818 LaTeX Font Info: Overwriting symbol font `pureletters' in version `normal' 819 (Font) OT1/cmss/m/it --> OT1/mathkerncmss/m/sl on input line 3 820 0. 821 LaTeX Font Info: Overwriting symbol font `pureletters' in version `bold' 822 (Font) OT1/cmss/b/it --> OT1/mathkerncmss/m/sl on input line 3 823 0. 824 LaTeX Font Info: Overwriting symbol font `pureletters' in version `bold' 825 (Font) OT1/mathkerncmss/m/sl --> OT1/mathkerncmss/bx/sl on inp 826 ut line 30. 827 828 (/usr/share/texlive/texmf-dist/tex/latex/translator/translator-basic-dictionary 829 -English.dict 830 Dictionary: translator-basic-dictionary, Language: English 831 ) 832 (/usr/share/texlive/texmf-dist/tex/latex/translator/translator-bibliography-dic 833 tionary-English.dict 834 Dictionary: translator-bibliography-dictionary, Language: English 835 ) 836 (/usr/share/texlive/texmf-dist/tex/latex/translator/translator-environment-dict 837 ionary-English.dict 838 Dictionary: translator-environment-dictionary, Language: English 839 ) 840 (/usr/share/texlive/texmf-dist/tex/latex/translator/translator-months-dictionar 841 y-English.dict 842 Dictionary: translator-months-dictionary, Language: English 843 ) 844 (/usr/share/texlive/texmf-dist/tex/latex/translator/translator-numbers-dictiona 845 ry-English.dict 846 Dictionary: translator-numbers-dictionary, Language: English 847 ) 848 (/usr/share/texlive/texmf-dist/tex/latex/translator/translator-theorem-dictiona 849 ry-English.dict 850 Dictionary: translator-theorem-dictionary, Language: English 851 ) (./preplogic-slides.nav) 852 <unilu.jpg, id=40, 645.16031pt x 578.16pt> 853 File: unilu.jpg Graphic file (type jpg) 854 <use unilu.jpg> 855 Package pdftex.def Info: unilu.jpg used on input line 34. 856 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 857 [1 858 859 {/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map} <./unilu.jpg>] (./preplogic 860 -slides.toc) 861 File: unilu.jpg Graphic file (type jpg) 862 <use unilu.jpg> 863 Package pdftex.def Info: unilu.jpg used on input line 39. 864 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 865 [2 866 867 ] 868 File: unilu.jpg Graphic file (type jpg) 869 <use unilu.jpg> 870 Package pdftex.def Info: unilu.jpg used on input line 66. 871 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 872 [3 873 874 ] 875 File: unilu.jpg Graphic file (type jpg) 876 <use unilu.jpg> 877 Package pdftex.def Info: unilu.jpg used on input line 66. 878 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 879 [4 880 881 ] 882 File: unilu.jpg Graphic file (type jpg) 883 <use unilu.jpg> 884 Package pdftex.def Info: unilu.jpg used on input line 66. 885 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 886 [5 887 888 ] 889 File: unilu.jpg Graphic file (type jpg) 890 <use unilu.jpg> 891 Package pdftex.def Info: unilu.jpg used on input line 66. 892 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 893 894 [6 895 896 ] 897 File: unilu.jpg Graphic file (type jpg) 898 <use unilu.jpg> 899 Package pdftex.def Info: unilu.jpg used on input line 66. 900 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 901 [7 902 903 ] 904 File: unilu.jpg Graphic file (type jpg) 905 <use unilu.jpg> 906 Package pdftex.def Info: unilu.jpg used on input line 66. 907 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 908 [8 909 910 ] 911 File: unilu.jpg Graphic file (type jpg) 912 <use unilu.jpg> 913 Package pdftex.def Info: unilu.jpg used on input line 66. 914 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 915 [9 916 917 ] 918 LaTeX Font Info: Trying to load font information for U+msa on input line 76. 919 920 (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd 921 File: umsa.fd 2013/01/14 v3.01 AMS symbols A 922 ) 923 LaTeX Font Info: Trying to load font information for U+msb on input line 76. 924 925 926 (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd 927 File: umsb.fd 2013/01/14 v3.01 AMS symbols B 928 ) 929 LaTeX Font Info: Trying to load font information for OT1+mathkerncmss on inp 930 ut line 76. 931 932 (/usr/share/texlive/texmf-dist/tex/latex/sansmathaccent/ot1mathkerncmss.fd 933 File: ot1mathkerncmss.fd 2020/01/31 Fontinst v1.933 font definitions for OT1/ma 934 thkerncmss. 935 ) 936 File: unilu.jpg Graphic file (type jpg) 937 <use unilu.jpg> 938 Package pdftex.def Info: unilu.jpg used on input line 76. 939 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 940 941 [10 942 943 ] 944 File: unilu.jpg Graphic file (type jpg) 945 <use unilu.jpg> 946 Package pdftex.def Info: unilu.jpg used on input line 94. 947 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 948 [11 949 950 ] 951 952 LaTeX Font Warning: Font shape `OT1/cmss/bx/it' undefined 953 (Font) using `OT1/cmss/b/it' instead on input line 112. 954 955 956 LaTeX Font Warning: Font shape `OT1/cmss/b/it' undefined 957 (Font) using `OT1/cmss/m/n' instead on input line 112. 958 959 File: unilu.jpg Graphic file (type jpg) 960 <use unilu.jpg> 961 Package pdftex.def Info: unilu.jpg used on input line 112. 962 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 963 [12 964 965 ] 966 967 LaTeX Font Warning: Font shape `OT1/cmss/bx/it' undefined 968 (Font) using `OT1/cmss/b/it' instead on input line 112. 969 970 File: unilu.jpg Graphic file (type jpg) 971 <use unilu.jpg> 972 Package pdftex.def Info: unilu.jpg used on input line 112. 973 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 974 [13 975 976 ] 977 File: unilu.jpg Graphic file (type jpg) 978 <use unilu.jpg> 979 Package pdftex.def Info: unilu.jpg used on input line 130. 980 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 981 [14 982 983 ] 984 File: unilu.jpg Graphic file (type jpg) 985 <use unilu.jpg> 986 Package pdftex.def Info: unilu.jpg used on input line 130. 987 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 988 [15 989 990 ] 991 File: unilu.jpg Graphic file (type jpg) 992 <use unilu.jpg> 993 Package pdftex.def Info: unilu.jpg used on input line 148. 994 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 995 [16 996 997 ] 998 File: unilu.jpg Graphic file (type jpg) 999 <use unilu.jpg> 1000 Package pdftex.def Info: unilu.jpg used on input line 148. 1001 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1002 [17 1003 1004 ] 1005 File: unilu.jpg Graphic file (type jpg) 1006 <use unilu.jpg> 1007 Package pdftex.def Info: unilu.jpg used on input line 173. 1008 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1009 [18 1010 1011 ] 1012 File: unilu.jpg Graphic file (type jpg) 1013 <use unilu.jpg> 1014 Package pdftex.def Info: unilu.jpg used on input line 173. 1015 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1016 [19 1017 1018 ] 1019 File: unilu.jpg Graphic file (type jpg) 1020 <use unilu.jpg> 1021 Package pdftex.def Info: unilu.jpg used on input line 173. 1022 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1023 [20 1024 1025 ] 1026 Overfull \hbox (1.01225pt too wide) detected at line 200 1027 [] 1028 [] 1029 1030 File: unilu.jpg Graphic file (type jpg) 1031 <use unilu.jpg> 1032 Package pdftex.def Info: unilu.jpg used on input line 200. 1033 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1034 [21 1035 1036 ] 1037 File: unilu.jpg Graphic file (type jpg) 1038 <use unilu.jpg> 1039 Package pdftex.def Info: unilu.jpg used on input line 211. 1040 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1041 [22 1042 1043 ] 1044 File: unilu.jpg Graphic file (type jpg) 1045 <use unilu.jpg> 1046 Package pdftex.def Info: unilu.jpg used on input line 211. 1047 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1048 [23 1049 1050 ] 1051 File: unilu.jpg Graphic file (type jpg) 1052 <use unilu.jpg> 1053 Package pdftex.def Info: unilu.jpg used on input line 211. 1054 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1055 [24 1056 1057 ] 1058 File: unilu.jpg Graphic file (type jpg) 1059 <use unilu.jpg> 1060 Package pdftex.def Info: unilu.jpg used on input line 232. 1061 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1062 [25 1063 1064 ] 1065 File: unilu.jpg Graphic file (type jpg) 1066 <use unilu.jpg> 1067 Package pdftex.def Info: unilu.jpg used on input line 232. 1068 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1069 [26 1070 1071 ] 1072 File: unilu.jpg Graphic file (type jpg) 1073 <use unilu.jpg> 1074 Package pdftex.def Info: unilu.jpg used on input line 250. 1075 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1076 [27 1077 1078 ] 1079 File: unilu.jpg Graphic file (type jpg) 1080 <use unilu.jpg> 1081 Package pdftex.def Info: unilu.jpg used on input line 271. 1082 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1083 [28 1084 1085 ] 1086 File: unilu.jpg Graphic file (type jpg) 1087 <use unilu.jpg> 1088 Package pdftex.def Info: unilu.jpg used on input line 271. 1089 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1090 [29 1091 1092 ] 1093 File: unilu.jpg Graphic file (type jpg) 1094 <use unilu.jpg> 1095 Package pdftex.def Info: unilu.jpg used on input line 271. 1096 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1097 [30 1098 1099 ] 1100 File: unilu.jpg Graphic file (type jpg) 1101 <use unilu.jpg> 1102 Package pdftex.def Info: unilu.jpg used on input line 300. 1103 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1104 [31 1105 1106 ] 1107 File: unilu.jpg Graphic file (type jpg) 1108 <use unilu.jpg> 1109 Package pdftex.def Info: unilu.jpg used on input line 300. 1110 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1111 [32 1112 1113 ] 1114 File: unilu.jpg Graphic file (type jpg) 1115 <use unilu.jpg> 1116 Package pdftex.def Info: unilu.jpg used on input line 300. 1117 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1118 [33 1119 1120 ] 1121 File: unilu.jpg Graphic file (type jpg) 1122 <use unilu.jpg> 1123 Package pdftex.def Info: unilu.jpg used on input line 310. 1124 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1125 [34 1126 1127 ] 1128 File: unilu.jpg Graphic file (type jpg) 1129 <use unilu.jpg> 1130 Package pdftex.def Info: unilu.jpg used on input line 325. 1131 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1132 [35 1133 1134 ] 1135 File: unilu.jpg Graphic file (type jpg) 1136 <use unilu.jpg> 1137 Package pdftex.def Info: unilu.jpg used on input line 325. 1138 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1139 1140 [36 1141 1142 ] 1143 File: unilu.jpg Graphic file (type jpg) 1144 <use unilu.jpg> 1145 Package pdftex.def Info: unilu.jpg used on input line 325. 1146 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1147 [37 1148 1149 ] 1150 File: unilu.jpg Graphic file (type jpg) 1151 <use unilu.jpg> 1152 Package pdftex.def Info: unilu.jpg used on input line 333. 1153 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1154 [38 1155 1156 ] 1157 File: unilu.jpg Graphic file (type jpg) 1158 <use unilu.jpg> 1159 Package pdftex.def Info: unilu.jpg used on input line 341. 1160 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1161 [39 1162 1163 ] 1164 File: unilu.jpg Graphic file (type jpg) 1165 <use unilu.jpg> 1166 Package pdftex.def Info: unilu.jpg used on input line 363. 1167 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1168 [40 1169 1170 ] 1171 File: unilu.jpg Graphic file (type jpg) 1172 <use unilu.jpg> 1173 Package pdftex.def Info: unilu.jpg used on input line 363. 1174 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1175 [41 1176 1177 ] 1178 File: unilu.jpg Graphic file (type jpg) 1179 <use unilu.jpg> 1180 Package pdftex.def Info: unilu.jpg used on input line 363. 1181 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1182 [42 1183 1184 ] 1185 File: unilu.jpg Graphic file (type jpg) 1186 <use unilu.jpg> 1187 Package pdftex.def Info: unilu.jpg used on input line 380. 1188 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1189 [43 1190 1191 ] 1192 File: unilu.jpg Graphic file (type jpg) 1193 <use unilu.jpg> 1194 Package pdftex.def Info: unilu.jpg used on input line 407. 1195 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1196 [44 1197 1198 ] 1199 File: unilu.jpg Graphic file (type jpg) 1200 <use unilu.jpg> 1201 Package pdftex.def Info: unilu.jpg used on input line 407. 1202 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1203 [45 1204 1205 ] 1206 File: unilu.jpg Graphic file (type jpg) 1207 <use unilu.jpg> 1208 Package pdftex.def Info: unilu.jpg used on input line 407. 1209 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1210 [46 1211 1212 ] 1213 File: unilu.jpg Graphic file (type jpg) 1214 <use unilu.jpg> 1215 Package pdftex.def Info: unilu.jpg used on input line 424. 1216 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1217 [47 1218 1219 ] 1220 File: unilu.jpg Graphic file (type jpg) 1221 <use unilu.jpg> 1222 Package pdftex.def Info: unilu.jpg used on input line 424. 1223 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1224 [48 1225 1226 ] 1227 File: unilu.jpg Graphic file (type jpg) 1228 <use unilu.jpg> 1229 Package pdftex.def Info: unilu.jpg used on input line 424. 1230 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1231 [49 1232 1233 ] 1234 File: unilu.jpg Graphic file (type jpg) 1235 <use unilu.jpg> 1236 Package pdftex.def Info: unilu.jpg used on input line 424. 1237 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1238 [50 1239 1240 ] 1241 File: unilu.jpg Graphic file (type jpg) 1242 <use unilu.jpg> 1243 Package pdftex.def Info: unilu.jpg used on input line 445. 1244 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1245 1246 [51 1247 1248 ] 1249 File: unilu.jpg Graphic file (type jpg) 1250 <use unilu.jpg> 1251 Package pdftex.def Info: unilu.jpg used on input line 445. 1252 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1253 [52 1254 1255 ] 1256 File: unilu.jpg Graphic file (type jpg) 1257 <use unilu.jpg> 1258 Package pdftex.def Info: unilu.jpg used on input line 445. 1259 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1260 [53 1261 1262 ] 1263 File: unilu.jpg Graphic file (type jpg) 1264 <use unilu.jpg> 1265 Package pdftex.def Info: unilu.jpg used on input line 445. 1266 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1267 [54 1268 1269 ] 1270 File: unilu.jpg Graphic file (type jpg) 1271 <use unilu.jpg> 1272 Package pdftex.def Info: unilu.jpg used on input line 445. 1273 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1274 [55 1275 1276 ] 1277 File: unilu.jpg Graphic file (type jpg) 1278 <use unilu.jpg> 1279 Package pdftex.def Info: unilu.jpg used on input line 463. 1280 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1281 [56 1282 1283 ] 1284 File: unilu.jpg Graphic file (type jpg) 1285 <use unilu.jpg> 1286 Package pdftex.def Info: unilu.jpg used on input line 463. 1287 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1288 [57 1289 1290 ] 1291 File: unilu.jpg Graphic file (type jpg) 1292 <use unilu.jpg> 1293 Package pdftex.def Info: unilu.jpg used on input line 487. 1294 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1295 [58 1296 1297 ] 1298 File: unilu.jpg Graphic file (type jpg) 1299 <use unilu.jpg> 1300 Package pdftex.def Info: unilu.jpg used on input line 487. 1301 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1302 [59 1303 1304 ] 1305 File: unilu.jpg Graphic file (type jpg) 1306 <use unilu.jpg> 1307 Package pdftex.def Info: unilu.jpg used on input line 487. 1308 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1309 [60 1310 1311 ] 1312 File: unilu.jpg Graphic file (type jpg) 1313 <use unilu.jpg> 1314 Package pdftex.def Info: unilu.jpg used on input line 487. 1315 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1316 [61 1317 1318 ] 1319 File: unilu.jpg Graphic file (type jpg) 1320 <use unilu.jpg> 1321 Package pdftex.def Info: unilu.jpg used on input line 487. 1322 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1323 [62 1324 1325 ] 1326 File: unilu.jpg Graphic file (type jpg) 1327 <use unilu.jpg> 1328 Package pdftex.def Info: unilu.jpg used on input line 487. 1329 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1330 [63 1331 1332 ] 1333 File: unilu.jpg Graphic file (type jpg) 1334 <use unilu.jpg> 1335 Package pdftex.def Info: unilu.jpg used on input line 487. 1336 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1337 [64 1338 1339 ] 1340 File: unilu.jpg Graphic file (type jpg) 1341 <use unilu.jpg> 1342 Package pdftex.def Info: unilu.jpg used on input line 504. 1343 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1344 [65 1345 1346 ] 1347 File: unilu.jpg Graphic file (type jpg) 1348 <use unilu.jpg> 1349 Package pdftex.def Info: unilu.jpg used on input line 504. 1350 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1351 1352 [66 1353 1354 ] 1355 File: unilu.jpg Graphic file (type jpg) 1356 <use unilu.jpg> 1357 Package pdftex.def Info: unilu.jpg used on input line 533. 1358 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1359 [67 1360 1361 ] 1362 File: unilu.jpg Graphic file (type jpg) 1363 <use unilu.jpg> 1364 Package pdftex.def Info: unilu.jpg used on input line 533. 1365 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1366 [68 1367 1368 ] 1369 File: unilu.jpg Graphic file (type jpg) 1370 <use unilu.jpg> 1371 Package pdftex.def Info: unilu.jpg used on input line 533. 1372 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1373 [69 1374 1375 ] 1376 File: unilu.jpg Graphic file (type jpg) 1377 <use unilu.jpg> 1378 Package pdftex.def Info: unilu.jpg used on input line 533. 1379 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1380 [70 1381 1382 ] 1383 File: unilu.jpg Graphic file (type jpg) 1384 <use unilu.jpg> 1385 Package pdftex.def Info: unilu.jpg used on input line 533. 1386 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1387 [71 1388 1389 ] 1390 File: unilu.jpg Graphic file (type jpg) 1391 <use unilu.jpg> 1392 Package pdftex.def Info: unilu.jpg used on input line 544. 1393 (pdftex.def) Requested size: 41.93689pt x 37.58171pt. 1394 [72 1395 1396 ] 1397 \tf@nav=\write6 1398 \openout6 = `preplogic-slides.nav'. 1399 1400 \tf@toc=\write7 1401 \openout7 = `preplogic-slides.toc'. 1402 1403 \tf@snm=\write8 1404 \openout8 = `preplogic-slides.snm'. 1405 1406 Package atveryend Info: Empty hook `BeforeClearDocument' on input line 547. 1407 Package atveryend Info: Empty hook `AfterLastShipout' on input line 547. 1408 (./preplogic-slides.aux) 1409 Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 547. 1410 Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 547. 1411 Package rerunfilecheck Info: File `preplogic-slides.out' has not changed. 1412 (rerunfilecheck) Checksum: DEB4A29A1AFC0897B65A37CC63A87407;231. 1413 1414 1415 LaTeX Font Warning: Some font shapes were not available, defaults substituted. 1416 1417 ) 1418 Here is how much of TeX's memory you used: 1419 18425 strings out of 481239 1420 353267 string characters out of 5920377 1421 607796 words of memory out of 5000000 1422 33078 multiletter control sequences out of 15000+600000 1423 545587 words of font info for 71 fonts, out of 8000000 for 9000 1424 1141 hyphenation exceptions out of 8191 1425 58i,20n,67p,800b,908s stack positions out of 5000i,500n,10000p,200000b,80000s 1426 </usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb></us 1427 r/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmss10.pfb></usr/shar 1428 e/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmss12.pfb></usr/share/texl 1429 ive/texmf-dist/fonts/type1/public/amsfonts/cm/cmss17.pfb></usr/share/texlive/te 1430 xmf-dist/fonts/type1/public/amsfonts/cm/cmss8.pfb></usr/share/texlive/texmf-dis 1431 t/fonts/type1/public/amsfonts/cm/cmss9.pfb></usr/share/texlive/texmf-dist/fonts 1432 /type1/public/amsfonts/cm/cmssbx10.pfb></usr/share/texlive/texmf-dist/fonts/typ 1433 e1/public/amsfonts/cm/cmssi10.pfb></usr/share/texlive/texmf-dist/fonts/type1/pu 1434 blic/amsfonts/cm/cmssi8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/a 1435 msfonts/cm/cmssi9.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfont 1436 s/cm/cmsy10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/c 1437 msy9.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.p 1438 fb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pf 1439 b> 1440 Output written on preplogic-slides.pdf (72 pages, 367456 bytes). 1441 PDF statistics: 1442 2055 PDF objects out of 2073 (max. 8388607) 1443 1931 compressed objects within 20 object streams 1444 150 named destinations out of 1000 (max. 500000) 1445 136 words of extra memory for PDF output out of 10000 (max. 10000000) 1446