From db68dae62ef1f7e77bf657255ca8c2fac64a4b06 Mon Sep 17 00:00:00 2001 From: marci543 <17354718+marci543@users.noreply.github.com> Date: Tue, 18 Mar 2025 11:57:17 +0100 Subject: [PATCH 1/2] Add TSE, remove old --- src/content/images/publications/tse2024.png | Bin 0 -> 49937 bytes src/content/publications/publications.yml | 20 +++++++------------- src/locales/en/research.json | 1 + src/locales/hu/research.json | 1 + 4 files changed, 9 insertions(+), 13 deletions(-) create mode 100644 src/content/images/publications/tse2024.png diff --git a/src/content/images/publications/tse2024.png b/src/content/images/publications/tse2024.png new file mode 100644 index 0000000000000000000000000000000000000000..8ac497f18b6932d5fc88b608173f257176de2f08 GIT binary patch literal 49937 zcmeFZXFS&b`#+p53CT*b5@!g>-h@o}h4cn9j7IkB6Hm1@V19lK9zsGi-igV=D# z4x(^MVti-AAg~$#+v%Wj!D+`1p@ZB15xJ%*y6o7&x#Og&vYunZj!mJim>mE39_-VvNqOVVx1@nLELndq{QAK=O5%! zac=*Xj0=BM;?$v2`Tzg;|M}f`#_6ZDecP#2wiiX||NW0v*Pju;+CjWeuBW&6)vH&h zPn|Lp)YsC|I)0oasd?)6Z(BRNj&I+1A~Yr^C*9oKjQ)LDTU-D97@D7(>u~Eot*OD{rh_J=1p#{$gyK> zU%zrkHgp{kjm;`8P53-aY_W6mtL@u&?<7o3`wpLbK}trpva)jJ%9YAL{{KF^I>B9G z>q~;{&6_u`OZ0Yj-d>#OR!~sr=;+vJe3zM-nVUOZ8_c|K-##l*X&xS{rZ{n4Uf$d) zE;<4wS9nC#D}x-*mEq`5pFRzLj=q2Yei(_6}R?3}Ujes*@xg+J$S-(K2tmPaDK^m_Ljy!z_u zY8APU(&`R59a`@al53r><-IoD3(w|eWnFK7dEUNwrde@oVo@e0(6Q+Iw{Lp>Ik~~| z&H7D^jeq+-6ke*MVGpC&Px+tEqH1Yr`9eEM;ntsTcICHRTt?+zkkOCY%ccNE3QwI_;4~%rM-XuJ|)Ex zi$zWTvm@J>(nm~EQaeUu2)7O|*cZBAvZSPhg<9RoX>OuBUpcO)$0$>;`0mo*sj@XY zY(fbMiDgki<98FINnQarNWCiLb&2>|%Y7^?HMO;Ys@xLs9&3w}VG66Zc;PQ!zTmY5^s}aCXH(k7 z=0=(X1O>mfw1|j{CrI32eg7csLcX<@g+=nqmoI&NeSH{I>2Ta|(z?|Dvx1x{>FE?5 z?o^MXqP)GVMECh{;#g7o{KnV#_(4kgy?gWB7OvuUw!bnsapFYVn6prHFz18p>?39& z-dMV&jc0!p;e17LJRLw;w2z7Zw)g;MwYUdxzhAlzku3U?s;MR`>IkvooiurnW8v*&!}EN`8KR z9V?ncG&D5$xCde{%X+LjpFFt}h2X&()TvzYr-p)_=S1lPt>zU`H2TN(G$+c--u$8J z?!MkKbsS4H^6S?`S6=G4!PZK%7u$gYid*Y*Wy69|r@ZU0+uPSMJ*MK`yPosn1-Y8_ z)=o-Fjnk)nFYlMG$Zj>8S(_?1FfgF4^kot@qc-((R^yH^za|x^I{UFdD}}hj;o-xF z=DOm8q!bi|g@wX~xr3_<<4jCU$1m(;Wo6~?TFZ?RB9%DnhaCkE@rvTY%_#zul%-guZvXw>dC^P0OB?mG$a7;ghThLI zkHxs!dv}E$S7d`ym9(tvs|;$V^w0+na^Jn9*|n>;_||wGhgX*QS5a5jJ9iG7+?oH~ zio;sI`sdZ<&rf!@x+bSsT3dJQ?|fnY_iJ`N>6ZEU859MA=v05Hv6)$!*VZOc^S)m5 za+FJB+UF|Dlw&*PQ6-pR?yd~>y< zfiA4>Rc7XuYuBooqL()eCpdQR-hJ?3s_tRY(vlKUQBm@Pqo@(;YHC+(ZAnQDaHZ~@0b?rs6>ha@0E4)dPJXgmu&!ywnbX;?`Q2~_~x24FS zgH$2Tm*+=X-6IcfgmY)d+cl4x%4wf1Oz@fk3GuCnL?j&nd0a7|c( zqbwm!@seA!pM|BRrE@Npk2pwO>&WVUd*z&xl9IZ5KvY!wyBoc9q|$El83_rdD7yDK zJZnj5z<97ca{uE{NsR6{)6K-e)>vQB*z1;-U%!6+F+9Am zT?ahZmr;s1ejXsFs=D1D-;--mjZ@WjI{)soOnl0Bz;18euy$3w1?CeMzgc9`$ewJB zr49)VH8nALw$V?gQ4@O%pF?`DmTM?VIjEsz^ z3fHcU-~9PeD@MekulQDff4^z-l@Q>v_2n6A@`Jp*AN%{uUhUcae96|Ootv-W8+@5qWb!b@jK_po+c#hB(19Sr3eiP!Fr%_Xz-jpb?TIvS%0GZ zT_skg;Pd+Wi}PdW$bE-~htFTUxYeeuc*oWCI^O&9lOt$jG}P48R8+-o3op~t)62`f zY-~o$Jl62GN;FTNJSktFJ#A>n;#>Jlhd@p4tDee5sgl~tLx1w-&AiCSy}p&Xg@qiS zf0D?Z=n|N=xu&0Gcyss@V{Y=mu|tOrN!opv@?3ZQ2ZI-lcdusZ{QAK%6fBL*tTI;N%voa%R!9L>ngEGR6T zTXBD8cH`>RukG#U&z;*vOIvRLjEkRF5cdygv((9-3adB7?YjbmROG{Cd32a5f_SCuBbGl*@*%3h>Df zNIR0MwI;~k{yOHId+PL=GpJ^cw{HW;=G!z29XSFlBk%aD9uRtRVqzOI0zeSSDJo;5c9fMWLMjVLp7bRjSH znX`jKeM19~!sfA$3%ojXi+kuSfKd&wD;LH)%@=KKY?gZM%cW&x$jQit5)6F~8yXwO zYw)Ph)wH(i^3V?zbmS^hiifOTb+FG&Hk$;c4j{EhAU=MR;DQYg@4Fl4UT9t@_bfFOT%4YM);5L`i+Y8Z#9{)(U(7Wp ziaIqs;|i?YU|+uR&T;q@2L}gt#Dh+w+b%9uraF}7KWYN8FdlS%t~U+!^9g83X}=S7f`GLMq-=GA2LLW}_q}RlcXp-2an1R`a9tPbKlt66(%uJk z^Zgpp%dhAj@l9G`u8*>(GNXlc>CUa6*4EOA@lk8E&ubX-Mg z29&6`ng!s&u?a}Yh>!1mbm;Um20!pgUHy+?92YNKkj{N1E+_Vo||&jDGNr?R(co_@Etv(pEwZEITtX~HRys>(@AYd`*0bes1+_$mT6 zh+E;^gr7LZ&7D$EurT1Ym7SUC9hJoZ%$L_aG1{EO$IF{S_=7rXW=2EP;0NOH@uT(S z%cbrsqKb-1r_zY+Z{(PjzRAlA3<~-&GSvRY%vVjFO5rys@y{}t^nJpQP4I5 zRR_NWXz);x5}P+kc3nQ_vc214q;7IgD}Fn6HdBv>{#Jr<2$w2B*t?$Hj8Y zy3uuIHZ3V>z})IDM2*SGgrua4Iyxd(zCQ1NpAkTPaGAtwc}5kjisi3`S+~e|$?Yhg zOH2gHyJ~uRdY!@U3gyqAlX85m?CR=jZ!dV&`0C|L5X7z%SX`WLE}CH~UG@2eg*$SI zKE|Wos4)2A6BZ6rNk+wFWX}l*Q6B8DwU0QJhOg@q`#+>)XHSldbWn7vUYGdr_ASHp zVc*Ix;D6CWf}EGOiRja(Y;>)bxyd?&g@uK-bZrVQ3ohU7TMmME!n(U`efG1D5Al0$ zKTb-YXM|JfZTqOnC3JPppTBkU=FIf;Z?6&DvgKpome~wcWKIn)UcdeeL_2%%+VKE# z?6?RG(jVm1i}^1!V|_R^&YU@;uir60)^>MlZU5|qQ;9 zhYYIR04+N=z_d<;ndA4NB)XoGq<@D*`@^VFoi^OB;zXXJZ>rB?M(}6|UEmvp+Rg!a` zJ$sg#O7gg-r>Cd3_OhU?Jo|1RkYIg%{ZCe+*F}d12Su!#DGT4dV`5|+(z2J6lN+oT zmvIHEx;s@WS#nuJTigD|jop-#_ZCg2_*ZPjSVzWzRb`~5ySutV{NA*8c1AyWg4g1X z(BO{XJ@Ztm!=)-pn{L*%OP7vWRFSf{yfVfO)79O>w8k9QPY`FIs{QiC zj>jLWy|fY0u4?|1Txi=XGDgA^I6y!Awf zj(?4oL!z_?+MipbCU4|q-v`OVhsUxHd)xab<|s{D+1PZpw=cX&Db^yn=4uEySeKNv zZ_nPV#9Tm3JUl$dj?K;dtc%HJf);F{4X!!QyDv}`#G)?#qw{G!y>ED92BFucAM`ot zDkMDjf>OMA@dD@(1=91{4?6)=^0Zvm`)Na`PM1yKyeI4L$ZHavW~qmzkv zA6NK8Hfd2SVNhaiNFk!fj_o0pzV+vESXlGNP>7I~_>1#;daun&jZ94^fBl*tj=uOL zDypyKPNaG&RGmzmkgF-?yUa6u&znmN$A#;JI$lhI?I2|q2{_WfPT(cs$ zsl4m7xu@qQNSid<8GzpF*RN}6)B|KJg7#6+vdg*6Y(S36No7iaMNd9o<$ zYuE0s&R;>J*ngxK0l$qp|`mnwXkK)yGg$hw*7AYMwkfv#=l!idkCf z;o{-~IDYji$lDGQ%QNFo)&Ba9`RGnnWtkf;4!3rmI1OI;T6M6us=V((r#rGOPuu(t_ zZ*Om0=@xD;FkE(47Wl5qc*ha{{ZS9W{I)OPV)^FJFvW*~fsng~hK6u_XgL(#Ld17* z*&Mph0ayb?y?S(R%()n)Pmdoo%K7%~@;h@Q$;a>Ozcwkl0^KxT!XoNLP7dlvUr)~; z0I>1#{R|9m?FST2pZ>hfWWzWv-7>p)k%N^r=={j?%ujqsJ_f4%H*ZW#Ot8w^uXA_F z?%cU^va%lltyT7ji)~Xrzq)8X`apam@tDmS)Idv1?vdKtZ_yg@g(kfLu9l$amDpsB zZMl8Pv%eZngt4D5PRh4#V&#uI#T&_|8N(Ui+$^$ipq1C!Wpwh(P9% zlw__+B#VUdy-l>t&3Bkc5_u6wiHQUS8yg#QkADDRf?x>33gM3S{TtVrAJBLp9S@?* zc0IqowYh=Ib>$N^wbzsR?JN`h85Qiym)Gcw6H-M*MUc;ZsGvxaiKDJpjLz)@u)1mu z=4xx(_3fJ<=Y!X;Uze3Blzp9^lXA#X`41_#u&@~X0TPAY*_mxzH{?(e1%24Z#|L$( zggyi09jFo~N>r3SD1)oIuFmGy{m)zx8o1~<+$iXq*a{~KrAUQS|3PS6Txsb6WjX_c zP8cw0Yez;#MxY&owm|>HilbbgI5GM)?er`C?6WMlPEZ^#7GDM0R8>_4@Y=`9Y6dN) zxp@ke0x#VB=@Y-8;8R7fO$cP}9v+!`S3%^$>gE;~7w6|o9EYirnzsghX+1YrY_K1N zqIa2`xme^_i!)SJRn^yLD#$bdZr#=f`5_*QigRuF#%ia(%3;8v2M=`K>y9za;uAsw z%J{dZ5+v>WQJw&IAv7qg{!Sh5%sEJzl9_o2`o@C?53;fZV>MsAdbNgaewv3KwbO0k z52!gXcxPwl-Me?s5g2r?U>k<9%m0{LAtE9IX%7wy)4q1?+LbGrIs`EZ3G#S$2*Ha> zOP$}oQBzW)2N8sY!Shg4#8|a>BjGx!sj0z7(t0X2gF6LQMF^^raycIGdT=kgHlpq8d4_-3A6pUfdDTmRi* zxCzh*%|5tf$HsR1?_!1+2RjHCiyKa%ZaQ)KejT6NE|EO4%I}azh8?AWx41fTHH-}P zvQZsfW`5KHnQ-2FU?Oxv_pvJXNgjIku={t^B0diTNd~LIfE5!H1Cff=Bo8}CNBJN6 z@0I$9buEQpWMBY+AqC1EQ?NAKLsTYx>A^Znt=LD8&g$so-kGy*3{PmX9!F)ewH*}L z{mM}1Gz=MtU_WC6Ykz=FWPR|psz@jLN7baH;OmY3{vCcQt>xex9sIm)Mm9eFO7-#+ z4W7e?5A)C;77=my_M4{i6~+36pLK6nSKWY-53R;759NUdmX-B4H`BUXtyG zLKd>0lsNesTTN?=`@u;i4=`P8>le5&5_|W(enb#%XlOW_DaOgUhDce|i>{ zj1Yh3;9A@ee12tR<>f+A2?-{`yC|QNk-S=QVpkp?$N=v_Tlw8Y%Ix-J-&Je}6k77S zva;RLXd>8{hB@tRZP#wxsHKmIi$fPst{eVTk79``kXF(g0wwa$AvGa`;d$j$G7bGt7C?Q#{1AQM?CfmCm<8A?K093>GnMlCJ}E6_rJUp5^{g;Ovr-%#Vlbogh#=Fek`lIjEd$ub4h}K0x9z5!U>H}w(j_A%qUFRPm8XQF%c14v6ZH7Cw6$TTw{&zs`q4A%3liOJWl!}$yclK_Rv0+M{1YM)kWxXs0~`l{RiWqn z2+M+T77{`os7kDw3M7cWMZ5Q8y}4vKY;u+`^BWbFf3)<@pZ5;cBK95xh1_D{h4P6l zOqxH3A_oYMn~qjUprqJ?ZIL%k)!xzJvv=IF=qY@%j0`DhX>_j8w@Y#a0_7TkjuQGu zg+4#wov&{-%axq|$mnQTL`9XK%k%PXb{$~#^Y=f3dREWQ7yTK+qu_m@4{g|z7vqtd?9;5y_B%; zUw^@9tfvQ0wjDm_W4GKNjzuW==7k^8>UelaO@#URE%OX1XxLc9P5%y7`ht;fjqLiw zLkV;cRoeah>=;_o1wkg4S#_`|fV5Pl-jGo(<4pLG%d}?=43_5SYd-iLI4C70HE2Vf z8p5?m!p_WGXPF0-`_6s<7nXK98rpP*-XCugii$@MKM!MNCB(&>Vvq63$QW_b;a|d! z&dkVwtt|-D;*K2xB5i;Y4NQXVKte(SIR`qgOhVb!_LpUcn*%&^uiD$E>k#1HUGGBs zN$j)`x9`pnEh3EzAg~7ch$iL0T5`T1gl?|cHOcOn;Aq>_rTf?gb@QI%cQ_o*h{i zqJ=Mh9C*0JFDCXjKfkTMp7PuTHo4*dwfdlarli&|rsZEY#P_yWXA@bgoxNjU=aEdNdo1ES&= z5Rhj3Vw2?Y&U3@<;>7{nCusiOV%U$0Q0!pbz^J=uXlQuxq9P;^2$dxzauWi0Wpo3( z?l+g=_=6-s-UVZa*8-9E^b=Pj2UVIbYJ4wM~6^8Kq>@2LxOCl^#_X<-}4~EqtN`$0OSFXiz zN5?mYf-lZy#!K9g!8XM01WoMwaQgroo2^(63?l>+03SYm{)}_`qc#`?7i#f~c^P={ z=H|~#gqEhKcl6UM0GDr5?>l$E-38%-!xsGDG)fbp0aRz5XNZl5xCUfklB4ec+TPjq zt-?{&2{>Z>PW8lz|J7&_=GlFd%*fCXgnS#Z#qjgck0HOpMl%Y*z4q%ixxj|z6#9gX z>g`ntgcr`f_NlK=UP>yac@)$rY`>(CprEFfR%ny8uP;&R-CTMqeKPsX68xA9rUCeQDo&T#I2PNRJo@k{L<>mROqm76m5Ut%M(=J?W^@|-`rRm zZH#qVU%pAI>}G3%WE6}s?=#3tC@sNl0U`m>g^5>l`xsiif=7z%Jfem?widIgTGW3&PJ=PuLxO`EVD z@cYjnpF9@VJ7m0GEc+#{FC%FI7s$FfF`I6N&G3M4_-{&|n3x!Z*UGjw*E(ODz5;G? z@gV2Evv2?Y?Z6n$D!3zB1czQE|C!+uo0 zgu0xehZg5H@cx-%iRVUK^XNfJp8=(hOPVb?kbG(a_u^fqAm^J?Y)8_p&z}+1LTUsZ&_aX-aRBnZ?ad07 zxjddzjxxnqyszvcRL*kT+)8seEkS3}eMeDP{>$1Z#;wA}(M(b}u##jg33{ujc#(@^ znt?q`a#}o?pBB<{wOIhV5|@I)W`dnXez%8f3qS>w?5MOW>l+(+TktK{5Y_SAT(`^r za|&b~k&CFbCk!&$z(_VWe2Xyh8ipNXHR0)~f_v~l(eT(ZNXrfDw1`o0Hz4E~nP2NlS-GBjVx`H+gYCz1J z%7*(YCc8=rLC70;Ef3u%=}LgsgLjU9Gz|GK{G_{ki3SgA#mG;`B6Kt=W`q!!giNGd zeHk~Khy~FKhfcu|fZF9&Z-pWP>z@!rypdE@2xbDZmF#<1OsKs9c+WKTM%Yuuy+Q^A#rXG{Oje8-zNR}d*d3I>KX?z+0N>EY#P#2?hnZFWB80KySFcI;A~ z;oy53_>|%Mfcv-@S9^yn#WIqL(MMPo+xWg9{~1K1oR&FJy46;UK@DB`Tm1Y* zj|Fs+mswfsDD)@1B|rT7Wrf@hJerysRiu;A8cT|bR?t~QV+BP;AJzT5S@azx9!9cu ztmwAUh$F&x<|%|#1=nfL$c7MDppHfOj(MIT+JV7^3*A^$5CX^9Ung_bLOAPzs;#W8 z7g3%*4bK9uA*}{00WS+p7g9Wjyc>g;Y{HqGSFeH}KHNUX<91v3X!S3;&(tE2N5d{h zsVcRof&dST;Tx>K

