From f620e8dff0391a750507f2e61fc9adb0949aef28 Mon Sep 17 00:00:00 2001 From: Daniel Szekeres Date: Fri, 9 Jan 2026 18:25:22 +0100 Subject: [PATCH] Added EMSE 2026 publication --- src/content/images/publications/emse2026.png | Bin 0 -> 89443 bytes src/content/publications/publications.yml | 6 ++++++ src/locales/en/research.json | 1 + src/locales/hu/research.json | 1 + 4 files changed, 8 insertions(+) create mode 100644 src/content/images/publications/emse2026.png diff --git a/src/content/images/publications/emse2026.png b/src/content/images/publications/emse2026.png new file mode 100644 index 0000000000000000000000000000000000000000..9eb905cf4960f5c68e3c03938f85d6444c4c0bab GIT binary patch literal 89443 zcmdRWglxAVSFqa?3u> zuw4d0(O;93dZ^(sv0>n0y=HfFXLU1T z4JTs?clllN`}jh;_8I9Jr$nreZ{z*1UY2f_1O0tGmdkyDSf+Sv+GR%H0;N^2eGB)$ zhIwbTR zs9yHaRHM)7=46dpK|IZCR;>~?-AdVF&6zsqdt6+xq$F3bID0EWwm`=b7#tk@;`f&- z+wr}o%Zml4x*5h~_>{04_r{9#w2E~fRCio$+qEab;%HU6KClSAnina_$-H(GmGC;h z)?Q09vyG{`3ct$>Z?R08#ykqcCf^3_aud{m=81{aV&1EL-@TtjlPg0{M`ttosmkZn ztz5fEgXI>R_F%Q$wndUPF1WS*)w1q~vpY@VnaXj-K^@ zXE%!FhbU)=tc?^5Pt`epb=&;ZRO@}bXYkd{px#53?dIjTBys0ug$j%BjSaqYEg_)< z)Yb5T3Mt&Leh#Dy*O+#`p%iv2`}gXW`=6>?cs$(D)QUFh_4^_guBsIIQwUm3Wh zFHMh$aoG4({w)a8?{qj_*q!`=4a3{+z@VVVZz#GoiLQd@s3x{aJv%Hc%znClZ7935 zM*R96zKxTA>wY~Nmat(-_YE)p&`GPpXFi{-E>>VfL-0fQ?PMYyXBvHG>R+~MQvUZg z{LS4zzvkuUItftRxbfEBk45zZy5cae;#&rtol=9+XAM7cp7^;sj^wL8A1gW*C+C&a zEk0-o*?;lk1%ekrUrk>AzvB^n#CG#}m2Q;G{-(03s;W@>)}?O2A|_`CrI5?f!AaB| zegTU9TE_)GyNURB@80Phj23DQ^QJ2X@FEyA+G=L7|vnASl_wL=gmGnK0e?|5l z9P-0e0?y9y3d^SS;v8$wqn$Y-A|l*d9A}MjJ#!9pbaZ&=U1c;TIx+vZrzimd0eARp ze^otCqFw4seZVRt^l)RG$7OY}tgKA8%Er2CqQY{(rfMSlar8w&!wq)5YTL=`O=ZhY zG7sSWD#6k0$2F0WkvHxsC8wlRz4(1{w7YQo_H8jSv8A2_-0RmLaC85GkTx@0 zgnO~Mxp{}zs?6`ww^(!XqudQ#+=$;_-P2N1j*pKGY8_}7uIgVST4(8 zlJVTaqJzTg<;&e;Zyp|==g-&SSh#M9iijw{%f7z!^yD6Ja&T~Pb~eRP|7<3grNVSG zqPV#DNg`W!d^K$Ke;*_df14Vco_=OHp_U`Ev0?j5rX2#lB?R@~10maAWsu57OAJm2 z8Y^^*OSH@9!%10F`Rq-Ss1}*p7g}$G}w6Ec4;Xr-c1H;1P;F5bD@4ZnmLYF|JNsxEG{Pw8$;F9UHqoX4%@pX9k z$wA)Hkq7b%E(=_2lv${cZ|^Dl!bNc3O3cW}h>2;YcwRLDnXfROrjy4&{ zQ;Ykykx>geF|e_*bp~iuQ$-?1oo~|hs>_B1uPP0(F>Qb>!$hs4>F#_x8XDT$xVQ`Z zliy!!JUx=*4_UCA9R$tIt-1X!w4d}|nlj%YCl_-4GZKP(%h%OsfB8GC-0W!kSGlP| z@*5t@eygg9sTb`V-v>hjGAiQW;px{ondd2`zapT%@RF{y9%iJbrjFc&G<&!` zbLls%r>mQs`q}N#RqYHbE1O&DO@jRN)20e1ggejB@H!>m+1c?q3QBQM&^^bOUu?y> zE9>g4qqoutD5nIRmu@Vg#N8;Lt-gH8ps;FD`3WueBPYL&!ut%9<_-t7Wcg;@y@O^emNH z>)~8@&pPM4``Vm2Iu$qPv^YL#?A?75h?>OKqFrTwDMKGyX{&=PW{4(ndxv8Ga*_PO zZw>=7?~}gn`}Xf1Si+*(uabPauomN6xXiZ@fLN!q-_W$Qw7k5$vQ$g-Rtk_!#FcYw7H6D9UgX7m6ao29Yi=Gkrub9sHUMJ z1CFB*^ZwP=#sK+^hUPs$mVpdWcxqW2n?LYokRAmnlmInkLhad^Yqj{Enl9?)2H&$i z-5~6DQJ}#`-kdR2?FmMqvaB<;9MEov97#VW`K^AHj ze{q;=*%+@tc@O1RGK;g2kPJ6O^2w84F4GQ(gE!ceu8UoP(R_QY++sbKtQDGBI3Gxue?h75)t5yFOTawq%k!ISL9UUFj z)f^38|4QZ-OwG-SE6s-TiCP6IDE)CH5{q%??Onvs-;-h;NoLucRF*?}>YYFj49F^n z%cJ#4Ba8;i&~OIQ5`~CIOz#r+F)2=n6y3|it#qZlVJlvo5LCp()YR*6D~ju2e;*Bj z@(LIc@IA#>SAUVOf3g1xk6Q;X{xeUtPbW znXeMiyYy-F4;m&ur>C)%)ha~B$>H|Ek`t8bf0}#%+c5Dd$l$60q}42x#wyVG1eaQ! zBxlG9aKa%3GNiJ1A}`e#hy?`%m`HHy^!r6LvQ(;}bVA_SW}85BHHW%V%AO)cH{Rsu z=exBfG48js&Ts#QVw~UC8;Kf4{5ctAm3HSf|NYUD)bT>2IkXETljvM>s0|2eYer9WF>F(QZZ*T9G)>Z?3{f&(ckd*dM?U2NCT zP&u63#l;0QItq%4uCA{Cc6P9^v3Cy-X8@_e(w~py&uwl}5)=O@)~kW*+kQE&-wB5r+c$M3Y^dKt_LkGEoy*2&1)ihnU8sS_YJ;O0=^-j649=<)qw~x zH8H8Lub=w;8|6K;CxAp##QhqBf`W2#%pvc=s>Mv&UIS>q$H0I`#yJZK53qDiO$~Hk zc{Mfe@D3??!h(Xa40%ulo;}O>-_Fshzs7N*Hilb13E>OXzn(!!PA-Mt{+ZY<0yG38 zJ|mHw^k3W08Ws#3P8z93KkCDi@4cY}_znUJgAYZCxQ8&;?qesUFfJk5)AhF<|NU8) zd&`Jwl%h~Fyw=y(m+YceppiEm%h0{Df9x%WFxH27UkkBp4;_2HSa#mWMjwN6cx&w*OB{>Uq?xu+u!@U{ zG>f!V{d2rb9oW3j7BwZB6%>NLx#VBW>Y=H=!e{p9y>;vDqtI$$p^3vkqo=I*U*HXs zwM}WJO@3KZOMq(5+h0Xai?nP$jX=6YL^gS#$X~(!u-jnznYav%n)rAGgyYfgWx;kieQy)CX`H^Qu6&n-dw6Xfs z-_SiX3gOMoWjr{TS{uGd6ENO$ckA?fBqHE7O^RgMCu3NyJgnoqc~NDua#ky1iHUgZ z|52RkjQ%g^ps5$k1_%JP2@rJhgXd#2j3Fi*2WS}81DcqAPq(iPqF5!~r)Ev+>@iCb z@0HofLF0)J-DtwSJaiPi^gQY+_c_HciwcKjhTxig8&p$K8H84%+ICzG8rPxh#{e1Y zq0{h-CQ(q7CS{#KW2&&E6fCC}OBeU6Fq}DHNI5J}eMB%)8Kyn;!MykAsHRZU?une@ zKQ{H{mJnP(NPMIbaNI3!Ti$<<%9D~-)_;~lkCYh~H$OM$2>Bn9p|Fr34*J>mw3@cI zHV;qF=_Ws@H1sxApR~D>pm(47;##P|?4BTBXWlzDGNR$`ez>!<16O_DgW}1P2mouM zzGol3k3VOM`An3X=E-C`IWoJ=FLpzhtD~J9%TVsRUj5Vl8MGjxepGet+rDC%mX?-Z z?Jon?f7(OOWnuOaz#b15R~9_#)&2MUo1BwVR~}}y(*OIAZYzmn^Qz>CdL1$^a%*Y* z1l*M=?)R;|T`q5U3v2S2<%Bd89kTbQr-h$4ulBM?=I9!SVPidH*1{~$?iqb}ZpL>pK;k?7AFmB@fMeu$_`yo&X^!N-KBcF+M&d1nHcu;7+zh@tl0DLQ`CIiiuO&n5D?;dg z+!HWt*A{B^+aS9Z3^+qaqNB2^34 zi+BCogx!_i2{kMX=bdto7pmvAmOK*;rUh*A`fZ+Dy|43)h1xlogjfH&$sCn>U+O!Kdy5B;qwgDa0oLnV8#cDK9?1Ez zT4Cv)F5Xn(73~>>d0PH|v3K0)Lq|)S1=tqq*sGzW<$+9UDk|TLvt#kIgK<7;_iY(A zZO*l>*il45K=j+cJBN%4SYMo8-bo5=F{W}*bIs-!O-=Q5sc*`H{efxXq=3p94 zR0qTZ;l;R%ih^LjM}3bHjF1HpqY(J_D%7B2p%D7xAZS>K6&?$^H$p6d`TiOqG&^?@ z>}It0$jEqICE}uKED_?L=A*~%k09m)c({lQ*$9@0f;CG126~@e9YTWPdf@zEJcJg? zJm;o&0pALaZ!$zuN1$R{{?9kOA@oKL6G zBM6QJ%6myHgcp%VD0}EguOZ0lXJRweSh_TKQbayp+6V_xfjWO}=AshnFcgeTk(Yb+F@YK^(czwHmuYf??#fMy`r4Ay^mvFwT6mO# zV$^>xhfdpjwnMPL4qCsK)lr;SKY#JFDpUy+TL&rfsDriPq}#WNBOSAHA7x3b&dphwJ`ejW61Tr4 z>LII|()i%c|85`j)y(1KyjCjEgd}5a%zR7cGKJeH0$dnHo-!_;d9Nordpded>}5pm zyISR4cHO9=XH_>d?{}rDk5q7zaV{vo3k(n+$rSs(U$G@KMalhfDZZN?`RI=lv-4|+ z)u!tDli>eQHeq03;77GJAZYgE1lZX6Iy>{AfwG&dW?!ut*qWlJ&#rl)_nE;#M56I) z&xj54y~labzOOHEk*YQXP#InnwzqkGUg-TKI^M5x1)(!+|9rQfF1phe~_M-;A z1yUw8;JT!wq_i}>fJUE#DKpP6e-F}Skr$0bSw#M+TtiY=oVj;Xh@Y_bN*cKGl7CO) z7#V$FqhbCNOQ+08b#>>|61ClA7jR@_1@93%@Mw3)$npsY^mfRzLPL8$%AJ4ar)su0 z__EMZAE8%mqVD+$wHePJ-C}|9q?3ghgA>}E!!NFS|07*Kln{*p*K*IP%6fR2K>k}# zPyMs>KNua{WC)?8euj$Q$*|eFZv9BX+kLIlsneO&XFjJcd=DN-w>9Y`iFqpw=3D=V z!awBSFg9)r!W_7TsU%kBm*A@`+7Xk%DDHDYE@yJ~L<)<6_LE*-M>{U-<0ySH3W~8W zPem0TO)qd?{0o0i^~2wPi|lLJXxLSaCA#^=mjY0sDLp-!mQ8$6gY>S+Sj5fJN6ocE zGCDUibTG#=YEyckU}6 z{(-aOWhFhkwkrmTgqj*qJh##w?7u2%m_sB2=FaY($Xx4LXTB%6be=AJ_(;;?VDC9I ziB3nomy+s8O^BSbGGJj#wpaB4@{EY;0_L!Y!2khUT@1hal%W^3l55 zUp7^4{|EG22GZ;(1f4$mo}U0-hStCq7;0cLUobx)SA@PDn1V}PJ4Tj2n?*XTC{iaS zlxVX>5}Qp&(ZpDb# zk&==E+Hdf34<3XhdQUl{9!Mf6`w+s3?0UeTvbELpglaGBO>Jw|Q)BZBfzCW*WR!wzmxdcQdEdt$;WGcOw7!9$V_sWz$9`s}O zzslwSal`VUr5Ob}Uz%>{@7i#J{1T`m>S}7x8ZXYze}?S@kP^8I9L&x8&%B`~_9oqb z&YKFmoxt+c24oIKM#dR@S^)+W2`G4k{hI8$Hxm}T@ewkRHSGVRrSf4DJG)jK)qHC5{fz((Brh%>sgqPqHEZx2WvH4P1o(}PVo z7i+-$#KZvFXi0E@5#jRuyE;2N3wZWwTc8no^X3h-rtct-fFuVt-P*z;u~f~$-93df z%g;^!jc(4a65bTq;y2 z=)@j9dK8LxJ1#M?8XC5^yHB9?)np7n6}O?!Jp(n&c>*BnR{I=Z@_i(}ij12qfJ zcjkg*89rB3oWdXAU-0P#Z?gHuVi8Hw#ma6ourV^e>Rn1rPIjo%52W!BdDacj63^tg zI+%4uKb9Ei(GXVJO}arN3s)dtzitl>8g^xQbrrIoH`GRG=m(Oy7J!ohWc|f`JEOSR z&dF&njo+S*o*sZZ)yM$UGo4L5k$H8Z`P@ zVgNE0h)O>}l6yY-DPdt+MJ(EHakVN*m6}ThuVI)sipw2zCh@=X-QC?(R8+tb80pbR z%nT(`*M0dSBPG?B%#{r{3a)%AyeZJ;5EZ@g%&jZ?myv#cH!m58ZnA1B&=3{@`2-&f zEC`$|77ot5QynD1T5H_>#e7a21SrHZGgDFuhSxr1X9M$a2I0f<^pjC! zf_#oXM<*GYzix4LMFkHx_b13{K+#Ed_4I`IE`f@5=GI%Fl0V(<-D4j;Io|P6a9du3 zB>{RsaxN38g^nnAK-axRIS4`MCIGgqfbs-ADi8w^k&$e0Uw}}mhJ#rdiIWVK>}2Bha2NPFoZMF6%`dAD(DtJD>spb3k(2p4BDcut}e)Y zr>CdD#@WFJt*xy=vY>!GFBhlJkuEr9GS! z3L)&24PbA`&Od(qprE9@&BcxQGppxv0{cQGvic(@LY6@iYu7_WCYj6>n#(JC@>#>g zw{HO-m~P#=MHP*SMDlIV&eA0H*1+wAL;@{0c1X*or_K{Z0sbFGkRP`9(HXyeOXDR! z1uFd_#)T=|1apnem#EaRiI0nG?MF`U2k8i)wwkPb(N!V0AXej_%|ZT>l0pY4*|^o0 z+<&+d^X{GZ>46;(q>zqK{pEAMKu-&0xS+rqxQ*%hm;1oKLZzsytp)O@$?LEL{sPa( z#l;2p3XF%YMur9r#T3cUfGC)g2awZf#}fm~Y3;Qn4~K zb6M&kg~tJ*)ZUQIXjMf|_;=B5QdZ2TJ9G4b^LBA?;G&2pm4LLp%BG)vepdpB{w{-CWMaI{(xYNhpb)^e9d!+;eAk zX@6x~|4D7!Vp9zZqk!Yy7hSu}^~?Jx}2_|D;vgA07)F7J`(QZ{IhV`dwrA1i5a61b1D>D{dA1M&=?E6g7P(Ck#~+>+JEl}rI74hOhttW$ zky;QvCYosqAyfM7UbZz@K;+MthB~ypz`{m?Woui6m?4?WJJeQQGaJ@(Vm=24-3zOk zwF6DWxyjN2k_8$dn;5brEGHTPh1KU`1sKBFMf1v?L_jV6InHcXhknG0mnGp-*>*0C zoEi<`;)7}R1C#0O&;hh0h4C7GGKoZjKjavL=KCB*cq|D*qU>l{EuuKF-6V;c6lm?b zKnvU+Zf}%l)an`~XOC`uz;{!QL5)%|EhX6~lE<8zm=-AKD&68C8&dfkS(>gGSO6!&mJZZ3#JI{itiyp zDtNC!WCVF(j^P7o@cz&)Wj^9Fs_RM3kw!k zpvEN$aGp3!>al9B$qo6(z41Dw^ly6~2&KoWbio61-z76`AiP=-Ut-rsq42RLeE2w% z@|IawZU*Aij;rr>lvT4eVN2+)5=!?UxUqL_ErmF^8J3$jDo=_d7WzEi;6`LHDt>4h zb3)u}&IhE08lTwaaF29mM!K+&k4}O~42q3Jftru)u&~Q3Dte=?ou8dm>K0d2>_eV+ zrtr-D`0)qHU09TEajZ())uMPRLf&iUk5B{>Mzpi!sAXx;NhPO-FLBpt=8=X;QQ$vj zNid0QXEXt9GiD_l#|xG>`5Y2y5cAOduWVQl5Ow;Xiqz_t#Kx*xSTJ^Iv)u$gLdTPM zIA4~xswC|z``5gEbEQxbi`-n6D~#kQ`=-2HHCHN->n3&xLnwW$EW9yk#1c-3O!k~( z9q1n!U0ojI8!1{qGS^;8JfhA- z`Tcc3uaZXWuHB!(tPYtE1y7O^*`9fyw1r`|x>0>~DfcSWy#9PNL&UF9voKxU(c8qS z=R?eO*H0SQSUWRh^?S>$q4XzzIhHp>?Brq!VuwC-zulf{y7k%JaAo#}B?2(=PjSt#b{YKR-RQJE>eFGwL2G_(`|*V%o3yYmwzP?S-iR{&a3v{7Fu7}Js!*N3UW$1l}2;>x9(Tl&1jAdJGTVyLf--oyA!bc zZERBJDx}M(kL>02Dy56LZXE4;x~?C9oHP3ADM(h@^&VOJxyemN0bp;M55cXm`|Y-{ z9QB4$h|hlLia{x0W@Zi25_@^z@-Ov4j)=Tcs(_=p!%jqgKD15=ta>kcDhni0`~bP% z;&=xlv^%@ujIYmWe;WUNE-uIUBS%U4Y`ERGST${zBU8X+DDJhaaC$%qK2u)T6W%H{ zLGU0P9R<%Oe1jF;;dA)~#1)t=U*VDKPmQ`lJEGLD1l|4paOWUT(z542OMr`acXnnS z*}g$Wb_Dbl5Krf`6i+OioPr}Fq}^&bYJC@`gRviKaoC?OJ!qkLpDj^1G+!#qv@Lb? zl%utNW}w;f|-!iT)99Agtvo? z5ECV;{H7_sB)TL?2N{|i4f^|RF3IMH62|YXQW>yNX(>Cf{H3rE7hXjgDLN@*g`s5l zY5=||`fDi!(G6$BmZBRpHo`%}QYDEZoJU#^-PCzP21yCyNG?WfRK$fuk(eQj^P0pE zEUm2%&1jYo3vEo5S1xV_3xyt?L6Vmy{DYv`nD7sO!Pm`XJd!j-AGmTkmkH5P-*aO4 z7e(l7%dX-+LdJ&32#Q-Z*t|N2(i@3 zhRFo5XeD?%{5b;%jXvgBU3#_}UlEgqGQ(Vje!tiVYz2U}W4pLt|unwxM3dBKdkexpa6BQI@xz@UwPpIki@`ky>aXQF`d3ViGTlIMr z(VAB#i5ch!JIGA?^v{;-7$jv2G=TpR5)>r0j*3y8yv<(~a!WF6=UzN`jnh(7*XGqE zV*Lde9D>iL*7D0x&?FK6Ym#DezFehF2lF|rg<3*YcDQQH7P8l{n#nAOiD`lnM_E)_ zVu@Z_x!m*{ShB<@M$NB-5G-O&j4qoFg=l4NAB+zD4tuN)GXKtQ`DR+eP=*Q)ixpIa zDzx`614ZC$%+6C(^yU?de-HHOo)ZS3#E#e8C7ge&Q`-EXOWI-y6$5Wv z!^1zg2ML6n9piP)JCxYLviSRNUO$o;L;EaTJFt!A&*gv}fBxq6sSZ{%t)M>$HT@F%D-6h5f&4|F?T2PNMR3_!%Xhy1V_Z2#4X;i912Kcys+^j5oU zM1OqA9Q&|jLpk>{H|8!nLVkl`H-wO|vc&Mv$D~E;pChoPLYuMk8gD$M2e( zv!jerUtODfqKD#x8XR-sIVO$g-ze+fD8FM~LXr8rmMn8&o#x8WKML+Ey4BM|+W-Bu4Xsl09p0K~F2ubdpTo?ro#VCbbh8_dAVmv_ zJLcdW#PWN_dM!Suh?}x_Zl!hn+(6SF>s6=!ZONY8?U)?=wH=cVMxl?iZbc`f z4R-b|`DS-L+R1b5R-IMQzgY_TqZ~q59gz%Kz?|J0#g@@d(Ez#7qk!@BGc9b+_iQg| z(fx_~6YpIoGd|j)PxeNaA@j$`UBsxkEr=U@p^tfyX-m|B;oi5lZ;p*}+ZTwGhglmV zwb+}BR@%3L9Px!-epvvh3&5v>KwogZBaD^(=mpd?ua6K<;>i?NlQ(*ze2p#M(ywtp z`+vwK{@1{5wr6Ln!+ZKvf6alkz2X$z;BaK02TR|suGVBv`-wS7!s+VG^HWE_n)A7| zio=$-K#tes=ckxHrbXIWsO*IPYACM}B$$YMwz9r~zu#I?JUSis$EEa9ntIoVjHyog zncU0yzlG~F-uh>*SzISFScX$?=f1t$3fpJAd*(;tF7ax3XGWeoiRd;q#$tNs-6RU> zL%aKU{?6?D7njisJI4eiGryeHoCf!nA`?QP1_8cl;+7t>sZvbk9dZ^xxVdg_;Xd24 zwvQhDV}FZ6Ec!lr;Gkk!+TYc=3(C@uOw?b3OH1BUza&5D?hJ3Ahj<`W#JTEHn?cfO z`H1a5^AJVH=}*${*E5aC@jXTv6n~6aaB^yAzp;EBV{Np~XY1|0-Z9UtE|JwWw%GWG z!;vbjB*O<8^7q@|SvxiPShLX0A{?6&M<-FY&;7_a(|)i0VMf(UH1Z3+;~M_U7o8zZ zhpZo*VxmzBW<>~u@SgPK_Z!}QSQn-KnL24<-P>^DXb~3k_U&-# zMs!bC7x?EOKkn}C0?}zwessDvYUAoH8JLiB*YwlL4I#Syuj%OqQ2(t`IRe$QZ7Bp0 ze{lG*>sFG*>>OU-xv+mCqXXuoJ14hj5ngEd^VLhk=LW3T3go(({kz_Mm5yw@Q+QNZ zo%%iXXoZ!%-%fV#5+}wB^(-4l^yKb2^`$snYZG0jew#EJPtfuAY(J&9kB)x!CKNlW z#TRs0oz6FpJ@9_kb)(Hq3=ipqF-os3=>3=ee9&^cbcdi6_L(7>{Y3qf!t%pI>eL1YEXPc-oF=~&jRNkmp(20n#o>48V>SUF z5+iRr@3aV(Xn1ao6g(ajL z#>Lga*~4d!ruJ0A2fVb#T`{zRjHX?tKy-r(4tA4=pTAVAG((?5izNX-EW!2bl)P4i z4+%l^kpr7uc=+Dlp6A|T7z8-HAd36}_zFPX0r%w9KuU@NwzeBU z;DY~%BS9Y6?~}#ux8PfcVG}1%H?Q0jYc4?lf|1k*jC_j2-@bi=si~^!Y9(3OU-d7Y zJv^?!C2-;7L`1v5Cxf}(_tKn_f@1Fr+G%F%KunWN_H9lh3E+7^!-erB(J(2e`L?j; z=H~iEACL#&A4dONW_w(}%`IiW^%UXcB1&LZpK|yR=X(5a!IKu8Z5f1_IGNwMXJ^Y7 z*4={xB)WQDOE->+f}vzslImyaqsRAx+t#cPVYH&$E{#Lf=f|Lb%0fp&lUwlzZErq? zkA8Vd+AN)4M7$avV=+-OExPF|b;UK?&7|jhA8vuo*hNyZ1>^+q36Q{?35+ul5rNf6 zjw4AJ)CwTN!rJFSRiqSfKxixB^uX2*oyyOa7CIW5=I(Ae2I9MnjO2gJ4h{}Lo+;5N zh>ME)4qU|@(2HP)#4_){?FN;YMI(O@B-gu75)lb~{V7nK&(F^n78b6W9p7`$;27xf zL9+$z%@?S}%hM8YNoEh7p?P8A$kNw?p%vuE3~|4$+1Wu@0no58*#x)8ZF~A0ESKQ( zW&-Oe_`8AOzcS$fg$_aqjJvTwg8`ciBMu76$}0{6;1L#cS&hlbS%UcpP@c(%h+^Np zn*!AZv{o|xdM1a@^5tOe5%hc|jh?muhmOXWFSol``(!R)-SCy@LU z*AMUWrOZF{BNNR}3I%bDYu4|FKmRa}^}FF8lEg<~-fGj}D+W{g*1z@Hp=@?L zTZtTu=9~EV+Qkz9%LoCKJ!^ zD+PZ87HyR-)B!tSYyxT6*x9*&W0MI5Cp)A_ko&>M8ru4BwIcIIoxYgUVi(9xV1^m( z>$8O`1Y;r)oQ)uI{%2^;VUjP3 z;V-aD2~>Ky3$C zIv@#WI4F?wt{mpC!Rc26W*k5&AQmerDlYAMz#!Wej0-}hg0EhU2*CU!u-q_a0Tu^0 zVA6pMh0uQa!vUL)i)$A$sd!};C->e<-Ea{1S9mp15!4qW5z#{I=V{egq#=!1NQ@L+ ztG12VUmY_8VfR;iq!P54W5s+Cs44_Rbet`^>{eAsGDA#G%5A0u9iIRtOr6{;agmO8 zmV}DzY#u{S+Z`i#&|Kxr4lXhW9*sQr%ikat5#Nu%sMoU3lw`4j~~SrFR03V?{dPWSs)bj92@T7ZRW(WPwZ84~?6 zpkKo$$Tc)Q=ZyCU0NcsQn2W2cxe^$;t`Y=zTL{s?QA-dj>#{v9`uOo<AQ^0MEI5O)2uxV#LBLlnTV3KQA<;{GvMK7`%3 zia=ZdsRZV)svvP_C3Kae;U=7YWeFKBrs@#q($*KfAs3spCy%Y7~ zV_;Zpy1alysG*>MC;7T}>5q#L5T+_j$>rFJ!yr9z^6@=`VHI87iA#eu^YhVThrr>7NC$@h5er@g_m0pH@}d^Ns20hR%9J2b&d zzz$KMaRSyCC@F~?2C1rNC@|$+0TMn=$Oq6eP09uC-VMpMuF|EvbLaHz*cpy;$ZF9^ zFtl|IAOQ@~fFcIT=MiBWd_1@p-)j~|ESV9cJLj}(gR1hSoc9)Z1*$#2AAnB;P4@ab zmom2Gq;i3tY4!V*yk$Jiw>ZX5PL8`-;w{~VFS$!eQcEcOaumFse>WH4u;kCr>c{7| z@O2%vnm_J4V=-jZ@5V!kPBiwX*kUtgWMCV~Hccssy! zH;8a^(n}!^WUq?oM!%YxiqVgP-%7``=GbJIgLym!?b!K$rMH%(U6?dT_$?M_=T%gf z{rYOVw!cVHEYrHQyO%TAwBsv~6vHzU3WHrx&cjzfCQj$K4Gh?W5*Q+iHw;Gx6`0>{ z;&0G{>u3y!w-NKstrN`QwPCbTo5|+pPCbo@A77Oh=fD|*#z@WUB;Hwr9w)jw-gS*b>Rc-Kf_ zGCRYW5`w)fBTIvt&cQ62-a)n`ws*dnXDIF3x4>*R5NU$oKh)JprbpM#xd`$sR>)2) z?6^jJS5RDF>rD5fMnODFpy`97hOZ1XjSE{ac_lG=IFw{IJ)^OMy%7@M8CZN1pi zEgtLomCW#3AuL$pO0fd*iv$O}CA0f?)tIGKP0EvVty2_a2tOA5k^=E-)P|m(o+>FV zHbu_V_Ju|6m{mN^wa`{BF22O>C3r6>Hb!jlC7}^=^FJ_m+CB27&r$)gj;RMmMTRS- z=xDK8G}tVhxCXv=^|g_urKMQA3Z*D?OeHc$f(0q5_j^~DkyArhSc;hIA8;l`7+to1 z(SC%)WMsTN?a#KgF4JT5l_eT+KmGG*w8y+oyEk#B>|4;NtIbL-{_^g=ndl>?FEA4Q z<9k}1nNxtuYaF@XCW)!cQ5`L^yw+WWnc<}6YAH)ow@KT=wKVl{169<&Y-M*czP#aL_LOsNmeZ~$p4I)uKstB(_>eW||2G-u z4TM{j(uL~0eY#@Ae9kcN$ap+aAFf*gz}rYiKCTG_Rj7c4sgE?at5QNv|`H zuepjHO7D34XD-{*eulbj_IGt{2#?HsAF^Jrw%gBBX!JbXiUG*$vMyHUMUW%oy0H^G z$#1Wa%F~%=l5_XrlMVu^Gq&Z;zTJfeRxkI>q2J%W8LyZ8z7^#_+yYKlW_&2IZL&?@3bzrg+kXfX9+daYz54{q{drtvKqb=QH_SV^&TKI1DEy zHX|w&uM$YGqYkKq#anH#8>cu|F{QDE~CCYxP^7u!_Z_J;?=h;$6A-2}3nyT^mrebn*66Erj{znw} zA=d2DjO@uDhTk(Y>Q8La7##%5QCo6PfX% ztglNGVeJY~TzA%sV<7yo>f%qB+52?eMTDO}BjhfLXc;*zh6LHLP`VJN*E;HmJZ{b^ zA=#^;_ss7L?tjU3PU2{&_ssE$(2Sucn%BQi!-0teXhxtA(vfhFpPZjoZ%z-t_ibol zVt&rbdigDgosG@ndj^2kyR@M}m%;R`9HI0iSV!U}Q@ghU2UZ+?X}gBD?J; z#K|AMb&~rlnz;C3guV!ZhaUb!Vaju{tLPXvoaTC2H7yoGM{gK?hZ>y*^`^LCtXcNs zQ^jO~<{g`;PfydviqUixr@N`?5&V_i{aZuZGeN)59qXDGe*2whbk32g-5kkQ?|c(H zxN0g%cUI?nM!mxj#&se5q&@gc=XmFPaSSBbN$I_K&nEs%-I3o7vZ)_w|kOKdq6JaI+h0;3h#c)ud7~{R5Fl@OvvH*_l#<)8W}x0B4ccP zZ`3C3{rgWRU$=hOY%gq1nqm^5ByeLsq(NvnJLIDnxdc;wSUHUOK3rT})R->ZsK0)v zhDuPV=rO@PFRwV7%YcJdTrz%&rtni%)PYI>>mKM#GoQ_$fMW{Axn4_s0G>rIM=eK< zIaao)xY#-sr~#uQOtQy6fQ`AD>9v-Zmj^T=8y6WJozx92rUiTzWN#6wQnT(jFwVeO z|K0sI_;Cebn}X)Y*ea&eLO%jgt?MX2uASm}kl#)3gba69e^k@al774v@GLBJySaWHlR=x+G0!@d@>8)n5TJ-1J0JNZ8OQ}sUW zN(u%#88Xb5Yq32)KY>RTiML!|OQG~i{u)C4Htt?2Ry7w7t3maKxY59YR)YkvAqWi{ zTM9ROYiJf&Y<*5YDf5CkTcA(r4rY5a^XmWwkB?Bu?heFu9E*c_oT zhFP*EXfeT1rl+IR@N(Z`r9T}ysjF@YCdSm%)n}UguH22_C-_{S;Ae)V|6=3x@X1)o z?^-*(SjH9@Bknf)+~j<59$Gv2V=uHgW4a+iug2GYTP%Gq6Dw9BH>TIv^4BwH!dlkP z$Y^<8Cn^uiu`w#v_eu;>%^&9vv_NUmc;G{GxOqdnphz#Lr*2S%UGcU6Khjw4@i*{V zto_VHaw`7TkJ0}}(sh7i-M;O|D63>;Wre&*G7BXmDqBcqW@g!v>>>%Flu@#Ztc0x0 z2nm&ttb{0=jAVZ2^Zz=&?>PFuZ*Pz1_q*?FoY#4tS5KegMqf!-jYorp>|DAd`#~=} z9iSP7CZ$t=9Y6!+l)nM-`U)&bps|HM*`nCC6>N7R^$fKz8nZ-DoiWn}kRfyVLp-h^ z$nf^)3n|l4XIE5JL5Y`%${J@DK;X@Ugo`ep%wJh5q1p!deGt_(R03%6xMV#-`CGvx zcamZ+HL1ZTgZFh3Z46GmkdTmw)%g6v9viNhUyo*wSN~>62YjNV`@Sv&fB;NwiY>2o z@r7PLc`wgdyvWGxMVOtF(@n~&*G@MOnhzYG`{FpeMRsaK_!*+=ro2xV>r&;Q^*vgP z*j+kwE2B+~FtM5L^E8TanY&!$VqU3!ep#Vs-v7~nYi;TGNFilPa(~?%@oj|@HzE7? z_pgS{3&^NU)M1Yw4**6mDZ3)XL=A!~8WZ@V_>)4i{)oR7Wx?!V<%6Vpe#(Znw!=a~ zt=-+PAsKZll{xQ z7lbLsPw6;RQIA@AxzoGk1_rdaPGmXM26UFOcg%%>_Jt#wxHI*`9^MulEfZnquBU1| ze*PkkTS1^ECi=K$iPh30HYJU>zx^gESZ(rq*f+aEObTM#XragQUzhS>VTo0fPBv5M zfXEs%?{09)fuFQPpOS6y3s@QggYD~#d47N_-yny!wzdYxe`#Q9*tM{eGFZ{$;rjaQ ziTZI~zD}R(y220D`R{|xtIyPf^8ijfH96^l0|zS2XbHgg@NY9a&+#)rO$B|zd|%0b zVq$J!{Nqy-!CD5Aqw_>&WP18Bc+}?&R8-#KPl2OL15#lTnwR!~L~2GBmU55r53#Ya z0O`S3CW-+d-aswZhvS0IMFtuGFoLTCHt-^zJ$r_)bTVLlxjux92=lylIKRD0t~wC5 zo0M?>oVM0LNl?)FUdqUscme^2Dpx?seSG}WE?uUdOT^%aE)LWHaZWk4`}nKZn*2T{ ziZ^z5g92Jah)qoVJwIP)APhxIdsHnO_=<(bB?5wig3i+n1Ofyz=$>ETC;(-`U$wF? z_aJ3#hI6j~(=6%k3F$}7b`s9hC*_8=Ih@S$a?DVSq zp?%s6|23Ml6gh8@fC2COgC`}~^HyaJvWY(cB*7H#5DA{`D>*B|4A&WSUjM*do|~KF zSA)Fbn6U6&cf}suT$o!tfv&czi%7f&jxn})otBoiU3UUl24oVBeZ|kKsy6VLyyeVo zZEex_nR%vKD+d$O{V&a{5bp3X9HAb1F;wBW8N40s9}q3`grm;~QX^Oi;lm&_8hB+z zrbGwI=sQ-)^+9A_1P&w=Qc_Z}W(^3@WIrb0hk8%;cdu%^EW0m2jLYSz(_vaY5`+G|7K;O4fFrgRH+x#Ib5^t;_o(y5=y zi;Kbhum&U>C{);R`1%#4fqJt60cK@qa`cQ}Y&ZEm1^9>XH&UM?s8 z0Ne~aBcyMrWAG3Jh#CR}(r;hCK8k3C8A;&s?@slH!s4&#+1Mthrkt)`O^J_xH|_z) z12Z!-R!^l{FIBjCBRsr{cU^In`Fq^9Ua`RSYX18NvM-gEc|*PBqP$Z5o)3Eehr5O! z>izq3cK5FW(S#ZW_DnRiw8SUPsBZ^jA&`2H;{F&I#6N$2D51?9VIIc@B$tV)Dfa&v zX>~w1z<%IB9e#8m1yWi_V>_GwmN;m`Km9ri4FrDBwns-EOI)T_yN~Y!r~yoIyst~R zoHaEym=po{lfaqA=>+ASoPq)(rX>xffZbtYyW{8IC^Y*Y44R2Oh~D9Z&$MA)e`)yg zj1u2XMT?7nNXUxiY7uwve}+Ld&xs1UqmhSzLm|XuBS1@uO8}&^+sPYf5z^8pg9fyD7~Ke!lQ3>M%Skto zzg1E^AIx^bA@r^_-Q0{%mXK#rML-*5;6`3h#Z(5IVE z^BG|ibwsExJS8A4IEF8ad+?%X3bBYo#?2BaIAuBlT-}WoC(K|F&`?W&SigZUfvOdW zgo;2EkV#zrfD4Gb)MhK|w|WIa9{l|^SNbIGW+0UG6qp|O^jt#fq=g3t3csu@?Z?Mv zaetv402Tpew-PQuKhQ|LhqyR*z`n@EKw=xZyW{y=0gD-#njUcC>g#B=olQQ%9z7ey z*0qwJubm>#!tL&3nIO8>Lbfzfba8a?I!ZWoO-*tF^uT!hyLRm&;%O*R0PX)=ypDM2 zFj%pOW_};1+-umw0Q$l;h1OyOKrfX1uS-fASpi}~LB|sc+N((c7bY7uet%&gf{ICl zE;J@a2S5}MU}^TfCBlY?ayW_h}>i2dE#fz~5b0FTpjfFSv1qu5I*qjFyQ+Rg$2%;S=BYDY%ri8`VJznT*U*#(CHqBECUl0aT0Z#5*BQarJc** zT!6<8N`$ESo6y_0F`DrBANlNxAdp(%b}(lPRZce(#qG0&T*tm6*&BBa#TLXY$ck_$ zIwmF6{qEgQBt_&OXp@RzM5kJ`KYaP3oOk)gj!5a)T#euP-j{o4 zCKD1UR}{|DcvSiWzsK<*2Wt!^3EN?Q_{(7|OB;TR4uT~N_y1?zV<)G@&+t4un;VW# zNGz!6ZdX-95s1>v$fbZUPw-5a>&l9!*V6VLX)g`K8&T6?veWf)&ZY3~Q226xB`3 zCuv|u3<}JKntiV>vKdTy;!v0h5(a#R0G-z5l&miGo_9-^)+sPv6nDM=mQ z;pBTaQXTZyW%ldUwjc-N&_fMDRGppkEFy#5)y4q?$5Vq(2|rkkM*UqppbzWnB1&}t zg`!IRiPw#i47awUqXTnR43aTi#4HRk4k;7o7hVT2;~R#F*mI2p_@Z?7^z>kC3+1sO z6N;b4)|W&%(^L5>Bn32L{AwtY4D)&*!9H-%*2QHTfVyZxUZ(?wjkTBpKtRhxO?8uw zk{lxygk4yGq4LIw!$rh6i-kH2_F+sBDoB)-rpxbl@15Gc(A01A;P&3bkCP^A9Dlhx zF_F=6(2k`q?o3$E$P|-n(G{4KCX3tLE-ai!TqK%bU=W;DALTE_9(^YBEi1HUX!$U0 zLfwRc>mfeA)1aj(z<~(PU6_rb>Us*z9&V~~`sdD0aTMs%(hpn4P<>>hq{YvMSb>31 zTYLK;vILGFvOHTR*F*J(kK-vr?-~!t^bLd@OErkS!mC1gy_$-K<&CUt^wdzE>%cVu z>oFVqPkOs|J!l)pq3zj7!|Z2HXJb$SoCav-YihQ3w0yzLhKLrnAJ9ruP*CI;V8(U+ zZUzbs;0%lvRqz?a)3;-PkGQ(Ixe2GD<;=rTMG=ZWep>GPU?I6Q;n8F)kgwWnFtJok zqb#L$_~+dWp>Q;?>*GE&p6+|Oj}oR%h>F!wMLue2J}q$QQ1Ir|yb;UpCtmx(# z;ANni!SROb*9vzEsFv_UDJ^u6-36w9aa>T5LzbCTTI!7o&aOQ%y=xMlU;VI&LNa;Ww*=}n0`c)u?-w4d@^J+b0~ZFSLpi$X%3fZ}$j1IFl)iz1I8_6ud%JRn!Re{>e`#8<-CHzwT1<^*EOUA za;Muh50-ysl%e=_jG!3%b2`yyVuJb6wX!q=|GGRA7&ZbbSk6Xx=tp|SunU0+c5a*y zjixK_q79csIc4{~0=!+ybdU&uw8)+~aTdZia&pLEj~+dWcY+9kuL0*gpQ-MM2>#># zYYUJ?!G^^F6#{H0@!%kb1onUlC5plGc|92U!yghIPIP6Ztp0s;?v+(lzYHypsD@~V zFSVFIIrW;6HhZ4?B9zAZ27lEdv2*X?aj!>`ZCy~iZ8=l!U zDb~!SdN6d&zt%wb^0Il7rXAWO!#sNBlUzDE1|Bk~g4a=mAV;Hi%jZ+)%*S4klZe{y9n|13zkMYMT9CQw7l(z5)u0E0}!h>e3Mw{%s;mgIXYB z{$`nGh|cEoq+<5Qp=i2Ea~Vs)FN&064yB^B_h@R(-d&D(<>0?_MSV%cRKji1AUJC9 zgqf|(*x%DC=k9NE$=~jMdEx5v@9z*Kk1i?9-x1c&(!}{81Se6}pq4^jzl&EwH-*Uy zIy6L=B4mZLXIn5h#fVT7b!y9)w9DXiROFzhK@g<|_<b?8+6&e-s z64w6xdx*3sCFS+!XDjh3l-OzE9AB0&M&SWo#IN?GF3fe|?}@GqNoy7~6%>B+pVJ$W z<$(&#jE_s>ze7FP_w5@&5tYZXp)5g>uATiLAM@CQ?3cM0%5JMv9J%sq*-0W_VcSL(Sw5K*u)YUDd}={lt0fv zr26>Gp;)9qLOlo*dzYqG4%Vde-9mG7;Hjutg>De;3W`lXN#ZlGqlMOTwS{6WvDrHP zl}^ITG((#lrtzP*SZro~{D7;d+^N)0W>m=3G&EywG6>6#j*jSp^z(WkXB2)YjHVpb zAQcrA0<gOc8wO*V$x=cR62&M1a00B( zE#v33E~-Fp!mlPFP>Yc}{_#K95rV9P;sbtLD6`XBegOG^wVgj+6~x>#gBMOYlDC)X z-~9^zB2(tWcRlQ~&(IU9135i^F08wcZIHb1Od5Db5_>PBj#@IFLf6jjTA=(u4CjH0 zfQ_Q$id2u~%B|p?bFN3rAhP zdP<4IhJt4&uk643>B--1xJ|mdQ{!K*eUGP6qXWZt<@B>2!^PDyPd8R6ztuPLe$A`% zu1;6-=Q;W+T74fM*cBztdS}aYjE^?_L2`0`ni3gT%*70q2o#dYMmu=g2p-(>H@pzd z(2Bjn3q~}rg*`C*3UMc4Cg<+vW&|b*PHd9z4>V8e&-H+jCnjD;yN*!UW?Kw+0GAR_ z9Xj#}h(sllq7F8IV`GqKI6EML@C$lhTpa8V*fBvtcLUspsVrCw&`~*)o;= zSg?TE(fcyH)aSziyNmk7t@Yxb;Rjb1X-+)$JF~J?Pl#~x`oH2|?;`Gf{pxZ^Lwt*` z?dC9BKbiI5jZ6-EtvasE^YKO^P-ut2k`pyoF5xQ+ej?? za6?cJ*CJD(J%Fs?pxXU^98r^W&6rD9ym|8yR*r4sf38GzB)Z|F{O3tr-M!0`6H=Qs`}I%WekM0KjRvO#?sSO zRg(ZMwKen$%q92IPaQq6|FlH=NIZYEsCljL##csypvCu0^Qx@>v@c~k=Dupves1V9 z_3gDzsy4VamZWU6{ocBHlCxa{I@}VX6CHXTi6@q_=+ti1LpDxu+#Mvg;X|+8P@m-&*399dPsEwHmvQ>~#J^G06(H1F=`t0 zZa7T{0YuI#t_wU#;MdUH?q*PUX$y4~>_H$CMP@^d%%tk;=f@Yi{PmKQ7R*zID%?>~ zJrpti0>$)mJ#jxLb`IM!xM$^nro8vwx4VC8^=jwfZH9Cbap?d|O0h#9K$|o%}^AI<*K+17`C0 zrc*5QWCS_R3oomkk!MLH;Fq=5SJL8CT3{6)Tz^O>)1vmt+Heq0TN6j`HyKI3v5tXq z>D&uDSIj<)sh*1TXa862*?2p1eRZ|KcxetME-pj=SQ2vyWDc9dLu@Ge(0QzD`4O)t zCFO6p1)bwJ!I@M}x6D@q;(ml7f=(GGHc|Zv@$ua#%W&6VDqeyL0;MZz*!&B5Ur{E2 zO>6DyYJqHY^eDVlu7!n%W2B=|XFm+r4}|LW5@NfKg0;Z#05dayUXyHX&fBvHYN(%N z+(%U&s)KGM!p)ru$_=1PvdGQ6LzKb%V+sLsf#Xx3#Z^0p1f5052yXM=OH?EOv-a*73xD;k&Tbzi~-IMmnKmKRRF3056zkh?kivn!6xwVD+Lv(|) zusND?>eS%TzmsWS9SF94?i?3}-blB6>l2Hl$3$WP{@;Scl4Rl`cf|p($05L z((P8!cX#J57rpfDnf6rzxp1l3OU3p2&Y&IMk>iKDEp(lwc4hUBx=#JO2*&X{yv)6Y zz+v%Xiy&%DDkr8Mf+kE*N9KuMbg(<1k>sfg+Nm`uuv^td+sAUS8#QKoyJpSMR|HLH z_V*N=87OrwheJ8CS@`YSQ;i~$CHd?3;WX=u7F(0tyLqr2xBa$&iAZ43k++09vBFHf zuESg={7s6lym_)83{ze$8ohUG_X-^q6@kje>%rf4;fJ_ohe6jis&E^@=fJ`q*h(lB zBia%m6y;cBfaviRJuk3)6ihX!Q}FCyRW$$rCO$qMy~}Y-5ikiM^790lfY0V!sv%}t zdX(cjNfOVoascS*b&zCX1&dUKV!ICPr|J{iXN+8f;-n|lSmm7F5eR|uZ(e6ha6#bN`-b3NbKC{#xj=pz?g? z8Jp&)K9uDEvw#Q@n@v1zT#)(x(rK_#am%Eor8zN`!3lsp1!}05muhl9mK>GZT)7#) zc>6P%bMKr~^=rT3+VO)2&k3%N9L?+rQGa+@UP=GaSHr*~rmtOl)>ntB!d@4LS=7kA z@R_ID+DJ-H62C`E-CQ!xlGn$&v)EJyWL3iS_8+N~hVgsc3YT1ueyFBN{gf>(`seXZ zpx;r|$E<7@@^#Z4YUQ1!sR;{gXjy4-vihO2+@bs?q>+v+y6orf}lKy z`5Giy;Ml?JLr(eq@Nf_+0mO^Pux3UXB=aQoB}4z0=R;m56phF41+J`Lw&mZfh?u#U z!eJ;F?lpggN6PL8fyR%5Hs<1;ZjwD|v2Bv~@7wL+>Mrnh))k^zn>2P}R!+;jy^qsr z>-i(Y-wOiA%I>Fd=FxB4xmC{F3{w>Bqmp)e_L0G=vti@gTJ(W^u;xA#bZ6n0X}+d_ zO<9i*3TqUFKwm)>o&lH-Lk)=j7uHvtQDp-sQa}?6{t_HiBDS&>4FjAOev>n4|X` z!L?HgdnlTX1Rh`!03HT{f~dTFN(2?WK|Zn)t$bd>n0a{d?jQ5_sEj^U7&Q_o#RyZM z%e>FHCs<6c(-U?_DHX7Fm)Mt2bXWx4x$r{TvcmNc%Pn)U3d%~ePvZ0CEPLyCx6SgO zEU`0jl320_e;SE*_m)0(oFa_FzC~7$HCoI$k6LR9?dtvdXHlAIf&t=7I+S(d^B1%E z6Mi{3MqCgs8(Xj8q0+-L0!SYA^+mUT{Fr-n;0>X_t{@m)6a0|Tgdl?Ff~EaL){|JT zqh3Z`OhbN?818T1M#rg_uDc1m9Dg3>XM`Vfb05j=h$|<6!2r^47;!`FX%QK@?(0j0 z)nmBi|E#P?!L!aO&TS!*4!2 znRBEtcRcODI}Qu4nqFIMBz)Ov`1c58JH*#fwDM>I0gMvBPYnTjA)XEYOOOpzD8jk;1z-*AU%MmmR2D zSDt~xWRVt+U9E0wgqn#4t*p71uCGL!Be!)&v zT;zTILU(Jc&~fRHLqjQ6Z#hQB$Dfz)^Kx@rGiD}lzIZS=mn0uN2b zgw>wliaI*(6<4;?^!&|ox9G!OYEF)_;w&BWdT;sSBFj$+#Ve^zH=8W-8FXJKEjrcJ4Bub4 z$j268aZ%H-=B_6(MMYIH+^G_Nw8WMHqqbCW&oBQxA1__i*|KjQUzE{G?iSkAkTw== zB)slxkqFxP7#w*(AlD=(7sqIU8QBr4Nt1zwCT1J5BMzj6VArQ^VeU*mALVcRO{`nLcCF7&c~I zsj&KMIt0Q)VPE8rSC(HXcREc%2`W}6bgmBF_~v%Uefe{`_w?yF#dja>?24>2K0t_q z6T`Re_#Vp02}?=>CRB;1!@p`hky)TPEm9>imRJH)|VfW)2zFGQZ>h>!TuaT4F3xWW<9H zHKZO=CQozto=-n!trc@h-tSzSU&zf1rN*15z0UFcp!s;)Vkl@rYRji^RdR0Yjg;%x zv};Fn1wCw)+p9^Ml}`;f_B_N7DtdRnC#%eh#(lflZLMBxSP?Si{b;AXXafUlR_c;i z4=`Gbzls|--aO2Aia_9Uz2>$MQAHmRz6ax%-BEHRE=efi;;l#yS5|9#1t9k8&d<0_V+ z`zc{~Nn|_BJyrMmIQ$mNT~e$3`-FYUwSxBdmpOLTUYLf1SIG61c9)RyM|T9jhdA2(XJp}7AdBLYVdf;c3+d!Jotk~#h)aPzIe?i z_k^II6g%go9W1$kl;4dDW#c=BvEz zbE&25<|euEm)}}E;Ja%3PVyKt>$cdlpgP&HmXQ1Ae75J`=T$rv6ExSmksA^5E!OqV z9bgA8{jY@%9t@F{hpYlMn}?=a7ZHS97Gm@N|LKKPN`m>NzWkJcIsKX&9$7z4xm%+C zGa)D7W?6|>xN@VD`N;|s#$1EN{wjOl?fI;o@^Oc1-?q5D2Q8umU4hyNY*J7BF=8tc zd|i4V$XoM1zpDO?+SU_{Scl+`5Q>o`3E{b39|qjS8N9-wLx(0GOnSWm{E2^5dwr3V z@Juhqq+oY2@QXbMj%g;8uj#L~)iJ5kS8i-H5frUp99I~#kN6t(azrHl?60z3XG~60 zI;!|MiS2Q6jUfy2H0_ylJBz4)I{u-U(Xx=YNxj^$2mo150|e zYM_Mw`zH-wAmm!8Sctj=O!YC@fW8E(P~iHQiSPv_Qf z+?fF9%B6_P$q^SQA-hOPNc6*S$=`nyPXI1)XrcZ?SV5(L9*UKXO;uGDv$Kq#oox`@ zmj3?LQBxan3*51kKb*^_EO%F3P2+H~MN+ixK7yr-%hZ@YRdBTL)&o*o;^rs$v>Y#s z;WO(RD&tFj$=W%^9m<9f=I> zZ2cSqG?B!K2)2@7`+!y#;32>to*;XnQovH3tB#JoI7Z00Lv=yJ-~_&V2cM1{h&Pxh z$x+r*hw%n=U)n?I#gr0%zX1h{&sRPPi5p8_>z``~Y@5!#qEYt`CJ=5Fn@`_h8owfQ ze>*;rb!m~0j{mR-b5M?OFda{*ha|rerOcCHD#l%Bn#Xq2is--L=NZk;*0>67-^`3K zSQQurqA~$k-`U&@UC$|u-B7>FC$tTLl&`M-0XzomFqy_IX?pquXjCC&6dsj>!NCOJ z>Ajnan>WRk&0Nf^tv^4l@tgi?AMuLv;|&7gS+)k>+$sC$%Yo7RdwK$LSu4P%7JFe~ zak(^CCiQj^cFIXOs1VdF<$5c{`RQIe54~yoElzRt(z0`xo!4;f&rhP=I4U<~EByY7 z5-g)&^n?8%V5gZBOf3B){P_JFCMukFGZM$^(NDnlFq}BHBl!V!0Oi)U`6bGOX^us4 zFYJ19iIedQ>@oM71a#Qyb8pq{9{U_!^_qPHCv+--_Blg@lze07AcuawztN^SY^8Gb zq~`{7M1BO>|Jz4GcakfivDHBED^9ZePGGI>kKHO(P$X-9Zhi0nq0DBYbOPUD^ z8VTWp4yE_5UCT_C0*d~-;Y&mQBiH?3jV8|aIBtfG2-348ydzKgeEjRHnvF~5HD%tH z#oj;5e}|9UpV)ko7EC5>?MH@8s#fu(KRY;VQ+Rn~o`iOHS338K@2_%9krPinHSR8H zk)A=St*rOuU-W^EJ&SnOcSc7Ve?>CuoVso)U6s8Z-tBm+Mx9mhm{i(^mdAw9xim5eZxty_lrZR zum1)6!=?c`px-;c!6+cHWDE3>&HWTgw&(bNiC(hC z_`pe;5G=!S@0*I5F8$Pws<<^lB`fP$=ePG?KWYu9F3)#qnAWfh{>0!>7)Dd`r46t0(GTfUPl`fq&^@?*5fK2IdX)k!en3|$`>*J z!%w&~T#ZpaH;QR+kw`$R)D&SxbAHGoS=3tO42j@}x6O8DtHJ_^u(>;DqA1=Hot3W` z?~XOl-B4So>rNtw9f(u$TYY-L`3m!q{H%HYdnqUPbJLFuXHvZAqq``w-F$wb{Hb;A zxm)5PcP>k2k*M8NreeMI*82P3B49&zh`%VocfilWE$8*Vql3tF*jisX40Hrw0cfUJ za)8(cf)N&zz`L{@U9pYL81h9NzvGoF$W@EzuW#JAfdNTqSQxld*iCR8_NBkkH6u)b zhlo+e_~@tv?E6wLooG+qyIWDJoV95qO)*75B_kl$6m_W1F{c0LF7?)tICH$JZ5IA{^138b<3NK1BC0xj(^&J)LWeV*7EyA$8tF7NkIB#}GOXQwjgzej~e?n0X` zz_bY61gYTP?R{->L(_&wPW)CY)f-ojj}te1PbhN6Yb-wK#+7F~_rdyOvvi+B@5>?h z!($HT=sfjk$46B9rV8v zfo2N9r2T)d+S_9iWgn8})?!=X|Bpc}cTY3prt?MaoSsyZ(wQ_@JLlf;>MCDJw|=R7 z%c0()wO^Es0Wnk{hWG(O16+h*9T21m+-6Kww6wK%gV+J)DzGA8B|bnnle0izU7hGS zU}0gAqTP#0^i3Y@-ZKFW>EP+xGIDYdlVR(MTe^0(Gr-7Z;zlpj(*CCu&U(|?AMli{ zi{lTO{PbMaB6}APWs)+N`|*sh5*lLhAH!8+RC;4ID|(6MHjQ{Q$ZxM0(+#tw9fHY& zt9|ATrDmb2O|JxKdhIj!1MlR;q;L87RC{2TGDw;42=T{Kr^YaNjQc_F@ zm#2CTV|tF;1*}n!WtUjhIaY$wjT>^|{GPvVM9J9dsZULqSDAXvyl1eY2bz6jM|4}K zl1E2fUC!-CaNylcBIwfR=moAGKy5i0nV)CXU;zO#_}&z=bNu%~oyB5Sc8`<;U$}o` z?cu$&3abRMil87ZE$-NoDW1q6Wm$4XvzOr|o`|>Raz5L4uY0Hf1Uv^x~KGr?$Wq^VS6W?cb5xAC zAiRSu4fZf7qHtn>HNqw29}q!65Vf-dXQ>OX1qKXH;Tr$+>394+FJ8QW2p@lcHykU5 zhZT+-DZqum92+hUu^0lP^*Iy8x`;1`GL}f^2R05!GD{G~(JmNoyuStQ?B3IY7n};# zBj3JzJJym}c&T7|y6ugT&H2PC%3EZmWzVWMrY5^uG?QOTiU0w7l(jg2gEpb1iFNvQ z|BkcSZ8}~m1{=+Q-m8qt@9=s2siTHkNqQMZ;`!|X`JcuEqc*&LwD*ZW_^(98NG044 z7bj8LZ@o{_G|+8>{8$>v@@bt-5C0Z;dtAV^_J%=Z+<7b!gLMR`NIM(zb)bb{Qx=r7 zHHeGfv2q9NJ@7lENFrj3kqLZ>K|~R;sNDn-2~oKdWWyLxVEPqn6ZGm?+HbQfPc!pF#%uRHPOj~EXj^rw1L$uI0> zc=cOZJ}X?-S}sQM@+XqAr54GNN7}7eRM}mBSeI{3eSgdn2A|HAVBUK`RLyQQFMAO z?oIY*}gJ{YT{Lvj|3R?$lnqR%vrErM)Gw1owG@=aBh2HZun zN=>ffLfyJ`+S)q9Ko|p^V)f@3FX;(CB-Do%!3;_L`TZ=%X5DDx&9S9_pwb{^<2fR` z9BGWC4pYwTbok#sWLQQcWn9Ii4CsO}C;VoI1AJ@3h2Q4rAMbXWHYsJFjPAKMGq^SK zu|TLX-0DzO_S2@irbwn;b<&>&8jSLKa;4d0TVKuST;FL){Ib83@}vkoDdAmnZJnEy z{mwQ-Mhf0!a(^dJeXRQH&UaRn>s0>5X+v+4>y+t7_Y1u$F4oKI!5gsA#tXd!RuhQI zM1uKQN@;AK1-m$k;yYk?kO?ZPsw59YV0u3M%Ib8b85b+-9dT_94Kf1qNpoN5wgAD> z+1V6T3}%7RfO)~RMNl`x|kODjp8Z51&Ln`OqI{Qy~oAGK7aXAjI~r?hV(5F zuKx3IkxRKXLKx9%ANb93G~_2KaS8hWu*3@7x6hxWP0Ilps4UJ6wRlhaU^4lSB7%;D z)jm(9@}vKwKQAT>8!EM?gLm%@$kOD}Yv>5!S35mQ43XeHtk8d?yop(?Fzg7> zZ%im53B&BQi=pp0P1Tv17&MN3(Qnc$pa3*zRv_5a^8=Mm-J~ zyfpjNLLtRowq*5o)HOu=*XR#1Kk8}g0zuxqgz}OSmx0>tm^Jn$g00?N+wIL*!VVTD zHwWjKMa2Hdex5DKa_+vEwDftw?XZaJQAOtjU%i%UO53eS8Cvcl-#w`^{=s*;i{nJ# z$;poCgMoo?=p&Kw|Gq*IGpZ1fJDf%WzbwG6&yMgZk|!lUy0QHu{rfEnMEqqY6t4>l zBTMy%^jGIisbbG^3mUIxh<-fwKwyQLQl!?|-Dxn-hd_V`1@tYYW7q6v2coxXrLzn% z>%Pg~x_KS@5l(k47oNC|y_GBM2JG@T99Ew)YVT}EJG_Bvq2yF_N`Y2;sWTrLX>mJs zluFY+4ms~b9Ab8U+{_{#v*x;QRUO-kukf|Lj%pvv*1->DyI(oY(Ilta|82A{nU+n2 ziU6IP=YPuDUdtK}O#)_3uvFp#$&Zz3mSKCPD0hHQT3T8yJn3QqgHD*S5qEwuk#o9;e;@gofb1DiQpXT0)r<(VlS8s=f{v@y~Ec0#bW zy^UkfaN)&HCRyU_UbogiXJy)sRPc{gVfn|7j=-JoJOolj(uJLe)#w+oe)OR_(Q66Y zJh3?xsF{(82`z`r=lAa&z%~b|88;Q;5{zB*A$5c95W+pMt}%u61u-8@WJ^oSFdR!T z9>?N#jOH+%arv5`6ch6a93?EpKvUAbra+vtA~ygyL5$#r0~3aI_;|n`Zz?NsB9S@@ z{$DTgY3VV0p;@VFW?71~^PBB29j4_E<`f);E9k3uap8A3AM8X#Foe?cM2V}yH2+wk zai+tE)D=um(>fgVcCno3&dlwOwv@PonYIQd8?L865z1sA57_Xb@% z9>7&8rc=TN5+%RdmyV7CfTNfQVs8`7#lZZ3gtg^^mEa(OE(>1FH~3t@cOj{%47~fs z3lM*Ja>ZmD2-o$eAEcvXqE@xG<|Xii3f{f1{+xi`hEAFCV3_jTUrXqJ;43en{p7t2 z=MW0JogVU%9ZKw%y!Pkkp~lq5QZ6&SMSO-uRg=cA-iHO#={ZOrK6dqPM8wFVuNl|; zXRKMIMR)6kn0P?o4} zLOK`~B%NcRem>qX?_t|Gw(KEZ;4s(1ju^lD=U-b_w}Y%zVKxV81*&>fDMbHY$j7p> zvz<##2%u&o5o54C0n7w$9NQK@PB+HdSA)E7QFY_fLO`!;|H&h6R1y+)8z&Iyx+tQL zh^EZmxlltLr=(LCYvS zgO4L_5bh*m(-g=`7*GSaQ8{x4Rr%9TzZl8is&vp&Q%f8>_7Zd`3?6_N=o1ArrB2Zt zvR~j9iHa5X@fgf#%F15qrr*rY{zXKG?r}_xkCy`a5-|FW=MSFE^u)v}ILwGa7qIT< zC{ql9#KEcO<+(|Yy~D@(wKn~a>h6`eXl z51uYdJ-H%xjG16IJ9B$wiq^@S#E@2zpDp!1ga3~o_ui~vCOfF|e#DKqmI>8ALcuKT zb8wn{+YfN3`eScV>x1y0eDo6^@1`p34)5yYnJInv@B(lxLj9*tIzf1C_twYo>H*Mg z=RF3gj)K6N?Tr5=ipdXNcv31FefT9k(=pCGv$rO%49{JRV$WWv$p8W+`})zxbKW}L zm+#0KJbGJUAKPc0OPO+p+tn0SQG}7BXKBKY-(_SBoBBk@U`?@a;c%&#g==AtoQ&*V z)a)(}f`q84aeJ%Fd-aUp_Ut9p8@>PK`$)LSDKw0WNwszS4?aVjHU~Lud}Jgpp))o+ zd!YJXrnn$=RuC_xE!dQVed{i6|15UJv@{x7r46ye>Ow!Sbl(E^>MrLklO5+o&V%G9 zxi<5UzERjyz})S$XQ73XiiCkWgonnH@vL!YiMN4LRbCTi1i9kGgJrSUcNI!x%KNy) z7$d`1W=QxcqN2~&UQo@~V>`Ex%r?v_S;}sYMrhapC~k^KNP>ZQVeblf2i7RGk%o3e zsYpp}ZTUefq}p!~x{l~waH&Q#lBSN-MGpYX2xMjti+_joo>#m%ePp*7pKG zCp8s3_DMc=)LGYrS4c=dbGxDc>QHlZA!a6JH>9`6*PQO~hcs5Y?_Bzscbv&``Kqq% z6}R$iZWf7u zN0i?ykOaEZlQi(hTucu&y---J8+-q!$IHPtTPIiLGhRH2T-Q*p4_30YwLQp;WePq| zWuEH^imlJ>tz)p{suMuc$cq;??LCD@yhRH)>CsPFfA`Go}i%;)kaqrT`VWpDMk zJo)+FyPssNrNvg=X>HA|!fbg*?vsUVldRg`i$pleL08u|!8$Kn>p1fQbutb8nLD3< zzgUb+s6fp;*tr-(Ig+hY_lDJd>1!Vi%f8Tjim(jJ*UsdGli%Afvivym*gCLR$aiC4yTwzRj zGI|2a1WK;p`$r|a3vIQmtSkzqUSP1$S@riPfBMxWH9Iu$BLSeiA zH0b3#dv#GJO!-pUoKvSg-(@vB0U0^wkJO3su6z#y4#~H(>RI)l6U^6bnEgf3q&|*% z1Xzjh$)}iMs-A~l0N??7N8Y$Q8$L&8ccN7UX$`5&W{tfLH!yP5??NsGijD10+A zjqEtmbx6-tgQn~Y6T9WIZ?(P5>PAcbcx_~aagC$K!kbbBpIgxWP%#QD&ka51xdR}d zELf2TX24Qfc?QBzYhhawazCy>2gY9Q?NNss%-r#PF_MK9M;E$dP~?d8uuC;>bOkq? z27stOIpG7Gt`4gaoC!Z)YU0wfJTMDOA>Iyhi&_hh5Cg+PN(z8gCXzA=DSxDv zr3=i^S3{4h0v0S%y`z&;Zr$9>%$GbL*Wi8mEPuG)UR?b#XdmY)&F-snE6@3OXl-p^ zz)*%N&!;AiiRj8>QdQB;x~qS^2F1vnQ1WM-IC)i~OM>kBfV{ zy)f02HG5*>Zzfy{@e4Kt*?Kt{85s=?4baYg__c(ppbtfZUXZo^4mV!|pkai2Ky$+_ zE%xYvb}jv(Oh?~x)aX?jKwI!FyEgX0vd*LJQ5qPiWP*LnizUxqIQ8Wo(~=FaJ3~&H zJ|A=Cm5F(+K`W=mBim1f5=FT(@rL@P`u~Y4b3T@0JK+{=l9O2NLS{GCUt$@j!_yl7 zI_m1iDhq*r3dOfDQGsO*D!L!$a$p{U@!8waaTRtJU~TNk(B~TD;yJqZzitJ29U9%J z$hMoIK+w$0oT!ZWry!w%m@go&ECnKN_m z>W(THCLkUI|7*@)$L=d^Sb}xxZUTh!aF8x6bVVaw*8#!_8z<)w7`%;K^R}u# zZ!a7U$h&^aWS4r64@VRRCjmI{K&?+f*@pKSw629MA7w5>>%auC^>CgabYfyv4Q}q( zPLWTK`}vcuYeO{?_hjCP*E3gz>1!GoC@P7}h#DBo)X#~EohMgS*~%3Z*nKViX7D*5 z&w#3p4I2_iTBgv{zy6;;4SjE)nW>UoYTx+Sz7e=-RA{khR|kE>*O~q;q0JM5hshoo zx2{j&2!X)@AOZcVE41-e((>~=K<#n%SuVp0stwTyiyGAo(aZK@THn@j9Y-HS?u6M~ z%r6Ri%1kAFd=Pa2MMCV088K$c8jwS7`T{TTftI3jBC*LXQ2JGv8CG26vO3lAD}6lc zU0Q0dnX>6KP>`EDg^mi_^_*>NO5kCGyS0mgV#mTU6rx-&cXu^SO|YKKn_gaWVgcPh z02l&()RpDsyV3QOx2<^TcXqr?z09Y=9Y)^k@wAq(hz17z`L^-RJ@!+RiPiPf$`|!% z+@k0{q~(_LK4@K?A0}GE{&5C>20tgD8BR`440q+hh6lQWH}UJ|PgtwalVb(_ zRuu!{fk*(po?Q;F5nHhhR4xULR(E$d=HQ#yCoAwkjqV-L1US+zjxuq`CO-{YI6`U-5 zQRIO)_i>l%j#sLT|CLEdKi7RRPP>JU6~^z7xu`bI0SrPdHVm>n3NfH9ox{VaJe20< zLy%0xowK#K2aGDu9z6j|19o=o;IuoHs(@h}S{y+kq5ZRtFgV^p8HHnrVIt(^B#Oqy zvLYf^aPjalc*dYd!*_aNbrs`J?4`txG9rBdnorzsoZnWvlEeKvFzXC%0q%7Y3Sc}qZ*Onl=ICotk^u2`#OZ_wPnGAdd+&JTxw*N}@8TtwphErs86LE_m_cHYCCfoO>EQu= z1o5=}&(Xth*O4#+DV?yi=&`x>hldZ8yKGF8QH3`q;r*eD#OD#+r7)<$F}%2+;pIU( zj7opu^`o6UYF44xe4)^<{i*y3;xtI?)iWV7lHfv%%&+-20$taj++#dIB_2P``mOKJzMA08f#FJA>l9V|nLWCkn~ zfUphoq&M)@z|DsO=sa(nn+%qY)Pq(AbtA$;Rb^#PULMi78Vf;zg8z; zk+q@TLM?0S1(TKHGd#g`f)BqIt7;@^Ui))5^>6g!#`V7%AKRau7aG4uR9*Ubco0`v zn!+C*;0$k(u=C6A*D|7LvhvKxV*}4qu#gEI32`THH4S}VhXL}ES?3qr#cOw0@ozXFwbU$BH?96q2#3Ig87``%x(vjKqlfLgjhM~^c! zzLyDjo@(dX@^aeQeN++8nj^7;C`vtAM~j3!Zg`eH`b=bWH1^7=8V*88K%)5n=ML!u zs)DJ}QRqp?2{6&2q^14(<-+nZf|@%(I219&Wyvtx0E-jeT%Lf}fa`8APr_-7 z6%%CS7quWG425xdeBp!!yJRTtOEB>x-jzhL5j5EdtoVBp6B2qM&BA+2O-z)5Yy+4S zJkdmWcz)pc0lUP;DtA;%iJB8=LU3=08&P4}1lbQ}i+2y*ymM$YRlI1$-ruUoi0Dj+ zMY(v#U<{(Jm&SE6>DMxzR>96c8~`F_j)(tuO=I_O@D?y|m1K>=J7AiBp{lEAee9|e zWpD^-&+8-m$+o6@1vwI4J1#jJTLa=&89NiIsJo>|^5^3!h*DrmqNJiAn2G+yH?d`H z+S%UtG%)bE!!G8)@t2tMqEEzgYHMpdeLlYX8-gctF)l82qB$>L-W!uqq65d}ttD>l zB0wA5;=ik__hN|49@YWsyK&eT8SUP^+e@wn_F-^FK>)-yZ&sLQfbfXyq48V~t1#?c zT~W%5e&I4=X3(5qWPOqIu6fbq@4`LaJMr~GOm~?Y|1^ze7hW2pycvHSWDW+zY6-K1 zoSaFZ&+t6K74ExI_V}?WULQP9q_MmmP%RR`tG*dL$rCa%NCWn^w!}Ez*htpm&ZMd# z9}i>~KL`FjUe32Htpk@Y1GWAQ4+(@al;_YI;_DzF4|R58#>FM$#v>-C%R_hl#tl8e zc)0!FRZ)4a7sM}c<5KOP$D*dkJXkBEqXZLB|I2jq4C=S^_kZVCNS6`n72n;~Y8M=2}UHbeCaFe?;zW;H>L&^o(hi6j)?>+8SV zO*J&oWtk(<8bkb!cZy4DI49v*BhUak0KiHFyHi2iW~Qbah3_%C?)?7!Y0DT~m!7{i zO(IPpgXxg(Xy^&W+6KAx1Gxt`8p3woS!4S^AbmQFeg@lOpG(>?WH?=EQKdfd;^b05 zy6!hHV4;5E^&A9~2geOAHxgJK09x_H_;`d0Z;k;q0gq0E`9UZP{Be+skZ&NSeLxe) zdV54hJ6#uv&=dckmX-z$BI1(3fB#uvYXB-o_|xz+jDtKfJ}#c52@WAH%^psVIq5g-bH2L7WQ#jVG-mw*5Mp(#M&4%U{ElG3w^_nzL?MXW9EA&PV?EZI3ZC>)S_ zf*?7C=NCM}Licc`<>%wx4dM0UnoR%xoo`lIjKci;_wRTjh^VxC_7E4^!xxeACQo!T zZyfGzoYp<%bU2-4KYtFM^I3EAlqTyD8B}G^J;8dt8u#O28#g&qK|5KPG8SJKq@LD9 z^1OBPCKO;27{%iQ;=V@SRtm+DBu?28S}zuutWZQYxu1k(0=7&E2~DEitE{ZVFcHqw z1SBII1%0z$Sj-N`tsijQL`iJ$(enJa2^*UST&EU1pGt8kW~7xSD}&wOne;l8Q$d86 z_vA8-LDyj}l3*+H3t_kJs9ae8+1=ZF^i&;DZHdQ;s<9Kl!`uQ7HJYOoGE21sJdUir zU%p^?fk|TrSl+F_mT(MonJ!$oFz!(aQyj!@>ykc@;`Pp-XOnW!wYB{TH^len+Z!6J z5x5X-@$iT#ThdMwwG;k3_%h(O>)cS15EB#ZT~It_b}DtBudm81!$BU(hEE+e*QUSD zHECo;6<_T76904Jy=}3FH{w_HXp58DS!29tJP0HqWU`;HoGmRCGdo`x2i|#50CZ#Bk4NevHaWbL+GL5u_X!FtBA6)N%kID5y@zf%E(BR zoxQSGR%E2CD9Nf&6#bHfgi2OP;eVd@@ALb-_39b-{k^~Ay3TdZxnMeRt3%k4g4$Qy)S=?a(9XRjaM7V4W$t_sV8_JFe)n8GI<`KT3F zKT0!i`|`l&2>OtiV(u$l`Vs^6$3mI_V!V&A#51AE%eUAy3&l#yW# zsuucYe;6A>J<^nU`4`YJY}&X#NL4S19#ocH!`@Km(DKN3k%LF(h{Wl{<;?B$aco*O zcQ+#9_8)T}{QjR{{ewn2!D0dxfvKJ9)4R7n5AIiT4qO{(Ru51^Gu^OzKEj`#Pg)+l zeSX|to=$I3tH-42)75EL_qi6YNi!K~LejC_K@ICev$viY_WEbOeDT7$#;SAUC(OHG zUIcnmC>CvTu~(xlC_C?KmzI|$cbb};>+9+Qoa^oDgVX{sAZ(GrwlpbAHn`j8EahDg z>&PBe0M{@0CS&76B##|HUHt%(5`(*7AYf|OSp9>N71YArw@l5FaE#;6D$@_Df$Lnh zwU06)C3#XPL$?`6|JP6~rN_-s;pUN)$>hMhM>=r*6_X&$&n-lX|JNAlStzs!C6mX(u(0{Ei0<>&cmtw&fq2vx~J~N~l`7ZQkU_dBHzN^2#AN|2_cqIv1w(>mEj4s)GRLmr+WUI9%G;nE3GsEoa zudGH*Cf|K_`^*m%ex@*^4b6LVwta%THtOzfAOB$8zEt&F*|d)yU;HQQdVKqp&L0iK z!@3Ih1y~XasBad0QFRaNtQHj&Wm9f9eOA)R!ax{!^9GzR?^2Pfl|$??yK&x^N5W(N zgy5wI0ltw2#RIdPyvq9t@j4ILvD2iy&v@!Ah4jO2&MT@&$K(uy7sPrrB1Y2DcMq<+ z8%ZS^p9Au%*PBZH;QZ~e3zW_Uv87?DQVg!8H?EE|! zR(J4|nYo#eor|@FA}AcQgl=~=dr#|Npyv)S0G>L=%ljFTgZ`bjiUnQR@{r8_gtJhM zl_xlVuuCS#YmXfwZ2$7yEr2g3fB;Cq7O+pTbTFvxj?Uah^NT{;@{!fwU6Wd~%3#gcXqD{NNPTAR=c6^w z#{-ovy41Tw@>Ik}ydg`YlMy|7@RPx**vR|ISFDQKSkIa3>*)Any9Yvp2NdOKg{#9d z2o`)C3Pycm;%l5thyhMcuUn2WOoUSJ_&hlY?ySf2P^9|gDW|3N97sD{P)y%Wne*?E zVvoTQjf~+p7)Mi1wOOP{zDQbOy36<1vrBy=O!OQaqPcY*-N}?YP4jAAojKYFvb&>K zMg~s*_fXf{n{J)k#Pa|ZMF=6v#GC&!*RR6E-k1Ec<*Tw}qP2>vlqd3k%9MvtK9J1d zZ;iTWZub4=u6wNt@KhfCkNk6*{TGH7Q8=V%cY2(G4ZR#3tU0rt3NC0qIP}5frVW3p zqgMTHA486;7cU4$QQC;0A>upi{6QyIgp}*tX?LquN8ilm&FJ7DKsp} zw=r=$42rv-G8H!4X}){El6b;bH0b)07PR%l?#r#)7Iw`l6H(k0Dw-r_%?#(}<2t2Z zsP|jNwBI@UU}zW(n~$^@?hotm<7Cz#QAHi`%|^q$P(o+2?sfmSVzlkf9JVrdc7LD$ zbcLC&7%>MRWT^WvNf5tIA*6neBnuoR4vkz8PgfDf;0XcQ>#4gh)1EsUk4g3s^%#tM zMPDeDD!3g*2qQd?{KeC#s;ZKSvyI{IM%~JzJ(Liio&9(H`*DK%u55Y{0wDwu#aRyz z);6Ej_1H=KnFOanB?fPL`Rfd__P^-6>90+oc}H&666au>GH-&4Jy&!Oh&r+#?~li6 z@b>h+Dl#_KJZzfx`0EX#-0lM^#hrWtP4~u)(yk(#21gCIVE^#^zS--g-Te*^PJ!e- zIa!Bi!J#0qv5mtK;wPlpz!fU?>IkEli^?C+G*q7cZDcDW$ovo7u9r(%8qd!Ecg6iH zNtEE0eb%^gYezPLf<&PmLD}rOS?_jQr_rj8OZI+U2~EVa&Rvp3Ghfff?sr0#<}3uF z(tZM|tlm`Nk~y9KT6aSD4pwPfzjGg(%%h8)E34_#nWGd|OV$60Z@(2xDxx20^PV^P zFLE!hcE4MktL%!(MYz$| z#NyRp?%IQto7}`O%KKgCI)`LD)Y0Sb!voR5fg|dS5M(QAuPv><-fT5v<|&$P`|Co<^w36k{Gs%Vx_Rx|6078M0$kqOhb8{)wiq-jD>^n|@Pxv4aG%rY(J84d1rjy4C!81gBki%3w7; zdHFKdfQ(_=ZHn z;+~eThIAAJ*>4%qY0@%MCmVddR7Yx+^~0zmU8K~w3Cwg{VJ%E49BIk*qrZEp_vf}L zH6UIX12+|A02KD%iegw6@iL_Y$rK@ZOJF1OYgXEi|1&iJhvJZMJP8FrK-B18k#|ISkc*~Mc-S$BK$y0)~nLg{=Xw_ zlbm~mS-(fdJ90Bg4`df=6rVQRH>}F{Z%a1X`YU(+53wmCfrpW2s{Ew*o-@W_?T7RP zsIPxIDkijaV&R=x?fqk)AJsDcSL=FveL3~&_xHnCtq=eJn1ONPiOm?GcBe(1SpjE~Ue0tYXEYZkQhwf_{hlwVMQo@R1azF7e|0ua(GLtAFOVNqpE zRvH%E|76a4@Zbd`wFuKI4aKx~*AfZ$M|Da{1PE&mbR8PZ9)DbJ&@&i4>eJ;W>1D~1 zZMb1?#s$u9|JScNbYt+z-&3IZQJ%D9`_DW>YWVoF_aDDTegP)e7K!u6d`VV1ZE|b> z_EVHi9{J@VYB7;bTSU?Kqk5dJY&s1J8j_KMr_HZnHd|FF)gs_T%>c0G&4> z|G|0oDpN*x(-yP+>Xj?@+`k2uGf9p(Jpd{}Yswp(iZet8D9rP!pYF|pZGn5`uY6!6 z{94%AOhsaeKamp7TYOa_dHun~9oDE6K79BaXC^wUxk=CY9VGikCwl(IVGnk7G@FEk zbuAfMotT)w!HZIOxRn?Z@lS|ykzNr)*O0oy8v!RU7YoY+d@qK<{C#JF4%|)G|CpA< zWXaWqi9fA$OS*FJWa3?FW}#8eh^7{Pxwjipazme1XWOng6ztaGqbw`FYL;rB;NVy~ zaP9i1(LT%7pRF)qAh*B;R$9r*2A0f8ZW3yhB^D8+u0`NAFLRY0Ht$J*MhgdJ$TrI# zZqTU`{+z4k*QQp=XHbb+K4EU!+FPDqT|JKH3g5m3{X)A&C)eIFzEMves>1B3Rt z;q|VrMNC~XO3TLxF&dR%`^O`cnO*gOMyZY=7${tJTEa8MFrc@j*_m4!n|%-rnA^u?>1AM|=Am7*qmL zoN|7EV~G>S@CXWqSM%(;B5oT#_Fd#?-yg+e{bI%Zt6`G)#a~~4Uqq~p(Z?fI782_2 z>2U)t2=ygyWF8;$JZ>KluZtjTL(qp@00Je%SwN8;+2O6-jKBgRg}H-6ZcM2lW2CmL zugsORmRv>RHb>mvG-*)v-ZBiW{@6(EbJHoySmnC^E)H=49>-3HV@3}ANM2wf4RV61 zlm1;3sDj2pi@?eXP9z>vRK&m1?B*0QbV5cB^9C|I7m;Sp!|UlIeEp^rZ70Gs79X4! zdY^V2-Jx++B^q>u-nLomm%Y6r($e)v1Yq)uV(1Gj6NIG5=X281$fn7t$Y8bJj-h)w zaS;S?a=92Be*8NPjQFXkkxb#ho0OFx5!bFM5fFqsS?#)dnOB4M#zBfdal0E%cgeBl z?vx!FeRW5XR^usS5|yTvDjrZUI(WJl-{5(tQ13oGhqg$lE*a|TCJDAeaf-kr<>S!` zuWOWDUf|Q?ZhA9#iumHQQi?cI$Uv+?0 z0dGTFbqP+_i;Ea2R2k1hqlaY|TJROLknW2iIK7g#2zu5NgKjeli7FD2o(qm=cxqVFmrc0_2^v3&2@)2h_f(q`q}cU zm^4d8=*9jTg>5qUj>>_uN*G{V$GTDP@*9}(*VI=)jgm@41Md{X@)WiaA-{jGOrmK9zG?Bsp+#Z zS$5n_-)WeF^oNrWmGyczhji(e<>MUFlXoL*9xi-JCz0~?z3sNzg+h4q_s`sF3wYP+(6;XI9Vb7u zF0i+31>R~daHfV_(nQe`dhw+N#(X^i1=tp&mNtDND=lqiZm!Ag4PIo&xLVIbAhe^o zSbx^XnoIAb2onp;f=LXfch8%dS~}L0QkR%e8BwKZqoC%+37P?Dm=4%D!U}=~)}LVk zo|S&@U>#a)>Smbx7})DmubtcT2&%<{*SVoS*+r#FFfv*JWRdvo+qS#?%zI9SOO++9 zlHyt4pJpf+`js!zpTVT<*W51plfh!`u>FfW$(+6CM{T&L2HA^h2Q>^dIe4;@xcPTn zIHeZ~GtGgZ&uy%U*0psq@vVs(ig@6lRpJ{j)#&x>C+rN>5!K zi0y{EdoRIPwQk$+_y2Yu^ZWO&+S?J2Q=8+86*OABftgH4e zeBfV7{j*0rgH`zITIna&qDy;=5^Ew$oys+t_uh|xU3G$^ge200Tb5x{^Xp7zpfqvY zHI4t>4BM9EWo~{vmVMBO<{Yq9LBYFdc8l_uWrmfydIz>hKyTP3MUP%@@$W(4g8J#y z;Av3m$UxELKu9okw)}%%@@@0CVID(LA#96h+2rXFHV%4s{+@&K?~d(l=Atw6v*jmT zYDH#>P~yaynDQ(G&96{V>e{i55xXFQ2tVY&aAzp5EM$BJ2*bHnd8%>$6AEVndkAxg z-+J=+;%R;k7au)6t7lhLNK{=rwunOV9#+yvkN3_FXe?4KxvzO!!R$;W-s!X|^#Pl~ z*?yBK-NwlsCX1dqrDxxNR0$(Y(@`+1txc*48Pgcw466uSDW~M&p01O)>E_*7sC9&$ zmnwuTnuPOc}(7lQ$YRN9*kn`0DlOpLSpmxDr? zG+npT60)>3tJc3eJUpLYBCwrXS0shk+sa77;qkYHg*M1f2TfkF;;RX zT*z0o3XdVs0geyHeF6cBH&kX(gavyBWk&+Aiwl5DwNjtYEF((;;>@&nFYvrx(3qg* zK}DE=P5ghgt4UU_q@WbP=fTtY%7It&l5IhjgD!iZNVW)Di~xVH@YPS@PC=mqlrOKZ$yiw&Nl!7A zELypwDtFtuKTPG{dK)JXsZE&5h?u_=#S=dK7lZ2YQj5cLkIptw z%v?fE&N&p7K>&sE{WB;)qWxYWlE9^7!jb>1>o^H9(fta|mw!0xh#!(YAVg;-a*F-B zBQb@BNGBysppcd)QSl`3m@$_!$1{XDsuWUCa;H#GsuW|&me&xo>}~f5S4DKFtaElqdX&3fdhv)^WP9uRYa(%C`4F@S@Ajybksu3 z@jXP&<8(hnsgo(0nJhcSIGN5b_Ce4D2@tN<#?RMIqcOg$a!$ z5o)9Q`&Ry{615G^lpMQAMd_rAYP{;D$;v!bblpYMJMus6iKeCKqP3P&Q{gkoOBSRe zs>Hi}6zlQ+DrXrQ{Cb zrBXE#X3iT7;l?+Xp7m49BgFNIQ~fzf$=!bH6FV2zp5gm9f8ZEJWCC#CFh_+6>@)BQ zGST@dT&;|j!M@SEckeI3nAoHE(x*{bF?>?5^%{8$MDd-EO* z;iOJPnph-cQ88-x2uwkmf*s5#Yiq}wXKsf{zY#eZ& zM{KOE|KO0tTtz_}U_IL9W<#Wm?k3pqpy~wU7188p5G`n_C<$;7Vj)tYIzl$bN2??N zXh`mmI5c5hLXl@SGbrrk70GVk_TTgSUth;RxzT1KJgyY%{;|~9;);Ri$@0|l+MJtj zf0yp(EgQ13xzl+{LqkjQtj}Sl$*KDKlrN0i&EjFnwq2S$;^`4sK-^WZl|X!CUk39riJDyCo;}554{-S z!=^4Qs_S59r=I=yn1~KvN+t>}ou41oOY_UOmgO5?Gch@1pA#7uSIemI?eA62t~(jh zy}dnpJ+I8no%YVpZpB2tWTDmHwX>92$JdOHrC8d-IV(LrF(tPe3GUtEJuEEzsX8_= ztK)xNTBLywjZAQadq$3S(cP+7=Ekwazq^U`okX5-HavjvpvY z_i4(A^zwE;sdFW@B&xiD<~OXO*yD~4AALr#m5^RkP&Cv%zAQdD^>jYN9(qSS~e zBC;+oZ!9VKhu8Rkon10BC5y~qsh;j`y;rYZzZ)3%R33OchOwvU%*~r>HL^RK*b6T7-nc-m=6gZHqyIIx7=SIH@^V1U)W^ zimFOIgNmAlfT#eK7Sn+nx#X`*$Z4Xn)Rf~D<4}!fjpaxosW~TW3&;!(Iu6V-w1vfI zCT8C&E-x>xvf!rLc3@{$K~kbwO0phZcwTi`kE1XP@ySTULGJLp^6El6ZmMI)sN%mC zY0#uNxjWn15+@Q8oHAa#=r$5!?7CZAGaDliu6DMlqVG%%ayr`3vu{g{Q6a@pWiobI z8CKVmgqRN}@$!_;xx1k)cY-$WpM>P@lEWNqbgB+^>iU|00!HYWHEq(Rd%Jt%3=K_B z*X_FOqs=4j_90!T`1#!ut>c<9ugwf~^mWA<)z;`^gv7(r!=8QncP&s{e|McW@j1Gk zUh{8CEicb$xH8qx{y3ePQbUkmvXuGofuxm~`l)Z8+ji|*RpUwL;3yz6GOVhLvG!*i zVZqLAYm1Z#PB})?7T3Ve!A^``Z*|DMhL6N*9Y2l@)!N3!GDAvPc?&rkC=Biw3p~dk zr`(-MRj$+0PBx*N9@Vh$-tBBv_?Z?mg?$U^jSH3mPmj-iRAwb5#|Q+ zw?%gr7zq(Wjf9wMtYEzVIB281sEB#*UeN??I7IzM^;9BFH{a;n_wSJTz=fpIsjFwH~$T3%WzjXWvyc9qY>=kJ$Xt6AETlT(|f+MmRJOd}m@{XJV& z#g+4JJebOEY;5zL?J-4VmosN1GpYoS{kEl7;gD&9J=xrZ-}jE=HBHagcd*$VGwA%} zTdy%UH!=I?D}$5!+~4(-id!>pa%-%`zR>lXR=mpUIV0L?sC#Mk=SuJvm*hEr#jlU? ziia&N`%TI!ZlM{>{<4xYMjB!GkDJv)r)5IJmmH9AfV?@c+>ow9jqm>&M><lyIDvN@RSJ(98hV%A_G!*bB!@dF;u(I4mYk}3`Uk^Xd{%#6`cA_r0#49c(9m;l#C|BCBt66OGe})q1+~fPX;F#R+bdhaTlwoW$G0ss`THux#xj+c-8*(Q zDCr@6LG_lr+~{z}vh7b(Tg$7r;L~|)CT&Q%q2$ZGcNc!yKaP=h^PZVMii_G(YaJ+ooml7x<;0t)lzc`tQBwwF;nP=)$j!jq}6U(*i6-nBgGS zTT16iNl5|H5eTBe(p5vVIIw!<ipGhSLu173Ls9K@$kp3V{&a z`TmjDflzK39ylFhN74fmn;W2+1Ly`E2F@}C0WG3x8X6!S*aL$-K)1jt=n1GDqTGgD z?FGnSXI^E=f&YXA2U277jdB7AkAFw#u7~ch;G_cMf!^;X{r)(|bU3<$-v;>xXz;C% z-`j5wM^$UT)DQ==k;?Tv06 zn(YTfW_NXY`NjQk0J{@YU{?Y)MSHjQg@3*_l+P|RAEc*{T2lwmR7~P$l`YG6;8hBw zGhI1B&1{qxCkdb!#;$%QFi@LEy}g(vyLVa9f2A88JIu`=^uC5rglGKx-}Q*!3vK%p zA8ihmi4#KKKW0-U@#e2>{Jkx*`f)J8#Vn4SOo-0x?JU{-uP4dV>xK59APa_B{y9Jo zvYBL~>p4c45kWYVqRrt+@rSv@~$A3Usa5rSD5^J5sD`ldBs*+kNn$1(z{JxCM8; z$XET6io&4zw+v;>qATxp*KO5;{CdQHTnJU6coKc-S9L&q-1cC(SDJK7ti^n~64SKd zK3kN}4mucW_Qcaku+mnPo)3R$WKzJECC5Wl8M$jf4e!4@NA6kr=>Bi82eE81r=eMX zxa15@4HhXlQA> zB|m?0uj$;}967IXsFB^9Vr;3VMw#26cD!F#Uq7WQ^yCEw4vxo9Uv9YFzdAwFoj7#U z?CDkhJ++)Al@ZEON_oL6##7GUbRz0_Uw8JFzAn~CI2zD!K;^*yf6p8jN}kWX{sDtA zKY1J^A9z(+xu;i=u(=e!nUy}ta(DhB=hmNP!P&*4{QUOi9cdL#gUzNq$_el3PwFwL z5kl1RxrI!`R4Mitm7V3;V^nI!OjI$hzaM6zR>B;lMGy*a9B|5wX3W$4EuOJMJhfuT zwV>!0N4>LzPEVI=FCX{*?bLa!LHC4Iy?U6d#gUueKA6*H?xRf}_aCZv-;ixg5)(~a zdI1auZT@RqOX-zrPG%yp^~^x_eSz z&z45f9Z)tDV?6D-J4MyC=I^Xc+8sVmh7jgif(1WcJQnl=YEMOzC8!D<;I} z9!%^p;@D+r?0CkN)|oxOPvu#jbJMlKM4TGk!LCIzl%zHFngz07)(Np6%< zJ{#K7?w1VOMN~GCI<6*lQp?84MwXU|5yg#uCIU%MCkE>3)}(ftCA$ex_q<{?5su(U z<7d`cySC?!zKc}ZsP(m-+ht_rZ!-A#naJ-mHg;TG)=-nIs?;kqPN?*xAY5$Jt0DHY zbz6xgcbu7;A{Lw2>c^@Qa+1XJ^YWg%EG@h6NPPO=WQjEsdr zm66C3><8yJ*u1jG~0ffv)(IT_t`YFbls+QN`Dd-`J>^=c{#Zc-NcN0W4+=w5)|p@ zKTNr}&R-G#6nLef{9g8dd^7h5u{p7-AQ8Idd2Y-;jBhjI>ACM8Y;EHR z^^d%#Z)9iNsI&{#Xt=)SyQ*OGuvBO^I-VJS(Z3@>Q7?aOs_I_0jkdOlJBP1 z6?Jtf)$76c>ukLKjRb~R%)bp7#l>o#=y*(f?z@FSMlDOn3fvSuJZ8QGe?P3U+_=0u zhU0r`O7XububAw8e`I6dR=1sUo%yviO|S5`?ANb`sE?%~lyv`CpaZXD?nsG7s==zP zKw(r?JqVc#`MAC*pP026bvn_iCO1{+_G+O2M;nLVn#H?O*@+%#Td-_|-}B9v|aGec+N!BE$!0R}2nl1h9i71i|vL~xv$ z#e2=~yIYx2#%kSb87YX??4%^5=uqS(>x2{-`PDGfspTgd7}bt=|FBWCZ2T=AR1@kH z%ufz;nAdFJmkZ7?sM$JK`Q6>!mol}4ndxpintxP4D@GJQw|?_J_iE{#pPK0%dnl5J zCn03Cmz!3XYXeZLsXgzDo}O7Gh$;LqQ1X`L>{R&Q=Nf%F82a+e;fxni$*DTbcX}h> zEL2`mVQI}9Rj~BI3g7&{D2pBe5Cm8NgN9#5SVSMe0ZRU-ydX+d($0=4>%j^d28c-f zQk$7|ov{4K^Wbu~vlO;>4ywkA7fak!D^9J#13Ik3W zfad0`j?T`^IDLP*Xq!zHB*hm5UpN5<#{(*{G)u?$!@ckuUaf$!UYY&%3Ngd&~W($e^EAHCWc zr4b?t$5q9Tg+CYeOG%0S{dGC#NcJhIcMBifdM5Av*L+k^t%C-NGP~F4u*RQ7nywimTu5Pc2@{RrE{BdbW3< zdLfTu|KZp44v)_EOr9Hgcy#+I_+a6aZv0%ho~vZDd$4w~$JGV$Xa2R-*>*Ag z(34t+Hu^n#?5}PU_iL$nbC;j+!oK!dVplWcKR%AG?YsBL4}ILcrPr|VK@Q)WbH|1^ zq~lp6?rJh3;`i(<{_-f}FeAa@$A}~OTicXR^6ruKNe?$4@0S}@b!a=eDenlc?fr#s))?cyC+ZAp#@9(t+s6N_j3##3d}@$l zYd<${fh${{dvNqbPpZX6B@O*%dV<&HM?1XZ&Gl_^gu|?jR!hD|)$J3-9UtB3pwIB> zZ@h%ZvnU!QOepNS{qWPG{lA!BbUW*Dv;A2ag!|rI2IQOVT-MI;{4|iCYGL8n=oj!R zs|FWXWuHxT=yVUGF4qFgr$M5?*Q93$iWyXnG`++#^ZBVF){g#YeUAelPt9x(T6gZ5 z)K8Z@%y25Rj~8$HI^E|;IT7O6adY(j^KDu5EvI`X8`0{0`yv0Q8u-=)x1W8_G#$9>FtymJubJNfIu+|iMB zQ;WBw3fJ-5FY4Pb5lRl);>BbB8|%Mr(c_oI{Yb2!_4GQb(2t~cl7(yY)HNm)+*~eREJ)6b|!WO{5t&Q zvPmNUZP(MvBD-%*+caR5f83()B#aoQpK=@i4ekAtJ7$}$3OvMnFA3yMd(U85>pP9t|o?NYK*v!ff{POD@o=RUr$0)&c z<{{6O-x~lYTWde*d-F!$f4~+-+&Tx?ExD;rim|BUFt0Uh3%= z*Cmg57F%zlsg(2AYfhle?(Egp(Go6g%E__f?(Tn4bV*jk-Q8MPINhvw(CDs7>1bIQ zGl#z2aY5yShUrO#Mdi<(MO})EKCzdS+>7nI-|}K7M^afyS;ifl(93ch9MT-(hxw@~ zKF!TVQBwvP>`v-1Ha6`uFieVg=Kfw@<^85frmYu5yBby%3c)Yjo8+NvAUCppTMm6@^XnyViWJf<(eC|p)9nUXA(m}o>- ztWDhM;^JaHT$#+AVOCy{Z%}+#Dk-s)TCJO9YN}S2vmwe|%bW4~r2G5#R1}SFWu4*e z7N&)VtuussibzFHUO{IBa8DMdeL99okTwY!% z>Wl!tF&u^LT3af`YC`&_E{=pRn5jGLPtv*c`n8acyrqq(!ZCI74V6iy$Y%7MAac*G zQ>*3GSe0{dWC#mCGApml2PLB}F-gcLv#G%#=zJCT(X>wEGZm%GOq2n>i0cbTI1oK$WLR${WhBO&aIxLDFGC|SEk(2VP2>Cbjn>wTN)FbhH(s5> zrA<)fm)#ZY-r^6-TJg!yE-ER!!L5D9TS_?WL#5b>Jv`k-uRrke6czV9b85)sP>;;c z$O_|)z|_))8{mtAIx7+WFqJ+X0|_1~7Z-k)=@(N|pVjh`c8MJ}CMcPra4fd$m4vs*wLvbGj2Dx z_S=Iz&N@_~lstTQPoSYEq#Excf-$7yZ4?iLGK78rBMTcLw5AQL%BU87?ZwKIc&p z>5;rVG0Itxf5+0F88_7qEK;ERB3UpF(Xjs3Gwgwk$ut% zeShsMrF&qtz>3TE-S=CeF*KYJUPf3UJ9j?3>Xe5xr7=CY;sI#rLu|!CLlM8{J zq$w<_Z8VS>?U2m!HcG6)m$G2wz$cd>Ma%tDvHBH9ss?6hMiu_flG?iky_?wOrC}+PU|9=f{kqP;vmu|}+G(}_WGP~$b}^Vj&qpz`C#JNLY6YwMp-7n9rFv60ZsCVAb6 zd+lw!T_M%>?darO(d!JV08}why%&F>NO{uR>kcfQ{iZpWKbvYi{Ldhu@C0FZmvQL$ z$6%}03ky}t_LQ1!{{uT&nME!~^?i^=6yex`Nq&!aGDdsO z;J|QphQ+i+h7=#41_W&Ib>QG|1Q#1b2AIZ`iv@!E3Z^nCQe&5ggx0HwBE}O}{AtR+ zCXhj$Y<0rG1IvD;1Lu0G8{U*WJpV?^_7;muNIS(>y_?1dl4wLaz>%1nolPlt7!`3J z6p3O93&}NzJz>Aqiec=1jfM@7F(T1;9pY?Rf4C^4@lWQq?Q2`dm41`KcjX<-AtnmJ zQ$mWDhILeo1#W%+))XeBNHpFXJS~2VS2|?v>wXVg)*}NC;Xnq@J3hl+7|hhNnz^Tp z!UbprJRg`(SPtqK`M{J1k5PK|mSfUS`np}SQf?0zMlO*q`(dJ_%UJO-< zirrVNl)PchOy9j8dN-*5syjp~vTx($c`2cuE1lJOLcPv) zWj_9+HF0XiZnJYT&n%ht?aM~P4zM>wOi{@PpDKBE1IB!)FN_ZlKj?K)BcwyT4I>Ts zaf6w)H%d+WNI}FwhX%Cv`7>IlsCm^A>3navfLg7-VnXwYf2N<(rVq+Y=Nk`g*C=;{&AeSKwJU!vbyE8;gJ)UL|GL zsrlssPeE*fi#EXYCEpexz4P<)b8|lc0HH>-ODhbFt)_-63)i=?Aj8G**K+q4&75)e z=TdlIe)*0Q=gRgAsssu%5f(urXGi>!y6HcP4{)ma*>*G8kA_a=jQ{#e*Z${6rMEj` z$Aehq_u^uLU=6H~;Re!YU!6%r3q)}7+uDLt&>jeLgKQN7ljW~I{_1X@i7ItuKLVRH ztLeltpb|d~v95sd(j;kCOegH3CWt)v)qD3aJG00Gu^tnGx0F;>K)_L1UeM&=w-w#k z=$9f4-%#{th7W_uEI;!HtDoz z3GH4jPm=tpUln^18p_>sdDJ=HPC|Zy@;?Z+y-8~@go4=*ta-|L7~rdx**6VBZcow( zggH3%oN69XoH)!cx%exkPg?Uf`T0$mGwgL=oK~aBE3TNA9&B`MjRe89;q0Iq*JTm` z{5&XM9rAf4=si6>@l-H#;gktIZF6(;(Xh9+1E2M59-M3mY&P<`rUr1QG&9A0^!J`6 zHm-P@_@B!&CDVNz0~LRuAOKnDsAs&#jeeZWShnc0_0L8_)_tfHPAuWQGa;@JuEK6^ z?a#972J7U(?JYWaa9 zsf;$wFo@rv0r@DFtNRwEz}uh+g3`XrvFSKLWdzZ?>q{q5`BtX^@Xv#5-<+V>smF0| zw4pWM>@OA|xQy6P5(T|bctddx=2jv)MzQC}9kbB)2A!NzlPUm-!PDNh-;E^98NgsB zN!%K2L~kVp#L zFg}B&iwPAI5rK-xpGmvwQWqyHpgx0xgJg%fhZpwWcoHwTfu#Xzdb&lA1&pq1 zJX1=5+1w#vhOuAmy!m0*S21yM5bTA!-}o!ra#ekcG%9v19bv`8$ zRIw(f&M2r@#+$EJf8-M7+g?&xU!T^W`+J{^j#tU%LM=CS$a-+SOWD_v+DfZKUeue) z1IV}F7mE@e%D<=^^Yih2`_O30O(Lj(Nd{UmT=daeE*>)ee52aBI%xhoofhHX4nO;g zaN1Q0T;I7z>REd`x2Whmo+^CLz%kbSpJDH5HMP*%+9kXgh%7i? z>KPdPT3qaT@dD!1DHPm#2K-UqLkS&jbL=Jq+Y*&-=rDMx>Rq%8PenQ zV1A@#Q#S}f6=t6|R|X*jV+zh(N`QO8O^vgjo*%Hq;#d0>eT{NfF!boel~YkcE>6xb zukB^pSsV$46M?`jCoCt)vs+V`Ky6S-EV{15O5mne-x)`CvHLpbNZ{>! zHMPZ7T2TQzjvP3*!gTQ6yLad+Eg~`pP9FqYVCrq#z8n2WKEW#qbRGy$&~peC`IMxj zOYnll#1a)2?nDcQ$ALDMmRE6DOLOQ8G2aXegMAOV(-v6BID}rldX*#N!AgLg1BgYH zm3nvIAY?$rdh*McGpA28F`}Eqo>45gNG3s8ew{E8+wrg#(AouiD%Q*g z)WmyNL{;**cP1r-_Z9d{{34gkF*Hyvd6xu(OO8@>Ma*8~b8Ixw<$OoTe(~b{@bGZO zS=1L@9UZ;kcezyjwm-qDzq|YVYrdL-OI!S<1l#6ooeOJT95-pht`$+;`M3Z6F`fg& zxQ16n#kykaD=*Du50(4q422xRN>ET}1~V9<0nnEgVSPxY>g(%^ZXM)C>DVZWp0=Ml zg!(xu1Yi@h!eSG(R`^$;Dvd%XPD*7#!5N6rF~mT_fu_S@221$@`n>?`TnvC+QcgG< zkqS03o12@U!$Ln;uFcom+q?AZR}g&o(AMaY?fHurf5OcURyNoL@q?Z)BK&Ga5ws>r zj5jWf4;`nlBQXREDqO~vUHeOd@8+@ zcsg122cOPUk+f-*Ul;2L^vWhwu@#LXkVfedmu!KaAR{A>gg8V)xu>?kb`?s-;=+*v z2mZ&9p&%nm)#j6pD-_ZZ5Xve33Xc&-Gc&VM$LxQ(wr*%9wRhf|gp4b%I@sSYu~dn#8rIZGr#ITy}hN<|>1bk?R{YQ>IhV zvj0(h<5nObwRia)Tl33O)|GCDUFT-!#jPgZhQGU2P!zUxbAS-iE=ftE(xeD!KcqrZ z8LXwU%{mglBwM5x6Y9`bNRTFYjl%RP|00cEyhK;;hs<_b$|Peq>79fS6^aBMz7TGq z6dmqPksFhEcRsTP3k88DWT%Qq5)XlxLg&(;&$Fs^xyVQe+7fu!pgABN0iI78dPg9E z!U<0{!oi`6y$P$GH$mv=(W43qe?fAWjYHes1Z^MaV?KPa6&0<37!a)uOt?uqIc4u- zWr2fBMX0f|byqJ#S*sf5mP9XD&&0&WVkRagChpw16I~z32M1K1rw*aMd<71s%$n$2 z`fTFjRECRVNU59qs9~0sa=-xgNm$NZ#X5mUh+G{^c{tHT6h@pPw-(-V_+K5vDFx9r zUL)xGtQe_)9hy1d+%_rmLDaMQk~=9oWp#5{S47BYW+%nP-}dqO4Hjc{c^bS=4xtc@ zTKxV22W`%c1rS5b>t>{74&Rw?N~Tw#ZYP8h zga|tb6!8RJ>O8_B3L?QVe}sV`NuX(`$|FQTGO<&|h`_8u$;}%1+tW(fug6JWU)-NZ z<|93weCz4IjRC4tmgARZ>fXFLBVi{Z;jB+fU{T>Cz2J~?UTnCR?fk~)N98x1)CX&Z#v?ZhVJUS#trf^R^;-?cS_ z*JF>6@tIzNAremdJd-j^ubnji>#^7t{CjyBJ&YeHitpHNWIoyO^}mN)ag5mD9N>3} zUAm(9IC-PQZs+aqP%-go9P}a>TEZ+Hne2fG+p$LMMqoMNvTU(AZqy_snqL^L8e1HZvD( z2SKx0Ek1dAW(G72oNA{qG{L_df%(Nb8s(&z1kDSva32;H7ClH$-A-Zhd9q$cnh}SS zsfmLU?fEy2r_(;Rb~5(Jv{jt&^6Gdl%dvOwUDq=?N|$wxkGI1DhVUq;^WZ_jfQZ6E zjx=&x!T#!TtJ_?~=gzWk{<-97W@d469f0~z!`y?gpT7D@CAP{AcCpJ#-r3J%yNX|@ z|6H(aZ6Q+aQ8+KAEGVjQAe;6lSZy=E_s3)^_JFuVY@fa#%W+hx_0n;}Ee}7Zn%uj0 zTkGmlA776uch_kS9yj+ z%c0`4a{F}i)m+6ZmG-gph(9588^KH9g(DnXg~T2PbbYg|^HBY@Z+LiD@w_tZzQo2n&UMH1o4V->`oZL-o=Rse*cez2f7? zkC<=nU@T~B6H|0xBzl+-p;3Tb5ImPZm})49zJxa*cEspTZyz5qUNfcKYLr$}bYL`g z;mnyMPS4ONn9Jw;dvkU5Ldc;Bu-*HOPzbW#g0nBv5^04Vds;558PUb+i2r0XEFOfx zU_Ynw#MOURmOJ{Ae(c?CyV^EAe}|pLH^(D_|28aNvEsh_pj!B+M-anZ8 z@v$);^tLnywIeu?OLnX1f>9D zA77&1(XIa@>AK^&?7#kH?=59Z5sI=$vUm2LW$%@}iEtxXN%qPP$;z%|m%U~0ot2UC z9KXlw{;S;jx~|VS=Y8HI^-%DZHklU2clm*rsv}BBnb#P z3V08Gbho4Y`hKF4;tf?|Twlz|K1N4GMhIqkDu3UHJbujGr&`C6~lFh%J_&Zverm5oy#q{LVXyh(U) z^gk=5YrANw=yr212q*yVqaa*p5Iqa|LPU`L3C_^aLx67|xPn0u1&z`@Y*P@XLeL-b z$Z19x5)KeKh|h?Q_J{m2IA)+ogkm~NJOsv9+hA4=mpzmZkVr{>d{3Qw=jzwRCv+rH zIajqv4uv%bVYq?oOGvZi3wG#^(=Gnz!z15wG>euyeE99Rc zdnp#b6CDV$bm!9d4pvVyguAk`@P*g~H#%tP>9u&PM`Q`<8{F^niZsVnMAVmYI4%9B zO)HdAZIhedd$G4|U^q-)DR^RrLSp7lp_Td`vjz`c^C#zIu~Y-D(FztP!bdf?7jQ)B#sDGtMAO6u{BD3YMS zSrOZ+4Tt28fR%DdZ~9;Y>8?>z{lL)Ts{*UlXHAZ0Cxy-<+L;0`4p*WJ%b!E7PHsmT zNX&(_%0!PPamJprzY4uJvRPhUe&ToXN&f*@;ljIE-`N2f&Ye@&i&4HV*vGy;KE27@ z_c%G#E)9XpfrF2)siU*H=cPrrTS(nciBCY=Bw9j9ihJ={ol8vNd7+IO_8>?B!7~IB zv_UNZCaS`4Qo!oDULbHkK_7HaDFw=e!?|y0;F%F8C$;n7y5am?cK~M*01V`Gbl1XQ zxW-~vn86tWinVG0BUDskG;u+CRtc*PS_yDz5e6HQ<5ma8Hhnn)DjdSB{Bmk~N_jL@ zjLx2)?-VQ$vD~3kWJ5^kdt+me>uUVM0&lhZIE_Uz$RDya5yh~Muy8VTW#X?{>N(AR zV7a*cWV}8#F)_We(x&8{Kv<>j19Wk75VGGz7sF0I++ghk=!?hQjq(9S7Ryt4`NTs~ zhJ^T-mu9+Cjz+$RoBTc-!_bJ!fnm|h9OX(&y6LKUy}9&xvUVUSp`#ROem7@TL%HQ9 z#L?=kC?gq{6}0($rUm4|Y%kuTh&>?9#-O$(R%E-ehk=cVJ|x1*>QoH;`U}q{_(1NJ|S!bJZtLo{&q!n~hk692Rjk@{SiGnX`~`4190E zp(u!KWE@pG9({y*AN)$Ox#jULiLqbB*W_Fe-$8I5q8?M>6vSeE>E8^6+ zx3(x$($5zEd1n0j^fApoJBSE5J@zBkt?^Y)wD1_}e2YNt)%%Ie(miR5Wv@vDs}W4g0?HO9s?i zkJ|S(J7Okf!e}46k^eabKl!GQ;Zk9t>|lpJ)aWglmNx9}?&|82`~AD7puKoNz|WY% z#w|lFhxC$+jBKZwPa~S8VMMdLD=RhM*|&yP#s7K$T>f4$%*+djg}){JwtH7EPuf0{ z*$5tJZ&Fx%2vVAJRnm3c13(U($WPoi-bO_|b+3fBSciewe)gHe z*nHsE`cFXGhs0sv$`{mgTYyp-ippzKP1wfJ7JyU!)hv}FS-@rE;VgT&w<}Z2bR6+3 z9f~Mv#yDsqJeLI@KZeaY)YDVql?lirX9Ec}tChA&cFF1<8hU~Yd;Ndl)6^_Hm9 z%bJXtAhlc(5ue{R@(Ch$WH#QX>@@o=e@nb?ghjZ;Z~Hd3FL23I>wOZx*KdJ0LSrBO z|5c5Tr(5;%IL=5gQt{;1P$^YAzw zM{P?3yr^tK!npZaX;krlgxgwG)ns=VYrQgdewRP2o4bvnx?D{E#Y3sDQx`icKX3W- zM3dQUbAvyJzt3S|HIq|T>ssf->=pmglq&1J&c2xZA3`+5#^$zsv%k-`b7gJyQ+$}) z9fUjw>;`%6GcET=2j#OH{4%KR&3Zu=79ZbGP>`QNr`p>IOY*5f&im~`S) z;M%8@#MadV00gf?FahTo`}hjpDTwRmU~&KovFiwV0tMaA=JL9_i4QmK;1;D%oAPGAVU+mMrI}eeIjA~d}<~5lyT&KS^Ny0$v z@;DQ|L-&lNF&_O zTkHUyot>SvhFxr2LGKPSZiY9Da5H0EdvSsLDS#^AeF5x9Yl!#(1nOV95cm5BT0x(7 zNuI%Xfy(tyJAq7B>xzrM?604SQ}2`G-zE@=?G%wAy1Iw$h-whW_LLcd9fXabyypuP zA!I-|E-ZYVE{uahjLac-wzj)gQr@QasA}t%>p2n_7ZtKv%;-0B!6qmBgY6BI+-8r`{j_ zu_Wj!=b2=R;0Ad|tq4HRj{nH^BbmO}qt?kuee@u-@n||FZ93NVABlw)xY=q&)nhj| zFfE8i;%4w4AxclC9m(zuXZ?gT_1?XEN=m-~Hc41LD+z^C2VmD-xFKQZ`JNpXrKIQ+ zY&b)w1`QQ7fMLJN00~)Vo*+bp2ia8%sI}*!VwC-~(tE zhfLx451^=EM$!spc5kn;v~=E@59E!5q($uz+|ehN!lwgG=}{sXIkPkSAd}vA|HGq) zwJoKk6%}gs6-*xJK@3^1k`fh~N!!-QSmg`an!%^-#+5>VG&X~?-|p!FcBG$@;@vVK({?KdcR9v{(&RNpIo+JHyb0pos5K{PSZoF1>5?HWC-b zYg-_jk%gR1oLJz^$l%FKhS;>Xx@je`!96gqkBq+P8}qFG-TP7A@9eM(?2mhU9RczI zJoIf~dQ{&k78aJTxA(QNI4EtvQUQ#h3qft=?d>pG#mc~t=+JBI=-BKyEd&OnAIdfuNTRI3GK1`Klk>q&DD0ZF-ZEV(dRc#TsUzsJ@w@ds-B1_Bo9Ci#T3?dHQ{&w7u0KL`31WRJ^kNG*N z(%1AX!Aq7_2U}Y`{_+wp84jl#Y;QoXU;qyEzzGJdn~9m(RCmPcF(*FQO-TbK>i^9G zu3f7gruYOez9vS&bwm5aXLxq@%5%6tv}hfU2ng?*YHw%e*>hBz=hk_ZF>utL`J3(OO57QBlcEPZZ6CXsr$52fz;j`%C ztn_8llaji?(fgSL`;v+z{!Y*Tr_ex*g}RwWd|BBJ03!g@orBjktT?E4!2uIotdlzy zlT%Y+8hSP0eG3WFy{oLGEECugt;TvkhOS3m2}8Qk_w=h2Yag9(=M|+obIeHE0z)BR<*8^AK1u?1!sk_HA1&>w>bK%ycYl$ouqtuXj`7^8B!f!g|q@Erx8 z8BP1o)YWRMzSggghekg-4ptRO4UiX$x@5aiDdb9|TOSAnQR$@jXq7h^u%Hz>*8yz{ zgu->z9yeY5Z{Bx0fw`Pe`+hIpwZrbl2DrI;)5Ykd{kcx7kh%N^ogm1D;0qWJK0ZRJ zzZ@s4iU9Ku4Tbp%dtpn{BwIokw3;xhz5uh=S<2lwv0bJItnbG zCPBGB;03{*9pIf#fP({u20PI1U&EOMpz3ymp;~!f-bkaj>%MR`#7QJ7lvcbf(dr;H zP)@%j>$n%2@s5JLjfII{0AWN8^kOT<^ahca3mkS(J^?6~*2tKsAg>O-EDtC);avgf z3aIRDT1AlD^sl=C`brVy4snn12a$%PWazg^BXl2(!ch(_E+|TRIPDegE>Td6WIkUE zV<*QwMYe@J9Rv3khQf(7)YYR?`4U-EBnZMJY|`6_N*!Vx)e)MG7x)R61S-XvLF1XC zMD{aV?mLEw5&ZV!&fAl`Fz#I_S%<*_6!+KAusAVx@Y?2PE{iRc?oedIa0rMVqPkNc zz68h+i287cbnc4eD@Vk>l`}S;105lh5v$9~N2#l20KbF57E}^qh@7IL-@m^O&@Vtd zS>V+LlpQ{>)OgNnd{nr5o8s zO+5w!3vfaOo>Sr8k9R!ZkAcCCMtontM>HlUR|YYSjiriQp{&U&Da&!rKJf4)C`!8r(K;#R>Dr5$M;Val0-NKiFX9EAF#>X#!EEKGDAsq=u zWDq6;Hg^!Bqs*KzV9mpk1hY&Fd;6cO2Qd2uKOZ%6s8b*)haRd)uu1{O-)x1MEMKaF zx%m&{M=+2DsfuDSgAn{4K(9a-9~>HjYRk#qJ`G}SoTPHZ&@kVa)Cmf9Bjnds_Ra{p zUo(E|#z$6Sghfo*<1cLZ`wHO4Ge0*6=EN7E0B!jm3?uw&vq@O1889rd(j(qrxZ9AI zcWrD4fkZH-2HPeLUw$@RBBN6AaN&mGMu(}Re}C~VrF_-1&K8RQ7WDvL86Flk0}B}5 zDFCb2)}n@nG&asK-#|tH?xxy`sPy$O0(RWFw6*H8q8u0S@}tcAxN= zAnF@fQ83B|Or!#KR(5taT;dZG6EGD36HfqN-gcSa3X3Cn-LssMk^-kM0Qc8l-(KRL zUp_79GM}P&FkWwSNA$i%Y=WyZOmcgYhAckUe?+^%z|Ok9c0KP z>W|Izf_EtNgEF9Dg&G+wVX5f(&r_j#q9I%b9tzCeQ#sArVG+QfbJM`!_4!|izK!aZ zx;?pX!MrrbI63t`=ddUtl?g10!Cn8c<8J|ILLmtU-Z^sJcDlJ$m6kfdcmTeqQv~7! zV44lYHIM~?l_ETvsgHWx082o#3-1%wha<4*;Jab!0bgm4OoHX^;t~?p)Yj7T+G@hA z7yb^$sW5s)jG^~|Uj@*lJXIE6XIwcEn+mg_NbTJBgs2JMK6y9`RCyR>mG6dv!nE!S z{w==OZN|jzx>)#PMo)bez4I?SJ3GNADdrX@n2+S<&`wr|180FQCh6^4a&mI1Fxpar zVcOb0h`0hm7bx3cLfHpYIlyT)R1AJ9s05y_%`bfCrEYU;R$eETjxrt5_UQk33sk;Z z!?!_;0~6}okW0Wm42KLbl=^zF=ltz2((rAR!jzewSVQQ8ot+&=(zVwd{FCroQALl! zPJ&krbfCczIMsGxsYJCYC@GB$4nm#;b})?k5bLR$ZD6#(1BP4C_RlAXm|*xXzD%F| zWb8KjCn~NFQ(s>`gs6^{)#F=_V)?zCX*&vA5zUd2U*Wn*_1A|b95o-|eL=X0`vVG> zDOpp~1rUfud4!FTZt%oMz(f+F;9$GL{mBIs1mL;(3=%6D)V`RmlgwI+b1xxeL`;L; zJn;=U+drBbD_{P}%$9}2mulqqlsvo@&Kc>3!gV(xn<^=_x57&>kq4*2bme>N8j_MB zJjoktYvd$skQ9M?k^_u{!D7(Y2Q!#I1DC6P9ja(;ZVJB}r18m_eIxyKxo8yP47kx$KdVIyE`Weu%60Xveo&l?NbV7pzt^ zONsg9gniH4+JPyN^iXHDc=^753aZ81?->_o)!Q?)(gV-@&#*UYsN-Fgf$U8~|9nFS z1}|V{1`3*A?>QI2GO}7f0W2}$kAQk6!p-dpR{>lvS9h$?H(5zgk%TTN>GCTp4*)s8 z_Gf`T5B)p=q+Im52xMkW~DSAqXVS<28-*G6$MODJmS z&N`d(^9iK-IcieQ+R})fj8a-`xz{o7+j8=p$}y)bu63{J;*g~@Ma(QS>o3knDW7rR zItdOA23tv9Sa!gZw6Q)niSa-e2P_s$C;vf{0L340^eQVViWb=ghg(i|k`-6LPn%is zJ=87LP>O;*y!+Q66gX0^Lo%mpP{deSqT4ieOD=Kci4ln)oJuQ$822+0iZ|rIbm(Ra zODt#TrmsR_JK8w!Xdy+gtG4=IO6D%>ob%wG4^1Ot*!^~M2tqvU(8{vmh|R$D;&kfn zE&Q;|%vp$r3&W>$f%;tZdnk}L;K0Cx9Hp~E)-aP0ETRljyH?oN`s3uiN!=fRN$ z0c75g91c!vRaL(s;R4E`jZ00L3&!t^knem=IzfHOz{0`;kwb7p@K9a*t^%$C`ORmQ zWg7~&**W)mhvr_sF(c=ozmlPUz##nb@3i1(xU7uAlSb65M)?oc)O*j@ z!4hP6eBHy(?XayiJpAz+wU4vcLQZ!Z!rOYp7{;jmxJMEuCWQ+^2IX<6Yt)o=>;}&) zx*@o+5a1l(VnICsZe!A8V08>30}sh@De=RARMXd2pvnRU{JE+u*L!$$6n-lqA))FQ zG?!Pg*il*e`7#^-efX~hOgZ7~g@p^ZV}4$q$t~tY1rl^lUS1|o3drQKva}q1jW<$V z<@1-GMe9)MTAoU%B_5BLh@hj2e~nI^ooPypY;&mhtfhMrshl0T`H7D_=&-5^kBDBV z=f!tlNLvDjY8nWgl)DRw8;lPj^%*`n5F?;XD=8`h;V|*5&!1gFyeNk;)t*8Y9*Bw- zP&VQ2gy)SDET;l?q&;W|*bzezVhTpS?O@|61R}bSkFs5Vn6g9hLFHaduM0-=*4OKn zm|Um zJV^{zge)d`_6ww=Ztl)jdcI7bo)1FU%@*tR1d>p!*Vp@;^%w&wU{C|Ab#iJds?8Ld zA*yH@;#ZoJ4D5D=Int;>4B%k#&r@2==zqV^@HbTHA7-n{RviP<59CbeO_SoZwZr)w z&Brd2CF0{>AWVD>7E?7N-BWO%K|hLxj(%-q&X#yNot}xycy3f>JsYqXkq|j__&;`c zQ3$qJv*y{w(S10BErt{`1-bX98>+UpCRZrpt!V z6Zgn2cbesx`toh@uS2N%N$oRqJOm^5#^0`#)9|9aa;YwTt>gQrqO?FuVV(G6>*QlF zI-oRRQ!bp5j&mwk=4H%!Dq+hYofeH6J98*TcoSD@z1e_(v@|?Rt;qZQ{N&5HCA&dnrINuKj%|Lg5tS4K1kz9zdCEd zAp9DxQ{JeOq4?jMeAO$Wsk?6$qksNPyUA{AZ^_I?b7*HGB2G>_UM~C^>oyi%_u^>y zho%K-t+wF2RV4IzEE{F*8i!Pb5AU3uHaZd|V>eil8@^gZ``GiHPpl*sVa?Wnq@*-c zZ5gIyg(^A4S)EO$2rq{@m=WPde?rOiPUYJ?-qE7TJTa&@?uUV65=Z*Z)^FQ2Rho_~ zdMm>pP;gk`(|lRow>aocx9dv2i;8_CNLchP$FNBDA8U_Lg=>0_ZdiUlsn0W;QFAn4 z_yiG)siNFAL&uKPvyf-Hg~38Oj3JKVj96xSDt&lW-qZahnWg0XHj6@b7WSYswJ7E% z>((%v3oITxOFoN@s$dMh;PFoZ7a^WbF_?xo$$c@r90*l4gN8r+h{7TwydYq-|8lY# z5sQd1{Ous>OXcr)sLOzfu|ZBAw3U`7X*ZfC;_>_Q?v*PMjg8e9@aLy{bke@~yFQKcUS3gt8q5rvC7*^>*X*qk_E~fQ$0dTg1oxt?*(Hw1~e%h z(@_acVl%Mf;LwL;c0Otx>(B1CwY`O)ilO}%{d!?_rDkhfT>s|}Hu8uyx3j5OP(Vyp z6RGIGn_=57lcs=lN8H%BcgiTQ^sP0WoMTbfHr99R-E1yiQ?5305K;*s(y`RFjwIdP z;b^E;Ztm#&dY=O6Zw0aG{Ob1k(;`TGagb_3j0C;?@#AYxk`3;&V%J9~8JN@D10$uJ zc$QXHvQknId3g%k)Gt6Vs?oGUKv?)3E<7OZ?Gx6b$ALN@(i^SlJ$f6x@fF|EWU5k6 z(X$}ITU(*6;aF);ZtO#hDqhr0@#7JcVMG(8`tbEP1%&9Qrd|0qsRHP%wc9w0XmUc>?+4?@c_{8)3tLkD#Y37Yqv z)@Cyqr{m{G?V#Ry{S4{<=rDDllBuj)z5h05H!&-#3*K*|zk#HVj%s*n=_AC*s7Y`r z|Neh}W<#Ot`t{`n?oGQu3pz%U2pw=g5Z9-DT+02 z>sj^L#KphlBGw+O-X$wb`pIU8ozA$_q=!j3=-3FFw5&>|$MO#x8V08O2j0eWRnk#k zY;6@3S1fj;hQjfUAgnCyUHb|P(EK{?7JN+OwW}%Jo*|&#MaP^uJp8>_qn^^SYHR($ z!m2^>y@1);quqoIP5h~9m*q1IynG^BmtRv2@n1h^qN^s`HxJz+U;sL8d05v<%!?f3 z&zRpr(Gdc%I_ENYXSgsM)L+~sP@x6G+dqfe@LK00QSgVVu)KTISNRMd+ z&z%URuD;k*8GC>K`s0U5w`Qo(;jZ&-h1&tSfvXUh1aU9GEJFIBG67PTOyvT=NJSy*^7id)ATXg};>*d&K~C03$d`id&CT5%h2ieqB_Jk& zr4e(2|K<6_G{l1(@4(5_*VQHXV&Ro0TRNmq*VO!V;{6hDryppGRdg#$qdep9P`)y? zX{m*=HNVB@Mcsl^4dxbKn#QC4Z;1yt*|>F`=$=p+bEkEgH~akgWYIx5Cj7**R6jj2 zk@Db)FsIPj<`n-^m_i8n``qylsg0qtrKG&Y>*#jn^K~w+ri0&c()*;ddUI?x?3J#* zUIa>5G_7yI?o8&uz^q8XFfX6Ybam=f+64P!ci}p-j>u^0tA>>pFdTa+89tEw`ikRu zuhLWM$0iHGHX1zDe4c9quAg#S55i+UeAxofnXAHjztI~nUzwAKuhI3?B}T;Gpl0)n z@A}}kT$yYhs%JAn(s5lBuW3tE@-m*dVu}wyKM+mNAMkQ$9BpPsEW1;o6CMfE$SwS! z^6boz^0PbG`h~L;nsH$ayCEUD5D;ngAqpqQd7b=rkQjEbSX?&Qy>)8J(KjUT#ZbC> zy8I6oFo2%lkA1~U^{23^e;L`+@L16oA!DIn&8OZz{ z7}x{xA~1u1LlSEHmEHw zDpYcQL22VK?QeXgqe53yTsW}iMwQ;Hu8tb~h>P2(!Nx57SrbX}*7Tz69cCrE!IqYT zv^t%>jJ%;We9Vw`W9U6D+M|8-j;1Qzqew$cvP!~HI+51|1PzDlz8zDKVH`g>@UrN; znwA!U@2R@c)1k>xkLftGJrWYp*4CFnmuP2C^9Ec09Wx4K7w4B*Sob$dV!f%S;)n~t z_qGvr9mU@KCMgr$>~dBW$u{Pb<2tMMSCKj7D`$={#Rt=q;0m*&!r_Bw&#)s=k>H%w zrru3;7QD1}HRm*KuO$*zbCR4<^JlI6p$z1>80-hK*{Z~1YUHeE3asa1m(QObF(cSw z=7^7s%+t{_4eM7|IYw{L-Z1~R6Ug>&fMAbSG4;&r!C&xW;?&F zJa;Yg^8x(mdnh>wsCe}2sx{HMgASF2#>PUGOqb7<*fi#($;7~gTR_jwE;v5$)g^or z7;sf4UupSVG~oN)_~A@Wpcc{3n>aLpefOY4Pq9|UzrQ;oFBq{9tXsSe#U&wV23jNA zooaEaEF@8HH8lt0<0~e*U$MCRQT{rdY2!tL{hM7u!Jrw zFGEoGt5dUfn#MJyT=fqve7THy=!Ahszky;Sy~($2P|MnYAw$W)%rR4#Jh2dp*Ykwy zHWE9E8g-L4O`27ciBDGi)fI=n`$pA8W6}bTzvL^qyS9+!24)BVoHoK{1J(h+PC)U2 z&`0or2UQ*(I;u!!%%Xse0{~1P=(^0gz=wCF7##7=E-xA)BXRW@GW+^|{bE{OT)IIO z9hPGaW1aVkmLS*y@bXG?HW$qtC-gN{s3PlQ1^uZBV9AYF81UmJ7Jtn7?038q)$wNL z;E0y;NK!9-lgD3Q-DP2;NaMY|@&R9|UN_AXGBW(2(wvXQ<)S~oz3BNK%13k^3@*L1 zb6hqn&}_|k&|RR58{Z0B6gU+{fF%C^14W3%PL;@p`63LcZ%*igJ>_qZNxQHE z$&8Yknh1i=;539$4SWG~+@fbig-|o_arCx9dO=1Hv+ zB`Yhf&(UD^fI3-1J&-yBm%Evb8r0Q>9r~VaRxI*VRl5`5JEIGF>^jnk&63=?M zD9j+D_dEUbt>d8dsDzju|F2OJ4eeOMQVk-4Bx$A zh3qBNPrSS;Pka<}hicOv9}5YLe;xl27r{y2ffH=3&SGg)Uub8;%f*`rzqUz}%o`qu z8JcW$J@QDsF%Hr1-ya|CL?bly-elPW$Q<+<0^4Jkthh)d)FqT9D!CcQ`;7icZ}ZU6 zrJEWX0exsOem#V;izk+?fYNDn&t$eGbF!f?VCA*P_EgknsDG6kQ-Jr~lN+VYL7QrW zf7Jd(K2XSZ7U;fOc@#|i>U$e=qt}@|K;}2;M7ztqnqw)bYc0E%$c}g9iC@w5Eac?g zd@Pg^c%qu{OM6S8lu`hh87q5oczC|s9-Wd1Kq^C=9N44cBT!U>ntcs8lK|zyyA_7f z9f(E&PqMYMv$C*=`<4cYz@XU$c@+fZ1~YU5`#{jo+v-=xN?6A?@Mg7wSFzYiHrd))lU6ErK&~ zSSKuqDX1#6uI#YWS9sj4J?7J5P{cU)Nf7IKN{9Gy7LdTm&r5SLX`hhMis^5Cp;OmI zRr?ueu=lzx+Uw`{`_jB`DdPFP)1IsER|%*qGLR!UZ~9!Ra%HoT-H%+H}Z?a6#}f* zGA#6SyuPW9?#R3%%KZ~H4_hkakkWD}TZbqP|9%tsD<}hKSer%!jz}0$Ci z*{yuG)v|Qw8!$y|_4QltsVGFL1f^{OG3E3LzobLGcUWz1f73qzjTblajy~o~3PXaMNWZzRM}F&EkEru6oPlT?COp=~Pf^S=laS z_#SwZ#Kgq+p`q>4I07V0K?(Xb-Qn@h+^Hh5W2Phf^ zp!kD8tI=SY|5kBcvHzUf5ee+|uIK@}l_Ms`(faK357xNLJOr-{1&aE2S3yTtO?>+qrCwLxqq@rP292NX?2K%tXsyjujU%H8uYfVK zk&@D6?{M|2%-4{Z%y(ZNa7eyyd0WyJWk?6k#^-15`JcI1wNMcHtdh_+ zk(QFP_V&+QKlGl{Rnrwp;Z(dx{S7LJQY8~A3}nvM+HKe2wgz^NxHT^N{N|=FWJW;0 z2GDnMN(yjC$H9yQhJ>JEdjgWQfPer6g>IOSfO;NEcren3i5V}9Z|=yxf$(np*5Q#6 zpoc(r-~u%y2qy0`F(to$ZwU7xfYvOLFrENSk(QCs1;|n%{sKGrH*i9L5)G(2h*=e$NCrN(v9myq>6_v%qZI5Q(D_`D^QsY9#|cZnBPPp*rpD-1 zvv2JWZ^nYNUpf^!RXcl7T|vJA1y-`6$KNfzUl`pxIx5p#f>c_0Sj|7c@-NNj)Io0P0?q6r=amWfKfV zV10n~iQ+~mpyoi+fC73GlEGkNou|GIj@lr9Ev|hl_m)t!#Q0nBf7xGOv!WUov1ERE zadG*ND9Xq%QqPSTan`F^`xZ`g56}IZOYiE)9knD;dsT!Oy^#Fv89yckWl(cO7Z{V? zkUH57mdSlF!dpD0LfpnBx&0bXDlY<<>SmUf(4ZH6)74o=}Ar3MhJNT3C$8!j1gKuCV zkCb8@fMLMEz`U~nlq;vFevmgwE)5gayQJ&DQ-DY44s27{9|;2~*n(KXQk;Rsb={1Z z#xDf!m0<~=|Ec&A?N-sV(2*&UiT|bdK|bE-t}JWm*#I(lurIMAiru)B{w`Ir{J@4E zl_5?+T_fT8x6E-bP=4H-d7b=ypGNmD!+rI=xw!av7vL_z%Dm3r11YMlZ81pXft0?q z=Vi!oJl#+WtO+0q?T(gC0c7^Ya0edAwfP6dUjpg4^K)VFpG;H$!Uc*L%My(KvtwKA zCq6^V3l1(k4wJ9?`VRK@6;xC}S|KP-3?X-V&3-UWQUG=cFdRTsK!HXaPDmU1=8cD& z8$KQ$88&+2SltpD*&i&LsLKWx-G_~If94jkfG%pTz8>EeMel#+#W+VLnS96AI=aQ0 zJfHMO3WT*!Ot{y6o~&{v$?YweCJ(B5^$KWWSE<_y6*AaJY+}Y98&8!HJzajRbb4Pj z33=PH$O=$1Km#@gih%u1*hKsL`!JF#F9+lDQV1o4#R`0*tb&4Ck8ORJh|qMny1K%O z1wl)%WhLz2HMjc8N^az5nxMw>=U2dx#mBrOA~FLy_us$$V5vaObKOM(O$?SgoNlS9 zsnihdmXq_@c7zSF9xF?)ulIq?0WJO&^qoKqh*fr2LJu=TXTXjA<4L7BKa;%4@#c+D zgS*)#HBAfMS95-BqfdSunwSF3fq}NB3nETVMVegMPJ!i%9l#?0$!ep(V0&U-Aw{rHso)aWDYp8{snWE-2xGd-ideOtSkvYq=t{|ta- z08e4`TazO?`p1dtp2Zy_+^9TVs&l1Jh-pr4ItV?zFMosb#w5g_nD1*(fr^fDhRb>T zkqo;&0|N30jZ&=LqrZG0lj-&QPJ*zA^T-gFN!&TdvP!z^79B04m~mG-jicE0vpKevf~fliS6wK zQmZ3WA!T;vQrX-e+E%LNLiB_4P|QCRIHhrW&bLRyERaF#D|5cmP5a3&CNqt$$Gb!0 zTlEval%ax9@bTMD=}8m3F18XSBok!J3RL=ZJ{i+SHesV89bFncRaL^uKIV6s)C%9$ zFPSnY+>YyZ{^%h~P19O^NWcfWfjk`*aU8Q(s4cg(Xgcs(Bg7nh#7dhY7|_02^lmw7 zYu6~7MdD|lf{UX-6L4gvwjEi zC6tfTwSj|K;?M4>2&iPn8T?C(L$ThZR($?tZPs2#Q@R5c9o^eowAnv52sMykDb7l! zw2r8hh^X*uX1WBgHHQ^iqYtIa-Wo|?!%KXoJar9ce6ffwL*KRjV71(zkKOrp$17^4 zhzP%`so9J*jI~UZslv|;$}iPtpKR32CcHdCLA|=V&=7l>b2}UpSc&yOEl2`yOukck z-&NY1ZF?AhYRCSmVMswdyOgS?6!|A(n8rt>6snn-KIHsH@tEQh#-}WGP0eCP7RE@U z$ngp(4Dpwb=e~sG8t(r4wwJT>zGKSW9R4A&eVkWL4M;((kQfyAcfPER)Q|g?cygP`)N~1$MO2{;pW`2)HarmFPf``;i0E z;+mhwg9|rq<05klE6pbV_;6OxNzu?2HFD6h`qxYD{1vDZXlctqC&!3I8?Sb1Fclv`!h+OsWOtT*}Rh?+%Vk2VG(rs~DY2u=9G|ZlFTvbZ$C+@O|5ts~%{>^tH zKSgRCekn9FHNNS49<7Eji4{0bViR;KfQm7go_4Qc$2X2*M|EXd%J$@A$=Ox~|}doKrSohQq@j(Yrw z_&+G!S6?*J)2~ggoFh^ssWF@ss=0FSQn&y2V|6U}jNTlf6_eSh*#G`Lsd+7lHjHOe zVu_t7KyJp;{g=U#G>WRxKga2FOoBmP8}wPv^MypLej*Ms?>+MUc3B5Li^`5Te(HNy z(LQ(&+aB}03KN@=pL?j8Z&@mDl(1f+L!I)=k9#eZ(+>5#nLONW-3L1@9?Btc& zrSLjSF z(Ja><|J6QjC(E7%H=4#yHhs&>l_Qgqb6FtdNTWSd+~RlZBEaRMO~TxufL2 zn{qWfQN&6H^nq(KIc0~B!J}1y9VAoA=A+p^Q%c70B}r?##1cJ|$&SlD8r2$k;NWnx zOn-GY>ecJqPn#ThSgRI>{^HiAt`-dM5L{)_D;a%GZ8 zft5924fySjKl=l6Vq9d;`^hUb)$V2eQi_b|l?`()!A73XuMw6dmuQ)3>u)SeTy;`8 zY9$$!gld|3n$6CuQiu>zEP2Fq6;6dqC1&b&cqoom`%sT-pka03{Vg-(v&d_D1P5kw z=vip0D8V-|e~ScWV2Gg^qpBjR2rfb!gd)a!E{0$u_y{I4)9)TTJkm=e?6pT^_D(6S z%J2N-P_n{aQjn*0$_nfh))3sH2OK=)D6bq@$eg|yFe4-VsRNmes0@HBU?S_MfBLbr zgb>mQdk4D^y;tlN?4z~xw7;jdx5ruAf>HfETw}3S^;J7fKc{4{|Lm_FTa>01E&DNl82x}w3?&OC3n7LN zi;JKl7-DuON?fmN<`FJ+jR#Y@o(G46D8xtqMv&2~)72Q)6}R1CdBU&D&S=akxbljh zYHXwV$x#u_pr)x>*Qh9dY3U+F3ZO>WzydY4dzY90I$xMo`#d2~ReRR_Vm_zZ*CX{7 zH5rN&W)GcqdnN=IgtChwDjbb(mEqPO7uyP%`_BWxF}Di$q!O_Nh|5uws|VvMx)UR@J) zA*6`({C>5a^y#UEwDcRt^ybw4C{4x)LIO1Oicb}Le|L8$rV8?Ng!vC1WcIX?Ig9?v zbm}!NXz!Tq?xGa(FoYDt4W{_&{^2M z>+LpInn={%OOFrgFIuJRe$w^Qj>t)t8Y;dXT{sRk%J-l$W#U zj~WV|nEGt2$Kl%1Z$n(9JcsdkFprE?_Gx5hVPd3zDqm(~^cV~IvE!_=yh6R}A_Y!X zMu)H4HXw7wh2pQU-X6@+_uD|DACW6tzPhrpT2=)Y%ikuKeRFqrUc9*DS)U5?*q$ex0z*aarfl=KZHn8!s+c@5Xh4y##oeGL z>JVTmws?J)VtW}&dLuDC&cxobor_P1rpa?`gZJ;~=(mH_=e<7_ryCv$3KiGnn5xe< zFULfYdhQ5$|52U$s7ES(BNb6M?( zmf&!=jD+K#H`hx!`@&LMo|W*4s3bY$x9{Pj>MEhY^YMo*N{^G@KQd|m`I^ioMD=hl z{V~?}nu_RX(i*4d6r|mJd~EmqXy83lXuk{f+#$U3R_85HqaBglh>GM^c_t4brtkd|Pw;`O1`R6XqPCOXl8WC-G$(8TY=BwJE zr1Dj}yVPeS&^B5fzm02TX-bF);mQ@2-nV>TXJm2exjU@(x9^7yI{IvijfOm(F zmlp_07l4fmP+<(c==F#e1bQAGkkQif7`%x3`-5`&+@ecM+0&JQ;2fe{aG#A0OwtS> zUN{u*X1-!Fs5L$gST|o?`qmi|BG|zYtU}3c2^3{!4vsepd7y;g22nXcb1={WIxfUQ z0Ub9ZBLlF=W}hQlU|guF4FEkJ04eZXn+LfO@HIeH0k`ty*z>^B;$olD(D3HXRW>!Y zm=2o$!jT7jkMD3a>oY6GM5n?KZvOZ0%+=l}KE{D#&t}58xo=`%r3-qzHZbJzp5)<= zaV+BG#H}!2`|{#mZ^rga>n0c!6=Xb-Rn8Fh`caz;8m~u()NIkrg$p*-ldMrmX`Q`g zB_D;8;_dBCFg(`B~s4S zy+t&Th(^Rb@mY>kC=yDFm&jND&&zO(E(50Twj=ettKUKbX5UopE(t9ZWb(M^?Pom6 zx6ChE?Yp3CA7Dyx=&77jzr=Q<5Oy@tt#%7|FCzHkJO|48wT5^WBnmfnV^H|q>v z68|wpXp3`II|WeH7)eJCP8C9F#EHqJ-3tk2zdl77rs91m#t`3?ul)|7@12#Qsc%Ig zGP&++OOx4lI^`n%itPI9$c-NJeX9ndD-0r49Sv7TrW;WFyLpi#X+i=Q)wVZk%n$Lz za|f#I#vH*a2qfa$0NVhQ81PT<_NCx36!6&6^9W^DTQL|rio2e44 z7?5%RO(;wiX08(nm(ar^XE@05Ar102)=~i1?8;IE85aH$L zZ*iWN04y5F?JVTo@cjVP#^e-AG1`>1HyN)qvEK~}etf!crVqpHc-GFlgUhcqylCFn zIx5K$<3(x5V{#^TeLw{2>Wkmvl16A68T9a&9&gO*r>BF7Gstthr$aks6Of zMv~U~ufX&9_06%-?-B*lH@NEbOZh6ROp!<950W(%7~?W2DAEK2wg$GR@+~dB7@y@1 zEWGeSjljlM*SXKb$(@U)TU|W@SD$i+F|`c}i#;FRl|>uo2%?*uT=&I2h08g%<#}eP zs0t0gowmXKo`HnGvZA8X%i8Cg9|qB;S{)7RBrG36>M6}*kI5?gS zLH()mg$OBdPIhKt2qSU1yZrUr;SVYHNDpVvJM({p5cKe|LQOo_mLlezotGCnWx5fP z&Ose$LHfD8cGH$WPH=jdRWf)@rD!u_?vT16L9OdL(Hp9op$TZGwJ>zr4%ex=qL z`uY%1a{v7iw{-a9Lq}++1I-q%e!7X|pzFW*KL~+@iM~1`AJ3#IfrQuDlFea6RRkUd z3n%*_217y@T*t8VP88j<)?k1La<0L_L1yJNa1M1BqD@qwg)$K6WiTsRTUdxsNdes$ z3KG-dxjtwCu9~*h^)O=@V1#5HAosW2jhABVT6RfP02^y_Q`66&Isz_oVIj*!Ulmn{-!*I5F=Yh(*I9 z{o8R@Rwi4BHu~G6N*fKYtAHD|hDDm89M9s%YGb50cKH{k;LT>BU2wn28`a#y-I=vY zsphhLbQhY&DLx1LsmEy`2sNJ3A_ywX{#Mf@IqTG{CwO#oRoRgV17k5?sl{_unIQ9F zf}D`A*V1fbR~EM%xx##t@5DWBO|}tFje_3PM=y>h-B$;Pe2M57i%Sya^ALulE*{&X zBtC<3X3`Ksx}QBiANZe-502LCcE*jUQx<&slpa;tluMSVJnOz7HB;vrc=4yHJTr4_ z?zZ=8Fa9mT?mXET>ZFH(k6r(-vhxn7`v3p`F*_kUWMm{AG9ogwLMnSZSrOSJvNsiF zCEH2J9>?g|Ga-8=A}iS?dyntK`*U5t|9|J|4_)bu*LgkH{c(TX?pE#s0?Bb%)uC6z zR3_h1Vw-19kR(FH(b72zZt z_?nI`$O$uwu-lI}&9oTWXR^pKC30my`(9LTJN|rs$3Y13Z{|v>_s-VZ+6|ne@4qn| zpLR}-`*WwM`q~G(j`Gs}!+X{wDL6s??_WBXEwSVh2#J)xGCpEw${W6krPcjTS`{k4 zONq(J*&jdd9Uc+{09qKNZz$&Y%zO@o?C8*!FL#%Qo`5k5+F^e}EeDqO@Yi6WVR?|H zbw1=toF~v7zz4pwxjDPJ58Xr~tRIJ#fXD(ZjNff>2k*p~AreZ{NBXp#)&E`B9555? zjcD)W3@LJG0vQ>Wl5()KLUSn)`VcTeJf!@f_V#SPJ1i`$d3GH-r>t%;0Jdw&@9-~l zx!Yzk`&h!k*pQI>_x`#t!E^M z1VO|g=}ni^$}Dn{L-TaqvQ_a>M+c_X>qa3j7BZj#7Q34%bId6*paO(e1Se~Tb*)^h|cAB)XLizBzoRCfIir$CmeVOzK5h!f!YDH~#zT z^n}+i_1Vc=bQUGvoA(mKV{P*f4ym^#|N5MxSQYgs@jINyF^N{3D>kP56eE}O0B@|e z%GLF$Cc!Jjo9-T^Q(+V0{^p5^o(W?DHX`TMQBBeSe2?wrtLL2E+=osNX9XG;Z`-Yi z_R=UTq@5fy*#(Sgu+t(OjU}!ic#610_#<1b{AGM=j1PCj2sH^@UEK8%20uQPmfBn) zSo}3N+|u=ch>f_32HDd7rWp)}u82u#=^ih;Aw=Rs^iHB!X((C&HD-Q=|7c}dPD9^& z{%LwaLgmgy3thqhTXOepr^d@t&y+%K@}tfXu(6A5Z#4K`Q%|*)LQ#i-x#Zpbs|aXX zg?5<7Lcmj(Pp5p{3gtRDGQrsi8e{UXSW(yy-nvDHB;=)gEuW4Il?T2yMok}$zRwj4 zAq}w|_QJwM_;|74D@#(~&}5@bgrHyND(K%Qlw;KI{D49m8~0e1!#^XyPG*Bc69+e2 zm2byJLT%GW+LR*(G&Sllg=1rYCWs0PBM>P)@M8A2Qj|IM^z~Dcl0;Y*S7e;~$42i+ z(5jA>A37_1v|0In*J+aT%GdG3dzm(zR+7l9DS*xA#dwpCqkoT(z7ldB?5XXv8?c)kXU@{WZvDY1ks2sVvd$+r_e{% zxZxMxnfTKeiVbMtf?o(|Sju6nTLC1#FXeG_&m zY4m&~C8G1abbXbb`{H*#&_nQFD&irmb&?&%pJS&KUa=`F8ZNDe5b|Bd{=3bl>f>Ao z+Yj9X(fQE%$hsrT3@qwMQTKGP5$mpq6qsPB+nVJ|WAxm{AP_{&6CJ&uZ#&(BnV_C% z2OqEq^63a!Xr|k0%K&rIiO%(wUMcu8>v1DhzH3vJDw!g-k_a%r_n-DBeBV;6v@PrF z8yqZK7X{=)_jqFcdNE_)Eh{ILO{bLHAxHAPo4ZG$WBELYHCE}PjRD#uz0D2O;=@kX z$O~e zT~R^I#ORQu#~zN@Se&dMmXoWEVu@||)zXjGulnXN;xfj2m3i7(RYpgJs^KMvFtgk% zv5y~1`UgMAqh%LJsfJ%aesNJaYV{}kuk$2D^V-2Yh9X1tK5tN-D}9R@>Z!RU(7&oB9kJqDo&tXJ|y38q;7uo9$logaP{x zc@yu~&|vRfzucRz2M4vXw0@-Dc}dYISZYwHmA4f?*RCJpVPvNBPK7u8N9mR0CcFr8 zx*`7%S=TMTPy-wg(zCx z0`y|HdY4|v3-tGamMbVP?3SvCQizBYD-&OU3eR!$ylIvepK*;aA76xgx`Ck~iX^H#pj=sjCa1P2D1;m4SDwQ(JBZ`AG)Ug&c)MvfgBxC@u4bF zflE?M!lkqGqj_m{XlP!N;lONruG+%yUmSE{JYvj@!2{oW)zZ51RhcA$H4O}uIb)1c zQ{QpKWQAIG6%vd6xrqoU`;}4e@03;N78`-%O3S$9B?ES$R1D_yXtQr^ZS4YpW0FO# z3kwUgv9Vpd_M|&e5Ksx=GxCRcdT0Ou|3q+bFg>q1%6aI88jfy|>g}mX=$e14wJ#YuUaAfBUu=5U@c?U-)q_G3&uD zKl-tjevZ!?8xI?sj9>?moXgJN2y$ffM15E8Z$%=)FGc8Ky`tjI-bfPUbn5MeAhv6# zCz29u0cewAuQfIaw&}fiJ{HQ~GwZYPVuMFV#Im&gJF7f7*W;C3fX&UP(!A0D?3o(WK)w2~w=WCiZ5~ zZvd>YP-;BisUryIA|}3U)bNu^)_>vw6;&_N1p<3`*kpYUE3y>I+}D520$mDE$GF}^ zN26b!DTA)g_m^qxnvG3I;82oGcWRy&W@2v&nYJ?(L>`?Q9Zk`n!rbKQ@&H(TqMfnjB^GCia zaVZ%wk5Ow#EM_1+@u%^$SHipZ>u9cJcm`zUJ@MEBrR-@H-4nJ)4N7N7#&?=)*J+Y3=k7wXACDf8b!@xHR3?oriD#tXND9SAUXmf$yEa5 zCwe=j#}7o-FJONu5c#x_AC+5~a!4 zDseC%M2n5WKqBp*tWT8PDo&vMc(uZF^vQXIhCrOj+-A?|wqj7vln>W`ZWJm!Jkes~ z!(~=I{shl$NV(Ws*SqELX*9Rx)M*RP^A-oma9mtGGBP82{8Ak$m>NTXtT{T02+%;$ zA_))VHt2VLqvASYlMBrDgy36tICP#)=fWlgM@>n;QF3#`X`s&dOcwE=TY)Jb8uuI9 zT!++cB*nz)Vx4t(bX{CFz(~h5u~WfZlCFtBVDt*2?`=oYbs#)sn<$wPv#}Y3Ys){h z71>tFr}l?s{%mA*b^rNWRQS-Yl>YRz96zm9RB2%LeAw&u2)iz;A0q3e0P`pV8{xN+ zkxY~Xpz`1@hRi)P7=!}vw2h2@;_URvUv8$xD-J+&HQ=-{;?LTqrW&*79VX&HQiZv& zx20tk6kaElvpEzhCJha1z^-U$?+;bW(JmO~8{+tqp^iYjqosR6NW7}5E->#xbXC2l z2whoGTJ3)-U8{Rt+s=+8FkpL1MztU$BVZaCA`;`Rr<&w-d{9K*t0sY2U9s~46i{a; zbp~a8;)j-*lA5hk5fU3jE_uE8fsS=QF;B$Kzw?B!mY&i7z;XvDz^v@-lkE{xPU?G3 z>==-o;mW~%03+fWz+AfKJfu$GT?0!=mXZ@F48U6I=;#2o5m=Y&aFiDkqDB$|VaKJ~ z2M8SisRpwj9Blme*3yH6TRek zoDAHqW2pPUcO5GKbiVr%R2~5u1FJn0e&C9xLP!`)b8yST;BT7AGMseF6&) z7&@UHO5#v8k_;#%pjE<5_=fv){Jt?8sKA`G6-ooKmoCu{4lO{U#h1rQyoUL0?6uU? zp*&fdE8i6eH6IaVvl?z85nu6AjU*M*B$-$*CT->htZnxUXMPy6sXbY1Ni_9irwqGa zNOx@d2$3osvugDy#&x>sH49w;l$QRhPYL_Jn?Fy(#S2j{gM&h_@WB->E-r>E=K;bg zjNUMX33e|xG&(BA z&7D_OH99mDtIQdnkbpHP%>WZI3~-Pr03!rROAxNm)!l6mL>%blgziA-2!-}YaX{vS zKqr_4n(mVZ6CnkT7^O^HH#(48{^O@l!e#>*PIuq1WiAF?x=Giam@e~l>GOWg7}|m+ zwiOz^yK2k$dGaHIgNf~wr30HkBG}3S;m&^$es|dou~GSoKVH4F6K!F54UQd57ParQgj)|bFY1BbV+P6|de0Qz8;ibEgIM#%uH6~)W@ z2Vg%mTq=vh1@xiv+}zwtqotXUh5!WyTO4#cfTIG8%<#p-GVPP;3=7^13f5x1f``+e z2jYv7<>h5RCEcZ+rvrezb<;F7>^#EWpuSUDBKc>36JazW_vEj%xsUMH`X-pnSU3@w z`*Qrg_3r7r0Ew`Y4 z5BuZlni@zT(1kDw+!*v$f1PuoRos?zC^o6jXU%$ig8>zuoRR_~4qYU{Ex&SLKF?zD=R$dt6S1_5;i#8pt-8LzEDJqJUUUqO zf7M2C`I}h%_Q1z^wu{=_+WH?UORHe`z;LatdJVq1PXH{HkvRoBImn5%uzbS2^7JeQ z3c_WClDY>5VpO;QmZPtymx0Rf%N?)=%}+E!2`b&cR#(sX?Qr~or;oj#1sN2|PE_&l z-a*{f3`|!5v4OeIi58k7zt!G!2prB-d>8`l*PtT~oZ}b)rZfO%3^X*RXIEy;PJjKH zWp8MBl>X@U;r6xY4v9jW=BB-{PXn=bn{sUH!=4DD(0kAVT5?$~GRun)JkX z4l3-0g}i5wb0?=#0~lV9pyM0H(9$^>m@J_gKRP~M4~<@iQSkS#!=pzriHROC?S?4` znSVh-f&EF}Wx#7OM!@_2Ju`!cK!x)gmVIe!Q<7m6hlv^XX3!N}T~(!#_YFMk?X9i8 zn?0hy#DVP$3#PXmk_^1>~S(7d~yKb z6tSR&9Lh? z;mANs0;cgVb0L0cJh|w8hexeK)t@QX4bOdmK$+Q1>vEUAa;^;RNak zdx7#zOc^#SCN)Xw>>(rchpi-dQ%0o%Qsjf2#Rp8-0{_$zQ~gsh)vS+1%F=?V?_~C%SISTd47#9x3P&-Q^O8!eSNq^5bgettFD3aH=j%WOIvvp zPfD9?)<6V8OiYZ7RoVzDtFoDtjbLGl-{}SzB*YFf+%S_J3I;zf6uHL64xq*aRacnu ziZe4UjEquCOV>$7U}aP(96;IVWXYR!%;k$PGGa^wXg55igwD!S9+sBi+b5%YIL4OG zgY8d8#VLUk%Z|{8F*tA7#?#W0IxnQde1z0)FHVXu>Y65M_+p$JPM$cWNCyQc_)x75 zGadkZK!; z)4g~RNq(0r*3+msw;{6AEcYAF<(HWQz>D*Wkk#m!rBYU4Chwbd<}???w7%_n9LG!^ z&IU!ezJfw3BuY40t)S?)Gp&m_rh`^gSSK!l<`pML(wAA66+1f{vKPO$<;`Sh@Wb)r zl#1pzL-Fw)R>XcP!Zp2Rq%U*L@h}x%lrm|2sB%s zeUfIXHC>}(1y1vlALg3c>^k4hhxUbNw8dSgRpH7sK^5i~+H-_>@dW2-XN(?Ytrk==U8o}eEe#~sH*7ptlNunSwr zsfF^8YRFH$o{!BDN)ihD__k}<8b>Bkk8Z-wkV3L~__7Ccu>x;)xnahbm#^vvEtGCt z+(9j@o>Js@*%KgUI6c6$r{Hs}vI2G9+ZL+V3a)eyxZ?DlR`W!>P|6|Yxo)?Ie>|)6 zE{^-L5MwNNJ{HR(FoLI%`;LdavbZ9??Xk7USook8P6-N1c6PReaZ(|&Y?SBYESY1J zznGQMx_DY%I!6Sl7sChcK;}WA4fVKU?_c7LKf(M$dQc~2_~+0{7#C^j!7J$U(9I@M zD$|mzTCy*GB4adWnL*vFK__Z8@H>#93WFiV&PDD&zS48sbT zo&BPHmJ0f6VqiO<$U*hG6~GT(?KV0*xcvO^z6Ds`5YsNzLP>8r9*4L7+SqV`Jv3J= z_+3Ke*@K&*70HNSKTAuH;SCgUJ3H?~*_V?VQk=m!`nna?T-bf0!UwHCf%D4O^@gk_ z`O7PG4@T|drRgt60k2HzvO0>k%z!uUe(Q`gm~kOmeSw4O9w&7koCMO-1AD97OKrbY(~ZD+_2u|=0YIe{VdqZjtqYnWFU)BYMF61q5BNGV*uZ-{{1_F zPaj#KpqLmN8~gsfG&stv`iRe+1I90G{D_0oP5rm!gJ69I8S`joQ=wO8mquRxs;+LZ z*S5q(R)5F^a>Pg&-bj+v=k-rak@T7Vz?77fM@2;#I*2W}`>S}Z@b~YNh6b^)$GiEu za}<}!S;f|L?Cs~9?_}%b--Qmr;2W+@))+iJHf5XETP8w_5Z(^YZ*@n^K%d*Heb8lrsL&D%-Qr|jvQBY2fEruLSYa(3pD)xo3MMZ*P%+*$^>pe`t2Rqjro?c-W z{`O9O{pnNjPkg-BuV&?VKT%XwRdIIKotaHPK3uST%sgJ6Q}4z!Qc)4J^4(a**DD~+ z>BmIv`SeFZ(*7D)lWP{ULKG}puFsqlbN(4M91X->Z#hR^=ePW=^s91)*3!yM3`4`s zl|@Z|85zp3-9i)N^|j^_Jc66#EZtJHcHn<`>iUM9yjRBE@k=!O(dW;J(`NUsI+aAJ zAMIcax$llYtSl7~0d|1f4@~V9c;++=hJj8=gU8!#iJFDk=k}G%6uWC>XcqWbcf{R4 zM)g6pb|@nQJ#dL-Z1j&IjmPe7TrB6$7 z5eBt8^GibnhkLhs`qatBx#*F^p5AFvuBgrabkI>!H1lSz$IH|ti<&omD9BM`dHsen zPe=N)@h|s3U)Ani>d%QPZjd(LUhWJEnjs)g1w1o+L*kg3)lq2))MD@c=9L#@d62lq zC1zmM!L&5{Y{mnPc6}Ecp~_@2`>F}&E@1KpaLzw4lIPRYJwkn~D;@9d{*_5fTwI!0 z(#y}lCwT2N$vD_}y8Y&jMGTddPBQlO=1Fva-6xu3U!Uds4=C(^8f;ftTc7$}voP=d z(k5O}`W)v_>#aH+{PQP#`7#a9`M7yiIu|Gwhp+Ps3rlVrP`JC3GWw32c6mgRzT8@P^!B?2kc3;o35e zDwueklysNqT&##~8vohl=$7#MHc(M?KBfd{F`b`-22Kc8EuUO<9CvIsua*@1bAhDc zeGEVpjkziRP>{Uc$X7bpl1}sb^JQ|89NNW|l&As&-35%7|IKQ<96mQUV312^9>lH0 z)F1M5a(O*}evOA#({6+gIK7|zPwQfr@?v7XbG4;>FXTp{kmt|m6&0+23l#u#@;-Id zir0(ODjyxcfH}rQS{k^(lJ0*X$}v(c(*I=$^8-~k*XR5K0#h}XT@&8!lI}}yV`8XS zSR5wvpql}1l2`bN)a))#S)v@HgFb@ z_p&H(tb>;GUdnfQc7;BTveAD^S}Mlc$_k*^HJkLk?klT?dwc63oGdS|z<;MJeWDH_ z5}{dHN(IJ^exS3i!mE)oU$GA>P*MbYTo!wMk@j#VVXw-?&w@x+Q%5FZcLqn5853V+@Io!;tZZb;L%9!_H|KCnef~-tI>XZQPipMH9k!$p14l&XYtr*-@SY9h<)pHAJ0sFk3oKq z&^^-ceH+Cw*(I6nXGiqB+`sG9E!Nu~7IMIu7<6TNl2BC&2}wz96fF*Y8x#pR81yCG zJf}DSDPNEXbW4?s?lqX~^z`(0&Ns6DcJpmzmzEob1_ls-2q10XL^Y@$z!B@A zp<#Vp5hcOdqa1nKf(-o(vRMDp7POFPYY!#RK+OppaoxkiFi6y34^SY;0FOk)J>5sP zwr2qtpmGrhmqMHR#p`+?ND?Xzz;|?XC0{(A!WsO&(BhetM2 z5Ze0Sq4)|u8$7t>fe-)>6{`O(B3#D*eWd^QWdHw9aU{Awg>WjXYp5!r8A8D0o}!vU JvAkK({{iWnauEOk literal 0 HcmV?d00001 diff --git a/src/content/publications/publications.yml b/src/content/publications/publications.yml index 345576f3..294bf205 100644 --- a/src/content/publications/publications.yml +++ b/src/content/publications/publications.yml @@ -1,3 +1,9 @@ +- journalTitle: Empirical Software Eng + year: 2026 + title: "Aiding the design of critical software systems by iterative exploration of distinct requirement violation scenarios" + url: https://doi.org/10.1007/s10664-025-10786-z + featuredImage: ../images/publications/emse2026.png + description: research.publications.violationScenarios - journalTitle: Softw Syst Model year: 2025 title: "Networcat: applying analysis techniques of shared memory software on message-passing distributed systems" diff --git a/src/locales/en/research.json b/src/locales/en/research.json index b1e404d1..998fa420 100644 --- a/src/locales/en/research.json +++ b/src/locales/en/research.json @@ -33,6 +33,7 @@ "research.publications.assessingModLanguage": "We recommended methods and processes for assessing the semantics of modeling languages for model users, tool and language designers.", "research.publications.pragmatingVerification": "Together with IncQuery Labs and NASA JPL we developed a workflow for applying formal verification to industrial executable SysML models.", "research.publications.networcat": "We presented a novel way of modeling communication in distributed systems by using a language for shared-memory concurrency in software, thus bridging the two domains.", + "research.publications.violationScenarios": "We designed a process for systematic exploration of requirement violation scenarios in fault-tolerant system designs, and applied it to an automotive case-study.", "research.projects.edgeskills": "The EDGE-Skills project's objectives are to develop and deploy innovative cloud to edge services for the educations and skills data space, and make accessible the data space to public and private organisations.", "research.projects.openscaling": "The OpenSCALING project aims to enchance open standards and established modelling and simulation tools to better support large-scale systems and distributed controllers optimized to minimize energy consumption and greenhouse gas emissions.", diff --git a/src/locales/hu/research.json b/src/locales/hu/research.json index 58d56f3e..056b5d29 100644 --- a/src/locales/hu/research.json +++ b/src/locales/hu/research.json @@ -32,6 +32,7 @@ "research.publications.assessingModLanguage": "Módszereket javasoltunk, amivel modellezési nyelvek tervezése és felhasználása során a nyelv szemantikáját lehet ellenőrizni.", "research.publications.pragmatingVerification": "Az IncQuery Labs és NASA JPL munkatársaival közösen kidolgoztunk egy módszert ipari méretű végrehajtható SysML modellek formális ellenőrzésére.", "research.publications.networcat": "Bemutattunk egy új módszert elosztott rendszerek kommunikációjának modellezésére, egy többszálú programok analízisére használt nyelv segítségével.", + "research.publications.violationScenarios": "Szisztematikus folyamatot dolgoztunk ki követelménysértési forgatókönyvek felderítésére hibatűrő rendszerek terveiben, és alkalmaztuk azt egy autóipari esettanulmányon.", "research.projects.edgeskills": "Az EDGE-Skills project célja, hogy innovatív felhő- és peremszolgáltatásokat fejlesszen és telepítsen oktatási és képzési adatterekhez (data space), és az adattereket elérhetővé tegye privát és publikus szervezetek számára.", "research.projects.openscaling": "Az OpenSCALING projekt célja, hogy a nyílt szabványokat és meglévő modellezési és szimulációs eszközöket továbbfejlessze, hogy jobban támogassák az energiafelhasználás csökkentését lehetővé tevő nagyméretű rendszereket és elosztott vezérlőket.",