This is pdfTeX, Version 3.1415926-2.5-1.40.14 (TeX Live 2013/Debian) (format=pdflatex 2014.7.25) 24 FEB 2015 12:54 entering extended mode restricted \write18 enabled. %&-line parsing enabled. **post_compitoIAM14_2.tex (./post_compitoIAM14_2.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@Esercizio1=\count87 \c@Esercizio2=\count88 \c@teorema=\count89 \c@corollario=\count90 \c@definizione=\count91 \c@dimostrazione=\count92 \c@nota=\count93 \c@facoltativo=\count94 \c@facoltativa=\count95 \c@svolgimento=\count96 \c@problema=\count97 \c@notazione=\count98 \c@traccia=\count99 \c@vuoto=\count100 \c@esempio=\count101 \c@esercizio=\count102 \c@eserciziocasa=\count103 (/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=\count104 LaTeX Info: Redefining \frac on input line 210. \uproot@=\count105 \leftroot@=\count106 LaTeX Info: Redefining \overline on input line 306. \classnum@=\count107 \DOTSCASE@=\count108 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=\count109 \c@MaxMatrixCols=\count110 \dotsspace@=\muskip10 \c@parentequation=\count111 \dspbrk@lvl=\count112 \tag@help=\toks16 \row@=\count113 \column@=\count114 \maxfields@=\count115 \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=\count116 \c@Proposition=\count117 \c@Definition=\count118 \c@Corollary=\count119 (./post_compitoIAM14_2.aux) \openout1 = `post_compitoIAM14_2.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 267. LaTeX Font Info: ... okay on input line 267. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 267. LaTeX Font Info: ... okay on input line 267. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 267. LaTeX Font Info: ... okay on input line 267. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 267. LaTeX Font Info: ... okay on input line 267. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 267. LaTeX Font Info: ... okay on input line 267. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 267. LaTeX Font Info: ... okay on input line 267. LaTeX Font Info: Try loading font information for U+lasy on input line 305. (/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 305. (/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 305. (/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}] (./post_compitoIAM14_2.aux ) ) Here is how much of TeX's memory you used: 1401 strings out of 495017 15346 string characters out of 6181021 61579 words of memory out of 5000000 4648 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,247b,146s stack positions out of 5000i,500n,10000p,200000b,80000s Output written on post_compitoIAM14_2.pdf (1 page, 80591 bytes). PDF statistics: 44 PDF objects out of 1000 (max. 8388607) 31 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)