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.
**DAT.tex
(./DAT.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
) (./DAT.aux)
\openout1 = `DAT.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 (4.31453pt too wide) in paragraph at lines 120--121
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[][] []; x[][] [][] \OT1/cmr/m/n/10 ([](
\OML/cmm/m/it/10 x[]; x[]\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  []\OT1/cmr/m
/n/10 ([](\OML/cmm/m/it/10 x[]; x[]\OT1/cmr/m/n/10 )) = []([](\OML/cmm/m/it/10 
x[]\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 1)) []([][]\OML/cmm/m/it
/10 ; []\OT1/cmr/m/n/10 )$ 
 []

[1{/usr/share/texmf/fonts/map/pdftex/updmap/pdftex.map}]
Overfull \hbox (114.312pt too wide) in paragraph at lines 274--275
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] []; l[] [][] \OT1/cmr/m/n/10 ([](\OML
/cmm/m/it/10 x; l\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  \OT1/cmr/m/n/10 (\OM
S/cmsy/m/n/10 9\OML/cmm/m/it/10 h[] []; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it
/10 l \OT1/cmr/m/n/10 = [](\OML/cmm/m/it/10 h; t\OT1/cmr/m/n/10 )[]\OML/cmm/m/i
t/10 x \OT1/cmr/m/n/10 = \OML/cmm/m/it/10 h\OT1/cmr/m/n/10 )[]\OMS/cmsy/m/n/10 
9\OML/cmm/m/it/10 h[] []; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 l \OT1/cmr
/m/n/10 = [](\OML/cmm/m/it/10 h; t\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x; t\O
T1/cmr/m/n/10 )))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (163.99728pt too wide) in paragraph at lines 278--279
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 n[] []; l[] [][] \OT1/cmr/m/n/10 ([](\OML
/cmm/m/it/10 n; l\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  \OT1/cmr/m/n/10 (\OM
L/cmm/m/it/10 l \OT1/cmr/m/n/10 = [][]\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 k[] []
; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 l \OT1/cmr/m/n/10 = [](\OML/cmm/m/
it/10 k; t\OT1/cmr/m/n/10 )[][](0\OML/cmm/m/it/10 ; k\OT1/cmr/m/n/10 )[][](\OML
/cmm/m/it/10 k; n\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 n; t\OT1/cmr/m/n/10 )))
) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []

[2]
Overfull \hbox (114.312pt too wide) in paragraph at lines 355--356
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] []; l[] [][] \OT1/cmr/m/n/10 ([](\OML
/cmm/m/it/10 x; l\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  \OT1/cmr/m/n/10 (\OM
S/cmsy/m/n/10 9\OML/cmm/m/it/10 h[] []; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it
/10 l \OT1/cmr/m/n/10 = [](\OML/cmm/m/it/10 h; t\OT1/cmr/m/n/10 )[]\OML/cmm/m/i
t/10 x \OT1/cmr/m/n/10 = \OML/cmm/m/it/10 h\OT1/cmr/m/n/10 )[]\OMS/cmsy/m/n/10 
9\OML/cmm/m/it/10 h[] []; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 l \OT1/cmr
/m/n/10 = [](\OML/cmm/m/it/10 h; t\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x; t\O
T1/cmr/m/n/10 )))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (163.99728pt too wide) in paragraph at lines 359--360
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 n[] []; l[] [][] \OT1/cmr/m/n/10 ([](\OML
/cmm/m/it/10 n; l\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  \OT1/cmr/m/n/10 (\OM
L/cmm/m/it/10 l \OT1/cmr/m/n/10 = [][]\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 k[] []
; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 l \OT1/cmr/m/n/10 = [](\OML/cmm/m/
it/10 k; t\OT1/cmr/m/n/10 )[][](0\OML/cmm/m/it/10 ; k\OT1/cmr/m/n/10 )[][](\OML
/cmm/m/it/10 k; n\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 n; t\OT1/cmr/m/n/10 )))
) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (88.72633pt too wide) in paragraph at lines 404--405
[]$\OMS/cmsy/m/n/10 8[][] [][] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][] []\OML/c
mm/m/it/10 ; [][] [][] \OT1/cmr/m/n/10 ([]@[]@([]@[]@[])) = ([]@([]@[]@[])@[]) 
 \OMS/cmsy/m/n/10 )  \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 a[] a;
 [][][] [][] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][][] []\OML/cmm/m/it/10 ; [][
][] [][] \OT1/cmr/m/n/10 ([]@[][]@([]@[][]@[][])) =
 []


Overfull \hbox (8.74068pt too wide) in paragraph at lines 404--405
\OT1/cmr/m/n/10 ([]@([]@[][]@[][])@[][])  \OMS/cmsy/m/n/10 )  8[][] []\OML/cmm/
m/it/10 ; [][] [][] \OT1/cmr/m/n/10 ([]@([]@\OML/cmm/m/it/10 a\OT1/cmr/m/n/10 @
[][])@([]@[]@[])) = ([]@([]@([]@\OML/cmm/m/it/10 a\OT1/cmr/m/n/10 @[][])@[])@[]
))  \OMS/cmsy/m/n/10 )
 []


Overfull \hbox (468.95348pt too wide) in paragraph at lines 404--405
\OMS/cmsy/m/n/10 8[][][] []\OML/cmm/m/it/10 ; [][][] [][] \OT1/cmr/m/n/10 ([]@[
]@([]@[][]@[][])) = ([]@([]@[]@[][])@[][]))) []([][]\OML/cmm/m/it/10 ; []\OT1/c
mr/m/n/10 )$ 
 []

[3]
Overfull \hbox (163.99728pt too wide) in paragraph at lines 439--440
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 n[] []; l[] [][] \OT1/cmr/m/n/10 ([](\OML
/cmm/m/it/10 n; l\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  \OT1/cmr/m/n/10 (\OM
L/cmm/m/it/10 l \OT1/cmr/m/n/10 = [][]\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 k[] []
; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 l \OT1/cmr/m/n/10 = [](\OML/cmm/m/
it/10 k; t\OT1/cmr/m/n/10 )[][](0\OML/cmm/m/it/10 ; k\OT1/cmr/m/n/10 )[][](\OML
/cmm/m/it/10 k; n\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 n; t\OT1/cmr/m/n/10 )))
) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (289.23648pt too wide) in paragraph at lines 468--469
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 a[] []; n[] []; w[] [][] \OT1/cmr/m/n/10 
([](\OML/cmm/m/it/10 a; n\OT1/cmr/m/n/10 ) = \OML/cmm/m/it/10 w  \OMS/cmsy/m/n/
10 (  \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 i[] [][] \OT1/cmr/m/n
/10 (([](\OML/cmm/m/it/10 n; i\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 i; \OT1/cm
r/m/n/10 0))  \OMS/cmsy/m/n/10 )  []\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 a; i\O
T1/cmr/m/n/10 )\OML/cmm/m/it/10 ; w\OT1/cmr/m/n/10 ))[]\OMS/cmsy/m/n/10 9\OML/c
mm/m/it/10 i[] [][] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 n; i\OT1/cmr/m/n/10 )[
][](\OML/cmm/m/it/10 i; \OT1/cmr/m/n/10 0)[][](\OML/cmm/m/it/10 a; i\OT1/cmr/m/
n/10 ) =
 []


Overfull \hbox (267.37125pt too wide) in paragraph at lines 476--477
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 a[] []; r[] []; n[] [][] \OT1/cmr/m/n/10 
([](\OML/cmm/m/it/10 a; r; n\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  8\OML/cmm
/m/it/10 i[] [][] \OT1/cmr/m/n/10 (([](\OML/cmm/m/it/10 n; i\OT1/cmr/m/n/10 )[]
[](\OML/cmm/m/it/10 i; \OT1/cmr/m/n/10 0))  \OMS/cmsy/m/n/10 )  \OT1/cmr/m/n/10
 ([](\OML/cmm/m/it/10 r; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 a; i\OT1/cmr/m/n/1
0 ))[][]([](\OML/cmm/m/it/10 a; i\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; \OT1/cmr/m
/n/10 0)))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (75.05919pt too wide) in paragraph at lines 480--481
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 a[] []; n[] [][] \OT1/cmr/m/n/10 ([](\OML
/cmm/m/it/10 a; n\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  8\OML/cmm/m/it/10 i[
] []; j[] [][] \OT1/cmr/m/n/10 (([](\OML/cmm/m/it/10 n; i\OT1/cmr/m/n/10 )[][](
\OML/cmm/m/it/10 n; j\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 j; \OT1/cmr/m/n/10 
0)[][](\OML/cmm/m/it/10 i; \OT1/cmr/m/n/10 0))  \OMS/cmsy/m/n/10 )
 []


Overfull \hbox (341.64055pt too wide) in paragraph at lines 484--485
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 a[] []; b[] []; n[] [][] \OT1/cmr/m/n/10 
([](\OML/cmm/m/it/10 a; n\OT1/cmr/m/n/10 ) = \OML/cmm/m/it/10 b  \OMS/cmsy/m/n/
10 (  8\OML/cmm/m/it/10 i[] [][] \OT1/cmr/m/n/10 (([](\OML/cmm/m/it/10 i; \OT1/
cmr/m/n/10 0)[][](\OML/cmm/m/it/10 n; i\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 b
; i\OT1/cmr/m/n/10 ) = [](\OML/cmm/m/it/10 a; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/
10 n; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 i; \OT1/cmr/m/n/10 1))))[](([](0\OML/
cmm/m/it/10 ; i\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 i; n\OT1/cmr/m/n/10 ))[][
](\OML/cmm/m/it/10 b; i\OT1/cmr/m/n/10 ) =
 []


Overfull \hbox (98.157pt too wide) in paragraph at lines 505--506
[]$\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] []; z[] [][] \OT1/cm
r/m/n/10 (\OMS/cmsy/m/n/10 : []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\OT1/cmr/m/n/
10 )[][](\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 6\OT1/cmr/m/n/10 
= \OML/cmm/m/it/10 z[][]\OT1/cmr/m/n/10 (0\OML/cmm/m/it/10 ; z\OT1/cmr/m/n/10 )
)[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] []; y[] [][] \OT1/cmr/m/n/10 (\OMS/cm
sy/m/n/10 : []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 )[]\OMS/cmsy/m
/n/10 : []\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 y\OT1/cmr/m/n/10 ))[][](\OML/cmm
/m/it/10 x\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 6\OT1/cmr/m/n/10 =
 []


Overfull \hbox (173.43195pt too wide) in paragraph at lines 505--506
\OML/cmm/m/it/10 y[][]\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 y\OT1/cmr/m/n/10 )\O
ML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 )))[][](\
OML/cmm/m/it/10 a\OT1/cmr/m/n/10 )[][]([](\OML/cmm/m/it/10 a\OT1/cmr/m/n/10 ))[
][]([]([](\OML/cmm/m/it/10 a\OT1/cmr/m/n/10 ))))  \OMS/cmsy/m/n/10 )  []\OT1/cm
r/m/n/10 (3\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 a\OT1/cmr/m/n
/10 )) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []

[4]
Overfull \hbox (82.47409pt too wide) in paragraph at lines 547--548
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 u[] [][] \OT1/cmr/m/n/10 ((\OMS/cmsy/m/n/
10 8\OML/cmm/m/it/10 v[] [][] \OT1/cmr/m/n/10 (([](1\OML/cmm/m/it/10 ; v\OT1/cm
r/m/n/10 )[][](\OML/cmm/m/it/10 v; \OT1/cmr/m/n/10 10))  \OMS/cmsy/m/n/10 )  []
\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 u; v\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; v\
OT1/cmr/m/n/10 ))[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 w[] [][] \OT1/cmr/m/n/10 
(([](11\OML/cmm/m/it/10 ; w\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 w; \OT1/cmr/m
/n/10 20))  \OMS/cmsy/m/n/10 )
 []


Overfull \hbox (99.55763pt too wide) in paragraph at lines 547--548
[]\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 u; w\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; 
[]\OT1/cmr/m/n/10 (20\OML/cmm/m/it/10 ; w\OT1/cmr/m/n/10 ))))  \OMS/cmsy/m/n/10
 )  8\OML/cmm/m/it/10 x[] [][] \OT1/cmr/m/n/10 (([](6\OML/cmm/m/it/10 ; x\OT1/c
mr/m/n/10 )[][](\OML/cmm/m/it/10 x; \OT1/cmr/m/n/10 15))  \OMS/cmsy/m/n/10 )  [
]\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 u; x\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; \
OT1/cmr/m/n/10 5))) []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (114.312pt too wide) in paragraph at lines 576--577
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] []; l[] [][] \OT1/cmr/m/n/10 ([](\OML
/cmm/m/it/10 x; l\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  \OT1/cmr/m/n/10 (\OM
S/cmsy/m/n/10 9\OML/cmm/m/it/10 h[] []; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it
/10 l \OT1/cmr/m/n/10 = [](\OML/cmm/m/it/10 h; t\OT1/cmr/m/n/10 )[]\OML/cmm/m/i
t/10 x \OT1/cmr/m/n/10 = \OML/cmm/m/it/10 h\OT1/cmr/m/n/10 )[]\OMS/cmsy/m/n/10 
9\OML/cmm/m/it/10 h[] []; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 l \OT1/cmr
/m/n/10 = [](\OML/cmm/m/it/10 h; t\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x; t\O
T1/cmr/m/n/10 )))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (163.99728pt too wide) in paragraph at lines 580--581
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 n[] []; l[] [][] \OT1/cmr/m/n/10 ([](\OML
/cmm/m/it/10 n; l\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  \OT1/cmr/m/n/10 (\OM
L/cmm/m/it/10 l \OT1/cmr/m/n/10 = [][]\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 k[] []
; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 l \OT1/cmr/m/n/10 = [](\OML/cmm/m/
it/10 k; t\OT1/cmr/m/n/10 )[][](0\OML/cmm/m/it/10 ; k\OT1/cmr/m/n/10 )[][](\OML
/cmm/m/it/10 k; n\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 n; t\OT1/cmr/m/n/10 )))
) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (106.3539pt too wide) in paragraph at lines 615--616
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 u[] []; v[] []; w[] [][] \OT1/cmr/m/n/10 
((\OML/cmm/m/it/10 u \OT1/cmr/m/n/10 = 5 + (3 + (1 + []))[][](\OML/cmm/m/it/10 
v; u\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 w; u\OT1/cmr/m/n/10 )[]\OML/cmm/m/it
/10 v \OMS/cmsy/m/n/10 6\OT1/cmr/m/n/10 = \OML/cmm/m/it/10 w\OT1/cmr/m/n/10 )  
\OMS/cmsy/m/n/10 )  []\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 v; w\OT1/cmr/m/n/10 
)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 9)) []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/
n/10 )$ 
 []


Overfull \hbox (167.98541pt too wide) in paragraph at lines 637--638
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 u[] []; v[] []; w[] [][] \OT1/cmr/m/n/10 
(\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] [][] \OT1/cmr/m/n/10 (([](\OML/cmm/m/it
/10 v; x\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x; w\OT1/cmr/m/n/10 ))  \OMS/cms
y/m/n/10 )  []\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 u; x\OT1/cmr/m/n/10 )\OML/cm
m/m/it/10 ; \OT1/cmr/m/n/10 0))  \OMS/cmsy/m/n/10 )  8\OML/cmm/m/it/10 y[] [][]
 \OT1/cmr/m/n/10 (([]([](\OML/cmm/m/it/10 v; \OT1/cmr/m/n/10 3)\OML/cmm/m/it/10
 ; y\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 y; w\OT1/cmr/m/n/10 ))  \OMS/cmsy/m/
n/10 )
 []


Overfull \hbox (114.312pt too wide) in paragraph at lines 666--667
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] []; l[] [][] \OT1/cmr/m/n/10 ([](\OML
/cmm/m/it/10 x; l\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  \OT1/cmr/m/n/10 (\OM
S/cmsy/m/n/10 9\OML/cmm/m/it/10 h[] []; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it
/10 l \OT1/cmr/m/n/10 = [](\OML/cmm/m/it/10 h; t\OT1/cmr/m/n/10 )[]\OML/cmm/m/i
t/10 x \OT1/cmr/m/n/10 = \OML/cmm/m/it/10 h\OT1/cmr/m/n/10 )[]\OMS/cmsy/m/n/10 
9\OML/cmm/m/it/10 h[] []; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 l \OT1/cmr
/m/n/10 = [](\OML/cmm/m/it/10 h; t\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x; t\O
T1/cmr/m/n/10 )))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (163.99728pt too wide) in paragraph at lines 670--671
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 n[] []; l[] [][] \OT1/cmr/m/n/10 ([](\OML
/cmm/m/it/10 n; l\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  \OT1/cmr/m/n/10 (\OM
L/cmm/m/it/10 l \OT1/cmr/m/n/10 = [][]\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 k[] []
; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 l \OT1/cmr/m/n/10 = [](\OML/cmm/m/
it/10 k; t\OT1/cmr/m/n/10 )[][](0\OML/cmm/m/it/10 ; k\OT1/cmr/m/n/10 )[][](\OML
/cmm/m/it/10 k; n\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 n; t\OT1/cmr/m/n/10 )))
) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []

[5]
Overfull \hbox (23.27298pt too wide) in paragraph at lines 707--708
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 u[] []; v[] []; w[] [][] \OT1/cmr/m/n/10 
([](\OML/cmm/m/it/10 w; \OT1/cmr/m/n/10 0)  \OMS/cmsy/m/n/10 )  []\OT1/cmr/m/n/
10 ([]([](\OML/cmm/m/it/10 u\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; w\OT1/cmr/m/n/1
0 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 v \OT1/cmr/m/n/10 + (
\OML/cmm/m/it/10 v \OT1/cmr/m/n/10 + \OML/cmm/m/it/10 u\OT1/cmr/m/n/10 )))) [](
[][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (18.664pt too wide) in paragraph at lines 720--721
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 u[] []; v[] [][] \OT1/cmr/m/n/10 (\OMS/cm
sy/m/n/10 8\OML/cmm/m/it/10 w[] [][] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 w; u\
OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 )  []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 v; w\
OT1/cmr/m/n/10 ))  \OMS/cmsy/m/n/10 )  []\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 v
 \OT1/cmr/m/n/10 + \OML/cmm/m/it/10 u\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1
/cmr/m/n/10 (\OML/cmm/m/it/10 u\OT1/cmr/m/n/10 ))) []([][]\OML/cmm/m/it/10 ; []
\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (126.84207pt too wide) in paragraph at lines 731--732
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 u[] []; v[] []; w[] []; x[] [][] \OT1/cmr
/m/n/10 ((\OML/cmm/m/it/10 u \OT1/cmr/m/n/10 = []([]([](\OML/cmm/m/it/10 v; w; 
\OT1/cmr/m/n/10 3)\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 w; \OT
1/cmr/m/n/10 2)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 2)\OML/cmm/m/it/10 ; []\OT1/c
mr/m/n/10 (\OML/cmm/m/it/10 w; \OT1/cmr/m/n/10 4)\OML/cmm/m/it/10 ; \OT1/cmr/m/
n/10 1)[][](\OML/cmm/m/it/10 w; x\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x; []\O
T1/cmr/m/n/10 (\OML/cmm/m/it/10 w; \OT1/cmr/m/n/10 3)))  \OMS/cmsy/m/n/10 )
 []


Overfull \hbox (114.312pt too wide) in paragraph at lines 810--811
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] []; l[] [][] \OT1/cmr/m/n/10 ([](\OML
/cmm/m/it/10 x; l\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  \OT1/cmr/m/n/10 (\OM
S/cmsy/m/n/10 9\OML/cmm/m/it/10 h[] []; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it
/10 l \OT1/cmr/m/n/10 = [](\OML/cmm/m/it/10 h; t\OT1/cmr/m/n/10 )[]\OML/cmm/m/i
t/10 x \OT1/cmr/m/n/10 = \OML/cmm/m/it/10 h\OT1/cmr/m/n/10 )[]\OMS/cmsy/m/n/10 
9\OML/cmm/m/it/10 h[] []; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 l \OT1/cmr
/m/n/10 = [](\OML/cmm/m/it/10 h; t\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x; t\O
T1/cmr/m/n/10 )))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (163.99728pt too wide) in paragraph at lines 814--815
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 n[] []; l[] [][] \OT1/cmr/m/n/10 ([](\OML
/cmm/m/it/10 n; l\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  \OT1/cmr/m/n/10 (\OM
L/cmm/m/it/10 l \OT1/cmr/m/n/10 = [][]\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 k[] []
; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 l \OT1/cmr/m/n/10 = [](\OML/cmm/m/
it/10 k; t\OT1/cmr/m/n/10 )[][](0\OML/cmm/m/it/10 ; k\OT1/cmr/m/n/10 )[][](\OML
/cmm/m/it/10 k; n\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 n; t\OT1/cmr/m/n/10 )))
) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []

[6]
Overfull \hbox (100.88866pt too wide) in paragraph at lines 851--852
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 u[] []; v[] []; w[] [][] \OT1/cmr/m/n/10 
(([](\OML/cmm/m/it/10 v; \OT1/cmr/m/n/10 3)[][](6\OML/cmm/m/it/10 ; w\OT1/cmr/m
/n/10 )[][](\OML/cmm/m/it/10 v; u\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 w; u\OT
1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 u\OT1/cmr/m/n/10 ) = 2)  \OMS/cmsy/m/n/10 )
  : []\OT1/cmr/m/n/10 (5\OML/cmm/m/it/10 ; u\OT1/cmr/m/n/10 )) []([][]\OML/cmm/
m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (196.90248pt too wide) in paragraph at lines 862--863
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 u[] []; v[] [][] \OT1/cmr/m/n/10 (\OML/cm
m/m/it/10 u \OT1/cmr/m/n/10 = []([]([]([](\OML/cmm/m/it/10 v; \OT1/cmr/m/n/10 3
\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 33)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 4\OML/
cmm/m/it/10 ; \OT1/cmr/m/n/10 444)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 5\OML/cmm/
m/it/10 ; \OT1/cmr/m/n/10 55)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 4\OML/cmm/m/it/
10 ; \OT1/cmr/m/n/10 44)  \OMS/cmsy/m/n/10 )  9\OML/cmm/m/it/10 w[] [][] \OT1/c
mr/m/n/10 ([]([](\OML/cmm/m/it/10 u; w\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; \OT1/
cmr/m/n/10 40)[][](30\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 u; 
w\OT1/cmr/m/n/10 )))) []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (143.09062pt too wide) in paragraph at lines 877--878
[]$\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 b\OT1/cmr/m/n/10 )[][]([](\OML/cmm/m/it
/10 b\OT1/cmr/m/n/10 ))[][]([](\OML/cmm/m/it/10 b\OT1/cmr/m/n/10 )) = \OML/cmm/
m/it/10 a[]\OT1/cmr/m/n/10 ([](2\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([][](\OML
/cmm/m/it/10 a\OT1/cmr/m/n/10 ))) = []([](\OML/cmm/m/it/10 a\OT1/cmr/m/n/10 )\O
ML/cmm/m/it/10 ; \OT1/cmr/m/n/10 1)[][](2\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (
[][](\OML/cmm/m/it/10 a\OT1/cmr/m/n/10 ))) =
 []


Overfull \hbox (86.64941pt too wide) in paragraph at lines 877--878
[]\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 a\OT1/cmr/m/n/10 )))  \OMS/cmsy/m/n/10 )  \
OT1/cmr/m/n/10 ([](2\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/10
 b\OT1/cmr/m/n/10 ))) = []([](\OML/cmm/m/it/10 b\OT1/cmr/m/n/10 )\OML/cmm/m/it/
10 ; \OT1/cmr/m/n/10 1)[][](2\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([][](\OML/cm
m/m/it/10 b\OT1/cmr/m/n/10 ))) = [](\OML/cmm/m/it/10 b\OT1/cmr/m/n/10 )) []([][
]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (289.23648pt too wide) in paragraph at lines 928--929
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 a[] []; n[] []; w[] [][] \OT1/cmr/m/n/10 
([](\OML/cmm/m/it/10 a; n\OT1/cmr/m/n/10 ) = \OML/cmm/m/it/10 w  \OMS/cmsy/m/n/
10 (  \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 i[] [][] \OT1/cmr/m/n
/10 (([](\OML/cmm/m/it/10 n; i\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 i; \OT1/cm
r/m/n/10 0))  \OMS/cmsy/m/n/10 )  []\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 a; i\O
T1/cmr/m/n/10 )\OML/cmm/m/it/10 ; w\OT1/cmr/m/n/10 ))[]\OMS/cmsy/m/n/10 9\OML/c
mm/m/it/10 i[] [][] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 n; i\OT1/cmr/m/n/10 )[
][](\OML/cmm/m/it/10 i; \OT1/cmr/m/n/10 0)[][](\OML/cmm/m/it/10 a; i\OT1/cmr/m/
n/10 ) =
 []


Overfull \hbox (267.37125pt too wide) in paragraph at lines 936--937
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 a[] []; r[] []; n[] [][] \OT1/cmr/m/n/10 
([](\OML/cmm/m/it/10 a; r; n\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  8\OML/cmm
/m/it/10 i[] [][] \OT1/cmr/m/n/10 (([](\OML/cmm/m/it/10 n; i\OT1/cmr/m/n/10 )[]
[](\OML/cmm/m/it/10 i; \OT1/cmr/m/n/10 0))  \OMS/cmsy/m/n/10 )  \OT1/cmr/m/n/10
 ([](\OML/cmm/m/it/10 r; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 a; i\OT1/cmr/m/n/1
0 ))[][]([](\OML/cmm/m/it/10 a; i\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; \OT1/cmr/m
/n/10 0)))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (75.05919pt too wide) in paragraph at lines 940--941
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 a[] []; n[] [][] \OT1/cmr/m/n/10 ([](\OML
/cmm/m/it/10 a; n\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  8\OML/cmm/m/it/10 i[
] []; j[] [][] \OT1/cmr/m/n/10 (([](\OML/cmm/m/it/10 n; i\OT1/cmr/m/n/10 )[][](
\OML/cmm/m/it/10 n; j\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 j; \OT1/cmr/m/n/10 
0)[][](\OML/cmm/m/it/10 i; \OT1/cmr/m/n/10 0))  \OMS/cmsy/m/n/10 )
 []


Overfull \hbox (341.64055pt too wide) in paragraph at lines 944--945
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 a[] []; b[] []; n[] [][] \OT1/cmr/m/n/10 
([](\OML/cmm/m/it/10 a; n\OT1/cmr/m/n/10 ) = \OML/cmm/m/it/10 b  \OMS/cmsy/m/n/
10 (  8\OML/cmm/m/it/10 i[] [][] \OT1/cmr/m/n/10 (([](\OML/cmm/m/it/10 i; \OT1/
cmr/m/n/10 0)[][](\OML/cmm/m/it/10 n; i\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 b
; i\OT1/cmr/m/n/10 ) = [](\OML/cmm/m/it/10 a; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/
10 n; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 i; \OT1/cmr/m/n/10 1))))[](([](0\OML/
cmm/m/it/10 ; i\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 i; n\OT1/cmr/m/n/10 ))[][
](\OML/cmm/m/it/10 b; i\OT1/cmr/m/n/10 ) =
 []


Overfull \hbox (2.51137pt too wide) in paragraph at lines 959--960
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 u[] []; v[] []; w[] [][] \OT1/cmr/m/n/10 
([](\OML/cmm/m/it/10 w; \OT1/cmr/m/n/10 0)  \OMS/cmsy/m/n/10 )  []\OT1/cmr/m/n/
10 ([]([](\OML/cmm/m/it/10 u\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; w\OT1/cmr/m/n/1
0 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 v \OT1/cmr/m/n/10 + \
OML/cmm/m/it/10 u\OT1/cmr/m/n/10 ))) []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/1
0 )$ 
 []

[7]
Overfull \hbox (4.79648pt too wide) in paragraph at lines 984--985
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] []; y[] []; z[] []; r[] [][] \OT1/cmr
/m/n/10 (([](\OML/cmm/m/it/10 x; y\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 z; []\
OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x; y\OT1/cmr/m/n/10 ))[][]([](\OML/cmm/m/it/10
 y; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 z; r\OT1/cmr/m/n/10 ))))  \OMS/cmsy/m/n
/10 )
 []


Overfull \hbox (114.312pt too wide) in paragraph at lines 1026--1027
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] []; l[] [][] \OT1/cmr/m/n/10 ([](\OML
/cmm/m/it/10 x; l\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  \OT1/cmr/m/n/10 (\OM
S/cmsy/m/n/10 9\OML/cmm/m/it/10 h[] []; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it
/10 l \OT1/cmr/m/n/10 = [](\OML/cmm/m/it/10 h; t\OT1/cmr/m/n/10 )[]\OML/cmm/m/i
t/10 x \OT1/cmr/m/n/10 = \OML/cmm/m/it/10 h\OT1/cmr/m/n/10 )[]\OMS/cmsy/m/n/10 
9\OML/cmm/m/it/10 h[] []; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 l \OT1/cmr
/m/n/10 = [](\OML/cmm/m/it/10 h; t\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x; t\O
T1/cmr/m/n/10 )))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (163.99728pt too wide) in paragraph at lines 1030--1031
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 n[] []; l[] [][] \OT1/cmr/m/n/10 ([](\OML
/cmm/m/it/10 n; l\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  \OT1/cmr/m/n/10 (\OM
L/cmm/m/it/10 l \OT1/cmr/m/n/10 = [][]\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 k[] []
; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 l \OT1/cmr/m/n/10 = [](\OML/cmm/m/
it/10 k; t\OT1/cmr/m/n/10 )[][](0\OML/cmm/m/it/10 ; k\OT1/cmr/m/n/10 )[][](\OML
/cmm/m/it/10 k; n\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 n; t\OT1/cmr/m/n/10 )))
) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (163.99728pt too wide) in paragraph at lines 1083--1084
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 n[] []; l[] [][] \OT1/cmr/m/n/10 ([](\OML
/cmm/m/it/10 n; l\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  \OT1/cmr/m/n/10 (\OM
L/cmm/m/it/10 l \OT1/cmr/m/n/10 = [][]\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 k[] []
; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 l \OT1/cmr/m/n/10 = [](\OML/cmm/m/
it/10 k; t\OT1/cmr/m/n/10 )[][](0\OML/cmm/m/it/10 ; k\OT1/cmr/m/n/10 )[][](\OML
/cmm/m/it/10 k; n\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 n; t\OT1/cmr/m/n/10 )))
) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (139.12947pt too wide) in paragraph at lines 1096--1097
[]\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 u; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 w; \
OT1/cmr/m/n/10 2)\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 u; [
]\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 w; \OT1/cmr/m/n/10 1))\OML/cmm/m/it/10 ; \OT
1/cmr/m/n/10 1)))  \OMS/cmsy/m/n/10 )  8\OML/cmm/m/it/10 z[] [][] \OT1/cmr/m/n/
10 (([](\OML/cmm/m/it/10 w; z\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 z; x\OT1/cm
r/m/n/10 ))  \OMS/cmsy/m/n/10 )  []\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 v; z\OT
1/cmr/m/n/10 )\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 0))) []([][]\OML/cmm/m/it/10 ;
 []\OT1/cmr/m/n/10 )$ 
 []

[8]
Overfull \hbox (289.23648pt too wide) in paragraph at lines 1136--1137
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 a[] []; n[] []; w[] [][] \OT1/cmr/m/n/10 
([](\OML/cmm/m/it/10 a; n\OT1/cmr/m/n/10 ) = \OML/cmm/m/it/10 w  \OMS/cmsy/m/n/
10 (  \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 i[] [][] \OT1/cmr/m/n
/10 (([](\OML/cmm/m/it/10 n; i\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 i; \OT1/cm
r/m/n/10 0))  \OMS/cmsy/m/n/10 )  []\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 a; i\O
T1/cmr/m/n/10 )\OML/cmm/m/it/10 ; w\OT1/cmr/m/n/10 ))[]\OMS/cmsy/m/n/10 9\OML/c
mm/m/it/10 i[] [][] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 n; i\OT1/cmr/m/n/10 )[
][](\OML/cmm/m/it/10 i; \OT1/cmr/m/n/10 0)[][](\OML/cmm/m/it/10 a; i\OT1/cmr/m/
n/10 ) =
 []


Overfull \hbox (267.37125pt too wide) in paragraph at lines 1144--1145
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 a[] []; r[] []; n[] [][] \OT1/cmr/m/n/10 
([](\OML/cmm/m/it/10 a; r; n\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  8\OML/cmm
/m/it/10 i[] [][] \OT1/cmr/m/n/10 (([](\OML/cmm/m/it/10 n; i\OT1/cmr/m/n/10 )[]
[](\OML/cmm/m/it/10 i; \OT1/cmr/m/n/10 0))  \OMS/cmsy/m/n/10 )  \OT1/cmr/m/n/10
 ([](\OML/cmm/m/it/10 r; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 a; i\OT1/cmr/m/n/1
0 ))[][]([](\OML/cmm/m/it/10 a; i\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; \OT1/cmr/m
/n/10 0)))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (75.05919pt too wide) in paragraph at lines 1148--1149
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 a[] []; n[] [][] \OT1/cmr/m/n/10 ([](\OML
/cmm/m/it/10 a; n\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  8\OML/cmm/m/it/10 i[
] []; j[] [][] \OT1/cmr/m/n/10 (([](\OML/cmm/m/it/10 n; i\OT1/cmr/m/n/10 )[][](
\OML/cmm/m/it/10 n; j\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 j; \OT1/cmr/m/n/10 
0)[][](\OML/cmm/m/it/10 i; \OT1/cmr/m/n/10 0))  \OMS/cmsy/m/n/10 )
 []


Overfull \hbox (341.64055pt too wide) in paragraph at lines 1152--1153
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 a[] []; b[] []; n[] [][] \OT1/cmr/m/n/10 
([](\OML/cmm/m/it/10 a; n\OT1/cmr/m/n/10 ) = \OML/cmm/m/it/10 b  \OMS/cmsy/m/n/
10 (  8\OML/cmm/m/it/10 i[] [][] \OT1/cmr/m/n/10 (([](\OML/cmm/m/it/10 i; \OT1/
cmr/m/n/10 0)[][](\OML/cmm/m/it/10 n; i\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 b
; i\OT1/cmr/m/n/10 ) = [](\OML/cmm/m/it/10 a; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/
10 n; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 i; \OT1/cmr/m/n/10 1))))[](([](0\OML/
cmm/m/it/10 ; i\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 i; n\OT1/cmr/m/n/10 ))[][
](\OML/cmm/m/it/10 b; i\OT1/cmr/m/n/10 ) =
 []


Overfull \hbox (261.82602pt too wide) in paragraph at lines 1165--1166
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 u[] []; v[] [][] \OT1/cmr/m/n/10 ((\OMS/c
msy/m/n/10 8\OML/cmm/m/it/10 w[] [][] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 w; v
\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 0))[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] [][] \OT1/cmr/m/n/10
 ([](\OML/cmm/m/it/10 x; u\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 )  9\OML/cmm/m/it
/10 y[] [][] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 y; v\OT1/cmr/m/n/10 )[][]([](
[](2\OML/cmm/m/it/10 ; x\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (
5\OML/cmm/m/it/10 ; y\OT1/cmr/m/n/10 ))\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 0))))
  \OMS/cmsy/m/n/10 )
 []


Overfull \hbox (163.99728pt too wide) in paragraph at lines 1194--1195
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 n[] []; l[] [][] \OT1/cmr/m/n/10 ([](\OML
/cmm/m/it/10 n; l\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  \OT1/cmr/m/n/10 (\OM
L/cmm/m/it/10 l \OT1/cmr/m/n/10 = [][]\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 k[] []
; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 l \OT1/cmr/m/n/10 = [](\OML/cmm/m/
it/10 k; t\OT1/cmr/m/n/10 )[][](0\OML/cmm/m/it/10 ; k\OT1/cmr/m/n/10 )[][](\OML
/cmm/m/it/10 k; n\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 n; t\OT1/cmr/m/n/10 )))
) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (289.23648pt too wide) in paragraph at lines 1223--1224
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 a[] []; n[] []; w[] [][] \OT1/cmr/m/n/10 
([](\OML/cmm/m/it/10 a; n\OT1/cmr/m/n/10 ) = \OML/cmm/m/it/10 w  \OMS/cmsy/m/n/
10 (  \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 i[] [][] \OT1/cmr/m/n
/10 (([](\OML/cmm/m/it/10 n; i\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 i; \OT1/cm
r/m/n/10 0))  \OMS/cmsy/m/n/10 )  []\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 a; i\O
T1/cmr/m/n/10 )\OML/cmm/m/it/10 ; w\OT1/cmr/m/n/10 ))[]\OMS/cmsy/m/n/10 9\OML/c
mm/m/it/10 i[] [][] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 n; i\OT1/cmr/m/n/10 )[
][](\OML/cmm/m/it/10 i; \OT1/cmr/m/n/10 0)[][](\OML/cmm/m/it/10 a; i\OT1/cmr/m/
n/10 ) =
 []

[9]
Overfull \hbox (267.37125pt too wide) in paragraph at lines 1231--1232
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 a[] []; r[] []; n[] [][] \OT1/cmr/m/n/10 
([](\OML/cmm/m/it/10 a; r; n\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  8\OML/cmm
/m/it/10 i[] [][] \OT1/cmr/m/n/10 (([](\OML/cmm/m/it/10 n; i\OT1/cmr/m/n/10 )[]
[](\OML/cmm/m/it/10 i; \OT1/cmr/m/n/10 0))  \OMS/cmsy/m/n/10 )  \OT1/cmr/m/n/10
 ([](\OML/cmm/m/it/10 r; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 a; i\OT1/cmr/m/n/1
0 ))[][]([](\OML/cmm/m/it/10 a; i\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; \OT1/cmr/m
/n/10 0)))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (75.05919pt too wide) in paragraph at lines 1235--1236
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 a[] []; n[] [][] \OT1/cmr/m/n/10 ([](\OML
/cmm/m/it/10 a; n\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  8\OML/cmm/m/it/10 i[
] []; j[] [][] \OT1/cmr/m/n/10 (([](\OML/cmm/m/it/10 n; i\OT1/cmr/m/n/10 )[][](
\OML/cmm/m/it/10 n; j\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 j; \OT1/cmr/m/n/10 
0)[][](\OML/cmm/m/it/10 i; \OT1/cmr/m/n/10 0))  \OMS/cmsy/m/n/10 )
 []


Overfull \hbox (341.64055pt too wide) in paragraph at lines 1239--1240
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 a[] []; b[] []; n[] [][] \OT1/cmr/m/n/10 
([](\OML/cmm/m/it/10 a; n\OT1/cmr/m/n/10 ) = \OML/cmm/m/it/10 b  \OMS/cmsy/m/n/
10 (  8\OML/cmm/m/it/10 i[] [][] \OT1/cmr/m/n/10 (([](\OML/cmm/m/it/10 i; \OT1/
cmr/m/n/10 0)[][](\OML/cmm/m/it/10 n; i\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 b
; i\OT1/cmr/m/n/10 ) = [](\OML/cmm/m/it/10 a; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/
10 n; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 i; \OT1/cmr/m/n/10 1))))[](([](0\OML/
cmm/m/it/10 ; i\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 i; n\OT1/cmr/m/n/10 ))[][
](\OML/cmm/m/it/10 b; i\OT1/cmr/m/n/10 ) =
 []


Overfull \hbox (39.21709pt too wide) in paragraph at lines 1263--1264
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 u[] []; v[] []; w[] [][] \OT1/cmr/m/n/10 
((\OML/cmm/m/it/10 u \OT1/cmr/m/n/10 = []([]([]([](\OML/cmm/m/it/10 v; \OT1/cmr
/m/n/10 3\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 33)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/
10 4\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 444)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 5
\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 55)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 4\OML/
cmm/m/it/10 ; \OT1/cmr/m/n/10 44)[][](3\OML/cmm/m/it/10 ; w\OT1/cmr/m/n/10 )[][
](\OML/cmm/m/it/10 w; \OT1/cmr/m/n/10 4))  \OMS/cmsy/m/n/10 )
 []


Overfull \hbox (163.99728pt too wide) in paragraph at lines 1303--1304
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 n[] []; l[] [][] \OT1/cmr/m/n/10 ([](\OML
/cmm/m/it/10 n; l\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  \OT1/cmr/m/n/10 (\OM
L/cmm/m/it/10 l \OT1/cmr/m/n/10 = [][]\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 k[] []
; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 l \OT1/cmr/m/n/10 = [](\OML/cmm/m/
it/10 k; t\OT1/cmr/m/n/10 )[][](0\OML/cmm/m/it/10 ; k\OT1/cmr/m/n/10 )[][](\OML
/cmm/m/it/10 k; n\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 n; t\OT1/cmr/m/n/10 )))
) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (87.95232pt too wide) in paragraph at lines 1305--1306
[]$\OMS/cmsy/m/n/10 : 8\OML/cmm/m/it/10 n[] []; l[][] []; l[][] [][] \OT1/cmr/m
/n/10 (([](\OML/cmm/m/it/10 n; \OT1/cmr/m/n/10 0)[][](\OML/cmm/m/it/10 n; l[]\O
T1/cmr/m/n/10 )[]\OML/cmm/m/it/10 l[] \OT1/cmr/m/n/10 = []([](\OML/cmm/m/it/10 
n; \OT1/cmr/m/n/10 2)\OML/cmm/m/it/10 ; l[]\OT1/cmr/m/n/10 ))  \OMS/cmsy/m/n/10
 )  []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 n; l[]\OT1/cmr/m/n/10 )) [](\OML/cmm/m/
it/10 c; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (114.312pt too wide) in paragraph at lines 1334--1335
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] []; l[] [][] \OT1/cmr/m/n/10 ([](\OML
/cmm/m/it/10 x; l\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  \OT1/cmr/m/n/10 (\OM
S/cmsy/m/n/10 9\OML/cmm/m/it/10 h[] []; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it
/10 l \OT1/cmr/m/n/10 = [](\OML/cmm/m/it/10 h; t\OT1/cmr/m/n/10 )[]\OML/cmm/m/i
t/10 x \OT1/cmr/m/n/10 = \OML/cmm/m/it/10 h\OT1/cmr/m/n/10 )[]\OMS/cmsy/m/n/10 
9\OML/cmm/m/it/10 h[] []; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 l \OT1/cmr
/m/n/10 = [](\OML/cmm/m/it/10 h; t\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x; t\O
T1/cmr/m/n/10 )))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (163.99728pt too wide) in paragraph at lines 1338--1339
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 n[] []; l[] [][] \OT1/cmr/m/n/10 ([](\OML
/cmm/m/it/10 n; l\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  \OT1/cmr/m/n/10 (\OM
L/cmm/m/it/10 l \OT1/cmr/m/n/10 = [][]\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 k[] []
; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 l \OT1/cmr/m/n/10 = [](\OML/cmm/m/
it/10 k; t\OT1/cmr/m/n/10 )[][](0\OML/cmm/m/it/10 ; k\OT1/cmr/m/n/10 )[][](\OML
/cmm/m/it/10 k; n\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 n; t\OT1/cmr/m/n/10 )))
) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []

[10]
Overfull \hbox (163.99728pt too wide) in paragraph at lines 1402--1403
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 n[] []; l[] [][] \OT1/cmr/m/n/10 ([](\OML
/cmm/m/it/10 n; l\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  \OT1/cmr/m/n/10 (\OM
L/cmm/m/it/10 l \OT1/cmr/m/n/10 = [][]\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 k[] []
; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 l \OT1/cmr/m/n/10 = [](\OML/cmm/m/
it/10 k; t\OT1/cmr/m/n/10 )[][](0\OML/cmm/m/it/10 ; k\OT1/cmr/m/n/10 )[][](\OML
/cmm/m/it/10 k; n\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 n; t\OT1/cmr/m/n/10 )))
) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


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


Overfull \hbox (40.69424pt too wide) in paragraph at lines 1438--1439
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 u[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it/1
0 u \OT1/cmr/m/n/10 = 10 + (30 + (50 + []))  \OMS/cmsy/m/n/10 )  9\OML/cmm/m/it
/10 v[] [][] \OT1/cmr/m/n/10 ([](20\OML/cmm/m/it/10 ; v\OT1/cmr/m/n/10 )[][](\O
ML/cmm/m/it/10 v; \OT1/cmr/m/n/10 40)[][](\OML/cmm/m/it/10 v; u\OT1/cmr/m/n/10 
))) []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (16.09427pt too wide) in paragraph at lines 1449--1450
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 u[] [][] \OT1/cmr/m/n/10 ((\OMS/cmsy/m/n/
10 8\OML/cmm/m/it/10 v[] [][] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 v; u\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 0))[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 w[] [][] \OT1/cmr/m/n/10 ([](\OM
L/cmm/m/it/10 w; u\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 (0\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 (1
\OML/cmm/m/it/10 ; u\OT1/cmr/m/n/10 )))))  \OMS/cmsy/m/n/10 )
 []


Overfull \hbox (7.3279pt too wide) in paragraph at lines 1460--1461
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 u[] []; v[] [][] \OT1/cmr/m/n/10 ((\OMS/c
msy/m/n/10 8\OML/cmm/m/it/10 w[] [][] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 w; v
\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 0))[]\OML/cmm/m/it/10 u \OT1/cmr/m/n/10 = 2 + [](7\OML/cmm/m/it/
10 ; v\OT1/cmr/m/n/10 ))  \OMS/cmsy/m/n/10 )  8\OML/cmm/m/it/10 x[] [][] \OT1/c
mr/m/n/10 ([](\OML/cmm/m/it/10 x; u\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 )
 []

[11]
Overfull \hbox (289.23648pt too wide) in paragraph at lines 1520--1521
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 a[] []; n[] []; w[] [][] \OT1/cmr/m/n/10 
([](\OML/cmm/m/it/10 a; n\OT1/cmr/m/n/10 ) = \OML/cmm/m/it/10 w  \OMS/cmsy/m/n/
10 (  \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 i[] [][] \OT1/cmr/m/n
/10 (([](\OML/cmm/m/it/10 n; i\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 i; \OT1/cm
r/m/n/10 0))  \OMS/cmsy/m/n/10 )  []\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 a; i\O
T1/cmr/m/n/10 )\OML/cmm/m/it/10 ; w\OT1/cmr/m/n/10 ))[]\OMS/cmsy/m/n/10 9\OML/c
mm/m/it/10 i[] [][] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 n; i\OT1/cmr/m/n/10 )[
][](\OML/cmm/m/it/10 i; \OT1/cmr/m/n/10 0)[][](\OML/cmm/m/it/10 a; i\OT1/cmr/m/
n/10 ) =
 []


Overfull \hbox (267.37125pt too wide) in paragraph at lines 1528--1529
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 a[] []; r[] []; n[] [][] \OT1/cmr/m/n/10 
([](\OML/cmm/m/it/10 a; r; n\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  8\OML/cmm
/m/it/10 i[] [][] \OT1/cmr/m/n/10 (([](\OML/cmm/m/it/10 n; i\OT1/cmr/m/n/10 )[]
[](\OML/cmm/m/it/10 i; \OT1/cmr/m/n/10 0))  \OMS/cmsy/m/n/10 )  \OT1/cmr/m/n/10
 ([](\OML/cmm/m/it/10 r; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 a; i\OT1/cmr/m/n/1
0 ))[][]([](\OML/cmm/m/it/10 a; i\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; \OT1/cmr/m
/n/10 0)))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (75.05919pt too wide) in paragraph at lines 1532--1533
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 a[] []; n[] [][] \OT1/cmr/m/n/10 ([](\OML
/cmm/m/it/10 a; n\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  8\OML/cmm/m/it/10 i[
] []; j[] [][] \OT1/cmr/m/n/10 (([](\OML/cmm/m/it/10 n; i\OT1/cmr/m/n/10 )[][](
\OML/cmm/m/it/10 n; j\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 j; \OT1/cmr/m/n/10 
0)[][](\OML/cmm/m/it/10 i; \OT1/cmr/m/n/10 0))  \OMS/cmsy/m/n/10 )
 []


Overfull \hbox (341.64055pt too wide) in paragraph at lines 1536--1537
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 a[] []; b[] []; n[] [][] \OT1/cmr/m/n/10 
([](\OML/cmm/m/it/10 a; n\OT1/cmr/m/n/10 ) = \OML/cmm/m/it/10 b  \OMS/cmsy/m/n/
10 (  8\OML/cmm/m/it/10 i[] [][] \OT1/cmr/m/n/10 (([](\OML/cmm/m/it/10 i; \OT1/
cmr/m/n/10 0)[][](\OML/cmm/m/it/10 n; i\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 b
; i\OT1/cmr/m/n/10 ) = [](\OML/cmm/m/it/10 a; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/
10 n; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 i; \OT1/cmr/m/n/10 1))))[](([](0\OML/
cmm/m/it/10 ; i\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 i; n\OT1/cmr/m/n/10 ))[][
](\OML/cmm/m/it/10 b; i\OT1/cmr/m/n/10 ) =
 []


Overfull \hbox (16.43214pt too wide) in paragraph at lines 1562--1563
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 u[] []; v[] []; w[] [][] \OT1/cmr/m/n/10 
(\OML/cmm/m/it/10 u \OT1/cmr/m/n/10 = []([]([]([](\OML/cmm/m/it/10 v; \OT1/cmr/
m/n/10 3\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 33)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/1
0 4\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 44)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 5\O
ML/cmm/m/it/10 ; \OT1/cmr/m/n/10 55)\OML/cmm/m/it/10 ; w; \OT1/cmr/m/n/10 66)  
\OMS/cmsy/m/n/10 )  \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 u; \OT1/cmr/m/n/10 4) 
= 44[][](\OML/cmm/m/it/10 u; \OT1/cmr/m/n/10 4) =
 []


Overfull \hbox (114.312pt too wide) in paragraph at lines 1591--1592
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] []; l[] [][] \OT1/cmr/m/n/10 ([](\OML
/cmm/m/it/10 x; l\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  \OT1/cmr/m/n/10 (\OM
S/cmsy/m/n/10 9\OML/cmm/m/it/10 h[] []; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it
/10 l \OT1/cmr/m/n/10 = [](\OML/cmm/m/it/10 h; t\OT1/cmr/m/n/10 )[]\OML/cmm/m/i
t/10 x \OT1/cmr/m/n/10 = \OML/cmm/m/it/10 h\OT1/cmr/m/n/10 )[]\OMS/cmsy/m/n/10 
9\OML/cmm/m/it/10 h[] []; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 l \OT1/cmr
/m/n/10 = [](\OML/cmm/m/it/10 h; t\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x; t\O
T1/cmr/m/n/10 )))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (163.99728pt too wide) in paragraph at lines 1595--1596
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 n[] []; l[] [][] \OT1/cmr/m/n/10 ([](\OML
/cmm/m/it/10 n; l\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  \OT1/cmr/m/n/10 (\OM
L/cmm/m/it/10 l \OT1/cmr/m/n/10 = [][]\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 k[] []
; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 l \OT1/cmr/m/n/10 = [](\OML/cmm/m/
it/10 k; t\OT1/cmr/m/n/10 )[][](0\OML/cmm/m/it/10 ; k\OT1/cmr/m/n/10 )[][](\OML
/cmm/m/it/10 k; n\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 n; t\OT1/cmr/m/n/10 )))
) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (6.10188pt too wide) in paragraph at lines 1630--1631
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 u[] []; v[] [][] \OT1/cmr/m/n/10 (([](\OM
L/cmm/m/it/10 u\OT1/cmr/m/n/10 )[][]([](\OML/cmm/m/it/10 u\OT1/cmr/m/n/10 ))[]\
OML/cmm/m/it/10 v \OT1/cmr/m/n/10 = []([](\OML/cmm/m/it/10 u\OT1/cmr/m/n/10 ))[
]([](2\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/10 v\OT1/cmr/m/n
/10 ))) =
 []


Overfull \hbox (228.46107pt too wide) in paragraph at lines 1630--1631
[]\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 v\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; \OT
1/cmr/m/n/10 1)[][](2\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([][](\OML/cmm/m/it/1
0 v\OT1/cmr/m/n/10 ))) = [](\OML/cmm/m/it/10 v\OT1/cmr/m/n/10 )))  \OMS/cmsy/m/
n/10 )  \OT1/cmr/m/n/10 ([](2\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([][](\OML/cm
m/m/it/10 u\OT1/cmr/m/n/10 ))) = []([](\OML/cmm/m/it/10 u\OT1/cmr/m/n/10 )\OML/
cmm/m/it/10 ; \OT1/cmr/m/n/10 1)[][](2\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([][
](\OML/cmm/m/it/10 u\OT1/cmr/m/n/10 ))) =
 []

[12]
Overfull \hbox (163.99728pt too wide) in paragraph at lines 1679--1680
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 n[] []; l[] [][] \OT1/cmr/m/n/10 ([](\OML
/cmm/m/it/10 n; l\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  \OT1/cmr/m/n/10 (\OM
L/cmm/m/it/10 l \OT1/cmr/m/n/10 = [][]\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 k[] []
; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 l \OT1/cmr/m/n/10 = [](\OML/cmm/m/
it/10 k; t\OT1/cmr/m/n/10 )[][](0\OML/cmm/m/it/10 ; k\OT1/cmr/m/n/10 )[][](\OML
/cmm/m/it/10 k; n\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 n; t\OT1/cmr/m/n/10 )))
) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (163.99728pt too wide) in paragraph at lines 1710--1711
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 n[] []; l[] [][] \OT1/cmr/m/n/10 ([](\OML
/cmm/m/it/10 n; l\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  \OT1/cmr/m/n/10 (\OM
L/cmm/m/it/10 l \OT1/cmr/m/n/10 = [][]\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 k[] []
; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 l \OT1/cmr/m/n/10 = [](\OML/cmm/m/
it/10 k; t\OT1/cmr/m/n/10 )[][](0\OML/cmm/m/it/10 ; k\OT1/cmr/m/n/10 )[][](\OML
/cmm/m/it/10 k; n\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 n; t\OT1/cmr/m/n/10 )))
) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (40.76913pt too wide) in paragraph at lines 1746--1747
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] []; y[] [][] \OT1/cmr/m/n/10 (([]@\OM
L/cmm/m/it/10 x\OT1/cmr/m/n/10 @\OML/cmm/m/it/10 y\OT1/cmr/m/n/10 )  \OMS/cmsy/
m/n/10 )  \OT1/cmr/m/n/10 ([]@([]@\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 @([]@\OML/c
mm/m/it/10 y\OT1/cmr/m/n/10 @[])))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )
$ 
 []


Overfull \hbox (44.79683pt too wide) in paragraph at lines 1748--1749
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] []; y[] []; z[] []; r[] [][] \OT1/cmr
/m/n/10 (([]@\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 @\OML/cmm/m/it/10 y[][]\OT1/cmr/
m/n/10 @\OML/cmm/m/it/10 z\OT1/cmr/m/n/10 @([]@\OML/cmm/m/it/10 x\OT1/cmr/m/n/1
0 @\OML/cmm/m/it/10 y\OT1/cmr/m/n/10 )[][]@([]@\OML/cmm/m/it/10 y\OT1/cmr/m/n/1
0 @([]@\OML/cmm/m/it/10 z\OT1/cmr/m/n/10 @\OML/cmm/m/it/10 r\OT1/cmr/m/n/10 )))
  \OMS/cmsy/m/n/10 )
 []

[13]
Overfull \hbox (77.65428pt too wide) in paragraph at lines 1796--1797
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 u[] []; v[] []; w[] []; x[] []; y[] [][] 
\OT1/cmr/m/n/10 (([](\OML/cmm/m/it/10 v; w\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 6\
OT1/cmr/m/n/10 = [](\OML/cmm/m/it/10 v; x\OT1/cmr/m/n/10 )[]\OML/cmm/m/it/10 u 
\OT1/cmr/m/n/10 = []([]([](\OML/cmm/m/it/10 v; x; \OT1/cmr/m/n/10 0)\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 ; \OT1/cmr/m/n/10 1))\OML/cmm/m/it/10 ; w; \OT1/cmr/m/n/10 0))  \OMS/c
msy/m/n/10 )
 []


Overfull \hbox (114.312pt too wide) in paragraph at lines 1825--1826
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] []; l[] [][] \OT1/cmr/m/n/10 ([](\OML
/cmm/m/it/10 x; l\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  \OT1/cmr/m/n/10 (\OM
S/cmsy/m/n/10 9\OML/cmm/m/it/10 h[] []; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it
/10 l \OT1/cmr/m/n/10 = [](\OML/cmm/m/it/10 h; t\OT1/cmr/m/n/10 )[]\OML/cmm/m/i
t/10 x \OT1/cmr/m/n/10 = \OML/cmm/m/it/10 h\OT1/cmr/m/n/10 )[]\OMS/cmsy/m/n/10 
9\OML/cmm/m/it/10 h[] []; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 l \OT1/cmr
/m/n/10 = [](\OML/cmm/m/it/10 h; t\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x; t\O
T1/cmr/m/n/10 )))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (163.99728pt too wide) in paragraph at lines 1829--1830
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 n[] []; l[] [][] \OT1/cmr/m/n/10 ([](\OML
/cmm/m/it/10 n; l\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  \OT1/cmr/m/n/10 (\OM
L/cmm/m/it/10 l \OT1/cmr/m/n/10 = [][]\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 k[] []
; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 l \OT1/cmr/m/n/10 = [](\OML/cmm/m/
it/10 k; t\OT1/cmr/m/n/10 )[][](0\OML/cmm/m/it/10 ; k\OT1/cmr/m/n/10 )[][](\OML
/cmm/m/it/10 k; n\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 n; t\OT1/cmr/m/n/10 )))
) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (118.13115pt too wide) in paragraph at lines 1874--1875
[]$\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] [][] []\OT1/cmr/m/n/
10 ([](\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 
(\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 ))[][](\OML/cmm/m/it/10 l; []\OT1/cmr/m/n/10
 (\OML/cmm/m/it/10 a\OT1/cmr/m/n/10 ))[][](0\OML/cmm/m/it/10 ; k\OT1/cmr/m/n/10
 ))  \OMS/cmsy/m/n/10 )  []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 l; []\OT1/cmr/m/n/
10 ([](\OML/cmm/m/it/10 a\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; k\OT1/cmr/m/n/10 )
) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []

[14]
Overfull \hbox (114.312pt too wide) in paragraph at lines 1925--1926
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] []; l[] [][] \OT1/cmr/m/n/10 ([](\OML
/cmm/m/it/10 x; l\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  \OT1/cmr/m/n/10 (\OM
S/cmsy/m/n/10 9\OML/cmm/m/it/10 h[] []; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it
/10 l \OT1/cmr/m/n/10 = [](\OML/cmm/m/it/10 h; t\OT1/cmr/m/n/10 )[]\OML/cmm/m/i
t/10 x \OT1/cmr/m/n/10 = \OML/cmm/m/it/10 h\OT1/cmr/m/n/10 )[]\OMS/cmsy/m/n/10 
9\OML/cmm/m/it/10 h[] []; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 l \OT1/cmr
/m/n/10 = [](\OML/cmm/m/it/10 h; t\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x; t\O
T1/cmr/m/n/10 )))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (163.99728pt too wide) in paragraph at lines 1929--1930
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 n[] []; l[] [][] \OT1/cmr/m/n/10 ([](\OML
/cmm/m/it/10 n; l\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  \OT1/cmr/m/n/10 (\OM
L/cmm/m/it/10 l \OT1/cmr/m/n/10 = [][]\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 k[] []
; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 l \OT1/cmr/m/n/10 = [](\OML/cmm/m/
it/10 k; t\OT1/cmr/m/n/10 )[][](0\OML/cmm/m/it/10 ; k\OT1/cmr/m/n/10 )[][](\OML
/cmm/m/it/10 k; n\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 n; t\OT1/cmr/m/n/10 )))
) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (163.99728pt too wide) in paragraph at lines 1995--1996
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 n[] []; l[] [][] \OT1/cmr/m/n/10 ([](\OML
/cmm/m/it/10 n; l\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  \OT1/cmr/m/n/10 (\OM
L/cmm/m/it/10 l \OT1/cmr/m/n/10 = [][]\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 k[] []
; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 l \OT1/cmr/m/n/10 = [](\OML/cmm/m/
it/10 k; t\OT1/cmr/m/n/10 )[][](0\OML/cmm/m/it/10 ; k\OT1/cmr/m/n/10 )[][](\OML
/cmm/m/it/10 k; n\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 n; t\OT1/cmr/m/n/10 )))
) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (17.25407pt too wide) in paragraph at lines 2019--2020
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 u[] []; v[] [][] \OT1/cmr/m/n/10 (\OML/cm
m/m/it/10 u \OT1/cmr/m/n/10 = []([]([]([](\OML/cmm/m/it/10 v; \OT1/cmr/m/n/10 3
\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 33)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 4\OML/
cmm/m/it/10 ; \OT1/cmr/m/n/10 444)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 5\OML/cmm/
m/it/10 ; \OT1/cmr/m/n/10 55)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 4\OML/cmm/m/it/
10 ; \OT1/cmr/m/n/10 44)  \OMS/cmsy/m/n/10 )  []\OT1/cmr/m/n/10 (\OML/cmm/m/it/
10 u; \OT1/cmr/m/n/10 3) = 33) []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (114.312pt too wide) in paragraph at lines 2059--2060
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] []; l[] [][] \OT1/cmr/m/n/10 ([](\OML
/cmm/m/it/10 x; l\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  \OT1/cmr/m/n/10 (\OM
S/cmsy/m/n/10 9\OML/cmm/m/it/10 h[] []; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it
/10 l \OT1/cmr/m/n/10 = [](\OML/cmm/m/it/10 h; t\OT1/cmr/m/n/10 )[]\OML/cmm/m/i
t/10 x \OT1/cmr/m/n/10 = \OML/cmm/m/it/10 h\OT1/cmr/m/n/10 )[]\OMS/cmsy/m/n/10 
9\OML/cmm/m/it/10 h[] []; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 l \OT1/cmr
/m/n/10 = [](\OML/cmm/m/it/10 h; t\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x; t\O
T1/cmr/m/n/10 )))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []

[15]
Overfull \hbox (163.99728pt too wide) in paragraph at lines 2063--2064
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 n[] []; l[] [][] \OT1/cmr/m/n/10 ([](\OML
/cmm/m/it/10 n; l\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  \OT1/cmr/m/n/10 (\OM
L/cmm/m/it/10 l \OT1/cmr/m/n/10 = [][]\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 k[] []
; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 l \OT1/cmr/m/n/10 = [](\OML/cmm/m/
it/10 k; t\OT1/cmr/m/n/10 )[][](0\OML/cmm/m/it/10 ; k\OT1/cmr/m/n/10 )[][](\OML
/cmm/m/it/10 k; n\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 n; t\OT1/cmr/m/n/10 )))
) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (289.23648pt too wide) in paragraph at lines 2114--2115
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 a[] []; n[] []; w[] [][] \OT1/cmr/m/n/10 
([](\OML/cmm/m/it/10 a; n\OT1/cmr/m/n/10 ) = \OML/cmm/m/it/10 w  \OMS/cmsy/m/n/
10 (  \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 i[] [][] \OT1/cmr/m/n
/10 (([](\OML/cmm/m/it/10 n; i\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 i; \OT1/cm
r/m/n/10 0))  \OMS/cmsy/m/n/10 )  []\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 a; i\O
T1/cmr/m/n/10 )\OML/cmm/m/it/10 ; w\OT1/cmr/m/n/10 ))[]\OMS/cmsy/m/n/10 9\OML/c
mm/m/it/10 i[] [][] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 n; i\OT1/cmr/m/n/10 )[
][](\OML/cmm/m/it/10 i; \OT1/cmr/m/n/10 0)[][](\OML/cmm/m/it/10 a; i\OT1/cmr/m/
n/10 ) =
 []


Overfull \hbox (267.37125pt too wide) in paragraph at lines 2122--2123
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 a[] []; r[] []; n[] [][] \OT1/cmr/m/n/10 
([](\OML/cmm/m/it/10 a; r; n\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  8\OML/cmm
/m/it/10 i[] [][] \OT1/cmr/m/n/10 (([](\OML/cmm/m/it/10 n; i\OT1/cmr/m/n/10 )[]
[](\OML/cmm/m/it/10 i; \OT1/cmr/m/n/10 0))  \OMS/cmsy/m/n/10 )  \OT1/cmr/m/n/10
 ([](\OML/cmm/m/it/10 r; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 a; i\OT1/cmr/m/n/1
0 ))[][]([](\OML/cmm/m/it/10 a; i\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; \OT1/cmr/m
/n/10 0)))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (75.05919pt too wide) in paragraph at lines 2126--2127
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 a[] []; n[] [][] \OT1/cmr/m/n/10 ([](\OML
/cmm/m/it/10 a; n\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  8\OML/cmm/m/it/10 i[
] []; j[] [][] \OT1/cmr/m/n/10 (([](\OML/cmm/m/it/10 n; i\OT1/cmr/m/n/10 )[][](
\OML/cmm/m/it/10 n; j\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 j; \OT1/cmr/m/n/10 
0)[][](\OML/cmm/m/it/10 i; \OT1/cmr/m/n/10 0))  \OMS/cmsy/m/n/10 )
 []


Overfull \hbox (341.64055pt too wide) in paragraph at lines 2130--2131
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 a[] []; b[] []; n[] [][] \OT1/cmr/m/n/10 
([](\OML/cmm/m/it/10 a; n\OT1/cmr/m/n/10 ) = \OML/cmm/m/it/10 b  \OMS/cmsy/m/n/
10 (  8\OML/cmm/m/it/10 i[] [][] \OT1/cmr/m/n/10 (([](\OML/cmm/m/it/10 i; \OT1/
cmr/m/n/10 0)[][](\OML/cmm/m/it/10 n; i\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 b
; i\OT1/cmr/m/n/10 ) = [](\OML/cmm/m/it/10 a; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/
10 n; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 i; \OT1/cmr/m/n/10 1))))[](([](0\OML/
cmm/m/it/10 ; i\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 i; n\OT1/cmr/m/n/10 ))[][
](\OML/cmm/m/it/10 b; i\OT1/cmr/m/n/10 ) =
 []


Overfull \hbox (325.82481pt too wide) in paragraph at lines 2132--2133
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 a[] []; b[][] []; b[][] []; n[] [][] \OT1
/cmr/m/n/10 ((\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 i[] [][] \OT1/cmr/m/n/10 (([](
\OML/cmm/m/it/10 i; \OT1/cmr/m/n/10 0)[][](\OML/cmm/m/it/10 n; i\OT1/cmr/m/n/10
 )[][](\OML/cmm/m/it/10 b[]; i\OT1/cmr/m/n/10 ) = [](\OML/cmm/m/it/10 a; []\OT1
/cmr/m/n/10 (\OML/cmm/m/it/10 n; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 i; \OT1/cm
r/m/n/10 1))))[](([](0\OML/cmm/m/it/10 ; i\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/1
0 i; n\OT1/cmr/m/n/10 ))[][](\OML/cmm/m/it/10 b[]; i\OT1/cmr/m/n/10 ) =
 []


Overfull \hbox (227.5178pt too wide) in paragraph at lines 2132--2133
[]\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 a; i\OT1/cmr/m/n/10 )))[]\OMS/cmsy/m/n/10 8
\OML/cmm/m/it/10 i[] [][] \OT1/cmr/m/n/10 (([](\OML/cmm/m/it/10 i; \OT1/cmr/m/n
/10 0)[][](\OML/cmm/m/it/10 n; i\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 b[]; i\O
T1/cmr/m/n/10 ) = [](\OML/cmm/m/it/10 a; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 n;
 []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 i; \OT1/cmr/m/n/10 1))))[](([](0\OML/cmm/m
/it/10 ; i\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 i; n\OT1/cmr/m/n/10 ))[][](\OM
L/cmm/m/it/10 b[]; i\OT1/cmr/m/n/10 ) =
 []


Overfull \hbox (114.312pt too wide) in paragraph at lines 2174--2175
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] []; l[] [][] \OT1/cmr/m/n/10 ([](\OML
/cmm/m/it/10 x; l\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  \OT1/cmr/m/n/10 (\OM
S/cmsy/m/n/10 9\OML/cmm/m/it/10 h[] []; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it
/10 l \OT1/cmr/m/n/10 = [](\OML/cmm/m/it/10 h; t\OT1/cmr/m/n/10 )[]\OML/cmm/m/i
t/10 x \OT1/cmr/m/n/10 = \OML/cmm/m/it/10 h\OT1/cmr/m/n/10 )[]\OMS/cmsy/m/n/10 
9\OML/cmm/m/it/10 h[] []; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 l \OT1/cmr
/m/n/10 = [](\OML/cmm/m/it/10 h; t\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x; t\O
T1/cmr/m/n/10 )))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (163.99728pt too wide) in paragraph at lines 2178--2179
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 n[] []; l[] [][] \OT1/cmr/m/n/10 ([](\OML
/cmm/m/it/10 n; l\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  \OT1/cmr/m/n/10 (\OM
L/cmm/m/it/10 l \OT1/cmr/m/n/10 = [][]\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 k[] []
; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 l \OT1/cmr/m/n/10 = [](\OML/cmm/m/
it/10 k; t\OT1/cmr/m/n/10 )[][](0\OML/cmm/m/it/10 ; k\OT1/cmr/m/n/10 )[][](\OML
/cmm/m/it/10 k; n\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 n; t\OT1/cmr/m/n/10 )))
) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []

[16]
Overfull \hbox (40.36453pt too wide) in paragraph at lines 2202--2203
[]$\OMS/cmsy/m/n/10 : 8\OML/cmm/m/it/10 k[] []; l[] [][] \OT1/cmr/m/n/10 (([]([
](\OML/cmm/m/it/10 k\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 1)[][](
[](\OML/cmm/m/it/10 l\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 1))  \
OMS/cmsy/m/n/10 )  []\OT1/cmr/m/n/10 ([]([](\OML/cmm/m/it/10 k; l\OT1/cmr/m/n/1
0 ))\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 4)) [](\OML/cmm/m/it/10 c; []\OT1/cmr/m/
n/10 )$ 
 []


Overfull \hbox (289.23648pt too wide) in paragraph at lines 2229--2230
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 a[] []; n[] []; w[] [][] \OT1/cmr/m/n/10 
([](\OML/cmm/m/it/10 a; n\OT1/cmr/m/n/10 ) = \OML/cmm/m/it/10 w  \OMS/cmsy/m/n/
10 (  \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 i[] [][] \OT1/cmr/m/n
/10 (([](\OML/cmm/m/it/10 n; i\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 i; \OT1/cm
r/m/n/10 0))  \OMS/cmsy/m/n/10 )  []\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 a; i\O
T1/cmr/m/n/10 )\OML/cmm/m/it/10 ; w\OT1/cmr/m/n/10 ))[]\OMS/cmsy/m/n/10 9\OML/c
mm/m/it/10 i[] [][] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 n; i\OT1/cmr/m/n/10 )[
][](\OML/cmm/m/it/10 i; \OT1/cmr/m/n/10 0)[][](\OML/cmm/m/it/10 a; i\OT1/cmr/m/
n/10 ) =
 []


Overfull \hbox (267.37125pt too wide) in paragraph at lines 2237--2238
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 a[] []; r[] []; n[] [][] \OT1/cmr/m/n/10 
([](\OML/cmm/m/it/10 a; r; n\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  8\OML/cmm
/m/it/10 i[] [][] \OT1/cmr/m/n/10 (([](\OML/cmm/m/it/10 n; i\OT1/cmr/m/n/10 )[]
[](\OML/cmm/m/it/10 i; \OT1/cmr/m/n/10 0))  \OMS/cmsy/m/n/10 )  \OT1/cmr/m/n/10
 ([](\OML/cmm/m/it/10 r; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 a; i\OT1/cmr/m/n/1
0 ))[][]([](\OML/cmm/m/it/10 a; i\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; \OT1/cmr/m
/n/10 0)))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (75.05919pt too wide) in paragraph at lines 2241--2242
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 a[] []; n[] [][] \OT1/cmr/m/n/10 ([](\OML
/cmm/m/it/10 a; n\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  8\OML/cmm/m/it/10 i[
] []; j[] [][] \OT1/cmr/m/n/10 (([](\OML/cmm/m/it/10 n; i\OT1/cmr/m/n/10 )[][](
\OML/cmm/m/it/10 n; j\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 j; \OT1/cmr/m/n/10 
0)[][](\OML/cmm/m/it/10 i; \OT1/cmr/m/n/10 0))  \OMS/cmsy/m/n/10 )
 []


Overfull \hbox (341.64055pt too wide) in paragraph at lines 2245--2246
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 a[] []; b[] []; n[] [][] \OT1/cmr/m/n/10 
([](\OML/cmm/m/it/10 a; n\OT1/cmr/m/n/10 ) = \OML/cmm/m/it/10 b  \OMS/cmsy/m/n/
10 (  8\OML/cmm/m/it/10 i[] [][] \OT1/cmr/m/n/10 (([](\OML/cmm/m/it/10 i; \OT1/
cmr/m/n/10 0)[][](\OML/cmm/m/it/10 n; i\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 b
; i\OT1/cmr/m/n/10 ) = [](\OML/cmm/m/it/10 a; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/
10 n; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 i; \OT1/cmr/m/n/10 1))))[](([](0\OML/
cmm/m/it/10 ; i\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 i; n\OT1/cmr/m/n/10 ))[][
](\OML/cmm/m/it/10 b; i\OT1/cmr/m/n/10 ) =
 []


Overfull \hbox (114.312pt too wide) in paragraph at lines 2276--2277
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] []; l[] [][] \OT1/cmr/m/n/10 ([](\OML
/cmm/m/it/10 x; l\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  \OT1/cmr/m/n/10 (\OM
S/cmsy/m/n/10 9\OML/cmm/m/it/10 h[] []; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it
/10 l \OT1/cmr/m/n/10 = [](\OML/cmm/m/it/10 h; t\OT1/cmr/m/n/10 )[]\OML/cmm/m/i
t/10 x \OT1/cmr/m/n/10 = \OML/cmm/m/it/10 h\OT1/cmr/m/n/10 )[]\OMS/cmsy/m/n/10 
9\OML/cmm/m/it/10 h[] []; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 l \OT1/cmr
/m/n/10 = [](\OML/cmm/m/it/10 h; t\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x; t\O
T1/cmr/m/n/10 )))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (163.99728pt too wide) in paragraph at lines 2280--2281
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 n[] []; l[] [][] \OT1/cmr/m/n/10 ([](\OML
/cmm/m/it/10 n; l\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  \OT1/cmr/m/n/10 (\OM
L/cmm/m/it/10 l \OT1/cmr/m/n/10 = [][]\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 k[] []
; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 l \OT1/cmr/m/n/10 = [](\OML/cmm/m/
it/10 k; t\OT1/cmr/m/n/10 )[][](0\OML/cmm/m/it/10 ; k\OT1/cmr/m/n/10 )[][](\OML
/cmm/m/it/10 k; n\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 n; t\OT1/cmr/m/n/10 )))
) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []

[17]
Overfull \hbox (114.312pt too wide) in paragraph at lines 2333--2334
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] []; l[] [][] \OT1/cmr/m/n/10 ([](\OML
/cmm/m/it/10 x; l\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  \OT1/cmr/m/n/10 (\OM
S/cmsy/m/n/10 9\OML/cmm/m/it/10 h[] []; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it
/10 l \OT1/cmr/m/n/10 = [](\OML/cmm/m/it/10 h; t\OT1/cmr/m/n/10 )[]\OML/cmm/m/i
t/10 x \OT1/cmr/m/n/10 = \OML/cmm/m/it/10 h\OT1/cmr/m/n/10 )[]\OMS/cmsy/m/n/10 
9\OML/cmm/m/it/10 h[] []; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 l \OT1/cmr
/m/n/10 = [](\OML/cmm/m/it/10 h; t\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x; t\O
T1/cmr/m/n/10 )))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (163.99728pt too wide) in paragraph at lines 2337--2338
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 n[] []; l[] [][] \OT1/cmr/m/n/10 ([](\OML
/cmm/m/it/10 n; l\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  \OT1/cmr/m/n/10 (\OM
L/cmm/m/it/10 l \OT1/cmr/m/n/10 = [][]\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 k[] []
; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 l \OT1/cmr/m/n/10 = [](\OML/cmm/m/
it/10 k; t\OT1/cmr/m/n/10 )[][](0\OML/cmm/m/it/10 ; k\OT1/cmr/m/n/10 )[][](\OML
/cmm/m/it/10 k; n\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 n; t\OT1/cmr/m/n/10 )))
) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (54.3434pt too wide) in paragraph at lines 2382--2383
[]$\OMS/cmsy/m/n/10 8[][] []\OML/cmm/m/it/10 ; p[] [] \OMS/cmsy/m/n/10 ! [][] \
OT1/cmr/m/n/10 ((\OML/cmm/m/it/10 p\OT1/cmr/m/n/10 @[])  \OMS/cmsy/m/n/10 )  \O
T1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 a[] a; [][][] [][] \OT1/cmr/m
/n/10 ((\OML/cmm/m/it/10 p\OT1/cmr/m/n/10 @[][])  \OMS/cmsy/m/n/10 )  \OT1/cmr/
m/n/10 (\OML/cmm/m/it/10 p\OT1/cmr/m/n/10 @([]@\OML/cmm/m/it/10 a\OT1/cmr/m/n/1
0 @[][])))  \OMS/cmsy/m/n/10 )  \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 p\OT1/cmr/m/n
/10 @[]))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (114.312pt too wide) in paragraph at lines 2426--2427
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] []; l[] [][] \OT1/cmr/m/n/10 ([](\OML
/cmm/m/it/10 x; l\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  \OT1/cmr/m/n/10 (\OM
S/cmsy/m/n/10 9\OML/cmm/m/it/10 h[] []; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it
/10 l \OT1/cmr/m/n/10 = [](\OML/cmm/m/it/10 h; t\OT1/cmr/m/n/10 )[]\OML/cmm/m/i
t/10 x \OT1/cmr/m/n/10 = \OML/cmm/m/it/10 h\OT1/cmr/m/n/10 )[]\OMS/cmsy/m/n/10 
9\OML/cmm/m/it/10 h[] []; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 l \OT1/cmr
/m/n/10 = [](\OML/cmm/m/it/10 h; t\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x; t\O
T1/cmr/m/n/10 )))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (163.99728pt too wide) in paragraph at lines 2430--2431
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 n[] []; l[] [][] \OT1/cmr/m/n/10 ([](\OML
/cmm/m/it/10 n; l\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  \OT1/cmr/m/n/10 (\OM
L/cmm/m/it/10 l \OT1/cmr/m/n/10 = [][]\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 k[] []
; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 l \OT1/cmr/m/n/10 = [](\OML/cmm/m/
it/10 k; t\OT1/cmr/m/n/10 )[][](0\OML/cmm/m/it/10 ; k\OT1/cmr/m/n/10 )[][](\OML
/cmm/m/it/10 k; n\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 n; t\OT1/cmr/m/n/10 )))
) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []

[18]
Overfull \hbox (114.312pt too wide) in paragraph at lines 2483--2484
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] []; l[] [][] \OT1/cmr/m/n/10 ([](\OML
/cmm/m/it/10 x; l\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  \OT1/cmr/m/n/10 (\OM
S/cmsy/m/n/10 9\OML/cmm/m/it/10 h[] []; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it
/10 l \OT1/cmr/m/n/10 = [](\OML/cmm/m/it/10 h; t\OT1/cmr/m/n/10 )[]\OML/cmm/m/i
t/10 x \OT1/cmr/m/n/10 = \OML/cmm/m/it/10 h\OT1/cmr/m/n/10 )[]\OMS/cmsy/m/n/10 
9\OML/cmm/m/it/10 h[] []; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 l \OT1/cmr
/m/n/10 = [](\OML/cmm/m/it/10 h; t\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x; t\O
T1/cmr/m/n/10 )))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (163.99728pt too wide) in paragraph at lines 2487--2488
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 n[] []; l[] [][] \OT1/cmr/m/n/10 ([](\OML
/cmm/m/it/10 n; l\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  \OT1/cmr/m/n/10 (\OM
L/cmm/m/it/10 l \OT1/cmr/m/n/10 = [][]\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 k[] []
; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 l \OT1/cmr/m/n/10 = [](\OML/cmm/m/
it/10 k; t\OT1/cmr/m/n/10 )[][](0\OML/cmm/m/it/10 ; k\OT1/cmr/m/n/10 )[][](\OML
/cmm/m/it/10 k; n\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 n; t\OT1/cmr/m/n/10 )))
) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (85.35349pt too wide) in paragraph at lines 2535--2536
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 u[] []; v[] [][] \OT1/cmr/m/n/10 ((\OMS/c
msy/m/n/10 8\OML/cmm/m/it/10 w[] [][] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 w; v
\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 0))[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] [][] \OT1/cmr/m/n/10
 ([](\OML/cmm/m/it/10 x; u\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 )  9\OML/cmm/m/it
/10 y[] [][] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 y; v\OT1/cmr/m/n/10 )[][](\OM
L/cmm/m/it/10 x; y\OT1/cmr/m/n/10 ))))  \OMS/cmsy/m/n/10 )
 []


Overfull \hbox (18.664pt too wide) in paragraph at lines 2548--2549
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 u[] []; v[] [][] \OT1/cmr/m/n/10 (\OMS/cm
sy/m/n/10 8\OML/cmm/m/it/10 w[] [][] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 w; u\
OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 )  []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 v; w\
OT1/cmr/m/n/10 ))  \OMS/cmsy/m/n/10 )  []\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 v
 \OT1/cmr/m/n/10 + \OML/cmm/m/it/10 u\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; []\OT1
/cmr/m/n/10 (\OML/cmm/m/it/10 u\OT1/cmr/m/n/10 ))) []([][]\OML/cmm/m/it/10 ; []
\OT1/cmr/m/n/10 )$ 
 []

[19]
Overfull \hbox (114.312pt too wide) in paragraph at lines 2577--2578
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] []; l[] [][] \OT1/cmr/m/n/10 ([](\OML
/cmm/m/it/10 x; l\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  \OT1/cmr/m/n/10 (\OM
S/cmsy/m/n/10 9\OML/cmm/m/it/10 h[] []; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it
/10 l \OT1/cmr/m/n/10 = [](\OML/cmm/m/it/10 h; t\OT1/cmr/m/n/10 )[]\OML/cmm/m/i
t/10 x \OT1/cmr/m/n/10 = \OML/cmm/m/it/10 h\OT1/cmr/m/n/10 )[]\OMS/cmsy/m/n/10 
9\OML/cmm/m/it/10 h[] []; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 l \OT1/cmr
/m/n/10 = [](\OML/cmm/m/it/10 h; t\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x; t\O
T1/cmr/m/n/10 )))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (163.99728pt too wide) in paragraph at lines 2581--2582
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 n[] []; l[] [][] \OT1/cmr/m/n/10 ([](\OML
/cmm/m/it/10 n; l\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  \OT1/cmr/m/n/10 (\OM
L/cmm/m/it/10 l \OT1/cmr/m/n/10 = [][]\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 k[] []
; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 l \OT1/cmr/m/n/10 = [](\OML/cmm/m/
it/10 k; t\OT1/cmr/m/n/10 )[][](0\OML/cmm/m/it/10 ; k\OT1/cmr/m/n/10 )[][](\OML
/cmm/m/it/10 k; n\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 n; t\OT1/cmr/m/n/10 )))
) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (31.93234pt too wide) in paragraph at lines 2616--2617
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 u[] []; v[] []; w[] []; x[] [][] \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; 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 0))[][](\OML/cmm/m/it/10 w; v\OT1/cmr/m/n/10 )[]
[](\OML/cmm/m/it/10 x; \OT1/cmr/m/n/10 0)[]\OML/cmm/m/it/10 u \OT1/cmr/m/n/10 =

 []


Overfull \hbox (289.23648pt too wide) in paragraph at lines 2643--2644
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 a[] []; n[] []; w[] [][] \OT1/cmr/m/n/10 
([](\OML/cmm/m/it/10 a; n\OT1/cmr/m/n/10 ) = \OML/cmm/m/it/10 w  \OMS/cmsy/m/n/
10 (  \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 i[] [][] \OT1/cmr/m/n
/10 (([](\OML/cmm/m/it/10 n; i\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 i; \OT1/cm
r/m/n/10 0))  \OMS/cmsy/m/n/10 )  []\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 a; i\O
T1/cmr/m/n/10 )\OML/cmm/m/it/10 ; w\OT1/cmr/m/n/10 ))[]\OMS/cmsy/m/n/10 9\OML/c
mm/m/it/10 i[] [][] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 n; i\OT1/cmr/m/n/10 )[
][](\OML/cmm/m/it/10 i; \OT1/cmr/m/n/10 0)[][](\OML/cmm/m/it/10 a; i\OT1/cmr/m/
n/10 ) =
 []


Overfull \hbox (267.37125pt too wide) in paragraph at lines 2651--2652
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 a[] []; r[] []; n[] [][] \OT1/cmr/m/n/10 
([](\OML/cmm/m/it/10 a; r; n\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  8\OML/cmm
/m/it/10 i[] [][] \OT1/cmr/m/n/10 (([](\OML/cmm/m/it/10 n; i\OT1/cmr/m/n/10 )[]
[](\OML/cmm/m/it/10 i; \OT1/cmr/m/n/10 0))  \OMS/cmsy/m/n/10 )  \OT1/cmr/m/n/10
 ([](\OML/cmm/m/it/10 r; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 a; i\OT1/cmr/m/n/1
0 ))[][]([](\OML/cmm/m/it/10 a; i\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; \OT1/cmr/m
/n/10 0)))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (75.05919pt too wide) in paragraph at lines 2655--2656
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 a[] []; n[] [][] \OT1/cmr/m/n/10 ([](\OML
/cmm/m/it/10 a; n\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  8\OML/cmm/m/it/10 i[
] []; j[] [][] \OT1/cmr/m/n/10 (([](\OML/cmm/m/it/10 n; i\OT1/cmr/m/n/10 )[][](
\OML/cmm/m/it/10 n; j\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 j; \OT1/cmr/m/n/10 
0)[][](\OML/cmm/m/it/10 i; \OT1/cmr/m/n/10 0))  \OMS/cmsy/m/n/10 )
 []


Overfull \hbox (341.64055pt too wide) in paragraph at lines 2659--2660
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 a[] []; b[] []; n[] [][] \OT1/cmr/m/n/10 
([](\OML/cmm/m/it/10 a; n\OT1/cmr/m/n/10 ) = \OML/cmm/m/it/10 b  \OMS/cmsy/m/n/
10 (  8\OML/cmm/m/it/10 i[] [][] \OT1/cmr/m/n/10 (([](\OML/cmm/m/it/10 i; \OT1/
cmr/m/n/10 0)[][](\OML/cmm/m/it/10 n; i\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 b
; i\OT1/cmr/m/n/10 ) = [](\OML/cmm/m/it/10 a; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/
10 n; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 i; \OT1/cmr/m/n/10 1))))[](([](0\OML/
cmm/m/it/10 ; i\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 i; n\OT1/cmr/m/n/10 ))[][
](\OML/cmm/m/it/10 b; i\OT1/cmr/m/n/10 ) =
 []


Overfull \hbox (253.37729pt too wide) in paragraph at lines 2661--2662
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 a[] []; n[] []; w[][] []; w[][] [][] \OT1
/cmr/m/n/10 ((\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 i[] [][] \OT1/cmr/m/n/10 (([](
\OML/cmm/m/it/10 n; i\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 i; \OT1/cmr/m/n/10 
0))  \OMS/cmsy/m/n/10 )  []\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 a; i\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 i[] [][] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 n; i\OT1/cmr/m/n/10 )[][](\OM
L/cmm/m/it/10 i; \OT1/cmr/m/n/10 0)[][](\OML/cmm/m/it/10 a; i\OT1/cmr/m/n/10 ) 
=
 []


Overfull \hbox (128.99953pt too wide) in paragraph at lines 2661--2662
\OML/cmm/m/it/10 w[]\OT1/cmr/m/n/10 )[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 i[] [
][] \OT1/cmr/m/n/10 (([](\OML/cmm/m/it/10 n; i\OT1/cmr/m/n/10 )[][](\OML/cmm/m/
it/10 i; \OT1/cmr/m/n/10 0))  \OMS/cmsy/m/n/10 )  []\OT1/cmr/m/n/10 ([](\OML/cm
m/m/it/10 a; i\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; w[]\OT1/cmr/m/n/10 ))[]\OMS/c
msy/m/n/10 9\OML/cmm/m/it/10 i[] [][] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 n; i
\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 i; \OT1/cmr/m/n/10 0)[][](\OML/cmm/m/it/
10 a; i\OT1/cmr/m/n/10 ) =
 []


Overfull \hbox (159.17545pt too wide) in paragraph at lines 2683--2684
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 u[] []; v[] []; w[] [][] \OT1/cmr/m/n/10 
((\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] [][] []\OT1/cmr/m/n/10 ([](\OML/cmm/m/
it/10 v; x\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; x\OT1/cmr/m/n/10 )[]\OML/cmm/m/it
/10 u \OT1/cmr/m/n/10 = [](\OML/cmm/m/it/10 v; w; []\OT1/cmr/m/n/10 (\OML/cmm/m
/it/10 w; \OT1/cmr/m/n/10 3)))  \OMS/cmsy/m/n/10 )  8\OML/cmm/m/it/10 y[] [][] 
[]\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/10 )) []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []

[20]
Overfull \hbox (101.81177pt too wide) in paragraph at lines 2694--2695
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 u[] []; v[] [][] \OT1/cmr/m/n/10 ((\OMS/c
msy/m/n/10 8\OML/cmm/m/it/10 w[] [][] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 w; v
\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 0))[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] [][] \OT1/cmr/m/n/10
 ([](\OML/cmm/m/it/10 x; u\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 )  9\OML/cmm/m/it
/10 y[] []; z[] [][] \OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 y; v\OT1/cmr/m/n/10 )
[][](\OML/cmm/m/it/10 z; v\OT1/cmr/m/n/10 )[]\OML/cmm/m/it/10 x \OT1/cmr/m/n/10
 =
 []


Overfull \hbox (29.21457pt too wide) in paragraph at lines 2705--2706
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 u[] [][] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/1
0 8\OML/cmm/m/it/10 v[] [][] \OT1/cmr/m/n/10 (([](20\OML/cmm/m/it/10 ; v\OT1/cm
r/m/n/10 )[][](\OML/cmm/m/it/10 v; \OT1/cmr/m/n/10 30))  \OMS/cmsy/m/n/10 )  []
\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 u; v\OT1/cmr/m/n/10 ) = []([](2\OML/cmm/m/it/
10 ; v\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 3))  \OMS/cmsy/m/n/10
 )  9\OML/cmm/m/it/10 w[] [][] []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 u; w\OT1/cmr
/m/n/10 ) =
 []


Overfull \hbox (60.72162pt too wide) in paragraph at lines 2716--2717
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 u[] []; v[] [][] \OT1/cmr/m/n/10 (\OML/cm
m/m/it/10 u \OT1/cmr/m/n/10 = []([]([]([](\OML/cmm/m/it/10 v; \OT1/cmr/m/n/10 3
\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 33)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 4\OML/
cmm/m/it/10 ; \OT1/cmr/m/n/10 444)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 5\OML/cmm/
m/it/10 ; \OT1/cmr/m/n/10 55)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 4\OML/cmm/m/it/
10 ; \OT1/cmr/m/n/10 44)  \OMS/cmsy/m/n/10 )  9\OML/cmm/m/it/10 w[] [][] []\OT1
/cmr/m/n/10 (\OML/cmm/m/it/10 u; w\OT1/cmr/m/n/10 ) = 33) []([][]\OML/cmm/m/it/
10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (52.26633pt too wide) in paragraph at lines 2727--2728
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 u[] []; v[] [][] \OT1/cmr/m/n/10 (([](\OM
L/cmm/m/it/10 u\OT1/cmr/m/n/10 )[][]([](\OML/cmm/m/it/10 u\OT1/cmr/m/n/10 ))[]\
OML/cmm/m/it/10 v \OT1/cmr/m/n/10 = []([](\OML/cmm/m/it/10 u\OT1/cmr/m/n/10 ))[
][]([]([][](\OML/cmm/m/it/10 v\OT1/cmr/m/n/10 ))\OML/cmm/m/it/10 ; []\OT1/cmr/m
/n/10 ([][](\OML/cmm/m/it/10 v\OT1/cmr/m/n/10 ))) =
 []


Overfull \hbox (163.99728pt too wide) in paragraph at lines 2767--2768
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 n[] []; l[] [][] \OT1/cmr/m/n/10 ([](\OML
/cmm/m/it/10 n; l\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  \OT1/cmr/m/n/10 (\OM
L/cmm/m/it/10 l \OT1/cmr/m/n/10 = [][]\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 k[] []
; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 l \OT1/cmr/m/n/10 = [](\OML/cmm/m/
it/10 k; t\OT1/cmr/m/n/10 )[][](0\OML/cmm/m/it/10 ; k\OT1/cmr/m/n/10 )[][](\OML
/cmm/m/it/10 k; n\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 n; t\OT1/cmr/m/n/10 )))
) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (5.24481pt too wide) in paragraph at lines 2780--2781
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 u[] []; v[] [][] \OT1/cmr/m/n/10 ((\OML/c
mm/m/it/10 u \OT1/cmr/m/n/10 = []([]([]([](\OML/cmm/m/it/10 v; \OT1/cmr/m/n/10 
3\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 33)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 4\OML
/cmm/m/it/10 ; \OT1/cmr/m/n/10 444)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 5\OML/cmm
/m/it/10 ; \OT1/cmr/m/n/10 55)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 4\OML/cmm/m/it
/10 ; \OT1/cmr/m/n/10 44)[]\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 w[] [][] []\OT1/c
mr/m/n/10 ([](\OML/cmm/m/it/10 v; w\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; \OT1/cmr
/m/n/10 100))  \OMS/cmsy/m/n/10 )
 []


Overfull \hbox (58.06914pt too wide) in paragraph at lines 2791--2792
[]\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 v; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x; \
OT1/cmr/m/n/10 1)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 3))  \OMS/cmsy/m/n/10 )  8\
OML/cmm/m/it/10 z[] [][] \OT1/cmr/m/n/10 (([](\OML/cmm/m/it/10 w; z\OT1/cmr/m/n
/10 )[][](\OML/cmm/m/it/10 z; []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x; \OT1/cmr/m
/n/10 1)))  \OMS/cmsy/m/n/10 )  []\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 u; z\OT1
/cmr/m/n/10 )\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 0))) []([][]\OML/cmm/m/it/10 ; 
[]\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (12.04839pt too wide) in paragraph at lines 2804--2805
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 u[] []; v[] [][] \OT1/cmr/m/n/10 (([](2\O
ML/cmm/m/it/10 ; u\OT1/cmr/m/n/10 )[][](3\OML/cmm/m/it/10 ; u\OT1/cmr/m/n/10 )[
][](\OML/cmm/m/it/10 u\OT1/cmr/m/n/10 ) = 2[][](\OML/cmm/m/it/10 v; \OT1/cmr/m/
n/10 3))  \OMS/cmsy/m/n/10 )  : []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 v; u\OT1/cm
r/m/n/10 )) []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []

[21]
Overfull \hbox (114.312pt too wide) in paragraph at lines 2844--2845
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x[] []; l[] [][] \OT1/cmr/m/n/10 ([](\OML
/cmm/m/it/10 x; l\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  \OT1/cmr/m/n/10 (\OM
S/cmsy/m/n/10 9\OML/cmm/m/it/10 h[] []; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it
/10 l \OT1/cmr/m/n/10 = [](\OML/cmm/m/it/10 h; t\OT1/cmr/m/n/10 )[]\OML/cmm/m/i
t/10 x \OT1/cmr/m/n/10 = \OML/cmm/m/it/10 h\OT1/cmr/m/n/10 )[]\OMS/cmsy/m/n/10 
9\OML/cmm/m/it/10 h[] []; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 l \OT1/cmr
/m/n/10 = [](\OML/cmm/m/it/10 h; t\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 x; t\O
T1/cmr/m/n/10 )))) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (163.99728pt too wide) in paragraph at lines 2848--2849
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 n[] []; l[] [][] \OT1/cmr/m/n/10 ([](\OML
/cmm/m/it/10 n; l\OT1/cmr/m/n/10 )  \OMS/cmsy/m/n/10 ([])  \OT1/cmr/m/n/10 (\OM
L/cmm/m/it/10 l \OT1/cmr/m/n/10 = [][]\OMS/cmsy/m/n/10 9\OML/cmm/m/it/10 k[] []
; t[] [][] \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 l \OT1/cmr/m/n/10 = [](\OML/cmm/m/
it/10 k; t\OT1/cmr/m/n/10 )[][](0\OML/cmm/m/it/10 ; k\OT1/cmr/m/n/10 )[][](\OML
/cmm/m/it/10 k; n\OT1/cmr/m/n/10 )[][](\OML/cmm/m/it/10 n; t\OT1/cmr/m/n/10 )))
) []([]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (135.30736pt too wide) in paragraph at lines 2883--2884
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 u[] []; v[] [][] \OT1/cmr/m/n/10 ((\OMS/c
msy/m/n/10 8\OML/cmm/m/it/10 w[] [][] []\OT1/cmr/m/n/10 ([](\OML/cmm/m/it/10 v;
 w\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; w\OT1/cmr/m/n/10 )[]\OML/cmm/m/it/10 u \O
T1/cmr/m/n/10 = []([](\OML/cmm/m/it/10 v; \OT1/cmr/m/n/10 3\OML/cmm/m/it/10 ; \
OT1/cmr/m/n/10 5)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 7\OML/cmm/m/it/10 ; \OT1/cm
r/m/n/10 9))  \OMS/cmsy/m/n/10 )  8\OML/cmm/m/it/10 x[] [][] []\OT1/cmr/m/n/10 
([](\OML/cmm/m/it/10 u; x\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; x\OT1/cmr/m/n/10 )
) []([][]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ 
 []


Overfull \hbox (100.57204pt too wide) in paragraph at lines 2894--2895
[]$\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 h[][] []; n[] [][] \OT1/cmr/m/n/10 (\OMS/
cmsy/m/n/10 : []\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 h[]\OT1/cmr/m/n/10 ) = 0  \OM
S/cmsy/m/n/10 ([])  \OML/cmm/m/it/10 h[] \OT1/cmr/m/n/10 = [][]([]([](\OML/cmm/
m/it/10 h[]; n\OT1/cmr/m/n/10 )) = 0  \OMS/cmsy/m/n/10 ([])  []\OT1/cmr/m/n/10 
(\OML/cmm/m/it/10 h[]; n\OT1/cmr/m/n/10 ) = [])) []([]\OML/cmm/m/it/10 ; []\OT1
/cmr/m/n/10 )$ 
 []

[22] (./DAT.aux) ) 
Here is how much of TeX's memory you used:
 1574 strings out of 256214
 16757 string characters out of 1916999
 77304 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,1197b,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 DAT.pdf (22 pages, 123867 bytes).
PDF statistics:
 93 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)