This is TeX, Version 3.14159 (Web2C 7.4.5) (format=latex 2006.8.25)  7 DEC 2006 18:25
**page
(./page.tex
LaTeX2e <2001/06/01>
Babel <v3.7h> and hyphenation patterns for american, french, german, ngerman, d
anish, nohyphenation, loaded.
(/usr/share/texmf/tex/latex/base/article.cls
Document Class: article 2001/04/21 v1.4e Standard LaTeX document class
(/usr/share/texmf/tex/latex/base/fleqn.clo
File: fleqn.clo 1998/08/17 v1.1c Standard LaTeX option (flush left equations)
\mathindent=\dimen102
)
(/usr/share/texmf/tex/latex/base/size10.clo
File: size10.clo 2001/04/21 v1.4e Standard LaTeX file (size option)
)
\c@part=\count79
\c@section=\count80
\c@subsection=\count81
\c@subsubsection=\count82
\c@paragraph=\count83
\c@subparagraph=\count84
\c@figure=\count85
\c@table=\count86
\abovecaptionskip=\skip41
\belowcaptionskip=\skip42
\bibindent=\dimen103
) (./lgwinclude.tex)
(/usr/share/texmf/tex/latex/base/latexsym.sty
Package: latexsym 1998/08/17 v2.2e Standard LaTeX package (lasy symbols)
\symlasy=\mathgroup4
LaTeX Font Info:    Overwriting symbol font `lasy' in version `bold'
(Font)                  U/lasy/m/n --> U/lasy/b/n on input line 42.
)
(/usr/share/texmf/tex/latex/base/makeidx.sty
Package: makeidx 2000/03/29 v1.0m Standard LaTeX package
)
\bracketwidth=\skip43
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <7> on input line 23.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <5> on input line 23.
LaTeX Font Info:    Try loading font information for U+lasy on input line 23.

(/usr/share/texmf/tex/latex/base/ulasy.fd
File: ulasy.fd 1998/08/17 v2.2e LaTeX symbol font definitions
)
(/usr/share/texmf/tex/latex/graphics/lscape.sty
Package: lscape 2000/10/22 v3.01 Landscape Pages (DPC)

(/usr/share/texmf/tex/latex/graphics/graphics.sty
Package: graphics 2001/07/07 v1.0n Standard LaTeX Graphics (DPC,SPQR)

(/usr/share/texmf/tex/latex/graphics/trig.sty
Package: trig 1999/03/16 v1.09 sin cos tan (DPC)
)
(/usr/share/texmf/tex/latex/config/graphics.cfg
File: graphics.cfg 2001/08/31 v1.1 graphics configuration of teTeX/TeXLive
)
Package graphics Info: Driver file: dvips.def on input line 80.

(/usr/share/texmf/tex/latex/graphics/dvips.def
File: dvips.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR)
)))
(/usr/share/texmf/tex/latex/tools/multicol.sty
Package: multicol 2000/07/10 v1.5z multicolumn formatting (FMi)
\c@tracingmulticols=\count87
\mult@box=\box26
\multicol@leftmargin=\dimen104
\c@unbalance=\count88
\c@collectmore=\count89
\doublecol@number=\count90
\multicoltolerance=\count91
\multicolpretolerance=\count92
\full@width=\dimen105
\page@free=\dimen106
\premulticols=\dimen107
\postmulticols=\dimen108
\multicolsep=\skip44
\multicolbaselineskip=\skip45
\partial@page=\box27
\last@line=\box28
\mult@rightbox=\box29
\mult@grightbox=\box30
\mult@gfirstbox=\box31
\mult@firstbox=\box32
\@tempa=\box33
\@tempa=\box34
\@tempa=\box35
\@tempa=\box36
\@tempa=\box37
\@tempa=\box38
\@tempa=\box39
\@tempa=\box40
\@tempa=\box41
\@tempa=\box42
\@tempa=\box43
\@tempa=\box44
\@tempa=\box45
\@tempa=\box46
\@tempa=\box47
\@tempa=\box48
\@tempa=\box49
\c@columnbadness=\count93
\c@finalcolumnbadness=\count94
\last@try=\dimen109
\multicolovershoot=\dimen110
\multicolundershoot=\dimen111
\mult@nat@firstbox=\box50
\colbreak@box=\box51
)
(/usr/share/texmf/tex/latex/misc/float.sty
Package: float 2001/11/08 v1.3d Float enhancements (AL)
\c@float@type=\count95
\float@exts=\toks14
\float@box=\box52
\@float@everytoks=\toks15
\@floatcapt=\box53
)
(/usr/share/texmf/tex/latex/base/inputenc.sty
Package: inputenc 2001/07/10 v0.99a Input encoding file 

(/usr/share/texmf/tex/latex/base/latin1.def
File: latin1.def 2001/07/10 v0.99a Input encoding file 
))
(/usr/share/texmf/tex/latex/graphics/graphicx.sty
Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR)

(/usr/share/texmf/tex/latex/graphics/keyval.sty
Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
\KV@toks@=\toks16
)
\Gin@req@height=\dimen112
\Gin@req@width=\dimen113
)
(/usr/share/texmf/tex/latex/tools/verbatim.sty
Package: verbatim 2001/03/12 v1.5p LaTeX2e package for verbatim enhancements
\every@verbatim=\toks17
\verbatim@line=\toks18
\verbatim@in@stream=\read1
)
(/usr/share/texmf/tex/generic/babel/babel.sty
Package: babel 2001/03/01 v3.7h The Babel package

(/usr/share/texmf/tex/generic/babel/danish.ldf
Language: danish 2001/01/30 v1.3n Danish support from the babel system

(/usr/share/texmf/tex/generic/babel/babel.def
File: babel.def 2001/03/01 v3.7h Babel common definitions
\babel@savecnt=\count96
\U@D=\dimen114
)
Package babel Info: Making " an active character on input line 62.
))
(/usr/share/texmf/tex/latex/base/graphpap.sty
Package: graphpap 1994/08/09 v1.0c Standard LaTeX graphpap package (LL)
)
(/usr/share/texmf/tex/latex/hyperref/hyperref.sty
Package: hyperref 2003/01/22 v6.73n Hypertext links for LaTeX
\@linkdim=\dimen115
\Hy@linkcounter=\count97
\Hy@pagecounter=\count98

(/usr/share/texmf/tex/latex/hyperref/pd1enc.def
File: pd1enc.def 2003/01/22 v6.73n Hyperref: PDFDocEncoding definition (HO)
)
(/usr/share/texmf/tex/latex/config/hyperref.cfg
File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive and teTeX
)
Package hyperref Info: Hyper figures OFF on input line 1792.
Package hyperref Info: Link nesting OFF on input line 1797.
Package hyperref Info: Hyper index ON on input line 1800.
Package hyperref Info: Plain pages ON on input line 1805.
Package hyperref Info: Backreferencing OFF on input line 1812.

Implicit mode ON; LaTeX internals redefined
Package hyperref Info: Bookmarks ON on input line 1916.
(/usr/share/texmf/tex/latex/html/url.sty
Package: url 1999/03/02  ver 1.4  Verb mode for urls, email addresses, and file
 names
)
LaTeX Info: Redefining \url on input line 2055.
\Fld@menulength=\count99
\Field@Width=\dimen116
\Fld@charsize=\dimen117
\Choice@toks=\toks19
\Field@toks=\toks20
Package hyperref Info: Hyper figures OFF on input line 2513.
Package hyperref Info: Link nesting OFF on input line 2518.
Package hyperref Info: Hyper index ON on input line 2521.
Package hyperref Info: backreferencing OFF on input line 2528.
Package hyperref Info: Link coloring OFF on input line 2533.
\c@Item=\count100
\c@Hfootnote=\count101
)
*hyperref using driver hdvipdfm*
(/usr/share/texmf/tex/latex/hyperref/hdvipdfm.def
File: hdvipdfm.def 2003/01/22 v6.73n Hyperref driver for dvipdfm
\pdfm@box=\box54
\Fld@listcount=\count102
\@outlinefile=\write3
)
Package hyperref Info: Option `colorlinks' set `false' on input line 42.
\outex=\write4
\toktex=\toks21
\openout4 = `page.otx'.

\outest=\write5
\openout5 = `page.tst'.

 (./page.aux)