`S{m%SQ)i-rb)$1r9cG~;aS3o_)KEmli3b300h>T1zG)e+N zgTP?Pd~{M?M6$xB0Du%}HSGWD`g&VIN)k1BpUlPCPoT* z7(Tvq6gWt8beE0L=ndbVi4!|%U?7QfDtaj7QfwSRp{dd(GYIMa{{FzUNQRV`Z=o?Rg#`8Sdq|_5gLK0hWddGo!@<(HT0ePisSkuzHMe^rc|^Bg1U6Q z?C78`W7jyj+c|$`s#ijd>#(9Ial5!!+fYT!R=w`|=&Za`M`^%Wk!GWLF^Di-b+4d9 zkqK{PY;^Qe17FfQ_!8P1U^E*Ih5b)DMn<&60_U->x^%}8qx-qgi(;e6i?*RiApAzA z8Xq0fydJ+eI4O5T%h>$-`ug|pCJwtYPHNtzwY2zoei+v*#=4u$npJj(?^!vtkNsWL zCwSqRqb~1a5`6Em<^q6jYnu@efV`p_8nv1lnbiD~#6;wP1^D@qtiU2Zefl&}?he#A z1^a$EnS?WGXOZiXiaUGZLM9SsXU~2`rFciThcs69wvfLH40XufNb~_QwYRon1D`@& zcXB$G)Lb`UXK6{#!Qq8iG)@XYUk;4Nr!p*Yl~-40hp`vRTxYmh(Am=~^Oj5_>kNrpsWTuVZ8swC^x-XE&wTN)8dfM{x000YUfd zrF~=@63c0Wmo8mO)gjcp_MIp8-tmF#)yZe2Q~KxG4;+xc8gkj~q^fGoy_ky&;X_JC zb3ck&=50G!70#5Z%f#|T$8vUzr~q~xifkysCj&dzVL;t__Uc~$gAFy^?ePFT{sn}z zaV%@&E6f+Ax)jf5KK?xX<5(rN49cBr@KoOi_>Bv^mtw(Xr$35TTt2!eqY#QuuXAFo$$ zOy4~!yy?0iD^gQoN3=Cqu+)WfdjxTl+c$6SJNLN~D(&E9a%DPmP3OT1Z?vBzX(#fj z>`UnD;PEJX5F20>V3(O{Mc%u8C42~1jvxq32=okh^k0Nq5LG#LEFTpQbnHxw2$zJ! z6D3aMvMlzv2e6}!VZb9o0|G%nt^3E@>@7L)eXzwKI8+4iDXGiI6q*1A`%?sG4Jr`YLh46ogubKawg##BP2neK6`2V(!Yj zAVncfyPaPHp@0=eRcAQV@q6q38)~1_Mr(`b*MIB{#JNU$*?+E_bxzcG-(D>cx#D7@ zO5+ny7jTJj;@8kmp})3gU!hm1zBS(A@8>7NLY=9%O>q&kg#iNP)f2JO6A#&n{yWTb ze`&P0tBVk_Y1$2N6teHwlOx89`b{$^5r|IiV_*>DEX}ZSiqRFhR4s^XBA4^8`iOnU ztlby8Z8+KG`&n|KXg)7;UwMPz3Mx3FJcR?E!KN31grOThii|`+n(AF97JUoW4p_;b z-@mDY1B_!yE$pl8AJVBuHdRq78yMWqxTdAe9lfq06Z;0+$$vuI&fqgs652&?D9x3Tph0d77algE9t|Pb& zm4eK*ae99K@u@Tzi5C&Goo>vJ$~Z5=C`l^nvct?;ukM_n%ZTM;I0_8WF78<2krYyRsaP4H=i`5#S#z!E}kgu^kQiYHK-%! z;=tz`?0TrSU3Gv2SW54$w6kM;N$$i?hYl;Hw?#%qo>(&X-?w^eT*Vff0t>tXC$;PP zJD;PRE^i#578t*~o>x$SSS3zt(8Gu1oj-s66h@>8fw(-wiJ_qxfCc;w`s3L6_-UR; z0N~I7xfVaBY09VoTSVxD;CQfSJtq%>u6O7vD}p4zt;t@0DdlvJ4a(h_C2jm z4=46CDi7J#HcCNB=d?=j_Et7AVGFCaJ>ivDtVQW5hHW!s-4~I`1t)18X#W_OG~43 zE09l1OF?-_ZI=!+AdvP1KZ-2=`SVda1ZO8F64|FJ$#lPRGBbAu{hFNgfJDV!b&mR* zxj3giQ)I(LwJE&o3c_tHC@HbG29M<~bKt z#^Rvb#n=QOSTN@*#~lH49i1`9q{t^F1DZCR2W)WwFC|xug?&g*OCxKGrDcW-3tX9| zLnu8d82x!$+A5GiVxRX^sReX1kB1NC=iMF2Zn~{=~(g*6O(S-{Ol_wey zg;Fo%tQk)cIY>-qe*jF4zyPE|g=o=>_r|BG+yihDnV}HPA|x27>O=b-Mv%-zz!gaA zGxPJLcSAsDgPD%3{sEG7PLBSV2loju-**Sn#?X0YTBN`k=jGUk9qjN!*BoHr|?g0pI+Sj~a?wL;oTF(sSoT|E9} zs+@GwisijCRKZi;8@?wmxF-%?s7N8E>`V6i{Mc3%j?n=GxTl{~_VsN*sj%15M{4f; z`7~(UaEi>YboBQphKGw-RQV;!A3J;)!Rxzx-rqVp5RX^ojl`ZuoGvaR;^^g1kI^VG zl?4F#y3(1GYOwUyJ*Q6?(1A+1J!0b~?S*N8+Ux4bgkrj($vXeUVlyDjT=XNIAQ!jtp7DNJWLie z4~noIw=O6sJxNFN&Afds9{cV&Qsvp%TIp?kT5+TU!AH3$Pn1yt>7UlpLbwC))ZFr6 zlF$*;;$BIv@1&xQa^I+TRZlp^+}2xlgkG5-AcWR|^%plvPxG zLPNC>E_YaH0gN{@`(mAci2fw7BjkDfiflhl;fnhv6kY6KB9pK8*7LacQ2HVG1}{qT z%EDx}z_yR%Leq@Ahi#NcCIhRkV^-z{2(M^}SnmS}6MB2Nx}_iQ#*|C^-Ju z_YTeq8OV-gVLs*h&Z^hd!@1R#dB7aVyCEI8Y4z8550yW14x&eoVw{X+fqNQAjhei= zvT{hv?%2S$HxPj)qR&9T+Qmsjgo#KPao6vi)78z(&HerIK18V%h)fkN)Fvs27iw!a zE6@H={l8HBe-`M-ulSS0pFhXKO-)S=#B1zytfiTTu&T!IAOir%7<7Em|MR~ICamCyD0-EhrTqZ|9OIHg(c4p8_74Y+fk2f? z$6dL6xxlJ{9^u}_(;MsS>fTKes@#XQcTeX0PZmH}*#7EOL`DXe8GtvyCY_zx!q?GE z+#GyUl9P{O-KG`qS69}AVV>c8FuS*JJ2EYI_0em{q3HT*d^x@|RQ>0SE7e&#WjchP z8yhvreTh6H(EWA8j_43C&Ls4#8N=%~ z6l5|CgL1q3<~Y zUBS=EXPIy~}zd5i%2INIJa-;xfx_tL(#r*~Z28Fwen*32X_@>=Urzuj~ ze>)dz@{ZfQHS|`}!5d2$;Xs_&EW?n#*2$Ax^nox1yH-O~k|{}jHZ^+!taH!O;SO(; z)zb1|cwl|3->3yKunt*eBJ|Ef6QQl80k4DH+|M}KHWPLuS`Y;Agt`c)(K~Ljqq8%( z_Q$3GeT65WQueId^uFi%cL85^^t^GBdWvkO!=Eo;m@uTC2Ub8?Blf0aVEA?`HL-aV z)(|FGX%Y(-ci4sc_-;+fOoCNrW@WMI35?@MvBUbCWyy$@!NCmVxf%SX)Dgpsr%6#( zma-!I&%*{578n0^mkv#zNdeSEB?XLGdy&f)`!&%t}{H^CyX7H8F9K5Br`d ziv#oPKsH#+rF3(7hGi7CnVA_mcKe!lImEEe@COV-UzfOB@0O{_d$-dV6^H4F5f1|u zMM*n@EAHg8O_w5*L||}uPWXEA1VdW^j_!29wE!-6)|W9e{dYrP4(SDC$|JgCk#~uF z^k_A*8i$u6HHt&tjr2?MA`xq-{`w>}7l7;u!{s_OaDSEn_ zdy)N%D0^M2Z@I0;Lw|^mFO|T`!0_CJ?*Ps<2E+G|Hq_T|&s1b*-=Gb+QQh?hH4h*9 zc&=pX>(@dIRCgUrS_U=_5fjN$Q>ic$U9i1=9o16aRlO4l8C&6&wPRjVEGuqm>9UcFK+W$zbEUrvX@;3Gq^7BNr zGB`o_x5q?8bU5h%v8gXq-}(%&fSPmPdIy3ib!TQUr3Li;jDW%8-utdf^4l)0WgZa6 znw%JtHuypvgI8epOoDz*(GYlesi}pTHdfQc!2zjflFQ2A{ykg1-`LsNsrrZRAGjQ( zLrWg*{R2|Pc6K^B8GIRhM<`lWS~{ZP7s!Y_iVtrjyh%YRsV*c&nwoaYo+$Y5cyRf` z9^3{}VlGT8rKJr+0xQ74Y-i`zNWA^`zCH*vzCJ#1r;t{8Z`W509y7ETZqHy+Vob~f zkEocK?NHkP27=i&S4WzYwlK&Ab8xSdcmtfgOiS2m8vY0$G-SAk~F_C z-9I5WxZUT_X5g_eT-*y*{)#5Xz2FasasSEl>n}bP=H|LaGE7v({TCd-;ECWf95U|Hd9{uU*3)mlhP9 z$PUBrN%lu!-=IDqJJHj_sz`_O7TI96cW)#lb^n^>^xI7*(CDa==Iw21p65( z&|x`8aE58*i!3wbS&N-m(Fdw2Fk20O__|0+NCfPbbYbbLq#`C8+B%3-$_}UCpdhq9 zBRt#zgj+QB&Ye5h*n0fuvHKEsLw&K#L*K=rI+@yv2Xla>>gcopdSY`SpJL3hXV0D) z2Pj6G!|EHKUDst0GRGhe+1eyT3Zdm}z_)iBZ(Ds-Yk##@SR8{9c z62%k41(&=1*QEK-b{+;(lxw-KtBQ$&Ygb|8(6ULj^!Gy$-fhIBOeYb)J1(YrNF=rq z@IWDH>qP+OY$)U%DB~vZ?@X&Z%qJ;*78jCm5pZVSj(*ZUd9oY2gY5xB3YT0T>e_kz z3-BCCY{mKM1MeM8Hi5`6jDx@*MI5OJu|2ZkA-nu4tY4^rpquqpqD3Y&WpE5@sMq_i zjsVr--iX{)X_UZtiTNE%ubIFZ?YdDCdS7=XY0Tj&aFnc!4|a191CzRKW!dc|bT#=f zT_|&x?jLl(Lte1|r;Oe~=ZF2AJo-oxVG&d~kF`mvz8&N2h7B119o{0DC@s$%QtGwX zz4RiEEu&-N>Z_8g?fmAXU8m=I`X5ij3Gr&19K4C4S%~?+3B#rouQny^I2?cX%F5>M zB+p3-GkVqPEzgE*z4xgd6Tv^S)xA$;<>j?DHipz%HYLjMHz7JaaIyhdIL}bpRcpU> z(fzPJLE0f+GMfSpM!S-@rfUM4)1$#XIHVll75(356Ts7|Ym~J9@^q)B9D+X6nrPZHv^dm?g+rNxz@H}aq4wW&P6>vXFSZuoPFU;tbj8~mTB&j+VN_osXxg> z3~qzQ3);vgVhk9Y7tp6`3ZS?gHZ*Kpd>8q2(xQ)v)14?&ExSMFF_9hzH#yo(t=nEYT=n8VODFgT%$ zxHf~F9l93sNBG=gtdofEO*yZxmv3zdm+9d%86KMNPviHkT>ft_y5qGeOzEC)-^7qt z1~V5NTP?AktTu;(lLuX=M4GXT%PprI>B#rc^^r6|ueb!y-Q4_M_YzQ!H)l0M8-Fj` zIm;Z_>JaFfU+}DuzBBt=kG~J1K3EETyi16dNBx0Bj=U{qsi6Hks4cr-pyRNDr^X^W>15yZ)4UaW=xVX5MsjI81av6s(et$1>2r}o|JMQmD zO$DV~gn}=JkO$-g;F(`XNzQ}X%95~fq+}~5=#7CKTI=zk26JVPz zDCL98q#Fi@@Z^V{f@{N$cXV{ZO@z{0Z7~N?<#|^_Lqk`$b(@>n39~+w@o&#)c%8ir$ zBESEs-}1eM_QFC!55vMn9i-4(PNPI?YT~Sp!cn*T{$3X*os}_RmZVJYum~a%_wmLxWTQ)FT z<0IS-LkX4eDTaixJ3<6hE`Qxa)4!5#2ZIgsNeAeb=ngK9q5hx~U|}&PQt3_-;|dL+ zr0+fouXSJBXdtsrzy)JtaErkve+K=xU@l4*cWo{b;kJ`1<8cq@{@8wWq^%H{r~SPp z!_GcoPDXHvpoKMI^kiPX29xsNn9aXQ7#}1abK5HQ^Xx^}aJ1mjvBiSX)e7dX>Zm>A z0nh@Yj46mlaB%afKz%ndQl_TY1s?y=3SH9&irPfN5ag6)-@bykZ*d%9Oh8QdabzsO zF}EuI++ndA+2MRVlLL-qTucl>%o$N8JG;MF!GXh)>&7|e?>pBtAxa}(h}BkKEX-@XNBOH?&Nf&3xIj3b5n^B4VFxB>HGNZ8Pf?N9&vx3D|#{>LE&$($RA4D7_ z^}AP3$EixpWtEt|RPEV6mnbQv^rhj;o_vL6*+46;yE1nt3%15FmsM)lV*p5xc0#); zz{z<}Jr%0Z5X4`vt+fGpC(Nc`xAlCuZI1`(AYzFRzlsp%PEsF`OC%uKAE1h(d1mUl z4Z2Hae`me@>v2TH_Cr^0{m~;;My2}z-vlCTM~A*xhT=h!v%?Z)(|$w_+YQY{w> z%Quc7u$beuAs~@=4RaJYowRb(6&XUrpRC@*|C$dy^$J~mYh^SE#oRC(Pk?~J@E%Vy z$f-(MJ)W9aCxWNvs6S{|T{cT3Xyh96zq72Rifr)P><;}ZsnlOLJ;5FidAVCoN&;>E zYC%sZS3N;_i%gN|f*O0xkxK2{lak;twf@9$AJR@#PBhwj2H9j1jIx=&?W*bVFQ$o) z`spkK_XcUSmXPf67am2I?ZH!tX*zGUYKXn=N4~U+NCDxBG{B zry9X}xn$GRt8ifit`p)#=qx}$OXN(<-tEdD^6N0KFxH8J46O|%$2vb+@B#!mn><5= z*8rNKGnC_zVQ=4x%|G=5EbDUmse4|H=$C_(!pg6`_k`!Ror=0z=m>;|jo=)3_Sfx+ zE^jTOmN93*MQDSZ`8)0z3`sXqSc%3$8(|GE(Oo64Uqi<1o|k-CZHQXd?bCBaDy5PmMWPvV(D-^!MuZj;qt0 z*d?l9B0zi9KC}G~Sl@LndFKG-V`JuL^sDCvb9WzgEdD=)y>~d*ecwNhC@U*e$WDqR zSy@?G$x2QkNs?qG*;$!cNs{a&3Ry|AlaPcEvWx5xDiOcOyYsrP`@FvQaUVbbbRK8o z^ZC4AwONA*Usow0i9E;z)P)vaGg>;$e4^9iI# zFb=*epQ~bLVWD7}EhrE}MU8!d3q>aIV>2KdB3aMZx4JqrSa$)4!H@SXZfC|={knS_ zIK5~&ZpMb76+h!XLh;RY^Zgyav8%Wnal4w3q-J#40$OP=z6r8WbR6b$kIl6E87L{A z%0YB4DA;Hx3B4#?$Q2}pp@Bjc&2|AtMescLqbIhA(F< z7P&1rt+c^!!YPLfZtZxQKBS?x7DWqymO8*m$n9N5i{l%Lw+1fvJ$lz6{ETc99@iDVt`*j};^IuR_+ zGPAFTTIJ4(CE&U66_g{#3*r($0i2@(xS*Ia_czj@ck>#JQOB`Q7}##ypq5D%VGW0f z0eT&tsOYLIX-<0&tlAL+%PHBxf6D0kAK85I;xOmc+k4hI& z#s{?QaV|4MH9J~MB~9~ffAKfkZ%!h z`e}jKuu<{8-2S`So1F-Kwf1s9e5CW#S zzs!4K$+4jk;R`g%c9Thl*?-dIy^VNc3m{vho1rPhON7W4K?9eORtc8^EV3ExE;7ko zw#bhosV38|srE~}Bpzp2t1l`Fbt14*v|!NZ%PqXxCYd-3{mW*CJ}8Q{GU3k*LHf$( z%`zNxOFbm~G}&EKrmsJoetxWi$=D{5zo>#A;SdKH zY^&u$IN$XbgTsII_{wjKbcOYdMkkCUiWcT=K}o+O0o-z&^bdC7yk3e+(8~ODulQV&Q&BqMDNVl!~<+Vyc701x4*0;;7MKx_GJZLD*>A|+fSVg0sdxV%io)>5H z^7N!UD=TJu7%!6DHZ81hwy7ctC+ro~_$l$}i>E0Y3z2@E*JG>Ri_XZ-&V! zQ18wYzRMbO)B94D)IVQRY2UJ^JWp&r{C3v*@zFSI z2OB=R9Gb6UFnCjkTbJwF?V5c)38v{83Ab$8HhI5IrFSX3Fv&FTVF z00A$bJvZ(00*9rTi|pN?XCsXPW->|qvlBv#JQ{m$?(xr^*EQmQdMv;D4BY<=MnJ~! z#kqE~)sM7&Tsi6I)bY6&8)D^u3rNPglkkyXbgWz zNLQvFWf{Sf+1E#N_SL6~N&nK5*@mg3A6CN@-?X--O4@%!ZBT_=(iw*NZTh%SV92h( z8i3Nd<4~uXV;j*Uy_kLiQ1Ta8%_Y7*k1*U^+QarTxq*SL)Z7+7KAhjk%%8`?` za~O5tw9P>}yp_NfY49+Jn!R2+Bu!02bM0ppuBb2yqsslfUQSlEG2Z|^r6sf89)~Xf zNAia>^SG+ZpVjQt`amxOew?_nypAsKe*AafJK6$^&j+ZMSoCvo0_e*+LbSgv&mI_} zl(NvWpABITP8s^~{X670aQ-lbL1=)$(z}p4K(#%(@nNn93QFX!ghYyS%D7BC%1U7y zG(=wo8v$W|&&x{|zxW=a8=S^yE{?3u96|*;@X|#14*VH7D1oh#YTrS{5~sz&#%7|Y zm)1RvMg|g9VOE;!wSvOJT*Pa?;e zk4z^3+>kxnqfg7u*3i;=4D25P1y4KyP@{)~SQV%rG!2Ij6G@EdP`nj3h@iu`8_i>A zIWkNpmp$PRF*dd-G)CWn5E#LQs}OG+%5T1YP+A%%t1sU&(iKu$e*}9v=n#&5a7O(} zfDh5@!9j)>50w>AY((7xjK;TeF5?23D;rPIeHoDfbwGSu2p!@5pF;V$j{(+PYQ0%WhW%4Zqnv`v=f6$rUBwhiT(4-tP(cRjJq-T&i4;A>oU%)w+Zs3>j#8o z@8apX23fm{(7DpSU34LRU*9;C$|k>S|5^%-A(66*@DcmoqIw%~W%mL2Jr+lrquOma zs$#!Wf!B*Xc&bg<*3J$V%{>IE4(OJ;*;{P0marrac^SyTt35k zME*wM=hW;g+mc^})D0vn2lvcr2OK^%kno_(7PqpT;JDlA`-5tC>TA-Nf){h6-uF@fW!2ADjLN|dMM-)TfP9(#vyn;8V48Xc-Qi4SX;x1Xsv*1 zxLv(^90_UzkLP-e_h1RTH|{9EWF*Lp5(mKx>FqYiQwY$jPOP=~DSH2CrU6La>$US9 z8v#w0EU>YI5@L<^$EVbaaGn z#&;>2VHr%@zl^77nPI+;-XlbI?I?2&K6Gqj<@>on`|B-7CIeZ+QS9ENJN0_Z8Np%} zq_7hfBMkwLxpml==Ark9GI&Jbosi15=Y-(bv%mW=>2kjnNO8kw(s&|;mw?oDm-Z#g zdAu)8qe5xPUsrPIu5C>WMQ8FGQ z%aPo}KFg5XBG{nj({?7NBDhb*eqxoAn-74HQtA#m7$n@$-X24cX{QKxE@G!1XvVgk z_XQG$RuCny+J^9vBffCV5h;zIkVt@@_e54l*=6%;pKIt0J0?{b5Wg!SDfzXpw3Ul3 zNJTW3lUOOQHE+3^;d{=UNv#`EWO!vEYF6gF8`#XVuR26m`PX0Z^_EHuudKv0`EP;H zY#g7e#K|(8A|1eOlK1T4Ln2C7;Ro*69kiRDF)(nlfrHkk%6>o@iM$z@;&~|HYVbiY z{4N<68~B0*zv_E=mABiNJ+)zETR4>10)wm9=SZoVAtWylxy*Jizv5Z^^ z$bIdnUx+)hylgk?TCS4?L^e7s43LHXBSReRVEfUZNlQPksOYy6gC7v?+r$=7QE<{3 zFQR3`{aSAcb1j%LnPj9O2e;si&`Q^99C5-@LB0;6bllwB@Q@*$CPanj&H;pgOeMS? z`3T5kM4B&LxxfJwz~;2b#88Z zm?{UI`o1`HYQy@vIbA4HqO>aYOZK*D?Tdq7X5PI5EMlQC$M)@roNWUmdGn?obmbpE zYNh=^V+RRI^B7y1r<5C;o-Q|o2LCO<4M@C8&}QZ0I%8&*t0(Aie~|vjT3VNFyAp6B zSYlFJx$=l>7R^(#j+A%JeLl<4$a2gdc=`^}|2kP6c9Kv?Gh`7j_m2IIT?IIYWqEyI zkD9SMUt)ra0~vdA^X9Nw8$4P{Yu@T+;_m+3D5tXBZx(YYz@&&X)n!FE!R8Dao@p`yX1H(Y&N>pZriY0VX^70*geZv=2d zFHhDA=dj$hUrPvOfWy6CIipVM0vdk*BjQu^kw6LgvPR0-4^+&*v>!-DrSaLi9e6C9 ziG9CO6a7Ml8op(KCUFW|?BQw25DWn0oQiFGx?g=rn1dX!DcN2Gj&)Exw+X;-AJsOYE2O>z(&spYwI;6VOz zbj-OZ4jcR3{O^-^549F35`W5B4nr_?x;B^($8H*5O!_XE1fh{{u|C8m1g*l6wdQ4V znIrr6&jOyc$rBQZC*m9K-rX_uc*|omz-Qv3>o@@2T|JT%&oDOLP|IMH_z~cpaPY1$ zY^4QheI%#)Mw~3FNl!k)>;y9rHz93+A4xiUGy-eCQl1v+M$v$5HTXWkVnHn#_*XZe zf3B+PKD%eNwMt?${B1W(&Z)6#hb!uYgmWM_tm*+YVA1lV@$&(>h;h?Ecku8#`NN@?%}-MtOV!j*0HMEM25g zA{;rpIf(BcHzWvbX0k(?Bq|j}49`kR2=4N?v6`)JqMq`-5#2IPM^BFd6F+P$n6!;`q=`?2n^N;*`(Ix+5iEaU{sz*xu(72*e6Zc16a6iX z_)p)Au%W{tbi0%tUHq=KVmnSO;svpQXn&lv4L)0{kF#4ds-$Dj0|5K!U1gGoq5^0T zqz(9J%c+WJzq3cGA)$iIVJoMcyA%3ogc)9gBLK(>-0#55fEA%@LvVk%#>}VCB{=axx{fmw?D|*J<$cwt0c6hiF$^++}oX zp#S2ZR}WPZp{-wAgHi@>1DFAboS5ux^nPt^!-YTOrk%m`xeBRsGB6Za)RMXUeYqs2 zrslWX6v#n_0vuu?A{6Qff3=K(qT_}CYT^LS_YbDSG>yk2H$R9cgz9a}X@}<>4-ED~ z6WZ5MI@@-Qa=F{r!*UvB)d*!M_mhY;@b=*m=1zNM55IwdSJ1-EzTUOqpQ^zvp5|FeZ!tdYtPSRjV8 zCF62#klKZodw>w)Qc~WHIYVjhHgxTRWFnW>Od-6=Cv%K`BW)9ArOCOu1|L9#u$EGf zpj1Hu0+Km{8>IfudsMoiZ*1IC;jswH5vMRLBKC zd=vP%`8xX5ip)?;itqbWlh^%ZsL$;`wb}1wTASz-cJAi1q0#Yipw8!hD54&C(Ihr( zbrrkIceQUwv4??dyaT`zaTIQ4csw^42yBlYQ5wlQ zBtu^pfAFJeU}QXa$Ex-zC4cbE^nW)kOL`d-v?aAy8TxPy2h5z&(1bk%cgg|J66XwJwG-J}}NC@AaM7 zrNbjzBavPLgJSP7p;Y=ND=|h2fl*TbMS3|!Z`ByJ4FBLVYIWSWHL_cG5+|h!(9PD7 z+@~h?Zf>O}c@P(j%uWm4H-^u-xK~>vo9lL0-68Qt7B-3ykH9p$p_dev$jrZh<^X_~PDa7%;XI>b_bGz2r?>e5+yib_1G01#m^Wg+ zBI;-HQ|HlrojGyh&|{ZTP|XF( zBV9C@vro@>FHmSc(XFx5lYYOjD9#oMby66#Y_zm+U*uPQXZs$khECz?)n&?4U|Zp* z+YNaeK%Ra3rcgfdU(XM<9CMN`i0^kYzgB3HH(I8kG^(7fCy2pcK2QqHFQCzZh>I{e zR{O}m5a&GNW0ujr*6sVdyYVO()y=CitVmE@40xwOS>LcgwKMWH?#7#E2Vb4AOiU^o z);NU%;8};7s%nI{*seocsnunCQh@N+Dcg_@OSKxyBig0MUJV6v!yzjFD%`$JR=1k0 z0t>KAUxp1GH)yjbR|4clEq;T$5!0ez8bwfRh-(pm1o>}`d;prG<-hkd_9E?#F`ZCFMuRdW@ z>SU=fsAjbLZOaE+X+e6T({`E2NFZv>@v9}slTs8a$RnM)C=RFOC)Z1sxM0yeW0DSU z44RK1Wzv1)OFw>G_f*3>K`0qz05o_cC(A>54snf#BUJ_8A7lv4uQ4@N_!o4B~4x#FdSIJdjKeZ)lu6bmX2J4w^i zr;!mTk=O!F3=X|RJ81DAzkmNmPyFPGgOih9rUC3@jaEg#a&hh8BK7LfAc#{pTvu`ryfhq8!b<>U~5xBV0#-pC6gKoJtJyY8B`= zAWWv;Z|e^w?N`}69KEdK;7Y9M!K9M1UTqg(c41jg2UY&^9z&#@uBYV zkTciR4AaSiGY$msCaJdO=4N|IQwt03>?Vvz!8(gn!yq!GL1+tfSc&1M6!zLhsu6PJ z5hwI6dV&$5p-3>tXo-f;{_kFmFQRewM_KS7Cx<2n0aV9)eSM*EK5-(};1PBpxGs}C zNsK0V^5mV3I8hI&@?ylyjvbgm5o~+DxEK8@nk7eG{6+{QEDK>kOrHu02`TQKK@GwF z2u&{RDj|=%;WS|lCxU~SsewVGa@L;%#*CK5@3hzH? z8Ew#&gx7Loii=|&f9=8}fyVtR0#dti3E7MQ0g(_g<1LfD& zb~Div>%6!ax>-c-(akv%HEdLrgRL!^q0k#QfE`WG&B3}01P&+}|5QDM1x7}mqPz~B z4>Q;pfoWS7g6xzM7ssz>4ZjM7TKNFldBl{UABAbo%S*QA#LUD54guHl)4VYSy>`XD z{asxw92~jb)4)pM8Nkti8Ig^RuvH+KwRsGwCs>FJ?iIij%gi{DiPzNynsdjlT?4(n zkBo8vXW_x2V2y7^^@yEZRa7LwvJzwl=d7F#6c58(;+r!K z(bzq#8$rkbJ~9&WbLg@y;*MT~um!|#D!@A@X&{!iC0Iyow3{IyVP$>TJ-v%g9o&dc z7C3%jCpldPg0~@Y^z$PTh~0^IVw5xKA~Vs2IYm(5XS9nFs^3Rlwm3PGb-E{A&^{nd zIKLYi_;|j0s@tE7D=4JYS|BA9)&C!HGY}2{zrRR&pcNGPJF5%byRe8 zQIHDI(4f1H1v3YE(iVB?xRrrHeGa%&e?(vnLSrh{UfV zOL30?B;T(QnXrzc6>ezU58cp70-CvZ>z0`EJD|bn$DliuOpL6xK+8M^^yIrMZ9{2{ zCWAkZCjWjQ!op1feCMIebuL>&uo1qq-V#G3-GB?f=wM@xa#@qBhF2au7y38cNixan zXpr5#FAz-K-NLQ&~0ZHh-j5C!RATn`eUySGBBa{A4wuC0In zA`B|qoTS6}{wrX%)_oees8A@BGr()7>wk*~@1t^&MaK9&;Zm`Vn^gUL{MTF028ROE z|vD!T_f`%nsLdfY*}yWpa8+Al10LSPGHwx3U5K=nzv1E^BAvYp~#U5 z$#*(A29Go(qSn&-q;`HA){@mCInS)bfGWdbAhKd$A>L;Gx($( zBUTPb_bBg->nh5&w`0yYXE06&;rmqaV5c35`eq3{E?JU?X9TUaPwLHtLC@*^ZN|7y z2?4O##*sJKUADg=Tv2nL!$q?;>*%Y}SBW6yInx8}_7M`)$fLZ3!i;bG!qCR=p`Hqu zsVOO?lYrbP*quw(`ODPwSn!|`1n{pxNEbnWVV8w11C5xQ$@P~pQK{ocHdb`)ifmL> z0~<0NfzdlmaKRe*2PMaOsPDFjZ$~@Os!YjpiCO99-=K<(VYfO`p+W~#L14iGjmk}( zbMwMxl+ZKD+qjtC&Qoxla(cjlTqz-qbiFm~xqtsYH2H-)BOrr9@%$s=Bqp48*&aOt z3Wdmq94AW2j>%UhA&1^*-Rj^{bT3pxA}0F!n=xl2A9vXXDKqZafw?$Ar^Oh_VbKLW zS0TbNhMctlCVMpI5KM%`L3N?S(Do*Z_PaH5!zqApjYhXL7PR=^+8aOp@wfl62funmOUFul~ zUWmMf&ar~w8dRdPys&Xh1s_aA9s$Ob(W@bkvLX9L|8ccfpiC6w%fI@;=6;2pV0?G) z9)l|?C6ZEV8Qdizu;l$pk85bazlZ@yY#bcW3M-r9Yw;Ac5H%$#HSZ_}noY zII2R1NRcR@hU6&;+)v-ZBwX1)MFYSsV!t#oXkOo$9>hlzb-Q|P>;Mj3Hnyogi*nt+ zk2D|-mxWEVoSf!?Ez6%9gXeg}NzeTn7eQ`fCw1Lsc2|S zE8G`ibrmLe=0MxKTR`CcY!$KzK=-c5&uqmy2=uG`J$Lao%}|ghYDc6KK{|oq&L0Gg zeb69MUXPF~E(2_wlY?7qTae^(Y^sKW9>%ie=?MazKjiVvs#>KHV#Cisf^Z%a|Ihku zP48ErO)z?4dL!PK&yeSJ1RWv5(AIX}SugseYUsysYdFgo&uS0_q>fm5(fsI%*#x|K1S|0WElzC*NbeHJFc;qgMefC5$KwQ9P@rGuE3dC*>f8*XJ0dUv z+kN?+7s523GSY18UXsaUVj#Jp`zy&p&4xIZuLx+${(AH0)YRk_T8m|&nkC!q9d_@N z+|RfH2SgTNw$<)67g|Rf=5j5(;`}FETA5<7?7s`G5596u*(dj9q0+i*#UZLMR#(Sw z8s$Js{8QiSN%8B?7f7RizbG%amt;TtV=Z4DK1csA3&eVSR(X~zXE5;peg*GsOVIHI z7TkjK#m|-R0lWo{OWI_t%5hp(@&2LJ1k*sRHuFohls(li!32iAwm** zWAGVuEx!BaNwo1a!Z|p*$l4 zD?q%g~ih+vqT+Y{|M@nBr36_p2V{AnIZipsGc^=lgK}hZ)tDo7}$9x0u zKH2JV50AsHJaVoxca4Qz%gpfc5-E?cZ1~&v1hvh6)iQ67@|Kb1C0_XkB3E0QN9-a?+vUAT#xO^suA)t)Jgh!_&cEF+TjX*+%@EyIigj z`UPnr6X|4~8U8s^Y&x=1A$O%x1gW8e#aQbD2deSl>2}FH#Wb1udz-(9;(`V#Z1a_v zLha~yfLiu8(qdqrbE3t}4;P##;7M`JaZ?(cKE0JY7)R$eJMWr52s)CTV9Um+EJ(E& z8TE~f9(GLP+(R!`IME07SpBc^!zNGIIc8z4!ohNoBg$1;aWRtNreh$L1EH6HsK||` z37Gu-`!C0w5y}INprL&Efcfdu`(v9N=p1LaF83!r19Jx=R4NM%Mx54eX6jx$SFrOM z{GXhp(c-12lSX?YPbU$Y`s_~jlZj+`J{!N?f|P4NF93djWqBEvRrq<(U1R(=KK@IW zgm?y5QOXn~e{d*8s|;Ra(4aC=c55~`08DU$N)?+&TL1%9;AsL!!l$o`9KNepJ!a&S zPCMX=L5@(}7GW7)wZZ4$6vWL>>w^a;91 z8gMRC>l>?4adCOtW!q&V4$U{z0s)?Z)Iq$sI`IXe(18PJvlCjZNh*`^5TU%B{))kG zBe2BQEFxzI*Tyx3;bDYc>8^BkMNICz(sw?plJZuso!SKg%3O|f_Und+*Eqd7PVs*?22}+wHM>jE}A+*(5BR6iGHWaI2vh8-{8_}eESx1 zEaY|!7GH>NxADe@(wZ#WjmbEpvARHTVCKiIOYk@tAhx^=or9s_5+>`A(E)?uXYzl{ z!?-RCoCg7^k`j0c_N51d1}vK1C)F(la62Mm6Vo@)u;hh3EJM z1gvo?jOy#=cYA%WL+Dy?NJxhKo`VM&ees&RaiPP*NTt|R`%%vR<5T3JjEwALW7868 z+pX*x=m(A!f{)Mb0Y`vzeeqa`nwi~RJ%NFiyva$9S+<_uhY7trp5<~;IqcoRd{D-~3P_!{kH{8Xt9 zQ;#$bGRNGux;aK$aU!p1{C656{r9Vp#-d+WPA3V;ugZj$2xjg={y(}Tpn_sgGxFd5 zQ%@xVrw>e-?CjyGaax(m4CL%n?E5d4d<1xX--wHBSUe=(IB@1fh%a!7^!u`w|VA50w= zR@Q*_Db9yG3fZFM8WNC51N4TbOxnOsvJa+9>`2@zEztZD<|+Q2^P=pXeeb30KO(;S zDS!ezLC30|%Z{dt?O4L-lj$C`o( zryN3^$2z;a$Lo^Fpv$?nL>*mRqbY<9089N@+5La;p~?=n&Ybr|d@2)DfF~H>B`g`- z3+Jo^9hW%n&!DZ7_E(s3E$_Q{-o%7$=dJVe=Gm}zag$twOdIbC89PX9@Y}d2bM>)S zCRiPnISq^p01o!>!GpAhJREL5BSG6SyɗnB-bC@?YIx_z7c*@$&9M&niDw#V6; ztqP02SOOH%Z>_|Dc?~!Klm*N&;shKBizcfBCVCQa+Bhxzc$nW}n?OvcWyI85LW)bw@AdP<4zZ7H+)3 zmWyzu*g(sMfl_+(HbLr@SgY7E{}$yM8e$3zREcRUcmX?TvyEUXVVJ92d?#yL!p2?; zRZ>F2zlFFLOH9&I)G|niXKYJ61E>6(J2}1RFT~?i2IR=8VA0Na@Z0NaV{v~KBvJt* z?Cvhb^_xUMj{QZ=XSblra$#p2POq#?hKyjivfJFNC2t&A@pw4HI~n0Q1sEiE56<)`Qefu zhL0kHv2KKcItZRAqa5grF!C}{TL2F47>ybg$jZ#~k(dRIR7N{)n=&&6adCvWupk#O z9sdZc1AV(7GY%?Tsm#>qWbsdkOag5j`GU+Qc^|O5)Ac5tq+!Yfuxv!AS6{zYV+cic zk0Hi36rGnG9k<}=g2G5Ui2;~xFzS=$=`AmLUbC^8INrI9I>_9hwdEpPr1kR-F1i zs6q8~1(~DtUUKARU>=1g(&Tj1F!N2HD2I;r{iKA=8=%-IyC36 z?}zBYfGes_(n*Q5#%V0B!~+7oX}E9U?H=BkMu*b!pa3v(YJ+1nn>1B2y1Kg1Zz4I* z8!aQ+o8bnv`@IM5|bk#XOR=v(k>#bjZnvc-~hmaNp}Dou_;+kZSFLgnw>?&I1*$~dkz1l z2~US*7~`ahF+)x23r>d=>C2WH8hGqz{yow9a(PbhIC3QilyaV7beH9;V-#Cg?z4)e zP=ABjiXiJz9x7#>1{LUOu3jbdSh9JtXE>ZQ)x<;z0 z1iwrHG38LRSXwS@!+Mw_3Lg-PdqBFY^K|9(?92g6pu3>B$5Xl4cn6)dQq7VM9`Kb@^!>S8geyj>Jf@^N2W zzrr`ud~=Np$yU!G96{iBuyVSv$x{ts*1A&^wdK+D7eI7rc6JF?{O04f_|uR_s+FU2 zXbKkIRIJ3KQH_rgT~Mg!d49c0kf^wadOxSYEzU%Csejw~?Lo>5?pGTO+})+09|+m% zuzH7*GSc(2@W_jRf+oXrvH|3eb#JEo{#4134&$HIxD_?K^&cwc5&Fpc#5Y_p8?IC! z)hgGoP^>$Tk;YL0yb5mJ9qPM)bv07f7oxp zxhzvnheRB*g4#Yao#E6|R}Z1zUt%mQT}U0qd$%bE9kx!x?*9cH;E)0h!(fD$YJ8VD zb=zQDcKofj{vtKf+Ca_G1$PDQDT*MEowUKNt070kZ^R;&q_OR9IXiHFV6^LP6Z_q0 z+-z)!w&Pwdq4_hRMq@mDeBhrv>Ry%?Aa9tRjbnp&$+6 z7W6UMHS)^7%VB+gQBOP_zGny%KD-fgyjvm@rnW(;gZSEE8CRUi5ZUA!P210Myo|$8 zo6yKeikKCkSk)W9=QxXHuKf~^ZlIy0BypG8_|;wQG-WNBcvD(mQ-WJM{mkwcXsLo{uOJSJk+*HT&P^Gog&X|;m2NA6Yx9H34W)2ka4?x+Ix6OZ=T)dP zjFYzKbjcw43sZFek4F2rz_!E|kpl-xd+l6gPIEK(NmSpz54Pl#@E!EhVCp(1Q2~Kx zHF!i$G7F6WA{4rf) z8w$lXLF!IH=HFtCaC&gjBrWLVsZXLAm5`EZwkrBVMAv*?s7QyX4$b+G|J}|X$(}(X zC;;F2?7vQ*CPfn4^3~Jrd}CV9%Z{rVx z|36(kLUJ;4a+=T0jm$V>^c^M4691~renYKVa501=&IxR(G$A=JopJ6Vy(GG$UyWQ3 z)&(Fca)X=B7Pr$GcV0xM9p1!Hp@d9?8ed4Arna^VdjZBM;-lQ8T-ppFRCeo69pYb&$5-A)1cb)6VWLD8b#Nn3si84XtyDN4S+ zeWZdbbBv#OfSEG$cg@#9^G$1u%?etKo#F_l!#%)*C++o6lAb089@#8JBa}`KI z&|gZ#Vupuw0b+b(I<(ry;Ya^2P}R3Hy?IOqBhtZ6fN=rZv=EZ@TlL-ONdi83>btQH zAuC2k5GpU!RCI*h4WjE*NqZA#=Wo!A@-c;JWODi#1qv2}UV(%b=P39dnBW+le@4b$ zZ?Q&pOE(@QT&nX3kAUVtEQyh+i~*ywiA09qkmdTP#ukG|9DRo=;G@_$E6d{oo`%3?Z{w~#Cu@($B2B$x7Lq7uVazz!T8TV< zcmg~+>yG#j|Mdk72?t7XPrtZ3cY+s` z{i8jfD@Pi|5R(Uu3NQwyxL?)Ii{HKx$W;nty4a@mxK59 zh!)iGFH6(g(PqL|6JAfIfVK=5h;q%b%S`5035d5;NX<9OVWB>1VPOGT7cO{*0O1bg zAB(eX-w$zms9FYe(g~Qf62Oh*>3*2=!8j1sOPm_Kl+K9dLa~fX5`9nq*3KG-(uRfx zY)1}RSBMDw8a`vnT8`mkfX#p>E6uq$IL!3)psYdi9*(N##rlSZkja7Pz%h@@O)GPs zhzPh^Ocg`{4?7n$6R;N#FSz4Uz%}QsPz|{f&Z)h7A3=JCT>vWxC{GX{kRA}WVZD6p zWQ?D}J%WK}`{Ll}Pu>t93n8 zgpmpZ=W73NwfHM9C?*?RO|m+6va)V=x-$QC@1NIOR(2R&5HggCiw{XiEW@x2&X0cz zS*4#BINynYWcL~%4UY&wUDtQHwg6> zCoQfsWUm1$uIFt=V}u~@?c2vCEg%8wS9=xNiL3<^#J;DjSYa#RqegMx=Y-u1RGV+c zc^EU{Qp_5~@Ue1h$NY!q{m|7_=HMrsVYm$V{x62#`_wtuv>$p_DEHX6a*h)UN( zHW+Qor#eb#@is**AI1ZL;nnE@qOB}sX93z`dXDd(z7|QtZ0x?&l$7q6Hqw;A345*1 zc^vcX6=24UL9=kC;K00aBN%?2oHJ1D1f?WL-T=xIrkp{-=k?z_uP>l!a1`Of@ByT( zudjpC$wka9irpg{Yrs3&Y{YGDLs?>lIOfq&yTOXyJ3p~?DNBix5yuS*5ST8 zK{PrsMZOz8PdheKP@K22BB0*C>r2d}1{_y={tRNi#}|QWYjH03i#81lsif<{^1DY| z8L*ugbn67lGcxHU-5+ozV>fW&*X)jfp3*NZf+T7$F4orvb>ZwRrav3>Lzx((12sJ1 zmw5q+J6LULGDMTeBxAm=rOG`J6Beazz@1?&TB`5;)9a$Y{Cc7=-wQ=B%KKQYOnUjH zHlh3q<;S;%e7?1Lup<@$c?4^YcZv;193eKAlsiND-4?Mh zs#duiPBfBzNu`ei-A!ZR^K(EA|T9>4(O+ zb#y5NeU`R42!3Z7kw0b@LZbbj01ESbh%X`c{u46Exv_@x11|g;b5+F;6BulaWYde3 zlx#mUw({)(m0Bky0EFq*R`R#RZNZ)O`IbH3M4z3N<3A!L(0K(+1^;YvC`FJ7y$_}H zLwL%<>i?=`XFIAX5ZgQZ9nmXuk-XPy{f;jEh)rD^-Q#@Ax9FRJs9B~#=7R?e?^av` zjC1nyLj;;jmtVo@ye=jZ$nZC$(ZL%S>MU1U@?X7eX7@B!sTO4pkX1B?^gbG$?;?K& zwb@A$$TGZ+3JQZc8KJG?D(r=AZ_LaHME#M@`tQ+$D}4*^`0vJcC98nKLt6|2KQO+F zpIh7$MlnSHD9)p-Uzq)c$j9+ALQegpItB>Ucjxw`&cVU;_s0&vIW>%|3ul#p zd8XPhUgfBhzbbZJyQH9HUF<=)@5ftV#p@0W>g0XJo1pz2EA%bQ<$zx5sq%a9BVN)R zKual(TD-M}rvUDU%#KNrZ-ZEAk>FNOJ2s&7)?$7?nFa*d-xYr1&Y916HQtD*2K-dm7svp7-Xw)8of!Ap^o=&`!qe#&rh6|SAU~F>xpd4~ zBb>ptFUGMihW|Fk#3FlZRv+FKzGzSMDz#G>D1rTQsnr;AzjLSHr`=c^KeA3YycKFw z?)m-O4op1L7TDDAk~hW%u2?h*XkpN(R)3Z9L&34sc|x~r0RiCnsyIwNi#`CRdFq2R zTia$~DtHmZD9HQ<^cvD8=(oA_Ih3BMa4*cvtp6*mkC5=+V2I`p1ubY>LWH#Jn{dT; zM4el)^##HA5$c5N4jEJMF@t(y3bKvlaw*5^1cD(p@f~N(ZYC;MV^ng)IYc_3);0b0 z>xb!O_s+hj7q>}rOgTv-F94a%Bcv1GF?*vh7ea0XtXo>%-!gR#CozGG@A!r23P0Ox z1EjLfZL?sgaPwm@5x{H3O8D%c7A+r8_$U$*;IQeYPLZEO#xf;6mqHReJ%IfBue6dr zpB)(*?q~eeuN56gWKw*eVnc>4&%OyY-~gppKlcxNqNbJeQ5P^}W^~SdUkZpyZx)Fy zs0s??VVVe&V}(8EMdd15l-ff^JyJfRPQ*c#TFR`S3qjnuA6L*PxJ%zG6~!?#w@p{B z@apre6k7k*0!$mhAP1KAY&8mMLUM})JR2MIA%Y?z0^`a^{}9kg3cYg-YFpwy8`0%R z<4mW|YDS=?g+C5*Cd$2z$AblVM~yRyHIi-uc`u~bu6yW0ViOaOafSmL(A!}%|8@HE zN-xav3djVObpo@|YI;M_NOhLFX7goGTXfJ>yI3YGtg)95d__dN&~4f+mkcuvhzUzDV_^!8(BR{4N;27~oRkaLAGc0t@xzXkAjE-9M5Ql3YRdER9lLaG;is+TEnA5ur&QXrrzOw@I7Y3~tG5 z(x%{x{zyfUsrW}KN@?b2#&nPVpB^Px55NR47*+oH8r`{_yff6_Xok@mOKe0K=}t_! z%6BvKhZ|uIQ&xDZ+4#p+^zZkC$rg>?`C^?kv|SWa+y{FfbWnxrA``T znCyOYL^^#&qmp5egAj4f4p#md>L_du?wq2Q4|@mfBSxE-;nCa?J_V!xa4EH)F`vo? zQg(v4GZ9aMj7>PMLC1f8);eNrRosgQ&4=Bdoh< ztJa&StHr>^p`U9-uLU)b95UF}NDUzT{`m1mEEFTHKtVQu*c16c(3)XfAoHf{HPhQl zU$MuM-3}gZ?&0(h&VbZQVETqhat3dO2C!C8p$)Md z;Q`kOiJ-%!aLn_@$WL@^w#@h}np!-i@zGaZXyvq%F$Khkk#dbF0g2ZLv&lN*oZ1rX zQQ}btkL~svzD05I!V8^J|uk{R2fP1TN`o6P8s%W zq8|)>^r@Z=>zu;LjIWlBLdep`XZ_ahWBreR!XJlI9>I1>VChOqpf`jo?W&s_dMzml z2{=DV&Ta|l1gP^TbwQh-34SY#48p9T@cNe+mUX5Ist3??J&z3@bs}G7U)+?73|iS_ zol;{ADcKJ<$e*l>pcd<#t|@%((5c}-gwNaTg$q^Aj$|E3wn{O27YWi=yO0$8cPo~g ztNq9joF41;?Vx2u;xU^Ot5upq2Qr%$YZ_XN-S{5_Qz{0cDo}Za#voV#N;FyFPf&=U z&2T)`jlia!uD64cktenZ2vl@KtOh?oK|q5zf@&&pvu2z;uy3ChKNBt;gwu@3_he#Iw%Pgm6Qu zl}Pb|@g=tv_Xl*k#)vZR_X0ntmVvI0E%M9HBeTiAh9|~JLRtkCH>~YqYd! z9NiHRs>U2~i;8MRiPD0biYk6>c(vh*&O7>A&LUwZ!PY|W`?F5AJgMDg?OhtS;XQ4lQ^yUE(}jfqo^8P4uSbSxvHyg$LX}8( zwepN$jd^bNWc7O`A}2sN-EH}DH$(klGX~(nDYv-djrj^+`wzP)3fijn_dW;3E4yU| zZ7F(|gDJ}O=s2Wntc$Zc9u6JmMfVNt#^*=*(9uul5U+1^33O99|>L+{FeiH0~c7 zIuNG?H`0DqIGNte&lj{73HJTY`a(0LPdOQL}$E)Rv}Bc=->c*;{uLInAXeCGBgrNayX3i1eu8$ z&)Ccug!T5Vw_Xt0(gV?qV^VmayfG8N<9w>ma5DfAOx97~INo7HbN=?4n;BBXxz|5P zY!i%ogXxBdBuQ;W(m&|qt1<&`AMI=#W(+=iWVN>yW2^i>yK^(3EP-kZQ^pT&yQ4OF zIW_nr6b(KI0*G$-{9_f4Zai`%&S-Fs-EWio7R%ys&M4P-0WC$(?039Zn7-D(msamK zzt5Qnj*zCZuU^g4@)KmF2>cju_yJB9pV%^y5sJY&!S{FkQj?b0n%Ax;7$|Ofz1D*E zQ{K}i{(CK705&AcT%~SUcrGV>Na@n;^}E#|YoOn`aXjRXKWDm-^&s>;KfmgR#jh@P z4x*xk4yJoL!J2dBzTm;l4GTcef%u&$T8VlbUjWS9ckMG5QGYKO-Tzs|_)Z{9f}_Dh zj#K_Bjvg)kWy?*;*%`-mzjA_q>2Z}j_)J7b{^dj$g;mw-^xuW;hpu=Ac^;gT6&TvcwdP9T4;o%IAdNCRGPgbUy%Siwu;_lRjS7h2zcX72FmiRw0(#nVT~1EjNBnV#dxZg;=5gU-~o zAL2fA>NlJ#Mvn|}m!R{zy{4veGJ`Kn;#LrH-H8CpCZsMjHFHAf%Ru;*)z z#MFX2nlI$|et&zYRr}yA7+}zoX*m5PLW>UmwkE%>B*q@T*UH`f=ScP?98s@|!w@@I zUY@u)YsdSj%NN@yAys-FxSJ_#eQskt`Y`8gZ*fSE6l5v#*FHNalfJ6F4N3l}u7Y0I z1hS6o>>{+OMx1^YHgJXuv%%KZTZNngxiDz3%?8MSFwP`d6(V_2eV}LP{pRrZv;F!M@=T^3}NKVCp`7Nt^ zdH{n3uE^~>aA42(NFo^5?bIu|QwSftpFu$xQg?Z{hBR1QMutY`VIbf^6;OQV_k;w99XK!w8&42RbS+5;5FsN2+N_8;BzIhB%dXy#R`F{zsVj%p8 zG=d)Bq=v;gqz*b!$n@rZpmabp?py}1A4KwXBZx-Q*3<<5gCC61M`Go}BG&<_#T zFYH6=Mlf>X=w>@B)mLrLu>#EV;~)Hg-CcP&m3zBZU$t%3HfI?!EJHT7kV3*T56O@* z6+%K}PL>d*D0BME%CO8sDH*m%6h34K6-B0nb`%y$wLAB__c?!j=Q`)_b6uxDtgFkC zwOa4{d!FZh?jhJ*DO_AkjM(&_^D+{+i|Xp3BfJ7jEFXac5i0aC=FQUn^>5(yrXUJ$ z^n14Dzwdkn%^=Rb8oRfEQO3r?SXUrON6iLs;3UXS!1*{N^2An&lh2uSphxzax{Isp zbEk@a3@(fWBBMl+kGD>diZi``1tY)Bx^^H9IECBa&%`vjIqS6 zkN;E81FDO@Bq5=qg(6S<^b1k?1Lwv!MY*VxvEDvuA8nKcaUEp0iu zqlCeJk`Goso4rhzKvjU>yk>>2hH+ge8TME3@2IX$ewgY^wa;-2(be8WTndxFH#{y@ z8pJCqRlsNimqh>4XS=_2Ugv1u9B~O&9FQ&=aw$fq!<-Q@C>F~HZP6-QSa7DQbq9z& z`RWnpL~>Q+GtE+F*PdXUpq-!V%SAWa{Dq#0?FyX5&3}rR$6e939-oX&7QXdklBf9s z?ESEGf@PjC`?Fn-vGW_*%p4;}4-Q7Zh;6xG!WjUw;A;wdbK|u%I-t)5OiQ?83t`a* z+$YJVI9H4vBViAqT7(F^fqe;p<>SZsMYnDHyV_kxq+%#$dsD_t3hAsz>#~N zKNlpC;44D@C#2vAPPyHyZxldSA!{N{8vPWcko)%se*3(HSRw>#-G5zoLNhZ>{@@~971@3&RC1AfR6R~ zbDa(u9tfFfX~>j;YQWDAg6Rxn36CCWIF_*_<4%OW1xCv*IhImz2yrugh(?L}2oa}X zUVab5eDU&SP?1%OBP0fd4}2>S?cKq>@I+u=flne}*)MZ%M;kGRM^Jpu^Z^Q?mV%jr zi%Vvgw7@SI?I0${O(#bJy(m{zEh@7;8l@;3>7eWuA{_T_Y zWHsx-I3jfCKWDqvzXq@m@89$B@+`0|5AFN1=zG_p1kZ0P-sD${6Tz@JCT3#~}CTI5K|0 z4Rg;}&(?(JCu%!;8JblriT_wtzileB3!cc6%GkYOB|}wOK@v8i&lgAQg7$qxWEt=? z^K3a$QEi!B?Zbt04`z_!;sEDS<}G=8ZHhgrP^!VyQ2Wi^jKsuGFs%a~J0GNSx#f{e`u;-$wVE8;8fOG$D;QiR_wF^MNYWz;RB_aA0G93%pTby zoc@~?pmT|vXqNFz^*i3MJ43p(vBZ>LJv>4b(q-i3!Ey(aKETu!qyjiJFmDNJh>hI4 z>qgT1O8Cq7z~n5}m950``uV6kPNLko%eW}pu0~s#({WA1JaG34cDS$zVTmdxCmCG% zMeIm>BSl!4BPOpK@wF#p;XDP6D=r(5XhE#No&rTLf-TEwDZvD+v@zII zgekIjG@!b+m1$b3bQere0{rKaV^^U^Kke$87oMJ-9oOB})1zyTgku0Scu!k=7tiLH zNoHkaXpQ6DgA{Y`dhe`gnVBP~3n0-N(O{+nb3v?3GP0FT>S-E@xi#K%>ALz!`OvQ3nkp7 z{ZQ$F4zqg2k%0k@B+kaFVK+$a5dTB($+W4kgJ;MLDP_@>s^SFh;d0~+K6ii~3GW8x zP?BR(^`*J4gQVRZKvR6M*Q*99MF`F5b*5()rn_XMrN2TS)Hh2JCgKf}Q=LR`&U08- z*&pdXXhchHw1h5=JP&+8P<|7*6L?Le>(G0kT`ef(Njh=`m{?LT7XAQsalq$v&1~SG zi5`Ea9N&=%nx%8j6j#7rJ9L7OFg=;K* zxNP1ML4BIX@4#?v>Qy&7ZQ1^h{ir?J~zdHbdZwH7In2hbxwOw&E@*M`jV+gqp|0XI)iTVjB9{@9YuRa0!&x z@1D%{Hlv~+GiJF#);K2Lw|9A+T`#(!AZ&x!$o{19dDG0J=t!EmtruSTrB07Eh5H<5 z!Aalyh%taZ@uIpAr!{|J0%jeXnvAUfjkEG&!c>)Z~^K5eVT1rWiCsFi07o zb9n(i@a&U>XFbOCC0LkPNKYJ&(Z?qOdPDe^E{Edx{4Nq@sMSzep|^w=a+Hb)pP=Aa zt+xXZ-q)TI4kJLB-@OyQjK+iCdy&gh^}?rj@aSosh+Zf#;1XMnaD7T|!1ke_s3_lm z5~d7Tc1C}c&{p8_+E-c$Di7vM^3FfekD$m6Oj%w`Xlbj}jQIxou!*5zi=43}*YixJ zgl`cCSky2d+F>3fNQ=`QNj&x!PGP<4n^j&;V1j}T+~61dm|zWe)QW~}ypTrGs3TCBQtK`?(2G80IuW`<1+m1;${j2`rA56^ zcJLL^T(l1Ac6!7iJWq7%PMC9NW`^LHAYg|W?>fSY%SMjEGvEIs8x_Y%GG49sOvTwNaP>FMl<`@=^WN|eqt z8&Dl^Y2Et`PD9?|Uyo~Qw!9rtRB*&jeRLt7kG-Q21S5(tn>J(Y!qm<@u340@)(N~- z;eBLd2@7R`rqN5-mw9-3S(Oc;c?H4{lmR3HRMtG%6#XZD^0CY=W5CP)5rHJ}>C5L; z7$W5R?RB(%)vZJ1ULD-t5UbqB@Ck|=L*o_}!aD99sPE9F+46~-hJ}S$_J%Lk&${_Y zH5tk7IL7z3DKy0LQlh@~_xHrDKOt6(<2E!48SscY~yK(x?lDz)K+tOJbEgHLND_mwaX zya)u*vXDlDe@2a6DCnoutm{<;$1d`xL|c~;UR;t~XgI4HmswsM+W5oa$3`2cspl)w zi{~>;Oq)Xtbu=yS=7Jjt&SU(7AWIbV6Uct%V$lT}?CdPcsTF{^3+82|mQu8%^%!@S zSCWT3P7f~rE2zjd?k*j94uQ_O@T zr*9lr8jYf=p3$drY*VbVnNU}VTluW9`;F}l6KeLxCMHOdl3=iA_N@Jl{$7So45Yh^WBe43EO|2YBV`bd=gBCx+Xf6T8@$b0ghuAJOBUy literal 0 HcmV?d00001 diff --git a/src/content/publications/publications.yml b/src/content/publications/publications.yml index 23da3e61..345576f3 100644 --- a/src/content/publications/publications.yml +++ b/src/content/publications/publications.yml @@ -1,9 +1,15 @@ - journalTitle: Softw Syst Model year: 2025 - title: "Networcat: applying analysis techniques of shared memory software on message-passing distributed systems." + title: "Networcat: applying analysis techniques of shared memory software on message-passing distributed systems" url: https://doi.org/10.1007/s10270-024-01258-x featuredImage: ../images/publications/sosym2025.png description: research.publications.networcat +- journalTitle: IEEE T Software Eng + year: 2024 + title: "To Do or Not to Do: Semantics and Patterns for Do Activities in UML PSSM State Machines" + url: https://doi.org/10.1109/TSE.2024.3422845 + featuredImage: ../images/publications/tse2024.png + description: research.publications.doActivity - journalTitle: IEEE Access year: 2024 title: Transaction Conflict Control in Hyperledger Fabric - A Taxonomy, Gaps, and Design for Conflict Prevention @@ -40,15 +46,3 @@ url: https://doi.org/10.1109/ACCESS.2020.3032239 featuredImage: ../images/publications/access2020.png description: research.publications.faultInjectBlockchain -- journalTitle: Inform Software Tech - year: 2020 - title: Automated Isolation for White-box Test Generation - url: https://doi.org/10.1016/j.infsof.2020.106319 - featuredImage: ../images/publications/ist2020.jpg - description: research.publications.autoIsoWhitebox -- journalTitle: J Autom Reasoning - year: 2020 - title: Efficient Strategies for CEGAR-Based Model Checking - url: https://doi.org/10.1007%2Fs10817-019-09535-x - featuredImage: ../images/publications/jar2020.png - description: research.publications.stratForCEGAR diff --git a/src/locales/en/research.json b/src/locales/en/research.json index 75d86dda..5177eb9f 100644 --- a/src/locales/en/research.json +++ b/src/locales/en/research.json @@ -23,6 +23,7 @@ "research.publications.autoGenGraphModel": "We designed a new method to solve optimization problems during graph generations according to various object functions.", "research.publications.autoGenQualitative": "We designed new algorithms to combine various solvers for synthesizing test scenarios represented as graph models.", "research.publications.autoIsoWhitebox": "We developed a tool and a method to automatically generate mock environments to isolate the tested model during code-based test generation.", + "research.publications.doActivity": "We analysed the semantic details of doActivities in UML state machines and proposed practical patterns to highlight potential issues in models.", "research.publications.faultInjectBlockchain": "In a collaboration with University of Coimbra, we recommended a method to assess the dependability of blockchain systems.", "research.publications.transactionBlockchain": "The paper highlights how model-based methods can be used in the performance optimization of cross-organizational blockchains.", "research.publications.stratForCEGAR": "We developed efficient algorithms to improve CEGAR-based model checking, which were successfully evaluated on verifying embedded and C code.", diff --git a/src/locales/hu/research.json b/src/locales/hu/research.json index 4182f4eb..987fbb4c 100644 --- a/src/locales/hu/research.json +++ b/src/locales/hu/research.json @@ -23,6 +23,7 @@ "research.publications.autoGenGraphModel": "Olyan módszereket javasoltunk, amivel gráfok generálása során adott célfüggvény szerinti optimalizációs problémákat tudunk megoldani.", "research.publications.autoGenQualitative": "Olyan új algoritmusokat javasoltunk, amik többféle megoldó kombinálásával képesek teszt forgatókönyvek automatikus generálására.", "research.publications.autoIsoWhitebox": "Olyan módszert és eszközt készítettünk, ami forráskód-alapú tesztgenerálás során a tesztelt modul izolációja érdekében automatikusan mock környezeteket generál.", + "research.publications.doActivity": "Az UML állapotgépek és doActivity-k szemantikáját elemeztük, valamint olyan gyakorlati mintákat javasoltunk, amelyek felfedik a modellekben rejlő hibákat.", "research.publications.faultInjectBlockchain": "A Coimbrai Egyetem kutatóival együttműködve olyan módszert javasoltunk, amivel blockchain rendszerek megbízhatósága vizsgálható.", "research.publications.transactionBlockchain": "A cikkben rávilágítjuk a figyelmet arra, hogy hogyan alkalmazhatók modellvezérelt módszerek a szervezetközi blokkláncok teljesítményoptimalizásában.", "research.publications.stratForCEGAR": "Hatékony algoritmusokat javasoltunk a CEGAR-alapú modellellenőrzés továbbfejlesztéséhez, amik beágyazott szoftver és PLC kódok ellenőrzését segítik.", From 1761dcabb195535693021d4ef8e1b41a74d81cd2 Mon Sep 17 00:00:00 2001 From: marci543 <17354718+marci543@users.noreply.github.com> Date: Tue, 18 Mar 2025 12:33:59 +0100 Subject: [PATCH 2/2] Use non-breaking hyphen --- src/locales/hu/research.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/locales/hu/research.json b/src/locales/hu/research.json index 987fbb4c..f2754d21 100644 --- a/src/locales/hu/research.json +++ b/src/locales/hu/research.json @@ -23,7 +23,7 @@ "research.publications.autoGenGraphModel": "Olyan módszereket javasoltunk, amivel gráfok generálása során adott célfüggvény szerinti optimalizációs problémákat tudunk megoldani.", "research.publications.autoGenQualitative": "Olyan új algoritmusokat javasoltunk, amik többféle megoldó kombinálásával képesek teszt forgatókönyvek automatikus generálására.", "research.publications.autoIsoWhitebox": "Olyan módszert és eszközt készítettünk, ami forráskód-alapú tesztgenerálás során a tesztelt modul izolációja érdekében automatikusan mock környezeteket generál.", - "research.publications.doActivity": "Az UML állapotgépek és doActivity-k szemantikáját elemeztük, valamint olyan gyakorlati mintákat javasoltunk, amelyek felfedik a modellekben rejlő hibákat.", + "research.publications.doActivity": "Az UML állapotgépek és doActivity‑k szemantikáját elemeztük, valamint olyan gyakorlati mintákat javasoltunk, amelyek felfedik a modellekben rejlő hibákat.", "research.publications.faultInjectBlockchain": "A Coimbrai Egyetem kutatóival együttműködve olyan módszert javasoltunk, amivel blockchain rendszerek megbízhatósága vizsgálható.", "research.publications.transactionBlockchain": "A cikkben rávilágítjuk a figyelmet arra, hogy hogyan alkalmazhatók modellvezérelt módszerek a szervezetközi blokkláncok teljesítményoptimalizásában.", "research.publications.stratForCEGAR": "Hatékony algoritmusokat javasoltunk a CEGAR-alapú modellellenőrzés továbbfejlesztéséhez, amik beágyazott szoftver és PLC kódok ellenőrzését segítik.",