From 6b2bf010cc5ba3f57f22769c8e809d029026c26d Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Thu, 9 Sep 2021 09:09:20 +0200 Subject: Solutions hidden --- solutions/preplogic-solutions.log | 242 -------------------------------------- 1 file changed, 242 deletions(-) delete mode 100644 solutions/preplogic-solutions.log (limited to 'solutions/preplogic-solutions.log') diff --git a/solutions/preplogic-solutions.log b/solutions/preplogic-solutions.log deleted file mode 100644 index d0fc38d..0000000 --- a/solutions/preplogic-solutions.log +++ /dev/null @@ -1,242 +0,0 @@ -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:28 -entering extended mode - \write18 enabled. - %&-line parsing enabled. -**preplogic-solutions.tex -(./preplogic-solutions.tex -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/texlive/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/texlive/texmf-dist/tex/latex/base/inputenc.sty -Package: inputenc 2018/08/11 v1.3c Input encoding file -\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/texlive/texmf-dist/tex/latex/amsmath/amstext.sty -Package: amstext 2000/06/29 v2.01 AMS text - -(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty -File: amsgen.sty 1999/11/30 v2.0 generic functions -\@emptytoks=\toks16 -\ex@=\dimen135 -)) -(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty -Package: amsbsy 1999/11/29 v1.2d Bold Symbols -\pmbraise@=\dimen136 -) -(/usr/share/texlive/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=\toks17 -\row@=\count184 -\column@=\count185 -\maxfields@=\count186 -\andhelp@=\toks18 -\eqnshift@=\dimen138 -\alignsep@=\dimen139 -\tagshift@=\dimen140 -\tagwidth@=\dimen141 -\totwidth@=\dimen142 -\lineht@=\dimen143 -\@envbody=\toks19 -\multlinegap=\skip50 -\multlinetaggap=\skip51 -\mathdisplay@stack=\toks20 -LaTeX Info: Redefining \[ on input line 2859. -LaTeX Info: Redefining \] on input line 2860. -) -(/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=\toks26 -) -(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty -Package: amssymb 2013/01/14 v3.01 AMS font symbols - -(/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/texlive/texmf-dist/tex/latex/geometry/geometry.sty -Package: geometry 2020/01/02 v5.9 Page Geometry - -(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty -Package: keyval 2014/10/28 v1.15 key=value parser (DPC) -\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/texlive/texmf-dist/tex/generic/iftex/iftex.sty -Package: iftex 2019/11/07 v1.0c 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=\toks28 -) -\c@exercise=\count190 - -(/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-solutions.aux) -\openout1 = `preplogic-solutions.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/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/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd -File: umsb.fd 2013/01/14 v3.01 AMS symbols B -) [1 - -{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] [2] [3] [4] (./preplogic-s -olutions.aux) ) -Here is how much of TeX's memory you used: - 2177 strings out of 481239 - 28310 string characters out of 5920377 - 278136 words of memory out of 5000000 - 17450 multiletter control sequences out of 15000+600000 - 541722 words of font info for 60 fonts, out of 8000000 for 9000 - 1141 hyphenation exceptions out of 8191 - 30i,16n,31p,234b,294s stack positions out of 5000i,500n,10000p,200000b,80000s - < -/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb> -Output written on preplogic-solutions.pdf (4 pages, 167760 bytes). -PDF statistics: - 86 PDF objects out of 1000 (max. 8388607) - 62 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) - -- cgit v1.3