From 502379c0540d55f1ca5341b69f89c68994a22f02 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Mon, 6 Sep 2021 10:29:24 +0200 Subject: Changed date, solutions hidden --- exercises/preplogic-exercises.log | 128 ++++++++++++++++++++++++-------------- 1 file changed, 80 insertions(+), 48 deletions(-) (limited to 'exercises/preplogic-exercises.log') diff --git a/exercises/preplogic-exercises.log b/exercises/preplogic-exercises.log index 66c9478..60d2cd0 100644 --- a/exercises/preplogic-exercises.log +++ b/exercises/preplogic-exercises.log @@ -1,14 +1,14 @@ -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 +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 - restricted \write18 enabled. - file:line:error style messages enabled. + \write18 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 +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/texmf-dist/tex/latex/base/size10.clo +(/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 @@ -22,25 +22,30 @@ File: size10.clo 2019/12/20 v1.4l Standard LaTeX file (size option) \abovecaptionskip=\skip47 \belowcaptionskip=\skip48 \bibindent=\dimen134 -) (/usr/share/texmf-dist/tex/latex/base/inputenc.sty +) +(/usr/share/texlive/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 +\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/texmf-dist/tex/latex/amsmath/amstext.sty +(/usr/share/texlive/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 + +(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty File: amsgen.sty 1999/11/30 v2.0 generic functions -\@emptytoks=\toks17 +\@emptytoks=\toks16 \ex@=\dimen135 -)) (/usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty +)) +(/usr/share/texlive/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 +) +(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty Package: amsopn 2016/03/08 v2.02 operator names ) \inf@bad=\count175 @@ -63,52 +68,59 @@ LaTeX Font Info: Redeclaring font encoding OMS on input line 734. \dotsspace@=\muskip16 \c@parentequation=\count182 \dspbrk@lvl=\count183 -\tag@help=\toks18 +\tag@help=\toks17 \row@=\count184 \column@=\count185 \maxfields@=\count186 -\andhelp@=\toks19 +\andhelp@=\toks18 \eqnshift@=\dimen138 \alignsep@=\dimen139 \tagshift@=\dimen140 \tagwidth@=\dimen141 \totwidth@=\dimen142 \lineht@=\dimen143 -\@envbody=\toks20 +\@envbody=\toks19 \multlinegap=\skip50 \multlinetaggap=\skip51 -\mathdisplay@stack=\toks21 +\mathdisplay@stack=\toks20 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 +) +(/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=\toks27 -) (/usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty +\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/texmf-dist/tex/latex/amsfonts/amsfonts.sty + +(/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/texmf-dist/tex/latex/geometry/geometry.sty +)) +(/usr/share/texlive/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 + +(/usr/share/texlive/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 +\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/texmf-dist/tex/generic/iftex/iftex.sty -Package: iftex 2020/03/06 v1.0d TeX engine tests + +(/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 @@ -121,14 +133,16 @@ Package: iftex 2020/03/06 v1.0d TeX engine tests \Gm@layoutheight=\dimen149 \Gm@layouthoffset=\dimen150 \Gm@layoutvoffset=\dimen151 -\Gm@dimlist=\toks29 +\Gm@dimlist=\toks28 ) \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 + +(/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) +) +(./preplogic-exercises.aux) \openout1 = `preplogic-exercises.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 13. @@ -181,25 +195,43 @@ LaTeX Font Info: ... okay on input line 13. * (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 + +(/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/texmf-dist/tex/latex/amsfonts/umsb.fd + + +(/usr/share/texlive/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) ) +{/var/lib/texmf/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 + 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 -{/usr/share/texmf-dist/fonts/enc/dvips/cm-super/cm-super-ts1.enc} -Output written on preplogic-exercises.pdf (2 pages, 146771 bytes). + +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 -- cgit v1.3