preplogic

Notes for the course "elementary logic"
git clone https://git.tronto.net/preplogic
Download | Log | Files | Refs | README

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