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. **ALG.tex (./ALG.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 ) (./ALG.aux) \openout1 = `ALG.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 (34.41687pt too wide) in paragraph at lines 32--33 []$\OT1/cmr/m/n/10 ([]([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )[]\OML/cmm/m/it/ 10 x \OMS/cmsy/m/n/10 2 [][]\OML/cmm/m/it/10 y \OMS/cmsy/m/n/10 2 [][]\OML/cmm/ m/it/10 z \OMS/cmsy/m/n/10 2 []\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) []\OT1/cm r/m/n/10 ([]\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 ; z\OT1/cmr/m/n/10 ) = [] Overfull \hbox (301.75871pt too wide) in paragraph at lines 40--41 []$[]\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/1 0 ; f[]\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/1 0 ; f[]\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 ; []\OT1/cmr/m/n/10 )) = []([]\OML/ cmm/m/it/10 ; f[]\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 ; f[]\OT1/cmr/m/n/10 ([]\OM L/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; f[]\OT1/cmr/m/n/10 ([]\OM L/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ))) \OMS/cmsy/m/n/10 ) [] Overfull \hbox (50.8871pt too wide) in paragraph at lines 50--51 []$\OT1/cmr/m/n/10 ([] \OMS/cmsy/m/n/10 2 [][][]\OT1/cmr/m/n/10 ([]\OML/cmm/m/i t/10 ; []; f[]\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 ; []; []\OT1/cmr/m/n/10 )[][]([]\OML/cmm/m/it/10 ; f[]\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 (287.75566pt too wide) in paragraph at lines 60--61 []$\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 ; f[]\OT1/cmr/m/n/10 ([]\OM L/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 ; []; []; []\OT1/cmr/m/n/10 )) = [][][]([]\OML/cmm/m/it/ 10 ; f[]\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []; []; []\OT1/cmr/m/n/10 )\OML/c mm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; f[]\OT1/cmr/m/n/10 ([]\OML /cmm/m/it/10 ; []; []; []\OT1/cmr/m/n/10 ))) = [] Overfull \hbox (110.75502pt too wide) in paragraph at lines 72--73 []$\OT1/cmr/m/n/10 ([]([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )[]\OML/cmm/m/it/ 10 x \OMS/cmsy/m/n/10 2 [][]\OML/cmm/m/it/10 y \OMS/cmsy/m/n/10 2 []\OT1/cmr/m/ n/10 ) \OMS/cmsy/m/n/10 ) []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; x; y\OT1/cm r/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 )$ [] Overfull \hbox (154.18608pt too wide) in paragraph at lines 78--79 []$[]\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; f[]\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 ; []\OT1/cmr/m/n/10 )) = []([]\OML/cmm/m/it/10 ; f[]\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 ; []\OT1/cmr/m/n/10 )) \OMS/cmsy/m/n/10 ) []\OT1/cmr/m/n/10 ([]\O ML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ) []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/1 0 )$ [] Overfull \hbox (78.2789pt too wide) in paragraph at lines 107--108 []$\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][] \OML/cmm/m/it/10 a; [][] a; [][] a[] \OT1/cmr/m/n/10 ([]@([]@[]@[])@[]) = ([]@[]@([]@[]@[]))[]\OMS/cmsy/m/n/10 8[][ ] \OML/cmm/m/it/10 a[] \OT1/cmr/m/n/10 ([]@[]@[]) = [][]\OMS/cmsy/m/n/10 8[][] \OML/cmm/m/it/10 a[] \OT1/cmr/m/n/10 ([]@([]@[])@[]) = [] Overfull \hbox (53.7887pt too wide) in paragraph at lines 141--142 \OML/cmm/m/it/10 h\OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 w; x\OT1/cmr/m/n/10 )) = [][](\OML/cmm/m/it/10 h\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 w\OT1/cmr/m/n/10 )\ OML/cmm/m/it/10 ; h\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\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 y\OT 1/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 z\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) \OML/cmm/m/it/10 j\OT 1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 y; z\OT1/cmr/m/n/10 )) = [][](\OML/cmm/m/it /10 j\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 y\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; j\O T1/cmr/m/n/10 (\OML/cmm/m/it/10 z\OT1/cmr/m/n/10 ))))[]\OMS/cmsy/m/n/10 8\OML/c mm/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 ) [] [1{/usr/share/texmf/fonts/map/pdftex/updmap/pdftex.map}] Overfull \hbox (114.82144pt too wide) in paragraph at lines 160--161 []$\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x[]; x[]\OT1/cmr/m/n/10 )[][](\OML/cmm/ m/it/10 x[]; x[]\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x[]; x[]\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x[]; x[]\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 t\OT 1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[]; x[]; x[]; x[]\OT1/cmr/m/n/10 )\OML/cmm /m/it/10 ; t\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[]; x[]; x[]; x[]\OT1/cmr/m /n/10 )) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] [2] Overfull \hbox (53.7887pt too wide) in paragraph at lines 273--274 \OML/cmm/m/it/10 h\OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 w; x\OT1/cmr/m/n/10 )) = [][](\OML/cmm/m/it/10 h\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 w\OT1/cmr/m/n/10 )\ OML/cmm/m/it/10 ; h\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\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 y\OT 1/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 z\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) \OML/cmm/m/it/10 j\OT 1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 y; z\OT1/cmr/m/n/10 )) = [][](\OML/cmm/m/it /10 j\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 y\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; j\O T1/cmr/m/n/10 (\OML/cmm/m/it/10 z\OT1/cmr/m/n/10 ))))[]\OMS/cmsy/m/n/10 8\OML/c mm/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 ) [] Overfull \hbox (6.32597pt too wide) in paragraph at lines 292--293 []$\OT1/cmr/m/n/10 (([]@[]) = [][]([]@[]) = [][]\OMS/cmsy/m/n/10 8[][] \OML/cmm /m/it/10 a; [][] a[] \OT1/cmr/m/n/10 ([]@([]@[]@[])) = [][]\OMS/cmsy/m/n/10 8[] [] \OML/cmm/m/it/10 a; [][] a[] \OT1/cmr/m/n/10 ([]@([]@[]@[])) = [] Overfull \hbox (3.33255pt too wide) in paragraph at lines 292--293 [][]\OMS/cmsy/m/n/10 8[][] \OML/cmm/m/it/10 a[] \OT1/cmr/m/n/10 ([] \OMS/cmsy/m /n/10 6\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 x[] a \OMS/cmsy/m/n/10 ! [] [] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 9[][] \OML/cmm/m/it/10 a[] \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/1 0 a[] \OT1/cmr/m/n/10 ((\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 @[]) \OMS/cmsy/m/n/1 0 ) [] Overfull \hbox (41.92319pt too wide) in paragraph at lines 292--293 \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 a[] \OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[][] a \OMS/cmsy/m /n/10 ! [][] \OT1/cmr/m/n/10 ((\OML/cmm/m/it/10 x[]\OT1/cmr/m/n/10 @[][]\OMS/cm sy/m/n/10 8[][][] \OML/cmm/m/it/10 a[] \OT1/cmr/m/n/10 ((\OML/cmm/m/it/10 x[]\O T1/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 a[] \ OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]\OT1/cmr/m/n/10 @[][]([]@[]) = [] Overfull \hbox (48.39209pt too wide) in paragraph at lines 314--315 []$\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 u\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x; y\OT1/cmr/m/n/10 ) = [](\OML/cmm/m/ it/10 u; v\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 u []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m /n/10 )$ [] Overfull \hbox (39.32729pt too wide) in paragraph at lines 316--317 []$\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 z; x\OT1/cmr/m/n/10 ) = [](\OML/cmm/m/ it/10 z; y\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 )$ [] Overfull \hbox (68.65526pt too wide) in paragraph at lines 354--355 []$\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; y\OT1/cmr/m/n/10 ) \OMS/cms y/m/n/10 2 []\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) []\OT1/cmr/m/n/10 ([]\OML/c mm/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 )$ [] Overfull \hbox (24.40465pt too wide) in paragraph at lines 356--357 []$\OT1/cmr/m/n/10 ([]([])[]\OML/cmm/m/it/10 x \OMS/cmsy/m/n/10 2 []\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 (\OML/cmm/m/it/10 x; y\OT1/ cmr/m/n/10 ) \OMS/cmsy/m/n/10 2 [] []\OT1/cmr/m/n/10 ([][]\OML/cmm/m/it/10 ; [] \OT1/cmr/m/n/10 )$ [] Overfull \hbox (24.08727pt too wide) in paragraph at lines 360--361 []$\OT1/cmr/m/n/10 ([]([])[]\OML/cmm/m/it/10 x \OMS/cmsy/m/n/10 2 []\OT1/cmr/m/ n/10 ([])) \OMS/cmsy/m/n/10 ) []\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 ^^R []\OT 1/cmr/m/n/10 ([] \OMS/cmsy/m/n/10 ^^N []\OML/cmm/m/it/10 ; x\OT1/cmr/m/n/10 ) [ ]([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (24.08727pt too wide) in paragraph at lines 364--365 []$\OT1/cmr/m/n/10 ([]([])[]\OML/cmm/m/it/10 x \OMS/cmsy/m/n/10 2 []\OT1/cmr/m/ n/10 ([])) \OMS/cmsy/m/n/10 ) []\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 ^ ^N []\OML/cmm/m/it/10 ; x\OT1/cmr/m/n/10 ) []([][]\OML/cmm/m/it/10 ; []\OT1/cmr /m/n/10 )$ [] Overfull \hbox (38.09276pt too wide) in paragraph at lines 383--384 [][] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 9[][] \OML/cmm/m/it/10 a[] \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 a[] \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 l\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 @\OML/cmm/m/it/10 z\OT1/cmr/m/n/10 ))) \OMS/cmsy/m/n/1 0 ) 8\OML/cmm/m/it/10 x[][] a \OMS/cmsy/m/n/10 ! []\OML/cmm/m/it/10 ; [][] a[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 9[][] \OML/cmm/m/it/10 a[] \OT1/cmr/m/n/10 ( \OMS/cmsy/m/n/10 8[][][] \OML/cmm/m/it/10 a[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[][] a \OMS/cmsy/m/n/10 ! [] Overfull \hbox (88.74167pt too wide) in paragraph at lines 383--384 [][] \OT1/cmr/m/n/10 ((\OML/cmm/m/it/10 x[]\OT1/cmr/m/n/10 @[][]\OMS/cmsy/m/n/1 0 8[][][] \OML/cmm/m/it/10 a[] \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 l\OT1/cmr/m/n/10 @[][])))) \OMS/cmsy/m/n/10 ) 9[][ ] \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 r\OT1/cmr/m/n/10 @[]) = [][])) \OMS/cmsy/m/n/10 ) \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 p\OT1/cmr/m/n/10 @[]@[])) \OMS/cmsy/m/n/10 ([]) [] Overfull \hbox (9.18578pt too wide) in paragraph at lines 383--384 \OMS/cmsy/m/n/10 9[][] \OML/cmm/m/it/10 a[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8 [][][] \OML/cmm/m/it/10 a[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[][] a \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 a[] \OT1/cmr/m/n/10 ((\O ML/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 l\OT1/cmr/m/n/10 @[][])) )) \OMS/cmsy/m/n/10 ) 9[][] \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 r\OT1/cmr/m/n/10 @[]) = [] Overfull \hbox (10.22182pt too wide) in paragraph at lines 383--384 [][]\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 a[] \OT1/c mr/m/n/10 (\OMS/cmsy/m/n/10 8[][][] \OML/cmm/m/it/10 a[] \OT1/cmr/m/n/10 (\OMS/ cmsy/m/n/10 8\OML/cmm/m/it/10 x[][] a \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 a[] \OT1/cmr/m/n/10 ((\OML/cmm/m/it/10 x[]\OT1/cmr/m/n/10 @[][]) \OMS/c msy/m/n/10 ) \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]\OT1/cmr/m/n/10 @(\OML/cmm/m /it/10 l\OT1/cmr/m/n/10 @[][])))) \OMS/cmsy/m/n/10 ) [] [3] Overfull \hbox (53.7887pt too wide) in paragraph at lines 411--412 \OML/cmm/m/it/10 h\OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 w; x\OT1/cmr/m/n/10 )) = [][](\OML/cmm/m/it/10 h\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 w\OT1/cmr/m/n/10 )\ OML/cmm/m/it/10 ; h\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\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 y\OT 1/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 z\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) \OML/cmm/m/it/10 j\OT 1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 y; z\OT1/cmr/m/n/10 )) = [][](\OML/cmm/m/it /10 j\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 y\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; j\O T1/cmr/m/n/10 (\OML/cmm/m/it/10 z\OT1/cmr/m/n/10 ))))[]\OMS/cmsy/m/n/10 8\OML/c mm/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 ) [] Overfull \hbox (6.32597pt too wide) in paragraph at lines 430--431 []$\OT1/cmr/m/n/10 (([]@[]) = [][]([]@[]) = [][]\OMS/cmsy/m/n/10 8[][] \OML/cmm /m/it/10 a; [][] a[] \OT1/cmr/m/n/10 ([]@([]@[]@[])) = [][]\OMS/cmsy/m/n/10 8[] [] \OML/cmm/m/it/10 a; [][] a[] \OT1/cmr/m/n/10 ([]@([]@[]@[])) = [] Overfull \hbox (3.33255pt too wide) in paragraph at lines 430--431 [][]\OMS/cmsy/m/n/10 8[][] \OML/cmm/m/it/10 a[] \OT1/cmr/m/n/10 ([] \OMS/cmsy/m /n/10 6\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 x[] a \OMS/cmsy/m/n/10 ! [] [] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 9[][] \OML/cmm/m/it/10 a[] \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/1 0 a[] \OT1/cmr/m/n/10 ((\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 @[]) \OMS/cmsy/m/n/1 0 ) [] Overfull \hbox (45.57596pt too wide) in paragraph at lines 430--431 \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 a[] \OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[][] a \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 a[] \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 a[] \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]\OT1/cmr/m/n/10 @[][]([]@[]) = [] [4] Overfull \hbox (114.82144pt too wide) in paragraph at lines 514--515 []$\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x[]; x[]\OT1/cmr/m/n/10 )[][](\OML/cmm/ m/it/10 x[]; x[]\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x[]; x[]\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x[]; x[]\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 t\OT 1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[]; x[]; x[]; x[]\OT1/cmr/m/n/10 )\OML/cmm /m/it/10 ; t\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[]; x[]; x[]; x[]\OT1/cmr/m /n/10 )) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Underfull \vbox (badness 10000) has occurred while \output is active [] [5] Overfull \hbox (46.70114pt too wide) in paragraph at lines 703--704 []$\OT1/cmr/m/n/10 (([]@[]) = [][]([]@[]) = [][]\OMS/cmsy/m/n/10 8[][][] \OML/c mm/m/it/10 a; [][][] a[] \OT1/cmr/m/n/10 ([]@([]@[][]@[][])) = [][][]\OMS/cmsy/ m/n/10 8[][][] \OML/cmm/m/it/10 a; [][][] a[] \OT1/cmr/m/n/10 ([]@([]@[][]@[][] )) = [] Overfull \hbox (125.28021pt too wide) in paragraph at lines 703--704 [][][]\OMS/cmsy/m/n/10 8[][] \OML/cmm/m/it/10 a[] \OT1/cmr/m/n/10 ([] \OMS/cmsy /m/n/10 6\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 u \OT 1/cmr/m/n/10 = ([]@\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 @\OML/cmm/m/it/10 y\OT1/cm r/m/n/10 ) \OMS/cmsy/m/n/10 ) \OML/cmm/m/it/10 u \OMS/cmsy/m/n/10 6\OT1/cmr/m /n/10 = []) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (121.8331pt too wide) in paragraph at lines 724--725 []$\OMS/cmsy/m/n/10 8[][] \OML/cmm/m/it/10 a \OMS/cmsy/m/n/10 ! \OML/cmm/m/it/1 0 b; [][] a \OMS/cmsy/m/n/10 ! \OML/cmm/m/it/10 c; [][] b \OMS/cmsy/m/n/10 ! \O ML/cmm/m/it/10 c[] \OT1/cmr/m/n/10 ((\OMS/cmsy/m/n/10 8[][] \OML/cmm/m/it/10 a[ ] \OT1/cmr/m/n/10 ([]@([]@[])) = ([]@[])[]\OMS/cmsy/m/n/10 8[][] \OML/cmm/m/it/ 10 b[] \OMS/cmsy/m/n/10 9[][] \OML/cmm/m/it/10 a[] \OT1/cmr/m/n/10 ([]@[]) = [] []\OMS/cmsy/m/n/10 8[][] \OML/cmm/m/it/10 a; [][] a[] \OT1/cmr/m/n/10 ([]@([]@[ ]@[])) = [] Overfull \hbox (129.90492pt too wide) in paragraph at lines 724--725 \OT1/cmr/m/n/10 ([]@([]@[])@([]@[]))[]\OMS/cmsy/m/n/10 8[][] \OML/cmm/m/it/10 a ; [][] a[] \OT1/cmr/m/n/10 ([]@([]@[]@[])) = ([]@([]@[])@([]@[]))) \OMS/cmsy/m /n/10 ) 8[][] \OML/cmm/m/it/10 b; [][] b[] \OT1/cmr/m/n/10 ([]@([]@[]@[])) = [] [6] Overfull \hbox (44.63393pt too wide) in paragraph at lines 826--827 []$\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 u[] \OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/1 0 u\OT1/cmr/m/n/10 )[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 v[] \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 w\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) \OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 v; w\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/ 10 6\OT1/cmr/m/n/10 = \OML/cmm/m/it/10 u[]\OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/1 0 v; u\OT1/cmr/m/n/10 ) = \OML/cmm/m/it/10 w[]u \OMS/cmsy/m/n/10 6\OT1/cmr/m/n/ 10 = [][]))))) []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (52.96724pt too wide) in paragraph at lines 828--829 []$\OMS/cmsy/m/n/10 : 9\OML/cmm/m/it/10 u[] \OT1/cmr/m/n/10 ([][](\OML/cmm/m/it /10 u\OT1/cmr/m/n/10 )[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 v[] \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/1 0 w[] \OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 w\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/ 10 ) \OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 v; w\OT1/cmr/m/n/10 ) \OMS/cmsy/m/ n/10 6\OT1/cmr/m/n/10 = \OML/cmm/m/it/10 u[]\OT1/cmr/m/n/10 ([][](\OML/cmm/m/it /10 v; u\OT1/cmr/m/n/10 ) = \OML/cmm/m/it/10 w[]u \OMS/cmsy/m/n/10 6\OT1/cmr/m/ n/10 = [][]))))) []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (53.7887pt too wide) in paragraph at lines 830--831 \OML/cmm/m/it/10 h\OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 w; x\OT1/cmr/m/n/10 )) = [][](\OML/cmm/m/it/10 h\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 w\OT1/cmr/m/n/10 )\ OML/cmm/m/it/10 ; h\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\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 y\OT 1/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 z\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) \OML/cmm/m/it/10 j\OT 1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 y; z\OT1/cmr/m/n/10 )) = [][](\OML/cmm/m/it /10 j\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 y\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; j\O T1/cmr/m/n/10 (\OML/cmm/m/it/10 z\OT1/cmr/m/n/10 ))))[]\OMS/cmsy/m/n/10 8\OML/c mm/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 ) [] Overfull \hbox (114.82144pt too wide) in paragraph at lines 888--889 []$\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x[]; x[]\OT1/cmr/m/n/10 )[][](\OML/cmm/ m/it/10 x[]; x[]\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x[]; x[]\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x[]; x[]\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 t\OT 1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[]; x[]; x[]; x[]\OT1/cmr/m/n/10 )\OML/cmm /m/it/10 ; t\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[]; x[]; x[]; x[]\OT1/cmr/m /n/10 )) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] [7] Overfull \hbox (38.75137pt too wide) in paragraph at lines 1016--1017 []$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 s; t; v[] \OT1/cmr/m/n/10 (([](\OML/cmm/m /it/10 s; v\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 t; v\OT1/cmr/m/n/10 )) \OMS/ cmsy/m/n/10 ) 9\OML/cmm/m/it/10 u[] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 u; t\ OT1/cmr/m/n/10 )[][]([](\OML/cmm/m/it/10 s; u\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; v\OT1/cmr/m/n/10 ))) []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (139.34161pt too wide) in paragraph at lines 1022--1023 []$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 w; v; e[] \OT1/cmr/m/n/10 (([](\OML/cmm/m /it/10 w; v\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 e; []\OT1/cmr/m/n/10 (\OML/cm m/m/it/10 w\OT1/cmr/m/n/10 ))) \OMS/cmsy/m/n/10 ) \OT1/cmr/m/n/10 ([](\OML/cm m/m/it/10 e; w\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ([]) []\OT1/cmr/m/n/10 (\OML /cmm/m/it/10 e; v\OT1/cmr/m/n/10 ))) []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/1 0 )$ [] Overfull \hbox (102.95215pt too wide) in paragraph at lines 1024--1025 []$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 w; v[] \OT1/cmr/m/n/10 (([](\OML/cmm/m/it /10 w; v\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 v\OT1/cmr/m/n/10 )) \OMS/cmsy/m /n/10 ) 9\OML/cmm/m/it/10 e; f[] \OT1/cmr/m/n/10 ([]([](\OML/cmm/m/it/10 e; f\ OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; v\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 e; w \OT1/cmr/m/n/10 ))) []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] [8] Overfull \hbox (15.66211pt too wide) in paragraph at lines 1035--1036 [][] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 9[][] \OML/cmm/m/it/10 a[] \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 a[] \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 l\ 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 z\OT1/cmr/m/n/10 ))) \OMS/cmsy/m/n/10 ) 8\O ML/cmm/m/it/10 x[] a \OMS/cmsy/m/n/10 ! []\OML/cmm/m/it/10 ; [][] a[] \OT1/cmr/ m/n/10 (\OMS/cmsy/m/n/10 9[][] \OML/cmm/m/it/10 a[] \OT1/cmr/m/n/10 (\OMS/cmsy/ m/n/10 8[][][] \OML/cmm/m/it/10 a[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8\OML/cmm /m/it/10 x[][] a \OMS/cmsy/m/n/10 ! [] Overfull \hbox (84.51253pt too wide) in paragraph at lines 1035--1036 [][] \OT1/cmr/m/n/10 ((\OML/cmm/m/it/10 x[]\OT1/cmr/m/n/10 @[][]\OMS/cmsy/m/n/1 0 8[][][] \OML/cmm/m/it/10 a[] \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 l\OT1/cmr/m/n/10 @[][])))) \OMS/cmsy/m/n/10 ) 9[][ ] \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 r\OT1/cmr/m/n/10 @[]) = [][])) \OMS/cmsy/m/n/10 ) \OT1/cm r/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 p\OT1/cmr/m/n/10 @[]@[])) \OMS/cmsy/m/n/10 ([]) [] Overfull \hbox (5.19965pt too wide) in paragraph at lines 1035--1036 \OMS/cmsy/m/n/10 9[][] \OML/cmm/m/it/10 a[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8 [][][] \OML/cmm/m/it/10 a[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[][] a \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 a[] \OT1/cmr/m/n/10 ((\O ML/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 l\OT1/cmr/m/n/10 @[][])) )) \OMS/cmsy/m/n/10 ) 9[][] \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 r\OT1/cmr/m/n/10 @[]) = [] Overfull \hbox (53.7887pt too wide) in paragraph at lines 1093--1094 \OML/cmm/m/it/10 h\OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 w; x\OT1/cmr/m/n/10 )) = [][](\OML/cmm/m/it/10 h\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 w\OT1/cmr/m/n/10 )\ OML/cmm/m/it/10 ; h\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\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 y\OT 1/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 z\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) \OML/cmm/m/it/10 j\OT 1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 y; z\OT1/cmr/m/n/10 )) = [][](\OML/cmm/m/it /10 j\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 y\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; j\O T1/cmr/m/n/10 (\OML/cmm/m/it/10 z\OT1/cmr/m/n/10 ))))[]\OMS/cmsy/m/n/10 8\OML/c mm/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] Overfull \hbox (90.73846pt too wide) in paragraph at lines 1190--1191 []$\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][] []\OML/cmm/m/it/10 ; [][] []; [][] [ ][] \OT1/cmr/m/n/10 ([]@([]@[]@[])@[]) = ([]@[]@([]@[]@[]))[]\OMS/cmsy/m/n/10 8 [][] [][] \OT1/cmr/m/n/10 ([]@[]@[]) = [][]\OMS/cmsy/m/n/10 8[][] [][] \OT1/cmr /m/n/10 ([]@([]@[])@[]) = [] Overfull \hbox (6.32597pt too wide) in paragraph at lines 1211--1212 []$\OT1/cmr/m/n/10 (([]@[]) = [][]([]@[]) = [][]\OMS/cmsy/m/n/10 8[][] \OML/cmm /m/it/10 a; [][] a[] \OT1/cmr/m/n/10 ([]@([]@[]@[])) = [][]\OMS/cmsy/m/n/10 8[] [] \OML/cmm/m/it/10 a; [][] a[] \OT1/cmr/m/n/10 ([]@([]@[]@[])) = [] Overfull \hbox (104.3198pt too wide) in paragraph at lines 1211--1212 [][]\OMS/cmsy/m/n/10 8[][][] \OML/cmm/m/it/10 a[] \OT1/cmr/m/n/10 ([][] \OMS/cm sy/m/n/10 6\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 (\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] a \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 a; [][] a[] \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 ) [] Overfull \hbox (124.15816pt too wide) in paragraph at lines 1211--1212 \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 ) 8[][] \OML/cmm/m/it/10 a[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8\OML/cmm/m /it/10 x[] a \OMS/cmsy/m/n/10 ! [][] \OT1/cmr/m/n/10 ((\OML/cmm/m/it/10 x\OT1/c mr/m/n/10 @[][]\OMS/cmsy/m/n/10 8[][] \OML/cmm/m/it/10 a[] \OT1/cmr/m/n/10 ((\O ML/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 ) [] Overfull \hbox (124.00885pt too wide) in paragraph at lines 1211--1212 \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 a[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 9[][][] \OML/cmm/m/ it/10 a; [][][] a[] \OT1/cmr/m/n/10 (([]@[]@[]) = ([]@[][]@[][])[]\OMS/cmsy/m/n /10 8\OML/cmm/m/it/10 x[] a \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 t\OT1/cmr/m/n/10 )[]\OMS/cmsy /m/n/10 8[][] \OML/cmm/m/it/10 a; [][] a[] \OT1/cmr/m/n/10 ((\OML/cmm/m/it/10 x \OT1/cmr/m/n/10 @([]@[]@[])) \OMS/cmsy/m/n/10 ) [] Overfull \hbox (77.55972pt too wide) in paragraph at lines 1211--1212 \OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] a \OMS/cmsy/m/n/10 ! [][] \OT1/cmr/m/n/1 0 ((\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 @[][]\OMS/cmsy/m/n/10 8[][] \OML/cmm/m/it /10 a; [][] a[] \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 @([]@[]@[])))) \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 (29.68256pt too wide) in paragraph at lines 1224--1225 []$\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x[]; x[]\OT1/cmr/m/n/10 )[][](\OML/cmm/ m/it/10 x[]; x[]\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x[]; x[]\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x[]; x[]\OT1/cmr/m/n/10 )) \OMS/cmsy/m/n/10 ) []\OT1/c mr/m/n/10 (\OML/cmm/m/it/10 t\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[]; x[]; x []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; t\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x []; x[]; x[]\OT1/cmr/m/n/10 )) []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] [10] Overfull \hbox (114.82144pt too wide) in paragraph at lines 1407--1408 []$\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x[]; x[]\OT1/cmr/m/n/10 )[][](\OML/cmm/ m/it/10 x[]; x[]\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x[]; x[]\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x[]; x[]\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 t\OT 1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[]; x[]; x[]; x[]\OT1/cmr/m/n/10 )\OML/cmm /m/it/10 ; t\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[]; x[]; x[]; x[]\OT1/cmr/m /n/10 )) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] [11] [12] Overfull \hbox (102.72565pt too wide) in paragraph at lines 1549--1550 []$[] \OT1/cmr/m/n/10 = (\OML/cmm/m/it/10 ^^U[][] g \OMS/cmsy/m/n/10 ! \OML/cmm /m/it/10 g \OMS/cmsy/m/n/10 ! \OML/cmm/m/it/10 g[] \OMS/cmsy/m/n/10 8[][] \OML/ cmm/m/it/10 g; [][] g; [][] g[] \OT1/cmr/m/n/10 ([]@([]@[]@[])@[]) = ([]@[]@([] @[]@[]))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (113.00316pt too wide) in paragraph at lines 1553--1554 []$[] \OT1/cmr/m/n/10 = (\OML/cmm/m/it/10 ^^U[][] g \OMS/cmsy/m/n/10 ! \OML/cmm /m/it/10 g \OMS/cmsy/m/n/10 ! \OML/cmm/m/it/10 g; [][] g[] \OMS/cmsy/m/n/10 8[] [] \OML/cmm/m/it/10 g[] \OMS/cmsy/m/n/10 9[][] \OML/cmm/m/it/10 g[] \OT1/cmr/m/ n/10 (([]@[]@[]) = [][]([]@[]@[]) = [])) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n /10 )$ [] Overfull \hbox (40.65244pt too wide) in paragraph at lines 1555--1556 []$[] \OT1/cmr/m/n/10 = (\OML/cmm/m/it/10 ^^U[][] g \OMS/cmsy/m/n/10 ! \OML/cmm /m/it/10 g \OMS/cmsy/m/n/10 ! \OML/cmm/m/it/10 g; [][] g[] \OMS/cmsy/m/n/10 8[] [] \OML/cmm/m/it/10 g[] \OT1/cmr/m/n/10 (([]@[]@[]) = [][]([]@[]@[]) = [])) []( []\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (139.51335pt too wide) in paragraph at lines 1557--1558 []$[][] \OT1/cmr/m/n/10 = (\OML/cmm/m/it/10 ^^U[][] g \OMS/cmsy/m/n/10 ! \OML/c mm/m/it/10 g \OMS/cmsy/m/n/10 ! \OML/cmm/m/it/10 g; [][] g[] \OT1/cmr/m/n/10 ([ ]@[][][]@[]@[][][]@[]@[])) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (102.72565pt too wide) in paragraph at lines 1584--1585 []$[] \OT1/cmr/m/n/10 = (\OML/cmm/m/it/10 ^^U[][] g \OMS/cmsy/m/n/10 ! \OML/cmm /m/it/10 g \OMS/cmsy/m/n/10 ! \OML/cmm/m/it/10 g[] \OMS/cmsy/m/n/10 8[][] \OML/ cmm/m/it/10 g; [][] g; [][] g[] \OT1/cmr/m/n/10 ([]@([]@[]@[])@[]) = ([]@[]@([] @[]@[]))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (80.89752pt too wide) in paragraph at lines 1588--1589 []$[] \OT1/cmr/m/n/10 = (\OML/cmm/m/it/10 ^^U[][] g \OMS/cmsy/m/n/10 ! \OML/cmm /m/it/10 g \OMS/cmsy/m/n/10 ! \OML/cmm/m/it/10 g; [][] g[] \OMS/cmsy/m/n/10 8[] [] \OML/cmm/m/it/10 g[] \OMS/cmsy/m/n/10 9[][] \OML/cmm/m/it/10 g[] \OT1/cmr/m/ n/10 ([]@[]@[]) = []) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (9.10236pt too wide) in paragraph at lines 1590--1591 []$[] \OT1/cmr/m/n/10 = (\OML/cmm/m/it/10 ^^U[][] g \OMS/cmsy/m/n/10 ! \OML/cmm /m/it/10 g \OMS/cmsy/m/n/10 ! \OML/cmm/m/it/10 g; [][] g[] \OMS/cmsy/m/n/10 8[] [] \OML/cmm/m/it/10 g[] \OT1/cmr/m/n/10 ([]@[]@[]) = []) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (213.79677pt too wide) in paragraph at lines 1592--1593 []$[][] \OT1/cmr/m/n/10 = (\OML/cmm/m/it/10 ^^U[][] g \OMS/cmsy/m/n/10 ! \OML/c mm/m/it/10 g \OMS/cmsy/m/n/10 ! \OML/cmm/m/it/10 g; [][] g[] \OT1/cmr/m/n/10 ([ ]@[][][]@[]@[][][]@[]@[])) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (6.32597pt too wide) in paragraph at lines 1621--1622 []$\OT1/cmr/m/n/10 (([]@[]) = [][]([]@[]) = [][]\OMS/cmsy/m/n/10 8[][] \OML/cmm /m/it/10 a; [][] a[] \OT1/cmr/m/n/10 ([]@([]@[]@[])) = [][]\OMS/cmsy/m/n/10 8[] [] \OML/cmm/m/it/10 a; [][] a[] \OT1/cmr/m/n/10 ([]@([]@[]@[])) = [] Overfull \hbox (16.79094pt too wide) in paragraph at lines 1621--1622 [][]\OMS/cmsy/m/n/10 8[][] \OML/cmm/m/it/10 a[] \OT1/cmr/m/n/10 ([] \OMS/cmsy/m /n/10 6\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 x[][] a \OMS/cmsy/m/n/10 ! [][] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 9[][] \OML/cmm/m/it/10 a[] \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 a[] \OT1/cmr/m/n/10 ((\OML/cmm/m/it/10 x[]\OT1/cmr/m/n/10 @[]) \OMS/cmsy /m/n/10 ) [] Overfull \hbox (35.82994pt too wide) in paragraph at lines 1621--1622 \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 a[] \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 ([]@[][]))[] ([]@([]@[]@[])[][]@([]@[]@[])))) = [] Overfull \hbox (63.44614pt too wide) in paragraph at lines 1621--1622 \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 ^^U[][] a[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 9[][] \OML/cmm/m/it/10 a[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][][] \OML/cmm/ m/it/10 a[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[][] a \OMS/cm sy/m/n/10 ! [][] \OT1/cmr/m/n/10 ((\OML/cmm/m/it/10 x[]\OT1/cmr/m/n/10 @[][]\OM S/cmsy/m/n/10 8[][][] \OML/cmm/m/it/10 a[] \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 a [] \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]\OT1/cmr/m/n/10 @[][]([]@[]) = [] Overfull \hbox (1.6247pt too wide) in paragraph at lines 1621--1622 [][]\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 a[] \OT1/cmr/m/n/10 (\OMS/cmsy /m/n/10 8[][][] \OML/cmm/m/it/10 a[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8\OML/cm m/m/it/10 x[][] a \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 a[] \OT1/cmr/m/ n/10 ((\OML/cmm/m/it/10 x[]\OT1/cmr/m/n/10 @[][]) \OMS/cmsy/m/n/10 ) [] Overfull \hbox (103.76616pt too wide) in paragraph at lines 1621--1622 \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 a[] \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]\OT1/c mr/m/n/10 @[][]([]@[]) = [][])) \OMS/cmsy/m/n/10 ) \OT1/cmr/m/n/10 ([]@[][])) [][]@([]@[]@[])))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (102.72565pt too wide) in paragraph at lines 1646--1647 []$[] \OT1/cmr/m/n/10 = (\OML/cmm/m/it/10 ^^U[][] g \OMS/cmsy/m/n/10 ! \OML/cmm /m/it/10 g \OMS/cmsy/m/n/10 ! \OML/cmm/m/it/10 g[] \OMS/cmsy/m/n/10 8[][] \OML/ cmm/m/it/10 g; [][] g; [][] g[] \OT1/cmr/m/n/10 ([]@([]@[]@[])@[]) = ([]@[]@([] @[]@[]))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (113.00316pt too wide) in paragraph at lines 1648--1649 []$[] \OT1/cmr/m/n/10 = (\OML/cmm/m/it/10 ^^U[][] g \OMS/cmsy/m/n/10 ! \OML/cmm /m/it/10 g \OMS/cmsy/m/n/10 ! \OML/cmm/m/it/10 g; [][] g[] \OMS/cmsy/m/n/10 8[] [] \OML/cmm/m/it/10 g[] \OMS/cmsy/m/n/10 9[][] \OML/cmm/m/it/10 g[] \OT1/cmr/m/ n/10 (([]@[]@[]) = [][]([]@[]@[]) = [])) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n /10 )$ [] Overfull \hbox (67.42535pt too wide) in paragraph at lines 1650--1651 []$[] \OT1/cmr/m/n/10 = (\OML/cmm/m/it/10 ^^U[][] g \OMS/cmsy/m/n/10 ! \OML/cmm /m/it/10 g \OMS/cmsy/m/n/10 ! \OML/cmm/m/it/10 g; [][] g[] \OMS/cmsy/m/n/10 8[] [] \OML/cmm/m/it/10 g[] \OMS/cmsy/m/n/10 9[][] \OML/cmm/m/it/10 g[] \OT1/cmr/m/ n/10 ([]@[]@[]) = []) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (40.65244pt too wide) in paragraph at lines 1654--1655 []$[] \OT1/cmr/m/n/10 = (\OML/cmm/m/it/10 ^^U[][] g \OMS/cmsy/m/n/10 ! \OML/cmm /m/it/10 g \OMS/cmsy/m/n/10 ! \OML/cmm/m/it/10 g; [][] g[] \OMS/cmsy/m/n/10 8[] [] \OML/cmm/m/it/10 g[] \OT1/cmr/m/n/10 (([]@[]@[]) = [][]([]@[]@[]) = [])) []( []\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (139.51335pt too wide) in paragraph at lines 1656--1657 []$[][] \OT1/cmr/m/n/10 = (\OML/cmm/m/it/10 ^^U[][] g \OMS/cmsy/m/n/10 ! \OML/c mm/m/it/10 g \OMS/cmsy/m/n/10 ! \OML/cmm/m/it/10 g; [][] g[] \OT1/cmr/m/n/10 ([ ]@[][][]@[]@[][][]@[]@[])) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (200.3246pt too wide) in paragraph at lines 1658--1659 []$[][] \OT1/cmr/m/n/10 = (\OML/cmm/m/it/10 ^^U[][] g \OMS/cmsy/m/n/10 ! \OML/c mm/m/it/10 g \OMS/cmsy/m/n/10 ! \OML/cmm/m/it/10 g; [][] g[] \OT1/cmr/m/n/10 ([ ]@[][][]@[]@[][][]@[]@[])) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] [13] Overfull \hbox (46.70114pt too wide) in paragraph at lines 1687--1688 []$\OT1/cmr/m/n/10 (([]@[]) = [][]([]@[]) = [][]\OMS/cmsy/m/n/10 8[][][] \OML/c mm/m/it/10 a; [][][] a[] \OT1/cmr/m/n/10 ([]@([]@[][]@[][])) = [][][]\OMS/cmsy/ m/n/10 8[][][] \OML/cmm/m/it/10 a; [][][] a[] \OT1/cmr/m/n/10 ([]@([]@[][]@[][] )) = [] Overfull \hbox (114.82144pt too wide) in paragraph at lines 1725--1726 []$\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x[]; x[]\OT1/cmr/m/n/10 )[][](\OML/cmm/ m/it/10 x[]; x[]\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x[]; x[]\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x[]; x[]\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 t\OT 1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[]; x[]; x[]; x[]\OT1/cmr/m/n/10 )\OML/cmm /m/it/10 ; t\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[]; x[]; x[]; x[]\OT1/cmr/m /n/10 )) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] [14] Overfull \hbox (114.82144pt too wide) in paragraph at lines 1848--1849 []$\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x[]; x[]\OT1/cmr/m/n/10 )[][](\OML/cmm/ m/it/10 x[]; x[]\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x[]; x[]\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x[]; x[]\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 t\OT 1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[]; x[]; x[]; x[]\OT1/cmr/m/n/10 )\OML/cmm /m/it/10 ; t\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[]; x[]; x[]; x[]\OT1/cmr/m /n/10 )) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] [15] Overfull \hbox (11.59688pt too wide) in paragraph at lines 2030--2031 []$\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 r\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[ ]; x[]\OT1/cmr/m/n/10 )[]\OML/cmm/m/it/10 r\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[ ]; x[]; x[]\OT1/cmr/m/n/10 )[]\OML/cmm/m/it/10 r\OT1/cmr/m/n/10 (\OML/cmm/m/it/ 10 x[]; x[]; x[]\OT1/cmr/m/n/10 )) \OMS/cmsy/m/n/10 ) \OML/cmm/m/it/10 r\OT1/ cmr/m/n/10 (\OML/cmm/m/it/10 m\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[]; x[]\O T1/cmr/m/n/10 )\OML/cmm/m/it/10 ; m\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[]; x[]\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; m\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[]; x[]\OT1/cmr/m/n/10 )) []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (2.4302pt too wide) in paragraph at lines 2032--2033 []$\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 r\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[ ]; x[]\OT1/cmr/m/n/10 )[]\OML/cmm/m/it/10 r\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[ ]; x[]; x[]\OT1/cmr/m/n/10 )[]\OML/cmm/m/it/10 r\OT1/cmr/m/n/10 (\OML/cmm/m/it/ 10 x[]; x[]; x[]\OT1/cmr/m/n/10 )) \OMS/cmsy/m/n/10 ) \OML/cmm/m/it/10 r\OT1/ cmr/m/n/10 (\OML/cmm/m/it/10 u\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[]; x[]\O T1/cmr/m/n/10 )\OML/cmm/m/it/10 ; u\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[]; x[]\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; u\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[]; x[]\OT1/cmr/m/n/10 )) []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] [16] Overfull \hbox (135.59447pt too wide) in paragraph at lines 2034--2035 []$\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 r\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[ ]; x[]\OT1/cmr/m/n/10 )[]\OML/cmm/m/it/10 r\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[ ]; x[]; x[]\OT1/cmr/m/n/10 )[]\OML/cmm/m/it/10 r\OT1/cmr/m/n/10 (\OML/cmm/m/it/ 10 x[]; x[]; x[]\OT1/cmr/m/n/10 )[]\OML/cmm/m/it/10 r\OT1/cmr/m/n/10 (\OML/cmm/ m/it/10 x[]; x[]; x[]\OT1/cmr/m/n/10 )) \OMS/cmsy/m/n/10 ) \OML/cmm/m/it/10 r \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 v\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[]; x[]; x[]\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; v\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[]; x[]; x[]\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; v\OT1/cmr/m/n/10 (\OML/cm m/m/it/10 x[]; x[]; x[]; x[]\OT1/cmr/m/n/10 )) []([][]\OML/cmm/m/it/10 ; []\OT1 /cmr/m/n/10 )$ [] Overfull \hbox (102.72565pt too wide) in paragraph at lines 2067--2068 []$[] \OT1/cmr/m/n/10 = (\OML/cmm/m/it/10 ^^U[][] g \OMS/cmsy/m/n/10 ! \OML/cmm /m/it/10 g \OMS/cmsy/m/n/10 ! \OML/cmm/m/it/10 g[] \OMS/cmsy/m/n/10 8[][] \OML/ cmm/m/it/10 g; [][] g; [][] g[] \OT1/cmr/m/n/10 ([]@([]@[]@[])@[]) = ([]@[]@([] @[]@[]))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (67.42535pt too wide) in paragraph at lines 2069--2070 []$[] \OT1/cmr/m/n/10 = (\OML/cmm/m/it/10 ^^U[][] g \OMS/cmsy/m/n/10 ! \OML/cmm /m/it/10 g \OMS/cmsy/m/n/10 ! \OML/cmm/m/it/10 g; [][] g[] \OMS/cmsy/m/n/10 8[] [] \OML/cmm/m/it/10 g[] \OMS/cmsy/m/n/10 9[][] \OML/cmm/m/it/10 g[] \OT1/cmr/m/ n/10 ([]@[]@[]) = []) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (80.89752pt too wide) in paragraph at lines 2073--2074 []$[] \OT1/cmr/m/n/10 = (\OML/cmm/m/it/10 ^^U[][] g \OMS/cmsy/m/n/10 ! \OML/cmm /m/it/10 g \OMS/cmsy/m/n/10 ! \OML/cmm/m/it/10 g; [][] g[] \OMS/cmsy/m/n/10 8[] [] \OML/cmm/m/it/10 g[] \OMS/cmsy/m/n/10 9[][] \OML/cmm/m/it/10 g[] \OT1/cmr/m/ n/10 ([]@[]@[]) = []) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (9.10236pt too wide) in paragraph at lines 2075--2076 []$[] \OT1/cmr/m/n/10 = (\OML/cmm/m/it/10 ^^U[][] g \OMS/cmsy/m/n/10 ! \OML/cmm /m/it/10 g \OMS/cmsy/m/n/10 ! \OML/cmm/m/it/10 g; [][] g[] \OMS/cmsy/m/n/10 8[] [] \OML/cmm/m/it/10 g[] \OT1/cmr/m/n/10 ([]@[]@[]) = []) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (200.3246pt too wide) in paragraph at lines 2077--2078 []$[][] \OT1/cmr/m/n/10 = (\OML/cmm/m/it/10 ^^U[][] g \OMS/cmsy/m/n/10 ! \OML/c mm/m/it/10 g \OMS/cmsy/m/n/10 ! \OML/cmm/m/it/10 g; [][] g[] \OT1/cmr/m/n/10 ([ ]@[][][]@[]@[][][]@[]@[])) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (213.79677pt too wide) in paragraph at lines 2079--2080 []$[][] \OT1/cmr/m/n/10 = (\OML/cmm/m/it/10 ^^U[][] g \OMS/cmsy/m/n/10 ! \OML/c mm/m/it/10 g \OMS/cmsy/m/n/10 ! \OML/cmm/m/it/10 g; [][] g[] \OT1/cmr/m/n/10 ([ ]@[][][]@[]@[][][]@[]@[])) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (53.7887pt too wide) in paragraph at lines 2109--2110 \OML/cmm/m/it/10 h\OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 w; x\OT1/cmr/m/n/10 )) = [][](\OML/cmm/m/it/10 h\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 w\OT1/cmr/m/n/10 )\ OML/cmm/m/it/10 ; h\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\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 y\OT 1/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 z\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) \OML/cmm/m/it/10 j\OT 1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 y; z\OT1/cmr/m/n/10 )) = [][](\OML/cmm/m/it /10 j\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 y\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; j\O T1/cmr/m/n/10 (\OML/cmm/m/it/10 z\OT1/cmr/m/n/10 ))))[]\OMS/cmsy/m/n/10 8\OML/c mm/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 ) [] Overfull \hbox (53.7887pt too wide) in paragraph at lines 2126--2127 \OML/cmm/m/it/10 h\OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 w; x\OT1/cmr/m/n/10 )) = [][](\OML/cmm/m/it/10 h\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 w\OT1/cmr/m/n/10 )\ OML/cmm/m/it/10 ; h\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\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 y\OT 1/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 z\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) \OML/cmm/m/it/10 j\OT 1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 y; z\OT1/cmr/m/n/10 )) = [][](\OML/cmm/m/it /10 j\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 y\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; j\O T1/cmr/m/n/10 (\OML/cmm/m/it/10 z\OT1/cmr/m/n/10 ))))[]\OMS/cmsy/m/n/10 8\OML/c mm/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 ) [] [17] Overfull \hbox (78.2789pt too wide) in paragraph at lines 2242--2243 []$\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][] \OML/cmm/m/it/10 a; [][] a; [][] a[] \OT1/cmr/m/n/10 ([]@([]@[]@[])@[]) = ([]@[]@([]@[]@[]))[]\OMS/cmsy/m/n/10 8[][ ] \OML/cmm/m/it/10 a[] \OT1/cmr/m/n/10 ([]@[]@[]) = [][]\OMS/cmsy/m/n/10 8[][] \OML/cmm/m/it/10 a[] \OT1/cmr/m/n/10 ([]@([]@[])@[]) = [] Overfull \hbox (114.82144pt too wide) in paragraph at lines 2261--2262 []$\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x[]; x[]\OT1/cmr/m/n/10 )[][](\OML/cmm/ m/it/10 x[]; x[]\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x[]; x[]\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x[]; x[]\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 t\OT 1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[]; x[]; x[]; x[]\OT1/cmr/m/n/10 )\OML/cmm /m/it/10 ; t\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[]; x[]; x[]; x[]\OT1/cmr/m /n/10 )) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] [18] Overfull \hbox (125.59312pt too wide) in paragraph at lines 2381--2382 \OT1/cmr/m/n/10 ([][]@([][]@[])@([][]@[]))[]\OMS/cmsy/m/n/10 8[][] \OML/cmm/m/i t/10 b; [][] b[] \OT1/cmr/m/n/10 ([][]@([][]@[]@[])) = ([][]@([][]@[])@([][]@[] ))) \OMS/cmsy/m/n/10 ) 8[][] \OML/cmm/m/it/10 g; [][] g[] \OT1/cmr/m/n/10 ([] []@([][]@([][]@[]@[]))) = [] Overfull \hbox (90.73846pt too wide) in paragraph at lines 2407--2408 []$\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][] []\OML/cmm/m/it/10 ; [][] []; [][] [ ][] \OT1/cmr/m/n/10 ([]@([]@[]@[])@[]) = ([]@[]@([]@[]@[]))[]\OMS/cmsy/m/n/10 8 [][] [][] \OT1/cmr/m/n/10 ([]@[]@[]) = [][]\OMS/cmsy/m/n/10 8[][] [][] \OT1/cmr /m/n/10 ([]@([]@[])@[]) = [] Overfull \hbox (114.82144pt too wide) in paragraph at lines 2426--2427 []$\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x[]; x[]\OT1/cmr/m/n/10 )[][](\OML/cmm/ m/it/10 x[]; x[]\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x[]; x[]\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x[]; x[]\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 t\OT 1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[]; x[]; x[]; x[]\OT1/cmr/m/n/10 )\OML/cmm /m/it/10 ; t\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[]; x[]; x[]; x[]\OT1/cmr/m /n/10 )) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] [19] Overfull \hbox (53.7887pt too wide) in paragraph at lines 2526--2527 \OML/cmm/m/it/10 h\OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 w; x\OT1/cmr/m/n/10 )) = [][](\OML/cmm/m/it/10 h\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 w\OT1/cmr/m/n/10 )\ OML/cmm/m/it/10 ; h\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\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 y\OT 1/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 z\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) \OML/cmm/m/it/10 j\OT 1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 y; z\OT1/cmr/m/n/10 )) = [][](\OML/cmm/m/it /10 j\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 y\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; j\O T1/cmr/m/n/10 (\OML/cmm/m/it/10 z\OT1/cmr/m/n/10 ))))[]\OMS/cmsy/m/n/10 8\OML/c mm/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 ) [] Overfull \hbox (53.7887pt too wide) in paragraph at lines 2543--2544 \OML/cmm/m/it/10 h\OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 w; x\OT1/cmr/m/n/10 )) = [][](\OML/cmm/m/it/10 h\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 w\OT1/cmr/m/n/10 )\ OML/cmm/m/it/10 ; h\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\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 y\OT 1/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 z\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) \OML/cmm/m/it/10 j\OT 1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 y; z\OT1/cmr/m/n/10 )) = [][](\OML/cmm/m/it /10 j\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 y\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; j\O T1/cmr/m/n/10 (\OML/cmm/m/it/10 z\OT1/cmr/m/n/10 ))))[]\OMS/cmsy/m/n/10 8\OML/c mm/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 ) [] Overfull \hbox (6.32597pt too wide) in paragraph at lines 2562--2563 []$\OT1/cmr/m/n/10 (([]@[]) = [][]([]@[]) = [][]\OMS/cmsy/m/n/10 8[][] \OML/cmm /m/it/10 a; [][] a[] \OT1/cmr/m/n/10 ([]@([]@[]@[])) = [][]\OMS/cmsy/m/n/10 8[] [] \OML/cmm/m/it/10 a; [][] a[] \OT1/cmr/m/n/10 ([]@([]@[]@[])) = [] Overfull \hbox (35.28488pt too wide) in paragraph at lines 2562--2563 [][]\OMS/cmsy/m/n/10 8[][] \OML/cmm/m/it/10 a[] \OT1/cmr/m/n/10 ([] \OMS/cmsy/m /n/10 6\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; [][] a[] \OT1/c mr/m/n/10 (\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] a \OMS/cmsy/m/n/10 ! [][] \OT 1/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 a[] \OT1/cmr/m/n/10 ((\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 @[]) \O MS/cmsy/m/n/10 ) [] Overfull \hbox (271.645pt too wide) in paragraph at lines 2562--2563 \OT1/cmr/m/n/10 ([]@[][]@[][])[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] a \OMS/c msy/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 a; [][] a[] \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 ) [] Overfull \hbox (191.0648pt too wide) in paragraph at lines 2562--2563 \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 @([]@[][]@[][]))))[]\OMS/cms y/m/n/10 8[][] \OML/cmm/m/it/10 a[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 9[][][] \ OML/cmm/m/it/10 a; [][][] a[] \OT1/cmr/m/n/10 (([]@[]@[]) = ([]@[][]@[][])[]\OM S/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] a \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 a; [][][] a[] \OT1/cmr/m/n/10 ((\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 @([] @[]@[][])) \OMS/cmsy/m/n/10 ) [] [20] Overfull \hbox (63.4468pt too wide) in paragraph at lines 2586--2587 []$\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 u[] \OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/1 0 u\OT1/cmr/m/n/10 )[]\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 v[] \OT1/cmr/m/n/10 ([ ][](\OML/cmm/m/it/10 v\OT1/cmr/m/n/10 )[][][](\OML/cmm/m/it/10 v; u\OT1/cmr/m/n /10 ) \OMS/cmsy/m/n/10 6\OT1/cmr/m/n/10 = [][](\OML/cmm/m/it/10 u; v\OT1/cmr/m/ n/10 )[][][]([][](\OML/cmm/m/it/10 u; v\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; v\OT 1/cmr/m/n/10 ) = \OML/cmm/m/it/10 u[][][]\OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 u; v\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; u\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 6\ OT1/cmr/m/n/10 = \OML/cmm/m/it/10 v\OT1/cmr/m/n/10 )) []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (71.7801pt too wide) in paragraph at lines 2588--2589 []$\OMS/cmsy/m/n/10 : 9\OML/cmm/m/it/10 u[] \OT1/cmr/m/n/10 ([][](\OML/cmm/m/it /10 u\OT1/cmr/m/n/10 )[]\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 v[] \OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 v\OT1/cmr/m/n/10 )[][][](\OML/cmm/m/it/10 v; u\OT1/cmr/m /n/10 ) \OMS/cmsy/m/n/10 6\OT1/cmr/m/n/10 = [][](\OML/cmm/m/it/10 u; v\OT1/cmr/ m/n/10 )[][][]([][](\OML/cmm/m/it/10 u; v\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; v\ OT1/cmr/m/n/10 ) = \OML/cmm/m/it/10 u[][][]\OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/ 10 u; v\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; u\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 6\OT1/cmr/m/n/10 = \OML/cmm/m/it/10 v\OT1/cmr/m/n/10 )) []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (53.7887pt too wide) in paragraph at lines 2590--2591 \OML/cmm/m/it/10 h\OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 w; x\OT1/cmr/m/n/10 )) = [][](\OML/cmm/m/it/10 h\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 w\OT1/cmr/m/n/10 )\ OML/cmm/m/it/10 ; h\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\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 y\OT 1/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 z\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) \OML/cmm/m/it/10 j\OT 1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 y; z\OT1/cmr/m/n/10 )) = [][](\OML/cmm/m/it /10 j\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 y\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; j\O T1/cmr/m/n/10 (\OML/cmm/m/it/10 z\OT1/cmr/m/n/10 ))))[]\OMS/cmsy/m/n/10 8\OML/c mm/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 ) [] Overfull \hbox (11.59688pt too wide) in paragraph at lines 2723--2724 []$\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 r\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[ ]; x[]\OT1/cmr/m/n/10 )[]\OML/cmm/m/it/10 r\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[ ]; x[]; x[]\OT1/cmr/m/n/10 )[]\OML/cmm/m/it/10 r\OT1/cmr/m/n/10 (\OML/cmm/m/it/ 10 x[]; x[]; x[]\OT1/cmr/m/n/10 )) \OMS/cmsy/m/n/10 ) \OML/cmm/m/it/10 r\OT1/ cmr/m/n/10 (\OML/cmm/m/it/10 m\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[]; x[]\O T1/cmr/m/n/10 )\OML/cmm/m/it/10 ; m\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[]; x[]\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; m\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[]; x[]\OT1/cmr/m/n/10 )) []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (2.4302pt too wide) in paragraph at lines 2725--2726 []$\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 r\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[ ]; x[]\OT1/cmr/m/n/10 )[]\OML/cmm/m/it/10 r\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[ ]; x[]; x[]\OT1/cmr/m/n/10 )[]\OML/cmm/m/it/10 r\OT1/cmr/m/n/10 (\OML/cmm/m/it/ 10 x[]; x[]; x[]\OT1/cmr/m/n/10 )) \OMS/cmsy/m/n/10 ) \OML/cmm/m/it/10 r\OT1/ cmr/m/n/10 (\OML/cmm/m/it/10 u\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[]; x[]\O T1/cmr/m/n/10 )\OML/cmm/m/it/10 ; u\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[]; x[]\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; u\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[]; x[]\OT1/cmr/m/n/10 )) []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] [21] Overfull \hbox (11.59688pt too wide) in paragraph at lines 2773--2774 []$\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 r\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[ ]; x[]\OT1/cmr/m/n/10 )[]\OML/cmm/m/it/10 r\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[ ]; x[]; x[]\OT1/cmr/m/n/10 )[]\OML/cmm/m/it/10 r\OT1/cmr/m/n/10 (\OML/cmm/m/it/ 10 x[]; x[]; x[]\OT1/cmr/m/n/10 )) \OMS/cmsy/m/n/10 ) \OML/cmm/m/it/10 r\OT1/ cmr/m/n/10 (\OML/cmm/m/it/10 m\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[]; x[]\O T1/cmr/m/n/10 )\OML/cmm/m/it/10 ; m\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[]; x[]\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; m\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[]; x[]\OT1/cmr/m/n/10 )) []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (135.59447pt too wide) in paragraph at lines 2777--2778 []$\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 r\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[ ]; x[]\OT1/cmr/m/n/10 )[]\OML/cmm/m/it/10 r\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[ ]; x[]; x[]\OT1/cmr/m/n/10 )[]\OML/cmm/m/it/10 r\OT1/cmr/m/n/10 (\OML/cmm/m/it/ 10 x[]; x[]; x[]\OT1/cmr/m/n/10 )[]\OML/cmm/m/it/10 r\OT1/cmr/m/n/10 (\OML/cmm/ m/it/10 x[]; x[]; x[]\OT1/cmr/m/n/10 )) \OMS/cmsy/m/n/10 ) \OML/cmm/m/it/10 r \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 v\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[]; x[]; x[]\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; v\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[]; x[]; x[]\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; v\OT1/cmr/m/n/10 (\OML/cm m/m/it/10 x[]; x[]; x[]; x[]\OT1/cmr/m/n/10 )) []([][]\OML/cmm/m/it/10 ; []\OT1 /cmr/m/n/10 )$ [] Overfull \hbox (53.7887pt too wide) in paragraph at lines 2835--2836 \OML/cmm/m/it/10 h\OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 w; x\OT1/cmr/m/n/10 )) = [][](\OML/cmm/m/it/10 h\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 w\OT1/cmr/m/n/10 )\ OML/cmm/m/it/10 ; h\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\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 y\OT 1/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 z\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) \OML/cmm/m/it/10 j\OT 1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 y; z\OT1/cmr/m/n/10 )) = [][](\OML/cmm/m/it /10 j\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 y\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; j\O T1/cmr/m/n/10 (\OML/cmm/m/it/10 z\OT1/cmr/m/n/10 ))))[]\OMS/cmsy/m/n/10 8\OML/c mm/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 ) [] Overfull \hbox (114.82144pt too wide) in paragraph at lines 2852--2853 []$\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x[]; x[]\OT1/cmr/m/n/10 )[][](\OML/cmm/ m/it/10 x[]; x[]\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x[]; x[]\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x[]; x[]\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 t\OT 1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[]; x[]; x[]; x[]\OT1/cmr/m/n/10 )\OML/cmm /m/it/10 ; t\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[]; x[]; x[]; x[]\OT1/cmr/m /n/10 )) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] [22] Overfull \hbox (53.7887pt too wide) in paragraph at lines 2941--2942 \OML/cmm/m/it/10 h\OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 w; x\OT1/cmr/m/n/10 )) = [][](\OML/cmm/m/it/10 h\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 w\OT1/cmr/m/n/10 )\ OML/cmm/m/it/10 ; h\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\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 y\OT 1/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 z\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) \OML/cmm/m/it/10 j\OT 1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 y; z\OT1/cmr/m/n/10 )) = [][](\OML/cmm/m/it /10 j\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 y\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; j\O T1/cmr/m/n/10 (\OML/cmm/m/it/10 z\OT1/cmr/m/n/10 ))))[]\OMS/cmsy/m/n/10 8\OML/c mm/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 ) [] [23] Overfull \hbox (6.32597pt too wide) in paragraph at lines 3024--3025 []$\OT1/cmr/m/n/10 (([]@[]) = [][]([]@[]) = [][]\OMS/cmsy/m/n/10 8[][] \OML/cmm /m/it/10 a; [][] a[] \OT1/cmr/m/n/10 ([]@([]@[]@[])) = [][]\OMS/cmsy/m/n/10 8[] [] \OML/cmm/m/it/10 a; [][] a[] \OT1/cmr/m/n/10 ([]@([]@[]@[])) = [] Overfull \hbox (8.3324pt too wide) in paragraph at lines 3024--3025 [][]\OMS/cmsy/m/n/10 8[][] \OML/cmm/m/it/10 a[] \OT1/cmr/m/n/10 ([] \OMS/cmsy/m /n/10 6\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 (\OMS/cmsy/m/n/10 8\OML/c mm/m/it/10 x[] a \OMS/cmsy/m/n/10 ! [][] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 9[][ ] \OML/cmm/m/it/10 a[] \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 a[] \OT1/cmr/m/n/10 ((\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 @[]) \OMS/cmsy/m/n/10 ) [] Overfull \hbox (10.33937pt too wide) in paragraph at lines 3024--3025 \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 @([]@[])))) \OMS/cmsy/m/n/1 0 ) \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 a[] \OMS/cmsy/m/n/10 9[][] \OML/cmm/m/it/10 a[] \ OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] a \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 a[] \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 (123.37013pt too wide) in paragraph at lines 3024--3025 \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 a[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 9[][] \OML/cmm/m/it/10 a; [][][] a[] \OT1/cmr/m/n/10 (([]@[]@[]) = ([]@[]@[][])[]\OMS/cmsy/m/n/10 8\O ML/cmm/m/it/10 x[] a \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 a; [][] a[] \OT1/cmr/m/n/10 ((\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 @([]@[]@[])) \OMS/cmsy /m/n/10 ) [] Overfull \hbox (21.2103pt too wide) in paragraph at lines 3037--3038 []$\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x[]; x[]\OT1/cmr/m/n/10 )[][](\OML/cmm/ m/it/10 x[]; x[]\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x[]; x[]\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x[]; x[]\OT1/cmr/m/n/10 )) \OMS/cmsy/m/n/10 ) []\OT1/c mr/m/n/10 (\OML/cmm/m/it/10 t\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[]; x[]; x []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; t\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x []; x[]; x[]\OT1/cmr/m/n/10 )) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] [24] Overfull \hbox (102.72565pt too wide) in paragraph at lines 3239--3240 []$[] \OT1/cmr/m/n/10 = (\OML/cmm/m/it/10 ^^U[][] g \OMS/cmsy/m/n/10 ! \OML/cmm /m/it/10 g \OMS/cmsy/m/n/10 ! \OML/cmm/m/it/10 g[] \OMS/cmsy/m/n/10 8[][] \OML/ cmm/m/it/10 g; [][] g; [][] g[] \OT1/cmr/m/n/10 ([]@([]@[]@[])@[]) = ([]@[]@([] @[]@[]))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (67.42535pt too wide) in paragraph at lines 3243--3244 []$[] \OT1/cmr/m/n/10 = (\OML/cmm/m/it/10 ^^U[][] g \OMS/cmsy/m/n/10 ! \OML/cmm /m/it/10 g \OMS/cmsy/m/n/10 ! \OML/cmm/m/it/10 g; [][] g[] \OMS/cmsy/m/n/10 8[] [] \OML/cmm/m/it/10 g[] \OMS/cmsy/m/n/10 9[][] \OML/cmm/m/it/10 g[] \OT1/cmr/m/ n/10 ([]@[]@[]) = []) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (200.3246pt too wide) in paragraph at lines 3247--3248 []$[][] \OT1/cmr/m/n/10 = (\OML/cmm/m/it/10 ^^U[][] g \OMS/cmsy/m/n/10 ! \OML/c mm/m/it/10 g \OMS/cmsy/m/n/10 ! \OML/cmm/m/it/10 g; [][] g[] \OT1/cmr/m/n/10 ([ ]@[][][]@[]@[][][]@[]@[])) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] [25] Overfull \hbox (114.82144pt too wide) in paragraph at lines 3270--3271 []$\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x[]; x[]\OT1/cmr/m/n/10 )[][](\OML/cmm/ m/it/10 x[]; x[]\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x[]; x[]\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x[]; x[]\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 t\OT 1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[]; x[]; x[]; x[]\OT1/cmr/m/n/10 )\OML/cmm /m/it/10 ; t\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[]; x[]; x[]; x[]\OT1/cmr/m /n/10 )) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] [26] Overfull \hbox (6.32597pt too wide) in paragraph at lines 3404--3405 []$\OT1/cmr/m/n/10 (([]@[]) = [][]([]@[]) = [][]\OMS/cmsy/m/n/10 8[][] \OML/cmm /m/it/10 a; [][] a[] \OT1/cmr/m/n/10 ([]@([]@[]@[])) = [][]\OMS/cmsy/m/n/10 8[] [] \OML/cmm/m/it/10 a; [][] a[] \OT1/cmr/m/n/10 ([]@([]@[]@[])) = [] Overfull \hbox (3.33255pt too wide) in paragraph at lines 3404--3405 [][]\OMS/cmsy/m/n/10 8[][] \OML/cmm/m/it/10 a[] \OT1/cmr/m/n/10 ([] \OMS/cmsy/m /n/10 6\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 x[] a \OMS/cmsy/m/n/10 ! [] [] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 9[][] \OML/cmm/m/it/10 a[] \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/1 0 a[] \OT1/cmr/m/n/10 ((\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 @[]) \OMS/cmsy/m/n/1 0 ) [] Overfull \hbox (16.39717pt too wide) in paragraph at lines 3404--3405 \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 @([]@[])))) \OMS/cmsy/m/n/1 0 ) \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 @[]))) \OMS/cmsy/m/n/1 0 ) 8\OML/cmm/m/it/10 x[] a \OMS/cmsy/m/n/10 ! []\OML/cmm/m/it/10 ; [][] a[] \ OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 9[][] \OML/cmm/m/it/10 a[] \OT1/cmr/m/n/10 (\O MS/cmsy/m/n/10 8[][][] \OML/cmm/m/it/10 a[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8 \OML/cmm/m/it/10 x[][] a \OMS/cmsy/m/n/10 ! [][] \OT1/cmr/m/n/10 ((\OML/cmm/m/i t/10 x[]\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 x[]\OT1/cmr/m/n/10 @[][]) \OMS/cmsy/m/n/10 ) [] Overfull \hbox (108.69322pt too wide) in paragraph at lines 3404--3405 \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 a[] \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]\OT1/c mr/m/n/10 @[][]([]@[]) = [][])) \OMS/cmsy/m/n/10 ) 9[][] \OML/cmm/m/it/10 a[] \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 a[] \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\OT1/cmr /m/n/10 @([]@([]@[]@[])@[][]))) \OMS/cmsy/m/n/10 ([]) [] Overfull \hbox (23.71585pt too wide) in paragraph at lines 3404--3405 \OMS/cmsy/m/n/10 9[][] \OML/cmm/m/it/10 a[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8 [][][] \OML/cmm/m/it/10 a[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[][] a \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 a[] \OT1/cmr/m/n/10 ((\O ML/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[][] \O ML/cmm/m/it/10 a[] \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]\OT1/cmr/m/n/10 @[][]([ ]@[]) = [] Overfull \hbox (13.24957pt too wide) in paragraph at lines 3404--3405 [][]\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 a[] \OT1/cmr /m/n/10 (\OMS/cmsy/m/n/10 8[][][] \OML/cmm/m/it/10 a[] \OT1/cmr/m/n/10 (\OMS/cm sy/m/n/10 8\OML/cmm/m/it/10 x[][] a \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/i t/10 a[] \OT1/cmr/m/n/10 ((\OML/cmm/m/it/10 x[]\OT1/cmr/m/n/10 @[][]) \OMS/cms y/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 (19.54105pt too wide) in paragraph at lines 3404--3405 \OMS/cmsy/m/n/10 9[][] \OML/cmm/m/it/10 a[] \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/i t/10 a[] \OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[][] a \OMS/cmsy/m/n/10 ! [][] \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 a[] \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 (16.23834pt too wide) in paragraph at lines 3404--3405 \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 a[] \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]\OT1/c mr/m/n/10 @[][]([]@[]) = ([]@([]@[][]@[])@[][])))))) []([]\OML/cmm/m/it/10 ; [] \OT1/cmr/m/n/10 )$ [] Overfull \hbox (78.2789pt too wide) in paragraph at lines 3436--3437 []$\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][] \OML/cmm/m/it/10 a; [][] a; [][] a[] \OT1/cmr/m/n/10 ([]@([]@[]@[])@[]) = ([]@[]@([]@[]@[]))[]\OMS/cmsy/m/n/10 8[][ ] \OML/cmm/m/it/10 a[] \OT1/cmr/m/n/10 ([]@[]@[]) = [][]\OMS/cmsy/m/n/10 8[][] \OML/cmm/m/it/10 a[] \OT1/cmr/m/n/10 ([]@([]@[])@[]) = [] Overfull \hbox (80.89752pt too wide) in paragraph at lines 3451--3452 []$[] \OT1/cmr/m/n/10 = (\OML/cmm/m/it/10 ^^U[][] g \OMS/cmsy/m/n/10 ! \OML/cmm /m/it/10 g \OMS/cmsy/m/n/10 ! \OML/cmm/m/it/10 g; [][] g[] \OMS/cmsy/m/n/10 8[] [] \OML/cmm/m/it/10 g[] \OMS/cmsy/m/n/10 9[][] \OML/cmm/m/it/10 g[] \OT1/cmr/m/ n/10 ([]@[]@[]) = []) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (9.10236pt too wide) in paragraph at lines 3453--3454 []$[] \OT1/cmr/m/n/10 = (\OML/cmm/m/it/10 ^^U[][] g \OMS/cmsy/m/n/10 ! \OML/cmm /m/it/10 g \OMS/cmsy/m/n/10 ! \OML/cmm/m/it/10 g; [][] g[] \OMS/cmsy/m/n/10 8[] [] \OML/cmm/m/it/10 g[] \OT1/cmr/m/n/10 ([]@[]@[]) = []) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (221.17645pt too wide) in paragraph at lines 3455--3456 []$\OMS/cmsy/m/n/10 8[][] \OML/cmm/m/it/10 g \OMS/cmsy/m/n/10 ! \OML/cmm/m/it/1 0 g \OMS/cmsy/m/n/10 ! \OML/cmm/m/it/10 g; [][] g[] \OT1/cmr/m/n/10 ((\OMS/cmsy /m/n/10 8[][] \OML/cmm/m/it/10 g; [][] g; [][] g[] \OT1/cmr/m/n/10 ([]@([]@[]@[ ])@[]) = ([]@[]@([]@[]@[]))[][]@[]@[][][]@[]@[]) \OMS/cmsy/m/n/10 ) [] Overfull \hbox (114.82144pt too wide) in paragraph at lines 3474--3475 []$\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x[]; x[]\OT1/cmr/m/n/10 )[][](\OML/cmm/ m/it/10 x[]; x[]\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x[]; x[]\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x[]; x[]\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 t\OT 1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[]; x[]; x[]; x[]\OT1/cmr/m/n/10 )\OML/cmm /m/it/10 ; t\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[]; x[]; x[]; x[]\OT1/cmr/m /n/10 )) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] [27] Underfull \vbox (badness 10000) has occurred while \output is active [] [28] Overfull \hbox (78.2789pt too wide) in paragraph at lines 3633--3634 []$\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][] \OML/cmm/m/it/10 a; [][] a; [][] a[] \OT1/cmr/m/n/10 ([]@([]@[]@[])@[]) = ([]@[]@([]@[]@[]))[]\OMS/cmsy/m/n/10 8[][ ] \OML/cmm/m/it/10 a[] \OT1/cmr/m/n/10 ([]@[]@[]) = [][]\OMS/cmsy/m/n/10 8[][] \OML/cmm/m/it/10 a[] \OT1/cmr/m/n/10 ([]@([]@[])@[]) = [] Overfull \hbox (136.06888pt too wide) in paragraph at lines 3657--3658 []$\OMS/cmsy/m/n/10 8[][] \OML/cmm/m/it/10 a; [][] a; [][] a[] \OT1/cmr/m/n/10 ([]@([]@[]@[])@[]) = ([]@[]@([]@[]@[])) \OMS/cmsy/m/n/10 ) 8\OML/cmm/m/it/10 w[] a; x[] a; y[] a; z[] a[] \OT1/cmr/m/n/10 ([]@([]@([]@\OML/cmm/m/it/10 w\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 z\OT1/cmr/m/n/10 ) = [] Overfull \hbox (53.7887pt too wide) in paragraph at lines 3674--3675 \OML/cmm/m/it/10 h\OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 w; x\OT1/cmr/m/n/10 )) = [][](\OML/cmm/m/it/10 h\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 w\OT1/cmr/m/n/10 )\ OML/cmm/m/it/10 ; h\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\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 y\OT 1/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 z\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) \OML/cmm/m/it/10 j\OT 1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 y; z\OT1/cmr/m/n/10 )) = [][](\OML/cmm/m/it /10 j\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 y\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; j\O T1/cmr/m/n/10 (\OML/cmm/m/it/10 z\OT1/cmr/m/n/10 ))))[]\OMS/cmsy/m/n/10 8\OML/c mm/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 ) [] Overfull \hbox (114.82144pt too wide) in paragraph at lines 3720--3721 []$\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x[]; x[]\OT1/cmr/m/n/10 )[][](\OML/cmm/ m/it/10 x[]; x[]\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x[]; x[]\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x[]; x[]\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 t\OT 1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[]; x[]; x[]; x[]\OT1/cmr/m/n/10 )\OML/cmm /m/it/10 ; t\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[]; x[]; x[]; x[]\OT1/cmr/m /n/10 )) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] [29] Overfull \hbox (53.7887pt too wide) in paragraph at lines 3863--3864 \OML/cmm/m/it/10 h\OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 w; x\OT1/cmr/m/n/10 )) = [][](\OML/cmm/m/it/10 h\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 w\OT1/cmr/m/n/10 )\ OML/cmm/m/it/10 ; h\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\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 y\OT 1/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 z\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) \OML/cmm/m/it/10 j\OT 1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 y; z\OT1/cmr/m/n/10 )) = [][](\OML/cmm/m/it /10 j\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 y\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; j\O T1/cmr/m/n/10 (\OML/cmm/m/it/10 z\OT1/cmr/m/n/10 ))))[]\OMS/cmsy/m/n/10 8\OML/c mm/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 ) [] [30] Overfull \hbox (102.72565pt too wide) in paragraph at lines 3919--3920 []$[] \OT1/cmr/m/n/10 = (\OML/cmm/m/it/10 ^^U[][] g \OMS/cmsy/m/n/10 ! \OML/cmm /m/it/10 g \OMS/cmsy/m/n/10 ! \OML/cmm/m/it/10 g[] \OMS/cmsy/m/n/10 8[][] \OML/ cmm/m/it/10 g; [][] g; [][] g[] \OT1/cmr/m/n/10 ([]@([]@[]@[])@[]) = ([]@[]@([] @[]@[]))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (67.42535pt too wide) in paragraph at lines 3921--3922 []$[] \OT1/cmr/m/n/10 = (\OML/cmm/m/it/10 ^^U[][] g \OMS/cmsy/m/n/10 ! \OML/cmm /m/it/10 g \OMS/cmsy/m/n/10 ! \OML/cmm/m/it/10 g; [][] g[] \OMS/cmsy/m/n/10 8[] [] \OML/cmm/m/it/10 g[] \OMS/cmsy/m/n/10 9[][] \OML/cmm/m/it/10 g[] \OT1/cmr/m/ n/10 ([]@[]@[]) = []) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (200.3246pt too wide) in paragraph at lines 3925--3926 []$[][] \OT1/cmr/m/n/10 = (\OML/cmm/m/it/10 ^^U[][] g \OMS/cmsy/m/n/10 ! \OML/c mm/m/it/10 g \OMS/cmsy/m/n/10 ! \OML/cmm/m/it/10 g; [][] g[] \OT1/cmr/m/n/10 ([ ]@[][][]@[]@[][][]@[]@[])) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (102.72565pt too wide) in paragraph at lines 3993--3994 []$[] \OT1/cmr/m/n/10 = (\OML/cmm/m/it/10 ^^U[][] g \OMS/cmsy/m/n/10 ! \OML/cmm /m/it/10 g \OMS/cmsy/m/n/10 ! \OML/cmm/m/it/10 g[] \OMS/cmsy/m/n/10 8[][] \OML/ cmm/m/it/10 g; [][] g; [][] g[] \OT1/cmr/m/n/10 ([]@([]@[]@[])@[]) = ([]@[]@([] @[]@[]))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (113.00316pt too wide) in paragraph at lines 3995--3996 []$[] \OT1/cmr/m/n/10 = (\OML/cmm/m/it/10 ^^U[][] g \OMS/cmsy/m/n/10 ! \OML/cmm /m/it/10 g \OMS/cmsy/m/n/10 ! \OML/cmm/m/it/10 g; [][] g[] \OMS/cmsy/m/n/10 8[] [] \OML/cmm/m/it/10 g[] \OMS/cmsy/m/n/10 9[][] \OML/cmm/m/it/10 g[] \OT1/cmr/m/ n/10 (([]@[]@[]) = [][]([]@[]@[]) = [])) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n /10 )$ [] Overfull \hbox (80.89752pt too wide) in paragraph at lines 3997--3998 []$[] \OT1/cmr/m/n/10 = (\OML/cmm/m/it/10 ^^U[][] g \OMS/cmsy/m/n/10 ! \OML/cmm /m/it/10 g \OMS/cmsy/m/n/10 ! \OML/cmm/m/it/10 g; [][] g[] \OMS/cmsy/m/n/10 8[] [] \OML/cmm/m/it/10 g[] \OMS/cmsy/m/n/10 9[][] \OML/cmm/m/it/10 g[] \OT1/cmr/m/ n/10 ([]@[]@[]) = []) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (9.10236pt too wide) in paragraph at lines 3999--4000 []$[] \OT1/cmr/m/n/10 = (\OML/cmm/m/it/10 ^^U[][] g \OMS/cmsy/m/n/10 ! \OML/cmm /m/it/10 g \OMS/cmsy/m/n/10 ! \OML/cmm/m/it/10 g; [][] g[] \OMS/cmsy/m/n/10 8[] [] \OML/cmm/m/it/10 g[] \OT1/cmr/m/n/10 ([]@[]@[]) = []) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (40.65244pt too wide) in paragraph at lines 4001--4002 []$[] \OT1/cmr/m/n/10 = (\OML/cmm/m/it/10 ^^U[][] g \OMS/cmsy/m/n/10 ! \OML/cmm /m/it/10 g \OMS/cmsy/m/n/10 ! \OML/cmm/m/it/10 g; [][] g[] \OMS/cmsy/m/n/10 8[] [] \OML/cmm/m/it/10 g[] \OT1/cmr/m/n/10 (([]@[]@[]) = [][]([]@[]@[]) = [])) []( []\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (139.51335pt too wide) in paragraph at lines 4003--4004 []$[][] \OT1/cmr/m/n/10 = (\OML/cmm/m/it/10 ^^U[][] g \OMS/cmsy/m/n/10 ! \OML/c mm/m/it/10 g \OMS/cmsy/m/n/10 ! \OML/cmm/m/it/10 g; [][] g[] \OT1/cmr/m/n/10 ([ ]@[][][]@[]@[][][]@[]@[])) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (213.79677pt too wide) in paragraph at lines 4005--4006 []$[][] \OT1/cmr/m/n/10 = (\OML/cmm/m/it/10 ^^U[][] g \OMS/cmsy/m/n/10 ! \OML/c mm/m/it/10 g \OMS/cmsy/m/n/10 ! \OML/cmm/m/it/10 g; [][] g[] \OT1/cmr/m/n/10 ([ ]@[][][]@[]@[][][]@[]@[])) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (53.7887pt too wide) in paragraph at lines 4024--4025 \OML/cmm/m/it/10 h\OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 w; x\OT1/cmr/m/n/10 )) = [][](\OML/cmm/m/it/10 h\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 w\OT1/cmr/m/n/10 )\ OML/cmm/m/it/10 ; h\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\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 y\OT 1/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 z\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) \OML/cmm/m/it/10 j\OT 1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 y; z\OT1/cmr/m/n/10 )) = [][](\OML/cmm/m/it /10 j\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 y\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; j\O T1/cmr/m/n/10 (\OML/cmm/m/it/10 z\OT1/cmr/m/n/10 ))))[]\OMS/cmsy/m/n/10 8\OML/c mm/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 ) [] [31] Overfull \hbox (114.82144pt too wide) in paragraph at lines 4097--4098 []$\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x[]; x[]\OT1/cmr/m/n/10 )[][](\OML/cmm/ m/it/10 x[]; x[]\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x[]; x[]\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x[]; x[]\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 t\OT 1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[]; x[]; x[]; x[]\OT1/cmr/m/n/10 )\OML/cmm /m/it/10 ; t\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[]; x[]; x[]; x[]\OT1/cmr/m /n/10 )) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] [32] Overfull \hbox (53.7887pt too wide) in paragraph at lines 4229--4230 \OML/cmm/m/it/10 h\OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 w; x\OT1/cmr/m/n/10 )) = [][](\OML/cmm/m/it/10 h\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 w\OT1/cmr/m/n/10 )\ OML/cmm/m/it/10 ; h\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\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 y\OT 1/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 z\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) \OML/cmm/m/it/10 j\OT 1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 y; z\OT1/cmr/m/n/10 )) = [][](\OML/cmm/m/it /10 j\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 y\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; j\O T1/cmr/m/n/10 (\OML/cmm/m/it/10 z\OT1/cmr/m/n/10 ))))[]\OMS/cmsy/m/n/10 8\OML/c mm/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 ) [] Overfull \hbox (102.72565pt too wide) in paragraph at lines 4248--4249 []$[] \OT1/cmr/m/n/10 = (\OML/cmm/m/it/10 ^^U[][] g \OMS/cmsy/m/n/10 ! \OML/cmm /m/it/10 g \OMS/cmsy/m/n/10 ! \OML/cmm/m/it/10 g[] \OMS/cmsy/m/n/10 8[][] \OML/ cmm/m/it/10 g; [][] g; [][] g[] \OT1/cmr/m/n/10 ([]@([]@[]@[])@[]) = ([]@[]@([] @[]@[]))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (80.89752pt too wide) in paragraph at lines 4250--4251 []$[] \OT1/cmr/m/n/10 = (\OML/cmm/m/it/10 ^^U[][] g \OMS/cmsy/m/n/10 ! \OML/cmm /m/it/10 g \OMS/cmsy/m/n/10 ! \OML/cmm/m/it/10 g; [][] g[] \OMS/cmsy/m/n/10 8[] [] \OML/cmm/m/it/10 g[] \OMS/cmsy/m/n/10 9[][] \OML/cmm/m/it/10 g[] \OT1/cmr/m/ n/10 ([]@[]@[]) = []) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (9.10236pt too wide) in paragraph at lines 4252--4253 []$[] \OT1/cmr/m/n/10 = (\OML/cmm/m/it/10 ^^U[][] g \OMS/cmsy/m/n/10 ! \OML/cmm /m/it/10 g \OMS/cmsy/m/n/10 ! \OML/cmm/m/it/10 g; [][] g[] \OMS/cmsy/m/n/10 8[] [] \OML/cmm/m/it/10 g[] \OT1/cmr/m/n/10 ([]@[]@[]) = []) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (213.79677pt too wide) in paragraph at lines 4254--4255 []$[][] \OT1/cmr/m/n/10 = (\OML/cmm/m/it/10 ^^U[][] g \OMS/cmsy/m/n/10 ! \OML/c mm/m/it/10 g \OMS/cmsy/m/n/10 ! \OML/cmm/m/it/10 g; [][] g[] \OT1/cmr/m/n/10 ([ ]@[][][]@[]@[][][]@[]@[])) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] Overfull \hbox (114.82144pt too wide) in paragraph at lines 4275--4276 []$\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x[]; x[]\OT1/cmr/m/n/10 )[][](\OML/cmm/ m/it/10 x[]; x[]\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x[]; x[]\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x[]; x[]\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 t\OT 1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[]; x[]; x[]; x[]\OT1/cmr/m/n/10 )\OML/cmm /m/it/10 ; t\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]; x[]; x[]; x[]; x[]\OT1/cmr/m /n/10 )) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ [] [33] Underfull \vbox (badness 10000) has occurred while \output is active [] [34] Overfull \hbox (53.7887pt too wide) in paragraph at lines 4443--4444 \OML/cmm/m/it/10 h\OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 w; x\OT1/cmr/m/n/10 )) = [][](\OML/cmm/m/it/10 h\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 w\OT1/cmr/m/n/10 )\ OML/cmm/m/it/10 ; h\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\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 y\OT 1/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 z\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) \OML/cmm/m/it/10 j\OT 1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 y; z\OT1/cmr/m/n/10 )) = [][](\OML/cmm/m/it /10 j\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 y\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; j\O T1/cmr/m/n/10 (\OML/cmm/m/it/10 z\OT1/cmr/m/n/10 ))))[]\OMS/cmsy/m/n/10 8\OML/c mm/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 ) [] Overfull \hbox (53.7887pt too wide) in paragraph at lines 4460--4461 \OML/cmm/m/it/10 h\OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 w; x\OT1/cmr/m/n/10 )) = [][](\OML/cmm/m/it/10 h\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 w\OT1/cmr/m/n/10 )\ OML/cmm/m/it/10 ; h\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\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 y\OT 1/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 z\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) \OML/cmm/m/it/10 j\OT 1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 y; z\OT1/cmr/m/n/10 )) = [][](\OML/cmm/m/it /10 j\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 y\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; j\O T1/cmr/m/n/10 (\OML/cmm/m/it/10 z\OT1/cmr/m/n/10 ))))[]\OMS/cmsy/m/n/10 8\OML/c mm/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 ) [] Overfull \hbox (53.7887pt too wide) in paragraph at lines 4477--4478 \OML/cmm/m/it/10 h\OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 w; x\OT1/cmr/m/n/10 )) = [][](\OML/cmm/m/it/10 h\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 w\OT1/cmr/m/n/10 )\ OML/cmm/m/it/10 ; h\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\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 y\OT 1/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 z\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ) \OML/cmm/m/it/10 j\OT 1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 y; z\OT1/cmr/m/n/10 )) = [][](\OML/cmm/m/it /10 j\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 y\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; j\O T1/cmr/m/n/10 (\OML/cmm/m/it/10 z\OT1/cmr/m/n/10 ))))[]\OMS/cmsy/m/n/10 8\OML/c mm/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 ) [] [35] (./ALG.aux) ) Here is how much of TeX's memory you used: 1574 strings out of 256214 16757 string characters out of 1916999 81304 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,2969b,162s stack positions out of 5000i,500n,6000p,200000b,15000s Output written on ALG.pdf (35 pages, 179020 bytes). PDF statistics: 138 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)