\openout1 = `page.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 73.
LaTeX Font Info:    ... okay on input line 73.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 73.
LaTeX Font Info:    ... okay on input line 73.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 73.
LaTeX Font Info:    ... okay on input line 73.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 73.
LaTeX Font Info:    ... okay on input line 73.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 73.
LaTeX Font Info:    ... okay on input line 73.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 73.
LaTeX Font Info:    ... okay on input line 73.
LaTeX Font Info:    Checking defaults for PD1/pdf/m/n on input line 73.
LaTeX Font Info:    ... okay on input line 73.
Package hyperref Info: Link coloring OFF on input line 73.

(/usr/share/texmf/tex/latex/hyperref/nameref.sty
Package: nameref 2001/01/27 v2.19 Cross-referencing by name of section
\c@section@level=\count103
)
LaTeX Info: Redefining \ref on input line 73.
LaTeX Info: Redefining \pageref on input line 73.
 (./page.out) (./page.out)
\openout3 = `page.out'.


Overfull \hbox (74.18071pt too wide) in paragraph at lines 186--481
[]$\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 
ph [] P(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(P(Union(\OMS/cmsy/m/n/10 f\OT
1/cmr/m/n/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/
n/10 ))) \OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/
m/n/10 : [] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (16.48627pt too wide) in paragraph at lines 186--481
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 j|
 []


Overfull \hbox (81.70894pt too wide) in paragraph at lines 186--481
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 8[
][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 8
[][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/1
0 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10
 gg [] \OT1/cmss/m/n/10 f[] \OMS/cmsy/m/n/10 ) ff[]\OML/cmm/m/it/10 ; []\OMS/cm
sy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cms
y/m/n/10 gg []|
 []


Overfull \hbox (109.30536pt too wide) in paragraph at lines 186--481
\OT1/cmss/m/n/10 f[] \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 = [] \OMS/cmsy/m/n/1
0 ) [] \OT1/cmr/m/n/10 = [])n)n \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 (\OMS/cms
y/m/n/10 8[][]\OT1/cmr/m/n/10 : [] [] N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 (
\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/
10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/1
0 ; []\OMS/cmsy/m/n/10 gg []|
 []


Overfull \hbox (78.12498pt too wide) in paragraph at lines 186--481
[] \OML/cmm/m/it/10 <\OT1/cmr/m/n/10 = [] \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10
 (\OMS/cmsy/m/n/10 j\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] \O
MS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(P(Union(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/
10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ))) \
OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [
] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (12.59737pt too wide) in paragraph at lines 186--481
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g j|
 []


Overfull \hbox (67.96188pt too wide) in paragraph at lines 186--481
[] \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] (\OMS/cmsy/m/n/10 j\OT1/cmr/m/n/10
 (\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] \OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph 
[] P(P(Union(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n
/10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ))) \OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/1
0 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/c
mr/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (12.59737pt too wide) in paragraph at lines 186--481
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g j|
 []


Overfull \hbox (36.98314pt too wide) in paragraph at lines 186--481
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OT1/cmss/m/n/1
0 d[] \OT1/cmr/m/n/10 = \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n
/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 
(\OT1/cmss/m/n/10 a\OT1/cmr/m/n/10 [[]] + \OT1/cmss/m/n/10 b\OT1/cmr/m/n/10 [[]
])\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 [[]]
 + (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 u\OT1/cmss/m/n/10 d[]\OT1/cmr/m/n/10 [[
]]))\OMS/cmsy/m/n/10 j \OT1/cmr/m/n/10 = [])n)n)n)n)n\OMS/cmsy/m/n/10 g$|
 []


