From 402db5c58cbf9881064407ba3c9a9ede2ff7dbd7 Mon Sep 17 00:00:00 2001 From: ZelinTan <58596032+tanzelin430@users.noreply.github.com> Date: Mon, 17 Mar 2025 08:32:57 +0800 Subject: [PATCH] Benchmark: Statistical Analysis of the Output Stability of the Deepseek Model (#4202) Co-authored-by: Chayenne --- benchmark/reasoning_benchmark/README.md | 39 ++++++++++++++---- .../figure/Acc_histplot.png | Bin 0 -> 33692 bytes .../figure/SE_numtries.png | Bin 0 -> 27030 bytes 3 files changed, 31 insertions(+), 8 deletions(-) create mode 100644 benchmark/reasoning_benchmark/figure/Acc_histplot.png create mode 100644 benchmark/reasoning_benchmark/figure/SE_numtries.png diff --git a/benchmark/reasoning_benchmark/README.md b/benchmark/reasoning_benchmark/README.md index 539c2e710..f9d26e0c7 100644 --- a/benchmark/reasoning_benchmark/README.md +++ b/benchmark/reasoning_benchmark/README.md @@ -11,7 +11,6 @@ for `parse_latex` which we use for symbolic equality check. ## Benchmark sglang 1. Launch the Server - ```bash python3 -m sglang.launch_server --model-path deepseek-ai/DeepSeek-R1-Distill-Qwen-1.5B --port 30000 ``` @@ -22,6 +21,7 @@ Note that depending on the GPU this benchmark will take quiet some time. To empl python3 -m sglang_router.launch_server --model-path deepseek-ai/DeepSeek-R1-Distill-Qwen-1.5B --port 30000 --dp-size 4 ``` + 2. Benchmarking We use [suggested](https://github.com/deepseek-ai/DeepSeek-R1) parameters of `temperature=0.6`, `top_p=.95`, `max_new_tokens=32768`. The command line argument `num-tries` can be used to evaluate the model multiple times on the same question. We use the suggested `64` from the repo for AIME 2024. For LIMO, we use `8` as the number of tries due to the size of the dataset. @@ -43,12 +43,35 @@ Evaluate on [AIME 2025 I dataset](https://huggingface.co/datasets/opencompass/AI ```bash python3 bench_sglang.py --parallel 256 --port 30000 --data-path opencompass/AIME2025 --question-key question --answer-key answer --num-tries 64 ``` - - ## Results -| Dataset | Num Tries | Accuracy | Reference | -|------------|-----------|----------|-----------| -| LIMO | 8 | 47.7% | ? | -| AIME 2024 | 64 | 33.2% | 28.9% | -| AIME 2025 I| 64 | 29.9% | 25.0% | +### Evaluation Results +| Dataset | Num Tries | Accuracy | Reference | Standard Error | +|------------|-----------|----------|-----------|-----------| +| LIMO | 8 | 47.7% | ? | ? | +| AIME 2024 | 64 | 33.2% | 28.9% | 3.4% | +| AIME 2025 I| 64 | 29.9% | 25.0% | ? | + +### Statistic Analysis Results +Set up SGLang engine for statistic analysis, for high efficiency we use `--dp-size 8` for data parallelism: +```bash +python3 -m sglang_router.launch_server --model-path deepseek-ai/DeepSeek-R1-Distill-Qwen-1.5B --port 30000 --dp-size 8 +``` +**Experiment 1**: +We fixed the number of attempts (num_tries) and conducted multiple runs to assess the consistency of the model's performance. The results show that all recorded accuracies lie within ± one standard error deviation from the mean. This suggests that **our metric serves as an effective upper bound for the deviation of reported accuracy**. + +To collect the accuracy, run the following command 30 times: +```bash +python3 bench_sglang.py --parallel 64 --port 30000 --data-path Maxwell-Jia/AIME_2024 --question-key Problem --answer-key Answer --num-tries 64 +``` + +![acc_hist](figure/Acc_histplot.png) + + +**Experiment 2**: We explored the relationship between the number of attempts (num_tries) and the standard error (SE) by varying num_tries across a range (e.g., 8, 16, 32, ..., 256) and performing a single run for each value. The results demonstrate that as the number of attempts increases, the standard error decreases, leading to **greater stability in answer accuracy**. + +To reveal the relationship, run the command 6 times and adjust the parameter `--num-tries` for each run: +```bash +python3 bench_sglang.py --parallel 64 --port 30000 --data-path Maxwell-Jia/AIME_2024 --question-key Problem --answer-key Answer --num-tries +``` +![SE_num_tries](figure/SE_numtries.png) diff --git a/benchmark/reasoning_benchmark/figure/Acc_histplot.png b/benchmark/reasoning_benchmark/figure/Acc_histplot.png new file mode 100644 index 0000000000000000000000000000000000000000..63321493b4ec2ec3c0f4b12cc5127e5ad9a8bd5a GIT binary patch literal 33692 zcmbrmbyQXR_XTwR7ybv>5y)aE|msp1Zj}& zw>Ij%_xpSAzjwyudNwO4v?X-R{2SV>?GZ8$;9`Jv%EiOFOeCj~E>cZET-dT3qH5=DNbkXl!R^Wh=tX zZT`;(xGZgqxapsb8pB1ft>iRpQ7A$^rC-m;W*V|J5} zhvz<%XteMR77JHP*mNw(UFQ>yvYl~~=!!BDG3tzSo{hEM6RENdzeRKkO$vGOrACXO zh~ah5J-37e-Xm3Xty!7jl~FT!3;Beqcf-pdcx9r8Ttq&oahhBW`F%bPXEySC12T23 zr||n`4!A(1bjKThT#lFNH?=byS4Mx1loziZEsvDHQ~H=|J=MtOeE9RH@u@Rs1Y1mB zXXNG*ojtGMmy^S-%t7`+A)dqj9CMP3zBOx-OGrdS;H?zCBjZBNo&Eh}&*P(==_tj! zckeQ`F1$}k(d*09kdu=mGIV|P+_q?MXSJS?n1LZ8M%x8DLp7_epiA7fX;xW9rFLwL zf#W5P#PNac+4tv|)8n&x(1M!xD)yJlv9PfvrKL~v@$u!lZd=@r7a?1p?P`j?^ni$- z-a^Z9rv0_kLRK;Lr^8R5uCymyrKzp0g+ZomuY2tNh{3E37q*C5YU8fQdwRJ$vxkzdq0y)wntsVwo?@o z!^b@K@guHoQ3l{q`4kv+)z#Lbp>$16aUVQrTQ&&}3Hh3-ad}{P_`!z#^5@P@g>U^i z5t*5se*XUaKZP^Ya%5t-9`aax7ixdSiyF)J)6;;(bT^_k3VMgY*31u{9 z66vuj_q80)L);i{oyPgzjIcJ-*r_u8CW4K{!Lt??7FISk*JB0DdGs6cP`&F)<@O7h zC`t*B3Tw^lZf;^;^Uj%cB6c;AEV8R#ZV1Nr8vsw(*A&(D}{ zSZ&U$MA^f@iRtJbPL+C&&BW*T3N#g_rC}X!dmabY)Lb*ZLjCDUHztGU0q-eE9u375 zCB4=c>;o0fmqqM;qQYc+x0Z(Whl|V$33o2#=jZe2)t%be*}0a{n{+=_VP|h4CoEzt zZYB2lbDyjS#nc5lWp;B#!!ZPh@_)q_j&RD z`Tg!x#i_g|`WqS=RHN?O58Gn}32y}8)mFLhqfkpjh4tktRk)~ESDuilW@-AXWT;NO z3#8|>m}(58aoYGQ3rEu1AD1FYF;Tp@W3%=QgYH6KmeYEN;M#mf&ZDMqx}e}-n39{m zqdM;Shw+S9lzawQC^JrC_afBxK~?zu8r=>!{mt>?bt#MtqX z;4OK1UYlvT?Ts&HH!@D8MR!Gcg#D{-_&h)jk1-bSsW#G&0VUh!E9iok{t3jJ^IZ@v<=q!$wt zd)vRT)~lxT4!QErH;)3fKT=6l$qW?^?@&2}X=z2enx?^KX_OcWF}&(6iAfMTQ-u}kZ;*LwKSzcXHx zW~CYqciosHKQ1{Z5ejQ?aM0dj>dU(u=qM&GuIxsASZNXzmV69X)@Gh|r3=-{%21&^ zit&o&sMeQ-&Bh-K{W%mUEM%u~;o{(s!16gZnU8V}!_@k{eakp?*bys;i}Hh=JZ4bY z#NerQ_oMQ48=HJH~6t!U-oKwjp! z!u8_Ci&tV}x;$7uj94#UzPv6c7equ#dTx4VrmrlVv4?gg)`D*M#S2n2ukp#rN6&xE zn8K%CbGCJKkh!_J`OPM{c9tx{sW^+m%Bk8j3F|L^%?_7`d9I7Kta|cmCnKkd0}dIE zKSZqrd8z1nmTakW9Ouuc4ktXU>FB^mLF|@zbtugShaU#m?|PW0-&6;a>vX)<#1NR6 z$Z)itc>HQ}Z*w#8_~49yfPm9xuiBmHhGsWmW>eLDkvzZhnonltGm89SkRPtAZYQu2ExppB2n1bY04a#I@O~kW^hn0 zT)4nPpLI|k+btDNCmH~whP2STLseo=XB$c@oZom)pN58JN=(hS)+;WKR#{bba@2LD z;cK#N*n<1^h$F05p~teK*I)7Z07Xh6}PifX(rhfRdXU{ZaJP$Yfu?PtRRWtlkQ_tIp z&=pyX1Ror@McqC+I$B*_Em<-Rr4uDr%hsxe2#$u@+3eSeeEnJ@=l)aT$Py=2NH%v& zOgMh6uM<;KYtD)g5D@GfZja@e_H&tyl#xMPuSaeP0^4Maj)!+xSO=ZX>T!E`}sG9_Fxo|0SLM!KNTi944kv++%H0`jgq9Qcu4!%x~2gd``1JXQ?39Wzz&g zkN!Zeo)g^n#L^Nztj_1gMrvHU8yhQQ4C3PA>Xk11^e#V{;FwTDo`OhdvRV|BX6^L( zWsp<>gez3Zlwek`2|vBZj$V7B1OpOy&M>%nL1ymQ$+FDL`SkL|3j-S+qEqM2pO1Bu z9~l{;b9Q#-PjFrM+8SU0=lHs&re@g3v$LJ?m&LgP;2fW0W$hI*8F|$YF}F6+^XMu2 z{SUhJ0r+eZaM4SPOG{x!cqPJ>6Mft~hY#KR(B_X_OX9<51d|Ngq6a=bIh)|VrGec3 zy?ggAT)LDM$$se)zOb-x@kl~g7=D7s-V?L$CB&trrAX40iJ%`b@O;OVbgT!U?cTxG zu%**VrDRW#L7 z)zEkf(YU^)1sg)2$*O=Qy}A2TnBeNpR7C7SC^bJ0{FpDhJ4Z(X5-^K^K#`1ah4aQI zh>!rjYGDJKhK`IyVLk4WZC>LW95}7K@6M5>oLBqF$U$^lU7(oxKb9*4};_nUH}z z{WCs3KDjWx)H+{w%N@tuDXNc;L^1KHk+5rEXgC3Q@y4}lD3`58?6+kVC8ec$bKg=R zLIxx!v%qoDo^@*!U0Yqf)|GIT*WWD{P5Lp?+h&I$ry;JC*Qgx65<#TZ;V8o{wh%K~fw**n1^nZxUu6YYOR1 zy~vCzDLL7Cx|tZzu|DMXfnrMraxN{WVc{nGT}YacAiZm9YBU)bAbo2){~)8i>O%Uk z%nsHDm&bZi%5I?#AJXKN?;|7D2RqiJ6ckenIn@E0S&c9y;kCYJSeTj7r#FR6+Qw_o!$lvu#xetmc2jM+dg z8U(EyfLf`=K1iKI|EOSeO{#BpW-iy_2w*NQoX|R!2r*_(%}>qKpX3EcTtqVCMICW& z1QL)P93Gx_b#(K0?yPUK%dW;n#VXTCZ8| zkj3M^XIBgO*~-d_2$uVtR+U?66pMZQv0RP>$wLSNnYQrkNUXslShsr7HfoNdBx+sA)cP<{RSb=}U|)M;*R zZphHuKVhq7r7os-&EHznKwiTHTGJp3xJ_L~L3kj9^ zJM6}~p+eI;3B|C_CL(3&iR0qqPs_^6GKq;*G|pA2=4f9+qF-)tF$EM|elWg%XOT?U z;(g7Jc_{q|B@XUl0h+i%9rmTv)@T9_Z2IQ*eGLuv_IOb>P>7Jh zZ7J!OA0KU31CR)0@Ng=hU}45p!uF9WID#53vpGpRgvWg7idLE3$G*$gh$4SLvLYrP z@n*zAHm=y!tEQE9oW%V2ok)$Ce&gOfVi=JRAmWMXmMFm74DZ9G?9`@+p+Za&fvaFM zF)>-$+SWs*6iO(*b8TKu%8~zX{U{dke+tUrW1Hw&-D{ef)G!Is)uHE*dXqna5eqW2 zS9P^S&wN=#21ixNhm@3F=O4&?Fh7rgLWr4>@oi@lnU0pF_WUYTI9Aryc{>a7&0^jj z8G92kMxK%-icZNzhCGzd;^Xn-6F-M=hZ(>B!Skt!xP@-dvp~sE@?WZFA)-0 z-o(Si0H{0x7^#rKO?X@=I8dKGK_)CEs{7a?R=1kX=-@W;BYM`*lvnN_n3k_(-Ct`c z{OBy|GS$1BbBoRwsi4hlmM%X(<{yU*L3#Nx9!&Sd__!Bfk;&DG`o^Zyk~PDY)%X$; z5<)^kj2s*|kYPyJs;;`frXP+fzM=CWMg#{YEK*~7$mraqY{(H#bV zrAE~d*YmvRl&L^Kt*#d%)}7}MT7<$UC)9&e@994=#ogH-`~Iw?HWN=GD(pT~f1#mx z5LYqM=(~J;(4XFC_f=}lr))?v&w!$Mb#v3dveG@QX@1{G{oAAqpcc2I-Pxe0PisS| zE?fQl!c?(0p8?0X3Gn{2$VfEQ>e?Ewb3#N!#9H2ihQ`K6TZ@DI(MCo_f-M_9JwD2u zB1KroKMx2`3H7_v=kGyOZSLv{WW-Y47Zmur!5TwTI)1cSc^tcww#Pk9f6Iu=`ibD+ z_8Uc_Q&6#CY;A2Jx0RK33ASgC2|xEhx18WHpJ9i-hF)4t*mIgyyH&sVq3pHcjI^4~ zh5pF6I6OtgF6t?zvFF@RtobSN5Uyekjx{<;#Bn(kiYX*FPzqYaX$;4SyNf(}^eA-O zGJ)cDYBzt&T&_)zuuzO6L5Egs?Qn+mai|dwCBpM5IX+udd2u~=hJxU{y1srn zJL>i8r$HhLWm#X1P4F;LX}$AogCG5!11G+`zma4P3H)%$un=2rL-$Jiht?=q3dDKs;72v0_Sa zo}ro&v8-6b3=R(FdGhVt^p79!jJgsAip(EW&R)O5Zz*f}c_V0IE;p#z=HSp9(#+WF z(?L=KPFCGjqY)AUOABA)2R|;2PyJ+Rr6~CPp5&C|GZ8=5xlNanvNC1~iRznh18h(z z0b%9j>T0{J%3^gAZ($eE(#o#CjE-i8(+al(rDEfH>Cn*7qvmHH;$xmzSdUbDN&psn ziVzgQWlRQ`_*F-w6n0t{`aO`a^;8?HYLxiFe36s;^XNs_d+OR3>`9rG(ksMt+oIv5^03fn( z%goHgv#i=>gQ)oKt1%HZbuesD4AkV*6ztN+`B_lK#nKAL^P7@Gu381A;x+Bn??vV` z2-Jj{4M>qk01!*8CVX0olb=fd>a&oHq`jr?C9ybBKSP+0M$t=|=NC0dL+`vak zN=n}Ghz$GIs&sBtPU=a@k1p>qBF=1P+;0Dg@6)zPiPwE#YaJOu6$#n@($J?TzP$R4 zx(&f(CBpmGFrAd*ZbCqQ1;JL*17udRQner2MJMXO*_Zt=L{WVA6l{Zre8aZ!>FJ)g z{fY_-jj(S5@5BngTA`utDl7ZFdPND$2o{ucz5p-b&cad(fXfB6Usq__4?vroR>Ff8 z*<28I5IT^I%)g{WD60QyNXQL4JG&@Ff9qV^YiAyw5gHJ_GPf}L^u11}5_47-xp~Eq z9FhvrkbRbf{yr_0PwVNs?j8>SW=6I%rOQ(t!I20k<89X2wz2KBFii*+%643bs2A%147Pv#{uTmofZpisWw{JULhuGNIP5_Eb-7T(PM>jJw`+|_Rh5*<2 z*t1a2UcB%F>L3{iz158kDLFYT)OhR5i;exu-%AVfK8>0{VVj$mhcKIjZ(WA2CyKih z(b9fT%bdB8!_m}xkZ~dBdH=yfa<$00wv7P~J<$zA7r32Br6+~g)YUgHeSK)W`|C$q zW~Ltm49K5)a9@xmX~*2R>7YWN7{9wMVL7(U`*sgUp*X?nV^UI5qf2;rIDa%gy%;4_ zoIAi7BC&>oI;GW~9da)pAk$w|%l-@q1gHkx17VK?ApqEU4ojMTfq}7F_UkJm z4vSb2Fs{08_3V`>q~4H}M1$ZI+Gf$IR~b(uXu-(KOMKa=^E2>8p$_2Jx$_ zR_D&0V+1~_bLn=R5OMX<-bL~K#mhj>Jo+3&?C54LZ-wkNO9ZhhWd_83dYFQaj^Ul5 z=DinpC-%JY`Sh)BMG3eV#aXu7UKtq~E&437;h!Of@H#GQi9wxa3>7lMU?O~v#PKfS zsN4D-q)3Ad>$F@tyV`O-@hxP=61QDGgt9j2xnQ?4N(VYfJtY2BAYmuRYkm1U)$h{4 ziFa~wfoZMs0?|WBNr}gH=5~}lRPkXDV2OYvxM60-d2n!GwK%{Fx(5xn;aK)V(T$&9 zF_0jW;JREYN}p0WoLdsSsNBacRy4zVu(6@|b9_W{UP$V_6gGCv4MMc)V*)8Dx%dE5 zxlYe}npJMXu(BpERNt1B9PN)C2f&6GFdOiK_(Etq)9xJ-f{QRDQ!aoJg&()S@_`>WB3iU$y1ta@;?5wMr zZS!dtbK+R@Klxm7bNG3=;`@@}j;P?WO=tyksL%;C8`Z84FQF!)eC3~^R>_3rNG~77 zY`t;eOW{SUX{;|P^7XzPSQ1e)3Q32-q%(MUraLl zNo${5oJV08`$$VTL{>|BW@RyAd%ud?9uFdQJ|D0OB_ITdA8y>QIIjBiux_-GzT@E= z`8V$b4i-K(L!Pz1a(DsWQo^qzBAEfm7(a&!FS=|mUz)pu_I585UHXT#ScccP_;L?| zht)rWZTq`!()mMd&XfaLrM0zn6*Qx|#zvWMoGC9;gj^3fxp&j;%qxc`o8Pk-FZ8O; zUyypQY(A{oWoh1ah)1ju(5D*WpuP0A@MZsQl5mrXLC4~ocOhdVhlbe9`MHlfmiM>~ zi6adM)6B<>b=IM*gEA~Kh3viFjOFD>)n{xcS@NQqS4&ie<@BtPXEP%2D{ZUr1_e?7*s~um=t@8NRO?-T8dgDr?H`;9WJDTgRtQS2Y(DRSPXz_F z&*;v2StVM1)bFVQR`-tWzR-u>nIPj(<%Ue6i!AB8> zyH`9hu0q-$$yj#{2Szq|vG=L_Wvl3zh@dzE?r-aT&w=^(<5YKAmuFS+K!0#Wuy z-}ldd2#*g|mCOQAn(MqiL!G0dt{w#R93vwm3b;xvT-eT%@---z((0#R;-$FhVf4 zMPHi4yLL%kOIlS^Blz>e)BN&pr-<3*^q6uzJ&^#Mj?iv!;~(zChPDZq5BZT_(tK+> z+sU>-jfV-WDf78=r(h0{GGD;ryRlnEdO8k7L>}?c4|iw~M#g{!)`3#Mj1p1Cc6N7b zySvXuomZ5RmiBKLoq~BI2G$W~^&PMQulNjc=sgdtIn{IDcFrOyA+VD4%hksoK-A+L z?=(s9=+>a3tThWw$dH)hjd2E{Kb_`MVtA~^uYv5-Ribc=cF4OP|C&<7%s4)06IiTA z5OG0K76eGa3y{@rz6To^>lh)7ySR`A<6Fdii{yuFki65myIym+tu{uYaot74Y9nn< z@z$+P{gf1b22qy{&#pVSGk4WHJr#*x$3I-pdw;G#Uwr$!ZBR(a@F zAwT)&R3A~pE-gMx-IqAp!B9|8C_XIROk6v*0IChCQ8oIYkX;=jU4StglZV{bgc%YH~<*FFGnW=_)w~t^78U2NV5J=$PX2nhX9~P zkf#%r$EF>QurrvMm?nx=YMYu;JDWg|HxXN&n!>2mj(Gl@1elKR4#TKik3$y(bHW#0 z=2{r5mYC^Ej6jq^IOTOfXXZWWW>Z!iuQ7gZYPvym3Xl2v{srDqz9T?L)}(zouJ6)`fx10R+0Z-LDQM zEW#+R{fN;?a^K%-`~g|G4oK#RBJ<(vDN64EEFy73HB((rt4YQj!>D7)Q!s>ryAhTX z0p6!hpPm4~*aYR{#L9}!lw6)Vj5PY*EAJA0YsxWaF}HZPl<*r;Qax549=#HUUroHZ z9?pAM#0uC;eCSp=4*FR-n^6Dan7$!vDMZTuI3BmkenA!3((lu}VKNvf^pa>7t;@epfyL)@g zmoIl4Xgq$*rlqB|?DWYV7ph|G^)L`P48J_k~)&D^0*y znrS%zmoH;vx~L4Qhup!e#4)c%5f~??UIdmcj#knj-VH=qzWwIP$Ii`9nwJnZ3IsPd z5Chq|nK|&tnmJqjGWrVpW>uAy-zFuYn-tFVr@-o4JeZ*galIPpzwgJgziIYSpD6OV zf1sLYi+_-=zP>M*L8y=SRXaO7ot6sw5k?jWE5xp`ySs}B12B7t@#B-l2sHw#LCr*h zFJcVQ3S>@e4HRp0sfm+ef}=IIT~`AUzX_<&O?_Dp!WP{2=2CZHqNhb3yruU1P#{Oy4JFn!UWxC^i@58%Ui zh8EYAc0^))>lO|qyzz+%Z^$dak)B4XK?oBBXU?2~O{oV9tzK%w3dh!R%eCt42?d;Q z!o^iw{j6G28RKZ96H2 zKyo64C4>jRsHn3@DGU==+tJZcas(;&E65g8hfw08YJjK1H zp$?qZqmgG4k->s^z%cAX*lShBQ$unyQF#BM@EU0Clj0OX0}k!PcRs zsTmAnw4a|J7-6mxoq|H7uCI@rN6hbA$7 z+>iIrt^DolhnG*P!*wrY zS(uU*l1fc!lG^;5XssEok?D%k&MKuRnI)+G5fL8Lp@EXQ->J~s0n+8)*GMHQVI)e; zSNIKcf1|!g=gFcNx0mQ48O_(PUe8;4ZH~41Z21=Azb))dDwJIq z*8Zh}6F2o69R~J^q45z%8f$5JX)1hDkUB?BQ+Owyg5eoSL`g6w9PdQhgHsyP8cMQE z%qh1N&phr(uVQ7+_XLQ6(@+ZP7q!Ca`5|bNd(9iJ$C5$(vTCvvfjbLMC zFtWhW4LprYUV~W0?!vwRCgUyaeUj9S5h%y4=Dx8)V(K?N94s)>AIvx0+2~fZh75Z> zryrq^fM?~`ump_`!8#frz8X`%R5?wyXtwy)C;i?qF%2@cpRbdkz>Wr5MUZbl8Gl6wc}_s1UzdkbK!6-hBM5ER5WsCcB{MYzn>X*LYS@%=_6h zA_Uw4{H!s}seGKDAd~E!latdD;mUISC?l`;ZHlYBu^Ek;S3@IgyjwR|ZEo4zeUkR# zL|}Nr{wz+*UETm~?)03{Yv*rH$G5krv^uJB-tHwni}=7GEvbQqVl3b}+jKdcrvFYw zLQtD?44QJH(wy<$z3G@43{-wdzBT9JE9;T>G&kj1?(mAvLhv-Qd2bCQ8f0I$u+2yM z`gt}#ZXxOk`1l$@+T(fLPKj_-*X;A~v9M}@ptYK5r>Z#I8b-1dAR){Actj=xZ5Tmr zRY!ZK$U^P^{3r};^%`)EOroO0k87;_Y zY~)l_5i^Ii) z`i-Hy8mYi?GI;DT0qpPwJtY~SID%VXB6P2B+yr+1t@E zF)^{X*`YeaM&<|d@!R+BPyP7u0{}RWvjX5}J$-%sij~>fKq!}zxDa9&Qf2721n6&C z^yB?hE3g3|lYe4UAfyik&ukR8F(S1ilhI;(RZMLDyM?>4 z8Ncz5(OVApPa|k{c|4qWN#=w;Z8r1h^jNjsx;#qQ?N4?5z%+wjxH>f=iqI|YNUdtf zsgU=mI6f@CrA$PY&MsVJ>aZ^%iza^a1p2YxM=8g2Jpck69fjC`W;$YH#T?dgZv%B) z52rBzN<1dO{(wzhi8^utMQxm46(2uGk)y&vhKG40eh`8k5aA{jD-#oFmD-m1iwYn; zK?xCHF;b=ndIn<3K};?O;OmlV_M9yh6%i3Ij@{JDDDp4&J*Yyp!meLv=+E2z{us|x z6i>UOV)@_{L}0#Q@GOE0li=kof7pioPGX##c+_E-;75{#>ceED5u8Oi&zMQ4X@928M?EUI~1CyQuP`B+ioxc%Hlx4h^_NqS45H!POu+y)rvAgRMI{%XD$rZs6GArXdnVF9sfJp!+FZsDPhKk)rDz)jvx7zRclPSmk; zaWQ-=yrlnFyCBh$okP-MR+#9uc1|F8W8tq?c50(({?UJKWX)hRwl^Rm;IA!A!tCQR zj+bcO-Wnw?y)-^nvw48pWlr7a`M+RCHSs7dp9HDiK2F1mDh5x}l%!t=aI7l^K_v z1D$|24S@eo zmnbs=a<1n-$URA_KEB>68Njc#+pTllZD{yaMt-%$w^7xXsF>&;_pZx&fx`k>GqsN` z9P5d3Z{7)g1eM&HnLrDj@Ccx8YHY*=l-%6f3i^lhH}GL6)ZILFOPDS?d5HMskC$mu zhRH=NSm@v&j|AK)C|In?O?poUL?VRf+nQeb$uPt~Pe8BK#Kg?n+6md|j7%81U72W( zqVgF~D^b@}RaH0RWPH&~3Ww6$qG>PaapL=+0ec5jI?>YYoABk0U2#Ya?ZCc5k}$e) zCH%HX9kdHXTW@mk7~a|})zZ-VNDMq4?3ZzHyaB0!=+ThyD_-4Tp~Az=U})>sNL}06 zYg!vgTlq3t?w(u>(szFvOO_zaS7wyrc~S*#zdlvh*_R-d8q~m$!C39!-~e)=>Vu+b zu(+!qs>_^`8sErBeOK69Co{5B$4(AB&WiDtb>{6fA!7x~Sv@9)_H-W9y zUWv$s@G597>;fV^v-R$2Fi@O`f*_sQg#%P6(yjH*7f)I z?@aypaT)~%fF?wk@H}$cSQ@4PJRz;6MSFCxt_T{3(M%hW$=$l;19A|Qs?01b#56QOFKCWK!G}07l$Bptk3bj#4-h#*-?)GRwy*_6 z^<7of#}zsK3jmVdAoIS}fihn1p$%bp7&@cSL38MW>09eWqR+?BbWe=7ZP>Kgxlx4! zLzx4OL*=mXn?W-^X4<{O{hEhI<>N+5VzlyWu%8+hFK^x(L*#p)b?Ja6Lu}~Zy1RK@ zx6H(L#(jnC=ShJI0`n4~prByXEOY@dvalp~nm7K(DUtl?lk#Hm-HZwEdL~lrW{y^q z9tV&dA^I?3`Sd27Q6Tsu8R+WX=o6@E%W&abSdY-r@EndGn3=A@y#{tzjsoi9#5{*T z_MDW^6m|Cx;y5@s^MwiT8#ci-#ed}J)RxSklMlwtE|M;O*cAN69A8 zs(uQoz9Av<$(P4&YCoa(s6G&-$8o{3&@7fQZ`0+umZBt?+O4s9M#qF!cFl^@a%H}E zFXw^#XBGb*Wx7)no%(Z2hsC1w^v9KJB|p5&2_>Qs6N)UhKKtXukAzu89uyYO-O_8u zz|u1TDv+d&4IjPpH1Ug=7#42suIV(>$B$>sb8Iud8ovdX1E*R>@10*0r7t|O>-!0t zB5%rmNzsUrvHY*sK|@f|_~#x6mQR^>L$5)}v8!yB>e#QEk*A3_;RYM@m-N{k5=*1@ z!lN=}5OJ4+OUnzKgJlj&IN*sp@iRDq>WT0sK#gGEAJvv!32%0}giBW`dJ8FA()F9> zOEKt56PcLXo|z^_ZUikL=m9YzUbukuwt_@4_+Mr``2#Y#sg13_~Lxj zw4F}_31RQSD^GxwC$>E|K^K0}-bwJqTH=OOGz%Q6IpY4F9%V#xh0coFw0p_pb8}BI z&JbMN9;5pOuE^B^{RqA3=18ZX?*hjmmw|+RlWI4d>&L_E8#BgQt>x!V@H8%k7t@Us zt>YTva$?B_pi{my1ZM9F6S$%bUm7}UzYc1q-QBH;kU%eZd^6rJ zi1Zfxohm5UJ_6e2x!a|cj@prc{p3D?4a;Ej2PYD2lFA^|Z~|=Q%Hxu2miuehfKMRM zZFV|Pqtd9ht3~moMD2*hSfBYDgYY0ZwKuh#;f>@)uG_37E`AMf`?8dQFqp-}KuUq& zRjqwMw#Qd_l3HwRz42-O4krKrPK$7hlR+=bKS}Zy4v&fQ<|X3D(+~iy(!H987KT`U zFtF#xo<)=_WgWOKq>AnV6QV_O&VR!w^3m*Ro!aTFC~MZ^;6F3~bH6xJq$K@fUQ`^3 zfVY#lBP@gh_u-$og9pWRW_&hXc$Jm%Jf+logQX!f*^_+{X_`3k-{Lyb8Qo+3z>0a@ z?_?<9bQo9O%s*ge#)S=}XHE7x`!zvS`JI65*9s@|uP94Gs)Eynxl*%L($_8)TX-IUz{8xP!H z^6Lo2aLaxQGuO@ee-_NOSa$M-6p)69H}4MomFzzqc)^QyeNX&6NP;1~{+1>U$V<1V zATO3a8CjJYIBV5i_M28{Is*-Ee`j}sRxOg>@k#hVn)(SB$!|&U+2+qdgN_a6iytr4 zK5ajH;p2tKlOkIZE!WlY?>!-M^x|g0&rhGuc4|vpJQ>ydb8i(B|6U!|PJ^aPV8?V) z$9QT`1{M!qkCD}fuN58=O?t3yq140(=Y%g-Yab6`Au1W^3LLtwyGWM(??!{VV6FFS zj#cFj@(a0-i(t3q)HOP9Pr|Hp0S1Z?S+a@Ya$z@LieM76Ycz#lXhdwY5P=YC%oR9<#DvmH=SS#a__92{Pz{r?;*0A}Prse=^h52auW zAcKiI*~*bGRil|9P5}HofrHF^Aut}`zB&yOB^Mg93GhLZUm!iN3( z=(A3iy0?r!*HrEAv|5E{G{^DxMuB~evvH8>=g5P3QmOa4zmI)>d)@8!5kZRA{;y9M zurdeySK^g>(Lv4VzpssO{sWbH%@^8{V8gERn2pCs;h#&xSr*xKxZW8n{6F*lw*iz) zV{%hUiYr12-rxxQv4A3*6OmUIhHjW^xwC16Z^y*@;eeCo5-N==1$jkQ%h#l$(Tf3$wA-!&zSmJ zE6F^l56^0r7C(ot|6_GUD1dBDHM}yTXMc2QHV8_vY1_D38=qH4GnQX?@b8vG_F}p? z8E^Gx#y=+zq=4MwoRf;+&jvE8?z|AI!3J?eDZew`n{U|&TyQY0NZSa!pc6Ku`MJe8 zCKE$acsn^x^NSj9&y9PD4h^8%Y8)?jF0_bV&q!Bk9eOiLGm%2yvPpXeqq}gKqg2@-e?FiHp0ar zmgDJZKWO#@rRILwvrVhy9n8tIlh(;Q0Vn5x@3Qyq`rl|JL*B3nf& zge-vi#S0Rhl(h6~(tdFBAj%80(=-}_a1P-1Qm*Imkw}Os^jo$bIpA9YeUAcrE&NCB zLh+&JF6eq#K3~$7Ky!h2gVLA5Qy1ucYf&$6dEGL6o%d-=C-PSBGkY3=Xf}O)o@-(A zV}a_vea{wWa(h<#z9qKI_va3LF!bNQwRXXfvtb?qx_Qq(m1I9CCV(4ncy}YvL@XK< z7U*YyUX$0H+iPo*GBPsp!=Yhe4L~BAa&~og$^b+HIN6eNAn#;!Ec%L0n5H(nHf#tn z$a{E*pOW;_ycD8Ar~35wy>aIp94~+V%+Qv}`BiZ6Jvs(WzC(TEuN8g$*eDEc6bKh- zq))z3M^{d8Zk88r7?I>2bs4%_>-=@3|AD*)4d5%t0Db<*8!Uk!Hv|`rfcnkC#@6Vh zbK-<20-gby?2;-K9^#ncBKTZUQPIiONzmj$uPll3mpMDt{n{9e@MI@I;@LWCO#CWm zB#AsZD`~c6Wo*=P`aDPGS+X}76%Pi+Su|G|(^gU0!S+ge*gJ0{O;*{ym*|2=sQEANjd1i?? z7{i2|f4y(XhmNIW*jGr$Eiok})^But7H;Kq%}Bv|^OH}eIvO(m9(7sops0S=lp z&Z|#CgO(M@$gXMAkI!HZ4Bm_n2qKjO7@1#<3B6LuV5Vo2052Y53wm>o2K?Fd1sAfga4n9YM`P89ktMSn9=*F2?neG;wu3Yni6A9&vzKiWg&wDs5@4YWXxr*P|PFv zOv&ax&tCagxt5px@9deCo&nbIJpNDa)<}6rGAKQmc18L3<=>)qe#HF!Jp#cBx6HzH znvOXB3l#rpMTw-7m%!}Ur>2#U>1X|h#QS;q-x2-95M=qUA&3&oZSTo{lOJ%Yx2r7k zPlBzTh%Vp1z=I?I;G3J-)oL;TcPER~+5(P@?7#63;Mv3GO0T9q@c`UXiW9q${T#{a zV!>Yqq5dN}^TN*&;wQXMKmcd`7q3FvZ0~F&0KWI%WkCSViYmcz^QxL|f?*o2r;yx8~J}qQM`hT7a!I3{j z)ikjdc_!S57U?-*@BNzWbxY-hdHW5n*X@5bY$S9~EKDPC5MBt|f&dz~IJeb3j2!uY z8(xsK=aY}VSoMkKwBhOh-9pc8o__%eL$3Aae>SI($~6PMGM;ml&;3v_s1tVhE z1HlK9yPoGS$F!O9T?Pl01sC|r{<{u{)B3ag`9DIT!2g+s1 z!_$Xsbs4W?P7>+CftTax$G;l@N!5u3439SxSdm+PRqK1~(M4Fpsr&qj#K^OysJ4YO51B01LH>I%^jN)Z(NQ#8sxFPF7L|Yp&%{kE;q51XOw{JXlKkw$*XyTuDJuihR zQ`a(j^JGy{iWKDRBBVZE`g?F5ll6lDmkf6LlH;TONEj3t=_i45M0!vViwQU%h=8mU za@j~5a5m(IDsAQXNcPLc_rQnJ3M&%&+H$9TVoA$=qb1k(iw&rP11Tl z#QxgaYJ?w2V?Vi*A5xGv{e{GUVytrA?P+uV_tpX)PD3^%@fUoSi zkm18P4lu>|Ytm`xr{)DG%)RTHQQ$;({C2f|1qxsrr~qO_Ipup|-j@R+j2;+O@uAvn>rfjlR=H1wZWfuwY{+?Lo!<4j@u9;35uLL!F$q5ae5MQLXELZ%qB)M-`t{`C= zDN0{sk|7-mXlde;F2AO4f-Rbcp`f@}7L@W;Sf{74Us^v|nR~PPMkDGSDd+IJ)6otm z*$^Vu2gwF|aQvaX0B7ifijMR)%3Uy3Rn-XCsI%J<-j&qPh!i0pW`Fh}of6G|_St+7 zxuHM@qL?LN!T@+p!%YD>%bU_E7$wRyClSSUivK=UUUjzWJF;r0NE4!v82&1QN`wT}f6jeRIduD!fiaEhIM!q~$y!pm z?ZUsb#D~!aeh`-Wj@j-*nYuGGE$H-N>hh}fFXVpVi9@~+fL`%86@pv}Vrt_)@_ZW5 z$JfAm6-3^ynL_bFzi(MXj{C(}FI$it72e(Cfj%nCb%zNlDaUiaw*(xtU}6@Tap>ES z($=P5E?*HxT<3e63$G+R#kF1LSo3T(!?4D%ex@!U84V|TlG^+H8LL0khJK$;e+2#2 zU}RgP5Z3~Ta>#Z^tV&3GB%CxOrPcUcR?jcLijLcfU>}4bY|NabhV~$62%3VeJ5c2=3O9KM1tLz_ zLf1-qUN2)0i?ZtZ1y*LmJi!-9(i2nzG`Ie9irn{?ijh;zBqT%$eT}jP2IsuylXJj; zk-hC84i7kjHVWh+H-OCnZ+-@Ay_s9Zr%$AyIS0VQ9N^g?Jn*;+XkCAEwzTC``Dqpp zbuph2ALJYU)R_gr3(&S54g&T#SVf={EY^A#>9qj6Nsp^28XDTG%SHsyLF`i>NSF+= zA*G1j1%<@ys$2Eoe^`Y-eFO~*NKYmNoMopqjE^eHDo}gVkg1UUo7F=HXO-4AH>JV< z`A+rN@+>&z7{DIzV8t8{x=x_BlLGqnq>aFrP}~bN7UbCk(Eq~;4LnGfIy}qhYoV#y z=Z1y}7~*HJJ+_CLTc0mbsN2`KjB6KR|95k~vKPrrN@50Q^%+seWhqrvay(4mmMQRk znXL-I5k?HWq-11>m@OMli#!Y}De1_uH{kzDAP)aZAZm%NwYoe#%}=nQ7TfXY*~W6f zx7b(!K?@4SbEPjs|8JrA)sve`z01CXq3w2)ZpGM=tAPmSgGEOs0r^9VONXz`aBOzJ z+x}aG&F@n~2!=+aM<5D0!9xxvW@n8mNHc{M62zVY&kotE4j#9FH1yTg)j=Z->Q4=s zxiU578yXraQcMA&4w!%X)f3|5!@hm{u*-adaGU-@e+-L!V(&>!3qCcdaHCj;dw4*N zfFjq)StY`d<*4?9f=1Xr3rlHDO+e;IN#1SCK@9o}foC%Hzx=Kl^Vyq!*mglB^nx$? z(dO$t=*mv(cYzy5+KV3)TQop7y>4gs9oP<-(E5a^Rbb*o!ZQ@LO^Zu+62<9wd3hW6 zT`K9ly}hASykpbo3%wX-BE{G&L*ZVX_xjV!RTysG{f}A#_or2zecdFTz=!cj-NiMe zs)fyd)8w!}OMKE~RK4uwW5#(CF%SGunS{P#Z}t?uk7HRW5>a;~xe{HMFE%9m<&hS2 z^}r)dvXEOP($W`r4^8Zy+$`VnRRXOX=-FxGmH+%FnxeTqjcSmqh zn)T6dM);1T!pZ&pM`+PV-i61>Oh8wN48(Y0#p+8SpM!F0w=_fs!skG#ZR%Ry=g(4F zr8W&tdzXagC;Lyov{Xw9(V_Skw>4(6WJ4!yJvqCctKMT@`wqjF#C2JP6P}kE(i~B zVx*kcpraFc3Jg3x#LC_tK}+!W;j;A3r%<`NwdiTRCh)8r5^#$D1e-R}igizWSP5t{ zz1FV#t8>YTNrgtHAEyvbk^dD)tQrlQ@s6X!KN=wVdki-fYF>i=ARkuw=%8ONcWS}n z46Pz&JpxDs@#pwtU$0%=bkBIu|Yy)JLIDZdki_ z-U2k3P=1y^#(_)f|1y8Prs-a=DYbKQ@(uv(eVOC*v_CDpZnawTGdvkda}d#yx}+ey zgn)|g6m)oUad2>;ly&G3Is#!TkY{?`!_bV4drq4vo<}XrD*T@itfPM<-zeD{TF6JI}S-9i|^Pl8jAoGs?-N4?4s-KJBf2sm}j_mUaap2Iz zn0Gq>^|@hf>Q`AEI)XyjZ}Z)!RNYH%2VVMq7}27i+x9NF%O|Gf_Q zFLMjCTs1SH?SkXtMH;%+H-!K*xzBh$CC|Qe0<2#yeL)YYua+vp_*((sLsi0v1@688 znfv>5#E|-=unjvZ-Z<+$ig}7q45zz?T_=5{lj>@0>2%tHP)7siPy7e6;yE8jwsmD2R zkT7THTp?x;%$~;47G4wMDsey_Y7_$6AMe8R9OYub_urkSFtx65{kvBYZN;p&2p$yi z?B6n#+D;X%tl-6W($K*xnCzwO|NC)p<;(S^Ce__Nu~Vjz(43Fk_~{RCe``yGVp?9S zI8&bNh|mxY?IoVY2(455M+InZO*@5QmeKl_1P{5oi4rKL^38HyQ-R@sW?bpIX)VjeFo`QfuK=JC*3f~oq(Z!(^CxbN?> z3>GJb8M@3ttc~NKoxPgB6QtVouT&AFGVh&h^R^v+SkU}qymsWYdCGmA_r9J=3-^B= zCFu3fd`d&0;FGmB>q1}6K`K_dHCP`_QaJY~O(kHo)oI30v$tn*zAs@O{d|M>wOQUW z`{D|IUmexts@42P)lYvosO9EvFm@i_udXpM>k)xzj839xMY8bKlTX?Omdq%S`RDJe zL^met{cKqvDm_wVsloy>TuMd^)~E2k{*`-S@yp}uv-6*swLw4ORo&^0f<C!n@Evw>U&-9gy8;$O{h2?kCQj zwQyMV9=pZ=9CKp^03H`93ONAM`9#ogc0PI@utG+ku+kY~1 z14_2j_`s#&jtB)q@Bd@Mm8GOKe%EgI_w*`1obreiC$D1TnG4XpT)yp#`--z)9u6+@ zBxs03H^RZzMlo8&Zz_iFNUIszkeT9dyy#dZmryS>0W;6%^QwfJM}dLiQg_7$Pt;V; zZaDYeyxps;U``=Zl0K)?Wk2R#&lHm)Bo_zPaZ2{RdXPRsc1`9i{3Xg&;l$bE`6ty& zJ%c~5q~wP*DgAvHSY$p`$1EINYdnf>b>w|GYh7@wgHd%&Z$6cpydL9dC`Gp*@aRa}^S6U4FY$@#`hHmUv9&ep zS82v4hDQ-T@bVn|K5BMa^oR^5fQDWIi38a>*aql9luY%`8S}7j{26@wd1cF=*Gn4Q_VS3sRYZ9g8#pjy3ZC%B|LAzG%-%@jQ^pCM8?(D9Y%{M$cYcc2L zwN`|$N~_3g{i0uNo8CP;oI5&NeYD&6{O18vm4Y3dqMv=1tL;`! z%z+Mi)f;mA{>?j(vbl1W zNSJwtxwAqiPig9P-RO(b=>e5%>SvD*uFB$eyP8@aAS(I6FRJ{|ZkhX|boxqf{Va*R z0yM4AIdEC2v`5t)H?6$Lqo;`+Ke z952SQ3~!nbgQ}hcs5l{#Zu<%p_570Y3#qgI)K6wjGW5F45>#58ptrvcIfrE<6NDqf*Cc+rpr99G3nYVkEF_CDo%_O(3 z%WO(AfBmU*{Wk`^)5}t7SR)QpZ)h>yT8|If4s$4l-UA#5=`Yg75+z=iCuug&L^U?KF(rx zwHT+ZVjr4)wA*q>m&25Ba7*k0_u^*;0^zn*!*<4^m2Dt*o;yE5Z1?A?387){*!IDK z*yU2Li{-DzC65{TK=jW&QY{BU#qx2t|2LuHBpgQdb2rTxIE+TF58-`qVR8~TKGERF6te zXYNjJMHXP6LPrFC$DeWcx8{ah-=^OC+P!15Q}_Sg>Pf$dq=k*hEmP7jntxs!-@4Y3 z{cYhm;4xQC?^F1s_x7_+cosaTHxE9DO?Aqn(jV8Dr^8(;lHdI`VRWeoQ!=F(0zv3- z)8R>$H4`}Qaj+fUs0Z@$HD0-Qzuf+#Xp(x88~jkFKkXFrx!Qzc;u z$IvmRN|%{&pvPx!g_7~_69OHmpdh%=^=$Ru%bJ0qnP=~&j%znFC}{n2L?d$A{{GXy z_V?vEu}wXSx1YueugyHjEmLXC92dXDY+SIq*`9mKlQ^q|N{4Q4PmR?@<4^Eg)zZq< z14oHJTG~kS236j)y2nFNG#$V6ubh7E;v_u4+VWrW`LtYpP(6RRRF*XRS>XH!i{dVs z0=Xvxb4%yZ*dOWlrpXG-`~4JX0Dh~S?zIuM@ZSkCc1Z&Sv*Wv0&PI`!CjOtf_2FOp zT>h==veyhG9dDQ%5wY3XKIy>MqeH)YruF__V6GJowU`6iv=ov$=?Dh>gi1k2ndMeGF}Ia&`j02lZYlnBYJLr_rT@+#0Oyz4@mlf=r%q}p%W1qViUt}Y^YEeB4@6T?b1}YtF*1(`L;1tsHQ<* zGq`7ul|{(H;H>gXUyQ4#>3vF;KKtaNVZW84j>P?(fj>J%C#ie&(TNjZ?)?&Ib0+pK zu>epJu0IMu2^=ke)=f)GGwf-9!SlTJQK_7Kbn&dt`M*?{upiP=^~+CV7Ix~U{|>1? z1^*|cp3ZXh9y88Fracw#+3*u3k#|-f^Kh)ldLD32K6u;DkZ!a*wQpXR`lt*@d)C>I z5Uz#y`^OprqJgO7i!(JxFTWO@WD;*Muke)Qb>&gTelq#>Tm7!x-Ccj*>;Dv3`)-d~ z<=$BS;f9`d=Mh&NGa7Ci-wXX26uje4>xa#m-N4eJKbaU278}YM+tonirmCuSZsl?| znf06P=Y0i5hP1v2s#DN1g8tsTUvuWnfl&)F#6Ur24dAD!()VF1gRu=OlH;EvETT#u^ANLEH`o)AUP1gs>mB_LfWQvz7I_@7!d zd7p5Z?yL0HikX%Ikqf=jwv6D5Tu2o`MjF1-FYRY@<*)nI9PyV?&4;VT8E~TRaBWoa z{afrEZsWmyD9Fq`ejr6iG09uNCk>7#9PfNzx{fX7)7TRe>it{u{XJ7!1`9{&S44^w zXyTG?o4woYV7G+AjUg2oC}$S0(@b}ME#1s)me#)U3Yqz`k-ya(6t3C5(p!i3n|yA9 zvDKyTUu0-=mdABWhdOD;R*4VIp=TffXEr9Mb0)cOZoR18aDaVNFP{B)QB#$n<-{EW zt3sv*|2mTkBRUQ^^^QY#4z)4RYF&7T|3KAa|3A4?c8N2J+F}QsX5oV^Hlfy#@?E87 zucvP|9?0Zi$Z)UC&5F@xo(a|%{GA0M_7nQrdiN_fMlws;aGsKFg<-s-r8SrygTYua z<-lH#E6e*&7&OPzn;$G@lb|a0m4JKm6t<9;+Ck9VpY%Rayg;_-?`1w1t@DrN6p$Jo zNOQV!3+y^FdOZ_#P|lN{*4sp-q8-7^Ej2~#w(=G%7}}})etRbg7(Mryr5*3R1Ru=% z;hcEsQBHNb=vCM2xnfK&6y-SM%O|1v+NSK12c%Hp3g@l{^$9AEG;?)jvb4+1tS5>B z#ISos0<|$#O<&E-Jx=k_7>ua@h{PY9ZmLWwVblBxy!ELQ@?7Vcj}PYk9*`=2 z`0PwutwHebnMD!%-vV!s@6wqky{!7ig+;v{+9sL&bW_C?f&Lg*pCYy{5PBY~qTJ$7 z=Td*hD^gqHX*f+GyE$+Fi?igJmP7)*>Xt?^|RWBm}LH zvYC>(jEMoK_{O&!n>Q55(t`tR`uTdU#eB@wY`3`Ks$-;TGlo$nPzDs&@D>8vn@37` z^A&xWw>~$mW>(hQTAvy>rX6AMyNu56=BqoIH={s>Eg#Gz@KxKi4{G23Prxoy_~_&d zp|i#TY&u9fVTsFeUQ_j5vdWCTk%~l~?_Y3r?QO^{eY$~}33FsG%g4BA71<0m($T~6 zDIY02bux3nnxdyVJE?wXX5p~~2ZXwnR{Jbpm5{+3&+mVrQ$S+t&j)=iQmd&_M=BpW zcFY|cgc-0rDqNTOD^Fs$pNapPtQCB*S8a(v$sQ=vbS4>FYVzT-=-DKFUu(RrQ zjp4lvS^wpDaYLPBJo~t^dych@ubDunO5GbawxU|!TIM9D9A{r2K2Nj1;9PCV+{9-U z^&ZI!Y!SQBF>9^VuE@9H{d zlG87)!E+@*=l5SiByInr+4J@V_J@ z7z}W%@^uG)TAworX4Z$8mwDqqzB_#NW!}Jh!iq(QOzHr1$vMW{m8sn>_t!_*x~TAs z1}h&L^=cYg-?Ll22a3VFf?Osp?2B9y+cR)f92k!wiGgzec3k4!BDn>(hed$Ny;It^ z{=NHakwbJC#n({lk-#|t^Ny&>*|VkCB#pSu;B$c|w6=6C)?FLGwlrXe~ zG!EvWenCY-qJ3qK{cknkz*0XXqrJ&3B=dZrpOZSbs8sai{^?CF#{@RDB{I*X=(-xG zLVjNMb+u(ftGK}ilk+I&Lxun+H^QQlobsjr7rpg;)rF56zF&O2TDz!L&;N|p>#XA& zmn95^td?6$P;fOy(yRvRfCuOiEsfqNNqH_KBO~1vvHBNe$4Hu~AD1`1@aLvx{;E@l z>QbY>r;Q+KP{>fkti1cx7%79ev+7gv2*<0;Fmjn63ji1-KM#IC^+2;Zvlc;62F1|!5hK(t+fQ9*<2+nwdbKMQtU@VJX0XsT0`bj_vgG~+ zCv6Z^8X8&OwT;yqsi*g8gOT;P#q0YFH|tvDCCBNG>vh>HCDkS!P_lV;ty0K&Nqe_l zf5mr=?JU+}zCGz-ac3HV5!|4!&nY4z64(Hgz8WC3@g-hEjUnT>xs(6NyZ58VszlPTyCx)-Q!SG?VxEic@umt z-n@AuN(?tAgr5iucOUg-!cPUG58z!#d#=GR^AK?!&(8X$e&XCDn+p}f)|o3`@ykJY zLlQ3PAx?X2E^m$`D|JZ7PhsAVijl~EPFDoj-a_+uiIqZ{J~Cp1!yVpg#>-OL-fnOe zW~D))7g+H0X&&h^f#%0tFh`TVO4iLNZDg6hWwfpJi5|y@oR}+^IEwnyb#OT{E5zS@ z&KNty&+KSMOB}E|8ROSEU75< z3~3#m5DASdYr5<6of-3!@)eYn_<@!}biCr$jweLRgu9ASw{5|arFjQH4IOA!0vd#TOtRr z@xH!3K@h+p+`Cv8Z@BRIMdF)sV0do@@+b!lKpv3An4z%1uc)N7+q550xk-@eh)rAI zuo@K7IOL>dpajLiCOXePATW>{7OU#`&O*74qc`0%~L5^xbY zf>w!}r0oljt_q$dtq=?~U&gZ-eW|SwyDnL^>NJss9)ONZrXm-=*s9=}l)|PAnoGXv z&Mk{;LD!ssgMlR2dn+LX_E>Ld_~zW+_(GL~(vDxt#cj%OuLSMe`|PDl(ilDKLDC)% zVc!lD&{gL{>k~_u!CIgeb6{L}0>G(opj)G>3<7UGRD#B(yAC;ONEgYkoI>D^9#QaQ>2nL@Q-Zb#U3X{kCFIG+vPh2&}#rU=H%D z@$~VDf87SO3nvH{wP50@${zV%DCq&bxo4PuGw%J)R2a>n$*p?1RnP)FA~1tIa5Q;s znF&SG=zf3)A92Yn-R5TjZvoaKpb^d$s@khxrt3Q`WVU1Kf?&9}K?yo($J0x5MlWgK zG8|LW10FF`MM{c``QZ(76P)c zn~mW%>AgX)T!260wwx1O5thMHIzA0J^!X9t3$h&4!KjG|I`dMD%F=50X@=XT6&Dq; zSexTtS%zZf;sDW(+0;h)n zxYFE$a9)nM_$0=Me&4fi`um&-7EZB*a0Tc{P+^<)wYH*=sJsKMb&r4vCbuY3p5sTQ zjgqyK`bXS;sD|MMb^7gW>?-6<1qi4!w08fjS+fj7{?oU`vX6y}v9GAjpAWO3>BPc< zm0xSYOh0J5oqW26Ze>nhGGx1Z!TSameC*`OlQ*3YV<8jJf+@NU?i`=WV$WMTHN>SRWt3r>wLDfTdD*3=AG=$cfT&Q|5-WH# zD2CKQR~RT+{Zo#|@m6_W>C>mYp{llcXZ&E*4TF~&hB~j0Dh5_hmsaj9dg&c1`41oQ*4yU1KPfTUXAJk&!`=2UOt#8_1EP zy*=}*9ePA9NR~^mc4{0=wFaC1=1uv)_KK9<*FU+ey8Y0wuM&0($02ughVVIJJ4TWB zc4*Ovw2KR;$2Xh>$@5H@65tz?#LmP2J8oNnDV%W|GV$}hjvSNzwx zm8oTuVl2VRrmXQ_hw*CrhJ4?ztP)@ifd5B{W49*Fd ziKXwq#YbZ~r@f;VZNcN||Kr-0cfwwb6K0lyx8!giD`;DS-|HxXYUiLG`P=CiTfH=W z!LaAU_9g-6L46oy8sAx~=FoKEY*<*;`)`SJyflM>Xk!+Cl#D^GdtfO7&W%Ljk=qi| z32S!Z{+6Iqn4Uvz)~{xgp_@C$ZAvuDAu4ExyPF#aOXXOV(?{VzTbN6jzzj|RxAhD! zm9oEUe(Z_d?v-ScY70sKiB_)g;U$XZ7ID?V6ZWAB$m#<+)vA?K16yR=}`nKNf{v0K+PG>9)&6pN@Jr|9(M@R!ZPQ6b~Ua~(nDoqVuf*&Wx0ZiEQTKZI-G z_2rO7i64ARYrz=Q2Er1+-z7_zCOLN{_(d1%aFApL&@Xhg zY}YUrqROR^x=_4@W@imJ;{885wxG3KrK%ph#PzzmZjj?XwRA%MoPhRZgMgkF>ZQOd zgy+f$Xmo0^FUQ;2$eG?lkmP}7w>~)|LjzYwOMhC^%jk`y;zpxB2aX9EznX4o+|$u+ z&qI;j(Fc=>+K~yTl;=Ig9ZhMA_&Dn8NuH0#pa8l$g0?YOz#bxSv2u2XmenxbL58|r zE@>W_gjL-=FmR*0BBHi>q)2m#7cZW8Pp`|q)q3@^Hi6YPm z)0N>!z)!3?s9)t#Oo7lnYVo&@Z|LnN0s!TMPmL4F!#;~7xEILcA(?B$?iG(lJCGN& zx?2npO^S|ogHUG%Y>2tAq$p}lpE6~RM%!bh6s>s*3L99WxZP{7@*$((fZ{!HJ5(Q; zEgh9j3%+H{gy4eMkPFIk6NJLJB2DP=dN!72zn781p%JITXX2sVNfAU_$+ z%R7=)U-|^Yik>L6?kRih*u7@D3#`e$qaykV%oyEBP~%^Y;F6@{bgV|#QAT3sII zMq&FvI8%%E4j=Wp!?2yi0>cB)eclzkq~VKvqQ`4%rz8czVSd9#L(Fig5P?<=!TbO5qCp23^)eV@ zy%cU+zG4MAU*-Xa%ZHJtb+r2`c%>}Y*Jek?E^uhd#*XDpYIZfX8gOV6+jzFmyFRPu z=$Ji6`%zC21dSX>?`u;_I@;ROZOz2QT&_ji39@%x&5tGg#R#H!hS<}1S@OiPc=ygE&>j(x z|Jk!}6uzW>M+r`zJvdx;Hr*=Cqg!d+i>n9VmHZ&>dCwlW=hKB%Sop= z)P`WJ8DnQW&rj_7_3J|CE4%yB4}Nw7Uveha=J4=viG?Wwhs7d{35Z_Ti-t_lfFB{+ z!aXQST)79u#OrG3XVLW;A1CO_womL18GIil0D%kh4 z$%p{Fm~YBPR$%lM6c#=}8_0e*@8Os^44jC39QTl0vCq%Y*2bn2d59u0)McU20=pR< z5!1As1);uQ1QYb6t+^w~Yyn#zi4Do!ss0`bvB=hf8f^*d9OlyJR6pJThg~ul?uW(e zvm}cZai-~$aAv<}p*m=e1N|cD^9WOpGug#Bi@kgO;H1MzGEB97qVPTP#3m2KVV-3s z_5;Gx!$-#?Gk*tyae7JcPO#O`oDBbwg(65aP;V|3n<*Uz9>(3TsRW)aDq2OMDV&HN zVKLnMJq?^cKnG9Z6pAHf9ERpYY#i9b3>x2#^Yq*kHDS-?bIV{|^EtDl3Y~jG`|2K2 zfAx4Hj{ehNXf|L`-VcLx;>1(YEz)->pxMMoHQ4jV?56Un^>F0uk+7$buEde slDQeEDwFmc${hcnk}Lykot*v=Pm{NtatxT4&cfHqWoxw)mYBQ!FP=5ZumAu6 literal 0 HcmV?d00001 diff --git a/benchmark/reasoning_benchmark/figure/SE_numtries.png b/benchmark/reasoning_benchmark/figure/SE_numtries.png new file mode 100644 index 0000000000000000000000000000000000000000..aeac59a92aa876d3dd5abb0a89a94a274fd8d697 GIT binary patch literal 27030 zcmeFZXH->Nvn{#+0~-)fK@dqQC_!@0D1rpZ83`hiqmna56h)9IpacQQAUT7IfD$F= zBm$C=oOv}C`wQ>9cHTYryY2mZyS3e1%r)1XV~$ays#mXG^SO%BjS~b^1Q-nFgq-Yk zH4Fxi9)rQv!9NB^qFo+3z&}Dx(mGD+_GV75#`jGzipEY3Hug?7mUrk~Oz%5d+S~E4 z3$gQFp|@~ya&Q#p;IRGY3GDXw%{gd;hb`bDe>uqNI$|&+#^`^XREZQz48{^q?)p^? zx3}{{?)n;Q`}Kb|{BQ#v5;k1Gx0;M4W4ROMA$8C4JWq33>94Fz-a!8O2)*KSrn(Ux zJhqF59lZJ6g`EYw-|uJGe%kSpv0vc$L_x4;mnyDzeh`CUd7`@Y%Vj^ zyv5F6!%2h#Bk?12(=~v9F__k?7<6Ei`v@uelU?fn|MUN|*-*)T|NcF%O)qEUZl-a~ zQ)U*H21bdD^wei7$B0T^eF5~#xNbhIg)zBXM6hc2}(}M*RNkMudJvi$^>@in=32E@HZz6@wAF2 zO20UxtDbajcDSEzDlv(&}yG~Txmtb-p+<~dy-s#p6QE5 z-=fR9d3T>*QjEUqeAdpS<*iV(uycBsDTc|sE0Y}~+18zPD}`3fBlX^RUD-;D2>Gc~ z@5MaVe-GGKcQtZUXSOBY7#I*=Y2u;cyzO`D^yw_tUd1Q={;WbmrJwdceUcVVZaECMm^Wt+{%A@3k&r@9hFF zFE5sCPK@a_49?(S^}(L~(PPJEb{4C(-w8WYFNnA;#q&v*ev9HU|1~~-ks~M1DDwmn zQRm3P{>CW@c2-t}{r&x;>*t;(@R+xx$^=p+XQv6)yG|!Z3U_*UC<>%G&vtukO+*?{ zNe0|mJH8bHs{^Z$Uq)1%mY6Phu=jP5+`-=IGw$Hv`usrG2gMlNF{uzLejAHw+x)(; z@bF~UVfXrB)63O42Ma^x&Wn{B>9Anws)S;nsoR8kv*jT!5{s)iM-wAQP`=yeBH-c!pq)5b) zT;}`Jw6gRFV9Ddey;o~UBm@f@7mLMQ7xcyUH^;3yQ(s$kXQnkZ-IQy8Fa4sk$oAIO z)>fMBK+*Q^#31=U16TT!SN0!@Gk5B>^|SN})l^i1i|j`hK1zs) z+&X<(sgp5M|ALW`k@WTJzhB>=RdsQ3dEKi0b|v3q&B}SMS2cv!Ytvz8meqIeVLlhV zuCA`f(&yvkCr_S--xON3UE`=&dPr2`U}2u$$7|Kew6nFgwx$`wZ(Cr~$L;TOS?TSM z-dq!Ma&ksEpUoo71RhFnLo-oB-#k?_%%dP<}U)2&%-XCSux?IOjVL2M2{%(UiWM5Kxn`%(*VmZ^9M#X0pHrX6wZqH-<<%rncYRAk#anAPo zdP2hVS3+xn=54mH$50*lBCsx|D_5El_Nw>SIJP!7 ze<%3Us=2rn!7g5{r7-F}SdM%9HuK_*R~DN~V+1559P5i*0s`9pBy{W_t6_T{&2|{{ zT4}Z#t|*OlpFHbNa&w@_wqx}3Bj=4F*Vz`4MU59{*ur9Cv)K*Ges`v+mmTcyXjc1p zSArKS+uxooy!{z>$Zb53LaZv}+qZ8&a!u;zrnEwqmzSOP)_SbLGnavz>P**Ug@;r2 z06(w_Q$-=fo+>z%qM4zE41^b+eaN}TV5Yw?gCPw(no?W`Cy{~g-kM&aRk+Mc%7ov) zExh-)raU&s{0r?z#4A_Z6^Q41vJEnx5K_zxdoF6ieb&IHet(FuQ?s&42Uox$MC6?Kc-2H1G*p~=a~bl1hNIlUv`2C2J^RE{`Gxk zq`KM#Hf<)WYOT9{WG8GA6d^9hd8v)~>}0`COBQyXu>g~{8Z600>%^v;cfD2OprXIX zHsie1Q?gn2gRNFymWvmqz|IS+&8)i8Cw_b=SxkZ5s^-1Ds(SP0OE5bo4i1jWweDNn z10(w%V7RI3DM}#$2f}zNGRH8*>tHaH!^6W*i;Ig-Qc#$S!rrNyiu1Mm_3Iaz#q8pu zJrRv?!KZ!r5qWQ9NXQ*o?qTl@gPp44VUNb(yI5;K#%pE}kQ#Uo>9mtE63TX*)L1SLa_OH(Z0`llQRqM4W^2d|+V6_h3(^(qnCI@vOP?pzDbD)BJaGL^p))GP?lu2Q!W=L}jbmMH?OFbq zW=hyN-Xo=sQ!kg691_7LN_V>_z;J}TgDBQ~8mjHP(lwtNznRK)Uzt2QBkDX8)&^cF z(Y!Tw-MiNP9S)O7*=-!VZ1`JVPOfdO$0&!+XY*?4Wo0e63wXRFW$~>foz{E%f=}|z zTW7w#zF77vL_s4(i6+H>aG`9L-9MWS{G%qAhs)wHo19+mohSG2-=7=0xh!;!X$EYC zZag?9CIh@$D#U23w)amu;>6H`c#u#F#QCB{+Tnp@t~+1x{ij|A28J6` zQgPjR>>URK6^03%6Mm5)xR?Sn_&Z2q|3_Bwa5_wK?+6_Lh_cCO>s46Hfy=5)3$sL$ zeLs#8rXCS?nM(yH%yRki4T;^QN8;PRFCveKaBPuH-~Bd{pDD_5TKDhg4SUS8%?}i} zCfrh$k&$_@9(Yc`WmEhBuN5K&!}opTWH2V;d3dtXr7>CV^5d1e%Z=NuzWa%QgIELv zdVGw0HlkPfU@MR9eDR4$I^`|9zOkVVaW1#tP)AC22OM=)Z*MQ|&aFZ#)9QoWY{w^J zuEusHW5;&fU*v&DXwvu4%hq620neVPfGb528r*KGWyc5NAVP?$OE}eb zLuK1A_Z)h~k&)UDrpjR!7}Gwvr4c&M_iG|!xO*&+m_|4iJWslIPHcCkZsO?ZZR8@# zz$0_$-B4v;AI|(;PcbF5a-c$b@}%l*UtOP9Jhko;6URS+7dX>@3H&=mGPZRz{iKq9 z^5AlB065S9=;#cg)e2&Kw1jUJ+StFwWrAp70X-A|L22sizs1GF1LTDOir_o(u7QDp z=@m*wO3CQODD&91)5@X=A`2x_2irZ>8UR4Sk6X_5<|_HR=$eJIa6IW!p)Cww75Y+B zGygfwex! zCr_9mjq#~{U(n#;W$M1WHC7OteLUFwGY*f*($-q`qsVqZUfC|U;diukHuJrW*q^a+A)@w>eZjU(0MIU|f0TK4k%5<2V`JDeXQ6V#kVe!^ z1%Z+My+z;1f#Wq56{7RKxivmrQXxJEd#-Y2zvUOVKHu3|o+sIoJ z!1XfN|IM2>U$?49Ea*-og8?4hxBUi)akIEivtfMW^++WLJ$<~6_Epwx=VN}BZaBro zR$VM9zI;uK3xFpHcf@^teNz&?3=EWia=aPCpY@~K!tkb-R|OboHrTe1Xih%)i+6i- zTPsu6BURqD+qww}2?4KOb&D)kjQ=pOfpHzJ)7D74pjcA-^V1XOSgu@|d*4A6*}26BStgv8;juP@oKt|8e&{8|&Qw*b z2NL#N&&;k^mX|Z*?5pxFN8qmIok)gW;roLH?T`^iX-mNE-l7UsFxK$xkr#PO8yl|u ziUkaJ?%YASN9EENLSgsiyAO6&QqH?f%n~g*>El2~4DlJV4Q7OSt@`qkAubiz4GA~L z2q>$ns#1x2l~me-gFp)oyFnFJ$*Mi+`5hAz=lQ~(naYh}_1m}O^@{DX!otY1baLN! zdhebCZ|+a)A^ZLN_p#kyZBirE$UBJO?4w~cr);V43%3{f5HU1fJXnQ&(ZWXff zoa^4{p`oFWR7n`X{wW)OCE~RDTNQwlqHTY{z3m5IqF%lv+S{l;aP}~=Jj2u^0Jc*J z;C-eeB?zTWT^ZWSixn%cTowk?NF;VY>Yq`q_<@ozl!$B$I?CU?**RZ4l1(DMDG4zE z5PXKyM7TD%V(sd^^%(KZQM{dg#ul=TU0&<%nKO|PyY-L(}}66 z6ok5w=M4<(YEM>J1M+1$x1N^O$*Xy*%w;|uU`jfGh4ox=w2yZ8_SR5-VZD1}pF9LU z8U6LwUnn}V6%VQv;jt$8?vB%;#K5j>`qJ85pE@>Z0rI0izTK#ql_w?X*TibIe!X3cvDOWlm}L z>Sci%&ZAsGb`Cnw+FU;0eKEF!Y+=z)|Ho&uXP~RKS8f zT6fVlbWeT_yU=O2yV+R2WjBt?ci$_e+8Y4+v7Rj!9UlVG#XA9NJbV6}3sF&UxtcLSc}E|jnzze^5V&Ltt-7c`1Ub9V zB3LfE^a)Q!N9T=drH6AOME|;#R*6N<6IQDAZa(k&`ugg?liC#6j|@YyTr>vR2l^~N zZ(9Y9?kpHN^O8PAw{|aY1u#x^uoi)al^$myfbc$i^e7M#tTS&ulyLHxHE}YW1$z#v z+27oBlM2bbKOyhG*D@mrSsYrA#H){vJ#9A2uNGe!h?Us8FHX*FyRap{J?yjEb|Wx8 zo<0%MFBt%?e;^Y&vorGI%kYh@>hTak_vNH}kP1+N>ECzfD@`7|dd=j7S5mPFKoKYR=Wb|BAk;jc*@eeI6Hl#~LYY5Do#(b}r_$1qG{b$*CV zb~uauH&PftJ4`J>4= zxeEBYH--C{${ML8x?l;>qaTQ_E+I0J9F#RQj9p(G$$?l6nWwG+F?_*(oAN2FM#9IB z9|?4Ax=)iz4u0F;+X1S`*!e8_;WMCqfYKP8;bvjPeReJl7K35sC=Ds;?R$LadlfUY z4;L<6n2Q@wxqpOIAY^2og`VCIgA1dr`^|3T;iQiTr~PMi`FJkQ-MW`&0|Ej<;^N}K zi>?97L*D1Jzq^H;@9yqyXSRU|B*S0F_5u5zILChzJT8{e+gQkw*xyXNK!Tn=)k&1w zuL*p#oSa;=;Jx>-iIc!$SkIro3W=3dzYnC=RHAMl5!V2&oRy19_4)JXh#O`2&Pl|0 z>5>&7tZfMNh3+e6(lRnE;^Kw?iL*s{;o_gN`XDFEWdG6y1MC9Fp%^D_5E2#{neyxz zeju%w-gsRg>kpqF@mCuf8rpx>zL?(u3Lz6XjpnyP>eUDP<$47c30b#_)4_YMPZ9m~ zR~w?Ck*BInXXW8hht#p*+cyA0STmho&q$jdF@;sHTH#fvM;%W4q0 z)zsA9ieF-6tWBt702;1$0Mbl_5SS?H*p8kaZNOG+i&Ah63=3NjAwAGQT99SIhM`$M ze*8Eq8(Z_VNqc*HfXzsrsRFBLABKTM?}SxbtLj@9l4m8B0d@APE2rI)Cf>^~a4?EzRLtIT6FY zBfHTtvw3tU;4&nW_iz}Pm}G&0kXKfA?TrK0DL9xkB?w%2sm0ElH7UzXn7G*$g8TV1<|%=6-OH-zHi!t%S%cxmtcO5 zk0-)~Ad_pa0xm?ERXbY)uyIHI*VnAJNWfH%Jr(LTp-gILeGRv~cMh|+}os9RZLFNw>f zjtR^Wa{Ihrl<&Sbhu6J){kGZDj54J8QXmcMki(;2^YhEgFosbaFmfU)URi%)n)b(k zoeqnL_y9%*L8wXmhbSLkm+_oTB)b8xc?&h7us!B->pLsl9oh5>WP!FWEEaMY^@Grd z$i5#xR8E}bzOF3#=W%0D7L#>1S;g`_@tWZEIj#Zc#f7{)bi1pf_i0F7HQQF?s}HJ# zCdcngHoZPZ!oERA0wyt?ODx;xK1fNbe1=M|Y97w_3%TIu7MyL6yyW1R>CeL-Lw3@* z2)PCpT%50u+&mRHs%?g=I3NG=m2hUkLrzQO9zH$o2VY;y&$wx-7wh-N#wPdo_p;Im z;YYC#Fh3t`Z$P>p@X##QeEEJUrP;A}6m{Sab#sxgEoO=5IaNyDN`sdVZ{=lA`+8A8&;t zXNJ+H_j41>_JdEK!r^l45`J@iCbl&2_Y%<&Qj&UdWCtauaK6@@l!Q;C@^CPcPVyD? z>%6?otfO#9lMcQ-dQ2V%XVSLr0UU^be^T<3Mg@FwIE#xUCBRG zR``cLq64q->4U!tVn=xl=ST=XJsfm6fs4OaEZ$^pcM2e&4bq<@Zm=pK4M z$y3-{W?#iTNUFw_^(b?id|6lsKZu{X;3pZPkrS(t_|)BV(eUrFNMjx_I5Ikw8N-#( z1KzI3K4GfG5z^j!*vB9b#NdkHqIh&js(dvyNm*woZzJ{ybS59iRzfejrY)*(c5Lk=T9PIUb^+VL0sJ{?XN_Tb@- z7;y2av9S?Nhy&?KV;@F8_*wh~Hycb8m&sG8IQ|0I+1slF37)HTQ5+=HdPO$O5)u-? z3@AY+f3M`=*Y{9F-9tXCnJ9Cj&~8W%%3Yb?q*6(@v?bRUBU@q*ElNX-_N*ij{3+lW z6yFM}LWM$XE>UBj1{ndKTI z*gAXxD*iApucq)H8;iwdRPX>Ae5h8P@xq}HhK@== z9VyC@3_xWvU$}5B@kUU0$-Qxc0yNJ&*9q^^W2u)i*{kF46)o9XY$XVX_ z4GQ)OEIT^OoUNf$+6YWYrRPRBR5qQ~y0j_u6#f}*_VFEFV7H`-swlgkMi?Zv)2Q$Y z^!j`7vQ`aY%w>yJI|X-Y1Fq5W`0Tow-o4vf45+8%))3B$rF;tjn$|)b^1cZnNy<}Buga^mau4db&g*l! z?(RbS!j+Yk;lM7n+)(-Rx3Sj(43M1+D+Rhk6Z}3@Xf7+h6V?Q9f^ty?OQ;y5R3#)d zlu^#4?xiZw=e(v3WNWiM%8pYlT@c6UERfOApc;AK@#vHfAB6Rrf43*Um~4tl z1j<=INNoKLq*U2ZqD8gQb$)bHAXc0QY>THMl@56MvJ=&q1F41DC+fAeVE1tIB)=qL z=KRs`0S2Jr?Dk8Texc#rWO%lbk+6pb)b6J%-hwwBZ5y0k(KDU6XCkR0>Qn=+Q&O7V z?-TQ(UjcWZbhvaUVUq_SU*;DeiFu%&dGwzjvAz!bqqJR2o_$eIh-R;F8IL@;;{$2 zanWkKU-XMtL7rhQw+Ml54VojQWC83t@R7+LKC(#oQ43u#HPyX^Vq5w#Tzmp@N~WVn z-V{$ig=h6!mc(3r{rm9ab@+&NluXL-ORSsrTSf;DEn?z1=HZ1ykKS+^=ZN%sLgXK@ zAB7JHWDR2vefKhqNH&m4jz1>s9UG1CU1x;lQ^5l>sjbbZ>AZ1|vBQpz6&Ig9;2u4E z$;5GlRG&=!56oXYJi3GG;rzLu_Zxlx_pP5`9=~~z7yaPW_)Jk@zos`_Qb7A4 z8HtTeW)j9`RM^3 z@c<|tm}8ou-dXk?qCvtk9%OCpeffVs_;)kP*wSog7!)Gtfh1EvC0VkQClf$wVm(-L z?`S^>AVqK!dKGTD-bPa`@5o^rgQ`P#?<}M~!uNhY*2>n`&5Y*e;X%c5Ad`+BITH3W zl|{=iRwMrdSk3$(v$V9X!AY2C>(ZU6!iG;5bN&Y@30c3mn3zGF_j(j$TdEc`km*B= zaq1n6itI6Becy2cEpPJJYn)$8V>J!U&6*DT?ZXEgf`U4hmX=C%p%D>U@7ED?W!00N z1(_;^-i?2`dU;>Fmxs%D1_H1C7!=4lZHtF4Nk~**8+Zw{@7c3w*KL&k&zLRTQffr9zlgSDNQ|v1tc^z{v?qM2!I1Sqy`ViUNO8N4q=eN z@vk(RPu-LA^OE!mn+EEG6dpW?hyXl2sun)B5?#LXjf<`U|@hawO8YeMYt7P=?aO+VWAq^wIF5rKE@K?^!JoBJJXS7u4 zUK-0e|L&q$NZ?kCoGJwPoc507==!zNaD6W9tr*eA!|0<1w*rg{-~aaq51q9<;j*EF48AOe*x3$vgn7s<1b@MxM(@BKLS+J*at4azGPD&+OR;N-5x4P(kNQlTR6qdt2FjXRz#FqbdX0BXc4tFmVWhZqP#GUWoF5O2O2;mn*X-q8%A<>o zBLXg0hH~KtDx^3^7>mpT3ta8THqJd2V)AaL>gj?R@oNAVeoDk4-fIAU|H%<9d?z7c zVgSX*SQz7}*?vs|l1Ll=sf_`fN!%v}8r_6Zs=8^nA&8~*7B$D0Pg zzX}O;ccTf~kiuLoEt@#wxIMJDlT0H15xZz5=U@rKgMyq!yeH=)4Y{?YAwR(^!zC6L zss^Z^Rau5YZS^oQb^ZB2WxbLlW00Dq$H=!5n3aje#T<~du<-E}z9;@{d-SNB)YCV` zMjqd>In$`&e@cN>HUm|Lq-&_wjg*u=yMJzo{rP$t!k%N7acOw2Npnt|*M+^Ul;mVI z<$(yZ<>uzj^yVghP>y4lYiMj#2i6A_BtZa4ZXp3RX+(_t`B}T}4fS0uPpJrjJwbl~AXCWb>{*rr%!0F8I zR8&-u(b45VRV5_|NWOa(9CAP#t*=8N6Un}uppe7@Y#%U$8W0rEu<2>sW&20uNe|g& zb|3Ll7j|hnoGMz#6R5?#bV^H035bbZdg-XCGYblM;mQgMta*E%A02mI{v{{2GnYRz zR9;-Q`I8WpgOG{`Ky$`5YdIw)Ey$U?Up#xpG~QMkS-q!NHpe~P$!ytuB_jjv7LlbA zjM_;E$qaG=gAR{q-9~YwZ(sv6Dgn(K6udnv;Zp%g*W3W;KJ_*86y8>Ijulv9BRn#* zS)knhA|MEX!hL&32hDm)N(w6j!`Eq(YuBy?*wB%YB|+f<$)1R9ktX5S6&*-FK+WjT zn;!l7QS#_*%Mo$QeXqmObiwmNje_aYB^e;Z3Kkn18#^E=A*Z02TIITT?;i0yqa~F3 z*4H6nL5m6jaq`FH#)z*rh;oGJu1@@%ZT#{WMz#5({wS%Oyu5t-TwnegsK`$5oJ6eBQqpCbLGe1+D*?GsQIcw4&MoxeHU=bm7s0ghT1%``%<{2 z;-h2j^Tjd6x^I9$`IPUDvXXR`R@S{n4z(Em$xo{i`@zwC`DGViaYHg1;(GLJ0S$dx z(<_eHUgfIyt5^;=94X5Y(vq9|VHNfj=V>JDESX{SAMtUHu%D*mD70lYHI>UZzlDuv znUJnDe&jq4CqO=ucFR5-GXC|s*W$ZBumsPj6__E!wZf)bfRC%dB0B+3#Ik? z=l6CNlbvS|Q>GE1DSfPg}`$u#qvs_lrSAU?-j@WFOPF7 zF1!;lw-tk9scvwCnWBNDV<(b2H7v)jVGT`E`l8<_H9o61vkzr&eg|kU`WM_`uyR9Q zT)e$_M4p)$>jC`&V89a(A2ny|oYKCE?jVedKX`5b_9}@)n9F=#0T~?Aphw5bUDR4* zC%-)Y+c{uZAgr>TG~l8RX%@^Gvn z@+W~IV_NpqP~0Ls-4bn@eFB^D3mvtK}JDpQ|L(Tk!1(C!hYrwIZCB_JZwkdb)`6nQ3lz3uKwTsu#zthNDTmaYlP zEkA|+anG7#k;eQXtB8L$P;CSyotD_}svV`7-nN+lWV=6C^!hXdxagUgnNdDTf(Hict{l>}(i$uZ4qCGC8P%LUw;mTx~|h3dJQ+_x3}6QaJpA zAJXNSmw!SLp(1`&NQfh>jKZE zKo!$sck>S_p+Jq>sv61nG(cPeW6J(?_~=IP2w1gFmL4Ctc|}mtb%VQ{0HI~|0i->k z;;BTZb33JK6lWKBm#b)I)QKijG*y+n1)OftAXfvy+W%v ztATgnYL_%2E5{{&JoYGz#W-YYD)mw5OX3@n-$ z90uU)rz37P4PgCOA@hXJ;J*I^{ndM7uv4tGyF$kMos(L2>BG z**~bUUDt{IM|JSv;A9iP5|EPp00s<-Y$dq!$02q>h-4FARJZ$AE-udvNeAfJL4wVq zsd&XkT{uXbMKSgYAkr*7Q?#w(S;k@4xc?##2I;%)V2SFVKY!M}K^h7*L2Y^Y03b?} zk_4f!_4x5)+<6d`XF-fb4HIQh&2#$o?e(?UZ!IlaP{OTw8gfpoU;mB6nw8~>+2JIs z0%ZK}a8S9$4rr%mp&r`>P+@J*v2_{*?`j~N4vUGIT@?ax3h)LNBTyP{aJw7JEUHf> z_~Y+=yU=_QPgc4Vz#bBbXMlVIsZF3Vx&~qgYuF)513~}D)mvl5ve`-qzQ=`Z>}@1_ z?;M7qCoA7Dr^v_{?CtGA4KFgMtgNgpEBmaY9-cESwUU9)wqN7w)vMbeDR?)$I6Ir+ z=ZEn>k=&8+sIxGmlymIm*~7i?#qBNzrVPoWf$p#ziG-?cIIA`bJA2Et$Bd?6Oc;?C`NHh?`^Mj43;_;8rK|yRsnFw z2w!gf3N4%d5JLu1aL{ASLYqe$bbY*k{P;-YtBz28-%2v-E6FJe-aGq+5~BK$52g9~ z&RPLF^!xsQmi@EJA;}ELbW)+&<_1(;wLzuwY9=ulw!^GbTMP&*LK$B zAQdD$LwXG!KXWp7*01E^WH@`}pguE;e1Cb*)*gS1JLBCcCC8(XOZ&BtV$GG3R6`7k zinQWTUQZJ9Y;u7ge@(i8L4JuadBs5`FK@~ zJ%F7skVks_k!I#piRSzqvJ7_;rP7uh<$6jI`9X=#Uis~2&l}*vFeUIDw5Cmz(`hM9 z119zI_EnaaLU5cG@Kw;t=6L%flIY^a3iW7-5iG?m`WKvEZx$NsJ4{69?%r-&ET<5u zXFv{5Z4QL?#XcM8B#|#3yzoxUx+NBB8(P``8C2FzN{;4MR3^KQglAW32|LP^EeKoI z9Lvan;ivZF(=SHVP}d<=J^aVt7h7MZ5u~rJSMc1x4o0#IijVt7l^*RBMzYX*G~aJ(_?HkA z8`I&M>1S~99b$t?Eo%v2qi@d(INp?%dD^83s0vZtqqwhMo8epjknFF}o#|0-XviyL zfyYaKfWZ|6@pc~#E2ql#?`z$Pm^#nCjmcAu+Ef#{{yO7Ap)w*--fdcYELX$Uj5eS9_9vy}eoYly< zRC!R6rkN^Ow$e^VTPGFpVkg!C=>2$VJ_~v_BX(&S zdEb3YmwKqTVkdU+IL;9!bEtfTRU{;|D@#P-btu36cz8QW3=WHAzS(4Wu*X``+H5nk zN9)^M>{qiVCH)B6KLi%oL}`>46WuZ}V@GnE4aWaK*di}d()@){u0rJL}D^fBTv zvsQll>ZOOPi@vvRfdIje9G~8gaOj>t$gn5pFUJNOy4Pa2n?4kuOL}{ALH|EF&t;NS zJe-$@%BMYG`DcJB^%%ujS(n&9&!%%5o5^HDALNzW`Eu$X-i%%3P%c~3a%_ea&@a6u z5$_vR8_A$Y4obtdb#*h)lLG9(?$$~dh-XkYAOtqOyt{G|4|(tXybcOCIdJ>hP%|Z_75!bX2lY8#x24;G zlw8+h1njl$+<6b3qDWSUYbyb=d+(k3Vgf?KjNdhqj8pS$l{?u&ii^`7YSljNb%BRI z;~sEfQ5h${*43f5x@d9lG6v9AE1x`hl1j{@0Dz}<{2q|TsLQhU1;xOI^TMERTU%SS zkmCn$kmc@>ojaESRSbO;t)Rz-4;0&Xy27HO(x62Zil$5;HnutbOnze3GEJEd;6T#$ zS~9dK=oJ?sgK#)6o)iA=h9M3JUEAPh2D{Q#SQy&Yp~YY5C`h2W*nyfvU@x0wO*CJ z6?o?Yxw3UVpsBD9fvFrxn!^8&B~1)+P;Ax)lcDjE0ceLB+kk#6SsztlEU;nr-Y@M; z^amcNROwqiokCTWmNrydRXk|jk6!0a=|X+nNRf=lF%Ux_!pJ+`9XkAosReJ_k0dKl zG)M8=fXoP~Do`)tKh#V!q@y_O)%tpQ*VA=7h%Q122&f6H&rP2C8>Gk>M{o#~8&CX_ zt$8X3bd0l#>B$2qXcW~VX z&JTwYb?W1~Kpp{TR8;dg@W#d+CU$U)a$+kl-TA(9Hf8I^`B*ti!`T#|8en0LQHvEwJ;@0^?%&)T0gZubFmf$gO6&6t?$V57+(~23Oq}_Sp|p!Ap8VXkZ8>@+C0r33G^L zKa<|cj~ehjVBMRNQ0w^6{`z8jsIq+ExtIrlqkDRY4ymfq^B{jab0wGxfm~X<1v*ik zvMJi>jS(n11mC%n)REH6t{bU;XSmuupRW)PB36wVy9YZX(Mr7QjNV$Oru+`6;X4F1GXakPRgh!eySdTASX$+`Cv2KbBo&^E%eoFj`K$rqvv0z(X7Zk9;kOoa9kXdKvCg!KR>B}p9c)<5n{J#X93Fm(S#=ldr@F2BBz zcLUmb3x>l~l*%+6t_^IVW3Y!xaDjA8@K_l6xjBOvMZ`S!|C8F~umQxlrZh5=*32)LHVRYE=4$Qv3j$Ab`rN`5X?a|IwPmx!QkuM%$2NDcj z$u9ta%kAe@T}eRqH^&@MCB??DLO)2mX{4O@j=Yg~ZIdpbb3Pb)L|$K#VPz6I>poS| z!UQ9m0Sgce&I?z(H_!8!<6u-Y!LCaJ-%wf(i#i(DcrJ$T?j|i(g&rdc)+-D#YYu4v zz$Xtov(vp?*hPY>E6!*Uu-UO54R2|z zXEYp(GFP3Z;|_T3B{t&=%!9Dw521(0^enUj+0q*xb7;%$%zg(xWA!J9i*%*@Z z_dgR9KmFtrJ)EbZgUV;~Gj-B%qQBF^+tr0~Gp14qXR|p`LO?aU%3yF*rh9GF7Khs- zjpS#0z=Ul1r}JBr?1qxq4U&SyK_QWu4b-wevLUtEPPu3aqyD01>ZFBPR_~px&gyC* z$L`r29!FU61*oyc%UcZVM+6%XJYJuL3=L*ZgZcC4 z_73G3c!tgQWVGzb$#UcM@R!)`#{vX8a51B${~J;g3CnhdLYqD{XnH{J5`f}YAt(X@ zM2}#eq#E1;^lDj84AwPJ)c*W5#Gp6Y*C9dm*{Ypk!2v`4k7zD2`-N5oj!F#>6!suV zGRPoVSXktN18j%3M15!2;wqJ8PCN7MKpF7K?#<~=&le~2+a}HCM0RHvBHIx4Z{`$r z{L=8hDNRJGN~dj}zcnc2tXinEuGB(tYo6y&kJxY#&w*>UMwiB)v1_ zn?u6PT&h+>dLH8^m_-KAoTf(qzmR0CS~~!wQCAbxN;_ZqLTPFz$oI|o^-IbT2=AQ&k6VlAvYEC-e^k=~z@G-auJFc! z+X>_HKyd$qX4BVa!^jc*^*YvFra!+P_Ce}vr%^x1RbjsXZ#X|4jvYu&?FIku*p%qT(fCZO zo(Nj6A7K6S#mx&kQBjZrUQ%pgy$G#M*c;iwjSj^zi9o6KZ-5lla-tzT;Kd8a?KdSQ zg8u6v1zuar*9PJaD*B!{UD|**kbn%a=GZ3>CK+UT5 zZHWVeaX1N=W`H^Y6w6vsFJdApgQF%NkhY>1pUAZbpO@kVDW~TS=;tl^@=T+-O#^&( z<^`ahAcwT}pv7m91NjqD!2?A8%7pkp%2>cjoJ= ztvVvwkkvo+lbN~(<o(7h-Zm#iz`P zD`kFfO&jQr6_)S)g_FX-z(g4o-M^0wXdC|kwZ~Y3Kz5*Q_!{C4_2mmuk9z7~g)fvT z{A44-Xkz`_IGq($Z0cGZE$Y}bNND{m}$2!DB7?ELa<`Ya>3^ z$Ov?R;J{44TQR8L>^BSeo=_7Ya>RJ*zwOM5f!8QCfsk_v7=KJEy|$sH;fbvY3d>E0 zH1OrKIn8O_9OXAXHVn*Ka4~MQa4(IIP{9)z;jMozy8E&8=XR?^%nKTR>r3EPoqj&X zI#OT>Fb=Ol&vG_jO}+W*3{>TYD-q$wW4^Z%2RIg;rIHJ(n9)1VGqPw`^qUf^*|%Lo zwS~#E%-m`at)_z{uCT+tBY+5sd9k@2osoX9{6a{!($O3Q_R)NeM2x_Bj(D4+Ckz8B z2BXu|s33nctUGJRI=IYOmd=N%woYEmLslU&dgoA9i5b0Q!=GlYJ>8+4oOKI^)|HL~ zHxP;E2NV`7F9W&foD5f^1+mbeN(_JdfIW&4oADYM5m5OCdxm+17=KwA8}%5Gidf(b zEqmqCLx@UHYJ(sXE7p!j0hcGPL&%AhK%RinxZvXhue6b?-nSxFTkMnrPSImcbGlt2`2k+?iE~(2g!Ityr$8AC z*t2SHJ?H8SFqXSpYW1%GAIir0wjfXe5*Qpm`6jc_GUrh7otxW#ZcMKa!2POr)n=h8!#wY8%lu}eSX665rpv7I#sB#K(ve_@uK z(1YBe5{NML0>n2vostX~X{bDz%cN=Nl2RBFN6AAC5!o#{$aq#;eWS<5yR@6vq+Zd6 z1I{42urYLbzSkHnnKBw5OSa4j%U`mV1N>m${=_i52U|fx?-tpLWn=htA+z|T4#E4A z6f~w_7ki_Jeyu_jAQ1BZ%&MeepH8_GjyvT;@c$%lD0;`s6 zrAL(U-35JQy&6O?yKW!X=aUcid$4dd%}f!BES5{R^F6y)r`yxikJ3fPSZ7Nt@9#|Z z4C-rZ6Jt_Abc(?M6Q`bn5aL=GR6FMT83So;iFJIJme4_hSbB?O& zqz`n6)R|GPt~*owSBUR-T*O%(if7YLDE6b7Gh|MrdAeHmxeglJouHBhe5x4zW?-xM;)SG{F4iJ5 zjGreg7$$&`x4> z=POxvB`d?@1p|zH&_DAf9E~%OyGQf2KfpUoweHbm2S@3;ZDhX_N#-#R@TrJ1Y8xuY z#WT21iD6*|x{Lq)QauKhRQEogtv3`P!nP{zD^b9 zUGytCY4`)YTT3iknP<;fjkLtD8FZ=#WqEl7E{nnk>)%7A zC8|8u-j};}Wz?^J@nc0R1ico(c*K4hF|z8Y8)Uyr2?_8M|InfGW}H=^rR`dv=hJB; zJDQJmbqN#STY~#jMz#}!F$b~!`aCNFflYDR6sV(2t z)a=aOCgetSfrQl$Pmx{UV5g`1J6*+S+~>2B&C-h+ctRv4?2-wWDR+q)DtDRV6fn2y zx-Y)K;JdPs^P>h&rPkr-*TCRZ987jZ4D0-e5iI214m|jYb7!E^eBn#Q7hDZ;FGE%l z=$joodIIABKKRX}Q9_vXT{oEYb$%&X6GmvhUe=ou93TIs z+?CJHCOZhXt&RK z*Y|Y6`x>%Az-|HEuLu-Fe`&1ux-PtugFJ&4Yz?Cv@{TR}!x?eO{oifx=@utUmCozK z>IajSxhCu)Zvxl|wcWxC+0g3&$bmnGn_5BpE@+Hn;H`c-@rc$&9Xs%@L){)j&n(nA zf;vr6rxd)3Ed2HB1RT6$ztNk>0Fy&s6Bp{91Z5rwprvxHe!{eVGUDbASQvJmyxA6% zqgtc?IQQd%!Gj0vLPQ!|X!e6n{3mL}=~Z*DgS`#tfDeVY5M=>jZB%dxJv3R6@f$+U zGyI-C!G+FuXqm+Uy$=fgM~rfL=b{&cQM#W;b7@R|V$Eu-%F2_{-gB#8_+xfA4Oc z`?r1l-Tf{`2;M<--_enrntJY|1Zd^aI~uTEQbM+Iz=ap=fwUh|fgme*S=N&eqGRN{1tv$w#oKPWQpuj7-o zpj1Qz-mP(rn3}1Eb9E*o=S)94tR0f!5V8V88X{D=Xc~FAd)z)QIe?&9$j=ADtm6lz zcd*m9wlsf_;n*Pwz<(#Z&s^UcGXX%pz1+z0V(y$E0C|5q1Bhv$nP8e8gX+uuyZLgT zKTmd-I)2`1jpfUENme8{4z(`az!-s;7@og94-bXIk#rUy^#9dp1s!%w->Dy0L8}#r z>l?5|e$;mrNF&l+We*}pNKf*82KS!T$l2G{ zahUui=QvjTB|HAEsoc&+%s_u(OI&s8f`RiacO@r_0NgbsEG#SuGGz2F8e~TB{OSL$ zgM>ya^wN(I)Z?29uh~L5%J$l93cS+73N%mf{;~)L9xozzRVi!+)Hn|BMX{!%Q-k;O zY;lGIO-`Gj#g=A!%dtGz_zm7D;jOn^d|ee^mh0&zCvQsnt=xt;kDS$q_Al^N4NdY2awk*ny9Ht>!Ob&z1fyCN?X?j86VfCe}P*7$k|w0q4j<)gMec)4NuuM(J% z9Uzd7ooH(A>#v_`iDLaq!4FP2IxLDA>XoHJr%$PY{VX|@xqkMbEhl~^a>vjT*rG7? z6tro7UWZL8e`|^`j_&BG3~Q1r`hjieZfl zt;mNe8%L_Ik&w_nWQC}H9eMy* zD932a5tKg+d9AuSURn8KVYn;)>Xz$bLo-VDh^aZXQx^LRf7X{^2?Y8S;O0i}Sak;L z74ag+%qseJuAgz@*KT2JR5Tyq;xI6KeR~-UXV}B)UUK!^{Z0Ycd^fMN+V^`bVRkJ! zslYXO%>yP})iBnb{5=}qdX$MqKzsbv&zj>a_5yY`#PO|wNqBEdex7Qo{*rh5YV8x! ze~ZBwO?byAcz?L{_8&vTNy^aO&r5_9(H;L+ZRZ{jb-u>&X_ab=J&DX3lr4v{D_gmB zMy+1(%#mLdI@g9CN0~1Na(7&SZMVI@#Sf zpz+Wl`7(q4T(?J;wjPe|C>8e^)k{jXe6uNEk4`S6qhHH(eL#I{vE?O=!;R` z*s~RxQ+GRl8UH{c)|X!^aXwrCPtZ`5>+pxQ+qWuj>4`^ZVd5I?hI)ENVnsKm~0^;+DqmlSP_7ka?Ou{x80~ zgvvF#oEfXehAHVzAzFA0gL4apA1&}$)>Hxlm7&H)7`iR_k^BGzn{+N%oM2sh_)k4g zEdGhGq0p%f*8z?UI}45^LK*4mtX8*rFn^+7nIprm$@+TIdD`(ip7-AY96DiPAAg^= zjS3o)v#YAQkGx*AXi>nNwD~w!Rm-T+L-bSFEhU4*3kSRmPPtBNvOXvL!auxkEA?NY zbprdOuC1+Y*lw>hzossc=d8m=O-xP6H4Ss{3p5P5-aP0JyFHbL_;Ha0dulg>dXX+y|b zIyy!hYp~9A+`Gy!5p=iBuOgMf{xM}WdWuXK0<(W<%>K+xDXuBghNWV_{i!U+t>kfJ zkJNiRucG`sB@Rq;{hr$}JfS7O8#tV|)xIQ)Afq z>u8R(^v(fRb4VP)ui5moaYi#N!u_x+BFiD2oQ#QiA310ZC+6Cxe1m3h^rl+G;G+dV zKiYi}wz7yGkdJ(=w!p#d>Y%1=ku=_HxwfNRSYN*tR)Ykn^PiTzgrk>OH{*~%vSK}$ z<+Bs+HSt>NA)~WQ)*|cWUdgV0jvpi+!6mW3VxfCGTJE>?ZI3kO!r_~z{Z?_tSLXk#I3AUIBWd@ z0E8gmP>C7=?Lad6;upX{^6)CW2n>uVakx6~2m(q*^)fOut&_;4j^5#RKAE($U`pZJ z>)+!I?#al=Fy!BdoB?`{PN53~2}s=O!1lFwfwc!;#3uj-hlVw92`uj0emjlOE#YHD zmQZ-)_tY33GlIb|={mG>>`hP0)6k+swVndL%Ba7boE%9daQ{1EMC*HE20!irGusHJ za&ks1!R`S#p;vk0r1S3%1;q?`A&6f{_%B{PKX;u#fw;449An~7gM$TOL=G0zZ!k3+ zpQzOkVSfu`fFtA%6VNhZ2`Q_t{=>53_inZMKq~9V%c@y1tlF)pnNNwc9kVlWg+T$` zW)QE604oAk(X8u!U>o49(2mb&s;irW!ooMzKL;5G@Grw)>pGwsR~I-h#AafQBJ!U1 zENu%8QB@xzwl(bH6%`dz*e(oXc8K5)xx?)>VI#)TLGo4n$@ahlAst?Tc+qPK9tQ4p zWknrB7y=++d*FSL6_VXTkV^eB!I61^Hh=!@Ee1S99Up*~Wj%k}J1rlgDqQPA=8Txw z*kQb)88rz=*;}2Gmn&Xf!BJl&5rn>cry%_LA8wdyS$plEz--P)cFzKq)gHc1(qltq zq0-6S)9o@}v~jqU37_Y|;BO!TCqp{lMPCHD3GT`ebQ0$u8XnUCAfAdZbiy|QG|=@% zaj>U}xHKdW0o~ zWoTp}zoK-cyTl1|ZlAaJ%?*udJ9Ji>(q#f)e4U8D=yC@YmK!X@R##O47#A75>>Of_ z6V?&XbEDr&jdK-uBsLyJn>tDPX(Hl6_3*w|nq??Fm0%O9#{BXJesgm*0M}mFCf0ax zmK7#1UHes&GwfgaSSS6kAAgKBMu4n-(4w*EtHE(SgIyAfE;AoO*7Xq4euHYd(3fuz zR6$%U0AmjWm)jS=SqTazJ#4G|nXw)_;iIy^q)k9FXnzZYCWVFv0JNSCnwjzu^9avd zh|4*HaLNL}NEbkXfR(B{+p|n349rt10aj$bw`=MwanDAc6ty@5AQx1n;KT&UNgwuB z&nVf(w7X+PgR1LwbR_Q}i1gYap!kJfj-O*4hxLH~7#0Yv32<&R(YoIX8pc8Rg`dWm zPFP{AqUNV>jJMj`zK^p59U$|3zJh1gq9xPj3`EbJ^U9d%rx3}(L)n6v40eJiwR zOhMgS$zE~~n+VX~_Ed=s4}88JXijQmD!WWI0462!ygc`=-`JYCsF1MgLZcKNw|OPwnHakd?jWbl+jrt#UGET#XAycBlO$76Fhd=GY&$TySz1 zpoCEr8{&;zClV$M;Y2d0y*YNQB#qLrz0!(vJR;Q&AvAw95#}B_?KOwgj7MkW0As$9 zZTA;x8M;*VBM@Q;SVAwRv*lgO2E@owHkb=C0eZ9zNnFBQCzcCh z!&R((KdALl>)M`($Y zin1TYML1=wlZXY0;c?p*y;xeh4qO+wVH~WitiBef;&K6PENH5+1xp7w*L@4~bLwnF zyJkeaYiJ+Y5C;YFFk+5m=N4Pz2@v4qRqeI_qkzB>S%vl5CBO8FG0Z@(-fk7HLY~C3 z>#Ve#FH72eV=K^Inp0)irTh1kxq-@aJ5fdeAmf$D86WyiQb!f(&0pUnC=9H+B~%qD#97Q7d*NLev80OIlrOd$}Sg} zWM$uk;lLm%x3KTs(I-XrKzxeg6tuQ+pBbY*_5&Xf&MwB@-E?G?hM=^Ly&ae??ef`R zb};j-`#v17!f)ZyR|7l_!HWTuZbF&K@h*vuW?;cv;pRSyUL@6u`dMYyaR*$X)+ZfU zQgpWU9!+Wzc?x%nZ+*Yb=Nf{@FamJit5lYPLI$Q9!mS%(5a;xX2e{1w0&0RrM|CRJ z9=R1jAN~}6TY|(WC@E#(aRjb#pAe4#)gh4HDRDd2F^o^^NH1pWY)8@%AkS`u&lDxR zsKwUEt=DK0Pb?rCD?w2a7d2sDZcm)6F`7?$rXpmJ3JH7Ay#aRi_9~e_mvXh(p<3W&nJIqA zFfK9#0y4spcLc;Iha9EJRKzREz7!kE|NB1kzuB^0T97*UaGfT%xP!KG47T|mvs{yd GC;kQlFO2X2 literal 0 HcmV?d00001