From 07d36b22c0281b116d3ce8a41e418a38bb8f66b9 Mon Sep 17 00:00:00 2001 From: Paul Gauthier Date: Sat, 1 Jun 2024 07:23:25 -0700 Subject: [PATCH] copy --- assets/swe_bench.jpg | Bin 49765 -> 49021 bytes assets/swe_bench.svg | 827 +++++++++++++++++++++++++++----------- assets/swe_bench_lite.jpg | Bin 37930 -> 41605 bytes assets/swe_bench_lite.svg | 664 +++++++++++++++++++++--------- benchmark/swe_bench.py | 6 + 5 files changed, 1080 insertions(+), 417 deletions(-) diff --git a/assets/swe_bench.jpg b/assets/swe_bench.jpg index 4ce2881c3e638986917ec8731339aad1048af65f..f5aaf8ebc71c56561cc891a82410310ba50bda7f 100644 GIT binary patch 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~ literal 49765 zcmeFa1z1&E_b_9y4j%8BHaQiND4@oun{CA1q7tKySqdQ0g*KOF~<0fF{h_Pr<0&7(&AF$AS5ItkUsDabUFgM z3%Y=gj)9JL0RsaA6Z67FEd0w@mo8xu<6XtUCnuq#ASWRsqoTP*M|Fdlnv9H|hk^Mv z8z(0xB^{p-FT3C^4o-G>AxM~*m{^yvu3f%-jr}^=b@u=G=d=NYdjVM;Wf2AG1_&7! z2?ZDF^aF?z1VTasS_^OR_a7u=6jU^Hj0>0-F98WkuYiz|P*9LjQP9v(QGwJhz;_TT zE*jo-Hc|Ae3Xd^vSmLw43{Jd2eW$RIK(Tv+hU1BqJLW|~qHDw?v^VMK85lXaxOsT_ z`0w5m6PJ*bl2%eyQB_md(A3j^YG7z&Y+`L=YiIA^=;ZOr)63iEwQor1+pzG6cac#^ z$tkI6=^2?>Ma3nhW#tu>RqvZVd~9xMZTr;I+t)uZIP`URYI)15OtbvORF2;G&{kXG6ymRls;`dG!YS%M18- zf)fiHF{wEeHwd0sbzdZ;;hdt~gp-D#?B65I{lB8@Ct-ikH4MT+K>|7t1s4Pc?H|!6 zxn2DG`kM#;<6|ICu6a0jF0rSinl!#hCUf+V#d@4`hIjwa6J+~VjTG!wlWi9vH(2VE z-}m%p$YO!PDac4KSeZ+!{)*0v+aX)CV@pS++30VY@86$#fH^}(z_-(yfFqhz5LlBr z8Nb>i?)ri56!da+=@jH*`LL_WMMjB-r^-CvR&bjWS4X5*^5Hkzh0t9cA!`u|Z!t?< zvzk6(W|u(H%AR()k}*z(>lfA}h*8{KEl)u&26Tecbq<0)=um6ah~|t)7(2D$X=#Va zr$+me?KCWjP=tzE1s~j$oK-soy-NQeTjEigZ-rAhT~!65&%^kjFm9rY_sr&Pe<>-G z2Inb=%`>$zXddfiCjIe9DUZ$uEOTm=Vn((1L@B$CCF{^jpz@^8GEN+a^0S)|vhU{} zE>XzTiqL}@{To`gQTJmQH$&T2m03^o$Mzy+&HBr8-lI4sHbIN2OxBMf%NxY)W@Owwkn!e;0XP1OjF(16wE6qj z^63IETwNFR2C1q>&Rj-OuR3N4OvNvb^HF(I-us;RgdWApcPdmzmS>u<7MhyLsriDt z8(&IafWS9@OjoH(G-`1t=&I51HotMi=I2fSqDR?CD_)?PaW}4vBwrBy|6vzX+$MKy z;!5*`Sl>LREd#q2>NCj;7_`nd7#`Y}t?TGFMytAuYYVCfqf-4M%HR2CcBwpGYB}r# zJt}`CsF9p#cJ(9PgY12?wLxkMx7el~g50TC9l2``PqxVK5cp0KGq0&gpsvoo+yTGK zxE}|O0#mnkKYDW8{H}oBC~N*e=?UA^!3kdq^v(U=P8u)c`NsikPBE^?Zi2&?+VW1& z9#2_)&~DEnCB}H}JJNQ7Nf~Ba_02fxV4GD%e4_ZVbJ~*Lhj7X8$OWlyU)GB$g;mA#LG78ju;974{ zGq^j`HDV!sPi~(m9rg-iO8p2uI(yX+r&>rqN{^`+hb7hHBM4Y2E((p6#-Jp$w1MB^P;D)KkQ z)p}{g6P9*dn5+Rmx;HN1@6j?)WispjLZr1Lj;!ScX8rrBVbFFyp62-Y3)SAKg1*b1 zjlEWMxR|$jq=HK}I|V)nU)|(t4r7v=R>=5xWm~gH=JCZ(M6oH!hUKTAtdiYzoR!{# z_ai#psl9KTjAzZNS=&ZGY$SJkJ3SqUp2>YMEF+M6SG?3+g@GnKlUlfUkhCHJ3kTQ1 zZG{5ui)Umpf#RkE@YI8dpE+^oy5fE?O-aHsF4|Dz12=ywG)V#tQ`{ zF*kbxRa18A0;hmR6k+LOW+IFbT4I5qLAvd|EH!Rn-u`dVGBpu0rS76d&J~x4Y}ZSj zuO7JKBLz%53seeHPRU%>Aii~Z_WAwPm%NQS3A@cq_S4vrdN@tTAAJX|eJt>Qj|=*` zoiVdP5kNfrDwuIFhu zL*m68wi6+Ko0Dt-jg8W=vA7`X^ieVF{M00$u_8TJ&{Lre%M++cP86Nbi3CLdh3Fos znQ)H+IM}44*^r!FP80_A0c9JeYmT2h8lbK8q&*fYk-KL3=2{lk%pmc}vde>Ot92|! ztf;1>54G+WtzMh(wBlG9*~;}JM_(RkK1wUux?`3%8OW(Z=fH?h=C4<{E}ob$rhPCX zIglKJYxWfX^^HP-wx^G7vjxsnBw%~_(kCGQ@4BLT7|VKNW&{~Hmmi&i9!{(U%^QKX z)w)kX>mD$C$Lz&Z(0=17=%NcgsEf;m5_SNdl8CAc0z?qyMtZjh*5670=D^<^_?rX& z9S2&*iFxN_g(F!ou{QsFM$4DC8Zc6_l!v1z6 zvA|vFDN*4_@LeS};!ReVSUcqCSQm=4#H0UICplfV(}tgQ6-o+o-=jRhi=UC$g9V&| zM4fR?Fy%J$F_V&Gwjia3CmH(|e~~EgIjlc^D|xKGe8=MG(hy`)8WKP`a>N5g`v%^i z1vl5+^yO3gH(81O%|NRw;(qYI7-@x!&o={V}B<$(eP zF#-uACE8;T=p5`x{QZbEoc)MHUyuvFf(Y6_z0`1%^XhG<;|YxSkES#TNx92HK3~Z; z&w2W}FVtbwZtH>d0T#$^NA3EQYJVQrs-l$bO09%c30Oa9^@>QH{-g&rLm(HgZsi1> zeL_wbuBlULx=$%x__|I(_p=a|K|)pTtvd;M3--oW3Q?%YBb%`;MJPP)Q?5iqyH7gB zY#lGBhK}=wO^c1b@QG5T{wj|*;l`zOe}HB8G4sHe@vK`{{G$2HMg-#s#S|rkL_UIy zyYFva80EZa?V!IF@5NX^f#W=oyK%`2*_&f984EvuQ zB!j=MI4cE+aab|&TCTb&e8v=Kr*s)S-wZ+4@ec1+8fr%+DwMItiM?2+BRKPX zCvSR{bL13+^3a6)NTsxR=29ts(Nx3n5PFgH!b@rI64~@DHQtL%X&b81k2997S(bCW zILFBDJLtv9)q!(u!uPmI-tx3%7~vWhG`{aFxlSD?+OQO4*~vv3rTAVtMLBe0=OlzN*dQ6(R=&S7KU7jiAC$22`9$o!DjWZ|$RrX-I8Al9phQ~OE3iA+PDGf7nMp+7h zHo~?5*hL}|)&x@?eBs7ja2S!XkB`Lir%RujP^Lp&^QXC-)$5gg>uT$wPbuFiL1(@| z_(6+Cd0-e`KJJ43$#pdy-TdJ}d+2sq{?hpE!s<#HfuUPA)q}?c<1KURry$!Z640XQ z%@J`^-76+lMWgP68;w`|TVOdK>thyT)|Xo3oCcEI*lb*|U2xvp9f`#*lV&`jUbPm{ z&{32!CPu-|k!oIpns}8?naQX`$h(8DbYh2P(#vE^cyv6~PE@})=N(QgL4CQ6=26tL zQ384k$w!iAUxF)W@&ZVb;6a|_8z~g_0=M&wYWm20{m*{^8AhtM@j z$>(uQ>z??9pMrMx>W@$c4IdhQs6QlPIR&k(LUu6HS-kyWsI@q(<>lea)4Wu7wp#77 z0_SV-F5iF(BHfA^nAMJ%7W9Xn?0)7~i@%Z{m8;M?Fm8&4 zkp!}Awe!NY)gaAn!>Wpqg;iEdCb_{*L)u#Y-OQVP`FVO<3$>MD;Hs@+oYp84Rqj+j zPu`4_oqFx{(c07lR~M`0C1zSr#j9_g(ma*oUBpQ>b3h;Nk!ddvQ^=dX`1tZjo+Om% zZCPzqF|(Pufm``Fo1_}}p|TWBup~{uS28j$C3i51)X@7db)~n4?OC;5vfWetYd7kH zK4g+=&QM8}qvT1pi2827TQe-Fu-3EW)Sy8j4P)kLk*4djK(wwR3|vi<)3kLnLBeQE z`&xG9r=plEE@GF%w63Hjh3zcw^Y`fW3b&0vPD7%#qqG6k@ zwZfa!OXXo(eJFY-=DA8?8_-W`vF*&E(mgWNQq*L{d~I~2eMP$3ogjCu%yEJxQc3Bc z_wj6&A8BpP_#vSuQ0d(rp%QU=Dj;mZuK{zJ+^o3oh8#%8n%iZKdOMRB!SO+GkNhB^7ENa?+eG($2J!@^p~YPu}Yidh&B){%R?=dABZkDE1o;l}{lvTU9j zAt=pT(j<@fB0OS3FRzGU4asG~!(0fCvFRjaH zAch$Gc^2E~09H;AM~$V=mqJFj5PT>7ZRuu?w8^|q!2I}a@fr+pAc9FS;T#*Ef|7=7 z!%Mtcio;GpXh$#~CV%*Heq*j4>XHw0+x_~R8nm2R*o#=pn38;%uFl^%kIdD1=f^QE zI#p2AA%r_%$0UA3`#wDwcG_GgPeG25cYi*#)ZUE;;F0U<=n{^|vV8018G0Qs^5WVd z;SFAl!E|tdldaXZjzj!C8Y%s#xr`-dR5AXbz0hPxgQdvT1ADosmBw(ws1syIf883X zK^m;s%C1ecmO4`{xk7Dz^p|vT>ibVodo1X03(L#VSdNBvT0=JC$i4v{Al(lX7W=Ni zqA-{_RlO-*CL+W6Wfe!m;4$+z@K+r_fOVZ9TLLlLSiXGLT(nso+gHXcU+9nt9(^FB zd-=X_rGadhz^Uf_igZuONS6<{da;;@HT2SY{3_oDL`hud4D zbn+j+=yuaKGgnkh*r7A#&Dw`Cc5`;h+N@M}lec}Xa5QhH*!CQsB)A_J?bE5};JP*6 z^-*bYJ*z28)8(c4$*vdgF#1HvbvCz)1#J(vx8h_Un<{C2OgND)sj?yJ?RbA}C}7Jm zypV>}#ntlV+GUW_54C~|wRw+)Gumi6Zc~p`(fGbm=USus%L9_!G@0yAv}TH*KMg!~ z%QUm<&D3$E4Zdw1$9C`qJr=)f98!4HecZJN)`S~ne?R@-$O%VXK%=>~3TQOlkR6_U z1?a*tWv-*)hun#c;E}av*VbC_gj3|V=LX=0!x=ukbQ2<1Logu5f zmC=_D}g|^bynnp-Glms z6DHCJ{p%&+!8r!FoNnj>1VtEqBxxO=zkQQ3;G@~+%un@)W+}VG*jwm+sj3n>HkMGj zV$fk5>U1=dW<5AuwUL{7!Y#Rq-^R>)nFK2)+q$JUYL-a7UYmZ&{e?zc;WyofyUk9= zfW4))%JTJFo(|rG1Geaq$4AT*ZN`$NYNoH*U|s5>B8eUtxi&PH~L#C0?FGL({W1b>9;` zr%XX(l(r?TjOtDm6bG`w)up99sxg}Tu_l-7lNGrfm!AB9Ex9sPZKbgapGt!~P96w_ z^PvSUrf6CzEH^(mb5i$^EC;-r4)ZhF)7*?lS%6(7#nJ=UtN>n+;o6}6_;0SI@4t5dj z(5-`qpeB<}hiW5-uE~pOuG`R{fgt#jGvHnD6ADGVjXK`oC?}0b?~_L@`Ju!7_FKn! z`V!8S#j@LNlzz7sDk>^ujBeb%;T7CPEaZ*uCUntvM$Yp@VNXZ!DR`Kz_uERbaIEzK zEX=u)hsU0ua~ig#72SF(#T{}RXRKzM)c02~;Q#73CHn+k=K5F=zpur+_zB(5L2Tf< z|K&%KPh%IrcV$G-&aETLzZ;Lc97B^GkeA!MpXif{gkPKwLRhT11Q?oO-q4a$P`8;* zyAIcH1GR^gVomLYXyu6N+=x79k7b3oJm5IM+Y!w3rO%Oz{D%OlBZ@kQ{KVz&qcBkn zU)8$+|A+39-uoSv1t7_DLm2+7p>w^PdT=M%s8`x%uemO368tAVDO8*8sA zJW?;I#OBck4;!bO7qyOQ9lENtj~MZb~_KyVFrIr&!5rw zU%W%n^%)Aft9;S|J9f3TlG`=g;S$fHX|;cM3YxG0hS({nZX%Z3H%Y=V2)cK&xJ`My zdf01}fbpL^UMdKAqWC~oIN1X#-4}*qHPEQ6e+p8cP*ThCk6$5OHvXVUDu%Cuciuo# zFNJ~M=cqXA&YUoQygOQ2@Gor)1))H)GaJK~iF)DvIVBj|uc3a6PaQHM2PN$PRyw1D z1{ejOnqb3_#j^aTxz`KV<{*u(^+^|JglPe#yb@R@bxi?>fsmbT^9vauti=K8h|+O~3DqN$9#^tvO&C)sz5ru!n=dDwi$UAsZ{&{24!Z#<<}2CUTQ6@@l-Cj*F4|yI0Rj; zGLOCKu(qza)_7fIl0H_ z$LHFgVXC8VffelN_e}4#&b{$Q`xpKoy}=lH^a*dSSn+kW0ZucuZz0-CX@neKvuVtW zGO5fAp5$=H_{UukT22vWuc+QsX$~?qOT~9zX}xKt)?V=(Il|Vvoezb^Wz8;54E%mz zLA;mNedPU7STu2PifQya+VHuUsX2SRvS|!DI^HSKB@L%Ezibl@*)*KXU$qXSQtbV5 zv}#PU{21%DDz^n!vr9JJA6Q}FBTe-Fn2!qMnk_EIEG4;&EmXtJ#F})J;)>T?M6;X> zf=p8}AD25<5){miX}3TBI{Unb;|lK*KoFp#Gk~j)y65QjAqXA)|FkCpooO!hMo^%O zNtsaBym6`}kDj>i=a$No&TISN$n;OQetk@S%NIbxBtWsS&8asEGYFKQ=QPUs<{aPA z9b|nN#dr5zcT#cT8iYd}D9UIK8^~(-Hhv6hv=w?>pDT5z4VGKymC;{$Lyo0Rr=?bL zYp^Gerd29U#(^eE@t$R-9o1DgbUBpJhigI8B?BiimXA$w3EzxhqK1fn`gZI#NjcTH z^Vu{R$X4lt3z>SVjb#aa7k|VaNguo$V5-=+ZdM}6e2-9WPKsp;5_ezU^HMKGTK<8v zx{IM)h*ZMXEwcq@$C=A-$ekvStQd*QOvCMQ7o*~b=DenoqLe)>u`oJPxP>IBdvgsB zsP|Q?0;8FY42!DuLu_acI~+%?oQ}Srhu7vjG~OEeI@Cy3KG=ir*ZBnZj(;&X-wB#p z!GJBVZGR8fJ2Szy#~gRL63tSu6TD_glBX*mCA*!Z_r#C+!r~yMtVbV)I9>_8&Un-t zEwcI1ovUxytuHYI%)V4EgWXu|0qtG#z01-#?IJc));HHXsZBBe^z}9A`=5x*vJ0AT zKj6in=Bi-TkI>|P&Uh^$$ffCx6>;5k&JK9T#$BM=_jnBuv8Oi_Y0wII$+JvPjYLpQa}IdUd&fWT94REpSuDx~3-_@)V9*qge z4&>O)R#>^Ztm*oe1tZwj)sN#j=_mh3l?%)G&ILkQE=opb;MMKi|V6u=$}q9Vh!BtdM!=# z!EO@g&_)+}d6}-T2~adp<}Lda#PnYr{Lq2E|3>Qm9Sf^5Y*;33<_7IR7vS~}7`~Ve zycyd6C)N(4LcrR&k?+mYO1TAh0QAe~r4yfEI#Fl=x+7hO=Xt-C3y!X!+Lt&*i2ZK% z%au7@i@Bqqq)0?Tf+?`|6-|nUBmMg4ked1q1;ks^<}4(X*!Gi;Aelc?z8*sMCfGZ=f-ARxMi1hYXJ=>Cou{}1Sws6621mVvDP?D$>16%~`2 zLcCG>to`x=<2@_whsDfnZt7Wtf-yFrxZQxMdOXT2I?FF_Y^~t37Jh^N20MMR;gjc> zRBI?B_(;WK)@7RGS><~QCS`;hO_2EOiEpc^(Z))*gpg)cV`INXMC_aR#_PNJcudaC zQaV#Kz1;0e1?d7R9?BiSGU-JBE{c}G{pDZ!Nh(6AvM^H`qGqEi9EHDZT(YVpweyIX zA?}({TTGMkw4c(FT2HGfudOc#cQrUBJ4W^H^QUn6sP54;U>C(%^)y+|f~=C2)9Q(0 zOSZYtimER&5qtg#*f3LLxbgY+VR(Wg55vu`Z(jPZk$>h(Gp-{m?akNR&AYXJ>(jHV zW9{?o`2aehg)fh08cn~J$C4Tr<7dy#h|C?{j3ivq)&d0PW-P~1l=ZEJudMQfM<5B7 zh4kn$SJ@7alKBoMxlt7rd&m{}_6)F*;oj;~7*gI*5Fw&E1u2%&N?;s?WinFC<+^9I z!3yir@>Phz13Z1bJ}KN;V@m_&Jz7E?TEoK%oD!C#4{Zb~AS9(?3bdEy#Cl8Lb#q-( zekX4ADkP`=&TX-qkx9l?>=gwilK10XiZr5^KZKax@dYKDB^&SADSd4+NgB5|4Ckh8 zB3y|HRoPj`G8$It8h)0e$XDn#7wH>h_F-lt*MuIKG+W)mEN*;?r-`a5PqKAqrc?rw zuCW{*VCszAiAl9;{=tSSQ1nP8iyk>HHubA9Ve@$N*kk{)X(XD$U79Vqfjj_;_`lMy zh@8F@du#AsrOP8~^{|l}>}wNoZa5DIVy)vide_!%vNduNj_;MJ1#3g&dD&mlF@nK8 zZoE(#@h_amrfA+UJU;A%)Ty4yh}ep@(G-1b7t`{M*yd2-SFe*tN=s{Q={b2t05{a)zM_nTfW+OraaW^ zUIWVWZ?YhpogXOCUwFI}YL@+#J%VMArJcA0*tD-I$U{?wNP6Q8`U_C#6dGBeT?)Fccg@PE)lKpQ8%{Oy5MPPQ(Z*i&5J!G{Bh z{)J|l&)xKQ!B!>M9@Vm1bp5tBN9ZHEID$B54x~`lj-R+OER)=f$aM&dn%+~5B7ICc zEOuS)ZP}!{KOV=4r(%y8tYtb@rm5~(1i#kT*EN|j^>5Wz8A3l_pqVbSmBSu3v9}y| z98`_)sYd&lQ%#n?FDEZCrMSdTo)&o12&jJ zchI=TTWQ;b$W0;1U+8HT1hJHjGfY%f2ZNUg2ZGX-4ksCS0KkOm#9d{Ro%rREMU#Ms zQg47^(RLn*x`j|?195hl6qSYAwa^qop?WT|I$7+H9E;3!TuC#01!c+aTFehmEz*-g zAZ+Jip~@;GXd{~d4uj~Z0il!P0+6E}Kp9%;XZi$#;|?tV?g000CDz{C}lD2O~H-(POVwgqqYy zF^62gQ~*l6i+7tN&S@}vfUC=kb7dqzM=O{)J6o&8!jkwIz4C;61u@2g;6gz&JqoEr zubH6G%u-1$BU)MSLeId|>dfax#!qUl0)&^_)=La3SM3IvIystQ)bA))&2G*O%Eeob zJ-hD9qar8Lp&qY2#5JsbputSICDvccm!Fp`8E~>r+Tl~ln7w5NBGlV|AVo7D37Kra zd{-%IO(uJ2y3%2`y4Y8qs?w%GafWy?3;O~pJq9OIsjXeOot!QEeMPR(c6?bT*u{iG zu&4@W=aUIlyiT*r%SlrgDvQI%irc32RcNgHuvBAz#yB~~e*@2*1$iCOBmEi$CJaby z0oY-k>PZ%`T74^@Q<8&KX7P7FGuS7shlZbIOu*V*mA@`{4HHH=D$+*~J6@wF<|T`F zvaY)4zr~(J-)6uIl1KWPRONCmGG%}%)#4KnSq!v9)CM>561@n!dK}wI6mF0DfaF*0 zYv`&EQiWvUB^vZ<#N(bWzAp(P(T*+k$KjGn|?!e$H0>R&38jdRFNbW9JXevPg%I*FvhxvDd$*gexv%|c$BE&Q~B z5s50ai<};L4N*!mymmDqoB+-xotvi4i@7&lg2!ddRf*`*JJ*-RY-~Vd2oiwcWT4KR zfV&^U%ZPHHlIO0jexi50QS9Bp=Fw|Ug>|Hu{<@@+Q+HK?k5>Ojh;O`@fstxu=)T^pd0m(moEDY#KQw*w zKS)%{NW1GO08%xYf51Apa~Bb|oyRk+w6-x zfh(8sTgEp;B+l6=h&_4HdQP~30IL}uEvnXKyCd`vN0;#!!rF)6qw@D2EfIQ&NTH;? z1sZOe*GV2#F8SfQ`SY+7RZ2fj=T2)0LOUf#eMZmm1p zayP{Au!^fe_)Z~4C~tyfHfJrf$RTnsu*^+ePuzJRldB3EO^xBeiL^{c9Sp}`fj&y(zuv)f%f)96bB!#zb*BXaUuF}gf@v`tx2uOQfvJ9Tn;ul?F~zP|g-7jZetCqr$^&Z+~Y_;@A*PX0&A zRb?Rq&esFSuhR##eO`_8e9kd~-#%uj(r3d^QvdDJZeQN@+mc;Zt}swzjcohd-l)>% z{$i}jlAEYU_ccM8R+P3Z@HsyW-^<#`rDjI5teZ}}Tq;Ux{`JJo@m|Lp>@EkoY3tI< zW~?l%)GUV9sGFI?_itT8S^8)l;dL$bzE%77>4ldQEv%v zK#NaGAB#=oPWyG!*(%v9KJ7OrMTfyv>>PlHMW|>T7>_a7s9NG1au9Ugh`494rQw-)myWYJ^x^lDks!1D-^n2rA$@eiE z{8+)-Sg$i~C7ZCoIyiS#uVx!|d=}QOn4zdlz!qp)$z3LjS{WMC`kKDypEw^v$u;T^ zde;g<3i_O<-eQ?=Z2h5d_^ZjVd5ZQ|YG_|E>*f`{CY0TEH7)T0&Q9sQnY(eVjm~tj z%tVh1LMU=loff_fczGnp-uSE%ZXvupZ4fv8@DWG(L+tlq-qz%+T#{>ZAzRa(E?^G>EQJL5*`AcPTpeS?+3HV#yP#(h4I>tXIzow1h|Xtu=2itqtx+ z*gw@s)xAlp=qgz&oDw4U#YvSm-`mz!i=2OXtGgtdSW)sT?yDYDJ~8tqGX21c1PQeV zLC_~qG45E(qmM_vk8}|IMS3QQ`p*n1%c0liz-q{LelHFQ@Y2AD`%H%9OPx6qK12e^ z?w@zwAQo`z+50<{)^d zpjkaYGUtn(g1(H`D%Ru!!N~r0K#=QV{Sj%OoSruu45MQPaHh8&Zv5&$gab`U8>}aR zs+4=Zry#LXXBLOSmylU2AQHbU{)i>}tEuEO=StlT-TX!OiY_3`@|G5`{0swOmN?q6 zmhte4AHpjx1uCY<(jw>Wnw0snRYjjvD6D_pcMn7b9!}SJ|G+x|$^ew}-`wJ46@Nv( z%;VXX_?Cv43syu%GN0Sk>YxW<{R3(~wr{`eBwNptzD}|Ax`02~PW_zdxe&?B2LvC3_7dt{GBoAGG%S{Po``czgO zC_c;|!$3#oOSgH`(=;=Hdq%VONj-B0i++_@gtea0&;u*0+iai3Kqh|yq@wX5gn{Bu z<@mhmb`i1aD06X@A2sbHe!FDV4+!!o0&~a!PU>Byho_(%N@=eWE#lhu=UmvxXM^92 zAH3_gi;v_4Me>C%JBBD3fgfsh+<+Nog)?Hpn_t zUF~OvH%xy^v)_FENmc*Wz)>EXoF#Q|4Yfp zks?d`oACo~bTwM(C1KCfd`UyV_B7p*xN@2DpXBBl<07$hue>#h7>M9_uCi*TNpPtP zl`|+bW;_0U$rZx|3_J2@#Qi7pho>OvAX5lr zCo>(0h3h9bD&uet7@nAb(!*~IfI@Cpz7M3~M%>}1K`!(Z)DwWX$BKb?;CYkbH@KYu z&%>zo6mt6nTFVgjbDFyRRY_6uk&BMYLKoL^>c^Qy%F^YQRFuumx&h?J>U5Fy-y6H5;) z@!P#Sa7&dSPvxX=dw(Zu1X1Y2N&vVLE>+DFz-9ThY6hQwUDrQpWHlf?7Sfl*2Z6OT zK2_Mae%TkWB z0gx$~JI~WK`m05@_iLXL-21OP9B+i_WCEOSQg}x5uNIjZo%q}g#dK<#%s$33+@&dePAnk9pNj=W zjued|z#|51=>;F+3>+8y^ST(p?erx+borhA2GbTg?Tlsjco%*p*o*T z9)ol*{({+-5^(m@F_BzxHcv#5Ty;+^(ff!fp>dz=#OCg=T9rOb*OjV4aW(O^1I3RI z!loo%t1n;1rC#HziPSa64;m;haj|$Xm`ky8zhZkz3hUVj@$&{0|JxXe_(%YHdlt6( z&m%VR7Z3}B6x>`}5i5)yJ+BEdnp*67FUj`}OswGaco(p=E5o%$6<}tm3x{2nwT2bA zFp|Kru742cHjovfWrmU;;K?#Q0AO7IJ|lC1MIoC~Gh2<^Cwxi_U+Ky@(;43Mzk%of zxA&~5f?wPEl*rPp%9)s_7!%SzBG(VDKpClhri$aonO&H8T^2mBqbpCbkDS!_bFC4uh}P2N(ULyK(LV<}Vq5trv)Yfw|Uy}MKM<}2MbawC-DAMv6g#4{D;fes^V ztuOnI+}Y`|>#Scitp%QfG(jQ0vMbQ3!|qy04WNT)GVtW@doPIZ!ZuD8kyC&z1X0Q9 zpW7FBI>7uvR;M5bSKFka&NUYN=!oN{?PSCo8&HX&x$Zj7=YV#gpfAYXQkC$scvyjg zL@tTloP(D&T0c%13t~C5urI?C_6>B@JwEi715Ar@mToCT{fNrpf()VcDvlN%dd!mx znUKTN!!7TMf4`=4Ej*itN{B{12#Dy=eP>I)hz!M#9)#23grF=kk>Jc`G?*J~r@Xzg zqGAuH0X|EoeCtT+b7G2e(nQ&QCFlC8ylGI4u# zJjVh)IN&I%=J^PqbVRQMZ}lm0Mtr|A)Rl@1ksr8Fjs76F%XAE_9p527$Jw(n|*~*7pCew z-4=Te(WK$`5jbX-`**nauO^$ZefY4(xBA7^21#Z0g+0ldi=ns*`S4AYL)8{9o9IqD zxmb&Jw6Xrqrcue|+X-d7y5?ZbdAeRssPo4%C**k-O39+}&DT=s;=J;bd^A`Tb*1T( z;55wQgLWS(6aw2`88zvVxLNll=EOh37Edyb5-uub z9d>R7eM%k%PSXjK`6<<9v*B4ve`LvrXX!u7f{I8=s&<^bm73&s)dYyMcU3miT?_gY z?h8WXQy%yPtWy$l(!ObBfY^6^EA-M_V+dXWDG?%9F(>20tV54Eav?@?cty(le|U(v z|FgP&Z{vdiwGQ34w&a-%z$s=qx)}+Vs^K*zKS4CIMAhIG5q+Kdp@gnJIb_`P9TFNxZ8-@2;YM0Dp*--|4~!&Qh0UNj#{ zC=KWL6Mv64;`ptzlJ5P>p8TD=KSluNYM86VTf0?N#88sg{ONdkh3I5p6HEby&*}!~ z6m$>ak~jSiUGkJDpci_NF2F4&I80{;XQ>X)pKpe_j%WjLB0(uiQ}_W0lA3P;I9{ax zW5>$~e4OORnf{^VNB=f*ybI2F9Kz^{N>9nYw@*O(*Zbmwr%hKGo9@KP8nCfMPhn}< z6Jsudc4xqzrh^PK+jEQI5tvxLa%Rr>8xr_WoA_s^+!j;x4f}jSjU|1Y)k3$H-?ujm zpV&p{;e9KAQ2|KX5QyfAAk9F!*w(il)7+caQs}8F{gcZ-v8OnE+v} zY6N@rJ`+3GUx4Eu0q|#fr8LQnH^1}*e%P0tH*jt-_!LB>jqP!>l*O;C`f>`7&f|+^ zDPdnm<3|>ejKJT#@Cg z(cF(CC~*)36NGAwK6F!MTH4PWxDVY*5Y}I>Cg!5ZhNh>j9EF!>Yb<+91|G5AQs>IN zp`JKGf=;+-SF}E=MRPT@F#$*NhoYWb6DMOTW#BuYm3igqqgNUBd!#e|Hq;0>p6l$7Q2-k1+D*6! zI1KVk0%HZhF%xtv3TqZ?uBC7-p5NDe9=5O|4!?j4 z8*CHJt_gfW_dH*zXaoZC?%QXEsUHd)^_#&n!x6BSU+OXT`Mv0WvpqdYk$?fe5WgZ0 zzy@)UTmvKKvyd>Y;P`fnu|1*Xa5yUg1pQae-Vgo@qW)>k$U6w16P4kX+CC&#>a1Qk z@Fjc}cAL8fIb1mEXCSU=J`{-C0rp4y!mNz{uF8Id+McDwaWX-d?o{|ooxi)O1~U+q z4*~!f%|YM<6A+TH4jcLDyvq1D_4YPEZ*ORWE>P}uW)JPdNA4dkEbrf7t(Ahakqm?+ zDCkYKzsLjk4AvjxsIUaa7;exmIs&nE>hbL7y&D9Gb71b6BN)}NyOm$Q1(oQ&e^yko zHDED-2Y?WSpC?^>e--uZ16CUP+=B458!g~<`)wEBug_T|+voo1ey*zn*40D<~_d-rcnRZuM)i+c4Z@%%}?PtK!W zoB)2-@#Wdstk4OCYPnoi0L)n+S>*L|wV<`ap* z%SpbBug{my{9QY%MT}IqN%;=}l1{0=Z(GiYYr)n#!HH}Jd|koY=V`?d`%Mu$e{R$t zTS?H)yHKn7|6{Fe7k+f48p`0Ox{3B(fV2`Jw;#aj&+YR6-f3e0LFmbOijkDGAUR-Z zuRn~Le-h;Y_Za>NR7L#$?st$)mw*+zCb_Y~orj5k61GgA^v?YpOne!jwwROjyN3~g zl~myYwbS>3bZP&fuUH{sXrKQGy<$Au4z_z1P|NFk7r+IQ?wqUO5@CJIfr@Xw=?TPB zJ;OP??BaQ-A@jG$+CR1#z5Tbg8JYfhq?G9Ihlk~TJ_k4aT%ol8VuiZf|9x=+h|0xz z#PH)xJ-Hu)oZ{X@{19!#}i#@8zw~wefcmhGIwdvyYW+K4ojkz;Bdm5XN00={$ezAo&wQ{%lL6`O(O=5 zUI_Dd=V6-N)oeHZvPzrxp{($IqR{h2(H*ildX%4sRb@4QHs~SjWTh>CcdyXT=T3wo zXx1Fn^--Uud8DP@rPStp=L`Yvd*zq#3Mj`YH0fKEdIfhAE|V~V;V6#=m<>42n-1pG zb{MpgfJvWm5(@YL^-o$36lUWOSLo)!@70g4`KaVs%l9&XI&tHV6=@j6`bo~)m?PH`8)eqEL6qiQGB(N*xNkT!0#jfo3@5$ zZGTB6wsMi@*0cB`lxi z@gvb^G@(g+4LhoOaYLOZP{e$YV8{L^J##i6Y`*syknC)6^)z!gd=`Rr+*|XLy+y&a zzf0SE`7ODV-Oz2yDGkjC&z)SIDRb5-$5iDDq#aM+&&E8L$jl6>;@h-&su@oshnrOE z2fM*mjf}t?TX2z^x1T;dc>IBldIm|Rv|I4T3bJ_T=L7on* z)l+T>+WGDgZcuu=hcL%eLAnfqB0D!GUU9l8y+4wLuEpq8R~GvkzmdA(X(yuoC?-&9 zvb(kE_*S_sun!}69$&2x@*Zt!;&2Ocd~yn!kvO5!AwLDh13FfH7mU;DHmp5&%oRNA zuuAYvcjKjlJ?uq1;I#)I02Al}kvC)kIGAjG8#wuq%pY8|Vy_!?NCEjxzj$A`;T4cJ zE@5wMzS%`#S0B|vj7ovoa>vxL4ZJ-d*8%ZVRta8uv?%S#Lu^lT?qn3*A4^B3i6%>2 zzIoaHv{aHBHj(2)?h9Slb~%TuxbkKD(k83ou8KJm{oeH7$WmzSqW(eiOv!&s^MFp+ z6gkDV!oXxjudkS)L%~Qejfc~<8&*CQ& zrJ4*D!RtP!`kYsV{^S`cIM*~grOnjzat^RpRNsds`MS&_{g4(F8?hI|GAS z-TJ+rqwe%KH3p2@<9sEXF_S;=Yc5B1hN_#qZ_z4wo$6zTQ^hUtKzXl=IA>%`O{bfr zzeeV9+Qd?`&HuyNTSv9EuIu8Vc(FopFJ82`TPaqG77tQf1I1m67B5hs#oZl3aCetr z!QI_;{j$&5>+H48@9ulgxa0mclQAY43GABU6$(3Y4Q}m@S3XXI-c-Jr+y<8L zg^@D04~S)j!8J!Rv3~&Q$+``%Iv3zx_B;p^E6cJ4RHlqY_iUL$aW_s}OIfg|r0rt-E(e;9h)Y%qjg4cuPuC8!bxKNlK9A z1@zHJ?%DXTrK?!Q@@@>Y3{Q{Q!`H&~$OpPBcaxGQzw>ghu=5>pu%$DXM)OaArGVaptR$-*9_R`8nko{D+H7JBAl>KH<%?a za!5#`0eX(gYkKBsIqosCm0{k(C37o#LH3Z4bFO!xsi+1mK7}u?#-dhZI?oSWuhsh5 zc3$ZN`xht)`%y(GgJMQ&MHJTYPp`wCvZ)_FbLTpIsDKQ!dXZDkiwbLsrf&35Qq9&j z)b<~`;BycRTLqN8CDH0Xh!g)fG;!j$Mpu6tmE(P2Wqsqu>{ac%=X6s4T7ts#nI?b= zE#np1jr6sVK#VJw+?rF&=g9S%<7OQ{a+oN%?t9JBK40&~piO1E0f5f5LWIhCi(zq@ z$`IA`gmk>7&#&hA0?}9dvBa&r#9PEGlRXinxd~Kyee|*y&f9$d!&3#NS*Rk+zTx=VE42dA}F=7z!nLub`PVSmJYqvEbSho zy_gw^6iKyPnX(tPL^S_rU5n`fbv(8+OV(p`8;*BG9m%* z-L!2py~TRn%t`uH&}$L0b_ny9uQDs9vt5fN;>2#bY!4A`c@+|WD|L!;^|>2{7tM-g z>;?2l&2?j{)w(U{cn4Z8BAF}toW+()sRBvg;9O+xFIA>PT%eAH)8@ehJ48b2H@=J! zvJ+QJ4vBMNycnTvuG+KJIM*?IcQZ{sHQmch(8IRc^26FE9$8|bpa>*UhJ+4I8~>Gw z-5GvyP^O?ZReM5Ud2To+JO?bDftXb>X_0ij>!ZFYyaM_F6;7SS=$@C`;+~n-60*5` z*8&O1Tust(J`eP@06f`DtXml?CoAy!^G22~%GYeHaN{IebDa_QZH$19Ay*{jQtkeF z%Ijo%A@+3B^kD=01OQl@WV{5aCM8>CGxW7`GR6?b0E$V-H5Kc?^WG-aD5NC%Ht~Ba zA(2hb5_nkIcH;zf5tS;$kNFVgE7vB8!@Ko%lg)-5_fAk)}$xXnHw9yNY4ZSxt1c*nLe=30Wpjw zK`N(02Fa8(P~%)C*6TXbLrm)K_a4M*Y|lV7e_7GNZ0(8keoD2eN&&So4%Y8Ixvi^>j*o&`4fitqt#5=h6Iu zDUBNX!BRA6jv#dH1Y^#c3TsxSiCe+B^3$n!a#ueLNCprfk9^o1M=ey;urs(XLzS=IOXMECNqKmx+(ZB38DS_IGy$k&{14yr6UdPAVVZGq~~c{fvKWuZ)YwWW=u1bj0gwDbMDN#-hABA zzkpl~;YOM)l-s1lO>*G5*IIdgbDKJ}HTeldWv=dD>7G0I)}tPdblMm0a#LgBepKrx zMx5*TY=AB-DY8K;9tH5EAlR&{l=8~T+t^K~%K#>G@VW@}J=W4v7vbCpx$f!0Qi*hX z3s%3oa0o50Tb4`rtErCC>UTw_RLWAo|D2uxIU%7n&4M5=*I0mt_ybZZPH(~Ah}W1g zcs3<#Pb^2qOXcPsYQ&)Fy5AHr5?{ScFOSr$blYdVMNvwu(9DzZ4$%EJNRatWptz}8 z92NV6&%)I~^M(e%J=Nd23c^lrUkh~FA?6dssykz>5oWBnkT2-LdTEl6XUGa8?Py&D z$&|l1+>N7V!3IR?V&$Cx0j??r)DPE`8*YAOs*N*ZBkOG9^5^_M<$`n|bx?hdViiEwblNTiQZgKJ^S|Bhz&#tDvufg1%{&8zZ!Sp4L&u6fF)rEjxNVc>fOGCl* zt&a0rKnLuJJ%1&e_rG~cF!4UNCrGn8%mU1d_efKPMicA{7fK^A4;nNj5D`+H0(_WW z9R1Y>$JAPv>N*{qx1!+mos}e)@PWIfzukC#gQC97b8EII$usBz3-Lpe8YDQJcSxzS zcUUNhQMk1hp{i_8^}v&DIfca*_4z^_&d(#bPqI7eAqgz zGs8$`chuBN@SFzd;>SOu25$Pi9PQlDh&?W)&>cKyde8Gl0>L4U_={6I7&@bu+?TZO z&SOt21}f3>ShzRx@8vw1)&a^96gbhx`a3d? zXd1;3wjL`bv#;^bapx%$l+PiOY%tabL9eMPr%gpB@>ST13C|chzO6wqW;&`roExjE^}z8 zH$6@$SW)R(IFMt3iYb`yj-?^RQc!U7!MQv-9I!*ysRD_b?ar_i4)Xd$Ccpu)JDPt! zA@18ynt2rVD6-)b%8M?n<0p)5WIr%s5^lUQg8vYN(VpDf-)1uLJ-9+B$ng)nGHZ(# zZUhsmI%fxj=Lb`}`*Ba%#DuQKD4n^hUv>oHnWTS$te9+wG7VEFE;bK4VaF%OZre0+ z+CPnm=&&V5=$9j$y-iHYVDc|}D@9vig4B&J`t?Y7IORg0o8>D;vgp4SEt~=g=RGb_Zv`UYrv1$%8`1?Sw-*<~}#m`-CNv#Nw zag#U%7jnY0By(YI%EgPwKLF@`1e1~?TAF8z66r-}6NG4=5VY#Iyi9mD+*Ajj-h97&crrgKdv}-d4wc+ga|<6~ zaPihqYntYPuVP)Eo%L4?7lxO#f4?Zk3nk|5g0-IwiK9D;jUc}3QE_GxV~K;UKL8Ft zPo<^!Bi`?E6awdJ&stV%Yc+l%epLW1a=k-2{B}7;V4*zCTap3|zvzn7X?JRLZ3^o= z>wD?w=$?rvKTcl_HG_h&Wc1%ZZJY;12Jl94r!r%sitg8+{-o`d?WVF4{&@VrK9)4H z0P%HtTAsTZ5i%r@#~-75q)om!G;WHU|5zs+laa?oMY?ys%b(l?G>}9tO;?rALCEz@ zQGeky&;!u-!Ep{%VpCzt9(Cp40kQ(xVB8HnQDtOrLuzec2~-nWA>)a1FZaS;l_wMGT898L#wNi zW|#E+yvO#s+6i4v0?gD^kS;RA=vGq+vf6fJbM$eYLh5j+P&fCr?B>Z3%L^*uP@_nV zD2pCE?U7vR{JHXMSf&a3gT(hQOtzav`&g3V;a8%pJ?xOR>zZm0B#;vUY?zjAl@Nd! z;|Ty4-dZa}9Drn%paxy4AyjYjwSyw)e7+8PUYw}zwcys}CDXrPCK-N&0yZ*lRwT&yGO(HQ%c&+=f$g8Yal`BaOJ$Q+wcI(J6?aWe7e{M9X zrY`4d;qHtkI7ST56R?8=)vs>LS0tM&tIrjCMmCGnwS8K3Uq@}O-s}or>`73-<(~ga zX(N!;nm*!D6jC^tWx-noKPHp>Q|-?abAXg3W>-RxfLTtw({1ULmG> zS`&9K4n6|oBaPdPy@;+@8()TraBY+w+l*px`Ox;t;pztu|MDBbAf;Wz^$*K3}83$DeQ4h?URXP zNMF9y-U!uq73<-z(9mwe53SUIsxr+kQdy=t1F(w$LMexU|u2Gw4bvEKtzCBKYNL*~v=d|JPNE zzu+(D13!Y>5?#_tkE7ZfIkvLLUJW%Z*3B1O@+aCyPU0avC!{T@=klztCCSzL7k*0t za^hz#ZJlPw!>;C?E9qrHs2Ul;&$|2zofXq1o$+Ra+ zzaVXl?M$)dHxYH%Tt=WN8xn$$(T&}xAEvRtAW)Qfaz*1zHgtv$!~~QU0&-WW+u}Kl zdiwjloW6B2vawn{c)J=zm-M#P9O>~8o#e4Zi4FO)Ar#DCzX%zpW1#*8!#5GG8Fku| zUn?W@LHtCBXN_`9JW4(M2GeF16=|nJ7cl=9oDNZ3|H5yL68ac0s+>&QOBwvsHuiOY%PrC=68qO> zd5ps8NLi#?nGW)3#h@6neVf$kcB7T0wU}=Xx)5nQ_DFMB zDEJ5%gft}e+=m3`@53EP%s?DRv$#3BV(UY%3SU*b#g_>!*CJdyd8wwI49qnVjaymJcZ9_&&wqN%Wu zV>d3}N}U-XNhTqn^3HunkdX(W$11~o#<}f?LixiP@^zl0PR~{KW7WCqouNQGxod^Q zX)Y}CnWP$|D@fb=Qd5mH zO&H&U`Lre!NSavZ83ntRE6Lw5Leni@z;(#~+9EwHt|NtpZsWE=jG9e~vV1c&K%Lsy zQu)pwD<_z-`z(_#ELQf;Ln+$qVq)Us5nQqC z@KcY{!9J_5FY*1G7RzZBw|>f#&kH^th04g_qsz~or#&O7k1_A+eD_4%FN@>f-?TE1 z<2Ju8K93EUy z7MvDdF+#Q0dTZ?6untwF+=y%VOTxT!Xnx@6Z6qHYdvm){<~ey~A8=XaAD+~IZ?B={ zzwsA$zQ2dMiD8D@V=V6Od2yt;yi50L(DD*K#*`H4oJazL1Q`70q1?^f6@@6j$kA{T3{AxWY6^Gr( z>g-0RQe7x~tVx{F+t!#B?O=~xjks9dDAb)AsI*uaiT-@M{|u4cY=(;@sg{ZV08};` z&NQ-V4UkHoz&JPWaJDV-mkPx5EZpNIQuGyG+k3Na*E9fwespbnx05@>s@r*UlvXZUQgSN|3WmtjxH7m+s4uU|V?Lh_>J3>q{bSvGSx_ZlR#Cg0 z{{g5Ubf?M4-Nl=?=GxZ{$zjj(J-d4^BT3r(dz1hbG5r#u|KDL)?3G4h3=t9;%Fqhu zG@$`Lm=5NNNxQ{e5;e9McnSyoy~sb3(c^2&PpS{^yqB8XcEp#CV!WaEkkH&_X!bPE zk>ur*H0}AP65?3X7(p1khLIp&4rd3I^G4W!_|>Z?3_5bdS>R=@2GeRWc{-Y4uNP@S z0TI->4RsfbHCAUyk`6+{$83hi^_n*I^-SXd4i>n+HT^;*@kXUNV$dr|B8vzWLFFr| z;7xHsMt$ZkKAs##g^UQ4;)*3tdSdD;b}dPUZ+ z(uZ)aN%x&HmuZYK-$}18s223`K)yLiY1X__r-DJpJIac=$erX~usPYBm=exC6o$BZsU zH{8!EG6t54uTj=b8pT;EmIhd|t3RKaA*J0N%QNyMwvsmc$iQxNW^$p5MQlj#k%I{u z?Wlb=_9Td5gi$s{?oHi9{3)A2n=5zY<@YSB6r0!u-y$DoJ#=)HBA${8ts#b%7rrY3 zDRv`G0=?Yv8Ixek|DfZQ`Vr`hCI#~EYi?45iTW`MjKB}4cfUT_-NA!s{A4^rrSelwXRR5qGpR5{rGf@ zY$HSy;BfRTRq9-|E{8a90YKGr47(mGmWv2myCrhc!p5b;s8xAu(`zN;?7o}~4a|?UPvLT0{ zar&P^;OcjO04%l-u0%3CS5iJ)JZgZ-nuT-~#xvwW28U(VRato^clHl=IcrHj1jleek zEm9-RO`>krD0Dax=#}Dj!FFsU;GVJoH->h)HTm2Y3ACZ4Nj~p?x}|~0iFE7^7tncr z3kPi5xnMkfx~04x#bBzS=SQY_6GzbbEfVv`I~F(93HU&XX`^a}VKQ?nGW>$A;Mb%a z{*L`H;6v;p=XRvgLsKt@a^DLQK7-#T*{c6k7t2Qyhrm%A{r z+trmAGeJ|SH;xO%!$!QY%xqvB*IO;QhL-2PV{R0qu69e6Ps=$ZSDDzJ*Is^v?$v#t z9;60xp8Qw1WQGG)ljab5u~Bv724}>v-M3d1rhZQ;x72!&&NY}tL7%n;Hbhwrbx+Tr z6(BH~@E$8KnHf_O+P4lVI68@>W+g`H#r9GEvkH_-1!@}kp24!)IyNw^IH!OIq2Zsv zCo0tjp7`3E(`PZfFUb?+pzqK!=LZ0&Y+ zGgjq~-QBMfmAivpxH?p)Q3sA)*T4z_y#aHX8TGmk2}$DvvuC}Qh;ePx>@J2Vdo^@~ zoXV7qu`+eLYIrhV9pb*qZ#Tlb#j}ta6ZQ-zcKF8nl~0ilMaw6&5Wye6WYy9LetpYM zMC!jldmc>&mx58hKi@oy-fICR@MmU(DTsBYGMF*^-g3{rtfv~R^d#K2vlaZ%rzZ zD5glZI-I9PkYwC`6u7Donh}x8Js`!dD%4w%aS_ga1=C%PM|#t-kZR)4yY95hGH1ix zO)7hR9PE5;+@>Ojqx@$?)=bGs*%Dn{=EVV!n|a64aSovR9kB={ znrM$!)#+0IbQbi=N8^em#mo#s`Mx{WZZ$1Okj^a=JLFI5-~ZK-gYmS$G01bOkGaM*X0K5z&r16Z(Zpzy#2|)iXywfpy%))o2YJ* zi)?W0M&C_99Gs!wIqmZF^7!s>G?ov-Th$$~Jgh_`76gGq7z$Femm}%}R^}BT(Rzf# z?TEoR&gYYY$>Li)7?~gPUaK5cOTe=QebB_1uxcZi+q(=arAMLpbUe@7pRT!g;`!KcX+*3vitH7=LGdL^qz_O zuhdZZ?S0i2dh{iI9pm@o-ORGU5tN(gi`;7Lo=)}cjIbrlrUg~6?wf~4E|^TkGnG@I zxDA(5?$B8_oR%k|R6^}thg+%`JfeaZ=R5BSZq$og{$SG(zToLCoBB=MB4ReMhX6jp zJW#L8!-im_IY7?rKhVuxYu(jE9pfnxwzVZH75DYl?@i0uYmZ?4K0Dt%!AIuB*ri*W zZe9K2eK$xQX}k!RtQ*I#vwFP{&3&1tPp>&%dUMnUHXk&qFkc9c1=Io zuQ0~=IEPCDWwmK`XD=TNiMHtzw#d3|uY;Zy)^0emr-V+$C*uWRLYycp$LNBsGlpmW zN4T1@azpR{e{AcmscJ^+AUcvocuM=Y;Xd3m6P5&PIm{;eofEz?B8)abCFWt*?DXxM z1Vzh#H5OX*>wf?U_7X|WiwepMHmxHN(8B74s`Sdy$SGw#0S8vq1LT|{)s4B9dB1`%oZu^e1Yg)BUEhwURAfQ~p5(o)I`;<%|BP=6F8|@RN z+ZK1BR29q<#V*{EOC37)Do8>Y4=0nj+(fx8dgJ4n8RS~X3i2warBl{nJ2ZB~SXly9 z35wu}LzXvPtkS}Q_txmxL>ph0f5BK{V-__Q*orrCd>JLQRWa;m)6y7stRA^#V$nA!&J4&S zig}ZM?4@0c<#5b)eOFc1Ncbr-GV0O1(MBQA#R`8LJ(G+5gxL&sa44gM<=9I32OutZ zedPf@1Rlq-**9Przl^A{@+*`@T9d*zGydx7jE_(vas~trh@7)J$mA`}tum3vt2?vV z&2|eJ?-SZEcaHXpOaoHMEdp#%b)mLbY2KFc%aSN*mYTp5K9yD{7wr&b+9ux@F`@i~ zCu_3-g4tGt+vc1lFWx5!2weVS$p23}sT%Nz-E7yrUUKkiY>tcuIx+IEcz*z$U#u=~ zr+bCo)azbd#gIJbAM^8w9_*`fRzfoMfOA0}gt@)sAkwXzDH8u@?Td-(LzM_EwQsy8sXvXSo6Oi&c} zxA^peR2&oSQ+L?%Hq%z9^sH&P#7nt4OpR~5k`yK4vf(?L<|rB7RNB9qu&)b zy|P$HHvI!|`tw$+>vXwgDQX1#Q?7b07umHJV3=?LH{+&Slb|5XTTi2sYkFY28jc;Q z<(r1Y-iqz#es*3Vv}|m-nJX=aDMW=RMj?frN8g#fC|54gU9gNQk?RJsQu-?E*Y{KD zZnGU7XP>&(R4fJX0v`m;#V>pKUX$WTpy0qKc^;2$c_ktd_I~t{_FFCYz<9d?0damk zi+TbuLkWoBDy;;*8-3EWq$g(T2Dt8s$_Y|tl6Fn8Wx^jjMo7Z4KkqfQy=pz|p~>B8 zaKJuTvS1}ZdL&%R0fVxK9N`Z@^ri}Gw(6&FN!GVCmoAv%q(1-k6d)Ms*Z{Gw9}~xs zP1uVpf8Z}ecqMn&i|8XGq&ZqtxL_q@*7LN0i}bePluP*wYJ&h(lt+Gg{9clf2IMdB+4Mt@bhJilD9|43A*U7O20LNXp_&6 zm`^m~J6rJ}HLc0>+s%mxH1WeY1Jy+!`8AinM6nUyrGzE+`Ug zwi;>DG7mcR)t9tlH`X@_!5;#QiH0mX_0i&-L$;ETm)zqx9|3!X6@p+WZ-Y1D4ouNQ zq)){;T|4GCS4Z>leCoLX;$$rxzO`Yf3oCGs+drly^SIWH=ll(=Uu7}aBz9|4Dj=<5^q&{_Hms8*Nb&r!h`KesBG)<`N=O69oSO7;S zOUgIUt29Pc=yC1YHOb8#VMpf?ZG0jLTdG6*i&C+)^%Rz-jsk-@eVxU@$?ScU_ov7E zIV6M8UEz~8X9U5|Z5}xbNnQ~juvq;05K}>;PO<6kCAz+ODA_f4k`t@Hvl0aXn31Ai zm65*07&E zBoILi;Jn-}gY71Rj~i@?ZKme82eg5}`H(r15DZQ``9AB`XU56T68iQ>g4JL7xQbXu zQbCC2hiBmxChG^nEiz>2hgVo)9v$y6=0vL4g@Oe|9#oJi3_H2^#aQd0Ch2sQPGrlS z@=GiqtP_?ndB=#WoQ}bDH0{HRztIj^r zIq*zaXW=da_tGSGta8L=4;EZrVnlG1nypPwqDk%}NfB*{$o;8umh3bC{m7$$_GA6w zVFX%;XN}!f%z1&kmTdj_rIUr@nMjBS-SCIl5Mx;tX00=V0QWdHBqFcb$bMIU4FE|O ze0dy&gF!`-Exk)ELq` zYEu%5j>)7ycm1O3L`2KNJkfe4X>w_)n<09T*ln0-+Ft-}E~FkX*6aF%E!oiOb#I{Y zk|KG4o@WC2>szRXl;%fz?NkhEQ#WRtBaKoHYOXH|HYLq{r5Z%yBXH!x9|j0 zc6&1`X@vTut}*X@~scv_pX~UFr8$c zKaL9>Z3gyPwUva#?g5;%^lwBJ0t8zl%}k zQ^05IT8@9hmTJ2&>+0qAF-GZ3Bk$?am1}-wPH!+TOJPo=jR(6)NlxJMKmyk?8EYnG z)n$SqjVGoXS#vF*5VZ+NNf+TKL0jzUWG@##Aq~`goI&(HUMM)B$uRFM=82w`6CHtela3sB{9O3* z(Ygol#XaeLiq=F~ZIetmi;;+dX9MlKq5)NZM|TQ`tFnfyXfF@ySVU@(|9emb-aqQB&Jabn_JUc--_G-4|4hxw^qJPCO}m55{>Tp zWp2E_nO5B3GH}=4Ky>z137xI{os@|H1=m->1Bur(XcMZw`~Jv6|DyLJ3L8w)&ejUI zaA|Rt?)k4;SRuXgd&iR2bb9jr>PVEQ%G?O<$G=_5F;KP$K2*j6)+9*dV_wGjcKE@g37J#Us@ zkz|3-Z!_$3z2V9p@-Kwu;%WkjbQzL5T9h2%ko)aPHh#?}8;kQzFQ60+O1nV+eK?@R zslXkgS?5J|u*5zIQ?1jnosmgMswb=0i-CtimV6>~bpNb0xk=cnF*8RV)gh-BAnWUS zzd0+*ALjfZ%C-D_tFO~1$Xvu*bLSs`_t!F9%V)MK?Meg}i%23iyVc@|*;kZcEyyQ0Vx4ov=$a|L}qV7iLWa1ebE4rFR zLK%&1jufOyk*JoZhD=O-@y_JBl(p}yY`nYy_pqaKS{HN9!3J@1+JR7(`H zcioNKf$J2;J8})NJYiVB+!A3rbmzKK?E(vNfIfq}G8@G8Ko4T5@kCFCn8keV&o-$@ z6o54JKVkW->Y!*Bg^6B)YLT{wY1 z!^(^=15WXQlaN~{@cPvq(sNn`GqDxAZ1Svph0`ZT&ru^D#CUW>rWtfFHdA*J>9*@= zoy^YIwLgEaxZFzUD~+ui_dAIX2P&h&bZ;B=Rau=cYtC_vqTV3n{N!`{1_3+-CIi)l zLc0})y08OOI$J z&kUkOH_v3V6rJ3-71+8bKk99sHeif@dF zQ3rF6#`HFQn4gkw>jX2SEqU;3HC5J$k{t6rV0;?_doX{l+NPA1my6b}TBPhb?u^ZG z+ZYi7%{@QF1WYo1M!J>4cO9EaOJAZHb~_sB1|I`U(9uv-s}1PR%^8O6=o4jE7rU-6 zc7AI`bggXV@%EQbt*~elzy7b)7zw{8Pf|B{43Q`v7S}$SeIg&1uwFNncPL#e_E!(M z&dK3gphP=k}^}^#en}s^0X)>czjQm^0 z&bf3+BRu>NBEgyD`@8*UWhHzjd8H?*QU9r|WAaO!B?)!hvb3B zWh`;6*ylGZ*8HwD+PdsNOwHn;OU&$+w!m&N_dn|jZ4({bWI*Cfz+37RwnsDJ5ltS84kl*>IM3aEXO zQaI-s;r~=uf1%nu_U7{zRvcGJx-=yxI9P;}GSmp^EBNtjK?+}vK%H>08(|zkoDA5f z`JwPqu7yGhr#D0K18#Qq(=_0v%YUICX18&7mn&G-TCwEv1WiB1qM~tj!iQ=mF8f6| zvqpS45(rbs-QLW1R{Vz0r-*H46qQA}w(mD$Jq2typ9;Md{S_^)r$sB4R(M;|nNIaU zHUAR$%I@fRe%e5;cPW>Nkp$}pTy|y;R@e~7-E$N2sSV5Bt09RxEP;&Leqlx&pe%Sy znH5TmUEOf7v1M$6+821mS`m%0Mz2VAo~>M!Xd0d-(s#dg!VXFF_g_a%`f7MBsb^kw zxrEvyq?uJ{AVnD}+Ov5?t1J?C0#iosJVng|s2XBfU;9$kwAiTf9_m7_b7wd!S1Aiy zs)e4NPhK5p3FYUlbz#T*S&)0?3MQU&ybTipsiww8ZeFfxNqOWQG}c9zxHwr^6fG>4 zUY}TwPNe1dude=ZbQJr!03yC3eLJ0E5#mWNdz# zjREWD%cA@Wiy{s58vI1ml-=h=_ZfN`CrCa?DyLX^v2lV35X`qOx%U=>E_eX zC>QcWXCHwvCX;R6YSXG?CGOOlVqMA<)Ie_<-ECp@>tMlA1sPs!gCEB4TFp0lx5tLs5&f+< z&(g%#*;=MBr3&ZCzOGzOW3P%6jBTk(<=p1T%a>j@J)oDS&1ZX!Z);1DubPDP*^Z-R z1YbdBFEtvIaj^#F#>a>S5umFZu$tN~I9;4E%#K%H3?#1jV`2X7?s-fbN2?IxRmr`1 zFhkgy2hRaX*V3;|Bavp5-!&KH7Kj2@tLo2WlS-j$2W*1jByVDFBGWM96KTaZ;Q_q? zeqJu?z)-jg53G5jO4PLwL3S-()!hIlc+#x@c+Mbc-VZs z#7dTFa!?f>GyZaq1+l}^yU{-A(5POmrtxpC49=IY)swdklOEZ}ILj$_`N|xsDpMt^SWfSpxJ;oNoN~uK`*9|~5Xva=t z?)kg%%sj1pwtKG1?rI4OW&n zKC8w3M(=%TY!%}cR^+PlK>JSFfBSwfD?n!UR`gvRlwA&tDGcZx-T);b?7+Ogo>t*u zW?u-rBT~JKwbNpf2P9BOZWQ*DQ~vj__`eW@|BqR$2FHWT_X3maqU(Z$>YD-O1=In8 z1jheta*A&fHSdGlVqK_y6K**M{Xkbk8x@ND*0Emte+PU1@2|f)zn02;yLr7&Yygn} zBi#=Gz)_y=B_KI`pz(|$#lnj%H_CBJI)>AzHc_I1goHWQnU}4%EoXj^rg56}XbVO* zlx!vgIOjs|hx@g#aM{1wdo`c8valA1PBkRsf7i4y@!mB4vdC!0`60rR-MB$B#LD}p zEmhmtp!=PYj9{MtgqTc+}KMIDEIyhVUg>_Vy=}H zWXyc@H7&KpYyo1rEZiNnRudH6l5b7pSF?oK-n6Bonr&)$@~WNO>oQ;4JzgGKo(P*c z@h;CB=dnxwLh&&X@b2E+pVzYVm$yRBq9KMrg+`tQXVF{-NuLHzRPF=1|0Oe03ncE|hCZJE zRd)YgU}v3#;NBzSdC~5Fb~IVh$LMzXb#A2{HY$ajiXbojeDmqq4Vn!;KGX>{8U$9p5z*B8la>)$hGOY>hEwOL1>L%pQo@@8Lvk3|_H|=9N# z=gROfY|e(dH%>8M5a6XLx@9K0zpN)5?aGQfMzi|@iPO+2SlW8CzaXO|7LflJ%_TF2 z&4L%CUXE^g=KPl#F|ExixzlV2g{b8V&;Qun;5p_qFqbwMd+z!Aa#53&NDVS#j3d*F zoo1e_R@7oVtalX6?I-Jq8Y8bDYId?)0=j zKltz4=U=zd|EI6pXMPQ=8{+6f?h_NOz8~t)-uYe9_`O^yJpw9utyC)`GB4>WF?@#r zPBngRRH?~sda0mbUPCG=yfmk-Zl`QVSl+*pk(lVs%niDjkbTdYer2OJO=*u~bs>pl zRk)wcw1%D4T<0=ia+t$-T5{t{GI3JAyuUtRAdkjnG{+j`yqI}p-%Z-YmtiBiR0fT; zOP+O$o2NBj3+$8XBOgZ<#R_gsT3;d^t0E=)-^j)#nk@iV#p<^!DhH$ii!v>n0a@1HPzH1diKF$cKJ6W7Ri2FsdlI71*PZFmxQ{A}ELI}JoI_8m+ibO$2sldoF5-d18r{mG1G zxT;6_m@ZKEW=)@VAe}ILTW%+^k4D~uJ0Lf3X;cVXmY2RFsG?H8wU&ng1g!mYg=xQ(cCo_Vx%xQ(0Oy=Q`&Ymr#y%O)=q zP~pN;`o1_9+x~+a?qKB?_nQ~~oc4AE&8lk)h5T@B;aS}l^G923E*x59S=4+*@op!j z8&9Pais8B{Lp?499z}3xF*gWnt_omLW&jf1o}E(p{j<*=J$eaYlbgJWszV*8Z>9js zv!JLpdpKK(ZoEkRLXNpB3&|0uJ`v_KV6^u zzCYJ}UElA0`QjR#)aK$8AygnjlI0eGx2kn}lt9Pgq=`|B%o$aNK1RhPVr_8sn9C;K zy7DfB+ZUIvbJU=l|IVaIRO0*(=>niD)su}fmg)yxf15YKzjf+`e@-oiSd!eT4WF$b zLy>sgc$5W|T;}oNt|(*WLiL2|4&_GG({H%i0K+v8{12m;n(EqB6Rcn7kA>E^7aoW* zLa<9D@|nlFs0vp;Qc1h{2{`CR(&T1B0LoaK8*>#a(^cVCbkX<&E8^4jU}0=1!^*@XdbaUbzcTmE^)sbr4X z&a-`0sf#b2@%t@}=;on;MsF(A>1|s^lg*6h!?OX~G(;z}4iG}g9%N^=MPa-LPKY}H zxjJb3OkvLp{o_8)M+X5Ra2P8BGs9o|Fn}9P#U!N3@4vh#p|hHf06>gTK`llv=d~5H z^*+9^@8P7MlV}@Jvg8;M(HBHc)yKl+l6@0k2jdI(oc{(8*qbqgR;cH<+n0j1+pc<_7`={ot=$pKe`9{y6b+7izy)WoP@TjP(CGL!Eulr=-;F^R}_ zHiVJqm*+QvnJ7G7(XOcBiFGFptzyoJ!u2_4e(d%;^HX6OIki2-E^&4Cf(e2 z;oI=%ZF&|o5;E*MKsKwuEk8h{J`MG`zOurH@v%V0eMCL$s zCB(F~#y$(nzZ&iez(*F6e=YvVm={eREBoamAm`~8Z>UJaeeAW zpzj}@(@Ztsfk*uO&nji(qpePANqVk1*0TmLt;p6Yi@JR8 z(s&rS1HYoJxH0W4P7bZ!v^OK6lp@cpzj3|f;^7-YNRQzmHY73I7QO3G%Ro)uHDrW` zC%nVqv}aDoIYMXw@Bp9dC5B?nEu9}2- zy0rkooC*N#%K-p-nAUR@p=BE8kyhnn5>_ac=Ry+Z9qVIjn|&wZ;=c1P^Dum$Y^L*0 z<%+x2k>T9QDQ|&v)R9L@xHM^($9B91Cn(>4Dfc4RjJs8S&FJ5yNFaOR9Y5d;?1I+inP;V*&wJvFw=c>iwK!>i%#>-D zmj=$nz-QaqSUv;lT>*X5eFaiddJQrzaUh`^(ET1Q8C}9K!)({gr{}14$=A4}+sb#d zc^j&$G&Q1(NcbJx=3xONVSG{mEEiWIRd?xUN7Sm+-M6w-6qgZ_jNK-l)am@}?; zxh}N08P;{dz~i zV{8C#_cPVzrJ_w*+PWZDJ0mOju5-e}hiiLnS2RM7a+Vf^u+f3~R~x@L2l@GCJCf|= z#HzJQ+K^HkFym`1@~Ki{LjbEjjHgJ4g>v()I~rs@U-PfTJA(%kp%|6ms~1*s#r(d% z79S6k;gJJ(JFjb8EmBer^SAHAh)JjT2#)Y0-@dy1gN&exVt;hbP!aCvjNx)OP-jO` z;QE65^a+o~?!yw1$=5DLPF-(I_ebI{YK|lVCoE|)au6NTV%zvh7S+*?Twqom^<&pf z`>D}S;oJ=dj$3B(P*-N(>jA)N!gUfUmpkz>3`8p~bS|{NG%Vwzi({j@d&AmP>0N%Qz3F4i46M4WWFN z?D}|xH7HUPjHU9d<^2QPaj>d1+%O{p3Et}GKHFbK3i-nAek@*ZA=$V5dg{=;C8sEv z6N_c&c-S)IYRk$ZBNS_|BmIZPpVDQL2z!eT8`W5;#OXe{BUi0wU3q?ZLgZ6Y5+Swy zaaUItQ+JQo`wip37oQG94yJR*3M~l2&w=OVk$drBop-*&;(&RWk`<%&ehlw~D9z7V z`D^KWMT4*6t)GJ!_o)SoU5rIfDkbb{;s_GZ@`7#Fui1cVD(BlHDc=4*E1U-Mc~NL z5`k^FT$f>XJMCAz7DdETMB2Ln4Bq}Md}AT=Qz(2Q#FTdN8@lZIrCyB0igKNk+kjK9&e6sg z0HozGV2+r1EE>e}sZAdWG!Zbr>W_-T1N`J(sb8Lq6(#`QwMd;aepTx7p_JQmjHEkg z(w5t-m~dXKWHWlhlqTs2LXH}IPz@tn{tZC2kD`t5{;WETrEHfd$bcu`-YxH#w61P$ zjC?Xa3LUO1)0@x%9d?N@S{Ag#S#L5IoiDCAzjE_!*oi6c9nFK!>h9@MT3kUKLPB58;t+} diff --git a/assets/swe_bench.svg b/assets/swe_bench.svg index ffd8dbe1d..def4a99e8 100644 --- a/assets/swe_bench.svg +++ b/assets/swe_bench.svg @@ -6,7 +6,7 @@ - 2024-06-01T07:02:59.687095 + 2024-06-01T07:22:29.978035 image/svg+xml @@ -30,8 +30,8 @@ z - - - + - + - + - + - + - + - + - + - + - + @@ -707,19 +707,19 @@ z - + - + - + @@ -727,7 +727,7 @@ z - + - + @@ -813,12 +813,12 @@ z - + - + - + - + @@ -1004,7 +1004,7 @@ z - + @@ -1017,12 +1017,12 @@ z - + - + - + - + - - - - - - + + + + + + + + + + + + + - - - - - - - + + + + + + + + + + + + + + + - - - - - - + + + + + + + + + + + + + - + - - - - - - + + + + + + - - - - - - - + + + + + + + - + - + + + + + - - - - - - + + + + + + - - - - - - + + + + + + @@ -1245,23 +1631,23 @@ z - + - - + - + - + - + - + @@ -1299,18 +1685,18 @@ L 690 274.534192 - + - + - + @@ -1319,18 +1705,18 @@ L 690 242.032134 - + - + - + @@ -1339,18 +1725,18 @@ L 690 209.530076 - + - + - + - + - + - + @@ -1394,18 +1780,18 @@ L 690 144.52596 - + - + - + @@ -1415,18 +1801,18 @@ L 690 112.023902 - + - + - + @@ -1436,7 +1822,7 @@ L 690 79.521844 - + - - - @@ -1563,64 +1949,64 @@ L 690 50.4 " style="fill: none; stroke: #dddddd; stroke-width: 0.5; stroke-linejoin: miter; stroke-linecap: square"/> - +" clip-path="url(#pa45e7e5613)" style="fill: #b3d1e6; opacity: 0.3"/> - +" clip-path="url(#pa45e7e5613)" style="fill: #b3d1e6; opacity: 0.3"/> - +" clip-path="url(#pa45e7e5613)" style="fill: #b3d1e6; opacity: 0.3"/> - +" clip-path="url(#pa45e7e5613)" style="fill: #b3d1e6; opacity: 0.3"/> - +" clip-path="url(#pa45e7e5613)" style="fill: #b3d1e6; opacity: 0.3"/> - +" clip-path="url(#pa45e7e5613)" style="fill: #17965a; opacity: 0.9"/> - +" clip-path="url(#pa45e7e5613)" style="fill: #17965a; opacity: 0.9"/> - + @@ -1630,7 +2016,7 @@ z - + - + @@ -1682,7 +2068,7 @@ z - + - + @@ -1777,7 +2163,7 @@ z - + - - - + - + + diff --git a/assets/swe_bench_lite.jpg b/assets/swe_bench_lite.jpg index 37cfd3cdaf880d59ce3b0244e4e1c51f9d01bce4..0286d6134a99e34a88b80dd21683121db957305b 100644 GIT binary patch literal 41605 zcmeFa2UrwYw=P^rQV>ysNLE0}AUP)y5Rsg-0uluz2Z2TzKwE-H|tzL`1mo&Vf>&w0-1(+^!$yLRopYSr3nz3W}oCj%$rz~%emlHvdo5)xnl z{s&Hm08!vP8X7tp>Unf@^a~fxV_d|;x`>H+kq`$L8;_KToQ#x+gycFE6ZLfp21*hV z8ZKIf+brzt?Bvuu0^F?pOl<6|h)$3$T)1!%^WrrutZS?{NN%wH+y72J0$0wTQ$wCd zMxp@DT|q*=f^<>~kOKe`DmYrifWQ4iI){vciiUpv0tP17pztzq4hb3g911cjDhdkN z+7&zwpj<)4xxpfWhAaOFox%!_^?5+-dCEJvpYRnr*QnU^tY2KfxJq!1km%+uY8qNP zb`DN1ZXRCIyJF%J_ayHtDk-a|s;O(}8$32NGBz=_v9+^zaCCC^_|4PH`{gTWV9?v( zkkEHw;c@W^iAl*RscCun1%*Y$C8cH6HMMp14UJ9BUEMvsef6zKN`Gv*x zjm@p?o!!0t1H`l_LSG736kUP$L0zz^~j6x16mXgDJB=#Q*$ zDOjJM$GZ~{oBQbkC7Z$;zMgd_##JiziJR+)sh!U3?@jE*e`;nwCieThV8BIWB=F`T zUjc-G-2<99cZ`2N|H$C~m=0vg*26MqV!H~;iKFwRQit~$ZARIrxOewG0lT-V#6s>B z>Gq+r{e>^Hdmi5koX;^l0gUwnlsGi2F6+454&0a?SvV+6M|)HM;K78~JezlzlH=;bbPw_55G;Q8{x3E*m_)n4N&rO3rqW|3{jzsY_@N4Wc*))%|Epluxi z8(}hUF)Lm3iXK4*S3ly?uFtXsBkZ&{&aX%iBEN96IsshzbOMrf_WWygDAg-OGKM5f zoSSeowS(mnBYa4_ zv3=WHNKCKJegd#~CVujty?8X0{Aj3rwe)oi4ppo8(~*|EfT>Y;j+D5PR-Ww>x{`7`O_Cp=0^XT_Wt)~33G<6~*?Ho})E^}XO z#x6&CzTbf^BF4!>8GbW_TGjXC6 zYu(+gRf~lkIXe3JCjGHKXA<)bVaA%Isg*u+dfEJbTZQaB)u|>H+pWUWg!K&%_u#U8NEj?x)1%WX=*=ygWvZm8YS8^ zTaiHZ!LgZc4H>zAO}OkJN-KZYJ;Nx&Yol|i4dXP(tuYnhs~=U!2pGhM%VKliIGoR{ zi2fL`ud10 zC$)AyP^t2ZZQlY%-?4DK9nP00((JB}yWeq{5^7HWfu!WTVIMy)`bKr65x|!BTKg^mP z6zQpwMt)bbq^x_?wHJMwCR!XmMjX*+#$fZV-^^T|t1}lQ#u6UTBITm6x*UXT8%8Wk z(p@1sA%v@CqEG<8N#rAs&5=n}bU7o|33i|J8RQ^c7JU3Gg?tzbmx;7_9&kp959J+2 zw#Z@#Tysd$Hu=EYvz(A$*28Y5c2glx(ln55S-`3s3Vd8AczG#zT>HE_%*jeen*j$F zzl?IDA%r-G>LS^&^0JbdMwB;Ghzk;lJo{q``ey_ye%udl^Af=-*TfP=FMEgF|GEKD6pYqjdDkyKVEmxx=rY?8Sb~?)21n=G(9IvZyY5Yh1dVAEu!?R=?wRl#n(TYACZ1bZSMZss(|1pm zQn0d$ZXmbABD2CW%}kc+7HsAGl$e6Ui&&AydOor(QzES1G2a4TQ=S`F`{eHh(&JWy zs30R>Tj7HO^Jc%T%^d}kk!ZJ&T=&4#%}OV^L8q~&_sFUZL?Gd zh6mxkJ%Pz@CFy*lN|B>n=aEBlD?(-Vh%C&TB%%Dz`d=W+C~a=t%2;4C?SqpQ=X!r+ zkv8tglKk*`x0Kv*#yP4mHP%r|u4t`y%-inO@~!SLjE{X26`w*Fqzv?5h>)7nYm$>J zlsPYOc9|&D;OsvgZB*k;775-)UfSzG9Rt)%oprsZ^Lv)VhZ~;Go`(q^>R-Riik)h@ zm`-04PT>fV@T+~$-4wXdGNRqC2zRAd`M>XAiQiDlokx>qWVPI8g_J>p0W#AAq2o13 zwLga|IebrOLN?Bwa5g*s1QEqO5j@2@^hRXt7c1-R0I!Pug~31E8y&;hP^^1`V9<36h4M|XNT zFd5y>FEeL7^ns=0Lk;C*=H`Gy4C#S}E9&yze5wL;(6#90VUPHmDOEa-F5Y}> z=6&P&qc`GagNs3>gI=|13k8`E` znpY^MOOjiLi8LOWF8Rb`)miiU#Z|nRlJ-{XT#j4okyo3C2_&|#m^rLa5LojwV`KTe z9Ucm6M1rnI6(D`V`=(pUHG8tMvRHeuTdG~`noe^$hxfG>LS`wHNtF`Z10_G7Bj(@y zSZC|(mF{HuZ0BA9)}7g_0C7na63$%ejRfol7uuax;EDW$;S*r9eLLRf1ZWrPb0-&L z`})nd{RH4Y0W?6hZT@*V%IX&t#Stmo zYvaBN4-;R;Dh1`0F4hLJht}Uq%4RlsoGNympD4mg^YpS)ybdflIM-<|J!ys zTjaQ~J?~|5{TH?yoGY7md{)|6UbtdCS%K`&9dvX3HpRUuHiDf^zXzH;O46!hXJ)w9 z_99<2+zDPd6OHpqkg~XW>i7z1VT-oe1}0k|&o{Xj=_Mq3tMZs`zSpSZ_lZz!B|L9^ z2_kE{!q1md_3DcyW$%;m+Y;_1x6pYS=VD2$1mzJo zZ7JL@FU2=m;~ol4<;@7>8M2SlaOGB0v>naj(hq*hA%+Z6sanTuupn`Knhi$X?coUF z6Cl7JTx_ySsF^Dy};^Cq6f>7CJj_x$b0;flFoIh2CG@Bmni10AWnMBYs+WFS#q_aPIrDf)o4 zw*8(SMP=9bN$xeV0$6ZM&KLS(6W?h%@k_TQ@Vh#N33-LQ3L?=Y4Z4>jZw4!qNg4(k z(Un$v*;COpeI!wN|HGGX{So2_{x^laE-pjhVy%ksN^o88z;cv+Rs=5J6tk%(fKK2E zFppMoD?e;ls$v_j4TQsUSc_^c>q$bHPiY2LurVI>+EmK{0 z8E9;5K@D_Pt1wmlYXo{}s7AYSTo`$B=wIPQ_)cAIJELcnlL zS5lN3=VPB56i(TkscW(67>O4YbvAX~5;16iK!A|C&~ACcm0GH(n0GdofeUx*o;T+9 z_*T0P&Hc$_ab>2y#%Y?Y*9vRz`*=qZ10RqP7u6~RboW#CxD^`C)i|5grAp}A*jg0K zj4;0^&>tsRZlH`^5(|TWb9Nyh7%LuzyrRZd#>xkz# zF;-_0V!8ouA=!7+aWK~&v1yo*?PO=Xvoow?QruZ{ThH@uA_;a)q0N>;*=?VN^k?Nx zQNF1{I}nfL{Jw08(u#+7_3dZd*S4ppvdmuOiv$eI(;T7cT`7Jf`Vz4Y4KWpJXzswrRLhO^(tX$=x)ku zQavPh0;9Fs;=qwA7`04D|ojUv72+Y%rNdZ!a*z-OZ}ac%qoh)*Cv8I{0}6 z^KS$XHRkz;-Lepj0oNY7@<~^>(Zx|xYUyiv#UICxH_*@osv<=nO)-kfbjRgFM>{8d zF7wyw$;deES1w}7*6wO#h82eNwXri0+seNgcDof4!n401?$1D$?J9&VDkF4Fr+TMP z!9?!%D-~v@ySGF?k~rh~-*@n5FPEZ!t@+wG@Yeg=wj%CUepY+EY87_r;!q+!No{fD z3JHgKF}+2N#L-NfxlyUgkJawC@tl!Foi8Oi^2#u7a+#T!VMF_-WO^9M4q(Q(tt!V~ z9$O<3E@^YsawnKA5h&jzVomp(6FRoif)`F=RytN&#C!5b4!I;!@-%1#EvS5Pd7L(= zkyy22bZ<|T6-TxEjTnI@E@78^Bz-xbnLebx82hn)!V}j}dCqOh6gu?ny2pd22mUXq z0~-@F3ly1_KEI5E)wA^EwkMPO+8p>L+NF&UN0d4=`CLMbRK`Owd`P+^_m#eK$@Qk| z=+BUjc-m#FUoY}ZmZp{7>VXIdDJGZk+RcVC<=UVG4r(?snlsAppvwEdi&j+oK-KlI zEBnzQJ%#~7FGBFxI}Ny+gT0l-2ON1 zlGR&zF$0%9c`-cTrw>wm45YCk5rj*Jbq}s(+hx%lp>6`?Te}^51 zh2yBElfIvd=Lkjy6p7~ExVz(I9>WoJyv9AFXJX}L`k|#2$6tJ0tw)3|%AvCFc~3}E z4RF|^AEzWBZ_-2O8JQWg$JLjaD59>;uX8`zhkoqkI03Ls`dQVr?*y_76V|GDiTy^t z`sO@7N3u7&hm~czan_UFVCyGCPZX22SY5l$Zvh}cjCk;AgCMCv$K6M%Ti@{k;J<4& zo~`f%*eBqSJ=g+mqA~>%esqx@+2nUKs3xvkjh>v3=*e7kBW@nE$ak zHuEwbpfuMzkL5Fd(8s)!2@l>_;v5<$-#9i-3|d_HOxZo|`V0T{FVU_4 zpXV8!SzkuZ>e~Bu0*<|@d2kFOGiMPqvR7-xaJ{OXh7-UjTQr;h7e(vK9XQ}eKdf+r zL||-Gy@G7841pFV4sm{*XFo9ox6Hv#Zbrg zwfoP#r;U+Wjx;9*x~=-Qj+_}5Wv4HhRwhFydsn7ji{(e{V2w-LH|u*6@Q>$w=E@=W z)%351p(r@Lid&c{C(q9&Pc%(SqfwSiLj#ZjIbf)Wv}DAOt(#*id?z{G(IitZXB~Ak zb`txhS04XPIBcjzJ8c5{Ga*i%xf~KD&$aAFVcO#X6hWT@-g>$inKYo2E_rtIBc%-P zxk;a!Q_l&Nj^fhv@_t~va?2ilH%XDrP7f!e z)YddpSll94`?(>?#FFQfJ~#uIB}cXIgQ98xy&^Dh{OV;P%|dccfM7DCL+pLU`4}{( z=r2Mu5@GNf5R3&AJ&4`%Uz-R*0i)CXr%g_CL;sxm-$+cE{9hvMy$E+wKJ-!_>h88m z+Z~bns-{cbA?|U2C7b|e@csB@1qf(7T)K^u4d`>nOoNWI4`=-gCE@+Yo6>Qwua}eV zqzZux*9YT6rRZhI7(0w65A*M~%Uk_fJM!6Cw|CpUIaqS5rn+>-z7VZ7@0$M_;~KHm zwYqU1fEG*6N#u-gf*$L_Y+ePcq7_k686!z&4ul0$hNdT#R5q1i){|3!D&$*W_j~^TM zE9~hY6EV$QuqAx!icY=OYFkFS1&exZ_RNYzzKL~p=wd`aA@`>Pz0#%%bBGnL<^ud` zAJ!&TjFw0qhhSoU_eN$r<^rp+8&Pg|($kG0{PQSmJ!fRKeh1t=DV;q3Lz#`8 zwnf@-HH*YeQckAjW@j)y?myz-m(OZVWK2v9dv0l|m0&G1r2i6Wlh2h^s2xATJZ>S| z+(lQ-TcI!8Ji(*g>1{yiJs1?bndTh5nSid`+K}0D#%NuNB(7EsiUkS=4_yRHn>deP zVUMx1|IP<*BR3^_*~^B=F&5tBer93aE)vPGy$kwLliaI}nZD(kY4NB{jS`4%NL+G7aER?nwBOB)Y?9P2`r+rJI^Yi> z&eAG;-LcHR(0G%e*JhFTB^0ey9YS7~zk9yq7d_oCsn!2Fwwp<%o<39AwpGM{bznHi zH=_hS8^xNNIvl9(X5jEh*^8De?q7|X?0{8P*43=m;2Bb)yI&YT)X%hYyVe`6y*A>P zNZ}c1!1r;X1Sgqn5Uo@bg5j9Cn!Tb~d(|o_fsz3C(^c(YRb$v~V0;^`+?-9OxXbqQ zGfZWQYnLhJQn#sxqm0juATqw+;ab5ku7fb45uxTkj$hBL8UGUB{(SsFpe!SZlS5ra zZQvQMCb0ru$LYuZeg1`z+=E_cx{O!l46Z-z0N1^|23Xa=vGJkmA$g`MVsZSN4U)u1 zpXd7Y5|yGK1SfQKQ-SyCK1~xm_d`;IOwh5ut2Ac;+ig4St0p_niBS<3bB9NUwO*2O zPtP*d7O^!7q?zk$n+vXtR(CalqC+xxPI4WCH=kvmp1F>*Xx%i5Je-?CQddd3Ed|K} zTX8hGkC8d^NXk58AwbOGb`j?Wj6IIiV5EdKs6j)NX+dLZOs6$@bWp(e=pNPWeD90D zOv@?7uf>4%fNd8tMGGOoso_9wUa7i%gl+CnQ;LRWVY-4U?+!tC@=Q1GWeeF^3!eQ4PH@PqCBy#oWKPEouo z4081W^%Zm!?&uvDu6RHlls#ZttiH-!J^0QBc2W# z$ngF!ouJrA=>jwTj0~xihx^sct>i=1z{<@wITH-eA)uOoxBz-B}V!S4*0e={rfrp)8TNAgTY#pq)j#ru;M zb=fRJAF3kB^dPPf-gq%pTK>A#U-pp1w&-l)9xm;7&QkC8Z>F)!H1m(a_Ag#c;uPR;AiPP6S`L&cuIKULP+x)rz z+Jr=s37iZxFWGhE+c5IubGhu&mt=9(bQjZ8M@*^@OoTc!iA^t(JZ`Xlww1t^+hJ$W z&n{&yM#=K(c{6Tg0?zq%H<2{w54lcP(=Fo{Zi_N*<%UJhQAyxEoT4UqA4MmGG92N5 zv4&WT#BgwQY*!RxNQMhLd$U#5V;6#J@!NYs+g_Hr66{8DUlv?-N2sGw&y($UdVVYQ z$krOefq`{CA#zUF7CfZ$`wQi59>Rh>D>%cS4y)rhk*1Yc?}kEfMlig6 z+5MRwI+J#hzlEcPxMK8+UeVHQb+EBcZt7lMF=Qr@sX;d0LZ+JI2D%7~&7a*IO|~O3 zjW#H*eY|GfwSC?GZzZFJi1vM;ZS;Q95*VNKYZbd z1&I907FGCM4yw&d5fFY9z4Sl~idb;c?5wf3>F;Y^;tK?!VAQuDnM!R;Q94=jbp6pF z3=97daGWX_$s9f73SF>Z$+tg3Zjkq@bV{*vy|9frWOm5cpIcR|@R~K|X`^#G?IOJ) z6lm&Vm;JJ^!pvkbx&xm(C*>_yMKhlk?}-;L@hp>KRTf0YH?-JXM%8@MqTKaMwlg(o zki%YA7b^&4IENH+YzL=%Lq}qjnsm!6y&0in6<(UJd1Ae6Q2Y|_##$>1eB4f*kGU9e zj7A?R*ahn|%nxi0&V1~H#`1=xQ9%3xibJvqk?2B~*6@gqz|3-!E~lZe2gdC*JX>Vy z&CL5WKx$@HA97QN3l|M%Pd9xfq@jncUe<=A$tov-Bsx6UdJ97Vl>J&rYHlsek-O zNO{BDe$KB@?e=2u34wMu)%fd#oA z-G9R@F+&J%Ykjdvd4cDB%Bx>meTf(v$3ID(aC?|PW{l??-i7IkPlGW6d)GD615*#_K& zu4ub?B*NxljD^7wVK>BvZ&Kg7q<#&Kf4!T?Ek~rt*Q#?=D8&rKEZCkR|7IYj=dj-4Ya{&%|zl9J{ zkX%Jsv9_KT2)9%pjDZTd4L*IV)C zI|@U0)2~0K?$A#?P=3v~qr836m=UTngE-JgGq`YDZINI% zm)}dOPvs5EHB@mlu#|zQHR98btQCJqf4C=9rY_N|Z_2G zKr;x(%HHAUeVh?`Rb~CM(vW0f3C~iS%~)TkN=K%h{R?$6N2Z5Vbyk+Qns5b#1-%N2 ze_VVXSxB;z(bn!=b+;7z7b256*NuA;528(TcI2B<3;S&OGKy$37L4Qa?i6Aar< zCq_&;-uhITkzS|lX?&Ki2$@N)aBqvXpe%kDCxedcxY|IX4;_F~y}*Osyg)>wEZ>3j z5pNkW*3QzePs-`~qKW7#{SEIvJ*c^Fi%1-9{_>Q>6oH#uU4Skm>xX!UK$Wr+4VvaDl?Fj{0d!MNQUy?^#j-<7elF zi^Xo8KC`C}tf8^UDO{7fqVA^q&S6z~7a=T_q8lr}_E!7rCh)fhW!x!wsv)PwLOq=D z;7oRJSKBodex+4$mVAAI8M1@rsQj1cX56m{zBV|)ZE{%YbqL7!0kg=v2#bW^w5)y2 z9c!Gy4|I}G#{%v(Aipv+?g4*UbwJ!H@bZ+@2BV3~6LdKXU3C7ME>`_*9vx2iJE0>B zAR!&Rlx?do)#=n!wRIVO%I6=oigpiq%@&Bw<+)A@I2 zAF!{3&mW}>RE>}aGvWae1c&h(@p>TD-A$=L?%WgI75`@6*TEmf6?4Ru^Ib%Y7+1XuF*S{A+8HjsECuWS zc=%N!@$bH$jg65`*}K#A5&y-`D0dX6#hpg?r&dELX`%Mvb1y?+^(TN7w7U0}B-2d- zOzL-dbEZg*P1_6Fc6e$`3X&E>$|2~v%6V!vH{0J`nq4V(_Rlo@l%y>+rCE7@_Ht3q z5Y<&5HPXSEHl#+LsqnElcU)71OqAPOU~T3Q{XUtEZTHoC;O}D1W|Q)+~oI_TM>d)z9-br zsFfNrBk|}|v~t67`}#Aau5`{`bH{22U7EgMlwgRvL#ztkn#8z_=bVUc#CyTp1_taX zKOg%xN~Kfbg+Kx6bnpW5g^1gxL4$O9p6Ye64b>U)V5RgokW>wY0jpuRpKc`RnNulm z63>vznp&J*;484*=cRYrr7xmCgeIJJdDpwsh`ij+68 zn|Ym;luwOj>=#Vywx6#W7OOF%IZ*NOJ(`f0@5hCce}E{*-2ey_fPkN1_}tlWdG%jpui+%`eX|=yRWLC*4cK zyBy>4d1zSa?O$fN0adQaNM5*)~- zo~rqT?~N^HtU;4JZl@cfmEO{|A>2Dn954AFWj-|eRQ5(-ZTtkdzhGP5l)W{OWx+6$ zAG}$1LAK=`mCbfNga{}_gdYzgjvqv?M9;{6&-?sgs{Uu1(&=~QQ|qFY1{OwSnWn5f zD53-*&{rTl^-GB(mB+DlZ*wyG!AyEE>u|~!e603^-0jq~Q>a1Gf-6@AN|S#5>=Hva zO}?m-+S@49lS%u8dqolq$gawNMO7oI59$xX&5aGuvJ>$C9@Gb3O7H9-*}jA$oRIfg9H3`*qJl@+KhGesj>5&qtZr}DN@&?j5WIgyy zEPx~VPqVvD1E^pb$abqTX;Vn8t-P50jWfYA${R?QMyV30;-HJ4q!~>5;+s>?@fH1N ztly#Q6vH<-OO`>^@;JWV%ZqSy6B)fpo4{edXl6alId+2?bOe%;d9nHodFxzK5qQWg z7)#n5o^wnCx~7E)RKfFE_V|%$rCJ#ryFR@)^W`&7JoyJAX9kJ}?gYKbvs|%%D^q^P zmpsEj%&-^qM}n`CN6%LOs!;uDXY*9lxrF{}f<}bk=q1|0f&Ef_M|6fPwifv-BiIBP z*8JguGkBVcbL@A};jat6z?ihwSa%?-|4qR;kr|ZscLvM(By-u@SuaY3uDxR9z{1ru zb7ErH+E3tOsV|3mX`we9QW?76ezNKUTA1_o$w|I!s@-2QAHT|ae(l|U*o}xlD^J25 zO8n7<%W9enoVg~?QD6F8vnP3x{C@6(P59;#GvU0PV^Hm`mtiS%-#i3H_3G98jK}w% z`|)tk;ScO_R?j_H^NTcb#2BVB$csu3VL&=Khdv=pT!3J3edi$lQH>&&8>OBAmf|M) z;qrcOlTdGQM=w!I(2Y@$&*xgj%ijP$bhCx|&Ux{~d(Mc3Xzd%Tp}E+7T!qF-R-7Jl z@;}}=TJT#UVk<`#BQ&H2ur=-_`WXkRMH=|_u$H~|LXSlU9qz9keQjJIhy2sIi)f|K zjns%7Yg<@zLy2D=*dE2nui;8?HBukn5yFc|X#RAgnpD8T|R&}M5 zYe-pDLP3G4Bc0K8B-QIDfI^{6mIyr2MCwt4^?i^EndkF0TwD<9cyH4f>tKi(d+HcqfZ)z#p zz1FDcb6Mi4gf7S@A(fTxSuQ9s>g)q+N3RnZIRXUN6icicn`X23AgbC9A_YC2{8a+1 ziafB7ZzN{1th*$q=u27?U=7~OagPdD9vZUhe?XcN3bu2;6>XMiTvWsxGL*j{Q33YrZ-UaVRw-l{9f%mnD)s339J6%9@n(#i$Pzhq|41q@wcc z-h-Jp?F0K|1Bd7fjU06(G3d!IjANVEup@QO!;VL0Q>_wB%k&m@*FT2Ry?RP5Nuj5D zqbU1&*7*jj7dDzUUrEI2A)N^k8tXm>lLI<~Fwx}9IM*UH&uM$>WlxKzF*NOWBoj65LQmNGh&-tVmqyOc$;up6R#xxk^K_vQx^y=aTA^OsTQ zfvKtm?V|Rbh|Meqg@VWhM1th}x|VNkXxuFdI3M&B9Ye{1JM9B*w?X$2 zk7@q?YrETQ?d4ufbJT*zpxq>C-3g`Vj5j_YZ8@l{>y|W6rE`H|J|=EyZz`}VhLwpp zSTZH;?iSy!Gtzr-xrzQa)pu*lK?}PQM;O_Q**2sBQY@5OE!8vw7hg8PId_n$*BYEZ z^|IG?GjBEdMOdXQ6!ooQ2jg7O;kkhB*4=;ovTWszNCRuC+>C&-vfIsh?_UV`^5(cO zJ{HIdW{yCHB^2XGVde7I5R>8gjkNI@7IQ)h#v)k=7^`}tGo_U?TL+>9$N1AN_OwIZgS1Z@If`P;v({olaA&G;oWX_cm00avIQ1t%Y|T; zZNAaVTyw&g{`?TG2)xvEM*g{wOBI`&o#i(rLO_t@-z+I46g~vE!)k$)lk?eaClnJ8 zyntFD^dh8=ZIYE}I z<|IxpiyBPz)#Hh~dpzaR+Ozwu`;Hbnyb;9Q#1ZGmpvy}mgkbyR^xD8*9y@iA=sqCM zOEnML^`5neDiC;Xp&b|YP2yw-Irka%Nf`1%I9@NKyPzj&*v2ZTlYp4lMhjsk?YcjAxuZRK&K`C{Ll^ z#-^x;T)>4=IGTjlbYwvU z1>kTabCi6G-}T0$U&l@9KApGs`M4;&JG3k$zGNe36x@Bw{hqLUq z`4)$G7F8qYwHusuU$17KKI3vjkaQu9@YofN0lN2K@l1Hu*I<=-X-9rYR?YR_%z`e`74tx+y2)w zwLTkut^O(h7_cq++p|6V2ep;oaOl5XTluHp%71+gla{y7$P+tV?8RMq{&3f~8?N!D z76a-}vm|0D$_~akn28s6;McpC<2#rGsZBiYG-7Hk>tK*uBoA~T38u!II48ekC=9vq zD1}aY$jc{y#(3?}@o*5oV~@$K+#lT}aLi(}MJses2?sAaZM=`8;nm7Y^*$V}$B?$! zDHrY25m<-p=(NpaODxfM`Q{-lYYL!0%RT-~&z*h#uR~m7>Vu*KqIgv>tW+5jRWhA? z@B&Jc^e?Wq>CmzIK~FDM@j*U_jgZY`zDR9{m!{2}l0f_>{|SH5|L2Ckt&VZ<4f28!Oiv(TwC`-e*oM_TRuRBlSclDt|3qETO-D67XIRWzK@`GFm%H21bu3evY7ukxr zm_Fodqq#2K7nHa-_Rw4U`NeJqx>?D02FOt!sOt4CLmZ-)0blsO0hU#LGkqC zzHiA2&%vxaC&EzuMK#_($_&Q3|GTlAy1iuv@%R|obatZ$ev`5VcUyP!V(85mg}K}N zN6Usj2j}IMl-UOKorm2C@X1Fd{7Bl4|7lT&Wo;#U24cLYuTr{^pWl+NSj^of2zj(G zht`$s4t+sTW8iu{^O#!=^SswPM$c$L-NB-LR~f5fztSTc9n0hF@u~xyZR{f?T{u(u z>LuyNf*$5fk&kZ%$6E|qQlJ>@`&lD#H#Hp@BP&2@vlj5oseDqPm~1Q`0XwP=uQ;NAQg?&+?7WqS6@QL&uK}lsJB*iFy$@ zB>u`NSxWCmQV6^h%c(E;lYdAA?ld(1-&m9QBhjHE0rk;cdu4X+SygUzpLP21zM(7? z9;I7nQ@xG9X@A1wi-~II5*~VVbf6PVe107%RL5fcI$bnfy(#H9;r^R?Ukl|H1l&5H!H9eadT!7gYp_be;!vm~7LV{Pl;G(x+lc_|E1hMo3Yj9p1_d1uVfo+t{j|BlkWpe?(F`H4|ijtf)@oXzIdePhNam~qS0=2XcpIyEL!2sq> zzC|qQ{@|~L2wif73vfxgYpQFTFtc~W@;wM>hGs!v6yi;bPuaSPnYX0|EIr@zqQ%DAK(ECUyWBm zJLL^B$!YynjO-a%uu;|eg!0t~Z(y{eU_I?7n7<&yb5aCfi^_cDsH}}^$O&}_7CHhG zW(}TXKN@JGzJt+K_I3>ptAFAix;b5c9$mZb%6osy;A@);Dit9AbuJXnPg91;QlR)_ zYa7cbVTwZw%u1{7oAI!@El*A;$Nu8-F^;KA48^$0(2cldBMm(Lx_yU|AD_ z;p@tjX{$;X_AoSrncLyC;zn^%0wSNLpBk58vO52PJmhV!>KiA2myY~*@riY)`+cQB z5j_Y*W3dH)*hSf&Rd#<8vKlK-F)8^i59AO=eY7sL+mSM}X&{V3o#piC&M;ZsA6-Xz zH>i%eeB0Tf}(rOv~Q2o{(|2)`v7BL@EDA0w(@fF)_VpF+Zit=zbSm z6dRp5UbQ1Q38kiBJlQ``CH$NC2Hy&j3T)VdX6$$ltAoDDKWqN=AKmk0Tl$}N(-pp#(i|8V3bzu%+-a>G~CN^y65mp9Jh17x{fl;=4W)h!}Ey zW9^WC-zRu8oQtY%h}==ZT+M_pWIpBS`&02laboiLPH}kI+ab~=FMXVIQogGwU3Z69 z;U5Ue;ZFV^>_vzUU#D-ul8O1cyG3BzBb2G6e(>jUs+t!ax6^fgd02kGX+IvWKUb#E zls_1CK0B@1uP>+@<={4|?6PE}e2vYIO%(FTUHu;6(NgOPFrm2w+3ahF!?{4uUY>n$ z#*m#(>8%!in;`Uy&@Trij_6%2;m(8L^8_-0Crx?O=Uio~HuC-B%CYxU4#tkQ^G|>( zU-0#$;I9T?jDc^riYkKau2=1a^Qe7mSO$&?c~Qf>tliGaFrc7Q_`JOkzh8=n=SmCu zluFgFm!ro{?T4#aZK;B9-T0-uGsF7#+L``J!w*=q^tQvkbX>fAhmijSV77d_Uq3R~ zCcKT``@^2}@sZ75!tp#`f4^O~CGZTTD&t)5w7mhWElY;6C4k0O4mG>2p7Cr;iN`nL4|+ zdQRWbGdURLtYt&By2$>3ISCA; z=BYgykW9NWSy>R(Ga_ntF=X)qYl3?Wa%$sbG-@q@9M#UI1UnOJp7^I=?_3g9>WKk< z0oP1zQzFzOA)~0V&m}ppIB9tfXJpP#`9-!Gm^k}{Q`b~l*XACIM_6&Z*Gb5KbpA+p zE9O#9UDA^OBUh|i2l~fPyG5yRyyW1T_0|%)A>vaD3LmnQBrbLf#vA8~QU}wA^)Of- z_wkG$5>4~dcvLGc@$!FhNq=U%+7ZYap+{?l^oxi;BOQnYySEkz{+kjBYQAY*2L{4@q29sSCJJ!(@ z`^rLqnGOZ3&hRKU2Zf2cz9;sGvYf;dMbd;d*;kpFj5Fcp6mUWfJ|_dl=_aC;eaR+Z zO^DnSSb5oaeK)PlFw!!?M8(-W<&mWchR9|8Kzw0j>Z)_4&n$_@MvWKJhxRNcr2x;Q zH(E6G{*}4+K0jY-5Y-4Br7QAkmkp`Ez`Vk7B|^%vQDKUZDri@DHR>%=mDt0D4;109 zN+!-pVYeb(*2DA^>6!ymmI}SC7NDOC*0W+$)mrV6_pHr+D|S%#hbargoM|Z;tlEH8 zpAPiLVhUXx+#Hd&hUAMcQbckABNBSp9WUsXfBJz0={G#DY7Nj~_CXzFJxB^uYF%IE zHkj<_xo?4H)VeKgEP#W3wFG zs6)#Hs`gQ)Ep`4k)~vyIuh_*7eqNhX@wnfEx}3CIRtU41HosAkV>5(477nbeSY&?5 zgiS6w#&}wlNovvgyuS#(L?W%I@9J(p?_79Vx26P15WC0cjd-SJn+`~Ze)x1@`SZz4 z<{DnZ4YV|sN!Q8%TpR2b|K^n8Ma8OW&m8Jw{ucJQs%7sX|HEmw0;G}FEECSo8mfcD zx00+Yuc9XKcn?yk1GZA8)^B+-ye4t(d%rSGmo{>PD$4z0|BcBjiSwiMYdxxqN!6om zYB?QY=orAhu;56#PJ{ZI-N@E$4H3&7@28aDZ(Z3Ww+;omV*rbYyzBS8`iseft}Zpb z(y|wX)aJQVfvBux+;YxQ60#am6+^WuY>x4Y{Y=Y)Rg+Q}b;e5D@2^k>thy7d<5xLM zrb>7fn5(qj(1%!|Fp=O8*oz{);6b?}Osb6kDr<>=NE_~pasiiddEmvJ@jwEU>4$z0 z-Z^&KLOxwm$E3*(Dg5G>!n>aTUwdB})mGcC8HyH%LUAbsX|WcHJH;tlG-z=MZbgd~ zhfv@Jic_RO1HlPiq!8RSxKliMu}ZgbDNtdw&E18?%C-2Lwn@g}*ZW{kIGH-3teMb32gHNqhoIT5?$m4Fx(f2CZ-wP1 z&(OQPJbriv6ODA#M|;d~1x-*%Pu;p%<_W=Fo~LT1%WB{_xdl3l!RJJM%$|DAf`0&H zjx(o@%{CEn4zgJT5Ic8?y`nJP#8l7l5PQt;4NYOEOD;Ti5MT47{wI<8hn@7g^*hUS zGb_s10bk#MU3guOfxgZKw#cI2329clxFBQ{XvXW%Yye>fuYR@iO4)@w;{=A|Q|01! zpaAeX|C@Phka^uM-sWjE#amuvAt8#d_EhZkRyceX??;X|e3>nFwsYs_%kCY-W>Epp zt!HCs{OShH`5~INYry2W5fJypS#l@pXuYb%IqmE*Wswi-3&J490PE>}5^~f2itggQ zOz~f5CW;fr@Z6dxf+>10<{*2_f`X=uK+V!&PoHLksO>g*UFz3l+eSmU*!^m(BB;E( za&hk?Q{A+ey6|D1y+jZ9I(djSqq1lxbv_Z7q}X!r_RTtJm)ftNXVyEstjgEtzpX%U z6Il9sh2rhc;ey3ounS6QTa)`km^LW_u%^TT5mZUH;EMhFE2ew(7jh1%jx~B8$62-65Lc(=iYcC`=gi5Ewd1u&!co@oTYxNIApZpn z)3uqYE9H~w7b>w~7?JzUCl=MeE0mJ!@uFvXNMAq2RAa$1f>uc?gfR2u@%inNr`n8! zVNWRJ(3de@!~Nmt-AO)4KCg>KEgT$Iwh=~gJE6L!7vP~uVQgx=yin0oj?yI9aY_=g zaiXUuLui2$rY<(8+9{>V$7DS~)OT~XxbNNeDsqY#nC#V`Fsm_;kx zIL>Gzm+H1gel4}dO^I@gkr_o5BdGbvWVmd1tmnNi>#1EtmBEfa_Fu_v?wuR(3g=xj z7WfIG3oYjH;)jpYYhxxHSqBnc?rN^dForAmc?K$?uq*072{Spx_3@uR9&v^40Q{|8 zfWa$*P3x6(>c!Vq8Z%zetEqhS0A7mhM@8pY9(d@i$2tSHwL{OJH^WQC!@Wta&PD2s z$1mHhrTGYPjxeMU;n%aq|C6Gx;OXsZ<1$P2t_O=N0X>Gg)~nXJVpH|oKPX+dnt}wn z(@F$PRe?4Pzmef6;DcOA1h`XTo zcPkfIe*gilaE-hifIp9oLq(B;r&JO+0MO)6+z7VKdD~LtliF^wL*wx=bzo0QbQ&h1 z#~ZQMCPYxi(@);I8KQcB;PDb;gQLy!Mslg=sy8+FXbfpWItXNgJKKaibTTN>F!qK> zevCakv|7jhg~Ga#iU8ZOE+p5C`fdssLeY9}TXRI@rl)D1+ z81mK|uzByFJ%;O`;8$Fd*s4?tzKKkEUkoxCrhrsid0^`~xp)}k!ryuX;~&?>2tKZB zWYUY|bd8pBaz`7-i6A%{#K*AF8r%P%W%}RRtN-l&mPQG57gT)y;gaemHGU$)*{(KT zc^r*=q&XF0Va%PG>M3}7V&}AsdP}&;<@uvG;z}2l^$<}8p^*(eR5|Ft|1Hv{Na&D` z?h{$R8)91N{az4MT6gSt>pF)1)q<)Qv_HSC@vmo`mE=`OO$`l^E6QCmHTrR2wOBu0 zskN6VA&DG`yJkKy!8&7lnYv){Oo}Ua&7uNZ1R^b>n(ni#$SwwMo`2hhvyk4&TOXmP zlbV|n_(|O~KFA^;#;)cYPRuNHxNEQU4d6Qb4*+{q-=)r!>*v^lnfbg)_i%06PTY&ln zIP8|5b!C`X^l0*SnRotZA@bUGM?39?z!+>7xd-NW&(12 zg2qm$?qc5s&kiFVK7nCq0c&tn@aZ#$;G_OOfI`~le=JwNwm^)^cVcPY^0zvbG1GAV zbPFb~7es53jjrRgtETP5QW0$4?UA*(mX>(wL$v?h4GZe!k03MwBv z^-jjT=U^jC#7Z1ZG0Rf`xcL`vf2{<6WXdF>(uUVIv=MPFcGuS^nHGv@Vf0IQya=vZ z6pjnjwh=6z=qz7Q{JaE||Jm~1#(8*d^MtFkb;her>OIj>v7PgC(@yprt)xj2juPC{ zf=R=P2tL8IeX+X)0FwUNRnDbR4*Y>Xua{!2%z_I ziTWD&o=@rIzBjW>s<05VnP)+MVB;$G@$oDTY&{mR3AP5j4I4R66-PWn+&nv&KR|CZ5=%xajRwE@sv6@lyYhpx z&VA>|uH?ZjDY-kbXrFVy_vX}dkZp!%(5w5UR%h0LRj)h8X$p)^-w$0+%4&^@MHbYG@<&Xg+S)jcy&r zwwuGOm`ld$t}E;55tFWfgx$5Ui-j}`*H;wPT_Pj-AHc``KLCZ;z1@6#P+Q2fSHK{S z^AG!oLZV&e4#5EjM(*%8MBYbS~q2#)1%u{WsHjJ!ZmH zZEfKP?7ibdq-DG6Nf^N`-G<#*2*bpL=6*k@bz5(0Zc_QSC*OHx8Ji?l0cp z6V~>1>M1q7#^}FOPSJ8Dq(g5*d)vlvya)NWw^|;ap}lUn>)^b}cA7oJ8^}_tx+jwM+jYd6UizR|Yd~#$bP?;>LhN`8iZ{`wNa_1e~zt0pYOtwr&*R>(2ewFM?)9Z^h^C|bqlwe{6 zt#ho*$=*}gL^L}#O}pK14S#YvRzWnd+0}oNevkd*6lDIu4u73v*=Z+3!l5%8Er=7_T?*59!{mF|Fbi*DZ(-S4Xa1(FLOLrsSp2uFv18 z*!);I!p#!CUl+=c15YoA6sc``1KW*4uJo{C6V*^Y;pK}JZIS5U^9G;ZH>^T98kiWl zoR}jLN~_1D_WqH1<;Lb_;B*yEwoim3S$-y~)y!uP>fkpv!R{!?ir&LWD`a?sXuFk= z($hKqNjzrmtNk8ts$9tvG!!?JE|#7y!K)*G3KU^2?K9CE7U&UUud1OVl6xMnYC4N; z$hqh9nHX(6yt<+}bH}uCyQDv`RT_lI-w(Z;tv2ND4CupAy~THZ3iy%OBw29)nt)P z4jNbw5h1ebq7pNR(kA&r+R_?xsT~l!~O~iU{9jMB4PdGcA7#XRwuG1Oauvl3hwe3RC3KjJ7|$bERUVTu z-*!BDOsL_9)|Ya8=S^8_QytXuFqcbK-jqbXN|Tc+3_UMB3RGB!29pd{GKg#3K8qTL z5FObhDE~HUVf+~y9{csXuX^2~SpWm$j7`<_0WeICps)IEYoR#(XA;c3cN)|6!)gzt z;2eH+{0F+mgQ0hW-0v;)2qG|kSRBJSoQ*zSIvB?Wd3Xxs&#cr&$AOI9d;VBO2z1;c9F$tS~8GPaq)7t+*e80tD*HU)^x>V zSMJ*~;bfIm?lC)API78)y=su66En?}(FQi5SF;@$m3!C5lx+yh9@mDvsK$(e}eeLD_slQ0zXbVVvc38(XKY(@`Dy697cH#GKp&2;ocCT%q`lnGkVfK5~;B9R^|j33SV|Q6KCyQiI?fPZlPQTA<{OTNk;IB;L_( z3_nP)KSg+w1w9yPw65C4Go}tXymA1g$9P>$x(Zh4@x-ZK2@CUDhHL-=2hW~NVp8Hp zTQt?7C@;eu%UMu#@_YLe{KV|ivGI8o0B7UV9eJo@*dM^$-%)io`9u{2hEZnYt5X(A3D$kDe&|{#Ge5A@f&aSpLualvq3!t4 z#n`!ksp-GJ3<_;^AH4WYa*8JrG}0l*GW41;<yI=LNw z(IYX8m6=*W5`yLVB`~c}iXGqF7U{}-+TwVOR>*j|eP z=t3Pw+oXioai(^Te7OSOOQ?=`kU@0A54<_$i+YNlfo>!6}J*WZ< z5BNP4h3O{kWhaW6`+~rfqB1H_K`<{0eI83*A78JJBAg{pC^_cU;P(dzfW+!kr}FT7 zvVA5cXXl=2vRScR0h;LicOZXZs2Moxn@8VBq$S#HwbdoyW>)5Wp}VrU*pL4xxNJaI zitx5uHz#&vvS`W0JIs9?7#;UzJ_OV4Kytq({~wz`B+|3TUU5t@Rf84O*ku!s62&C< zTZWz7!$$;k>syXVz`{s{%1DLkX@zyML06L0Y8*A2Dt^f(Sn8n*Ne@=bt;7#oTBY5tgk1?{iC|xUfjU#D_i@cGOXm@46C_WwZH;Bo*#Empf;e?~4$2l$ zQ}v>Y4T~&{7#pDZuk3nU%CCm=%f7Qc!H)G|K{X49XI4buV*4wzQ{h+k>hos{h z^BnfoG)F$G2NGSWX!pwY4+~8^I1}_dux19a>gRGbJ$t3%Y&-EB{}W>{ZS|J9Z{<%= z&=k^p7?N7@Dnnu7AlX5=*HGeEyqgztl6Lw|a znC1@FURun?$0WlDWNG-nLb(W0c%`2ssll+TCMQh!z1UC zny4WxX>sFRysLcdR#e-N6m{A?cM{*Bt3u9n?N*4>SzVYw(ipnptM;q}-@HbrO%CUT zOv2aH+NjTgXALa>>oAMNN}yTiOnqU$ll8H zLy5*0fKgk$YH6%6a1KiUYq6s=!PgYU`ZQ!e-zB#W08d(g@e?ZT0y?XG_oj86eH>N? zeV%N1_pMog(^B%|m3i0KmJ`K#lJ4kp`-0f@tHX9bc3tQ+OL!GT zq-f@;NU#1Pl=Tt6+Gl}YrFSzed4Sy&l%f#~YD1scgk;NQ?jg;F6vkiNf!}r05{i8c zEkS%JSwI9)r~;j%4TW#JD|d{~F*X@VYU;Drb6Z?_>iF;lN9K?(_1rlzG4o-k(ocQ$ zdu^*DZ;-e~_|%2*r6k#m;S6BRt_Rxb^W*5uUZ}Uj*1QSLkk0Su4=$hiPly$jN@1O? z;sp}Dw&QhY&z-l1zq|0viXuRO?LcEc_sTt#?;G{cuoK{vt@&>oD$^hD5Zkz(COh2= z_T}yD`wdmRa~6>G*EA!PwldPPrux+XGK?{Qubq0{;%PM# zmAs#ARzo-c7B=0#m=+wjNhtItjK{B%#Cwgg`Ge3aK;36wXS&{S=5ozitH8a{#VPqG zV@a`-L;LfSgxQ#KOZb=zkM|SyKAT&9rLc}lapR=00NM)IHR&hU;s%Y4C$sa%P9^)U z0udq%82$9|*`&ev-tfp)?Q&n_sQGjS4|m#9iU)T~3_ zvIEbBXjET?u}r>yBL{2Ff$y<8Y9!n~P)_mqSvV6abS(0MTNPBJf z&GFGIV8Or=%bT%k+4x&;=?G6d1JvHNlkb-mqpY`nc{Zm8;sWvaiyJ?dN4P9WqN?*S zgp#%gDK{TXyMGT+D~V{Q(kU(Ni9ZNJyb>AVk%&n3gfDf7^vg<7&stH$@`!lQ;(Cbq z4+8Muy80s`r9ra3c@3rK4t<2K#C`n6%deVg`tzrQX=|`)Ev{U>JBUF9r~Nhefxi!sax=G zO_tjF{oh_~j~*Vd71Ne+k}$(`KMRb!(s$wrs1Tc3>mcFgJfO-4V)g(G%S}Cko<59h zD7T@3)n)Cv(k9&`4G+Bj5p-h=HB#dF?b`8;?Y4MUh7M8`SC`vQ+Qc@$aYBM)Er*fw z_`t$G`?swT&)ZQ}D_}B3_K7+`#Mk4<0G?-zB3Lmps>)$~2~<@*rI};;LfjVNNb+PC zYZaVn8@zucje>b9rK>TL&mO+cQ8jL{w@ghIwe%9&>r<9(e58a^8z>38W+x#u>@KCl zX)=5?R0(d2`!G6ywh8~yH0`x7VwJh~FoRc&R=1rFeXl$Rp6Lazah&`C+~azU-Vr3; zfeAWpOg!zM+}CsjB^=wN_0oOmrd|_S==`;Emsyej%Rewz0`->9%5hxj(m8spOmBdG z)hZTnxR%THMaP~^#nL_1caFd60?WJXd6EMCD{gld1a16_(hkfyecWh1j@G8QZlo8w zW=;1V8k|`sj`*=GiMxXg5q5@E9J8D`+r|2x8U$)kTYJ+`@_3jNvl_OtvuZY{3vk}x z3eNo3=8BeyIS8aiXdtZh26)&2OqTif27yoVuJ70WyV)$?*j`r(NB^y*7U4UU_l6bt zxwT)?6KP%D0@cgNpCu3?4IQU9WGyC3mW56jw&qr`xmV@J29`@G*xS- zD!gXZ_LInR=h`VOw%icn%@(I35?Z+C3LeK5`=D=S0pNUDOXlj7{>=4@JQ5CXt@fP$ z@9DV$&EZ|3$O1HcNQ_@ROGB@+gm?5-E|8f)F~)s;%3h z?%M~|_nCqpo=t35HBXg0J<)7wR3_9Gr}?@vRxSM;5r|)AD;RtYN?#F7Ouy7!Ic*Qj zLD++fwisYop)IRP{EHD`^pj#;wZTo$xfS;Zpu6)Ar2c2$_|76ivuRDfbZL)CpXP=kjhkUXwVA)beIL1441KfIe$+k^ z?^WL{(b0>Xyg0npJ7#k9@A(1o0;>ya<<1S$8^)`4@o(!h@rQ?r*-4gSPH|SUp@?Rq z198iLU3q|KX;a(!t$^>WpCc7lser`P7V-LtG2Uv|AD`Q&RhgS09A0#pQKY8Q@y-u~ zhxY*d)hV|hgs1rqrI^vk0rF;>n(dWel9IrScAL&VTwKTt^ysRCR(fKbJ)QSk6xRKVxP=@Ycwh60GX%ucSk(w>cOQ0IEbLIIHBG(j^Z>F{q0@&lMK-53Nk{%ec| zQ9i0`1I-_kf@>qFnX|SYnr!n)4bDFU`7d zv6?qw@^k%nyRyHGb+s@|U=a?UB#>53cb?WVtQEV{BI{??U8Fv_QH;~m+A`G0^a!sY zvx6nG1r=bAT$*tVsYL)6h90j36Jc}l@>k+&C}`NLV}NHz?_Fq!sE(Ud{e-p*{fF*D z+8y-lY(56Te}vhU1sZp z0AP%=H}U+_{&tH$C+5%-g=w#OV13=>P9_80J1U=2-F18Vz`l52?jL5`b%H^*JNmN{ zBG6*A$KAL5qWaB`#sY^T_)Q~#5zUF_C0Aur+kWQTw=*?8FNO(GOc@OR^dA_fH zgOLq4k=5l=g*>IMwfUj%<$)H}n4%*2#QMR+bH6f|OOf!%N&>Bsq`C$fk4Tr!iKS)>{(&5Rv(|Wq7)17-UrR$_!LO$?ztAOz(xSt;h49FCqK>B zR1ViBfq*psR70Eu6kR-={xgObG_a=z9(*0a5i8jjPo096^b&b{{d2A5za1t`uHx=^ zsAA8H8yw=F{JdRHrvYqWk?sEN5-u^b)A7JFePA&u=Y>Y+djVe! zCI&N7MXvXrs?n4$4JEa*eF|;%zzK{5y8#I7!3~8jBYseMp4Pa zjX+ORpUJX#%h|q9Iue^LpEf!lB!HH}VBF5%n&KEuCgjV1g(rn6Dw4d$=rZvoF`M;< zI@~Ei7Z&Fim{Q-Xmv@UY#{&dHQ&K>T{3oVIP3Vm58}&{7*_jT`Gf()I<$x^U^f4N% zoI&@tjqWhlxkkx;HMd<>fIo2aE1o?au;AKp1T^+aWoPbsw+ZyrIC_}aH}@3j!}5c2 zwpM8aV$4%JzTArvG-b0!mPF4w5Bj$qgb|l4P2ofHO5+9t7^`gRcqEaznX<_^R29mTc49}AsrT`vf(Ib z^Lz5{9$jtdLSXX7cQ^C)s${5@zdw^kBFDavYX;en|f-x0Ty3_EvD=ChUHRmp1*28Z-DDBkiKba5PisX?_{ zbZB#STz3tsGrtBkYlZi#_VhAdNY{nJ;{RTx`cG8>4Oe}9`vQ1>{*qhzC2K7i+#~-Q zv@-$hsRKVc`|DOGu0imt^lK1-ftD2cCb-1%j570|+V~gZWrXi-k-}xN{;3U_ze&(o zc2EWPH2zd`!wI-w@@;aAjkdfNSDB_IHIx&B9P@JKXhiG%8r446I&gGC1ovZ^&RW=Z z(b>4TzCY_*Ztr(Zd~M{L-#$_kPV)_BjUba=qv0mP`}gdD!N=_K({-jCA()v zi8siarY|_ItFxr(n~2Bl6COw#hD0BNGN+YOMORp2$6Uq9+|fwwGlZjk9Cv@W+qYwC z{M1>tJeHeK`*pH32?{`dzj6r|ObTk*-Rka+4CwK{%Erz%n|M=&N5_>c-tZ#}z6sLs zrZbKIyl-ivQa&1Y(p5ae5ND{TZvCGkA5sF4cM?RzT!Z+N8@L3M}y9EKcD{^(DUVTzDT)?7=ti}p2Ww(J_Tkn#7*wnOUnJU!>jz>296!mF|9B0hdX z@X1!)X%=|?m8Idqk5>3qIl}wtIpW)M{+suJ|LTkXz4vlYA2mh7X)bIgBG4~GIBdSW zH+9-vr8~b1z?^=50W7_6!fQ~M7JTd)w0X4VnByecMZPSA^Cfns?&}|4-F~mXcnHqq zaxwg4ZQZ2Xk;Q(UKd{d=c?}v(LfFnm-krn*Tz?j`9b#(aYRhpPv@`xZ=#e!teXw}_ zHHe{##pdqXL~~AeGEA+c-w}_g#ogBH4d7u3Eh(<3t5UEui_BDab!_Kd-ts_=oP5M71RLNp)c~*!rtF8{77{^4! znQSM|yWiVn7%urXPVb8<-+?OI1KfM@PAr@t{lnoWuD3D zxi*HpZlm5QaovmpTdiL9n{Q+mb%36VU#+zb3F##T9;K1J8 zcIuntJ&{YE>hYWg;Gr396;oNLnq2ETkK9b6ToY$z*LOQ#AKSfu<@)Fj5w+>qfm|~4 zSHOAd;OOv-?XoKt8N3_1{uR9cYn{Du@GOnI_s)n9>&`DeU4tYEwue=O?egClB;OSN z<#09e+|GO5d8I zJ~1G;24PYeLBf|&_en0nK#t+YsOAi@b(Dsf#`|33IE=l8L}L zqM^gplG@m`aQ4uqvVroMdWzE?;(L4RB@{Gl7*9$EY3yn0D`uo0;mR>ihFKKxuXDl5 z_?^pbYtu5GKR%d@XMgfCA-vZ%u9bG8WOK2?Z6RO` zhF28&9L*j&Li!NEe%A^ac+E;3xb}Hk5A=4Nffi-y5QTCq*ARbQ*S3$%(Ovk3#r`G( zA2AAN57!{=MDlLA@3WO@N5~ucT3{nu|Zm7(Vly{ zLKaeK1zSUqT;9o^RY|@ih`Fx)xQpGu+0uKGJN^<>OsnaDV0#{;K?TpO*My#%Jn0D6+5zRT2<1Cdp9J< zavs~KESr)+q$9q6Ai=ld&BVnlE>JzYZ~JTZBAm8B}#y*BTQQTVaNU0 z$nUu;Y9lp*=?%H-c27jA$=YvKnSv;VDC<{uvmZ@Z)s#(4Ig>sme4~?QWsNK9+k-7; zv(QTwtF^a0BzM~{I+#>edbM?T7j$`+6HBc4)?if)sESkMZn{G!N5`52_<|TK(^EGs zAE6J23$y~&R-OvB^yNM>yXR-SE$6(mn$z%g+CQ>kOfH}2R94|4_*_K=`w%d>vO^iXn>}bAy;wj`B z#053tAwq#I7H&Ylv2y^cB~})zl9gfZW(&>^V^0!71AWFqh+b-BG3}=(X1`d#s0GVa4JHN?`mH)0JJS0tPuTVdxvK-wTK@SZpCm2sLfY@V zoP724;1oxDNY&|Xsg$K?P_0_CZd~?jt5lZ-ucKgsiF>1&Ih|x>1+@X|Gyz&4w>7@t zR&Kh`WcSN2b>u9wn+q2$>836Tr5}eq^&GCLwC|DIIMt|?Y;unFP1gOIn>+7(KnHO- zJ_~|P9q8bzzR@s2fy%9QL!Bt7sY<*zmJLyA9|tgHi>jn4oS#67D)-w#s+lYHCEx6>&NTs_* z$Ta+knaOC#yIaT$5e#_UHJ*hTBNm8j5VHq2w2PPRudf*6Gps78MgjlPiE2xoBd!U^ z1H?OiBz%!kll^HUD!Iq0orUw#KdVHY(o`hZGGbwv58Y^g;d^BexC+Wi6=9JrEKKOc z+8QR;&ih4$k>T)l+{*FxZvI4GTD-N>SrK9DAa8-;jBcWWd*!^^kjw)WfH_|ZscXj_ z#=;{^Xd=$qv=nBi2;RcOu(xJ_wy{;TR&4d=37I4(dFw+V(|Wps?w0;9UUELQR*&yU z4wH$H4wEr;5@cc$$hm+6nwf zl+(l!Uy2zr`<^HD#JI@blsOUhr;28BtBNZgFXd%@G{2p+p&C(Bcac41x;E{0TmrRr zpuS;EeD1jS{`xH zLC>J#q>jClF0+l1THF$ZXWiM2oC(YfdFT+pS=T*@=G}-0 zO}g6?_IQs|vu9*t4mTYQjaWc{FZGYerP9)MuJ-iX>bN3#zf`hS?85VUqA$ezGDU4N zg(ta+j~5LTX4!j{22%^DZK5Ho!Q$Xg=rqr5Cs#<06R-jv#@AefjE<5|fcQ<%643cy z&;Qepz@LizPYeD-E^zX{B=`@x!2dqC75=VgDLua9HRz0pPx<^1LFtI|>)$U4x>o zLFg;#u@x6|b>~R=m{0?DR@KoTSF?M3lObnDqi{3>-;3U3u=dK7z6QMyo^|3mmRg5j^oxG%0=y3dV9*C(1}QTV zL|Mqw7M|mZxZnvJ~8SSrh3ii%GN?! z?&g-agHklh`ajP3Kc>O1S3wE(XSE^^$P2t%RM19!grX@G|Nbpc`ZWD;NLulXmhr?w9LgTF&M zghJ>Hfk$r0?>f)=R~S!553=ll9GlFvVLND-!2#aI#-Bg)sx1?7xpyh=^71vL~u(f}g`3T>Y<(E@46Vb|3!jD~aL3$jFC$kJAuAtG4Ht80i$zptmCn7DL+kP$5Ut8*}jDqhlrU{KQ=2}>0Z41jpGBnyDD_#Z-M!;4W*K+tNH_1A-FZe8nS``c#T#Hhz1P_|Kr@B;=vPQO>v? z2bWnVK6!MNyM9r0DUth+mrg*R!4l$xj^O+2x+4ArR}0OwfmydrU%Smq2xM+KLNGRv zJ*=GZBNA|5VR=<-#2mKPszeX4k)EiGjLd8wFRXT|;WLqhs~g=FSgg!5l`R%J20kqa zY;{2NruBFD?QV&Lp;HUA?pX;o6CoE3I@a=Nabt-cv-nWWqPtRkNUzlifRW@ezI!xH zhjIsmc2~BIWIe|IG(>m#lLeOrMy|oSs~{t zXub3IRvE%8P7RGur(()Dv0XrMUvJ~@ZQF83rTgO{9px`CPN@F=a<`iNVreYu-a+& ziK%?)>=%HKbf2krk7a7=7WEk-90>x~>*Bw0-ZLye`xpds<(fVzD( z&8>7aK6*)ec#em8ZqxCDgC+RMx=cLdNu7LfKs60}yT}>1_FQ$f{c2|*Iq4I1HQnFd zV12gT&M=?KqIh*6%W{&(Koszti@YT(CJm`CeWsyKOp**ZmnUqDSt^V!N1PCU&7( z-%j}9j+Jk=ZaYQQb{J3fo9DF$173U%xlW^+u8Baf;MVqw)+if$%65Fp50vrpwYIic zsU?wkZH0}b5zf|LcNcT=w>jXn4R2nj7YCIbi$jBogg*2v)cPr*dN7}ajD_5lqm-31 z@h1=2j-;BG`qBK!kXTz!**e6^!-}Bu_Pd1ztk4c+acuYF9_E(R1qc@V+N69rZrevn zRT~UIZuudcu~k9`4h|w}c=R5WhKDCDLniBpOy!-)?oewX`gr9)KCaz!meh5_A?NAq z>~g!se2S1%YQEKBw#0&fJ?(D%W)vD$yaz9D`Ch`dYUaC3GNS4=fWXzTcz0^b z;aW^0AvV9L^z~!F!uPHuPt+~q!RooAqxxJ6rUJc{RKxq`y3I=?Ww}}7`UDO^dGGkD zk=n>ACOonX@0mOI!AK+WGwE#g4U0S%7^Y~|i9vBIRd*3Jd%{L6Ypn%M6w4w$RZ+`| z8Rve6P;CaIx)&Z2bWfSloc9-f?@KQ9-eTXTG~7bwBqNBo?QmolLO#qJ31B4xadH)R z$RZ&D9jD(RpT1oYNd~|aWE~$G<8|XSzLuIUp`0uZfMugKk5q}a1Xb%)UC^ltxa1L( z)z~?)%!&;meVxVP#aA3L*&kT5E9cVV-}P`^D0xeiIR%R&^|Ne8DQ?-pkQb6G{fKoM zs70I8dKLDfc=*yagUof%8A?!ifa#g)%}Awcx}ksk0X5btNmnZ6izN=#c9fDNc4cp# zeY_i}FDW3YswZYNa^&4UhtLn+h&4R#y9F;X@apHakLIx50zkD-zg<0z-;Q5acbEpG zM+}|}9Jynx1m3#Yj6zEkmTNZn;{|8|GXXR&1_#J07QUm6O6_4WtQLP|uOVais$iDu z8uWcOmJ-2dO~_F^^O-`hY-eIUdMrgCe5o z`sNddR)h&ApSxGYdyiw{(5WfvgCAn9zoi?^pSJ=;OVK#q^e+_((%U&Loe10NRK-Xd z?uD71u&yeXmRvk3WC_Qud<`1gMB|MkuTaKzdHk@{kb8tEHc+)FtUtSOA_Y7C%8gGj zQhYCZgGhc+sk-Ds1j-zNBbysqO@TzN+IM%CzQuQeLP2T} z{2rcf0OSHDtywVtoYc0eyUFr6X!ZI&l$tXDvULyeqgtP53p~ybSY3lc@*jxooE!(j zOZuX$^CaM@7O{FhSMmc9jloM_RHYSNKNGRal-|s#b?(P|8O1da z|3_im36!X42IkQ%QJD%ElNP#)Lvprvd2O&-c9^BaDwc3IAPy?13?V7{4H;7~pekig z5fDQ6dXGb{>JytCr=(054GCi2(doXGBy&UU1vv}kh3)E<#&nwW=Qcc}H5Y@$s~v8r^@|g0O~|I+@znl7#qlIdW@e>?*_P#H?~-eEs}2zm3wECU|oGq-MpD)ruTNJK_bKv!SB<0Vy)RyL7g!|AYFY2m#$NdXT(G9?9oe!rjs z>~Nss8btbX^jV)HB-=UuX>qiqUDmhb2tC@+HT1k61#cB{_19-#77kJeTPeXM$!|S- z%%mD&()yeUIkx}ElE*pErBhXhW^nnTm4yMff;1{NS~9t(U~WEWQrT)=0Hv?wmKsE0wz*)bMwatH+r>=q`k|x(BBpS zNSY)pq48h#ElpJ_M#D}ziw8^AU!#+)M4T;tzPIoL{VTcCnV&}%Vi$A0>WMPpxAX}e z>8;9$34%bbqX**c**t#$dC=AB1ywH9O-%oD)AGOg2pApxzj*t<{IYs{*TJ{#VOTo& zd?hP*sq-ZjBH&!Ev3cQPpE#pTnNCO84=Hqaknji4+n1{j1}RvwbMo;d*;@Vh1YQI! zg>Ox3;K;Gs_92aAh6TGDes|~iP~~>!M^_m}hc70Gs%;7fk_e@*Yg$%ZmwnO&| zaZ^B!-J~kyWlNTwQ_N-SAiketPY?|^=d&D68Igd6w-WQUXo|(b!upicJKIb5brVfn z7B6MuyzDIV6!y<^%D~2zDxv;jeeD-%y}N!#$2l%rc^q%u`G$7o%c?vIf~RBAHJz8E zlsyFm(wYK0d+)J_yh@flzT?Oy)YoQB9pnrYx7EK?jBi4kZhbviGPb?7$yiiY9#(JR z{M5>7_Cxsxvzb#kAYK*9(!^2TRZyUybt~QX>jLn;1x)iH7YB{8OBxmRm7}h!x zHf8fNz8Bt21-{^gF}FdX&v|(@=MF@|FT!=4UW(eyC1p+P>l% zbmA6mgQzC=3pSgXK&=f4p$gA&pkyzw)Kbe1L>f=r)R--8jy|kQju9?hgZ?0?eo{2& z2tfBczmfYFtZTVMbg=*68dR*5^wsaT2QP$TG_)9Xe{V&S!|(t+Pd;=|PG$UyyatVt z=?lEEz}8bLowcmk65~Y!AqMR;2TGGDa##%XsnG^PLx`)q}ks zmb$e=x_r4MRbTye&Dk}=C<3(JfR>JW<+n;G7(_87O9pA}Hf}wyB%W#tQ(jTDUsT!K zMs-kRjXSL%r9B^2NNoq$zv02&NZp?AjUrd9lwl+WKUINN@q)24d*PK?%YWjqVk?DO zB!HGXDdOd=U^zx_1wEUfOaD@~TfNUBJNsATluL0h2)?o#X^OpH@e<1Zwjs>v2irzR zj$!;ptv~zpC>!*STaaM2EMh{&|572>!tFz-Sf~-H&ZJ1lMWJ^j^(uw?#Yk`CxN&5| z@kQ(mUDy-v_{=~-3^B zg6wb$NWQ^n$z8xs`RY%yBO^=f7l0ILgYOsso9+vF z6i6ISWTtW0`r4t{btQfwlXj2eBm0(vsFHap5@5|XXT~W>Lm+%MXM8bgHLu95kJm^@ z>adB~|6tbVGs)LNDnHv(71VCivg*{-mPBNOru_6L#RkT6j{}L{wWdoMZK8=vnQ4V> zL~BGuG6v5NZYGwM5uU$3XvKV?o)97Z446O0Zc{e?Ozk7$@dHvGg5^UGl4YwdOD) z(tU$7CpV{9HgDv&1G6G_NSE3Yc*w!CoV}%>*Q!r{TlNyr`v3NL8+rxtz*5b&bB%*| z^n4h}e0vRmHiw&{urp>{jG_e$)OB9S-3!5HR9zP&{0Z&_KH8f|A_3gBui%7bGQ5M0V|hAFFc%+ z3_1zZ=}T~Q+x8_$@6F81HCQK5h9}O~UW0Z&tqTB%ECtFph%AL$UVIrjTguW!BSyiZ zk0%5Ncq%1vIRRw7@O;0LZ?goO1%&}*`fQDgG{v6#)`_UfQZSFx1nlL!=Q<;(aa=r@ zIj>q4#A3|{6v(AS+HoG0HBZ%B+epAHdu>W8$B)Ql`nDN|x7ni=Jml1tR3J<sw~vQ8v9S&fk`%C~I{mDwU~g zP&Sn=@Y5w)kj3+KQaR_+SIjiw|J8gp^*>rc`c3LTgaU}Z{7vdlC_nrYtCXWfE#*(8 zvVEXvUrW2;k#ET3AwqTNm63-czrRQ?*Y_Q@8|`y3TmR49_?rU1Ky&sbfS6=MWizH< zJ$K|O>&w~yHeqwR(evtj_Og!He&h6i@}qzC%KYPBw`PB9|KF)IkQ8+@G&ie`PBcF4 z|8F>afY87K^+Kk2|6Z{HQ3+2 zgwwg>^5_Xqu?>(xX8l#=jHO4l6Q4L4EWS}gY!c3{87b)#4)aFJ6g(Nnd(cLWdr!1S zqPG@grcN_3rp&uA^MDnW$?A=|j&F(-@`l?sUQJC^oPhU=LwVqZnZpJdL?EiX2=b#a z)8-jIwnY=PftL(GZHMQ6_sbYw2M?F`4U<+tsq>tlmBlHOtvTO83Bt5hq7;9h6_!jQ zifWmZ6vg0FM-FwdR}Y{w4c(&GkRoA~CkF{fn|xZ)In`1=coEs{*CE<(b+&*1mF>nP zL8cVQ6fo;#@L@=#2=7o_D)G0XGnT7B_GN+DYP_XSZ%+qKt%n&kiPVrqE?S7IV`452 zseG;a#qmpZtc?mEngovWa0c*Wgpz<;X6lXM#5;QM%yfn*AnmC`dnpC~#PmFl6jk(I zo2=LiwG)5PJCBXrBrncO7IV?GaE@=*BbjVnVU4e+Ujzj|UM#l{9?$JyO2E*Zh4qf4 zWmwe>$LAKW8FwH7c`U6j8~8ZxO~HEc%nOwn<1q@(iV|3?U=2zB&N(DVBcEQYea48r9&}qVBUX%WyO(Qch?TtLP`fjKe zW3`CblNpWvUOw;OXAY@%Rv^cGre(>8LFUG_=}KW)yIU89*l0qZ4vkd)r0n!;*5u<0 z6+${A7&br(8ZE9eA-e@=u`RT5JQ#A&w;1Vw3=b|tyUX9d>Zsb9LbKx&X660LC-pMPD-vZHyi%7@csO8qqDW?Y`AYI0rEq4XV9U zpL-2Lg&63%fEC|e=~zEwCGgDRM)XPVZkJGc@JE5&EiY03YARq6@}075h>e#_n-3Bq zcBXz-WZfh8QoQ%=Ewp)YQU_HrwBbfSVm$e9dY6n_zFytDV$qPy}5BXi78 z257b&N-O2$L!RNs+^zdFIhINaUj+$qAtSO7G-oB%Ee_*hlWP`1dUBstrSRJkISRn9 zM1`Np3W$sC*UFHH*yGXkEaj7&DlO0uL;zbpy&@(6f@%g2hUD zd{q@4>0fNTL;MCA%)B)5D?(Gy@7I5Wvp~?5EIg9JhS#7_d-ZEjz8nCRXWs$A z$;oDA&LPHpByVot_!3}*W`|n&KkFA&=jautY@P6jyk#3UBhqoXJUNRw* zx?q?dP(5e2RjjyQ?>)ubr`X%r*^#;_*9#hoF5CQW4KUa z4q|-7NsmGol8G*9bnD}GHs6%SWSxlVK-+Jl&z9KP#w<>hu9HYU)C6S`Qy=moHJ{oo ztSaw4)un;;!A9)N>&$UexRN2^4jLqZAk{`(9_T)$qV=C}4EUFL3^I7=!6U0fq&S$% z8X;LFVRfs8{5&?ncsR3es2#ozR|oxLVI5pcK>gbjddh)F*+uNV+-E;C{4ra?6Ni5z(ctY zUkhw=`~)m!H~NVMyz4sq4M=3tA$CS*)f96ve-CJX#;}Z%f5L=UidOJ~D<=0_Q}O@U zZ=X7=_PG+ zoYUgwuXJN>sKiqaLPLxbplQ?^yc}Y9O5sNIQ*X;&IP`%w5pm0n5o(GTGWggidxpWEDz7@bjMs|{+}6}P4j=685c zPC|_7+xt3>B`C59P90Bad*!XAT&sk_Dl1K_Uys4LpbZjhXm%*_o+ zJmR-LixoGhHe_yoN_Sx4{`)UUYpiW+ zS>-3D$~A*lDf+z`dSosghnhGdQDS3(A(;g3n}cqx=lu?Z#(;x*yver_@JPr_gHnAu zq5aQ1qHPel{kme^k8*%qA_)`37oT%wVeyVPj<0pQR}f}?_EW{7+KwmTO2ARKCJ#6T zh{`ay6WeLR6>tCec|R5bEUS>*W_)Bbxw!^C-ARm&q`+5U(W&I%K-LrxHlm+&eVzh}~?gkm<;|6s6x(c7EA z4!AM08cokfA{>OGia|7h1+&Oc?aaF1p>UIwq?})nfd$glrDU|UTKmh6*;O?EvDbf% zxq9iRf7cH9V=!)< z`op@LsSr=DCOv*NzDS{nm3`}J@$b`eh*0L&#tLpL?^lFvxwb99H+|BKF2oZ47gOhV zS$~Kk(EPCpBZ>|$u`E5j0K9D;SO>PyL1`y(k&aOF|C3SvtG~ZyJz|b`enEUee|hvlN^K75sffVIPEYlFSM3)AhB6*w`Td_S&1Kk_2s@7k|Hp7#(0 z41p@$OlxFF<8U_JT%PL{!5YUY&w3HI!Kd#1cQk z4V!_e)kCcW;J21Q1TvS*>%bao{K?!kXiwd);M|Y)3?P7;#`o(-Qy)4SVZ(bzr4-AHN9sN zs55vLUQ2{Hy5M$%`E%l0hVOCsyxJp7rWmhP@c8_(?Ce$XJ0<(j4SD&s7^{cFshzi- zT>1X3Re>9`%CLw4885++dxk6jrxEzi%%koQkA!8=qwtlF`(q^DMz{z~-r*sLuIm zG>e7ksUuE&=4YSS)HLaml5fl%cvBL*FK=A;2B@j)dS(L1UW0gKpLBaYHlmKf+YrZv zHkkd)Icgy2uKBD?+K!o}+TSAikeE7nE+8xb)X`t_C}oY(e9-EtB9n%*tAQqStnUuJLu@Dfs>LZp+##*Aue753tTN~$HMyfF7GdW|M>v|*aj5%CmP zDL)i+@Qd2tC3wAY5efFI%*DM1NsNf7iZ06MEb<334~1 zIlOBmlM}&aB{g9^)9&G4=Ft%e6JO!@NRwj*YjB2lvns_7RSG)5c+%(Ohrx=zav(4J z(zbIx8ODGT?HucTgA>Bz;&0|DID#0AinW3pL&jQyNgr#-GA(t@TgMj*g5eJ~3i)LL zLRIaP2rHvq&k;E!^E`IiDkz0^^^)h;1nfpQ-Ygd4kmcs=DcYlJ5DsLdTxDjW*&dnD zPXjwpJx}6TB%lF7nZ2)4J|}!DaSif99FS`s>57hxt$H%5#id&kKuovK{AfuL1WAex z4ny#ku(f(_1aEooG1edX^fzH@7U}ditXueH;?vU=~qldc&>$>j#aP^q)$0g1sS^#DZT6cG2(nTG0%pU2(Qc4 zoTPH;q{UW;l3q3Obn@vC@1+#qB@xclZE~@usT>)*J5=Ey=l90XhxnZ$jtNzCCYlN% z4W!NZmi+|MAS!W|j{~cFo|*I7j;X_Q!Kyf+Y(ZI}oO)L)n-HqTK-*^qr^DMh4o^xd zfl|bItOf2)dk5)GM+0nbak|gqy{RB)UM-U3(*Uze1)JpV+;K~l>6R^m=I`};Re|Bp z-v{EvkY*-Lo#q?%=W*ca1dO&vsDHX5Anz=RuN}ko@s7KbfPEg&w);Jop>jT(Li&|P zgt73C!>K!JAx)aKzu{WNP(Yz+Ek`3t7E{>050zpz@KV&sk-p?S?2eJZn~&S~&v6sH zHMd11QgzouEuI;)yiR@Y&wUFfH|No3s~6`FWS)ZM6*->mE>HFS=>ArHpC0#}+>}`&#ZQc)cXCrx_~xq7s@J;m!d!>1Bf5(JG zbnJF-nx(~RGm#c0PM@Q~!}oU6(+!wQOoHtXMnhYv`_L>^WgKnTnnw0|@w%~R`T5@H ziUbBVX0)wGH|d` z@Bv!PcQt^3YIBP+*1ZocVOUX>)p#H;dFV2~pdF8H!RS4cG&*CSPr$NO>Yhnz5|$gA z(hM@4iHiebV;1#stcK1(HJvkMsr-eiG9gUtet9_m*o;4W`ui9^v(X3287NeFX2^*? zt(2s34(~*tadtUnIygM@`054LU9(6_Ow+Y+dtC*1bTN8t&IiAq~z>JPjCpI=quySN1(v+HbWTM~EA% zibr?MB+(-cxs7O2bXYq>c)`<5$XSD>WQw{!ST;!BPMX`P z9*6e;chKG;!LW4mc?bB;cnv>%rz$Uxn8EnAPUp{9DG*G6%Vi2y5;)0a0ps+($Xh?Q zI}K>mEB|hfWA?<7jw9sD{GHp%N@mEF2o~!W#-|MhxfcN|Fm&VCvZgRu{5F?)379K| zsD;~s4UTsALXfgvb-Bqk$e)#kAW?1P&68jm;5*2$NlV6K!4I)1!zLP;19@d#YzDs7r)S$AfyEnDSwIZS+we_9`@< z#-HBJxMX%)EYWvwBKpo$F_3&~Ia(Zvwahz(Ldu}e`g2P5 z(otXBo#yd3z57PC6(bCrN1VcgpvAyt0+>IHMXY8|i*z6=75kJkYJQqaR%qp2LZO2( z8rdF}kfJ^M;K*Ew=SD+>k|+_raA}DOzvwdUz9kjwkV{kCA2iJ%&cD0A=oR&jnc@;V({Y^_Lsve`EkK zV@y`$uv&943Iw1}$cWXOcriEUtwT4|%=V^P41auE`d~h1J4-Ao0~+?LE7ON()_xs4cUSS6GcZ<_%XkQ+p%L6aNLN^>y?%`_Z>g zHe`|}rY(p~tP^%`iB8mu@fJ6PuU_6NEgk;eSrH){I`Eovt*v1Qj+p?*k03gphz-;# zvvV!m4{E!RUvgM`V;NfVt(kNr;CxBQw+82F@UD5w6n7Ek9M9F9EU?WY)Yyb;PKmxd z9A4U7TH1a3is%s?`n(ifG5O~^OV24+yhLdN7I+a0xU%^I8HJGHeeDgWlgZC=pde%K z`nI;m5^95&2ai7N@Ld^c4P!RHKHAZabc@K%vJ5qw&|lDT z)y%eabm+fB#&)8izPA&HgSO z6KWZy5u`R6!kQvDq{z<7ijGJ(P0^O~066_7M6B)Zv?!q=)9srf-)ek1?8t%Nm~T;5 zFveDbg~`9p6gpP^tV^IZfj~xexAv;FiN$?w5lt?1p|aAd6JACC+=rwcChVNoF#yBZ zkhR`Q!Ij_!(1Pk)BuFSMEI4BFM0QADN2Ftfyp=o8=Cmo=8{+v&X?k_q4;v<&XE=A(A4V{ z;rDWZo|6SK%eor)qngJ%xQZgGyxm27&Uf`|QQhJJ3y_1V49Y`Ht{ht$-zO4Y32#8i z3F-a+Am|9lcU$dk=y3DamLCVFSJ0xUhhq&-mjfO;Gh&N&G>PvHtvo;ljV;;yJTSUrR?qBMNGeA)T$@&VDMCiXnmu_L zWa?!Bpszbe8-6e@t@+Rq)63&KMdtTXhB_2dqz`Gf#j1feK^3bzf?`mi$c$#NH$n@k z37Ax<=A&-P?{ipflJ@gnVpBXqZPEX@ge!yt8B!I$jsM3b>1@ru39Oc}uh9o3vwpy= zByJNc<-2>e?q+YHRTUD(enfJ) zPV?bQppiFpXy49KMr-773w4;?Q8*MuX@T!$&iHG*K#(%RZ}>31qJGDXz9UX9<0Hb6 zVKy;*Ioe(}bDMv{6_~+($;|`xa#;#40sHRsHodCD3EA|x23a!N?TK~A^2AjLHap|1 zpfN6xiRy^xq`)SezK-@!G&0M65|XxSMBX7SB`jSa3MaT^WHr-91>g8WEe6!|kBzTg2gr^Tl?Q-fBQLv?E1wx6CzGA0frxUQr2rnp`YTEw0&am zLVgsi?55=tlx4nnWkX!{K{Z5Wuw3Z9^%f;hIC7aZOW#@oHpBU7Q}j$>lKzyr>NrG4 z|3er@Nlq{zEodi=ipmLUU&#qV9Or@K*1lCRT``aD!f6?0VfG;$3%IYoZy$#^!0nPQ z-EX7W1K&!nFl$OAyhF827kHWF?xQ+(+9)w(JuonVZ1PZH7!Z!9h5- zCMgl3P#&KAak4q%DpTW@5mJDWllaz_Ci~?BULkfMFk0gWLvr$EpB(iWUEA4kVIQC4 zkO~^Tv;D%fW`_bw|BJ!6S6sD|Gpqq#yYg9q(BP;veHV)zSr5{a$3g6`247e@ztb8s z4XXM)jcm#|7`@4qfcLIi>0_7zbWE)42@Jm=_qdJfOMwuhSQXa!w6Zeb4r2t< zco@@Av9OUBXcelNk$_G6co#d8{gahgp*d?b5V*0b#})TPcx>q%G6=m#$SJ4tu=;}I z&S`RE!I*wKCeIyK`KB()N6#nK5v!yD;-78lTdf8jl3}dp7;v+xOcnvZ&Xcd+@8N99InI#TR1sR_f4J@pHu|KjcM|KQvr9fX2j`=ugFD6iy z09ytl3x*Ufb_)XZE)Nt!=>pzoy#oEr5lBn&5}6ojk+gM+?)A$rReX_0-YSw^HI@lx zCyvcZaB2aK}tQdL+teYI>^*AGs;!cf~$KVngy!~Ca7UV`_qrp6|9 zBoimr&WG;M6u5u-#vtA$!P?b|V0@7P4PHeVwcVBgUWFhum8!~8_Rk7dgli@!VJT&v z1~n^H7q#*OEej(UQDq8_jFES@810P&<`A)V73g5C1`MQ)xhPG~yPAGd;h84>Qq%&W zTMG6vC0U2KZRIx2aP8LYNw73xOhp;1(;Ia?$7(H8&UF}4xosugA*!HQS@;d05&js> zK%0SL#Mf>fot8hp_0YjXMy4(fV!WTby_s;Z=t%yM`o1)(fLLsH8NwtN;vNvSy`a>c zk2%YwaTwANzWbkxaAlnt=~#?TmGf8Ec>i#3_A?xVJ4YVuSlm4{FDomgsy_=DvfsCB zg@(D1->uF%{UqD3kEa5B4<;dhWdte?-6)k1NH^Dohv)9VduoH7lxuvL5&v`R9he!E z4$NKM-BGG6`y@L!A0``xt6nB$O!r0tS&+at$;_>*D()M9zOj*PNn~Mc&Cu)EQ;Itx zdDxZ~0J)3X1kBysCcekJ%Z_sZGV8v5X2gp_Y zlRgcLiE{_~x1W^{=U5++<%-SB8&{Q1u2Q2d^(xs0fU5tS}i~)5_{Nf#(ttVbb*kpKKNZtZ6+uE?6k=!QS@(Cls>Q1p>!{)OJ^Wp9{S$ zH=rKaTp8Nlri-%?;{B4QeD|KnbL_a%kX#q7XMT#Fz0!ky>l5K6ilox*q^;Zq9lmr% zw2Y!Gg~OMUssB$O=M~k|x2^FYC5Utp>C!>E3eu}eG18?abfgHbPu5;(Jlun^ zp%=keGl(HaNYvS$vSlDhByEY+GGBFMiq+_z28+}YFad+imf%ob4|@)g=7g=O&jK&% zwarz+oh}kQ1N31gv&S%`<5$Vu`lFxCVk4q}xL|6>p6{eD+{5J8a1K?0zg*AEYWmo< z8)=a_CS*KIz6K3McwE)ukcVriV8-|_verz^71hTtr=u0eJ#WF9FxT}AX*W#`IYN!M zyuR#cjcDw|1z&%IYn76P%n-qGE~%`RvPbQ(?5BeEtSKNZ+Catc^x~D((0HU%8MWHH zPh(`UF|9@nL~#Q|e!Qu1(+!a>t`3N&5N&4O|4KwfG9QEppi*+T>lHuNP%hof?@(Ns z?owKlt*1*~G_}AUU*08H)p^~YA5jwQ;?s;HmENy2BP#E>z)@Lm`t6`pu?68|!FYZ+ z=jVhq1bAUJ+_Y|;82BNseD*_&=f!Z_y~`A6-P}JZ7f5VVY`!1;9SHJN7tpD_w~1?j zZU(n9;|cFtwbRlM1>^kgP2Pj|&8XUL4<>$xC3B{#;T0TFb7wJ&;-!^TR6|^A@nAI+ zSy9z#{+jc2K>M+>zEXIuTxWZ4=lm-QdrFEp34@TMssKYKgTT#z=Plu?R?s;# zCYX}zwt(u;gWy7&?0{5v0AtvO6-?@vbZu(q3zj0IgwRrfRo(w2SGdzvq9aM8^`=j# zu!1L_B|&SX=3eCr1~f$_j0j&|g!Pxe{(Oz6g5TyAI2V&IXvq7iK9I+B0Pn*>S7*c}k1){7St9L?p!yv!Yw z4CT+U|24i?2oc2#D6L6e97|GQ-p139G|zi_NvrVr(jmKNnX?7>6^yzVxvuvW(utEg zvS1w01e++sd-`av#+kicV7yD`2W3c-MyjY&y{kG|d};@&nE#E8{wQ-bNG*x_7qa8R z&S$^LGQ=O6v5}(P3}r*8w%t*oS(mzCQmsobLHoO2R!E`_CIC|)S0>7(x-3Co{b`?l_yWp)6Y-_$Q%-Fk&GRtC=EepIGE3M?O!4c24i z^UK@6Dw3Ww{6#kWYPY6`Z+VD`z8apkyG?#{Q+Ow$SZ?t*Vn}CM@}?1D5M%ju{xROG z-NB>7*kG=^`S2N>YK?r$?aF0&SEXU(5+C6DOaz;;tmDA6NKMTi#B6Yt!u8C=(&G;x zf-A*h3{V*37xhBX5FcwWKE#M@8(yKX>T4mFt5`6ce-0Xf zCgl4#EZI^n-It;vTh1eqQ8zC5_Ar}kCFxKC14>_Jk3^*jw}j0lGPLQnnlk9s#b)bV z`?A_tqqy!^_e(HGmb-ivyP+WE;{$k<|F7u4?YhS$cdPu!_;gHnCqO=7=g;wfK`FwR zz-!|nFOJUd+Yv@|=jUxSjfc zY~WUd)iXX1@^=poW;T?6&+*t)Bo3S}12%+?;8cWEE-Oqzy!tJ#b*`c%}R8xfSh1w>>X6Rp|P3i<~OW z9%gVBI#izSQ3DKwb4cJ0?+OfW$*@Cc?cv4I;;@ivB8t=m0&Y-(&1P%4NBFr>nKPvx zMdc_h^=d$+S0KX;=;`BI%)M3K2LoIa&L__J4d0owJ>Jz7@)kS&n@@8!W}md)4{9dN zqs(#UpJK;3bq91o3wmnpH(X7prR&r-ZYOP`wYlU*kD9} zuK4FM>X0W@L@w*qx14WNM?7#UhFPYwXZUjJDX-*#c`3Qo(btv=Xx%x01i+@Akxtpb z%2Z#uUr=`~@%yShi5WG$uwjv7+f!)^-7wFYK%OTC>273bovy!S6C-7I@-@T@Sik8l zsYXs8;31bXajnQf;=HFd}ZvucXPPX-T!W5z9@4e?G^g;>V_j;BMR()%szg$ z>?B!scIewN?%TgWC=AI0Fb0+o@272KQqJA18BN3=+86%Y@aGLf^=^dQv)+=Zo4swl z8N#W!Ezwi6{v~)=!E|kZx%=7A1W7qncbqsU3^Yuba0Zy0b+zU1aQV*BfJWPhk8rKc zc8`{k(z*${VQPe^h`+ZzN^+)d1mW2%MvZr}3c^wcbC&&&JWjS<=%a=VoxHC&wVrsCl5TX1Q zMAoMOtoMq7x@YzbQyd#(0IA_m6MOXy(R*m>4grB8uRGSq9}<5a!$fAT4?(r_COQf+ z&If2v-c`2N?*__Yxb?UIk5$a^wbUS)PI&R$`v+7X#deI-bT<*FxJUVkwQgs?$PaD!nEE0ZS zHBxQ~wU$F!wpu}5?7BySHS^z9*tjW0d(-ku_~&xQ3SrZ$AC~a0#<8u4G?YW}9t8Go zEFb0wh28P0LXrpyB9|u|)vqmd{`TF%DJ6ZKSgX7(t*W8e2iUux zl!Y!!(_Owb>BWBUZ4S*4&kby4N{HohX5-4cW!v(m-fcF=HC8C&2g$F4s&BE}bAGnQ z^tGKFOE2zZgd#E|a?Bcj!01a>fo_8SBhlJj2Q{tMa$B^wb1XY=`bFom-_ z0T2)F%IQg_((KVOkRnKQ)2KcfkS^UHNeHrq=>ugin+~wzI$~{NeSY`)DFP-eyGZfh zZ;W=|@Ebun6D_~3X#F|`)7se-q-35RlYo=8c={UkSAmuJ)05)kYnK!6tBWPvm2OAS zjns?0c?_E0-`bkCLhjXsWwd;D+w>;Y0nfeEMN%DHDj;*}9j^CRK!*Tc{3eY!?K%aB z&hpjV+Q`)7MU^wB9z#d%^3nj?l~clGU_6bwPl)+Q5?mUhayA>~;t zse%h?+ZQ9eQJHeB?~$j_Gh#pu+p(n7mXlKddP3<-w9z#mi;GK#9*l|((j!c*BG`kj zmNnS@QSlS*n7qAoAU8Tp6y#b}NE5{~Yw>s{Lht(X&iA-WbMwXL?$ebgf&p?>g%5%& zLx%r?>^zlL3{l}`t-5=r&oUb9gEM!d?@ZY2_hyGy*m%?jGi0?vQxG46$vfy}LR2Cd zeaCYms%C^iK_$+f8@Vhd?eKVe1HI3MJDaUm$8&S-+MY z!29X!SFZjsdrcA|Rc{SLcXO2Wnh1;e7K+cgVyxbD2<8xa_TjO>>Q&T{u~!+trA^UO ziq&Ywm$Ny*(6q`8PluIj+vr9mEB=Qs78aT#=9CZQnSt-tVMgSr`Ff_1;%R;8fLXEu zDwNxk_x$eI53vk+Wgcx^RVDM;c)4u32_~tEM8^&tH`hlS+y?ZjU4P_Wm%~V~I#$C{ ztLJyzSsS}@A&7v+9dp6xtxyHQBjh()H*}GkFH|28&HCO9QAz&t9&Vu86~#i<_@8ME z%vo2w)vNvmm0QU3iH(O??A;|0W9Fy4!hWG|LwvMb)Kc)IhjbIpTO> zErNyxqscS+@=uSB%P`%F)${eS53}0;Oy0Y!`IQvWGXTF>pO+&TQHi9euNvUgx2Fx) zOirI?s_>OG%b3Ba^#s3@ttAB~N&+Gu_Hkv;U*tbKgmr3XlMBMB3|V$rCw4F7Dl8WV zDbl}=(0*xUd&W!4;6yU=a}2-xGS2VLT9;Oop_NhNX^hR|$y~?p_-|EJgur)gSZy8? z#MwCCNYM@M37k)As6VmrBd||Rp!TH@t}Ol)Z>7^26Pi}JoPB)L#NQFY1Hi5-^2IQs zV)WTfU-p+>QT*tMUj@JYH#IoUa1~XC%beZ}oA-1)@AY}rN#)<+gUbY^R)+`{K)v2q zy5|HZA|A}tmGr_AXisJ#jHyi(Kg^9u(3!uWYR+AnLmiw%i|3UYFV<_Ou9A5OPf4EL zzM9rhFs>XEuxn~Wlt0-+-gM8>y5>*WQvFHL0g)BtFwzSC3#uirKosN&kSH50q(z0e zmw6k2$lh7d6uie9QfdOPD7hl@$oKWYAGVhF5?+D7p#%}ifcex%5rvwgoD72Gb2(E) zLQ$Y|p$=VMym<2VyIp4E8Toa=DA1okFU&^{%CeZRsZzLy^YNjM^m~yIro1VtDc(vk zO$wh!lA()PMZQbgM1ySikCw6FWgk1f9^gO+nsUBO-u?&u&fIG zWSNGa`zkplTJhOwOrTCV%n1D8k#80cA5mzpfU1!$E7#xQHYE~S8r1$sgga_epuO)( z-6VpHUl))UJgZ@NfB@lMa zB3c7PXvh?}0?I?2hQwW$Y?Qv8Ux&Rfd1(=F|HPk<_6pW;&uCj`$a^V$a7t9A$W43}= zn|@o|#7&K*>|~gk{=RM*woqT^?lh29H?Bx+EL*yjg5@1Fg#zp0j8$Y5C9K1=i* zLdVH^q^f8Ka+^GC)mjnfJm5|sk#*Jnng7}iDc;JFxV}Xs;0d-8CSxa0Q%AsSD+1uU zu#`a3$pn&?q*Nek6}4Ne`==QL4_ll5>Ff1LEzKSwDEP?~?%yE|TSR!_AL<#YrS>+Z z_=122&Sal@u9C3m@jSSuEZN*PhiY$|OIDk-82{spSa#5wfsRo~jpNp0UCxYa!h+aq zx7gGrLoFTa@L9epn^S~Vq_R;rwy-^Bc}qb`;`a1{*zm3M`d@I>Gm=Fqn3PX#kJ0FK?nST4QMKV~NiPNw{hBJ-+bHq^YEU}Qm zq+DOtoG9D;I9r~i^RP?l5{CfXbLlwYqSWaF+QX{9W*$fB8ab~Gva6g zKU?Yjx&olw{q3f!EFPipIMi7dx-sEC-BFXV|)}BDwg*ztL`AIo4*kk5+lq zQ=l+{>&y`)N7u_H&jU24B~~*xoUni#TQZwj8?}>h+>>7l+ovYu)$W}IulT3FPu0im z4pnQoJiD@R+vwU)^b>!0%iK29`=mEHxFWRI5HE1&cW$sJI^vm2trhGNK1`U8BB9oW z-UQvrqjhB=8?}Wlh6E4hm=|%!Egt7Vz2|Q2H2w?_(*%1Lm2Wy(br5aas#3M@L(KDs zD2o^Q@Vb*ztG*f9x?o<8J<&o2>8|E;&nA*2a%y3MQF%D8gO^;9>3fsj(ME;0sCV?h zl+X$o?XdT8CUEO3A@;e2f%R^~rEyhLU92s))U>C8C7X`;!+eJbhbVtcn_>-AD$b!C z3hfSaF6&wDs}fBA`10^&mjqY^*TX{gc3F~DozX3rBLMCsMF!Wrpr_Zo*cPMH89LdQ zM4eIgOnjvK-~pMjT=)wLsp5Q%xq%_FGi*a zy8bfH7xss(sU6dOr^0GcXAMnDlOe3xe+CzaCV|9rzo2U74cSAI{)7ZU7k~3S*aJsl z`P#t(1<*~=LYkXUVFaLroAxgo$bL>wXsG5vxF8&vogB-vQ%{z#`6g@|;d?~{5Zf{glm@ls&?CYz67?|7w$+VWQ*{Yx|QG71onk$=35II;|TWoZtvRF1%z5pVCUW)r|A>u8^mBmd>ne z)4Q)cBA)-Q6x*#_vvA6DhS|YY7yE58aKvChmA4O|A+tSHIJB^m}>$&}>#BH2;N7_a4Rv z5{gPRNPRX0W;5h>@|6TEO)@Y&MlV@^Nb>ZKfHFr)YhjU6MTxHt7V6V~=)5`B@Uuo> z8ZJCAq%Rj{_Gxj`93xqaD=N9wo=qbgvho}}-Lb2UHk!IHlltJ`Ds+rog>bKR3x+0H z#07$X`VNbe0<#K>Fca(rpkFaox|yR^NTQSul#=eXTfH`ZS{WLODS?zXHSS1^NfzaLi#d{c3$*hi+MoyLbAZPPu_{}P2p j%@bH{4!tJVv;|+nkLM9TnHms(nF{~ciXy-D_v`-veQnnf diff --git a/assets/swe_bench_lite.svg b/assets/swe_bench_lite.svg index ff7a2ec84..b3dc7cdfb 100644 --- a/assets/swe_bench_lite.svg +++ b/assets/swe_bench_lite.svg @@ -1,12 +1,12 @@ - + - 2024-05-30T15:26:12.767905 + 2024-06-01T07:22:45.471733 image/svg+xml @@ -21,8 +21,8 @@ - - - - + - + - + - + - + - + - + - + - + - + @@ -502,7 +502,7 @@ z - + - + - + - + - + - + - + - + @@ -928,108 +928,410 @@ z - + - - - - - - + + + + + + + + + + + + + - - - - - - - + + + + + + + + + + + + + + + - + - - - - - - + + + + + + - - - - - - - + + + + + + + - + - + + + + + - - - - - - + + + + + + @@ -1037,23 +1339,23 @@ z - + - - + - + - + - + - + - + - + - + - + - + - + @@ -1180,18 +1482,18 @@ L 690 152.407339 - + - + - + - + - + - + @@ -1245,7 +1547,7 @@ L 690 71.545398 - + - - - @@ -1402,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(#p837c6e1836)" style="fill: #b3d1e6; opacity: 0.3"/> - +" clip-path="url(#p837c6e1836)" style="fill: #b3d1e6; opacity: 0.3"/> - +" clip-path="url(#p837c6e1836)" style="fill: #b3d1e6; opacity: 0.3"/> - +" clip-path="url(#p837c6e1836)" style="fill: #b3d1e6; opacity: 0.3"/> - +" clip-path="url(#p837c6e1836)" style="fill: #b3d1e6; opacity: 0.3"/> - +" clip-path="url(#p837c6e1836)" style="fill: #17965a; opacity: 0.9"/> - +" clip-path="url(#p837c6e1836)" style="fill: #17965a; opacity: 0.9"/> - + - + - + - + - + - + - + - + + diff --git a/benchmark/swe_bench.py b/benchmark/swe_bench.py index 2151cf53c..52b0dcf82 100644 --- a/benchmark/swe_bench.py +++ b/benchmark/swe_bench.py @@ -5,6 +5,8 @@ import matplotlib.pyplot as plt from imgcat import imgcat from matplotlib import rc +from aider.dump import dump # noqa: F401 + def plot_swe_bench(data_file, is_lite): with open(data_file, "r") as file: @@ -50,6 +52,10 @@ def plot_swe_bench(data_file, is_lite): bar = ax.bar(model, pass_rate, color=color, alpha=alpha, zorder=3, hatch=hatch) bars.append(bar[0]) + for label in ax.get_xticklabels(): + if "Aider" in str(label): + label.set_fontfamily("Helvetica Bold") + for model, bar in zip(models, bars): yval = bar.get_height() y = yval - 1