Overfull \hbox (74.18071pt too wide) in paragraph at lines 482--897
[]$\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 
ph [] P(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(P(Union(\OMS/cmsy/m/n/10 f\OT
1/cmr/m/n/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/
n/10 ))) \OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/
m/n/10 : [] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (16.48627pt too wide) in paragraph at lines 482--897
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 j|
 []


Overfull \hbox (81.70894pt too wide) in paragraph at lines 482--897
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 8[
][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 8
[][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/1
0 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10
 gg [] \OT1/cmss/m/n/10 f[] \OMS/cmsy/m/n/10 ) ff[]\OML/cmm/m/it/10 ; []\OMS/cm
sy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cms
y/m/n/10 gg []|
 []


Overfull \hbox (109.30536pt too wide) in paragraph at lines 482--897
\OT1/cmss/m/n/10 f[] \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 = [] \OMS/cmsy/m/n/1
0 ) [] \OT1/cmr/m/n/10 = [])n)n \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 (\OMS/cms
y/m/n/10 8[][]\OT1/cmr/m/n/10 : [] [] N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 (
\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/
10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/1
0 ; []\OMS/cmsy/m/n/10 gg []|
 []


Overfull \hbox (78.12498pt too wide) in paragraph at lines 482--897
[] \OML/cmm/m/it/10 <\OT1/cmr/m/n/10 = [] \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10
 (\OMS/cmsy/m/n/10 j\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] \O
MS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(P(Union(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/
10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ))) \
OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [
] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (12.59737pt too wide) in paragraph at lines 482--897
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g j|
 []


Overfull \hbox (153.5071pt too wide) in paragraph at lines 482--897
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OT1/cmss/m/n/1
0 d[] \OT1/cmr/m/n/10 = \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n
/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 
(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] \OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [
] P(P(Union(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/
10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ))) \OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10
 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cm
r/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (12.59737pt too wide) in paragraph at lines 482--897
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g j|
 []


Overfull \hbox (145.80917pt too wide) in paragraph at lines 482--897
\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 u\OT1/cmss/m/n/10 d[]\OT1/
cmr/m/n/10 [[]]))\OMS/cmsy/m/n/10 j \OML/cmm/m/it/10 <\OT1/cmr/m/n/10 = [] \OMS
/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] (\OMS/cmsy/m/n/10 j\OT1/cmr/m/n/10 (\OMS/
cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] \OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(P(
Union(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 Q\O
MS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ))) \OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10 (\OMS
/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/
10 : [] ([] ([] ([] []|
 []


Overfull \hbox (12.59737pt too wide) in paragraph at lines 482--897
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g j|
 []


Overfull \hbox (153.5071pt too wide) in paragraph at lines 482--897
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OT1/cmss/m/n/1
0 d[] \OT1/cmr/m/n/10 = \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n
/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 
(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] \OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [
] P(P(Union(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/
10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ))) \OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10
 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cm
r/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (12.59737pt too wide) in paragraph at lines 482--897
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g j|
 []


Overfull \hbox (74.18071pt too wide) in paragraph at lines 898--1183
[]$\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 
ph [] P(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(P(Union(\OMS/cmsy/m/n/10 f\OT
1/cmr/m/n/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/
n/10 ))) \OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/
m/n/10 : [] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (16.48627pt too wide) in paragraph at lines 898--1183
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 j|
 []


Overfull \hbox (81.70894pt too wide) in paragraph at lines 898--1183
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 8[
][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 8
[][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/1
0 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10
 gg [] \OT1/cmss/m/n/10 f[] \OMS/cmsy/m/n/10 ) ff[]\OML/cmm/m/it/10 ; []\OMS/cm
sy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cms
y/m/n/10 gg []|
 []


Overfull \hbox (109.30536pt too wide) in paragraph at lines 898--1183
\OT1/cmss/m/n/10 f[] \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 = [] \OMS/cmsy/m/n/1
0 ) [] \OT1/cmr/m/n/10 = [])n)n \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 (\OMS/cms
y/m/n/10 8[][]\OT1/cmr/m/n/10 : [] [] N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 (
\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/
10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/1
0 ; []\OMS/cmsy/m/n/10 gg []|
 []


Overfull \hbox (78.12498pt too wide) in paragraph at lines 898--1183
[] \OML/cmm/m/it/10 <\OT1/cmr/m/n/10 = [] \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10
 (\OMS/cmsy/m/n/10 j\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] \O
MS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(P(Union(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/
10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ))) \
OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [
] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (12.59737pt too wide) in paragraph at lines 898--1183
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g j|
 []


Overfull \hbox (40.56961pt too wide) in paragraph at lines 898--1183
[] \OT1/cmr/m/n/10 ([] (\OMS/cmsy/m/n/10 j\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 f\O
T1/cmr/m/n/10 ph [] \OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(P(Union(\OMS/cmsy
/m/n/10 f\OT1/cmr/m/n/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 Q\OMS/cmsy/m/n/10 
g\OT1/cmr/m/n/10 ))) \OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[
][]\OT1/cmr/m/n/10 : [] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] ([]
 ([] []|
 []


Overfull \hbox (12.59737pt too wide) in paragraph at lines 898--1183
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g j|
 []


Overfull \hbox (21.76091pt too wide) in paragraph at lines 898--1183
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OT1/cmss/m/n/1
0 f[] \OT1/cmr/m/n/10 = \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n
/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 
(\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 u\OT1/cmss/m/n/10 a\OT1/cmr/m/n/10 [[]])\O
MS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 [[]] + (
\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 u\OT1/cmss/m/n/10 d[]\OT1/cmr/m/n/10 [[]]))
\OMS/cmsy/m/n/10 j \OT1/cmr/m/n/10 = [])n)n)n)n)n\OMS/cmsy/m/n/10 g$|
 []

[1

]
Overfull \hbox (74.18071pt too wide) in paragraph at lines 1184--1469
[]$\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 
ph [] P(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(P(Union(\OMS/cmsy/m/n/10 f\OT
1/cmr/m/n/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/
n/10 ))) \OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/
m/n/10 : [] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (16.48627pt too wide) in paragraph at lines 1184--1469
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 j|
 []


Overfull \hbox (81.70894pt too wide) in paragraph at lines 1184--1469
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 8[
][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 8
[][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/1
0 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10
 gg [] \OT1/cmss/m/n/10 f[] \OMS/cmsy/m/n/10 ) ff[]\OML/cmm/m/it/10 ; []\OMS/cm
sy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cms
y/m/n/10 gg []|
 []


Overfull \hbox (109.30536pt too wide) in paragraph at lines 1184--1469
\OT1/cmss/m/n/10 f[] \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 = [] \OMS/cmsy/m/n/1
0 ) [] \OT1/cmr/m/n/10 = [])n)n \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 (\OMS/cms
y/m/n/10 8[][]\OT1/cmr/m/n/10 : [] [] N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 (
\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/
10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/1
0 ; []\OMS/cmsy/m/n/10 gg []|
 []


Overfull \hbox (78.12498pt too wide) in paragraph at lines 1184--1469
[] \OML/cmm/m/it/10 <\OT1/cmr/m/n/10 = [] \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10
 (\OMS/cmsy/m/n/10 j\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] \O
MS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(P(Union(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/
10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ))) \
OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [
] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (12.59737pt too wide) in paragraph at lines 1184--1469
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g j|
 []


Overfull \hbox (40.56961pt too wide) in paragraph at lines 1184--1469
[] \OT1/cmr/m/n/10 ([] (\OMS/cmsy/m/n/10 j\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 f\O
T1/cmr/m/n/10 ph [] \OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(P(Union(\OMS/cmsy
/m/n/10 f\OT1/cmr/m/n/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 Q\OMS/cmsy/m/n/10 
g\OT1/cmr/m/n/10 ))) \OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[
][]\OT1/cmr/m/n/10 : [] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] ([]
 ([] []|
 []


Overfull \hbox (12.59737pt too wide) in paragraph at lines 1184--1469
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g j|
 []


Overfull \hbox (21.76091pt too wide) in paragraph at lines 1184--1469
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OT1/cmss/m/n/1
0 f[] \OT1/cmr/m/n/10 = \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n
/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 
(\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 u\OT1/cmss/m/n/10 a\OT1/cmr/m/n/10 [[]])\O
MS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 [[]] + (
\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 u\OT1/cmss/m/n/10 d[]\OT1/cmr/m/n/10 [[]]))
\OMS/cmsy/m/n/10 j \OT1/cmr/m/n/10 = [])n)n)n)n)n\OMS/cmsy/m/n/10 g$|
 []


Overfull \hbox (74.18071pt too wide) in paragraph at lines 1470--1865
[]$\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 
ph [] P(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(P(Union(\OMS/cmsy/m/n/10 f\OT
1/cmr/m/n/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/
n/10 ))) \OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/
m/n/10 : [] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (16.48627pt too wide) in paragraph at lines 1470--1865
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 j|
 []


Overfull \hbox (81.70894pt too wide) in paragraph at lines 1470--1865
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 8[
][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 8
[][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/1
0 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10
 gg [] \OT1/cmss/m/n/10 f[] \OMS/cmsy/m/n/10 ) ff[]\OML/cmm/m/it/10 ; []\OMS/cm
sy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cms
y/m/n/10 gg []|
 []


Overfull \hbox (109.30536pt too wide) in paragraph at lines 1470--1865
\OT1/cmss/m/n/10 f[] \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 = [] \OMS/cmsy/m/n/1
0 ) [] \OT1/cmr/m/n/10 = [])n)n \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 (\OMS/cms
y/m/n/10 8[][]\OT1/cmr/m/n/10 : [] [] N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 (
\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/
10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/1
0 ; []\OMS/cmsy/m/n/10 gg []|
 []


Overfull \hbox (78.12498pt too wide) in paragraph at lines 1470--1865
[] \OML/cmm/m/it/10 <\OT1/cmr/m/n/10 = [] \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10
 (\OMS/cmsy/m/n/10 j\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] \O
MS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(P(Union(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/
10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ))) \
OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [
] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (12.59737pt too wide) in paragraph at lines 1470--1865
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g j|
 []


Overfull \hbox (164.72937pt too wide) in paragraph at lines 1470--1865
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OT1/cmss/m/n/1
0 f[] \OT1/cmr/m/n/10 = \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n
/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 
(\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 u\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] \
OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(P(Union(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n
/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ))) 
\OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : 
[] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (12.59737pt too wide) in paragraph at lines 1470--1865
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g j|
 []


Overfull \hbox (13.9797pt too wide) in paragraph at lines 1470--1865
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OT1/cmss/m/n/1
0 f[] \OT1/cmr/m/n/10 = \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n
/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 
(\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 u\OT1/cmss/m/n/10 a\OT1/cmr/m/n/10 [[]])\O
MS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 [[]])\OM
S/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 [[]] + (\
OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 u\OT1/cmss/m/n/10 d[]\OT1/cmr/m/n/10 [[]]))\
OMS/cmsy/m/n/10 j \OML/cmm/m/it/10 <\OT1/cmr/m/n/10 =|
 []


Overfull \hbox (67.96188pt too wide) in paragraph at lines 1470--1865
[] \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] (\OMS/cmsy/m/n/10 j\OT1/cmr/m/n/10
 (\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] \OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph 
[] P(P(Union(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n
/10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ))) \OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/1
0 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/c
mr/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (12.59737pt too wide) in paragraph at lines 1470--1865
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g j|
 []


Overfull \hbox (164.72937pt too wide) in paragraph at lines 1470--1865
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OT1/cmss/m/n/1
0 f[] \OT1/cmr/m/n/10 = \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n
/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 
(\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 u\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] \
OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(P(Union(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n
/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ))) 
\OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : 
[] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (12.59737pt too wide) in paragraph at lines 1470--1865
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g j|
 []


Overfull \hbox (6.2019pt too wide) in paragraph at lines 1470--1865
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OT1/cmss/m/n/1
0 f[] \OT1/cmr/m/n/10 = \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n
/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 
(\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 u\OT1/cmss/m/n/10 a\OT1/cmr/m/n/10 [[]])\O
MS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 [[]])\OM
S/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 [[]] + (\
OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 u\OT1/cmss/m/n/10 d[]\OT1/cmr/m/n/10 [[]]))\
OMS/cmsy/m/n/10 j \OT1/cmr/m/n/10 =|
 []


Overfull \hbox (74.18071pt too wide) in paragraph at lines 1866--2591
[]$\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 
ph [] P(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(P(Union(\OMS/cmsy/m/n/10 f\OT
1/cmr/m/n/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/
n/10 ))) \OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/
m/n/10 : [] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (16.48627pt too wide) in paragraph at lines 1866--2591
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 j|
 []


Overfull \hbox (81.70894pt too wide) in paragraph at lines 1866--2591
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 8[
][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 8
[][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/1
0 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10
 gg [] \OT1/cmss/m/n/10 f[] \OMS/cmsy/m/n/10 ) ff[]\OML/cmm/m/it/10 ; []\OMS/cm
sy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cms
y/m/n/10 gg []|
 []


Overfull \hbox (109.30536pt too wide) in paragraph at lines 1866--2591
\OT1/cmss/m/n/10 f[] \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 = [] \OMS/cmsy/m/n/1
0 ) [] \OT1/cmr/m/n/10 = [])n)n \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 (\OMS/cms
y/m/n/10 8[][]\OT1/cmr/m/n/10 : [] [] N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 (
\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/
10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/1
0 ; []\OMS/cmsy/m/n/10 gg []|
 []


Overfull \hbox (78.12498pt too wide) in paragraph at lines 1866--2591
[] \OML/cmm/m/it/10 <\OT1/cmr/m/n/10 = [] \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10
 (\OMS/cmsy/m/n/10 j\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] \O
MS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(P(Union(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/
10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ))) \
OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [
] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (12.59737pt too wide) in paragraph at lines 1866--2591
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g j|
 []


Overfull \hbox (164.72937pt too wide) in paragraph at lines 1866--2591
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OT1/cmss/m/n/1
0 f[] \OT1/cmr/m/n/10 = \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n
/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 
(\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 u\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] \
OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(P(Union(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n
/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ))) 
\OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : 
[] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (12.59737pt too wide) in paragraph at lines 1866--2591
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g j|
 []


Overfull \hbox (164.72937pt too wide) in paragraph at lines 1866--2591
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OT1/cmss/m/n/1
0 f[] \OT1/cmr/m/n/10 = \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n
/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 
(\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 u\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] \
OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(P(Union(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n
/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ))) 
\OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : 
[] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (12.59737pt too wide) in paragraph at lines 1866--2591
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g j|
 []


Overfull \hbox (164.72937pt too wide) in paragraph at lines 1866--2591
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OT1/cmss/m/n/1
0 f[] \OT1/cmr/m/n/10 = \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n
/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 
(\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 u\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] \
OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(P(Union(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n
/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ))) 
\OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : 
[] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (12.59737pt too wide) in paragraph at lines 1866--2591
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g j|
 []


Overfull \hbox (164.72937pt too wide) in paragraph at lines 1866--2591
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OT1/cmss/m/n/1
0 f[] \OT1/cmr/m/n/10 = \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n
/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 
(\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 u\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] \
OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(P(Union(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n
/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ))) 
\OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : 
[] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (12.59737pt too wide) in paragraph at lines 1866--2591
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g j|
 []


Overfull \hbox (92.7439pt too wide) in paragraph at lines 1866--2591
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OT1/cmss/m/n/1
0 f[] \OT1/cmr/m/n/10 = \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n
/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 
(\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 u\OT1/cmss/m/n/10 a\OT1/cmr/m/n/10 [[]])\O
MS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 [[]])\OM
S/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 [[]])\OMS
/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 [[]])\OMS/
cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 [[]])\OMS/c
msy/m/n/10 gg\OT1/cmr/m/n/10 )n)n\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 [[]] +|
 []


Overfull \hbox (145.80917pt too wide) in paragraph at lines 1866--2591
\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 u\OT1/cmss/m/n/10 d[]\OT1/
cmr/m/n/10 [[]]))\OMS/cmsy/m/n/10 j \OML/cmm/m/it/10 <\OT1/cmr/m/n/10 = [] \OMS
/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] (\OMS/cmsy/m/n/10 j\OT1/cmr/m/n/10 (\OMS/
cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] \OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(P(
Union(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 Q\O
MS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ))) \OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10 (\OMS
/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/
10 : [] ([] ([] ([] []|
 []


Overfull \hbox (12.59737pt too wide) in paragraph at lines 1866--2591
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g j|
 []


Overfull \hbox (164.72937pt too wide) in paragraph at lines 1866--2591
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OT1/cmss/m/n/1
0 f[] \OT1/cmr/m/n/10 = \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n
/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 
(\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 u\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] \
OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(P(Union(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n
/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ))) 
\OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : 
[] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (12.59737pt too wide) in paragraph at lines 1866--2591
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g j|
 []


Overfull \hbox (164.72937pt too wide) in paragraph at lines 1866--2591
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OT1/cmss/m/n/1
0 f[] \OT1/cmr/m/n/10 = \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n
/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 
(\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 u\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] \
OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(P(Union(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n
/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ))) 
\OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : 
[] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (12.59737pt too wide) in paragraph at lines 1866--2591
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g j|
 []


Overfull \hbox (164.72937pt too wide) in paragraph at lines 1866--2591
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OT1/cmss/m/n/1
0 f[] \OT1/cmr/m/n/10 = \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n
/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 
(\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 u\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] \
OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(P(Union(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n
/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ))) 
\OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : 
[] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (12.59737pt too wide) in paragraph at lines 1866--2591
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g j|
 []


Overfull \hbox (164.72937pt too wide) in paragraph at lines 1866--2591
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OT1/cmss/m/n/1
0 f[] \OT1/cmr/m/n/10 = \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n
/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 
(\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 u\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] \
OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(P(Union(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n
/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ))) 
\OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : 
[] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (12.59737pt too wide) in paragraph at lines 1866--2591
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g j|
 []


Overfull \hbox (92.7439pt too wide) in paragraph at lines 1866--2591
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OT1/cmss/m/n/1
0 f[] \OT1/cmr/m/n/10 = \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n
/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 
(\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 u\OT1/cmss/m/n/10 a\OT1/cmr/m/n/10 [[]])\O
MS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 [[]])\OM
S/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 [[]])\OMS
/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 [[]])\OMS/
cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 [[]])\OMS/c
msy/m/n/10 gg\OT1/cmr/m/n/10 )n)n\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 [[]] +|
 []

[2]
Overfull \hbox (74.18071pt too wide) in paragraph at lines 2592--2887
[]$\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 
ph [] P(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(P(Union(\OMS/cmsy/m/n/10 f\OT
1/cmr/m/n/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/
n/10 ))) \OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/
m/n/10 : [] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (16.48627pt too wide) in paragraph at lines 2592--2887
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 j|
 []


Overfull \hbox (81.70894pt too wide) in paragraph at lines 2592--2887
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 8[
][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 8
[][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/1
0 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10
 gg [] \OT1/cmss/m/n/10 f[] \OMS/cmsy/m/n/10 ) ff[]\OML/cmm/m/it/10 ; []\OMS/cm
sy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cms
y/m/n/10 gg []|
 []


Overfull \hbox (109.30536pt too wide) in paragraph at lines 2592--2887
\OT1/cmss/m/n/10 f[] \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 = [] \OMS/cmsy/m/n/1
0 ) [] \OT1/cmr/m/n/10 = [])n)n \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 (\OMS/cms
y/m/n/10 8[][]\OT1/cmr/m/n/10 : [] [] N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 (
\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/
10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/1
0 ; []\OMS/cmsy/m/n/10 gg []|
 []


Overfull \hbox (78.12498pt too wide) in paragraph at lines 2592--2887
[] \OML/cmm/m/it/10 <\OT1/cmr/m/n/10 = [] \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10
 (\OMS/cmsy/m/n/10 j\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] \O
MS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(P(Union(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/
10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ))) \
OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [
] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (12.59737pt too wide) in paragraph at lines 2592--2887
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g j|
 []


Overfull \hbox (1.81627pt too wide) in paragraph at lines 2592--2887
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OT1/cmss/m/n/1
0 e[] \OT1/cmr/m/n/10 = \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n
/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 
(\OT1/cmss/m/n/10 a\OT1/cmr/m/n/10 [[]] \OMS/cmsy/m/n/10 ^^C \OT1/cmss/m/n/10 b
\OT1/cmr/m/n/10 [[]])\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n\OMS/cmsy/m/n/10 g\
OT1/cmr/m/n/10 [[]] + (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 u\OT1/cmss/m/n/10 d[
]\OT1/cmr/m/n/10 [[]]))\OMS/cmsy/m/n/10 j \OML/cmm/m/it/10 <\OT1/cmr/m/n/10 = [
] \OMS/cmsy/m/n/10 )|
 []


Overfull \hbox (40.56961pt too wide) in paragraph at lines 2592--2887
[] \OT1/cmr/m/n/10 ([] (\OMS/cmsy/m/n/10 j\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 f\O
T1/cmr/m/n/10 ph [] \OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(P(Union(\OMS/cmsy
/m/n/10 f\OT1/cmr/m/n/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 Q\OMS/cmsy/m/n/10 
g\OT1/cmr/m/n/10 ))) \OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[
][]\OT1/cmr/m/n/10 : [] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] ([]
 ([] []|
 []


Overfull \hbox (12.59737pt too wide) in paragraph at lines 2592--2887
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g j|
 []


Overfull \hbox (33.48312pt too wide) in paragraph at lines 2592--2887
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OT1/cmss/m/n/1
0 e[] \OT1/cmr/m/n/10 = \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n
/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 
(\OT1/cmss/m/n/10 a\OT1/cmr/m/n/10 [[]] \OMS/cmsy/m/n/10 ^^C \OT1/cmss/m/n/10 b
\OT1/cmr/m/n/10 [[]])\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n\OMS/cmsy/m/n/10 g\
OT1/cmr/m/n/10 [[]] + (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 u\OT1/cmss/m/n/10 d[
]\OT1/cmr/m/n/10 [[]]))\OMS/cmsy/m/n/10 j \OT1/cmr/m/n/10 = [])n)n)n)n)n\OMS/cm
sy/m/n/10 g$|
 []

