From 2c6b4729467a6b4b8f6124cec63088989c7335cc Mon Sep 17 00:00:00 2001 From: Paul Gauthier Date: Fri, 31 May 2024 11:28:38 -0700 Subject: [PATCH] copy --- assets/swe_bench.jpg | Bin 50871 -> 50675 bytes assets/swe_bench.svg | 252 ++++++++++++++++++------------------ benchmark/swe_bench_lite.py | 4 +- 3 files changed, 127 insertions(+), 129 deletions(-) diff --git a/assets/swe_bench.jpg b/assets/swe_bench.jpg index 37c2769ce88a0ac401bacbcf00c9d3ea9e7ee0f8..5df496d66af6e7aac8e26083c9c17a4aef586530 100644 GIT binary patch literal 50675 zcmeFZ2UrwalRw-Dh)NO!k*oreQHg@Uph%XSvj|AeAeliCkSr)5NX{8iaz=8_phU?z z=P<*+XHefO_wF0^*?sogZ(n?R+UYrc&Z+9EQ&qpJ(SMmYeS$D=!NhJ1e3Sl#3THVqs!k!^XbGdV}l+>%aVWQVrl;IH!U-kBV{= zIEROViidJi2T%e43OYDj#DstRp`1fSLqCsk;o>DsutC9P;2a7n>Nzx2baXT{u(d1r zJAj6Vj(_9sgY#EpbueyP5wN}pj=wef=t2QdPs#d4*%`X$}O ziwgt~gX8mRE>f|{trI@A?!I)Dntg(113?;+vVV@Sm;Wisei8OJx`qHOR21;xq2d7$ zVDFGF!Tr*|kAL&vzg-4$q#K5^XX1PE%SdBCNu-Y)Fx!l=Pu<%)@C5AMDU(9n%QK&c zOAi*j&h68`6*B+v*$H5%8?3;gUUgZ^f8)Zc2r=qQH>(rCWk4%9Rck+}PK!#l{6W^Rh>=q> zzPe_pO!5bRvhC^x0gAUm*1`L?M5mQcfLEz?lKCD5xz@OOlcl8qT@FT_?3l4OzNziI z{sK})RrV9$u4i&h&@9&RRI1K!0hiV~Jbhw?VoIs^SU$6vIpe_Ve#vp4Rg5q$WrsW8 zIp2;Rjt9_*B|fPsy_@QGk&mMoHr_U`C@>#eO=NzkF}j+I@-7O?OOf{5>zd(o8--)+cl3bHlD`3g# z>}oEY-2`HK_X&M-N44cUA4JY?2VF57+Tt+^-{{!z|MVmiWyuSe8gu7JOYjBg{(p8b z#%yp#$1gRE3-!%jw4-NLM>7?@fI;JIi{YV(ZBt3NK2qBKx#DB#)yQPO@S^wr>79x? z3ylZuz>}g^ysC-uW>@O*r84)-RtKpl+@ou^39~1nwWO~(Jl!OJNa*{Wm}yl}1Z`#d z#Wv)9+T$2VB!sG|`^nQg=7RTiM{eg16dd23*gxh@g1vd%+fMCeG^-P^>J;U6&YgD% zvpMG&U1!3&PO~+Glo-R(cewfZB4wyu>9SG6{#^BO8*Eyl84vUf5i`|sKY!baxedsRwJrZcx zcdN1}AKaPh9JUaDB)vzJ3V($$p>lZsL+1E?Y(4GcL7eyLZo}0Ds`fLnRdoK|(wYEC zp&F6T^$IWb*sBF?7rvK6o;(`6@9)t#P-;B=(nX-DErzVo`2UR*kP{C`ou)bmAg0Iecx=By*sgBXzN%MG2xG z)1x0oAAc$9?lB*a?Q!OP)%AkW(U>5c)Da<^+~kDUqn~u$0DZo7t7DjPRwV7~V-cvH z%Y$7~GyWb~NU(8Rg8@0K^aD8LHIQkLsy24~WPql`ljevoU;3KWn`;?ZQ-j3Ei>^}F zRw|hdZ=;!zYN$W{v~q3S)0%B*cr)9N{QTl@!(mGP=0mfb?}6-!v&=_A0 znl%Krl)F!WH4iv}W9Iw`uvc>eTyiApTEhEdHxoyzinc8dF~35;i$en_hYz`6 z=*y6G8c0L=Enn{1BPD1{&~x~Bch&rD9WYLzhqFU1=Et{*KAr&8?@j=c^+>uo+!fUm zfPruL2r7I6#8r61(Ng!jVO5FHF0I-V;GF!i$rr=KD9E2?q{gvT?~1EPtg%`%8ABDh zIPg(ch)~2(p618{HUobe`#5|RcQ5?F7jPwz6+r(F4`qx5BYZCZa!p<5j71_hy9z(Y zF^ji1vDzLcJ|Z%_wz6mw)rH|GWaWnaaf>5BUa_#UZ@QN-vSolV`=N>Fo5ZJLR#bR< zH4g$?q&Jl8eRcb@ce2%0%0BhebTdr^)T)`tsZDao^|02x!l0tP?>lEf9EU5Eg1gfW zpNBt-kAY*l^5wplphiK9E%8ixikm>k3dAS4cDr>Z%Tim`{ME73elbPVEmtoN}Y#U&B!k$b$3?rh)RiAffw#`1qm|g}RWm zuH7!<*BqCm@K&>7GCj&{`#m22$kf`_4<)*RoH_w{{&XnSSs^9gyAv|fO`e7B^3M7$ z@?tTODhFGjJ$vfWw1q+3d9M=+udvIcX;m}Es0%9${ziM4P|U66+F8g$V$8*!_-gmf z>}(7>Db#}VP<=G|@-)R^<;9p4vTh2|aSu2}FIJRgN?lXF=GR%P?cr>NW) zV_c1uwB5Y7$XM8KJIr_jT)B8LfH^yRK=Z-WQM{M+y;TRo4ijZAr+{H?2{R_870*`$ zHxw}haK$B68j^7hoGVlGU2(N}mAhgLj&KhY1-4mpi#A~*f7J9$!LO7*mpG)xr<6^j z6nM8)h!n?NH2h2BRpOYiAysHYwlS~d9ryKCvCdjY|MA6}?mWJXp!fai*3tbFVB+>5 zZ>Kh7<^-rTuDk1y`sjN3#!{h2M(E`cx?T9yV@pZEjxZJ{2)!~d&Dg5-PI09#T@o>= zf=HE-7SHh zF}&z4-)5b1gc znq#pivc>+-8TJ2mbngs`oNkk0v@3UEbuByYO+bx)ghKGrOVOZC#x~^d*w@6Utv{Q*vzGdQ#t5fzxUw$ldyUKHM=Evn1=>C1+XwoG zHgeCM08KNXT{44gt1Ex%7aG~NeDAG=BdIQv!#1gX>=$+d?Ce$@q7EATzC@%ld;7!D zDsWjp=Z73_lB$UN&^*a3{{F1uCi%Hd2)bC(RlgPHsLPEO0KjTF4I0UJ%`E1QuqfKz43wd-d*!yRc421@D5qxEzw>&&*ty3) z>ggCj(3fQ-eJw6Tc4&97%54_zIkCM#IQrdpZn?WokZyBN58sj}NW6EQVE6f6cyK$l z)kyIzYyWq4$_FPv@IonH@~j{E_RwlFS>YxQYLf~@$vyr` zk8H;hY5qCA3sQS^hCG`NgoFfKmf4yLvc5_Z9dpX;yQS=fBvgckJ$m6XZt)+eX7&Ij z*szAktpcmG5vm2Y2YyfV&{d`a67%2%v-$F~?18t#7RO@kDs{942RjM3`R`gL3vzFfH(7T$nBld>Ah4dgQ2(LUk@ntQw*E{^?SQ&tLe-E$>n$zQBS9u zRIPFLI*G4usKuNwFRkd(Gx3=&@x7mZv!FP9P4WVSky5_TjZlp`WJ{{B{D_x=swdjM zey%Ro$lqDd%=&K71Vn8eAXdKNT5qR)S*0TEePcR{^mIXVe#z7q-%xr5X~mvK3?U1nN~V7H zVY;mBSGU-kWSZYL(+>6x%1*8bn`mPR8rjN>X}VKix^w=HI%OdG)vh#|R|_TSre$uV zF*ZVkqefQs6DPoVa-Hje65rgGMA`DMR#S$v)7bE^S0p-pqj_$buk2`>w;x{fY0>5Z zzP9@6Ezv>Z;bzLmZUr`yTl~$5C%`jU>=9eb2_V%mUJ+<-5K{t@BtOHYa=%q1Q7rrZ zfukMonC}vETz+p(Zb8!&?j@=2g$Daec4f-PX!R(J3w!IuvBRJ`P2nvs(Gs;iv>B_2I3>nj&rTa_4B5bHnUb@^4wVH^QkbEoMH)G;uRCL!@ z_}a6F8Z`WiEP9@+ZE&e<%hbE2g-;m({xfzTl-@9j8jW=v7PhuzG!O;M%Q#bd%; z_+qrfA;zQa?G^8Et!&sWzm(^P+>wD?(I`5ms$}Wt+<)8|zO;)rdVB(8YkXXHP2##} zpRPG-JZNYgtmZ++e5(06&-T_Nht<+;GA z^bVd&TNQGcO8w=|Xd9ZYVVW%6x6}!+SsJc*G2o(okA+tN&q<_Tn{pHen|jVQ#rqWJ zMFI~NJZ{oKJZ1Wh4N@1JJnQod2S3#t&G-!$>z*go+-EEg!F_mf2nPji@?-h^Y?TK& z_U(D7Im*mVFZMUHJzh3;B-i|-fk})=oL;Z1Y4%4H& zk;TDMkElCgGf$OdJ5gJOuB|n7@)@E^`5J`7hvBx4(3Pq=0o;TL&~GU`0ir3ik1P(r z7(NC0g9x$>a7Z76xZM4t4Z#2JoBuB|?00``XOSNv6oX+d;+mCIMZ~l)JSWii-C_Is zy$$+eiyKBMR5~yh!YF^uaL{V&+6(`wp0YK9d7{Yn?03(zFB{sFIpg)=L^&h;lGOO= zp49QrQRy` z=@tm)Q$~zz3z3UuD9DU9r>jcImUbKI7WZ&C-w(Qyb@!cb&)8^u-gp-mC0E~;%#yaD z#}|5wtQJaHE}8_ai4j_x;Njd^#(;#tr||p{GPSW2ASgUsFyYK9-ua@zMfVA-$YDq9 zPJ8Cp-#q~& zv{GT-8DWi5Z2S1zyoJ7WS<(@ID%d!rsC3AU=SBAZVrfR(V&*XDcX=N0{`dN*Y`0;Z@zeM&|>yv(rB zxBAI2Z-c{jpCXE~svP5>+6BUGOixc}*HlFWGc}_J_4Rx3$xE)-r{yS4TJXnzy?_R; z-Dk`MaRvxKWXjD zL`|JbwAZzB=U*0g`am~X)K7rHp%Y*pS2OyoTxY10-|PG?(Y0AhmypM=ceXZwao*`* zveG;AhwOS1$f{9P|C8wDv!x+VuZTnqjYV@G7kuz?aK}JV<-+(sAJaqo> ze7sKjeBmC6@rCTXyr;wY4I=2G%R-j1>k&h^6i}nW*!0`S;_%j8=x6v|`VvJApZ{_*}n(Z{^Q@U-@?>g zv1K!RpqUo&85~x(9taW0Q=jF23C3Y)I>S9kU$&Uc9vWYOcs3m?8>w>hE2qz63lFx5IB~kDHttS)-ubk zlW&Z&@TtXZlR@i~kvcCeo@tT(RZF~EU0YrHCT!YQ@hN{C2~Z#;#N2k7m8rLpl=};Y zB_^fmPO1cxrLbP)qd<E6yX8Ym4-z$$2uddY>_muLqOAMN6OpgSpfZ|o~EZ-EUdlV3ro zI|jx&RkHPEBMSU5p;+||1)jR8*zM>CkDeUSne#_*3@zMF<_KfA|7@aQRyFS_e!hBY zX6jx&p#Dx&#|raii^4KXQkwZUz(1%?86~lCl37A@13P-4G}G>C(M+d9#A_i_{Hu1a z@rU{4s%>hh=XeL>l}R%lNL&Ra`c32eb$#r}Wi4j#ha&LaFrZ@6*)b(GT;wLkxE6=D z&OD{5ZQ`fv>IjW%WHQmUvttz3+>K?Y4hXYFW5E$^HYMqFwO8=2+hbi+j$8?R7a21A zP_AWs+0#u(rlU!}wo-VadW4&>Z()FBB{}!4RfbV+K_VWeD@VM7KV`)8gZ4g4TvAtD z@s6_fuy|J+Y9gNFPxGI&n1@xH&o8i&iBjQ*P4ZQ{lv!f{lkPkct!c|hEt^P z1+R$D&1Yaz#t}+C9$?Y-a=EwKinL7{jb}|aYG{Tluj}+X%44X^$ZW@?%JILshpLsZ|AA8!4(m1HQYArHb zh%Aje!eB)fOrdRw3?*(`9L;9RiZI|j`_tXBEglhJZvB*r&~bLx3<#Jtt28bku#TJ6 zAOBmXCsyczo}AcG;Q?j*iUR0reHsrn6oY41dZqQ(MO*q+nu9QpD<^=kyk2}zsQDV?pd?v`lhnk2cKt~Om`M~ydP1{Q(%I#|pdC^{DK zUC}yv9+6v*{#kY8&CQr8^L32Y>yX=MS7i2C7w>Db$?IA}^Rib}&2B|}MAOZ=2*2zk zM{H1Ew0CtSW!Nv>)HKI{-sXAKwT62rL8HxUD+=4rCCuf@uvnc8jm1K2Q@!`?bnm|$ zOwH|WCvQA1>|Jsq+Vyvzw_Y=NI$r8{_uZJ2ZZEH0+ILA#N^+yti77zXOWrLk$y>sNq08eMRlmn6XdNYej}8Y*d%-L zYcX$>Eyd2`cM#>CxU&8m{T%qzy~|IYAKkB0u~^h5U&nZ?#N}mfd(=s6%%#Sfr9`Q( z5JIE*VP-VChUY~f+l%JxXr&{io}FTIxuMBDF$Zxm?0lW1z{k^^Ja0tEjl*KG2ePLK zK}hj)>c;}FueBdueWPBMw%evS0pLljP_pt9VBJ^K@urODo5wQNH%GYKVpB|FH<;(V zZDF@s)*c;^jMcDPpcD+3nLCaKT8d!swc9BxABMs`>^UR!nTUc*L?_FGEZ(CKSM$B@ zz>cX8H``e#;A(!QT>Qt7yHk83kl9-+(GO72E-s@EYbQmDA#%&Ps3A?b2JI+_ ztj9ACy%RubTu{MyJ9cq+-Z(%*?2W?1Arx!#M|gfO%dpDMPgYpP6z`@RridvmJ?>qL z)>>^Cng~ynz%QYEpRP49CZTJ({%Bz4`TGbIIljBSgvvK7=^}+nWPfm6IKT> z-MtxT{P}xVBJ+fR>tF)2njA<5)3N_J;1H6%@iSujaYpyko;qfzS1y1V9^>wW<qC!Lor%{iEc3m2K(uH%s`%u6aKVk;;Pc-3r~?SYwl=ohn18(z-EXkQnPG{ zt#-1mVnEO1w#$ag$A%<8U`Di=9LAWo-VuNkl*%np>&iUhHEEI|g zKhHX>)B%>@z3`8QK*!(_$|#_r0T2U{E77{lO%`3aH#Rc%^EPs`E`l#ig($uAA!AqPTj8VTtKn^5QN#Ll-MV#2S)qWAk1vMlak zYv0tlW)OV|Lf&NkaaO2>AvTs41Y39yARsi;QX4@;m*M6TI|gG=p|-caHm%ze>fI(S zL?CxfR?!?ffSW9+kRTBpFJ#ayLT5ulpyWzm?S1#pUwgsikxG>;*oG)A!8hdfpI0j7 zyAx{%B*(HRfMz_11u~{4ybofPv=QDQoG#M3(f{hXRf|w%RN2cF3@;bl_p#C^fZ}tX zNoIWVn~Y5?SC;vo6bX_Upp?-8R_g4sPf9wCNsiSxOO@pcFMn&ku$dc*ssFjKQ9XA>b9{qw(*rh|Xb@WDzuIBaHJ?ypjY$bvzB+E)IK-R0Wd%FN zf|sPvC%ChNs@K+Kdb%!Y{Qx9guozVYv9So;-EQylEDhivPjSDM*npGCRKc+Mv06bgB)VynaBXKZDK zp1L%h1zDB5b`XVoKkYq8T0Wn9io_nqQR{L2FTD1zOFU-yug}5p_IXFa0wS)Du(D^+ zKJ$Z8=arnCJYM+>&bP^p)?Kw6dC^p*s=`ofoAMVUFNR~-1jweT1pOM9Kf+$vHgs7I zKfmyLt88~cO&hmr8rAm3h^f%=WK*G|2ZV)f_aG@b6$Tq5XO|Bq7uL_Rmldw^>I=;ET4F@j4zlPJ_PUr& zr2D`J`d8n7eUKkktQsFc7~aQt9t-Miz_Dm6gYKMEYCGJ4=YXN{aTp!qgAuomf~j}= znlF1^r(=nNTGo4W(dnJ)n$DX!CTewR%#n{b%6nR``(B_r>fxS82Mo9WnWZ?d%=_w72d&UFZJRy6xNk2bDfEs4~4N`Tp(4Z9OM4(=8FBy$nAO<1V|}y8?$Z2EPH}JVt*Nf4CjmAi=LHVjA|Ge za|jpjeydel>1B&T9aF9DdC6b+VU>nINZQWsUGcXMLmI3D62w)aeRUOJAK9m{x zQ`3wi0~Xbc2M!ejqN)t8@EWhM$DOO4y$9%Baw*LzGDr{zH!&@JwfC|I+*x#mz8U{J z#dq7OC|S$A-oFjsxp0_08oC;aW@|vwrKab7m zzmGtBgfc^al-?+Jo^34>C_>CaK2d3lXm0hstW*%}DNG1Z2XXPO-tELwKE?_?GgK;3 z-fZj~@5w|8h4mav<*;9^c==Hg=`T{`(^78yk)1rgfcXIY1XvJ8eo7^{|FLb{`CoH? zw@7zxb?^j;iA^TehC8{vJ7i>gNKbfN2%FO#N=FVDPkUH+NRp_Gug8UWf{BQaRN2SD z|LO7CF2Tj&TifZUO7ypQ{D*EO-z<7R4zU@^XYh|*B3(49lcV~jO!R$<_C3ZdOZMMoA|*;>kA8MyF$=;5|D4119_uNI7OP-m^)$qMPY?4MbnQM&fYu1t|) zkx`D>oB*an6+x#Du-v}7YLi<9IxG#l+P_?o#K||3yMKFdTM$V-BNz)_bFdy~j@>R; zf!7Y2{9fbr4}Hcfr-M{F=f?l^921cp)169DYB!i2`N3C{On~)(G~D0WH|+11`6s6@ zaFVot8eZgVwz^bo84z_I@ZVUL)Xd7gY+@9*kT6}nhu?g&7VUziUT`Ukvkdy}eSzcK zU_FTggcGbz@9$;*fKBo(dwWT*$TO-$r~~uzdB@#zAMK>^OfHWYMQR4dnh({F+%ifG zd#L+DL?d`G%Ku0y$eW{t&Empm|-J#%JZ54;Of8hH=C^ z`<5G@)N|r^bhx}TXVs`w%g4&Z?a(Veoe%cSuUX{oh5jqt*XdS8iTV4gzolna4NxWv z%Bw@OAmS9&Ma-ZB6%nsA2YYg;z`@aZShJmGB9!-G#CHzP_v{3)stUCfv!Lm$fwEke zxPbZHiK#4T9@`0%&X%F}x<8)cvMICe(zWI6o0}_%Xbkx3K-3O5-#lvU21}v^r1l^+ zpg(L8P4wZW>IVSebFIjPO1~aj7zpbSi6EnUWl$`GEmOFj;%Vek^v0;0x@Gv?bg29y zK@@Ja;zE9_*bbxXLs5H8^-Lx?b1Fj}j|NL92{2WDH^Hb#Ev2$FG+&uWcD(uZ9O=u3 z5iel7llSOS(S$mw$qJ)#Z}J11WSZ^ZVaBKc4~$E$DDx&Za_eKknH{thpTusVny< zmsazYJ951${ho!PS(0fFI4a{UgGp&#qg=CjQBWGDb+DK72~)*v%)o~;zjIbpjQaBv ztgU6>n8CBkE8j#@bn&u^a5!}s&c$llbj&E!ZGvSY4kK_YVU~7U%8&3u01;fYb$Okd zlL8xfmaB2L#`Bx%Ajb9h!5K&QJa|zx^1mua`0tQi21TWkwmWse_N!8dg74Tbkc;?auE5lLTkT1^O( zTU;@{UXbtgm?4dOIws;C%tZc6snF^N^p%d34GtKrra1KJkx#?9APs1&+H5v2WAfMi z)j1I_ZlQvX*J^V5G~fKIuXgHIFVtH&P%KWmQY;QlJ}*APUM>von7j4p;T^HHK}t`+ zwog_@i@8@#yiiV%yjgp+ygOXLwU0Fff+ujLTO-9I-N9?AZf}67h)1(Oz~A_@q=^wV zwbWOgYs`!up4W@W%(Y!W75`#jf7@?$`vh2#WbNp|-2VJ1Ryuk}u;3zvgB3~1vnO%> z>-X4E#(t&29+#CDe#{S9+?-@|cJNxD3H_3QD<^#}eW7$LH0z>4F9)f_SLF*m;KpA% zbE%7Rjy06gfRXIuEqO%EgE1J)Be$&l?c1eZq&Q3DB z=q1m64I;sSpAI?dGs6cq@QSucP#VyL<<3_bIqNJ?u>kcB!8$j>Eo0AA_JKu^q%JLL=f@ zV|R3y6pfuDWE!~F78JoDG6U-*tbPsg6j6%u=Z^nk2JC4mj_C+Mg9C&wl%Bn8K23C$ z&`2{^nl~26fs@LiZu&Lj2&%v2%U>`MeI8jL@PNUQv2#HVIR+xwc9ne#({+_pNAgN8 zL}-gNW;ROb`cJ<15 zQ`hFW8}6zVv^$J_ncWg83>z33DF~fbHZ$jG%Zy6fSvr)#po5cr4icxJf{$*T`*!V- zI&`Mk+l_PXsAMixeD(NVq?{pVq7cIXDfD@3jN^3FR@5AKmh`@=8|h}HQI3+E*Vo~q zh*+ujol{EX*!osR2_q6#rUMD9o9geg-#@7()in+tPL*~77C@r|%pF6Ljnyc5MISUsOrQm_ws*mHSU>>ir?1>zwLa^dIM@eXg5xkwc22cmBU@C`|sU(hcOq_Kn2 zUDr&Su_PbRKG;0s)6s!8iZVS9qI85kQN_Ooc_SK-$s&>IK6!lYQ3je;FQ;|YGc zlRwUc97Tt<+iAuo7CYVxf?u!BWY8siW@i`yjU}bHR|;6Qt->FQjfm<0^x$|PJAOL^ zL$=T*A~1~FL72$P;C-2tYMDwor|AVyH7yf->0g7$)^D#l=}PcrWP9-GwAjW;ddF;= zLl{&xu$kW3VTev6BoSok4aH3M%hPI`Tt#BY09Rk{>m*KJx{Nf|A#n~dF`39lz- zFz?0Ce=*ZV^jnp=Ny8abTuo4S6fAas34=Z&JX2-9yyTDA%X4$43g(&%ci)lwy3hbU zr{x{mEkx+Ebr#t}`LR<&16P~j2zt8@WJ%ZVxt|fsPelMr;?8gs!C^++dY=9cpOlBY zN(+25{a@6E6QfvmJJ?q0&6P0x+1mw`x|N0>OW0W7QblcRtJE5K(;~8g8f5y+osGY7 zYF6h)S(hSM9LGBnygylrjnDV=J}t?}K*-3!t4y_*M9i~ZvaUKjDJKafc(z_59y!jtY6zr z(7C}Si$g?C8eWpY({1`}?<{nADRLO5gYcXY!WzGfY2A;IHo{X>SzhB*SP`Mmm$Lmb^g9^)}4PzMg;wDB-VT4xW30lOBsK;64*ElmNn|7$X zv>$(bYqZo)Ky;IT7B? zP5pPeHU`Dq*Vs|IyM;JK@ETUXeR(N`0*PA^ATErd?#f*Y2#6_285zTx9V1P0JkN6+ zHy5~bHF+}oifENO<5D-ljN*Go^H!3)FX2xv#Zh0zyo|#buwK5FAU$Cs0l7T9q{QPd z$B1GY{J#6C!Im=R9byy}Zr&>0dX~>tMrLLkETjumSEMh!4}LvLZDyGELd2zs49h+a zSNx~Sq}SbE*}kSkmkY#-MqigZJAvbkNX)x+fLew)J7P4+=Tr_~96K!rLh!N9>>z zSOuP3PJm^EYj_NvySKn141~vsIE#So{^lOefg6943%7V{_kQ|^Yml!nL)hFAW%l3v z!_J6V+_Iho5IO$#!$EX|?iwP#BD_JwIT6tj!bwD&gJNNk2-guj@q_JtxryLp+2@Zt z@4BtY3Xl-ULmc6aOCpHzOxPZTBNN+wd;A7r{A+62h?y#rzYd%F0|k!-|M2B^a(pfR zg8K8J1f2*5b{}=_Le$#2R8N|@SkyWA6;do+Ncj?&9{`a-BprW4 z0?(MouSiKP9`^x@q$kLVMvEv-v|?BJe&vVq|4x4BB9dpt6qSm*aP721`q=UlKzAn* zIbi%U?$3M?CGv7g`P)f%vF67)R#Jmj*|RyCzK82&i$;d z{_`ej`c8x`4nZJ`1Ae+(#b@wdKw)5f3AZQy6z9Tyq8^rpfKxJ01Hi~roa?XrO@h-9 zPyPoS6NlL+3u63&r}&Fn30R!LU!at8ACDQdZYkFje&3RZ3L4(5_VYg?wS`mtD}D<$ zqYpW2T{V!_n2d5!DG32`UrMAsY&eXp_+gr*ZoV0!OGrDr=kHuSGB=tD!pDeADZ<_S zeM9D8##tlnvursFsXmC(2R#x>{xl%3jlqxDk zoXRc8Hp5sqlg0KCm!E7usoeV}mB(GLcXNPYcWFy0*QFRg!Hs;`EZus`JF@Ot?J96; z|Hye;2{WaE=3eDK{KM}};!VL9sx`2%a9y^*ciSoa3{(Dj)Eg9--(O$$1G2#Wm7FU; z6aaau$L@G6$n*{V%EW;Y%I_OLQ$^r;ZV4ZLWTdnZvC2czQ{18dv_RMDtB*POsP7^d zia#tKB;dtohMcDXP42JKS+LpTKZ)8jQZ&E+s>eJHX!;jV1=Whc3ycpQdH$hu#9;qN z3;eCL*E4z9z|bTIx^|E=;0sJvO(;1Sz#TPCfblI&9FI7aee3$=?VaGKj#x?e&F{ZP zJwQ==CxfD}V`LHEy++f^JTM8nVPl5*QPJ_v^Os`Rh#Q?sR1cSVLK{3>&j+!~7_&ZX zwqQ!~6rn;1L|GV&kHfJMuIkS^Hf6_bH#9-X-?FoOjMrdBjT0}@gwZnb0p-&;t-PY% zM)a^l<(3plN`!%tg)4bNc0(+0zzurR%g=DAgqhkhE_9-LL>5g1P^z!*d{C=RF#MRQ zGaX^atsmydh22TT4&)6N&(XfY0H#?!BLaRRr^kb8HuHnZjP%hS%yqKomF~X6EC^Ia zY1Kn*qL#sUDs^5`nA~OdzRcth8}S+)Ufe1@Ba2_8*%lL3G4* zd(V4LxF6Bc5cndjP=GWX(Gl_XK~-#?xfix<|VI@ao{mS&c{HGn1d3+ zn3*GQX+h^b|3Bpm3@kh?PEAb6TFm4`oa z%3|aUkt`-f%rNEp>1>hQKAkO++wRy%+K}8v(suf6fPbkqs^EXbU(>)!b(h-sH3cMp zm6L=vhiAxfjT4c)1kLeZ4-;|YKk@YcS;<0gB6kTr@Sc-HN<-ocqGs)PZi=@MvYi21 zaStRZcEZBicPn-J_A-YN%+FwDI0)DbOf9(QD~O~-_zZh9sQ;4daj2()eJU3Sp^`;X z4*YAa^GsW}TxyG)@{qciYnr*`l2~M%hm>JNO&3y1z;dilxUW~%ADjS>K=5{{AE~oo zW}XQJOw|LBZX{6f(+4s8YafLF{B?(h>bHm@9>hyl)(|3AZc<%MdF|^t$Q-hcQxl;- zO22U3^9VTw9rLj2ed}>F%I$(RFgtI6oEliTl}15URE-K_c7}fZg=U3;vA|!VS;z-c z>6jZ|h*)iY7I6LLDg?fr2zkAiTAu-U;-Uh7+Jz|2sbV-8KF{7$5x%4l-u)J|+pio;s<(F1QP;`HEWj)5c0Yytk{y0JYb;K8ju-JCL*%uj1b2q= zEBC|NbopmL>>5?*!i;AKR_pcTkJ!iZ;Q6kR7AhxzT5hI8kZ4y6OR_5&&J@FYraGq; z87cZws87C`(wI?}#Z<%-xlM+b5Lwzl%{^@Zkh_ov_Rl(22ZBOB9SywO*UR6|l?BZfbj)3NPLiDS z!R~q9n5J&CegLmk|a_FZVh%9(MoWuhNlgdY@G6TGpn+N zNN`{S;uxe__*Q!YPV+W2M~ z-^I(19_3OciFTltU9}c}iNaJDYoora3~q4F&{WkB;l=HqGW7+A2>NXv1e%^dX4aEk z-cmiwkK^2Jm#(I&siv+W@yVo!{@eNE2@W2 zy~zT3&fO_5`$J4hgzo3562OsjqkQ&Z05Xs*c2kH{j4I>ixwbY-fLx5D6PIFNGZlPu z?Br;aIo$*se3uiR5B8ml%liz)D|b)uNirjw}Z8gtC;MX<9FdDb@`PtdFo!mMRGc3y^QU{{WHw!7ZUQ z>EwAoo9r7kzXO<|gg*C`05 z;=gYReN`nnr6vd|K`QI}d$scIWOo;F^nzce9kC};N8wK7g!p~@L=QXFms6q8NB}SW zrh4>PKChOOp7IOxM0y|}MPJDHw;CJ5{6R|*E3U)h7y)9q`zG{Kp42X3&hIK%A_S_{ zUtD@RJ{rxxC0Q73&mV7THpSSj@@P}<=qW3IlHwY2x^kTc7B(FDpC9GYt5|D1>+zt8Hiudw|~>`xWa zNLwyHNZwD%QM4?K?dGk984>v?-BXGGU2hTkqD40w1X=8GZ5NAxQ60C73Ec>uMJj|w zu8#}p?bij@R@)cVmtP4LwK7NH+e8JaEu|&(w=K$fs%*AvQdog+X(-h`#H5AoLyi?G z*E5sB*T{T=j)Mi7^~#Ce5}{-#fK2TPaC`CuXxj?fSL^||yQo6eYEFR3G|)C^-iD#S zg&$MG8Oqe#p%NeanQezN3j#NnC?12#&|E!@h2v`M3={8t?8|LIb2ll3N%SF`{)f2l zlpTQzl)rlZ-udMKpgmH(cLJnfoB+NVY7lqff&>-gkH*e7DvAOpu1Y{76#MRAVEb=r zr3njT8>n=qsCGnR2dj*Aj9wbfctiEtCDWs~kf*!FWAPev=2-h6O8S^#0XokVy9Xj% z8w$`bIpOe^%_o2xE?9!96$EZv=a2V>YuBFu5p%y24sPrD15=#%z)k9hUX%w=BDleo z_4$DgNXLsSdjoIeikJG=f`S}+bMEyQ5kw4B^aeiB2Gco)JJu!dxS=nToTqPk7 zALd|ufkyh$oI#y>`x+3_4;eOt*X&MQ=Nwaxo&}`ji92|<6GJij?wkOv`&C=K;Lc@2 z+p6uW(nssi{ftDN?>Ex4jFq|<^|hsouWnu~ns{FqqUSPt_d2DFNpIHL^{UUltKV8{ z7*>TDl&R(&36)g0+bNbUhS3hAtEcJtZOhL2Po=i_ayN=|%eV^S9#{E+YqQU9g7Ui% zWp>a1aXwRjoDO6{8O%mM08`mj2%*URf4seAP+aY{E!;Q+Pk`W%0D+)EgKO|W1HnDP zX(V{#mXP2UAh^3r;}+blp>cP&;F51`JNrGSzPh#Vy;b)Iwdm^A6ssSbbB-~`kj?t* zocSNKv3TrUEXOyokSQ-lk3y{zp6w$I`R7uQ`RCvafB*X}IWNuIUvNe#V_g&i0L1^S z+5QKw@kln0n+4WIz*^}tjgz(Owf)U(u8Fs8Sw-@5z(1vSgA6?;n}*7UqJ zF&C-lcK!N~a%ZG;XNzj(ulXlwo{C^O5NvD1g>R3zHAJXc?#;(_MDXv-RmW!2lU zLZX8I z_0=#g4A9+LfsUc>b^E#ZpGCOSJN)dJDIO4qi;0z3FD`lv1ZN$0qGyM{4 zhS-rPJ1@u26jYFOLH2U=z=EAI?FG3;!@LAn&maCgI*itpE76k=mM9gcKKbssbGwmd zZ-2n|-u!woN8!llD1ZSk*X_6?$?;+5ThuPU#RS?LvNMN7KR=8D0tkrgQ{2nKHL(MK z+l)QUOT_ILuA%8ShhBjZM5c$J80{73QpN5@Kmyagz&qf`Q!yFIYU>yEMfgy|;4Kr? z4l)bNG6A&k=$L0%jg1=|Vji^MooH@VdtuHtW&sBf_w?fHVii$TMEvK9y;`S-5Q}dw zl;tR<;dHzfvJGt~Hd=zxJ)s3l^Cia&IhU&LA$`64c0OwOHy1I39SMT@L9m)BB0WRM zv*hr^#SP;?QvUrgrvporym1~+rDyU1JqRL=cSwDdO(rqk@+G|$l_$>R2pCe7-axC9 zE<5VS_TIr>wD1p=r|hNqI=yDaP$%`IGh(c**)E0%{m&Gx&|%3m>ZyxGZi93U6I;<- zQbmZ=tIax%O{WMhIkH|L3Gf4Xna*)sZeQjWI6a?3Prg*GwtH*4oI2aPucm*Ucdk(f zh**lTV-IU`vnVnjlk8+~@gF%wiN;}EUe+wpJoZsjOa_&1c&87Y_0C?I*a15gf3NR( zlIapn>&e`;r%Gj==Xzc{;!36SYEdtyPiQrGeOH`dkMDLWKeU+}FW;9W6RX}eVny=h z=Xn85)gD0tAJ`{fLW8~A?uVBA?>0Poim%@z<*Bdy3Kqj$}LPT8lq&5$&OutU`_(~DQdxXd*8`{WsuUhKEsrHh^V^ZF9zv5j_nVfeHt z6MlmDSdeq;wa1YoJ@=y$22A)oWiMC7K*eui%8*@_w3FPFlV5I5qOlgap}|NYbC?=b zCRD;5Envoosj;!Yu@lkp!+sAA8+9bqYLdQvipHE<*^G`_=G|T*bLtaIo&1noZt2#j zk0zWaZyPF!&UqFMsNs%X$4{#_OyC0w<}5QgI;w8APyO5_y)jGbPHiV^4^gfabs+Hu zrO(8Lv%H0e)~T;EaFldM24%*Z*@~>{?A3CFlt-%9Uy1FeI}%jxxthn1RFxJA={x9!0z}=I@w=YXtzZjn!0mb2)UaN( zw$?A~GZPyZAs5h|&pbLK#g^^SoW$%<6IWrd6)niXksc;#n(rge3Sp&kRz^gnN20y% zu3}ZLH?C1Pk&m#3-h5)Cjyc?i^6;&QtvPjgO{Lh3sp$*w&)FNW)Gra{N0>-Y!YMiK zhdU0{CK$OzjPA&6PA3`ZIz0cJ2&vp+4F+^P&);Di1P@k=6fK9YqDC%=h zx`oay3I{kn0$btI7r$9)b#^AvxzP26i0-Q>VzE)+@mdO?0MSIW=;&iBpq!Jc zxNd*_c+&gub?vbR$zEl$S&FZkHz@QYKts){NpQRCveUM(w%w1|zK`E&JjyTnRW#eu zQbOJmcq6-I{uQufyXd77oE9ornx!G$`wT7HdgLcgI3PJCd#CnFfNt<^INj(ENZpWZ zszg}8d+l4&h$qvONkh=o*fA%P|8>mZ7|rC@_X&u z%0Uq50?;BrjO3PETWCj0jUSepPog4w23wdDbO^d`#CZBf4?-c`g2+qykh!H|noHR9 zK;`#^P|K#5_ic&5N4GV-C28=X6WhAYPkl}IYAbD;i|A25QXoU`|%0$mf{mwk~Btz z4p>RxQ#--@X&0+Y2JK1ZmFas`E|_ zmhwIA^XK*ux-x@uW$bok$koqXa0rRNQ{l<~0liW(KmKqUUbF+eo%zv~J2*%!G22<>LQ_l2L zZ1x=MHE&7WE{lHp%$RLTjEJFph$K<)ArE(QwQo*mISRYEnZ5E|+NO>Z3$iu15GwwC z@=z9SYC<@lSu1x$lTvBhf`Jm!6)7=^5!P0vRMIvB@o`b*>#TNNdL|cDO(u>~ASZ3OTQu+|5XBj|?yBw_1**;M)m6mM=3HS_D39X#eub`n& zo`Hd=%F6K%=qb-&ZrzXh+_3KxUxbK*SDuZL3*%ZjS>^4$cCu$>y$w6cddI9IPf8~e zSqjoQ@u_qv*)i8!Nrwbj)cwflsD8bNv8i`4cuhXB1%E&JbZbdl=YlNt-FNjkdgHLm ztFpiP2$a|p8yM(9b~F6TGz)pK z>3I%CI%NuaukJRD!sNm4ejWz+F@3035l5{Y3#2aJRv}%Q=Cd^DYInXkfCY9 z*>mRiowo?V!otsYB_o|L)TucmV2L?k&yVY=<_6~48=eNdI{CqT!E_ixwU_)OvIWI4 zp~pDTYSqbSN=4ozOjWppgFK z_jR`qVW-jJ#HFwYBaJG-93Q3$o=dN0L7M=+^$It}&x~{VlU_yzi%_G^+q@r7g_7qt z0_3!jOMHyA=uMG33$}@6!L>?&U>?_1dz&3z^T^j3-1$J^S(F*XcdAbFA6k;a{8d^&`3$Y$Yy0+ouKhEQR{>P!9D< zcfRGFEKBaNhcN{{e7nwF6-!aP>gmizgqM6?pS``Ep>&8jbdKr#s~Qq@>fNWzhB2B> zkHZ6U(e%&G!;0_Y`LyFU2#1Ph`nSn;xEBkM*RCTq>&NbetSner#)|2EC)o&-d)tLVXNXto`5pt_V+TFi0kbD z+^}-o*2ZXnYpCE%iShKKz8?_~)eE!bhuE8sHOpcz>M0disZ{s6+Xlo0d?`li>+7Y< z)reIHl{`f+X3t!WN3b5}y(IvnWhtLlJNC7op?kPK#%ICHHcraFo0AjQrr4D(ve~j7 zPMI?ktotnG#I_%blczn4)o-n+o#Iv8nPUkxdkvwaHBKRXVb?&%2m)~*8Zekc9beO) z^u*$f*Er^;Fz>9R$%$jq{^rg9Zz$UTdf#Cm;{6X_8d!7=zxapW}ly<+d8dJ{k`6~2+m zfr{ok=@aA!B$Kg^OVcjiGM6IAi1yi81>+b4%sdf17e3WkxiL-qa=O9haE)N(kth~0^(%QMudwaw8u+fsuko0CDP zk?k|hI(YXGVpyaE(S2Vfdr~2caO*riv_Hi4J$yBI030pcH%r>yOFlBL+u^Am=i*eG zf5GR7?OlX$d4S-u7KWdi=2etjIZY;fL2O7vu#@nV_47WtR}5#ndV?f*1=mTGpAWKT zk4+`s&L+Hj-{}zkbFRgyTXs!e81Ip$MJ^)j3KttwIwP!q%VcxDI%S&(X-QRII>y5OT3*t<(vOUD@f(Ltpy%p8e(EG~-lH4#gVlrka zN6dY|2-t%q^)0S6Ot(d9a{wr>m-z ze|Nb%erDY$nrih)b9nvXezT(}ZUivR4Ibh2|Mkyf`d_t?;)mAJ!?sU%`ZSRFCcuIy zG18#L;e$|#<;VfCx@qj#lQRqMjL0>@<#TKO^4!danf2)~A0DKAXHE3B@?qmk5?xcm zMQg!8Lc6jV@eH%n?+0iWxV~L{qAw?$Q#D80v8TNj^qw=fvwubsz`+yTAOJGxtOhHW zMTq(o2b-{n?Wd2GzRZwhgl#FKvr6;nLQ-(Efvd1U$%4EU5qVkM*)aCg)7V*mQUiW9A-Gknqh{L}$K(m;oQGjR^C!M!R+I$_|EQPRKawf$k(TV)1)k@+u&`&0 zOA&fMG!5?qoIcE1lK}lHRn2t`s#BS9`uKg*G&xq6T7N(U&FUPiheycX$@ZyFTNm>A z`_{5gT~i^e!N4{|X!S~}U5K2pQvr(;Z4039-wxfz|( z&0O2ftH5If%ItONYvj2!=H3&g5O|npw@&lwz=Fn|6+Ptv7MBkD5xXL0*5bH0WsJud zhQd%m?oYoA(-r~MS#5=D<&Ut@q?xf60~DWvNqeQlslthe ztPEc#2QR_79WZv?vphl5?Ucucv`>0u3V+(%DlxL$- z20&7rW%FY%VA8;JL-%L~!@gz2@}EX8nqna^^Ratw?*iFKKK@ghy93GcJ&6qLs=Xxd zW_;o4%gRp5Ajaq|m7+hOMfx;+n6z!V*uoFbLyH1vvbBBo z?xZKtg<>e+f*}>zJ)E04-ag?vl-mbZoNc{CnV=If&LcAcdx|Ytr^$j{-zy|{ISjJv zFSk6E8}BdH&dy{Wn8w7UE1=`$&CC7hGgRwVJB=ozEydg_TF)C>y8B20=h+|Dypw^a z$lyc_TYpUr-i;BUPe(N5SNmdniB7rr<7m$1p0Nma_@lmzqIX< z(54Pc!whW~hxksnDK?{M?}r(3A5w3h|E(-2s~IG|;v-W(ileOut=hZm5^Ppq0 zXN`FF{+`ugA)DJ9B)~g-{Rbomr#&&ucfw1xqFj0LH0KG$E9w3|veHEgSvYNFReh*( zO@zY}LT2$ye`YSHurc&*X(uOp3ly-6@Mp<%4|#p&h=tg0MMIPIro?869P3yKI`+8S zIF-SPHOIaDy&|l8C6I^Ziys6M7*Vnwy6p&Fc$SqW3tHQpec3E+ZJ;X(CzbpGhDX-i zWlPqQP9(wH?$*eWDk!Zx{Yu%x4tLTs1hoH;VrmG;CWcTbXA# zxT(9x=hXkum#--n#XD&ICi2R_dVPe;ZBQzY^6uK7?FW;>pA87Om;=vYmsa9 z(0N#r7RPaZo~v2OPkj?Zq<$FWnvfJ1ky0={U5hB%eqs@)!g<-hl~FhS8`2O@VXNC= zrT10tNcHCfh`0MXVy|b{i^9Rl9d|LY{$X>dkB}Y&(g}1P5t@MZfYIx|v1@kig1y8^ zmOssyE=PyiZ21X!mfFi#r2KL(($O10fA6IKl27!@q}WO9weMqKqs1dy?<3Ek2sPqZ zsVY_zerVBlC;Z7GiP)8u$bvpnf12}TT@KD6%*43}7Ve=MD6hI$pu*L!iO5 z!pdawRPMyQpC8d%1Ld#nIP9PeC=vv|Y{VBaie69yu83{|EyI7JYNgw}uL|Y>9&Tkcr z^c}&?^e^dZ6BmK3?9(w|+m~G3w-21*5qY8b0Qe6{dn z|Hx7or`<=Enzlx7Zq>?qSbbDqVF3mky60=d>>0$jZ_XdGtj=WFe$_YDCzi3B&xfDA z)yM1fV?r5C5eL)0@2S|GkRjBr zPWZidb7a!BK zP-7Evv~H=wiE(7=XfUJVz#DuNHVT1y#}T)E|;6(V-O2D^MU2Br#^l5@YVTJ zP2bAHlShj{QqQsLm-xq;z_0UjO+`#7!_IeNPmCaq9#A*A_=8@icu0P{OT+>P?R{_j zsDxe`8BnO3?*^(s%YbMQ@AQ9{)TL~TW2x;S1GhY}*9AW<=ZhgY*5Ktld6mJRbs6+$qF2qJKp+pH9eRB?X(hBW%t$v-hyIs?O z%hylXFn?Da7U`>7V^gwvLKDn>;2g}e5BY*j#~Lxp#UcA5cz$yI4`|9TK^o*J_y=?! z)8BSLLvyA(gs{tk+Y93tF2*bJzl=8f@!I%nmUu&NsRu3*2soXnaM}KmN@JwyUVl>< z^P#;?*>n4}pmga#t(xpgx1AxHl{*E)Y<6?|m}`Z_I_Kqv?cfeIF%>VqN1-)M0U&gb zoT3Z#d|7l@T>9)V)28 z;oHHs=C*;L1;*MkTO$Cn?kPldclY?>J1WP*t3gq_TJpIP0B>^T$R)1Cqr|2$vlw_xO9K7dA=LMB@l_O`r?Dvndpbl>jGuDH-e_fNlEh`} z&s--POy)wv1pWQGij+5Ja;O$e+CEvL{8W5>Z{V<|q&)GO4%S#j;%d+Q`P}dVH0ApX?P0g+j{?bL&!3x|xYwM4m(k zFri=@OdBc0Dz)A{pW|uZ-d>RTx&)FPXvgbq`MA8Nxx{%&@|8M-K8=DR+Qq?blj|i@ zZ+{HB{BNKtyk0z3V&^>kiiILk)4n>Ek_*{!9OcYzJpdi)Rx=Ld@W?7Q=fiOF7>FQy z1!?+vpvf79Un%gwqSrmAp0xbc{@?{!l3b^Zh>o1G*i+7H#1s+I_VgorsOCxa4x;vo zqfGzTrA76d3eHLj?MgZjp0f3E=plOINq0^6&4zYHt+-ftAk+HUt0slM$(lqL5hLXo zb8v-DW%^+MB7NtVzMeM?jOF?&=&8--ESA}f3xmiuT_VCj%CW{;QA|GM(2lUI z*{-)bvORgp+?f16>0&pves$k%1Tz7gTuo?m$OgmqZ`b_L`Z}8(!fT9 zt^Nn(D)vAMtNTc6?5SALg~79SHx=IwNptwhJEN*lrm;6mZCwI;PH7jrlPVY}#oE?ME@l433;K#c z2yUTI_Udd!-7I(#kJ#g|cV7lpq6;0aIb?jtwGavG*0 z05ZcME)I>vy&k&$qNn7Lw>bZueTbzY)2xTme;(x1I{Bd3!{^bO=wPzCnXb}WAD*oe z)mY+Ax-irZLUUDD!T8aM8{C`_d(oL9$)6)zvtg&PJ?_0NAQ!&6H%oI;E_QdTNxU(9zbJl$1qO~vy>D&# zrd*MBxmnwZYA!3aF?N5iKDLo7|D$0Jb3l?*j{C^N^`7IA7HZeC zyp=T8?<7ETHvEP&y-W;f5wD}>Jvl6h8ZOKt-GY*N)v;3fT#=5Td;GpCu7cd^>%K-s(9N^4czFEBiV1OLsdeFMxM(kU;^5u1Q{C)AsYJ(#0R1f<_oI?j zE>w4A&tYGbw&l(>$L~fin_zzXF0kQBY%~d!X-j++>QZWuGj&|TTEecB^JZ3Yv(oHt zs24-DqehsnaB*0)G<$i$J8%7ciVQpEuNc05HScR)3FmA3W~t)-%>4vGjR`rl`&SGu zP7##oyU|OPH5615&H!u8;M#p@3z9gow6vy!zWZcDp4P;FWKH5C13T^2Del8aL%wX@ zD7~(2YawpQSc=fNE2<95yu`U*ftx{h?qf^-DnK|w>sRT|-q zMcfUsE#AGA@i+G3sr{^HtwIW(pOE4SbQ}20&nnMQTyUCG4L(_W)Z71P%l+=_>N(1R z?Y@8gXHOLj18E79wgZwSi{-NfSMSfLeO2idpZ=9&+^J0E;~suI*k7)T&GK_Tf?R6Yz%MQ(;di` z!trHYwscl$@%gJVK$051KasoR#BeFsro5^GlZE`~LKe+Rh_h$a&|jR}3U+ zN8Z-N}2f17zP$3TVH9t_<^`ts@yvs zTRjo8&2~PR3Y;$*w`7$Bg|l{7G&MDLlAN<|p3|hw{w^~C{{h8R7ykjxh>C5&T8d}( zt|AHHym9a;i6z{u;Wl_7X|Gr+NPiO0{Aj{Dw%fo$W!9O$#rK)&g@VadHk0Yg8Nkj#|5NRwZvJkp>+Oz4P-y|S=^H2 zn{QN5)b&l?$h61oGRTe@7H4GV8W~v*RJJ^KE)KZagcU{ zToE3NxxL>$B242x)k0B6x=vCY#ZaQP9q*+kR%##(2QG59eM4OR5SYcKq_UvX2usM% z#oZ-rMDttEn*O}SZn~0pac_jsZ=6QBN7oI~yC??nuf^HrV_qqKm9Qa-OgTcey~XqS zfdnhM4(XK*SloUl&o)Y+_lx?*lz;Te>m=FW5}0QpD}tq1ac0_6&+wf|to@bWk!W21 zUX)S)DfW9kZzbogSVe4m?)Iu6<7F;Cfa4?ph`BaF@)sB*ozDxPVMfdIzv$cvXTG13 zk=`WgMaa?7-Hf44o<1gXDcIV$C>FkS)iJ57T^jduXsGy%^s86kvdD+^)Y2ZA3M>sN z{~eGe^fUH5rVECT&yl;~eNy`B1oKY90TH^bjAQR~6iY&s$tqrBc1D{qM*eY(p9r@? zt6)SjE?iH4{y7GxeqJvr|Ay(szSirglwV|2e36^r|E%PYoo0Es663DT>QLxrGJ_Oj zt~L4vqVX1o`jJ#qj{Ei7eVb@1mFinRfHQd1{#tpCjcWu zaI407k>Y)vbq2`%3rI5r!0X+r=zZq4Fw6x&!l$phXUOQ7&D`KBYUM(q+U47)QJyU5biaYJ6x2Lo4Rb3vQ1<0FO{!mH z=;_+61VEyX=@Yr-eOx7bV@vwLsi*#5mDcFBa8281omz9@&64t&;;P{HG3elm5#J}> za9&*V(XJ$)bnjw`qE26%^DTZ7ZgdcBn9GM0Wb4r|j16Zyh5O^^M)_`))kLO!7C7_B4j}=Z-RXlf6--B3?~0 zM2^H;H7G*Q!=eP!AL~k;qmR#~hvv78?dIVkr~0YgXy zRq>}wy4QmWFwYs6VsDkMw=Frf5Rw(auVw`+`kzwWbFW?9HO%0!;I=(JOW|T8T{F3$e;z`(firr#GZ)z97$13(x;FcWp+gq%= z5wFnul0`(}wVgo6M}W4J<418aZ1n9zb^T;n%}(B;i#2gxq!on}PJ}~XZ>|#!L1u^u zopL*Y?zrO*A^ZhuRZX#P zVsTnAR3Btde!^PezYpy@PbC55K#C~nMc*fU)T@<89;BTbb&?O=P9N=sDVh^MX(=tb zMq!Sw{_}(e5}W@xa{t%88pj9glRW#$uR~e22!)kZR{Yun!>+afXBpxH)^+&reF&2x zkLD@8oc=~s22zUKT8S3#+mLwt!(xQAp!rW!>Gqq=^y?p#D@bvMsY(_LkVm$Pi5{4H zo>g8uQ;Z@s$5({livB()1k}dp|9jPm9`QUWK4GhNm#(6LGn>Ysp4NvrH~ZQXJl0ie z9RVM5;_VtSl*ex(AD$9c`fLHWaTbD>+4Ewyj#DUin?$f$IGLn*qrC-B!yxtqomu;r zh+y7HTZWoTnZUfipL-Ub)@k+nv%3%G`BeDNbrWX?BontPc2VyUhq zOB54_&d!FV&JHhI>|C(j)3OJ7 zL)<#&7CauKsrKG|^zIS(WD-kJ_={#6;m1jT?UD=rgm8O1m)j*F+3~7jaRVo^9d6Sx(&C)l5u-79q_D|4 z$|1VPFqb0-#UzGui5SF^4sIL z_Kdh>P%=hyA>;p)^#=Nw9rv>_g{2DTlx)tebSHgG4i``z{lBTnDzyiut4O1)Zh!S_ zhwCH#0f9gGp1J@f71FoV*kkO6Y-|>l=0Rg`{Jn0_hkM!jY*Ny7Bj(#%DXSZUwy-gD zGF_r64!Kg^2wgHB!sRFa9&z}ov&eozdJt$S+oxK8SE(nME~4= z&9EV`4#MM}T#MtlkiW;UD$*OEzSr$_T*+Fq0S)Dtgm=<~83R5*3Wd~(7I=lCxs?1( zsU!mQ3qEF4=-mD{A8Ph@TtozyZWp%5)}OL_tXzs-nEU-pb&vr!E3N(3@t?LxPf2eUYjVH)pz!-Y8cva+%7D+cYAlG@vult|MjWl6ni2%dD}c}tI$1CK9S zmBR5?ESSMlKTM06)=7ztz>TMjAu-#k@C!@lL59Tj+R%gI*HN!~wixrk02W<>k~itB z^j51{QAu)~{ROy@g0_4tLUvVY!WoxEO4fjHfdB2oC2IBCsbKnP_B7sB0F+VMfLH^4;=#r;9@SV`1r44cH{Fh%T;7_m*~<$sJeMC)|4lSrw5#pa*d(&D7l4 z-8aG{DmSXl;Vih_Rl}2KN?MVfbLzSVJxR5pmqI}n@vqE{hkEHZQX*un6SSv{$DRAj z%eXYqiJu?K_4;KmBz2r<78mXFk(XcQB(rC>#DEHlgi`>aSAk!Qu}PpE=S4oad}YKy z4+ry-@S#$7Wo&Fe{ROXerPtdcr2?H%d#LQ?*RWxGCx5>oL4NA6H@<>%|6ZH_Vw3#; zT@!g;JD^4lWM)SzaHXw;5dt=>0;MR5^O>Wohnmx)LE}Sm6M1UT$e}R&_kN!p#zLy| zuEoSB*t@6VlPR6b7hTOA+myQ2Pf7=vkW-K1%nI~%!7liT3^{2w7*4pQ`+k7Jd;@^e zd=(267IG?}*sUqhT}}3+j4JU~*tWWtW(+Akvj1KG+f#0VVi%Qbpvbk8V6$HY0|n&v zs;(ddb0tU!0$mA~>?QvqP31?5obwkk)FH%g3M!u|+GZW3@UCdZXSUG!DJ8RXq}>lv zT+5^01^x8qyh)cUeWxf7BX96q0rMz77HwVcfDQ^HQL8QmB6$I{8N5VVoJS2koiXPJ zkHwd*Un;}vq+fDsh20k8Nxy4sPN04jt5mB!L=qLuzG*D4WnUkdhKIyhPFljosD7GO zmnU5?hxd$AEY!UKT47rH#c!m%f9zR_a)CiMV_Ph z?j>TyYHb{=6~L$LSBOg33$r!y?Rd{tDpuVSWyj~6>z&c}+y`T!mw&|LPLr~6I<%B` z5SI(;EN|9mI~2dAHr^$Ap0a{8qp$E?}|P1X*iq7s=-5Bi+~|-hV*- zu}Y_CkA*pV@>Dr0`?{W_8+D&_$a?8ejaMri00ZTogjF^c`Iv{&37Lpn-U!QF+W~P@ z>RI}Y*chjztX2^G-KWL!3yTVjm)&Kfv0>Y!Jr381%hJH{C6<$UmMhabd7Mw(LC!zS9oD88jzFWCxL1TxEgpp zCl0;m4^Wc-7_(%==NZe7Q{vSlU~}4ov8hqc0TZK~7YT~AL3q%ov(}xL;S}M&w}DeIQ#^#;vG zuF(Qy+X66#@MQ1+G6$)yNZWTWF)Q}u9G#gxO=?IoB-{D<0O~fL(8{eQb$E$B)UEyY zONR=4$$CPXxKC2m5yZ7(x?*b*M(tpr2<1ClJjw+AzQf1-MY#!in~LH%wyRo!O-L4; zXWo`hDWGGRPvQyC?k|7AxR7RvGGwHGG8I&}s%qkK4EbcIG&GFrA1a9dGoayH*%#vlo zE*D<{%SK_Z5^h|{jXxllXDd zt325(4fIyV?zED_;X+`7XeWHk z6CovA3Oxcbe8>eF0IBkmL*w>D;=nh3r8>e?xIK~Xc|dWY@Vwp2g%Bx^X<^V zhC=F)m8v3QfEPy#YDYc+T1_LyPz8H_1efiGXBo}UT3;gam`b-K`&m)0l?B$S(8>Tf z-{nhhOC-cmYEfKcW5pU#e z9Dxt#jyDULW$~PKoR7K)P}>d;ZtAF2<&B#}#)hsh3VUiA{qX7^WjWTXyL8wicNzZC9nbPTjgjfI zxUoc!=edsC8Do$a(+k)+1N4O+MB@{7{|gEghp?3OiwvCOZ#cfI1QEh9(O@pdyQcof zyvDh~ldUKo4t$;6S)7ynk86Tg>{U02T;V{HaI z*sd}0iYQO$l*aS&RWsY_Zxr6hk2s|}h~tk73wiN6l|!cGMRPZQu7wbOFP*%=-t&GK zHH2wy8%#AzxH;rQKk)=DJ?8`$4vA{mt?@q69Rtnd{OehqZt&Koj(`|V5 zZmR5nX9YI{R(npkNtZ|(BWQtA?xcE+qRDM7xY>5;a_gP_ALO?56Xm&csn(X&%a05Nb(TXpWT`bN8P~BIa z-Huh8-cla0T7ohz;9$9mbuF~dlf*46GZJ?-IqgNNCjYe zH2iu8eL_MEoWPs9QsXUWc%8HfPA%wrht$}MoWlIbPk(y?(LI-n0OKfT&h%f(CE>rI zWIrqpqvqm{PJ7tfO8%5&o?vA{wh(_(B2gK(Vj>m}auP*fyXx8j;OwCC*Y;On@V?^e zc+(n2C_VT>r}jg{*8qSgpj+p=>KQb(HO1p?sKm9kDY@YPWFTfebIyat_pwD6&NC?X zWao-Y_?VHy$;IjQpxjKq$&GUc&L~Pc+r5N&+g|B~&KHxrqR$QnwoYkJDwF1=W6pM; z=$1qe(vcSgBv z9aE67zqmO{9@xut^2h&vW#nHKlK%%+RC`n|CCbsKJe3xMfFGbmVBkEUJn)ZyS#=ck z?VFmngtDwkS25B!`FptX|IYFOX;9Gr*^dScS8`gRBL4EyhfoU&9IvX9ZKrq!f%SkfA(<4;~=4c&j0o)yVUaCq>^FW)R7zH&<&k zMjvi0RSujq{33PX|2UdSEb@B+SK^ftb9g?%eHXg_JQ~&+i7Kh*qs**At?(mr> za%2}7xQ)ya>BYL%X%@5Z|A3l$j`^148n;Q8vPFc{-vSyOJp0R)3yN>&gezajmF6Zq zkq4!Q0QPp|KQw?Fs-{ZkJjuEWN>p3baR;3cEXiw_ zrBnptYqj_Hu73E-)%Pe2ADd=DS=q;`nxwte zODP;%`tSf?4l|;p1*8%c3cqHxa1;#s5N1j({ZE?~X6)p7Pdrh(2{}mSfuOi|9_&uj3ezFsnYq8&> ze?T&9&b)@VJ@abSF%w5(Tv(h9Za}w!EL~a#!0B0|y!Mr!bbh+q9&4Isq z^{rAgt~Oe!%sL4UE;7`~4eP)(sr%VOfU0>;ir*5`TTV*c0{AKl4j0W^lk5vCtVyFr z2T@_t25JCW9yxnjN=`0TjhZSEgLI5PF~on#;fOY5;7KXgr`_qmd6R=u%ObupbiN!I zC>z+r7{Gh8=m6&zDS#henAc6f7z_;Z8{%K39x;B`?Te7vRA27J*lZs~;hpc#(e8JL zINNp%Tjstn{nP|-o$!!A5f~UDr5HiZo{;Xwkbcc~pLX6>zB5@=NiFgT@Z)(|t8I~{ zN?&458|RMAykfG6@%5gC1k3Gu{)2l2$wUuvqzK5>)dUF9%Qy8@b-QuShmx;`B)liM z@zBwc_-TTea~hq17E*~q$v$qZx_Zq=`jJh#1wLPN0E`}*XU|?;q)=!K)K$FGN@5B_ zCdPW%H#0zZZg*4NFR&c~N32JxO_e&6jw37NZCwPc+|aJD`_9{m`WGG61@S->YZ?Rk zHRWb%OgxEXL=-ZG)X!(0G{=*S?>#eOg*GITy!Gzd)Z!=I5ls65#AB>hYrcfVMTMGm zPdNQvo&|~F96vywc6zscxo7#D`1DmqFxk(FIoW|sJrVV%pw+93>0MenpX7xcEv&B$!r?B$vzwX9sW zB>~UZM878)QCuF#9u^|S2_bur1OH!pSN_ig{QpUp+={|h?$MB=XgNYO^kBiN1J1g++(g>GsEPZ%#_lkob}$RBe6`%jP2Y{?dKM~rd;6(l=UZR%4mOZ=}Vm zfkM3G`M~3l^npt?9m2sGOH&s)@q8UbOCI-o?Hi&r0;BR%IaK|8Pkzv-UQjFlK~bnl zQ^m~M>O_m6elw=b{S_->NHBBftkGPX$8dJYh+7hg2|U}MUzgbRgIl)Pv^&t!-SghyrZWp+>LPXE4jqcIYvfvuDBoB$T*c2)Yh zx8>wR^Uq`J=5A5=qdS?WD~?qytsUkYIGz4^7D;)C)@&IdtJ~&Rm*JwpvX_OCZmup> zMZC{AY*1oEq#Kud`qA(hL|!XmO+ee_N}-E&`J*VaCc;0h{Cd)Wmu<86wKKi*MUOdI zakgVs55d+*Cz`CLhRwY<*W`HOUUjLR7{HeMmk)@~AJLepkm&NSZM`n<*KPLUS&+A69&@T@$8 zDHIEg+3S0zUA}wc6lDrHn3Yi(>i4X)H;X(6HTrN8 z{=xEQC&ad*Vo50pF0;HuvJTfEdsHvFdmPT?*!h2^mW=BueheJ82r~aAkjDa|%5%Fe z84oSFTl!QgHR5`?M>h=X1c7 zd-4YDp!1;=)?bT7RTmTcEApZ+`J{NAXw;SVEt_+3l_a5Zc6sThIBPhqu0+_h{nySq z>Uvif+3DQ_Elo6*TIMLT>_;!I+XUVH<5hK&KI30+=fZ%lbclDVE@Fnm2;rZPNR+f> zS@1&g5Hy$lQIW!C)m;~yOzxhvgd`p%sON&;pUT9g5IR@(aej+Hg>jO_km-?rfx2e*A}XESq`PQB{b&b z)4d{fTab4$T{GhnEQ9c$rvH}WFaDTi#Y`o&J^w>fC+37yOWg}vH>j~hg$FCE3pb1F zMm}hd*w|(%NzLAq^(B;^z%Z}++$@lMFG_Wc4KlMA3%1&))aZxS6QG;tT$l@?4a07p zO~V!uwWfeV+WUx7cBVc@wCX!@rqeE@Kjj>L3Ufy#E!PwRkX_r;3w|8Bz=l`%87S*E zA1KD2ibRZA!1%I5i#>jaT29F7H`c4U$M}B!9@={dKXbfs@uFf0}}f=vNEY2=LBlC?J;^KNFV{y+MI>c`@D@7ZTo~2(VoxzG7|X%rH{qf;Z;3 z6a3|sePW2Bxt)gCQl3YXBm~#IzW~pB<2gz>90}1hXIRSZZa<$mS4?Uezk{bCWBp#e zsXBF;$+sM>mjp(2iffz}A2V-xO&$Z8cxQB|i5?CUGyCkAU@Tx&1E(?RF_!{xOeofO zd$v0}c>DsE#*hQU(CBd=?GF^$h7*ci{>eTd5!6+ zu!RetEzUeQfLqhR4KW<*)|6KoOf8bZApbnY`4!?tN^*6*L*E4}w;CJNQamO_cH%;Y zEOt1V64u;g4GRx2-isOyJK`<6{P_q_W&eGFR>M7bgguJwd10tTK>Zw59~@M1U@3JX zCadN?39L}sBfDOM1Zq7t{nP|aSF!6-5FJWFgbT#4fBC+j9#}l$l>tMuAn9(Ix@Vlc z;Gp^Q1J6YLooZ%#fTcZychvDKp?A!68iFNFS+#k>LO#von?@Hx9vZUa+IF?<{S%Z{ z6{m$pVe%n+!IlLYJ7h#|wHvBIddEPo{5)FqwtSlr?hGPVD~y%(b;k0er;jk?uf*Z` z)yoPD=c)h90OinyRz=M#oc=o>FbZi;Hf})HJM@TWg7i!QK0&iCza8vpw|V9=0(1XP zymDrMsbHT%X1*VRME_mpkKR)+8# zX}1o-8GrvR+ffKr>FhLi9xl?;)2ClGrO(au5{gr(e|0G_>1Zz$)QYX~=hjaJyI+x> zF1iYr!$58fk49s9t?ix(t&N~i_tD1+OTdEg92b6wQqXNW&$t>aQ4y9=x!^Ct*{e!* z>t1!%fgJ+_D^4s0{Vm`br2!Mpe_kxkn0)lZl)-Y*j+U8t?*?Dp=k%IQG(rNOHvlU@(5CoUkut3>#` zhtR<#Y!8rF*}8a-|H`gJ2gEe-wi77%>D;BQAp`5C<}KiGE;=+K_@FmDmh*yGq?!d) zmR1gqN+J}I--a|_JpFa)Wi0uastWxZ+$D z%gKGH#zitg%IyWS;5F68DB5&6amoR+z&X20W6o_%de@(dquxpEHH@U1@$Im(;6{)F zcyW(cKpL|1@6yr1ipsedfo2dW`=_Z?i%#$=a&Cq=RjJbQ*A=`W<4KJ^Q3DEM$+KD? zxDKUsolNq9`)QKJd0mX3bS>rtDMzB#E&`mN6@SeLa}yECR#d*DHLv3}7@h)G{&%l+ zB#zkJU$sJ@e`G3BFt31DBfVw#mXrhtME;~j_aog{7$awvwxi!5hT-CcN_3tZw(p-V zj*4<|Y6#`-WJ!%#mk~o7z5IR~2L`acX6nfM-;bt1$Z-tOGH zkQ8?jh|<4&bj|K1m%cO*w3Vut%F`U?OxtZ}s~t#=t{9^k`&4}Vv}aXh!yFvxY&eoS z!AhOj${L_;UeI}5c2_#HK`=Bl7{IL)6kSg29qd3nvK^I(`u8ntqw@TKp%y-W!Tr9N{DgOSl zy$>YjMU?mub6tau{hMbWZC;QAzk8W)?JDQ50m90@rW#hn>sCF7++RN36~A7&ZLB+G zor#Da*74WVgG&q?)_4#$fo%hfRXksmbHFd@z(&B$CoXr&ypj(;#<$`T{`a!j-Lnm@ zITMW1#925XZy;H%jlLs((xhpae;swJ%i)$*=`(-bTbdsz0G#Gtzj7Z%A@+*S*`T8% ztpP*%bep1U#g+lGG!@6!LV%*t7hQhx$!@Eeh_Qf>0$jkCAA4P73qLZ5|!hmc5!I)js_I)+IWR5gBS&NFjc14l8He(T_TY%{wseT%rYZ6oBM(?=8jhE-? z7wnZ(gr9h?_{t}@e?D?Xg;^1B2;bC35^!#amQhKUefWASJ)$5c8e!n4BvVQ<9GDk% zL-8J(DLqB{HH@4)%vZY^HkxseE07(sNPfF5q9u0|olg`xp_h=x|IXwtL>Tda!pafdgwjV$`>q4%l(HhScj1(2RqSPtcRqDA_oP*or%;R zOGZ(=q!*QJUf=DvSe^&J|Hb;-O{EO?(cIY#Ip+^wqQ*)0k-xp6^|6a;75m7SR+9JA z>2F64nJK5A?vla~2cY5lcOTH8`Yg<@iG5qkcNptDe}^eK;Zd;VgaxT2p*-g*@;FPf zT+XWhbusT&A5SrfCa#cEq3^n-{Ty1wuN`Xc(s(|i5vbtXxoNZ<6^Y=lN)IuHXjE>{ z=B2qm1sAP3KluyN4jL-*4n&i&Trr=$nr zXSiwo8aSAnf@iFkvk2i4b;?sUrs#U$lYwiVVUET26w!gv+H8SwTuhHjQB)zl2LsTL ztnB2xr4A|JFo}}gDG(#u!w1Q?$DcSae7*o4$ki#P&JL|gUWKm8e4To8aoO41Mf&Nf z(G4xnrg|dyJmkk*Ay)0El7RA7^rNq?`t`Lg?Fw;E+u^&*en#1Zo2kr5)&GHp|8Eo5 R|F8Z3e*Etl5csd@{{}LG9{d0R literal 50871 zcmeEv1z1(v+U_J26%au{kQ6}>1f--}T0oFa2}$Yh5>!%JK)Pemi%vnhQ@Wc)cP#D# zb#LYDv(G-~-v9aUz5jMU^Vw^zHEVq18{>Pw_j||W?CaSia7$EBL=b?3g9Ef-{{d$s z06%c;>Q$txSFRx;AziC59^J>sr(k~g z=rJ85BO?(xD<=y*2Mq%w{rN@Uu3x{7f{cQLii$&j5C0zhzy0s520*_CuYj+ta@73E<8b~B&nDlOe@z?J2<<(+IcW;m~XqvlUzkz)R2lp=719FOol#EPI zm|0la_@4?03JHsdzL1fXlUGnw($apVqpPQHU}0%xZDVU^@A1ad>+QSu-a)}3p<&@4 zBO((LlafpX=(sG&D9fxAgS(^$!ew9U7jRo|&DSUszmP-rU;W z+1=YeI6OLU7aV}_ty#ad>{7eXVeNuPL_|PDI&T*oybWwaKu5fCkM1f4uN0Do*=-Vf zw`-Vuf$@2@*Y7h(Z(wPfci+G!Wt<}0Ja5`X%l=x!-2bDN{noJG+cgZJAi%*o4*?zE z2KJ9A5?pWmz5Q*2|8gJ5mTVXX&BgZ=mgB|di=~eqQd^8O&amtsdIDA<@_5{?6`9uI zl7rxPIeo7l1TE(3oB?`Tfig_W)wk3f9|vvCjx8O5Gp~MVc=l{c;`$6e7VAz^92##z zu75@PWGtjd(7B%c3~+-iodHf}DxGysVlSAP%ZziZIJOzl)p&Y^RaUJQf_K$8EqDmu z3Ye)IRrGN^a`MM3?P--P9AkWV@7kIWE`qzW*%{zCpca^_b`Vgnc3-iAH)}*l-@X|` zSvB-|a+ELrPR$YzVX%OC;K2joS@|>IO=`V(p$9m}94&9UtPG&YMyi(@H&DlTZ5h%J z#-mbXJOk)FlWPO!QBG!3HAcY9Y8%k>DG1?=T<^(?%x3D0LofEylRmQ;K{TQcS5A2E zjvgjnm#Gy_i5YDYWvj?%pC~tjn;|mPCuUQbQMLNmIdCDLP`qTxhu+nmEF#1uq#N7? z`-d1+jc|wVMLeZ*Oj@((GG#f6p`zn3nM$Yq612R5+iHaWq{n5vVPe3Q?FJ?C$cQRi z|5^^Y|Fzre9B%nu`5rL(;1Z< zpLAo2XtQH^=ZvYp=;V!D+zGg?H@wZJAHLbK>6`yD6K=%|m>G9vN=xttDE>d&sA4vs zM8~f*ObGPNU$=TluZ;Lw_!<(KgC&xODyl^l#l~n^cR^)t8Fpl{Pk8Z1-}FvdjituJ zcHm|48xF<9c%$22FeEbfjn)S56S_v%?O=hXqSYjEY&EwC_^`YuaUZS83L!#f-FCP? zrag<{j^w`I)csQPu`xfp)+lYx0QiJ%>fnSm>GZ?1-gZ(i{do<)HTzG_@U9%g$j#X& zS2U)~>s4Db@Nkh#y+@i)t`mh?m96S094yq8g&1I5?=M`Us{u}H4`X|RI%~E^9QmTu z^fjK4#porV*t{p;(G;W`B+p4UJZR(zueV1~91+2{5g`#nZW6vxbL1*K83{BTI9Hog z4DQZ!j+lr(mE6CR3Vnk#rEqjLDs$o>_6zy5!J8k`okwcGiZ*kx1i}rhCo82JRlb&J zHx-w%n|humH8p?2CJpvIHH<3S*!QvY)0HppN$K`w^K2FO34ZvJUU-pZWu514kF<1B3umY&YSO0f_%qn9qe%X zz!?+HZ`y&ql!ItW3{?@A26fi-S+W~TtyG%mhRPdR#nyKTVq!K)m5lnNi$66!@@8GUsQ|@_pRRl`qq@;PA7!wa)a!YpCkRuc zb^(YP4}ohosNQ7VdfF4~T~dw51% zJyP6(25k+x1oV=;Q0{j?rf#az_{qxwvQkg7W6nZJ9J3EN87MP@xF^d_5;%}5YCT#+ zLp&AbXZaAE2~Tr|m60uw55d*tk%ps`!Yw|d>`8w{S#n!SOnhIhymi6&xG~j(5#fQv zAatWwnD0sQ*qdLyd`#y*QxbR6%bOw&{=aLB?4c~`{WQbzka79t8K5$;7BH^|Y|D3_ z0qY)6OuNj*Ghn~=47lNh33M_!5kU{Qr-UM_0$?GCXd|_o2j%ZW|F*#27Wmr&|Ct3E z$8lNa#JM79M~T*Hw=sdglue#xO()& zWs-=$Tb)Bnh{eU=46xWd16-ZZ1ROU7@TY!0*$GV+S7r6HCN$59`elMQrGHI|*gn#6 z>&chDYWQrmx`x2z@S`zsSZJE$X;^M_m3k=YJm2B9pw-FO%aR;3sl)^VSZ+zSsmJn4 zv7*5OeXGXAt`ZQ-dz5f2&!3q;!I^r8lpjg!C^2wUe`J*XHp76P=UuOe;p`jn!y2;L z7oSizI4KaEKXMN;A15A0Iz4vDHrW^2X8da&@n4=A{u>m;3>VoM&{S%22B;gJ0dbtx zRt=6~XF#C&1hi`K4B)Ys{yN{_0bArGs`u zuPj5QG1-6_)eH%BKBqOt?5kOA{DYQM&va=@sg>f0FWsWN(!9$oplXx@mt*^7Sv%k7 zpW{lUf-JhwntDX%WtLi!LbS>sFJ||k-B>Iul&4BEU?|)$b?iU1=wQEj6OAc2WpPjF zX}Db9e95gxRnm>dSErrKZO?$+7X?hVO7B5gM-$@AkM%%fl63(_pb-Vd(g@=~wFesR zaGmNY3^G;@4(#FrkX7vuWSKHr-m3LTco$lI1(@#_48ome}ZGH8;N$1b#e zu;i?35B|r*aHL&r>QYhN_WVyrI#pz^(Sk>#GiiCy_^aZefi@xXFzZrvcGDN5zP@hD zoQBB>uB;|E-dmml$n7A5u;Pa1vXbPA4jB8_O0f@yIS39lNBF1sMGF~c7RaY#b!6LMRE;V zctimg^Y`BWcuP!Is865r*Buqgg?$*|FabV9$i8pZA^2#2L;PzCNTDZyv51}aA$R#v z_Z<1Yi_+Hmfueoq$+3dV1T1NsPCElU!?VtSPVn2)V;3l8I2)@=p`Kk#;>E!nNznBb zHC34J(<+_;v4&{JduPCjEYU{(ZtUS+?io-Go3p-1b$A>LzKvMs`pp}`a}$>ixqJ!y zMehHe+o%wEomix=+&u+*)?@o%mhaY;1}A6J9SsxboP z>%wNy4jt4_;a0%e4Abf-K4GxQYp?nUp_}^Mw<&qh1~zAtmYE#ff%<0CbS$l!+$-~w zig|#7)xdi+C~^i|ho%>s484AGWM>p`dZR#& zMezw3*X6+9n=aZ>m7u+aD%yk0kdlY1A6KLGDIm(f`qX|#zJB1$&xmn|O{+BYYYifI0H|QY;^*0Re+z zWe<&#g9v>1RG)7qnwfN#zX3zCgjrOzGW4xg!ZO`~H-Tu+c-K;v9eu6ur-d8>L*M)X zvE855QFVDOF2aM zpIzrx=})sn)p}aDI9w5Kdb7wr*aXp~fEZWZ_*&e}lpksS|06(Ws~Uz<=|*5EH35cF zP1MrWwqZn>a;ku;ndQ`+lO85v^#EXc2oI>93$IVBLG)?&0ZG}@Yw zT3k?4UZE^Zq7xmZC-Ig$K-6C$=6cLS;HIx^E-x(c5;^+WtDZb&NB$6!xs zGY1|9?&dVk03+@lW%>Mp4`27`t0$|~yRVqVVw?f9DzJGt2Yd!}5tg%EMuIX$Y-X`F z;qh~pQUaQeO;Q4wz|Wg}*Y5TgCp3A4!Ir9t)?HZ5tB}+6FCz7pw`#@5FAJ*t#qd%z z^Rf<*X^;I`Oj6Yi`m_0;53Gart?%wb z)ZGH+MOEy1rBU^|tHox+i`GjV`K`AFd))IGjDYX_X$kRZ5zDMfq19J35YcOx|E z-cT7V!%lLvm^y7=7Y;ct&r!lb^9dE&XL&Xw z|1=XOJU60{>M}gs{6^mmG~U>b0i&2wMqzf@YDayenCSJL(&v zOygcg3{&|cdJU{PwfeUv=b~bqKgn~&e&ycq;W`5jQFP~y&w%kWpvoDd*1bE%rH)qh zJ~QI}Tc~222MccJqMj1g+qslsbNLXk5O zvl-#?l8UflBQ{R2EANUUT#*n>8T@yzCTHsxITNzc_;0mkyVx;gvyhYb2KT0lF6<=d z8woO`wayKvwjD@|%^V1F>KExtS3gR`DI5!ODqf$pdi;fz`A(QAdirwP{MhwcFAO_# zhubRSiSgt5MN4M)yp(N>5)?>pmRB;YD3zJK@3IYYSm}S|ZtF`-+!^voi|Cn*&Hj;9 zj#opVhWY-hg>AJLxIBqn2or8cJ=WTNdoMg}VCjE<#Tfv{fqVws4}E)Dcm{MEskN#x z{W9^Sy|#JfQtMouaO3i<@(=lC`fJM>ZZ}%~78of~fA}H6n*#WG%ZXoE@IE5UM#>3w zst#YqloHT$fO{6chPEGm=0 zh=>d}H$%!9V(BuN(|t5hYyT&j=GJxI}& z=%=O*_Wlvs^WMPr8E`YXC^may*UZ^!-)RA#7;Z5rjtX4Y;|W82U(vW2btCWaT~h;tT7Uo`7t=uH$MUsl`&tA% zwzu5-&D9ougf&#zUPcF13Nh63u_n;l2g_^9UY+;70zbMnKASFF@;J3{DdUcaL%7KH z>_ko{24V#OhQIgz=UM_h7mE=>`wmh=w6$1$gg2NeA9`|56!}j;EAN~E{Pq#6raIg; zho4?yN+}X?T^@{2i@$*Uyni-r>0+D{N}2w^$WiMkG(M`&Yq9PdG<&4rm8= z_%9H#ib;Kv?8aOv0#xmSh=LgU9)zC(By-iLPB~E5UFok&--#&!toPgZ1Tde&{k*C3 zUAS$PLr(nir2V1%$f0xM#dU>3V#iMPcjVsYe)H!+KN)x=cGzqZ_Jh9pV-{~#vOWNf zGN{uUSQamUrLI=}Ee9u}9NZ`|FIx4nW~J2{Jjf=I9?>oJxRRV_wo{$7ZQI5b)$2|X zd56=*g+>OQYWarc_aDCFYHP;jlYpBf{CYn!&QW#BWEHX?n|I9BW~c0BJ(JQ=?L}Ga z>Nv1*(t|TjB|sCz88H zJ4}L+^0%!SDYA|pZuxxdN+?)N3}N-VLB-|G%KwkMi5{n-eW7Gm9=GF=V$V9fSoV!w z!CTf(He=Qtj3wHy7UeiN11gVX*(gh;INC}V8c)}I0=T%>okJzOS)W_bFZ^;4#T;*2 zYmB4I_$kHq40L}z|Q4kYA@Nb$LSnY^N;&j(H;uM_Dp6P`P|#ok;e~j6(%@I0TQj- zlnb=TTrxu@7pN>O5i56s`AeB4(n>H7zF(4jzODa!&-UkGcy$-usIT{h-N=eP;i6bN z)nY~m4W}SFoHnA$$)0h61PPH>S1^5Qm8Q=CaK%#&t<#M0+m+kZ1<=O1tB1^oQN<<= zbgH_Zj8Pyev5ym&$3}B);T9R@X>0aqDOUjF?q^}L?sr1>Ukf}Mk;$uBaAoD@Rq?A1 zn5yi~*+o{RUy39Uu^ch9?;}NWe;kg15}}r`F~3BAdyh}Oq@xL?E3xQfRmm2*N&0AMc+%K* zC@UD5=+SX8DTR#Ungqr*qhIg?>4m$+Fg@n|1~Vdo?u2|WNZ&Hh2-CVpRZW#U{7Tua zN;lykl8^RE{asi7E2jEv>xDrw3k=k4D zG^;er72ns8S$s&^c>o?hX3PI7M7Tvl-*%jPANO;BxiGhTBv1;QTdp*5_kl#DYN5#n zqHjwLUuMv|WSOLA_6thx`t34KKSWLNo&~#L7~EPZGxDtTYcIr5e?+g+=2Ilw@gzqL zO=ZJ2gLFkNi$HThE=nHUQ&@aVVLPm!bC>8bF%p~%A-yDsKS_Pr)HY~=zb{*>a^y9Q zW~oBGk>7}DF20VBTaT0?7ioV|x21^jl%Mve{6>sozEx8O$avm5jn%|W0h2TXwj}uh z5T%gCouL8lM|2Id_k%rF27EmI%e?2-!Kj)mGJWyAIn>l7y|QB0XU28NY|PD{WV3V* zfP}In)Af&@7ZM8eA3bWXF`=Y$Ux-bUTC3Shn9{O`F(Sy=)r|+T-Z_RRE}jZ$4q-(% z{zXnio>%vscaRd$c0Bkwi-vuM>$bfE6{12r);|LhhAYD=4F5PP^8PxZWOrPu$;ndt zf70C`TeMTflv0SLzZ`&J#R|twb^iXE-L0JBty4a43J}`Mhe4;c&@GstPVz_Q4siY8 ze186a0aH6RwRJP~Txn?$T@#tVvi=jcTturAas5Gr?1Roar7t1YxwbLWHP`t?$SN!1 z$4q%uATvQ|Q#?1T$_GzKqLK#-A%b5~-kCIcnR8+WR5-O;s@>VVaS$bZY(Fe!^d99E z{sJjrj%L=WuBD<$QOVq9$Xkqp#Vl6IAj(jk*hMQM)EdZoH42e=%3O?+*|Iz2Q zb{%l@ag8;JDfbY+Lf*aE$G*eDSE zH-hztoj_xsX-ch}EI8C(S5)`v`YVoA$=(x1AvvNL_Q+-%xS5<>N0URpG>+T%s6uc! zLp0JmvqDY%V{#IMQb z?Ug+b!?P(5RK6+RKU$0$BZPXN4#7X-i+=Bqz|Dhn4n*`WxIQj#K==QI8o;k#}bq81+Mk-Oj(XF{K2y%AL z>+8iKHkO{WRb8~}`^5X69;d5eQL2kR zw-)Jxfcb!25v+26zLw~YGcCE=&n{){dl=I{Ag8I1$01IWx3JI##)isue0;sYdP?^! zsA8i)Nrl-fR{RdNspH;Z<+KV(%Ku5 zTb#mDqenfsv9w-;&x%kjGM^n$M;$Kd&Y_&7nrB0^7`mJu8m*f=S_rzvm{Qd@CuL>J zF?IJd-WwiCY4}OB*ZbM-dySC%;q~BK{N$0{MrVLR-P-ICLTBHN_;fuR=DY8!d#!|e z*GPQ@=+Gbekhq)GE(%IA)~of>Qtzs=;eEvlCBq#)!6KgYSi5$ABhy*wNY;o!@~vp^ z%RJXS|9gHN<_f_`}+8 zOgdfK+fyYm{YfG+5JX-5;h~PH!Bm5VolLp}+bwan@p-YPHIU=dusNZ^ki=E>Y_#~@ z?ARCGmJl6AalZZs=%38VRIMzv(5aD^?#C z$!`l{j7$p|5Y1!+AW~iEo{oMMXF*+)9TS24~SJVWC=CT~eTR%Tfc)kH4Oox)Q_;$eOQ1@wr7{YF=>s*6r ziVcvv+xO|zLoBvm`UZeBMW|bxf*j1lES9(5X#_oODlV2K!+bbnp~b>ELXeqN2KL$; zf~?(kq(@ZSD9(M<6?Ai8RfzA}EKxE$TzLHG7}H*I%6Lb(v?8Nz ziOe+x7IG9Mz}I>gt8^|WS+=*ZoSNk8$k&l9y0B3m(lD;17?Gp?79ebxk-cPRUG5^q zl2SSYh^FKy3Fkmw7g<oqGNm~E@f#0_7vy9j91lT!UIOnyw&mCmYA6E7HDQp&cHI|2-0auQo?=GfNL%)L%?<)LaVwctn z$%-oIGUc72Ou*7PDb}@BMv;)mrF|LrQ!QRN;$WxM4yOv5`bC-lmr1&7@9IV4A~!Q! zc^1rJQB?ZRak|1VG+sAu$;f)okkNMq^KpW2>wQy9Gi4@En38lwt|#FbnYgl`)PHT1 zdrX(VhFb+D67KYWa(D)OJ-Rtwtw^{H zOe&KPtl}4w?K3Af36Y2J`x1}ga<9+efY7clg%8N>50*tH*_3(KmIPt4qNBW|afk#K z)4nT_9)4$hQhyImXg||%|G{T?yx3i>6<6neW{KhgT+PN+O0fx5BQ|mEy(Mc5Y*}*@||I*VS{8g2C?u5H0x7 zk$AUmKNC34xuaNXWrm1t@3}tYKQs&Wuoo11E+KS(7@S250kh-eP?KTsQnbLT#GHn) zQPRB}5ApQFt~0I0Gx|{uH*S|RScKh=JKD>v!sy9nbh^s!P?<0_mK=B|0h@K0D+G=! zGe>!e8GCQt#Kw$qxh-(`v-WEmdSN0ZWmI#jui0b{>?;(LsvY|uaJ*QXaaVjT6pvCu zvqldRs78=|9Q35y>K24!w64+ydp4~ik&kDNsHhvzSw+VnrdT)aAd&YBFCSV7`%27~ocj-En8dEjFGI z+%BS@sTidU(R5(d=;b|Tw9cqqBh|>`*L9UJa~tg|IvUIN3L5Fe8f#k|H;%V3xw$wU zSjrv{hqLqvpeP{_$LzBTVzPYMRD-3_0mP`GZTkQqZ@o9?g89Rz@2Z4<=s7XMD@+>!tBv1uu-tz*7MX<^G)YJsamA z1?OHSj&?==y~)7m7koUUb_K>lwbVg}T^5USUV-lAt2> zw;Jl|?)j9?gul)&vQE?4U39tIyJ6Jdttu~GRu;5=%(fZlZ+BBQ7;tSYB?Ncq*+6lM ziw1~$v%zkRVJXu_d{V~~)WRz9lbhwehw@re4ycrkPXmrgUT_x9w&?1N_T(+MIoUQ& z@!&B^skl4x=2~we`>=oU5cDReCKbo)=rMtl!bj-mLEI3tNBMBG%Dc83d|cixJtNw0 z`K5P##*Ic6V^SjMX?-@oks7ZGy8jH~e40TFW4L5lpBgnqXR^LDsgmcyF#N}_o;qJY zvVYD@Hx_!~JMGFg{AY^D42v@$+rU3FBu0zRyEDQ6`TRNCL@{^s4|dZ*)dNJyH;I#! zU@}3`yFDcMbhSq>94|;E8D{Pkq@MT;DYE=uX{3i+@&7Ti^o^nl5yvIII(sZjY3Z_Z zXZeDb>XQ=S)n?{iZXC$y&-^y+&E#Q>QW1&v=;jUVMh&Sk5Ud6kYKS!5C}EvBG1Tj`be! zVnVG2l2p&G-mXXb;{J2vAUgbkL5GT>M!_p~SHlInjUl`2AZ3}DhdFDv1Q98pnhA1y zS~M@j7+QM+@n)~c2GWfl`NqB~y3$W?-V+1InS0f2&B;@1T+jY6!rc6J zw{IW=h1^5`n>_11W%d-gw}wZOqd#GHFKE+c8OD?#z^A~1Mi(qlGw|kr<2dZUaf8{U zO|T%U?Rkk9*ymH$; zeF(&aq@>JKQ0#Nk8qWGxC|2Jf=M1W*Dza#CwYQ}&S)a4PW86qCF_MLYcZg6-xDHzH z9ijsTqG2tmHwtHf=ArV2^L})6NrQ#|S5P%jzZ5?vaZk@EJ0~Tk=LrrKGJ3K97^;-y zEl18sfpYF4cb&sx&J=timvE4kk{U=OYlNvG+C2PL=EqhF78HPG;j1@LuI7}pSmqy} zc2KuE5L7N=nA&UTOGg0hY4OR@&hsm{z5DIk%nMShXMlb+ zTcpcwyVQV>7IVp1EQEPMuyZeJJ6pFNO853Ds?lpd>H}>R4)M7(QgdZjTh0Kb?!n!+ zJw}sawut-1((jC>$$`8z$v7BIB(Hlce%M`bnsTxdQ#4>DMr|-CK6tNy=r!t|9R%5E zG?7e!nUj6+=_)$z*C`q8NI?Ae+bN6pRVZdGb*YbxEH(ske5~! zq-J;qE(+UjI)2*8;i)Ci(RKBz2q{sEkEb8#w`*hxJM#4EQQPeqg;yCWBWn(|O%*{p z&0;K;f|bqI(TPLSgY`ybUf!NS=y63oKTCRqd>yTAj8i|9sraaFCw>*#+~wRti{Gpj zE1;t%T`D<_7Exy3r_4QU(vhWd24oS5dKD_;RyKUI-4mC>iD(_ea3wG(#WIQ_o0M`S zQqlU_1`7+6=Co1tOD|LDsxxj%4o3jzXTJ6_xkrjVA4<8UDM}Pptj|xyJHKv8)C#A% z;KsqAV1WbYiDy^5}w9~j5ecPzG6F|j7b5R^bNrtBLm^9%Qc?607UVGjCS>zk>=EY>t_Gjkm^ zf~~xy!DhcO#J3)o7wz}->_|s8FgLKq{*aVuTF;(YBotm^T0g0^;yuw5U+VouX-m*B zLL`hw`QG&fgX5b>Q!zVmCg+cqX-{}8q+DN8*q4%u1#*yON#4mS0i0nuFE zZCxM>qP513F(-qfa|g=|{}wnJHOYQ*yHu%X{J+~JS^!}F&8L?7o+JG8pRPNx>Y zmvWQnBN$0?euaTIvCAWi27W3cAAa|7*v$gV&+YGb?hO(Nu6XCZyEp{xb+%llfcxh^ z!MCA9=bUX$mL)F+)VG=b9OQML?=OeEKW;dTN?%vP`auk%|Ku!e-U))g>;lH;_DH<2 zVp`nQKl$ytQSiDWWTaBzn}a4?U`!d#R^{*G`#j-5LU_VLDkbP?D*R-)N??%I3%U)B|>RHTcu=4y8aIem*)=? zwzSkD_a%50Ui_w;d`)hyTorv_pJ^u@qdVg7A@@XbXpAui#_*?}1@v-_-UZ4}{gPpk z^hqc5g!Vx89d#U-FKk2T#_gcIxaX2NSk23kVO2*d5mU!_nF>~SikR<&lTa_anr)@8 zO4uLEg?oYx+XeAPR7JFotvqXsL#J^RS(;w5>$oy6{_8Xo{u8WH7MYk1TXU|`PoP)C z;P9z202be6!lC8-XF$BS$$PZ$>1yP*lc(en*EyN#f$D5SL;0SU1BH9}rFIxkUTJC( zK~@@l=l8^;mk|H+X@r zLD&r@=2Wo4tgiRmNvUZb^?_aMMuLnOS$*hD=Ac6(Xu z#iA)$j&Fb^)O7=x0axGpYT$h1@zAIc)7*{-igi;>b7k%|sy?mAC5U!$u6OIRplLd@ zSxz@?&FV@!Q=a?Pe=uM|R9Ps}1iAx5*M{&SP>Q{SQEXSwDh3?ikq z17+!`R%uS*oN7AyB79`q*fe%@b;3%DC81*UkVBy#=oE-EkpIGvlq9 zr{iCu4BScsq@9*Ya|^te))EWdXw=uA<+(z3S(+1S&A+g5@A~Xw4u4B9;CEq)ipX1| zXFw*AQl?zCOMd`JHq*ae%rwFK;k(PY`EOu;zE+L5#>^*cG#* z?~veFue)fJxW%Sp!f|4C>N``ig_RsVEh9|VGX3BbAGy#>nIX{~jPJ`!&eF7?zmtk~ zyRfXkA=)s0Ib6iZv}jwk{@$%bEIDp_o_b)0<;4VU9O}`Z3NAqdRu+;{GOhQW3 zzT;DuwI?r>U9z}Ey}r#TA)Ic;uza10fe+MqRJ)UAV0ba3T!8LNl~LeDB5V$-mJ&}D zg626VxYC|eRq?3b_(X%>>q#&%#Ygu`Too$p%K}Ec?|fF$86Y>oFJmzM40c?K@TL2} znWODeNz0g?vs>|NN?$22_$-6nAGHR4y#()se;~uK|HoB<^BqOf74+>%w+)_0Kqk=b z;B0WkOfhfnf)og8da`%LDX->U8w`_|8mq(m^vE~jP-Gvm3yGTC-BPyuYTg-eZ7+TS zJvfEB)fl-vHAlisHTErSA%vg5I7&32rBEtQW2CS_NcMhS7WaWf_UA+KDbCkwmRt3# z&tPkPme#$yH@w2_QkLY=oP7xTA${TIPv4S|92{Ceyn)5@NpOyXYJPaJcf~#$)Ms-9 z8j4h?>VP~lXwN65ygG>muX`V1o*aLWIdjRhHB*%)b}E{$x85W@DR)^od-L^pQj5-U zh9}%rZnekugRngDmKrZvds6NfE9xx&#|57;%N+b_a^_KA^fIpapg*!<1Fyv`ppca+ zgoaquY;_B=Z!vT#_5LQsLi+`R0}PjvP)uFP3FfwmXrXhIy$q}Se;+wB{~Xo-3E=x*nR&jOn3M0vOS zwa)%u#ruDd3M_S}uHTtAPOQX)y?kMSw(t3s>R(!~qbFAyu&=dXTm@D>NA~@#zY}CX z^e$;RjX@>c3 z@3$N^T0rXlf7HQFqGF5Q8Lu*u+}!sYP!-3c~*!DDmN74 zl}~q@!IBNRz4xi(OGT2X(DVn1RKg0Pn{Oyf5RBot-awh!z9iXZ;0!Qr)+18XOz7hg z)yIe%A7~mzyr#ikQ4Elaqzdy(@khtu16p31nwndz^Wa(jP^N!>13>R@0_z_wfs;6A zp8A3>$nSGf<@2R@2LD&_I1Cj2s-XWCJfkE6PBl*j0JV$I`;VnLSk;E^vLfy->`NWJ z@50X<5h$q2E3Lmi0(RK550~x&KTEVMmy|Yn!StTz|KG^n{^cLzzzYV+o?hl;v8i1G zHZrl)24R%_jlAdk)UUBFle(4C6*;iAkG?R8{qDK$xKC2+Egcl8Z3Z^wHyv(VdJKew z4cZfbIikJZGe7|BKy5qtPZDe~I_jsmLYo3R5^{uiKv+3uf_6@3Hx{Qe zW!!*oP}s1QlY}W;>XQU|!WEkj?>#Es)S-t?`eMMa>5rHgO7O~0TM)$;;UU2_#vkho z{&xTWiS7@jDd;lFO6;>jWz`9#k(v?KBGlg6k>PNx*+=Rr^ZvZ47HpNV^a1ZS(a58< z#Bw)n7J2Q?7Uxn%xcBK}BT7|Kuk@#=9)brAyMVfyAs2#Z-vX5bs&RU^Uo^2xB?&wdO8Nkecjk0Waziyls9}a+@h}ijxM~ zLUlYQg+bNMH`}q1X#7JSk)Dr@UMhfcz%KJi`_$n@S{xd6_ahJ^R=h%KdZbE?|79lDdurD<>FG zpVP^5G%f>Z$^7T3;r|Z6Wn(;@K56f>Nr)yo`f}tA6#v@tto9p&bkJ2t$lyTcHzZeT z0nKtU0I67$DEs{a@aq36mHsQ}R{f=PB&YL6TIjgwa3X$Prsy2w>HQWUe}$9H{~5M^ zR7+uw7b!?oWdw(qaK30n>H{UE~>fc@i1Yv1v| zS`ai}VPfTAl&IYJ%6uSYev8V^SU!uQ-hBwt!MdLvRw{|Edf-scrkHDjsW>9of!oGx zHrH@%*xcSCw&pn^|I`lYs}q6gtHuiukJuCI;zDs;Mlt3hvDVhy9$evmm*B6RdiADv(=eOtiE~Eddw>dFXzgLA|L|FXlmG7%xAMX5%#E2Wl zy>NTEETS465^ZL?djqiEpF-N`JcR>Q--j}#r!2{_36v`@?RAgTcc>&-QoAx7!pWa& zzbGqrAyrWtW==N5-owKW!sNL>XV6Q|Qow(~a!WkOo{;Mk@K`$XiZ$PGO2MprFW=!q zjIEkAc3s88ot`EA!KO~|)tm=mYLK;=K#~vq8XWI@Te1+?;-%^y&TgPF!WIARp?`bm zPpQ0|{Cg{80;)Q;P-rszs3NcNI^(1GH{M8NwUY~}T;NOrz^>DCw~|VFK)L>I_4^%t zFrCS4otCbpA6AIO;*AAX8=b9Mc_^V!#&9G}3l%HQ*^5t@la-zSrMW2uLgL>}_Pc$*{XK&Jks{q6Mxac| zG$NZ1bTGVLU%*SMXW@&Hgtj2J7>D+_m#LC%GHlg;O+edSAMswAM;ewT{p(gpI!$3ynsNxoiLC-S%l0s2k|+QO&Bh+Ckk4~} z4j_fST2Yak4vIyF2}cyKLC0;9Ij#cgJntRc9tNd`(@9GZT-yuq2yRAvrD1 z*Miq-a-FJ{9!Zcb62+s}y-?LNu-ED5W-1Gp_vPFR1am&p-=flZuJUNai)|LpyE|d^ zk@p#Jai1Pgetb(aF}G5TH!OWU`C&z=ALdSiVM)VR7GXhr&V{iTXAE+JYzI*B>cb+% zlp>_1-3{FyAmTM62m0IVrcIZ@B&WZcS~I_)7u>~2;#@J!ABucNX!s_oSKDqgH6H9FcIF4Idp4U9WQG6ZgBd4r#5S23T=9QvKOsIa;mi zkuWo{N#>>Q&z>wE-*s`8?8qH#!0t7$Cw7=~P@C%GV+CLG zHW`2UPw0aa$#*ogEx%c^`aq^v=lx!7L<-@)#61HF6WImrSVr0{Lts9t{>>Cz z7k0_Sl(NQt>I{?F#N<0`olyL+tF)A`wjjPcO8(2^fQ^)IuA-toqYu9n}u<~UI} z1{rRNOE6}^^S5m#^eWba|K5M!j+LWGwWj*fr9Zxc8N!!ZcA=opQkc4qLq6OOwU#*g z9dT$aqUB+rpky}tK+bP7#^;*ps~u`EE~D}q%P6&z^++z zVXcZEV^Bt?`#Nbw1lO*nH*o1$=B?CkPYl}zTB@=O+}Xy{Fjp9Rms{?={{k{m$)2Z( zH*w+C-#f!1b|ZZ3t7`3?cZ{r-O}b|IHY8S&j~nAOfe}?zSl4OTx-Ik;E~XZsl7j3E zk>QawNTbm^kP-^;_Zkf4fAeGwZTW9L7;xb&O97nI%Vs=byr8@Eofh+MdF3>1+6x1q zZfk4-m!DlWOG@CY;w@0_Ge{6`ti8?8?c#9 zbWkM4gXg}XN!b?a8*a8XP{&y48Nhu2Q=nhF^VVgd8TR)vw$A`R%R=dVhNDWNS#@*P zoCBT;_A`J>@(gf^J<)^x;U(m{>g`$BAJ8~F0~!(sDh#jsO^b<>fu5y5JZP5VUOSv}Y?3Ugt1 zQTe20%&pR`O(dUq;W9&d zB*%g6zx*Qf%UMi4-2xw+)B?6>OL645Zgm%qG_66X$604O2DcSvh&^gq7R6s5l0)sA z4+A#RDN^)t1aEZ9{bqO>Fg13ke6g~_CTTa-TjYvtJVaez`^fGDw~}-!hR93S3;4yh zuoroU28REYXXN%ic~*tfn^1zCvZk*+gn#2$q=xj<a(@M)-B^2ljy`>|D%hxKVWONTxFDN8~V zSB}u(ol)O2;FqRdcAGLKiXTq!FKyyO{D+=s82|g!Ch_I-r+XVoe;97vn|=$z(smra zO$&(l7?euCY9B7AiT`9D!N06~SC50&CDT?{D$k~rve-JD_0_lsLg*~M^$dtCyWE^Z zD0S!{oY!l3PkiN-9o}`!PmVQ&nSqUJ(^;c>cN?O!RF}C3%L`>IU+!ZUXEe~y9E9Y+ zmiMkIFW#++2PrN)6IT?P=uS)|?6pOo*;KOncr$B=RJ zC5$t7ke#?|YduqMPp|yHNPEk$wz{otG!!VMSfN01Xz}9iR*IKGaVb!o5L|;5D_Wf5 z?iwf>+@0dV-8DFYVm*2Ge)s!6`~7jwKHv9iCAqG(vNBiZoMYVM9``-3L?Pg)NEfAm z32=}i1!M;M3Bhq0;@6>}b-LOF2S9fx=UH+clw0c2a?_q$+HlHC5s5_fdkdf{uxvbOf) z(&?*^lkXN*rz-jw^&dcgBC;M}?B)BATGRg1rT?a35hB$a+D6UeTlo?%t8#y8 zq1;-W;!M2Z*1IX=IJI!}KV=An5!u9p0lC4vhz6#SKmVWZ? za#9vNFv1iZqv)kewb;*yO_f&C zTfD@#y;F?0aLff2{en*E2Y-|Sm_?)OQsW@q2V1U<7L6<}M*aX6sKN1eC!bA4ecq-X z2#B*8VFTTr6$oD?jyZa5^LO+A@@u3-p@|baRJp_GEmC~!wpCZY!${ilDI4~!^#J#A zT{}ndq&61cC?~Ee#=mb+(qCqF)342Q62=dxjPkg;=0!nfE^cG*&fJ5e(#^tWltP{^ z4UCp{ik}}dl2U#RsG&kk8P4+Q)-u3D-kVz$VUX9fH(f{>vyqXs zB>oLC=*U_te$o1qPWRioSlAo0cvIAb!2`nRnWo!;ahEg*Kjv0@8)$ejMRd?8=KEf8 zs~^Pk9}a*0XR;}v@;x5lthSOhjn-1o3DZwGrg6*LmYE_xm`;zQ5@U7^Y%mfs#TgJ6mF=IX*p}ZJhm@MB0RDk zv>Q-c`2t8BFvG_En}PE!`uU@`@S5Ww&Gc{@;h9l5-_-!v*5%9`%k6@Wd>GHM15)Pu zTneuJq&BW zHu~8aeO5s2>@bg_d87L5H7bV0XR`5`_Bx4mAks+242#G4A%1LO7;SN<{_Ba*zP1Yo zhI0N*_owOnRK~g_-+2=?ce&O;epya2K}LvDxmD94xQ)$O&Q=g!eaEcS=Qw)abDy{5 zewB^oX4yw=^Bq2%gJrPVdQN70gBa-hT1P({7F1CGw$t3Zb%3n#@Y%5lKva;NOQ zxBX60Y9`hBHO`%$&1Re6p#j@JA;E7!XmJ3FI3S3+m+OG%#tyNn_-)uj*h5jEbWH%; zNq&zL_MnZ8*v%MR{6G}Fg8Lrh&m+K1Bsm%68*@s(YpJaM45;2DJ4v)y5 zyz`Rx?yZBFW|}tO6bomnNJxzUEWqJ1WJ`HkXVO47EV75xmC?=Nl(93O(~mq;_uFkR zTGMm`KTob|G&j}<$S8SreQ-Yd;xWn-8->f<{c)Dpp70=P##5}Vi1LmlAMQ{kDoC>6 zgxNnenKN}Hs-CxU6TGFPzr1AhW(2$HS81lzrp1g<$C8KO=&C1RblRmX37Lro<=%uC z#vO*SZzn#aux(tUQga=NXVyW%*9)uRTjOk3%J)}_0{ zHk6-?%GhHLI(sd@w6OKpTk@h| zKf$KM@o`IM5t~n-wHZ7bt!K11fx6JBiAlVgMLoLQcYf)K78GW88Y|DHICy=rr7eB& z;vK5xdj+1ZRnf-C?@MB>MXK#;pJrrCZ=N*#o>-;!0^w&3JpVNVGxAm%FSi4Ltk|}i zG{ne0N=gKyKsZqMlTsyu)@s^A1{-wgOwt0s5YstfQZk+K`@0s8n3wE3_dhNB(whUs z7<`k}5*gKh?_-6UW3K%!DkmZM87)otrYJysgd>!9FYJ!KF!vB}l-Cqp$ebFnA^;1j zb!*bwPr_GdSi;%@e>O$qwxx^S))U8=Dw@0$Vyl2N1YC@{HF%H+r0-G-$HGjh696tS zB#KVd{|7K)_y^D+@Hk!3)hMPdGuyt-X@H!fywO!yYDp2BH{V~LM;H0(0n#>}zkhr> zEqe6jO#)+$9mxYII_=Zr%=BcpPStef(UA@00%S_g2{hz0nY5+3?zr^<6*inA+BZnQ zeDBeA!z_BgAzN3aE$&E(%HwwHdv!3AmwliL8iQE9BCc8*c@e&WRcFsGDUOWI&~TYh zvnE)#T3e=Fbl?8e$VzZYF%tR{<^>!fDSGr0-D`T zk<)V*0?>-;V&mvvK#!0(fL}r*s6SJ+N9&E9W(BjlE-I@TsE=mS!x-hWFLc$!rPzXK zS)F0G&kv4WKq)Pj=H)CsY-@F3T?LWhmwivUqWhw;tY(Gj6Sf36Ue?aWEiohIF6%jQ zC3nLC1*eZ5`KOol7auNs;*RxQ+=XmQ!Grgp(sGV}oD;e9>L2Hf7IMo!pX(4p&17-= zA0K9$IJ!@wahw{Gy2+OSSKfnxGrk~1$@*b4j?<$Ij-39u zs{vMz)4{7kF(tJhgU?CKOukd!7Az4)%^j{lT@8%xoI4Du+t^a{9+#1X2_FTV-?3SJ z&39OWwQ%v3A^gznNK>P1l8U$XXa`?b^z~J&Sk0zs+x>Ot2vJ35$sPBjyj0N&yQp7* z`?a9cWD2ajRfMVwVb9A%o+#Bn8{B+Ss;gfaENW0$%dNmm+@zBATyZ;`iSB4{mlT7l z56W>#sWsd45+qLDSgT+ct9Gz*Dv-Dh)A(2P(IP@946BPK?!vTaKp7%n;i{1u0Il*6PdFS4GB>{)*C_ALarOC@^NC zBU#yh^Y=}?3*hg-+T6x=;5m_`@+iHDmZQcGo3;zk+fUqKN*c1n;d$6R51at+HWYi) zmn;shOAr8wFMj`=XNB8rz0f1pq75AT{OCFhR+r9_p4?WNr%im^ac^jh<5sNUI+DjI zl+eqAfGrRwJ<28f=Zm?Yb(Ab!;&`6SV;GZQ~Z)I&{i=z&5}AIbui4WjTt(juC?t;}pVw8o4%JD+6r~#xYee zT2@4{TBOA;@^kq5V;&h&v8iZHx>BlLs66dklbDAGep`(CC{I_lIgXO02k2;OtD6;7 zDEkAj+1DE_u(fosg{)PFEifTYb>Or+j9EqNTC9aFM%du$5xA?M%N#`asJ-@$xvN@a zBe$oY9L3E20&YzqNC5gs)mVkU%IN{G)I@|(_Y`>SHv9p+-d`V)s>QJ&ZzXi5r>*}c8`w`$`5t}gy3@1;E4iGqGyJJ-*BiOhFCda7)BUse(^Jw&P|$^zg01OWE{y{1Rgn>VfL%K?NznVCNGeV&DJx{ ztiF57`7vn?n|rB}y{{B!V#`;)4eGx)+ri9YYKou84*gyFK!5M%f4tZiAK+b1Z3hc5KhzZ#LBnZsgqf z6k_>E8)db7UU=iGe}#i%WROXg8u8J@A#`}3u9FBlpqgLO@!W;l-& zH$@4=K;kNt`irjlC@}?Tzj;;tK)n0E)f6Q@vMCcqcmO)YhTK*DrDgeP`pTY{%V{f&FC@Yi^TB6pu6>)4@EyZmKVZkkc) z2#Oan05=zHqII~F4@b8rOfRD+e%WersQiM?MyJ{g(M^7=cT>eWZpD< zLmv`w-MphHW`KSQw_-H-7e=OTO75A3*wq?uvG5f-GTZlC8Dd3Z) z$Zp!3np?M$+Ob!_+r(_%>)`XQ%g8}{FT5Y467vUmySgh>e*keo8>@FnS%PsKxik9r zNGp&WlHTQlOIxg{mMiKgjBQEE0-_!F6~<~1?QtjjPA8#gw8l(1+A&D}hrVWQvxR5YlFaI>l7MqCaanEy|L|kS5aU zQ9ej$ea58~>KYRu#ua!~{@~u@Hn!mvNp)@5H0g3jGHwTD+gXyAl<WLH^dONFDStTnmZFN)dUuck)hA)Z^gz0c< zaJuV;pU4nPP~FUlw}5jc5IU=NfIp}Ay;;{nqQzX))^s%;`@t92M^xI9Kjk5ZBl09~ zCRKu0GQ4Y6Yg?nZW_4}Mexqc{7}_iL2yseHrIW(Y7R&Q``F(0{U1jBHDVybKiGXPn4ox z>2&5J5&G7pQ)Op_6){OCFpcg>plEHGtHeX!e@Y_-BnpR2cst<2mvX46?xq0Ln9uQW545R0My9{zem<%{2{pXYgO zbwya7?q(UC16Y^9jkd?;A$O=o@xxAOn?G40ff0e3a;?fp(&n&E+!gTxVtk$nII?AE z_-pH8i~{>Y4Vy-pZY#gMth1z(rmBI?|!=Z;<5 zF%rVD@;Ox=vcKiUccOUQ3p+}Z3x`Co9r2~OGsf>?+=nvXk6PCgP}cS zJaT!4bGrN2Pj(beRAu`~x{3!6!vXC+o5e13JBf!Y;m1Cs z)xLp6jk8~fc*wF?3y<|P7(7CuJ=8oBHC=yD1HP$&#mPnSC!9y*sJha{U=a0zGllq0 zu&mqYn`CvKuzK2j;Hu|&v!f=_vO44^CM-bkJ`Q``k5>HhU|UqC#IVygcVEwCMP{aO zgF}Lpi$+z)|1eOaPM+hQ0wEkBJeuPJq92lSMZe7bQ0Cb9@#!SeF1O*oHf&T8omrQM z=kpeAX?BQ33hRPQ*-K4|)B!5tsSTG`w_nQ&d$!(=cvz`%t28iDN2)_L+ixm8?Et<< zcXY%Dp3F7`-K%jt+ARvcC9K+sko9Od4$si9xU{)V?1sVLDzwy7;ef^paN_Jc;;-g) z%TtCz@@f;PiGpMA-iXA0icZOIvukrq^yIjv0#uT zgNTkw>beGi(2`VCE3qA7O+_`uaDJ$#X86LH>LoT9gXGf>A9;Va`mBi2+Nb3_uZ!310 zcSYClqzUcaZeI~aNjGg(ZId|taoDf)(IrEy+Yk!erYJXDbG7eKeL5NhSp)|vMt`bR zPAaKvEZ z#dI|yTR9MJjZo8(da^iAw@9ZwI4r*6;2ew8r`fQ_LJuCg>uxfy^^8oI{7~|o&d}r! zfFQo({^9UvuAiVSznHUR6AW_s9m^Jp+Z3fdYnES_Up%3Wa*nn?)NoN>jZ^O4HXSz=l1PwRhe&8ly0%(l zeW$;}S>A%i8k7$?=|nJ$wu;{Z&~~JGlDHl*N*1Mq$VQn$IWT6~C(%H5 zf}JOtxk&Z*ttBr?zwVyiP7+mQ*}N|8>Y~nf@@8fW&5IWl0Tq~}V-g9#dEi1@vVch?58aDVwnp}aU^i4z!R|o3SG)P%p1%`#iatMlR2TOCe zi8t_~41nXi7J_p&g1p{iD8bN_N+>&g%WR@};$!_g_^LL1h|duQ0&0`@?a=+|q$nX= zVj1J$&xirk)VXF@IqyTeZEJn~>b3X2CeP(y8U8?AU$yMPUiaG}r)LOWl#xY=uqy+# z>0`)Cxhj9?(07L#vCgALR1_aCSSnSDhvh~zzM%^4u-D*gD{2Rkt`ZDCCn2#zr;X!< z+2K2x9@XDbv?^R($EFjqp7Hx1FV^oQp%?07EG=>kc8lqjl#ZE~DD;2Rw4^wRsC|&r zo_sUKN=wgPB-0r0S()@g$aHWwd(CUQ{y#YbQICV*71I`x?em=@;@#Z~c7dWz1-B!b8j2)omCj)s=`mO z4{i;%XZ_5kUWd4@*T{eK^84*aO3Fyt3X(vk`QWY7)`!UO<&lEELB7TmQ$`o-7Ou?* zvSnmuk=2ddw%a;pYxk~1DBqbnZa?H0gUuwo z64wGBeGo3>J_aU@4KszZsT<0JwxmOn89%6YVKcqjP3<*R=Z~}Q=LW1>n|nO4 zaSZbHN-S$K_ppr07dSjB7r|*4sE>8kA5jK6Hq%|pW>eiN^KMd4bSI8B+k+o@_0zPH z-*=9G;jY>wfg6}3%FVH$WtlR2><{%5+U3gt ziC2L({{RS83g+d!{T9n-;GAJmroVM{&ie2$W?G+D!!OI&Skz%x_F~f~5f=7*9WrzL z5e{6ljl3u!rt4+P>UY-H1{%=D>DR>jXv*zJXa4Cp}vIeQtX1Jz4b(O5&J$ z@DGfv$)EW9Epj!}e63rUkff+6$vxm+xiL;iJvrhbZfda5WZXt|<5@xwP5&1Qn`jh# z+@&nt+4RjJz&!H(0LC2}*8@sLR8%d>h&8wMHDW;vnynaDtir7%5O4i4DzDuFnKez8 zq~SRCc&?;5mjTcA6NSCoJi8J8Ji|11MJyet_jfK$7Aa5Tt!!;m?xVRf@I&8l_KRpo zH(?5v{XiKx)H66P+GxeRPv1}ca4~cja{J3WkaP^qvd9xQbJ=j!N_?W6P!H)bmo^nq zQT2U-0(s7a8k9QKyAT!HM%D1M-k+2hv+lJMiKuCSrtp^k>LuK{Z{`p$&}4!QW6YI~ zSnKf8_&y-@u=K}**(e4+zge|i_4UGz6X zx?|P8-fqy9$h?cbyelRDxw=p-@S6&DNW~<$^D*$OV1tsSSDdjfY^Nq*hy@s@bCl>v zJGAIWpA`gPro(%zbH7x@5HK$=?A?4&Q3pF(^5r}BGpr9|o0%f{c=@I0M)O^a+{>LL z(9YyqKM#-n=1iUw%{OOMA-pAodZQV1QJtR%_AyO70X&1*&ogLKKOhRr2lOdd%!f-Np_nS&GEBbm^dYnE!zO+rMwZG zf+IdG+4sfRijB*d-jUg~%bs0tJ`_>nvW+)_VG zZb8c;B`G(u6{7-Fo%`QFxsZ>uG|Y51`wTbO7zF!1n7LwFXBjPYI2XMqCKPaaQ`SSQ z1{^Es%G!%VR~>oFM54z-#7=Li4qmd5|j_a&vs znvcc40CdGD1z|;Hn^x6q9Up<%*E)S$G&n&d#+&oKz>v=43hOYRAm)NQUn=-rX$eV3;k)=7iQa{;892YDtZuViqDa#l17t{lE9_#> zUWg}nb$?}>+@65LPflJ}wbw^TJEBj8rs&Gzt@Kk^lqfi4vYqv%F=To#3&^k1L0PV; zv{0WHwQ=H6J;G2-R{N3`f_fk7Q`YzGcB>n~X1znXw(5S1$*zJDOru;gMZRR6NG@K+ zaUD^5us$QciY1GUnNO!8(v&KFquQIiV&BteHWXrSw^o;Qr{y7)(uMKazf;UHD)TDA znf$;I|17h_mYiIFI01~iWG_Ew=O8BhDC;LO;%o5OeF|IXpKtjCVEfbpxpQtz@I=b6 zcui(cwN^DZYebGxcty}<$`bOK~bmmB_0By9GC5I%^6mjAOrg+?4Jhvx`w+QO16wQBm zUiCX{Oi@(8lUIzqmxFspiTo~1(cRcj`=Zy_>b5_agYLV|nQS#QHO+e%wP%OiUPf~< zK(10^#*g3S;idW+#**z<;6f!G1ygTL-hi}D#Z!d! zfzS>8!y^2Yf+*QUOH=Hm!D0_VJP$Us~ zEgX%QtM9c9{|w1tgv-AEBd;#}E9HumtCQWat{R8H@G~=$O=_k!->YI&h!$?nk8Nb` zo12(Z8Y z1e7d31>&VLi}ffT+~j1#L0Jm(kx zd?}vmC-$b{0=Wf`fs( zVGSE~zhA{!hl;JHrEdB%i$G^lY)Xe%DU_DfEi4%G(^5p%sNb7eTT#q>{lctLJzc%u zRT)9HqxUWYu4ubwrDI~X?a%9&;I3M*jR4FyuW(4E`<|)cWz$&HM)%+l>x9oel%8Kk z(C51yQ$TYDI&OCwA>1O#ZDimQ4t4YKriKd*Hyd_jHGF2W@Ko}2Ikd&+*$^A;Mc{9l zYa7ym!}Ld9@RP2U>uxBsvvvG_yIn##!4Bum_lOtdXAdBw?pxwm#t@fABgHBp*(8G{ z$b~L0FwSwNiAYoCc{q_|2jB||atDfvEfna*QJb$ll(tLcs_yw>Q0mm;A7Rm)2GaKu z^iIw+d+rZ^);oN1pyvMJ4fJRr-Q)YjXguZ5V1<48Q-f0QRiH!y6Wuj zsaaO`FZPAYfP==E;m>|OacE>@70As0Vp&NPmJeL$@|J5?;M<9l&kov+KMEDS9Qe(3 zFP=g%j*Z7=Qgo2-xVeZr4LKzvi;Xftm}5oGwjItBhr<1pmyp~`o|Q%Gf+!-S|_ zLTcmiPiwu$=HXE~XlQhrJkF*o@ zv=VHwZwp}J9v8{ws{Ic;{fwCa!c@D)Qt67q?-h%B{m!DwY%Pe0KA|TM+ucsj4nOaP z)s~UmD-<0pOy^JSo$Gw}phB_~8e%AdZ9@cUHp;=)!`;_ZjN!Z8x9@{z7Wf%I#pwo| z&{V**B?QoRqxU6W?iwsZRRkKl^-9e!p|= z0!G&SpV@6{!R*yPPO(>-kt%^x)x_Ka9B(yK2hNn6m%-|q!8A&BxOO}^I% z-=KD@7AHGCkB!U?Np6+o^#-Z|Kz|)b_mJupSw=0vjmPC+fg=J~ak(94&}?hhe_o=l z-B5GNA5yHRgSDr|Bt9PAobiGQdq^Zk#{4Epzv?U_vh91$Z>ToG60K+ev1YxhlWrI) z2K4t9Y6Z+C67$<_a899)yr$AH@6295z?ClI6y0foD4*Cav(n#(ua5;eFBp7L zqKxR1dRz<^@#XIYxRSXZSPPp&j!ZEf35GDTjnlu@SyYR%pe}+{6oOTyA>|$z^%@jf zt^WhPgWKV&r(xD|$`<-L#2Pu>rnGKih@D22=lz9)8zANub|{Mpo6Z62Q7`ELIpOgm zr_)CkmHz7DG@1Igl=TVAM)NjTI#j>sEco|yyAmqa+xIfgwmF|aiZYhc)U`&CH`vTI z)B&PbnN^zmDZL&gsi2=NYUpP}TMR`7aA5WI#N(JJhQtf!FDH2Bz6AcB)d$k4&3Drg z{GQ-uRuHgT;p!ao+^i$*4;KA;+qz~x#mC|rbj+#P`*xGO6$SMQk&X2#3-5By)=(M0 zf)_6J)FhK7M98kwpONOeG_g&B6D+4VZO^6$v}__ydcqS>&Xb6W!H6mXKGYX3ins(( zitRw#>zftn8%nb}h(!Qb6SvuoK?UGRI0S;gF zLbYZQKM%7pjKcWDXpip1yJ7{>+C{D-F8fJt zQ+Mu7%Ye7=#Eb%`_6rAvz)r?sQ_ zpWm*nWg^QTw36fwH*pLze8bG^=ed)nQQBEw-OCs*&Nm}a4xDwBHucxdQuEu$8!R3`+Dh$x)iz*>Yh z8f{P0Hm4X9EXbqpYo2{I-;JK}6O$q}AcAe{nBgy}!HCs{#e!;Q@qeo;5Y)#00l0>u zMR&k1{}BxQFU^<#=reWtaG`auMWk66tSm1g7$e}Bm<-Z0)9jNR8Z$Omx#OFl_fme@ z4gl2bqFF*di0rQNtm_?m>Kd(2l1hEVD-6(=!CF`PFbSE`g^Jj+y-dn@eJXmG(I;qx zGM%$LHZFMRsGlmpPlTnFQMo-vY$prou$ia)ypcM&jI*1lMTw9r-?8#}Xg12t^Q}s| zI^P#ddozjAu0`_(dRWb6$%MhAsQ4j$gpYMZHHJ6NeNA6uA4=Sdb*;JN-z~SN(6RcZ zA72Xg0`yK#LeLxzCJu#NTLNs=K*_}B3MjIR!IX~aKA;kvP5E!~;Z^>%Oe6qLlLiBV zsZVD?5lyg#<2*C^gqayEg(q~1MW_z_zrZ{7E#wfDa;uNm6%bdT$f63(8kf<=y%Zrz zVG~tctP;V#+dHAEoowg_aon%QQ69UgnFn2?x37to^Izddy;CM}kU;&+eD*Y_6nybM zaRvBh!Xj>iiAcxau}a*MwrR_c=V579x_D&-DRtSoq79-{dLWHWP6#(1BBF$12Vi6) zwOc@zw&r;8Kzp1P-O+)VH;?cBvIY8AZ|tBlgOdGAg_1??XLdQ5?&JiR=66wohY^8O z5n6SBb86QmD~x9^DFu%3$RV)g1aPQ6?$c8+$a2-1Wwtu@f+qfb+aUS{s-aZrX|fCn zxeX{p9Qk_kO1#N3xfz=*Eeg^%n&A^^C+KF4Den^@5k1E@p`<_)Q)%Z#nVT^5$X&9I z-Ops6ywo*oAyx~m{Y@n)&lWR8lJ4CKf` z@!sdQJZ>noC`0yyKNg?M0Qr+S>|V<<@5+N097i!eYaptm*6pcv_HJF`*n;!yj%FaQ zUBhPSxVN^H zq{JbwpiTt^RhRBaKSOTc=ff?hJ+tn&hEZCYr|^Oj?xQ5jEOrN?pYFbOH>rSqSAC&6 z9Cj~#uR+$G*sltkcLP$RzA8hFWf@pK3(HNwh3Vr|Uigp&f9NBUz#}Nq@HvJjyu=cO z5hDJ29;hcWQ19+Gdd(mF?hqf4;27r^$E7w07UKg~)KL@l@)#+x{7`pzx7dd_^a}LF zaqKrQ%A&u&zl_Icy_sBZOoUn6kG|V>go}G`n{Q2~`|$&h9u@s0t0=xH2(q^W^4MsQ zN%-)qYg=Un8?zHhnVVoLx5oz&0PAC=&2kMC&sxglTlJf%5gJY)jP>m@8S}~o0|i8) zvYJ(aJN4nS=a>?D0Qg=7sLP!L>p&0tm+oar!24ewoSe&4J{_BO#xZh}jf)1d%1XUt-*PRLB@|TX zN~^F~d&~!~761UME#&4Q0R$m!Fq{v>Ibmxsc7JEP)WTopQR9RcQ-mnXi&nShKiX^y zGc3`vR>RTNfBPfzr^ypOW?mj3UNT#qydA@DzeTcL#`v*uXD#~{QF~hm4cTa=Ey8TR zZDor^se{x>Y6*OJ3`%|+Y7%FMPVxQ$yf}1b`}uOU<=QJj`^K~bb;theN-fHwJ}}iM zeT)whSxeBq3eMHExQ!9YJyEV|XR>F794r3ivf$JHA&TWkq`kNP29D;_GB4x8{mF+^ z-s<>aARRTh#__r@U$WVMvpRh8cSh8I@;a|!6#?{aZ~qDJuMjLjT9(pw=|L*OPOE1>Wr=^lq~$a$ zUjbqJCo>z)0aLgZJ637%t%A>hbfm|6Ef4h_si&F+ZGGtQ1*r;sT720NP zI;tyXgqR!UJGDsrJf0RJ>7^d)zPC@?AJLWn0D8w!uO6I^ht8+oPq3LLsW-kG-f^VB zj}oXC@x-(5XnuFvj&MCZNR8Y|4TijhgF;9&jE-{=)Vtwv*PWhE^XRw@bZR59SS_=mb3|Qc|&o_PHabdLM8GG8SzxwpXOSK)e z2w`VzFl|h8W->jH6qE>s)V>eri{jIeLDAIs0uVuwq_Qko0jb`kbs>rQ&wja8+A!+t zo43glM20_Gj$nT(d<8k7tc}dGI-WRc5YDL5zz{LYvEI(vio}M(;uz&IC zv036=LJf=&nUO6p=dav=hzkVGbR)-1(bD|2S@LOkQQL|_e=*X0{crR0|1A_j8I;BL zC1zMfqHHey+gbU6w6`;w#}(cxEN^6`S${CJtEjJZS$kj7sn=5WBUaAx4TFXpmJ zK3{n~!Wu6LE$95mp*fUpD|7c&iy_Ol@SsMz6pVzRU%8{=QHC~3p;0Y5Ur<*b8pK%% zi@KdJ7RH{BIbZ7h zFwhQB{G^ZGn7QAcTTVx{E{a*B^1F}zbkYH-2ETT1^p)q$!hv&D=8n2VDW9JZb zO|sZ{(w0w2$twdSTWu@ZM{LAT7!x48-niLtJC2TrqYHLcik<0KgSNuhxy>8A65@bf znGb@a7zNHH#oe2_7D*bjwwDk1X3Rw4pIMzgqTEdqIH4em2UnRpt5Oq3J1_Nt{G5s? zC>u~2s>y&Fu3^Zlya!5|@4y~<$LW2g` zC_cSqA>dR1d^ts@FHAB1GCJeNKlAGk0NhQGV_$&|aMn&02-EHr5N`d}^dWSjoc|C^ z$3WOmgWf?ZM0cSf3gF9vQ#z0FQ(HVvWx+*IPc9lpf1TAFj<`>wxsB`QpMXGQyb+U4 zJ>i9NVha0lKFR=RVM&fN#-5K^jxElV34n1F3cRAB_{Nxv zx|fG~0V(~T;OB3_=D&i@|Ma-t!p6!8_Ubt|WQ`~(UQY8T8Qw${ynib@eox65VAd2o zI&Bl#7;E>8$~xWGtK#S^;%cMzsN8(AMc1eLl^4#Z_jd^jI)$HtarQ{QY+a+NWj(nu zTYkvje{sUrY^QJGyEM8w=|^+gmnT-#-K;F9ZebZbU0~9mC^Kj@B3W?CmLIl$R`U76 zqh!Et$Nsu)@7A_|SAVw2ry|doEfS^=FEEHEF=?bqA$d~}@C**wfCjnA5TMCW{=h~8 zd`W=@HdpO0f$^OB{>5UGWe$1*Tlj~I7X_y!`X{fzd79sX>*I7Fn~oC^z~Ii4#R~{T zzgw8U@vTzv9Ni>MSKE$Of1yTzT%FPz>Fhlx9PyqX(1>J6_B$nkFMuntKLDgv*6GKu zvm3VU2kmt`{jo((&2b_<&|XeEwEA@_u$%L__(Ab@boLO&al>@ipfJ4%u(-vy&MHZ4^Rtj&RTAAk_J- z4RI$LiAZz|GY{Ve*oNd`6Oa&abs`&zZ6|d3$?gT9-+^oy+ds}<$I&%Ka3trEE(Umz zl44+FCeYn(r<1`eB7Ti{I7QMtM|qb0GI2LzZF66eOhXeSvRCPSMq&=8x5}3zdE0&a zLW-(KGZi@ji*fW`&8#ZQTX^J!D$)7N_FxF2?FtEsp#zNm!SE~XE|wC{b2SNSxigoI z!SACMM3%n%QtObg}S8n`m`Lw2Tr|eG{b+jz*g!_ZE=8Z1wGn+k{vml0BRkd>2$sUg!K%?21veOpaU3^dK{^LxM=+@N1P zUGwj2Y_+|&jJYXp5p9^!9dCBVC)uxGp7qIN1QVhl6CmVV)2xEgz|cGWs$P6N6~ApLec#azZdEq7 z%q$|cUDfcJ+o6%^Ur9EHq^g|HOH4C;(DnazGyiU7{{K6^|0@S*`~x6IY6EBaA{&(c zqTS9)eHud(P^}ffmt$4Fj+4PIYNr{;$hxT`??&harItL7z?RJdQ9~_P3Z~{b(L);e zJhGA9Po_q`FXS_A%l(aY%@()1w*x4J*5Y)w+==EsFD$M|Z!PQhit1vR6_c2`2=Y;m zrWkv@RdO}86^(u9Poy_#eU{li1gjdgGH4C>-uB{ z{#&-oPjlVAyl12w619{&=}1{6hSB>7ORO910wtiW=$Q&zi<%N912ZLx*_c5Qbp2C* zp^glAHg;~2e#&P*kskLe1nIB34y_B{+0ZeKwD=Lo!?YbrLVC|aygYE$R(>AvLFtSE1EB6*PAnCBSj(8kSmg{^X*77=BM0r5f{-W zBv0^Q?%BB9D8NFXr`Tv1WaaZP8w{`tqBeKqn=TKpv~ zP_r3J`c!r$Dd0iNZCOYPpiez`jomndOctx@HOc1)1iD_etx4Q!mm!geqS8ab%f4rw z&yIJgue-^Pj%yEDb|Nc~CV*r-Ke&4;Ywye)KP>^fcGYT|5zzS?~r_N~AoPSBB}O-o6Tgya6L=ga-ntsMOM1JC6jET;D4R+A!&^B=}Y z98?%-yywI-SSBojSwi(lHxx`9gXL6*x|hhxn`D#2!&6;zOIhBaJn<`C;-qlEb6oKg zyffgQ{b2NLRWFZzx;x)_=yPI%9xd`jz6Kx8I~+cjWECsRNd`)VM&TPzJQFt*#zfBT8QXf7-k5cQ(AY9kgO=sZ}wPqEQBVwzW8bvD=1TkwXHCsB~eBSGQfBgOj-=EGu zaISMd=N``;9M3o9I6By@zNU1Q-X+K30!K65K}|1-R#qTsRf*v4x4G5h>;)}+I?G1` zb>pk2_u(XGpa)YUt~Ie(vFtGl`4RRX21#Q zcB?&!Q&`hp(SEn*zJKyGCfBw4>WB=}M@7!QzWlNfAHJ7CiAbZ$V1-i%WeXJj02T+} zu-Ew+ag68GpRGF7=AE0GCS|`2@>G^jd-t(=`nYB%m*Wp(YX({VQk(UFJUV|pbZeL= zLrkCK;oKPG8b}fB9Rs`*H*XFfVbJOvpu5qd$0SZw-xue|_@3&>gk9e{-qu7K)a2Go zD(iI3m^KED?=lyly%(Ot3C1%caUatXAmJaFCb^B)6nux+FN?zAa;QMa>GlPqn2usD z4>$2x3STTuW-&qSezI=)34M^|!t+>e{84PHO8|GkWkl7_J=+it%N*K?$US9i7a_hX zL$wGTF_oUihG`FGJjR`i#)SrI66f<*T9#ZrCLFe=b-i>wc`pbbow!zORcIoWyZdIh zjfNhs38>;GYFVoBi}^}jkwy`*1~;Q<>01x;jX(XyiOD`0Rt|LZ zj6RgtT%{+gqB`9D#Ln52{Laf;Hb=mAFMVB)xUY;IDZD%|`@))d*3XtVaIS}60i%|0 zQg!C_b1&ov_W?jb252e2A#~NarrnaVL8AIS|80r8WLIFEB0E@4FB=6g14PQ1hQVY7 z``znDgWxbXy&%Np0gtxW?R+PCko!F3>>uI*qFDmu|y0jA>SBEJhanN*7t#dyb4OF9xdN; zI1g-nBs)z&~4iUkrD#^ zZdv!H)W*Mh1&{#h0m;)PDwbAN=XHrMSl>UYLZ|2Z~2buF^w_`G%+>)r3X(lnc|n z$dj$^KkhtwQb*8ep(SY%jpZ+mVQw80SI7_R>Y9~wSd+bWlAGcMyIf!w{sQ=Sa>_|^ zEr0sSCfze4H^`$873%`!nxN_skShcmO4w{yCH+o&Cy%ebsNLj}VDpX)P6RBfY)Vvm zgo>p;c!5maYPL#Qk(1$(8k+*tkhsCvt4Qu7XE(yr`-8jGp#YA6Cvs>xR?q9;!Zp@| zYt2Vb|2ZreNFC9WsY44#<~lL0cP>%$Anx*LP<(Zg(qNBxDm|DO+fqZ8829r1t*n+! zGEuZroY$W{XJ>$$Toc|2@j-G&qZf#~vDlj4+Bia@J{uJ0bf)0#wSUc6Q{B7NDQlez z1tF3N53Dx;D`kl?^Dz>!*HR#6+?4W1skMc8P91%_F%OU|9LGgdsojp@~ky8I?$-`$5mbLmNhEI`TBF zmh&EU>&xz+z7|=I`~}bnxskGiYU~i4Oc+}sbyL1{T>p8l!s~Y2*^vPupr664W6nanjj1H;1N}g?ts9v@lZSrX05}Hv+JPRzZn4 z_Gwf+>RBb>{4EjA(r=Tch$&R0#^>$DzW@tfSjoLLXao$T zRg6IYK8|rl*~pq=xObL$mh2o}Kl<_V`mDB5QTeFX5xQ#n1Dazr^qLDan3Xog~ zs7(6RtcEx!BX1Qa3KrKlK3%Z;48FyZloF$_2BsFF#f)9Ertc80sP%rdv+38SE)|f% z)eTjGMJ#N-J7uH=(jL9~%J_jLbfoMt)B8Ii6&=~=hTvpbg-|`*-04N3*M@VfkhnO^ zs660NDF*q)-~Y3avHxyaHXz-Dp^YJ;z=rF_s|(bJc|P8JZ4~}G9TrBJd_LLC^>BUQ z0t^HqY32;ej+{lpZ=XWmd9@^ej&ZV=5b@7DwP4T@;c`m^V~VD!CLvCef5u)~BZgG4 z)`JmY<0`HC{@7kW5W|Sv`zG?%I|T}DWsLUJLf8?fGzcXFlJ3IGtW4Y#F4Z?;r+nfO zmt?f(=}NJ~4_(U}!yzcn=BTZSO9+*Mkp#mBYRNS>Y=itE6Ibw-Q?Pt>H~U2OeJ-|e zVUF7RQ1mFJ{UVJ@8{>TYlOoCTAGm~jj`4VMNXbs zcL1A7hg~GOv3#09zB)~iYT3mqVP>U6f@#%96qGzb3K-FO8|C2#xtjF()zViwrHB%) z^o!To+2vYEL!?Zm$31;r0E?dY%Mj)}a>6#X!O4%zcYANW*+?(hNSkDt4*Uz~STsG| zXr06>6z03XZcJ2n5g%L&SBdtWF|aMeUnWLWKm7VSX{5s3S?2m#Etr-MOcbM767Y6S z1J};#>;kuzLie$WQ_0UJf9kKZNE2u1YffV5*4j4>k==s=WY??H2%5^`9p(wJ9h*-7 zfV%oo^@$wZO~TE-F;OiO+aJ$}4O-?#B+k(v0ZFVJO4!mdBY{Wl!Oh<=x<8FoD|_;X zbx(pfn~KE>Z;*2nG$Hk+QDp}!o2ej4jgk0F3aeAO@mL@C0#TtKI)HvchTO$qSO8zcK6xwIo7eg*>+;L9swq+4#=+(&SCk`NOGp2omcF_s!-Q?C|Gd-Y7sg-Z z;LNX7rzf9t|JRsvZT{`0^>oX$AwLZ24Zr7P z^RAe-yPzuBt)^O}XTg<0bX=%J6x)ialks9Ml&^P>c)4)e+&$wqmVc%)LA4qL! z^3Btr3B8UoZAiS_#q&nD0s<_z18SKfa;ej`(V3D`+=sUcf6od23{hK31nk2@L_hto zHfUqiYc05cjxYpfK2O+6Dvas`*PKvZP1b*M`F@Q69pX%#+PrJ} zhyA;|hwV}r+yRN#c_0qZ220R4rrJ^U!;)Z4tBWqdZdRpcSZp}G?~wTrl+TR^JoaZ7 ziAz`^#Kr+2vx>;EYZ3w}m`ii9Y5Z${Na||ADGzfgH`6n~08(RrM0|^dT7lDJA^=Z)7C-KgG|BcSl0w`vuP$cyg%~ za^JwYrgoQClx^>M7&6znIq&*AFZ)v;DTXTO;$!Jw$@x8B9;#1zqK(}tKH zeol~VF;q}GV&Y6HsjQJ0Id-0p0PPWkL?`PerKfiu7qYtjKcV;E^FN9if2aNjdo)Dh diff --git a/assets/swe_bench.svg b/assets/swe_bench.svg index 3f5583403..d79ba8334 100644 --- a/assets/swe_bench.svg +++ b/assets/swe_bench.svg @@ -6,7 +6,7 @@ - 2024-05-31T09:30:46.920987 + 2024-05-31T11:28:28.622491 image/svg+xml @@ -30,8 +30,8 @@ z - - - + - + - + - + - + - + - + - + - + @@ -702,19 +702,19 @@ z - + - + - + @@ -722,7 +722,7 @@ z - + - + @@ -808,12 +808,12 @@ z - + - + - + - + @@ -999,7 +999,7 @@ z - + @@ -1012,12 +1012,12 @@ z - + - + - + - + - + @@ -1128,7 +1128,7 @@ z - + @@ -1137,7 +1137,7 @@ z - + @@ -1149,12 +1149,12 @@ z - + - + @@ -1162,7 +1162,7 @@ z - + @@ -1171,7 +1171,7 @@ z - + - + @@ -1240,23 +1240,23 @@ z - + - - + - + - + - + - + @@ -1294,18 +1294,18 @@ L 690 289.490154 - + - + - + @@ -1314,18 +1314,18 @@ L 690 254.819308 - + - + - + @@ -1334,18 +1334,18 @@ L 690 220.148462 - + - + - + - + - + - + @@ -1389,18 +1389,18 @@ L 690 150.80677 - + - + - + @@ -1410,18 +1410,18 @@ L 690 116.135924 - + - + - + @@ -1431,7 +1431,7 @@ L 690 81.465078 - + - - - @@ -1558,64 +1558,64 @@ L 690 50.4 " style="fill: none; stroke: #dddddd; stroke-width: 0.5; stroke-linejoin: miter; stroke-linecap: square"/> - +" clip-path="url(#pf552f9dc48)" style="fill: #b3d1e6; opacity: 0.3"/> - +" clip-path="url(#pf552f9dc48)" style="fill: #b3d1e6; opacity: 0.3"/> - +" clip-path="url(#pf552f9dc48)" style="fill: #b3d1e6; opacity: 0.3"/> - +" clip-path="url(#pf552f9dc48)" style="fill: #b3d1e6; opacity: 0.3"/> - +" clip-path="url(#pf552f9dc48)" style="fill: #b3d1e6; opacity: 0.3"/> - +" clip-path="url(#pf552f9dc48)" style="fill: #17965a; opacity: 0.9"/> - +" clip-path="url(#pf552f9dc48)" style="fill: #17965a; opacity: 0.9"/> - + @@ -1625,7 +1625,7 @@ z - + - + @@ -1677,7 +1677,7 @@ z - + - + @@ -1772,7 +1772,7 @@ z - + - + - + - + + diff --git a/benchmark/swe_bench_lite.py b/benchmark/swe_bench_lite.py index bbe949b67..0488c6bb7 100644 --- a/benchmark/swe_bench_lite.py +++ b/benchmark/swe_bench_lite.py @@ -86,7 +86,7 @@ def plot_swe_bench_lite(data_file): ) plt.figtext( 0.5, - 0.025, + 0.05, note, wrap=True, horizontalalignment="center", @@ -102,8 +102,6 @@ def plot_swe_bench_lite(data_file): imgcat(fig) ax.xaxis.label.set_color(font_color) - # Note: (570) and (2294) refer to the number of instances that were processed by the agent. - fname = sys.argv[1] plot_swe_bench_lite(fname)