From fcc62ebffcbd900075051d709c2bb91e351f59a0 Mon Sep 17 00:00:00 2001 From: Paul Gauthier Date: Sat, 1 Jun 2024 07:34:30 -0700 Subject: [PATCH] copy --- assets/swe_bench.jpg | Bin 49021 -> 43201 bytes assets/swe_bench.svg | 1003 ++++++++++++++++--------------------- assets/swe_bench_lite.jpg | Bin 41605 -> 40286 bytes assets/swe_bench_lite.svg | 224 ++++----- benchmark/swe_bench.py | 47 +- 5 files changed, 570 insertions(+), 704 deletions(-) diff --git a/assets/swe_bench.jpg b/assets/swe_bench.jpg index f5aaf8ebc71c56561cc891a82410310ba50bda7f..73ce02c1a9700beabf76d185d755b47aec698b48 100644 GIT binary patch literal 43201 zcmeEu1ymLNzV@a>q@){EknZl3ZlqI6%1w6&qJV5lKtQ^?y9K1XLFw*pHn90N`ud(% z&pG$pd)NBb{o?4FHB9W8`N#a?d7j_ge!X1)Jd}};mH@!OzyM63{{gqt05QP*d-o9U zA>2nqL_|Wm{{RIW6$Kd?g#Z%^9h-!ZjFg0snD`L|Bh{lP^yI|E)Lb<5%q;Be>||6t z0^F?pjBM{O`6IfN>v|5^e(y<_Q260|pKQ=C%z$ z1^~byK%e&Rf&cgi0}BU_a1Zf5(gS4Z36&24urP3Nu<&pQ2=MUGv%R3l0q__In2%XR z?qMk#B0jOhW_=T$dY@dhv;{|H_<(}V$le#}0WKas0pU|hDry>9b`DN1ZXRB-XW|l) zQqnTdRn^orG_|yiO-x^!nOj&oI667IxVpK&edp&N@IDX}5&1DHI_6VsTv~cYW>$7i zZeCe=MP*fWO>Nzm*0%PJ&aUpBkln)bbA|G9?w{w8a5Z(LqMj(ZOg4AslEGn)eVP0G(huPDQG-axry<`tMsc$8eeswn zWyD6w%UgiCakwgnPSZnuPv(fDmDx>jW&XVn9ddGu3P{VuI6Nm^Dd-|;C7}(u3(319 z60h5+ZUJw0H*W!6cDjSDUb4@*xazEno%oO0G4zE;rF3_k)+0~#1ssG)1H|nNfDL1U z^j@JvwIjWX6|?L#kMHkE62SSswz~y*PUwec>tBSm>62?Uh!jjqTDW&(>gYu&WyS{+ zpEPd@lSYc$hhI=it!Uf=-etGRSG=t(wnr~rs;dJ~7a_JO&siE^zH6aN?NWZVP)t?;OA+f zsI%B-ES?#A4nwxw;3PU0ew)QyruK-f1A<;4G3SW)T*v%`5AOq7Y+M(raqXd8!m4wsl$!S42r4#6r4M#X1LjT*$;S8{f=KN zJr#)6j;WA;4&0k0C-q5eJ;5nlOw?DzcQra95yb&55YX?bNy6{0yg3p2lp~iU6emR9 zHT=Se*;SqM@vkk@rq5BX24C$W%5YGVDs^`r)a#sg(2tDB=a;B zmp~F>BMFvCs^Uzmi%#K~Hg`C!X=!2?=_j(tT~ZI4!9G$8ae$7C*G)DJlc&pr(>5~C z6wmRpA@2|uHNp4d^XD&;+o|Lx(LUwAo^Gzxa#>9#k?P>N-mX3P9PEgWrnOnrHS#Q@ zt2+UgA~N{KD!%IAJjgM`Orw4zYdDzKuU9@OlI8`g)CTwVzA#~xHeTSPMt_}T+{(WD z3k^aqp3U(EzwMl;vt04@6z=LvBJT7=YWh+)1voCo)SjF3R3BX|8AJ7J8MUXvKw{>S z4zD=u=W7$hI^^hxqElQ_&S`&mtUV%Y_@D}zuTV^)(pQa!B085`aCDNWCItl@!_{Y-6k*6OF*^ol zb)Lyn9*jg_8@8+ilIA|bbXztZ z@*E1iJ;`rf(-x?n%8*!*T0|lsf$VQtYC^(`l6mHqqVMfBL zC;}0B56Cym)}Fh5G4Zt4@9C95g(AM)2mCygOz>7jx;k=YyZG~d z_H5hJM}3e&2majy|L%eRUJrE65pb`{3&t|d zknJ-aV*~zE$=**pWpUC1sco7i>l=dG_`fWaqa}*(wW4l|aba#D;1iQs6cLOS5__&e zaL5D^@AU>>8Qj2Za+#Rwr)SIeJMuE^-Vi~2&&Vz?lb0pWAR)H^5fAihB*nvGq_p&e zBkxMH>zs3&|KOxhTgZ6wQTl9C^@$A_`K$MWjCTmxG??oKVMplTsZd7)C5Wf>O5M9B z%o#F2+_b@D2+dPyAne{Y8}lc4CAWa)kGBBAgE;DS^j)o60Ik6EmAAw#Af+(?0-t>` zeAATfJ*3}y3xIuoZS}=GJwfR2o=BVHxZMj~jX-y=Whsd~Zfl}MSsX{w{Q1+Xw>PU0 zqhz_5J@oUKOAx>dTUi+4pDr30=|xRWOUXDE=io&xTq4e@h=GUs)&-^mW09^i&PNIk z7bpPd6OG4<>f=QmyDHL7+l`Xa6+$LqyAOpwn=HH~rwQfYHmIGaa!Dx|#ISO&%zj@< z6}_)tGW;rnVG>uJ^GGzMXx+u)VJX}rlGqM3J7H2kIkN5eo8jwzNe3?rQ{O_3sHG_fPM~phRfXS&_zy`Wrz}>W?3%U5XHAh?xxCQin-z}p<{B>|a zcIaq|)`K9$_l(Bc@Hkbyw==<-G-^gKE8cs-Dnw#lrmD)*&^awymz&H3Fd?mbK%;aP zSaB+|4kPY3_h7VugG9l!QSC!Ve0pFQibMB#=V?*ITt};l|0M@1ECVM#w^r3V3WqLk z5|%xltaJw%O=(q7ga;%!e62#s7OACc$13|kA>J@&i!Eqei;x|aSkBejje9>-i1%ZW zp-g-(2g2AIb+L4HX~|fjjemMdXO=iRGUw2{P&Y)lEX16(5=U97$W|`AGq9(&-$8=p zYB$*@99IZg=k-$l$Bk&ztjgip)6Et8j~a&guI^JdSgkhJ`9LHeMMs!RL*hNKUD!bF ztp48Iv9e1=bttmw=w-O$vh{C%%gR{;PqvG=+iAS;fo1oL+bPI!T9vgFWv zovU`~_`NSa4FM2X9;k`X2QA+M7L7F5g}#Ei>lHhn=Xh{u+Cpok}bWLTG zp*5FU=l?`-k{uyxl_EO)1M^l}g7yAHj+H*{Sf!TJeey$;p-t_GcXbu6{2gjjIPVlR z-3&k4GtWdwAQfeS0G1NrZKY3qK(Kjdfaj_(Y%gGrLX$(Jf7(OnME)O4T>k03>3Sef zZvkDMHn#x%pj$v{Bjrvo3&%|`&#uEbb#W4P&N~18uEE}Gp#${P4e0iryYjBRfI2zB zfV9u9X?M;NvJM>+0GJeXxpe0lHLjAwuHiP^>DEDaF7VGE6CN;KhpLmEjot#pD?J#r zUHA@a!fX)fbd-wNmJF_gqHh7GXH8(ZNi$uuwx&xwhFie)uJ;LIn$A783(OP#&vSD+ z`R^CrAoo6=%HxYWkzx-zIe@Qo& z#j}fRiSWi$VkFMp{RHDG0jvI`ttHvyipI7=Ap?$t=#%Yfh76 zsrE`V4x}-fKeH_zCU->{?(~?8tE`hUot*2jG=6Y$w)WRL zUun~cLYso6AUR*uiTzcC2X-y$olsPET;GMhOrB1fK7=CJzHgl(*+He-%Y_{l$vWFr zBLn!DR_K9edna}j6s3YF9-q=p4xQcwGzy67YG)9G9B43;x`V)KP$M*Futsyz{d(aR z;O6})1#ws$8=(B#qV61@x;dq=R#BzQc68h{NS>_j&|OH_<~ZS4OR!+GD=R9^+$E~; z_9l8!*MpeMK^S%HTCU1H$YMgP|lwLt3%t-CF^U9IxWeY zP*)Q7kk%;jZLRlAj2zRmlC3V$Ru1;>tE+fHy!@};KKM$;yc{OBt@E0ASm)Vj2FL<3 z>}1C`Gb4islVM#$5&-MN`4bkUd3)pFT_+TqJ&Fiky9GFUvk9Z8fv5rhr!B>F7f`E7 zPSSMa&IIv4-HKZE#=Hfr7(-#SV)0wR&|H=WF+tdYpc#R{YbsPNB~h zkOta1@j_M%YTYl~T9STz3y8K&?U1ko$6?kc(yHX_gsOnHofy#N8x9U9937)^#ICyZ z%A2_b8$ui1RnNebk$@2fM*7v-c;zs+L{qxe6}V<%VzWl#ta;VMU8hk4y--Hb29TZ4 zwGt>&j9(R>U5-S=%}TteYFt}Dphartx{Q%(qy|GlebT)a6>KKoq8ATAxCMmwv_hu5 zH>!$Fi+?j^7N}unbP(jzn}@$7CEMk{8n$s+<7|R!BzIB`acp&}z6cQ;jy_-R#}QiS z;vuqRU23~*;jOx1(lxy2sXFeA5>;!jBdnCoKf6VW`uxfTKQiPzu6u@ z!pVi}CYepZl9J!i_FQtPr?6dBO;%z#$qFBr3D!$!Dg+vTsxIduOi-86l8e0m#G~h_yjJJ5(nEVE^GUK+jE*GF?|q( zplK4J*NU;DM4mUoZsDg51*VIacHfY{mLU=laMaHqyF({X%g6~8I*gS@Tco=o4Whg^u-T$ zmz6wk0WLd7X3*3$*YJ=sv+zS4X(YQcX?30Nr)9WtRnI}N5~8xIhSq4@5qL;nd|gu_ zViwl+u{w%~kt;DBX#>olvPOO%V?`mIe8a_CQ)H3!Z@L!IX%=ZdQDJ>p`8;YZ0&eUu z^A>fGkb;K5%&jxLetd+9iPfjH=%UV%pknW(LM*wlNrn1GjG4svfasmleQv!y7}f60 zn&1hpfPKbS*J^^H-~!&v?60`{gPO)6DZndHEPOydO4Ohb&B_FBB}aocdRxA1wul#h z-{X+?^Hi}`m?G7a>-eM#Lx_K~f=Y5WMx)YIp)~urER~cWJA&tSaNd)>$(u5%Ye-Wc zr{5`jiT@yal7TmBJwgi$k!P7K1Yj{Nce8#)R!G)x3ot%~x`lsl{<}B+$z+&}x|W5S z=FoXaBi=1Q%>9&X&bt&m8SN=Edka7!`MhJc6Eu2ro}1Kp&-fZWwz~x=(2L`X^z;Sm zGjq+bp87%JDczZ`n`y{yrgZhT&lp1Sis(S2l{&kW8WBASq~Af zZ=t#23jQtNBJSOI7;T7*ayGThc}%uqETaEO(=N~&*;%(OyD#Qu7{ZUvTT7LC#N~ulnf3a_?2A7FTf*ubF^Xe({5;#N2%1@8@=qS9H7RTqO zhSMyn{Uq^)II-=(lWbX5+Eec<-6ZBOi((dilP%YHm|tj>XIraUf+ zJRKeNJW3Y<0A2vFiFX`6{77hJur+l_nDnbFCO8oEUSuihV7nSUg(f%#R!|g9!1>2aD&ksFhYqA9!#S{XYBKvOOpPHl!R+Aah8qxD zSu>dxTUi|N*9GcmJP!>-UmxFuO%x#(M|m~HY(WvKeW9;6=HIQAxd+^4#7zqX>MK|z z?{-@hH^K4Q)w+9$|Fayo#fs}Q$MCD@C97RZ2{&B)v`{<-^3rDIBx<<&qxAVEqdmwO zPqqf3;f3Fs0o$%NS7Pv`4$;w|93(1x5mn|&bvVgOLNjjD%ypJLIQydpARS%F;Q~XL z=oInmuIJ|J6}#Z8EljhoY)^t0SoZEIB94unDBXKSN;(WIFe|MdKDj8^6PncNd=*5T zyibiU6e2GenKf(B>SdQb)$fJ~jt_jS9wBtD865Vd2nsYZdl%W9OCGa>e`3n!FektD z(qDV*f9h|X-$U9)m4;$yf*I@#O)xi_z(iw%#&205h<(e@h@tE9AYVySS|Fr-K9*1% z2Cz>>uV8x*Q6Ci;XtQ&&OXK(v7@5k7Eq57V^C;ha!5EaRk}$m)H`|zy35-6)P)6^8 zL9Ic56*iI>8YTYJ8T>kiXBru|DMAfP{6RZG_?+$n%A2oPW1tV4enslYR`ojmv^w_P zrIMwLcyY;+5nDtamkfnQHKZzmxZ<;ZGiajcD-UASeWZa|{b#DaM=Q*(>GE%UUeN(} zle}qpF;hupr@@UCbh4@Q?U+5rfx{UXVT_KRr5nr{!%pe)R`6wkyK6_9^u5S?ED?5t zqzxu7D~*$gn6NgdTwgF0WU0Q~8A)#FJY3#DP_L-2DXp4_+v5^`e57y~+@)t1rvGl( zXqNg_14LZ{2U}Tcm6r(?`tGbk0dAnsiH=6uWQZ#sM3N5u%HkG~Hq{ti;on&wbqhcM zL*CN`-z64LR-10TiXlFy-zNVG&u?Xxjs`>E8`0^~Ky+AZqQAotp96}M=r-JINI(BK z5=15tyH;f*BloVECKE%pY`g`&>9e3w!I`+JBAbrtN%c5^2F}QM3nrT<6tkOw)F$p(>%HC#2QN>* z(Jf5&E1++1amZ+Y+6`KN#z0?4!-~rW&~Y(tE(&PjiqYT|A8(x5wR;+}QswKsO`D2u zyghl6f)??!v7dw{xvtVLRU^ZBp|%lqsJj zd431jSD=`j^01nT{5Ps(symSGQm7HE>ZojjXY$J#;ve)PzF#7JFcON%ON!%)I7_d0 z-|UZs2`cWtjv~RGP=brG*&3BRsIY|Lh&@@l*2uz8&di?E03ZJYEf0C zeoO3Oj3%Kd(t}d9UGK1id>nN9i57hgD5E36=M6qFxIx_>|2t^v*%`M3*@EW)D~P%v zESbvxY;TG)6gf6c@~S5S2XPBQ;^~KH!$`yuZETPDF?lhCu;kL-%tnauR~;ceidy>M zXkwJ{`bpHDS;T@a{}Fq$F9oBli6hUpva+z=)R+2-(19JTPb;N76yULPechQS6z5nn zf#+&7B?ejUs_aU5hER}_JndHy%XRXN_liA~^QlS(Gvt4>l6vJ)Yj9vtyy5#h#GGiC ze3xkJ-X+?V&_tUwPlts2JGxv)omMJn@)Jn-xrV+DmrI`m^51NKM^pWa7^dc6iqW7v}xgbkTM+B-BoFB6sjob-s}11p5tI=dO0b5QDz3vIQmploqt6Tip7E{2RoocJ4_}8^UhB`g`Mvekv0N~;7pD54 zpjZfaB}?0a+;dg+BpR5fx!}-DoSaf5G2eMGw=oI!D~fgON6V-KRyL%xQyejeSv>Y( z3GSXxAvi1QXgKodH){pk1n$v0PG{HEPdYb$8Ibms7=DH_{SenluW&RMKLssbWO9## zZ&y-&j2^dBxr8OwIMkbmfC4_9Zdb*j(*HhwI|skQ=r-HtSsiJv9Z6$zRrHY%g=ny7 z#A^$<52^mP*{K~?Twmm~EzYW4?$@o3pY|Pkl|kLQd=ihD^QEdEHFMBLx+Pl8wkB_M z3`$)?Z?>zMQrRJqWiG8HZPB6IYoq87{pX_WFV>iz2a{I7Z2qKP$6TUI=e1>lbTXw~ zoTdKift|x2{mGOplVa1SHbpgob9>^ic(^p|XE@!6*@N5Ac+Ie3vc=hY6!#z%ZqheU zwIA94gIgLkA?nP+TG`kfl5TN74yAzfKd;0yAB^3VisVxyH%^ObrJWW@EG(|so5IhI!e;k7d?q3GF_04po)kD@%Vftk9_{pGo55?aa5@W$NAd(wyp&vj2e6X~&j zy$+?AsO={L>N_4R>eZG z41+CO*NAnou_EKf=~s+KwVG|fkZG9`;+Ms`^WVDjIp0zxqqdzDK9R{bC+Aa`7;r&r zxEwUI1w?B!-8E8Q>VsQi;BLqt#GKG z80E^Pz@s_@tTZkeola2Av! zeby*Cz-2xeO8~k~PmYH-@v_2{wtl`7IsLIbStCIVC4y4Cu`ZW7Rgoy3pk?ptt}say z&fCwa5g2Pdps;e@_{C{SQNY z1ccnaN3mgd_O&vDQ(&g}f@$(ZZ2Q+p_Um`cTQeUhmA}|)k9gg97v8FT-R$s&)ends z7RL!Ze*8Oq`2(4x`j|X>W4YjdsWE-|I(;MS`-Q@2gzCW)0VRLRc)stAJIwPDUbly) zj>4G#hy~HWV|CqId6d-IsM|WV$}O9>}{}II?(YCI`z!x}t=r__Mh`xlO^J zq3ypAr2I!>l^@3*&fEg>$+Yv;i@e9f3f1yM+hlFi^5^DSvcGjZ+4q%nz!>Fd9@!1S zdQ5QnUrTw4c;vwc^;T6mYP!&9yb$Srp_sEg^(oXJw3;^IbfYg@TcKkGV`f7qTIe`f zXVfUOyMSJ3Wls2IJMNiF8aeVxMmSbtDBAsgJU9i=m+?~p1p%W`xe=oZw@kma@S<4X zyj+0Syn~9QN8aWcUUl7+=KGZQU1|M^fz1?ep=qDey?&g5Z&vPk^WVhtzUs81LOlKb zRd#~$oF}_Z5W}^dUCQ(gX7gyhB4D4Ozm56ewc~+?I4SrM<~1}aK!q0Sl(Q32fvdoT z=^7cg0QGq>Rm&wg-*POeZ%YWI!&dx~lTeQ8w0^-A{KwB*6g}rK1Oh7S@Fe5!7o*)N{|P zI9vd=CxBD-@);2;WO+Mw+qOo1i3jP2>@eZEu3nY+J1_A@L~^ylX6Gc{QiS{WoICUP$o)fl?P;NTF@sqZ7xPRj1pw1j8b+V@h&!XQsr<9L zm23?ojskw`BU|*()UbThWL3RZpXEeQlB~q5Z;a9FBR9~6lxY1kQ)gx@DWQSYIGJKi z1PgZCvod-RQYT_60sll)RjR2Qd8d_|4PW-WW~MsbDd140o1cZ>f+8o3W}2`Zpu5aX znvD%}FE+b1)1pMPS+nzD$2t$abT`#ZgyORLMw$3d*)(NwdVwWe#3N zdaCvM-3yRB+p|$eQ#(WR53zz*Cgoh?ffN&d%2ne}>c@(9(m=1KK9tF*!p{ivi3~XS z@+rXp(=E=NpMPt$Oq+8ti{^aVio2ZGY+F9a*55WT z853;BO?Gi%elIg8EJqt5Jg`PGHZoYGqfJ4%h1`{-I=dQV_My0x8XxXrI0etT(6F(} z!{gmN%3CN4OggwXhyf2t?mV&rBr57Fk3b+HD!0)wwgegm= zqDXOLxr(iX5M;1?P1~+f2@(2I@V!&r44`B^{w|cPAND@sDpviCVZ{2n*ysJ`n7fBM ztxVAKXLj>*z0rUSb-GajHx;*lVW57mKF5N=C2@h!ZZ;&y@=SY#h;&cm8gCo?=vOA~ zcZon=bf?01jX)7JHB^lKy9zik>1WsC)U7{EaVnI43n;<<$vbC{{-LXbM%Vv9ilUYD zsB)C?MD|mq|Fg2`7-wKTv+JWXo=t71Ue~iZ=?Ymb_1Qg!-Qv`wEo{B^MHLqmmn~|z z_@>}ZZD7If@~(*ERVgGiZKk2$5^b6htRw3Gv14c7>V`UJYf6v)vW|g{LeGCA% zvlgNXGx;;Me*TktR?I>_?T2hYUjC&?632NgDrn+dyEGePJME70;$mkXPb>vTl0w8k z>0v1=-DC<7hE-&zE5F2hHl`|Mp(v4lcdC}(Fb59$)brt-D;akVT*IF~w3jR61PHM8 zL-$CFW2@jREA_KUEC6`T;=*>BHY%WZ&`!&{$-Kc0t7u9a?rDw1&B<%B@D@+MJ8ECD zCZ0!IJY_I!ekBWLATHnuw*=*%#hhphjzEGW>CjC6_;HjqNdhchB#1}T;YmLfkuu>D z+UlIh8_!QZHQrXUTrS0&q5E`jejW0f`W8?$1XTjzjE*AZbbQ|Jd|aH zo;WxkCFt}VwEbDzt1`d9M2_9`4Dq7va=c1b8;gIHX23tdKN_}3fnL800%Yfy$LUut zsapko(>4dbv$4ST6I7XgW5g^qc!VP>U42Cca$-WeEYsbzc}aPcWe-s{uECNi2#m~cvD!U2nNR%))6j=p4uj<#TOMkH~Qx%07^snUQ5 zG2Gzugt$%Z9ibIXO(eXl6 z&L8=aWZ6-Q=x)TTjh~`QX>Gyw5Yc$PQ-09&X;BRG+wL(;2VGi$M-$rg%2lfy!}1ED&ZB+a9N1QJ~sjTfSBbuvt$2=#phwNAF(P zp0VrVV8f96G9-m=+@IBjX7?Ie(bbwIDNt1Co!jBq&$(u9cEz{&TJtbsIc3f+d=eD0 zvpVr|jA`c)q`y2;!NYtt$}^n}>%)rE14L1`wJK|VPA2-PscrSKm(QO_5%jsKWQ2!B z;t#NWaDR}*fbAE}S11EMLozm>BYI0Zf{wVCB2-9+w$6PdZ1@=bkoO2v}TutOib$TnN~MVhCcmGPttah z%S938CHL#mM~0Y5slsqM0F#xgv2$(l%-Qygfq3nS=d|#Edwenrhh1wy2)$6So(1pG zEkLF6sU#veDwmdYwb1tmNLQ>zAT+@>Hu^q;Gd(dw$4&d`>?2Vn_XIl?WmW0*;in*1 z8-=mmm-EH)>^zZulv+>CNR5~W<*e~H0EL67U#F(6+^TE|gY_Vd0a+Q-3au633a8UBjU;Q2}$f*w1AF;@)U`p3@@EUo3QQHc2^Q zzFw7X@2l_VF*cay%;?lLuuO>|mnFQVTz_RY1}nrn6OEr8m=?z#!HI9;1dp+Y$~iYN zH-Ld!fg$p6Bm9vXnNM1ay*3n@rPsa%kS(gyHWnX3aEwy-w7>oxZ0Vl)tBcG@>O{Na zB0HcusPN;(-+T_D_%9ytu=rO5e&WN|bNi-+CWB#w-vPyX-ruP%)hb@QLhw-jjjK- zWMe}~#NtV-(*t^gI>}>L9|cxPgMm6GR4b;!O$m#Ihk7k^(=%;oqFvdDq_cDp-n?fP?v}yT#PWnZZ)8rqLgBfU>P3{M@Qwrq|F@d!dSI9He(=F}NTvZ`wfU zk*PQev&Ta45Tdk`8%bj1Y)?76c|E8dS?c0U93k)wHqRoi{d2+7xGAD>@h=z-W(@Ua zkzcyxB&?;c|2AS$L@m zRZV`g>B&mIaZq(i``W+9<$c9)soZoEeVtoAh+4tGew3li$a=)A#A?eUc(U#oNU&o1 zOgW;@7LWq>=c#!_I#+zFFDvSO7ie1XP0+)NXxjmQyHZ~21bd0C6CJbU4VS@TKITjd zypeQvDEFX*3xKR`2o6dSm(52JeSZ?)4RTgoB_ESge&b1Y@{H1g@Ul8)l!EL>Z-?Fr z-@65z=^W((lg|TIt&=|X#7*BAf|bq?YK3AUtq@hW(B1(2~R7puQS{`|I_}orEwfc=_{jPM6xrQCncks|0LQ zJ_u|%O|Y+z+yW}1kH|`m1)X=8ve%PXgmM4c?7YpXLjOXTxG!6L@5dHC3ZU2QKG&HQ zbEIGvJR}YwB7Vq)cK^I(83c&Dd#LB>-g8VnvyzrH(6Yn=gPauP*JfAfm&$A2P?{o2 z5Y#tR=s>mC*){7$TlKxm@?(C)RGmgoYoMYDXrDl*7;Wi~Ws_PXn^%Squ0lNI?>_qxvCJ}q(z=@KKt*sVx)P^& zA;mtpGo0g<FdP-oip<-FY6Zm76eL(>FwKW*80ZDu_QN2HUg zQgljSHpBV+`Jj1R!c=&@CVn^;kLYJj?g3|C7vr2vTV7cb^--0Oxe*Dkkjk-C_2(O^ z3t=6JxY-sQ*Jmu^8Mi^di6klxp-P?dsd6Ri_= zbN!FuBE1{B=Nkq6_cJ2Tfk#4OQ@KA*8TupG3S=d^dmnSY|9Xoi;%_fj?wHaq6EIQy zFK^vHIH={TI8)pOog&gdZcRb9rJj-F5nV;_V_PNs7T`Kh=OmCX`XgpY5Pu@@m+6uX z<@o+OeX^B>QGaO@;6FSH!%%*+A71aA|Gmko>P?*&YM_8xE5oF_F3^AqdVq7})!gJa z81A=#&!=1Czq9;l9>hF9gsa%l@UnZ|r*LC94Dk2NRs#gWxdzX>Rs_>I;3Q!}FXPc$P`ceY3Ec-9O3ru5`2Udj^dJ~YWUL-laTRYf3=S*7(3=LV?QMxf7B0-ZvG*4 z{!_0Fqu_nouRInB&A==}D|84N2gsK0CA&^J%q6NAloga3^*usPY&Hq+UQe=wil7ju zo#YWEBZXcz)VRbtoKJAfR$LK}LAa`t_FGxof$))1rtjZ{AQL0PA5b5PhfMcoSynL< z1)gm7eo|db;>3R;a0n8kvBHf8GXk#-|3j^SaO1| zuw(PNC*9odpjCIs^q&3OK%$G8VRpG(zYAIPh?E32!U>6k4y*p`Y*9AQ49L;gU$;b1 zMBZj!3h$d;)71hV#c10Enr6Aa9stU=wC_f zV9H2^j*e)DV!3dRjIS(^c){tK24(H!%B>?Dn5Gb79myWqkM&u;G3)4=$<;xV{9M%7 zl)kpUg!aH1((?0)PrA&Aqo8#TRMxZe))<$2vq?vLQftv)6Rd?HpPqWSK zh{7Dx`Eu}PtA#F5lO+zuNDDudzF33?E8o)A7MrGsyWTk(FlKT^xRXHs#&veqVL3?mmN z5o2+KR0MW{>MU})X@$xB9Nf(UvSJpm-ATZ1SnTw{tVG7vPZbdnOEa2n0v)$qUy}|3 z328Gc>l&V+08Lxqq0vTQ(Odc0J@$I(m8&Ds(0P@VxYg|PL&p3J$yB|stu`3QB<7Bc(v9W8tF`LFMY)L75kJV3M_Br+lkwLSRTiInksv zqjd%?CleCk0#-A@$%^X4#CEwx4z`hixBQqSj+zL9V>PyP}n#0DtT*q!!ktwPoD=(Rbqc9T@bqNLh>*I+ezBojNzX`RchEw^;R{gyYi)Ii~o5ve*=guaAjJax*)tFBC1X$TU zY8#qZs?z-E2fSc?q^}W7tVn6AD~EB<6~oQkC^et6@F4)3Nt#i7VK!{#0gkF_$i0{J zCz6et+G}d>Svv_I>V*lztk`=$7?9UcEgffovaS{3*304PoS^3PCwq^46(snA9j1JE zAJBc$v(faWL%!O!(%jjnlxpxpp$u~S5+U6pz{*Th?)vsQu0~vi(vMlLXnz^5VN`nHVSHYARPVf4&s*ZzK&9D#Qm9N`jiAO zYM9gSHb2MG%H}j+Q|v45YTg|gMGK|h3dm&qv!IqkQ!onEyo$}k4@XvQEPbSabnBVh zecC`muXSf`H8K?|p32^f6%W}&7T`W9V)R$96jteKqBp<>j1TUFfVs4i2GVoZiG$mrsT+YNSDgKZ!7~!Kf}qhbaxiaj&oEv$utbldqrF91fnP zo4c3T>N>H9W6S+?F+3k}wJiO02{>!S}B5e3zc1Pw+{^O@4; z$k0$ZID#_k0p8h8_Ab^d?#`W=8VCNlZn>M!vr@Xwqcv2tWuKrR5wIM?Tnr(KNc9lN zl)#gwj0{8X`!1S6W$mgREeCf?qN;QO5ItO~Bw1g==p`cZRYSUULp*j?qs=tj!DU$!2wT_!nrO@*!B z0$%@-!KpE+K6&12#%|@3t0PT} zfOha+36E}?n<}X_ZZ{{b#eq+&p}u5<(HaO0>HosCxAg2KeVY$A@dviZ9XdoQ*Tp)I z-uF&A{mN;t`UO7bj~egj}l((o>`^qJ>Bi=%NwppHhrOp#l^=K>TdR=eu}z8cbQ`rSsj|#>sairO9MSW zzMn3aAy>P4FJ>GWIhqUBP=vyJ76%NY&qm>iK#!GoTd1n|#(St?nuM-67^-8}$m&O8 zpX+!R2+5E(S5y6^PAPj>D-OHJbCB6MeaRvdu1Fln&M5MT zm)S6Uv;Da|n`*L=AN4P!diDBgU930A+shDl7*9L(B?R#&M2Qamhp zr4)e#S82Ezr_h+)&oMf+$%Qw{!m20jK)HmpD7gnwgM)(`shgsPiw2Tw5uOfYO@K|O zqua}M6(2D_BEfNfh_oejnm@@2zD#6fSSfv)iuAOhZ;jp7p;3xJz|I#@WTa{XIy6bu z2Z?ps+8M_RlMfLoU0=Eeu~n@L(U2$};V=cTOFPPHExQGW(GOhr?ZHM<7`uqQ9n3u~ z?16Tz4Ybv~LTr5o^<&C^*ifC{ItT~aLG)g8l{$CRsYv&S*h7Qlef08c?=$mDD9V?u zEGPE2zlBln_NCvQeTQG%t;3RU;+(Jn^U#%`_nF0*62ko5#2vmGJQLFP!ii1APBM$0 zcSt?WGk^|R>L2n7Oq0L-xSQzs7EmsE_qZUy-BXhZU9oR{A7ge;D5No(lXCAGx*one zO#uq>x2(C*ozp7b-Dl*xrr-{kNN%_*Ps>wrOEUJF%c`IaPTnTkvS?Ew|H~sQlmFM+ z0$(*})*sTC*Lhb!VoCR%Yrpdmga5FqsaXBLMz(vRCtt|DVhM&E7vDHoo(X-wXz0a1 zlk|TtZm|lvh-!jh^mVPG zM#D(Xh~0}nuu6PnH^6%+Ong{pLiW-iu=FM-OOD#4^XhWI>sT+@&uDmISREC2)f%{L zPx@jysLNK`c)P1$!PWb{E4MQ1BPGgi~jQg*>AB20z43mA)8Tnn8fZTc`8;_G z5O&}BP1yHS!x!}*Y54wo)x~)2Y@4`sbh=jR`A$G0-*EiaXouzp=&u#Gb<_r2M>_WQ zr7M$q;Osa;Ry1AQ8XvT|AQ5p#=DKbXMUWbET8&G1GKTd6{H zSV{XjlD2Z4ZXn8eB(yx}?LBVI6%^-n_B&V)`mqJwFh5UIyCn}lmT3#=S6wDgNHhj& z#37i&_d8||uXW8D#S2}NwW{kTDMxm9k~&2~^mnOHOloZCWx5IA;lJRl_;+(RZwr(B z8A^PRi@`k{#OSl9b`nep1}Xpk&9Q7D@LJB6H1x|m9FljO%kT6j%n#q{p9SS6G+%!d zcw?>oJq#}#1hB0PXZ>B>iv4#vneCkn`Ht@WVfHOge`w3NL1N}N4Sf-)iXV(=qzLiHwi2!U)@k;Hqb-WdAL7UOFxomOV6hnvTrYoAp9ulBw&EUK;jdk8^E zX_Qh@3F&4Ck(LmY4wdfi1_7y|1eER`knWI{ZloI|hVB^OEl1Dsobx>AeV+fv_x*pE zYp&UQ&Dv|BWSy%yKThD_tuX1fpXGOxo^L?rTMmjP6H*>Kj-W&$jcNmalV z3g{Nju%y`htHvi)f_Rm~a)G2kH1u`M?aC*uos@4Zh{X*sFM6vc10;UMj&-CzGCq>UK)>XF0Kc9kaU8@4 zg>~yl$Nlc6m}7E(us=TZT|)wn3zQ#zkG%i~!kFA20#P8h^22oC_;;m=$(>%qXrR*x zw)r#{+Bim$iTzR|>KamgjY}Q|B28#2tSRBvQ)6jB2L*tJ_T3-w-KpOWVC5xZ8r}hV zQiJ;WGXS*xU3mfyIGe5mIuZ$RfL#4t2~eGYhH?o(-T%K|;kTh6?)~MonGj_5zF7? zNBA;OAbRO2_Zo>V^%E}Re~s48mAZQt+F`5yTcR7_Tg3S(8~VWCZ{k`G{~$1$icqX= zF#qVa;75LmcPV;09u+a3zDsqJumF7n#fp8WWvN&HGZ22{pN;#}-G2dbUuyUh4jy{H zczeb3lSgCPo$IuTB@Y_Pq5!5&iv4RArvF;cyN1#KNzeNu_2yd7OZt9iS#>5Uw|S=< zd!Cp51YrIiNct1`kFtE=>mk~KLLv=&NQY0K)D1Z&28eC4^jM+jBEytu%B1EDo3q2o zpzLzhqI)&1P^)1PsRAm0_GZJaA+w!@vN3z+GHuKf?V9TMx>+Pf?Sj!`r!-~a19KN> zQU+df&1wdyZjmo>HSX!n2NhwrTHY#qAfCBmeRB5}f{q0dMYP2_-&k_tWcgUU6`h}E zdk;Y@28d@Ft5xB~@4TBo@f81pTl0VSIo1D9_Bm$(rNxJ_W(`P5VyHZ(;o_bd{Zqo=G5)0~w0R0_-yfOr? zMZOPyq?$HDPNZQ>a}jtS)mVTW;nTV>(St(t7RC2&)?A61Cg=Y7*`M@Up2e&#WJ_-Q zK58nkLBeUYVMapoR+!za$!rYVS!t{rH{)<(PWO38SyIVWizY7UXvg*{gAtt>gaZ^= z5dCSUq}SCz+J`hgC@Vu)tKYD46nX@u6rUqJKkR)yr;OWcj=7PxaI?BJW~TJ>g5C>i z+Yt-}ltldN*m%x0g6Mlb;t$x+HHIh!ZTQ;EN#uv0H7H-^fv@oa*VvkztetCY1NSw? z2E-R+aSbv_{|;GEK>FvidDmX*7r$X*WX!&S>Vz2V4pX<#ZD7BSrj+B}51)%5Aaf@{ z<@NPvzo8`t%?wV+#QwlWB9&G$)i3jZSwqe9yNb%sM+1I|2YXHda>D&Q-qBGe1c>Uyo zoG|&?mY5||?8EX6p)W4EW_C+L-pr!ifC)FE$AHY$NTb=>)`z1HNfQu zJnK&+B7X*k;3F{o)$srIx8Y`udpk5`&Uma6s?XWOggc#Q!D>O=d508ESq7{}I!^{T zdkNe5iS1>{7#GAOQ!9taS*l*jd3xAJV+dy8CA=(swi}b0({F3e)yQB}$&D^hVI$HY zcT@Lnm&Qs+^mhGFoOwRY{ZoV!2qdWcGxV5X7 z=g&F6;|%}m8^H&7^~ab;l#G8O+5qGAUq`tCgY910pK14y0K2827v;yBvi?&i1e!gJ z{Og4@eXpcPqDg-upU{2_$<+Ut>T;CflMm8z{`z1M+pe*{`IEmPfxm;Q|E#Nx=c)XK zrRZnAqW*uBulRSixgRK{|AuYuukM^1zfraxS%Ka1VV8{xfR!!!1?>k%tJ3dGHvbum z;m-}_fBjznU;Dj&-u#2K+>OryHJpbI6BnWyoyEF^i`f)Vkm9hwi?mImUc*-|GzkoB zVN9cXFL(^ZUm|%)BIi=Yabgn~#VMy%5LGra_~3uspNV1VK-2P~{~&+Fb>fPygMRCYnf5g8&9ZdEVA z2g2m>KmD=FtU8{0j0*kuj?FZPYUynE+%O_j-z8nOiDpf0>^=DgnshvN#3MXYpBzk8 zXn4aB7L{<2-0a1XlXDFC62THzdw|C#U9a(A#B+|~$^{e|6!!ZMu0L9&paGEs01TIH zYUseIzYIhXq>celZPMH+Ox?);1116Y1PR>LbE(WdqH(Pf&M(1+r7S8Y`?HO~sn5!x z5SEF{$E&@P@|byX53LLQ3idwsAl`7Bk`)5_$zlb!+4PIDMm@_jAoC6~*y9@=KB)Aw zw;!F`-doZ84cnEz1?>Ca#=S`!jXFb0onB)uZ(7x~^atRvTyL~k;^VXzRSXQ{$e=I5xs-_>1u%b(r- z=pLd+THv2Zao%o!)(by*zhB5YMXsXbX)^TdFoWWMj!^K2sM0^6 zGW`8oMyn!S-Or!9(g2eo9S#uSYz~&_oNWm0gu&}YbbsamPe2rJvOzonF0;)MonOXY z{kMrD{{j8qJa~>5V7c|fi!1UGkAn+w7&O>!e-EQ%ZSG2&bw~YYr~iK5{F}$galJJv zKYaE$P#pCFANI?%xnmUh8!i}X77KR?yI2BwL9m0qau1zyA6X@B*&7QeJ1q8JnL{%j{RkV|C@pSO;X=qF}@$@ z32I!41ZmzQb&t=UYdOFK5jsC&wux!|8y9Z9=OzQ_{=*lU-DLeFY4s9tf*61gODHxu?i*;2!?U?$sBvxo;6MjXn;wxQe{Anb z)tyrWyk~y;nV$VCYpacyvJ|@oWkqL~b(cVpA}~E7;720`OMe#yMUM&RrX%3rrI$kU z=FFPAs~__3?A+(BDApuy$v2x#Ely15=_L&jD$PG5_Y`vpyJTQufO|3vaRN4{(Vs5! zqmkBs(1Q_Nd~SxbV; z(SHfNZ2q!#7W7(*gz1#XXw(K0a)e7_2qT5x+(}lF-3TqdZU0c3btZ}8A4h1|*-v!A z*BG%fq5?d*U*sEhs;sVZ3D@>8{RV0s>}>g$jY{qMk&Rva;Ke2ebzv8LFmqo^rBwss z%>J3BD+5-T1Qqty23!K+A4l+C2$Eb2AcDXH=oPx9zk!mw`+Gf4e{B|$iLZ2^1z7FKeRH%KVB?J-S8zluMpqRhQoh03jh=0PK)qhEG*tG7~yz8Y>X-D zWd3NbqxW<*Gg)%j0-zIk#IY$=2>k{ck*B5ygj*mkv7qvIs(OqW9nI1~-M7rRfFM8*aYUqfP^(ZS?Z!)HzR zq~*jCDk~QoOoLg|lCxtLr^=Qv^V`+pKHCr9L@+is%dx05Y7U^vW^X!7#$@Jv5hMK! z_RW)~1|e19qRl7xhM7Pu7s2e$$9FCTaAsYd4w&Dkv@Zdy8OilNHw%J4=ne`}gGaK> zD^j!Bd5@f&>2^g_UG#8`2b~;SOEF94=46i3H!3OYl3$g}FA0;iCfzFw(~OtI=^1V@ zJdNQlQ6xtpl|7zsa@#--F3MSx8Q2WQClwkR7Ts0N z?A9Y7c><3Tp$d3QhI_4!KbRf+V^RDX!g|;Dq@vQyO~SjQrJC#G4AyAXAtgR6O-K;; zw<+j=x${e`Sk;4hOz7h!v#SfV!aPY+Xr~fszt0m5#Gym5UUQu8u4}j&Xf}nRC9H-b zIbB6ZMb*F;G+jhnJbFk*p}O0$?()W#P3)LtAg?=ojlUYnYdLP~ur@zXz`aOAV80AU z)Iv8fA^P$2HKdeYkfl6RMZ7+^HU3qlpSCetkw`ad)8_QWFwEjreVPBp%t;G}DYdx| z_rp7=s7d}+3`>IPhD$jH^|d&YD{0T)d!;;)n>&%Wo{b#cVZ0PtFej34tcGa4B9y3# zI4NT-knSm7+YYfK%Rw6WTFB+JBfwN>%s`&&>Z%=|Fob%j%R`>IK`tq>nN)(10p=qOmIbx|qa=f`bV z8!y0Ujz~UHJt@eqxQEV4N2=$&GhS}1Q21d{{^qIASaY)mfAwAQ>WX)_yRAc;BDRIs z*N5^%92y>wV;8$gQAAo=cyH^Hpm-F;fwpKyx9$zh>Cit#nJ{3?<1W#)DH@ORPRc6X zuG2R)zlzJx+EBsWxb3{#f-K!f1ls4e{{)L$T8mNMee9&+d?7jN|6bnR`^5iTm!N!+ zuDWDzJfN|(KzTzImi64LixOFv!pS!T4fG|TO;J|BngYwTc;{v9?8M_jc}2&=LjRBE zoI*IVj`)t+q(QSNW&-I7Di6R8u+_|{HWyO$oM8%u5bY07w3WyD_N`E#I^rXg{zy%| zAuFR)I>bob(D+`|oSd5%d5I3mJJOkxDRYEqEPQ54lG;ZPo5VZBhmCKXX0bM(e+SR# zoMw4f!uSsNxVEjIGI}#J*v7UalYilA+SoY9D46dl$5f1JqAH7#YGeRakqc!6n~h-dt$QE*{s?z0V%_UO&xrh9F40aQT(uMnyRUl zYLMIV_KXiE$nj8xdl5ZR4*d8*+Njx~JAc>oNtBs^Gy4f*aTDeZ zhqSbWb{u#omJ&@07cnwmME4M7zbgS0v@oR_#A2q7GrhN0|pbK*~$2 za;_82pD^~IDy~W58Y!!KQmoZMjQHYJc$=IsRilajH_)>^@%V-JZZcfiNR$PNQZJce zjm7V|!)vRNmyik{AT<=ssOSup2?so@hX7f?)>ty!gW^(``A=?l-TW$U3fa{&&NYeK zuCz(rhR@Lym`%S=7iLKxE)pz5sLec$6(2J&GGktf(Z9ob``I3R6J)Af)&F)t!aS|5 z@G-KB-eCjQV>D;)0ezWo$Oq<46`8 z!FS7hH%=}Y!kBxbE=>F2-F-l%h?z>>&00&|qZF(uSipt+mX3Z^N7U+7`pf;AB?H^U znLS9fK{dK#P1)YGx~cYbH-`Gn*W}9gmvLdUB0^5*M+LID9WO=&kU4|HZf}^{gm>-U zTx$;XD{ib^hOA}X0J*#%_^{BuZZCwnK3*Db5Ql7dPnQWIYdnDPGo@QKiDpkZdBN0( zwm~hq&*p7-4x<&DJhk=k0YRm<#G*#G{OwDH@{e^@{$Q>qSVWdpj^tSauDcx3ZVI-< z?#WxTI+-l@npWxJ0M-&|kUrHoGUN?;{RSp~8(~dSqjP$jsWa(VYWHWxm*P{Z4<~J- z#)mVlJh6&i4_@l#8QrpqQt#<8UzWfqP@#Sq_ChFAXE!O=(|S)xr@X46I%bR}A%mHL zjh04%C1d`jo&svdI5^!Y|LI71Z7*8iq*LZcENC@>ZZpf%N7zpf=dCrl0}AUzmwGJ~ zYJ;__hRtC??-zrkNdhO)mXVqhqT=KOLIpf;mmdR*nIA-#{azE(YT+Vk7EqtLQp`!S zfva|`oFuU52qr31iF$JTOO_RQw;MLjdt6wwuoKLDWOPKvcf3%jK1;>Ojlr_wVteMh zIpzhX4chBR7F(1j(3ov?lW{k3(C&QaEe|LvoM#Pnc=u>ZQhT=RCUta{)6#Qe zjr?#HsdE4j3-}hVix$&o<>qR9J=bbawNn*EBmy9+Us0SqoPuxk*E8VMBGz0R0}>QYiV3Y<*=_sgW*ZA>|!U9~Uo=kofty#1fet zd}>iX0BXKd_`2fVr&Tf1f}FGWzTsF{68H$~1pOw0^urvMxawbrrsR)n_d}=yiC!^I zA?SwN?w^yhYQ_eZyX&f*`eOSX&WLLX;x{?Jre@{mj*9SYn#ULugc{}myu5g2=vt32 z=hy@gA5J(F%X93`&Tp>)HLiQboVg(ax-Jb2?&M%`cfRI1L^WtE8!J7@2>HA{dAUw= z5?gKMo_R$=4RkC!YlbC+b8=BkcOWFv~O}{Jg!t7k8q9xW=mlBcj?$PF%vx9v?xb9Zp=c#}t~U+K*4f(m5ya#(SkE z+PVqslz+bJ!^w=+ojzI8+KmgXWo;6FO0aDAmBAzk)I4CvYZrz_8%rHg|5@TdPtl>Y zm^xtze8sOU9+>6SAvy><{G#$Wk_Q2;pK*eh`oQm`a3~1WKLja!9d)5)rYt*0H*u%4 zqhX#Gie?tc_^b?K^%kA=5HaN=kZiv7y1q23xAL8Z#H0#Uwy3W#q0uh|8yV2m1`F-Y zO(nwXMCD7~O-sK?+_^_Vi^A&VelZ5K9T#LRhU}Ya@XLxSMj}<{>RPTc8V*zl_YZkJ za*CCJ&+ZBl^&b6*fwIiO*0C^$> z%?uuGlG*Ue=1Z0|PZ{{=J*1Wxd^eT|vf(p)vjc?*NZf#JDG3&2<2|_N(SOz=qLob6h!G@!s)uM!;+EJO=h4##V$_OJ zWO1p~Z8#1#+4poK`3&pr%M?(l;W!@}?meob4c^jlYr&G+;Wy}6B5nr|_T_^0>83>F zl*9J!GzBv1VwCu`j-c(OQ<1{BAkf-t%RA1wt8FP~uKrh%y$OyT-D5TM^l2u_ktUJG z`COKiA<}y=frmV(JRO_DgkOKmfEA7+%-|U%m64+>wpq183$CdSKI+>0B7Rgk$S3ED zp@_0{?G=vaVsBWD52nh90&hx=-sDx8YL^nQURRIXdCPQo6Pn~|n(trzUIgEv^G+~M z2XdHnza@#fMoFTm^yuNKn$K0*#uQF2nC*Fj!VPzJu@NRXskSlO6s#eVBtx|__p{A~ zb02T#j_eqRtoY^vv@im*VRN~%LOj?d1pi@`UV^pnY|W9rJx0MDRlVCbH#1YP_+Jd! zKXB8cg_4J%6eCw`;u}+U`A_@yabvu^u)TWuv1E@cI&X7)>1kz>=_#et6ZX6`KEyNu zQoK)_O=s?#RcT&4%-D2q?PQGObkJq(J#AJs^0OM=+#xxb$7(LqFB!9w$I&rS*Y`0Y zta&RQgAIP|l<_RYXZp67Jzh`6@qXWYbSQc_-#o^sJA-0?>JaP*-9F+~B6m(WsL2(m zg}y?wdkl5VIE5T<+-%RyYo&sW@gm?*hR|>GAfG2id$#h49i6mv3<2Ra7xM)X!XwgL zMRBPP-PxL;2MEPJ#W`SM&^Ya+cIg7l{ zs!ZDjPkpjZYRp4la1fB7QUIW*Ob6QUPQ z?V^V^^!u6?w_V&m#D7B!xfCdA@5lj)JWG-}yZ^LSu4xSkTnf{6PH|%i)T^u7gz@0xer8b@XfmXIBofm|0+d9g( zO?}tX$DRV~G*)5c(e`|`kJAi+FKa}}LP=AIAyNWfuhNJIor$_c>{aRlFSKrY>%gM8 zmbgz)-ui3|9o!}Y1-W9=ODong`||-5Y7dn0GEC`JPjr*9T@6jr zG9r3O?J5epwL3flcfZngZPILDXvZr|1CzJ>>azbs6oh2x*4?5Q{zU!#0bN{^;2yBB2b@(+DZN(Sh zwOu|((vV*OF00Yz%B+!IIQDDy^Byr;W-`XPXqvAjXfCVK^*ywuH0?Wh^W%0}ZyhG%aRr#B)*m)K zYK|q5iL7qY%03$c)Fqt3qnt9Ru0+*PA%;j`{D!pE3|V4 zSrO~TUR2|IFG;;zt;FelPw`rb1R00zYhj8*>#0t&Za#0!&0xYr#O-`bktVCTOEbDs zM7YyV;w$E_Y#NPBee%S&kWTpb&W1U5C^q>r6#7l)FFr73nB9t;kKXk0ShFxf?0;KF z;Ow|~^HL<$No?Uzc**AL36si;g)Ge7Nf7mfU?V11b8-*hHC~Qjz zeRekAJl-%C`vTTm3F4bWNBkKDsybmx=rXe~R8GdGB`*02K2%-v5ispkbUj6CQ|({Tz$ZKwkY`i;hq zd*b=d`LtuM&I?hU@e$RJ-yuk7l8(WqbT;5%8DdWUTK4sz0#w_4lQt5oLastPX0-{hVoZ zau@P3|JJBtTjGFBKqTjSbpKN?Zrv%)0K%yJ{)LFb#<%v!BeQcb>EL^WoBP|hR+fl6 z2%xVPUdyH17fdtF9H-;>7=$`xSnHD9c5#hMsX+}=l7N5Gl8}SHAItqj%GO20MeiLZsA{_BjT3hU(d5+)92Jfku5Ok?gz>)}t9v>I=0Iq0Q$ zn$9%t%*U;lZHj*!PAPZ&P^it>BFj$b2>wj##q?{!fJ&5!db@AIoKxZv*<+qeCwQA) zL4j57fkh`7x|b)~;g!^*mElLa#YRK0CH=q*YWiYgM%unC#!Wwc>g0=Sf}XpHmW+JkK)Lyim*bodVUL(& zc+;zso#~JvPWtAI`Eb(=b3Bb9d;ZN(L{}tB_lHTU z%%bpZ(b0EBn&)@J6nERR0ncMSmzJcK2@yMEKVw@AXG^}h0(-eIDHVrdvrTL>zR4`08H zHW0%L+rjYsqRqUig;Ipf&BwXL4IDw|h@JG{>YnODd~8C#h@C!rG>Xpu)GK z>(=HAX1h7UO|GI>uJ)N~>QA|Pjy-fcKhFTvteuNqJXid!k)C=^o|1JV+jg6}2E+2; z8g}UoYP~0lDbWkI3CgpS;_|uiw zd~Ddg{HQUbrg0T6VRZ|lTI2Vc7n$5vg(DtQ&xCE`ZtvyORiQ`xGP2G1cRuSTsnz#O zgI0%IiRN|-1sb{JVMY8G%=~>opwwY{tq@kXHkLkS?^iy~bSdNv)lpMZSErJ-2011z ziZ*qFS}|J=3zbug7)Ot2J^9 zT&TfZ>8kGJ)fS;xn?^zv8w)wP+a8UQYM=9k$yfeH+lX1o{jZ%e512-7n_xcLKQ>2i zcEOAuo^-DuigbOuSFbB)m2pTnUT$~nBKL7`18<||jm`AT*)ARe>`(hWh0lgIU4xc!l^?TwcdQ3D%k?Z&LP%hb&1Xt3U4R*S#mGRq2tfy`u=^dbtiD(e3%CQuq}t zRMqY?>ovOG*->O_dx71vkwOtq4BM13ES&nX8K>tWSDU+GH6!;?^OHMiXc;%c=m!)Q zmoS$pLA3okA$?<07nNtFRTr9$79X%#dCglcvUx61)yqv^Ey~o3Pr7TvhtOSZG&+a7 z!+2{gnZCFvplFBPfI}Cdmi?nUx}_!cN~Ac_!n$5o@+UkO>7eCtOVv2qFzc+1xY3b* zJes4<7?wAYD6D-FI$5R`zi%!-H<>?uuhrSFc{bzZJKvdGJ_y@h1`xv?wpy5+gEXP( z5u#Lx-|b7+yP$(Pe^g8F9SwQOWCh$#hepRqE|lZ-^WjVI5|hhGyP@zXl<~fv@_~S# znGX>aaxnp8GA7~BxeOFlvu>!azy2=b()tLgyRC|w&^*tfxp8@LqT(w2)Cav2gi3{+ zlmWLxSW7}3<0PYcF-jpfs6R6M6h(E;qKEa9z}*cuyoE$VIBsn}uE}w8PnVv402NKb zLB~tp&0dRBnNK>q!8+R0-#|w0`7mM32D#oU>Z57fv6?Q>eo@Fb&;c?~Ip`bcLatWU zv6aY$a+0Yqz%}=lLJU`zT#s%c!e;VNzEl6Fr7m9P)B4s*x;td&QF znM5Y^Ydk>78=_Wn&bsnl4ILmqdU}04mYu{Xa{l(x;p z^T*X>B%BNjWVR@{CsbQ8RrcTzxflt;r+})l02MdaXmN2rYC<$l#W*GIwxio?HwEBg zmHtCx45oHCEx5=}$nX)o=+&>?zWdnz8lDS0qaIUXm1a>S=i74!aG@)gFMC9x0`d!2 z9{f@TWecX(tb|)HKE#2)ATONqP?ejR&S7tryUSlF_HDa!EA%aKkllhGv)vS&4@wgx zk#csw(O0_2FeBU~BCKM;+s7uOfXcpTTD|4L4DE%+&&pE7C?fMba%=Dc*gfbg?bDrt z+Z&il8|#NiWXdXULRSSPU%c)Zh_rEiUDKU>!#%x&)hYHu)S@|i3od8tH+53!DZTjs zDf%=DsHBFH{S9Q+cxa+*=v#iLtjO;;)=E|0os!=h85C>Q)e?d<47Dex9`szeKk%rm zvCKWWf8t^${upL8!^S>LX54URP-uZ{!2A$6mHwI0tv8;%I@s>>(Gj4sQryv!H_p+V zJ#|(17}PhD-Ls+6)3F=k-Rle;gJ#a18mc!oG^*8!Hz&hGi z5+!J5#u&_q;GzGzf%XwBf|^t4sIe;^2E_R%)W3ZBB1=0{$*NAf+=6HwLN5G0wzqQ0 zx~OXALC{yhjxu6*s+Gt^F%uhIktB|-Ii~El@ZeHnfxq748%U|vT=XQAG|AvG0og&n zj&++0mhS=yCP_<&bR>_()3<}ua`$n{x}@%L-4Z})S}V8hSa|bM0t^iZWHv85gXmRE zgttulgZ4V4LB+eZ8ug=PByWrKo#Vz70vQsD71@1Umy-Kx^SXB7-uesmOlD@j1k+kG zeQIA$gu0@n4tSqr!_)HedelBslwRr zu=vTHK`G%c3ZQn6`b}Gv8dowx_&#f_&#csQ*StufXpn6ZP3$K{6Z)E|$KyFwf;#W@ zkOu1-thY>cTgKH%&rRA=K3kZ-UeXgVryC&`5j;ws2MdzupsUY#k#8KiT?9_WM!a8( zf;}(K(H&~IZ^T_;LKUTO@UrH`ymSiUtrO&nesJ)uc32~Y2%)tkYmYFy0o5ZYZfh8sn=;2*T7qkm!PY?T^T0V8Xy-wm z%k$V$V~3rb4tz&_PZvt_&&dh^3c0-yNPzi`cppW%zDVQLW9-)Uz3SxtMDr!cj3}!E z^7qhVJaedSMQB#-fPJ?SQEZ&dvvSnj7QCSRJ)C7o#}lVCcFCI78&nuX&MotLyX*?5 zzS?`l1I)fo%96T9TH4CB5RtnPK2s`D-at8;@*eJ(V$G>eYX28lka}Wr|IET$`Y}xG z&9h{KN2m~nufg>jk0`odOgpS?M**c!K9kM)*NJ6L7G}G;zRG29p?0)63nTIC)VD}q zhYO?Xi&@n;)Z3;zsc8G3FG}s$1?mOrMF$IbSHF#P=B1+$d49yCxF%6KP=#QeY z?YHs1`2=0_-k+8oQ?M%H86#Tox*77sgVa7i5WPpDRLM#A#G~@2Ce@}k(7|6Tl_+0T z>LFA`NEe<+``**tEz(@s*=7!2Uhp{!na%(L#b3tVh9I0Wo6`a{p0v42T2`~ z!<~*0vj<>x%(|JqgDVwxen`0r;@1)GLEUY&t?~>st!au_loIKkg`oc^{Amk8>5e2?jF}uW7Wny zDOW~z2@&G7aw;5ie?<1U8A$e52vT{VICfi`i%irCy^CG)OVHBfQ@cT%e9pbwYUI_GN4a zomO029L}!Anfa-vEXWpl;0}>vG#kwRn2HXiS_j+n^W#0ss~RA68>Re+nc%C7*hE?5 z2$hdjY7kp7510=PG@9fDg)S#K6Y``hZf{xPV@c)l5muTmlCj#Ob4I^1)FU_Xk^@*f zIenofTrPbL98x>?eC5g*m`>s!=Zhj&i<6X(Ybow_Th&@tGAY7qNDBwR(DKrjTVxnzPtdTU^@~(@u zqUK1X(gZn^0$>!o-p804Pb(WMs9X3@wPwU!DXfQ}D)CM_tra!ezKaa550w|mIA>i2 zQ#dRm)03Pm8r4hPflA_V%w%UO)fu(b@FYYZ1gdZ;p4?0RLhMt?%wfiI{uvp$$k9xxM@!b!Y)D<( z`p7=KDOmd@Y4Fb7$*BnmIE48T@sni!orr3IgRl<7D(F9k<7o>bO)KCSja7BE5YuWZ zh&-jD7gl<%K)&tDuLf6_^R9v6R^r+SD) z8&kb=cQclpe7CLbC=W?+B@`XQkNSve>TJ=AHyE4rG`&@Y2+%g}_Q}ZDAmDutxVJ{p ziXw+?vU7M=2;lCF3sd$Vk<%EzhA-iCUSc}m@K4Nj(vkeQ=O1SGXfc}I6V&u9sCZwd<3kl*9O4zOEk zXb`90p?XCS@NC3xTZ&*tCEV%OxZG)U-sIfvShicbj{%(I)TgF%?>Nx3CHba0R`!je zpu@N33(4F4X02ZQ33_W}?Y3I=W6*5X4!l{N$*GKV*0N!GRPqUdBZ@@lopy$NTivWl z6eauBvUmxFs*VloGi8-lC)$eL#y9g-$g*U`5~w*ZBYcI)i?4FCuPV1ZEz2*It(Tp< z8{ubt#+ID?nBa7csZCRZD1PLjJi?AFd9awXd{`ZC+Sdm1Vavm2Mc9f04Q`CFw_@8F z*ao5V=v+zgo@TFYmXqN24y78?<>y=QJ)B4*q%li-227s&4fPe}*x^~uFSvCJ*_^Yd zXD8Jj)7I4Z-wcz85l%ngT-71orZg&ht1M>BP6b01dN}0^V6df!_B#AIF-?_*nHd-T z&zRB>Wp2^#cVnzkMSNNxu>)4uNs~DDGs-^r*fK=YU*B`tWX3tnuh1@-;;zIi?f?pj z(GauzlI5-twC!a(QY_ZE!;Nbl^napG&}VMPW^ZT+&gh!kudEp+qcuz)wM&qpt|$Y{ zS28W+ctAmgYI9NX61=MlwfhGC-1=b-O2~%fE#>w~PokQ4yHe95q)U?Kcf|yQKucv) zmN=*C)9V$Jb}kLcBzWeO(*=s+8Ed8}^Gjd}Ac0SP_%KvPVGqOQxRO+Xv(A8@pC{Qf zx^{=1`*Evv2f^^5FuDDLOs~gKhvHq2Xu?#a4ZJNOBOKy*M}F@OK62ho724gHOrkgQ zL3IA^>R@3LMMQ^;$ZhHzaFtM|J)d}(W!jYNjnb}7#vT4UH>uf4!&y)XQiVxnXR_ZO zK^;XKs)y1`DoU!R_uMn}JR}$;o0^(H7)i3S?pXE5!QH04DC62?&T6ns=htD~qJzXN zunpeA<{(hpZdR0anv=t1`^sqM))GuzkgXuxSZhdJ)*l@?s>C6=d@(% z8N?~_Q;((VEjl|W4h>H`wgQ&qy2{ZE?)HvC>1bK)+td+rB+9^%_bcKXP>4jKnB_BJ zVs(B0s>u(HW0nie9V;D%da6&@N8=qCJ)`-XYryRR>GAxrfy?ZlXbPB<}Ya?H2Lc9q8Q$i1lx!kVlNbuqyx84@vb!@*J=&Wc#A9Y}hv-u0QVrizj>cC& z!HQ1P{BoMDIZERcLIjt8mnXMSY~^Sj))_Yo1poS~1~^P}XI(=nn~f7zG9oALyuXO# zE!eqvYU~Eiu93mao}87SH6n`iE6I~XSQ@IKe*pTK+E>7YBwjtdV{dw~7P!5$?YK%Q zsrv2}5jB=@uf=x~zCbtr<9dyY7g<2HXK1$o{Cz)?cTo$_l85}_m$JLSQrA10aU8Dtcj zk;xoM_j`9B3=Tlx-%b`~Q+Ai{Ym^ka=3AOD8(bwuRfuH&9@gk%OLP-pFGmEpc;zeC z*{GB2nN|c5ko7R&(O(9IF~dA#8Vu&xksM|}>;&2Wi%L~Lb%Ouo`^Ao#c{#&Fvz_~D z&=nFbl2n4%L7;_>=49+!QU{ioX*RD8+WW6ig`mb?XKxPMVXDhqaV;L>+-sR~_D-W3 zzG2&8VXMW24^jaaoid2+kv1>x6G4_i0;eRV5j!Ikttz5oAR8BzmU>j_dX3&#BFCGK zR5Owk#z##c!%bCBLc8uOX(npbFVi#l#*Sw=?6AHbLnMfQJteSc$+u8oaiu*9aik%r zMAv2B4sg@G(@|k+s~T~8 literal 49021 zcmeFa1zeQd*DwAcB_)C&Af*D*A|;Z8A|=u#ost4l(hQ;qk`jWF(hbrfAyU#YgwoyJ zF*Do;jH90Xz4yNN{_p)C&gYpk^UR*T_gZ^DE52*3?a`;BG2rYSF-b811qB5#1pfn$ z1_2S^GzJDH2Ks4COiV1S)7ZE~c(^z?xMYOq@QEldP*YJ}prE)&dzJp;WfmF=3I-lV zmTT->TwK)jyn;741g>&&aU6Gof`x^Ji-SvwheyhBiQ*E+fBbj!9w0b<>K^JGD#~Tx z6afk<0m@MwKn(yW=-_ORC;asfQx=x{?p`u|P(}i-%0lZKN(9kcjV-Vhy$JDbvcbVhy zX`)-f@p&~^G@J@+#QHW}*ym}v#_86NNjstJpAqKyU!v?gVZYHe0N|pcfQyGp06>7< z1BL_-?0>I+dGO!92XbT^2C}E)y9?iu$K^|<5ACzsj&M!h*xmO6?88*aAs!W(k0NCI zi+pl>?q3O+duwzAm>2{racfkc)porWvN1J0e^8W(@uK1G-EkSLNeW`#t&eZ;ZzjAA ztVkb=TkaNfucJQ#9xu-y0dCfs9kp&!iab2!mbvx9L30M|b4;8g9spgL_DwThcrgW{&nO@ta+ zFXfV>{3*8H&kIw9irNJ4U6GhlJp!Jl)=3vWDay6M&zmSO2N-fN>*PnwbO;~Vh4mJZ zGplhO0qkDMH9<4D@X1uY!6F{*HDvnuGS#FC46c~j#G0}HjK2)tV;w7oPu=bzc*?iE zoBJkod{Izl((tl|edOI}ruERKWhGX)^>}7fjp_MZl(1;rXUg=SeQMxysBaR|%`OxL zhFMe%LSF8?zRm8Mv|`)&@Ww$bGrNG*csg5s$if;~iv`8?Zs2s?B-hhhA>q$J+d*z3$fyqP#u|CQ#N?;Gk;0&lXzT=_V(mWIAD-p@*T=`*U&>l#f#-wwx!+fHJXIsUvHdNkKQ2Dm}d}Oj;M9C}v^bTdc`NsV= zK)2+nfLda_#kqPynao{_m3|s3kC@sm;_UGlZCO%B{SC@n#J*!>EGx?5Xvu|U)q;1nI`Pb)|Q8v5n}Zg&a=M<5H&AejH)&$N#P)QSqkT)1ory_4~elzpkdFw+Nz>| zd$MED>dtN1U6NGfQ_S&u2N+SAqkD1n^mqHuyh?W;d|#yIFdauJ(ZCB|EL*Gcx5Gc9 zHlOpc`*zaDrs(suq5cT-sN%IcQ7!XH~>DH>g|sy~zu0Gqjl>LVkrDzNdlJ$PO< zFdKRTtZO`y!G-H>{B=U-*0~#AGRscLr`4a`RPUD3!)_*tNlG*>IRY{Yw^#8OVS672 zwY!pGVYQ}H7Vp@ahU(T5yS$z6_eD)+%M3{IXN!mxc`7r~hNsgA!TQNd-{9gCIC?Bn zp?7-4q(%@=ch|6H2zB0~aMF8sO1NgZUb|PUD1FXm-uOL1{W&p(%O!d4bCb_dQRA~S zN72-!$4_(dt3{qK(qkdP451_A59+7i+{sYAE_9=JDN3p$LaNB~X1+@)4vGD0k;}O~ zcOsO42^an{0qSunJTTGGs$29ZlteeO`0~!3xrZcAvnY_Q1)~H)o#tGQ2tUf9i_tW-5k7PYN({E$AKrnxiX0GbX^MYS$64 z`UFYjlsR_9B3RN zyD=>-^qOsmdX;UH2>3_N-ZwdAx>bWLs~)Cq?L?jXzs!_lB9Ce@XQ+#CxK=~PFLG!6 zrqFAMh@vXlIvY~71$uC(gFu<*F}$yxm@3_7$H%seAV+%cQ121OO^WXz1CD^3F8FXP z+4Wqkgv96#Xpu2IZP)5A8U;Q?_Qq`_4p*0KSsmbff{xvR22c+k@F38aAZv7xhKeh` zytRia(B_~=$kDFqIW|4ePhmuIL9OOSw@BU|0q?_(fD3Dp472#lYDWN*;NT%t>5W87-RnYBCqg^5Ymb0aig5D}CW+CI-_1y!d$ZmRUztpErDh_QCUT+gt-L6)xQQa& z;S8JW`ZdpkAH=hflI~$iMxHJpVNp{=w;m2TZy+x zOh}g(Y@<6dokXqO@!oE72Pi5RSM^N6h$EZ(n6q!0d%Z~1m$arK*sZx4*etuQ;^1r0 zo4uW_aqnGzFI^YQctEYXxq|uxw?a2Z-BU~&dVb$oE3!BEqAB>>ZOA#KQG6^C$4xNz zl@u)sT3ne|l0JR{1B<(dvKHsPlHR8U8Y0eVrMIp=m@av+;iyI|NwJMegpw-C*?I(k z>|_$?*rDEdgV}X=6Y>dUG$+Cvo`$lecyc@OYa5XIj*~A=+IUd^`{REZ_TRfnG>z-3 z_eofffW>9#7G_TE*Nr&oPA9Z_Mk62#(%qj1?%#PSgD5gMmNS)xsH_3YS?zk(Rv|m4 z&yJe`wcYRh3Sm}oJnOW6yh1prNj|Vyl?IDZ0H9mbZlN-Gf|3);W78B=s=hHwZOw<&?My?)9QzW_YBI7sYl$fJ$mW4J@#bv3t0gdFaoa#@CZaZG*ZXhQN5Nd-4p4#U`wQ$GzfO7 zQc^45X#l(I?Gakrp6BBwCCbH5-_w@^@V9{uZZ{fdHCJ*Sten!`4QMo?=fi`U zE^4N&xJfQbW|Hr-S9fFtAEH&`^1{E}@Y zFDPo=s@a3jmpKU8xL)OO1bmP;k6UqjejVx9cF$XR{rn5zey+Kk<#)sLW%{wpWV7o! z$IUyu#XU#w^>E*qex<1+N~C}rkU=wAm`mwy8$J6b8=C=@srHti)LPF4IgB0)g}M!!(x!Q}gE-Fz_ELjQv4`@WBS(PMVAj|x7M^=3?z&3BFHvN=%TOcd zP2QjZOdbI65LlL`UW`I?!P|shLHcyQ!6!J)5HLToI* zHA7;%MyMgX|0P`N2nY@wMOKm=0V2-QpDFe-+5?2_a-6Au)WeBCs>A-LUGnWtaRUWN zC6|)FY9)RHYSytYzcTuRCJy>Ri))_~r5HzKg8Sy(&x#oGgBo{~CbIS3$vOgFQZ4_e zhfRJ|?J2der0i6 z?dKT5?y*3GjJeI#c55mzcck+yC3AaXxP+nF{yef*G_<5OegU%%gbT;VPr6Zsr zUz+AaZLb&qCVfU;k0YB@;GkNCFOpbej~Lgw4Aaty)&()zUd-ia{~S3=?bFRuNb~s0 zaOI}|qsDBff?-Wb+ntEgm#K?01tB9b&OM=Ks{QQywj)E$al=k(-c!=t%;XC7AEK2M zoON<`SG2p~5TP=AyKuq}=~y2*LO7D5?J&EGD^M*=>81yp)B3H^uRUAtr*(hXtf4)u z7Jj{iQ&?k_G>JJbhlw^sB8gCJDe#O4V-0lx?ULS|EXHQe>0a&Gl)1HqT>_oP38jE+ z>ld_xkNas2-qbs_I&cnX^5&IBvV@=nG>4N-CZAj2`7*mZal;`hdi&?(XbLTJ{FQsA z)nrZ!B|K}+_ED6-b71chW6C}sXV`r;>B`K`y{R5UqbWujg3zr+4H7v?mU7T~iIz8g zakG3F{w7}L2GgghBj6yjeL7q+*_19gDL7CqdMb3qOpPsP#^WYy&nos-KoXt!xa_Oa ziIDQ*7)TS+J=ytys>(4pe*XPJbJb|eHW+Cs6!iEepZ>-$&oy;3cOw_fuCrxg7XzbI zwP`eYJKXxEN5EOLSc;Nf+EKx_s$}dZtiAqs)d>b$FP;@IK;3$SIV_cKuFcfLmBww# z^^xUrfQJ`RMSX+A{pzQ7?=!3Ldo7DBF55a?mS!#L2_H4N=@otT+L+y}U?uaFgZ6&; zK%8tB89(L1&##L3&(;)Ex!Wneqh1N8`cNK2e|W?6MNXLRA)&wc)LA8WEriLb}1U_?f z)d%D~9R^R>k(jNM4B4zy2Mr(83@c%MyG*BOt^-1;*>>)H1qH>0u#vuQ9NSC!BT9O< z?-w7d4NApwnb<1WpBs#?m)96@@L^@iqA7_G$uF~OzyI>4Q4@Wv;QF4b$b{0{!nF#^ z1Fe|K}g??Jw!&3k!?0CK+e_l?3G&d$18Bf3#$w`OwGOpCkf6GbqB z(T9tMG;%Dp1zS@o;G?y&VZ*vp!?`Je$kezlEy3c~_wT2fsrxU`!LpJKy~u+(XQy=@ z^7r$wJTr~Gm6rUexJN5P(1Q}4nPM|#tcVAWa|F=5^hOjO0bLf_E!x~;I{Oq^kmXdQ zpV^Lj=>r#Doi&}@InUCL=g^I-8b?6?z!5NquN7k*cg%9lW0n_zET_uQpuEvBCe^u7 z&XABNWcX{KfO*b&f1=7e^YP-ej@9&m7m>U=)%$m+8mi zlu6S!CcRX1*vxNm&~K_)F+y4mYl7k}tQy9+H}dVjg}%3K2Eo?U@oc&+wlkki^Y74w zpj~=pM;p>e_4!8j={KH(Z6*nUZ0!Ca#Bw~>0TwqIV0NHP)Ad$++X!_dd<(I~X zV0Uw`fs1EWZk%y%!rqsIzW100y*gllIj&$m#S1EwA6}Bq#U~)eI$dWdV0PL@m`O(B zv~8nx&nzXn(?~jcrrC&~r(;f4%hd>zP*z`z2m`EIVocA6vPXcn2R|Nt-SrED62-SR zr{wB}?zI6Iw`ziks6V8cxpTs{DsN2;XqbQ2FWjhK9%6rjmjfprk;IHgTgC)Dt?y}5 z_GMk{x0-(2KU=jnb^Vk^RAx&k%R|{}4_f!vn&Fybx(_+k29}4eU)Sba+irjsalgJd zzqU-5bGvW7E?MwV{#(c}PG~*g9Psra=SJ%s4&bUa6_6i3{UNE~wxOKcoo5PAcICp4 z_9jmgm8uHMqC9iW%{tSx9WN!hM$bkgPkc4=BcMaJJ0SN65QN+TO_jDU@2*#aOk@DP zwJ&eLU9$-T(S}#gi-lW#8no?1i0P zr>xR|%=rx>O44H+F%01NuUkKvMnonBQHEit-YoODsO!!>vezh4-IKMoRZzlFs8Qk} z+=$w9s2V#sJgk;yuJQVf5$P3rCJ8uG$IeJL2o6b&!cRljvtTL$k=&*qqT^||ukOi8 zA$$7u&y+o*9%-7h?sTW8&X$~{R6LZ@3??YRD_IHcjGKVOZ4d`oxHuTUTPjh!`Hs9I z9eZ}s_eqG2G)Z@zi&EMlSBZmBhNJuP7DnIg7l;@c>=l0G&d94q9p?pBqQz=_WWDLL zcTa%E7x;L=`@R#R%b$v_CoJe$I@iun#@NDA)eT9`4NA`3xE=HG7w?t0a6{Krvil?e+wtE`Yh`#V@v=LtRO%-gb zhpm>zO2(zkljb2zFO|lAZUK8`N0$_1k`OFi7SU5Ek5058gtabjm1S9O?`@ST(-yvc zjBL;CHZ5(5)82zGq`VCoaumI~tzqviN5W5Yg`J$^fMC9VBj+aNoJ8)<%e1QA4*T(j=qoKkdHMbIBfw=Vu_NekH2J)qousJvY$IZ|J4gt! z>K>-%)kQ~49Y?)eeMeyL2&g=eHzK(mrl{PzSvX6yAcDP74VoeBgP<9b0Gc6I+UeS= zApR@H4?Wn@LEtSI=heJA0#IkH!{kK`UH9ZgiGUw2lrBdSq&PGFq3IEjFi;s@Vg9~) zgZCbEP!@5%cd01py5Lam9$Wv`&0i3n_Fs%2W!AuG<2AZDCoLlRdvP4Uf)B)7g0Aa2 zBE9doH*!lh5Vw38z}>|df~Y}mfLSB5-y8)%=#S!;1x3@{gSX3(pTV{TJILMEcJ^34 z+vrKsS?)y5#=zy2IFXXb8y6;+r9S3ZUX%}|y(2Roh_Kz0!z4C8|JZf+dfoyRvlO|D zqMfc25HNvDGEFHl3(K3SWEQ?~uX7oiR}3{?M)b8FY({TJ&+^W4*9DQ8U^b2pj9SSX zBZ8)_7(S2AtPJ`a-^h9L{-G4rbNh##TxW+z+H5UwaEYG#46qNzLjnN%??iu%C&1>P zAZ(%Kkk_D!|C#GQuE78F`_GWxlFr@>mGlS22Nx1m2@Sz{aDW{CDHx3N0-CNKlK2F1 zr{^WUO<#?Y;Sq3eR8cjqH!L&|+T$D(e@H+)x9h!SZNXUmQWfz@EI8(jIP|;h} zUyzLLJHPBcdBH%6#yx6I{{&xVn%NJ(%;JpSPrGYU8y%Em&9%q@=v;B`{p?G5E7Q;# z_v!@fNg+B=D3)0r0Xm@cdn5SB{uh~-{=jY$@|aDe84TIf?Y~IyWdMG>a^n|geGjN| zFmqqJRYxprHFbB(5i+pGGq;kP`!_)aC>O(-Cd+ZVm2UC zbbj!jy+l#4QOaf7z;3*}^LnLhuawn-XhNI~d{-8q^}yM3i$ilXOiQk(UrEixNolM7 zAYJ^iH`F-E=5;%NM zC2CYZ$^R~hL=((E8;HE0oTTniATa}*H4a6wsdBWwP)6tJ$q9R+p^hG&ois0{A9>YJ z5BI7c?sbO{jtBI+PeZX|-rMl42uds}*$d*-MHaNAXbqcon`~$&cMM!>d6<{wchTpf zRvG%O)!}GcPp3C$a#l75K6FcEw)kW(Pmm{tt77{IN(x}7rYt(Eyrqk~+hf6|r%5Ae z!SOM^>;|3WESkH0l9(8t*c+@U06)wQZi3?41Ik|U$hZ*%rAG+3Zxl!!UhD ze{=wZ&0;-+3PnI~1zjm2Q0|{Ky1Ji!tfIIfl?RG*X)L~yiY-=AdCN)__1oE4Uqn)A z=w-5;^Q5$4%pc{Y9^4FnaOTNKSvGZ@!$6#$r3HNv7*OLEo=0m&4Ijdo3~C{3B<}5J z$ApKy%RR)PNBXDSxnR_9A0V@D!FB}XFD)Bx7+mR*fL)^~X@d*B%8VuLyUH!i2QA)* zniiFX42b)?<`Xxz3Y8_9W(z1=IT=&7A)-DHy-MCl+DQ6{_NZNHwpvq}8dXBCpvP|g zvXr@jU6;ti42<=jSqefyw|U%>32F6(KDX;18tyGmSG{VmG?e~u5yO!ZOE9Anj5&OA zjInb$oa!-%9BR+^xot&;NqWh#Ce2mldAj+)Rli4vT#F$ayrdZ7@*8QEqu$vf7*Q7E z9Tf9B2P)%~a1OVO^ET7Ba5D|3{A2k#QLHBLGzUJLD`*aI2Mm9x-=Pbd6*U^TwmyWQyZX=2tWx=ZWAl1^fNdxVwiv>lrgWjB305T|XUO_0^Dy43~Pv|1q4b!N{ zUhOCyw2xs|GQ_D8%Khew)g#rSH0(Ua$9xO1?so6R`C}& z%m#?FmzonKQSb^@Lb6n8K26drs@v76c`9wF#&sucDuTucE%ky*QkqM6G1*KiXn!Qr z`pxhNwwWlCLHc-lU_MFWGi=$`RG0Zm*U$L&t6pz-zaTj+f_=?$k409|e``BurYz|E z5zx5n4Oyb6-r&9)CYduIH&7mifxNFpIC4J3aPy9p`(R#B*csQ_D=dKJci^Mdpv=Jbrj!4^f!og3uZElo{y;F<~hJC z^OM$4h#*W7yD{y$2E1>gDox^4Y>3$W>}ce~dfy}_hQ?Gi%d8beZx6~>+yB6>8q0L2 zy!a(ey-nyv`gWtkJJc1V=bi+&o4X$YYQ9H6ZA8DiMaF{EIntyOI~w=XBiFOy&ey0M{Z zg}&>2s8UoB!535YI%U+jRl=aOhl4M8SMD&JOsHAhd5+C;;%$E9!h@yf4rlq|gaw<% z+{{CJmko
    yYq(2#Ew){8ce$sE4 z)3G#)1J(Q&@h;Y_+L0_etezP)#@qe@szP-<(IvhU&o^TB^TCuT?kUKt`eN^fW zQD0$>Sf8%QpL+yL!n4LpUQ*>bo7NOUNB^+V{SAom)VjsJA9Nkv6Wd^#*OvG zm|^BFS9;R~^||;$jN$tN&oozAH+4~?H}Fw?9}75)dl#Jx&_>rZHa|rQeQzC^IVQ?c zlc`gWdegwgbyGd@>QD+W9Qb~6>&=7X}n+a;q|TrVMOxh%XCVT^>W( z032(!bG#+PHTHA3X=o6UBGZH7p@j`)`|Ash^g@qKO7Hc6tB!ihmm#YSqY0T^^(?J- z{+p({n30*Po|AIm<40n3)+=eqN!Zrkn9?nym#B$@8y{z`Jh`i^B2P8ipEEQ6Jk_B@ z$E3=cfK;eqaX70y%j-w4LYYn<1VS%Vivn`xU3QDZeEc|3x5Edn5fkJ;8q?L?#-!Z5 z3**9L6Ek+f5q&_A)mk zj}7rg&=A)?krB6dZrDBU7_5!P3@$(Ac7r?j9+I|8M+2t7 zKz}IMThU}|#Yl#8dF$iWR3|2PX4Z1Xe56)NK>QJ4sd>xtYHIip$8F5`1}9#!oF}yx z+S)TM?9sOfYTXQYOJelt^=J~Wx)9temyUsx9OPs=WX!8NZw~q-`0_#=2vOl$r_m-M z2aq{6Z&s-NUAmWfnc%*)j^&CYT!-8rz6;+~N~W2o_A zakf(tdT-k!hv7vWk+|n4)&F$#b3Y!9NJ*>YCC3;MH(1g88{l6}O}(hgMD{t^URCMx zN`hfRk093123H?G9>Pnzw}mTaf@<^^!i5Qo-ta{l>Z#W|5nJky^vhZ0mEF6Me&Pc< zT_)3dt$s?%I)&81w8^ zUtkIX;fqnL_8|5nplURRBEI!MYBc|G#ZXSIJaEg#o888jA)VpbEaKiluX>R!GRw^@ zTl3Ln4KG_ND$ozjt*71|phlc3clPBsxfHIZ@5vRSj~keVVsnE`aNcLU9b9=VyWLZ> zs@^hP3L+Oigfg|*V4~&GdkMuM%NLe&xB@t(yew8&_400A_Ro4^>Bbpb7`GN^qO*k# zt6n39d`Q)zm)4LsD|bsP!LPV|N$YW?wZHL*2giy%>*c}vSYcT zeLN<2Tzr&E9FF*UGcMVl#gl#XE?XG z_E^V@d_=8qA2w7Ha${qTF`$yj7Zgj9$h<9nHZmzk-w{sw;q6nm9a;xoY{5anOiZ~7 zrHFf=`CRyUYcjvNoA(r>ut)r7xJwXe&TO;)T_b|jNF_$ML~GP&V_2xXw4SlGHO1z@ zO_nZ16VRV!>=W+ZDSPDLANbxz@3f$?Y-@WG{0bg)tc!LK@hXOA0udqZC=#`9$ zD49*%_4H*(`JE)PIT2hBk3ov~74=U{C$NOs_7^F3!&d}^8xwvN132fa8~2obbIsvU zuY1Qv>fb?O^m(=amqTG?P^uxRGhSBM?R{%n+M-sr9MPl``VJI3bC{D_qWXIYD}69Y zw89eGvpd|MkbjK# zfZBPcC|xh87E18II2a>QaPqVP3+g*bG%1XcSz17_=RoyM?VGus1J~lSrq|ik?%J}J zYg}%a?G3}FZb*ufgjw33wwi@4->-bC&+P4`F41_%A|^gAOsK^@^hl;JScJP%Cz$R< zga619u@Cj*j7Y=siUgHjmZfYXQta@4R=$_BA!_F^c_*m@OktP@Ge>|Olv5aU74ivT zf|xy|&KB|ojDPx+2zforGn|Hm?wEn7YCpHQI;;Q4q&sxSWd8{GoWa*nWE}t5EoHeK z2VLo|m5s~|H2(u65kgU^sB0;5WxcuKv@$kFdt<`mp-7+vG_DK8JCJRL^CPrHJ#1BV zJN@CRqC82e5BDD|4&~Bb`1A$?egrIa9XHfm65=c>dw##9+x~Te)jQfpcbi9V@%194 zbP8d(>@Ae71+DM;PG4fX($({V4@LAtLmb#MHRO<6k~@mb&LE@l`k}DbE=mVw-eN5K zqN;%{t;94L4g(!InT|o=7T^kw(^EWR{K|dx&V6YMatra;ZEvyu+jt^O=R_dtm|;ZxfR&+HLk6cmSuZ0{>t6vQ6BUrtzX!;1B?f1W=7 z!)ttjMT%1E_%UNs{Z_r_c4cY(&fXY%0W|Fpp_F~&fQ^Eqw@yAxzb|)*CE~7I*81&M z#d$(=f$<`;Ir2a0o{>B9pi57qV`Js>pq%O6y~Ynb6R z8^~c=z4l^(z@)3mI=Rp}Izq=lg7l?0bQJ?q<00dgC;FjL^xL=w^O2Q`k?;67brRG*ny}+oRE!+vY>2a*4&T1cUWmw0?3Y;lX_(0=^>YsQf8OJh$2jDnLEg6^31$f17Qu&MIGc*h$z@puJeL;KZI6Px61utaRM`^X6Lf&Odgd`@BzHgfq^Fe zh7B^TNajvkkmuRcdM`*H(R6l`MNI@3=&ZFiAq%y`(Ci0VHdRHP^D6^ByhnLe_dy`q z_0!~bmXsE?(z`y3B34WDTNcD#73UupKhyK9E1{h%(g|rt?%VTge7+En5}c76Ei3PtWkPuafArbNetSt(>=X%CA~L({ZicjEpk^<7ym-IgmOYV|`+O0G*bE|FddFdq_n_eP$wMb%1XdiyE zh@$2ZkVSpxS)m45<;NW8WS`Y8`MxS3KefkPd`;@K1BEkIK2+GeGX^auY(*3ediLdLyYw%e(*4bubF3;cRGiCe)b7 z!&`ztLnvO%oC+Vqw6o>RqThV>8@F|JXOIWSqg5?{lxa!(EO)hx7%K>$7uwvV-*xDMUYcV&o@pz<*x*vpew+jYe zm8GY9z96|G&3tASawW*Z+-AU8*4Abho4)7jRoammw7J(?2EmU%akG~Aa4S+iOSCmN zDc9OcCo(1Hi6OOpYP95Hc;i_v;_pci zs-l091hM@!|3MA}8$>=~e-*fj^M3;zLhBFi&m^X3Nb35r_P!ia4gS#fnDLgo=HW~^ z_WO1BREJbkIdR=Z%HidnN7i?0FLO-6M?Ek+*tdFnXZyDCi5Apvzva5_Inv#vDd5jp z=Cez`-xu+eg>5WIp@*B?+QK?*n5@2P=~X`f$Y$$(p4$zt;wXw~7CzLroBypXFpH@hX1!F>JmrnK$u$cZe*q!>Dk^BvCJrxaR zEJY@!gU42A_EMS@bGrO49p%KDWV#SJh|oKb+d(fgI|k{nOCXDw-SO!;C(`HGivAUZ zMv)0Z=p#h0f3>eF!DTjj$^%(w?91rQjN3L?R5qK;BOGE#@YVkntKtH0wst;ZeFK+7MC{XaCSlQG;2Tp?COBN zuA{EYS#y;#S)a39<>(aw=h{rIT!{LEFE*Ln=j`m{2E|o|dgtXkIy*>=@H1Ln32CDCd`k#+stzoIs}9V#a+;=@3Q_U!6cb8j z>S%GdP04@sdYR`A>T8UQS$rNjKyKe=jDAV-2P<4SM)V|h^?>`~?F_eX5fwP-7`Md!}3Gr;P`u+iTQ z+Wb7=4S}MqV^;vY5ya}o2s#L0!&LDL`+kkqqI{5TzilEEt7h31WTBHJV)VonR4IFo zW)O%h(g1&5_8Z<7@U08QvwuIrm#LsQ{M@rBt>kn`%ctE8ZS@0{r(d37P01JEyWQc{3x!(>_ZR~=|guSPa)!OhW{CyX&K6tU{=Te-%Rhd{PgY2*TmbmVJ(k<0715>-e z6!sI!VA|Yrrzuu+X8z8Dp{a9TaD?6^xiY+RKU~?9^z7Kj!pv(mn)Z>w&#s#4>y_; z`E#5t6PR4f@q7zcHq}crefW7)D@r_ahP&vs`$k7}ir^j>N=r`MM1Q{(SMbE_IT6bU z0`@{p3DOrgkt?Tn7d2v06}ZU!`#Gf@EvFB4BAp~3ql6ih07$N3k=n?n@D@4PwogMg zdRcL#X*@ao-PxC9HJFhFV~Y%2h^q^vtM%I*gS6&N9*wJeL+s1-fE}0o&3R#T;u$0{ z64q_6bxA=g|^O>NBcjZBM%@r@mBs!BbpOv%aYJF5_ju1Ty^ z>C$I~pC1%p%C3a0ND96O)`h8F-~C#AsTgl;N@7Tj^l$RbF9YUC#yrA?bI`Hg5)On6yz*NiO<5mI3 zFCLVlJho8V?Zo4kH<(|vUFM3_ihB`j0pyjt%t)c&V@s`H=3r!U(-!&Gjp>403*?oM z%t+Ds8RYEZ2~eAsa{S{$%i|Ydf$?3`VO%!(@e9D`YkAyC?D$3aOhQyyb=g7J@k=La z`WLq>ZTEP7b`M7M;W3TQKR*ykrHr6aQ(LPl zzYY3pdF?jk*Wouhp5Klm7@W37`cxhPgU;VvPB2sVAGn-kYrHfK*Gb7B6_d!%MJ`ld zw(M_+;K8p(^`n#RTm)vgu((ya`vCtH%jha zSTPS@U#3D3`dH>5GBBO=(t@Xqf;(hBKnj~pg{n#l+u%=PT0KtfeHYj6LFTK&Egm=q;5KCf-Nqb077Ow;LtW*^b2mZz zlA{g>=W~apU*;GtZ%|LwOt}bEBJAY9Nka}!RFGzlm%>2%$RMdcGLGC%hJS;l|Lf}p@&pvKJL2bqB~2|$NFsQ!EUd^W7$3EBF4tT1 zLniTfP+L1Qzv!~a-@kjWu_>NgA)-kqR5$v2{i2a|Mg4eD*os8Cuy{^Ju$r`FkMYk*Vg=^R3oH%1}X&sA#F%NE{P%jZ?{oVJH1 zWKdDmA;@wHu^O{0|LD{Op*~K-o%g@! z9KlxTJ8FLW?To?Wp^qcWpiTWl_xhmee9Vom6Uspo`w_HoG=}`R@v&9?XJ2upr8q&C zt7pX{kb_A3*KhKnnO5-`+?EnYz@t(AEy0EGV^TmY^~XNuj}6V^`-#WhcA}=Ge4*m{ z@sP)s^`CzC)z&0HPP;q67i5pubm0eEv-;#l*z?1N{iyU+Fh21Ui3#FAef;Ol#`zL& zPJa;RGHW@!(0D@YaqjfuuPKqvK_}l$#}P(Y`7AephQ)2|>eb3`nUZ|}EK?G!`ZR91 zj!Fy70_$ot!K%-%i`h+1welxrpC^l+!!w~^u{K>c)QDhpj@$X|%mFY=^QUJHJpJ-~ zd@GL<@-;pt!R};LK>+9AYY0RhEbIr3pcrl#K-ubkf5ELDkopB0KZeJDcYSjhg}&*z z@2B+;fkreK0+9TUXdc6{KVD2Hfk(NXZ>-#C;N;j{l3eG#LK;$*?~4B{XF5 z6`^)Mjw_wEg!TqyD`%>H2^1Z>-{4&9ezloQj_vn1|CU$&FDmUp^MGScvmRM?lBBDv}3K<%Jx=}3neN^ruQx_n9htRDGG?s;;(=@ z!}Wr|IHC!%`b0rqm?)X0n~)}ydIfe3gmRi?4`&J)Qd_SoLhwOY1x%!^G64_C1X1?Y z$j*c~P7)^0wXe+*%1Q&<`!q5`^gM|;Bx$3W7|3X2-(&Y?To?(D9C?yvsvyxtw_F&$ zw7{Xn_mbA#&i2~$ExnH&FX<7RV$?{d<9YP1U3=q-aW&$azB> zbzb(MmELAXP1hv%hsde8-I~O9>Y-5N9ycA)GsV}hhlm638XOi;eeJ%_i)i1=;E#I# zi4uPZd?OUO4<02qqu1=8>Eg38$)OR)jaqm=^aa_yO#C$6o4dqUzxLTZcc5Uhqo5&9 zBav$>*u=vAgeCV9^UYL}pDyDj`=9fz zS;J>!K}wmoG~m3rkK42gEhA0m%Li_FQr;jgssJ73dOI(9rrIGBi?qqs0xvI!f*~MD z7fQ{Ayp`Ma!;HVJ6v#?&{lwhAa-r*MFWm8>6s^4Szu#(-x7n`Bdj#GMM!=LGe&1Lr zF;9D2;a}LD_-%uk-|}^B)%LM_kZ!MAA=vhPJ<1!xBJ0B*bxU+*Xx7+Z`%l#~NnlRM;Wzvj)L69 z{8u=b>vXnop@)0m8NTpK+LyuVcmuFLq7FQQX~&nziJ%b?A^r{y`M3_H(vtXiab=1?`;(Ybki3$eG%J@hrfhd&aIzG$$#U-}-M6CHSn#x| zn_q|Cu=jZv3~4UGo_5p;W5(SKlGjou;1Pg`hhix z$g{Zw&`z+{f}`U| z@t?a)OIV975eRK0e&O&KUZ!kxOTPG7&3-Arnrx@<&Om(XykzRgLIfiXzZuEp=^E;X zK8Zo7YyQ*?zb(;~zghO*`1Frg{b$x|H+@q=A-+jjcH?Vr7b|Q_YS}xIR(Gm!z7;cOY)ZQzSJ`n%Zecux@>i3jLc)7xOsyF5;uM~znjaU zGQVQ&QK|(_BLmMhx)zQWlJ!%sZwN(W_w{r8#Zar1gscoT#Y>No#PuGe!dp-)*BZ7j`Nt%a^q&a>c&VqX?!ue_D^CJ4#<<0(?c8D;9@55Sn$=IL{&b``n zL5~Viy^A5Ew#L>Aj}G)b_}xym+%Cw2E?u(PQKJYqcXF*~^|x=@$u^r^rtN}@CQD*? zrwJA^UL3v>i*`3PhgbUuxYOOeHJPHp#p>qdtk$w0VS}mno)itGkvjb(iSYYDvBath zRepD2SFKVY?@9uatX$8;1*qqUH+=4;>xOfZ=f{Y-!NL~arnZjCSO+BodV4DTm6&xZ z=SC$Ok%Y{T!Zo+lYDrKBrysaU=JdhT4^@4(DQT7t-5V)nXI9%0lQ$Y}H1_l}PC&8R z^b(5GEwao?9Qe#xTiJ*2<~%V)i$|4*GwQIb7ao(JoCP<`;vOe;&5B; zGa~)N=81Ei!zRs3sN7CH%bSks5ggGug!~H6*h^oQ{&Vf+KU(bX3Lrg}U!AgZPq(A93T^l`q7~S*ArJ^@@K{1uJE%`?r9necdw*G=QuTRBSCp#5j>A^4sjL)-d>!u*ZL=K94jkWazsOlY+;(PP*lBO&y zn!}Cf*fmE9wBJ4a!U14S=>VhFYy(gB@5xg}U^>S3h6)dyJG23Sf=7iMV=pzfA7q~! zmN^=F`THRmdCvRvM}h8LTpy`@g%PO_p{mrNHSas-97IKFCly&sz9&}oDR-(`vcCW) z0bt(=f2=Knd>FKncXCJ&A5t5x6Xn&Hs^+{$?i9Qhzy{a60{EtUBN~d^urcK*HY`}N zrBF^mbyZT({w$P7bwi7EC7n?O5;QWd6HXo>D#Q(e}CD>1r#) zmrIY?TIW{M2fA6YqzQy)G560@?-ogjig1hGZi)}6@BIU5-PX23?M?f zE2jcNQ(H+Z3BlSyP}K{@=xYjTg}IqQHf{{!0+8`Xiz5aEYD8=l-}exFK0oq{`H5_Q z&t?g&u#@+ky)-BqjE<1kB=BS+Cd9+1&ogUdt3&3c!^mb4+p$pRp5VBQ;5a|79s;o^ zMnS`L+&6|~@6B)v;qr>#&8&)|7kkwtgDhlUG^o%T@c^$X&tz`}{LhPyxzDuw>q4`5);nZ>ku#9a;^N+CO5t3WBJ2`!N6uVw< zAYA^wMQz7eIz+y}P+s4{CZe1wMShfW53?A@s zIShrpNxAeb@RXwA0*a0Xjf(Qih9^KlVw;3Ju)9quDpMrC8gQ@C8@*QBlX z><2s7YKprMp7*fk#A6Azj--z&bjD5rO1UR+m3=K$i4mF z!sJ$DFk{RDfVbERTbjaNx zL90O3Q9qNOr}dP=s!uvNDh?mm%b9iWZ{s{b+(R~B<6@C0IX^NXK$>sjg3{Ji^=RNn`KpcR$o)C~z*`Bjf5PJ9UY*hE6D9udMLL5;w}M z!iT5m0kYhH6Qyp5MpL%PMAX}Zhi^<~p;q+9e-Pr)7?CNzYkSV0x{AEptOKuVzA(^0 z7|=vNYoz`>FORpHdvYpVwVs7qC3fYP$cOS92Qi3o5D(KCAuP0x#$m@{8(7WS5NX{k zye>|+uBtFI=aB1YT~W8RW`!%~DBxIr6&-k#C6htUPIql(g}z*##8TyX5os|t^HB0a zqxM|ui7rc%_ELC~#s6ZDjL-CO#gZz-v!i4DSrJtI49(P0dSTt+AU}O@eyWq4^tv6c>8)I~eU7X9C?Op0=KLj3&2&u!N&S5qGM?m&7g~k)( zUjVvfv7?!-zW|@T0Y|QnOKxnUYd0&|%rKq=PJtehy|s!3q9C}7tNe`E(K5*WU#zFg zvk0!yD$gX@^UnOIv7T)aaf^+&S9;mG)ru+VK}2bq7^LqlOs5crd0-H%>Tn+oSd4VP zF3&(?!|;13{qG4RM8vq{R&)+=3dY_{DVh8^A2GMfN$dA+YD<^KOH-^^j!1;PG9@aGe6p+ zMHLj>iF%pzP;63jTH4y(QcpQG2LLE7E3;gCRcJz8YHFyZRds35Dc-}qTnrl`mmN;} zXA}cCOs7T|ejS~vMSFfAPC-A}Z^)<8(lB);)CoM^!yCqh8V_E`4{7)>}3f6MzSVSyXdX6;JYQoi(Vqawh65Tf&zDsL>|v4v5+Z??ubK z3VJG7E!K@w;9~n_uB6KogM7-)2W8|mj{%ZKnQfpL)~cR<>F?0j9x+{oO&623RWCD^ zEpz%6{t>cl_(MoPA70 zHSo8d8+1NyXXpvNUGU;B0LgRp0Nj2$ciMF~?imX`_`?cT%!Cr^vbP&P0&399>?RHw zWXT}2_E2+pF`AIXu%B1!f@j*Z%U4h=9D?k@`&Pkq5Qo{Ub*c1mE4pengVH;Ck#9>M zXP~JDc;r2PojKg(_62MlDxVSLC%Gk7T6(>zz>`hx$)^%WoXPexaJd6U?1xGdAY}N~ z^AHP3EljSd_J{Hu9pIj$X~i;U;x*laNsF(cmf&RnI?mXQ7NMHdlqBohDiX4B)4S-8 z0_9l@Z|_WD-$ZF!8&m8=dB3=u)^Q;P|$AhN6E(# zNsiz4T+tgYaW*g?r@UeFtyCW1okO~8D?}H}iB$B4o%0i5+f_tTcC%d!Yt6G*DM`-o z&58nC!$14|a@LA*_nk{D2eeujaBxi(epKw4wI?a~Wwt@uhMUvgi@1au8G3f4&mLH& ze+U8V863D+&qSbmaVE+FaME+GpIIi434mLf%hY(e;Wwhn)$0Eh`2Fud@c-z2d8wgf zk@XM0S*lg&;0#|Es?uNwyg{s8-4~^)$$F3yJ5K;M)a~U>5VugSvzQ(#0K7E_CfDy0 zH+j5VI~l+Fe%(dZY87?vPe9q{qb!JZQn6m+2s*_wfL+eW5jXS_8uHXF56X1kZWv`; z9Enq~5e#P&8vubr{w1D%u-UKi)ekDEI`JIcmeJ1n2`lq4as#T%ci~n|ZR$Uoacmi* zhnSR|`;F^9<{)J3O_>A;eq~9H>tAec(j92Nk%JyCFkt}60)r~}&Ev8A7>f(Vy0su7 zw;^_BzheG0Z)fiPAvI3=L%B5z&$m(fFCCfIuXZ4o;O@ns>KbEmz$yOQXO`G0IE@LW z&&&quH!wdL-{7RPV_|iCC&pYBBm{3o(pWNQT+`#Q_1FFa6opRtRCDt0CZwJ$`EI4%FD)}2)T%af)9w&*e&B!gGP{=(pK}NkZ8=*k1h~y&F5hn(v}=0I#r{&1;CDTWhc zR!ttqo)u&1&582L-2$2qn@c5qM#zc98zm5nt<}1t>g%3^jK?Wd6-noD*ikz;ouO;0 zxN-K3LEEI&>w68`t%sC=-m_2yp^pj4m7Wu86%cXp1XgT=J~A>F@w z{k&^xXsVZz1A692nH<+rD{EgfQatacOhCLgvp}9^X^8Twf{4>ei`F7y=-W^Jc39h4 z6iqFk=r|7(@^fG4se|4_vI85+?L@(ugp9M-Xv)KwQ(yabk*MD&qKPmemB^9tS3o9& zwDIPHQ9?`+(Cl-n6`ftK^W-oDY!@cvWGLr9mjvd&0#Kl=Wf++r=yit080<;RP?9lr z&O5+N*z$~mx9N3KWJ(z z^m1fvqj-huOLg->!T_%wi(-qrR|T87McjzVc{yJ8ssIK5fer{(Zn{x@Co5bbz3r8y z`4?bog4cfNwq-&L-Fz{k>K&Mc#g17nQx}HdcoW5>5duDS=HH9WfCaF_mo^6+w0uCY z&c1t1b*C}fDLD8{@PYN@RK@Rb9Iu5+KC(Z`P%t^G+}OjMJ~rRZcAUPw#ZkSqj|H1p z(;}>DDBqJxJcez%y|Z139RlG*h>uQm_5^rvBP@}zs9D&KH!#dq&Ell+;vO^?F{Ml_ zz-Et=fD-hz2tGfe@w@kVv-rC!Ksb1c4-L8om4#jD9)euZmwR*B&(9mgrtt!UETW@> z-m#^~m)2e6Dciu2ixIz>5(KqrSt^bp{vi_bDO4i>5>lYDKHLjLaz`I3;Y8_Dr`;F# zd*R(hY?hA@N;STV>`eqR2ax&Yx^RNmbdh=n=$UfD!vbQnluA+n)oHFNiC9P(aWy2| zDgdl`1M?eenqJ20wI#yPYRUroayQ&6Nq6m@G~B?|2G*M1+(|rz-Lcjk=Oy7ze==e_ z9rFc-bPr1YZogSsVjx{?y~tMwx0h;;C^S9~voY5=a%p@1rUe>Hj3p&v657L`lWkL| zvj5x~2@+tLstQDXd=KBKy=tW|%`7oxl>HH{5O>x}ix0LjppQTkFGTBPuKP6K%IC~W zqK5XMO=&gE!0xB=QQ^0nm0ViW)jqN?UT}Tqa&&C}E0q+}SlOeYMpsG#f20rLqj&C` zDVN%$TxdF_Mn`KU6ej36npZN~Lt z5if3pL&Ni=JO7v9Hp`b+LoYl$Rjmc6$YzSXRjqG| zkLh8^R8BYw@>VC!4(ER6`jV{y3g2lCcQkQ?LhFKrk_;HPFyL4KO`qPpPRME5%x@DB znizLm!{NBi*!vuu9Ht5!BF{V=^n=d_FfIjJ+fZt!mMyxZC7kmr)vX~>))_mtMiJoW zMtxpq-k(chfavI_Aymq|01@WMN@HJ?!eZzel;h(hal-4PAfdQ}2F zD*HkiZk5A%cMhhNeWWsWZWuy^-4P689a4|Q)Ippa&sIonZHwGdBx6M0l`$QoL8d92 zxS`&TiZ*g0YD#mj3AJvT>Ah%3k}vK_Fa6(28uJZY$Ek5(FkJQ*X+c^pA2Xsg*o?VH zal!?S&ZEngtuEQN+0#eghzkh3a>`n@LRzHiPs6wW{jiWxRS>G#CjRM4c&dwjNkP77QVDckeu|B*1&H`T4%cp0?b$3NJq?A-BKla2 zHa21fgH;!aHlpshe}&xqSfmR#lFh80gK2Gm7rsymTv!yFI+a_e5#-KNGdd+iIHNLB zeVjne$-$A!tMOrkc?zo)_}1}9a}KWQO~1{oj6Mek1Lyv~cqSwKzJm%Dv>Aq)x~r8; zwmD~N;@_tqOmJLPtiQce1Yr?0%GsG}w71Uc*c-U*rq(W*|^F>OaSir>fMP+vsmOs#lk%UzT$Lw_eua^v7Dw(A51^u?(X@!wYU zK8*G|9?t3?@HHhuC(5uYZ=P#E5|0pEpE3`HU3oQ>*cW!R0HcnEqi^wOPV_baWg-B4 zgdW8Q-dv+5_lK|u9*l#geCs$jYKZ4=-_Zcn>PFXvS~Ne#pJ897=A{(9<&N}y@eu~Q zV;EzfQCpD;j3?6sA}f|MQs$n)ECp5vUI~QXBHsQ8ai(| zEvnm?zOIzeuIpN~ti{z%@ieN#mJlFb8R$e6XF^JTLEWZfxX=}WC1N=^O+l={Jj;bZ_2jil^fCslSYARdCuk%DIlzYo#3FVjR$@AxI zvL;`?3(XE$OMSH_wM88{FzHBV4evrTHSd5g-Udb6@T8vm%jYqM`?mK; zB$LDsTKSrcAy?p-w{j_v9he6=)dGc6rjI-}$3>i+`+?%&&QNjAGU$>(Ur`PkZa1ux z8!@R8>kL4>c$kOsU&UzY&C<>~G>)4NXIgq>9XzG`c7)m;4W9%adJ*hjDWksMRJtej zQG?r{!?CfPMYxT@f2>^14^f+m{%AJS{jXhYwh`8m#AcdGNhIED0)jq%Iuj?aXj{B- z56&@+!gVQbP`SU%BLX=p8+TK*?Uv{t5_Yj(NQJuE{TVQ3QF3ypHCNa39gF8wf@7)% zZFZ>gKcwptyW2V&RGXJ&=;{W&(APE+QELcF#mQ4T{2P5N^Y+7jQftn!6Fovbqp9rX z#bS=D>|Md2b{SpktE1o5$TFN0Z!!YUg0p+uY?zR~&0m9+NJP^MtxlFllUMwX6qQSV@FWy8%gaFWZn$Ro`*GmFcGwR!xcouT=N ztuw-Bz-|D~KQx)lv9(2#75lev&*CyYDK$qD2$-sSWB!l{X~dNa=72QhQmA+5r?1&7 z&01-X5i5lw?n&)Rt)7K9-Kf*y&)&`u!H{k;au+L3WT6E>=y_(D`;W(9Cf+F6<5h#L zdsvouK(>6+LV$32cNY$@Q%mh-ZQ2qSlUSi&iI~x80*BAZ{@sW8op`j~lTiTYLMCUqb!~7@{l3gO2?B{>;a2hM3l*4^ZB6%e{v8-=4RMR<^`k zj%VL5n|E%k72xjL`V)J)P+XUqVP9(d*sUUgL)b5A(d4mn4U`34A2px_AI8lc z<*#R5hRKDRhXRZVLw@r=D%L#n2S^F3f`mET9BAsi>VKo>+Y!UPy{->IbF_1;g`J5L zLZcpS(dHXE>TR(CEE%!+f6BQLGII{Xq^4{eV4D!MpnB|(_ARJDCFy^1`*2u&Q4P+O zB2RhrNqZV8M7JEROdoq>CsweXaXur!N->#SS9nfHMsQ*9lJMp zu}rDrz`dEuvSqGfGyTPDSg_ph%WhSEMR-*-iMH8C0c2&=6i^mr%e*M7)Gew0*n{c4 ziL7wZv#ly2EwGcP1rYXv@=mk-2>hE=rTA<1}`)w?Cdqk zzO<>nMp3bGiRH1@!lID(J!kpWB@bNaTzJkKWnFAT2+{wwwB6YZ^7sKB4)9I=)!WkP zvUyWq+MJ)xD2sW1yx%>gUT@3^pJ_(m3ShQ~y0I#z2L?BX z>Blmusr;0~t<(I2=J0dRgXHQ&zpL2#Ik#X<2L*Z)PRaUUuL__4JEw`jCsm^y6*i=u z*WZbd8ygFwyOh67AXp%=DjEI>WUE}r-<-sUd#yCjtRFyvek~VeqiAPJeXYmoz@f@y z48DFO)5peQRBeeIQmLW*QlrN&G4z>h4mVa(TBP5P>0&U&_4cjy0m4q!j(`L$fB<1% z2`-@}A{z4c>GiL-ekh#%L`ygN3f^LTupX2}CFbYf6Lu}1@hn%+=Te%Zv1V-k)got= zMo)s>ANLcFBM2M3D72C3AX`&6zuDH&+?2}mdfSO5gtg#Y%KK`FGC3v~C%EF8Q7Ury z=}U8Ii>cYGa8!!0yD8Ls8`6QUbT4B&&aaccACgGK(NIbD7>j3lGQD7rLZHzoD_b|R zEnD}A8~4W<+C}7Tmn%4O9Hw3K>%tKJoUY1ieebRhA;Kgokpc*8IbzIAtLUl0qwJTlf16xxku9>ey3q{sy`@NZ?pL^m0x$$%; za}g1T@a6;h?Nyd28(aTbg^_2+(YMI4(XfEq(+wMJYI+N#JCABo+XX`*c4nc z?OnnBX)CJG{ux>YZ+%V_ab{2It9%$8?#j}B{8tQV_F6=^ePR$fr8G_cq7Ulk)zq0q z=z{icC~6AdqkK%L2A$&=Tn|mk>&F`hZ7yTo7QoKwk>sO5SY=?@q zzqhTy!p+EeZUWocyGw{9#n(T<_lwMsD8h58*3y_snN%m%;I_*u7RWa zrh{3O!3tR{scZ&1dx?aYG;#JHWv+!y0{E^f{U)`h70ZcI@iBgRj{&T1k}|vB9;B7{ z7#6cfS(bKa$=%FIHrB+s&ScyuD=k(#>BZJq%<@oJ_7N_tRVm>&6=37bIB`5+6;*kr zO<$ei@8b~WJ|~+~)I%j)O|`UtVuyJku>@w@01jQN@pNsPoptW{G(BqJqt`0fd%%s-vGjnjBJ-*RPdmsk$?D!!$IeMKjjUY7pdgb zufmapEeUK|;2gB2BbISbP0=sc%p<~?p^`{LnQDZ4~T19BiyX^H8V?z zeGYCGh^zl$d5W9lERln?JA5ii$Ly%%Z7*!vbyTjXUwWb>X`4jE7PQs6VZARHQ#^23W06l&iLS1@ zV()}AKxvAXrLnHAX||HKu|Du!5J$)tV#EM`Hb&{R+kv#3boS0F->jkG%ck`fhfHT@ z@S?A^JsTTMGu}8;jQf3(=&ge@IBmyAg4=T?Qme8p`B`W7dtN5hDU-P33U_kc^DAmfL++eU@#49 zI+Om*@H0qm%Z!hF7E}9trGK5J<|l$*kb-z((?fCemSN$fam_nhw-3kGKG%(eem?D( zwrdv8PusZBZgB1U$^PFT4=g_~lIK?vw5{6Q#!_zEzHcJe)?$%^{s74UlJ0Tm+XdZ}DBr3BF8${^eT$w`+JtwP zwQL)!`*uEEh*Dm-v9;~PS}ZEcUXmeH07>F=aPqY{08R}I0~2J^Z| zL2R5Ohr6J`%N1zw`FLeIJEQULL?_4ckM%`dY}h^(e;>Xgp-M{HNj@29ex+Wf;8@{5BD z_S9n85{ObZFR_;!opC6Nk^y{*s*fWz-|=ay59X_;l%&)YMybyEeEInV2^DpnKL_RR zWHJmsW(A%5bh(>m;J`Gf$)7c9@6fMC{!m4rxmDxulVVbFheQp>j`U-`AZRZZ|0gq3 zlQ>jS1+?lSfM4f<%@S@c-}dXoQ~ksY9`5uaPHD9wwIxdntaE>&624L zQo;k0q}}a8PPN=Hoj>i-o>9K!6C5=OX2lu%;)L3r;y_L|m22=#KEFaXuZ{hAW?=3` zSzmf*vMAnu?z?5M97xd#LoCYypY;4bn!wRrxbrGLBsGlq;NNsLE^#uG6Z3&i%JW>X z>IruORbYttA;3Gt^E3%?aoaC6TP`$gZbOkD?1W@xRMz2oloZ=|tg$n@ue%rQV=CHM zV0}`uq?fXeY3PX}z!KX5&zGNiB}R4U2kqsuhD-!^jVN*FGYio2|E3lDjJ6K~4;To| zaogd1{#Do9XfbE}$4nmz23M#DrXGesqdhI*NUC89RuM>lQO)HTPAW;|0xh9*2V8rwogjxxkg zQ+3xjc9##*EHXSn@LvRethLj zMvO5m;-cx}wW;uBUl9GErW0zNaL-;_rG4IFB$%buTnVtd`wKA8{6Y{kaBSQZzrq#z zXFm2L3P+HLbr;)3@@Z6wwso3Y0p6N^j^iy(6VGrrg|s7hkzz~wLM+m*g25ll04PCt zPW#20ymn9)!8t!LI!^cK$)ZTQA#$tN8KjxVdY{0dLu0>TM=}V=!DvG%hPB5?8ZR`Y z%T(%MV5D2~Va5iN#kle8P-0DATXk5$=gkVI3Hc$SwnXgfd?Qk#wr?kJnk&6K|H&r( zhtB8!%~A4I17X>y1F~aztvhbcf6Oi?E9LZ#oByocHOXmHD%D#nd(9TWlccmzO{kRd z-^Qtmu#j+PTI}`Bf^<{bOSKOTfD`Xzc_pwpKYt&h1z5tzaQX+{emUxEOS&t``xYUF zR6k2Mg2=2=m}p{|7W1TX#h+d|)vh1;(arb>$8+B}t>uecuV4fPN+T$ppK{lZx^4a< z);WkOHLxN4(KPdWdR2B;_ANEtNBb83K_syW^QoD{svV)><`3MGr*iRHr z`oi%8+-#T$wEcb7Qp)Oa@>&=LIyMIH;7Xk*I=s7}7s#pOr6f6CNYI~2dxOx*2ZPBr_Qm5?!Q62Oy zSas^u+zZo4A1WLzN1SolDz<7Hcr0BAaDWSy$^gnA0ptj9o##I=Vg#&#%Fd-|J?Oy4 znEr@eYP(p$kCUH8Y^1*=^2SPPN+EOB{HDI)2`O7saDgfCeQ8RDktv+a<`X!)S0r#2 z;xZNOeps+;N+<`-tQ#Ea7L^tS3Kdp%He{(5n4Z>S`t)D#{RNmqm}AH`r}(jyII(KS z5%0FR8y?U7jZ4nFi!PML}k~O%w|_VC9?;3A2 zjtYyEMNMcA-nsW2YF-EsYB7q0;D@3mGQ}IK@}R?q9u&-9VWba_{SP~_X&=~Kp$^AO zXGMgQb<&nYBV;8=JRV=#T4y`7yf&B5iaI0gQchpn6LW|2*_m6M4a1=uS&G62zPEak z4tPqu!pj5zYmV*}?+ozV{N4-S;@N82x@_iVb6pmFM@vj(;&C@xAZ5VLF9dy@h!5t| z+qLrxT7kLyU2z!jY`%Cn>c$ib2**$!D*IuS}Ep3hj?U263&vQh5; zj&pHfUu9a~kalPqo*Pr(vJV)p;xS)5>ku<$Yp5S`s?dLJk?dz|Y2Qc9B#iU@gJ{8R z4tCwk0Q=S-JpNbPGV2yuGQmIfqRlLeZ69DQ?JvcqR)M8#(VYe4Exi#KOWvLHa&c+L~goGyf1LNo!g?NIP`SQ1R8eE*}GxMsm+?i zZsyhpEhsU0fu<*^czySgitI!eE=F`M2{o-_p!jIhg-J zV-?j>i;kx3Y=tLUu?PXdN_7%;nC{&Km#QD%qLx7T_ZU(cQjOUXb!1I#Z%SioxWB46 z&0<8O|GrSHb^_VAx&Qn$cbX7Mb-zVS#T|A4ol8)6RV%SE#HwV7ymTqKXVBiYer@4q zB5s=XX%I~Wp1?X%7D=GaT+$6NLXcDE)>jn)NjA)x5Cg;e2wo2Mr8hni`2CB}`Hyb) ze|MaizoOuSqe|B-#vem&2PNtVLRS@~}9OO^v- zRZ<~Tc$_4Xf9uo4Jna+9chdR25Vi{H#U~1jre2Xa)u5^!Z_+3&3s z_Ki`!{gFT2G49s>u{Qd7%2(3Kk73~n71r1UJaOLTu-7h5z=%E_bon`%Q*|Y6T%ikG z>3Fl!yH6KU5Y0EzO&)#qd%(-0&>RH&6)|nC={_}7ymTR!Osou5G~~bL*9BYyE5D8m z_MI$harD^*teJ%&Wo5@TS{!73Jb$TmWwUkTFUWYFGdE+qT0!wg-+Xy5vncoyR>;9( zvt*JVAji8tg|m=)AtzTi^KRw?H`KF|L6$^9JP-#!Anbwc*MP9!meN^dbxT-dxN?u< z3VpW{tr08!*lpxSAydh`*+mVFQQMsAOb}0bN6`EDHb8oNu-S*AWVq~3TA|~6Nyis@9!V3>dtm$#?@tY)fw*3zMU8uCH`mXk z)?=qq^yUi&_k7djdArr^k6#d?1>CTtiD}8*DKq4lEbYBrk-#C*dFRF6hrK77 zF3S35LLgg|o*vYItHgt?6#;_%InnbPvE6d!YOjMR&e&#AB7q}BF7A$yOLHGSHJ^o1 z-RbaASt+n8-0*iz?{uVpfwS&|Y0rE;E4>08A~m6cRf&U2xk+&gZ7Lx9W(C)pFYF|r zxpPr2^J_(%PIPpo(ghD8Db--g(WoD|l9Zn=Hx-GB-33hH67j}=TaTzLcFA|SK2+t_ z2|xb=tl|VeEC{EiUWBa9X_3y68ie6jqD3%hq#cpt$%-*&FSNyIDP$Z8+E<&U?=_oZ zPH*FI5*-bn7GvF!e!sI6r%TE`D9D0a5y!!oC9USdu@BcKREC?rA%2vpu~CKTG9ivW zwSLM?__m}$L`XhP4Q||hePpMmM zA-<+ICD~9jIX?|U9_AM0%_J}BNtl^OP!&La!_SQ{3~%2>ODp7fOToE%l0s~AxNB%3 z-AEC!y3IghnA?U%;C-e!LObfkYh@uPT6zFuEj zcaqt6F@?awFqfus3N=GN4sU47mw=Rlgk2M&5lHJLob!`pk_2^@pdI!RI4Ft_pKG3@wOOLx&g6wZORyuIGFM>+ni|c$kL^$NqQ9h_&@vQRIJQYa*_Ocx>Qg2flC<>Zw zO4qxIqoM0v)9bHMA%4j}MG>c_!+FpDOw)qS}KTtNd?l&G(@2-Xe?99nIS9+^lT+`m%t?&#PACJ8PG8Kg#5R=j$vqr zcht}OW>rtASbm{MPG50t;|qz)m~k7Wz~16oy(=5H5=_MA@l%`iQ#q|Q#r0U|C!Riv zfhZ4*5OPc{H{Nt(Cu@p=17GN z7B&|k^hsym5V~4Q|Lx)T@yVoW4QsyNAADTpkLmJYQP1-Mmp5ippTPDDn};vH3NSU> z)`}NVKQ4#(>8K)wE{!Ns5{s-!u7 zqk85^S7`&;d#!tTJZT#hj#bJZx+$v%AJyEI*p%ND#dB}?i<(0lh)l-wtSkDrldQfa z-7BLIHe`|2ofkId1e(ui?$B^TMsSwlJHhDZ?mg-(CByW!+EeaM!9V>FiptPRxAK(% z$7a=Wp2aNc5P?ByBq!)uch$?fd`&|m7ziS>vfHNXQ0Xs=mg)J8gc|VPj{A{KM8~$` zW3C*a9{oldS<|2tBrJ&Bq|4KwB6GCeUqXOKJ@l$} zNL;r2DhIPV%m@yYQP{6vju)lo{{`?EvpFoQN;k&-Q3TWmMoS`_@Jy=3?yX#xtN){A z`@cSFW&7yN(zi_8Uh^Zc8NX+X9a-A@gK@u@GfN*T6mCG0FH7U7F+E3MQ_69eMUJZQ1v#k_JvcIc-tZFWd0)>iQNqJFwS<4i9qm z;dwG5#Wo&jHl-{mvl6CUd_v!|b)wcF+1|irwgHT!t?kL4|61n$sW33!SQEM`$F$P@ z3OP~ymS^%w=)7?u(A3SPbf{jXEot{vAHk>Dc$s0ktgd9pv^cp(oG`5ujGxWE;T})q z^HgHs1X6Ht^bK{a7-?VE`CgQ;xxYykbyH(aT_asCVq(Yx;K6Z=^W{zDy;Xx)M|}n_LvSPlSej`PnG&h)#hX{+uTE#Yh@Wa z&dtanOZRo0CQmHzzrk~rS z7YTreO8i~n{>dEdP_iuH1!7D^9--vxA)%5Omk_Nqw)x>8G9s0d?sH?i$;pZ0>+LA8 z?Hvhdm$X`9i(?qAnFuF97Nf{(xE-(>>etk6$i{Q@udSF*+e>-xhk0f=li!fJe zgoIOMg`^od9M<0^GH_lWd9ADILYf(ko8hK>2T`iwasCUST0gTXTWzVGu&o^*uefU( z03e@wRmP0p7IIqHsP+8xwPODhGRg!_%f{7JDV&s@BM0^RP*kVG<%G@}`%{?33|@)% z`ZH(!XB)&!e7ccx2(sGIOal~sq0n-7%C5pvfV)RyE;<57kzKx){OS4~_`=Y`PZhuo zl{*4$ax^7*hH8c?eUBDAm*z$=`7ffHpqZPs2gXE*!hWK#yrUF}tS0%x8yoNcH25kS zrjaC*rG53~Rcf3#s+zL4A=Jj*+QVvBhHi&EpIy2N4VCf=!6I@feL$D3<5H4-ABA_B zHhg6;W`6=@%CD$evQ$^WpFY|Jr9~#iLY}H+xd%0uobo$@O=P}h#lh{x>M+Q;j=mrU ze-GK#{7``WS(-rMNhhDWS4cvo=h5yLbRaJECDG(hlhO0omcYS3znJNt)1UugKlFd~ z`3fxS=q&p4>vI26Ym1+;1Bqfk;QCC)^U8;b`G&pDN4j&)%J~AARg@#nD;-540y;nG zMu5>I2#m1UXeVYE!#g(9K!b0FMQ(#Gqa=dwN=tI4*~q4{dw!G6{YEM+wu~nB%^}&S zrCy5Y2q)Zw#$z*+^5NvPiZyvVKA3?b=(n`O2=>C$r}BF1oBCDAsx09_rH2<=BCkEM zu&c1sIKX9U33%YgHeHdg2OKD#c*izhxRM?Vt|g&+Oe=K58!qW&!RUX|Y#M?*r2eYoZWXmi+agqP*G8xz{M4 ze733;;)=)5Y0ZbtZ-)CYYcdjy%k2!X7MZ1+zg@{bS4CTC?2TQbEZDKoQZ;&6JD4IP zKw93l>Uv8$BF|Mb=7+T^KkY0*4AnPR{*KC&FT@$b@)pjfv^lCkW|1(;IfPL~hs8eK ziN@zjKX%(Q%gZ;4K8+gRV+y@L9t!NkhY7&X0*#p<9nQla?jWNhe2yOW0i}4ppMCje zSx-iqvsT_N2hDTVp^XKcuYe2@%q+J6Cjuo0sw32SX!cFTM`sj z`03%Y&&ekRUJEaLy|aL5pW2?zj@R-Tf|}Knx2#sSYeo{fO=R}&Izs@KzCj9#ut(j+ zTtY%NqlLVc;XmQBE937da41j}trw>C?xIv?t5c>cT+=Bg?ag4;!=H0PUS9Q_4R1xx zP!h}tr*2wRnZ7C5X7v4jI7XfSj<Ms$P?0qQzkna-ntWX zdWB1SXhX^%st9U1u72gO(5oom1sE%_;&5#A4~IHqsRpA>(jihtqJGC112E}`RcXrLrm*;h=y!-jjlPO9Gj?vmD0`Vtb8(#^9hIux>aWEi- zttWsks6z0KH1%U7V6(cY<@|Xsf^y;%9AVm2FSDkJCk)(nJM>OyNob$5jBK_O&9^Kq zkV)&%oCPZE#(dr76H0cj`sw`XSbQr%pT0TFHC?hryJC@uBYbad?8PK{%N^!&8zLK>iF$rPAwgdaU@`;Lh__2Y13Dw5qNOQz8my@K_^OT|IiaU zOB?I`Fw@ZNAxbpo^A*y#!WZ9hhR?!I6F2IPL82HYB;_*6v*>TSgdxPDM0-mpA7|eV z-DdjOvByYxUp8}RDwTF!wOyyi(vmQEgEk=+UgVy1DhY6QnG{V0!#WLCi;1kQZ4cvE zIP(QFc4T{?P!WOa@&~iFn5xcVsoEoqSKV$cFEcGMeVekF0Rq(9&iJM%ZI;u=bidNB zPx_R&4de@Ip)}r{d)7~qlE#}SALLseB`d3zKObv)QH*@ZJ7u)GA@pt25e5!ZJ!Z8qhF!QM3vU4Jgg86DvNL{|JbT~B&q4{BhSec#b%?sWW)^hVN z(mAw7U+p&>j+Z0B9?=MMR1aR6vy_^Jj9iXE;hn^qP{%=Mm%D$5OGfmgGAfIguWu>n zc43#oIHxg^ip_O7@gvEslLdXCh$AX(us&nxsr{L-h^5Fq%6=){8}-v3TCw-E@d#TB zDUW>+gM1oU7h9cq;m%>&T$bk<^_ae;-3IC)7Ax8yv<3cr<&wyc_}BsHfIoLwPX=#- z4Fnq>SLrtpNS#fY?1k$J{iA~C{@iQUcD3k#7*yq%%YhCvg+zyOARs0*&n9IFE!^Hv zWX7y`S%I_uO;0bHASp)*m87mH;owwAL1!IQ-;C5us;F=Ms(gqezYLnDKEhrvvo_ z-gOoKrNBN@ScNpyR)HSg6U38uGL6+1C`|28i%u{5_2X{-bI<6{k!_Xg^@YlQ?2ZiT zzr37iTr3x%2y=TkPw!|(-^Xovo~KSCeB zl_Vtqh?7s-aVS*lm033Pu35fjw@8Rwsfs1w?7^!vb#a4H4hvU7nyOQ-hb5n!> zeu7X`^o0{V0yS9rZ_AzsHi#&mZO!;2yIcl>LM`QN0bMurgW#IsVCiYg+l^(vU?**6 zyB}N==26zTA3cuK7jUqjErO@{lKwKzNzCBgLD3?C$Q~**;@A4CCaU z=+;tC01w0UUS8(?k-+vv6^AL)FJtccX40RF%}U-aN?B=dPQORhJvz{f)PUS5IV7FP z4;0Fb-T$tl=`)Cnck;3ah9QHJ@(RMp28YP5)BUE|NSFQy0>rA;`ox%~V2RZLE4)98 z$kIU6%x9+t^qD6K{XE`1|6NVuN|10v7H>px_=QX_li-5@3zcxw{Z7db3xF{A%+b6y zOs|P4iN91stE5{B$k)6)0&fr!=S=u#A(4y=6tPR?(~fz0AiEn`TN27am}SM?KxVq7*Zi}>q)n6lZVpE$g_9&TxZ&@N}_Rr8^{6jv6l1oYk*rzMv<+KnJ-fuzi8eC z-UJR=p=!L39&@KQk15-BSbG$z+@yu;u1}Kr%9t=LaM74Fa3K9%!`lBOOV~qo_TC4| zMXTBDXl5K2v`YD6Wsz-9ye-P;P2a0aQRb>$eqhXR#*0IU{6-0@UP%_|nJ85Ed#RD? z1?l#@;LTAO&8Z#fPz^>cn6w#b)scvcUTW-RBDG2dX9paRF@DwOR5EcxHXkO%+O@Q0 zZE`p@v^e_$lE=j?+DQf&=D9(71WK~h8yIOrH3tN$H`)7nvV zVwo5eR*!g{i!L6#V5oDaD+!J6H`c3X61`TkJ>;r26?rwc_x-}Wz@nt9?23#x*WWW# z6&CeJXTHSRx6)|I4%RoDyvTdMyesI#t62z5>tUmi*Ku89N`5bdB|6Sv7>quG_|f2! zl9H{fKY!Cka;9cp!RXPNd{I3VKAOCA=qIu&%JU)9$~|<2vzl;hM#7E%4&NSWoeWRM zoU@`Q?!P~BBvYL@vONvbn(2fceI)mocK)%>s-3Z*WiJn#_mbr=+~qX9S7vs&aGGTl zfLnl2TSckUg?LGC&~MJ;A#k5&w5y-j6|sko2CivTtPsuz;$$=@d4*Gv9DnOZZufZp ztqC`dUC3hLA9+@9(#*ViMSx_0(J~Tqa!q?%)6gZ5&6(Cd$+OM0$q)c#P-+%^H2XNH zS(z9_&y8?;5-k?`ATjBod{QTq4nSx}#|KWtn8u{^V^%-1GzYOEIHL-TF)%CcqX?H% zxp_Vpa@TM?bnO_p5H5G;>9?sfDz^TUVWrHY^E zZBR;xl1}~MeDthPDOEzP-@EsLxqfP98Gi#+&UEWJ zvpxhg@4MtE3328mUI_}M0PLH3APqX^x2zFL`*H8G&#hBFTysOy5&_fcw-^97?yA1x zv0sOaogh2%8x(JYm8BVE+N0nY@z8RGO$Su`g~mVO8X=7)Ye74>Xjt;Es`-IO02BaP zlOgOIawLYg)Ih`SiuGk(enraZ0Kbu!Z(c@H@4H&J8&)(vYcwc$FgTJTbLj$?U@7VH zQY=XzgueOvmD*6dDk`n%&!L)5xWa@?xu=ypK|}0fumTBa`fZ_6Z~tudmrcCK^y8F+ z!I{H7RkmPu)`IEW;!Aq4YU*~y$oY{JtUSacJguib@?i7d3EV?MNPy;Z9IC9hn=)<6 mselD|qLbZAwiN^a`6}`syO{r?VE^Ct&%MU~xG$vsn)(~R*+Js~ diff --git a/assets/swe_bench.svg b/assets/swe_bench.svg index def4a99e8..1ffb95c8f 100644 --- a/assets/swe_bench.svg +++ b/assets/swe_bench.svg @@ -1,12 +1,12 @@ - + - 2024-06-01T07:22:29.978035 + 2024-06-01T07:33:17.926838 image/svg+xml @@ -21,8 +21,8 @@ - - - - + - + - + - + - - - - - - - - - - - - - - - - - + - + - + - + - - - - - - - - - - + - + - + @@ -727,7 +603,7 @@ z - + + @@ -799,26 +694,17 @@ z - - - - - - - - - - + - + - + - + - - - - - - - - - - + - + - - - - - - - - - - - - - - + - + - + - - - - - - - - - - - - - - - - + - + @@ -1456,7 +1170,7 @@ z - + @@ -1465,7 +1179,7 @@ z - + - - - - - - - - - + - - + - + + - + - + - + + + + + @@ -1685,18 +1465,18 @@ L 690 272.001248 - + - + - + @@ -1705,18 +1485,34 @@ L 690 239.866496 - + - + - + + + + @@ -1725,18 +1521,18 @@ L 690 207.731745 - + - + - + - + - + - + @@ -1780,18 +1576,18 @@ L 690 143.462241 - + - + - + @@ -1801,18 +1597,18 @@ L 690 111.327489 - + - + - + @@ -1822,7 +1618,7 @@ L 690 79.192738 - + + + @@ -1929,18 +1755,18 @@ z - - - @@ -1949,64 +1775,64 @@ L 690 50.4 " style="fill: none; stroke: #dddddd; stroke-width: 0.5; stroke-linejoin: miter; stroke-linecap: square"/> - +" clip-path="url(#p73b7253dcf)" style="fill: #b3d1e6; opacity: 0.3"/> - +" clip-path="url(#p73b7253dcf)" style="fill: #b3d1e6; opacity: 0.3"/> - +" clip-path="url(#p73b7253dcf)" style="fill: #b3d1e6; opacity: 0.3"/> - +" clip-path="url(#p73b7253dcf)" style="fill: #b3d1e6; opacity: 0.3"/> - +" clip-path="url(#p73b7253dcf)" style="fill: #b3d1e6; opacity: 0.3"/> - +" clip-path="url(#p73b7253dcf)" style="fill: #17965a; opacity: 0.9"/> - +" clip-path="url(#p73b7253dcf)" style="fill: #17965a; opacity: 0.9"/> - + @@ -2016,7 +1842,7 @@ z - + - + @@ -2068,7 +1894,7 @@ z - + - + + + + @@ -2163,7 +2021,7 @@ z - + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2360,149 +2354,10 @@ z - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + diff --git a/assets/swe_bench_lite.jpg b/assets/swe_bench_lite.jpg index 0286d6134a99e34a88b80dd21683121db957305b..23032d3b8702884d9e4c9d762b59412320497387 100644 GIT binary patch delta 27119 zcmc$`cU)A*LP$eF>WRn|AxfZsDD=NyM}AH^?`T0N$rOkt!R z+0f2KhP=rqOo}46I4!Q+Uin=EROAWQfPp=@`nF*_k7dON2X~{b681VHlp*r#XSoy1 zi=N9ip+we6iXGMid;n^9gA{xif+brxkBN?`?@-<24!&fleb3ut;2esrX^&;P)Dcm~3Z%_w9IpYcfiKs<*v7yy z>xtBo#>bI|@lF^HngCfS$c+owwMl9jguxlW_!Q*oqa`iI58%g6UAZ6=| zdH(boShbb)Bpr*|6*3jfToWE2#cj9AsEnjOAeT`DjBqw|z}*1sWEt8aPD@Y3tK9rZ zZ+2)uqQ)%KJqy&zkaTqnP$!}ubGz_p|vGPv?U?|w>3Ll1bD@d^I^GG7?Xo_ z&Ra~o`8B-L1iP8atP|<10q>C9V+nC*u1sMvt?EN)fc;kC=NChjfdeh#WBHb}$s1SR zE4Lx%ucEATMX5*mvKwMEt#7=Nv;SeFA)yPOQH(s~%E2$yvF6o^>P?+$6XSWdf52j7 zW#RMCQ;=z$D`8-If|aTBMZ0}W*R9O5-EIYAb9?vP4l`R4>)OXX34**GipT~h*KZ{K z=rULDzkwt?`$iGN+mxg+DM-PMl+rymabt5^_Z%q~s|n}2#5?$c?i~im3RM}hk!J(% zM-UP2k#P(cJ*A~w$`WQ{*cE3P@Adg)2_mCdK;GP z=llhb!eW80Nt~lcvv!|6qF-paCJ}_0b90{?4});#f>hlvY=9!qWc60>JtDQ1ac=*e z6PJq$<9jH}Xp_pm21X|h&L0;!Pd80de00pSrFy}(B zZ8XvO8W7rj7IO_e;Pc`6bZ?w7isB&?+V>>MDtz!@a1&`TnC~e)df4ECNBhy8^ulNV zK9NtJJ3d-A)Kr2W8kOdVh6W{4rv=mNa@^#UhYJ?!B4G1@iq-J0@Po*&=jz@DE#rY9 z#Zyl|OwJjFFUcI{GFk0ZgncO3I_Xw>BaTX=~X*QI@z~W*tWn0Joc2_c;xt#r~u6lqS zQcVzIje)#j^ITq4P1*68L*DgOCNGk_>GAB2?bkBAqU_N+L%#P6wKC*DYtl6PY<1go zD$Y?a@mPt*5|P%Y?b`M~R<1#y;2BN!_uQd(ISfz)VrY2T=Fsv&P=<-tH!O(q>AUE& z+1DczO?PI-briXiEnidt{iJN$Zb28~1jBBnn`3Pm7CPdJc-zejc3-JAtUP+-7Eg-T zxDrtAqWaZDNa&{g3bkSC;=!xVX)TZE$?ts9T+dQQDiZ|z(j2|WdA20Bc8Rj6Z43uB z(V=SjrHw-wHA8Lnt|jAZ#GYr??9U82I(A6!H`wcL7iINkPGiv+#pt1TJauvwT;p&Y z`7~P?pEf${0=1JT!7wL_vV~qlm_ZZ5prfpTozykh%@+LePmNRcN0_%Nw!QQ|Ps^Ls z>~6AkdX)7;QU2^GjfAO-+d!+@dw0B{K@vXU;6e_|nrW;U*s`#|UAGP^;u_ca`EjR8 zh|9;D?;TdYzes_mR?ohz$)m5sw!FhgMyg!mh;98{nq#L*ikF_s;go#s8b>a`Et zCJx)QoA&S>*M_vl%-2i_S_x8(eni(erkt$utZAt!yKq7>6bu}pb1ak;`F`t51{e)u zq4cO(_m>VYK1h{HP+b*&%Tzt)&Lc^NuMflh`6xVKIp%ymP@K3o=J_hz8GZ1E0~G!Qr2tcZ#d3#2D{D29BBF{ZCy8)hPgb{k3Yqm zS`SyQbG6&YX3{NFRTEfXlM(7af-Ke3!;OtYmjyCY$c4kDsGTt=Jie7z4v$+)Dq^pD zIF9T04ap`*&+C}$?7Y5zX?hp)^lzdV_#}^zQ*qu> zivK&=p3Zfs`fg@tS#Rd6*hpE)F)^Ryp#3~@>OJg@lNT|BaTt{E#T?w%6&D$CLs_1^ zrK7K2g>J$eU0Wfa<8lSd%ry)^{BaFz9<4gBq+x^0jMsn_c04L!#jcDDK2U+-Gmm zSw+kBkmDT#1u5QEisrpMgVP!Lq`sLg5BU@B*vE5$JUVpfOfozG8p4-Zd*^Ye<`S8+)XGjQkgaJ`_Zr@)>fb*EMrE`e&-*XC7` z*^74~#NiW4mAAk40bNBr;INnbJPwYw`FVUr&RDSXOX%jgm&KYRhCkbC>?3L}JA&f; z@)$(JBNHcosZe1y2^Dqrhz`=bsc}osPi=J&92=PhtHgeLWQ)|Gxt^{LXG1=EgJA@& zhEbG5Zl_Aemt$bd$y-NL@qtW+rGMKt@qoTKXDr_ny$L<6x3ARVz!ibO)fakqXV#6b z0jFz#VY%GXT2*OJe4{q?gHtm>bXg$gM;aHVxv3B_5ra5jg)YSpLL3ydxx)&U(PI3udr7E z|5HW%ud|nV+7bS)Kbw8)+3ErMJ4(eFKJ=8BS;KbuhOF_0CgILwU0WM}ct79@@;&&gC5X7;8>wGgRB`n~4( zw?hjdIG7rtc8MZGQS&M}vde~={+2d%WwsB!Xo86vlYvNyUR7iR%{4G^&rQKIwFwvJ zzJ(FanNvd3#jSd_vc&o2CQ|Pkq4c=|pE5$}fj<@We_hB7um^Q6G^vEwf39S#&xGsF z5hXvMWhz8q7IJ4pUwiMF*lFY>+BLxP3$@_=2=6$hV2{iQWu#j97E1pK#pUni9vM1P zQjitdIFFL7&9lNy(id%y`~%MART~QNgq|q=YCc-9Ab&O?_s=t+!Zh#i;UssNs~JSn zUfykAkrjt);Drb-wAl0X=xHl@ zm_dgD15P9gFQ^X$-Zy(0I^xO*Cvvu}=@XUf8MKWHmLH6_5ss15K8sgvpy)A~)LB<> zPQ@8sK?u<0%;=H!QycNNa}&I+xwKDf_vM1-YEVGkZfFrc<;E%yz1Q4Ehq95p`m_y_ zb@K|Z+(_snCJylDz~>E0G2AzS{InikT5S@5JaPHUFk)r{2M(3SGtQ&W$SQ3Z-Sy$r zFVF)q7u44gt%Bc$AFLA|?`vt9`)RD7tN5EL^x*o%Te%9wrJSdJnVYhJPiPF|BK!8J zpBg+dbW0?(pL3(4SQ*tcKuk!7PBVHMI)g4qy>bv(u-}&1#02*($u3`bJ6n6_TAYY& zsCmk~_2&tE`pzLHfUKXV7m&KQ5>iyoy@$a)AeKyQR(@dfn8T3g=J}%E#5FK7Y!30a zs8xquT2`2b3(agphkb4pJ4MKj36Zop!098gsYn(NjrFR}SI$OuuqGN3-j{cpoEdc8 z3j}8`TPuYj4-)m4^&HhkZ8kS;u7NUZW&*U7i4bDbH>uqAewXVh? zbPsN;S<7%gAo$?Y?qCn;ceO0)$u-;HT*^9*%#aMZtfJh%6D`wR0N$SHxHsMKDK;Vg zfpm4;Fz!+_Q=!x})#F}t4klJ-Ic5iDZdI_ZvR)_5^&@qtFjKo)xIddijsS(lAe_at zDbjM(_Ru`-is1PzD$-j=XEnm|o`{#VkCF}9);#ob{dMM$P)ZXMEyA6sT|Kd!=d}wTTX=-Ib70P#F-52Eqz7Qo3y4y_keI|$0-GVx zWAsVqqfhr0U+o$}QWCh8-M+0KkMEe(>_5Ks8~s;}*NQfLnx5vCHzTq%DhGpSL&Tom z|Eig&YYrWRrWP zOwo7(mHskg_}r3L{`dx9iggNp7^Gwu`*C&HC8^aW0y9JvX1raXA7CX z-j&3nqFhwdB;-1dPAoJHeH^42^Ud!xiOGKxEL-Wi+JQ&?t$>*nX9vvUx24cMC--=5 zNNAOxVy$0KUNgI=aTFo0oMuotP+kK^Ncm3oI_w28_->)8?aByM5Qc#Z7cFVWcu{A> zdJf~$E3Gb!wz+aS8{~3lY{4xBF)MMDyWaNFMoD_ebo2S!9D*uKEK@M#(9Q04DyEud z4dr&9I1p?lE*?1K|0r&993k=&d4T6D%&t3~V90&R#2srby0ctS+Sb}8mRH8z?I(pE zp4N&8ih7v6n+0#>4yK9J!0ty21luG1hVwmL=PB-wHRoIKz2|nh7|_#Ut`@~DX;%)S z!-#CKnA$=Xx#zDx8n<4`PJwt(aepMg26#%h!No;uUHdec)I!*Y!g|u(iQ3MS9ekJO zS6<)rq&sFA6_t0lqjKFH*STUkcRR{EwTilh8~oXX%F*@Gx!oQ)K$frhvc8@#GBbO6 zk|29x?98g_jvqEA#@1^d48y9o&w?kRJ94z(vPu5j6+0xBh!fk9@f%inh#uDp(M6WW z9smAs9?Sugt{R9^>cNzJl0+TMRjqeAYN`(-=-wYbD~ec5vXXo|(NAY?t5P$rIHy^} z(IY4(XU>v-K#Wl4ptC2@brK*4iK`?4V+(x}IHx5Jf^>8@K z7|!LyGo9J=JTdBHf0xScccy8sTNJibUDGt^#8a469;6a4DlkaO)v7lkx>d*X3F{?l zOOv4#o!g9Z2it2EnAVv;w>qm==}dbyTc@#pX=m@3_u=g2Zc(_2=bTtyPFqU~`>uJf zor!Jq{(!)9kX^pX5b-Znvx;avmPWTyk4ks#^t)3RfGVeaY=H2g_hE=0g&pB@LTrxxq zzp$iuAd$Uj$q5TcNQ$oRP9!R+jtmNgzKmRH5h4_KG!z)>;+IAs^6T3gYP~T%IHhe4 z(+H#rn@t6$$`LarHIY-U((g(0Z|WLK(X%y% zm~lxOn70o3BUt2sUeJ{dLsI1Z^Qp9HquG^8MpG&O4dp%Nz9vU=&MdJ>$bYk;eb z$(xDPxXipZnya?P6e_Tc_rS)$d|X-acA5rH=OHG-m(jdRW3Y4dxiccsnjdXoXK7ovy>AZ(KP{(ep1m9$*<|Rh1Yk-cu#trlZ@~t%(?7z z8_yQ}a3%X3nnmaiKELmAhFY0Yfece?h$^^_;CG$zab*svKjv4I>fqtkTk1&Un28#H zbgZcArX*JWu+mLIe%TT@^Y=%Ox-g8kpE$@-s3_9yW%S6D3~gmsR#su(?dyN~g6VOU z?qX_VoI@zkQMy|hlB17Zrzga-th;6XeS-aJ;1%W^#8qQpT1Up3mv1Lfv|^On$irS` zP=uhUd_zID7sg5{^U2C9VuI{NWYC)YkW)U{)5+#HHpT5aj;~|2&STw$BXr9?n)0B5 z8aQDvC(j5Hmon#L=?uF)T}ErS#ZApd?|hGH)Zy#fQI!E_oqX3c`LZN&hrHzDcwMTP zRjf~U$xMVdq4!dY7J5Y{`jYEEz@k1F9x>hKIgf(ul=E8PWRR+&2S&F*%(8AhxOll}AN zmnJll!UpZWd=^XAUap3Y+`;{0HVYL4TX1*dc-n~Un?@$%k!W8Z?s~3F(B&19s0eEiQ;}C-8T)Tj`^^B7>P^+yxh>}3kUaefg3szXLoZi7gGUtCMxbw^%0Zm2P0ZthZ!LHnT#Eg*Qhh>J*BA zf&f)iU#%^(HzP%xS>`v7FCCY4!uxqfnXDSai$enFuLt@ld%iF_BbPMj1*Q(Yr0Ys;Jz1r4cp z$a=?u4|Q@d$qw}qD{&$X%y)_tqv$(4CvTq%{^kKE z8q^+_Ff_eaKp8x*lqmq+_U?zIRx4m%Fdto@%^g)^Jq5SOF7{4*^e&pBTyq*+g&^mu zVnzdCA*4p_b%emuJnZZz1pEx@#E}IJ|8hUmmgr7ENZ>N{!$|&fxK6~Ts08=#NIIX= z8Gq(?{On8i$IVZe$_l?ja(c93Rj=QHG~lfJ?n-uqg4vs4@*!Ppy-#^|@j{Ite*aHU zI{1r$e|IccVEg6sAhqQ(HyPOblgGgK|D1t>HM01Mp((yGj=9{-NWkSNeG}VZ>(3m% z4}@-<3KJKpOt!zXC2v?q>5>5j?K=LD_gU~ixGDb+{efpB{*qeYCs5Z;!bhF-oDp&= zo*$xeH$*t+IJZ46r3HAuL<=v$^-)nv;@xhj2s@L)M=w?h+b!MjKTa#_f4&asFkIcG z*xoxsT6w!0v^JeR-a?&B4T6Wvx%&ARoR9jccTSd5yMdqIR#m2`m)dSSu5t47(N)p^UP27zF9&Vh9R7=^4bp}5OWswSh7$}J7Dps zUv{gUj8+g^ynKktVdKW@n#Yr^v5LzIHvluJ7`1>N!7K2nSCb(HrMRR#ekgPBYDQ>= z*q_29KSL$ADX#(D3WqPv$Qp|!`6>qfo8peh0&fe8z?CblU#6{&%ChOaL!aUMPX$WM zO)Y@}ks>$$Tz)q=;-rbIH|I*nH)||H=?i-AoES8pj(C(fUs6P9=IcB-K{fQj|L<~? z;j&|(nZ@q~rWH&nW>1;93^Yt-MNuZn+}P|yx4}_rp}e~3%n{xlsvUfXmpb((V85WW zw|&b=fhqO0n(BO1F1rh4Nyb~Zlejt8pGc}uBSrUESY9oG8{zWi-pJ$wOddrpk-Emj z4GlC5BM0aJnb3pZbyBGQ%Xd_Br7fc{twaMgNfyAT)^Z|c!`b_X?kmu(myK;E*dIos z(s>KJi@h{+&5u1G;^3RBPor#Dvt?M1yOGl$j0RtAksc4t;|qx8IcwD`z-2tmJ#^%c3lS52(^!1FCcvIcKVC zQ1A=%YUnZ-?NC_)z(*A-vOL94y`slO$HI^##UtxOPRTEfu~T6b7T18`QRbGxrcZ@_ zsEb$~lXw1A6e6kuEIA+Xpf81nJbw)JeNKYU(n0s3rk%Gd+cIiH z0}D;tTwHtHvo>5FwQnnMNwHexEIT=mw|Pr<+^Dr!y3}^hCE22o94c(=pv|WC+ZJ2Q zc)CsLnS%Tc?YlXWAyydo)PH+ae0Vuo>Cyc3t#=q~PgI*yZz(poOyk3|2L)cd$$9m) z7nkgm7cDXD;i)M_0BuqBI{RvIbI$sZjy|XZ^zfq9!}BC51Vz`)k&i~QM!h%5;*cJSb28swM>-DWM7APQRloDiRt! z)RR&g_Ih({DWjKFF|=6Oy`?=(7%LXq;qQh%Vb=>dd2ltky65SdLkd6CdSBYnbb}eX zx8c$s;ySJKI~o07OukM*O#VG0zf^8ci>Nmgs;(rgbctTuFiW%cOLr$rse7Z7LVt&S zAl5!b<8yk}w66YD9y6$186ZLnr}l0Cv3}dE=V0cpV2KC`zN$de@ytPH&oy9u4e$Zp z`2DO`RhO&#*T4kW=lcl!eKcWR6x$OkK0ysCW5^*NXM0-l{0QRs8oEf1e9sH#(h9d_ z#=ELJxNkfvpWo-{AoyW*4VX9aEptj-1ECipB*|9_9pJG9mn@T8>4kO~d|OApJR-(= zYO%(=@`EoXHLGK!6leO}nNe~}l5T084AuC{@0$)j5%}} zVUfAe&wf%3Mz3U~KJ@XkKO4A3wq4|u|HT4R&y978rB482l=VyjI>i|E>$8||i3vKV?8eS|5wQT+NZG!N-Dczm)l2n-+ z#Vm7Nnh0X!<9z0Dyf&KFlNWMJMB8j^br*MWMGgTK3ZijkEulv>Ne6OqSv9fCJcUM~ z*ntAQ#Ho){ui8E5%jA^E(ZM&TIj@Fn58J#YPd3S4`b*oi`g4U`JW$++b7H0+A!2j_b!c`n@c{xsIj39rT+ zo{0`!B=09|HR#|&O7I@^O2_-2ay}f)w@uIEw5JtS7A(irm9pEF9FoM6xpSi%N0&U4 zlNrB@gxbCruZ@AReO)~!P#k^u;iRetmd2z`fpYK-tA_z3VhfKu1)qaak`WM2bVmJ}mHyp5wr4WtZx;Z!YphhQT0Xavrr_rS6rx;We6ib-vq@ ze4YcC^yf1HaH4Emv?(UL7czPU!%Wtz9VLs-g(u&Trk7MMl6peSf@5;tNlyYqv|^%i zc`q%K>PMh0Nr>Xnapy?{J$!mfc^I{FYdVFmvyZ5tIP0-roK zmv@J{cYvv~S`(5Rpk|syQdNX%Ym$}ynli(q6lxhE6+6QGw7CxD)T33-p3}nhqa!jB ziL!dnC%Ij8$@Ua8>Jn1{f+777pwL;7?1BB<1mKD1BHUi(C1{-sG2<$>s3P~?|8ih7 zl@iq4=`(qA1TG0Kv*<^)V*0lXv!!U%qKv$tMMPKwukM%asn%+!6U%VHu=~XDsvCrd| zS`S`5_J8HxCt5Ia8aBuF=^C&^+kB16`3Qks@q^0cBLz=YqPXwZr#Rx99>s}BtWM|s?!*|eWZeZt1Wk=nP{QO`to!v*E}?iaud`42OU0; zBo)FjP!0=i(a3CiztZ zx_=uyjY`e^{{9*G=im9}dd62$sI8#pqvV!@~ht!6S!p1Lm>>x z%Goyr)BlOH(O>lv{OfN13+Ma!(cl+I=1=vgR});uU9GIi>fGmt4$A-D{mkF{{HZkS zS9HBx8n(>cKY9F%d0hI3f6?Ke8wdXf?f-In)xBX?*8n`bQu6?(e*zv<%-mD{Ps3i& zi&fb4ZZGeMxx1<7;QTn3tLo$$kgX`eu^(1-`E~vKowq2wWeI|ZnLn$a5K{N=R`C-? z{+SeT#-IAdHsV+9%aQxp8a!J=8Ob%UlC$=gVC=l~dNulO zx8p+dUeu9b(@c@r@A`rnmK?g_oVZF48{$*`Ec~@W@qcRLasGO~#y}$#K5W|R%PcUyuqCat*pbK3v z-V+X{>qzFEeU{asa6-9o4UiTthXS)rbCigt)l}{)qyh42?bf4tPZ;g(LXL$T*@-Gh zJf`V)DJ4w(2L6$A6jFFv=BtZ-1N@&nZm!?`vLcz^SJc)-6eg07&iLnp?i(Xj=VeD< z@ zHeISjB>iw*UCK=*HW|UdXGgtWVp7nr#6KiVZu}_A3x__YLI{4Kwqy(YZUl-(#Ch{{qbQudB%TB$U*f@2mbnG)98-1Q*I3DVL1mXV&`>pL21Es2<}+wV7X_GAvRv zLF6e4(hrx$(EKu>h*;Dbu6zx6fk*4Km9B5w^%XBT=w4ea;{VqkXtL3vB>gK+9BMF& zW|;#IoNa__(6)i@?s8&2#bok?R^eU4<*^2FLjhBw%tTB^7G+iNF9iJyZIO2JYW)x% zW!BB>v080@UmtaBq4y_Ib!ud^V*j=oZ2jZ@TGZXxyF^k~2V%E0GCp5Wf&I3ZE>Wf2 zm&eyYheb_{KtUiFn!Fi-+E$zP#)Ud(4p4{xWIrW)@^|vG*R}5Ta^6`^j}XziXHC-w z^Y|8=ZE)L=9J^?X0N`5S6``KPGkPJ)ZIr?Fr`*<0QPvmbc}fsc7EH&EZI z1sG?8{Yxv$O_vHUp{B`^--cn-a|8S9jKkoZwzaMZuH0WMpPUf~>-v*TB4m zJ5kHkN6?`2-;PVT>tXgP;-TK{BAOXjYwPmbLV>YZrmN|RgUC}D>!}7r z^Af4=gYrmP2RmCX_?lvthBZ-3*SAu5)5`wAfdP^>>c0?y{}EMFjNF{_1MYHBnnn`M*TZwdkT zU!bPfXvWVkLG;s04bIkuccMUK!)r^Q`{koMD(lZGzb)8&#F14P(ykH* z(Jh(WtNpi%zOgikEoqIu3t zGS*g+Z4rTZ*S+6_-h`6})BvU%I?f#mIUD1e!JN#B;yR2Mo(NUJ`ckVHGRfy8IV&Q> z=dK}}&NQ{s^R=PdBiKEr0y-cqI+@?>%EqMnM@F6UkwfVtH|*^EeBmA7rdaHKJH_+@ zK`O1v#y!P^FRNwdNjqbq>8{hIFYilhkdnKvosRObP{X}g=M{0p+rF(+7*{GD(@~jS zRuKbRm%>G;P+>9Qag6jMB3U#(dZX8T;dqfGN1U$|Nz4b=2$RyrcF4hL#O63zZcWVo zEzRXc2fq1|Ik$R}f(@?0IqPJ3xlT;$L6&bqId?3%m5Z&pXRksDzQbkkccA{-Gp@oP zC;|Xya5q8b8W8Ib7TzTgKCPXuNST7P@dj$ihm!Op+HIt^x^TX`Dw$6^CwOuVG$(<3 z1g=VZED4!dcp9~laL`=UEuwTrUu4q^T|YE*dY-Y)tnjtn?stFbA0Tc_G{_MDr+9fD z@zi9J&%0cG31lg@IgMhjiUgoG?4_Mhh2!XmJfd1)5wE_!BxSmQ71kuyST6#!?`(ykI-p&4L zo3@fmRIHF@CqjR{az>fH)JsGo-1KGO4ug}2Y-%g1uM@5 z#;4*d?oHYZ>gsIbkmPo0U`aOx;8cR0~Du1t&xtQ`@qOjNDmZ`)g!zSw5CgSz13SZ-RE+s4n{&e8d6$iOZFkwOPB$?-H2LxD2Ymc|u z_l|lsVmliVTG5tW2%hfq%`TdfkA1NbFw7R8J3=g&o0hU+rL<-`8KroAjR`09d0XOC zU9Uc8EyPda&DXCrG}jNMW_MR1piUK?P4!gyR%;p}KsAr8gMHg-d(oVDd0a`Hxt;rl zR1JDgjx4a|JmoOdGA_5y?JpUkt!X9l=F7%lq3!0HlN^oGtfIg(p%V-;V^D%1()xN^kfZ%t-*Zm_0+6O(1ZchZ5>#wpbTIA^(zh1O>zX%03 zS?Y}~t*?^uKd)=zu0L?!ZNZT3BLw!jotw9koP-!+%@=}C9rdC-Z%!X~6F7K4o3ag0 zL$~%PRpU4JP(1Kv6MG6C~n^rplLo^d_#9j=JL)Nb74U*~&oFS~aY+NBL@&8aR=Me`8?NP-gXU>i;f3^xxX zcA{ab+=Uy?H7oi1!4U2-rD7U)6`_?v3g^7DoiSPiGZrJ zy=~s9{gYI!cxw^r&`34D*u#; z`Le-$i$}yZ$(-#u)aI5EMfEoKP|-E7b4@zqY>V-bV)To_j+rG+oDi((ya2C(feq+UrV53b7Ul zZiN`;orcK}A8aHbMqO{FPGcF}!1ASLC^ft{lrn&+nz24$S^JVWE>AkT@3#7HKnsWw zX(zq4p}En$c{Ik67Bo##7P(e{oTC0h1DDjxh|mio0Lb0ZvkiuhelT5%e{RmU^oY-~ zc777NOtKggYUEW|(EXxcS%f?cb;^0mC9`lXNns?r;t1ZtIkD*{3$0$f-x4XkIA3o0 zoiqK-yn=WuwBOqrZ>*J>2?NSd^#Kg>eBQPFmBpJ~XEc?jI&Ch@vQiam`!ay$Tj2Pd ze-*~VQ4X{pgSxaZaK3@mJRu?%@@hQb8{{ei_ATqx>{bhU^=zcK#Zkj_Mb>GV;t(g9 z0w)$HR<^OQsaClBI|0Mo4jABEu1WC4g1Fq(HOhJ3TKJ{(qH$%VQKV!HrX*;Uaw-k#2oNpg> zxr10M>SiA5@mofCW@z7%q4hKyP@v_#qh^Xd%Dc6rvQ~DQ+*<37U^uIqTc=hS?T(sj15z#`5D-3JdYmvsMi}4K>Vjl+(Wn{ErA0?@ zk?~MHckZ-kYw<+glS3;zi?nwf8=g4WS{$+h6CZHhv)1AK5v|Y}7+?;r)m8+SSRY3S zZ8HY@HPd@gi19_W7ito^-}O*z-C~gAd>El}J9eF8_Jzdc<0u2rV(a&``$B%@)424t zq~TiKE*H22WyI1;)yD#+AIBD&$ReCP5ZUBW8PgWHhSv2GUj_T$oTlKk*RxH$Dr?$x zf#prj=zta#Ut{T~L1WzK6kzzuN0b})RRZu#Ey|O~TvN5cli(=%hW6}Epkpj15VIi} zmDdI{S6Y7{!J*t+cbhN3K9I2!<6IN_8n}J;WCoMA!GBr0$U277oywtrNKev%cS%|} zLc~iocg+Cn@ZzXCR_7v7|Dio2q4C+`3f&hpJK;OPj`NiYIE4D1bl5iC9X3no3^k{*%NoQjw5cOr6@QPC((#kKcMZK=~7VTv? z3&vjOeb1IH5g^^_fAzWi=^jCUkkErQ)v;OKzMVU~L}Ldv%#l~Z5a5V`@#{pJD*`d7 zuj7`fmaNpt2I}-sYy+5gI|b^|V%v>Z1)hTgoMFF4z3#o@N>cjV{3I6l9}E zAEqzl|8~w&+5e_s-G{O|+3QJC4~8Taf}4( zuguWljHyv=5F;NZ+q+Vz6eEAF(v09z)$eq?eXqRvMjxLCRxRLAOs{Ep)Sp{_i~)}@ z{KcNDyu#|DK3Qe>9C2@}sXZ=8sfLi7o(S@~&eadITYA%FLFf=|<4`l)63J25v?sBY zRok$f@OeUdkM741OWP|pJJA*BXq2qM@F_UIF_HGLD^u4%Ar~TDfH>%@jwT>lfexGc zD*zrJ2^P*tQ=g7r8WgM*Tb{Te)~Ev}JNuMhez@bCmQW>c$2fc#MpQnE<}p{)Pa!G$W31f~g$uh}4umpYB>wu=FS(FcQ?(c3&9?U1#Li zMQnKqXLsf5-zMfTR*Lb}4&ecANS)!MCFYnxeyiQL^q3kcPk7$?)*oB#DNpmd!(^;Q z#mReXqN&ZtB1W}_jKf|nkuPV_%QXrDM?QXdpJx9 zlWxJ_j;`AWtz?;nfH@Z#xmfO(KPGRXb{!{ zs?|^TZCxXpR-%Hgft}5nO9h*8@7!^T<3X&NiHqjjH0)cc_NpUty|VCcmRdF@V>H95 zYE(#Oa7qdquE?K3Y^zfI35CCI;T zVXkN=upy|8ekJmxRMHz1Dv}*~Gk93%Ei{#7_F5s-h_ZzI^hTi)CUd6wd3aLyjIP-+ zpG1LjoEDW9xEL=bV8fER1ep3-fLLp;Nd`ei74<>gDgEpLlO%y}r6^-`*k>kmrpL#+ z7ZshGx|G7jt%+TBFfQQ6T&SnX$I2^8v#LY zy{k)^j(lB4A~CmtI@PW03}0S;LDn`8kTb*l+lN^C7EQ6ab)g#q=KLZ^UPN-!wg zkt4YkG0axHD!NDvEO|YfBdQn9U)OZ(#gCDdcd>X6#g`cCPVtMBUQ0a`es5wM3}P4E z&bW9q^SlLG*Ed$i)BYlybOq*Iu7t^6WH#Q`5nMiHAY+M(h>;Fpnfl6KjeKAso!qW( z;a*}Uq(9eWRAx%Hw|`U^iZY_S*maHQbtQASLRigUD$j9RqUM*r=L}Q7&Ke0cRpe@% zdOmDIIO^QS-kRUOQy_`PgRuu9V9FvysT6Qc@d2jtS+(*PzMBn1{Y)U6Wpd4~-r+mV z!0C0YPpLguhM`^U$=F0PIJJF@q}Q;j0#6nscFA;i8o-XI zjA5MPCRky@Q9ch1WhH`mmttE^39Al8v;@z4_IL+>_h6Y-01mEvwqX@I zQpJsp@GY1z32o9KH5*uZ0&ru;9DS+4!R{hF)@u)7(iru4`#4?O&ulR~oWRR*Ck^H_ ztc1yFoWAY~S%fq;aAtPd;z?NBT9EW8OtRxn#!3;W^tVhufm>(6IZ#K%=JLHuatyqw zH{Z(K!R)q&`db!f`0`AEx2Brsyq^xT%!R4Lm&{)$in?_%$$+ZS_pvC62g{202>Nnv zB8t2%?>;(Xw9ZMuW_%c4WAn*FQ(OW-jh<)jVNXIyP+#4{Dk!-~&qAaknZ*b`+IKVZ z`|!;}MrmgAA!NtBn~Gq-2!&Dn}U6eqT*nj>3iM?>O_r}8rWyz+5PDNF!n{p;<~u>WV!wD0en>i0p}@7h&A9{nuK_|0$^Ca9NVE`w6=YH%qkD+e~bvS zqb8-_lL4kfIIVV8s7z)}INt5IZ3)z`KmJ&W2|cu+NB=M|p;YBRBO~<4lT1*l-H1Cz zXz*Rv9S0fVeoiU*cWvaPL$4ytv&FsfB?4e`HEL)w)V8X9lAfA!xt5R4t(OAIyBGxz z8|94wN>b1?B{fYR5dhdT&dK#)v)+Y#z1dvaaIn2}7gIN0ASMPH$qTbKRj8}m(+skG z9pv4R+-K_j)oRk06=QMnTvJp65O=jE*h)c^6|R~@WZJK1y&k18#0eD;eC_n%@MwhD zP$hm;X);UYsmtBM7cpCF({+6G=_yjHT$AV}=^f{UcQ6uj_h2q22!L@TI#2}+AxgmdXCmHZ9 z^%8j_Z|stN_q&FYlylD6C^m73Fs>n&jEh|Uqhp>3=={T+uA_xTTDRqc*>>q{!TkILn{-^kZS(^M6iOxdND?r`qe7&w>?hH%42=-*;9$z}?{BHP)PLeHhL5{D&YT z!^AvlJpq{`n%*zRZ<9?MF*?WVl9EPzj3O8}gG4NU$?^VtArF0(>~8Q>a?*}}1-#+Q z%czLscHWKP#}W{KU0Fi^(vf^coecBYmBmV!z>_Z<(?mn%KmMP}&hs74wtd&5jwn%r z=z>8+OGFur@I)9T2nk~J-ZI({-K_+P=z?g2h!#d4qW2bLbcxv4%2%0 zlo@s?(kU)Im{_m48MqQpCDCfawL)!KdPWGfwqUs#3a%+_Y@G)c0Xt&)qXu#}xDWha z3&f)Vok+cf^Nbf0Fb!l`?st)qPU=zOuL;qa;zX))6Lauog;GSGW5bgSREbG0&pQq= zxCz}Y=t<9m$%GZ*#yPVEt?>Z)z(RHR?{G-A1OsE`YRE6Hv>a+z`T+6TWTef(sIs;D zofMSFC|zeI>0Uc&5EgjLO|jLx4B_Jco{sCM4-s+LG4@WXSVZ>7_#aLYf zh^x0V(QL?-PjGL~*P@WMr!%VV%e8Xk%kkCGvg7_8DLQr=25IkytTUO!v`b1%Qrsj? zr}Ga|O%LYt$x2g6)AZcjr~-G~JZ^1(n+4()kyf3(>g8rm(r1ACQgp0G)niG2oq;+K zvCl>hw}xFVp4(tF$7uhW#~pb`y6w;;p2{LK5NC~GQ;a^zLaYyR-zhWj}~lf ztzY>3fyYYsok_ebi6l|~xp`M@gIUO_czEQ_YBq)f?N|aTx~oAMHG;pw%$k zlh6t&&ndnG(#nAn$0|qRH_XDH^{=wC8I1V5s`q*XI*$K3yKr7d9zB#nZlcc%|BI@dq;_RrFq8q? zr3A54S#A9SVfE6`8eUjk5%%-DBcH9-k_QQ~FXVP;u#5{bx2ZO9ei`6TVP!1Iiw+eY z^o(OLabzQvlaz5&78)Nwx`MEr9#8LNkVP!1%{rFlz~cctqRxZ3IvwGxIR#n(dxuO6uF zhIM2vl96zn$igOnmKT`L`LuSX4tF+8<946;?~&M@x0&7Q?>{EgZ;D9cAbGb{iT<>T!t>6*IlD%biSnz9V+5G#)!-Zz6z2-HXvMj*){be(OM%1@Gj)!- z>cO+S5~}J3ZxyPDHly0`;t}y?&TQdB#|G(u=?*=sjr_-Mw`gK0$Rf5kVSJd>3^MAa z09H00aHV%jY|Ubry;aa>VM1LXtL;xRoS;RJQBmKBG>-0L{pTclen=8%UdTKRX!oI_A+(%a@F((A33LrJk<6fVTE#T=e3SVX(IiQ)=$wRc0fan zb$#fLbni?@g>c_JcO{NpbgR2S+_JxBpz78hm8Nw1&(l{9YpgHh)j^50%Idz(B?uoj zZu%_Xh1|Qhcx}ETMUQ`G4nOq{wXbF-I_JtUm!rNo({Hgw=>!%%9r+?;TNk!=kBkF- zooO?k9uel{z4#~>4&mM2Noa5W@EfRqx{+zm;rD`^tFZ9n{(C>j`r)Z~&2-aO71K%o!H85LrJHEK40}zy9hEWOa@J((DGPcmJv0+ZdmE zF)h`O|FP}AeD!dwWuRIx=wHyoTK8ycuHyx!KU0YLEF?|F)2eoF&ffjc-{R|6?s1!I zfPSX#q9J&*{K6R3ybZ};rP;D zupK)S`-HfF$)WWRKncQmimfGF;j@32N<&>EO=VQHFmY2@teidu{H(sBp=BJ){(fV; zJneY_Kd+=di@wQGT+lJm$D(c2wjXySaz_jjx?z|=9Y>XH^Nc;eoggPC283`p#Tc~p%a z?2YQ$E}1I)tPZjxWa^sf6X~* zqKeEpXELjR&bxe+d5MhH__CBqfrwF-&!K%$g`5)P_lXhzr}QE#PW>;aZ+m(Fa@&<) zA7hK_u~05QN9>7-shof0D~@S7zqGy>ONHYFvX({7UyLbMnX#Y6RH7gusZJ~BhMYr2 zRl{Dwn75qP=JmCS#`?C{TCBlgo@l$3aiTk*#F1S1K~(B{!MKz-!&XDUK3^bu`lk@= z`wI@S-6Cc5MtYOfu7)YeQ#|9*kI>13nT2mD&r+o2Ws*1l_<2cToO69XDn}X9+}_ug zL&?Jwo#03JW<8WfZa#~ zUh3<{oLv2d^=h*rkk}{s7II6fs?Nz+JXuSj#dOSBl$WN0w$=~_^Kk#Fa{qMxQ@WJ` zZRhHPy2w4rEU|S3z1L-~F0WvrE2O95olRyz_0ba=#VZ9(3i~V$ z9A#3bML?;lk3jHa8-lOI@<8S9k2h$*xR!x{7=enRyP0-nn+Nkg4cmH683wIYHKCik znB1z=fhD;{4iEJmXVv}AR6X^jeX*UNlE0h!^XolqQrCL?I5IECsdBd)r2ZZ`$guev z%|CZxV;{bVQoZWdH~|kY2h09dHl9>mVs64-IcGiXG|*J3SFZR`&#q}b1?2^5PD+r< z9ThXqkDLw9KBFZYL)SXtyp`?KIRTM^(fZ;He?-6f2>1EtiLTA(bDZ4;Sxd-!DD8k* zFloo4fDw9>#_6za^K?vPP*gW;mT9vQc7IO^cMh_43gRIo;7{`Gi?$6fk;zFSx^Syl zHpAY*!5@Vo!<05b_ZqW1o&W+-qEFY|ExsXL(-1;*pHd!di#8`xv+ydFDg9MV)m z44ll(g^Q?~WW2mthwFo8+$ZIP(U)V8?1}Q!LBc&G4=Fufp42Zs}lLfR5U6va||w z<^>v9OsoB)MCr>w;M)42WXhaY^y@*CPtfGe>jal4!*+=eS2O8UiOdn8)f58m;fD(m z^<)>Pd2Z>GK=wPJr0Cu%F^ILdxLoPLEL+BV^ixF=;rETo|r022@EJ zYsn8CwcuFd250Kt%C87A1qH*h+szLRuK&3?nYxK(8XH&vv@{e{cH!^5>{UMX2+-G# zK8{)NF7!)PIWRm`{D`ITzf%5rW%TKSOM5P3R%U({6>XjG^@(VmOLWR}7v7WLaM?Ze z+cO6C!A`Gq!66A0av0V_dvsbFN51W6Ti%61>}dw4OvOmP9i*>VTi442+1U6kHzQX5 z87UX^-Sf-63=jHxnPF&_i1VgY4>{6 zai79p;crt-WaK5KG-kaovY(Ip%!%;v#6HTjp>yvA5azV!w`uqck!GhifttFqU1QY9 zK7#2F6)QIkHvLZt^3{o}{1w~P&c)FUPB1mLu{JXZOQ^da;=%y?!xQty)6(9lvY&qb z_Lus70glW5t}MSD{4gn5ce8mT4wFAn&b800`e10_OWif;B~A$GeAHKydj6(_Dg#8U`UlYvo3PeUHf2=S{9 zt}b#xOK!vudawEYo*O8>AgDYr?&57+GkqEJXx2P3{5Z23z>( zHxw7<(edO&E_406X8T@_NPm)lyj=<2(CFR=;Fqy*FhR1YzDOf(JeF5m6@h!6Y|Fr! zTVqlIifKZw#QUA*Pz&RjFs&UKj-LLBE<90GvNrnnx~|A~Y`j)jxv)|5wBZ3Dn6{K~ z>#ojy6JN9|w|`-o`+|b=h{KnIl+Q3RNg<2(9V5J25Z(9F1Ohs(7jI*qc_TGQxD?7i z&rp#pJCEf@%$=HMdg0D0r_fmrB;IXu&6C(AVgHOtak~E9dLE8}9UA?8sghO<5 zqdtb)0NYxLCBB?@E(|eKQD>}md)&4;1agGxMRSuqISo-X?1fbtj?)Tq1vxFz#Ze6lEPdot!|Gbb)Vtgr4Q**!~mct z(_2(Cp5JTJWpmw=6Q!wXmmeUGEZt=y_F?w+`K?JbO+wzp!4%=YJ=|zHFa0Tp(c9f` zTR7snbc&5z`V5w}6nEN$o)ZTJHCEyZ{QpD6pqQuEx;LVCcE5azd9tE*HCTVdvr}jPuMwA;xzXo3VJN@S&B55}UM? zDmC`&FS_>nIC1%YOi7jy0l<)-;4fp^Bou6l3(E>uojwv#eE2R`X;MbP!3FoLU&0aW zl$hrHtd^YW`Hx-_0_<;<2wF|QVe;!LIJJ&QSuvZCogI`Ctf%EM=F_RwTATb5KH){9 z&~BJ6&wKEFe|$BrBMr|5H>bSdiRyJnG3r%7JDB@#p4PdpHjR}6mRfw8vHOk`JV#wT zbho?0{*d1%xdR_-;&-+9&uW=LZ7F6JYGmXkL_WP2a~8x4XFX_tTlDoGMeAWYax z)CwPJ5hZy0z7(4>w~}yk9K$hTo04$6y^Kz#bFsuB{q|DH#XjZAqhdq(H@O^l!l`wW zKeTTS8>nK7es9a2j|et}(#Q>$*3G}k4Ori*q(;NvUXy`b9T0Qn?>)Q6MJDybv*LZf z5ka9i(#d4^e?hlhL>D^CNm0)Ta*;u61JZCYH}_4`aKc&h15E$lD9(RL97dvTNkifm z!N&1xz8wDK-X#BG?b<|Kbd7(|6)lPYxo8$Uo?S9ya!T3O^A+;D4|^rOAMZmJ6L4V1 z4dJnTkhdgYm_BUlrM`;rh#XAKrHaxOM_EX7FZS zg(Z1q+DFgrwtL)UJ&n_p-ogHtTLt68;?3z9LA#7+L-7qnoTT(*s40=}gg+>O5L#`+ewY>}&g?U9;G)$)wQ? zvP`RP?STi&npy@w7Pr`#mhXM1ife-FUM}8%CmXU!w*6Y)mrH4>t{brF0H5`K3dH=w zu~EbdW#QB@cLMDS;|lPn#U%bWogb$R_Sd@|-ywG95Um%b|vs z$UVEa+|;^webDYzVx;lR8@X1Yy7b<(J#ta)`VWb{4u1D9x|QqWa*VXR(Aqt?q}Hd6 z5VQ^{KHg`4cUq_T7h+BYaCQ$w(hPn-TuRh849KJ=_VDl_INeJ(fn}sv$KVHXCTY6J zc%z7sll}8iLZ?)=Dey}ttN@C>pQ29Gt}js`s8B>QouLlpQB7L} zmaKMq%Y2sbdngdeIsW-K)sNg67`2eB)G9zH8Kc;dUK@wX$*l$I0j&nIZpUm;6#Oty}`XitoqEbmH?Oe5OH*+zrp`+piU~Oz`&MUhMlUoCqowsgIUy zB}UD?DKAO5@?xb4MDKF20_Eh*&kIeXxpud_;s~Y1Ak|Vsw9oA`xM|Q$$AU_#`gjUV z>n_^%DdSP7A4mGJToRsB7T9RgSsGAysWxuLDK?7Ke$4_GeulOTunaFDo!8(m7Q9l8g|9!1Q7(zsrKJFDFe9sUI;* z%tz-z^IKl*K@*%?UtNIanwZW_Q!PfK4ktFoOY<-o+#it8DqaA(MonPWYbLbGcNKyQ zE`sh)1c~6bn~jjXnNhFMk#UB=6-cT7&I3;r7I*ZsF20|GMgRbv&dO}C>ZroYqUw} zhIf*%;EnpBIUw~!(>rGJAF5c;#y)+!Ad9Tj?-3=gz+y+a)8<0a@Uuvf#PeN)iKgQV zH9oN%n%{($=CzZalwNmKFcnwfd{&YL;Zd@8o@CfcC;R)3`lDzU4clGFeTa3YUFk2S z(*`e0W4zgYU6%5vN+eO0Dj?lS&kQ6={rgy1`(c3zgIw_z#Tl6C16g+T?mc74mQleN z^6rLoS<>$(51@khvVthks%Psh)6EK>Q0Zpl)bSN|+oT8yMvLxX4w|8!$K5VIfR0nD z`oZ6rcRMknO*||;>U!`3CCr2Spi)lZXZ4kM?fP#Tcoy;NY@t_KomPu`E8GcE&4jEn z%RR?o>Sfazo65T}*#UL_s>hGcASi_73$XkWH;s5?&6&Do&6RQA>Jahai&}m4HkhBG zN>XsP06_Hr2&pGad;oP*TBWM75WV3ZlB#2SSmkv;hLEG-ycB7kWTCu-o!(CBY8Cf- z7c{!ai&4lY^gLv0X>O%_Tg+T9^Px$)0oxsyE-nK{+OWiY`&wP;;>YPR^n^YmC7A8s_z`!-Klw!Td0L?E>z4Nv8|f+e{N+nn zg<0g^*~k(hv-)ExuKcAK?W>Nves3D$8^*=#jL=3OMVuoIrgQ9_f}u>4BT6i2!I3?w z5~|mtXoy4Ea#r-aV0~>h7I1om7Ps!lp6nUvDny16hIW$bU8d_=_?nV+0wBV|+-SPVOTP)z)hptW#2cpE5uBN~ao# zCk!D(Lk?zSBa&3**qLsTDP?H-(peR-Q3eHZ2iVoear~+CE9|17iO6zCS-;owR!fT) zPxmIjXW{01TK=5CQ?S!UT#{#hztjwmjF6)3D&F(+M9whU> zx3moptyQ@F4`~onD*+;?43HQ`?u(S=IQOmAc*R?(Jh3L9OZkyq$Wr3B5F#m&<*kc+ z>g#&1-j)*Qdfz1YpSjMH&R8n+xOsx+!4`2uOE#m(nR+o9^ze z&AY)9p5JrsdhYwV-#@O;zG7yrHQ!mYX3d&4d!pi+cjL8BNhoUh$;bCW9M#CP=L77R z4DL79nQ~tH!!vQAhH|oti@@nEnc?R9ujGAsRrzV5Te0isMu_)^7r@bj3t(3K08w}W z2)kSWXE(v^^hGYgV%@W>LsPmsuyjB61atBNn3BE#0!T+sy3WxzFMuto3!o|R9b&+D zr*J$i_a z&}xr*&TF$SfNt#z-~za&b7s7VwXO!z@x%Xp;S#_8AzKrhjHODrPG2HSsoHU3h04Ip z7w@sB?k6#`kri0^h)+Yta#8l{1nAS~$FNMsC$KHS8z8RO=&RmMrj-2R{;b6+Ujg$f z#Y{<3%Lw6?Gt*W7#5;}FJb?*S?`LIv)q2(ww)*AOmf-x!9n5A98{~M_d`wt({6CM4 zMzo+nw_}P>)^J*D`&$vq2<7@C2n2HHD1J}1mrcWIG4E7Lb2)5*T$xxY$sP4hc|j@PDc) z|5svw|Ko`M*Tew-Uv=z%QVj4v)Gu81jm+Y95O|dtNCzzYD-SA_?qDK0M!vJyRy#Dr5^f-mAF)Y7{R3XkrBZ zxwY>uMNvXo?a?bRQvB>h2b@IGYn1;Nn%tk<{wnzYs2uq3GS1s0#fBgGu9ND$x832` z*nRH5@q_uj+nu)?;PK)~ALnngT)U#KT5F^|AzHl5MsK)$D3CBam|uq z;O*2iaSx&=7~Cz3@kG}AW^6f5I5c9J^9nUJPrME3rgow9~qNus@*4D z=;Jg8@*eWcd!Uw*ClmG0B-3%8d|^{faP%I8+&HcnsJgczgUD7SEQ}dTSgWxfQEWr8~@!(zFGWp+H%=cuft=f3LSIz*{-FWZ}8=<)yTktw18A~2{f8& zswmWXl5cYe77g`UroSQ^-Q0AoC{?wJE7V+1md~ho*8E@HYRE zXc0WLBX5na)FfbzR_yLGaopY>A$%S|pQ7mNlKOq?(Nv+zB$9?9MzrO1KK7I}t>1`L zzQV|q2w|!ipTOJeAVRcL5mAkt2fOb$%D9vuXFKwR^b0^cF&W_H1% zH8#03=nBfV4t;IU1=?oiDr>~b{h!?|@}I&!6WIS@3id1qkHz(-#Heu?_}8OxK=NiE z#b@41zNx6atK*)0iv|b*@TrUK)~DU5rAtbA7UJnSvG*i=G54qTy0mGeW>UqJ83$YD zXmb1%w!RMXj3yY{9w`sNNPRd~a-nz%v_ zEn1rK_j7p?VwvAHaW&GJ=7e{Q_nvW|gURvQE1>BPqJ!wzUE9H2Yuu)J9@4|c@cdv* z+oZIo{@EMv7s*6e^~E-O3Kh@%mor@|onivg1rI>4)WX4B^75+JFZApey0-S`W^>Hm z=jBJq*FbwwA}HTt3Gu?#Xp3<;tus}X^`q38R&9#&`}g*?*?nRH6J-l-2UprUDO$D1 zrY|d))|!@XH6@Z1KXaNdzhjJF&%wg2BkX?xz%86WYpu8gqXV7RG(NEEYshlItdjB_b>M zNW1P}P{Bm**+&&7#uraSz7aWN2T3^ufozr1bbcCs#vxC>KC>0}unM#~8c?gU%M^nW z@Jeclp;n1IEQ!8ZQBR)8wppBzuKrf%@eIcqMa21TvLlZy!!D!K`+yvq<#jiyn1Nrr>VY1Yyf6 zYpw$_8SdG zOizM7P=~Z6XBR0luC{+jfHyJs=Xa%&2H2bgCfj9<6GoLgwEEw@6jjzsF>+LO2_?v<~}Xm`FxkDm&_1j(WsMo7#DTPrwwBZiiz_5<|*1c(u(B+Ih~z- z*N$#o^G8R`!{Nx1Q7>A&Q@y!*l0W9kZ~=VDJKF+ zkb^N2RAOf^d)a%BBi;?Y#_5_kN>H~QyM^O~hLc{Piud@fEGP<%#FU5QOac8Fb)ve2 zk&9?$gzdBj0IB%3*d}jPtZ4)LlC05(5)M?$oPwM)H`4OWRz! z$Ix#B>=(ctlOdK@TF*n+gzy_wd_;dE-TZU|mzX`(m(9z{GSfKc?O~|(+tIg*shTWq zy*Ks%D6j;p(jkS7VB^3%uDQahwGTlvALC&P^EWr{_)nb-G96?iLU&d#t>y++WFHYW0f0O53zS1tLK%P@5&|Mnzs!zZFM}V$L z<||X1>V8%7d8Nlz?;nv?B@*eCE_XW`Nw{IwhpE2}`Ka%CcY&BiQZMN3S7m8V^QRVT z>-$>VlTy{?AD;y4;Ri%~CgL;l8cO?qn4QULYp%GSaNnv0qzv(mxzWYvPh@|%Dumqw zn|?tGTM{HfE<14k;kpNV%e4oh5Z6nE^%mXFf}uTOGlb*kf1@ttU-b&Hye^p;QQS#) z%BsjvJzJ@AWBq*1E8n+#Rohc;46dR5;!Q;<)Uj(z%F}nw7?t@Zz-S3^*?1spANy?NL29O>N%ot(ZS;xw87wNF0=|Pt_-Kb##xzzt{(}N@ zITQ-+N4dHYT2sN~u=e23-mXR_%^1Y1-hF&1X(LDOGS?Pg<%P?{aBBGYzBJx=Vvli{ zqR8rcnm0o0tQYtVZ|?(`+QVlIr=6VCel=!NYf5TfW)e*)d5!t@n8){KViav4+gzmK zp}j-x$WDD)(GTFx!&tuHvvF4Pc;QW0v#SyhhnJI4dS`|yJYj{i>)I$qa+xQE|AS%7 zva^P-u$X$_O$pL#rn5_9=p z{%08hC}4E;{<6$GB*6p!AL{;3R0aS4Vf!c7D@6X+TKgy4%YL}x3SNT$e+6ebO&S9sF-5F_sYNqsa!hQ#M(gk3KI8Izw0E;gG*FNJ^eY*TfQ`mX#=|WJk zBx2}%S0=%atdjUZBV7=VT&EbHD#fmYlWcIB0?dCd_$&e)W<48>lpB|Uwc`TNMb6%Qm&8(g zRGbs9?ouk}P>Ov!s>RFFO+wDUBX%wTW+5zCK8OuoBTS9q<(_~)W~ggwq8Taief#d_ zI!seLekK>!n;`Q&pt zlNpkeBRnlFHIuAmNA*6S?DD#?2zKE{f#wOzx#q4qYQ74Cx#me;T~42a%O&7YtTvi! zbY}cIa$BQj>sb?xX_DBQ^=KAox43Den16_I3l#SoI|m)q_!_w@(LwGRqQ+VHk_MVZ z^tpSjILAG7A)KGoJL3^RS?P(A#X0uka z2?gcsCN5fJU&VlJw(Ox?_kK%!sRaHjwB2>=T)A)CeSJ?d9O=cv;R89b6w>jHw3rGF z1wIsv84&r{-A+JIs`m6rSxJvsHkdI|o!Q0PvN9p8@N6_Zj+@U#Wx?O5%t!jv=aXA{ zX(KlFhuNh>;*X@vhg|DQIcw%58~h|~gEz>-u_un1y{|uWR1DfA5%A26t{kAcr?Y~g z9>btMv7X>7`vCY2qb@c4Ov9JA`aBJ_+c?g45&HB)cLJ1-RfJauxuUdDx_AWSN`iZ+ z+SuCbxfehS()$`psy#u;y$O4yPOrLHH+c-b07gmAW2)~K2R8Ri369V1o(-#po*@^b z!GV*AYP<_T#Ccz8r}iVb!#s-Y?*!zM&ho_p1v3JpW0ocX+H$;=0Hpzbxlm!nq-2k? z$y{EkerJ+PfYNp;J^f=8LQA90m?pUW=J`8hLMYA%|#sv)b-J`d!-%4N|p|7 z#>{lXtE(I9H|uc>DKI>4PMzvy+qpj)h}GH}4@@Ta4$F5C{V@EC6*Au|Z_HnZ)z^oM)Z~4F(m1 z`6mO;v{@fvlA`1=DbdFuz1!u76tM}X^2kZ{c{FgBF1w(w_|>uH$_Y)sVkwj!H?qVGvWc8jNw zd5Mmxk)veWG=?;ii(FDiN#;iyiUpS9MCu>|Q}&s(dDe0;DC+R6gkuNJmcXGuUd94z zRu^GhR-c{J?o6E+;SV^IpnO*7d;7Op>%0}#MxB19xITL7>I(C`y5uj1Cs@vNSxNml zH5A|3_lxXv*bdI?Bq(X4wlJT~QWf^~=9~#56-VLa1(3{e|+2*Zv+X?uN}=xQa73 z6sMx5oEP|G%6IXSAr8~0tvU0R`2)#$AuH?}$!cLj^I|CYr>R6n%R=o1W^yGFCQimR zPE|A|+lwaFW4l9-@TvQ*7p(^QINJ7EQe_u~GuMI73in!20exLW!E*@Unq<@i$+lSL zDV%J#F}E=u3@>SP9hUZeq#OFWK8;H-l$pQ|h9&j{%ydXmGey6%9#Gu+a-H=>ZYjT2 zaHHsT-z1Hfg&NB$%u>Fz+oK5u=QnWOp>JqQqFx`qS1;*R_f?PU#Uj~=RUn$Q*cuiEx89q z_boRZfT|J77CficqYon-ra{l|qpp52_|Ve6)Z7GBGws`#Cd{CthpZ}v`P!%`ARV<1 z;``|%#Kb8c>_=D8`kDRW*S%$RJnMG!uRGsSV)O$dxkSu&AKmuudK<&4$r10Axl%aV z32yCa7T0Xjb=HVsR^rcEUClh3j`qQURMc}+V>hPpMX#Sw02=akZD<)Z&Khm?1{!}H+v zCjs3dGSs7P^fnlw5*adrL=1ka@OuA^G@C&&_S{BMYQ~~5mszl;Hk#xO=mzp6imE>4 zYux09Q?Op8C)#IK8>cgSk3^w^TqW?^htrc0+YwktGvRM1=s(XY4H>j1PO9PkcV^Kl3>j_1P3`Zs=4@GW`%5q}m z?slqr9fH^vzkS8G9bjH8!)hT7V8(vs2z4~-f4l$XP2ffosgrRFYF6RCDYrm^~^4F+4*z58VL-yWSo zigj|Ncsmt38P{z;m{XSYHc`7!h3Qf?L^+f{n!=7r<%?W?YtefFKuW6o@4*@h()fjR zV^?2_LSec>lwd?;P4IcTKr~bAyc=}cg1ONC47FK4u-Ylj&h6$t=BU{z?@)eise&I% z+`AU%%%>}KhESljmkqMEyurk1F>!!cye91{S4*>$k?4(+DDIL?z6n7_5Oy?KT_@E1 zGh#gS%J#F>X;35l>Pi*(vz)_<+4n;;eWBy=O07DT%GJIM(8($v4L|O99~-p5y;X<9 zP{`}nvkV+tRO;PqDH;H#%JQU;Uil#ks7+g2s}ap4)<^wti05ly%3RLo)B6t0s6!Y* zJ7&pQg4j!2EB5lTmKQ+b#@orx_q!DLNqo7dye2$YqQ0wt##|UVDpkc3`D6s^@Q=0Q zujLuqO3CFYjuWx7g_hEG;(QlawxfI?P;K_5pOH`5FnDxD`)PNU-WOdX)CYO{0O%oj zU(4Mq8NLK(C=QK^cq}?bMg8Qt6GN=EF{%`l&d;yu&`i*evbvYDu(XGMwjBC2!ga*+ zm0F1M7r-?S!@Ydf0|l=5Dvn`@pS5aCy~TOr0e zdjx&8TTca>iX_F*9wd?6U~fMPAtZFn-dn}Qe4M6J8;b38!?k#2$97Fn{S8OzkZq<5 zirbS!^8-5Dz+})DF1;TdY z4f9D?mOCxO6cj^|kp)Gapm@JN2i$GUq9^A$I^9knOF1gVn3Z}|_+|gz1YchOn#I=X zLhXx89fCaNNR<%eiLg+ze;8kW0jLNRGhS-N3Sqboy=#4LHdWa~qv=ylrb~61zx>cb zGqU_lZ3XWzpU+2nP~{WzBXqIrT*z(r&ZzGP5G%g0p-6A2Y-6&|;HFc+L0>Q4PMueypwyt$77Hc{!nH6p3twrV{YV z{IKSn>jDw`nS_^(PPD$#XcWJ+BlUJrzA9`!waVj1yah$+mjqc1RL9L`B0cCZl=3|e zlGqZ>wIz8R6e|fOQq!T#^0$m{Cw2^ z0}kMCV*Ptk8TUwDX~~t*com6%f=t`+i%dOtMlN9D2(}^*wcNrH_d69ANVk`nz=J!E z%CJ)gdYK;xyl15FaxxIPONERLA6}Xq^=7@LEz*tcW5iqae_8Knr(Q8ZzSSqaKRV@w z_)vR7*u($fYF85u8xx~`fq|g?Ym*}95`t9;l0oGy>Hc3W+Dey_x_<3Du&TC0vGkJZ z%izyxD4xgRwPkTPX<+itu|Ycj?dFl%qBA~r$T6y00;JgDN9U=aL**#D>g9zaVKEIW3vQbsLXNnQh3;F@^B^0KKET>`#1czMq}H7 z?xye~r&`3lQ`gNM*H+hnbJyxcbG^|O=if?rendG;NAp0|N<4qWUI#fs-)Ww_7Xr3; z7Aj?)oD3=Unp@KQFeLlqXzCd+``b4|>O2^SNL>P2{| zqpBaFeiC@iBF4SxrR9x-(z3*3w>Lo-r4cJiKu_Lij$R(ZVG`xO-rPG97Gr7{*LTt1{!ore8OY725{>)f>q2~- zOxn@&-fy_?4<@)`I4qvGc)YV3P0I+kk6io^25-6mq@i^KPb3+s@IXxJFF1>)C@rn~ z%UX6gYK#h!7Ng2x82QQtYV}lIU+yk!R5}M`8-7pGlAhJ5mRh)1k~d2E&|i&sWc~+A z3-@f~WP%5_=_M-4U7ZPC=_cyAaAx%R6E@SE7;VCz{DO~Qfoo>*2_D=obTaCvYJEAD zd&BhPeLc;sw6$M5z{+>PY35|C>GDDDPxJ)Pb-3N-kCi(wu~n839AeN+51SX)y+T)R zEa6yhp4g4n*=O-w?W9*DU`+{r*+GP=$lgg#$nxa4BqKI}>^bCW2kqByzl*7K1z#8x zkjX?c0OgA>dqABA<*K48ndpw{JZY#><|i;+U18X2%>9?n#6|y1sk}=#PYf}&xZ?0L z7&hqh=89&(CBaK=xFUH)?@}8sOQu~3a;Zg^awcBkb*V+>;ALN?lqm0FwedJBDPLK+ z_%%%HAHTAVh*zIioj(?LAJF-UwBhQJAVKb>Vf!2PhQB@iAH1$K_FrVA{t3Fym6j7; zs(5ljAsegRzRr<2JLEIioK#&q%s#CQ`=QM!DsrS5cLA8rp(0W*0Ha)yt4dCr|3+Bn zYQP{fHo|~y;u?T-37M@DU+tU?lci#k#yU#dt35eIz7oORsJvvGd#hV;P7mpcuWm4% z-&UQ$q;9_N`b_1&}X=iipq)C_jM@nEq`#o>`XLg z9Dbyuu)BZ%T3w--JOz!nq#?zl)~+K}^XY)cdrWsmObWQ19*b1_$~1&=9kjB4;M2{1 zZS=k36aNO(p|L4FeyL|d#>g^Fnk>dx!)zMwG0J+`S2+w-(RWNK^~lX= zJkxjMnwp@IiF|U^^QTgXJ^wGzJ4IGLL&p+1@z&8L)x9?#xxx*{8MqbW5dfK|0`E!*H@j_0E<#}SXC zLae;;4=8XamhY))EOX?Wc%pyse`HVeKK1KjjZNh4Dii*aoFlB^(8sVGdQ5K~2B-Y^ z@oScWlxH9}*COul5l7wP%dNm@6USR)l==lRnPK!OC)Y5hg$RpaJ@?7LJMI*3`0pt0 zlAf*~53~vnly(mgq`@9f=v@GAwLE;yh*Ni4c)+3$ccS;aXqe`)vD$T4yKkG&1j(wa zZ%#qy2WQKHs|2i-=%V0wYHN?~!7eRZHta?h&Y}GcRfM3c;mGpi(U=NEGQUi=lmqrEZMlEgafjmQ5U7Wb9Xid zLXygc60iB*RXERn8`F=s(Mt?U%|Izb_@mbnMV<(CKnQJ1+WB@&P1UJRj~%gy{I>5% zHkEzI5F})juGq*?Tk;ki$;~M&^LjRvo+bGC_(Hl>vT4Pe<-_f7;j|y$QA?7)QGHyJ zO9tlLXtsK9qhSN4!_NE8GQ)b3qSUwjPiBU-N8lo<*$HkX*S+WLt=GLR-o?>$J(p~< zQjhe3Ia#?Jq!piw!Eu2oi4asmy)>#srY_fK2aT7>n>)y`GWa8i>AV!VirZ7Dma%r5{Q;MGq(DWwD}Eu&9Bl6`5TQ<>v|hKRd4M9YU^I`@hkss^ZPOy0y=?A^GB zz68wHE^C!^9YpQsI4BfFpP3_9S}(hsai-^QNyXDL!@3Qls4)DCPTQ*=9H`kzn#Vy0 z#U1bCJ(!mKZV^Wk8b4ioj9V0Rvg3OJ2;o$mJ&>91l%@GCMB*SMBf&omq`HfApIF5t z8TjZ@kMm^~>J3PigpPOa8Cb23;@I8w4uFXD?SGjKk}G-D%UUk-;2DUj8Bpp|WH$Nm zZQq&#p$vnU40$0o{rU6TF@F80+ggy(d6+OVDBQdLWJmo)N$?HWJB(XO4qO>E*nRqa zXWXWR$9{ItSi35H7#FDpz;onqBI-N{r{hR8J|XTnsc!6(G*72>g<={Ic67BCS(U;o zgdHpyQw|SHpEVl2d3mpu?l;vhTkEjpL-Dg)xhuIg#KF?c6q+4%G{d()v?4eTP^q_? zoxcyTHS{sa9mK#vOwrbiJXC#lsIY@E>VIkp2L`?oQ$;`5CwOlUMi0 zIl)tQ%VoG-3QQL_)SsNtxG*0T+dl+C9g{Q^3N~i%RR~Ph1AUCC~VIMTOC?5Mzw&_#9jL%3LpD2>ilKwM(n&0*6;feC zvIV(Sq3?Ye!~f-am|Z&%n=Kj&d}ip+D562R{P1NI@y{S)$e87uY#ezNA$d_8;MYsJMX*0x@lQu41WJ=e zpGbYubP{RK1KAJQXM=ZlAjJfJy=cuW_kEY;`UfXhv3h-3^BCHd9J zxl?DR)#}5(Wk@~^e~S6Ll*aO+xDoL%3!*2m3(9U#)7O9et(^|m%Aq`8q}%5mw?tEm z;aBf+#N)^-PNvwI2v-geWPR(2-Ap0WCSK25Fg4e;Z;@K04tJvnq$ip4!fzF zMyoaI;~z|8ymjh$I)dAM#AsF-gkcggX|da(8NQwR3afR8z zw#*9YiOckv^}&SzpTPGc<=`N zd9Z&WI{r7}F5K@c+RR%Ux$~g$k)BHVPGMn3p<*f54*^j3Snhgnst5EvUcJ5>S@t=X z8s-h3FAUzX0y-ll$8NG#rGe#VHrkfwxl^?#5B9On)KPR0jFp>rWefzo%o(E%s6rDh zMl8wE^p69rQMg)L&x}zOpigs_am*?G)1a8F%-;Yz%5Kzj*iTcR;S)7OjQuKfrguL; z;N*qYkFe6GPvuvh!#q_N3OzM&u7N7zP=B4Rk7n0gYV+#`tux1t4Iz{`6z)B(O*TQM zLrDg=lhv*zz4q$v#=x6y_lp*6WH$E86v=$mnsS~b^{FYqLb*rD@EMBuZHXU{7AN+~ zG)=Qsm-&%pxNQmAon2|y?G}t}U9^{Xd0p!T1}q^xd!3K6Z-m?};BVKseZF`~nynPuu^Y89uyX0kr4lzXeE5sHlEm*+kVH`b zdi`%RUE=HFc3;=HqO0O{ZavTjUIxE@HqvLYW2bq1RmJqm)JR%z=0pCJ7gzs3YREr{ zkonFjM(VsRTb1krP$){yn=PwFra9~FCtfx5gcg%^4&3EyI<1zuLMG{tO-aH_AjP{7 zojg#$68S?ac*?dygHnt9aYf?Xmlk*Z7rZ^LiYtsd#ps?^KMnnJJq1o6_eFcI`p*q% zr4$xBj%`Y-g)eEV%s3%8ddf8GDv82$x0`sCj^gy$Z|ZUve;jRqC` zj166-rQjpeQpPU;Y^|~jAdDZJvRl%*0^yI$lq&&ux;|>uPE(YQ`=19pgEjjr1F#xp zMpYlr*dvL(4n0A$pUbA$pEYm)^SY_)S8<#bNdDW#I2riAKDGUQ zW&^J_$o@B{w!hD8RR5K!tq199VZ!PO2{}i8I+oScCnYBYiK-9uky9ee^GjFZmkU#6 za;0l9CC&Wj}Z?lu!VRb_cwV!2jkbRy3@653L)^EW(w z?Q-ufcnerE`Q36ABnll)mg3;he6wtAp;; zNAS^9U@{jeR{im`lZq5Y=V&WoiN2{v_K&B;Hso0ZaJJ4bu8>~i%ALw=Txk035k&KR zTEXd$*7=s3y^*?F_LAtw?lxQilg~3-V0_-cX@PK@7nI_nyuXtPq6Lq^`3oTER%OD! z!G=)uDfIPC<}E=uu8wSlma0r~KYeqAx!r?K>=;f8K=}LIJL3vW7UzFJMBetHo^k3Q z_{jeOplJ82z$>$xO7Jq|Ix~ojIT|Ymu|SSzz|DAh@)=3FF=So?sk%c1_1U)IVRzd6 zuD%c&b&iwn^D&afe`2IOe*fQw{x89Bl^MfiWZk&MEaH5)=O8bvr)8b3^+2%g5>5Gk z!kF-HNL>NN_`btj)9YMnKnIE4)teYrS}~kDM`SCMT0?Ol|DaB|RJh34s@kNYOlpx0 zD{S75`?L=Bdl%$@OMd^<@2R$Qzr3a`Nwlp{iLy)6#$tpIK8aK%S{FrwdA3d=G1lKx z_>e+&pA_RfUiue|0}`VDcoP3ZDe;62IZ{fHqPT~W{_zeJpo-+AY#b$ZR4`XF;SF0# zJNsjB{HZ;01-w@-FyvX7OxXv2=e)E(^pv)*+o$*+U~+g~_z!O{!Nb)aT()FnBJ;2a z`Jsz8n*t8erD1 zf}P8#y4R9{!VilNiy%zb245xQY7$QPLA<-O5?F{@JhcYbtO=|cz= zt36d@4(8wJ{fk`xwQ{Dvr|pBk=j{h?S^C;x-90Z|e~!<00Wev9K5iNx`60BAJMgDr z8RR8dxck8SMw3*RPDe;p?u^cvzx@TUzl7YU8A|)J*vy&MG(V()ph(p|1?`20*oz$D z7DIl|{bVXzS)Q*M^7GJ2zPdkP1^)p3UvM=OP;snP%stDRUCOCP;MSC00Q_$+fX!KO zn+>ch9Yk8q?AY@&OT?2v71Dn$$F5TU?IbMOq7Odys>+Nl?}3(Y7hwU{ybDY4k$hYI ziXAd5_$%0nJN$QgLI2W=f0T6lPZs<_fN|#UtaJW*Dy``*1M4?}#;|N72MRdOd)wgm zE!NNTsEJ%ulP>3@7grNf868QEmXz%*75f`0TEX9qq4@6>Fq8j*)bHC_e;Ii*wjj^> z`@5)LgVcdYWR@Qhm^nE-YU=FP={@&c!|V(EsoVwdAn!YAa3+r2bwdcr zMQ^~9qdeFZXJce35c?kLn@^-lJw43F@0P7)N`QVQXcRNqUY7Tf<0<#)yzGtH!01kW z6KDTO>iTNyhWt~pC@c1_+DV1FH_mkS;_mi0rmP0(y4`7Tpfh;aCqntaM-HLUWG$`( zhKbECE7atsh~MrLNHoqDp$?^s=%=?lALO1oC79!*@v2i?<>6a%&2%x|?1uHfZSX~$ zsMnVlb4=a{S($P_IM}vWn9W({5et$0o4Y$xUAAd1H+$%Za~LBu?6b ze9X>fn2$6kN8qdTI_WdawGwO`OSS@Af~2Ov#)lTN!;A{hFxoQ7M8(-WP1n-omhe5j z5L_Wt>e_4NE|!Fo6UNJ#qem7q(tvl$CruiutTBEn9nG+qOX^0$Rpj9Oq^39o#>L-Yb-$-w z{~74H@`hzTaer*k$AH_zx=H#`6lT?W*A{me?dZ6W2`(|#KQbnR+1UT zKV|Gl;Ht%VU=Oh`oG=`CC7K{})3;Ruw@g9w(RDmk`xw)X#-PVr*2wH&yZDjztwj|t zsebhJl*5W*xXqmTm;SkSa zWJaHcI1!A^t9>VtvCXC%%+iaTE3WjM$!4nOG2FSHp)%uE9gJ;*)e+Q|HnyTzTL*gQ zQJ?d5uqD*4`;G>k&bb$%jCbakaP-tuo+N*kWZC!_GmXP@l1?4Gmo~fo#GBra$a(PV z#vEyE&<1sn?rjAv>$zuK}J-+QJmY~-Qy$H&CZnXPC z#LBoIb5`*Pv=9MkH?bMkhu=S+3c*90dmRY!EV4Z<=G7r~Oqtn{#sy112pxLk?iRgh z?589?LKI}HN zx9;o~gJp6e&mZl-o&=A0MXLKqI@wmuY)bFT+!og6So;=ejaAF8eX7*Y=2(>dpg$!s zOY<>uc7JipD}oeX(AV7wqh^$pzuy_RU@!s$9d$NZv3*q5zY{4H zFHR5+PD&iP#EY0&Fj{U>I+`aK!jp~z!t|Cf)ZxDBgSPA1ZOz)H`OK5d5*G9kTRGS5 z^DLa!L;>5q%VD7!c~rw&ZS$(1F)QgcANMWkhdgZaUZq1fYNPE+C#ax9-xnL6)h{;B zB_%MN+LU?vPl2=ed+W#zBUMtHSrFT=WN4u^wo( zX4faLMDi~0YKrx0l*SbJV)hf+lDQe9CM1+cxI)r8ZR{&leHW@ri$dc=49nC?dCsSx zV(MA-xnnEtq(uX^GMwwN#(a(RGY>rUNhG+xKZ?6U#}D#MG%cLW+^dsbZrIgdWTcQd z+B?=$FV)NmpUD6aZtX;Jg}w$mYOVgquZzvH@FLWq$Q@+iLQi^PzX8-bth9Yqw{&b2LP^vU4hv zHC84bv*=7{lSN_C(Z0xTQIZoPdgH;XPUlzfs)}KjSB8M@V{&gXO>`X8i1BssbqNKh z(ZGp)_|Iul$zZT3jY*)DBh`TT$Ma(*9$&C^i31j6P1`uop`rrQk{x~HO&~7daXWJB z=HBVJjr1U&TBB#+x+96dtQBHIaVrihj?v3|c>W|Kb4KZ}ztz<_hk(Beh(GoK?s+@qN zb*KEVvf}*<`K&aAL!Tq`wm2UMO~G0>g@`SREmOx#CbwB59v36CQ(5>takaT|`;g1s zqRjnemGzw0Rizq!uV!QLP77X4hgQB5$DJo3+s6CI4!Ne;nZDHBsOw0vW8|Hux~PKw zIpm$y_u0~H^CfNa(yit?m(S!9$|N7@$qw3nmE&vImlKzx_ z3{QXYLM^W4e7PHIeOM~1mK3D{@iE+Mn-cNdga3M$TtUB{3B4u5MzHLlF_kKC^572j zLA38E;`_m>Wl8L@!>($_a%|<-y~Sm1qp1J{&Nd=`x;*I#e)C2|?FY|t$V?J~Jpuk3 zxK-ZUe#+C;(R>EF>7GsQqg?(SS39fk}3fiH$(8nF~;El3ZqH82z#`$v(73 za}nR#J+y5_fO{Z^Pnpqsx|#zsouTzX)traa`I_}Jlv(O(n-l)=#>1x2n2m0@=Dl`G zs#0?UFO%=Y;`k&@9{ldm-F3Yg^yO`|69I2CBZ|?Gf-YkxninlxWcs-x&Dw6Xo4-|A zF&1ZZC9c?ae+Tc;XQOTgzO)18&Yiz@W0;6KC8q{eiKm&J_`r0N)ipbD0`v8((Usp? zSZiREzO)8!Z5DlGzgbj9s_a8!`9a{V6;T>DS2J}9Z#Oy|W_67ZoR>|_TvAWob2z{| z3H9%dFgGgnm*_!8FT&m?qM;1$YAK7_*q}#OcG>a0dmihIoL_S-BxgLhi8+4EDsN}0 zuQ|Vj8zgb86B7P*zx7@7fVl38Tc)5=_vZZ3M{v&0*g8gr9`DmQXNa zovUZfIh40v+H*YYgUs>W3a-buhbP&S)K#3&phjH)zcmS-07qUI0D6~-MUfU=L-(k* z&WNVZ$PQ(QBxW3cgtD)o`e=d&d1+~2FPzR;DNCL#0EKcI6#6!|0}_P&awaDO9uT?0 zV=xYj&a}d8fTT=`f$D{#fE5AO$LurSWRXP250ZKghBXS6FFJ`@1Xk$);aS`})38SM zmH}NKCFEHc$+HN9=ds4Y-S3r1>^%eBL>-FJ=NPQ?tghW7kQhPXXAz@8?b^e_GdU0d z(Ms~ekhus&=#`Wz3D=*zu_;PNMI%CP`=;B)btS@&3>W3YPB1mhjC@wisCB6-In*Ag ze$}6v?M3cmm=qc#i1Yh42sk2d95DNbBrTQ*WlI55wl{1?F900)xXBPfQ!;LnMbp8? zd?Zc#ok|>*vxdcdVhr`}Exa?RA~*zgHY0vB%R#0$fxh6*V-s+r^#VvFsQ4uScrCs% z@Kx3#6#pel)!TG3e42)L;N4<&WU|_;BR~24JZWMxp#cjf3auc9?6OGi?WXl_Q%2o0 z$y@G0R)&$qodY2wqG_5=!6W*l49tO6->7>lcq><>Z~RsoE~f#CX&5^t-MG2ey4eU3 zB5|A2!jmr=Vyv08qD5I(Yf@B`2Ooj4yTYTD#1(qDg}=M}%34w@(hMvM z3pA85YKevti3%O-fdFcZjCz6xR{-WW9?c4dqLap?0#nx9=yy#{_crxHZrlbaxR&Ah zb3Mh<{H$`l47R5qb^F*QHs3b&ebl9xt+CrI^OUm`+A=8GtaoYQtc`Od&txEPkbgw z`*jq3K&(Qs?WWszJc~6tegI83Q)Q;j&Y8rw&YL3B1rifcD;P#!w9OtuZ*C6Z=gdHX zxtufU^vMxPljI{%*$1IaQ=s*nJdoUROowkam)Nv=Aw1nUyn-al&nA;Sx>7?Mop=7- z*rptWZ!zelsu^+=wc`#!`5=0(CvM|`v8nYS&Gluz(lALple+zHL<^Zq4i%-oMOJYF zA6=}RERbuY8UII=XdziTf=t>rTAes33z*YUl|g7n_R;|?(&2r{pU2e7Xm-SY*m%6N z`9|iDc_JH>+LimNJ;hN<;|7@}i&@m3eV)41ay|5hu<0XzY6a-hJj1Ur|dVO5ZJ&EVZMYFioF z;Z}mst~Nl3<;Di&sGkP{o!y$OmsY#ynV!`FiVVayYIEjQS9`5JY3k{?*CN4MImh}$sBLyTS2X2I zPtvPfPwmj??zePl64)VEoAP6tA||L^R zHxMsgp2}IovyLEp(T_(>F*$Xu5mHVJ8@Wy$TO6qmgtUtLa|ac z)Yg&~qLrWKB;wzHwfTmoS0ZB;i)qS}TE{Q&-8>13fUADdXiLVgapL;EB=I(=uEG&P zex#s!qoU$HSbZBR$WoRG2UGvQKF%|!srKF1p-7ajfYLz-MIoRd5SkRFOI2E^(jgS7 z1_VQqA|(jC5TpbY5HJwBv`_>g^j?GXDn0Zj|C4vlo;~O65BtNKS>M*ov(|d%x$oa~ zUvYk5R*RaG+=|jRugD~J<*iNXaQPu1+Q#ZE$7uiF3C|V3jQ8IRNM5pC0_v3`O~vD6 zI9n&2a^eG;X-q0HlHDU#d4KaRb|gmd23xc9xn9s64t^<8%d)L|ANBV}%K_BpTCny> zwq3hr<)u@$QV!Kp=843C+sjZNb_qT$TlXlN|F-*G=lMH5z=~*NG z?dh(UU(8q8+WO?#u(nU%?+FC*3q@Ebd_T*3J`6fIrc-Bi>eRVerAIkxN?aaaFC%LYljl1xHJiBgKF zLQT)PX#6E+HaPPU2&Ail1L;XA`7X( zPie9jQC*}Fb9a{qsGG0GtQ!{>_mM4*`*BU;7sZ4iumkL=@GwpZWVrbjL(xOSx9tp~ zKQr(?8v;smEhvgz4|Wp%c8n+VG4?ndtfbvF4(>+Z;w1J5sj0zy>2~sEO!k`D^33_& zZ`W&fK@^Upz$rh|xc*B`LW^MOhF4J4VE#PiSm}_=#I!P8Rp^CYN_wA}T3D*(L@f}- zYB8G)s|l?(5Q}L%zt*kWyqB%yw`lbONu;9Ccd?YkChcAW9~;$V%@sw$<22Q$d0|II zyTNKp7z9Ia8JE1?<^AY>B;BrKg66q-BloYch}bXR;kwm3*6+BuClHS1SiUs1EedVem-y#aUn<0*%nRfe)5sGhVAp&DGj zx$kN+U1 zRE1rI-AdZ!jpcJRtR_uNK>}r8!g6 zXH!TRLP?DnUw-CxKZFyN@!hH^yyLEnKHupHE5Bg1&{^2xYGgvejP-B((}4Zw+XphX z5Ue_aZqAk98CSf?;~wWRc6x8EJ0^_*Li>mxEgio+5h`yXe#bJ~h)c#~gp^g*nZVo! zD)C~&$ujiOGc00pOORtl`gOy)i0uTI1H3QdcF4849&W)oo;$VA^|31y_0jKi)Jv+= z7#yd4DkCFi7rG1x?mc80rCh=a@@ZN@EsnJ-jextC8T) z^|6IVOnn(IH?6q|6R1mhtb zziX+5C5)T5Jj-V8w?eZ;FG%-}Gj%?>9NGLtl@tTb-1IDrT{^{Cd}@_(emd><@JEBt zVU*&aP|B16)j)9>yz2RA9DKP*L~cKKXzad&wNa~S_H>k3agA?IM> z?+FZd=iGwQBE2zYbNTOdD^YNeVRd+JL^wb;m(HK4b_5M*WLYh_?M8S-WyhEnYw)VF ze8U^hSJc0RxP$n)xDotJFsCpByD5 zG`v(3O*?rfp>R)3Pa+5)36-l!9m}Ea$O;%$oSeF^FJLcl3aIA@T1Wmvreo@1ViR+r zke2AU+EkqY%qYuF=Qy=J-im)OHD}6Eg!gw|vY~h5u|+hZZ|H;PBd6Xg`Q8vEV7BL*a2)imxgz+?z&Wl?Gs<7!KCyY)~y>dlE^Mrqh z=XL+i*QV#;G_IlZt3@kyJ1K-vgy4jN28dlS)4w3!$jZ&9gR8RVmQ7BwCM72s`k3=# zuB-?q6BH0}BW;EYX zL=W=Ez~(Gy0RJl^djPXIQ))7Cpz?$XdOs;oXpdi*pY!MmS%pko8Q(r)uF6{=|Iuc{ zOUkr6I-OdbtbX#EO3>*c&l=d4@7rP(m=|+bq8GDTToLbjpn`KDMWIwz_g7t>F#o;E z4Zfed#1-gswlxPz+q&-adIkE_xhaf5WM%ooHUY}p;q*5E`u`QD0a?D7P0zt6I}mO) z;USeXJBRjk@n8NRGMs80y%t+oT!N4&Y76jAS7k%g{TdM6sg_}c2SDW2r)r}u)JBZ|}zUYr3klY$dF4wN_vA7+Xy z`!|XjFZ{4>gY6mb<0u>67cX+mYH!MT32si)fHw6^L64~4aU#b@WTNsj7q%ug=^!S|ZPUhSs&x}To2zhL@Em}yf2AqifQOa( z-L~}{y9u_ZJ(Md`T^2&?QxpLFp*PmbiY!8^48tepZslpz#`1M4-z5DPzIciPcVjCl zc15vaF73*;&|+5J9TvAx>Vup(nUq1yA1LHgK~+&w6U|-1tqZb?NsOt$aw1hC3j+E~ z0EeMFZVvu|XlOltiA3YCT*!Y^Du^sJ$xY0yt6V;pz|alPfTCABb<+5;uxz5qmjX8> znlCBpHED!y@e@%az)dAd?hnMYW6Y%C)id0%;4rot^B~#m>RW@Pu$|)jQ=7Igjr-~~ z4DB&TE?;ApPIsCEHCF&PesWomBSIe?b2+z>WSzC;NJ##~T}Y?NZwx=Vgw7|)PK}on zjX8jgd7`>G7URg7SWgf@^L8+1A@kyouV63R*=gn8hZW-A7S7;9n6*J3F=jHC?Pcp0 zM`SD943#yROXx-~aJ4wK)W8(sk+HWh1w}6QKP)>Vg0?r)EXu#TPMTaYt~$ zDB7;s$B*`6GCDE-uB+3QY<))OF>gITN$k_BYZPIB;^e<7bUF=JA3pF{?f>oxo|MHy z0c*h)f!<}CMEEn^PuP9Xn3K)9<2|dEm-scHujP9Cj7v$g;MR|Fu_;^R(i64;7AIvT z6)Tg9{dvua8d!q%(k9}sU{-i9a}2XBS?4SCTutv8VzKl$w-{Py1Ist+vEm9AG|vOy zH>c`vby&b^ExczY!(iYT>+xWFp=brjz6Glfs4n%H53qlXlWepQYQ@n3-OXHP*`JR= z(?p@jk*uzP|TIwC(F+V4z;P_hy#s2S$^K*t%(GVwuaq; zWdWj4OfrpA9F;sgU53}z4+M}q-csiN`0qAq>@S~IIZ`I}$#EfUbiZ$W~ft{od&YY#EK$m`$84Iv9NQuJd$H{>5Eb;O^S|U_W8Q~RJ$WY?!+M>+G+FXT@o{1h9lwU5kgxs5pH(l;2j50Q5IC$DR`PF5kfUg)Sy zHJm{6YTAp|Tga-S$ne4dn0;kBT2iV2_7JGa#))|u>S)|4=C>z)5^>hZQ65$h_-eEH zz}0=w>+W>M?YidHps=jtyrrifi?-&tYimZqSLew)4vuq}$eYWuc0eN$Q|)0}1g&cT zdkrEIH|XWXUj6cG*X_22<)Y&i19C*0&DW<%fyF|_?C*S{Y)Fo*cNK~b1u!_9u?{LPL0G3aa0EZ?)C3YGXv zf2BxYXH(+lnL9jv-aPX~V2|e3JO$R0U96&fFnNkux=Of*RQl26uNaX8Hgwcc)!*(|N zp}_%ezUui%;JY8Ytpkz~u^9u)I|0(C@&SRvC7Hfi4$f@3Kr0LUTUV*-`h!)~goudn zM{nMlijxKh{f{PGzs@YS%A=t=Bb%-kRH5TfImtf4qSu z(b51qljz0kSX&+si@4r4gv6=OZ>4mLFqI>vPy%yu>Aa zqD6X2Pt2enNk>io=`NFNi!WglbUVSR?%wDy3To#vE`Cdju1pt)oh*nHIZLm-%wARqe`L( zfAvXn;IWCj(7RH(iN#h1QQ_@-xgd%TfLV!^PsrWtfo07mQvY+#u)3)JRg#|1&F%qG zBt;x3^!;|`_RMKbKJ&8?K^FK*G*HRXDYtG!L1;0XTX=8V)+OuQ$sGJ*kl!AZ%$&8a z3xL3Vc1;nrITl2kd2{pfZ2m_eZS4cLDV}utrbssirVYvkScVf~YgdVg_0>S>aNn8S zd6KPd(dc5Ank;MQC%xIFsZvL-K~)v3h&>ZzpfzhR;-IQGBkwDNHO0Lh>>-I-TI$FB zwjlNyo7WRJ3rI5%2YuhmjzEXTh()3O{{a31{Sbp!G>KO*n$`<>i;$V0f99_;N^}1N1)~*+FU0NLhBZz+Vup&1dpH;DV*xvhXpwXy7Xd9h?^O7d zMENnLfANDPHO|MP-h6oW_=iQU6jLU^7;zz7eOx=ik5ql4{QG(*=IA3^<`jYJgisj| z0c`0W-=T+dEd0PUSdZ1gpN$3VV?)nxh7;u1Z$L>3UjU^h{{6fK5C)buP^b>Asf@uh z(9RD~vhufQcxr~1U4OP-PG-VmJH43Qf>vi6Wv;Ydo0U?dtHMD(iu>f(e4&bhv1>v^ z7jD*3e-6zX9dloeMBp;EY!*dA<&>O%AL1_7KR#*F*RC2X^_$e$O1h1nYG$@weS?>8 zuswh%7yxb5eD+GW5YTVM?_jwqcDxlS-5E>AISfMn2F=;s-%)7EhKM$3)K?O)X*jxj zm#_pB7?NJ448I9t^bw|b_lsTpWH*PajG&N^f|uUOtg2pT?b?FYbXmc!?~kmNH;k3I zGwC52h}5l0uw8QS(xXsFPRo2hG7W*?1Suza)|R7};#fA} zQZPdv4$5$T6)PpSizicN1C4H>h$pqKd1uy3^63NXK|)urQnh_g1Pi~!=2qb2c&SZwNqKBIF~-HJ_Lrpxcf24eI*%|Spab))0HtmPxW(}#cQ`oteNmgM1;#ZD;80V36}{F=_X@>fhB)VePEO9sZHJXpqCC0 z2K=iD(@g|8M{dLaXKX6Gax3R>#K5VmQPEF+yo9>B-=l}%ivaDUpjEnC)(>Wx=!HGm_l`PKG~H;q~kg`B4i}=?`vymW{fZ60BTx5`W_Mg1^ z{9HloajoYY??J_WtNnqPiGVayXVbA=3JalKq0dmM9%QKSpP7t}ja>S7ok6-2rC-SG zD6F9aD1!&rf_fwr&03si1Fd<_%i9$W9CQ_EJdd4Ar^wiJ$z^~vR5oU|UyBmyjvHs5 zexaH|@P2wd0%E-pZ3kZ_A}ygury58DC$>wHZ{5^GWt03M1rT#|Yz6@G#US@C;krur?TQaVRf z86H}>0t)pG0_kG+ZqhTTbUs{AiO|ckSZjDcFdqVb-yfl5L2CzFT zdme&lKQwRWMJ}+U0ToFo=-|PX+Xrru7R|dH^R%1)0eBfknZ2fCk|_#a=2`!D5$S0( zM~^=wcHVK5c1I!ZRR9z0Z~U_+-Sz>gy7Ms{+pyRO!7Gqn27wGuYCO_XgvNDd(LJ@*VCwv@r&tqq)b&4V765s7SvM>+M@yoDKS)(^kYesktl{w$G@361yj;y9_S{%Pk zQ@fPHQ&a77J^-v-oMJmu9&0fDzw<2r-jgUiVRCGNzd+h&Uti`s`l5zaAj4v(06c(f zP_Q2SzlOezLBbS$OlsqP)1aE_(e(^2j+gfWie4?ba0Yk9!$n)H*Q%vLoYqYy6(E=b z($x63-29rA_ZE^n5bF8?z<~Zp!>kuV)5@uv_wvO=WyiyQS|ZP9t{~30+~cZ)?I;A{ z$3;{{$i~=9ra4)u z0v!`*7;_Kww)GCy_$2ie2%nDL7J=?C+PNf)qqpp2l5)@5LS! z{BVtD`gOU4VgoEw-ro4vouV+Y-g*rl-?kl<^6>1~e$9&!wOCM@Oo8jExZ7RrXOCiqqeF!j%Y!DHwAM<0!pLkED)*N~_ z^}Y(9zpB&gq+Pkml5z8+UK&gh7AxxUtv-(1a^!i*pNOPzb#;a(WNnsk2J1_KyFIod>u!L$&Zk)!8~#m_9hGiAmM#q)`6k%h5cHZt zB(Lqljv}m>gcao6JQF)rpV&PvH9BD{6Jz - + - 2024-06-01T07:22:45.471733 + 2024-06-01T07:33:14.155906 image/svg+xml @@ -21,8 +21,8 @@ - - - - + - + - + - + - + - + - + - + - + - + @@ -502,7 +502,7 @@ z - + - + - + - + - + - + - + - + @@ -928,12 +928,12 @@ z - + - + - + - + - + @@ -1172,7 +1172,7 @@ z - + @@ -1181,7 +1181,7 @@ z - + - + - - + - + - + - + - + - + - + - + - + - + - + @@ -1482,18 +1482,18 @@ L 690 184.367965 - + - + - + - + - + - + @@ -1547,7 +1547,7 @@ L 690 78.170609 - + - - - @@ -1704,64 +1704,64 @@ L 690 50.4 " style="fill: none; stroke: #dddddd; stroke-width: 0.5; stroke-linejoin: miter; stroke-linecap: square"/> - +" clip-path="url(#p64bcd2b177)" style="fill: #b3d1e6; opacity: 0.3"/> - +" clip-path="url(#p64bcd2b177)" style="fill: #b3d1e6; opacity: 0.3"/> - +" clip-path="url(#p64bcd2b177)" style="fill: #b3d1e6; opacity: 0.3"/> - +" clip-path="url(#p64bcd2b177)" style="fill: #b3d1e6; opacity: 0.3"/> - +" clip-path="url(#p64bcd2b177)" style="fill: #b3d1e6; opacity: 0.3"/> - +" clip-path="url(#p64bcd2b177)" style="fill: #17965a; opacity: 0.9"/> - +" clip-path="url(#p64bcd2b177)" style="fill: #17965a; opacity: 0.9"/> - + - + - + - + - + - + - + - + + diff --git a/benchmark/swe_bench.py b/benchmark/swe_bench.py index 52b0dcf82..edc513d3d 100644 --- a/benchmark/swe_bench.py +++ b/benchmark/swe_bench.py @@ -14,15 +14,24 @@ def plot_swe_bench(data_file, is_lite): models = [] pass_rates = [] - + instances = [] for line in lines: if line.strip(): pass_rate, model = line.split("%") model = model.strip() + if "(" in model: + pieces = model.split("(") + model = pieces[0] + ins = pieces[1].strip(")") + else: + ins = None + instances.insert(0, ins) model = model.replace("|", "\n") models.insert(0, model.strip()) pass_rates.insert(0, float(pass_rate.strip())) + dump(instances) + plt.rcParams["hatch.linewidth"] = 0.5 plt.rcParams["hatch.color"] = "#444444" @@ -36,7 +45,7 @@ def plot_swe_bench(data_file, is_lite): rc("font", **font_params) plt.rcParams["text.color"] = font_color - fig, ax = plt.subplots(figsize=(10, 6)) + fig, ax = plt.subplots(figsize=(10, 5.5)) ax.grid(axis="y", zorder=0, lw=0.2) for spine in ax.spines.values(): spine.set_edgecolor("#DDDDDD") @@ -73,6 +82,23 @@ def plot_swe_bench(data_file, is_lite): fontfamily=fontfamily, ) + for model, ins, bar in zip(models, instances, bars): + if not ins: + continue + yval = bar.get_height() + y = yval - 2.5 + va = "top" + color = "#eee" if "Aider" in model else "#555" + ax.text( + bar.get_x() + bar.get_width() / 2, + y, + f"of {ins}", + ha="center", + va=va, + fontsize=12, + color=color, + ) + # ax.set_xlabel("Models", fontsize=18) ax.set_ylabel("Instances resolved (%)", fontsize=18, color=font_color) if is_lite: @@ -86,22 +112,7 @@ def plot_swe_bench(data_file, is_lite): color=font_color, ) - if is_lite: - plt.tight_layout(pad=3.0) - else: - # Add note at the bottom of the graph - note = "(570) and (2294) denote the number of SWE Bench instances benchmarked" - plt.figtext( - 0.5, - 0.05, - note, - wrap=True, - horizontalalignment="center", - fontsize=12, - color=font_color, - ) - - plt.tight_layout(pad=3.0, rect=[0, 0.05, 1, 1]) + plt.tight_layout(pad=3.0) out_fname = Path(data_file.replace("-", "_")) plt.savefig(out_fname.with_suffix(".jpg").name)