From 53aac4473f957abe3a39dcff9dca5a084ba02265 Mon Sep 17 00:00:00 2001 From: Janis Hutz Date: Sat, 15 Aug 2026 14:42:31 +0200 Subject: [PATCH] [DMDB] Improved introduction --- .../dmdb/data-modelling-databases-summary.pdf | Bin 1388075 -> 1388513 bytes .../dmdb/data-modelling-databases-summary.tex | 3 +++ .../parts/00_relational-model_logic/main.tex | 1 + .../parts/08_quick-overview/04_checklist.tex | 1 + 4 files changed, 5 insertions(+) diff --git a/semester4/dmdb/data-modelling-databases-summary.pdf b/semester4/dmdb/data-modelling-databases-summary.pdf index ddb3b06668c3e5bdc138fd71a2093191f22bac87..1eea2a220b63b1499fc779b8472f15aff231376c 100644 GIT binary patch delta 39318 zcmZs?Wl$c=0sSYIpT$?i;-@~N6{LW^#{ow4A2+GDJ# z7W+lFnll=qAn#>Wr35UsRBYIZ=dA4Wg34@smy9C9Kio`kD=^5|}>JZ!sQl z#c(XKor>c_?&Y!H6KBeocr(})i7NQ+Qb z0J$K%LGI(*bT+Q9#R8KC=+nT7>s5GgD=kWA!(G3^0^L*%n3Z(od*7=mb#fTr-LDS= zspL%Yf^>D9%zj$PRZdrh+w?f9i4rC4kIcA{G?%H)ro$NxnVUWq>#k8@s)J%HXWSN2 zAhJ@RhF zr6HM4O-IA?=G9#AbAOAPYzbVwxfiy!Xd_M8QC4%Jd(|Q`0bkZqugeuwaroO34el$jr^UyM0@7W3yB{s$) zpl`|nd|9jyLlcy)o147l4OK5hQCWu3%5(;;2%j*$Je(j3dD3yb*Wo3_IV2SP+Cc{KgReMoz; zS1&i{?zO6( zB+6gdm}m_3lsD#hxjVj0|7_i>utAFs-w^PMUazrqc^Q2!FKcpL^F0no@awkM)dgpO zTEh>}6n|uRS%h7l zhRYNm>hXBE5z?9aORHjoUH>0$qv@rnlQ{PZQQz2Yye=7P`E^N?>@39KvPGk0)x6d%OLN%|2 zf$@l^f$I=RncbzHfLz-*IftdrF$U%MUfJ7feNQ>#V@B(w!MSF0%2>z$zS@mYICG>m zPKwA@Xf51mAAL(V^Gb{DMa94Kt6&30O`m*WRF}Z&+}h}h9qi8@lud!UF;QY!x9pGP zj(%QKHcX_lZ~Z?)>+TAER;lr(M+eF09lYvg>!N>tNKD691!m9ny=wk^fIYc+uchwV zV?uE7w$Q0SAZ3QWLSeOt7__6N;(GBw@bIUaL(u_ChQ=<$9q2**{b7l2q3#p--;wYu z>CgGRAzDMs`NcGcQJdXARke8;|El)BJqxh8VraLR$c*$sUP&4_%n=Om<|743PV#}U z;^+@3?D*BD>=fw^g5XOcbi&)CmL-^>osjFE-*DV%5Op-fa&>h$sH{ITq0vLnVxj00 zk_-XiUCrCcNrv}=1az1`b(zqrM71H)4?dP4;QeXnlXwiW55%xtmEp*g-3CL)#>${* zpiPnosCTP$AQ4IGq9Hy-S`FBih6xh*zQU;oe(APCEThWQltf<%Z&hpEr8i^1R?R+A z%i&<5lY7uDqJ-Khr-tLTgM^bJDrQ);>E;01$hakomdTV~Z*aK4^YsxFe#GmeOk%so zg(27s#f9&YvM7Lg3pqo)_3*s5Xtt%}laRsM{MB*;?pK9T;tzunT)ml}H-c#Eug2*& zZ$HBy7_G-EF&JV^>B`%|Ig7NIMarYPQ|Ba{M5cboDT>)PCd=SA4A}CH_Plb}ap?lA zN|Lg|h%DDz+#Ysl?bTJ0%WzkrK?iA=CTZp@6H7Y=lhNdx$h6pI;a)osF}S2GNg%&b zXr)pcQYz%x|m#gy$~NVMfwLbvqduL^9#(_*^tvo=b;*U>Zh3!ybJjJ&q^ ztVOi<>e#07(F4$qJle~BTPpJQh+z&BO-5b zFWmBRX|pMQ9SVxhaH^?E!?5e)xnqklGAMJl!}5c*!uG=e`H|;Xv|+Z8#@ErGCs6d2 zE%1daF@NdWH>ej`wRj4yZQy_!;V4_m!mWZWb|}itXLwK?4`uk;_09@2>IK-XiJdxr z4?kArwN)?u=1m)TH-jL`34sy+gAqb3Cc_&Hb4f*ve+DF{NcBg6Q@V1y6gdQM2nN#Z zEB+6tkt0cSX8!?e2!sygO4z|Tk79I={v{?dW=`1C_G^`59j0u$l@pFNCK@n zGkTh)p+Wv#ZfOA~=zW|YNZP=TxZ@1B>}={HmBvN`fr%KmOcR-kAeIE1gh1SMQ1vdq z_8lRa@*Ji~6ff=pGF!-a8z$)B;)GVzQr3y?`^`Ig^R8jy(EcCZ4_*7%f;t?@Qf>j6oG^Qu--`lZ?ZsN z&#(Lzu|UtLtNX93!PX)e!RM^jEo%JzWN5SXW)$*0>&SK z{+=#(JaOxow!q2JArdbI-O=0}zZ4Yn!nOJbu5VXn2vLe|h__Szdiy7CWv2pz9D{;& zjy8_ARH6KXUsS5JemoN`@&(Gbjw!aOLb(TPRI@bybeZHIEXn^rtK5S&d6SKayVHb@ zS(_O&7|3?5vAD}f0Bst=uIO?W4RMin+E@{9f+#erR|>vk+?eHOh8&s!!3s6I@LfTCL~}B*YOHL>!V#vFp(R|_ z3GcMksR+AIxD{Y|(5F~2*|!$-l&9Q(8p66WYhS!tz;e~pfc+zGB3BC;B#l<)`(HNE z1PM3^6H~P*6y!3Doo<-x4Y|-+@$L!mZdt7f=(2;chPb(vcQ|hKo~d*G$gp#|&_UHd zv_Z~CtT|>A#Mo6aau(oJ(2UE?q!SR_smYRPojSKmY4JZeG*_6IH8|1PEM!us9<&?5 z$cRR2F@Hda04y*#waqmQ;HYx!Sj*A2;Qbh@E)!~M4#`bv=znkn`!LnAg)I?${mk!_ z>*#t*&x}M0*f-8us4o@FBJu68YUeZ2diz6K;408vVN72r+-!aixGLzrl{2TX#_BEw zlDbT)hn3k>5$9z0I~(Uo`1Y|5hk+x($a{$-5mwTS8ou5*0*39Wl zwC^U7dna}IN0KO-y&w$8&auJCCM=_ueG+0ZxMco*wpkq4!gm_cnP~$rF@I1#HAEe$ z?nN5>W_Fs*`?`io3L3KO=Vt|@4o`Ur#@EtNyk8(uOaHqh+_~`bvRR0>lIeA!*)aRv zbOvz|0@Gb*L2WaJH~!qBg=qYYX6Q8btRoV3MrKp^P($2d>2(cs_)sPGXCV@bM5pJ;uj z&<}Es za5T1r4(y>QxQ}Btp{%<1;5)u1Ya#V|1L}^)6kCE)_UA!_CcmQzO@d{-J@s;kGH(}e z7gY#FxXz+b>85?Fe>6*p?wx^{$1KMWqKkrgwy*h8dwC!scMsMGn24hGWy&tRiEzhg z&va$)c6ShFr6eAhoktI>TTM{Wd-xfHKN4qbVs-0|zp!L|KDk3;jnuG$Dv6eD0POvH zSl-`mb&y^t`<~5JP6$P&_oK0$KL0jJecs-G&E<93W6hnqIJ~>ZJKrX9N>qJ+EfjSk ztw-$-cwcCseGKlsE0flqf3Ng+Ixnd7U(l=d&v&|y)0RS^s!dFsq2Kp-v+C^#vK)yG z$|viEIHnC2RqcEbRWIVXCy1Q<1yqOg?*=Zhd!9s9UQ)cWg8y+alRQ@NCw$DS7nrzz zk*_kNJu_ffl|NU8Zfo7H2unFay7AzbD-MS3;_*%l-{jIsia+sKBOKQAe)3HufBVkS zfWObp8MMu@-NNoUYCKYt@DVv7Xpk}&@M!YkQSYA$-al(2;@tWHee)1O^A}LD{sX3% zEpQH~h!DKoEkA%LcyOLf^u@n@4$-uznd#NPthVO0Zlfc4M#4#NQ`D+F+^j)6%iHTZufc2F)tC7`6T;m{-V{Qn6T z2RnNvI|4L4uw=09vMGZSykg3pcrj%+zKaBkR3}qr=>zlWr1%cr$N6d|7;D5*zhc~g z`U}`jG;rD@{bX4G$b)QVDT5)cPISA^yVyQS9;u^2h8c&&@iHzRV=-NGiVbp*q)&Isi%T~ih3wJ3Z6(jjm>_U zTaP{s;ADZPVH?C?fuDASdDOX)M=4>e7Vp7(%EnM|*EK|jHW`qToH*xT#-eWvmzAKu zRQXfAm{){!jVAr;fa|8p&tw6;tZ;TVqow5#+Hp#5Y{mG) z-i`;wlnKT6LP(BFRxGwjhF{Bi5cPxNu|wg#&IF#qZ+Xo!?i zKK$PBR`dP@jtu+mOgrUD#=JMfbzJ$GU74NIRf{Tv0nH!h;X$IG^qKV7<)|1y|LW%> z@Nv1fvfu(q(vOW;xw9r#)rKq=c|zBzNx5p^INsleuFr%Z?D%bCZQ|G5p54CEs`&Mn(>sK4zji<6SM&F7UNDEFcab9Y%uGE$i46DRZ4$kBEv$V~yK( zr1|W;BB$PFKc0PDc}wkh52(lG_p0dM&6(1CYWlg=})iS z`3>_T)dx*QSb$Aa5@uU-?Vz4_>X3!V4MaJf2wE`yoV$AU$0v#4a}&^KIG$q$Q78w>d>6mmXenq{ zSlRS%b7-Pa?nWSCdOC_Lx=cAkDqneoxPejh^FTRN*McH8iNpYZ~bud$L| zcOs!uN9~lPWR`u=>^Wj)dGPhV<5ByiK89b63`%H*QQ*yBMzfW{D_2>$isaYS*&Gqa z4YEEC#3*f!-^+LM>m~W6aMUH!!mgt{WIzLryKUd+qU^j+VJ2qdc+kPB?@c zOg!!SwNBXmgWr~VT;lQxPRX0h8_pNu4BLz^7Tpt+;*2=}Sr&f2IA7dqi{Z&%1;%%W zHw~FBBQ6_IZ1Fz{>na`A0_x6*p}x68$0)27Q|C3Mf(POw4cs6pgs zWoD;og=iHDfIUvFI}{e8=Pdo*KglE<*)dq^gn8oS=`N&yBOL+ua{pXy3l>Ctyl0On z-!?EAe)IaF{=ugmR~mw*84qvh4nlQy0_peEMUdwdu>F0ha#_gDpSw>;H_FFjFm~p? zLJfB_wl`dT5}pU%$8LZicB8i%Q@G;g%UK9HbL;{@G!0p)qh(j!ar}=CPaM?DXy%P- zG^;TBw4a7jr4T#l z>~m^)anr1FnDn^0bE$ezB3adBubkbDH~O85r5*L1&83fMEk^Y2oi?wX;3;E5fBsPw z&;XRac0dgnj&n<6zIESv%!HR89CNS1-g<;PilZ53Q!zkcIv;E%?7gk8q!21^)zs}c zsY!P!V^a%r?~IjXZSXm#b6~W4<2!cawQs$*RPk_WGA8?YU+u;nw~T<+cpmdU2Y!Fo zqz2tO$jG(wy!52Skagk zYNj2iZ!qV!wq(TI3P^02XMtB$1lpW1yy!$zU6Z%p*RpkSq9@ zVVL)ZkQc4e$(GilU;G#}@Wj<-3P`4WCLE8}2rZ{F%S2{S(VtZ#r_m~rYnz0LB`?vE zz&nI;MWEnk$ZgR|v52eY7?{R^&=iwqV+$b`SC+E{&3U-T2+LG3VIThxE=`%IL!>E| z1yt0<#d{Ux`Lp};>fCXR=}RM-TRH8_n}l236WF}aPK?lc!rgz$u_ne~PRyr3BTa-t zBk_Zme+FkUu(OL3M@~&;cVbCSE-&g$re=>yuV6xi8_X)1&q(u`i&vYP+;6LG5wH7A zrXd0rMnFX6ix0uME6L)Ngpr?~Ba4hv3PjCeSQbdj4V@OzGn^=MK$-E&5$aIt;oLXw zh3-%Gh4E5+Be;=J9}&Q|pyO_kpcoufl?)>_5Q=nEz$}iErx^ZH!i2Tn9HYd6*AkPZ z?J1TzMWrkwJ*#KE|AV|aE(TyPyXC2}a{ra1-OMyfVSoYRYR)>Qx+Fu1#-qPN1DHu# zKC%1Xst62G7gI*}RAa>iN=YH8JBlxsY2geF=Em{WxLtFFz4rAbJN)!K-a6lL7qZ8u zG}^8?%Dl0d`(8fDLi%xSeX}rV(QAjD9;M#0t&Hp7qRRb(Cn{z&cp+K)XYw|bEjn5k z<8fCpdgh*SHH6-in=WlI>PF6F`A z^9f%CXPFwex6EFw)Wsmh196R-zn!dd+d^se&%9hEM&&cvtg>@lJ)M-A%KX|obY<*J zlyPjgTKVnXpWpLegB}w{_T1kk7g{yn3R`AvGn;R_bMtv_7tc+V6+t&oW2q0#`30>D z6DwCf+(AY1%p0hmWa!A-xp~k=)Hj5BKWDm{U)&w__GyEfcQY#g0QW8cEc+Rlj>@Pw zUCpnhr>8j`M;1NTZkWOqb6pl6)a6f!TdUR;%ufu1d2u-N4MQ*$%C(#*0rZVtY7*HD z+96|mO15NWIfb2C$5(HT*Oez0_%%EExFm&B zBvmroHpzq$krTX&ef+1n9JN+~Vab&oH49=7e;H-(k>=zx{dQ0v$eOo_sx^hWY}z1! zlsgP^G9scB=FA#9$#lict>B0G=VaK%4E3WA#F4F?3Xx=MV4~(qnU+*hC)znxJD5U$ zq?4k;6P925KvurpgoucENI4;V&OR^YP^v0uQ$P5(cP}1k;_=0pJ#PtHX)#b17DL5&h>UV49Y)7exFx_br_xwzwYE7f6eI|djhl*fE z01iv*Rp7F_@j>aI0KB-Ir=^=-W~QRLc2*a{@2GIwuOZjOLwn~t#>6hwOn zLnm*ygf44JAsi$BxlYxi{56n@Kh(f^%OSmHu3}EJ>nC>GLDL(k`6X zt|U|lZNMy#&@DsB%M53zb}?)xIPKG*dsp^6r`r$W$KyUI`&6&?J0(%<9zXTFGt-0* z`k$-l@%_x6Xf4lkf8+yLD4Yg>PP{0lZ~Tr@v=Gbege#fQ1wWQtZkQ$LrC_f9|4R04lF+wN1a zk9#0Hz>oecDx%~)mU)8%g9X9E`!5pVsKNyy{e_=2L%1t=aQ=TgGp*rfP{7$!ld`Zn z{5;{5k-)h#&5z(PJJv(sO3?m7%zv_>j-+Hb-oI1-z1YZyBS-m*Id3&^AMpPo7HT`3 z1_lJrzmSs|GY*FW&h{_c=qtMr@}l*f>0W0MO;UsM$no*OZ|A;%8*nvhlGW{o?=cba zCLBzy2&_k* zK+~4up^`?n4MSyEL1v!2~ z*m1AFZ0`R%nf<%mddA!+9w8HZT3!Oad3G;P;80%kMuo1g=$P@;_~^+mMM;v0Xdir?nghzwm@gT1?fmAEAXw zV>=9mHQ-Qn#&K`8{F?J@_YnGdrK~4(<1bYB*b-d~j2tG~-en5j-SqMzCYD}~cyjO> z8kPru55dc6y0Io9foJ02DnuY5Fg37w7~tUQN=F~ChTwPLB$Ah3UNl_2pFiThn+DB0 z;Ae{bZBn2p@+3`X%U=ZFHqR-Jj#-r+%SCe;9Rq)ea^kM}-d(vhgbSR=;+H zP|*_`DK=b#I5@9&aI7G7pRC^D@$78U0EpxT5_zdsv^>7mKAb*u7k2AzwHTYSa;aHa zXA0YaHersLiiJF|rbT^s`XZ-812i-{EW3fs1zt@^4k13i91#Kj*Wd5OHcpi4zSj9H zhWv(g$V@oWBq>bG6}>#4Z?=9BHU{W7D4bTwtg@?+&yxd_N0XY+LZ=REmckfs`@h^U-kLHKWKMoF2;By# z&bi3WTfxmiWd#c|_eA-6#?4Lb`o__e^x#e3np&vG#7PSCzAga1@2&z(j(ueTmDQev z+GS^0$`m{%`t{4T{HlhSa<$CiR^0(}7ZU2Cos!FD<#DlEL3R_#m$g4;JRdEyOiWx;n^KRuKUJkaV$0r4c-gy!wC1Y>kPX1KoA#*pqL6% zo2NmPkRYxcQ*$A{HAq{(0dNnyC*IFaNOVFqoYkRq26(kY!5eo1F^D@t@7W}~(9goO zF?d2tsm{vgJbvrP24nIdU5>(rL^x!9VK=&pRjxwME1gmQs%$K7o#tvH7bDw-$3(2l zi&@A^U~0r7WXg#9%yOP^D6tJ}Io+~-C67Lx8nKD44|7R6A5S!6kgT9#t1u$?Yi=3hI1+ zmksDeHh!as!tRdpW&K6qe3M~~9ca=#=as?3h8v>k2nic8EJ-RCH9)e7GaGN_Dj0Pg zZ(>qUd6M28P)23?ld+DZe7SJxYu2rLy{5>hpr#0msQHO)&;2GTMUQ06+i?T5gcol@ zGh99UByxi0GxdCGB-#VO@>}z8L3nMwTG&(d6!E)r#f#HR`a5uKE+Q)8x9Iiu?cL+g z&9xrLrlKWWrJ?(R^r+=4;Jf|Z^gT~r8N(QyRTt|EBdYTt%mDgWI7WXt4~vJNHes!4 z46okA8tRYk&HUvj6CHQ&j-m+!-x>TJQ4B!acGm4~OhwYgK~3mXC=IA6!`EL<_n z-)Q0=W%XT#JNa)O;c)~fhW=MdTOZ-*5Wu-Rw!q=ju>LnL5(l0O^FR8E)iFa4e+%^!{xh7U{n#x6!($U%js#bXcBl*w51%wf53#iD zi7U!FOY20pwscv<3puS4C=>hYC=<(JW7{l7^+woT+0BzGwyEm^opLXNOeIK+M}Eq= z1DSpvv?`STwKE6O{xm2{u}Q$@>NIu%XMFWSvj=~Kdi!(tO|?1yR^yVa+aOk(c$jx9 z1R~JYR3molbOa;c15XHDe{h-u;|xuTM@dLDx|&DzYkO0$UY*Pe=VZ)oBC0+m{D%r; zUfg|24b(1@_I2@}LM3|WU*(`#E8FKIjH5AGx#h>jqFM*TB34j}1}TD!)n$sr5DS?; zom7^BaR}sU$Z_07F6MYP_-tgDwd5o{))sKTq*nV3wWDmW0u@H7pvi>0F_+74%pjuK zUIaBNo>CMCEx{m;=rtjafXJ3td`c6+x=6)JRHYL{R#ucwoWO1%4k?G#%FhS~u>GKo zL}#`x#JX&TS{WiAbU#%Pdp3H`W8ogg!J`eIVV2|0>XeM8&nkh(m0&9bkKhWo-vr)m zRx1m+YJy4|iph&r0M)X#1knbbjCMZLOrZPnMWgnG~P z_iev>e(l?=m$)R3JzTTtL!K>&JOr}M`gSbF^2tT$r<*?QL{uH1A|s@`;CN>2Hcq}a zQ4czKKt^ys?bAtyi*OMTkfu?RM3xIiu8!Sip3N*hIS{fm{vn+mx_vr*;|XjXyA$26 z4b%l{aaJ${8!i8bt{B)eXAo@rpx(jf@V!Zz~f7M$H$GsTj9v<%gp`Ml2;*RpWb`W z)7>p7c9ZaHEu&*)qg0;G-Z+~JdVI{^$g2upY}<=B4|J%Sdz=e4`*Dcej<5Jqvtd01 z+cN@Me^N`8N;Kp=XbM8%1l~P}AsI3GHoqb*B$Y|b@Jv)w`T+EQ#QHK{ zDQsG__qYscPnUMke+TSOdBMGr#+K;7X>BA*viUI14xAHbm1}JcRnAge!gEQsU zgpi+hS5x9b5#KTOZmcmLAt#<##++&I?NJI`gHozRiIZsWn)@lYcCGhI{nk#X{MHV@ zOjHIEsfYO4XKew>V&yjV!~X#|ElKM#Ih2V*sJt-s1s2Uz1?uQ2unf7FI$| zGX?H-%hlX&Va<4LSY};?-?Zbbo*S>fe>Y}s(EMGRI<{Vj+-YT%S)e;gCNwR<%ieM; zMIVTX5xsMNxg-|0Xt>}QdSz0)+9IUTKZkp(|IxenXx4b7-Pi@=hTe`q-}EhOWpC8c ztBx~|Gy^VbEzM-cle-Z7P~t3@GpbELloGyzZA~nt#>H{cKkHpQ9YE&XO@lj)k*EQ^ zqJvf!{VZ{Xk$EV5h<=yfhuPZ#A+pV{m+$l`f`0<5<+ZYy3{%SAW()5lH{_F=Fb-bg zP7#2ve)y~meT%mn|GSyPrJ77yyyF()AtypsDZqA+dW0g}%sNe*CNacga+MPVp{Z6T z-r7oJKBVpm$Pp~ZD<26Vl;dIf}8ihUe(Y=ix(|;+jMvAVdPT)%YznNw4!~o0X8~`9VH1wEgJRtyjAi^{}t~~ zmYEdHJ!*QXn6#!@A0gaXUXsF@NKLs=4-_VH-0y=aAFSl5-D2b&dk`RvYD5f$3r+$$ zUR(zF(9kt*AcS(NF2k6voK3dK=OYuG5y(%@!OF!} zougW0W==9p3g89k^%~uuxFt`&iW?Sxm7;UD|dmmLvBml9*2j(=r4w z)!VE97X2bAmNuxWCPn;WmiC(r_X`iK%7b?po{|@10xF$IlwKJNVG(9B61dMhOVuQ$ zFxWGaECak!x#-5t2T@sy=cD*(IrscxnD_j*#NM=VO>gD;rhUV`f!p^;e!eZGvTJ1An+Jan*Su=1*&RXq>&ue5=sOF=uzg%WN zjCxm@p04XSgL{sKJ4|Sjhz(ClQ*uJ8GXxNnxOdinSVLqyYqUjtK@aAOAFzq1TF~RP6y1;1R`Hrs+yp#FkUc3YFk0 zgthbrO0RWPsJj_1{2K?{5muiu9waVbmds$4^c7dsfC`BWDJM)lJwb)AELzrh z$(q@TE613UY3vn2?Syy4?ZPc|845A6c_9H9FGYxtk7pA&htSp+>UoXe+phwe&j3$|wL#8Jexu?0HZn&+A*etME zIi<+40lTM?Mx-!8*<44y@_`-U=SFe1>LOl{rI`adIzD76Xk^kF$*6a`(PaS}NgKii z52ITCP0#Q;?l92y1{k3(ZNH-~Jxy1XNhe&xUF?Qs_Zi4U_kgHH`EHHG6u+ZI3`I+n zJL0VO^Rgg7Fx#KG!m#F8)63)3gkGC)dtA$@TekW#gjI2=WhaqWz1LbBHdCe|J2pPF ztPBw&0AjjxkA~oP(pwB;I1lGT*@3$2yqqnV523Bq-IvJTk?0b@og8g?r(Efm0M-y%v3(hh7~PtOzMl6#jl6HT zEtu4P!ML@}5ok!z6(wTMTzTw5i7EXc>ftVFjd}?&a`={e#ua8DEo}F;-};<*KS8lO zsnVI(Xzcjym+9Dwt&}sLp4dp(yyd&-E&+5fmZyE*`pO#0H3a^mBG`=X&C#+1|go|5%A;EBN2SUd9XOi3p^9zUw z`ukHrveLK>Kwdfin#h9Ux*pO?;nVuLHYE6HN~6q?i%9<3ap?G+5-7eCVr04K5#1HF zk6^KxR&_9*4Hga9mmiVCbJrVF0&Z#Oo7WS3mv~Io4^9egWeXGWTf5YU*Y3szK#p2uV2zc(Sbhn|QAGw_37WixWqHZ!iu<`eOz``&jhN@g1CO97^2ejRauY3cxeoBhAq?i-lva1R0Mvkk zT034zfz>OM6w)PEgt_330gO)OqJD{s(FD;$o^D&sIIJr%1XGP@Lj^yHwE>s>DhYqs ztOY;dD{)#vpS+{+UxHRYJ=m1l%2?@B^EA(#x!Z3q3xGma5W|f;NTjF`*qZU9(>Yb= zxwO6Kc-D(oDSE!+unh?rP5Yi~uX}6q$UEnTvx7pcP~V_Xy%xd%4g2U0wl#V_0of}-c4kgoc3K`!X`hAI5sI)WB%-}-e3AEIGr*Hmnz z#Rb}sc^BHmfE}&4nwuiD+ljP(VGXuxF$|I>QH+ru29NK>nUnU6W>+`A#g=lNhq~+? z^Ea}(f2las)hMoP0#t2Nb(-b4Nt)$K4SFumAqh#MWO#Ng;$qVbVh|`U<&`?I5$WEagkEo!_l#r69mZ(h*JfY(tm7CC>S}7FY^O zNnPNP=kb;H$oN_`NkHhp?J(jn<^@B-$&t&7=As}}1qS~Z23CVn13GAPz>rapH;<_) z%mQxdS=tkA*F}D2v zxNN%Is2yJh8w(i9dC+U-)KNHPRU9UJjEmo6A@Clv;G0HQq3IxiAwKL)wI~H!1h-9o z7cG~7xATVk4G>Vo@C)>IP2F{AQK@YrO2}*B5m7y({mFY2+P;2H4tVf@Mra&^KB7E~ zPjV%IIFT~{J=4mb^lY=vhqgE+T#suWhDLeod)%77$!P?$S%z5_*Rd2Y|1?<^_~(PC zYg&WRHEe-1S^lt5JSucR=ky zZAsqjN-T(WELHLZ9HeA5K;#+(8%T7vsWw1phQ<*RUhmn*a5t=lwz|5;gb^IwD*5zF zp+dJk8(_ZpAZ)E`zmTBB{-#s5&|cm0X{AY?N%I^*&x$?CJj!xootxrJjSni zEo*_(`GMMyR=H!eEeab+7zA?fB93R7H^FR8P7h(GTm3n@>pvREb>0yQbY_ zsgX&!c2mL3`-90wk|p(fyLw7(Nx}WXe~4RSjQJq*Bb0?t1f!%rH$cFh2XeEs1Vr%A z(5bUFLD{b&H;rWsJ^Jw_XNvU3*i>JDY3Kwj#KvqPIG%2C?t`+7imIuss zK(<>JY@TpZw)cY#Zj%{LF_!;`d=?*A@upf!Fl( z!T7}mYN+3rjJ6R(A!qgd636?0YKnGZ(E%lp_VkGwP8DaKiiT}8HJ-I%3>l=Z{{Hs? zfyO4g<`Wv&{@Bnu4*nzFsRH}Z+|ISR*ygt3a>8?;3+c5dJ)cZx))t~r2plGCU|t;s zf3R!52cvC|gDb(_@Pwn-bk92c!WCm{X?9a2$H~kxvTZK1D&7&+#s!T@+_)EI*oW}{ zW9l1&D+}7KV>>6dJ+V2lC$?={CllMr2`A>nwrx)A$;7t5yzjkL_xp2d_0!!OUA6b= z+Rs|+VK1%T2>8RFv@U>pH|cgfQ?+aJug`&PW|Owm(qZ#j<&w@>>7Uol&JJ3yKQDmZ z-D0|W-J@}ntA6xto|x?Fr0L!6`^bpt*q4TrMFA<5$SdO&m*8j_JG7{9%}YZjS>8#A zpZC&4h_Vjt9TuMVnRgHRra>S}-i`;B1?gDvwNlq#`yWafVI_Vk-8cRg*081b>3$~9 zW^1Rey5V}1M1X>4i}j}=*02Nj13VXy-|de;3xmlKpqQYdr!uM8Ay80p=~^KDsTRlv zWz&m#ZLcQqenpU^e4`6UH3P*~PsX>{lvTW+_q;WuxyL;G2WSQTFLXDk)b#;<-6w^*ggNkx8LqZB*dn(*tQ)i>e6msW_hS0gJD{97W<1gz z$_XN-`P*-}-%W``$D^nxQY3kqOeE26Wm|IgIl4HA`bF9}14nFN*xnsS8Ka1Sy>`2B z5m&&amZpWz#&fV4q0gx2#!LT1kh`us=A)lQtf%05^mj)0c2TbynZMj9=VU-h??aY$ z)q}x;OmA)$$r^4itA7vA7!)*2{9a`ZRV6=i%t=p38QkDc+J3H#em@gz_7x^E+HTlx z5Xva{*Y*LSbGo)k*ctFrvu3k+>3Iha^=p#`4Gquy6xBZ7_maVvD(R%XIkh%JivOQZ z%V|^S#+fbmaat?y@$MpImNW@43I;>C9kWvecZ1_TVnZ})Fs@7?eys?>$aC+ z-!F%+%WhNc-(8*mdBL|j=wVtJk8K-`_Iaz%(LCZ)G8?oW3Wjh>$~`G6l}hrLJJqJP zYSfbgxB+2LAYYM!o%AR0dU$Idh+YpLxa6+%Hpu{j%1P|w^H#T10{)L37AMT0BaHqYYgU_rua zXQi!Hutr2J%wMmP#o_W9JlkxeAnU9PDp7GfvCEfQfo;u6`!;16Kj5Ydyti<5<1T;Q zcaciL@>j`V2igne5?trcL$(Dtze7K272~PldD7l4{wSrS;y~y=1gZK0KZokRIZwW} zK;yHTi^XB0G; zqpYwXQRm7rDifLzTNN7k^rA6>79atSGC@29%`V(jnRhBj`h(3l&X3jZ* z8hS+S%%T4*q+aHXhnj$?e87lJh9wKDnfk6T6B+`W3{yv*-*y3egh~q)H_o;ROB%~o z?YtU>reA>^_SD{O2%$uU6&C15>g~?WM>iG_&6%cSR~-dSWsw{eoxO&8R*-@OY1dTe z2Tw7WJ{R=OM5kO+I+GRbAFivN{pyg4o!0`gJhd^omV$Jsy=rBPNfrb$Qi@$;3f96f z0@Yn=L1weP7DCmh*}jgUg#3~`$Ej=+s-4r&4t#^mQYHgGvW1&E91BqVCt(w>O$6Ga zP9QOLW*(lXE{j`{2`+n{HT{%H*@4Xjl!!GahcxoHa69`{yf#9?9- zzSZ?CH^)z3F89rbRlDwNw^y9-36J-~h1Htmi;m|#uXZmSk?X7O*L>e4L7>#R$$VD^ zG1F!T<(%by5ci2uZWlyAlHf8@v899KjQeZ#Yru!cMLW*L*ebAZY_arZ(f{=v3TV-X z_!x)8-`C~58UOi219pg&{Ef_~@bqkNApEg~VYwt*-Jg*|DI>_z$tA(1VvM1eO~9uvnjqjy<68jGyEdE8 z208iSz^~bE{RYSuq;OTDa7oqtWB0EH&Oa4Izn2$;fJz%JL-1tDO#@c&m3hOyP@EI~ za+nV%Z^S58{RiB_$--54-E%y z%>vx=+@{EBhquu~b9a6RAG+&?B_pM<+f%}AVP@+;o{WH6V%=(iclUh|IU>1xvOS5r zg!?T@W)}Jc@6ip=rvlkb1mm_4PFI;Q^tRL8RzxM)w6E#b>1=N|Oi(KYj2V7AMD0$_ zTJqp}f;i7TiRQ_W1V&p>FGQ7VdEwBgyH!OM*nCGxM8Y5USKBbu>?cc7h}=mRB`Awv zg@^offO{bI7t@F(w7@SFaMEIh7FtdJh&J)X`ejqoUDS+<-|ZG&4=-`U1d|~~3T%Y% zmdjj*h=+&gV(w4-%5YxCP7dpi<&hJYFKMW~UDZ7MMedde8AuF6*5N_=Z5I;>@`SG@ zN;aA@#ua&?#@W$c%8obFmF_6BBB@GVK|J5Em;-~R;!}C;#bHw5@y$ijTQhn5x%}BT zi)#M7&T&sDy!_#`Z91%b5YV`QJ`P<$EXQfY8BZ^o3Cvfow%MVMe*ChO$-9qiHhKFy z@RoJEEfh1t2Cx(=SUgoQG85vR{YHQirx-uN4q;9nk;NP4B1u zz6zxBfMkt-)}XMsReltU@>=ZcLZ7n{pj76M!S&`}M3@lPAWu6vkFX0z4~IQmVEw7> zm+ArcS5w|~*m@rK5Xle@%q zPGa8rxaJNCxJ87CoI33s(iz5zllO^=Fx5bby4WCKA$>c>ju3xQDiax#ut1Tu!AOxG zT?~Hq4uoIxf~Xl?IVJxM^iy;W@eA#B9c|ej-ZPI@M6cOMTz3J+9Kwp3e>N#E{`)sdMK=vY?|80+Hv<|AtC@apv_*pCKgHERZ@p z9-5s)y1e~7?*}i&@rb_78ZLsXlOWI|2<*}E%!g%}RiVa%iYo`qj&1wamV=sVpluBi z|8!$l`ZH<0>eN0o8J+Jt5OH3pfbjr_epzCZoaI-8J1K-`Hq+!B;)FkhZ|6>15~B<* zcw;ON?%O|!uvUVCzU(6o-(EvT4#V+L*ZhoGWTNf#h~CAB%XDieBTQp$EXt{ zC&w0Gt?{yFPVp+b@|-V^(OR>4_}3CD!r<#(^rBVO7`lv3)X1on&WaddV<0KQ1YMN@ zzimPC40uk1vT}B+=izyUPA3DtKHeX^J^UHoF|$+k&S7Jv_{@`%ZNBvB?Rsua$V-Pc z!v#`8E#D^DW(-u7!>z6}r!bTJZD`ja)<~90BH)#z^s$OFzU*yG={5MN{om)qg*nAQ zi-z*yW+Eao#Jmj*CCSxsHJZ}TG?bksHldqA@<7@D7b!*L`A^uV7$6e4_qw5kGfC4% zK=t!$Df$2gk6u!srV~qEGc93s*AAAFTEm4-yia(;Iu{Si>5;68rPPMB0YGufAONC5 zrM4kJLh=5?h0mUAv!SbtOXRUKcJtg52)rHt5Pmjq6X5?WIW1xT%v~`2F@sbQ(9Lsv zR`IIK@A>vzN;6V=2%H!?-W_uBdApr^+g}~Jar3xYSSa1+wH;&;?WTyp55Wz4EA0xx z5wP8AN)e!LJc}iNqWwvg7MW-+_=NqWqp^n0#i;s^bpVE}OgCHPs{Rof{p36WtnrpN zMM^cTAvBRb;Fdbsl6l z0+4>|7Z+ty6*LS4teYKgbT2y_PJ zXk!9eDAqB20zd{OU$9Oa^S3O?3Pk#KpPpaPqA6R}HRpk+b$Z84-RYW6^n7)1o z+2!5|=EHw*v|T89_x*YTUcqFPT1;jfmK^B!vEhPZB?}#u@bg2bqvQeemTP805sbaX zE-+wkSkz|yI2oQ2)KqR(#%#w<5h@uNJd?-r+CHNe?JWGnELM;+aJ_h7 zjO!J2w%-WpV;0yJ2z+LW*b#bW(-6~)(ph7SxE+P{M$j1h4QLQtghmh*!9!t4fzx7Q zr;|1WbblZ^0$K9WYwECdF?1A7ci-a^H$dl=UVL`MlgO?Ayr(i&u zWXutZLUt&@<^ZcsEv9pNrU&p~KZ5@o;?$&yecN=F|QM~ue<5;>(~j(P@< zI^{GcEF#8h%S8{a+ABqD_L(Zqn-W*&)InI>I-Nt*ftTK8j$U8kj#4FED9e7=$%{ln z3X_)N=(8q7G@*?S@-_BFq`GEJpwae0A*_n;_w(S~O^Mm8|tnP@qA+(U?HbJue4fBHuy&P5GhMv@rDp!ET zsV?N+1Yn6vy(+-+FR=QEInV~@W}#>l?2G%tHoQGsvEUnSxci!yJS8q%xaq`&YY$%S z8Nb|^tmUNb_}7{OX@qf+OIK@pES`T#YX1?q5GlN^zZMO2ek|yQ@C?GA&@^(dvM>{o z2;d{W|2A&@KqKD;OgM0y2)D+DpS2e60+72k}5C|FGh^=965Vl>r zeZSG|(frl3@rro(v=F3t_4obQFup^L%uR227H$a~2icwls6otylAV9HvhuGZ{$~u0 zNg52xt)9_2KfNfT5=5g2YV%yG3BjbDl$k~=3Ji|W7PKZpJG=&VHq?q4?kU zv8sl5%1_=S#3FlQlN3ntK~&}hesodVAmE?*fa;Jf-~u5*FOSe(^;J;|ewI22u@yL)ZzB$=5@z+2=WrK^;KWklZJ$_zeM*@XmLk)9 z!b>296sT(f4Zhwl(k_J?S$y0T1%0iEplQnGnic3U0u}g6Fhp zPC9b*V^>;%&t7YU!v}U_viC)bLO>VQ=hr&1g?WAi`xQ?R1P6SnbbBT8Q5+N>IpoBx z`Z|Ywm`1HOL^ITy#hC2(Nfl|@LGYpn9>qGm5+G~Z1^$U=W{6m=b74S#ul>Xi*6CRz z(<5*Bh2VCmkGI2Z;g|4cSuPKLdXEA$J3vyL)%l93%tOif?*dWDt;&ecd22lr3{IH` zjOZXyus#+^#7{Uq&v(oZcC-g|K!ULH^@uxdeO};L!z5j8^>C7QZ!4=6n+;o-u$9Ia zYfaprZwsdiE{;qiaQ5+9D(0MUj6kMh$?7e;AE}QoCVaPomSr!ft=F%QR*scdz>-Dw zPq&CSC_&lBDk%_~ap&x?Zb;B?ie5RCDE3tQG5m9dyMfQCL+d&o3yDx%q(g7;%Kby= zW5Fm||9$nBXIj)hLn5JCRN1r><=;5ySipVyIQ*p1x=hkx9Vqo3k%1$fXa8OWjoR;| z2#Z`PvQsVGKSdKH_C}ihy(kv1O`mhzE*^6J6rKxddfin+X$llk%DUboJq3{D(}v`e z#tS*=R+fY$kj6)zDFO0W9ZpAQvdRXj|TOB$CvUr0Ck zwxJjiLuM~BR;Q7f@(Oi}qclukojg zRbL{P55YtoH)(H06&VH#CCaZ-@@*p-v)-P{i89qRXAX8$hKmL~OIqDFX;U220Fnko zsrLR%BV&6ONvI0zm6ei#j8@{jKnVY$ElgKNUZ_fU>53MpZp2E;P7RC(R%xJ=#7LA9 zDT-0Esmy8M`5Bp@jS-84p9aIYBWC%CK%*uG|I$GN`hb* zJ6*mJinmeSQ>aKT{E5X$7CWG;B0I(wWNn0&p;%kV0OX3J415}C+1@W((!^8jT2tr; z)4RgimwnM%09?E_eMcg0!F_|8#X{rU70U`xPJ&YoB4$=guP2;TMyBy|+}4G+qWcjS z*O?m4LUfm#{rFXnAA1qQH~EjG3DWRMH|e1)X{^NcH_aH!aN;%FrIjokbM)s>`F|zK0c}$O<~4UNedFQH*nfIanZ)c4Ze%(YpSa|SJuWY#8VW2 zA)+Yq{Z_KEOa$4O1Nk_qp^3w!7_tnNFOI8P zL|!Z5(kXXv89rgnD1Ei8(oDK4B_u=k@6SCJ`kDRP@g!^R_VEeJUP39LQZ2Rww-t%# zhWg!tV&0WeCRA6{B!J3TD}9egB{5i}iW2iTB+<`2IB2P`HYH$0_;QFN3KRx2rU^7$ zn@o8o$o)7c+Gi9!c!?fh9^a{`Zr@xmwxmRH>?Kz3PZ0wkw_3A2PgD^YKJ-`1P76G{ z;gORfw@O`sheS~!R;6`$F{3g5%*%~&Qlpjf9kZd{OGJ|S(HANYgyl8UfA@lq@! zj60tl5^~9!R2GhSr2BxAtLP*iC6QOi6A~9|jWC9Ni;&^SYV)_Fa<#&WMI2RAiEHn~ zl0v@Lxg#|8*FiHaPmZi~onPD_C+wcF-3()#tQ{rX5;d?cwfL4v-I3wGnJbGc&{yCR zAgmp4QMU3=&J4!)-3te+#lt4WJXpz=QN6a|Z`+a`wD!ELIZ^ctuN;?uCH@(r1z}0) zv)EoJZfOCN_7QWeOC91uPstxC-&; zbu!40%T1ttey#br^w|gbAxVByUz&wh6)T^0lM%ZaEb)Z@yJ5(HslecpTj9m>gLBxH zWAr;LJ*1KFzNV;nJMHUlNwJAO%)2PU%E;+#_+dOC9^_VX+H}nUK0f!)BvBGP>!`*3 zENOHTaY=3BB}&LpsC1&ZyTSRD(rgNy&(RZ4?ND*(zzvoYZx(00DVL zRIte`u4rT`fsxIn+*I@*%DuIsJ>>doJfQ65Lc zFjPL>pc1_Yy9>vO5XMngdAMs9>a}@qv2Bzi?l5ai_yv8`RqOjx5dVH;dSriVN>Bko zQ0Eaq=diqbuS_eBK76dGYB-P~>hAh>{EN97oM@Afo}^NA#EC`bC(q@_;YmF^th#vm zl#o&@+A2wAEDIAFTT!+}n*V2`-YYkz1TEh4n>9nlu6UXfkQ|Xb;ZYq>pn{hmSyYH; zaz%9H&L)vItL|F6ls80)KQjUnMrHjBM`Z`P?3VND4ABXLISWHA5x4w2tp@ggB1ZrZ zdOsf%Q{>6%o`L*H1%u2mF(uU}mPp{qzb zKbbt#K&5CFOTPBqE3tr1d6Maj6&m3d3L0Vao6^p0{5KU2W~_Hcl{ZF}N?Mgb?d7Np%-4e=?u%^&DO2DF{?O&7ZmVnK>)zG*C5sNfgyhPkv(k(TlJ(85k1}J_0tO;2C2$^c4TLEA0IcEF?hDn9uC3whd&_Zutcw zG3@dFya5&N-_F^4!WAiqU!Qe$c9Xb`L~E7?haT)MUtb|wiUP)7+~AI1^prVH8P=j1 zDvF;ID&-^H%sZY9J_NRBP;WG!jX(H=$AL3HZg1bnfgs>$hc|Q2_{1Ca<)Put_kb+a zTjc;y{H=`8)a9+?v)G4!7?9h8U@JSP)BE!uz{_!_S~Oa@^|E8A}M)p^*+dIG$!*h4HFC?cz6r&adWCCSsiGs*^f<9X20Su{mm(6UxwGL1!NFn76~*+g6jfD z=c6X$qhR$x47y|egeq7h+Sqivop`IyF3`J|?4?Yoo_Ti1(OurJ=Vuy8txQdpVRG<1 zXccZB?+Mz7b(AFaP5$5%V8wHz;U*1VAQei`%-n zQ0U%M*Qq&v@70LV6#m3vfiW*nD{`jdWZzgDuf7x#767^`uiiIt>0`~6EZ_`=y1_U2 zS+O%zn*5>mIBm=|Oo#)M8s6Ljxyag}uUBGq%^7h_9$$C90e!ZK{vL=q&UQ@+KlY?P zAI`n=^uYY9TOxS~Hy7&c>0%to^D9fEIBGqOn;u7&Hj*U02z%2HBd}G-|n9DiF7NKHQs^*B1i+`H!&#g3h{Q+qDi9xbw+Jvc@c{n zR_y)u<~hQhLf-Eq=q!5${CXsYV-Qs2SC+Q!Fx3poAaV)zGQ9Y@Y5hq+kwHb_3_`rdf~oo z-e3Hm7(fVU1RysA(5iq+so@tIGxsc`qvq%mL)0Sk&Ei~YYfEd^GC)+lkI!KVK?u`z zj#2{VoAIVb-1VK^DjVeP8zW`yBqdX#sHpY5z8wSR!U~#s72D`c~)|Srf}L zEE0g;QelQ6?ihxn+tv>%rLm-`!AGs-#@EZyLwPZBPBULc*(3{?iL1A}A1HW~ALV14 zEx*I-nIutLePA=}Rlz$*lyJE+tsjL+zw2a6w^v=YXx|<`|3ysP?R8r}bw{<)Eb+Iw zAs)Ezff-8IfnLLX-DN-H%X?^U`^ZQ6sN*9-T_Bh-_6==*v6{9HO< z@k5g#u}X~Yjj2>>C`%%il6CR$GGE1$7FzD<LS)=To>LmpOzfQ>P1#1?~8h7J6D+~{v{5oXTKCF)*_y$_1MYylPat*z*W zo#CZkKxsJW?}cR31yq{lftE|-q($02zg{rYQPQc5kUWWtUjZHuNI#&c&gdLDznN77} z2+zZ4Y_ry4&!H#<8TBkh3>NkH%4ZyB%_cQXD)u7|zQ2hIezvnUa|4GorcckKTP_Vc zKM$Tv9=*mo;Dmf7dt85yK48-$ADWMgnR3KA22uc46|Z`S9{= zg_T>=Z7#BeF~ML=lJhI18@;=S{0;hrY1c^od!94LHD!$;h8kcyU1`g(-sO}Hrp~KOaww}uB!TRvVO)ebBlA| zLa*gF!@5@V;6X+WT|4H8G`WaOAF=J~jOk?xnb%9RHF7jf6v-sd$%k>QPNe9i2V3Yg zva63?>w4Rj_#^!}bz>cV%9uO9L#@xHPL@+uawXGJ)M|q8VtjrNLM>-M;m{B1WVWp6W*HbUTFve2T*fn>t8A;-B^%%xM zRJREp74T=ua~DeKrbw_dNVC%MElUL#?r=0nQoFjrH#sqDay_P|MZ>MYbw@cLjP0pm zGkVm__#=5w1mOX)00LYjxy8JXGGhvL9QMkvu-$PKNHEiC3&V}4U1C1Lx1S**K>KMc z;k|tdis1Yrxf@BQYxhYh$ayQvGVnh#RB)tz z`;5$+bCkLat7Si8xe9bO=4ptkL^epsrr?;wuu)~Jv)M=(>vNj&`2b=~s(x!O_1o-- zZZOkj9Wk6UsgXYVV-n{;g)__4QtCV98{lg8TN_w^9h(rcS*}LggtuzrTff}d!7bIS zJ!NmKTK{fgc6vT$;2Xjs*P5GrVN&kKz%A7Rhj_%bzR*>jASmaNp6rkl1#iG1t8FLQ zy!q?Q{r;G@eo58=hl#E(EAhOU#+M5*mkje0mXY18B1C@Mq}o74B`4>dyF+(u|G)BY z5LYw+4K!H)m8?Nc1^^*JGtFO#oq{yL4+zj@`&R;Kr5^AE`5)K0nU>rZfC?mteE@(3 zqUiy2wDffVlp#SHBVSphuQn1C$a~_e%XS372-=tdFt+3k0Gc5|Su8vt}D5bF^D0Q!R6EuTC8$uyyzeNAZm3-E^oU0!~j!16CZp(Xj~Kkdoeub~!y z0g9lnwnNL#836SwU-kHPvk+H+aY#_d%NN|f1x!JHiPNhd0mzWx9Lb64n4q3VKub&L zE5HE)h4cTM@Hkj`K;Rz$Mj!z%#+MD=oi7Uu^AG_GZZBx%+TJfdNBb-|2@Vg^fZvuO zI;SUBjC0jag@cK%SAfUlx3+re3BY@$N~@meG<%7NW|?=2Z&%Nf>U1$!N+T(*a9{Q8ghoLtG>_u)BTSq~0SvSnmq< z5hl5+k10?UMSa+x=f0(}zjrNip7`f5p}7EcI>Yg55bDj+!;uoZLhV(#b?6?wAuv{! zE^-Wp7u+J88BNrv-rXk%iSIl`La~G$X_1c7s#Q%$ABj@-nkLKM*k*V|>2>U|8@<~EyVBrfC zSi}7Y@}@(en6$abHkuLKACN7YdP1S9`h-KEs_wlK@|yAj6Y|`T*dXfSo^{JA_m2$k zP+p?IaVd}*(}8H;2>H;F!^T3E$mZ(eDzB#wL8$nPCiO5l^DV`f3f3&EFIy5~e6Rv4 zruAYi(&sn;cDtL?n&hg}p6;3Us`t{7XS36jk;CV`dEgk0F8=~3qi4bX-0x}spVQ&y z@zOM%W%AHn*Xji5@b&Vx)bfs+U26{1>iqe}w*Bt<0*nb#XjUxQ4e~8qf33L{Hmv8lj}fy*(2be(+B=C2Yg(2JPqXQYJI8wbh!MuUOzm3D~6d!txdu2yTO5^uk58# z+p)G+gY}deAwk{B$uTru*wH~!UamN z1B)4IfkQ8~EuN^%@ipXU)Mi~!yix-HGFLE69OxqsULxWzP`*7pkee()bS}b}jo2Fv z2X5K~TKo6xB)4!ir!|HZLm|CKPhL*_MLe zDF$V$!?YZ0sR)7XLcFmN5{Py5=yKy|(X1xjKzx%1p}pJa^LXDw@H%^N108q0&UWPl z9pu_gqe31au%(9xtOMI<*>111f1?`43o?U;N4SIMHKE<>@Obxh^)USP^CMkdN%upN zCSEyN3*H^A^ZsS;>gxUadt5urV^t{4hk?)!lZZjb%CfCO#iYnZ5(_t&k9V+rw%dDNE9j^pL~;Hoe$$f5P^ zuI?>fqzHnS-Q47HjE+jW;Zo8uO~}rlz@1Hf`^(Fmk`kWmA0!t&i(t(5_A1>0Y#zVC zn?KL!q%8z@Yrbj`Q1MmP5!StiFK@Qey-DbJ_)zt#p?BOKx8VJn@yHDTBaU(s^8aPr z=(S(x3407hnU;``M3V_EI#aWi#Fn1f&le+cR}fM6)_n|47?QP z-4=i&-u0z<7m6Qo-vU+$VOsV-roD@!EyMN=bfN@*jG+bxfSZaq=LL`xO}oVy?e(s) z9C?b`k!JVj3Bx+#Mopmod<@q@0z^Y%!svwk)UF92M>RKv!pTF#CPbXxBOL_XSc<~q zjZ>*b(7C-055jSoean81RALhaeK9Bi&S=V`TDs*&RZ11;;5WlgS7bpFg7t_MW=D@!VdNeRtLrZ(mqF8aQO(hSCa&neFjDm2+LWsL z&(22Pc0cBHzj1AT>%Ypn*!wE~Q1KY$YSGx0D?G_ZWT;~A$=AtBaDd6R54=5G{lva> z8(DX9B+jkxY#X24f7{YwH)tp^n_@rZ5!UI*qfgiPAD{LE!GuxEZX;d@SU zH|%o9g2$ZG;ax5Z0;&p0vi%u{YB*%-Me2MfzfBll1=Q1a{-!J=EPn2Uo@-~^yvB39 z9vA*jSPda=5Jvc<{AW?@8!%`QTsNoEyn&UDg7(2zgm3{~VhUXqkNw&Tf!KOOc|0A# zB$<}A!klP(_F+}m;5PM$4O)M${jpeoicj4jtHgacxcoW~6IF-HKi0Zzf4;nXe90gB zbljj&t)j+eS<^z>{I^};YD;b6RG3mE%#bb_9Yaw?Q@CuA(szWVd0?@cSJM3oS>_~0 zk@E$hlSG$|uPPMN)u zOuIVSW(9R3ePk2;Ah10q2kW;qC_bL6B4Mu} z;_oq3Et2Z8Sp0YQJp`EJKN9dZy zIVZZb?%xY06aIz=gIoNtcIKh=<$~w?Ivmuo*q^^SNu8=>m&NXqkV{t5^opTTIL8`^ zl!DZ&XTXd(C154YxQ3YXS%UfKV47Y1&^?ct!XRBF4;HzQ)?>Fg(=+9|+Ng(h&YTja zvn;vL+l$rdEC}Zx>0V&^~qWTGvXz#!kS+wxq?QwGaEaX+y;d)Tzkj?bk(SPVf{z^2hI$KH8oRvL~4WzPS#+U3Q zepNM8D26PSNx`+zi3bnIi7l=X2N^RN`p9b%ffNO-Ht$mFOl&HT2BWYQ4ENPBmHU^s zJ63zM5I}6v089uD&SX|>8dP4E|8IlF!}DK@gxD`TKgtp0FFU`xIX*9av$}4Gfxtvk z>A+q%jBN-KGwm(76@BQnRZ?ML$`0ET)0HMZ=@a9I(Ge+)u8YKYhp$ii&T@&LJ1}qi zbdC`jpY#8SKG8bFyD#@86VHiTNFP^d_?ju~S^x3JJIJj%67QwaT^Vjf$q`aG?x1nv z0$UlCH(`3)>IRV$9F2E3h~L99a>j7FjShEqP}upyQ@G4x&>&waJrqZUVqoeK{raYP zAq{I?;m;;H^KZ{4vGN(tD9piW#E0W>Z-`usj|9Jz?as_UF%TPq;Lyfa(*1Bo_>BI!MOO6`z?toeJ>=kYnL1|e5}dq!9( zBgfh}MY~9}yl8Qx_=52R$0b@AmzzFXd5UBF+osnptM5m4UG8hyvpMN5WChafM)))c zq-%?sU(EI%mzt1awXs$d|A1E}9UM}2Q{lZr{(R{oh1fWl6br6CIODapQ%ZOFXB*7& z0~ujJ-YhzeaLq=q`htM+$9KufKY1ydbt;4=+N~azG{)DaZ*pCWDtc-0W;`mI7!_@P*imk#Lx^~>!!!l_#Vm%aiKZ+Sx zh+g=N+>a(wijFxIePV^%^+|h4*)WvzHP>B9xMMy)}bc+L@CiWLh|Fe(=?zAx>M|*QYoK&`IbBS7C zRiJH>AQcp((~^|-Ip}vjtQ{Sf2IsS~!Hq_p-ic{OYsHgvrP0@V1vh1`+0?E(EwWxr zAlT6a_~_*EM*fz`D=G$inLT7QZLsC_oepG}3&qf#2G;4{_^jDhe@9HQ4JHLGoosMR zZ)G`}9&DI|nllOy);pQo)EQwh+)w?cE!C=Gpkp!(B}?NrDIWIFsn2mHDN^TsgH}HPp6~<#p%Df@rWk*0^vd zKeA*$A{zr8?XLpd`xSisvio$V64|N@`g&U&b{DHEMED1+>Vm3-anpXo_HLb^Hh+*- zn)J;w5on(NDVlSw%=ff9k1bhYq2ofr*LPO<4J7DEmOL~l=!-Q~bv_pqc;fSx3ohAY zv3^W21>nhz+zvoAoXYcRgB^vJ}z&$;yBMK^33Z?S}SQ> zwYcpSa;rpw?YaF;lR@3n@DkS{fD~*HpCM>?k(*r|Y$ZIz5%~+SmegI+mkbsD(OU(( z3Php4r%`-Y>LJeVH(X~ccR7>d#LsG%xhWd0bChEnZa+SwY=G>u-r;_Dqt?pFSBMz6 zsdJkx6F|fDO_erIt&+JfT3p1mqBFw$Cj$yk4W`#E*x>L^`kOC=D57e_m-Xs@o@cq} zNe<;Z3-oz)gQS_k)9*^z@r10Sac$Ax(eub!Oi#!hytGtD-}BtlmD zj-s5%1_tshUo}LHB(*RNyA<=F^@ReXZEm{g$|HSLHB^rj4h&EjkK}1neF=11fjxYy zE3?*}izASn2U{UFC)T3*$6jh>)cNo#hTt%q(3m-YyW4YmquYfZ$dWT*2DKF+O?KhS zX|ycsVGna&5|F=badQ)7!|HEST$hy)N8%L3)qGS$E-o${hnDTzcGyJO)R#^hj>K&$ z?ojD($LGx0;A<%tz!*qJoP@`v0LvCpiLB2%h&O}e9;c>Yq-51j5)&{uV^Haoi!DP_ z%GivQ3uFyxtdTpn%US=|fyHo5?ZjZeQIA zTE6!W4-(s_MwYtG<%kt`?T9wICDJy=kq0Z2gemI%#V!77 zLxwmI`%T;O$KPTH4XVZk!XYY^K^5Q5Lv$Qbs0?WgVMc9%o@q`q|M-lJMOR1y1&r6vD(T|Zih_HUa`XDOo zmDfib!^^qj?)O{f2JQEl&82Hz4Kb;#C;#FB))G=OdKrI zOr&8H>!#2MRfOGN-wsNVU>%L#zuvww*ZjC7Ciy6QJV=OhG?hZ^&<75TpON)np2+R^ zxjNp$H|Kz{I7UgzNbr||bXPm6>Qf!34I!`3`)iiyr1;mgA3b}lwiZCW^gk8^{Rt}D zIW`%_Pn<8`!$HCV0z#i9zRdo`0^Smx-)1X5P_@>F)c)fPjS0!c&I*FUzzTulVCCQj z#b98O{12+Zz-qKJ^znvf#@Bh^Bs?r&YqijR&TGl)|;@J5Xxfa_8 z7ItXj6$(mb4L_@Jb2qlh(t-Ka!z}|%frY0gZfeA#q;wm(=et;qgrmy#r!_sw8NN&@ z78MgyHqkW-9?eGu1wYQcP0pOr%MQNl=qG>Tjs4MVBV( zCt2d9jD*%M1ZsdojSnVMbTxRB%LcvzQpPD&uy#H!CxKnE$)ZWpKJJRuo&c4tLcxw! zzc|*90%eV6X$-k7vp;EeEE$7FbeVdzu<%**z~)}8wEFMK6uPXTDti$QbXzJIRpn_~ zREP3IluGdOIV$p---(h5xg41mT%JbSHN;0nM>VUsE91}Nfp*eoVNC1k5d=m&S+%8g z5rlRY!-1bI#TaxVTe!jDi1*#5L4nSM;vNIoIpJTqfQ758!7SPi+_ngy-d=V>jU1~X z(EoO7>E19dzLfj+(r{By;Pc_>&aD?bG{%k&X5B-WhE;Pc3xw;d1j;|n5-h_ z;9NX*7cIxWC6{D-6caxG{Pp*#@TTxq4|758sXy@kyoDjGr8Fyi|MdF(gT}6NXC-63 z8|cRiAL!RnCM;j^wt9E>_OK7xaO(CBe7b&nxgP!F*4#}jlfDGUJSuIT`fz&u@A)2^ zz(s$0%b`1)xZItv({lfPpQ)JE(=NmIx~aj>@8f#^?&TI7*6L&`J(xt%48Sp5l;% zgvZ2om03(^)%=hamA0mv;8U$#iiPS*m4mHy!nxi6Hqt;bDz1422p;p6=g>C#Pe zNT>YmE_h0{Ku-?}#jc_&5+gJksOw06{w-K`W`+XgH}a8k!G_6>ucDg1Sttf{Gb$mi za#w{&B*d~DT%3Z>1?`QV0u2tW@(zxIN&)E|5dp1o>&PRuEa0z1)nJKG&d)}%xe=nF zU;jN&-nYym@n;DP@~RmBe+378UAjf$-dgF>9jF>Kn*X_|wxiXa8KCUfpcPNMm`*Cj zCzXOX6W+)Sh3IB!-~U(Gbw|VXeft@`L=U19B_tSOj1pyZqKr=XBBITR7EwltD=|U{ z21zh_$>`B0iIylKh&F0Oiy)##@9oX^z4u%1&-c%{pS|zdd!KXH-DjP3*53P6pVSvl zJbn*WHL|p;{!&eO0*=-&T;{xX<(|233Bh>4-!Un;sw)kWt8(!;7rlR={3(>UdP_Ua z3VHldgPxjqfI(&!R`5LJfV|3Oky@h*yJ5U#akAQPW-@ zTpHwjI|D7G!|zH31lcV^qu(iazqm<`m>r2v5r=#VQ+xSOq<2`LedvvO+$R1$q_8+t zRqBFctg;xNV!raH-W7L1e2e7t zXuicldJ4Wpt(PCe{ChPX&m^zeE1-*GmVCCzb*32{tw!CecCDzVetEy{gjTttduQMD zHnV?cXfQZ{s;nIcE~6^DqO!&`{ub`9dkY?#ff=%{zAlK8a_8&K4!QM?2k@7>c&NoX z9>?9S_vL*7)sE1k%95wy|45cgaePfHViz-g&=aEPM?N+6E*vGY` zW)hcuGI}!zL2HlV+xi?ZMv<$>@#uw)5Go^Kz26Y?y!k!%GhC{@;exbr-o(nbM(PJw z^h({^7k}*TJx)(_<0hW?Qxe8zIVtn-!;KPZt!*c(j}115Jq($0PvJqp1Z8BiP$PS* z-gWG54_Pa|c|@gJqN-zVH`7Vo&S9r%?+5EEB;`(ROb`gMb}ZchiVY5=gEyCtU)^Ce z*^Q;}qJ0pNre^<4wo;)jidB*gdo^;rvm|70{@TuD;Z{MuQP;3FLz9qrZ|KCS7wygF zd2vIVe1dNA(3dP7+rfO`8~w}aF;397wYjMhx=EFR;&zK+u9U{>kXxwAzNRTp={In9 zrxDOnLzdUIcDNr`J0Y>Lvh!KUT29$?XI$^1W(JO-~5rx??#LaN1)z|=^f-x~Ge%zL!&W#`p zRMWtYApEMRQ-%a2gNBbd~`h8dC;k&IM>pt?G4Gz-v1fsthUYfEx-p8bDrRa*& zRs|sxOWJ>}VMgSway@I@u6l9j2Nd`PVTNnk8SEJ`)_iUnpb#gt+Vbq3c9%7aEg$X3 z?o&n07tI1GU4UBjoSwKth~~JNqrKo)?_X?TV_`Om5L4#0SP(5Df@A|Kf@rVf$rn-S zV!_c?hP9u=(HGpm(6%_=-wz3_Wp@onv`Ydp!wthHq;N6AJIIWf#^6UzXr+J6S@1~C zGIZ}^cd>fn$EzbE@5ADlB4X_@kNMh0112&S4FJA110defreL&7D6H{Shoa_6C`-)Z zBj_pA(!}?gL=sUG^(d@;AzbCt-UZ#S*P126JJ6+7&~Gry-jIrFJmnMUADAH71k2se z%m>lmqyBypR{5AkDXt9u%=P@fo;aztAjZ7cndskS(+Slq{Y|J#_ITg5dxU#mp}l8* zjRnXH^Wsh^?)4&-R4TU-55lAn3cgB>@K_m#wZ~s?URKX=wDt_Xbw{u@N=cb$#{Z6` zo#t)%TeUZL*UFb;q(+Q~HfbQMLzN+$G*wa`%>=N4tU2p6qNo#O=>{|NNVVH%icQ|G z@=)HYUIB*-G!UPImO}1Q(ch!fp$oieqyW%MR&We#=J-bJCLJ!U-T8X@<#grIwp3h4 zdJawX+*{@%=C^_>^PV=I8^e!wkNghLLN70V*Qf{dnPGyj&KjU^+@N$$u@+#;n!?Xq zs2>IkR23r>y3$q*p0G>5z=*J>=U`kMo6^lcqji#4AfP za~*@%;nu$_zbp;jj8ZVCwbIdN7qY@w8mtGr3PkO8Zk}P3!tbU(!>^PpT*RSoq9rIK zv?Yq1{L@+#{|+SA5$uWt=kZOXib*N}`&=5Y0>s+&#roN$FRAEz?V^a`$f-DRslu-P z>m=%91jDqz1+9pjUbFup; zEw$m|eEa-pD?B*xT;ZQ9v&hT)@;2Xrb2Ly7c;bmh-Y&lpO~;puJAeL6jqG!@%$k_< z@j00wT3qcF6yBtcmPEvS-)lCHL{B1}O;R!bWS z(@}!ys0sdmU6^&$NT!V3d^`e>f^tf7|5H{(G$YK54;AwD&mFZcwLcSGA0PjF5MiLg z)|EEB-mze~K4B0ZzxiTeBGKi>LC~9ckj9vlB@OBh(X-@;oLMr@>SI9#!JZb2UG^&1 zfs4YYJB&3A^}IXVE9^{5o4p(8t}Y#R0B3uj1~W1qFNOUKRvA3J_r@ypRgJ&1oOl!v zS5rZC%jMqKn;N>u5)}gC(66!rW8y9qeTlkOZ`{Vz?+$^uHI9>O${P1jFa~>CpiCz1 z`35TeiJ5aCcTkb@-%7fN!&?E|)=Uz8#f44}EoH3xIiWYXZ(XKwkKw5gx4b>zzHweN z!fGYGwpIfV#8e+9R8y=Dy&+oD^1y|GN!dv{XEvm+y@tJ*WE9;b$0VyWJyK^%*IvYn zyo(q_^kMxFwSYVv;-Eo9G7`uMA?+r_=%84b9x^Jmbm@D3KWh%z3{sT9rAb|n+(#)kse((%uN+5Xzcmil1Zg^WO<0;B96*HoIi(-xrX=QlVF} z%8&zMV*YR1l}Yqf<73lC)B&2elBp6$8q*EpKw+sR^5E#^Bqc#osGlEE$WTz)M`9@B z_)WP;6U))y(Y1InyuQtgi}|YlCfz-WlQ;|rWZW@N7+K%GJ_(%^B8fo?9kdG7AK+9S zNwYn`k~DuG;vgR$Tj34=@X%Oyy+8i5>W?7{FD5X zs+v#y1UA4p#vz@nW6sATATOB-Hgu&s zk58*f%a*bhxq;-tD48a>7tV-PfI|qWNKzzHq&vbSzmjd745zxHVJ|ER#;GbreYiUT zLLMysxBKM%U}N&msJ?f=kdA(_uT&q(?c?OY>7*w6dYzpl3?PcB3TqF}Olw3BC&Q*hPG}04G{r>AJy0EjP zwc#YMyM&_zyGLQBR0gxW!j7db%ja09K`?I$af&|;C6bm+HYAmsDOf6xo$%BpkB^u7 z2Aq1C!l9MwMw3>tLgtn zsa7-bgMKf7c%R*nk!hw-rrKKlV+nRV%Ho}qA1nnoPb*QHQoM)1tE5;2#<(MS?bxu8 zTjUKj9D+>aREy2ZPs3j^_#p-)B0c~ybGBIqk%&il(BF=RucNdI@a&q#T&ux3i>#o$ z2idpBTQ{LiT?zY3HuA%O5Sp|2i|q*Yun(v?UXIC6l5zY?hWvPVJY$1_{Yr+h!gE|$ zR_tT?Id$GEF?C>A8^5jGxZOR@IWYUGR3Y6~mGB~^a0f*38euH-h9BEud<%qd&>~i%tSYT!E6Vs21|-Jhi~z7SIc@=_e@e z>}+HwMK)5?^UDdD8urR%f1+M3ROLh`SK9B9v z?{E<*xO+W^$1Jty;@4)NS($Xfwd=Bc$t$tcI-_p>@7a_w9eRr@%Kfi%=QvG^Swxw) zuf6ELKl;$WD|eJ@QRVswOGcu;zqYk7zc5Q_g1&dr;fRZv!d`{R0&tr(c~XCkrBLj< z{V;VAY`&B=`Dg5zuB-aLXeHK2&s7;mY1b^6pZrF$`##jStbZZXk<9L+?XN_15>23< z%GK*q@QTdU=O%pNQw^Yh4_&m3gOiG5T>S-T&S>XbVw zWG6&Sfs+$=qZQ(+wI|4wHGV8^0(u_Zn;*dqXF-C#09p6Y6g(&U(CcIGV(wYNfGVZy zaEMv(AjolWMlEtGXz=N6nfp74C+5Y@4Kwth!VN~U_4i=_?ftSD=g8MVdLXLFPh{0q zf9rdwb<^5!H>HAd*G<6FHDL_Xp!EB}9QPm3$jkWd2t*ig*3)h^{$*|b)p%=;qZQq_ zCUzOj#rHBMPyqy~)5D2{mo(AyNAjg!_Qf)Oec4D|kI2eDB`!LJo`Fr|N@P2Q-b%I# zQ@P4_XPg}Z5w|L-?q4Nm<;E`NjW0TdSm&nnf~Gi4sloRcc(LyL>gsr{Zcn&0d4wye z@#n&xgTAw@7AH?ej#4ekDl!oK=W%Dg5$_C9ZPBAtDpN@T66P#Oc@iean_7*x72P53 zycjnmz%{AJrM$68_ouH;I*zt2N)b<}Lg>2zGq~C_E{kRLVIjN9bn2oTM6wP>TWEBf z(+YDfJGK&Tc!k7kZx@2`)&CW zk|%cL%!_9$MD2)NnDOF{!M*Fgh)l82(=@JSnNH4w0O=4z*SBj%kGzaC$ZMPu1E*wom7hHiTOQL7R9HcQ9b+<(9T1tHLMi8Mbz$_Q2q-J zzoWy&o(>82Q~Xh1FnjIff*T0p&)*d-j}Le>CEJc2JD{q`t!W(S#m1}f=inh!y9*cAKqr8$~z9gTWFG~L=yg5Y1 z`7Xm#HR2>Wq%X&s98JGNplSsS5Cgeyl@SrS^85(tTq+X|Q?tT(5-MMCyE{C#08t; zgq>;vuuKk^eSQ#EHQ4iGq;=~-bbmy2zjRLjhwOf}?EbG=GqjD73?|PkB4@5-Zir+i zC}kRpWNs*CKCx)xtZr~Vi~_fQ&FVMF>Sv7UfAhRwEURDlxhloP=V}N!Ov)=rVx2{X x?rW=JJ=p~M{f#y&88^FcsVgFro3$4-iD0B$8d#cLfF3G$Tb52#R0p9;_g~9yrlSA= delta 38842 zcmZU(Wl$bV8?BAII|O%kcXtmC!QI_qaCdi?;LZcV9fAfYI0SbM1pBi0e$Q8R>ip=c zo}TWm`O!7&y4UL6ZH<}@jYeFV)Bz7nNH!k!Op|&9Iv`y~AvISTt@lh@m5;m$+h(R!^sM1nd#(>6eq`~(58@)h$`WEDDRWo&HCov z5{WO7xmvsO^1vqZoNjBv$^i9(TDvZ^my|QfyJKFbZiNj&ptV!R1UIAo7wzeSmB7(R z>Wauu*g($KBahML7OZc1$uxDao9u+&f`*VnH_--p+8P+lXQ|pr*dMwXPxVCPQd)lc7yN6x6v~Eh1RE+(# z_`sWb6)(y*S3M-lXKWma%j$Nq`Wn)a0di4jPD^J!p;pr^jzQr4QK^=;t zK&`5o$a;Y{_t=<~-JzY~W}?EhA*yzXmDm8TP=ZtR*=t6Qhk#EktXl`EOtRcUJ z7Vr%hn2y-)i7g}jwMZ^@v0pCnf=~pL>K_5ilkRXU`ILpDGkjA(| z;5+TC$!kGI)FP%?Te=7$!vi(e#jc%^l>(EVK@PLXVpw;#-@cPfOI*~AG$Is^PeI|S z-z7`<555FV?s$WQFEgUM%g;{jfijNuilnk-vVP6*&0wQ`kita3=3@_;O$Qs1Y2!V; zKWP8L>(%%iB6yWbN&sbN3jwOEn)giQHcNJ>y3ZoS7+#;xc;1MX0QZYI%aH&y8Ng?C z97Rk^cQ^6AyMTCte4t{76F6jDgYLL?ii93WWxP6b`>8WV(#kG$X=w4)@o7s7Pg2eN zwD)0ZXKq2&<8f+ucy2v`E^cT<3pmXe8ZV)}g#)TIY6sQvm_4vHc4fTco|Xk7;Bt6k z4Zl5e?w;oblYiNwE}kq6f#CE22fW$oor@bQM%TCK`SDj2-Aqk+UB}pzhv7$`C|MoT zRudF@&Wg-Y^POG&lTT|=na>KoZgtlZOlNq~L~sXbgg*RmDe3>|b|Amzffl!S#^x3iwEm_M!VZS(iH>_hJ` zc4^D;CiQ*ZsB2~qvdT{(UU03}*q8=Z7p~0J$A}12a^83>h#SQ*Wo33dj*c*o{9;g# zp_PRSwL7x;yZxS2#BidOe94TYnFE=fxrb|ft(}x<7@=L`5UERTQ}+?( z5I;IbG-1D(P|ED~^oSYbj}hLMHK1loZS8d+C3`AkDp9rj^LZpIS=-ZsNsF$NHTQ7U z#PT*v)zzHOF`jh^%z2PjUH13;@|?+Wp^YNCe8GXlFyAH%0d#> z;^ltp3C#LQ75m5eIU@KiJn6$#)>0HI!7CtUT|bu#&Cfa!#n1>5P5Rrzk?+;{Di|6# zzs%1!LoVeWCKMLVrGWcRNs@-6P&1!Xst*?XQ${j8YLuwmUxLfB9GT184TS{mPk*X3 z35A1^4a9Higp|)J6FBM%Ws6|P)kDTG2n*KAFk;eSUM%= z+~GWZql-Gwu^N=p6oek+2%({NA{4mO)5uRRH;{-nZe)9TzjvbwA@dxtt zl%I#-iL98?GM;zH{|dFA3j;fI#7frPEpMowzy z%-iMbs!)PS%RV5ilu`BVJG1_rbvrg9wh}(?g0@CQ8cf|N2=gErO46z0u?l&)JOa07 z6FU>H%5dDqBYEK@0#TSS#>0&rt}0%;%I2$;wmYvP&0E6CsCD!ERfhNsj!<2XphY>Z zQNYTY8xA#_x(nX5rNZ-+n7fgGURlVRe)ew8A5Oa3$7*?hg2U=vNh`$d(p`!9FVvSC zg%tb=dl!FX-aq-=kQA7!Lm8U6M+gOsl{(l`y;Hd~ABwmw>q1q(74k7`1&*B8od3N3 z01I^b&XEePf(6c@?a}E?G>V8(K-!DkB8L-7F*2HJq@tC?uP8zvyW|3cf#KOsNQ1i2yvS+u4U8fA!b? zxfiX808(7W`m}DKwOYJhQNp+ZZ43Xt-$ifo`0UkT-}i81svP=}Xf-_@PHr{?(cfzt57MM2N6(t+g-Az1KC2C(oA2QC zFanWWG3XDpJDG44hsKE+9)}u797Cs%2A-8Ngu>UP%+!PC>i*E^8#x-F^%)m^c(3w# z)e*v8Xy;@-T>V3 zDb3izaW5P0s>bop@E*)1E;2_nuE}yhx1Zt-yc&R!V?abyx10zBw85VVSXr%a+6MSP z+w(kpyzZTo)I4lnJgem1(ZCbu7S#9Y1AXs@as~V~52e#5%!0v(rVs>L(Gb^^7_kE3 zx>($CU6=_8gMWByN$g3SfT2HzPkVc}*&ln)xa%!n)l6U5{ofuC`Zypk;^&AUL}M}@ z!7!J^MERy8Wfdr&_&KC_`(!?Wv4tVS^!sxZp^O|#m@xVFTRxKq)ry0%cw zno`5ivq8^3x;99EE^ZtRJ6EBTGGAh_jw~LBXpyAi&mV6SV>;$Ykzkfspp4B@f+20p zw&&vZJdJ!#;fAx02C_o6(Cw01_lE`D5^|)uhFkPi>bbu88ut>X>W6-V5l@&w9p=<> zLL^+L)8o=!G@<4GptLZ*JYCK+Z3_r&956Oh&|%Z!0TWNvr%DVa9B6>OVKg4bSA;=C z^rH6ANii!|dt)>nf@SRYc5=YQxQXlBqa?if1aNrXCvfrX<{~)b|u5@_h4$yD^cR$p9Yb4 zrl3q~b)!BBS|GAzGLxn7vB~6Z`tjiL^=WD1g!=kDIg+Mp^YE2%uJ`34cQbT%yZ%K;9+DyK zKmP%3cu7SX`3t)!K;Liuv94n4a7*2(6I2eGUuRb761=!=oor#A{U&&JTl;@^x_=%l zF*kVnv`yB0F}%37&D8GtZ^*-^Zqm-r$8huJ@uU`i(6~S2H0?)v_aXqxP36lg!Khlu z>cwP2=>}zbi$S$Pj@s$1PcDY1c270QpP*WU5@Ug2=$i8y`F==sr0~Dz ztG@y2QJ)bi{u!%7+zsS;_)=_mPfv$tma0f>-F$2Nn%DEs+rd4w)(<%OLQuirRH z0~J!YKRO0H`U;Q#4)iRXNs|RRk_hB$>I6T5EA*nNNjFN_> z!x7(y(4Qeit4FW350IK5MN?V_!_wRHhHynSL*X)e!&pq%2rbeSB1K3e zGHKqg3!By=8fM}QgOUCB{QW^#P%%fMw@R+9Dzwu$?wI`#n( z9&T?yZLU>dgJZ$n*wXYH<+cXyjLpn9XBZIuM5BA?g|dPI2v^k&&FtGj|KKbO$SB`Q zne64RB~wx2@%DX{JDw|iopdW9PLuLBhHH3S2e9dlFE=v_cw4>yy!!i3pryzsdhMP) z8ex%{N4f2m0D2Oemrl?1D`C+pP(VYNtCNrNHW*?S%Asz?_~?Sq$O$Ej4`W^76c4+C zqTyChu=8ygEO{&%MK6jiXupFup!fN}T$s>cH+$TsS79ovd&8ZcE^0GRr}yQ>vumh^ z8*sA(6eZn5Lo&tb*uj5DLD7nyXKB zfwey}X7tPMa8CTC_yP1whm*Q{EkC=SfU&0!NXr_Zk-spC3BkkpA9Owixxs^T{YRrf z3=Jwc>p$aIEnV4#2${t`2$(GnW$UouJeg#?u&kjzwUIux;C~y$-v$ZtsfGH5_1_9i zkjns+8Ny!!2McsO2_*!dsrG<`1>#$RibnzGO=ZKOMdm_aQM7QhaF>FaXo?V7=m^|Ip(^CT_bbt>_}mljJ)6ejW6%YnA@I} zV?oeA!922idEPB}C$6Q2YoIiMzAnpbIf|DLH89Rx9;Rkck4AF9dr`J> zvp$-y76rFbE-O{eoJp*`YZ)uW#=P-x{^H^?IwmrbC_l4FNeGRZ6)^1?m{lM@#)AT< zWF{g@u?Bq)*22o4O++-Ev(opawce*$hjFFl@afcj^UKHn+ul&^vq`7#di@rZw2kO2?DA#2Mj@HKrBP8LhF}~jJ7!^X&~dZ?zw309U7$g);kU!=m&48H z+pbBY**=eLKxAlpAK(i@eMvdUiPTxeobpzuF41xt?J*0H>X|d4-fFixx?A#pd;hrT znYzC~!E?R0`AsU^Ux6qMPF&>;?TKxQDk9V=tm2h-IPpUbBzE`9{w=W6Iw2S6^ELVC zeZKMyaC!c+;Q#9UxLn8t*ci)BgG%Y>wP+ED4NGRLIAjWqf!xk!6%%qPhjT8Pn~@}A zvj#qzLIfoX`Z;+{jVVp@Udh3qWG*6x#h~iI^F%#r3c}!Ej!^MV<%!gNch4<93vm3cN z4r|)=&nF@xfB>djV+3H=y$fq}%bg+4DDEoXa607Tk(>f_QrI66d-$E- z(SByRNJHI-wd#LCEtbLxXG2Ma90-R%-Y-r9q4}gPa;an$w}a^(||fchzaXQ>TCnwigMmH;az*LQ1+sMJ_ydp?|JV@fRbCKb>1Kz6jo{!^B{i zqf|0SG6UC5-xY0_@gto+Ek!;JO%rQ{rzv&~!f{PpJ2w(C7eUTJnc`99wTc#+fOVA8 z21*UL$%{6)G=|dbY6S-O=#8A9c{9$aiYR-fZSBHb2vI>?VFDd>56K;M`UcA#L_PxF zJr&p4oW|Jc11T_BzFZ-s6X;7Qs4?iMd`Ih9W&>SlelwM2qPv-u6@U>hF)Hyj9 zF-JY8$M7zux4HO?v@oUDE9%^djr3SDO8je^-d&{p9>DsDcHHml;r7OQUtdQs111c$ z;-b!EWuQwG354hgOU@yynL-nF&cX}@QifJ1^NUehR9+f~?tcuP`qK?9r;7*4ykX!k z2ekJXt>lz{+&3(IWV72pacvF_eSUWZZwMY8P> z^j)+}dw4n&!ha?b$7|DwM3jbN1H`M%Sj0N@65r1dOdm_!J5)}so_<}EF3Z?W2w^pVXnPw0qZIHN}IWL zJ8bGwow@YQ!t*gB6Z${l5eW1K6^Z;8 zN&d0dKaXa48LfjYrqtdReK9xMRwz)AyYQs%GX?z~+uW2n_c zeqB-<+%u-6WmcSK{}r{B3=KI)ue&q1h?Jh*+cu@O>V4RKlq(@Zl!@%2-SIU63k^@* zWJG$uQeIs_IlfW9S$e!tj<43b=yPlc%+(sbR_P(1`9!&Wk|1}9{=nW(psUo3^M)qC z1LCeR*Wpp0gVCjSu4NK9`q4X%$-oGaS-~x-aAEkwrKEoo=9`lLz$6v5lZLfijUq-P zbcc)J5R;9mdzc$QBaetGTV+F%426ufJdVyXOi*i@;-OJrE`lvDVq_C8HmS-oPP2$B zXp+vbP+p_6L$-`>s`X$Mwy+502xZ))0AQx*=yTyA>|IBb6`{pLb{p4|r-WkBOmy0H zd_tJ0MUx(e(Pjv&XNW_F=&k&l*D|O)XH4^@iWOGF^3w0v2f}y^wHAwN6cou#(AMN- zwS3qQzG(F0(uu{GfYC8HDWI|^h2Tb~d0C5_%Jz1L;zXj8@g4NIk^9K%KxWhr0N>v~ z2VsqXBN-<%MFe@WAci)mLDR#is;{P$P}Uf?;Kfuy%}Ti@mF%q6pvgXxG>}d(l!|kj zriQ0|Nh3>%p^gE+-WbnfmvAzt$!L_-x!=qGVS&FiI1!rOpfjK4e}X{OeBIw9KfGs; zBhCqF2@gTPeI0`i*_ds8|3N7@=X9~S1*39sUzTFUoVN}wm=gkYZ9!|Gs}C`9;L~o76i~ih#Mi-V znDIEfKT#=m=gKc)b7W!ew)nc(ZDUBJZWC2kTF!5dpl3kMZnMT}xxC8K7`qfr;moqQ zRbY#vakqc}roq*)1QH3zQ_jSzUwRaPX7DtH%l=B?x$}2i! zWn`o_AF%D)u$A2&k0OvV0%Q(rk;yaH&Pa*(Qa!IB+nYIek8Rm4n5ScVdf3J9Oj`+6 zXr{&P61|*$U9E3tOs?&{RM^n`0rpk)v(LK=W>h}eaJ}HB&YO5Y?v~}ZrKWna|GC|) z&zRM(3|Fj!p$LW!k){l};yij+${Pr8n_XGCXyczcc=D;tG5UCB0UFa#jC;%p)AYDH zc?AT%Vdo-p!_?x#bs={V?TS%3 zA6f|glGu6`c0BY=3@CbPC8ur`{V1BBgrVJDQy}c%dU0P;fXiSBHny3`EDZC@@3IXx znJ{W|ZjGpM;)TYjLmFVr1>Kz-7ljv^**5&vyz71I-YDx=Qcrk zQe^fklH)d%NzAiaJNxE4hP>8TUcp?-mnQpPz8M$BS0-y`Iv9Fl>M`c>3R+)Ed3Umt zj2Df2&LM6$2x`p~n-i1$8treU0E7{T>(80vNsM~i5-MNF{b+Tm+)``jDJJM6xcEi{ z#;eFh_`stL(Ied@JB`bXO{B-;0M1V@ zVLLjJXWDmS-%?8#mu_oBMC;|(*M!|xsiz92K@e(eSE!eVjsamS7I}3enGJio4ldWj z7kS^tnL$IN$aI0Uhbn|gKI?rqqUHS%oyrU}l1^m?xxn4mg+`sos&D4a12SQ&DA;M1 zCBKnyQl2Q2Nov0Q$hFJ8MsRy}n5B!rwVr$+X_c!D`G)rR zLLJmYdMPU`Q2~)cdWZ{?l0(qdVO1cjNvA0hx8#~*JyfjeXPa2*EE<-yPOko#Lv zUFOx0`eak`3~-k+oj8mm(`f}!q5P6=G9m8y9)ROfwj+JJ?$_sstFaH9E8N_zJO!cc zxlKkWyw~@o9{XYc)c94woOs&$wW#^>BriDyd}b^yI-kK1j0t3c?^m4smR@!jrcc|m zLz`;JQW6}d?!>jT6{LJ-H!r6 z(;rvWJ-Yqh41a$cnm#2w8(`k^H5eA&l3Grs6QO7bzyBJO)gsGuuySGV&WY}4*@~q| zYj#KLWP~n|oq*%ZPm(aBCzMmbb5X{pn+Xi%ES){rkjFgWWpzIFvkLRvZ;$nL*?`WU-886kATn~|5!FW9}=ZI4#8YUdUH(@&g< zUcVGKp?T_&q8RCny1Lh#|EptGxvSvTuff)QOU0dUix%Xi;A-S^WT~h7j&ANSkt=d{ z+dx=PJ>jpLZ~upw+BMON+-pM8v9dD5qT!%YHnWafjQ;NLXCks|S(WJDb*1j#jc~-N z8le{hV6c61Dw*Jr@R*RS+}xnQn3II`znBqpU;wuPpSe4Qg$Y`;gquNu`0Ke0Si)g} zIy~SMk-#}Y&>?VbXqi6@{&LcE3LNi03;*RL{6aV~l)skHKVc%1_T%1KPbbMIe-gK2TbdJank3(_{%OkW-pC@(FI8ap;R=-@f-LzYjmsNc4^|Y zUxN?J=?1!M6(51Ks_k}b+FV2oRl(c^3Izg$D6{w}+E|?5c4)uys=d_I!;CfY$6WC7 z(IY1jwe%;Q@?zu3=zOh>hy(I<@kE%qU{r(R zbKVlHT}idbcX8pY(qg&lc0*7pKatqbj?`<1T%x^6;P*`>U?=r0>>$3j7t?p*{T!wr zvISo`CU1@cPwJMP2gKzY^_cBk)Uu}4aW$C$?4Bx}pW@C@b-LFENtQa-1`>9mN7Z%6 z1$NUMIyz;f_73nkmaq&0#j=*zI-L(%G>Xd#;99omV7N?ll0Tv~?i7DfCNmMT)9TWX ziY7D)n>u)x4lg6lmbY?y*V{WF%`UOWcW`miC^p(x!Mkb20uVU9RZ5|?bvQ@^6II5K zjl)&V&?6%@^Ol;Ge5+xmK~&2T&o=dS$cFNYc-%v@t;L1Qhfo`e;|LM`rqtA*xGk@B zb2Q`DGV~ScqwBn=@pPPEm{NbbhFZgw1`n4n8o<@g&olS0*hB8H>BH9kV%H}Z?T-uR zff=y&>F?0h1BmzJklflrqYz!=Y`k6EDYmLgYKP&avi+(^97 zh-sTJ!Oklzt1s{{B6I(xZQyWh|Fc(md?t_=&t0|e5;4KNyl)!dDAg>*@yRgmXws{O zXaBhZ$ZBr~5}i~I|8CGlp-`grkcU}ecJCeTa>T&f$s4b zl*V^0+zE-?ej%GG0rw%E$xH=Uc7IR*Z?Aj6>#r41q5kqC1~mTJc$%)@qH>PlcWwY5*d-EO!ZOw3FZ>9=61DMiX>lA20`CLc1yiIiu z2$G$5!>Fp~MKhc#vIvK$Xci`oYh_%pFj?B97cT!?f7%?92Nzn;;n>9=Jx zpSh*nRW-CKj87=(FAgVBm=pNY?$zlzp#(}KuI z=O>?E5FUg5#%!M_7_S0`zrH2fLlPwh8Rl`bUTG~n-I1m$&eLm>O1Ow7xVig%)B`K+>WJ7!YGv?Lno#DJ82K+ zDP&pG*{VpmF+`QCQrNi`Kcp((ct#le64Fg}EAZgi+9=fX5|!t7Zsax~NVoO=E^!mM z4Oq8KJN)1pm62QVPHbRY-NT?j-a^XNqzwpx{k3=^T)e0 zwutBSGCsxst+q8F`)7dmi}Cl^t%~kp*w62#B^NZEn;V7Xexflavqp#*patIV?!$DwK}1(AQhGHkbU#^`ELQ7hZ|! z218JFlS4N7BoPIaiwn<%`FGkqJv=n*e|sRY z!;k-CU;GtcY|yC)d?3Pq67DAtUk&#^69T058J@T>lj<`(8>sviK3C-LxJe}fCj>X! zfA@xTm7EB9kb15f=9+q}sZvVH2H}ztshQ>=#PTHcDPYHRp~ONr`?tVO`mRbX^S!&x z^v{%1F9r+~4x>}XX;S7@>zH{_&M7F3E7mcx2YWV88?6xiYf zH9Pmbma3ZmB~|cIqi|e2g+0A>0S}Df9QH77-*7Bl%RKThF$ot43El_*Y9U-T-x<^La3|nRH`@h2EzRzue#8Ruo8~^ z!7g0L`HczBcXvx`H>MZLtj{zmo396Z3qJ$e$0h+`Mte;sT#j1LPD92OT%3pIhr($i zMrJLN*;yQ12}*m1K9;R+fq>ROzm)CStEg3Wtdfrv0>W>UXN!ji9RR#*)XYijv;w4? zr7+O@E(&^vsD&P zw67HJ!FiQs5HU9oVb^oZ(qww*5%3gb@kayT>@qlzm}l^(jYp-50u{9?6`*^Qs#w0d zosY20SmeB-3}Szu3#6cs&x#v08V_^| zJYpTVY8L5(MQoM7VZb0NXO2Rt$UK&+{YJrJpHAWz?U8bZ3y>HY72S0$&4*%Z(*d-( z^_R^jr_8yICG-;mnG@CK2#k9Svg@!31C@4~6Y)D5BX;M|cK2F~kHOHK>4vOTAU9Q9 zy!28UtWRHzv6>BCD=k}n1mqspbOSQ}5XJP_VQ)>B?=U?WHr{C!)MAXev=SM}RhsVb zYDrHuL|x)S0}4MALc+abL&_bc2E<{r4`R>JoTYb^`UfT|MmJzbU4E{R2JD0xK``_x z?e$Xe86B-Il?l%bP}C=?KV%}iIvHxM9a@z4_~`D7-8SE%bQ1<&$%lP5PI}^Ba)dz~ z`c{Qn+w_FM@(?WXkS;J#^2>+aM`lJA!-BY9QZ> z^{!Pp&7zH}-|3){ljyb{ze2X+x_GSWOqH|2gQL1C9Q{*iYpcmP%e71AH7DJ7x);Zd zZV;fPN$&olP7|KU^})j6(Uo|CqH1> zMn$Uc11LD}0sod!BZH6cr#}Cs?Wl*x8VU1L>v@;hh2=X~YFhyRstL>Dm&d`y?8tzx zH(=}%M^#5PlCK>BO-gJRN?*rwqe%KrkwM9%rqtuVAFH50Iyd3Xl~RX&UjiQ%PS(13 zVDXOjQM}I0u8G2r|I$ri8D?!-yrSTP$iOV;u5qFb0<(r3DGTUQF zm2Z7H<}{Vcwt&)FVrhBHMh!t9SK5_p;)WMkkC**!w7Jv^4Fms_xl|V=!_VCq52)TU zCFzEoHkG!3RkUJZRu$`aRCpf_XeR-dcyIqnADfQ`w_%Iik)hWvT}7L-GiZlP2GsbG zJh&^%o4&?RT1lD7nh02b-TD8@N>x4t3Z(zUEJ6x_^xw)83-nDB!59AjRGzX%2;r#z z=pYto*Abx~;XfV30=4@fWF!2ikEUS=&KUo74>Az^(Ej@P|4AR$ztT7TkMv2Q{gu9B z3IpG+-an91$)r1I@RDI}V6}vKjWG~2j*UF(PrtiQo8oy2hA&p}6x0kB?kc`je>2pa zuEhw)isFLi`cNoN{x}d-H%Jmq|1#IVq0Q)wj_Zn6&74Ns*|1nt#T-Q?k>8LNk=KGq zDDNheAz_9hkE6#d2H>yLoO%@rJp=Z0@>LC7vZr?VytYUOYslxL7Lo2}{(dIfm5#jk z9PYFp4jq+mWal!S`Z?eX)A6&;T{cE`!Jm`E5n!pkE1W~&y`{XfQioy{HrvFLz9HC; z&1;e}Gh(awwradiAQa!n7ftExh)xg>yi*!4Ihcrcv@y4l0&+Qi8Kjy%Y7R=O&2mY!Xw%$dLty0 zmj4j!Wq%v!7>2(SH)&O$jXYJqLDqXr>LhZ8DtP$<1=n3J2G6&v=@!Jn<)rxEqP)J87X^{Y?xMn2P@Y? z(#1q)n!FMI(2DL$aJXPOEz*RKo*kLCo4#21hG4!+Jy4AHEX~`w*BwF$F1HUO2F|!J z5(*o80NO1|B?~Vcy3I5KhThqRf>YcyidL=?5(-#|h4WxTeSXYh!DDPLvboQ25jgr2 z1lY>9W5N6I!QjL~-w?M_w0-qWC#sV?D!@*d$tDv}q@w5Lg*n8)_7R4HVK80(;;bY5 zlh7gIH?U3IYXF^1?Bm<9S)Z^HTse8QyX-EIN&S)_1fJLO|$?U;Z{rOisrk1jj&+TY7@GVrLkl4xa zvY~w!%rdYGH)B@o3WOry-{y-oLvek61!DNU4=mY&e=M&r`TFfGts2alKHr_1-(5Z( zoSIk91ze0RT{WQgt#zZq!Xqv-`qtITH?<$F{=UYOCoH6XT{(Mzkw>j~-#ZLw^n+#0 zc)2pPe|bP{SOJ(bw(S!DBck6z^LGcoCut^SU>8|77>9TIB}-SlqC?QK50AenCdt)- z0rwt>^MN|TTY~FQc@MZwyOynwVy@v?S}37{(p0=)4c1bnbcC-6GTR$Ea*;!C|!$r@#2>yRT*>bO!iu(#O^ zmRj_~6243v+JWDy&aXl5D+`R_JKj`I0D;&OZas>(c}|MAf}P8e?fT{d_)=BE$NXz^ zKlq=&ph1Os7P$SN7dcJyKFtRt~PA~xf_?dTbGYL`HDU1 zms)oR8u{NYfm+q5?3&0r+T~d*J zzrM%Vg>o~@gxg@{xndCyA?!}i129U|Xt>eNGQ*qYJB}1d2>A!1iiq)HU+tR#J3_gF`TbSx3R!8AzpV7fDBy=WaZFMi zInjYA{AnGjq1XY*9$!m=2$I3AHgBwd9*=9c&yQzq`rBq$_Z*6_$O*F-7+IIg{Ewb< zF!7aRu&y13iZ;GR?C$*xvBsQX&T3tD1Cn8N2G-8aE?vu`2cIKkiz5YpyN<>+uS`Tp zG-hX+3rm9?eCBH=XA{@j4g=i&ZW|1ul@2G)QsjZ*44 zwbHWiMQ96ZE0k_6o%-%b!h*;)K3JJ7zItA5?mlejFc=<^W$!Z#7IHlV!R!97``2G5 z3i!};aumeSM>V1qlqG6tl__OS2s4=jQcvV|Eo%mF=)HB8ZUtcqU$A_9EVkdkKjbLf z`OHj~k1Ze9pL0d&rT4Oi_$`4H9^Gsn&*7T-w-9m~Kt$x(eNZ$6#va5@!6+9xa`_V?9~fDteyR-;k^B!aM~UJugePktg0H7XpidJzcB8K}+CAS|X?@ z%2h!_Ae?knMGe;k`n&obP3B3r`+k`%1CLB_O-=}>-_nBX+9Yn zUo$LZ1rCD^7k-h0i3V_~4tbXS{`FWu5&y?Ex6?`>N7a2YmNxv;fmijL+3XL2z0g_D zT})Lb3yQl7WRAxd=ehF>z1g_&>KS|U+?A#8y$8Dori+*vKS`j94Yix1+@-m zug!LC5=|C?sVpX8J{@^CyxlDq?Y1q0+%jef;1h&Nl%w97=5WAJJCFG*~0&QJ^B(3PsKop#mQsCtX3y zMsQR?83S5uC>kpnTkwGp&RZfz;h_>O{zd#yL7lA_ExgnRwJT`*15Zijh_6jTe6axC zbQXV;XAm3Mi%&19c_x_VuKZNT&2cRm8eOpRAiURnpc0vAtvUaxLA!9*D7f4cZ zX_62OWg|5ueWHjSbsiK95n0K!4)s**CikzL{AH~3la z^rSzevp;F=Nf4EvS$WxRH9OL6|0?B0sR_UsF+{jK+_l7eN_W(Ql`C07>2-$D~|8?ENI>KJL9`#DyOk;Ew@r1Fl65DeypF<8|egR zX1xZJ>0%gn{czr~rGC!Et!ziCtaIA(fVzJC3IKLhA{d#?@8ZAYw(2szaegN_a~~ID{rfK{^1_e1Pyn zJ@w-&Ae2DmH7BPy3_AO?v#)_00kH)UnuJd1UYF~kNmv=uKRRO-4aZPML~l_0u=kVu zE**FSV%wM6zu1)1*Be|)O`s)acZ>Bdq)TIwv@j&$aWAvWo0j4O56P%PBn}!#1873@pVKo_S-Ih7 zU)tZq^fBplLF-RZ9R(7cWlbX+IEf;^}8E4O>f9z5|XX3CNy>HWLIW*(I& zZ_2P5XCw^p(`)d!K%vL*fvcA;6ERd558V~2{^cDZKXJbyB!q?fm5oS?tyDsjId9j!-8n-iSk1Exj@>yQbcs|8`6bhgK^9I&bS_a3?KZFdw~@dVL#>{~2d|Sy_DOVF;{kOtBH$niJ&&QM zMwNltY(J|#oEb9`+mL$|h31FR+tfwr8VvWc&ZjRqKgT_dA7KU%7Dvul{XtxAr#~;O zT4*{a??h)6Gv62S>n(}TsbdG@U43zui5l*MF<>o}dthNB!7e9@Rc&0|Jm1<=H`|k? zaI_!cg0-E_tq}Qzh!p~1A^;oHucrf(8)K`YeND8KL`$PB-+xXGJ)i&TPJGTP6GtMU zEc@*??Doq_>Qc%6@2z&E6Xlm~qX128l&^%f1eJ6Rz96=UrJJ*#=ML-bTV}`Qu?_7^MdiL`;!@}6b~xnrHVicm_0~2Gby+@!ZrLb$XJ<=i+C(HA*)Y^NfaBs`?xM>@N3Z8b3{F-a5k;Hm^W234rc=T50(BDwxO9)3cC_8i5s>?m9 zlsB$6_n~S@G^|H@M=9!Z6H-I>a<;upZV9B>3Vn9T6H9jq}1rQ%#_m(;M(IJwnHB=XsL>p1WZQgO*`7gt`&P zcxmfypr_J{O*Ys&1>s zdd)!IiR+cPU4~qR8At{H-UQorZf&wxvA^ARo-%p8GDG$h@iHONAaTD2+13l#%R>DB^qx1o20U?glHbXoTk0#k0TswP{M08JVX z?y6Wdp#zebNh{m8kG859yMxSAkhQV5_a{gV^14~`qYtr&os$h-hEx#Uwy_V2NGJ8+ zg%aR=^)7NI0dWLY0JD6>c#7!BT_A71e34$Y97I{;QL& zrbX+F7*2lZXMI(+ftJ&{%ic-D?!Ln!yWu=A=618%(0XVge z+UHNOHj3{(pzrF)08svaip*X*vOIc5{fBFgQQUZDa5QP9_wG4tx*1Y`HFO@F)QualiIBQQ>f?9tNf5 zOsW2c%^r0+R)YYnDeBOHc7(%65E3PqqST>3iCkI33{mT(Rw7pxpARmjJC8-OUPb6z z&5VX{VzS8;t>~u+lie{x$ zLyK36+dtv@Ag$$UOiImbhQuURds5<1X7v0jJM?wq z(0T-1l|KFWNRX;moK?cxYRQ^a^DItg@puF<*mMFVLEGs?ibfyyb*BbXn|}@>K%=FY zIG|dfpJ$hr+=1%o#6+*3mY?gFpi+*onZS3W->$>y^|gjK5ND1?_AfZ$&k^-jSTliI z?*$L&;H3q_pfWl)NVyuZi`qV6r)t<>oo(q)IHANWY+>;e-%6(@=V$DZMgJdpIm8Os z7jPlZFMaNgR3z9J76F@Yk1i%fe0gWack{zQvyL{_G>-d+j^*Ua)%!O$m*%_v^UW

;R(Do-NOIM@-9P#aJiYuItd@b@ z=^q`-{v26(@(0!NS1qqCzKh*_g&xK>IVM81(bES_-OslaC+ha*{L4r)F)a)cHLn)H z2aAKgP)iVQiQ;|xp9%YbzEh;uG>)s^U|e4Eko|C2Jyt|83Mt)Y_%Pv}YbIa>eQ*>4 zS11h717;FWl+%rD@j_!rheTQXc#bnXy$*4~C7a5F7Gce=SD7wbSW!tBI6WRPGW)txZP{(^+B^IRt3(BS2$ zT|ufY-ITa{cxhp%_x|9(M=xr8p=`5N);H$Iicm?!Lzrif9a{=T$BygJqb#BXOexhM zcd@r%LgH;?1j8}|X{>)k+^v=Y%2^iGz}h&(d+ z&^WvJao{DV4=-EoQ@*MJoQ3!@6wsA}a&5RHP3W_}H5siNmh}`yM$VA4=QV1_Y}Hua zo<8OoGc3FWYPG=_U`b>UP{IU3YZsYIhx8%2Q!G=j;k987FClz1R~%^o17G(NG&n<> z-kuUlI-;eYC2%>o`k|lf2;9e1RHRX&gWjN@6TG5s)Tqj4*cL=UYm65F?SCHz}@rucCGS6nZj3F!BKF%|Ky@B}z^G z8@%|M4^n62V@pd|caOiP@94!6F%eTVQ6o~>%fb}0_oV)n&Lx5EpZFh3T?om)YN2Hf z5tn+ftNa=ZPPexn^!DysD0E=%s~sl)Q!6njO<yffZQC;){%)AV5(>DP z^bhCuU__M)Sn8_;gyCK1=F+skuLRw^ToZzqL6X0afIm3^iJhob9FgAvV8wo}PMbZ! zUV6w3Vvi;rp)V`x4tar1T6TtkRiP`0bBN_QO*k&hDc`@fnWvJXBpEwOi^x3f!6qCHDPWan~%btBB=KXz1__6SQgUDm6 zH^3Y?9iYv?RNHgZF~0D5_-{Ezwx}ZS&opo6$;a%&bHK;(>gw>KNr1CUcY5}_ACE84 zySptt_w(-U*=q{_`%jsP;RH)Ai4Rj)SX!^8E?YWp138;j96mGWs+KR8m&J->Xs!7# zBI7|7HDWfq1S4`ZYP7C1UC~gV%2UR%1EpMcaU%M_Ral1*$Q7QpT48(YFZtpsXUnaS zlM>0GP~E`Ud7B-smiK!|)+hLhve@;13n45}|NEC8Wu6<^l>pSkjSOhjQAZ9m14(?X zkykwHkH)%LH1%n@YjAE5A&ujt}CGB)~u-2knhC@3COpi>kS?A90#lwd26I|mA& zl`Iz}QWb=hi-ObIca0({3#z#OisJC2lG%VD`B4F_a;2zfk|3^9RIFC#3)Dqvklw{t zREGj{#^!w8aQ=20hw*MGO97cn5%f{{4zF z>0(yOfpB#(v0E=oF}<`v>!p}j&3=F+=~PPqpp{$(&`AhFkpW=0-dX?(;6WP}0Ib$> zCx8STDB0;t{|ey^c!c;O6TjrIn61cufOBxrmDg8ClmI{)1n9*VfC(}T0o1oz1p)TJ zK`;JaUB23>5TN3~F9;hBP=^G`g?vHBD1aIy=q~K5@A6N83M5D`>MP2Z0N{lJ_5b|3 zsZ2Pi^7vVUj)-^L$QZqEO^WaVV%=16ufrUmkAyRJ(lUw&YD{jE-c zp5#|em8mw@Zn2|Hqs)`u4=OZ@%A-{wqaA$?cz^f~1_P!jyIQ^G&TWHoaCUs`D>M>8 zPS0A9J=HWWX6y&Uu?bTaV#%mR#pj{KnmlKum?|wPDpwLZ-i4acz#`EmhjWmqiCq$m z5|*5SG9&yvc?5(w;K;b9LR_=d5Qfzcog82wAN-D?(VX$S3$v{yQ z6QhDItft&%PU*w2>yvqhlYx;5jdIJ_J1(9! zszs5lV?K8lz%2>xKTiGK#ImAD){k%o>&99?WibMsjS8%5V&Sg>&uSeZg$eA&Bt9w+ z!kxm2j0x|yjk2|ZCs=Ajtv0em(HtBVk*52%LnD5UZLPb_ioXP_QOkF2Vr4AHs7Q!hj};3K%xI!lasd-Q?~cGgf^jp-6C$CJ3HdWKOBzuCCS_{PVq}&* z%wvZz?&c05RkS{BKQuI)NYB07;N>3beH=#b`;3>vJbk?F|W7WPs@>? z@dct#*mX`#U2^x@TYh`w%O3K``L%)AXT0vtG(=oC?vW!5c;HL$>zulx-Dt^4T~oDL zp9))_Unh=6FhRw&nV6b7!|SHxNa>%p=cTVd6nlkgd^>jI%gNb738zd4$9Lh;V)(rZ zWe3SG@Y>=P(1Xh$!-A)EO(U4CfW0~`XbF5SkT6*Kdx^$Q%HrV%_6ufYTuqTQo5uDH z>i3#WE>hi?qUHRKcl%gC#4l8o#y9(C`$X}tdpw-n0+C_+$eR8+B^Y0W49ikGmGahC z7sVfZV|@dZ0*H_&8V_HAUzSTOHEzCIy5wV;R)$X&`uJ0OGW zsXys7rezw8#X++W_hmU8qY(TIgn(AKDvOqf&Uq9Pfa~u2=BP#ncY?fe^YtC0cZPlHs(DF>l^Ju>GKh}Y}i{o_!G!5D{0EJc)Zq709oFb9wa z-z&h%V$V}jXRzeUu*qr48vH2HItn?E}{4y zV3uFhjL7IYT&$*;VyJbuikjoq&!4VsOoQ7_0O8WeO{mynjqveoTDNVfVjzTGD!;xz z*9;xgfLn?>v3EYKe^A?fK|-k2+Z9APCYcw?lOy45SHaoy3Ro2n#Zc2U<`hmDpp!o5&(8PuuxK1X_$j1?DpT6#X(;82UzatXL-n zkOh_U9dRxIS5%Yb2-3dCE`g)6)x9aBPOpWGxULRXOah#tFC@_l3Djn-Q=7s6BnpX| z8Tt0mWtB|MAZW-6r3sBPXwyV$A)rGG1`ZLw(rOGYjH*-?_>@L*1EJ`DRFvYi*?9w| z@iJF&eJk;9BB&>FR{YOD#^3& z!p#T=QYtxd=Y{+I!0&+HN$0!qN9)}Ge*9CbRDR|TLl1U8LLF39&L4%g4SESSNb_^S zwVaV%>JbV6p^b?2Jb8LJDpR504x@gZBbBxw+g z$Ht3L`LHW#Nh!ws$+-dCG)T$vS8KxgN?b)sffQi{#QaF~D|pvhsD3u2W5q1k2S2te z5+qMENu`X=fXIn78E;??h;XVwBC#Cce))6`&6x~AMz~&sR5f9~6s1yySEaA|5SR$~ z(!zEmRFXy2RbH_ z6RZAQP91`Yo*#07+Pb1N`Lcw3%;GKm7!!g1s{rLv3RA}tRQi)fd`lYLdZ{8DQ$La- zM9GGMBqL+T8A+($)+<^MW(8h?f#BRPk=@k)v{>QNPZLrc;r}8O7kgJzm=q<)1;^nP z2m$)6fTKwZ;H#@5J}G@h(Oeqz(T+4F+7)U4U@INN%M&(WOI&MMku*q~yWrufMJUDk z6_hevaB}tZ&B)bEc}~8mY9Sa35#ar;4QWH#09>e`eQM7M%*_T%;XBS+JB5+PEex$5 zu^VMv6tVw_Z)#RRvn^_nTSOY<+-FxDumrE!y< z_czLB3#!9l?L7{?>~@hWqkN(I6DvmYbJ#x$6m~lbr9`b9I9-rn$FF`KJ`M#DyUSXl z030vwR?+?u^>Nl7rrQx3>yW^&nqpCzsVC0v+r`M^a+;{jNC}oL$utl!E2!`gRemRg zpM0>xgHK?2_?Je~l@FNnnsR?rqGF5OpUGI7m47~KX3fLY5%%X;+5S|{oGn5Tv(w%2 zqG0S&X%BA{Qd;L5we$lwBQ38fckRvz8W0PUlQikKGCARSvc)C`h3wSQ-^dJ??^F4RkSwG6}|10dB9 z5}Hb~2nX}&0x$J_0{K$|RDFY_PHExNA1fEm1*wkBgsLqo2^VzsoW_Sp+RctzZaNg% zK+pEPU-ak;GIpWHC>X@5G^{Vh)H`qaxhYNn8cEA>6RLlyNY0A=QKEk|At+?BXTAxT z(;ypm)#YP#3mO94n#KOw&2Dr5a|DvOlN~Y33p)v03)LJ*V|ALbCa5Z!r|Ge#B0Nsq z{E`;Hoy%m0Z@s2aMgeWNo-oHL97N*A2x&UQ5z)^Bl9&#NST_on$Eq1tE37Ocv1{_J zh89h~$yw~W*mB}enEL^X1B|SmiKARm#0Ir4?BZ1HhTs;->eGI`GOCl%F9KUovQPqT z`SJkqRlaO$RkxHFA=LqP;{DaJ_~NU53;3#7b`0M3i+@OE*UGCl?sMzS7Do&FTk=g= z_^U}U=!abCc#?iS%sq|BeGWb()gP@-P!jX!ac4nKQ70k|GnmhA6I#L%CPaD}VxKc9 zb4?AK+n=nLT19nN9wJLqu>)fniY*P5MpQfv{jep}R@LU|s1K5D=2e%z+sopHTbRvf z6%^*s{>%NXnSZTzkcG&Exo6A5T3!*(l#VYGRw0Z3k6NRfo^

C!0Xq}n=u8DdzKGxr6*Vu3VxwqUkLKMMo1IZ^!rs+j8MJf z(S@b&R&quYR#&LoO5yl_M^bTbG@SILF-w49%QKv<#qxtxlwgh*kZih192isDE zy9k22jsZG{w6*_ewByJl`irYy0%@b4uD$lhI)xQEq>!Y?RqueANoWEv1OgSjm`B^= zr|y2zGL6BV5=_R?FzvAwWt*f0Dvr8-3KGdNqtu`jtbHeP=`w*GX!NlcIu~VHWGVi+ zO{Cdplsldba`~eQ4lUam3yi44(+Lt#`sW}hL$K^>22lN$avA7F9PAR`*(X0Oxcvz; z7WQR zNGzU_P7uN3*W?*Otj6TTIw}KQ4j|rV_Rf{NdUV0xRwS;LX|5epX&?ZZ_e041~@|NTqj4 z`^3k`o$kY{sd2+-Qjd1{1G+X3kd-7Y89KMG=L7cmz!ysSZJ7t$=51@Jd7?}HJshl zQ?~yTVP+{)%L@Jm3wo#>jZy;c68Bsu)? zOp$lc`pl4b81u&TnF*ZuyqJ-=6v_HgYuF70x+64k<1y6a`Rk@6KU?vvijkBj^1Ypl z_{B?8?a`{7P&9el#i;MqSB|qWNbaIPd~~(p>Z`}IokdT#HXiS9IMvhiGTy9iyRZ}f ztoI4DjPmS#Z zgl2FPk-H0DIbvj)8-2s9n=|tBI9aD)?}eKt*&BgpCL|w z-y70~mLIY4fhO7uO(p`C2d-9=c&Jtkc*gu(+%2wq)-b$mNg_x@)Y5Xa-Zx3uUj+YE|^l>n(X1rZ}g%c2}tVRT+vVes~5y0f2)xfgj97?SmN zdt{pd%-#HRLr+R<`#x@^a**7a72^Uk5Mja{7QNnIl|3`5_Rl+LB+@&8w+B+1u{RAf zVcAjWQd|2VrniJN@{`GO9_84Rm4I1L;A;;~DKVfMSAY|{s(hf|{ zx-d8VPdZi=3|>ZY05D_TVkK#3dAIKEtKMFOY@krcZF+)N_h#%U4p|; z*CMyAlCeSoc~w6_R{zay~=&@9~W0x5m~VpZKsU ze#jh`yz9y{VJ!RF2I$GuM3M~3(XG*#szB)}`mj}vRHDL5GY`f1xZG}^O{y0Jn{{%P z_0?D9&g+4cjp(KI72syee)o~~>ROk=Sl3cSL-q4t3Bx;k^HG?9+WlKz?ViW4-$s8P zn<=+$wAHoLh8=?!Ui3nZo{DNs{No+CD|f!pNB*dSdF#CK8^96<hAJ#kFJ-ajV@?xMjXW|#ZhvXKfd*5M9v86*PL4~8teQ)Eu6pBR>iu)cbbw~caAAQtBm6zX<3~RSc!2ml*M-xhg2c<& z+0*uY7U!tlWFhp2JWp2%CTbs(h5K0mFTqAi&igrb_yw?+hyP<`bE^c98ALS4yc=ZU zWFQbKR2BC-F@)Yi&MShuWDs8rS>T;hen8=2Z}B+-)$&y;`Pj^-OY4#n_s`la?aNMo z0*&NqNw{3{t4f>tY~UK1cQ>toqP^ViYKzG3P=i}!OS1g)-P?X=JPG+M=K&j1cwU*} z_Z(%o*LUDC5&?07-kzHHdj=|Y`XDY+Zymmfgx)_h=eaU0AO{X4qo~0a8lRR$@b15b z^TL1GfY(hECJ!0$zw%7rl{;=4HTQo89Kg3~VHFiO)$HnN=?j$8q29~z8pP@323kYm zNeGOST(CUTQ~!Q1Q@qXW+M3#s$MpZ}{w=O98JZjD_wsQ5pBfTfQ8w{2e)9ayw^ zRcx=?T~82F3<}Evj5TJ;)SkW)sNucK$+;8NuSFTs9Rh3a&!0!xTc{4#EgiS`eLv^N zpOb;fSeN8aXW!o$s>wHW%NBA#w8*imBA+$a<`K*LSF!@I9+{~*jOS)L4~B0K7gi)K zO}#d<@yJgU=@g(R3Dtz-Q&^4KF6tEQ8@OWm;|T*^|>Q|6X&VE7ZC+ z<{ETZj%d=wny04_RlZvd_6Oc=z+Ji03qm}mabaXU9!Z+@tG@sYi>RLLzZbEjiKvP>Cval4wlMcONXX~dt|U%vt*7Z!1!h)$(qi{#ds7W zd=H?H`_mLZRb$56tn-$TJrnYGX#`Ys?2pW>*KI zFK(YidTGD?#Hlz!FFEVnn9X>pAQ%C1X3TjFrqZfwCq6Vw?y_0@Ud%O429vY9VI_d9 z$at5uxUtyG>;M9ATQ+)$t_2) zL4VKse90=POB)~y^D%7Kt78tZ{)!gkPvi~;qy!K+JQe`NUh_rX2sQzpAwgsHU(8T! zAE2uhw*5c0hoK1o0LA^+rtJnOLxQ;40Mo6~{r_Fk?)qYX>V^O)P#~W^02b&AGPHh< z0scXPvWC9exU&ET&{vzWRq+p?2@=#Z_Lct?M1lfsPks?sJc|HSC=kT#SJYq?fB^-f zTm%?{NX7vuty>#_7D$lH>esZ&cL3;6Ag7HlIJFO$fc#?BzGn0V63s`Ad-tV!Qtu;0w04p1%Pc zAi&u{b?OKlz;2y&2g0wiE_t=vujFXs75|{&AdXCI&9!HTamESugzI7Bz^eCB_lzDd zTUX>cvk0Rz@gTjG!Z-d@@TixL4PLAyW2$hShq;gXWh^+*_FUDskw-MT^* z6swC^-|Yx0aG8gS5FK3gNp(8egLVT_4bYxEAK4OF4`b`*FkG)re`XCl+ zFfE%{fdRYMvWM`HdJfMmXIR|ArQYP> zRM7i4a0Rt(?unRgfGelq$t08^*HUK!vexRxoy56;dj3cF$K1p0gh8iAp(DZ_QEG_C zB;a90!yp30HgaNIuE)|VGTA!546lOFhZ~77tl?zjRw&$DJJGzG!mBu0 z*rDX^@Zo7eW{=I!%XO8ruAW|BowKgjkI{K2Jco+msm=RcRz7sz2u;U0LE?|y^YP*L z-rCED+FpLT=lS8A)5rDGh+!lDI={C!C*bY*@kfv*6?*L@Vt~`_)l<{w;XNc<_lmbK z5p#;gA?Sx;?uQ>C=$hquapUln`G=?BAS0n;ckic@=b$I3ic0@-q)(6?atX)%i(n#N8JY1Ai{9JL!zaik6cB23^aD_134;ey`3^b26*}}Uz$|f^vPiH2eAzme-+)$`nJjY zarbd9EmGwhSs;O=MY?oba&<~p@&`RH=Q4ngD<)DO_3C$p>dR^@gfV}gMNI6!v&F^J z4Y-v@uyqGa5SE4of1ihIUxa1pA+YpwQoqX+__}`=zn=B!XV{|jio?@>gxF4O(<*LA zNYu?Ez@YqNy90zxJc+ZJ>C~DKAD{QYEI?%5HjT5=j~E#vVBlB@*3SJe`L+_(lH^un zR#+~Jbm^3AQ{*acOW(lY?EAmu*Ur~g#pxek`xNU4VHyr7UhezD_61N~VZd#F9>3e2 z6IO_elZa9rkKOhF(&`8=#NqY#d!x@iKC+AB2*Zty$=laZUDRvr=trN=_t);C$hK0F z0CQ7FL-ye}K=HdzU@KZzrDta?s)CCuA;13Crk?>cp@E@I-__grN)7DFTX!ibjSsor zzUz90*eHhvc?v?Q;4XQ#z954)d)G25N}OX4 zU-Z_bS0IK*DAp#;ZY>@#l^8hc-Rp=o6q`9vn{n;Q2OoWP!S@!27`F9o|3SDbT44m? zI_oeUzSk?RmvfUOokN?6zw`TfNqGg&QJHM~i2ZvvKw&P$?yUS`e!Ywbq{`0M8%Ar512Q5^<}FKF(A2n1Jxz3dcIp+oYVnz z50dL1WaVgi8YWq)|S@dr}_5VqU>OB$5`kp<_A`HTSV75|UAu-C3sutQWYXXHGF+o#q)>g0h)$X?DN0XwI zgQ`1{6u&Iw`bGvsfxZ(a@~K*y!e+`m8*BLuZmN_U3rSMH{|heH$C#)eS3J*#(?wPJ z^4jvKXDU?B!;raCCX z$JI~7dc3FzU@xZ1o$^Ro)L`6=pW_x&W~W0F(F@mB9}-}-KoK?On^GP%*FMYG?fwpq zOU>8pLGT_;>oQIAtlA?&6jp4bJJs8gDW}H(76_>jqfn)P`?a`}f3eDNqy_&1Fhg2R z@|?VhOYK@-f<|5`B&+1opfmWjE|zqUTd@AAG^11v!=NGReiq1MW`WpY_v@Rs z?fVSdE4NpcsD_<)Hv&4}-gCD~1kjRQQFDqc_y=3$yt?jazx>ZYw(|th1WqH#Rh>r# z@D7Fw`Z!Tl9%o5LMdF^g4DTkac&ssIND4r8yT8<@0Cd4*k5j`7|hFesRQ{ z6?MeTAFFBwo1UuC#BF)mZ;>J;wN}smL?cUXr?NgE$mP6T*O$)5v1IL&#M$8|@V{jx z7C7725eU?%+-(0>1;on1^*_S(SZ!HHic#dRQ!ejjdA#(8>6X5+AmPFXL&5zd9cR2U z*5KVlVz9QeZn~OA9lyx@(l2U63_sL8KRqSt8%~drF<3YYFn*r_2GpB5Z88|W|07&w zcy~3MxI>-$mw2{~W5%0K$we=!$6-+){xbm*s6RuLZ?`1T zDI^mU1~?A3;mtb^&gS2S2pub|_e2}V`}Pdwf^u{eoc%4qmGsbT3~!v9Qby{@{$Wp) zKd2xs@KYP}D0p3_4(uK}@EC;<=;W5i1L=4y-~@&RbrP#rRwiB}+00-bk2J}mCz^+p zD&4Q#KiQ35#;}pao0WkLRMesgE2?nYIU;AflKY7P&q=PT&=&<4Av6_~otTkd%tTS# zGtT`Yg|nC4x1mjOCvD z_@S`0nSsr^WZ*c0be8(27(P0^Rly+Vl@?*}a#rviHU<9%OrH}YEylC@r7 z)Bp2*!}F6{pE#b~O)`F`_oC-Dk?D`m^Yq}v^)or@?#uK3lX$M$^WFS4YKJ7v^E|3x zQ+s4!(nN$c)7Cx&BhHdu{-I9M4?WSQZi&tX@mug2QfGoGU~jI00W;Q$Aj%u9eb|Rz zK+%|EHD1L`N{#wk6@uHl!&8KwJBmZPXw;^Q^}C2UaWHZBk_Y~>Qaeogy>Y?BqH8Po zdfPez)`by+HmunzxPFWsWwUr=s@LiL5f-_X+PX|LN3w@D`P5JG2 zV;a0Qk62AGU=|Mv%DjOXJerd!SQUMhzsn{yD**19g&w>;OLU{E>&y8$#h;1!S~! z8htnuD4c%DSzPcBv_4bOeuZk3MH+pRh_cc{yNEe2P;M2aX98NM=C^;k3klCf$cTU0 z-`y17vo=)xN3HfzqKj6m*mJrGma!Z6V@-5pZeBl32&CD_K!m z2z9}tTy)J?IZ$!Ny57+%J6tQQ#y+=gS{$vrpA`f_ugJVzwQP@)mjLRy6`*H~b=e*V zna-;?&@BpWUCTILov%FyHC(ZD?0QhfO88m2QKgo21`NMC{WO-0Z9zr$M&OOQT~8 zdOSvu+mu~qtZXHCw_fXE~^eYJT*Mk!bPKc8)rhkoE0YP z!u9s0v(U?E`p-n{Jk1#P^1YnU%RGazz}g%~>lT|X-n6^O?d`S*k0$x9~pGLMK2GE z+#WFoaT(19He1;>F=f5OYEi@ho#dX1{tzfr-|e&zJ7~;x%u+uZK~$9ET2nkVAa_$G zeo91#%uW7S0g|X(Lg8{qB#ZHwj)|(Mq)4yXL0(vITTpozzIKN{wGWN;X>< zWwb_E2g0DvF@;nP<(f=BDVOCun0&grt@T%qmU*@<1qfxsyF3)d(dGT#t+)NRtMgvw z2+#z-GhNTbkFS3gem#77%%iAjz^YTtmnDQp_E;{R4gMUlA3YzrBtryj(b_I=a#D(l zr4xZAt{>i^?~fDLQM3E*ptL_mV+|jK+6-rnxgNtJNBfT6vExzYwtqI6ul4uzr}GR=&OczzStO;NAxZdUqcHu|{6Uo6 zh_OZPOj?2+Wm?!mauGcqQ~qndAYF%t=&|QL!4q;?e>v{2$F_KsHMbhNPm6|NSdg%50kO z?IrM;e~qJ7oIMi--rEkYc9tVrUf(iw;S!fJ`Tcxhao>R)+Uj~ddu+)&@P2Y7M4Q9V8y&sq4JyKu33@F=7W)2e14fnmVuREG^Vn(c7@1Bl76eJ>6$lF^*G_;QI zB{zU{=t$z7p1w&k&pI>wXgd^y60+oBiJW6!7a$hE9NZ5yWUQ4`z$Pfm6AEh9b{2N3&1@ZbREdmwuKc${IS-C;Nm{_4uY+P&{pm9trlK(+xm{@IiU(QI0 zFL$&XDJSdycit8UC+GjJk5#QR;Xv7ryzxrkG>MF+TSyU&00Rk?A)i1^HBOfvR{A<( zU%c_KaxwhoFIAyd(;=>o7ZUV?HJ&C{wA-EDOzcp9Oo}OmF6_hvAbZWEoFL+qz5r3P zKpu8vBSA}nBND0dn+Z&F8v_#l1PfHml(&r1e1iDqAy4K9Zp{ii7+HOMocw-uhB;hB(%OOL~HBI(WVx>P`RzL*v8R8Shyt1 zG)nQ^#)I23N_n;(JE}i()^|s5oUF+wHF-cDT7obQP&^c+Vt>S~idLCYNH6UYDA2BA zlBjaP*8s&-@Ga7782IZSO}!9PVi9@OjHaY|is@C2NQxC%Tg65&xE|vGLOUc~vx{H5d3@A-c!+N(^>dt>DMq{oC8^xVpmaz?)mZ$Cmb_wC$&p z`z`1-;&oY;_;gKB&;Rv2`ey!oPj33KZX5lT0}v&XC6OX45ZS@q)-M2`ICtI()1VO9HNgd z!rW0P8*^M0QB~A5kVirEB4tx3%eqKoKpWGNL36COCy%*uWa%Y|3F~p-EjFF4P(%eU z5=tl0^rfVg)EGg&=Hhc z_*^u<_8|tz;6X4BA-@?8pC2xsACBkU_j;YGD}Suqos3sFqUmcU?r%xb6I!*g^tr7| zVPh|%_Kggo7RDZrnA))sjD#Ns&Cs~&0^>9-j8+T47#S+l+pZ^)^oMO4SmcRG9A{wM zHMx^2vXPgG%B!Otl#HChm$$f|_GP+%B zSlJaIuI5uk!{m09CMTAy_&%PqxPZ5uFJ2z!MC$f*2Ah)bW1VeRl%rTxQrQk60LuvK zNv!4=S5Zw)0@gJW6E~w;cYJ7CbDYOes!NFs8S7&2!TMqD`yh-$eB6SpLVO~Fd?-K) zX{SMdS31aic$+*#32EjWB1;N6eMP?}q&Fmw?QAgqWYNy7=}l0>>r#Jd?Y9(Se`H;a z>hk$R_`K-+%s&4C9U3tkpjp9q7SujjzjMc zsK>kGJ_hQYBE{xB*OMF-Wr;RfBDLC<(F=$&F zrR+F)e^f?CZsYeK`+E-+Tlc3%KRk=A=Pz(fr^2<*06go^PJr+1UK!sh_&t!@oT>XV zFAn!tn^;aHnn7tQ`>!IXu(~2eQ-H?eWBO)LV=4`RA0$?SkZ-lnE88$n1CandAI7f-`Fwr`62-Bkm0VPz?!@C7sh5L(ur&E&EfK z&5|1u#!JYJ3_{u{rA}igtX33Glu%msyj?YM(QUojLDSgd9t&f& zL!e^3BUz=o=yZ!{E6?>*)4Jwgbp67(8P&}w&oC1Xbg- zGps*~*qJ%;3;ToonWwF>%qq3C7_WXL`9W3t*O$bYSP~JW_Ma8K>hh0>e56ZxN41Zf z!$;2!l`5yL6F4A>qqRY!K1b~Q7Mu^Y0`cB2jl_KS#?aQq!PG2I$YH$KXr$L+=qo}D zg^8Olg!!lK-#9?+UOhr7X!lNJOH6J_%J*I&@gQaVDIbik*}u}l~s4N_v zx{FkHx4pOOz{?sRa)Wtb(78T5mNa%fK`2)w_G_b3o3Xh%n_;wf4N{@4jId=928Gf* zW46z~`AG2ttCZz~kQ>J9rTnj?2My!}X|L|Bj<>R)CQ_z7So&|$>1t~0U?4Vbw&sH-UM>bIqZj?p@&|LaHEUc}kAh{E>^hKk*V>?MRcd0PM}Ov@Uxc>32>TU?42Ecy zwd<_O7i7?JY0E;%*Q8g~>#tUgSMaMm)%*$3Am7&vwi3L#d@bwwR_n7Bh^Kh&b9yfD z!;Xj3HPaVI=UeN0$0yyJqx&D)>0a4_0_Y~i?Ty3(?l(3mKBnFoUvYd^_U)73`A3%; zq#y6c(Q9jSx2v4QD*e8EG?jt8{peEd$GLRW{*dR~W7g4l#W3rZ{}#biFN!O-!}O-q9hh_2ma&PLb8Mwh zvmw=L)Fi`N>dY_MxE52V%rLu=ZKpzQYL1;$G$VIRtX_Xm%`eVy@Na4g-C`` z1O{7&Rr=dg4=K>EG^4ZA@ro2}Ke0!Aes?eZRQ~%jpRHMQPa^@Rk#bjqapnNnOwS~K~DAGS+R<0N{av1uHxyg9s-sepI0=7YjbkWTBqM! zo=yy0P=2#0z9??k+7l;mD^B3^wE1 z_ti+1ze756JnWOoy613aQ6QfZWLEyJTEX3o!#c&>=emw~5vZ==ojD<|G{6mPFQHId zJe7tyY;fi*gqym-w^OX&V?2wkXJi#q>wg%R60F3BOOjPAWMHK?+M2R1#(_6YC!HG_ zVcFF&Gfny@&9!M%um~`^KHQqF1pf`2)mcWZj6^UX_R{LG%$p)aemDdHZ9xU_KI58< z4dC(QtYzKMnuca{&M;u`6}eem9@Nr^X~bw6^JJ=97!Q$sISe0T5f{KVN=1XGMi}j??q{@&`O^6VgrU#)aXhvB0Xia2MmE{ZE zasNC6u*5UxN}7Q?&2gd#8o7oJWt^l^)D*ZeE`YO~WAAQ^s(@fgfwWBK3do0-FJ3Eg z@6dr0$Y=0Pv~TgowYx2m7jMXkX2&2u|Xw0xYfoCEV}?`5saMHQm|n z6q{OJ^#gfn1TV}@ZjAL5PoOz*CG}V+QTcO7*u7@KN`@a;2g-TrwnSJ&yg6D_y5Z3` zu)yX|mvH%cJ`c`UKMyIRfl9e;`kbxWhXoU zyQ1umrPSz|fEInqCt=7g5blg=&wCyq1jEn+F? zMp?eCR?E9$u18ueF$JIZhb!|ub8UMFEJmOD;W6K~Rv(k{EA!2<`R^X%PaK`8tcChK3+yj+WiMg?6PNRq)As?H{yg+ z&6zqD{bQ{+>9$e6fY#{Bb#CwS!pYTtk>m=4k&!fDj%JxrLlp!1W`EFPnr%Cgg0bkS zwLY_jvOHI4!k`SmmpB^!{Y?#HPM#{jw@95T%5M?Q-hyS}=H9?Zl;m$l74>*0bt4EI(ON}S z5kcO~3^v?>b(Oc{JNlzd!eHd^5GWB_&e*8bt|_9$IH3j)X;7Fqx%}fy^Bb zpvsdn*e|6#MRC4>vC9nYA{K!<6%0j5Ghpb8r2s&QNCN|mp@{~_5g)=0J8IMgjKxjU z6#2{mq0WoJ;lX_ZAT#+bT5N!iE|BAG2nbf#xEM}C={PUTIM65Yl^(2r;UTe;2bEeC z#`^C-4z>gxXQz?a6tCO>pNx0P)zY5yu$IQ!xf`m^WmCbn&S}%e%*%S$)$HkDZyE>f zsbHw8IO!)^HcK+R?$rjejUA2{Q$~9UIu+ormo3!XDcXIh@kn+spvj^ErqP(uXR}Q> zRVqPz)+*(+V8616XEr=+>b;5y%^Ub1g8WzJ4sGwZ44;u3&w9E}btkPdAsX>Jir4Yt zSI9f}T)X>>$35|%xCngf%Ws1@Y5pYbXmtL%{D@3Sm9931ax9gUnaYO3&C#sx8V<|P zcQgr8%~-b#+C6i}%MR^Q?jm0;A?00-gI4GlT1J<=HL90OW8i0O@5Roms>yBjN2Pl( zl_$^ptRwEViGw66P*oA#VMLrjfAFPC@s4is~DIK%d zXc#ZZa-UjierI@nB?r4J3ve^NV6%tqSjL{6($DHfke&h-zWfBSr=Np!bcni*w@hYV zyNH;-Wu!`Q-uNV2+TU|(Oo#k*zkptcUub^qb+y=&n{*TUUT{;xv$`KNVZ9X+&P>8fDFnsB`HQEoGl~02hLWVey7HvZz-($V<|h6z6f|Pa?|Y@mNzMFWPh_@U`5nsK*kJ2Wq;BEIxwW}s5m_NRS~@RZV355Jeh4F|5M35@nwNjTE>E; z;1YZp1AXwC>U0ke3C0YbF8Fv=`W25x}Dx${o4Dc19deWIo8#=p8ccdo+3#zUepD06pa+7U5-jk|Z~S?>EeCL0dS8F&&Ty zFlbrdb-T7%=aiM`L6+;eEyBT^GJqI;qY8Xs>EKb`K8+784oGOMx7k%8b#KWj>oPy zTZ=1%J@7Wu7LgEp64}7^C}AJ-cR8au-9ulm2etoT$4>#Y6Bc>hLwf1=cT!%xDrW1;Ialt~xg^y1fh#_ju6Hp`gO^3ZgCtfeap7&z zP^Fm^|CG)+6LI|&?*38(U*p4yNu^_5&2nEud!`lRupmrdO#yx{!uj{GA4y7P&nhEG zE%CyuSSiI%uv7`1OUPHfx*h1HoWLzP}_ASDHgUWQ(hERJ0b$glssn6GWH~wSeW7J=Cd>m8I z3%%{=eXkpH`9(gbM?Bd<)+?KXtLBrDVzW?-(n5HO0$&wo^o zw-zIhO`B|7^f!qU1RJ?JBab5gal-lbQ#WZ$^C-Hg&WW_u*v1HPA!*nYj@J~oTsWo_ zhwOB+=Kxe#KG23GE+ig(_(Ld_)VP(rkg)yX&+it=_TNqHntxnlSnTw632!B{k9A{K zq)gR+W-LS{vwv!r?R|j$_-9s8((d?KjAbpk{#rNOJu!(<2{vgp*V`R#Fljv-WZ&LF z|1dS$LNFMHcoChZT}ThM#;m(UtUxzgMjf)4Us#04Y50xjb~6c}N$O@U(3|@s#zk>z zeigYC+0xiOm_Rtm`{gL(XN7}0)so41eAfUV4$05w1pFLeNH@pWElCyB(Nx^s6p!rI zitZkW>Q0F74vOlQEHb4~J@q3&A#+Pz^F>|rfZ_R`Z}YFe&Fg=21r1@TRPBZ4guCa( z2FQx}zy0%K-{$)XYk*95RdOBWEwSQFyW-tA?~R%FCXZ5#p5F%=%47n)*#qq_F-ADZ uf#QJQ9%U`gp^7W3zgM`QSCjiIQmMHLrZ&iO2r($Cs>soci|ZKOrT;(QUMmy; diff --git a/semester4/dmdb/data-modelling-databases-summary.tex b/semester4/dmdb/data-modelling-databases-summary.tex index 6f2d574..3577ff4 100644 --- a/semester4/dmdb/data-modelling-databases-summary.tex +++ b/semester4/dmdb/data-modelling-databases-summary.tex @@ -62,6 +62,9 @@ This summary assumes some basic knowledge about databases. All words written in \textbf{bold} should be clickable and should link you to the corresponding term in the glossary. If I did not forget a term that is, of course. +As always with my summaries, this one is provided ``as is'', with no guarantees for correctness. +If you find an error, don't hesitate to open an \hlhref{https://github.com/janishutz/eth-summaries/issues/new}{issue on the git repo} + \subsection{IMS} Early databases were not relational and they also required the user of the system to know \textit{how the data was stored}. This of course is not ideal, as any update to the data structure also required an update to the code interacting with it. diff --git a/semester4/dmdb/parts/00_relational-model_logic/main.tex b/semester4/dmdb/parts/00_relational-model_logic/main.tex index cd0bb0a..3505450 100644 --- a/semester4/dmdb/parts/00_relational-model_logic/main.tex +++ b/semester4/dmdb/parts/00_relational-model_logic/main.tex @@ -1,5 +1,6 @@ \newsection \section{Relational Model, Logic \& Algebra} +\label{sec:relational-model-logic-algebra} \subsection{Relational Model} \input{parts/00_relational-model_logic/00_model/00_intro.tex} \input{parts/00_relational-model_logic/00_model/01_keys.tex} diff --git a/semester4/dmdb/parts/08_quick-overview/04_checklist.tex b/semester4/dmdb/parts/08_quick-overview/04_checklist.tex index 75a2a1d..3576605 100644 --- a/semester4/dmdb/parts/08_quick-overview/04_checklist.tex +++ b/semester4/dmdb/parts/08_quick-overview/04_checklist.tex @@ -2,6 +2,7 @@ The following things are typically important to know very well (not exhaustive) \begin{todolist} \item SQL (syntax, some concepts, such as using \texttt{WITH} statements often to make the task more approachable), see Section~\ref{sec:sql-basic-ops} + \item Relational Algebra notation, see Section~\ref{sec:relational-model-logic-algebra} \item Functional Dependencies (including Candidate Keys, Super Keys, Closures and minimal covers), see Section~\ref{sec:functional-dependency} \item Normal Forms (and their Decomposition / Synthesis Algorithms), see Section~\ref{sec:normal-forms} \item Time complexities, I/Os and sorted runs for Query Processing, see summarized above, or Section~\ref{sec:query-processing}