From 47a3cb8adf8bc24668743bc4583a6eb3496c39da Mon Sep 17 00:00:00 2001 From: Paul Gauthier Date: Sat, 1 Jun 2024 15:05:29 -0700 Subject: [PATCH] copy --- _posts/2024-05-31-both-swe-bench.md | 42 +++--- assets/swe_bench.jpg | Bin 43943 -> 44294 bytes assets/swe_bench.svg | 196 ++++++++++++++++------------ benchmark/swe-bench.txt | 2 +- 4 files changed, 135 insertions(+), 105 deletions(-) diff --git a/_posts/2024-05-31-both-swe-bench.md b/_posts/2024-05-31-both-swe-bench.md index 774b38dad..4e9ffa5df 100644 --- a/_posts/2024-05-31-both-swe-bench.md +++ b/_posts/2024-05-31-both-swe-bench.md @@ -7,7 +7,7 @@ draft: true # Aider is SOTA for both SWE Bench and SWE Bench Lite -Aider scored 18.8% +Aider scored 18.9% on the main [SWE Bench benchmark](https://www.swebench.com), achieving a state-of-the-art result. @@ -135,14 +135,14 @@ aider reported no outstanding errors from editing, linting and testing. - Or, the "most plausible" solution generated by either attempt, with the [fewest outstanding editing, linting or testing errors](https://aider.chat/2024/05/22/swe-bench-lite.html#finding-a-plausible-solution). -The table also provides details on the 107 solutions that were ultimately +The table also provides details on the 108 solutions that were ultimately verified as correctly resolving their issue. | Attempt | Agent |Number of
proposed
solutions|Percent of
proposed
solutions| Number of
correctly
resolved
solutions | Percent of
correctly
resolved
solutions | Score on
SWE Bench
Lite | |:--------:|------------|---------:|---------:|----:|---:|--:| -| 1 | Aider with GPT-4o | 419 | 73.5% | 87 | 81.3% | 15.3% | -| 2 | Aider with Opus | 151 | 26.5% | 20 | 18.7% | 3.5% | -| **Total** | | **570** | **100%** | **107** | **100%** | **18.8%** | +| 1 | Aider with GPT-4o | 419 | 73.5% | 87 | 80.6% | 15.3% | +| 2 | Aider with Opus | 151 | 26.5% | 21 | 19.4% | 3.7% | +| **Total** | | **570** | **100%** | **108** | **100%** | **18.9%** | ## Non-plausible but correct solutions? @@ -205,19 +205,19 @@ showing whether aider with GPT-4o and with Opus produced plausible and/or correct solutions. |Row|Aider
w/GPT-4o
solution
plausible?|Aider
w/GPT-4o
solution
resolved
issue?|Aider
w/Opus
solution
plausible?|Aider
w/Opus
solution
resolved
issue?|Number of
problems
with this
outcome|Number of
problems
resolved| -|:--:|--:|--:|--:|--:|--:|--:| -| A | **plausible** | **resolved** | n/a | n/a | 73 | 73 | -| B | **plausible** | not resolved | n/a | n/a | 181 | 0 | -| C | non-plausible | **resolved** | **plausible** | **resolved** | 1 | 1 | -| D | non-plausible | **resolved** | **plausible** | not resolved | 2 | 0 | -| E | non-plausible | not resolved | **plausible** | **resolved** | 12 | 12 | -| F | non-plausible | not resolved | **plausible** | not resolved | 53 | 0 | -| G | non-plausible | **resolved** | non-plausible | **resolved** | 16 | 16 | -| H | non-plausible | **resolved** | non-plausible | not resolved | 5 | 3 | -| I | non-plausible | not resolved | non-plausible | **resolved** | 4 | 2 | -| J | non-plausible | not resolved | non-plausible | not resolved | 216 | 0 | -| K | non-plausible | not resolved | n/a | n/a | 7 | 0 | -|Total|||||570|107| +|:--:|:--:|:--:|:--:|:--:|--:|--:| +| A | **plausible** | **resolved** | n/a | n/a | 73 | 73 | +| B | **plausible** | no | n/a | n/a | 181 | 0 | +| C | no | no | **plausible** | no | 53 | 0 | +| D | no | no | **plausible** | **resolved** | 12 | 12 | +| E | no | **resolved** | **plausible** | no | 2 | 0 | +| F | no | **resolved** | **plausible** | **resolved** | 1 | 1 | +| G | no | no | no | no | 216 | 0 | +| H | no | no | no | **resolved** | 4 | 2 | +| I | no | **resolved** | no | no | 4 | 3 | +| J | no | **resolved** | no | **resolved** | 17 | 17 | +| K | no | no | n/a | n/a | 7 | 0 | +|Total|||||570|108| Rows A-B show the cases where aider with GPT-4o found a plausible solution during the first attempt. @@ -233,7 +233,7 @@ So Opus' solutions were adopted and they went on to be deemed correct for 13 problems and incorrect for 55. -Row D is an interesting special case, where GPT-4o found 2 +In that group, Row E is an interesting special case, where GPT-4o found 2 non-plausible but correct solutions. We can see that Opus overrides them with plausible-but-incorrect @@ -271,8 +271,8 @@ and the benchmark harness, and only to compute statistics about the correctly resolved instances. They were never run, used, or even visible during aider's attempts to resolve the problems. -Aider correctly resolved 107 out of 570 SWE Bench instances that were benchmarked, -or 18.8%. +Aider correctly resolved 108 out of 570 SWE Bench instances that were benchmarked, +or 18.9%. ## Acknowledgments diff --git a/assets/swe_bench.jpg b/assets/swe_bench.jpg index 85b84b8c9ae7ade74173674474c2f99e9710de74..175eb7063fe00f96bc1e6068a099d3c351ebc338 100644 GIT binary patch literal 44294 zcmeEu1yoht*7iXVL`slu1q4ZH$pa!S-Hmj3Xi)MH0!j)duC6y)1?P*6}%QSaPE$HhQLLqjLRxsQcQMod9YModadNzF`4`H+!{l$4J9G2;_f z4h{|qS{{L?Z2ZjZ9BkJYK|n=CMMpy?#K0hAdqDbt?Z5nY)d<4AbL$b}3L?To&@F5P zL~Mks77zspgm4>p+Up1Y;}78$BGPSSlsl+*(SQnN_dvH05D{-7A>O`?gap)f2abb~ zuy5l$U=>EbukaG(p)D?(S6J#Ds%OPbc!~o%)a(X!-l%u+2?&XZX&%wiJ*Ma2P#+``_$(dqRYXBVHhzJC7i-Uoz7e2k2Wj){#+ zOV7y6%FfCC^rfVvkc45Pvr7Z!P<+UD!aoZXqEdBB5Nj3*pvlU_r!2y8VC^8An(F<)!WYhiqPV zaG!;x7B`_%u`BN28Q2Zn#i!<&rP;l1+D*&;y@q-Jw_5hMhW))=V<2=y1mNW%VuQe- z<1@N6&%1vufAzutav3O;Ya1(AOof%!kR*SR&Yd`AvY+CZe|miC3v&FZMgsP%&2x&D z8!dZRG-UiJeC4yr70ApmOqo-w;hwJBlkmNT$bqRx}z@f>udU+ZmFXE({`RR=GW@;aG5o%-=rT@2YKiD6OndJ5bM z=!J0#Luc0oWao_@YB|QeNTA=1=-gChy0D$ii*GW=FGBd3fbOS4`{P~H#R_6dTCN3g zS;$97{Wv)CDE2w4TgH}szs=LLBnDP~>)BkE*6_6*qHYK&7YsVpHa+6WdzT(F|3b^)^yx-#5z_;r_=xg45q zTm!h0MtpbyMU#3;eZp}o2ch@P#`by5qj!6EgTCnJA*}m>=BGS4bJ7ApbpM|%3`x6O ziK**t)1pI5sE&`>w2)p&+(DsnbwKga!LYBV+nJ~yD5?8gjUSg87+nz)l-sBBa<%=m z2c%!|mR}=16>`57M>g*mvNcLY?wQzpfLAb^s4GYK#$b=^8D78)5#yGMIMU{V*8w;t z=S31Y4ouZCpl|TRN`%jFf~9Dr?1FXnyfnhXo?Yuq1qdls*2 z{*sF($t(^1^?NcQ12NW7+M-O$lXju#78gW~aY@qGk`JZPIwbBko_R{l#DUsQJQ}QP zM-S)w#;v8E%N-MB!{4IJs-Gdp=S`m^x6-~C#f-`I7;h}oc)gfRCeg-ov0k-PALM|A zsj*tv0eha&(V2ix9T9YC8DGA09Ow{is#XKb8VKU`?Uo6Qc&yJRvGR0%TZp(^li)pN zou5`Re%ZG>Gqqs-=Tm$^KJ6pb77N~PLLJ|dNZZ{|8@^VLf%c1VG^eKAR0n524`KK= z4cgISqdwu53@hF3;cF4RzsuPc$sjkUkkfi^UlS(%@@^MFVn(`Y#TDpN>ESlk`ryge zaovH;!H>=63y>O?&WV9AyY;@9;=_t!kCk~pM8wpB zylEs&nb|uWd>V21WiJ^CP{L`5_(Df%_m4iQaS1*h-iVj3jg~I+7XIQ|iALbKUFLfK z!~+*0c+Qotil1Uu8bgDK8DqibMW)x&Cf$_7Hip-8n6ZXf&F8HFBZRG=gT7*ee(dMW z?@)ViT59d&S2z)qB_-`rYeI$;D-zln19(<2)!}%lb9ImAb#{7|;w^SF27T|s!f{_V zErXJ#J|c8lH0<*1f_)D1nwK;MD#kLz79?g-iOAsFYnFKT7tlaooI_SqAnm_?as?DEUHaTH9_#G(EG+T4(LVtv&%9rL`pj3{~_5onGX!WuGPnS$vTK$mjs|I`u(qc0y!nCE}Yv8I0o(w^Q5T`~jhs|{R% zwte8Z&Uq_WpyQ@1&|P<2P#>o|1^fg&D;`%L3YZ{@o$LW2^uMb9)dPR^z+XM^-|K<) zDWa!~GJ>%z6BOGl`?#Qg%h~&-r_2wU;8hKi6yN$0SNlWE2ue;N#?-Pd0nYl=+6dtP zSN1k$Ngtz}cVD#ryW&zPEwd|FlDke$SsW^IPcpmRYNTIRmdd>L>v?P--{U?Od;H%U4; zz2j2ORM8N3vM1~-26 zym>#}EiIeXfFYe2FNS_|goE;{yK7D5w!bO_(MSea^=qDTZW z{dL}7{qkRt7hApiSD*#W@+(kLD=_@YYho&Z3RP6rAz#-4B zUQ^g2u1X+L!A!lMR*u^V-k05F693HCYUWvbCz#8M6)*@yk5DHkGa3_Rs*!VRxL{*U z#yWLQF@5v?>v5$%v%>VoGppoWiwLH@e7~p1;`hl3mm{`A*L67S{E~Bo+B(*_^- z_$He@6X*Bw8blnj*BEYXOGtoJte?gyeyt8utY3~95N@PJp(-w{Y0{)gN@3o%Hr!9I z05R&kZ=z1tjV#mrltB6;nBFR5NTFju*C$(ZRrkrDH9iwP3F<7R*v^cdaGMRXi@ioQ z(?^>VUCVWMHl}A6+Rieh#i#KEp|kLM_;B<{RBj#ztRlB)I4M|wyyAf8F2k4MT0V1@ z0NB(7Q(caywvMNVx;S5b0>bGicfPLH)S9BSr8QaI=Tn2{LJf2)vb+%^rP&(FWi{Hp znY6OUTM9+#mdo^K>^CFYad|1(aQTefPvfXwFXtae_h`6__aM!=&*dWAAn|6H8wF(w zp<{ikyKDtXisH&6{L_LLmj5PMy#Jlnd8=gn)>qG3fA}pPfJM;_n7;ze8mKRWzn?8f zUx5S!+xMx129>5Dlu%F$DL<+ce>6I}|0_^9Z+%|1?tW_@a1rE6KDBQF043`97pIO$>CaWjZElyzbS~)N91t2pLgy7l-(Jd8U zC}pfwhaPRkqxdmesVN5=`YWjgqw7)X3|jGZKj?le^rmrUUuO{)K~oFOweIQnX;HEX z3_?j92h1;6M_x0-?(CwlgO`lNy7A`5XtQH{W~!V_9i1Rd8)C{u@fIg(%Eykm|ROu&W*^t zVF7^5=p`~I)&(l`1|C@g@W>yI)NnFtePnb6ikXMQ{P&U$Z^Y+Dc68CMK&Y5yS0LeF zkt@(Gy$dsdEcMsC0;RO20z@qfoC9hicMX#$x?D&8tvd}|#)6lyHtC>`x3#WCIQ>R` zRc0D?KCJ5<5DtNNXs$qQp(hfKMQ7+16el=Wpm_jd0S^Z*O$C74ji3i#OSzi&HHa&K z_8ZCr7!DZl*BEZ3VTCmZIwO4r3a0oG0oVVh28quU7%ErqItFnQM=lI-$5v4%#>!F| zcF>O0IaTiBlA+pF*cbXbYVvog-;5k!P$*!OD$}tA1xY0=cnrl4nMTrZ?f1j$TjV2bXvu%k7Oh( zHB^OmC!H-R!#Bc9usY(pvheLAAO(=U3Pa5|G0z@TA2jq{cAu&Fn~oN4MaV_rh1~yO zLTxPhbOkF@b0@N`*wWedGV+%8OW`#RYJ?z~B##ablQ@A z+Bt)HxcFIjvYD?ge_w>!KbfX0B56X&iiNr84mUTuthflHZ}BN$+IA(rh;4*q(|6ej zA0nsuktx-dO`7k_!4$R*8$vm`S(B|{qbF=%2YiHi303Us)xyNCJ+K2<)% zm=-8g;m=jH;CokS-n<>Wpq9|h7$F7g+N2J$`_@jKY_Hf2b>>GyAGPnqIS~I4N#T_n zg;$<<2rs{=yBk77J={dV9dUMRS}}fcw|F1xLFN|Ez}h03mP!Z z3ewDBqJaBkR$ZC6WkrML3FFqrZ1xf&!Br3i-7J5Yq`_66OMAe`#HOGOh~k12{x4h9 zA}#>GE-Y#sUORdP5^*^U*n_^m0`0MlLr3EPOkl0^1G-x;jt@Se#S=AO8HqCb+QoQrR+xu;xkrpQ<%~6`9_;woIe5Z>gOP~2ctU(Cty3GZ6oHAQ|4-_JN;(n0U z;WcE9pXh8ngoy2(@s%X5-y;#HB|MdTrJ7Ydn~2}tY^q#dRr^S&Ug%@aWW;JIc`PSe zix``N`Pyc&)Z0vQqfz%>wg86A0XKGQ`;5-KwF)_iK`nDrl$CAL<;kk1axSsO9(%T| zlGFPh1s%bH*?8pvvEuZ}x}KD$jvrn|Czz&eZz_$S7`_l4)UU6uCW!O44((F;9!rE! z(z!lXa@NDAch*0+wqMs!AS)Iy@nz=<6kDJ(Hrb^JYbmZubfr5u7RV#Eruzn$u*IMM z%yYYV{OPu4n{C7w_K&10KlPT*K;x0|im{ z2m37_w0a!r0;Y&)J{+hI6<_%3!49Mo#T6{YLd=3JG?fgycw5#~&rLO&fSkEULKG_I>f zvvA`a(HbosFvT9v!@J>knnI!Q|?F0@d+L(dOrXpx&AAFCs; z?7o!DHxb_j`^{GaNPBn<{{w2j>jw{`OS4-`zGiNsvodVk8gB!yKnx7L5u|yY&B%mQ zR4DyR6&&ZT@#@43@ohB^>Ltl;l~14}w<8@cBd%(1UoaNk-JF+qy8^x5*fRxyNAAnr zN0|j5;>aU76v!*8y<_GPhn3y>&g4-PMDdn7jq^3v;9&1A_`bq0%^;+{Ymbd8{Yx*l znwg3`7FBkk86wQAko_y4KhAyv=bE^sz-t&c)MuF~nTd@Nzek2V1UWbEs~qFKxcoQ{#V!aBd&MC zX|F&X-H>F4*%21q^Z8`AZx`H2v0ZCY{=1&u7Duf zz9*gDA|ahNZ*RlEOw-Wftfwvp#gNO0>IW z#0T}sco8QiQ?BOxDUBba6t3BtTg+gXApY~0MA*JlD6hcadF?N60(SZN$LIpEN?1Ez zkzIjYUu(}7l|2fb6A*un8I>P=KcQ4HxJ#};R9!hIqC9ufIW1Q?8+rJ^qOUViH4GlQ z(|fu!YlQQv&uvzGT^*nN@z7kr$jDQsLYly1CzvGu>V5u~ve3H)c_;A-BkAf^#2j9- z&lQ-5`}RM%n4~jDyHwb;-tY2!yD$7eatql7=8Muz%jq<^p}bybmcvI~U|;Ip#tK&zw5~Nw zS?h%iqZ_yN$M!RW<15h1^<>lwv-r6NAF3|1jAdAeJHtv}5`KWJJKZwO^FLezRwu#v zpeXGae6fFN+0`T1-ghAIqGZ#pLE%7&`?}C<;tI6icL*3G@n76eaNiY(AF$JwCHL53 zNTL(Y13*##GT_VLJ!0)kbJC@Hh1xS?k{zdXw8MezoY*2&8ad)Y#c z=3TUndegB|Yd)gAa_+^X*h>bvuf&l@x#|38LB*V~-rZ_(B00K31TpfI<(-F~-0L{| zU&kCT&T69t?SobCq$DD4-ldu>%|)bK?Cf>DJD%prv(AE=89%8FePt1`MsP3C)}5~n z)=bEQfZXE~k)*sFw2T`U?Ze0^Amv)cTx1Zi(l#0uCWXW;`UJOSy5W4+;+u{tq4z>_M8rFND2i!&KMYPv&j*6+`(zyukcQ_e+ z1tM9nHM|0O+bS!Fy0-h_8K98_2AXd@41Lmw5Y`Psc5Ⓢ=Ma+P6gZGXu=CFYt|7n zj$8_LHmnTx83Z{k$JON^4ITtrbWJ{d((dvuGabG0UOUlxSU>r2AAO%uL*DmE1+9up z&1G(5L)#pwf$>iz^wE&s91vM2HRfEV`@>T!{K*IVnZ^_NlOsx@CkUKe5jISaGF0-; zLIblX?$dxzi%mpS2{@&fQd74}2eIyV+w4t0VIRr`Hr~O?0o(*}~_oLAPX@KKYDAW)u(bh@<;cg3CIn4D5$|6`>^{}QO z`<+7pS@L6~l~Hur*WaLNJL$WJ`I}EWm=3o~mnlpym$pw=mzcq%OQ|YR@Z>-ySjhCq zyOy*7hKyxiFaj_NSF^7`<8qhy!<#B|^@sp|9t1#idGZ-k-dJAqw}yZ^u&S%Z>z(AH z74OQTYcGaL3pzRncrjQy1;5kTRXfRTp}F-8Cv5yl0NTqCeDiw>*Dqj5``-qJ1g*r3 zV^h(jP9^ySQG=O1r9o_IqN~YPG7vTHd9C$48S*I-$)3{aiZD$QuMs>uyXL{{bs=2Y zih2D8Q*!(YZo>BDqt?Cp8khNTo&qS^N{LyVcG%>%5?$@yV{YaKhmK3z&Bj92zON(r zx_nhIgYbn``!xJ0)sL}gM4n7F#WQLmGx6Pdi4WJNwwx-%+xE1C`5YtVgIEvO0aW-m z()fSxAiL9Ufy0MBY+c%rHvAquT+u&FoRenMSr3B;ijV0HSP;|azpr_8E`7#CVGb3| zF-z-U{)dBfU(mi>pE__9eW2+V!05dZzsa&v>YjOtpPCj(S;HdMI*;xW=O~VH7MaVy zW#*k*QyJ!IvgSJ6l}>xsb{3ZtLAg(HzIi&Z1U??$&l*sc*k-)~)lVmq1H;q3ffs@c z`mYxtm`ui27)1=`=C0Kh?ZWX4Qnxg}GyD_!X#KOED4b|GnWhS*xVRqxNcj{$+ht)% zj)u?!@A+32uj!0bzq_kZZeGwgj5A}@ekPI(F~yO%gH(b(vs`2^ub|XPwxPyfUS-gG zw)9mjd`!_d+7kU1q07BD;9x;_*}b_fzFd<@M)kek0pF$$1Y1vmVimgdDDJv4Omodq z>L_QED%ba9h}j7Bt+l2*$N*m*K)Rod8Bh znrvtzbdT5k3UoAh1rjZDRe4k73B-sTfW6IZc%a46r=5M4xgxpYq!FD9+VwNaLWVi$ zMWE{R;Yq_8;;7}H3Bf`)+THXu>uW}k7HIw|R?#ZJl>T2)FFi zlQNPPMw4{gP3JV+rm;@M7LC{9{H{R7Ip8V6^Xc9iJv8&P`uOxy;^C9J>U}g6r1Ig$ zuM3`XlnKe2pdV4{v+oxpN1hHy^A$JB^ME!Xzcgo9 zf`*UP6F!63&a>I$&~obz73Cq`lA>jlF3}*rlB+;Lem=h#RhhJ(@_Q3jk+Rs(y980R zIqkRz<7P<@d^E$i5X@g2JDYTsj7@%efA2|GMc20s?1X!ABC84&fgF(|6jE5PX<#ot zgCk$^wS_d^Ll5vpLC;v&O|n(@z^WY>JQr7uZzXoh%bn`Jr7H)af0s_nfKG?-l!y^o zRz2Jj^JuNBPraI$D=)8oPLk923iRFxM)u`#m`dMAK_%=^MrwXf6v`lZl-xm-vn3!7 z17%m35~k_N_}uEqlppe>V763O+>txvBVLucq_!?JiZd>rloxP3|2#RGrT0o+2uD!

