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. **KRS.tex (./KRS.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 ) (./KRS.aux) \openout1 = `KRS.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 (25.27538pt too wide) in paragraph at lines 37--38 []$\OMS/cmsy/m/n/10 9[]\OML/cmm/m/it/10 ; c[] \OT1/cmr/m/n/10 (\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 )[][](\OML/cmm/m/it/10 i[]; c\OT1/cmr/m/n/10 ))[]\OMS/cmsy/m/n/10 9\OML/c mm/m/it/10 i[][] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 : []\OT1/cmr/m/n/10 (\OML/cm m/m/it/10 i[]; []\OT1/cmr/m/n/10 )[]\OMS/cmsy/m/n/10 : []\OT1/cmr/m/n/10 (\OML/ cmm/m/it/10 i[]; c\OT1/cmr/m/n/10 ))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (192.93347pt too wide) in paragraph at lines 39--40 []$\OMS/cmsy/m/n/10 9[]\OML/cmm/m/it/10 ; c[] \OT1/cmr/m/n/10 (\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 )[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 i[][] \OT1/cmr/m/n/10 ([](\OML/cmm/m /it/10 i[]; []\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) []\OT1/cmr/m/n/10 (\OML/cm m/m/it/10 i[]; c\OT1/cmr/m/n/10 ))[]\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 i[][] \O T1/cmr/m/n/10 (\OMS/cmsy/m/n/10 : []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 i[]; []\O T1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 i[]; c\OT1/cmr/m/n/10 ))[]\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 i[][] \OMS/cmsy/m/n/10 : []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 i[]; c\OT1/cmr/m/n/10 )) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (2.72635pt too wide) in paragraph at lines 64--65 []$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; c[] \OT1/cmr/m/n/10 ((\OMS/cmsy/m/n/1 0 9\OML/cmm/m/it/10 i[][] []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 i[]; []\OT1/cmr/m /n/10 )[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 i[][] \OT1/cmr/m/n/10 ([](\OML/cmm/ m/it/10 i[]; []\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) []\OT1/cmr/m/n/10 (\OML/c mm/m/it/10 i[]; c\OT1/cmr/m/n/10 ))[]\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 i[][] \ OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 i[]; c\OT1/cmr/m/n/10 )[]\OMS/cmsy/m/n/10 : []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 i[]; []\OT1/cmr/m/n/10 ))) \OMS/cmsy/m/n/ 10 ([]) [] Overfull \hbox (95.18393pt too wide) in paragraph at lines 66--67 []$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; c[] \OT1/cmr/m/n/10 ((\OMS/cmsy/m/n/1 0 9\OML/cmm/m/it/10 i[][] []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 i[]; []\OT1/cmr/m /n/10 )[]\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 i[][] \OMS/cmsy/m/n/10 : []\OT1/cmr /m/n/10 (\OML/cmm/m/it/10 i[]; []\OT1/cmr/m/n/10 )[]\OMS/cmsy/m/n/10 8\OML/cmm/ m/it/10 i[][] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 i[]; []\OT1/cmr/m/n/10 ) \O MS/cmsy/m/n/10 ([]) []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 i[]; c\OT1/cmr/m/n/10 ))) \OMS/cmsy/m/n/10 ([]) []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; c; []\OT1/c mr/m/n/10 )) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (4.47495pt too wide) in paragraph at lines 70--71 []$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; c[] \OT1/cmr/m/n/10 ((\OMS/cmsy/m/n/1 0 9\OML/cmm/m/it/10 i[][] []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 i[]; []\OT1/cmr/m /n/10 )[]\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 i[][] \OMS/cmsy/m/n/10 : []\OT1/cmr /m/n/10 (\OML/cmm/m/it/10 i[]; []\OT1/cmr/m/n/10 )[]\OMS/cmsy/m/n/10 8\OML/cmm/ m/it/10 i[][] []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 i[]; c\OT1/cmr/m/n/10 )) \OM S/cmsy/m/n/10 ([]) []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; c; []\OT1/cmr/m/n/1 0 )) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (103.7498pt too wide) in paragraph at lines 72--73 []$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; c[] \OT1/cmr/m/n/10 ((\OMS/cmsy/m/n/1 0 9\OML/cmm/m/it/10 i[][] []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 i[]; []\OT1/cmr/m /n/10 )[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 i[][] \OT1/cmr/m/n/10 ([](\OML/cmm/ m/it/10 i[]; []\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) []\OT1/cmr/m/n/10 (\OML/c mm/m/it/10 i[]; c\OT1/cmr/m/n/10 ))[]\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 i[][] \ OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 i[]; c\OT1/cmr/m/n/10 )[]\OMS/cmsy/m/n/10 : []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 i[]; []\OT1/cmr/m/n/10 ))[]\OMS/cmsy/m/n/1 0 9\OML/cmm/m/it/10 i[][] \OMS/cmsy/m/n/10 : []\OT1/cmr/m/n/10 (\OML/cmm/m/it/1 0 i[]; c\OT1/cmr/m/n/10 )) \OMS/cmsy/m/n/10 ([]) [] Overfull \hbox (8.52466pt too wide) in paragraph at lines 80--81 []$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; c[] \OT1/cmr/m/n/10 ((\OMS/cmsy/m/n/1 0 : 9\OML/cmm/m/it/10 i[][] []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 i[]; []\OT1/cmr /m/n/10 )[]\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 i[][] []\OT1/cmr/m/n/10 (\OML/cmm /m/it/10 i[]; c\OT1/cmr/m/n/10 )[]\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 i[][] \OMS /cmsy/m/n/10 : []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 i[]; c\OT1/cmr/m/n/10 )) \O MS/cmsy/m/n/10 ([]) []\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 (87.9695pt too wide) in paragraph at lines 86--87 []$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; c[] \OT1/cmr/m/n/10 ((\OMS/cmsy/m/n/1 0 9\OML/cmm/m/it/10 i[][] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 i[]; []\OT1/cmr/ m/n/10 )[][](\OML/cmm/m/it/10 i[]; c\OT1/cmr/m/n/10 ))[]\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 ) [][](\OML/cmm/m/it/10 i[]; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 c\OT1/cmr/m/n/10 )))) \OMS/cmsy/m/n/10 ([]) []\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{/usr/share/texmf/fonts/map/pdftex/updmap/pdftex.map}] Overfull \hbox (238.1617pt too wide) in paragraph at lines 185--186 []$[]\OT1/cmr/m/n/10 @([][]@([]@([]@[]@[])@([]@([]@\OML/cmm/m/it/10 ^^Ux[] [][] \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 )$ [] Overfull \hbox (22.68188pt too wide) in paragraph at lines 187--188 []$[]\OT1/cmr/m/n/10 @([]@\OML/cmm/m/it/10 ^^Ux[] [][] \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] Overfull \hbox (378.94185pt too wide) in paragraph at lines 321--322 []$\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/it/10 x\OT 1/cmr/m/n/10 ))[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] \OT1/cmr/m/n/10 ([](\OM L/cmm/m/it/10 x\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ([]) : []\OT1/cmr/m/n/10 (\ OML/cmm/m/it/10 x\OT1/cmr/m/n/10 ))[][]([])[][]([])[][]([])[][]([]) []([]\OML/c mm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (902.6239pt too wide) in paragraph at lines 338--339 []$\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/it/10 x\OT 1/cmr/m/n/10 ))[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] \OT1/cmr/m/n/10 ([](\OM L/cmm/m/it/10 x\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ([]) : []\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 ; [][]\OT1/cmr/m/n/10 ) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (9.3841pt too wide) in paragraph at lines 366--367 []$\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 (\OMS/cmsy/m/n/10 9\OML /cmm/m/it/10 y[]; y[][] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x; y[]\OT1/cmr/m/n /10 )[][](\OML/cmm/m/it/10 x; y[]\OT1/cmr/m/n/10 )[]\OML/cmm/m/it/10 y[] \OMS/c msy/m/n/10 6\OT1/cmr/m/n/10 = \OML/cmm/m/it/10 y[]\OT1/cmr/m/n/10 )[]\OMS/cmsy/ m/n/10 8\OML/cmm/m/it/10 y[]; y[]; y[][] \OT1/cmr/m/n/10 (([](\OML/cmm/m/it/10 x; y[]\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x; y[]\OT1/cmr/m/n/10 )[][](\OML/c mm/m/it/10 x; y[]\OT1/cmr/m/n/10 )) \OMS/cmsy/m/n/10 ) [] Overfull \hbox (198.2785pt too wide) in paragraph at lines 368--369 []$\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/it/10 x\OT 1/cmr/m/n/10 ))[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] \OT1/cmr/m/n/10 ([](\OM L/cmm/m/it/10 x\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/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[] \OT 1/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 y[]; y[]; y[][] \OT1/cmr/m/n/10 (([](\OML/cmm/m/it/10 x; y[]\OT1/c mr/m/n/10 )[][](\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 ) [] Overfull \hbox (53.61607pt too wide) in paragraph at lines 368--369 \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 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/cmr/m/n/10 = \OML/cmm/m/it/ 10 y[]\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\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) 9\OML/cmm/m/it/ 10 y[]; y[][] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x; y[]\OT1/cmr/m/n/10 )[][]( \OML/cmm/m/it/10 x; y[]\OT1/cmr/m/n/10 )[]\OML/cmm/m/it/10 y[] \OMS/cmsy/m/n/10 6\OT1/cmr/m/n/10 = \OML/cmm/m/it/10 y[]\OT1/cmr/m/n/10 )) []([]\OML/cmm/m/it/1 0 ; []\OT1/cmr/m/n/10 )$ [] [3] Overfull \hbox (123.69688pt too wide) in paragraph at lines 424--425 []$\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 (\OMS/cmsy/m/n/10 : []\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 y[] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x; y\OT1/cmr/m/n/10 )[]\OM S/cmsy/m/n/10 9\OML/cmm/m/it/10 z[] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 y; z\O T1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 z\OT1/cmr/m/n/10 )))[]\OMS/cmsy/m/n/10 9\O ML/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 ; []\OT1/cmr/ m/n/10 )$ [] Overfull \hbox (23.90688pt too wide) in paragraph at lines 512--513 []$\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/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 )[]\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 z [] \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 )[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 w[] \OT1/cmr/m/n/1 0 ([](\OML/cmm/m/it/10 z; w\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) \OT1/cmr/m/n/ 10 (\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 a[] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 w; a\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) [] [4] [5] Overfull \hbox (59.1964pt too wide) in paragraph at lines 707--708 []$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[]; x[]; 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 )[][]([]\OML/cmm/m/it/10 ; x[]\OT1/cmr/m/n/10 )) \OMS/cmsy/m/n/10 ) \OT1/c mr/m/n/10 (\OML/cmm/m/it/10 x[] \OT1/cmr/m/n/10 = \OML/cmm/m/it/10 x[][]x[] \OT 1/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 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (92.35023pt too wide) in paragraph at lines 734--735 []\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 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 ))[]\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 ))[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 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/1 0 (\OML/cmm/m/it/10 y\OT1/cmr/m/n/10 )))) []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/ m/n/10 )$ [] Overfull \hbox (135.61078pt too wide) in paragraph at lines 778--779 []$\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 (\OMS/cmsy/m/n/10 8\ OML/cmm/m/it/10 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 y\OT1/cmr/m/n/10 )[]\ OMS/cmsy/m/n/10 : []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 y\OT1/cmr/m/n/10 )))[]\OM S/cmsy/m/n/10 8\OML/cmm/m/it/10 y[] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x; y\O T1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) []\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 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/c mm/m/it/10 y\OT1/cmr/m/n/10 )))) []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] [6] Overfull \hbox (63.33334pt too wide) in paragraph at lines 862--863 []$\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 ([]) 9\OML/cmm/m/it/10 y[] \OT1/cmr/m/n/1 0 ([](\OML/cmm/m/it/10 x; y\OT1/cmr/m/n/10 )[]\OMS/cmsy/m/n/10 9\OML/cmm/m/it/1 0 z[] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 y; 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 z; w\OT1/cmr/m/n /10 )[]\OMS/cmsy/m/n/10 : [][]\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 w\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 )$ [] [7] Overfull \hbox (4.83253pt too wide) in paragraph at lines 1068--1069 []$\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/it/10 x\OT 1/cmr/m/n/10 ))[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] \OT1/cmr/m/n/10 ([](\OM L/cmm/m/it/10 x\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/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[] \OT 1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ([]) [] [8] Overfull \hbox (389.46983pt too wide) in paragraph at lines 1122--1123 []$\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/it/10 x\OT 1/cmr/m/n/10 ))[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] \OT1/cmr/m/n/10 ([](\OM L/cmm/m/it/10 x\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ([]) : []\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 )$ [] [9] Overfull \hbox (29.93343pt too wide) in paragraph at lines 1254--1255 []$\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/it/10 x\OT 1/cmr/m/n/10 ))[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] \OT1/cmr/m/n/10 ([](\OM L/cmm/m/it/10 x\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/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; y[] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x; y\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ([ ]) [] Overfull \hbox (9.35211pt too wide) in paragraph at lines 1280--1281 []$\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 (\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 ))[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 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 y\OT1/cmr/m/n/10 )))) []([][]\OML/cmm/ m/it/10 ; []\OT1/cmr/m/n/10 )$ [] [10] Overfull \hbox (13.57997pt too wide) in paragraph at lines 1361--1362 []$\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/it/10 x\OT 1/cmr/m/n/10 ))[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] \OT1/cmr/m/n/10 ([](\OM L/cmm/m/it/10 x\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ([]) : []\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 ) $ [] Overfull \hbox (90.50784pt too wide) in paragraph at lines 1396--1397 []$\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/it/10 x\OT 1/cmr/m/n/10 ))[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] \OT1/cmr/m/n/10 ([](\OM L/cmm/m/it/10 x\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ([]) : []\OT1/cmr/m/n/10 (\ OML/cmm/m/it/10 x\OT1/cmr/m/n/10 ))[][]([])[][]([])[][] \OMS/cmsy/m/n/10 6\OT1/ cmr/m/n/10 = [] Overfull \hbox (811.57764pt too wide) in paragraph at lines 1454--1455 []$[]\OT1/cmr/m/n/10 @([][]@([]@([]@[])@([]@([]@[])@([]@([]@[])@([]@([]@[])@([] @([]@[])@([]@([]@[])@([]@([]@[]@[])@([]@([]@[]@[])@([]@([]@[]@[])@([]@[]@[])))) ))))))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (17.8515pt too wide) in paragraph at lines 1456--1457 []$[]\OT1/cmr/m/n/10 @([]@\OML/cmm/m/it/10 ^^Ux[] [][] \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 )$ [] Overfull \hbox (304.51347pt too wide) in paragraph at lines 1458--1459 []$[]\OT1/cmr/m/n/10 @([]@\OML/cmm/m/it/10 ^^Ux[] [][] \OT1/cmr/m/n/10 ([]@(\OM L/cmm/m/it/10 q[]\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 ^^Uy[] [][] \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 y\OT1/cmr/m/n/10 )))))))) []([]\OML/ cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (640.5239pt too wide) in paragraph at lines 1474--1475 []$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 : [ ]\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x\OT 1/cmr/m/n/10 )[]\OMS/cmsy/m/n/10 : []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\OT1/cm r/m/n/10 )[][](\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 )[]\OMS/cmsy/m/n/10 : []\OT1/c mr/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 )[]\OMS/cmsy/m/n/10 : []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\OT1/cmr/m/n/1 0 )[][](\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 )[]\OMS/cmsy/m/n/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 ) []\OMS/cmsy/m/n/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 )[]\OMS/cmsy/m/n/10 : []\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 )[]\OMS/ cmsy/m/n/10 : []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 )[][](\OML/c mm/m/it/10 x\OT1/cmr/m/n/10 )[]\OMS/cmsy/m/n/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 )[]\OMS/cmsy/m/ n/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 )) []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] [11] Overfull \hbox (238.1617pt too wide) in paragraph at lines 1552--1553 []$[]\OT1/cmr/m/n/10 @([][]@([]@([]@[]@[])@([]@([]@\OML/cmm/m/it/10 ^^Ux[] [][] \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 )$ [] [12] Overfull \hbox (282.27492pt too wide) in paragraph at lines 1703--1704 []$\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/it/10 x\OT 1/cmr/m/n/10 ))[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] \OT1/cmr/m/n/10 ([](\OM L/cmm/m/it/10 x\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ([]) : []\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 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (617.56525pt too wide) in paragraph at lines 1742--1743 []$[]\OT1/cmr/m/n/10 @([][]@([]@\OML/cmm/m/it/10 ^^Us[] [][] \OT1/cmr/m/n/10 ([ ]@\OML/cmm/m/it/10 ^^Ui[] [][] \OT1/cmr/m/n/10 ([]@\OML/cmm/m/it/10 ^^Ub[] [][] \OT1/cmr/m/n/10 ([]@([]@([]@\OML/cmm/m/it/10 i\OT1/cmr/m/n/10 )@([]@\OML/cmm/m /it/10 b\OT1/cmr/m/n/10 ))@([]@\OML/cmm/m/it/10 ^^Ua[] [][] \OT1/cmr/m/n/10 ([] []@([]@\OML/cmm/m/it/10 ^^Us[][] [][] \OT1/cmr/m/n/10 ([]@([]@\OML/cmm/m/it/10 s\OT1/cmr/m/n/10 @\OML/cmm/m/it/10 a\OT1/cmr/m/n/10 @\OML/cmm/m/it/10 s[]\OT1/c mr/m/n/10 )@([]@\OML/cmm/m/it/10 i\OT1/cmr/m/n/10 @\OML/cmm/m/it/10 b\OT1/cmr/m /n/10 @\OML/cmm/m/it/10 s[]\OT1/cmr/m/n/10 )))))))))) []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (806.48735pt too wide) in paragraph at lines 1744--1745 []$[]\OT1/cmr/m/n/10 @([][]@([]@\OML/cmm/m/it/10 ^^Ui[] [][] \OT1/cmr/m/n/10 ([ ]@\OML/cmm/m/it/10 ^^Ub[] [][] \OT1/cmr/m/n/10 ([]@\OML/cmm/m/it/10 ^^Ua[] [][] \OT1/cmr/m/n/10 ([]@\OML/cmm/m/it/10 ^^Us[] [][] \OT1/cmr/m/n/10 ([]@([][]@([] @([]@\OML/cmm/m/it/10 u\OT1/cmr/m/n/10 @\OML/cmm/m/it/10 i\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 @1))))@([][]@([]@\OML/cmm/m/it/10 ^^Us[][] [][] \OT1/cmr/m/n/10 ([]@([]@\OML/cm m/m/it/10 s\OT1/cmr/m/n/10 @\OML/cmm/m/it/10 a\OT1/cmr/m/n/10 @\OML/cmm/m/it/10 s[]\OT1/cmr/m/n/10 )@([]@\OML/cmm/m/it/10 i\OT1/cmr/m/n/10 @\OML/cmm/m/it/10 b \OT1/cmr/m/n/10 @\OML/cmm/m/it/10 s[]\OT1/cmr/m/n/10 )))))))))) []([]\OML/cmm/m /it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (8.88257pt too wide) in paragraph at lines 1772--1773 []$\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/it/10 x\OT 1/cmr/m/n/10 ))[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] \OT1/cmr/m/n/10 ([](\OM L/cmm/m/it/10 x\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/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[] \OT 1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) [] Overfull \hbox (363.8028pt too wide) in paragraph at lines 1793--1794 []$\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/it/10 x\OT 1/cmr/m/n/10 ))[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] \OT1/cmr/m/n/10 ([](\OM L/cmm/m/it/10 x\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ([]) : []\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 ; []\OT1/cmr/m/n/10 )$ [] [13] Overfull \hbox (144.41356pt too wide) in paragraph at lines 1881--1882 []$\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/it/10 x\OT 1/cmr/m/n/10 ))[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] \OT1/cmr/m/n/10 ([](\OM L/cmm/m/it/10 x\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ([]) : []\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 )$ [] [14] Overfull \hbox (109.55602pt too wide) in paragraph at lines 2010--2011 []$\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/it/10 x\OT 1/cmr/m/n/10 ))[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] \OT1/cmr/m/n/10 ([](\OM L/cmm/m/it/10 x\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/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[] \OT 1/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 y[][] []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x; y[]\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 \OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) [] [15] Overfull \hbox (68.77943pt too wide) in paragraph at lines 2130--2131 []$\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 (\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 )[ ]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 z[] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 y; z\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 z; w\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) []\OT1/cmr/m/ n/10 (\OML/cmm/m/it/10 w\OT1/cmr/m/n/10 ))))[]\OMS/cmsy/m/n/10 9\OML/cmm/m/it/1 0 y[] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x; y\OT1/cmr/m/n/10 )[]\OMS/cmsy/m/n /10 8\OML/cmm/m/it/10 z[] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 y; z\OT1/cmr/m/n /10 ) \OMS/cmsy/m/n/10 ) [] Overfull \hbox (104.04369pt too wide) in paragraph at lines 2173--2174 []$\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 (\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 )[ ]\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 z[] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 y; z\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 z; w\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 w\OT1/cmr/m/n/10 )))[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 z[]; z[][] \OT1/cmr/m/n/10 (([](\OML/cmm/m/it/10 y; z[]\OT1/cmr/m/n/10 )[][](\OML/c mm/m/it/10 y; z[]\OT1/cmr/m/n/10 )) \OMS/cmsy/m/n/10 ) [] [16] Overfull \hbox (121.47444pt too wide) in paragraph at lines 2289--2290 []$\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 (\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 )[ ]\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 z[] \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 )[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 w[] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 z; w\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) : [][]\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 w\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 )$ [] Overfull \hbox (29.94176pt too wide) in paragraph at lines 2328--2329 []$\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 ) 9\OML/cmm/m/it/10 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 y; z\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it /10 z\OT1/cmr/m/n/10 ))[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 z[] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 y; z\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) []\OT1/cmr/m/n /10 (\OML/cmm/m/it/10 z\OT1/cmr/m/n/10 ))[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 z [] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 y; z\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) [] [17] Overfull \hbox (5.19614pt too wide) in paragraph at lines 2455--2456 []$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 a; b[] \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 a\ OT1/cmr/m/n/10 )) \OMS/cmsy/m/n/10 ) []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 b\OT 1/cmr/m/n/10 )) []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (18.3348pt too wide) in paragraph at lines 2479--2480 []$\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/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 = [][]\OML/cmm/m/it /10 x \OT1/cmr/m/n/10 = [][]\OML/cmm/m/it/10 x \OT1/cmr/m/n/10 = [])) []([][]\O ML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] [18] Overfull \hbox (124.9969pt too wide) in paragraph at lines 2503--2504 []$\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/it/10 x\OT 1/cmr/m/n/10 ))[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] \OT1/cmr/m/n/10 ([](\OM L/cmm/m/it/10 x\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ([]) : []\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 )$ [] Overfull \hbox (112.98856pt too wide) in paragraph at lines 2603--2604 []$\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 (\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 ))[]\OMS/cmsy/m/n/10 9\OML/cmm/m/it/1 0 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 y\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 ; []\OT1/cmr/m/n/10 )$ [] [19] Overfull \hbox (43.23827pt too wide) in paragraph at lines 2661--2662 \OML/cmm/m/it/10 y[]\OT1/cmr/m/n/10 )[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 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 y\OT1/cmr/m/n/10 ))[]\OMS/cmsy/m/n/10 8\OML /cmm/m/it/10 y[]; y[][] \OT1/cmr/m/n/10 (([](\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 ) \OML/ cmm/m/it/10 y[] \OT1/cmr/m/n/10 = \OML/cmm/m/it/10 y[]\OT1/cmr/m/n/10 )[]\OMS/c msy/m/n/10 8\OML/cmm/m/it/10 y[]; y[][] \OT1/cmr/m/n/10 (([](\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 ) [] Overfull \hbox (121.18134pt too wide) in paragraph at lines 2717--2718 []$\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/it/10 x\OT 1/cmr/m/n/10 ))[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] \OT1/cmr/m/n/10 ([](\OM L/cmm/m/it/10 x\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/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; y; z [] \OT1/cmr/m/n/10 (([](\OML/cmm/m/it/10 x; y\OT1/cmr/m/n/10 )[][](\OML/cmm/m/i t/10 y; z\OT1/cmr/m/n/10 )) \OMS/cmsy/m/n/10 ) [] [20] Overfull \hbox (121.47444pt too wide) in paragraph at lines 2818--2819 []$\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/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 )[]\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 z [] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 y; z\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 z; w\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) : [][]\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 w\OT1/cmr/m/n/1 0 ))[][][](\OML/cmm/m/it/10 z\OT1/cmr/m/n/10 ))))) []([][]\OML/cmm/m/it/10 ; [] \OT1/cmr/m/n/10 )$ [] [21] Overfull \hbox (132.91893pt too wide) in paragraph at lines 2983--2984 []$\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 (\OMS/cmsy/m/n/10 8\ OML/cmm/m/it/10 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 y; z\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 z\OT1/cmr/m/n/10 )))[]\OMS/cmsy/m/n /10 : []\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 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 ; []\OT1/c mr/m/n/10 )$ [] [22] Overfull \hbox (389.46983pt too wide) in paragraph at lines 3065--3066 []$\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/it/10 x\OT 1/cmr/m/n/10 ))[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] \OT1/cmr/m/n/10 ([](\OM L/cmm/m/it/10 x\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ([]) : []\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 )$ [] Overfull \hbox (2.21587pt too wide) in paragraph at lines 3083--3084 []$\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/it/10 x\OT 1/cmr/m/n/10 ))[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] \OT1/cmr/m/n/10 ([](\OM L/cmm/m/it/10 x\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/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[] \OT 1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ([]) [] [23] [24] Overfull \hbox (23.9326pt too wide) in paragraph at lines 3291--3292 []$\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 (\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 ))[]\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 ))[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 y[]; y[][] \OT1/cmr/ m/n/10 (([](\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 ) [] [25] Overfull \hbox (60.55539pt too wide) in paragraph at lines 3455--3456 []$\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 ([]) 9\OML/cmm/m/it/10 y[] \OT1/cmr/m/n/1 0 ([](\OML/cmm/m/it/10 x; y\OT1/cmr/m/n/10 )[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/1 0 z[] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 y; 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 z; w\OT1/cmr/ m/n/10 )[]\OMS/cmsy/m/n/10 : [][]\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 w\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 )$ [] [26] Overfull \hbox (67.09756pt too wide) in paragraph at lines 3558--3559 []$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 s[]; s[][] \OMS/cmsy/m/n/10 9[]\OML/cmm/m /it/10 ; c[] \OT1/cmr/m/n/10 ([]([]\OML/cmm/m/it/10 ; c; s[]\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) : []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 s[]; s[]\OT1/cmr/m/n/ 10 )[]([](\OML/cmm/m/it/10 s[]; s[]\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 s[]; s[]\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 s[]; s[]\OT1/cmr/m/n/10 ))) []([]\OML /cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (37.84937pt too wide) in paragraph at lines 3597--3598 []$\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 (\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 ))[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 y[]; y[]; y[]; y[][] \OT1/cmr/m/n/10 (([](\OML/cmm/m/it/10 x; y[]\OT1/cmr/m/n/1 0 )[][](\OML/cmm/m/it/10 x; y[]\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x; y[]\OT 1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x; y[]\OT1/cmr/m/n/10 )) \OMS/cmsy/m/n/10 ) [] Overfull \hbox (664.85744pt too wide) in paragraph at lines 3597--3598 \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 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/cmr/m/n/10 = \OML/cmm/m/it/ 10 y[][]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/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 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 y\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 ))[]\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 y[] \OT1/cmr/m/n/10 ([](\OML/cmm/m/i t/10 x; y\OT1/cmr/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 ))[]\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/c mr/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 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 ; []\OT1/cmr/m /n/10 )$ [] [27] Overfull \hbox (238.1617pt too wide) in paragraph at lines 3743--3744 []$[]\OT1/cmr/m/n/10 @([][]@([]@([]@[]@[])@([]@([]@\OML/cmm/m/it/10 ^^Ux[] [][] \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 )$ [] [28] Overfull \hbox (132.91893pt too wide) in paragraph at lines 3887--3888 []$\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 (\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 ))[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 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 y; z\OT1/cmr/m/n/ 10 )[][](\OML/cmm/m/it/10 z\OT1/cmr/m/n/10 )))[]\OMS/cmsy/m/n/10 : []\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 )$ [] Overfull \hbox (41.52762pt too wide) in paragraph at lines 3940--3941 []$\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 (\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 ))[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 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 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 )$ [] [29] [30] Overfull \hbox (21.04454pt too wide) in paragraph at lines 4119--4120 []$\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/it/10 x\OT 1/cmr/m/n/10 ))[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] \OT1/cmr/m/n/10 ([](\OM L/cmm/m/it/10 x\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/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; y[] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x; y\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) [] Overfull \hbox (208.83406pt too wide) in paragraph at lines 4151--4152 []$\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/it/10 x\OT 1/cmr/m/n/10 ))[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] \OT1/cmr/m/n/10 ([](\OM L/cmm/m/it/10 x\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/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[] \OT 1/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 (\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 y[][] []\OT1/cmr/m/n/10 (\OML/cm m/m/it/10 x; y[]\OT1/cmr/m/n/10 )[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 y[]; y[][ ] \OT1/cmr/m/n/10 (([](\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 ) [] Overfull \hbox (123.69688pt too wide) in paragraph at lines 4192--4193 []$\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 (\OMS/cmsy/m/n/10 : []\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 y[] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x; y\OT1/cmr/m/n/10 )[]\OM S/cmsy/m/n/10 9\OML/cmm/m/it/10 z[] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 y; z\O T1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 z\OT1/cmr/m/n/10 )))[]\OMS/cmsy/m/n/10 9\O ML/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 ; []\OT1/cmr/ m/n/10 )$ [] [31] Overfull \hbox (269.35944pt too wide) in paragraph at lines 4249--4250 []$\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 (\OMS/cmsy/m/n/10 8\ OML/cmm/m/it/10 y[]; y[][] \OT1/cmr/m/n/10 (([](\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 ) \O ML/cmm/m/it/10 y[] \OT1/cmr/m/n/10 = \OML/cmm/m/it/10 y[]\OT1/cmr/m/n/10 )[]\OM S/cmsy/m/n/10 9\OML/cmm/m/it/10 y[] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x; y\O T1/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 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 ))) []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (3208.9251pt too wide) in paragraph at lines 4290--4291 []$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] \OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/1 0 x\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/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 ))[]([][](\OML/cm m/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 ))[ ]([][](\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 ))[]([][](\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 ))[]([][](\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 )[] [][](\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 )[][][](\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 )[][][](\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 ))[]( [][](\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 x\OT1/cmr/m/n/10 )[][][](\OML/cmm/m/it/10 x\OT1/cm r/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 )[][][](\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 )[][] [](\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 x\OT1/cmr/m/n/10 ))[]([][](\OML/cmm/m/it/10 x\OT1/cm r/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 ))[]([][](\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 ))[]([] [](\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 ))[]([][](\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 )[][][](\OML/cmm/m/it/10 x\O T1/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 )[][][](\OML/c mm/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 )[][][](\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 )))) []([][]\OML/cmm/m/it/10 ; []\OT1 /cmr/m/n/10 )$ [] [32] Overfull \hbox (197.23389pt too wide) in paragraph at lines 4446--4447 []$\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 (\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 )[ ]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 z[]; z[][] \OT1/cmr/m/n/10 (([](\OML/cmm/m/ it/10 y; z[]\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 y; z[]\OT1/cmr/m/n/10 )) \O MS/cmsy/m/n/10 ) \OML/cmm/m/it/10 z[] \OT1/cmr/m/n/10 = \OML/cmm/m/it/10 z[]\O T1/cmr/m/n/10 )[]\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 z[] \OT1/cmr/m/n/10 ([](\OM L/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 x\OT1/cmr/m/n/10 ))) []([][]\OML/cmm/m/it/10 ; []\OT1/c mr/m/n/10 )$ [] [33] Overfull \hbox (813.6515pt too wide) in paragraph at lines 4528--4529 []$\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/it/10 x\OT 1/cmr/m/n/10 ))[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] \OT1/cmr/m/n/10 ([](\OM L/cmm/m/it/10 x\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ([]) : []\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 )$ [] Overfull \hbox (5.19614pt too wide) in paragraph at lines 4576--4577 []$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 a; b[] \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 a\ OT1/cmr/m/n/10 )) \OMS/cmsy/m/n/10 ) []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 b\OT 1/cmr/m/n/10 )) []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (18.3348pt too wide) in paragraph at lines 4600--4601 []$\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/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 = [][]\OML/cmm/m/it /10 x \OT1/cmr/m/n/10 = [][]\OML/cmm/m/it/10 x \OT1/cmr/m/n/10 = [])) []([][]\O ML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] [34] Overfull \hbox (131.82193pt too wide) in paragraph at lines 4663--4664 []$\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 (\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 ))[]\OMS/cmsy/m/n/10 9\OML/cmm/m/it/1 0 y[] \OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 x; y\OT1/cmr/m/n/10 )[][][](\OML/c mm/m/it/10 y\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/c mr/m/n/10 )))) []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (106.32027pt too wide) in paragraph at lines 4724--4725 []$\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/it/10 x\OT 1/cmr/m/n/10 ))[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] \OT1/cmr/m/n/10 ([](\OM L/cmm/m/it/10 x\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/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[] \OT 1/cmr/m/n/10 ((\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 y[]; y[][] \OT1/cmr/m/n/10 ([ ](\OML/cmm/m/it/10 x; y[]\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x; y[]\OT1/cmr/ m/n/10 )[]\OML/cmm/m/it/10 y[] \OMS/cmsy/m/n/10 6\OT1/cmr/m/n/10 = [] Overfull \hbox (320.48883pt too wide) in paragraph at lines 4724--4725 \OML/cmm/m/it/10 y[]\OT1/cmr/m/n/10 )[]\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 y[]; y[]; y[][] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x; y[]\OT1/cmr/m/n/10 )[][](\OM L/cmm/m/it/10 x; y[]\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x; y[]\OT1/cmr/m/n/1 0 )[]\OML/cmm/m/it/10 y[] \OMS/cmsy/m/n/10 6\OT1/cmr/m/n/10 = \OML/cmm/m/it/10 y[][]y[] \OMS/cmsy/m/n/10 6\OT1/cmr/m/n/10 = \OML/cmm/m/it/10 y[][]y[] \OMS/cms y/m/n/10 6\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 y[]; y[]; y[]; y[]; y[][] \OT1/cmr/m/n/10 ([](\OML/c mm/m/it/10 x; y[]\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x; y[]\OT1/cmr/m/n/10 ) [][](\OML/cmm/m/it/10 x; y[]\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x; y[]\OT1/c mr/m/n/10 )[][](\OML/cmm/m/it/10 x; y[]\OT1/cmr/m/n/10 )[]\OML/cmm/m/it/10 y[] \OMS/cmsy/m/n/10 6\OT1/cmr/m/n/10 = [] [35] Overfull \hbox (32.48904pt too wide) in paragraph at lines 4767--4768 []$\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/it/10 x\OT 1/cmr/m/n/10 ))[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] \OT1/cmr/m/n/10 ([](\OM L/cmm/m/it/10 x\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/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; y[] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x; y\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) [] Overfull \hbox (354.0262pt too wide) in paragraph at lines 4767--4768 \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 = [][]\OML/cmm/m/it/10 x \OT1/cmr/m/n/10 = []))[]\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 y; 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 )$ [] Overfull \hbox (811.57764pt too wide) in paragraph at lines 4853--4854 []$[]\OT1/cmr/m/n/10 @([][]@([]@([]@[])@([]@([]@[])@([]@([]@[])@([]@([]@[])@([] @([]@[])@([]@([]@[])@([]@([]@[]@[])@([]@([]@[]@[])@([]@([]@[]@[])@([]@[]@[])))) ))))))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (17.8515pt too wide) in paragraph at lines 4855--4856 []$[]\OT1/cmr/m/n/10 @([]@\OML/cmm/m/it/10 ^^Ux[] [][] \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 )$ [] Overfull \hbox (421.27338pt too wide) in paragraph at lines 4857--4858 []$[]\OT1/cmr/m/n/10 @([]@\OML/cmm/m/it/10 ^^Ux[] [][] \OT1/cmr/m/n/10 ([]@(\OM L/cmm/m/it/10 q[]\OT1/cmr/m/n/10 @\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 )@([]@\OML/ cmm/m/it/10 ^^Uy[] [][] \OT1/cmr/m/n/10 ([]@([][]@([]@\OML/cmm/m/it/10 y\OT1/cm r/m/n/10 @\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 ))@([]@\OML/cmm/m/it/10 ^^Uz[] [][] \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/10 ))@([]@\OML/cmm/m/it/10 z\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] [37] Overfull \hbox (1.2559pt too wide) in paragraph at lines 5053--5054 []$\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 c\OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 x[ ]\OT1/cmr/m/n/10 ))[]\OML/cmm/m/it/10 d\OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 x []\OT1/cmr/m/n/10 ))[]\OML/cmm/m/it/10 r\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[]\OT1/cmr/m/n/10 )) \OMS/cmsy/m/n/10 ) \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 e\ OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]\OT1/cmr/m/n/10 )[]\OML/cmm/m/it/10 s\OT1/c mr/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 r\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; [][]\OT 1/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 )$ [] Overfull \hbox (7.86705pt too wide) in paragraph at lines 5055--5056 []$\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 c\OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 x[ ]\OT1/cmr/m/n/10 ))[]\OML/cmm/m/it/10 d\OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 x []\OT1/cmr/m/n/10 ))[]\OML/cmm/m/it/10 r\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 s \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 r\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x []\OT1/cmr/m/n/10 )) \OMS/cmsy/m/n/10 ) \OML/cmm/m/it/10 e\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 )$ [] Overfull \hbox (8.18988pt too wide) in paragraph at lines 5057--5058 []$\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 c\OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 x[ ]\OT1/cmr/m/n/10 ))[]\OML/cmm/m/it/10 r\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x []\OT1/cmr/m/n/10 )) \OMS/cmsy/m/n/10 ) \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 e\O T1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]\OT1/cmr/m/n/10 )[]\OML/cmm/m/it/10 s\OT1/cm r/m/n/10 (\OML/cmm/m/it/10 x[]; [][]\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]\OT1/c mr/m/n/10 ))[]\OML/cmm/m/it/10 s\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 r\OT1/cmr /m/n/10 (\OML/cmm/m/it/10 x[]; [][]\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 (22.57883pt too wide) in paragraph at lines 5059--5060 []$\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 c\OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 x[ ]\OT1/cmr/m/n/10 ))[]\OML/cmm/m/it/10 r\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 s\ 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 r\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[ ]\OT1/cmr/m/n/10 )) \OMS/cmsy/m/n/10 ) \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 e\OT 1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]\OT1/cmr/m/n/10 )[]\OML/cmm/m/it/10 s\OT1/cmr /m/n/10 (\OML/cmm/m/it/10 x[]; [][]\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 (9.16905pt too wide) in paragraph at lines 5061--5062 []$\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 d\OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 x[ ]\OT1/cmr/m/n/10 ))[]\OML/cmm/m/it/10 r\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x []\OT1/cmr/m/n/10 )) \OMS/cmsy/m/n/10 ) \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 e\O T1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]\OT1/cmr/m/n/10 )[]\OML/cmm/m/it/10 r\OT1/cm r/m/n/10 (\OML/cmm/m/it/10 x[]; [][]\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]\OT1/c mr/m/n/10 ))[]\OML/cmm/m/it/10 s\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 r\OT1/cmr /m/n/10 (\OML/cmm/m/it/10 x[]; [][]\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 (23.558pt too wide) in paragraph at lines 5063--5064 []$\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 d\OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 x[ ]\OT1/cmr/m/n/10 ))[]\OML/cmm/m/it/10 r\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 s\ 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 r\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[ ]\OT1/cmr/m/n/10 )) \OMS/cmsy/m/n/10 ) \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 e\OT 1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]\OT1/cmr/m/n/10 )[]\OML/cmm/m/it/10 r\OT1/cmr /m/n/10 (\OML/cmm/m/it/10 x[]; [][]\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 (8.32523pt too wide) in paragraph at lines 5065--5066 []$\OML/cmm/m/it/10 r\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[]\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 e\OT1/cmr/m/n/10 (\OML /cmm/m/it/10 x[]\OT1/cmr/m/n/10 )[]\OML/cmm/m/it/10 r\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 s\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; [][]\OT1/cmr/m/n/10 (\OML/c mm/m/it/10 x[]\OT1/cmr/m/n/10 ))[]\OML/cmm/m/it/10 s\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/c mm/m/it/10 r\OT1/cmr/m/n/10 (\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 )$ [] Overfull \hbox (30.49197pt too wide) in paragraph at lines 5067--5068 []$\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 r\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 s\O T1/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 r\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[] \OT1/cmr/m/n/10 )) \OMS/cmsy/m/n/10 ) \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 e\OT1 /cmr/m/n/10 (\OML/cmm/m/it/10 x[]\OT1/cmr/m/n/10 )[]\OML/cmm/m/it/10 r\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 s\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; [][]\OT1/c mr/m/n/10 (\OML/cmm/m/it/10 x[]\OT1/cmr/m/n/10 ))) []([][]\OML/cmm/m/it/10 ; [] \OT1/cmr/m/n/10 )$ [] Overfull \hbox (133.78032pt too wide) in paragraph at lines 5143--5144 []$\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 (\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 ))[]\OMS/cmsy/m/n/10 9\OML/cmm/m/it/1 0 y[] \OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 x; y\OT1/cmr/m/n/10 )[][][](\OML/c mm/m/it/10 y\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 ; []\OT1/cmr/m/n/10 )$ [] [38] Overfull \hbox (137.4952pt too wide) in paragraph at lines 5187--5188 []$\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 (\OMS/cmsy/m/n/10 8\OML /cmm/m/it/10 y[]; y[]; y[][] \OT1/cmr/m/n/10 (([](\OML/cmm/m/it/10 x; y[]\OT1/c mr/m/n/10 )[][](\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 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/cmr/m/n/10 = \OML/cmm/m/it/10 y[]\OT1/cmr/m/n/10 ))[]\OMS/cms y/m/n/10 9\OML/cmm/m/it/10 y[]; y[][] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x; y []\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x; y[]\OT1/cmr/m/n/10 )[]\OML/cmm/m/it /10 y[] \OMS/cmsy/m/n/10 6\OT1/cmr/m/n/10 = [] Overfull \hbox (148.70209pt too wide) in paragraph at lines 5189--5190 []$\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/it/10 x\OT 1/cmr/m/n/10 ))[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] \OT1/cmr/m/n/10 ([](\OM L/cmm/m/it/10 x\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/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[] \OT 1/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 (\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 y[]; y[][] \OT1/cmr/m/n/10 ([](\ OML/cmm/m/it/10 x; y[]\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x; y[]\OT1/cmr/m/n /10 )[]\OML/cmm/m/it/10 y[] \OMS/cmsy/m/n/10 6\OT1/cmr/m/n/10 = [] Overfull \hbox (46.20654pt too wide) in paragraph at lines 5189--5190 \OML/cmm/m/it/10 y[]\OT1/cmr/m/n/10 )[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 y[]; y[]; y[][] \OT1/cmr/m/n/10 (([](\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 )[][](\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 y[] \OT1/cmr/m/n/1 0 = \OML/cmm/m/it/10 y[][]y[] \OT1/cmr/m/n/10 = \OML/cmm/m/it/10 y[][]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 )$ [] [39] Overfull \hbox (234.05101pt too wide) in paragraph at lines 5289--5290 []$\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 (\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 ))[]\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 ))[]\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 ))[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 y[]; y[]; y[][] \OT1/cmr/m/n/10 (([](\OML/cmm/m/it/10 x; y[]\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x; y[]\OT1/c mr/m/n/10 )[][](\OML/cmm/m/it/10 x; y[]\OT1/cmr/m/n/10 )) \OMS/cmsy/m/n/10 ) [] Overfull \hbox (46.68112pt too wide) in paragraph at lines 5353--5354 []$\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/it/10 x\OT 1/cmr/m/n/10 ))[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] \OT1/cmr/m/n/10 ([](\OM L/cmm/m/it/10 x\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/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[] \OT 1/cmr/m/n/10 ((\OMS/cmsy/m/n/10 : []\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/it/10 x\OT1/cmr/m/n /10 )) \OMS/cmsy/m/n/10 ([]) [] Overfull \hbox (23.9326pt too wide) in paragraph at lines 5401--5402 []$\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 (\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 ))[]\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 ))[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 y[]; y[][] \OT1/cmr/ m/n/10 (([](\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 ) [] [40] [41] Overfull \hbox (4.83253pt too wide) in paragraph at lines 5678--5679 []$\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/it/10 x\OT 1/cmr/m/n/10 ))[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] \OT1/cmr/m/n/10 ([](\OM L/cmm/m/it/10 x\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/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[] \OT 1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ([]) [] [42] Overfull \hbox (378.94185pt too wide) in paragraph at lines 5701--5702 []$\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/it/10 x\OT 1/cmr/m/n/10 ))[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] \OT1/cmr/m/n/10 ([](\OM L/cmm/m/it/10 x\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ([]) : []\OT1/cmr/m/n/10 (\ OML/cmm/m/it/10 x\OT1/cmr/m/n/10 ))[][]([])[][]([])[][]([])[][]([]) []([]\OML/c mm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] [43] (./KRS.aux) ) Here is how much of TeX's memory you used: 1574 strings out of 256214 16757 string characters out of 1916999 78304 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,1990b,162s stack positions out of 5000i,500n,6000p,200000b,15000s Output written on KRS.pdf (43 pages, 199101 bytes). PDF statistics: 162 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)