This is pdfTeX, Version 3.1415926-2.5-1.40.14 (TeX Live 2013/Debian) (format=pdflatex 2014.7.25) 24 FEB 2017 09:57 entering extended mode restricted \write18 enabled. %&-line parsing enabled. **esercizi.tex (./esercizi.tex LaTeX2e <2011/06/27> Babel <3.9h> and hyphenation patterns for 3 languages loaded. (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2007/10/19 v1.4h Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo File: size10.clo 2007/10/19 v1.4h Standard LaTeX file (size option) ) \c@part=\count79 \c@section=\count80 \c@subsection=\count81 \c@subsubsection=\count82 \c@paragraph=\count83 \c@subparagraph=\count84 \c@figure=\count85 \c@table=\count86 \abovecaptionskip=\skip41 \belowcaptionskip=\skip42 \bibindent=\dimen102 ) \c@teorema=\count87 \c@corollario=\count88 \c@definizione=\count89 \c@dimostrazione=\count90 \c@nota=\count91 \c@facoltativo=\count92 \c@facoltativa=\count93 \c@svolgimento=\count94 \c@problema=\count95 \c@notazione=\count96 \c@traccia=\count97 \c@vuoto=\count98 \c@esempio=\count99 \c@esercizio=\count100 \c@eserciziocasa=\count101 (/usr/share/texlive/texmf-dist/tex/latex/base/latexsym.sty Package: latexsym 1998/08/17 v2.2e Standard LaTeX package (lasy symbols) \symlasy=\mathgroup4 LaTeX Font Info: Overwriting symbol font `lasy' in version `bold' (Font) U/lasy/m/n --> U/lasy/b/n on input line 47. ) (/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 \@emptytoks=\toks14 \symAMSa=\mathgroup5 \symAMSb=\mathgroup6 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/amsmath/amsmath.sty Package: amsmath 2013/01/14 v2.14 AMS math features \@mathmargin=\skip43 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 (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty File: amsgen.sty 1999/11/30 v2.0 \@emptytoks=\toks15 \ex@=\dimen103 )) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty Package: amsbsy 1999/11/29 v1.2d \pmbraise@=\dimen104 ) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty Package: amsopn 1999/12/14 v2.01 operator names ) \inf@bad=\count102 LaTeX Info: Redefining \frac on input line 210. \uproot@=\count103 \leftroot@=\count104 LaTeX Info: Redefining \overline on input line 306. \classnum@=\count105 \DOTSCASE@=\count106 LaTeX Info: Redefining \ldots on input line 378. LaTeX Info: Redefining \dots on input line 381. LaTeX Info: Redefining \cdots on input line 466. \Mathstrutbox@=\box26 \strutbox@=\box27 \big@size=\dimen105 LaTeX Font Info: Redeclaring font encoding OML on input line 566. LaTeX Font Info: Redeclaring font encoding OMS on input line 567. \macc@depth=\count107 \c@MaxMatrixCols=\count108 \dotsspace@=\muskip10 \c@parentequation=\count109 \dspbrk@lvl=\count110 \tag@help=\toks16 \row@=\count111 \column@=\count112 \maxfields@=\count113 \andhelp@=\toks17 \eqnshift@=\dimen106 \alignsep@=\dimen107 \tagshift@=\dimen108 \tagwidth@=\dimen109 \totwidth@=\dimen110 \lineht@=\dimen111 \@envbody=\toks18 \multlinegap=\skip44 \multlinetaggap=\skip45 \mathdisplay@stack=\toks19 LaTeX Info: Redefining \[ on input line 2665. LaTeX Info: Redefining \] on input line 2666. ) (/usr/share/texlive/texmf-dist/tex/latex/amscls/amsthm.sty Package: amsthm 2004/08/06 v2.20 \thm@style=\toks20 \thm@bodyfont=\toks21 \thm@headfont=\toks22 \thm@notefont=\toks23 \thm@headpunct=\toks24 \thm@preskip=\skip46 \thm@postskip=\skip47 \thm@headsep=\skip48 \dth@everypar=\toks25 LaTeX Info: Redefining \qed on input line 283. ) \c@Theorem=\count114 \c@Proposition=\count115 \c@Definition=\count116 \c@Corollary=\count117 (./esercizi.aux) \openout1 = `esercizi.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 197. LaTeX Font Info: ... okay on input line 197. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 197. LaTeX Font Info: ... okay on input line 197. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 197. LaTeX Font Info: ... okay on input line 197. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 197. LaTeX Font Info: ... okay on input line 197. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 197. LaTeX Font Info: ... okay on input line 197. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 197. LaTeX Font Info: ... okay on input line 197. LaTeX Font Info: Try loading font information for U+lasy on input line 281. (/usr/share/texlive/texmf-dist/tex/latex/base/ulasy.fd File: ulasy.fd 1998/08/17 v2.2e LaTeX symbol font definitions ) LaTeX Font Info: Try loading font information for U+msa on input line 281. (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd File: umsa.fd 2013/01/14 v3.01 AMS symbols A ) LaTeX Font Info: Try loading font information for U+msb on input line 281. (/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}] Underfull \hbox (badness 10000) in paragraph at lines 634--640 [] [2] Underfull \hbox (badness 10000) in paragraph at lines 784--790 [] [3] Underfull \hbox (badness 10000) in paragraph at lines 925--931 [] [4] (./esercizi.aux) ) Here is how much of TeX's memory you used: 1329 strings out of 495017 14854 string characters out of 6181021 62957 words of memory out of 5000000 4576 multiletter control sequences out of 15000+600000 7180 words of font info for 30 fonts, out of 8000000 for 9000 14 hyphenation exceptions out of 8191 27i,4n,26p,250b,104s stack positions out of 5000i,500n,10000p,200000b,80000s Output written on esercizi.pdf (4 pages, 92416 bytes). PDF statistics: 49 PDF objects out of 1000 (max. 8388607) 34 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)