From a8bd2f32fdcf8bd0761791e1474d2043aaa394c5 Mon Sep 17 00:00:00 2001 From: Erik Johnston Date: Tue, 11 Dec 2018 10:37:31 +0000 Subject: [PATCH] Update example --- proposals/1442-state-resolution.md | 10 +++++----- proposals/images/state-res-rejected.png | Bin 7596 -> 22130 bytes 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/proposals/1442-state-resolution.md b/proposals/1442-state-resolution.md index f90533f8f..64a74d962 100644 --- a/proposals/1442-state-resolution.md +++ b/proposals/1442-state-resolution.md @@ -547,15 +547,15 @@ This gives the resolved state at _Message 3_ to be _Topic 4_. ## Example 2 -The following is an example room DAG, where time flows down the page. We assume -event `B` is initially rejected by the server (due to not passing auth against -the state), but does pass auth against its auth chain. +The following is an example room DAG, where time flows down the page. The event +`D` is initially rejected by the server (due to not passing auth against the +state), but does pass auth against its auth chain. ![state-res-rejected.png](images/state-res-rejected.png) -At `C` we first resolve the power levels, which results in `A`. When we then go +At `F` we first resolve the power levels, which results in `E`. When we then go to resolve the topics against the partially resolved state Bob has ops, and so -the resolved state include the topic change `B`, even though it was initially +the resolved state include the topic change `D`, even though it was initially rejected. diff --git a/proposals/images/state-res-rejected.png b/proposals/images/state-res-rejected.png index 057402d67a28d227948cdd7c31dddfccf9698426..e946f495ee3456b43451aa4ab734bdff66bd6133 100644 GIT binary patch literal 22130 zcmZU*cT`i&7dDy@LT^e7y+i1|ONUTJii#ptTBHV$A~kfRqX^PV0P&TgbfiTQ=}nOu zAW}prp-FG|`1|g+?jLs%7OZp5?7ioinLT?yvrnFznd(zhuu_0PAZkMcT?-Hh+ywl# zlaT;dbW12}fIlRUjrDaw*Z+P>I^Vnmfw)12x>|RG3$_Y_T5azAxYqFZ|E^jN5vJqT z{M|`r!N5pY#$ASnGE(a4rk0gGFk`U)f-tY9xlo@j155E2Q;;++)Y07+rAFmeB#9RzDwVN4UsBU;Rx-_$~V2Vm;UlfTP`%D$KD=E(gYUHv$+qEShwLS=l5qJ{(Dq+FhWLp zGOd#lotEWOE0dPy%WmO06eVCVD-L0T)Pa)Gr&tf9;1k%w=d3)(EWsFt9}-lNx@Mov)A$doN3Jw|gLFy>t$!!5|D(g%?wma+K9vbBMd%nW%>vbm= z2`RSV8~Hz3UR%iK<@_{=+TIx=VDCEHdFWHPb4rm03d6 z%sX`rlUzYMIJF<}u~$x}xH^DP+^E-*q&x@A2G7)3MDK9-x|mWQYDJdgj=)E0uS$`> zj(DXggUN#FgjLVI*kG3K2tFAKrM&8!^Q5`0c6uE1V&xr0Sj2wnAV1JXZw&hh>);^1 zD-}Y+2_guweRYrn0g4bMj7r2xHaOo;_{roO+LY?C(f3C1Uu{W^Z{Z4-) z@Dlb{I#xdBJyI$E$ucR?zK+7pa_ncE^Pq0}-BC<=>`5C&cEYi56aX*Bw_w}*Ro=jW zSrq4Mka(WsQWVL6^tOK{LFqt^lX zzb9yEz*q6O59<(n?OZq&AN3aP1=R>{5fl+S6-3=5rSgFmrOHaalyHm1zhRUOVGW}w zNMB}G1X-0mb%=MAQ+67E97Za$!_IY|y{9TM0tJ0qqyq(B4Y2sAY+t;HQFICAzw42wp3|M?S;xa`+eH(Q=?u1>G8XRgA;+ZS4B{ zs60oxTPvBzGosiJQ7+(KA+^MtEYlwe!Uk_u@v{ZpBSc+~pt;)q@_B`-SxRStcvJk+ zRj_;9;i0x{`FU9QlM?3LXZ&Mz(*EU+a$-(sX0v7dHqp>cUzrVuG4i`X_WPnu`B8ON zT9tBA@t&*=iR##UR~NmEQ`59whA*4{-tWT%G%uBc(;Q*cx}teax9)uG_~H#=D(T2D z%ugDuQ7yLcc)B0{>;9_YiG|`uX!c)Wd9;(+=heD+rY}+{&Zk7yx=U(}+|oxxUFjXu z?7K&r0r?g~^$gn#cEV5Yxr2(eEBiZjC?CTRGE}<1O6#E6d^sKygu%?PAjVb#k|F)6 zGvh}5C`TBjANwhz5jB%EU0d=sQ;qQg#0GXAs?nHs;NPfzNNW^|rv}%8x>6Z-sUq2b zT}O~5b%(IH{5Wa27Q2Iq?Y==;B9G{>x>P|Q;*uBA=A)(Mmwf?s>m_- zhU!{F)ame|=v#La+AE520|}G})vp;}((3TVX~esYTCR1K$uVjJ6d% ziexJlm+foynAp43=AwvZ@493}*0{gWIIfDk_O5SeiNx4e8k-|;Z{NCZ`9t2%BK$&s zFyqY}l~(>hhXaSYV`rD)ot zi7a^SAMsYBR+x9}aiq;^dJFgW4XVbjK(5^=-fR05jnkC@K)7wg`}}(T0o_O&n=RfR zsg0QaTg{P3Ei<8OCF|qC3fc`atBHX1Ex+OPg_`zBlWmpjtMsRKK6&U4k)@UEh=-;e z?L720>RlVx>j%o~K}YKv+e_>D;M9Y4^|htGopZbE7CnYH<0f8`*Dd{T%Y^()kJi;6 z07#*PtydbK$2!V^Sn$%TubA>=g$d7tAsb|psfDUw=tNfyMZod#x?Nf!+v-^7#?l>a zQ(Br6pX3NrBV=IM9 zQ}HRMX{lO8!b_;Wk0YN!clT~ZYCr>~Xr5i_HN>oBL@TTO{3yh8e1RO<)|R9Ecq@>= zTmHJTOwOVX!{B5!p*;PQxbdj@W^QO5-*t-gDEBH-8lvoG0}g|Zi16`N1WL>Jr|E9m z?#W9ekcfYuAdI(s|6v2$lW=~VqP`^77`X^BkiMi*&buqJ?u#6k`yP4pE_0t&O?I%v zEYa#Wd$a=#0YNFV#^vPg!T#`!XpJ0VuenJ}6-l#!Ekh(j%hxbJVJK#WYXZW?V*vYl6~E6=IzM(XFS_|IgEAX5slWJj3%GDm;sGj(ep*>Am? z_(#suUEWxt1mjGtT$3qG(`RAFUTG@KREloxJV(El!}M|v8^Zk=sUPtiRaj=VRiz{B zcE4Psnz5?2e?9}?*Wvk26WK-_@G$Oa|L;;Mf)!BZ^kKcl$BL!IALBC>&dOeYAC-WC;k)^9(%JHs1C*TSU5iZMcLX1*OI)4V)o(&L*lbvQm1hFLCyrZAw zDK3*xtn2cKjwRkP%lT1O=x(4hk-NS!=nW><_IINJ;&Ot59UMmbOv+o&`?Lk)HuCr{ zuo;r`O`Of&hC{k^PMLlFt_vm5j~GaIW;*rt!i!xS+mG3^;HMn$KlSDb&PMi+VF6l{ zbKf_`v5%s9GIQo+@I0$;kGPFG+NCp65HJK$!kHgz?!XIVbainDztfd9C(&00F?q|9 zYGgn8j3b%>$Ak3k<_PA!UqoD_{b&ewIHu&_V}EogFc-T0Fze3>II^)Ln>tZg9+Uez zkpUOwtlIT+eE!pDG9IgkI$@oOfOhPNJh)^x>hdg4_d?s6iTtNFE*9=1CklBctp1!t zq9N?zy-?{?YbT=-BA-Wj+Kx;vFVkejN*S^ zsF9|t1lH$0-Y#Pm&O zqAow#65JSRqvzXGu5(FhCyuPo#buPgGFr2tv`+7}My|egEn}WeWxwjsyU&M^mbaQ!I&X(X0I`T;-=5AKJJQzqPuq0XW!Nwl zsP?+7hBqQt(+Hm?Nk^c21^G{?3wZGR@+e6QJB}A6l#ne5Z7iF#IAyTDyJ+!|^;iS1 zz-)%}!bjYzp>+Us$F`c|ua@21rlU3y4!$~mtVxEV<>LwvtL)mZoev&YPE{^pfjsj! z55XB_{Ar}8-e%QLW02Frvr?fYn9=+ECWW|#`}cQeh5%BmY>FVFX9XODChh}v1gW@sN%^!9@gxK@aw{|mSjmJZ zjg49eTf7WjLN`~E6GS5$H^p~Wvc;>`o0VsNJYzCaCG9P>Ym9f!Vq9r=_1=>9J#e}M zWZ08xK&r;NTnV~PW@kxD7+#2ix-$SyI=*i>9g&LKfpY4#%k6kkh?@^zAYq(<1=Oe< zP&dRIlomDo0!t*%S_AJfxbvh3P_zE}bfSv4mU)*C?}UYBoccOMvA&`jgg$}YP6uo> zYK?-!Pn7Uf{TIUTHB(JUDS%9+Q)&%4sSMa4g8vE%0?|jUa35$sc*a^(!;hJ?{%7F7 zo3Xy_;A`4|#ssZO-R59EaPy1dvtUX49LGuVU+~BLiK;|U%WevGPl_5>ewT>GT%gN9 zj(qboN3u-pu&!X=E1*|`FJv_4031Sr-jU-MX>f$0KN+(O4@zA53=c3PlPMp+0-i_* zCycevc(an5VaRJYSe3#*lCEGWyYUZtT9gnd5)=V0fUs=R^}LUBF6aU<`5%DZ%W2@N zl;*V4ECB(UK}3l?(IFLguDB-^9}KYG8&3oE*7<;3*Zex=__-bod#(8o^^bi3W<1_^ z7!r-d5l*xkczK~57gq#TW0d|GShd!p%}FZ&%Z?xFU;KM9|P8d zfZeeQus3FdY+7Ttt=NK5bVoK#~L%=&X$Uk2;pSq~&_vLGIB! zt&+r%#-(tFz=%pC?W4beM7P>ON<>~R5LUb=;)915mQ6D>UE{gq-AofCI7JTsmB=4$ zul-B5wBm_WGZaylJC1TNsMg&{_*K9aon;=GBw9(#5~aN`IEZEv{?cSHPy@bye(Z61 zezN)7=N%d#sl@u{t8P|KQeiJ|D3QIU$W_!fwj@m<`U;+h%!8dW?!(Aaj_NQkJgA@W z&Ht<`YamL@!m7wUn#)>;jTDvfedu2MmgZ`83bVss;9n0u4rP`-x)It93;vO#r>7p{`1Dhj_4k#q4p` z`rfyn3ig5Zfp)WHnk%n4X{XrHRlvSzv8#jBd+NehR|ayLFvCCvHfq>%!}kD#w$3Dm zMP583UcjDdVj#<1PPTF~k5v&AOcD%}af{8ajHdzzLInAGo9G|vDM$p`PDV-W^&v_2 zjJAB3`m8vb^}2h59mEPr8C3xe@Um$eOH_{k)tlxY{viM>_&Lkka;1y50J24s+gn=k zmPiL(7^Q|@aO!*Bf6&4qT>0$TppBf4)VCp2z3c`~=EmjMN9Z`@NO0h&uTu_dDzK=m zzb_wwuc*Ur%4krE-zG`{(ImbKpFncT<%ci@IPaNysqd#rv8G308RYniSyc&Sf3+cb z>rs7S&lrM-Y|jr-FYxgeZcX{_<)!Yk-Yr!}e7nSBx|%2vu?keZWMl(QTaMzof;l^J`f(#Ws( zJC0#G2%V7mwjVqO)_{!ajuOS2i(8|^%{V6?WiY?fab%8!NRR}Q3l=)UZV-~^6o*nJ z!@X{^kQC5dFtv57u2%0k;nm#l5(R&kif31n9fVbNmfM)94jgZ zSi`cg6FQmg#!{A96MO@<7Q7~tV)2(KjkqhhAcH+g=Yo2dNvy8cagr#Aqcu)lU7Vp4 z-2zrDy=$0{)_}N~DGkLrmKPS9@$M#MM2A9KiAD$jTf*5Q+Zu@CBICz4W39}`>vfU| zTzw3=6Tw?VVUTAFDyxRi1YL{dQuuupqe3}tYS^ZT@$Rd7%|s`HgR73PR8vY6!>+2c zb#XfT9TJkP0V!5+3u$W&e$lcgKMfLbTOn>D?tzm+Ue0qY?Enp-5+fc9WHanRl&x>D zKOXOWWULXd*7{R9%GAu~16f|m$DVE4S_sZizI7H1|1mDuSUKKJ za%>`tL4QXZYg68ILjEyk&E_eECQ5@(D6Re5$!nC^;>}r)txyf_C`>x9OCYlmFMIU6 zfv>GikQPW#8GB9;(Hp_wIwri9ijNMx8%5Fwf21y_8B~M??jbNwgUtny`GO1yvs)pC`Pp-H4#vM@9Mo>2xA_BMbNex_^r>s7vN3o3) zS;ScE3%|IZRdZbtOYmj$L+9S!WB>2enOu*7--ed|lCAQx;aKZW>r{#JP`u;QuiL*@ zzAZlL%{PH6U``t3%ndSi+bxc>I?+3P$DX7N`Q-T)o1B2s!`<2Ql9Q3y*Z!{@SC?y{ zigkm&Pl8IS*Gg}vwXJT_-8o#Z>sOAHn}h%Dr`YIb61dBmIBXsCO4#^+jNNYCj65Vt z64Q}m1vxIEO9bfA^{8S@Q$=J6SWo(luQ!y#Z?28KX5owKk;Ng6*3xuKxUKAk@9XPx z9{A4BAuKYB#Z_RgcFp!f2#w}uq6WfsI?yN~=z+G*EE;W-as$CM#2c0qF zdH2JZ)V~#nlDkAJgL5GqNuNUKje?q|idBcNmktbO^)42t@1^)f_E`8K7K{F|dP+1W zuq2jwqOFGjUvwZ_j-u|NBh2INAXc|?&gjjBGQXnTNjuPiT}9D1hp!k?(RJmU!}V6s z0DGb>j!=!c>GOQv`qfdT<#mbuot635f3=gmU~^5(Bh~D!l zul5hpS4tjjsHhqZR-d4}Y|FnqN6u$c_Pe%AmS^w{UQ!RelC^N(J4gIlv453OF;x(s zRg=q2tuv6cV1%---A^6W-F)(-d^}|M*_F@t_J=+`_8f)TUYU`I(QP zB>OIAh{9-ErN@@8QcOJ8%jAoUg1>Qf>#jGIk@vsbS1u3sbIWNjT~gs1J9XkYaDICG zL&%P}nZ8`2@GtfTuTlA&(yS*wIv(DgnX~UzSFhsLGG#yhO7kAH5Fgcqpc_LySP@OW z`ceLPn(7H^Nqrg+#@P0O&ROZGgVyM&dH<|~EZud4DQK#crUm9^(Gk<}X-TmQ>=7AB zSet3ny28D?y5yG=3Bqbb-QlJE)LsO#d|u3q|`pVGe!S_Q5nrJj`X@ChruQOLxIp5+><-G@H)R2}53x&T`bwl;;1}&r zR(uUUvD=m}KIs=lLFXV6IhJNZgbYRedS?Ac6~Uo6mFlQ=Lhp z&nSdS0_tBO6fV7IS5DWdy^y_J?_j0o{^ndW2UUY8#scRL7U+2z z8@5(i_pp_>Sdq!nSe*GhnT{H<{4}H;^XZ3}*o{_4P-|V(BO-|}oVU+0VzhT2v!NB( zDknom<(yf&a-MGUJHSd&;`m=NLnDo5#(|oc;X~}SL4xwPDs}Vh7jj=kD+{IJT_1Y5 zyy9J9pF4l3CdQh^&au^S)Ifffp&w$TS;)eYx8|m);a=J1c}%M&4MfVV9jetz@tG=s z2VdZ_PJ+G6kkush%c1RdiS2|*>Aj}n&W zDl;W~WP7ThI_NRpv8fTb_;hXW)hDSuSP-~10B^MRjdH*d&WRMI0H09A*?y$P+~@}- zV1j#oz#Es19L_VeSr8ofD@d)~vUO!i$xKDR+%wu;$KjPBB)ecK=z=*TZdsV2N3nWF zgC!n}&R^!xO`{MujQdMss;$+`W{%zWLO#m${TDV6-qRZSD^OBT+3A4)#x?WFQ1NLH zHt}{)tAQ!uCr(PcH?p=J)ixM7^&G*Z;{n&QJ!H2d8|}iVXEWk^;m=Q0`zwFRP+??n z2ly@k2jV{o-&kyKH#a;;4s6PVQPpuXzNz|=5|7&$#b<6{1QhIiZ^S?%_eE zm5Qg*Tx@RnYQRV=ER5N=kgsv2l1NSL3CO)vWM!~)4|pERc|z%2nUGyR`bTGa)VFVDvz303Vzs%G ztfr=8!(I}>=2@#bztcEvaD;FISue4!4AH<{eM9ZPmTDQ?vRd~0NTXXeo%})EH}57O zFCjmvxlV&!rU|$9k%c8yWpW!{_Y#^box>x*{Hme~lJ-rYX0LAgn9$(+6<8(FFmu`*MYMe}q`3SW)u5SUbzrka;CBTi&>yq+m{aH=O;A@O{hNmxh!Np&6?A&+TZ_ZKsEdHxn3Kead0y z_?wGrv$05&(YC+|vs`6&30;wga4hKz<@Z ztgh&Fj2}-jE^)UrKk!zrUjNbF!fcK-|FhfY9}=Mf7)2bEXaA<3*}wx9_xesm+!P7F z)Mn77@$lqacpI#sVihP8_nW{}+DM8Ss2eYXV-9X99x(dr0CAC&?#2C?Ss3f3U0 z{VJ0TlLu1nkIGao5&y_G(VUWn+B$Oa#0mD-7RHJRU`b8aXF$x133XNgaY0RqgF*lz zq)M?EqV%GRqeHtw1-0Wc`){@9rP0AB;K{khS~@sJW2Ig<=`8R`uuaSrB9Y zlR{iXBOdEGiQWOfi!uf*mLsX0v`Ap1r2=@-2?l3{vfH=Epe>I8GtYpYoz2jr{?+g# z*z>-rssprFMVh>=Nbf|)Wjy4trt7Jq&aJ^RM_GR2U;^yylCH>BKLQnz|I?5?yp3JJ z25AG6Ua@lWTOR?t1!iqLHZsDH0VQ#;EtepR2+DIF@OQ(!ygL%Tss2FQe%HH6Z=hfVhO?0Xu-30d4Mj zR5!So8d!r|4@C0*O5J#{Dx1xQxC2X^a!V+slCQZsWWXy$j)*uY@3M|FX?`_oz4@A) zK-WJ^A)b=yEmI1W;>87Eo%`9@{w>efAa-ICy>`_t;6yN~`ertma)LnDFku(bfR=x5 zIOl}JU~T$4Bpdk=A3x+;hrCV%R$=cflM+~oNr^(ZsRnCoaAP65sB{{whuy@6I8eT) zp?;ij`Y|4iiIT=1!3&)4;A^l-_B)o?ZnSDtZfxPiC2=bg4%sh84F`P6+Rq}=;~(P| zu(wX|U2?oc=YOJd(&!3fR{G z1)p_Per9e!xAVI|E(j2r?>cV+vcR}7RI0k4PoOEl#mJUI-%5v@<<(Tc6IFR|bg0cw zh50sx@s9klF7!`Og1kA$T%_523^8W)tD%N+z1i(7xb7G4#-vh+Q8AZg$Me8`cQ=j+ zub#!;dZSQ#(B+N;U($dv*|8~#gQ>w4_V)AbBO~#j@}ztM9b7I0OQMb3!gznUpk!&I zb**A6Bfe6|viP6nGzUgr=fE&O|4#cl{U$xzII{~!8&8|aLKD8opjI6iszlXZ(Wb6a z0qL9TVp)HKY)a0HNpLh5q_4ra_^HE6NNIFPL-F54WK)Ia%S)=wP+>kAnl^S4V zKHIMmciZ-Zjv=DL9WEp0@CY%6X;8YLRbl&09By?(mI_1KD*B4!6H>}lkA}Btaq?gR z{&siW$mY0~wcjG~cRR}qz#cQ7Xq;;9SxU&)o6+%ZWbYLk=@858(J#(w-|dC-xg3t& zoWAsFf(n0*f!l3kV>j}lV!9LyNI#Reac*QyJ0~d{vNy;a?=Q}B*;Ao*{2r$GX`32U zeoTRQLl<9~gd@~|J?)l)rH4tg-llbv>pP7p2j&gV4@An1{JrAXTKtj0ds7UJbOjS| zWR^Mr%F@D24e#|W5aHTyPGL;04EI3qiDk7EfODYFK%g%D5E|Rh&9$a|iyzx5>d3Y_ zS4@{ngO|h(4E%U9$@lLe4?qlsgERVkk?ab5<8E6;H96_az3Z6>NS5_$y9 zF=Lg$Z~|J3KE1Z^&~<%z!ui-`0$f1uslDg^z2Eig4lR4C%5}zvOv{OExiNm5orV5Y zkAY9reC)NE>+DX&g8yB!k&c1mj}rJ$l=aE91m1rO#18 z=yv&2AbNyD6tSeKMKJ4|e7j%nC-=@k*9eKjro|*d>aFx|kHg;uwmemg z%755?4kW^@FFPzYxd5v+OtfeJ>}a#7<;4|7RrIHJHwCr?>_DbzydP{6{+)xW{t#^v zAueSVcJ^@qiUX3IJe~%Ee?e$pdhRdFpymObti5(TV7G6}<;mqG>X?uAkeXffAlB#{ zl;^Ori-;BE>Q5UI&0pq|3>@J)Nl_2Z1@6B@lz)q z;VOROX={4aBSvcqKC<%?PrgS{di}X&i?bvrd}k(0{H0p)tUlTvLTO%^S>*}lgwjw5+K%;uxQMcO++MS`Zs){ol6qsrc;g)>K|#{3aX_1! zZRAXK^vo4;Nx>V(B`<&hWe^T$Q{t0=l&Z^_~=}wU%oZptY`&P>4tK< z68@TJY?NVH0(xwO6sE!$qU@oHLI4oFVKf1|9IIB3_v#tjj@BP-{)tmK4V$t*2hCN4 zm<9Ao4mjh9@k9N$yCK32F_6K#Bm}bV+Gc;GAr*!kl@k@J@=wTLZP~g&Bhe-ryqCbn z5U7v4FIi#rcCaXl$!w_6y`48sjdGw1d;(6=dIzx)ZEeDj0@K4$4or|i8Tvf&iRCl0 zvvJQps-W29h$=9-qVPl*`6{5O^Ln@S-DF*ZW=XbZ!qs<48}(9jd;=6qs<~;DVwE zYefy?R8+Bk_W-QFb^IIbM{kz38O|!|J5NI>utard=tq#v`V@RcSDuuEQLT#m@g_<4 z8yDpnXBL)1t2Jn#@jQKLr3QO7hxOHm`yC`5NuQ~T5VBb9G)D2Ov;K?OG!u+HQH1U> zW56q4(vsM3p;}*uFXPSCa25C>YVo)Ur?XOr6$QDTQ;;nOVs5?T)DpW$IY zRm=UDiGtoGIl}G%(JY57F_g_muXekQaH?Y-PfdE!*j#q65Xul3`$S*jx-a&oga+X; zYUtDKi)6>Uw8t)}F<>fIy$&i#y9~(cXrX(Gv-fQD@QZ1Td?y2* zrYTsyr%HujjQ<5pS$O^g*2k>xQhzX++4$jHmF~>TZy$oqPYt==3Mpc$nHrvsd?-K7 zwj_LI)I3G)joY8&Gf6x*bF=D&{C1IiO%fY#@#OVMHIRy_yeOhJeQ4G@kat!Pli^RX zZ&Iv8L7dHo$h_aFk4F?R-0sHq_Y1}{Y<1eli`i&862CoxE}p7z5%h|SMx|0#eYv15 zz)B%8Q%anJ4}4viA8RkIypqqU;wQA=U1R?l$`I6yOG!m%QIshpS;A?y!;wru zfz&R-kYhuXN0!Qv6j0RhCdT;5&6&y)9Jf0r)F$=FejZ2{AL7&_Y`yCKWvP&5(>?0y zAf#bl3W3<1?bUY*9HfKFlkI*M+4RuZq&lbd%^svCZobokjlueb;OFQnk0GSPjol!N z2Gc)R4?uvuosKfiz@gpe!?G*3c1dB=Qm52;AQ$WW4u-A$oou z{Y~{~8Gj)MW6~`&JuBm=FV-n#h(fUd980)J0ag4&#zoMV)<{4C86ZK?DXJG+qlu+f z9eD_3o!ChKiCL99V;{IT&VHhtZx(Ty5)aMz!0utGca65cjK7#vX418dw239*_M!9- z4f?2@3`5*QZR1DD#PtdvYfT=G)S+Kt)0(=Q@;yg+wtmfxG z?nH;yHy_KT#P_LD5kgBV3;;_OPQq9&yX4ucTV;W&x`y=usTVy9P{Q1}ML7VEH>V7? z7(I>NcK0`KNeE(^eWP$Jn^K9rgxa7FV<(-oCP(@l929oxq~w|5})K4g0GS0KT+riLXxla3&QI!?&u6?j0`1V+j1d#k-UYw_y_2e}>Y zIKghmwBO~-xDAXfTbm7yCoxSm!3(#J?X(6W0fgnxQOL11QkV#U388MCar%r$>c5Z{ z-@Z_{8*BzF2$|O7(3WL1%TSC1@PKeUM3N{7QuCuNj&1$bT>d-DZbvx|!giOryzv`v z-~oZHxLXc&)r;ad85Hx~x`-a62=0^JTlturVnF@E&v0bt;T90n5J-+2HYUAbw-e@P zMVrEPj4kxU66bykTS3^+B8~LN5LCm9x@oDrn=Lg~?tSsuje#RM;hMz8eNrI&O$9lbY)r=!xt3G^}xFr$QmXlTi5XFEC4{Oma62`TI*Ve|1FaFQ%S^Q1U@=x!9yG#Yi+FFZ+Hm`nxpTNkM3EpUvOD0{f z$rr_7kEn&0Z$}p>32z1_U4SSB$T@0CD}DY=-$fW zuR^_>G|W;dm0!YPIJVLXIE1oH;ak5R{OPLKLfz-vz@&d)9xLrp?WlmUDHovuAtfAI^|sH6dIWmsFD zw~jl9Au4R3ThzGN=Kpf_n=cO$UUiaESbGh$#8liO%Sz&!bWZPB;F>vBY{FVWPayj&P5Y_XRf#*{G<9&rXgR!&>-&g{d*lU)877 z7>ZJLf4X^b9{ljtL4?42sv7ezZmBwGAJ95aLdKmEm|Ra4NvBy1>`!{n1UCvE!h~^} zyec~mkJ>heuugV9N{86#oWZ5bwA|PR|7+kB?w9YX7MLfQ{&Lk!@c=A#7%4kg&hpAS z(t%fMF=u-`;`WM}4nV4-3$Eu4tX$|KJJYtRyyQb(PnRK@!D_=^UA0JEW+4mBHeJ~c zC6>t&Eu*I;*EW|KeqMToTJIt?5^E`xuhf^^!bfsGT%Dgp!e91imrpXCj5)*Bq==fD zI5PHGQs?I3*DAIBe&-d3PYJu2dX=M(Bi-q)29GWeGcBIC)M+TPZm8!W~(f6C16J31oh4rqekA~ zIa61O!3isB*{V!+>&%BCLJl$(HuI%!ZUvD`l7W}*lg-&Lz5GQfI_&ih)buaSLz78n zGwahA_3QL8JBr8c;m`{DWQN5syg;L(ZBJZM|e!#k6!~AtH zdS>%p6Jr|>EMDa;dDjtnPCXQn* zS8t%o!>&k%?Xnqh21}cBx?8psDD&|9hI{$yuMDsJF*CP8iBuymIwR{47^*6=Gxd6Y z2uqKB`9X$jlWH^WIZ|jPJfme!9m$ZZ#j(bR)q&gK9rx>eU;{EN&!{+8(?c^k!aAZ= zn%|h~A5-m$olav?&RpakzMH;lf5iQ6D;snTzDk|@-JSVN=~cPb+f-8( zSC~_?@KJfc=dT~ZR6Or~(;&vM{EbKrHZ=$>IEarvdm=m@qMvckfwT(`vPbw_M z&TW$5egE1lKyms`s?*XmN?dKRKDxg?yP1uz&JWCOQ1fwJMy;4*k1cvd;Z27U+4X1~{h5*T=Lc4f;Xg-Mle3J4pJLhjl;61> zL=UNM;+i_n{z68Huk`L`UNQv>6*>u1@d=-Sgvw0SEKtXoPnOrH$M;@!VMEcX<0%1@ zGRJb0RWnGk5TJ%%bjYS0pADYo)kvC@VadIfjp_ZY0Tyyf8mGTAm5Mn1~tb6Qcd9fd2d=%JTk@AUgL4k1|`9a|TG3SP=$@(yubK zBa5yjQkfwb;2^lZ5X+7~=9S(!B>1M8F;@Iu}J$|xKqDY?h>^;+sVN-WGYH_S; zh9QpUsVCy&Ok{VNqhIzNKmww(t9+V^%H;`BZ(s*+>W9?0DCR zCAS=~9x%VFvK(%i+uU@z`Q17>f(5x*}ep3328A&c2;%?byHplf47OF#2 z>dsGR+SK7g&mj`E@4F(ZoG3DFl%Jzl+)2cjsKPpv4v(|;;5{S$lT)jTH*yb(dGjqL z8Js2>R29dTWU9Vzy-g814=u1<&FfmVa(@yTuRU%M{y@1P#bRZ_NKsIZMb7$><_Q(` zDJRN|&n6}7QP9fI{T~ZS`>#7EQ_qSjj%dH=W;F>sE+z@zgX(d zLM<4Zb3dz?Jd2u1+Y037*+eoNX}1|_*v5n|BnEOAyd-rkJ(7wma&w!dJW;2xM8VfR zD*Rx!Z;#chRSVEl#Y>L}8jWS;SyooYWfa0kXj(lF&~;LwD(gU`v*M=ukK%6L^$WU4 z!hDtQ=x(3m2aht+$N%2+^gXzN9}!qp0@biwz;YkV4G2CXBt&~frfscVYo2pNWwq&S z@=Rwvw3mq6fFC}i)q3k=hd7tMWXY8%B3WFkd!m(m)m?VrBS#0_xMoswI|eZ`Wz;j{wB}N(0P4+X+O~OOT-~lUyM1*9yu_BR8wC~V)P#VtIQ^jF(#P9^IZRn( zXCi-Zr5_xMYmSA!{rCbYYWA=_)xenRzDGow$#Kn^&4ugV(!l?UZZVnz+urL@wy93~ z-s6G?t_$y??90CHfzEDd7`Ywvb32Qixo_bNA_)TZMg9{IUq-*DX?4s;AP^JnzwZS& zg$>^CghH#Cm!JL3(7!0!nj1ZQYI-0CQ6}iJDgQc;NcxeJj#DuTU;K$|Z2WY+Lu)RG zmdzNM&m39&pksPjgEd(-XAAG+`a7Lf)F5$ zUH4r}v=v2a*Tan*jo|_eH!~GK$ozr?wL3o;>vR zWG?0K`K~Qo(VS76ub+V^QO5S&dD!{c!~Z_L8u`fD(_vGa~d4er2^xGUTUbfde!JH5T; zSi8_7>6uj7v$vE2+KS2PEXK@~w*|RQi`FgvKMci) z(=&vIF#=<8#^W*fY1`P-wJKvG1#NbUFZP@xw|4uUD^H6b_Q~sQB-K8Au$uQML)ew1 z{@oI37-&1LiSLxnr)#P9Zur`_mt*Zf=^W!psNC{W8__d&LlXJFy%iE$;AHZh&-Uak zyf3G?lQe=(m8hxdWR(9;MIQAt0HlTgr-&;LhqC?tn4)Z1i^*;VSt86>24$NuN|r2{ z5W;AfY$3)P*)lSN>{&+PMY3ecHt*ZWzKo?oXp*Ju$}W88{r-Nx>vvtxKj(hVInQ&S z`&{>P-RFEh4_0HQT%o67WHjh<>F4mfRS)$$ZeFTzZ5MwcQ(G16Xt=Ty5wKhUCU281s&5}dMWnf}7+@ksU z>u1XfMvp{w4_d#xY+6J{{^85Vp76`9^V%tJ8xQgZ+ii)d4F|)@lJ?42H3*`enWLXj z!(u)fiw9o{2+eB_@~2||vy}cvcIUp>_pZR z5#w4Z+wy8G>0$)B=*C!PSiT0+2B1AUqPu(Xm<826QffXSiIPYtJ*+t(a#X;J;m*_x=|5hUyF>VG-HNc8GLFc z+}TY*ZA623{IoNgg(hkD-P~$w{@d^ibx}OVN7hRwD@yOTsrvEYD=t9_RS&>t+_A=q*6?H?EOcMS_nEPtqUAF&uyVS;FH4j^RGcp*)+F3U>&c~KxM&&IbRv9lkKnj;P}b3&2ZeHloO^qt0K$L~#;>QM{|h6`S^e!V>0iAu zsAm1w421y-Tl*nKqfV;TSvw-@1y;6MlAswh*-(xpBIPYNRm<>L zW3S19*0o#GcQ&wKkPn<2reGoBBqj3VqEKexF*bS8Lt;~@cK6R^3;Dv(Ip2ASI)SRw zSjLeywSzhPMoUW-k#H4QR2A#0&OW?xW950GEbS|+*{Sw0i+gZm*tO);)u#@lu+)#1 zIYF80cvX=14PiOGFC80<58mYh)U8m-u<(+Jwq}x z+!nB6-eV89h7UYy_k{67XX*ieLf!P6V}W{mN^)zb0iJ}TVC$DPUsN!iE^^crkNUk? z`!Pg=h{ZJhLh8{k|M`aYVCtz#@?o)Hh}fy{PvU`GSzGBn(H)b*ItF*4ZC^ND0qa>4 zshTXWCe#Vn)rU6D#{c*mx*07TU5jpw(i{5jxoa!8-m5Y)Xf2@7ct+`LKPXpQ39=gB zfO+yUGnbGkoAn8jlN2F0G=rDB`vjn>Atqo|7TZ%u-n=}Fo=#>-y{^A6y39oq5_XPE zXIBJzw+ z81)QJ))WJ$q)6FZw@}_+$)`N|{8hAA3sl`%NNXd5ZjF*~VA1)}XV{%La?u1%+TDf^ zbr$`|*5q7UYdj0~K5kKdQ7oKend7+~CZKvC60J?bcYmAz+OEUi-)W^KeDL!*t0CK= zKhu=t>$Bj-c3E2|PDy7Y)SIWr)J%auxA@}13A3_qy5IWJ-0H3h?U+T*Gru>lTwNKe zzG1p5nI8DZQlQ0kJI|?1OgB*VkdmpAI81sWhzIi+SL6_WkKpw?&4jAE)TiTZn+Xpk1-`q|zKR!^xLOwD z7_U7nYXJy3=RT@}L4*mkYb=w4WLq-&D%=ET0z5${e9Qgb9(D!W`cCn%qJ}1zm1|2H zR}U)rpZZtKCx-d`i=&le{yl|**MQ@Qq(`l%UoHwXXO39mP6IV)x!aUbi52ORVSKNT2$zv8%sW7^$yhs=pHf=8_{9X(>8x!*=R-HXY8&M zNsVODlAKO+i<~}R6=;k+_mZUFCsM1njV>D%4%NN#-hfl$3t|1K2Y|ZbNvRR6qA4Y0 zJafDJRdxF#YH2Ei6C)yRX(+VO7kgJ2(GXn;h7~4UxVq>nLxH<+=EJ)8SN3m}Hd2O3a_1xvzNRU1J{-pL^X^g;Ef5x$K|GU-cVPLvLfX!fyn0VaZa&cZlzKTGs z&yDjHUBw&TAdHYS!Qgpm1}a9o{J@Qkjl*@xsp15oV%4uw8&j|rmYw=L^v2+6r4iOg z%j)sX2OD-I^dtOf2i5b^GGy#jqFx#JvOSsf+r(4zfZr=9)yB7i@N^=<1B5O6hTZCd)~aQ2 zM_$dGj>{>ko5S~sUddrD^W)U_Xm{xr(L9I$aY(?beC#gRQz0(7mryc~9*i|B!c8M; zPV?fZ{Bfko*>huq#k7Oj3(~Of-R`3H&l=BX!@f|R0~98A>w#5(&Vh%P_Xh0H>;2a- zh-OY1FVu@E2k|kxZDVX*!RcvPKDSIoQ&RZb@v;FWX&7l>kKtM|u5>a31>V-@@)oi` zOE}UFO=bJ^*2kD#HnfTK!9T-|;~>BT&ZR!cS}R?R|54-=58TE?hDq->LLS?;Z_x?> zS9b&3nEwD@yM(q<_FRO<-LBW~4BESi+CE}!H(wGqQ}6p}-Y{d_>mi4+`}kA)MzTVQ z=7B2JXzfa7S-3tFXZ3i^W9&A`t2lZcH6}*-o-=V|qyC9=Oy#L+)@o?6A=gk5LgS?XhiOEi*x{GvLBCx%+BLs|TuD@z2@cnZ$^^~A^#rO4mYV{*XB~C8YfvYcm78w4 z{5B|9=u)euLZRscNtoDJ1JBV6=wYU#iK24Qp42G2L;58% zZ~##Eg6Eg0p(W!q>x%;vnbo&|dmPkk@|_GDrGUhU7)P{s6(yibOF5@R)t<7u2VG}5 zG4NK=)l<$fog-0x&H2-18agsp0&ZE^%)ncR>v_z~yLjBk?fB}N0!E4DuOPgy|6s|2 zlpvxdB^m3r;1__>M!trm3AH+bK2LnwUI@uod`~hx1M>^^?|&j(H50N z-kw(^j#V`B?HPV%iI+uNZYhFp$27%g+QNzKJ_5edRPbEvyrO&xn4(*|^5bAt1t||w zkREqYv7DS>4ZEU|1loC#LBL}{z5qYXMFg?V#LDKb@MPAmbcza!t>1J|3Tfl+?)E^7 zxWCsfe%c1kNN1>j1G#!c@DKKbGx9PB3**#Ze`UyV3g=x$5HTNnyMH}oeaQvaY#1HdP-Z{+wB2r#JL3*X{ zC&eDkAaH;g)&{kzwfn4q`=xaYHg_;Uq`anr^m8xJI~GQRipuE_6S-XpcRpyy&j5z2k-q%4z2OEfakxnUc_I1`Sq8X)%PbkeP<;e}qXufbR zW!XdEE60OlOs+*pvdqhqSr&DEQ5e)tul-CV+bh5no5V*Qx(4|HnVR8+B$}21GYEzW zxW}cuG4o1{g7XSRVw~1xTikkLOJ}D)cD{Iw3kbo0yOiH8WVq#uKw>A!?5?Z*=fatMRaB0- zA~(J=8lPO`j-%A-^LN=DIKu$@Qq&Vu;uzDRm2ilJ@A(?<$=jT^G~S!pYGo(6WEody z7@+B;5a>%Z#K`B9uTE#HhE1{UM!QYoqMG3D>le@iT&A%x|U!t@% z$tFyGLD8A%*bpiRY3#3aZS)~?go&cr#mN)04Tav2nAMCV0;fT9PS!AA-A?iT4>_EQ z(l3#b=En<}Ae$bkVuLMSSNrN$N)qxQjk!uQBCwZ-j-#xuVtVT`E3zk6KEoA@xcl(Z zNT8>5g8K)%s0(1Uu$;Jrhj-UA}wY5_#bLLG)o2UUl;!Mjbz9207cq%QA`<3Aew z%!iM-{I@{y>M3_|S|X?%^p?%(40kWL)dL?kC{tezBegRA;d6bkb8S+e*bm6?BiM|a^f(`Wx&gC&3-(iA0jicws2ZuD{>x`p6L4|Bj* zDt`$;3|(J z=UESyugJj~_N=r#ec~9xFyRRPoET8QxB29nn!skeX$ql7t0c$w&6`k-IJr;z_k(!o zE>bu7RkF&$!lWRUOGEAs81{0w$e8tp_8@zCWBv*j z?ZX-C`Y*8c(8TW@>>K=_36wWCe~%G!3mos>SkgNk1ujiC$aqT-U7!Ar!YO(aXROn; znooJNSv9F&g7USvBU~v3)kJ3j94rrZ+~`*RY!h!6En3&Oi6u^oQc&PVu4sw#C+2Fv zb4JLChmVA)HQzZV_1PCk$?&9RMS0|M=K?uxem7E)=t6n?7YKm#j+k?6N|czV>rVA*TXAMju6gNrc+q%g*nM)@(Q7{=1ck8Ys3n z=7@rNtX$2fDpw_lCCmF~sJN}XRS8H#?0$Qu8yf*+LqkW~(vulOzmTrgvzg@zbZ9gKH zCS*_6k-Oyf!VQpC;&_&;lH5X$=JlU}X*p$R5`&L0#FU$ORT5VsLj(zqXu78D!d*Y^ zsygc(EOA14mkJ#XIo)!j`l7b7i$KU77m%;EuZACS7e#L&*W3uet8xNTSli9=pu^nL z9C?XrZ%gz7%$!2&ViF7ymzdcA_o5=16ryoa<3@t+_pZOCp1H;B!4ePPh?=B?*Re5h zb{#D1D_xM1xcNev9dCADfonhd+1~J-qM-n_%JEw~xq^Zmt>y!aZT5EQMkP{u zrjMA|`05O!x}snS`T^k0{isMgt3<6bWVi-<*6n`!8>*ItS!LLxGx>l?FN)%Z&0Jn1 wI?;Uqop9`45zVGhkOo2$|NmM`J_WRkINAU6iB!$_i7XS+__ono1Lvpz0l=s8H2?qr literal 7596 zcmZ8`2T)T@)HWf6-g`$nD8%HK>X+ziID-n3H+v$k3w=J(3^sGGGc+5!L$ta%hW@}|9XzAPN zU=0gRC;0}>Bb(~$d+O`zxBKfZqckhd!#+1Ttv;#WE|1t(KYtPQo*j+=WByMgrz%-> zX9|rVA|?J9ml1n5`)lq+1Q|g0B)^5#rexz%rjp5qPJ-+{@BrF0f8O;CQNw7zv8uzpx`~zy?JL=k`fCdu{jMLzn)wT4u(Kh-vzvG3ei$>>NDR78~Zu^NKn& z(d2jEp56Pa+Cns#=4*R;{zZA?bf+tJK6X&Qg~QTBCDtVFF`AuGd8DB2H@m5T^#y5A zhX)7esU+mMRc_;{>c)XEdIxs|jlG-$jlV`H07RfetY{B?F-#sgR;edOk!y3YY9n;N z9)}g@z1J7dxvLsnvG(cU)gt}ZA|s8#xo0HIawpsRUlqB|SCYUJ-fShZ^3S3Q|3BKb5j>aVI*qCsV1G z3G{-+V;!IZ%3QJQqUE+VKYWRDt3t!AQ6GawoRZyqz`0HHIS5H&CsQ7iSM8kU95kR# zKqshEfFaWW$Dr6x^BN!_v=zWM-S_xY(}{Q*)P-look+=@%G>=jMcDSngDSYa@yPO_iO8w-Z(I!a`{;8N48?M& zkAr#n9RC@$9rI>fOv~yH-Wl$i}hMwxl3q>4HY=Jrs4YW9`J(T)MOp@o=YybWEAJF<3Lk#k9L_lY=-FoC7LVv(F1&=;_5 zaZopiZY!#l^3xYLsd^V_q76)BbsG%hy!P-?9*ulZ3~`quT~Jk7A?sx;S(y`Ln);4r z!d*PZkKg?)Cp<;FOTJsG5(<^A{r%*cDj+7foC{S-GwJEvv`JV>sr1c+a8A8w_6J*f zR4IxYdaGnfSS1uPQpaPPTCUytODnjS9aWk*{7j~ldY5iDKEcf{I7(sr1+O0Qv0R3q zy}yE8T&=!mC@enfYj&+Gn6dazY(yNaIjo5rMf|7gK%wvrtB`#g@;e1y{5YAu_!31^ zV*5n9wS%qnf>t1>n*Ahjf8`E$S%7qUDL5lQ$=4#GrFP=kbv9@Sfa=BOebPV52hA z!)z@^o-`Y{AdVi_7Y_kQ6KO*4*8|q-?sJF`iB{umL<8mCQYz7gec-UXy@yVYJ*bk; zlxlzd*RTCAPQn=Ym&%r@Cp-OgG8VqI@8oA(ORalG$t*-E;f|q8ED&JUr5H13w6Z-^q2 z-eiLNT9pF}!^mtgroxL=m36^HnmS&=9>5#@s0<~OpjN6t>ph*Fl9}*6RcclKhZQvF z46#^TakvY$-GF191q+Y$c=BF6GIW*1RO|0HW|k>JuxsNUwm_Z=SgX*k)k`Wa_^$qW zxQE&ylU&RSyRDSJ1;+RC z@6wk1nWT2iA-zR)J=HI^`;BIOZ0=DK(M_^NVq^~^s1QvzCDA|?w)r&ydBB%B!8fko z4UCmFTjD%8n#r>j(~|cwh8fszFkpPU6d7lef$Ew?_w(O1aPqT96{yp6*FLE-KJaQ? zioP_GJ=OhacJ+l6fBKhMjvlh!pSo^q?8Z5WW$Nv9amG)$j_?{syXXHnn|Z)l z%eS3jnZ3Ag^n>-#v7NmGR^x3Ya>41zCF6H0dg5C%8kM=E_-q)h&LLJ^&XIZCsSfe` z_6<`N`&lzvl5Um@7p*sGcG1!9IyxbmmtiV+sylcHlG9Z|&c-ZLd9{AO<5(>tHmk)p zGmwx~Ak{UO;Vhd!+^hM)K2?S@ZrD@yZII7l!wsZtEQM38-X;_(UT6yS`<<=jZqFe+ zYouvKIiOWh|5E;qeeAn>i?ZqAb9j_oPqg;LuWKBy#EscnU@~le0`@G#Cz!XSN7SFh zzAB_s7#rj>pt0S;)tY|8ULrVGb^TmR@Ru}D6V|z|Srrwhl{4iiwy`P zm7N;95MGxIqLHCfOME7;y+bmD+y!iP$}tO{U9q%2Urj_ERVmZhWGaw1u&SE>+-x3k zNDI~HO^Y7VWP97hd~v(OcT+0wM`y)~8;ZWb^T4chchIeduMQ+={=l+5Z^ZLdnAiRd zXMsK&XNOZJC;obq>MynWt1CX}1Z%Q&^D?d5%yszo5(d|CO0MWnvI-Nw(o7$Fv12Z3 zm7@IGWypc2fbP(;{YTK)8?mJ@n{C;3h4qz@QJ6nRRMd(&+69Z40$tHR)jWLMPCK2* zx}jZW)^nwhud{BLd+_@KG9v9_yl(hz`-3^r`rnA4>|}FRhY>gi3HezZGO7 ztu0!6-)XGtXa-1ZzUDeFn6K|s#;vcL@R?66eY4+xZIB{^_O^GaV7z{g$iMnFxFG_a$Ot zN*-#tad)Ve9~fH9S&UB1mm7I$4q}a^3VaW0Mx3rLTBqnfr)AyR(K2^>4y#O?7pl=^ zU~a9A)(Ag9+%AfEc=}{NIKm?MdS&wbK1+Q)&0X^V3e*tq!d3<2$X& zt5lJcHS@(f(eHO8m0Hch2B#|~xw^_gpp~qLU+jy_D(qw^LMlIh>)7P5U9-WfdNNmN zXvF0Yv&q~KeX#e6yQJ1F;-G1_rZz;=>W+wD(C=Kr`qx_jR65-uCH~&pchdg6y*(K*e=EtzGu3)hwCV^m^bwMzap%V zz=FFx;#IlRzzp5$qS1QuY5`?VlY4O06N&Y}XwAzHG4ZVAGu$bh`+r%ax`2}OD`~7O z(pq0MUMUu+(05y`P&g#bk(we8BH@l=o5$3%{407gEENg6>yN4!rrm?PI?9ucL0;$6 z|5CbNChelPC7?VBn!*K}MEEV~B3r*7Tv*NW@21Ro6jtu`uZl)Wy?JWh!8#W^v!$F; zC(ozN>+y(K^k>+O*z9m9zjUiKY(71wDR5+kaoA}2z9~S&%<0dTk;k!l>KSd#u+!XS zmA5Q2NPQK;0i67pql&jJc$4Qv-^%S^O&L*zI}?ujYQt}5{;Dly-^oSfi=1Hu-Fs)e zLVIWjgzubnT~E$ct>VywIZu*PTZs`vBds=eUi28-r!u!gd+z7h_exiZ=%LEE300+amJel#GRi} zCIZWhJRYtOw=zRcOMkkHjjXYL>3PT~RUe_e8@qdXhhpHp6IJf30?+YVRQ3kN`?C=d zblR$%&LKz#MAVzbf?u(Gx7xn?J%t%sK0v_s&K=jI{QGX2i;l`{S zDWQOhEN&Z(`+H>le17>IfVY|DynGn9RCDYdAJ8$$AMVc~t5QV@`JF%H+cQI?KAS9g z8`rSMPBV@}j8xbxzw^AOBjbfxw)o^kO_|b)-0{sg9+QMrx6cflrq!>oKO=^&YK07t zKR+;5;7D}XuYe7AJe-bTH@KHN)4Q6!Ticeyqd{dLZE^x8s`;mzWqf%9aAWXW2^Gkm zLNRfC+5B6(LW#TbGP`UHiap>e+Fk zm`Weh;1RdB!uaEw=`@F_M_MZ}={bjdTJT5>OFm;=K<7Wm)FF6&(R3|}8g^vx1exi= zap)uG`ev|m0;RmbBmC_}asr&z@LERRxvXydrx^J)__Tzr+DeHJoi=P$zGpUqvH|oZ zDbOz8ajO||ryf}iW@;60)HyPISg8hag3Aobkd`D!3#MKaC#$WWQCPomHin8E{mJHd zq@3#O$Jc0w%G}cOxmktQM)XWA{V2drn~kCm>tq0XPETplFd3?Oqh_LQUd^Q?5;Dvs z$O-K~&A~{(_*c)F&S+SWBE2Q9kXn(yW;T%#?}RY^A^*!)Cgh`8d&%}9RyRBb7*VCIC1I~?29xI+{+#EDS0o#+QzIG^VVc5Zf4P?7;JQ2pGP1$o z9FkpnrhUJ_T!U2LAoDaO{9*1_R_iK!y^ZoXl;QmeZp9d-5?r};b6-e@;h>ar<7GJ8 z9`5+*_EX~L%dH=Xm_-@0kWT=iIx7*kgnu#S)^1o1spWtEkXF}&fXyY?U^*cK^9n-G zN&DkTw~ma@ALG4drRPAuULq*Lh3jN#svo^P%@rpSdO0a3BG*&pHA5tHq|$kF&fVxo z@;b$3s!jB`s!YTc4fF7%1LB+ z?n>ntdwft)v8Lazpnc3dI`?UI^|Ah#iknHwkJ}m^f{HgiD29A<{-w;faBEoU5eQ6VxXx(}DR?&B8x zsR@=xy^YDkE-Lj5IW_W|uebP)8}&t(Thh$AG9Me3|WTLG;Wc>Q4YaTau);j zKZMe}Xc#LyURyd9^mLZ*f9S|B-?6_lg%usgs!j4hza40j>>-uZdK4JPJ(5r>=^$6D zxXEVL5Nay3c!Pfo4|z!&TQU+9zWvkUOMU6W!H}C0T7wNE-g!O2) zgCr!dP2h5%annv}bZaqZBd@7SNW6$tP&utBLrY{l$Me<~hCa5@1-#m%BiCom!fHrx zQJbRvx-WxC@BY`Zk=It=YzMI~g08~pzZPis0O*8lx~GpRpc()>6D0Gu`OzFL zDPi-ZI|d~Ds}1{l_;jJ4dG=<(zx)D;!1snTelZ5i*pOd~meWW7|eJhw=z@UP%eLIeG?%Dy&!z zS(W<{&eRjVOf>C1Q?cGBPJbuaXYi4%A(W2FLp_^sNo&Z!Czzor6FpUQ?Q z+e-?;iAqFoc{_^aPgfdMa0(X1?U4x=OIfI|tLXMO=73V5!*E6VOID@r8Z{$KdEYT73v`2$l$MaV*;83ye-e{?xP_H7prxV_Cxb z`Jbv3_2qOwu_-?%OyOo{w%CTRulia254Wxx!ppnYjJKS_^Lf}1JqNs$cSs;{P3&I*_-lZK zgB|4Lg2*W-@GbC`2?>RIBj3Vbww^IM_6Jfl~%aQNw0&s*lkRYc0cM4-o0`BH9 zbq*L~MI`;UC<~rK(C32^YpvXWn0p^u^at1e#nj4VLT)2WN-^w~y4>lrO#h*Y2#VqV zl~Sa@bN&OARF?ej9tVYKbl5G?8af{Jba za$tGt1XXMz?nvR#KX~%C^R453A4uD)BeaJnYlmbr&?2B3c@swemP@=RIs5pw9#??) zp*TKBtQ^Y@H!hp9mYDvDwnYo-bM$7+xtM0`HziR-$do=FCvifQ|DimDujgl{|F?wz zYzD*|ph4o0HRjm_EP~9Ff?lsqpy%U6b6mr@-+*Wa!FmKgnNgE8>b0fA%wOG*AKI=* zX0xCK2j3ER`)QJ?WqDWq|L0|@mb{dJOoIhr>;kL2wGh3C$%eSASi}$5X=Eb4ATR1-kllZ578mD z3QXp=_9LA~(IJFd1QSl@TTh=gzGpVg9BXn7a(2M?5DFB43ElKRe1zL7PFdPPes!I& zi+w`n!YU;`d*^H*u~GjP3MsLsN$to$;N^X&;QZcdQlq}}UkcEv%9AoMh6JzU%n%wx z`j)degIk$^oJ|q;EZh7v#WGB8kCc=&r6eFnY8c>Pqo29bR8yy9xC?oHo%8SVvD%(H$+AGT2#El)z}gkTkUr3F5<_23?~`{t zIgCrvQzwL-sa0Z@T$on@YEuR99kK?NV~6?^LS8>5cdxojhgH9>+z`0Uu8ksx88AyFfXR7VHdnXa29vNM?dv*durlrU)- zm%ozEJcQU0|1Hp598lY!5-SZZ9|}tjIb%qfBt3FplhgX7Sxsv6b-Q7G$fEnwuRv?-&=`bh|C8U zZ16?@6bm7YJ-$D6=4rOyOd~<@biaGR)+0c$2hlFjHtXPQgYQXLx4`>3TWqEg@NKQ) zOP&YbrLrFTO6%ih;7HDsKZ@fNoDddCMWHn zNGC!b%`)(Tpts_-p5^mmxr5E{%7)aw9U6rH52C~E|W`TME zP)xha#PcyOOzizu2fAVN0wX7UABssiLieLJ^)~jVs6A-xK8A6W{B{DYXmildK{noF z;~(9