va_I=8;$H8wT~^8k{ai9(vS9hD zl6Z0NrFpTzp2^{%B@KnGTXy18oo5K4E`2+X)dsD7VsTEUI*!BGHun~+QXJ<&_Ch2s z<;9li!lcoHhP6ds=nQ1Gsa)tjoteJdbYvL)@f@!Gb@i_tGn$eDxw5Rja>yE2c1KIJF6FHerIpyzJ~BJa zn2^GN0%LpRR8zdk(l!ZWosOxr>>uz!4+jJntV0Gx<$L1ik*Cx9x%>@B)B8EDQRNiM zz&li*R#LsVF8QQLyG^oWm0kBVKv=szbDmItl+huN+Wb+}hA>~}{oBF`_fXqpJ<_Tn z*Y8=oJ&=H4itIEV{>=9Hi1Woq?Getv?~c+sv{K%vET&?SNi$)j3L$K^ot<;>8SBJ8 z>q;wQrTD9_NgvKqm(v=(lb!PaV6SFcRUQS`VPh!4%z^~Hb23Vc@NA|+K`FOPfTh&H z+#HT7j`haw>yB+pr`3?*$xYB>-n!(2A!dv^It*~UFG^x(V8)|Dx&0l8r;j|3>#fU( zw+yxzYu-?jD6T3unMSZec(o(;=4oF2<1eK({f`3n_BY;FY0z4|n+eX|pWiLiYb~#T z82>zETCuu#oO)LjN7H|jJ&Le*3x$aPH7;vX0?lK|G0bc+2C&?2oBV3^f+| zj%_^r_NuZKM+IQnxF&>T`7r|xNyzlzvaiRkGSIW>jlkyqf#?;nNf$^{RG&37xMT7YgYLXd5Wn+Oo2K#d$l} zn&~dS8R3SbjZ|2YxJcNh<~exGx;F;D02;cJho|^M@VIxfW;pbET&|HX7Wj|;PT1>R zA6oAcd{oFUY2684u^a*vCI zf*Eii1vBDzo1X23>}HxB6b3KJzO=VEy1Dgw%b(!2Kad6jhKuG|pIzu(BCLP;sW2)V z-sgs5j9+|%4ie=4a*EG>dBwm(qzk_JhdbZ?#|Hu|y=|*I!5{kBStI-VDcnCd%DpIh z?N3TvS8^@%m+ikX0fRbE5GLA}bh9VqkxGBXUjAW?*ZM7quj&qM@y<{UiHo%ciKRnF z=ggk-aUra#fp}U+(;UBFqZhJJUmMUrfmzHD5k(OVVDO9WcRcN3vm0k7dbrv=i+*$m#MYi&dyAC@^mq3s?Ev-xV9Dx z$7O3Q9V$IE20_8?Rk#R)zal_Nzl@;VuPiT5ihs)9_*WSn|8W@-H+ZdmA$_kK%zFX#mI@KMIyktU1%D-@V$i5RmFxqYQ9czRJ8`b;x%u1)R+U;>XMZ?OsDad z+~jJIM=3&qsQ&jiVOvFz&8>r)c)S{#pr zRu~EMgzfWMxJuNEgJPo`f#V|srk`E4s)Cjn8fV%zM{m1?S`=rkRGg{CLaDi*$mLB* zm^d3N7F%yT;TdB{NejH)3so7g-liEW7&z?XG$qN0XW9f93 zRl%9+`rNU?yPs>A@yR!7JK3kL4$2DpRU(RCBILPt@P*B&v20LzY-&G+8rUYk3^^2$ zALKMEb9N*nb`?6tW>ji-BB5Y*`VzUlPtM>H07^|aZ}>qhS{E8;Y}UlMU}(?E*iKgU zsAxbGr0sJlH55rov8I}Ft>EwebZYAU(DSknKa8d3tUj@@`yt8Rk=1K!Oa2vE-HC^c zC+|Q7$JnC!c2)rgHx^B6-4NxwEvAeglqflUwuc$8S^@J+?QW+p+S*f6HJVFnGTRk{ z0{*bFPx-vT8OQrSM48Xuf!K1CeETR(3HzvmmOSaRd@LMl5_y-j0y~(=V&Q|2=GecJ zKS6$a@M%OBucV~bZ%Hd}eYD~VB+tA&1tdy5;W-=b-n46%t=2LhGh~%xH&We`c(xFf z_{p||nyKow$#@BhHiWVUuiC}bi2d08Z6YHn)mjA$!WbV3)8)~4M9;Qne( zdLy&OdZz@32;^!gR@RuhyVf^;^gZKgENuSz#B9e5`wC>xYsHipSo+OwYdQDTeo|sy z!eE(}fN86mAT|B2S+z`ZByJHAqBD;PVi6+MUIELkC5I7C!qhjfimcuY!F_# zCNBz+IsWSAC(uIcWAS~CvtKFQW`A#!60x$9_jj6(X&;pOEk-IHrALeh=iSi#!0rV5)*;ss-9tpgaoAJTbA52Oxeh{(>vHyjGriyPtfC>*nB9Q#i2Onzw*qHGMVsd#!} zj-H!qX1}IOtyNiOS}L*W7A5WGTwA`C%_lrxVUhjvD80Z!7jI}Q2|gkX=H*F1pcLbi zDkhWTCx#8xf|=TKIA!=0T+s$8BB}1QynlGql>|S06q<^`wX}3Jw}^7bPK*1z&*QFoh<55`Ik`ACB}ASIdQGrrtHdMu5%T^3i$o{XTmq2&Z}e zCQHbAp5uEh=QdPT{#;7?5wG}u8M2;Q`L*UyN5bkXxfY|NqXXs&Ki<7cc-~`M8EZ5~=;h7j z^?}X)pkS>zS)@j5yy{?6evD=ogTn-ywkNpe;{xO<;%Fw@3#00I-Cbrcmo$V|M_;t5 z6(7(L;$igK)(BtD`f4TQ|w!(c0$&^ZfcVCsc(0J%VByH{CvvTk& zvx10HpKf;;MJ^$Ev%tE^sBnU=)`W%T`#Sub&Rfn8Kpjmc3tO*jzuUdZVXh@em$Nme zR^|Gf&$bRFC2YGJ56cFcs~LVx?$HM&uam4<94bUy8oJ9o z4G^*5Szy)bepop7PMvPs3zm_V6Y*Yyd1hxa^c`}pBh$tuMh! zkY2>$qcu8docOL9?LCbN#ajO|5ZW)w#!JWY=ZJSLs|x5*6}5jDyrH0ejGCBo?xm*x zrJ^iuPTg?q7;8z&PIjr0XgM3?kk(|6?=CpE-9k|EWBu8fiZ@*xhp$cqNsQHG66X9M zg=PqoLxYc!dR0Y$bXpdN(9>|4MFR3~HXeRuEC*!ViphP|<&(^lzA&+8-78LEVH+0a z4&9Ga%DoCkyUN3;eQ_i2bRWMVPfDaiOpKP%VV-aP{7od5MN>M~Hk8f&{tVm=;X8sR zemb1N{dxPbU@It^VtV4FuYPQ}uDE=NDQ;?uCh8I8Ccl2jTkHpEqqYKR4%_5}zol3q44nL@i86D$N9ECsJaUioVtXLJs3ADeWBhi4 zqK1eG#|hPku7E-I6jR72SuJy_6hy=-L4WP2+*y)f#r>9$QEXB2Y=|XUNl=L>Bh7bq zbcEn<{yx1}QlMz@>S0EHB`)7w3z=MoA506}IM2eWKP-~n5ker%B{hu*x1>-XEh`Ib ziCauO@oN{3@5UFDVw=b}3w`WFWkYMLGA72gu*_L(m}NPySUbvzG)SVzm1}MZL4w_R z=EwN0SIJ2|tWn7`z0h9SQ4e+Pm~EZcG2=)&-O`@10`eHjOPZGP$rGJxQP^8zOnt`; zv8cMP>`RGjcg?$k&2*hUjzTF1-8f9d&PFPt_s+$- zI3i&?`Nvk!i|-(}^z3;dw59B8^e_Zq1-Ud&qCf4?^*wa%=@DOIDUbo5E#<6>7ROIm z$JCcP2d>Med6EF-b$tVk$7D4)aBy?RTE!^*n1s3o2v@I6;+v`BUqUtnoL1c^KPw&>EHA;6`y%a zf-ogHb-Uo>3SUC@U25(;-Oct1M!rz)n)o`pl-sN+aC{pl@Wu;G zF?b@^Khgu@1}?$hdYC^c*P|dic7bn|ziv zd3k1uQ#>N5)ZI~NeWHYf8=$mV!%{#fLRsC-hvaWhbAka(d?VBDc(JLt;n`8s+=gSh zfVgSm`~ou~e@L4nZs-48r2mk8#wL1ahQ3ur=Uf1shu;`nfo?7IeWmm1OvP}~eUhZ5 z(w~OcyhV}f*8{2G{2`Lr3PKpa3gr?1c7M9Qm^gFFBe#IM9_0Mw*Z}vg z`DUQ%D(rGb)=F9lUxA{3S{jRgvNVR*(Yp5?=?|j0$4Y+xCbA5=+9gnw@4SPTj7lwTeH7&;)_$R@|*n zWbp_ig)nJRccT5THyfZwqC~i*^0)rHqc-4i-Oi#!%ayUc61n32ODrYEb3K+J(`!vZ zchjwc0ef=FH~Wu^9)1Rqzh>FTWBSj%!rqfU*@mG~v$R1bm{#SMqWX^v)J42bO!g+q z8N>d#m7EkzF1{-eMZN{~Kxu^y&r3n}6O(ET9EheXEyQF5%`)u4-4B8@N{A?eReg)9 z%XOt?o^rO1=<-QO;SzXqa~8^BG{Hu}!vlUQ9~ZDU%n*it`K140PBnro^sq-^DB=oK zXc1DXMO4>I)xMq&HR)Kle-)=6MQNxkXnE0`yBf6LYIahnVOkC2P+xo#A)olRhp3sb z-}oc>kB$t$o4W`IzXFY#K@V8P10P0B?Te43zX#?NJMBktcHfzJ8H0J!`XG{-k#eW# z-GLLVx!K&EN=sXKiJbvQP<0`J^tkZLmaV0!K+`JjtK}V{LPg6Jew8^UYV*vclH#yJ z+GIm|zcxHEq0SyFnLKev@?1#vr-`W_%;YGF2nMKV5ly|1-_0C^o`^PlVayzcI3iL9 z@Q;tM=kxVJnmmtY3@R?fMi}xm9~E)7xX}K9It;MCH7~gkK-4bzG_9~qy>EI&$EYrcBdzfTfWpkQ|3(j-m_)2e#XJu8Ya2Loc>&uMn5LS zEp(3TOpTW8TU0VK|M&Ok`j5j_V4L7n&S}}q%>@-A8VSUmLhBbh2e1ops7Qm{LlfUH zKap3EmfV?{BaRr1UFJk7vTz6>9Iig7YgWL!rBz{pKYCZPDiZ$sQ64<7>+I zwM&mYXoel$9Wc}oLgpSARyJsPHVsI0s;ozZ9KuSYosN&9%8wr8OJP&P&B#?zy0{K` zR$pL(MQVq)${8YYTV|ISjRZPvJU zk4uL&ixu(QONz;7E_8>D8SIadvoSWOQfU&L2&x0x%^|P8pkmHe#%hOPBG9f>7Ra!u z_s@kh5qBLDOLzqfqbySuk`S7#$zm1Ak$oKH%^aTWiW!z4AM+G`Ad3bjLw!miN?zt= zp0O@AEj_UO*_%X1aF&KU?}?zkNLU%Kx9jqhCm*i^be&-BaVhW_j}ew3C2W@fy8NCy zR?y+l0+l?qzgysYcPN8=#y-#PlqIm-4Ge5A^%JI64W(nHLJac?nj!ZLXRr$}pw~3t z)tH!)BjK^Edj18O3gnB{PWI%sLUMB+bFO`kNbdBwj18XlGs8AqeS|91>%2=O;`*LQ{y30ds@HYm5UB7`M3S_rt0ORA+F1-y2|dETfGp-*u+ zM9D3%p!-a8<`HI{o$=kAnI_SvhqD>^HKo33kUpj-x>72vAZ6HONFJM`m{HV*%QGV( zg!iJY=x3f8F#z68%(&zZAqSjdMUwD>dcU0EmRKMK?Zt;1zUP|r`MKO$xS?eMkgr%q zBQjC;S%nBZ!aX#+_LHQw#q}Ey#e4ocG5D9y14K2nvs+M!I2g>P)B<`fR}5;yWVyad zPWHWoRabZKVy3>#GArrJeg3F|@`1m;;bZ>Wpu zgfqA7eSFF5g3aIDX~`|n`XPA9MJ7BlY=>Cgv{M&~n z9{0hkKJkWMTcVLbL+(li6_!Ij0X7cTs@ewD@-$z@UiVv`k{7p)EXnCB$_DU{<-$yz zAE_&`^4*3sk~N}xBdplSfE<)n(7I0<55()#HJ4Q0v9%N5(+L$qSg?cM?UhkeE*@rL z;#4jTvziY}=L%>{f4D{IEi1+sWIqOc>x>~r$6DQ+0quOt-N-SJi8f;n} z&Q49|0zqWl+(20q+SZb<3coWk&zO?nPKR*FS#j2UkYizKedxa`@*RKi({)6K9!OTr zrvOwuKuW3$Mq-$iv%C7@NvjN{!}7`3o;%;6e^2bb?DSNHLeY|^tovlaRXULsvQ3T> z_1!&%O|pW-3sQ^y!G#z!mG-%o{Fv>;1m;>EwixU7b?=1{Q`l%&`*~d+g$ltKBu+>A zlQx;1W$1yc#L^?$+b6;l&uW10gK=mxI+dz16tps8ukre&=S^rnOe|*|?^U)*CsH{6 zUjBw>?o&6Ey29!G9L6(uHujgKd5holabDOrF!F^6>bWrE^GPv8!fJ*2lZfB9S+Ptx zGeKH>%p-m75&7%m8rS<3o`^}ua)_PlbWgm9W~Y)`j%s=9ff$mQQ>i|gEemdI zCobhJjih0fUzlDSg8vlfBkkgaFlWD-z&x4Mu`H}0eQ-g&u*hn@R5Hd$v;oY$de)Bu zWPqbu@!MbKjFIP)oU?Bvo1BCDmQLe~589!y>OPd!Q72-RZxsXYtgH(cYu^a>Mb?H! zA6!~=uN?a~`^d-`tXefvtWIhtj#rT<7O$#YJouz*;i9~n!zQp8ITRJ%;d4vug3!YsFps_{<+aw62zD9{|y`bY@whacmcd*M8j5@X~3-$-m1>?8Up7w)T2?|Aq;D!R-$0!??HKptW#L4vGxx=9WA|Sri6ilsZ0p94KCl;2SVCK zuV#{5F)ho12=2E{lfA8GiK?oya&GQB4K?qvV@hy9Gj>9~a-Z|b9?bi#ZZkg^w&oOj zU&3*un3e-7etug>-nQM&vM9~-X(F3bZCypf2;`8*`ZXf%qc#=qp=7yeq>v2@46PTI z+Z8_wgB_wP*xB;LVD6D#{4XXpdU;k80=CTnS~h6Zfk}hWQ3H})kw{avr$}YhLl>;J z^#CJ8R!%m1RYx$P!aTdNLgxO9dscM5;uT0q-?!E1QjjmMKpR8lQ>HN<+fv3d5cuay zI@enh$;Zh+Jjr7ph$JNgkVLU+pTFtYMOhDg&S~&>_-taS`D!dHd7+hFl;4iJzY587 zrO8h`8&8I#M{!?4dQ&ogAjMlEC15hvPmd%f97P|QRqH?=+3CHZV0@Z}hSWgmhiApb z&m^cZhyAn6d5@AgM&&FsCiGskbUM;}i+@M!OHp&GjE;^awQiPzsZkniWI4(kueBO& zrG?*P%kSCf>7epmh&GpMq)2;weaWG+BD^K)Ep^mBd(1#n?;)kpVcQ)t6shs+*t*N~ zSEp5Ti-;aRZ6VUw+1NS8-tmNs3`cN>ay{t)%>a{W@Ddw;3Ew_@618<7yoUmKR)E91e&p+l*UaAa3m(|N z0+n17e%EVppdP^Pm7v5f6iwvb3=YZb3}$*D=g05nmFG$>IR_uR#Pxq-gXUZ3W@Af) z{_TPBp8sRB{*9L4j5{ZDaUJDR)LwxM5C4G(xw$hygmAyUppH5(PA)EzJD#fhk9d%! z5OXsiwW#HKor3gFznFoI@eQ-=gS$cS{i2&(qA4H%IvVunnX>oU;PeNV8k@$`Up*Sq ze(Hlc_@iyWleC(4ns6_6fmR-l|2gC6db-We%%aY!^f=Ay**5p%c&b%#geu} zHd*Rzuj!T}LTpC^K+C~{l;><0GNBuFY%fI~fv0=zx8pW081O@p13sHoFxXp@eAq{x z&=v8PrqC5N6|tQm@FgN?ZjzXJ>MJ*gMYUTnNmCkCW|&Sw1*zRSC+~^hVNa|zB?QRZ z%U{Ui7dZVF(Qu{YOMnNbz5=bsr5E70S=;>Hw%me-5sFNapAI{DV+9isSBXtk{i$L& z`_7sUaxAYo>)$6#JRSh>pI%PZ;2(r7!Ht9Ow|uF7Hmq6p_aO*4Kre)U3!5MVh5srd z3Pj$hf4@)F&A@mH9x9N$i4cj&9R?qAy5w}ii|exzL?4tYh$=kz?fSO^_2w_=Th+?o z;IH}00I7KU&#CzTG-c;Hfex6mGynG~I{h1S#s_IBML-&q6r_}HgAxg87(%+cb7&B01QevCyBUcA z>5@(vy1TplZSe6qk3Q#|@Ao}_{oc=e{@^q0y=PY3d+oihb>G)@udlocyyi6nrS*8i zSUc0&ZDieS$4ZKeMRp+`Q%zjN?z<{lqiA|sbdR1f6jQkzPDiMbBZV&5@x3vCMvf6} z(Z&sjj*?jrtilf6f`k9}`fTSLx#S*0B-8?6xkei81W7SnlZu(i8 zDk~1fDqZt3?#}qhNkqFoQ85=nYM|7M?770zyJnE>hma6cCj%@UGC{`?YNe{UnFWT*GD#)O81 z<3)l~uNZ#-bGxUo?s%9QXl12@;C7`5<}shbN4*PI`K)9droM;y>>Ki;pZm_)a+asG z{pE8RpD>~ZKNk+<5;C%UY%EtfBlB{$(3BBk$nrLivcIq(sR=D#ms<9*DA~p^ZV8w8 z;X6!6U7r>i{N;DD$hR||k3DqJ1Bd~6jOb43MoA!q@Q!DQt-7y_;{*!c(fChn&MP%W z**h{d8b&mVe-)m~u>K38U!XgJsPU&=Ze1h#UykT|h@HEd#TE+F{}SwsseR{cx^jhm zfb-;Pr$CobPE1$Cfb&_gPm6uiM>mjxJF@qjPHBJ zxi{8c0VVzt>@43;?bLd41?HIC>32u^f$$F(aDu;l|0+%doCsrbe*geHH{gUA@yXj( z>pziXhs@?>nX|;j)HTpns(gc_8+us|27dilB>A%l`CI>U4L_QK;P`9FBGeKK(9Y4L z98I-TrN7|EpACK_`Y){VH}hezK2LnHb2^wP2XQ<|yXJ^q$F;6ZrH~fl)-qR_{|8sp z8ZYqt58D8^@nK|J>?yQx zt$$VfP5=52Hu|g;{g?Dluz|)qH-c{hdDmF44n2Q4;AOc%FZg(%p40;X#(>J~`c9j+ z@c%ZszWHTx#oUcLtIM~B+|gCso~T5;)Vh0}R%Pw)X;pq?RT;&5E!U?d>bCv<>K|cr zFHvMBJkYNP`1@K{oi$xjJLRm&8(0Ux`?JC897aTc9pW`nLqCp9TXGN(6M&?ml0WH{ z|6HuBcO1iX-~8r`Jyd1g>EV31!jkvrC7%6!lX=1Wurgk(^sWKASW9=jNy$(;c%<&R zsLM_>$hOL(dOCr&`;tV;Q0`1*8cws8`@x@AyCPV3MZ?k?{M;PtJE$lv#t3PhCg!zc zJ1qiD35qmY&i1+JcKlOc6HR3b>*R3!!x`%nrOl{(C?Mfm@F-{4QM`t$S0LT>Cj%s_wR z;0h7m8vj9TR4VupW(aMP1n}yEz~3=p@0GjlNy(4kv&#=>eF1eF@HIUE9{u8Ny9>2J?v}+{P5qUp4BoBF$npamZ{1ZSIm);^mZ(D_9uMD)nA z2@~7N^YwUc-V?T?%m_7k#ri)xvn0vJ@v&Wmbu1FLR>VkKZQC~@2H^cHfNWYE&^gmp^ zeg^T$uYZ~elu)A;T@^ZrkRtN<4+~tIBd-fZ{l|kTKi+;;yvwEaBLAxXoGabQuQg=c z8cRZtPH??0Q8pYx?&J-ki~U}Qm-nOMf|r{k(aL*mQUz5mFFQHY1jAp zity?FgXsyrK9MaBSjIBCDsgc30rD^A&Y}Lb`~PR=FaPnDiRn4272O!iyYBbZ8dvaF zB1+E5l|iofDy6fM9%#V4q?vjFy^@o+k^`CAh(u_Ox?D5;neaZOvI8li4T7&yL&rV7 zN(pV$1+q*0ec{TFW<4jsKb>@tAhZ^*Ty|Zp=CAA&!QbQu8nIV*MiHQ^xE)(eEofi9 zhl!ox{6&-?e^u8NLFF$s|FuCQz)CjMbh+;8Y0CXA_sK7h9KcWcQ>Jij{J5=flwpcT z2jsJ!G(RV-fA*Po;VAQYsElNTclaPLqtfpaI9jTOsgVegDyd1y4-cVpIS!@r(`c(M zc6Ms|NBV3$&eLZtcQMg>wz_Rn0tUTpg9%IoaR)hwHqA3e7R(72XAEPy#ktz+F?CfX z-HIb&oRJ8Ww>32IK>tS1h0FsGN;t&iu3r>=W(G%p6S>F1FSG&b!}YY8vW{UhbT#kc zTU^uj2BRIdFjimrdc#Q!@BmIj+ zvHb5ms)HXyDj+1kAJBvR8%RKQC(+^ooGtS|(lHlYr(*`JHlLU*|3?z$q<@d{elPI9 z9=Tt|i~se={qEa)B_cl*>1=1Zyit1S4~@`i)o7LmJPhd>PPrn(EOFfp`;y#B`sCo8 zwj8Uk!Cz28;plQ=>?Y(4eeC%nW-OMz%195i7pfm>hvHR(6dyT}1a{f*N_9n#oHM>F zin;%~%$fSR_WK!vbP}tLH#ZRzXH$kVD|{r6KbSi$GiQDWDFlnI;BQcgdxxG_eQ{m% z6yW>`obq&PFWXd766v>mUm%r=>Iokc(L8$~a26CG1s$4w^Bq*SwZ2Kqv|C=D`ZUEI z%^28;b4kb#Wc=#YdhDf3*csqOEfj5sEM)<3QRs9Zfd-%aA4g_?enl7`h-jz}kx37C zud8&n1L2scbpSI7)a{Iw^cqSrs2!N@?spAa_J>o`6x}?XhF!i&v zpT(25@u*_`0C9AGeDl*#J(ASGMch@%UH{zjvMTT&Ooh%yY9EwWz>Z7!04frANF7G{a`d+JVWbSKMx7W;1o&cC>&M%Sn^ zPwtZ+ZZOW_1NdJ?&Z9n>AJ|gu8_W3t#ZfDet?(0Pfds8Z-THuZgULMJ-*2<>Bf9AD zKKY+!`|Frc6mVGCH$^K5*m9hJgUyAQ`M*Uzyd>ERJj?iB4gI^ZuAVac>#Rn} z;?!Z>?`&7gE&!Tr&($!29IR?CFunPk9@Zt}&jaQQtvA(7HIt4m+fwuphE?c(f;TNek23 zxG8A(;oxR#^efF=K%QGC@g0-|pXw4ijuVu|(T>LIw|4QKR%_!7v0W8fceN=*aKGE)V)Fx|fTzG!;x&PtlU zMUKe+VgEH2jqP(y%3?{$>NmLT;o_LWh~a2kN%E?)aeg9nC7gw*ycUcOPKy7oR~+jQ zpj-T5|LcB{D~h-jo-&bI)vwis#qV@U3Pxm10Na458xKcmfWL#X62%o0S&meK z!x{>Hbxd7hP@<~ZO2bdBw=4HFRpa$opZd*5!|+93mF?KSJK7$dP}5o&x%2TUw8&XU zemM>IvFve}#2~Z1JD)<|Qu&#CHT@)u9^}3z4g~SmI35r_iRFt$K}!Q zt3rG~zAp5rOva9v8Qv&ol6+MZ#1rX?s_;%6gla{NU(bU|KBP9)E|6v8qEYPw444W^*@zf-WSV z2lv7Eu;5{d*~^lL8_$}n+UF%0)t*DXy3T-W}Zp49T zvdd^g$>E0_xdxR31xmB{wnX|!+McMSXSao~!qtD-$F=BOD-WW5ta*37w6)c_!=s!SP)O)+m zm7*AXuiMcE6``Hu+lr$yuG5)jh4X^ZegE;+J3I`&+1;p5;y{y$U~|q6*EgJvmN#qq z@il#7biGC@k21%`8(odDhN`#xjfTbHNEULBuyF*itdv{aMSEIhyIdWp$~&KDvmpov zCe&>v&cSGMCsmIj4P(qn5L?o!hKFI+R9i;6D$yTwdnO2%`D9U3`qa&KCY`|Q{YnCI zhld@PkWxwf^;%uV+tK=Fdagn1S%0z{u2$3q=I6!+J#?e{8%mdGqq*v8YFlAc1=yn2 z8*$49ibmAR=2;5RZca;6gj@Qli*93HB0t8=%cP)r3L^`8-J8uY+D3i1G zr);0DS(lZ5BSMnac~$jDTJW`a3$_rOGRK6?K;xL?DwntD8&zd9VFDd#?smkfLX*W5 zjmJ%iw|9{9{d_ANZP-I>&FSyO%#nCeje89Yq$_xDxXJQU=p081QBO`Fj<;}PUTCo+ zj7sK?K1r#qRd|n8@>NyAQmg%R)4M#2V$s_KUfTZnT_!7Ia-V04k{rY zLNQKITAb6YAnAziWW6J-#7{jjZEHmX>-Ct4$NjiX`pp_1{2I(rXVK&WS(goXmn2=# zK6m-648asa*rULj{QQLZY3%o#^oRyOJ?n8XnTBa967CRI|1o|G8z2=EDkAl+30N|V zCI4P^MYse~8#xyu5t5#Lfn>9zlH(+8-@at~bZGx0%YvGvn|XJAHC^VH!d^Hwo_+2g zknJO|dv6SVSj=1Wy0@4HTTF8wVYE-vUO(HZ;H=>;@AS}&uiBdg-7^NZ1ldSO@(ET} zK0}z4W1drFPvdYceXK0>jNktOg|wtKw9^K3(mqj*L=4(mF0gF6%lpyA_mxP_x8+mE z=*lhH(XYFPo5;GJY~3bF{v5d*`sFaz)gpCRVzZB&H_Zt&yB>ZdAt&hX$-5Xr7LkDe z0eha>(72w6{3EUqvAy%fej@GLCeApffH!GXRgg*bD19`r6HLWx@Q`9oZD7jebR=-A ztc&4<{mfiIR?2$*jiv;l9zE6^qpHiIx~oHd0%@+ zwOSu`Jkp^|ox2zY4d+`Y-A)dLi@a6$MLWPipL5bDWkdF4kg@K0vF_D|O4tQ##Rk0h z_10=Bp}qGjoHq&zh!?eyUco619*U9T3NWfwvJeAnoFjjsb(Xsa$>{Kw;h6PI+5U2O zL4wzHMpYF}CNeLh>G1n=8ME|XcQjJ^gaZr5Y5yfrnEx~)#+RAB6(3FQOs7bh^)Q^3 zyKxEK31((v#!FC9V~yv*fk6tmHO#g_po7d18rhQjRo;XsMDwIR$G5O}YtBRlFGup! zmmPRpQe3rd4K~P{8>+f2S)@t*s9(>!KWLxD*g94w*NUe*97(u{O;~~?Ra@AOI855E z36nwLIEP82wVl>sbX{kn^$YebUzhl*=g1hkYzVgOjpsg>4Z|v92+M9Y@#j5jqk-3W zd+Z#nsl?HQ=H@t|ncgM8H#od-FM9fRj~@w!F2u2&tmoxT(0&f%Ec7BFetz(01mE#{Y;%@=AI?v-*Y75cbv`<|@Iv|gh4T;?L9MNL=}G$!%haf+$7 zvo)rRxfh)3<&12^9yj&rN0u33^01k$Ti={wU!K_qM(bkh>b(O9A_eGVXacT-#EwBs z_5vPzVnM^ZJo(RJBUQeHR20dVEzuQbzL>rw(`-&XZdK^TouMuN@E+b4N~BUCUQeC_ zc~LhbAa^-8>rrQF?QYAIC&?qOsigPvMY6WUmoLB`?h*yAqB}|-vP~W1@Ds{*Bwv$( zZ5Ud8U%yu;|FH69_Om69hEqUm++>O)0Su7-!139d?=o=RDZ_6=_2Z#qPr@N~y1Zw) z;nXpLLE2*Q#1q`5(S-97Sgl(GZCARPJLa2k-O*Yb^N+Q_*}PZ$a@ut!7G3}-z_c2t z2((uFR(b6=8r92dL{%&ZwLA8g_E1OiK`v7GbBSngn-UqIu)yP()3Hecxqj#1-N(1A z5a=kayKypS)+)kbuy=r@_T^4XRzFmk@^#d~n(&>UJ`6=Ec{ym`es##xbT(!zW3>G_#5aH zN&Kx_2>090SGzN3-)b6@cu@zj>S}bAS?~}p!PA|63p1VgT8RZF<6SMS z4SHM28lTWxe>AhP@(4L72y5X@xPUe#;i$o<)SJy8_y-`+XK(tCUG4H zOFAl4uP;P-?rJ@<1DAA01XX?~wR%oS@+BKOiN-Uq`iY)?Pl33gT}x7@mIF7XQ+}7= zQ+vN!q*5@mo{j=nmcW-)0h2mEetk#FS-3fmJvd)Rs!E&Cw7e;(HHC=!;HZTjanz`g zwx)VytMUp@O{p21J%Sz)mCf|W;Lzh$`Wvw! z=WO<~U=oGmM0#fJh+1cK#7=vLIZu}z<%2FHAlplv<*WY37!_$QwJb({mY%ufK>QOQGp+|)eZba)e;+tC5$bN zbUcKlbTaj3y2Gl`y!cv~lE)EY?q6)x@V-&2q#BdX+#=9jMt-6VG0z@tb~U7nx1=8r zD=QF_4nXmI*!P#6d6WoBQ`J|;hQsbT`6uZ=_#BPSHz_Rm5>pp+c9cK1RN$toOEy1T z;SlGaPK|2T(lYf`r6%lM@e1eUQ%!WY+CLp8}6L zg<`-*Gu&0BX=R@vhx^mGVkUySip? z!O49>UQG}#CsQVgsEz_M8^dP%xWs=di^5M#Tb#AV>EaI)i0LHjLWaF}Pj72kWa=UF zv)li5L2_Fi-s)(|QPx@YAR^WNK#tY)eQE!>a;h3_Qs%^pvXWIuQM*&g!$6o9yuMX> zXjq9HIt$|xt}8CB*?Spl?#GsOpDmn=Q~XQ&(XtW3BzbRIKf$hRZiKD7D@%ekL&i`y z>y5A{s)=~p!IKn22aJ`ALE`DOd>l_Dg6^*`NDH@8+x56yvCJjTsUEutYdA^W9j!R= zCry}i==#vY7W{fiz{K5EbeNf6BxChdQYEG===lSOO@xWoZ66H|JcRD1$wzzgU2mW4 z9$}r)#B*@I-=gUZEJ2M}aBoHA+_EWz21h#0^_O!@ z-2yM)2J;_|C}Y{Oded)&KPI3GMJJC=oa8Kn>ht{mNhiBujHwNcLBmJ}v+$W2?7J+6{c6ClUZK{p?!@0WiKWomY zI8xa1!IFPu`}uaDq2hBpgqWzZLS3+@)zpJe3IfGiA^!-3RlHg@k%W;=7dgUx;!} zmC~_`)8VTGYxf&@EniV0cplZWBXmg4Y^ZHX?2v5?-VTvh3=|{Fv$=6!givwZ3jIKU z0U!<7yk|_4Jb~V{>J5C#%vJ4h213z8$+PDxGV_F;unO6$75n(9y45 zVOY9HE-Jms1ws+SXWH_oE3Yc5-99e@PpE<~!o{r6LshE$ba;@+Z8Ze&5ZPB%j9IM$AKGw!$Xh~2Lzl`LDHR;l!lk$zU3DpePR!J|9RqmQ5ys5lQq?fq&xOl zqO(qB{EQp}Pdy+E^N}dP^q$W|F^k9B1zWc=jw;ADCkj`6Y)gxch80@55d`Y?`QmaI zkUu`|WT_0TD6JHF^fLZ~s11maa*hr)s2q^wBCQIN?J%cgX-w4HBJET$qUciTH|l#4 zcB69B#bsulOAnTXv79|?umw9;ep{T-bzuAGmN>VUe}U69)}5VA16%UjG^5m~9_LT@ z{4%X;w04k;DSnPsXhaDPiDjCP!LoDxD2)M^2;=Iz!>Iy8=oj*B%YsvJXQteKSFpxz1ui`EH#X# zuK4>E{p_20wa?f1n4iDG3>byoeX$dr|8MS^5079+n&C2P_yS1P`nko|odP0_E#P6VCS{ z%iMBf?k})wh$AagicP7|5WR^ucE9i!9?;=*up;Us6nJbFiv6+%W)Hy!8pGK>MIqrG@a z;z<3`Be3}B9h!Q^5u}Um@m}Pl+fEF-TTQo*eVz{DcFKWJ_Uu*(@X$;n}1xl3a*o{l$c%YJ( zA*hWsaBaJZecrhvWo9;ygoHV1NPjnD+@8FAOi9`Qpzv7S4nsqJ{X58T@91*P=f%)J)-k^Y-f#Rbk1>Vru2GD7+=aoE;G8|o6i0Bc6GI_CD<$4qpVT#SLU$I~ zPy_MWMi+cl8`335N-NSRjm3WrZ*s|L09Q7&M!-1}MKMz00?s93Ws`QMcN5fz;W!Jy zU5#0ihm{l!sNQ>C8r5k`8eIBVH+d!KtA?rk_CeTNgDP0$sVULD(1~;&L>tdcGE`Y< zwn!|s;*#Nq2i1+~CcJu8!QqV;>893;=BhWQ#eG5I0@k4iC|;ic*~F9CPR6ssGN!JM zmLs+T)b}~)V*>caUK_$hj>PMn1Q-zQ*$|~YC8@l_y+*nSE-D*8`WvC2dGg^EbwlSa zF{~zz4i0k064v*h9t*i$jBn?+wYONYDGQaHgYA(V?z-f^d!>>%^3mX-Urm0;aTPo6WQf|$LgM6x7>+QcyurzLO0_b2V)5*ioc zZRfS+Dch^P;A7s7R{~9mE*6Z`e$hNsH~DZ(Dhd3!cQ^~PB&Z>Vu!>N;o6-lAweA zgS?&_;6}@780%Bit^0eVq3ggdoULIERRoH5^j{to)uX21w~rZV-rGKfWdt~CbH=HZ z$xfkSp-8{**Gv^GLx9Lfz3AKIAk$X5lav0IFF6*6+H`<1@dL=BwZaseiB37GkxBz{ zYZW~kRyP(+Aj~wfFn*^Kn3EXQ8XKAtMAuY5gR3`0sgSyeH^gUKI4Sp!IG)(y;AMne zcvpocTqG@=+*nRMnPq+tKe7#d90w|>YCZ}o*f-}TsVv+7Ja9SXaM)E2UmV2;7fmEJ zM3P99X$8JQ-`Zqh8jy?;ADi(JPiF0i*&3isQX7PA!)7Bfcx!!K%pD8v|m-K^&4y zPvyGsVR>@Sw=ffuJ$;4D_B59KI3x~|FagCVZRZ=jHz?z79nBK0W^+OzdTK_Rw0(K- z7yXuHbD7?gFQI6QMhcPEUb_{K>p2FDheNb8pO_pyRrnc=}@51v%#9%@}`Hve;Cfg|I~_kj>j!SC~u#?+sOTXRfMuYsL?cJH?<|MMvCi zr-M~7Nsttiv77Y;Ch}wIS`Tf-Yz23v(Mh)*5^Z3-ismwnGMVZVFUAte-^rU;PplNc zLp!~(=dFX0EekCh5^_Weq-HI#3i7RW7vFaE!BtVHOtK%YgA=(a-X!0I3f?apJm`|* z5O9?nFyCM%o}9!$3MYWqJLt=QO!WR>J1Zax2{^58b?58RcZhi6f}i57%Umt7{G^_8 zM0|`EnzrgVLX32XGI=V`U!)muF&>cnK(lh6gFJmEL>h2Bx|mgkR}C^7s3xkueP|k> zG?r{=;>nGNAgNY9Si^VmAqUIma?!CSh~#~`^?X%jqxnm1_pH+X*h_-+y^D&o`ErS! zrH{al>}Z=lC5QPyyl?r4c*rl0pa+*-*;=~gsW3w(H6~)$Gup7M<~f;-cvU8;yx}$E z2FcIdps07Ps8BV~ve6%&{`neHAWzXGA;6rj(HgG8(nPbcGaa=6vDRQy2)^ftorRIe z4#mEVk}`cI5Is9SyYQaT95w9So#7nKm0G4@bIpdswHGC2@6A7~pSMOtRfPb1IW>c< zPaWS-U$$*uMmT4WuMD?zWhA=V8AK0?w*{s@VQg69&WGKVKhrF>O&MJy_S^95iZ64# zdvlGW2F7iJ7vU4JpPxI0DPwA{?LKqz8d_BXJ);brzC&7Uf3wL3jeoJgn3K3|P=Amk z{`kXJ4|Ru_cwhR*k*)ltu8Hpux-tV<>SolPJjtQ3@8v2{yX(78!kAfhX2wE&bbHRF<>QRRvP_}L%KCnS_S_)dkUiQ$ zWtDF;Sq*XwnkbI2Gj(DnQQk6u5-n4W42D-HnY1L76l^d=C@qL&p82c^-$Y*Wcauq1 zW6pGT*Ul!Q(yNL3>NKHzFS=@azuEBE^yOg9lZ=URjbk4LUz+h^cpx3zlO*>}=2(B1D)UIG;ZDeC==bo+HLVq&LmNv;5VXHmg>CDRLQ20LH z;ZZuESvyKbk(tAKDukihXze(!+3s=pcrpzfltb}hNLYxI4L%&xqX8`*VQ3zyWVq}4s`v~*(0r^3N8~%cmM@RqgenG0C_2K8uiAUr*Ht>KWY3pO`a+Bf4 zrdXGdvQyYa8o}W_G$J#W+}2?dT(qBz2_wh205_{mCFM@G8tS`baNmFD*$SFY+O$3r zMQAUWEM}J?pOYHm$jwfqm0XK>sEtmIsrxas?&a{rFQUcYiF)`wPHWwO(w0hT_isS&yy;yRJ4koKLD-_`0utxTh&}u`c_zG~xjBLfpE|Q^-eVTmPQ2IkcH$U3rfcNw zIj3<h+LmOy?}XVdA5y34N0fkI{j&OVwi_fqHhP7sT@ z=klFfgQ$B4MEdf|Tj#@Fj(28N!Dh#O8%_V3)@Lhe?t3f)IY~ z@EI4caJ2SI#kaE*=wdSv%x`N|4w(+nv(!C`uU~8$`E?U(mxA`qwHjQc3jsi-&rt#v z&aY)DO_pJT2_uqqn|`3cr2eeJR8E1bIiVs9aWsb-y;?@sK_#_I#)dYk1&=}f_s`Zm zkp`X;ZL`HJ%ghB2=ZlzIVx{LP4KGvqQ=5G2*>*v95Q^y&nI$8)xM1DMo@}lX8`pr?+Rpxa~*1m}G3jrV-oGb1iT@n5!mE z=wTX~mHLT0Lj9$p#hU2O-4HjhA;dL}GuGJRHu$SscusRz3ibS9vwf`K%`>r3ogJ1# z{|P^tZ|5JEFrZr&m(jzrsEj*wm(Q_eF26yR2lIMRO&%L-VQer@7bTuPcf5gy!2B&b zfDkoPZIxdFFk{2BWDR48(V0+E=}|S;#@I}io?!;>fZO9wkOsbF_zG}IEK=npp3~5l zU?pm8O_<0*@KIIbfNUjf`!GctKcQOY!(icuuo)u6xIJ(_Sh8-ryBy-~0VL#krH6qQ zvV&=QKf!a3?CwZ1+1hx9KVzUKQL4m!E5*J+{MRntIIq+Nu>y(dFVY z(_t)NiYSr80gODQt%8gyq#^vJ}>c z{yNkZjDxEQH{K&{H!r;xP>G2!7y1rCcg6wgnrp;$TeD-2BQFJ4nMWth5b3B@D8W%N zdgkIrXQPYS=r2I)RTrMS2w_BLrW#4lfqk9r7|=%R8)QQ=Q%BMu%Gi3d(r)hu%Jk93N|LX>%Hr$>R5RUlaP`;>KA^ zP+koZ7+O6!x&vjQV(XzB%Qls5O?P|RYiTwpMw_x&ZbsJ!09X&lMeIVcmhP8}#~SxP+KK zo=!)}*qcF1=g+b=0AzqfFklw6x(;O3Mzz`K<{|aK4-kZ9X&(E?l?YN+^o|W{F;7mq z+6%hO0RrxneLRH8R|@;tEC&4>Q?EklH#;u(pTnaBlTXR(Le&3UWn$*LYC^X!^6rd3 zu@y?pG>>F||jsoKdx19zSqMA!%3 z6eVQd3;5DLZIH5q0-I$^)ydG_2!^Lt|+9t;mOBn`reXBrxF@2ftf=_ z=E5p~C8>_v`B2T!uZAym6^B&0@2=~hx=>8+=Z&5TIw3!BBwrnt(_6`M4e7(fMma-& z@y&%jaxRSUjtQ}Wb5HD!pc%UjmnG5d0vOgoQ`F=NZaZ!}BY`ub?QQB^8)-rB>{Ye& z?l8*~qr0cDh2og;9(Skeh4)FD59+BF+j?FjgIqZ9>z!QHpYJFToBQXwXRjQwR?_Zr zO<@K-KKk~AGI&Sci5TPJ>C~CrnKJC%Gh23R@JXgN5!F%;(@3ZlD?K9gC(!>CG+(1N z3wzY~a)|w4@I2(z>wCAkP?Z>?>k)n0wuH&dIaR6r>0*=>Lhwo-lOiK#(-!gb%!be@ zLd!~_g9NU978%bQE!q&Rsl(LLcgV%GZl2r=YPGh-lPltGAZWjQ>WO>QOe|Wg|B&gE zNnFgwRxEZ0kx$&4=#)FF$TBH#C(TyLc#S^up-(Cw;)GS_5ky~{FH!Cc1dY^1?nxK> zv4=48!O|!LdT#j&^Wowo6Bg*o)P>Hy*wKd`@)|>LrNSD-tQP|!=5%C)QKbigouf$7 zhjP^GXEt2K$s8ZPG08(aAoMVq-qFZARp<5di@r?3E09gkqpUIG4L}N3!tv*D_n^4B z(x-N;y{W5$C&mTW5uO`CjR4o;_HFKm@Gca7g_y#sA~zL+7jz9375KC2qQ^ zlwnzKG98{2=T{ND3=R%CH>fg|^szU_TSQNO#Jt6zKeo0mDvf1R3&@Wm{br}m?16mW zSf;C*jJ^ABON}8}Vn{R3@bq=8TH~LL z)TI2=?ZUr(Lv&`I7B}V<{S4aW0ca>IalXVAA1one68?7B)m6cVf^+F=g`B_}%iIoz z+N5+Sm*2!|T65?wY&1n9#=kw`QEqT1Ika(3B3Q;R0x+eG%2N_W_N;Fq+bAmF#DccP zc<>OG@stxy$?r4TrW$hrNgVx3M`?z-x~fXM?(rid-4LUUw3a`1RHxXEkjzjuajc3- zpvip^snIeku7?^u-hqx}D@?YaFLDtvQw}W&yCBt6XMH2+I7MaSyhIU-Y_0ZhL-A6o z)FbBSL=bCdN74}+G1A26=^#D{=43mwqy1zY$xrdb&er!W491czbR(_Dlho}0E%5vu zi2m(3xL%=n8AXc8c9LU+nO|V$?b|g46!%VI0-~D|t76bSKoUzp&a)#HSilTG4UUg7 zG4nU*qOhNI3k70+Bp;eu*;5B7cLN$v=GFOM^fzC$P(>UQ?_yx_$!*t0XwPAhFKaY2 z7+fNFrqV@tjoKX`8D>fsHq_D$xhc+8=e~7xvZKFGQRy^5(?)91;<72=ilYYFGW8pF zbGG9bwxhsa>2!AsR-6=VV8l+%S{aXItSY43zEhB}!>CwZdyiQUx5W=2k3xOC4iMQ9 zK2Hh^myt?=V=XUc71GlBjXCUbHR%mg2I-xkS^;9UH0=j4NGG~^f zms6&Pd2?-hv56;|*~Xvu8Q;na>NgM@!}gGeqV8Nqr_Y69 znh+0XW@xH5W9@>UBgNoKEyNIYi&6OuWGw?P*Rmn@vt5ydi~M%d2+R&(tKXrjJqir< z6#_x_&<0Cv!LVGyZ_4`Z(S-ODZOh!Gx*RKm{~?sX11U;Qu*eKnxL37|t#x+y2;#d} zt_6qk;&kNq36sY9^V1pYTiT5Ihv?CrnUy^4!nEilU(Z1676>p|&3HrSHxvC#?0&Sq zK>c)(J03!-am6Inc6sH1dD-%TyC5g+m`J5cT8KpVFjjqwOW0*mdFBdnOv)_b!G;BQ zvZ>Qo2M24x?;u9UNdpVNz`0Py%uk;DYYnk+7wMsC>=z77Pf-WyMm>7(vvF=ZA`aT| z+YT2<%`m-SL9fS?!8|Q<@f=J;+K`|bmymU}g1lI@3n8Bpsffccj2>2n*r{&>0KpIEiwgSHxgI_~X^6z$ye?Tzw~&fFJ%?|rFrEOZ>aT`^}XvOanK6tS_M zOQoutvaOh!?K~(O)Tx57M!Zv>$3*PmNY4gyY{oj8_@c($4Ux1%$|k+EHwgmGMK#2E z8^uvX*;=9$r`@<8ZsGLtws)qdm8jsyp=ymgO0W?odnp%J{%?#Jrmn1TMAmu(U{$_x z70zupxxAh9YDd2!m2`*3=l$d%uJnr9{TJ536vr6Exi@Enh>om%4G;fFcqzixPqniHFP9{aB4%7TFbzd_=k&YJ<^y zlL~)X9AquK#w%4(nKo`b^7=%c8J$ew0Lj%S2qpru=~X@M?nf?_+_>-5YX;6v4VMg) zOZA2jzm?pMo{UEgq%s|!1Y~dwk%^Vqz6kMM4`Hgg zN7y1ECzc_c&p@AyNyhlRvUo?jGUvq(AEKcebHv#PNB!qkHxZwgl%$34ZqHO`2KeN79lZQ)Wg)Pp% zx6FvBEM+4Ek|eFFh^LLLsMo3V)9U`Lu8rsOr3ZAtvGOwIT`r(Dy5&OL;8X8GR#5}a zD*GIxV7|)5rf4afwm}gMl86pOOSO$k!E`WWE4XF9c8;NJ~gh= zDbu?q!W?fIHl7ptTWQFct&ZNC4cy3)GU(M}|W#Y2f zQ}gEa`%eNY_7I;}}5r{_Xz*coxWY literal 43943 zcmeFZ1y~$QyDmBe3j_)75G1$+cLqZ6V8K0v;K42EKnR2k79c=ycMCEM8bWY)2=49< zgWZAkueI08`uD#3?ECDqpL6aHPft%xS9e!cSAFun-`6)kZ{`3G<)!7M0SE{PfYiur#F&`GT-4;$T>r~|H{Ss`_wUgot|21O z0Pf)+AmSk0Gy|vr00d-sYi}F;k3WQah)BpNsQ1y(AHXX>9s=$mAR^vFLPSPJLW0-! zh93tY;UMEub4sA#sT!lwIN)>nMWo%QeOlT`@M2((j{BA4J2Z4cB4QHK$Mg)0Ow2sI zeEb4}LXyv-!jLfX;oZP(pvhoT@CA6x#=0{U=OKV$uN9W+s@W|-c&+&=*g~g@imDRQNjs1he zqvMm)vvb&OzYqY3zjf=6p8e7<9C*L(At50mq2Bfj;hr0OL&QNsrshP!l~6@BcEF?I z^1F}!G$O6E5sjAn#U8;c#{qOgI-dE*`?p=Y>)C&uH6n&DX#I6V&lxO~PIZV9P%b6t2D;c1V`Srt0+- zy$9|cQ^amQkE11WV~?cEhMaE@G}Age>MMlK{9tm@ zKxkyAgdyxc-mb_8fTm{LA||4C%>`Rn7Jhkhkj5wIkUhyIBcdaCKFUy$e}S<6Dl3mi z*NbleU+%Rq0k~w^NUcvIe(fk6&tl?G$TD`ncR!@;WdXuwAYgIEmp3;Z3}F1fY-35@ z=Sxc4Y@L-FUO{tV;?hHUBYPk9v8OYtzX7JxH^#lGnt}5AuQi16S;4W;FClq-8pi8w z=RJUz(Dx!b8EH0nEx1Yrr#3rdw3NO{O-BSp^GSxv#BX06P&_37&yle1XviRKFZmq- zzvMno2F3$v+Xr60dSWXnY%;}BG77omoIkr1%)I*ae5i*m&~n8%bjKsn=bo>~#Dk9F zOJw7D$7X}Bd@>SLd+=n(B^p(|4jLmDChb;>by1#C81#UETx6v`54xhJfF$$5FNMW6bji^!OP9+y>B7T z*jPI2#qER7GTS>63F)FjuB;O(_fCVIL(R2n2eSu4gaW!0gQJ*Ua>=d2(TWX?kyWK)VB@^? z-K0eB4@k<1C0HJ8WXl)pe@gCdTzgNval6HEL>iK}=D2SD9j66P`UMTN)Msrm5D_u0 zs9+XJS8@J6kFZWWA;g%K2sQFCiE#KB!{JH37N3~F$X0?vU91A+okW>u)dM1zU5F>% znGZff=z^zkwFuR`0;UcLJLZ!8^DIAsM#I$ORu;DftT+?wri&KvC~?czkRLdJ@x$E3 zJvtv=YrVZfs4FQ&a`HZ%uFdcZXkr^HSa1zX`HqC;)vh65qIS z6_7mh8KJ|fVP9|`=zmnuw4y5toye44lAT8*p}5}Nur3&_+C_Mr<22-a;BuPO0v>}rprux0H&gQ4wqL}h4BnQmolK&UJ@r{He!RS zzzD1ER&xq2Wr=HG5TL+3M|bA(<>=$;fX5f270Sd8pNR7@7RN{~H@uaIx4*Gja3EQe z>FYf&+a{h3aOB>cJSYmLK-rjVg=JS9JhdsF3**sXc*~4W9%53uE1i})ZE!XzJDL%R zV`GZ{k)~9*!}R47&alO*RIETSW9q&CsV#nxxpF9RQG|(SysmDTrt0oTT>C%Flw*ES(4|NG9_sdFvQ?>n zuu5DxTiFLwSzoL925?ST)Ude^Izlb77}8*76w7wW*_vCbp`f~?6XLi+fm`dBXv+H; z*SHi!*Z!oSYowgBv3IJ5IVZ1yUk-s4IhQ&0H-I0K={JCW6XhGg_s=%~Qs6xG0BDUf z=LRq*4+?$z7$0ONdG3E959;)s{SPlIb9>eQofjP}Ni0~KSZJA#exNh6YDk2;IkPbe z_y4PUzh^6)qF!`ew)|(OOEImCfzM`(81vBX@sBcAJ{z0IiPW0Y+FeO`^!ruYONpy{ z#DML!V#yyx1^U(#nUR}g9$`@yJ{?pOkNmtk8d0Rx$gS)foW3dTO6Vlhj2>Gn<5(%P z&D0yGkJITDvliMc1xOh5?hI1DLJ=3{4k2Ig6-EC79OJ*pIFAoofem(c?AjI^zZ)U) z?4b>iGJ4VG%bcB1w66O-#+zHUqCUVr^l?QOP2kd8G(#fJc|S@tejhKe9;UjIbJ`#e z@cvinUnB9~GYcGy@NNK0x|KJ8k`}m_pseM%op)M9`+QP%n3KMssA-cWzOVaj zU|Fa17tts`nA#wmaMlgoOO#peBKgF;e+djfZ+Tg2nUkGA8y;8tqhhpncJDxtnWb#x zQrHFvHm42`>|6?~DLj?9xY^d&@FT8_I^(x-QWQ zdXVn?7tXt`DkT}#tK?u9N00KZPxR_aipeUB;@o`V+$Uo#+dc1UcQE{J@FP7k)+4VP zuMgm8j7)sW%oS4!%~t@W8(b|Su;HtUBmZsFlrCNHrg}i2>R~FT z2MgRh5BO-3cmpumOg6eax}fU10i;(eDaKz^9E4BX}2o4DhzWNnt|k|Vi-_KrbzB3eTy*n2;3kJy3p?@)cPE$ zD=pqsfa_4(pqp0oR`11#>F}fQW^TzWD|y_Ffw@BxEelN?LF45>)%GSwIb!;nct(Ug zQW@N4@I6NKf}aSADo8!PsGUMSypNxNitSEi4tf4_`v1Qj2>carE@3!JxdG6!L9g6P zt^<$1QHEEhJl--1D%vvcvraCR@>-U1y8)Qq06=>;fOqyc0LvSI+x`u}*PHD27}Ypv z_7XVv;Uwi0M0JKbP@&bUu6h-FbpvR+z7P5@)_q&z3tz&{LpOl!oaD<6()-{Xlff_>n%RDm7r(&!3d?FWcdEDd~(5zY#Q#_TKz zzkOI&MvR zQ@bdW?*`IXGk?+PRjhAn)rLOZ(FGKuN+kA%A_7e^1rrsBvHD5 zX>Ij6=LJ{jktgv`!F_qI$^xfhXA9ooppwOXA?eXCogevLx^xh)an96@vgB>Ezvkn| zYbFUo;b+!15Bprcp>?Wy?nVUV$~k=<{l(|mh_hRmR3x9N%cBCOM$}>Tfz-LBX~B_%EqQr$2gB5GnbC|Q;GJIe48b~?tbF*7Y;Dc0-I8PI z@|wB>lYt)W@Urvx$i{2gNP3Lj@4UMje8chiM zL@&T$%ig;Oz^}H?HNL@?qhmSd5jtf-7svL!S>D5z?pQQ{i?~9W#ByLJ;gx}Qt}BY* zoXZA3mU?)R*`vCuF*_G3%o&}co=%#XpBs#8`(+p`FTI+=M6ru(&YYxd@RTB%axSDs zns=QX81+#iYUW(Y(E&fx!Hj_0EgSo|=X&khEaf@XX2R9LWe-5?e+pUokM3KSvH-da zshmAtX@HT96>3FY!Y%cPn91w9u^WJ-#|~UxhaL!&-T)c}@>!InZ7ArYkKe9FKFR2k z^@!SSzjmozR3uUyEGm5cwesM33)E|CoS1k+xyTc@Fhf<%a`Ti@K7E>Bl{c+zKo4ef z8aV$IEPO@pz7y!yUiKBUqYdH18_kva%r#9PLcKHR6KHkSgQWubWj~PvG}>${(;(Hz z;NX$TobzZ>ELF!Bx-7?V@%KI*yy3nqX|h11rvRzNu&}kClbwY6+Kb2chwJ$z^k}P;bpcs%l`Hoi(dEK{edHN=N?O z9k7RrO0uitZADn0Vjzm?QzSgGIX1k&SR6L=v@%$0Sob*CGT!NHM7ck8F9C{h{OXEx zr1{%LoD5E8-$;Cq*N3{T=}~2z(fkCi&XkDoQ5=E~Wn~JCtze>{#S0bQ@NBpsv;iLJ zX+gBY<3I!+K842zyYoP!0p!2gLAndy;1o?e#O4NI6bu(|qE7R`P%1Sqt-aUoqWG#t zvR?aigog(5G|)h~*P?{HtRQNwqk7y`)nVO%jCfkon9t`@U;y{2x3W0%%%>=Q3%8R| zq$|jBD440KPMlBtcohje?6(xQ(>ddgRv)ZXg_kr=`++$V<`USA(qJwj8aY0CAS200eVv@{Z!rRZXv-FBd7h1)@YmD3IVnd&Bpp}ej*NGee< z$>Y?9k#-Q-b*fQozF(BEn9CmUwq_MJy?!D=&yUjA1Ep$$?yYMHLU>B9yqkY8wbX)) z+*2sum&!MGoRubKYM-WT7e9$2&VYDUm7Wx&gef zCW*LIp0C=eYdH1@$h_xFxkMEQ)CE+h=~CgmReN4LYD{wj=tGKvCT*)MLli2dDgG# zKV{GVdRqy=X;@?9 z@Ieua{E(g4qw%Nx7AIPyrn&JJsgF$#kv4iY?3E1_0d5nv4H?!PG?pIq0f*8EE|6+D zdH?>T%mp~bQSfYtmv^Xm_n8}m+5B=Xt7k8fr>_Q=hb=8{==?=j0+2vC<68k%p5+O0 z?cpf#q6L{x|NB+|bJJs|zD{@EfFeaZLjQf{!S#M4W$ybXulPGwbelif9G|zMR`DRL z|Bki{0LY=d!jAJihjD{!(v*-lg%Yt+%Ww|fKJZtQI z+qNi9>Z}HIzi!)<*#-W*vOqZcSLy$kBXPWR1Gx1(O>aF42cif`(PX{|BXj@I62^i@f*gl*Rs_4CLZK#j1E2zG0QmrMRtt?mV@%|(L5SCcf*!nOZi zp#i`4Fi&7ap*aqZFN!ch8R{@;=FZO6jvF_5q-T7?>uFo}H!&%BlmpEA!EV*=&IS?{ zQTY$N#yNEOONxceMZF73(I;}6=)eQdBb$5&Qad`KBHn_C5b)~7*@%t^ZTuA@CVa9mGV58s<%zJ7HQ zC*2+TUWORRhwlIzYPAs zVaZO#W_X3JEN!f%%7w%u%BuFoO?iCMkiG(crh-^G z@#VRjx-o?h4X1hX6Z7X7QO5uX@$&B%d4`5y4Kw_Pxc-XPS9&|VBEM*A@LN2$OL`9< z&XgIK8$hv*;lM@T2~hX&kYk}lc_cZ|;F4hzMt$7kb!#|TOV&z-N`MgEuN|*)0-#@L_CeGX9VI05B zOS4;doibbJ3TKZqIJ0v)<#X_zSs+WT`;LjDRlLEqi=(Fkt60_jLDXZ9{#SRX*=8BaLsaa7PzsFW~!TV^Je}ntAp* zOD64`B(zWI=H0RG$a-Ulp)-ETvrMa z5Y&Q3ik)HzF+p_s^k952H*E)#uy{L#pQvmeR*d2D%gWk{>Q`A%)&zV{+r9*jrCLQj@Ko~q zN@5qfoacx7_M|cKRSje~2hOmsWfXze6QH%q5~~t|J*vyFc+geF4Pd~=aKw<(^ipFT zRzA_y@cs()jNq3Qxo!PdAfoU6HIKLAzENYu(vhl^H}zrTudXKCPwmw>vT+y8`FVc* zq2RyZtZIK_955R_s#=63y{xNDVzhG9e&J|sRoy^3YoKd!vNxe*lUZK}?w`W? zS`ZaOnFO~0(_I?KkS_%GAk|f^B5)sqBl>u9jB>ok`pifw;n^VEYB!BPSaGYacDcxw z*$lTucC7Rv{93j@-5Z4;OV5(@u%fIYvt7Fz!Dc%AUJVt}jDh|-k>;rrq&bE^asq9# zF#o-Ac!|-VuaNxj5Z3=@Docir7H1eeZ?yxCIu^-Y7kvxN9eEaq>wW<8Jj&>cx|q$9 zkpafTEIIAv^a_0vzQZ9@)rXfVINnbEBv$RHam@e|h-G!A6Uh z%q?1wYv7MUb|^-4UqdGLNbHEqz( zz}Fb|vTL%JidT9|}epx%Kw=iAyS;<`cfd^yyw@>GDzr!5A?{BeXW*A>x z;?R~C95@*15*zC}hO=dLQN!r}P)=%ppvvOdzn}K!eIXUm)cQjUGf_uD($)nDJRS?} zv_|TxB@;U%ea&O@P14qsw4YZ6YKfAFeBb3`reqn20VgQF0-?e`zFLieY=*q-+=PO> z-l_V6H;nuZ24?6$8#|g>OD(a)zxw{B5 zFWM58;C!m(vGbEyr{jt21fyTVt9!i#kQx_Se1stjp{v#$@7(p8fOkJP_)xf69r{*j z>3lz%dgm*-er-e~&d&Kb;cezEHYPd3P7AFf9GsC^3Q`Svq1^Mx5&uaq{*geB*_m9$ zw%F*-Jdu9Qx9Vh$N<*Xd@;26;S>{h!C^+8uHWFhL)~GKA=VP_voOdxc2n}g%G#)ET zY0PkNbiWuR`L-q3u#Yw{;)`F~^95fXIHe$WH9H#41gwR@Y4QL2O8KWa`K|YnoHjK| zcR<{VEFWu0c{E)``&KO4sxN!QRGt1@Bv0$M7|{873XIF3Ts`D*{J@zZWo|NcZ5HC0 z(ml{g-Wp1f6z+5$&k4Vj3?uwhHIdBg-A$R#DbrV0@`TFAHb=bDMIE^AHU}r78?iCp zq8;cZ=sx1x(1qoZ-s|qR$H&TyZyCB&HO=2Vw2WbmYQvzk)~8)oux%Y^6P4(-Hcbod z&qy^jeuw=Cyj)mhvwclFErZ0_oHCy8n!ZhPD4G|kSG`X$xuM19A^i#F2cb6q)LY72 zN-}}AVJ-P=lzMavvs<+Tk1iCyR94Jl+9NN&{6~+a{S2u$k3OXFaN?1t?b89ja3E*n(Mc+%jkT@;ot_j$MXXk=@^Yi?dnQK|Il4W- zaX!o~h(1B%x@)*%>}#z>cPTcHd?e#$AVpi2*;yrj-Ket-U(=~juy7B>fXLH)F_ejeDzEHBg_K1-J0hYcsc0J$CKdd5^zslUDfXwRx?Ufw=! z^~_MO*2U@^99fpgkxRK;$>Q}&!V`YJemSqN9Zp>A<5~g}^>0O;8W(Ed*JSy!|BCV3 z-VUmP5^%{XjuBd@zcFNWQll9IXMnKD6nPgVSC9a6%>J!%$GOhIS4!Bp`fDE1-EOru z0o__G#G$3NmYRqmBbx~qg1lz^uMg*|l1DP-)VGn$Ehol%=f`raR*woe)88H_3eBu2 zwC@yotxq^oYL6?S7!_lu9cOZ zEnP}PFQ)p)UB4ExP%g-JaU#VaIQ1zxNg~wbgaY?<_6Z z=sTno>4s~kycjx4vk(a`IMPY*ol!SI?gOf1O#5xCZ6s3;xS)xRIm6^h%Dc(>v1BF~(`*FvvLaSvwS}@fe?J(aA(Wbdn+$u`KUbuT!( zZg)$;F{MY{3qgl*uLj(G0q8P4Vf>zo{FlNVhl~#6=v3ahhAjWpDZQK48Fxqi?2|4t zoPu<%Tk{bRli)Ek0EJ&HtviNCU%z9q_R~90Dolk^X!dbLCG>enGB!hs$2LpCe$nwr zc7zRb;>wJ|W_uCl_f6btLF03u3IyfeGyg<)O3J=$IORz?GeD+e%`dc|lQs6mHCSi2bH_vZ2D|LV1F$yRRf0gbtaTtj!Kq8?xQe-LBZIgerVkPI_{G z$}>Wo0*Am+czU9w zm_Hur;%XvB2B(>Hw27nbYR{1EQ|}}1+6Rb0K z?9RS2U{i>kR9A!!84_CuAG1Jx#UMqg)(?s;ab|)-I3gpTDY*&=(DLYG3b8!U8a@^{ z4p!ur0}rgk5XDQ^n4#xqBAj~n$WiPRS}IP)qa|!w zv{3*uB`h$u!{9$ZASF>KdtxwYMB7g(WjQ|6;SO@m%{!63A0&olC~;c4B|xPQQ$fCs zpW}h&HFWpCN!gfOvkEngy3+H;R4w?(h2E`5YyL57ROIqJCVjSZdGz3gA{Jx8wrQY9t<1@)te9no)H{pt3-CJxywpk4ax4n#!ft>O^oGQ|s2#8(^rzl#k+ez_$6|G$|jM$<;x7WO% z8JRAU^Tw(h!6{_UBT)s3)GP%nI=j&X!Gv6rEODunfiA^S4j8Hjk29=Bg+=Ev3jl|U zM#^O^#E(eXfnp+H8^3!k4 zsV}h?rF{)*Ab}_2+dFt(To^)2A>m5G>TWQXWaVhBp%TwqHl@NqJ*RP zQJt`^ER6rGecr~t;}O#*xIR(cBdk$A>ZRed@U(<5ICK15Ret{ye^ks%p*=1j^WYx4 zxuS_Gm?*IG!RY-(67mf}vaeAzp_4E14z!_oaWfHi`l zkq4sm4=A2qpD=vt@aP;wp#|iAZ=+g#E{zYXU%u*Tjh?rbjdBOdxs@m#rCMTXqH3{9?53uCJ#Z#ja_c&Fv)ADrm z3}rI)bj4CKqsSX9To27nReB}J5&P5<^Y-8**mmKV{$!zz_dDACpCX1w`y@YN%EKz z=|#ST_;+0HcixBVdK0kqfvd0!wS7-`rj0-wU zJA5l2l@E4{DWBc4t!h|3idr(a-JI;$^2|b0Sw;f6+?clEu_!N_vSmbzi$Hm;&OLl9 z7Umbi^FG@9k&CG_4iRJE(5>ZBvtf>{N7p^&QA(Z`%h6sL+<2dsT+mUUy028)itur; zPE2fS4x6db$dYuszsQUTk0S2n{^Wt4%!VHjBU~g8J3%wCm?8709K=T5Nd*?MV66%q zDB9(pdD@2Y?6OOLoOPt=T8?aVjf!3r6xi0FAFa5OG#qqscVRJAb?w5Zce&~oCR=ex zen3v?;gw!9NrgQ*ZXjbn#_y(#VJ6@+^vD=DIZYff7w~%NV)#^7Dr>qWvo}F^RE-%4 zfFdkEx8J@JjNAn`*EoqD-64N6ciIwen!o!^L6-c60}cgc@?|7t>bdJao__RH#Us(- zg{r#T>cC_0TRWxUZL`@DMIOPZZhD=^=9I6V^gXvFUIP^MVg8($wD!1YvLk=P{_b9Z ze?@DE%!*u5^H8Blt#w5iR4-~|a^81*ZFVPU z<%DT(gV)f;m}@K(lJN+`6F`Oo2KGLd^4DyMqM4RCPtS4eIFJ~%Z`oqEt7B;?nXC>ddy?*hUa0-I&5=aq#p7XEd%yC)7&Y&nmW!2$p>YL{`9MF%!ls*g{ESNb3UfW^F;Cy zzji^w*}>$S8J+3H!K}cMc(@kvNQ25Zz0pw@Zq~8t-T;xxUCF(U@c*sO{~ zEYWg%H9d-&Mf`fNp064n<8{9&&%k<6-#{Q-v+^BgZk5Gzy>|O?K|y;Na+_Uo0_V3Y z177BQLC`U%tCMAyYs#CX?6*rg=zJvAP4{vr5KxJGjIG@~-d7s3?UU;!ZE>xsmFY~% z2x`l>kP4$pH0`oBv0|Zcg4ef1fcbj*hF1K#-Tbp~9n7=-CEbJj= zUnqS#C?*;q@ygpbKi;g=t^m!fGVoZ{{=NQqm+kn{UKw+w;06kd(jWYxNZ$$7K}Pot z!1xBhe49|nef8lo_Yn9K)R`g$P)&j-70$BwXu#t{PxKD*a^UHRBNP^u+@7Jc*Ihp9 zc5r~Df%(m0lg$G~kvx2bkh&0jj6^KudckQLX?GG;{MY5=07k%{>IVMdHK5zKk{~W_ zf=k6Q|8zXpC6tw%LcSa42B0{0Y1IsUB0(H!xfsShkn|mOp9cVs(A|PAOW!powdQ_z zz~@IKtjfg4J@?mHt?Awrhaj>rwLdy~)Q`|`6?2)dXMQz*u9uU=l?@MX(DwN(>SwFG z0{VIbh^92Zz&=-7E9^nn;<#u$fGW!egD%+4HG)%){nu4SgH8CW;Dq%b_sXJUr27O| ziqhCB*@loY?y^0`)oVx7Y9s+HHVpbQ{HX`+{w?tYBOBvQdC!Kp-x%K46!Qye1WM}h z0RDWv!fEAZU8Qj57Vo#EvQ75lh1=o!jC9x@NiLy+M-AJL>ppC0_a)UnSU+D4Q9-W% zQ%mw|Tnmf~#Ld3ege~w2JjRyX5mp~PRhdS^z^;>_m2N}AYrGiZ}&gYn*M+;!8nx;uRFEGws%^RVc5T$CR08_5^ljn{G?tn@e^;_&mME&uIs zsNVjXSKj^#8Y5-U^6;zbEMk^J!Q&}PveJFP2zyq2(!6U>$Cs3DdkkYC3=~npg)d?G z6fZ_S*SFGL-RA(EX;?%ee#vpG*;Zs%Af+L*httpDK_VA~e2zpH&5Qz+E9D~mW}n~+ zq_Dh{NWy`xu<1&dd@i}}_-G-szE(lhY=w=vqxjhKOMh2Pvjb!Mi`B17dxAU&K8uD! zHa0~&bXDDMh)>R~^gCL8RI2Htu5mHBFLWHZF`BpJ4<7wEHaJqx^!%4wR6$Vs<{Tt8765Yt+Oo4CiD77B8yt>ft8N4XBVY-mX6y2`mtrMV|X zTqziQ)QS19$IM<8S8+fnWc5iMrtbW%lK${$ z@OMrtTlMF2feP*N;4p3YzfG254ctFXonaM3x4(1<@E;yjcyj~rT(X_cZ@cZV2EiYS z)%>muk4e%Kql3+1Rcss_1oWH8tzk-OrHKFBF z(d*21cG>v)OTEkmwn6=`(Bhv0TM}+>21gO!|LN9$X^}V4Z^FoH6V9+l$9spTta-%U z<)QplE)&2}#5>8HS9}hzF+Su_-C@@K2brkyPcto9lJ=96KzSAeQrUW$P=~3^(sEh6 zPL@b=^LG;8+tPRkRK>~PxLpIahvhOXZRZ?+c$x3@IFr&%RGcVH^b`_~(L5!1CW1!yi8-ZtIFCkww1cc51EYYco%UxxV(vfEJ(>KkoIo|e zxSXNi{n0--&U=YBfX(=fJh+AQ4=s`iY{nGZuUM@Y%4{&zdDZeooJiQWgEp#9WaI`w zh+Vl6j}=bu)8lTx%eA^&XkBZ0BA9n+XCpcrXbPS{qyN-}gGNdyfQ2@vx)4kTjeS1y z<|RMg`cUkXye5%1PriFD;s?GMWn()s!doNq@WRn^Kjba!LPy4B!Qw(qTd4^i53LVv z-axZhFb7~n`Ngl4yDS(zv@A~&+UadlHj9hj0kUO&3SoS(CbUxdy1us7Kxv|P!rC*z zrI}k_CTRH;8nUuOg#U3i?Z?51uIGDKi4(E@!IP{ez4ejz;|@GZ)ecP<^0xJKhgIYX zbT+uxUu;Y$=xhZFzkQ$1&mdgsLGZorjT(nbl9p4Mo zoWtOC=Shhyi^|G?kQ6gNm1v}x3Bm81XD>*4)=v&YX(pc~kxtWFGQ=}@C3q?>1$CUx z`y|w}c}mNg;D>5)z1H4W4{+h-g~FPSa;>cGjz6p`ZauEH z0yDx@Clt7eI+&JM3>wAGlGJ4jnORY4$dD}5!G}*39;sKFXkgU#YwFo7M~A5n%RQ5x zpiiy$;wVGehhTUHM;nGSQmT>azCiSqqdsg!j;6CC;iCh33mxLue63UR$ynGXa=x>; z>!W*@qRA6H8Vc4fZ-a;@y58MCg@-H}pd@flS-M7boGt}We9MyH?NT;hFwl|>e_C4_ zI734y9DH1bL4h9QX^t1GxG2w$(={ei1j+OQE_$Zt@*zAKGh zfN9fw5Btd9Pkc?$ALbTfbDCNB%@WAb^@U@&O_XC*ATG5?H$Fh0r~qP? zYW3bqoSP@xQiKvi0;P$J3#;eXCjy#?Sylt$B)D%)QVlUgs_0)jd7{tz!7Nw2x&b7tP)0=p@sVz&QEYX z{l(>Z@ClTs8=2vMB|jXE?Ks-_58_cPKO|+7Y{Rno1(_7S2JWxShW1_fi-zZ2ER5t7 zVw;d+7I?l&u;%RXSpy7lObqXA;F!M!gd!6)AVqNWq3>_GiQZ&J zf?5NRrMqlL%Hq55N%*KOC8w(WBh4t~dF&4MY3w=ppGOrsraYv3-Cva9Zpb27k_JAI z5|~6|a1;F?zp=^DEEEtJm)<9q^)P~-B-e##>C6Y$^PNh(Q)Hgf)5FN~Hya{DJY=G*hNn$3=Gqo-7uvk8 zsjULf%y8Donb`;V4@Z4ZMawO$2R2V&l{nf|Oxr2eCox2e9p&7=49qr%S1o08_{{6s9{M9>cCI^JAY|7xNRRyS`V(8&04%u@>x^(_UT|#me+0>0RX<)*Oli;7EYpSBRN8 zVEHn}gLbBn&5600#3b}Sds`~tKoA&UPG69(y%7@=pRX$mb!Z<*kb0>a;r391ftI3G za9f-LnV_2;S|~vfaCHnRbajiOGkh9|Csj8uM>m%oM~pvSCy^J-(xc0011z^Ob>`&T z6&xY6ej@l?gdD?%N1xS&N0TV%QrtQ8(Uh)q`LrBKB)%x0UySPs;_)N5qFntBBwL3V z6(zCH09gFwl`%~HH(ijn^}uoD7WpHvy_5cG`Zs_=D*3<)J(Bt#;H>-&)pbp57aEcG z1kXan4r|Go!}E9(CzdZAMYDRpRGx+-cD)hnC!w1R{a!h9zg-j)V5h2Wi0v8Y#ce4% zDSOcU&Dfoui?DsOeer5$Bs@QOo3DpGYlI!Enzs!mn(2gx_wMphc$z`I5|EUgP*|5G zdUPS?{xJodYTseQQJN&)US$?g4avRO(i0)y*D!5})T@2AkCG-9NAfjH<6z|p8ol6b z3`H9iM?KL4iY$W8b;C!=%9zg<`H6N#Vk#FTDmoj3Fq*!ibInR>dC@-Zj;Hl5Uf!Ws zh>OT_>U#AQh|s1qtj}sYlmYiE8&nm4ldirTw{j>A^EWTb>Nn|Hwe<`NkN^7eEB1m3 z|FN8h>>t7^^A9^7UN2krcU1o$dj!Y3s0sU9(RGV6G2aO*t7FxuD-&-;0kEV+Iyn7r zl8&&U?Mwq)Vtok;(7p|_K>tNV8I~FyT<_Qkdv0MY_nJ)DMP zF#hrmkN+d1>54(Eq^2_&SrU)mu|hSqRA*!!kfX`t9b7+(UxUA&EiB73$5L}({eV?V z3+gaI*Ud#Uo04#JWq}w4=hL8+g4e?~*qWGEaVN^<-YKhxUOhiyCJpNb=Ke>UwV2E+ zdTY)6{9}$YB9B%(XJooyJ`mF*&!+jt?Cer!=u7OQonoc!sc@yANBP$eM>u#znVpA8 zC=WU}6y#n@_|ejfy#$g1)|f~nnKS|Z!=$>5h*5iyE&2MhZ_`HZP0NmsiU4pY_?YjX zx+3@GG76)w?%Ep3){M9m@i#x2mY?X9p^rJq<*&9_;9Lsleyf81RbY-Br^n;|;L*Mb zK~O1#(1Cz+@|A_hw1I3C-zG3{A2E_QCsLBl?*A)n&iw2J~ zi%c=p^!+ZXRz9_cct1dX1*BC!>Tq#?R+O(ZuG{^DfUQ{9g{6 z11g36mJo0YBmKFAAPwT~wX0RVgrgY4aNSmH6?Q8ndObDuf`JdUHv&iX65h^5qCBK_ z{rDvhv%=A-B8-K3r4zO>aee+~CDitq#gf)HZ3YMZ-m<4T(&0}h0|*>AHn--FbtRSR z=_x9$u9CW%k_~D3@(C3&62;Lw;N?0tIlr>I16F~1K96EtPFXa8I5PMV^F9AC;V1)d ze1zupD9G}5{dKurUYBPTaT*_2Az>!WtBTIeM8#^t#K`+wkF#}VeRW*4E??AEA=-l3 zs+mLI^Cc}$DZ&SdX0>Tn9VYo*HllUwY$cHqWUiLatQs8dzj1W*Z~@A%A1&7^iXqon z#J}`+c*ZPRMR(HXQ7r}FhwBQntja@?rc)0!<~v(j@+TpjRjvCYhoR!u$B*udTfwd! zOh1Ra_yt6FHg*wVtDO_K?vU9C91Esrdcm|9K_AdghboQ1B`T0_nQavt4>qz=Gz&$- zl|s_o>gGC|YW^e)-~`X6`*K$(kQ`0pc6MrpX1*f`1>;IQaxE0)mK&=$&#v(_pkIKQ z(JSP!zn+p1VZ55{Onv#%LrYHz;MkLCO>0;^JTd#c*70Yh^~WU?B*gUM9|)pyln{@V zStIVOmbw_a3TirNTw-e&mRlYoL-7;wH6hLETUdYe8V{e@=!|1~?bDdgU zrp>#4nzgs`k^Q5!h#hCda@=fO()Sn5A+~Gw?#E(~YWV1e-gY}jX2m`D)C0^k09PwU zxv398zl;&2FK#)!cC^3?KB-2!{*4i|>$~ou0$%WJFa`bbl@Xx<{>yF6q1;rIOZa}^ z@CHz>lD6S2a`L_Vi1Mfr}k%@_XSKz+OUXfSk?zXEP z9u4?is6PY!(dvA<|HaP4Om?4_LLu5$s~1#7Qh#UwlDiupgnz7Un5TnIhg^kvfW94X zYW$7auXVfuERw&4znmyhna4>%$}=aB;dT%B`=_%Z5**n?OHK(fKTQJN!YMw7SK*^| zCcm1qaepyq??l8H(LO)ulGgR2a&bF&=&G%FrmEx?(P7gAjV-_t9c=wG99yWZyKlvOR_-&SyB*8O=4$AK+4YfN;!~8DE@oq50;N*t-UD>jv z0a4hY+QVB);Xk%~%{E~^DR~w{lN({Bx^vv}`V28L(ik2Ot>vpZf-E0c5cWB4u)V4W zD+F}~aJ6z*%ZMa8h1IE`irB`Xj>j&%0hz8xp_6c4Upu9EjhWADSG?uX@RzEFOTDQN zU-%Xd$Z@q{2P{Hl;ea~E_8Cfa8H8qL&_j2sP}_C3Oh^F*@i>{ys@u<#H?w|;+lvBi z>*7Rf{}s3e&eZ<(oh6Dk*I%!gN$>1Bl@sKD&#RyR#dSgW&57hoqJp)+z<_!wd`+|W ze<$bR*262fjq{h+B>#JnP>ktue@i@Qzg-`yjo0wEmwc$Ue)${NSTJ%I+{3fLgqaRz z{`l+l|3%5cUtC%0r6v|(oepV*SV1)hs+e#>1kFVNsi#ZV5QzS2D68$xQG(7^DnFj~ zjFj6FR@r+7W*~6TR}in@%tEBy3&Fhx8I$n>edUQeay>%hrh(hLY=tDu9pk~YA)A$? zD%k0YZ~rLhs#o zgL;m~bC>77zwwRnj(0pi7-47cthM&sYp*rSHLuC+&iQs&MW{NytJ6~u^-k%!X<&p* zi=DF!t^CPcq-fpMZq}w_E!U(idl~;ZNbYK%59XQiIQPXc+fMqXW^bfkf5=vnH`K|N zXS8k6@L zoH*}%s()mr9y#B0O&{o3{@u{0_|?+|?9S8qCt5nk@OSGby8=-6rQ$A}guwpxHi=7b zz1Sj0{|K~foftlJ7f`SnFY?-xWgsyLjarTnf~cLBj*0onK8!4qEJLGDG& zt-xhwzjyQRgZQCr`OLp}P;$Bjtlu z-=l2wxSI>Msc*c5k78#^dfg(;6gjRre4y=auo4C*Xs6{taZ*-?tQ0fC$R?%kIysHy zU}VVs;9wx>Rct`2oDe`u zBgoG4DJygHv#LrFb8F|cvu(0aFEm96rh7MWls3z1_X!@|H_@#htN?CaIvpjv5?6rC@?bD-imNhJON??mopZ zpJ@2M9$_hX^nS79kmmN~0Q^_|LW(E8;7K3&W=6a5trG=^+m~&gnPvI=y{OK(X6{%qzy%zFc6#s@2<92fhcCI(y&?PssdI-H-LFvI}(+-9(zy+Wu{-y$~-acDNlu!#SEDdq3y8x1JI-RQ#ybG`SUJL zCGjsr7LOK`DBoPsI+eWo4~PqZ77F@~tk0OR$={6`#`*^0`Hpbu`#Zwr6v>%>^Rzx%I9{$D5gX$jbiC-mo1OoYjBnKT=u$w zqttLL{e(b&1RHj8@75U3ys-N!8X}&6=EWW4H8l9l*LwkGN`DLELyBgyvOfxBE|p<@ z$W@A6t9<<&cND*ayms(}$TKuKlg4`aK{$?oF@hlS6T&4KqSkM#hq+Tu_OZy+;(U7$ zh{g%egze1HPd)Ho!1^^$cSz>bh~0_t32a;6>70Ik=0WRF^jSAF_5BK^Z_#}~aG$!q zv}TVUoVW-(_v<%vA*cS(-+V|vEV}F;o->($8i^oRzb*Tl;`z_8hVtZ^f7|i?9VQ(1 z|4**#@A`zx<9|nh6#Sh4Y5VDe5s98Pszm=rc)u)`+y!{q`YvJ z-?&_Q)Odz{^C!z#8eaF`Xc5Rk+Qh7(KJxra2_KwW(`GL?;ddUb88(q))%$&vh5B`a z?GFy?4&_}&X{#%1dZ%Jm6vS@_Xr!O1M-UPx`AaGtavGf!bI4oh9&67SRm^H9*L(UA zW6NCU$jq?B`t*aSB-@#3ih2(lP2vcaUKrH)ZlB98*DD+T;bFmf+Ai|}iU=7Kk!AU> z4;(nCN8Ilr)+7%RJBdp{k!Lp@7JlI zfL3wl_|)Ajay^J8uCx2zC21Lsl-Gs&3m@Olyo>P>(B z3oHl-sb`-;0=~m8u=M=4I@Eh}{KiB+jm0URKw=6`X0|K&uZW&BJoP)jz<@yi=InRV ztM)st$~JW;c-k)I1fFF0myrN=)p!3-&T!od-lq{s4sO7EftWtsUvsm6MSOt7L+wsm z%Q(Se+{OOaXY;=MRdRt)Du6Z-7de_Zgd*M2E}UmiIRQqgf0u@Z75{f1cFK&}NMv;7 z{(S)02z0Ma`#gT~uO09ar6-+8CiheZpau4-Q+!JJ>Gd-I@+8$g&A-4MK6mMU59A@3 zQ>*Nw_v!jnPN7+ium93a8?F4GSdv^Uq~@kJEt12AWE$zpA)TwMD;F<2L;b)GWGo!bSIqT|fac0_L;I?4Uf!P!qK9zZ439 zOn{s<0R=1U%-`Uo>|bw0QqIrf0Org*5V%6u{KWpP34CX9`L3$}oyDd41SnX?vM@#dWyWj& zg>>~4_SEm=FZ^yVA$RAWv9A8`YFJ__eVd_aW7a4H)LiH@H|cP`9iQEmR!W*&8c?+w5m_x^w&G2)N z{_%+|cY@ZyZTrqHG5`JLDvt#&V~_cLzcM%tjMMzoE6;!DhN$@wC0AvPLbIjkM*Y^o znWj^qRss4u9{L1Y{@28yztJf!0Z?0jPVsaK0~U78WW(>)p13riVz$obd;<-s9bM{M zx<66-+fLf>xh}LuTFYD4eKoasF5oxMp&|5NAhS{cgEmvj<992W6CfJ;1WZ&`!2^2f zt}Uld`1%nbyJF_8Ge7z8e-aG+W7yU24gN=HsNXI9v;XU!`;i&^{}y8Y4>t-&N?~k! zhOwe;Dom*Q#U=4&4#)kjv)lqrdORgQD7VY$x*to~)NQk96w7(KKnQ*l!}62?uOEySf?0J_v=<@q*>ht(r=9Z z$V*t|8%R>|2zb5w)6TKwZvT0h@y9iw;uFlof?JupNwbmKfnchc{oc|yP()w$bL*&X zP2cFcS;Vn~;vn_0x8EepnPJ*Y@ZQ*uYf$#jd5mwY&g2vjj{)V<>~Jin$4XR8!IPpH zukko})HR?56nGsA(p4(k09HI@Y~!rA6>CLm9?BsZ^9|Ig4uIhOw&n(T54Y%dT7b-s%=gr%DDl2vgeTGMy4@v_ML^Gy ztXo6Fy1DtOIPBkx9BzLDwOAc6`E}YKx<#1rXx)&%^K&TlKW?J?^V7Jf?t7b@IjBe1 zDy1t2-JNY=K7;Go9;LgBUnDGGwLivma!*&&vwyS}`Lp#I*-x!M_Jh2i!_T@@gwJS~ zx_HudywyJzd_eP0ucQ$r^A-NcgPGSqho<3nE&cD~PvyV-&-%B@cQ6ExUaRd9Cx9sN z_>8T1MsiHjmQ1_uY(sf}9jH~_A9wRpSYlC5@BiLegc(gCTwd|L@!o>;O5|}3^)=uD zW*h@qs2JoW@gMvjucjHEvdta=r{#YcdcohP&0bW+KY8r(n#ko;wYu&lfc6n)haNzv z@m_4_@dY@&Ch4}aezyA0r_Dcpp0THzWuQqMIorzzekH1ZPMWvzAwN(Xs5ZaZ+;5;- z>HRGdxRbH~;8(OrbR*Md_}e44sfY#_28Aa5l-SRw{Cz^?VGwE=I`S^k-nGld;t+^lqXwjBPI%$w_x#-YdiBdXHS}_RuKa4$x9a;R^9C@vVNaShh{G z_rRT{LT%jZb3-Dzk1Vae2qXH0@+7z7J$Q8fOCU_tMHt>fs&wzl`cYF7lPH zT*>r3?R)@-R@~z^yS=lacFYp_mmwX!Rs1aVR%h~ePGk1W-SZ6!$nmS&Up3m9mH?BP|y>Z~Z2Pk1= zx|Nns1fg<3`~xm9+H#caR#uOAyCFcRF}u8WTzX|Y^ulkNxcZ z0MGe^)p1wG4E^0g&-=dA2GYNtfx!NJqssXPo@-4{%{y0}4Nj)BdtAnxp7H0|@IRMs zjQ=w8&m=aMKVH7gATc5lCHz*=p_P9|5BUdWB-R_j3zUxs5lZjqZE*}u2BjYp8y@wGMl4y8m;`-;Is{!P^ z%+R@fj_{lpg*kOW%?mx>K&s_$CMas2wv(pHGejo_H+reQbuO4kXGcmF4=u*E3@$4V zF^b^jFraK_s(4dP@m~0dZg&&BwBng~rA*p>$UJ%0d#eNFf_{v!&9l)9f2RI9c0fEc zT?QoagrVqMtLSz<>X@ll=+0xH&_O-zEFzMBFO<+u6o<(3V1OaCwIW`UY~seqEw>>X zDrbRI?cf+c9E#v!9FV2hq#Y6>ujV79CwtrsqY;NVht-#5GZZ6!Jg1`fQ9R9 zqWct@3??bRI4^~^!`D8$quQJy<4bN<%#_NcgZOsCK3i&X#t0iaZj>6MvR)6<@n_|y zk)|!v_YNuZJOYUE=hp^zy(E%c6$bh0blQDdc5l78i)Wc-W1BCtUY6=@4li4*3S$zX zmBCrl#xNb&FN!M;!FNr2uOFP>t977zle@B6AZ}Fh5UMZqCD{pavEWrZ8xtW&bavo0 zNc{_iK1J}vk?8^P#~noekj3D1!|{QGG}r8E8n*nJQBtvu2uk>|ReZ<0Cgj;Dv+(u+ zCw_^^TYd)%Li%HO0Zr6H>6tdT;^P!B2DLC1Uq6y7TgFgZm> zIe5-N0%`>ogdd9sL550bi}bE3KR=Ii6Htp>c4+6hjn+FGjxTk)92~rwMv<6#htPZ9 zplU2^r+YltB8&EyBnq9hjM(^yo{1@0NI;ZnZyY7+6q|2Q>Vy?=nlcS*oBuWZ?`%J* zBJ3&El4FBdRcO+i=;`i zm5Db6CJpb7aojkgaNTh)w4w+TpF-DT ztX@qjcoUw&T?Tdjp(DH(Z>rHw$?L0*v6ZD%J60p;W+XXrCfkWVVbqd z#s>2%?Xnzs-r}VaUcXs5?m*1sZa_C!B;{#tkHZ>>NQH&#SU=ktp!cxP=F>M~^iJZX z_3%CrZ?emZK$|NOrZXt;?K~F+az>x~+-L4>Az7WNqT42@S$fGawZ-apYYu|jtGPzr z@2KcH-U|I{(eO#=tkcteyHOimu=d-g{BXW4{HFPr^3%4DR#-tUEsg+f%ny#7dq}v1 zB;!XF%-%EM?n&n;RelFiO4e8nw4to8^@R~wfD(($TKSb$CMKwp5ocv-?V508x{(@= zTXd|i>#XSg2i1%l{j6Xw&06}A=J>>*=cSnqcPh+7`kvwjhOjw_@1zkmhi(*bt2DWf zUaaWHEhc0{-p0@ms)sE+i!I-tfAVBVasg6f+8Fe2v17oMNI^J9hzldQ%XqU(jkXY_71?{VJ1$Dt_zc*XZ5eg3gu9H9@1Ru6W^73;4AOW#i>$XaO1h-Vh%E4T`Y@p(lUcMiIh zrFFgLjaiqe>FJl>;ld$dyWu!)XfC}e2E|+* zHR=Yo@#kDv8r~6J+Ga#DqRjw-F|h1&vKp?Pt$jjK+G*?R&@X_`7%_;=XCnGFdS0)u z&7=QVx|$Ejx%H@nf>cL^VF+{aptyqh)zY&-8I3X~4KK4i(V{qA!yBBqT9i060URmC zI3nUgiz1*aMtH=jx2ZNRNHoUynR)mrRU?;OFs2s0YLb-#w-%VqZfc~(jXMMDCKPPV z5g1K@y!hdIC&Lu|2Y>6nSu{`1c8$sGjS`d)!4N@`h}AL=1q$Nn)X z?_>G;;h=O`^~z%Pip1g3kaJ2^*+!}!XsLF<4|d$NtsmwoWsepn<}4Dn6dM`4GOq=R zLUKha>S(gJ7_N1if)g(Pz!WO^4{j-nkO^Z7>*Gsh0g&m}hqG)U z=L1@>nb#F*rTO$-rygIchOH4d5$F@NKR4}tL^MccdHz}C>v~q?xZiourXR6KPvV_7R^7oEy(k~X?MHG;~d*5y1KsS9jDAw{x)Zl=u z^AOixTcgHl3OJr%#cupNoOMPC3fZMH_5qOh5$`)~*$WbHl!YAa!gXm7?89JKkLq!;|KH zJ4w;zk)(|hN_~EP*Z2<7ym$OIUOeLsvQkg6D_|l}hv@>!D=2kMLI#fH?bu-Yz?hr> zA>UBDuuQc4_$AgNQajdTvRR~H0?|E*wCpY9UcHt$=*&d=wnlatPaSjrkbRP~%J0&U zb$kAZjhAgNeuH5Vvz8=&8*6bbpA21tyrV{J9){7*o;ic)pm}~3x%q)(n zYR*P4(yX<`rBYD+dT;i_g5)Nw+lH~Qr>9ax0YJLO&qwiJeiB}Q+^8<^p)-T{DV6M0S$`g`#^gQ6pl6 zv@d*g*v*~v@I@{GLmPDh&Xk#Zi@FSXwf*>uV$uP0R@j=XGhz5fs}h}lo;D43e`sBi z6_dtlVWngN*Xfx7u!t$&T2~y=R0%N^! zGpj_)Fc(R>u{(h->`eX_3)eehW7I^Ay_VS02#?qnX4s|Ss3xHYWVcyHwiCx)k zj7`)^v-tj{^fDX-1P8XN&74DG;2}?iDc>w7aTifREQ?>o_70v*HLHb!c@i`V9z*3oT1lP5KJri4sxjW#8>GAr)On;q>-B@JE))SoWPhA+tAt%^cN=#5JHnO>q{ zFSxkNtXSk?Zu(N*vF^fS%Jxv*AMI^)FdA(VSoq|~AAryGjE{4`Y!wTvdAWhAI+5;W zjKN@i{ygE?%o1Fy!83vAz4|F4N5k;DzIymu1F(P?-*g?Suh+3Hx*WrR3UNLDd|$hT z!WDIa!YlKOWjf1N+=~rMJPIOwb{>nIIlq}Cp);crRl3k@!|vPR)W!MHPYs$<5+-V> zx&@D}V!rb1QF!ufqFL1=_HbE}uqPGo6>!z+ zZpaX=ZU?eNA!0`iUL;`#eJ~;Sg^L{h$-T~hUd?%Cv3gvbXV@vIA5DO!34pni#ZjiQ@#fh<1-&BRo^% zstUq^Xj%Fh)qHLmksHfeLSo7zJ>rCN`$4Y379XD)NP2ocOO`cD9!p}W#X4JKF!ZWVG- z#jZpl=60@aD|phOnHV9BA|T);v(_uBc`VrOIa3$F`s{{yK2sV8Q++*{u9`Suv9_T#E*$uy->(VBOf|Cszaev{_4JhmK*pron zyiNBPlNb?cs_ZBjFdDJe(u%!MDw+Cfo!?!(9K~;66fdA2=A~o=u(AM29^4eiAA6q!Sh|PQAQs z@eKqg@JSxC8bY}7g}Hz6I+^MZrNW&?1#Qj1#unlaONV0X{9adyHuFXLeN68bq=t%o zz@*<{=5}I;muywOU1B1}B;6>XEiVtU*!5FOP+mO>f3_ITU48XRv$BR_whWZxXQg`f zA`Fc!)4O|jRRm~2c+N8CcwbM|#gMnd7Kt1LhNSvt6Y(1G<5k)t$)5A(yl%J}WDTNh zGf^69W8Ey!I8;$7nCEt(CEd8scQh+^&sPx#;AZJx{RRr1MG3L?uDGal2v3^`U|rwS zl?8o`lCGAxi;J7FI=&>dB(1U9G6=mi92CPo6Se%nxxRr;5f=uQ9;ZIyY!NR*fKeT` z9@j`RA2l`4Qv}K06(`o~fbAyb+K7-fJRH|8N+jFZ(`Jqm2%9vww)zIT_!ecmV*2!U zva5>K=YY1P*Vi3n9=Uctx{C`G6YGab+RaQhc-7RvliT)U%!WS+M1kt@C`G~di}7|@ z)mK+STrbEiFB80C4e!(+2vl#q3$+}x~4IN{Ru`Y!tA**B>VF34L? zCT;jZ?DIVI@0O^9Xk2?0^NI2~Hgj$Zi$90Q({Z;r=WOz>rF2*g5x%EIRG!h-DFncB z95GohK0Q-9-XS+J(^!@mmDSAbWZWKArae6s*J9wDSW$E+ld8NXVC7axJ$C!dBD*83 zg7eK;v|lny>KZM*-iuo(LGN&m2@MKx^Dw`cCBsGHVnL8cQoTt3C}Xg3S8+NFd71jK z%Pj^Ms}&D{W0EWV1T5=3(IKK=+sDn5csYEwl}!Ql1&QStW?Cf1Qe=}Ni4u%<2+2c=DnUd^UH5jcjdQ7%}P{Y`%fjV2>o;QMrVyD@~CDU z(;>=V7?ZO+SjqV`j&+FPF76fmIRU|c)oCMiTVijeetA}OPCURdEXt-YJif#dI!eo_-g^yc7DT_qsUIm|(|Y;L zO@=eFm@xNT!3&oUY=|%E8jtwCwX@R_sR(xfH{Dh3o`Z%F+ko23`yal0r++|9Zi7gC zZ)=H2p#+CiP`_lCA$P6sup5CN7f&Kfo@!Q=zK^}75<+^p{$O@_HqcH%Rp3cz#Zkh< zP%hKEs=h~W;Tmt3q1e#IP^oHm$yO+NcM(~0ap6kjVvE|Px9+3|PnSDyo6>D!bq>k9 zAOQc<;(pfVcGpk~m<-(V<#xcWl?4UG=`AR6uvWlWJxU{FnR%nvQJ0x3ukDKZfcO1Y z7<)?y+*eMS=|FM`=8&f0o(Bq0YL?jVt!B+y5a)S8mz*nE0Ih2$_@K{K!8+550sLbl zzrZEV1R(^=_Hi@7I3XGExJjmidS!a3g$L;nFNt5I+AFt49Nf1gC{c9|*3*<8v@2@G?{trUi*hTCVE;{`R-|Jt=KQX@LRy7FG8W`U>`0 z86^fDubnn#*LfM5teoeza0m<1{!l$%*M>CS3c6$x+v;z&goAVSz%p?K%$~1SxNGrg ze_q%?DN{*!az=|oRl<_;5W)z^PdMBHtrhE=LkqsNZeFe^05~wih~r99&J`u8!XOvK z3A8H`rzZ^rd-*J#hhwbH0Qv2II!rxAjGb*f;C?{7y;;)JYcFiB9@6o=|#RdC%560)eSVP&#<;QP@{nD6h zWZ^MM7wM zBW}K@z~(WPulUS@7ILXDJxMcS<&N91o54kQrmzQ`zTS_?mo&JY?8!WAT_G>%1&!Io5R?XV-F4lL#J3X(b12(0XrzCZ6ZFRoQ z-Qp#*0bGw&z2?Y3)LUo%&+DIcO%24$`miPLVSPwDuh&<^)Y8z96CHa(>b*pgR)Fs5&wS2Wm@Ym_cRz(-u1i1Zfs$w~+ko!TIM|65ss2e{i z)_pOC2Xr=+g1!p8RDO@pZ8o+R2pt|$!}ae$2Usy*mhYl*NG)si&g)A0dn!U_buWtqRNlSri?A%$iE4A6a zjL^Fum)Y>B({ctJmW;Fm5dr}1$lhvY)@{Y$%@-Z2v#Mpnwt^c&8G=RW3OD6B&KX@6 zYqFiIOhs?KNG590LGnK0c{GwyUaqYRot|%q$_%54%(6AwHSyLjAXp)8KU>omS2u{` z4th2HB3FwkN_JMrS@|7GA%o{_;aKAr)AdOhZ1}3|n|QJ5q~XmpB3rO55THIk*}h?R zjNYhwzfrxiv19wiYkBC4uZ^Uoj=rJOSi??Y-&R~)R=QySMLf@CW-#G9LYWrk9q7Yx z%9ikmg4w2{*L6#BW329I;iZuUV5rc}NEi0(eZYt;Zd%U@uSHiiYuccpWX{k-PuB8C zYLwvYc{Mp-Z*4WpObjvITd9IvMeYtH3)|9Hu6J_Ry|CMuw?sQE700O$e5r2;Bed3R z_HVt&THkD%9yih?1?Z?aJly1i8=fEa(C;{4F_7?C{w)L9cby-V$Ozbt$0M1 zE44%&gpivods^Uwuv0dxQ+t zHpNK!hDq0!~}M0l(hkwryj9W1YPuge`zHFs1g>TTpjPFLDMT;Nw2Blltw( zXW;;d+V)Gbr!!w!2oKf;dde}NYFrB~MP>q zD9J$YzL`|>+{ThowEl2&j)U$b5!O~cEhJ`5x*=TJ@PK#VPFdX4%Gi`{@rpp0 z`&(&*ozLlbdB-7QFp08tUUL`gNy1jc8Eyp3w$Bj}uNS!Mi9D}{ObkgJj9i6PsW^m= znob33arvHOWi8_@tXS1XgPkvj_`!r1IUaXT&59b5t=-Q)+v#B{zbJFg?Q@~%2TAdM^@%%|k4b6IU{nqi2M>=@YXV8==@oB+RY3GMSG%jdHn zek)CX;)o5}@Ea(|wcr4=mDEV}f~6{BfEJ_EVc4k~4`fTD=B z0&L_(uh3c7IvlHgAkZHN4G(|TV>{$bk#2YUI_s7CsWT_BJ>v$tYe6mJ1{l-pwu)+j zgS`)r20ityrygu|m|GcYv(>6|!P~Xms!F~|?;SrIyHu&)s6&z>ufJe;sklL#m72DT@lC2MjX=n3Fe zBl@!Cq1)Q8q2~B873~yEqO7%IhnUL3V&b_=M$|p1=2kw#rjg<4lafv6`%Y)g$;|oB z|2PPeFe==2HkAPv_J(F!FT06PN~_C|bsN+L9x798LC1!+BrIMTtB}hklfS$W2qLt^ zj3R`*b4t4HSC}Y0xToS2EAyE4?&66}==xBwq!&P8++Hu9PVWWDNK&`Y(lwWXC0*Zk zW*6!a#?PR5gl{zW_{vU^t>_+O_m0C?;m`rBuw1rR*)7V7DLUsOYA> zlg={ydJC^>>(FNU4>Qvog5IhNUV4x+LGb!;4>c;fgcP{^KnVyv>b~DaNm!vFHFySP zPdq&{;nV=jH=k&J9SNP%qKjfEli-U&8I9}p?r)@U)v$$#p9`&!grC_J2{a254(ywT zluwc5UEzj%ijrdu>Kin8LMS?_1C-3~&SAQr%-QIDjn_5l1#^#&(BJi#sC`~Fnm&FA zH*B$cJTG?0F&sUz3jsKo^B3F^WmK_XenofQS8L@4L0St^sZ$`gd)fp!kbZHIK-W3@ zBIcAGrFf-yWu4Mi>Q^DGu`!OD6lxlMJTBh81TuAfE8JmaGv1h{F|NjMAV<}6^uh|> zAU5po+#-So^aN{YTJIwv{UtTEioiCJ=-OQ~_0-x==Wr}TlRk7AFI@TtLMNbW7SpL; zXM~P*NZ_~8OL^K=J3o0MLtFEQ!moV|pr4?akEgQ8%PGp4vU!1pA5tz}Vo-!nL#OBk z!dSm=qu~R;ugtW{dj0Av8?Ca?lkrY+YjJ2zR&s4x>F5hreimvs8R`&buRh-A>*BlG zZG>79FJ7g`J!!sJrnXKFN~mS)5qiP?(3b2T5;h}ho$;QVq{TrQFY+#jFVWD)ZE*wi z@(VjCY2)XfGo1|Q`L$=o@FL!5)f^@yx`wf5T04#`UB!{|c*ck|5akPMa;EY_cS|Ga@)+TPYRnK5LwaN|6=o{;A1LNFY-reVx#E>Oz3 zeg`Ys-BXjN-`IrT0TKsPZg|NHJdL5^V}FRT#+p%ZreTuGk(?;&`70TmWKVn3(k|%E zhN4H6XQNF+g?N@*uwJXC>X%}FsL-pAQp?KPY&UBFh@;}Dw-!fX|YppA;{ zzYcD_o#0kHkcSek^Cms_=Zwiu^C`y*5Nk~%mPxPP&{-qVPo`D|w5USvlzN^bJKMe# z>vLb(7)Zr%Vnb6KDuEiF&q59P+cj&Duz7C1dojx*q&FDAMKgDmm=ZxNoE*H1kr$vf zFa72w*2kYIZ`AHl$99SyI&g;m%XqwoO&d#<{nz$`7wzRURWYJd>(|(@(8{jZ8J2Zf zATLAmf!_8IGH2mFY-gI-h^hVF+`nm@|4JME{amKS`K(A8errg|T2Y1L_zIzcv0j?M zvQF2#Rt+@`$+{Fa>{svBIzz$ojxNXa-Gx&y1Oo~9l@pQUp^Vwr?V@iWwZw@@)w09| zV#e_at$5yLKAOl6{ZTsB=!C${7sOYrcI1}XHAPkl&r*WJh#GQonIy$sA5*MJ6-*RU zj2P%wHN2I*c+}qfnnz~RO`zWqGvL*Q=WW1KI@$hq0y}NjT~!}5Wm2>*OrqmTtEf5^ zZP@3D=b!Ad5~2r%uAOsch!^BNyi-j>oJ*N@p?Pf?p0?niw_B_fG)j5AxcylPyP{du zaoAF52+#>!!yF~2kD!&e1gP)ur#UXgcB=37ryQD8B80_l)67MTAj&XTg0ROq^l|1s ziUAONf?ZVt|C`-IwO{TYG$iu87+(_p2D*KXXY~FVb#{wa6kNu!{R}jb##sUrXFvCg zTRvT0UcVMI_Bkqbg@lsDU(#Yn<6Un6HD(BMckjGqoF=djvnKj>EM>i9gcRgHc)sar zc3xV*$b2ngg5`x$pqW-Izf_m=dUCmR4b33NFdN{)Npx2F<|yF2*^#mgz?3;kfCm)BLH5=XUOgqGd(d z50jL|s{e&1@k9H_H=6f)oK?Dn67DxLa`Rj*Sn4z|bL@J2-!2q1Rn0dpp~C4Mj}(Ml zl^!yWxnyPPrn6&yUBPitLi@g;GMJYzpGu6pfPI-5M{_QXNa9Y}8hs%2OOkDlV!`}c ziEt11rzU0_pcbhekpR+fD-bHJgoG1cY$=8~Heu^Go0gV_?Cj~+ZV0$=DbhF^0yV#9 zjmWF}m$+Q7=FF?xT$Fk%)v*19Bn07HPM7g^G6n8rf6hkTLlr;W!?G^}iJQg1YNO0E zaqH>O(|v8tOsnmEZdjK-xaj?tjgqK<8+>ipAV)ob#cTxa5vkYjB7sTfkl=)HhId{@ zYbj1SHHHxqfymi8FD8(gQ9ouSy=ik;Dhmma^D&( zcB!hm#{llCw$V?!rZl@zaPKZ2O$s@Z>}J;n|Z#X2haR+qOg@^c|B z3R)RNrA0?LCU&R$a}LOCSGq#0qKw$ouN2G4V21|l_SnKZSSD4g@IJkEP+9<%m0_Cu zK;ftOfX-&ODDFgKYqI92CL?!f0t~$3XvlVvddAO+HV446)JD+u1;_CBZ4H#?ubX@z z!kw9hlb_=wfa+IAejng3RdB>!1!U|f|zh@h05gF@*Xah*I)FMxuai4Rxl-gS&a-zXh3^szC-&$r<^RF zc(UnpWPYWSVlgtz$YKa`HZ8xEz4$@Z# z*Rx755#}GVp$@q){UEB{-$`~hRaS?p5)!?8MrXPYHYgZZMnLhIz}VGwjtXLJPbCS*;Fp&%7C>M`HEB4SB2{0ihk7F5?4|+y5zg|?3>6|wVCkGAe z>_KL1H?E7=&Zq3={C_B5csgs0wws4E-p7Agr$`)Chj&+!XtAXc(fF{huD(nKR^Csn zEcD<<-#}f?`>2%gui+vxeVKK=cDxTs2_+G)s2C-$YlGcpg?hSW&N`!kg4r-*lFvN6 zS3Q!}_yMP>(W>3+3HG$a zrDfAZ^7S4iX0!}u?sRZ`Z#@VUx`c=k_1huK{#VV*qxcNMXdYnoRC@h4rr`hn=07)| P|5s-Jx66$9+u;8JIJawq diff --git a/assets/swe_bench.svg b/assets/swe_bench.svg index cb02c77e7..cdafbfae7 100644 --- a/assets/swe_bench.svg +++ b/assets/swe_bench.svg @@ -6,7 +6,7 @@ - 2024-06-01T14:47:44.878771 + 2024-06-01T14:55:22.797792 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(#p8c34e9879c)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/> - - + @@ -1392,18 +1392,18 @@ z - + - + - + - + - + - + @@ -1485,18 +1485,18 @@ L 690 242.500879 - + - + - + - + - + - + - + - + - + @@ -1576,18 +1576,18 @@ L 690 144.756199 - + - + - + @@ -1597,18 +1597,18 @@ L 690 112.174638 - + - + - + @@ -1777,50 +1777,50 @@ L 690 50.4 +" clip-path="url(#p8c34e9879c)" style="fill: #b3d1e6; opacity: 0.3"/> +" clip-path="url(#p8c34e9879c)" style="fill: #b3d1e6; opacity: 0.3"/> +" clip-path="url(#p8c34e9879c)" style="fill: #b3d1e6; opacity: 0.3"/> +" clip-path="url(#p8c34e9879c)" style="fill: #b3d1e6; opacity: 0.3"/> +" clip-path="url(#p8c34e9879c)" style="fill: #b3d1e6; opacity: 0.3"/> +" clip-path="url(#p8c34e9879c)" style="fill: #1a75c2; opacity: 0.9"/> +" clip-path="url(#p8c34e9879c)" style="fill: #1a75c2; opacity: 0.9"/> - + @@ -1842,7 +1842,7 @@ z - + - + @@ -1894,7 +1894,7 @@ z - + - + - + - - + + + - + - + - + @@ -2231,7 +2261,7 @@ z - + @@ -2243,7 +2273,7 @@ z - + @@ -2255,7 +2285,7 @@ z - + @@ -2266,7 +2296,7 @@ z - + @@ -2277,7 +2307,7 @@ z - + @@ -2356,7 +2386,7 @@ z - + diff --git a/benchmark/swe-bench.txt b/benchmark/swe-bench.txt index fee177e32..b3e5674b5 100644 --- a/benchmark/swe-bench.txt +++ b/benchmark/swe-bench.txt @@ -1,4 +1,4 @@ -18.8% Aider|GPT-4o|& Opus|(570) +18.9% Aider|GPT-4o|& Opus|(570) 17.0% Aider|GPT-4o|(570) 13.9% Devin|(570) 13.8% Amazon Q|Developer|Agent|(2294)