This is pdfTeXk, Version 3.141592-1.40.3 (Web2C 7.5.6) (format=pdflatex 2015.10.14) 29 AUG 2016 00:27 entering extended mode %&-line parsing enabled. **HEN.tex (./HEN.tex LaTeX2e <2005/12/01> Babel and hyphenation patterns for english, usenglishmax, dumylang, noh yphenation, arabic, basque, bulgarian, coptic, welsh, czech, slovak, german, ng erman, danish, esperanto, spanish, catalan, galician, estonian, farsi, finnish, french, greek, monogreek, ancientgreek, croatian, hungarian, interlingua, ibyc us, indonesian, icelandic, italian, latin, mongolian, dutch, norsk, polish, por tuguese, pinyin, romanian, russian, slovenian, uppersorbian, serbian, swedish, turkish, ukenglish, ukrainian, loaded. (/usr/share/texmf/tex/latex/amscls/amsart.cls Document Class: amsart 2004/08/06 v2.20 \linespacing=\dimen102 \normalparindent=\dimen103 \normaltopskip=\skip41 (/usr/share/texmf/tex/latex/amsmath/amsmath.sty Package: amsmath 2000/07/18 v2.13 AMS math features \@mathmargin=\skip42 For additional information on amsmath, use the `?' option. (/usr/share/texmf/tex/latex/amsmath/amstext.sty Package: amstext 2000/06/29 v2.01 (/usr/share/texmf/tex/latex/amsmath/amsgen.sty File: amsgen.sty 1999/11/30 v2.0 \@emptytoks=\toks14 \ex@=\dimen104 )) (/usr/share/texmf/tex/latex/amsmath/amsbsy.sty Package: amsbsy 1999/11/29 v1.2d \pmbraise@=\dimen105 ) (/usr/share/texmf/tex/latex/amsmath/amsopn.sty Package: amsopn 1999/12/14 v2.01 operator names ) \inf@bad=\count79 LaTeX Info: Redefining \frac on input line 211. \uproot@=\count80 \leftroot@=\count81 LaTeX Info: Redefining \overline on input line 307. \classnum@=\count82 \DOTSCASE@=\count83 LaTeX Info: Redefining \ldots on input line 379. LaTeX Info: Redefining \dots on input line 382. LaTeX Info: Redefining \cdots on input line 467. \Mathstrutbox@=\box26 \strutbox@=\box27 \big@size=\dimen106 LaTeX Font Info: Redeclaring font encoding OML on input line 567. LaTeX Font Info: Redeclaring font encoding OMS on input line 568. \macc@depth=\count84 \c@MaxMatrixCols=\count85 \dotsspace@=\muskip10 \c@parentequation=\count86 \dspbrk@lvl=\count87 \tag@help=\toks15 \row@=\count88 \column@=\count89 \maxfields@=\count90 \andhelp@=\toks16 \eqnshift@=\dimen107 \alignsep@=\dimen108 \tagshift@=\dimen109 \tagwidth@=\dimen110 \totwidth@=\dimen111 \lineht@=\dimen112 \@envbody=\toks17 \multlinegap=\skip43 \multlinetaggap=\skip44 \mathdisplay@stack=\toks18 LaTeX Info: Redefining \[ on input line 2666. LaTeX Info: Redefining \] on input line 2667. ) LaTeX Font Info: Try loading font information for U+msa on input line 407. (/usr/share/texmf/tex/latex/amsfonts/umsa.fd File: umsa.fd 2002/01/19 v2.2g AMS font definitions ) (/usr/share/texmf/tex/latex/amsfonts/amsfonts.sty Package: amsfonts 2001/10/25 v2.2f \symAMSa=\mathgroup4 \symAMSb=\mathgroup5 LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' (Font) U/euf/m/n --> U/euf/b/n on input line 132. ) \copyins=\insert233 \abstractbox=\box28 \listisep=\skip45 \c@part=\count91 \c@section=\count92 \c@subsection=\count93 \c@subsubsection=\count94 \c@paragraph=\count95 \c@subparagraph=\count96 \c@figure=\count97 \c@table=\count98 \abovecaptionskip=\skip46 \belowcaptionskip=\skip47 \captionindent=\dimen113 \thm@style=\toks19 \thm@bodyfont=\toks20 \thm@headfont=\toks21 \thm@notefont=\toks22 \thm@headpunct=\toks23 \thm@preskip=\skip48 \thm@postskip=\skip49 \thm@headsep=\skip50 \dth@everypar=\toks24 ) (/usr/share/texmf/tex/latex/amsfonts/amssymb.sty Package: amssymb 2002/01/22 v2.2d ) (./HEN.aux) \openout1 = `HEN.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 9. LaTeX Font Info: ... okay on input line 9. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 9. LaTeX Font Info: ... okay on input line 9. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 9. LaTeX Font Info: ... okay on input line 9. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 9. LaTeX Font Info: ... okay on input line 9. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 9. LaTeX Font Info: ... okay on input line 9. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 9. LaTeX Font Info: ... okay on input line 9. LaTeX Font Info: Try loading font information for U+msa on input line 9. (/usr/share/texmf/tex/latex/amsfonts/umsa.fd File: umsa.fd 2002/01/19 v2.2g AMS font definitions ) LaTeX Font Info: Try loading font information for U+msb on input line 9. (/usr/share/texmf/tex/latex/amsfonts/umsb.fd File: umsb.fd 2002/01/19 v2.2g AMS font definitions ) Overfull \hbox (211.71884pt too wide) in paragraph at lines 61--62 []$\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x; y; v[]\OT1/cmr/m/n/10 )[][](\OML/cmm /m/it/10 y; z; v[]\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x; z; v[]\OT1/cmr/m/n/ 10 )[][](\OML/cmm/m/it/10 v[]; v[]; v[]\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 v []; z; v[]\OT1/cmr/m/n/10 )) \OMS/cmsy/m/n/10 ) []\OT1/cmr/m/n/10 (\OML/cmm/m /it/10 v[]; v[]\OT1/cmr/m/n/10 ) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (98.41312pt too wide) in paragraph at lines 98--99 []$[]\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; a\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 6\OT1/cmr/m/n/10 = []([]([]\OML/cmm/m/it/10 ; a\OT1/cmr/m/n/10 )\OML/cmm/m/it/1 0 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/ 10 ; a\OT1/cmr/m/n/10 ))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (42.1872pt too wide) in paragraph at lines 153--154 []$\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x; y; w[]\OT1/cmr/m/n/10 )[][](\OML/cmm /m/it/10 w[]; z\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x; z; w[]\OT1/cmr/m/n/10 )) \OMS/cmsy/m/n/10 ) []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 w[]; y\OT1/cmr/m/n/ 10 ) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (42.1872pt too wide) in paragraph at lines 155--156 []$\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x; y\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it /10 z; y; w[]\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 z; x; w[]\OT1/cmr/m/n/10 )) \OMS/cmsy/m/n/10 ) []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 w[]; w[]\OT1/cmr/m/n/ 10 ) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (42.1872pt too wide) in paragraph at lines 157--158 []$\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x; y\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it /10 x; z; w[]\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 y; z; w[]\OT1/cmr/m/n/10 )) \OMS/cmsy/m/n/10 ) []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 w[]; w[]\OT1/cmr/m/n/ 10 ) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] [1{/usr/share/texmf/fonts/map/pdftex/updmap/pdftex.map}] Overfull \hbox (23.07405pt too wide) in paragraph at lines 197--198 []$[]\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; a\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 6\OT1/cmr/m/n/10 = []([]([]\OML/cmm/m/it/10 ; a\OT1/cmr/m/n/10 )\OML/cmm/m/it/1 0 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/ 10 ; a\OT1/cmr/m/n/10 ))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (98.41312pt too wide) in paragraph at lines 208--209 []$[]\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; a\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 6\OT1/cmr/m/n/10 = []([]([]\OML/cmm/m/it/10 ; a\OT1/cmr/m/n/10 )\OML/cmm/m/it/1 0 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/ 10 ; a\OT1/cmr/m/n/10 ))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (98.41312pt too wide) in paragraph at lines 260--261 []$[]\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; a\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 6\OT1/cmr/m/n/10 = []([]([]\OML/cmm/m/it/10 ; a\OT1/cmr/m/n/10 )\OML/cmm/m/it/1 0 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/ 10 ; a\OT1/cmr/m/n/10 ))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] [2] [3] Overfull \hbox (198.92741pt too wide) in paragraph at lines 522--523 []$[]\OT1/cmr/m/n/10 ([]([]\OML/cmm/m/it/10 ; a\OT1/cmr/m/n/10 )\OML/cmm/m/it/1 0 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/ 10 ; b\OT1/cmr/m/n/10 ))) \OMS/cmsy/m/n/10 6\OT1/cmr/m/n/10 = []([]([]\OML/cmm/ m/it/10 ; b\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/ it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; a\OT1/cmr/m/n/10 ))) []([]\OML/ cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] [4] Overfull \hbox (42.1872pt too wide) in paragraph at lines 682--683 []$\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x; y; w[]\OT1/cmr/m/n/10 )[][](\OML/cmm /m/it/10 w[]; z\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x; z; w[]\OT1/cmr/m/n/10 )) \OMS/cmsy/m/n/10 ) []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 w[]; y\OT1/cmr/m/n/ 10 ) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (42.1872pt too wide) in paragraph at lines 684--685 []$\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x; y\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it /10 z; y; w[]\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 z; x; w[]\OT1/cmr/m/n/10 )) \OMS/cmsy/m/n/10 ) []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 w[]; w[]\OT1/cmr/m/n/ 10 ) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (42.1872pt too wide) in paragraph at lines 686--687 []$\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x; y\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it /10 x; z; w[]\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 y; z; w[]\OT1/cmr/m/n/10 )) \OMS/cmsy/m/n/10 ) []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 w[]; w[]\OT1/cmr/m/n/ 10 ) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (98.1429pt too wide) in paragraph at lines 688--689 []$\OT1/cmr/m/n/10 ([]([]\OML/cmm/m/it/10 ; x; y[]\OT1/cmr/m/n/10 )[][]([]\OML/ cmm/m/it/10 ; y[]; y[]\OT1/cmr/m/n/10 )[][]([]\OML/cmm/m/it/10 ; y[]; y[]\OT1/c mr/m/n/10 )) \OMS/cmsy/m/n/10 ) \OML/cmm/m/it/10 y[] \OT1/cmr/m/n/10 = \OML/c mm/m/it/10 y[] []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (31.3595pt too wide) in paragraph at lines 690--691 []$\OT1/cmr/m/n/10 ([]([]\OML/cmm/m/it/10 ; x; y[]\OT1/cmr/m/n/10 )[][]([]\OML/ cmm/m/it/10 ; y[]; y[]\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 y[]; y[]; y[]\OT1/ cmr/m/n/10 )) \OMS/cmsy/m/n/10 ) \OML/cmm/m/it/10 y[] \OT1/cmr/m/n/10 = \OML/ cmm/m/it/10 y[] []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (22.01668pt too wide) in paragraph at lines 704--705 []$[] \OMS/cmsy/m/n/10 6\OT1/cmr/m/n/10 = [] []([]\OML/cmm/m/it/10 ; []\OT1/cmr /m/n/10 )$ [] [5] Overfull \hbox (42.1872pt too wide) in paragraph at lines 780--781 []$\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x; y; w[]\OT1/cmr/m/n/10 )[][](\OML/cmm /m/it/10 w[]; z\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x; z; w[]\OT1/cmr/m/n/10 )) \OMS/cmsy/m/n/10 ) []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 w[]; y\OT1/cmr/m/n/ 10 ) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (42.1872pt too wide) in paragraph at lines 782--783 []$\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x; y\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it /10 z; y; w[]\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 z; x; w[]\OT1/cmr/m/n/10 )) \OMS/cmsy/m/n/10 ) []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 w[]; w[]\OT1/cmr/m/n/ 10 ) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (42.1872pt too wide) in paragraph at lines 784--785 []$\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x; y\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it /10 x; z; w[]\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 y; z; w[]\OT1/cmr/m/n/10 )) \OMS/cmsy/m/n/10 ) []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 w[]; w[]\OT1/cmr/m/n/ 10 ) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (98.1429pt too wide) in paragraph at lines 786--787 []$\OT1/cmr/m/n/10 ([]([]\OML/cmm/m/it/10 ; x; y[]\OT1/cmr/m/n/10 )[][]([]\OML/ cmm/m/it/10 ; y[]; y[]\OT1/cmr/m/n/10 )[][]([]\OML/cmm/m/it/10 ; y[]; y[]\OT1/c mr/m/n/10 )) \OMS/cmsy/m/n/10 ) \OML/cmm/m/it/10 y[] \OT1/cmr/m/n/10 = \OML/c mm/m/it/10 y[] []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (42.1872pt too wide) in paragraph at lines 897--898 []$\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x; y; w[]\OT1/cmr/m/n/10 )[][](\OML/cmm /m/it/10 w[]; z\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x; z; w[]\OT1/cmr/m/n/10 )) \OMS/cmsy/m/n/10 ) []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 w[]; y\OT1/cmr/m/n/ 10 ) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (42.1872pt too wide) in paragraph at lines 899--900 []$\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x; y\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it /10 z; y; w[]\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 z; x; w[]\OT1/cmr/m/n/10 )) \OMS/cmsy/m/n/10 ) []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 w[]; w[]\OT1/cmr/m/n/ 10 ) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] [6] Overfull \hbox (22.01668pt too wide) in paragraph at lines 944--945 []$[] \OMS/cmsy/m/n/10 6\OT1/cmr/m/n/10 = [] []([]\OML/cmm/m/it/10 ; []\OT1/cmr /m/n/10 )$ [] Overfull \hbox (16.61226pt too wide) in paragraph at lines 1054--1055 []$[]\OT1/cmr/m/n/10 ([]([]\OML/cmm/m/it/10 ; x\OT1/cmr/m/n/10 )\OML/cmm/m/it/1 0 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/ 10 ; x\OT1/cmr/m/n/10 ))) = []([]\OML/cmm/m/it/10 ; x\OT1/cmr/m/n/10 ) []([]\OM L/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (209.42738pt too wide) in paragraph at lines 1056--1057 []$[]\OT1/cmr/m/n/10 ([]([]\OML/cmm/m/it/10 ; a\OT1/cmr/m/n/10 )\OML/cmm/m/it/1 0 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/ 10 ; b\OT1/cmr/m/n/10 ))) \OMS/cmsy/m/n/10 6\OT1/cmr/m/n/10 = []([]([]\OML/cmm/ m/it/10 ; b\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/ it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; a\OT1/cmr/m/n/10 ))) []([]\OML/ cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (42.1872pt too wide) in paragraph at lines 1077--1078 []$\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x; y; w[]\OT1/cmr/m/n/10 )[][](\OML/cmm /m/it/10 w[]; z\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x; z; w[]\OT1/cmr/m/n/10 )) \OMS/cmsy/m/n/10 ) []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 w[]; y\OT1/cmr/m/n/ 10 ) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] [7] Overfull \hbox (42.1872pt too wide) in paragraph at lines 1079--1080 []$\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x; y\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it /10 z; y; w[]\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 z; x; w[]\OT1/cmr/m/n/10 )) \OMS/cmsy/m/n/10 ) []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 w[]; w[]\OT1/cmr/m/n/ 10 ) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (42.1872pt too wide) in paragraph at lines 1081--1082 []$\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x; y\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it /10 x; z; w[]\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 y; z; w[]\OT1/cmr/m/n/10 )) \OMS/cmsy/m/n/10 ) []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 w[]; w[]\OT1/cmr/m/n/ 10 ) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (42.1872pt too wide) in paragraph at lines 1198--1199 []$\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x; y; w[]\OT1/cmr/m/n/10 )[][](\OML/cmm /m/it/10 w[]; z\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x; z; w[]\OT1/cmr/m/n/10 )) \OMS/cmsy/m/n/10 ) []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 w[]; y\OT1/cmr/m/n/ 10 ) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] [8] Overfull \hbox (16.61226pt too wide) in paragraph at lines 1243--1244 []$[]\OT1/cmr/m/n/10 ([]([]\OML/cmm/m/it/10 ; x\OT1/cmr/m/n/10 )\OML/cmm/m/it/1 0 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/ 10 ; x\OT1/cmr/m/n/10 ))) = []([]\OML/cmm/m/it/10 ; x\OT1/cmr/m/n/10 ) []([]\OM L/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (209.42738pt too wide) in paragraph at lines 1245--1246 []$[]\OT1/cmr/m/n/10 ([]([]\OML/cmm/m/it/10 ; a\OT1/cmr/m/n/10 )\OML/cmm/m/it/1 0 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/ 10 ; b\OT1/cmr/m/n/10 ))) \OMS/cmsy/m/n/10 6\OT1/cmr/m/n/10 = []([]([]\OML/cmm/ m/it/10 ; b\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/ it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; a\OT1/cmr/m/n/10 ))) []([]\OML/ cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] [9] (./HEN.aux) ) Here is how much of TeX's memory you used: 1574 strings out of 256214 16757 string characters out of 1916999 75304 words of memory out of 1500000 4736 multiletter control sequences out of 10000+200000 8756 words of font info for 35 fonts, out of 1200000 for 2000 806 hyphenation exceptions out of 8191 34i,6n,26p,320b,162s stack positions out of 5000i,500n,6000p,200000b,15000s Output written on HEN.pdf (9 pages, 70168 bytes). PDF statistics: 52 PDF objects out of 1000 (max. 8388607) 0 named destinations out of 1000 (max. 131072) 1 words of extra memory for PDF output out of 10000 (max. 10000000)