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.
**COM.tex
(./COM.tex
LaTeX2e <2005/12/01>
Babel <v3.8h> 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
) (./COM.aux)
\openout1 = `COM.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 (112.72498pt too wide) in paragraph at lines 21--22
[]$\OMS/cmsy/m/n/10 8[][]\OML/cmm/m/it/10 ; [][]; [][][] \OT1/cmr/m/n/10 (([]([
][]\OML/cmm/m/it/10 ; [][]\OT1/cmr/m/n/10 )[][]([][]\OML/cmm/m/it/10 ; [][]\OT1
/cmr/m/n/10 ))  \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 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (159.04434pt too wide) in paragraph at lines 23--24
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; [][] \OT1/cmr/m/n/10 (\OMS/cm
sy/m/n/10 : []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )  \OMS/c
msy/m/n/10 )  []\OT1/cmr/m/n/10 ([]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 
)\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/
10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([])\OML/cmm/m/it/10 ; []\OT1/cmr/m/
n/10 )))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (66.55797pt too wide) in paragraph at lines 25--26
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; [][]; [][] \OT1/cmr/m/n/10 (([]([
]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )[][]([]\OML/cmm/m/it/10 ; [][]\OT1/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 )) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (59.47464pt too wide) in paragraph at lines 27--28
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; [][][] \OT1/cmr/m/n/10 ((\OMS/cms
y/m/n/10 : []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )[][]([]\O
ML/cmm/m/it/10 ; [][]\OT1/cmr/m/n/10 ))  \OMS/cmsy/m/n/10 )  : []\OT1/cmr/m/n/1
0 ([]\OML/cmm/m/it/10 ; [][]\OT1/cmr/m/n/10 )) []([]\OML/cmm/m/it/10 ; []\OT1/c
mr/m/n/10 )$ 
 []


Overfull \hbox (194.28874pt too wide) in paragraph at lines 54--55
[]$\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 ))  \OMS/cmsy/m/n/10 )  []\OT1/cmr/m/n/10 ([]\OML/c
mm/m/it/10 ; []\OT1/cmr/m/n/10 ) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (27.84967pt too wide) in paragraph at lines 56--57
[]$\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 ))  \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/10 
)$ 
 []


Overfull \hbox (194.28874pt too wide) in paragraph at lines 104--105
[]$\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 ))  \OMS/cmsy/m/n/10 )  []\OT1/cmr/m/n/10 ([]\OML/c
mm/m/it/10 ; []\OT1/cmr/m/n/10 ) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (27.84967pt too wide) in paragraph at lines 106--107
[]$\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 ))  \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/10 
)$ 
 []


Overfull \hbox (97.87927pt too wide) in paragraph at lines 135--136
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 w[]; w[][] \OT1/cmr/m/n/10 (([][](\OML/cm
m/m/it/10 w[]\OT1/cmr/m/n/10 )[][][](\OML/cmm/m/it/10 w[]\OT1/cmr/m/n/10 ))  \O
MS/cmsy/m/n/10 )  8\OML/cmm/m/it/10 w[][] \OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/1
0 w[]; w[]; 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 ; []\OT1/cmr/m/n/10 )
$ 
 []


Overfull \hbox (7.93475pt too wide) in paragraph at lines 141--142
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 w[]; w[]; w[][] \OT1/cmr/m/n/10 (([][](\O
ML/cmm/m/it/10 w[]\OT1/cmr/m/n/10 )[][][](\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 w[]; w[]; w[]\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([]
)
 []


Overfull \hbox (134.08687pt too wide) in paragraph at lines 141--142
\OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 w[]; w[]; w[]\OT1/cmr/m/n/10 )[]\OMS/cms
y/m/n/10 9\OML/cmm/m/it/10 w[][] \OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 w[]\OT1
/cmr/m/n/10 )[][][](\OML/cmm/m/it/10 w[]; w[]; w[]\OT1/cmr/m/n/10 )[][][](\OML/
cmm/m/it/10 w[]; w[]; w[]\OT1/cmr/m/n/10 ))))) []([]\OML/cmm/m/it/10 ; []\OT1/c
mr/m/n/10 )$ 
 []

[1{/usr/share/texmf/fonts/map/pdftex/updmap/pdftex.map}]
Overfull \hbox (252.82825pt too wide) in paragraph at lines 143--144
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 w[]; w[]; w[]; w[][] \OT1/cmr/m/n/10 (([]
[](\OML/cmm/m/it/10 w[]\OT1/cmr/m/n/10 )[][][](\OML/cmm/m/it/10 w[]\OT1/cmr/m/n
/10 )[][][](\OML/cmm/m/it/10 w[]\OT1/cmr/m/n/10 )[][][](\OML/cmm/m/it/10 w[]\OT
1/cmr/m/n/10 ))  \OMS/cmsy/m/n/10 )  \OT1/cmr/m/n/10 (([][](\OML/cmm/m/it/10 w[
]; w[]; w[]\OT1/cmr/m/n/10 )[][][](\OML/cmm/m/it/10 w[]; w[]; w[]\OT1/cmr/m/n/1
0 ))  \OMS/cmsy/m/n/10 )
 []


Overfull \hbox (8.54585pt too wide) in paragraph at lines 145--146
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 w[]; w[]; w[][] \OT1/cmr/m/n/10 (([][](\O
ML/cmm/m/it/10 w[]\OT1/cmr/m/n/10 )[][][](\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 w[]; w[]; w[]\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([]
)
 []


Overfull \hbox (4.67476pt too wide) in paragraph at lines 149--150
[]$\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 ))  \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 ; []\O
T1/cmr/m/n/10 )$ 
 []


Overfull \hbox (100.73845pt too wide) in paragraph at lines 162--163
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][] \OT1/cmr/m/n/10 (([]
([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ) = [][][]([]\OML/cmm/m/it/10 ; []; []\
OT1/cmr/m/n/10 ))  \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 ; []; []\OT1/cmr/m/n/10 )) []([]\OML
/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (70.46062pt too wide) in paragraph at lines 164--165
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][] \OT1/cmr/m/n/10 ((\O
MS/cmsy/m/n/10 : []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )[][
]([]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []; []\OT1/
cmr/m/n/10 ))  \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 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (103.12729pt too wide) in paragraph at lines 166--167
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][] \OT1/cmr/m/n/10 ((\O
MS/cmsy/m/n/10 : []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )[][
]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 ))  \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 ; []; 
[]\OT1/cmr/m/n/10 )) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (249.25264pt too wide) in paragraph at lines 168--169
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; []; [][][] \OT1/cmr/m/n/1
0 (([]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )[][]([]([]\OML/cmm/m/it/10 ;
 []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\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 ([]\OML/cmm/
m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/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/
10 )$ 
 []


Overfull \hbox (37.70805pt too wide) in paragraph at lines 196--197
[]$[]\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/1
0 )  []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ) = [] []([][]\O
ML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (100.73845pt too wide) in paragraph at lines 213--214
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][] \OT1/cmr/m/n/10 (([]
([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ) = [][][]([]\OML/cmm/m/it/10 ; []; []\
OT1/cmr/m/n/10 ))  \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 ; []; []\OT1/cmr/m/n/10 )) []([]\OML
/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (70.46062pt too wide) in paragraph at lines 215--216
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][] \OT1/cmr/m/n/10 ((\O
MS/cmsy/m/n/10 : []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )[][
]([]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []; []\OT1/
cmr/m/n/10 ))  \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 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (103.12729pt too wide) in paragraph at lines 217--218
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][] \OT1/cmr/m/n/10 ((\O
MS/cmsy/m/n/10 : []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )[][
]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 ))  \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 ; []; 
[]\OT1/cmr/m/n/10 )) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (149.54398pt too wide) in paragraph at lines 219--220
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; []; []; [][]; [][][] \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 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )[][]([]\OML/cmm/m/it/10
 ; []; []\OT1/cmr/m/n/10 )[][]([]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )\
OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []; [][]\OT1/cmr/m/n/
10 )\OML/cmm/m/it/10 ; [][]\OT1/cmr/m/n/10 ))  \OMS/cmsy/m/n/10 )
 []


Overfull \hbox (28.76617pt too wide) in paragraph at lines 221--222
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; [][]; []; [][] \OT1/cmr/m/n/10 ([] = 
[]([]([]([]\OML/cmm/m/it/10 ; [][]\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cm
r/m/n/10 ([])))  \OMS/cmsy/m/n/10 )  [] 6\OT1/cmr/m/n/10 = []) []([]\OML/cmm/m/
it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (68.53009pt too wide) in paragraph at lines 223--224
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; [][][] \OT1/cmr/m/n/10 ([] = 
[]([]([]([]\OML/cmm/m/it/10 ; [][]\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cm
r/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 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (129.42767pt too wide) in paragraph at lines 239--240
[]$[]\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/1
0 )  \OT1/cmr/m/n/10 ([]([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )[][]([]\OML/cm
m/m/it/10 ; []\OT1/cmr/m/n/10 )) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (16.96078pt too wide) in paragraph at lines 241--242
[]$\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 ([])))  \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 ; []\OT1/cmr/m/n/1
0 )$ 
 []

[2]
Overfull \hbox (100.73845pt too wide) in paragraph at lines 288--289
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][] \OT1/cmr/m/n/10 (([]
([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ) = [][][]([]\OML/cmm/m/it/10 ; []; []\
OT1/cmr/m/n/10 ))  \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 ; []; []\OT1/cmr/m/n/10 )) []([]\OML
/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (70.46062pt too wide) in paragraph at lines 290--291
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][] \OT1/cmr/m/n/10 ((\O
MS/cmsy/m/n/10 : []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )[][
]([]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []; []\OT1/
cmr/m/n/10 ))  \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 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (103.12729pt too wide) in paragraph at lines 292--293
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][] \OT1/cmr/m/n/10 ((\O
MS/cmsy/m/n/10 : []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )[][
]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 ))  \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 ; []; 
[]\OT1/cmr/m/n/10 )) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (149.54398pt too wide) in paragraph at lines 294--295
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; []; []; [][]; [][][] \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 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )[][]([]\OML/cmm/m/it/10
 ; []; []\OT1/cmr/m/n/10 )[][]([]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )\
OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []; [][]\OT1/cmr/m/n/
10 )\OML/cmm/m/it/10 ; [][]\OT1/cmr/m/n/10 ))  \OMS/cmsy/m/n/10 )
 []


Overfull \hbox (47.12727pt too wide) in paragraph at lines 296--297
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; [][]; []; [][] \OT1/cmr/m/n/10 ([] = 
[]([]([]([]\OML/cmm/m/it/10 ; [][]\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cm
r/m/n/10 ([])))  \OMS/cmsy/m/n/10 )  [] 6\OT1/cmr/m/n/10 = []) []([]\OML/cmm/m/
it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (722.80078pt too wide) in paragraph at lines 313--314
[]$[]\OT1/cmr/m/n/10 ([]([]([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )\OML/cmm/m/
it/10 ; []\OT1/cmr/m/n/10 ([]([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )\OML/cmm/
m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )\OML/cmm/m
/it/10 ; []\OT1/cmr/m/n/10 ([]([]([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )))\OM
L/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]([]([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10
 ))))\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([])\OML/cmm/m/it/10 ; []\OT1/cmr/m/n
/10 ([]([]([]([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )))\OML/cmm/m/it/10 ; []\O
T1/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 (103.12729pt too wide) in paragraph at lines 326--327
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][] \OT1/cmr/m/n/10 ((\O
MS/cmsy/m/n/10 : []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )[][
]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 ))  \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 ; []; 
[]\OT1/cmr/m/n/10 )) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (170.65517pt too wide) in paragraph at lines 328--329
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][]; [][][] \OT1/cmr/m/n
/10 (([]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )[][]([]([]\OML/cmm/m/it/10
 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; [][]; [][]\OT1/cmr/m/n/10 ))  \OMS
/cmsy/m/n/10 )  []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/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 )) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (100.73845pt too wide) in paragraph at lines 330--331
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][] \OT1/cmr/m/n/10 (([]
([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ) = [][][]([]\OML/cmm/m/it/10 ; []; []\
OT1/cmr/m/n/10 ))  \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 ; []; []\OT1/cmr/m/n/10 )) []([]\OML
/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (70.46062pt too wide) in paragraph at lines 332--333
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][] \OT1/cmr/m/n/10 ((\O
MS/cmsy/m/n/10 : []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )[][
]([]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []; []\OT1/
cmr/m/n/10 ))  \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 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (137.46074pt too wide) in paragraph at lines 334--335
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; [][] \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 ([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )) []([]\OML/cm
m/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (98.41129pt too wide) in paragraph at lines 347--348
\OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 w; y; z\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 )[]\OMS/
cmsy/m/n/10 : [][]\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 y; z\OT1/cmr/m/n/10 ))  \OM
S/cmsy/m/n/10 )  \OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 w; y; z\OT1/cmr/m/n/10 
)[][](\OML/cmm/m/it/10 w; []\OT1/cmr/m/n/10 ))))) [](\OML/cmm/m/it/10 p[]; []\O
T1/cmr/m/n/10 )$ 
 []


Overfull \hbox (113.04198pt too wide) in paragraph at lines 349--350
[]$\OMS/cmsy/m/n/10 9\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 8\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 y; y\OT1/cmr/m/n/1
0 ))  \OMS/cmsy/m/n/10 )  \OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 w; y; y\OT1/cm
r/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 )[]\OMS/cmsy/m/n/10 : [][]\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 y
; y\OT1/cmr/m/n/10 ))  \OMS/cmsy/m/n/10 )
 []


Overfull \hbox (286.0907pt too wide) in paragraph at lines 349--350
\OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 w; y; y\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/10 v[] \OT
1/cmr/m/n/10 ([](\OML/cmm/m/it/10 v\OT1/cmr/m/n/10 )[]\OMS/cmsy/m/n/10 8\OML/cm
m/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 y; y\OT1/cmr/m/n/10 ))  \OMS/cmsy/m/n/10 )  \OT1/cmr/m/n/10 ([]
[](\OML/cmm/m/it/10 v; y\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 v; []\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; y\OT1/cmr/m/n/10 ))  \OMS/cmsy/m/n/10 )
 []


Overfull \hbox (94.44699pt too wide) in paragraph at lines 351--352
[]$\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 )[]\OMS/cmsy/m/n/10 8\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 y; y\OT1/cmr/m/n/1
0 ))  \OMS/cmsy/m/n/10 )  \OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 v; y\OT1/cmr/m
/n/10 )[][](\OML/cmm/m/it/10 v; []\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; y
\OT1/cmr/m/n/10 ))  \OMS/cmsy/m/n/10 )
 []


Overfull \hbox (179.34521pt too wide) in paragraph at lines 351--352
\OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 v; y\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 u[] \OT1/c
mr/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 y[] \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 ))  \OMS/cmsy/m/n/10 )  : [][]\OT1/cmr/m/n/10 
(\OML/cmm/m/it/10 u; y\OT1/cmr/m/n/10 ))[](([](\OML/cmm/m/it/10 y\OT1/cmr/m/n/1
0 )[]\OMS/cmsy/m/n/10 : [][]\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 y; y\OT1/cmr/m/n/
10 ))  \OMS/cmsy/m/n/10 )
 []


Overfull \hbox (100.73845pt too wide) in paragraph at lines 366--367
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][] \OT1/cmr/m/n/10 (([]
([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ) = [][][]([]\OML/cmm/m/it/10 ; []; []\
OT1/cmr/m/n/10 ))  \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 ; []; []\OT1/cmr/m/n/10 )) []([]\OML
/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (158.79424pt too wide) in paragraph at lines 368--369
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; [][] \OT1/cmr/m/n/10 ((\OMS/c
msy/m/n/10 : []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )[][]([]
([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []; []\OT1/cmr/
m/n/10 ))  \OMS/cmsy/m/n/10 )  []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []; []\O
T1/cmr/m/n/10 )) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (158.79424pt too wide) in paragraph at lines 370--371
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; [][] \OT1/cmr/m/n/10 ((\OMS/c
msy/m/n/10 : []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )[][]([]
([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []; []\OT1/cmr/
m/n/10 ))  \OMS/cmsy/m/n/10 )  []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []; []\O
T1/cmr/m/n/10 )) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (18.48854pt too wide) in paragraph at lines 372--373
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; [][] \OT1/cmr/m/n/10 ((\OMS/c
msy/m/n/10 : []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/
cmm/m/it/10 ; []\OT1/cmr/m/n/10 ))[][]([]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m
/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/
n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ))  \OMS/cmsy/m/n/10 )
 []

[3]
Overfull \hbox (103.12729pt too wide) in paragraph at lines 385--386
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][] \OT1/cmr/m/n/10 ((\O
MS/cmsy/m/n/10 : []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )[][
]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 ))  \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 ; []; 
[]\OT1/cmr/m/n/10 )) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (170.65517pt too wide) in paragraph at lines 387--388
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][]; [][][] \OT1/cmr/m/n
/10 (([]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )[][]([]([]\OML/cmm/m/it/10
 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; [][]; [][]\OT1/cmr/m/n/10 ))  \OMS
/cmsy/m/n/10 )  []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/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 )) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (100.73845pt too wide) in paragraph at lines 389--390
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][] \OT1/cmr/m/n/10 (([]
([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ) = [][][]([]\OML/cmm/m/it/10 ; []; []\
OT1/cmr/m/n/10 ))  \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 ; []; []\OT1/cmr/m/n/10 )) []([]\OML
/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (70.46062pt too wide) in paragraph at lines 391--392
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][] \OT1/cmr/m/n/10 ((\O
MS/cmsy/m/n/10 : []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )[][
]([]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []; []\OT1/
cmr/m/n/10 ))  \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 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (144.07188pt too wide) in paragraph at lines 393--394
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; [][] \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 ([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )) []([]\OML/cm
m/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (144.07188pt too wide) in paragraph at lines 395--396
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; [][] \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 ([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )) []([]\OML/cm
m/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (236.96092pt too wide) in paragraph at lines 397--398
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; [][] \OT1/cmr/m/n/10 (([]([]([][]
\OML/cmm/m/it/10 ; [][]\OT1/cmr/m/n/10 )) = []([])[][]([]\OML/cmm/m/it/10 ; []\
OT1/cmr/m/n/10 ([][]\OML/cmm/m/it/10 ; [][]\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; 
[]\OT1/cmr/m/n/10 ))  \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 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (100.73845pt too wide) in paragraph at lines 410--411
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][] \OT1/cmr/m/n/10 (([]
([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ) = [][][]([]\OML/cmm/m/it/10 ; []; []\
OT1/cmr/m/n/10 ))  \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 ; []; []\OT1/cmr/m/n/10 )) []([]\OML
/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (70.46062pt too wide) in paragraph at lines 412--413
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][] \OT1/cmr/m/n/10 ((\O
MS/cmsy/m/n/10 : []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )[][
]([]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []; []\OT1/
cmr/m/n/10 ))  \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 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (185.62769pt too wide) in paragraph at lines 414--415
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; [][] \OT1/cmr/m/n/10 (([]([]\OML/cmm/
m/it/10 ; []\OT1/cmr/m/n/10 ([])\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )[]\OMS/cm
sy/m/n/10 : []\OT1/cmr/m/n/10 ([]([])))  \OMS/cmsy/m/n/10 )  9[][] []\OT1/cmr/m
/n/10 ([]([])) = []([])) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (97.87927pt too wide) in paragraph at lines 475--476
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 w[]; w[][] \OT1/cmr/m/n/10 (([][](\OML/cm
m/m/it/10 w[]\OT1/cmr/m/n/10 )[][][](\OML/cmm/m/it/10 w[]\OT1/cmr/m/n/10 ))  \O
MS/cmsy/m/n/10 )  8\OML/cmm/m/it/10 w[][] \OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/1
0 w[]; w[]; 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 ; []\OT1/cmr/m/n/10 )
$ 
 []


Overfull \hbox (7.93475pt too wide) in paragraph at lines 481--482
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 w[]; w[]; w[][] \OT1/cmr/m/n/10 (([][](\O
ML/cmm/m/it/10 w[]\OT1/cmr/m/n/10 )[][][](\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 w[]; w[]; w[]\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([]
)
 []


Overfull \hbox (134.08687pt too wide) in paragraph at lines 481--482
\OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 w[]; w[]; w[]\OT1/cmr/m/n/10 )[]\OMS/cms
y/m/n/10 9\OML/cmm/m/it/10 w[][] \OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 w[]\OT1
/cmr/m/n/10 )[][][](\OML/cmm/m/it/10 w[]; w[]; w[]\OT1/cmr/m/n/10 )[][][](\OML/
cmm/m/it/10 w[]; w[]; w[]\OT1/cmr/m/n/10 ))))) []([]\OML/cmm/m/it/10 ; []\OT1/c
mr/m/n/10 )$ 
 []


Overfull \hbox (252.82825pt too wide) in paragraph at lines 483--484
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 w[]; w[]; w[]; w[][] \OT1/cmr/m/n/10 (([]
[](\OML/cmm/m/it/10 w[]\OT1/cmr/m/n/10 )[][][](\OML/cmm/m/it/10 w[]\OT1/cmr/m/n
/10 )[][][](\OML/cmm/m/it/10 w[]\OT1/cmr/m/n/10 )[][][](\OML/cmm/m/it/10 w[]\OT
1/cmr/m/n/10 ))  \OMS/cmsy/m/n/10 )  \OT1/cmr/m/n/10 (([][](\OML/cmm/m/it/10 w[
]; w[]; w[]\OT1/cmr/m/n/10 )[][][](\OML/cmm/m/it/10 w[]; w[]; w[]\OT1/cmr/m/n/1
0 ))  \OMS/cmsy/m/n/10 )
 []


Overfull \hbox (8.54585pt too wide) in paragraph at lines 485--486
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 w[]; w[]; w[][] \OT1/cmr/m/n/10 (([][](\O
ML/cmm/m/it/10 w[]\OT1/cmr/m/n/10 )[][][](\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 w[]; w[]; w[]\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([]
)
 []


Overfull \hbox (402.57054pt too wide) in paragraph at lines 489--490
[]$\OT1/cmr/m/n/10 (([] = [][](([][]([]\OML/cmm/m/it/10 ; []; []\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/i
t/10 w[]\OT1/cmr/m/n/10 )[][][](\OML/cmm/m/it/10 w[]; []; []\OT1/cmr/m/n/10 )[]
[][](\OML/cmm/m/it/10 w[]; []; []\OT1/cmr/m/n/10 )))[][][]([]\OML/cmm/m/it/10 ;
 []; []\OT1/cmr/m/n/10 )))[][][]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )[]
([] =
 []


Overfull \hbox (337.84813pt too wide) in paragraph at lines 489--490
[][]\OT1/cmr/m/n/10 (([][]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )[]\OMS/c
msy/m/n/10 9\OML/cmm/m/it/10 w[][] \OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 w[]\O
T1/cmr/m/n/10 )[][][](\OML/cmm/m/it/10 w[]; []; []\OT1/cmr/m/n/10 )[][][](\OML/
cmm/m/it/10 w[]; []; []\OT1/cmr/m/n/10 )))[][][]([]\OML/cmm/m/it/10 ; []; []\OT
1/cmr/m/n/10 )))[][][]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 ))  \OMS/cmsy
/m/n/10 )
 []


Overfull \hbox (420.40932pt too wide) in paragraph at lines 489--490
\OT1/cmr/m/n/10 ([] = [][][][]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )[]\O
MS/cmsy/m/n/10 9\OML/cmm/m/it/10 w[][] \OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 w
[]\OT1/cmr/m/n/10 )[][][](\OML/cmm/m/it/10 w[]; []; []\OT1/cmr/m/n/10 )[][][](\
OML/cmm/m/it/10 w[]; []; []\OT1/cmr/m/n/10 ))[][][]([]\OML/cmm/m/it/10 ; []; []
\OT1/cmr/m/n/10 )[][][]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )) []([]\OML
/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (38.75526pt too wide) in paragraph at lines 500--501
[]$\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/i
t/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (55.33867pt too wide) in paragraph at lines 502--503
[]$\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/i
t/10 ; []\OT1/cmr/m/n/10 )$ 
 []

[4]
Overfull \hbox (202.1849pt too wide) in paragraph at lines 512--513
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x; y; z; w[] \OT1/cmr/m/n/10 ([](\OML/cmm
/m/it/10 x; y; z; w\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  \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 x; y; z; w\OT1/cmr/m/n/10 ))) []([]\OML/cmm/m/it/10 ; []\O
T1/cmr/m/n/10 )$ 
 []


Overfull \hbox (256.31839pt too wide) in paragraph at lines 514--515
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x; y; z; w[] \OT1/cmr/m/n/10 ([](\OML/cmm
/m/it/10 x; y; z; w\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  \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 x; y; z; w\OT1/cmr/m/n/10 ))) []([]\OML/cmm/m/it/10 ; []\O
T1/cmr/m/n/10 )$ 
 []


Overfull \hbox (173.75206pt too wide) in paragraph at lines 516--517
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x; y; w[] \OT1/cmr/m/n/10 ([](\OML/cmm/m/
it/10 x; y; w\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  \OT1/cmr/m/n/10 ([][](\O
ML/cmm/m/it/10 y; y\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 )  []\OT1/cmr/m/n/10 (\O
ML/cmm/m/it/10 x; y; w\OT1/cmr/m/n/10 ))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/
n/10 )$ 
 []


Overfull \hbox (227.88554pt too wide) in paragraph at lines 518--519
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x; y; w[] \OT1/cmr/m/n/10 ([](\OML/cmm/m/
it/10 x; y; w\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  \OT1/cmr/m/n/10 ([][](\O
ML/cmm/m/it/10 y; y\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 )  []\OT1/cmr/m/n/10 (\O
ML/cmm/m/it/10 x; y; w\OT1/cmr/m/n/10 ))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/
n/10 )$ 
 []


Overfull \hbox (204.03595pt too wide) in paragraph at lines 522--523
[]$\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 )  8\OML/cmm/m/it/10 y; z[] \OT1/cmr/m/n/1
0 ([](\OML/cmm/m/it/10 w; y; z; []\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 w; y; 
z; []\OT1/cmr/m/n/10 ))) [](\OML/cmm/m/it/10 p[]; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (58.29292pt too wide) in paragraph at lines 524--525
[]$\OMS/cmsy/m/n/10 9\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 8\OML/cmm/m/it/10 y[] \OT1/cmr/m/n/10 ([](
\OML/cmm/m/it/10 w; y; y; []\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 w; y; y; []\
OT1/cmr/m/n/10 )))  \OMS/cmsy/m/n/10 )
 []


Overfull \hbox (94.23175pt too wide) in paragraph at lines 524--525
\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 v[] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 v\O
T1/cmr/m/n/10 )[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 y[] \OT1/cmr/m/n/10 ([](\OM
L/cmm/m/it/10 v; y; []\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 v; y; []\OT1/cmr/m
/n/10 ))) [](\OML/cmm/m/it/10 p[]; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (29.99193pt too wide) in paragraph at lines 526--527
[]$\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 )[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 y[] \OT1/cmr/m/n/10 ([](
\OML/cmm/m/it/10 v; y; []\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 v; y; []\OT1/cm
r/m/n/10 )))  \OMS/cmsy/m/n/10 )
 []


Overfull \hbox (92.99008pt too wide) in paragraph at lines 526--527
\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 u[] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 u\O
T1/cmr/m/n/10 )[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 y[] \OT1/cmr/m/n/10 (([][](
\OML/cmm/m/it/10 y; y\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 )  : [][]\OT1/cmr/m/n/
10 (\OML/cmm/m/it/10 u; y\OT1/cmr/m/n/10 ))[][](\OML/cmm/m/it/10 u; y; []\OT1/c
mr/m/n/10 ))) [](\OML/cmm/m/it/10 p[]; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (167.96089pt too wide) in paragraph at lines 541--542
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; [][] \OT1/cmr/m/n/10 (([]([]\
OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ) = [][][]([]\OML/cmm/m/it/10 ; []; []\OT1/
cmr/m/n/10 ))  \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 ; []; []\OT1/cmr/m/n/10 )) []([]\OML/cmm
/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (167.96089pt too wide) in paragraph at lines 543--544
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; [][] \OT1/cmr/m/n/10 (([]([]\
OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ) = [][][]([]\OML/cmm/m/it/10 ; []; []\OT1/
cmr/m/n/10 ))  \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 ; []; []\OT1/cmr/m/n/10 )) []([]\OML/cmm
/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (294.10002pt too wide) in paragraph at lines 545--546
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; [][] \OT1/cmr/m/n/10 (([]([]\
OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ) = [][][]([]\OML/cmm/m/it/10 ; []\OT1/cmr/
m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m
/n/10 ))  \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 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\
OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )) []([]\OML/cmm/m/it/10 ;
 []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (100.73845pt too wide) in paragraph at lines 560--561
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][] \OT1/cmr/m/n/10 (([]
([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ) = [][][]([]\OML/cmm/m/it/10 ; []; []\
OT1/cmr/m/n/10 ))  \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 ; []; []\OT1/cmr/m/n/10 )) []([]\OML
/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (70.46062pt too wide) in paragraph at lines 562--563
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][] \OT1/cmr/m/n/10 ((\O
MS/cmsy/m/n/10 : []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )[][
]([]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []; []\OT1/
cmr/m/n/10 ))  \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 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (103.12729pt too wide) in paragraph at lines 564--565
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][] \OT1/cmr/m/n/10 ((\O
MS/cmsy/m/n/10 : []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )[][
]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 ))  \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 ; []; 
[]\OT1/cmr/m/n/10 )) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (149.54398pt too wide) in paragraph at lines 566--567
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; []; []; [][]; [][][] \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 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )[][]([]\OML/cmm/m/it/10
 ; []; []\OT1/cmr/m/n/10 )[][]([]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )\
OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []; [][]\OT1/cmr/m/n/
10 )\OML/cmm/m/it/10 ; [][]\OT1/cmr/m/n/10 ))  \OMS/cmsy/m/n/10 )
 []


Overfull \hbox (28.76617pt too wide) in paragraph at lines 568--569
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; [][]; []; [][] \OT1/cmr/m/n/10 ([] = 
[]([]([]([]\OML/cmm/m/it/10 ; [][]\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cm
r/m/n/10 ([])))  \OMS/cmsy/m/n/10 )  [] 6\OT1/cmr/m/n/10 = []) []([]\OML/cmm/m/
it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (50.16899pt too wide) in paragraph at lines 570--571
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; [][][] \OT1/cmr/m/n/10 ([] = 
[]([]([]([]\OML/cmm/m/it/10 ; [][]\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cm
r/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 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (132.84956pt too wide) in paragraph at lines 572--573
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; []; []; [][][] \OT1/cmr/m
/n/10 (([] \OMS/cmsy/m/n/10 6\OT1/cmr/m/n/10 = [][][]([]\OML/cmm/m/it/10 ; []\O
T1/cmr/m/n/10 )[][]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )[][]([]([]\OML/
cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\O
ML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; [][]\OT1/cmr/m/n/10 
))  \OMS/cmsy/m/n/10 )
 []


Overfull \hbox (100.73845pt too wide) in paragraph at lines 585--586
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][] \OT1/cmr/m/n/10 (([]
([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ) = [][][]([]\OML/cmm/m/it/10 ; []; []\
OT1/cmr/m/n/10 ))  \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 ; []; []\OT1/cmr/m/n/10 )) []([]\OML
/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (70.46062pt too wide) in paragraph at lines 587--588
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][] \OT1/cmr/m/n/10 ((\O
MS/cmsy/m/n/10 : []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )[][
]([]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []; []\OT1/
cmr/m/n/10 ))  \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 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (103.12729pt too wide) in paragraph at lines 589--590
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][] \OT1/cmr/m/n/10 ((\O
MS/cmsy/m/n/10 : []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )[][
]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 ))  \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 ; []; 
[]\OT1/cmr/m/n/10 )) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (204.58578pt too wide) in paragraph at lines 591--592
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][][] \OT1/cmr/m/n/10 ((
[]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )[][]([]([]\OML/cmm/m/it/10 ; [];
 []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []; [][]\OT1/cmr/m/n/10 ))  \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 ; []; []\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 (40.12717pt too wide) in paragraph at lines 593--594
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; []; []; [][]; [][][] \OT1
/cmr/m/n/10 (([] = [][][]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )[][]([]([
]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10
 ([]\OML/cmm/m/it/10 ; []; [][]\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; [][]\OT1/cmr
/m/n/10 ))  \OMS/cmsy/m/n/10 )
 []

[5]
Overfull \hbox (74.49391pt too wide) in paragraph at lines 649--650
[]$\OMS/cmsy/m/n/10 8[][] []\OML/cmm/m/it/10 ; [][] [][] \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 (
[]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/
n/10 )$ 
 []


Overfull \hbox (157.52179pt too wide) in paragraph at lines 651--652
[]$\OMS/cmsy/m/n/10 8[][] []\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 ; []\OT
1/cmr/m/n/10 ))  \OMS/cmsy/m/n/10 )
 []


Overfull \hbox (240.91089pt too wide) in paragraph at lines 653--654
[]$\OMS/cmsy/m/n/10 8[][] []\OML/cmm/m/it/10 ; [][] []; [][] [][] \OT1/cmr/m/n/
10 (([]([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]))[][]([]\OML/cmm/m/it/10 ; [
]\OT1/cmr/m/n/10 ))  \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 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (245.29982pt too wide) in paragraph at lines 655--656
[]$\OMS/cmsy/m/n/10 8[][] []\OML/cmm/m/it/10 ; [][] []; [][] [][] \OT1/cmr/m/n/
10 ([]([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/
m/n/10 ))  \OMS/cmsy/m/n/10 )  []\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 )$ 
 []


Overfull \hbox (100.73845pt too wide) in paragraph at lines 682--683
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][] \OT1/cmr/m/n/10 (([]
([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ) = [][][]([]\OML/cmm/m/it/10 ; []; []\
OT1/cmr/m/n/10 ))  \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 ; []; []\OT1/cmr/m/n/10 )) []([]\OML
/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (132.34966pt too wide) in paragraph at lines 684--685
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; [][] \OT1/cmr/m/n/10 ((\OMS/c
msy/m/n/10 : []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )[][]([]
([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []; []\OT1/cmr/
m/n/10 ))  \OMS/cmsy/m/n/10 )  []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []; []\O
T1/cmr/m/n/10 )) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (36.3357pt too wide) in paragraph at lines 686--687
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][]; [][] \OT1/cmr/m/n/1
0 ((\OMS/cmsy/m/n/10 : []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/1
0 ([]\OML/cmm/m/it/10 ; [][]; []\OT1/cmr/m/n/10 ))[][]([]([]\OML/cmm/m/it/10 ; 
[]; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10
 ; [][]; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ))  \OMS/cmsy/
m/n/10 )
 []


Overfull \hbox (100.73845pt too wide) in paragraph at lines 699--700
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][] \OT1/cmr/m/n/10 (([]
([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ) = [][][]([]\OML/cmm/m/it/10 ; []; []\
OT1/cmr/m/n/10 ))  \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 ; []; []\OT1/cmr/m/n/10 )) []([]\OML
/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (190.32216pt too wide) in paragraph at lines 701--702
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][] \OT1/cmr/m/n/10 ((\O
MS/cmsy/m/n/10 : []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([])
)[][]([]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/
cmr/m/n/10 ([])\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ))  \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 ; [
]\OT1/cmr/m/n/10 )) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (100.73845pt too wide) in paragraph at lines 714--715
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][] \OT1/cmr/m/n/10 (([]
([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ) = [][][]([]\OML/cmm/m/it/10 ; []; []\
OT1/cmr/m/n/10 ))  \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 ; []; []\OT1/cmr/m/n/10 )) []([]\OML
/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (70.46062pt too wide) in paragraph at lines 716--717
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][] \OT1/cmr/m/n/10 ((\O
MS/cmsy/m/n/10 : []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )[][
]([]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []; []\OT1/
cmr/m/n/10 ))  \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 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (165.01633pt too wide) in paragraph at lines 718--719
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; [][] \OT1/cmr/m/n/10 ((\OMS/c
msy/m/n/10 : []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )[][]([]
\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 ))  \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 ; []; []\O
T1/cmr/m/n/10 )) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (30.78003pt too wide) in paragraph at lines 720--721
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][]; [][] \OT1/cmr/m/n/1
0 (([] \OMS/cmsy/m/n/10 6\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 ; [][]; []\OT1
/cmr/m/n/10 ))[][]([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ;
 [][]; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ))  \OMS/cmsy/m/
n/10 )
 []

[6]
Overfull \hbox (104.10551pt too wide) in paragraph at lines 753--754
[]$\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 x[] [][] \OMS/cmsy/m/n/10 8\OML/cmm/m/it/
10 y[] []; z[] [][] []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x; y; z\OT1/cmr/m/n/10 
)  \OMS/cmsy/m/n/10 )  9\OML/cmm/m/it/10 w[] [][] \OMS/cmsy/m/n/10 8\OML/cmm/m/
it/10 y[] []; z[] [][] []\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 w\OT1/cmr/m/n/10 
)\OML/cmm/m/it/10 ; y; z\OT1/cmr/m/n/10 ) [](\OML/cmm/m/it/10 p[]; []\OT1/cmr/m
/n/10 )$ 
 []


Overfull \hbox (16.70505pt too wide) in paragraph at lines 755--756
\OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 w; y; z\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/c
mm/m/it/10 y; z\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 )  \OT1/cmr/m/n/10 ([][](\OM
L/cmm/m/it/10 w; y; z\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 w; []\OT1/cmr/m/n/1
0 ))))) [](\OML/cmm/m/it/10 p[]; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (89.33485pt too wide) in paragraph at lines 757--758
[]$\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 w[] [][] \OMS/cmsy/m/n/10 8\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 y\OT1/cmr/m/n/10 ))  \OMS/cmsy/m/n/10 )  \OT1/cmr/m/n/10 ([][](\OML
/cmm/m/it/10 w; y; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 y\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 y; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 y\OT1/cmr/m/n/10 )
)  \OMS/cmsy/m/n/10 )
 []


Overfull \hbox (304.37259pt too wide) in paragraph at lines 757--758
\OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 w; y; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/1
0 y\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/10 v[] [][] \OMS/cmsy/m/n/10 8\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 y\OT1/cmr/m/n/10 ))  \OMS/cmsy/m/n/10 )  \OT1/cmr/m/n/10 ([][](\OML/cmm/m/it
/10 v; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 y\OT1/cmr/m/n/10 ))[][](\OML/cmm/m/i
t/10 v; []\OT1/cmr/m/n/10 )))[](\OMS/cmsy/m/n/10 : [][]\OT1/cmr/m/n/10 (\OML/cm
m/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 )
 []


Overfull \hbox (72.96211pt too wide) in paragraph at lines 759--760
[]$\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 v[] [][] \OMS/cmsy/m/n/10 8\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 y\OT1/cmr/m/n/10 ))  \OMS/cmsy/m/n/10 )  \OT1/cmr/m/n/10 ([][](\OML
/cmm/m/it/10 v; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 y\OT1/cmr/m/n/10 ))[][](\OM
L/cmm/m/it/10 v; []\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 ))  
\OMS/cmsy/m/n/10 )
 []


Overfull \hbox (197.10854pt too wide) in paragraph at lines 759--760
\OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 v; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 y
\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 u[] [][] \OMS/cmsy/m/n/10 8\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 
y\OT1/cmr/m/n/10 ))  \OMS/cmsy/m/n/10 )  : [][]\OT1/cmr/m/n/10 (\OML/cmm/m/it/1
0 u; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 y\OT1/cmr/m/n/10 )))[](\OMS/cmsy/m/n/1
0 : [][]\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 y; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/1
0 y\OT1/cmr/m/n/10 ))  \OMS/cmsy/m/n/10 )
 []


Overfull \hbox (64.45262pt too wide) in paragraph at lines 776--777
[]$[]\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/1
0 ; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]([]\OML/cmm/m/it
/10 ; []\OT1/cmr/m/n/10 ))) []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (51.986pt too wide) in paragraph at lines 778--779
[]$[]\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/1
0 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([])) []([][]\O
ML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (150.83035pt too wide) in paragraph at lines 780--781
[]$[]\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/1
0 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]))  \OMS/cms
y/m/n/10 )  [] \OT1/cmr/m/n/10 = [] []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10
 )$ 
 []


Overfull \hbox (85.57494pt too wide) in paragraph at lines 782--783
[]$[]\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/1
0 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([])) []([][]\O
ML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (184.55264pt too wide) in paragraph at lines 784--785
[]$[]\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/1
0 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]))  \OMS/cms
y/m/n/10 )  [] \OT1/cmr/m/n/10 = [] []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10
 )$ 
 []


Overfull \hbox (118.46391pt too wide) in paragraph at lines 786--787
[]$[]\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/1
0 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([])) []([][]\O
ML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (61.06937pt too wide) in paragraph at lines 788--789
[]$[]\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/1
0 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([])) []([][]\O
ML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (16.533pt too wide) in paragraph at lines 790--791
[]$\OT1/cmr/m/n/10 ([]([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/
10 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]))[][]([]\O
ML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 ([])))  \OMS/cmsy/m/n/10 )
 []


Overfull \hbox (58.61935pt too wide) in paragraph at lines 790--791
[]\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ;
 []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([])) []([][]\OML/
cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (153.10262pt too wide) in paragraph at lines 792--793
[]$[]\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/1
0 ; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]([]\OML/cmm/m/it
/10 ; []\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 (257.26944pt too wide) in paragraph at lines 794--795
[]$[]\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/1
0 ; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]([]\OML/cmm/m/it
/10 ; []\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 (450.43378pt too wide) in paragraph at lines 796--797
[]$\OT1/cmr/m/n/10 ([]([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]([]\OML/cmm/m/
it/10 ; []; []\OT1/cmr/m/n/10 ([]))\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML
/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )\OM
L/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]))[][]([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n
/10 ([]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 ([]))\OML/cmm/m/it/10 ; []\O
T1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([])))  \OMS/cmsy/m/n/10 )
 []


Overfull \hbox (314.73631pt too wide) in paragraph at lines 798--799
[]$[]\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/1
0 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]))  \OMS/cms
y/m/n/10 )  []\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 ; []\OT1/cmr/m/n/10 ([])) 
[]([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (489.20334pt too wide) in paragraph at lines 800--801
[]$\OT1/cmr/m/n/10 ([]([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/
10 ; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]))[][]([]\OML/c
mm/m/it/10 ; []; []\OT1/cmr/m/n/10 ([])))  \OMS/cmsy/m/n/10 )  []\OT1/cmr/m/n/1
0 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/
10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([])) []([][]\OML/cmm/m/it/10 ; []\OT1
/cmr/m/n/10 )$ 
 []


Overfull \hbox (85.36378pt too wide) in paragraph at lines 802--803
[]$[]\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/1
0 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/i
t/10 ; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([])) []([][]\OM
L/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (100.73845pt too wide) in paragraph at lines 819--820
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][] \OT1/cmr/m/n/10 (([]
([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ) = [][][]([]\OML/cmm/m/it/10 ; []; []\
OT1/cmr/m/n/10 ))  \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 ; []; []\OT1/cmr/m/n/10 )) []([]\OML
/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (70.46062pt too wide) in paragraph at lines 821--822
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][] \OT1/cmr/m/n/10 ((\O
MS/cmsy/m/n/10 : []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )[][
]([]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []; []\OT1/
cmr/m/n/10 ))  \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 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (103.12729pt too wide) in paragraph at lines 823--824
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][] \OT1/cmr/m/n/10 ((\O
MS/cmsy/m/n/10 : []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )[][
]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 ))  \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 ; []; 
[]\OT1/cmr/m/n/10 )) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (204.58578pt too wide) in paragraph at lines 825--826
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][][] \OT1/cmr/m/n/10 ((
[]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )[][]([]([]\OML/cmm/m/it/10 ; [];
 []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []; [][]\OT1/cmr/m/n/10 ))  \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 ; []; []\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 (40.12717pt too wide) in paragraph at lines 827--828
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; []; []; [][]; [][][] \OT1
/cmr/m/n/10 (([] = [][][]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )[][]([]([
]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10
 ([]\OML/cmm/m/it/10 ; []; [][]\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; [][]\OT1/cmr
/m/n/10 ))  \OMS/cmsy/m/n/10 )
 []


Overfull \hbox (141.18288pt too wide) in paragraph at lines 829--830
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; []; []; [][][] \OT1/cmr/m
/n/10 (([] \OMS/cmsy/m/n/10 6\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 ; [];
 []\OT1/cmr/m/n/10 )[][]([]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )\OML/cm
m/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )\OML
/cmm/m/it/10 ; [][]\OT1/cmr/m/n/10 ))  \OMS/cmsy/m/n/10 )
 []


Overfull \hbox (100.73845pt too wide) in paragraph at lines 842--843
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][] \OT1/cmr/m/n/10 (([]
([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ) = [][][]([]\OML/cmm/m/it/10 ; []; []\
OT1/cmr/m/n/10 ))  \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 ; []; []\OT1/cmr/m/n/10 )) []([]\OML
/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (70.46062pt too wide) in paragraph at lines 844--845
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][] \OT1/cmr/m/n/10 ((\O
MS/cmsy/m/n/10 : []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )[][
]([]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []; []\OT1/
cmr/m/n/10 ))  \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 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (103.12729pt too wide) in paragraph at lines 846--847
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][] \OT1/cmr/m/n/10 ((\O
MS/cmsy/m/n/10 : []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )[][
]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 ))  \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 ; []; 
[]\OT1/cmr/m/n/10 )) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (204.58578pt too wide) in paragraph at lines 848--849
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][][] \OT1/cmr/m/n/10 ((
[]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )[][]([]([]\OML/cmm/m/it/10 ; [];
 []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []; [][]\OT1/cmr/m/n/10 ))  \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 ; []; []\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 (40.12717pt too wide) in paragraph at lines 850--851
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; []; []; [][]; [][][] \OT1
/cmr/m/n/10 (([] = [][][]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )[][]([]([
]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10
 ([]\OML/cmm/m/it/10 ; []; [][]\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; [][]\OT1/cmr
/m/n/10 ))  \OMS/cmsy/m/n/10 )
 []

[7]
Overfull \hbox (141.18288pt too wide) in paragraph at lines 852--853
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; []; []; [][][] \OT1/cmr/m
/n/10 (([] \OMS/cmsy/m/n/10 6\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 ; [];
 []\OT1/cmr/m/n/10 )[][]([]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )\OML/cm
m/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )\OML
/cmm/m/it/10 ; [][]\OT1/cmr/m/n/10 ))  \OMS/cmsy/m/n/10 )
 []


Overfull \hbox (132.84956pt too wide) in paragraph at lines 854--855
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; []; []; [][][] \OT1/cmr/m
/n/10 (([] \OMS/cmsy/m/n/10 6\OT1/cmr/m/n/10 = [][][]([]\OML/cmm/m/it/10 ; []\O
T1/cmr/m/n/10 )[][]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )[][]([]([]\OML/
cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\O
ML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; [][]\OT1/cmr/m/n/10 
))  \OMS/cmsy/m/n/10 )
 []


Overfull \hbox (353.33598pt too wide) in paragraph at lines 856--857
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; []; []; [][][] \OT1/cmr/m
/n/10 (([]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )[][]([]([]\OML/cmm/m/it/
10 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/
it/10 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; [][]\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 ([]\OM
L/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/
10 ))\OML/cmm/m/it/10 ; [][]\OT1/cmr/m/n/10 )) []([]\OML/cmm/m/it/10 ; []\OT1/c
mr/m/n/10 )$ 
 []


Overfull \hbox (100.73845pt too wide) in paragraph at lines 869--870
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][] \OT1/cmr/m/n/10 (([]
([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ) = [][][]([]\OML/cmm/m/it/10 ; []; []\
OT1/cmr/m/n/10 ))  \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 ; []; []\OT1/cmr/m/n/10 )) []([]\OML
/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (70.46062pt too wide) in paragraph at lines 871--872
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][] \OT1/cmr/m/n/10 ((\O
MS/cmsy/m/n/10 : []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )[][
]([]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []; []\OT1/
cmr/m/n/10 ))  \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 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (191.4609pt too wide) in paragraph at lines 873--874
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; [][] \OT1/cmr/m/n/10 ((\OMS/c
msy/m/n/10 : []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )[][]([]
\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 ))  \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 ; []; []\O
T1/cmr/m/n/10 )) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (191.4609pt too wide) in paragraph at lines 875--876
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; [][] \OT1/cmr/m/n/10 ((\OMS/c
msy/m/n/10 : []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )[][]([]
\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 ))  \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 ; []; []\O
T1/cmr/m/n/10 )) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (381.21129pt too wide) in paragraph at lines 877--878
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; [][] \OT1/cmr/m/n/10 ((\OMS/c
msy/m/n/10 : []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/
cmm/m/it/10 ; []\OT1/cmr/m/n/10 ))[][]([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (
[]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\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 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/
m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )) []([]\OML/cmm/m/it/10 ; []\OT1/
cmr/m/n/10 )$ 
 []


Overfull \hbox (205.24805pt too wide) in paragraph at lines 888--889
[]$\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 x; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 
c; p\OT1/cmr/m/n/10 ))[][](\OML/cmm/m/it/10 y; []\OT1/cmr/m/n/10 (\OML/cmm/m/it
/10 d; q\OT1/cmr/m/n/10 ))[][](\OML/cmm/m/it/10 p; q\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 x; y\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OML
/cmm/m/it/10 c; d\OT1/cmr/m/n/10 )) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )
$ 
 []


Overfull \hbox (64.45262pt too wide) in paragraph at lines 919--920
[]$[]\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/1
0 ; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]([]\OML/cmm/m/it
/10 ; []\OT1/cmr/m/n/10 ))) []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (37.70805pt too wide) in paragraph at lines 921--922
[]$[]\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/1
0 )  []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ) = [] []([][]\O
ML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (51.986pt too wide) in paragraph at lines 925--926
[]$[]\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/1
0 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([])) []([][]\O
ML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (150.83035pt too wide) in paragraph at lines 927--928
[]$[]\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/1
0 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]))  \OMS/cms
y/m/n/10 )  [] \OT1/cmr/m/n/10 = [] []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10
 )$ 
 []


Overfull \hbox (85.57494pt too wide) in paragraph at lines 929--930
[]$[]\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/1
0 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([])) []([][]\O
ML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (184.55264pt too wide) in paragraph at lines 931--932
[]$[]\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/1
0 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]))  \OMS/cms
y/m/n/10 )  [] \OT1/cmr/m/n/10 = [] []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10
 )$ 
 []


Overfull \hbox (118.46391pt too wide) in paragraph at lines 933--934
[]$[]\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/1
0 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([])) []([][]\O
ML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (61.06937pt too wide) in paragraph at lines 935--936
[]$[]\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/1
0 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([])) []([][]\O
ML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (153.10262pt too wide) in paragraph at lines 937--938
[]$[]\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/1
0 ; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]([]\OML/cmm/m/it
/10 ; []\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 (257.26944pt too wide) in paragraph at lines 939--940
[]$[]\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/1
0 ; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]([]\OML/cmm/m/it
/10 ; []\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 (100.73845pt too wide) in paragraph at lines 956--957
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][] \OT1/cmr/m/n/10 (([]
([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ) = [][][]([]\OML/cmm/m/it/10 ; []; []\
OT1/cmr/m/n/10 ))  \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 ; []; []\OT1/cmr/m/n/10 )) []([]\OML
/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (70.46062pt too wide) in paragraph at lines 958--959
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][] \OT1/cmr/m/n/10 ((\O
MS/cmsy/m/n/10 : []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )[][
]([]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []; []\OT1/
cmr/m/n/10 ))  \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 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (104.22462pt too wide) in paragraph at lines 960--961
[]$\OMS/cmsy/m/n/10 8[][] \OT1/cmr/m/n/10 (([]([]\OML/cmm/m/it/10 ; [][]; []\OT
1/cmr/m/n/10 )[]\OMS/cmsy/m/n/10 : []\OT1/cmr/m/n/10 ([][]))  \OMS/cmsy/m/n/10 
)  9[][] []\OT1/cmr/m/n/10 ([][]) = []([])) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/
m/n/10 )$ 
 []


Overfull \hbox (104.22462pt too wide) in paragraph at lines 962--963
[]$\OMS/cmsy/m/n/10 8[][] \OT1/cmr/m/n/10 (([]([]\OML/cmm/m/it/10 ; [][]; []\OT
1/cmr/m/n/10 )[]\OMS/cmsy/m/n/10 : []\OT1/cmr/m/n/10 ([][]))  \OMS/cmsy/m/n/10 
)  9[][] []\OT1/cmr/m/n/10 ([][]) = []([])) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/
m/n/10 )$ 
 []

[8]
Overfull \hbox (245.31517pt too wide) in paragraph at lines 985--986
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 a; b; c[] \OT1/cmr/m/n/10 (([](\OML/cmm/m
/it/10 a; b\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 b; c\OT1/cmr/m/n/10 ))  \OMS/
cmsy/m/n/10 )  []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 a; c\OT1/cmr/m/n/10 )) []([]
\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (103.73486pt too wide) in paragraph at lines 987--988
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 a; b; c[] \OT1/cmr/m/n/10 (([](\OML/cmm/m
/it/10 a; b\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 a; c\OT1/cmr/m/n/10 ))  \OMS/
cmsy/m/n/10 )  9\OML/cmm/m/it/10 d[] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 b; d\
OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 c; d\OT1/cmr/m/n/10 ))) []([]\OML/cmm/m/i
t/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (348.98482pt too wide) in paragraph at lines 989--990
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 a; b; c[] \OT1/cmr/m/n/10 (([](\OML/cmm/m
/it/10 a; a\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 a; b\OT1/cmr/m/n/10 )[][](\OM
L/cmm/m/it/10 a; c\OT1/cmr/m/n/10 ))  \OMS/cmsy/m/n/10 )  9\OML/cmm/m/it/10 d[]
 \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 b; d\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/1
0 c; d\OT1/cmr/m/n/10 ))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (111.6868pt too wide) in paragraph at lines 991--992
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 a; b[] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/
10 a; b\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 )  \OT1/cmr/m/n/10 (\OML/cmm/m/it/10
 a[]b[]\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 c[] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it
/10 a; c\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 c; b\OT1/cmr/m/n/10 )))) []([]\O
ML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (100.73845pt too wide) in paragraph at lines 1006--1007
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][] \OT1/cmr/m/n/10 (([]
([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ) = [][][]([]\OML/cmm/m/it/10 ; []; []\
OT1/cmr/m/n/10 ))  \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 ; []; []\OT1/cmr/m/n/10 )) []([]\OML
/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (70.46062pt too wide) in paragraph at lines 1008--1009
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][] \OT1/cmr/m/n/10 ((\O
MS/cmsy/m/n/10 : []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )[][
]([]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []; []\OT1/
cmr/m/n/10 ))  \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 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (103.12729pt too wide) in paragraph at lines 1010--1011
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][] \OT1/cmr/m/n/10 ((\O
MS/cmsy/m/n/10 : []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )[][
]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 ))  \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 ; []; 
[]\OT1/cmr/m/n/10 )) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (191.16913pt too wide) in paragraph at lines 1012--1013
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][][] \OT1/cmr/m/n/10 ((
[]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )[][]([]([]\OML/cmm/m/it/10 ; [];
 []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; [][]; [][]\OT1/cmr/m/n/10 ))  \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 ; []; [][]\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 (191.16913pt too wide) in paragraph at lines 1014--1015
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][][] \OT1/cmr/m/n/10 ((
[]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )[][]([]([]\OML/cmm/m/it/10 ; [];
 []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; [][]; [][]\OT1/cmr/m/n/10 ))  \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 ; []; [][]\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 (284.05817pt too wide) in paragraph at lines 1016--1017
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][][] \OT1/cmr/m/n/10 ((
[]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )[][]([]([]\OML/cmm/m/it/10 ; [];
 []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([][]\OML/cmm/m/it/10 
; [][]\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; [][]\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 ; []; []\OT1/cmr/m/n/10 ([][]\OML/cmm/m/it/10 ; [][]\OT1/cmr/m/n/10 ))\OM
L/cmm/m/it/10 ; [][]\OT1/cmr/m/n/10 )) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/1
0 )$ 
 []


Overfull \hbox (85.36378pt too wide) in paragraph at lines 1025--1026
[]$[]\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/1
0 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/i
t/10 ; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([])) []([][]\OM
L/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (6.17192pt too wide) in paragraph at lines 1033--1034
[]$[]\OT1/cmr/m/n/10 ([][]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )\OML/cmm
/m/it/10 ; []; []\OT1/cmr/m/n/10 )[][]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/
10 ([])) []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (10.17178pt too wide) in paragraph at lines 1035--1036
[]$[]\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 )  \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/c
mr/m/n/10 )$ 
 []


Overfull \hbox (16.533pt too wide) in paragraph at lines 1037--1038
[]$\OT1/cmr/m/n/10 ([]([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/
10 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]))[][]([]\O
ML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 ([])))  \OMS/cmsy/m/n/10 )
 []


Overfull \hbox (58.61935pt too wide) in paragraph at lines 1037--1038
[]\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ;
 []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([])) []([][]\OML/
cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (450.43378pt too wide) in paragraph at lines 1039--1040
[]$\OT1/cmr/m/n/10 ([]([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]([]\OML/cmm/m/
it/10 ; []; []\OT1/cmr/m/n/10 ([]))\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML
/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )\OM
L/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]))[][]([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n
/10 ([]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 ([]))\OML/cmm/m/it/10 ; []\O
T1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([])))  \OMS/cmsy/m/n/10 )
 []


Overfull \hbox (314.73631pt too wide) in paragraph at lines 1041--1042
[]$[]\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/1
0 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]))  \OMS/cms
y/m/n/10 )  []\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 ; []\OT1/cmr/m/n/10 ([])) 
[]([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (489.20334pt too wide) in paragraph at lines 1043--1044
[]$\OT1/cmr/m/n/10 ([]([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/
10 ; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]))[][]([]\OML/c
mm/m/it/10 ; []; []\OT1/cmr/m/n/10 ([])))  \OMS/cmsy/m/n/10 )  []\OT1/cmr/m/n/1
0 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/
10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([])) []([][]\OML/cmm/m/it/10 ; []\OT1
/cmr/m/n/10 )$ 
 []


Overfull \hbox (100.73845pt too wide) in paragraph at lines 1058--1059
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][] \OT1/cmr/m/n/10 (([]
([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ) = [][][]([]\OML/cmm/m/it/10 ; []; []\
OT1/cmr/m/n/10 ))  \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 ; []; []\OT1/cmr/m/n/10 )) []([]\OML
/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (70.46062pt too wide) in paragraph at lines 1060--1061
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][] \OT1/cmr/m/n/10 ((\O
MS/cmsy/m/n/10 : []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )[][
]([]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []; []\OT1/
cmr/m/n/10 ))  \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 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (29.12723pt too wide) in paragraph at lines 1062--1063
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][]; [][]; [][] \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 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; [][]; 
[][]\OT1/cmr/m/n/10 ))[][]([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m
/it/10 ; [][]; [][]\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ))  \O
MS/cmsy/m/n/10 )
 []


Overfull \hbox (30.78003pt too wide) in paragraph at lines 1064--1065
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][]; [][] \OT1/cmr/m/n/1
0 (([] = [][]\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 ; [][]; []\OT1/cmr/m/n/10 ))[][]([]\OML/cmm/m/it
/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; [][]; []\OT1/cmr/m/n/10 )\OML/cmm
/m/it/10 ; []\OT1/cmr/m/n/10 ))  \OMS/cmsy/m/n/10 )
 []


Overfull \hbox (103.12729pt too wide) in paragraph at lines 1088--1089
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][] \OT1/cmr/m/n/10 ((\O
MS/cmsy/m/n/10 : []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )[][
]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 ))  \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 ; []; 
[]\OT1/cmr/m/n/10 )) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (170.65517pt too wide) in paragraph at lines 1090--1091
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][]; [][][] \OT1/cmr/m/n
/10 (([]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )[][]([]([]\OML/cmm/m/it/10
 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; [][]; [][]\OT1/cmr/m/n/10 ))  \OMS
/cmsy/m/n/10 )  []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/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 )) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (100.73845pt too wide) in paragraph at lines 1092--1093
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][] \OT1/cmr/m/n/10 (([]
([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ) = [][][]([]\OML/cmm/m/it/10 ; []; []\
OT1/cmr/m/n/10 ))  \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 ; []; []\OT1/cmr/m/n/10 )) []([]\OML
/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (70.46062pt too wide) in paragraph at lines 1094--1095
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][] \OT1/cmr/m/n/10 ((\O
MS/cmsy/m/n/10 : []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )[][
]([]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []; []\OT1/
cmr/m/n/10 ))  \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 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (202.1554pt too wide) in paragraph at lines 1096--1097
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; [][] \OT1/cmr/m/n/10 (([]([](
[])) = []([])[][]([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([])\OML/cmm/m/it/10 ;
 []\OT1/cmr/m/n/10 ))  \OMS/cmsy/m/n/10 )  []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/1
0 ; []; []\OT1/cmr/m/n/10 )) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []

[9]
Overfull \hbox (245.31517pt too wide) in paragraph at lines 1113--1114
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 a; b; c[] \OT1/cmr/m/n/10 (([](\OML/cmm/m
/it/10 a; b\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 b; c\OT1/cmr/m/n/10 ))  \OMS/
cmsy/m/n/10 )  []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 a; c\OT1/cmr/m/n/10 )) []([]
\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (103.73486pt too wide) in paragraph at lines 1115--1116
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 a; b; c[] \OT1/cmr/m/n/10 (([](\OML/cmm/m
/it/10 a; b\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 a; c\OT1/cmr/m/n/10 ))  \OMS/
cmsy/m/n/10 )  9\OML/cmm/m/it/10 d[] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 b; d\
OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 c; d\OT1/cmr/m/n/10 ))) []([]\OML/cmm/m/i
t/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (348.98482pt too wide) in paragraph at lines 1117--1118
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 a; b; c[] \OT1/cmr/m/n/10 (([](\OML/cmm/m
/it/10 a; a\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 a; b\OT1/cmr/m/n/10 )[][](\OM
L/cmm/m/it/10 a; c\OT1/cmr/m/n/10 ))  \OMS/cmsy/m/n/10 )  9\OML/cmm/m/it/10 d[]
 \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 b; d\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/1
0 c; d\OT1/cmr/m/n/10 ))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (104.96442pt too wide) in paragraph at lines 1119--1120
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 a; b[] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/
10 a; b\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 )  \OT1/cmr/m/n/10 (\OML/cmm/m/it/10
 a \OT1/cmr/m/n/10 = \OML/cmm/m/it/10 b[]\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 c[]
 \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 a; c\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/1
0 c; b\OT1/cmr/m/n/10 )))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (546.47827pt too wide) in paragraph at lines 1134--1135
[]$[]\OT1/cmr/m/n/10 ([]([]([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/
m/it/10 ; []; []\OT1/cmr/m/n/10 ([]([]([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )
))\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]([]([]\OML/cmm/m/it/10 ; []\OT1/cmr/m
/n/10 ))))\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([])\OML/cmm/m/it/10 ; []\OT1/cm
r/m/n/10 ([]([]([]([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )))\OML/cmm/m/it/10 ;
 []\OT1/cmr/m/n/10 ([]([]([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )))))\OML/cmm/
m/it/10 ; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ) =
 []


Overfull \hbox (581.20055pt too wide) in paragraph at lines 1138--1139
[]$[]\OT1/cmr/m/n/10 ([]([]([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/
m/it/10 ; []; []\OT1/cmr/m/n/10 ([]([]([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )
))\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]([]([]\OML/cmm/m/it/10 ; []\OT1/cmr/m
/n/10 ))))\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([])\OML/cmm/m/it/10 ; []\OT1/cm
r/m/n/10 ([]([]([]([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )))\OML/cmm/m/it/10 ;
 []\OT1/cmr/m/n/10 ([]([]([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )))))\OML/cmm/
m/it/10 ; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ) =
 []


Overfull \hbox (64.45262pt too wide) in paragraph at lines 1142--1143
[]$[]\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/1
0 ; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]([]\OML/cmm/m/it
/10 ; []\OT1/cmr/m/n/10 ))) []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (533.08939pt too wide) in paragraph at lines 1144--1145
[]$[]\OT1/cmr/m/n/10 ([]([]([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/
m/it/10 ; []; []\OT1/cmr/m/n/10 ([]([]([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )
))\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]([]([]\OML/cmm/m/it/10 ; []\OT1/cmr/m
/n/10 ))))\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([])\OML/cmm/m/it/10 ; []\OT1/cm
r/m/n/10 ([]([]([]([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )))\OML/cmm/m/it/10 ;
 []\OT1/cmr/m/n/10 ([]([]([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )))))\OML/cmm/
m/it/10 ; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ) =
 []


Overfull \hbox (153.10262pt too wide) in paragraph at lines 1146--1147
[]$[]\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/1
0 ; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]([]\OML/cmm/m/it
/10 ; []\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 (257.26944pt too wide) in paragraph at lines 1148--1149
[]$[]\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/1
0 ; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]([]\OML/cmm/m/it
/10 ; []\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 (722.80078pt too wide) in paragraph at lines 1150--1151
[]$[]\OT1/cmr/m/n/10 ([]([]([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )\OML/cmm/m/
it/10 ; []\OT1/cmr/m/n/10 ([]([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )\OML/cmm/
m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )\OML/cmm/m
/it/10 ; []\OT1/cmr/m/n/10 ([]([]([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )))\OM
L/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]([]([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10
 ))))\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([])\OML/cmm/m/it/10 ; []\OT1/cmr/m/n
/10 ([]([]([]([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )))\OML/cmm/m/it/10 ; []\O
T1/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 (100.73845pt too wide) in paragraph at lines 1171--1172
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][] \OT1/cmr/m/n/10 (([]
([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ) = [][][]([]\OML/cmm/m/it/10 ; []; []\
OT1/cmr/m/n/10 ))  \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 ; []; []\OT1/cmr/m/n/10 )) []([]\OML
/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (70.46062pt too wide) in paragraph at lines 1173--1174
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][] \OT1/cmr/m/n/10 ((\O
MS/cmsy/m/n/10 : []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )[][
]([]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []; []\OT1/
cmr/m/n/10 ))  \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 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (97.61348pt too wide) in paragraph at lines 1175--1176
[]$\OMS/cmsy/m/n/10 8[][] \OT1/cmr/m/n/10 (([]([]\OML/cmm/m/it/10 ; [][]; []\OT
1/cmr/m/n/10 )[]\OMS/cmsy/m/n/10 : []\OT1/cmr/m/n/10 ([][]))  \OMS/cmsy/m/n/10 
)  9[][] []\OT1/cmr/m/n/10 ([][]) = []([])) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/
m/n/10 )$ 
 []


Overfull \hbox (67.7801pt too wide) in paragraph at lines 1177--1178
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; [][] \OT1/cmr/m/n/10 (([]([]\OML/
cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []; [][]\OT1/cmr/m/n/10 )
\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )[]\OMS/cmsy/m/n/10 : []\OT1/cmr/m/n/10 ([
]([]\OML/cmm/m/it/10 ; []; [][]\OT1/cmr/m/n/10 )))  \OMS/cmsy/m/n/10 )  9[][] [
]\OT1/cmr/m/n/10 ([]([]\OML/cmm/m/it/10 ; []; [][]\OT1/cmr/m/n/10 )) =
 []


Overfull \hbox (98.41129pt too wide) in paragraph at lines 1188--1189
\OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 w; y; z\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 )[]\OMS/
cmsy/m/n/10 : [][]\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 y; z\OT1/cmr/m/n/10 ))  \OM
S/cmsy/m/n/10 )  \OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 w; y; z\OT1/cmr/m/n/10 
)[][](\OML/cmm/m/it/10 w; []\OT1/cmr/m/n/10 ))))) [](\OML/cmm/m/it/10 p[]; []\O
T1/cmr/m/n/10 )$ 
 []


Overfull \hbox (125.9517pt too wide) in paragraph at lines 1190--1191
[]$\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 8\OML/cmm/m/it/10 y; z[] \OT1/cmr/m/n/10 
((([](\OML/cmm/m/it/10 y\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 w; y; z\OT
1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 w; []\OT1/cmr/m/n/10 )))[](([](\OML/cmm/m/i
t/10 y\OT1/cmr/m/n/10 )[]\OMS/cmsy/m/n/10 : [][]\OT1/cmr/m/n/10 (\OML/cmm/m/it/
10 y; z\OT1/cmr/m/n/10 ))  \OMS/cmsy/m/n/10 )
 []


Overfull \hbox (56.28946pt too wide) in paragraph at lines 1190--1191
\OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 w; y; z\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/10 v[] \OT
1/cmr/m/n/10 ([](\OML/cmm/m/it/10 v\OT1/cmr/m/n/10 )[]\OMS/cmsy/m/n/10 8\OML/cm
m/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 w; y; y\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 w; []\OT1/cmr/m/n
/10 ))  \OMS/cmsy/m/n/10 )
 []


Overfull \hbox (75.83015pt too wide) in paragraph at lines 1190--1191
\OMS/cmsy/m/n/10 : [][]\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 v; y\OT1/cmr/m/n/10 ))
[](([](\OML/cmm/m/it/10 y\OT1/cmr/m/n/10 )[][][](\OML/cmm/m/it/10 w; y; y\OT1/c
mr/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; y\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/1
0 v; []\OT1/cmr/m/n/10 )))))) [](\OML/cmm/m/it/10 p[]; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (100.73845pt too wide) in paragraph at lines 1205--1206
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][] \OT1/cmr/m/n/10 (([]
([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ) = [][][]([]\OML/cmm/m/it/10 ; []; []\
OT1/cmr/m/n/10 ))  \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 ; []; []\OT1/cmr/m/n/10 )) []([]\OML
/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (70.46062pt too wide) in paragraph at lines 1207--1208
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][] \OT1/cmr/m/n/10 ((\O
MS/cmsy/m/n/10 : []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )[][
]([]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []; []\OT1/
cmr/m/n/10 ))  \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 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (165.01633pt too wide) in paragraph at lines 1209--1210
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; [][] \OT1/cmr/m/n/10 ((\OMS/c
msy/m/n/10 : []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )[][]([]
\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 ))  \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 ; []; []\O
T1/cmr/m/n/10 )) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (30.78003pt too wide) in paragraph at lines 1211--1212
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][]; [][] \OT1/cmr/m/n/1
0 (([] \OMS/cmsy/m/n/10 6\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 ; [][]; []\OT1
/cmr/m/n/10 ))[][]([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ;
 [][]; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ))  \OMS/cmsy/m/
n/10 )
 []


Overfull \hbox (30.78003pt too wide) in paragraph at lines 1213--1214
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][]; [][] \OT1/cmr/m/n/1
0 (([] = [][]\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 ; [][]; []\OT1/cmr/m/n/10 ))[][]([]\OML/cmm/m/it
/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; [][]; []\OT1/cmr/m/n/10 )\OML/cmm
/m/it/10 ; []\OT1/cmr/m/n/10 ))  \OMS/cmsy/m/n/10 )
 []

[10]
Overfull \hbox (388.98892pt too wide) in paragraph at lines 1215--1216
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][]; [][] \OT1/cmr/m/n/1
0 ((\OMS/cmsy/m/n/10 : []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/1
0 ([]\OML/cmm/m/it/10 ; [][]; []\OT1/cmr/m/n/10 ))[][]([]\OML/cmm/m/it/10 ; []\
OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; [][]; []\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 ([]([]\OML/cmm/m/
it/10 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([]\OML/cmm
/m/it/10 ; [][]; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )) [](
[]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (192.79431pt too wide) in paragraph at lines 1228--1229
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][] \OT1/cmr/m/n/10 (([]
([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ) = [][][]([]\OML/cmm/m/it/10 ; []\OT1/
cmr/m/n/10 ([])\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ))  \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
 ; []\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 (100.73845pt too wide) in paragraph at lines 1241--1242
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][] \OT1/cmr/m/n/10 (([]
([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ) = [][][]([]\OML/cmm/m/it/10 ; []; []\
OT1/cmr/m/n/10 ))  \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 ; []; []\OT1/cmr/m/n/10 )) []([]\OML
/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (70.46062pt too wide) in paragraph at lines 1243--1244
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][] \OT1/cmr/m/n/10 ((\O
MS/cmsy/m/n/10 : []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )[][
]([]([]\OML/cmm/m/it/10 ; []; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []; []\OT1/
cmr/m/n/10 ))  \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 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (222.98883pt too wide) in paragraph at lines 1245--1246
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][] \OT1/cmr/m/n/10 ((\O
MS/cmsy/m/n/10 : []\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([])
)[][]([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([])\OML/cmm/m/it/10 ; []\OT1/cmr/
m/n/10 ))  \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 ; []\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 (148.12746pt too wide) in paragraph at lines 1275--1276
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; [][] \OT1/cmr/m/n/10 (([]([]\
OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ) = [][][]([]\OML/cmm/m/it/10 ; []; []\OT1/
cmr/m/n/10 ))  \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 ; []; []\OT1/cmr/m/n/10 )) []([]\OML/cmm
/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (148.12746pt too wide) in paragraph at lines 1290--1291
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; [][] \OT1/cmr/m/n/10 (([]([]\
OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ) = [][][]([]\OML/cmm/m/it/10 ; []; []\OT1/
cmr/m/n/10 ))  \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 ; []; []\OT1/cmr/m/n/10 )) []([]\OML/cmm
/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (310.33604pt too wide) in paragraph at lines 1296--1297
[]$\OMS/cmsy/m/n/10 8[]\OML/cmm/m/it/10 ; []; []; []; [][]; [][] \OT1/cmr/m/n/1
0 (([]([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ) = [][][]([]\OML/cmm/m/it/10 ; [
]\OT1/cmr/m/n/10 ([]\OML/cmm/m/it/10 ; [][]; []\OT1/cmr/m/n/10 )\OML/cmm/m/it/1
0 ; []\OT1/cmr/m/n/10 ))  \OMS/cmsy/m/n/10 )  []\OT1/cmr/m/n/10 ([]([]\OML/cmm/
m/it/10 ; []; []\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 ; []\OT1/cmr/m/n/10 )) [
]([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []

[11] (./COM.aux) ) 
Here is how much of TeX's memory you used:
 1574 strings out of 256214
 16757 string characters out of 1916999
 84304 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,1284b,162s stack positions out of 5000i,500n,6000p,200000b,15000s
</usr/share/texmf/fonts/type1/bluesky/cm/cmbx10.pfb></usr/sha
re/texmf/fonts/type1/bluesky/cm/cmmi10.pfb></usr/share/texmf/fonts/type1/bluesk
y/cm/cmr10.pfb></usr/share/texmf/fonts/type1/bluesky/cm/cmr7.pfb></usr/share/te
xmf/fonts/type1/bluesky/cm/cmsy10.pfb>
Output written on COM.pdf (11 pages, 102803 bytes).
PDF statistics:
 58 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)