From 2f85f015bc540f694ec88ef3f71de3676a494cda Mon Sep 17 00:00:00 2001 From: "Jonathan \"Duke\" Leto" Date: Fri, 19 Apr 2019 06:21:12 -0700 Subject: [PATCH] elucidate shielding rule --- hush-v3.pdf | Bin 193389 -> 194452 bytes hush-v3.tex | 46 +++++++++++++++++++++++++++++++++++++--------- 2 files changed, 37 insertions(+), 9 deletions(-) diff --git a/hush-v3.pdf b/hush-v3.pdf index cf5ff121651ef7953ac57a88078ebdff4ba38822..6d1b9335f192d1f71217bc81903a09b576c0700f 100644 GIT binary patch delta 13067 zcmai)Wl$Zwx9)M-6nA&Gjk~+M7k7t^Q()s>++7M3FHUiHcQ5YlTJHP)&zW;SoI7(T zACmkgGx@M4$+NPai$kQ8Dg6<>ZS9pUq_0ENQX*a1V=( zJu5qqe^HdyHg>K2NqPDmJ2;sA)cto8>5#14`53|QV|Eo{JA4w@R3#gP40z!w8fs|T zc^R(IbS9iFX{6-H;OTgOz8eib_5NCC@pq6dk%n@v^mT*Rwi|SsKb&4lj;22*IL+~@ zzqSX0{9x)Sz+t%c_euDxFbRAh^a*V=q3AhuSc*IaKtD1Nr5v3Yrz$;+W_f$MZ&<*P z>%}$t6BX~}w}}a=m@uXRHJ|A0#LX)!jBY99eU$6!Ry7+uxPUb}qK)^l=E>xRTR)E? zZ@5*gy1q|Hd`qcHPBjjUM>nGTi%7P%oZUhfWfJX)?dNq!Z%yS4MW7+c!E5cvFUK;e zHq7)8yQ$QkIK)1s%mH}D(Lmy8zO93tgmZ3r}L|rJX zp;!Ngm(`pd7y_TiuqYg1w@o$_-`{olG5LyCm9O3{3Z^FV!H492!5Ig6*dHXhS z)NaVy`qqvUGc4y$|6w~h!J@^Xj97~rN;#eSH?rXZPd`SrTA_t2vCh_V%z$RCSEX%a zk1q2XfgY#c&Y~#+)R#84Yn+vcvzf$jVfKp1n^+QABJG zBN$855z?^|HSfm4=sqIZXLIOpinlOawtB$jx2iE_&R_v>O7xz! ztlgnEB%FMyrEi20oH1L(-tTw(DSVzcajemP$w|vmMe-w#>kRu_LlM)T5mwNDe6x(% zE&{z+!Lm|fQ5h20gc?JXa&BczoMa#9f?WsKvu{w|FmJ82Uh- z7cOC^>=)S;24e@x(w4k0xQCp6L4UvVe#59m1`~?@7&;_~a)#E14Td97`q|j2;c2Y* zx{ZZqPBFLVAQt1fa&y6iuog|#t$zHYlFedOXWUv87TERoW)X9Mlus?t+ndfP{4^Hm zur?$2H=oE`l=!~?gAhFjjHXFPC;M{@p0Bth5RPq9%L|r(r&0?yn&%2PSPTvhE~Y|2X+n`0Vf+Joy;rp&Y3dBsQNU$#_QJ=4#Xo=5 zxNREklSNA(3w7GEZ8TiP_nmM68qzfx5(NvF ziwsESY-R@#6a=s;S~^*~+mLZ^1Ihk#(|%WHdSKNB>pdK#|#B+~^)4UGtv zM~nhE;~awuceA_T{MWGZYIRi;Hg%UM& zW1}1{Vj;Th8CBZrG~e99>^(WrzKU`UN3!mfovc`s_6;}G#2(xGDp;8HWw=pofT1h= zIe6WnO~t2_WN^s!s!ZjP7wj1d*SJaS)w>Xe8iuq=oWGO@U-TWJrpTyT@HQ6b^!KTx z`KZKO@q7AP3?I_}mIP7nj5*r1Z?)D-kdn_0mC-MvYeonLl{~x%VFQ>Bz6gIfU9#(> zHUI7z12*chkc~W4Ov8# ztRc$;^m`uG?`CIL`Te)+G(zk$LWI=btHN}sN~rb;Qz##!wb`(cs9I=Hmz*xpB*1xTil+t zu#_)y06-A-CQKw!^}1Dim8T|dD=^tQs8BD$odMU!CG6P~)3MyyXCE|i+)>JYsiL(j z@B5v9cjnJ7w0^2zl~yr0T{K56b4#qo#=(cDb%SM)IE;5xhVt9ToW6S@forx4pNQSp zJi8Y&y{PjYv3x|FlunyAaZBrkz$%hLt(&UN-xY}+R_~#`%pQ2~iQ(GcC@LK&Bd{+r zbovy)pm`vs^QYSfT&PP)O8y|ofPdOiqf0WR>~)h?Wzb3w;; z?A!=?Q*G(p0A4Htq_@5;4?jlO<_J@NaLAjp%-y}kaFE&r1oIN}DH8F}9TN&l#ANN*AWyIJ?(EzQR&#Vc zxZ){)?8*H4eM92NC9J#u0jkh%lWJKkKUy|exqsw+lLjG{z77M$GtMuBZVhnC~lsZ|F*ahFt^CF9)8rUw^?i~?im@=f1zT7z9QI*!1B z;tG*eZS|7ue65X`Ry&g!mS%%gP6dvfpOnBG#K-GpE5L>n{2(1vGGO$Zk``k6lYrn? zi4B?_4Tj!j@`rl9QW9Jlrsc*WEtvO){K+});F32n=zK_?n`)_MyV_CXFMlQbG}nbm z`<;zZ6H|&NE7Nfj{MzNdC_u`i-E+N@x$-5WR2L-tm55XkqYOQfceOvSTcw2oN?84B z_2Aio)?Y6^Rp@HWp{T{g(0E?Hp7vLKEjiN|h3gi7Oy|aptRcyB?)YI32l#lUTKdBN@o|V#G*SIFNzc^i z*eorb(BGp&BDpHgeP#pBsleJ6HX8zMBr^aW4VUj7W+?nx-}N05*nm2*NiU$;T?G|Efs)= z|NR=07llIv0pn1&9O-saMTY?a>PpY+8^M|eJ=`r!?gLTs6$HkLnl(5eOLn9^6bpew zbR0~oX+s=jFJWuT3E9>fH#K%ARfzL^}_Q8vr#Fxx>4^X`8!E8-hCt{83ctp5!3Uy}Z5FSpg-z{~B z)(#esJ20~^qFFTly|?-jGN#3Rd+=$sLd_xJV|YyjwZ!+^NoA{&#$JZt?|ltpE|WxA zh_Q4cg_qq#54sM5%fb$nCB@Ab$wCf$PW~1IEr*_G$>{LAf?aSq56MuJQCa_u-(fV7 zFkhsvhwzSKHH{6eK76(FsKe#Z1jIxeE9xW`3(Y#oTMQmmqrW3PP;{Q_!kgEK#jF-a z5vRU2@E7e=8N(T9trVO42}^y*%uF)j&AGcEyDtXj-m=>U?4bn4$D;RS^~;0tyL}Va zZ<;g>Kayc&VF6oTw+nQ6O!B<$FM}aL3)7cM0eR zgJmZ_*|Tv&Pj_k&FrW)mG6x2J%RlNhPtUS=x^7coJpW44p`nkW3f6@L zGhvwOmU-q^_F>HXps(c0M=$(v-T6w=gUt!jJKv>X58Mo?qEoa>^3JCz3_|EXLEV0> z9_tuk!UC7bu%d9-Ep@M`6e-ArB-yuP(gAvHDP2$qzd$jXIb==j;Lnyv?0gz-xe~pp z3eW379)plePE_~EAwHRQfg(RN*Y#q7;#rO}+zV3dB&v6+9ZE#+aN>nOl`HL9oXnzWAGEyP0|rRC2I& zu*~F~$WxzdBVzFYynph0Op&HZj~*^HKmGN2%R2CZ1axgig>+}_IGp#DG+TWq2**N^ z9n5GyGraA!^`m({!JCZV$E?tiPM&JjOeINub$keB#CG%w2wDm&jF3TZ8H++0G;$$Av)E>iL!*S{m`+B=o#_|JwcCA zl6Xa4h%~f|jxt^oVoB?o^cNT=ZcOdJyz4U}Ygts>$h02uo) z00xESw-KYOmXpXvIeL{&C!NZt`M2OWQuxn!XjDw|sll4F^9Q(8=cY#^!LWJ$hi30r z)9suxxn`ZHC(eNE(|DSI->{LsysllS%KMKvCHIu%8OC!hu`*pd%pw5{cFjyKu`1;0 zBr;VHoxb`0p^_Ky_bKhq-_zt7-oa0Y`K<>H@sr$9ozoeWA01qoUc`TS{&rxX6p!$@ z&^wBYEWWaaNf1N7M^f{JtwzB*gyvUE~q6d^bYHMe-f4S?0WoJE?YsT}Cl|GicS{B6BC`Vyz^qy?$yK zg|#?PO#WGuA_!I{EeiMXt*{#CDpkbCIXf5BJ&smV|KhPYL5}fzC<%-^)U1mGk_-Ap zwj9q9a^0iCw-i^g81!VplFuY1$hwECS4o5+axq)A)!YgDr;CD%O-udS|s1!rCY)*>Ka)v)R92p}YQc)+jX9 zzJ_~|x+AOmvBzytSd9d(7F6Kj;3+R31pQI7m{fgyR}TDh*m>3^FCGE?F_S95eMpzZ zq{PY!Eh$C6aQ@5X$H5h{0=~9lH$eIp+IDp$aokwS$9B(qbO7vbyku!<>1vEpyuh(^ zZ$M;g_1q%;4B8|qxJSWZe+;9`LaL$H_pP)5m5O@nIAs22<=z0-EJ=Jd>$P~!yJJn2 z>^GiDiX_BAXryzzgcHbhC2-RNASiqPS+#OpM`WqRdBvAVcA3{BnHhLv#|;XNbvdo5jp$NtdwhSD?{_kuFCk$k2%jVQ*6~*3INEe3^0_bRhzufk}f|fL>DdB&&Ni4M^#YC zS{0n(GT81shLowXajjTnA;RBLU)wGF0hUe{ZtfsU(_{b&0FRyLerQIx9VEV#s%J z?xVXWY5t}%54>gwyXnk+GXkqMh?TILQr7?rEwUUzQex+vowjg#c>ITjohu!UXZKCbNw&*=d|wj4>rE<95p{GoVr zTh^Ori zlJ8uZz&lTS{swTIiHahIHW?z$JeqYL3NBtj{Sgv?O1z=8g|VptuF7AAQhK|j#$m*28d`Vww5Gc^|*egi^a`Tu@F14 z2b~P^${_Wug#B3|!-2lVfutd)%r~{m0Z*xiS!o(VT zwmP~I{r<=Vj?(oEV3@d!v-jxgC5qxA3zbW&MT;(ZKm5T;LmlN-}e#Pz1ee@O&7AOdmWRCV$2fXkwMr_u&G z=Lc9)4I!qV9kTp7w7cDICw|{Q1tK-iS40i-@4<9cKHL71lw|pudcpwK2E2E_D*n?) zL1~ZDt*rre;mL{L^MfvI+Iqh%E9aCAA{Z)8V9M-3YUZ@CN3!w+zRmm$==3)WQ#kvV zW%d?2{@}~Jt-dhzD^Eh{Ep#<^-t#K9d?)Z)I62>nX6c6ZbCi?PGICq{=BG>?X)XU> zH}HI753f()MtX7pS|3HN$KFO|XmNfExhrlDXVjmWw?w0YQFq2NQS^pCy6~WejUZiVMibXn+IVQ0x5XE^+J))!yO+mKs~aP7dWX22g^tBt zALadBQ3#HU>=aFNZ4XW*LB8^j^C=S~G~lTU4f?K=zx5Wyr;X?C?|y|tXA5!)qaYV; zRxv2b>~`}V!8~;R7}%Jjug->!rx-HU9I$RAJwadfI7_6)_~w6MrMl@;P3-tNv9j-2 zz$d$F-Rtty@*lROd?Zw;&FLi$QFM>Q1iMUA#*r(@U{i?mLX&PIcI;$P`3Lix+JZ@I zEf=l)aKkBKq_YJz=%+Q%dl8jHS?M_Z2a~%f+R1~&WPakBwsw7=7R4vHJ0kmr+xE3m z)^G^L&;Y{6B?F-}5*NgX(GFlX!U~62hl#lA)ow(%H-AO_v5icvIu&!*fa_)g~N z*k%r>yE+F@f=_;E?PV1WkSyk$VwauPi9jq^iE#rFHy|kV*lCiXN4Ppd#z2V&T&$n3 zhxn`lA7;;4=?sSXo35y`lv%yzII`kb5soQ6Fa~ETqI(W7R3Ms`mh{0)axlc6@DB#| zm>pqNeZ*a-r2!)X5FR3=oSp4>(aHOSE5f$Ya*MUo7RA+SJj!CJtH*BUh1)vj)z^f4 zsW}d5H+i;pRQjBKHZQ$U8sgpa)ApdZnGw$`!Fs2@YM|9d#4g&*h#Bk*dZl)D&-5AU zKwqzn^MbESQ8P5s5mWjLC6N}Q`5 zXN2>?y$lQWbG{zpoYaY)FCBV0%98^9#LUJq8aF128QG|#{q>Fkg6%KOilknbM1EJ4 zsBY45_OAQGUsSM$8T$QYk>I+Z?!r9H#(`d(TBpyqhw-s&?Uaai7cl8cagiX&nF(&} z-&MJMFs4-IpoQ&(J>+sa?ni;-jQRIiHVmKN3znlE-z%p|D@t8VkASrs;id1Nvq%mB zY7JF%@OcT21^I>vA37DIX0az!{6IABsAFQm_sT`;l!Nuo7zz%(D;CD$GY}ITxJ0>r z32X@0wSyHux78?N4es9%&Xy_|QBgIPuzYvHe!=iS2q+{xm#xP{ZjVCClFxNl%`G6g ze}*e~>8Nukuw-ZXR-{rAat%G5zL`1O=4*-PvgjJazn&Y zvX7!Z1)W|%f8mxgMg8``;^I*GmHbRF!^zV~iPpG{6&G><)a5l{&bb8PspxNtEbsg? zd>`JKN?EDX9}7m^>FAaw$k|qQA)*uX}Ny5R(gfIbQr~4iGu9-nu?JB?3-=+El zaoO{6%*Dvx9BiF8GjEXxnuH6iIG6x;c+>CzI9P(%(Ct~}^9f7*19DS;{diyKJf(R% zX(IA2^Lz|Yc^gV2iCp#{RN_-VeyrJJR$hoAAG|spzETN>YxR|`$0<~AGqC0 z>)UjIFVTBxa*>Rn_vUQ!H%V4VwM7x?vQx4k{{bJu4!kH--@e94nwFLpaF|D5A-p7! z<@@2TaB4&idFjh_isy3q?bz0iE=6##46z%3Y)X5o(qeqjos>WP=5jGXVm!X79d#oF zFOqCJy7g*ZpxS)eR*YLlx>J8^J~`U|Epvby=eDFv;~eL)T4Jt|F}&;ZqUnqkGx(HM zQ}yf76!=uHlt=#1-!AmfgQQ2|5rE|M^3D2FvH-oC#>urQ$NZ&KXi0`OMb)CVYa@FV zJ9&Q2yol^~M8WFpb??T*khtn$r`C~gj-OI#JSWb@Fo~e}^8zyNh&cz&U>yfG!I~sY zM@0!n7TK;ECl&LIR}pN+l#1<6&-5HRL#mp8sD3|1^a*Q&{?Y{!Vs-TazezwHhbM}@ zZC#Y~I0r!MZ1(;OTWgEcQ3tn-+K}W^%mf!f4u}=)`#4riL=@L_WcoC4JmOXf@2H)3 zCz=vd;;V3Z;qfcaJIcJ`KR@=EcpU8iTl;cy{deueQC-P-j|{EzNXG@H+!PXQV$9f- z+NNLKcw<{hQiVs`$fnDEQuFx%6;k|TbKVbl#pY~<$4?fX$9CF9y#D@iK+BPj6 zic5$AL={$0|ELyW1Y{kxzw-+!NN2W=-61Z&{`uG@lvq82?=13B7)Ei~Hu&XCOHbWeeX_(4J7r2itzE5=9M2Kgom|!9`O6UM z>I2>rZ%Vp-&^mO$e`LTeyeU&g$kt8v-X!)m_;2Vb25HL8!rxI_`|Z`oC|~?|JA&zD zU=zJcml5k;<#0 zDYcd`}m>OX6+5*8cRL0OFFVxm?e zDGcSrK9Cj5)ocbW3hX0E!emp8fRKUYWPs2S1;m?-Q6ZsjmjyRKy3^sI2HHUI_h1wH zV^ip{-eKs4ldAQ?@?vtWVinIEH7a32Zc56^Oo92NX8TKiAl9}*d=4CBe1-jKbWX(> zD^3qHgt1%5#S6jdEJ~}{&vf4}g(^ItWfg^CB@M9z*r$3-)!r3?DnTdbo+(cq6e<4> zQD>=&fPCI#7#OHP5b906AR*rHiip(JnaJ-eI3jKj1 zg9s)~3dQ`oEFEO!Lf1(D4B-m}Dg>nk2V(saQz(_C!4I63rYP#c&(r;pw48w9M)?UN zM=}66v6~-hqE`r;Ey8k+20H|fHt5&WsWxS6ir}y_n(@*}o*#U1cm?}clg=j7E_z)#n!JZS$(J92GDj^L(!;*e zY_3n+i;%&4&epK1!F|z{xsld0h zbxbvoSQFnVE6gIhB^RXWHpiqAuz zy02Du4S5WpG-&s4rp`ZU>m<>a)xaGSYQM);UGC1Wh!%%mnwgLrF2}m*>hJm6TjUp6 zrGkx|bzREcsr)7UuF~FNA3dM{AV0`f1{GB=J#>yhu(nx(lA!%K9+X;`8q-nvP`W*w z!P6RRJi_0%iR@Tj*Y9rG8$k7c=jH|NQxVIuw=*DlOKrTt2jd>gL!|gqQedwzcMJz9 z6WWVE2f%Koxvr3%h}}A3*Kw3q%kIwi^v%B#Jg%=5qSGLTq*Luv|8q#-rm9U7;q^53 zYCzuEn59Y+sg2H?kpFH)_o>5*+Lx5jWucgWtTL8pJMfI7WcsG1D*tuk`s;KXk#QXG z3_jxlHfQnDN=t1@8rV7c18n5LU?m6<{5J2El>X`iM&&(Uwf0|YL_&ck6aVDik>Kgn zUcZ?4Gtd|4qgRWWe-A^R<;ay4&K14$}KQU7~oZxLDCIR=x&M$z)D+%WEx-snjN<`gRaaR`C|L( z1p-UNCwcb?3GLE*($oUENF<-Ge<^A<`GwE+F5EthQ^^h&|9VF;@zE#~%@V`eOS2@7 z8&2>F9BbwGeewQrw(mfwFl~#a?d`40?@CtR@ai^@JGD)c4ufmgUN(A~iij8ya6))|l?!6`z*F@g_==S7@@H;m*5j(>Qc) zdbtRHszbNAxUetX?^3>wo13&ilZ|qAN-1qTpH!Xc$edP2rEvkgMdQ9L5Gf0@I`Lc> z5TaDSUl2$5frmEj#?jNWV_P>Yev~Aj4l9&*%QwVyN&=f7)wC_EQvEKQ=HiERO18wn z`}=Ad2einmXSy$#ya{|W+4wx>Zv~D$>)K2zb zqKKvtlu`X+Q}`F9@@BPwN70v+M*0o0`1=)PkZAk@xIC`sAkk^o0l~agYiNJCpl)oT zT=ci1qhX-BUSOXgV21yC#lV)--7hlZk*xUYJIw_kt8q1n#_?^lJ^tpq4+ZLeORI2E zGfmk9d8Z@FNzlrl;b(rnkCWL#M+5#?=3}6*0)Om@*A>g&M|;+r3uj8)t20P5Thn_C znq;$|{5gcpM5#AWYn|Q1qg%!c|1;lzcZ89%iIP$1OyuXF9QVKS=pVaYI@=T!X2>;9 z%QX+=0VEVB&woI~DIa9ZDIZjT0u(3TzXZDl90s){1jWYH0-S=HM1tbt_%DpL1~rQW z#m&`nbO2=m1Ix|E$E2D-HuhX7EHEv7;!H_nElYeJ1H~q55l%tAwR3K)Sqd=WvE`Ob5s{#N{ zNu(!CP_aOAL&M7uASHl7doHGObR;%n6M`H==&hmn@Hl+{D?jm4GM*rEprtkyCtP0` zRxvBy%h#`QT|WRU6#VLeqUs+f+tTu?g}-f0gZICI@a+QUdw4=#;AR8qs#yA(U?gov zxu6BEWq5%}qVyRLB!Djsy8ZZJd>QeP?ULbNRnyEY*iatPQqjP{n!vJOMw|Nj`5jUy zd||>stY8+=5dw^8IvSv4kP4kEXOe1?rfgk8q3M>qRAi=j_hSaVYi=k}uzf;2oi|iC z7WckzS{)V*fc`r*Jq9a9D=XtQMK|c~bRtd6x!H@Ie-y;OY6-{3{ILXjz=sm=J$tnvp`kGT{LQ~kK z`%xpfml#NXiVeVKQizgeF{DldcqLw|1F0(!wmS1&Su;isRmN$*_Q7!TjGjs)>` zdEO6=IRZF7((ba&I`=UH#+|!ao$mPZZ$Gc`yZ69u!ueBfM%PfExPFPOa`a8}yIHJO zXV}KK*v1EcfVNznN7Ss&={{5AB1m0_f1dN-1wLawQ(0p=qi1HZ0uUXJLUZE-UJfF* zKW|R%??!3f@BHfXEXRqTli@^exwuB5|5AmM7OHr8#zkI*8jBN98EJ4;YGlZlwCuc>GH*{$&-c@3 zAwhx3vGtfMFP%Y$hYaw~j<>E+!+$>f`4#I=atUsojE{#za?kIt__Gyn55i;U_EcPM zt{-Nz=lhj#FDTJNL);fM?vvy${%jW{s(@4-1)lAMS!&Ae5OH$0HuhJ5dwzpm+p%Cx zgVy)Ln>CH0_Z3~DuV>=d=6k7j@_j?4gQHEWOT5Pe2CcPF5GqE0IZ~mFYwZ@j~lWQ!7+K;@JIXjSOFTQ&dymNXIBq4j;0k?RJ#t++6(`RhPQL z$25l?;8_P6>66meePXEej8k{g_!Ggz5vvSkv?0z9-(yk#(4}y`+q8X6O)=UQ-lf&^ z4`Gc!|K#mtan{*kq>Xii!WUNZeOgFp?oBt+F>EVQzR)cD{5(x~s}pRq-=|+rEjyn- z5YqP%!1%tA6ggd-Q4onx!5nomPc5v?*A95V#A5jLq9gKV^BSZ!bX}8Kb58*Wj5)~7 zug`5+CHsZ(8&#b&3HN;@0f_w5BUZbWYSl0dTl>?)Yt|d>!YbBZjlz$OP?*TQn8|-s zJJ8)^d~eL$%eM5NPHFJqlbHRw_)C{q+e}J?Jv4hPPj)?X9)p!dr)(2ac(S5W8)TTX z#d7C-k0ce#q1e=wX?HQRpg#f5e(%C=upMsn+)v1*s-Lfv;q+AGH!1sFetzsIFx2FE zpFoViF6VpRXfuhnR+<1SFyyp8%WN$)pf{YOglfGBT9U}|n9zH2Sz@;48qgce@j$g+ z1Zhj;X#ESd{{x3|v{0>AL1_{>mJ@mpE@{lxd;@wzIhOxGFbGE?M`}Xv(FKRunr%RD z;9olXFEpPhg1?hk#FOt^kwx9ZsXOMupm740up*_*TC>L7{FTaN9v3>SjQ;Bo6#Vve z+erEegzB{RQ=+gK)NwhpU|NI{5(gj>7Evzsny+s#;W)2nWVkoTs-gTA$3ORzQYxZC zs`l0u%*TBANw$-1xUk1BG)hv5f>&2>wdlQ)*7%5Dby}k*TG4f0B<#XoIuEZotUE#7wmoPR1R^(Ur(2l%L1^Gp$ls)#$>mYq0t=MWY{zk1eM8t(I6H>s69ov zJ-%&Ei`KbCWn8q5J>|j)n5bPFV^iy_=wp2mh0a_v$F=78f~oD4Uu9(R9L_>he0qNC zvSB+#Jv;OTFH~!?D|f$a&|~UP?QMj_#41HTY3M_yJ<=K&a+!Qy{68{>n>+pb8j2ju z&0`2))v)!oBxB?LM{DSi8L*LYkg@#()t#N)|ACzU2o-eztDKXS^FOnHeYgM4B*_c} zdAa%6#dvr*`MB96#U!O9q`4*7x!I+8B-td`*rlX-g~|T^OHlsV=)e8DoIuY1^6ye7 z$>}Gnp-EL5AwVJpwJ~=-XIY$YvWrP(>q* zd>M%Eg1Z6z)XS6seYee~3x&E_rLw~uD5Y#3(AyL23fBNYK0>4mu~dbe?g3M_oTGa9 z0E~iK6U^#wUml9;Qs&;zNUHr delta 11983 zcmajFV{k68-?dxYwr$(C-Q8W=-1S}Cwy|rw-L-8ScWv|iKREA~b7s!BPgmWJ2hc(@Z$F~C@O(;J?^XaKQVy78M_DE_;Kq!2VB zV3?EHCV5%gZayW_S?>BI)rL=oHG}B}4Yst7n7?h*{LF*cqH=C?x?V1|)4nS^uKJ z0)=P%qrxaq)c~%JG}=QLl4-&A{Oev_BX}JI?6Et>_4A!BPCs05D{TD{SPYYp?fvco z-`)=q9g=55vksT!ES@toiCI`gI<^DmWiaJuYu9^3^$_@mG1LJvdAcSoe{e-IASIAEN+`lMApowzF+wQjoJoDDuwS9?1` zN0KmaM<4xk;Sp@00iq3t+z(~+n;zk=pfe5)V#gpqEuy7ARveG`@!H0RraqrEB~X5y-T|QzU9R?as)WB2KlO zf|VS-0Kn97NO}F=px#=fyUC752_0v=e(ak-SH!%Y00x(+iP|_onj&z(@C5vb(si|? z5clBV-&NIUJ0To_M6XG2K$PD=f?8Zge^}`G-hy^G)J;dC6_hU)Q=awYJfi96&k?yW zCqgypn579lPpF!PdiQr77)PSYqpb7#)T$74004Vh+>oH@g23}%Y+iW;kkw(XYG}ZESvs4l%F{-+&wJ$cgE(0HI&|m&7qQ&iy${ zF~F(~a-;{@QLtMe8I}^3-FHG_9h7op-eEn4p8?L0tdV9;Jj18#KNg*0X5!hBz7_3m&eAc`T<{fS^OgLPlGBrqAckWTF1(Et}Ru7uNePaoQql8aqd<42)RPDfT z?Hp=$mAfFG7cN6eE*IGq1VUmYDik~}xgYOim^@Z_zON8paH}LP#1GQ=V%wy?7165T z^4TlP-SEp3$po@ckr|ZZsgyji1N4-`T#yuBp~KeO@Wj##I(%W(XhyhuyZ`llqQZio z7&q^RT*sK}aDRxpbP%@RGsFyjX&@iv<5+;

^IzDleNDiNvU{Zi60JwAhG0K>c3* z?IP37h2G8w#tpkQ#P~tX%9lI~vf=B24MIQ}sCw$|$<^&)Pvig7SykN71}N+{;&`2Z z(El{bPyiT<4|W~0QPIXAysyrY9h)wvpdO_XcOB|zLAypZjOPh?_4sjjy}KR1SdAD3 zSZXB>SS;V44@ze(lZ1+e0VNXcgJ;-+@$+addTg7zs&*HfG8+{JA(rpvVIQLJ5q?XH z{RPe{dDh|1J==uPD@R~3P#SQ$doTKL4!EYdIS72r`TGCBg9ZkUw$$I6ON-xR90}X6 zU#q9H0>RL+SXf9{NE}UU-~4W!O{N0$2jH|uQV@&jYj0Z+~u$TQNv;F5+j z(V~vvljMp*<2pv{l=1@M@k*2W&3bmYhO_lMETqZ%AyeRE)^LRtM?w9fP-fpb3hUk& z6Eh>#XH)_8x zBU;N_Ob1tOo*R4Dz)a(Ir1Ujb6^-S<=YN3TrZ?`Pn3y%2*;N<`*#7(RU;D z_`jDLjD;f+6}`z38VHrF2aVBWgG33Ntc`@xRE&)bkHgCI|FI8jES&%Iptazx$8Ad8 zZyOe-4=3p$4?65X-S3fm9Pk9jM+R?S3MH7xpK~IIhEpfk?RI7ralpBN@CTIDRbHQ; zcj7ucXFENdtI}LGZAu$~Z*EgXa%awfrS|{b`8@Lb8Vs-d%9c6a$+gG3 zw*Q*C=oPZULqTX7uo&*K>XoY6L~Pp{-l(E zb=Q-L;AD+cWkY@fW|%ZH$XN~Y=8Jz8m@V5eBz%V#3MFr{54;m}pK9oR>x0P9AN08W z`scL_tT4*_AeKHyy{@evDax$BgTr-xsh$s>Mk%vdmN%avzafEC>`JeBYkzc(t!1eq z#>aX%p7ZWe6?rd10b7k%meO>|r6Rr~gL|U^bRy;A;>t|Wz}j6#W2qE$Hl==g%Dn9) z5IRWiageXuj7&MTKoQD#Sr4nJ1CiuwiA?S*R3+c3!>-_MA_AOS2M058va2%UXLCyc zXA8lot$}drpmnQ_w}o77`f686U@Je~p4j%5Vb@h{^R$ZsK)a4Mevo>@T+kjIF#=&DYjrHdt%#X>l0bs9L8PGcjT2x6=K`k|2Q+oOy-4WWvalwR;0({)eB8sH7jdb+gJPUj# z5zf?Z$ys;2BXA?RS2k|lf8yvZ_0c&ZzcF!z0k{B^jxy;^|IMqUEYjW?t2nV^!s&YQ zi{+$Nas=*T+-g(~4!$)P2y)-@8MJ1SFbGCIJxLyzZU|8p9SXcy{TMQ?LI9cQpgYRl zR`yF%@amfzPp(%eGBJW@Ppb=SoK|r=Vj|zEpSX?d8N0a3#r!otkSWJu_AnC}ZLNV3 zFwQEn>h{$woI~EA2}WisTHAjWd1q~ByUo>;&_SNgwi<^LiC5Q2_ON z?<286ca*Pj#njrbjR9+YFx(b;e@hIK55;ehZ9x*tbv&Sek7C%c+mvokC=t~INLV%O z{}^#~N#E2Sap)>BL>>yrh|e37>Hv>x)!bzzwB2#uN8ENM%G`1{7{Hq~77QrQcG67gi3 z)Dx;@y7hkd0(H=@NV#H~;0gp^9W2dFcrEJQ@$+nUM3k4|vrUS|$+%!2Hcc)0R;q3b z`%$J7N~zyflW|2kEAOLD8Fl09+be z3xek896(0d;p-8+jHB8OykU8|6;29qpEPuD)(M6b0Q7%Wwljb^Z{cv;sGbWdL3J=JAviR$AoHbm3n9TQ`OP$S$3s=#fa)nz%(x1GLIzG+L8!Jq*}%Aj z>9CiDe;BKt&r~GLED%apfD&$YW&Rks=J+)D7v|j-FC#>Gd$l!eR)_LMhIyn}A`$pQ%wc$7h(>Rj{4o!Tj(Gqk;_vUJ)g*jbw0 zQOtRA%LF8Q%_ebo_~%nG`@yKaNYA|XM{Mnqr~8-SoTPsuN>do#r`-rIG1_A3j94Zp z&a$rr{O)1g5wCm(&zi8m*OMni{_gpvc6j^r16oGDpf&+o^1qsI9g2Ubi0fVld5{)( zc2CIypP4(vbISu~Bu+?aXW^>WSi~#>2`U!8qH{}9$7q22M@uQw&#JRr`Sa0f|$B1uNS&PPq zono_s(cgK(mUBQkp$hdKiGjSK35AIJ5hYsRn%xEPKDw?Lkr#qe)5UA#9-`xH0U0Y1 z2f8iEbFe4)Ejy{_c_Cx4YQpMw>*Y|zWsfKbm~A%js9$O}eoP4rf`8biQ=QxCPlNxK z0u4;Lt5Eoao2h1JCWu$xH9CnBiMAwLirj1oR~x?Xv?)XhRM1XB9rCY5+i$V;K|`xG@jdr<<3@PiF>$o|>vq(dK1&TE7G|O&M!T%CuVWS; zV-U%8PRL&)v=tI2DXLB-&3X=ZxB+kzQ-WN88{EK@tJ6Z2d~@=3dCYsJWc+iHPRFr} zy6ygQkS%g|$|d`8;Y}m@e!~WB1*DRoVp8qtVnzLqb}_DyyjVE;A;%gcy(AUA79!Tn7;TA9K*}0UG#GTqnJkDxCS9iS*h9TeDK`5Cwy)3AEfFi1wTVnz$rMLD1!D^*8*@dCdPIOIn*RY!w2p82Z*zmg z#`gdAFKn!=T>s-=rgh}wk6Kax&DNnn!H|G%;t6&w`!x0JRHHi{cv8b8v>@9=E*5Ds zx0T?|e!u%x(^Zx>9Q2J-reo<+L=SuWYAy%5dVm4rxdVNByL&r)@UL@=0b9~O!0&!p zbRY`h=WT%QnXj9$Cv;n{r%zk9lq0rz;fLafI7Z0Z->ww^3fT)su9qb8C!v(Vs(|mk z8ux0k!)*7T%M5?DPtD&4-wUg`M4IC%4QeNR!ygYGR6v&>e3{2wY@)51&6{mNK!${i z`%&va@AU@z>tzv#>x0QsJP!o}0A`^Np4>I@avIur+r!jLc;^R}Z{t6QMnMwy z5zkc}t=$mdjq5-wbjN@=Kmxv5Y)t&mxA0 zK+aRB>11;ue|Y?phrf}>&_`Ox+w0k5pVYa$znfQpVEY=>H)zfe7)m>qnkjj$8wB$>=UZ?QT zN6X4_3^Z!b7=cm9l2I#s@~lfk$vc_)hIHMB8h3A8`EG@ZqJS8&fwM${AUNoPBZO}3 zP{#D*BodRGoOv0a=Dkt)!gd>qWOfMM1_uKqCfg=%cZq*78V->73ipGvzf>G&f*?xW ze1Go~#*gLR*%u_Itw*F^4_{t^P$pf;mz{iif#w%f8(Iz(lpEi&oy203g7K=zG~(h; z(}yifQs?00>q^6XBL0audFnxjcYIXM4lY=L@m+AjcezAivWS1ecQIeaEw*~+gXghOq(zd>X4Ad8oL8v&Y=SoM%<6?7q1Ug{A z6%h8f_-TA_N;rS7h}QvYSk za4lXWB`S@lDB;(DA3h%_9YbKqjTIwv~vF-ksRXNrw9%BecQTGmfrhwP5-;~dH5FpccsR* zzK605S=6{Ik_`FF?C+cbNPakKyTe~0id1Qr>#A7TaRG$!i4~+x5c}Z8sVEL@rO#^F z0jLl%FBJM%hHsY7p(NK~4Hq5m(c5+ZTJ&infrzt2Fqe2j9cTdI=u*>|^dysK99#}w zsx8w@`vqdATK|l8_}D<2(m5K1vd$yiKZQnMxVkkYdd3gaShuUo&_<_j_7L=?v&*ma z(9Mhu&RvU_skt>+P@q^~JY2%3N4X%u#spknw~Pc1jdsJx*fP_FkgV>0J?e7dtNNec zo0TB5!rPf!zmx#KC>JD9&WfftFqyT`D-r(v>wSBp3SkLE=R+BhPQMaBYBbS=gJuR8u*T9(F-pS5mOj zMU`FiTdZ;w0JWoJ>hhSp#4|dN{8IGd z9uH0MitT3FPx;@f1C%`&L!u2s0`v_Olsz0t3bYML3M@$;l)bGm5$sYhIaYuciS_?} zYqN22{jVJ9(c5&{9WCsIy|WRJYs8j-c9WwW;>kB(yM@cYVx zvX|qKq`e#QMj;I{I($5n;uaBM>t|R@;>E&Ow&qE6_!<6@-ISpc%;QvYxIT zm@vrIWs0s6sgM|Yb2KJkS4;KM1RJlgP!jAFNTZTBfjSkND6y5MUh_bToDS)xFtI@| z?TD*_AcFNlPLSYMYJ}7hp_KOZSm^1hAtY1~o;GOx5fFt2C#r;mj|GPT#Z=jnfqw_l z6!!x}a6lOqG&++tf@lheKsJ~AgKbDVg`Zp9trb$77Y2&tmt=wg`_TrCFiIgWSR&l} z2n0DGzaW;S0^$ltq&5@9*r^FJXM-R}?r8$##4IJt#9P#i2!AC6p-u2YwipqeaCoK^ zY~sp86g{>UlMI01zJ+U=$!O?^GtLhrj>`ZlSNFo?s58RckSP)HAYiD%T}0L8yWzq3 z&_KEaD8}xlZfq%) zw-P4nU+x}q>9_{o%ZuLxaz62u>&1GPcNt9BsqITIUJE7-%c{%P=}f!n&5m$W_-G50 z>1Vq9CfgF#0K&WCO3k(%oBdJ`gfc*6KZD$E9Yt(aUOA$>v^)MxrIvnbjI*Q$yuR#+ z5#(-{W^j>9yz+7{FZdT{oJls_=CFTKepD6SCW&e7e*OJwx6+*Z$Kd(;Dx86h`$pUh z=X{4`=IjMqU6r9GhSGU3U0v5IwTOI%!)_$@dreTMGor1rgMzo3Z|oQVrFQrLLc z(DfVYS>wx8Q6Q;^(kfcg%LlVhR8Zk0HLx!G-{0_1H{Pnt+dp5=ipvx|ch-*tj*rasn7QPXHEoU zy!a=$7Pn}A*a{XFS{~}F-iFU!;-lD`3~xDHR6Q`)`&_ujRY0%5+8$uM!t|2Ujc5LK zy#L}kjsaZkg#Bv^x}Row+SF+dWZ(YnzIk~CalzP+gu8pAEUfZpbCb~j(=UbnyT~W+ z&ug&>&vf`A?BE6pBL62#K1P!>bN-wj?J~hp`Pa3>U2HCl22VAMuLdz63d=|~LssMZ zjFXPY3@qc-U-{}wHDkcUKw2n0ydhR0g9%*_O*EP_O=*bQM7R>7&w15gyajRj*|#p> zwPNs3^qsYk63sF6KcD8F>G)Ur@36=zVc#+02kOsxSXpdhnc1C`T%BBF0b^NQHgS35 z3if!;w0SO9&>D}mEX?uTfdy5wKrAcL=;j2>zg!lW)v*OGB;x>MV{A7mTkBUxiy#A7 zd3z8nyA#41N`tbqoe%~7UbM6w5QcsB>g$HFm&`~bdDuQZdkNQWL!Dg+PXIed$A|7Q}5R720IT_b^j)tXQSiW~SPZ;~S#17^a6Tp()jj zh(}{4cCFeFOfCS(63YmOi_8aZ+nkvZA z?E|ryNIXx3oG77WTIda}kM8QwH+<`FkL8aHn3C^jNw;(P^^NAGogi!u9n-m5-Cg)i50C1B;IWIk{R$Lf;&a%ywea^n`0h@pq}vv<-) z-CHr;+#&#MHving2m8cjd+4P>Ht^Rtl83Fp415V?{ikjS(9aT!_U*msZ*cT~N>K2KN1@eeMNx zEUeHI0`FXW|4Gh7r%wP;Y8K-YXxK5!kjjCuw=M@@Mhck7>VC&yPLX)gnPxbzQZ@!l znJDtFH9Owip--JRH%&9Fc&|)88tQIThby$#6y`efxr-!YOMW~jwzedKLO!@5^(`Xt zDw5pha9!k%!fh539?j!Ii2FP?=PUD{n4kRxg#QD-!k6FBFI#82;u`c!3((Ue24_fB z5lIGoVThJq+4ixZ#G6THKQ;G__7oVnH7fz(aR`l75}z;BuciK^5Fpz3vu}iQEu|IE zj6DWHBI_!Z{ZMRXHB-m_<}^uHYbJNJ;wDPLH)X3{RIX^@RtQet1owtrAA=; ziYar2Do|f|17AW-&7zq9-BUOSS-}j?$Y>83SOm1!wUB;kNBu*YLq*9}usJ19De@{c zNqLPNFoPRYI8kq|BG%yp4|r)VDaJk}_aeZN>LvQ6gRU;ilsH9fC7dtX5S4UtB2{y59!^tU{F7OdDF0<>-E*i!9Wi8LkS0frOW|t+WcuL7ajT+Ng zJnHrHX#(dD0pJ{m++TX6?z1hex@BRTj`BB&shWwbN`!>|V@{QP< zIJ9FKD^Hd59zHhz)6et<)cphKdvNR#ePP3`=$%mcv1i3Rt`_y@V*H6sKEi+gm=d0i zvi5&>RuNMAbG+NBNgaHBWD;rL+oH4j6Xl-&&;Q}^I2n2t2`PH=S|zF`wUu+cJz~*q zCZ^2J-@yRe#NKJ%p0nMIgHg)E*}<&%xG1sT+@Q&`X8i}`NV6gz&fFoL0|-f6vaw9frb5`HF>7#L$XmQi-v3%aQpt z7c0Vv(v(ZsNL3-Vp zR6Wt<&_Y5~`(;T~f@Wp*^l5`++>Xd@Rglm*D8RlT;$mDf5O7dWv5m;${NX~K9@XJ; zFQrYW->t)>x|g+}J6}cjRHb;1Nnu$BMqTcLR52D^f1fRcM9*Ozm^uW8%E)=jG+3kz zv@{wJgx7UKpu$WKR^Cay19qykiF`W^alm|Z_5N`V^TcDDr}=1p@MM|Jj*s_W_rFaJ z78n1`$=#lyE^_Q4q*YjY#$}8g230)G*EZVv{?#Q{q!Z(3^A8%6fy;+UrlJ0?0W<$y%uTTgcsm zQO&#A+}G&!|Bi9SsCpW&czJ(HmLs^jAta7nkw*xl$Iu~B0z1~JgbUtPDKML*Q?bKp z&yH)7%~5jhdwt(Hq9V)=@-2_y!ez=oV&*Wb@XBI72K~jDJd~pR03?{&=7~IUYMPQ` z?~uE%G^#Z+zK26w1-Kh7gGR%Mqq}Zz9U~IyP)vf2tosu6U;4AMSH#9Q!D7g2OzoAA zv+F~q2(!^xcCb3-GP<_MIU-`*5n`NRnbK_}jGXe!Br#BeLb^7^p!xnIr89<>x`o;q zV7lx#yhVE62iX}UCFp0(>4ScSDR+X(-y>k!WA_cLyN$Ji1fc%v$Ds-c9>B0b85F){ zreF!jVAJVCJW>&Xm2VFvc7lGnMSsabsr`w&WA51c)z&VPrft65EcJ`9_%BOqc;8w7 z>BaT_Wc=h`hKDJ(sa9!SwmUw0B5Yd~M!dD?hoa_5_zoW@98Sb8&OV^0+6-J*z3uL@ zgjSc$4LfJa6<{;HxGwx+gNUfAw$n+R5TKF!`m;=`q@8D9bJS2zk8G$ooAxr9+eWTh zj~E$Ki&}yt`j1pq*zlmvW2RQ@jUe>^!@tltTf+znC zJ94~`EmvGD#B(wyGhdu67%jPmGCOi~{|lCh=TuB)J~@>!TJjBLcK#RK_%CQM)eQYG zD8ASia-n8rX(~|P)kR0%q_HXEmy;qL9nzL?VWJuQh2dDDzzc4M(sitI!kIm6WZ#>(YNW4hgyz~xEor@+UEfg2aK^PfBh~_Tj_YZR z9yso!cAAQF7j_DL|>qj8?h#UIZpA$=tjd#y*G?2%-F zOMZD&d^4*UuFs)ejz?QkxD`)-*j$O+QVr}jt}j&~qay?3mPPx$4l2RU2I*aG;u<3Z z9|i<+=#;Riwkt-cE4QJIzrpp8C$|45_QlDa4*mp2ipa@h0LQFu?QKrN%E^@Pes{^jfhXWu<0d z@B`Jq0E(~cuh*w3R%*O~RO(2enTFlwP3><`4zv;Qi*1$ywkA`xy#F5&K9S59@Om-OKg}8ZH#nS)i;l z0&e>69h>`jruyTJ8cI3=vi?;aHGRJIo}okxw<3!hASVqmY{B8;hl6<6RS-DAW*)w|t-w^VG)`7jGCB!LAVs1XAZn#AsLP