perm filename PUPNET.DIR[HST,NET]1 blob
sn#715302 filedate 1983-06-07 generic text, type T, neo UTF8
8@↓*`∂⊂α,→p~`∧cAα⊂∧p↓→`¬b↓_P¬gAD⊂∧∨A↓`εα@dpεM↓!@ε≡↓@ε6Aε⊂∧∃↓Jp∧←↓↔0ε@ADpεDAR εG↓?0∧yA=0¬↓∃`ε↔AH∧↓↓F@¬>A
P∧,↓I∧#t@ε%A P¬∩A%@¬␈Aα@∧∂A⊗@∧{↓*@∧∞↓!pβzA∞ ¬∞↓>P∧NAJ0∧SA#⊂ε AB`ε8AG⊂¬pAH0εBAOPε2↓3¬t↓=`¬nA⊂@¬iA∂Pε-A7@¬d↓90εQ↓S`¬GA↓0¬xAC@∧CA⊃`∧7↓@∧~↓≥ ¬∧↓≤0¬C↓ ⊂β|e`¬∂AE0β⊗↓≥P∧!↓p∧↔↓⊗⊂β␈A ⊂∧(A%∧↓∧0∧[A∨⊂∧}↓∃0∧@↓⊃ ∧4Aπ0∧s↓ @β⎇A∩ ∧0↓≡∧lA→ ∧n↓~P¬`↓6`¬X↓5 ¬R↓3`¬I↓O⊂ε:Aεpβbv βV@yβG@z⊂β←@ipβ[p`β@@oβ3@w0β5@⎇β8l β.@k⊂β*u¬EzPβ:{@βf@sβr}⊂βNtβlr@β%@⎇Pβ>@|β→f`β∨g β!hpβEA"0∧K↓∀@∧P↓Bεε↓J¬@AM⊂εK↓L∧i↓*⊂¬_A-¬1A/⊂¬!↓(`¬$A'P¬~A.P¬8A'⊂¬6↓+`¬,A)P¬k↓;⊂∧LA_⊂∧;↓∂⊂∧.↓∧p¬|↓<@λ7α
0λ4αPλ1αpλ.α⊂λ+α
0λ(α Pλ%αλpλ"αλ⊂λ∨απλ≥B∀@λPB∪`λMB¬@λL↓q π≠↓f0πdAfπ⊗Ae π∪Ad@πc↓⎇ πT↓d⊂πRAc`π
Acπ
Ab ππAa@π∧A``πUA`0π↓←Pε⎇↓↑pεz↓↑⊂πpA|@πjA]`εuA]εrA\ πaA|pπ↑At πOA[pεn↓g⊂εlAZ`εiAZεfAY εcAX⊂εb↓W0πLAppε\↓r0πxαεPλ→α¬pλ∀B∧`λ⊃B∧λ∞Bβ λBα@λλB↓`λ¬B↓πW↓y@πgAz πK↓rεTAqPλ↓↓␈@π{↓}0πB↓p⊂εS↓o`π=An π7Am@π4Al`π1Alπ.Ak π+Aj@π%Aiπ"Ah π∨Ag@λJB∩ λGB⊃@εZAV εWAs@εV↓⎇PλαAnPπ(Ai`π<↓␈pπ|B⊃⊂λC↓{π]↓vpπZ↓v⊂λAB⊂πmAxε←α∂Pπoα∂ λ;B∞@λ8@β∪AT`B∀pλUα∃PλW@β⊗↓U⊂"∀pλX@β↔↓U@"∀pλ[@β→↓Up"∀pλ↑@β≠↓V "∀pλa@β≥↓VP"∀pλd@β∨↓W"∀pλg@β!↓W0"∀pλkβ#AX⊂"∀pλm@β%AXp"∀pλo@β'AY "∀pλqβ*↓YP"∀pλs@β,AZ"∀pλuβ.AZ0"∀pλv@β1↓Z`"∀pλw@β3A[⊂"∀pλx@β5A[@"∀pλz@β8↓[p"∀pλ⎇@β:↓\ "∀pλ␈β<↓\P"∀pλqβ>A]"∀p @β@A]0"∀pλqβC↓]`"∀pλqβEA↑⊂"∀p ββGA↑@"∀p ¬βJ↓↑p"∀p πβL↓← "∀p @βN↓←P"∀p βP↓`"∀p
βR↓`0"∀p ∂@βVA``"∀p ⊂@βY↓a⊂"∀p ∩@β[↓a@"∀pλqβ]Aap"∀p ∃β←Ab "∀pλqβb↓bP"∀p ↔βd↓c"∀p →@βfAc0"∀p ≠@βhAc`"∀p ≥@βjAd⊂"∀p ∨βl↓d@"∀p "@βn↓dp"∀p %βp↓e "∀p '@βr↓eP"∀p )βt↓f"∀pλz@βvAf0"∀p *@βxAf`"∀p +@βzAg⊂"∀p -@β|↓g@↓"∀p /α∃P 0B, 2B,p 5α-@ 7∧α↓gp↓b∀p 8α∃PλWB. :B/ >B/p @B00 BB1 F∧¬Ah b∀p JB∃P KB3 N@∧
↓hP↓"∀p Pα4@ SB5⊂ Vα5` Xα6 Z∧∂Ai↓"∀p [B, 2B,p ]B-@ 7α7P ←@∧∃↓i0↓B∀p aα∃P bB, cB,p 5α-@ dB90 f@∧~↓i`↓b∀p hα∃P jα, 2B,p 5α-@ @B:` lα;0 o@∧∨Aj⊂↓b∀p tα∃P vα, 2B,p 5α-@ @B00 BB1 F∧#↓j@↓"∀p wα∃P xα, 2B,p 5α-@ @@∧&Ajp↓b∀p yα∃P {α, 2B,p |α-@ @B00 BB1 F∧.↓k ↓b∀p ⎇α∃Pλ␈α, 2B,p 5α-@ @B00 }B1 F∧>AkP↓b∀p
α∃P
↓B, 2B,p 5α-@ @B00
βα1 F∧CAl↓B∀p
∧B∃P
εα, 2B,p
πα-@ @B00
λ∧NAl0↓B∀p
B∃P
B, 2B,p Vα-@ @B00
@∧W↓l`↓B∀p
∞α∃P
⊂α,p 5α-@ @B00
⊃α1
∩@∧Z↓m⊂↓"∀p
⊗B∃P
↔B, 2B,p Vα-@ @@∧]Am@B∀p
~α∃P
≠@∧←↓mpB∀p
≤B∃P
≡∧`An b∀p
∨α∃PλWB,
@∧e↓nP↓B∀p
#B∃P
&α, 2B,p Vα-@ 7α00
'∧jAo↓B∀p
(B∃P
+α, 2B,p
,α-@ 7α00 Z∧qAo0↓B∀p
.α∃PλWB, 2B,p 5α-@ 7α00 Z∧u↓o`↓b∀p
/B∃PλWB, 2B,p 5α-@
1α00
2α1
3@∧yAp⊂↓b∀pλUα∃PλWB, 2B,p 5α-@ @B00
7B1 F¬Ap@↓b∀p
9α∃P
:B, 2B,p 5α-@ @B00
;B1 F¬∧↓ppb∀p
=α∃PλWBOP
@¬ε↓q ↓"∀pλUα∃PλWB, 2B,p VαP0
C¬ AqP↓"∀p
DB∃PλWB, 2B,p VαQ@
G@¬Ar↓"∀pλUα∃PλWB, 2B,p VαR@
K@¬∂Ar0↓α∀p
MB-@
Oα00
Pα,
Q@¬_Ar`"∀p
S@¬~As⊂"∀p
U¬≤As@"∀p
V@¬≡Asp"∀p
Y@¬!↓t "∀p a¬#↓tP"∀p
[@¬$Au"∀p
]¬&Au0"∀p
←¬(Au`"∀pλU¬,Av⊂"∀p
`@¬/↓v@"∀p
a@¬1Avp"∀p
b@¬4↓w "∀p
c@¬6↓wP"∀p
d@¬8Ax0"∀p ⎇¬:Ax`"∀p ⎇¬<Ay⊂"∀p
e@¬>Ay@b,
gα∀p
hα∃P
i@¬@AzP"∀p
j@¬C↓|⊂b∀p ⎇α∃PλWB,
k@¬E↓⎇ "∀p
l@¬GA⎇PB∀p
nα,
p@¬O↓}0B∀p
rα∃P
s@¬R↓}`B∀p
tB∃P
v¬U↓␈⊂B∀p
wα∃P
y@¬X↓␈@B∀p
zB∃P
|¬[↓␈pB∀p
⎇α∃P
␈@¬↑α B∀pB∃Pα¬`αPB∀pβα∃PλW@¬eB↓B∀p¬B∃PλW@¬gB↓0B∀pπα∃PλW@¬iB↓`B∀pλB∃PλW@¬kαα⊂B∀p
α∃PλW@¬lBα@B∀pB∃PλW@¬nBαpB∀p
α∃PλW@¬pBβ B∀p∞B∃PλW@¬rαβPB∀p⊂α∃PλW@¬tα∧B∀p⊃B∃PλW@¬uB∧0B∀p∪α∃PλW@¬wα∧`B∀p∀B∃PλW@¬xB¬⊂B∀p⊗α∃PλW@¬zB¬pB∀p↔B∃PλW@¬|αε B∀p ⎇α∃PλW@¬⎇BεPB∀p→α∃PλW@¬␈BπεαBπ0εεαπ`ελαλ⊂ε Bλ@εαλpε∞α ε⊂B Pε∪B
ε∃B
0ε↔B
`ε~α⊂ε≤B@ε≡αpε α ε!BPε$α
ε%B
0ε(α
`ε)B∞⊂ε+B∞@ε-B∞pε0α∂ ε2α∂Pε4B⊂ε6B⊂0ε8B⊂`ε:B⊃⊂ε<B⊃@ε>B⊃pε@B∩ εBB∩PεDB∪εKα∪0εMα∪`εOα∀⊂εQα∀@→p¬P.'0Ql↔ 2]l↔H~0↓∀jP~`∧TiTH⊗Uλ#λ_
≠⊂∧∀jTp⊗Tfβ≠@≠@∧∀jTp⊗Tf∪_@≠p∧TjTp⊗Uλ#λ_L`≤ ∧∀jTp⊗ThU $@≤PεTjTp⊗UW⊂6X-c(≠
≥∧∀jTp⊗UW_:≥0∧TjTp⊗S)# →
@≥`¬TjTp⊗Q*$`~π⊗⊂≡⊂¬TjTp⊗Q*$`~
&f⊂≡@¬∀jTp⊗Q*$`~
εP≡p¬TjTp⊗Q*$`~
εF⊂∨ ¬TjTp⊗Q*$`~
εFλ∨P¬∀jTp⊗Q*$`~&⊂ ¬TjTp⊗Q*$`~&Fλ 0¬∀jTp⊗Q*$`~'⊂ `∧TjTp⊗S)#→ !⊂¬TjTp⊗Q*$`~π⊗0!@∧TjTp⊗S)# ~L!p¬TjTp⊗Q*$`~π⊗(" ¬TjTp⊗Q*$`~π⊗ "PβTjTp⊗UλU@#¬TjTp⊗Q*$`→
'⊗_#0∧TjTp⊗S)# →
#`∧TjTp⊗S)# _@$⊂¬∀jTp⊗S)# _ML⊂$@∧TjTp⊗S)# →βT$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`β⎇@,β∀m⊗(9≤L⊂β␈@,∧TjRh)Z,W⊂9_ ∧↓,αTjRh"Q ,↓⊃(P∧β@,pβ⊂l↔⊂6Y-@,p∧TjRh!X.&h2[∧π.β∀
↔_3X-∧λ@.↓P*$h.αL&∩x≠∧.PβQj4⊂⊗R u8∧∞.P¬∀jRh#Th"h$∪jp.P↓R u8∧⊃@/@βQj4⊂⊗Ui¬H∧∪@/@¬∀jRh#Th"h+R⊂/@↓Ui¬H∧↔00βPi∃ ⊗MfS∧_@00β∀jRh!R*@00↓Pi∃ ∧≠@10α∀h∀0"@∧≥@10∧TjTh"V¬U0 V10βTjRh)P(d(∧!2@β⊂.& ;_/2@∧TjRh \LG00↑∧$@3Pα⊃NVP4@3PβTjRh#≥-&H∧(@4@βQmFλ1Z,W⊂∧*@4@¬∀jRh#[⊗_4Y. ∧,4@α⊃JDλ&4@∧⊃JDλ&*fλ<∧05PβUmεH:≠LWH∧25P¬∀jRh+Z
↔ 7→/⊂∧4@5Pε∀Mv⊂7]
⊗_9K*dλ,∧75P¬TjRh)≠l&x:~,7_∧95P∧∀Mv⊂7]
⊗_9@∧;5PβR%U⊂7XMw ∧<@5Pβ∃M↔_4[m`5P¬∃M↔_4[mbh+_/∧@6`β∪L↔00ZMp∧B6`∧TjRh'_.fλ5≠`6`β∪H∩h+⊂+∧E7pαT∞7H1Z∧G7p∧∀jRh(≤o⊗_4∧I7p∧T∞7H1Z¬U00↑∧K7p∧TjRh*_-εx6X ∧L@7pβ∃⊗@7[,⊂7p¬∃∞W⊂:≠Rh+_/∧P8p↓R*4`∧R8p∧U⊗h0[∞ελ4\`∧S@8p↓U⊗h∧U@8pβR*4`⊗UH∃@8pβ∀jRh$Ti@∧X@9p↓Q
4p9pβ∀jRh"∀i`∧[@:pβ∩V`2[N0:p∧TjRh$→-F(7≤`;`α⊂i∃ →< α⊂i∃ _@∧b@<`βU,&(4→,&(∧c@<`↓⊂)@<`αL&∩x~
∧g=0¬∀jTh"V¬S⊂_F∧i=0∧⊂)∀h⊗LFβ⊂_=0α∃
⊗p<@∧l@>0∧TjTh"V¬Tλ$S ∧n>0αTjTh"V∧p>0¬∀jTh"V¬S⊂_
F>0↓P)∀h∧s?0αTl6x9→ ?0∧∀jRh)Piu⊂"@∧v@@0α∀h∀H&∧x@0αTjRh R @0α∀jTλ$@∧{A@β⊃
⊗λ1≠
p∧|@A@↓R e0∧}A@β∀jRh$∪J`A@εTjRh$∀
αh'⊃eU0 V¬αBPβ∀mελ9]⊂BP∧TjRh)Z↔_:_ C`βTl6λ7≠LW⊂¬π@D0αPMvH9Y D0¬∩
αh(≤M⊗p:→. ¬E αU⊗@7Y E αQ
w02\@¬∞F⊂β∪↔_9Y-`F⊂↓R(e_¬∩@Gλ∀nFλ7→Mw⊂2(vλ:→.vλ<@¬∀Gβ⊃mv`2→-`¬⊗G∧TjRh#[mF 2[@G¬Qmv`2→-bh#X.F(G`βU
↔⊗P(T`H⊂βU
↔⊗Qj4⊂H@∧∃
↔⊗Tf∪_@Hp¬U
↔⊗Qm⊗p=≥
vpI βU
↔⊗Pi∃ IPβ∃
↔⊗Q(PJβU
↔⊗Q*$`J0∧∃
↔⊗UW_:¬*J`αU
⊗x3X J`ε∩ e0⊗Q.F@2\JFH8K⊂¬U
↔⊗UW⊂6X-d_K@¬U
↔⊗UW⊂6X-d⊂Kpε∃
↔⊗PhU⊂ Tf∪⊂~@L ∧U
↔⊗PhU⊂ T`LP¬U
↔⊗UW⊂6X-dλM∧∃
↔⊗S)$@1M0∧∃
↔⊗S)$@0@M`βU
↔⊗Pi∃_N⊂¬⊃*$`⊗PN&H2→lPN`π∃W⊂6X-bh#X.F(;X/⊂O⊂βTlWλ:[m⊗λO`¬TjTp⊗Ql↔ 2]l↔H¬IP⊂α∀
⊗p2@¬LP⊂λTjTh"V¬Th%∩¬T80]W80↑ P⊂λS)$@⊗TjTh"V¬T80]W80↑ PPπTjTh"V¬T 7[∞ε@4[ES(Q⊂πTjTh"V¬T 7[∞ε@4[ES QPπTjTh"V¬T 7[∞ε@4[ES_R⊂πTjTh"V¬T 7[∞ε@4[ES⊂RPπTjTh"V¬T 7[∞ε@4[ESλS⊂∧∀⊗_4YM⊗_0@¬bSP¬∀jTh"V¬Tλ6≥
p¬dSP∧⊂)∀h⊗P-G 7@SPα∀⊗`7@T⊂βT⊗`7[,↔⊂TPβP-Fh0[Mw⊂U⊂α∪L↔0@UPα∃
w⊂7@V⊂βU∞&H7~.GHVP∧∪-vp:→.&(<@W⊂αS,↔⊂4[@WP∧⊗-w_2[-↔ 2@X⊂β∪-vP0]LPXPαQ
⊗(3[`Y⊂α∪-vp7@YPβT
w⊂:≠mFλZ⊂α∩-gH7@ZPα⊗-v`7@[⊂βPo↔9→.7_[PπQn&H7≠LV`6*6(9≥LW⊂[p P.'0K*F(6≠LW ⊗Ql↔ 2]l↔H\⊂∧∃V`2Tnvλ:\0α∃↔2@\Pα∪Vλ3\pπS
↔_8*7 0]
↔_:~,7_]⊂π∀∞&H7≥W⊂⊗TLW7\N@]0λP-G 7K(W⊂9≠n"h)→.εx9≥]P∧⊂mw<Q
↔_5@]p¬∀nFλ:~.7 4Xn0↑⊂¬Q,↔⊂9K*7 0]∞W_↑0ε⊃(e (*&(1Y-↔02@↑Pα∪,⊗H6↑p∧⊂J5⊗UW_:←⊂α⊃,6@7@←0εS-↔_1K*6(9≥M⊗_2\`←P↓QJE←pε⊃l↔ 2]l↔H⊗R-f07@`⊂β∃V`7→.@`0βR*4`⊗SLW `PβPi∃ ⊗SLW `p¬SLW8&X.F@⊗SLW a⊂βUW@⊗SLW a0ε∪-↔ 1ZV`6)f(:aP¬∃W⊂6X-bh'→.@ap∧Ph5⊂&P%Tp2]b⊂∧∪ u )K)f(:b0¬∀jTh"V¬Tp2]ε bP∧TjTh"V¬Tp2]bp∧∪)∃ ⊗SLW →c⊂βPiU(⊗SLW c0βS)∃ ⊗SLW εGcP¬Pj4 ⊗Pj4`⊗SLW εIcPβPj4`⊗SLW cPβPj4 ⊗SLW cp∧∃W_:)f(:d⊂βP*% SHU d0∧T↔⊂1K)f(:
dP∧T↔⊂1K)f(:`→p∀0 ↓`~0∀ ↓`~`⊗G@≠⊂⊗G≠@⊗F`≠p⊗F≤ ∀∂ ε←≤P∀∞@≤P→∞@εb≥∀∞≥∀∞ ≥0∀
`≥`∀
@≡⊂∀
≡@∀
≡p∀`∨ ∀@∨P∀ ∀` 0∀@ `∀
!⊂∀ `!@∀ @!p∀ " ∀ "P∀π`#∀π@#0∀π #`∀π$⊂∀ε`$@∀ε@$p∀ε % ∀¬`%P∀¬@&∀¬ &0∀¬&`∀∧`'⊂∀∧@'@∀∧ 'p∀∧( ∀β`(P∀β )∀α )0∀α)`∀↓`*⊂∀↓@*@∀↓ *p∀`+ ∀@+P∀,∀5 ,p∀5.∀4`.P∀4@/@∀4 00∀410⊗U@2@⊗U 3P∀3@4@∀3 5P∀36`∀2`7p∀2@8p∀2 9p∀2:p∀1`;`∀1@< ∀1 <`∀1=0⊗U>0⊗U`?0∀0`@0∀0@A@∀0 BP∀0C`∀∂D0∀ E ∀ F⊂∀ G∀∂@G`∀∃H⊂∀∞`H@⊗G Hp∀ I ∀IP∀β@J∀βJ0∀εJ`∀∀K⊂_ K@_Kp_
@L _
π`LP∀
`LP→
`M∀
M0∀α@M`∀↓πg@N⊂∀∀ πiN⊂∀∀@N⊂∀∀`πlN`∀λ@πm@N`_λ`πoN`→ N`→@ πrO⊂∀λπs@O⊂∀λ O⊂∀
@O`∀α`πxP⊂⊗R P⊂∀∂`PP∀- Q⊂∀-QP⊗` R⊂∀,`RP⊗`S⊂∀,@SP⊗R@T⊂∀∪`TP∀∪@U⊂∀∪ UP∀∪V⊂∀∩`VP∀∩ W⊂∀∩WP∀⊃`X⊂∀⊃@XP∀⊃ Y⊂∀⊃λ⊗YP∀⊂`YP∪P`Z⊂∀⊂@ZP∀⊂ [⊂∀⊂[P⊃[p⊗ \⊂\0 \Pλ`\pε`]⊂ε ]0ε]P¬ ]p∧@↑⊂∧ ↑0∧↑P↓`↑p↓@←⊂↓ ←0↓←P`←p@`⊂ `0A@`PA`p@@a⊂@a0→@aP→ap_@b⊂_b0↔bP⊗@bp∃@c⊂∃c0∀@cP∀cp∪@d⊂⊂d0αdP↓@∧∪
v_0]
⊗x7βS)$@⊂
ε3_αSnvp2\@↓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\@∀L⊗ 4[d¬_1Z,Vp1Y$∧ :\L⊗p2λε#_≤@λ⊂LW⊂7~,R)≠nF@⊂$∧h"@π∪)$@⊂⊂j4 ⊗Phb&_, ∧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& λ∀nG(2→-g ⊂⊂NV`6.ε(7εS)$@⊂∀mvh2]mε(9→ ε∩↔⊂2≥l↔⊂2H Fλ1π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 λ∪ u )H
vx9~n7 0]
⊗x7 ⊂j4 ⊂∀L⊗p2≠mR#_,7(6≥∂⊂∧Pj4 ⊂∀Vx7≤`∧Pj4 ⊂∀Vx7≤`αT∞&λ:≥π∀nG(2→-g ⊂∩NVp3[PβP(T`⊂F3λ¬⊃∞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@∧⊃NVp1]
⊗x7¬∀Mv⊂7]∧∧λ9≠.0¬PNW_↔λ
6_4≠mv`∧⊃NVp1]
⊗x7β∀lW⊂;→. ∧∪LW ;[n&X9@↓T
Uβ∪nαh)↑.0β∃ u)LF↓Pj¬(∧⊃λT_⊗LFβ0_¬PNW_↔λ
6_4≠mv`↓T
U↓Pj¬(∧⊃λT_⊗LFβ0_∧⊃Mw⊂9↑.F@2@↓Pi∃ α∃.6(9α∃-fH<↓Pj¬(¬∃H∃@⊗L&∩x≠M&εTeSλ_$∧h2Y∧∧_:≤@α⊂.'0@↓Pj¬(¬∃H∃@⊗L&∩x≠M&ε∩*αh(≤Mw 7Xmv`9@⊃∃(E⊗λ
D_(jD(&∪HU ⊗λ
D_(he (∧¬ !T¬u_&U
εTeSλ_$∧h2Y∧∧_:≤@α⊂.'0@β⊂(T`⊂&⊂↓R(4`π∪,4_:[
Fx:Ymα_f ↓R(4`↓T
UβS)$@⊂ε#¬∃H∃@⊗L&∩x≠NεβS)$@⊂ε#βPj4 ⊂∪Etλ¬∃H∃@⊗L&∩x≠Nε¬∩Mw⊂2_-b_f0αT∞7H1Z↓T
U¬∃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βS)$@⊂ε#βS)$@⊂ε#α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)$@⊂ε#∧∀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)$@⊂ε#↓S)u_∧S
4H⊗L&∩x→`π∩*αx(∃*α#X.F(;X/⊂βP(T`⊂F#H∧Qj4⊂⊂∀MR_M Tf∪_H V(2~,6λ6λλ6(7≥W⊂¬Qm⊗p=≥
vp⊂∪⊗⊂∧S,4_:[
Fx1Z¬Tmελ9]∩)≠mvhβS)$@⊂
ε#⊂β∃W⊂6X-`β∃W⊂6X-`αPhU⊂ T`αPhU⊂ T`β∃W⊂6X-`∧Pi∃_⊂⊂-fp2↑β⊂N&H2→lPβQ*$`⊂FSH↓Pj4`β∃W⊂6X-`β⊂N&H2→lP∧∪)$@⊂ε31@π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∧∪)$@⊂ε31@βS)$@⊂
εcβS)$@⊂
εβ@|k