This is pdfTeX, Version 3.14159265-2.6-1.40.21 (TeX Live 2020/VoidLinux) (preloaded format=pdflatex 2020.8.29) 6 SEP 2020 19:28 entering extended mode restricted \write18 enabled. file:line:error style messages enabled. %&-line parsing enabled. **preplogic-exercises.tex (./preplogic-exercises.tex LaTeX2e <2020-02-02> patch level 5 L3 programming layer <2020-06-03> (/usr/share/texmf-dist/tex/latex/base/article.cls Document Class: article 2019/12/20 v1.4l Standard LaTeX document class (/usr/share/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/texmf-dist/tex/latex/base/inputenc.sty Package: inputenc 2018/08/11 v1.3c Input encoding file \inpenc@prehook=\toks15 \inpenc@posthook=\toks16 ) (/usr/share/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/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=\toks17 \ex@=\dimen135 )) (/usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty Package: amsbsy 1999/11/29 v1.2d Bold Symbols \pmbraise@=\dimen136 ) (/usr/share/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=\toks18 \row@=\count184 \column@=\count185 \maxfields@=\count186 \andhelp@=\toks19 \eqnshift@=\dimen138 \alignsep@=\dimen139 \tagshift@=\dimen140 \tagwidth@=\dimen141 \totwidth@=\dimen142 \lineht@=\dimen143 \@envbody=\toks20 \multlinegap=\skip50 \multlinetaggap=\skip51 \mathdisplay@stack=\toks21 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=\toks22 \thm@bodyfont=\toks23 \thm@headfont=\toks24 \thm@notefont=\toks25 \thm@headpunct=\toks26 \thm@preskip=\skip52 \thm@postskip=\skip53 \thm@headsep=\skip54 \dth@everypar=\toks27 ) (/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 \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/geometry/geometry.sty Package: geometry 2020/01/02 v5.9 Page Geometry (/usr/share/texmf-dist/tex/latex/graphics/keyval.sty Package: keyval 2014/10/28 v1.15 key=value parser (DPC) \KV@toks@=\toks28 ) (/usr/share/texmf-dist/tex/generic/iftex/ifvtex.sty Package: ifvtex 2019/10/25 v1.7 ifvtex legacy package. Use iftex instead. (/usr/share/texmf-dist/tex/generic/iftex/iftex.sty Package: iftex 2020/03/06 v1.0d 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=\toks29 ) \c@exercise=\count190 (/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=\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/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/texmf-dist/tex/latex/amsfonts/umsb.fd File: umsb.fd 2013/01/14 v3.01 AMS symbols B ) [1 {/usr/share/texmf-dist/fonts/map/pdftex/updmap/pdftex.map}] [2] (./preplogic-exercises.aux) ) Here is how much of TeX's memory you used: 2168 strings out of 480478 27947 string characters out of 5905927 275547 words of memory out of 5000000 18202 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 {/usr/share/texmf-dist/fonts/enc/dvips/cm-super/cm-super-ts1.enc} Output written on preplogic-exercises.pdf (2 pages, 146771 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)