From b68ac2358b190b93d56afa3562cd463c814d8c5d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Constantin=20F=C3=BCrst?= Date: Mon, 12 Feb 2024 19:03:21 +0100 Subject: [PATCH] finalize draft of chapter 6 eval --- thesis/bachelor.pdf | Bin 1375466 -> 1377129 bytes thesis/content/60_evaluation.tex | 13 ++++++------- 2 files changed, 6 insertions(+), 7 deletions(-) diff --git a/thesis/bachelor.pdf b/thesis/bachelor.pdf index 54e0b039e440c6c908adc4499c5460a6daa8f38e..b75fc71ce435abc3f58b29fefa482b2794b9e233 100644 GIT binary patch delta 48643 zcmXtqrJVq!}|KEpJN-R6Mny;FS$mq;lG7%}(rBtg&XZuX$_)6c)gqe(IP{Uj!q3;Jwt zU|7A?kMp!rCltOXppnPv`RgA)UI;6^y?h*WRl&eY9pGtcSG_7I>Nz=QHb_La7qc+^4}|MAMtnA%2pd=E!QHq5}0~gg=yvsuza&QDpP-6Qd*exYh_Fehbg&hQNf~_ zbBhzBOcDP&*EJ~~6|3yko@JY|DhnKD$=pVvofoPbvbF&( zlaMd*fmM?jF9!f`0fL8KaJ>;4<2n`&v?orMyc+3VBiC^wVeTuFP#81^7z`9SaTDQI^3{pJB{mD)Pc1Zo>{N26wUH(-_S-}0=+q>pQ3aI zr)+K*iux>#n?x zvSUV3|LIw>8NCY?HyxRwui=-TfN=KKdHfp7#hu%TnBj8?2srSA=#N*NoLmjHfq(hw zsGLDkyTZADxDd1a^HTuymHl3|D?nTRkc31&IFS3=MmuvClo~}qVmhP6*ZuoAxni08 z+I|9PzE-cr)iAcg@C1C5Rv4Kmm7Y5;S35~r!qFL6mFVd?J}-s7hlE?%TDH^;Cvk`z zGKev1Xx)1{pwY9rBTT_Evmm1e^snGYcFUA1c1o2|5(MQo54yEns7N#Btfqvcv`zDh zUQ>xaTJ-d}vgPiK0^zb26z`2@po`C!+YSP%p1>EOMYI%PUheB2!?_U@G{lkVGl!@s z(G*ZiP6)N+`h1X3U=W*_#(KIS9dDXEx!-rglZpO(EpjZ2MEE_ebT1os99BXmIF~nT zbs`{#RSyXG>GmN%KmBn5au`Fh{8HQW90!KnK15*B3Q;>CLFV#>szB0lM9H@q^qpOuJA>0=^vq{-5g(4X~oSWslc^?6;ldVIFDzEu4{x2H?cu z!Zx6_FK7QH(83F7?T3M?0poC$gptyif~JJgns5+2X zVD5xY#8y{DQ1SJx0JA>Mvza%$37*gS^iZHLPX|JUY)N(`6=rp0ww@2vs5r@&|49Ou zMPCPA(NfBBBt<6$mSH_Wji%RP02n|xRDzy?MSNNXP@{rE__K=UPop#@rY*$NgGvl$ ziJZfVPBMrqXz~K%b+qQ ziOR1`B`am%>WspZg($MC!A-v)+c501?5a7>6f0$Yz=uf0^N426@S26!0i<1wa54+j zLqm0Hy+N>>Np|IiV&38(N`wjFXp57fY$lIAc3lJ5$=1=5;q@sU(svY+*!qI_$%oRp zeLD1>gPYQ-=Fv1AN;>*0ajitwt~F#BIBU;ih9Tk2k+FSfl~AS$QJl6)F3YzAjiuwW zvY4ua6xQvqGM&|gfGWJ;0nL!o`J8;nLf-n#VS?qbJ4l^k+Ay82Ilmmhn-9}45c(xw$cO@PkN zJw>7AZ%I?VcTewnC}%;cRX^1^3!dYVYXk1FlrrLuO&$ ze6$4)N zOQ6c$ZHT3+fV^!#s8(NpY)%y5Bk5MV#9YDHTpTyZmIMd}SebxBi$ftbi8jM12r0%d z!Fo6nEmC(QRQ3J4x$7bj8e^8S#MaDXU>w@mDY>d;YtMvaZj%XHLCl((dAS&SigJtB z&(S>Fy7~O1xxalt%xe?OwV!Ld5*muC_wMM}L?HFN0N%KzzvU0Scsm{15$=US$#MVH^CI|J)9J zyk*T<&Fx{0r@HJ%iZ7Ohwz%+4tX9odHh=_GVrgF zSc)XgG)(m6t;ZPRcTAgcO4@3EuO;1L;z}A=s+(&x(^lo^p$K=r+t&w{pM9lfig-bALWLlk8 zabk4NiwRwxVOKLaHcT?65-|T7D1NYGU0AG6dNAu|3UR$u#PAXl22}wDNwTNv9vJ(r zXP`uHogM}l=;PLp*(Ionrh;XR5HJ=cH|I1Mp8bvlaAL2|fs)3sWHyXaapC|3E>dJb zdl1L90)>zd44ER?yTqhG!alwc#$JwlyMAWaVxU$206o9$=0Tb&d{x@v#_B_qL(5GQ z>JWkLzsl&~MNDjHYr~8LrYshe-ZLJt*F{#?O;W!LY_OZXvFMQ3w?$TH9s?f;VIK>T zPnWa|ho;+F{vx9uLZ92{K?dqP?CUy!yw?gH{qBK%+nEC+;`BpDQ^_vRP}JrMLcfJ7&3o$;|k*^ND3FULCru~`PtjtwMZ zm6m=&y1O9`cqU)?uP)C4Sc>sNpU1UGhnj(6c2L-_@n8X%^q|rQVc&E!MNIHtL2GBM z++<-&GZa(`LN#=i4G0rKf@g?tBAJ>zn|wpg`BZv-O=iLuR`LtlOHk4SAwSOtiSdnr zv1`O+uj9h95^9?Sh}QdCnFN3aYR|6c-;+|KR7NV#(lX_H(E&37hH;Vi0STvNZxPi4Pt^Co(^;mf>0pSNNEY+z^Fm@ zZ(;Xu!2bdAAE5sM_8;K?0r4M@{{i(M(EkDRAF%%c_aE?W_iqS)!@<~Cm^l7(D|7(f zls#G7Lv7tTVLHbiq7jjirKNd)Tg;oqakFq@5XWDahr6&k6ZM4a)p1)$C?wC5h58M% zhFwOPKfmk4uSZKaQ%i`9i}otl%EiB}i~vC5Ma23s#$avmb~n6_qx09J-PZ|CaIDBW zQE=DE+*#C{K+NP;6U>FGU%8+Tj4{CXrESFIyEg|kg@(`x8`^Q(A zWYV+ds~yp=HE53ok4ND5WlB*oub1yfrl3`rvV6wAXs_4b=kuiQVqkA^PBClU4Q|W9 z{IYFkoNesm`RnTSY3Yn|A)W-wd643SpeDs%C^p&tN#;)D5}8|ros7JH$q9gKV#ZV1 z$#0usNl|Q-f^c-xQgCIE*WMf|OZAA5Yay1|TsRA*?k4fi-rhVW8U)CT;*Z^~qv1cS9k4)`d&)og*SjJtU3h|21L1Gv=MJ%uW4A6i z9bnG3R%sQ;?uvs5cH$L_)KUlYur>!|GQHK;fCXUFh?Ok>^e>SL2b3iAU3IM$Lgjr? zQO79Gjrj#+DJ8db)h{}TI)lV3&bfFLz8#2&Db71=s`Uh^ewqM34GsWNw~us^E`Rz! zZNBZzw87*3YtfJBNuBUC9}l>;*buEe)TH@dpRu(Yp&$4Wpl4 zVL&AL?r+fFJ|(7>PkNQIk8?0k~P z^t}B?&1CPTXYgx1FKmmPClOSKs&LP&*^7UXlP%oJ`R7;#O&g5069vBetgnNNI;54Q9@yIr)^W@06C11hlPx1a8(yP*3Y{7XzpYn*u z19fkD8iBQuT{AA-2IbOd^Do4lELA7hdSFN~vTOS7&8Y$$?)Ss!FnSQ`l_h#&O6s`= z#C&j=gNZ~igzlrmxY8Lj6xn*&hx0!kZa`eJ(!`RNE?w@bH|TXbn$MqJ?Au1AFf$na zy|2XO)3zH^k|3esBq$?|s@*eIO~!9$pk#<9C{Hu-E=ll)@j?sg=$1ZZWFFTm_RozC zYQ6NI?RfyCTqJAMZ`#zUD-HDoKuJ;ACa)jNBFGxiH-51|`j`LB4cfKw+`?F&TVmEvnvzGUD=j?xFQo;Kns=2BvE)$d(9XFMCLm;XTJ3pGqbry) zD5`QIQLd?{PM#W#@opA~w7m9Q9m0T<|6w$!XE0G!19AktS`yMqj}V}^L{j#8+I4J zh$x&^{QJFspSXW*0yC1|ue?&L8-liC63|dI4Wujs?kSNe7#*cS5b|IjC-KO~s_qZi zDRuYh%vHSrn-oJVK=(MRcNdEGJ)11@z+P=JC=bhk^^TCr=}J>j&J%J<>*wmZT5sy_ z5Gz?xBJ$L32dC&xQq8btnGRwp?dlF)0YysVPtn*7{+mQ@!c-?I%=c)RaZ9u1%sbRp zK>|J?1u?&Eb!|kIaK*`tRP03iM7aoh{UpMTuG`S5h>&XB2$$ZkYYfQ$3q4f=75+} zSi~H&?2$%z(c!ronifx{V-L^|<1{ zM2>i0dPtqXQ*+fTkx-LhHwQ~_;?si^T%fHtT< z=xIna;KnK%QZ&C07w;bLwi~ulHvF`wJZ`IA#5Qd?=n^RW3Zwx5zcjyh@+=Csv!C*0 z;%Iw%2b#Xhe=vJ|%%6Cr?H55_!v6hx*&1E@lH0qh(`@%2?YOweZ9@HJAWBDLONSWR zFwJRo9W9@^(~-e!YyL9F@tq0kI2y9qgG`cbfkmy^y|zzL%;QQN9A)GFWB3%smR`v8M$zY|Z>Ke~+%8x|lSOD=q&06gwxFYPbb~lV^O$6` z=#Uvg@Xn{TP;?-yU%B0KDDSLjGC8NMcJ~cVUfzg(j-diHr7sOsOC%^q&sx4I4=b_4 z>GCG~*8QGEPJxjI`-(f#h6#LJS>$`l^(jW~qVDNK4dcT6Kt?)>2E^Q{i>g7gZ-kyN zjN;&ay9KiBK3#vSE>$Uv#}Q`o1zg5rP)4yU1xuJG zLJ;Kuugri_!7r+%y#LzGb0Ecn$^q_53h3p#NsiyjFl;}E@}6-Zb`J4okL#KI=cOwo zgXm!($va-qk4DJoD+-+*8sIX03`z_b&GxDSA$}sU6QjGG8dEvL5pE=BZe}?WSyP;0))zSWlg<~6I^uqXcWQzgjW9*_VN~j9KqrRloW_S$%5cVX5Wh?6rd3*7yKC_j)IgmTg43IVDYIm=67g3mU zyS(H7mRL1^ryjGRvVyGsphV>?v~=#Wse@}+Gq|S)5j&ghL(;oqau;s zZsure5cEG{iqVXToiRcEJBaY9Iy0n{UQoe-QWpJ89h2NVaT9Bdk0Hlkht);JcTxDa zltA>_;ATAHN@1peF;jcr|1E~ywmN63qSU?lfXBiLdE_BR8!#dP=TU}v77AF6zA%GS zi7bmAo3Rn94=|88x%c?vL6H`9M}=c<=(Jc>IYO;7IFJ*>9T~FY)suxaX49%=`{|dF z8#I*=rYUd^4{AlGzGN=t|MQT&a(FbRx7Ly@lc)N_8hE876IiVq)nMCj8Ywm4T2o!RAxJ049NzBsM@(K~eP55O2G2m5wcfAZp znvO|^l%KUX>bo4fj@)H$R_2)o6&vU+kn;U>86Rnqjv z*bIKE-ki5fFOh}lgOuCoDG~89) zoe}1~je$F@Fz?J&ZUgj+`18YQ)ng7v0HUA@6ghUd<`0Ue>5H~o;`THv zlo>);|NW+9hS9Q1n?z4wB6yWh3++q!qlwW2O-)fkT6GaWMVwBhZYF zt}5;Xy8oWxLfo#*!sXXUOA9*F0EPKoXEdsV$ODnAX|l7vy+ z+G9rUQki0&z?*eV5vGh4e$YGza`+&bED^LN91!0}eu#!PSW57O1lZk&NJKe|1lmNr z%p^(HJ?dW~XR?%R=7oc?a*^b7Y(V)aieON6OeT_nr~c?)Og*AtaTDj@`*e9Sbo%H> zJrQV78qWx1d})+!tiSv7AW-Hc?=AiPveCR@>Ts0r`_RULly*hTq>iu>yh0QIz{X)w z^}TS3P)Fp^E^o9@G=wEKjWS!%;se^VS-=~Sav86@5A^7^A_l?ff|)6q%mDQe;hoWh zrcm!9TF`ZB!mxjRkyBB3lkL{&x<^QfNV`?dnfJYPwIaAG<+wA*d>i9YslT#aX`QPT zk+tYS+{LKE_a{f~z|gobiv!E>8bSZ&U}uX##pj0(i`@H$cqv=Yw_(H|UB=r>C73v; zr=yBrv$+;mUlfJwATwei%LA}o2$UFD1H)%Apgeo;VGEg6a^TRYN}bJ+BvnFSinE#- zlUbMJ)QGmtqAt0B)W}f(-r>DL9#EvU3zmDrWU|%EMaDt`vr17rLP%MZOv2GNGVmFX zZ789_qY3h=x(6^T?ywutNy>KvwJ3_$q7|!z(m@*0T2X00H$&*Ao&w}ftPn#5X_7@t zp7Yg@gUr+lGq5V-WD>fU+=T+$JE;078|3uMB5es$PJw@)rx*+0{#`Yr^z2L&+l$?u zf19f28pculqWAQ8b5vW5!JO79c-MJ{^>e(89w~Bas{+XnOl#_=w!MqvkV^X z4;P25ZjVnMe^>wdsvuU;vzn!hL5bZpsnv_w4q&-~MpKtBpiW90xq_G#)ud+3lHy9g zmFA>i)7ei>3RqjGhoIbv-NgZZa9@cJq^!bO1}!MhjvBZ+z;*c1T|J4V`S+0Uk;Q1* zlV#5f-wFxVnu@FeO3+)gURw^CHXO*Me&1VZrzgrw4m1mkXgxvRi^(wr{eC_xh4}M_ zI&gnl-rO}1V`(C5-rRqI9_xD9WGS|m(iBz^F#y=GH|tq8T$gt%hC&InpV#De9NhE; zd6dN*pxEzy?M5c*cuv%@)#Ta3-o}6=uG&8@vGO=2wGJ$04qIkb^G_U)jP8Eh5&(ge z{XQT$$aRE!{CSyoGg}JS5Yz5^>i#Nh;5Z6?5DJoFvtnIa%AmO)>S4N{)|geu3#`qe z6hI_09rsj_1qxFen2$0eUQaMAX{6s2?jK0HI9xw8%4y2&s%b32m73 zf?l80U|9Ru=Ip z6FX=Yg7vbFyFiS>oMj50kl#d#)0#g2BB1oE{Zsb5<}P+s`ji>B&?inR1kX#<^~xA^ z{jT&}JZ{MybVB^T9ZxNN_v<~s++_Kse6aa90O5^fb>W~9M4M{~qi&f{wvOlAbgrj| zv+zxqpZ6+`H`eglx!dpS6P)7N;J4@7e}6n{ZBTf_U7VG-?v{Ip|4-+JkvHwFGaytp z=!i(_`sGah%cAZ3Ep2C`TyS@zYHWz}t^g)Um>*AGLHy1U>LE6>j<+t~X~kDbKJ-U= zsKVuvP_~~$LaFwb8QWNAWT6}9h||=}Atd4J!DyL>Ai6gK@?YZYA2z#7ZQUk}lMYcD z%daThlw8@-WwcFAq`Du~CLlUd$vCN84jH~MAR!FOO~M*{?g&{@8JZ+<(2}5N zR2^l7aIyupoejb->OHa&<{>C>^H<5rfe6P(olSG@LNXraH@|o!HNz?=93Y1r{Fi8@ z^3eH>R>_1=Y*P`xW$?4A#j}rab!uq zda{gsH}Ml1W7HXYMcx@%{SDec1y@5Y;89qhiKV$QE9FH)Li1gXR?%9V;To%2Mdn{( zpwj^P133O>dE1!=@R0L59>|w%r&y>898P=a$%6fSi3z2 zA_LY&^ajbmTT*Ed5D9fla*2qza;<2nUbHk9O<_R6gxKe^{ybJRaC_{kxA2k})Wbn= z1BPnO!EM%HDm)4fS&_cTp)5rpy3ay+lO43sZjv?B{-R+0!%&yG326H>Z%kVg&uGUa zRfQ7ySC;Af?y3Px^P09d&L&7L*ckqYFlvnof=*f= zbmne10fsA%6?qzpaAUNrrtuhf9%ER3ZReRF8zTVAdJG3nyf~( zv(B%+D`1_r46*$9T^)oY&}t_cCuHQ93>U=N$P(xumxnkvx@7?+Ae3VN8CW29(-BlK zvY~&^w*8rajmQ}{oC(aHs^F6tA!$_&$Jz1q@iA8WV_cl#y|qiQOY-Dn=*&WNrm2w{ zN5`Fvuy7jF1z1Ja^~mcTGk@m&BDk6lI`v3yrtXB78{!xn?Rz7-EpXR%h^$3r;rT(^ z`M6*pe##WXTd*&7ieH82Sz-!dTI>IB{4lM5 zQb}vvq#?+>g>}W)#1N9zPfVMPOPsnc9QZH9-~l*pUq3+DA+lWm;vIhd?>+U6mr0<0 zx{Z-^WJAnY9Pr-NI)@br=HVuFb{D92T&QBy%R}H{!Iz^hqy;gXjPv3hw1(=Mgt?NT z5o$+x$eUt3@Kbg>&G;%gsTeP9H5*%$4g>Vn+&E=Ut9i0!D?farK~l+t`Q1`BR(Q-cp2j=o*X#d-xh_`FoGt#`vA$6sE0*wRxvsLV8ChM?*cn zozDS8?gqOaAt`P6`#kwW&^uD?SQjRu=l_>we4|!eT>o?o=qF&SI_1Q-W!J>+F|!yp zMF69?t`&&GRl(t+6p5RVNNhU*Te;};86T^$U>h5Tc}PS41L_XsV~MKodg*B?7kz7@ zQcoqi7Yj{e38$z8vTWFv_b${p zmE25C$c0g)=SxN49k$xsS>8c#DDRTRE7Zf(&?p{U-ai?icK-BU(Su>Y-OJtqhZbF1 zfA$PjCVn!(NE5KA5#9RTf}W8q%;j-&LVzY@IutRbOY(LM^!!m}iu*W^kq-vP7*#M3 zb%E~5B_1QrUa6+6`eueklVV)_I%I1Zk_3HScE7eb7j02IbNdW>@7}Uy(ZKBQXOYDf z&RxQMs%=%xo=N`Mizt~wb2oI4@))n-+{WP#&+daa>=q^D42$B<;4S`swx?mIpV8iR zK->59p~7Z~FYO8BnXcChM7FfPH(D1Pt-G}PrE|qdP5)SD;R9gAZY3>%0|7ORc^C0N zklL7ckUco%|0wm(t>FUU&3{V$Hq>$g!x1Gvx$8!+ zkUcySCLG;>LX2!(-ty}=d$I7B2?{KFWYr#hGdFi@r_Eu{=hk#{^Oz`ko8?* zBCS;>3hAAKJRwn%RHqk#*kfWbPZN5G`!_Q-*+3WNXdsCRK{uGVYs3=ZkP>%F zSp(~YJflD?+Cn@A9^)L{ir6-jQ-Zk8aVXH-|7h4RPWMDgMnR8E(jBMap)`3HD zzpJXo0YeDG$N-!72RkcxP8`A$ZXJG)2Du-0^{-T5(Km76J|8xC+W@WoHZNY=8CkqV zc!bG=M6eoIa89V6!ZS~ANv1QNK)97^KMH|gZ8)~7_#L;)JP8B9LV-kL1YUd^ zC91y&lR2&TZ?9fEj0RbX>{NtVWO@*0g+3^Xbgv^gyIcUspmZseU!Y2%umF3C#>2GZ zvJ&tlw08=6$$5Sf_I3SSl$<)GKE}pIFnA)$hGZ-}7P6Z$LqxW(bpQh*4K&R_kZ~W^eLN^0nIswsqJD zpv%_OqyuNriyCBD+LUBNXV6V`BK$E&?@I4z(g-Y2BOqu6h~fpVZqQho@43jV#|> z7=~Y6KfX-PCWk}7#p}Xzy*~v+-)!t9cH3Js?pyR!c5dtyDqm0mCgbovDM$G|Ccg)0 ze3UYUP}qn)FcFu`UC^?Ut&uzs@v_b-932?&pX&9@1RgP}21Zu;8K9y8sG9kN0)0K8 zO1c1TrdZH*CIiFiI;H>-PB_p}j|D{hQ26vGbCfjcRhbe1N%E)AKIEkbGm(?Fk3zpT z<7-RzF8CEB-%d`PIL%(p*`jpnnPFwp=OyrMY}HYRqo?qXwb8u6ATzK9Ce2EJfK^7p zC-B+drY}e%O^R`F6TI$9g}vpXBSv_4Lb7aRN9+1EwW9?`A7{Q=YXrUTlc@{MKlZd> zl)!Dw5%lc)P!G?| zJhde*bLGB2%qBf)&poMSa7ZAnGD3VxG7_GJw%i{8J|2Or6=$s+j-m^(%xzA^O&JqD zy^vzrz`PU!2_XXNW=Z2oF487*wW5d6{cCb&9o~rkbMM^HqSDmMx}l{d?Vpa^l_cYz zZktldq5}*rY`=f4>^aN)PZzF<39+N%=PZMmQJ^KfFfu&Dz#it!|9HMtun^7-b1o?3W(oLQfBtX8kumI7 z1+4J&^4Y!KJo&IM_7GmrzNRSE%03RvF55Z4HGg$dwqj;xFJkJ!H( zz2Dtsk@CtQvgSj^-!Mw$1{!7u(ra)OKbxZKLxV3B0x*h2;(rdt z&?510CbuxMC*2w7*?FAv2tFOs{0vE1soy*=TJi|+NjzIE69FvY27u&SdTT5LCX{Qy zCe+&#&5UU$#F1b8DYlFHQ?z&eX-0dsSLcq%#Mox2yZ%u(rEAPOyGq~Z=a^HGw6qKm zce>f?ML!HN(K{7>VVJFUMjrkwbM`GvwCobAB6w1UE)7@ZxEdHUTH&IRSvW1;z=P-K zx0S&QJ$?!~iqNqs3O2{1Gbw-l1_}mX5q_{EJ}%6+`oAp$?-wGn(@Tux?kz;YexHCN z@2txE?!jU23By}wxkf^6a~-!yK$HRJ205O_bXf_@{K$fw$F;D&w6RCu)D4?=?}Tb*eBn7NB;lt<}ta&)Q(jMnuITh-MJ`G1P1}P z+p~iBwP%jA5GCp)EybKWK7Z9`IslV?O3;NgH!O36UzhAosS$MROnlzS%k}uXto*4d(!~FUC+~WE~&W%t8CI zwZ@~vE0DGZ9wc%!SlRy5B|$-+3tkLkIcRld=%49MpvZ)4YwW?(4kw&br&)O7Eb-s0 z_71!^9EqOA*BNvbpmy~mEgX<*qSnG1%pGU{jQVH-({9%H+Q*xAoY`0Q4gq-$CwP;b<#9%f(16Tz3I{7XgS z-|g~1F^d83Dq(MYZI2l5q|qbS`0qiCe&i>sO=dw?Nq-^cQwR+U^*euPhD9#_C4~Mx ztw^Wu*eluD$~Bt5da7d2_C0X-V`#UxcD};;roI=sqaFZlA}{{%t~8e(A=qg{S!KHY|n#2v`}A(#Xgm!xhu8OHy~IqIU%Ev z?xYA-JdWs`HmPE0TXl`ke<-K%Jz|c>uBkF!WVr<|IZ~gVH>O9-=ZEd@>}hW~&D0D7 zI@t!hR73zqtObE7BUfFT`f$7bqU63JJsp?0Qw8*T+2c0N{#xQU0gT->GR}J2OsP7f z?(YUO^Xp+<^8(57*$bNVlY1p57a7JN?OP;T_mhfc^?nh}DHwfdT35D)q6qy1TDJp@ z%XwzE^K>3pxgDK~EG9S9Q~SZ~nWUM#W*G|^xnTezGc;3VH`;mremh7tm08_)wesk8A4xw-ZJaP8}x;hc?WUFJ~?$p zeueGBp--Km2ohH&IAbV*9dIOvL$mLMOy!ZElD|}QtD^=(3HL~)QQlcFs3puMD-7q)v(y{ybK>95=Rr}%~ktY{# zTkO=WG|Tf-_)yqNg40ghzzKWQ9GD*}1&EubSibR)1lFaqM-NJKww(j|Dtp@2pNLJc zR3)4$H8B7ot;?dDp=DCsZ%+BH1f1-)n;Br=ox0GWA|?)GoPSJgzg&yA59wdw+Yj9h z=5Su+sZ9ujK6HeaKA_w%+P{?_`CABNFpX3?k?loBe^?Uw$cW0K2U)!(oWM5dQWP$R z%g$`70^JmuLYm7Cg!ius!arAY{-Nbc*seYAD5tU_ZQP-+-wnQ_4631oeL^2@L`l;SPhxp4g zKJ-@hbhgx1)d)#0p8W3d{(Y7-Xm~7)Ux+er8Pp~WR)&x#h|q^u;_C3;Sf*Ly_IY}q z6no+34Gzw-@6qq{DGHErOI@_V!@lntoLl2qJ8X0Ge%U3Qa=7(Yk-?uLJ9-%K`SgYH z;$kpb1VP!`Q|$Bq_x$|u@$5s184MD3jAL9R`291s#MpO;_}jmx_&-xMVZWyZf(Q}^ zSZ5DUeTagBKPS=}_Vc{-6=by)I|B#rNcuWYZBH7a zWeaLx>tOi^G+@Oihy9@>4=NgYw*6$dkzUWi;i|g-XtqgsZ)X)3m|+@qsiH7Dqj4?ULOC)w`ULPT{i-*KEp3Lj|Pi)GJIaCBB{%u3Lg2sm|vOkKY zPHVIYMg9>@SwHo`{Fn1(F2LWb<=@B8$;!~vR-WM`hy(#&s6s?R$Xr}FG@8O1iHLIb z*`7fr$rC-cB9VmgNn%9W*04=P!Aun+YLy!jK<7fP2C;MccT3-# z{wm_K?QZWkl1val^m6d=wRJXCwTRreOG?3AgJhv&(Wj+8a(&-0qf3W|(W7T!^ujuW zjrkoBj0amS2a}bO{0;h%5{8DX6ckP9?k9yz-`S4jBoL_K;9*Phh&=G*yWZ0nVifWO zxSUe66=T-OkYl%M(j{dsm1xW7dDzRkoST>!xjc3bohLa7iHR@Lj6)|W=|9||ZYRZj zFGZcXV#U+XBa2IYhWqhbhbMb_h}4=n8lSgsJtf!$DTNL(y!@kDS!QpmH$5#wMg#9B34z zE~zAw6POW9{-bpwo|)!Dln1Age2j)YQ_f5R@%q(pdP(&h2rqXIv#VYMUaL&80aNpD;04vgm4gU!qUpGGvfy7$~(HPYIV+oN`Z?>eO6 z5s}n^9sZPbDtF*=WyO}o$&IU+ah&c&suVRC?@Hl&D1~HFDZ=CcwO!@!Z!N{X31M@$ za2Q-z5t;P54b~c^GaHC!)cha@xT6biv<{S1%9|P{oqO$aI1{tHNul2HTy+8EF&B$? zy4sO&jUBOcw084$uvNWYN)dDvkX~4(Ka*A&dC_z+nCl~&o8?)CKBP-6K8>E-noh7% zwxTzcF2EXl7+^NAG30$TZ`JlaSRpZT&e{0H02d3DZ+WA@bc)wxDzR7t(kfv>ioBzF z=y?n;B_brTt>R5>VN}*+6lf*i_$tL*KQ&si9-uabYG=s>&9kN2IWgtyZZr*GXvWV} z-dUgvZfdSfNs^m$-qUv^wIf9A&5~@hZNET;<0=c%2yk)e3eJ^Z^;Kgb-VfnUrA;n1S0DfV2$) zYAB*eakR|_Wnw!G7b_HNES@A5ihQ}<2HE@P%Gjp=CINgDcBqU2-?K-0WdousYr=CV zq?r%oNy+RxGXqs#Ik1*T@?#ScPMH%WN;Erb4wl!MG~Ck%97;=aI&YKJUeZ&c_hv}5 zBg~NbFvuI9f7^Aif)>V-sZB-HW&~L`s}d1kBhjII^Ov5N*#-52j|$MMZ2V~I9fb6GC)J&ZUy+z zei>VQO7I0Oo{lzim0|6w-bo^(0kVi4erRf9zcu`)ao!#Px20lUi7LvCYkF#IC6MAT zni;H8<^-q=3qp@It{7F35T+~DmnHS=314%}_3I+r4-8;ZhCPO%9tj05xZryAn(hgN z5*7V9I9a|y#1O3&a#I(DbECTyO`MZSh=f`rip8}_ZBVJH6d&iRPKzOK>W=zN8CfZ< z81gx~4yQK2zfgg#n0}oAhkjX|ns!IX?(jAtC$AR*>eUOX3hp|v8p}eqN(}pR78@B7 z72qk)cFiulG`BGW&3z+##pB|Kie$^FN z!)d~?O5Bh+7KiYS2lwgT8#y!!8wR*(|LH6;t?(rPGwj-JF6bW;j&l!H)M>IK;M?OM z1V`l6ONC;3h&9NWmJl`88lLiUPJE#4S9%DiB*dXZ#NFw86Jo3a)p~4cc@0bcm)B<< z`4A1u%8FX=5EM4Xo5HNU6r5ABfLMOA=97qP&)_W^708|CUO~Ob1`54rfU3^4@p~AbRs~9N3Vj!uoppUJF!kPlrxL!hjZgIP*4|lY)0B|v zAE*Sh?XqKNovl)5-Y}ZW>G)1!Oq(eEF2i&GPR+!8_iFcl|B@q9EI7%^o1u(Ozl%nz zXLLPAl*(%mdWNayOw)mbzw#l0Wm{gO{UEyhO} ze#?au=fC&{Cs+oYFG*m*;b`Y7&&c=5xBN`LLSm8?M|Stir^UDEyw_gcDT6{n!H_+f zTI4dd{LH|m7DVALgqmI~!DoqRje!`t^X(ibt%GaI^f}ROw?eeqv=J$(N&|6(Ja4}>mnt{hJ3fZ9%|}! z2Vg;h451IcJ^$+0c~`gnxkJR_BiSxps9%=6zjRq8@6vu2Z>zxBU9!1EZ!f=uGC_V} zpe~EFILyb5dN%XpTd9=E}qArX0+4^cW zkp(kKL97l|kScIEK&35$=0F?2AOGWKBe_ZpL3TwKU8c?gdB4Eis4 z_0~FF3|@q=>k)6Jc3uzStzULqK%(qM%8U5h8RNfVS5$W}nksV%KOdP9qXaP%|M zBo)`EdNoMf+Ej&0J(rI0wi`pocW6awD8ORVj3i;2wVfZjurjRigo_IV4y#5P;M4VM1C%f?aYBwaB04%^?qX59BY9>@(NU%Wkhq8|a+6s6$=AXr* z0pC7WjQ!AywL%L8XT^O89XnB}Ai~|{>5DW>vO$GqLNX-CmFen9p)x=_l<^c&_P5HRu=2w6exHR=c=Q0J* z0akfK#cJwK1#o=)C7~aC%Q{Czfo#Ie0FZp7d;dQ?xH-7~KOWp1-2V>`ZjS$O{2vc) z4lu?Qs#sI&F90PBxEB!(2)@bz#Df>|J}&rg94-a_H;${q|KXr2{vQsFlK*ZA9wmehPo*>^5Y~499;f!YyVOX~lU98Ue?Tz@ z+gAgy{sTq3=D$$xYd(hmMS{KVe>EV^ice~|B5dSbm7}u#_)WJ zk<1k)C{vU4+=u75+=;*UW`%|rnY&d%K2&cd4KKlaUkpQNg#El()y_?);DWC-dcS8{hjmG z0-t_+~9f@qFe$@Jl*tGo@rFuQ;|+)Q_$U zBr7`a@Ka|HbEUJON=j5Fndf(#@c`I>WdRz=i7DDp$elYo+F|CKB z5Drl-#N^K?UYM28qf&9QT%adA3euO;Wf-y(wVCk70g~R;HU{nzE6RkN)^SXQPX}}} zvA>dowb)ME;b<#sYtj1o@l>5v*Dr2h>?stj;uDxb<;>SDV`(%6e8qC3f-AcE1sjTj zkk)Ey22G84vhdugh$_o;C|8q$xwsY&gmbA7GW5=>&8|XWeX>!mefgw=*#=|Ip_TY9 zT;;|d{8P)U!%%^u&R2qso?HwKau-Y07)vt6t*$pg>p!u$86785@iT(EwU<^Z*n(j2 zr^R7G_465UBaU{e=7@+u#V`tK6q$21saYK(Z0IqTMd-Esf?rUoxP)LU3=%UAoweS2 zx%)u`BOdImb9YbL8D^!=YjTA^1w_`oM)L%D2h&C)i*5qGsqY~OmPH(XiL*B0Q<^~v zSnC=13?lMs?$dfujOBIurCaq=zr@YWA~&5uOLLMmj3$A+!o&_3X;vk>csMi=3fp?#fph+IOCc+hx+_ zjn1%v^4F3E45My@kVQ(+VBgv}=Xj}!2L|FNtKAQz_?(}g57uvR(;(69nHbU`F;wo* zpWVA7YlsVJFFk5}4n*Lhfh>0xBnRJt3hPDM+ELcD!b3PH2eCibeg{NauqgtP^4x^5 zNAeZB8z9`_d-F?1eQHd$zVPes?$j@er*Sf!=&T{N3cFFgCL{;rOe%F%F2jnqH7Xcr z(mR$~=OdjH{^L?rdrmbGirsS$s)u zPja(qTiR20>46#WE@8ci02@G49ADWW_Xl5aI2PO7L`$&=ja9 zzvgGNvFdLcSEDZ0WkV~5IA$-&Kt;Ha+TR&y(J>gABJNO1$lEW5?mA}HG6NZ8=uEe1 z%zw@n8gj1X$ZG$^ufkced;H-A^;hJbKnty6PSL|_zSu^hU;Gpzft_WvGN6~lP2S;3 zR+4Z7O>@J_fnzv2Mxy*Q`^!Lrf-}>`BV{!X*HN;I_gCx4P zhFYc~Lq~HgF%2+NuYOx3IsT^FT2#=TuYw6TFV}d3wZezn=`#3E3Qe|s?AxxE2Lp%d zDWp$b#o}e}ZQSkWNxbTzGY}u)HA+GPUW2;cQmo~ae2(ZTa|ZJ2k~uR^TmZ8RN?fz6 zxywPzaa7s(hE7|)u0_t}Rq>hf!$rlo$^y6vJLj(Mr0BL>X5Y8)n+N~Ab1x6UYr=-> zo9AudvtEXMc_0}#kWiY+rFkh2^Cam7kwxn?bAEV{5cVj>qdf-Y9&~iEXco6j{#Gh$ zsT0-tn^f2%+r1!F15;(D_U8C$roDPnLnq=$Q4R$;Cs<#97havVq=OI0RGXU2IC`NM zhekcJ$}e`S<0y;jVMLa)ZxUtZ9y`2kwckrc0rlh~ zL6`2HZa{cdpBcmWv^Pp$_<+@ISD6n#yJp2?ZD=7WV8b-YdI*nT*Z!+L#F%@)s zOU7?5@42Z+JeKA?VohVcwByIRsA1#TD5 z(lTavUIY#8Twr<3$Yd6WOmGv5Yy8u1nc3 zFy7ZL=9RBLx&mU{c=5{lR<1uY9>yaBrYk9EU`wonQSl%9EA;It)z#+mA$kGZM_A{Q`*vX$%b;!+u1hQEVt zO!T46F8oE`-%WZRK*ToyapP-{gFoJznve+T)orbRfC|$>%!ZncXl@+o&J$mb`A0xn4Vu(R2or+7-W(_%(0qiVK`Ew3 zK)PG`w>d&BIs$_#jJya!*6J%HPo9!I4ch*)#MF=qW?BD`jL-}y=*RwQf9L{0x}}zv z1nyd;TTModhB0LEI;?z*ZZj|v@;yMHKooDbjwshC;^8VA?lR15unuxe^x=0zjtM(Xw?a3!*SUR@xt*Q2lARfX5Mk=c z!d|}0d8XZ?RavA_=FIbryRJ?o`+w)Rc8=Vr;hC(_Lf)c!*& zvdoBy>g96TJAsw^zVDAV?rhcQA&q~93DFMgq{o(0;_|As&3k(GqM-Kg_}7r;oRV8N zLLvrSG8Q%KNrXrnkgLL7=po$YVZGa^VV6N{0Mq#}cQiN9g1!*fMty2n+Usrz-Wuun zC(ZcZIUT+!a^_^9F(uD)CC-WFsD9W0oVVK;i_;wOsm|w%krXfruYjE2V|& zy~T=Q1Q9%;?zduO$u%0pQ#O|ecuF)QecGoKIJp*~)|;Vw#YT0()x?e)_4ur-Dlqzj zO;|gq{zYo@^N6Mz9Y%9$O5}}MvE>-|{q{z_hLydDMV_%gWMC5vE94sTGAI}>hD{HL zXR0T^I*jDfwLK7%rHc%8XsghfiSW=W>Mb4X`4rR>}Og3S+y&J*X*dFRtum!v){_?YsqL!ulnJB`{^96=hkq z>+v1{iq?b{g4dkDL1fcGJ*xF(57}5Lm?FCa{=x585D9!3vBXIAhC@u4n*JSmLMfA$ z0W|{72*{=_B1;*eM_4exy}-M8%GJbp*~5lOZ4ba;`3_5N@E2M-Yd)e{x2kXwJeDghk+6S|16?4qfl9?}eZjJ>w-i zi!AzhXc|p#p3(0yfxB2E7ubK5aX)LI<&25^b*S0bu!Ob#RJM_KC+agVnvCwCyhOTJt zwwTG_*QAIc6MD$6IVmj8YZ^LuP`6}R3RaUWf6AJm^w3c@N?n>rN%zm1Ii#9aL>GQM$^C!5As@(mw;(~p1o$X`_KhVR}H zVoK2QJRVD_Cr*}~TcdVoR0zq$tPK4^5iHWS&{T?-CLi}Jg}&C5xkVD>VZtKiVe(s} z6Fm9XBZHPEYv`Lv)2@K^Kpe$XbN#*Xrca6|>A^Lxm+Tuednj6*NM@PAj zPr!fjG|R+@$0vFI>_c&_bE~j0E`QI!tQaM%5-URyJ}g&9>2?fC+;At^;4>FU&oBv| z15nY z9I~b4*lg0g&`LG@o+Xd4f9w0hK%9>Ct<6wfJoYZ2PXkeGRUY%wP&~G{Ne)3}tC@}z zG4hj7OrAHH666}h5=56e|3jipF^@&kr(uk5az>C`(GbM^AhO{lgUe1Q>qw++g=z!y ze!l3|pN7rNTHzg<6!obcd@CyS4oebH%Ckq**e2SiiEs{(T`Pm>>PT8`wg7)kjfb9C zP0ZO#e}imvY%I}>=4A6BRz*)1;am>UFaTRonrsGzKT(Kn|HC$(9)Sj_AD!5B9<_7c zz2DL28CyvvkWa@w+x3xs1MB%~nP*a}Xrzg+BQwDkOTV1=miQTLK)>#4&ppL(K}V-4 zI7dCA(Q}1C{?d^#z+HH0;s{d)4QeD&e zn^M;-C1yn^!p8%c4WX%B>ah1@+d`3hcSZxc+&tQ`3x2E1tnz$I(^YxNT%#rHp9&-X6%QdnZuX|A z&uO8|AzFoQ5TvG(I|?_-s|0d+v^cc8ceJrd3wG7>4!C!c*E2hGvD>L@Ma0KL>s$v> za_r4?p-p)(vp8)B4$ekjQ2%!NmEED>pMX_n4g8ZRw2T0TJ?c(7cwkBIv;`Vt-bohYo>Ef58>7t`pcr}@X(e!a+ROo| zsMw)`0>qjX&Brg3q$745(Uv@!Iq_9SLBu`tkXt@H-9hh}5OKJ|2ZDF)<$(bSh=lm6 z4NbjL9;}?~48A>c)7KBo>bdFDR54FwQt@8{G(d_$xR9 zloN6UYp?gu#5PObXJd2jAo^#@}s{94*Lp%MyR)nFHn|69;`35 z;5e$sJdnzgVpbKOMaj;~FH}gfki++(!e&#C>-H;}P3wlCIWkJA@#ED};P;0^;1FRm z56caOWuoJN{9K=Ujfomkg2QG|N?8_$oE)nGfka^+*;5=QS6&uGncoA)++H98>FZB` zEKpw?W>pUn5(NROVm<;ceB*z@GZwkPi=HZ}Ya-`s-LBz7-VWGj|=45v!w$&+_EjH7jg<^7|wPCkOMP<3Q zhHIG~U1Tewtbr7FS_b^^+hs}NvPs32#ad*qn(N$7q-6k2AEw^-tq%u4>>mXV%6xUo z=A$~`V`J7*U}hqaL9?RA5ziMU8>SOagQQli=TIZJna(9AkbzUuVkhv%x69QONtL`H?o4gC&7fQFiF3;i7m1D13eVk#71#e->#60r=!j4t;R zOM;h1CPxO;kuem@HVeFyJ>a=DDMbh@o8#IdcH8hY)w`pWdo{h_rv5ubORg|51nqC)-Tb6rSRT-wL2 zKe&%mj{JNQqBlSHtHva!HUU1~Y+OUc$36%dXW~zwZrN7aN7X^AD%0fm*>-EKw@4q) zP8(k>kAeHMA<}C{7PWxGe$WH8!-&1iKtgbovI~?L3mFQH3AN z;&lgQv4IpT9gZXkEt=MDTd3iW=im`W3>zkXH&bQqRb>jpyN;c{!R`7lRE7VEuP%A6 zy%2QC?DKZ2vu!-jJ%bBLdooBKD}5+w84Ry4h)VuQ&n{2x>sPdDz!~c{93xhijo;XQ zg|Cm^L?id>R6&qIMS^S_?4-RQP>Dq4=a~mB<2CZ9Dnu3R5Ck7o9BkLzWV3QyQY<;K z+?P(mq3jKgm-kC)qy6~_a$8Rzj3+YKlCLd9C!004SePf`NX5sOAacO8)tlF&FtJKe z`3bu3b!o18p3&CBB0S>stfPc(3*R$Ey}$BZwPnfXl96r3C9S!9XX16uGZDs3+}Z{; z<^QDpBo`WK;KzK!?n45=J<8rRH6h|!YKh6?V2J$v-NG$#Fs<6lma7OROrj7`5FWQ& zBswZn-zNzZnzPXVY`Vrf3} zI@KO-6WNT&h-m*jloS*PXj~5tQ?=0Q#F2ak>X!I~xHygL(DnmRQb56t^ok(j$_@_T zvIgUQo9N5f8h?t5p~*!(&?MzxCDi4hn9Ry6Nvnv{9$FoRsmkktjI6FhvDZf*!Kx7<3+XEMh<>_Z~Pc6 z9tt0fRF5GpBdHh)#t#`37>=&1C;lO2BnV~8%QJ{HcHw{j*>u8O8m~jzl!${;#N(qO zu#o5rLvKkec~q{ZZ;|#N1_i3d=I_kLcJPxZ_h%8Ecc{83KF-m8ot1i=OB6mBdK5M2 z%FeoEdGeimjXl)V)NBu6)AXJx|1&_gkZDqtVc$k67!wr~E6HGRNC z0V$R-M~y~(^Hu?QVR-bZy>yI)^HtKrU~$ELWqyUeF!Ori=IqDtN10Y{=UQNc3|&f~ zG2OYt5m+Vyv%CxYiMf{7bk3h;sTzwG#uxOuXFCs>dE#TH3%KEdbPh(MN0de+1wlY3 zD-5LH34sxuRQg{A#y~Ct#D^j$bOGPkMoHY8^LK4}ezhrU1G$?Vq>`w=q0X+{nvK=6 zma2n)@QD-t;WEb<2AR}NEDpFYCQ;4X&GC$#=WdN0=NeX7%&L~wMYUe5CI-&w4=gFv z6H}F8g=@hO?Go{__!dY28=^0Qxo!$|Syu4O1fG;7&f61b&x;LkeB#`Fba75gMW(_B za`lqzA@38h&wuBh_}?`$*Ey)Nl-AiO=c^|14^+h-&iStmgAf$powq0`CH7`9KPz1+ zQAC%jrC*`4i|17rmI(=9Xt;TXR#V6N*%tMrh6FPL%dx-BylLoD-~*D8gUJ3|dF{7+ z($9-iE+KSX9L%Bmmf>WchkHHOyVhG|ez<0%Jz3JABc%pzLXgfO+GzUJj7L@8F4uy^ zE`C&%;vh#u31avxIb?L5+^?*c(ia})fAXiaYdQ0#bR?_e#XXCWwkaMr{e<{?>r1Xc zmsb-5>)3+e-wAq|{T-x8(n&nbP^|DEtKWt(Bp>B$^`ss7niURl0{s$0{v^Ol&J)w; zgTorzbqrWJ>GrhUMR1>^g8Q6~#eel?)}pEXWJT3AsRT)Tlqv~~(K)6>_+q1%Qfr!T z=<%dCo(YK515e7L{tAq1y^i92`(7wkfQ?_BKR0+~o{O@f;8=Xr0Z##PJ6=|Y`v7L8 zk;q)S!yj%(RlZ$1pBdQqV<1+;X=lU#I||WhCF@CNX3^NZc(2S5Aj-CqWw4@~FwNIemJU>m_QPLBO*U}LJ)ZT2SbXknuvY~Q zreoi7oHlV|)0W_jtlp?hC2VAG2iVM}^T<1zeq%?Vyf4)BtPWyW&)vhtD)Xbu{KJ#j!?c@{jeVsknQ2n;HMXsx1 zbZNiU`h7TJp)`k6b$M_);a9_i0AuahL48=qAC@wh)fz|$zF-5=Lh^!*>w%(8>g+&oR4|Fy$Faww2#^ZuBl6+HiUv!G z0Y#zsc>X}xQl(|@Y;K=E-VV0;{oEa=!et_}Z_ zQOr)7fI~9*tPBJB5(Wm&XRXNrOxtAc+`3oY5T$>B<6On2#Fx*HF4o$LLF0 zGdz;%>TacmKYd=dejk(hFw~%I%aV*_Xy-ZGMES-2R#hhI1C7*Qxw{p0(f;UN_4KWl*IoZ1GF9{v`s189O z)>nt`^q=^D2U<(z&kXVUJq<^Rmr>v1-Si=$S(fd9+YS$8={_FOx3lGGp{ zw1sdhm3bu*8JvwSKQS+$&{|oRP=JO{Ar?}I98p)5BEtJ zCoe@7WA$FxKtv!0G=p}T@8N;I!sUYl->&CY=!vHsPQG(I>niK1e>PBn55iKycDug( z8i=ncE<3y*uRE62<=rymB(z{*O2jLZfSCsWHR+f?XGLa6_^B5d$uiU~n)+qz)I}%y znfg+*Y2Xm*vt(7JL&)pE)Zu3Jo6ettNIi&k0i;Uo1`zBRG(+Ti&cP$dq4Sy!Rjo#9 zpRU^p(}$R;sP-K=5t7<>`V3Ovy-DBihEqfhmkSrbTl{np`6`m}$?$Ogq2Y!IwRqwu zre3z`OPFG!;S+Di_4eAnn9YS%575skKWN^WapHa(Y6tQh^%-sec5zY?M~zF!=2eug zVAJYv1?VPQZyRpgU|S4!#Qi}rLur%d%H(j^`m0%uTsJlF+b7@5ZE@lDj`W+&jfHB4 zN|E~?b+0>KU0rqu>;sd=sDQIb?5>xmujQ+HCZPQpV(WLVPQs|=eH@R4YSRvGUrP_^ zOcT<2#x|UFlc1G2;vZa!=m>4Kc^f~g>)2^beu0*SIhLnyHiQT65U4Rc&6j$d&&E6~ zc;n~pe55_FXZl|*&NN)ME5|0o^K8@c%I8>nhUl@akk^~DTVs!h4D711h;SiLaIzremSMB6VpG;@a1ja7 z8!vf3x*Nf)wNz1>VizLiQB&^R?ai?40m<}nw4$m&l5Fpvj)~UurIXHV)fh$6W3E+6 zW-xj~=B#xFwqjjl*_n#y7V$ybF0;=3XAm>)N;}mV4I}YEje&>h&TnH9MU*U;Y+cIB z+UzoJxQWqu^%kAOhjfP+t+qhJyagM9JZub z>Q6b4YHcOk_V${k8pCEp?Bq3y?RQt&PIrhd&;AV-*B)_9?^~;kLw9{^Tzg#&e_kGN zjhNTi<7(<#NxnLD*T1}qk=atBb_BJJv>dbGtFxrxe7e`2P&2eXxFai<-4MfBXA!WM zMI+UfTyl%r^>{o_UiXTyx6luWZuR+nAhsiYTjoZ5?J-YRkHeO}o5V(;RF?)jar{?QiaKk1VWT>Ks}@??}Swt5(kl^HU>f?#~-}rwv=vT4fHUQu?rj4DUw5N?ZFQ z?w%uMBqP+BLQ8*pm-NZ&96UiA4`eeU6Tzta{AVImXuRk4v@Kq;=pCcIeV$J)G}M{x z4LS10DLtQGs5!$~j&;dcxP89%i){@MH~^j39@!2DA42+P)*Jk3o`aZZ=gfy!x$xYa zCQ!`7g7#);+0%B6(rQ^05NGPh4po0a*%t*qg8qe`gq@Y#z^CN?Z!A$Y)$ESHJ zvNC{a5Ne+1P zC&>PG5ZsrQ?RY^EOl}%3&%EJT!m}A%s=aPZIrTu+ zRQtGInsO?Xuz7)X@t8!8XL@SuIPoDA9>)GjvZw1MPg>l|*x^5$Uco{n8hK?32vD8= zuv^|cAqI0|7%X5+7*R0hUK;}7^cp(S<9b)~dbbnXcTo`3i6i99?A4plQ%8PKHhkSE zIr+QdmRB;`J#G%%iQcpGEwP|VNDC9C$@Tk2)}LT_ou4<6@I)Lgqv=T$vbDi{6}Nh( z_6R9arI}NUiY_M#21aEeCyNt6nXpa$n$tI9v(K;Ujhdg5Yn)CWC*j@M{-_IE5hY75D`I zZuUtuK2Y5Vehy0TNECWmhMaip(0z#LdUMKo4`tijt_hN_1R#;#g}@hF&_)CBbD#EW zPw;}F6_ZjCwVvGAG~%vd&FWEn_c*Zk(_ls2gV~>fXm`*-v7vn>u<}4=Y~KcqRZJ#- zCoJh;q)OsRDd4GjvQ*#xd#T~uhzW9o`*BI|1M94VOhZC|u7gP)Q){$#|BR($DX5^CjBJ4AjwOsB zVOczP=174ltmR<*d-J1DUH0G))0@r9dtXxIwu@BfgKuwNUqxMEQVOVPFc9F%b?b&_ zCY{ep7YLzV^`U9L5_I*<>Ha<>FcE3~NjQ!QDU9zxHi!yvii8CXA@S?VbLAFQmlT{w58uz2}#n(NV8m- zY1BreG+K30ONGnf-gPa%Sh>RIyKn;vidf=f%EZ9Iv^d4aGdbPC zKWH6eb?ePa^lqxAVe8*on3|-Vo^WjmvHY}LSuGR!o>Sw$jA2K|gG3k=)iY?aTYbF@ z^O2o}pB|tvAkt%D#95=gY-fkYgZ_+_9>d&y#`eRGyz%3Wn9M!NCS%pu%W`(ujRd-Z z6@81QglzC2JIaGl`(7SX-Rg>E9y`HCplgpFJMTF0pKc*`)^Yf?pz}d*cF}QCYAu*PM6^D;3P0DYGnY>00Ic^y-Ug0$z3~&5BC%x+8Jwch4m(+i^jV2n&;e$p|-6f z<2B0KA<^%ZCy(+~i3U^UA-be*!@GIU9lZCxGnQhcK3TLpiac9!b;I+W4nF2SqCn_t z$5#T8LXo$2klFhwvOvC!5n-_pJXjJSs_IFO#LOIiuZ%eHKbGngbz+ znamq#`nFFBwTZxh&Ez38OX`jwRkYT3Z$()nPb0A>wGm=Bd;D{4wr z!$Z@dF-Rc_j6S3(o6S46DiEScmAoJpm2z<2+ASv8mVU_%{0ZO%=zd1Q7Enl*8Y2lN z-Ngu1%)M@w%1L6R1HohTKVY^#of?ToJ@taVu*ZjHQ@2Oyy2_=Bj3OYD5HGCFuLoQ# zIS>qMDLyHA)Aajmky3!qHHhTQvw<^E1RaDaQZW^B(*)NrHkom z_oSg(+aps;;lgTzew=-ieFjh&Y@0aGWxmYHSrIvS4ULzW-a_WbeWKhFrQ7j9`wtLP z+8hH7_b$$b%jSWG=Zl-XU`EoQR(j(VM*XpI-V9vr`PI7WGwvQa5Lq*vbo>bk(KV%L zV5!nuRygGW^<>CR>mez^!PymWW4n1T$6}fw{hXnl z|KaU)*}#GN+KorCJ#CDWVpj8UWJ!PdOmA$E8CSK^1yqA{m z*dnX-^6rwQ()i?jXos3DbOwHx)6_;Z*YW>sNUAKRrzO_3y&uZObnkjJyr3L5 zJu#6;6vZj!mhqUC4rX9KX^w(=y>c<~$FPtvz{7S8eWx9bM5OY04ORka;d-%xFE9$h zw%d`Gu|XO_MyFbNf8bV4m#aJ%boa9E58MqzRCy;!^lMjXa zW(VdCp2VkxiO)kSJ(9Df;qkp4SyPTLShuO6Z1aS-J|ajuVx@3*<0c?4^BzXL2RWzr zBn*eW@_~h%eMrch97xFhoP~w`{RNa(`^O?~P6_1RoLxppy-M8PUj)}l(-xjt!`a*0 zz1dGM?e*n$Qi8lr6N^u8qM+HhV$STWAQT?lgW;kWH;OO09l41pP%X1h$ezi9W*lS3km9ROVQZ} zXI~qNj#`t2C#84z9yASB*j9YlKy@^E9-@dtnR~DN|+`Ume}I)-VR2NMY@7vC1)z-LwC;?5fVg zYby{9cB#G-K_goEARtAo>^u444Mc1o)jOg-AAz+)@3!?-=}S0#%rNSSScTD&hJx17 z_%!uc1@~5ZB@(49E9`2Ya(9-)cuuYp>k_0U8`CjL+#Nv9Cbhc+;wZ`*r_hChk-2d1 zwP#rv?=`Qy7ML%R?LDT?I;3#7oe`JIWy_i}`t7SOy9Y@V$f>hvHOme?2ikME1~#Ia zuKR){;V}n0>X_0mOIHZ!2bdxzKSLhZd9HGv`vlQHqc|1&+im;qHbw{<3%ppSNaRat zdJ=NYPKbga%!O^&6=Deo{nrI>N-u$;<{jMKkq;ZDsmE*z644hNVqYj;xTyH$1fQa96UckNQ|)>8i(LS&R=w&BP>nVb~J=v zntiV8x=Wop6m48zzCHAP&HQ}*xz^Ef67vG1kEG6k%&twoK86>X7nrYJ(w@*$pb z|4z=Ukeb#XzrmIbGa^SL)~e7NNyE%`PkdaUXqT%92_bnwij5A)({_stg$et1tfQ}k zq#C;caylXL>8+;Z2xPvR{ccy_-My-$IY>Fr=ml@zwX^p~m#kO)sba3A?s!%F^S5t_ z#-5R1XVH?G&P88W@j8igUT=U@6W^~aaw9V&82o4*5%>-H}lmb>9_^VW}wal zMe8?{GG$uu#1jKAXlJ>zAei08WV7vj;a8zeKyk{Ei4?_qtvic_NMV?Rcr81>v>y{f z#8v6O;1D93RrGI&LJBx8Rt0I_KVqU z36p=(GttTx6h>{QE1RF+BhP*JEiSnR={^zkyy1x= z9^DCddJt|R<%aw-_=|Knzx--IKSoKhCG*Rk;~kgpK(LAKXKRGr-d<4qpewA-_$z0T zZ3S$9oTcnT?i(7-K5*OwxlvUbCS$=kQ4@V<wJl$&wVMRnK@L%#0`9xI z5Uyx{Z2bc?dA448+M>8Vb=x-T#jOszhzAHo*iA6#O(gz-Re4twLMArQEK<2N9eE>c z$r?y9#(rz_BEV6@Y4K$&RQS+mS#5r$)NGO zQq_Ml;kJx6^TVcU>|mZY zVI6DyolOta8UV;o$W32s^JQ{1bzYt3+-+Oh=3Ag zAp>17RUV#d;6)vD*s>-{U^o$2bUN@7pIHo=;qj@AxZDyzjlP@v4;2>Dn9Z!TMxJ4H z&amC~auf4PfG)>3uK2fNxP0LfQH4|tJyw+qK?%+eTb! zgt3!PcUdss&{5y=I+$O_U?fPMosga`XA}8dJqIMQdCS7TuIXQID1@~hKcsiTD2mw) zc|&#lM!L#?X`l&^%6d|dxRIYf@oxN5qAaaMJOF~!1Cht2l`9tww>T4jeI7EmnLlrg-@V~d zm2F82aHkGOpe>dFS`7Jz19UOhOu?CUz5w%j_t5^cZa z{2OyT$33l7SaUROFtwgKdpc*+;DazFR6KU0U3F1!KJ=78!I?x zS%Ubv4JW5f`(W+Wh*~N3DH{~*vm53Y57wW6P9LA4CpR{>fz2MJ`UHpMbA)B-_Hzb) zf`MQH2<)>m@o&2_5~r41NeguEYu|w)|0;XXGybxvzp+*T-JSNnT;`zlNFQ-M!+O?s zzk?~%13@7EP^C6M=JTA7=%~A*ga5_0RU@k{>z>tAG_oN2#(i!>w98!O2j+GCZ1E*! zON}Qip>BM48UuIh^GfN}ED2QSD_irsy}z9A9n3Pi;gfD{|0_3WHpd;+aukmGzrjAD z@ayXTq9sM`M7&EFQsyEl-nBAx@5|gF|XGq zcYG1jF0f@yn=Bzz-p1kmbtABV__WC_IIG=E$_WKs1&*B(1A%g+t7>t$TkVyPpF|;(oe{_h8QOr(YH~9wCFN*(^3O!*@qTwP7#)A5 zFZ9|=&*L*6w-o>MVeq`hHrpG9@vbNC8ohF9ac}hDeyM6GkzKXm(*AwPn2!{T0#rIV zDK@D{ZgfhYD@!W6#N;+H*z#(-AVK{}e-@}6adN$*B|%t>MqZq6?hl8q@jEF)xYrRuk5!M-13d@PU5ot6Rva_hTa% zM^DEbYHOUZG}ZRm9H3@@DLYRw0qK-?(K(EO8_pjDUQ&R7g(zaP8>-U<2ir+`WAEc)VY5fudG>0(SpY<^>obu( zVyM_okENH$7_gJM*MQyOhOG&AY3BoY4*!vPZ-16y(eN()vMh#VFo_5(|3F*OM zr7TV3)~Q(oH=cKm1Wt(;;7|l| z=d;EZEU~OsS}F?v^iPIk&xHOqw03+fzgYC1OYUzG*v0F%#P+;0VFI!sGy<@hA4LYw zru&0nA-GT7$NOvMn*^&&5-lyX0hsD-5_-lXWh~h8*<8#VeJ?{1;#}?0_J?C;YTM=X z!t$U?p?VBorsA*xuXs0$FGM9%N=phl9f(KAv$99*;?C?0-(7;z2%+LC8LGM&zYz+V9 zDC;UMX_=IvyZ;@5wx)>445f)p%&ML>EnyQ(QTB{qG3nU-hz;Jj6bQiLE>h#S<%^x+etS#i0x!}BKWN~>jfm%ER=toXH5^Z1}T*f z172cqX+Z88;uet!2<0`F-#UYPnj2rVPV|>-j1X{vda0~3F#80D|+ies)zoSNJp1jHZ4h_qGE_CA)riJN?^=So6}E z|FWjI1`87pHh#Ln&e@B6$##h+Dra3Fau!y8gitvdfdemyAO*;HpSy;FYOGa!g!_tg zwf@SaIr=}nZa!2UFy88Tn8xthKhkd%FfV7UxEUPHrj;`1$KgO0pqV#)uS>Fn`-s0l z-x?Br>|W?wC2}_W14=mJbdG%qcV$NLfn8!LHCyTO(QzTD;-`@@*P3K#M01KABRti` zYP}V64FG9&_mU7^hp!&p92q2`vcQ8n5-S-9!M|=+i4+bP5ucU!21Dl3?OR4^N;!KX zLje6VuDPSpYh=-YX^1=;Fe$gn?fZ^*O|E37@^9(!zrR3@4KRo=+XW|3hBo;8ULgsJ zk-N_`1zXWY1UCiPC}}|5#b_fr+R-rP?X5p;*@67i+H59JToQ2TQT9m-hf7wZP?ESK zOV_;1T3#H+cr$C%LYbd&HhE&OLoIa^M2vLIOb+PbL^J^eM&b)>Y`XMpBu$BQxq^8OP+D$F!A>0a0xh>48wT^7HCv&6BIhhhbf71-2lFen8;GmJa zj=B|Eaj>85$n5c^&+3GEbQItoL;3|rrm;=Ix^VU&A}k$UmHlA`Lkw08?WUn1;s^TW z3yZ6Pv1ZV?C6q#j@T>&AkoGB&^IdPAn~72PAA1FYkO~nAl7Ed1%Y<62rL0aX5^(p% z^6$7ptgO4-b12Fi%;Fdlr9up6ajUzOrKicp!n+NksE`7>Bj`VqP-L&+PwnTa#f9oD z+Gj9k%JRpibqHn2<21(6Pv^D)bU-CqwNc#0dU678drj?ZXl0P!-dH#|*+btP!|%o9 z%X!6MPl6rwqjSd)`J75pt8*U559XwxymeQ1#H7U>E2!(=-1M0lBU>>MsE%dpfV+=A zumyvA_B%+tg%tzTU;fg0u`K;cQ1yX7TKJZ{n#08v2euGl6WwCl#m}Z+QGqEc`#!A< z1i>Uk3B__#MNTTL4Q|AxE}a^$A?wBS0N)ISUd{w(L6 zWFn}YEu6F=XM5gOBpTNcU;%ktQm-Mhm;_R$=8KPR$)kaQ%az!uOv{9jfdEWM3ED51;u)lJdH2nNB6MwF~n%ErVM z`^H&*g}p&L?<^?hhEE!*9ISkvpw25femT@aC>)~OjjcJkEArO3^8qDJ#$~JmeEN-) zUBdWsSJ^kce)hlWDS|V}oM_Lv7_K93((~9(RPC|&$PACm;RhCPd_|l z!L~>@l~=Pmi=A%%lkqf9x9Lm_+@i^H=^r{gFNmsG&am&-za zVq_;?Pt2^r;?TxL8w;%Ys)$9M6di409|8`;v{_}&*|#;Yko_^wr;8|+)sgn#01pvl z=7OZ$)eMr)E8L|}Vmh5lTbyiWtC%V=?lDj3w~(Yv8HdJconleeA{-)vTfNxm{!(`z z1Tpe<`b52}l*T-t4hj6Cs-jB9&TeGS+4V;ST({2dg2NA%1XVmTZp0 znzDqcvb!UXXM+NKb&2x0Kz-y!<>0BSZAfM3^2B21Ss zOt;UF9wa^M=mx}4*bR~?l18Kr;UQcga&zw06!pp`g=f;w!+u4T$OuE`$TS!z8LJe> z;z651^$FIq=E_kv3Px!?jp%~(uq~M_e%893$uU|fWeSDM+g&W*=Q4#*zGEyUQZp`7 zRxS;PQhX<_^J>I-zD_fe4Iwcm>{3E&F{YH;ltuySdY{uadul%lNroMPM@ zX6DS{*P7}PTlac*6ssuq#fJ9xUcVCWvb73a*HAa~nHi-LkCdpeU{@JjiIwP$;8N2PHuHIe7KC3JhJxRJ&#C*L`4?6LDc1TSmCXRPr zrjLFZb4K@NH8McHk$>7Uo!%koY2>;f$z!Uld%#EQYu94_f4Dy3#wOT3dv^<%GefTG zwGuaKX;5u{86AJIWE_AT*6ey_wCe<{{^|rdT?P5tZAYh{m)P~l@kToP<3Sgn77P-y zK;l7AzZwa^3j6#p$XA380?H!W-U!@1A>+Z4pCVO-hDgK^ylw}GW2iAkt4bSz)3#C- zvI6~-hWrD$;84xKjW|oT8nyXVF+o$CouniMsu$sPn}qD{?DVYW^IRKLNq6!H;zKKb z)1maQLGI=sJ!LRmRK+0E8?67j?J>7>6|;8G(CFQ~!`C`5wzc0vA6*D)O|~u?F0j># z-3Bf!yxB#|ks_50x7C%Ne}FRc80QZXl>-A6X(>m;n50eJY+EyyP6q>q?haf={gQyC zMF8oEg|jNn{ktcOx2)^rJ-8&kBbWU3Rzt}56X?b^Ia8nN_AR^rcl)(urI zQAcm;m(&?D-a(cmP*7gLTOs#n9zO&uLGY&@S>)9rma~w^<0aVep2+rlofbTtPh(kY z((V1`e9$4k)(-X8mhEca=2}yeKCl;PyCxm~G2F#i56zK^9y;DX?*C3ELP1(&kTgUl zf(xE<|2CiARQ3#NjU|X_jpgWR(D*zRUg309tB*%{-E^{! zFZ_A^W#k02qBkmsf-Qz6b{RLi4+r%ix(83b!(|?2R%~W`r1-DqsRyAG1lSRc)fF9# zYxr?Bi{{@fdPG(Nh#`F*L<$<{ppG!o6_P01hVM+1;0>kEr|T?YxpCy~_bkT)`K=50 zJK=NiKt@)6DUywwQiH=u;I!-S`ir2Bl1Y%e^swC7YGY$~cPPHAo)_tT?6}sZPJBvI z@{oC>CL+ix4&*^bqy3^K6_DwY@X7WI@6QoxHgfuQZt*~|x7@X90^*m+i<0>wh7Sf0 zdz>0}>R~_epgkcT@^FERIX_+u&(9aTy&aDhq}wxl{=H4)$(=NoDASCe?*I6qr-H8p zCeJ3^M8jN27~@E(NB2oIMm=bXZdjb{9e-PqWjLcy6V^Vr<&u3_R{#@Qp&toz<*Nnw zGKBspwdP|*X^-WD2mWGoH8Cs@b^YoNAM* zElb|7_X*>~W))+z&~v=Xov$F?pBtR}RE6jk{8;1FsaVuGUzwk&l$kF+ac)~^Ow8{5 zM7Hve-uN%8l#2!MpFDOj&L1h$kf2z=pdO~0bAfs80sX4N@Mc;Yd zv42H{m=@7vF>X#|nXF4V67qSG-FOr3ipyWk%5;y8y3vZ_bwWC)u~*l*b?Yk zvXd=#vRqP=rf`kF=S?t=r)q|c)Dsy>ei z`dTZ|(C4ws7DU2P7pwP%^~wWKjm&25b;gBv4}yhg!nBeV|IM1Wq{Pr}c|cD8_lh|` zQ8&S0(ecGHE|zCBNvkzIo3oh3YyL{QzU6R_nRWVFj)s2vX$_ae;xLpsy8PE>j>thx zzAJM0;iFI{_3VVop_Jb)P8|*f3VGWd#Zj*33|L~myzh(b(5WE8L&+I&!3oMNU zp`>W26iOm384bECNsuh$+_!>&rI3pvV<~vqKN4j*h%7@`vaE#|XMZ##iBwVH@++aj zbeM8<*}n8g7P2s$;*6d+GXDYyHkoZn)HvuMxm0 z9>~S?&?$Hxno_J~3&=&VBe6J3H#O%&2VD$jOR{5(1yCMHi{5?8bvjvHbc5S?o>+3{ zrTx%Q0-+Kr3DHL6)TUx@5`XfrQ7f)F(Pii`m69C=^w~APjRo58O}Zmjsp+3pnF>u) zpW1`13lZaV2aL@0BT_qm!rV>eHO{L^B)B~oy>0fdDpMt3X~17bC0f4;3K%0xg9Opa zz$rtIuUqS2{JE{rOI8=X;JX7IqSwvM_0PK1K80(K_>s@qIMo`XX zA7qRUI#BLrULFh$QZP1_=4365SPC#Uwgd$ntY!gU3^9B#wja$w85o1#jFo1YR*Wfp zupfYC{6!2aa2Rd?D+_=gz>=cWj*Jb<%EHR>-tg@$U$rg_V3U?c!WswKH{rXdph>Gf6hBqE^`9B5#+ri{HPcUfiYWy8 z_)R*=mEyDhknpVPcN+=Z& zNHlpJ+oGE4Llnx}#0N+E5vW)a=>Vo>Mhz4y%y?Q#S!^hYNPrO`FbaK&f?RM%m^YkC zTd8>rk)Sa=?3!O0typ zaF4pY10jtuq;&u)rRpw=6&EJ`4Fh|rL6R{^zq@>aPY~rlAPfQp7nc?8ZGd8)*v@-E zHVqs&L{K;ehKQKPvIaoT0p<&X09gW;>qywwe}RQz+q&1po+A-Xl?1b2+#cJZHe4k* z4)jQ@b!eG=8-gy-@s~QKm>((WHZd(rDB^R3^q^a)1{aI_89xNAd(6$A05OR`KRJR4 z=fVX_ejKs^fH`n5FSHUAPOOiSJzHKwnsn3FLJr&q?kn>+$yDH>c25 z(4V|IIh+td{huDqTRx=CSB&WmmcpjpHrR_;7u|#xIk~zSll7WAX&AYj8Of30N+`uXq`iKs2sxcY!_k4FMWXqjxnyH@vq*uNVUZRjCd%>-!>>N1 zI0G|L@?;xOTIQlPRU>JOYxL8wX;wZ73Xj(%(yNz%pPPJM@SxZE8c9~6zHgI`EWy0B zKQ55s|OX@S2tY2Awd@Rx_gX#m^PyvZTPe(de6_LsVS~J@ z4i9`*o1OYOXJ3NslLD4^L&2YJfi^Alnu=If&GO)k7Xfm*leZct3~`UC*>kb81#rt z!R_w*F~x7ZR?0}Kg=bZ^P(uR>u~%5JcWrxi~&Wm?dffPi{s-CO;+ zMaMfUfC?hAA4%MTK14fz>3YF3jNu0sbqYW-B_+%$C|9cci&)%d<@vFkH?_8Fa6Sy$ zwuwp<6+OL_ceAvW!}s>#j*oWE!!G5Ru{1`Hmoq~jtQ6x<-Ff|7uq-mcv! z(uqN0CUJKd=O>an`%puO6*uZkpGOx_1eRV+spRcNT^}}zj_10L`i(fTiMh3AdqlaJ z{$BYqrIBl8hqKxuu(ARP%l?*7R3DEcT3FNF>?qwV1!EvfbiOU{9u%fp-ZI& z-i1_DG7a>;-c>@Q8`dhypD~o`1(lB54(!+tI>Da-;*#!-ue$|q;h1MXC{9H=U?M&Op$qu)c3s0m z6PxShM37szGZu3ea27GmrsKpI%Fk8I^y}OCE%&ZXx8F_8yK+0#^}+1fOyjZ#^-aP4_^aZt+$FR;&~7(GqI=Wx#9k-1KGWtW4~*Nvp!#jwE)it#03rrJ*k=pzTq|W#)hms+Zn!a%Q%p93zasV zZ&trAnLUe7fHmbO?CtiC<;vZTtXt#LL`!QML`gj#CtLbn*$PO7!~;Zq`AJMFYZsgZKyTu8=v!pN80uYj%QwO8pUlkV zgr6&Ie~G%;9=*++4!ZKm8ovI)pGR~i+D9NU)?Xt88fM{$q>en3wAwv^^!cN22_ltpfMW#vWiY*`erual1Z3$yQ06 z7EaIO>v$~W)4rlX1{HC?21D?-keY6JAy+^S5M$Q`(7uEAKnQZUN47 z!D!N>@>Sf&kw@T_ih=`$pDPft-FE`nqmbZWfDYZuIQs8vi$1V&TTCQtU&g(-5!;VH z4fcMc0M8Yt{*F$v|FqMwp58fVua=vP`E<_!P|pHXh5gSr^6h*gBy)# zE*ye;uNeD<5R0U6$}rDN*H&CJvXo`exb=Ys4w-oX?(dMG3!Gqfw-Er) zF*ktVSDz4pt0x2X?1hDi0y`25jSF6YiUUa+b-abb6Ahj8-+(r3!jRBMa3mp(-e9h4 z2`K%EbW*tp90AY%lDVmVScsn*m!+*Lup@M_}M}hj&|zs_QX? zheZO)@_;w}3MvS4-(sh-VOP-H*}FWxm0ldO3y{;KdS zbp|ZQ96wzslHdHS{?7=wZ_S2u+`f9sy0AAa+Jc*~w;LsKa3|V}sszb#7oobu$H&vK zH@xNfQ*W1&=V^_mY`tu4RltV!ue0*jRk@={OP8kVqk}Hnf4OBN%@dp%HZHoo?$Z?s zj$4(dFO9DVtpBhVA@G3?7q>1AHPhX);|FM*fV(FA@4crdwwp5!FFK%AB%^6GO+!G2 zV^gZ_qgHdg2|f0Yz|)1Q&1vSdhd~JD+n0ESJG73bm0WpN*SUigOHJFOlzF+*rFP6#Zu2kC!xq!BEzov@YJ0ioe)>#DHyH?A8W@~Lc zIk7&1&hWl6>g47=+Cb2=jV_HG1}rUZv8s~EVavC=Y5_UP4)TG)amx)a>lwZYga9Xd zAFdQDIKL*FKa($?#@l%vr0u}&%I)QX;mE0PEyCL7 zcPn74O*In}ry9;A`~609@0!}$=@fxJB1)$Si~9h?Fno;}DkWmWDe>weyXtUon z`)D8EWeOwl`+-7S>51OVAZ}i3aC-Y_q-mv0{J$}NdN}yW!w^#|JKQrtHwHRxeop;u z_KCwGE;}?aK;$<(xtQNqhAWwg8F&%$$5jL;l>-!L2?)wqYiPoWK^dCC?*=H;?MMz+ zhbYMG_XKf{_0RX5lF_r6WxNuIcHWxhq(n*Pu%1mnDGOJ`C&?phcI0+~5VH4J;q3gpWlw(b_eQdYeT z7rnF>v?!-$u-S9g65Bmk9Dc&N+{?Ku8H63}>|(;8aIr$wmGt0YUXuHPffgEWyTeI@ zOVOf8N}Fbame-vjV1Sfz;F?8s%83gBux8~I`UI`f{mK1=GtC0~s-&8^VTRNi{RRkV zwFY&Dfr)g{IDz}LNaQVu!?rsH6R)%rDzc{W0RFlO)%*~20K?ex17*r+#pKt4)W5tbbNK0u!qrgcTbGcq8v^j`zbGurcLc9(U>0p1?Qpy;?jo(g{0$+WeosMUST=WB5B}5k;AaiQz;Y4o3%sH zNsXuym1`eiaCRQQE9j!mqI%9LlU0X;SRi)3LQ=Kl!LQ4r6M;o3Ht+HTQwcI0Bmq4S zoB;<-uChk60()hPY4MY#aDm0D3yp$zP2fgJTT`)um{sY8ijGStshdl3%W6<%Y=Fx1 zP;OI6#_lHz*^6uS_I*MFDSn2v@^tx>Zi#+DtYR$B}RI!2G zdC{Cd3NL;{{Ipfok3SM|N_+p+@MEc+j>&a^`aq*;{o{WAd}Yz{smr%_d?ljYwal>~ z#P!Oj#S@#ty8MCPmA%mW8Mm^QUOwI{jCuGZuuf9tmU^fr8E-8pBOauV%)4L^`qMu3c6SVVd7XQ-^B3U88=@(A6ix zTv9pgcQo1n236~TdWb>Zu5CRu3v|+ zQ=!)ODqG6EzQahY&~4=daTxruaD02YPQsdIpg#a0cmDK?a;IS-IQJ?k0>>=>&=ssG zJ%I)&!3Gc<-yach0YK!{$DZf~Q^P>MkIVssh*v0mcJ3fHY4s~49r=#t@{O`-2J>Xwvv+j=;R0T$Q`0k`wCIq zjRV8~)3oyEW?2(8mG|7>lJ}jj>`jV@z>h@=+T2nMu(F+$TH$7T@F>7s4>h;Db@ zTY3YSMM_6LeP)z-@lYBAGDIlH0^g}8m;$gn37`U`SLn<>S#_HNYRo{t*e5B1oXne1 z+;4cGDU48Pdo~VNDE<#vJ{Jbp)bUEZ{qA$Ltc|3!NdY}(`}ejr-+6?=bdIhpFnfu9ArN`+ zi%=O0ad4po;q3Ras)G%w>+K)YVha)co{!aoqbC_o9oRah8Yjhm%_Vj=QZCSB1}>+b zv!uyQAP&<$_QAxmEzZ}1|LH@p4)HQlj=v``Qq-4a_*SyZ#=vUr+x5`Vf)P_hpj3o2 zQAEP5zbUDgm|79Oq!-?NX}gjx4Wv_tT!mj$1h>k?I{i+`4Dc`qm=0cel!_a{4Y`z! zruLDyEm+ImAn91L6z?l@+npFN{>7VLEt9bsy5A_0xu_-L$whC|2e%HiH7Z6LQ#wRC zCd$YSxdh_+8(8dWHHEqM+NK6^r*fKpvEBEDSfg29G1m^{34=QbrUnISNd7<25f~^o z@(Tlv*#HRzEDve~Lk7r4x3(vNV^N2QFo4|`WMT;7Q->NSMI0j;q=-&B z3sVIOf?|L*IQ?cx6r?SjL($TwKNjsq8mP>?}J4?ZY zfhzFDBkzFupX*kTzEOy`GDLS7CP_IUq7jNv5z?FLVgz_*_d)gXu-C>85&(eU2f%Gm zU3^k(7~^ov!Y79r=M;2D^+QCa-K%k)*#Wf#?YKD`ST+b}HbDOaLS**z7!)FKh3O;7 zrk$X3*`&H)7yDA^QbY@w&I+-;b`T;-!DC3vuxz#PfBG3FdOO1Qy(nCCSDE&`71WcV zC4w;7>}6@VlxRA{XkH5x`Ir;6856tc5bW(R#O+Ts5yOdKWF%S6+ zKDmM43v4$XuCRa0A{p6U&Gv9n-j+r7t1#~=*HMN$_o3I5Yk_Ri+i!ho){g)5g6w8% zw{&48aPRrscxMF3{(@oA|WB#sw1=-8d*M>ZS z?@(`HAgN#1*~fwtbV#&Zdhd83dF+h}rfv)naW>pc@&@M26F2iQuZuIUXO}MZase>_ zNRW{tpnHlvT>mQyk+Y|bY*3HdJ`rFcZ7{9B`PpxE!#|b4AZs)5J%?V;e8I)M%X7(o zATIY##^pB`CmvLL)BqNA$6s-yq2()3 znNc9%z=DhS`NjeC|62r#cYgOvvina2FO)pn$dO>o3GOx4;F|BhgZ;lqhQ99Ougy+x zS3~;F&Tqt{t`8l#C^}rSt~sFHLV~@Y@OJo-UOx>%d6Yl3P(JH4o--YeBjA8;iqA)QJ70%^%yyVv zJQ7??HkMlTA(N9Cgw(FBe>y}1v+UbqX`pKp%7ga#g~JIJt=8Y5U(;_brIHqFH z|B`oOuzt(jSdj9*p~+3bys&`CkU%>c(EewbK%yrhhRa0>&&83B?A+C^zbV_pV2kQ3 z$~2Ue|A{z#5)S;H#7KNAs;g2|&S5Hr3eh_IBBrObM_#NOC@~o6YeVsbv#LQ%V1hb{ z0g&OXOYrfHx;rFNc1eiPB6Vak{!zkPl?1x5OMSQt2Sh&onU{|p`Ku+5qDk3)@ka{H z^CNYJG|$lWFRTvxdGHntKIQ%SrI5iqu5b)R$;KM}{U|V3|EXcrH!zK#hSnB23nC97 ziySR&xootB$xPyY$YFdI(?iz^qIP# ztko-Kl0c4CGmg_LZ|=q8K&E97{5*UPp_sbqx1@6i75$rh$u}?l`#ze;UQ?WqKRAI& zLjqRP-=xI<*K94y8}!3rr_z45)c!_b2d#Q9J|wX7ezxfT-bDNKps^Rzc{-_aF=k#c zSj2NHCh#LZ<#CZUcm?6?u?e_^#TWgK&cRKh;P=>zGqVgWwS2b!XS~ax*}fo>?s3|7 z;Y=O+VFn~>24ZpstZK&eeC;@hw|=|Do?6GD1VQ{!XW=D6Bej|mY`q)mxs{! zI8V-FYp!eSS5=Gnw;w{b5964k1N`258R6W20|4*zefm4->UsnT%=@Bi3oQV~=Vntg za%eP2851eM@FY(~E1Y1VQ_zl?ChH`d5}r3;JoGienwI49s)bnTr&$`% zREt!ehp3u1ai_4vf0_r1XYgaAU}+8Xg33uR%C?z^qeuKWSZ)Tqa|SxYfZ%VBDo(IG z_d=5gjkg%r08Hh@(jZ7KW8qa{^MAjXY{tYe@r<`?kGwAMlG4A65kFu9V909cCDfeZ zrvn(nGy#pd&Niz5hoF9*@jV9vIkD!mVx>f+v4olEFb!r* zGOjQ}+0$DQ|NzZVB&vEZ$>7;Xlq3;~0RFf0il;z2~dDQQ!1BOzcj z*tHSrbU{E?nh>~|r@ACX$O`@c4YpL~!B{kYE{ewWKR*=}bfFh}GHevimSAiY?drQ< zBW#!85NALyhNLS`ug~v^`Mr^73Bh(MQ7(3yK0fos0TRj0`W}Xa z0mA=Is4RYol&x~s4FUfc(u`obpH6KCuzBD*}=0|KI0M!&7B$J3c}gUiOT zeYp74ZF@z_33UlmPjUNWG_=ArO*|F29>Ar-3du8n zOL2Z4y9Q}iti9}#4#+@az2SCRu>92631k%1kx#@oFq>9&Q{d9L#LZMO=5dfu8YVf) z91p^eHm^GMGj|O8k;3H?rjo)1ba7v~LQ}Kta*%(MeIohPR_>?tTqmP}@?WKt(vBZk ztR|6KPa1j=m~`)2m*M{DCe)%xWq*`!)JN&whiuW-$@;>ZGK$!6N1nErIbL>x`GX{( z+v&ip?{{ObK-zQWhvVM1HY2Cw)Q|6<+|7>BYg3q)xozFgW%ecOPTa2ElBEk|fO zu@g5_owxRf>zrV>1Xp|{t{_tZ4uabJ_c?w2-%X3rX6BK1iE# z_ut6Qz1t^^Zi`(8GKF2lFaHlT&f=Sxh|xEY_V`|`HUf|%ZK)A@eI2srZOz#_O_R0N?UfA zQ8}fb_@1mH&cJ+kmaiwS{MV=rX5h{u%$0t)%ZLqt={OhLLKl7ke9th!cDGd@6(GaO z+6U~O*Mm#{rEgX({Jjbh;la(|s0_&J^!#Qz`>f512hvBaR1n|hj3>{kOw(XXA{N=A26ot{*-p^oQQDyhw=jDMqwJ+#>L5vChe)M$L*hR z=j@Un7rCWJGvlZEk~40rQ24Z#L5;l}N|gp-G&df!mKQ%bUTIG^c0dr67i133;yGpG zYRHMCcB7OR{_HqK4TnJ6t&3u3S-{%CpUpKjyXjoo1YA(9lH4gZDiN{eZvb=7GzGrg z@bE<|B}Cms138WIJ8uI~FFLhwzSKFXw)w!O$ba!gwLz8}q%GsSW62DOnwd04O^pV4 z-nSDU+r1()!^WEDUl!EwYNu%zsAbhyC6GcY%Q<&P0%t#Nd+@!Vp>#6-GiuNF-uA&b!w6^naB3j?mLg1Z7>X}UVDicnZAcJ?zYC|0UkVOi?FcC z%lRS#^!66@6i2!9;+l%T3j@)Q$I6iAT$ad>zJGLy&ASnO|DcmMYp`xnQ_45gzNpJJ^|NA{R`;V>QA15IHQks6jy}UAjknZFRe3FL3!qE zLd6BgA&l{2VNH=z{*sDXtk(O{I(j%)PJ}1~)`e$LZ&Vn7vIT@w;$rBl`Px0&;7)4sKSiq6}jCHaw6sj!~|Q@=20V`q2h5 zRTgOn;;7>*q-ekK*Ji5bt3w?RV$Wh&2D*i*#xrn&(=e4OyXVvvX8l?j)1qNW?pjo^ z80Nf^q-aybK$p5E#lsTz(xX0!WoK1CI^J1q*f*Xz)R^Kb$S1+wK zom1yhNy2dsFtPIeqn5?fxXhfFjM(ggQQKwSz^nqMzjV)WeJyX5ees6c@8svlJM$c& z)je(f@5N)GPg3hoJ@VfksO%!x?m(qEcuUEhGBs8WZu9MR*#wP_*XFm7ZDX-D{ylSq zZD7zH+fRQ_DM+Kj65un0YBEB~%TIgglTOo)E3tcg!1(V1zJwb)aU%jAAz>Rq5W~^( z!_)K4X7INFeZ^xg8V^L*R}&KUuRwWU-{P;kUU_I!K%&UVn?Cd|PO+ZCUuvy`fg~XC zqbfkaM`z4~!0T5k|K)S(^N5D9WhQ_UT@G#%4L>f69pOACXau$9-x%Y>>s$Z~p!eBt5I4_BLJqaryAH3eZnEnKU_{ri z-M&aH!?WQ?s}&t4wyjq*Ja+{9=G(**+R{n*E9AF>=sS#VawhV|bX9t{AS(_Q*JD_J z`$qw&NcG<{mHJyvsQ1H}N4(NW$V7e;8&ivcj{50U zCkkW6oq$n-(e5n(u0G%j-GRJ_6UEkDu2hvSD)0yMNJve2Q8s!WI`v3?zwhArFG&as zIqr{WW*Ptu8$O4{fR<%B3xG%$C!}ix9;yLi=_Uyy)scp(fYx5XZ_!;59ImXKL^_Wb z3L{YHj0{m59#drMhB}O;o(xVc(5n{A_MpgaHF+I6pZnpdK>ybam;xb7RYW2f$BEf` zK3Jndd%o<4IwFUr9@NG{*j+?|Mgk;-8#dp_ju@bO&*G(u&qXPFNs-z;%(5uw#J=%>n5W{j(aumt{RQr!e zJB1oOICxkFmC>}Y?802;?=(C;DX8?mDm*&q<2%$!R9g&Zs-K0*UwYqg5mKpK=Ij|> zvq(Ulw5t)0jzm=qwvEO!7>kv7cV>9ZtI^vc6CoUZNea}G*%7y6rw}fR8%%O+hr$k1 zS006RUWhTv;PMOrRTlG)g66si|EwmiZ;Sl zv~T2+BQjb4ogBDAs84!)ae{Lhh?LH<4^y`sv7Ix`b8H~cR66G z{=@lkiK5ydboc9U=u>g+(#!eB`P0}Hz2b+%@00$ApOdU;T&vbsF6OkEjv}K+D>P&o zgLO5x1O;BE2a4j%D^xl7L82|MIH#Q$ytSCACG*IP9VcdxKvkaEw1P2;`ZS{+N*${6 zdbCiCZrq$H*0mgs_3FkzLA&VWkO|3hSbGy5pGsk95E$$r5OhWvp*OHDTFW-2O0R#T?xhKOS6@eH% zj{}8iaNJw_Jn(olcpDI3VbN`fm0Swtz-dhLPs_dH3k*?S<*~{Te#GjxXPQyyls|BdIoUsBImBGUya-^^NZK zW#Z5GZ|8-=8ogL~J~?o^ZUkue_}rt27yxz@0zF9p?mq$7R<*5{RoC#-BDX)!9~O`2 zA13~+?X*Kxebu}ET)zR2*w^pbaE-@!?Iy`jrTg~!#mH1a*EDcT-mGsvyi$~o5P&(t zt?kFEhA^ZZp)#;4nt~Q-1YNE%BQPi#Ax$NGvLtrJ5yD$qP)ld z=K8VryUB7>q(azm|4@3k8b%FPRkvDvfj8xaw2ZD&;8Vk(XpovVhWy$WU4yL*JqqE{ zZ|h>;G8~LFM4KKO7AK3oo*lbM8|sLCi6udTT6@GJbHhL`d_>6Q2%@lQe4>DrLq12{ zY0VtiJbM0^pNI=z8epv~Hp#pRTmrYb<)tjOW%3}T0YUbU3N*KlZc1pw))Qnqvqa3x z_XMBr+ z=8NU{&_s;naU6Q9^&FV&x!y+~4Q1T^F}WN$Nm8_e9tPU1;KGan-L2o06jtQnE=1NG zk=mM0E?NWxAK)ZG!USp0l`9wcf+j^Ebr+K2Pc*>WPt(hL<GkZEc91IPM)K^_F?Lw=Nq`XZ8A2Dv8t#ASA`u z*p-bZJIi>13Vs<6eL7`e6|~qc_~%fHSrJ^WQYT%spVdYVPB#`p(6!t!OP`EWyqdb4 ze?4CJStcP^5wd5M9Og9Bljb5&^Ij)It2nsd9j1qZ@!sALpyoh6M-%@GUSzqfVtmUH z4manq2Fw=t+qj^SasNsZ%(ug8-^QxT-oR^ri7 zbz5Zynw1#2JR@g(l2z&E7ixG1gY$s*OZ_=r4D8^%(v>ezF7ZMvOsX zUD%*{yKkHrv;Dp(gSk9D84pNW~+NL>}41E)0wd5%lx1KG;`vf0|Y zYDH$_B_5repA#5uCuIx0;ned8;g_6LWF$h`Kt*iqnVG01v1@nQa#@yUfA|B#PYwfP zWsvIe`W6t;qrxUZt+XseR4)Kdtm-iluC2c3yP*_wBVTs&s2I_UPXQ;Kg$+BZC<-P4UgrX ze8XOOP=7(eZ>Q6lB~ejBu-+oD-hlrD@*mLufc*#jKM?kT0&5|ovjGyVP!4IQw8Hx)gC&s@^5`(Gk2J~8Gs&%%ye?>5F4mpA&Cg%Y@zm}HD=M?)?tM%EiZE5vj#?l=X z`+m|0zxaQ@+@y?E_b<@UTVe?$Q+avmKv}bjsX|q5#yo8A z(8P#<2zi^AC1CRpbC-}x(I?@+sbfdQUXN9bh8BFnymk-L9~Q#W+F2&{wXFw6G+p~{ zE9Pq7aiSgm^z<*a34}MP>Sy}lE;EOD7;tVpf4_Lc?*N(*SZ8SBJRX~?l_8&GH;1ES zu$^s0)LL%|kb|$caZHYVgE~mHC7Xw?r8Lt1q@ZBx5GFGjfLhu?8VaQ;iUtnckj^t! z6}1$YND2C1GbIeAH!MZ@+Vnrc%B@*sZmc#Cl%d6?uwSHgvJn9h8DYZ{40t$2Y9Yr9 z%Z7{2*8~1^&eT4(CjvJwwL}$AY~e*_1UhPV{@xudukL7k;l?W2wL;RC| ze5i9aadaXnY5=mn#{p9A0EGs57jd6wtXHJikazxmRElF!+>Mx~5F@n8(*|*bKMqOE zWn*12Qvo9x%%2t6C^4+WMC8#Np%Gwn1pBoiD+6rzOC@XdXQ)`6nHW-zTRX;9iY7tG zcc#tiJ?U6E21Qeu8V}IwDPP*RVb;4On`b<0VRZWN$}evsNF!>p)jogox?ouXS;*TN zqk-wFMm2ci%)I(;KDO~auVD|J5Y1a0>P*4HFvGyg2h zQ2}aP(Dp3@ca13^Drw$gs&a+<-te5YW_GDzaM*v zCxWyVVO58J=S;YJ%a5eeShuSfXTQH^L=d5lLLYCxHagYM;UK$|@CEs=%xd0-ZkX&C z9g;TOXMU?fy)l_RFa9wb)E>_=y&!1(hzDT#Wa7eWZbNhh1I)RT(>u%8K-A=s%2XT|G^ED<;am5kmc8M_~D}H$NfM}rl3d$}!=(p#FHl7~t$yu@u*;=A1&X`UW zkMf(4K1GRrl*_7KiFCcuuf5u9h5%S~wRlLw$3vhX6%PLG7|OLz+tYD>HCGS-e(3+C z^Qlo(hCCsQC~L3n;;#Bbr;Af=DUC-0u1s@8J9PsyM8SAmjV^!?0&ju{wG5AjoieNk zd7(24&B9AuXK6xY`Xn{fAEC?fIh=@Hq_o!|5gw~fgaJfE6Rk05nzsQQT?y#-z=MA5 zG`@*zOcArAbe0*U@aHNHWpREJi~qudSv9NHXrQ6)+`fHDx@%`xv)9^x9JIyHxF+2Y zmc{(Wo$ELl%AuWKgg=^qpIrTyQ|%=wsMfLChp4+%Ul3z|bE*AFTc#O9`C(ij=!jOG zmWL)B_Lb?S_e@#szry}>;{uQe8qaBU%^2G);%?~?CNdx;;~p9Fn9#{a-!xO|j!T46 z-299$RQ6T-ivp!?)G}OMU^z`fQF#6DCA0v=RK$}DI@|)Yhm}EwmaI&^n zD%lxFd}2V}06d5ikOVvQs;&bd+UV1Ixh-?%jC9YwFN9YRTXK5Lm;{t-J7pF_ViFwG ze;BdipBBrrY%1W0z@_ucA)eTUVOa;oEatvKh2x5?wqi=VNh3CZ9bm>Vg{;0Kg^_NK~Z4t@f4~D{Hk-nI5 z2<8Nhfo0jKkQp@uGRoH688sT#m#WRJ2Chw@0UX(Y;ZO_S?6Ta`kcjX%f^ZJKy0cy15rgLD?UI| zi=vO8Xb=MGP65z}U2feej`XcYaobfbInT(J=O)tQ*!yFi!{V_gn$yTDfj2WO%0CXn zeUTio(*aQpdo4ZHMb15y<6 z@`9MTbiF2fiU$@p#`O7Hn2SBYkv9m7_}togmy5Fc8P-4T;-~7gl>!2}B%7GHPr`WU z#m4Zeu}TtTR7TK#EOFA9F{Gif7Q14~My?5!Z35bn-#u8Zy&6V;J4CVt@&I#q6V3+> zl%uJS7aCxJTUt$cJT^Nj5HiEKe}DpHt+LB*bz(!ASX~~@pR*-A+)3P0l|)b#=t@=R zRRoIPpSyA3-Q~o#F;P5^vMfb_7fBF-QNmFtskiqQs*F$}8eDvfW z!7LGlIIBG^75X4r5>19=OTrMInf)DII7?15jw}E$Gd2gTc?O)m5~ItL=vv1afb44*G(pMywk-Rp8c_VPWh7 z`rOe{{UMdl8}*GghiRG;e)#s}O)NVuf@60c`}ysaG!`$(pXXb-?R@igNHz4nJNLZX zcM15FOpehU>~b2ni(ITi3K+vYc4j8A(%hNwNd|5v{P;|Fgp7D)^#^qC+c#=s0iSDKTol|wZNstAzBV%O%takaB#bF?YoWVb0sZ} z@^KRwPDV3%F}DOK@lR1Ukfx!RhsSn4Nc8$L%q)T++wp9lLy4& zhF}ZcJ`1vHmP@(47yig1t0Yvy1)}`W&-IwyBTZECJr{*dh6}14Z^8li2@$Z-Z|5Lb zH&bOQsh#dYsgGiN%-_<#XK`_6&B>iN0O|MLDL;8d)3+S?KcCa(zX0}p8d_0kD~d;L z9*5@U9hJ|D>KS4`vlrJG=1*>kOu#o@ahE#>)i)yinb2_|FgpqDn4!7QBjdp6E7trE z1U1E6&3dx^25@381e(zm0ikdn(1JAV;!F!~0o*6(B)rfmBEHK8<%*siUXAT_dooy} zd))&Xe?B=dKfECDb2Z{mi^~s0`xJBT@)MVZ?~WR#Nr`u0{hvXe?ydgLZ~)M1T%*4( zrP_*i**y>v!UZv}9-^ZZj%)Z|6%xzukjHG3OPTA1aAz2eQlcU}?-y^``2yMrH=rvx zRtw1EuN>7LF4XLiM+|raK0pfkXc{a~wI_@1j4{i8O7x{Z)mf(6w-4fV#i#>KO0F_q z)pts^!ql1%MU&P;j)H~r-bgL^Xt*B;M3_o0?Hm&xgg`O4B&<`h*C`-}yCI+vY>Rv8}dC z_vv@45_XJ#v%H^$dVuSY_fj9z>AzcgcD$wET!f}O`(ZLCFBkTmIN}T5S~QHv3JSR= z+YY$$$EEh#r5?h8vYa=5tW21>q?L2+Bz`*B;>4z2YI7!~cb8~`TouKfGm z(|>c}8veH;IG`Gb5ygA)8Vun zCU3kwT%0WybO2u71(hvx9!Cw(aQUys&XPXYF4hh`KgpH9my?h^l@bDEvV0w`^%f2F zJc73rvke{et62fNX{UQGN9U=CK0`n_($6l~NrnJFI-B$B&8>V}>s-O~$2qVp)i&b=2K10ftw!IO(1%{1JnJ&mYdKl44zJYVPLboT z93uO;T|KJ;SldbG3n}OqK;LnxRP{+o!DI-V@hOYOe6`minO*F zYJdo7B%U<6rJUOvb0res_%5b!)Wr`%8<$dP?KhDg*fSS=`kze2&35j>JRw%};} zKCCf$w~D!z&=jUQ_r5&xki|Yd!2-)5uR6vMmm@4KvTkYxWpbz@h7XB(ezJpl+;as; zm3W|-9XPTc@|Hw1$Z4?J-Lj~Ml@LovE)+1%^1K#QFP)=!q>L#r6*>&5cEo)L(?PwE z!g51AQ&Lf`k=Qbzbj}+&mXS3$k|P~s^qnL_mLy!te#pUO5!zM=mKl>q$!4)qX||q6 zB}gH;urTP`FLp)o;^ruvUj>3L{}t_$g0d> z{sANyoqGNh{yh}>SSW-8cr}miR0P0{Sq1f`JR&5&hs^{?>^yjYNgF6-R(%({K+_PH z9qpiIqE#qf_&e-s;$@=7VCu^JZUUQ$Q7ekw|M=Hi1MWKW;_E!!Q0(@5&6?b&D_MFw za%bUvtcml;$M@MzYbFkTwvXq$=K}x508f@G^!E~V!B-O=$C<73?Nm#8>JhIc z#)j2{c=f|s(4v1DjO2n2Q+RUuKt`}Ie~|;52j#q4OCe7En{jBHj*z=Xu2BF$utLx57c3GBus5Rm5OR2Z_@>8}A{24WmdWzDO{FVII_FPkjI=61T$8X^YZ9M*m}+lK4ncEwOAk@n+? zJl@eoXHY;<${vE{4&Xd6T*-5wg0C(67M-2?Eq~EYa)B>`Q(6m~xzq-|j`P$V_7k=| zM*sC#QSe)2+!=n2(`(y|Be1@a7&d^+?FVybBhgioj1ISrPa#Yo!HOM3QSZYs+_m=PLOu#$(;uBfMZNiv_8> z4q@4kGiqV9L|o9Bn5$U4^r%e^$zITlJK@EQ!WNd?kdi-+-$2eG!nUe-krLIeChV4$BVJoWNUi7$XnVTD$9m1YrA0Z zZRZ0xU4i}S`RTUVy-E`Vtmnpl9Om};@cBIwlrdp14=o(2Jt0IW-Tr;=e1yT!oPk_1 z`zapv=E;iP}*wFZO2rq{+KRxQve+ z_U&7`RUWn6?#}O+cH^m?wOXyrsYD$4h)=|$f%iis6BfS)P&IQZ#r9NYRee5@T7~@*cZ7|@H7kgf!H58W zq*}__Qvym;BgI^_6Q*|T@ z0%5H#g5p#aI3Rtiy}#KIUZ^=7zyQ|leSc9I_|qAPD2v1{M%t*ZtVB-mo*lxV&Djfh>WGEnZ{1i(bGEH0k^4Y6;nX zKL@UEL_joi)Il_RC^H%z`!1Z3=q7hc7_e1e;P`Zvf~9xNI5>0hD}-Bce?lXa%LCDn z)Q6mU*iVMC!eB*N$cK3_+0az{_;BD%UwD64P_r-MgUuiM)IZZeRsl-BqJ$DcW68ICeNh?|>`SmN4PWb>{Hl z=wEJv%lB8?roGy|!B)YRwP>!TDI5wLSgKuLA0OlO--o1VpIdwQyTwmlQ;y7prt7MY zPBC&tE0F9B+HLV0+ySo@zIp@!mfMGA`@)aBG8=B~@Nh#Mgt35I;jN*o#(+?lPmfBn zSp!J)azX>&)3zzXvX>i2D)4vTv|ysZUXa{@YLRl?<>0qt_l2{9CHMJrp0g)>w-0*J za(8J6F$ZB?A+!P@Z7)PdSm2q>6Z-SUwlybViE58sVV=7j4z{_K|@q8CAJLihaU0{`_2NsmW-eK=Pc z5%e(F@ytwW(;sq=b&xyr85CEHfG->hpEnjgt0%swHExZD7nGX`xd*CVqngOJ$57Nrwe+$O%Smb3*#Xggm91`%jM<=7Uf8h1qcya-e26=d$h2X=329VKH-CW_WPh3Ek7VY=ctD^vA`gQY;Ns+%KLNRTz%CE z+O#^{kKdyUGqeOm3(b9oLRopcyA`8&bP_a;$b6>OA3kR_DsDNbbC&@-Wu83a(rpQHiz1{y% z*Qik=xOWl%gVe^oi;O0m-tZUYf0{KI3pW$<|NI_p>)JY^N@IM_*8PnyP@jBme-sq<}NAzG%C^-fKTJ5HGtU~wI`R01CGbu%R zHMOYP^UbyzhWtQ!mWDT4;-NBhI-JT@-hT`rVnj<#JL?J&gD^sM%53;_PGDfNm=V@w z;)ejx8!B>~$eUx5-dEW%NqHs^rN>#nL)MukZ^hH8P)M2|x~F&Irv4$&@xrjb)||h< zfSpu7+lg`^Uo{UIWN9%}+i_P)dN5(t)qd}<@v`m-0=9q&g5EsrdZ@)5KIlMP zkwGU69-$FNsWGCbD3v2Kx_0f8YR4akr2Y^m1e*7*RSyp*o5bzfOjBbyOCxS9I8F>G zrE%I*=n#nZN~5hjQ|IVy6*Jcz!3&w(#$m3c3$iu3$D=07F^fYA8QF0qQ<%<8R_aI+ zuToM_y3?Z)53<2bZU=HgKkX2rseJ3i|Emw3b_x%ihILV-ovLO7`z^zs5GozJ-zQ)! zeTWAx2F?^3P2rO%#Q(bNx+E_?!&U)sU@K0iZbnj6)>fSf8a2^Z*FCtws5~_n zlaqZab?7uZ7TIP;SZ<7;xgrZcjIIlL>pk+ijUZe;doEv+h<(9))QC0k_u5>|_p@3) zoA6q3b0k<31bBDn#91;LR4v3mP8?YA2x=6E6kF^lY%2N+RxC7Guv?!<9(n_&lxd&K zTuCIpix8O44+tNr!`ay+Rr3XW+@L{!kNKv~t-G{5W+U|LfL$Rz&j(mv_S|ZJe0sbB z?yg4Op71REzb=+4?G+GCZZV>!ei!i+HLo9%JAdD-?pwVJBm^1bv&h>#`v_kHr*iUU zvrxYv3MAu~&ou4k_Z(ri;J*OsGB{b*d>*jH;Zfm8E$|2uAh!O+CNZ685vtswb4qNu zr_Hg@A6OT1xUBuDCZX(JN(EGU1(9poD9b-c5|L}CkGOJ1cU%j@9C@Png|jzynbYQt zuQ(Sl-+ZCU`=_IU)8^mWkh4C$bu-Vig@g}o`QJLF59{6zIcDGAulE3H*LR>-%frJ| zl?mTVsIxzu5Ks*(@B8ZSydH zzI;ZGniI#R_uqnYSQ@}wb|p$galQm(ak(SgY$)KGxW#@E1l+IN0YvB042lL|P66sL~^16Skd|@9UO3rjBsu zKYWay4EnS>g)u;~#Jj`vl=CLXRL8}%)6?PD%X^i_7D?JNBWvx`zX_$ovs0r@QQPxAfiIEbb11Z-)XugNLX7Yt^!; zucuW8#MpWVZ#UfErPswCc=#dMq|RRW6N6UkJf%#$jQpX;hqCu`>e^`Z&IOpyP`h>^shW&J?AP zfWc;v^MG-n6z{|alOc;5Nd%X6ff#3Oa$kJ;^&TJvR5u(y*x6P%IBHn|cN|$jnf1@N z%q(->3~dz3+q{VjX}iYIUbL7r=cjKWHr^V#*^#ApT*#MKoah{0d8?r zXS2Z4azG<^knk>SeK40ETFjEAT;}7s)>+y_V#n=;HQZi~9%JVenHP zFRfOH46SG&SLT+e>t-c6WP-8L>w`=H7q(yyV_f)b1-%|X(VH02+Ei}xR<$(v9 zxX+i{1u^Nu=cOkS={AlPEcUjm7VXSD`Y|&u)};!36h&f^u+7qctJ?l)a~ORBb2w#a z?S~1j;^FFSNS-kF@=>Z!0q{s)hSVp->^qS#kaA%s^NL@hZM#TV6SAY?dDwuE1t-{oV4e)coh)U2J#tV3?wbFe zLa(Roj7Xq)!SCYz$1ZOMP_pcPZ!n|vJOFRtDwtw;Z)Byt*Uinu>N=m6xouD}%$xKF zr+aCs{+C{FvP=2wuVVN%$-h0><2n7m`PS*kXL?0V3m9CSQ{BpMmN}uJJc!7s_P(7P z;>7~1g`$lTcW5FZe^N98=0^*%^IAKKRtm2p5n^l!N`(vn)JARV0}~bAf7&y+J`miO zXkQd6j#JcKnvb!k*|~+6-Gq|E8T5q`IkDN&#Ua~YqxpBNJdo2?3|8fSC5%Vc3u!P$ zt(SO%UNTIjCq>N?8H&gZPE}lH#j7cxIH)I*{zIyRI##2tOv}eYhVcXDOr$r=+qmCc z=jMN~xNDvUTm~jAo1%pN8N8HRGyYIG0A@GMc%iGiGq8Jc;xCYK;-)y+3?=y!#=WV} zAVx)5H!~T1*0>2N;@GEHibR)|6ojzWWzo&hLNDeYH;(v|%O`|Wz&&t5rV{;^2nj)k zV5w#!wf~!lVFi&Z@pT>F6g?nBEduTKq#rLXiXCFd8iGA+mj*6iNFFt(iy!idNl?ixZN`y=_^P@4 zY?*0!qs=ksc^!M0)mN0MFwHdM6Yx^pRU}3n1DDegIyn72Uz^L%6A;J`xIGG1+Dp(Q zwR?)_`}O)b*7Una{Q5j63X9vn+vR&28=%5FtKM%ACeggs8zaTxeZkTVMWwLu3x25=$#UN*$&WR|+o-X$8 zma?P{8pa92^qLr4tz0#UgD_MCzBAUONkkQF`vnaJ@T0J1DWwipG*dtXSTVl>BoZY; z6!}xitxI|rRi$VGpKwwNhVD=FPPoU}0=jfsJVfR-uv!3Ig+6sn6unQVLCk~LZ8=)4 zVVBqTx#(V7-W+FLn?9udVcsS@E$UWSg^h#b-72UhFe2cd^~41SI12U_q-If7GiDqH zS>PiiQ1I8#%dUCvs&7;P4rutW3$@=|`RiDTEKh~27Q1+f&N5jme>Vs=1Ge5bNjUN= z4zvxs@xGb{-EaslGEHj1}(C2@X0qpY5 z82t#CknFlG)!FGhofL$E*K!FX7OWcgTN_O=4J%%vryFx@XkDhP*~vkxyv3y}FGPBQ z#RBCzK}ZX&;M^ zZXAb9nt(Uk)Z7(YX{YNDgLZzBmK=tbLN&NrvmGH>dM7-_W225CHIg zzWaJPO>YcLgp4m#HL==%BsBpETWX0^Lc4r#OD`MulO08kRMzS+J2>WO&@r)kyqFrc z0pN#f@TgvfFg*Txr0dwzZETC=Vx07fvnwq56n$KOzV?w!%n?fYd;R>pygyXB4d=f` zN-NNYW~Qw(YN#{w`q@2Vz=nx4rekY;%ejt%14xL+KxmT(Ey&4#g#wO=#le<|4kPpl zRm7qh7{qeo3syF_vm*V(?)V5j>giplv!0r~E;qD$a$Wzwhf zBJcsN8ROy$D}4TrNc~kf;1jt?#B?i6v1w>;fhUU@;Xe;cW=z&;$)3}?#%eDP0HSYV zbS91=;41uJ7*ADa?&`r%_~~F%vr_GL^}ol>Xy$()Gb0-N$Qep9GfxXEgpQ^1ocH-; zTvdo}`)F!+P#Ce0QymU!HX;#9&cd^q@(TmY{Xbe_pLzClT2x{KCmB5~18qYljF=S2 z*Z61c#%7;N-S7(zvgJsr^R)%z0o2Ro$U-#fr>PBodKhtd;7QkPYT0n>w?(Og4HdKt zE#?*G&k#qhTmCB=H>iawBD}28PT)S8dg792Qno=_zf=g%@DUCarqV-?%q`e)>zE?$ zExaV?_rZU3lupW+S0D{A{BvhLm z?P@L7SGFkpbDI(jVkZRF2l|%&n0u_@YEbdD@?fW4dK7DEo|NepD+c%zq?~SKJ>k-V zjWB8Djh8B`&q@+6-WFK#f5`Y9^=<^x_*_kNnQd`;kUUP^k!24bG8Mb7KXBtA?p+?M zTi39JU_v`Jy?CmRt{yT?tIept+D{>mBNC z5<>Z?!S_7T_Mk8ixqa$)Pov}965S<>)2%^r3jgK$>%t0)}J0%Wx=Zccl!4#@z{ zqjV(3wIv^N!g&iMuTdda`1&N=%GnaFxrPM+Bmut`Xi0+ zvftolJd`bno&5td?;u8}D~Z#Caw-4Sx9}|?3Z%kNwi=TNYu27AlrAwolbg&4Wbqzj z7+9*}ncX0TyykW<287;o#=GW1AgUWe^2^3pji$?~th#YR)}6RB2Sj zxEc24HrQ4kF-2?&$+KE-(>9%u)8h^%3v*$P;RVu&nO%Y&*cih}5UQ5NKr6HVPFvN< z2>hefAbSf|SW;d4azc)a(5S9_r%v7I=zY!olPdP3rq_-M2bgM3ggn_gePX7+LDho{ z2sM{BPtA#$_rPKsGf}tWF*$+ctJuS)dp9t^G#Aebb9~V4po=K!lq!WciTt>3P-*a;YImiY4a|?5wX4BTh3EQbS{6Q2#WztCvf?s z`WyM9>pM;O47j-{llF|!P;6Y+RbeRrlX_LpVwN){L1vi|xT$rXmsOQ^?@&C_-{1UP)d`?ul-wSepfrZ?+2?<062 zI|dy*T=1(@FDa|I8bIsJiCL@BZ_S%8r-+q+q}@B!d2lma#`QoX<*ue8?0M@;@V1&n zpwe|4SSz5G@Wlr76x~gu6|lehkdp+JS7P>N2*#;%!sMIpAT=FcXZUYsQcW-GVP$-0 za7x!B0m@A=YPb0z|B2bn->OaGfTN!MKbN11)PyYeI_m#4m zLS4UyYFjC}%QH?@IbDJ4X~o;hhQ9we?4Anr0&Mn*8s9dO>)e5qH)jmpA$r%VkW10( zdPr|98tH?o^t$&hoq>JzKM>%igufR*MXt`XKS@m?* z8{k^O^)Edv9kV=VEXks@|05wV;mqwyc&zS|ax_Kpucue4sn_q+W+3C{*`DQ?aoa)&`vvjM^@y z3C|06Sz{5Yh{?nJq!IBV+(qOf;^AkfMQ>w`V@0_G+A^!to43Fgb_QrIswUi^M(c$% z6}PyZ>D24hr&c}KV_;*vj(hV0v1RPMpMii?%o*EfeG$ErdqrllqIcLq-QBbJnZe^3tyYXiHl9#rPfzP{riQXJM z5P$YTs|}4J8R2>LV5;rZ*=!2MkeBu4m@>8`6HN>s=5#<#x*QG%}Rkv%He&n@I zzLsSXsM=Gfx{+3koh7=})9BS-%UHgOsMhABbjI)UxB-GzneZd1!q~M+zXV7ftV18X zb2?%$b+3kTtJyT;b(j7gStU#vS}q-1_Y{2fXdCrOy|9hUEytEfoMdzX+#9^u?B(U9 zY00_|VH{zx*#AGWzBxM5CHgkT#2wq5*tTs2-KS3B+q--9sXA5lnM;R3+=}SPw_MVOAU6*q*cWMd^Az-2i|m`PMgn6#BlY|KsFNLbjp zIsdarc)3Zbxf#2e|6}9&&!%kb=4S5V@Q;Q2KZ}}`v6;1let1i%7aHUWNtWRgFTaLOn8n(|qjBo$x-LQ4HaOs#+=P-N=o z1N7J+hk}D#(>~ilNk{etA*O#eo|lg70S?OkgrKQTfHa6E^Aia;LHXfB5J4oTlv%BMY~h<^jl|K+d2~ z0WyjJNuaPI0Q!Fd&=i06`YFICVSXi_@IL|YfBZ9+G62cvsLMV__@4li<$(W7fcFXj zU+d>0+ou+yRRFAi1qiGDtofe+Of{cR`L6)ewV&u;0hH=KTl*A%2OKnB2f+AG0L+HZ z;(u9(X#A}GAM1Ia@E_KvKNkybla!n zzpUrBe|Ga9>x>}WKF$K(*J)~jGKt1o$D=FsGI$Z1(_V35! z&yg)ELMbZK8-JJmSA(>S+&J%k#BK4B#H!@0{ub21^#4s8$ZIfvYH1qGH9~D__vf@C zo+Sw*FUDE;+qb9hHCa2k*gwa|+kRDy8tLx>Y3%kiyPMPUg4dnZv$PyXK^Mo%`i}M7 z=dS8M@3TF0J_fg)h;nHe%SeskX(W_O!$Xm?zhC(+TK`MWG714d@kYbWo`5`KjZlIN zxY=f4e2wdQH;;Q5RIglQg44`>7NYxb$kVcEer? zc{`%}M=@2qgH5&Y92Lj2(BrI!p*pCPaNHMDVUdU18g?$Z9PU)MiDs?!dz0y`f5{($ z6vAknL8k*U=?uU0L^GN4ghCHSf&6&@@M9oT#i@T?Q&~KPDpK4^1#8J>!^SbIPt{?0 zx7^1GsqV%VQIFSw@|v?P{9ArbC?30>#r4;iscI%ry%Uu}9rZf~33D-?!l0a*NW30n zPx(%PZsC4eOhfu!&GEV<%#_J`XnM0qE~l16wU1_rp?(HeE(~(?aVt}=;X$uB&Asb^qx(>wV7?4z&BME!%B|PSVs8gZ8*(y(bu)GJ7Ig5>NU!Jjg4N$? z{XCh@s}P~`Y%Qmbp_W*MBir^>1Dm||dJmf3=PbY7leF!}xy#Y{qUvCG{o(F9c&3MS z!cqN|=ZFL#6bvHDsF;(_=C^Z;ff#pjA363HV7n1=XNQthxSJR|rRo^RhxDCMp>&;$ z3bt_lE5@=F)UKf)g~Ki#ce#McyOtAL88VAqE6=TP`Ir81{W6kWX5`|Cx%QevTroDQ z5#!&;mMa2RD^BeJDlz2g)cvmvtoVt)uB(Dd=`+!p7c0|jfgho&&xw9NgytTW&~4l% zXTcEm)BPyda`B{@@JQx}IJo8O3F7&7Z%v&kXh``1fR*f92`m8coy3oZf6~<;0P+pI z2I7$tG#mf25Ab(!odT&mO-Lv^%(;kBSCQf&x(@FKEN9mlAVPOM7)WC4`S9p zM}S~q2Gx}Ta6mI?kno^+ek5$*xt@+IK`UCoV{Q6qvFgaS4FMzQD=+<;h9+4S<7lKT z%2yZh8nJWMPC2Qm+UZB*KmnSh!eY#WhG#IvY5LOHBZoU^#Mq_sxt!|}&k-Mp-x)`6 zp;KmZBoNY2s)tpmV>zxcfeT<{;B&*MaLbHxuTWr4+M}DBo{N$uHxM+yTM1&gYXxGy z)1PC4;4Ty+mZIX+9gXEASaUoKeq!`6%`m1%Gv3q`3Z2M~#_S+)Xf2YhXB;*lbc%gO z^o2MqiF*rr5lf31n5u;XZ++(cPP;ZSv*-XD0A|dS%p6OG7e3BQ4NQGR$%`DyM5a7h z`%gM6scJTh&2KZh060!yJ+U^vA4Uv#lvtFPn6SwtDjW&yn4~CCf@^58Trr_C2?m^m zaIvi2Nzzj=r6(<~AS7EO3$kef(kfg=Wk0?>`f(JAxUUB^B^YJm1>6uXmWcS>Z`!mT zl4u%k7G+aJ3tJgby-{`$6PiUG$GSa^fyqjSBl491E-VT(4utS(K`SpYPn zYCl9w)hm0P0(2&DOyRpEhH}FzbCcTY%^z@dZ6_%+o5lWYzbpBcPR7{Kzoy++cmu6N z*7!XbwP7|~j~4^@i?*2BgEMWchtrYT;F#z>EF;{4&FVErZFhx`$U=K{I<+;O-oSI!8pw ztx?NUt=w(D+09+cg9ATiObxX+e*%RMPA3yjqfj+ccF1G@ zTnI@X52gSH@RiqL;%)_S)1zR|H7@wEd|MqD3%Nb449+WRtNB>lKXBr4F=`Wy?F3R!?6tx5fowhviP>OjIOqOBkiO7qn~%>nB(Y{X z^zd{1@$5gqvg54yl3IhoNy!gE}{s=>wFWF4PKUd&|nuk({jt)z3_LIb3 z33F?-#YDVx{6@G%(!chSi`;IZ+hp0P0Mm%`V!i>$!|ILGOn=2qsVR_S^3*u-h5*qE~6_khq6K|*Ogmn?j zAZ-*lM@i!#K7_vG0+FWHe&ZRD^d6iD?QDVblrUo1l{TJ`z^@pVY=SV7>Un%CNpKVm zbVfkbsK3g!bIa)(xKBOoZxZ|+TY!r*m=E7On?=bSx%9iL3b)_Zm~)gWq=JOIbo=v{ zq+4B8$oj?6t?FiPzGZ)ms#+tXS|t_?jzFcaF7(D|Ur{aO=MdEz4u2s)vGYijxwH7j zScQt++LauO?WW^Z6U_`tpjrh@lF+Lgh-q-B?q<@-kz-YTB)bq99qWdPb7|jNh@I(D z&g&%eGa@X?0B6Nof%+T1d%?-jcTKa6fGwLOsq&i+OxCB@Q3PCZ;A?`&WPljVWVzv+ zXPgjqGI+{q?vT9+%ym|}h#5MY^zslQz|#Z@D3g^h zeDgh@Q>AY+GIUM&1MDjKXgy{0H=tE`le&Te;?800UULFU4k+8S=(fc5YAO;JX3 z3rXJ;TWGzPQ*FMvhYG#j8tO+yrH({AJNN&ZQc{vrcGY-f_jpv_@tV7UV5D;0yHJe2 z>CDk_;m=`0j`~^)-k&^f!$EJMU&&d$cQos}#O;lEUSg|qK~4+3>9e=ZB>ysOJJGp0 zGttTnHvjhaJe>kn?|+-r2_#@#$Za!U;Tm?gglUF_99|UieuBFpHmK&D>nV)OJUext zFW%~m%k(%YV`()hS0`z?vDOo^ZeGN}Phiy4yd|z{$OJ;BF1#9~YD`|oM7i*GX=^yC zu!j7!sX-n72pjgR`jy(|r5_+c<|K3O&X;v^X_%yZFU9wa0mH5T1E?qN)IwpoYxktz~wiH%E09-t6RZJ7nXR$D{GhjHZ|eB;LJ#OMH^j^rFX*pVGMpo zy|?ya7;daI^!2@qy3JI=l{`4JH z|Mun;PM68h^#cH3?s(iz_82$0d1tlbUD1=zqZe3O1C;Tsbf*>nNRzuiaO%(pop|F3 zbv)87$njOxX;gqbI(9bX?g1@RRB38gS%oi-7EASI!A;5dTx-Is=YkH`p+`omd$7N= zJwbL}`VHr8 z8kLbHIoF5)w;<6^1PLeHnIi?24SY=`4=Xz?;k(Tk-7*hwiV9 zG?GuXScG{LB@7xMDQq8+$m8F7bcWIf%8HX%i^=A1bmS%-Jl~GsKZ1usi=85h1~5hO z@r?Arf@-Idc0Dc>q#IrqiDzX;krV`dQs35Qn=Z%Zc#R~|q6k`MjE28zGnGb696J?l zPh1EPgk?47zRO?;iMZlkFfq?sxL`VPJc)lxFiOTnNg$p&R+%%7Jky}INB&U>6gloy z+!0k2%9^D5(aZSbXE(9444sIPU=T@w*ccUomXKOGV&z$g)+^_X2*@r! zAcVqm_&RS8-D? ziHNDyC>Tb2kR)CV>dZ^kKy|4rP%>uM(^FBm^1=?{ANOCuYAfko&;c{^B9`f- zBc@dRPAwDlxvnK^Q;MOcl%Ds+Y#>&^YxHC$=_P}d!D4^kco-h;DF;^}Q1YRcjfF0E z({bNRPpnavHdQt+l0V$LGOm+iwIJnXg8DY%V?ye3 zz{JX@lRRHFUTuRtWb4=k#^w0KK2u>D|b07+B>-i~Q2plwY`k9+w zIS05vg0uaXsCT;tEFwa1a{sfK(dzmRSo)k*vHqVa77{oYNQ4851f2c94E}+xuH*U$ z=D*Xc{h-12>~?5LFzT8)FeD>w+RQ~%L?2Mna@80E=qv3<&lWDDc}W_&g+yl@(h(~k ze>TtK&upFZRBTx*P}29ct8t@0R;~Lh8u5q%*4Ma0(%f&l5%s|$~b0R7yNVEGSNKlY2+c;;gd!{zlvXR z>>-)~<%}gixc)HyQ##HZ7?lpJmx+V1P%^20FCUIc$~MZ! zA4{*{C?lQ*DX9n){}p@_$3azzNsC5Ui?}Fm(KQ@43!CN!U=b#iwngL@AhQ>bc@poV zmjtB>4?)?JpJAiF2WlhcHzRkXVxS}0^&>=sTd;fmG3hg+fFL*JP=3VGNh^glh@_0? z>B4Q85arzV&4r9mjifcDNF^M1uR`6Um(~bE8sqD#P@Mo`h%Gfe*ujA-3x}k}%Zw#W zMb(HPqY$V%eJ=@~t(?25J$O85Wujc%H}t2Qz`nOZWeUQTLC`>+ zni#{Eg**mA9#e^3W zy`~f=a7(HB{z%p^n5D2JOZ{tLOq=XDUt3V8oYbQYEyIXTgr|Im@KVCkUBy1U0~FwF zMwUQI!!-_u+0rjtV)O=|J@Db1$g|~U_-5IykB14wrg+605Kq7>wIVNua>T<}F5HS8 z_t9dgW=w$Vx1*LH6LUoq4nR+pF^*|MC^DsA6i;_HE2tf)8>2TpEOGtQT3;VsSxd^n zI!JdsQb#2~fLa)8cKHr|5SmZBQ{|{q|AnTH=be%6qo_-1Ma$c&6Tl??JSX%4EyTp} z5^V%D>k~Z>Xhiz~>!cE}X5aB{rdw@eJnEUN1zFXIY4Q35%G&8nF2J)XxDBPrb3ac| z@gAvCC0}M!B-!45hODE_d)zoFwwRbWRLTpIxc}wUc^+guy+eW<;!(C{Jo+4tkL{~+ z+2P+?;b}UObQn;!q;Rj`8G`982W9VN#6$*sB{o^4tz9(5-Pc$psB0TUEv9Tmj07iW zd1Tucyy6blO~Tm3=9Y$Kb!KcU0;|kLh>cMmfcyp18bN8z$tXQaLCTbka8ao4z-cNk zUzf5{j8{}L+n6{zH5LkGt5UQb^T!Co6x@kNMU#U|z+;X}2vfz|3H|*4|BdydvMRhx(9@fKjQmO>PyP!yGX#V`M=U-paiZB=W+2dw=-C@W)#0-pL`#EB#nA};NOl8yVcvm zZ`CIX8(L0E5(~AAnc!BJFCEMFry8z{RTX{}4aHALH-3UnSvbbeBp0q`p|YyJ7I0s3 z*MA6)i(Iprgi094>Twan;hQBBv|s?7P8qmwXPhKvc{DWNlzw3*kscJY!m*;nYl+a! zb70}7dYewA@yjNmpx5Yq0n)woTs>S_4?p+lEXmnaFTgJx5Duu&P=D~C)=0u<8M!bH z$0$Fbmu4l8hptXuv1oUYJ7ZwG>9Me=`fnm)zbrKzPy7&iJ?GS#aww^4`So@3Y$E#4 z>+V8nPX$*kb89h)Lf}`Upc`Crh(wY41e&+!qxzA8iTia45M!Qh3=o19d`gKJQw62C z&cI@I!ot6iF+aib*R$#wH9~klHntnG?})cDnh>X5MtcwwdA{4COs_HH9|hiuwDoy= z&jtGzpVs6(?xLQR6QjN0g<3_KZ#|U#C7Aeif96J>oC^^*4iMM{W%p2@lcz^(cx}dG z3nf%M%ECZ24T*KZmB3XPc;qd*Fb~;^?f7}q?d6NG3c}15?zN>ihxFh<;}$>tYQ__! z^;ajA%ghbc4hVOumWlM@9X^@G@!}6A^_bBv&i4YM_1ZpQZ@C9b8#P7V$S>$aUr3;l zyVRE!Zv5;gDDBggZHF_+X{gq5Y1PKWol1aTfh}WO@Q>n^O5h>?#Pmo`=hdYZ*Cu53 zO8jIRZFr&4rY`W(L5|c=hy2ZhkARp&$;ZfXeY7^n9M-N{yOC z9tn)AKXh%g59+LRQMAn-AW!(+X^kQs>uxUC_yp_8x}Vv8=ZE_MgWw#m@#@dH(dBCX z6Jc6y+q3-%N@8dzZ4CRS{^B?H*?j!o)$uo+yW$GRo1?N-U*z9Mimv>i~tmAa(R zc~Nr<1lmsg{M&E}q^`M>kc}#l%Y@C6bn@H&UxvZ*c94$28CL^+3?-T$wa*P zPu$F++YG1leg_YcCFXg^E_WS;Ar-l4Wok1v2D&+{A7Kz#J%Gb|JzwTcd)httF(}y_ zXZyAFctIgk!%4_YYWx*3+-@9j*7)1WV}L{`Z~oU)pJPz`SsRW5%VMeLKOC_MnePla}$Tu>BvNM^VHp1z)C))Va{JQ)c%EF zHRe}$(xEdy@)HvHl(~tuM;USd#*VVp+k^f5>iy`=p)Knj`sIA&nLBWqC#D21VwHbF za7Zprwtu2)P&OvI6a*(bs7?x9sFeZ>{g@D(^Pk|Hrj?T&JqP0R!#`VRL9d+XqMzGn z|Md#sLia-g|2NavN+y9$0RegzN2dijezpL?#nbxfBa8qd{RU0bilc`97aWp{``q@$gMj4xbpGF27sStT{&RoDzeyJeW|sdZ1`FS89oM+A-f|85)T|bF87>qUPJRZs%$3vK&kjaKkk7vMIyFi2& z_1sr3)tJv*3~Vz2@3yj{Y8yyTB4PkkA`S&2!NXQNd5PCL$pbRX*p)g2j0Ju*!i46A zNtaR9tiswD_eryk%z>pyMmx~82=7A0!Z>;Iwot4{y&8QkpqfDqQYg782inRoOc#@A z5FTD3Qfullmyb!qt`&!6TJ<|Bj;2Zcw6+P7n+f{{4rH)=D8!SMK0&XGGnWAVFrn&4KvrHwU9{tJV1j_A zY%qk?_LN@+jU+lRYhC)C3JH~;fxtSSV2RCljxVt&$sRO)Lp-b$Ux8Tg;*+ zx+M~$84&9m5re{mD91VUarl+363;eb8{UgKUdzu%(xOng1Ocz+u$FIcZI3){ra8py-&$mn;qPdu& zWX(DB1UG(uLIe$!4EwB!U-hk8+1e@Pf;RQXF_{ogR^#?Z%7YgZ^~X7wy0&z13FS#W z9%EW6mN!%}o`Pi`;`X(1zr;7&Yq>Cd`4;Oz0qVyZIahQL2VZX<*YRe@RkS#q0~++2 z(EWOz*QKvm!LjxA^SgDwe(;;sRoA{P4@sp?z79^TLKi6!O3cyDJ@NJ_To`CO2#Fd7 z5gGJ`1+EkW4bX}wlt!t+Oz++6=gZnfX6_y=cst()7#kH2obO-q4Rg8$CSmd#Z_f8k zMALeYw(d*wUvvu$eqTi!rZ%>%18cKyAKmb0>=j#~Hv$ea=RV*!95j6uS??J(E{-{i zbTN6l*4OCQ{3_27I_{4izB>%+4`J=r&#QIBHumYHdE_XZ9L|am5jrN45zDoYok&=C z>Ku_g-Z$XNp`*BZQamy6b*S73vUOZ2TNw;jd>dmN+-eT-Tw?If*1wi21@=z8TPgfa zuqQBoD=bCP)i}Lc6l%2A7z}lI(Rrn}z4a}{ueG@?&xzq`Z?=*$PO#i`&`=Y|;9V#J zBeLXTbg|{}*i>w%LyuW(`j+FC;C|Uk$r)fXR03wlAuGgrqQ=+nuofewWW9Wltb;6E zTm9GNw*sGG%k|%n8%L>BKH&5?zoRavPqBY;4I09nMlgpHV`qFOL@ME$M!qkwp|~6= zvH@$0Dy*m_DcsZ>=H>T@Ysh@q0X=B&8SAmKro!{dvdwWU3FUlyy%`iEqnHUJ zjH0`cvQ_rSgW4_hf`rWhD~E~_R;jv>P-Cx6Ct!`1YqK!x;>(OmCs1)+KsMVlDhYr6 z>Tsr~Vk}-K++eX_b(gcz7#i2y31w|K-)5;-pQW>D#jU-SR>(Gz!&WPfW>*M*_(Him z4{^T*u*l)qz3Rx}uh#a%-m=!dwB3-6adqg~9u)^^_C@b~TLihiM$<%MuKE_G5b z*|rwcDXtdawLsgAy@ojC2TUeopHn*Ch|@dYoRxidT$BHEe$sJGGMjDj7IsI_gc2E| z;Jaq6XpkgU+u-z6irp^>m)(_GDpiv)Li!$MEfYU5A~mevwF|V}l&*#hJ6^CTl>9I+ zmM$8ZGi%*9m+-sO$%Fv!W{GDjCI##sI{m=Ks*o|=!yqQOEzGr{lop6Dmci1$M*8}0 zOSB7}q?|nCJ`7=fNFiAgBM(U39{Rk&yshS3Lw3YcD_)|1V)#Sr4mxymRCF8_qG+1= zSfeA()T|{;-wG(VtKeeup5!JCgCp~vuSBMGW^j(=W|e?Wk!AqKB>en>wyqz?ZdR?U+HdB?Wv->JlnYv%9|#Zj*0 zr=GK_4np80b|dV=?zYcOi4Q#d-JgszV13gEp6M8YJR z@&rl9>2>r6=E9>Qqylv+zsRcSZ7LH=lZesZ#vq_eDC&wLsdUsfomt&%c(cC9-5?XO z5~Cnl!eRF{fir(LVl5Xb+!GAe35sSyr7qmS9$m1}AziQ@zDO6oP@ffoP+aXEwI9=~ z8~!FV5p`$Z-cVzIWB*}%!k$*b-aEuT4*r)Rr_0~E*-|>M6Cs!)*rg7hZ#q8^l%kb$ zuOon>p~3SU!BUEM?%1AtU%of@n{qaE5;1kr@8ANcUP5*R=RbK2)o1K!dIgswvq?a;i`*NXKzv?0(z^0J;|1k(hL z!Oh-bgGu$WRzQMldqa=u29a~K{0=^m>1eeLQ4#O)fo&fQK8y)hr)GchI#veDmZgLV zjQilASS!Jb!-n`-J(06^<2w za&p)Qor|bRO{vqJ@>GglVa~0+{P_#;t@Jdi2j8H^^O%9{v`BnIoiOF-A!FdWx=U}3 z<|Ac_#M*1rW{IeJ8r{~vL+z*f7p>gy>m&k>?y9;si(MOZhc9`8#N9>aPlIOs-W^sZ zvCCS)0W2g|MHX7NR01`N@@LbTnKH?o^YZj`Stuw0-4=f@HQBf_H#Hc=EZY%*(@dZ& z!d?T~H`$WA2PQs#FT1a?@IN7;a;ogtl|~7_YngcW{J48CV3gX^gn)%0-vAUJYuTj- z&iuwqIJxVUw8%{Nz+L7j-jG=}-?mc_I;re*Tc4kcFWn6zwdY~xxsEEk)3jvS&l%z? zWMPT?fp~U)1X6XzDCrh46L5{xm7Jct?9+S^Tjb8+9#bl&7RdVR9XT}Li+>|X_;xdQ zeV978*P<34pN09ifSkf8q7c;s z!Vrx9^KbV-M*?+9p|eAB^YDO3C7>}u+ezqXz&pe=9AB=7Wnb)ivfm=d=H(D_I?Ef4 zop%PU0hU`ZvmH&^>wGYxR$wxA59;( zlW1sZX`#{-C#^#cD>vWeq-wO=r?!?>9ADdJPuB&^1*b&*ghW3Dy^<^wUcJEw1V+GO z0r{!_*fU(uTmn;qiIx75@REtE7v~n^>$b6XE0U7PX^}!RK;LdG^md?_z2BnXTXb zHW=LPxy<|0zQTxa+UXK=PWQoV>>hs33QP%D+vh2+JFGTuVaz)-7 z0=IWe?UsDc;aZSxQEpl=1w+>T*KEV1c|lOz^sd4R@9o*_LGB9=UDVR{NI zwCG66AyyNf`e1FDDzZgX+er6NAYpxO9W^H^ex$;Xg$Y7^suM{Ix?(8Xj%XXeA(U@N z#0!ltA}5q-mJmm05vO&|?IY8iH@s85 z%aXv3em3bJ8;FP8G2(2cM59XQT^JZK$sVSQPTmDK;j34ConW21;rbl}d^Ol5;gKjW z_tgy2Z}DXD(4V=tTC&}+>y&VNk$S}303Ij)-YdVCT7(sHdf7IZjupsz%$$?kI)%lD z&AL3YcC&E=ZQg9=$rRkR3f`dn09qY&w&%5NEe24hQ^o{~oB zQ2fRv*5aD|d6}&etY$`lBF!P;h&=+u*F|>)#7Na2+7HfCb)xm0mvL|s z&5Na8R^nN)uPw}pBkY23;*9?o_GUV|w37?I9f@lxhvoM`7vO0p@ogG-LLl#0y z!yFb5{XIiuRT&*!`It<_M(NH8UA);+ozzsD!Zv@I!o>Fp%pOfw4=DTfshOK&rC`Qp zB0FAn#3Sz-+SI9V;PP(-Z%=Oiz4VmDn9SZm=V-Z&Sv3ZGt8aL9ob~_`tA!%TBBb5b znHB2W+&Nfzf^Ur7Lg%*hQ{YNbwFd7|?LrTX7m%wAeiM{jO)g3`-Pt$l<3iB=f_^}F z!r;FGepe{SkK$XhAjgd0VK89me9|}jzodaavPbwzCxR<|z|=j?|D{EKQB>Q@{=^o}TJ!NVgi4t@vy zJ$y`t_#`@Jh(YfK1*YPi3^!@3;rT0;`^!CTl8YLLD$0V5kkmH%NzYtvi2#AXPyFEa zBh|96CJ6`{h(L}N=xw*X@)(x~VgGzz9<7~1-NONGa`HuvZoCBwQT?nT8pzXP1#*K} zpWmUduRYN|hgMuWN8&q2mHJ+Rr^#DVu}&pb3Ph|$)=esIf1!!%bnWnB3rlpE1tgI% zooxbPsh1VeA*?Vrn_vmWMrTI^uoI5@x%rzyqZdWZiGaFb?j;0KMPH0N_<3+gr~-ev zj{C$bNJ%w#apcBOn^2!c3HI;J(y<@V?k1#yE#tL=F9(%mX5t~upZ4V@G=YRd_jHN9>$69`-0wiBU*cd$VzzDZFGkK!Hq#6wBz7CC z1!psgAG?pLgp5ymF4q-y{VWb!nUmv<>BvgS_)7S*wEaslf()Dx0mIcze1@B&(hTy_ zLIc;ms&4&!4q^UfK0-gf_+ohyvJ=R$yt&~d=?T{T80ljuIpUGF!3Ed2krw81xOY$C zsgDEZV)}-(_gNfdSd@zR_WT87PP?cU7+-8Yb76N`NmRz{*UqwlPxRdMnvN)i^LYdY zwtQ~R37I0{Tq(4(PJoJs|B?}YSl707YDMcUEinG@9?F(qNHT8LJ`KlAMA?JPS`HOk zqZi)}F-3AM#oF-ps@o^K1@VwtJZJ4EH_H#~E~`Kq{(S9ZCX~HumuzA_gjm3 z=|vdo)FZQ9wWV^bcx_0@^jY4v!LrR6>Q2t{A)GkrDWtUCB!k3TF}GrH*bjf(<-wk@ zfvT+SOj(`OW5|%Q1FK_|Vt%?mtpypseV)M|u}}^0Qk%QRPkx4xkLqTOqEE%Vc>P@m zvY>q%#ez*BTthXBX!>@_wc>!ob_JsR5Z{lt?+t=J!anA0t*-0_yYS9hZ{hP+B6Z!7 z{n>m9;+ldjIafVi=fVG>kPECoxBGQ)2}L8AE}{9I_(q?SgkM?sDFKZT!$tQ4wg$yP z0FE`kAEqPdBX*1KJn(os&p2rYPk%!JxID%w6g=TG)s|ei6dT;`PN2F~6fogq8c6HR zClx$SqaccM$u8mvk7ryrm><|Ed6=I_9c%Tw71sx?!Oq{$Fh;%q5VuVs3prDLESp&3$mN39A*&ml6>jg97 ziiU0S(IZodJ3ql;f}`L3ZtiFTVkjqUINc!ouGcY;g?zo5>9Dux+CDL|+{QXXYm3ck zy%=i$e5)v%RP|hWKj)lFqjFdH+MOAxF1fWG-v`H1}u%dGh9*S0iWKG6s4l!xR`#=i%a@mlN7zhGMm zn|fC_HY$$9=`8Z(jkS zfxkGQVV8hDPvNpjTQGu01)YYO2KF&xVb1b0xKPQ3SBMup(I#+z4=k6Ue=8s;70baJ zOHSUemp5~;6VY_`!RbeEGTQsHNUVrFszof7o4BGS<+g_vlxAa^DuiKTCa@=wrd1|>%D{)`mxqavU zBt`$2{`nskS+@u3-JCBlG+eSN2CfBsr-HC2UEFyt735XUh=Oq@?++xl7pN z>HK=~CilwY6J#fK=Mfj?T3a1(_4A&oX9^}0v20`T%C_tezn6>=bQ;BJ2uq`VMm-kpPG;k z!fcdXulV8%7A|E{+6KU?ZVU*sERL<5)y4Y3F zNCTajb8mjSR2^IGhMz|&eM%Zaz0MsY86ow zH6LJH2xHY+)sph;(nm7&=XsiJ9p(fc+2Lw8NLJeoQuGf#2}A$hGZWG&10HH~xo%=>(qwhwpV>i@H7q#Sr;}sJHH&N6Of2RASo& zvT?Ob%F@?N2&_~b9D>om7R}9mz=;pehs*<;43oP!JO>XUh^=1{>F}Y7drs<#^gej^ z;Cj1X=A`7QKd8>zq+A}04lVc^ZV9qA|GIt@AMtr@6W_JmF`=XS@4wL=^~$OJncTp| z)_85ABenM&@x-RQC`5O7hv0>BI&Y+XO=2Q(-Cf9Z!UCSCF^n^*RNl6;mPis#HDLok zpq;*}+ayWm6mCm33mxNUm8<+{^k(i(--}mHy_!Lo$;jU7kF0q=oqWYgtNfs(UjUXg zWTY$zy|4lPIdxj>t4pbWL$arku{=Mer>&tsv2g%mqs9rnn6bC7soS!lDN#A+x4Pd-8TIw+{J;7bGFtB?}~s?8qk)62j!(oJTCD zZUWiE#x!MqV|MG$ z0pYLrVK91fT6Tx4-J85gCCG`uwl#UW7p+zVc^-dFdT8~M8z)(f9-8L8-!LODm!ew`4$_y72 z?iO}Hozk)ryWcX<^r|NcmsfQy0ujPOS zx2eE$Qcsj9dfM!Blgh1`m|dkTs^JXv=(dc@kJicN)e9njnD;0Dk2@((>>Ly;qKR`}^XPHHXcF6Tp#wj6KT>>HiuEv@Rc4$|TIAjhB;^ zR}UP{0zplhV%M+}7*1n`h5zwwY{ZuD*LR9%`T_KRn}jsWfJOOEbjV*rpip7i%VQxg zv&Vko@dAvc-ZM2KGuzj>*3nr_IYaC_mH)!Zpk`&A-r_;ZTh8%_{W{t#+zAr?#ZvG5 zK2lfGZpEAFOxbz|9I9^*0qgB}+w(*QE7*G8Ga5xLaSe9aorc69CD95iT%?-EquL#( zauq)*rrcr1+s0G>Ivz4?Y|O0pq#12ne&mFMrHOdUP2ra;K6sS`(9VWcW~eB*i87AN zaM(j)s=>p%$G-P#?*DV=+W#{1eyHN}jgiZHRHo6Wh2J0ti24KO;ftjq^&+X&^np>F z1Eum3`c}cF6~*ljyX^?cFG#;wP4&N7aNwloaXrAMy{o^=v7C6u;M3ggH=11c1vU0r zXFSewoKX=|g96u`Vxtqu zt?l<@x^GwQfc-^?wS(s3qx6;A73oZ)_{EO0ceuC*f^k(*&h6|W!_Du3P5$1`M$f3r)Kq36{MpiAcVi1OX3pZ;(;Z%=B8RKaiWG*W8>d5B=X}#IhAS_G{ATR6wPI<{SiX!*KRj0 zKTv~U@Mqx#csDaLwxc%}-Rfz#eXa2(;}Qp-#5uI{ucF{gS}6!#NHe3`37x&=&j0QP zC`~vT0Nci2Ln*g*cec=$C;O_3OL4w1=U4s)?IKiET zy9Rd)wjjaX3GN=8;D^1x??0#Nzc?53t?pTUHLI(7jGkk>&$!9$;#ka<{vh0r%B!Lj zuJ#m+*PN@LNWmnI6_LB6C*lpqOHyT()Bh75yo$7;XR1Lp)0x zU1=#|h?59J16+DjG4)@5ydrZP1$=}17C=jmjlL<-cH(9wy7n!i{_qLQ)l`sre1N}{WOfqSKd&Na>Rg`7gBa{a6N~3 z1}Q;aRnvDjub@s{hqLa1iOSv{jbHO{pBcJiS_*4VlK;q#Tl4y~Ph@WU?032(RBDwC zbfq;pM-*2OtGIGZ*%h>uFOB%TL3=Pnmxtu}4|nA(zMd89(B1r<|6Y5#G3Ki2L5wuR zv%C`H&IIDOe=tk{r2{99_D!Acz^#d?8N}sM4}N@hp*Z!M_382Kx2f9}$St4u@aeut zB;_oHam%~IXMo+lRL#sdLk#iT73*ko#p4D~Rmc1X1|$YU5VwMuU19`Fgi>8`ic|L1 zeuJ>pTrw?mI3Ng>OEnyAM17b_(Y1_%#z4u$44eLvcW z@GLH_nInJILQ23!=iTnJY7kH$|^(qE$9#jT5;N0i8iR*{Q5mYC;y?+l|i9p;IVIL5tRABk;Izqb{} z?<40}Bsp*2wHbXzj#Mg$`Kd(1W|Ck-3Ui<)3bIbHcy@G%9d0+LTlx^z0qMxzkNSpE z3x}u0)R)?jjBdRw_f)F3bI8QSJ89U1vw7=H#{ibnX7AU;@y(q&9g2CD*(sP{m~TR4 zi*Y8&tx;S(bLC7EN`$g( z0n+!*FPh{Ko8Whlep=6vWH~wX5G1prke+_J7zFL^$jlX2M<1vth`N(btxbF3uC4mq zeAH6iyg;(UCykKJSvT>hCypsQ6bLpW)cQ8|XC?~t6Hx;aEI4-)`AN%Rg^~BcqrCje zRU5HE*KFact%I9AR6(6l3ndWT8et}63{qme0-{)apA?5>*HE042`)_M&GRoI>_8o` z(s^Ry6c*9W7{#~Kyw(uF9RqI#+@lrp6i(4wRNH1KB3K zEw84GF&FH-Vy%raGp#N%uAXVvBy{Bxhs4~6^PIkO8h@^oKVVpHdr>&(us70BE{I zjtzQ7&T+h~Q^CZfhYHJ6!t3Uf`9~x%S!itq4j}0S=|`y4?4pHI&eYgC=>+q-q?_B5 zfr0b&um5;% zCgOf15k8Z`Vzv6g3J2TlsAM{SD&r@NI=D%QhK1U9cLgE_<+yH_yk9ZJi^5z<{&2%l z6`DUIUnO5mf?~ZHRjK+5LH@1imO_X^=w*W6u$xr?dU^vE#~L$@(8Qs_Q*hbhcF7*Y ziXT7Y9~Gac=Nf^yL{7Yo5o37;euRI%YL^V0wm+qAnx`bSnp$1+yC-9)J+!WJo)ELh z&8&d&4@M3j3WU~BQqz_qS~6S3);W? z=A2TwBqhM@9WVHD=<3t#8g1V1+MVrU2pk*hfGo)kSqG?ShDPixR7n4BRJsLxMA??c z58MwQ0q|QI85&X}K_Cpo9K%mG43O($=6L*6R7RK!3V zSFO9M9USx3ixb54n^dkHnH^^H1forcs`Ely-3F~!Cr{PKb0#w6T~I^AF?|#~QLbWE zQ}3&3(p6rMZrK#+L+5VfD|FPdsIyt-IE#|KJbw){*ygexon$o*+%JxC&P6Z%(@EwT zD)OLm6#vwoSy{p7%%Sm|A*X1Lv|HU?-M2lx!}dRTrPi$K5+?J^rba!X8wqGeoWA1 zJzD7nhBQb+?YzZMKm!k>FAJHWkbLo2hRq5eF+NtDo0g3}(7+MHZtde@x<@G#)Kj36|EK* zg$lBu;`GF0T*q+0e#!5a>WPN~6{&fgj(D5%H~`dSE41x~ewYh(y!?sbL+}EiA-vL6 zZ`h}_QoTS6yzG7mdJVm!U~V9J21T;BC+E!~qpvjrNL%lNt_Qn0Xdb6a_hmy@rn2{xH6|nqje!DK7lwD z>!b&%@*K#dkfP6qIj_&z$$m)RnHI9$?u)Ld>SOC25#fI*Q-|u)oX7fprIDU_!^UO= zCy+C{P@F>ZFt^-xa_lzf?;(?lx9>wKR`KO&4rPmq^;zWTVG~x>`SCpIM^zJd{dMlo{-K)4Zq7k& zk{5az`wJUx;@Up@OPke8hOZ>C3xz!Lx^nhG_T<7+hcSA>YtIbsYg|+AH+Qo?Fy48C z-$QJX1Ig%gdTD46O3|XDtzeVC$I-e(J}IokeXB&JzZ!25Ozd=?6x|;f37G{!=aOVF z*-q0#_C>QUx?8jv?$CPHz+tQM5vwq63WdD&~ggC6!4=hI9fw#0Qpip*J zW(D3`ei-9(=88$^kP}ixtegTWU?@+%rxkY4V^+48Ad;gl0 zfX5#07s_2HOm1b3kiUGHlYjo~=p{W>Od7xc`)w48-MRUExN$84g96E{!ROk&B35~F zl1(~b+13|Xw`JYh;hwe5kI#Iua_xq=dU^dwzxrJA{yf~uD3e#EY__Dd#Qo1D2pZ2HlTfkzhUeojQ z#S9n*23~3lX)VHM=i~!Qzj0B2N1l8Y%~;g-+6g}Js251N!@d2JUvC7`xuqRg#9nm1 zllybMJ-T@G7om&$wcRbsR$u2yh9Kxu+t<#lN zZyz+=Vk-VRmvGH~_XhHzKv&c}Eun}MnK7c^L0AjHZB+`_pjfL0^qi8vbYpDdQ3c!D&JNZOMAH9W?GgSUa zCOuD6J~4%CEqI!UdpEU)7RQYo$9cmXLakDW__+)bM=-BX3PCOtP7Y@TSJ;9JOV|cS zSYG*CFd`TWi3|-HM5b{g(W8YUj;P zbvHm2s(Q+((r5WzccZ|Lp498OTdD{2fRS=*7mYrD<_=Oh~8S!$80oeTyvS>t2C=X+iZ(`Qe45jG2BCpVhKvN*ex5} zQr5lS{G$~??(3_E`-upQ8X4UR~9uTASZ!y#=I8wGrZf#LX1 zf6jZ;j1>5=?Z0(vt&$Uf2z;<{`}^EK5RAj&Q;R%BPnUjN)NQ+f@bUX$1ZG^v z#YW|%V3W0V`{GW)#}0<3fA7P=(gYyGa&U0|OS@_|u>JCz7x0>E5)}VQD9VLAS9O1U zxkF`!+bio5QNPepmG)EWA?eHQA66uFD47-4qzP$`w$3HgCuXP-t6xNt$XpZHR(N0O zX;<6|>0PyU8fjt_qp5*kwrnr*+(^l`f+)j+Fv`@UI3O8wt-t|f9nv;&4rADFZuaPL zXxN~+zejOMlnK9xuty#eDIjjUZZb5@HbEp*?bqCL#W>seh($B>s@e6@`qAM${Hj50 zw4czL-hY1lr3m`@4JQsKgcBtPU)mNK1syA3>XXNjV#oxe$=dWIp`I&5 zP|Kk4p~+4WJ7qT~O=7q~NWlE5)C=wQkqN4(1vC}~W z>84?msiCw}xN@5aJP2SMdn83TCK%YAIRbLH$+nVQlu4K`KbdQS>u{L+KZIqVA(`8E4eL2K#dVjfZw9WQROOSp5MSZ7N=qeDzQ8eJmI~0b7_Ra+&)e8e5ylpX8FQte1h_guBSY zDsy3+3kf8BVyKDb{BFl04l5}z1oQpG48?d;O$?zq=8D%S5ep<)?bQYe@e1nqL@r{T- z_rVQoK=sOd1>Z=xtKx1|d&>^kLoMjye_s9d#e5LiZzbVD6-X4y8#IVriDl4Uof9V^){Y z^9$Tu@a%B}j4R#N)USac%rexakD)jcjhFdAUA^!pje~j;-K9!br3ksXl}x8BXnN`K zztj41X=nRFH#)#9@sQ7dI512pKjalvPS*pfjwVQcod%qKTKqKwY5Rb9*b-?oeR%to zh#2&;Gu$Ya>qXmFD@E;|!!T%so3%7PWg|B|R3lk*Ry6&UjXQ1-BpNC!i#UDQO&qIJ z{0bG@Aw`|5{>H?uzbaQ8X>&7ZQA0({LiRC;CjFaDQ(zFq);&&8XXUqVHy&}n6Y*co z9fdG-n_9HlHq#j{Lr<++bVIjiTw+jYj_#?^>5NRNaSR&CBE27@d1E{i!=`NU+UW6k z&4v9G*7Tk4g_q8zKo06N(0J!aIOb8%Hh3vqzs$OYF}UxKB*HOXy$&4*g_phCk753D zrjUuf-S$PxDO7~Qu2D!+Iz#dD8!?8Elnzlc`eMx!Nv|PEbCCPRC}xiO#6TFLLr}hC-qPv(s8{5`7 zaHA)L42mu+f<#x_F$s=eAaXx$Bo-}NY^CV9=zl12KJiULm+=kvy)537i-1nQ0Oj0z zEtO%4HmdPYZE#jR!V`3iV!EInRA8PTz&dJqBB4+wG5DRu^-HGFuW3-7WJp4zy520V zpI^V|^#pTWLw=#PsfWGZhGe7q1wVdxstkYn|2Xx(E z%>%~zb*uZk$rc1w33>$3t%T8UJ5FVaoN>mvRRUKQHDvQ*MGmaSI$?7ROD9jNJ|D3Pb6EwJ?l8 zbKLSekhNpw+D2tz`;ZjiCi>1jt?S$InIfW)wO?AENKH#8LJoxsBvXU|0vj^!ch{oN zO(4`3uJ7>$(YLcN$lnWSQg#Q;<@Y4Jz8X*qxIg={(2BV@&K;2ai_OWYXOSNBG`ibA zV`Y(St^?Liq>Q;QU*uu`!7B1<6L5mWDL9Sh%)>E;8%$5f` zs=fPF>OzJ?<5<5CH|uX!h(~2!RxjqCbm^rx=_z`xCr!mWm4MAGU2=;yk;=M9#pc&? zP=dLo(U9a*m6X&Xm4)1}^HqOn)+Yxm)}^1$=qu3NCH&t~5=h!45l{#?(IAQew^uHB z+Oki7XXY@ay{{qChZ@SE!KPFe&Y2YJKJGAQ;K#R!i6@P>(~J%i(W$i`EUI2O#$9*`kf@ zX;qdnPup}R7VB!BIPZ^_6*|^co;>GK%rgR4TYDs8NMQ@{91k%B|Dx(Sg?~|p9uW3y z7e@If2V#o3Y+T^p4pEg-ryoy1umzw$5~Fi^MPe{&MM}EHN~ST8UMA3?9DRd;$|W#t zv7Blp(ko}lT9XOQI~wW828oMp(N*_?EOT_zL^g^l+BUyVc_rEasfmLdCDHBVU3zQ# zB-+TmP#nqpQ!u7cQ)MQf(tLu+YaY92R~rbga_9oLzDi5Eq+wEp(jl3iA0OHpD=!b5 z{V|IXT_TCirG0l8vX~}Ca;S3x>A}!`teH-bibR);q*XU_mo}YaKg3bVm#z&@^6a`T z@DbF*DDjR!KEg#z1JF;Cr3h-eQX&>e1L!|_mLQzDSxieT|o4Fz- zJz^ma{gD{=cq7u3<2?gMOajO`L9)8nTvVS)I`O zd~7ez*D5pa$S~15xki3vlw!SdH5PB-CAm@9Q|RC~Qi(o$HtS&Er9A{QALyKv8j|6i zm_7LDoPDHO|Lyi_)@(TUh2EqzysdNlxj|oCu{g>rayi*fo5w#Uc3emR%F4v0m7%XY z#i{qTL6Bwt8svry-zZu+QTE$Sv#8cr+*A9jU4H3T;xl#jyb)jjj_Q#{u(~Zll>oY>^mp>t#Cw6uInnKZ*F{+49(Ubg&jCO z2hNn@=!1jr<~^9dcW`{1(h&pPIJTpu*6Y}UDV>)HC=>Xy z?a@TeeL)AKkL62RfUhcv396_LRQ1CYmh~+8((R=YL*xjqoF`cKxe?yLtu`D6x#;+} zz&%}~#E$E^i-ocx-$F%PZ$j5pxEUVa@~3o0wLul@ZO~g$QS}HO_vVKdxf+0A;UwMA zZc~v*tWoUr+@_Ur>g-RHS@8bfyq^dnO59%?9zo@XZ(JrU>T`QB+ApS`9GiuI8rEgE zGI-9LZG$-GX8C^lL>l}+(kT%Sr21U{%>ZS{oh~{J2ENjKs~I;4H%lYmrFn!KR%@q( zK^-dpmsKWut|KQ(aN;k10~~y_MJ!=tQXDF3b+%;HYpj@B8`wxcjgPb+&;I@MeML=$?U7BKr-0AgAs|4Q*3-__?fi`!0nS{}R*8?&hABcZ3 zFMjB}uDOh{I7$?+R*Lc#d7eW1wj2qQtmXiD9=6+A#T&g;?iPMoCpxKxEmEj^JlQ3} z+)9_tNc>iZXT9ukH1kjsdrRxCV#HZPK)Y!{Iq$f7S#;ju3pE}ZYF;!MzN>|jbLy>G z$~xo8&vJdeJEW(w(%RES6tez zLE-oaj2P~u>HKxBn>7I&E@68SdlP64G26L+i&^-zRK36b2L=6kPAm`+E&% z=XbaVKlgue6ADgN&i_pR%bHM-eqSprAj>Ps!zUxj&LhdeDakI&!7anj$H67dFD1h- zDa9)z`u|&k{6A}qz}QIu3K+is@VjYOe00g?yLvALPNCO*OxO94;UGAY6bW@l9Di?%$xYt)sJ&`6~E_621Vk2t(AM!5--}t{)&k!nm@d5TCA*I?^v*@UT^Wd zG(KydU){KW50)nd#;$S&4(^4%SRsryWSc8|&IF@k3?wl#&2ug!zTnfsGJt+HZ0oB8 z@6s@du%ONq1oo6jeXmdY;@-nO+F&*q+6Md;PsBv4$2S)C4ibCPkL@QN3S~B5uI`{D zp#nNuIeP01{>&d#6E3XT%uJ)YsPB!qxq0!Y!wa`#wZlOrC;xKUJMvsIF%|$M?f*RyBuqEgp8&PS`s|WA$#hu&FYA^Q&3F#*qEH44hHcyU?P|z@%GX? zgpRXgB(uZ+HYH#u6Qw>ZlR&_d7cJQ4y66tS3ao!t3>aS=Qs`xm=_PasW~oa}T$iwg zY3buW-0*~;mCaly5{n{lm5DPZAcz*6T0?(21^g8Kbb5g0K^%8-^z`Y`lEvRdwjyuF zszU_*^K2TfB8fP01};cG;Oi@O^bA$P9c_R5V}bJ%zd^{Gks!25nJRGn2IentB_oGWSh`L1W}^RWa$49!1JqN4Sfc$ z{axiA8McfT7;=d{*NP9r-PY1&&hDP;}J;vS+`#jpiif2C#RH&gn3?!(1 zdkl^5!TUy<_w5#$Jn!N%QWvDIdYhOVMSq9PkY{rr>6s^g6Dgh7_RlEr8W1}2(Tp0k z;iv<|osP*;7ZvU`dqI0z)x$wuQ23=q%zjLO7M~=E5?+H6eTEWtA4*dKT}&$(9lMSa zMIhmQ3sYdgt0P_a5uQ|vov2NO(PS=2*+Sz=xQmINp91Q z!AerhL1p9@L%04+UnBB;6c`ie;Nl=!8KX5=3KI~Tw$@lAtE1oRg<=n;3?jlwr!>XK z@ipa0fqFNhhXM5ya>h{pFL5Qup)if(AOKaV7)a0F+%Om6L;*(I$}(wwQVX;o+krpocy8@A{MX;BB7J`k@-lB7ur z(Or`KMm$v^Cwm6pU4rK(YfP&4cmqLsq0`yURs>BFW}%P0iYFt!yQ~vUf~^RcA%70~ z_UcIO5QLq4YgO{lFfxJW)$4-zuT=DE(91`lrJGZk3v@uuBvKl~eAuo2nA9!L z$1W_v3!*0c&ZAWdBvJ17T!I!dB^XPWH>P(q#v(xB?cWH6oP-w2daKgg5-3jM;ET|w zyyJ-Sm{Y`Pm>>8Gf*ZBY@xOC|HkAq<%}n)(P6^W9jLRQV)t|fy&h-mk2_*X^3S0>T z7^)0WPG^`~tK_3se^6DfW9gG)t#mM(gB@q1KT5+&a#KjdLO6gdkTFNdX#~VI z9(8b*gl?vc?hM;=cA1W3E5*&*`0vCbq=FoELkRJeGMkq*dxF*a2gTRCIFZ@llk^)A zbUbt#GZuH+%uq@4#`OYj7DGPBh|uqQ?ZHkPSGd*t(`!kM)s8?Xh5F%TD1{wW_tzBw=y zUH&Ps3DZtxHwmz}!s@Tzc1j1?%R|x0raR4{HuOo{#Aei))_HoBYFmJgYYV7!=@;}? zYP*!#`l#x19R>+7X$wnUUw{u?J|lG%0tszQQ>+equilz(ImvG2dff`9N5JeC1p3ee z$x!}hXcLYP@Trr+@EZbTOM{Tm)UrIzo2*!sv_vxj*Fi<)3o5ze({xxWdF; zK6L9{2=p~3L%u8`LDQihK-M79q?c4eZ`pN!1r{%_G9Zak5GJwt1uhT(VJsAy%d}US zkp16bqj4Q^hsrL`#B<(z+4mTXbAnHgKElo4EM<6S?437{ybE4OpNRHzqd0Fd^jEpR zy?6nB;TM#2{ECAC?ok&UbT4app=wBf)C9IQJzsBHA=dFoAVQqiHnqRAmMgxwKVhwo zfh>nNBfBK*VTdmvcBm7TT~yyIkU+Gts?!u>N^MnOSqaKfj%0ZDTrTyZz4ZvQrM0UxuaLEp=kG)iK_RVV z+)YA`Q1x(zY(Q1SLjvMM9TZAF7QQ4lt`u?#go-}o=Py>!iaf6GFy+O|4|5in$b&(mB;_>{J%F*MSZwGJPtO$Tn33FaKH4{fX= z@7y8gMYb$0Nj%R*GsZ|QZ=r{+svJOkl$2^NnLKvyIf{}n)MD^Ely}&vQz~iTyb7y> zM(cE*qaX_uXY{3Pin_qM)`;fjE{LXVO^4=Yv>1q4H|mSb^-h9bRdw%GfnZVdGgp|# zJ7CEQc-|N}Ix!wz6u%=Rf|SjjedN7{gB`vR`c+z_h}27^r!cJMCL#Y^ZxK(o>c@y= z@}on~JHofxana=uAo_|$n{<1m7 z?qdHdev9#k-l;FsYjcU*%!M-?lmVlH*=50;Gho*Wohd{=qFkmUCN(Ee!ksqfhZUVk zq$e7-GkXh+#*Bq`FK@_g_5*@v`=?x(v#eK&Rb}f9WypDtL|d~$n~D|Q)1dXS$3LfU zu$4`a_7sZal+&pnVVIw#k=fg>%2q)5c0fkVDWc6abbI|0=2bH0B1$|bxiBvj2#>5s z-+TM(mNoaiLOaKA#8Hq$n&h448*c9Y*ks-47HJ+*ks& ztKCYu%p&I_biS)ZzP@ez@sFih;-yhQPTGSFkQ<-u6>))frPb zO94Q>U0LEL%JKd9ODKSkzK2dCo;ao6?O>Qk7(c?65VXVU2#+2|c65?9s@$m`%0ry* z)K>h#QVBttknmm%fWJ+b)4b>sawibMY8gmW#&6=q@$oUBD=kU+CM1M-c^PZV`G=c( z({A9ilV$z6gA~TDB=1;+@DQSLx*$9|fg*^)%58&b9)Jsxqz^XR)DA7PHb&d4gJaCc zxhZkL)9UB^_t>?vfnFC9w9I$bP*OQ3k3WuI?04JD2_AehDntHDzsa4s>b$=AqHjv; zF4^g-F|mOD;h$9DJw;%P`6sgHn2N_Xatp@1g*yTAIBb`6RY7S?3d(xGqJjFY2qReP z@IJ=O-Xx-}4-xpLDNKp4Ak5a~fU6(B>kgVDxsM^n?r0sG3IP#t+(;V!8i6_7h=jr2 zZacjfLo<^VGsa(tv|AGr*f=H(-j91U8tBUdoJl7}taR3(BP*ys(`(8*O~X|4wqTN) zS<360S=v@T>t^P-9H)$m91vN%4u6*(#VAUdGum#@3{iqiR^xg&EF_=#Iy;nEESu72 z%!7AGvzBYDp4xKdJ2S;cBeO-?VnhE(wSf-lDkb4gjvWV4s)*RpqWnf4D&?W^sf-j$ zOcA?mTOU=|meH|4r~DF23YDH~lw%7}jsmI+lM~3z6l$9jk?<6)R3PitDw`Z~PW{$h zyGr698@EUvFuzBnCfHfaNeGwdV0Y2o+TU9Ba~n;Z0ZMeBx92b>_}S%OVT%2dE1V#7 zFwB+wC7{A3NVrzeZ&zTXUH$W898)~?giHgJ7wZ-b+g=o_T1d3`0?dSQd#aGm2xRK= zaH28}P?IKSVGYWwLdmxG45}i`u{Xi4$qVX1=F3HGSn_o0Fll?3^hMtNu2j?Uuh8Tu zK{{xv-sSdJ`;Mc)scOJZ&0?6J&3V^V!ucv4=J~`+1Fm#2@zZe z*m~xI@go}jJ`OOu*y}!qpPMEC?H6GejkBS2WuVZItBW0BT2!e6bzJ^aB0Wj|h>Zna zFKB@?Pr`#`oEH+?V@~Kci`L)f*$3nc=oUXlt!2QIQLGH-7?LnU!eDn#1#7TEpQVON z2Cm^pcrQT00jtk>(m$dKwS1Pe#`=$(d!BP;x<6un$#I3WwS;ARJ}r$LY)a$afI4M4 zi^Um>B?K)3Sq-@aJb&@mYTIak@mLs0%3H7_vmiR~Lf7BhPncT#O`US%mlCiu$~W;R z+5;@93#HwA#{UWS_MdnZUccajU;*kcAR$fp+fzbr${)Gh?!2mSOLbI_f0AkBOjEoj z3B*GdUxt{FZg5^8Lps8l(aR=?x4-siTwTbOn%3V#%q+Y1b)GE?$mI~Eu!JB4Bp7o` zFW|N_JBUAixT&N?zq;|;5&mx2%}0J!K4Zm3egjV^vO7JQtJ-atHi+t4`;9T@5KjtO zyJmIv4QXoe^(K69QA$lLYUa#X;1EC~wZ-9WOsoAkSrqYu@%v4MoV6clw4BpBm$lli zeCCV{c60vIeA4-hcO&DU71TlSaBkKfU9%UB!>zV{S>=M_`)FPkt|D(pg<`UNXK zYfvfvnAd8)B_^>iziRG1dCyU9H6Gk|tBXd;Fym=1A1my7E?9o;R0i|em`w*Lc`ND$ zXvsx;ZROTyPkUUK7|4b6ma<*f3aatKHiwZ0yEz+-Cf(-9r|BU3Oe}gLM{4OazO;;*q1WzvE9)XlZ5CWKsSP DxLye0 diff --git a/thesis/content/60_evaluation.tex b/thesis/content/60_evaluation.tex index 6f71751..68fe388 100644 --- a/thesis/content/60_evaluation.tex +++ b/thesis/content/60_evaluation.tex @@ -22,7 +22,7 @@ The pipelines \(SCAN_a\) and \(SCAN_b\) execute concurrently, completing their t \section{Expectations} \label{sec:eval:expectations} -The simple query presents a challenging scenario for the \texttt{Cache}. The execution time for the filter operation applied to column \texttt{a} is expected to be brief. Consequently, the \texttt{Cache} has limited time for prefetching, which may exacerbate delays caused by processing overhead in the \texttt{Cache} or during accelerator offload. Furthermore, it can be assumed that the \(SCAN_a\) is memory-bound by itself. Since the prefetching of \texttt{b} in \(SCAN_b\) and the loading and subsequent filtering of \texttt{a} occur concurrently, caching directly diminishes the memory bandwidth available to \(SCAN_a\) when both columns are located on the same \gls{numa:node}. +The simple query presents a challenging scenario for the \texttt{Cache}. The execution time for the filter operation applied to column \texttt{a} is expected to be brief. Consequently, the \texttt{Cache} has limited time for prefetching, which may exacerbate delays caused by processing overhead in the \texttt{Cache} or during accelerator offload. Furthermore, it can be assumed that the \(SCAN_a\) is memory-bound by itself. Since the prefetching of \texttt{b} in \(SCAN_b\) and the loading and subsequent filtering of \texttt{a} occur concurrently, caching directly diminishes the memory bandwidth available to \(SCAN_a\) when both columns are located on the same \gls{numa:node}. \par \section{Observations} \label{sec:eval:observations} @@ -103,13 +103,12 @@ Regarding the benchmark depicted in Figure \ref{fig:timing-results:prefetch}, wh \section{Discussion} -\begin{itemize} - \item Is the test a good choice? (yes, shows worst case with memory bound application and increases effects of overhead) - \item Are there other use cases for the cache? (yes, applications that are CPU bound -> DSA frees up CPU cycles) - \item Can we assume that it is possible to distribute columns over multiple nodes? -\end{itemize} +In Section \ref{sec:eval:expectations}, we anticipated that the simple query would pose a challenging case for prefetching. This expectation proved to be accurate, highlighting that improper data distribution can lead to adverse effects on performance when utilizing the \texttt{Cache}. Thus, we consider the chosen scenario to be well-suited, as it showcases both performance gains and losses, underscoring the importance of optimizing parameters and scenarios to achieve positive outcomes. + +The necessity to distribute data across \gls{numa:node}s is seen as practical, given that developers commonly apply this optimization to leverage the available memory bandwidth of \glsentrylong{numa}s. Consequently, the \texttt{Cache} has demonstrated its effectiveness by achieving a respectable speed-up positioned directly between the baseline and the theoretical upper limit (refer to Table \ref{table:qdp-speedup}). + +As stated in Section \ref{sec:design:cache}, the decision to design and implement a cache instead of focusing solely on prefetching was made to enhance the usefulness of this work's contribution. While our tests were conducted on a system with \gls{hbm}, other advancements in main memory technologies, such as Non-Volatile or Remote Memory, were not considered, as mentioned in Chapter \ref{chap:intro}. Despite the public functions of the \texttt{Cache} being named with cache usage in mind, its utility extends beyond this scope, providing flexibility through the policy functions, described in Section \ref{sec:design:accel-usage}. Potential applications include background copying of data from remote locations into faster local memory for computation or replication to non-volatile memory for data loss prevention. Therefore, we consider the increase in design complexity to be a worthwhile trade-off, providing a significant contribution to the field of heterogeneous memory systems. \par -\todo{write this section} %%% Local Variables: %%% TeX-master: "diplom"