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. **ARI.tex (./ARI.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 ) (./ARI.aux) \openout1 = `ARI.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 (350.54695pt too wide) in paragraph at lines 60--61 []$[]\OT1/cmr/m/n/10 ([]([]([](\OML/cmm/m/it/10 a; a\OT1/cmr/m/n/10 )\OML/cmm/m /it/10 ; []\OT1/cmr/m/n/10 ([]([](\OML/cmm/m/it/10 a; b\OT1/cmr/m/n/10 )\OML/cm m/m/it/10 ; []\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 c; d\OT1/cmr/m/n/10 )\OML/cm m/m/it/10 ; \OT1/cmr/m/n/10 1))\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OML/cmm/m /it/10 a; \OT1/cmr/m/n/10 2)))\OML/cmm/m/it/10 ; b\OT1/cmr/m/n/10 )\OML/cmm/m/i t/10 ; []\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 1\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([](\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 1\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]([](\OML/cmm/m/it/10 a; b\OT1/cmr/m/n/10 )\OML/cmm/m/it/ 10 ; c\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; d\OT1/cmr/m/n/10 ))\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (2\OML/cmm/m/it/10 ; c\OT1/cmr/m/n/10 )))) = [] Overfull \hbox (1467.26999pt too wide) in paragraph at lines 62--63 []$[]\OT1/cmr/m/n/10 ([]([]([](\OML/cmm/m/it/10 d; b\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 (\OML/cmm/m/it/ 10 c; b\OT1/cmr/m/n/10 ))\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 1\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]([]([]([]([]([]([] ([]([]([]([]([]([]([](2\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 a ; a\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 b; a\OT1/cmr/m/n/10 ))\OML/cmm/m/it/10 ; []\O T1/cmr/m/n/10 (\OML/cmm/m/it/10 d; b\OT1/cmr/m/n/10 ))\OML/cmm/m/it/10 ; []\OT1 /cmr/m/n/10 (2\OML/cmm/m/it/10 ; c\OT1/cmr/m/n/10 ))\OML/cmm/m/it/10 ; []\OT1/c mr/m/n/10 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 1\OML/cmm/m/it/10 ; []\OT1/cmr/m /n/10 (\OML/cmm/m/it/10 c; a\OT1/cmr/m/n/10 )))\OML/cmm/m/it/10 ; []\OT1/cmr/m/ n/10 (\OML/cmm/m/it/10 c; c\OT1/cmr/m/n/10 ))\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/ 10 ([](\OML/cmm/m/it/10 c; a\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; a\OT1/cmr/m/n/1 0 ))\OML/cmm/m/it/10 ; d\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ( 2\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 d; a\OT1/cmr/m/n/10 ))) \OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 d; b\OT1/cmr/m/n/10 ))\O ML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 c; b\OT1/cmr/m/n/10 )\O ML/cmm/m/it/10 ; a\OT1/cmr/m/n/10 ))\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OML/ cmm/m/it/10 d; c\OT1/cmr/m/n/10 ))\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OMS/cm sy/m/n/10 ^^@\OT1/cmr/m/n/10 1\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([](\OML/cmm /m/it/10 d; a\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; a\OT1/cmr/m/n/10 )))\OML/cmm/m /it/10 ; d\OT1/cmr/m/n/10 ))) = [] Overfull \hbox (160.27312pt too wide) in paragraph at lines 171--172 []$\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] [][] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x; f\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 )\OML/cmm/m/it/10 ; f\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 ))[]([](\OML/cmm/m/it/10 f\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 f\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 )\OML/cmm/m/i t/10 ; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 ))))[]\OMS/cmsy/m/n /10 8\OML/cmm/m/it/10 x[] [][] \OT1/cmr/m/n/10 ([](0\OML/cmm/m/it/10 ; g\OT1/cm r/m/n/10 (\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 ))[](\OML/cmm/m/it/10 g\OT1/cmr/m/n /10 (\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 ) = [] [1{/usr/share/texmf/fonts/map/pdftex/updmap/pdftex.map}] Overfull \hbox (68.64622pt too wide) in paragraph at lines 276--277 []$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] [][] []\OT1/cmr/m/n/10 (\OML/cmm/m/it /10 f\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; x\O T1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) 9\OML/cmm/m/it/10 y[] [][] \OT1/cmr/m/n/10 ([]([](\OML/cmm/m/it/10 a; b\OT1/cmr/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 f\OT1/cmr/m/n/ 10 (\OML/cmm/m/it/10 a\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; f\OT1/cmr/m/n/10 (\OM L/cmm/m/it/10 b\OT1/cmr/m/n/10 )))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ) $ [] Overfull \hbox (25.93956pt too wide) in paragraph at lines 354--355 []$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] [][] \OT1/cmr/m/n/10 ([](0\OML/cmm/m/ it/10 ; x\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) 9\OML/cmm/m/it/10 y[] [][] \OT1 /cmr/m/n/10 ([](\OML/cmm/m/it/10 x; y\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 y; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x; \OT1/cmr/m/n/10 3)))) []([]\OML/cmm/m/it /10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (173.97144pt too wide) in paragraph at lines 405--406 []$[]\OT1/cmr/m/n/10 ([](20\OML/cmm/m/it/10 ; a\OT1/cmr/m/n/10 )\OML/cmm/m/it/1 0 ; []\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 1\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (30\OML/cmm/m/it/10 ; b\OT1/cmr/m/n/10 ))) = 7[][](3\OML/cmm/ m/it/10 ; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 a; []\OT1/cmr/m/n/10 (\OMS/cmsy/m /n/10 ^^@\OT1/cmr/m/n/10 1\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (2\OML/cmm/m/it/ 10 ; b\OT1/cmr/m/n/10 ))))[][](1\OML/cmm/m/it/10 ; a\OT1/cmr/m/n/10 ) []([][]\O ML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] [2] Overfull \hbox (192.33977pt too wide) in paragraph at lines 470--471 []$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] [][] \OMS/cmsy/m/n/10 9\OML/cmm/m/it/ 10 y[] [][] \OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 z[] [][] \OT1/cmr/m/n/10 (([]([] (\OML/cmm/m/it/10 x; \OT1/cmr/m/n/10 5)\OML/cmm/m/it/10 ; z\OT1/cmr/m/n/10 )[][ ](\OML/cmm/m/it/10 z; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x; \OT1/cmr/m/n/10 8) )) \OMS/cmsy/m/n/10 ) \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 y; z\OT1/cmr/m/n/1 0 )[][](\OML/cmm/m/it/10 z; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 y; \OT1/cmr/m/n /10 4)))) []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (282.8239pt too wide) in paragraph at lines 512--513 []$\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 a; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 b; \OT1/cmr/m/n/10 2))[][](\OML/cmm/m/it/10 b; []\OT1/cmr/m/n/10 (\OML/cmm/m/it /10 a; \OT1/cmr/m/n/10 2))) \OMS/cmsy/m/n/10 ) []\OT1/cmr/m/n/10 (\OML/cmm/m/ it/10 f\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 a; \OT1/cmr/m/n/10 1)\OML/cmm/m/it/ 10 ; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 b; \OT1/cmr/m/n/10 1))\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (1\OML/cmm/m/it/10 ; f\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 b; \OT1/cmr/m/n/10 1)\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 a; \OT1/cmr/m/n/10 1)))) []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (129.7571pt too wide) in paragraph at lines 543--544 []$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 i[] [][] \OT1/cmr/m/n/10 ([](\OML/cmm/m/i t/10 i; \OT1/cmr/m/n/10 0) \OMS/cmsy/m/n/10 ) \OT1/cmr/m/n/10 ((\OML/cmm/m/it /10 i \OT1/cmr/m/n/10 = 0 \OMS/cmsy/m/n/10 ) []\OT1/cmr/m/n/10 )[](\OML/cmm/m /it/10 i \OMS/cmsy/m/n/10 6\OT1/cmr/m/n/10 = 0 \OMS/cmsy/m/n/10 ) 9\OML/cmm/m /it/10 i[][] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 i[] \OT1/cmr/m/n/10 = [](\O ML/cmm/m/it/10 i; \OT1/cmr/m/n/10 1)[][](\OML/cmm/m/it/10 i[]; \OT1/cmr/m/n/10 0))))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] [3] Overfull \hbox (103.76082pt too wide) in paragraph at lines 645--646 []$[]\OT1/cmr/m/n/10 (5235848\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]([](123\OM L/cmm/m/it/10 ; x\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; x\OT1/cmr/m/n/10 )\OML/cmm /m/it/10 ; a\OT1/cmr/m/n/10 )) = [](12270523\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/1 0 ([](123\OML/cmm/m/it/10 ; b\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 )$ [] Overfull \hbox (152.34073pt too wide) in paragraph at lines 767--768 []$[]\OT1/cmr/m/n/10 ([]([]([]([]([]([](\OML/cmm/m/it/10 x; x\OT1/cmr/m/n/10 )\ OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 y; y\OT1/cmr/m/n/10 ))\OM L/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 z; z\OT1/cmr/m/n/10 ))\OML/ cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 t; t\OT1/cmr/m/n/10 ))\OML/cm m/m/it/10 ; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 u; u\OT1/cmr/m/n/10 ))\OML/cmm/ m/it/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 (\OML/cmm/m/it/10 w; w\OT1/cmr/m/n/10 )) = [] Overfull \hbox (54.46747pt too wide) in paragraph at lines 794--795 []$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 z[][] []; z[][] []; z[][] []; z[][] [][] \OT1/cmr/m/n/10 (([](2\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 3) = \OML/cmm/m/it/10 z[][][]\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 z[]; \OT1/cmr/m/n/10 6) = \OML/cmm/m/i t/10 z[][][]\OT1/cmr/m/n/10 (3\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 6) = \OML/cmm/ m/it/10 z[][][]\OT1/cmr/m/n/10 (2\OML/cmm/m/it/10 ; z[]\OT1/cmr/m/n/10 ) = [] [4] Overfull \hbox (143.57973pt too wide) in paragraph at lines 842--843 []$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] [][] \OT1/cmr/m/n/10 ([][](\OML/cmm/m /it/10 x\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ([]) \OT1/cmr/m/n/10 (\OML/cmm/m/i t/10 x \OT1/cmr/m/n/10 = 1[]([](2\OML/cmm/m/it/10 ; x\OT1/cmr/m/n/10 )[]\OMS/cm sy/m/n/10 9\OML/cmm/m/it/10 y[] [][] \OT1/cmr/m/n/10 ([](2\OML/cmm/m/it/10 ; y\ OT1/cmr/m/n/10 ) = \OML/cmm/m/it/10 x[][][]\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 y\ OT1/cmr/m/n/10 ))))) \OMS/cmsy/m/n/10 ) : [][]\OT1/cmr/m/n/10 (12) []([][]\OM L/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (51.35503pt too wide) in paragraph at lines 884--885 []$\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 d; \OT1/cmr/m/n/10 0)[][](\OML/cmm/m/it /10 b; a\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 a; \OT1/cmr/m/n/10 0)) \OMS/cms y/m/n/10 ) []\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 d; b\OT1/cmr/m/n/10 )\OML/cm m/m/it/10 ; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 d; a\OT1/cmr/m/n/10 )) []([]\OM L/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] [5] Overfull \hbox (40.15063pt too wide) in paragraph at lines 1000--1001 []$[]\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 a; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/1 0 a; b\OT1/cmr/m/n/10 ))\OML/cmm/m/it/10 ; c\OT1/cmr/m/n/10 ) = []([]([](\OML/c mm/m/it/10 a; a\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; c\OT1/cmr/m/n/10 )\OML/cmm/m /it/10 ; []\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 a; b\OT1/cmr/m/n/10 )\OML/cmm/m /it/10 ; c\OT1/cmr/m/n/10 )) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (239.18565pt too wide) in paragraph at lines 1026--1027 []$[]\OT1/cmr/m/n/10 ([]([]([](\OML/cmm/m/it/10 a; a\OT1/cmr/m/n/10 )\OML/cmm/m /it/10 ; []\OT1/cmr/m/n/10 ([]([](\OML/cmm/m/it/10 a; b\OT1/cmr/m/n/10 )\OML/cm m/m/it/10 ; []\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 c; d\OT1/cmr/m/n/10 )\OML/cm m/m/it/10 ; \OT1/cmr/m/n/10 1))\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OML/cmm/m /it/10 a; \OT1/cmr/m/n/10 2)))\OML/cmm/m/it/10 ; b\OT1/cmr/m/n/10 )\OML/cmm/m/i t/10 ; []\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 1\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]([]([](\OML/cmm/m/it/10 a; b\OT1/cmr/m/n/10 )\OML/cmm/m /it/10 ; c\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; d\OT1/cmr/m/n/10 )\OML/cmm/m/it/1 0 ; []\OT1/cmr/m/n/10 (2\OML/cmm/m/it/10 ; c\OT1/cmr/m/n/10 )))) = [] Overfull \hbox (1860.40283pt too wide) in paragraph at lines 1028--1029 []$[]\OT1/cmr/m/n/10 ([]([](\OML/cmm/m/it/10 d; b\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 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 1\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]([]([]([]([]([]([]( []([]([]([]([]([](\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 2\OML/cmm/m/it/10 ; []\OT 1/cmr/m/n/10 (\OML/cmm/m/it/10 a; a\OT1/cmr/m/n/10 ))\OML/cmm/m/it/10 ; []\OT1/ cmr/m/n/10 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 1\OML/cmm/m/it/10 ; []\OT1/cmr/ m/n/10 (\OML/cmm/m/it/10 c; a\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 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 1\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 b; a\OT1/cmr/m/n/10 )) )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (2\OML/cmm/m/it/10 ; c\OT1/cmr/m/n/10 ))\ OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 1\OML/ cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 c; b\OT1/cmr/m/n/10 )))\OML/c mm/m/it/10 ; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 c; c\OT1/cmr/m/n/10 ))\OML/cmm /m/it/10 ; []\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 1\OML/cmm/m/i t/10 ; []\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 c; a\OT1/cmr/m/n/10 )\OML/cmm/m/i t/10 ; a\OT1/cmr/m/n/10 )))\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/ 10 ^^@\OT1/cmr/m/n/10 1\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (2\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 d; a\OT1/cmr/m/n/10 ))))\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 1\OML/cmm/m/it/10 ; [] \OT1/cmr/m/n/10 (2\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 d; b\O T1/cmr/m/n/10 ))))\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 ^^@\OT 1/cmr/m/n/10 1\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 c; b\OT 1/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 (\OML/cmm/m/it/10 d; c\OT1/cmr/m/n/10 ))\OML/cmm/m/it/10 ; []\OT1/cm r/m/n/10 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 1\OML/cmm/m/it/10 ; []\OT1/cmr/m/ n/10 ([](\OML/cmm/m/it/10 d; a\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\OML/cmm/m/it/10 ; d\OT1/cmr/m/n/ 10 )))) = [] [6] Overfull \hbox (287.29224pt too wide) in paragraph at lines 1212--1213 []$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] []; y[] []; z[] [][] \OT1/cmr/m/n/10 (([]([](\OML/cmm/m/it/10 y; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 z\OT1/cmr/m/n/1 0 ))\OML/cmm/m/it/10 ; x\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x; []\OT1/cmr/m/ n/10 (\OML/cmm/m/it/10 y; z\OT1/cmr/m/n/10 ))) \OMS/cmsy/m/n/10 ([]) \OML/cmm /m/it/10 p\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x; y; z\OT1/cmr/m/n/10 )) \OMS/cms y/m/n/10 ) 8\OML/cmm/m/it/10 y[][] []; z[][] []; y[][] []; z[][] [][] \OT1/cmr /m/n/10 (\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 x[] [][] \OT1/cmr/m/n/10 (\OML/cmm/ m/it/10 p\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x; y[]; z[]\OT1/cmr/m/n/10 )[]\OML/c mm/m/it/10 p\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x; y[]; z[]\OT1/cmr/m/n/10 )) \O MS/cmsy/m/n/10 ) [] Overfull \hbox (905.38835pt too wide) in paragraph at lines 1256--1257 []$[]\OT1/cmr/m/n/10 ([]([]([]([](\OML/cmm/m/it/10 u; v\OT1/cmr/m/n/10 )\OML/cm m/m/it/10 ; z\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([](\OML/cmm /m/it/10 u; v\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; z\OT1/cmr/m/n/10 ))\OML/cmm/m/ it/10 ; []\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 u; v\OT1/cmr/m/n/10 )\OML/cmm/m/ it/10 ; z\OT1/cmr/m/n/10 ))\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]([]([]([]([] ([](\OML/cmm/m/it/10 u; v\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; w\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 u; v\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; w\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 u; v\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; w\OT1/cmr/m/n/1 0 )\OML/cmm/m/it/10 ; [][]\OT1/cmr/m/n/10 ))\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/1 0 ([]([](\OML/cmm/m/it/10 u; v\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; w\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 u; v\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; w\OT1/cmr/m /n/10 )\OML/cmm/m/it/10 ; [][]\OT1/cmr/m/n/10 ))) []([]\OML/cmm/m/it/10 ; []\OT 1/cmr/m/n/10 )$ [] [7] Overfull \hbox (30.87915pt too wide) in paragraph at lines 1363--1364 []$\OMS/cmsy/m/n/10 : 8\OML/cmm/m/it/10 x[] []; y[] [][] \OT1/cmr/m/n/10 (\OML/ cmm/m/it/10 x \OT1/cmr/m/n/10 = \OML/cmm/m/it/10 y[][]\OT1/cmr/m/n/10 (\OML/cmm /m/it/10 f\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; f\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 y\OT1/cmr/m/n/10 ))[][](\OML/cmm/m/it/10 f \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/c mr/m/n/10 (\OML/cmm/m/it/10 f\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 1\OML/cmm/m/it/10 =\OT1/cmr/m/n/10 1))) [] ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (192.58507pt too wide) in paragraph at lines 1383--1384 []$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] [][] \OT1/cmr/m/n/10 ([][](\OML/cmm/m /it/10 x\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ([]) \OT1/cmr/m/n/10 (\OML/cmm/m/i t/10 x \OT1/cmr/m/n/10 = 1[]([](2\OML/cmm/m/it/10 ; x\OT1/cmr/m/n/10 )[]\OMS/cm sy/m/n/10 9\OML/cmm/m/it/10 y[] [][] \OT1/cmr/m/n/10 ([](2\OML/cmm/m/it/10 ; y\ OT1/cmr/m/n/10 ) = \OML/cmm/m/it/10 x[][][]\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 y\ OT1/cmr/m/n/10 ))))) \OMS/cmsy/m/n/10 ) 9\OML/cmm/m/it/10 x[] []; y[] [][] \O T1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 )[][][](\OML/cmm/m/it/10 y\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x; y\OT1/cmr/m/n/10 ) = [] [8] Overfull \hbox (47.42789pt too wide) in paragraph at lines 1653--1654 []$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 u[] []; v[] []; w[] [][] \OT1/cmr/m/n/10 (([](\OML/cmm/m/it/10 u; \OT1/cmr/m/n/10 5)[][](\OML/cmm/m/it/10 v; \OT1/cmr/m/ n/10 3)[][]([](\OML/cmm/m/it/10 u; []\OT1/cmr/m/n/10 (2\OML/cmm/m/it/10 ; v\OT1 /cmr/m/n/10 ))\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 7)) \OMS/cmsy/m/n/10 ) \OML/ cmm/m/it/10 v \OT1/cmr/m/n/10 = 2) []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (103.53197pt too wide) in paragraph at lines 1742--1743 []$\OT1/cmr/m/n/10 ([]([](2\OML/cmm/m/it/10 ; a\OT1/cmr/m/n/10 )\OML/cmm/m/it/1 0 ; []\OT1/cmr/m/n/10 (2\OML/cmm/m/it/10 ; b\OT1/cmr/m/n/10 ))[][]([](3\OML/cmm /m/it/10 ; b\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (3\OML/cmm/m/ it/10 ; a\OT1/cmr/m/n/10 ))) \OMS/cmsy/m/n/10 ) \OML/cmm/m/it/10 f\OT1/cmr/m/ n/10 (\OML/cmm/m/it/10 a; b\OT1/cmr/m/n/10 ) = \OML/cmm/m/it/10 f\OT1/cmr/m/n/1 0 (\OML/cmm/m/it/10 b; a\OT1/cmr/m/n/10 ) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/ n/10 )$ [] [9] Overfull \hbox (155.61765pt too wide) in paragraph at lines 1760--1761 []$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] []; y[] [][] \OMS/cmsy/m/n/10 9\OML/c mm/m/it/10 z[] [][] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x; z\OT1/cmr/m/n/10 )[ ][](\OML/cmm/m/it/10 z; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x; \OT1/cmr/m/n/10 5))[]\OMS/cmsy/m/n/10 : []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 y; z\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 z; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 y; \OT1/cmr/m/n/ 10 3))) []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (33.06389pt too wide) in paragraph at lines 1807--1808 []$[]\OT1/cmr/m/n/10 ([](\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 2\OML/cmm/m/it/10 =\OT1/cmr/m/n/10 5\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (145\OML/cmm/m/it/10 =\O T1/cmr/m/n/10 2\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 569\OML/cmm/m/it/10 =\OT1/cmr /m/n/10 5))\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([](76\OML/cmm/m/it/10 =\OT1/cm r/m/n/10 25)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 271\OML/cmm/m/it/10 =\OT1/cmr/m/ n/10 10)) []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (122.62196pt too wide) in paragraph at lines 1816--1817 []$\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 x[] []; y[] [][] \OT1/cmr/m/n/10 ([]([][] \OML/cmm/m/it/10 ; x\OT1/cmr/m/n/10 )[][]([][]\OML/cmm/m/it/10 ; y\OT1/cmr/m/n/ 10 )[][]([]([]([][]\OML/cmm/m/it/10 ; x\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\O T1/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 )) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (159.60983pt too wide) in paragraph at lines 1869--1870 []$\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 x[] []; y[] [][] \OT1/cmr/m/n/10 ([](2\OM L/cmm/m/it/10 ; x\OT1/cmr/m/n/10 )[][](2\OML/cmm/m/it/10 ; y\OT1/cmr/m/n/10 )[] []([](\OML/cmm/m/it/10 x; y\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 9)[][](12\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([](2\OML/cmm/m/it/10 ; x\OT1/cmr /m/n/10 )\OML/cmm/m/it/10 ; y\OT1/cmr/m/n/10 ))) []([][]\OML/cmm/m/it/10 ; []\O T1/cmr/m/n/10 )$ [] [10] Overfull \hbox (36.57585pt too wide) in paragraph at lines 1999--2000 []$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 i[] [][] \OT1/cmr/m/n/10 ([](\OML/cmm/m/i t/10 i; \OT1/cmr/m/n/10 0) \OMS/cmsy/m/n/10 ) 9[][][] [][] \OT1/cmr/m/n/10 (\ OMS/cmsy/m/n/10 9[][][] [][] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 9\OML/cmm/m/it/1 0 i[][] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 i[] \OT1/cmr/m/n/10 = [](\OML/cm m/m/it/10 i; \OT1/cmr/m/n/10 1)[][][] = [](2\OML/cmm/m/it/10 ; i[]\OT1/cmr/m/n/ 10 ))[](\OML/cmm/m/it/10 i \OT1/cmr/m/n/10 = [] [11] Overfull \hbox (11.75935pt too wide) in paragraph at lines 2185--2186 []$[]\OT1/cmr/m/n/10 ([]([]([]([](\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 1\OML/cmm /m/it/10 ; []\OT1/cmr/m/n/10 (2\OML/cmm/m/it/10 ; x[]\OT1/cmr/m/n/10 ))\OML/cmm /m/it/10 ; []\OT1/cmr/m/n/10 (5\OML/cmm/m/it/10 ; x[]\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 )\OML/cmm/ m/it/10 ; x[]\OT1/cmr/m/n/10 ) = 0 []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (122.71803pt too wide) in paragraph at lines 2187--2188 []$[]\OT1/cmr/m/n/10 ([]([]([]([](9\OML/cmm/m/it/10 ; x[]\OT1/cmr/m/n/10 )\OML/ cmm/m/it/10 ; []\OT1/cmr/m/n/10 (62\OML/cmm/m/it/10 ; x[]\OT1/cmr/m/n/10 ))\OML /cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 1\OML/cmm /m/it/10 ; []\OT1/cmr/m/n/10 (5\OML/cmm/m/it/10 ; x[]\OT1/cmr/m/n/10 )))\OML/cm m/m/it/10 ; []\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 1\OML/cmm/m/ it/10 ; []\OT1/cmr/m/n/10 (3\OML/cmm/m/it/10 ; x[]\OT1/cmr/m/n/10 )))\OML/cmm/m /it/10 ; []\OT1/cmr/m/n/10 (101\OML/cmm/m/it/10 ; x[]\OT1/cmr/m/n/10 )) = [] Overfull \hbox (196.91264pt too wide) in paragraph at lines 2189--2190 []$[]\OT1/cmr/m/n/10 ([]([]([]([](56\OML/cmm/m/it/10 ; x[]\OT1/cmr/m/n/10 )\OML /cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 1\OML/cmm /m/it/10 ; []\OT1/cmr/m/n/10 (34\OML/cmm/m/it/10 ; x[]\OT1/cmr/m/n/10 )))\OML/c mm/m/it/10 ; []\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 1\OML/cmm/m /it/10 ; []\OT1/cmr/m/n/10 (11\OML/cmm/m/it/10 ; x[]\OT1/cmr/m/n/10 )))\OML/cmm /m/it/10 ; []\OT1/cmr/m/n/10 (67\OML/cmm/m/it/10 ; x[]\OT1/cmr/m/n/10 ))\OML/cm m/m/it/10 ; []\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 1\OML/cmm/m/ it/10 ; []\OT1/cmr/m/n/10 (98\OML/cmm/m/it/10 ; x[]\OT1/cmr/m/n/10 ))) = [] Overfull \hbox (134.59358pt too wide) in paragraph at lines 2202--2203 []$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] [][] \OT1/cmr/m/n/10 ([][](\OML/cmm/m /it/10 x\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ([]) \OT1/cmr/m/n/10 (\OML/cmm/m/i t/10 x \OT1/cmr/m/n/10 = 1[]([](2\OML/cmm/m/it/10 ; x\OT1/cmr/m/n/10 )[]\OMS/cm sy/m/n/10 9\OML/cmm/m/it/10 y[] [][] \OT1/cmr/m/n/10 ([](2\OML/cmm/m/it/10 ; y\ OT1/cmr/m/n/10 ) = \OML/cmm/m/it/10 x[][][]\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 y\ OT1/cmr/m/n/10 ))))) \OMS/cmsy/m/n/10 ) : [][]\OT1/cmr/m/n/10 (5) []([][]\OML /cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] [12] Overfull \hbox (169.01637pt too wide) in paragraph at lines 2343--2344 []$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] []; y[] [][] \OT1/cmr/m/n/10 ([](\OML /cmm/m/it/10 x; y\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) []\OT1/cmr/m/n/10 (\OML /cmm/m/it/10 f\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 )\OML/cmm/m/it /10 ; f\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 y\OT1/cmr/m/n/10 ))) \OMS/cmsy/m/n/10 ) []\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 f\OT1/cmr/m/n/10 (2)\OML/cmm/m/it/10 ; f\OT1/cmr/m/n/10 (5))\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 f\OT1/cmr/m/n/10 (7)\OML/cmm/m/it/10 ; f\OT1/cmr/m/n/10 (3))) []([][]\OML/cmm/m /it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (46.5792pt too wide) in paragraph at lines 2439--2440 []$\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 x[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it/1 0 x \OT1/cmr/m/n/10 = [](18446744073709551615\OML/cmm/m/it/10 =\OT1/cmr/m/n/10 18446744073709551616\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 18446744073709551615\OML /cmm/m/it/10 =\OT1/cmr/m/n/10 18446744073709551616)[](\OML/cmm/m/it/10 x \OMS/c msy/m/n/10 6\OT1/cmr/m/n/10 = [] Overfull \hbox (25.96605pt too wide) in paragraph at lines 2448--2449 []$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 z[][] []; z[][] [][] \OT1/cmr/m/n/10 (([] (6\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 7) = \OML/cmm/m/it/10 z[][][]\OT1/cmr/m/n/ 10 (7\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 6) = \OML/cmm/m/it/10 z[]\OT1/cmr/m/n/1 0 ) \OMS/cmsy/m/n/10 ) \OML/cmm/m/it/10 z[] \OT1/cmr/m/n/10 = \OML/cmm/m/it/1 0 z[]\OT1/cmr/m/n/10 ) []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (939.06445pt too wide) in paragraph at lines 2461--2462 []$[]\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 a; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 a ; []\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 1\OML/cmm/m/it/10 ; [] \OT1/cmr/m/n/10 ([](2\OML/cmm/m/it/10 ; a\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 ([](3\OML/cmm/m/it/10 ; a\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 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 1\OML/cmm/m/it/10 ; []\OT1/ cmr/m/n/10 ([](4\OML/cmm/m/it/10 ; a\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 ([](5\OML/cmm/m/it/10 ; a\OT1 /cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 a; []\OT1/c mr/m/n/10 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 1\OML/cmm/m/it/10 ; []\OT1/cmr/m /n/10 ([](6\OML/cmm/m/it/10 ; a\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 ([](7\OML/cmm/m/it/10 ; a\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 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 1\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([](8\OML/cmm/m/it/10 ; a\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (9\OML/cmm/m/it/10 ; a\OT1/cmr/m/n/10 )))))))))))))))))))) = [] Overfull \hbox (1671.13992pt too wide) in paragraph at lines 2463--2464 []$[]\OT1/cmr/m/n/10 ([](2\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]([]([]([]([]( [](\OML/cmm/m/it/10 a; a\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; a\OT1/cmr/m/n/10 )\ OML/cmm/m/it/10 ; a\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; a\OT1/cmr/m/n/10 )\OML/c mm/m/it/10 ; a\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; a\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 (\OMS/cmsy/m/n/ 10 ^^@\OT1/cmr/m/n/10 1\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]([]([]([]([](612 \OML/cmm/m/it/10 ; a\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OMS /cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 1\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OML/cmm /m/it/10 a; a\OT1/cmr/m/n/10 )))\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OMS/cmsy /m/n/10 ^^@\OT1/cmr/m/n/10 2\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([](\OML/cmm/m /it/10 a; a\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; a\OT1/cmr/m/n/10 )))\OML/cmm/m/i t/10 ; []\OT1/cmr/m/n/10 (2\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]([]([](\OML/ cmm/m/it/10 a; a\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; a\OT1/cmr/m/n/10 )\OML/cmm/ m/it/10 ; a\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; a\OT1/cmr/m/n/10 )))\OML/cmm/m/i t/10 ; []\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 2\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]([]([]([](\OML/cmm/m/it/10 a; a\OT1/cmr/m/n/10 )\OML/cm m/m/it/10 ; a\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; a\OT1/cmr/m/n/10 )\OML/cmm/m/i t/10 ; a\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 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 2\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]([]([]([]([](\OML/cmm/m/it/10 a; a\OT1/cmr/m/n/10 )\OML/cm m/m/it/10 ; a\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; a\OT1/cmr/m/n/10 )\OML/cmm/m/i t/10 ; a\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; a\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; a\OT1/cmr/m/n/10 ))))) = [] Overfull \hbox (28.16179pt too wide) in paragraph at lines 2510--2511 []$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 u[] []; v[] [][] \OT1/cmr/m/n/10 ([](\OML /cmm/m/it/10 u; v\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) []\OT1/cmr/m/n/10 (\OML /cmm/m/it/10 f\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 u\OT1/cmr/m/n/10 )\OML/cmm/m/it /10 ; f\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 v\OT1/cmr/m/n/10 ))) \OMS/cmsy/m/n/10 ) 8\OML/cmm/m/it/10 w[] [][] []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 f\OT1/cmr/m/ n/10 ([](\OML/cmm/m/it/10 f\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 w\OT1/cmr/m/n/10 ) \OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 2))\OML/cmm/m/it/10 ; f\OT1/cmr/m/n/10 (\OML /cmm/m/it/10 f\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 w\OT1/cmr/m/n/10 ))) []([][]\OM L/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] [13] Overfull \hbox (145.779pt too wide) in paragraph at lines 2536--2537 []$\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] []; y[] [][] \OT1/cm r/m/n/10 ([](\OML/cmm/m/it/10 x; y\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) []\OT1 /cmr/m/n/10 (\OML/cmm/m/it/10 f\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\OT1/cmr/m/n/ 10 )\OML/cmm/m/it/10 ; f\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 y\OT1/cmr/m/n/10 )))[ ][](\OML/cmm/m/it/10 a; b\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 b; c\OT1/cmr/m/ n/10 )) \OMS/cmsy/m/n/10 ) []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 f\OT1/cmr/m/n/ 10 (\OML/cmm/m/it/10 a\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; f\OT1/cmr/m/n/10 (\OM L/cmm/m/it/10 c\OT1/cmr/m/n/10 )) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] [14] Overfull \hbox (118.40921pt too wide) in paragraph at lines 2839--2840 []$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] []; y[] [][] \OT1/cmr/m/n/10 ([](\OML /cmm/m/it/10 x; y\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) 9\OML/cmm/m/it/10 z[] [ ][] \OT1/cmr/m/n/10 ([]([](\OML/cmm/m/it/10 x; \OT1/cmr/m/n/10 2)\OML/cmm/m/it/ 10 ; z\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 z; []\OT1/cmr/m/n/10 (\OML/cmm/m/i t/10 y; \OT1/cmr/m/n/10 2)))) []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] [15] Overfull \hbox (98.43874pt too wide) in paragraph at lines 2952--2953 []$[]\OT1/cmr/m/n/10 ([](2\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 3)\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 c; d\OT1/cmr/m/n/10 )) \OMS/cmsy/m/n/10 ([]) []\OT1/cmr/m/n/10 ([](2\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OML/cmm/m/ it/10 d; \OT1/cmr/m/n/10 3))\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OML/cmm/m/it /10 c; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 d; \OT1/cmr/m/n/10 3))) []([][]\OML/ cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (153.71687pt too wide) in paragraph at lines 2999--3000 []$[]\OT1/cmr/m/n/10 (1000\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]([]([]([]([]( []([]([]([](\OML/cmm/m/it/10 a; a\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; a\OT1/cmr/ m/n/10 )\OML/cmm/m/it/10 ; a\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; a\OT1/cmr/m/n/1 0 )\OML/cmm/m/it/10 ; a\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; a\OT1/cmr/m/n/10 )\O ML/cmm/m/it/10 ; a\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; a\OT1/cmr/m/n/10 )\OML/cm m/m/it/10 ; a\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; a\OT1/cmr/m/n/10 )) \OMS/cmsy /m/n/10 ([]) [] Overfull \hbox (115.88885pt too wide) in paragraph at lines 3035--3036 []$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] []; y[] []; z[] [][] \OT1/cmr/m/n/10 (([](3\OML/cmm/m/it/10 =\OT1/cmr/m/n/10 1\OML/cmm/m/it/10 ; x\OT1/cmr/m/n/10 )[ ][](\OML/cmm/m/it/10 x; y\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 y; z\OT1/cmr/m/ n/10 )[][]([]([](\OML/cmm/m/it/10 x; []\OT1/cmr/m/n/10 (2\OML/cmm/m/it/10 =\OT1 /cmr/m/n/10 1\OML/cmm/m/it/10 ; y\OT1/cmr/m/n/10 ))\OML/cmm/m/it/10 ; []\OT1/cm r/m/n/10 (3\OML/cmm/m/it/10 =\OT1/cmr/m/n/10 1\OML/cmm/m/it/10 ; z\OT1/cmr/m/n/ 10 ))\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 35\OML/cmm/m/it/10 =\OT1/cmr/m/n/10 1)) \OMS/cmsy/m/n/10 ([]) [] Overfull \hbox (13.416pt too wide) in paragraph at lines 3064--3065 []$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] [][] \OT1/cmr/m/n/10 ([](5\OML/cmm/m/ it/10 ; x\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) 9\OML/cmm/m/it/10 y[] [][] \OT1 /cmr/m/n/10 ([](\OML/cmm/m/it/10 y; \OT1/cmr/m/n/10 3)[][](7\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x; y\OT1/cmr/m/n/10 )))) []([][]\OML/cmm/m/ it/10 ; []\OT1/cmr/m/n/10 )$ [] [16] Overfull \hbox (77.9135pt too wide) in paragraph at lines 3138--3139 []$\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 x[] []; y[] [][] \OT1/cmr/m/n/10 ([](0\OM L/cmm/m/it/10 ; x\OT1/cmr/m/n/10 )[][](0\OML/cmm/m/it/10 ; y\OT1/cmr/m/n/10 )[] []([]([](3\OML/cmm/m/it/10 ; x\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/ n/10 (4\OML/cmm/m/it/10 ; y\OT1/cmr/m/n/10 ))\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 6)) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (591.98143pt too wide) in paragraph at lines 3262--3263 []$[]\OT1/cmr/m/n/10 ([]([]([](\OML/cmm/m/it/10 a; a\OT1/cmr/m/n/10 )\OML/cmm/m /it/10 ; []\OT1/cmr/m/n/10 ([]([]([](\OML/cmm/m/it/10 a; b\OT1/cmr/m/n/10 )\OML /cmm/m/it/10 ; c\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([](\OML/ cmm/m/it/10 b; d\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 ([]([]([](\OML/cmm/m/it/10 c; c\OT1/cmr/m/n/10 )\O ML/cmm/m/it/10 ; a\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([](\OM L/cmm/m/it/10 d; d\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; b\OT1/cmr/m/n/10 ))\OML/c mm/m/it/10 ; \OT1/cmr/m/n/10 1)))\OML/cmm/m/it/10 ; b\OT1/cmr/m/n/10 )\OML/cmm/ m/it/10 ; []\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 1\OML/cmm/m/it /10 ; []\OT1/cmr/m/n/10 ([]([]([](\OML/cmm/m/it/10 a; b\OT1/cmr/m/n/10 )\OML/cm m/m/it/10 ; c\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; d\OT1/cmr/m/n/10 )\OML/cmm/m/i t/10 ; []\OT1/cmr/m/n/10 (2\OML/cmm/m/it/10 ; c\OT1/cmr/m/n/10 )))) = [] Overfull \hbox (2372.35857pt too wide) in paragraph at lines 3264--3265 []$[]\OT1/cmr/m/n/10 ([](1\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]([]([]([](\OM L/cmm/m/it/10 d; d\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; d\OT1/cmr/m/n/10 )\OML/cm m/m/it/10 ; b\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; b\OT1/cmr/m/n/10 )\OML/cmm/m/i t/10 ; a\OT1/cmr/m/n/10 ))\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/1 0 ^^@\OT1/cmr/m/n/10 1\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]([]([]([]([]([]([ ]([]([]([]([]([]([](2\OML/cmm/m/it/10 ; a\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; [] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 1\OML/cmm/m/it/10 ; []\OT1 /cmr/m/n/10 (\OML/cmm/m/it/10 a; a\OT1/cmr/m/n/10 )))\OML/cmm/m/it/10 ; b\OT1/c mr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (2\OML/cmm/m/it/10 ; c\OT1/cmr/ m/n/10 ))\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n /10 1\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]([]([]([](\OML/cmm/m/it/10 d; d\OT 1/cmr/m/n/10 )\OML/cmm/m/it/10 ; c\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; b\OT1/cmr /m/n/10 )\OML/cmm/m/it/10 ; b\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 (\OML/cmm/m/it/10 c; a\OT1/cmr/m/n/1 0 ))\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 c; b\OT1/cmr/m/n/10 ))\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 1\O ML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 c; b\OT1/cmr/m/n/10 )\O ML/cmm/m/it/10 ; a\OT1/cmr/m/n/10 )))\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OMS /cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 1\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]([]([] ([](\OML/cmm/m/it/10 c; c\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; c\OT1/cmr/m/n/10 ) \OML/cmm/m/it/10 ; b\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; a\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\OML/c mm/m/it/10 ; d\OT1/cmr/m/n/10 ))\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OML/cmm/ m/it/10 d; c\OT1/cmr/m/n/10 ))\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OMS/cmsy/m /n/10 ^^@\OT1/cmr/m/n/10 1\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([](\OML/cmm/m/i t/10 d; b\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 (\OML/cmm/m/it/10 c; c\OT1/cmr/m/n/10 ))\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 1\OML/cmm/m/it/10 ; [ ]\OT1/cmr/m/n/10 ([]([]([]([](\OML/cmm/m/it/10 d; c\OT1/cmr/m/n/10 )\OML/cmm/m/ it/10 ; c\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; b\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; a\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; a\OT1/cmr/m/n/10 ))))) = [] Overfull \hbox (76.26564pt too wide) in paragraph at lines 3277--3278 []$\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 p\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 a\OT1/c mr/m/n/10 )[]\OML/cmm/m/it/10 p\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 a; \OT1/cmr /m/n/10 1))[]\OML/cmm/m/it/10 p\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 a; \OT1/cmr /m/n/10 1))) \OMS/cmsy/m/n/10 ) 9\OML/cmm/m/it/10 x[] [][] p\OT1/cmr/m/n/10 ( [](3\OML/cmm/m/it/10 ; x\OT1/cmr/m/n/10 )) []([][]\OML/cmm/m/it/10 ; []\OT1/cmr /m/n/10 )$ [] Overfull \hbox (71.46878pt too wide) in paragraph at lines 3304--3305 []$\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 x[] [][] \OMS/cmsy/m/n/10 8\OML/cmm/m/it/ 10 y[] [][] \OMS/cmsy/m/n/10 : []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 y; []\OT1/cm r/m/n/10 (\OML/cmm/m/it/10 x; \OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 1)) \OMS/cms y/m/n/10 ([]) []\OT1/cmr/m/n/10 ([](3\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OM L/cmm/m/it/10 x\OT1/cmr/m/n/10 ))\OML/cmm/m/it/10 ; y\OT1/cmr/m/n/10 ) []([]\OM L/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] [17] Overfull \hbox (95.27829pt too wide) in paragraph at lines 3447--3448 []$[]\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 m; []\OT1/cmr/m/n/10 ([]([]([][]\OML/cmm /m/it/10 ; []\OT1/cmr/m/n/10 ([](\OMS/cmsy/m/n/10 ^^@[][]\OML/cmm/m/it/10 ; a\O T1/cmr/m/n/10 )\OML/cmm/m/it/10 ; x\OT1/cmr/m/n/10 ))\OML/cmm/m/it/10 ; []\OT1/ cmr/m/n/10 ([](\OMS/cmsy/m/n/10 ^^@[][]\OML/cmm/m/it/10 ; a\OT1/cmr/m/n/10 )\OM L/cmm/m/it/10 ; b\OT1/cmr/m/n/10 )))) []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/ 10 )$ [] [18] Overfull \hbox (15.10132pt too wide) in paragraph at lines 3601--3602 []$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] []; y[] [][] \OT1/cmr/m/n/10 (([](7\O ML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x; y\OT1/cmr/m/n/10 ))[][] ([](\OML/cmm/m/it/10 x; \OT1/cmr/m/n/10 5)\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (2\OML/cmm/m/it/10 ; y\OT1/cmr/m/n/10 ))[][](\OML/cmm/m/it/10 y; \OT1/cmr/m/n/1 0 4)) \OMS/cmsy/m/n/10 ([]) \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x \OT1/cmr/m/n/ 10 = 3[]\OML/cmm/m/it/10 y \OT1/cmr/m/n/10 = [] [19] Overfull \hbox (1.7027pt too wide) in paragraph at lines 3836--3837 []$[]\OT1/cmr/m/n/10 ([](\OMS/cmsy/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 ; []\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 )$ [] Overfull \hbox (455.00436pt too wide) in paragraph at lines 3845--3846 []$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] []; y[] []; z[] [][] \OT1/cmr/m/n/10 (([](0\OML/cmm/m/it/10 ; x\OT1/cmr/m/n/10 )[][](0\OML/cmm/m/it/10 ; y\OT1/cmr/m /n/10 )[][](0\OML/cmm/m/it/10 ; z\OT1/cmr/m/n/10 )[]([](\OML/cmm/m/it/10 x; y\O T1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x; z\OT1/cmr/m/n/10 ))) \OMS/cmsy/m/n/10 ) 9\OML/cmm/m/it/10 w[] [][] \OT1/cmr/m/n/10 ([]([](\OML/cmm/m/it/10 x; w\OT1/ cmr/m/n/10 )\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 4)[][](3\OML/cmm/m/it/10 ; []\OT 1/cmr/m/n/10 ([](\OML/cmm/m/it/10 y; z\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; w\OT1 /cmr/m/n/10 )))) []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] [20] Overfull \hbox (166.55125pt too wide) in paragraph at lines 4053--4054 []$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] []; y[] []; z[] [][] \OT1/cmr/m/n/10 (([]([](\OML/cmm/m/it/10 y; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 z\OT1/cmr/m/n/1 0 ))\OML/cmm/m/it/10 ; x\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x; []\OT1/cmr/m/ n/10 (\OML/cmm/m/it/10 y; z\OT1/cmr/m/n/10 ))) \OMS/cmsy/m/n/10 ([]) \OML/cmm /m/it/10 p\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x; y; z\OT1/cmr/m/n/10 )) \OMS/cms y/m/n/10 ) 8\OML/cmm/m/it/10 x[] []; y[] []; z[] []; w[] [][] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 z; w\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) [] Overfull \hbox (187.06027pt too wide) in paragraph at lines 4068--4069 []$\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] []; y[] [][] \OT1/cm r/m/n/10 ([](\OML/cmm/m/it/10 x; y\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) []\OT1 /cmr/m/n/10 (\OML/cmm/m/it/10 f\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\OT1/cmr/m/n/ 10 )\OML/cmm/m/it/10 ; f\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 y\OT1/cmr/m/n/10 )))[ ][](\OML/cmm/m/it/10 f\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 b\OT1/cmr/m/n/10 )\OML/ cmm/m/it/10 ; f\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 a\OT1/cmr/m/n/10 ))) \OMS/cms y/m/n/10 ) []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 f\OT1/cmr/m/n/10 (0)\OML/cmm/m/ it/10 ; f\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 a; []\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 )$ [] Overfull \hbox (42.68279pt too wide) in paragraph at lines 4126--4127 []$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] []; y[] [][] \OT1/cmr/m/n/10 ([](\OML /cmm/m/it/10 x; y\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) []\OT1/cmr/m/n/10 (\OML /cmm/m/it/10 f\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 )\OML/cmm/m/it /10 ; f\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 y\OT1/cmr/m/n/10 ))) \OMS/cmsy/m/n/10 ) []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 f\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 f\OT 1/cmr/m/n/10 (2))\OML/cmm/m/it/10 ; f\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 f\OT1/cm r/m/n/10 (5))) []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] [21] Overfull \hbox (68.2174pt too wide) in paragraph at lines 4164--4165 []$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 u[] []; v[] [][] \OT1/cmr/m/n/10 ([](\OML /cmm/m/it/10 u; v\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) []\OT1/cmr/m/n/10 (\OML /cmm/m/it/10 f\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 u\OT1/cmr/m/n/10 )\OML/cmm/m/it /10 ; f\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 v\OT1/cmr/m/n/10 ))) \OMS/cmsy/m/n/10 ) 8\OML/cmm/m/it/10 w[] [][] []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 f\OT1/cmr/m/ n/10 ([](\OML/cmm/m/it/10 f\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 w\OT1/cmr/m/n/10 ) \OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 2))\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OM L/cmm/m/it/10 f\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 f\OT1/cmr/m/n/10 (\OML/cmm/m/i t/10 w\OT1/cmr/m/n/10 ))\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 1)) []([][]\OML/cmm/ m/it/10 ; []\OT1/cmr/m/n/10 )$ [] [22] Overfull \hbox (109.27013pt too wide) in paragraph at lines 4389--4390 []$[]\OT1/cmr/m/n/10 ([]([](\OML/cmm/m/it/10 a; f\OT1/cmr/m/n/10 )\OML/cmm/m/it /10 ; []\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 1\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 a; h\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 (\OML/cmm/m/it/10 c; g\OT1/cmr/m/n/10 ))\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 ^^ @\OT1/cmr/m/n/10 1\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 c; h\O T1/cmr/m/n/10 )))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (393.26967pt too wide) in paragraph at lines 4401--4402 []$[]\OT1/cmr/m/n/10 ([]([](\OML/cmm/m/it/10 e; f\OT1/cmr/m/n/10 )\OML/cmm/m/it /10 ; []\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 1\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 e; i\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 (\OML/cmm/m/ it/10 c; g\OT1/cmr/m/n/10 ))\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OMS/cmsy/m/n /10 ^^@\OT1/cmr/m/n/10 1\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 c; h\OT1/cmr/m/n/10 )))\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 d ; h\OT1/cmr/m/n/10 ))\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 ^^@ \OT1/cmr/m/n/10 1\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 d; i\OT 1/cmr/m/n/10 )))) []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (112.35696pt too wide) in paragraph at lines 4463--4464 []$[]\OT1/cmr/m/n/10 ([]([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([](\OMS/cmsy /m/n/10 ^^@[][]\OML/cmm/m/it/10 ; x\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 ; []\O T1/cmr/m/n/10 ([](\OMS/cmsy/m/n/10 ^^@[][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x; x\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 )$ [] [23] Overfull \hbox (17.11249pt too wide) in paragraph at lines 4551--4552 []$\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] [][] \OT1/cmr/m/n/10 ([](3\OML/cmm/m/it/10 ; x\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) \OML/cmm/m/it/ 10 p\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 ))[]\OMS/cmsy/m/n/10 8\O ML/cmm/m/it/10 x[] [][] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x; \OT1/cmr/m/n/10 1) \OMS/cmsy/m/n/10 ) \OML/cmm/m/it/10 q\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\ OT1/cmr/m/n/10 ))) \OMS/cmsy/m/n/10 ) 9\OML/cmm/m/it/10 x[] []; y[] [][] \OT1 /cmr/m/n/10 (\OML/cmm/m/it/10 p\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\OT1/cmr/m/n/ 10 )[]\OML/cmm/m/it/10 q\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 y\OT1/cmr/m/n/10 )[][ ](\OML/cmm/m/it/10 x; y\OT1/cmr/m/n/10 ) = [] Overfull \hbox (38.14302pt too wide) in paragraph at lines 4562--4563 []$\OMS/cmsy/m/n/10 : 8\OML/cmm/m/it/10 x[] []; y[] [][] \OT1/cmr/m/n/10 (\OML/ cmm/m/it/10 x \OT1/cmr/m/n/10 = \OML/cmm/m/it/10 y[][]\OT1/cmr/m/n/10 (\OML/cmm /m/it/10 f\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; f\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 y\OT1/cmr/m/n/10 ))[][](\OML/cmm/m/it/10 f \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/c mr/m/n/10 (\OML/cmm/m/it/10 f\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 ))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr /m/n/10 )$ [] [24] Overfull \hbox (203.0259pt too wide) in paragraph at lines 4716--4717 []$[]\OT1/cmr/m/n/10 ([]([]([]([]([](\OML/cmm/m/it/10 x; x\OT1/cmr/m/n/10 )\OML /cmm/m/it/10 ; x\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 ([](\OML/cmm/m/it/10 x; x\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 ([]([](3\OML/ cmm/m/it/10 ; x\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 ))\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([](2\OML/cmm/ m/it/10 ; x\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; x\OT1/cmr/m/n/10 )) = [] Overfull \hbox (596.03821pt too wide) in paragraph at lines 4718--4719 []$[]\OT1/cmr/m/n/10 ([]([]([]([]([]([]([]([]([](2\OML/cmm/m/it/10 ; x\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/1 0 )\OML/cmm/m/it/10 ; y\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\ OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 1\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OML/ cmm/m/it/10 x; y\OT1/cmr/m/n/10 )))\OML/cmm/m/it/10 ; y\OT1/cmr/m/n/10 )\OML/cm m/m/it/10 ; []\OT1/cmr/m/n/10 ([]([](6\OML/cmm/m/it/10 ; x\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 ))\OML/cmm /m/it/10 ; []\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 1\OML/cmm/m/i t/10 ; []\OT1/cmr/m/n/10 ([](2\OML/cmm/m/it/10 ; x\OT1/cmr/m/n/10 )\OML/cmm/m/i t/10 ; x\OT1/cmr/m/n/10 )))\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/ 10 ^^@\OT1/cmr/m/n/10 1\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (3\OML/cmm/m/it/10 ; x\OT1/cmr/m/n/10 )))\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 3) = [] Overfull \hbox (191.28749pt too wide) in paragraph at lines 4720--4721 []$[]\OT1/cmr/m/n/10 ([]([]([]([]([]([]([](3\OML/cmm/m/it/10 ; x\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; x\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; y\OT1/cmr/m/n/10 )\OM L/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([](2\OML/cmm/m/it/10 ; x\OT1/cmr/m/n/10 )\OM L/cmm/m/it/10 ; y\OT1/cmr/m/n/10 ))\OML/cmm/m/it/10 ; y\OT1/cmr/m/n/10 )\OML/cm m/m/it/10 ; []\OT1/cmr/m/n/10 ([](9\OML/cmm/m/it/10 ; x\OT1/cmr/m/n/10 )\OML/cm m/m/it/10 ; x\OT1/cmr/m/n/10 ))\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (5\OML/cmm/ m/it/10 ; x\OT1/cmr/m/n/10 ))\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 3) = [] Overfull \hbox (17.39836pt too wide) in paragraph at lines 4764--4765 []$\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] [][] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 a; x\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) \OML/cmm/m/it/ 10 p\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 ))[]\OMS/cmsy/m/n/10 8\O ML/cmm/m/it/10 x[] [][] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x; \OT1/cmr/m/n/10 0) \OMS/cmsy/m/n/10 ) \OML/cmm/m/it/10 q\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\ OT1/cmr/m/n/10 ))) \OMS/cmsy/m/n/10 ) 9\OML/cmm/m/it/10 x[] []; y[] [][] \OT1 /cmr/m/n/10 (\OML/cmm/m/it/10 p\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\OT1/cmr/m/n/ 10 )[]\OML/cmm/m/it/10 q\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 y\OT1/cmr/m/n/10 )[][ ](\OML/cmm/m/it/10 x; y\OT1/cmr/m/n/10 ) = [] Overfull \hbox (97.80586pt too wide) in paragraph at lines 4849--4850 []$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 z[] [][] \OT1/cmr/m/n/10 (([](\OML/cmm/m/ it/10 a; z\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 z; []\OT1/cmr/m/n/10 (\OML/cmm /m/it/10 a; \OT1/cmr/m/n/10 2))) \OMS/cmsy/m/n/10 ) \OML/cmm/m/it/10 p\OT1/cm r/m/n/10 (\OML/cmm/m/it/10 z\OT1/cmr/m/n/10 )) \OMS/cmsy/m/n/10 ) 9\OML/cmm/m /it/10 x[] [][] p\OT1/cmr/m/n/10 ([](3\OML/cmm/m/it/10 ; x\OT1/cmr/m/n/10 )) [] ([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] [25] [26] Overfull \hbox (22.13408pt too wide) in paragraph at lines 5172--5173 []$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 u[] [][] []\OT1/cmr/m/n/10 (\OML/cmm/m/it /10 f\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 u\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; u\O T1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) 8\OML/cmm/m/it/10 v[] []; w[] [][] []\OT1/ cmr/m/n/10 (\OML/cmm/m/it/10 f\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 f\OT1/cmr/m/ n/10 (\OML/cmm/m/it/10 v\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; w\OT1/cmr/m/n/10 )) \OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 v; w\OT1/cmr/m/n/10 ) \OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 2)) []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n /10 )$ [] Overfull \hbox (86.01428pt too wide) in paragraph at lines 5266--5267 []$[]\OT1/cmr/m/n/10 ([]([]([]([]([](1\OML/cmm/m/it/10 ; x[]\OT1/cmr/m/n/10 )\O ML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 n; x[]\OT1/cmr/m/n/10 ))\O ML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 n; x[]\OT1/cmr/m/n/10 ))\O ML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 n; x[]\OT1/cmr/m/n/10 ))\O ML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 n; x[]\OT1/cmr/m/n/10 ))\O ML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 n; x[]\OT1/cmr/m/n/10 )) = [] Overfull \hbox (8.15741pt too wide) in paragraph at lines 5268--5269 []$[]\OT1/cmr/m/n/10 ([]([]([]([]([](\OML/cmm/m/it/10 n; x[]\OT1/cmr/m/n/10 )\O ML/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 ; x[]\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 ) = 0 []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/ n/10 )$ [] [27] Overfull \hbox (40.99083pt too wide) in paragraph at lines 5270--5271 []$[]\OT1/cmr/m/n/10 ([]([]([]([]([](\OML/cmm/m/it/10 n; x[]\OT1/cmr/m/n/10 )\O ML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (1\OML/cmm/m/it/10 ; x[]\OT1/cmr/m/n/10 ))\O ML/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 ; x[]\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; x[]\OT1/cmr/m/n/10 ) = 0 []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (82.00494pt too wide) in paragraph at lines 5272--5273 []$[]\OT1/cmr/m/n/10 ([]([]([]([]([](\OML/cmm/m/it/10 n; x[]\OT1/cmr/m/n/10 )\O ML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (0\OML/cmm/m/it/10 ; x[]\OT1/cmr/m/n/10 ))\O ML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (1\OML/cmm/m/it/10 ; x[]\OT1/cmr/m/n/10 ))\O ML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (1\OML/cmm/m/it/10 ; x[]\OT1/cmr/m/n/10 ))\O ML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (1\OML/cmm/m/it/10 ; x[]\OT1/cmr/m/n/10 ))\O ML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (1\OML/cmm/m/it/10 ; x[]\OT1/cmr/m/n/10 )) = [] Overfull \hbox (49.17152pt too wide) in paragraph at lines 5274--5275 []$[]\OT1/cmr/m/n/10 ([]([]([]([]([](\OML/cmm/m/it/10 n; x[]\OT1/cmr/m/n/10 )\O ML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (0\OML/cmm/m/it/10 ; x[]\OT1/cmr/m/n/10 ))\O ML/cmm/m/it/10 ; x[]\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (1\OM L/cmm/m/it/10 ; x[]\OT1/cmr/m/n/10 ))\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (1\OM L/cmm/m/it/10 ; x[]\OT1/cmr/m/n/10 ))\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (1\OM L/cmm/m/it/10 ; x[]\OT1/cmr/m/n/10 )) = [] Overfull \hbox (73.82425pt too wide) in paragraph at lines 5276--5277 []$[]\OT1/cmr/m/n/10 ([]([]([]([]([](\OML/cmm/m/it/10 n; x[]\OT1/cmr/m/n/10 )\O ML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (0\OML/cmm/m/it/10 ; x[]\OT1/cmr/m/n/10 ))\O ML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (0\OML/cmm/m/it/10 ; x[]\OT1/cmr/m/n/10 ))\O ML/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 ; x[]\OT1/cmr/m/n/10 ) = 0 []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m /n/10 )$ [] Overfull \hbox (16.3381pt too wide) in paragraph at lines 5278--5279 []$[]\OT1/cmr/m/n/10 ([]([]([]([]([](\OML/cmm/m/it/10 n; x[]\OT1/cmr/m/n/10 )\O ML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (0\OML/cmm/m/it/10 ; x[]\OT1/cmr/m/n/10 ))\O ML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (0\OML/cmm/m/it/10 ; x[]\OT1/cmr/m/n/10 ))\O ML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (1\OML/cmm/m/it/10 ; x[]\OT1/cmr/m/n/10 ))\O ML/cmm/m/it/10 ; x[]\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; x[]\OT1/cmr/m/n/10 ) = [] Overfull \hbox (82.00494pt too wide) in paragraph at lines 5280--5281 []$[]\OT1/cmr/m/n/10 ([]([]([]([]([](\OML/cmm/m/it/10 n; x[]\OT1/cmr/m/n/10 )\O ML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (0\OML/cmm/m/it/10 ; x[]\OT1/cmr/m/n/10 ))\O ML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (0\OML/cmm/m/it/10 ; x[]\OT1/cmr/m/n/10 ))\O ML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (0\OML/cmm/m/it/10 ; x[]\OT1/cmr/m/n/10 ))\O ML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (1\OML/cmm/m/it/10 ; x[]\OT1/cmr/m/n/10 ))\O ML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (1\OML/cmm/m/it/10 ; x[]\OT1/cmr/m/n/10 )) = [] Overfull \hbox (49.17152pt too wide) in paragraph at lines 5282--5283 []$[]\OT1/cmr/m/n/10 ([]([]([]([]([](\OML/cmm/m/it/10 n; x[]\OT1/cmr/m/n/10 )\O ML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (0\OML/cmm/m/it/10 ; x[]\OT1/cmr/m/n/10 ))\O ML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (0\OML/cmm/m/it/10 ; x[]\OT1/cmr/m/n/10 ))\O ML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (0\OML/cmm/m/it/10 ; x[]\OT1/cmr/m/n/10 ))\O ML/cmm/m/it/10 ; x[]\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (1\OM L/cmm/m/it/10 ; x[]\OT1/cmr/m/n/10 )) = [] Overfull \hbox (49.17152pt too wide) in paragraph at lines 5284--5285 []$[]\OT1/cmr/m/n/10 ([]([]([]([]([](\OML/cmm/m/it/10 n; x[]\OT1/cmr/m/n/10 )\O ML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (0\OML/cmm/m/it/10 ; x[]\OT1/cmr/m/n/10 ))\O ML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (0\OML/cmm/m/it/10 ; x[]\OT1/cmr/m/n/10 ))\O ML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (0\OML/cmm/m/it/10 ; x[]\OT1/cmr/m/n/10 ))\O ML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (0\OML/cmm/m/it/10 ; x[]\OT1/cmr/m/n/10 ))\O ML/cmm/m/it/10 ; x[]\OT1/cmr/m/n/10 ) = [] Overfull \hbox (50.88014pt too wide) in paragraph at lines 5297--5298 []$\OMS/cmsy/m/n/10 : 8\OML/cmm/m/it/10 x[] []; y[] [][] \OT1/cmr/m/n/10 ([](\O ML/cmm/m/it/10 x; y\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) []\OT1/cmr/m/n/10 (\O ML/cmm/m/it/10 f\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 )\OML/cmm/m/ it/10 ; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 f\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 1\OML/cmm/m/it/10 =\OT1/cm r/m/n/10 1))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (71.96738pt too wide) in paragraph at lines 5408--5409 []$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] [][] \OT1/cmr/m/n/10 ([](\OML/cmm/m/i t/10 x; f\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 )\OML/cmm/m/it/10 ; f\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 ))[]([](\OML/cmm/m/it/10 f\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 )[][](\OML/cmm/m/it/10 f\O T1/cmr/m/n/10 (\OML/cmm/m/it/10 x\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 )))) \OMS/cmsy/m/n/10 ) 8\OML/cmm/ m/it/10 x[] [][] f\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 f\OT1/cmr/m/n/10 (\OML/cmm/ m/it/10 x\OT1/cmr/m/n/10 )) = [] [28] Overfull \hbox (129.63588pt too wide) in paragraph at lines 5507--5508 []$\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 x[] []; y[] [][] \OT1/cmr/m/n/10 ([](0\OM L/cmm/m/it/10 =\OT1/cmr/m/n/10 1\OML/cmm/m/it/10 ; x\OT1/cmr/m/n/10 )[][](0\OML /cmm/m/it/10 =\OT1/cmr/m/n/10 1\OML/cmm/m/it/10 ; y\OT1/cmr/m/n/10 )[][]([]([]( 3\OML/cmm/m/it/10 =\OT1/cmr/m/n/10 1\OML/cmm/m/it/10 ; x\OT1/cmr/m/n/10 )\OML/c mm/m/it/10 ; []\OT1/cmr/m/n/10 (4\OML/cmm/m/it/10 =\OT1/cmr/m/n/10 1\OML/cmm/m/ it/10 ; y\OT1/cmr/m/n/10 ))\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 6\OML/cmm/m/it/10 =\OT1/cmr/m/n/10 1)) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (253.56033pt too wide) in paragraph at lines 5558--5559 []$\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] []; y[] [][] \OT1/cm r/m/n/10 ([](\OML/cmm/m/it/10 x; y\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) []\OT1 /cmr/m/n/10 (\OML/cmm/m/it/10 f\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\OT1/cmr/m/n/ 10 )\OML/cmm/m/it/10 ; f\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 y\OT1/cmr/m/n/10 )))[ ][](0\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 a; []\OT1/cmr/m/n/1 0 (\OML/cmm/m/it/10 b\OT1/cmr/m/n/10 )))) \OMS/cmsy/m/n/10 ) []\OT1/cmr/m/n/1 0 (0\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 f\OT1/cmr/m/n/10 (\O ML/cmm/m/it/10 a\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OML/cmm /m/it/10 f\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 b\OT1/cmr/m/n/10 )))) []([][]\OML/c mm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (41.98575pt too wide) in paragraph at lines 5603--5604 []$\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 x[] []; y[] []; z[] []; z[][] []; z[][] [ ]; z[][] []; z[][] [][] \OT1/cmr/m/n/10 (([](\OML/cmm/m/it/10 x; y\OT1/cmr/m/n/ 10 ) = \OML/cmm/m/it/10 z[][][]\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 z[]; z\OT1/cmr /m/n/10 ) = \OML/cmm/m/it/10 z[][][]\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 y; z\OT1/ cmr/m/n/10 ) = [] [29] Overfull \hbox (108.21577pt too wide) in paragraph at lines 5650--5651 []$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] [][] \OT1/cmr/m/n/10 ([][](\OML/cmm/m /it/10 x\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ([]) \OT1/cmr/m/n/10 (\OML/cmm/m/i t/10 x \OT1/cmr/m/n/10 = 1[]([](2\OML/cmm/m/it/10 ; x\OT1/cmr/m/n/10 )[]\OMS/cm sy/m/n/10 9\OML/cmm/m/it/10 y[] [][] \OT1/cmr/m/n/10 ([](2\OML/cmm/m/it/10 ; y\ OT1/cmr/m/n/10 ) = \OML/cmm/m/it/10 x[][][]\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 y\ OT1/cmr/m/n/10 ))))) \OMS/cmsy/m/n/10 ) [][]\OT1/cmr/m/n/10 (8) []([][]\OML/c mm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (114.94438pt too wide) in paragraph at lines 5677--5678 []$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] []; y[] []; z[] [][] \OT1/cmr/m/n/10 (([]([][]\OML/cmm/m/it/10 ; x\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x; y\OT1/cm r/m/n/10 )[][](\OML/cmm/m/it/10 y; z\OT1/cmr/m/n/10 )[][]([]([](\OML/cmm/m/it/1 0 x; []\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 ([][]\OML/cmm/m/it/10 ; z\OT1/cmr/m/n/10 ))\OML/cmm/m/i t/10 ; [][]\OT1/cmr/m/n/10 )) \OMS/cmsy/m/n/10 ([]) [] Overfull \hbox (332.00334pt too wide) in paragraph at lines 5841--5842 []$\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 x[] []; y[] [][] \OT1/cmr/m/n/10 ([](\OML /cmm/m/it/10 x\OT1/cmr/m/n/10 )[][]([]([](\OMS/cmsy/m/n/10 ^^@[][]\OML/cmm/m/it /10 ; x\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 )[][]([]([]([][]\OML/cmm/m/it/10 ; x\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 )[][]([] (\OML/cmm/m/it/10 x; []\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 ^^@[][]\OML/cmm/m/it/1 0 ; y\OT1/cmr/m/n/10 ))\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 ^^@[][]\OT1/cmr/m/n/ 10 )) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] [30] Overfull \hbox (251.63455pt too wide) in paragraph at lines 5949--5950 []$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] []; y[] []; z[] [][] \OT1/cmr/m/n/10 (([](1\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x; \OT1/cmr/m/n /10 2)\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 y\OT1/cmr/m/n/10 ) ))[][](1\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 y; \OT1/cmr/m /n/10 2)\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 z\OT1/cmr/m/n/10 )))[][](1\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 z; \OT1/cmr /m/n/10 2)\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\OT1/cmr/m/n/ 10 )))) \OMS/cmsy/m/n/10 ) [] [31] Overfull \hbox (138.81882pt too wide) in paragraph at lines 6053--6054 []$[]\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 ; []\OT1/cmr/m/n/1 0 ([][]\OML/cmm/m/it/10 ; c\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 ; n\OT1/cmr/m/n/1 0 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 k; x\OT1/cmr/m/n/10 ) ) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (71.77574pt too wide) in paragraph at lines 6185--6186 []$[]\OT1/cmr/m/n/10 ([]([](\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 1\OML/cmm/m/it/ 10 ; d\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (2\OML/cmm/m/it/10 ; c\OT1/cmr/m/n/10 ))\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 ^^@ \OT1/cmr/m/n/10 1\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 d; []\O T1/cmr/m/n/10 ([](\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 1\OML/cmm/m/it/10 ; \OT1/ cmr/m/n/10 2)\OML/cmm/m/it/10 ; c\OT1/cmr/m/n/10 )))) = 0 []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (194.16995pt too wide) in paragraph at lines 6204--6205 []$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 m[] [][] \OT1/cmr/m/n/10 ([](\OML/cmm/m/i t/10 m; [][]\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) []\OT1/cmr/m/n/10 (\OML/cmm/ m/it/10 f\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 m\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 (\OML/cmm/m/it/10 m\OT1/cmr/m/n/10 ))\OML/cmm/m/it/ 10 ; []\OT1/cmr/m/n/10 ([](\OMS/cmsy/m/n/10 ^^@[][]\OML/cmm/m/it/10 ; a\OT1/cmr /m/n/10 )\OML/cmm/m/it/10 ; b\OT1/cmr/m/n/10 ))))) []([]\OML/cmm/m/it/10 ; []\O T1/cmr/m/n/10 )$ [] Overfull \hbox (54.72264pt too wide) in paragraph at lines 6210--6211 []$[]\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 m; []\OT1/cmr/m/n/10 ([]([][]\OML/cmm/m/ it/10 ; []\OT1/cmr/m/n/10 ([](\OMS/cmsy/m/n/10 ^^@[][]\OML/cmm/m/it/10 ; a\OT1/ cmr/m/n/10 )\OML/cmm/m/it/10 ; x\OT1/cmr/m/n/10 ))\OML/cmm/m/it/10 ; []\OT1/cmr /m/n/10 ([](\OMS/cmsy/m/n/10 ^^@[][]\OML/cmm/m/it/10 ; a\OT1/cmr/m/n/10 )\OML/c mm/m/it/10 ; b\OT1/cmr/m/n/10 ))) []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ) $ [] [32] Overfull \hbox (18.97638pt too wide) in paragraph at lines 6266--6267 []$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 y[] []; z[] [][] \OT1/cmr/m/n/10 ([](2\OM L/cmm/m/it/10 ; z\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) 9\OML/cmm/m/it/10 x[] [ ][] \OT1/cmr/m/n/10 ([](0\OML/cmm/m/it/10 ; x\OT1/cmr/m/n/10 )[][](\OML/cmm/m/i t/10 x; z\OT1/cmr/m/n/10 )[]\OML/cmm/m/it/10 y \OMS/cmsy/m/n/10 6\OT1/cmr/m/n/1 0 = \OML/cmm/m/it/10 x\OT1/cmr/m/n/10 )) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n /10 )$ [] [33] Overfull \hbox (436.27878pt too wide) in paragraph at lines 6430--6431 []$[]\OT1/cmr/m/n/10 ([](1\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([](\OML/cmm/m/i t/10 y; x\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; b\OT1/cmr/m/n/10 ))\OML/cmm/m/it/1 0 ; []\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 1\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]([](166\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([](\OML/cmm/m /it/10 x; b\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 (2427\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([](\OML/cmm/ m/it/10 x; x\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 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 2523496\OML/cmm/ m/it/10 ; []\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 y; b\OT1/cmr/m/n/10 )\OML/cmm/ m/it/10 ; b\OT1/cmr/m/n/10 ))))) = [] Overfull \hbox (88.82857pt too wide) in paragraph at lines 6439--6440 []$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] [][] \OT1/cmr/m/n/10 ([](1\OML/cmm/m/ it/10 ; x\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) 9\OML/cmm/m/it/10 y[] [][] \OT1 /cmr/m/n/10 ([]([](\OML/cmm/m/it/10 x; \OT1/cmr/m/n/10 2)\OML/cmm/m/it/10 ; y\O T1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 y; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x; \OT1/cmr/m/n/10 3)))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (73.30539pt too wide) in paragraph at lines 6475--6476 []$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] []; y[] []; z[] [][] \OT1/cmr/m/n/10 (([](3\OML/cmm/m/it/10 ; x\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x; y\OT1/cmr/m /n/10 )[][](\OML/cmm/m/it/10 y; z\OT1/cmr/m/n/10 )[][]([]([](\OML/cmm/m/it/10 x ; []\OT1/cmr/m/n/10 (2\OML/cmm/m/it/10 ; y\OT1/cmr/m/n/10 ))\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (3\OML/cmm/m/it/10 ; z\OT1/cmr/m/n/10 ))\OML/cmm/m/it/10 ; \O T1/cmr/m/n/10 35)) \OMS/cmsy/m/n/10 ([]) [] Overfull \hbox (27.64438pt too wide) in paragraph at lines 6484--6485 []$\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 x[] []; y[] [][] \OT1/cmr/m/n/10 ([](4\OM L/cmm/m/it/10 ; y\OT1/cmr/m/n/10 )[][]([](\OML/cmm/m/it/10 y; \OT1/cmr/m/n/10 1 )\OML/cmm/m/it/10 ; x\OT1/cmr/m/n/10 )[][]([](\OML/cmm/m/it/10 x; y\OT1/cmr/m/n /10 )\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 10)) []([][]\OML/cmm/m/it/10 ; []\OT1/c mr/m/n/10 )$ [] [34] Overfull \hbox (156.55353pt too wide) in paragraph at lines 6727--6728 []$[]\OT1/cmr/m/n/10 ([]([]([]([]([](\OML/cmm/m/it/10 a; b\OT1/cmr/m/n/10 )\OML /cmm/m/it/10 ; c\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 1)\OML/cmm/ m/it/10 ; []\OT1/cmr/m/n/10 ([]([](\OML/cmm/m/it/10 a; b\OT1/cmr/m/n/10 )\OML/c mm/m/it/10 ; c\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 1))\OML/cmm/m /it/10 ; []\OT1/cmr/m/n/10 ([]([](\OML/cmm/m/it/10 a; b\OT1/cmr/m/n/10 )\OML/cm m/m/it/10 ; c\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 1))\OML/cmm/m/ it/10 ; []\OT1/cmr/m/n/10 ([]([](\OML/cmm/m/it/10 a; b\OT1/cmr/m/n/10 )\OML/cmm /m/it/10 ; c\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 1)) = [] Overfull \hbox (7199.4021pt too wide) in paragraph at lines 6729--6730 []$[]\OT1/cmr/m/n/10 ([]([]([](\OML/cmm/m/it/10 c; c\OT1/cmr/m/n/10 )\OML/cmm/m /it/10 ; c\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; c\OT1/cmr/m/n/10 )\OML/cmm/m/it/1 0 ; []\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 1\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]([]([]([]([]([]([]([]([]([]([]([]([]([]([]([]([]([]([]([]( []([]([]([]([]([]([]([]([]([]([]([]([](\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 1\OM L/cmm/m/it/10 ; \OT1/cmr/m/n/10 1)\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (4\OML/c mm/m/it/10 ; a\OT1/cmr/m/n/10 ))\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OMS/cmsy /m/n/10 ^^@\OT1/cmr/m/n/10 6\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OML/cmm/m/it /10 a; a\OT1/cmr/m/n/10 )))\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/ 10 ^^@\OT1/cmr/m/n/10 4\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/1 0 a; a\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 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 1\OML/cmm/m/it/10 ; [] \OT1/cmr/m/n/10 ([]([](\OML/cmm/m/it/10 a; a\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; a\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\OML/cmm/m/it/10 ; b\OT1/cmr/m/n/10 ))\OML/cmm/m/it/10 ; []\O T1/cmr/m/n/10 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 12\OML/cmm/m/it/10 ; []\OT1/ cmr/m/n/10 (\OML/cmm/m/it/10 b; a\OT1/cmr/m/n/10 )))\OML/cmm/m/it/10 ; []\OT1/c mr/m/n/10 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 6\OML/cmm/m/it/10 ; []\OT1/cmr/m /n/10 (\OML/cmm/m/it/10 b; b\OT1/cmr/m/n/10 )))\OML/cmm/m/it/10 ; []\OT1/cmr/m/ n/10 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 12\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/1 0 ([](\OML/cmm/m/it/10 b; a\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 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 1 2\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 b; b\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 (\ OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 4\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([](\O ML/cmm/m/it/10 b; b\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 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 4\OML/cmm /m/it/10 ; []\OT1/cmr/m/n/10 ([]([](\OML/cmm/m/it/10 b; a\OT1/cmr/m/n/10 )\OML/ cmm/m/it/10 ; a\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 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 6\OML/cmm/m/i t/10 ; []\OT1/cmr/m/n/10 ([]([](\OML/cmm/m/it/10 b; b\OT1/cmr/m/n/10 )\OML/cmm/ m/it/10 ; a\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; a\OT1/cmr/m/n/10 )))\OML/cmm/m/i t/10 ; []\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 4\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]([](\OML/cmm/m/it/10 b; b\OT1/cmr/m/n/10 )\OML/cmm/m/it /10 ; b\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 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 1\OML/cmm/m/it/10 ; [ ]\OT1/cmr/m/n/10 ([]([](\OML/cmm/m/it/10 b; b\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; b\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 (4\OML/cmm/m/it/10 ; c\OT1/cmr/m/n/10 ))\OML/cmm/m/it/10 ; []\ OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 12\OML/cmm/m/it/10 ; []\OT1 /cmr/m/n/10 (\OML/cmm/m/it/10 c; a\OT1/cmr/m/n/10 )))\OML/cmm/m/it/10 ; []\OT1/ cmr/m/n/10 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 12\OML/cmm/m/it/10 ; []\OT1/cmr /m/n/10 (\OML/cmm/m/it/10 c; b\OT1/cmr/m/n/10 )))\OML/cmm/m/it/10 ; []\OT1/cmr/ m/n/10 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 6\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/ 10 (\OML/cmm/m/it/10 c; c\OT1/cmr/m/n/10 )))\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/1 0 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 12\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ( [](\OML/cmm/m/it/10 c; a\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 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 24\O ML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 c; b\OT1/cmr/m/n/10 )\O ML/cmm/m/it/10 ; a\OT1/cmr/m/n/10 )))\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OMS /cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 12\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([](\OML /cmm/m/it/10 c; b\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; b\OT1/cmr/m/n/10 )))\OML/c mm/m/it/10 ; []\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 12\OML/cmm/ m/it/10 ; []\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 c; c\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 (\OMS/cmsy/m /n/10 ^^@\OT1/cmr/m/n/10 12\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([](\OML/cmm/m/ it/10 c; c\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 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 4\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 c; c\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; c\OT1/cmr/m/n/10 )))\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 ^^ @\OT1/cmr/m/n/10 4\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]([](\OML/cmm/m/it/10 c; a\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; a\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 (\OMS/cmsy/m/n/10 ^^@\OT 1/cmr/m/n/10 12\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]([](\OML/cmm/m/it/10 c; b\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; a\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 (\OMS/cmsy/m/n/10 ^^@\OT1/c mr/m/n/10 12\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]([](\OML/cmm/m/it/10 c; b\O T1/cmr/m/n/10 )\OML/cmm/m/it/10 ; b\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; a\OT1/cm r/m/n/10 )))\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/ m/n/10 4\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]([](\OML/cmm/m/it/10 c; b\OT1/c mr/m/n/10 )\OML/cmm/m/it/10 ; b\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 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/ 10 6\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]([](\OML/cmm/m/it/10 c; c\OT1/cmr/m /n/10 )\OML/cmm/m/it/10 ; a\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 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 1 2\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]([](\OML/cmm/m/it/10 c; c\OT1/cmr/m/n/ 10 )\OML/cmm/m/it/10 ; b\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 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 6\OM L/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]([](\OML/cmm/m/it/10 c; c\OT1/cmr/m/n/10 ) \OML/cmm/m/it/10 ; b\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; b\OT1/cmr/m/n/10 )))\OM L/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 4\OML/cm m/m/it/10 ; []\OT1/cmr/m/n/10 ([]([](\OML/cmm/m/it/10 c; c\OT1/cmr/m/n/10 )\OML /cmm/m/it/10 ; c\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; a\OT1/cmr/m/n/10 )))\OML/cm m/m/it/10 ; []\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 4\OML/cmm/m/ it/10 ; []\OT1/cmr/m/n/10 ([]([](\OML/cmm/m/it/10 c; c\OT1/cmr/m/n/10 )\OML/cmm /m/it/10 ; c\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; b\OT1/cmr/m/n/10 ))))) = [] Overfull \hbox (322.71585pt too wide) in paragraph at lines 6740--6741 []$\OMS/cmsy/m/n/10 : 8\OML/cmm/m/it/10 x[] []; y[] [][] \OT1/cmr/m/n/10 ([](\O ML/cmm/m/it/10 y; \OT1/cmr/m/n/10 0\OML/cmm/m/it/10 =\OT1/cmr/m/n/10 1) \OMS/c msy/m/n/10 ) []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 f\OT1/cmr/m/n/10 (\OML/cmm/m/ it/10 x\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]([](1\OML/cmm/m /it/10 =\OT1/cmr/m/n/10 2\OML/cmm/m/it/10 ; f\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/ 10 x; []\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 (1\OML/cmm/m/it/10 =\OT1/cmr/m/n/10 2\OML/cmm/m/it/10 ; f\ OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x; y\OT1/cmr/m/n/10 ))))\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 1\OML/cmm/m/it/10 =\OT1/cmr/m/n/10 1))) []( [][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (34.34511pt too wide) in paragraph at lines 6769--6770 []$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 z[] [][] \OT1/cmr/m/n/10 (([](5\OML/cmm/m /it/10 ; z\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 z; \OT1/cmr/m/n/10 7)) \OMS/c msy/m/n/10 ) \OML/cmm/m/it/10 p\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 z\OT1/cmr/m/n /10 )) \OMS/cmsy/m/n/10 ) 9\OML/cmm/m/it/10 x[] [][] p\OT1/cmr/m/n/10 ([](3\O ML/cmm/m/it/10 ; x\OT1/cmr/m/n/10 )) []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/1 0 )$ [] [35] Overfull \hbox (53.11824pt too wide) in paragraph at lines 6827--6828 []$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] [][] []\OT1/cmr/m/n/10 (\OML/cmm/m/it /10 f\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; x\O T1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) 8\OML/cmm/m/it/10 y[] []; z[] [][] \OMS/cm sy/m/n/10 9\OML/cmm/m/it/10 x[] [][] []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 y; []\ OT1/cmr/m/n/10 (\OML/cmm/m/it/10 z; f\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\OT1/cm r/m/n/10 ))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (50.46342pt too wide) in paragraph at lines 7013--7014 []$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] [][] []\OT1/cmr/m/n/10 (\OML/cmm/m/it /10 f\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; x\O T1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) 8\OML/cmm/m/it/10 x[] [][] []\OT1/cmr/m/n/ 10 ([](\OML/cmm/m/it/10 f\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 )))\OML/cmm/m/it/10 ; f\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 )) [] ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] [36] (./ARI.aux) ) Here is how much of TeX's memory you used: 1574 strings out of 256214 16757 string characters out of 1916999 73304 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,2809b,162s stack positions out of 5000i,500n,6000p,200000b,15000s Output written on ARI.pdf (36 pages, 185966 bytes). PDF statistics: 137 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)