G@↓7`∩pβ∃@ p.`¬OA4`ε*AH0πKAGPπQαP¬ZA0`πtAεpλXA40εE↓{@λ⊂↓/@¬aA"pλ3↓f0λBB↓0¬:A.⊂λFB∩`λI↓y`ε4↓w`εJ↓i⊂λQαλ@ε⊗αα0λ∩↓-pλ↓fpε@↓:0¬kα¬@¬↑↓≤Pλ↔A90εQAU π≥A|0¬DA2@ε→↓M0εyA2⊂εFA'`λ7↓>λ≡↓S ¬/↓y∧-AC0λ$↓DPλ&↓Rpπ{A
pπ⎇↓*@¬%α
 ¬-A*⊂λ∞Av@λ,B∧pλDBPλ≠Am0π]Ax⊂πX↓∂0ε↓↓t`¬⎇B
πGAs0πO↓(⊂π1α∪ ¬AAx@λ↓@Pεε↓OPλ@A=@¬qαλπ↔↓5 ε/AP`ε,↓hPε;↓,PεYASPλπAπ@ε1↓7¬?A8p¬	A/ε↔A-@¬←A9pεS↓1P¬L↓FPε7↓N⊂¬0AE⊂¬+A)P¬␈↓(Pε∧↓<p¬XAK0ε<A-ελ↓;`ε2AI`π∀α∂@ε∨AJ⊂ε%↓r0πDAp0π>Anpπ8AlPλ<α∃@λSα∞ ¬VA
`∧EA `∧yA≥`¬¬↓∀⊂∧}↓ ⊂∧IA≡p∧e↓_P∧↑↓∃ ∧YA∃`¬→↓∀P∧NA∪∧tAj0¬∂A↔¬∪↓!p∧kA
0¬↔↓' ∧mAp¬⊃↓p∧iA0∧GA&`∧`A% ∧!↓λ`∧?↓π`∧)↓	`∧%↓⊂ ∧CA→p¬
↓R⊂π'↓B@ε⊃↓C`πz↓}λ~↓ε ε]↓hλ1↓kPπ,α∪`λ*AHpεx↓Y πβA` π↓\0εbA\`εm↓Z εg↓V`εWA[pε↑Ab@πλ↓X⊂εk↓a0ε}A←εv↓u⊂πV↓Bpε≤Azpπi↓≠pεAA>@¬{Ac@π⊃↓; ¬N↓∞P∧<↓y0∧9↓vpB←`
⎇B←
zB↑ 
wB]@
tB\`
qB\
nB[ 
kBZ@
hBY0
gαX 
bBYBb`	BbεBa βB`@	pB/`λoB≠@λlB~`λiB-p&αi⊂'Bh`	lαM0!BN⊂
[α≥0λrBh	jB-⊂	3αD`	1B,	.B+ 	+BD0
7αA	*α@P	(B)`	%B)	"B( 	∨B'@	≤BA0	≠α&0	_α%P	∃α>	∪BKp
1αJ0	∩α$⊂	∂α#0	αD
2B@ 	␈B"P		α-@	πB!@	∧B `	↓B λ}B∨ λ{B≡@	|B: λxB;`
;BWp
↑αW⊂
YBV
VBU 
SBT@
PBS`
MBS
JBR 
παH@
#BI 	yB=P
∨αH⊂
&B≥`	{α;0λ]BM	gB≥
@α9⊂	cα↔	aB⊗P	`α6p	Zα6⊂	Wα50	Tα4P	Qα3@	Hα1P	Eα0p	Bα/0	<α0⊂	OB≤ ≡Bg ≠BEp	fαQ@
=αf@	LB_p
~Bf⊂λfBG
→α_@λ`B?@λ←αN@
GB7 	Kα20	↑BQ⊂
ABe`λeαG0
∀Be0	sB<@
CαE@
>Be	:B. λhαJ`

