From 3ff0c7ce355890b10686581e6348b2b84061e8cd Mon Sep 17 00:00:00 2001 From: Paul Gauthier Date: Sun, 2 Jun 2024 09:28:56 -0700 Subject: [PATCH] copy --- assets/swe_bench.jpg | Bin 44368 -> 43436 bytes assets/swe_bench.svg | 216 ++++++++++++++++++++++---------------- assets/swe_bench_lite.jpg | Bin 40286 -> 39368 bytes assets/swe_bench_lite.svg | 202 ++++++++++++++++++++--------------- benchmark/swe_bench.py | 2 +- 5 files changed, 244 insertions(+), 176 deletions(-) diff --git a/assets/swe_bench.jpg b/assets/swe_bench.jpg index 9b5029fa8580392564c8557d4e762009380900ca..bcfe7f5612865a4cb203820a755dfa73dd043dd5 100644 GIT binary patch delta 31063 zcmeFZbzD{7wl};10hLmu5l}+9LAq30x?AZ+KspwJpl(Xo0!mBQ29a)+mXg|ZcXw@I z^DOjt&e3!3ect=I=ic|P=Z^(zuC?ZvW6m|!sQDfH$0&M1Kl&#VQW%FbHeh%jlH%ns z#}24@5{wi&zzMN%8$=irD$Rt*#_OCB)z_IY61KZyP@yw-`6pmK1n7^s$DxzBkdyPzly zxz~(ZKFb+yn4pPaCxRsWr~QEcZpZ(je!zd3)Bm9X|7kqnKVO>vodN%8Jm7!e9S(i) zl^*2Bp}AquYy-GCk(X(+5_JY7ZFQrqeSznwxn;L~2>1T}PAFcC_m}AW9J7`bMMz}_ zpn@n~p{_I>_g+A*;g?-Nq{1IwK+sLj>?%%qfKKNNh|R+j74M&dM0qJiMVJ?mm#_3M zAgL`MFCZ^CQGCF+hj8GBnd$}POWXy7LZXE6?CW_Z!GhS@zl`>;g8{!rvqp8M>|r0i zlX!Oozm#XSpTfLtaxCXogv7O_IVQY-%*me73lE)R@e`a~19s9c*`pa%MQKcyU&_49 zrNHNZ1!nFd8kV_pfN8}GNI1>*+clGYvH^*0h6_kbG;#h^I9JSh6u=V~QTmRJGUY_3#JP#)mQtmXB7p4~_WY zuWRgQ*}~4x4uEc9odjvNw+f$|>11gW^FMyY9v+<9m@q*FR!kk=0B3DHN&9ZqAO=p= zLlLa2(ZJ)KPo)ybmjf@$A9lM+?6fh6t5$!_a98f=v?0mC`p238I!b~t!^u(>T`9q5 zKFqxp?gg6|Z+AV6tBlE>J}H>5cOu97=7-n!7^2e`5T?(%xC=9MfoaD>{+5#=Wa z#c^=y-<6JtIvdh|S5i6f* zW8oexBV=h7tx}b1(NLR=8Ddv8|HhlHO(F8jK*#klW#k3Kz~4AnmN43OYA9uCRi`NZ zr{*;g8tN_Ui1&+3S$4BXv0FgC`CTh}G3NXfpxkJd;44ftJcmcbXbdo6S4Nmg9yY90 zoxJ3L`UeJV66-opJHl2LYGl&7t!FZ6E1Xg7P%&aG^XR#|-Zz$w>v?GN&kwpF-b%zR zo=O@02V>#)P-AKp^*(COG^6}pPU+EHWAd0iZC|3^Vmk-gVH=mcQZ3$@Y;aE55Tlkc z5_V{H%L$nj(y_`~vSb_*6jjB}>BmMcf@THaRaJ81)3*Vt6oniaZibL-$KbdAaJ=h! zK$~w9A3S&*s~AqZrDE~zbzw4Xr_j8Y;~Z7>Qp7v7Y-wKC3rLRyBE07UB6ty@_ve$EvirxG8*ID|njsY~kkpTV&X#6`Qfd9Fv{I}Qu5PvMk ze~ZSyLjpMXkKW4ve{2B%H{tk;4KInN3&;t%L&I7ZurE-g^-G$Hn2zIhkE5qpBlr2Y zP-8>xCTC`$G-tQM3QuQA&w}=gj!Ad*=l2~P=N=`?!)F3zqTHi+qOpbMu4woBJ{UBi zELg`Ewgm29KxXs%;1m%B7Q|_Ln_i_BN*eFX5B!b7lyDw9nCMlMK-MigU%E@R!>6cM z?Zneb6420br04My+E76ldj&?fjH`ZF#@gw!Ps$T9+h``@*FK4K`d*S1ulQy@UR__F ztmM{svXb@6cde?0&tn6@>fGsV6+Y28lqJ@V%>}^XuvBCkc)43gbW3zCgn*L}jW?56Q|K_MX z?F21g6~^2%qg4jnvK1b%!)ugz%iIQK7_CCNsXQLA=-blXBun#By^(B9&n)((M_)Dd z#C)-EtPYyw) zpqGN5j^8T#z)ynXE6czFsaw&3gW@E{1th9pOS&&<^ZHipT65FI_;A0l1f5 z_V5YnRc@?bQQWFH)biI=$`q6rs%$m&?ZL_TxkSnt}Y0#rc zT$Uyh0aB9wacSzO0T^_#5ZwJ$FVW}3g?+M_!#07ely)K2VI8bp)VrZnmIG{UpvY3RhSEgUiqpAZ1w{VU;X9tJ8mR`f;0)vxsyk|l0| zf+9U5JGZ7c>ipJVZOW!wyyvuQYOlZ3&|j$QK|cGr1c^Z=RRjFy8)+gP`R?cb|17P( z*cTAGtdt9ggT%gpPMOZD4*;>Zf5GABtr-cEUQB0`TNjXd{qhS)5zu@A`9WQyKU>du z0ck69xPX|1g0A>a5v9@iDWhUUY9?~N+iKE8klzm-P#$CaD2U~K`+daP!Sn;NRdce92|GJT11i`y6YXJ`L-qKYMO#@2(kbne#ObFy;iK6aK5C=8Xt9eI!r z`#NL`G0Nord0sRzT7#l0Hd)5!ZycPQ90R=~@!pA>$<&3qK=OKR>S=bAGW0VO{WYsZ zIN%reAg+A&!hy2R%Pve98EH@^$mNkmaL|QXMp>pjrddlk?>*~+?bwjOoN#1;D`sWa zs6uQjMooHcn^IQCmTki|)p*ROYyj!>4bJ5<^_$q}-Jb9@|K_W-43%Bee&`vOuwm2@8p`EOh(aqJxX zEWa`^Z~)_cCJK=I59tlCrQZ1JT+T1@j)&D=JpZjbir8c$4r@{uH=~vJ4gD2#y^v?F zLsdCUx$_Z+tjPw3#a4c+bMg`nYzT@|HiNfFQXa`vDaC~=Hs^Rlx3Ha!oi z{6amP_fD;Ya&q()AKWflQMAOct|{Vi_reI0uxUvmNxud_aBh9vE#$z-^0-07F}FHQ z!+pdr0~IpMO2FpbBvO-BW0akiIHBUZfSlS~K+;C*@@jRy0K39q^M-j4$g1r5bsE!r1PDSXC~)pYh{0gS3}~rj(ZOTF5@d$uQc)gD~TRVA~nfB z4nIm0AyDAw7gNlZkko~GhxH~oYSP5>$*CF)r$OfnDASb3ahn83aVJoSA54mc2rv~L z?T(}4i@Jc=>dhxMedM5{**qV@7{eY$OgzKm8*NE1lJ}Wqg)^6~j56H`c}kIo7DX31 zhllb}#cb=^v-22j4VnCY!l}(yRZ-~qFB?%i%0>c;V2-mUrmDg8p$VjcSc4iE*)$(R}W*zz%=;?Zf$pW@*0hHx)BJJONm~d4y91+#x5vj!!P%J|{Z+>5RrJJ^L^ME&%1*(9x)iy;7Szs&!LF zS({81{TYugZelS#f@)(hCb<}R&gY<`6WJ7PhjRfTY|jue*PzW$Ve-wQqt=!4g5XP$ zr4nfT?K4lW4OC2!e+peS(7XNA>Lv5@Bgz*hofO$wHbW$|x|?ox6H?t|iY~>hOiM2o z(!xCEt&&SG1C$O>!CpXwMH>#M_AbMZ-3!PV&>hKnUU3F2gW<`~8|i;N1;#Humv@$b zJ$31h|6lt5yWN5R_2H$s%q6v^gbwmf=Rt=gT#5Bf4e4?o<Qzpb2V6e=_bxCeo18kG^e%w@*aaj>{y{qmULTS(SVea}=DYRdD9=D*)Tz6W zzRk_58Lrm@@5pEZ7B*>LK3;gHCF30EI#kaxfao2UqUTwdi&7AV4crW5jqc;i7h|2p znTWFh*Tx)?W2HZbzFddQ!6yor0^)fM6ZAzGw*;mur@3}b&2L9$xYD#J~_e4W0 z%Xv9-<^x&jno%}`rE;YkJq2uqhpQKm)o*4?oEwqKwsl2^fyb*uC_>CP_hLu-+D46Gyt>_U7zt8duvd^AA#c5E=JHG}Os0-)6S`b*HMDK8S6zir8 zmcgnr_S}kL#TgwkCi9)PfX89z#}PTkJ@ilS)2L=twj&awRy4lm%Rc4paklew&Y5IN znl2CZk-FL@IUeSmEIePvO=U!^|9uhfK{soSP1xJ-H9%CIv`Wc&*4Z-pKFz9jM$Vnc zBi6l!C3P=gqhU$)h}~X1ryW&Xp9Md;yr7w(GAYnGq2ldK6jatT9G}0vzK#Q>$V@5stW8#Kdr`AE5}?RH0};( z75fU%3Z~ySpM$}g1>_O@*of@jGHdp}O+o2z^7hK@Hsf&4?BvgHK>TB$O%Tk#W4T;k4OMdatf*GEUlEm?foB^EM{ZBLiE$aCIfk=9Y=5 zrM4l93_eb=AQ+#$;ZO3BzduAVSoUf-E6NOTwePA&A4eaV4%>Ft@zt=f@kmu7URWBr zm1;^tRMm8I4>!-h}?U+MdAsOmG_%*y3wq4Z@0)mCiWN#poDo|{Z&veJHVTX@c- z!OH#ndkn8NL{yj`tn0WBd|3-~@mwrOa@x@MPvQ^65dT=(^cnZ1p~Xn?GVk$QkpXWo z-e5bxsp1G9+$j0}k&$F?{T9=kzBUPY*ogVp-WTSM=Bl?*+jr=o!$L%E>NT&v(j zakoaIuC=JiL%EGtWU@j+gh?b5j}a!|i={ZYkr7S_=B?0392EhES@VxwiQr>`nm zEGN^I4;6tQ{}*d^a$-xosC!cF7`GuZVk@sl(yA(U#5TH`fAsOmJ8f*3bIS`P7Y8=x zNXm9W5q1+Kn%*aW%*UsWW3k!s>;2CP zns2yxgMxMwU4!(skEUz}IN)=U+y=oqaUOaE43dXr^hF3g>ZjKC`mlg5Iq1Y5X|5zR#HLeG24x@Zp%O7+&M5u0X0 z&}~8P8n>^;>7xZU)$FL4ER%M;&ReTT(d5Z`ngs@@xcKhSWu~;Rt|^1h4NlviZzv-c zue#as-`P|*g*|Iz-U?g7O0Y>^jnki~&xKoeSsV9KIZT)0l_}!#5{|WPRn;(` zjs2dd`*7QQ{B#?!vqLq-`dJ8W9?^_z8+i+F+niA9_1x6aB#tHJs@U0GoL81WX?tbZ zA$AxV5Fy4=78h*4zIC@Mb`^QBaRC{?sX8h!*$l(?FLOCHEbcFi9d&=-snIz?TpN9( zijL7X(FKn!elhNfvsm*P$)xR;bS1$2`e1aJ&zd6E$w3?0ZJ^_IlfkIKOwgV>U3?A- z&$ULxCndV~IlX@HbtW2Xc!z76SgbNb_z-reEyOXTRvvw|O~*5XAkdp2PBcX!zEPuO zV9uj7!Bb{*RWqM?pGA^xhX{=%CVgz>=6Bj?o6HXt9im(H^7vdle!kJFx#(!;T(IFw*|F!;YTW zErKya`72;hq-h5?lW7 zeqG46WKH|?N?Iq!8>XDI;|oX~Qf;aAe5)^%tC~J7eQyqRv?7~AbJU=~_H8*D8rc(h zI+ZD8E-R=3+s}MD?smCi#6&PJhw!R7F`E?I3y2wTa7n)z3|CFo{Y(Aw&m$2aF*Y?V z)F7&LO?I?l_}sb#=fD0yzH?Q;$iN(&#B@ujGosHB#r+5F{eU(W;!8E*D*;y9bmsGks@6F<3nj&eDe6146V3Tz zX|i_npAF`^7Ao9?MhU2Dv_uHXsO;3Y3$vde9e&n3>Fu1phR!{z^?KE78WEd0bK=M^ zm1i>=I&A#@ESF4%UY@jE^XMp-&+n>Dg@8Z>sf+Q{__X4)Rnix|TCxyTIu5{rWliCR zvC(SuDvyExno5OrjD%;S?IzvUZR)xZB{t#O(Z{4DhwUD)Y{RaYVS}K#G z^ZWbo6MNqcb(|{t@waqW)5dyxF!#piUaY{@^aLi!l6?|NK>cQA@j`cNVjxzW)*{>Xtg$s6lEWaSq_-!mHQjO(0ov?|x7z5< zb_$bv&1GaE`M5WHpi61nO>3BSFGtfAGsmhw8@!h^C0fu*5e<+8)`d09-yXZ*z-E=a z7Z>0YO&uijGPqdHchKceo_TxkZ73Fw+Nc?K`4zTt&_$83Dn2Is61F*V5G13oLXD*=gN=vjwv9`f~e%DWq41iqR>lVp9I zAKjwAjdgK*$+JEpOU1xBah48InYqlY?>8X#LoXnb#Oa#P!+G#%6a&9wO43P^$GC6V zLky_1$@2%A3}JjCcYz2mTmt+7bD8q!XSEe8MFq@e(ejKGeMG)(+=OvU zyq_lf_M8mY+qK#H*s<#l;^0Wn%9JB;7Tmu^mI{3p^IBVJwr-s1x;MGuXj-BbW!RSP zL!>SC&B|JQT5FgMzF}DzOLkb-coLlmtNMiHwep3E>62k|iV9F!vxB*Q=>4NS<_Yv( z_+1_ImPN`6tDwsLRz!NJ5$E&(g2Q1pdO0`z20lH^OS-k>HqA%4;yJd`K=$4yyh5?! z>GPp6f3vad2cK#BBB=! z%{mjCjwMnc?hsw=;G7ExbV`l;yr)=_q4nrUoOi3d%*o!N49Bvf=8eUh*CHxpbRVy{ z5L9OA+LXteD^X>LV3aR0g!0m;H$?-tqys8I%ZC~I(?II{w3eEnhYxFGxdV)Wunfw1 z=eY|=ptGi$v`=dYn3RM3e*8Nr>Hp7+G~o5WmXg*Xn!H<&VB{HHMR?zjwXk;BWR&*e z_~2>!@wIBz%4GFvsTbQ4Aa?;l@Y$2DMX+|;Q-7@`o*Cg6G2@6NjgNb(nZlwpto=l2 zENSG3HbD5j(}5Ak?qt7e{FG|MI?tG4OR^ddCfm&xxv!9!SJ?`Ez5Lb(a1N2C@H7_% z#aq;-QOe{hKZdBX8)rgQNNkj5PH3xa!d|3CXwZJSe`^unUt@Ub6d2cT4N7qTIIA6b zE;UHwDD3!U0y!HXoVV8zN#Y4@0Z7ivaRf6yhjiL(%ifJ4&a#s19@9)L?~|3p!gle) zuVUBuCP0z7^oFXC7AmGZiV(3Pw}k2{ezGLPp!`69ok;x-jU&=6PuDZc0Y`lxL0#vw zL7O9eFrC}o@4`0%&;cQJ!5&6>gm`h0ogL{L{tl5HyoexyST^5x7FD{v)avUp)5^2? zrC|>3-FBv}kB3?^y$WrwW!=wkQ13&GUdy-Ae;E+89C)^IUrwf@%NrUl~p zn*4g43}R8waa0}kTu5483qt1bJ?KhQY4P+AY!f#hI}6LBI1k{a!I(@4oHi z4n~SJg!hk@TJod4g!sr#6a9GLpi2!AY9>%Q#qDRkM~X<2h6sSyMVk+@)gyUB~*;KpF*x7mxxP zg^*GM^17Cj&^6ij^`#lXSE3=eqiySA&dbv+s1`EP6ur<`j_K~)_CTs$L75_Z7dheP zQnOvxR}buG2GVRklyhETrIBoUlJXHA4?vti8eXAmdetefOOvRzpvWE5sF3LwdSld; zs&do^!fO<+E5N9t7r}6GiikUD|6UJSDvtjzvReIR26*}y{J{erH*>!-dDA$LW>r*& zEXzIdn-!wCFL=lC_RX!JRw6V;aFFGB6K=0frfgYMv42_s`>$C7f1lon%HALCHzWqHu=WAA8gk)xnXi39N?fZ*h2HP#vE@l0+#A0cD ztev5BJAFg@v7@%S>yK?I8U<5fnqQ0m$@dnGv*2GGB; z@uj@t-K1xh{L6e%y$Na)A;)Jqq+!$qnWQ*WL%$YB%gsQq=y^@3oe#``KD6|)a88fl zQHxz{S>W(m<@RU$5LPesRdf1pyHC8#7(ff6O+Ny=x>srV&E+MO5kD1>{4+grNiVXdyXF}t-YzF+%5avYZqUP;y7xmx!xices zNt(4q^q+Pp-~6#diMyu(y7^!($6R}Rq7oZrLJAsv?~OI+Wp;^nu;SdG6BTgK^AbSu zDeahijhY`JGFR`t%B_j=@RR3%c@0XBMNN)qR2 zUfG}R5ahMmTXE;sIJHE!hORNo;AUwO55cDb2QM#IsthcZ>cW$GluQ6mALot7pQW-r z-5Vd+R7S6VkB~gjl4{@YdM?Zn<@9mIS=YeP;&H6|X&?7|@zK4iI^`w9Dn#iNp1y4w zPL!>qQ;|9`J$=A4t~xB0J>u*cC1vC;`-4{XsCza2n~(8?IeJ;@Cmo^lhX2~|a4bEkjYOyl z4Y(_u%X#kp3S2BA&(F*bTYP@Dg2|fwOHM*&hM&S)$OE>*)XCLnzY$zNj+Av^6TKhT z$6wY&ZN^hfx8NxMwa0snV~M2Pb(|WAlIaG};ur4K2Q?eh_Q}K>+li1<%z7R2dzh5Qw(V+@g4Sygk`OZ@U5I_}w+hvc6IIvyOK9 zYxK1W<$`@=(M$s@w82_b5GqU;eW=m+GHG=++sx*uL@e9M8*8#> z^)GWRCAQ4U7()zH9Q>V*Wt-^JC zD6KQVdNjy@MdgO{hXr~>$+N3`(x%$ipxAAwyHlAi&g1Pi+h$#_-?pHCpbqEgN8U2p zUp1bTR*TjQkhs1G`s+%ZjmP^U`@8q7^~lWcw~Q+!;}e+42TT#JAhyrMl1KTp6z$wR zUz3e?1YSM5fZQ^|O5h#0afh`Z%?E>7Xes^<6{}gmNJlR6K}~VUBrS zah2ef5v#n16JTTKWJ=NWkx*sv#ljQcbSI7EcVFiAMY@dFw1*t|#whhH1q!1LC*(Bk zjS2a`Fb43hwB^F#L)t&aP6d=ACU-kD_6qIkVNAP4ld39^+kt{D(#Fsp-R;B794ZlI zr3c@ELsu6fC02aaxQ;Uw0-JQFb|GpeUvO8(SpE|@6(}$_%>rRs3_w-=Tm!9 zIUpUu|420_6%!+sXtjh$%N7kNh$OTr_f8I{_o%qnOZ$|^Fy#7Ex8)IurTC#jjoB;q zNaE7STOC$-`#h7hVVeQBY9i(`A(qlqkswBtooY;pkWvT?ZRkX0mikFm(}6~lv&k6Cuf>~VUL)<5>`I5~uvD0p({&7vjg zKJWB@f^(t~ec(^%(Czeg>jLdCYbn*tQ@YfGKnV8RC~!S3y;7nAMJwy(<%H2Nu4kdezJFy;lhf_k!EKG5K{PIYn#8aFMFkVC}QU{=IDfN}X6Xjh(Kshf0=brfn{ZscsF8mXPoYnxCW=O_ss~`Wm|S^110y- z*;zqqBIwLVqor5~Iwjeh(268Q*>9=_Sa~>1vXIA=R>H?J{>v}T0+C|6;xTyE<-9(@ z#1GX5KlU46jc4BEU}XFrh>5$7t zZjlppyWRUtIFBWGe(2M3Bzp$C*z#*Hn|o-SD1_jVU_oV}8(90W?|u@SfTV2iEWEP{CSj&dLmmykMvv0soF7e0d4G=Y|+*fF#{wQK~cT=$<82^#M&hFCo zxi!Ye98R{4G8}maPWHLV@)-AaqC9e4?;G9&`>NPD({Kz~;mOQdb^*nb&lQu0Bo9W3 zC419N?1n=+9wJk9wOSRq0lb=4vQZhMJTSu$rz1Fj3 zC}TlI&%HTp_{6u#DxwrE-*ZUbhE?w&(a;_LO`#0#beacWbtBsb#dwU2)mUv~-L*?_ zF%|7%lN9#a+1>;Ji93-kr7J<_u3+)ehg6KC6flSDzX#@UFXOd8T52hsdkLEZfW#?3 zhy+@TPluDVIJt(|B?&j`AchR(I{PcRy^3S^o(@Aa=aN01iNrgG+c`VsdAf@BbHf!{31s&*S@X;;g_z-iiN>DCW;2;%h@F@VQmuH>_Jym{;jI+?{4O9IWRwYR z9X<2*hvjx<$T^ta(x0>?aHTc+ZswH^!5nu_snu~NTWNi$pG+8il8tzD_~TK7)7xTs z#i!d;F#dg`>)8&!L3Agcq0zR{=kM zX2X-@C#Q8RoGIt=#jdDNegF%_r8eX$6ES)~W!tY^Qf|<|K^iEB5$sSPg`4?_H|AhV zuVi^NbFge-Aa*%UAP%udb|v7%xkb~(`&KahY&8Q zPxZg@+1w-AxK8$ojQ&=P7`>6d=4&pgR|#8N$L281P8 z6>=LQqTc(Ys?EUDVsoK3Y8@sUV&L?-6|c(Zn7wLvqpkf5)iE)DVNmXvXEF{fM~S^a zJ49@OR_*A;&1t4NRSY4F3jI~B^rZ`kWs)>EEX9CM0t0**)|Xeo^Z_Ywx%jeM62s><``VT- z)xDAp{JLKua>00H{r5N!Bq|OZ+6-vW!}ty8WGKP-sYJF1)ddEDCD;{yz9y z1Ic;$YRdNDAR<-!7b5j%xlGvk(kTu6*W|K$L2&A?3;ajZR*nLkDml3}uqWEoK#@@I zbIJztm8r2KL_2vDQV5QW@C{ zPAB)#et6zPA@}5~D+Vn0HtjhXN^EM{OKzw1>=(w?uE|mh^rEH~j@?I9%8ljS#|nQq zaE86udp=vkj=!W`{n-OyPxrZ!@X3wh);rHMFtG0=pPc1jC_|Z2(Jznx2sxb=aGfbF zfVt<=af$wWqUv{K?&Y~AVrq?`@8jPRQ?PL*a^Uv_?a%XNFptSOpkdPsdH^P176H^7 zmevn{39>%u4rq&)X%~vzWd89q*o-ZfK1n8+`8csgZdwCN(Cgh4#)P%9K)p52d+=+u2#pI%P2pC2`G& z8#X#aDzjI#i=&yy)A0}2uIW)`_$XkB6n~v#gzhUap}+2@bs!Prk-xW#Abwe^UaArR zX|uTdVy-x+w2OL3O@Xk{@yLbsX?t}|>`Y19Oorth=YB!B@ZW23A-k~C1~|1k;Bk=M zD~bC@i^wWmba6I)cc?Eb<=j=%Ep51K6GmadEGp1pq7XaE$3rdR-Outfh6Me(dDJD5 z^zSO0s8S>=?}M05Yx>*n2RXH6`}w32YuJ4sFD<1r%*dP!7G`ln8m(R*sgWM;+dNm9 zmPCVWMnWMK3yepAzGwz&>!+DuHEasxZUyw=3q_fRzX?XmiQS59Z2h}c=GQQP3u>65 zISyCNpIvFA>37E#)_n#!+5K1_s2n)#^UHupJtwf2m)(kT+6UO61+x(5ds-C+&vRQ9 zW{DbPpA;(7R^e5Z-P7dDiR7uv)SEevBZ7ZHpar3i{PmG)ASc4mG#QwNIW0g9@}HA> z%_03^O{DUH+2zE`h<^&z$4&iVt9L0A=XT%4@8uP}VgEw2`%|Xi|B+0E{o2wHBzmIW z3!;+VypX{Jvq)ulf)lJ&)~_ zqU8`T`SU3RSPoL0ckDR+;sU}6?q#KlxgRw9UW&Kv7^>lCo@)uL_q=ypG~Kpqf1Qij zx+q=T^YP_L>Xk3)=&?}9KQ)j7oIhv$ue$Gd8M;(`Kim9sT96mrAYwTawqipKg4%D$ z|35YJ@2Q#VK<;YqR7d)xY-R_Me$cly2l@tQ`a2tpL0<&Ln9vu9zk1qg5JcSTFNK?^ z4n99-dvD7#KF+s7^}}MAI6~4?U{iYf$ukzp2@g#WgLPJM6u%J?iMjtwnqFIbapPRE)5|`Ro~dz&#c3I&<Fb9PpNT=LQ)SZ0;lXJT1_AD(-JNxl{1Cv@YigIeX(c*O4NF<0T(zD0c|k$;e9jj>a0t3nOn)$;MhD}x69F*u zf9A?H%YnLG0mnhJzZkjHVFw^0`W6Udw74v{;Rma2ChK(my1g6u2A)D_uq}(EIH1|6 za|bbuEx)YVcV=E0y9rTl>x?e)RLnFOpJf0E^l@)IL?66ijghfUa~2T~oR?ledL4`h zjREHAhmqtfOIJWcz5@QZ1E`Sx8e)f+bGArjFd1QV#<+&O`_HOoz4mh53OQ%(mKxnJ zAgl!Y&8rf_-j^CkJnN?liofIp^u2x?9_@Fo>cfi?U8PKd(MQcy`9vA;ca6an&$yNNq(p5y_G1o+>%HH= zYF#0KBUDy}%=<4!+;#l$hKhNsF>{;C?*|j1@2d&37fF-#A z){$-^>yT2)UmHpyyvgE>{DH~N+pNz~?2B+GP1E~U!n8Y~Ev*q^ZV3^*5}*(*l&-p? z{U+0v^{J09ZRK4>0`?Iz+-I4?=((^j<1%(peUA2p4Ks$BFN<$srnl45;kI5aV;Xy9 zFQS%1r{90hkKN71>ZcBJ$`6!I`-4sq;j4OSUGb$#lYbd#5l_joinCv;|Xbz=bW6C-FM>GBJ&j64j2_(3M?OyI-+G4D7%9mp9bOM4RBL=fx z+q~`7@QZ3#sz8azj!>d}fVooFI}7G~np1y0gK&DyVe)W$F*~1Nijq~&@ru>LRI#F& z=$v5s2W(ajHFbDCF?QFgM2+I13|M6`b-Z!AO-K)qSl};eAaPi-+cgUf1E4@cLA-5h zZ|nj>mCaDo;=*u-fLRk-Kv~41!8&@i3y3dpusp(fc0hB~dI2%c_)M8{5VWE?_^QGS z|8c|dhQN9_IN64s(b8Ua9tswx&jM$M7m!x#Q#zo>>C8RCoCBulP624{vt}dg8LB0! zM?72|N_|Imvph?V*Ske5OY8p{{*v{(X<2`DjQks+MXB#?e}x*kf8#Whr0^=OW6FAO zXHZP6^?$s;fh}N$GM`32U)z|RUZ0F7@^taT-&RB2ogwXCc}?LV{m&S%&U}Jq zCyZk!$KgA*?M^(Jwc610kcNY;Vla~E#aJ!nu$iLL(7OQ!_oa@b!xbu=H##`{E+B(*)CaJaZgemu zcM^5jPkR$=8bieN?g>z={Et`iG4>71FQbEK2bMtmPQ3*3;AWYNJg*xV!N zJ&`WOMOS&|r}X?OOG}KhjlJt^t^!C$9!r zskNlN(|x)69>5OACb5q|Qf~^j2#yI9hD3$3Y+HPWl{N}=u(+1T1aj=Hth;$-4})pA zkilj>OhsB3kYJMxQ1Cal7E{iYXtrSvo;aB4rw=0E!vIfaVD6twWSKLLuQ$pJ%runO zRNI(Nl**SDvB(Ny6c?ua{Y&5DE=$)>d*?$PfghGD)ne4n`saT1@IRJR&wK0D><%VW z-)LMeDkD(R6mmO2))yK7{pA1)vshHwRZpRQXM>V&IWPlHYAiF5tq=1cU+e;PZPRH*-@zOikOHU@? zkG`^JEa!|UzzG0zqqEkiAL)xUss&zJew2n1zu&Pd{fGQjau2`OUYK8Tt-*YiMD6Hb z4gzrhaX0)QYGf^7lRiuF2>TS=9KZK>QN`O25yBUcyV@o=w)L~foCZKkh9$3oN{UW>eTt8-3J9bKy{P3Kd}oG0>U)^IJyQ8 zI>bl>!+YX)JIC$@5^>VQm-AS{vqKBA8$w!E`@kG|W#TMxT~G&Miu9eR_*YHd${$_x zS4M%XNU@@^^_bR?P5Cie0qpEM2#3WQ&J;83P+!5rUYvK<9JBA`2|Lc{=P-T1-#>Xi z>R;iIYpWmrQmqpv;9(vDMc2=-RuA*D_=#fG4}KQ23zrb=Og(;N=+0W z+PM5Ij@&_e>5JQ4qW2qYqXuP~4d=+aT{oZ|Wjmc7h;~=InGJVqdUAQfk*kj5z6UA~ zOe$=t*%2zV^7?&rs80EyNVC=j%`q@HDPoDRFYSAbk^ujoz{hA$I6b)`ngW8pVU92PR!Zb&lff>ehN3> z?@n^5xRL+9gNY6oBDgdRh1C6qfJc)iel>e;c1rN=s3LF7a%7#0OnhBAiN{cg-2vA2mXE6j><%;_aG8iJT6C;m)_)Q-SvVheAk+{ zg81@o40?v$L3#&s#F~Cj_qiv)a_%Ka4*uTAT8no1)JR^nW2Q65N9+__u15tk&j{!|45>#7#l0+? zt}q5yq?Cs1+Ppj(rtx&j;x;g*^-18Q^7J_sZg$L!7`2eYO}it*ee_!JODf)LUoHCn zR^aCLVh!~nPTj^kmiYrlKw;Sqt6yV>XvkUCZKe%AZQ1ypAJZjh$Z^tEPgLh)b6z<2 z!PVxKchUy?l1XW{=4mRYO=sxU>V0*Jwu6!d73xDi2p)yciQ( zwW~90iuI>1+j&$S+%PiFEr)b52(LGIi`}ifF?{C-HX!Zlf2V3-Zh#ibuH6I3_SeFD zyzaMH!6crs-bRaX)jZ>do7l0#S6*oaF03E2QM|j!*;S{EKUJ*|wa^S_2`zV|K{2kdGT@}hkrkU4lXzD%@-a6*^l7cPPXx5+! zU}ZGg!K{BlT+-v<_H2mvDs99F2Dho;bkzT;>pP>GXrpz5K~QNTpfmvm=|y@ARcWF$ zmEM$2q<0VpK~S0?2uNrVh#(LUNTDOrMWlrmI)oY$dK2Wk`OZD(+_Uao_eWNKWUZN5 znRnjV`)PaKdbBrm{9L0+n$qrvwjx1BvkEAzi%MKZ`TBP4#Z#S848K{p^H(LHGQ-O5 zo*0ce2Q_!JXnqy7qKf>cB8c6dmZ{(&=N^M9Md<7t3g|cC$bm#B*AZj22H6K20?zl% z;28@6lr0nq@eqyuz=pf}{q6uCf%kiq$LK0vvgEM&`RcvuF?qTvx*SD!vLxFWG%Vbg zAi__}ziwoF)dBcXw|h3JfdQJfHk-Co&;CvY}+WFG88d1Fq{&BQrr51M>b`l+6~u=)mT2 zejO7HUCusR6^_3W-3=Dl)w`)7Z4*Rzb*Bln!_-MnvAfW#})=dXo9V-Q=i< zffliSOVDPhX&sEx2;t-!eE~m)1UK*;ealQhf#=3K&v6Zf{75k!sq*GrMlQ;<`?fP$ zlxTcXZ*~U{yH{~<-?taodD^_G*MX(PBGhE2|8o2ADJJT&GWfl3qz026Dwebfk2bId z+}_LUW;E1;sSB#CL9qW~b;>+p87(P@Y0n!vZ|>d-#w)8wMWlDyR4E)|%UQqG3_bVd zSw5Ro?*6G{d&)9!MiZrC%y7K)U`JXBtWr8H`~GhC7rj;UAPrXQb?fEK zbO|IO-R|RM0n->xvR9E`Pq#WSBlhb~q-xu&(hzxnYAPa8Ax??RdHG(_l2dxjz7I0+ zl{9XP)FN;kJ~sPjMa<(NkF)8|pDEezltJ?ZKTVzwwucn?oUHE7oyueh3f2T|75<_B zA^2MVx9iHZ8d9H^*m^^AEXL#u-rYTRc!YBqS$IgBdHWtqZJ07Ugb~yaI8kKuaRoc7 znrNI<{~rJM+j&_~);(heG9&rbN2*PnMSAE`mty%Mc4!IbHc}z6eFrufz<=#?vlf}w zl=$>aWJ#afoc5we?=%&7nUJqU(NCDAJJ4wW^bF8@ zO?9IZ=w!hSu}IxZzXXgBMKGBFbal^aZbDJeXX2kzEt>j(l6y|95qVd zju2G!n!#_`xe>IpJIpO9P>pBqQEZ?Hf7I2A-Tw46VooP{`>t6 zoySSx-%(+79df54k2*>XW_PJ}9i7-|=bF98)dH5d*tZ1HwJ4mt2%oB}g2MUpu1Gp( z%E>RR#s>nVEhc-9whZSCjo|(vTkfywlNYL4w0Caimo^|We&-%pT(52q&*J)dLo0bh zlXhDPIl~LsSC8|5#G?|$B{1%S+G+PAIUaco((-=^HTp9<(&1}A+bO&8(@!S)lK2~G zu?gpGD#+s-?VL?8o{wp^lWk?|^cRb(Y1}6-#Ntod2#kJq$tIE3mkuUS(P@!|mYnl< z!LEaTNvq1M!%@=nL-NUbR<$_!^-YW=*G#R%KV+B*O=`*&8ImF4A#Q3KQm3~pI;a7fb10`=4->AmR);jdc#fBpGKMgOT@U14#?klfg@+}0`Z4?ODFc%T>^Oz^WwL3k`t{m z@i7svQ0+&N_*e{Ecc6>SZW&^I8Oa)NIM++zjKP9CS+M*U)=XJ-K9k~;-7jA@LkkPb z1Q8yBUj<>cuDik=RXmhj(e$W*q*o{^@Bdr{jE^5|Pc)CpM;befNG!uvmb{t*3Jq&m z+09gYHSfn2g9K=k#u#jIWi)(Q}#!ldG79I%xJA zX1y1$KUH)4>hD(^?w}EkA~-pugK_L9DZC`InlpXmjzK2~uo#iE)1F)CTuGN`nOeWq zppzJ$nf} zSc8_(c0y)vJBK}o*0!Nn4ZW*%(;k+3^+1+C(^uUDNu|st(!|)3uRsyT8MB zi1=bD_!(OI#=~)MOejHzy+@*r+QJml=i?(zzHB*I53U6DTMVOxgOVlZOt4nhIYz?c zLG-jOm*I?N4osfo;l}T_yx~cnunKJ@l2a=4HDTaK8*?{LTJFTm z$&Z_A@&uH6%!-W4UqawEUA)-s1^S=Yb_*1N!PKBD;3?(vpf%io>emBi#fH!fRzP5{ z+!&f=(q7`Xq*XL#F!V%A4f>fP#8I75>}=>SpRk|tFgH(Us8uWYv?~*0S_hI*`s(vi zS`9fGOQCCl!?k*E+;|jJstRr#y8Z(~19UI*=G>>S!O}?~zr+7s@Xyqf{b%L8oFNXbD$i=C z(p!P-Mv93)1^7`oB*%qR{7x)m#Nlc@UZ&1GQUQLs)ddY$n_X7&NA5koBU=o zS)%C{dzXQk-WN@z=zj_+5=1JA++O_Oo|qWQa)W3CG%rhK6I#;%);`oGqp$3g`sgZ* zw*6A3VP6W%JE@ZF_FHitAdcSW`cu6^`{ib5hKA+q5`j0b?LC$LyQ=*pQjdCxm@vLg zvDmGS$qS8a1se7%EI*f}x_e@!1)5LQXi_zyp()y4Ajy+7%(lBHk=Li=(nMBL$&LYS z?L2xkD2T=a*IzN9TLpuKjP-kk-eE3&(b=`m7N=#R!erf#I?gHeRAgy?wqR8WW7#{g z5J;6xT5|Dl{|9vS^O)C`Q_RD>AVc?G(Y-m@cYQTq1P#0}p$X&xkE7JQSC-nto14*j zy(ekT(?4ZXL2a}gN|2{jw8uiG+gtHL4BBKe-6x^sAxl|+gG-W2{8E>%avNk+O>Z$6 zQ5*)~d01dm{l5nkh+Nf4ON1ldJfF2!f@49C3?#N7QUTAvB7zIc;xx2iE(lZtjwQZ6GV)80X{&sDZ@5Y8!mI&uV`tV7@{Iqz9R9<>DxCOX z3LW@#^&Gf;jPNQXUYoG-nDe@NR`Wn;0(@k;o4a%}Nb@%8rAXw0jm<l5Y9smV=zJ}VER2#;d-T9RElj9v&ptM^sN;EWPAvh!8 z3+o`M5Y^0hDa=*LnQ*|3?uno_FIR+szMa*2G`kOa2gF&4=tAZd8x*0h*rR2zoJdcsDvc!M)GQpu^Q>C(CrDwj{nA`_HiS9Sv=3_U+4&&-Xi@m>V1hn$z$r@2m!ZIED!xpCcG`#Nj zY{|>^bwcFel_>G!#5RkpSA0N92j_KorgbVv@l(C|_o@81SZc?W3J+`JBmgZzmd^{G zL>3C5n^B?HeD#Dp|3>UrV(KZWCW}));x5Hv@npnFlJ=tqnlYHmc8`BB#|Djj~A8JRHFToQawkLGppT@vp2;| zNABR9<9JD8HYu{6JvT1g=ewXqObRKLW4LkZ$#mVyVJ7mkx3{@seX=j4)5K_K4VlE` z3F@mGfA;O0%_$SBCl*%Y<%Z4YfW+5xeH76IScBU7y=TzpRZF<)n8%H^HR%rwp`*(RkCzdRcxhfb{k*+ z9CGb6hCJ}liD#c`U`i(tOF@e^{~-1c2dBCrERgQs52GJ!ZRqMPA0V0Dnn%yIjhV#* zWP!aAKPv(8uf6Q16A@2)P$J#&=tyk?{!=v)$`@`H@)Z=V-=+Fzq)7;|p(2^clUJ%% zj%@9t`)(s%FSOD_q`+A-|3lq%Ar32t`9o6#p^h&?XDsobwi)muT|=+Uase0Dqpxa& z-S|WZaa9&LhrD7NtSJXR>r!RJT~fPLX*8m}!}NBPB&XVV88zHl7 zPWLAlW}f0#O1$zd@2R-e40T-?zkRmteh)ZUt=7`dL#64QgOhmt*5uJ6(mAfQhRVBD zaz5W)I?2y^jOV(*hN5-BxloSqvx zyaUXEU2~1Oez}7egT|zqo`w{849@hIAi4?;Pq7%U$~lGaWixS`=d7vtM}=qF?~DPz zFmIS`jqW%-rw&!z6YQ&O>OW(Mtyr>z>xh)x<Z!Zs?348PRw*UUlmyrU zV6Chzx5Yo;90EvqcJM__eLl(Xqh5iabxm$W$vZDJR1oKLW?E+Dc`ef&NqU~%6Xi^z zroMIR2HS#&lo?kXyZ-#Mu3)QQtgo=NVlHY#ar2%*Z&Ut3g=AN}d3t2YP000KmpVOJ z3gno?lu@03xiZHH1!Yj7v#5tHFWJhCNV^40r@3DMM*pY1EldGX;jYqu6hCK*<4>?i z*))Ifv-?Vc!shG2I@;|jV_X{9PG&{*da~rKf+b8_yPP@7hzb%^Hp@F~ac@u@HU9)9 z9ktoaF(3}exPw1Bu*__{VjjHqbE&r(S7Kw})@7~M8u_-qOK%K;L!JJmGam%Z83N4m zhZj$rV5-?iX}RpBv{V5JJ9nqdI0Z7loC5Ud1>Vd;`y3bO z)s0n1IATIS6gDOV%Uq*+s?6ueI2XyZdkK;yHTIbNgOEk$t-_RqVX)$$nc!E87}AuA;#i2DOggth&B>L%hw# z9r6;Mk2X7cv;%n8dLG`uT0hMwZhtZ0wgO4Y!+C?~Danl~BTWWEhk9@K6Z?%;jW7yc za(h!na+QU;_jN=s+uu;`^jd2uz#k;$F?L(xq+UqAm?^5Ov#>%gueYZbCvm4ByzGyk zN7$6pZ87y-Y#z;Moum!{eOgW|HRn&&T9pql_%^0nBnf=3nCtlMw7Y~tP2bYW%~W2_ zncjypdO@@(9O{*&zCGu2{9bF#Uengzk=O5V^3?B0Pc=778$18G_9NKnK}H6mP;UGx zZ5UYqLjR3klVVmuK3m}EPJUm$+W9xTm83l<6oOYE%_KS9+{;J%JQGs{`NqSQgJ)=bfAKsF3 z9c&VUPui)KOg#$|s!QP-lUu!FtQ{F)VeD2+Wa9a(US6sv(T@`pCe4d~)4m%H?iDyt z>UYyy;5v=ux~G6O-|_tOpr$C*S_JI-Gn|{(8UUF{L1Y&rMTde^`-lwsya_tRSH)1Vp4+|1RaKv2ZkOn!XXEEI#sG^%Ao zT83(?IF5L4gKoBg&<9M+$$~qm#2h9;o8H$p=$9Q+)fr;rSlVWg48ZQmd~6N; z=1Oe6eQ0=8oquq9`l-p;?=q^B>i4rKOgO3eef<}`Vq!yn2?LIJ@z;%^o~e7jH?2~g zXiJZfwewYC?T6->SVRz)Y6`kLcs+HGC39M%At2>@P`NpVN1zesRWiCo;=^L^G$ljo z_Hr=0Gj9m35#9D7XSX=9AM(zPmCnh!TW2BigClm=Eb+>$ zGIwwN+ap%PnbeLQgO7O*Q2X%*RN`-;N0CL2KHddLjrLiY@v4`ufehBeKd$Te$o81` z-15I`$ZXcTJ>(@-+%Oo_*Dv<#bO%dxB8#e0NDc+-&D&X{#)0Q|A~17Q~u%1gl<%|N5e9=`Uk7 z00{=?H;rw*X=3{abP0Vx8aRB5Z^4142%A&U#&+Fm&uO0aSqrVC1~_&_VXx@+1dKQO>zLaRJsF zron}k0Tk`u!b`0sn?8q&Xo`f->vvvQfHWpvl8S+sW3K1s>+YM--w;#5IGALzOVKP{ z{jCnj>LT5QDVN`XshNA)b;X1c4y*J_E8>Yxp{2~FG4XiwI#JC&Mv zgvlUm%@M4swq%psE`~e)Ie^m-yyKCQT7W8}R580!E`c6P^l#~K^ijITyA=*sj~{5z z9lH+Lji6Q06h-5wb60RC#}fC!5yYa%^PFWkDDuXs2r>@`V z$CpsBKBMbc7H02GtL&ngC?npOXjSvB=I!%73mib{V#Ud;BSG|JS*^i>EhoMh@})BV z1yoknpe<4Tb~BEin)PDvQtpxf8Wf-|*qGnF_-7hF*-RKZapAicz1p|N$h2D?Vy*bD z3A#9?dOC9p)oAFOFzZB!H5ZS(EF^>xtEk_$z(WFV!~-aWP0?2agjFTG)`*b(%9||IX*RKr}qn zn>_nl&^+1dJZ~vyjI^$@ij}qx^)2q;>zAtX2JleOTaN4eG1j$-o`LV*9t= zqUkPGknk^mBVPUjF7}xH}pe_4l zIcZz%?S4)Jmgvg&@NzKjYIwqGP%E|j9||#_flN+*Gwd}Lz*gw}@U9Sh8{xvg9GpWt z&z-pL1zV!iT`xW3*vXM+e<#CiJP3{l{VwkI*HSuOu{4fv9jIb(8lgkID}eJY(>ch& z5w`_=O`ZAMP!lBZD}NlJC;4W_A~V;+;xw>h`u7)%5f+eF?1t0<_=(W8!ztrWD~4X# z^lCkhOx%HRI$k<-Q49J!@TJ02|Yu z`di1Gi=M~baGogPd0*LanC^}}LOljCP%p8iTgy`r%6w1EG4;DMH@LeQ6cT8mv3TAt={Pcn?jtT{*vkzzo56(Q7|C_0Df#MHZ-;x~j7wNLkPR3@HNI2OW zj`|eZ&#LBlOw}C^ZKk!wybcR1Mst~j=SnM;0jPVNkaIrf7W^lQrVd>org7`AneEi0ZJhZA zpk6=#1wXN%D}j!yD8>e@`BVzzAL(c6XBt@6_HccQ7fMg_+h;R28>h z!mLCPJLkkZ{sH+JUFKELjQ|OQhe|8y+VP7*3Gk5@@-`%6sP%5^zy2Qc{c^Teyw@4`M*nei#v<|fY{bEIbFY& zRF)7t6R9r6*Qr$7R$k)f(F+F=J!*Qnr6Dy9#qNmgPxHbz4dh=h46u5rAe#|+E%4ge z#2^_#u3$~Bc!BUysdu|7#}>Wx=BkOG3Nv1JUBwvhvVyW&goou5MV-)H}YD?ui*;=d{<;FR+VYr=bAU4Wx;}yM2bE9W=OZF z)kELhrkY5N1a$^*MxKRmS|m!eR*yWYi@iy{rkWxLN#VK{4pIq*(+!5sNFvQvn3$l$ zn#6i%!>5jVrR{qbv|r@$BN#Gn|sZ^KUPu%Zb~^7DfrguK^CKrX9!sw3z@SSjIik}a* zKiO-r#@X4~XGwm<+Lo(azvS*Cst+Myk0r+)p3C?`Gq#V;K1ur&K0||BZjIb9skJh{9;~%e zNVX;&hD{`wKQs&6)UXmkf*UW|0#O~#kb;yL>oZ4o6sa%Hz7@L^;S@f~8(#e+B zSnJ!m5ujjJ%E+nzczD?IDk(?h9VXzUsFNvXc>V9<9l0PX{<8!MFwhyk@+n_t_=UV! zaoq17uHKLf_Y8*Rzteu`g)??P#PN-y`XWxBKa_NNwAaYd)$metxH%x zNh2#>yT=EqTrtt-hk>@lM5Q)U7?8~$fwjfmg*OI!Ehk**14?JUVhR6)5x@WcQsQQw zy@HKC^L?j@eRV61X-b6MJHk|WgCKB`TPp$-ZpS(?(ihJXpfCy!;7)%}pk(M!ib)6n zDt5hsNYRw>fadR1*844N(c3y$!)3{qgWr10jLpSoKy>^9&v}O`2q-Kc zGvt#$qu-gP^Za4uKOke+;*t>tw!w6JVbMHOiY(2Y@_jtj(gU9ryPwF!?tY|A7J00= zO@EOClEm0vQp&HU67-5~N47)8cTkd_+VWpy!vk5aM>23f5|BP%dNQ7W z_PhbBpyCC0QM88|pn~XxV+ShhWgMQ8_`AGADUwI4UfCbPT|sd@i1WORrlek z1KN#8FSqd@&{pnB=HBCPBY64d77WHi_S+-T&o9EA_iz>;k5AiSl8Fody4oM!k(_;c z!BoWc6Pvh0`ZynViUWd@P;>FuxQbg0nY?=^ZSGfU!4@-zV3eBck=eJAXfEOu)a2xf zTgGF`>s1IA*-t`zybUccb$quU=6pp%*4}03{i0x^eyp>3x{Uf@z;0fhM#?@?iaXTF zWDKn)v-?}vCk@Xh@GZ?p{M&DTWp184JuS+H`Q>ZLT$=b6$y=Ww_|DbhTo*b1>DYQz zzj~)Qm?hM2Khm=6XQSl9((jdIJ+1Fc992f?&*)TuGW+%LSBP5Dn8LWdeQ?-zIcdPw z*>CXGQ||;2p-Fl{)le)V6DJ3~r7`7_cHP}6*z(BbuCCvvs>M?|1BeuT8K*L9xd@qw z`tcf^QS}jKhc_1aJIAX;uY7%{T47k?XQzOtQSdi!Mp+zi5R25%$Dx_7c2`0DI>9zw zPPIU7{LzU`%bskYxE{Bkof<3Esy%DdI7vL{R>``l=T-I3>g|WGnd7kmbv#9%m-5m6 zK9@aBLyay`LPkf6a5M-$Ax{Iz#RoA{F@G!`7rP(+kw6XFKq_l~?^UNp-;?eIgZ!*n zsXAuxp()nmfvUtjQB^UhSn|LPyty91zXM33rw4(03Aph=;+%UErfHB8lcAT9kGIGa zK0~Q7$1u(o!8R$(w8Iq-MNXl&UKQSU)=$JcZryntz=C3#aAQON9~htN?V=awl2wYK zja&SqFGXx4CvTDpS1FK37*gWFBqhA7@d+Pfu*uT~en)?Gul$J#EjN(QietGyc$SkB zDxb{9%o-EWF`vW+0Y^*kuORVjFf_RyS_U1NTru4y{|B|DI7TZaG zQW7Q5?5pwO++9cC(n1~#U3;A5cmN{2&j9R(B*_PKYBq*-2{&~IWrXt#-aqj!n;?V} z%qbS|*e{mQBYUX^pVO@)7W?*|(yj1rsBJZuO;Hm2GOo3dAFYl0Kr zS`B-l`vsSb8fkxK`|58{c8Y24ryIiH%;uA?#=I$PLQfA|``%8}e4`hQ$T5e_IbXE{ye_l9CV_s8#7fnBoYme61x8!Z z*6xMX3NllkT=5Lcj;Vc7{#vUAT9%v*&=1EKESE=7lX4jtI<{Y;=RrS~E*108gwlSk zdf-Bju)I+07&AD=%0stJLNCtfAUbM_d`#;T%EM!Y+|Nocojko$w)s5x+D zyj&`}C))Dp)*YG7cZ4Jg-9~yMxQ+SJ!aFEIaz&lKO22JzIz0P${;IC#z`9*BD`?{A z1iIq2cURGCJ^#2QJvCMXV6#8$nlh`&{JqNtn>9rbH87hC!x_0>ifnIxETC+DKZOK& zAulLauz){f`N{LiikhRvts~x2&#uv{VLx%+R=aBf30{>S9@4xRfTx6Pq8yliNlM)c zC2N8QUSsNc{%W1+1j?Dv3L##q4hEKwHck44_`da5!@WK%um#Zouh4II+#a^#3Ws%) zllzBsvw#mQ>eHKDzDjG*Vak=rok?#mdEQ>@_BXZh#mJnmg>*^hMz~@qxB&fni$L}J zu|JA*%)fk?@x4>;=i+q#iQAECxFI~|4jZbw>~Fa delta 31655 zcmc$`1y~jB_BXr{1eFq`kx)PyMM`pmNK1E1H%K>w0qUlNE#2K9-6ajuDc#*EwRs18 zJm-0ybH4MP?|T35_g)vno_l8QTKAfDuk~ANP0qlL-mx2BbqN9d;2f8DvEGlGXU!7P zTi?8^KOk;!pRXY6z~(O@v-)bw(9zT7@Jk54K_-=14k z(Z;LA)GSWm@K^(`3%oE?Cc;2Gdw;s6f^)@`waTEQt!Ok~CTmrt0D}*TssR|fl-dK< zyqym^=>=WtXZE!h@sKn$(cNpFjZTY@O<)p9;5uLxVjsPk8S-Qk=|9k8BGHL9GeVyo z<26;`U~X%NV7*3L)L?HwRMbsUeD6greS9poDB6rzInM-46HrFMtD&TXXUTi1N#6JL zFCh+IN|w4?K^X%GFU%iZHmo2M}2wwt_8@lJFmyq`#G%g_tEs2+qH;)nQfU)e!yE93O4)@{zs;j<> zNazywCLKV(t$D@A$=6J*JX5#xd0qE_Xb`$Xa|vk)`YG<1e~MvF@e}tFGB0*LIsjUn zc%EK!&F%qLysrB867o$r7w9#RyM)w(FFpx$_Q7!73Tp;1BXtQ0p!fkty!w|ZiOu91 zC{^w{`g4(lF7$ClR#3-A%1{}!(GJ%*mG9z_-L@;U&+~EA;A>aAexp?Jce#~Z%*P=B z_CfO|qH)AZOSS0|azc<>x4sJ;pryY@uzQNY5Ewy>Wu;+TbG$D1JPOIOk}LAX%lftl zW;ZG=G;y4MG^rDxovg<=Q`XxF2nSA7E!VXZpA|I_A$US)|WVJee>LlMttgf zAWAgnaXZmwkj6f3RYl11=3`q%*@k`fcI$}s;gopAx{9FAxYH#i#70OFc3V_O8i76B zD%WbS%s|5>;yFF_L0$Jn=c(!klaahFxNI1H;Jwer)J77|RZsuEW_>pR6CNLlSE8zEx;El4Fl)}Hib$tkIi!RD8F}ePpt*~nXyvoB2jA)clK z9yg(A{g@^H78e(rjF>Q!Pr(T=DBrd#UMRW|n9k7gTIdip$(KyA%Dt|8Fxu~U`qOa)EEDWnK&xilS|0qy3XG1M~JD?L8c@>>9P-;`3pXG1n13Kp$n=p zolJ1a{*Fy*f4lFk)baKToq#JJI>v~7JMMwl=TM3_nPK>)v4@D#^O`#^0%@p+>hhsI zgZa9m*IZa@pPy_I&VEJ#?Op2>80kFxt3=+DmAmF3MQY_cx8wwjHn$ig;pf_903)w- z@4+Umy@n=TDmj4ddQEDP}gy92PAw=ivJpMrJiUia(uSc5v zBE{>>JlpbB0Vr^qa-vVN(oJ#cU(hLdb= zCC^rMa#U2j&>SZdAtUD$^0CB@cwpO_c$iyA4*1J^3e&!ynM#31~QuUx#g6u}=1O{p=%HcBds@C>7Q~sUJc{#x265_nEX97y1 zOugMlskxt{$l>hreMIzScY59r_8k*v@e)Px_vZD# zr^a&_!{ZYaczEW22?5Mj_MWbSJA3X6&fShGelA{Cfr^GXZ+_7T=m^(Y@=4TNi_D|} z=??WyTRQ(IW$!bb1m4-A$7kYez8qx9Zz|L>BXo0T!4q-VCD7}k>U1XB9N}|Fz~rHi zjz_p6imic@<;HeZ`#9kLeeKuV5ww?(woa={h>pc2B(cUV@7JokiZ%7OHieyN z0g3s*(Nt9-xTD@zyM)Zd7&%Yhty`c-1?uZUMre~QoJpwnq-`*8+5L(?efiAYL-epT zdX6CL=cEbn%65RY>=J^n6KXo>Xh4@s7;oQ|%wQgqOq;#8p>L{TV1C+F6M<&HX-HLw zC2jrlSW*3usCe|&U5&?-4pU+WL=>_5D^Z8t@7Rkp8m#xk6Qv|mW*p~H+`W`z+55F* zsry6v#hWAI7WOQ}WE66Hn8T)07=i=HMXDw~t4&4&!cNR4oQ*kC>OV#(+|xC-SfKp^ z1TXZ6aeSuGETPbOtwI;rE+5|*9SpmOwcV2J65{TxHJ@MdC}@sf>;+a>PQbmGVugSX z*<2Adr3`p!=A>&>9$@KWd67r$*`j1KEHj*ZCTSW0K0h*EzlAn1u|fh{-SupW;Y zU?StIX$3!djNV>N@fyHU=OiiFip{vFybbjNBqlUtPuAnLh61FT2;D-nG>TP@j@rhX zIQupfrqVw4WfEueL$g;;oNlY6(^cgH+2%Ss6z73az(w&Tq|ZucNQZvrxtRaKIY#`H z^CcwBO6LzDqvK_CuDp6$RL6q2cX)C4bguS_i%LK)(gh`T0>6{ym81bmn$M+~Jh*JW zw4Ul8UqbZO<8PmvM$gr~qv|kCS?&+?WL)WqBY??x(k=IU|3CiL2IR-M9^@w-L(lgw zEIPUbT6+%oUlwh8)X5(xa$Q|Cow$VT_Z;R^ABqjooV~kPMCb?fTte>hT|zW0itav* zAPtW>gF(XJvkCYBFa7tJSViu$XowkjC-cdnIWLOUc{NX7Y}m`> zu{Z9bZ`7KM72EI<@0D^b#zkH*%6=mWJ<3exJM}N%=?+Pgvf0=*_i` zyZ>#>@%*$pT);j+L08%Ek6>_dDZB-rVbtU))ZOp40*?&Eac=cl~TV zd0YA$iMWwayWYX$l$QOM@uI@tF>&xqx>vB|>%&%BM#6$6QMg2&;FVLxc_SD5dn0u@ zD8X$d@57JH@k1;y{=*;K^f?7E397iH3$_NAkhiu<@*?i7zWDm+q<(&8TMvVt)FTCV zLQvft`Qmu)jF?gNZ?HGu2b45wiyDP41-TlO2fQ1AI4wujWS|Tj1ekYBK77*Z_AxaX zqyBCy@p^DC`A`o-k6~T*=%l=6*@eb3myv;OhGgG(RuMzERd)u2teqObnoIS3cw$X3 z`CvcQXo6sJSTX1)5(g*zHM3R8ZSwX!ebX?m6Ij+_12I($Zt;cW)Xn07?VKbFdk3}LcUn@U7MP2s!Vt8;L<~S7u z7+}ZRTFWEdX?j}P@BTy>Z4s)aa#)p{{?Q?qES?@^WduXU`8$xble~MFv-zxz`Ea{< znZo2^Y5Qb#i3NIpDN#8L5%0&`A2>byu_+10n6eC?HYx!a37bin#-_sWI~C;+h7F{4 z75hI;5?PJ6mbOymn%7* z{-}Acw#sdOoI4jlUnw$;(h8pZUZkVdeayvD=g@XxyIG&7((`SYK!>-YUq57_**=LN zOyx@?IqDLhwGpsBLTONeE4se0>G0O zywz%s%Zo8&Q(Tuc^a(mt);mO!k!09j+mG-Q8`JGGCt=9>RQ2dg>Xezn3=qjMO=@HL z(@nZU^unvEeMjL38on^5w;R!$k5`I4Q!fY-ll&;F9*Z{5W4J{*ilLo`W-@Y`zRj#E z5B4@*b06wRrad)iIgQGIQ|?ooZJzWkL667x)B2Rew^=VCwbQZWAYXdc@mS$O{=Z*9 zGMVgm6&Rd#0(;2Fada6=xo-@>qvtU+#C6)*@!4qup~_cUq2GPF^i4EmOu;AI0^%rtu_`+Fo~` zPeU7$tv7#xGF@^QS4|0)nZ^ipn5%Jx`=|Snv7JQ+G@rTwo)TvuM|WCyQA>;P5E4$=-UqTifz|v+q!q5CD zYiIxQT)ym3+_3gJ?fNNY9^)Kv?x!++__OX5dBozcCS;xm?QZg#&6N#F3$p1dGj`k^ zx+L$v9H*SMcA&M<{!3*=cQb@(Ib%&zj18bTpLGq55wN-m;W2@fwgHVQRCV7DI=h^-1v-)XVXN zxZhct-QD`&m^^J>8q)4)Vd280oFKO}XHbMrfZY``gWSr!+2zo5;}#X=A^wtrMVJop z0H2~ee{N0=pD0y{l&{h!V^-mk$e=rfVYEO-D<0CgY21T%8X;RqX3j>g#vMgtlUbkc zKItgy_@06jb5~Y)RldxRJ#?5t65E-k|K(R`s2*=iVEtVTm=798%EE4(t(q5hb>G05 zm`ZdriBopwRObyHSu2K*$+V0ZbV$#LnNVfaLM*V3);fCBDoHrAvs>pRID9T4pA7o} zvO@Y`<(@ABia0?`)O_A(l>TyPnFDC2OCUrCu*pve(R8JJZFXeN34BuY4X@HYpgw;I zQ*nTO-4BP!nWtncVHty_LM`-*ef?gaDDNIyj|OBQDRS`=QhEuACD%Q(Ik~b9T!GEH zWwCI?IKlx`{o}4K_gy~&Kw?4Lz~uVQ^+Q*-!+%}-f4?&DKiG9b#8XO!?U>Uc&pn_= zG%d7g((gbS^Xfd=BYwXxbFaYu;RU|%)p^D=?fHQ@x0*fhFIWDX3wS+`FUrnWKx1_r z=uSxlAuyF`VI}j4V8mvv^NRZrbNnXPvMR12Ptn|P&hqeLzrNiu&htlhtOVN^z-|kki3-j_qoB3p0TE z3upMqz&E5w%b9(?oP!BF?xS4H$4bS+ObUD5&v#iV7hYwO36TZJRTM>wy*##{HQgZLucen$iopdB5vPkf=gMh8d^!P#@Lj*%&vY6vpklATO1m?kVjqFhq zP4Fj+Tf~jD+oqDze;@|D9FW|w4;dAd?uwm-o=oopnS6Ce)B73jVWkvG;5w>JE2^Ad zUCC0Q-6mbKPOo_e6Vj?pohN!V!sL)mZT2W^Lx{Ki-c6yHySH0pypk%duGU(s)sK*H zitHpB@!aGgtZk}#)Y3;-47lG3X zl?CI}yCS$6A12wth`P7Xi20oHSd)`#hf7ojZI}8qnYXL-6YdO&Juer(Q2=#VYN-cY9{@|X9rE;C4=L{go8IV&Y)v9-4O)2K+sM$zQPZInq1t(Op#dAgKlqI`#)<|H_tK4_7= zl!rky=vhVSkW9fF30UyIZ{X=~P(4i2{euxj=@<6qN7sF?H+`>z)j(C;)tz_Z^H)BM z;O{~aBH1>l=eie2>xI7rM|s_+Odtqz{QNsGK$!X4Hah)n9D$=q7I67f*Ejz>B5+%` zZT2MmLsYw}r;nZ>K4gY@=7+ESMV{+OtOcb>9iyFfo;P1_2LswqkS1D}bkZl}P>SW@ zZ(rd8_|4zrcq?wv7VHdGk-FKalUg{mwa@Ii9_RH})R9bUYnT!As&`v0)KTyNvq_n4{rzFX$DOZ~e zXat$hy?k3R-)|yI*p(d~w6SemI&0@_jTtjf)H<(;r%1gxAUeYCH$L2F^3`3l!heae zex_w}c2JUkRUxcU z2$$pBArLa9#(sU9`*n3zkiKoaUf`jy+yIAZiK`){+`X%vgP5Zudiitu3wF)|UJms+tow z8F%)9GOm$%<;}EQb}nq1=9)puk6X+sKPb^MdTb9<`m6cPQnfmr3bnMRB&#%*)}*(~ z2KYbpmt^Je1f(4A{}5q0`v`fOq3F{?X+qRP<-g?3koL~pp(>VVNz<>5g)9;=@Mw;0 zl>7-Q@a!OKSO>qTsM>c)Gkblc>=Gi!vOER4xt?&J4s~wYwaQd#nvEH-%CZ@%?1?{L z@Q=;1ZDTLAh|tnK`&ljq+MaRUc9%#>f7P!44pta}8V1X&q zqZlyNZ#7G5k*ScA-kS*tYLY|IPzkb05u<}iq=gwzGws)&P(Q10Kf+He^3}bA1mH)` zp=&?geo^74W+=s6;cPr!g!UHOATBgrt1QTBA^Js0sMXZm)YvKUR-(v+4nFPcRxc2# zsQTF*nl{!wB``=RTSc+5#@yMlzVV~yId^?t9k0?=)* zFKR3jB4W#}7u)?o*X507hreD>_vxd-rvTz9j_V}(eqKUqPUVdWUwl#W@&KkT==SFk z$EzX{+PL!aC%Yij>gFgst#UX~Jpgi0$NR*yicqRsO`jefb;KbK z9|a|1axN_$&234IpT*p^CVRfa!;mp^2gRr>Rom=2dS{J-wy2cNq}kCXZu&Nnm3EWo z{JW8_?WrGBqb1(XO%1#ZJDqBZFVp^{EF~^_awqc)XpM=B3$0@gip>&orj8Cl(Zkbp zwGPdnYRnvz*Pxf$Q0hpEO-tZmaNRQrZu{iSCsq>#DYI8cz-u zPIi0yltD7^mO*J*;H_{=+l&{wf~YqoUW)qQ$*V_U!Y?#EG3B%Sfoz+^EDqa8!iK^6 zpBC(WL;xn)uX#p}o9gW2p5}8?y=Fy)6g1AR?WAAtG#9;fMe+CI7^r0W*fxW&_ZHh$ z>p+Jn_Ep)}XeBd;DrXfb`&$^#W3q~tKi?wzAZZywfhA<;A(5{&QBqYNsXy_t!Fx0X zA^~N=meujhbR3svVEmC^^5bTc-NR-xv$twEvEz6ExmpPK<{M1{5}VO{4)h={VEhs8 z=6FDaT={y>%VE!!cOGNsr@5ucHl%HSBuvA;inwpu6srwrsdohls=4qt1jq`5JJm)(9aZtQlrUM=iXX>eACNa$EXxKi=eaFiyospbdvDQz#BEsAStE(a0ZXBprfb?`dK%Mrco02+ zh3;$nIrI|pa0*oabb^7E8^z{V?r;= znz$Yfg8m$w7kw!V8xa$YP8&ObGkL`6pshvfIZ0G=SG9sRK5G(EQ-}>+`H{i91CC4} zVYTuL!gHu})oFtz}sw(f>s>Sp_C&K%PpQq!?~M4Kxv}o@UbmZ z0V|r>Jc%TLM0A6_|4EEE_Utf_^_&Y6BC07W6Bz~UV6QOi22YyGJV z`%q!=Dxdae{3V2nx$MF|Af5ZT)Qj&1$t}UeN;R~9!BenEwE;$Fg5n@HMuAs^5!4{ zzd+54VL(x-f9}1Gn3+@fZRVK5yJ#_W4(`jrf<&BUaZF$^jqkcxP4(B1*@H&MJ50Kj zV*59|WuA)Zc2_>ew0NAmDrz=!SG$36e4+{Kd0RRf`6Oe=k9nV6v7^l1ToT~xg`W#h zq06|vJ?+1B&X}{)9l+w3TJ6lnG!lM~zw0~fNiNl4YuOENPKzEEKJ__9;&aWTQKq?& z4pP?ihWoxsDv`0syjBW!;}T>LBC_@ao`n+GTNCEtanw%bFuFrt3$@J{qbPbkmWGH| z7}kb-oi&baiWmznk&@Chef0S` z9;>mjU36hn;EkA@WcE?XSwCe}E5g+Wa%l^-Ni`#ls?4NLdKd9&lpuO#3>dhgK!58y zK{C&w&D_xFDeVan8!M76*VNY;$%F9vtSIZURErzx2VJ85NBG~^!v>gOr0};&aj(Ue zHJ%Z*JUd9EyJ1|9yhsKmf#`BTLA_!r9n>*A@gO~aE+L7!-s`qDhq8K_gP89KhnNPl z|J1xk^I`ILUAU1r5!_n@3&^xe5qhv(mijae z>amgZ`>v}|V2}9f$w1O)X?#q&^f;GX|Fk~@4_6#wCy{le3Wg&0f zJH0A+@5FCiETXm~7|oBJF?*=!gTkjY;Wr|-@DN4u&rLzWz-7{i3} z6Qb!Ti7TG1=225?q=^sS9DiIe9i4eo{#vXS`@S4Xoc`%Raac-tK_%*}73vZ_!VM^%^dDD#(OaWo=Orfg`whPn%~Ts;g`+?-t#2Um~9if;)zPh14PXfZkK{34I?kd<*w{}yxZ zmUM9lOW%{VWWM=n;yjIEbc4M4Z|#Ldxr=Gx2IX!}|B1!$BNOpL(!-{?48}5D{nj;b|Dk>SF>6P> z_CNS!AR__w7bT0==zcFc4@?+h6H!|X)|E-}W@=z?W$am1aLojD>X2)ojK5P8V_)%X zI#nS=WS=x{shHvSen<6tM9R2uCy|H1)kI@OAW~KjF(*!)vdPT>_k)aIzzn!wHeN5Y zj{Gi1Xtjj3&?O}NT5i{vSI2`M4*$~W!=<`Y(h+OjbAup?^LwA#k{^b_j%6`k!k*HD zfvDF-$X^O8)wk+hdSt10&w4HhhBkrg4)clr=DvRP%S}DjS@-?|c)`{syX_SU`lN$3 z8=Yn-PCTygn6ke*Sp@F=?Bi+%P{rVe^1)Ifp2Yj#u1_G3M2PW<S4{O+GU zGIfK+rbz?L{hH-l3Ti)6ZZG1uW3e?*&KUGYtz;x%aq?b5D00lH`-;n6bL$DP{WPw` z#I@3Jr?oO3Mz;ulaObnYj3P3cKt<1@%5qI{iMOn+BZgcYN{BeV?3}q$Fin7Az)+vB z@|Oji4O67S-?r3MtS}sd93McE0S>$52jQ2HJoCU}P2!qvs@C-!z_@MQ-ZJV{7^Q)d zfW>)Z=BodGv+2(~b(6||cC|$pxLoY}F5*U_UZXGMKiX121L_M(Z(Av__pAS3buDyOJ|EYl4n|_XH87~ zU?E3SK+?aB4sYnD|2T6H^i!m+kSTS@$`P3w#y399mc!d))!=7o5a*Nc%20?V7PwD&eI$$vBi@7 zLWSm4M1n`q9NDQVE!p?5cvQa8PZ+Q0gID@Dp@|&RGO3#j%EUC{$UAv9FLw_5&!IuW zb+QkQeS&?3Ev=d|XJ(GrBQSSaVr{S+e{3d;D3z9}etZ*~erc3x7+v8DG4Y zxcvB<(mk!>BQKgEz~SQoV-=Cr+yjI1I!*6}KJj+tb$H-me{s0e@ljam(SsaG9BPCq zxe8hb=OOp%ODw2x_0U#{mD9X*K}nc_+bT`hppR(tES1&`7i57LSk&00qZMXdk;CZb zHd6_dXX%^7(;$Y6MU)++HY$HZ<&~VnAZ&AuHv`2BgG~7*0M~;T>-R(+oYilwVWCO( z?kt7crj2WLxwY9mwkDa=qnLc|Mt4}B!bXppj=4FNNE72kSP5%2v$8C_jWt^ysTGKY zM7vU+EB#olcP@mPq~nl8{7rxm+A>uhDUtD-40f(8*_RQX)S=0ah#|T0F>j#Iyoz&ha?eentytMGVG z5yuTim(z928W;-7RnAuZg=4nr(^N<)4;TztlKfb3iMFe@OP>-`4Anb$m^r>uhUtFP zB_>Cxn8J*~tA~@LS5Q7rOFiSfsmZR0BP;P0(FychG4b_qZR|3+A8k&)8M!}KP`r(8 zKBlEWQ(ItGDP~3;ym8x=C}uGzvdf`Z4wWTc56EuFGFzI_9G5J}dHS(X%oS~l80D2o zV0wS7L7F*dN7%mZ7=K8jFbaV&3u_?Oeo#j#T>=KFF18l+@bi5|_bQ8fl~a#C(odk` zRheikQBnx4zpUFa4suZ4fypqTr7(|W-Nd{Ey zdqLkbn^57eUCK@N(CUCgG>^Is^o<*WR`f3b==vA_nwuJc(PdGCw;+E${)df&|705g z|3iNH|70Bei*4{5trv)V4EMpk4=f5$ink|fitbgb*y{@8FTiX|ab>pLu|kK2bw4_y zW3q|Fc}hOus6fKtMJAS*p+n1LM{4u4qSD>e`BeMy>en@_(iBc5j2qA6UtU6ZItOgptb~O@3BHtoAC~_d<8Af7DDXn=by176^NLaS0%)>jH)O0foGbUe;GwwCD95VTa8;-C|J~v@)r~LTBdy_X1o433kEfLhN z5|WAzHZ>U6iSwvsi%P1hoo{Vmf9V{Fdv6ePO5!IpJfK}#ULJ_%^RV1h)pgMu;@k49 z+f5ENSK12k^@4#UYWzYEzG6iV$PGH0I*h!11atTM)V`PSMwl0Aa8D3o+s?m!Ph*!o zel&n38vna9)J)11`9;-?e&gF5+YoFrF?KDiELfr|#|95ory07e+e2~<32&)ONJ$`n zHzNyUteDI$zHhvJCi<@Peg8E*B~wX%UsB+G+*KM=a#9h8?k4x6;?ep z=nEDE%^%+CVXuarZ_e4L`{SaJK8|$MN>$FZUJ2KL#{0ysh8IiJv|Mc?BM*=nWMMuR zV+nA~VBS7`Jf@-m^N;83&n-hPr-J#t9Ns#lz~_^Ez8YZKuj!A`{sDc-Bo9l5|Eqi7 z>w^A)WYB7IsoH{ZQv*)znFssCT`9keb^}x0)6G=+R`-}xRm*J0 zsJ}mbI2|8-aAArJ>MQTd$hi@NR@f?-7m-J@MV|4?`yO4Rrv`Pa+9vM~)~hfXmNZwI zxVT2_ruZnAJEp`sPrXWv4%{1O8`9DW9Lio{9{^iE-a4#h!qF^PS&xM#zarA3Q4$C!jv{6(Anqio>_I_2N+T)OY z8Ls+8ax67AG^Y_sVQev7p?Xj1;j3jngIyq(=N~vbxAAqI!(eS#Q&E#jH% z^DUi~Q1l?Wq@kxv8S5ei(G&9|%Q9bw4ogOG+1R%*bS#akN1Y(}&z55+u$H2eH6}FI z;>ZGbA?4DX+6}GWpD04k-ZVQEgC3(EmvAi}!J22nvq1F3@*5Fw2ovzoV!F4 zCssL~M#}th8r<2Q@-L1*TXT_r^DVGmRa#zaT+G?>X#a-(XTADoZCe5#QXzJ3-L?5S zTC2!PCH?cCR5uAR#G)2`ozmQFgCY)k@H&Gw{5blj`j0e8jmlhR2AM~nKEYrkHM}dq z%@>#ejF^GjR1A51%9_0yE~(o4;j*ZA6K&yk5mTo1NX}&G+xQcrJhr{V>F-l&%?^Y4 zi*X*0FEA-6jC!!Bl8O zSun7Y({)Exz$8LoThb2@vyoDiBdqzHuQen`&o%+d9^SmLbk)OLAZDYkD&$4 z*2IenW2SKx82&0vBH_dP+?NUUHp-%`(6&Nq$xQD;QDLusvG@D{fX$ zRcymnA$Jm$AZQS*!D2NQJAx@<_X-5|Vh0C31_1fKno5Ph+bYHb>K*r*MvVGUB8kCm_y3oH6foT4P z1J$GO^E`T(Jf})DuLzj;XGe(_aAbON3HgyO|5Es$=Ynu1bt>r1>8l0kJL@@uYIt55 z%yA}R)AosnS-Q|Oj>JFwtGI?-SB(aN%Xnon?_WZS#I6PegTMpTsl=EXmRuQ+8Dy_o z>K8(!noEMXq+a~>tCFSQ8fV}+mG&po_-ZK0SM9}$$W#4oJS-@sQzl&jHCe6O(9sKX zM&0>yhGyZ3lCM2ijgNfske&o1XlQCTOg1bAE{@@u;`cdSlcO{kC;3>p!CyM0fBBD` zwDV~D=gWh018DU+=rtRwNj{F>@Pfw~JOI3|SP+agr~-3cNy{e7C@gj2xA>h7n?0@~ zBh1GUb%d7?LAT{^0Es}_&-|ITJ!{jYFxV;E^82MgGtl(@H~(w>t{28*T~~A@G|Dq5 ze#I@)WbDK%8S08?T^GBWm)U`8h#OeO0xw8={v;j`=p0yM(D;?d#HBlMa3LicH?8Cd z8$pUvnB^u+%+V-U5F^K}%GNK8!WCgL`2<#&OP@d)}c<;CtOY zgR{pkBjnnHj`w5Ema3q4nv)xna!8mvCdOM9_!`OxKhK1;js&asPPp8h6&2mtQFw;+ zK=J3hwsQ+-2`idhe6^L9ws9NY+SVfDbBtvh;ufeRqz;UoWh+Y5*#_OEeshrre%knX z9NEg1r2!4%{(7CnI(+Jm8i;L3}}Ki`8uu zS`wZ?@9L#96B|`!eb>gkf`zTIUXA}$YsJPMD-Tch)>m&Q>%PuZ!=-quLJ5*l# zD9BpT109tu($=|G>L%R0hmoZ=jvVqRm4_?_AZ+1SH&{JgYsR~2@vZ`9Ae zA+KXhG>bQI)iI;$ej*SjMBVHeR=EvhIu8|sNR>g zj$X-zd7QfsF?+^HzmF;9xhM`i%O2~P{?R$Nev3VOJ$?5Eqgp#2M&Ac_$M-n_{rsuO zWTP{?aG=?Z1`p|lSum#`c_cO5)#A=K9eNGgdWhlE&-J^bgBr#`7OA)O%G@jPzb;H_ zcfS6y@VcMv?z7bxmDt~YW{9iA#q@9xJ+ulG(g~=4DcxafiLyyJh^{|BK`&w%CcPIWK`S##vb-CmUfHSxgUkN^a zA)@)ZT$R0%{=djQkCKDrPF+byye7Dr9zCn}U#sCr;JRAv9r3S)ht-DuNz#Ee_(~2y zSs5H+Kn|DHzr%CmI}U9~wO0x4m-xvGGs;VdLJ7^aOuCxI5IvPHYx$PN^Ne;xL2X)$ z$U`WzCmlGHE9nOJ(j$WB>fcpDDeX&~Y)yA7xSlg?1oXGxDUds6wq)y&-9nTsQruHk zZ3>&gKC#!mz+4~B{(Ih$6Bx|Y@(je08lJ`6c|var24OXY7~%uqX#$pCJq+9bU`Omq zIRVpBe$jO|2nozNSxpDyFlDbGK;=1O-DaKmZ2p|8pRywd!h9)+?R72PrqLk}E^9#$ za%=`&MdVd(f6rC1pM?h8^HAL}bmhEBgjcNE7tiO}6wEBQBolnCUXrRxG1cXhR_ zC&OS~3gdMe=i$?ylD!MjKl2Wlit?)*wVUNFxD5KISQUP!rg&3`;K?EV{ZJR6@e_}J zUaoC5%u9~WO^wezlgHf+crt2KV1LZF!g^tB(6IX33cz-KC z?4_lf|7vFjZu+-<+A>-89Jw`@;BR92PnOgU0d$F#1#FE|R zaq?UGhlORFRd+-MoE@I(r7)pChTya%U<;>VA9f*D5XQ;Xm4Pk&nvp6hfvgqpS=sZv zUqiozy~+Gh=wsqF_bbuV|B{0No~Cv`#MpLumgrjI2*rGXt2x zj{#83sxYJ$U2F$ef$oB<(I|o52JF8%d)I2O?x=!lk>$^j>9^3{k&H`-)q2@u1Z!&$ z;&zL?L=>CO>a3s0BhxMjGhSpeJET~_*uVEiA9zEMjMn?F`4zjeH|~R81MFwC7bdc& zOGBI29jn5zILU!ubg>2Q=?ajRou~n6kLAI<{VRXK;k85H%T<%Qq8>Yc>Hz&u{gxb9 zdCW(hKK_G4{^AYr{PW6J!-ptdhHqgXho8W%sh3u@fK+np!}l7o@`T%_@HfV!03%d; zV2i^F^-QLu#)3Xi&opdN(bn&Ei(uRGE`Fj2#P0Obn>^D}*3rf+(^Zo@3?i7dpLcy4 zZ`hyh$7JXoQpU{Rj0$>Rf+^}AZB}xkDN<3czE~83x%XO_XjoyI$uM6!#akRjRTYe? z`s1r11FP>Y?14&XWCB{B2!IEX7s2}%*TA3L>c8CUzwqc#%xffs&i%$ji3pyGv5)5U z7B@HoT}SIr%q3{Cd7X3>QT3*SW$4pOgLy>l^~X0{}!1Y)3y?gJEB+ z*I{9QLI+8}i^is$ztF>ciC_HN6bU}|^7Eg&0MBnMP^_t>WX$|yLsKS(4s#6-t$}Gt zU{;bXo^PKB{)@jtkMe>9%mB(&Krx(}neQGENQWz0{63KSe!@>F$ZnDU;aP%HP;x;V z{w~Zx&A40nz{-{TIx;u=Ix-g=wkvH0Ub`1K99JMB{h!+bT!xV7I@r}l@-e7{{zL-g zl@1N#v`J2REiV#t7t{(yY!!osz3I*382TLjmWsaC;CACjiiNEeGQ_Y^Jwd9czM&M{ zMe+ewEX^pdi9SAy-*89G)w+|&z=x$C|79HN9Gg}k+}_9$+>{rYXg)?TlS|+b89x)r z6rJGJf9}0pp5d6enb41Tq^ZM$o(U#S4^iP%inxpSQzqAHJt03yz?S|kMze|X>k0|z zOkljTxNn&HBJT>IO2~D{dd(#cSRJ|~0h_#Myr29$a;;2zGjyMmh_!dS_RI>BC@Hzq zfa&1L2v9Lt?<>?jS%Yo|A!;CC$lgB+q`#jqhphMBbiMYOE0z>h5j@=kex#gH0X;V7 zPPy#DFMVOr8v)=ad+K(_1lp$e$1fpd$&qM`50cXUc&Nxj$nKQl0|&pF*Uujsov*2& zEEh0M;$`CI`)%CncCb(@wG06p`HL}Kc&r_@;T3{+Dt`ouy140|o7~J(Y{8G0iladT zQeJ)|9N`vpHV=lHh_(aEp!BJQo*vSCp18K(eRKG$+U$%jA+2V0hBhagmyp1rv`=QA z`xHHc>z2z9ykb8{5$?czvHb&htsN1WFDyM#TcAjfx$k1Qvntvud8sFqtvSBc*mj&F z75>2Xp~9~>LgM#W=t^D--2?L;jROtu=M?=rT0zza2{?ZNZG}7Slnq~iY4)B%uJa>s zQ0DLg=DTogduGzNt4q7gN5Q?C8bbD zA&^k;M-ZE3D?JLa7<2bv@*{+a;AuiqF)Dsb8 z4t2dqb{cN3banAnx8FwO6CLONZrF55=#K{Ad3JO_)V24S5icY0MKbaQ%;}$$$0(Ng zovKj^LZtj+7og5Kk`a&{A`zW`#y;>hs^TU-*B?~>V-b|Ue_AwTSDOA~h5CLI_lg%V z@ny9uJxRVXCZ0_mI}MM^b_Q`8-tvR`p3m1ZO2Lcm9s>VnzE|8vb{(gbfqR>(o96y$ zF4VAYe-N0axNr-vkkXgj13q0s_MVOdBT?X2rEGLE|H0+fKZ-X1mx_*rvYOSm~Fueh~dpBW%DcY8wSDraSpC$Vl!g;+B8T za6yXzYyfspLo)@N)dge9dp5V1z&0qx@H`sV@PinVYE%*UULdpzEvt(HcG-b%`TfB1 z(eb`4;!)7%9Ra<=JFNie4D^HyY~>6LYDpTa$*Pd1tydx8Ovk(^nH-QJ*i4d6byeW5 zCkt>m`~5yc)<+@(a!H2pl1C3-I~Yk~J>8P{TQXzoKgicP;sGW6$fVG}HTNQb8W;I4 zWZ?$y^5C%2qeOX$jR4Sv)g29+jKlxWb8^3$R1ejEJF8H6oorAz)=6AK;>V}Epg*I! z2Ka8LniHNjXT}{tH`Yr^F>A0RBlN=osB_R^L~F@!qVfGVMElp~p|h&1(ET&_6VQIS zCwAmR@#NIUpd))_Y!*an{&Y(_?Vr5g5ZLs*OzbhORO~1d-^#xIVF3+3`9E$SSpGv& zX`$KDJk>3SPU$YubN=%!NnvfXtrQd$YMFMs&V{D{FlG}>JCC|5MZC{UAFdO$pY6D9 z&o7!#PVVV*#b zoy-rMa(-^qA{&k$9%n>+nzOB?AGMN&obkSihw0AJ5;0DLA7M!wIIOagQW&&+7-$&R zFhqk3L7KRI^R?_s0bLzf7Y_?O+gf4A81fpDiy7ZZBZmd*&!a*ChRo7oaKglQ6;x)UFeD{IUG!J zr2q21J2{jgeWpvQ>8^{IY+z4g-^6$pXM4bDi{=vao6?*&FF&IqV5NW-T6{LnoLgoz zp+{W42BC%3sZ)#tdi?^E`Hkd}A4XNX_Pq}l#eh`x{zE@Z^B;K*>!Ia7S}p2AM6Zxq z1)Ah;uKgwHHwQ|%PBH35SW}}i&e_94aXkL!#02UCA$bftm~@w~EhyT5QEKJOlECzi z+8WTh7aTlICSt7$S6e&93d(WOJE(ci9r^GKb4A&x%|3SGO}(A8lbiNXQ=Gs^Zk(&e zt;90crf$hZ2KzU?#@<}%VdK(;adXmN$G_#X`=}-?M$9;Fd9EInJ((I4cC`=7jDdCzyo8Rza?WaJ_jI~mz~t!K{PGoKX~7B;G2N_CW{^Yds*&}<=U z-+lbW8#zFmjnn0-q~TE2;XLgl3$`w{WN9A7`y&=SuX2T*db* zoLsoHyZ5rw~xLxIyVzQ)ZGs2O?q)fdl5@rScY=g zk_P)RAeYaE-Hr#je4j}1G~ax4=z7E1+J4m)#2dNe=lyW6!iJHzG0?LGNI&YA+B zKe1W9_YTNOVYTcjOe`@H5dL-k19Iq8V8B@>d1;_vD3X;IRooOK2`5u@ArN8KDdqaY z+~j?%+rQdE#`DfTu~dog%~w7yM_WHJf?~-S(CmK+Zv5h+ve|8FN^|p}Cv}MoIiYST zI07M+l{T?Mx~t;6|BX^!fGEDbSDuc^G5H8GoqHZ#8$|gB@CDb#W$(hpJIn8^(7+nS z*CukYw+BMCQ$mWlPwAn9+?o}%LfonfN$3`kw~#@uk%JjmD>i(jLD<)l`m3$s?LeIE zJN8^u{hRw_vxjdXyUgrAv8V7Djwzm7oF7|xGI<{QXFga4Hzd_@H(2tLEBolqNC|Vn zV;zS&f0Re9&>?6a?^7y0yAy`&>A zW@^tdt%z00eL=NW4VgJDoOQ;J%^+Ec?jC_F=rJBJtz#;+_+)yowvFP~f);~=u_>Ej z)mj|hiywXOOIRtE5DGx)MWF_ENQNW(ZAg;-bM_z9gSCYZW&Qy{=0n{=(2wz!^qtG$ z+s3R4rHd#$pdpeYd#jNBR_`mZHK8Y1809MV=MiLLxLrg933GQO|JN+$&hP+|;()4qP|>9{mJg`c7zDLLb- znYZdc{y6@_590PyeB|H)rS{V_ylKH0hkAwK&ejn;g#6@O5C4#OAF}2(2l>xDjkfx} z1H-59K}C59H>z0s5_+sCb^cmf_@nGGi61QeB4!Bt`vjR6ak4wxC#Zoh_?bTq^|Th) z`gi?Xp+$L7u7yR^J~HPX-4uVV@{U@Jjx$+o`)|w~9DKy{yCmx4Gvi-orV7m27T$f6 zV(-`kM@VE!NO4B6!i#`z5i^cSnT7WphFux693X+D-B9IM(ikFW-CM-3J5G1ym{SyeH$&NuIAbag-^*~c*42l9sfAfd#dR}+RQnh`!nQB` z_rLMESQApJO-i|a2ZSo8`)Jv3{Kp9Y+XG4U_T5zFNf7UvHj?{E2x;AT{|Ui7?8Sm# zeNT&FQFvPHqu_JCjs6iCozBf)Fko2-Z^G9FMQ;$pyMd@l*m(Y4>t*z`(n^k7gtUOH z#Lu#euV^(icWoxrg*|I8UzIJ67VQDWrD=$tZJSvFT-%FeN4<$Y#fx+EMz#DX*D*Cl zTL#7)mck&%!lQ%|0D8pPHB)zv<~LEZIA%-Ge-}6;-$z6Qjscy-Y$8~w?6X9pc|7f* zC0CHYN|di-f22W!tNXG1+;kWXa~m!#JLjTbZCNwXVldNp6nD5DO3HN-)qC z85uKhc-yPx1REjA^Q-E9oS0K>BhLzhtZX-;o#yUCvfxVLZv!K?n%-pPZ;~`I<9&SCpZ}c9pj@DnuSO!16_ea8$3ZV$Hw3A>& zDu+K(PgYr6FZ^5cT+--QvZfpCHn$x7dQ!@&VC(GCiK{@B5fpBl=9H7{*Lj7r6M$^D zl@0h+Z>s9Jo*t&`#jRT{xiZd#i>OjR!zhcrzLRl@r)_9H=itq6Hru~3Hy{e$=SrF^ z=*S01h5p-|i+iUEuh>FM)FBG{%$}6YsyTDK(mel6oPg4%h}7W>YQVif2*GLQAK6ZMD3j_PIFgz zZXz2H2@F#Wi`vNhF1jGukRInP;PNz~k+FFCn~^2-r@X-9WboF2qh_!;lVGRM%oz+E zdUp0aPycQ7mxuBno7Xi)~}S}rBzbAD&i6n?wSV_9q}`v`9X>IZ@2|1L#7-(T ze7dPG3H3*%5z}3!L##29AMW==t%WKV+1AHb^2}-$;OI&qcgM$ZFKE;hEc1otGXTFe z^Xm@vKOizbp-kx6lInvAZj-6?#-Qd+#&w_KUHYemUf3D5O2m@aACoz-VvEwf$MXW3 zVjYJN{~Bb3{{0F8VsS#!kYb~o)?vcaVFt)ZmQR-hTTkb8McxuCF1ya7r;b!GaSmEqT2_!Y^X%v` zTHp$15HArBto^)GI>^2|WZI?s01YHBl} znS0l$q!eU4F1@WsJzynz-?@UXS(cmnTpw4ef1sGhw@TwJFiemq%0X)>g5KMU(DzMQ zPYGvVWDb2a^-jzF^h_`rCG|4^mYO967CWk*4!mglDGJ<_nyepODJ?Wr$62*{%>3() zCpmFUJ1TU1vUY*S3oUUTHucTzt=YnAHy|!rqHjUMj6W>$t;j+;3x-h z{ka%YV&M@2n>~X|jmglyt}!$9&5;k18lk%{r~(>Mr&L;0l`S$(Up0o9t2*XyrDv5T z9!gLa?uc=+nCiDhUK_|%m&xP>d^NML=c33Ui5wUpCL#>ES-}Lq6lRGew};zbrboyO z+tsZLC20vodJw?KX#a=_7vOp>#7n@onfNrKaih-BvEx}h*oIeBr9$9d$e8~Ow4{4M zL8k%6Kz?u7b1W}!ppiW!$CiOhUHKxM?59frBmIZn?OkY;YT6;?9Mb`0^v$}? zS||yIjF4=U?Z`et@PG$z$FMmwi_YGD^@a;^wk(_t*Smnik;u>Q4yrDGD*@TWbgH7{ z&n;ex(PAWUu1HE*0!PfEVLX7^Zd3XYbSI7*n+*?(Q`0 zAvrn@C2=9Vx7{qHwdJ`lizA^_MO&^4gF@kI=R_Q>Et2nim`Tul!g*v4G&CX{wNv4| z{NUtU)9{)$KK3e!wVdf;pH;$3t>|n8#Mt7c1&yV8d{MvYGVkQ|Hck#jZCy?o>sJ@f z+Z#}RF53V^R#GO#LBTFJJStqP_Tr-cvgL z$`ySSwiJS@1nDEN@z*RA2U4#mO&G-S@CZaR2kvawGbvYkr>3s7INnk+;iKPO$5B=Jbc>j~ec{-HIiSH-H{UQ=#9 z|2ay2>QUT>F#QTAM69$kcH1~1ledr^H%e`9JnxsSFV{f%1Vl-0YSkj2Z`U@b?OQW& zySq>7;a=S`ZwF*&pA zoUW)IDB2aryTXKnYy$xs310+hL;5_6x4#wbc|O@k3|CR}5oe_BG+#+w#G?3e=7x;> z2TB7#S3s7p(k@V3?FasnVIyg{e|3(3H|B-=S1xnLUIShU2HS zs1Q;r@h{Efu1NFgjC&fM?91;%ptpu*__NmivLec6xSzNGKltfm;l`r+F=4u8b`7Qq zI33I4J(U|r!S*!l+y&p8hap#e%_wjae?RBZ8WyMuPleojdB5VN{Fb7-H%>nW%E0Xl z7Jg|Ir|~=%?dXzENiIk)9jyeJPpwbX2E;2H>V4WNdq1+p(bZ3XGO$@J$56eW)fKBc zy@~BZn|DiuI=Hx;6)Aou_4?~W_~$6jDrV*fwwhB1Ipa)yaHSK~A*j@(D^?vJB`rOy z4FL#xp5wHvMO9%5VEgx@9P-(%Z)~y1&HNfJxP_~#I%u`Lg+Vjo04mLkd!FkTT7E*k z|JL2n-xIaPev6oZ(yTsy6>t?h=sEE_S){>Y;@N$HqNWpEXg`84kk8FgB-1Znx>XenR|Ea#ky3z` z8;KMGtMR&n+FyPux;Q?Dy(ZwaV|_wCCx!M~(a;UD?GiCStJbV4vdP!82vqC3&54b! z8Bu4^MAtfsOw?xYi)}C0r|@)&XHl`|SOiwaVKqE4UWJDCW5z8*Xg>Ot;>=h{0JfeY zM_u|qW?;Db5j&yO~zgeprhmE^!RQ%&AtC%4g}x^*Q` z>&KWJAAiTXwVLIyMn)?=7>-ZS!1nD6S6)SC%Jt9JO6 zqfwQ@(jIR$w9KYz=K|Ct>gz*0*zeR~A(`(sIrEE6FA{a~fR)>-qb1GbS;#kSvv4~z z!@;Tv|A($B!V@CVmD>`zr@bN4A@!|aM!9JUa9hcfodJWYpa;rjzE*E>UBbm|-fz4J z(#$m5wD*JbE7NtQbeMdyJ0RVeN-sV#98+}&Gi__kJ!Fg6cy8*)Tje_Ume$;X`=kg* z$I1e6Hj`H1FOP1Z-zE|F$5)d1doATa_oZ|%!qV~1&+d4t`M1@dKi@0sCjcF5_ZRN) z`%Yfj%&5P06h?NqCLfT2*njhP?Bgtu^#9eL7w4nLA=&c?**!j*)2c9oP=;LkGlt;% zd<2oB#Sg46;7U`%)|2d$##36>zV%{_HuvTL`L*AKr{B|&F0o$O20vPm6BU(D8EgV% z`PV-j6uN>w;QU`7b5~VmYouhqnK}4Kcvb(jFM%!46?st#uszpS!#0j^xhPKEqAN_d zyd`=I0xUgj_L+J*k;5*0nvCJ>7VAM=4(DBuFbjs}z8?*F4k{{d`@ju^C~nBBYQ|82 zT)aF>Bceu_&g+5A?Nbkybf%)>m3#Nst4FyPH;X_X_N%0a7Y5Ac*_>zS+?({=O(3ty z*#qsp=&`G_E76JBO}k}jo`F|XRPs<1Hv~(Lx;2BY}>Jl+s|3|wR zWPmiMq3iu0){iY)G&gimQkmsrKV}xy>$7%lkmfhKrJoe$duU(pL-Ub!`U!~- zxA!W^+49|;?)7>pt9*jRy1f$({bNYoG-7sd(5R3H(UJj;8T!u*t*U@dZQnS1(fDts zzx)Ii-`ra$-*~zZS7z4I07!4)rCfArCw9)b&O`pv)R?!#otIIsevjPn(k35{^FA&5 ziH7cZ4GTzfLZ(i|oJ$OOEm{+lFbu&vLt(Vi$}P~mJAP&?HMNKquF~20peo7wH<1}R zbt^ZMIUflsjS)YNI2H?`GH}5DPD>-ty8Uld&O&|Kp7b*UKIPDVBtZH{`t_ST=hd^b zW@QP)MXdboVw_hwLF2*hj`bB9kCYoGy)+zlY@?Ge*VSoXsS?m`g5i_G^>TMounvrX z$D+h>+Y0e?bKKz{Kh(LqD6rO86_K@-+&kV^kQDN-icvZqS~$Sc##%t2D=B%zZ|w);=|+7Z$1?mv5e|0-YGtO+^6xHj z+RRh>ABgWltU-PTy};j4U=Fw`ffP5blD1GlsnH58Q=dxJ8LT;N_|YKXbaY#<*>-vK zLjAVuHt$TU=5O8~)X+kc%asD{+$CB!7D45ab6=Z?bd{Wb(fEP~j+;Ah_S_xJjIUL7 zCAPa5xs}@^6WcX&Ta6YH8uxVMVa7rR$#c%#|2h?YgXUbf1D+v!T#Im_D;_0|gtLjo z4PnX9QCe5>D&k$!^l0Fg(f;yq_G2fs7S8z*mvl1>_~lrMaZM7TD?v7aaz}musnKx3 zLVZ#ISD_Z|2Qjn!5BLH=>idhxPMr($E)oBO+_HsA+*v@VBi8%H&@l5JzUwt31*T5;F!Ic} zwdAJE)(4QuF12;bBKw3hywDM{xGL(fJowh!8oFt8M0JpF!J5xi&$vm)QA&_`Bs_m6 zOEa@EGko|oaqu}lBaMu?oGXxOf*fyFTr;PhU0U3JP=qo0q<_r9{-WAyOI2LD8e%;f z+B&|L(X4(`P;dG64B!;++`pP@EAsk+H*k$}5&%gAZ*lpO=9j`;f*qJRj6vs>dIL9S zYZ6m?C`i4|+OijKdj^?EX@@(;Xp6?!93wNjxp#9geC6HXoJqHxP`h-0D-WBnC31=T zXnZ|Q#%4Hkz6bf?@^b7hBr&e4q;`teB~ZH5P|?I*j!|FmwZlif-SAXL0TCma_ zSTe6zWSug??*s=b(D#*Ch@liuw}|}DpBKce(nQ!zsN_(2dfhQ(&JUY1kgU7_D^Cmg z?NvHCIXz8rp3A6wa#ph0Qs&JfebGom5V!=2i*oW&BKn*UZ;*2 zmeF-cAB}E8rmcMexf<+ZTAhe|%mMGgCih-IUSCQgbC8dct9s8Qa9Z z!P}OWA5)nt$&!tMsQAuxfqFpaDaFj_WE3mW%N)@@jJa;7KV<0Q& z08@pn#G9K(b|O9XTWJF_X6{f7pZ)qQcG|J7fB303parbi=y=S6IduNklnNF%oIU!J zI1v0?ajnm`2{yw+U>Xn`)avBu9G(IOg8{m#tcm3XV@2^$yZfvm~-!d97d(|XZ~nO#WL!Y`FM-nBVwOs zA~iuAk!2vmvj%?rtRWYc<0PV6&gz&!Fi6{))3cv{mM<};O1m2V!k4q4|0JdFU@5q8 zWw@v5!fQFfE=#d7GtQy?bI}MHPBQ(#wM&5iz`Pav9wrFvZTiy!Uv|6k)K^M)HtfqF z5|(v+TswdZE!2IKmSR~3VHfe1TU2kLq}NQU0!bxkfV?Ga3hq`Gn=H*yTILc|9TZ9@ zHf-yc4>$9znn3vEkEmL{l)I5-9ZKhE(~I`&j7o``R~ofWoCW}QM=QxG9Aq&7kDYB& z;QVVm(^Nfz-|bQqBZ?sZJ5-xlsHm9vEsVxUnU|&08HtyNhjYcTiWZ(cD5;M<=iMz6 zn&_HccRS5E_n@dm)nVdWx?4js9o}yrflztIF(N-B9pHm66uO5i$CYW)@3U#;p7+he z{7`ElruzSrh`;{7ka&u|s_-0e*L>a#f)bujLUATNmm`}{FJ)qozQMuet>RvosY-Tc zT`5DxdX5k0OzwY*$NxUpgctz7)Z_NYOHnsHkM|l(B=>#4dO3}k=iVD0@haIrY5)32 zj>zI12dt1 zcOr&rSW}`|*G#Y^X2mOy8AAS$iKq+dzGM!j@=5v;(^a}7;lmztP~Im+xLXpaHVt)& zQqLr;E&x`c%gaG>!ysqTM6XJsx1s1B|JNee(R16n_i{`l0v-u#;#G^g`jZt_(T9Bd z&k%?{qcAf12>C zFl_3jN=H7q;qBDq?cAAcJ?5rd?2pv%rGG$yn?m(jxe>7O%KcNsPu1K|dp%OCNlw_; z<`UE*prIgX?LhWVmuVIa#b^n{^c@KGQfW}EF79XD^?zGzvI3?v9 z)h~p%D~e2w$a%PAHfJ2!_g3nAHg1=dnmllUau+;;Kokg-3kO+s{$?HX#raSO8NcRY ztIbS03(Nbm-*F8T+54__(MKT4w$szx6av%6@i;!E_*qAIB=s$y>`362&3$1Fnd>B5 zz|mcqT|t1o?T@f?GpZ9Up_mvC{*m34Sh&+GqBrYqt#rr7U4o2=cG%x51s*G$^4WqA zpwc~8pFHKsbFQvK{yF|R8gB0FzXnbS`%~_zO~kR1NP;mknXfA-G$Og3ML)Ypp%rS7fB+>dTg=2y(+f>!YrDoIU5D64K^c@zHfj&ic>6x*muy zS2q~$QK;atzf>wJ^^K4YFiChuzbFVW<>qL$4J@2zW*58{TZ`G=$|sk=7HzcITa`VK zRg2XQIVCw`sU?onXv%FrWg=%hEl=@P*NyFTReaPXQ^}k!{2WhGSJj8|9rHZP1Tq(_ zTt5yi4xRn&mFANh_lc4&L4}qeW-OoV>A_^T|4dWClIgb2tcj7Svv2D}jVu^QW4Exd z0NvGkTHG3GcBS|mu@UA7H?1og{gA)$oRk_=n6@f!h~1h-9M|y}ws+7U4k%i{6yR-y zujww}y-=3THU1h5h^=Fb^Ru2tuFubPRM>-}zA?Z!2`$Q&87UG=gq_i^r{P|Mkhf;A zQ4zIH%;Jzp`_N0HSa(fH0~{!IH*Wi6I~8aIEk#MGT5O26d`dy;M7&4Cw))ci`#b_&rcmI`(yl0W#p=)6&l+wvx}D*s zG}(dN6$ta1!uW9RVD}%o^%Q7^rvb)+yJfN|*C`zfN3p_!M`n5@SxC&ELjB(==)Obi$}XuA-u}qf}@e zIl5Ms$=?%!vR0OoV09N_CH~}hN!y>f)NtK*BDHZ|r@*&W4#~|*r2l|82lO~ye>F%p zpw=~9a5&A@)Q(QK5j$x>*^*XPoi*6e!fnJh{LTF}d#oP7xyQe>JPe z2|C(_Q2l$91*A_MQfRt;jzruXcc1&5OCD3ObF00KO(tTssmD!SYIV0VU71zhe4kXL zimpzZ)1Fsx;UbJMB}gWhy1dsuJ!zWQPKn~JEbjkS`NOcv(%`s?2B1}B#R|4dYxuu? zX8od_3QWix@gpB=9tnk0@9^+)q%!!&59ygqJ(pDeE%$f>dz(*|`hD9&fvf~-Q#YaP z{tflQf~hh=iCju=K~Qrhe(xO9bNyzYCY7qF%o3lhDZ$U?97WZHgX+kqVP3@-OrEOW z!mD0Wq8dq_r*SK@3))^pIuwY8BZRTHAuf)>C37d4lv;~vfAT<~0(SwmJ-ht7sJ20K zL6^*sCYLwoJrXg`{)2RUKd%$Pq<*RM`CKvcC%!6vET&o!-hn-2#X|Tkbcvk5g=iHm=o+SK-c6=7OQGslHw$Si1RL2GU(7KNhZh4g;%GaE41>*t<4D|;1{+UM;vk9_2UhO z30A%dGn(_>*Zd~9qo^Nnb|#XwRJca-rG81armQ+Y6F0R8z%!vg5Az(Q&>%#+crcEY zq$SHgoggxQ#Z|zJ`*!i9?ZzS@r9rLawOXEdq&(drG3ypqo>_J09f6?20C diff --git a/assets/swe_bench.svg b/assets/swe_bench.svg index 149381f98..e27939dec 100644 --- a/assets/swe_bench.svg +++ b/assets/swe_bench.svg @@ -6,7 +6,7 @@ - 2024-06-01T16:00:26.751322 + 2024-06-02T09:28:07.920943 image/svg+xml @@ -41,12 +41,12 @@ z - - + @@ -412,7 +412,7 @@ z - + @@ -583,7 +583,7 @@ z - + @@ -699,7 +699,7 @@ z - + @@ -894,7 +894,7 @@ z - + @@ -926,7 +926,7 @@ z - + @@ -1157,7 +1157,7 @@ z - + @@ -1339,16 +1339,16 @@ z +" clip-path="url(#p29664ad139)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/> - - + @@ -1394,11 +1394,11 @@ z +" clip-path="url(#p29664ad139)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/> - + @@ -1467,11 +1467,11 @@ z +" clip-path="url(#p29664ad139)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/> - + @@ -1487,11 +1487,11 @@ L 690 242.845658 +" clip-path="url(#p29664ad139)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/> - + @@ -1523,16 +1523,16 @@ z +" clip-path="url(#p29664ad139)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/> - + - + +" clip-path="url(#p29664ad139)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/> - + - + @@ -1578,16 +1578,16 @@ L 690 145.618145 +" clip-path="url(#p29664ad139)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/> - + - + @@ -1599,16 +1599,16 @@ L 690 113.208974 +" clip-path="url(#p29664ad139)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/> - + - + @@ -1617,38 +1617,60 @@ L 690 80.799802 - - + + - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + @@ -1780,7 +1790,7 @@ L 170.425134 307.664 L 170.425134 171.545481 L 104.863636 171.545481 z -" clip-path="url(#pb8819c8324)" style="fill: #b3d1e6; opacity: 0.3"/> +" clip-path="url(#p29664ad139)" style="fill: #b3d1e6; opacity: 0.3"/> +" clip-path="url(#p29664ad139)" style="fill: #b3d1e6; opacity: 0.3"/> +" clip-path="url(#p29664ad139)" style="fill: #b3d1e6; opacity: 0.3"/> +" clip-path="url(#p29664ad139)" style="fill: #b3d1e6; opacity: 0.3"/> +" clip-path="url(#p29664ad139)" style="fill: #b3d1e6; opacity: 0.3"/> +" clip-path="url(#p29664ad139)" style="fill: #1a75c2; opacity: 0.9"/> +" clip-path="url(#p29664ad139)" style="fill: #1a75c2; opacity: 0.9"/> @@ -2290,7 +2300,7 @@ z - + @@ -2369,6 +2379,30 @@ Q 3319 0 2413 0 L 472 0 L 472 4591 z +" transform="scale(0.015625)"/> + + diff --git a/assets/swe_bench_lite.jpg b/assets/swe_bench_lite.jpg index 23032d3b8702884d9e4c9d762b59412320497387..5d1e047f06123a18d7ad428b19d6e4e1caa943a6 100644 GIT binary patch delta 23256 zcmeFZWmp{Dwl3O8LIeo}2o6DlLvXhcJOpC&$6=nKEO{koMZ#9ywzT#J*EL@)w!EuRuko1Zr)+aJ0dYK-+s@TX>k$i$DwDTX7HWR<`n}m^V zTDAU0gt4qBAjqC~nH{t^2XFEElK8EW+8St*!{Ch6Cm2DcCof$yk?5Xbic zWDc8Gle8$jC@&h8mEh|kf31h1tD04|+1BHKV3}sQ)Y;meM}f zN*I1fMt9wXC!^ZWLt@YFsqv*{vC&R*q&T7?%@VEEEh_pZ+r`0p{Im%3B!W{$D@Le0 z^SK;Z?j#Cy=)^`(Q0&F0;>XWwti(LffpO`LKsOub=b!kLHNG7Zr?okA0QumXk?X?5 zpfb&YB{!BI1}bwiRW;bsraMYJ19}W(vnpvCOh1G$R>&4x2r_^{*2WP%9mST;B-qF@{`yo#s8I%Dc9r zRe}elnz%VwGP9Nl_lpeckI(l?`+OBx9~t4I`TjY>5(l=e?fBrmO*!>xaLYJpSH>rE6tD;!oGJqE>Duw!AHKL4AI%F#Q(AFn2 zB+5S7LPUjKw`JdRk~F$Q!2OIg;3`HkKqbZ`x)frjzgHCHe#$h z`#7&?4)J+DMZ1wb^JlyDadEk^sSJTERafz7oY}2Ti(>MSt)%>Ly92!_n{RmrOsG%5 zf=ZlOpi-4_bW|ZmbUgF~N;5}cgQ)g%?ul38z!PyFRQj@<&kEd&0g@bk2F22(O*eXy zv3V~Fv$f~j>($*`c5gR@q!z5uq(>p(#Rd&#%8-R}w(km(YSWR$K(hWpc>R>S+?yb~ z*z2fCTdZC=S%@e3sb42032+JX0;7pd4`#sJCjXsrDF_&OGcjk?y3jre$zyK827{ zu6doWHM-t`BoppHLn227EFOC?EdX2&@)@$3zxcbaJww_^{-~^y`S#pwphQ9 zJ+LH~B>(my_4NDl54aMVfuAx(+`nNeKtR?o@gh-J*mq*Ed{gPDE!m<;oHEfv0*q!q zG^&VX31?r@;rjt;TATg~oIgHtEE5{Zk+)Ef@k&>I8AaI3>m$xtWpkyKxcOCqP=B@2 zg9Y+^lymjQ#95jG=ACF6dv?Ml<${?5dzlV`0U>i_PcX461tKQk12U7Rp5XEF<>o@EA0Em>d^+tWChYl#xZ$>6g_+s z78WsucdtD^7xt!fW?n~}(OKq&n(_Hli737J>t8b{{XRDn6+6n2f$?*am-L$njy81h z!p=p}Yk7PzS3v7%<@Rh->bFdYozuM;N-K-ZM5>|XcRy|^L-yV!N=48wdpzAQsG;%A zgd)!P>j?pUk^N6DKCQ*hSJ=;1=QwOCWOTB0{Z?J=>(|P6V6bYz3i+0Lj>PMjP`Z4& zOxnx#%S0P~g_H0TPS{}Y3KRfvET3%G*#tI*_f_H;FtO|Qey&pM=PuF5(mil5^lVSh z8z`AJ*Vf&%qWWQLTI=2tE9&Z3;7*;Y{kg3PezQ1m^|0eQoTb*r&S^;iuX>bbcm{c*Mz=_YP!^IaZjVuTLta1Pt%nD(~)GSLpBQw_g!T@WxLlKmYZN{+Xg(kFgqC4Bai|^K zCO~A+69a2w7f~f&7biJ|-3$xe6Ej;B!vDD^P-vxvW8SY8-U|shW)g!G(1)~xe|q9h zv>(cIQ?c2s1K`T)eBE8zgTjeKlazFt%6P?#a4WjRr#0cl{A5@n;W`<9>`+#WO`?Wv zq1~7+_V5e|Q^}5W21(1g)SRhJ*9=(uEX7BXU9r*2RF#uLRYg>KD|9#InF8NSH8nTt zZ-M=2r7OoL1vuwcl1VB=VR6{d@rA2HdrfB=Cx0I}vUX*~^gCoEK+0kLv4wB{lY!C; zqgSu?ItV*>`y8GT(E3K~>6%6+o2hx{eMM~;o9q0To9U-??dj%Jo(a)SZIZ=j5 z3<@Vjymrn#^e5*~QZjjcpt5t<1)Wk2=1Fh2(6Onf9%v&d`~pr=-b^XQS^5>2jq+P~ zfr;hWGq`8x&1lF1cFNd#_BN(oLa0dJ=ncUNj?-Z(Di6{$?gTho5T z5zmBMB7f%1isP5TQML6YE3_xIJn|oh8?o$2RFG$j`@2Sfea&p6`(=@knBN@5f z`7de2LHueq>_gA%hv(+SYlc@!(I?KFC|#pjVnOs-kA6Ns!$s-$puQ@Dz?Qgl)Pt4AmAA!GmAww`6~S9cRjnUA0pFHjfK$CE zv~t9Rs=#LVdiGOzv8k=snQ)N-e)Big;2~9NfE_ZIY~@2!G1Jxv$$t9U4IA1a-n)*$MR_K*Us;L@Er^ zv9hu+?cF(~!fF2O(l4{UsX>>9?#24pJke#L9y+odVbVW7(^nxfi@M;8m+NAKv051? zI8uE6o>TTs{5p4JnHSvB&=WN*s!G`abJ|5Y!Vdh?Z{B3lTYVLXX^RaF^5Lko#MFo=@9ui;({Ipmsxx~;0=3VM_D^t+R?FaxXpU|$NxzP?L3yD`udC|^*)bBcW7T(ovf89pvz=-O7_i~GDOld~RC3tA zoWn*6wD90u=x7%_rh$=fG4a&$mV@2m>HM^w#dvhlqc!r%59@ZX0bR1W%p7x+>|rji zaHXuL=ALoi3epPoJ$SuOiK&e*mMTr}Kq|CXxfdEw7a8e{;Syux;aPK=+HB>jiNs&Y zkeJ)AgH(MTpHWotbpk6(b)@1gr*830Fr2UUzHRAix1Kxx8+i(Yd z!Iz;`+A}~K_8}MIG`fGVnOZ}z7n9Q;QUrj;8N{=D5=X}Z~AVZ%kwy%=g%DVks z=Nrfb1(_dq$GRR*-1peXrAnnmA=Twuz0?aecBS}2OGk?oq*8OUCvt-72TUEeT6;=y z*Y~XehGB9nmh9ZBWR~=t*#y-NHwWA#Rx}ry2+aMTm0XSNdg4F$Evo$nXzFxkJgC4F zYJ?~UFVe@MI^?)8m_?#!j8$%J_&gi?O@iu51(qqXM z?n{Xpo5qGsfjiJV=VY|FQUzFUU!hc7I!ixjUj|>vznka0tF?f`~ieJm?_3v0!dLrN~HH zEy*U+zEq3i54DT?{>8&;Qxr1;_}j0FD0w*-R-00Y4$v0;ckN3h#ApzIvDj_4Wh6p< z+Xvt-eGzTtNr#z~P_r+ovp43yC5V~Gh>Y`$j+n=A9T7*Y{hH0(^sfT`^Z9dtsymRT zZ>#|V=f=S}*~tVv2T$+Sy8cy!sky}O03+YlSgbly{{#)8j+GJF@;?-A{cp>&Pxv1|E{~ZD7`g3CLji=llD2?bK@l424hNwu3B4r0xcZFf z!rS`|&mk0ES{lu)O2;aKzn+!UuX|`Ypz6bJP$M#DutxV=F|K7b(1-rjTO&Uj1PXo% zAoHz9jL+$O`bMqv+|77Ow2P~KdYiwv60UFqHA`={uix3t`t&|g^T@Bm0VP#TCxtaa z#+$sbNNfI7gO|+j{cS?A>F%+G(U92$bIZoC1su|lMb5(K6-1RIIb-%AK$IAmCMu3Q z!`B#W^Kp*rbF!f(uYdL^>%MZXfaZH=xlX=aokX8&qLfrSAM5G#WR&#%fXS-~(#6hW zV%BGZ{J8lpC{q>nML}XVLArEC?ik;eOM0})u`s=9h*>Ye4s5|U1231!As`o3@DR2T z@Ov%k&K0>_`?ZP~@zZ7GMIlf;=r0Xf`nOrz1I604zYMxrapn$GNUoijj&K0#!j*B$ zUU=piq2^! zP$VK7l=IsRzX*M>MX&>m9IqOG^8!VBze$4eR-vDvbU74%QSz6c+qq?L@~gDrtz}Yu5G<^b45|OR zT$_fzY*@VII*==trS0z8Zp%U)@!CVrEAYX~hnrwMz3?wYE@Akt`Q;B3DOpQzpQ~~Z{MHXl6AU%j-?UJW924A19ZVghlsG`lv2|w)K4-ZF*`zv`$FK`G znxokM$Gi_UP~db2Dz>auUB3hAjw#I~SW8LZs^Q=&Nr3*^WY8{G3uE76o%CohnA9pw z{sGD=syrfF9pf=Gc193fC3R6H30%-$n_8#HC`6?&3dsMxkRi}#9@9UePvu^^j8M>D z8-tbIN${rP=x^u~T*};|sw81*u2FZ3)m}LExn$wmvQc|7xCSAo^{*QKI{sI*#2}!1 z2l~u;B~VDm%EBeGQ(Lq$e{W5yQ@WWzNbI=Szh<8JEAt66@|99pSC-De^SbV5YDP8T zUon5I`O)jrM1HLNWb+;_HFcsVD<&8}Ec)IREi91mN4veuc8XQO!CJCe_6B~{_|uz= z85TJAg7?o3nsOnTVg>0@=jlc{J-97%I@Gx-W_WBZEJ_h8359TF`G~U0mt2BL|4H>c zaR+f1byVhwW=~Ah^7$Z|61a(&90+sG7Y^V;gEdXwSXzjTRS%94WfjZ0GWitVM2<&7 zfwIdnPx`4xJ7uROry|FovmHiKLZiaU^UWp?RuEe)=cqL$<4UZ+mS4Fp<@CiB$5i zXwAL0q=Q@(K~iFYskJFI)_=}lgx-Os$!}5`F`*G1Lkl9a%SYFf8nM?1rxhJBf7|%m z0iDPmHhlsP*`^V#deFmd90NKM0L{{2-U>-U`{4 z&oqck^Rq6PeR8FD%6jd~sfx!5cN{`NYb$W_(5%WPmBm?Z&EvBvPMtGriu;|qhcBJl zT!o3_4gt)`KEMrcwl{j;A_K&TEJN^v6bU8Q^2c|DCmXP_o4us07wKe7xws~SZ=Q7~ zXxQ;>Wf|XrAUeLd!?{D=Y{t1Wr520gO=uK2ZDr?XTWwW4#WM(R{tid;J)t}6l8ZUqL!+CkR5o_ zb>9O!Ac`%fNJAuoLkEam*9O7Af5_0;jCOa0sRp=`77sqH{S0``)rT`!U4^p~x(KL3 z8*Jv@(=Glybm%;7zBWhR{SUzY-`o|-dxZO&7gx1BPTiW`ungCgiBeUtL5;_r5yY+> z^2d4QR~|5dme(gI!461vkvP4E%Z9@1V&5A^{Ww8&!yWU-tH$5PH3B7}8cGh?$jXK4Fe6n7RqKNyo33y`W^PK+BsR!DDjBVxv}~%rZwVp!=c74-$Cff(z;h<&!0( zlA@cADi5eU?mQMuH0jHR?&zzHHK=ra+lfU%zrm1~0CDpU)1i;^4k_Ups!4*#ekNDk z8LT6LOCwRiW7s5MrnfkN1g^@zd557kw?#LWmVbNqu^h*n|9Ak${DIrr{0;}X|8ubd z@XP)DH-d%#saS#JKg;!kgXo$6XCj1ON#_c3RZ3*=lY|EdW=l}LYIx@D;`2|B>&X`t z*%elm)ipj1^9eE*O0nxTuxrc4Fee6m%~!_!;m+*uAo?)N9V|bg7uT{IY>7526m~$5 zmP7Pf5qLE6x4exm?Z*+MJ_yE(H)4r@ zc{F!n9OoI4isy&o%|6)>6Me1e!0;hup1z|IWUcfDb_Y5dInK1Y0}Ut)`;kj<{5c9o ztdl|_vLLNLeyEzVDQ>=D$4iYFa&re7E~f5u!JYkm82*Re0%I4jpx8@GD9lyN;ZA$+B zRFww5(Ii96Mf4hp^Ou`ZBfz^}y|@F(RzvSV>$#hM1zvyD&$Cs#E;~9q&Z;J!^#50r zsf+$?G7{lhw9D860i7#^P@NA3T?TW$Uw(NaA>6({8gl>E>oJ4O@3hwI&^cr8n*qx| znrRb)*);hSF#m9|8nF5K8wMQ{;N|sABb^uWO#MIIw%)L66Kk~>n4#B%K$3? zI4;zAaz-k_^XoA4*GJBCaEBHdxJZkL8$~wMbm9(_lA29yaO>$Cn~*N`&yH)or0@>( zlP`bu4zxO~KfgnC&<&o~XOd0!W<>{}_LB$_WcudvnEB7O{3YTw-u~wh*E8aeEDy8R zG^vo?!>K#aYyJ6M@Cp4(=?|&r(#O5z7ha!#W2vOy>SSSAF`UzE3IA&)%?gAQSZB!h zS&wjSfQ!vb6+KO)_|BOI;~7QNO7Nlx#s9wq{edh0A6SCWfq#eB{*PT9BKGQfM3>?B z*T$>^6pA2lAp*Op`$DcOF#rP`)^eNwVEu<``>Arg~Ep9akZ&FCB8t<^v*Nt zB1?Zy1&4S|+j#1UX^$w6ES54|h_^6*?xH7e3&!!|m|o>QOT(~a5JHqt4Jh4#yn&OA zDc0)~^0N*Eto8$=TMz&nNW(y(U3vkRbq75vp_IrDaI(c(&U1}O$#qzQ%b0b8LX&pF z5l*KG4ioO2KSBi7q`AF;-JRz7-~aYC^Y8t9QI6$A3@N$Jmp-?VmLeWEnXcn)bsp|P zT2A}7B?M=XzfWwwCib@p!1eE+f;mm`lw$ti9b|E8V`Qash{*e=~yls3v-oK;S({%?j{kVgn>;G>RELeMe2!@*w(#1kF>4ojYZeaZfH$B@a zBqLnLS70wIyyh_PX`Vc5v#@1OCyG^*ZiEU<0>r=Jw3baW!OQsQ+djE}$dhxUXTJ5a>9^)m&YPj;0N{;=W4sXSM6#@#g? z)*gC3H+hKb?)jqn_klxT3lmDx-{1?1HAQ^u1uR1;+ZgDS=ziRRjKFS0>My_;76c@+ z41Y>GRFX8P!8``17Jq*bg=??DY^GG)eeiod8@?o?Cx%zcCRWTp!mjI2>8;Janc@Dv zItDeUQQAeL)R~3v-yc~58sl?t+IxHj%iq9W>W}owm1_6?*G-ATHpp+vB&7avt;7f} zCMEOs{0_7|8YlH9(aDM$W6T~Qgr9IKiRhd^-&OX+8P5WD8?g}`_vDVUo_tohYTDU` zR$)x^_Oi*P+MRsufP(Ric>$Ax|G*;C%H#gI>aX!|udl>97aC_RC1^v8r*GeaMxN}L zdQenZa&g^ojc}Ns@?xxy94576v%c|@=}CA-UNbT?-U6&5Tz8-)^E*(WNj5OBy1v$Q zEw4bu3se+JU;G!tNWw%a3V#i9yWIEZY$W>0n9j9QzqbpiidXAMVwXs*pZ0Z_$IAxu znA3o{&0ioI9zgHSduh>IRNLu|*hm&EttTTY7r4Z_BBTUQ)vDBhl6f z=X{AB;_X&0l#3Hc;gRqJ{*%j=q7qEq*}9dASJKbC13l`Iy#uB84Dz`??58)sfl+WI4AJ4e7I@-@aV|k_C z%$xWU*+LB~d&kPKbbP`0_{*v-Pm# z+_v4LcEUz!MRv>Cf8tIx6XQSaa$X%7l0tV+mhwEFmk0N<1q@bGpx;>8)@)YZc*(-= zXXkGq;%+<7ZnNq*`53Cab`*SL4zjx*oLz30@+R0zD5S=?~1(G%aP>bh-Ru_2FJ7A0*8KG_v%Q%AlXrblj}7p0Xz4?|P(cWCj= z$?saW;TNJjQn?aZ2Bu-NN#f9F?82hm*E11Py6S?g&jMVMO<{t}6&9a7K)ZD`lTxFL z@}^td7&+JEWv^-zWhj#m?d1ga){jsQ(lASIaW+LZwBTrn7J8Em?A{AIaWlj6-Y^M>q8fD7purruOc$xMUlvxgIed>{fnwxeJe&w z9zY~B6^~%bc|RjnYXPSSu|;A~YDi9#|B`@TX7FTEY{;G%)nOXuVG@Z2t`&)SUI=nQ z-Vcy7NaJDlz|xJ%&(dwV!e){TDoPzd& z618ysrc7P^7ZrFVV5a+v=o`2zS6W9yIDC=!rWpS7h5NwN*9GwsMr6`nb!XVe!W$HDRP+*=+N|z*Td76v4 zBg{F^Texn8{+ucjXNAf^=h>>A8 z1i4qHgOI}OWcPJl<41sqczadGZ^ z%$o4>yOpqqi5)6!V0CI`xTeL&vq^GyyBs!A(!hx@h)q+4n)9qIqP`DHnBd(ft)B~I zl6y5m6>o#vl;s5-$T6+T_TSadO}#2sP%^|W;>yytdFE(+q!c6Q z^+n3G7y(8S2Jh)|v{wt{KdWBAG1@a1BC!mbotT`u0K0q5;oWf*Q9qW;+8y>q$pX}v zPZ;GOuMXP@t97S#jz%nqdBRGl->rD6(}vm>GoKh>Qgiem(&?ztO5MS_WSIP+KS!9s zvhd)~Cn#<{bR!v|Hj#Xkx<7lx??7JUEt{fb!GJ2%=2eUQh-uB}N;tCv^enu&;+l6q zRd!{k5~8DWuw@nF9-#PHDTTbUgG3q0Hi0%qlC2E_HrKsP$G1Egg?^ z^d+FHEsrr=sM8tv9^IWmitm~+rtzzsN5;98SR?m1&dI#P;Mi;ccm~&`E|D*U|VvZa20oHCNWAIVsbISwxH7YalC}>EmTZ5qx*?H zK@C)YV_4^u2-EMkM0&{vFWyW$FRMLj2%mm~NIpzDbdh{h5BCVFWD=CgbC2=Zhh%v124?%kn5Y9s zPxeg-g(mL}$ ztym*xPzJ40{WL>b^UjR~djO(eT|Zu#if?ggnwg)Iem@hPbC?3y=mV$t+|wJ{=Tg8u7g1;mP`vG{iz7%G}+E@ z(dzyusU#<41I1O1_jmQOf9K@zIxIzSDup<-hnM21qeXriwREN}{)$WKq{ct`Jq+>Dec8fU%)v4dM+f}c@kpPH$GbB;=;opuL zQqLcxVL6SRNLTtW*t{~&iQ^Ted9K*+D7t_nWIlAF3576_zIu=o%2#bjt62Q9%>$Gw zy9g{kPq|uHnJCrm!rLvU#-g@W3t-IamlDiJgXdv|x{xw1lBN1q0DCt0iuX<>aDxu_1!~1vH5XPwPv*I&DC5?dItCM}5lLgY}=J z3|@kd6J{5ss04)FXv*euw?)aaCESVKi!Wg?#vVIdORy#3eL29x_-3Gn&{^bX(13q49mL4Pb)Uj@#7!KHw+ z=}UI?N*q9DZ)}ZdR(nkH9=uU2a=-xE^X6LW6KGS?6$(`#{NU%DENbgX_Ha4iLOB&z zI}$e%>n84Km)flVup{=2=VoU;my~}ZWy8%?pZGkN84})#V-bG`suxH95bNfc87X<; z8w5>KL7<$#$vAS`+AC~>^RpwJo;y&aqwk)>1ds{=c}h49ofp1|Yztou+0B(JmBUw6 z!k6{exO_FsFrbktUs29_n-(Q4`ADXjkUHh&p6XC~WA*uP>DDvK zwN(_xH_vPjC@y43BWBFz{Dgc%;o(4gyxT2ZLuI^1!|?I61sU}fk;!C!``ZVCho10F zZG%*-YdtTgB|c88&zp#)1ut>VV*&>`6VV%XAd`lrlF$tK&cZApM` z{f1|MY=Qpl#xrh7;wiyRh@F~$QE(w6tKcQJo`jiI;%rIqaV^*5W-7_B0-TqR*=Ru^ zX~dQ=KMu~_$I9{g@^(6PRWWM>VTxjwAEgL{-s;52tA9TToA4Ecj*puMhJK7Omk~%& zMaTAQ=k46z)+0;E6DzccJ3DRtY9f3`?U&9aXKsPr@2oMUH zR)7*qe}_GPCIGlUr_S-I=x6ZE_sG}Ql()j@ou;k>cYm~@b@H_5MdY|#s!D zuO=nPHZ$FYT3E-Yn3=!#pc#)wW%NXjnW$~wZtc)!&~Ko!>LD))NI@I4Ryipsv*=~F z)5*DU;ziJP#aZZBCLQwDwbT|L4JGgbchIL!sZcQF9h^^_=HBZHKOIefoYMN-3&EG;7KmJ@0HmNd0>y%|4_Tic|e zhx49cBhT~KmQz=qk}_m-W1joXN1D?c;7Oh7Eu77$uO?MBKOsM>l^=GZa!U`CtdDJK zTk{LY+vQGIhNC|$d-D;WY96H44O*?V5m5qb>1>CSbx1=)*$V+wE0UPb_3*Y)?=v@^8)<*4;P^>}o6JVq!}L$Gr)$vM$bVwUJazBsQ{ZMs>zU!%iL+k*F02n7LKqO9 zvYzZPsVoM+Oqm-$M+e!+5yJ^z`#qgMg+T>dGHxshPNbhDJ&t(k)Nkpd(WYqOi70m!e>-Z&l8EF`HB96EVyR*E!whS%BQubb<8wiEpuFJz+3(ZfTO~CY^MVaqM0B!0Zb^V3= zi;luj?({_u%G;ir!R%1j{u^;z#+S?_(b4`T5k5yJ#fgaLQB*1Pc3bze#zan~2lJ9S z1hOmcVNoAsq!S~(RG@Y4)ygklnJAf@r-ebE(2#E;#qpy^=DFy_TXuVSS6oFjV!MUu z8bQ`9ZJHT2%Q{^M(^EQDfRN@BgCkNiDvCC@D;Z_&=tAAtKE%*}p2nu~aM8qwEuMK4 zOLoIN4Y^=T!G$cr@$}`zgc0|laVMd-L)S7yJHwAJ9Hkkiml9}!nVCJMtN(FU5G)$Q z=G4{m#L3^`T%EZi2x`vB`gEfzP7K2GLaXwooC3|^UKFygBHKJEu-LHswl0r^Y;05y&8nE^^_m7Jb9s^?$%k~2VK$E4fGM+kQyAk2RyZiPyFcl z1RC7SU6g&Xa6rv}FD3DH4`;LtryHBU zA(LkLO4!qSl0!EAa0!qT5wRuyfzBrF&jI7y0)pP4Lt5BNkLPb?XfM|CHly4#TM{jX zAe?!286l<61|9}Kdg|~kkIn(hO&1KKdHIIYsstLd@9|w>KpHAa*b#VSGjT8tlg1md znagDHvnHs9TjRUWOuFB8Oh*hmyF&*Tq-e9+&6nX|cjw7|b%jUoeho%a)V+mo-%@2a z=+Yk8?q)PrB#yhxq7PNt3aN$>trQu;rGkqv!DK0Q*+rJhur1;*p|9UI$F{QzH403a zNr3EANQa^4z_k*_S;(TrijFv5cW;AYa1J?gx97cOd>n zVqRpH#z9J)MhR zBz1EiHpO*|y>qnp%1^`e?OEKbHp$pdl+~MrLQh+e*oD<%o9}(sXRqz&=)|ia|B$l0 zxY`uVnj3EW&NTYPXQqOysShj2lEi3RR=n5pO+np^S0#`1Bn)4$+0)L{2#NS%jaRWW zm^m>6;jw$c>AIFxXLP;2k)^F-?c>A>Lgpx`@jt#Z*BvYl?YZ8tNq9T#vpT#MW;IOTO>zC*(Y_^axyZ{-OOKc}At2q)`lQiI zq&)?^?sKUnv}+pehH>&Kz~pejqB`Mh9X*o(hS+MRh^AwR0^1y~+7ok6e{IzG5CCB^ zwEcxh)c3GB*wR6eu$Dx*pX8yVJogfL4HHFGW7xof3v?aY^?BD)(9fziJW?aJE>>Tt zUj_trZu=wAlGU_n4-1;Oc@<7?) zlD4*`bnG`td_~|&0VGdSM2;7?ERt$ozYaj)Osxybmo(v|pKT9aNib^K_kB}i#hl;pJ%_g=$nq7gu6v3ODL0n0 z;O00|@PP;}qM-wLKix}oN1nE8%LipUM@>zkc(5!;TkuQPfDZY%X20h1dgz&nPgvnjzOa^_2UzHd>%I;H|Q;4XTmTeo>MqJV^9wA{*{IFrTRfXsK0X=rV?cR^LV`9Y?TI&rrtfOU_RWjS$AdKujL zB@NAjW)w3#Ksj=j3hdBiL~J39RBD;%jLbsqVZI_ z;rB8ko;uy$$PYRR5xcNU!Ub!hc{pqodDyym_Y@%fNo02*X79f5ruTOnIp%S<{=uR$ z#+-u@I7DsW#^rY{#`uK5aya{$#zEz&>l2R&3~KBA1{TqG3e+D474Pr%Rr16E!#Xps z%UdX8ogJbiJR+i($gC&FZ9+>cdIgOf~EuBKA_t#uG^tA?A6{f1g^;((nN`lnK z%?PyC8^dEbwqC8IW}6Nycvx3Lo)^VE-k#-`iqqWVl}qK=k8le3(JcH0bcKbjV6pU= zl;7aV}50F`}2Hl-r-JYsFWrLHxxAwy@DQcGE#;aM-r7hVvi zBPiD*(Kp+vXnIyYebRh93R#;ATaKw$ikv<23zl)}ri#JA_jI47Kr7ABP3_4f4aXTNr;9LUb{QdD3PV>4x}3RXi5}G zm|(k4!g9rx6iJUe&1ByiKwy2%~z`C&az@VJ?ePxyt9oQ!xcQxEEvlNrBL@ zClC1(L7!U_-{z)mSb5kiF)M2vW$1k1oI-#6;Y$boz&lSI`nvrP!_>BTPrcI;uN=)O z$yE3XA~vVOm?_Vv07;RUro-RpKTnk||E$tD5-K!G|41u{*>N@K;Q+{(7NybI?eayw zO^JMwxe5$mnoufod#M*RdF8Ht&jS^c4kfu_Vvl<0TEW6DZ&t6_!gNGyt~;D0lfm&J z1&-K;1uL_Ql>&;fZ(QT}EiwHjp_Wg6drkur^*6YDua9j%`=%F&2K9=@o-ap73 z1gV1(I96O@BTUyu6Y*{0Fq!;5O@i@{BLzNNArbz-+urHT-_IFypzTrADG{oe{)8wwSAHvMkr! z9N{TH6MT=dy(vmKd{fby!Z=z9&zqgxytHi3(w13mDCeDxnYBkFD7uI!HiAD3rW!5I zP8mk6Ew97DOF~Ny>j^t#+fSTo7y`Jg&kU>Blmg#rL^*WGLenm?0I(#0z=vWjI;9Nr$ z?a!tK3l6aDNbh3KSV#h^X*prkuv~pyyA|4Ua^po$}o{@XI zB@wb7=psN2k+F4oyj<@TrwJIX7^*tH3iIU}hP4jD#GgLV!d6|*5p4s>{jJmqjb<_R zg4A2@4y0#u2RcSkI`4hpatC^>*VfkAg#F%yt$LpP4Z!cXaZ5eYAW^tQWOgdo;tQ{0 zc^}2Ts|!3@t}W!&#>{ppZYi=l;~ti?EUKy+FPKv`sbP|Hd<)Q_#8kp*a;kA*LD@@s z8VboPb`{fFZM5-^Py%P651eL>G=duQ<%z}5NZ{HI~NE5rid&t{oS>vACyt_y?&vN;)1~X|L+rq$s2<%RR{9Qqn{SriRh#J# zBNPnr5Kzr~MdIAm=jw}paMKRXp6Mu%!|U6fj;o1&$k2kM<|xYh<9N?9yf}Ethq85( zUq2m@Xf?|>L_f+*SX6cj!-@?VKpnhqo%rptSNK6wtvmqkas4S4=KTYYmb4;lY*v_f z;F+GK2H0}qR6R;h2wKUleBn*2VH_bN6mC9y?zkl*D6~48(4NGTz*)`mCg!?kKpdQ^ z{lQttO|t2`&HZHsD}k=?7I9B5sq zW~MAHpqonBN|X96<5dU;mTYst#31^bh#k5n34sMKz5E+_%mPU}3GYB4bQ^_M?uj|t zQR@>@#AXZm@^X_NO!P@N`p%PKd|(3!1g3x{oS z1a*drj-qGn@*ur~*}%TWk8W;>;bXIXqe}Ik49?6QzEPfTPvp1RjN&Uoq2UdfV&+ST zJ<86V1o<1F5~}lxUsarum1aA>8jHz@N{P*?M#pk*vBg=D)++M%P2nLbb$m}2mxa?1 zMYW)QxM^XLIqZ!_9Uk<{c$wq?UlOk>$OeXj1q|1uVsD@6Q=jX`pGCKjG{KPA9!1qW z@{u`#44kXO{3^H~FHJAzMpy5wu}jVa3Qb|Yc%IvftCcC(3RtlD9vtQl82Ydz3E2O^ z4@N{DIA;DlQtN=GIKX5vKa3TJqMkL@1(n246ovPMYlH0ZV9vpQ(7Uo)6RYq(>ZG@? zVmz_Z+RQiV>`o;=TjY9tcbi(qzDRQ2>+pWRR5FMLK4-j@oevS2t3&+D$I5$xwza< zu%)eTFFEggn3-I&?usQkH=3ziEom3$-4kI&_vTyQvFL?ayEoAD*h0N7dmI=%Ct}K< zo1~#z^&NUxq^?Gxt~o!~%DzxP05%jHILnHgB222L4x8Z1^cE~1Zjf{PU$vZPI2&r? z#-l-c%+p~Uvn_|JRZ$Tulp3i@w000wt=dY9R)bc1q;^heQzJ$YDn^mms)$wE8Yyaz z7!4xUQPnr++yBG=%lqN|@O*!+>v^tc-1qOk%i({vbb_;d15uxNVzUH@2;>wH2zY#! zYXF^i9n6@_OO6z{5I^GU!;4@Ug4aO*i57kB*&fn1$dAZ2;qf1_WW;Up;_V_iZ zjTnL2k0p#o#Fc+tJF|*Ul_WmBqtUII6fXqDtXt0g0&u-Ay2~t|o*5$DRfOU_k{iSa z!H7^A3b08 zQP4>$V>5^$dwu;PaOhZ_lj1S!_^HvgDYQm% zoUAe{1JJHI*F%q>oTnyKzgjX{3+)sVDU1F)gTDoO0T?uNVrJGP{U z`y;F9@T$qy{&y)2$9uZ$;R-;|0mz|otohI2d(mACGhe*P=vJiSjBHk)O&>!u?Az!NE+>He>Z`IHEr>!_FbOGocU%iDLutDh0%+3p z>cgNc(P8r|YTz2P_i;z2mgoRAg{>(@()S(8wg)9aZPuFW_a-$2*Fqc819fI9l1%@Q zevr7U{9v5#8@%M_D;}j-g@@UZ`ql_U3gxKW9;& zbkrxFGY)LnsWiqRK#G{fX1Dnk@P`|tS9V8^l5e`7Kcx+_SAO{(_@rmkL0@M+S<#MC z`;Iaq`tWm5@wE>@J-|@;R1{z)(_$`h>E)=LsmcJ2%V-TwMg@!eQTD!+`5uzQ`>bz%XqEb7niXXJ>;tOBhW@8*{Q&q1V0EH!tGlxD!&mJ}~Z-3IFQ7Mzl-SsO@ zU@%ylg>RZumD#iyCZmpMdrgxhwIz!|d&r|lh1+j8g)zOxtl*!V3t)veR=3>pNrd0o z<=+TkwarUj6YJm25Q4f<^YxUBs71&5WXq=Nc5594ubMh_k(FrE@!GZ#x%iNLEVvqK zpv%`YRwrrT<0c`$pLVqbC6f8$h}jfhylKPhq`U2D#6ckg9-YL}G=;dO3ZVSn;elJTfIG88ifW#77VKc`>Lgcorod~5)*q#tt(1AzjQ(gZ*XlaDK_`d13B9#1 zYua?|80=3Yr9|rA+2K%)>Ni+fNfAv>5rUe=)%ad{rFR2A8B*!}0=v@XpGPtX>G9?l znp4EpTczNBW#cZ=CdSRz#JEED|5`J2k!?Su+swuUJFrBSNu}TVKEN?-KBvylrE=N3 zKt&*sw9Yh=CPwW{!$!4Y?z(Ds;9VRZBObUQz8Zu6Si5YX!}!uvzOwiR*?^Txlu@vS zElN3L9m(d3tJV1{S)?$V>rZ~u;HO?b`b{ZGP>3_}_cl^H1 ze|ZAd@(Up0mUz=#JGIu)=Wp7XuG78epqGm6xfykU=)Wb3^CH5=#`gDW2HT=9F57$T z0+ura5gpUpdODRAg^f7L^HH{XK5+?(3eBnWyy+zeHuj%4!p~wLbj5pT%~ktePDIJG zGYnWLm|94l=ne>X67oI+3EWRMlF14seMPx+1>TDZ6xd$q$HMKLwnHxe*2};;e>9^Z z?ffSvAG%Kod@1u`Yb~Sob9G<}2am6W3`rVE0r%lqP{Zf!@?4cIa$(E@u>7hgZ*_p2 zoxe79yU*Qo1QI&K(zgcXqh`iul>GImYG)%Z_ecr%jAGeCT+=J-l`~(RS87&uGiZqg z?156_+z_M*4*eXLt`5O)+-<4-#3LP_GCzqIABYoHq<-MZC12ctdXoBJ^nHewzv-v9 zSNbg-Qg75!njJ;tGoaS65N)qm2A>a$TzrnbIi?Nb#FX<;{V#5@ zBAPEuV}vKC5QV`Lg)O$pL;LmV)EH$_K`hkD#5m7#%jd7nV9YYSPVWG3`8?@SdE9mZ zqw4I8dY43HLdDL_5@(v!-m2u9p)b#)0uan?`kT4TYjVHM@cd|P|C`^&$CRI5>;?k? zF*Q|EoHb#mrYP| z^OU%~M!1?3rIp)~ubY)QR$Fs{X|J6vsy+N$Exy{K`8#)}EuN%xXQ z-<*`8BkCw&{9Sxj{H^TxLkL2cvTYI^yDv&(?D5=*3^mWlb5)_nr zeWesv9j<`6^#6I*|610;!mG;pE25~7ODOU7`{*P_rr~R?5>r6bM#)^sFgb`Ah?wY8 zs)KIq&;w~+??GYE?h_O`WezcVfv&*Penz*aRGDOl#1I#)*r-Go6P9 z-E|)RJnuS_MZVcor={_cdVv78b#LLCM&$4h?=edoe=Xt0_aPY@LIC+CjrYv4MhRRc zMgdc%Tc7GlcGSwu2jE3@xnEW4U^RZLirG@XTUsc z#B8U4kT7g?^>1sCoX6IT(eUoIHoJz`3+|t3`c3I4SL2ehAL1O2;ImBSE?&{r(?!(+ zDpghXwEUiPsT~xKMGsMbh7xR9dO0E(C6$>{BVbW7;67P1ZnLu>670OCfYT(esg@#D z7sXWaotR7fX}ln7{}Rqre*uIJwBcI=HCA_OS~_3U6~EqxXl921)|sw6IHQ!y9NOsI M|7b`6LBGcT17W-k-v9sr delta 25679 zcmd3OWmp{RvhE-WBtQrjf|Fngnh@M2I0UyrgG&a2JB8bAe`s?bdx8AC6I!cgds*wv_NW=;Ja-EyS1~M=B zTgT!ZZa@ONPor)?_jx?IK4DETL{Q)`B7I8`ufPWm1~#wt26Ejb#}4Zp@n}D~kY0H1 z-y`zOaluE*DDfhZLItRj2`VdMZ=0${-F+ZV{}m_Hhlj!ymTAu83B`_iZH|A}HAXMK zt`jal3aj1;gW56AiL1;-WEh+!^hRBmy@HttE~o1=HDNo<>+Lokvmxo8w07QF9_DaW zJ^mDH3K=ekbF|q+r_rrYRT5ZWkP+%W058`*88kKyUg1kiA{Pvmpmso|aBV6rAD)1S z%VWS@?Iv`4hos{q7qrZ^cJ%LEnqs1z9!}hgdf@jNydK3JrLS#GMG`~}-RfjRN`rcl zi~{3k0(1k1A4$PwWrI^(0``SD%i*t{$(Uvs!7BvF6Gj?JUFy3VRCPD4qogP8Rdl$t__&B?V!(b5IrSdK#>w+2!WdM_cOtefaQP($ z++gOX26Rs<*Pxp)JEs=#mzXU65_2^@V_^Tp`fBjY<|2jt1@WLYzBx}uS>+hpnMtK@ zT8p!__CC*ICVPjXSXQAPT|SgAZC2@$(=T@E`Cljp$QD(b z#foNqm=F;Y5OE2>UDlaIpj z$^r|}&@tHO45q@r-}X32V`HmTUh*d4m@ebMC#Y&;vSJfCud|)K%}wqxA-q8hm0g zh*lQkj(c?X$>+Qyk$9FViXD~%{Bxs*w?J*fHwBcn&%vN4f7uwiu$Eq&dftFE8piTr zwGx=oka8`bdga{vMR_{Idy`cs11G)2Rm09uR~XN}g+I>gGf;Vd0O;!e6z&Bu;-v`-EuImOuAZFK-}3 zi8t5VhINT871?Sv9L?SE1_T?dg6=UiwO})!OOYPFtbo!T<~o9BV0lw5qhQ%sMV=p5vJRU6&X?g@ep5HTJ$dR5jZRzw<<75-YeI7uzCy&IlM3Z`zV?DT3%Gz` zcb5fhY)$j?*s{#=K!=ym&2x8)bvsla*0tyd)EsXK3Uf=NM(ZA!*!xHX3$ltSslEtn zC&f&TS$=kEtu@NFk(Rec?7c^}L=BkhXlt?8<)YLXhT*CiMc8I_D79xFgSPBFwAAJA zOMSNVY27C7*A-=t=6R$use^9tN+kwZO5GsJ3VWg()yW_1 z8wnyy{LwzrI5N&p2Z;#j#ei1nlDxsh0RfvkEI=tuqJm~5@&hIj=LKF@6ZW?OvsB4v zpRj_TCMy9>M`>O1+t;O_^MCpc_}4}MMXm?hb)x=<)XV+tIY~Wk5B2TK zc(L_#ZG_;P8OPqn%%}aa!EB~G)=H}r$^%&!(yr{vh$9h99#8jE?O6YM@X4|;^pIBY z*$e4l)AuRUS7!Uriw2mmF&S_z)}wq~M{@(}$8wf)OK!l$zGq>CeP$omaB;hq6^fDwOLlE8y%B21b@Iu-n z|A2jY^~-(9|2SbZl0PqZE-vfO23Ka9Bk;R7bCJ559ZlHF@e*3Ky#YNJ!W|I92Pyt# zQ|DjsAU;2r6I2?^2x2GW5qFNYu6kV9{PeJcViji3-gR296_R)b5Q+xFWh5PljPUw! zCMFf_3dtu+f-B3DXg?kq)C>6~;bTtpJYlTHRyxFU z%c)J-Ac32gxo3q#8=g`_zdWS?xM?*>K;-c&*~6o=8`y(TNj&46C!f=c>&A9H*>&@D z0JKF__-G6NH^KXG!sC4n4Rdcb__>mgsa!X%ckCM{ftaN8%{V( zyKE^J1mBO>UD2^q8M6X5H?3|!B@iY8q@>9pV$;{joHpK<@Fa4YVJ3Syqv=4?+9A68 zcT^x!oc9SnIJVi^fcu;*3%aw+HrSWbkHbHU2VGWB?%$1+YRm)fOtxdq)P0JMi@h&d z88eK#+{lK`7 zj#(d?r(6*{yG=!U`{=AnP}XhqW%YwZL)LXyoh%=%`D-YpiHQc`4ra7u-(9qNH`S+Q z9!mT?2VnnWbQohkF~Lx6luy>=Tdgd^VWf6x(3aUJ($E1}aVXBKOMsx;d2~@k%Th+p zX4RY4c2`Fv^I7%c$7U`;&PdWbURaP;Y({Ht9f za8ewnqH`1ccw)z_YX9Nw_fNj6>C0R3sJoe4-U>@sD<24)3le#J@2h&ewmGao{x|~5 zS$9=B@@iUmh2xXkJ6*E0b=`o}Nxkv4(b4md-)m}xUP6(YZ6z=L(dLDSq5U{uK!UfJ zlK!ook_x9FynQrbO5T7%Kz_&by~{q}c9^x6Tl{zv+6TRu%^-JAnYp5`mdAuj-IWew z)HuM=z>Oy&A}glH2ve3XjelKLU+%BA7A>38zDpZIS;KPn;|gg%&lN|fqFho@C*(Me zjL$a>ei)!0)#QDe!059Hl&p4M?F>fz&=~`sS;44$IXWc4CXv?G=zS@MGu6lzL8{!g zPdBUjR{Bc90&&KlPe4ngNP2XD*Tc|YGGAjYyEvF47O4~cbLhFxpPMz((Ppc52oA$! zgM(=B6_pgl<&VOS*e2|My^^W%ofg0~_3)!H`$-Hpl0-A=dJUthc)~ZiNf6yy@~XK# zwWBam#T32r{?e+!Q3tu7=Tvk4DyP* z+YwnVc5sfUj@|as4vm5?!8#vSfl?%0CKC^NnZf!lzK}X$HPNpEDu%ZvQ@&!Jyw*Bu zm$I`X22X=OY|)IEYFV0-u`+FqXyg-qS!uJm?kCGte_3106P}haGewXwIezx0;;uIa z8tRrl7ph@}!PCGgC=LfLuws%sfAs7mn2>bZB4^hOGOzcjPBjx(}J+2gg4>_lYMmN)=E_q^7HBiY~B1KGUm*w2gIX_ zY;-mx+V*_p0C9yF$k;-cWRTru)NPU`+L+{J@VBrC5tY!9IzhP-U~o&UEUa1>oqNJJ z`$!;jLoMqQy3**w?TjjwtHYd}Z7FVyB<$Cn>l-RGyQ5(oU)YHlsVrfQCrfjMYtpNz z7Yk)(pOAx}e8NJY`VzJmWjCNRLU#G{Lqtv>#6HiyJ#hoN3`xkma+SFOeInjX=rs*V zxU@M$NPpV*34Q_%q9YSdc4xW)eJHppx&e)E^lxZvdXWErNjCg9r!csCK7>xYK$e2+ z3hM=QzONFsSw=+*l6AA$Ng2*(#xkB+bw4udec_w@!uw3!T)QA-xw5KZz@94~NG}ag ziWTM?AmwP$nH1it;rfLB5)qfBD23-YBV2&CYB@$Y)0Y+p)e5Z{_eMwxOLp6fK3Pxp z9?oXDTX+ufwWZahuy5*EwG_I}Fp67nC!S3I)P#Lu#=V-R!SHB^0g5LTK2rY=FriF) z15&2D$UIYC|1CaeAt4c((kI>D#sgG5Dhl{13q=3OTk z-20s~uu7!LdAm)nOZu?k=av-r#WI#G*>ALil01>(|eQOY2x5 z#d_-y9(wm2D6+~klnk{YCR~y_rmaKXFlHH058%X#DlYWy*>uW`(cEe|gQRLt^ow@BNZMI|C)M7 z5WYLkebVEQV1zem&hb{e{%p}3SG?D@QHbu~%e!s|TkInS75EYbT1BX`z)Zy3TCMvv<(Zb4` z;^?`<3b*)qrHclczCC!*iE6a{$X13zNuF-+bGKB{&{jryc?AY$Z{OqRj1Mccmy+va zY=c4V#k=J}nYtJ?Is#lP+FOuslP|9NU!l!|oz(hgw4@+BJO09Dz!nzt^mQ9w^e|2X`eT3|%i)#pJ;pIP{|6?E8{)n8l==(Vz+C{A=ka%~$Aqd!i zj=+>-pKm~G*1Flc>U%8L;=I85q23kNT5^kt;McPxVr4U;|g*~7zz^9w}kAxf}4 zl8$Xje@X*KsL_P`vFcR{&giW?J?!+Hy8*cXAE2KeKLFIQLtyr9VI+8hq4bM|&^!bFo-v zm(s*=EnpNIib;ws&UI<0rHfRaJlXX2PO2Gdv=pPwv&NSuG~$AKZC*SU%Mf=bLp#pE zzHzI?vi_|>7vosku#8(qCKKUEUvYNbRwwCl@=272@@YpdO^gQV8p^AOU{o3e-vrH3 zdS?Q!EBWgrWc$%%(k)Ji(wZhIYvo4pIh2Pjkb++2`{M$GM;GYr>|IIu)Q}BExSKtR( zkOOT?wzE+s>x^x-jN2>TKzmth$&hIFW^_EXF*05&UkKm_QAPAtTQhkuP_&w*HMwTD zU)Bij=NP52s0}X-@uBGV_fp0>!{#(2E=#7;m`*WARnrB?b!6lrJUXIsHLTg;+Y3)Q zbnn4sNXcgX%q(4vssp_2hpds3W$Y^|_a$hBa#+#k#9zBg6j! zXvL5P4FAj~QkLmX0I>fGHBLD1`Jh(Vrmz@ix1Ka#*3vTDZ!Bm zJPJp8`Uw9?_Y1>9f;#P;V7BoBx*;q3iyCKkHz{%%m5-Gl2%5j}9JW*4fC_{jmV*O= zXMp<}wa4ml=Qb72!>#2Un0cFN54qbwbd~ufq9cZ5Y%+4v)K5yjETpfRqoI1D5-%`4 z+H0}|*A0W&VWOqgAA-Q<%&O63!Rl{8OGkauTcu>Q{1~F8LsYgK$of?er&^-rSL8ru zKWLkOgtGnyvH*ftz)_DneG-BQPsrhgG6f>&>(3$xB>V#n|GwR!ya8#K*=9FhS6M8} zR?zd_61BU|^RTe+U%k@!X)LOUDBOWS!(M;4RiT~7(J_*=1C^L_E8a#a#^4+Uja;y6bg zUt^6--ACh+=Mbu?kKa&3LN&5|0{R^M1oTDjSJcTI`W=WPsu$4YU@G93J>;wY1l}r6 zv|2a=VgxV$`lN7$f7rt>a2;=@;&}I`ISh|r^_>?TrB{%A&lSU0jYNch(4RMg|2uvI zUi_UI{V=P47byCdFwy=0zo1B+WD$4_kr65x&e%V6S%q%BtZy~J_%ITY%AMa;=&qh+ ze(VYs1zul$8e>JDD?xwQbv^UpXiJE6I-@*l0l?h=C#NpSr)#vuI`&arZ|WO&aJTDT zAC>GLYtrm`)UP@PQAbgl!VT|<+<*e+HQriCF-PQ@$9ZB)&JB^@p#chg^xG|$E8gCg z1d%%BuS!*x)C@vQhnirCZJ5#_rS#{9P*mclg@_ry|Rd|I{OVTyQK1PLMx> z9I}gNGel2^P*~i643E;b^fo=qbb}p5Y8X9ouOdbx%7CKt5!WZh07h~9M8o$hvkUbL z3Yhw51V8l`iT^0T+)nqQs*SrXV;eGgkMgD@KHg3H7x3%sbMDC z`EqUy>r~bz0ahP?u-@z(l9VIE4Jj+mBDLTrxs-n`=+Xa3Ke9)D@KsOWaBWM8;j27Q z{FQxtq&sgrPk@-2{MqP#>=XP%^jQ{`)<*&BqTe4Z=ltLr7^Z(R$gMx=WY`lOI%=B+PV zfvt$^KHUIam)(kMgNEbw8<1&%D9o_v&>8#0`SJ$DL9h$}xCkwV6^LLZhA2bK)G5^# zEa+W^I^KYe)*8-92KWQN0p15(T~9t23%LJvVg~vJmkb9H(PW$D3RAsC{oNYH{_}O< z=!EdvpJ6&zl6+KkS7sP-R>{cS-%6&+>(N(@*ZV)}4A?*164YMkK9FzP>gd$%lD^^i zplw@@LxSZ^=8C<;M5~8nJ94$f@};Ir7ReTc_)va*J8cHF_qNE==f~TWZb{egk-nK< z(?<*9p89N$i4LzMDm+-2x$TR}`bfDU`L=wW;|%^_#sJ^**O{-r_TZA8awElu;GCLL z_|X<*z+bEtHfF+yv~=mTK;7I(wSzh06#T+)^XmsA>0|EfhS}2I#_{)dd90LFqBbRa zK$ayB#3OG3w_cxSz8bPVZ1oU7*(87IBWcy*!x40GUw$9fwNUHGh^MrB)tk4+k%+(V zvRi|lNRM1TlZU^^)py(Lx$eAG)y~1RsX(u9KaDfR^+0twkJ<+SFD2h;*gykAM|}u zGEHMq?4_cg>O+v*T?c%HTe;RprW?vC9JBDg(JxtUvE_GvrVuedpvf!V;Qw~;0sec@ z=ie55#1Y8m?^E*MU)2A_8M!*=!o^42!HH2hJ-O?FnDpn9LWMzO9~OCq&#?!qrI%|p zZ!PhJhrqz&GOpF`#V+N$p;hWSHD24|JZ}AHPtIrk28lAPk)|2nK9|zT8)k&8wHGZp z9MO#Ep&; zt0=a88P)Myc^%zCdD2d`3oE!~!3j?B{~Wuo$K#yt4AwhaFAKyvGw|XeF4@wgMF#BZ zpGSy5=sCx%z!PkdY%j!HBnz(Fkhm`yKIhZ5$HfvOiXmIlmw8c>Jx@87ZFQu*G#tA= zX5u3S+^d;Ol)DX~?b8^Bjk@r4<||V4MxJy-wz<}IX8n3&-MLM#g0YW1AHLMM|LUR7 zE0w6j?&Ss{N&ZiWu0k~O2Tl-0F{kL23dkStq{DRUP z4VQ;kPmm6kf9)X3DhES{pKks3j@mMuK`wgR%akT&XRqiNWCIlCe(XK@@$od8C)jHA z`UbQPbyUHJo~mF$Cspr@X#a-y)XLTO`}$@Fzx=x7k0?T+vWiGsM}E+uee#1juL@Q< z`_7fa7h;>uzHC|VT)&4PK4M-%8&$c5@P4K;ir#v?dMSswZhF_QolCTxdzNzD%mx@XK0M%1r_;G6h2>vtSQT2db-GBx&%GD3B`z8ki z3Yoe~|8DB?deHNK62nYg4c!Ol$5|W|CpRGJvLbAoVP(gk`@fDDAeatI060wh@$rMa z`P;<);BWpc339-nhH9x{zF^Dx0s+p}&lM5$@oMHeg8p#$Ygx?oyy226AzANQhi2=# zu>ccltiuS5HSM-vsAEMO@i)vCi2SfXqdJGrGNl}fZCy|P zjxyo@8p<>yx&gh5kZrsH#R*q796r}w|21f^&~b5rk8ax9-`$FuYuev1r#J#rC#Phv zk9ZNehjq8{w}ND#d#rc>Dj`(H+R%pYK1q;a*vCg`x5ZH&*-g>~FB%f51SqX|Bz+-EfMDUmHZY+UBl}A zvqoCt5%hv=rR+EJ8y!@OvO&w7KR+|-7u~?Ax34ZcL z^6$FhN?7Dpk$}!G!4r4rlEuQG4A;~o-BMtc;`e`g)Z;E90sTt+UCadedr3|x^dTjp z!c{M-aN9p(L5@z3HUFdiAfI$z$8N1$SxK4K+dIm>{-mT1u&2L8;;u#;YmYtVJDVoK zW}gR0We1)alPrrqkUYY8L=k2=Gif;pzdM=`n}TH=&_z!4MpsJmnvv^0Qu6H6_BxQI zqT*)UwQIx$!e14LcLJ+f2;G9`he$L82Qgt z9^yu{nqMIL8k5tmPZ9LMaB&pPPx}swMuca@8<0D21g9-`GHBD4zhI-&w^+i5X6Z9O zfmt+49k^m|k2(cx>uK+<#OG2>B~EJOV;ZiE*NGbPnG&VNqcJcmLci*h0|Uq62nDmJ zTcjP_8s7!Sn6z`c->fyhtBp9e(D{=dttu&v=-(py)*r{$BQT>ei6pKLL~g5n{&GPD z^jTjzMig^i9^Zi4EvlmU^8AAnH^UG>reSYFpkwv`Q57Zoq5jb?X-0&2iGH<9t&B&y z{e#g+?X!lN19H_iUc;`9oh=F0durN$To&r6N3HOKAkXsr?Mm4Xo+^q2iKAWMCsqy? zvH#--qok5wKV-jU8AWu;G_q)lYscEyNxg3R>;Ti`+>kSCm(u;Wu z<}NMjG@YrTMDK0ZO8b7F5NLmF*>89Lr+G3zcw`%`PehjaMMoeN$OETLBRD1Po|<+)JowVtCUqjC#I*AI>lg%xjwK9h|wGA+Q^s#3ch0!!^Jn$bJJ_ zuy7%2zWS)wu@C%HF|(!DKc(Od4P)*&8Ed0BI(G_aW}P6A(&~J^@o2`YnaP9jQy9ys z8d&}ETGtZ+?pg*qnlE@7qLzo%5wBQN@nFO1{=tFXHEqN{5(54eDVaYJcN$=9zpYFD z&+8^CFXRIf9AY*J z6?LZLDWi-OT5V#ui54fSd;WOM;R|`L8l-${t=UJ=UEPO|;Nc6>zfqA&e|SJi!^lN@ zuTbBx`a@`x3<0!{{|N{OHmb~DTl^-9 zO#B&1=Bg0!xl_=l15LH$LUr)=2u8OlpB6xiLgqcUx-q5tkwL3;$w))DFEzd&HymKu{-Ui3OJS0(8rUMN!z}zH|dDoItu@J&JcNI+VZBPn- z2kN6a>m>Mr!VlyC?8ZsmfJFKN1$PMqPpfCjlBU6}-2NJ}!6e=BZ#R-#9NB%ZiWXAN z2_D^m8WVs$0w;w%=D0L;JhkfZLBL$uIjneAS7_4=MK?HjW`Uu`EMNca?l&LF?*ML8 zBtRegr}|?K@$^)Jr*D?7*mW_6IgNalk{C#3*j+Q#TwQ#0M?oyfV{HH|u9u}?b2`%V zLSv}x115rjQb*6kD%{VUa-aw^awdF*XkQ$4x|^DBO+|?J4RA3hs#-c}v(Y4{QA|CZ zlpSWf6l1?6#F@H9D$p{OCt-VsA_nC2{&$K~h(J{wgz^cwQjQrQgeMaOfOT}ymvM-2 zzfWZ2-RhgMYAw3tYA2xC3DbqQzm$$$Mtvet}z;B=p7ZpoBw^Bz3lCA z6UH3QVnf@4F{pR)m&#M-u~wAEW0oMQeYvfE{%?l*eIo~&2i*+LkNB8suhK1=W$Eg_ zUNn0=4+d>A*BVorEaVY1AHGc%@@N)f6*8d>;@2v^V{akh0fSjU1e_E}H$N}p+RqU3n3u?rO% z)nE~yvV)Cv&Z*6#WQ|ye5Or|43eViG&9K^o_%{jap?rE-BsJ^eAMusnxOC#KJTRcR z_0CFuJ5L+d(w`EeBTZR?XT45oGIrnpQI^ztBiIf0kZDrSWMuCh z)%T!g05$xrb#v<HSkP1>RMwZzFsmH~awt_N$hIIZb#jVuSbzw=lw2|{FEN~+fuY{X8m%s+;>$>F~+#Jc9hmjP7_BRj=x4p49>@%DzTFnE{M(pHTpzs~-`V>#G>ZEx8~^ENxxc0#A&ss0r!mU4Of1 zG*HxrctlPs%v=F}UyMz$r{)fipN&652kN;x#trBW=E*D?ZJp1GWC0|K(uK-4k4Q({ zmU~%JFigl@Icr@H{qW+bGFs~*UKhuPfzbGDX_YP;>8;>h(2m2E5-@~VZ#`_C>H?d4 z@+~kmk@u?-66IS-K|evUkxygxf$R(_QIC>vbDtpj-yxlgnjEbyQ6DTj^&~CNb}Hy` z!dkMCV$U1b&-s=iUBpMa)%WU4>Ek_uz5s#y>&oME+Pyn>xrxRPs+hvB1i_#qdWNr) ztxlt(1G-wyX)1{d9jt&>H^sKc*Y5i^*E<3uqt4we6=S+c0}hrl@tZ4E?_E+%W1x|F z=pFp5Pf&)RE&9j&q#M?#To$@DL|vo7(Yimc}A=idg3j$Qu!y z=L;T~&(H_YZz?%|!$e7kquBND%9B!by+8dtjHn&}n-wYMR02-1d<9hvJEr_x>!YLc<@=@oh>^~oCjmoTiYhPIdhg(^bMCq!WV8YgeGF3C;DMS(-4jYIWN%WJlp zhCQ+6^y<2mxG$5EdvxE2m|I`5z7<}Djzvi84W9xF8)>ywQW+%18pD zRp_v(j~vMLBf;W1Y4YQ-OTE1HLdz4!(RFISsg7R7mmltWrNmXpzGWCb3?V9=X2y^S z>9nQ^y+4M#YPT=XO*cm7rf_QlYJWGW!0)T~EnTNaO5>ij82DhQJmzYI z+fGGWl%2dYso7i3FE4q?s6q`Dk(%27q#t_wd7A_PUOVg&!P1hgXeg&{=0Vc|rp4VT zYzAQpXmpEuceR~AXe3H4`pr8^$wYI${62LXsdLUo9RVVzEOp6vJbZ;oeI&>E21UFw zx#sXDD%L*Tvvvw=Sd9p{0qtzgUdmZbcw|k89S@*aOgg%z9{ry4Ut&@zc*CSbI*sb%t+Gc40QRC$-fmx&!$h#%+WL(WpM*I zp;qs1dt?+!eVs#g?MGw((zqaxF$tImXG-LLZ<8O-(25CuDPmXV`_=~j1VW)$UtKeH zR2oe52(i#XhAYMS9RY8AVhwqcO>k{J-|i4k>TqpwJE$8qs$d1^0>Rdmc)KMcJPi_9 zYa)+O9nkhZVGHhVUegJnmlhQdF|BBRV!&Fjx=W?jHzUF-d3>BZ=82uqHv2NUX=YX- zPWD|hQ&}5<6+w06E1^fl;vRrNf%MSpfx{XPf$4NJeYs#G$|CYp zGcn$^B=6ABsSqj(A+i$sx;RE);`Pj(C{t%$0JpHHKBTKEkjs9GgvgO9QgThq`cG|W z1Oz>`PL3s7vNfOMi8=LDscvU{_TuK{XK8f>*gu<}d(6Z*n4(W&#)UlY2>DJ{OKQIb z)+O&xAAGRymK$Z~;l}dOhW^V)?=$2GVVMO%JdIO>L57g!_?ChqC4yTKs8AmX6bhK7 z7`@zG8Is#!!>omC!b`-UW%sA^M74ssaCN&L{3vNzM~in*e6jJaB=2y^_2fgrcP7?> z07k)`&leA7pEW~kddEw++Mb7!uEHEj70_N3m`${{2bNCjNm=5KMoIcHPk-gDyuNQC znb@Xl;ZkHKpgZ4SRANfDw||r$jQ9_NoM^aOBwWFKP%fluAerkpC0;$d_Zj{4&u%;d zbtRc9`|b~$V740PaRc)^ck{%NxKQ_iQJA6-Q8LA#x@bRR>6}XGbFa-hqCQ4|)iSYa zSLe`I-G2s-{wev09fNV{!wPBP>rnj^5m$9M+);mH4AQpoO}0~p*VFsTjN(ZH#Exk$ z_Wc-PI7|yvGLpE3Sz6#(kc`iH8NXX-zjwoF_5hj zk9A0ymPBEF{ooeNn1nWAfSMI3J^^uJL>*<9VPkX>9_zIEF{+KZ8azzZ^fp@x4JB~5 z+ev}h4=bRt8>hmZz)RrzI`*_qYdkTCwFODH+|&!)sb~oTrM~8wM}v^`K{iB{*<7|~ zS%#iF`IdpyU9>J6sE=jgXD_Zv;P!OmyvO4K=J^oS!DVy(cwy&GMkzo!@*X-R@jyx8 z9zk#BtY|8NGIb@lti$fOqJZ8SoC+wpQ1@cEJekD^ zKGHWc@_U1uhYXSqWXxR)hqUWU38+ya$*(kglkg&%imdq9bA?l#Q^ZP(vCM5)dos78 zK)ivBUU>W7;io%V739Eke~Z4`4OBL$AWjGekY`#r$CNRVqkQ)Yi(q;%@3PS(XpZAacyDLF-U)DL9CFfY@M!Ga0?daJRx?qGWv6HPmoFDeQe&JBZ@%GK2D zsRvl=2YA#a_L_QpeKY07g1WSHt}ZMF5_N(QY$c7Be_3b|# z9*r;=D#eZ|OrhAVWW+@K_w15HsO@T4s5mNZ~Md7%}b0i_6dhY%*d7QO@^>h2t0S0MuL*Bv; zGEh_U4w+|T7{o!wcpaSO++3KTm2BZX43(Nd?TJ%fg@pe7;#|B+ zS1&vu2vEv>eFpSP$EwhKW#nP-(jrR#5)% zPSk#0K04F>UQDk|vJmXUCFThQHq#}y2cM-K3R@7Hrm_0WH*8AWXWs>tHQN^;mmG?E z)6Pn8hC9zgyakpU*DpbyWkn8)yzy_|6xj0vcNbMFs>Dr!`SoyTQh7tUlF(6UqAQ zJ3j;c3CoHmd2EGEYv2%6Zx+uH~k5wW-|M+ZJqPgn*{F*&eM;q6kc~+4P?OVC zCiHdUcr%)9YB@m*=OAsIZikmS7%72cAqyluY^Vj<5UL zkr?_(9({&jV!_a(kKmPW6nCbY&23e#a{Cx_GEeL0IxfwS%TwpV)P`E@Hav-j=Sve- zX*Dvnv#FPk`S5z5H^LxjGJ7w1qH4w*vaG0ZVzexscjLL1lCU-9UmXpp6D;%vmd_9k ztFK9kfPAXl#Cc8_R0ffTTblasR)rauFtT1$b$JiX)JSJ% z%-n#?%{kO(^x}>`;6f5hDr|j2Pd3!npwFN31NnHZt}7psSqI;+Go<_Xc93*BA&W{4 zvVTR3>dfCREX5*Tm9HBq*h!|VX{eh05cJ4E@tt-gHwqh4=c!&xd9|+Z0)yLAwFNTv z88?AXY}V0f$<9^{;1Z7v`0+JX3Yh%yFi;Ba?|Xb!8Hij(pM%!zM8n}woFPdJfV-JE(T|m=kALO^{oq$xtlMy1XU$kcvpo>wcC1_4}U*7 zvs{53JmZ9{C!c2i(LSgh*OGFEn-6T{>775!FRz+KP%hOCewihOzP**^RK{}iwkXIh z)c1V6IISS5wdK(>3jj?l5q@r3s1L(8`v_cZb7E8;HqN)APlq#0{kOOLJ6_A;w$nim z^ig!Q&ntqrADO}2S<6efn)>)R-$bP-5mH|w|p7?KVx?XDRM> zN#wWhAR2qVI|sYT-`7|lJoRq}SJY4WXrNkB-@7d?f_pawxB);qA1PX#IIhV?sYjM^ zXV!7MqKg#j^+{8|g6tx1@yZSzF?=+cfkW;!iXWmm`q2$7*ckv5}nf5XeW*-=&ehoFPv`A6#coWrk|MdS{2^T&bUoqyk zFyFq|5h8bjS%S%C!IN|9ESd^;gz6_-+T4&#R4fmt!QV%-tqls#DTjN+nH+;mMy7Q$&UmNoa_bWG){wTRI zcTvo1#+t#MGPh~gwl20CPy{u=YW~n_IYtVE%(cjl9c-|Nc`o)I{Bb);aXVE~>DzP5 zIL2qMoKc9l$Trd%2H0gFt`I|!?*Td!3MN)aRQj^q0|&9O_6nY00y8(fS)D zl@n=zq$7EDUB~49;B63%LZr+v2RHLQ@u!UTD-G}0PMf`DAGK zseM+}qc9^dVvJsrWHge7;so~&^NB)$1v%+4#nB@yj^56eXRQXsx1+qy;^S3L)&x5z zc2C}!4qS>lxd3c?{0V3>=yd8NM2|W;wjG>8N-AU~(p4BL6n$ zQ(c#BERbDV3n%oHrNx}=s->-^V7wr>REh76_=~T+{^)d}V}|n^7>Qbs>|C;@b+xC( zBj^wg;xXy}spP!B+2G$k9y4yctyNo5)M~8;K{`lPQF^0d)r?UyM#Knh(IONLEw!pv ziB&O!+O#xg)Fwu2MyOHiesZ7ZIp_K5`@{Ed_?&Z{&vm_D?^mGy`32%qv~|6`@VGBn zzVyeerxBvWL1g-U4Z4$GlC>a}$C+A@PP!U9BJlQEUwpBM3bQOd?Ef$uO=b3f0DT)| z%JGKpzpjnso+o!Ik6_zMO8Q3$lBJl|qhsekqZv@@)oik&!^2U%8hfEbOf^C(I>U46 z$Vz0;x@IUy9v3X)?9f=3YGdJwuftpJ7AUqm*`)fTA;Q?=SBmNlMPus97uTD@DUuO6 zQ{Uyl4G)Etwo2~g{LCb%Z{4?JxJ~8R`}&NuGd=$){cgI3_D$^CFI12^&MP08a3|h| zgOg&Sh0q4;c|!NZX96J8odClgFN@ksH)C9feYRJcLmgehUcFKn2%X(}p2+!whb}t= z4L;XE2N|x~h=}$VH{P3xmP*pKc%rpvVBm$tQ<++epG;v6B@6sBdjN!;Whu(>f z5eqz9n8=#;{z-Vb0rF~;stZkx<+!7N_VsBF+NSOzjhq3Lg0|kfRjlpIA)7YL30anH zHMP&yws8418Q&JQnuP-lH@yrfof+naixj2J?`o5T{=&upmyDGjl<@oGF}D1TCiSyD z_nU%Y)^iVh1ciqF#2cJ+-`@ugk)t%v?%0s@7WoMH6R+&sot8%Wjd!ZPHVPRzPk^qV zYxm2%?{rj6d)@G|I((a>*8FUx6MCh(eJU?JPA1Vp`Qk6dk4X8xumZ)ExkBMXet@%z zb^v4(D1dwSTM=!YGs5Ay`(^E5RAE5T?D-7uS~FO78$vt+ID1A)(2{T60(i-W)v-4= zO~DN6lq6`?J23FIIC_ZHB~rXOw?h|wHD2-ds{fNu-oEc(a+igQkU;Tgs&h?3m`jgG z_nQZeAUWT>4@UickwWf40yBl7KWU7Xgc4Zi)9jJ6#pmWR%byS1fawZV-J`6}Q-Q52 z?(~${O(pM5$!5ZsPsO&+2h7a3_xwo_uvSS}}GcH_}3G+?f*2hC?Du5?#D1uoY zsy~XZQL{1D9^7js3M3Cq*9U7a$?!%-fpgm(b}dhDo$pVaC-IJcTS6P(*U{gCz6gTr zzv;Ppp>9MKGapin%Fy4jI?zkNbA+AT`F>*k=8ve!Y}U-pxfw*Fb79aMx>ZrdiNGyr zPm23-_rzo%2K>s+ynNn04G_KiyoYP=pgfs*1La!Tg@bJyMWs(*)Pe^tRIRL<7XVyb zP~;Za(yif2nb7UPEc9Qi=oYEEzJb|BDYwQ!p~aPSEZL?7W~jI=@uvBXCn-vSvBC9P zK;$n00fwDCPN(0dOM0(Dv=sN3ch*SV9i5lF`^^5hp^WMpAR#`$#;^II>H8j)w2L#R-u5=Yk`&{X}?ptJFB{2eSD~(vPg+`*zFjQ(n-fiiv#TD46#wYe~M1 z8|@yN>#iau+21qUs}~jmI<~Tgh@z=9v7xrZG5Xx}j9=P)%Il_e0fo8nTT!^D|-B`RfRx<3y7jX0!DK`S~anta8dv!T1ia^>% zS6Z%96Q8pDaY%g4Oy@J(zhzGe^6(C0xE12d+ohP;dky#~2@0fXc?}mhlx;=}>S|(% z53sHmFXz|VRsk>s@1@tMgFJS5A}_A3Bg-Q&EY(LMo=wxmLcHsQdDA6m>9Qz3evT_9 z8~`>^mv7rLm9-7c@f8azuJE7N@fvpju#^54tfVIQ{9P~A1^)hA zeSkI;D&J1CF_67R3u9*w?A`|v5346~vfUX%zG$_O@Qd8}C@7@4a98kLN)1bm=wGc!yWp>q=9kQZ)^|i^*~S?Ut6yR|BUtTx85HC< zU#w2q&1q@2z=>Jn+p6*O$8%oA(f0a=JavAmU)BZz9w75XF{T@P@FMwW>sH~%>-GUc zzFIPUvNeQza|M@g!O+~r@4$LYAI;UA&UfVvMNC)>`t`nvVFJ_B`RX(b;ogk?(^s}G zMEB^SaRA+^b++lihPq76e1B}J20It|8f?$e|7I)&42KuCrEw7CLg=GdVkQIpxI~V_ zSch^px`SJVleAK1q7ps0PeDz`1cAp5b5XGBnDo8U=v7@b|$^QU&*Jwqa(&CEZWzPgUmRAj0)wUHZ z!lF=A<06r!H^#LTX1C^jo=XT)xhfP4p~;w0L(Hc&P8A9S`ErX}8MMzOvIm8Cy>7ct;h5IeKk zNfZwjiM=ifZqBafznEniE6qU zTBJCe)9>Of8BvLP>QK|Rq^0{**ZKo3k9zKcmJX=@YFx^alPLsfGA(1pV$1>`S`4kUzj)EPOo}Kty&kpc;jy;>ayxA(Tgv- zLZ`cRUPHb9c7IArN?YRi{9o>eD1+>PiB&!P+^k{9HG_ca&r2&}SU585{60;-w?!lU zAZm2uFk7Lrd&Sp{=~6;MA1O^ZIH~w~j1qbAgf!xnULH@o*(Cbtez-ce6j^y^L}{?_ zJYV=y47(ZjRr}hIr2)QVazpEAScdS7Lu;tKe(q_0`09E!dk!@ClnLPL4x6of8Q49h zK(dI*ejWOW4g?}HlCb{&062XV=Q}GI5qD{hrvYb6#uz0(|24aq|9x&YH1B^+;`~2| z!$Y^BW<}pB(>!)6nJ10yO$#eEsY@j$)`mr%a3N@ni&3e^;V~aBuUv4oP^Ykaw^uDh zl_Ir}LIisJlpiewgs7pdGG~tBM;}e7tBvh%85!5tHh6_06)r+-e3>S(CIKi`SK`b4 z%jaV26p`N)9qg1o(=W@ImBgkknS3DQbBJh6iAP-~uBknYE9+uk4bzO(>Z8}lD=%mu z?6}mZ<XU!%Md8 zlRjb@6EAA=F8j4d?2wI&Ex#_T3-Xf18`zQwP_yHOb0DcHmth0d_Oepl*kILC&=mdF z{QFhRE#aRfmq7v|rVgHfEqP)Q^`NwD!+fokXN26mi)bPTcW{G zz)biaRVDvWoJ?q2INfOvDzm^L zRWp9`GdjnVk@^}**_tvf{Q;ZRM|=54cykOi>@KESScSi5rw<4~(#+xIYiP2!Qpdn6 zWnK;LxYyRP!~2w@5n88PlMwNt6I=w!kxe(GYqwCTlF=z)7|R=1J1I-At8c@n2b~N< zRX%f-0M$Nw2J;=JOb$kPi;TUUWc!*w4Q7|qR9{AOt6}syGV78NdHHqdM(wvBG=2WA z810vNpF)WrrXpS()#riV-l}6yMT!wT0l%9uCLJTI@?KdR?(hszTl4#$h-uMLCZ=HX zIZq8ORGIzU^fdD?H|!(5caIsg5W!5dd>5mvh3z9Twye>IPhm~~x{g09LY`b4UX)I(R(xBWb2g!K|wTnFOnAguR z97_iq^XItU=Gl9O63+asm6jK;L9-eFeiBRH)b!QG~#XYSO6-2H^(vDF%mIa zuUQ6Dig7H0!3ZeV!WQzEQYo5tbT7JD0SG3w@X%q&Iv4f0-D`fR#mY#5&6BDdG=Znb zBwJWU0&bCS?TOXs^rY{AYe zwp>_#ov5Nek+S3AioPE(T63VE_4nq@P9X9t+?u=R2V~Ii!C+WUE+4MQ_J_&$YFi0| z8?OZz)?Ryh*#y?s#!jhpU(v@H1&OmGAi{O|A3b4~EybRhI;r#eOvyj&X9gsnu@s+sm2>RNjU##8>MB%t(P*-U!2n(TeunBHN2vrRyw*K;BnOxrtli zHfpUSG8pFWrc6!7hW%?G8EQpQJYYGn?Jv8vD&#Yb7MqN*B_Y?eSQVZp-BH3EgFUL< zK1j5wXNKX<8Ro?%Mv)*P&|_#0ErQ^#$pXqn|aVUj=sXYX0FN$#}$JHJhI@X@p^eqq4?>?-v zF#G~WS?QdbDTt4`r z;WRp1(X=5Q7PQ%TZJ0a*f%U^Pu-2)qF7XyekqR+}6F_6(3nb^J_g zr~uCKm5cK%lSfY0QytsCJ8vp7R+L8_NUi{Nn$8e*OgsQ9WgL>>Hi-h;y|-G|_v9#lS{Q58a5vB%80pQMj*14JR_B+ZqXm(U07E=x0+ZDdoR zhrR4|{0>(7rK4-ivpOBlTa1ysZ8VgiI$UMQo1##W=he4d8}!;qU)Py=HvMaEu|OGW zK3YvBJH*WUcBrp-qbn=XSJpP_y4G_$9UeO3QAm4}X{>9imo$ykvcstn8>` - 2024-06-01T07:33:14.155906 + 2024-06-02T09:28:31.406793 image/svg+xml @@ -41,12 +41,12 @@ z - - + @@ -412,7 +412,7 @@ z - + @@ -482,7 +482,7 @@ z - + @@ -598,7 +598,7 @@ z - + @@ -754,7 +754,7 @@ z - + @@ -928,7 +928,7 @@ z - + @@ -1159,7 +1159,7 @@ z - + @@ -1341,21 +1341,21 @@ z +" clip-path="url(#p0f09835c00)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/> - - + - + +" clip-path="url(#p0f09835c00)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/> - + - + +" clip-path="url(#p0f09835c00)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/> - + @@ -1465,11 +1465,11 @@ z +" clip-path="url(#p0f09835c00)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/> - + @@ -1484,11 +1484,11 @@ L 690 167.922555 +" clip-path="url(#p0f09835c00)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/> - + @@ -1530,11 +1530,11 @@ z +" clip-path="url(#p0f09835c00)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/> - + @@ -1546,38 +1546,60 @@ L 690 74.761592 - - + + - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + @@ -1709,7 +1719,7 @@ L 163.368917 307.664 L 163.368917 198.665673 L 96.917045 198.665673 z -" clip-path="url(#p64bcd2b177)" style="fill: #b3d1e6; opacity: 0.3"/> +" clip-path="url(#p0f09835c00)" style="fill: #b3d1e6; opacity: 0.3"/> +" clip-path="url(#p0f09835c00)" style="fill: #b3d1e6; opacity: 0.3"/> +" clip-path="url(#p0f09835c00)" style="fill: #b3d1e6; opacity: 0.3"/> +" clip-path="url(#p0f09835c00)" style="fill: #b3d1e6; opacity: 0.3"/> +" clip-path="url(#p0f09835c00)" style="fill: #b3d1e6; opacity: 0.3"/> +" clip-path="url(#p0f09835c00)" style="fill: #17965a; opacity: 0.9"/> +" clip-path="url(#p0f09835c00)" style="fill: #17965a; opacity: 0.9"/> @@ -2216,6 +2226,30 @@ Q 3319 0 2413 0 L 472 0 L 472 4591 z +" transform="scale(0.015625)"/> + + diff --git a/benchmark/swe_bench.py b/benchmark/swe_bench.py index 7e2ac9d81..56021e9ce 100644 --- a/benchmark/swe_bench.py +++ b/benchmark/swe_bench.py @@ -104,7 +104,7 @@ def plot_swe_bench(data_file, is_lite): ) # ax.set_xlabel("Models", fontsize=18) - ax.set_ylabel("Instances resolved (%)", fontsize=18, color=font_color) + ax.set_ylabel("Pass@1 (%)", fontsize=18, color=font_color) if is_lite: title = "SWE Bench Lite" else: