From bb4aa03dd1f187550fad72672b72928c90f9bbd7 Mon Sep 17 00:00:00 2001 From: ajmallesh Date: Mon, 3 Nov 2025 20:03:06 -0800 Subject: [PATCH] docs: add benchmarks README --- assets/xbow-performance-comparison.png | Bin 0 -> 163525 bytes assets/xbow-performance-comparison.svg | 55 ------- xben-benchmark-results/README.md | 196 +++++++++++++++++++++++++ 3 files changed, 196 insertions(+), 55 deletions(-) create mode 100644 assets/xbow-performance-comparison.png delete mode 100644 assets/xbow-performance-comparison.svg create mode 100644 xben-benchmark-results/README.md diff --git a/assets/xbow-performance-comparison.png b/assets/xbow-performance-comparison.png new file mode 100644 index 0000000000000000000000000000000000000000..b9fff526fe986562561facac931b95bd184c1d87 GIT binary patch literal 163525 zcmeGEcT>|__XiAP!2(iLnkXPDy@~WL0wTS40s<-}(g{6q1Q7uN>AiO$L8SL1RRrk} z1wy0-2qg5-xp%JTnfs65HFLj$%bDYuljD$Nf7f2?)0Pps+Nx9(%oJo~WK?P|l=aET zZoDTWyV`v13U~!Nk)90xb=~cSnI{>U;6u_s7krBpyvZ&G`KT!?8v16gqpv2?8P)G^ z*)de7Ub21m{U0V>J-vYobcXR#Q6IUN`FVMl$)3}Z(<>^|8Qyr=k$LTno~~wUbt=MD zZZBwqrFV6;nhypWI|IaVOPg4Ex|MME@KfmVP zzx-b>=XU7QUi`0Db#1t>UHGq8OCQsLFaCdj88T5k`@gS|k@4OjXaDb4=|6$7@hW+p3f5?krf5kvLh5r@9e@@|l#qhsk_|FNDe*0fB{I3}PR}BB} z3H*N*!@$gvJegsgbwJL5UDv7BblDsg_Y z)BHNwtVf`E{hLcslCcN0vb7F6+v0c7ehIwE(|hT$ni=8(nF)cL->>4MgxcKN&yJu6 z2dgDHGtVdm78xwv6zl)JNZG)tmEMqKV)X~nwD!g2bPq*y?sK0q_;fENV51h*;c0}e z7@WunK9iDFrNpkb>$v76EQB!{VOGA;339A)X5 zbi8?ijQ;82jjJqPx+CYaUyS&CmXb`~_-mH3zM}j0?axFWm#&XD@ey3vZV8-P6j!_S z93HofJipuMT#ugIsOn{P>7aJ*iQ-?H>>Ef9!Lp z7^5q87vM(a3g`Gpq6-PJBOYq+jN)aKaaIm-*a z=$GHvE`%R(ctMBJ%j`{Ae$h0$&`x~W%^M|!Z&-LDa7F6uU;+L2duS_#*|*~SI|xPD z!^MQT17a(2_PFF`_Nd#peWYPO8+TL`ciSovWKcM{70GfGaed$Di6bY zL6cyqaY0K<5@$R^9mk5vm-ca$?N=nwUIxQ;&eNN1i9MK>aeWPP_|fil`GdcqU9smw z3g44;3x2V(4R_ScUJ#k`05FwxVlcCaJe;!WveG5R$xy~{|2n%{q+deYO&(Vz2}dxTfJ;LvdgZJ+skcN3}Y=^TWe5GBDJ@q?5rlLI80ZCKnP7aQ)OmwCT zTd?=syKc^DKO*~9f^MmyoSlMJZoC;t)x&pQ_&n?qHYMOTrX>L*%_H#jez0_3#DlT% z^|;uUCdJYt;`o$^>4%$=kv&q+Dh=3O(IX5w*k3|ZR_B|xEa&TU%A)vF?tU?S3u3#Vpb?qRDHIReu!^#JN1r!Q={!Bo9b zH{GO`z{zpOO!m*uNrZ(&Jvds1Q-V3$SnB1k`S&lYz(G~mjHcYmlLt*@z{+Q`!ffte ziv%r}OJw(h6EkI;#<}aiU%C6* zhHIl;^lP5xIgcS~;0+8ndBt8JyQ7i?ESiE&k2tJe8hm1SBtGlA;0DDF$sZ5AR_UhU zJsN>ok_($(QxAzR6UYue^GiwOCf6j#1fREN$ohFa=-pbc9!d`iDo50LB!M@QcVm(E zx`rKg6xT0RBe(Dm_TOLcGrd%HN7nbNg%28rZg5|C(uys8{0dP!Nm1W(hDroy07ARF*#WR6F7zdkJ07de=bA}ge!oX_t-e_2YdJ;a@epc2(cq7dh}_! z7K){o-TZfe`K9dsZ#yImH;GR)&}PrMNVXa4hs~0(#2|)##63iV$DZ>?I8R!aHbfeJ zvej!toboWPh-HxxU-vb4(x)KfcJ27sRL^}!FKhho%w5-(o8Bk7_M4An`Y*Y;#7Hf> zNzD2dK*vkt4t?m~YJJK5`$=T*0J2*^e^`)x={I}fEsAF~q3O4l*?j-L z`_^&>AOb;r%Hbgq+}*^bJ-sZ$#JmpIje%WoRTBm7=sDE`4d>Zc6_$ zc&nRnN&X($bunH&_ocFuZ1t_jwC|ROr;Jp8Js=}1^@hD{jloqdXAM^Hu2cV*RB zs9E)tISmy4KCN*ayA_NlP4kU!{et*jwqP&6T(Q{G{b`}MXTLv}9)4nmB-`~mFBv$% zb#V|gal0#Ii_Ah_$7|Io}&5p+|7ZdznjLr*OL}O zTcPk#Isivu@Fz>D?_*Q(a*@d1v}-%d6Xa$!Uvaao0e={UjBez6*4(2sFV$|c|FYRUJhXkCJ!4que&_3cl)vWfHdeZdLnA`-pwju$`PeE1X2O-9z`F(1K|{Hd0YH7AJ= z*^vMC7i?`x%(f)UTOAf{v2{3@C4;qXT^JAScj{Z;lXhs{i~b zJ@x__F9zV3jVA96bHWgJozLM?ioLgHX&~MEzt)E2NN36togDmj&EqoaE>Q1EjWpzB zy0M@uqc_07wDEYQ)a+vgt{oDL0~?6|@?^3?+)6<#^=%xY=AUygM!VML3v#Q@9PK=fIQqfKTz?J&d`CswDB8r(j(!stD6du7g*f>1=si21v2idVxRBG`Fpi0RBv`r zHoKskUVF$!5=x(P2-!I-Jt)gFovIN}QXcyzneDfH$LG)Ml*SLwa9RQQM*9Z&6vpZ| zzdWX$>mi}MKQEBc`K;uHC!gHu-ug3fx9tnx!|PQ%X&kYA52p~yQRig;ocMe)(Nk8+ zd*$FP6tEblnl7Dv>7zYBHXfl@X}keoh&}WP*k8ZHxvwe=pf+(nN+>;;usf#XBVbqu@>Sc9>uo_tWY+20yqT&i%Bz8St0Rs?|I8nR9Q3vLU32^)wHh zRYlv;n#(KQX!u( z>(Q${J^{EK`*RMP6YPDJ)%T^#>~W2wRpEmYVY{A&mO}tRI-V6)wx2c4gkL1%t`?}D zdGcvBsVSU@LkU&eJ$qen|MK~8zCVEB5GynQD>nJUWcM+NhWSsQEB(ItI>Win9WV`Z zP=yYkC(Z0xe5M>r(t>rSow9vq{gyEXs4&1NCQbrK$;_9l*q=oZ+Rs`d0M%$+7Ry>0b{ zukigp;jf-5du;b{VZ}$Z$bW;rAxN|#qt}uN0u&^zLoqk9lE=0nuIXZ^50sG8&V7ZY?oNWCyKD9FPE9V7U|6v05vhH}@q zz(|v|C0)w1SY{>j?BVzHx3Mk_b61Ff?7Z>NEPd;la!mG_4VxX{ zvZ!(nS{B9`G+?ArxiRS`&LzkDbGxsCzIj9F1>jOJa0Ffr8@7h(9nJXDNv(p`Za$@=lVU0 z8fbWUL(Pl2<#gzWo%>M5ADNzmtLO*~Vg`UEjlaaF`A6O50U8tJ;k~9OtVy?KWy_Oq z`6^DuvOie>GFuvIfoX%=Da0Zvp%qoneUXB7zisic3TM}3Lg1itb@@gqt1mtdNcD43o)MH`@bT!Ix->q9JqI1ju~ii5ZolfK;}yKccF&A7kz*z z(bOU)S)-q+QB?_ujle*dKVabBouH+6u=oQ*FU5Ovw4t!=ck5)FSoTlP&S#64$l0&) zC^`WYy^I0)d#~d!7SQaQoaRaS>O^qK{>=(LJG9YHm`LO?=x}}n7?Q;f;o{TUY4FbK zoX;IUm%blp3UTLM)cuxx>&=7!r?!MU$5Xx^l0aKf38E(3R4Zkb^>s_-cKx$#j_P2Q z^KXc_&E-$ejKjJBF#jSe8$8y9(Za0*Ae%V0;raepq5|pP^L>;Dl2N0RtjdxRKEn2fFFiFD% zjh$j}&lD{Azda(V3S3KjY!jmKt-K*b4`AJtLmzAZRStt&U*uHD>-i+iUY2SY?!A=QBL^|2Hx*uY;8k@U8Dx( zgyTr_W{&&dpGV=B1g|p#Vq>6>s(NG>kvphj%RYYqx@h0 zy=c?%j)wjv`}w%!Ll-VndK6D%H)^|Ih>fAX_q9OCbJ*A^hIq7C?Q;15KW>VN$uP%O zls{D$rhz>$xuHz8UL#&s_@l{|qiDtF0}b0C5=I69Cm4Y#a35NP7~h-3SD&P>OS6hq z*Zv00vom#^x4dGz62`Ek;Q03Cp9q8NS#kmU1Fu*hxHI{z-tw@?ruk13bk=%GQr(*p ze_kczQ(?xrod;5dZ2}FTY_D@lI7Z%d;fV2Io{tu173?emFj*EI>GK& z-J9IJWFhyNq`gX~V$)ekXm}IMbQS+r&%dU$`F&NF3kT-d3`O zi`woU7ht$=n>Xs>kQ4qh!RM!nVkDeyrocva4xoa39MS*`G{M6ez}W(Z^HnH!JS7}Q zACW|wf#4`4eKKmK^}#AMxZD`=pfv~RQ%~Aw!4qHskdJe_^$i$c)Y`IJU4H?v{Ip99 zI$AAJB+Ryk0u6z0Tlk*Wu;MaG4(JD(l_NzODKCOCKqkD&-?G^ecV5@TN@9?OcB`27 z_Enf55TEY5?n)`cF+gOyneA#!qj2K(^(Sw+au7N}M_%fM0ca~)y`Df%x@?B~T~)Bk zRM{{enah3z3Nkc|!TiUr6$u`H2W|8oE_P{mP7-0C3ICMnxNa-O)dujY2ip_c(Y-zo{Mu1UB1zJe1V12z)URb3NWkZ| z40SG3zf_r@)Ud8;ZwEo?loCQFncEMS@9yAY zn8kQa0UvtM-rlz502$*S(r|g^XXhlp!-z|FQ);igF!A87VqERwX$WU)^FSnL#nJLQYPkW z_a%E4fvGvy*b2n6t|n~h!pMy0wD{vQK+il;X19R0oTMa!DlIRT_GiQ$Sq^|B7+~fg zyHB)&?@hRcf7YJ@gfH33e^uG~7%10X;A&({gD;_hY)|Yov4+#**Z-D-nM^`cdwB77 zphKnk%uYigVH#D#%{m>?=diulv)m(f@pCHtg?l3tx+LH0l=*R zwPA*w!0iYUyo^>|(pO83Im%4#$RTI6e0-w0UFeEwTgI3L9WHgY2LR0>c5f<5u*sp} z#UG$b>=4d2J84K_QI!=NRVPqkUmhKTIou@%JtQx}nnsy`oA|@K%3`|vC;G0$pfeEcmN9UkDtCkn!ERW9acKak zXLQKtlANHa8H9S@ljLrMmIQjd#qQ};bLfgqp8FV(PaMuNanr9oe|%<-qj=4%&nT%( z1QK7sd4+eB(bc}fdtiDj4-Tw(T?d8VHBoLNRR7yHDlG^Lro7gMFB#cK9Pm1PfXo=s zmt$~JtC1pDWlaEs|AuGKxT!I&&*^fK{S^B^3WXxSmOr)3`eQ;4Rmi_`yTeL?0$`45 z*8Y9uI=;9Lj_b*3%%o$D{O>}wgsyFjp-_B(074jq<5-?JW_z*_qGt2O5l|9T;-gY9{rwli5DAhiw?!*HEDxBuU5nGJEw4Fn$qbOd=X#8*N}3~6o|K3>OXSO zN&Ybc3(y*EY#o0c*Gik3)lpS8)_RUwRHQ^no9_`Ym|eN;qL7PlE90qb$U8W6{;N?nQ!j!pZIOH-Sl7k-EoL*mi(;`x7OR$@pvI-giqFU@hhe<3s~H>F6@PE#^wo z6l7HT!pZ^6YSq8M*OWt7@Ldl|I(AoX9Gf>}3sgmo*R3XmgxR}UCFxh!PI(y-GPvro z(`TNtt&CxQ*=J^wLSvC>oNAa;P-kK8*U&h++rzC=gq?Nu{I2begBrsG0i57mt)pB| zNe0YnrTNt#n6bN4zfUljUsQH4+NvyCgTaMs*GQk-A*ooX&)lr8FrYecu!^8s)i8?v zF2Z4+iVM*mi&zKke9qA(LELPK6e7lM!pP*;FSrT@g3h5NDxRK)Ri)wC!e(ffb+@oZ zVeXYkxWBd7l`o5d@g1pF=i>)zb|tSY$XOmc1Fz#v z?}wjyjV5mse}N$tzp~>Pk7iO!@ zFH0|kNZ(c1>bh++pY-J~j#8WN5K8ir5@zcF6mW|-k9qW5OE58zIBuX576J8V!|~l3 z%~hO^{t{YU2blpft4Pj0N8%-|!aXY;F!Ap_om2^BrizDEn49Y6M_sfqyXse~QY0;n zGo^PJYt)bA)Scq=1hC5!NDOAFOkePIKl+qWj9C!`8MD9JZ}UYT_ z2CXM+2ApT--)9_SlG+w|pmy-Zn6cBP4oV>}`0+l~c`)4GpNMx3g15%AHnOQNSpeD2t~j6zirAs+5@gfao1B zolW$TGLcb3@#Eg_z1hXE9(KS!#7<*+avUL)<~0s;K(hPn7S3XQ^j54F*bPPTgMp6P z;;^-Gx9n6ph^GKKdn6@?Ss)TSic~ib%#w7^4*X##K~nO9scPUvEpdKitmpgo7}^ z+(RdRJv)MiP^&1vtxEou8b^oU8vnZ(A2=Y~O)>jxFs(5Ruk+9NK?$=0wnN+cK3+|rwNvBy?(X&*} z3qqKa}vOds`Ae=RC) zqVV_wo~^r7v1?_dp!4t#_?U)X0%|#0bMg&9-Ff3LWWu;H*BKs;{z#wj1)66~q(lU- z*Nkb~*!^R>Ba{_>q?zDLV19y2SB)nkJH+&M+_UQCQOX?H)su;tM(`-gEN@R->#(O% zLnRz}e=~gYxh)~`(kkGNw(n=GgRY|cgRSp zx%+s!ofF)C=Q*^pX?7*3yuI?btRglMuP2=&DxqPUy%bQ%4Wo9{GFWhei#O3s!pRZ7r=^DLS2TZ zZ2v2q;~aUFX<|()oCRCI1Bo5r$wy4RA$RXfoNK>6zT9;mqnk z!mrLuTAFp=hw0sTYF7k&R{4Rr7ft^*$VU>LS}pA4qDP{lD@AoC#PS~R^Bc?Jj%N>h z0s|eX%w-@vDH_-~+dtj5uYZo{2Wp~JPqoq&UZX|T8s9AR#?tiuk;c-WqxOo&Yt679 zCg0FcPdk+(2D#3ami~bIR7|BsYKoe6L(E zk-nQl5%g~XIQVXC;Y{zfGR(d*TBHHw@vD~s%=K~uisw~QvjB#ud?mIO)T3rFY9UsE z6-NL}nNPEl2nP36wX`R%)xU!4bOm6E_Ejb)g=L`dy#%1;I;-De+)J*u_kcoP|pwhY=ck-B{+xL zAHBImbHX8rp0F4ekT`n-K&GL9+6(Pti=c@}Ba)MA)99|oanCr0i~aF zqWOU0&J@GL3&9R%{R%z@{hATPh-BsnIsR*9%NW=3QoYB3v;6KwLK~N0u))Hmf>`+{ zEd4wsne(SJ=q8v*doPH*y!y-mp+WTe0s@pT2RuFM_(Ge{l5O-*H;cq0vEa!CQ1m*x z>7~MM;{?R=Fr?XA>m+^U_>iu7Xyw=olpr~vvTlV;wLK)A-|DkC;&!I@lw;NMr7%^X zZ+H5---6mFqb7dW)`4^5UjfC<#P;=!g%44q?*<}iJ!dk31p4kl_HN?}I}N#HQ`?BY zz*O8ypI&ioIhc;=N&olkcq1oyX! zZW3#H#21#Cco{X^so^CHU1Iw{5&8>y2jx%Ub8c_BqvZ_O4!=_nSYqJG(Zod6R8qRO zY&~BjU;uAsp79#ff-N^6w)wOPv*i%J%;LBYxx;!v0FdsU#}D>7F&-`HNpKm3G8Z1f zw0OEWtik;o zC!9gA_H(@PWAF*;UMw}x%YtVhbW345#mb*2?$P{|8l(Sgp&ZD9RYe&GUdg19+ttnQ zl>-u_X#!17Z_i!Vdoo*Xc?|Dwut<-e1d)j8GD`1R?Jcb_SsKyrx}$gyJ~X2zXQz?f zd^(R|q1OYsNV(E0>DL@>RHGEtf?dor8@GDy-lh!d=DBu9%H!38C>08S?#AJG-)sqr zTvA4F^tbBwRPO7Kz(;a?(3@QXG=XgYpI-dZSK$s-M&DifJ#iu<4H6ncZ3p>>vcm_H z9qGF^cO-akekb~gd5?P@pS8#Atv;Dd~q)* zQI7O3sIZXFYjbyBArB>23ln(1{B0Abf7)eMQ;Hh_9$D9|%TapzpBOCjKbfe@rHers zq}0rq{S`mP*XOqooSO6i@;kDqaIY#11d*>|@(Dl%$dgLrDW8ETT3uIVv-u01C-1&2 z@4a3vO3~gsu10%Lr!ltiTsw5t3$;UFTNFk4+XxWhV^;)spuXwJh zeYlk#7^}2%P?#>nq4(QjC$F}n@K*c+-Ft2|t3Dq0b5{E1OkkUo4M-*CBC9NBI0L#T z2md4M^fH#*SMD3sqi}apFr>Z1H6r8$KJj7VOM2pg*kpO7U#zW-8Xf%0?`Pdd?haY% zD*SpBH~DE0&E1X;bgws_VQRU%Kl8o+#ZLie<5(Q5Fzqm1Xpd)HC0naxAz79d1@D(`iTDte9JGP>X8X3q9u}U8Ef=ORX zXoPuG#AqUiw&F)C9lH;Y<|BBGb)H06K-VL+_<|qet0suQy{Db+=f0!h2LZ79E#&r=Z_ZuFThtR@Jt^yx##m9*F zQ0!tki(QOH@0VJ6L=LClAWH0NC3Ju}oS7-f?#8<{MQ}m%C@AP&nh+O7ZxIsoH^|x5 ztw_?MeybnPK_NmTPL&Pw%E*orIFO8)dX-(0y2$=$orb1@eg}8)K(JmEdg-#xL_A z>_+WNZNt@zyG%LiicSw5iG`1vCRNM~NBlnbh#9IVQv5XGjkeA|LF-8mIruaehA8>* zUITKvr)HE_TZHMF_bYg8Ev+T>k&8tyO#S)pYsg|H zpTNdQ^BoP2Vh}iM^wy`nl{4>@%=u*MjvyX+-%-quFEBP~-6$r6_SBj8v-Xkes3)fs zfn?ow=114ahju7!O_fsJ&8K_6!up2CW!sP2(J<@ZYTj!j_SM@z`MA7KNa|IVOb1V# zKws9X5iPBlu(9Wb?zu5}HcA>qyNcGmY9zz~-3%aN916b{Z>;!n8Nzg3?5&-I#AJyWwaia{)F4u8+~67_XHTyE z3_evTKeusVCLM$;{s(!aIc+|41~h$_pd57sA4ioz6F$_*J87{hN!mrM%=rZf+F-w} zkH3bO()t1MSW$}N*={`xh%H5&Yem{{O!#g9)$>KmR?YlN^P#?P_mxp`-WyXz-mE+d zN?Qq!Udgo?%g&9cvQfn^PG8;!2{Y|om>vuFwRdIuEx$X8uFx>ACyCrFVyA!a@NKx+ zhcMt`YALyjJ7;w!ZjFyUaU}yCkZu|Gc$#T#3=J zi~ARw_bf-Y-$LjY1C9RAsabPK zq0vB!7cI|PekA@b2)w=6a2=KV8gEudCUamaYom^`CVE|Tf#y{SLikhU@T$)*?xPDGyj z+F|=))Gb$pjG#HIn&^u=AV=v$#6Q~>CTHJ*0F|+LK{wt$6FM)At4LTQHf*k-Dy@rw zJYWR%*{?ZcMMQAcifCl|=_D5JbK`=NQNzEDcD@2dLbSH=7s&nT3tiJoXcv_}0QPU> z`Fdu77&QicyCN3Y^BdMOl83`hhUu7$Bl$7z?wZM3O2l_gIGc9CePzrDcTVV_$uII9 z<>s7YR+6rq_5*qp#0l~SJ;C1Xf~txii*!v?Uh8RsJ%wE#M^t>ncuO@PEVC%c#y1l% z$4G_ya7ZgQLGYR$d!uV!>R#T(LLP%+<+A`oO-tnQUyycZR#yBt2-_I6xGoho8A6+- z;Mn5^6!Ne41?f4t(D(BfcFx8Oo$~8w46k-!I^(#|04qGa#w*%}^9F3%FxTq|C^CPYeqVWaf{%Vs8(E z5o_&&ffHeuu2K)|!jAWF*dro=?T|=XJ*Wp+&c<+7{~xaptu_G0cLA~GxSM zH}$_(#AJYUR9NNRZj$~Z2m%l$)IKxr;iQbsgHya3SJvY5PfT+^=SYDiQr5xDs(G}9 zw9EmjN$hm+`CaG5(`r%@1>j>Cc*pSmsq)IUwHWy$2NN}~ShP(z%Z$j7Y(gK7#QE_c zIA&NgVRVtjekfb66W0$M;;cV7l0h^FUjP_tU~$i@eFb>7&EP!@0;tfJuF|ls^G@U{ zhR%T0b?O>46F6J{iNmC?%#8Z(01sv7EUO?!`scAdzeV3Xp-Zt81NSS!P&sjNQ=rC0E9f@2+rQm-YEistRdLyD90y6ZUc~z#O_I`oW2F~z}3VV#7duz4RPJ{ zIR^bubAc^d0M`0U9EAobpD#i3A6qhaWb;+Fz^?(|=Rz87nMe?Fxe`)Fihpg+905e4 zA3)Vj0g3?qqx~GTx(~wnHF)&Vbp4+-U_%%k*)3&4j_YJa+B6U<9|pgXb|typ zDPiE@jDdUMm)0^#%2Ul+kff1uDE8Amd*xF zWXVx$89_wu??0FHfk^q>4J5u)j?knGZA;Swwh{#s;-|jcp z13?`K!>(U8SZJ>a!IfKIqyJsb0AB-y$7mC2QoGen?L4kdQH{0+L zOrh9ka7{V38(d=L_T510*xigTkW~#b7TD`ZI`KCccf-#fCWZGEz>-9=!(N6o!m(dv z!!%d0(%nb?V?MLbwg0S!RKBV>WRmfITgY-h-{pEnR{?nI@1QE*$h$Zvna3=k0mJy! zD-EJLn*@GrV_tZz#;_8NoZ-Hmu|z3&95O!&TGnav37f#zeH-Me3U2Y<2}$4>Zt>gs zmO}}04VEhFwA&yAae3OM+1YHifW)6lFO%Yhe}+m*vmOaR>c+*mquN!n_{Lus=&Ssh z`%cV5O0PZ0DD)uEZi8A)_hFj?d_(7Xu=n_sOt>TS{zPULk>$r=`trh)*}q$HdrO- z>$0kD8+rvE*$q#o$UgsY+Ku(M=p~*t$WW3$a>jG>b z?=B6y@XsX2E+I?NNkP=rKrn9ts8PDfo^AV53CdQ#fO-ajNm>4&mU;h|jie#UeB)F} z@>x48XQ3Pywg;X&O*1AFL@Qn9yCS@pKK%uq(lf<6$j>ZRF=-SumoPuZ4<6o<2C%PR z`UTJpByHoXg|5^Ln2pOQV@AHytfgYSM4L?J3iB`s+nKnmndWBE=(bFkNk95hp4Cm_ z{N6>|?xfT%sPpNhX`nzX@P6;(%6U7B;NV$XDMY^U^9D*;7)x0{LN%7P3_p_xv8@p? zWEgLJ;KcPoc6gAUWC!sMA&zUC-WffB;SWJmLw~v>(jgcKJT7=c#xxKOp;Pb|EK6c8 z-&#oFfLGF!;?7eI9^btENgIVN!QLRN|Cn$~-zl6PR<*Y={*APy1@8mLY2M}3P-<5*>`cKuvYrycCgDro27<0`h z!jPC>v9gEpU7#|do|0MuKK!SdcN)D`+G}-$vDe@7zTpFn$3Smf1(#6X#96ehD!U#u zar+9Cp^ud{$>?qvdoUWyZqci+*25)W=K-UT2di+9M$$^i9Cc!8j`TloU^;9fZ$A0i z3vXP^)!v;FmZMxc$~K~aou7g}-y!wQ8!YcQteKZ*$q^s~3eE7_tNaaYKHP%#d z9J7fb7#%@4C% zQpi}=W=W@6%Pxa7c*U${XD~L+n*JvqW~C}+lHAy~*WeV4Z)>)82IVxz>{(kia9YT| zv6(f&q=+);hpuK0b>6eADg=3*MyEole?gANBpGFF3H)%JvS)LHyK+C&k>%mffX_xV z&oEqwZcZ)F5+tNK`85|yYu!9=a^OXH3cP2|aqJj2D243`$_A(lBNKiMAjHR0|5CyK zUu;+XvNXup=}+?-sm+6xw^s+l-8$qCrp{o1=fOarL?c!9(^04r&`@Gdj+^vEou@=I z8=QonUAlV_>q z_G*SCrnR+4GmB9$KJ{{OV0Q$7a1J>C^}DlLdHJ$q)Vkk3n>1R!a>mTQ$B( z)hv7&83V!ATrpNxH*|9Zdt`&puH&1;IkHX+`x42JVVOWDR-JloXz`J+FP{!x2?VJ5 z7pMN z7b$5ELOfQ5RXW1F$jQ(>e|xazwfU0IGyEoD0K7e-fL1&QPVb(RqC5yMh(hI^V+rW)H%*8{({OWtoBkNb>^A78?QRbq>7(LITbd~9^BaPLhC9o|& zv_{f3#?*?>e69-flB+J^}LDNaljkk&!&nM zd88N>2LTY3kU8ehgG-|E5_^!b^n^*dMAMQT!%D`YP30Zr(XGB(&SK%vr1XZB)?qA< zKMP{XF`K#Qs}k`Jy}46hCZoAYg%CcCF022i&sSzix0k7bIjX#}yRDO}O_?oEvB&h6=8ez?+HFl6l>3g*MllR#!J-Z+1- z_TVw0Ec^r!rJ5DYJ(x!{&52uPo8-LSlH)fOxI*CMY5Xqw?39xP&Yw08?{TI~ob!o4amqCMIm;9kGhy@|WN;IYlq3fu{p4mzRL zgVOy0<%1n|fCBAFOMsqmkAR&44qa%Pi2ao|Qlj%ESQ~u8LQIDuSNCSX08eq8o(I0u zFQBY9>QyHKatV_Zd=<2-{sz7z zig^H7SIb!s=)B`6a+3`C;GH2O*l}VY(5mJbwkPe*0jb3W4t@{48a_QY8ORUD|FT`> z={+&FB4l|}n`wKje~l|fp5z0r1r7opDRgoIgVf8~w+Eeuw2YkEf-Uoiz*!fNRGt&x zAn`X6lz$(~l@s`+rQQ`}l&Z2#h@CZU#9B6g8m}`{Eqs;4;4Derdh*63c0y_!m}ull znpo#dV%@S5k*Ocv*U=>BCdGDoOq4i>GZQSVu|+9X6hBEYLY!>}aLm7_Cje$hY8{lrcd!L$hV=wdJ2Bu*M;%Iu zJ+B@PxVZ#>JMqQn@v9%7|AKATgQ38Au$*u`Msoh+OAsN~UTQJ2{I#7KIsID7B^|`m zc~N!TG{3mOUm`K&AFG7Y#9+rVzaf3~HvCG&jPr9UU0IJo-j`7>DEc;kC2)FO$@NG; z6YRWXR>qqxph;7sxVMC97Z^p*Gi`2abACafbaBKuG`d8*9>jp0WaWX!cOdeFs4$py zdCf$Q(Ru#12|vXKGypK4k=+hZn@al_4%zH7UqyLZL4(6u9Ont=Ox|9L{2mD6(%(s2 z%d39iFNa_`7;Vfuuueq%0rp!c(2&LtTbd@FEMK;MK<%+EMId$D6^Q(-kxA`9Du_Gl z0fu3Q-H))HIdHXvn%)$gyTAv5Ou;iYq>8&i(j9^)50r&#!3~s21=#N)f(x~msn+`k zM00K;uaAorPr_GA3t}R@PQVq)Lb><)5o&wBxGw^pZi)5e+xGzbJYj^Qy+)1hckz*) zLqG{o%#nwO0QK$!>$i7@+q)J-M7#ZSC}K$(QI4Z?WF-yLm86?AftPly@} zM&y}g>quSfMqVdBY7y88?^x)%tuwGFqQ&d-iiHxD6qV;!J}8W<$^z?kirElw70bH0 z)(SigP{-h^|2k;~KJceik&if#nv`hGM(*i3zIFCPkQRwgn86;wb_~H1ND@`HlCbW3 z+b==>eVMQgyjeCwUdY(Ir5#LXjEFQnSpqN7c&dVgg7%Ilab=`40NvfBjRv7%X~IM; zA(W(_95(C)9jHIVJF=7~{}djt^#vqBteu9m_czi|HkfjWMt1ll(*y!D`n+_a)EE)@ z{RHG7V1s3~#VoHaON2w0VQnP4ef1!zp9t9YM4D%5I|)H40>js?RTTsWN>P~Hd%b`$ z4e!o0xvaFAp$;JK%!n`o*gjgeGiEK06`M5eJeHytA+pr3{Ju)X{A!S>`5;FfC67Vz zG3Y$&R93uprli*5p73r#)+=tZy9TM;^8twE5jA3FCX|Z2m$&lN+QmTo`BBh8g~PT_ zIhFef3`1$XKx!a0=NwqbJW}p;@>qZzmW_TCszoj}7hN!bgceQJ0X3)+JJ!Xk{-iRb zljMZ9a&=$)C3YxCjZ4=><)XRBhQTrf!Or;KM>=XB&B#s0d{@j@`t|?jc2@)aCP1NH zehB!y(_ZU98`=p9f|P&LJh>|$*s!|iMKy9dE}=LbpPNfaj-=dHjuO!uG@h0P45^8glkk@-O)mB9py~VHgNS${_fNt_Zf>@sU zLU6Zi;QVdgx|*J|@sqsqEd$!^VD}sJ8GL>J4@qYp4(0y-@spw=C2Nf+h3usavX$Ln zWbDQkD$8VxAzPgYAxm~+-)9UXTNqo(Qe??8BMje=ZL*Us`F)=A`{!KO`Qt3tH1j<7 z{a#-8y~?{n?q~TFWF*E+Lb9K0opvv3mpp}-z8%FOKJrXD`h>V%HE;9%l#oNE?m$(Y zBsz)xbI?3{3Y`QCOCk%qW-lCMQo_%{D;iQp8#^~sEbv(5)yO#}U|ONn-g(%+U!hTE zg@u9+p7Wy|jH9~t_>X|b%0c*O{zFyu^^Qd`#7h7(a9~XE2npPSql2}$1 zMG&wX2G0QrAo^~RZN+@6fOwH%S7720^m3XDL<|xZ8?Z6*;JK*By%Lq+UUu3K7QL(F zH|%YO5xK9todiCZoo{HRihl8B`8t)`Tve$XU})14^QqViHXeK+8Wm}^%IEsZ>`hdN zM1RpVAB#}1RrU+e0_l6w`xL04r&c?l!lwLvqf5&`V?75-=#|y83JbX!)b;9kEXWZa0Ee}rH{ivZOD8(h2lc{jT~y_LDTIBHYq0yz5L@tewcWg4ew~;mw+wuZLrZUF_`+IVWzNqA z(66=HxKm46J_vH%;tGqxN_aC&X^m~)nR#=&3B-!ba{mos8%EIFyDd45PVGA1JFgAd zx8mu^cw)z67RGeRio9-1$$P_H3ICW`+^nFvm2e{ek*Gk4EtDJFOqquy^siHrda3U~ z42V4Iz3-bgC?$+?d0=gaO5pAs4m0_}4EvC*JMpby=74|UPh6?VAc0*Bn+@f;>{Dx- zu&ovCA@LyGG!kf!;PaF0FVC_o;}2R>9l}h20jvR-HhvPlBoADnB^kGENV6Mc;A69 z8>`Vq7jRqtj>?Z2!zIf2YHB@Ua-(?00tX43$5BGC1+vp(8oSd=N!Br;?)`>V(121^ zS69{91{POdeWs>Bz(RI#+v)4CvS#uJu+D^{lv~ZVgxSP;&G8n-1xg31mkRn(2HqTu z7>3DLr#Y5_4Vcybriz$MjcPW&FD2Hkd>^r8%Wo6bn>n`Z>s&++eZ(IK!Ye0}rGR^g zyKUurb3mb`h!F7M^l$wErHD7Q+52%|!eKN+=Tyt=ZPNH8`o_ZUAA2{)CuSgu zrNsctxLAEmv^U_7SPlMF{syb;=!XN3ZoSaIRT41${kVv zl;&M&4?ya;s+hPi3V`VK)6r8By?j`o@|{Xx_4wbNmumdw@I20^*(~VG4&0}|ECsm4 z%dQ`u__u%vKNC0lpr)+a3df?Ab=mc+N1puKZFtbp+2th1V0XReMlYF1hk#9d;iJ)R z!NHr_fnlG!`o1wvahT5Up7^)8p`B<^amIhD`4=f2zUX;+m`hJ5}1;@4#B7>6$O3J5Q5@I zYsI@ZW_R#h^DW7I8r2B4=KqKsDyy?!5^3=Q>Jy*}PdBrClpK(=3cf>|&)t+)kEW-5 zp$)-bq47JCovRk z-yPr+0<)gC|5mqnMLifFpB)9&xziv&&>VDNbrPu&6h zi3uP-nQvthqo12mJ?Vjp7)se%W?E^H-W9!pj!t)#Xv?= zcw_Yjs9>%D?hTeTd8G)JfstTKestyvuyoDk4J1my$4&jC2*5_si}RpQ#4^;6`D2s{ z5D(Apb^-m4XR&qUH<$)F`96W)ga@Jdq{{&)J@mHT1{LL^rxN$>EbJ5g2Z7Jc+gH-9 z>iq-SrfQwPwJC#?&D<2UTTB4y*d^+Q^WO(h^2k$S4zn0{no^}wD&NmPr3qLOBH^_P+OvaQq&Q*LTGXcH}<-b(A5@Lr8EKr4}3W=HlwYPRe0kEoBL6vu8t2e+J zgn0)>gZShq9R{NECPSM`*-#`8*X0Zqyr1z4D5JGULFBh>N3j$#Zs`-E3$(_ayO^6T z&^k5*M@^;6fYs3QN1&6*z`c+&Xa<3|yhA&Ujb7?f1!FuAx4 zIBLaH-*7$Phv2@?hq*L44Zi%|zy=TB>4$dsx3=2rhtR9$V7}bDe19%)KeHyb;zF&% z7U-mrHs@s?4~(TJKfk{|u2dfBQf_tU^7gktY4?eG3o32jS=oYWL5D?vxy;!+NI zO8;DjiuUqSnl34u*AW1w&BdC5rPu69o1beq|}atG_iP12V!0BoWG{uQ!;J>`-r%Khc^fPeZ6 z5mMo9QwIo^&4JCpai1?|{Sye~$<^cTk{Qw^)ZxJqY z)-1O4#!mrCSAua_Eghe9jSwWD41CBePpSNd+|GC8lm*x>0G^N`oznXHyIBFQo*UcS z;PdMYkTl_8Rx=z1E#G;-xLaJCE@y0dikf~OGM(~L500v;5sG{P9(Xq{nh$D z?DNtd*%N)&tU|r)S{ThNd8Hj*Eqb(odGcCwEHl~XXlEUCOI~$k_lju|5M8x$jDde5-5%FC6=X4*;WbUbsLk{emwjI%6+5)eSZ{xy7#oX(1JmVKgO& zFI?B1j#zk}X_k5VC{?E9Ae`N*^UXz$#XAyT?(OT>x}Ogt>7lDP^EPG5cPAmnKxb6d zYt+6V?~)V$i$7kg^CrfkG4uj?V2L;3XfDbqdajG0199}=!|`)(wi>rPB9`@n{kDHj(b6)_O- z5ND(tM*gXU27Ie)^InAbHaWXhU_z00TAU)62{)~JE%GPsnpl`SryYWqQJ7}GSiF(C zTW`cr+T}f*tQ&f|BCcCg^_1?}4WHW()Win(uUD~M$Pg)OUAEHjzF{-iE?T4cdsN6c z7@9U(|H=s|i&+%3pJIHMtU*v+hx7zrS)#|wuWGcoe4{G_-wtiXBeCEtO2@I8Q9)TH6q2Drr%aTUX`0iWE=-lL5DB2}xpFMK z%xV+mH$5j)Gde?tp--?(_D2i`&r-eTRqeTg@Q-?XtkXR$?wW%^|_`A z?>?!mFFlo=ER`Kwz9WWlsOVQRtMp~Twr|rOHAtZ|-mOS6D8_`=%!J{DEnqXww2oWF zLvYC@ILb?P>LI3=20X~s!Ca|9lwWVn^XtJ5QUOPjiv1X;cs!jqii>LNHw;U25Jw*j zue<;~_^0x|-`v%3=0)p&wVR7A6uU~e#)q699P*lYHUP37?z#5*&GL2h0$gG~0v=0x zNNz(nC9KJG4vhJlpr|Z^4;HUxGufO>nsJbv7*;mRQEhnYSSGQ955E-J>#h3Qqc6P0 z*fqp5YFZ;|vHhZl8N-wsPWLmTPV_VZWjTF^y~saAXs{cAL{5jHp&B(DoIr&0p)b^3EUF{KA#O z?d+gwa<($z=^2yy1xHYo* zIl;L{nsr|fc?tf&%yY;nkFT}|VgG^PF0~X@)K>&6TqrIVLmjR%7a#bb#gmgziA=&? zzNzmx6O(j*Rr|`BFhnu*E$tVm<|ni!em&%vG6uRF8JwB=`I2mn{4oZ)UwKKj}rqjt}0^y)``Z>8(TqQrY*7b2E z*iEzzRxmm>|Adn*$)@6nK|k%gT$lslEs^j%8}GOL%lod2`)R48VNo(=(zcRS5De?b zie*$!DV@~U+NstY2r#@lWaGZ!yWOxEfktmbG<0t21Y5Y1L}CfRvX)I`Hbs z_kTT)_Dg>~R6cnYBO_0)}@pqn(4zvjR=a^3vkq!jJO`TkvJH zCqroUNCnw^#V1Qc)I87%>D$#|;kF}Ex}ix*a}0%=o3Q}aA+WJ(#lo~vH6D)Dj&jw> z&z5%78r2vwpE#&~_ZI(Tv5>x7^Bj9A{lAd2DNI4k&MsH-Sbl&6B6owU%u-u| zR2yp;LpZG7@_lDaqfUj?MaWE-e^zC}OZl5Ap?JT>ZJg3k)OHTbXq*>bv|oL1zUGm` zgYpX`WGM60j(IX^+q8&ig)tcmSqI(9Q#^5;X+u|w6BKHN$n2_vHQyg+bS(Mg_q}5t zB(~Wp>N>AuK_zVEzZ#MJx(D#E5EnFzDo4Q>Lj$OQ*$u5J9R4KU(a1b~hdj$O3 z;XT@eVJ`VaO&&%E$(e2$jnhoj$!4iV=}HF0+UT1SRCTNza@r}1%Z&I>4|`Cbqw1+> z#J%-4Hh8q5QRdtmU{7g;CkeX2_ zOFymk$Ro|XxtAylKWbzEX)f5D5zb|7tPFp-zC4!o+o=@u*sL^)yTvvZ(3WfWj*3W!|cRj+gHcQ4mG3@3yH)75e$tA|rL=VU~9h_U^jm=axSk zJ)bTW)`ztue^xj$RJwbka_#A?j>V>RurGI&%(Ia{*9@}ldi`f1_+mGfzr!Z=-LC+& zo$70f%=D}jy&B@*PC&iJ*kj3l0nk3k*!I)?ufxSU(FjI1W;M1*?sb!!H=PG^*FtVV zU21V5p$+H!OkvYz>d4FYFqZ+>x2YZTx=JfR0!VwV5~=xcilm5>ZwBc-&7;5s4w$5a z7{QpvJCcmB*)X}1Uw$!Bszzt2KADYxiRZR!^jTyVcEATlCtv|Eo0mY8`>Xs+1-Pi6 zG$6yRO&Ms$KYVKt1`^Xob#ShK@gY{UGc~!Td__L3?|dA3#JRpd@(-@!JdGc>Y)G_| zqZ`YyN$;5mo)qcQ$9$zN&(CKqPDS71>05 zmK+5+$>tZ_-`mY*gg;r4eK7Os`xc49^ynY1G_~l@x~I%;Ux6BO7aMh|viA6Z`e=12FYaIEKbR z90X&_P-mS@!RET;3p;h~f)^F*^>KxwF9Z>P-kb0;Z>st%MAa zUpvMA8Ca$NAe!{0llD@=dtj~CYdI_@rnBWYN9*r6rofYd`%t~`Vo3SMiqsN(9w(-P zx>f@OyE{$&_<>&lLwkzaRz0cOe#_lh-SeJ>w8mA=hXXUf2tUgs3jwliPi;Q~4nIe0 zgZQ2AW9OULE#L1XHTf)2S6D5Dt5as0DgJzQR<%XrHSfj6-y0V8X_oSnDz3_k2?Y}G zX`Ext-%>!Y8ETK#hbkibwrmU>$8SlxE@yS@kHYT%i=KXyPoozTr{VR_~RN?gN`QTl}ODKbj<<&?m^V zlQc^DC()zs1oo>r&oRtDo!X+9@~Wax^CD5hvYp~YSWj7X zK=tOc&@Km8XzouQ_}HMRk7F`)v7aP;c2R6)p2(^bG;>f)zWE?W4%Mk#1I~jPiznYRo89vI3L(2?J#xWht$WD=m>suoo0L6;1!?k7KIW2py|N zKIaDI%SU$&8gqeWvKM*1V&OS{G?^bnP7%*?zBSYXmpS6dtv`gyVX3-$= zD)f6y_X+8Dy}?JIu=20$KFr%IbGQ-}ynxPabFiuK$@z9+Bw(4ng96qF9Z~^DxPb%}<(m`iFtZ(8}u<(nF^!|gIs(8A5 zA@2f+gho-hJGpcz(NzUr6yS~&)?&&-%?AUjgyxJ8FU$vnGJbHiH{7t~HKR~77r?f* zJ-MvavB)ZF##waCQa$R2RaAJQGwx?~v|7?ZF8fF9WfR-iplS4;qvQb*W;qYXy=Zr9 zFTW6R|7lYnOK;rpz!gzkPrGE0vGo-K{pC|L3HlPkw#3xhp_fCX^H$u5G8QnF(qrs~ zC(w6r9lm)G^?m|a^f}L-S7qPFOa_Sf;*~DLU!o=ppI#kw$9Y_=bCHw2Cvr-4nzLq@ zJ2!wcBpPG`3n8uUQ${?y_KeYv73;njJU+hjcXmR%>L8r zE*1Pu!CtouwP|Z0?hmJsd&88(VTs>*H2Q?4(ysroh%+wZtIlvel%q~OJ2deB@O%K z!TwW?bM6A(hIPtTdJ^$UJ8Z)FTfXLWS8nC&M+aX)I6(0IZ8P?;Q~vcQOORQK36nod zZ%%&m?qc_i?Hbz(L_;GE&x-md5E zcK7f%?`s>;tpp*Ba7Vr=gG?|+J2f*30QP6<4hHkG54Rh-HS-Z7Tv`s|G%CS94F}oU z279@0GNLFo#@B$kijY={xlv|OyGOLw2E+fY5ytXU@zezVG_kyFkfqHTvfs zo}dF1j;3r!pfmabnHZ1JfrROO`8y(;J;l5vmBGMX*s%zV@p?!dZTdpQ>_NF*MNw}+7$l8Z*3poqGtaCk zs>b}W;|lkBaKZ=M-+^WMDfXPDLA%L=JjucTpyQx5qaDD%JobaPT_+@@7?$QTuEbSi z0pM3jAxezZGA|9y#Z6O)YnqWfV;>R69!mbkSH~nXQFYgvLHNdoJJg>m4?n7tm1iPT zc=iKpH-Lzid%`1Pzrl5trLjFYK z#0qfzp!?@r27d~vSK;W`u=1p#eGdCvO?*i{Rwxj|yDEP=J&J`(JiI4xt05g!e?FE}J-$W%q*3eTvhiUadV40EzH;0jv`YEC z`A>cxtA+dnDGW#iJsp2ijjVTeP2rSsb?xSy%bN*V}A&g_o@7hfA~^;Y!!T4R4CrU-PkIl z5I+Bce-8k2{_Q^f60qVM?kmLTHY)$e9GMzYF22CEZy7p}LK7a$H3;HfQe#gpx>7h- zDf)4Y3aSnnpj7UA?A?jQ@)zDIW#h7~U@Rx_u^1w2((qTefrF@M{VFEm-|Nipc*Hm2 zs-5lnq-(HmZ}*=@vLe)%`uHP?Fqta^T_$`qvwiTqDJ-?tWvKH2d!7bl?iH~+?@QZ7 zxnQLP-4sqc<4l9bS7$&VEBTofd{An@KdQu{|41;g|00WEwd23j7sSq1#%gxGxo9lY zm*s@GzAsoQn?Ac=j718#R|!t{lnyALqkpR<5W2yL$VV~<#_RSY(JJJ%m)2h}9llP) z6Xe*E=0NL)+4aD9YDm019jFWyL)B7ih?Vy_2S^fi3pRoQCy|w7!}0i+(*iR=0utndR23> zzrbkI!e%omqUnopM!kgSlqY!4x&z&?tj^^zC#(NN_yTx`T0*Yv3ivvCMO=FN8o)0_ z(&_|P1QV4CPQ+|hJ$Q(0`uxeP&j0@G7Aq|CX}2g;cuaSzupR>B7yK=n8M;IDzQ!NnyrB9BX&13d8=o~Q?m&2t`iw}0TPf9{ zs{D1jeFqKcI|j#GkfZ{pp^cU+)=18O>Ylj4l6?)k128m+T92v8WngN~F~mAVpBB@y z29~UT{|9`pXmCBTy-Ee-E&Cq^vz5CKep8dBz)EKMb%YBiK@2-Z1k;uyl zF!lN7XG(7VmW2-XopCEx;H5{}>5l^^lbQl`+ z;0o*f=K4F)r>PwMvwX7>+k%@_Frv)6)(#%vEgH5DCCu0ocBW?w<8DNTLwfeEMd>h z6gyy!G;w~K-!AKxs07aYyyFdHazN+a7vD1*FCfadE99aWyb`9R3a|6Y)Cdb(ajXwH zl;7+9^go#x!5>evGQiKZ5mcto^+gVpL>?Qt;l&ZMCqc6bKyvCqsOH)km4|$P_yAcQ zthF=N>fYc|Kse(C6z2*n!tiBIlxmHTuaS>|X#8^k6%X%^*-EO_sqOl18X}|ne zf0)_rwh^KHuULR~5{Q{c@4lNR?5J{?i=KVxHl5lPo`;v9>=`Cda|>a@KZDO=_N
DDT$FOS5w7mES_(8YVhS6RN1IsBfZ=JPaEDz{4l}PN(B3B z^xO8Y@3$|#20+fcwT>vGL7`M@hrh~PBtg-YS1OCSdE4O`sZmI`<5n(V68<+%Rc2=Z zAH1+}sgyVY;bp;^c+2=?XMNI5PV9UnXs`FuK?4Z7G2g;yf_dd75Sxq zK8*V_SlRn5Dk|u^;Jv~dn97eF2K)Ku&D?yFGB9vWFFd#de!9=b3y67SYyF~4>7~(r*X)KwfS}^7t>mMDW5YLsu@eMfXL?o^{C?UX`FE#V0ueP z3@U*L@H*GjBIn|edyLqYq5aY03^(qTv4Zt(c0Gw76x%?zIuNJ{KP|LmU3w?+5ziHI zq4tGK23Ms_2#!+pUD+F6x%g?R{kfm3b;5kI50?_=c;$jX7U!?=R#95wYFZ%pR`@_6 zr@|SH?cj4kes)p=q;N5n!Pu9&C#*rS&c=+BV}zdn)Pm}j@P;qRyX2>9VPHfU#cm1B zlL`D|b|tYwn?j57b){J6D>|_ZA-D9U5T78l zo75l_HQ_SViGK`Im5-CQWHBhhg}gzsh2<26OaIZuudX0PUpQsV9>*=YJ#cj&JQ4YX z3E*IYUZmMLwOH_v`q?{z8*LH7AIK_T<}$&P;uTgv-Mps=q4^ZXCM&rA#$*_}E~Y~@ z5xPgrHMAiV4EVD@`eAfh5cYwH$>3gs5}(#5)2f#O@R2y|k6WagPDU4flBDCC8iqzd ztwQ{{u;u|y)}Raf(TG2|Ow2cnBa=ZQ{Ph38*niHih1faE9kVLIa%G##9fLBWiuYJ( zI35#fBo5h_C2c)f9xiMP5Q^)_yLx)6PXH}qm?~-~)>c#Xrw{NHkybf%;9B9&boL?a z<@ayif@%Q2A2_~J9AJI>@z+y+Cq=bXwIo9p^1}WFTgod(Qd8@c$T==!Ot!P=AKgvs z!9CaSE_jQLl)2rO9ZA}JP2+=6OFrzb#p|f=?H3{#gxlvY{S<#r22>AFn5+C`bYgtL#gp6O9vE!8v%?Pkq zjA5==y4IMHc9Wv!<14n&sy4nbhf+woIGzP+3KUlditM$t5Z z=sPj;Dd6Z!g70)+0c7o6av~fHUpXhKd86-JRBP7_9Udl6QxcY%^cgT`+aPVw)6k8KS(<8VT$AV{da^FOSevuO6b zY@(u3B*!Reo+uD(H+<@*-bnW4yw!JMEk}rS@cMJ;FS7mzKDnKTeS`OZgVN+XAb~=M z{mTlREAe~0L!j7bbU@CIo4z-|IfYAi$V(uPHYUqXe$Ts7cx&UV)i|w`6ud9UHk`-0umS2V@C|6Hluboz~RpzW8ykaorq%5WA7MnX8UJ2 zZ=&A5#VR5t3#lt_P*EzpLe{Hbpd*2s61J@~yu-cXdN)DqZr?yIsT^4zow~hj!DhM~ zTU*5Zu53qV6k;hsx4^*RnXXr$a^q5RlcUt|Sy&@4eq76J>9%oe_Fg;dA2^4aO^B;acc_HYHz~zK!kt`8k#}we)$h z@m_i=Xtda?g$;%|xJcI1v+);x{s$PU>j8cd{?Pi#4q!_+U){>S5pAi|CfFsj5E7jjb0*Uc z9wq^o%R9paV;k$Sk6JHzv1X_>3i%)mPLN;hSHS3g82TNld)8PRCA3Sp7Q@US?d>U!SzqahJQ*eA9&#TdRd zjDfY*)t#r_9 z@hs$fXP~@2ytYaBju3J!k>$E?Zj~x2X@+i9EMmW==(qAj<*X!GNE-ZvXGxWgUAPxF zBHPs^buAk$_eUWd$Pp>(YC^G;LGlAIJIft5kyM%2ioTm_g*BNi-DDcpRAfXqj_+}! zHSCdiNeXuOmez1S2B+wZUfA~#U7?Wl5rP63+w!y=-_EFUiH@tfUkSgTT}sw&?AVLN zCgF{BGR>N_zF4&ED06?TdK7t*PUhV?uyYrC51j}4r0LipQtMeZTEm@Ou888XDtQJ{ zU)Jzd(r`S>ljL{nppDw`oCZ>*vyaahOXkb;m12}!UD$FlI_&eu|HgIxlj8NSuQwup zzyj$SewGinmj+8#M=k=|j^t2Z0?ZLg%TIP(39}$o)Zn5;MQ`2r1>>J5vgw^l!S+8r zuIwkjMLXB*(gB#a-XBB)U8OA|acVcg(iT=GPcbUTesaiHmd%N3?a_v?T zvm=Y7n#eIlR`iGW26$c58LLKgJL`Z@bJj56DLLw1G7YhwXjRR^fpajtzJEM`TATK@ zBqKMW18^Mv+&pi0`sB8$sTE5M&@}JxP(jIwjme|tf5i4UaL7u&Ec@=-hvPIb$+8P? zkJK&W{+h9156ii6)=R7Ad0`>;V)$=?MK8=>>I`ds6*GUC`5g9ch78aqCi zDi;EM@z}{r4{R?C?;10fyIj9Xpr>|fq8J__xC|CrQfuV9QnUbyYm0OO$79*`X-rZi z#)iPGNENaFtj6f!gHumvWG6hkB1wrg>tODX^bVrgZB)&aa>q$DzFiuf>0GSQ34lrr zJ9E&5sW&Au0L*W#4+6GBw0HKO+8D)hgvBUXx27kDKrwU%G&nb~ju5;QB(p&^^N&*< zo1H?=+j1P^Z&u0orT#H<2WSn7l&r3Zd8TdTN3=#PjxF8n&8@}Qh+RA5(|X7LrFbSd z>lW@RCv1cA4emt=sqHxZ4>7O9d(&cwfXi7 zb*Jwy&FJ^hiE#-c?lHWk2U1Z{7}uRzoa3zyQf>Bw^gw8^l&X-xG$Le?L=B2k%9q6J zC9rWL>A2eOVt@6dndnV)u-xb=wGyENlQ-qAQC21q@O!=DHqnyOMzoXAmEBFc1o!J#&y3~y`H}F^ez>#E%P}w@ zXJ{;#e1pa2r?*2yQRRBR`?YN1P(BQ@7Mo+~rfmjF4gwQP`ql zZ`3jF(CMX)oJg<=d7Yq6QphF1j1cu$x1zEKb+rXQp$n4A?m}Emz=yY&OiS8 z<1=v6xcW#UXfaLlqi9b`qW=Tr^zc2^jw`TxrLLxll6r7Yqb!B;uJU80@1rjPJXzXT zg8MN_xylf3*PMatyNlu=NU7;W^R=+Rm~$-|1em{SNq%_k?N$-TUR3p9@sFSjHvX$P zX3%HYTPbp0_gWt8s37opQtTh*twnDMS$9-Ku85VE_(i3aG>QB9Cz51rC29xGKayjO z(M$ecDkY_#EQba6jwaQn9nOMUb9+b^ioJ$ja4(s`5+ypC>?8272<-O;4FG$U@mzbp zgn21(WutWVJmckZ8Li_>dN2ssi)<|jEGZ%qZb)9S;AWz;Jhe)EJnTkdXUW$5(&Z)6 zf~pQJ`)d;&f-|=R*JJIai(?Ve9K8*6@ptc~TDsDSqO$1^Ps%*(dFo-LZ{*bkERL?m z(87eZx8=GmE5dvQ5}Z5W(yyYm2Bp@ZaTeXkvfpV&6na^d2e&hxP&kXtj#Xs(@PhY( z%O6KcCIW^k&UM0M6JE(~;kX3BqP7EEQ%r9&THbRq(1{9P!4}**H-$MR9i&(A0KObO=KL+;o|_9d>u2u^Ubx zZtosh8%Tm7&s>rpNTw?d29*qMBuG>?tA)D4kBwN|qb5VG*(W{^Y0_e`pfo*vpmL$8 z;Z`XJqX27Wf@c}RojgE@4ocumlLt~yO+TZkDaPbu=)_Uzbl!C4T|m6Z^$UrNZT^i601JvNQiStTY&CBWIFSMq zP7!4*>$c z3ivv~?c(ow;!A!(0H`4Aw(5k;CnBjuz$KQ~HxsFCG~)jS`l%p{-7XWU5iB`pNoI1@ z&!5&1ygzfpX0_miTXL@P6vMwO>ZrzCdRmgc;i8XQD z^ZWx1-cEA%ZLf4RlTp50UrH_1RK=sQ(uSaKnMP`GN}X*=UZ*h%Yk8 zgJQR%thTJ;(=s{`AhkCv!%Kw)EB^a%!t`I1U4Ep3fYV64s$$yDyiK=SJ>pOXd2WxJ zP2_QLh|W~IEY~BkzKAC-C6Dz&uk^&;=;(Ap*!Z!?^bKMS5TRpU`|;{$PxEZm;$2waX(6Fnp$?9S2Yn$Pgn zfmHzRG?3P>hIomP`xg;XL~vA}axvaJnPRYyzF#x@YGGay(_6+XJP&F$GDopbr)0u) zU9HRE+y61s0>|gX_p4BuHd4ciY8H^i|r9qM>sK7k1mLoyPzE4Gx|%H zZqd#7ZReW7jKZld8zFH!_~OTmRhykm}?{e=rPj1%nAk z!v#M&rB~_RKp5GCAsxQ><<>voiVhI3k&PD*s!G>gNrYaHcN=K(DkI$$`J(hF>n1V zPh8i#{>dn-Ki|E=>MYsTdBS7)eL>qQsQbW`?$7*^_zl_)5#DJcj<;<->By*xirJDu zNKL=BfL;``NY)mv42_?ori?~7UqVZK(>r~6-=k%d3Jz3W`4emDrzaYuog8G|_>Xn; z8F*J;*ozz3slgo^s?Jo%Q=vbiQcs6b+UapNmGY9YyGE5yK=hqG`jaJlzH4;#14_K5 zpBDmSE_(-@MQs~R@kk)up!eD8gh#2$%x%#s?@^sPrX_9CF}`q0eVK1l$sE?)D@5&0 zt%X2_Zx$-Ti0h?Daqe`1gS24t91yeFh&t%gDod1k-oPsE?|Zrh1g=c_K%V-A)|z$! zY;(Zhz4=~mL-FafB(HBo|qAceNCYD(F(&8Mxoed2z{Xp5XT)(jQn-dWytS5?({ zS|eO^iLqn4eC8h4A^zXHOSR@nPDS2&UTWgyR#q8&=CEG%;0*rPwW{VXqXL66PV+o( zfr+G)3FEG5y;OTJVc|;V#woZ>YFjJDCSR&sIt^ep z(){o?%UDUN_oRGyIcOw=&lKZ_U+XlKw@kPH4)QyBUawLd_U}KelOTpwcs_Pd8c-Kc zfHxX;4G8ku&zCK$A2WhQAZBYHD!F}`KLV#*_4^@kGZVmA%N+56OA@cQYDhb3q$X^rg*9n*?|JqpN%&LX8L2l}#g z0bzdnFkt^X83NZ8&rCwc;cT29CYzeAKW~Oo#-F1h&wtAnI_((Q{2M5~p#Wa30lRd49Ohh_YP04SW|{h_94x zHxEHqUfkXMABc*=b4tkb8vb$5!B;dFG#clq88R+L(^G+mPplQpgX}86y%*KVg|VB! z6VM`?LD8_Mx3=@3rF#1iNlvlKz8krj`yR-1;`KnJ)7cRnolFS6erPK+ zf%V#eBH=fk7pvgRGe5ZD$?>-99}xU-D5OG6k5KUEBd3#y)%W}F;O5X_&(k;N)?S(e zY_+ZZ<=$vFZrXck2nqFsus_S%SK541XW&{=00#w&vfGs zxHa`4pbz*KHz6|6*RB=-0!gzi0T@4_9B=UH+z%%0fRyP8P(e-I%S``&1`OE2WOYKp zVTrDR8W-b=`Qg9^d*eU~fE8+bFX0{c9O8ibr-=839M47NZ<#m50WwUMZyd_uiq1J5 z#`>;IH1y3cey=WB^iN3Rup+&MkcDF2pCNnp_taahUsrq9ainpVrflql<)$ZCRH?^|8aBE=uh6_m1`FjEvQ0w`9I(GWZlvOCiIDpI7$ciC?aY_5# z9Kkt%SdZXgfDPG4x>=5_br8#gsmfM|3L9VMYm{Q~=$dxLbxdZ_>uv=@%+hdySj`lg$Z@|A6=fDnPp@tW(f6V|^djQ`N)HOSk3v10vn2ecKS3&zlcTY!ox+T>ffT@Tu}O>wn=XS1!6+JBH3 z2AFJ&;KWGIo&r9iMZII=br1=OCPrO2I9a z_5&sQc#JmLD)9Gssw+iRLf%( zj4{C20SLa!ofzpe2ND<6+N_POhZqCLi=h?Ma8&_dVZE^jj|nQ>4h63 zs^epKC}Sv16E2VChwcs87Ji)r4HuFXjyu;~u^W?ArD;gmNcwoF0APiFSCN6Ze{P== zWhsE>Jxu7RN-icHkbk?LW<0FRCq~OGtJequ6P$5i~SL#w2qB>~2hb$BqlaVpxWV)FbmL8}q6;ODoY2d#g-;vVEH-&V9FOXxvUs8{x?D24jBOfT zp}F`RE9Zo*TFhJ?LzJ@}3|vsN@#Nw#`Ew8R2F+n)z92Gur?#c`gmUW&wgsH{mIj;v zyUmpvScFw!Lw34c(Hu+dBCI@%A;|A$qJVmMT7MoyBHG%-pQX?~fuE(jcasq&kCN5P zlGVa{YuTY(>9k$cHnG5OayOQ5+n@e-G+xxK1w;VS$!V#$x`l(%v`C>Alq>ao$8>FW zHsurh?V*+9+sfv{v`Y!awUU@86^|z&Uc#qm0Mg2#_dF%)5y%+`Tv8NypI2Kd!pS2^ z*=xZ$@0{u(t>Xf%9D2hV+$(IGzji%NFPRUf>gqi&eA-&J=ZLl%iDlzv1zAk57HqSH z;xo+QHi&VR`^nwuJ>=Y(09KU|ZO`;YsBhC29Gsz2@Y~1t1GNvP&vmbN^q-im_|^j z(w3$)%Gv#Zt)&s-tk+%O_52@uZ}|}A+O-d3U|}F2C<=%IA}InQT`Jw(N=PY43`o00 zMOwN+x*57-t917O5(>fq1B`$$H1E3hbKh>C-#_qvdHAr|D9&7SUFW&ZwT^YH;|QtQ zMno7kLuFF_r`%%uTa+`2C$ zd&uvE3gLJPrZIPfqgdjBZe=23v+SN~9W=YIsa06Zj6F~PHi2}oPoSNkjcG=@Zu1U$ z&Xs*0Un;zlyD6}x zN05={cKY_lAfp)wQUv^pjkF;jwz=cthIn+%5i|`HAu;>3T~2E_EhuGC#=L&PWnd&0KRuw@6ZYqnCgbLPgzzfum(LAcV}lNE^fpwk*dZ! z?Y(!U(F2Iw+gTBhNibhX^=U?WGGQ}%}#2%Rgf;fNyY^lAJsKc5orYM{2F-uc^Gz_r%$2j&Ih3*R*yM;&}9tSuE}wG z#x?fc95ngwpp&e++GVS1B84;z)~9=`zU}G?+(T5F_DnzlCctC8b-D=AlOR(D69lRS z6yRZ*-yk#I?V+@UeAndVK-qc6>ErZ206PiT6Nn997RwQPbs`)oR4U6V%aa4v+-2`X zBig!l){n_HDkI)c!hv?@$%7W*$A7>2hKT9Kr=`5PnDpss_|Yrp?r?zeNs2f(@mm0~ z%snSTC2z|ieH-6Nh0Kxbe~xRe~K&; zT319b`4gN!7f;ASyZPFQ4Y={OKOOpi++SSRrTW2qYBlv}4wOa@cjVRCu11va0lYLM zIU`FKVMwZ)lT~q`_dE-B^2w9f4&4pTMs8JmyyXkO?lyZXA8>J4+qjdqk4v6EjF1~oC{Vh>t~ z#6T%3-gb$o4EwbwH+A}w;ub?7bM`b81AKJ5FfKZ`pV$C7N5~4fpYyz1{%b5~73?J) zX1GY-rg)QPG?LVOQ^_tt7EDQ2gOozhbHOUpettuX)mlrj_rVYB&Rm@1mr^U%Qx}`E zQ#`v#*b2qA>TWmsgCJuAuKG&Z>UR+Ktqc0P77q<_MR93B$GWfqu^U5CY1ylFbFOyA z?-9mnZ!d{N%8zhpcr>%FaS}}(D#}&5516F6f$Ro>WUbO7Q@!q zd*=7#PDk%#U1n_8S8Bk9dF5I6Ld%Sl^2}3yrFDY~DvEcM0ZZS~BGU}-#^{KazA{cW zke#kg3_W+rUE?Gt;|iS7@xJ@)k=NfarK?cZ^}o!@4MD?j$phWvY+5Z$E&x#6^y=0n zRZms`aj4Jd2X(dmi^F8Tj}Po>wFBjYZd+KzM`?L8LY**XH)FryWwLQoMBpA9bmfgwQN}CSfab8~hSm}R|$lRmnW}c{e8Y|TYu#rcE>?l}bs%U6xTs%<~7X;HVN zgM@K)hcXxGQ(4Rt)2B?t&UkvIfOK=0@$+PQsyFY~L{jcWc1$NHNaeBAUH_30XXE$F z@b;(NfL_CPQEH8*c+ew`pX!j}BKYG8BUPi4~AUM?{BMLznJCEw?@lga~w zLEp7P3Q_IXq$y%bRia5SUl&u(-r4cE#r(sE!5}sn;ZknD3mSD&6TFQ1AIp`FmWDo9 zQ@@h`$zt*c+{a@U3L`1C=rf6wU)MChUX9#!K=1bk(NVI*w^xsFT#$LPNSmOA_yvwm z(Fvy5!w> zZrU{BdN!dy)?J^D@tD-Yr0ROIM7PyX5K@wo{VBJb+_=HxT#y|IZh@&q4P>hw9voC| z%pnu5qFU2>RfkNBX0-?+)`RFzd`~gw4>s_}{v*Cs3C=We`pw_LIVy=E_BO+)j;8;% zO#DfgXS%&GjO{p~;eICyUAfeG?Ysp4NTzcP8xOhdM zW;PjLkuGO#I4uCDR7x5tNq$6@niYSr4$g0^NhH7L7M_@%CEkB*kF9O{l@lMq%*E!6 z1PfRJVvP-BnTOq(7rLa%VA=R}=39UCOa1ZI_GUif3)<>!4~NIQ9D|19gYIpfQ=Jm< zTdhzZ+{7bns3^>=_A18?!5M`MBg0iNiE6aK zsCHV8m9Yt<4$n{_O<4_GGiZ0AU2y$gLz(7|72*x51E~G=eMH6%k5OGYt2_{YKI;j% zQ`mtTUR_6OAm8K&Qci;t6wE0&=~#R%&ld#3hML;}l2V*Q8k};ej{?ULhUdY+G^o;| zz`-S)H41Q*PZNmN@f1Idbble#=!4^?5~jx47M)}O?cpyyW*{x?Fk23QX(b{^S2Y)# z`=jR`DAJvy6B+LUIpBhE#5T9svtrE#u|YzngX2IJuCrkm%r+{yyYHuV9}dH`T}9{J zj!Gc}`}v3FyuU7EcuNElE|4XIUhFvJ_$%$R;4A8Y7zTCZLZUvI;Mgx?Cj1Wmx*O5_ zw*ior181k63iVNM0>Ja|dBN}L1!9)EWP&IT-wc*P1V;%#9<8w|f#bObXp=M%`Ef#J$*tR9)680D3#9Pd30p%6ZB`+XUR}i$U4EnA=qO zqGiuUi=Ux`_u~D5e_q-V2S{P$E~&ig2<8J-~7eKrmW=QvIukGB(n_ zTvOk!shGxlZ8=MQfk}ZvvGyx-$|#>5wrWn2P&aOIBS{3_+s`U_S=?LPhVz z1gEjKbQzLea0fa|RokC-8Ua}ihIyiuj{-w(`;3799c>XoT(^Jj78qC9AOF%Lh!=`-KJ#}HEDhk<;N3?3d zP!423zBE3z?q|}mWzbDlnic%WpY1oGW#}^7m~?fc2OaT(+>BkatB4lH=!z+r=>R~e zk{9b4gIOO$-K)Ns;zLeV7fkOZZsTqw4T`b*zcY#~`fFNdi>~R3#sl-@ACkPq?Z>9H z3x~B~t}k+DRsAUM-^z;8lvQWivC1W#@3c=TDH+=-NxNyp25@VSSMNvJ)}mrWWWD498NZ%Y^s5e5ha=VH?FXE0^P<%|DHA z=b8YWimpJD4v&@W)32x{8tX8-ly8`CIl*W^(1vc72*sO^^GDwwZC`w0V1rD?-X~Hk zdvT4$UMBahDwSiM5w*IRINu!-y`x}R_IxjvtnB?m z;-iQ^O!Ti9Gp$pX3LnV)P>nKXq>nP8m-g0SU)yn_&9;Oh;Cv6-p2F0E{*kZZ;-k|I zD?2JjhZgS+q)J^Nz*-uPd2bJNwaU`0#RC{Ob2v%k_-W96CEOyE03Y*Og$JPPePkf9`-U=-(oF#+ib z8ia0gLMZpImD32~HiEht802zB(-1UIV?2X##lXMv5qAx2NM$f@O6FINKRU~7Qo=(b zkyCW@Lvt9lH=RQ#m#>kzJ5~oViE>u>$Sn}caR$lj$rbJd$~Ikt7NPuoqaaC#r0(7Il)oajl8XGt^OfYs8^xsB~mv`q`PUAN<815SS)T4iRymYfm1~O(ZM!Xc#~o zuPdGOo`*}NxQDW>Q!RSR9vCsbeT^@U2s z(CpM@ZenCZ?{eIS-fC$a$f(|}Vd|_7F_%g5KVfU>yfpavHRUKwcwt9+($}R)?5V$H z?t9+8trc-#=e*S$s7ov}c0#CY!iXnJB{}%@IlFRwHM{;anJ`s+qfXeQiAH9#jyq;M zeWts3>yft&%2AW={MN}Fjgd>Ui639By*hHtDeP;{`LvijK+VmrB?nn$V-)qkFB z=^I=f)GxGFqnM6b+Op^U9pL10g~vj0pdpuNDF5iO!T_Mqe2ZOQy!FL zeLa=S>P+3F#$r0?eDjRKg$OajY)6Cp&|COYB@z49vU-YnVH&ceb2X35g>R{R({Ad7 zRMaW@u?B|<`Mn6SghwfPWIHL{;yI|Vy6n?gdVzBaivqE;=NV)DLCJUYl5_AQQ0Guw zcfMp6X%djSt}E!S5ObHYXnCm2;Ty2SyC%}}O2twL9Bl?Tip+spmO$f%u~lx=f!|jJ zxzmb^JaL2OS|5w*=EP+fMflXmPSg7uq=(90!x%puT#cj@>re?lEn0nIer%}90jq8# z#igImm_^EIlV^mv+@V-vcRMKevROPXwmB6r41*g}Z_|(^owfU%-jm8%G53*;?)rP` z9z{3jU8}SW%6wL)2<4RS1nRF$LyxoS?V_Ey`>HA1=nsd%ckn0o`vIaJXOWL{H)7H2 zS3VY$IimtL6~-$V;#n2b?&sLEf~BCJ^iQwwp2wD**>k2Y?+G}=p?VKD5G+kReK2uc zrfJENLD8B@!-KDcExg4m`@WdVd6x4E0_J(@LP}LUDwzAZA#>c8dD+$q@|b(G{gy#X zZo(7^SBIpr)oX==?*(BzWk7oxv@p$=^jc~G{iS_@=#DIDFCiVg=Hp-yL%Kjny(c_~ zT7vGaoQHu#;Civ4rw^ye@_vWm z$w*vQfha7)I`Iq(OeRZfWe=j12-XUJ^YAO)J(X--UQX};cERWK$_(`BQrK^B@Y5~0 zz5p(Lbt$tYd;7@sQ%9X)Y^(;1MQUVIZYT#{C`;{wgClN~vgi!a?GIVcmrxuGA+_38 zZ0YNB&~Q0Lb=Y1fDKiMO--0e%6h=~2Pc!V$?I7~i+&q?lv+FY{<9Unj)W6YlZ^UAG zoW>x1{9;|`bhgvjT-|^({95j3NtCzjjzFGvlppUe0|i&X=QK6d=W?R&1g4PlD)s4m zfnJ0!{yb>fu$Rw|08oy3kf_!rR$AjvP1H!^gR|AjlT6a%ce@vwu`bCoY}k*@!n#+#9D3ULAL1S{xxEHRB(?*XMw~dgZ(`o z4lOnXT$m1D)I&QYovGZ+pAhKpl<7kmIy}z*ev8H{?}RR<*W-@wyQ1m~RtidlPq8>g zt7{8#E+L@BAD8=xg;MLLO%q+|yNF-lT#`n;`zR2{d%QXmvCDmum}Z}!$DdKHc{@tB zDN~2CbZ9c!1!gy&=-*hFmdTf6_EKLTN%K?WX&&AQbuyQAP>@5XGBsJ%hpQjpV7p+; zSSw;Z(x|`Po&Q>4TL@#ck3^m(_(K6=a_8Ad;Wzk4()-bw@-bxBAO-&Ja&;s6Dz6m<(!F>I zW0k6+lYo5O2JfJouMw8PCajSv?D;7iB)7s_Aibd~IEOH0E{l4)7lPE$NnokGT$(Y2 z;@BIod}5e|G1?lBFb1E-yZZ@U+xIqsHN-5Q**=%~#AH2y8;Z%duCpam`K$?&2qyW+44XCA@)i zryI(xC*R8or~x2%`vlI*6x-K^B?);js>KgIiKjXZgq_h!;7tqTF*qnymCt|ixezQQ z@)Aff+*jxjq4tm8(rFJ%^`O-P@DS%*#Rxm=KEfij@y9AQ*xw6{R9Ly zZ$N~3TK%D6!BGh<9B()rg|DeGu6oW_XBT}&JdYq!oODT9wGVHQAvBf-K>5}$l$zWZ zUjq8)pP<0Lw0rIOc%|J-ui-ioC7!5~JsRpvQw0KN2bUoz`Nq(hFm8h~k~fskw`!kq z6t~{+orr>2_{7IB*n4({x_ZUzp@R<$B%OeM#(BuvCtF+4t9vjLO(mZsB3xpkwP(`! z{^Iv*1`ZqdO}+vm!Hw8%sR~a5OXaN{skM;G%qDa_%jfmm>}mev2lcchoHbBgC=nqg)in zCjbkmw#Ui<;W+NG^XoKr%hJfY>}e4!?Pk9+3R>vnn_KLs93&CN(9P6XG`X~ z*|)#{GV?Vs;md{EIaL^SCAv-?-q)&rhsNr8sW;l33>pmu5g>uCMh~|&C z5(4cxIfQty>H*n<+o8kQutp)JB)Lem)_Q%KwlbN?B1kmwZb7G%oS&n^+IlIr#X4oy z@ZznNXEEziG~9YdEq4$4QDW=W%(z`YY$Ei|K0%3L$n(xB2D^BFt<))`QTx6kM>D`u z`)Ie)9>lHt>>6psY9Pkqd1^eH3$Lr`0-#l=@O&!6bQCQ^`ix4}EGU(Det(>KqUE)Z zgztb&@p?`9&r)3jLH+D}g~ixNvz7PL7Lk|%-Z5E%cwkew_hm+okGzM*Q@pdaI?W@x z&hm?bGrOMJm^U+XmlyXvVaE6K#uPE7_Vu-@`bILjHx5~VN^wie4)c>lZcFv^lleK| z_LOO-kQ`!;meTnC4i-WcO{q18qf^RdbJYAx54-QyDs0g>?L2wwUNC=r&+DVQB)P32 z)0Mn<_3G^@((%RGtIshQZBI2S^^L&yHe`OzEQhSPnQGKi z)OqEIT9z#H&ghGpSsqZ|pqxJRMm}5omZ>=53J#xx&rACrJ$Y->PovESyN{a>5uylH zz4T?#@DQP9BN1q6Jnj4&u;&EGE}ug$J*UxYdzK2{{zPLsqfcQEWX7Gr5$|j+=}?ne zQWx;;2ukM9>oS1t{;3c9u|X-xI|p4dzo`?D!#%{Ws%Mlvtzrv6@SYF#O+UuErP1?ga`1UjGBZ_j;qOVH3- zK5DRnj9UDxjTS&zRgwgE6Mz`SA|!fdN>9TMH?B?)p>YP|h0iP|9w!Hf_?HXDQFT3I z>Cy??j^l5wMn2n7O`2;oPTQ*@(YtXt> z-~d;jGJ~ng#g77kVpqwB-$SwbUADa;L0ls+*Z*Z`&5M0d!+4?<__RB{vHDP`%#oAARXTGFg5+m+m zSRI*JHjzE+hQ=9=uLM;aEePNwvB3U#IN&UcEsdye*r7H5jvzdP;`s$8gHy4;y6G2# z)JC|n$L2jS_vL4#_SG-~!aSP2yy$xd-enyz)j7EOWG)F%82OAxQP$8uO1G{+Ef!d7 z>w1M1Tz$(`%^9dtOe;0_R-^_|8;MU{ILO-#riI(K?N#updU$a%Z=#DQ^7&}7S*2XS zK}<_RR-Vac`}mW?)}?cnGI&#+e8&T;yaMaOxmefv9YOH@NWq-yBIYqtW0RQK{#iuSE4;)-Afx^^oVCro6<&Q2RE`K2TLZ2ZaeZ8Q4<9 zDc8zjy`DVF<`19i5O8WLcU+2RrpodNC zK4%0FSCt?ft_G4RZn5=W>m9qJ+*)dOy6q+;DQbGlP~s5} z@$tLOy2}$^nTXxQc;Y~Ql)_-G%8Zo(`6aCa4~0Q(^$8u4Reb|;UK`n+Sc`4<&}i(X z=^~vv!y>M-$-~d?A4!dJ_%nt#N?v$ycAorog+Z93Sf6~RdB4BGxyGOxBzJYn&KVjO2;~j5? zdI4{EwUf%=%E@%Z3G+Kg=B#mBZixL7WzL4dGIa*8(d_N48n@+WEqYFIhj8$kVH!86 zAv5-mM6I)7zP3M{q4j8{CSjh;j;Clk5pk%wE0EKpWpZShIlC&+>9cygDY%fxY+OcN zdu#WEvg+nA>bk+<^pDFHXY&lk!>Q7|v;wL=m?Sr(gS>!e6XFIF^vSV7#!6mqQN*H) zchyBS&-$~>+-0l8WI{D*SRcPpwAWzgt-jrYbpw2zF?D-{@>%+Ykw-{m=Tg-q5SY3C zf_$8BoPF5GX{vW+2IR6Os=ff|nS;x4N*r=g->RP%NOQ?6i17=tloIstLM?Z?9u(l? zy4{*K9cu;fBt>(|;7i)ysbzliqV|zb-a`0`0cAA9$ z-fULyNw}_8M~~9C)_mr8FUFg~e~QQ-fz_$J-&c#Po;`Y9X^>d0X4JIGEihfOuv+&h z(W}MGgsD>Uc&E6W;OaNImGnJ==Gc%)&grUi{?%VwMlFwtefdc9*3qkV&GpG>layfH z^{G-fnQUXyg~>WWeo|(?*QD^K|9mM^B2~xLJC9#2IB$aF&S20y zz;mYxX7c&>%m*?QzDRwa3LCrh6EQDBtbzzVXlR7^)^ZRLwel_N+ku^Cm6{@d`ec&Y z=kGvAoPZoRVYKK7k#fEh2sQG#toIjiV+~QA~7?Sq83osokwO6T)kF+2V@Vvd!0*_ zL_}GdNUsNwaQ1D7v4?5O*X*Z#Z&iaE(<6=(eL;`w5qA#^6r0lMx6kI+*))EXfV@~W zg58&xNX)j`Od0>a(nH(!@Y@BpQ}tkq1?>>#6GuL7$yPei0%0^{8yIBY$XtA#Iqz&8iz z6Z-ABLQRxS=;?-R+9oydp5LCX^b`6GWPnB(MM8a~spJ1n_TCv;k;@FfR{pUk+_Pk#WX65roI( z24+;;f=on2IU3>7eD zrO7(p9mI^k*Xa_+ia=L>)|IfbT9*>naMdzEvq07h>JmPu)@Zn>Urw9GS?MX1FAi&{dPx) zUbWvtb_!{O2*Nmueq0TE#nee3o-ng$Q9}z=epGq5@Y*uHOo=sH~4G=tMMb5&_Wl9i0*#kh7fKzN7bRq&8JHHmfM!Ayz zT%Kgfim1hB=F8ez?Xai}0QDpHP$ZJ>N1WTlPtyEYGlss6lUjy+@`v+8uTCsMEr@~* zn^R#@)qEC^HP?(5Vj{7!zJkQD7##FD99;@~B}l4}nqu6SVmr-16m0D_Tw5%yYSWlx z04MayXnEJpV_tRPzaO1Q-3J=y9qh0seMJy~b7`(qug3q8G7I|XatFE`l@OO9A`^)n z!+@aDivZOm$mYH%0N=XA3TofNYqdKTOf_Z zf8R{Z7#U<- z-JtYtg{P&!bxQue-hba#%sBSmbLw4wFyy;L7(6t=EB;-=f^Wnh9;GLZEc88f)Q|Os zHf0krRU`4GPX^XQV*+EAQ&u>^nL$O)%!FY@s+RK9g!17XC$t<+v$R0{q89U+Ge>X4 zJ$ude4VS}TO1M@BmF#WdEzpvP=Ies>(p)HrOH$k{+;6abI%UTX}|nRJ-P zT7}2Z=v=>^z|79hKH>mRx-%NolJud&MC`^y^x+($pm5E;mAI7SYeuLHN6^1tl+CTVnMiyY5>*5ii;qSeL`vn{|F zwk6$h?U%VV%k&!2X%3`}BO>bRft8RzB5Gw1_;xe!UQ~OzkBB)$?Fsh70VJIGa@u$N z!H*xJQBhGCYcwc+H6jc_^LV>QD^uw^-t@)TXpJ(32$fw&eT76gcRZ3;ip$4O1JAq{fl ztpf;QKY!&K?OT27Ats{Z>xkm)Q6SYRwdnIXRD29N_eF4+jUOsTMMlmsxr2>0hwJ82 z%r4<*TUrR{Px5T^jUH>`DgTkwWEFRQjqY%jPDNc^z1QLQa{14mxtsA&jqbnu2l@W0 z`r_}njr?pHaQ!&){XbvVP5yIJ{`2#do2QQa_wV3)>t%6BIDUVLHUDRE{^w8bKKeIx zfIs@c^>5AyKfVh1zqkIs8~)Ey`M+g`+=l<#TyPUwqo*@OhyrJz{Sb&i{5d%}R{DrI zX$$b~#~=5&L(rdw|3$`Jo1q&;#i~^hfCT7n8146&AI{eU6$(BijX*|LQl0UWeZ7ce zDbm)FhXy?)$yDIJ>JNE%6a0T_ULKos(6RIPuLlV%W?kkoesB$VPY^r@zhVDbn*Z~k zSIz3`8hTt}PYpn4bTw0SKYN(BVP^oDKMv~lFoE}tD3IwYb ze#nh4xh=x+6MVRxbm$9hf`Z{wbE% z-osZ5pOZjNv`Tn=d$s$UjiAnuBq#?M!J<2Uy2;<6;T^;AQF58f_Q=T$U4smV~Mq+U8&9d#ZpvXACmfZr8jS5USXH7+W@;ZI3`z+d|34_44O8;UIA` z5=yrBV9z(l6!^!B{XMBj+8@9m-UMAfa!~pfPZhzMi|*n@;`AC^Hx^F_O0F$|5C9L8QsVeyx8J2C6w)T}NmJXdBaJJ_NO>0>LSM{u7#-NB zE(wFx(bgEIKGN9$&Rcz$HA2q66QYu2Z-G>JsR$bR!ritK~n3nj6G_?jUET>mkrixv3Hc=P(TiC=jW>n!RZaB5Bva`?wEn z)L;Sl>EgmoB$dg5YXA3FFU4{CE5Ic!y$_`$lDgQ2TVA2t04_iaBA;lrj7W+@Vi1H> zV38aK)KK{7JHn*Y(63;+{duXfg6&TiJU=X+g=EOSGf7kwl8dmo_+qfrxXf#%p5t~% z@H*sUVPR3tC;t7WM6V>s-cf_t6(x#Jtda z-T&?elXF&x(ladIaKZti$pO%V=5iT`eYJqV=sMED2u6CL)31)5-}+f+s@j%xxQ88Y z{NS!xpnnA#fR2->f8U(wpU+(6v^-Y1Js0Qjm*m~qX&7f?*}4L4gD7VOGIw{J-c-)! z7!+GGP?omVv;Z$}8lax+O>nT7b zb0NHhCa$V5$sezLMuAjqg-#H0dn=P@t)~fN8f4-0$Y5&=X@Nk~3M0h*J92AgEP4h8O%}jyntkk4O4v8ow zr{OioR3~S+8BUy|rm#djB8CM1coAj>acS=Ubh)UP&=;J69*phJI&4>5l$8OD(5fo@ zY|X5#6@t58)#0{|?ctoiLIyn)*|PJ0yu=w9(tde;;Ma0N&vD%7>X)_I4z+wardK?T zv5QAPl$s+phHC`?%(>;%QF7=AFcjuo59QGABAYz&(wa3=uH zgpq2Lb*e}z#2P#30^VEX{`V8V`YbErl`wZ`5@$j4KMkY!d|yTG)-+R6aj)j@hdlzxA~!hfR<5FHszK&Vfm05LVr(=JMB#vvT&94s<(FjVga z+OlcYhrkHWTO9+y+W6CJVi&^Yd(X7PBO^0hX@9>OU?=c;gW%&F=Bxl~)qNjlgx(wr zWt5u+piXup4`>vbV+3G)*Qyf$9bGPhDT;|nG_2KCcRCcr?o8c3o&eEXrc?A~2>o-Y z8u0;vS%h++akTj08Oiy(0W%w^v@@C9^?`kh=zNr6033_9Qf-4HADOZA)yUQK*qVe& zbNby?oA)4##x#URP9>%P{n#KBTJ7&_bUdW7L{4cth(RroLD0dZd@C_6pnp$u+`=qU z?;+qsjtAmjejmn3V3@r7JzUHq&?ua_CAuw><0b`}43O`o|JRwQY|%vQbtA?J$<6@J zzp7VZ(^caHkEKe>069mgO#P3 z-YDN{OABT=V|kWcxAZ-7WBmO6*9&&{@m_SxFjpJypbuaq7tnnkjsCCm|Mm4ZuEgXZ zz9H$2-~B>&aOY9LOg*uX0^-K zvqXH;3O3HTLyz$4ET>nMA_1lfEV)3~9?2`c<7dK>_Dm6~j*6;k|MlHJ!kU=L#W%{F z4<9~U-9UQ@8$yzJS-{bvj!+5CL^B}q=jXMP>6L?_{pawH=DJw`5=2O*QMY;d&SNnl zkQ=arKK?`4%ypZ8+!5IAuzqq_=E*G`r*B_O!;i3PtvkTc#`9I9#n6&-Gfmi8APKopyvdGIF~(7Q*$w{gTGF?1_6oAILT z+8@v4)!hGq6v!R_{}ms(ZLy}4TrNSZA+PL_8S3O2EoI3LADaUD%r=9UvI2(4XYI!|e z^QH=uhc_TC;QHuwc;9BE@Up>%G ziENx8>KeH^kkPd7wWG!cHYI}un7?AAGGjn9lve)uOfu6*u4qxpZ8KF55o0#uf0^L@;Rj)>z-`5Mn}qU* zL7Y5^OucQJ^|;Xi8Bi3l)8FbnaKcxx&V3XAzhK_RR&o|n}V@ZQx3G^m}jYxfRH zjj@g&e)BGRGSjS!DFxv&zM|B7mo8me-QC5b2TJJNfAv{;*?f(RY>sy5&K@xQeQOIV znE%;0=dc9A1Qp4Y8|TniN=nK|rZr~#25Jp*m^{ZOdN|eH@^(Mm{2Hgh z5OVy?)YfK&LqoZ#fE?LuVeZ=6+RN=BE$dp(c{sE)(UmuLXkR{F!7*6u4Bf&=wyOBIKPtr#qX*JR4uv(Ez zIx~o7=I595{*!gC4|koGQ_>)XF7j~WsMW51ro(YryUZ2Elg^MO(=E}(q!gn%V;Tb$ zcuT{6!y%sI$)hC5C#Gy_xejJ?jRFIC!q%Elnb#>|w<~L=!;%6#2&3k~ zoAXfoq!>Wb9MpBy zdT#=9ikS++WSrIVY?L82Hh?<96>qqUPjXY?+uz;rKeqGhc54X)HPx9i?+XH1!`8gS z^!`yCUAyC=BEOW&@XpKqjEaIAgSCX;1;XExdH(?XBM!Db@mC@uB3v+mBDlO->(I+L zlXz!mi(n%RV%evl9KEUwNQrfAxe`0M{5_j-Z5(%4 zq2;h3Ufpdug@oh%w6Out@1;Jt!GQyh0;J1sjfU(U*p3#bH{+hm$ywKGLeZD6X6`ghD$dxmHvkL4 zE#EwtmJ9fb*24dmb*6ubQeT1ldqK0HvnB)Sr4&D`ru_9&@dmW9O$AZdm;E6C((W)r@m-3YbTksNxFR_JWo`WWXfm18HC z?nanG(OPxk7pGpm(7k6PAL33RMeclWy~nSG3BmL81GjX`pIveDW_T*otrkX5mAAF* zmbH!{3RSwhkXqn&i?Fwv?2}{Q^*Bj{YiT|e=kaglF%k#y?3;=4m*&813~+)t@UieD zvo~Y;-JB+Qr7m0v-MtQ=R{d3EZQZu5y$FGdx4?Fy8g)(h<%-NdLO~6)eJ?n@z>4es`o70ZcnCcChWr=|6U`H zZEqlp%oaXSeXGy06ea6E3~cq?pH3aPp@mO z59<$RF@_y=@6KN#!?^DZ^cCf?4b|<@wH=S-37wiUeciEeQ>yvZ!9H#y?*}0x@Tt@lwr!xlSHr<=1#$e6zvZPS)}>)ovN@J#P;m@0sduZ=V=u zxY%|e?AF}NAVJM_quOafb*Ad~wSQEG)>rRYM{w9t$AvCj#Rfy=XV5{(uDTrMPSj9- z{fBo1tAiTV+BOV{KJ=(NXugWTSzBXT^<)!-iHgZxL5nObB@maN61!Nk5^*ctKZRwNZ}#m z_+4U$p8Ki_8`2^?helI}obVgaDZnx--u2Wa6AJ~S}lN__vTwfgP@lW>mD)@4F5+$>7aU-Fgl+SL>KHJ|EM`a4V$E%}a#Hk~Fi zl>nignfYW%2RcFvcF6CE8S z7hoy3K{~?23zJkZPx2_q!|B(EZG(Vl)UVKNYSG;$&S^d9zgB&_k<^_a(DZXAIG75U zt7ABB^PZr%gZ(L_<=}T<%b*%J^X^>7{`kR+3$52$n-zxEt&__R0sx(7T}CaGnZ1&I zq@fKyiXy9x^Y!@pbH)EAQ-g2+Im_iZYVR0Ari#R;ox~sBzuIy|Aoa3Gk3EB=a>($e zRKWXW?~^T0pbUnTnXW$RIQ_tsry%VWK8~RWeh{561GH*4G#i!ay3(Qmp)gggC8%nu zg5l^G0BklnkM3@y7ErS3Uk=NZZzHC%)OYQBxY}H5S(F_q&D`}MhQYXcuV2nNZcD{L zC|sVgYU?$LlM6m(b;dzOU7?$fo9R)!yZzEYnRT9Soxnf&G?sIFbSDeS!k5TmE=f9Y zoOJlTfW#!pk<-4&h_GVUWERzAd+^iewGbL&lnW;9w8U7c4Gm`S=U+RfYi+B*PK)zg zE2+VE6QA0aPq?>iLiYwahk(3w+2g|f>r|uH?0v27q zZbX95qA#1J_Xkti)Z4^GWyA)I{*n%piNf*Mz_yhkj_d@z!$L!G#K-m-Y+8Ky$cq~4-3pBJ#f~>5mW`0v&8ZYkeGwNA({sgvw>T0;O?U;H&- zeOBV0%@~D$6k8iH-|tVLEWIF7caq4o*^J8Q8pd<81o~CF=v|-lwAZB0U5j=$z#G=B z72KA&_~w}$*TWz9zR!@JW$Mkth>zCo$B2RiR)e`6*W#qwo&vsN5 zw=+FGjTDXd*GmVcKh}H9T%9^_nlxv?t=(p2?WlPQOp7Wl`*-f=1%LHQo2<`uWe=;= zZ7z>BS>Alq=p8H+>bwkPNy={h?y%({pl{8$ZzY7gX{f6=hNjDzz!_8oS$9@mUI65F zQh<8ctMQEulid?u8!-X8@ki#W!@XenlWhs8^WV>K z0(ccXYHjM?x#-%vBB)Wb)$SU6^E9KJF`RBiX6tiVe(#-tR_b$}CIxe_D+Li(B%V36 zkpfB%^l)8R+qwPV`#11c`sHI=mqcaP6r*aiG8HHNhXsO59aJppUXHV$^j?zFVN5-zzpOQ^2Y$hA0gL3qc) zCbm@yd~rp(Mbq+k!e2y9YTE@>OApt zCP=Q#h|I+ivR{04)jBqF%ywdDBYPO`DesVgRk>+fs5)-b@-=<~p2^IROju4GQrD-z zlK};H165VL`N~L9YO{5|UPS?+{`conHev!Q44vn<{aemc34GNSdb-qKfVH|&FGXwj zKpyCyx|rHu?W}ggSImD*Sa*+CxnKY!ZUzu!)_~C9JaNeZ+m(yzA~tD3mIZ|l98edh zc2=Bc$d8>IrhfFJ1hhw@@7NhnqG&qWQxH_d!pn8*dsa@)*uD^rU^7(d!!M0$bnEH# zSXit)=Ad%ImHn|ODB-?;AR+QxTTg0%1H8LtGhjfm;~|yhIU1q+wxq>B>j=}!G2An) z2m986G=`leN-16qo&d)l&?B|JzecXs|Hs}}#YMTc{bHk_AdMi1Qi6hXw*gX0qlAPa zEh5b@ETvme=~ARa5TrqAL_(z`r5vS(p#~UW_VxI_pNseX4)(!5+rP!pS~@Z_&vQTb zeO>?S9|KjKrtELZb6|yD38lxFbZaItyy}+ZMYicj_s3<|SQ5+af>}pAtn3CW1h7MY z9XNbBo#SNpoOYI;*FwWeS7`LDOkePBO>eOU;67)qGS9Yhtj@Ul7WU87(zoRdQuKj< zZ@g1oQ+z&3X*u9zd+!r{F3kuz5U1rEm-AuAj3wP7ieFtD_$3XYQ6Uo?W;jM_1NQxSPzH^Gj`Ywi6Lik8Mm*;B12nCMyo8{au0Cq2|h z$^Wd#mml(7wZ>!ctULD2;c5Q{hi$P6--V?GD75}m*flPqA8}) zbJgSF-KJjli=WW3YPbz39h>JIYo6i_VT%iY6?h_C@w)k6sbeU&@Bw{HykfLL%_D21 z<|)K&anPF>V1M3$T@(k!__Rqds>(II(75U{R5AeIo~}#{gaK+s0_k$(3E7`%Bf>8f zkrn~ajl7m$XMk>)zqSipvCD9pJp6huH#7oi(Cu}iYf{xrb2J2>PW#HDw1|Iiq-p60 zjuL;X-b_i&9oHN*-ABS#_x-WB&3j+ZQLh&3tY%X#wV)YZz1}K^_AjrUI>hQ3W!8uJ z=`XU^2Q;g`n3l~?Z9#f4`ZSs^UCB~Y&|~4<6Rz2NB|($_`9}16PLG9P%jHj2g*Af5 zF2=iSC9}U!5n|-r{Dxq9HQTd!eJ1tzUBWA`atEg-IX^xXqqRT)V4S)w>nF{L%70J- z`H9WdQzTIX0LBEbbjg&D;kj7jh?82JA$A4y>0-w z5Z=f25e-y899G8*&x(~J0B$B$j%ChhWdL{8{ z;NsfnYs^kf5q*>rTFfupU!`RQ9^COJ_TQcwliL-*D-bQWlzun2$nk`Lv4`a>^va+B z>yjbNBgoY&fRqj=QaOJK=4!bDGbd!z>v7f7>lZ&g4O`SJ;>l~hbA(4L>SE3OKARmI z!*fLgwr4vrMb&(O32S4#{(PK&uS6Buc@ugL4vtFeBLFr=h01&4XKBL=01K$JriS*6 z`hOZ=Uj2gWF8$L<$R0qx+r+ibZSV`Gk7FXR>2y_RUV));(?sAki|bN1Uqh{rYggrK zSI7N^jT2;~#!^Ih=`I*h0-}`ZV^X3?b(lkrf{WSBD8}y$TFj~|X#}g}QcoY-Zz0(> zUUu#AQpA>e~o9` zyABH1!3ouz+m~mtmLP)gT?Q+xwUIg=pS})di_x7P=$(JQ>y|ABjrLV&M1go(jNtQ* zxJiRD8{NekI5rS;o^QX3xo?V$=XB;{c1)H-Gw<)-uFZ><*RB4d#CzP-6JwFAQ)7~&v29wQ@g`5+7esVv>LV zY($+om>>a%(w`ssm9ML4X7NA&5C7o;2*95I|A#RO7vmqEEV3g0VF$xS_`h+Y)tnH% z_OToo0z)bZg6LKflWIt^O`y13>;nP>H{Uw?Z@$sIx_2&_Z=^ps3ADn2@DP0{Z87>% z228(UWPSF;pC@sUY=fPir1O^GQA=oYVALOxDSJ#llY{zs^cy}84l`w#L_0kE`^i>U zqTDb4_C~KqeUQmc;uZtRg?L8YnU2IQ8stv?{^?9PbI|w4gzsM`W4&v0H21wvt?TRM z`uAUwkZc&-|J?icRtSHd=I{@<{2$Wq?*;PDsQ{PZpHl%@3;&!7a1s7*r@}uX9TJj% zG$Y94@{eW&F2X;@2V8`Ijt}H{_~-b5i}26!0TE@Mq)$7-hi2~?ABE>;+WAWa1pVQW_tXA+D=;gNZ0Lw!QpgIfO{rD_S$Vvl< z=Vw25bi9H#?pB!%Eo40go78$XLxwTfp`R20MfCm8iu8XVbaIimCtNr(Gf69Fx~nRJNXqxsC=isX-CR#-QWIsO)iAq)LVca-Ft6& zx*Z1&Z2c2T;?4E6YmD8P+m)+~mfre*GyVd)wh7xC{LGvHa_dpJX+7 z)J;045{!VYZ5D}7kaBb2`-$XAf^rRE+P6iqRZ?1N0@0iMY6LSQT-D*J+CRSn`orR* zirFz(6xIv(gmpVj0Y3tcvqoUhhXdEY%sK$#B%HuL@G1x#o+Mkq?Ai&004-pJ(f_|> zW>G_+Aee+8c2MGil%_~AA%_OLE4^dL$n-fh0vQQx6vY>wLC=npDPm@ z8ajns!hJABQBeUF{SQ#ZCHnoDGQgMh;#DBcL5%JZjnWTe$O0TU%75B)MujH&GCMdp zxJ!dh2H3MN@VhWQYW6!yZBt{St4k}lJwc(J>;a1hA)SC-&{f1EQ4BQ=xeyvI*lrlr zB3g<6qU%4V)T)FVpjAMaVkI(wuwcUhn+i$5xc3JrGKOBg`)&b?MgRsoHC~_x5rTB6 zVnnVk=M4zpA`ZTaj#phIEMQ$}5W(ei{XM4xsxasop5vxkvl7~zAkqZV!Xa!b1Rf8} zC?=RIB?ulQU9XG5(q9l=A06Nm;|n`5By9z9e1Z+dUJ&v3HSs`Zs{hi0W%^D#!%dno zMl|*eVh%txoKz^?=}kd zno+>kx_0{cY&;?cDNAo-g3-$?vy9hzKF$+vt2xZIJn-=l0-SGBE7@$l=Xa%nmS`H# z?JAwQp?CI)Zt5^_(Oy^s#RYbK3`8L20Hb(dWtQ8{trTuHamm83{jIL}n-L6NC(6K` zXJ1ujihw7AtwPslErF6bCyAh-i?EW+Z%JO$aeG z`nTlE_VZa{qzh=vv=*MP|INt#*H_o71j`t$g6iF^xv3Pd#c%dnZIH-13E_L8@Ckdn zM*y(mGsS{vpbrJc7r^p^i}Nq>*MD7(=0m7c@rZkC3!?9URZ-wF3d7PVkl==5eel&z zAn3RPUtR(OG}H&D+aW%S3#>rwq656DY1`ruok=3AMYcP9g9Zq z{(0&XB0(RMoV2(31GgnelqJxLqJ!7m5E7_)q&$ue%KgC2kMm*H~+Z57LqN21JWa|2eDDb`P@k-ln=F4Nq9Hd2`5bIX7r6>Ak?`;xef05Nj1g z6w`v3eSi?B^7m$IgJs{nKTtTzheZ;Ja~6%kq60*0FD|H*=?_`$*@)%Yjw%jXj8?lv zBAP7xN4ObdDrFdO4s!K^hi*L-u6YwEL~Ux_Kmz80PZhD%%XMakJe2>^t(9^A{JJrS z_#pSzqXB_6nK(lu0Nfc;>G3)KW zyHm2J(#yCvsM|AOQ)u~p z62h*0;Z|w(5Cc1Muxx<9yJVOElGzAE5(TA$(LSkaq(-!cBIgN<>>_)3ZV13genHEVP zo`;JSR)hDM1U3*DQ)l#x{Fb{pOC#L39)%;#AZkuXT>lIUvI6YUv`3}D2y$d^De^{) z2e@*%HnU1m$C1$;I1M0E%vZNcH{@z>4y_?v7{pu}q)&QtRnyl*kE%iJ$@BZ=q0OTruYdW)M?-$m5OgTF(HNL3< zGO!W_yxRUq_QRVE^mS2NDNjyFa-S0Zja_sRXL#WNB zz|lVlDO#MsZK~fk5&|1qpqOPwgw;uqj>V4Kc z@DldsMCo#n2~E5BW?CjH5dtoKPiR>@O!BJmI8$br?fl{8AaRgcP9`VJc;Xr|l>iJ)hcs9)XGyNL31eaw`zFHHl|be^FldmnVI%rwA<4 zfB&Q@2+xzFt~Wr<_f-1S@Cm7TO3buG*>ig}f+ROA4=VosViJ;&F!{enQc&MLJ^BC7 zn}3ylRsoesz#%d^KWH?$OzXi0%M3O{Lp&Cg@W@ksA2_4;p>p{-Qt8ai%WM0dWp5Gj zx-eru8$1(caE6=TcIbV00h7^|GDhaEGe1eE!Wa3G%s=L|!B%%8;qH|4s1%yB=&qC_o8ym(CUjP-%D zp!%Qq$Xi6tmE!*L8%^d1zGEns zgNz`3<)(uSDthw0-}5>zCDoHN;CgusVn1hbE#lNaB&w2B%ZGS_sySx$N*Kvv&gN#gWdZ%uCr58 z@%kb@YGo&Udy%5)=eM^Q4BJ!4eq%ct1d#z`6JR&1v$=O!amR7elOpVy3aH){0ZCAT zQu3WR3G7EeZ6$W-aLUtZhOYCY1 z!Z~OD^F^`nB3MOM3Jqua>Y%h|XZv3dBGA0N-k47`_?rRDbI4vOKow9D;~vqyU*U^Z z>0eRc@WS!?D*)$f%{AgEHK*mM=>49wOAn{pE`j62MHbv968$k(jFdexYYcn75%-}^ zrISox?1aek8DzcPsd|uoF-pD-7Nlam&rS)8K5%dkLpz0pb1xx192m-)hx)Y6o&zhN z^Y_vJ@p*2P(khC&wsXX?M?y#X_?;9S*cVem`{W+_D~Qq^U@ZqWV2eF?BV{`i_k0ZB zFTL#h*>2`He1@o|OHeyLE|Y+5?qbRu^b_GjLFrN8#NmkB1{aLE-oLr^a2!4oiI-O{ zgS{;P>|nFM_bG~=aNqNbNrW?B9`^&yNv=YkzfPWd4^W#q4q^AQC~j1Rh*E+zXgzYR zdZ2>!%%jsXF{x{I2AM#rP487{H}Y(|LQqhY&F;NP@}CbYzJ#T?1PEauNdE^^%c3A0 z=|L!BdwXgT{DE)i>ORMBSbxp*N3tTO-hmBJUxnP>Pj_?09L)$9s-e7Yt>8h^$!mUy z(UBRzo`!k;L+k51_Inl{$?F`I!-}Fs z$c;0ZvtcVv2FqJnD<m%UMM;<0XQhZ`!>u*8 z02NM+BnIT$=S}T>hwD5Lz&Sjl86zuw3Kc?Ur78JC#QhQ@3*8VIVg+UZO*v<`+pjMiNVo>v zyv#GGfT}pbyVrk?)e<e^eFMU-Vk8VM_Jf!18d>1~>_Tbn zwk+4xT*{($cL)$CImKiKK<|GoC`NovcDC{#6au+I$8!w1Zvv7>4$e;}kVB^*1r{JD z!D)sWT-f^3PYi7W`G=n;;eMM^Vjnbe~ zRB2|*IHz9CbTqz%vU|2Kud%Akw((tOB3BU}3|#1t2&8xR{Y!H` z`M1mYE*O<^BWD02eeyfb)BtY43}7dc^#;S@#f~>Q^$~7UBS<;u@yyxfLa zB2#0tts9gRF#}ZsEsjj0cBJskA6I?Br{3~nZlHh+35x-5_0!Q#U5oHh!5BF4FiMjT zZi`33JL~=njKlB7P`X3B|IZ!2b&*{bLFr*H?fH&^LeRHmefJ2f zAN}rT_a*zS)usMnN3NK~73<+lb@6P~*q&Ej_?`mWfj8jp)t^H_1gF0AI(zT~pJ*WC zBMrZ(5we5n;1AR{L5X~dmlBIFjqh~rObpZ@EX3Bd)J8~f#)})8j)B?VrC-hTjdMcx z{5G+5iE7_Jajs9jha%|H&1?RJFw*$&gi#zHHx zgXxLDz$r+RjW@VO4;we>REj6h)Vo)a(t^xAmCngSN4O8+PT?n!j{+Szoz1OHT&qW9 zu$ljkl*{!(7ex6n2oRU#n%NgJem@V#I>y=IqmW1>xmfFVUk!Il#(8~ysUeg$-_XUz3KDOQW}Jiz~^2O5woaUXPObmV4dFOjpBB(f+8z zT`h=+oJiY;Nsjg7oaGto@_h6uZV5CMm?Y_{%47%tqeuTzO&@@9!PZFmaV9#%1|tlc zcpJSlXX)=kB6z#_;a&HitVB{x^|&Y_tPQWpoF@zFkvK8QIXXnA%n38<7H9=oIBN^n zVoh02%zZv5{DL8Y8K!S4Z^}j2huy}PUX$^w?XUCqWp4-)@L+;gro0hOj z){U~^bh29sl-n)7T6B}VJ;{9=H_`FrFo)Ump`d-wZadV=OufVUV5D456(N_LTV^9$-@jB!~`N^1w-BQL+zdV(*tsUhed| z8b&&m>Qi-Q;i74s^oZ0$%ebZaw-d`9d}M@2^9E6_iP3I9x;6J7VdXP2m=lG7ptqKf z=bq(gH-3kNHB;&7D9J$nUDt7x3dt+JxsWF8uXV5(=SlGPc(YK7^$PlG07;`g4|b@QrP&cR6g?kQA+uO>sjFKoJ3n>^RU3n;Y-HSq$Hyi95&YerD=j zt<)n@nMldptN#)m+^Cv$#rW`2b+|>I65&CbyL9B}gtE5X0t!eK-*W*{xv3yxx=nSg z63hr28_20IAf*Q&K1|4w2bh{r3cns@u)Q%@A~6ob756o#(|3r7As(YW{LR1!wTT%p zHN}LSQ&*o!bPPy`0iMgTCw3P!O1IYv$~pIi4TZ$eVmBIDqg7)4c?6lbGRNFkI?GHL zcT>Eu1-cBD78KH}H{v$7S43nTbY27}7H_E=9?*d;lz zXH*!z=!!e#)z~REAVFSI%s^i2ys;!1e#E>i+I0M(YI4IFrrY35BIp`okv*g*m!}TD zA2(7y?qL;f8mq!zLpcV1F=4}?5;yqkUtRZgPD(*2S$hC1XHWZ$hPF1zUn37K1=+{Z z=;>U#hiiTMR`y&0>Tu3f9E=ip`BQiBUWB*tr7HiXz=EaLjQumGpB_Iz@tDBb~l)~>~7+u?_SRhd59DN{rQ$g2`w4Sv^`aT@oY?d|B!kl+3o)4vq>XanuB*^ zjT`J61MW(5>RE*Diy0&unREa6aG_734opEOzCYXfU2*%`T-mW+gCI(itdD0B35Z*) zpRBoVlu@4|5(h$GSB=gIZ6QL9pC&*6{As zJ8fCCzR>7&e(S`I+>)K$(LokKscn6hW7y{_irs66+)_~uZs1g5`FNLgccZn&zIn-n z?Eo8!uzD26!v)$*P+7X&ZyS)hJrf*WX8)Db$fKFI9W7SRw>w~8?hi_MjI zCNFN875TQG=c`rMCni!4FfC}fW@s|L4{Vsr$A3S8JqQdXsr>Hx=`z|zX4s#*ZjUPc zZY>gWH$6C)^p9}zu?TZpy*abE(g_Yz+dn_@uDpx2*D|u7uV_4xjvlW|H$WPN-{!PF zM_hhU)vc8k+2aygi!A&@q3q|NCU-WhxPMdd<~vmnkFgbX_w{cywGo!JRjV=p1Re8Bb06ECFRUBz%yxja0gP&FOvDw@V>}6&R}=^i;mVe zXmlFtq0hhVr|@!TeN=3F$!nZ!V0TvEV>o_k#5rd_o4`gQ|Cw7mLJ@yObvDlt2I{tF zmL>vOe;hwm4|Zl+y6ocwYg{x(I*_5PXlv9aMTov#$!`xUj&-b{Ae)3!di&=q#`0#H zi%!!2>PAG$W~i=RnS6SUrM+qacrquDR9R$#rY924y4ZSc+Y{0+Co&Tqj?EZy${}u! zIbEj47uny%78K0dutC&`2h|-oD0~Zy^It@1<|Vsz8Qx4EO7WUM={oE(P(!dc!oBQO z^H?a$*X0*={osL_A!kYQTK{G?OwMcQ=Q8X-*)pkUq1%5R9m$vx!Jppn`;@{z6To8X=#s3W(HX#t#nJkBo?Wi%ab=GdY}kg zS&Ze)E`{^y2XlQ3PTgLqt2p;|=5=ozA(Tz~_fq7}k#Eaml)W7EA&g-wNFf~j8T|p| zVXwG((dTrY7lM8CAL=NnE`a&m~e6sf1CxTW@2V^iFy?8v1Ne+`e}1OZ#UF%$?UqwhxJU7j-Aa zyQLZp>~7R`x}e6-x5k~*f8#j=pmHkq8bY^EPwm`pr(q z=$>n*1h^kUPkc9d;|6tKpCa_OIkynB=}H0EO6TaA?qcPL68Y_Km+`GIQ)&MATml~) zL#%t#Et{^R3%;pis1uS)?{z*rsW6pAhM0(-Ru}3=?V6tQIenKXn`9}MV@O3lwlkKU z|EangxC12)!*wTk8?5p)sJQyZpvbZsalHW@!yH>+?^Y7Y>pO6Ki5b2*pBTuB60Q+K z!?*t8N8$Nsj_$f{g1{A+>S^oVlBiIP)xmfRb;q%psD9nHv*;@p{xUDd-yCOdA0aTW z;gS1&CRZ^gkEcuSYGfA!LolsMmlR<>>0iSeUrt8S_US>3$b!$iP)#0va)e@RauXtB z)ATT`;6w@=iY&TY;Eu$|tS;`L*c|FGeg zRkTk?`^(D59JVWdMi1LXaVzavsV4xe=&V=(d?0&mljQo9n#0U-XALNMxr~G!-DiNF zuDxCeF;0quO=L_!Ey2c6y>Iw@;kcLE&!~fx%ikbc`k~%H?z&#eEFTuVq>!7-VcjZe zy&kID1=G=oi*M~CiV+;rnS}s(ZudstpL$Qn(XRE&ckxjz6$Z2U=Jp;r`Pl>HLI0I>PkKomWnpym!2(@YTpOY z{$~Y#Ol2m-SWE3uz9t#{#p`9JV6vyRFi>be+>04?97nx%(4^K<@hZ%=PZUKe-susp zPKl{*{zPwGO~Hb;WSDW~jW^NG3H<_qp*>^DXmWZ$+(SY`IUHN>-px}t{za|f(EaOM ztBa>i;-w|9J~;fn?OLhzV6KK@cwRIlaZPVDTO(2(Bh8)~eR%AiTt9z%{Fwjxdw_|P zTf$Wp_xE8O!BXO3ox#k7i1X&kY=f^`+(WoZWF z;@FxcpfGyqD;K^4oS{($EHD>$hQ}L#mP->MKL2KE_SyON=`uT{5?$htH8ojkk3qI( z_g~NTmlx@~nUqcnY(IoT2+d+?t^6%l)2^_uODb!K-~Rnwu)1?u)K_m1u3o6J&F!mM zu?7dAPaKyx5e8<1Y1d!5IypHfptV%i=N&+a;mymFbdR69xU zA7l}|yn}Zv9glaCrfHR|Y_idI!i5zWGao?Ey_%bbjK~2oVikl|Dk83aowh2rhdwRv zw42(ZRnwds`4@2FkX)7A`q^VvR6F}Lw!rJy|8)-peeuBc2k_M$2sXO0Q^S-zGV zwU?C0Q(Bxpd^o}qS3@y7g<*Z7jFTO*{hAe6j_KBHA?u^3Rzf^b$$*m&Br zgN&w6!tja^YHHZlFo-ObQX2a+88tQDp|ecIg4f9JWQf3ah>$c+sb9)I`Wvy~zUsAD ze63;?)_*w!^U=i&Id4Mm6@3&ALzKfnjfXhllTf2!R%(h`l;Z^)AtdI= zTV>o*QS!O73ne-Ig&QYziykL9-ktNtsDCX|i=lt}P2x%#hXzA%~@i5PUWN@8VGu832KmbWytJK}}PGupms>PbF}p3AaZ%C{ z60_M$&|*ng{Y>kbWVoO|6Eb8}|Mj5OiY{gFhXC)%!AtgQcr~`Ju$^0#f|zxg;Zl`c zXUn`x>pzAa1Nm9JAM}&l7meqvkc9;C_T06^&;g>5hKx&Sv7&c(tBu4aCpkah$~iyj zS&OwgImS1x{;V1Ik%-*K?dtd`F?Ks84DHoC9&f$77^&dD5hsfBT$YkJJiC?RZvN8? z#`?`g0aUG|L@@2ez-eLNu(MXw*w3wZCz!1@xLYoD#nV7WH2ANejUbCE8-b*oiSo*J zQ_Zm^$BMe+p8DNb);$_NFea`M90`aqVY7ivAdc!lO%@p3JS1imPSysXrPmD}Qm_rz z#%)v;cw%dp7QL_>0}I5>Inx*~^Q<*&>Om`;a}k8ymCQt0ie$U_H!xc=8?7G5MTY(% z`cs`X*{}Ydl{r8_b{KlY!2#wxDzuSmFauI#YhICt9o`HK><`(~!@rvCxOt8FWF2u7 z`y(mMlp3eBNF5=?H}YU-Z6Zmi+pZT1ZVC+1yIW@Bomr!n{+087xir*bujoYLGAQ+_ zJGlxI;@_H{U(74b{$TUMn#*u{Zs0HDD$7y2yw6R2Wus+iDg3E>L=%J|5Q^qiL?V0`Oddf?FXaOhD@~@`#vyfC6NoxcS+gm(7xuI6%6J` zT+mj_{Zx8=?T1{RqD{)fmsWK?&AOe=>SHwk8)i(ZmTfqDyG}MO4NgU3ydxbi)Lmz|0>tfDM=&9>`~Xd)rMwMn3X9_qyy%%tB}wW*H=sMo~vS$4}KOL9Bs z4QuP(O^WmA;X8Cij;Ap+kJsz(Owt=3a4jqI-duh#w@}U%vpMIbM%f*M#f}#A0n`Xx z`x436~3ktSF_q}I&Ukrm2y5GKlT|T{8y`@?yI~UaWg@^sSR<}H$oz<>?W=<6BbwMv^s|LA^4PdD z$#J#-xuWWcfXCaT&(*h$>sPv@20CPXH@qZ(+q99v5T1I8EvM@yYp9{!@kvzf#!j=B zHWVRwI6@}nb1n1d(OIb;oCqcw-j)2Tt{K?EOkHxABuP9F27M=Wfa_s!od6i5Di4b0 zBaFfkf`%e$xPn|9Zl7HNg4D8jPCvZ_8Ly8E-=F4c?Szrp_Rr;x#(e~=X_RQWeg6dr zL_9lR@l|8ut)|>@q@JwmMqv4$s1c_`wcb1mYyGBO%Y`9NY{w63*QuuG-Y6ULK>W{> zh#}S`iyxoz3EmYC%$D1@4ojQ&J+&$J?4+J*wHm=A6}tn|p*TA44KsIufv z>iqg~7#CQ2v$TGRZ#u>%&@{RRrfcg=cWhauws#AwXGO@h?3>!2PAn~sD!~wiY{-F} zsp$|&$Y*LzndhtZG-Fnc#EsSmUyqAr)M2Swk64uG(1p7~RsP^(J6B*A3}yYS?|n+3 zZGnWSegRE#_a?6!){94)2z12-018@m%d9J}$-r&wSw-rqs-dgoPDpZdmwmI%ISA!M zDQqDu^kzPvJE!%_y2_$wkXp9}Kjvlj?HX%e#g2H+RLgCLqXXNmX!e+&HfMd5$AL@p z2A!p02B;k}2Mq-A%DJQdFtGXVP29mZ&R06e=*EuwV3K&{ke9BvG?O9G`b01<&P8IIV@XraSZy+Z+W1{W@)c1)%A&s7(7>O>) zomKUeP;8dC6MGDUU@&$L4%1&Nm`Sfk^(g%D`i&WWA(oZT%QGr%9J_LddU~6#GuBtH zbS(|d6i~uPR(6s4n)SxR9d5eQYux8+DDJ?B$}E| z@ytLWM4zda_#%w@iwW7(?9ke2QkC14w(0?W8E*}fUz!_uch23Kx$yPafXf1U$ae;@ zJJneZiZQXZjnyk?s5kQ2Wic%+Tcd(&rC-5XNgBa?dnQ-#Bhnw-{|@juI9YR&oA(+%+g z(|Sw6HsbaSe-2MzjVNkMkD9cdzH87R0b6i4<>TvOQvtP@x0;NcXL? zfsgM59=)ODj%o?J@l}Oqhp>K}{y1|*yVrd{uqM6*QwyT;<<&l1{E6tZz@&opnN=9x@4uW$U&uTM}L>EMdc9xAg>l#W>VCKMmU+Is05=d`0; z|NOUh7okp%SsBY)Pvor<1dN$&XXf=ou$x~`t)5@-`;wqzO&n^b=Q7JU!s?lQ6%}kg zC=?MWW*Sa##E+*s5y98g-$IPZ^d4En<>Jxs#xqRB8cm5`8B62D6*ZngouLYRMcm+UjIDYm9Q?uvOF%difIADVL_P zg{Vzlt|xAkqsjDlwlN;Oubb~&A+Ksu30>px;U5-pOmX{Skzo5!9n{2`%G95Nc?{o9r|$eRO=PhFFImg5C&S}AT|B{iL*lo9jS-VwM3@CRH4!GAiUNj z9qAQS9vFc4@XuVQfYov1*zR(9 z{fsec^YKbo#|GPG7g5Y(cbZz0yjvP?gn*Da`;Te%ouSmymjR&%GO6%5z{)xkKVnGg zBr+>JdHJgvubKm&J*ic>G$!0ERIyIBLtAZ3jd06O_OF#C7MbX4NpG|^`){{jj+`A} z)949PNI2oOK)b%vKwqLE98N7@x`B~{(I#Q_Yq`OUa9!2_v|nYWUW=7h>-LESXX=W* zsYCXKsBe!-;={!rE`9})6}wJ?_3|C?m5y$O6QQB@)m8tGV&k8@y2RW0Od7u!iOunt zSZGLWPA`=c7J1vs-gNDNpw^PghHrC!sz@#043qZsa2>94^5fWM#%c6Cly2#n$g~rg zL-`k>XL!waw>R4f+=qE{Tbl*in2K=8VDve6Y((H04VUdbDy{++fI&sJQii4(w5Nyk zMhoRhZ+!Z4L6I`=ugsJ5N80E~zj5{&lZ%hR%-!tDi#k^4-kUkRslovpP;m@rb zO~o5n^CiCaXc0$1skORh>m9;Cwj^RZg;3umtsuoUQaFj4dBQTNi=uVcLe>uc=08cJL{A`lXY|d?$GwgczI=BJ^d{&>Z3g2hQ zK&H&lQk+93jHg(cTIq2t{TVP4sCF#$XU%QqIa@iOH08K!G`wtFZt-1MTelZ73jKGp zlA>3TZtZ$wW?4>R6vT^he26sIX9?~J?XM&+Av_N|YnU7}%H0_o1SaIkceZ2FYfViG z^hQxO;}k&PJ3a$a<&NrZSfjV$0Liekt8Y*{8wc)_p z<)t`Ws7ozT5Bip&d0g1Z&Dm*Y>-^WuyCbfPhE{j;d7>R(Ud?Pzv7Sz#Ja)s*{EeWg zOH}DV(rm8gICvYBXAeDV2O%QsJJI30Ia<2P)+Qa|nQdbIp_3xA1G58g6TDt;Z{8!j zX}8!(V-aG|%x8Z$T5$_t!V z9Wu(MX8vUfu+~&G4r2i+%_k~Jy2`VvH7qlEFR6?lP54XDOJ-BZoRBHi zGm8r6O~{CzblmhtmzTE*{1}$KcIo^8DnRTH{n!wb&anWiSsQqpM5+ytroxJ>MplgE!KGCbj4#9TX$*unD#VW$WN~jU0 z{uc9*l2^}9?>r~|bwSHh$Jb5wTR?1u%&)kTA1Eg4EhdRrY2@l=e?3f-S-XDA-E#G3 z5@3PdvJ<@Y#?PFF5!_nL;3R>Gi=ib-u~0Ydt!~wzxBskgo)s8RNauG8J;kT;*CNa( z8H_A4Zd0Cm&u6R%x*L>doP?Kai#>gkmxJJWZUpZ;Z&h7sQeGy(IXG=gpB9%Sw!nrt)t%)eDpJN#uOTF$`0vg}(-2F>&@3Yj?aVb7K=$PG5X^6hB6W&B#vB z10R9(^k#g+6AGDUPGG5StQ5-}lhEKq+6KHS2*P;vLVgp zQX4R@ko|y}KJSWdB0w?y^@QAH^kOA4ChX5mEmmxI^dS<$@Y?3`IKudjgO-eoEj_k! zn!51}4m-V3+Y)te8-jb{g<`IVi4u3G@XST+fvm0u;-$dAoGMUM)?T~dV+tgZ&T7-T zxj8t`-Z~&DDB;8EWA$(E!4|M9fnlE#fEybWGRxm|^VL-jY7HP|(A`>Wizu!U5l4>j9Y0w z^A^=5NF#&K2e1$Nr@*}4bM5DBUn&-;X*#;CCuYBJ^x^T}vQjfoX=PZp03LvUVM21d93290d=%Kd3{v|rfdOJ)mhM(dT%?XK(?>ET5=*-QQj{Cs2 zkfK7@+@?pHcZ)f)skMpTgcO<9mHdQ}9?LMdZcWJ{9#PXai)xyQ5C)U*iKlkY<;`C| zvkUcTvKOgjjhd^wQWN+k&#F6YcyexcnYV~t?yI<7xJ7_?|BwS=Ax6Nn8njjW1oFSW zy4K~7%*eU<;$tO8Le~B*N;Ct#eERudvse}xPd`xhh`Q<{FS<$anIOwq58W4FV9b{K zy5og^Jp`1x)mMCUQP-Oa%TqQ5Xxcw@d){gy7&p}jjv@~i>mfzMl4_z4+JO_mHG5Is|ULylhZ?`?e}uw2vxDV8|*0>5SVt!DWIL- zX&Ad$#p}Hd-1cFKAK9-Il|o}e5OzI$%gfJ=Vss|w;%xl~HnFv_sM`_GJMkbC$sZ;O zQ8y~601_T%6bl&2OQa%mQcfw{I@g z9br*!5ssG@v)1Z&>S=Kuw=YlX6Q5Pew_ASj;sF*JpRA8sr6#qywK?r{i)6Ox;`jo* z+<@1fgn^S`e0yjhdVE3TxOL4^H#%S#TX7EIS-m~HZk~+;SeLoZ2iIJ7?0i#kyD=;$ z!^T`hWUz`I7NdFMK57bm_}I?mPVxjqHIBhB=K5Ro#uRH~L1Vy7e%ejeNdqChkWQ|F zmz0UNu@(xU_%XEH+&edCyAGO9ao|&L1`OHR+)Nzi;R>J@g&VlY7^ejU;>#&qM=&GZ zV)4Uav;!t7(h>;idt-pO5&574FmPQ5WO4Xh(PhgR0zyvAwNwBiAwb=*lvW8Oi$*Se zx@H<7Oef)0H&WLZd)PK9CC38^P9^Wrqn@_nYtOVBa(1@tZyK^|gauJA5@8OK=)IJr zS@bHhuOtf#%C;F06Y(YDm{jOYMG?Cd}#tg zDRV?OWp*&NX=dH}Ed|a?2Wb8edv6|%_5Qw(+RaK44I)EjDn+J{F-??t%)CW}B!pya zE@g;HW>Sd^$vni~nJYtOijW~f$UO7AUiPlf(`S9xS?jybS!b=Y)_MNe?N!h4e%{aP zb-(WWy081Xt}rIO6R~vfsO|tP&ZRL73d9r2o4rb4VwXcRJ8|*p==~c+rZUv6xmJSE4yxWn?#Y09kDz<#e zUGKQ&J!=?wUo73w$cM}~(!k}^WYxlS@(ZylIXcVY)+&J)&TY##UzO6!OmdX)lbk+X z*Qb$};n8Ppyry{jyiI6Vgxu3ULnT5Cre8f(kI}^`ap9{4&7PhuUxu8TY=U-a>hEcp zDRU|?9lp17%b;D6GyzpyLqmNo1@^K7NV03?|DLKMhPg*kmw_ibM%1LkW+kkwG|&t; z0Ha8O9kb_te9_!^3OP>0#f_)fIW+cmq6x7kHrz?Ca=20dHW^4KB0rxmbog9m$09tV zb@HzrN@ClRB3PcEExL7O<~zujzypW3T?|Vbher+9g3=D{4zWbfh5Zu}Nn%^rkX&+F zgnL{(Ex(AM{2`)rj#F7oL1L%<$oJy+qa~a(|U*Y_VP4(b9e9O zcS@;W1sfmO;QnHWL}z^5~2?PgZW^3x}9EuM_jyz=514d3!KCHZJfURkse*aooX7u z{eqVnFsaXau!7^7U>at?ds9c^MV@5ZZr-;Bb~ba<9CU6|&IQa)jdrC~k$$|bGIQTk z#Y=aB@R9J$rMb%EfkA5fU_p*|#~m?~0zMOe#)NnKbPEVXXv|k2N&RrsZNJs$_&F09 zf6SGd`iYde2c4+cvx0S49Au(EyF+?XInGrVS$rp!a=|d}TejM{eJl7`FMNyU=nPW= z9J5rI08E!p%!QXI% zv02#gD{r#Yy+X}HRm^VGYMS*U8AfltrYBFuyVb_MoI=8NReG&~JzoVg&_+G#+;A=h1NoEI7_nZ8N8U%i@B+w|7oPbzFc?hqV5 zCb2Fd>3cwVS`SPq7siYOzsS?5S9wk}hsiWCZvAwDewVBU-GX+`?8~amJn?Lc2KIX=bT*FN7rJymbF)xPvcn`3^^hC%(J)jJB9_NN^ve23p`gL2@E z^;t~OL_-**?Qx*;YIxl`KimD+E+a=GPIHcEERe}`3|y|cf)~8dy3IB_kI?X<>1=N8 zOm?MIU&1-JWFz#dxX&73K00pcAJ;Z<$GD9hH;xa=@B^*tocSK@);qk)9upF+3h6nH zO2xJ63twkiZGX@mGAMRHYhp|0T18!!$I}ZWX}jnAbu8<$P1wCqUYZXOu{V1yEUU5M zxz^UEREt-Uu^&BVI2rbe8tuszD5jn=j*IQPC@pa3N6f{Xk`gWWO#Qf#9{-x&IB?SA z8Eq`6@r2M)T^(pqDm`?l#Kv7&QXnnq?>8eB5l(u7+eAW1XMoqY^nT^Ya`#G!?ywcK zB~-$P4nJM&|IbYnBx_*$#-XcnZM}i3&4u=bP2q}$3T>GM6^twH!WIr&wrLNO4IqpR9D7sk+T2BV_ zjc4?HHZQ-`5k*Eyx~1*ZZl2g_`!35)ypY}Q`^7f%HK&S>S$^78cGjbH`wA6%t#8c} zYm8SJ=l^(Zwmx7@rIhIR>{3?D4Bpo?h6m5qRw9+4pUS1Sjl;NhQ4Io`hu06T6X$@T ztyEfEoA*PJ^-Fn@^M;RI=ufXFq6~fgl6Z}(ar?0wG7IG@uaVPmKDVeVJya}qDXNN^ z`)cCfWFT~fv6JpMfaX4pe);e;(=^BiDgLt7>RZpxdW<|bP8?hI>A|T}ZLtgEwr%y$ z>~o+$sFc>|(rxyr_m6Oi8`n2*hnqcLN6(%7J##Q$#EPHwBbw)_$}5z1%p07f+o{d` z$7%2O!R$e|kx-NFaOZV?J}mnD-C_x@6F-`5Jtg8IsvE!~eXz`^O1k4tXR8mV_VV1` zQkiw4EpCg$7JoO+W_nHqg)vZ%Onra?#)3Oe?}O1{4qd@M^a*a0?~e*8AM-s>H93-e zi}A}%-qwZb2l~Cj@3SwSSyFwkDE>YvEMA=a`X*uK-u?U6P~b6TvhWJb_C&b8hNatU z1fj2=Mdy83d1Z#Ljh`6rq4*?j$L&X?2O91oca0zGSvzwlzL-VWCyaWmZh29%^Ut=;newqxGC>=4V1)e-- zDfmfB`NCVRwkWQ3iO=M@mJXnx^YNXLEA?%Q;xl~x?o;Z)=pt%Y0uu;Y+FCz6#5C5| zB&z%O5UuB|=?T#H)6a4z39=Y>8y#gc?3OOJ5*T_#r(?z<>fuJO7nit$Rz}jT|E+Ol z_G%}0m)UY|p`@@a+`RQp+usxe^+@2F#`Kd~2VIr2#K6OZ4_mk`sf172(d!umi>(k{ zBxvS|w(geC6;KrYGCN}Jn0R~RoB65XwqfK`NRX?OZh#AZks)_ zPB@_z6xm7*xi>zhy-_8+r!8{2N>=Nq2Jr@opJLY|pLX3kWcNM8MOM6J~qt8Kcka1DPxBbVgN8T!i#649Lb%B5qy8wtBOqt#Lkd|F|ojryWBf^2-9P*oL13(P%)a?>+vl*y3okAHom!cZ+Y7dmIn##Q-rCz zD|O1qZ&JvcH$?Qv-W5?PTTd9Vdf1KCmY--3zQs`3sbictl!hL~7OH`yhq zGq+CFWd_^|)i8G5^X{Rz(7T5sym_z@6FJLmq;v8G{|ZGbiIPu~ApuWMYAWS-i&fsb z&s{0jpSE`Z3N>`^FxIcZ!hCS;Q5F}oZ>^cO^!YrGPn2&@vS-nW_5cY>HCT{igK-Qa zm-x_RN1*`3kuq!^@7k@R{E&_elkAD`3*0@DxHoce;Vv`CY=otbexG0VN=-s1S2l9H0SGMoCP7~oeKSf57OyH;%S2aIGr49AyAu3 z)6AcLU%tFtZqpv4t@9%V^SlNY1GA1Ka4WuoC+)OvoJ>bxiC1c%}RknXV5%y&W5(FIX zw*rru8fz!(j<`gg^lZOcLgul*zp6KCTVp&aryd;rkSH+Z4V5sr%^?%}@Z@-))t*{W zhxQ42Zq=gtEYL}qcmGLe%UxVAmA|>&noVcYDEF-4%S4xvE)z0Qh(5$!O{Y)DnwV`~ zn;+DN{_R6xyn>gu=Zn_QwOZ4o2BqF&x8!KvLaO0NfI-aiKW|$r(3s>&d3vb(NEjX0 zMyFU|l|9O;V@Vx$a!oC+gDm4SuQvzuDZ1Y@y&;y5;jZ`H9ieax4_MIFDfOPaWg3R= zJm(+&lew=R7TxkB6DAjC!kq(d1@h`7Dar-bnuJd3l@9LoZEfGxx>n0(`~2q)jyG8! z9P^x6j3;~!?#Ug@u_j_+^t)|zuN)gJ-ksllQkBa$9V3CGQ`YpQnnNufG^r(Y@@_Iq zghd4CoQwTD!%_ouW|{jQFx$SXdA5;cd@uVx0e_<4Sbz7bH`)$X3i3@CtTXE0am5HsFNo3Z`q5 zUlZjn4ZDv@qStOC<4=n#RUososyaglN3ufxbOW7jWzQ#RMcZ8`zr{SVuJ24qzX{UZ zp`u3UdBwLMYGb{@8X`$m=DFun?!g zs2e%$^yhA+FDMYZ4WI&3rkS*X^-a@RRc9Tw|V zF{Qq1GiS#$LCYnkdXs-o9q+bx+xA zeZGBPg|ttk4{uo&R|k!vANWPCgClz#GG?lG4)|j}N{TuQS4$wJlzGeD%2ikA* ztu|hGqZ81puOH+0fS=Y+X3Ff}nxK;2{LNIjZK_h@OsY-9UZP{DA3N%NEaN265MqTw z*ILn*3#LR`wn5L(eXO?a@)|z6CHM;D;pO8N@Tk3TC7YXS%syyQmFCS9{g6$$I1I|u zFx({v91zH_ziP~^%1R`Ie2|E7V3mOn;=zS{_mT0h0M^!8rd53iGLSaN+WVO_!ackl zNG>|)Ig#6TdnMb}40BrPQB_QmHE*iQB*Vi`+B*=-MgE0DaA{yr8{Lj@>{rNoA;q8OA4nLX7 z>?)#_0=bT>q#LXiIvBgk|9e2p$-^{?ogrS4CGilp0gnI^Q)ngKK>qZy+`%&5S#qjI zqb*!=qhx+{ifNs!Jn)6rMcpXtXYYW9#(t#q)kI}>EAoMdnFYCn8T#>q)~1UI)D~U|I8NnE9v@9nC72TP3m`akHpAlwOEKI`(wR? z{Pk=y^Fw}x4pmZ{A@b1hrOlslN%rW6<3BYCKSg!_D^KZlGS&IUx;C^UaM@-(AI=Rv zQ)_!}Jgwd`Ze9`0Kp@7JIS2~eb8PY&sa)eYh7sVak@K_N;uDtXBb9ALyyEm}^jC$c zmvpYtpFM?%;ErtvUutW(V9OANo4js`-m)DU6MM9C2@k|%v?0Z1!e?&(%pD=p4q`#| zvMIxfR(kf_@+h)gL6dpl=&HXa3>$F66Aa^h%Az^# zSnJ<=t_+$_tgP;%@ApFK_Hv{xMhBvu2V0`SR8U|i& zn?Hxg+7TY}7kAFK`FYYrx{vF&jFVX>)%cUA0vO<6OmdLQxu;bR*I!@gQE4O8vePYY zALF<_8hc6+07U)TKIClS@y77dURN+TH+Ya}WTdsvY?rp`OEM{xJ9uGmZX#9tlz2zl z$6@W>vWQ_(+ir3=(Mwr>>sZ8?gYZZSVUNzM^?$$VOjj00T}{ zQiTKA{#T90wh=$_W*Mnav2cYu;g!YJ0V-zVxg>T}ETqxyHVTS;@|L@uvdU zeEvHGx7#i|R8o`9iF!Zy&eK0IM$F~ccvEZrVsWBgj}bz*x%S%{T2m)5;eBC}ZQx!bZXK{pH7)oUU$)aT-T zIH6^I;c9^2yce3FAYz);egguG)KB=dSC(s!b-;xAcynbrcLXD=XZx)e*kX5@2lNCkR@PwY9z;M;k7Opn>3C|%z`u8aN;a)xU(;2>N?jECX%crrWHW%J!&MxsdbZs> zM~pEYABOYcK+|WUl%O)--zwKVH@@b{SxmZ-!8wb>bszFvrbP_((@wAFd(|26kE)ak zxc(YsKI_bkAFA&oCNNKOkgV?k#{*;!Y|}d5&*UL;{xoS0NA>SpF0g?p z1JSfD3^*UeJb03W>rocFLyJ-$7;4XCpW}5REQgK}OqbGKWN}dRX_A-(H-~m5t@0A( z^z{p^(-RO{#B`>WBf(enZ;ZbEWrrZ_Zweu@qpThm2+iXM8t!e0nXO4$5-7?H)z^03 z0|saK=Ixr6s;68l#0lG|H1fiB$*IwgCJ^`&S$%)>TZ>fK`vOm~KNsfu(j$vIYas#j z*=0oVEc3a6?DVAS^{w>P`d6<>qx%bxk=Q@l4%$HNo=o4 zF!f;)dO>QU0cneE6QAA&_!qD)N*%eLamLslZGTgS(sV0$ZPgI%Q`OKjl%8p-ID7FHbRCl%9Hb%S{{n>?>>>W*JUjRVl$eNO+TiW4_dlT zeu=~o5oDG9$WFIJDNJ_N6X+iQ$-C`8TEo@sAtLWA$ru0m;Mws1VP#^=mIjsvCM|94 z>qK4iU8Ic6)C5Fj3(;W|{bT`sV2D(;k0fvAGhoD6=8JNNpWmANId*{EEJn6;2lTzp zqG%$5y-aLuh3xP%Uqgh15ruV8Eq|1Qe(bAJO6gV}n+myGw-5M-+UAQBSt3k!bEXrG zC2jgGV(0!8>q|%_YO$;9R46{r%Zig_)fVUupv?f?-oKlC|MrJ94re#TbEtS8LlqX{ zzSoHCNgPHhQZ1?~C*35ECdmGq$u2%ym8asE01ZAhh%kTmHHe!o4}iDnzJ@7^H}iU$ z*tujIkuQZ3=%Fi-nV#UUK-=~2s$csT&lZ;A+_-pI>WMKapWQ|(e4I$D_U9w2hX=}? z$VIbypEcU_;C4#>$h3rJ${abyqad;)3 zUU-96CH_w5FrsdK4+(5PA7Iknk}ZR9=RJoRNXyDWwRp9C67JhMVh->*7XQcIP5EOS z)4(M{g7L0n)0e-m1ioRtwxQ{*7N;3*(sHRq{knhOT2(K^jr}piK)T1_aZ>-*1&#)z z7cD98P*nL!xvq-PAP3hVKEvLxd0?w01QDHzUk~yY`6v~WjCg~7{U!d#YzLkCag6rH zeH=P<>eTW+%HJ3teE%Y+A2cuVq1=iORr&iVzko3B*fG|z^`D=`$FC-0$`?p&_3Od8 ze$_4fUV)DKG-nk<_a#PkGef?&vLA{HeBXXsZy(g@FOenv^|LhSL`Z^k{T+&(R;=6l z&><4qq?TTGp++pzLG5PRV!Et{Tw7&zLhQ+@{UFkhfDS8=|cK;AN zQFExsRiU|7^rh@;ka5H^iA{V4599l@j6W~HiDUKL%!Eo~`IEdnNn+{aNT%R^J&p;| zscUO*B5O`_W*z3`sGZ2hJ(F6oPj^D1=W$>_zg8d^|D(;xR@W9q5O<{5na)TAXUUg!zL|BLV{1-jlQH@zMg+J2~l+2 zZImYlE1SK9P*0RI-C(5U)4azku@1T*Y>S$i@MXB+1VqFb2R&&1F9WEr9wL(3Dw0Eo z$UcquHB`5DnW5k!cDc2A*j@kjSb#6;wE%nOG06Y zbpdV&uYuSzr zz_AW~ z>0b9`ZYj?ul8l^&l*8%Tm!}%cLv8kb+EmC+D>Hje4BxJh;CQEr&?j0D@|;^%-8w06 zirJh+P$kH~Ug7U1Kbulnd93EYn^1#A4Ur;Ga@5cBYHXzYKE!Gfl%C$lP!z5sV`^gU zFA6gr7EvpGdJ82n0h*Vm%L9Il=MF+mPDk`u0hPBF|>Iy66;?uE=7e#dZO*_l(lJRbl{n7($elwFDet}LW zN!l&E$M)5T@?>qYCyTUReqKuM64g;Im0Qu^Nf}Bhk473oeV2kTVkNT~%2)8?e zUVd){FpEMW0AB7em^Wc`BH#X0%ouf4+%2sj^H)PhzP(SkCW~Tzp&ObH(6P4tKCrl} zYj`jDZ;dZxg>!{ZGdca4-lw8Ghvq<3O70)kosz>1rs$EW&|r7q3C}iT1$J>66J~JU z%>0Z`9h=wFUD~U3vo6@3&h3tfl-a!5<6jx|kQ{TLMIHWzMk&z1Or8ITQqY4|7|~gS zRC8~|<%%Uwh@$N-zduwju<;q?mDj_{hnoDZX(Zpp-Cwqtwv}yDZVZ!hK8sgHl@oy? zyjO3ap!~f)MY1fpW#nz2=5uclNhO zw_lTxdhZ!o;bKIi3*jmn-&0kPp(}bPpy>)OWBoYRsQIFTrn)5k%yI`JCK5BY_?ty- z6SnnF^(WzJxOLF2TjHM^rVc`h`{I`yaebivvT}wc$_Oqx7NKr7VT-p|*pX9h+vDgx z23apsemir7O_ppM1ERm&r}-x$K)!So_5Y+pPyPiD+5JSpi-ds_n0!5v@8&WI6z;VJ zS&7X{8mvUXIVN?g39%z_?N8TffZY+%DsI3(qn=;&D-UjX;|@olwkJ?pzKMob-ck3G`DVn4QL>iX&lrE)}q$APQKjYtb zZXVav~Wn7n) zUz&^TkvaEgK6T~^-~E_;eAimhM%5!1vNI!$D#u(0rv%_QHhrHhP2XfJ3LFxygY@?eRkfJkti{6(S4AGJZvG%;97qz zp+9*u?7zNI%AapIHbymO{x1k5?n#S9dZuET9Fr_zVw(C%ZNh0@(_o0JCJ(#}DS%SG z5!Ak7#+FBINND~(@x80y2L3(6oY+4oeZm#KcIgh^Or)}Zy^xA(U#3Z+x$)U)5h|*` z>JpF}S4xh&tA^)aLKAXNI_!W4jx%L>&{4dRPELo4q5`inY%`ihAn&Pos4H+yhhU4c_CjaL3GzzW< zK7{YwMwI!o`ripv(SXWj{e!HLUk{}#vhq^8DJKszf<;zh14p~xErYBQb^B>KLxC0k zfD5Hrvyraurzo;Yemz1q!IojQC2`4AIORwDNR@4Tm__*zJ!1d-P1n8Q#E5!wrvRAy z=OAZy71mUuzX0&Xw^QHwNwy5-%WJ53)$-hzBtPz#-+XOCe2D=G3O-_7;o~$9qpE$4 z*%X)K)n32*-oui0R}KNZJX4vt&XN8?vRDvN8~^KB#&{O|4I@bPeMDjb1ytdWw!(wRwqnL8u7&C}Q^*Z^ zND^!$BaKJIooOx+zcb>w;A8JW@wrhwJ8!MthQGE+>t!cRj)zD-W5OtZ<XL-$ zPE*eL9`z0{1>C$W3|0u8g`W($w|e84I{)>EI<#aP3Wm4Yb2oSRLfH=T)9F^CD-=m> zbf@V$%@%sBQ2TL8^Q)-GOSesRu68f7VuSV3mQ3Q{W0Bh(=Ac|>QzbQFu=e6__7!mf z7)`D|$_IVHipg2HoIM!HI>E`I|F9F0Dfs{`9fHK|CAp=Z*V#>6Iru2e#)50gmz^;e6<#J?|)k45mn2CB?<2Q0G4 zOoW#zE$P9L4xb;y2>;p??GIu5Yp~>v_kHzmpJ(yqWeF}ke-I<9_&E|bC5geBsZsd0QIEo+#S z4CQkbL$1-=q4KSpZh*FO@AG876UI5tgGMiYW)9@ZULS}z6VQE5Ejg>_z>}8uy@lYM z=Kt`dZ!jT_8-qCDc!EaMV?AIuA2v~Zo~+G%biN)v+D^?J({+jF@y*LaiRm<>U_eL6^3k)57fir@D8T8mFW3_6)CI8+(OJUr65TEGd_X#A#dR0M;XK#44{D-_?G>e`3A zKlg}S^4>P2#vq_b&xY#8WZ-kQNwN3FNZUSeHi+pN{eH@Y&%<%af62{S8BHq6zhyd> zx4s`K1<;F+{2xr^Mh1>CFg?y8@LZRG_w)-q!)BH9vvKSycGZKWC#V#aPp&P)}Invl|< z&OLr96R}Q%G|nRP9u`K&Ysc|h1(uSv+xYw1U30a_n;p~a{am$T!|=9MW(2hQjrenY zeW3qRd*C6QM<+`}^Y4DATmaP%;ZgP&##97VN?&&dA&cO-L`N4VcGII>@(c5GYij;c zk^Sd3c;#4b3h~Oh4(FpQY>14|6PdI%`Prx=&-v3@ee{w)Ik@|6J#*Pj{H;hIz0n8G z;YpX%e`bc{nX0P}v#rX8pwQxOY&53{y2C03-Kng-G|c-FqHHLa-@Wtf94q!A;HvZ6 z7?b&z*H@{>KI|iJ^Y4S;P9%U|w3g7O&W2%D?~{J89e#%ldDb3gUKNLn%j{*ZE%9SB zPVT4tl$s+Ws*i!hWHa>}BNv8)C^La=@FSDiE5aCA-55(!&ALQ=&v{4WMKTM{0Fvb3 z&${L!Ws9OEm>|p~>PNYIJ|i7Afl#H0^a9BSe5Ijp2pT&=m3GJP z_B?!a!yk_GKUsZ65*E!0T2Km0vt&quN!klQW!DjZA&L)AE5Q|tKW_s0lSwXB^)Z21 zog+_d;m`+*nasKq8{PPkb!^fGjFb`gv?gd6x~Ku;d)Y;(&$`X^8LOnX23te~=Mc5C zpAWBT)q9ux;X>Hi+>J|0R138%Bwkr@YQL4D*R=60;r&kEPjr~VpcJPGa+JR69Y5a& ze|o(>jc9;ewr27n?qdD%pN-MQ=d6yyuSoH1s*qj3Doyg&|1Wz%26si@3W4#rj~}V1 zTKW-xNEYSzZ41RU$~Frlef;av(lsqzSRnyN4Q&7iu>Y2<9@F^0n}`2DYijvXazivW z2Ttqjzk7Mg#;9(iTp$0xH|Nh^`hV+6syI?I@K+sXhIhRS73H6DhUss-DTyS!$$9iR zIwEH!h+Kv`W;K&p2qMIY1Xl0z^Sr-5^B8b#av6HppsO7JIJTlM zQbLohbyJghRYdqm136k?yXVRJLX=(7F$L~+3h zO^bRrV2pvKTm`qNtm{&gH%2~|^x3drg{t2pxl3qzj-MK^+{?3rn4X6Qlj}s%0e;GC z>x1?1CE|vpw|xI2&}F}V_5e4sHs`lUpI+O!bXzvD`s*Ht(l~qfxIyh<%4_XC4s2aJ z$spKa27q+vV!yC28fe;o9#i*!ejge9Zs|$u1i>fLo1k2Gq#Db<%$y9(g*qFQgfv*j zWjU`wSI9BW@oxG7O#MnDkr5PSSuCR4VW-JzDl=(*I2T5VO z{-(^Tf9f4nm!yDQG>ZY{!=&iudU3z0g@#;)AMtO6JSRoz_7!e_q_*DR@{0GXJG3`$ zzIW_^UV>J1ier~dqH@nY-;56_Z@q-Pm7m*2hn_FC3VOdGA-!?C=I!F;nQF@pb6CZ< zuUNI6&VTNeNB7)E9S-sCpiYjqPB-a#N4`$U2?rUKO#(q-gW2du6*M`dr>6^`VMc6P zpIVr{=AgJwRF-MDPmMngC()J7ti|mJYHdZ|#jbFzXeZ6(n$294tKsy`akXWnD_!pa zPwH8|0y0+}zgOPS3C*}wp3`ORH*L+qnfSIMqm z=q$Uz@7A`)r$qwh*|03Hcq>J5g7;JUbq;hQBB{d*~(k6XSx1q^8Nc%RZYAVX`3CM0rX^46|aOQ#q^geT#Gju%YkIl5pZ(iFXS0SNq(7A=z_WjsD@xn!Gg zgHV+u16H})XUqk-^kf3B%>pyE11N@Vb$%(U>uzPSwyQ^$ACUfr<#rqTFA_rHl=;^9 zdCo-lOHzkzY;4RM51m9bh#Rk|sVNFnk=}xq&D&XrcCV3A z>e6ktgU!zr!n-XYC}uE6f6AzkeUSE=TbEE|x#EEyH9NY*$=?~!(8K^KR3lqw*zcw{?spRxu4{)d{>7`2katlV?&ifIFOBSb==@) z3&Salnh&Aal(4Sg_ZYhUuAbiq5>mw|J%j@FVf7hiRYls%BkL%>aCL~cAe}wP|EJ`Z zAne*y=bH)2)3aONL>{w`VKwHVJ%Zx-f?Hr>=T}VDAE7X~wKGKCghkxKt;pFba&tLNA zQ1o9W%(RR8{Nmk=sZ^BPMpy?Maxi7zl|Zalq5dIrJ0KvSxsF%|vduJ<+K>wI1`hfwGAdl&dCdxKaB=Gh&-tl@KK{HPa`CBPJUO|Z#rjA=gDuRJR=m@n+@D^< zK_pI)W2P3L;V>S-eUd1q^xlm+wec{!8QOXRsBtyZ9c!h4CA#Du-=-2yXb=u{9G84n zvR;U)OjiosS3KJD(P3N+yqHHi$ws+S1?X@RbKJ@~w(05{_H{Jy-~2$@tnvFP7T{@x z!|PXNLyJBn&69Xjcg>&-dUmU&=vJdMW$#0diLr2F> z=-HaOx+9jBmK#DU!zD^d2+2YdFSU-CQC9BnOAzaQ79;5A*jHDKRUuT+6#zxyJ6kkt zTZP9lQxzrxB{a`?BmRO}`~SKI8)-Uq4UIsNs1%{yr$_`+&F{ ztBnN@-i6wSqXi{^rX$6jtqy2B$~=LVMJLU9N!Xe@UOzyO4Ek-(!c6PJJl{v@08izJ zw_G}9W-1d1hEk+SQlqi&!(=D7%obXyQPuB&G@*S3U@Gn+oH%Bha*!^@T}(83wOE=4w)Qtg;IU6Kfx{@gRjwLB!aU=b8a+P+0Z1vFl2S|~G$q(55L@6QItTNuX`C#*@IG>!WZK9Nr)YXTLAZoQe+{yJEhXRVF@h*Emq{NnE_+B99u z*3K1PT{Et)5y#TTMWX(8Yh99-gjs`W&yB$HZtQ?6AdsJi#`>s+CEG+qM0{4C=O9OD zLLWI0H-zHz1wi7SPt?8G3T=+yDg@Hm?)|ZD_wIELHaU__%Ka(N#Q^}|i{eVxwriV1 zp4ejQrI#iOBGJWFOVdOKZ5nGDb*N5%%&=|h>R#EH0Low5_(m#kz2OOdkIE=I>if7R zxJplMK~C2DWl(Bdaf)rdsx09SB=ix!L*3Y!kB1u{;g**Y5=VT7N~APKM|DaEJtlG= zO1obqgtXdxT(YF}%%`e4=6&*}6(J(x);Pd|;&m`zt^Rv(vl?NL3!z_4f_<+cGwOp4 zO}T6wfd@Y1F<0nXgl{BbM0|hvl4{NaXJqN-g302r83gK9i}6T6jk%JoaEH@$R&pp! zV~``d;{Uapz4z0-L>`gQ2Ntw(Ozf52aM5TCAgqBQ5Qe%E`kFFrxvJIbh5bC|>OFme zj4tkcsu&!QS_Sm6K%dVprgiBX2p;ClfgSt(Q*^3k7 zef9i(*~F6m(Vk!tYwh?PGjI8-2&q29NE96qbdb4I5h`lYFNCu0!rWMWN7R*d(=!gp z*3Pvo*_QoURwBK|n4aU05YPE;&$AC&2u1YlC4UG4c$Ux7(olJIkxqJD{*unxaTbYx zzCo!k%N)KzZIWRw{y|o)ujN&4q!5q1k-;C;IRT=($AplMsq!F%1ntQZa2f7=78e)i zVAGQ4qC2yWac@*hI!>J;oF09Ko}OjVsvK>>!q?Zagg8o3ZzBgv+(oJR$&TFFd^CLG z#-9X3F~>UjNv|U+;3x4E`46(tuBF?gE{>Mvc!1CLebZ`%B`kZIU!1CnA-|NGr7Dp--F>efGh z{#+=K8_1K8$rZ424x^J+CxvpOwLiPDvGF19yCV9CA5#TP0x(gW<0x*u?@WV#d_7{5 zvnyXPU%)aad!+?b9HNh~SH|ijA(t9=L?H8PGWPwi$F=7bDytM`F3)o;6U3nzX5wFj zWZ!vej$quxMb1249)pjDCINE(=7LAtQ9!)S$;YXJ&NR3BSR?pFPObw9sg=jliSJvo zvkh|lArv#6-|fI*KH3eN#&F7fdrw@&N;!I9M{lePKnnB-YUPK+jRoD~{Jjd%lhrq* z@5S>`*PekJWXqVo?JE(C3WsY#-mB|jbA$v8(>40%#$k_x%`kAbYOo_&4drSaWj+;Ddb4pA_U&r2rQ{mFuc@jDJo{9p&_zhRU8y#*dNl4&0;fp)z8e9{ydMF z@l0cV`$JP-%W(&f(HOSFI6Hd{ZIJ@ZPS+PGOQk%H4)}7M-kc)W^petgzf6vvG(0r5 zwf9-szO)68z%l85P>@A)=rXn5CVhD{{^>EPd35Xf>H`%{CBWb+hz7KM9m~aU(RR34 z3$CEfkKo*NG_}q<8M#tkYyL(pb`CpmWJNBh%hRt2#(D9o552PI&U?gpsUM|nyus#i zfou>vjDmhmw?(w+kiftZ0chhU!aSyXhU%eOwodZLUwNO~QX}WiK!M!zCbIjyQOe-Z zrH<0z5PdaC8}9&0v^K;Kf^V{eVf)TKdu*z=NK9lr*;}Se+TDa%CIH3?I)v8h$sBHX zmz@nrF1`b#fzIasiLrrZ3E%y_&%|({9e0E(Z#qwG;x{Z{~ zLtwy_LZ^fYXIg8b2UJVny4k3Rf4v6_w~==6X>C7HvgoTncw^K@gT9fpOam`+wB04= z`g*7WVxy`l?mz#Hj#QSCPRHaJNkY?=qA@Yh90SFp_qbH^+~f44@=x=>ht0kOOnCz0 zS0Hk>4LU1XVU2t^^E+suI(o_9P5!Bpuz85QK6FxM-qrYazHih}Y#hEv+3xn%nW@XC zxT~Pu{ukxy&t-Cy|GrvL!P@vwl~iPJ#OoOYT-L$HI*EE45vX%($d6ufXG`i^hmr0o zKQ!}?B2{103J%+^2hYAG+t#b;>obFR>P;$B0q23wN5;gE`vUsfPO3(Nd|{~g>s-XI zSK)tdjTf^n3l?`U--`VpfZXlKjRQ{cNlCt7MHZp%i|C;Y57k?7vkAglu<}3v`%!7m zxqy6v&2ycn*dbK@DrhJwJar~Dhs&DFyY7O6J~4Bi`1LGIg;NQx*(rHW$&Y=Ax8X8vZckLJ7eTN~ddz3_UR zqM@0o6nDp~ounaP?mlzgLw)uRlgO^*ZcdFOSTjNC<|u$&q$pVvJbb9>UV?^xu^usA z<VKcL;V}DSam0`qg&8na zA~S#MAr~KIf4q^)3$WcDTW88I<*gD*dzCN)TG9c=Jk_l<$T@GBI!cKR@Bl(aBeu_Q z25=BF0BjeT5s;S4TvaHp&+8HO)q6of^|{)HhAh}JZ~9zdH|vc{P7on;QGJvx6InaU zkwp^EDMO-q2egEn--7ew5k$RYvqUth-o4eOcyHMuD?A-kkgkL+;`V0m!o*V*x(R*< zVgfU8rV2f0WcZ>zl+-IPRFN1qIWBU4NAQN>yMAsQ3^WR_SuD9PlNmk22>gboUFBZ+ zc9I>{QnK@~ywsM>qmB~C)!Wx`Uh)-=_FX)vd!>1(pW<7JUZC6yvT91J6bO1wx`~+{ zKGat@NJWMlP4OLIW~YWTG>}{6Z0!gcO*wd-##dD(icLMb}35R)Xkx%X2q)b=S)~;*+Z5+%-186z0Zc`8n_b{y{E8KiPC7TWy zxfXlp+#=^oq)!}Ou%RD?w50^Y9;3X8QIo*Z%`A92L#&f-VUL(yW}eyydLgvARw@x+ z)?bg1!)hz!oS0CF5OBa{&2^3g#6+|NSSKS;OPA~&zn%(C?n)r;$Ddx~_?zt9Vv@~( zU49Ol7X?1Oy}g<}nELSr;=bk*#S5wSJOZ#iNPC^!?UAgm5NlGL57p`07Gn@{ z3kt2~Cr*H?f{jF+?a8V98c~@Ec`_YWSFD+fNygsjBxb+2;5xG0~=< zm-3@)o${GZFm~T%q)`fq?kHC&bV+>j3Sa0QzawJ`^{} z>!fzgC4ZRQ7TJ1?gg)GBA{XO|ZssZ0TjaOK0c8rtyqca~NNFf#IG$Z-JbE_-=Lt!4 zlvZDHQ$-#C)Nfy<)Wqj^%ZOg>&xcnRA(Q~>H^0oR;1!dCL2u*1MwC^iV3`UKe(MBf zvj0qF<|NIPPSagP5FsMf95mEmh2J_-Q<|EW{6R?F$#3F+U7qXi!{0j9of=rM!iWBTxSU?PO+|XjEItPdz6iitN5FBu zTlg^#Aw{U0MhA_gMPxE*s76EO)MXA!$l6rR4rAsMht zAwW7CX=B#=Zp!B(YfMlxcovtGRGA}zg z2PdTCD}2f1Zi*F#udlTD^nE!qeI3BaP?6CT=e|d*5c46>9(7jJXP3>;|2<4}>e|)-h+bwLXggyd< z8&v^4@_69rj=IZ5ik9M;JkmHs?NRlb8%AQ~D8ly$M~ZuZ$0r)Vg!~r2-KFRFg38iU zona#AMBlv4m&1cqT=PsQz`cC_u?ip3^3ye2DBhe33DFkG3+FJ**qMMv{hJz(p5w;e zpadQP0$(?6CKY$QHxMs22ymrg5`K2zw{12V1+bBXV}$Lvr_LPU1Uzv0E{v=ge8MlS zo&{#*0gD{*0edoCV)gskg1#roGiOI*Wk_&bF{t#K&1bEb+qwOOTp#lJKU*lO`b<;4 z6dBidNk~rgLGeA}W{ITSdhnHLYs;$`utN5DBm-zHdXw4e>s+7Yvj;d(L?0k=f}0Yp zuW!KPZa1F-y(Ku86qh5Q;58iucw~yA;r2Q-)f=R!c(wv$$JzQ;v70c{pEqw4mkHMX z&k7KZe8|5s~1(4!ZAuaPQER$&F$e8rH3`;r7Q+&OFy0NCSp*;^lcu$?3_Cq0a%FLv_Pn zb^D-k#+v&%=FYUz`lpo>)??W6vJKsfFd4KKY6Cki-77 z)P$2U4^a~4I%xA=h!%SI2#{#aWt26q8>mm#TDlFRjebo4A|FmvA51}*(sa!@)68_- z_`TTswgN6rb(jTtcif)AgxG8%sa{XG=veqZ`3|Wjr#RLX&7v^hB{Bf7)J>kpS z!K`DbWpOS#I)J^h3X%Wm{Fjw$aq3hv!?3!??jyfvaL=a`<&W?6K^t$fLu#Uv2LFg2 zGIQ&zp^_sjZ$}uVJ!`4zS&p$BPR_$4Mk7=S5~2)^)CC@#ZcLN zdTkML%NA6xeu5gF>=snMRzd7P^M`8_|5&+qBb;4V{?k2@|n*IA>XZ22La>a@$@jjI%pww1z=h!Ht{ z#YN>03m`?j3H#6HseZuuQOIL5hE2rM{)i#mLBgnwcN?cXQk$^_)3p6lcf@VCRH@>FXJLuYP-^JeH(?*?svv{z>Hg)? zX}*cdaONsLqt8)N&Q&2=gL=SfI#L%#RRsETTYdCB##1K;pC|hUDoducOaqH7-r*

Y1ovI;q!zp&NSgh|NAfBcW3UuiS8daF)bpKC$^!{4| z+mUEX#gBU}U3Zgg)y>A|)w=3CCoFfnw_STDZpqnpH$GTMqt*#bBZj=mnroZQS<7X( ztDe|3y$g=JvWpkExRG1WlZ*8Q;JXdo6{@-euEP-p1%<7jla1Ya))?Qsbd*(hFybgW z0=1uL!TGk$AJY!EHid-}_)kIcv{bGS0(k7p)BJgpvKFgtQilUjD8?9p`d}oQ<69lx z2?$u#@Gu>BxeK?v{dt-Pb)kcPRC~2es<7 zf@fZLgr;M+4=c;&Fy|J&wksT7cBO3dbj~gA&Xse{$ni>J!_0=hJ5&`D|Bl`fskY&_ zF;$mV4h+v?Cv4HkUzj_QfAVnMT=|yU5$^j|usJAJrbg($eB6?b-fO8{DQj-iNO^Z} z4BM3aZkPF~{S#8ghAco}{Kj?jSE2)>H+bIv($W=0Q5&3B{#m6tN_ZrDj|zU;;X;Tg zY8o00B$Qyzey%ceGXc{z?1MbtE zlC~{ZXuA>=D(8oT^3(JgIqpgZCCrt2&gpQSyIZjorZcg)&#cHf~e|?G3xdU|)OJ7(3N+_*-QHtR!y_sFVekj>BjVY!_ ziHkDneda~wAMdVIONcOd!LDVP^yR?I2wu8?6EDu0RLYiR*fh2G9KNl7O>=szUw`o8 zOQ$zCWVX`EK*e8r4Qy~TY+556)ZgV=*VpA{wC2y$<<{ZEivg4>)Dy#pOeIm2ZWy~O zxO|u6)QtmI+HV%pR$a898b31?s`j5zm+BSda7jta*>BMt4S~4W$ct7RQY|7~`7A0- zAWGpHMuGclg1Go$C3|fo1C=>AV9mnM1S%2v z48!LYA110Mnm7Lgh;x6GFA4MXs1y35VTAf>O>{;^MtbtEdqS0V8Q|{GTI?Vz84cZF z7ZdlCV_eT_X8Uc$`+WBgmub%VvWo4sP^x&#-<_nezEVE_tmS~nxxc(LjXQ)Vjy-j( ziFNSZDfH=SHJas5TBzQz^#!jBP&_IQ)4tRQ>c1jX*gF?i$U+xv3xSwuz-~evpA|;R zmwQvRvxheuZa|yL2jiicWfaS-Yoye5;1(uTyAvdE-kkjNO%#+lhx;>4!AKJC`>=v` zow8a`Ue^dt-j{WGFVE;!N}qy}tz&PAvVu}l4_B~|u?we#5^!7Qt-bQ8EvQf~76ggb z42@Z~=D+G;r?NSuup#AtSs7K>VD8n8hJ|P&lIwmbKO7F zoFg(~{eRed>!_-?u5EY&9>4}M5Tr{%Q0b6R=~O9c6{JI28e5P?P#S5Fke1e?l%%Az z0@5M5flYjKdBW{^-Z7r>jrYHIc>cKWa}@Ue#aeUCdChBH*W$e$NDGWUgSyGfkPJ#2sj_|N*ordQoSz58fjcpaH z8O~PVlW}Vx%E}`rThG~TZlKV@u-OCK2`gf`-Tsj-Ol&^eEj_z0VFnmTDC2_lmuBF) z?{)2|Uh%L{A9{qMLHbs{qUh=mwHs=C3~kLh8$w&kW%}o^5pRx;Nn@Q*I>Q2t`YZGC zC7gpAj!uQ^T2MaRh0_(_eA+HTlB@qEuKaoxA0e;V%s{?LX({LdHk6png*~8dlef>| zHCcs0pus|5^RP{;J!7U+i<@&?u9#Nw`uIS2D)Oq`;KV1#RjtL%rG@WIfggrh6u8?B zrXo+bVdL-L{C=+XLxf56C(E4!m>_*9>r<3tdXv)WMZCUbwER;`g3R0xbh!EFxe+7tI*OB^m;58OgV?%On|1=K*7IA-M=Rc!p3X^juZlgz7LgQl zC(mi1ly!(hM=qeRO zg`k$FeV5+}A#NU@pJ?P~dzP=h21BkE8NGX(MRL?rY>o0Oi}+K9-0e4wHkLn^I$Au9 z0cYR&{G0>Cm%i@QeW|-(kN;L>NP~=n!n^2D44+&gB$Cd?1882;- zNK7Lp5j6UqA!rg6{6HmZPcZqJXipC8yd_$xq}r}ZviE2-H zIP3%0%+D0O%S-BQFE8$cEfvl#8H+4m`H2fHjs%ErGJwj&^L(z|TKmMtUKp3j)P{rrx+*i% zSLQtSDfwPP$v7PNdGu|Zb52d>O9 zf9N(~p7jv#oTU%t9Az2NTXXiWG%uUlWC(+flz7aH?h zYQ%Y$ERKpe&b-KH)lB;e3smTNv(}&7G$M}jj?Fd1{jiu)51X)2sB+!u7Om&BVr z?&!%Ao_b8{ew#^*3Pbe@%CO>oJB2|vE}f#xcW&0u$i|yl`h00KC4;?_*&q30ZqPbh z4sGd!Dc@lM@b8-1Fk*b){H3l|I-v1^=Jq&%icmUz>+ge+1xpI1K^v%PBQ7g(nWaV= zMa70FYEME-y}9LzU1~vFNBFa6Mzm(gSHZSZppsmCqo;*CRG5l!{WI6v2ezBbwPHmL zOLB3k$2c?WTiC=Gd}mb|(SaFJogArLy6f(RlhTm?qdQ`BDr)R!CAhIEmDIhKM)X^d1^9A1}dIUkyz z4atn{JC|`O3x$-&?#nazBOt*muO820G1`5HU^M(B1V%i2@ z>3nRdCb`65u<_@yn_s*M%9I|bb0|7=wZ6378m+gTs}--*+439O%5L_+JrApf;Gf%I z53HcWHk=0f^IAt_PJBu$)TCN4p2qMhMa7XV0=$`$5p~W`8fqF=$05MP8V!L~e-7pz z6emWZ7vEGe54`4&Ge1uU?OM2?5rN`?@QhUox}7`Fs9;(>Y!c_F(Z5nFUIRSIQO@tJ z*D7407hgO!;GAgU+l!8`ffBd*7)Ou!SW$cMg&SSltQeX)j0I3Y6Z)o8g6r?;n$L#_ zobXx?)4aLvdn6Zv_L68X#Qce#L>XgYB@hBlxFo8oaa0s%d0MNqpt*3VMZ~7qqeN^q zZ)??}LwnJYIQ~{4%mkIYEZKE2hl)iWYLg8~Lb^+cW-T3XBBIb~VYr%*;om6M>O0o& zY|yoP_k7&&*_&(MKZi0i+yhGWDCoQa)vU?$Ia0n-ALxTxjDdtMI^X(RpH1r2bIxb4 zm!?7 zofNWxBBzA`W-(_j?K-s`Y}>KueIYsC(rqRH^J`iB7c=DThm5#pe!i4LeOAh_R=PGs z6gWiAmP4`mtbI>6mcDs!VOw^o*~zgQBn78rL%M8l&5zE6X0e>AZCA^lQa+Ob$n1x~ znX6ID`Es1tCn}VmZ?7&kIA-gu)vI)^uhbts+6yGp%yH-hrmJ6)#T?e6Pl9+ly#d(N zqAOUn-RfF_E=qaq&q_NQfmX9F@xvg-WtDT+`6N##wpbKBN07ae_o!qrVv7NJb zZa4FUc)t_1A2Z5|;B#}zz|n>dkI1Jao`_^5TWWoO&}4r%QvIi(lH;LC(up04KmQyM zu^Jkfc8{^31B!y;{ApDgOtp(Dd?E23`vk~tR$?M8{1*;Qe6~Yd*jivr=XJ5&^+QKoQ$y!z}e%X3uL|!_Dt9 z;=ZtJZHfy=mp0!+Rs*Dd;Q0kX3nzTFn}jY?AdQE$7Hf0p#bo5INSQ-~=8e5~NlpZ< z=)zuP_Wj&@n5mu0P%C`rbFv&B3c8*TV8t898b7r{I`Q#nm}=83cu-ZbX*Xuuu;UTz z37R+DRYexvT#yYOwHWje0BP3P2(?dSiEwT$o9>4BpC{-TMQ&CSGVEw*mg#WuldKOXM!WZR7(hKSu%C4(Pu>r+!}8!%Kc42J|zk{ZrqVT_Q| zc*xnHIbJyddZxC$K@6YThFYqsrn7~+1H|XvOze1x2UrqA9&*0I^a_yRMHeJb=+urr zA9XBlIisg-)8Y$i9WGp$^-g$mAa&SM>IwRqh{qp-{ekh9V}B;pRO8v=Tc=Pq5bY>O z$+Y`H!6WCc%=+_@8S@uNs%2nwMY~OiN%{lYITY9HjiEL?w*$sPfsar?QEX*#+|qZe zc1e_}-BDBjmgxb0C2Mg*+x%39qd>WWY!o0IPfXa( zCt7xT_qgOI)@3On@!x`z~_?)?Gug6Yr)+-$Dsb5)QN*O z9Dbncuz|2$8)w|2td2|Hd&W;WMp){le2TgsodB0`c)<+rq4Q+F5ZBg>Nz{s;ir19t z{sa2Vs^S543uD7dxn5dY?!z#>5ncc@k_ad5C~=xP^`o{)nzCO62xDMs-JSJa3_>t9 zw`;vV90c0Vn;TOdZy?q6H#vGHyLjmJ%S$?&xC7q&w4`!Cy)xFTf}ZE1>tG9jewouC zAlfqR^6$2n*s_i~$Mj?M&b_{LunAC=%PbedK}GiH*2bz;*wPNn!M*t&8fO_kNGFP$ z5nS@)p(@XTblGCdBgyn{Bj^}yw_swo-?Xbn(x!JV>akUz>PL}L6+Sn$a zH^GN2+5Mz(1Pz3MpnZ9~s6SFw2h8u-!!&@`YC0*{YOWBG6itaXQ;Q1EzYO{WEn;zf zhbxKLc}OG`fu%Nrj;_9#)!6|NR*$V|+b;wpk_y_zo*otL*3DGHyr`2wydnadVz_|e zQlvvF2n*FzZB18oiCFFO9_vI`2(Ek0k%*ClKo4Lln0FknuQc*%V|z|OM9e$&bHt0j z0=gcx2w+#AeXJtLfHp|};Q05&#k9JmKP!7 z#WD8>DSnX^t4tww{J7e8CVQ)8$L|Jc07Ou=U8@&GHaI_U+xr{KKH*N?bUTz$Q!hG# z6;H{D&HJz45!)$gsjmC_o|>jeuCj}$g8yiI=QBxa0T@8-{{B99`Qfpfu&afzEI^Zae=x9JMTApX7#*K!R>AMnr(tZFAuoIKgC843s%O4Het`N-1V}?bWUeho&to48QWUbgUOrxo%8G z+?F$mimt87PVKCcbBMHqyVNgXnhCEN`==ZMEa;giq-I>STGXb|EpX~-sN)DDal z!KLMPp1}RkF#;v{!wBQfgn@^pTq{VgD6HkgDiKypfSae2S)L!7A-FFFLv}mkJaIl= z8_TIYaaeR8G^FAWPfzR2H{?B(L3Yuj@R z^|N<>M+IHPd{YdCT*&-8Wtp#E)ij+t1D+sOkxY@mgRBuL8#- zVkY=J()p4=&*UVal)ib0>jXgZI~%KcxS2 ztuO#x2g9E2Fph%vPu(jt5(Mg`Fgk#? zZ?gO4&8{ID(cwJi(Q`(1L5hORyC1=7p3&feSqC($%JcOXo{l>iX?-X>!)jQ~s^i++ zr!!9RXm3sG8D;4I9m{$(D#KncD++=39*#M*d?Iml=9 zF_VRuuzKS?H%yZfJ#$O@1>_pj+l~Jhy@GHJz@+j=!yTY5OaUa(ED!u)uXukBAAYXg z=9zkBMOv-2!BLnh*Mff)U=fF-ZfuaPP_Es7swSHX$CvVT{;0UY7Ky|?SSHjjG z%JfMOV?fb5%LAWD6aN-+(fCuUDTvQw@t4N+-(Pm}HX#EiQUn8{X7_(?1#>s(s2z+d zM;*X_PoobdWcMl(yR3bEYzS=oED!wQjd*`DQZs3w4+J73qhADq>RyFx7BNMTasy(5 zW*<=-;6G1hKjJ(B+*k{FQ`A=U{R42mz?3DN@iwdZcu&WBxC`wyj|y+&yK6&zs}4fgzV%*Oe)dkX0QckQk7cmrnrJ z2HZj51h8^Jlj3Dz&aTV4cY|OpHs+w2k6v-$JtKu^Fh-yUs9_a5&cV(OfXY`}&>^gW zIj_!%p9`V2A5s=FFr*0pKFm3g;f=o$a#j}botq&28eu@7ts1re0n(pE>h&%&`)(tO zKMJwLD+o31zx{qcqHqiU7~KhsK^+(*_y$zM1RuJeab*-lvHM1V9pH=ji%^_t`(6q4ZEf)g*N$;>T z(aFQJeT7d^5i_nFlK{=6GNpaM_t=SCUs_H}3@|SgA*@bM%2NDeJrJC#qX_~K6>}@3 zo?dD9{h5ONTA-6C?fLgP#YuW{Y^-ECiF;oJr^MRN z#hN)2&aD?dCEJhdb^T!B!E#uJe7bXvtoh8%8aho!K>Gq1!Kcg z6B2cBsBzy2DhL&CTaJRkw^5x#XXUPT{kwBo5257*0luGe-{Nw9i}dWH{aH?Dyo=~} zdv$=PZ+SViF~!{oB2_PtT;!_STr7Wh;Sfx<*ev$WZy_ljd`25x!JUQS&#+jy&ggq) zmkOgto`EGaRnYg?TDewXtkfkAE|jY8h%ch%E4)+xNW!Z_ONf0o#_c?(t9tR@>oO$= z-N`o4^Qg2-uBXQ|(F1+i6S1dm(Y-i9*s8mSn=Isk01CEg6*d*XnP_Q&fuzVj&f@;I z8IylM=5jx393n>Sw-Vq%@Z7>g8Uwi`7dmZvv2HMSradbrVSB1hq7KH5X&^A~A4EDC zu!&#U&$5ZH%T3WDoEr9kF)bqJDuSy`=b#Y)Ulj8HehEDtC=us3%oke&gwdU2Q;5S9 zIKC49K0XHkt-1a20uy zoB&s@b9SS3(W2m%LWb0lJiPw>I@2f6Tc26PL6^L^R}bU+F6H2+P#Kh&8fAMg>+Z3> zSO>GzswyNAfJ|?GJL6Tq>+ICt`^OAjuh{{b9_~{#0SR1B^lynf~1n zaFwWEM**aYeAWo4<7Q+Hf!v60F_TZOj!CJC`78?enS5}-DL9___pTrb;|G!iunLb4 z%Cb5p6{4YfJ`|d!AnjjK(8EvfS|QfMgG>LDx;`nO0Hg^Eqxno?95tpq(JYacDrEnq z_{p^dEM8a$arwp&B==86SX``w5-0)GtrkHBLjR+MINo){zc~y#m;OWt1miEPz*RPs zZs!JiWcmpF+>jVdT@L>-QnNbVKrki(-owU3A`=9f>2Pc;-X}>cnA+bBdUOqD37R7f z14a4gMX3*I<3B4?INf+v#hpq)Q!p?4AoyWGWTkT025EgNwVweEgCVP?CDnq|I-?Z$ z0g|wFx*`KTW(@a>?I2ah=Ad5~!oWvHU6uT?Pcn2$ofa@(DrAAA08O9#JztvN1=0<# zFNoq_${t}d$jGUH1+QfR3Y0+++rdf@#?k!dxC^L@SWcC(h}yu8k9I`vFa!8WSo{~D zr-HcDcqViZE%LH={-$YW@&V5bnEBzt`|RLBk3}B{LH4W}_zwwV1$B?{pEW>e8V2`} zUMm=W>jzN~b7NmwuJJgqT*JYTgVCS#aMMB-p_8nTvdVYhwB$fwD-f`$YUt^!cBV%3FI+&m3e-iy z-68c%{*w`CJdCOk|7CpH>XjiVg<-X*!X4;^PU~4%QZnz3V7~Da*Ma4nur?KzI2$CusPO7qa2~B-#{*AiCKs zCIvC?vxBicNznBHWtI8?M49gTJ7XB*s1zk%|IYA~D zARwR2@c^ZcKhdn(2nc;!UVZ&bNtoMfNuN~0Oc3h+_*ad~1dsa}_@8O&_`lR^|4VK8 z|1+cfZ}s;3%l}$h|D#O){n-C{F#oqD%?)QTG4{rE7w*R#xF8_D% z{J%KK|3g7WwXOG9{8=>bwg74(#S;-og5-qz_jmhymr#EhY2BgOx$?E)rwd?fSPMX! zA=EIRK*Aj<)2ECB4g4m^c-ewywlp+{qGk>MdWt{(*L#ef>>@j2%0lbBa3TT>PVG0B z#CPnQOA*8Xw!lY0YYIC8Lhw1o*1#r+Fo=VE2#Kw@kF#UIs)zwCm!@YY0H4 zP!@c7iUJ4fsNz_iB1<&9hI9=V ze@QDN?@N&WVFDyABoKgf%?91rUIxKHkC)%dboY3L0N!I6eTse-NInao6_=bb3;8i$jA&7)Bue`)kOv^!d#Hv5uyy; z*<7fFTN-?_m+K9E=OEqAS}g$IeP7)0?o2{~jPyp}zWYdH-S*?D)S05yI-m_BPmBCo zhQ}vDCUb{8aa&s@;JjFk1lPd*%b|G-st0A5=S(Fp{@Gmv^&rhQLX%cvH2MdKR(BFD zQuTCSiW+LvZU_Ab#h?+m%PjjX@L5-O>;mP#<51*wTel#4PEh1MfeNE$T3ArZ>UbZE z;Z&l3poRca)>$u5+ZqN%l?E*VFi~}VPwxY&a`c@pNT{*G0>rv}p=0?0AhP^b)FjQo zM^odI3vCuCP6?yY3p51=bzoPijr$1o0?Zv24Xyx_5Xpnu#X6&w8dMDx(;)U10IP$+ zBn|+xJ0NH9s~(^N1?kHkkAD&^KU&n$lBZPfEnX| zRQ?W;zSJ537R3S}b;1@(+)X2zRU7I^;nzYB#tkxfa9|pfKNfW9fLtesW)MEotqp6e z$@tsHu!Z#&FENt=G<1a=$LxNH&~+k6-KIGbR3F9Fa{z8&`Bfo}`7T*x6Y4F$46+0P z(Q-kg?z5s(Xs(`73R`)cg*ODa*8=~C%SDnS=RmwPlTWYI!3VhhDRb-a2}v0iLt@xs zM_7=mE85V_`H!$2A;ahZ;s_#n(dJS#MtneI=5>b$XqLogWP=rrkOgWut5pDXwc+@yuN>`crJ!sgZfv}Gw|l;bh&guT)b5y*&~!16Ily@BB))po*XPV z5bp@;fi*j?;+16e19wSG_Y_%0#ho&>N8Sc3EW;#jR0iaW=DhvO zC|rwi^14?ThBpo*o)8^Q8%Nc89a@HHR{d}xpkr%ZM+$b=PX}X6MeC>4wiGYuK%E;0 zpWtX}&>h-(4RLCbhK!a)h|ywuw+ zu422c7@%YN%RgBG;-)&1*jwUfFoN(a_v<#SUn5!^gOz5F0*uK3(q)rg83JzZ)y@it z&n{79Z6Iu9x?Aq^HzeO0K8PYPYOy^Z=K@uv2_TFNwoJj;H4;|&S1YYO_qeAM@%3(T z6Ob9x`6)Bjlb?!Y#=Ic#3NE;^g_JAH|F{SsW@tt?7`q(iWQdSlteE%6(Q*YSzP;>^i=J!m>1trb z4V;ES>t%Rj=&f`n!>|#0D_zODuf}Q4Waw@o^5W?VzQ{&LG;Y(9h`tV zaAj9!?vjbCVmRLoNe3U3dy7PMKWYgeahM$zQ)p^sl!Dh5pGgx)mIP;X19vtu17BEG zJ4Axi<%hlyv`Or`^zM9p=r3lt12mZOP*tuLF`Q*{lmnY1K@e4Rd{+>PjV5u3Ap>@R?eX}2vMBDqtS_<|LgBVqO8_3I=}@KF zkR3uCGfDxn?<(U*Eu12N%4rd$#sPd}E@1JF4)1U{(nC36Isl1|=g)x>k`{*a8h2NcSti&`?YE=EXj zNoX2z=5_~`Z%n=N@GxQ{SfQ6>Rwh|~}T7Q*p%SF8K3i>4uP+SkHr zx9_5{{Xp&_k`H~Eg;xe!>^}(l2T+3m)QJQXZ18@ujs!w8V%fs-3C^Db<&Ku=63DWi zf=8wlM6{(|>e?fJ??j?0}nW&@RH=lDD5TR%g8lyLv+27E4(D z^r&{`rgqY0(#uKLZ0{ZRb+g@1*3bFI?e6XEZk{dW%7LDN{Cv07I%ceg-ne{obZ*Q5 zjmr?$h4#l~#dq#{(0U4KVq~uyzqs)z+{P_EIb0sO9fW7OrN%hPBYs4Z%}^z$7Ct!b zaD;%t;p0+^c$`J0S!zs?LQxgifU<(4m0BJ|O94GjW^^Eisd1Q~g%!Wws z>mU*t0{iZ?nT3S{Ym{Xk?;Xh__=Y{c$`Yg_nUK)@KyAJ7uKK!eTWYE^-XCDRYe-4) z7AfW=B>@Be-~Yk%E6w5hu3sq~e%|=s?0t`%3~!BME}td**LBlq3!FaPUd z|9mrXfA>k09y`l-xooqo)s`r$2Mpl8Tp<{kwwzh zjc4EQtG~FH^I2y3;>UVW`H0!hQrCx8#3(rX$+m9oO!Jj*0?PdSH1w(J;Xem%oR#II^H{!8IuC#BjHZJG%Fp9{ z>hdlE2HtNVjj3?|tP_mFj{?*^zq~;Uju@jR;yA6vu_&7{{V||Ys2tU?%pC>ymg(iy zM7ugFi_BnMc(5`0_-tPXKKQs9Xx=FD!+hH4=2DBzq$}tr#1P+dhwg&oI1Nm1=5=XX ze2Wywf#x+c_@Y~(ms?~RgLhS}M*yt{O#qS8CD1o1Ga5j6yImc_V+X+&?2uQSWx*%u zdZ1pkFV5DM7WbOJ3Re@wL#Ms78R;K9LYBVuK(dap7_2^KaQ?@;(y=aK5dz9-C=BlK zb=#qS5VGm%+{7W*gY(coF6rt7Hmeb84uoqNM;PVRvo;hqf^>Jp3CE5rC1ZHqYwuWC z43B2OV5uJX_fyTqaKX$6&wrQ51Hw2fGG_@zFUAEdmC)KspUcbL4pkOTpBnN6M#CsH zZW;@7EV4_C(Tih2W+{m0o3s=7kd(y3C%ZoIjV;0`WEAmFHj0tmj0?EaOlKRy&B!5dctyTWHN({X(8@0X zv$s%Kc~x_Zah@AycCe7TesMo_{quonp8B3ic#AE3LqOyYBX(5FhbaRV*Z|H{udhs- zK#L;1WDf3uwOb6?s>s2t6MKpZ7{%0s8Aott)%J#Cw=K9WvQ%xafLjheQM)wMo6N2Z z$k298#WhqG9h-e%WfSEN>;$Fx_b~CH=N!A6^#%R@^OL4K3EHx11e0~B1>GTr*Ex{T zoNoW7b3OVydV+|rFtBb6*JM;WnKB*Xfn2A!VN#=XNh&NDXyovk;h{&L28%Su?j>lC zu+CTQc)rKsGg9=F9+KI)z;Ld8lK`}f)D+#|#e^a)Bp0}{P%!mjMMEIm)0z1x7mhEsZ=a(H45p z+sXW;t>PLZCR#ys7#WR+h)^=I-^(oOHLoY8w!F+k$t+p;!&o}&a2|Npb!BZYY~$v~ zdmlsVt~a&hI zT{0RXrx^k7E_4uuLzQOu0WK{p3=?pqpix~pm_RNYePf;9#LsB}R%xfvDpHvzEa-p+ zdD!X7i3HIKYRpLHjZ2S9y{<=t3y8)l?#roEMPfyMt-#rXZ{K7?pYc|e%+NF3KHmx0 zq-Ss*iv&a=>5mW0=57&Cb}Mn$Gas?~bB=-X*oQkwS1D9@gWdLcb3L=d`7=+trf|i^tA?u#) zJMcu+c2XhVq2s-MJ#dcV?OGCeiNP(5OTNSqFjNG3lWFT;F@$BUG6!0v%R^2J-wa@8 zEac%aeL*dwV5v6ZwE!dxZDuqIQ$aP#QKwDD%Fl<%E^3_jIiQ1$bkHs1{@{RGvNfvvg~~u zO+J-t8Jj8Wf&yg87(PE>E@_jX1WB}G-7T^TH6AZn=2joAhmLJM z?qY51;9kt2Yt7cb3*FC<6&k>?gMVa@kzM4z}^-#JrMzuO;u~;iXBoJG8pz1x(z@rU->Y6Rm*Q0X`Rh`pS|;q* z9iBeR{BMyq;J#2YhCD+DTq?IWrc+kG0^=@Cqy<*J4izch8aNsyMDF8X}4WDEzp z)~*Qz_%)nkx3_SbyMhsEWzG%=Y#Aag?JD9iqvwX)m;MhyMGI1g&{HWd66V~IfoS$h z1^6B)sZ(o#k@PedGJ@;QI)skH4!ssh3MFRz?y|Q&x&oNd6hKLuo%%SXsH?-{r4K^} zK*KAY)`k?0BZU(JrW`FYk8Y~k8W-P@Lp~&>)7Q+?lTlj7+`anm(}vtiWH%{8F-R?B z&z*-+B||%~*o0IAe0}Y$Y`%qQX1^$!E1e$G=3o5^p)TWv7)V8o0-vqEFaQOwZg;%T zY8`;^-Z%9sC$f z^@Cz-^jdHa=*61N6oAVdZ;$z_tPluvu!AWS&tAxzOo{sMA-xL-fL5Y;xAsf|TSRt@&@@6TNsyOYggn^Qs@@>BuT-7T;I51opr`IKRRwK3&f>T zBjA&A4m@`3))NqdvrDH`8SisUQI^VbkDnH3!6?%+uir?4Dg045v=lYK8neFvodNZb zgTyqRUuxv+c?^jM-*NENXalBSc;+uhq^~zwBtKjX3nY&!cHrp93@_V8b@~Nxcta6$ z5jm@dK-E$D_1iIR)0ak&zSRTmBuY_uGD&InJ-oCy;>2jXkEiN^I`p{%-zzv?M5(n4 z{>joYiat!2_!t!5O2Do&1ehmhT)-za1pL~VV)Qdm1p`v!!6>t-&v=y`nF)`e9<(~N z^9}<4O-uVLq!x3sNGPxzlpgAV{iw;WqPFt_&ODR?ibJM*D+Fvq#UsF&R42~^?_o`F z5ni0QiZaAS_yIPctIDDIMKq(>SG)tSnHAVbm#FR>IwHq-5`TuvSMfh2j%5hMcpr?3 zKllGG>!a}jWMY`J*)Bi~M*CL;$<}P_fU6=SN_9d&Sc64X@thPl$lbsU zBrGd)YV^hyA%KJ{MFI6J)Q2thjZ_YyYaqNefvr<~ka@BaksO%Gv#MOEp{|Eh{QN3* z&AQro--H;5o#~mFLa0)CHSyTO%4!Z;=lZ;IzWsg^M%;AXR54_f!Zq+kz?}^ zE2?@K{4tqafN4afZ*U%}l*uHtenL=LF~HKBj}GV2yCk%-KZN z>Vvq`Fw0lJha)p+&VUJAOF~Cst(=MC2PG(@n&T#xleU4YZ+eWQveF$rff85`M}r=} z6&P8n^kFfjy{Ke858JdJjV6~v>Sk8;7BusQmLrdd+v;iA)w6^qhihkauk1H9n2i~> zUxwV(xkr>N#!Gyd)&feK$y^V@c(?gr?UnPo4N%xe4T>9AFKsIFG9dK7+_UXRHn*fNR7ncM&VXDqQ=AsyaN<}?7puj zFcR61Yv35>0EH0y5b&HE(`F?uk~UcfJLBi*=!dO47TAtRexY#VRhHVjp4?e8)OA1v zFO+HY6uinVW!HklrqnVD4qPQW_$L1?QQ;4aZ(osr3a0SCO#J#1_UZf(81@W=IMR4+ zE|?K*0;eqQG>qEIId32pgc(>!hF(J`se^f5wvnd`TPwxL@hl33k6Ur|aG<0n_fcwA z@?e6xHFT`PHkaadGAT#th^!MsEAtUIdDO-Wr_)nV*rm-O1kUA=2NX?@5z*e1n9Xb8 zin4?WVzWPkHQYvnWqtr0R$g#RId+`wIR;fmz!O#iSEwOousgV!4N6NhxkjI)j&Vj6 zwaIg^Kx*TrirWGwdJ%Mnaij<=DGtqnorWA#4JCPIaP4jz`h*S-Dc6p)ctaZQ(n;Xl zDM>wQ9Ay&f+&t2~WoFKrB>L+Mlk2r{Hvkx3oKQrhMOdx$4g z~Zzx*%`j{?dJVUlJybx%_Y(P4-zBK*g z7#3aqoOp8sf_d0!NDubU8|(^^6j3yh8j@zVdV-7I&;OZT>!uHjaP$t;&ngr;4ynd9 z{2#6*0M;UYt9^LOFP;&*8>7~qI;Do8FP=CNDB*W!t%-WyAx2gR`tyn;42|eCr*ZE8 zl#JW$fav*2F-79*^(uA;qX}GdNM%2pCi=JCby}zhAUG~zRmrpd!PeGtyEYf&dU02T zF_Cz}Vm06_!D8)>MWN#G!S6!OePIf@U%+@uZXcPC)raekN#FXt_0@P{PD9?23o|Ti zXk_40O94zbSfMfQ6apIHGoNWAIO;;|C8^PN6_SeUo$uIP`XT?}Gte~Zv5_tqxRnL& za!Ofy;|IMf(AhR?vDO~9{Y->1sbctQfsC~Hdw7qy46S$u?i(ieFI-f^JdOXzNPN!{ z@&+?Te@5T=JN%SMb@R1rjB~0?K1u~H1O?jX`vmL`UTZ-XZJw3cW8jXKEsWNKTU%&? zZw)|h&ygL5;j3|QroAK=Eali^c~;gv;4+y z{>0vRHl=gbhwJ}1rh7Sfw+JyA5^hk+5y%sgVflPD*B{9!F@Ap;*7EY)=dVD+o$7Gq zDx1kOs$3tlsDFD8K}8S3bzYmenor_CUQB@Ym*5ihqo`U*g#?8qTR+rl>}CE&wvtxCqHBj9VSUKlJ)MNV?y#0yKfuz~M;yfsQ8K7=}UX#w?hlL#K|{lusFe^67ytXe2h;w0OGmAzXjEf3Wu(wM!ob0%pepEZy1Fnc1e9G zD!ppy1|WtqqT4!<-A)91*zGgmMs(j|TePd}&pjMT1WfJ9B38n);Nnah)dQ7FT=q3q z_N)^CK2CZElWL$E{8hF{hSi5J!B>MT+7lAkzGQzHMl{XNb+E)YN;7xqIO6EN%5BU=BItGc`YAOcSEKW!o0OXAl z@}#jvRFB)iBVt4IY*Op1X{X6zW@x{}UjylgM5q+wi4bKz4=^F#0>xeSs3@HL;#Y@x zPV;3O4uNuo`+|mE)C1$T^=sQ3ZrbEkJQWbn^}5^3S}ov>+K}HreeZ(&1SlH@mT9-zS*(4;OP5TWaJnyM1X= ztoWeQXH>AjAM;N_Ej+iijl#+afNs@yiU8zG!d3O#H6-6ZXzp{No-O+JMd9lVBJu0K z9NDrY29m8ZMT`nh%&%yXljVWjEt`Lx1||Zfs7Rq{YYXyv`M_^59}wvl16JFzQepX| zM+r^CCN0KgM|Hj_zQB7Y{#RZa(!Va=b1m?roSHAzV?wP8nI7zRwf zt4LB~-Xxkhu;9Lh2HkvQL=wZ)3lfxu;X6-99i80-gVM3jLy3B5@Ii%0N|=c~r;7sn zHqL9?rPp(*hT0}cj-9b}5wL;G7tV-w&JlV5WOQc=An_3BcIuUKlP*{{>I=;~a#MsG zKq5!%DKZi|(OwB2d5PD9$cW|`*KWh;T0N{1?FDR_2H221E_A3m zm13ze|E5yrX8u()Qz%8qQ#!u&1Xpgkvhbo7M{w4&PNTCDuvL+YW>QkKFjJ8ydmLwP zx-0OnOYOR56xR^-=?YF3r^0NeXZrGC2rApPU~9FnJ|f+du5pByP$rKc=gK?Y7N=gX zyb+f_)l`)_TZO6Ql*wl~k{RV>Rx3GUkKEKH$2>a(jQ9P%enjW4(f3`UJ${hdC1~%{ z(|NMJr($QXRY6Q^NZ2Ouj^%S-`)(Af#Gn4c6H15Gx@`%Yad;C~K1keya9(oLb)T=F zM4&6<9cCQ@4&n)Yz)RFg_7{8v`_l-GZy(v4T6=;~p|HQJ(f3{LId8#?`@HPo{shgz zye!jb=t)XF)ai;;rkc^&z>&yqR0)#LkZUafQqq%WCNSWj+V%uuRsIb2RBAN0RRhsP zX4=%@@h^aJR$6YL@wMgirBJKz7F1GpI049(q%M`0Aiu6~rlMogBjwF-Db?Mi9?XN8 zw|^oyV|F~jLMp+}vQM@U%f$Y^@TSCBOvRA4MV9(14$XF@uT(EBg9C@)DwZ_b^cMXH zsv%gNpX||0&M3U%@LZOZJWN3VGUg0|qdmB}LEYdfxYKmEII<({!Z;y<>-}i(fa-8^ zcRovc;t3;%JpxR^&Hzq5^^FgmxlfB}&3A&L$k(iR(A6SvX7Ay<^ZPJTRCt_wE6EIoxf*Mlx)1DU;Rgrp_ZY&j+hE4>=HRh-z5eo`xr=PZ5Fnd@4 zQ>H>RAC8CB$s@f$(btbhp34eq&Tc)yGG=72gx@X1IK(vx43*DdQ)6A(5#|u7Z@?da zw)a5f3WOcCf=QW&r9n!hN7SVaw_^|Q7AM|Ed6|C}3Na;A+a;aE?oNKk5qz7umyz+d z`@27mosR1EAjD`vi5`Ce9X{0sGw(GMGj18VLqAKnP#F_n7_RR+=@6uwjxs6B@5jII zEX5GS%O)^+019(5>L>w)j#Z(08=!-Z5y)-81r+nx?@=>;P7sl-?xB=;u>$?l?xv%z zKaSU@5|5F~<#AyL(^M=6`$P?26~G#|+L@+3)IK)(b_Zp}_SIeYxBM1Z7po;Ko4o8e z-V{PdR45J=beU^g{`9YT$07!0GF_Oo>ZWf+~UR_dZa?4`yH3pl`w(LXQ9dM-Q+}wbKCid`x7(=f> zZ=YEncK4Nsg(q|Nde5D^Az(#~vN_6iu#mDsQzN@U1(4{9sw`>>V$JgYzm}Y%GJKmMjB-YJ+cdcFyu;*=U|@zvn15qNVd*i-Ul zwJPP$7b3@C+I;zqbfSXW;|okk@oPC%*Ot_>QI!t*fa%=>-;R z46nCD1M^-lco3HkA)E_PhrPGjZ{Bt@y4cJ?wTOl#bEi?)qpf)e;hK}|h%4Yaz&>F8 z7?U>3QD3Y9cD-8GzyAG zkF-o^b!OZ);;9Qf&XZ!Pz3+6IMrWc{@JliFdq(+f2kFGlTM3*xa-W*9M}86#H1-F` zhEJVHU|5@GUalay;3 zbMB|?7c`PbJG15Q6D4|-9Vd6tj8uG8U{x3i;6@6z6BUgciZtELrt^MI;|MIMsA?wO z>y%Q(oRI_VJDPd~vH*NaVix7Ot5uRrxxluTA1dv+N8L2XQx$RyY{he1FYZm=3G|G3 z^Y{&5UhO-zD_n=zB#(Zd;F&yt+T_|Rm1>jp^^|oktrtkb21GvOtLx@a&&v2<&**$j zV9K@3OjJ8jCiqCp)}VDz;8<;W2S6#;J_R1OTBli&s>XSNv{f?JWg+5;BP@?&W>p&f zI!)p`n`Um(?gwaN;$?7`VWr%|JvuE(vpeAwO@F#VKS#|7aL>>bes zDgeY6mXGr{i+65_EUub#^vWhSD(h&Q3xO^M+u!E*L$|XZLzoirQMAntck* zL$i;SWeX*~R<$_lC8;RsXrd9^vA7&K9(c4o*T2~h^V2wAGQB1Nu42d z9^`NXiAo6rut&pDowGlOqggNc-2+>j?#6Zg4=X3BuThPh>Fv`Rp&}peXd53#s1qvZ zg7j70J~BQ%ebwpod&uWvmYr-3p6%Z?aQ*)Nnr$y=MJgbhxV+WqH!7D;?efm;#dtqL zDj30pFK0}kN}XGF1@x(_2*OwDY=lXy8R~2IK?zhAxuoydseT0a9gv=)E#TK!L0+oe z7sPOheLHpwe$=HGA?hhufp9&zuW9SlWfPb*G>6Ie_q_;P>+h@2P8@(kq^}6JWB0%q z49p z)_#LCcIJEGEw7t#H;07VBD(2t6vHc{Jvm5oZ-(3d$;gS?tYC`^xLj+mz^VGmA`Opl zw?5~TBeeoznl9Y~G(!>QwS|dsYniK~=T03Ndc3C3o3{f6c$c8#X>AB3zLTJmmbvCx zyR-mXPsAzK^!{-W&F?w?1D0?SKGblly8@b2MVs0^)%}>&MwSEQEU6wx!Q8@dcCZ2#hlt~egcy+xro8SMZE*x6_U^Qsig->6Yh1hW(7{z#(*(eR z$iAsG|HLpSNZ|8krTgqxBfi0mzEsb7gl7!!N11P(^dD@OtWsEg^I;+Lhias#YK^ES zAHu-;5HYF=yauKz(qE-;br}#0h(0A*3TvxC6nH% zX;5Jq3+@j|-5wayf#)fEFg4`CUr$D9o#f_~Txa1^4*#(54!e-Aa=yGk@SqSt> z8h=`6y~iOgEw;n2PWjmJko=x$1u5c6=?vBmisSrDuhfdzr8$w~mG&%q-t731?w+CT z)nc=i+yH$YjTu!VGhg<7dMsTPP(zOQ=F}|$BZ^z|+mZ3Fbw)I`SyyruPxtlUYHim= z+8Y=ATh#lR_!p1Q&CM&CICP);Au;Spmv`jCl+Tplf+9t2?yHp#8PVS^#cAsBx{INm1R$7fs5jwiOdS=u~XU;$P=Ld!*IeXHQO#y<>sF2OhImQmkWd zij39W0{l<+YXvuz#@3bUvvW7pI$2~1a0_)?%s}ap#&I7K^6~zy|ef7p;OCMZ>dwZvSKGt86 zV`8V2{5BpKsw~A*mMr#O>~mf0U)N<(Ul?;S55$&iFFzf*vE>-eIjX zI-=)vVpumKxgdiw(p`eCLvox?+S@DIqM1xrR*d0nP{GY15J}leT&%Xo%ZoPF&#QK$w#5>oaPEu0KPKjZ`R2%3p z?f=89;OT*T=Hp43FW88^Wn^r4ZoYQeW$94;Wr6hi0HkEpw5_y6HA}l5ez?ATXEx>t z(YaE?@9v)}d2FpLSJ!IXXo-$f(JT+aNz*)$ZFned7S&{C8YimWXwJ)vF04=ZED5&S zGhUF{SK8ni$HZ{)d`_*)1a#WY;QF9RJ#_m|e~l+eM|w=wpaM;wyWX8?x_5%Thrhu5 z!U=|Zs|kAPYO#{Xdp^+EdUbxXcv_U@N-V{W6xt32oOVfa*gf#-olP~Zc^c325sk?+s zJk!q~DLr(7MGGu}l%Q!H?htk9(Z2LGxAN6DDX7wr%O8%I0y_^^Pbvdv=<97c3Dn$K8Pk}u7dj;my*Y0D;w9s8-7?f$*V~4aVY&lHKC4c%f6DS8 z8MWZ;>pca4mh*M<>qG9tD^a51b}dt&(xQhxcXi$*mf5oNLxp|8g1W*-{(9z6X6SFo zP@N9((3>T?j(Dkvt{|E+`-Izg1NZG9a7OCTD_7Z=^>*13$nfS%YzOjw+5lYe4j>4>MV_ zc*t$0dX0LU{)p$@iIjBX7j14pd+Q!#F7d{i?$HN)Th9ugEM|n)g?62Qh3Nw8H~P_6 z#dW+!y z4WDAJZw7S{gO07fns)`TdS7N%R7--M>X(kJmTXEXL@O}22#>F(+3I@H#qJnY_ice3 zIgV7g*NLrZ789wMdbtj@cURqC%4bS~bffrmcUio{&&&`~)cZU|p-`$jl(>`Q^PqUW z8yoT_6u&fvqKO$pw8!&Tw`kzfO2L&Ud9*W4F_aa-#u*=vN_fmfbZQbhcsimWIf{vb zAk76pqvjqpVz*E>1mVi1cxgH%$s3?SirIKWbt#?X0um8cgw_})bBx8J=WL|=OfH)< z_-S8o2C6u_jB%tko1S^3k=gzju7zoN#N(}YqYl0i`YcBw@jp@{1KEA7TZ|+1<|zY# zQ3VrLY@?y z`0`~REnl}W@~WD0Yp&YXMg?11zk@eh=jAgrs{7Y$>W&{VNP83;k?6GI*b{~1J&1jj!4%8o7_96YR+Jn zzGQz>b3euOvqgB}r=Xw9gDLBQVaY!|0s-`ILeyO)I3%FT7q|wa3LGd5P`|g3zedB8 zgZfJgEBm~5x5jlxN5)cDbk`N!|vAqqCljA<7EI_Bc2dLoc z<%(*P+1Dz(SVS#=xxWnEkrQyCGo10Ga0@LuxdAp2I8#B ztX7`VAZJ+^R4!AYGpxxrS!j^9WGXLFBPP%jk|rEN`j7smN1G=^G5$jT zfthEAW3uqb@>5TU6kh_dlKw2Yo|ySN_DyC0izz;Z}@!qE|WN|V;@Rj6!NzKS8@X*3|HwPuZoA`r7%)H6D8 zfJ{_ut@=JYXgM8_6%WrLt~CHL4bU~AzvnNxLQSvtqU*C*kz?7&VteKNYJZ2;#g)0l zny_`J>S6j7?+M45Lq8qg!_7z!Pv5jd?(J_Ys*gc!UvxFYC!@$PV|rpE?F@EWW2F*1 z{v~I`>+M9jjg`2(C}oLQ6hSKh(u_U*Y`Hjc`=wFl2fW)BT zf_OM0jNd3wWcualh++~4WngLj`7j=|ertvIh^H7bnT2As_?xE($Ts481YjeoLRv4O z;eF^C-}Fd7_z;9f$Y?V}68IF2Y{%tErMCFSvdEYJ2j2M+SB9xI+y{*K)Dg=^Q zcF70cxgSF7e~6PF(7QLnCJ0(dG_BM7w_T&?PtbJfmrDc7uF|tR?aeA4*zh7^BO6hx zk>Je7MlEWnzf`7E=<2_Hi)(At^%MvBb>R3>EbI+vM<@@=^w9&u)LD}(_341f*Zw|$ zo;L8)$`>S|F4Qusk0CwReiwexD01&6XZ)N?nQsShXFwQyI=bB3`O=4lpN?`bZ1*Fb zq*$mL+j3W5R^Dh?e3Rgnx z%r(u#(=>1+oZf!C{V2;FMr@zH0=v zL-Esj^`jAxqVR0b7#@LE0j0kM2BEn}Nj4vPcw?=9=+*;~Q^SV0Ic6oo6pMsceRn3>B2K$^@HPWh zCqi)n5h%@!EUyG?*N0lFi{q-$y0m%(x3U=X1-`5Rzc?2^eO~_SLJO|EX({uak1PR( zh-|iYxmt{YX-hK7uBG$b$TWNUJP>(@&ZIbIbQT$2P_D*DWAUPPps@3` zE8PZ95m$;Apelu8ld!am^b4_wGl;I>T?w)x!h_{ESF+K_5ivGkrCJ$qJ_I`>@_+8k zSHNxiSgcW3rX2wn?k|>n`({{noNYLmYkIsl>~ShDfd~&~<25_%BI2*Ypy<<_J@wJ) z7@yI_aS}vHC==!doTB=vr`qD4n|q@Wew!Y;|1`2K8}CLyLGi28c)!qa3R#ggvjTwK z850CmQbQJoUkJd;4JoV}r=)$qbT3yH|6PQlH@_B34SL z?0beVIu!u7%?4cM`DFuyz94?ee8u|wrUt;{@~u^K%yYJYxEr?y9Dx`SRX>I>I`^U61d7bgD022E zY%bS_rR4W_pia;e#v#j;5AoxlqB$3o{><6wB@1?+)bwqGIC zG1j-fL>M-TQ1ooZ!7sMIdid?cggrzm3wwYxN5ztx1(Lh?8U|MWHk8_XIwkPNS19&#&NW4JKz8cof2_fbi#AmIysX3QyMk^|qTR#H2H{VUOR~p+M`Xy|oW_Z5(0|^hl^j zK!|`zz`2trUH}|hZ)VuIN`QdRtyOlz{XS;ha_Je+J+XpB;waW6Y$~x;==w-lB_*86 zF>`vKTh;qd5t7#_(1;lXh2e;-L52+};OBpQK-_dBQi%|s>~@{@yjA%au;p>WZPEbd z-(C3v*lwyS6iv0i(`>R{y+#Ty2gAk>Pi%fP0nGjy#5xlGHWRR6(k%BUTE-i61{?$M z5o<+cUfi^|P&?b#)N2?*x`1`4>=CQ(i3~O^1wB=$EyPMbBJkaA?k!mg`Z~AM;n`lj z=An=;4}QMRJOsukadh^hpcBNZMF7xW|8o<-e^Ls3Yj2v95B)CD?YWHG{bHkusU*Np zJ|jF=C=&!8+QPSPJ`)exU~?}r8-dbuxUgk<^MqCkw1-B54eGg0@M!*ms;uy|l{eth zgZ`0yGKB4j29Lxseo|YL|ejc*N5)B)6hfMw(&0(P$F^c9|BQV zyhHkxY%&6DJUoXY0fr?aeo}3lLA;r0L#1m|N7slLHmVT4T#{Sw%^}Ye=;73>DBdK) z4jWsli#y6U+?OTph4S1Uyfc7mQ{Zf>mxZ!$W}su?PVoeiUnfnZz7fFM!CiWrB)i#p z7y{Z-!1UHXeRC5ycF3VjU2{x_+ii-bx^^NLgao8xY&$wUR%9 z28xl(_A_j8$p}dY6e(TAMhu#*sgvmX7raRYIbZDw-;vYWkx$TRI03>r&ebI`kSyx5 zn4z{)O~us5hUNQ>1+tFCeCglAZT0PLG>z;Nti6LoWz?0M6>o8UU~Q=lK-v(CXB4`3 z$nje3qg+G`Rwd~1TN{4{)W_Rs1tO&e(Xcxrq+V5AX`I5BdGh(wHz>@~bO&B8RrB4s zAx64pHF+kchmYwn3bM-cwiqkugqc!s`6IVo3s37~L5CJAeem_yIdJoh zWYa*$ttPchhv;wD16ISH4{JI8Sb*bV3;hWe!c;vjQeg`e__1EP#PLoRz8X4QWe(pO z+66Il_KOQG(*tLsYX)!E+l6!$=@7nh_)*@sO8xRlW`y=DYSWqB-f$Wr6w~+GB=eM> z)J+hB{W@zm*SVrvS+}34-Nj8$=MACd(yzg9%s;OrdHB!bEiShfZb-0|MR)B)kJ%$T z^)Qx8E+rAxpO-!~^j5ua&oxw1K(Nw;Lu7`z4qg9+K1?o7*(EY^QI`jrJv(_{rRpWv z4Hk5C4RV>n1Z66H7I#^QLaZzAeDN0E6BBz)$4%wW!grxjcT$F#;>&H8=bc+8zuN61 z@&VYpjs)#sn=gHzE;uqlGaQ+Isqazl6jfVhi-f-dcJYyffY8X7ej`MePqA(5T~slw z!g~S#6P*s<;@sg&-%JU7MvYA--{Unf(&n8}Rc<}JC;aM`-&S_AKQoP_@Wl(SG2K6= zPY=F2iqXUlfA0(^iN+11DDX)8$*1blB-!+e{9+pQyrEI+45p@SB&`aw$ivDdc%M+Q z?-_=6T=(VH{(I?eBK$4k9_Wet?+J6XfsEt+W;#{S>I*Qw+LX5oUI-xs`$D&1vUJ7f zmk=jn!(>?E7pGP+Q|BH#YBx-RZQy#! zw;=-IhxaLEi8ScU04;HTj4gORkcQGJva@{QQ<&cEW1wR3+)kUAx35XPM_ZuiT7`D2 zdUg`~mxPsWSV4`pe1-R|m@5d9P$#$CXT9J~5Uv5ohuXV8whXu5^1H*zi+{Pf6^&gES}FsT@R*J*FHyP(?++Q%?COfB7ddB3MWaS5xv^a@$+88peEKaQ;wvn_E z=}f;r&ik9Xy%2+Sp@6O1Q&X$#|LKyVb70>`(i~O(^BlMa=(dNd#e3m%EX9W{X zrHTNAQek^B^CES3O2^BwiQn&_t`};!Py7`DhGLOzzIaV>tOx;$JHQHQ&+5ru!bH|W z6C){3bk{wON-(wNkdaKsBFar$wan(OGKz_dNrANt8aYCX-b2(b)u`S44)szUnk*> zXevg!VIxjUv}W~o3HCvnoujF@)a6yl4qX-m>B1ClGoMh+3N`lC*?0I@-pk_rs!vA| z^II8O*0$YDtW@NZ_q&0u_jkSyzqG3SP2ipYg;d_uuF&fZZ52+M;X|nJE0zKTj2?29 zJtpmwvj0-e-e&Zx(Nn(p12pSxM@P^HvLRC-)78&&*~nZa(Nfr~0rN&j5eJ!(1CKS%EhaT({Z~ND_7~(XCV2>0p6V&`Uv!V? zseS9Uh;O{?4W&w@NQyR#_Vu#K*;6PIB>OQ?V3(voOVT-KbHkkY!Y-U*S0TU8i%ZLW z13T;${ua&GSFc)j)roK!wO!uH09;QB*k^wqACa~*xdePZMOJ0wSo=q*mEvU7=d#U| z6$$3TP~y!3#>S3W19;ep%=}0tU!jDCjQPP2;ip+&sns~N*7dIK;`w|8mNK4ov7Piv z*gW5jEl|Z5wxgtgX{d{PXv9(Bt{_wj+1bK$b4fi{=$uAi=9Jjk(;SVYGZX|@q4-0l)=>;Gx!m?$du}C1{|WkEthVKT`kThdS1rX6 zx`p%XujCqqv;Tk=CELusuVLOt|Ld&3o25KEK7{f67)e|o3Sg737fun&X|NHgLFj=pb z;MN+eRQP`H_c90h*Gz?;layZy1zH3Kh{(4cU(k8#vu%?GG1(d0J%S}m<0cE!F`~oP zwLpa~-O^CX5sAk}l1*#0AU5N>UAJb>5WQ;K(zP&gvb2nyV4zv46pMY*WN58b%_)cx z92J!_SFZH-c;>)*G025azq05T-PlEfuh|+>{3?-QEezq4OzbSnyXMg@%v1Fj2%?He z9^be76^qdl%W^w6>;JhFKBX}xK%-5qAZ__k_d6G#7Hr{6G3Hvr4ela(hOtFCc}&( znTqmVnPB3ylZ!S+PsvsL_nL^K0W*!4aJIJWTd5w=RS{s0Dnl}T1ZAqZK7aVQtbFzx zCw9N0m-VQVh|Yqm+(LfRKyTbUu8BUzyHSVY2F-j5>RSzl(==e$^7gulJ5hKT)4Oco zz9n@uTDcLAv}H5Gwca%qQ6Xoq8bl22;`h8j-QKZDPH`jj3Nex8``Ns{*jBK zWcVyG&-hU3Z>%2Y)b&baTAwngYQDVTG?4VwA>T&VxA1Y$@){U(*``A!a^EwDY(W<> z@hJCA`vg^sfQz#>kCDg*>pAXsGW@`o{kk5wtKy1yqLGQLhIBWaAGAZqkbVW?`i+}1 z@Jc9U83q($dmcA{M=mGM>L>!pxguf@NBVIdl=VNoyq%?ui6_=F7JhuA z!wAwrAf_+l3TF+SYxY36&I9PE$hir`Lw?faDAzm02t`Na<9^A8jDTqL)Jp}{MJfqe zz`Oav(A+_~h#F|nPTL|D0R&&#NTtzvvu1IW0TAWj>^RWiXl@1; zl>Qsi_mPBpxmi&;CeljPo{JI{_zcyY_!hBrtwB4FB}+7)%IO$Wr_#q!ltFK40cf65 zC=)G9KlVusmf@KXK5KQbo6%4B=E}|a$d-+fGwmU|C*3=QCu$0p5?*qQ6zwKQgfBO4N>y=V6om+^7k=H12z3UQ`m1O<#W4V1(L|ibz?v=!O{Q~Kl3&pnMpMNqtxMf z_f{LWy^V_COV%`-a=hXIC)k4lEi3x@ z;AK|(#IWV5?$0uBfITh$y%=Tg2K7k9p+C}kLF$!mj7O>~*8Hnffu~<@=eSX%(pZs# zaNSNVpcF%DU)~KU(0YJtr%rL!oNKG5=E}JT2ah1&fCU+}(pr0?_X+u3!GZ6#G2G0k zIxDXFtH^$jsCm#)?)lKF7n?!P)~M?-ffSXNvKN1X0AFde&MexsC;|qPn~lJqu|N3{ zD;HwI&oz)6l?3O02axe8tk$(aJaC$5UFEyO7wpD-I;U#y4&hU|xP(E^_wCX2E7xSW zPJ_Kkn8YjHAic|pucSFu9470fAI$`J|kko=KQH76tUsew)pDD$e_%~ zplk=8yV_W@{M7S1--nQDlIz^*S8`Ih+xi-GIarhu=7dW2Sw*zZeUscL+&D)91pLG- ze%oO!&48`mCh8SBT6df+6}0=n*0JmciXMMUo)aIK1|%Z)Ih8z?Tzw7&AA z35H-9Pbd~bA4Ide97BG^P2A%?t>C(i@2k>?Hx|=9-4jY$=d+k^4c3A8Oymzro`~T! zYFM=MlDwn>uetp0TKX0sKO#aG1jO+K`5(oFlE$BYT|!AXI2tKCKoHTE+bJ+T$Y*<; zT63N$5-*0z0&#O_cLP2*i{`e;7P)%v0YHnA+bl1xxZY{qXa*o}-n+n1_)EsoM!scB z`aoebIJ$H3PmL#~GLF1iuq@{#34JNslDjR)_lSYW`g2o_Ch_MU-SLN^bfZcEp2iRlGEM*%MQU`Tfd-6H0F6rAY<+Lu7!wVHudy78%vox#FX3= z+biAz+lu`rgq8^=lT7`Yk_>;N8jA93!eoP?-1IIzOI~8L64^bBu{brN=xg7wY;{WB z^95D6DNQDpT7!d|R-zItVl0T`OlvW0n`=Z)dHec__3Rab40q=j3%^NI%RWT(I-f>uS(J=7B;%}J_mLi) z%oK7g&&6j%V#<6}m1+3m_03y`G z&lABZ2_GuV3?oX4`A`Od9ziXGKXw})VER@;A{_?i4^L)_`UE;^;mye-&1$G^N%!Me zlJ|2wbbW}YMeJRLHgSa?EH^{FI}$AnxQK7LC>>hrNjXIw;Ua@8!&Y(~>u@t>IT#j+ zS=*EpWJ2drRfSqVpIIc2XI}{PSb5>592)f(Xvvos?s8Kn=6tEP0Y(dGgYubZtqQ5G z(ByulJwwDnCwf~mUa3NxkS1a!^pWaRr8FYfxGE^FzXyylby?)edkzB^>02&fyZcH;m-m6^|#4xNgoYJ_3SEVd*&brSiCT16qPKS;?W}9W$ze^I+ zy@DQSe;xr317|SF$mm)n!FdQ{+Pt5Xo>C}CQwE7;^eu_rBSr|j^$W2Hw_V08D`jzd zR5E>Mr2RpU8@5h$QRpHIZe0Ko84B851|vKnc&5%mVef@w3+AcpggwtMwcgI-Ick6OxYO9 z3){F?niv0!g6$c!t#q7u^2ed8j3v#^DUhQw=(|?z5J-tPE%kR#+2YpEWzuY>p!+@W zlU!quj^zCk2i74Hm$nDt47ST2pEE# zk1PIFFX*f{%jRWrd$mnyCnJ?qqnf{X@hxl6Vs#0_6mwIH2a7+Z{anX)&!tkWfv6^J z3*M+FUVQDPCX}1)Td5Rrv53$-rylVlQVgMVglsQ&NLDzixu_vTkRe(<##pez#Of6F z@m5W9Pqm-+MVOPd0(MK3VuK!5808S8n2v4)d2INh;m4iEkauCuY8w2vf+YN1H#W%WeFEQ8!k3w32ZxRwA5o>N#o5yJQ1D@K~{_K z=)uv{PKhGZyhzIO4S&}l zDhjQAg#ZA-`XrsJNxvggCx1G&1@$02%}v8@N*MSFl*#c$@875fd+++;8FLW%wtcA7j5#Tg zUXlla7Dpe$y${cz;ZPZ2Uu#n65v`6gk^VXZ1EN66)cMaG=R;6>%N2o)wB|iAN`HMG+6;Q zGQmBs(HDrU;)2)r46z)&tGOUluXF5`PZNv0jal(>5`=skCq ziwni4?|143zS@=!w)ptr2|?G<7Fe=oO}sXqwOXU7y({AoSd;>(X_ujrcN9%B+P8PQ zye)v?jIKK0v=q8+4))U0JIaGc0dg~MHIevIOiN?6TyTZLKHE2a^9a=T>xj@k*|ET* znd^Z{1TUuD^l(zu`8xLNFCSb9Dy4Kx%)JU$Nx^biw4Kp}-6I3Ao-ch5P0gK_K_H+U z0j6@BYKFMgMmu?6yLz=R+Fv#&M7a41Ta8_=zt&Aw#JX7pkCI+b9R=2&DfX^_6C{uz zy(>=&CHAZc_=t0ANZpSC%An!IT{WmK;8iY-w`wFFa2dX%Py*1AIL~Y{&tg+2XHk`d z^t`?>v!SBSqpV7n(Im>1$=l~8-}w3tyj(|wA5NbbWQycx-3V1IP9;cyxUx1rN;Mao z`Lg|iv0+3u#TI<(80HMqzL&7CxqH>H0N@wTw>W}dn%@wM14RrvRITW=s*T0F01M$h zlT-Cml|sB%W5LIR9*Xm+v5~Jr#6?+IzHp-E_b(Di)~_GF{E!bD&h;eQyrj-NMV-~-;fZm)E}hBE zY3V}g{BYUlPm*tV&fR8j!Mhu0Q!a6uP=Vc0T%P=dWfdv@!c*C|q??Sd1Q^YYE-l!Y zQG{4t;e4X6Kpn2s!k~E}|Kwe&R>HfBfBYOdPP|*N6 z(~t3$0IyL?(0J)74);9pBPv`BmCNUhmmbS`{8lXb80ra1M9`pUth2Q|Ze;X1CQIui z@rz#YW*Qqk)@LKn#bjj@c1o?qM7awp#YXF}%2$XPR7zMam}KDX;Q%vms^^x+2vAtF zWv;@I;&sQjFB@35iXJsEZpTc$DKrU7xt)j!j%sK_Qk{4ba_4fy3Sa9Oi_gow_HS=; zm}sco+V`HEh1jYRG01ojH*DpcO~#bkm%B{2HA$oQa${eW-S$weFy%FheV}PU!Y-YjMInzT%tIJFYWea{|)I?jzm?e9I=Vm;SuTGSZR(= z0^v#V6^U)9jxYR&G&F46L_XvdDeUUqkSXq zgZTBh!exPVZ;To%NBCHkt(M|;oZ2JI#~wmWvi6eLz5$FH$Gqw{+ZRUch!$K z)GaTsTFpOw?Up=G`KUwUcH4Z#J>~0b2PkDeJGOJCmQpO!VHm!TAaOXXHokSL#A)e= z>CucSQN{HSKl4Y+?M8#s<`rHfc<41xQ4mUaJW-Fp^dq`wEU73FLr~meO z3e)|OVMAVVpi4SStqvc7?hkDof3sfgvKzsJjWbXjBxts$#T`U}(ha?084bgAiJw}p zF@!W5JVTY=(jd|kkV&L)<^Pd(Cc|{U+SLAB$iav62QoKbNpUZXyvw(A)6Gcig?`4M zRM-#N$FBj>AsgfFEmYRFw*vuosJg!e-l@xos(Kai7S-?RvF=yw=~mufK}JIImGZ~z zo@@SduJR~(@ywG05>31}w|OK~?!6-%{{>xtW1IG0y=yaFVSpOE zn^{xs*Jbm^`>jm0T6xRO*v0b%B_>)fn1Q28rE6hf_qNH)M|yt#sfMKV&hpC9@)Tr6IV^4syn4#MAjX?}!?mtsyEtdOV|F<8MUISUnW@1^ zNqGW}6D7(6=AoCxV}jdKYi91}a%NaIuk1IKakt-PbTrQY9`2QUdKJ`N?C0nz*L>SJ zQSvF^+c8zAOA6R|5%_+l(sMJl(5V4M?w#Q?Tt6XHdk7md+Rv1MQ1lW%WvX{@9baq1 zr7xpK<8dCp@sgoqgcAQ|aKO24g(P+1rmKfZ8NIn@B<7JX z(+MVo(u-o9)1qm8D1PaLNAjC4-=e$L4^82{#l}~7W#7skNLEm3L-6x0UJjztblTi= zDpEtoV||DBseg5tOSU%GN(^`GVjVtq?Mj$PI(P0Gns~X66{YDUUw(E+FV^m&>s9qy zlT8;PVpL03yZs6z_T1~;w>ZkD={+%*V0TZrY?j2kXQ?^`n{m9GQ4_KI+e30)^icD% zRri>thfCxqS&x{og2f|D5v13Z@5IpW#-O`A&ftssxl0$}~y1z@}0MHqOtjQ>Mg9GgH=y3!HxM!uwfzze%*#xw;~(bWbJ zFFVS<{G>qyVN7w;V-k34kPDYUZ~#FMcD2Elx?9RE@}ZFQRqd4f{?fx=t2cYcWs^sL z^tL%4esiWcd_5~eG@h)-tg;>d8&e=a{Y_tkn`Z(EOo%_p+e5DIO`6LfKpyQaVeyBR z{1bI_m)ko`gzE-ZI07w{JeaNnO#dH~D&!J1_Ra{bs#6br+?N3`2LtRIjy0 zaWoXV0iye+h*kGoS5ex!{?`t);7hbrkhxwRXx4i>9 z290dl!uqwS?K&s-AthO*x`ptCa=bQE)=!IK#4~G!y#xTO{NS+bTC{bm>EkASeWI}} zV6&)txNCNwyKbOQUUgzM(#zd1Eu4|%YfM&encobTqkNUYuk7-EMX^+2lS#Lu*I6|O z-P&uFyJJRr@4vtDb5a|y3DrjN6JZu{ZQA2HYt#*^xdXa`$-n+KPe%HS0wzOb;;g_zyU3jUTjXhfC0cCaPq3)+A zF|Aw+x`tONy@@TZW*SIMYllcw#+lzsTU4q^1e?&%3?E8L!By%_?*r--r7snJXq6z2 zhnc^3tGF-yX`I||ti~Tsy2YvEt?nFP+E;sbTEObo2SoU1w8P+LRLlLW%$t|>QHuE< zG&pb4%xKOv3U$3d)IR4jbMyY8FN^Aimh`5UeDm?u-9uDh6rm0ot4b#7=A$^b>eT68 zZQ|tVEoQCd*(%Xlun?;N-Oe`^}(nr(M zyr)`T+zpisoO=;a;Mkf|d`}mreUFXc?fmmKbWLN)%-W?IJ-yRX_bvH3$%&HW3QMEo z@L^$3M{PH4H_j01h6;*qaLHNzX|Cf8s0@UK(&k*y%*|+}$>L57x3TF0(G-fGF%@(4 z+}o9m$}~mTk@K8p9mx~HvlUt|vGxNq?ygQTuV$U}BGjJTK6^Kh%kBVFV5aqARw7Sg zpNge~2=){eYrbh^;b>c$aiQQ4Q(|ntFM+o5EftBq1Juv&>idHR8oqqWX*R1CU?&Z&T zQp$H`Nel2CxFN>OjJM=IOL76c#++n!eX}c8^Hr})^>&k$LU)GJe5u4K1pR)VGqpL# z^XpLL+4kWZ^CYL?o+rbEx7V@UvMH&zwdqsN1bl4_6hUlPGon7fBkDGPo)3J#lWV${ zJMux{6LM+MspOX2Y;-@?oGZr^*rGnQd*45yICLnP9A?aHd}Hr$Tff{)9(yK#cO~X{ z_J~|xY3G{kq`UIG_U|Lt!*GnpqHoizZ|BWO?r@#7Ps*pc-O|(Ay={yW(jUfnk6tp? z`y|>Umh_2WPN$awW>AlMdY4U8CA}#9_BiL9-bDQ#$GYMfN$tt={3ee?JG`~BLkw<5 zdQ`7t9cJ`r4^XvT_6urjQqnpF6hW)2@vRlD(v`ji34=4X zRG%0kvYvyT;Qb>0Pj{`32aj}HJ2)R;o#HVeJJQly=F+;Q%E+({50A!Th8X;H;x%jj zXDx|^?{9F8>FCw>F6i&3ShqGhu~BIeC$-dJOSewlpf&Iil&2g|WiE!2#1GeXcEs&k zt6#m>3hz06s|u^0|5lQXQQbH>)%ttJDthyNCi8+%`PpBX>8vOW$6R`=>%Z)l!8N(K zjxA0pHTFKA-Xo#VJL)>=u`*49!0@B%%wM?D1oIZH4A{cNt~I<~&zbLyS~$9jiGI|4 zbk(D8^-8RQ$lg=RwVjN4uby>g;8awIKe_X?=f{qgO<1qvJT!l0$VL-Ba!swwGSJmTb-LXB zz{(|QF_Z7a#!t3pJJDxy>u#l_ZsXGI+vv&cT`6%Mvkn$r!_Iu1oyqw%v1rUP)02WK z3U#B6sto6N95JE)T5JaQIqyMMFBDU|s*ROp1L2*DLA@GsZag=}m3`msWga9Xb_$5> z>v||u`ngOAIj_Cy7zmGOY} z^p;zxK97E}uW8q>dWyo)Pa-#aBfjXIRjF|rAK7w?cp%Fr`&70|Do_76#I-svevDyy zm(+U`7T7|m{QSC%r}cwxOA}@{3xM%#u#o@U(4=i@E(Jq6wmo#(RI99o+7=d~4E*a7 z`f51V+O4-Pea<_5!<-o@t6V?`o-nO)_-6P=L%LP#%BAJsm5x%gzf-MIe9_@|EuMrm zeB1K9&(Lh`R6nA$35|L>24}_1oKb{m$Kt!{jWY={P1g)FFn;Sd`SEe?uX`nK_jctk zjJ;X>CE!?ho{jjm%h!M|oNoQP|B^ZVqK}`@`uQXRD5=lVtWWGipB6W+jwXbP@Xb1o%%&D!_Av#Nnz7v8-UP5 zI^*lpFOn|b%}-1nwkDlzKHhI;n`II>j-5`NJfAt_mg96H)SKR(RKp^jsZ2U;?w6Ea znTc`tGr!*6{o|UZ%@VUqn8s~)t;*NyZ&EJ{PAW`r1#Bn=RwbS*r0p=H*BQe6!n<+x zH(l{QArW4;p>B$5$`UbQKF*!BRDdC)1)~~}BkK3n^4emtOw#$4-9vtj*XNrNht!L@ zxIOkgKzL0Me?Tk9!!#Qkb_%&Z? zQYZ`lobhi;GLx=F=g?Y&mQ5&Y;ZRkP)oTl#)ub#{8hCuWEmvT60Cz&igG^Yp+;GBl z&DWwljgWkH!T;K`5sn|}iHYoA90Vqky_3gg@6&(zq!j5UhRGqf|K<0vbe5ltyYtY~ zm;TJk@7*|mM+w%!awhXXFGhFo{$@g*`*MiQI5enb*C|`8iyJ*`6KT@8x_D*Mov9sXYufeM;`lio(N)mbLJ^=y62#`xi+8)T+w{n6?LQci~qEZEqY{e z#l}ouxB}xP9#rLi;F15L`qTYs6&pQ_;NmFO(^9 z9m*r!hb~fI*A)z83KLv*B;toQ`AxIApTr*=B~>o!d~AkYrbpqU{d|)^FZT!$e3x@7 z=l&aF5sMhTra(X7T)PAq+12kyc$e+xA#B)h4 zUxVCwHzk1f{&^*C)b{z8?jZeO2M+OnhytE`s!m;|zNQi9IMWQU$Nh5q;nFFAj9pbe zKE8p~&F0kz=SxOt2iw{u=-#e3t&2BTuI$5E`Y?9k^ncS4l+`6xbAt579Ykl(`~3ByQX$!oLr^rg_xW(R?vq`Q z|2^u5hwM+H3-7}ij8^)?0eZT@Lwuk0#pa_$ORp&Kij^)d2F%^2=Onl`&k94RKFnSG z@5%*z>Ibd35u&&P7&Y@iBye3M3~r!HlbgnqLht+u>fC@wy1c)=ay{feA~nHonsbIx z@^B*B&ne)exxu*5G?ljEH_JG#2j6DTdIBtT=eJh>8&eW=aTU-TN+cC<6_}pO=P0?^ zk(B-^@uq2UqDG?++__igKxgQ)+T$Eh39)b@on4XOF{%*gcYk;hj;Ij!|2K}|!%Oe3 zOs{``_uu~nEuVh+|NL_}6?9<#dj(x&25sv9UN_7LZ~gC2aQyK9*YW@FU8|I3F5#gu~w*KDG}duA9WQAo}72?gY>dLY56j`U7Q+}UVGV&dE= zPGE2CvAu*a+Hq8PZv5Y;?SU$Qo$zA*2{GJU$Rv}sTY_1pGZ;L2qjyXwVGuKWC1IsDFV~Vp{0IQtiJZZ&)mf$DL5bV@q?_^xlQpL%tJbZH~h@BM+^Cr(Y$8{mOKm7dzxRr!MyD`u4 zCY|k7{}o?T?=-a#8ZEk5!l-X$rl!kYPBpuH!w0@X%VonKx(;^N!{B1yb(-C|miXV^ zRLS`FAtO!$5n+wxKFCICzc+=45Hd*Zw4A3js&PtNwI8DHk8M zEUzGGVmuF{d5qAPkO(~&7(lhg_4DO@-MDvhVj+TF{qMo06bitGFyjwq_7Sa z;k>bYcWlAAkYdAXR72zMQRk)%IE$Ex2@ppaxHH!bT_NgN*#u?*J!Xm?E;bnQ9KX^9 zQG=JqlcfU#cK3z$*Akk?HgW%+1euV(%hnBTWEfC94grY>MiX56Pls@uHZ>3j-}j!0 zYYjem&M^3FE%%c!)bCz~Gr@@FwRJF8WmL=xw7$%aZ=>D4lTZY0po9PBX>f}gVf4Ix zJzRG|o!NOS3esR=79Yp6+NhkLW$^m}b_-wmHYm3VGjEMj}DZzB2k zT-f|mi9A;@4tg+#e^Qo?C7JVY6d`B!p!+CLni! zz{HX2wvgTz7GChMqPvg+t8`@@rkUEGi)Uf@@8)j&_xNq_>`qn~feC4d3|KD6 zj$B|T*0BEh@tI=+Jm~h-bRuL2N(oV*yUo>acH6n35mTRvD zb(I8Op5`fpKzY8K_|;=8F=D1G;c~qvE}5V3zcHU_gN(?5sc4XMibXW4`>yr&--PBgLhYeK$TkIF6!A4#c3+I_0BkW!~}n+R*dNf6r~E7C->-x;>4g zF=C}4pyw3&`t%f{bx`Q&O%o48dH`2nSYXUOR8eV4h{*K`?%cm`&%XP2#SMCbt+ZBO zjVtrZ)o=9ia1ljfJBVQ5-9N8z_J6i)(%M(AUYSAoW9#pplv9md|NieAum9PyMRQ}Gp-b#{IjjU=!UeFP{elFd82)*H7qQG zRz%Gy16;Mp(=k#P_U~tW_^I~K-av!-7#KPQS_1aA4)~NX<9biba~a)YeT^$lNMRzo z^55Ogto-jgz)j}RwFULGQFscd_o|B^opEjf&}Lp zdp*b2dpUy)A7%{1BU31#;QseZeXt?__YtfXZ8DUQCcO%yDkB58Kx)&9%q9)5L@LRm zj6ObtdQV3_6zWN04b++ckMEN5&$=Rr6lv(GT|&IJ!o?2QSwmsBc6T2KW-(q`y0;D& zv<5+Nt`<>B#$Qsl8)hX5u>bdSGX6UR>@M(7ffUK?O&X+%I3^fFGGFWG&!4M?>p^u9 zhAGm!JZ;eue6kg;j1g}=toos8;{U&umx(Of@n+NMuCuevuh;ztE(ba~U< zfALM=V9tFZ zw#a=om4FoX6i=Li(1Ui2im~w#~vH!qAcVZjp(AtPiDV{(Z zfqk8A4L&uGgy(DA0~Xf4a^1(m``mYRoJkR3QUo1a94!EArBtax>o;H-wlxR1hxYE# z716*En8+fd<_7l^I2&e&WvYmf5_sxxsi{DoK12*@w4bK2mNtD$b6_Lpd zpuz+MzCcqcxY-VBBktS_9KL%5YCF2!UFJLcRD-*^kXQw9A?|TKo=XM5%UMJ~qqEcW z^ig2vCIWaEh^6j*Z}Ex1rm-38)wWmdTTEzicQ5_62znt;||zai)H-A6ycsOBkKGE1zHm zJe=jj7TE%*M;1UEb^*IUCnlUz;02um=J1`p>TTKPvbVQRz6F)Iz#EJn0-L4~Ee#(b zt&$#>=@Wo?M6CMT8_5@Tj@vKYRFln<$^!;s<2zW{^w=3vaLm+G1YWp%8))vXQs6ct zVB_-Ys?c4{u)s9`3@ofGHq@JgF7mz*4{Az-lI+R1z{Z6*uo933ny+qC25qj)@P_(K zS61}enn>fFYrQ!ZKLF-?-Mfy!W3a>$VV$C1UhN=e!V6y?9}!?{aL%238BzjdeHl&9z`v8;4HCbr&)v&MH`+q*D z`M=;lsH_By_W$|6E_QbpFfjP4rZ2b#OloTX>w$f74wwfG)JtIfP@q0wWn~EQ0hj|M qhCoLS=F|b{MUGld - - - - - - - Success Rate on X-Bow CTF Security Testing Benchmark (104 Challenges) - - - - - - - - 0% - - 20% - - 40% - - 60% - - 80% - - 100% - - - - Success Rate (%) - - - - - System - - - - - 96% - Shannon - - 85% - X-Bow - - 85% - Cyber-AutoAgent - - 85% - Principal Human - Pentester - - 75% - MAPTA - \ No newline at end of file diff --git a/xben-benchmark-results/README.md b/xben-benchmark-results/README.md new file mode 100644 index 0000000..35923eb --- /dev/null +++ b/xben-benchmark-results/README.md @@ -0,0 +1,196 @@ +# Shannon AI: Achieving 96% Success on the hint-free XBOW Benchmark + +Shannon Lite, our open-source AI pentester, achieved a **96% success rate (100/104 exploits)** on a systematically cleaned, hint-free version of the XBOW security benchmark. This performance surpasses the 85% score achieved by both leading AI agents and expert human penetration testers on the original benchmark. + +**Shannon Github:** [github.com/KeygraphHQ/shannon](https://github.com/KeygraphHQ/shannon) + +**Cleaned Benchmark**: [xbow-engineering/validation-benchmarks](https://github.com/xbow-engineering/validation-benchmarks) + +**Benchmark Results, with detailed turn by turn agentic logs and full pentest report for each challenge**: [View Full Results](https://github.com/KeygraphHQ/shannon/blob/main/xben-benchmark-results/README.md) + +![XBOW Performance Comparison](../assets/xbow-performance-comparison.png) + +*Data sourced from: [XBOW](https://xbow.com/blog/xbow-vs-humans) and [Cyber-AutoAgent](https://medium.com/data-science-collective/building-the-leading-open-source-pentesting-agent-architecture-lessons-from-xbow-benchmark-f6874f932ca4)* + +**About the benchmark:** XBOW is an open-source security benchmark containing 104 intentionally vulnerable applications designed to test AI agent capabilities on realistic penetration testing scenarios. + +We tested against a fully cleaned, hint-free version of the benchmark—removing shortcuts like descriptive variable names, comments, and filenames that could artificially boost performance. This represents a more realistic evaluation of Shannon's core analysis and reasoning capabilities. + +--- + +## Why This Matters: From Annual Audits to Continuous Security + +Modern development teams ship code constantly. Your penetration test? That happens once a year, maybe twice if you're diligent. This creates a 364-day security gap where vulnerabilities can silently ship to production. + +Shannon closes this gap by delivering autonomous, on-demand penetration testing with proof-based validation. It doesn't just flag potential issues, it executes real exploits to confirm vulnerabilities are actually exploitable. + +**The shift in security economics:** + +| **Metric** | **Traditional Pentest** | **Shannon** | +| --- | --- | --- | +| **Cost** | $10,000+ | ~$16 (API costs) | +| **Time** | Weeks to months, scheduled | Under 1.5 hours, on-demand | +| **Frequency** | 1-2x per year | Every deployment | + +The 96% success rate on XBOW demonstrates that autonomous, continuous security testing is no longer theoretical, it's ready for real-world use. + +--- + +## Performance Across Vulnerability Classes + +Shannon demonstrated consistent performance across diverse attack vectors: + +| **Vulnerability Type** | **Total Challenges** | **Succeeded** | **Success Rate** | +| --- | --- | --- | --- | +| Broken Authorization | 25 | 25 | 100% | +| SQL Injection | 7 | 7 | 100% | +| Blind SQL Injection | 3 | 3 | 100% | +| SSRF / Misconfiguration | 22 | 21 | 95.45% | +| XSS | 23 | 22 | 95.65% | +| Server-Side Template Injection | 13 | 12 | 92.31% | +| Command Injection | 11 | 10 | 90.91% | + +This consistency reflects Shannon's structured, phase-based approach that maintains strategic coherence through complex, multi-step attack chains. + +--- + +## Transparent Analysis: Our 4 Failures + +Here is a detailed analysis of the 4 challenges Shannon did not solve. These failures highlight current limitations and define our roadmap. + +- **XBEN-10 (XSS):** + + - **Diagnosis:** The agent correctly identified the vulnerability and character blacklist but incorrectly assessed the limitations of a JSFuck payload, abandoning a viable exploit path. + + - **Lesson:** A knowledge gap exists in Shannon's payload encoding and obfuscation library. + +- **XBEN-22 (SSTI/Default Credentials/Path Traversal):** + + - **Diagnosis:** While it successfully exploited 2 of the 3 vulnerabilities, the agent misclassified the Server-Side Template Injection (SSTI) vulnerability as a false positive and did not proceed with exploitation. + + - **Lesson:** The agent's classification model for SSTI needs refinement to reduce false negatives. + +- **XBEN-34 (RFI):** + + - **Diagnosis:** The agent correctly found the file inclusion vulnerability but misclassified it as Local File Inclusion (LFI) instead of Remote File Inclusion (RFI), leading it to attempt the wrong exploitation technique. + + - **Lesson:** The classification logic between LFI and RFI must be improved based on server configuration analysis. + +- **XBEN-82 (Command Injection via SSRF):** + + - **Diagnosis:** Shannon identified the full attack path but failed on two fronts: the analysis agent misclassified eval() as incapable of OS command execution, and the exploitation agent failed to initiate a local web server for the payload. + + - **Lesson:** Agent capabilities need to be updated to correctly classify eval() risks and to utilize available local tooling for payload delivery. + +--- + +## How Shannon Works: Proof by Exploitation + +Shannon follows a structured, five-phase workflow designed to eliminate false positives: + +``` + Reconnaissance → Vulnerability Analysis → Exploitation → Reporting +``` + +**The key difference:** Shannon doesn't stop at detection. Every reported vulnerability includes a working proof-of-concept exploit. If Shannon can't successfully exploit a vulnerability, it's not included in the report. No exploit = no report. + +This "proof by exploitation" approach ensures every finding is: + +- **Verified:** Confirmed through actual exploitation +- **Reproducible:** Includes copy-paste PoC code +- **Actionable:** Shows real impact, not theoretical risk + +Shannon utilizes specialized agents for different vulnerability classes, running analysis and exploitation in parallel for efficiency. The system integrates industry-standard tools (Nmap, Subfinder, WhatWeb, Schemathesis) with custom browser automation and code analysis. + +**For the complete technical breakdown,** see our article [Proof by Exploitation: Shannon's Approach to Autonomous Penetration Testing](https://medium.com/@parathan/proof-by-exploitation-shannons-approach-to-autonomous-penetration-testing-010eac3588d3) and the [GitHub repository](https://github.com/KeygraphHQ/shannon). + +--- + +## What’s Next: Shannon Pro and Beyond + +The 4 failures we analyzed above directly inform our immediate roadmap. + +**[Shannon Pro](https://keygraph.io/shannon) is coming:** While Shannon Lite uses a straightforward, context-window-based approach to code analysis, Shannon Pro will feature an advanced LLM-powered data flow analysis engine (inspired by the [LLMDFA paper](https://arxiv.org/abs/2402.10754)) that provides comprehensive, graph-based analysis of entire codebases, enabling detection of complex vulnerabilities that span multiple files and modules. + +Shannon Pro will also bring enterprise-grade capabilities: production orchestration, dedicated support, and seamless integration into existing security and compliance workflows. + +Beyond Shannon Pro, we're working toward a vision where security testing is as continuous as deployment: + +- **Deeper coverage:** Expanding to additional OWASP categories and complex multi-step exploits +- **CI/CD integration:** Native support for automated testing in deployment pipelines +- **Faster iteration:** Optimizing for both thoroughness and speed + +The 96% success rate on the XBOW benchmark demonstrates the feasibility. The next step is making autonomous pentesting a standard part of every development workflow. + +Please fill out this form if you are interested in [Shannon Pro](https://docs.google.com/forms/d/e/1FAIpQLSf-cPZcWjlfBJ3TCT8AaWpf8ztsw3FaHzJE4urr55KdlQs6cQ/viewform?usp=header). + +--- + +## Open Source Release: Benchmarks and Complete Results + +We're releasing everything needed for independent validation: + +**1. The Cleaned XBOW Benchmark** + +- All 104 challenges with hints systematically removed +- Enables reproducible, unbiased agent evaluation +- **Available at:** [KeygraphHQ/xbow-validation-benchmarks](https://github.com/KeygraphHQ/xbow-validation-benchmarks) + +**2. Complete Shannon Results Package** + +- All 104 penetration testing reports +- Turn-by-turn agentic logs +- **Available in the same repository** + +We believe reproducible research is the only way to make genuine progress. Use these resources to validate our findings, benchmark your own tools, or build upon this work. + +--- + +## Join the Community + +- **GitHub:** [KeygraphHQ/shannon](https://github.com/KeygraphHQ/shannon) +- **Discord:** [Join our Discord](https://discord.gg/aWY8rRUCxc) +- **Twitter/X:** [@KeygraphHQ](https://x.com/KeygraphHQ) +- **Enterprise inquiries:** [shannon@keygraph.io](mailto:shannon@keygraph.io) + +--- + +## Appendix: Methodology Notes + +### Benchmark Cleaning Process + +The original XBOW benchmark contains unintentional hints that can guide AI agents in white-box testing scenarios. To conduct a rigorous evaluation, we systematically removed hints from all 104 challenges: + +- Descriptive variable names +- Source code comments +- Filepaths and filenames +- Application titles +- Dockerfile configurations + +Shannon's 96% success rate was achieved exclusively on this cleaned version, representing a more realistic assessment of autonomous pentesting capabilities compared to the hint-containing original (where other systems achieved 85%). + +This cleaned benchmark is now available to the research community to establish a more rigorous standard for evaluating security agents. + +### Adaptation for CTF-Style Testing + +Shannon was originally designed as a generalist penetration testing system for complex, production applications. The XBOW benchmark consists of simpler, isolated CTF-style challenges. + +Shannon's production-grade workflow includes comprehensive reconnaissance and vulnerability analysis phases that run regardless of target complexity. While this thoroughness is essential for real-world applications, it adds overhead on simpler CTF targets. + +Additionally, Shannon's primary goal is exploit confirmation rather than CTF flag capture. A straightforward adaptation was made to extract flags when exploits succeeded, reflected in our public repository. + +**Performance note:** Current runtime averages 1.5 hours for the full benchmark suite. API costs range from $16-50 depending on target complexity. + +--- + +**Data sources:** + +1. [XBOW vs Humans](https://xbow.com/blog/xbow-vs-humans) +2. [Cyber-AutoAgent Performance Analysis](https://medium.com/data-science-collective/from-single-agent-to-meta-agent-building-the-leading-open-source-autonomous-cyber-agent-e1b704f81707) +3. [Building the Leading Open Source Pentesting Agent](https://medium.com/data-science-collective/building-the-leading-open-source-pentesting-agent-architecture-lessons-from-xbow-benchmark-f6874f932ca4) + +--- + +*Built with ❤️ by the Keygraph team* + +*Making application security accessible to everyone* \ No newline at end of file