αBp
∞BB@
λBdP⊃αK⊂∂BK@∞αJ	u∧→α⊗PBj *Bk-∧≠B↔Bj .αk/@∧≡α↔0"j 0@∧∨α↔`"j 3@∧!α_⊂"j 6@∧#α_@"j 9@∧%α_p"j <@∧'α→ "j ?@∧)α→P"j B@∧+α~"j E@∧-B~0"q`H@∧/B~`"j J∧1B≠⊂"j L∧3B≠@"j M@∧5B≠p"j O∧7B≤ bj PBk-αt@S@∧9α≤Pbj TBk-αu@W@∧:B≥bj XBk-αv@[@∧<α≥0bj \Bk-αw@←@∧=B≥`"j `@∧?α≡⊂"j b∧Aα≡@"j e@∧CB≡p"j h∧EB∨ "j i@∧GB∨P"j m∧IB "j n∧Lα 0"j p@∧NB `"j r∧PB!⊂"j r@∧RB!@"j t@∧Uα!p"j u@∧Wα" "j w@∧YB"P"j x@∧\α#"j z∧↑α#0"j {@∧`B#`"j }∧bB$⊂"j @∧eα$@"j β∧gB$p"j ¬@∧iB% "j L∧kB%P"j O∧mB&"j π@∧oB&0"j 	@∧rB&`"j 
@∧wα'⊂"j @∧yB'@"j 
@∧{B'p"j ⊂∧}α( "j ∩@¬B(P"j ∀@¬βα)"j ↔¬¬α)0"j →@¬πB)`"j ≠@¬	B*⊂"j ≥@¬∂B*@"j  ¬⊃α*p"j H@¬∪α+ "j #@¬∃α+P"j &¬↔α,"j '@¬→α,0"j )¬≠α,`"j +¬≥α-⊂"j J¬∨α-@"j ,¬ B-p↓bj -Bk.Cp1β
 6C
p8C∞0:C∂>¬%α. ↓Bj BBkCC⊃⊂Fβ⊃`HC∩0JC∩pL@¬*α.P↓Bj NαkOβ∀QC∀PTβ∃ Vβ∃`X¬/α/↓Bj YBk[β↔]C↔P`β_ bβ_`d¬2B/0↓Bj eBkgβpgC
 6C
phC∞0i@¬8B/`#~`l¬:B0⊂↓bj mαkzβpnβ
 6C
p8C∞0:C∂>¬>α0@↓bj 	Bk-βppC
 6C
p8C∞0:C∂>¬AB0pbj sαktβpu@¬DB1 ↓bj wαkxCpFβ
 6C
pzC∞0{C∂⎇¬Jα1P↓bj 
↓αk
αCpFβ
 6C
p
∧C∞0
¬C∂
π¬OB2↓Bj 
αk
Cp

C
 6C
p8C∞0:@¬Uα20↓bj 
∞Bk
⊂CpFβ
 6C
p8C∞0:C∂>¬ZB2`↓bj 
⊃Bk
∪CpFβ
 6C
p8C∞0:C∂>¬↑α3@↓"j 
∀Bk
∃CpFβ
 6C
p8@¬aB3p↓bj 
⊗Bk
_CpFβ
 HC
p8C∞0:C∂>¬eB4 ↓bj 
→Bk
≠CpFβ
 HC
p8C∞0:C∂>¬mα4P↓bj *BkzβpFβ
 6C
p8C∞0
≤C∂>¬⎇B5↓bj *Bk
≡βpFβ
 6C
p8C∞0
∨C∂>εαB50↓Bj 
!αk
"CpFβ
 HC
p8C∞0
#@ε
B5`↓Bj 
%αk
'βpFβ
 HC
p8C∞0
(ε⊗α6⊂↓Bj 
)Bk
+C
 6C
p8C∞0
,C∂
.ε→α6@↓"j 
/αk
0βpFβ
 HC
p8@ε≤B6pbj 
2Bk-βp
4ε∨B7 ↓Bj 
7αk
9CpFβ
 HC
pJC∞0
:@ε%α7P↓Bj 
<αk
>CpFβ
 
?C
pJC∞0L@ε,α8↓Bj *Bk-βpFβ
 6C
pJC∞0L@ε/B80↓bj *Bk-βpFβ
 6C
p
AC∞0
BC∂
Dε4α8`↓bj .αk-βpFβ
 6C
p8C∞0
Hβ∂>ε;α9⊂↓bj 
IBk
KβpFβ
 6C
p8C∞0
Lβ∂>ε>B9@↓"j 
MBk
OβpFβ
 HC4
Q@ε@α9p↓"j 
Sαk.CpFβ
 
TC5 
V@εCα: bj *Bk-β6⊂
ZεEα:P↓"j .αk-βpFβ
 HC6p
]εHB;↓"j 
↑Bk-βpFβ
 HC8
a@εKB;0↓"j .αk-βpFβ
 HC9
e@εNB;`↓αj *C
p
gC∞0
hCp
jεWB<@"j 
lε[α<p"j 
m@ε↑B= "j 
oε`B=P"j *@εbB>"j 
qεeα>0"j 
sεgα>`"j 
t@εiα?⊂"j 
u@εkα?@"j 
w@εmα?p"j 
z@εoB@ "j 
εqB@P"j 
|@εsαA"j 
}εvαA0"j hεxαA`"j .ε|αB⊂"j ∞ε}BB@"j ∞↓π↓αBp"j ∞απβBC "j ∞βπ¬BCP"j ∞∧πλαD"j *@π
αD0"j *@παD`"j ∞¬π∞αE⊂bj ∞εCp∞λαk∞	@π∀αF bj ∞
Cp∞
Bk∞∂π↔αGbj ∞⊂βp∞∪αk∞∀@π→BG`bj ∞∃Bk-βp∞↔@π≠BH@cp∞_Bj `Bk∞→@π≥BIPbj ∞~Bk-βp∞≤@π αJ0"j ∞≡π"BKpbj *Bk-βp∞∨π$BMbj ∞ αk-βp∞!@π)BM`bj PBk-βp∞%π1αN@Bj ∞'Cp∞*π8BO Bj ∞+Bk∞-@π;BPBj ∞.Bk∞0π>BP0Bj ∞1αk∞3@πABP`Bj ∞4Bk∞6@πDBQ⊂Bj ∞7Bk∞:πGBQ@Bj ∞;αk∞=πIBQpBj 
7αk-πOαR Bj ∞>αk-πQαRPBj ∞?Bk-πSαSBj ∞Aαk-πTBS0Bj ∞BBk-πVαS`Bj ∞Dαk-πXαT⊂Bj ∞EBk-πZαT@Bj ∞Gαk-π[BTpBj ∞HBk-π]BU Bj ∞Jαk-π←αUPBj ∞KBk-π`BVBj ∞Mαk-πbαV0Bj PBk-πdαW⊂Bj ∞NBk-πeBW@Bj *Bk-πgαWpBj ∞Pαk-πiαX πkBXPπnαYπqBY0πtBY`πxαZ⊂πzαZ@π{BZpπ⎇α[ λα[PλαB\λ¬B\0λπB\`λ	B]⊂λα]@λ∞B]pλ⊂α↑ λ∩α↑Pλ∪B←λ⊗α←0λ↔B←`λ~α`⊂λ≠B`@"j ∞Q@λ≡α`p"j ∞S@λ αa "j ∞W@λ"αaP"j ∞[@λ$αb"j ∞`λ&αb0"j ∞cλ(αb`"j ∞fλ*Bc⊂"j ∞g@λ,Bc@"j ∞jλ.Bcp"j ∞lλ1αd "j ∞oλ3αdP"j ∞r@λ5αe"j ∞v@λ7αe0"j 
M@λ9αe`"j ∞yλ<αf⊂"j ∞⎇λ>αf@"j ∞␈λ@Bfp"j 
M@λBBg λDBgPλFBh"j ∂↓λOαh0"j P@λQαh`"j ∂∧@λSαi⊂"j ∂ελVαi@"j ∂πλXBip pπ∃V`7→.Bh#X.F(;X/⊂!0¬P.'0Ql↔ 2]l↔H!p↓∀jP" ∧TjTp⊗Uλ#λ_
 "P∧∀jTp⊗Tfβ≠@#∧∀jTp⊗Tf∪_@#0¬∀jTp⊗Uλ#λ_Lh #`¬∀jTp⊗Uλ#λ_Lh⊂$⊂∧TjTp⊗Uλ#λ_L`$@ε∀jTp⊗PlW⊂0\f∪⊂~@$p¬∩.&H9K)TP~F % ¬∀jTp⊗S)# _ML %P¬∀jTp⊗S)# →
⊂&¬∀jTp⊗S)# →L⊂&0¬∀jTp⊗S)# _L⊂&`β∪
⊗p3X-P'0α⊗-vp4@(α⊗,⊗p3@(P↓V-⊗p) β∪-w⊂2≠n )P∧∀jTp⊗ThU $@*εTjTp⊗UW⊂6X-c(≠
 *0∧∀jTp⊗UW_:*`¬∀jTp⊗Phbh&_, +⊂∧TjTp⊗S)# →
@+@¬TjTp⊗Q*$`~π⊗⊂+p¬TjTp⊗Q*$`~
&f⊂, ¬∀jTp⊗Q*$`~
εP,P¬∀jTp⊗Q*$`~π-¬TjTp⊗Q*$`~
εFλ-0¬∀jTp⊗Q*$`~&⊂-`¬TjTp⊗Q*$`~&⊗⊂.⊂¬TjTp⊗Q*$`~&⊗λ.@∧TjTp⊗S)#→ .p¬TjTp⊗Q*$`~π⊗0/ ∧TjTp⊗S)# ~L/P¬TjTp⊗Q*$`~π⊗(0¬TjTp⊗Q*$`~π⊗ 00βTjTp⊗UλU@0`∧TjTp⊗S)# →
1⊂∧TjTp⊗S)# _@1@¬∀jTp⊗S)# _ML⊂1pλ∃EU_2\NfH1Y%U_2\Nf(9∧t@2 ∧⊃NVh0\Mv`2@2 ε∀jTp⊗QNVh0\Mv`2@2P¬TjTp⊗Q*$`→
'⊗λ3∧∀jTp⊗Pi∃_130¬TjTp⊗Q*$`~π⊗_3`¬TjTp⊗Q*$`~πελ4⊂¬TjTp⊗Q*$`~π⊗λ4@∧∀jTp⊗Pi∃_0@4p¬TjTp⊗Q*$`→
'⊗⊂5 ∧TjTp⊗S)#_~@¬@5P∧TjRh!X.7 9≠`¬
5Pβ⊂l↔_:≤Mp5Pε∀jTp7≡%T_0\nG⊂7@6β∀jTp⊗QhP60∧TjTp⊗S)# →@6`∧TjTp⊗S)#_→L7⊂∧TjTp⊗S)# ≠7@∧TjTp⊗S)# _∞7p¬∀jTp⊗Q*$`~&@8 ∧TjTp⊗S)# →∞8P∧TjTp⊗S)# _M@9β∩
βH≤f`¬"@90∧TW_1X,F(9≠`90ε∀jRh(→.6_0YW⊂7@¬&@:@β∪	u )K( ¬(@:@∧TjRh&∪jE_⊗P@:@αS	u )P@¬+@;@β∪	u )K(⊂¬-@;@∧TjRh&∪jE_⊗P ;@αS	u )P ¬0@<@αR)U_)T`<@∧∀jRh$S*5_)@¬4=@β∀m⊗(9≤L⊂¬6=@∧TjRh)Z,W⊂9_ ¬7@=@αTjRh"Q =@↓⊃(P>@∧⊂mwH7]Sλ_¬<>pβ⊂mwH7]P>p∧TjRh![o⊗x:→ ¬?@@β⊂l↔⊂6Y-@@∧TjRh!X.&h2[¬CA⊂β∀
↔_3X-A⊂↓P*$h¬F@A`βQj4⊂⊗R	u8¬H@A`¬∀jRh#Th"h$∪jpA`↓R	u8¬LBpβQj4⊂⊗Ui¬H¬NBp¬∀jRh#Th"h+R⊂Bp↓Ui¬H¬Q@D∧⊂-π80Z
f(2@¬SDβ⊂.vλ7→,PDβP-π80[LV(¬V@Eα∀h∀0"@¬X@E∧TjTh"V¬U0 VEβTjRh)P(d(¬\F⊂β⊂.& ;_/F⊂∧TjRh \LG00↑¬←@G α⊃NVP4@G βTjRh#≥-&H¬c@H⊂βPl↔_1X,F(H⊂¬∀jRh!X.6_0YP¬g@I βQmFλ1Z,W⊂¬i@I ¬∀jRh#[⊗_4Y. ¬kI α⊃JDλ&I ∧⊃JDλ&*fλ<¬oJ0βUmεH:≠LWH¬qJ0¬∀jRh+Z
↔ 7→/⊂¬s@J0ε∀Mv⊂7]
⊗_9K*dλ,¬vJ0¬TjRh)≠l&x:~,7_¬xJ0∧∀Mv⊂7]
⊗_9@¬zJ0βR%U⊂7XMw ¬{@J0β∃M↔_4[m`J0¬∃M↔_4[mbh+_/¬␈K@β∪L↔00ZMpε↓K@∧TjRh'_.fλ5≠`K@β∪H∩h+⊂+ε∧LPαT∞7H1ZεεLP∧∀jRh(≤o⊗_4ελLP∧T∞7H1Z¬U00↑ε
LP∧TjRh*_-εx6X ε@LPβ∃⊗@7[,⊂LP¬∃∞W⊂:≠Rh+_/ε∂MP↓R*4`ε⊃MP∧U⊗h0[∞ελ4\`ε∩@MP↓U⊗hε∀@MPβR*4`⊗UH∃@MPβ∀jRh$Ti@ε↔@NP↓Q
4pNPβ∀jRh"∀i`ε~@OPβ∩V`2[N0OP∧TjRh$→-F(7≤`ε≡@P@βU,&(4→,&(P@↓⊂)@ε!@Q⊂¬∀jTh"V¬S⊂_Fε#@Q⊂∧⊂)∀h⊗LFβ⊂_Q⊂α∃
⊗p<@ε'R⊂∧TjTh"V¬Tλ$S ε(@R⊂αTjTh"Vε*@R⊂¬∀jTh"V¬S⊂_
FR⊂↓P)∀hε-@S⊂αTl6x9→ S⊂∧∀jRh)Piu⊂"@ε1T⊂α∀h∀H&ε2@T⊂αTjRh R T⊂α∀jTλ$@ε5@U β⊃
⊗λ1≠
pε7U ↓R	e0ε8@U β∀jRh$∪J`U εTjRh$∀
αh'⊃eU0 Vε<@V0β∀mελ9]⊂V0∧TjRh)Z↔_:_ W@αTL↔02[@εA@X0β⊃.W⊂2Zl⊂X0↓UHe_Y βTl6λ7≠LW⊂εF@YpαPMvH9Y Yp¬∩
αh(≤M⊗p:→. εJZ`αU⊗@7Y Z`αQ
w02\@εM[Pβ∪↔_9Y-`[P↓R(e_εQ@\@λ∀nFλ7→Mw⊂2(vλ:→.vλ<@εS\@β⊃mv`2→-`εU\@∧TjRh#[mF 2[@\@¬Qmv`2→-bh#X.F(εY@] ∧∃
↔⊗R
¬1] β∀n↔(4Y-Pε]]P∧∃
↔⊗R
¬0@]Pβ∃Vp0↑,⊂↑∧U
↔⊗S,WH2\@↑0∧∃
↔⊗S)$@1@↑`¬U
↔⊗Q*$`⊗Pi∃_←⊂βU
↔⊗P(T`←@¬∃
↔⊗Qj4⊂*≠mp←pβU
↔⊗Qj4⊂` ∧∃
↔⊗Tf∪_@`P¬U
↔⊗Qm⊗p=≥
vpaβU
↔⊗R*E_a0β∃
↔⊗Q(Pa`λ∃
↔⊗Q*$`⊗TnvH:_mε(9b⊂∧∃
↔⊗UW_:εy@b@αU
⊗x3X b@ε∩	e0⊗Q.F@2\JFH8bp¬U
↔⊗UW⊂6X-d_c ¬U
↔⊗UW⊂6X-d⊂cPε∃
↔⊗PhU⊂ Tf∪⊂~@d∧U
↔⊗PhU⊂ T`d0¬U
↔⊗UW⊂6X-dλd`∧∃
↔⊗S)$@1e⊂∧∃
↔⊗S)$@0@e@βU
↔⊗Pi∃_π⊃ep	∃lV`1Z¬U⊂7X,Bh#X.F(;X/⊂epλUlV`1Z
&x0Y¬T80]W80↑ f@	∀jTh"V¬Sλ_∪("h#X.F(;X/⊂g⊂ε∀f∪_K(vλ:→.vλ<@g`¬⊂i∃_⊗PN&H2→lPh0¬⊃*$`⊗PN&H2→lPiεQn&(2[ET80]W80↑ iPπ∃W⊂6X-bh#X.F(;X/⊂jβTlWλ:[m⊗λπ'jPεQ
w02\ET80]W80↑ jPεU⊗@7Y%T80]W80↑ π,k ¬TjTp⊗Ql↔ 2]l↔Hπ.@k ε∃W_:(vλ:→.vλ<@k ¬UW_:('⊂4Yv(π2@kpα∀
⊗p2@π5@kpλTjTh"V¬Th%∩¬T80]W80↑ kpλS)$@⊗TjTh"V¬T80]W80↑ l0πTjTh"V¬T 7[∞ε@4[ES(lpπTjTh"V¬T 7[∞ε@4[ES m0πTjTh"V¬T 7[∞ε@4[ES_mpπTjTh"V¬T 7[∞ε@4[ES⊂n0πTjTh"V¬T 7[∞ε@4[ESλnp∧∀⊗_4YM⊗_0@πK@o0¬∀jTh"V¬Tλ6≥
pπM@o0∧⊂)∀h⊗P-G 7@o0α∀⊗`7@opβT⊗`7[,↔⊂p0βP-Fh0[Mw⊂ppα∪L↔0@q0α∃
w⊂7@qpβU∞&H7~.GHr0∧∪-vp:→.&(<@rpαS,↔⊂4[@s0∧⊗-w_2[-↔ 2@spβ∪-vP0]LPt0αQ
⊗(3[`tpα∪-vp7@u0βT
w⊂:≠mFλupα∩-gH7@v0α⊗-v`7@vpβPo↔9→.7_w0ε∃ETh:[∞FH1X.7 !wPε∃ETh:[∞FH1X.7  @wp⊂N&(0]
∧x3∪
⊗02K)W(6≥
⊗_0\n@x⊂πQn&H7≠LV`6*6(9≥LW⊂x0	P.'0K*F(6≠LW ⊗Ql↔ 2]l↔HxP∧∃V`2Tnvλ:xpα∃↔2@y⊂α∪Vλ3y0πS
↔_8*7 0]
↔_:~,7_yPπ∀∞&H7≥W⊂⊗TLW7\N@ypλP-G 7K(W⊂9≠n"h)→.εx9≥z⊂∧⊂mw<Q
↔_5@z0¬∀nFλ:~.7 4Xn0zP¬Q,↔⊂9K*7 0]∞W_zpε⊃(e (*&(1Y-↔02@{⊂α∪,⊗H6{0∧⊂J5⊗UW_:{Pα⊃,6@7@{pεS-↔_1K*6(9≥M⊗_2\`|⊂↓QJE|0ε⊃l↔ 2]l↔H⊗R-f07@|Pβ∃V`7→.@|pε∪)$@⊗L&∧h!)f(:⎇ βR(4`⊗SLW ⎇PβTJ4`⊗SLW }βQ
48⊗SLW }0βR*4`⊗SLW }`βR*E_⊗SLW ␈⊂¬SLW8&X.F@⊗SLW ␈@βUW@⊗SLW ␈p∧S,WH2\ETp2]↓ ε∪-↔ 1ZV`6)f(:↓P¬∃W⊂6X-bh'→.@↓↓∧Ph5⊂&P%Tp2]↓↓0∧∪	u )K)f(:↓↓`βR
¬⊗SLW ↓α⊂λTjTh"V¬U ;Z.7 2Y¬Tp2]↓α@∧TjTh"V¬Tp2]↓αpπ∀jTh"V¬Sλ_∪("h'→.@↓β ∧TL↔02[ETp2]↓βPβPiU(⊗SLW ↓βpβS)∃ ⊗SLW λI↓∧⊂¬Pj4 ⊗Pj4`⊗SLW λK↓∧⊂βPj4`⊗SLW λM↓∧⊂βPj4 ⊗SLW ↓∧⊂∧∀
⊗p2K)f(:↓∧@∧∃W_:)f(:↓∧p∧Q
w02\ETp2]↓¬ πTjTh"V¬U 2\nBh'→.C⊂↓¬Pπ∀jTh"V¬U 2\nBh'→.@↓εβP*% SHU  p∀0@⊗ !0∀0 ↓`!p∀ ↓`" ⊗G@"P⊗G#⊗F`#0⊗ε#`↔ε$⊂⊗F$@_α $p∧↓`% ∧↓@%P∧↓ &∧↓&0∧`&`∀>'0∪}(∀#@(P∪c@) ∀⊗ )P∀∂ *∀∞@*0∀∞ *`∀∞+⊂∀
`+@∀
@+p∀
 , ∀
,P∀`-∀@-0∀ -`∀`.⊂∀@.@∀
.p∀	`/ ∀	@/P∀	 0∀	00∀π`0`∀π 1⊂∀π1@∀ε`1p∀ε@2 ∀ε 2P∀¬`3∀¬@30∀¬ 3`∀¬4⊂∀∧`4@∀∧@4p∀∧ 5 ∀∧5P∀β`6∀β 60∀α 6`∀α7⊂∀↓`7@∀↓@7p∀↓ 8 ∀`8P∀@9∀90∧α:@_@;@_ <@∀5@=@∀5 >@∧@>p∀5`@∀5A⊂∀4`A`∀4@Bp∀4 D∀4E⊗U@	L@F⊂⊗U F⊂⊗ G ∀3@H⊂∀6I ∀3 J0∀3K@∀2`LP∀2@MP∀2 NP∀2OP∀1`P@∀1Q⊂⊗UR⊂⊗U`S⊂∀0`T⊂∀0@U ∀0 V0∀0W@∃@@X0∀ @Y ∀∂Yp∀ Z`∪  [P∀ 	p@\@∀∂@\@∧ ] ↔F ]P↔F↑~↓ ↑0∀∃ ↑`∀π@←⊂∀∃←@∀⊗@←p∀∞`` ⊗G `P∀ a∀a0∀β@a`∀βb⊂∀εb@∀∀bp_ c _cP_
@d_
 d0_
`d`∀
 e⊂∀α@e@∀↓
⊗ep↔ε`
↔@ep↔Gep∃@ 
~@f@⊗F@f@⊗λ
≥@g⊂⊗F g⊂↔ε@
 @g`∀∃@g`∀∃`
#@h0∀∀ 
%h0∀∀@h0∀∀`
(i∀⊗i~`
+iP∀λ@
,@iP_λ`
.iP→ iP→@ 
1j∀λ
2@j∀λ j∀
@
5@jP∀  jP∪ @
8@k ∀α`k ∪@`
;@kp⊗R kp∀∂`
>@l0∃m l0↔G lp∀-m0⊗` mp↔F@n0⊗`np∃l@o0⊗R@op∀∪`p0∀∪@pp∀∪ q0∀∪qp∀∩`r0∀∩ rp∀∩s0∀⊃`sp∀⊃@t0∀⊃ tp∀⊃
[u0∀⊂`u0∪P`up∀⊂@v0∀⊂ vp∀⊂w0? wP?@wp?`x⊂⊃x0⊗ xPxp	y⊂λ`y0ε`yPε ypεz⊂¬ z0∧@zP∧ zp∧{⊂↓`{0↓@{P↓ {p↓|⊂`|0@|P |p∧⎇ β@⎇Pβ}α@}0α}`↓@␈⊂↓␈@@␈p~↓ →@↓P→↓↓_@↓↓0_↓↓`↔@↓α⊂↔↓α@⊗@↓αp⊗↓β ∃@↓βP∃↓βp∀@↓∧⊂∀↓∧@∪@↓∧p∪↓¬ λ@↓¬Pλ↓ε⊂∧∪
v_0]
⊗x7βS)$@⊂ε#αSnvp2\@↓Pj4 βS)$@⊂
ε3_↓Pj4 	TnFλ7→Mw⊂2λ
Vp4]LW⊂9Z.GH
Uλ"h_LεR&Y,FH1X-B!Y-g 2\@
∀eS_
d∧h2Y
⊗_0[∧∧_2[NF(9
∀eSλ_$∧h2Y
⊗_0[∧∧_2[NF(9
Uλ"h_L&2&Y,FH1X-B!Y-g 2\@
Uλ"h_L&2&Y,FH1X-B!Y-g 2\@
Uλ"h_L&2&Y,FH1X-B!Y-g 2\@∧PlW⊂0\dβλ→
 ∧∪⊗_0]
⊗x7∧Q
2%≥-f86→ π∀nG(2→-g ⊂∩NVp3[P∧⊂mε(9~.Fx7∧Q
2%≥-f86→ ¬∪,⊗p7∧ε(:_e`∧∪)$@⊂ε31@∧Tmvh2]
⊗h2\`α⊗-vp4@∧∪)$@⊂ε31@∧Tmvh2]
⊗h2\`β∪
⊗p3X-P∧∪)$@⊂ε31@∧Tmvh2]
⊗h2\`↓V-⊗p∧∪)$@⊂ε31@∧Tmvh2]
⊗h2\`α⊗,⊗p3@βQ*$`⊂FSH∀L⊗ 4[d¬_1Z,Vp1Y$∧ :\L⊗p2λε#_≤@λ⊂LW⊂7~,R)≠nF@⊂$∧h"@∧∪)$@⊂εC2@S)$@⊂⊂j4 ⊗Phb&_,"&RIα_FελαS⊗p:≡@λQ*$`⊂∃W⊂6Z-fλ6λ
&x7[ ∧∩Vp7→.7_<@O`εU∞&(;Z.G ⊗λW 1K@β∪
⊗p:≠m`ε∩⊗p7_-αx#\Mw_9@αTMw82[@¬∀∞'P<XO⊗`9Zm⊂βPM⊗p3≠n& λQ*$`⊂∃W⊂6Z-fλ6λ
&x7[ λ∀nG(2→-g ⊂⊂NV`6.ε(7λQ*$`⊂∃W⊂6Z-fλ6λ
&x7[ λQ*$`⊂∃W⊂6Z-fλ6λ
&x7[ εS)$@⊂∀mvh2]mε(9→ εSMw84Xm6H⊗λW 1K@αS)# →L`αP(T`⊂
`ε∩↔⊂2≥l↔⊂2H	Fλ1λPi∃_⊂∃W⊂6Z-fλ6λ
&x7[ λQ*$`⊂∃W⊂6Z-fλ6λ
&x7[ εU∞&(;Z.G ⊗λW 1K@λQ*$`⊂∃W⊂6Z-fλ6λ
&x7[ λPi∃_⊂∃W⊂6Z-fλ6λ
&x7[ ε∩↔⊂2≥l↔⊂2H	Fλ1¬U∞&λ1_D¬0\LFxλ∩↔⊂:≥lV`6hU⊂&λεCλ→@QlVx6Y.G⊂<HλVp3Z-f(⊂∃W_:_LV 	⊂j4 ⊂∀L⊗p2≠mR#_,7(6≥∂⊂∧Pj4 ⊂∀Vx7≤`∧Pj4 ⊂∀Vx7≤`π∩Mw(8≤
∩`⊂∀l↔⊂5X. αT∞&λ:≥βP(T`⊂F3λαS)#→↓Q
48∧⊃NVp1]
⊗x7∞⊃
↔_:≤M⊗⊂:]V ⊂∀o↔_:→-W_⊂∀LW_2X.&_4∧∪LW ;[n&X9@β∀
U∃R*β∪nαh)↑.0α∃-fH<↓Pj¬(¬∃H∃@⊗L&∩x≠M&ε∩*αh(≤Mw 7Xmv`9@⊃∃(E⊗λ
D_(jD(&∪HU ⊗λ
D_(he (∧¬ !T¬u_&U
αPlW⊂0\`α∪	u )@∧⊃NVp1]
⊗x7β∀lW⊂;→. ∧∪LW ;[n&X9@↓T
Uβ∪nαh)↑.0β∃	u)LF↓Pj¬(∧⊃λT_⊗LFβ0_αPlW⊂0\`α∪	u )@∧⊃NVp1]
⊗x7β∀lW⊂;→. ∧∪LW ;[n&X9@↓T
Uβ∪nαh)↑.0β∃	u)LF↓Pj¬(∧⊃λT_⊗LFβ0_∧T
⊗p2H	ελ6≠αR)U_)T`∧⊃NVp1]
⊗x7β∀lW⊂;→. ∧∪LW ;[n&X9@↓T
Uβ∪nαh)↑.0αUVp2↑↓Pj¬(∧QλT_⊂∩i∩h_L¬⊃∞W⊂0[LB_
&P↓⊃(Pβ∀lW⊂;→. β∃	u)LF∧⊃λT_⊗LFβ0_β∀LVλ6≠∂⊂β⊂mwH7]PαS)#→ λTMv⊂7]
⊗_9H
&(9Y,↔⊂1Z	∩lW⊂7→-B"→.f(6≠nεh2[N@αS)#→ ∧∀Mv⊂7]
⊗_9@¬∀Mv⊂7]∧∧λ9≠.0∧⊃j4⊂⊂⊂FRh"@¬PNW_↔λ
6_4≠mv`β∃	u)LF∧⊃λT_⊗LFβ0_∞Uλ5↔UλT`'⊃*B`⊂∃λ5↔QJE⊗λ
D_(j4h*∀∧⊃j4⊂⊂⊂FRh"@¬PNW_↔λ
6_4≠mv`β∃	u)LF∧⊃λT_⊗LFβ0_∞Uλ5↔UλT`'⊃*B`⊂∃λ5↔QJE⊗λ
D_(j4h*∀∧⊃Mw⊂9↑.F@2@↓R*E_α∃.6(9εTeSλ_$∧h2Y∧∧_:≤@α⊂.'0@εTeSλ_$∧h2Y∧∧_:≤@α⊂.'0@β⊂(T`⊂&⊂↓R(4`π∪,4_:[
Fx:Ymα_f ↓R(4`π∪,4_:[
Fx:Ymα_f ↓R(4`¬∃H∃@⊗L&∩x≠NεβPj4 ⊂∪Etλ¬∃H∃@⊗L&∩x≠Nε¬∩Mw⊂2_-b_f0αT∞7H1Z¬∃H∃@⊗L&∩x≠Nε¬Q∞W⊂0[LB_&tλα⊃m⊗`6¬∃H∃@⊗L&∩x≠Nε¬Q∞W⊂0[LB_&tλα∪-w⊂3¬∃H∃@⊗L&∩x≠Nε↓PH∀ ↓Q*$`λSLW85Z.&X⊂	D∧h0]
ε(;\`βS)$@⊂ε#λ
TMv⊂7]
⊗_9H	Vλ7~.π(6_.FH7[@λ∀eSλ_$∧h2Y∧∧_2[NF(9αTjTh"V∧⊃λT_⊗LFβ⊂_λ∀eSλ_$∧h2Y∧∧_2[NF(9αTjTh"VεT
U∃R*αX*⊗)Tp"UαUh∀H*∀`∧⊃λT_⊗L&β@_∞Uλ5↔UλT`'⊃*B`⊂∃λ5↔QJE⊗λ
D_(j4h*∀¬∃H∃@⊗L&∩x≠NεβQ*$`⊂FS8↓Pj4`¬∃H∃@⊗L&∩x≠Nε¬∃lV`1Z∧¬⊂7X,@↓R
¬∧∀lW⊂;~,6(9@βT∞&H7≥W⊂βS)$@⊂
ε#⊂U@∧∀lW⊂;~,6(9@¬QM⊗`2K*6(9≥LW⊂∧∀lW⊂;~,6(9@βTl6λ7≠LW⊂∧∀lW⊂;~,6(9@βT∞&H7≥W⊂βS)$@⊂F#λ∧∀lW⊂;~,6(9@λ⊃n&λ8~
⊗_9K*π⊂4[NF(9∧∀lW⊂;~,6(9@¬QM⊗`2K*6(9≥LW⊂↓S)u_∧S
4H⊗L&∩x→`π∩*αx(∃*α#X.F(;X/⊂¬∃lV`1Z∧¬⊂7X,@¬∃lV`1Z∧¬⊂7X,@εS,WH2\D∧`4XN&λ9≡ ¬Tmελ9]∩)≠mvhβP(T`⊂F#H↓Qj4⊂¬Qj4⊂⊂∀MR!
%T(	Tf∪_H	V(2~,6λ6λλ6(7≥W⊂¬Qm⊗p=≥
vp⊂∪⊗⊂∧S,4_:[
Fx1Z¬Tmελ9]∩)≠mvhβ∃W⊂6X-`β∃W⊂6X-`αPhU⊂ T`αPhU⊂ T`β∃W⊂6X-`∧Pi∃_⊂⊂-fp2↑¬∃lV`1Z∧¬⊂7X,@βQl↔ 2]l↔H↓R
¬	Tf∪_H	V(2~,6λ6λλ6(7≥W⊂βQl↔ 2]l↔HαTjTh"V	Tf∪_H	V(2~,6λ6λλ6(7≥W⊂βQl↔ 2]l↔HαTjTh"V¬Pi∃_⊂∃∞&λ4[W⊂β⊂N&H2→lPβ⊂N&H2→lP↓Pj4`εQn&(2[D∧`4XN&λ9≡ βQl↔ 2]l↔Hβ∃W⊂6X-`β⊂N&H2→lPβS)$@⊂F#λQl↔ 2]l↔H⊂_-f ⊂⊃
w02\Dε_7[NG⊂7[λPN&H2→lR7\D∧80]W80↑ πL&3(⊗Q∧¬4[LR$_-F`βQl↔ 2]l↔H¬Umε(6_-b!≠F8↓R
¬βS)$@⊂F#(↓R
¬λUλ"h_LεR&Y,B!Y-g 2\@αTjTh"V¬Umε(6_-b!≠F8↓R
¬λS
vλ7→,B:≠d¬⊂:]v(9≤`αTjTh"V¬Umε(6_-b!≠F8↓R
¬βS)$@⊂εββS)$@⊂
εS∧⊂i∃_⊂∃∞&λ↔βS)$@⊂εββQ*$`⊂
εβλβS)$@⊂
εSβS)$@⊂εββQ*$`⊂
εβλβS)$@⊂εββS)$@⊂F#(βS)$@⊂εββS)$@⊂εββS)$@⊂εβπ∪)$@⊂_-F`⊂→MFx7\N0
P(T`⊂∩-g 2Yn&λ:→,B!Z.&_:Z.G_⊂∪⊗⊂
Q∞W⊂0[LB!_.6(6Y-g ⊂	Dβ⊂7→∧ε06≠mw⊂∂QMw(9≥
α#≠
vx9λ	TP$λ∧b&X,6@4[LR9≠mvh⊃∞W⊂0[LB1≥-⊗`2~-f8⊂
λvH6≠¬⊂
R*E_⊂≥
r&Y,FH1X-B!Y-g 2\@¬⊃*$`⊂≥
r Q)@πU
εH9→∧∧06≠mw⊂⊂∪)$@εS,WH2\D∧`4XN&λ9≡ ⊃,↔⊂:~∧¬_1Z,Vp1Y$∧⊂:Z-F 4[LpUW⊂6X-b"[LvH7→,W⊂4[Lr!Y-g 2\@∂⊃λ2(≠nv(9λ	Fλ1∞d∧X7≠mF`⊂~-b6_.F(⊂∞ε0πPlW⊂0\dπ 7H
F(9≠,⊗p∞∪,V 4Xl⊗`⊂⊂lVp:→.":≠d¬82[6@⊂∀Mvλ2π∪,V 4Xl⊗`⊂⊂lVp:→. π∪,V 4Xl⊗`⊂⊂lVp:→. S)$@⊗λλU⊂&∧∧8)PEB(~-f(⊗λW 1K@βS)$@⊂F#λαTnVh2↑αTnVh2↑t