[3]
Overfull \hbox (74.18071pt too wide) in paragraph at lines 2888--3183
[]$\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 
ph [] P(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(P(Union(\OMS/cmsy/m/n/10 f\OT
1/cmr/m/n/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/
n/10 ))) \OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/
m/n/10 : [] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (16.48627pt too wide) in paragraph at lines 2888--3183
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 j|
 []


Overfull \hbox (81.70894pt too wide) in paragraph at lines 2888--3183
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 8[
][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 8
[][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/1
0 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10
 gg [] \OT1/cmss/m/n/10 f[] \OMS/cmsy/m/n/10 ) ff[]\OML/cmm/m/it/10 ; []\OMS/cm
sy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cms
y/m/n/10 gg []|
 []


Overfull \hbox (109.30536pt too wide) in paragraph at lines 2888--3183
\OT1/cmss/m/n/10 f[] \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 = [] \OMS/cmsy/m/n/1
0 ) [] \OT1/cmr/m/n/10 = [])n)n \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 (\OMS/cms
y/m/n/10 8[][]\OT1/cmr/m/n/10 : [] [] N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 (
\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/
10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/1
0 ; []\OMS/cmsy/m/n/10 gg []|
 []


Overfull \hbox (78.12498pt too wide) in paragraph at lines 2888--3183
[] \OML/cmm/m/it/10 <\OT1/cmr/m/n/10 = [] \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10
 (\OMS/cmsy/m/n/10 j\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] \O
MS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(P(Union(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/
10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ))) \
OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [
] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (12.59737pt too wide) in paragraph at lines 2888--3183
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g j|
 []


Overfull \hbox (1.81627pt too wide) in paragraph at lines 2888--3183
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OT1/cmss/m/n/1
0 e[] \OT1/cmr/m/n/10 = \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n
/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 
(\OT1/cmss/m/n/10 a\OT1/cmr/m/n/10 [[]] \OMS/cmsy/m/n/10 ^^C \OT1/cmss/m/n/10 b
\OT1/cmr/m/n/10 [[]])\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n\OMS/cmsy/m/n/10 g\
OT1/cmr/m/n/10 [[]] + (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 u\OT1/cmss/m/n/10 d[
]\OT1/cmr/m/n/10 [[]]))\OMS/cmsy/m/n/10 j \OML/cmm/m/it/10 <\OT1/cmr/m/n/10 = [
] \OMS/cmsy/m/n/10 )|
 []


Overfull \hbox (40.56961pt too wide) in paragraph at lines 2888--3183
[] \OT1/cmr/m/n/10 ([] (\OMS/cmsy/m/n/10 j\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 f\O
T1/cmr/m/n/10 ph [] \OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(P(Union(\OMS/cmsy
/m/n/10 f\OT1/cmr/m/n/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 Q\OMS/cmsy/m/n/10 
g\OT1/cmr/m/n/10 ))) \OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[
][]\OT1/cmr/m/n/10 : [] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] ([]
 ([] []|
 []


Overfull \hbox (12.59737pt too wide) in paragraph at lines 2888--3183
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g j|
 []


Overfull \hbox (33.48312pt too wide) in paragraph at lines 2888--3183
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OT1/cmss/m/n/1
0 e[] \OT1/cmr/m/n/10 = \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n
/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 
(\OT1/cmss/m/n/10 a\OT1/cmr/m/n/10 [[]] \OMS/cmsy/m/n/10 ^^C \OT1/cmss/m/n/10 b
\OT1/cmr/m/n/10 [[]])\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n\OMS/cmsy/m/n/10 g\
OT1/cmr/m/n/10 [[]] + (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 u\OT1/cmss/m/n/10 d[
]\OT1/cmr/m/n/10 [[]]))\OMS/cmsy/m/n/10 j \OT1/cmr/m/n/10 = [])n)n)n)n)n\OMS/cm
sy/m/n/10 g$|
 []


Overfull \hbox (74.18071pt too wide) in paragraph at lines 3184--3569
[]$\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 
ph [] P(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(P(Union(\OMS/cmsy/m/n/10 f\OT
1/cmr/m/n/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/
n/10 ))) \OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/
m/n/10 : [] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (16.48627pt too wide) in paragraph at lines 3184--3569
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 j|
 []


Overfull \hbox (81.70894pt too wide) in paragraph at lines 3184--3569
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 8[
][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 8
[][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/1
0 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10
 gg [] \OT1/cmss/m/n/10 f[] \OMS/cmsy/m/n/10 ) ff[]\OML/cmm/m/it/10 ; []\OMS/cm
sy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cms
y/m/n/10 gg []|
 []


Overfull \hbox (109.30536pt too wide) in paragraph at lines 3184--3569
\OT1/cmss/m/n/10 f[] \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 = [] \OMS/cmsy/m/n/1
0 ) [] \OT1/cmr/m/n/10 = [])n)n \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 (\OMS/cms
y/m/n/10 8[][]\OT1/cmr/m/n/10 : [] [] N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 (
\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/
10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/1
0 ; []\OMS/cmsy/m/n/10 gg []|
 []


Overfull \hbox (78.12498pt too wide) in paragraph at lines 3184--3569
[] \OML/cmm/m/it/10 <\OT1/cmr/m/n/10 = [] \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10
 (\OMS/cmsy/m/n/10 j\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] \O
MS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(P(Union(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/
10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ))) \
OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [
] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (12.59737pt too wide) in paragraph at lines 3184--3569
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g j|
 []


Overfull \hbox (5.11105pt too wide) in paragraph at lines 3184--3569
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] (\OMS/cmsy/m
/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] ([] ([] [] N \OMS/cmsy/m/n/10 ) [] \OT1/cmr
/m/n/10 ([] [] Q)n)n \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[
] \OT1/cmr/m/n/10 =|
 []


Overfull \hbox (181.1049pt too wide) in paragraph at lines 3184--3569
\OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; 
\OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)
n)n)n)n)n\OMS/cmsy/m/n/10 g j [] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cm
r/m/n/10 : [] (\OT1/cmss/m/n/10 c[] \OT1/cmr/m/n/10 = \OMS/cmsy/m/n/10 ff[]\OML
/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/
cmm/m/it/10 ; \OT1/cmr/m/n/10 0\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n\OMS/cmsy
/m/n/10 g\OT1/cmr/m/n/10 [[]])\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n\OMS/cmsy/
m/n/10 g\OT1/cmr/m/n/10 [[]] +|
 []


Overfull \hbox (145.80917pt too wide) in paragraph at lines 3184--3569
\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 u\OT1/cmss/m/n/10 d[]\OT1/
cmr/m/n/10 [[]]))\OMS/cmsy/m/n/10 j \OML/cmm/m/it/10 <\OT1/cmr/m/n/10 = [] \OMS
/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] (\OMS/cmsy/m/n/10 j\OT1/cmr/m/n/10 (\OMS/
cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] \OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(P(
Union(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 Q\O
MS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ))) \OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10 (\OMS
/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/
10 : [] ([] ([] ([] []|
 []


Overfull \hbox (12.59737pt too wide) in paragraph at lines 3184--3569
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g j|
 []


Overfull \hbox (5.11105pt too wide) in paragraph at lines 3184--3569
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] (\OMS/cmsy/m
/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] ([] ([] [] N \OMS/cmsy/m/n/10 ) [] \OT1/cmr
/m/n/10 ([] [] Q)n)n \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[
] \OT1/cmr/m/n/10 =|
 []


Overfull \hbox (181.1049pt too wide) in paragraph at lines 3184--3569
\OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; 
\OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)
n)n)n)n)n\OMS/cmsy/m/n/10 g j [] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cm
r/m/n/10 : [] (\OT1/cmss/m/n/10 c[] \OT1/cmr/m/n/10 = \OMS/cmsy/m/n/10 ff[]\OML
/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/
cmm/m/it/10 ; \OT1/cmr/m/n/10 0\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n\OMS/cmsy
/m/n/10 g\OT1/cmr/m/n/10 [[]])\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n\OMS/cmsy/
m/n/10 g\OT1/cmr/m/n/10 [[]] +|
 []


