This is pdfTeX, Version 3.14159265-2.6-1.40.21 (TeX Live 2020/Arch Linux) (preloaded format=pdflatex 2020.9.7) 16 OCT 2020 12:02 entering extended mode restricted \write18 enabled. %&-line parsing enabled. **types-and-tests.tex (./types-and-tests.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/latex/xcolor/svgnam.def File: svgnam.def 2016/05/11 v2.12 Predefined colors according to SVG 1.1 (UK) )) (/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.te x) (/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.t ex 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.te x 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 `colorlinks' 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 ON on input line 6365. 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 2 86. )) (/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/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/wasysym/wasysym.sty Package: wasysym 2020/01/19 v2.4 Wasy-2 symbol support package \symwasy=\mathgroup6 LaTeX Font Info: Overwriting symbol font `wasy' in version `bold' (Font) U/wasy/m/n --> U/wasy/b/n on input line 93. ) (/usr/share/texmf-dist/tex/latex/listings/listings.sty \lst@mode=\count310 \lst@gtempboxa=\box73 \lst@token=\toks46 \lst@length=\count311 \lst@currlwidth=\dimen277 \lst@column=\count312 \lst@pos=\count313 \lst@lostspace=\dimen278 \lst@width=\dimen279 \lst@newlines=\count314 \lst@lineno=\count315 \lst@maxwidth=\dimen280 (/usr/share/texmf-dist/tex/latex/listings/lstmisc.sty File: lstmisc.sty 2020/03/24 1.8d (Carsten Heinz) \c@lstnumber=\count316 \lst@skipnumbers=\count317 \lst@framebox=\box74 ) (/usr/share/texmf-dist/tex/latex/listings/listings.cfg File: listings.cfg 2020/03/24 1.8d listings configuration )) Package: listings 2020/03/24 1.8d (Carsten Heinz) (/usr/share/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty (/usr/share/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty Package: pgf 2020/01/08 v3.1.5b (3.1.5b) (/usr/share/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex File: pgfmoduleshapes.code.tex 2020/01/08 v3.1.5b (3.1.5b) \pgfnodeparttextbox=\box75 ) (/usr/share/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex File: pgfmoduleplot.code.tex 2020/01/08 v3.1.5b (3.1.5b) ) (/usr/share/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty Package: pgfcomp-version-0-65 2020/01/08 v3.1.5b (3.1.5b) \pgf@nodesepstart=\dimen281 \pgf@nodesepend=\dimen282 ) (/usr/share/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty Package: pgfcomp-version-1-18 2020/01/08 v3.1.5b (3.1.5b) )) (/usr/share/texmf-dist/tex/latex/pgf/utilities/pgffor.sty (/usr/share/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty (/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex)) (/usr/share/texmf-dist/tex/latex/pgf/math/pgfmath.sty (/usr/share/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex)) (/usr/share/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex Package: pgffor 2020/01/08 v3.1.5b (3.1.5b) (/usr/share/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex) \pgffor@iter=\dimen283 \pgffor@skip=\dimen284 \pgffor@stack=\toks47 \pgffor@toks=\toks48 )) (/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex Package: tikz 2020/01/08 v3.1.5b (3.1.5b) (/usr/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers.code.te x File: pgflibraryplothandlers.code.tex 2020/01/08 v3.1.5b (3.1.5b) \pgf@plot@mark@count=\count318 \pgfplotmarksize=\dimen285 ) \tikz@lastx=\dimen286 \tikz@lasty=\dimen287 \tikz@lastxsaved=\dimen288 \tikz@lastysaved=\dimen289 \tikz@lastmovetox=\dimen290 \tikz@lastmovetoy=\dimen291 \tikzleveldistance=\dimen292 \tikzsiblingdistance=\dimen293 \tikz@figbox=\box76 \tikz@figbox@bg=\box77 \tikz@tempbox=\box78 \tikz@tempbox@bg=\box79 \tikztreelevel=\count319 \tikznumberofchildren=\count320 \tikznumberofcurrentchild=\count321 \tikz@fig@count=\count322 (/usr/share/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex File: pgfmodulematrix.code.tex 2020/01/08 v3.1.5b (3.1.5b) \pgfmatrixcurrentrow=\count323 \pgfmatrixcurrentcolumn=\count324 \pgf@matrix@numberofcolumns=\count325 ) \tikz@expandcount=\count326 (/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrary topaths.code.tex File: tikzlibrarytopaths.code.tex 2020/01/08 v3.1.5b (3.1.5b) ))) (/usr/share/texmf-dist/tex/generic/ulem/ulem.sty \UL@box=\box80 \UL@hyphenbox=\box81 \UL@skip=\skip63 \UL@hook=\toks49 \UL@height=\dimen294 \UL@pe=\count327 \UL@pixel=\dimen295 \ULC@box=\box82 Package: ulem 2019/11/18 \ULdepth=\dimen296 ) (/usr/share/texmf-dist/tex/latex/base/textcomp.sty Package: textcomp 2020/02/02 v2.0n Standard LaTeX package ) (/usr/share/texmf-dist/tex/latex/tools/verbatim.sty Package: verbatim 2019/11/10 v1.5r LaTeX2e package for verbatim enhancements \every@verbatim=\toks50 \verbatim@line=\toks51 \verbatim@in@stream=\read3 ) (/usr/share/texmf-dist/tex/latex/base/fontenc.sty Package: fontenc 2020/02/11 v2.0o Standard LaTeX package ) (/usr/share/texmf-dist/tex/latex/lm/lmodern.sty Package: lmodern 2009/10/30 v1.6 Latin Modern Fonts LaTeX Font Info: Overwriting symbol font `operators' in version `normal' (Font) OT1/cmr/m/n --> OT1/lmr/m/n on input line 22. LaTeX Font Info: Overwriting symbol font `letters' in version `normal' (Font) OML/cmm/m/it --> OML/lmm/m/it on input line 23. LaTeX Font Info: Overwriting symbol font `symbols' in version `normal' (Font) OMS/cmsy/m/n --> OMS/lmsy/m/n on input line 24. LaTeX Font Info: Overwriting symbol font `largesymbols' in version `normal' (Font) OMX/cmex/m/n --> OMX/lmex/m/n on input line 25. LaTeX Font Info: Overwriting symbol font `operators' in version `bold' (Font) OT1/cmr/bx/n --> OT1/lmr/bx/n on input line 26. LaTeX Font Info: Overwriting symbol font `letters' in version `bold' (Font) OML/cmm/b/it --> OML/lmm/b/it on input line 27. LaTeX Font Info: Overwriting symbol font `symbols' in version `bold' (Font) OMS/cmsy/b/n --> OMS/lmsy/b/n on input line 28. LaTeX Font Info: Overwriting symbol font `largesymbols' in version `bold' (Font) OMX/cmex/m/n --> OMX/lmex/m/n on input line 29. LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `normal' (Font) OT1/cmr/bx/n --> OT1/lmr/bx/n on input line 31. LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `normal' (Font) OT1/cmss/m/n --> OT1/lmss/m/n on input line 32. LaTeX Font Info: Overwriting math alphabet `\mathit' in version `normal' (Font) OT1/cmr/m/it --> OT1/lmr/m/it on input line 33. LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `normal' (Font) OT1/cmtt/m/n --> OT1/lmtt/m/n on input line 34. LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `bold' (Font) OT1/cmr/bx/n --> OT1/lmr/bx/n on input line 35. LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `bold' (Font) OT1/cmss/bx/n --> OT1/lmss/bx/n on input line 36. LaTeX Font Info: Overwriting math alphabet `\mathit' in version `bold' (Font) OT1/cmr/bx/it --> OT1/lmr/bx/it on input line 37. LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `bold' (Font) OT1/cmtt/m/n --> OT1/lmtt/m/n on input line 38. ) (/usr/share/texmf-dist/tex/latex/mdframed/mdframed.sty Package: mdframed 2013/07/01 1.9b: mdframed (/usr/share/texmf-dist/tex/latex/l3packages/xparse/xparse.sty (/usr/share/texmf-dist/tex/latex/l3kernel/expl3.sty Package: expl3 2020-06-03 L3 programming layer (loader) (/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=\count328 \l__pdf_internal_box=\box83 )) Package: xparse 2020-05-15 L3 Experimental document command parser (/usr/share/texmf-dist/tex/latex/l3packages/xparse/xparse-generic.tex \l__xparse_current_arg_int=\count329 \g__xparse_grabber_int=\count330 \l__xparse_m_args_int=\count331 \l__xparse_v_nesting_int=\count332 )) (/usr/share/texmf-dist/tex/latex/zref/zref-abspage.sty Package: zref-abspage 2020-05-28 v2.31 Module abspage for zref (HO) (/usr/share/texmf-dist/tex/latex/zref/zref-base.sty Package: zref-base 2020-05-28 v2.31 Module base for zref (HO) Package zref Info: New property list: main on input line 763. Package zref Info: New property: default on input line 764. Package zref Info: New property: page on input line 765. ) \c@abspage=\count333 Package zref Info: New property: abspage on input line 66. ) (/usr/share/texmf-dist/tex/latex/needspace/needspace.sty Package: needspace 2010/09/12 v1.3d reserve vertical space ) \mdf@templength=\skip64 \c@mdf@globalstyle@cnt=\count334 \mdf@skipabove@length=\skip65 \mdf@skipbelow@length=\skip66 \mdf@leftmargin@length=\skip67 \mdf@rightmargin@length=\skip68 \mdf@innerleftmargin@length=\skip69 \mdf@innerrightmargin@length=\skip70 \mdf@innertopmargin@length=\skip71 \mdf@innerbottommargin@length=\skip72 \mdf@splittopskip@length=\skip73 \mdf@splitbottomskip@length=\skip74 \mdf@outermargin@length=\skip75 \mdf@innermargin@length=\skip76 \mdf@linewidth@length=\skip77 \mdf@innerlinewidth@length=\skip78 \mdf@middlelinewidth@length=\skip79 \mdf@outerlinewidth@length=\skip80 \mdf@roundcorner@length=\skip81 \mdf@footenotedistance@length=\skip82 \mdf@userdefinedwidth@length=\skip83 \mdf@needspace@length=\skip84 \mdf@frametitleaboveskip@length=\skip85 \mdf@frametitlebelowskip@length=\skip86 \mdf@frametitlerulewidth@length=\skip87 \mdf@frametitleleftmargin@length=\skip88 \mdf@frametitlerightmargin@length=\skip89 \mdf@shadowsize@length=\skip90 \mdf@extratopheight@length=\skip91 \mdf@subtitleabovelinewidth@length=\skip92 \mdf@subtitlebelowlinewidth@length=\skip93 \mdf@subtitleaboveskip@length=\skip94 \mdf@subtitlebelowskip@length=\skip95 \mdf@subtitleinneraboveskip@length=\skip96 \mdf@subtitleinnerbelowskip@length=\skip97 \mdf@subsubtitleabovelinewidth@length=\skip98 \mdf@subsubtitlebelowlinewidth@length=\skip99 \mdf@subsubtitleaboveskip@length=\skip100 \mdf@subsubtitlebelowskip@length=\skip101 \mdf@subsubtitleinneraboveskip@length=\skip102 \mdf@subsubtitleinnerbelowskip@length=\skip103 (/usr/share/texmf-dist/tex/latex/mdframed/md-frame-1.mdf File: md-frame-1.mdf 2013/07/01\ 1.9b: md-frame-1 ) \mdf@frametitlebox=\box84 \mdf@footnotebox=\box85 \mdf@splitbox@one=\box86 \mdf@splitbox@two=\box87 \mdf@splitbox@save=\box88 \mdfsplitboxwidth=\skip104 \mdfsplitboxtotalwidth=\skip105 \mdfsplitboxheight=\skip106 \mdfsplitboxdepth=\skip107 \mdfsplitboxtotalheight=\skip108 \mdfframetitleboxwidth=\skip109 \mdfframetitleboxtotalwidth=\skip110 \mdfframetitleboxheight=\skip111 \mdfframetitleboxdepth=\skip112 \mdfframetitleboxtotalheight=\skip113 \mdffootnoteboxwidth=\skip114 \mdffootnoteboxtotalwidth=\skip115 \mdffootnoteboxheight=\skip116 \mdffootnoteboxdepth=\skip117 \mdffootnoteboxtotalheight=\skip118 \mdftotallinewidth=\skip119 \mdfboundingboxwidth=\skip120 \mdfboundingboxtotalwidth=\skip121 \mdfboundingboxheight=\skip122 \mdfboundingboxdepth=\skip123 \mdfboundingboxtotalheight=\skip124 \mdf@freevspace@length=\skip125 \mdf@horizontalwidthofbox@length=\skip126 \mdf@verticalmarginwhole@length=\skip127 \mdf@horizontalspaceofbox=\skip128 \mdfsubtitleheight=\skip129 \mdfsubsubtitleheight=\skip130 \c@mdfcountframes=\count335 ****** mdframed patching \endmdf@trivlist ****** -- failed****** \mdf@envdepth=\count336 \c@mdf@env@i=\count337 \c@mdf@env@ii=\count338 \c@mdf@zref@counter=\count339 Package zref Info: New property: mdf@pagevalue on input line 895. ) (/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrary shapes.callouts.code.tex (/usr/share/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.callou ts.code.tex (/usr/share/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.symbol s.code.tex File: pgflibraryshapes.symbols.code.tex 2020/01/08 v3.1.5b (3.1.5b) ))) (/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrary shadows.code.tex File: tikzlibraryshadows.code.tex 2020/01/08 v3.1.5b (3.1.5b) (/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrary fadings.code.tex File: tikzlibraryfadings.code.tex 2020/01/08 v3.1.5b (3.1.5b) (/usr/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryfadings.code.tex File: pgflibraryfadings.code.tex 2020/01/08 v3.1.5b (3.1.5b) ))) (/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrary calc.code.tex File: tikzlibrarycalc.code.tex 2020/01/08 v3.1.5b (3.1.5b) ) \c@image=\count340 (/usr/share/texmf-dist/tex/latex/beamer/beamerthemeWarsaw.sty (/usr/share/texmf-dist/tex/latex/beamer/beamerinnerthemerounded.sty) (/usr/share/texmf-dist/tex/latex/beamer/beamerouterthemeshadow.sty (/usr/share/texmf-dist/tex/latex/beamer/beamerouterthemesplit.sty)) (/usr/share/texmf-dist/tex/latex/beamer/beamercolorthemeorchid.sty) (/usr/share/texmf-dist/tex/latex/beamer/beamercolorthemewhale.sty)) (/usr/share/texmf-dist/tex/latex/beamer/beamercolorthemelily.sty) Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding): (hyperref) removing `\\' on input line 66. (dist/types-and-tests.aux) LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 227. LaTeX Font Info: ... okay on input line 227. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 227. LaTeX Font Info: ... okay on input line 227. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 227. LaTeX Font Info: ... okay on input line 227. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 227. LaTeX Font Info: ... okay on input line 227. LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 227. LaTeX Font Info: ... okay on input line 227. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 227. LaTeX Font Info: ... okay on input line 227. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 227. LaTeX Font Info: ... okay on input line 227. LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 227. LaTeX Font Info: ... okay on input line 227. LaTeX Font Info: Trying to load font information for T1+lmss on input line 2 27. (/usr/share/texmf-dist/tex/latex/lm/t1lmss.fd File: t1lmss.fd 2009/10/30 v1.6 Font defs for Latin Modern ) *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)=(28.45274pt, 307.28987pt, 28.45274pt) * v-part:(T,H,B)=(0.0pt, 273.14662pt, 0.0pt) * \paperwidth=364.19536pt * \paperheight=273.14662pt * \textwidth=307.28987pt * \textheight=244.6939pt * \oddsidemargin=-43.81725pt * \evensidemargin=-43.81725pt * \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=\count341 \scratchdimen=\dimen297 \scratchbox=\box89 \nofMPsegments=\count342 \nofMParguments=\count343 \everyMPshowfont=\toks52 \MPscratchCnt=\count344 \MPscratchDim=\dimen298 \MPnumerator=\count345 \makeMPintoPDFobject=\count346 \everyMPtoPDFconversion=\toks53 ) (/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 4 85. (/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 Liv e )) ABD: EveryShipout initializing macros \AtBeginShipoutBox=\box90 Package hyperref Info: Link coloring ON on input line 227. (/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=\count347 ) LaTeX Info: Redefining \ref on input line 227. LaTeX Info: Redefining \pageref on input line 227. LaTeX Info: Redefining \nameref on input line 227. (dist/types-and-tests.out) (dist/types-and-tests.out) \@outlinefile=\write5 LaTeX Font Info: Overwriting symbol font `operators' in version `normal' (Font) OT1/lmr/m/n --> OT1/cmss/m/n on input line 227. LaTeX Font Info: Overwriting symbol font `operators' in version `bold' (Font) OT1/lmr/bx/n --> OT1/cmss/b/n on input line 227. LaTeX Font Info: Overwriting symbol font `operators' in version `normal' (Font) OT1/cmss/m/n --> OT1/lmss/m/n on input line 227. LaTeX Font Info: Overwriting symbol font `operators' in version `bold' (Font) OT1/cmss/b/n --> OT1/lmss/b/n on input line 227. \symnumbers=\mathgroup7 \sympureletters=\mathgroup8 LaTeX Font Info: Overwriting math alphabet `\mathrm' in version `normal' (Font) OT1/lmss/m/n --> T1/lmr/m/n on input line 227. LaTeX Font Info: Redeclaring math alphabet \mathbf on input line 227. LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `normal' (Font) OT1/lmr/bx/n --> T1/lmss/b/n on input line 227. LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `bold' (Font) OT1/lmr/bx/n --> T1/lmss/b/n on input line 227. LaTeX Font Info: Redeclaring math alphabet \mathsf on input line 227. LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `normal' (Font) OT1/lmss/m/n --> T1/lmss/m/n on input line 227. LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `bold' (Font) OT1/lmss/bx/n --> T1/lmss/m/n on input line 227. LaTeX Font Info: Redeclaring math alphabet \mathit on input line 227. LaTeX Font Info: Overwriting math alphabet `\mathit' in version `normal' (Font) OT1/lmr/m/it --> T1/lmss/m/it on input line 227. LaTeX Font Info: Overwriting math alphabet `\mathit' in version `bold' (Font) OT1/lmr/bx/it --> T1/lmss/m/it on input line 227. LaTeX Font Info: Redeclaring math alphabet \mathtt on input line 227. LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `normal' (Font) OT1/lmtt/m/n --> T1/lmtt/m/n on input line 227. LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `bold' (Font) OT1/lmtt/m/n --> T1/lmtt/m/n on input line 227. LaTeX Font Info: Overwriting symbol font `numbers' in version `bold' (Font) T1/lmss/m/n --> T1/lmss/b/n on input line 227. LaTeX Font Info: Overwriting symbol font `pureletters' in version `bold' (Font) T1/lmss/m/it --> T1/lmss/b/it on input line 227. LaTeX Font Info: Overwriting math alphabet `\mathrm' in version `bold' (Font) OT1/lmss/b/n --> T1/lmr/b/n on input line 227. LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `bold' (Font) T1/lmss/b/n --> T1/lmss/b/n on input line 227. LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `bold' (Font) T1/lmss/m/n --> T1/lmss/b/n on input line 227. LaTeX Font Info: Overwriting math alphabet `\mathit' in version `bold' (Font) T1/lmss/m/it --> T1/lmss/b/it on input line 227. LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `bold' (Font) T1/lmtt/m/n --> T1/lmtt/b/n on input line 227. (/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-E nglish.dict Dictionary: translator-environment-dictionary, Language: English ) (/usr/share/texmf-dist/tex/latex/translator/translator-months-dictionary-Englis h.dict Dictionary: translator-months-dictionary, Language: English ) (/usr/share/texmf-dist/tex/latex/translator/translator-numbers-dictionary-Engli sh.dict Dictionary: translator-numbers-dictionary, Language: English ) (/usr/share/texmf-dist/tex/latex/translator/translator-theorem-dictionary-Engli sh.dict Dictionary: translator-theorem-dictionary, Language: English ) \c@lstlisting=\count348 (dist/types-and-tests.nav) (./title.tex Package mdframed Info: mdframed detected package amsthm changed the theorem header of amsthm (mdframed) on input line 36. Package mdframed Info: mdframed inside a box mdframed uses option nobreak mdframed on input line 36. Package mdframed Info: mdframed detected package amsthm changed the theorem header of amsthm (mdframed) on input line 36. Package mdframed Info: mdframed inside a box mdframed uses option nobreak mdframed on input line 36. File: image/lambda.png Graphic file (type png) Package pdftex.def Info: image/lambda.png used on input line 36. (pdftex.def) Requested size: 364.19536pt x 273.15263pt. [1 {/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map} <./image/lambda.png>]) (./s implemachines.tex File: image/unleash-your-data.png Graphic file (type png) Package pdftex.def Info: image/unleash-your-data.png used on input line 4. (pdftex.def) Requested size: 254.93564pt x 125.39534pt. File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 4. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [2 <./image/sm_logo_standard_with_lines_hi_res.png> <./image/unleash-your-data.pn g>]) (./me.tex File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 8. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [3 ] File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 15. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [4 ] LaTeX Font Info: Font shape `T1/lmss/m/it' in size <10.95> not available (Font) Font shape `T1/lmss/m/sl' tried instead on input line 26. File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 26. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [5 ] File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 35. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [6 ] File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 42. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [7 ]) (./introduction.tex File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 8. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [8 ] (dist/types-and-tests.vrb LaTeX Font Info: Trying to load font information for T1+lmtt on input line 3 . (/usr/share/texmf-dist/tex/latex/lm/t1lmtt.fd File: t1lmtt.fd 2009/10/30 v1.6 Font defs for Latin Modern )) File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 24. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [9 ] (dist/types-and-tests.vrb) File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 40. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [10 ] (dist/types-and-tests.vrb) File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 58. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [11 ] (dist/types-and-tests.vrb) File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 65. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [12 ] (dist/types-and-tests.vrb) File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 83. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [13 ] (dist/types-and-tests.vrb) File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 98. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [14 ] (dist/types-and-tests.vrb) File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 113. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [15 ] (dist/types-and-tests.vrb) File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 130. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [16 ] File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 137. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [17 ] File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 144. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [18 ] File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 153. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [19 ]) (./example.tex File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 6. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [20 ] (dist/types-and-tests.vrb) File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 21. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [21 ] (dist/types-and-tests.vrb) File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 36. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [22 ] File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 43. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [23 ] File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 53. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [24 ] (dist/types-and-tests.vrb) File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 69. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [25 ] (dist/types-and-tests.vrb) File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 79. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [26 ]) (./consequences.tex File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 6. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [27 ] File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 13. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [28 ] File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 31. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [29 ] File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 31. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [30 ] File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 31. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [31 ] File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 31. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [32 ] File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 31. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [33 ] File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 31. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [34 ] File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 31. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [35 ] File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 31. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [36 ] File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 31. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [37 ] File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 41. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [38 ] File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 41. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [39 ]) (./fast-and-loose-reasoning.tex (dist/types-and-tests.vrb) File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 12. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [40 ] (dist/types-and-tests.vrb) File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 27. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [41 ]) (./parametricity.tex (dist/types-and-tests.vrb) File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 15. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [42 ] (dist/types-and-tests.vrb) File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 29. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [43 ] (dist/types-and-tests.vrb) File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 43. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [44 ] (dist/types-and-tests.vrb) File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 54. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [45 ] (dist/types-and-tests.vrb) File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 63. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [46 ] File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 74. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [47 ] (dist/types-and-tests.vrb) File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 88. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [48 ] (dist/types-and-tests.vrb) File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 99. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [49 ] (dist/types-and-tests.vrb) File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 113. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [50 ] (dist/types-and-tests.vrb) File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 129. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [51 ] (dist/types-and-tests.vrb) File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 149. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [52 ] (dist/types-and-tests.vrb) File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 171. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [53 ] (dist/types-and-tests.vrb) File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 185. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [54 ] (dist/types-and-tests.vrb) File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 203. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [55 ] (dist/types-and-tests.vrb) File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 212. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [56 ] (dist/types-and-tests.vrb) File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 230. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [57 ] (dist/types-and-tests.vrb) File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 247. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [58 ] (dist/types-and-tests.vrb LaTeX Font Info: Trying to load font information for OT1+lmss on input line 6. (/usr/share/texmf-dist/tex/latex/lm/ot1lmss.fd File: ot1lmss.fd 2009/10/30 v1.6 Font defs for Latin Modern ) LaTeX Font Info: Trying to load font information for OML+lmm on input line 6 . (/usr/share/texmf-dist/tex/latex/lm/omllmm.fd File: omllmm.fd 2009/10/30 v1.6 Font defs for Latin Modern ) LaTeX Font Info: Trying to load font information for OMS+lmsy on input line 6. (/usr/share/texmf-dist/tex/latex/lm/omslmsy.fd File: omslmsy.fd 2009/10/30 v1.6 Font defs for Latin Modern ) LaTeX Font Info: Trying to load font information for OMX+lmex on input line 6. (/usr/share/texmf-dist/tex/latex/lm/omxlmex.fd File: omxlmex.fd 2009/10/30 v1.6 Font defs for Latin Modern ) LaTeX Font Info: External font `lmex10' loaded for size (Font) <10.95> on input line 6. LaTeX Font Info: External font `lmex10' loaded for size (Font) <8> on input line 6. LaTeX Font Info: External font `lmex10' loaded for size (Font) <6> on input line 6. LaTeX Font Info: Trying to load font information for U+msa on input line 6. (/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 6. (/usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd File: umsb.fd 2013/01/14 v3.01 AMS symbols B ) LaTeX Font Info: Trying to load font information for U+wasy on input line 6. (/usr/share/texmf-dist/tex/latex/wasysym/uwasy.fd File: uwasy.fd 2020/01/19 v2.4 Wasy-2 symbol font definitions ) LaTeX Font Info: Font shape `T1/lmss/m/it' in size <8> not available (Font) Font shape `T1/lmss/m/sl' tried instead on input line 6. LaTeX Font Info: Font shape `T1/lmss/m/it' in size <6> not available (Font) Font shape `T1/lmss/m/sl' tried instead on input line 6. LaTeX Font Info: External font `lmex10' loaded for size (Font) <9> on input line 6. LaTeX Font Info: External font `lmex10' loaded for size (Font) <5> on input line 6. LaTeX Font Info: Font shape `T1/lmss/m/it' in size <9> not available (Font) Font shape `T1/lmss/m/sl' tried instead on input line 6. LaTeX Font Info: Font shape `T1/lmss/m/it' in size <5> not available (Font) Font shape `T1/lmss/m/sl' tried instead on input line 6. ) File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 265. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [59 ]) (./algebra.tex (dist/types-and-tests.vrb) File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 15. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [60 ] (dist/types-and-tests.vrb) File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 31. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [61 ] (dist/types-and-tests.vrb) File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 47. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [62 ] (dist/types-and-tests.vrb) File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 66. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [63 ] (dist/types-and-tests.vrb) File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 77. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [64 ] (dist/types-and-tests.vrb) File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 96. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [65 ] (dist/types-and-tests.vrb) File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 96. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [66 ] (dist/types-and-tests.vrb) File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 105. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [67 ]) (./more-examples.tex (dist/types-and-tests.vrb) File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 15. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [68 ] (dist/types-and-tests.vrb) File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 36. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [69 ] (dist/types-and-tests.vrb) File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 46. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [70 ] (dist/types-and-tests.vrb) File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 56. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [71 ]) (./references.tex (dist/types-and-tests.bbl) File: image/sm_logo_standard_with_lines_hi_res.png Graphic file (type png) Package pdftex.def Info: image/sm_logo_standard_with_lines_hi_res.png used on input line 7. (pdftex.def) Requested size: 49.33702pt x 39.83368pt. [72 ]) \tf@nav=\write6 \tf@toc=\write7 \tf@snm=\write8 Package atveryend Info: Empty hook `BeforeClearDocument' on input line 241. Package atveryend Info: Empty hook `AfterLastShipout' on input line 241. (dist/types-and-tests.aux) Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 241. Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 241. Package rerunfilecheck Info: File `types-and-tests.out' has not changed. (rerunfilecheck) Checksum: D41D8CD98F00B204E9800998ECF8427E;0. ) Here is how much of TeX's memory you used: 25798 strings out of 480478 494361 string characters out of 5905960 785782 words of memory out of 5000000 40934 multiletter control sequences out of 15000+600000 596842 words of font info for 77 fonts, out of 8000000 for 9000 1141 hyphenation exceptions out of 8191 54i,15n,79p,802b,2235s stack positions out of 5000i,500n,10000p,200000b,80000s {/usr/share/texmf-dist/fonts/enc/dvips/lm/lm-ec.enc}{/usr/share/texmf-dist/fo nts/enc/dvips/lm/lm-mathsy.enc} Output written on dist/types-and-tests.pdf (72 pages, 691790 bytes). PDF statistics: 1982 PDF objects out of 2073 (max. 8388607) 1841 compressed objects within 19 object streams 147 named destinations out of 1000 (max. 500000) 202 words of extra memory for PDF output out of 10000 (max. 10000000)