From 6a2d7e08c2c7b4108c8793ccd1fb1109a1896aa9 Mon Sep 17 00:00:00 2001 From: Paul Gauthier Date: Fri, 31 May 2024 13:32:20 -0700 Subject: [PATCH] copy --- _posts/2024-05-31-both-swe-bench.md | 103 +++++++---- assets/swe_bench.jpg | Bin 50675 -> 50697 bytes assets/swe_bench.svg | 273 ++++++++++++++-------------- benchmark/swe-bench.txt | 2 +- benchmark/swe_bench_lite.py | 2 +- 5 files changed, 207 insertions(+), 173 deletions(-) diff --git a/_posts/2024-05-31-both-swe-bench.md b/_posts/2024-05-31-both-swe-bench.md index 78ce77de6..ffa077294 100644 --- a/_posts/2024-05-31-both-swe-bench.md +++ b/_posts/2024-05-31-both-swe-bench.md @@ -16,9 +16,9 @@ from Amazon Q Developer Agent. The best result reported elsewhere seems to be [13.9% from Devin](https://www.cognition.ai/post/swe-bench-technical-report). -This is in addition to +This result on the main SWE Bench is in addition to [aider's SOTA result on the easier SWE Bench Lite](https://aider.chat/2024/05/22/swe-bench-lite.html) -that was reported last week. +that was reported recently. [![SWE Bench results](/assets/swe_bench.svg)](https://aider.chat/assets/swe_bench.svg) @@ -57,11 +57,10 @@ with the problem statement submitted as the opening chat message from "the user". - After that aider ran as normal, except all of aider's suggestions were always accepted without user approval. -- A simple harness was used to retry the SWE Bench problem if aider produced code that wasn't *plausibly correct*. +- A [simple harness](https://github.com/paul-gauthier/aider-swe-bench#the-aider-agent) was used to retry the SWE Bench problem if aider produced code that wasn't *plausibly correct*. Plausibly correct means that aider reported that it had successfully edited the repo without causing syntax errors or breaking any *pre-existing* tests. -- If the solution from aider with GPT-4o isn't plausible, the harness launches aider to try again from scratch, -this time using Claude 3 Opus. +- If the solution from aider with GPT-4o wasn't plausible, the harness launched aider to try again from scratch, this time using Claude 3 Opus. - If no plausible solution is found after those two tries, the harness picks the "most plausible" solution with the fewest edit/lint/test problems. It's important to be clear that @@ -73,20 +72,22 @@ correctly resolved. This is the same methodology that was used for [aider's recent SOTA result on SWE Bench Lite](https://aider.chat/2024/05/22/swe-bench-lite.html). -The only difference is that for this result -at most two tries were attempted instead of six, -due to the increased token costs involved in this benchmark. -The SWE Bench problems are more difficult and involve edits to +Aider alternated between GPT-4o and Opus for up to 6 total attempts +on the Lite benchmark. +Due to the increased token costs involved in running +the main SWE Bench benchmark, aider was limited to 2 total attempts. +Problems from the main SWE Bench dataset +are more difficult and involve edits to more than one source file, -which increased the cost of solving each problem. -Further, aider was benchmarked on 570 SWE Bench problems, +which increased the token costs of solving each problem. +Further, aider was benchmarked on 570 SWE Bench problems versus only 300 Lite problems, adding another factor of ~two to the costs. For a detailed discussion of the methodology, please see the [article about aider's SWE Bench Lite results](https://aider.chat/2024/05/22/swe-bench-lite.html). The [aider SWE Bench repository on GitHub](https://github.com/paul-gauthier/aider-swe-bench) also contains -the harness and reporting code used for the benchmarks. +the harness and analysis code used for the benchmarks. The benchmarking process was similar to how a developer might use aider to resolve a GitHub issue: @@ -103,8 +104,7 @@ so it's always easy to revert AI changes that don't pan out. ## Aider with GPT-4o alone was SOTA -Running the benchmark harness -only using aider with GPT-4o to find plausible solutions with a single attempt +Using aider with GPT-4o to make a single attempt at solving each problem achieved a score of 17.0%. This was itself a state-of-the-art result, before being surpassed by the main result being reported here @@ -112,13 +112,13 @@ that used aider with both GPT-4o & Opus. ## Aider with GPT-4o & Opus -The benchmark harness started by running aider with GPT-4o once to try +The benchmark harness ran aider with GPT-4o to try and solve the problem. If -no plausible solution was found, it then used aider with Opus -once to try and solve the problem. +no plausible solution was found, it ran aider with Opus +to try and solve the problem. The table below breaks down the proposed solutions that -were found for the 570 problems. +were found from each attempt for the 570 problems. A proposed solution is either: - A plausible solution where @@ -137,22 +137,55 @@ verified as correctly resolving their issue. ## Non-plausible but correct solutions? -It's worth noting that the first row of the table above -only scored 15.3% on the benchmark, -which differs from the 17.0% result reported above for aider with just GPT-4o. -This is because making additional attempts is not guaranteed to -monotonically increase the number of resolved issues. -Later attempts may propose solutions which -seem "more plausible" than prior attempts, -but which are actually worse solutions. -Luckily the later attempts usually provide a net increase in the overall +A solution doesn't have to be plausible in order to correctly resolve the issue. +Recall that plausible is simply defined as aider +reporting that it successfully edited files, +repaired and resolved any linting errors +and repaired tests so that they all passed. +But there are lots of reasons why aider might fail to do those things +and yet the solution is still a correct solution that will pass +acceptance testing: + +- There could be pre-existing failing tests in the repo, +before aider even starts working on the SWE Bench problem. +Aider may not resolve such issues, and yet they may turn out not to be +relevant to the acceptance testing. +The SWE Bench acceptance testing just confirms that tests pass or fail +in the same pattern as the "gold patch" developed by a human to solve the +problem. +Some tests may still fail, and that's ok as long they fail for the gold +patch too. +- There could be pre-existing linting problems in the repo, +which are in code paths that are irrelevant to the problem being solved +and to acceptance testing. +If aider is unable to resolve them, the solution may still be valid +and pass acceptance testing. +- Aider may report editing errors because it doesn't think it was +able to successfully apply all the edits the LLM specified. +In this scenario, the LLM has specified edits in an invalid +format that doesn't comply with its +system prompt instructions. +So it may be that the LLM was asking for redundant or otherwise +irrelevant edits, such that outstanding edit errors are actually not fatal. + +This is why the first row in the table above +shows GPT-4o accounting for 15.3% of the benchmark score, +which is different than the 17.0% result reported earlier +for aider with just GPT-4o. +The second attempt from Opus may propose solutions which +are "more plausible" than some of GPT-4's non-plausible solutions, +but which are actually incorrect solutions. +These more plausible but incorrect solutions can +eclipse the earlier non-plausible correct +solution. +Luckily the full set of later attempts usually provide a net increase in the overall number of resolved solutions, as is the case here. -This table breaks down the plausibility of each solution proposed by -aider with GPT-4o and with Opus, as well as whether it was actually -a correct solution. +The table below breaks down the plausibility of each solution proposed by +aider with GPT-4o and with Opus, and indicates which were actually +correct solutions. -|Row|GPT-4o
solution
plausible?|GPT-4o
solution
resolved issue?|Opus
solution
plausible?|Opus
solution
resolved issue?|Count| +|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?|Count| |---:|--:|--:|--:|--:|--:| | 1 | plausible | resolved | n/a | n/a | 73 | | 2 | plausible | not resolved | n/a | n/a | 181 | @@ -173,16 +206,12 @@ at solving these problems, because the harness stopped once a plausible solution was found. The remaining rows consider cases where aider with GPT-4o -did not find a plausible solution, so Opus had a turn to try and solve. +did not find a plausible solution, so Opus got a turn to try and solve. Rows 3-6 are cases where GPT-4o's non-plausible solutions were actually found to be correct in hindsight, -but in rows 4 we can see that aider with Opus overrides +but in row 4 we can see that aider with Opus overrides 2 of them with a plausible-but-incorrect solution. -The original correct solutions from GPT-4o may not have been -plausible because of pre-existing or otherwise -unresolved editing, linting or testing errors which were unrelated -to the SWE Bench issue or which turned out to be non-fatal. In rows 5-6 & 9-10 we can see that both GPT-4o and Opus produced non-plausible solutions, diff --git a/assets/swe_bench.jpg b/assets/swe_bench.jpg index 5df496d66af6e7aac8e26083c9c17a4aef586530..1796f2720fd944a33d9327cd26e1cfa900d96fab 100644 GIT binary patch literal 50697 zcmeFa1z1&E_b_9y4j%8BHaQiND4@oun{CA1q7tKySqdQ0g*KOF~<0fF{h_Pr<0&7(&AF$AS5ItkUsDabUFgM z3%Y=gj)9JL0RsaA6Z67FEd0w@mo8xu<6XtUCnuq#ASWRsqoTP*M|Fdlnv9H|hk^Mv z8z(0xB^{p-FT3C^4o-G>AxM~*m{^yvu3f%-jr}^=b@u=G=d=NYdjVM;Wf2AG1_&7! z2?ZDF^aF?z1VTasS_^OR_a7u=6jU^Hj0>0-F98WkuYiz|P*9LjQP9v(QGwJhz;_TT zE*jo-Hc|Ae3Xd^vSmLw43{Jd2eW$RIK(Tv+hU1BqJLW|~qHDw?v^VMK85lXaxOsT_ z`0w5m6PJ*bl2%eyQB_md(A3j^YG7z&Y+`L=YiIA^=;ZOr)63iEwQor1+pzG6cac#^ z$tkI6=^2?>Ma3nhW#tu>RqvZVd~9xMZTr;I+t)uZIP`URYI)15OtbvORF2;G&{kXG6ymRls;`dG!YS%M18- zf)fiHF{wEeHwd0sbzdZ;;hdt~gp-D#?B65I{lB8@Ct-ikH4MT+K>|7t1s4Pc?H|!6 zxn2DG`kM#;<6|ICu6a0jF0rSinl!#hCUf+V#d@4`hIjwa6J+~VjTG!wlWi9vH(2VE z-}m%p$YO!PDac4KSeZ+!{)*0v+aX)CV@pS++30VY@86$#fH^}(z_-(yfFqhz5LlBr z8Nb>i?)ri56!da+=@jH*`LL_WMMjB-r^-CvR&bjWS4X5*^5Hkzh0t9cA!`u|Z!t?< zvzk6(W|u(H%AR()k}*z(>lfA}h*8{KEl)u&26Tecbq<0)=um6ah~|t)7(2D$X=#Va zr$+me?KCWjP=tzE1s~j$oK-soy-NQeTjEigZ-rAhT~!65&%^kjFm9rY_sr&Pe<>-G z2Inb=%`>$zXddfiCjIe9DUZ$uEOTm=Vn((1L@B$CCF{^jpz@^8GEN+a^0S)|vhU{} zE>XzTiqL}@{To`gQTJmQH$&T2m03^o$Mzy+&HBr8-lI4sHbIN2OxBMf%NxY)W@Owwkn!e;0XP1OjF(16wE6qj z^63IETwNFR2C1q>&Rj-OuR3N4OvNvb^HF(I-us;RgdWApcPdmzmS>u<7MhyLsriDt z8(&IafWS9@OjoH(G-`1t=&I51HotMi=I2fSqDR?CD_)?PaW}4vBwrBy|6vzX+$MKy z;!5*`Sl>LREd#q2>NCj;7_`nd7#`Y}t?TGFMytAuYYVCfqf-4M%HR2CcBwpGYB}r# zJt}`CsF9p#cJ(9PgY12?wLxkMx7el~g50TC9l2``PqxVK5cp0KGq0&gpsvoo+yTGK zxE}|O0#mnkKYDW8{H}oBC~N*e=?UA^!3kdq^v(U=P8u)c`NsikPBE^?Zi2&?+VW1& z9#2_)&~DEnCB}H}JJNQ7Nf~Ba_02fxV4GD%e4_ZVbJ~*Lhj7X8$OWlyU)GB$g;mA#LG78ju;974{ zGq^j`HDV!sPi~(m9rg-iO8p2uI(yX+r&>rqN{^`+hb7hHBM4Y2E((p6#-Jp$w1MB^P;D)KkQ z)p}{g6P9*dn5+Rmx;HN1@6j?)WispjLZr1Lj;!ScX8rrBVbFFyp62-Y3)SAKg1*b1 zjlEWMxR|$jq=HK}I|V)nU)|(t4r7v=R>=5xWm~gH=JCZ(M6oH!hUKTAtdiYzoR!{# z_ai#psl9KTjAzZNS=&ZGY$SJkJ3SqUp2>YMEF+M6SG?3+g@GnKlUlfUkhCHJ3kTQ1 zZG{5ui)Umpf#RkE@YI8dpE+^oy5fE?O-aHsF4|Dz12=ywG)V#tQ`{ zF*kbxRa18A0;hmR6k+LOW+IFbT4I5qLAvd|EH!Rn-u`dVGBpu0rS76d&J~x4Y}ZSj zuO7JKBLz%53seeHPRU%>Aii~Z_WAwPm%NQS3A@cq_S4vrdN@tTAAJX|eJt>Qj|=*` zoiVdP5kNfrDwuIFhu zL*m68wi6+Ko0Dt-jg8W=vA7`X^ieVF{M00$u_8TJ&{Lre%M++cP86Nbi3CLdh3Fos znQ)H+IM}44*^r!FP80_A0c9JeYmT2h8lbK8q&*fYk-KL3=2{lk%pmc}vde>Ot92|! ztf;1>54G+WtzMh(wBlG9*~;}JM_(RkK1wUux?`3%8OW(Z=fH?h=C4<{E}ob$rhPCX zIglKJYxWfX^^HP-wx^G7vjxsnBw%~_(kCGQ@4BLT7|VKNW&{~Hmmi&i9!{(U%^QKX z)w)kX>mD$C$Lz&Z(0=17=%NcgsEf;m5_SNdl8CAc0z?qyMtZjh*5670=D^<^_?rX& z9S2&*iFxN_g(F!ou{QsFM$4DC8Zc6_l!v1z6 zvA|vFDN*4_@LeS};!ReVSUcqCSQm=4#H0UICplfV(}tgQ6-o+o-=jRhi=UC$g9V&| zM4fR?Fy%J$F_V&Gwjia3CmH(|e~~EgIjlc^D|xKGe8=MG(hy`)8WKP`a>N5g`v%^i z1vl5+^yO3gH(81O%|NRw;(qYI7-@x!&o={V}B<$(eP zF#-uACE8;T=p5`x{QZbEoc)MHUyuvFf(Y6_z0`1%^XhG<;|YxSkES#TNx92HK3~Z; z&w2W}FVtbwZtH>d0T#$^NA3EQYJVQrs-l$bO09%c30Oa9^@>QH{-g&rLm(HgZsi1> zeL_wbuBlULx=$%x__|I(_p=a|K|)pTtvd;M3--oW3Q?%YBb%`;MJPP)Q?5iqyH7gB zY#lGBhK}=wO^c1b@QG5T{wj|*;l`zOe}HB8G4sHe@vK`{{G$2HMg-#s#S|rkL_UIy zyYFva80EZa?V!IF@5NX^f#W=oyK%`2*_&f984EvuQ zB!j=MI4cE+aab|&TCTb&e8v=Kr*s)S-wZ+4@ec1+8fr%+DwMItiM?2+BRKPX zCvSR{bL13+^3a6)NTsxR=29ts(Nx3n5PFgH!b@rI64~@DHQtL%X&b81k2997S(bCW zILFBDJLtv9)q!(u!uPmI-tx3%7~vWhG`{aFxlSD?+OQO4*~vv3rTAVtMLBe0=OlzN*dQ6(R=&S7KU7jiAC$22`9$o!DjWZ|$RrX-I8Al9phQ~OE3iA+PDGf7nMp+7h zHo~?5*hL}|)&x@?eBs7ja2S!XkB`Lir%RujP^Lp&^QXC-)$5gg>uT$wPbuFiL1(@| z_(6+Cd0-e`KJJ43$#pdy-TdJ}d+2sq{?hpE!s<#HfuUPA)q}?c<1KURry$!Z640XQ z%@J`^-76+lMWgP68;w`|TVOdK>thyT)|Xo3oCcEI*lb*|U2xvp9f`#*lV&`jUbPm{ z&{32!CPu-|k!oIpns}8?naQX`$h(8DbYh2P(#vE^cyv6~PE@})=N(QgL4CQ6=26tL zQ384k$w!iAUxF)W@&ZVb;6a|_8z~g_0=M&wYWm20{m*{^8AhtM@j z$>(uQ>z??9pMrMx>W@$c4IdhQs6QlPIR&k(LUu6HS-kyWsI@q(<>lea)4Wu7wp#77 z0_SV-F5iF(BHfA^nAMJ%7W9Xn?0)7~i@%Z{m8;M?Fm8&4 zkp!}Awe!NY)gaAn!>Wpqg;iEdCb_{*L)u#Y-OQVP`FVO<3$>MD;Hs@+oYp84Rqj+j zPu`4_oqFx{(c07lR~M`0C1zSr#j9_g(ma*oUBpQ>b3h;Nk!ddvQ^=dX`1tZjo+Om% zZCPzqF|(Pufm``Fo1_}}p|TWBup~{uS28j$C3i51)X@7db)~n4?OC;5vfWetYd7kH zK4g+=&QM8}qvT1pi2827TQe-Fu-3EW)Sy8j4P)kLk*4djK(wwR3|vi<)3kLnLBeQE z`&xG9r=plEE@GF%w63Hjh3zcw^Y`fW3b&0vPD7%#qqG6k@ zwZfa!OXXo(eJFY-=DA8?8_-W`vF*&E(mgWNQq*L{d~I~2eMP$3ogjCu%yEJxQc3Bc z_wj6&A8BpP_#vSuQ0d(rp%QU=Dj;mZuK{zJ+^o3oh8#%8n%iZKdOMRB!SO+GkNhB^7ENa?+eG($2J!@^p~YPu}Yidh&B){%R?=dABZkDE1o;l}{lvTU9j zAt=pT(j<@fB0OS3FRzGU4asG~!(0fCvFRjaH zAch$Gc^2E~09H;AM~$V=mqJFj5PT>7ZRuu?w8^|q!2I}a@fr+pAc9FS;T#*Ef|7=7 z!%Mtcio;GpXh$#~CV%*Heq*j4>XHw0+x_~R8nm2R*o#=pn38;%uFl^%kIdD1=f^QE zI#p2AA%r_%$0UA3`#wDwcG_GgPeG25cYi*#)ZUE;;F0U<=n{^|vV8018G0Qs^5WVd z;SFAl!E|tdldaXZjzj!C8Y%s#xr`-dR5AXbz0hPxgQdvT1ADosmBw(ws1syIf883X zK^m;s%C1ecmO4`{xk7Dz^p|vT>ibVodo1X03(L#VSdNBvT0=JC$i4v{Al(lX7W=Ni zqA-{_RlO-*CL+W6Wfe!m;4$+z@K+r_fOVZ9TLLlLSiXGLT(nso+gHXcU+9nt9(^FB zd-=X_rGadhz^Uf_igZuONS6<{da;;@HT2SY{3_oDL`hud4D zbn+j+=yuaKGgnkh*r7A#&Dw`Cc5`;h+N@M}lec}Xa5QhH*!CQsB)A_J?bE5};JP*6 z^-*bYJ*z28)8(c4$*vdgF#1HvbvCz)1#J(vx8h_Un<{C2OgND)sj?yJ?RbA}C}7Jm zypV>}#ntlV+GUW_54C~|wRw+)Gumi6Zc~p`(fGbm=USus%L9_!G@0yAv}TH*KMg!~ z%QUm<&D3$E4Zdw1$9C`qJr=)f98!4HecZJN)`S~ne?R@-$O%VXK%=>~3TQOlkR6_U z1?a*tWv-*)hun#c;E}av*VbC_gj3|V=LX=0!x=ukbQ2<1Logu5f zmC=_D}g|^bynnp-Glms z6DHCJ{p%&+!8r!FoNnj>1VtEqBxxO=zkQQ3;G@~+%un@)W+}VG*jwm+sj3n>HkMGj zV$fk5>U1=dW<5AuwUL{7!Y#Rq-^R>)nFK2)+q$JUYL-a7UYmZ&{e?zc;WyofyUk9= zfW4))%JTJFo(|rG1Geaq$4AT*ZN`$NYNoH*U|s5>B8eUtxi&PH~L#C0?FGL({W1b>9;` zr%XX(l(r?TjOtDm6bG`w)up99sxg}Tu_l-7lNGrfm!AB9Ex9sPZKbgapGt!~P96w_ z^PvSUrf6CzEH^(mb5i$^EC;-r4)ZhF)7*?lS%6(7#nJ=UtN>n+;o6}6_;0SI@4t5dj z(5-`qpeB<}hiW5-uE~pOuG`R{fgt#jGvHnD6ADGVjXK`oC?}0b?~_L@`Ju!7_FKn! z`V!8S#j@LNlzz7sDk>^ujBeb%;T7CPEaZ*uCUntvM$Yp@VNXZ!DR`Kz_uERbaIEzK zEX=u)hsU0ua~ig#72SF(#T{}RXRKzM)c02~;Q#73CHn+k=K5F=zpur+_zB(5L2Tf< z|K&%KPh%IrcV$G-&aETLzZ;Lc97B^GkeA!MpXif{gkPKwLRhT11Q?oO-q4a$P`8;* zyAIcH1GR^gVomLYXyu6N+=x79k7b3oJm5IM+Y!w3rO%Oz{D%OlBZ@kQ{KVz&qcBkn zU)8$+|A+39-uoSv1t7_DLm2+7p>w^PdT=M%s8`x%uemO368tAVDO8*8sA zJW?;I#OBck4;!bO7qyOQ9lENtj~MZb~_KyVFrIr&!5rw zU%W%n^%)Aft9;S|J9f3TlG`=g;S$fHX|;cM3YxG0hS({nZX%Z3H%Y=V2)cK&xJ`My zdf01}fbpL^UMdKAqWC~oIN1X#-4}*qHPEQ6e+p8cP*ThCk6$5OHvXVUDu%Cuciuo# zFNJ~M=cqXA&YUoQygOQ2@Gor)1))H)GaJK~iF)DvIVBj|uc3a6PaQHM2PN$PRyw1D z1{ejOnqb3_#j^aTxz`KV<{*u(^+^|JglPe#yb@R@bxi?>fsmbT^9vauti=K8h|+O~3DqN$9#^tvO&C)sz5ru!n=dDwi$UAsZ{&{24!Z#<<}2CUTQ6@@l-Cj*F4|yI0Rj; zGLOCKu(qza)_7fIl0H_ z$LHFgVXC8VffelN_e}4#&b{$Q`xpKoy}=lH^a*dSSn+kW0ZucuZz0-CX@neKvuVtW zGO5fAp5$=H_{UukT22vWuc+QsX$~?qOT~9zX}xKt)?V=(Il|Vvoezb^Wz8;54E%mz zLA;mNedPU7STu2PifQya+VHuUsX2SRvS|!DI^HSKB@L%Ezibl@*)*KXU$qXSQtbV5 zv}#PU{21%DDz^n!vr9JJA6Q}FBTe-Fn2!qMnk_EIEG4;&EmXtJ#F})J;)>T?M6;X> zf=p8}AD25<5){miX}3TBI{Unb;|lK*KoFp#Gk~j)y65QjAqXA)|FkCpooO!hMo^%O zNtsaBym6`}kDj>i=a$No&TISN$n;OQetk@S%NIbxBtWsS&8asEGYFKQ=QPUs<{aPA z9b|nN#dr5zcT#cT8iYd}D9UIK8^~(-Hhv6hv=w?>pDT5z4VGKymC;{$Lyo0Rr=?bL zYp^Gerd29U#(^eE@t$R-9o1DgbUBpJhigI8B?BiimXA$w3EzxhqK1fn`gZI#NjcTH z^Vu{R$X4lt3z>SVjb#aa7k|VaNguo$V5-=+ZdM}6e2-9WPKsp;5_ezU^HMKGTK<8v zx{IM)h*ZMXEwcq@$C=A-$ekvStQd*QOvCMQ7o*~b=DenoqLe)>u`oJPxP>IBdvgsB zsP|Q?0;8FY42!DuLu_acI~+%?oQ}Srhu7vjG~OEeI@Cy3KG=ir*ZBnZj(;&X-wB#p z!GJBVZGR8fJ2Szy#~gRL63tSu6TD_glBX*mCA*!Z_r#C+!r~yMtVbV)I9>_8&Un-t zEwcI1ovUxytuHYI%)V4EgWXu|0qtG#z01-#?IJc));HHXsZBBe^z}9A`=5x*vJ0AT zKj6in=Bi-TkI>|P&Uh^$$ffCx6>;5k&JK9T#$BM=_jnBuv8Oi_Y0wII$+JvPjYLpQa}IdUd&fWT94REpSuDx~3-_@)V9*qge z4&>O)R#>^Ztm*oe1tZwj)sN#j=_mh3l?%)G&ILkQE=opb;MMKi|V6u=$}q9Vh!BtdM!=# z!EO@g&_)+}d6}-T2~adp<}Lda#PnYr{Lq2E|3>Qm9Sf^5Y*;33<_7IR7vS~}7`~Ve zycyd6C)N(4LcrR&k?+mYO1TAh0QAe~r4yfEI#Fl=x+7hO=Xt-C3y!X!+Lt&*i2ZK% z%au7@i@Bqqq)0?Tf+?`|6-|nUBmMg4ked1q1;ks^<}4(X*!Gi;Aelc?z8*sMCfGZ=f-ARxMi1hYXJ=>Cou{}1Sws6621mVvDP?D$>16%~`2 zLcCG>to`x=<2@_whsDfnZt7Wtf-yFrxZQxMdOXT2I?FF_Y^~t37Jh^N20MMR;gjc> zRBI?B_(;WK)@7RGS><~QCS`;hO_2EOiEpc^(Z))*gpg)cV`INXMC_aR#_PNJcudaC zQaV#Kz1;0e1?d7R9?BiSGU-JBE{c}G{pDZ!Nh(6AvM^H`qGqEi9EHDZT(YVpweyIX zA?}({TTGMkw4c(FT2HGfudOc#cQrUBJ4W^H^QUn6sP54;U>C(%^)y+|f~=C2)9Q(0 zOSZYtimER&5qtg#*f3LLxbgY+VR(Wg55vu`Z(jPZk$>h(Gp-{m?akNR&AYXJ>(jHV zW9{?o`2aehg)fh08cn~J$C4Tr<7dy#h|C?{j3ivq)&d0PW-P~1l=ZEJudMQfM<5B7 zh4kn$SJ@7alKBoMxlt7rd&m{}_6)F*;oj;~7*gI*5Fw&E1u2%&N?;s?WinFC<+^9I z!3yir@>Phz13Z1bJ}KN;V@m_&Jz7E?TEoK%oD!C#4{Zb~AS9(?3bdEy#Cl8Lb#q-( zekX4ADkP`=&TX-qkx9l?>=gwilK10XiZr5^KZKax@dYKDB^&SADSd4+NgB5|4Ckh8 zB3y|HRoPj`G8$It8h)0e$XDn#7wH>h_F-lt*MuIKG+W)mEN*;?r-`a5PqKAqrc?rw zuCW{*VCszAiAl9;{=tSSQ1nP8iyk>HHubA9Ve@$N*kk{)X(XD$U79Vqfjj_;_`lMy zh@8F@du#AsrOP8~^{|l}>}wNoZa5DIVy)vide_!%vNduNj_;MJ1#3g&dD&mlF@nK8 zZoE(#@h_amrfA+UJU;A%)Ty4yh}ep@(G-1b7t`{M*yd2-SFe*tN=s{Q={b2t05{a)zM_nTfW+OraaW^ zUIWVWZ?YhpogXOCUwFI}YL@+#J%VMArJcA0*tD-I$U{?wNP6Q8`U_C#6dGBeT?)Fccg@PE)lKpQ8%{Oy5MPPQ(Z*i&5J!G{Bh z{)J|l&)xKQ!B!>M9@Vm1bp5tBN9ZHEID$B54x~`lj-R+OER)=f$aM&dn%+~5B7ICc zEOuS)ZP}!{KOV=4r(%y8tYtb@rm5~(1i#kT*EN|j^>5Wz8A3l_pqVbSmBSu3v9}y| z98`_)sYd&lQ%#n?FDEZCrMSdTo)&o12&jJ zchI=TTWQ;b$W0;1U+8HT1hJHjGfY%f2ZNUg2ZGX-4ksCS0KkOm#9d{Ro%rREMU#Ms zQg47^(RLn*x`j|?195hl6qSYAwa^qop?WT|I$7+H9E;3!TuC#01!c+aTFehmEz*-g zAZ+Jip~@;GXd{~d4uj~Z0il!P0+6E}Kp9%;XZi$#;|?tV?g000CDz{C}lD2O~H-(POVwgqqYy zF^62gQ~*l6i+7tN&S@}vfUC=kb7dqzM=O{)J6o&8!jkwIz4C;61u@2g;6gz&JqoEr zubH6G%u-1$BU)MSLeId|>dfax#!qUl0)&^_)=La3SM3IvIystQ)bA))&2G*O%Eeob zJ-hD9qar8Lp&qY2#5JsbputSICDvccm!Fp`8E~>r+Tl~ln7w5NBGlV|AVo7D37Kra zd{-%IO(uJ2y3%2`y4Y8qs?w%GafWy?3;O~pJq9OIsjXeOot!QEeMPR(c6?bT*u{iG zu&4@W=aUIlyiT*r%SlrgDvQI%irc32RcNgHuvBAz#yB~~e*@2*1$iCOBmEi$CJaby z0oY-k>PZ%`T74^@Q<8&KX7P7FGuS7shlZbIOu*V*mA@`{4HHH=D$+*~J6@wF<|T`F zvaY)4zr~(J-)6uIl1KWPRONCmGG%}%)#4KnSq!v9)CM>561@n!dK}wI6mF0DfaF*0 zYv`&EQiWvUB^vZ<#N(bWzAp(P(T*+k$KjGn|?!e$H0>R&38jdRFNbW9JXevPg%I*FvhxvDd$*gexv%|c$BE&Q~B z5s50ai<};L4N*!mymmDqoB+-xotvi4i@7&lg2!ddRf*`*JJ*-RY-~Vd2oiwcWT4KR zfV&^U%ZPHHlIO0jexi50QS9Bp=Fw|Ug>|Hu{<@@+Q+HK?k5>Ojh;O`@fstxu=)T^pd0m(moEDY#KQw*w zKS)%{NW1GO08%xYf51Apa~Bb|oyRk+w6-x zfh(8sTgEp;B+l6=h&_4HdQP~30IL}uEvnXKyCd`vN0;#!!rF)6qw@D2EfIQ&NTH;? z1sZOe*GV2#F8SfQ`SY+7RZ2fj=T2)0LOUf#eMZmm1p zayP{Au!^fe_)Z~4C~tyfHfJrf$RTnsu*^+ePuzJRldB3EO^xBeiL^{c9Sp}`fj&y(zuv)f%f)96bB!#zb*BXaUuF}gf@v`tx2uOQfvJ9Tn;ul?F~zP|g-7jZetCqr$^&Z+~Y_;@A*PX0&A zRb?Rq&esFSuhR##eO`_8e9kd~-#%uj(r3d^QvdDJZeQN@+mc;Zt}swzjcohd-l)>% z{$i}jlAEYU_ccM8R+P3Z@HsyW-^<#`rDjI5teZ}}Tq;Ux{`JJo@m|Lp>@EkoY3tI< zW~?l%)GUV9sGFI?_itT8S^8)l;dL$bzE%77>4ldQEv%v zK#NaGAB#=oPWyG!*(%v9KJ7OrMTfyv>>PlHMW|>T7>_a7s9NG1au9Ugh`494rQw-)myWYJ^x^lDks!1D-^n2rA$@eiE z{8+)-Sg$i~C7ZCoIyiS#uVx!|d=}QOn4zdlz!qp)$z3LjS{WMC`kKDypEw^v$u;T^ zde;g<3i_O<-eQ?=Z2h5d_^ZjVd5ZQ|YG_|E>*f`{CY0TEH7)T0&Q9sQnY(eVjm~tj z%tVh1LMU=loff_fczGnp-uSE%ZXvupZ4fv8@DWG(L+tlq-qz%+T#{>ZAzRa(E?^G>EQJL5*`AcPTpeS?+3HV#yP#(h4I>tXIzow1h|Xtu=2itqtx+ z*gw@s)xAlp=qgz&oDw4U#YvSm-`mz!i=2OXtGgtdSW)sT?yDYDJ~8tqGX21c1PQeV zLC_~qG45E(qmM_vk8}|IMS3QQ`p*n1%c0liz-q{LelHFQ@Y2AD`%H%9OPx6qK12e^ z?w@zwAQo`z+50<{)^d zpjkaYGUtn(g1(H`D%Ru!!N~r0K#=QV{Sj%OoSruu45MQPaHh8&Zv5&$gab`U8>}aR zs+4=Zry#LXXBLOSmylU2AQHbU{)i>}tEuEO=StlT-TX!OiY_3`@|G5`{0swOmN?q6 zmhte4AHpjx1uCY<(jw>Wnw0snRYjjvD6D_pcMn7b9!}SJ|G+x|$^ew}-`wJ46@Nv( z%;VXX_?Cv43syu%GN0Sk>YxW<{R3(~wr{`eBwNptzD}|Ax`02~PW_zdxe&?B2LvC3_7dt{GBoAGG%S{Po``czgO zC_c;|!$3#oOSgH`(=;=Hdq%VONj-B0i++_@gtea0&;u*0+iai3Kqh|yq@wX5gn{Bu z<@mhmb`i1aD06X@A2sbHe!FDV4+!!o0&~a!PU>Byho_(%N@=eWE#lhu=UmvxXM^92 zAH3_gi;v_4Me>C%JBBD3fgfsh+<+Nog)?Hpn_t zUF~OvH%xy^v)_FENmc*Wz)>EXoF#Q|4Yfp zks?d`oACo~bTwM(C1KCfd`UyV_B7p*xN@2DpXBBl<07$hue>#h7>M9_uCi*TNpPtP zl`|+bW;_0U$rZx|3_J2@#Qi7pho>OvAX5lr zCo>(0h3h9bD&uet7@nAb(!*~IfI@Cpz7M3~M%>}1K`!(Z)DwWX$BKb?;CYkbH@KYu z&%>zo6mt6nTFVgjbDFyRRY_6uk&BMYLKoL^>c^Qy%F^YQRFuumx&h?J>U5Fy-y6H5;) z@!P#Sa7&dSPvxX=dw(Zu1X1Y2N&vVLE>+DFz-9ThY6hQwUDrQpWHlf?7Sfl*2Z6OT zK2_Mae%TkWB z0gx$~JI~WK`m05@_iLXL-21OP9B+i_WCEOSQg}x5uNIjZo%q}g#dK<#%s$33+@&dePAnk9pNj=W zjued|z#|51=>;F+3>+8y^ST(p?erx+borhA2GbTg?Tlsjco%*p*o*T z9)ol*{({+-5^(m@F_BzxHcv#5Ty;+^(ff!fp>dz=#OCg=T9rOb*OjV4aW(O^1I3RI z!loo%t1n;1rC#HziPSa64;m;haj|$Xm`ky8zhZkz3hUVj@$&{0|JxXe_(%YHdlt6( z&m%VR7Z3}B6x>`}5i5)yJ+BEdnp*67FUj`}OswGaco(p=E5o%$6<}tm3x{2nwT2bA zFp|Kru742cHjovfWrmU;;K?#Q0AO7IJ|lC1MIoC~Gh2<^Cwxi_U+Ky@(;43Mzk%of zxA&~5f?wPEl*rPp%9)s_7!%SzBG(VDKpClhri$aonO&H8T^2mBqbpCbkDS!_bFC4uh}P2N(ULyK(LV<}Vq5trv)Yfw|Uy}MKM<}2MbawC-DAMv6g#4{D;fes^V ztuOnI+}Y`|>#Scitp%QfG(jQ0vMbQ3!|qy04WNT)GVtW@doPIZ!ZuD8kyC&z1X0Q9 zpW7FBI>7uvR;M5bSKFka&NUYN=!oN{?PSCo8&HX&x$Zj7=YV#gpfAYXQkC$scvyjg zL@tTloP(D&T0c%13t~C5urI?C_6>B@JwEi715Ar@mToCT{fNrpf()VcDvlN%dd!mx znUKTN!!7TMf4`=4Ej*itN{B{12#Dy=eP>I)hz!M#9)#23grF=kk>Jc`G?*J~r@Xzg zqGAuH0X|EoeCtT+b7G2e(nQ&QCFlC8ylGI4u# zJjVh)IN&I%=J^PqbVRQMZ}lm0Mtr|A)Rl@1ksr8Fjs76F%XAE_9p527$Jw(n|*~*7pCew z-4=Te(WK$`5jbX-`**nauO^$ZefY4(xBA7^21#Z0g+0ldi=ns*`S4AYL)8{9o9IqD zxmb&Jw6Xrqrcue|+X-d7y5?ZbdAeRssPo4%C**k-O39+}&DT=s;=J;bd^A`Tb*1T( z;55wQgLWS(6aw2`88zvVxLNll=EOh37Edyb5-uub z9d>R7eM%k%PSXjK`6<<9v*B4ve`LvrXX!u7f{I8=s&<^bm73&s)dYyMcU3miT?_gY z?h8WXQy%yPtWy$l(!ObBfY^6^EA-M_V+dXWDG?%9F(>20tV54Eav?@?cty(le|U(v z|FgP&Z{vdiwGQ34w&a-%z$s=qx)}+Vs^K*zKS4CIMAhIG5q+Kdp@gnJIb_`P9TFNxZ8-@2;YM0Dp*--|4~!&Qh0UNj#{ zC=KWL6Mv64;`ptzlJ5P>p8TD=KSluNYM86VTf0?N#88sg{ONdkh3I5p6HEby&*}!~ z6m$>ak~jSiUGkJDpci_NF2F4&I80{;XQ>X)pKpe_j%WjLB0(uiQ}_W0lA3P;I9{ax zW5>$~e4OORnf{^VNB=f*ybI2F9Kz^{N>9nYw@*O(*Zbmwr%hKGo9@KP8nCfMPhn}< z6Jsudc4xqzrh^PK+jEQI5tvxLa%Rr>8xr_WoA_s^+!j;x4f}jSjU|1Y)k3$H-?ujm zpV&p{;e9KAQ2|KX5QyfAAk9F!*w(il)7+caQs}8F{gcZ-v8OnE+v} zY6N@rJ`+3GUx4Eu0q|#fr8LQnH^1}*e%P0tH*jt-_!LB>jqP!>l*O;C`f>`7&f|+^ zDPdnm<3|>ejKJT#@Cg z(cF(CC~*)36NGAwK6F!MTH4PWxDVY*5Y}I>Cg!5ZhNh>j9EF!>Yb<+91|G5AQs>IN zp`JKGf=;+-SF}E=MRPT@F#$*NhoYWb6DMOTW#BuYm3igqqgNUBd!#e|Hq;0>p6l$7Q2-k1+D*6! zI1KVk0%HZhF%xtv3TqZ?uBC7-p5NDe9=5O|4!?j4 z8*CHJt_gfW_dH*zXaoZC?%QXEsUHd)^_#&n!x6BSU+OXT`Mv0WvpqdYk$?fe5WgZ0 zzy@)UTmvKKvyd>Y;P`fnu|1*Xa5yUg1pQae-Vgo@qW)>k$U6w16P4kX+CC&#>a1Qk z@Fjc}cAL8fIb1mEXCSU=J`{-C0rp4y!mNz{uF8Id+McDwaWX-d?o{|ooxi)O1~U+q z4*~!f%|YM<6A+TH4jcLDyvq1D_4YPEZ*ORWE>P}uW)JPdNA4dkEbrf7t(Ahakqm?+ zDCkYKzsLjk4AvjxsIUaa7;exmIs&nE>hbL7y&D9Gb71b6BN)}NyOm$Q1(oQ&e^yko zHDED-2Y?WSpC?^>e--uZ16CUP+=B458!g~<`)wEBug_T|+voo1ey*zn*40D<~_d-rcnRZuM)i+c4Z@%%}?PtK!W zoB)2-@#Wdstk4OCYPnoi0L)n+S>*L|wV<`ap* z%SpbBug{my{9QY%MT}IqN%;=}l1{0=Z(GiYYr)n#!HH}Jd|koY=V`?d`%Mu$e{R$t zTS?H)yHKn7|6{Fe7k+f48p`0Ox{3B(fV2`Jw;#aj&+YR6-f3e0LFmbOijkDGAUR-Z zuRn~Le-h;Y_Za>NR7L#$?st$)mw*+zCb_Y~orj5k61GgA^v?YpOne!jwwROjyN3~g zl~myYwbS>3bZP&fuUH{sXrKQGy<$Au4z_z1P|NFk7r+IQ?wqUO5@CJIfr@Xw=?TPB zJ;OP??BaQ-A@jG$+CR1#z5Tbg8JYfhq?G9Ihlk~TJ_k4aT%ol8VuiZf|9x=+h|0xz z#PH)xJ-Hu)oZ{X@{19!#}i#@8zw~wefcmhGIwdvyYW+K4ojkz;Bdm5XN00={$ezAo&wQ{%lL6`O(O=5 zUI_Dd=V6-N)oeHZvPzrxp{($IqR{h2(H*ildX%4sRb@4QHs~SjWTh>CcdyXT=T3wo zXx1Fn^--Uud8DP@rPStp=L`Yvd*zq#3Mj`YH0fKEdIfhAE|V~V;V6#=m<>42n-1pG zb{MpgfJvWm5(@YL^-o$36lUWOSLo)!@70g4`KaVs%l9&XI&tHV6=@j6`bo~)m?PH`8)eqEL6qiQGB(N*xNkT!0#jfo3@5$ zZGTB6wsMi@*0cB`lxi z@gvb^G@(g+4LhoOaYLOZP{e$YV8{L^J##i6Y`*syknC)6^)z!gd=`Rr+*|XLy+y&a zzf0SE`7ODV-Oz2yDGkjC&z)SIDRb5-$5iDDq#aM+&&E8L$jl6>;@h-&su@oshnrOE z2fM*mjf}t?TX2z^x1T;dc>IBldIm|Rv|I4T3bJ_T=L7on* z)l+T>+WGDgZcuu=hcL%eLAnfqB0D!GUU9l8y+4wLuEpq8R~GvkzmdA(X(yuoC?-&9 zvb(kE_*S_sun!}69$&2x@*Zt!;&2Ocd~yn!kvO5!AwLDh13FfH7mU;DHmp5&%oRNA zuuAYvcjKjlJ?uq1;I#)I02Al}kvC)kIGAjG8#wuq%pY8|Vy_!?NCEjxzj$A`;T4cJ zE@5wMzS%`#S0B|vj7ovoa>vxL4ZJ-d*8%ZVRta8uv?%S#Lu^lT?qn3*A4^B3i6%>2 zzIoaHv{aHBHj(2)?h9Slb~%TuxbkKD(k83ou8KJm{oeH7$WmzSqW(eiOv!&s^MFp+ z6gkDV!oXxjudkS)L%~Qejfc~<8&*CQ& zrJ4*D!RtP!`kYsV{^S`cIM*~grOnjzat^RpRNsds`MS&_{g4(F8?hI|GAS z-TJ+rqwe%KH3p2@<9sEXF_S;=Yc5B1hN_#qZ_z4wo$6zTQ^hUtKzXl=IA>%`O{bfr zzeeV9+Qd?`&HuyNTL#6ot?R-~AV7izf_w0w!QDcz5Hxrr!L=c{y9I|PKyV1|PUG$_ zjWzD>uIu*MXRp22y5HS(Pu=={O}c6})zD*(@xIUdhF!ZV~rg_}~^1)oX>Xh!~k7@5ay zI5|zzBz4VlU7e3bf-NVZa2(+=|ESOF;VI9r>lpe9!OvrzXD!X`KaC0*=#ip=go`LJ z*%q+EYO}{+W#ohlGkiY_M0X|&UD-WVJ*o4b{N)L?4{ezhNpsKYueyxN;FHS9vRaY? zvRW2?Yh#Qc$@;f8gaNx&Z^;q*Q6R!zkpMUg^simpPBW-THuqL+S$VmC2q@&^ysavSdvJ8K$KSp-s^SA5hn zP40gSgZlWN{yPvZUt{rSBM?<t({IX$ubeq{pUNS_%pRoV^TLAa!l@fQbcJ7 zqf3%nw+lwf0?o(hN!LuNS z)E6@&5kjdpD^s?@=7^^Mtjp1l9Duc_&xv$dt~BNo@gJoSOlejDuP8QE?@hCiOY?v$ z3pfU8h-Jsw!qN46Ixb;XBkV#ZIdhg8vKVPGyx?P`;J6$sUo7f4gRGc@aS}ofGk9VMDLgG2X&si)v`%+K}51m}PyGZ2$X1`VRF4}Fw31y?{XpxmjW2+i|y8~B-FE&ex$ z_gVlRiL+5U*4Kf)7Jxg8k!34=#bh~7f9}ZAMcJB_1vXf$HOCQg-^u`JAAChrCeiMz zqqt787i>#2O&dC}j|YIYiN}c%tCO=-G(+DiCZi3Z4Imo@UsEs-JnwB%j6#Z|ZWDgA z;uBc)EY%JxT5p`7ETT{Z`!F6Nf9LpMjsWjL0Zdrk$&WA`&2SHFH}0*$g&b2`wr$Fd zRN}=lx!$(3r?uz@v>rGbdn3XyeOcc+RqSdh!<_hJJac2kAK@MkAk~mZI@1OA*&&8f z#Y<$DOCcE(2dJG(#d=&vxQR&ICG9~h#`g4-^Ooi9OxB)=@28ZTD&+X>Hpq9M8S`*f_&ZQoM zE{PKI$y_*a4liWw1Z~ce0%KOGiBrz8;>)RMa#ueLNCMy^jd<7`M=4O&BFAq`zUge# z?LOAisQY;AUfK8cMEmluKmx+(ZFP^_S~$=J$kUu|3aThRdWR>+X@=sW_%>sX$p# zkLS7P`^qaLci-IYVsDjDiVA5F3~GODn(>wNUqy3vU+gYR2^Fi= zUqG&gup^8X%B)hrlWaJyH5TrEE>nlrMn8clj8*+B-E#+iJ*r_yr+r~gH`QjYM>Reo zggN%ldanecm&nc?N;81hjOenLvc>dpTf@ftlE z$EtYkiRs92sm#<(g%C7dmqZpV_T9ty@<_!(yM4w}7`fO2)ifFB;FZq?(Mw(ZRQR#wd6fB5MVjx}@^k{kCHli%K=Urt`g*DY!m6d@%b`KD zA!G;VATQxDPw~s-;bpjD)%+);a65an1lnj7xE8kT?`Y=#hC3qs z4_+hl)UI7kvw}`a%V{g2AV1AALxk3^(^`t?!bPE{rALpaJWXY?1>#8lst`G+Afk|u za|5=yj#tC34!ugZA!^N4a_YXH&=bxH#$eQ#s`Z3~M2NHHwE+3`6*TGfVpJB`?t&1< z2@cYt45fd4|3SuNxs?F303_s?D{}dZy%aVft24HLKG~^QsQ?2az4Z8$%;}=Gfc&;~ zWXzxjNjQ$2kx2ebWz7njYkyMCktEDcer~+G6VF5KJEv*ndnc9vnsV=lF(Y( zR{MDkpdIGKp09${$0V*|bezxa@siATvjEegJ>pb>(RkZ}g_3aeg9ddmM1)iae=mj? zM}M`!F}BpExK6LlU6FJ6!Az8c|G?SO-)=a+K~`VtzBSvE=pJ~1f%qv=1rij-J)}_4 zJ1h`LFW6dxP+7XCeBjQqoWf)c{4p5P>ztms(Ta*(>9dB@7JN*yK<0K-E;5{O!{L>r zYxepBi4{54j{QOQ(yix-j1_5?F01_FP2Wr z%uu4)9TnAL9ESm#xbd$j0h?a0M>{vvVvkG6vX4rj+mJD^?mT$l+PyYtjhPbH#i`cfi#6B?A{9-778#0Raw?S^clAOl12LiQb`b}r&HP} zWqST>h{@kk#QUGlLnXw^KLD7^+O9YU5?~n&Xr&HSW91xr(2s#$pC4vn@?X1L5?c`< z<3?ZvCsO>gL{mXd^2LjYKLD@#@FvBDG}O-)#nxqVm39v%{D_cqGBFKrKFzQ^%JWob z%NzD?;{|J;;I-wZ@ML+a%s+$ixy&>GY1I{B7go^tOODmoXg=I!d_W;JR^P%! z7+k#7*O;by;3;31Wo7;q&4K12>Dw=i_CkSiJAdtGL&E5ed?SeGdQ_B=$WZKH>kok4 z&r?YW-tdomYz4r%nzNSGni{pAh~MQviyR-25B)C3@XQpaxrP!nh^hLrBdr;YQ#2!HNK&QwNB6yg2))1TD6(%lpmf}f8cSjQ4a z79idZPs?*RBLez(vbbXukJQN*hlWky`OkHN(HXfM6vTVyyS&LwKt1u7CF#nt*$6q_ zDXK3V26_OxURW++QIP8h)2>53g|X|KgeF#_ycN*0n5WV$PmUm7=yetSNCpqx zGkc#QDs>%7DS$OR5ALODUYG2Wvg4J`PLTw$Idth&V0`+^?jrxahmiWEA?7P0z!MX% z&Me50$$Z%uY?0@~isq`}2yV-yn5i;5Qz*^qTKkMmWVfJyy*PC5DFBfS^do{^Ye2$ZvC4C#P`+L*U`$Tk7%f9t0C|%Yt8^vKrUNgrRBr9*rX88;Y0nKN zRa9l1&0HN(`Ns(1c>*?Yp!&^i*@}2`Mb)`{&&Xy`x~5mF_S?wK)tgXw!mY_Op;I_+;QaU{C;PFKNExH zt;BPGqH;Pgqh?WGCuuXzbP+Sm*Z5SlRDGtI{i(QEqCmp!+5&$Ds3jfWHY|;Vxj{&i z9RBsplLz)PxHKQ=)xef7LnT3Umn^;e|e(>k5=K7vsknG^(byts<(fxrz=6yJ0D0DPwksY zkw}_;HzMy=YIzWPIf5g2KoDvo7vNrLgJgCbPgk&;{(k0aNX}}(2cwrc-`Xu-Nv8l^ zHLZ!W7Yi4G{*lUM##TsMq>U%TNU$c-hGj-RsPWKfFnSD6=otqhU>a>;B`ATP;z72& zqkHsTMHXq(Ue4)>>30bmp6l)4NK7dPKeks6a;!Eh`oXQs? z`{2Gji@!Ame{B%{r#~Z%xh|;2$(^H{zfH1v^19gO zTGqwPAy_!DOs9N`e7kC#q12sGSazWTX9m?=m9pLgQ^miHP(tR@j-?Rs#|V#l6#vgv zi!c8##{(a{+hT3v3b&)08yS|;$6hrR4d%@k9I_{xM-HOFTqndWspqoHZ^cPf`WKQU z0NHV~=GG3oj3@J1Q?>I)t7rU^SD)&FY&PrtgqkV{UPz)Z+0AAgsNBj)*Fp~;rNBe9 z+Zi4XTj8NtoOt?49dMppDs~?^6d_VLd13EBBs$X-Oa|gcg;U2h;qIKN9jeb5bk`GLZWlPhXx(jhZEAO@hM0Fbj%)f&fc z)ZN$T_4KWiftAJT!TZ%fn#A|5rbv&6uZSLt67iKr)He2gf6FDpAp-N) zWm&Y`=}2jWOQ{2M;;cp&XuA6rE|vrVz7voInM5P&v-nMFbh}VXQ=82<2VMxZ9lNF3 zE#!X&3_=EF246D{tOt-DQ{(t5%gZ z@f#4Ka}e-Tk~&_E*jnllM6J%r=PmK1xP41kYo5sbPTkAHk;|IZ!9MiSP^YWf zd&iIO!Ms}I^TmxUa}9!=%M@g9=%MN6FW@@le{Yd)X4eq{L$}~<5WRYnyfn{DHBhT2 zwnVlwX5|DucAsg|iOIs&aVSNTRb-52qQ;7KX@P@1)!0YCG&Zj%dk;U^k=`EI`_`Gg z{)X>{AKpNJw>xkVXbXH4%}dIKByXQ;>Q#ZuUSK6TKyi4UooqEvw==R1L`c23gs??^ zhn>2W4E9-ceT(bgG+Rz9zx7d^d|vQ!D^Pq{dvy7=^R#Cq^)dQGo%f!w>t#{g$D3Bh zaqQ-gjnhyUWEIL!GHao#U>OxD*@Xcv1f9i&gXH5%*7Dy6#5vBhwjf)wqHP8>zQcnH z^8C|+D|)ELT5q+j3&x?cgbQIcZ*iz+HdPFk&PMXVu_vbsd9H)U?*k5tyu*|FAMMrD zyf?n0j`#Oa7ZLO@TeQX9JrA}Nrw{2K4H_PT$LO*|pc^lYcS0gq?H!@|X8VWT=MuIQT?mt6hH=E%iNs48{KL8cY z`ZJ9z8Uw_VCouNSJFIQ9yrq26Tr<}=u@qgox3-?l+tm%gz?iOW&vsI~SXCQOw&ML* zuM~|lnne6B(n&8{ezzNw2l>(CB6RIR;&ilJeWY4zpf-mp9mhF!RTNwe@$tO&B4U7( zMGcAH^IXY2qiLWV%Q|h0t(2S!z5F54G>!~TBg)IGvgog;gE~WI4*#|8JJa`7Hfrp2wk{Xh9b1w zF->5A2d0I7V$^PSmq>{zQagq9>Z8zqC8NjHl$}%^-gz!Hx$KB89YuRW?;#;M&CuV| zTu0)UPm#k$n$YXW31fnnwQ3BjMWpGd{JkE; z`S}D;$2OE*4CYv^C2<-E6%V5cD#u&u)VDK@2Ur-j^{wd_N(nbg&EbO{iDFpk)^-Vhy$;Tlh^o|cC@%G5-j!uIJj%UC>n zjX}jRt2o~!&2Hs7Va|}8W%lCA1PZdr84=v}SUk@`Wr&A72LH zHQG>mZS08=!tf)l3SFDJ33yXBfmT?Lo^Zg>8 zd?_{~O?U^Bo z8IScfM@-2O_c+10weOvL7NmoG7$reS3d=tY=-{`Wq6NuyKEIpH5-1(bHYgbU=6ZZO zMzRsC4zN3VmMC$oTo*;R@YqQhQkz^Dd@F@uZX#amhvJWk(Dz+Zzv^_P@4A^dy|P#& z*UmZzSRPYJV|=PGk(%N2Tniv)g|brB)=rjCm^{Pnem3l8xb{zO*)B@j@aGoxlBI(W zLF2SP1!}84`~fiAKDZLfa9>IJbn&PLDwVa1ht!!H1(-=04IPi=!&`cF?lh_eoyqNr z#zpElBo0!J5B%s@1zZRLXQ*b9m1xh92PrJ3S!YGXnVi{Qu-la`4eZk?qNB~ev-e73 zkEkQEpfwLjTTR0ZccBw)HR$?`5T6!noYUw8du~!!%1M!Yp3wm_7IBEl`GS^E?fwYq znaWqd@=uE+_?7QTCg4m_Qmbt`{QVcAy={jk@&_wveJ^*yW4bC3_2DZ73;c6_q9_EG zalZ()G#9bDS%Z+_1fWNX%LU7^0iSEi0^Atd;nwJDTLjRGoGSUe|LK+rA|uqXJDgAB z?iU8wwsAsx`f^KtJ&MLqPRsj}>Kz!b(=P%&<^z+9@&tUK#IR90LpPZ@6%ls9lK*Q` z26xAH81SM*+f_(A8VkXz-u&72v8pen*~?qUn;WWxOdlb-sW2mYFsZnuczT$w5#X4_ z({wns1}fm_!;S(RTP|1T{{gTvpH22j+49PxiymHRvXSD9h?uHrVmn--8|)jt5E*$P z(PqO7QsRtSVnC$4ZGBnQ+?Xgg4ce&n9hM)-{zO7ZA}%~?<=Z-Q8G3mDoUdgtn=W%= zV6~|$He`UNQf?dVU1ZNixREs3bk%ytp?UHlVqr8<=&1}tf zRWn9K%+7@?JF! zKD#1$W2{u&t_qIScRTQR+3iMnw|Ev@ZN!@4zzW}3zw^k`AZvJq6d?HG7O$Ecz`x(p z6QTNV(4I%5!KEOSAI~?>!uJ|LG2EFMK{7&Zi3~aCr?a3}UTRlNDJCWm@{irIHmhmb{4_3^n8ANi|Nft@OuXu|m!(((&r{8E zK7uZZ^>3R9$Hb2r5I={lKEB_OXXtWxd0nQr4!ra9d+$t(=IKlNUHGLF40;X^vWe^_ zy7*liyU};!4~8@JJExtVULW5bj>hspxGTH;mxmRoL;@jj2t!U{_HsmZz{0c~BwUYh zxE($SW`91(pDen?fsy#U+-sGgXbB&Q4N-@~6c5*rj3GZ_zn#JBpJPhGhF>GN_4{W* zC>eROnV5rNa6%2HMPuR*7VcMNS5FGKQP<{2Gs|8%->wYpWe!oqP+C61j`KxBE-Qth z{>Ll&QN3=4hUxZ&{G)={5mC39SW>?mGT!Ry01whhqKLL4>6)3SvSUa=yJGuHC@Rgd zPD_%W;>A`1U*uSsjcXU{wuQdSD%pEEh>?fF;|o+qctXuDmODJ&E7*K{06Rc^^gU-H z|CJgFf4r~SLXN(rucIYB-pwrY9YHw>zR9e{?rBxs&Ip>rtXfcX>ipc?a%xGG+*8^4 zirTQrWey#s!>GB!OT<(@bhxC7z#}TSv3_u$U`M{VqWD zm#SZUSbbk4V-xP;uYs0tH7mdyHW`>geHxCe}86!V*!p?Qzhv!rTo<_7q-G@JM+87!W54%Fw!C>-1rn z{|Hx8RBQ+u;Eip)HCE1O9ejmk7M9XJuD=iW%!DPvS`L4cBxQ%Kj0mC*P>8tMG&}hD ziIKJZtFh3aUH=1sx0gU{T9{v!ziAncfErpaP^nXfN=h#64mhx=8X#pCs%p$J&rSNZ z%0MQ|?YB0DYavkDlAG3=S-l+Y#6d^mEJhMa<37#y<6PiYV*p)UF#Ol=c)#8^b&BV> z2u!zQicP^1m~llbnyJN#c(Ja(T=wmy*EDLHT9ActKtLJ)B@hyb`Y9PtN>ECMI?5|j zyA6DyP#MG($tu{ALm4vmCQwWe2P>1X%t)~o>hZMk};TXL@>5EK;uoP}Galv_gCY%LIi6rqk4 z%V-_VA*orf8d>JXQRX*%v)zSz)R*l#)GV2=@Wd!6B zM88Wv_Ry@susdeCzN;*4#Qzcz5&3A^XeAfmWP!W=DwBitgwX_ca44mKVc$yr2LK$j zzVZMc0*_-@?dvg(Uxrs(_!LMZtx4dT7=Cwm#6>6;Is*a+gwC1mq;i+$RvAd+R2^At zX1fIp_wlV5J4gG4rU9v>X8u+v+EDAOG*9!mWpU&*b9LYek5a3HlV-3Yb(8mt=n!7~ zleJlY{@)h(+otTrFFq#n@m>DckpG`{Qq{F1HnUy#I>|w+vDs2;uLxiMit`1~_{3^+ zcedn*6m%FF-D1Bgs*Z3F|sYQ0lPf&QV^()Nxybjg(iv_CFb0Fx1An3 zi}qV{zcJr8xYBN&Ox{L?NDqPZR=J{%_r^1J@v=Q<8Z7U;(vf&WkZ3pJLSr|u`B@3E z2E30VHRkgfaM}32GCvWAZW~mDyvN*yHxUqim`CrIG*VvxiGNeUt??u6zfRDIMu9$pl4m z`o*Q^r(zjtp1Q)8w;8rVBxjAo#9qtPp{x1rijx(KN{8*Jk2imHvO&~aSsX)`jQUX2 z^u}x<+4v8@>Can@uG8g~rO1)mpE6Z*IWL`i0s8S5a5HX-H8C>$-1RgHnWhJptKry@ z8lGuL?5)Ut&R543eDlVZo4JxQm|SGAd?ZrndDNZBi!#Mx?FIA5Vwr9rGr6~-Zhb$6 z_BPAW@$XaT>hdLjZr}sIspw@7&s$9CAU~8+}4LS!gj0W9vEkn&nL>O zV^)t>OIHlSyGkpD??zwL&1nf4x&h8R!ZQ5inZ#XFESd0Q#{fxC`scm6rbmsNEi}11 z4G!1`iRZ8QOOAv|*rAd4kRtp6h}u*_`K|mVOq}^W)uj`a+pzWrtLTBv$@f)bUM5G=BSb3%*$DMZ|U0Mp^SuMbEY@Xdop7=A$|IW2rbz?L7MG*=a!vABjAWIP82Gt@!=XalH1cHzj_JAnN4v zBgPZ8xXxA_NOf!S{C0B!0#)4bx7hyO@0`A_t4b&($~wkpdbj%elR_=(_t#@esSEOW zo2>@w)Qp36ef7nyn2q&~0`NnCK0%*Jt3FDUeaKoI@|trT>oZ`lpq#%J%H80JxC4`S z6Y5iPOxKJ~;^=5To=-jJL!7LE!?#v+b)osL;QeE261QvZIQAr9rF=U@0UWt6{nzR7 z|6SF8L-qf|eT2&-lV%e~tn2lz^Lfn)YhR3G@S?={5tHXkG*n6uR6dCBN~+dFGwYxr zW>lB@hD9|c#9CG3YKQh+ksNi>R>7&SBMD5xpVtTRnP?C3d$M$#1gpU)1-J-!c>(3O zuEJ$OE=D}5I?dnpLokpPWYqPtMQR=7##w_aV9T{mc%xZccS<=7>I?++I_I)i+_uVR zbZPk(*R#>oqmWN%#*mLE?9|leCq2@+uIXc{Z61iWZYJ)9+h`vB&2=VMq%m;owshQp z?vFz%UgXz9bEe?GsleKxLI^k=YTnAPY*S9u7yA83fZXE+O?hes| zDHiKqXfnWp%OgQ$a1XspeUm>j7|-6@s6KULmtEKTZI6R3>8VVWBvpv?*O>Nm41m3Z zIr%&2RT{lA^tk5in&{>ZzoYYrIxc~TCDpF|MTtn-dJ0ohN50;iuGZq<;4zcO3#oFGv$iJ)a#3xphvJ&_K=n=x- z6_LJ08#26rgm4*Tn#at!wOYM5b3v=YHfXhUTQfl(T6?hAK92~c?87$n@~{KFOvv`0=>v7mFWiM2`^TBgO!D#F@vVE4V&-9aD#dK|t_^ZD2a1=6+ zq=FF34$s2Mjn)qYTck){9bRFGxOIF$n-i*J6$s)NdQf^vrr*iAFTz|0HA<(ca3ERk zlwD%_B&)z407V1~s6DxSYHETqU%_`71}74+{@+e?{K}2RMzII6Uz*Q?;%gtTziaIi zoCD7UwHEHeu`i8c$0|mw_FzF}#RhmsslPR8iPTBG#L1$}5jnq9%#wWNy&rkx(|oKy zJPbz-cCWVCiayVG)sU_qzjQFOKNAXeqZ$4b8*C`8#HewG=kE$;K_c*&jp%pwRRa)p z!I#HTSS_ef+{w$uIBU{FrD?jINSz3sf0JAqN(}h3*F?~QT?IDg`S}Nuj3w1`t}y8tshu+IVU7eqE|Y!Zx>lL&_(q6gJC-+^7aPNdhKNf_MGL};?E1v zR;}pX8(sQ@GrQD^%RYB_e;j!8WsVgiJ%{UjLGrGa3bTIHA=Rvv0a3r}-m_6Lc_dP3YR@1sX8rE zw{pPqM86)u{3R!-w-%nl`HgZI`LJbaI&%VWP*srv!p3AHjZKZa91y;(XteHXts>SFIKCh55Y3HZB z7|Sfd(B`5diqrk4Bk=*%&{GN&_`n9ym_PSosW%a-elZ3^}fZW1D2xoQSnRdxO}JGE~YZ zb`@Q7J%;I;t4SxpCw^

0}Ql9|1L#JgmW2ecaI6_$K|_v*;&UYW7zM)SEP<*yHDd zmyeb`fN!peA5%0YN^6>=!k7$%^xPY$KNJoq``Wvb*ET%xr-U&t}@#XE&Vh(vxS3P%@ zPoa3eSCR?lxz2D!59v32Q&AN@M4Ak7Ee&$E+Ti=`Nfuu9CM&b^O%I?16>>XY|9u#s z*dgB)qF(1ga@%^T|YAk4A+e5EU47>paixY7m3Bb4(IbKlEiWPVNFrY+@~dO96_XSPDMcu8ry%g)pkQ36a$bC!&~L9PHsao?kf6KKF`00N%7UhP z5noDen=J*YLMXE3sUZ_xSF|&^E@kZpGYdDj|2^!ejM~YReXv24CLqEeOXSLOMRLZr z_JQmxFiugiBIMktN`rO?ooskmGX@}*2nk%4eI}88vGwM_y6G@#GjJ@XtTk( z>=yl-5_RP_Zjvyq$}6Lc&Z6c01Oc93p6@e(0|ol1$#{Mu2Ka|tIW_@>aP_?Eb;X#$ z`pO&akAvWSo&zWIlg<-0hWUH;ub12!;uAs|YfnPj+8vqfG&ONT)wc1`&Vp{4Xm!bS zX=_Im(#+)y|q+OKgAN6 z^j&x3cECEB;f_p0ELSMTFP8+E7R|Y~L_6OC7|^G8S89d09^gg@HJs?l5HXw2`Pn8B zfedi!TN5L_4)-W9CnqPTNa?zn((NSY0yA_#e&Wa&-gQQ~ji^p=&pWP!XtSh#?IX|f zGzngo)qEK#QD;nZtsLQgrah49nhxvKC0>9Gm@f--GvkQGoI@%y-6pL zGb~JaGT;;+I0?CR0;gZqE!cKM3F}I0casrirakd^%@W9xL1v z!Ib4Xz)inVZivqZ%Cx$XEr2!s&ZEn1wZX2V8E5#*d%^FZ){*tL_m&~wDZ+NnOOB|; z&-5aNH_xQAP}ee#(GUvjrQCC_gNVLy$gYj(e?ZJFGYMN43UN2fYYY?+$yV5s< zx6#7+ntNhI_>3}sM!1x~cO9!qb8mtfRvRkG1}{Bx(9uw2s}<z&lKsN)e@K(xDePKff^aV(N&UK%>&EA}`6$r~?M z`qNCz^gnSP_!U#X*LKIp$RgxP?KqowShR)svD=&Gb#;;4?^_S0ME$mU_CewTfV~*3q{d8PSLy!nrr5Ox;$c;cpg_38-rNYNXBzlc?(=`^{3r)p7 zwPSX#VGC|W+RK2|bIvZ_Wl`Uq)T>Wpd64{A->h z3UcUi)~qAb~4`r;5MWjW7-%Oa|;z z#mK#uX(5xq>dlbEMnmv{4>+V1xbn869YzUwH7-}SG>bxbQS zmr!~H)UyioB*;UAdp3`#6@|bjFvVA$rzp7qWql0GYj29`7As}$Lv6@)&J26SDtSRm zmB6#($(sWWfxO(cF3dO|Gg9{){)BV3_n|@{< z>l5?QiL`9r)zuh#dy$_DAOg*{8ITj1w+B@nFtVlP7bvB__nKu?Y*%yuFgWc*!s4Ue z=)ZoxEX*snDAYi!#!Em+-hEzppP{36g5;H`bc&H13+6|Fm~TgF;$(%RV=shFH=mA1 zI*}eadhv}h7;SS`8CM=FaHifAX_Kd*1b9+uZwsm>FTc3qXs^Hcycv=D!hO}$7Yku& z$Yu3`O&B7Fyi0h0XqbKZqVaS4sa^(a%9s!?#C^*C}y z&=q9%Qmru=8)Hyre2kDE0lK;YtFGyS)5YmSZMbDcK%(+73-j-H&!gMeS_KfVitkN> z=t9@rxDJTAmVRv-2sI-oRbP;rA@W_Vsy>rUDuk>Zu<(Zwy^FqyNJEQDpcdJL2lV>; zcsQ*CL*Onvu;z(MVdnw_>9sgzS3Ma2Nwe;^gA^^cRJ@~$@)7mC@vBl^&DNH2R%XxQ zb8>Sw#5Ed3lAq<}-z`T|Oeo+KC^rWeyPe@LiHQ!e(d=XNh!8PACTcT^3(HEtVe|D8 zGfAe=L1kF<`0G6;#141QM%%zcgL;+f#-tpS0@j|&TQj`2e>1iI1MKyGgU0Z7svr&Z zkopAS$pv=vRGin~5AIG#a|)rjAxp52is4)2sumqNmHllMMd!f5Ov~V{)_2 zYH_{M`B)NLNxy{=vFbR`zEk?YeZJS_AQM{)+O7`rE<5@Zx>p^Z00jZefZV^{R_oWwc6~Z{`4JV|E&Fv>=Q3JKA(LM>&j`lOei6 zNsRu2Di1DMVD0wSI>5pphWlC?Pm88rORlsbZ~ZnR z)sgfj^VRO}YO^!sM34p9FhsvGK`KhPV0iKa4OtN~Fl!TC2{|4wxs`G7$NK0HIv=TQu)6-BTUu*r7>SCghf8SK?Y45*cquyw+K35q@V3ra1% zQTw^-k0B3#Xw?*t1VxV&4_CNS+SrEK1C4^N;11qcU&ZkMLFOwkYVrpbma3>(ti7J3 z+|R0xc>3N!bK@@?86(px4GO%<4xI1GjwW)Z1aJ8o z!bg8dTQMbk*>HXVM)opCv+E7BkYFcK@R1(vt9Co*=(7!zF$_+DI4>IL6>04^n*H77i%INP%#t7-+|A^*+ ze*wYE$7q%B{ncV5sXyI56X<2178d-w;mwp=aAV7>(&Dsx%^dYhh{+f+J)_fyG5x=H zRz{}cU)H5`jrCqJT_m#9-_nYZW!rZ$^CcM-U&|3KMrHlnAVP`#(<9D*`+9jKQ)_e1 z?56|;(y{$3#Hdt6c<{*eKr7)*<2#9qr#=WTt#qT5mX$=Cm1PWgXT0XjEP z$ev{0SWldP04Bn9F*I5$>!2l@HBHgO{$Ff#yUmcW`*+|ollI#X5sFDCGK|~G1}2`= zzTeMha$UDxYln)tpq#H($$2$X`-uq_Mj!kMkG9zZ5%8LO5l@UO4|-qPTDr?eRa?R< zhsH6S`dD!qgOHD?l+zw3m=*%@Q#wo9Ht|2HtNI7F5yn5LAY#G2CSoR!>04(UM@-l9 zt+KNQzV}yE6<0O-od-nl>Nt*KS#mu*X_a1<%4%p>9GisZdxWmzS5e0{sPUe4+U|unC%hA1^LgFlulvjcT{a4;sSGk26C+Fe1^1jOzEg*)S4s$7 z&^=we(RYmK^7HdmKv@ebWKD(Vgp6A%RiSr+j`7+;IU8hdFfux#a{&%KLj|`kQj=ww zGvMdx?J#OU&_|gn9*#iIg;wix1-JE@tNIOSt(7h^ml(LPq2*h>hzuWE#`QvUrezao zEs}Whh&8iH4a~zrxZHystx}*cEp+{&oHnS&J#co2oYhn^a>b5cZ4_AmGd~w#xI0Ab zn$c~!U!+#r8SxFZIV-wL5bizNU9n=jCi;4j?o((1m6XS?92Xrgo)7STq*{5LYed~7 z`Fz&X&)G)9n7M5Ulw(8QM+M%IdysriwIkNjGW`_lI{XWkYJ{MQ|7f=-hH*wVJMX9^ zQ=g0yJIMe;!gy!;?L`3%db)3V(wODedShEv>-1sx{u?Q-kOrCKDJw z%O>wTXTR2X0Q)~xv~uLc_VdHn82>S2pf~=+Z~HydPmv_uqbByFB_AY6x9YD(1r2>a zfN;*cp0Pcqiu844JqO4J<=M>_xxOs2iHRe|j+I&Q-1FD6y^t?kv`jQ~TXFbk@-!ID zYnxb|PsTY*UFs6@xyt-7`@>@$Gx4I0=)2ddE<66x{6(C%auW5)S|$}pgFQ>1qHrNM zbpgK1@UolsjC;7wn_!xil17fKBuLW<#bW35Kx@`E-+W?sgscRj@xR(R_kSkbzmF@5 za;Tgl6qzVR&K4po=Tk&u)`y&Fm^p5ViWNC+&ZiL}hbf0`4(Z@H$1&%bV-9W1F+}C_ z-Q)iK{{8{?m+x5fyab3^r`Fd@Ab@@noRe8L!;qX|rD!Yb4OLS`*VjiHn9{)gL zmHEykzB9Q^bX+vUul!ZcGF6QW(FO;&cj46PlT3IEkQ{xYHVg+l-x+Bef3Gj*?^*bu zi8Q5&A>%C)1Bdc_JEC5hZ#L{ONDLQVPgS*{(dv$1Ibyp(*-7X(KfBssPU2E3RVYe z?X<4W;iS%Or6}u5p^-|xpBl{D7>}Gx~%urb4Hcp9prQvgFg`t8RYRMn`QNehq zjy1}!_xBXqp`khLQfg6WG0&F_(|tDw%fy-yqql6wyM!k}X8%%yiFTJ&p$+%3D9Eq7X~<#*W=gdZ4JNP5zEGiqK}+J?d4;to)Vv@Ojzq2TsAN73zKDs;M1J z-q{v|AHXgr=E~+kG9rB3c2dz~9RP26p(C&s&620bH~!7_^sn}}I8CK@)>weCQYQm> zbfeDw`N5ew>@flhY0*=NRH*X-&+KP0e2=TqEYt3=A+gX(vnwm6NnnNh&An@+Z zxQ09gu8i%}xBDtz!QjJ5c7%+mdXSHQ_h$!p+uxmLD_qJpItZqpePID;EZF^}-KXaB zwd!_VaFrBo9tiT~exL!Pli%O8c)~JDZY^WJEaTE;Loh4&r^mn=$7OU6p(7pU|r0ejDwo>saf;N0%_4{vW1;$iYo#SW*u zTZwCev>AH$X^>JoU!mm3ODH`cxg+cXI@_z_o@5wCT=Xi}dr)nymp{^W)j&QP? z?Tm#cjXg?CUBwlP0GiOn70i8%c|g?~G5%~^X&)xWD*@<9|60@im0LFc$5bm)g09PY z%=@X->!dMl9Rk1J*cOCJx)up)JA72GUl8`h3EIpHNQliGB4Qd)l7rkT9!e!uzPAA9 zN#kcDa-P;Y->Cm~x2jfw`&!_sRm{3h&g_=ubVqf5fK+|wbanLt(PzBMjP;^TZ|m#f zSPT-Hre))N&%YdSHtRCYw+O9qVzy6APh5|9jT=vFZr_{N+67GpNq8VkuP@r47U_Rd&Du#{P(83_7Cl)X$$Iwptew z_G&*r0|oFJaqRbM`r#TZP5+?6{^sgc-T0d?umk5c;n@K&(9RA=1@9ago*-ZOzO3nG zdbhH*yn5@YWvk;CSRF0>eawCd(<~n4WPtH-Sud_} zxha&oHsQ!A@T~m~=^&XLn!fu#SAd~k0VZ#3eg`?e&olA3q$47L{Aj`Art=MQi%V*W zJ`)}xWNAo{S4dy7i{j*_&K?iq@%S;hf)BlYEe8^H+PChGY{xZ-j%=}rhc=UkVMlyb zrkSmo2ix({sq4PDcaWV62M!>2#;RtV?nHTMl=MWTSi}M>Fe%6cw&s!XV(dG3>q<$0 zQh5~rC(Vq$nr}es{PfRHl2E}vP%9#av{n1j`b0qx93I49N$77WnRqczh80;A%f3*- zbZ!BKrHkE5w?t8k`*2}@b%7iYasaIzp z+3t6-q%zzIgo;vpH?9Iq@3TD~-{p5gn|_<2-_ETea`ZNwNU55n`(ov%>}{8p!K_J( zx0=^=;$+3erG*m4-PqlKN9l`>t;FYo{eQ@sI#-R>g9NM)1IYb~?Qmnm%>G%I(>)#W z2gw9*9=2H94!8Q!Kx_x%%)B)o*T!s$QE`fRb~n(J!3p*x&z;F`{e= zI_vyRjOyC#3cDItis?QP$0mhk<<+H9N(0!w%o+(K5=sNiLd$Gt z7po-Asiqj{9V}znSpq?yEpV=!=;r5Nt!j#jVJ=_SySrC(2Tug>IUi)~hq5$QO#^O^ z#s5AD4l0bjeu@qx12>#A>fAqee9sni?Ddb~*ilpN!;lQ&-{z14+#<7#Ll0agC&-H@ zPW%n24_tR~5o@aN^Z_x?Qrh-w^des0e_ca=Y%i-SFW`ftl}Y;dYCUW(Pz1t6tX_r|)rrN^jD4xSqpnWB`@ zpwPAuU76)rsk7KXk*x-|w*%Zx{mHGjgdgh>wYTZI?tP1$#+GHF4^VukIf~~h)d|Ut ziq|*(x?iWZiT}2^3tZgQ^{m}(PPBOBn{%Rs)e4=acj;BV05!_0)ZMhh39H|A zi9*dZD_W`!bS^Ma-U&fa{cNp)b~WT&9w$Y+(>qdiz|!`H<=n|_g+5ayE5lT*3N>0g z`_H||u+rI8QQJOQ6`GS#O2^{(jx zm`ACas;ZD(Q~J#Ej;n1z)V%kE7#JVw)JZ~|y_;dz)q2;!NwVxXuw=MCSL!MNqOJSo z<~k;Oa+30-PSAS6o3kL->Oyjoh8XRTIqA@I+?Hl10i3=fV61&HAGlmAJEo!2P~URf zXhg})v+2x@)C%*!8q*r9g@>Hn^4#*t$Tj6pz!G0ASV+hdr+JJGxwc7jD37mPG6=Cc zTUbUZWMpdIbZjYledAw_k=NazOJWC(CbFCCo!uQ)DRIoxKLBqq%9=x)dKl%qJ@xp< zM|v(bagyBW3$xnZZ_B*E-ZZ;?Wa2qzqj6ht3ni+$$8){t6)ElNQaw&{^q7P<>v#v> z!V-rkB}V`xlvi`OT$X8Gi(~p_!$y~K&eWNJu@`hx>yz@qdm9FlodkB6%hTr;R*8VP znQPuS4GX!NMmCJx1^j8CNW;ktQ!oC`bkuw))M(okS*r7TDKpq>Uk*L`qd_{D1<5!P z8)Cg}h*#9lSPb$ebs~FY?7p;_OPLwS`NZu-! z3#W(yw%LF2PCcmA8_yt`w-Ro4m-cF9qC&4kGJ80WpPCxkDrk!@y|;EzbaSRqu4&}M zx)N;hlzsewQg zJzk!js3kOQ1f;yb2Bhc;v4!d`O*~Rp8HSMRUnA}BufjrWQZ7z6PD}cB`JN+r>+Rs` zyLX`vjoF=bb~fk}b%Mr!OH|DPw&!`ku371AUN}|4glQoIn>(vI1b&q6Gg8x5`}2tx z$InHVEmNODpHLNNWBx+Lz-CX?IumziH?A5$lC|)$=So@Xvm(EO`OUUh`h2!YY7sG* za|dW-$f5vHWMb@I0a_i!o8=F~pY9iUO7elmALsent?Poj<&cQ4atP#co&6~IEJBSMmYeS$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 diff --git a/assets/swe_bench.svg b/assets/swe_bench.svg index d79ba8334..8abdd70a8 100644 --- a/assets/swe_bench.svg +++ b/assets/swe_bench.svg @@ -6,7 +6,7 @@ - 2024-05-31T11:28:28.622491 + 2024-05-31T11:41:49.017547 image/svg+xml @@ -30,8 +30,8 @@ z - - - + - + - + - + - + - + - - + + + + + + + + + + + - - - - - - - - + + + + - + - + @@ -702,19 +707,19 @@ z - + - + - + @@ -722,7 +727,7 @@ z - + - + @@ -808,12 +813,12 @@ z - + - + - + - + @@ -999,7 +1004,7 @@ z - + @@ -1012,12 +1017,12 @@ z - + - + - + - + - + @@ -1128,7 +1133,7 @@ z - + @@ -1137,7 +1142,7 @@ z - + @@ -1149,12 +1154,12 @@ z - + - + @@ -1162,7 +1167,7 @@ z - + @@ -1171,7 +1176,7 @@ z - + - + @@ -1240,23 +1245,23 @@ z - + - - + - + - + - + - + @@ -1294,18 +1299,18 @@ L 690 270.625716 - + - + - + @@ -1314,18 +1319,18 @@ L 690 238.690433 - + - + - + @@ -1334,18 +1339,18 @@ L 690 206.755149 - + - + - + - + - + - + @@ -1389,18 +1394,18 @@ L 690 142.884582 - + - + - + @@ -1410,18 +1415,18 @@ L 690 110.949298 - + - + - + @@ -1431,7 +1436,7 @@ L 690 79.014014 - + - - - @@ -1558,64 +1563,64 @@ L 690 50.4 " style="fill: none; stroke: #dddddd; stroke-width: 0.5; stroke-linejoin: miter; stroke-linecap: square"/> - +" clip-path="url(#p1ec2c53f8e)" style="fill: #b3d1e6; opacity: 0.3"/> - +" clip-path="url(#p1ec2c53f8e)" style="fill: #b3d1e6; opacity: 0.3"/> - +" clip-path="url(#p1ec2c53f8e)" style="fill: #b3d1e6; opacity: 0.3"/> - +" clip-path="url(#p1ec2c53f8e)" style="fill: #b3d1e6; opacity: 0.3"/> - +" clip-path="url(#p1ec2c53f8e)" style="fill: #b3d1e6; opacity: 0.3"/> - +" clip-path="url(#p1ec2c53f8e)" style="fill: #17965a; opacity: 0.9"/> - +" clip-path="url(#p1ec2c53f8e)" style="fill: #17965a; opacity: 0.9"/> - + @@ -1625,7 +1630,7 @@ z - + - + @@ -1677,7 +1682,7 @@ z - + - + @@ -1772,7 +1777,7 @@ z - + - + - + + diff --git a/benchmark/swe-bench.txt b/benchmark/swe-bench.txt index 7d5f34ee2..fee177e32 100644 --- a/benchmark/swe-bench.txt +++ b/benchmark/swe-bench.txt @@ -3,5 +3,5 @@ 13.9% Devin|(570) 13.8% Amazon Q|Developer|Agent|(2294) 12.5% SWE-|Agent|+ GPT-4|(2294) -10.6% AutoCode|Rover|(2294) +10.6% Auto|Code|Rover|(2294) 10.5% SWE-|Agent|+ Opus|(2294) diff --git a/benchmark/swe_bench_lite.py b/benchmark/swe_bench_lite.py index 0488c6bb7..fe9489cb5 100644 --- a/benchmark/swe_bench_lite.py +++ b/benchmark/swe_bench_lite.py @@ -76,7 +76,7 @@ def plot_swe_bench_lite(data_file): ax.set_title(title, fontsize=20) # ax.set_ylim(0, 29.9) plt.xticks( - fontsize=17, + fontsize=16, color=font_color, )