preplogic-exercises.log (8575B)
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:27 2 entering extended mode 3 \write18 enabled. 4 %&-line parsing enabled. 5 **preplogic-exercises.tex 6 (./preplogic-exercises.tex 7 LaTeX2e <2020-02-02> patch level 2 8 L3 programming layer <2020-02-14> 9 (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls 10 Document Class: article 2019/12/20 v1.4l Standard LaTeX document class 11 (/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo 12 File: size10.clo 2019/12/20 v1.4l Standard LaTeX file (size option) 13 ) 14 \c@part=\count167 15 \c@section=\count168 16 \c@subsection=\count169 17 \c@subsubsection=\count170 18 \c@paragraph=\count171 19 \c@subparagraph=\count172 20 \c@figure=\count173 21 \c@table=\count174 22 \abovecaptionskip=\skip47 23 \belowcaptionskip=\skip48 24 \bibindent=\dimen134 25 ) 26 (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty 27 Package: inputenc 2018/08/11 v1.3c Input encoding file 28 \inpenc@prehook=\toks14 29 \inpenc@posthook=\toks15 30 ) 31 (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty 32 Package: amsmath 2020/01/20 v2.17e AMS math features 33 \@mathmargin=\skip49 34 35 For additional information on amsmath, use the `?' option. 36 (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty 37 Package: amstext 2000/06/29 v2.01 AMS text 38 39 (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty 40 File: amsgen.sty 1999/11/30 v2.0 generic functions 41 \@emptytoks=\toks16 42 \ex@=\dimen135 43 )) 44 (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty 45 Package: amsbsy 1999/11/29 v1.2d Bold Symbols 46 \pmbraise@=\dimen136 47 ) 48 (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty 49 Package: amsopn 2016/03/08 v2.02 operator names 50 ) 51 \inf@bad=\count175 52 LaTeX Info: Redefining \frac on input line 227. 53 \uproot@=\count176 54 \leftroot@=\count177 55 LaTeX Info: Redefining \overline on input line 389. 56 \classnum@=\count178 57 \DOTSCASE@=\count179 58 LaTeX Info: Redefining \ldots on input line 486. 59 LaTeX Info: Redefining \dots on input line 489. 60 LaTeX Info: Redefining \cdots on input line 610. 61 \Mathstrutbox@=\box45 62 \strutbox@=\box46 63 \big@size=\dimen137 64 LaTeX Font Info: Redeclaring font encoding OML on input line 733. 65 LaTeX Font Info: Redeclaring font encoding OMS on input line 734. 66 \macc@depth=\count180 67 \c@MaxMatrixCols=\count181 68 \dotsspace@=\muskip16 69 \c@parentequation=\count182 70 \dspbrk@lvl=\count183 71 \tag@help=\toks17 72 \row@=\count184 73 \column@=\count185 74 \maxfields@=\count186 75 \andhelp@=\toks18 76 \eqnshift@=\dimen138 77 \alignsep@=\dimen139 78 \tagshift@=\dimen140 79 \tagwidth@=\dimen141 80 \totwidth@=\dimen142 81 \lineht@=\dimen143 82 \@envbody=\toks19 83 \multlinegap=\skip50 84 \multlinetaggap=\skip51 85 \mathdisplay@stack=\toks20 86 LaTeX Info: Redefining \[ on input line 2859. 87 LaTeX Info: Redefining \] on input line 2860. 88 ) 89 (/usr/share/texlive/texmf-dist/tex/latex/amscls/amsthm.sty 90 Package: amsthm 2017/10/31 v2.20.4 91 \thm@style=\toks21 92 \thm@bodyfont=\toks22 93 \thm@headfont=\toks23 94 \thm@notefont=\toks24 95 \thm@headpunct=\toks25 96 \thm@preskip=\skip52 97 \thm@postskip=\skip53 98 \thm@headsep=\skip54 99 \dth@everypar=\toks26 100 ) 101 (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty 102 Package: amssymb 2013/01/14 v3.01 AMS font symbols 103 104 (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty 105 Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support 106 \symAMSa=\mathgroup4 107 \symAMSb=\mathgroup5 108 LaTeX Font Info: Redeclaring math symbol \hbar on input line 98. 109 LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' 110 (Font) U/euf/m/n --> U/euf/b/n on input line 106. 111 )) 112 (/usr/share/texlive/texmf-dist/tex/latex/geometry/geometry.sty 113 Package: geometry 2020/01/02 v5.9 Page Geometry 114 115 (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty 116 Package: keyval 2014/10/28 v1.15 key=value parser (DPC) 117 \KV@toks@=\toks27 118 ) 119 (/usr/share/texlive/texmf-dist/tex/generic/iftex/ifvtex.sty 120 Package: ifvtex 2019/10/25 v1.7 ifvtex legacy package. Use iftex instead. 121 122 (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty 123 Package: iftex 2019/11/07 v1.0c TeX engine tests 124 )) 125 \Gm@cnth=\count187 126 \Gm@cntv=\count188 127 \c@Gm@tempcnt=\count189 128 \Gm@bindingoffset=\dimen144 129 \Gm@wd@mp=\dimen145 130 \Gm@odd@mp=\dimen146 131 \Gm@even@mp=\dimen147 132 \Gm@layoutwidth=\dimen148 133 \Gm@layoutheight=\dimen149 134 \Gm@layouthoffset=\dimen150 135 \Gm@layoutvoffset=\dimen151 136 \Gm@dimlist=\toks28 137 ) 138 \c@exercise=\count190 139 140 (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdfmode.def 141 File: l3backend-pdfmode.def 2020-02-03 L3 backend support: PDF mode 142 \l__kernel_color_stack_int=\count191 143 \l__pdf_internal_box=\box47 144 ) 145 (./preplogic-exercises.aux) 146 \openout1 = `preplogic-exercises.aux'. 147 148 LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 13. 149 LaTeX Font Info: ... okay on input line 13. 150 LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 13. 151 LaTeX Font Info: ... okay on input line 13. 152 LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 13. 153 LaTeX Font Info: ... okay on input line 13. 154 LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 13. 155 LaTeX Font Info: ... okay on input line 13. 156 LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 13. 157 LaTeX Font Info: ... okay on input line 13. 158 LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 13. 159 LaTeX Font Info: ... okay on input line 13. 160 LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 13. 161 LaTeX Font Info: ... okay on input line 13. 162 163 *geometry* driver: auto-detecting 164 *geometry* detected driver: pdftex 165 *geometry* verbose mode - [ preamble ] result: 166 * driver: pdftex 167 * paper: a4paper 168 * layout: <same size as paper> 169 * layoutoffset:(h,v)=(0.0pt,0.0pt) 170 * modes: 171 * h-part:(L,W,R)=(89.62709pt, 418.25368pt, 89.6271pt) 172 * v-part:(T,H,B)=(56.9055pt, 686.7347pt, 101.40665pt) 173 * \paperwidth=597.50787pt 174 * \paperheight=845.04684pt 175 * \textwidth=418.25368pt 176 * \textheight=686.7347pt 177 * \oddsidemargin=17.3571pt 178 * \evensidemargin=17.3571pt 179 * \topmargin=-52.36449pt 180 * \headheight=12.0pt 181 * \headsep=25.0pt 182 * \topskip=10.0pt 183 * \footskip=30.0pt 184 * \marginparwidth=57.0pt 185 * \marginparsep=11.0pt 186 * \columnsep=10.0pt 187 * \skip\footins=9.0pt plus 4.0pt minus 2.0pt 188 * \hoffset=0.0pt 189 * \voffset=0.0pt 190 * \mag=1000 191 * \@twocolumnfalse 192 * \@twosidefalse 193 * \@mparswitchfalse 194 * \@reversemarginfalse 195 * (1in=72.27pt=25.4mm, 1cm=28.453pt) 196 197 LaTeX Font Info: Trying to load font information for U+msa on input line 14. 198 199 (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd 200 File: umsa.fd 2013/01/14 v3.01 AMS symbols A 201 ) 202 LaTeX Font Info: Trying to load font information for U+msb on input line 14. 203 204 205 (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd 206 File: umsb.fd 2013/01/14 v3.01 AMS symbols B 207 ) [1 208 209 {/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] [2] (./preplogic-exercises 210 .aux) ) 211 Here is how much of TeX's memory you used: 212 2171 strings out of 481239 213 28248 string characters out of 5920377 214 273136 words of memory out of 5000000 215 17447 multiletter control sequences out of 15000+600000 216 540744 words of font info for 57 fonts, out of 8000000 for 9000 217 1141 hyphenation exceptions out of 8191 218 30i,16n,31p,234b,270s stack positions out of 5000i,500n,10000p,200000b,80000s 219 </home/sebastiano/.texlive2019/texmf-var/fonts/pk/ljfour/jknappen/ec/tc 220 rm1000.600pk></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx 221 10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx12.pfb 222 ></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmex10.pfb></usr 223 /share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb></usr/share 224 /texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi5.pfb></usr/share/texliv 225 e/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi7.pfb></usr/share/texlive/texmf 226 -dist/fonts/type1/public/amsfonts/cm/cmr10.pfb></usr/share/texlive/texmf-dist/f 227 onts/type1/public/amsfonts/cm/cmr12.pfb></usr/share/texlive/texmf-dist/fonts/ty 228 pe1/public/amsfonts/cm/cmr17.pfb></usr/share/texlive/texmf-dist/fonts/type1/pub 229 lic/amsfonts/cm/cmr7.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsf 230 onts/cm/cmsy10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/c 231 m/cmti10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt 232 12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm1 233 0.pfb> 234 Output written on preplogic-exercises.pdf (2 pages, 141765 bytes). 235 PDF statistics: 236 72 PDF objects out of 1000 (max. 8388607) 237 52 compressed objects within 1 object stream 238 0 named destinations out of 1000 (max. 500000) 239 1 words of extra memory for PDF output out of 10000 (max. 10000000) 240