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↑@¬tB0b$ (α$` ∀α?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⊗UW⊂6X-c(≠
0∧∀jTp⊗UW_: `∧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∧∃
↔⊗UW_:¬Y@QαU
⊗x3X Qε∩ e0⊗Q.F@2\JFH8Q0¬U
↔⊗UW⊂6X-d_Q`¬U
↔⊗UW⊂6X-d⊂R⊂ε∃
↔⊗PhU⊂ Tf∪⊂~@R@∧U
↔⊗PhU⊂ T`Rp¬U
↔⊗UW⊂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¬UW_:('⊂4Yv(¬⎇@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⊗UW_: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βUW@⊗SLW h⊂ε∪-↔ 1ZV`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⊗ bPbp 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>@