perm filename PUPNET.DIR[HST,NET]6 blob
sn#732718 filedate 1983-11-30 generic text, type T, neo UTF8
D↓4`∩α␈∨ +`¬mA%∧⎇A>@¬q↓e@¬lAfpπDA*0¬∩AmPβ}B¬⊂∧wAE⊂πR↓#0πtAZ πgA(⊂¬i↓9pλ∧↓qp¬
↓"λλαβ⊂λ
Al0εβAj0ε→B∧P¬a↓rpπT↓!`πN↓Z`ε∂A-⊂¬6↓v¬-↓∩⊂πYA,⊂ε!↓I⊂εm↓lp¬∃A&`¬d↓A εI↓&0ε⊗↓≤ πxA0`π`↓G⊂∧}AkP¬XAy0¬]AF`π=A∧⊂π?↓≡⊂∧rA⎇P∧|↓≥@πPAi⊂πn↓u0λε↓|π]A`π(↓j`π"A¬P¬L↓g0¬HAz0π∩↓fπ→A↑pλ∞A$ π,Ap@¬MA4 ε∞α@¬A↓/πb↓YP¬$↓?`ε∩A>pεr↓BP¬α↓J ε≡↓r0∧↓↓@⊂¬+↓#`¬"A"p¬bA!0¬.A,Pε"A%p¬≥↓90εεAB¬↓7p∧z↓≥¬J↓3`¬>A)p¬⎇↓C¬βA4`¬:↓@@¬vAXpπ␈A;`¬x↓=⊂π∀↓c`π↓b πε↓``ε⎇↓␈0πzA)0∧∞↓⊗ ∧OA∪ ∧[↓↔p∧'A∃∧VAλ⊂∧QA∂∧9A
∧,↓⊂∧.↓~`∧)A 0∧#↓∩Pεt↓_0∧3↓→ ∧]A⊂P∧i↓≠`∧DA⊃P∧c↓⊂⊂∧≡A≠ ∧7A→`∧∧↓↓@∧_↓@∧↓α@∧λ↓ε@∧≤A∂Pε_↓5 ¬\↓6@π<↓n@π\␈ε,A[pπrA↑ εvB∧⊂πl↓<`εGAM⊂εS↓T⊂ε[AO`εA↓L@εBAO⊂ε8AMPε*AI`ε.↓V0εWALε:AU εN↓RpεEAg`π A5P¬jAyε⊃↓1 ¬FAW0ε`A.¬∨↓∧p∧∃↓l∧∩↓i@
-BK
*BJ
'BI@
$BH`
!BH
≡BG
≠BF@
_BE`
∃BDP
∀αN0
8αMP
5αLp
2αL⊂
/α) λrαT0
PαSP jαC⊂λ*α `
Mα'`λiα→p GB→@λdB_`λaB_ Fα:⊂ 8B↔P 7α↔ λ[B⊗@λXB∃`λUB∃λRB∀ :α∪pλNα∪⊂λKα∩0 ,B∩ dα90 ↑α⊃PλEα⊂pλBα⊂⊂ DB9` 5B-λ?α∂0λjB∂λ:B∞ λ7B
@λ4B`λ0α0λ.B, ≥B #B;
⊃αCp
∞αB`
BB
εBA
βB@@
B?` ⎇B? zB.p VB6 YB+@ +α4p Uα6`λ+B+p "αε0 B'λ(B=p pα;P →α%pλ_α%@λ⊗B%⊂ ⊂α#P
α"p
α"⊂ πα!0 ∧α P ↓α≡`λyB≡λvB≥ λpB≠`λsB 0
KBR@
HB3 ~B<`
Gα∨pλ∨B3`
EBλP PB30λ≡απ⊂ 2Bε` kB> ⊃B∨@λ|B$` vα<0
Dαλ Rα2
BB* &B2P tBP λmB≠λ$α7p AB0 Cα/P =αOp
>α8
<B8P
;α7⊂ )@β|α¬PBT`
TBU@
Wβ}BεBT`
XαU@
Y@∧↓αε0"T`
Z@∧ααε`"T`
]@∧∧απ⊂"T`
`@∧εαπ@"T`
c@∧λαπp"T`
f@∧
αλ "T`
i@∧αλP"T`
l@∧∞α "T`
o@∧⊂B 0bT`
qαU@
Wα\P
t∧∩α `bT`
uαU@
Wα]P
x∧∪B
⊂bT`
yαU@
Wα↑P
|∧∃α
@bT`
qαU@
Wα←
}@∧⊗B
p"T`
␈@∧_α "T`↓∧~αP"T`∧@∧≤B"T`π∧≡B`"T`
@∧ B
⊂"T`∧#α
@"T`∞@∧%B
p"T`⊂∧'B∞ "T`⊃@∧)B∞P"T`∪@∧,α∂"T`∀@∧.α∂0"T`⊗@∧0B∂`"T`↔@∧3α⊂⊂"T`→∧5α⊂@"T`~@∧7B⊂p"T`≥∧9B⊃ "T`∨@∧<α⊃P"T`"∧>B∩"T`$@∧@B∩0"T`&@∧BB∩`"T`)∧DB∪⊂"T`*@∧FB∪@"T`,@∧HB∪p"T`/∧Mα∀ "T`0∧OB∀P"T`2∧QB∃"T`∧Tα∃0"T`4@∧VB∃`"T`∧Yα⊗⊂"T`6@∧[α⊗@"T`9∧]B⊗p"T`;∧←B↔ "T`=∧aB↔P"T`>@∧cα_"T`B∧eα_0"T`C@∧gα_`"T`F∧iα→⊂"T`G@∧kα→@"T`I∧mα→p"T`K∧oα~ "T`L∧qα~P"T`N∧rB≠↓BT`OBU@PBt0SαuUBuPWBv⊂Y@∧xB≠0↓BT`[αU@\αw ↑Bwpaαx@cαye∧}B≠`↓BT`fBU@hαz jBzpmα{@oα|q¬αα≤⊂↓BT`rBU@tα⎇⊂vα⎇`xB}0zB}p|@¬λα≤@"␈@␈¬
α≤p↓bT`αU@→αt0↓αuβBuP∧Bv⊂¬C↓` ¬
B≥ ↓bT`
BU@
Wαt0∞Bu⊃αuP∩αv⊂∪β¬⊂⊗@¬⊃α≥PbT`≠αU@≤αt0≥@¬∃B≡↓bT`∨αU@ Bt0Sαu"BuPWBv⊂YCλp%@¬≠α≡0↓bT`)BU@+αt0Sαu-αuPWBv⊂YC@0¬ B≡`↓BT`4αU@5Bt06Bu7BuP8Bv⊂9@¬$α∨⊂↓bT`;αU@=αt0Sαu>αuP?αv⊂@β⊂0C@¬)B∨@↓bT`HαU@Jαt0SαuKαuPLαv⊂Mβ∪PP@¬-α ↓"T`UαU@Vαt0SαuxBuPW¬0B P↓bT`XαU@Zαt0SαuUBuP[αv⊂\β↔0←@¬8α!↓bT`
TBU@→αt0SαuxBuP∧Bv⊂dβ→0g@¬HB!0↓bT`
TBU@lαt0SαuxBuP∧Bv⊂mC↓` ¬MB!`↓BT`oαU@pBt0SαuUBuP∧Bv⊂q@¬XB"⊂↓BT`sαU@uαt0SαuUBuP∧Bv⊂v¬aα"@↓BT`wBU@yBuxBuP∧Bv⊂zC↓`|¬dα"p↓"T`⎇αU@}αt0SαuUBuP∧@¬gB# BT`
BU@
α¬iα#PBT`
βαU@
∧@¬jB$bT`
¬BU@
Wαt0
π¬oα$0↓BT`
αU@
Bt0SαuUBuPWBv⊂
@¬tB$`↓BT`
∂αU@
⊃Bt0Sαu
∩BuPWBv⊂Y@¬{B%⊂↓BT`
TBU@
Wαt0SαuxBuPWBv⊂Y@¬␈α%@↓bT`
TBU@
Wαt0SαuxBuP
∀Bv⊂
∃C↓`%@εβB%p↓bT`
XαU@
Wαt0SαuxBuP∧Bv⊂
↔β↓` ε
B& ↓bT`
_BU@
~αt0SαuxBuP∧Bv⊂
≠β↓` ε∞α&P↓"T`
≤BU@
≡αt0SαuUC'`
@ε∂B'↓"T`
"αU@
#Bt0Sαu
$β)⊂
&ε∩B'0bT`
TBU@
Wβ*
)@ε∀B'`↓"T`
XαU@
Wαt0SαuUC*`
,@ε_α(⊂↓"T`
.αU@
Wαt0SαuUC+p
1ε≠α(@↓"T`
XαU@
Wαt0SαuUC,p
5ε≡α(p↓αT`
TBuP
7αv⊂
8αt0
9@ε'α)P"T`
;@ε*B*"T`
=ε.α*0"T`
>@ε0α*`"T`
T@ε2α+⊂"T`
@@ε4B+@"T`
B@ε6B+p"T`
Dε8B, "T`
Eε:B,P"T`
Gε<B-"T`
Jε?α-0"T`4εAα-`"T`
LεBB.⊂"T`
M@εEB.@"T`
O@εGB.p"T`
XεKB/ "T`
QεNα/P"T`
RεPB0"T`
SεSα00"T`
TεUα0`"T`
UεWB1⊂"T`
T@εYB1@"T`
T@ε[B1p"T`
Vε]B2 bT`
WBt0
YαU@
Z@εcB30bT`
[Bt0
↑BU@
`εfB4⊂bT`
aαt0
dαU@
e@εiα4pbT`
fBU@
Wαt0
h@εkα5Pbt0
iBT`
␈BU@
j@εmα6`bT`
kBU@
Wαt0
m@εoB7@"T`
oεrα9bT`
TBU@
Wαt0
pεtα:⊂bT`
qαU@
Wαt0
qε{B:pBT`
sBt0
vπβα;PBT`
wBU@
yπεα<BT`
zαU@
{@π α<0BT`
|BU@
␈πα<`BT`∞αU@∞↓@π∂α=@BT`∞αBU@∞¬π∩α=pBT`∞εαU@∞π@π∀α> BT`∞λBU@
Wπ→B>PBT`∞αU@
Wπ≠B?BT`∞BU@
Wπ≥B?0BT`∞∞αU@
Wπ∨α?`BT`∞∂BU@
Wπ B@⊂BT`∞⊃αU@
Wπ"B@@BT`∞∩BU@
Wπ$B@pBT`∞∀αU@
Wπ&αA BT`∞∃BU@
Wπ(αAPBT`∞↔αU@
Wπ)BBBT`∞_BU@
Wπ+αB0BT`∞~αU@
Wπ,BB`BT`
qαU@
Wπ.BC@BT`∞≠BU@
Wπ0αCpBT`
TBU@
Wπ1BD BT`∞≥αU@
Wπ3BDPπ6BEπ:αE0π<αE`π=BF⊂π?αF@πBαFpπDBG πGBGPπIBHπKBH0πNαH`πPBI⊂πRαI@πTαIpπUBJ πXαJPπYBKπ\αK0π]BK`"T`∞≡@π`αL⊂"T`∞ @πbαL@"T`∞$@πdαLp"T`∞(@πeBM "T`∞+πgBMP"T`∞.πiBN"T`∞1πlαN0"T`∞2@πnαN`"T`∞5πpαO⊂"T`∞7πrBO@"T`∞:πtBOp"T`∞=@πvBP "T`∞A@πxBPP"T`
≤@πzBQ"T`∞Dπ⎇BQ0"T`∞Hπ␈BQ`"T`∞JλααR⊂"T`
≤@λ∧αR@λεαRpλλαS "T`∞Lλ⊂BSP"T`
qλ∩BT"T`∞Pλ∀BT0∨ π∃V`7→.Bh#X.F(;X/⊂∨`¬P.'0Ql↔ 2]l↔H ↓∀jP P∧TjTp⊗Uλ#λ_
!∧∀jTp⊗Tfβ≠@!0∧∀jTp⊗Tf∪_@!`¬∀jTp⊗Uλ#λ_Lh "⊂¬∀jTp⊗Uλ#λ_Lh⊂"@∧TjTp⊗Uλ#λ_L`"pε∀jTp⊗PlW⊂0\f∪⊂~@# β∪
⊗p3X-P#pα⊗-vp4@$@α⊗,⊗p3@%⊂↓V-⊗p%`β∪-w⊂2≠n &⊂∧∀jTp⊗ThU $@&@εTjTp⊗UW⊂6X-c(≠
&p∧∀jTp⊗UW_:' ∧TjTp⊗S)# →
@'P¬TjTp⊗Q*$`~π⊗⊂(¬TjTp⊗Q*$`~
&f⊂(0¬∀jTp⊗Q*$`~
εP(`¬∀jTp⊗Q*$`~π)⊂¬TjTp⊗Q*$`~
εFλ)@¬∀jTp⊗Q*$`~&⊂)p¬TjTp⊗Q*$`~&⊗⊂* ¬TjTp⊗Q*$`~&⊗λ*P∧TjTp⊗S)#→ +¬TjTp⊗Q*$`~π⊗0+0∧TjTp⊗S)# ~L+`¬TjTp⊗Q*$`~π⊗(,⊂¬TjTp⊗Q*$`~π⊗ ,@βTjTp⊗UλU@,p∧TjTp⊗S)# →
- ∧TjTp⊗S)# _@-P¬∀jTp⊗S)# _ML⊂.∧TjTp⊗S)# →∧J@.0∧⊃NVh0\Mv`2@.0ε∀jTp⊗QNVh0\Mv`2@.`¬TjTp⊗Q*$`→
'⊗λ/⊂∧∀jTp⊗Pi∃_1/@¬TjTp⊗Q*$`~π⊗_/p¬TjTp⊗Q*$`~πελ0 ¬TjTp⊗Q*$`~π⊗λ0P∧∀jTp⊗Pi∃_0@1¬TjTp⊗Q*$`→
'⊗⊂10∧TjTp⊗S)#_~@1`¬∀jTp⊗Q*$`~εp2⊂β∀jTp⊗QhP2@∧TjTp⊗S)# →@2p∧TjTp⊗S)#_→L3 ∧TjTp⊗S)# ≠3P∧TjTp⊗S)# _∞4¬∀jTp⊗Q*$`~&@40∧TjTp⊗S)# →∞4`∧TjTp⊗S)# _M@5⊂β∩
βH≤f`∧t5@β∪ u )K( ∧v5@∧TjRh&∪jE_⊗P@∧w@5@αS u )P@5@P@∧z6@β∪ u )K(⊂∧|6@∧TjRh&∪jE_⊗P ∧⎇@6@αS u )P 6@P ¬7@αR)U_)T`7@∧∀jRh$S*5_)@¬β@8@β∀m⊗(9≤L⊂¬¬@8@∧TjRh)Z,W⊂9_ ¬π8@αTjRh"Q 8@↓⊃(P9@∧⊂mwH7]Sλ_¬@9pβ⊂mwH7]P9p∧TjRh![o⊗x:→ ¬∂;β⊂l↔⊂6Y-@;∧TjRh!X.&h2[¬∩@<⊂β∀
↔_3X-¬∀<⊂↓P*$h<⊂αL&∩x≠¬↔@<`βQj4⊂⊗R u8¬→@<`¬∀jRh#Th"h$∪jp<`↓R u8¬≥=pβQj4⊂⊗Ui¬H¬∨=p¬∀jRh#Th"h+R⊂=p↓Ui¬H¬"@?∧Pi∃ ⊗TLV`0↑ ?β∀jRh!R*@¬%@@α∀h∀0"@¬'@@∧TjTh"V¬U0 V@βTjRh)P(d(¬+A⊂β⊂.& ;_/A⊂∧TjRh \LG00↑¬.@B α⊃NVP4@B βTjRh#≥-&H¬2@C⊂βQmFλ1Z,W⊂¬4@C⊂¬∀jRh#[⊗_4Y. ¬6C⊂α⊃JDλ&C⊂∧⊃JDλ&*fλ<¬:D βUmεH:≠LWH¬<D ¬∀jRh+Z
↔ 7→/⊂¬>@D ε∀Mv⊂7]
⊗_9K*dλ,¬AD ¬TjRh)≠l&x:~,7_¬CD ∧∀Mv⊂7]
⊗_9@¬ED βR%U⊂7XMw ¬F@D β∃M↔_4[m`D ¬∃M↔_4[mbh+_/¬JE0β∪L↔00ZMp¬LE0∧TjRh'_.fλ5≠`E0β∪H∩h+⊂+¬OF@αT∞7H1Z¬QF@∧∀jRh(≤o⊗_4¬SF@∧T∞7H1Z¬U00↑¬UF@∧TjRh*_-εx6X ¬V@F@β∃⊗@7[,⊂F@¬∃∞W⊂:≠Rh+_/¬ZG@↓R*4`¬\G@∧U⊗h0[∞ελ4\`¬]@G@↓U⊗h¬←@G@βR*4`⊗UH∃@G@β∀jRh$Ti@¬b@H@↓Q
4pH@β∀jRh"∀i`¬e@I@β∩V`2[N0I@∧TjRh$→-F(7≤`J0α⊂i∃ →Jpα⊂i∃ _@¬l@K0βU,&(4→,&(¬m@K0↓⊂)@K0αL&∩x~
¬qL¬∀jTh"V¬S⊂_F¬sL∧⊂)∀h⊗LFβ⊂_Lα∃
⊗p<@¬v@M∧TjTh"V¬Tλ$S ¬xMαTjTh"V¬zM¬∀jTh"V¬S⊂_
FM↓P)∀h¬⎇NαTl6x9→ N∧∀jRh)Piu⊂"@ε@Oα∀h∀H&εαOαTjRh R Oα∀jTλ$@ε¬P⊂β⊃
⊗λ1≠
pεε@P⊂↓R e0ελP⊂β∀jRh$∪J`P⊂εTjRh$∀
αh'⊃eU0 VεQ β∀mελ9]⊂Q ∧TjRh)Z↔_:_ R0αTL↔02[@ε⊃S β⊃.W⊂2Zl⊂S ↓UHe_T⊂βTl6λ7≠LW⊂ε⊗T`αPMvH9Y T`¬∩
αh(≤M⊗p:→. ε→@UPαU⊗@7Y UPαQ
w02\@ε≤@V@β∪↔_9Y-`V@↓R(e_ε!W0λ∀nFλ7→Mw⊂2(vλ:→.vλ<@ε"@W0β⊃mv`2→-`ε$@W0∧TjRh#[mF 2[@W0¬Qmv`2→-bh#X.F(ε)X⊂∧∃
↔⊗R
¬1X⊂β∀n↔(4Y-Pε,@X@∧∃
↔⊗R
¬0@X@β∃Vp0↑,⊂Xp∧U
↔⊗S,WH2\@Y ∧∃
↔⊗S)$@1@YP¬U
↔⊗Q*$`⊗Pi∃_ZβU
↔⊗P(T`Z0¬∃
↔⊗Qj4⊂*≠mpZ`βU
↔⊗Qj4⊂[⊂∧∃
↔⊗Tf∪_@[@¬U
↔⊗Qm⊗p=≥
vp[pβU
↔⊗Pi∃ \ β∃
↔⊗Q(P\Pλ∃
↔⊗Q*$`⊗TnvH:_mε(9]∧∃
↔⊗UW_:εI]0αU
⊗x3X ]0ε∩ e0⊗Q.F@2\JFH8]`¬U
↔⊗UW⊂6X-d_↑⊂¬U
↔⊗UW⊂6X-d⊂↑@ε∃
↔⊗PhU⊂ Tf∪⊂~@↑p∧U
↔⊗PhU⊂ T`← ¬U
↔⊗UW⊂6X-dλ←P∧∃
↔⊗S)$@1`∧∃
↔⊗S)$@0@`0βU
↔⊗Pi∃_ε`@`` ∃lV`1Z¬U⊂7X,Bh#X.F(;X/⊂``λUlV`1Z
&x0Y¬T80]W80↑ a0 ∀jTh"V¬Sλ_∪("h#X.F(;X/⊂bε∀f∪_K(vλ:→.vλ<@bP¬⊂i∃_⊗PN&H2→lPc ¬⊃*$`⊗PN&H2→lPcpεQn&(2[ET80]W80↑ d@π∃W⊂6X-bh#X.F(;X/⊂dpβTlWλ:[m⊗λεv@e@¬TjTp⊗Ql↔ 2]l↔Hεye@ε∃W_:(vλ:→.vλ<@e@¬UW_:('⊂4Yv(ε⎇f⊂α∀
⊗p2@πf⊂λTjTh"V¬Th%∩¬T80]W80↑ f⊂λS)$@⊗TjTh"V¬T80]W80↑ fPπTjTh"V¬T 7[∞ε@4[ES(g⊂πTjTh"V¬T 7[∞ε@4[ES gPπTjTh"V¬T 7[∞ε@4[ES_h⊂πTjTh"V¬T 7[∞ε@4[ES⊂hPπTjTh"V¬T 7[∞ε@4[ESλi⊂∧∀⊗_4YM⊗_0@π⊗iP¬∀jTh"V¬Tλ6≥
pπ_iP∧⊂)∀h⊗P-G 7@iPα∀⊗`7@j⊂βT⊗`7[,↔⊂jPβP-Fh0[Mw⊂k⊂α∪L↔0@kPα∃
w⊂7@l⊂βU∞&H7~.GHlP∧∪-vp:→.&(<@m⊂αS,↔⊂4[@mP∧⊗-w_2[-↔ 2@n⊂β∪-vP0]LPnPαQ
⊗(3[`o⊂α∪-vp7@oPβT
w⊂:≠mFλp⊂α∩-gH7@pPα⊗-v`7@q⊂βPo↔9→.7_qPπQn&H7≠LV`6*6(9≥LW⊂qp P.'0K*F(6≠LW ⊗Ql↔ 2]l↔Hr⊂∧∃V`2Tnvλ:r0α∃↔2@rPα∪Vλ3rpπS
↔_8*7 0]
↔_:~,7_s⊂π∀∞&H7≥W⊂⊗TLW7\N@s0λP-G 7K(W⊂9≠n"h)→.εx9≥sP∧⊂mw<Q
↔_5@sp¬∀nFλ:~.7 4Xn0t⊂¬Q,↔⊂9K*7 0]∞W_t0ε⊃(e (*&(1Y-↔02@tPα∪,⊗H6tp∧⊂J5⊗UW_:u⊂α⊃,6@7@u0εS-↔_1K*6(9≥M⊗_2\`uP↓QJEupε⊃l↔ 2]l↔H⊗R-f07@v⊂β∃V`7→.@v0ε∪)$@⊗L&∧h!)f(:v`βR(4`⊗SLW w⊂βTJ4`⊗SLW w@αUETp2]wpβR*4`⊗SLW x βPi∃ ⊗SLW xP¬SLW8&X.F@⊗SLW yβUW@⊗SLW y0∧S,WH2\ETp2]y`ε∪-↔ 1ZV`6)f(:z⊂¬∃W⊂6X-bh'→.@z@∧Ph5⊂&P%Tp2]zp∧∪ u )K)f(:{ βR
¬⊗SLW {PλTjTh"V¬U ;Z.7 2Y¬Tp2]|∧TjTh"V¬Tp2]|0π∀jTh"V¬Sλ_∪("h'→.@|`∧TL↔02[ETp2]⎇⊂βPiU(⊗SLW ⎇0βS)∃ ⊗SLW λ
@⎇P¬Pj4 ⊗Pj4`⊗SLW λ@⎇PβPj4`⊗SLW λ∞@⎇PβPj4 ⊗SLW ⎇P∧∀
⊗p2K)f(:}∧∃W_:)f(:}0∧Q
w02\ETp2]}`βP*% SHU ∨ ∀0@⊗ ∨`∀0 ↓` ∀ ↓` P⊗G@!⊗G!0⊗F`!`⊗ε"⊂↔ε"@⊗F"p_α # ∀>#p∪}$@∀#@%⊂∪c@%`∀⊗ &⊂∀∂ &@∀∞@λ1@&p∀∞&p∀∞ ' ∀
`'P∀
@(∀
(0∀
(`∀`)⊂∀@)@∀ )p∀`* ∀@*P∀
+∀ `+0∀ @+`∀ ,⊂∀ ,@∀π`,p∀π - ∀π-P∀ε`.∀ε@.0∀ε .`∀¬`/⊂∀¬@/@∀¬ /p∀¬0 ∀∧`0P∀∧@1∀∧ 10∀∧1`∀β`2⊂∀β 2@∀α 2p∀α3 ∀↓`3P∀↓@4∀↓ 40∀`4`∀@5⊂∀5@_@6@_ 7@∀5@8@∀5 9@∧@9p∀5`;∀5<⊂∀4`<`∀4@=p∀4 ?∀4@⊗U@λ␈@A⊂⊗U A⊂⊗ B ∀3@C⊂∀3 D ∀3E0∀2`F@∀2@G@∀2 H@∀2I@∀1`J0∀1@Jp∀1 K0∀1L⊗UM⊗U`N∀0`O∀0@P⊂∀0 Q ∀0R0∃@@S ∀ @T⊂∀∂T`∀ UP∀ V@∀ %W0∀∂@W0∧ X⊂↔F X@↔FXp~↓ Y ∀∃ YP∀π@Z∀∃Z0∀⊗@Z`∀∞`[⊂⊗G [@∀ [p∀\ ∀β@\P∀β]∀ε]0∀∀]`_ ↑⊂_↑@_
@↑p_
← _
`←P∀
`∀α@`0∀↓ J@``↔ε` L``↔G``∃@ Oa0⊗F@a0⊗λ Rb⊗F b↔ε@ UbP∀∃@bP∀∃` Xc ∀∀ Y@c ∀∀@c ∀∀` \@cp∀⊗cp~` ←@d@∀λ@ ad@_λ` b@d@→ d@→@ e@dp∀λ gdp∀λ dp∀
@ je@∀α`e@∪@` mf⊂⊗R f⊂∀∂`fP∀- g⊂∀-gP⊗` t@h⊂∃l`h⊂↔l`hP⊗`i⊂∀,@iP⊗R@j⊂∀∪`jP∀∪@k⊂∀∪ kP∀∪l⊂∀∩`lP∀∩ m⊂∀∩mP∀⊃`n⊂∀⊃@nP∀⊃ o⊂∀⊃
@oP∀⊂`oP∪P`p⊂∀⊂@pP∀⊂ q⊂∀⊂qP⊃qp⊗ r⊂r0 rPλ`rpε`s⊂ε s0εsP¬ sp∧@t⊂∧ t0∧tP↓`tp↓@u⊂↓ u0↓uP`up@v⊂ v0∧v`β@w⊂βw@α@wpαx ↓@xP↓y@y0~y`→@z⊂→z@_@zp_{ ↔@{P↔|⊗@|0⊗|`∃@⎇⊂∃⎇0∀@⎇P∀}∪@}0∪}`⊂∧∪
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βλ→
∧∪)$@⊂ε31@∧Tmvh2]
⊗h2\`α⊗-vp4@∧∪)$@⊂ε31@∧Tmvh2]
⊗h2\`β∪
⊗p3X-P∧∪)$@⊂ε31@∧Tmvh2]
⊗h2\`↓V-⊗p∧Tmvh2]
⊗h2\`α⊗,⊗p3@βQ*$`⊂FSH∀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ε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→ π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≤`π∩Mw(8≤
∩`⊂∀l↔⊂5X. α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↓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αUVp2↑↓Pj¬(∧QλT_⊂∩i∩h_L¬⊃∞W⊂0[LB_
&P↓⊃(P∧⊃NVp1]
⊗x7β∀lW⊂;→. ∧∪LW ;[n&X9@β∀
U∃R*β∪nαh)↑.0β∃ u)LF↓Pj¬(∧⊃λT_⊗LFβ0_β∀LVλ6≠∂⊂β⊂mwH7]PαS)#→ λTMv⊂7]
⊗_9H
&(9Y,↔⊂1Zβ∀
U∃R*α∃-fH<¬∃H∃@⊗L&∩x≠M&ε∩*αh(≤Mw 7Xmv`9@⊃∃(E⊗λ
D_(jD(&∪HU ⊗λ
D_(he (∧¬ !T¬u_&U
αS)# →L` ∩lW⊂7→-B"→.f(6≠nεh2[N@β∀
U∃R*α∃-fH<¬∃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∃R*ε∩*αh(≤Mw 7Xmv`9@∞Uλ5↔UλT`'⊃*B`⊂∃λ5↔QJE⊗λ
D_(j4h*∀∧⊃j4⊂⊂⊂FRh"@¬PNW_↔λ
6_4≠mv`β∀
U∃R*ε∩*αh(≤Mw 7Xmv`9@∞Uλ5↔UλT`'⊃*B`⊂∃λ5↔QJE⊗λ
D_(j4h*∀∧⊃Mw⊂9↑.F@2@↓Pi∃ α∃.6(9β∀
U∃R*α∃-fH<¬∃H∃@⊗L&∩x≠M&εTeSλ_$∧h2Y∧∧_:≤@α⊂.'0@β∀
U∃R*α∃-fH<¬∃H∃@⊗L&∩x≠M&ε∩*αh(≤Mw 7Xmv`9@⊃∃(E⊗λ
D_(jD(&∪HU ⊗λ
D_(he (∧¬ !T¬u_&U
εTeSλ_$∧h2Y∧∧_:≤@α⊂.'0@β∀
U∃R*α∃-fH<¬∃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`α∃-fH<¬∃H∃@⊗L&∩x≠M&ε∩*αh(≤Mw 7Xmv`9@⊃∃(E⊗λ
D_(jD(&∪HU ⊗λ
D_(he (∧¬ !T¬u_&U
¬∃H∃@⊗L&∩x≠Nεε∩*αh(≤Mw 7Xmv`9@⊃∃(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ε↓PH∀ ↓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&β@_¬∃H∃@⊗L&∩x≠NεβQ*$`⊂FS8↓Pj4`¬∃H∃@⊗L&∩x≠Nε¬∃lV`1Z∧¬⊂7X,@↓R
¬∧∀lW⊂;~,6(9@βT∞&H7≥W⊂β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/⊂¬∃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∧∪)$@⊂εC2@β∃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λ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¬∃lV`1Z∧¬⊂7X,@↓R
¬λS
vλ7→,B:≠d¬⊂:]v(9≤`αTjTh"VβS)$@⊂F#(↓R
¬λ∀eSλ_$∧h2Y∧∧_2[NF(9β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⊂λ⊃Mw(9≥
α#≠
vx9λ TP$⊃∞W⊂0[LB1≥-⊗`2~-f8⊂
λvH6≠¬⊂
Pi∃ ⊂≥
r&Y,FH1X-B!Y-g 2\@¬⊃*$`⊂≥
r Q)@πU
εH9→∧∧06≠mw⊂⊂∪)$@εS,WH2\D∧`4XN&λ9≡ ⊃,↔⊂:~∧¬_1Z,Vp1Y$∧⊂:Z-F 4[LpUW⊂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:→. ∂∪)$@⊗λλU⊂&∧∧8)PEB(~-f(⊗λλ4H*∧ε(:_e`βS)$@⊂F#λ#∃