perm filename PUPNET.DIR[HST,NET]2 blob sn#722348 filedate 1983-07-30 generic text, type T, neo UTF8
<↓,@⊂α@≠⊂≤ ¬A`∧%A& ¬⊂↓EP¬AGεE↓∩⊂∧1AM`β/↓``∧∨A,@εRA⊂εlAX0∧?A"¬εA]PεH↓↑Pε␈↓← ε2↓(Pε*↓-`¬↓SεTA
pεNA;@¬-↓∀p∧U↓V⊂∧L|⊂εZ↓∪p¬>A0@ε4↓
⊂∧:↓ `¬$↓60∧8A,p∧→↓_@¬:↓K`∧wAWp∧|A.⊂ε>↓Op∧ AεPεnA	∧≡↓T ε%↓U@εxA]⊂εh↓@⊂ε(AJpε#↓~`ε≡↓→pεcADPε_AF@¬|↓ε-↓PP∧lA≤∧`↓⊗`∧C↓'@¬0↓&P¬rA*0∧&@lP¬;AR@β1A'p∧J↓@∧AA 0∧*↓∪0∧QA0∧6A∂¬∧A)0¬'↓∨P∧"↓π∧i↓≠@∧]A⊃P¬≤↓*`∧(↓≤@∧Y↓( ¬∃A#@¬↔↓$pε∀ACpεAB0εεA@p¬⎇A\PεpA⊃⊂β:A⊂βw@⎇ ∧αA↓`β}r⊂βy@yβa@w βT@␈βVA∧PβYt@βO@s0βK|P¬tAα β[↓β⊂∧¬zP∧⊂A¬`βl@{P∧
@z⊂βFA¬ β←AβPβ4@mPβ@n⊂βBq⊂βfA-0∧t↓≡`∧y↓O⊂ε:AW⊂β,A<εjA>0¬w↓` εf↓$@¬X↓1`¬cA8 ¬l↓3p¬QA1⊂¬S↓3 ¬I↓:@¬h↓2`¬eA7P¬\↓5@ε∨AH ∧uA"0ε↑↓+P∧d↓→0∧W↓∂@β=oPε0AIPλuα≤pλrα≤⊂λoα≠0λlα~Pλiα→pλfα→⊂λcα_0λ`α↔Pλ]α⊗@λ[B∨⊂λ{α≡0λxα≥P	∞B# λ3α∃π∩B"pλ↓t0πPαλ πNAs πKAr@πHBπpλ1B∧⊂πGαβ`πEAqπBAp π?Ao@π<An`π9B∧@π8↓mPπ5↓lpπ2α↓@π0B λ.B	`π/↓k0π,↓jPπ)απ@λ0αε`λ
Bβπ'Ai@πS↓i⊂π#↓h0π ↓gPπ≥↓fpπ_Af@π∃Bα π}Aeλ∧B
@λXB∃`λUB∀PλQα∪pλNα∪⊂λKα∩0λHα⊃PλEα⊂pλBα∧pλ"B	λ%B↓pλβ↓bλ↓A␈ π⊃α∂`λ<α∞ λ7A}pπz↓aPπxAa πw↓|Pπq↓{pπn↓{⊂πk↓z0πh↓yPπe↓xpπ←↓w0π\↓vPπY↓up	
α"⊂	πα!0π∞↓c⊂πααPπ	B
⊂λ@A⎇πb↓x⊂πuB∂0λ:B!	αAu@πTAcpλ(Bε0λ_α¬Pλ∃α  λ␈B
@λ≤Ae`λ}α
pβ,Aa B$	⊃B$`	∀β/↓aPB$	∃α$`	⊗@β1Ab"$	↔@β2Ab0"$	~@β4Ab`"$	≥@β6Ac⊂"$	 @β8Ac@"$	#@β:Acp"$	&@β=↓d b$	(α$`	∀α*0	+β>AdPb$	,α$`	∀α+0	/β@↓e"$	0βB↓e0"$	3@βDAf⊂"$	6βFAfp"$	9@βHAg "$	;βK↓gP"$	=@βMAh"$	?βOAh0"$	@@βR↓h`"$	A@βTAi⊂"$	B@βVAi@"$	D@βY↓ip"$	G@β[↓j "$	Iβ]↓jP"$	J@β←Ak"$	MβaAk0"$	O@βd↓k`"$	RβfAl⊂"$	T@βhAl@"$	V@βjAlp"$	YβlAm "$	Z@βnAmP"$	\@βpAn"$	←βu↓n0"$	`βwAn`"$	bβyAo⊂"$	;β|↓o@"$	d@β}↓op"$	;∧Ap "$	f@∧αApP"$	i∧¬↓q"$	k∧π↓q0"$	m∧	↓q`"$	n@∧
Ar⊂"$	r∧Ar@"$	s@∧∞Arp"$	v∧⊂As "$	w@∧∩AsP"$	D@∧∃↓t"$	y∧↔↓t0"$	z∧→↓t`"$	|∧~Au⊂↓"$	⎇B$`	}B?p
↓α@@
βBA⊂
¬@∧ Au@↓"$
εB$`
πBB⊂

αB`
BC0
∞@∧&Aup↓"$
∂B$`
⊃αD0
∪αE
∃BEP
↔@∧,Av ↓b$
_B$`	∀αF0
≠αG0
∨αH
!αH@
#αI⊂
&@∧0↓vPb$
+α$`
,α?p
-@∧4Aw↓B$
/α$`
0B?p
↓α@@
βBA⊂
2BLp
4@∧:↓w0↓B$
6α$`
7B?p
↓α@@
βBA⊂
¬BN0
:@∧?Aw`↓B$
<α$`
=B?p
>B@@
?BA⊂
@BP0
B@∧C↓x⊂↓b$
Dα$`
Fα?p
↓α@@
GαA⊂
HαR 
JαRp
M@∧HAx@↓b$
Rα$`
Tα?p
↓α@@
∃BA⊂
UαU@
WαV⊂
Z@∧L↓xp↓"$
←α$`
`α?p
↓α@@
∃BA⊂
a∧OAy ↓b$
bα$`
dα?p
↓α@@
βBA⊂
!αH@
eαYP
h@∧W↓yP↓b$	⊃B$`	Iα?p
↓α@@
∃BA⊂
!αH@
mαI⊂
n@∧gAz↓b$	⊃B$`
sα?p
↓α@@
∃BA⊂
!αH@
tBI⊂
&@∧lAz0↓B$
vα$`
wB?p
↓α@@
βBA⊂
!αH@
x@∧wAz`↓B$
zα$`
|α?p
↓α@@
βBA⊂
!αH@
⎇¬↓{⊂↓B$
}B$`B@@
∃BA⊂
!αH@↓BI⊂β¬β↓{@↓"$πα$`λα?p
↓α@@
βBA⊂
!¬εA{pB$
B$`¬λ↓| B$
α$`∞@¬	A|Pb$∂B$`	∀α?p⊃¬∞↓⎇↓B$∀α$`⊗B?p
↓α@@
βBA⊂
¬BH@↔@¬∪A⎇0↓B$→α$`≠B?p
↓α@@≤BA⊂
¬BH@
4@¬~A⎇`↓B$	⊃B$`	∀α?p
↓α@@
∃BA⊂
¬BH@
4@¬≡↓}⊂↓b$	⊃B$`	∀α?p
↓α@@
∃BA⊂≡BH@∨BI⊂!¬"A}@↓b$	∃α$`	∀α?p
↓α@@
∃BA⊂
!αH@%αI⊂
&@¬)A}p↓b$&B$`(α?p
↓α@@
∃BA⊂
!αH@)αI⊂
&@¬-↓␈ ↓"$*B$`,α?p
↓α@@,Bk .@¬0↓␈Pb$	⊃B$`	∀αl⊂2¬2α↓"$	∃α$`	∀α?p
↓α@@
βBlp5¬5B0↓"$6B$`	∀α?p
↓α@@
βBn9@¬8B`↓"$	∃α$`	∀α?p
↓α@@
βBo=@¬;B↓⊂↓α$	⊃BA⊂?BH@@B?pB¬DB↓@"$D¬Gα↓p"$F¬Iαα "$G@¬KααP"$I@¬Mαβ"$L@¬OBβ0"$
<¬QBβ`"$N@¬Sα∧⊂"$P¬Vα∧@"$R¬Xα∧p"$	∃¬\α¬ "$S@¬↑B¬P"$T@¬aαε"$U@¬cBε0"$V@¬eBε`"$W@¬hαπ@"$	⊃@¬jαπp"$	⊃@¬lαλ "$X@¬nαλPb?pZα$[α$`\@¬pα	`"$]@¬rB b$	⊃B$`	∀α?p↑@¬tB0b$	(α$`	∀α?p←@¬|α
⊂B$bα?pd@εβB
pB$fα$`g@εεB∞ B$hB$`jε	B∞PB$kα$`m@εB∂B$nB$`pε∂B∂0B$qα$`s@ε∩B∂`B$tB$`vε∀B⊂⊂B$wα$`	∀ε~α⊂@B$yB$`	∀ε≤α⊂pB${α$`	∀ε≡α⊃ B$|B$`	∀ε∨B⊃PB$}α$`	∀ε!α∩B$␈B$`	∀ε#α∩0B$↓α$`	∀ε%α∩`B$αB$`	∀ε&B∪⊂B$∧α$`	∀ε(B∪@B$¬B$`	∀ε*α∪pB$πα$`	∀ε+B∀ B$λB$`	∀ε-α∀PB$	(α$`	∀ε/α∃0B$
α$`	∀ε0B∃`B$	⊃B$`	∀ε2α⊗⊂B$B$`	∀ε4α⊗@ε7α⊗pε:B↔ ε<B↔Pε>α_ε?B_0εBB_`εEα→⊂εHα→@εJα→pεLα~ εNB~PεQα≠εRB≠0εTB≠`εVα≤⊂εXB≤@εZα≤pε\B≥ ε↑α≥Pε←B≡εaB≡0εcB≡`εfα∨⊂εhα∨@εjB∨pεlB  εnB PεpB!εrB!0εtB!`εvB"⊂εxB"@εzB"pπ↓α# πβα#P≠⊂π∃V`7→.Bh#X.F(;X/⊂≠P¬P.'0Ql↔ 2]l↔H≤⊂↓∀jP≤@∧TiTH⊗Uλ#λ_
 ≤p∧∀jTp⊗Tfβ≠@≥ ∧∀jTp⊗Tf∪_@≥P∧TjTp⊗Uλ#λ_L`≡ε∀jTp⊗PlW⊂0\f∪⊂~@≡0α⊗,⊗p3@∨↓V-⊗p∨P∧∀jTp⊗ThU $@ εTjTp⊗UW⊂6X-c(≠
  0∧∀jTp⊗UW_: `∧TjTp⊗S)# →
@!⊂¬TjTp⊗Q*$`~π⊗⊂!@¬TjTp⊗Q*$`~
&f⊂!p¬∀jTp⊗Q*$`~
εP" ¬TjTp⊗Q*$`~
εF⊂"P¬TjTp⊗Q*$`~
εFλ#¬∀jTp⊗Q*$`~&⊂#0¬TjTp⊗Q*$`~&Fλ#`¬∀jTp⊗Q*$`~'⊂$⊂∧TjTp⊗S)#→ $@¬TjTp⊗Q*$`~π⊗0$p∧TjTp⊗S)# ~L% ¬TjTp⊗Q*$`~π⊗(%P¬TjTp⊗Q*$`~π⊗ &βTjTp⊗UλU@&0∧TjTp⊗S)# →
&`∧TjTp⊗S)# _@'⊂¬∀jTp⊗S)# _ML⊂'@∧TjTp⊗S)# →βr@'p∧⊃NVh0\Mv`2@'pε∀jTp⊗QNVh0\Mv`2@( ¬TjTp⊗Q*$`→
'⊗λ(P∧∀jTp⊗Pi∃_1)¬TjTp⊗Q*$`~π⊗_)0¬∀jTp⊗Q*$`~&0)`¬TjTp⊗Q*$`~π⊗λ*⊂∧∀jTp⊗Pi∃_0@*@¬TjTp⊗Q*$`→
'⊗⊂*p∧TjTp⊗S)#_~@+ ¬∀jTp⊗Q*$`~εp+Pβ∀jTp⊗QhP,∧TjTp⊗S)# →@,0∧TjTp⊗S)#_→L,`∧TjTp⊗S)# ≠-⊂∧TjTp⊗S)# _∞-@¬TjTp⊗Q*$`~&F⊂-p∧TjTp⊗S)# →∞. ∧TjTp⊗S)# _M@.Pβ∩
βH≤f`∧≤/β∪	u )K( ∧≡/∧TjRh&∪jE_⊗P@∧∨@/αS	u )P@/P@∧"/pβ∪	u )K(⊂∧$/p∧TjRh&∪jE_⊗P ∧%@/pαS	u )P /pP ∧(0`β∀m⊗(9≤L⊂∧*0`∧TjRh)Z,W⊂9_ ∧+@0`αTjRh"Q 0`↓⊃(P∧.1Pβ⊂l↔⊂6Y-@1P∧TjRh!X.&h2[∧1@2`β∀
↔_3X-∧32`↓P*$h2`αL&∩x≠∧6@30βQj4⊂⊗R	u8∧8@30¬∀jRh#Th"h$∪jp30↓R	u8∧<40βQj4⊂⊗Ui¬H∧>40¬∀jRh#Th"h+R⊂40↓Ui¬H∧A@50∧Pi∃ ⊗TLV`0↑ 50β∀jRh!R*@∧D@60α∀h∀0"@∧F@60∧TjTh"V¬U0 V60βTjRh)P(d(∧J7@β⊂.& ;_/7@∧TjRh \LG00↑∧M@8Pα⊃NVP4@8PβTjRh#≥-&H∧Q@9@βQmFλ1Z,W⊂∧S@9@¬∀jRh#[⊗_4Y. ∧U9@α⊃JDλ&9@∧⊃JDλ&*fλ<∧Y:PβUmεH:≠LWH∧[:P¬∀jRh+Z
↔ 7→/⊂∧]@:Pε∀Mv⊂7]
⊗_9K*dλ,∧`:P¬TjRh)≠l&x:~,7_∧b:P∧∀Mv⊂7]
⊗_9@∧d:PβR%U⊂7XMw ∧e@:Pβ∃M↔_4[m`:P¬∃M↔_4[mbh+_/∧i;`β∪L↔00ZMp∧k;`∧TjRh'_.fλ5≠`;`β∪H∩h+⊂+∧n<pαT∞7H1Z∧p<p∧∀jRh(≤o⊗_4∧r<p∧T∞7H1Z¬U00↑∧t<p∧TjRh*_-εx6X ∧u@<pβ∃⊗@7[,⊂<p¬∃∞W⊂:≠Rh+_/∧y=p↓R*4`∧{=p∧U⊗h0[∞ελ4\`∧|@=p↓U⊗h∧}@=pβR*4`⊗UH∃@=pβ∀jRh$Ti@¬↓@>p↓Q
4p>pβ∀jRh"∀i`¬∧@?pβ∩V`2[N0?p∧TjRh$→-F(7≤`@`α⊂i∃ →A α⊂i∃ _@¬@A`βU,&(4→,&(¬@A`↓⊂)@A`αL&∩x~
 ¬⊂B0¬∀jTh"V¬S⊂_F¬∩B0∧⊂)∀h⊗LFβ⊂_B0α∃
⊗p<@¬∃@C0∧TjTh"V¬Tλ$S ¬↔C0αTjTh"V¬→C0¬∀jTh"V¬S⊂_
FC0↓P)∀h¬≤D0αTl6x9→ D0∧∀jRh)Piu⊂"@¬∨@E0α∀h∀H&¬!E0αTjRh R E0α∀jTλ$@¬$F@β⊃
⊗λ1≠
p¬%@F@↓R	e0¬'F@β∀jRh$∪J`F@εTjRh$∀
αh'⊃eU0 V¬+GPβ∀mελ9]⊂GP∧TjRh)Z↔_:_ ¬.@H`β⊃.W⊂2Zl⊂H`↓UHe_IPβTl6λ7≠LW⊂¬3@J αPMvH9Y J ¬∩
αh(≤M⊗p:→. ¬7K⊂αU⊗@7Y K⊂αQ
w02\@¬:Lβ∪↔_9Y-`L↓R(e_¬>@Lpλ∀nFλ7→Mw⊂2(vλ:→.vλ<@¬@Lpβ⊃mv`2→-`¬BLp∧TjRh#[mF 2[@Lp¬Qmv`2→-bh#X.F(MP¬U
↔⊗Q*$`⊗Pi∃_NβU
↔⊗P(T`N0βU
↔⊗Qj4⊂N`∧∃
↔⊗Tf∪_@O⊂¬U
↔⊗Qm⊗p=≥
vpO@βU
↔⊗Pi∃ Opβ∃
↔⊗Q(PP λ∃
↔⊗Q*$`⊗TnvH:_mε(9PP∧∃
↔⊗UW_:¬Y@QαU
⊗x3X Qε∩	e0⊗Q.F@2\JFH8Q0¬U
↔⊗UW⊂6X-d_Q`¬U
↔⊗UW⊂6X-d⊂R⊂ε∃
↔⊗PhU⊂ Tf∪⊂~@R@∧U
↔⊗PhU⊂ T`Rp¬U
↔⊗UW⊂6X-dλS ∧∃
↔⊗S)$@1SP∧∃
↔⊗S)$@0@TβU
↔⊗Pi∃_T0¬⊃*$`⊗PN&H2→lPUπ∃W⊂6X-bh#X.F(;X/⊂U0βTlWλ:[m⊗λ¬wV¬TjTp⊗Ql↔ 2]l↔H¬y@Vε∃W_:(vλ:→.vλ<@V¬UW_:('⊂4Yv(¬⎇@VPα∀
⊗p2@ε@VPλTjTh"V¬Th%∩¬T80]W80↑ VPλS)$@⊗TjTh"V¬T80]W80↑ W⊂πTjTh"V¬T 7[∞ε@4[ES(WPπTjTh"V¬T 7[∞ε@4[ES X⊂πTjTh"V¬T 7[∞ε@4[ES_XPπTjTh"V¬T 7[∞ε@4[ES⊂Y⊂πTjTh"V¬T 7[∞ε@4[ESλYP∧∀⊗_4YM⊗_0@ε⊗@Z⊂¬∀jTh"V¬Tλ6≥
pε_@Z⊂∧⊂)∀h⊗P-G 7@Z⊂α∀⊗`7@ZPβT⊗`7[,↔⊂[⊂βP-Fh0[Mw⊂[Pα∪L↔0@\⊂α∃
w⊂7@\PβU∞&H7~.GH]⊂∧∪-vp:→.&(<@]PαS,↔⊂4[@↑⊂∧⊗-w_2[-↔ 2@↑Pβ∪-vP0]LP←⊂αQ
⊗(3[`←Pα∪-vp7@`⊂βT
w⊂:≠mFλ`Pα∩-gH7@a⊂α⊗-v`7@aPβPo↔9→.7_b⊂πQn&H7≠LV`6*6(9≥LW⊂b0	P.'0K*F(6≠LW ⊗Ql↔ 2]l↔HbP∧∃V`2Tnvλ:bpα∃↔2@c⊂α∪Vλ3c0πS
↔_8*7 0]
↔_:~,7_cPπ∀∞&H7≥W⊂⊗TLW7\N@cpλP-G 7K(W⊂9≠n"h)→.εx9≥d⊂∧⊂mw<Q
↔_5@d0¬∀nFλ:~.7 4Xn0dP¬Q,↔⊂9K*7 0]∞W_dpε⊃(e (*&(1Y-↔02@e⊂α∪,⊗H6e0∧⊂J5⊗UW_:ePα⊃,6@7@epεS-↔_1K*6(9≥M⊗_2\`f⊂↓QJEf0ε⊃l↔ 2]l↔H⊗R-f07@fPβ∃V`7→.@fpαUETp2]g⊂βR*4`⊗SLW g0βPi∃ ⊗SLW gP¬SLW8&X.F@⊗SLW gpβUW@⊗SLW h⊂ε∪-↔ 1ZV`6)f(:h0¬∃W⊂6X-bh'→.@hP∧Ph5⊂&P%Tp2]hp∧∪	u )K)f(:i⊂¬∀jTh"V¬Tp2]ε i0∧TjTh"V¬Tp2]iP∧∪)∃ ⊗SLW →ipβPiU(⊗SLW j⊂βS)∃ ⊗SLW ε⎇j0¬Pj4 ⊗Pj4`⊗SLW ε␈j0βPj4`⊗SLW j0βPj4 ⊗SLW jP∧∃W_:)f(:jpβP*% SHU ≠⊂∀0@⊗ ≠P∀0 ↓`≤⊂∀ ↓`≤@⊗G@≤p⊗G≥ ⊗F`≥P⊗F≡_α ≡0∀#@∨∪c@∨P∀∂ π↔ ∀∞@ →∞@π~ 0∀∞ 0∀∞  `∀
`!⊂∀
@!@∀
 !p∀
" ∀`"P∀@#∀ #0∀`#`∀@$⊂∀
$@∀	`$p∀	@% ∀	 %P∀	&∀π`&0∀π &`∀π'⊂∀ε`'@∀ε@'p∀ε ( ∀¬`(P∀¬@)∀¬ )0∀¬)`∀∧`*⊂∀∧@*@∀∧ *p∀∧+ ∀β`+P∀β ,∀α ,0∀α,`∀↓`-⊂∀↓@-@∀↓ -p∀`. ∀@.P∀/_@/p_ 0`∀5 1P∀52`∀4`30∀4@40∀4 50∀460⊗U@7@⊗U 8P∀3@9@∀3 :P∀3;`∀2`<p∀2@=p∀2 >p∀2?p∀1`@`∀1@A ∀1 A`∀1B0⊗UC0⊗U`D0∀0`E0∀0@F@∀0 GP∀0H`∀ @IP∀∂J ∀ K⊂∀  L∀ Lp∀∂@MP∀π@N∀∃N0∀∞`N`⊗G O⊂∀ O@∀Op∀β@P ∀βPP∀εQ∀∀Q0_ Q`_R⊂_
@R@_
 λ≤@Rp∀
`Rp→
`S ∀
 SP∀α@T∀↓λ$T0∀∀ λ%@T0∀∀@T0∀∀`λ(@U∀λ@λ*U_λ`λ+@U→ U→@ λ.@U0∀λλ0U0∀λ U0∀
@λ3V∀α`V∪@`λ6VP⊗R VP∀∂`W⊂∀- WP∀-X⊂⊗` XP∀,`Y⊂⊗`YP∀,@Z⊂⊗R@ZP∀∪`[⊂∀∪@[P∀∪ \⊂∀∪\P∀∩`]⊂∀∩ ]P∀∩↑⊂∀⊃`↑P∀⊃@←⊂∀⊃ ←P∀⊃λT`⊂∀⊂``⊂∪P``P∀⊂@a⊂∀⊂ aP∀⊂b⊂⊃b0⊗ bPbp	c⊂λ`c0ε`cPε cpεd⊂¬ d0∧@dP∧ dp∧e⊂↓`e0↓@eP↓ ep↓f⊂`f0@fP fpα@g⊂αg0↓@gP↓gp@h⊂→@h0→hP_@hp_i⊂↔i0⊗@iP∃@ip∃j⊂∀@j0∀jP∪@jp⊂∧∪
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\@∧PlW⊂0\dβλ→
 ∧∪)$@⊂ε31@∧Tmvh2]
⊗h2\`↓V-⊗p∧∪)$@⊂ε31@∧Tmvh2]
⊗h2\`α⊗,⊗p3@∀L⊗ 4[d¬_1Z,Vp1Y$∧ :\L⊗p2λε#_≤@λ⊂LW⊂7~,R)≠nF@⊂$∧h"@S)$@⊂⊂j4 ⊗Phb&_,"&RIα_Fελ∧S⊗p:≡Eth%∩λQ*$`⊂∃W⊂6Z-fλ6λ
&x7[ ∧∩Vp7→.7_<@∧⊂mε(9~.Fx7α∀LVH2αS⊗p:≡@ε∩⊗p7_-αx#\Mw_9@
RMw(8≤
∩`⊂∀Mw82[EB)X.&X0\@¬∀∞'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→ πPmε(9~.Fx7∧∧`0[NGP¬∪,⊗p7∧ε(:_e`εSMw84Xm6H⊗λW 1K@πTMεx2→.2`⊂∃
ε(4[,W⊂αP(T`⊂
`ε∩↔⊂2≥l↔⊂2H	Fλ1λPi∃_⊂∃W⊂6Z-fλ6λ
&x7[ εU∞&(;Z.G ⊗λW 1K@λPi∃_⊂∃W⊂6Z-fλ6λ
&x7[ ε∩↔⊂2≥l↔⊂2H	Fλ1¬U∞&λ1_D¬0\LFx∧∩↔⊂:≥lV`6QlVx6Y.G⊂<HλVp3Z-f(⊂∃W_:_LV ∧SHr%≥-f86→ 	⊂j4 ⊂∀L⊗p2≠mR#_,7(6≥∂⊂∧Pj4 ⊂∀Vx7≤`∧Pj4 ⊂∀Vx7≤`αT∞&λ:≥π∀nG(2→-g ⊂∩NVp3[PβP(T`⊂F3λαPlW⊂0\`α∪	u )@∧⊃NVp1]
⊗x7β∀lW⊂;→. ∧∪LW ;[n&X9@↓T
Uβ∪nαh)↑.0β∃	u)LFαPlW⊂0\`α∪	u )@∧⊃NVp1]
⊗x7β∀lW⊂;→. ∧∪LW ;[n&X9@↓T
Uβ∪nαh)↑.0β∃	u)LF¬⊃∞W⊂0[LB_
&P↓⊃(P∧⊃NVp1]
⊗x7β∀lW⊂;→. ∧∪LW ;[n&X9@β∀
U∃R*β∪nαh)↑.0β∃	u)LFαS)# →L`∧⊃NVp1]
⊗x7	∩lW⊂7→-B"→.f(6≠nεh2[N@∧∪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
αS)#→ ∧∀Mv⊂7]
⊗_9@¬∀Mv⊂7]∧∧λ9≠.0∧⊃j4⊂⊂⊂FRh"@¬PNW_↔λ
6_4≠mv`β∃	u)LF↓Pj¬(∧⊃λT_⊗LFβ0_∧⊃j4⊂⊂⊂FRh"@¬PNW_↔λ
6_4≠mv`↓Pj¬(∧⊃λT_⊗LFβ0_∧⊃Mw⊂9↑.F@2@↓Pi∃ α∃.6(9β∀
U∃R*α∃-fH<↓Pj¬(¬∃H∃@⊗L&∩x≠M&εTeSλ_$∧h2Y∧∧_:≤@α⊂.'0@β∀
U∃R*α∃-fH<↓Pj¬(¬∃H∃@⊗L&∩x≠M&ε∩*αh(≤Mw 7Xmv`9@⊃∃(E⊗λ
D_(jD(&∪HU ⊗λ
D_(he (∧¬ !T¬u_&U
εTeSλ_$∧h2Y∧∧_:≤@α⊂.'0@α∃-fH<↓Pj¬(¬∃H∃@⊗L&∩x≠M&ε∩*αh(≤Mw 7Xmv`9@⊃∃(E⊗λ
D_(jD(&∪HU ⊗λ
D_(he (∧¬ !T¬u_&U
β⊂(T`⊂&⊂↓R(4`α∃-fH<π∪,4_:[
Fx:Ymα_f ↓R(4`¬∃H∃@⊗L&∩x≠M&ε∩*αh(≤Mw 7Xmv`9@⊃∃(E⊗λ
D_(jD(&∪HU ⊗λ
D_(he (∧¬ !T¬u_&U
¬∃H∃@⊗L&∩x≠Nε⊃∃(E⊗λ
D_(jD(&∪HU ⊗λ
D_(he (∧¬ !T¬u_&U
β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ε∞Uλ5↔UλT`'⊃*B`⊂∃λ5↔QJE⊗λ
D_(j4h*∀↓Q*$`λSLW85Z.&X⊂	D∧h0]
ε(;\`∧⊃Mw⊂9↑.F@2@↓Pi∃ ∧⊃Mw⊂9↑.F@2@↓Pi∃ β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εβS)$@⊂
ε#⊂↓∪HpU@∧∀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/⊂¬Tmελ9]∩)≠mvhβP(T`⊂F#H¬Qj4⊂⊂∀MR!
%T(	Tf∪_H	V(2~,6λ6λλ6(7≥W⊂¬Qm⊗p=≥
vp⊂∪⊗⊂∧S,4_:[
Fx1Z¬Tmελ9]∩)≠mvh∧∪)$@⊂εC2@β∃W⊂6X-`β∃W⊂6X-`αPhU⊂ T`αPhU⊂ T`β∃W⊂6X-`∧Pi∃_⊂⊂-fp2↑β⊂N&H2→lPβQ*$`⊂FSH↓Pj4`β∃W⊂6X-`β⊂N&H2→lPλPN&H2→lR7\D∧80]W80↑ πL&3(⊗Q∧¬4[LR$_-F`βQl↔ 2]l↔HβS)$@⊂F#(↓R
¬βS)$@⊂F#(↓R
¬λUλ"h_LεR&Y,B!Y-g 2\@αTjTh"VβS)$@⊂F#(↓R
¬λS
vλ7→,B:≠d¬⊂:]v(9≤`αTjTh"VβS)$@⊂F#(↓R
¬λ∀eSλ_$∧h2Y∧∧_2[NF(9βS)$@⊂
εβ@βS)$@⊂
εS∧⊂i∃_⊂∃∞&λ↔βS)$@⊂
εcβQ*$`⊂
εβλβS)$@⊂
εSβS)$@⊂
εcβQ*$`⊂
εβλβS)$@⊂
εβ@βS)$@⊂F#(βS)$@⊂
εcβS)$@⊂
εcβS)$@⊂
εβ@U>@