Overfull \hbox (74.18071pt too wide) in paragraph at lines 3570--3955
[]$\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 
ph [] P(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(P(Union(\OMS/cmsy/m/n/10 f\OT
1/cmr/m/n/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/
n/10 ))) \OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/
m/n/10 : [] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (16.48627pt too wide) in paragraph at lines 3570--3955
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 j|
 []


Overfull \hbox (81.70894pt too wide) in paragraph at lines 3570--3955
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 8[
][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 8
[][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/1
0 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10
 gg [] \OT1/cmss/m/n/10 f[] \OMS/cmsy/m/n/10 ) ff[]\OML/cmm/m/it/10 ; []\OMS/cm
sy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cms
y/m/n/10 gg []|
 []


Overfull \hbox (109.30536pt too wide) in paragraph at lines 3570--3955
\OT1/cmss/m/n/10 f[] \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 = [] \OMS/cmsy/m/n/1
0 ) [] \OT1/cmr/m/n/10 = [])n)n \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 (\OMS/cms
y/m/n/10 8[][]\OT1/cmr/m/n/10 : [] [] N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 (
\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/
10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/1
0 ; []\OMS/cmsy/m/n/10 gg []|
 []


Overfull \hbox (78.12498pt too wide) in paragraph at lines 3570--3955
[] \OML/cmm/m/it/10 <\OT1/cmr/m/n/10 = [] \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10
 (\OMS/cmsy/m/n/10 j\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] \O
MS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(P(Union(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/
10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ))) \
OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [
] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (12.59737pt too wide) in paragraph at lines 3570--3955
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g j|
 []


Overfull \hbox (5.11105pt too wide) in paragraph at lines 3570--3955
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] (\OMS/cmsy/m
/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] ([] ([] [] N \OMS/cmsy/m/n/10 ) [] \OT1/cmr
/m/n/10 ([] [] Q)n)n \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[
] \OT1/cmr/m/n/10 =|
 []


Overfull \hbox (181.1049pt too wide) in paragraph at lines 3570--3955
\OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; 
\OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)
n)n)n)n)n\OMS/cmsy/m/n/10 g j [] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cm
r/m/n/10 : [] (\OT1/cmss/m/n/10 c[] \OT1/cmr/m/n/10 = \OMS/cmsy/m/n/10 ff[]\OML
/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/
cmm/m/it/10 ; \OT1/cmr/m/n/10 0\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n\OMS/cmsy
/m/n/10 g\OT1/cmr/m/n/10 [[]])\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n\OMS/cmsy/
m/n/10 g\OT1/cmr/m/n/10 [[]] +|
 []


Overfull \hbox (145.80917pt too wide) in paragraph at lines 3570--3955
\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 u\OT1/cmss/m/n/10 d[]\OT1/
cmr/m/n/10 [[]]))\OMS/cmsy/m/n/10 j \OML/cmm/m/it/10 <\OT1/cmr/m/n/10 = [] \OMS
/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] (\OMS/cmsy/m/n/10 j\OT1/cmr/m/n/10 (\OMS/
cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] \OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(P(
Union(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 Q\O
MS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ))) \OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10 (\OMS
/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/
10 : [] ([] ([] ([] []|
 []


Overfull \hbox (12.59737pt too wide) in paragraph at lines 3570--3955
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g j|
 []


Overfull \hbox (5.11105pt too wide) in paragraph at lines 3570--3955
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] (\OMS/cmsy/m
/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] ([] ([] [] N \OMS/cmsy/m/n/10 ) [] \OT1/cmr
/m/n/10 ([] [] Q)n)n \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[
] \OT1/cmr/m/n/10 =|
 []


Overfull \hbox (181.1049pt too wide) in paragraph at lines 3570--3955
\OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; 
\OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)
n)n)n)n)n\OMS/cmsy/m/n/10 g j [] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cm
r/m/n/10 : [] (\OT1/cmss/m/n/10 c[] \OT1/cmr/m/n/10 = \OMS/cmsy/m/n/10 ff[]\OML
/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/
cmm/m/it/10 ; \OT1/cmr/m/n/10 0\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n\OMS/cmsy
/m/n/10 g\OT1/cmr/m/n/10 [[]])\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n\OMS/cmsy/
m/n/10 g\OT1/cmr/m/n/10 [[]] +|
 []

[4]
Overfull \hbox (74.18071pt too wide) in paragraph at lines 3957--4372
[]$\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 
ph [] P(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(P(Union(\OMS/cmsy/m/n/10 f\OT
1/cmr/m/n/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/
n/10 ))) \OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/
m/n/10 : [] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (16.48627pt too wide) in paragraph at lines 3957--4372
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 j|
 []


Overfull \hbox (81.70894pt too wide) in paragraph at lines 3957--4372
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 8[
][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 8
[][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/1
0 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10
 gg [] \OT1/cmss/m/n/10 f[] \OMS/cmsy/m/n/10 ) ff[]\OML/cmm/m/it/10 ; []\OMS/cm
sy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cms
y/m/n/10 gg []|
 []


Overfull \hbox (109.30536pt too wide) in paragraph at lines 3957--4372
\OT1/cmss/m/n/10 f[] \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 = [] \OMS/cmsy/m/n/1
0 ) [] \OT1/cmr/m/n/10 = [])n)n \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 (\OMS/cms
y/m/n/10 8[][]\OT1/cmr/m/n/10 : [] [] N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 (
\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/
10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/1
0 ; []\OMS/cmsy/m/n/10 gg []|
 []


Overfull \hbox (78.12498pt too wide) in paragraph at lines 3957--4372
[] \OML/cmm/m/it/10 <\OT1/cmr/m/n/10 = [] \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10
 (\OMS/cmsy/m/n/10 j\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] \O
MS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(P(Union(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/
10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ))) \
OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [
] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (12.59737pt too wide) in paragraph at lines 3957--4372
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g j|
 []


Overfull \hbox (152.78487pt too wide) in paragraph at lines 3957--4372
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OT1/cmss/m/n/1
0 e[] \OT1/cmr/m/n/10 = \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n
/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 
(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] \OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [
] P(P(Union(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/
10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ))) \OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10
 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cm
r/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (12.59737pt too wide) in paragraph at lines 3957--4372
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g j|
 []


Overfull \hbox (48.64641pt too wide) in paragraph at lines 3957--4372
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OT1/cmss/m/n/1
0 e[] \OT1/cmr/m/n/10 = \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n
/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 
(\OT1/cmss/m/n/10 a\OT1/cmr/m/n/10 [[]] \OMS/cmsy/m/n/10 ^^C \OT1/cmss/m/n/10 b
\OT1/cmr/m/n/10 [[]])\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n\OMS/cmsy/m/n/10 g\
OT1/cmr/m/n/10 [[]] \OMS/cmsy/m/n/10 ^^C \OT1/cmss/m/n/10 c\OT1/cmr/m/n/10 [[]]
)\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 [[]] 
+ (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 u\OT1/cmss/m/n/10 d[]\OT1/cmr/m/n/10 [[]
]))\OMS/cmsy/m/n/10 j \OML/cmm/m/it/10 <\OT1/cmr/m/n/10 =|
 []


Overfull \hbox (67.96188pt too wide) in paragraph at lines 3957--4372
[] \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] (\OMS/cmsy/m/n/10 j\OT1/cmr/m/n/10
 (\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] \OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph 
[] P(P(Union(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n
/10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ))) \OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/1
0 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/c
mr/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (12.59737pt too wide) in paragraph at lines 3957--4372
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g j|
 []


Overfull \hbox (152.78487pt too wide) in paragraph at lines 3957--4372
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OT1/cmss/m/n/1
0 e[] \OT1/cmr/m/n/10 = \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n
/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 
(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] \OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [
] P(P(Union(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/
10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ))) \OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10
 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cm
r/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (12.59737pt too wide) in paragraph at lines 3957--4372
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g j|
 []


Overfull \hbox (40.8686pt too wide) in paragraph at lines 3957--4372
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OT1/cmss/m/n/1
0 e[] \OT1/cmr/m/n/10 = \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n
/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 
(\OT1/cmss/m/n/10 a\OT1/cmr/m/n/10 [[]] \OMS/cmsy/m/n/10 ^^C \OT1/cmss/m/n/10 b
\OT1/cmr/m/n/10 [[]])\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n\OMS/cmsy/m/n/10 g\
OT1/cmr/m/n/10 [[]] \OMS/cmsy/m/n/10 ^^C \OT1/cmss/m/n/10 c\OT1/cmr/m/n/10 [[]]
)\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 [[]] 
+ (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 u\OT1/cmss/m/n/10 d[]\OT1/cmr/m/n/10 [[]
]))\OMS/cmsy/m/n/10 j \OT1/cmr/m/n/10 =|
 []


