This is pdfTeX, Version 3.14159265-2.6-1.40.21 (TeX Live 2020/VoidLinux) (preloaded format=pdflatex 2020.8.29) 6 SEP 2020 17:47 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. )) \c@exercise=\count187 (/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=\count188 \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 12. LaTeX Font Info: ... okay on input line 12. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 12. LaTeX Font Info: ... okay on input line 12. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 12. LaTeX Font Info: ... okay on input line 12. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 12. LaTeX Font Info: ... okay on input line 12. LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 12. LaTeX Font Info: ... okay on input line 12. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 12. LaTeX Font Info: ... okay on input line 12. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 12. LaTeX Font Info: ... okay on input line 12. LaTeX Font Info: Trying to load font information for U+msa on input line 13. (/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 13. (/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: 1629 strings out of 480478 20291 string characters out of 5905927 258779 words of memory out of 5000000 17679 multiletter control sequences out of 15000+600000 540575 words of font info for 56 fonts, out of 8000000 for 9000 1141 hyphenation exceptions out of 8191 30i,13n,31p,234b,251s 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, 125146 bytes). PDF statistics: 60 PDF objects out of 1000 (max. 8388607) 43 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)