From 8734e8d264919d6673c261d603903158796116ad Mon Sep 17 00:00:00 2001 From: Janis Hutz Date: Sat, 15 Aug 2026 14:39:02 +0200 Subject: [PATCH] [DMDB] Link relevant sections in checklist --- .../dmdb/data-modelling-databases-summary.pdf | Bin 1387600 -> 1388075 bytes .../01_normal-forms/00_intro.tex | 1 + .../01_search-space/01_rewriting-rules.tex | 1 + .../dmdb/parts/04_query-processing/main.tex | 1 + .../06_recovery.tex | 1 + .../07_recovery-procedures.tex | 2 +- .../dmdb/parts/06_vector-search/main.tex | 1 + .../parts/08_quick-overview/04_checklist.tex | 18 +++++++++--------- 8 files changed, 15 insertions(+), 10 deletions(-) diff --git a/semester4/dmdb/data-modelling-databases-summary.pdf b/semester4/dmdb/data-modelling-databases-summary.pdf index 94c3a01847dc95692b612cba873cbe848bfcfe5e..ddb3b06668c3e5bdc138fd71a2093191f22bac87 100644 GIT binary patch delta 28253 zcmX_m1yCKq(luP%?cy5TEx5b8OM<(*1i82qoD0F--QC^Yf)m^=IDg)IU;S0PRj22i z?&;aB+U=d**;S2--x>iSkRgB&s1WE7m=M?yxDfadghoVw0VErk4H1SOMEE^vLF#t1 zM~uZYp`vy+rrVnjlPnO3Zgh1ka+{lS(1fUOz?j}ORnv2Ml0A1k@Cr$(QB)lzIp1oz zxV^a`c${@@n!4nn&yCCRsN5L>LOk}R``uZ!{^!b)C6g7?AW_CEPVYc+YmsT{>16dikSw~y zGCB?k61|(^g&Rq^FkSr|=L+;U3)A0c_sJl>XgVe6H>BD5vopkB{iDsjseVhFH%QHN ziV(15LgQGJ2@58^ak5ugznHS?R!zvY-(P#pb79SJTM;g$--f6nAlID^Nlg+o34%Sr zVLtdS9r(eQ0w{)$<5F{6#2a|l5#zU^XyP}lX-I!RFYme!?F1w=BYn#+ohp=pPL$t* zX`$q%(Bm;jSz&@M@;D;jdIN2Vplgev@pelry76fw<1s!i?{fSM&t>E&Lg%%+mgx}%3#O#Rc(=BHOg(f*qFd+DTFSy&IavOVP=vQ+V=i_8k9B#ZO=v&VQ)wHuu%x zE+G3a%4cr;f%`9iH^miD&yU+*sZ$w=VOv6ex9fyf(=ri4DhLh&$gw?y*1sOTW>Nzo z9xr7mA_<*b{h`fKRP;oNIwTG3%CGcZ5Oh$~%f)@lGC`&=b}t&SPLQvSoN_t^+3d--7C;svVr!XXSk8LE+n*r;!ZW`3s_uLjvm;&6xHcU9sVRCnzgzKp2hXhqcC zDaoO;+(FRd4`|Q3v#%`<$p!$Q!~`t^dPPW*mE2^MGqsI`?m+B1wd}qPZlIpHXGc#d zQtrX8hq|DaIs29|{-Cyg7@e+P^Cc}?BvUwF~|D;WDyWLdbe4U3TK11)jSSMe;!?%;KF?W5%V7ztF5v8~XYUXudT zj=Xc^Y}X+`EAO`2rIxSJXhr+R>}CRyWxD5&6i)tN9sXdi5X$PxH}v0&w(W^M1A!Lq zZBw9VIaAk@Hb99HQ=tD>gw6H^Glq)zJ74%d;X;0F{zTut(C2b@6OuEKx%*S3 zHZJ(&j2OC3C4XWbgaP{54{ffKQ40%B2nDwuatG2hasE`S-@HO6Z`xF}xud=)fDFYY3PiS;5EfH|_-O{R zz|p~(C4Qxggp*qK?h+)qXGq%tgt|b8i5Zd$-`}?{P0T**$y6LEYSYC_NQZ0q6eW92 z-x0Q>ZW1sF48V=jeu&a*i+m&N87*H=SXEFmL#~gb%iIc(1h5$;|DAF===$r%0gD(X zi!O+V^-4fDwHl9+RT7sYuov)C_qqw>A=Vnm%vrOVDg0-HV!Ph(GFH&cU0G&xj*x@G z(a7AH7ISjXp>VusDq(8&?rh`8QaK@4qE(ovoG6L1Gu$o2K?DYPw~Mn6xxvGa4@*6^ zKh>^&+;86nWxik_{E&jBuFhFmuiZ)?9d^b+vSF2`?L=N;;ZXj(f{J??Vebm6^V)IN zkP}YDh%}OY3H8S>a*E3(zodvEHR$nuev4T;(@r`M4YO)wZ=Wnq8)OQQ&V!s@(W{e_ zVd6Kf=gZ5COXILiYFWoRW_+@(*xJ7`>{%KV5;wW<1DXpT8!8Z$>1}y^*Uf}fUVmuk zsm+co?$6aiOY^p43e&)X1-yb(Zj{3|z6wgWQ7(S@lSqP+m6m?ulfD&$o^Zev?tFnp$Q9H2HR&*{0eR8FDx_cMp%}wSL9 zhTPne>}sDrr$(8d9&rZeF~qjiev#fZM&KQ)p=(wXZeP_+Vu@KjIQ0)*H!RKb`U)xX zOIKC68Hpi(voFcOy?-==-$C5fNUL?%jnUCc$t+1n(E!xE?3BHscC z)#2ev!aG*Uv?S%;Ky=$dSsZQUdF7DACRi!H&l(zqOQ(my-gR1arj|WOZ!eWGtcXnl zbxUcd`IgZ`p=7h}R8NYAWt9a%FtB(GmuV;hVxHSgG(JDjvjh+jCQD1eW@A-?UDmc@ zH7CIedm(1GUOu8jSP|9VS}{$w5S={XGNzXF)vwun#5YJMK?z^Jt{TCffLo~TlWQr` z`PgH-c+8I|htsSCOaf4#pnUZkZekyVo%qE>b|V>srcUVtip55uOAaupe37Nr`NBD;yj_1!7FQxAu1W-`yC+s$2#dcY$Wa#STZSY@|=~U=D zSrw75zw@}FG5=0Kn3`N6IfR&E`eHLpM@PL~|FkT8<1!NLg4eHs>kp z5_rx&vP@Dz-m)xg0r*O%`TCq>YRSazCTDy_MCg|l0dY0X@fF3ll6lq2S;vjG0TT_EfH{bavHoed=ij z8{?)owGi5x#Y6P5cVu{32wLBoXLCHuWoux$G?3{yQ*6t__yk^a4VmxsMDF>22P^8j zlEDdWfJl5jGuG~ZXYpMmKqt4}hxr}Uhzl1Vj>HnKCA{y565CrfovxlM@wu|rS|o-U zH6KfRswX(^O>>5+3(e?A#_u68nz*`+(?e%tLQT!ig1AA|C;Gb3O1xZ${i6khjxhut zvs;2Cg2ML1%4H?r-M4Ra735W`5QCO=)VVdwK^e~rl`q)tZ5Hyn7Hxr=Mz}`8bAMUG z6b*peijSbs?(M@#>M-Zq)*R{!i@Juq(bWmxN9h~;-Qd7aQlZ0s>Elr2^JwFzT3AOE zQbAAUa5VjI+#zV+5$zuRPGMk|nYH_;9(emy7b-SLqZK)uU%D;)jzj?Garqr|6WoZD zppf0<{jZOKD6bJ&CN8#Q#>YL5WG4unU*cBE)G=&ptcV%m@IKhsg>3k1#|Wn2R2=q~XV8K!`D1 zIm*X@{kj23iUW*DFQPj1a-Fk(zw~hjvnJ->Pwp*47^{?8+f2Sp4g|0d5unQWiF~}MCrSub<6JYd%Hf03;d3u`n8GD{ z5-Cg6OJ6xZmU`$wPZ8Hlp-1k6lHy1KmHC`yeiZ;emX(QUwhX{xLE?dVmIcv5w)&S}4_e1RFN1|d`!B>>^^|y2j|?G^ zRz=i6TnjX}YNvhFzk?N*K#hY6XQ$tX9C@{;rlDUGZFY(M34&&PKHiRUJxbml4NNhD z2)pUVQpMrL=+==$#`UZ7la*_U&?;Hh;>Ye>Zyi(Rp^VC`Syq?FY&ojs~r9!a|vRinH;MWptca%nx5^W z59ZHbT|ByG)=pz-F?tEW<)L98YAu-v(@Q8T;Z8m1i#sjV9(72ky0BvA{X9D99lBCX65k7GC=qT^hxtb85w9p^M-Kv_@#%N;2rm`V>o>T+7 zk`57^E42(g7XO*_^fBmzOjbIW`4CY%4S{t@VYb%6^&9*Y!oZ`_zDaiR?$?b3CCkWp z9$y2_stdD37>vv`nOg2x;|u_hf;~m6#$JnmE;+6xH^NAk74uC7+uhZL*MRM9>Fb9{ z_6|H(#snq8=jjsA2dBvK;mS~PmiDc|lk@!fV`)AC8(%XdXaxk1$%c!t_?3yqxjg7u zX1w&6Ujcvan#*y;|7+QO0#F;_>5pgmyXnjv|6cHn$1au%lR3rR1`H<^1Terr+M$yPFetu*)MSAeQqR2#bxderl+80;j-B3ns2TdoXjmR3M^zL zPYN}wMlTUc@xtVp4P=2DzaIIE6D(0>O%RLm5pYuEwX6k(<&`jDL!C7iVXH`0m(3`&uRzM9JG~_-Od*l3=IBwW#>9^fnYW=6S60Y$YE!ql*Cyb zf3(Ez@m~+Bz*t5MLdCCnY2N_$l2;{^p|$MtpMN3Gx~C?5p`3ilDo+Bad`yc9cgxw4 zZ+llMFA9u7j9~*ryMrA|Jg0O=UBC>9TvVQD@UR+pKK_?cwqDqtMKeT7t|C zSrnD3vs?19_>Qa4weP?g%_Z+7HeD|XZdzP2w@JS>a&FS#nD)Z3%xQ)7zKlu@YO6sI zf|$bSe%FH5ZLbr)Ggv8^eQUXq`VRy6cK37RoZe6;5S;cF_(d1fsAJA)$AJ0Yz&D>wK~Vr>$y5^&3m2=A4fLM@~0WOb%0h-5hwDN{s->?3UnU-yxHdoIQ@D z_)hE5GKH(F`kR;)BcckG7WwCU0^%VI2`cg*2+aq8589~@Z#I!Q8jl${#bLl1;m*DW zZWv$-5FC#|2S%mZ#le=$?%)z*4?OaE-;1>pV`gRyO1h~ zM%KcVK)}6BFRELL^*{VV6(s(rhRly9NdGwnoW#n7FfIFwP<%YO>YU8H{y2a(Mh&FH zr6$j(9 zjc3xj67M||Tdb3>p;^`XtBahzyo1vt%N7bC6I6o6{4&Q#G12(T>vNW9+q;wJHATh3 zz`6yVlvB;O!=MU?JviO?T*}>(I8c{EpPO@9t>C;MAbv|nXzx8-bmvP#?|@KHYk8ZS z=0p7kPQY;$KMTsN>On^5q#b13Rn(-#*Z7Zd`^`)$5uU_BRgQ32(7I>;akhMy!2@SE z9T+KCx5dM|SHChGjNw87~Fg;QOH>`-_EMxXU5&BSnlu73SM%!=Eu2?}DN zeq$rnVk;2WWX{}mYj#T22~_ncglBikYPm$Ngd&W#nDBSG?f|aRC#m~45TxO>MrIIq z(QfnDwGa8P7-)6HJ$Rlxg4ic8XpQ>Rz7YTWkjiA}s!(BIHr-Ea4rRs)$2QqEhvVo>;;!b2n0sOIuUu{8hP95DJ z>+%CQ3&icQoL|de za-5t(ST0=CP;DJ32zoj7BJmcgj0q&T7WXB_o)LNrqFns_ID1%a*Dy0GhizbMA|hJ~ z#-;wH+iIWDT{BQS&|O(K&|&dJ)&N3cmVCNeIjVVU!a=szbGnUX-WXQWt?Ls{sl2i@&9nLS~LDJJche9U!uSfvK>(Vv9 zm07g<_NqC#1|87VgP1PrYl>Yi`rR5(+b6}aUSQjCtQR`w$EVyd179d z`Ta6!>Vz-ou8BgUwCDPjw?uUo8(dhh2t1wqt{YE_AV>8uzkUvV&VzbKxaOGX)Xpb4#J7J>&uhWnxKOH%5?@hRM_s%AB4Ts{c z&5jeu~*_e{bI&l$(p+!cmn9HTuAwMz%g z+ltW+3dW4zMC`QgBTBx#uAFRE0XAwqx~pSXhxAKhC9dw={k2uc+#g_>hN_9ZdpJd| zSJcl~7X@weGNcA{*~UI9BcIkm=1V~e)VU~_kdtIrt+uQYw!OrIPOE39RLz0L zPe%@PBL^X|vRqry`iV^BOIXUU^AMbkI4T&RU-EG1$JOd61aU?oF0!~V9D_xPm0G_P|!jgVxkDu zMfwNKjvXrIhhiUZEDOK4Xw5DT*e9_(K)*q>;igR7E%0n=@&>OFl}-NIZT*e$=TE$r z#v$YHw75kn-^zO#2c2)AVZr5SqSiM-lhfD0#KI8jxt2GflbxDMo_f%TBZ!^ow7daV zmECN-jj}|bUbr-hQdOnCom8XDtRG&Zz2^B7qLq@Z8+`ME0tEMF0D&#%v?zlxXq@bb zEDGihmTp#L?ChMJNygB$pea3jN1_&tk7~odxJO)OOCF-cK=fYc@E={*7e)x0&Kb1{1F@RS!Al@~k&)B6j;VM?autkZg{1ux-VfyUY^_O|1?}MIgep%e zT&nc$any(iHVC4xpp6cC=2R|EEBfVeYIB;wWoc@fOgoPyS>$ufb!MpzCTQw=9kka#2i(8s8#{j0hyznBel zg%@p^HF9aQti+jK5Yvw`)QW99%x|bgvIp!9yR-7cL@duqv7PaQ=8BMhiw7>%%@DIp zD-kg0wAug*i9jZa=BTt^V$FPFUbI|!n4{R7{20hpW@lPrZfX0E8Y1^0#xgS1^^IYo z9)ysE=QivQAn5(-C~I{E`Ke>+^lwa3uCVqt){L>O+V&W|a5ByCeGwS7KYdxsFRKljBS3~yzvikG-O)(Wu3TVs zGK<3}gvFs3Dh}L9D^NE2u&+HcnBJN?3_29jQriE-n1G-u}9n6bR&; z8{aPsfy~-l*;6?m9@|%vD%Kv}++3RO`!2S&sV#9w45x%z3wFfxmBXTG#kv<;j<39a zN(Gd(4)&xeSz6s&;Ug`GGXQP`L!>eB{K#vxOy&;xhykg~twy6nw|K2m?mQ>E` zaR?qSMW{Y_>~1S!Sf%7HGXmJKj&&0V!d`evp=(q|n0_;`~Z~x0+6Ycj_GG|xomWOhmuBGh$X2v z6QW&I7cw4#^}k{(pB@bx)&QG|oxd%HDcb1z^ut=`3uum51?MAv#F$gi3H3@X_jV-K zEA9Y&69bK)S?~-=V5yJaG}0IJ%tTzOL6~qMksFZ-6>aS*6~}hhL#aOn#zy0Kmo4@@mgFVjc-r!#qCkD&r*1tJbf@vc7*PuYHG5m zQGstT&+%T7w;I%?b6@39b-n=9hZdir_Jblh zERcy(wD_)6z|FJ*Lqikwo`H3%bkcxMKv(;hDgiZIF)`(IL7F3t z{)ju2T6$_XeM%KEo(v47AZyoZZ+AbF&;9r4wZ#EPF9NpHx)-CPY>eNHu7rFGf`<-*t}z*+;%bC=|U8+Iq`8AHv)Ykx}%nC(n`jm zaOjQmPSa9sZ#PvFO?j06k3VDy0Y-33!MVTFm81NOT<+k-Q~%BJoQ-FOmSAF zOlc)XzwUUZA>0pfT0(=i5}hXFW{yU{Jpo_MKK;UYJ($pB{Fi$xfT8#|+1a#h@2i2g zFE>PxrBLKAq>xVzAQC4UHAj?pAVi_BtJ79@kk>a9Mv1>B?IAC#X%0C7jXHLQ0hJ-E zNb^W#xQ)0jEXiyXt>!6YsENjovSJEPLkE^lzo;&wRJ}EFaChH|h*>2R1WOL=>#&C! zt=78Zo?gQ-1~BbfDF??0&>IjwR&HUNlyf@kFMq|oU|6=4fn1%I=c??+o0AhdY4bDu zY+$sCjC{^c$B4#lcrgND?yytid@1L#^_))`;5EXu<}qaW&tGIH`~hh}8C3F{fXM94Qs!H7a zrv$==WCzcwVgg(6xKUgP0h}CQHe^)nmOM2SKQjO)7Z^hy6T5}81tkR;z{&F;4%o6Y zfI`I$;9~usAK@zs5Cg!)-tv!&payXLUw~P5)IcjRq%u5Ki&+M0lsbTm=YM+WD^ziL z05|J@Vqvv><3l5}0dTYbZ`PzjG!$t7_kTkGTbj?%7G(k4T>taS_UvFU`s{?qr{+Bx@J7yOtfQP5$-5XPE)DD;0&@rdgB)hS0t7H@)IWG;50rricP0R_TVyFlIz?aAb{*1g!;4?103y?!6S8jnMJmXjw`f za~DLd5T*hMYa=?6Ftr-4?GPi6b?{(EqU~iwK&DJtP{?0J=inihXQ^*$t5$f5f{m5t zS>XnVVrNML?j&FfleGcbP{kNqh!Vs%e@AImLX1VRP9ei!bfBVH8KJ8~_n8X&jUlI7 zoPP2_8-)OrH-SN3{iYacfLe{XT=)Sa-q>)1h))%slOQ#>JV#3gsePZA=JZ2+o%t)5m+H22Vq_oD-jlu-pHWh0wH?Q6^@Av z>t>WALP{$aJT*H<7M=$oV`|N6WR^L^XNS@+`0{)t{Ve*(pBqu{pZbSX_#HN}%@PSI z$m%chefICz5s<*kAMit#d7b5-)GWnWkPj-QUB~qF6>pEdCBfG$MiMbW^-1`y1LEAbm+#y21yj62^yZw#Pswzeis#Ia^H+SKSSM- z#4B{e+liY%R@OFZ7*!f1feW7wnQtA{T{5$y1ohB8?ut?e81__|Fta_y+H<-)Fa+o*qd5gKa4oBgwWg5q)r70aMIU8$Bl8-*IKK?5H#3&ODN3WnAf*yU{Ja)Y|=N@V7 z{_F`ng1pDxUJ-na!0=$GeX748J4V+tKe8Dt%T!p4!zK~lt1@^d5rkQQkWQF7tB!}> zMI25%akpWbUK?>8fgGlbTFV4k) z*PHRaF=(V9%%eos0xAV@#=oAhhfs%XloWG)e z^B>457(T};R_LsZL)b*slO4M*Ap{-}mjAjqVj~yuvDy;KA=X`L8jja7F|Mu513OMY z(UOQQ=-5K7u(3=!w;h>65a3&i;CDZsS$gJvw`5Hc?_4;)z}APn_z_Tv z#_mUWfW-)OKsHm1xcwg)L!Zd@RqI6mFM%Zj$6Sk`RrMqV!c?}{Wk|HIwQs6uGwZ>_ zu4@D3lR#&fOKJ3cLXA1=lqSfj1QBsFBcE>ijN-{zL@jxdRFM%zUD^m8L<|_=fI*U1 zI<0}l5w(iEA0?3>UT6mH@)G=3J8$3&{;xH>AD0V@xr~8=pErNwKJuy)W4C?=Wx+!; zgcg$9@Gq+*R$0H6l~PmKY7K%;*qK!$fARQ)N{LcKSmJesf}kCKd_aEU!ynNjM&!)e z*|bP!!|*C(dn*NcaHcK-USdU))RN}jMVk;0Wz@2MUgZA)^|1lR6EF7TjyHJsxc4+F zRG)c6F@oHW(FW92b4Oro17Cs+QhiN#-BYG{W;5pso(}p)8Tfzb<+G4!}YrkQKEfrIs$Js{Gj69!lTgN&LBE z;`@`P1E|FHE)(%&zWTVtbp~71oZ_)edCs*3i?TqTFy5811e?9qkoNH2TDL=I}HH9ogzjv2@!Dl*&{Xkyiu&80^;(ao(8psO!Vn=4Nwz#`e)hdB}8 zw+2)#p)_?YMq@Z_Ah4v>uahajHT5MeK$5QSPc$-ioRx+iw_eqGG|Tf64uIr+iRhx) z(_x2CJBv?tMEH$ZSm<3vX;P5%Gw3INo(QlPWHpkw2)VW<_9MC1D2hjmAN<#qB82$AYl2&m zH-VRG=%2dtLi2M$G6aru)=r^hKNknrjya6dFAF%P;u@Qj&}|Fq6_$_(xc+b`_gg{` zfH3ZCM_1guA&!{ndNH9j1zb^RUA6#9mAyai{ed>1-|)o%(DA;Wtgf;_Tv`5)Q_Nn@(+8-7NaUju6~*?UexuDVl0W*2=c7mE0VPnvM*nRe5kkVLTmzpkjLRPE0c%)f>!V|BPYUgnKnsT|;sK*{P+(8xaWGSTsy^49F0g3z(C zxX2R6Rmq7ik}S43Ddne^e@CRF_6i-ZZnOd{`$OJHR%APGrR{=^O$urg$(z*XCzHw1 z4#HJ`kc=?Mmv0`^GhYReNcJSvrFwIhl8OmvHZCZU-5I4pH$^Q1VT{w#OoY`E0!7Lw zu`8gy2a+MdNJq7)@St5GXrvn-tq3i0U^-A)Wr>tDK z7G>JE;w!hUq+BpKvKk&E=(gJLcY1v;2X?EXovy+{G zw9=MiCe(W=$j-`rk>XR@07|*cSqdR@S`@?1+Fa}|VMCx>lf-YkxgFj;kRz%4mtz)1 zQ72Jrk?KQP><%;bcy(p-)Nkx5h<_(;i)4lH=6`V@wA@gtqJno?PFa2`9Y)|qi)cH; z6EiFT6PXW***Ei7MynXt%B?ISaH?~y2A51J6fE{#Y`F*~%zZ(H{zg{MB$2MD5(7Gy zc0bkZ2H}^!)TI`^GHH@BfR>t3Gf)F;1#*CKl|ElJD(|Q;gRA`QB>Spj2_)Bg7YWp{ z?HIl7m!`<%*UKt5AF}JrmPYdXnsZHA1*=Fg83tYH`4WpB=bwfZJ_jBX>y9@js7M5J zcr#$8X%di!7|rK)h%DiW;v>8aaW0rud8UWV?N2vKtRlNAj!1tx3+l^k_VRdP7G?_>dHGp%d)edKxi=bz8A!}n2ez#2W#wVaX#{ei z7{xJFUdo}?&U%T1!AatDg+Q`-u_e)gVFgt<=n|cF%WVPk|`zp zmO;*v*^nEBMX$DPAjlE>T*?(`sZ8=mtzkToBxxyCl0TGCZP0is$Ad#usC)iqW;e(; zVpM~<;)w}JW;TlF!2*?|Wloy9*a!Y(B~-XcwJzviOacO%OSq}%UsTJQu!K;$SB~yv zC)nfjiZE_2g#}&1Wr?c$d@IX`so(MGL(}#vxT1)v$~A4JLAc-UwE!sy`#7>%;1e4uc z@OHBED9PL2Zjk%kJ9(dP^-;%Yf6j!J1SLnIdYEcaWav4+(>rb@FzzPY!6_>C2mK>CN}ZvSoN zjYD{1=Famu+&3QWZlZIt=1%p4iu8#4nKI|F<(V<(DEf{0^A~91^Kw?|N-TrB#;^+n zaz||B#b>O}@zYOEdbZ+QlOQci5O})~^No|GKA=-OrEK)Ji`G1-s~G#rD7}yI_|e&l z_gypY>v_~nOT)>ZO{Y5A9;Vy19TyIwn7SYSo~~bYdZlXf#7R1ky!{0Qg?#~5KN7_(~->1g=@-sC%wWg0aJ2q1r=I+@)v7Q_}1Yx!^;;M}XeFf4Cp-7pl zorj0)I7B9IDo^3~=u8%SQfte%|NQ|jBNVO{^3`kq%FC4@)Z01OQC$kAMp$wW8%8zIsKA?w@fo=T6RL@o@6A< zXdR0(Jf)EZS*3xy+nJ6&9+n;y&`5B`+ugBkIw*T<>Xw0w#P)s6O6@SIBO}@cwm;m2 zH#BOauQGFXQe)3Ma5%!-pT8SQmZ>KdD}KdMdaslCdn=h_aT6wrAxyDzGcwd^kdpG&Quh$7 z@z7NR6q4Lqm;i>@b_TiwClb3n27*=tV!e!FEb14J`Ds#vZvW>EHuODT*0poPF#s?5 z^%ecj#4O4et!K1~Ot>TMAF+P>PxV}JHTtl(f=_x@lpt|I4=4Z!sRHv|AJO@))d!4k zq^*XX=e~0r*-}`LK3(es=md`oQAscPAVa<}iYf3gZsNocOC>z#rU&D#Z#RZK=O=@6 z&veaacNZ*|c~P6zBe#sOtsdX5@SX70I4_@sdtm(YokKe<3(GKv^h58$EEewES|*sA zV#|XRai!?nr^2xFtDrd7(@%cHzbtYj(Hy?Z*yB;2ko~3NN$oG`ZOre47BN5H*ljfXC~FPEaro2wk4kE`JN@T$0^U!a zZXbrcpb0EBlP_k8_WqvJj%#gC{fG;#6okrh$+@XG7sa-(sfU?NNgz$98rdF+t_+Z! zW(Zx=N+Hg_GV@T5`X|!`W zyuRxBx0K<%z4-{Nf6bpee%w!THWPU+5{)N@Yn7F zBYy=W^A@ag#%_Vjm`vxM^`112Lf!m++pUOa2o`34=y%X;1kwAJd65u|S@EO*8X2Dz zEjL+{Gj}D9KS2fpkcRs!;^p#bU=!_mmnkC8A)&B_zE{J7w)0JLO6-p8?W{^!Y{Mr4JS=2jb zg77{HGJI~OuQd}n?{WkFFq=^-KvTh=E$U|X&;h>L^%msKfzR|22GE$A_+kw^`O|s( z<{q)(XKAB}Gv9=x6xJ*yx99%QvB#UI5M2!|;h0Tu3W^%`a!2KS>T~6r0CUgO74spw zDdVLD)~qO7x(9b3C#1jR1J9+?q>|Lj`T5h%Lk8D~-DEz@haz8RF&0`cvxWP)KR@AS za@P9=P8jI2hfnZhb!)pA_$!cjo@GDK!pT4=M5OZPctS9Pg@RW&Z}9+u1d7l*mtw!t z^q*t|8&AEW}FWy~rLdy0E`)kc& z`-Amv5zR@8&-ZVCI^syl=eQ2PB8TOaDzjy&!oPyvPml>o;=dheNWQ0|;iL`VA@|f0 zh)I3hGjpCV#RhTWLNSROY@-Y4SOo3wEnejBWddKfOqf07B!4S1Lssm%X;nW=^*car z*T5+&Z)w=o(J|zyra`}#;@3;kEA+R7AdnIoC%RyJrltI5D^!J-XRIRM)GuAk0@IGLL4ect!9 zx@}1Z&-f`Wk>|tk^rX&&QLqq*9?oR?P2di8DR@E{JxUio#Tx}9Mtow8M%@@|n`3S^*a^+%H}gvTyuEcc^WmE{Dk^VJcQ)%=G1A&irY zFoP!D@C;BCbeSu7^NJVp!~4!$ee?$M%H47-xuSMr2OmIJIvuR!H4Pyp3QBy(Rn5qc z)ZK?w^a!(^zxy=Ljq_e5zEiwnew;-We2K#GmJDh^6ztTT8_@@L?04-7_Asw&xy=o8 zi($Hye9Ig3u!`QC+qwo_8lc%XWv}-aTWws-rgju`-5};gw_Z7W)+KhNoVd2=2eqsd zUnxeOldKC~F4JY~h{rZxZ{$^ZO8cn$w?})R+m?NAY?W{fZ(bw5Z~$(JVtuaA5p!q; z6)Q(F{J~5F;;+dEn{HdUnsEr1`r2~R|srxiO&S8LV=yO|7Ul!)aL?Kpuj2n|Jq8pg+OFz zu-g$38?0XmWCBk$0vTHpN`XyKVD+_= zV6?k`qJInuH2CWAU+c+m1E|!3)&}f{0>3~1qj*<RfTK;hu|1h{O;~x>W z4Mh8o;k^B?(^S3>9EbX61inFIfy?%R$}KBLKwl`p*MDueJ0KSLAFl-dH{{Slc@9MV zuW|<&t3~PxIQCD()$&iY^$&2j+<N{zG3s0>@j%UVsh&NDi>I1|lb@OK-!0h#S){ zr)KAs9DS^O4+b7^Y+`G!J2!+oMtC4v2lo@A>LBI7=z|Jg!2V{R9#(J%^rHmCWQ9btP4tf*B|10Djqbm!V z{o&-qw#|ucb7I@J?VOks+qP|cGBYtxjESv@|9S3n*Sqew_e<~U+ST3Fy>{(Y-Ce(8 z6jw(FQ)C)86R8MW5gdDyeNuG@?p~oNL7s!>rPbP$mPfE(;F@4{2-RW8Nk* zioUWS<9yT~C%0HB0H^rE!yre^fW`EFaI9b1gceBO_7D@;$yF`&8hxdx7 z=%_|AVoE0Vh|L{o5c~Hq4n(cY{Z(a8*dz!}`#-e=^XCleenC?>5mMj{EX$LUgQJHQ z!nuVm$l{8_-ZO4IqV!4hL+P48yn3W>)|@zacx6y!Vh&-FOjgFfBS4dIx{4k{;h5RNV_=7*aEpWvSIk8%@7oS#IF33tW60iKe9NALU@dC2hAV_X=ez5Ft)E8^5bS-cK7K^Zsg_3>+(!8y z{)8DfEYC}uN3YD>UPdE~gid_}pUz$*UKzc_JQdDY8Ae<|eLX;Tmp7)NOEE6`M7dGd z2;2>LQ^}gBtj9RCfi6A)VIJwIDwx&fpt;|uDS6=Edx(wucy~g9v0pG2HLF!(;{ky7 zAFv!BrNQhV6Su((C&lfzGe(F&uYi>+(;C}BSuDX|_R-R1@gF%9Tl^pQ9~UxWwSG}W z-x0M*m+#82&&bMuqZQ;`1q$%QMj4=7|EyMfS&IXh2o74t#_gRiEuC$`u0DZ*95FJm zG%W=OJ>3Q)ttyUy6`#KhdcA8ShIIBYlQL#dXPBma%yn88kH7Hgjcbape@;Ri-XJlJq z*YVp1hKA>?dnvCyuN_J=++W8QAoy@iM`Ul0!!d^<$lh?^P5__(-R>zH;PN!G0>^W| zE0DA<(i>q6^!{M{c_2V`c@k-~x%unvHB1lX20P}-_w)U=uOzCof+Wzw48n+G>sDwR4p;VsY%`r zyz9>4mh1#hD*QMDcZ}LxdssQ#H?{iw;2+s1&ovNc@ZsoPK|zjp>KBOF{^cEn?iq%) zMYG?42TUUdPWTKsVU5OR4>x4pcnQG8Twe;j#Uq4oQye~u_QoiV!{6i_Wx@@3#}9CA zkt7i4LA#itQc;Z!{UaU=RYCI!vJnwZj8CSPY_tLH*b{nlBd3P&;A(B97h#UV+S+%r zMETIMxfr|S+p7<_8_E^w$LvtJGkV~UX6lY*>V8VoAT{apc?Qi>Z#L0}#Aew!1(IS? z9w!!tDu#vuR2_nM%9I!3EL3T7psPv~*8xU`Qp)BfF^u5*nk=%%*A}dg{cY}%CpfVO-=vy~Dr_|@E4B+9oi0NT8&6{HtFgH@cM<+NbNU{- zSvL3ibQ|36^Z00G{!6k-SK<)#)BfP}@5*%=Dd}=u%Z0z=0Jd_ew$-xg)eQ6fR$A`2 zVEkrh)3b~=)iC`jghb-36(ExmAPQQs-jo26do)vD@oN;i$Hz?bD2SdOrh`}QJib6GLBQw=>sZ}S`D~{3`Yf`R>(N(gb!JT)^E} z=bM^hwd}}xJwg7mO-Nf;GJ4W)iuRDz3dnvU~)Q5C{o zN|Qh1leVl!zn{9mEv3rMgd(CBZKyjUz-osiYAH0MI&N!tmbKsi84{mXsMQbeGm+kF zmhM%1K!hNw)Jb=yzb#uuj}9ynQ6)yE&ZHs4^d%-kETub))bsL}7yRr<0 zv|3D7!=p)OSO$_ve!wjPeJal?*FiIAihG;~@tIp9blaDG#&Sp4NAp;sO~{UZJDbaJ zq$;o=pkJ%6L%`Q1kJlMxm2tSB*X>B8tU_2`t&3)|Rh=(Hz;`cz{@SUPo``!!;>2yN9@&twl{$?Gi^wLoqH@UOUvcK|r=ZI_C z`}D!12^>84sYU{=IFz*hkcDuwM=faRO$;gg2x7lT6i?(bmRi$&QUvd2sHTq>SL1V$ zVpJmTkI(XH#Y*70B9m{7Lx%kNLRZ`JA&@_R)a=qPSXj(tWGyU>Td<*wy9Z#^u42mJ8v-;ZZz8x*{JRhvZTux{)54PvTASQprmHb9g)u7Yr_n5Bk)> zI1T~HHiA7s1)U%h0-fEzkjqXdLe5}Vkf(9_m6ek9Qf&+t35dT~^u-Gh(`1HJhJN*- zRWfYm@aJS!b_^%caO>0ujPNB!*P+TDGo-%MvD9i&P~cHEM=lB?VsX(k;Xa5 z9o*ERJd%K7)G;V0Oz(b(__cgErYGl3$dv!h+J-N`8hs*(2{skV^-+D|3oJxwWjhO# zbH%`U4B;Y8q3fTD;Hs#e_48Ria4~;|gH1LpqEN+6+6|~*$$j9vh|dSx3Uv=`^;*Pz z5dnz?N-wJFMR9<`kD;!08mCesv?)xTuq|+*G5kvENQ%HgEGwed2NZq-L^bc&fV(9l5FQ*h1Ls1Uq@~%>0B=|$g#j9q#{PuY$xgY;20m0TJv=#9AzUlSJ zYe1a9;VzZ1J8;?mn#A*@SkM9`t$w54NA8Z&GQ0^aBEjoQ1W!7 z4b%1^fDva|zwk)6gj-*{weNe+qU0U;EU62@p8;ULp&>KYsxa~!twZ>Se_+X^QypIQ zY-+v6TP?i%yW_t|eGg>EO!4R~SDSY+3*r#szGYAR73D7I%m>?@r8_IyGMaTmLg4)0KqpGITtka$`T$@4OQQ z|4F-Rg6OitI_`pQnq~6V<3x+{y~-VmTFwZ&mLY&RM!hdWw4rE$@LD%iqsT=0n6;b2 zaKWz97pcVXsY_p~H>ReV?MJo1!RdHm6`Q(7glJl%{w!nPLVCX~#~?CDueJTJMhVbl z_Sl5%hn<^=7qWQ8oCT(Z;IMWxav7{6xPDA66(e0xtdMJK&UX-YWBID`Vwfuy)skD* z>R(kCteai^%A@t-I_wL()}@KYhdJR4s8!jw>-L=q@^Z{3UPY)`6Fv5)5vGe;PBhD6 zJGV;CSC<>F5luHNUHg9I$#Q{M#S382Ke;o9`czw{+`p~{Oh{U{oEdqCF&EeHKgqQ6 zWPdE^uO7O})@!fDtF@cGI%B4ae=XJOZeZ;4DstKdOQS)$onG75IR#cGgBG5-PCXBH zl^N^^uD+l5O#(9fsI0)ajk}cpY}ACTK(|eOyf+q(=3YSl;q4}_GC^pA*)@>o_Y$L^ zt=ttoC@}JZbKTDFk{-l#iqLdJ&=Y=rVWT#=orHaMikq90=RCr`b!B{FNsnh`G*nx& z5MrV$8LSy0Y6f-c4^}ZpWL)tZ=G1@ikL#MFE?+%gooLB~{^q%eA6K<0NVLhJVh(Br z)!>}45k^5iX)wc6=LNRb;HO4*%ib1F z77@v*FL$4wleQ2IHSKe^zJ2HC7q3Cxzi(?@s9Z$D)lG}ysnIO+RkqzmucS4``YW2z zGpU%ysZyUUAnm$R09{DexD9&cY+qpCRs^UR-4`G$O{^RaY`-18U0)0^M`lb5y3qAc zbAN3u{QCt8m?u!uYk_B4FU#;x9C19ln}T@~-2ETeq^3qC571KfGZXZ5j z?@!Y=(Q}6$8R@@`C!0SAbr{ZD@;%4Ijt`xD;-;dj?o2l<-*q~mv`-EDJQIt;KwM_1 z7_H?r)GOJ^nf`V^pZpEm0s!2O9`@cqkNKwHB>$q{R%4iY7{I8iGPvAK-RvNn^?qMW zjF_pKti*44?np*Et^A>4^`L}RDI&_YD&`AC#R8Sx z&HF8`#M2vXx&xgJqhc7*nI$~V_QNX|oA<&iH%!oqT|t!@TPqov1m60ur|l3*QK#|n zGZGF!w^jMc2^kOo|HdY%5KHX{%5?tefBJDgrtBBQR#wzp5c)<_QEk(~&a#!hJsH78 z(?nJ|*lFuB?_z3p0TDbK9 z?bSD3Vcjh=WA(iooZ^UZi)UIVW5hb0;yfLPcU;rQHrOkQ?+MO(ZJF)eHeIU6esJXZ zWdG#(-^s(p{@Km0E1xhh2qk?YB{!!#YWURvM~Z1wI>uyguT(j^b=q%$z<1#_{+rU= zx%dOnZe*>e3c>2;j-eNqxPr<5#|w+cF2v||@6-8Hd%=+)WYaeia7hbw9Mq7#Ks#xs z+nChzMX9ZP4(}J=d{JbAgJh<@pl}<;!FjJybyAjIZK6#K?n&~N4r!0!P;gAET; zQvAmnD_4P)TPe)JlKBySw+@ZR^Ull&HK4wkgd<@hV#R`kH3TD@gaL9x2*>VZ{+XHE zWQ&}0qmRxbVMq}xK9;C?4v-MB5XQ)1kP%~plp;1kWr2`TAN*TRN2uMyX$AS4yT7+U zFCkL}vlOvseV3Bb0MRtk@EP4{o>51AHg^6@!+@kob*yiY_y};&t4ibn|iba_lWY zx>~)yTT%lrG?<$$fhJ$P&x77v;>ci9nkkho{L~av?uJPvQOr4W5m3KK9)4{5ot6?u zEK2n!6PVTxIt1J)Rz@jP(rW2LZ9QR$rcGQgL=Z#S4k^$i8J&m5&|ywg!B&n5IvF?B zK%SHp)<6Q0Ff=AsLap$i#aBH;1hg+gYv;$=sUEUev!lAy$=OXguHfEOG+cv?7Cho)taocdNTxEpK%zz3xcjq)m2{P%tdVr#^bNF z5E#9vOi(20D8TI&EiB>fDrFwZF+7E4BPi5c!ba5fGPW7wV_S>aF|ky7SbcuVg0Yzy zMvhPcAEgiuJRaLLsK%+ktNR&rG4ee2e#GrnKmr7Q`hQ&id%HP^s`7d2Q`?`8R62^( z0gcQ8A+$i=Eye{Bi&A_I5X=p?Ej^<{tR5t@BI9?$g=hF5@-wbw!T& zY+YDC;PoQrcHv_4nJ<@cd==jbdWHcuBb^j-cphL6*Vro2K3J`2is1DQH9+iM&rz5r zxe25Lo!%|SIHr$Wkfs8|E%arRzT>z&t{%}49PUk5(`R+pD3e^ zv7v%Z&bXEkuX+DtqaViQ~}QjAd&Q=87jp&LYr8EzNb_%;k+)P zuC8w;j|L1N=2EK2xyqnJnb49!ajtcxOuBLA=qF2v>T}{PwVtn1Mu#jB$|TbaYB0)R zrec}RA)6=sSFaQaQ3Foe=$INxa~-^ltZBnDhRtS5y5XOc>t-0;R8kckwp_q2hA#op zbSf2AW_~WYVpE-)G>Ne#*W}o2O^4{mMazYV{L%axq+^$27Dg+mNGff79-6X4zzEqF z%EU4BC&SV6~btlW9J4hNEdkJN5d=#ZP z?quA|o}FMk;wX5Q#!W9?3utM)Rs_b#P?OntGo5TOX4}l7KuqE^3+ z7vrdG>>RPo+p8f-pl-N!FP~!7G`Jx`Nw8?y6o2@q7iqBfD)k$8IUVl%B8Hpg)`A&5evULr$-6(t|0kDb0dY*9&#q=}~ zq?weo72UDxOVg3(GKpMQL1e_(8211+1pP1wFb?%~54H~VjSBXq%uq}}3*K1mCiCTQ z^%N(hnRkpTFXr+S|58YQQ~}$?aO$6B7qgZRK|Q}~)0K_?a;U?xO&yBsC%5QD$;G)t z;UgLp!q=@zlW3d_kRzS{j!WO`0Q*jK+)0b6F&up@L8 z^X~9%_u=Da+UX%b5_O!Tp;i!2>6sjs3LT z4EqL$Gm^sxTGXhsC+?f#IekFK&AEd6Pzp{?Zu#Xd!MkMxFsr@Tc6oNG9!ap^JNdyS z=QW6~`Sj%YLJ83lDUXZT%l3HVgxjp1)k^yn7pdpIiu+szy?u^vC*Z^uE|5THm}-Wo zRV++ln|LJ((dUXWjMHpYc7aKf<^1-av5X#j@BP|Bsasq-VYyirRBQhRm_u8FIoLd= zW6nGTq5Ty$Fyo#n;PL*r3+08n8<5F;9~lf)C`Dem2G&{i4Brjttg;@Rz0)S;D+i9J-wZoWrRGW(fI(#ME-rhM?8L20@da znYIgfyU1IdiFRA#E+nm2?|MO|^%H-M37J&Slm7!~oV!fO;G5fm2;x=u2$q=w3+qS< zsU8C5{1!>P?YUpWP*3YfTCV;|f#BB%N%tB9p?$>m!VxBFj6d8QAJI1^<^#$v-&l&N zIgme{eazl-P}aand3^I{100%=$BFo4k;+|0be#B;b`@v|uHIC{%HtPZjPi*+Z1C9Y zpu_`t#2%=AUm+B%=4`64W#14IvA`g5xqzLIUxDgpBQYjgCrM>eLDl)dNPz|ZVXzS$7 z>XDU+P^XB0FSKYkOS#!VkOz|#?IE0Kdke08t)<+w4xkzC_%{ocuvoaEEQPwRVrV+3 zk8U3}E&axrg4r@5=Ws0E9O+c<2rE6%?-RmpoxD&w;}cV;1?sSsx3ue`{Q>C**b#-WC-40(|;v6Z8G0$@9AG zbvqJtpepi$$Klc&)B`nxKA%1=&+eXIMlKfaOZ(v>4FH~St5n8HRGzY(UF=5C*ULv{ zZnb{~+&{{!n%(h%WeYSXJK~Mzlnw4b%hZ?zW6P|X+_4Xy`t|TW>^IF+jui9wJuVm3 zr1MaA{Q?EJfEii)9#o5I%37*^LUu>$CQnvrLj*P`8a;{Y;fqYAkE6?q6M@oe0w%}> z=zj}SvOfwNNV*lFj>A_GPBJzQnd5uZ%yR<`=dR2v#7>}qr{RB?{u#M$^lB&h9iRsG zaXR}B+L4?phA$!*m>k24ujxS~L<&dbXU(!h^lcYD5x9Rx-R6ATEN_X$ouP_}jkCl|2^gmoxCnxtWE*lRi3#lqRvy7vq(|@YG|67$H)e{iq_9gQ*)c>XkVdwoiJpE6K5UMO2dm=5Y zi6fzzmV$!!UQjd!D8+k^GkTwDpGvWJG@gh*o@nBaDS!OFIi1QJfTUZ6tgNIM95Pjs zPMx8Ej!rpTL|R=#gQgPEqJ|FK)}&HmOkFt*9uZ2TPIvh2<0i7;@_A;D`zhD$O7KZH zU86Itso4ap5}I?onXc{!&;mcHr zVsVY9EtfGhTT9hiX7*!;1$Kp{nyuwkx=wPoLzT`3GkZq+mP*Z{Hq}gZ8n-5sat%XY zSKj9`IG@_8MMtM{epAdwm;6h2OD2?ZFjqo*kPck+?4QECp;~B8pf!T^U1nP$@&)-i zp{1a;NKcq2z8lVJoF|?Gb_?3MC`cq{Xaga8w!SED*dChE8f3kYiM*O&8;G}#`8RMj zMl;?MeE|w)7T!7~)1i>44&4FJ0^we)Q4(k78SL1q+sgVYbO&`EycHueQWQm(f8FI5 zMIlZdi34T}%6&;3u$X9s5KL;WeC|7oAWM`dvIDLgEMf^`$<*TSiP_~@Xx4{>_>#Jk z6OET7GwU2{Db|Nz3~Q~qd-g@%Z*%n}4`$V73k8~(SS2SI2dQ`*4>ru@gueK70EL1E z<4h?#k+UInQpUoI?`kWwusC!0bI2x4!EV-mvx^tgI|A#5z*fg!SdB65BnnJDU`)kb z)_Iv3gBGn^99@1$wIxInb`u+5TC>PSwCY?#8m$!8Ff1K|oUODR;cHx-@t)XqSa;uJ zc!-Fr%Ndz+j{q+C1c{<4caJ96-~CGFsy++p;X7z0NMeyx5$MYH~n%U{M=Jp%l^v zJ?MC|I7;;dYX(O@?Q<~Lk5BEPd%z`Oc$MI_y2=*=nS{d9#nrsfn_N(`LxdA#S||Ff z;RCxu;Z+S*Yc`!@Z zO7%-sr1{(HEH>*j*i?RNQQjB>ShApvl-^)1B&8o)kSBBte&Ts_u0Vngg7l*~ssnNh zapL)uOY1^r&sT$7v79mc{|F{!+bs2fd8?guOTvK6-~Q? z%$1l*6inN}lLd9ea|X}BDE*q_x#HKLzPg5RK)fTBP7yrAD#{xaK=hrpZ{5$75@FWG z{;wrrmHfw$4wAGYxI#|AyBFxC2*wEkBi2wHS>4aL*&%kQYM)V#PuX+#bnla_9Ance z@&TmJe}S}y|1~8{=J(9gRh!lk>la8~3+T9nt&_1-aitO>(S;*=T<5xq)#LxMBpYSr zFH4%zNI==(4XXkh-`s-D?lu?#62~R1os6sR)fU@`Buz7cxvnn+%}4vdp#t)uF~5vy z$1x#c%jV0P4*I#n%azw45BjB~&Iy5o8-SHr%o+F=2WKJ&s5&fmg~wk8Hq9u#zYBM4 zT2~V+MW8Xk3Cu;|XrOtOEo;kBbXsM7G@lM_rqrFMUhxXORe~15!n5|O(_O<<#(I7t zz!w74L+F%|Y(*F=As!0B&jCH66sr)AA=I;oxd$76{8B8y1+qLwJo~e?lZ1 zA^!whI1|?fX*h%HLw@};8ljhmpgRFv!M%-8^}%1W*(eM$K|97DoKGmzO_~mw`3*?- zafCB=IZ6)^pn<4fhZkwnr2;C4Ya*#Qq0XFf-K)h{j%w=((Hd+`OtSr1WW~p>v2WS_ z#Z&*M0RB%M*S~*KD`#`k)bT&^JwA#&LY9t-&kL4 zn189)LPLib`d>v2$G1*@tb^)WHD-THjRZ71A(Ove*TRcy-G#O}uy-0}7$*I6cI3ab z1nY)7r?nFTM3qpTg_{1>#8|$gCsTejHUaa`7Z^vg8(zF7wG)(N)YfYGvMTR1;FJJM z16G5bO+dDi960<>Oj1{W@`;M&hohi$o`W1Ej%UnfA(cI5+*d8(d4wpkg2EeSFk7`x zbYtaft+@AB_)V$cQzx*!pW6V;tPidN$#tnte$~w=D{_rkM5rW-^8x0X$ezBb$!t5v* z6$s?pufPSzS5&V0kn^}>%h@U^sh!rQr>*?%h1Sitvk%g5ReL_))NMg z&jRu1&b8m{D~d1lVf8ttU;;00`=Hf5r4yvvuU${lIutubcjGp^qj0wOZ28J ziDr}WgTSV;8cZa4a<03O3tP8B{M5{iJ;qH{Xm}AlfW7l&VKo_x-Ag z$kcBEGxnL)U+i3WKYj!M5B){&OkGg~8?@p8be7ZvIaA}7%}rVM_SA?uc*B;< zjag*&8LCTptX<3j`pku=7H5l=4U3j;iSFM{=DX)KL-0#>5BRtyd)s5=F zPnF00Kz;VEO8qrC++dQH$`W?d2Z7$N!(6)Kz=PK)9R5i_Fa9d^)4ba}4PGdE&^92K z@Ic}6(7~XL29XZj1$AdB$dpdH?`1_{Geip_&?tx*!XIyE8te)NlW-TCQJ-LE9n1(i z)d*Y>SwF?^=+zgi9?98ZaJ9eW$z~hy3BA5_%vJU`p<5@1-kWo<2)rM$6)&U&;Gpya zm^mMjaBO+uzSAM{O0Zrz%QTuwd*LhFv2!WXgS8$rC>YEI_$zO7)zU5bineb5Rd2`D z4C2CO0*jGXs-KMr*0n2lKdw2}ihrhmucxlwa&axrCTgIrUUV@l zejz-fs&1EQqzpK5&oG=te1uq9FgGiv!{?^%BtPMJUZU^Tp<)Y^b5<84r=~Ow=|I;{ zy3c<5o70_TFE2eBb}x7B&IY&+3=zjrWgMcN%ADGMZzQI;OO^@h!I)FbCdlzhRJL7&z$8@Kik(acs{g-v=| zYelv}thL8El-jZGVhclYnI8oiGAv&Gh~^*){K=#8G+wu0DM*}A|Ku^z5#_5OMmgC_WK2sGOiffsL1hjL z0GkPO_msAZ%%??6I03GpWDozGS;A)vuUJ{a=L)aXu0vDv2CCMXl^0)|w0&0?8w4)# zInwpt__Qfz#^gD+jmsY%kJ!fL{B#nmTMn!8KhtQVR#@7(`1G7t->g_gs*rDcfN3jN zc=)Z;rkHiQa=Mhw$_X)I`#U>3jjc^FC!5}CF`J#!YpY?ow+i^I)}?DDf3d!@sLRr( zWMApAy!dhDWXqV{y^v7ZW`26v*@q}-btXQ`MYIyHgqoW1Zg%z=L9F}Z}Y zf1B*IhR<#>S}kAx*O}tYi)swFuWGM`^vz6%YVZ3r=GAq=mYUL~HG-m_>QwG> zNoSZ`8^G7IV3LO%pcxb|L`Q@y%7J3Ivz4@dPZ_ zj_1pda;83VhCOob+;z_0b^iG49I<;3uE>-N?u_YejEWd+!UBi~|D&I`zY|u~&@^9f f_tEr~p%IGLhB$+o0gDu#hnoeSib_)HJN*9x21x@P delta 27825 zcmX_{WmFtbu=Zhbx5eE(xJz&g?hrhB* z^-TY!W~R@a?yjDyb0gvy;0Uhps1y7f<@Z+O1UPv`V(sNaQeYk3aw*i$JKsoJ)@FY%r5 zDcx|;+r~sFLxdAb#qm zS};|qrrh{eNsUV*L9swCl6ftwqS7%FHXKwmI!rww+LYu+_6Je;DF>Jcu#}iGJsR2kpsH4(QnXB6qo1+>)ji*<9l z)*knwQ41oFmSzunhaug$r2P2#c#zS|&B@@#m&)O{{sV0)1fF#;j`u8iHU(wrNl_KYBk zW~#mlC+p=X%9&EuKTMhMdFiy>0B5SQeXd7mGUksY)}BY#z|N8&6KfND6s0E%BR}T1 zmmz|z)tuIE@+XptWaQcbzENiAc|` zqU?+zBv5L)BLXxdbt9~VAyRhQWBl1qavpCoM(i^GvmXvBi`9=o%(gK0+O&8t>MvYa zmqYS2Vx37F1>*j7LV% z>z}y~96M?{YV|28ZaV^Io2BK^qo5`fqV()}_0yNiBat=;Nu(8f_Fksop_)D=^6gO=hK@wS{zr*c*%ZfUz?`sY2^H zXG7W$K+k8Nh}#+O*x@mYHN~Ucd$^#9`xU1#x+gywr=iAFX6p*ZRElB_cS~TRxvyr` znCRVX<~=m6&cQ9xb_*;gS9@Uvi%jxy3_n2^!}S{r#E3}VI)qFg<%~3q7Nj;**SbBJk`jt-EjK!W(FnzzgGw&_r1=ML5D(VKB(sj#vP_ z-F#hSs1Xc59i9PL&voDrG2%S**r++a5c98|N$ZFKiIyc%@N=H#h-7%9xA6C%%Q-1V)i1-SXmIrniX>casURwT``J8IUVHmY0?Qb>WF#F_NDV=O@yF(s!CuO4|XBQ*tVOaj^mq7R8b$P)Mjb(I$e zBCJ55_#@pl%Zx}QhYBuF6Jh@@5q-lxaJr}{xfBaCX~b<Q z+O_>1fECowJ)M3&FC>Ht;U5FtO!c*We&rNL@QPw6- z#dg>k${wff4z#?quoU6vPM`ae1IC;swpLM%44XU7_6hB98rELf66i_3;d*UVG|xo~ zB{cp54x5Q~Yb6@?@Y5yUuClEjAFIrO;EDDx|o2pvWU9k4C6Jy8ftlolG3Y};&L zVLpU<@_zfZcx-%UscNm!22sC8uHJCb@!flGWY*+dzkeZTw_%fy9dDO--Cv|&6ql#k zGoc{IW-`tv$Iwj6Cq0SQw($SG;zJ<)BJ1g6%8P6-#X-0brWo3;Pnv4yu37sxBbc`5 z(L?&;y2Wk$57I<6#M>=l_j&-9&v5rcoazk5flb1Ru!3S@uP9or6r^zfV8gpEO6wgk z>zrbb)El18`HoDHW1(|beF{5RzV;>LCU{Jacl6Ro12kYL5I zM=P-`XdIdhXW;xQewFj{1|F3TMUh>3vjN3>@S@u;v2}++2o4)LQ;qo30JkhuNY1eAc5H2~lm>+Z}sN(oaM zoJiHfrXfV2=O`VVNrtM8VYxB<+XtEYpg1SMlBT#Jz^fWZEKO092oR4bVMz5ea@eDWVGRL@i0vLT%ThmhA^89>25dK8uclaGbnpF2*+?ELA=y2!;*j>R1M z%bQYbtvJ^C#^D$`KB^LH0C_!mn_ z071&MqI=}a^@#!urCxN{!|$hbDfxY0v7?!rK8|Ym{AhYf7MnVXEvy>9khB}7e|NxG zv(1$@i1Y0B`4u2|K=Oxu1R++L?+^WH1nLAu#^d~^`340{dhE0@-|`N~Y?#1Xf+c)l z5a!LMeY3QQb;oMzTP=BBcoJeGDwjTm^=Hs=H*wZH8ZI;oo$IEv&w%EBVQbu@wN5LV zCDFI$FYyaXHZMf$nFF*AF4oK){u_^IO%pvoT@y?2npZx>;X1`04r|Lf&Uar@hd%Rh z{r%Ox8(KE6!U^kWw7D0Gn!LluL}|&)tyR%Eju4QA1;>f?d^I13XzRw9r@{pUQWJs@ zR|Bt2ph_S?6gd^biM|wyxMjh}k_=a@m=uJz)5;f6Q6cIW^Xz}dQDcXj@3^>H{=W9? zfC*hNEAH$9vnkan;!1^IY$E!KB48cKYDICCbPP1lVS0W!Z}R@78o2RXq9Vw?Gy>jn z%Y)!(?ycP1sMw0h?8iiw6*0bm&g*M8wcj$hHqI0q*ed8Zcb7<>I``N-AACK=oGw}M zINEk{k{t!YDKZYbV84f?TI60MWefxg&@)cRL@@qfOn)Dd3?GFdP8{>GFjKCh{@opt zzt+x3IPwD$mgstF>Q3ry_I()#N0cF5)sECALHz?rJgyA!i^$H8l65aPo&E83swMhX z1VLRb>oH+!qKPK=HVl`UY+5{1GCaJ=u7TJ=N<|re^8PDsn62)uNTGs&ezaV(k&PJ_ z)8np*r;*geP$a5_gmDfXQxv7d)lw-_$rd?IU~VGg2YFLPwn(Il1M)j>+E<^N zoQVtI<^w~&1DQZyz1G^W0w3$PHNdvi@O+!DtNBfy*-DK$+(xg>7*nD%*yatTa^d(w zoA1wgec@CVs-BI?`LNh9CYJ2ClL)GV9XC;r^Rw5_v$r}_H**y6y8C%`!pZPh(VhIb z;zW^~&vPAD#+DAeIc`&by%y}JutAKmRBUy39X;ELsuCbD*NIiUy=6~c&%KmfD8FTW zLiWCc_F+8Pb-Nu%Hn|v-M;;*fokCo={c9FHw|v*o;n6PNE^E4`uw?|NKy;mM}n|x*H*PrbzLM_Sn={Al{!@sq` zrvkr$;8V%f4pA!V{Y1cUIarKQsb+}Ab%HV^Gsq4;MA{-oiwNU71x_AOegM!%&FX!& zj2RUH1UGhIqP_Z`FsZwUQJ^5)Dn|why)(!oyb3%>Vu$%DN0IuuZy`-{Ya{j|ql5gV zzlF~_K|!OG&$6w{Q%V$&#<2^MnqJa3BF${i^j0wJVC9vUwJigu3xQDth=D5KT?k~u z5#?CA;pL63CSNFGWU`~sN(t2z>4I9#?ouhjo7KO3d|;h+kB|GqI148){uoK=YLLJL zX)(eJaPZ1I@SY_Oxo1-6@+-wte*p{e^?ny_IyIhO6{zIp-J1f(;;XxvF90lc$gV59*LCVib@fj$l5;d-UZCPVir<>o zI&2B|9QEyvbgFV_X8jcywb4esc#X}aUHEpWFuy7>pa%a`PvJE;# z+1}H|iver`LNT%I-C1)yv_K@KA-%&>R!EP`KS+yubjOEU91ofQ`o(sqw;L+_2wAQ? z_+FLsHtcTCH3>Y2#?wR9%-mV7Deu{CD(_1|8u2U z<5|oh<;!+Wu}`EcsXOl9bNIa@(fl z;u94=xyw#0AgoZcUz?1v3yXj8`D7i#2zN7c8cvG61h2IVCF1ZqrJD2hs|~+ z`8G9L`Fj|A0$OgI96&o=3s+M-W(B0Te9jaKsjNbP_LLLii~-$^*uo)Dfo7_BsX4IzJOK-_+lK#bY)8ob!-br((CdVMU0wQx4;`97u>W4#vB@SEiV z7b_wTmynEFHwS3hJ@#*DSG9fIN{4$umIWfP-UN$^)It?Yk)f+jm6^^AH?uvQ66Y1y zi1!Gc+O#h4@I@^vIG!gz{?o#WoR`Txd>``fp;LB$h?d*f>T=Uc>iU9Dp;hIVz!RX3 z2FB{I@9f2K`Qhjz%mOZh;#uGR4ENEAJ#q4vbN^fwvhxHrauMs9yOcmMz3*i}trUCb zv-@RMnM{#PC`KouGW0L;GL)v}ycb%FmgrMu^j5ro_9zZIKPV`33#gTo3UGfm)$fq> zvWKmlyLG%&GNGyx>S~E=7_HQ+C8T#*Tqg*fa<;A5S{(=d8e80SIN3T?e?Hg#9DMCH zV8V*rMO6w?*2^loxfMLk##=5vC7GrgiA<+dg$cZhRJ%UA!|x*cw6UJ<@UTLH+3Wmk zDZaf+bBvX}0^;!PRVdGQn|QCd_W1MISrc?r{zta}NJMWx8xIgbJ-!$*QmMtT?x*^c zbLN}09PqnY&&>h0a)%5}<5LF<*~3m-q41R7OSKk=Nv`2hhpi+5R_~L=&tDF`#URS2 z7{?XxIZkh^zfC32BPhcwo-x`gPa5Ix8`p)zmY=$&lFnN6>uyh9Z1M&xQ9ep{^z0>? z$x4aQF;M3ce)z$+Py1jv0jw*HpFWvR2k8uZosK`i41r3%gw{KhV+SPnk?i(1>hwbE2GU><7r*3bOHHjZ6E6b=p>L|*JW(m6ZCQGht zTB3UCVNU-hSzoXkOC!6+2H84mx!i1KgcWRF!u3Hk+!Ofl7gOeWR?_c&o>}-myYrsl z^NAz|&9?d6ATUlJ#j2LhMWJfZQ!~bHc&8xxr4yZsMi1+@7xzd#Zic=mg)L;UViKC7 zlcZRWtO4|I`w_V>YXCNMqBDzky)1{|y;l7PB@Ns|sh~ur#)iH_^2L*|NQ|D$?KW)} z(}iP;oK|h2$bS_Ll3T@8_36M|;(EYLN5;{PR4_~cd#a)F6WOuie!9r;qM_-#5eLW% zS6=DiDo{IBge*J*>KKe1Ma2?mScBd}VY1bt=hfoqL7aD60V8223JJ}OxUv;P31SKQ zi^$3`|7kXqFY7N6G6o&!e!#(y@k?Q}Uu@3e(aP&pT$s~N^C%lGd9WkuGO?D#jw!dh zRV6zmtD$gh1@DbEN~N3L+Wxr9Ih<8xTe)H$QQ1s_!=oeD{;+zu%<4@(7*Cr|#$OLKr}3cJOsO5C>w;h&Bj^!Of4%rfA`4)s7M> z;F2p{wMcSuFcCSA3QH7co)PNu3gEq2qDG&Jm9m3sLo?M0LSz(5g3ac=<+RFxtw92H*P3e~I1*s^ZyuN6;SZpIr3frPL0C zOncnsp4sK64E%OYYbQ`wZA!f3v@3Tt!k$e|Ik^GKWwU*K<*#!jekGY)bxMx|i66tF zU!ixJzEyd$cXYRT3%$JE`t_ECq()gB^`M>Q(Gp1G@Ml=V-LwY7tb{1p0-C0I2W8ls zt*JF3NW2^4&qMw$?gFBDne`_(=iWa-xh$3u+F;`@XVI_Op)m8L z{V?*|xEGjH(*3@xl6CL3zVp6tvg&3aI4ZUAL;1?9wa;S0Jto2jXR_Ti)4^{>s(~$vo?22hFRqs|~)z z>wzBS_hNJPBBL&iKiwH8M)T09+`d1T!uU6NDA5ynDN9x6!d_TyIg6A)&MFNwD^#;~ z(g+Phw;FAii4R4|m)I0@dr0+EK9l-OXrF0l<+>0j6t;gSF;mLoRUrvs8^$VH(ld8I zTZkH)wMQQ)Sqi7*oK;&!+6nl&wvJ*Uq>v=Jqj!YZMK$w^`q3a>%@FO z;<)mR!pk7%?)#}LVzf#T4Y*oD|%L=Gsm`xrJL0(AO5) z*g#bZR&J+qdWCi9a_M&HzC(o_Pr*lwWgSq5QY@8@tz;szSgxmzlSzSIb|Xa(1NpwJ z-Pfaq>j2x9h;HKpl9l_Ch+#u@nwjQE6bet@29m}*B?|0Y^q6vOa z(CAF$>mw}#2nesj-j?|=C6T)_)x&M-T%Q4SDk{)Ok~ix?i4G=82;XdBi!UG?ykjJV znwZr{Uw)x9aoeHSa(tjkuX>_(cs#Uvgmne@Lww92E;5lQaU%^yCpZCCa+3KWVA5;O z&!R?$cQ!<)l4cT{$thSdwAU*8aUUmezaCr~yR%c_;R7iq95y%27P~a>(ZvcJjqVD+ zj3$n+EYFgH&>P(n4^55}2^2tssxQX$mXnV_HhJMoJcMdRyKtkcdHac_=!=<3)TeCk9B&f5a(eAZtZV&&m&9S5?Zfd(@FpXIE79uVT%hL(W};1>8ljdTc& zjt{`Y@jo6eME?y92MfT%^?zCj8oCD^fagC7DmQwlHMnmY5eM=;7d=J;!1KQdT!`cq zy2KX%@BbojAlX6~6t)1~{}9t97#Oku-v1D{XBZ3e0N(!++2qA!{S4s!FA)k)%=Q=n z-~UlsF0u3j0et^Kj6hgFO#poV3jsn{x3SPP0DS)o!GWl7VRw@Q`2H6Hgivc>Ga&)^ z{}%#;d^5ntLj&;tM@g{34srqT|Cb8&8n#a$fd9W#8uf6h6aoDIrQ%wO3tA9EgEO;~WpJX!v`~+T~ z2C_g32Y@XwVCmR@`oACsEVwG+pI$rtPd`rpB7zG>{(aj2j02lsz^^I)PWq>y!-5ks z{+ToLKulN|Zg!qj4m>(64t93F|38N1<>lo5zuinCdTwhnsh97#-s?4K;Xe~AHEmhP zZ)isv_qi&BRk2yGxultB4*0j~wnX83gDAY^rW_Y)$JN}RCT2J0AA=N=x-q3^YS~+p z`m3mREf{{Z&V>1i182h|7_EsZkq@LPQHm{!koU}spxY5W~6Fc1g)jZv=j2!%_^Qe7mm16xxCrDM}jBE8dzv78dVG;8_= zSDe8>@|21{UKcuD&Bp*O3lF!2r1gj~i58?eD4kT-Z{wTL+!6JIK=+Hn7o|*H!Pq$V zpbB;9Yo4IWm=r-Mbp1JGcs`^oMl`c3L#dc*s$pc^c!u98f)pnSy4K101XzLumgxhd zB&bc=vxWqRG|7lx8AwwAO5XdzXp+!ZfC9qA4!GuCTe65}xg&3HAn@Xc_yrsg#|9*p zWDX1yRL4#4>xPby9``cUMJ0-aTQ)2r^@Q@#?4Qk-g_~sHsfKUv2SivyXF)Y4@rtQH zXV8$dE5c(lQo#M7r$Pt7Wkn(ZX=S~Fn-spZqpYjzH>Fuyw{Me4ZAZJ;1@jl!H`zMGNJ8&j?sVBNDWGA7l&l^`t{h#jElHF=0eo zdRwgJTTQw`Cv*zc2 zf{!)r(-39AC`*;TzMYo#K|G1-5c`Wh`zyHiDje1jgF^Qhc>+@b)i_vAXdo3D@8H_r zH&D<3*fTJP5Gnoa`Q)HR0}G11IlQ?AX-40}%m#+FfPy=~yPiq3&p&M* z+M*C9RBXLnl}Um-05*DE9#a_UJ(zUluK|i=Ax~>i1t`12C{){=APS6$vn_2V#KF6f zlJR-b5QzvgSc6xoujxTNj*#1%#P- zPE?=KPP_LsuvF3olNq#=*skhAF|>dr#bTI1hjTRAy>8C?Q$lIFpsu?~c4=bVt0Y{b z#S%q5bKDO2?*%;M)0tYzOBZ$|{wQfu-#IOB5A*gB6^X@V85e$%{gf+hvjN$`YYDQ~xeZzIrrV;E zq`zse{(OFapZ(mdRoSp6-@p}aQk=9Qx0t}1X6CfojlBRe-=CCv0kiFKrCQ51`mrD* zL&FXbu)a|{&);J_O^Yq-Fj9adAU1Dg(s)32xD0`buQk+7K`!68&3|hmgJ!Bjgw)-q zfBb30?c+#WO}^Yq1g`m{@TF*4%{=+U6NU`j0p|?aU}X&I@iM}>B`_TctT+^S#S1%` z<&pv1@?s!36#iEq`)kr}%k=X8gyDPpmjTdOjvi?n>*CutI2Z)1*-x>+ZqI_f&oHga zO9kg1;0EjWg&mmJ!nof-`d!EsKpmIgNzw@m0LDeCa%u#k#ouG(RE~`iXaKds))LLi zwM}>hdA#Vzb3yN_ih0?ORR8mb)Ww+x5jKFYP6)^j-X?s`ARc;)96L=yANl481~Npb zfQaN;Fo>=MjXV&CXe6YdiR{F~l=PjO+azp<27wy-GBj6Tj*~Gy{Fyb32{`*ghm?}( zCrPL9>9fQ#V2nn!;#xV3pnU9W9;FHep$y$}X-kp}a?HQ_q4FhirppYIf>{Uq8quC6 znmp*`B-4mBJbApv!Gsz0!|3|r1hbp%%=l#8;EzIkBlGa_dJ}zx{cq7kM!_A=2yl7-T&A>DUl-78dZ&5~wg83t+@-UNankGH7Y>2rO-%Z-(1e*8dh`ZwV zmWk=0?$T(1>@*3%V5+TcIrH8g`>}Gj3>Oghd^qmoN*tGFjlqwGSjHZem2i4PQzd7y zoIy#HN}IOd==(*PWW7OvfI(4AHxdEZY7d4=h*ThQ^$(vsD$8$42{8${MRFv)_9MxQ zJF_r8zk-MeYUIAfm%c@~W~W;+2Gl=WW-_k?n21^xd~?SBiEA%)#7#u0;Q5_bvjY(X zJo%1UM94Ktrnkco(09W-cS^}Nz#iU#nDSY6QPxKvQxAs(9?eKDMNTp$UL2;ip<0YX z_V=%^e`uq5iN@C_*zMh>u4paZ=5q_tbTl&&W0$&MRyW5q(S{7n35~L!{YM zd(D(9^EC1?-;`yCrvz*5o&=?bLeR>8JZK`yewgcevL2^+wQ!r2z|<$w-M1QTE9xd~ z?fK2jn^2h+TUZu1rcin)%uZ;6s1kvZYCdEmcCw`#*-UK40Mdj_wR&x7K5KHbRjs>u zqwiNH*|1(bS&Rz(_3T3~Kj;vG_2uanr33-uSTXsiO*8x$^RT58ve<0I8gPg|+d zgRQ|9GR+K48$ni5E;yq(Bk#5elHq4eE9)}nNj;W}_#x}OGjo*;Re_CvC#OuvG>*Vl zZTS5g58ycICF9ztBcFfE6V4*h?hIOt(xGnIl&%s~^FDev9fLdE_>lM- zm4Xy{^zM8<%k&xHCe`3?;_3S1?$<`TdRiI|Re3*E+H)=&IM&M%I}P$Qkg1Y*c-^YL>Qit^2B~8I znA&g{G~H_OW?K1^Yz-c5C$WF+^lK_ai$?Yf_1p@m`wv+xzdyohLpxE_%3YjswP{Lhh&+DI12t zUcOUZIcryL&HY@6HF{hRF{i+|nOFMtDi-sHBwmq=~%v=4;@+uP9B4 z9;HEX61!|@zYJ?7pIrF@W$fc95%RV7pT^cwB4slq(8jd6xXev=wuB}VjCx`xpCoEG zb(eDKDE5mjS}T#1V(GQN|MMQ^E$E5;76HGTPqvEx03GvDQvKWozwP)1;cY8O7yS)H zE?>ctqW%G)X7ueE+3Jw%BfND@?)M*|3OCgFQLmTWe_`;WzD6LMDqP;#FuDH@$f&6O zgIz=#gsjnL-`auCn2jwRS^o-TIP+pq&GZZg{10TdQ}eD^?z&j+-<}re!-XGuPYZ@` zGQ(>#4l<@~nAH7MQ3g0p#phrwHs`^lSVy?*#ARqe+7_#g#M3P%*72T$d(fMWM z#-08jcV)#o^z)~Eu&Oy~nuCtgWzNX`$^Jg=Tw^jzL(Ae2$ zlQ_s9$kI|M9A*ec#`2z*>2%$QY-Akqi?kz0r5o7es z7tA6Z8Yw5axXloX0G7|e3~0lAI-xh!!o;6cYp2S3X_9KE4-TNdf}3_sIC4Q+jl8+j zb}k)+Q!?|hH!4XTD+@q#C(-sWtlMjoKseX7wthnVrdcSCk*-QM>oPgj4}Ho?7jT#N z`|&I>`|Jt7JjXFMhe!t=jKNe{#5Khb&y5cOsr4joFjtoS7crf{d$L;at z!4Dnq7yd0DE%IQuj*(%vC$i}n`_#*om`zkPz|C2;A+U=`v>Cm#0`CdV^(~@N^I|hM zQn3`5mTv+{NXpSlV<_e*f$@Jsue~hJw1vV5K zYpP1wI(VxEU41rGZdq|FQFi8P0YEXZHXv8+V=Pr>{)%i%phLJLLuI#UX9Ds#bl%*OrLs zK?832=wOlRHP9#rS&z@%`!;{WC;RPO@jVu_KrJnQ`l)B0Tt7u$Z`k(8?8jihd=onU z*H6wR%Jy^62|C~(-X+zaTzu(2KOH@djts~~&%03#M&W3;80`<{sfpFuY_HaW*4>z-6D zYaOpH9nt;GYcWe}Pn)fOL{7a|R=bpcbuH#J*1WC{8@UG@q+oPb{kawL>3%FAEAaQ- zJUjNKb@c!-9PDrVlzi1+2V@(+;p|_G81+NesNtf3Om`}4v)-G(7@5DiEwW2K$jDBre7lgw06bQ z5JPF~>6+VBUg~u5sP#1;_x7T{w{iw_)wgvo;jY0-YNDFoxl?1Ov#>0q_vhXm?SvnO z$`N3YX1sY*-!S}7LJ4@ksbpZkSV0+%sv#EUc=UaAz`B`+c+nv(QMm!?~tm8ZQ^E1(gYE9cV*C&Iv^n71KR3zZ~VlQ&AIsP6s z_LzQEgT)H*_`+z)`C6zkHl))0^LQV?jv(}w%|1dEQwLVhfZO)Kc(PAyJb8&8cB=-& z+2`Xz=BehU91-Be0TxQ9a-_!(T6lKnH6YFj-@xuR#vtqQ)rcM{tqc>lNVzMvWWf8$ zIXa_G*J+<7Um<#2-!;ck?sXgUeXFD?hwin_aEiZQnQZ^+dJXbAjf238i_e0G59~%1 z-Z+Y~nlX20=2&o%0%7*3Pk$JYuZ`s8F0Ii!ZHf4N z%va6J*7KqB@>Ih)eZ1lg^Mq5nRMf@=y6Ns9(XOxK+`k4XxYt_@` z*Ns7Q{+N6>BcT`~?HcaHEuG#IxUG08(5KBUkT>t%uXgh6Em)@O7G0ZXzxQ6nS2m3f z5`=OK;MJY*!(gGE175|KO;Gq^t=4IUO}ZbL?~KD`acKHRr{MBljPCpULjUTQD4s5$ z+zt6*V)S;w+v%VZATgN;6gsXb20I%s)xMi&C(r?QwYtD}`-* z71W!?*gzp>N*xwd98Q=FyxG|nYd3`*{Ha9}+-wmng#{SKlD{gG-%|9#Afy)ZFSI4M-)sHPns~*T>S&Y5j3^qksdJL~9 z5X_=JSPfR)SP82RMX}>=owrUc%5Jc?R-~2U)JmL=#Wp93WM?+abSI$Z089>3b)E^> zCrLgx7SeBNh6~bM6C8uoxMOB1M#6#9>J(xe)Y6FtT0gK&aW%DfEIe&TQkva8hw+)U zY-4{3gIEhaMALexlWdGKZr`d7LWKkoOdTszZuIs&iC2=Khati&on{g#1`*~Ya{S}- zRJz<4-EU$HcpRJw=@z{OFry8yJM3urPcXb|Un6T#Yw!vrMwCFV^X8IU(!MjhpT3|G zZe$$TsFTR`T~IJ#LUH?i#d644SyvOi`twU|1G3-q#cG`=G$*c_z0xA@T9JY@?PE5c zxYuPXpY;gaNy7c#UOkLsgw779yw+XR_l*Geor4`~UgN?lSw>$~GPIj2jN;g#h0el{ zFVOdaLIHfic|Qw56ovFj#*vG7Y;vBMXyZ}sBudppeAce)22J@OW)PvL7k31QmW;LUw6vZ=%^MfiY*stt*24+hr>K)jTskMX49^>C`cvP97=Bu$g`BjY zaMp@3twUERBd?2B6^kxfTJK1Qrt1eUkoqr2u!*_9=|s9sJqQ9;v|MaDtjC4;>v=98 zJ*#aHEY^rYgyp!a=h`Oz2ulke`t}Gr^@}8W1+T01r2Ssb`hV-{K2e{wKX5^$K7o;1 zX#d4@{?=uAVrmoj6Q-Kl|Mn!<>QlS#8CmXYvy)On*;{WRY9JlD<^!|=rP+=%M@ zY{tDt>5p*v`xVdVA6+|YjRY@HDC}~(W3h*6DH^+t7w%ACQQtAr<9z*{c+M;~0?ZK$ z#03vF{wp9oECI1#!PBikJP7If|J0tY+JSiBe`XitV;iUr1IFt4H@&vp2adsjIS2l= z`e!ObQjdWCFkr2b|9tR2-x0EX21JJedyoG+ALa`93kIA${mSu{BzZ~Vy~|GwJ{jUgr_4%%i}~dIg)j#A!hQ4Hkq=@y$zLm?sbsLK>{s{wnwQ#q$o0^uKP-d_480p$j+UNOrlw<_;4yP;RPB|x3WBD4MYILb z$?nnJXOfT_Q5th>OBm)3mg+cDGKzbEJhA8MHSSZ{dzlFEOv5l0we2{1%@?Ae>4d<` zBjy;T>Vnw4J=k=zv6yo5W+CGB+zLX{Au)s3Fdv9GxJXRUq?-fMu&Am1L3ZLHF(2%` z=2j_wiVrgEz57sMA+S8KtN*W%uZ)T-XxhZxVQ>o?+%-UOC&66?3xm7MV8IexX3!wP z-3jhaaCdiy;IO>!w|ma+ul>`vyZX7+)wgf;sjgF93NEmU9q;* z7-O-3=j&;c*MBDu$J@0^wgFAxfJbZ3Dxao~XD{cg`Pm0VZMqt+X_i*OKTWMZ7yDdU zU1PP|E+Js3-1!$VqZjYUA>cjd!+ve-{;w~8#kS*}A12eU8?6|2x?3kGRqwT!{^m=@U9%@Gntx;TFudj9ZKln;08$_%c;as2MOt0d8 z_J28BEqxMyettfAUYs3M!L3jmZASXpR||Ji3EKb;fPtQ4-S=>OU26vmz$2~bJdK-t ziRF-us8k!BQf0O6J@bgzJ&QPhdA#VlUPm)qk|g)(-6HL+lO=Zy*FBH9e-FiUJo}u5 z8;;qDlaRHw!28_AH@{UfGl!v7gU5Jms+e zcEC`|dwKg+4;(mke-iZaxjJ-t3?D&dr8LWjOUKyQV|ha4FYaJKCUMnDxpiCGrLuE8;jvofQ$%wCU=QQ1E^ z>4!*MTvLaMRHf`otP!?zCG85q{bjM_+_#<`3u&F2+HiPYX7k=#X|ctW0d z;46tc?l!psOI<8-NiPZIDLiPWB_KL5%;rg!km&lpd;_>oR&B-|PF8KlK+88w)A;!U z)<!cvVM8jnPEp zUvhc4JO;ov+BpObSlg;{r?EoRE&P=uwI?%iapw}p&)mB)Q6b<9MKBki}4?u z3u%+BzbajRc1hH#9VUeS`7Y|nA3Dcfw2H=r882*uT`m(}@sV3mhxxL5d%>000WZmY zfWuRuOsyEOId*E2=5MOkNx$cF3}&Vo zhmONirgI#kSr^<`e@k1^a*Pu90}HPYVzkzL=CCP|`=_VnQS}~XtB72f?z~IcC2qEi ztHKHL3?lTd`6#C<|nPCOQV!lN`iQq+vE78?7*6Sf5@bg zO17qon|?~Gl|(5OZmmArxf_tKrr58hlq^pjdNeXRJ=6nZn2bgXwCnyb%4_)^&KS2k zHsna`{yu7OYi`q}q8>iLV9{#KpFXAUB5zp*p(mxzOlYS)QrEj=W^*{W#>G1+0^AM} z+8T`=HM#NJii6oRv+vsHSisIdOVOI$g4Z5wc8p}N*tOR36FsdF+BS~LSUNJ*J!N)~ z6nq7BfqMxa;UVo-rP)f12TF0|E_CPWyGFv^=jG|#gGCrxefb)f?5iIVN(Q>qU&d8P znrErUYz|^5R>I3>x5jMr8nJ}%oQrALGb1?W7Kx%0Dr?v>?e6AONWii*>{`8$b;`T; zZ^yU^H10$C{6aZli47PtNkI)Gz&~NU1|OpJ!s{GhItHoz0Gn(>M8}JepJny>(+k1_ z{H7N6Kllc!;*kf!gqQu834uKBuGwV&Tw~h9PD%iW!qPE@`;Ka3yW`@n&BqX~`ovnCxsd!nb_onBi{9sgm|A--RQ6MX9GPrU^3KX0p=h-;jd4tiHIHa%u@{ zNq3TlNOx>h%zIq3qeArEmO{57S2eNn=TT=p*2-*98ru)q2X)J=mG`;t;m&LRVOSc@ z!|loXr0*z3KcVtTcoxq6s0|@iiaq+@=K(3rqyN}n1Q6^K0!#=72PQc-=l>OXF37|E z->98vJ*8Ok0nGOE%7eT+U@>Kx4v-iH4*?a2SYpdyqvyni6}xOT{+kuz{(88DyNYO< z(bA6s$k@O@Y?+z+kWEKXpG~b-tuBCw0`9fj%&yzSXO}SX*-XtLL65q(ueYfwR2Y}= zT;#QcUf0zs*o5Yhvx^mXorDUq19+=OSA>kjpDr%@%nCD14S?vn;&aw~ynX5dD7 z!~#rOV|?7~MD<7L4i(F#Zz5gIs~I?P7vJ4rmFZ8yWcJmJ0hNd{Gg`=fG8^m4^Z;WO z*Ak;^)X1751@`8Wh%NN#%N^!&<2d~o{+mtpV>oMyujmB-h*)XHJcTqlPs5WGzitQz zT$B+f6^$Cah1?R@FKHG4#CR2c?gQh{=*IR*$cPVf3S@ghNxf{(Ie9L0b(JwBtI+ol zajSv)IOg4E9C20I&?F6c?!BG5Jn%Q&42e)^JP+>Wr_tU;94_!^x6nBE44NjPRkfoT zP*1iI2H0ZqPd*N2aX5t;Z- zTCY!MFTXBvueLj|Alui;5azd+>C0Facfz;Z?byuv^0|`Q0zk%FJ9)=dvx9$m{HsTE zt7`V`?q_TczKN%f43o+6JMcG@;wiS@S5orpp})&5(RKgW*cZ%|ApW$~zsUc=k(hg8 zTTd7VB`Dz=oUuGs4@)kCV@<4wW3gD|iYS+OeB9`+QfaSK^jtoNG%ulVsn|yK9~+zLCBre>^qLj0V~uO`gfVjXf_mY}KdC%MQBm`G-6S z0XogF+XWn$+G%2#64@!RVcZ0bLMZa6lJu0LGtIP=bXz%ij@zS<(+DExMa9N!?+*CtLU&`Ilb<-9Kl<{x07>ZAnzRy7-N-?Oeb}dXw>r={d^lkrO*iybU zvvzV{_E^LAQ5VibHG*9^w7hdtDz5irH23*+av4>W7;KmXcWBrX{ z8E*2fZ%*guEF}H0CX)kIC-g{Z-0ypX7vkm{^B9=yjREr?maF@>R z+PPDQzLMS3a0Ar>`&fO0zD@cu($Dl#f*M{O;*c5c`y7mh)z*V2)j-`yPg9#!+;jRZ zBl@+);>s8=Tri}xS1RoxxB}w~GyDv9VEW@x+M0q2cC!6~=_iAbnLX9T1__6V)GnNC&TBn{KAq13>K|-vP-+=wlZ=`~!jH#NFgMUt?2f#kc*|8U zCOhtTSfS5dq5qzqDYm_NiNxA|CbB#{vb=@F$O&^U8N6;PJK$hZ+-{FnVc3&gnOVte zWYtLd&66mPihGKD-aY2nG-kl#O+~%HT?BjjkH9I44&0{u&U*mv-LyK#W^t`2aT^8Z zR8e^%|FB)fLQ7P>!?uoxM?&$oXGZ%Av!_uW#GYZ`$LY}FT*MVqLCk@vq*7kx-wjiQ z7LOh_GO!*J{t`vubG6xI$diFySn=z zveYrP$F#Y%K%SXgwqv2RQ!U6{6FZT#c@7s;6ygmX$+Q$m&d)Kly5dY|d8UJLhwCw3 zw_0|{k}yEs-;sSgym0f=dwp6p8IN6m+xKZQ1fR!i%o(*mJyq^s-#++>woiW?`*l-3 zv%>FRPE;VZ&3BE+_JoL148xtc#Ih%S>@G z;ke?zI4M6>wMRAvJ~f=$S*Xdu;qNZz!h&&UQK3Z>{1i@S5)PlD{4^4~VDSO^be+=f zr|`;}c6zW3%a6__b#J9X}uaq_P`1 z_eIOAyQd;b24F#l^jWQ%{3H0wRDSz9-|D;63R;>^svj6LI=^TQqK~$zng^zrOz@)x zlt_}H*!>lK`g8i^jV|$9!9YBfJ2%QSxI4fGOY1&@;8rtyT-j14Qg{Xb-l)>U-7hR} z-k{epu5PdK{D6(l8=?Qhw3w3Vcgq{YaH|Y84GKyh*{|+iXrw%|o7G^@2^mPAXT|e| zFik#jpdyHgHLIsz#m$AN?Co=X9=sm%j3(o+wj0gxLnJSF72B|iRUp>3TmFV?+IV6}QdAhR!aT zlV9pcYX}>Db}xiCuN8bUGgV66o?8tNc&ZHavb`@Cv9=X(nR!0l@AZ7f)$O0Yi0MEY zF(h51|K{$0cRBs=HGE(i+1U4$>~NBCYYdnO=w_qzkj4&t#Rw`^XSLQf#ZmO zd&kG3Av3-Y;rK;tlsFHWzuvu#%&$=7K(@)GgFWjcu*Chhd+*f_OwM%>^!0u|y_a4q zcML6LEGa<4)bA&?x1+1XHZhKcyiI->tT)@)xTB4f_}#Q|P%jYonM!O=Dci+(6i!C@ zUR#ne;tDs3-VL0~9Dc`|1D|y0cF<}e;QJNTM`J0dPp+69j>=uw@aB&ODTmU5FQdoD zd)k6z>YKP=jFJE7tFB*Lt|sW^GH0NU;OaK2hRvtlSj|ZCoodLql}^u*w|$(P+W;Ti zm^;z6O;P0MVufo`nZ&WqIy|phfjh}xs_*32R`W^)o+r%csI=i0Y&V{4KpdE7AzjM7 zx*dKrNs&qF7&l|ta^zW`TiYw8XX~zQj7hA}xk7&pJSP2BspEE}JG2h82a*bxAVS`o z>5}g(xIO*a)MqT59(?*d*dGqem%I0llO3XWjsfe|mqHwF5f8dVyY2rY8;41y8#~>D zPd;te`#TxFFD)N2sHUo07p@C5E1rKSh%tk>2ENfo4=p1kD01Iw>kBFhS6)zXAt->V zZzQGFxolwI2}l5Ov=?Mtt!>oc=b4}JkYvk5Wd*inm*j#JTms*(_ipT!Ryv%$2D}~K zlfGVu?>~ia+kcmmSGDkeW??mwX>Ojbtzb4Xn$;sxBrQi5xyPxhe9efJpweR*3}y^;NoZX4DGhZ-JiuW zM3h1=Wk%BW(5fjVCPJUy$%jrL)du>igOh7bn?JZ?z}`AI{WW({F9U`Qm!_pyR@)Kk zA}_?+;cGU&5PR-sd65;QyIixyOuQ@tL;G=?<1uY=2di1pNF#%VS~AEvJ$QGU@;yH| zEIOct{qYf8?$W~lRHv0#Z-$s;Udy3JCXJX0RgqYD&pgAg?75rZ!}y7pWsp#C4(u~L zgj5^6h$JCV)s;(qK9nC~*-T5+&nsRhb<7)>CtnDwEMtE6Z$A^$h8>tJBa&&M9%(+ z`%R|ipVy%OR&G9-syQ20_du#-*kgTNl!ts z^Qh=dS<11_Z8elGDp{18W~LF0sJp+3QF7qwU2*Bl&;PV$Qz;~y$Ra&C&u}x=F zX`Tm-nKF&A0!MezhzmvIU?W%zTc+UHE6)k%Zz}8?Za}M$eW@F`gH~4+7ICHA(OH;g z7WotzPefUa@^v7=SqwPar|n?EN5o`9%kPRA>R_Aw4W>Ii5f;U;%k?VOfgIXL2P2gE&gkevjYIHoce<_F3Wk{08rKScbf8Rn}Y@ ztB|b{Ira&EK;JIW*;j*Z}Kf z5zR9_XybPxuxo$#ZN-He3xD`?)Azcq9Gcen@F=HYO6G1N(~h43D))D;SfcM&D?P8a?9J}=RQ z>YuBmZ+SiqJNk{^IZjlLjW&J6cZVrqabq@eXvmGOz%;G&*nrJ)9}s@hU1$hxYnz-G zM+*0!DP2_!Qg*VSMXCIXpBp*qhOz^-?C$dJCV~`p#}u1_gy?kPt?WXBV^V!{YYc*C zOsbtS=HX<%RZZ-l(#gl_WB#=q+)^v}yDyI9|JKG%K9+GGx|_u~V1{@SFNh@3u~~oh z5=}0g2hW}3{Ke}|noHpuz$!t{T`2YTX45{IUFi@0DCASLuvf#8f&HJk@w;eqFCyH0 z(^b4t&C!VpkJ{hzqP#1KqGZl;es@KWk~qHd9lOL$^lahA`LZ_e>~b&HL?6wTs@|x^ z%YHM|UsK~cLuHf_Tr^2F#wPVFJ;0ghGt_7Rs~J`B5n(5n=C`GQMzs*5 z8m2L+WqowJ_v1z3`TCj3noq0addx2e*m*9+w13|G!1sfYGNmP-b5CVb`W+QjmN6xG zJ>bF3*exShdCl^QJ@L+k?l# z`JB_ra;q|arbdN7V+0Kfc`BskZSNsY=GVTd8m+~@Rp@z>CzNSbz96KVlnS29TYXHE z1fk_Hh3@HRD}=wBubitos5~FP@`=n|X!h{*h(tQSuz5a|y4(?XM{P636gK4pzg`<4 zy}-^neiW$uvO~|^zkZ3)o4=v>o}TO##m;)eu5K~AoW}|LV4jhxz{4}5bXM1Dtw8>n z)PQu?Xyi?ld3q+vNvW%#(lMrTRUBM4XEeG-^?K)r;R*f&Zh5=EadN#I4S!Da4&NOA z1LFMOO=)Ta5g~p-P9bSN9w~laSt))Q8D1`aX)Zn<0e)#-URiE#X))^m4+Qre^FGx7 z&UV2g#QR^LBP4?ofC_#btNr!srIn+4oBp!b)@;DTyO3>6o(v{IXf- z`|7ynwI;g1;yX?<;H=mu8-M zs@hje3W(M~;VT(tKilrO4GF??cPQ&D>u{A{ zI@>^yi5udyj294O(gSE?Rye6Wd4s=`Bn6tE2;PLd-#YAb;pU7it|Luga4`RbT_EJ=q>pRm5Bv1B5MT8gvR0g^p}sEPdns^Tetv zu^a_%K)fawjNQv&(qs?(0cryoK_Q)%b*CV-T9yswC9FEEQ7tD-d&V?LH%vphPf>F* zf3O^~GbJ^=)<TR|Ysn;a?M$N}_IfF*fOh&xBi~!%}F$MrGFw ze0?^B?DXlaIe(5dO$k?ObQ6U=qDpMPaz6!Ve&cjRq0P+ABa!&xU4H$V`7`o*aS>0b(NIJSJ%4FdST3wPx_O71kNi#lx% z^;V6U`_3P$2a5(;1-U|#11-KbWRIC?!zPHDepj;MRC*^Yq)xpn(|g4uhoY^q+;dA2=|&Rj=5 z@#$4)PoPK*`x5(T=KIsT&UuteoKnwYNV9;QA(oXf$&EncE#k0_b+FhWKYS&mKR6)< zc!Yc=qv3SO#Ve%Taw@$XR1A*Hl+|cGU>s!HN!Mz{Fdfd3n;_tLd_Y6OqR{>^08;>G zjivGVoCO#0r)I5{?FWJ7JI`Gj=Le!F&mlsY3V?V(EmGfyg3`?@MV2 zL)1m@L}Cc5)5Y9`v@>!Hq*#FwU;+vv_#ipmY!{_m3to78gFCs#OJT^*S`}3hw8XUx zP>Zxn5lbeHf{torvu(;qijZs(OIn44j*1+_Z+n9{22eTny#p18juB_%j6Y{HUm?NP z$2C%@!g}`vHV-VL7J0OCiAQgr!fEnnAK21r)0GAR2C3}BaBUc!6Q1>Uz{G82etI9jPGxv+GWcgLQ~hr-+(oz0A;OZX=o*BI?A<{9zNK# z{m2^7AJYFYweQXX_m^?bPir#61a7R0a$AJ2Kq-RH6D^nS!e zucD|}q<2=X&Cu*iE7Y$a5`IV~rr!*@q?ufi}lC+yyuJCrd@2|7b5}q-CJNG93Zl1~CLw9Wz*iQDnC3u_bC~vY}pUt!)FWf>4X+w~0d z`8b?FzqNZam^|0sCXawPxVVMsff~iL9O}MsU*(hvT7Shtf48pRYty#_YV2}#9b zXJR||agC$3mA!4htgC8Bf@Adg0Q&%r$>w6O%WPRq;w7Toi{~`4d=L=dd6CHQ>sXMFswvu!MmGh(N7#A<&5{}dgyv#J|Ji-a0;gT{ zM_C@#wskbk-A35if9XLbcMhB=!YZ5acgHQvo1zown#p(YG5dC`V0N+}BUqb0QUy-) zD*pDwsxGzTO(#6;Pd`V*wrl?1Dtm%Lp5e_&MVSifbh^P-(0KN$qG$1>b$ zk_wv5s)ZbtKp#t;L zQvLz3wKKu|v*4&Lf$PW)Zscj3!oq31s6;brr3i#_4O3Y^Sq^&|?|9+Goizq!s*< zJ}1JWYA39!PX>M@C8pGchTO^1u?I+k%!Yi)BVc#s-42HQVqEdy@5cpK_a4^2!Pb&t z3?AI@W%_21R*4$7`l;?R4bFmqwO&W@Hq78z_xr zc3*)Oi4Ay1me}L5S_|~0N~~t%+aZ<|4)sfG@j56w$#4UsSajU06)m1qHi|-}mF0U8 z9O;{ANcj3@=iRv$p>YwYhmeg!um#%23qm-A7PYX;*Y0Mw6x3)1L4e&@T4ye~6^28y$!G>E+4QQ}5slV}JRiP-w zClHnRgc260kIP$MP6`k$c>GMi8v80+Qn)2;s)bcrkxyhXTdulnI+`?!|A^F5p|vdG zALL)4>8eXb4s(Ql5jF_^o31`zCAQI*kZ*0J^)P)}U2<3NS~6@UR3}X2np=-vzB{&U20AH!R@U03(cAcb>u*h=O3Ap@Bk}_YhcovI{W$Hv!-o{G%;wVO`)5 zmREKl2{!anT%!ySL#Ze}O_!~Nw-FV%=h<0@Ec}=A6n2`D^A!Bw@;}9P7nVkv+s#c+ zf!m%2X*6_-hl2E!H-A5C9yF8m3Yi9t&S=^m1v_i-y#ADJQ69@vB0c5jd%I7Uotrt! zoCS5yh+R5IGpL-B#ah=5%q-r$EhiPX979M?`P>`Z%O=G%z>fK{Pbx1|CQ}E2*2KPY zdDhca;OAgjWR)JkcSWZ`-WC4*Nz>_zt4dyBGg1!Y*@GhMXZ=E1o`TCZM-Z=V+TK@N zUaPcchv+?(X$lv6r%_&iyA>{#yOZ$?RGik7&DU{DFCa}%NUY_(vRIGR=Zwu9DoZaf zt{&R;p^JmB+k}gy zZEUm0YHirFEm)F{At=ieEuY%Trj@891Eea&ZYrcW1a5pZ&!uj$