From 09243d6710d0a368b45e5e45ad5a8bae17a6746a Mon Sep 17 00:00:00 2001 From: Yash Patil <40046473+ypatil12@users.noreply.github.com> Date: Tue, 18 Feb 2025 22:51:09 -0500 Subject: [PATCH] docs: add first edge case --- docs/core/accounting/SlashingEdgeCase.md | 48 +++++++++++++++++++++++ docs/images/avs-bc-slash.png | Bin 0 -> 35858 bytes 2 files changed, 48 insertions(+) create mode 100644 docs/core/accounting/SlashingEdgeCase.md create mode 100644 docs/images/avs-bc-slash.png diff --git a/docs/core/accounting/SlashingEdgeCase.md b/docs/core/accounting/SlashingEdgeCase.md new file mode 100644 index 000000000..1dc9a9de3 --- /dev/null +++ b/docs/core/accounting/SlashingEdgeCase.md @@ -0,0 +1,48 @@ +# Dual Slashing Edge Case + +This document describes edge cases surrounding the slashing of a staker for native ETH by the beacon chain (BC) and an AVS. + +## Prior Reading + +* [ELIP-002: Slashing via Unique Stake and Operator Sets](https://github.com/eigenfoundation/ELIPs/blob/main/ELIPs/ELIP-002.md) +* [ELIP-004: Slashing-Aware EigenPods](https://github.com/eigenfoundation/ELIPs/blob/main/ELIPs/ELIP-004.md) +* [Shares Accounting](./SharesAccounting.md) + +## Scenario + +Consider a staker, Alice who is in the following state: + +1. Alice has verified a validator. `withdrawble: 32 ETH` +2. Alice's operator is slashed for 75%. `withdrawable: 8 ETH` + a. `depositShares: 32` + b. `maxMagnitude: 0.25` + c. `BCSF: 1` + d. `DSF: 1` + e. `withdrawable = 32 * 0.25 * 1 * 1 = 8 ETH` +3. Alice is slashed by 16 ETH on the beacon chain + +## Restaking + +We define restaking as **reusing staked ETH as security for AVSs. Thus, the same Native ETH that is securing the BC (beacon chain) can also be slashed by an AVS, with priority burning rights going to the BC.** + +In the above scenario, let's say the Alice now proves a checkpoint. + +4. A checkpoint of BC state is proven. `withdrawable: 4 ETH` + a. `depositShares: 16` + b. `maxMagnitude: 0.25` + c. `BCSF: 1` + d. `DSF: 1` + e. `withdrawable = 16 * 0.25 * 1 * 1 = 4 ETH` + +The checkpoint slash has devalued Alice's currently withdrawable assets by 50%. The AVS slashes from what's left due to the BC getting priority burning rights. Thus, AVSs must factor Native ETH (or an LST) being slashed by the beacon chain when designing their slashing conditions. The below diagram illustrates this behavior: + +
+ +
Note that the portion that is marked as BC Slash and BC + AVS Slash has priority burning rights by the beacon chain. 12 ETH has been slashed “twice”, but this is by design given our definition of restaking.
+
+ +The behavior of BC and AVS slashings for Native ETH mimics the behavior of slashings for an LST in isolation (see below for an additional edge case). This ensures that Native ETH security is not disadvantaged compared to LST security. ELIP-004 explains this in [more detail](https://github.com/eigenfoundation/ELIPs/blob/main/ELIPs/ELIP-004.md#why-do-eigenpods-need-to-upgrade). + +## Asynchronous Proofs + + diff --git a/docs/images/avs-bc-slash.png b/docs/images/avs-bc-slash.png new file mode 100644 index 0000000000000000000000000000000000000000..e53cedaae1704a72d9ef1a42ba5392ea1bc47ef0 GIT binary patch literal 35858 zcmb?@Wmr^Q8!m_-(jg&8cbA}agMy^w&;rsSFm!iGNvU*64v56i0@B?eEe+D$XN})? z>eu;mysp<*hM7Hk_Fm8P+_fe`RaqVzgA4-+2?_i4D;aepqz5`kNXRGXXyB1$)wko| ze?l&@IxcS=-n+P&IGH0UnYcLGI=I+cy`y$DcXGCJu;=6C;pXIKr?zx)adZ~q;3*97q&a-sM)DpqLu2CON4YXr35&(YWMJH03P;14niG59+^ zlgAkG)8*6uuRq2I4P=TNspl&&$j3Z;d{P{IveRHUE6~F6!+B#+y;O(iaWEP-Ss}}C zxuyc_QG5%xG5)PhXY|u;B%=~7j@VfeF2hp$*ocS`pTEVLCF3G*3*JPu>>dw^r#zza zR^6-L;p|Cd`IN}4CY9lR^jf#hDgWVDZ6hB|yG((6<#Y(f6J}}-NLAc^^R;rCWlsXb zXsIq=&nKqXJe5pC3}W`eg++dw$yXJUKYh<;Eb`5I5)yb!<$5y3TgJDBhO20hBxC{o`(lc)00sI(a3r1HJUmXVRU@Mhmr{KWY2 zX5a7rZA;7D)ef)mPb8uW@EP+S5GP*_yjbk+qVi)``YMoQ{M>o{4LGH!xn>`|7%Fj2 zho;lyE9y=g*ZrpRNJ6+i=hkR`l=X)qNOkea&Xfvj!Y3w`;^EU_Y22OyrLU`Z*ZV5* z8(lUrQ;S9wMw5kV(rs;RDI{YKMHJlxEb^CYbhtt+5Ly=xBY-mFYT@kBIKUePK zcq6*|`J8jCwdhgkB$~^Z-5gxada|^r-ffuZa<5^ZG4*^S(@(2UMo~6fD#Yw$bEL=q zv1A{%`=iL6sqzy4NG*v{zvZ@&wY3x@ty(5?VUvzXqGDNYo5|7y4n2X1?Z9MdH+0X5 z5^e3-aO&{$-Sb6174Fc-WsYzPWPI_Bfv?(E=lfiK_qVmnXNFClnw>EeY-_zqZ_5(* zmKBcs`GyM5+pbR~6iG6eoY(tD3zWz&!2%Xt*R6Lc`hAbLbO_06z>%EyN^k5k&i2CH z2{`@CXA$H1j52m=BaF&7?$l+636hl%%nKWVk-g`R{BEo8G%DO1eg zHr-gf)vMa19W7>u_TCvkzC^#y2?jH0D9&uTJ<}t(dtPHdPv&>O=y$)%s!2fSQKA{=`^Upq#$#xf(A&E(8|( zfN67%Y*c-3GRIDD3RmV%lD47Rxps-xKoYAa>r{rQ*PjhxkE1*`hlNI1nxJ#Nq0g!2 zRPbX${d~m~S526{F30)7a(n0wpZA3$|6;SxwZ7lo<+q)atuYvduq*s`mDNgbDo<{g zv&r@MW_P8lv)!F9qFyy6Zu<+cDyy-2NVRoR-fr3phm79^kwk3upu4Pm5%Z~Mqor*- z1$W22Kd9^7XB|TgjYLl>@Pu_CzdP?6?{p!k`i_3K6smR#r-447#h^<_SXfEdU@A}h z0rcW(r+mVjPCn*&+K^Xzu~yl(^>|_Y@6HrM&z>YkC9qa4m*=&6L#(n70N0i zhryn<_jk9V>+M%7K2u9gV;Q-ifxtejbk=poQtkJGp7h(oVGeErkD0HBzTNo&F1JkW z2531NpU|$Q0v@31-(H=*-HG1lxJ%_U5SkiH7ba}9#}z$^^W5h)$^0q6xK@2+7+Y;K z)hSNw=jML@J=2t`RQE?gm+2v;>B1vQ_n-Xcy-%w5>YUb`lGt@eO+U-@bok50)PjBt z{b>NM($($R?(B9@kxHf*JI}m668Z;}>^}YYvXw zSPaiU+?!XABIZyxt*F|Q#709i6~hX=+b$^|pMK^Nt5Kq*KMB{TKdfP~CNJZBbv z-W1g4*QPbwL3m#(ha@;mKGc&Urkw-YsR9BiR2KNZtQqO-{@y$l? zNcm40#-1(j*m&VpG>WI;w;kxqfs02foQF!y*0@Nw+dg-DdGN)g5x5`Iubh-%H^R`CV%Pftor5a$ke{6Oy+QT>7bEsxIZlI&;9WSKmr2mPI! z_fj?k>SFMrWWXe88r0Hdl2nWx{}uN#7PmLG&;9LraegPsLkz4zS?-^@)}+)i4r`Vn zZBLCBP{u|gmoP(-@}6Vi$&+><*;T1hGn?FU`#;^;!>nOqncY(HEZ2Qk0XrB|5iiop zSQX1Wqcng!O77xLYsS?d5ZD)969aftM z`*|^UB9j>$z>@g1DwTq_q~Z6FJvazpp^}5u9d_Z8*@(4PFp~(XL@cZLmMTOc+IeWT zmqOB{-K6Dl&Z$O*3t&N`3|+>8q_6S^^K zjN?sdUeZX2o=uyI?RRB4Ml-dxlAwgoH$3JMK$Vr}ai1rDKrBT<85_B~c_l?M4Ek`aB=b0mv?3Ln^@^(t;d0R6U)P*jEQ8R(oY>#W zqJV)pAkP^@eKDXF+Kr6QRj+(b?_(cF|=X0C;v74HJbPsx!Zg+?6Jk|0x39 zPV|h$hs`~@{TgtKIy+wUmdRr|gk;<%;(SNh#cmlo+w9X&1*WOkNtO*k^|;eoZ$3ux zc54cu_v_Yao?x9SxQWrv2oiU3e)oO6&XM|X7&JQMix9M!RXK`~cJIkw2l!vYPONtZ z2j)l|+RV?QlGSsGwQ2iqJe6tH@T_Jk^I5+y?YOvLTR+b(7@GNEvEtBPbif?sFP>@S zd&$sh>Uedo=g^eDO}6af*&p?GR}Bq`Kc-Q|=G+|2iDEgTNnB`}>a6A7T-{>@R^!W9 zu`A2KF0af^9Pzu0+~%(S`k#6EdM+P^~N9A-c#n<&u|?U`CegvguT0 z?EqBn>T^1w{dj$hZOq@NkKDe?^=a#|*!|6M@h{X~S7Sde^}O)k=eQI?W^kkIv^Jaa zCgPUNm1=n_tbORXAzR|;t4y&bh?s(EmYANpAzKqKHYN$@iF@hUZ{wLg)q4d!i@);j z*cE;PcE86Ds%a}}iSE8r_JxOsOQCcIXIGPzxkn@wQ1eEaR)mLl^Ki!uH5eezXK%Kx z<~wy~P6x`$$ixKj3GguPM=)imqAc(%V3|JVA;vNtai_65BEfNDqNVNn`5O1-p;>Pt zOYsB-%B5N?n~>0#<;b)#*>DO<3n)CZBXE5l01-o<vHVCgc(CDs{EMqv7T%PwUW;#&kmfTK!U%BEf7_CgF;CyB zQjl9X!;Sn2Wzk2pWBRPKLLYNxMCAk*3I@?e0;VeCYTU=8v-v<~L`eVM8jzyHT2mxi zR-6VS63i(yX{enBj+}|Skt)k{6Qsg*!p()Rvf>#+Ef~C(M&1rY#VlsS3D)@8hU)e~ z>rp*=Q+D~YAUx;Q?&S|&&EA*eKAw&dAMxqr^181G@bT3w1$}Se_1hBN57}+;I9I+~ zPq0E6Jp5WaJg!f7Hby4GwYWs6INK$`dAR_F2Tf*y`F+u^!2l;H;=CRWkPye6fPVYm zS%;P+tFeM2o7Ck}T>YtmCL&A={67$5PhPX`EJg=(Z7dydh}A)=_Apzb3QEsSn#-+k znIiV>9eO;27}_xT;$N}`+U162y?j3blUSYpZmRxGIUT8tA0dH!L?QmN%Boem`9Tlh z*9l{n-7^Fq+7o*cCcQ%li;Qv1fAKRNT;uK$hsd+$0P>Q}&7c9M+`EX2_3iP>psF`jud$?HB#vz2)g z4NiljBZ@@j&_;z92r=mFEK%5PulRVTB*g{>})Wd3zkKss$y!9R;L6&!j!n>F&lOw(o}rn^tM+2_W}M z?wy&fOt?Lkg;dd1kp-|I*3nw0A=IEY0L| zo7sN3mr@9r)9-uykx?{M6~3Nj#x}v>FMB@oeH$;+(?(_4SA`xdN!H!pT~ExsFN}H! z;F@-J5Cdz%es>GdXuryLhwKj-9~Rrq)^r$Y*|mpaCy4v`UIJpW z2AT~*_JLl5e@yTyCbJj$c8LTOzX+9_hEQW^E_xq-)F@PKT@gsju6I9tSNCBh^y>EF za7F#cd!<;9xAmb(;*N;xc!}Dkxy%~!*1MAI51_kjs2ERP4XaNSYqCv59?iQgdd$U0 z6x>F`xT|!QH^8vd(!A)jOC46o0hBBftb195wL#nvOE50ZslNSZI#ziuC~ zYzq7uZ}GdoxMosLBc)0Mr^+Deb(ZLJeO7cm>^Yeui&?jk;bjJ(7i(&r_#{PrXHIVJ z8en2cy-92(T>=gZ`dXkgljp0f-XezGb~0+|J)kzU2)=(sF>g(pSrGC%aZ)0Myhc-x zBzMh<@l7hVX0e9av2i+p1#~4^Wk+>`?l}4+q{{>xL4ZiAFJt#jLbB7Ct7a)dbG*aW zA^jHgCjng@9S5BW{Sm|lH?aG3XUYeS-Q~3jJ25288%j=FMXl5NGXTYWH19PlJp1%- zJFd6}(XU0{YrBcS5PQTpE5uv3TkVcNI%vo3x{paFdq^=*sFpjvbOcz%Ye0iEcZk*{ zD?EXyrdi>+m7ijEwAypXVKFWDQ08Z4bn>^>>E{pGm;pD#P?}~uhmNu9R7ltvy?OJ- z`*ESZikExYw^^nnK_UL%8U zcf<{}EybpS&4lNHj-dgYd!IC42DExT74G2n5qY z0SIj7$Lj;z&2k^f7_2TAQuHMcBuip6Nsm`?OwbLS%Uka1e}`67a8IbOEu4lPg!34o z$B=G>*uUX$p)t0awRZK;qNy^On+CdX+){JneN5(P&=loP{IgAhQ^Qb-PRsA8p!}a9 z8~CA9q*n2~_U8_4UE5SXo)Fz!P)begE6J+f1nQ;+hY;C$z^U9Y|5Tl`1(+otHHtM} zS4Vr`QciW6aOlIieH#wM(aKj2_hzl%do)ktwwMZg7ipD!dG^v#!XTGGvdgFU&LIMm z=^ZEwT6qcgw$C1$QceyNtwTR7hP29F${}O&rwl`akpD2_2k<=_aNjQarV%yiJS6%p za5%-tw+Ir~&uma%#j5KMmD7Hfyf)7px+gz=(x$_8?jOR3F`^lMsG*ho4fXrsN>|_A z?e)adU~~u4%{|31910CKg287pY`>S=!!*Nv5a?5fk8Wcy{nOiT${ug_B%h~#N3{PN zt<2uRp`e3cgkq$>v# zH>kYpBRSLZ@^XaO*~b?Ps%umSbLc#z!#-dp$9mu`P`WQ6U;c^W$^#<7VK$~g2w1)L z@_c7} z-|qVn{8g`09q2cy;LDyNIDJFlbsQ1CNoA=kvGdScz7BV~#*4v?mhbv|%Q3PZVyNii zIpMiV?LvZOdRqMf>goxtX#XjFLiG<}(H`+3h9WJkIHFwvf8+o0<0PVp%%u6w$ zfmkzI>tIypxEyGd9A<+DWT2*_^{)kQnfUBG-#u0)+lmN!!&<6iOz3VQku-jfDAg_g(BC$X~7rR^~yu3YM zWB|(Y_U}N1oJS(eI0`Hee6`A~HH>9znOb|^yLq>Kvur6|yCsR9XT$~9skuxl3bj0@ z^oj*hzw< z?}i2ylUReq*B9V&a|G&tFbPB;&D6-47_F9-zyYA`HoZv~(nMv`KLLGbVB3$@?O71G zw7w%bzCOBqHp$NfJ=Ajwl#@n7FcpDh=dElU;p~tPY4WVL{^(rmxGYr%Tm_fS zVaeNOK+QeYlC<-{2_OuiBEzP73|oVGml2-@K+6@upw_e@;iQi4vYo9N*k}Yrpw3}} z?xS027Ei`+-Th+Gdxd8x`YB%?n4sHI9jW_=T~z1rdmv>V9rbZ3!u0Ft{qAm#fU3s0 zb(*tkf><6cMY`W}O23F1oIMkwSE8e1I6E?*_vm}V!D?eMkP!9Z!)T#}il8}nD4Sn~ zNacIr(_}D2Szjt(RLKCPOBpfTRm5+rtiL2HfYWDF)cA4UZi@KcT5tU}B)!8_g9 zo6EI6u9n2!2mae6*=hdsReM)tM*Kg>) zjQUj2Dev!WtqPE`SU_7o*XaZb5FHR*wK(inx?;7DVUX(HqaE3vc0>tC5>*bDr9Rmt zmZ^B~FeQqFtM}@3XJX%KG%sE`U8u-EKZLW2(Qdk;H5Y0Pa7D2qH=q&4(5(&{0V}Y=!_N%?IOu`yA--3W%n& zIZFMCLd;ud5@tZY=ow=F6HJ4Sp`gheFkO{UiCqS6Z;pqKexl$OQs+HFS)!w*)#z^1 z;e7Z))UtJZv85%E%gC_$OZHd1pv!9FQeckgpq2pHxtniDgpSJlAb`w$pQ2)ph*?zv zd|J~>{@j1JJ0}Z6R}SURDfKH8b|SQDI(?Hbg3bl(kg8YJX2=k4ykxvm?wBnA(2@|K z3=FTe@9Zx7Cd~mTk9q+-DXU+?tFWJgFCW+OpkYX2tuzCjIv1^rOSkgZMkBg5e7}0i z@NJm|_<#w(fa%~OUx7OctN?2;FK`TK<{Bj_UY{TB@5z^n*M#k{Bia;3eVjRJAW_@s zuLwd-;}J$IG5IAaoexxhV}?T>o0AH;?WJuV;in!v1CsUFVhyjkh8yjJr=2b|zb*s! z- z$@uGnxeCeT**HKKv>})z%BtPY0Qg&12nAxJHLjFOr7?u_J!~=nE|%x{9tZF*J^_`t z7%8N6Z}Y(kYMCWiVllY>Dx#-}@;ihz=77*{`?BM<;-8x?iOpc{Aef8MjmtsSo{uH; zvyid>Nn}j2r$GZFgvsW2A6Ll_)E$?tge>LB@-SRI2-idAstdEB4AE8}bRCEyUMFX^ zKZ~`A33o&JC??=kY8G2G8YX`UAwRj7o*6)!jSobu%}go;F}~zH5QS6#31Zp#?!|(; zwCFx)tL5vmFIItP^k=^d&i;_wML4GeD*%hb5y;RLCtp;171u_UQylUBmR?9pw=|SH zJOgbVPi&Y6z0v*fPchmjG?a?IWEQ$9m{F|{gIkV`(El}g&UP1vZ14%{5bXoZjcJo5 znk(E#b%cO7hIsyzG9bWuF0;r~AOzj+1~^@0a7jW5_xv%*B0cCfm6)?o{6C&bg)UKi zbli887B)+5DR9P5uF1a;r~sp(4%hX+&qHO`A0M4hX4?70@iYZFrE>{H*m@8IdoE=12DLTt7DlM-Yt$w77^IN&qP87oW-U@ zR!xOl{U%Q+biM$1?Iko;IDZkM_!f!>}6 zI>@$AFf(?Zwux;o{EzOmqa ztR!yBfl4=v%8mtbm@NJLThP?hbPWOawQ26bv{)U^mfk)G%BmumoD-y_Bu3t9+f(KH zhmWLWWZZBdFg)0TpI@Tw?<&RjgZlKMUZILIGUV-D90v8uaxu~I2M2NlL=(E|-zLTP zt=mJ>M_caAinPlkUH0bGh1`5KMaz@4N`aBz+vssTJ_J+h#*nw+=AAP%IlM@6>GpRmydC&#O5^f6_PF%YwhQ^t>@t1*}&j}+0IlJ4GEm@ zwjM9@fbON083rh}qpX}<=VI(o507alJj3TqR~yI?B^yF znLH5`utoY;Sw`k8D7i!}*Rwm020!$8AiY6@mR3&je9zAO>LehPL)*yvyV~y>3hIHc zQ%R_poeJPe-c-T>o;dV zk&C4uYjWlTTM`81eVMH{Jh*HP8hP;vZdNmG=iVOyI|@Ae1OjDRIy!TJjns?O88qbz zU3Y&Ub<@SZ0_ey^r2=6_ckP3)LHsj8r$V`hWwQjWWx#4i;Eo9*2tu~#qK*TWnc{79 zf-Jh3%@oZ1XXRr(5;6wboTd2b)DnqWeSX_%)pXJjD=-AWDHHOqpKp%jZr|l;arCAM z{_q9@`L?ZV^t@EK7ht#=)T87Vepe?}(3uzd#5f$L%#Z!G`0Yfd5vT$PZb@KD7hZCQ z-vLNK+2=^*6-_MguoAfH^j75E_y07b4pbq1D@k;Nz*I*x8f*3(222ZVsn5LT2w(BF zp_l?Hz&nL&d(+>gv0aQRj01)|MnuE2!U$v#aTf915&|f7H4P7Qj;LuT)?-Y}w;Y-; zvv)xG9`;G}B?||$r?tL1`-uQeG*mEeN$S@6to&CE>fL}~nS-Fs<8|2`;z*S*A$&M$ zqsYjEDWLXxFu5AD>MyxFF$^LWpug}+9eoy9-WC-8*s8Ui$$_~@wFdmtgz=X#PM`4T zJR8guFYo2f(!-%aL!^-=h^Cr-ye1~XK4>tH`KtyUDv{c(mApZT49{W1GkI)U!Kn|= zlER04RmJQhalvi|#KCFN=e%fp83heXH9&z6bLul=lRXc27-^gF zCv_Ba+tb&a!U&PW4;6C#Ti9uP8OV2Dpppq&Z=Eg%wW$E)sx^=pnxt@y;agXOSAqCM zvG4&vIG@0k>ROCN-X9qm87(&wC#vH1zXPo{R(vJ??@;m-?HjAR#z{Q<__6Y3;&6pM zci(6=jDo(kIMJ6^fV0Uw5y5kEj370PirW4GG%2{OSEHf?1>|vrZe~|Ca3!Cv}tS)z~JV; z!tpC@rZ}OmQxWWUujSsiS_z15=a*@qnI~sUhZS%9%71sXF;vdUD+=A#sM~=xsJnPc z|BK%-VE&sfnFl$ETx!#f3#lsFJ^is-uZGSB=>HssnGXfzj@taPWznT?c|-nNi8su{ zkbH1 zepsj!88p;19(Izm($524uU-b>C#nZ}2xJzo0`%!T$nWO6E1PNq%cQYHc3t%lPEmw# zNFopu5uw(HR281Bs5(^VyrF@910)U2TAGX%kYI`j^s;N{7?=yi$yGs*aErBCzy$6c z%~xaqZTIlF5fT0S@J9xr75@tZ(g*-bOThZF8~6u%g*2j>iCtt9iRLynz4>sqy3HSOmk~e)mf#H2~HHyz4%IUueKV)C|5^Ue4A- zOX{h1hCzR-Hr$;25uG``@1-{FsHMdnT z=#4l5_f~rgNRZ}>X`t=VL%03JFh?O`&VOMEq!&cvajuZ;laZ3*Z`?1NHB) zmL?7$7ZpGma((^&L@;SocpS7o%9jXufQZCRR9lW8g(mY>iJ4r!{E!8l0$!80hk`y= zRePq~uoA!fyJGV)nFxYnMS?OjbbrWCL@W_Q)AF`NqbT77OtPlEFQ9!DL#0z?O6GyY z#9E?Vo~+u2Xew^c^+o5*;Tr4)GMskTujEd*vg$GAhi*37XRxAI6fj)8Ob%W!R@G4V zQ>#7`_0*Vms6p)_;eea8@$zK!-quixdXkD!&ietkGHSm-T2<wz%bIGl4Xb~p_AY*WD{Y@_wc8V`LaO^_}-7~yN&JU|&92xTkN z!3LjC|Li@_2xD9g>BV_9O*jv!h zHAv=xNCF(YV8>uBY7SN8w((GG@^Lt0RU=In^-uS9(-HG9V%oIF5uBpIjC7lf9hKai z81tSwem8$HA#jkdVh0fp4Fm6Kv0%;U{0F5|V8NS#sHD@7=y~A}{1M*py*D4vb=X{5 z7eJs@>hYtxuvbc?!lq4RDswOH+I{HYXV_H-OYKw!x_cJ+2#R^T=r#Uq=Au<6bEU{T zgbiDYnA)uFeveJxgfcB4bv$nEHalid((ZOdDYSKxG~Q|4!Rv#6}8nG zMgPy~a;XpuhC<8`$sN*%F^-`XngHEQtOdL1X%c#BQjld+srIZB?`k?O(awnTaM%uGd!dU-K$EDknU1`J+>i7kFF}W+-utns12my%T#$roV z3OYfAwpl5KiHp_%V21kq+3F{i;$(W4q3k#92vcB?Q$~9x@AW5*m)vg)T3Ms35k5oy zyN*c8S`eDk0a0W6OuxIjD{{%WR-JEx&g+F0VfOOpzjc_ozWd$#S^>0h!=mE}7G+XQ{6-~nwt^@vmGCC|Yv zAW*8+Rl_0SiysOY2g85eqIg(wv4?Sa;ZPqSY=cx8DBG zV{5-6#K(7m@E5l=wwMUUt9}fnD2vtD9iLY5o6k83bn>ndF_bh-p6MyTM1Q5D!{~7~ z6GK3pED1F5+;t9ZSg`j&tC#h#7cd>4u&BQR3IhW^zRG=rf$r+|1Y3d-l$Aw2&)?G) zra!{~Y_P{?J`bB0{lw`$e9+EU&29jW=9}&P)q`bm4aL-S6fIV5C%IEpma@+z1DUTD z?`lB29g4A|Xk(PnrWqZz7gE2{5Zm`FlyE}wAyhw2dG-Y!>^&!hJ{MS0H2CWp32Y@q*hg18FhyoXAv%I}8^*?D-R^AuBp^B>NAq@1WCDSXB-J14P+q^JaY|gb70T5W0-azP< z%NFEQ6MU{?ia47q&7%}Lqnp_}+ZX*7lTjYU6lH;IH-1l=?tS0CD@&+sQ#qI`1v+BJn8a#GS!>0{3yr)divi!{ zXiEB8OeOIue=?hiLdrAPGq@!~N?n7{o`#lwA!6$--Wt>FwkCUOMOulM0Duipn4_hL z?YnMMagWJE*m=8fmN6#FW;tnP^V|<}D5=(EBcCK2`OVW<3}r-Ro^MasIGt=3T_h9a z;vVlzITR-oh`4=!ce%Dc(4vWnDuy&twu;%cFUY5lN{GgugES&VBu$Je4Zr#m_3`LW z)R>00)^eL0!v(i|ciZZniD4PUcZ_Ns#J^+ix#clsL$PKO=A@P%Vrids@nXv$2djqI zO9hvX@bH8l)0%YvH2s5wD|w^qBcDjVE~c)L{qH=fN$hgTo@S}Z4Cye9?nwTZQSz9& zn|IRgQf^t49A?>i_%xXF(N7weK?VU?y~S6v=j#i339m@ZTs ziyYO>NLtywx4fO1?af)|)bT@$q4 z{o!=yZJTh8>m49D@;32u74n-E4C-^=^Zy*VlGD8mF)2Gs4*JVY&^T)Rds8d zYPVCQt5%_ezkPRe9LT!$Vah;o z4J4DTN57tzw{R9whiZvbxiUcSe+uOO3L9~k@&h*v14+ZOT#M6$=QUGEsgOZ^_Y5Y9 zOKo3~YW6&A8ROt{@Vm{f*!_5mOp4rMuiR=5=l3peulI_@yf54$!re71-w)6qZ?v#_ z9KXZr=g2(1yWH>qkIQQA8&+Ay*T1S5TMit6vk&IT5`yv|5Zkys?7AJz?_*{$sIORD zj2%ojN}8T#I~o)&SNNc5Ie*>=YFF+0cK}Kka00W{Vfvttf&B(7w^vOxi@ptDW7SjY z^SMvjZic}%@pOv`sF+$knj$<@_Gq0Yv=-34VjkNtYW!#}vx0 z@A~bvS>B$2pys=jmd9rBQQP@?c}m|453o5X4+IL0PbJGN?(cF(;U91(wkvFBbb2z4 z?$s4Z^~UmEtDI*0p8Z9gXj?L{nvFORLZEN;{Cb*Z!n`Z7>-O^=rlwqd zrm?cU8KPlk6UAE~dh>MN10N;?C8Ia;t$R((l|ilaRqKT)<9F$>Fte_hru$~fvjuU$ zx0sO}?IeR~^wGMCP!>PJtX{R^!?a*&thztQ^xs+Ct65DSWa1w4+q_q}yFp9Q5rS%w z@n3DUdk?0yhR({lo!wqA=@ao|X)ArL4`UmO(((!`aoxSc)Q%N{3^_1)Ph+EizPHpi z0I$g!lP3PWk?0tLdz>SC%0-}jZvwA;foMKIA5qpHg5tzt3SrB|b*`McZgn(|1|=_n zcrcW$as@m<6pU;Ga%bvwPUbzy9ACeHeGzmZcop7q4{}LIz!*aa(O@dG6HroeepAWB z*%TsV08Qo=lB@!d4tk)^R07d6-ye#G=SjV1Pc}tS4Yd8IzivIo`mYnkhP1ZgrGx zUJ~*F%_~>FtGoYm6g}xQukr24m`d>kD~L4}d+sJMD6VFB?ZpGBwFskB&}sD`RUB-z z*cKCo8;$@gNQ9AA*h#&6Tg*tpL>M5`DGNJTta=<+~rj|cQz5#$XfWVyK9 z4O*~3d{Im^2n}0(rM7AdWXjx(*}_jwGevZpr{Nb>ydy=c00b*XO^sGa&JT>H!HXqX`7AE&xKDW$KEdcxzg9l2xL{cAcdp6QEJ9 zKm_HGUQBH7gojI%%^(1j%M4|fOA)tWN=2)6JGI0)GaFEU z>33ED@8I#fs^;3Vk|C7M>xTj6Byh0v0F1SMHYtrON-utM5QL$P*k4%h2gK!3kPXu` zuJXOTDz+qagt*9Y|K&jn}x&ICQ9f+36rcXztSXo$D2 z*jSSM;MpzY5;#%s(;61`shvoyKR2gfdtu)UBrl(Q3oF^1pHD6bMi#o=biHN zk@Q#*9{m~ZgHjeXbOdSA0K2~qX`=pfpDs~wH73$i?%EyA9a^hvWN2uebyACM2jgVl zzhu#W>XZ7ZX#qEs&9t?)Q-t5Hi_V6wi_V44BS(XYS6Ss~_M{Strtj9xsA|o!uj6==g0wm= z3{d%ApGNmLBXffeQ{k#RpG{_qxm@5 zwhY)emIAg36#0iFEBz3HdQO})`dlkN7v*Y;o7q7gOsjjP^q#uWgcqfYw2{*l2;fhU z?9pyA3rZq+4g!Gmh#@H8iMvxaUJ5P#I+pcB8Z)TgTxDz|?5OO^7Fd)}OsyV@l zERgZ6z58q4y;M5BI)7b_!9X}?SPSv6y7|j}di>&8 zu2&jbtOKzROU6|wF*G%s`BJuhP7$>L{4ic!h+M<_Q~Ft-T}`-WshX1R%gfA_XrlME zrd>l}8b2$AL9`3QpZzoM>vl>}v-^?U7>bKK2~9*t1Od7j9BopGk33>#%C>VvPX*Rm zDgrV;d?nKJo8#K40o$EE-z+%w?JVDsvfJ#$Uab_WTMPdU1v3}vJuVsj%n!2<-rcmv zX#_AwR|p{eE*tsx)c((X?1TRbI=*SXHw*l7z-P}#u8bE` z(5XlG#Ce)1Q%Pc5O}}HY?<{k+D}}N9*@jU7%K=p)BTdj8uth9gv&c_vn(w~dy=_yi zwBAE6(yfdBa`0ou@ed_TtC?RPiixvznU^28MhQF6VMpmJw&XRtG!^~}wrVp=9BuTp z$H_*#gVXY5%a{tJU0`UF{h;X+*0<^pE!7dX4NFJ77v6sW09*Di+m}2T+V7>44dJ}x zmG5pVC|tY1iZcFhEjD@<14pgqa3o0lARB1JseY6~Bo#VN61M#BI(j~R9|{_UB!A*Izn-iNrP zm%`Bcpp~LtI0|N~4@21$mb!f8$Dg{smx^$ES#-LJq-k30H1iG|P7YHYUCUTN-y^Kl zlLD<{s!n0h)pnuCZ-zqH1QSt9MGS17VkOY)(Guy4bq<7HdIGireme3-(xZr+wl#3hAZOeqH*@b>DGxQdVud z`jL{A{E zESSPdCwn4K$%bQ~73xfVQ?5E&5G;BGrVDRylKoii?v`VYTTNEdkE0W`s;}6(--RqNAuMv%Yo+oHAV`AYFBtTwuLJ(FD~z3Y zh-Derwv+_;Bb|#bR|F3R(|hR%wQgR$NJ%cU&t=X@6S%V`|7tgo01Hbu5ezk6a^=!c0wbC}>vXpL zIP?7Q!j_tL7->cLgK(OtXwcGU90RXZQ^9l2_R$url!woudjepQv&#$P}+>w+BbI_5TkV)ZJ9J zA%9v1!aHq4T3if4uqK4@VfxWpp@#i4`&7?pJ?bH1`IFgYD<^}q`uEyEny97Ckxy9K zW|7xA`5&pGH9sX?sV|AGTW>|TChwSe#MZU(mJ-v=Z-@OmJzDY)>fMpLZD0<&>FX*Y4J-@vjP2I;1wX#(sQ_My)_CAJr__9x*Z#_@5hq!-HRW^PS>94Z5l8zZ&a)B_CEAE`V6c86tud6#o+< zv|pxK17ojXM|vxSkPQm+4q-2W!a^_5b+xwjQJuSiXNKYbR86gNW0>Z@3#QoXyar@U zW*iN_ZS%jY$-h!vSkBWd=SkktulrYDMLpK(B{cRlAemJiUU=@>NP1iI5M>s%^g9TT z0tdCQi2g)62j=P$tA= z9vd`!4mceuair--HV_y^wkqJONyI@!_!WHT++>t4W)N>Hni<@iC=<0plK16_J zTT4<7h)0Isod@E3832vbbUI#F@&I2Huv$6wXc%Onn3z;DqBDULOH~17REPvJ5wDqA z4(LkrtLMo~J3Kozd*9~k+FON6+z$Zm)IiNfSVYS!5Z>16kJ|qYDWQiK!BLy!<&YjvW_N)7_?DJ@Y25;uU z{^>fkWMBMq79$(9vaw6wgaUMcqlFlUML(s$fZg+Tz<-MGo!5HTK3sz^IyC@p@gVZm znx)e1I%b4_poao zM2`{QX@Q~ss@+GX)6gs*`2x^Wj*^t z37dYP4urDjBK|HdLj#S%O*k;1?A$uK<2N8I-oO^1taaO&1W7t8THr4w;7|y40|Lhe zC}cda`L=Muv(96NpC;;+u^frTK#XWV5h3h+`J@Dxx_U~9?_TY> zPN&N{HN(`3^G34g4OGDNcLeyKG`Y+s&@q@JuAL1I`c2W5KJ^5UvpC=i{z z=~@Sjgha!aJmd-|Qprg|+MYCh3Sfow%;5+tPA=@u?-sn!U3RL|fJ;S4n-oAf;igD2>4)~rmUgNdQlUFYs<_W%qmBu$N{ZIjNF_;7bw$oN{_9F^Jd)tqz z_UyA)l$G%bVP|hgtiqnTm^dsQzzySoJ-Ds>`&O#~m8W?dk@Kpq03q4@f|7f~2JCr% zu$tn( ztYvV=LW(CZC8;a1-b0>*CwGg=br-p+M@gMdW=4>-Lz@&GQWD_K~> zbv7f3LqEIR8qxe7f>f*%sLfe676^&M*yB4ZE-`UpkK~b<@JneI`3GZl1|x*$=e|W# z4m^kK1BIEpa;-*_)@TJLu=BZsI$7{`eYd9kiCgdB$Rd1Tzz{sgB0Fr(Wt8B)eRB%4 zUoHF>U|3G8BZ9&XQ@&gRAMGUZ*h;p)GXs`6w-YV5Ak1ngXm6~OnZ-<)sC?wOuA;2u z&H12fAZD_s9jWUMv^w?b7t*dR;6=3vlor0CS~{*>Lga-qPd!Yx(b5w$^P2@kWH#I3 zt!bmKV&bKuY4mr735#cigNd6LdJk1oxDqZGu8618cOto!Vbl!K@15SXs`G%9#qm0@ z0PX_KrI&{p*Ga}~h5AGddX@OqVbwz%r%&lxb%1VWU}9)H-N^x@p2aP}$b6dRjXD7m zw{xg%Uf}3;j7LTj>4NBMD~XRSUq0#rt{pp*_eo8(YhDrX1XiWN;ztf7X=;7Bh+=gY zm6k9yGp+UvbTKS`W!mU>q0)?r$pYRHIsMctbl2rs4jI_4k5|PC~pW#(;|`#`ufL)PXz!v~WPB54eyO9oQQX9Y_+$cb5Xq z$FR^g`{N<}-C~=EsduR{oOnh9SDW3adiAhhzw_GVf-~vWpIMX%%QDtKZMJgIcRNsd z-Os4dB#}1a!Z*f);AZq!=kMCLOY?QQnRvPyI8`*0^6GMQIxKY292F79Gz;gk-fvcc znmNaP-H|{iyP)R^Z|qhQmLRu27ZV*n5(lO3GK z?D@`EaD;;Q&i7`J17hO&d#Ap*@XKAIPOIwr_(9%~go3{`2K@`20d|cQF@5UQw)}$A zmJmBn^@J|AikKRKMZwm6&1lmG1V<+k_o<(i(XQh{_7H#&P1=G`M$ zx67-K-%cvXxq@YIfo~16{VcY{04hg?stWSGh;C8bd>wsUX3bM(4DDOD!f!nnXmMa- zx)U~72wq4L&MxgwBT;YdOt`dp=D#^?{b=q%%0+^-$vi0FZA6m4K@@h_S*<9iY!~eGR1cPm=eQD5UiTtuFG* z1PMu?VuV%jbYMe2>w4ZyFx31#yeV{8)tmwi^@0KqD&m^j(?*6-QuOICtlJxK zywQ~H*J+13iGp-%$SuII;XJ5*px9~gxi2#Z??H~~&!3z^KeUP8uUZd*v&n#}-^J`_ z4pkKHE$XCd+tGn-HaXNmx*SLqh?D0_Nkz5Lce~2^3mfDlkNtJ<0fI`sWUh!Y29pmJ zBMNmU{wQ~kx9sDS7&mEPcTyofc&m$Sc2cUKcWTTPapr9yRkyya%EY)Y{9wZ(m-Lxnb zVhiJVluUvCO@}Oi%*2T2NW9jAq%lJ z;vGFhF?2btt0Gk_T@q4;9n6m(YYvp}!_miY0YMQI{d#EG&y9jIhl+G-;`o54guaC3HrGyiRD>JjFI#TS4B8eg zM*JXIS?VC3t)#xJfuk?jOFpM;7z1D1OX#RG;Nx^fn;+3T2mTY5t^{vGSo%+g!7D@uO$ z`g;1fZTr&!;p0TbZ7Cjfs{ttEX@-Z}r}m+lnomY33xYB|=qjQ<+!9jciBH1S3r*oo z(rtfwJDb8^vVs|fIS7am>!nL72V){7jhxGlcKyWyD}{_+JPj%|nn3ch zj1Q2ucw5rXp^@bQ#~_>zUoDVOY29)GlK0a20KnDNc=hVpnBa8DSTITrf&6Y?rXU1z z=%HR8yKqu7{hvod=D8))+ev&<9>2aZ0$}?LXx@rIi1X?W-a7>L^IRdbTDxA2U5X|| zvF*o2m$W&CI`Y5dgeBKGNV&gDwgC)HKDa>Rb+^*?ngwBHs8};D2H}#->27oxnNoRl z;EgyqTPo%|&l|JjYrygE*16-zq=~N$XOMaL?uf{((l^?g0-oe^&)=@4p%%t$U3fm`jG19zNj?%Rm4AWEdKAQZc|Txn+{n3Mnt=rXNhvcG9L z{G5>erX~K1;{_`8LAHIf%`L#IK{_u8WT}X%ZpOYdMYK{@UcO*2r2YEI=9}n>=TqQG zPU37ag`AdPPHj$toSY+ZbZG=o(OvVabrt zu^?`%`3^Q}d{8{$X^4k?TitwEn1z0+YF`~>Nib!g?*MPP7fXXh+#pAYh33uPEN6&x z>KA=e9iaXB=3_@hjS%@lmlWD+hJaqVrdCn9p2+ZYgvx1-B#h+dI!g zyhcl%UjxL^Vq^wa>hYVv-KFYjL>*9iqrTKlc6e0S-#aO`lt(4d5Fx$02DZ~~sm1|V z0=QQx5k$U6_HC8x@7W^pbq{^-(;_C5(3s{zT-a(@i1nMtjNZB3Mh^6@ub8+xf`fxQ zf#Zx>(Jia}-&$BqP1~+UDP+Yju0_Pl1gm`Oo<)&HN!oHIKP0xQ6fqqe@^yon5pXg% z(?ggQ2)-L{YWmJM5KV-02Uzhbh5B!m>?UeCqr^5t4BbR^-|x(XZ34--vnddNVBcqd zBN(yXNngH=lB)wQ^Sat2}5Q_Ai3ecW!u|jh!X&vjxXquY z2Wl6AKB=uo1E{?~jS2y!3#(p_oXhKM<(JyeZkV<+T}h@W23yNq(aWqCRJwx5ki$ne zptG<|Y!n14ndg>Gr(=ZxKhd;!H3qJ6CQJ3%#=mH=_kg06A4^QhefU$}eW{;QtCqs@ zQVm!Kq}B8!B62ZBXP}s|6cNWrX4F$aFAwjepGUroijjb7PQygWf;Ijj?4sSX$&6MN zA-V1;JUo_j_;(aX+pUyci(}u>Gt!s#sv~xeY0t*g$hq_QsO|%@fbN?bts8#wllf-2 z!k|EiI>rf7T`>K@hNDlK>S@Te$8JeAgqC>vP~rp@>fa$!?aVbC^y1g_c_80@wh-EZ zc}JwhK}7Ui&jk*)%`*q^2F9S!nPA}s4*digNFBRC$p*rh^hPBdx=cW$$p{q4A66|* zdI42Ei6Dw=DJdBA(*l5lrRZGDdwx{RWda@9MqWLOQn$6SJht-Ve)7h9i;;Kk_WKuI zxl4HhxG6Y|%I-xhnY#o_t-`H|gXi5g86-eNy&R~t=`p0#1dNyB`RDy@+*1_c4`#J+mflt;Sc7u$YvKWm0QdSn(@hD!uMNQvQ zQnCV&QoyEvlt3q*qwdL+{&fR$BU_1OLoF_PNw&@|As!RVk?}TE(bYb!q_I_;?`1e@ zY>g&G(jd0cv?RI)_#U|8l1TFEmR@|EikR5o-^yyRf`UP7XbKkk!REf~lez4K!iibf zJc%*P767rp#>??!pa~``+sgUXO;xTQuDNb2#oeMH&+aTL{Wx0msqall1a|KbMUN2m z5j>VxiSq?x{?`eT)4*%Cc^#Z&sW- zg-Lj{DujAhGBdNk6qGDURBFh{xw^Sj*$ml5+m2NkxLL9>9{ZU7#F@AMY>f1d8w&m%s#z^M1%IVg+ zU3rYdFICLh24`VaBNhU{*k;oyPLgDeYwr*U4$SjVr3864`%05IwG@Z@jDM z%C?gqxoVy5vE!p-iTmAG&}&EXvIwbO+ut_*)10sumuB+*wo$sNZWRXjzw49ern;)p z)MzE@w(q4t_eD-YwxfAX`UDuI*ti7?=s8pB%^d13DrWizs>q>wI>a~7{~N7 z$v`yuWPqIff(S)virb^r5NtABI^nqp(iZDuTQY<;oOFE{$+>%O?f_D|HZHnPJd(c| zzVq4+iRFWJ2sWL%2IOSwSP`BuEAt$aMxl=8}NhKOc9S7#vI#1Cm(`@w*%%W&?c2vz~Wg|7aj?iEQ4|a z)V$Ad$=P<0%If2als}7S0?*%#qIIi_#CjnA$yzOo1h${gQO6lUnv`dYVNfSS(W3Ng zMcQNxAbOh66r&_E08T7QLD>804E8$cnv{z4-)eq^`u>sALcHJ=OQoz-ajkZJ(fbKV zA3MeZ&EW`O3^bBs=|z7pb>C@)nz!ik+4|!WNB_#1#vTB z?*5!pV+`ZfLw&G@R+FV>Q^PH9PCgNX-dia=y?|8OrkwO>cUQURL95y?hzo88{h$+J zsRlahd#XDWvCt;K0hYuS4F)b~%f6zJF=ylk@KTQ)7ik&EpFxl$MQ{k$$_2aO_x-s?r*{J0Jc7RNi|>C_JphqR;fA81qFYNl1py|l_=0)fpE;H-BXu$$ z;2}K5wYs;1i5XzQ>MKCI=eP=w_=mA2|LKjU*B8;`!U^=KOVww5J%|^7@bq-C3*=<$ zDw~&Ro=S|M4`NUynd;Zh&)CU{Ir;89^z%TB$Pp7mPF>7# zx<9yy#!Y)k#(Fw?Fb*?&qpUd_8o>$J5uU_emFlwn;;4)ej=|G_5x#U^b5+6DuCN_O zY}s(_B*8L{Yv_jT!hdTC|4?o~l41=V(WNkd)xhtwQIgvJQ_1nkdLS{PfR)??5k?q1Ds;!bDz6=DNu5{5p z@MWj{_RT@i!zH{cxw_rq!s{3R1E6qES;(puyWE1lE8c-`B+|4xAkqXw8xBQx!6phZ zY#4rfKkY7ZQ9BOFw42$UK0TBUA3;7zn_jfjcG_0nz2f`uk3*@A%0sn8U zY3A%@Q(ka+uHWBOM!I8?RPu9G|6=F!A4K%xNdUXVWyiUiOMF(Svs(!%Dlu+X?2WJk zLhhNub88rl5-^hOH-Wgos|x|_`mzxzD=8pHz;zVBJdJ`Hwgr5oih{__WMJ9tNu^op z>lzbpx0&h*@}_=Ygp#epH!w_$m`+GF@;u#2r~<DS{y=+EKw6Qp5|)u? z=b-H~0KzqakFbog9``$L`9xHxvUkFV$DYQ=9Odt=L)2@mV3%!(eD}!zMRyx#*f-E- z6%f*QwZBL13xHZw>*%956O%Kbo#qLp(1aeZi7>0ml-)g#W0zA;v2(uHE=MI{0!~yd z3YCA%M5RScA57HhffP8m23M`I4)~IA4UcO6w;gbJj$qZsu0trn7t*e=?l{W=zBvGo zr%ofO6d}CP7cYQA60;055>_Ghbu!vg{v=>ufvial}?5iyjL4Nm|kg`l6p1F4wuw}*m12no zd)bh1gY+Lr^y9o!b?iG5I^6+~>uy%jhqXRH9QnWEN}GVe38)yt5HtVxmwkX7sSe&0 zkE~af)vJ`u9MONZBX^-mT)4DeVPE@msenw_%nwf(M-)fg1C$9bK$);}?5D zL-iYnds*3DyEC|JlAgb7UDhSEfuzmeYRtY<4|*4t1L*Pmzz;2G!5+T+es=@bXNu{A?$k6_ltt(&kn< z3~JL?cIGQ7h9&o(6YrCi4wjhMKRg2Pi^HwS*L9K4ba&!<#rvar1o?h@QCJY~&(cmY=1s;cSliS2T3z+XU zov!1ldJ@zygd`J~VP#-3;xo2!paMNw+{rp1LgMLs!nz(eCg&6umm=z>q8+Z6VNCwV zeRAizq4-2@Ou60HUWdc2(aKJPG;g*DoBn7^gNj?d@8;|l>%BJ@pAb zcKiJJBVu~VOBRbgiPG-lteB$i34H$Bi*v(e0t>5^tUMMsX~uHG=J+^nK4!e8-P)DH zty5wY*J$)k>9qglXdU4D#n{)ew%tjqI5?b6^quEL2(^E{F^7Vfcv59`P)-4L4ifij zYU_6CyyvzfWobLP3PIy=rPjxI{@NAI;Cr94-Ex$c){Ae&FfFaC(te!1KM@4xN{6YE zVE%F7J-cpr=gZ!@PFv`s&IHzx%|qRTKTA7Tyr-LF4JMjt1=ZUM6d4{TS#^32XUgRq zI`@P!V^!a;hlvha2^pZZ-Gov?8CuM&(qU24R2dk?2 zvK|SI%As7fW~ArUwBpcf-p+)Umajo8cN)Knl+wIp39MvYXT%2}Wse52UzrWT?8&GlA1sJKjba4x9jaK>Dr5t1o%* zE3U?t2&-z+b;xKFi~>U6PsfVsUTgK)S{c?bN)6^nvK^}v+f8 zJKcDWb>kb2;nzdeW#KQ9#8J9sDNk*W)f)jjt9qeNg;34d~Rv+z69%&Zn0;Ji$i3qw8KDN!k=PPb2 zx>|pXU*er}b0d|+tHsXOemgG3O#(lwOL^r33G~bCELs)#aQ>7;vns_$i#^(G2VmND zk>;vZbWL&eHF_x8B8!>T_~^>1(IG2@>_IHrGaqmnxxu`SjKELAG=rPWqEuCU!b(*P zFTLgtxDdbgr;?$Hshj>la>aE{8u(Zs-~^fthBk=d5nI>W4m&^0wtfPQr{5bBd@&Ly zkxKS_Fgy-!PObcSq@o5kdOVApuoVzkhG|s@_zeoL$IED^Ud*Ed1o17vf{2ysi*%Fs zkCzs~)i%%3DEE96zb-I>)Z|pu{O^O0O2zy9YcZsvC)fRHiIP-W7q;p=0 z51C^G19s-X%^((@X*$7B}M;%X%(Ujq%;=oXvyQYVydJGv=x`M@-jta3p0(rG* z-wQ!0$6lq5Xi9pTJWol|=grY~O%RR*ADD<)!9t-#BQ$wW2GZw?<Nk&Ba1bVW+gUDsND3%GgqP6;`Mw%hg%b_scg#LLKzo%S)DzP5& zIqhtJxAk@I#1!*(JjC}5Vd#xGgF9HQY<3hQw-69Ahr>0bwE@H#-wkP}mPt4`rq6c8 zvVy`w3pBptk3u*c3G{v+bEB`E z`b9=N;ns74%CL}de$+56@}0xOLvc^;#xQ6q?T%~8&U$3oT&z{gN*A`u(QN++W|7ms zNq}{LuLprH_T+Y`rHGFHpSOcj&@~^?J7k_JojqB^4(1_hq2#dPBfx`^4l(i~zZou1nawK|D;J&5&G5LP(Yvxsl~G?E7~)-J3^i z5a>ODIW#D8xJEd-T{pC3+Kl+SI6~s2wSllpIFuOj3%)l4^1W?gOTk`&Mayrf!z9oe zeb*k@5xqW}bLm1>IjHs*Aorg3AXA&6Mz4e+d~euRWLL3^;_>w4@G1BV<(UM689P&t z@05suK<@E2`gfmXLh3)cP2WGig6Ma=rT@Jfaxg9If4&>{b!7uiZXx>1zi)bOUYBtJ zjnF@iw_d}F(?46!{P$BF_$MUN4Z`RGZm<%KM|^U@>SGQP>CdXkd8ZCA56p&~O-4n< z2H^%2xZ!UnWa1C)>dq_?%7hlp=%Jf{W<7%iJ%jHe8uvK#<< zf$H^Ew7yvOa1KJn?vhsX)y^&>C}e14&t$ zMukZGrHlal%h{0p@3Qh$ZJ^5rOzF~fQrgM>>y|12?#3}c7eRg?!wsAPTwX&mtBRv` zf3uT}hK3W~83#?M+#3}zKnZ%27QREt?INQ8Zp|dlL0Z^kP4YDCqOdR!JGFfGd2u9r zjYnx0#xTq0mtmqBGzhduiBk}0Wh%>TSeA&>|dUL)OYJ;`ZE9OJfG z(rlh5`;V9frnOIju-`iVjxbSCwiR|_1hNxrB524dU?&pj0nyN+N{mT~PA0+oIOaom zL+TcFfE9g|-;k(nLTo2T_B%K_aQv4&now-Oe!QVhfz^ZcyMJTxNdRZ|pY!WMLc)K9 z_UI2w?ZS+x!0R?F$M5r9art*6zS6bN4KB>>PWkVN&X|<3Uq+h`C-N-|p5x#8;^nhW zl|ZLLShpfD8YzuO&BrP=mCFed#-|bG<22lTAtyhL}j`K(0ay- zd%7V2C8{&w(|YIR8;fAg5@RD{{k>R+g7?XI9cKcf zwLnJs&nrzK+UJQlK?KiaWDLre-8yz2CKxQncMVC53O+<8D6M>^& z2;WJjXUeT(Qzq17AeBd;)4i8Lr=~O@s$;y@;J{UF9my*&R)GTItKJBLOKp)>BA-9AdD{X z#&Gaz|42v0_V;fU2tq?l+wsUwt|;In0mF6BoRlGO9nvRt82sGqlgx^I9mvYCOOfyC ztllo-v6=nP6_vV-i!|@0kfCAEGyn6+P_rOB9taIcIm1GI=5B)r^q^RQtbaiROerzy z^x=MRvel|Fhf<4=Y%t#coh}6j2LV$lu-2Y~(S{pe;CzQ!r*!wdUw)w!1JG@B^w5Tz9Ob;kEUetyJkucHtukg-0R5^^Kr7%4cu_aYczwzWo2_9n3 zg&YW^XiAX@l+esi1Vi9EC5cyvo}gGkWU=&*+g+_ zRh8oXU*wrnyW!H>qcG*8U7ybl%qkMQ`B38f`#-r*Mad%IYtU^=ja~wC^u~)E2HdA_wl!~CD37(x^7t3_=&|mW^Be~F)}5N z(n34;pMUpj5RX`oY0|@$98)T=2Jc~7KD3}IYpq0 zI2nk+4B1UEjr=ISJ;n^>a4b;EJ3t_TS!V-lOg2{AuM2V;A|(>A>P_DnMF#dDMLCqY zJ6>IYe+^_KdGpT^BvDRuBvgV+M+mgM)p;adLY^Z0knK=VF>gpT$zgJbc$@IV6Rnwi zJ3_S5$Ewr0+OWeUiMxFtD3)JshF}Ye+cEH&`WD>#^g@CG8GX7%tpfNDjM*h;S44?C z-hYVxsnq+{l=ZCsJHC6$&U?QfAY4%vFb<3bA`Y&c!ZdUp6TmWF8G;B#oe1j6n4|)H zu+wHeC~a5(mxL&ov~u^XQ3Eo36b!{~f_u}dqv&G@pYMCxP>5CY8Zwws#aGf#^*|<#S@rpV}dqU4D2V4ixpk;}o;@md|*96~UTDb9QsuiZEYxV%vWkK45 zU@o8mec9WH{ewtBH0)xIUI=)=hEV}Wl{?5lTjcPtR<~`8jBuU)>@YbFij;9Z3%aA`+i(W7TElcH{bMELer7 z8ec}FU~AO4eD9};KDI0{6m6; z;1cj+#V5QhJ{Q>erkBVenm>b|*=HePl5^rKvD@0o+!^*$|?i$YVyYEa`^lSB?xV`6&2I&ypPWk{FZdYZvM=f}?Z1 zg!dl>m|;2xx6k}sZgkHVr-OCiI%{LUv44M{jo6I1()wM)IOkV!z29RG5{_oOA2=!^ z7NmE<;sou!Zmg9*2cU2w@BqF`EQXLWBOb{>apKs8;cv)%iY5qQu< zzCQwIaVPPuehnLjmOsEG`X~qv!>*GcfEjpBZ zLHu3X28+tvNy)vHvNKWdz4t2G-ZaopSk$uLET0X#2hXk;O1*bZi`}bWwf(XH=zzsw z)95M2a6zNW!OXRgQ#IX}TR=eI@DOaZ^Suv-Ez`92$QNG1@Mmt#oVmTl2e5ROw%+2k z`6J_IicNeDwCI6gSxx3+0suw-V$`+>{l|#BORfD8gvET zPxETyawh$HcdB^7AdEHiTM|-#V=gxY28iD_lHf7rk2=ypOEhsgBlv<-OH0e6+H>S= zw^Y+ytKRFB7#9P#tx6rwpwt%YQz6v2YP{q>K9JwZWz#5kn5Jc`369=(d}H$oAat$H zRv7k(9lni`iA-T*;<7xaBD z?{TMJUINm~^(ETp6{#pfcb2U( z?`{BdL-QP)Abu2tu!uic)>QgeduIaKyu({$!nkWBuI{{wuz&Mae&e?&$JITCw3_RGfIT$K z!SlQ&DfwH_y z*^@u_c33?bwwFd?#~#co>X!&ha4+AtPE*vyrqd}k79uhecdT_Wk4+z(z_Dsp1fI$MfmMn$emi7< zfpvxbHC`4~7{B&x;`AgREdrEY=#8$szzur842YVh&QF>qdfH-CvSLu8$S_Wrnma9loPvMf%069WUUdH^fvtyvSg3VWYeJ< zxV`IauZSn^=f@KeF=xLM|-Q4;*r-Ucy%XwMIsZnAhZ}BNWiz$ zft=uCaQ257aMNA(*T24BuUWn{1RK{VgM)Qa(x=?i8`fqq1drBAmJGpYb> z%hd}YPjG}-artl?im_@KXHr-}$SVW=C%4-vA_J})Gjh#~k74MKCO4ISEcjF}orm_; zGKfE5utdGspKn>khz09G_z=ZU21wf5bq&k@TLbBp*n8ee@U;mUzf8Tv*C+T9fj#NM z_e1UFkJZzhh8m!Ws)h-sKs=Kx;a9ydiFetkCcAYT<_iwZ3jYvQmq-`H;KkpeLi7(w zYd>FSH}3h_8|_q_rH*^@hL1Wfr?HZ+wrA(n*`0(?ZMkv>8_@1tMh0%5AA0ge$139C z)DvvY`*9${sFwHMlUc@0#VpD~fZLD|obk5wd5WK=lFc`)2(pJ-?M~@m#con^QOoCR949@;A5!f>Z5+SHAdL^-oSZZsvpQC z2#ZeT%XQhs>-pD9&$F8$235?q5I00VL*sojEL;PnKh_10P|ea zCLB)-F5QbHW^osqCHYARgq*Xp2$Z?q_iZHwmW?ua8T6;?yKH2J(k%ygH_+B#{dnR_ ztnPAmiig?D%I`PbNN@`>4!%i@$mtu=FXKBA6@+f027|>U0llvNxa+jtJ0JG^h)HfF za$_;GQ+7+sHMBaxxQvV%&vQJwQ_jXN#52?ZX4p8NcW6vbz4gv;m~L9yxeB8OTobrz zPHo6Fcu&>t)u*o#XVhNKhTL;l?K?k{H1n7?65E5X>x@t5!;t=OO@ZO@*;wjb!yT98|fz-WJE=dD*x_&GImL*ni4DAd22(4|9NRoBxu+j}bj9 z-$7ij5c9<*Y-TroFK)-+$v5OSd<^v+Q&AUuWOqv485VOIpEIVryW!9@H{zS&&Z>?P z2Urz-*n_EI43Fr({*W;J18oHHR`KtRo=+DW8b9$oko@8Ln}}#%h?_Kro@DL^;g_N7 z67eAo!IxVTr}~|eom4n68Sr-YS`!(O@pq`B!vl#<=X6(D{MCEu&nR9GFQ;?_&SL3T z^RM9*ofdkx0|$x=KQHQLw2)hf@)KdrEBw-DO>R$HPusJ^z=+(oJlp;2i~r?YP$j9i zUD&pO+qm;NhkmvXBlz90dkf~n*@oumC4qh@mO)q-6#_@-|pCrrv zlSW$m+KfZ$eC?wARA+#Omfnn*+PLrdx16R}ek!RV=B`B4L?8&~8=X&sICmyWXr%@9 zW6SS(dzCeN4%d0QBW4(y%f9YXs#m|msPyYn9elxteoz?=A)t(!Rn?IItr)s;7X#9R8Y1@Ic)eE2+rC`wP}sPUer!BFE97s15xK!Zp(j!o-H<;2zHX$hb!s9z05K`ixLGm}}+g*wo*Gp9BdV(7dj+ zn94;UYa0>~tb7Z;D=PQbdNcf&;UQk|R|VhojD<$u4>0o4Fh!)Kanph8(#NZ&G!u8v zLqRiJ1H(23F5V)@Z_6tJSm1|nJH4tj#`2RVpLxER-iG5$e}lP6J!q1*^x=dcdRSpM zUXwQp6a3=N{LG5K2?%%pMYY;>01+MPel+1Px!eJSH$*9ha^So@KX3<_XlW%bE6a**P=x-w9=4=QFz@tfIOL z7Kh>s&67e{PiN}^g~)qv5kHtD_6Xf(y}brKy;&IL6?Hk!myC|uHazbBFRbd>DqnK0 z()Z6U8R@4`MLlVzrXv(m>Ce|v7MF}W5R@}MO-<~-9uK(=shR|`~Re` z1YQ30LeTjw$hi-<0V^n&^@c4*))nTB!G38fn~siIwFz@x6pD*id;2h3#tFa?=cND~ zy6XT8WK@iM^VMx%+=g>oo(29#a~khrQ~t_Zac`YRZW&)9s<4i%{|6EC$TsJJfj zhM=uFexE=&&2fzN8 lvqAn>gG7#B%yPKp!$CCraxge@;S~H*lv9x{mNxbKe*kr92@3!K literal 0 HcmV?d00001