Overfull \hbox (74.18071pt too wide) in paragraph at lines 4373--4898
[]$\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 
ph [] P(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(P(Union(\OMS/cmsy/m/n/10 f\OT
1/cmr/m/n/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/
n/10 ))) \OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/
m/n/10 : [] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (16.48627pt too wide) in paragraph at lines 4373--4898
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 j|
 []


Overfull \hbox (81.70894pt too wide) in paragraph at lines 4373--4898
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 8[
][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 8
[][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/1
0 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10
 gg [] \OT1/cmss/m/n/10 f[] \OMS/cmsy/m/n/10 ) ff[]\OML/cmm/m/it/10 ; []\OMS/cm
sy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cms
y/m/n/10 gg []|
 []


Overfull \hbox (109.30536pt too wide) in paragraph at lines 4373--4898
\OT1/cmss/m/n/10 f[] \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 = [] \OMS/cmsy/m/n/1
0 ) [] \OT1/cmr/m/n/10 = [])n)n \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 (\OMS/cms
y/m/n/10 8[][]\OT1/cmr/m/n/10 : [] [] N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 (
\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/
10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/1
0 ; []\OMS/cmsy/m/n/10 gg []|
 []


Overfull \hbox (78.12498pt too wide) in paragraph at lines 4373--4898
[] \OML/cmm/m/it/10 <\OT1/cmr/m/n/10 = [] \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10
 (\OMS/cmsy/m/n/10 j\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] \O
MS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(P(Union(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/
10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ))) \
OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [
] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (12.59737pt too wide) in paragraph at lines 4373--4898
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g j|
 []


Overfull \hbox (153.5071pt too wide) in paragraph at lines 4373--4898
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OT1/cmss/m/n/1
0 d[] \OT1/cmr/m/n/10 = \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n
/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 
(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] \OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [
] P(P(Union(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/
10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ))) \OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10
 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cm
r/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (12.59737pt too wide) in paragraph at lines 4373--4898
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g j|
 []


Overfull \hbox (152.78487pt too wide) in paragraph at lines 4373--4898
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OT1/cmss/m/n/1
0 e[] \OT1/cmr/m/n/10 = \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n
/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 
(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] \OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [
] P(P(Union(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/
10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ))) \OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10
 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cm
r/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (12.59737pt too wide) in paragraph at lines 4373--4898
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g j|
 []


Overfull \hbox (39.57704pt too wide) in paragraph at lines 4373--4898
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OT1/cmss/m/n/1
0 f[] \OT1/cmr/m/n/10 = \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n
/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 
(\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 u\OT1/cmss/m/n/10 a\OT1/cmr/m/n/10 [[]])\O
MS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 [[]] \OM
S/cmsy/m/n/10 ^^C \OT1/cmss/m/n/10 b\OT1/cmr/m/n/10 [[]])\OMS/cmsy/m/n/10 gg\OT
1/cmr/m/n/10 )n)n\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 [[]] + \OT1/cmss/m/n/10 c\OT
1/cmr/m/n/10 [[]])\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n\OMS/cmsy/m/n/10 g\OT1
/cmr/m/n/10 [[]] +|
 []


Overfull \hbox (145.80917pt too wide) in paragraph at lines 4373--4898
\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 u\OT1/cmss/m/n/10 d[]\OT1/
cmr/m/n/10 [[]]))\OMS/cmsy/m/n/10 j \OML/cmm/m/it/10 <\OT1/cmr/m/n/10 = [] \OMS
/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] (\OMS/cmsy/m/n/10 j\OT1/cmr/m/n/10 (\OMS/
cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] \OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(P(
Union(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 Q\O
MS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ))) \OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10 (\OMS
/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/
10 : [] ([] ([] ([] []|
 []


Overfull \hbox (12.59737pt too wide) in paragraph at lines 4373--4898
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g j|
 []


Overfull \hbox (153.5071pt too wide) in paragraph at lines 4373--4898
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OT1/cmss/m/n/1
0 d[] \OT1/cmr/m/n/10 = \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n
/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 
(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] \OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [
] P(P(Union(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/
10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ))) \OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10
 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cm
r/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (12.59737pt too wide) in paragraph at lines 4373--4898
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g j|
 []


Overfull \hbox (152.78487pt too wide) in paragraph at lines 4373--4898
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OT1/cmss/m/n/1
0 e[] \OT1/cmr/m/n/10 = \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n
/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 
(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] \OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [
] P(P(Union(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/
10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ))) \OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10
 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cm
r/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (12.59737pt too wide) in paragraph at lines 4373--4898
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g j|
 []


Overfull \hbox (39.57704pt too wide) in paragraph at lines 4373--4898
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OT1/cmss/m/n/1
0 f[] \OT1/cmr/m/n/10 = \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n
/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 
(\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 u\OT1/cmss/m/n/10 a\OT1/cmr/m/n/10 [[]])\O
MS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 [[]] \OM
S/cmsy/m/n/10 ^^C \OT1/cmss/m/n/10 b\OT1/cmr/m/n/10 [[]])\OMS/cmsy/m/n/10 gg\OT
1/cmr/m/n/10 )n)n\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 [[]] + \OT1/cmss/m/n/10 c\OT
1/cmr/m/n/10 [[]])\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n\OMS/cmsy/m/n/10 g\OT1
/cmr/m/n/10 [[]] +|
 []

[5]
Overfull \hbox (71.4583pt too wide) in paragraph at lines 4899--5232
[] \OT1/cmr/m/n/10 ([] \OML/cmm/m/it/10 <\OT1/cmr/m/n/10 = [] \OMS/cmsy/m/n/10 
) f\OT1/cmr/m/n/10 ph [] \OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(P(Union(\OMS
/cmsy/m/n/10 f\OT1/cmr/m/n/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 Q\OMS/cmsy/m/
n/10 g\OT1/cmr/m/n/10 ))) \OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/
10 8[][]\OT1/cmr/m/n/10 : [] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([
] ([] ([] []|
 []


Overfull \hbox (12.59737pt too wide) in paragraph at lines 4899--5232
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g j|
 []


Overfull \hbox (152.78487pt too wide) in paragraph at lines 4899--5232
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OT1/cmss/m/n/1
0 e[] \OT1/cmr/m/n/10 = \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n
/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 
(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] \OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [
] P(P(Union(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/
10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ))) \OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10
 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cm
r/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (12.59737pt too wide) in paragraph at lines 4899--5232
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g j|
 []


Overfull \hbox (13.3474pt too wide) in paragraph at lines 4899--5232
\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] \OMS/cmsy/m/n/10 f\OT1
/cmr/m/n/10 ph [] P(P(Union(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 N\OML/cmm/m/it/10
 ; \OT1/cmr/m/n/10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ))) \OMS/cmsy/m/n/10 j []
 \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] (\OMS/cmsy/m/n
/10 8[][]\OT1/cmr/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (12.59737pt too wide) in paragraph at lines 4899--5232
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g j|
 []


Overfull \hbox (153.5071pt too wide) in paragraph at lines 4899--5232
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OT1/cmss/m/n/1
0 d[] \OT1/cmr/m/n/10 = \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n
/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 
(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] \OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [
] P(P(Union(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/
10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ))) \OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10
 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cm
r/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (12.59737pt too wide) in paragraph at lines 4899--5232
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g j|
 []


Overfull \hbox (152.78487pt too wide) in paragraph at lines 4899--5232
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OT1/cmss/m/n/1
0 e[] \OT1/cmr/m/n/10 = \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n
/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 
(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] \OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [
] P(P(Union(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/
10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ))) \OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10
 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cm
r/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (12.59737pt too wide) in paragraph at lines 4899--5232
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g j|
 []


Overfull \hbox (39.57704pt too wide) in paragraph at lines 4899--5232
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OT1/cmss/m/n/1
0 f[] \OT1/cmr/m/n/10 = \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n
/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 
(\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 u\OT1/cmss/m/n/10 a\OT1/cmr/m/n/10 [[]])\O
MS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 [[]] \OM
S/cmsy/m/n/10 ^^C \OT1/cmss/m/n/10 b\OT1/cmr/m/n/10 [[]])\OMS/cmsy/m/n/10 gg\OT
1/cmr/m/n/10 )n)n\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 [[]] + \OT1/cmss/m/n/10 c\OT
1/cmr/m/n/10 [[]])\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n\OMS/cmsy/m/n/10 g\OT1
/cmr/m/n/10 [[]] +|
 []


