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:27 entering extended mode \write18 enabled. %&-line parsing enabled. **preplogic-exercises.tex (./preplogic-exercises.tex LaTeX2e <2020-02-02> patch level 2 L3 programming layer <2020-02-14> (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2019/12/20 v1.4l Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo File: size10.clo 2019/12/20 v1.4l Standard LaTeX file (size option) ) \c@part=\count167 \c@section=\count168 \c@subsection=\count169 \c@subsubsection=\count170 \c@paragraph=\count171 \c@subparagraph=\count172 \c@figure=\count173 \c@table=\count174 \abovecaptionskip=\skip47 \belowcaptionskip=\skip48 \bibindent=\dimen134 ) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty Package: inputenc 2018/08/11 v1.3c Input encoding file \inpenc@prehook=\toks14 \inpenc@posthook=\toks15 ) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty Package: amsmath 2020/01/20 v2.17e AMS math features \@mathmargin=\skip49 For additional information on amsmath, use the `?' option. (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty Package: amstext 2000/06/29 v2.01 AMS text (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty File: amsgen.sty 1999/11/30 v2.0 generic functions \@emptytoks=\toks16 \ex@=\dimen135 )) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty Package: amsbsy 1999/11/29 v1.2d Bold Symbols \pmbraise@=\dimen136 ) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty Package: amsopn 2016/03/08 v2.02 operator names ) \inf@bad=\count175 LaTeX Info: Redefining \frac on input line 227. \uproot@=\count176 \leftroot@=\count177 LaTeX Info: Redefining \overline on input line 389. \classnum@=\count178 \DOTSCASE@=\count179 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@=\box45 \strutbox@=\box46 \big@size=\dimen137 LaTeX Font Info: Redeclaring font encoding OML on input line 733. LaTeX Font Info: Redeclaring font encoding OMS on input line 734. \macc@depth=\count180 \c@MaxMatrixCols=\count181 \dotsspace@=\muskip16 \c@parentequation=\count182 \dspbrk@lvl=\count183 \tag@help=\toks17 \row@=\count184 \column@=\count185 \maxfields@=\count186 \andhelp@=\toks18 \eqnshift@=\dimen138 \alignsep@=\dimen139 \tagshift@=\dimen140 \tagwidth@=\dimen141 \totwidth@=\dimen142 \lineht@=\dimen143 \@envbody=\toks19 \multlinegap=\skip50 \multlinetaggap=\skip51 \mathdisplay@stack=\toks20 LaTeX Info: Redefining \[ on input line 2859. LaTeX Info: Redefining \] on input line 2860. ) (/usr/share/texlive/texmf-dist/tex/latex/amscls/amsthm.sty Package: amsthm 2017/10/31 v2.20.4 \thm@style=\toks21 \thm@bodyfont=\toks22 \thm@headfont=\toks23 \thm@notefont=\toks24 \thm@headpunct=\toks25 \thm@preskip=\skip52 \thm@postskip=\skip53 \thm@headsep=\skip54 \dth@everypar=\toks26 ) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty Package: amssymb 2013/01/14 v3.01 AMS font symbols (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support \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/texlive/texmf-dist/tex/latex/geometry/geometry.sty Package: geometry 2020/01/02 v5.9 Page Geometry (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty Package: keyval 2014/10/28 v1.15 key=value parser (DPC) \KV@toks@=\toks27 ) (/usr/share/texlive/texmf-dist/tex/generic/iftex/ifvtex.sty Package: ifvtex 2019/10/25 v1.7 ifvtex legacy package. Use iftex instead. (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty Package: iftex 2019/11/07 v1.0c TeX engine tests )) \Gm@cnth=\count187 \Gm@cntv=\count188 \c@Gm@tempcnt=\count189 \Gm@bindingoffset=\dimen144 \Gm@wd@mp=\dimen145 \Gm@odd@mp=\dimen146 \Gm@even@mp=\dimen147 \Gm@layoutwidth=\dimen148 \Gm@layoutheight=\dimen149 \Gm@layouthoffset=\dimen150 \Gm@layoutvoffset=\dimen151 \Gm@dimlist=\toks28 ) \c@exercise=\count190 (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdfmode.def File: l3backend-pdfmode.def 2020-02-03 L3 backend support: PDF mode \l__kernel_color_stack_int=\count191 \l__pdf_internal_box=\box47 ) (./preplogic-exercises.aux) \openout1 = `preplogic-exercises.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 13. LaTeX Font Info: ... okay on input line 13. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 13. LaTeX Font Info: ... okay on input line 13. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 13. LaTeX Font Info: ... okay on input line 13. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 13. LaTeX Font Info: ... okay on input line 13. LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 13. LaTeX Font Info: ... okay on input line 13. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 13. LaTeX Font Info: ... okay on input line 13. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 13. LaTeX Font Info: ... okay on input line 13. *geometry* driver: auto-detecting *geometry* detected driver: pdftex *geometry* verbose mode - [ preamble ] result: * driver: pdftex * paper: a4paper * layout: * layoutoffset:(h,v)=(0.0pt,0.0pt) * modes: * h-part:(L,W,R)=(89.62709pt, 418.25368pt, 89.6271pt) * v-part:(T,H,B)=(56.9055pt, 686.7347pt, 101.40665pt) * \paperwidth=597.50787pt * \paperheight=845.04684pt * \textwidth=418.25368pt * \textheight=686.7347pt * \oddsidemargin=17.3571pt * \evensidemargin=17.3571pt * \topmargin=-52.36449pt * \headheight=12.0pt * \headsep=25.0pt * \topskip=10.0pt * \footskip=30.0pt * \marginparwidth=57.0pt * \marginparsep=11.0pt * \columnsep=10.0pt * \skip\footins=9.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) LaTeX Font Info: Trying to load font information for U+msa on input line 14. (/usr/share/texlive/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 14. (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd File: umsb.fd 2013/01/14 v3.01 AMS symbols B ) [1 {/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] [2] (./preplogic-exercises .aux) ) Here is how much of TeX's memory you used: 2171 strings out of 481239 28248 string characters out of 5920377 273136 words of memory out of 5000000 17447 multiletter control sequences out of 15000+600000 540744 words of font info for 57 fonts, out of 8000000 for 9000 1141 hyphenation exceptions out of 8191 30i,16n,31p,234b,270s stack positions out of 5000i,500n,10000p,200000b,80000s Output written on preplogic-exercises.pdf (2 pages, 141765 bytes). PDF statistics: 72 PDF objects out of 1000 (max. 8388607) 52 compressed objects within 1 object stream 0 named destinations out of 1000 (max. 500000) 1 words of extra memory for PDF output out of 10000 (max. 10000000)