Overfull \hbox (71.4583pt too wide) in paragraph at lines 5233--5666
[] \OT1/cmr/m/n/10 ([] \OML/cmm/m/it/10 <\OT1/cmr/m/n/10 = [] \OMS/cmsy/m/n/10 
) f\OT1/cmr/m/n/10 ph [] \OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(P(Union(\OMS
/cmsy/m/n/10 f\OT1/cmr/m/n/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 Q\OMS/cmsy/m/
n/10 g\OT1/cmr/m/n/10 ))) \OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/
10 8[][]\OT1/cmr/m/n/10 : [] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([
] ([] ([] []|
 []


Overfull \hbox (12.59737pt too wide) in paragraph at lines 5233--5666
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g j|
 []


Overfull \hbox (164.72937pt too wide) in paragraph at lines 5233--5666
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OT1/cmss/m/n/1
0 f[] \OT1/cmr/m/n/10 = \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n
/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 
(\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 u\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] \
OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(P(Union(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n
/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ))) 
\OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : 
[] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (12.59737pt too wide) in paragraph at lines 5233--5666
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g j|
 []


Overfull \hbox (164.72937pt too wide) in paragraph at lines 5233--5666
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OT1/cmss/m/n/1
0 f[] \OT1/cmr/m/n/10 = \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n
/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 
(\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 u\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] \
OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(P(Union(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n
/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ))) 
\OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : 
[] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (12.59737pt too wide) in paragraph at lines 5233--5666
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g j|
 []


Overfull \hbox (164.72937pt too wide) in paragraph at lines 5233--5666
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OT1/cmss/m/n/1
0 f[] \OT1/cmr/m/n/10 = \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n
/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 
(\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 u\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] \
OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(P(Union(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n
/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ))) 
\OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : 
[] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (12.59737pt too wide) in paragraph at lines 5233--5666
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g j|
 []


Overfull \hbox (164.72937pt too wide) in paragraph at lines 5233--5666
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OT1/cmss/m/n/1
0 f[] \OT1/cmr/m/n/10 = \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n
/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 
(\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 u\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] \
OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(P(Union(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n
/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ))) 
\OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : 
[] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (12.59737pt too wide) in paragraph at lines 5233--5666
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g j|
 []


Overfull \hbox (103.29941pt too wide) in paragraph at lines 5233--5666
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OT1/cmss/m/n/1
0 f[] \OT1/cmr/m/n/10 = \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n
/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 
(\OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 u\OT1/cmss/m/n/10 a\OT1/cmr/m/n/10 [[]])\O
MS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 [[]])\OM
S/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 [[]])\OMS
/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 [[]])\OMS/
cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 [[]])\OMS/c
msy/m/n/10 gg\OT1/cmr/m/n/10 )n)n\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 [[]] \OML/cm
m/m/it/10 <\OT1/cmr/m/n/10 =|
 []


Overfull \hbox (13.3474pt too wide) in paragraph at lines 5233--5666
\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] \OMS/cmsy/m/n/10 f\OT1
/cmr/m/n/10 ph [] P(P(Union(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 N\OML/cmm/m/it/10
 ; \OT1/cmr/m/n/10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ))) \OMS/cmsy/m/n/10 j []
 \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] (\OMS/cmsy/m/n
/10 8[][]\OT1/cmr/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (12.59737pt too wide) in paragraph at lines 5233--5666
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g j|
 []


Overfull \hbox (153.5071pt too wide) in paragraph at lines 5233--5666
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OT1/cmss/m/n/1
0 d[] \OT1/cmr/m/n/10 = \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n
/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 
(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] \OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [
] P(P(Union(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/
10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ))) \OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10
 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cm
r/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (12.59737pt too wide) in paragraph at lines 5233--5666
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g j|
 []


Overfull \hbox (74.18071pt too wide) in paragraph at lines 5667--5842
[]$\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 
ph [] P(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(P(Union(\OMS/cmsy/m/n/10 f\OT
1/cmr/m/n/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/
n/10 ))) \OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/
m/n/10 : [] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (16.48627pt too wide) in paragraph at lines 5667--5842
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 j|
 []


Overfull \hbox (81.70894pt too wide) in paragraph at lines 5667--5842
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 8[
][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 8
[][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/1
0 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10
 gg [] \OT1/cmss/m/n/10 f[] \OMS/cmsy/m/n/10 ) ff[]\OML/cmm/m/it/10 ; []\OMS/cm
sy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cms
y/m/n/10 gg []|
 []


Overfull \hbox (109.30536pt too wide) in paragraph at lines 5667--5842
\OT1/cmss/m/n/10 f[] \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 = [] \OMS/cmsy/m/n/1
0 ) [] \OT1/cmr/m/n/10 = [])n)n \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 (\OMS/cms
y/m/n/10 8[][]\OT1/cmr/m/n/10 : [] [] N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 (
\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/
10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/1
0 ; []\OMS/cmsy/m/n/10 gg []|
 []

[6]
Overfull \hbox (74.18071pt too wide) in paragraph at lines 5843--6018
[]$\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 
ph [] P(\OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] P(P(Union(\OMS/cmsy/m/n/10 f\OT
1/cmr/m/n/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 Q\OMS/cmsy/m/n/10 g\OT1/cmr/m/
n/10 ))) \OMS/cmsy/m/n/10 j [] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/
m/n/10 : [] ([] (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] ([] ([] ([] []|
 []


Overfull \hbox (16.48627pt too wide) in paragraph at lines 5843--6018
\OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 ([] [] Q)n)n \OMS/cmsy/
m/n/10 ) [] \OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a[] \OT1/cmr/m/n/10 = \OMS/cmsy/m
/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m
/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10 gg\OT1/cmr/m/n/10 )n)n)n)n)n)n\O
MS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 j|
 []


Overfull \hbox (81.70894pt too wide) in paragraph at lines 5843--6018
[] \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 8[
][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 8
[][]\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/1
0 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cmsy/m/n/10
 gg [] \OT1/cmss/m/n/10 f[] \OMS/cmsy/m/n/10 ) ff[]\OML/cmm/m/it/10 ; []\OMS/cm
sy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; []\OMS/cms
y/m/n/10 gg []|
 []


Overfull \hbox (109.30536pt too wide) in paragraph at lines 5843--6018
\OT1/cmss/m/n/10 f[] \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 = [] \OMS/cmsy/m/n/1
0 ) [] \OT1/cmr/m/n/10 = [])n)n \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 (\OMS/cms
y/m/n/10 8[][]\OT1/cmr/m/n/10 : [] [] N \OMS/cmsy/m/n/10 ) [] \OT1/cmr/m/n/10 (
\OMS/cmsy/m/n/10 8[][]\OT1/cmr/m/n/10 : [] (\OMS/cmsy/m/n/10 ff[]\OML/cmm/m/it/
10 ; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/1
0 ; []\OMS/cmsy/m/n/10 gg []|
 []


LaTeX Warning: Command \O invalid in math mode on input line 8609.


LaTeX Warning: Command \O invalid in math mode on input line 8627.


LaTeX Warning: Command \O invalid in math mode on input line 8737.


LaTeX Warning: Command \O invalid in math mode on input line 8739.


LaTeX Warning: Command \O invalid in math mode on input line 8741.


LaTeX Warning: Command \O invalid in math mode on input line 8743.


LaTeX Warning: Command \O invalid in math mode on input line 8745.


LaTeX Warning: Command \O invalid in math mode on input line 8785.


LaTeX Warning: Command \O invalid in math mode on input line 8787.

[7] [8] [9] [10] [11] [12] [13] [14] (./page.aux) ) 
Here is how much of TeX's memory you used:
 2661 strings out of 95835
 35625 string characters out of 1195527
 158543 words of memory out of 1000001
 5560 multiletter control sequences out of 10000+50000
 7607 words of font info for 29 fonts, out of 500000 for 1000
 28 hyphenation exceptions out of 1000
 25i,9n,36p,203b,234s stack positions out of 1500i,500n,5000p,200000b,5000s

Output written on page.dvi (14 pages, 137024 bytes).