From b5db9028e158f876e5685c94eb55ffb077c625ae Mon Sep 17 00:00:00 2001 From: Jidong Xiao Date: Thu, 26 Oct 2023 10:52:42 -0400 Subject: [PATCH] add ds set diagram --- lectures/17_trees_I/ds_set_diagram.png | Bin 0 -> 24301 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 lectures/17_trees_I/ds_set_diagram.png diff --git a/lectures/17_trees_I/ds_set_diagram.png b/lectures/17_trees_I/ds_set_diagram.png new file mode 100644 index 0000000000000000000000000000000000000000..cf15337eecae3933db0acd262267fdca6e2ac979 GIT binary patch literal 24301 zcma&OWmFtdxUPv?~Fu%_wJ5XQIbJHB1D3KfIyLxl~jX(fOG*Lq6l!{68XZ+ZfY{( z5Y>~!$KVqfD=|ee2#C5wz^e%?_#Dw$R>utj0=56&0XgJUW)1;i7$PSrrr~XP-ihd^ zzSwm6k;0@m%oFfcXM+yYiG@Q=Vj-MC|68+S&h$@3r|jUZBvE`6Idc3m8GAFpRovm%bY`9UTanX8d_l_9dgkTR9JGAx z7uow6(g3UTrbRO^Y0S! z|K}yn)76Wr&bwiSG11HVye0GlVA>?{!i8zck1yf}r>JgvM9)HR+m0uqi60DtEkG3? zJn&d<9H;3mYOX_o<5$LIV$>VFtN9;yq32f9{tRoSlqNjV$0gF4W206_DUf& zbz=mwi75;qC>h&i=YAYK+VNsv=A45SYSn#(77i!q2Ev!%|1D zJ3_>aE@DYj_|3ov$-N>azv~V5)E1cDRqgN?T*hYs{-7fVZ>|w7AIh27zLZPKrdcwg zd%@^)JF~5dRF?Qyq<8iaZ|_Si?MwAw&da=zNpb^Id`lQhE*!k#5koAkRM&BB`-tH+Kc5EaBbX?6eIh*&1|fEv)#19*F! zzkRk}QD%K9;iZnX64Q|M1ppHvL&4-67KEiK6w^?z5-S=e6HYPBh+DC{>hj(%@woSh zNB7CMZ(x;(<IN2#}?>Kal149JPJFV@9C z3B*Y)ltN9}9<02qlF}Y=6fNi)&0KfYu(WTN3hg+%*$?2O|l_N+i|Fq6loeG4> zBN7JK^~MfK_WZPu;Pd-psFRuYYVj9UM{OOfOri(MN2L?iWJiU>e5^p7WbIK^CkkD~ zNl4c%Bevbcw#&ZGbpz|hX8i7lPQ0&S0DdwOr@ZnT;u8kz*7p;MX{pYrJcZA6uX~A) zqxBfd7rLS7e|j9&24~~O0^jfr^tz&DfHKM?aZLog_cr{gdPcq9!!UX=-G-TTb}(J3 zH9{~`g0MKUt{P@hPQ*M&!^wMG`BELdU~-cf;bC)=#MplZVeKODiUsDt=9im>@y=}f@t}lE;K31YyECPmebqe0F-=4o zFJ&mdEdf1nt26v*T3c^M5dWBFuE%caYy~B{-DvQl#nGHpp*Na~%OcX?bnk@;#qPgR-i3Ous;27Vlfz--BY(NT>Zh@qZL5Z(XC9Ty;1YKNMCm zk?DNJQK?>we=);8s_u-LSDu}2H$@}W!-F+SgQPx8+|A}glC#q!f4)e@bnAWLh0$p$=CVbo>d3K7bhoyXoWmLlk8;WFYQ2BGsNdixW$kU@R1tP{mN8em=#Nws zuX1@uz3jWqJVgEKzE1#xM^s^pd<+aHTiZSvGXJoG0&-RS;^N|PdDpX;7LU{P$DZ=) z>Opm7A=oNSMgtRkOP?j+&bUThdsIpg8NWLMn$RtJI*S2A8b6wag$1w64$S?<`k446 zTU@`H7RKe-87T1mFp$402#teoZ%X7t5DE&aL@mOECbZYMr^#+nMO~fp-JW7I3|edh zGEJVkI+B{2x_4|$p>0Qh=?kd)^+sX3X7#s2j>b-heyc0&`T6-$omr$tA6p!A61&W9 zP>5-FxDg_iN_7XvmfE)WQWBI0qBbat-2MLq0s1S$c-xUL}&9!4yLR9Me4h2)=H#1`E$6-5*ziTR4oFicEL6lFFz<(gbf z76heur%0WCRyE{OKtMsk31v?p6=F#EYUNV1G_mI3;DEzul4PQ1;ZOfC5_Mkd;4n<4 zV~HSI(2TUPJ%e!V94szHA^lsbDd}|AtNVpy!}n51zsrxn!^5MfRvG?T*rCs#1KG{X zn#AVMuP@pSmhl=pev(pBCX3YukGFHmGn<>NY5d%tST6N_Hp#~5;VUGzO?a;ojoQRZ z2{CY5-sP}jnl>0DOEEE{45^7s6$IJrpTnm?X;D|TiXeY~|LeRezNxza;;%0A#)%MIV8L0j-a7X^Ha#$xd= zHbD3QkITL(B;j4!@Ccn)DKyHbY{h9WS2#=SyXlyXbhyUT)ftsd*ajf+gX6t~$MYBL z4D5mpE1`>ceZe*+eMBcGJdHz(!je{4KKe__Dw7jt1!3kBZDrvns`qQM4~*4jCp4N7(wlI8ymgGupn9^jrqlSDW3&iv2>L?T=>i>$M=OK!nVJU9#vE!Y``V^*>~h+bY^?8>7T>+RQQA6IBQAN0gA zJ9>dHtD7fh9V11PY}}@{RY4bn9{N=`J=uQ> zRpjAY%uhyD7OQ1^C4|~w;u}5p$oJp4KKHxvn=Or~vKKEgE9F*d);r=c>r$ohvfjen zKRk4I_Q!cTeDj{Oy~8u|qi8dh-8%LsB_-WuJ>uYu{1bGLbNt9qj8reReWgBXeD2T} zAIGI{r`enTTC*^c` zyL+@#c+Oc;4bjhNTSRzHz}YL^gxB>W4COmdai^v)K$z7)zEyjv%^`gfnS^9 zb>aWW62fS1q9vxdj$iTm-P&-egP_r9x!QkqS z!WOkY`9G!Ky#(O)j(U3Eg1l43J6}Uy`_^OnN1o{D4D#(@jre#Jv;lUnoUAB~up(cy zLYvR6vm2W6c__Uz<@Y6g7zs3y9n0)xESLWwV0@K??s%UsoeIrX)xB*$EViG!H{7d8_Ceu1KW-0XFgpP4~Tgsh`5c*NBK$ zHGHAFtqw=?VAWV?uVYFKr4Nt2IGfA)nzZ>V0AEi&IqMlwO${*JU`-j3k8 zC#%0j+77FHX&8y_FRVl+95O$y*2upi*VYivrf`FbBrPk;_BzCW@V$DUnM>8Nwd}+*=KttzQ>#j@XvFH~Xj77i117I=&9e5L+=@J@OqN&vL2y z?O|{xq7xP%%&N(hF99EK53xk?!)l3%iFj46@-qtQ{LunW^LZwJR&|oTvJBkkMIW^} z6CW#T)X>bQ^7Q;sU`D7xS~(JJ)Law)s>;bFMp!tGW6N_wr+KUSrC?x%RnR>6$RQCp za?Y>Rl^-MjfwJ^>&$BZAdcc4)sO%LZ<(2JTxQ1MC};h$L%#h_3|XD6{aDEs+Dti2Vvg0qB724a4`QE8)-7{#I{y zAhuiXt1~`!JugRGGHxJ!T(TO}^s!7R{WR${()NZs9-*WMpSb;B?%Yfvz3ssoP6 z#X;lMXY@>IU5Ty`*9!6E77i$^QYH4?L8A|dHxYxu<8HfwkN1^8^8N&jAZ$Y}!?RO! z0>-%HH8%IC+wJ~HzBre9?RaZ?Rw)}BM8~E%$Tio;>ZRZz%_o3qmFQz<&bC%wLd5_z zUD-qLvu|;o`Ts*8a#qe%U~C4El94{c40Y3mFVB%6O|eyW1oC|U>IaUGNJ&0>Q1az+ z&+V#4s);NToD3B!qEZpx{_=j)MF_n@|N5G>-Vzv&+mEVkl}Rw@D8S8X*g=Q%=U^gd zU~%C>v$3_zxFrC$RKD-}c1}U{{u<-femzlf;}h@4Hf)RFE%60_qo`?%DM5p^|F6Jq z;jxp1Ljz_Z1@|7s@A)krfo_yL-~1h%e7KIM$JitPT`ogCd$R3`(NWCijakpPtO!u< z8dGCzs*-qNYG$Z_EWMmiB>PI#0F&Sf4t|toL&4M%tM;k{5LiOe*O>qLf@e=rfw)ye?@Z;N4uhIJrp3529#N2J6p0}AD7?>F zrCM$WRrR}^p?)ZQA22iVe336InABW*nP!t79UL}^Q-2CU}XQ0D9Ft8kes z)YjIfqN79qU8@DX$Z@zy>IK$1Ir}6xz;L)WYKqwt$3-`(IK{)d;#YC>rup#jFuMAD z*Hs??HBh>Mc^Tgd3G*U1m)OMLtT#_YL?q<}h~|GQ z*66+8S!;DO?IOO}RVTHv;#Z#eo|H5PEg~X9mMHv8m(HXEG|=Jwj~m5v2?=`zYXs9* z&hQzqn23%pBF1Sm!gM5zqgvZTb>)U617s5sy_62WwJH>_#Btl(*sx*)_ zRaFBGQ^EoVm)cR&{VC#7WC4%cu(W$jJ8olfQIF*A7o>{K^uI#h<0y6QxR`(X>b1F- zdsATzxK3%&#kr_V4*|?7tE+JhOjD)FSy+^w_eiXNir1YnZ52~cl%nV>i@e=-3?JAq z{zr!~k1Eg4&yIkf#iB)0$+Q5~IO{D{eh5r=Owa82BoCzpfmXTU45hq>x*<}mzy0W` zuld~6LJw2P?NY+);!YRFhYCQh2Ivq7pe_n zPZw)qyNobhEbWgdWYPHf%T|*OqVB__{2aF-%%sCA9d7o&1y(dSd+$r|G2Yy_B z;8cC)zm6gx%l?yWm!Kbo%t-`B!_5@2F}Me$K1UQYP=#3Wp64snZE#0c^$Xx-{|~QK zfY5Bf6Z6?-vvM55%EN5;w)J{gIU@nBwM_Hp|j;N)6FrAvJyeYW-fXqxGfvA8%? zI

47Y!ZmTD7}H@%W3>>uF+ONd9ZS7P`fWL_xQkmqPs@Uo-)y9(Z_ePQRxTG-fIA zQmg^rfrin?4v?fikCdYLbt`hK6_(ZiZvaz#f_T^+!wJyKv??VsH-#w1#1eq(Vi`lX zjaMXTW!7HW-~9N@c|6Ah;mtIgr)7LSyn5-i=8I${-xsDKox z4gLhiC$O=+oXpsTjOdqzV#c7JU~}&MU^3WNHCOanv*Igl<6M*#1<_OLzYb%F;fs?V zgtmId7*;VjCikCnwzC-axk>ieG1HpS)>?V^nNtIFOXuWja>?XRKiibSt1Izx2-@RE zWO1hoCe#N_;$yZ?A{Q%nm2>l-$lp|F!j`U}Hl!dRbWnh1r0^ZgYbPKeRhOl8~R8 zni?n)^7by)>JQA@1*=>MM4;FS7o&Dt4)Rq8suw+4UB7N`F2 z0b*!9TCdNnPQx~U!NT|%xM&I4qN2FAa&_2T4ZgmpnFF4H+RdxFq`ZMJTqm5a>nkiC zfUq#X|D}))Sq4yQcEGweho4i}K#2kudTUD;lF6u{!brQA7ZV$M4VK``)VH7i7xw9v zGy8^KUS4i(Z=Y(Y_>cLN4hIa4qiKT(au5LktZ*+TjlyVc0u#L>6Fog5R5D>EM}*~$ zuMO7Q%6Q=`2IxwxkCE1Oyz^L&DJ}Vh)6!^d&G+}7<>oi3si~qBf8=ZMEiFwjtn4G| z+h!(zo3NzGiLTamKc6smyj-*wX{(Jt?F_{Js7UCY{h?6jvMWu@?`|#sR7XTe2vTHe zR7f_lgvNClw6wO$si|Q_0sz9bEZrBl3mckA6dmB)_e!?j8Y6;v62w$hG2S1CL}D~~ zqaWHlPR~q((Tt^>6rfk`&aKNz!!=J0F0Fvp52OxwA4kQBpuC6_3LznbSHTxh)^doK zJx5ANeTV8d^3fYy5)$S#B<*oF9UT0xq%hIGtIbp2_k||kK1VcIO%;`w z%Y8mEA7eMzBV}M@?C+LxY7E*J z64D>eL?w2?(|RZvv|%X=vR8X3E{-U=pDr*9f+thcdfJFAW^f<$V&VZO^YqtNH)$!E zXfb%LO2QwnZr24t4y(U==jPOzyrk(|BS^JxNj%S%DAG{Pdnh-(3=K(d{{F4Ao&mae z_CZaKb2IIXHx_VxUtV4|?JMo-5@zQl_MorVJ&ZNV>_Us?^Kb55hUui~Rg#rOCo^r- z>|t|*1kV-@5p7Dt4&p@z_SGrvVs)F?b>e{UwF(b4+>(O-cuWoEK4~SH%V`-aJ$^- z++op-$Wr+Cmg&g;8wJpc9q@S8FvWjfXE^=}p8Z-G0e?JP!6c@ILUEU}CQD9VeoW2b^7OS2_cEf7Qgdq%pxT>H#-@S9#Aw6M0n;yfr;t zsQTA2G1CqJ-8Jv^+$j)?l5xqyG>~oz$zjT<)s_09^TF`nUBTgA!@}hy%T;5^=Z#jU zWQG2%WNUzpeS``&plv`q)cN-oUw=hyS31C*Z0H;3V%qtO@0rI77y4E6=!l!&KHKCB zG4@d~%z!oleqZNlCzcgtke6!}UPlYAi2$z24L-?2)CL_Qp7Fb&@=hU{IcbCPh{0FL z{;Qf2QoB+v9--^MQ#_^}B?Ry(8F;WIaMYm)%uQ+_O=hwnqgwX}1N6>sd&#)S&qt_=Ey*dN z{LNvAFY!&yq+e|ajtqWd5%t--Ou2Mt*|kKF5M&WL)NUQzG17Gz#t5iI7QP`Uwv2Iu2Ei{pQjJmm02 zO09`eEFwBAb~)EUjHTBM{0uVmOP)gtb)Fdbf|ADAIff)*Mqj--y=|L-iV_hVY-P_7 zuB3%vpqN3mg?n_WP%t(o>SGf6C;(S?bXuSw5S&^Za);B6#BO^W5(eZ&L>vZ{($l)g zX(f`zx(C-085$ZECFP3*l7iQSYRB%${cca1m31Y%kKua#FY(6ZJn4o*DC=MLj>6u_ zJuxY>Qd*n+TGt44(G!|%b$h%cCnJSj6ykw+-4Ta`!jUJm+K`#uq{Y8%*ZVV z#QF@HqC^BC8{=lO6(^B(Kd`gP^U0~3AcSJMcdkn>BpTZR=Fr_f2rSNt>mj9HH4;(6 zWTj|iVz!p_x-TVTaRyfp4?|!&AFf`iRM^(0%Rr(Hk;lN%`hov87?beYFgzbgDNF(R z{>jQ&uo)$c{^Y?s5VLf9oysPe$^>f z^O2|P8in0`dcdL}+Wfmhoxc^ZjfGgoXRe3pkA`{zoEB?YI7Z2=G-YiQRP$);bR}Yl zG@aX*b}O}Y%^c!bQ+J$lA<{%lzmW}Y z&@S|s?jUan{2;QN;hc*siub(ShzAo?7!(u~Ue`T@`uh5k3UxF0ZuY{T9gx+Awqo92 zrlsMFns#tUW3vkpXAvx_RodxcsxGCzNC7I}NRC9gehX#87)ek(5W$0&xe4SSRyH=} zkAEE&N5TQ7Ez7%!BEnSm(@3%AK8#H{wRR0e)fTCU5~|jM@o)H+G5)KYoF9l8Q)cOPMrg!H1R~G29dsS0+X^x#C6#% z@E6kZDl7V&l|?-|HgoAjbq*V)U zmo4mC2oS^CUR2qc2`CP=ZJ2>(PztD2M5zT;4#rp;;oqW+65uqv7%-anQR_S0 zTAVwPn(p2Z;tY_D(41go1}WLO(GO1a^}EziEIw1cny;6&Cr5VFE0y7eQ-T&z4#1Sa z=Lh6>m(yAcH%!xz&Vrqxk2qsCd`X4eHCt?6X`*0j-!9FHv<(wztos~lZQMdJgD%uO z7EP{C+UN~FutokT!|j>z&!o`&guiCW5bDnD;6f+Uu}lCB^LF6_rtR6saVbu)Yvtp8vDU76?wP_a3T zBlL>C$@T0wV;ZHBV;R3oar>JTTQdwh!6~7c(UBxM=JmnB!76TxZq;CO_uKig(+t^y zQ;BeqYv&vplRw)%BPf6>W6fK`l8v!IGhx}TWs?_Tw-K2WD`_vkvY zH6aMgbzcRNc28w?tAlwfOojV9IE#ubDLx48vQQwK_8+v<({I#WHoaxWS~4J@>o&oL zt#VV=U($yfs3lJAUa|_MgkZ6Y#M}F3Ihj@9f$uxJz8)V6j}`;{jfsIU*Il$H0)+@< z!`Y8aO+y0*k4lV=*IXW`GFy2p`HSr@o@eP2f})$#dK>jK6Rkkz(OY9ysOO<73{==egDIC_ra2Ia!@f@7+^i{3N}Ye|`_s0GzpuTGh2diDJ&qY~Q~g5ajZ?!GRNGYV>BT+8`OxSY@!1@jj~? z((V}w3iI0?jNb|F9w(vund7(BXc7zS$3?XV7S;KlgpiitMFnNc*S|mUg)q_4$< z3kMi(p1w_`5Nti)ogyG2Zo_sU7UUkM+KSgKDp1D>8Do(3g7coWwtpCoaX4|!ZN4dY z)Yhsnn6zxJkz_9q4h^|=*KvY-JvuqbCSY8f4dE2|O7QY<-ruDa7->(dJR;{I=`nyT z+JKqeyG&#@GxWIlmbkr5+Z`%m?iFQ`KFHPab}B-#U*ojXdFxp>uCoGD+u*#B8iU z?O`|d&Fe+y#$mcAeD3FC@gIKQQtWsy*1CSQuOI^P{==q)6HmWM?1>j7W4ECY{FN& z!fK>`9z8e{mS20hJf`b@g}cB1Kx7R#Wi6|Fg6!cX^E}~k6@ht1L7u5@6tuqY4)a~9 zP=RNCjLH$&zq(E@{QXPH53PaC1fv`9-*x|7fm%4w#R5iG@Y>zYw;#vPH* z@AIFI!S8Q_vz`QGxDLI6e!lejogLdI?DD0%+9qtb{ffJfde>Q5p;E8aW$4t%9Y4ow zrnfN=r;ZO6Qp>mMs8DABZnXDMeM)cAMnO{v9^1WIWT6YXiK7=D-sHataG3ivCTC-A z_?Z`K9+Ef4nIyGA4x$)sP}ih{Fw)4xOcv+EVxuoM*0q1AXT1nM>U`1Ok0-E+`BG!| z0|OzV6Y_eJ>Y(Q?cn)&BUw#~3hi<+S-8<+cdJuI*svrD#Wc~OSX9q9R`=q=fIVmIp z+GO6HY)sl-qo?%Vjpw-nFM?x6o+3@_v_YT4W*IXTHR<#n$OI4W2{j(PDVXN5<^=Nx zCLE&0z zM@la^AVvPIsK%o;2A?uaZe8B-ea>}K1vJKqIaoF!|Nk`|g2nm&i&gP4EOXk>2bNZ8 zzaUzDh=aTTEh0-u8$=7j5!Us(<#z97N@E*e-wyZ>#X?!2kC)nb#LbbVAqUQ09FP~A zUnqI=cxV>0RiF>>)NGlGQQq!uD8nNKHsg(veI(O?@uIao{H`m(e(NnGgaXPI_ zW(-7)7H{?k=l>9U7|WAg`#_b4N29o$-Odoes{6=Oi}PZ6x&kR7|B(s|?7o%np?{ee zm+%0+4R$#@B#2gN_8a5Nwu%s&s4)D41zHxC4Fp4pWHQQAw~5o=Mg&y8WhGiF!T?{_ zXj;geKvm1(rA3oF0wRK;7fI&!OKrH(7^+coaH2$Hh{~-&Oe{tp7NP0?8&4_;eFYn~2c|4=nDCxU}Saz+M^pRJ%&wSH^J@87>$NAm2O`WOHM8%A%$V`!Zbp;BDv z7Sk<^#@|qhnvo)kV|_}JPG{!1`l5@R`lgEp2c_NJ-Hk`SQL7;~SWXb?clvm=Fgkvl zroYM$crIW1peua?^Nt^kZv914vFO;?R0j~v@ZfoWCytAoTa&@$3^Mi+0qjo!1%j1K zA0sEfUC#9KYQj%$Xnt3QeRn=tPvWJUxJ3Kr2+p6DO1qPc55k9(X4NA@; z26XM&5ej@b)4r8MA3mpKwVwr_C8A4c$s}JQYj*q1^0z`8TtQVA66MvzY2k;?d&Lh| z2OsZFkN&!R?)zzUf?hCWoewnc4}mX2t`XM$;JEeA#BlF`8Vs6TT_xhrQ}X`w6d-Yt z;$eop;i#(uK{kZ?huikl0S~9}I$<|L5)j zAJ{G~E^6gL1IQ^~g4_4+$Zo9y&h3mOWM!i?_@S4)MI^gh$ykt%;}2N4xO28ib^w1w zqbH_svz2bYzCRrR?^gyifYvi8a5~vLtD(vbajYK0G1k;Kri?Q@&dm(o(uibU8&4J$z ztLS88VE2iLd9?rCAFY4(BVP3NwY3t)aTQxTyX$}G@#X&93&-3we>xknb?v+N4x)hW z=6yJ+Qoi2};`_zryW?zwe9B1J-@~ccyBjdtxCsq}Gseh=z;q=vpT`(MqF^sQzVHrF z5`XB0CyUYqC`#m!=;D!Y@;pf%lQGLCr;R`fvr}o8D(Bsel-HDf;_3Isn}oiY-H1dJRS zF5Zz3xxz4}t#NH+$BlpK82sR!O3tR<7MB|j&IIV#N3QA9yB+KlxP!O|Ob#W)s(fN0 zpWFKbk{b*Gfl!y-`z7R|C3xIxdhujBsx9!cD)(=mN8GL$C)Y}cM6%%hdIx87?WYUx z+9+iVB%zWo4^Qaw!%G=YJHiBLzXwSG;Fh9%s=9i5hcvWEyS3vo4;RFEJe3k0Fm&@)z!#3r?kSdp*Kc4bS{--A{e zu*^He(e-TLn;Hj?bw<&EBrC#7M~4}X%lUA*DPoSUXJXwIeOAdq?g-!>^hUs$kNru+ zH(c%}(YKO@@IdI)qc@|MAK4gZ$h6uDX~Lp*4Wr#2o1CtRm{lV%?%;6ra2wfP4lVRv zakUjAdTbEaN&bLX<==?t(P=eBI`jOSFx!Pw0ALZ-pB~SCm4tY{L{Hfr{k{d4KKpNyd9QN$ghq4{4f0!QB#MsaNK7A(TZ%D}DlVNfg!M4`< zqw6Z6>vO;OVX09v7l! z*f>hC>V^uVL;*>220BLzthKSNW8}=wp&|l*gLUWF^{|N%7Zq;J-b#Z|l$?~U)kWBp z5vI<>I{4jIW%CmV5Q|y?_bHds0as!E3OgIphAp-De?qhWBwVY6#Fm8y?dzs>Hf|g{ zsqtkTc6FBhmQ+uKGbXu#=MGwS`ah-rCnJN4up}?)_@feGJ%r~hj^7VSh?Tt>A0oIK zf@qLu`@eCwzRXX3GZ60)%wF5$ZS42BJagsMJoaPC@e z1$J!6?nq`>@*e!yC$`hncbKtVq||MK<|TOI-m4@`KJ&-3&cOXLV*-%bmpI)v@YD>t5!h_)=D|BJ&24DfTb+`PEN7X=? zMTmaU(Bg6pc!NUJPhNz?chvlQ7A3{b-k}mkr4lRA*u*%NHrExVY#jqQ2uku09EV1} ztD8J5k%u=`+GcV?*MMd=Hm*PT_}P6-ZFSg-PDjq4WN71BgFV@~)5J>|!>WHOU^*8H zo%|>DE1dprngu$qdm@PO$7J`hrrG|U#IOIv1xw3%tg^X_&)h^V+0ovv_u4&?Ovl0Z zx_ANlU4WU(ZxDrQliRlv{MwK;9XUiv(M$HpDuJ@O3agE^A*|j)HVzQP*i`X@fG;Bk zoKyjp@L&zi{tDZe51Ad;@cZ^HCgi)+(&M9g3+oCAOMS4B5H{X_ccdql02>-{{AWD| zx$P5$lf^E&aRr)T3-{)2us3X+|4%j{I6~qHz6_PhX&^@lUe?g8${#051sfVQ5jini zF*IBUKVs!|Jd_7^qBWAbzm1*nRoCh1xHI0_)eoBg&5q=#x3G}lmpd^}DJTqy`2LC4 zO%Tr^kKZrrANG^f52|={Zsa=LQmcbn8AiXgB$d!jGoDRk=WYhI06I;nSj5$(%*N*0 z>sTZcU*{rSs6Ju+sB&9X`)df2YuWVPMZw0#{>*|YbrAhy)eBg63YAdGBbF8&z)r=W@q-IiY=-2CWOIL#`C^T>)x(sWps*3c*kzhZE;Uj(Lut?hle5FHnl zci!gZADxy$X`5@L;!se8$yRetHcjiclmnkrtdr+_K<>%^i{l9zg&KLnm8-?a#Mt_O zft!6j)9zRYg8$`qN(?T1qWk8DqK==#@Hj-ZyWOd5+^GyZ+2MucwyXhuUf@h7MaG!R z&7Ry0$7+j9vAcy|CGPQ4^}Oj^^@MYKdN4=Im2P$L;7W{Tr@O(=;EYm$`Lkyu%2)g` z{Vys<|7`X$l9F_SpDn2_0tni7+h7@)VQFXG%jObuW8xcCtO*UHVu#e7ncDFb9y;O- z5GfD5#vSMk`t+PS!*6bGMr87}nbpo23)dR~IqTIFW(B>4GuksNl^NAz1=ly&mdZYj zXim;$*go#rZy2N)!76B2>*csuS^M;=XWkvHu11VohYeNBL;9Bzyl-PfA>0MY zWtMDu*rPhp6_($YF?K}l(hnuAw`2PnZiKhmGh~n<%8E=0SfAX3DQBN~ktLjuukXzK zJeBSa$MVq#W>b3I59HP?SnCJm$OSEwa6NP&biDNuqO`pv0@V6xQq5^tY!f0%I)0@g z28xjcDU0P|@z8W|#EBAJv8Gux6WSq*zRVW~p=W3_jFVHynk`un?I3VkKYndYOQkAK ztRx?K-Gc{)@dt9=i4+3bHBRMMX!%L9fiyT}P}OS4gd97luAyTSAec#@g_u#IV;&{6`H}D& zR9f5Cl3U&(Ndgx1HU{kHAMmGVRN|E^ur-H9lDsaUsqCd>dWB5 zV#q&v@{&~vp-h*=Ec!L#4*nugW_bO2RfN9wK13>BlxSZq@>E!nWTI+}Cy2mXDUNWs zya!Fz(RMxfQ0*_qhkL^&9^r37GtjUc=<# zEB7E009xWx)6-G0oVB#HTnLSfj99zAGu(jj?rkm(f0GXcXU>CYh^yHO`-$7X7%Pmk!pV_!A5~#O8kDL7?g~9sZ z-4eQ+{{+=>W>n#?8F63^r z9Sg_T^dYGd*y4GfO}BS_eGN`Ed1ZT&hB3M6p8dVP7Sqs3U3#Ak>NQ5U5^Xe=E3!Xb zDtTCMae)SZ?S_U}P9?5fWlqV7`L9n2o|mY!JM-*x*wLOEY8Eq=keI(m#Jh*q*A0C3 ziB;5-g1%^IL~UmMEHF2iJS2dL4pJ(`qLe=}>GZxfy>3su^uZ6pttju3g~=nZbwY|P z=|l#n?a{t{`$qhGQ%yzG)AKhS2m=FSr)b~&g{Fx>2u2n?4>9{(wZ&COC+l&YJ`LjT zi%d_UWJhZ&K_n_kTb@%e(`-1xCq$3*%1S1eB=wR34N~(2RR89GNoe=4)U>p*3rFi9 z-!5@+B`7&gS=-B?Ac*4_GtpC2JQjU)6o3yn|4n#2+82Tx-`6MZQpe50f(qWIl2ScR zf=am)3iaLtjYdvEA;w@anI{mrva<4(b}tl)6c;xFyo*7F!9tdNGGF9U1>F00a9*gI zS#=MMb4#u0T|x6nAJ8hnyM1qnx7-d>Z0uPSkU@i!Wr5|g}*uMa|tTyVC=NE(EW zk8M3zsM0g_CI>t^!$H%4sr~@LU;Q0)ppxE>jc7wqA_^kO{`brcN1mZzefY+=6^x%n z2?&UM%=Rf?gcp-mjmOfNnYPSC#oxi^3?L`x-)g`$XS75V?-LaKu58wf$~+XakE+lF z{E=^^Zquku5&Hp@E>_XNMr#;pBes)r?CJQD3Q%Y?LY@e47{f;(atMl7F*>E^1 zN?oI8>nE;Nc#$gDs88?MWjYuMBpYsPcsae32BBhm9mq+$;GcmP^nUhy=(@X5%-bp6tF>_I~?|kt4^X z$a~%Wjv{kO#pjM>t?%yXDPLomPe7D22=sfcdAVNdSKbi_93JeMZY!K(>|U>gELFi{=z?iZubBw@uE^2zt!;q_gXn-K1%fDc7O*=>1)b58TEE#M7} z_jR??`e~r~`V`8<{2p(6sR^C71cr|Zik)`#-$x1y?p7(Tq~WQ+uVW+~YZ z2CM-G8f{-Y)g<*W%?6y#G`?ZFx^;$RSm78aK|Fxh1m@X#XUu2O;~2MHQIj`y)A_fD zrUJS*MswWeUh{J)2QkzbUBwhfCvhyyXtv93lgziYQfKjQNWG@X<3O*Hdr~+1Y#-IE zl;CeldU*Hd2!6Lj-Yg3w+0?%5yj(B!B0V`Z9|$!8A1M0P4?!7j+>5ze&R>4q0)p%7 z(9_ma!=%xQV@3S1Ifik5A*KN0B`@$0M6S;bWXI-=KNKo@zYD=j9!H{EP$Dt54>VzP z&cMD4SEo2$vLCbdTUjxATWjrQ($cY~n2pyRGen9@MQ_+w8S}kDy}^Z*GNOFVe)G0z zf*SSxAUWR8xE|aHcs(9)+GhRahIhVg&zl=1aS$F>Lau?ATHIL=pM4Yzrxi|PY5`iZ zGEGQ?b;uBroJs%aY0lu+GK>!oMK(l~L-@ra`qh`(hihi1-^=z~C^aDUO{(?;dHr#9 zh}OBP4wY}HTU0gCJu6GlEI|=R97_w>XZB55PJxIeP&5vbQP^(nW3Yx&-4P1^mN?4c4}$9c&owe$mi;d;LoO_u6j7H zh@Z#|iPTZCq`aBAtpcd@J1SwOQXTMI!5Fh6Ti^``{~TCw*J;d|PF?XC-#;J&{yM$X zTD@a{!| zzfkB_`kM-*^J^(_4VmpNHF}cM?)#T~T6*^8+C5lh-F_l_h5PvJ1X!q94Z6%b5g!aZ z8~h&VgGDccO5ydixho2s%5|`qbSqUE6pz6P1ZT}kFcD*6aryF6C{5V=&A;?`KsKNM z+gCTQt{iQnm4`E$ETMN{^mQMn+#J2IlUdvsjhnZbM=6(=;vzq@BGbo~c123DJRp+Y z)L!>Lw=-#~XRWHLuS3_=s(ABf)k)o*14pCU|h@o`=L{h~mGRIUmBVD$gt zk_#^ePgBOuXtesU&5ni?07_jzz9zS)JeNjEX@Bc#$^A3263D>6(fQIrG^2s6zkeyB z0=4hlPcOGT|jdjN4ml0i!g+9ec;iH)A(>@vlh`#wQu0enyeb zsG{cYgQHd(eG@EzxHOsTPG}K{m3<>)tDS%j^bF$Ud-BbXs_R(f(q!vUK+aFoRb@rS3(ELhS!Nqv7T);>BxwoEva|J!(L#xyN0yL;-`(bIZ;1;NgyuZ0)zoYtQh=eS{JHp8r`NE2H zW(GHZH;lI0Xp3fv#YmIsj)WFz=YMwcI+kAFlr2j*X#BrwIm@u9+I9`A^w82V42{wy z9ReZAch}IRC<7=ZC5Rv(EinT~2}nqHOM|qqpV9aIj`!R9tG$n7|5$%! z)w9;jv*upcbzb+YH|ITcwiRBdDF09%=%VJz z@q1grL?Y2Q6dszYq__LV&de)8v^|p&*waiQq>dtEq>dX?c2~yrR3Q-FP0fr54@e)w z&P(oUuGf*(@s$*z_$WSjK&iP`03h!Iy}UOD{YrnOGRuzq_#b?V-gi5Bjh6Yge%pWS zAz8>%B1_;h+H$nY^|moM+PTdX`#k21f~W0PPqk4RO)zu4CzEb!g$KRCodNu|1!=7 z7hm_G0Ht*VInKccfx&KMlNrFQ4`~?y} zgE$!MP^6V9MX!PGE!*!uedFvtX23KY9UbYmqqUEn?=732t}b;tE>{F!5hfgb?}%t- zm&Gm$TA0pa8e~7t%_Z+=kxfbAOfJ41h^(swd4nR;`ukoB9JBiwgme@H7yP5ya?T7LX}-I|vBx7P zb5lQez6+M&h1?h5sBwB+3rpe9VMs{Ua{o90lFv-|+n}s%1SBl?E8ovtnj-TbJ_wh- z>w2YM*#>`ej4LOr3pq!Z7ESR}!p_-9#5raIU3p5MltJ!Q)64AidL0h>g}C!0nV)`9 zVVd1mwWQIk|G_DILZhJbDop9AX~5Nw&_`2DQgX(nb7zJ`(1M{!&hf5J;jEA7{hRhZ|c57QLDDHk%GTbzXikqy)epW|^rR0nw(-}tsOD!N? z7LbWZV>wu=ne!v+z@;;=tn1DR?>TCh3r>^srRU@0^H@Ya%DBUw^R@OB{Z~@w213eN zWsw^CRI`1O!1ro(5^TeMkrBQdF+~~R#enQ!!X0+E$dCnNQQ0Ie%buU^ZvFU?q=xfY zqVLgNzO7qng3nV@xFe4M`jL~^u5`)oaLWuE8+$rIg(*R8iDc)%53nj(;d-#TU>x`} zDhPwt#OgG#EacKU*J-dHptA*yl zboJ6}iZQ!l2U_yHF$w3z=qvNy`)lOyc0)CNePv@AC4;(C#d}7`O+*Nw-R>)2Io2j> zX+VxvcLgnxNNB}gZoj?o^1&=vUZ`=Z7#PsRLZvw&%_vfNBIM(}JwN{Cl@)U0h~;JL zQUPvC!jnVjS8icNe$%?}N9n%Qfq{Wvld7A{Zlq-x9f6#Dd}?YGP#pT)=_x6(lWcKs z+u;R$lE3``6FN?J1lm6sO{4BzSX^_XjRL*eV1>#{EbBtHaDP+mT4 zWq3Lbt}F!OkVy#*OwPOK+DKMN-|lRmb)~!r3kf-$Z+~Xa5U-$cZaq}0js2<_|A&`s z@q>ogLWB2_c2v@CYstZc$u-j>!a7UZB)#R$~{WRG6L0$*}WY4u%cP{KMP1s zv225ZT@H=LjxmOi4D&t025;&*Th9^`OMH%;5aNc*+7B-a-A8kn!I)I!{4*U@?V!M^ z%PJLmsiVZ^s7ekan3z?h9bli0g$H)yu#MFg7i+rkBrGWDd8y=n_@Hb2#(yQ}<(tH9 zB2Rc0cO7A$g`hdf-vId!OcSQq;qKjbHq>*4$ zw`WK~q#uCfWnUD@wiEybj|4>#QlC2U_i^aKsD=!!FKL#jhazpj>U(A^kV9sGeQPv> zgGdnGYb0usXWwk{=$}ITw?|z^2}s!5rW!xY%0MB{_P`E+8ah zVE`B_1UMg{tm$fjizw*G{S!5CVd7;ETP z5Ic==pqk_1dWVC@)imNt3l^?t$2OY5F@S05dsgP0^N~0+A zyQN~DN#0&Y5ZMRnY~AG{&w@T^BtRNn5Y2^`GdwAu(lA-R(`MekXoHG6VZa2c)il+eezsvMjDuJ2nta)32GI+E`7HMr*6Oe{qkD%!yI@ z@0zbuG4vXGLB(AR60#{)HH)K3S#@iy|D)uAE+( z_)eD9)3$yPFiur)X2tbfvhq(f`c!-+`|cT7eZ%|Kmwkvs zpS`#E9}KvdojIHuOn=VR)m3dn!*Ei$!|RlpwS-kv)a`a{Mieli5k_79nDHdeA#Gez;s8~59? z3k{bUXyVuw48^=&ZZvh)UcOmnnv6vM>WM}q!mkp`sNn8idFA@v=4@jFz5D4l`aY#C?1U+91i+0u0dJu&1(Feu%ek*At6vuY>!z&>=H}hMtI_hTwFr)yYH`;zrW~7Q>HUzaa~2}npBdGA(TsLvYN2UR6pwY>^ho%Kk)v-H8|9p zVbwt?S@yZ>+tMpC*q?%~J-s3smu)~lO;<@`B*w+UIZWtm+(Jk~B4oLt254cqqj`$t zZueO-KsALTV19;PR&3NFUE0@Kh@I5a$$vtqjGvNv{W1fz1ILw9I3ZTJGkUfQ!~HkC z@;_S!y_3WZ%CRMv&!^Zf@kIVluQ@ zUzW0Y^zIwbNNWlNyo)h{Kcm{^wBK+yfrJpi!iC!?925)gm}7!iJ@xhVv*+ufr$Fb| z^;LU+V_q#kM6KZ$L0%j{K`~GojpGAw@C902RV^(QP)Ui>6YsB$1iv)(B4}!A`l=6q z8xj^~-koyoD^D0wYE2Wl)cd@?y!=l2VOWjQ<0e*(q^m*AfEfb?jCpjK$TTo9YOY$( z45Cm<+^-~4Qc}?Q(BLNKA>_N>-fV4D5|4oz#}}+_&U||d3k&52IS~M~^ypn75|oxU zqTB-Ypof=Nco8J0jeUT~1C8TmdL{(h>25A?VO7ChLHLK|+z~ zPS8i`g*_aeYrSp{8l=<+%O0Pcw1iH+e$6!Qy;(oI_{t^}A|5A#JXn$NpE@&fm#x&qWAX2)Lg8Hqh%fl)d*jr7ttDN=1F#7jr4S^;*CcfO41 zpwSb1Vea8Y7%^Xm?knR4Kj^Rc(tw2bJ}-d9<7-#jxzf?47Hz#lL!3#%Wfu>cJ+bf2 zfaejA+iBzD<@b7(Kngxyjg$1=-d@IdsRiDz&$&S2e1i(UKmA%lD;rTq0#Rz9mqq!dCpclBB zd?S($rq+@%Xscsv4ER+MVvttLEGyIN>J*}&<>{G=@%MtJGvr)SXZt#NcJ1u>jzQg# zsZ`nuTGij*e_K1O;JT|udZql$JFoq*&i9U&nzcfhY#L6f_czB7zI&TF{-{2wvALcl z`c;J9I}7*@_{J%$kJT6i*W#F-gwb32co9_m#Nv3Oa!z+{>Lg$a;BQ0cIhDh+(%3*k z%?mA-T2^nh>}ik1*%*xWo(K+DPWP)t)t z7&{3YV_hqsxP;MxP-2}j$ct;F{E-)5r!Jq3;Uh(7RcGNme^*;kM>6{3d#PX zwD*A@kpY(5Lo7Q9k&BqnqVh5X?QKm)D@69~@gMYe^7HSgfSSUUsuAO;W*)2Mk}Br? zhEu}C_fRy~l6+ID+OHwGpWOY~@QMe-BXKWPCV-*~Qo>yyEXpD_<_gNqk z!A+C4dcAdavT3oq*c~1o9~@jC@Vor&!y`yO6j^W zE-55%Y?s-^Rv3*8wu-C}l9X(D~9#80i2qJL(+ZHQ~jf%%j77 zhiYHYYp{@g3W!4p5O; z0P@!TmHgfh`=0CwNWdk6=MC8n52WN{;@j=Ti(Rw&;Zl(8+WOAz&)<&(8^cqw-_Ina z!?SCb`Tn{1sVLxEr+%QmrZFDpu7;=H+Bgug+RRHyJ%vt+!m%ER^OuK)HlQXK;--K2 zU_C5q>icHeq$L2KewSx3i>$QI>NLNx(6>3$*z@&olJ2?7OZ$PJF(HZi)m0jDmF?3P z2T(gL6U7!hUOdk6I$y7TqHjrd^&wY&DjSp3Qx}?QLQTsPH|ve(7gpZcK&z8(lHIUG zn=DnRldK;;n`+=tnn8Z-xS59)+AtQi5LXu)$SoK7&GhIhKm63s#rr}1wbiF%Unen> z-WD_I2W+na+#<&Sm2lf-G}@hUXw3_v^Qa*h_Il-}>JIK>lT`e;7RO#(YjW5MK{Yo~ z`}a-MYK2{iC@-zq_DruT>>&DHWXZH38bSIZI#44vHc?|<+>VTV2CtG}qfOeL*iDuy zv~22#<%0JHUR)7%E zGm^&3KI`H(KkUjIUag2z;gmKb3Wsu8IHplw9QC;2)sYENZ#_P_Yq6dJG_w`SWAE5N zjmf~oE+0`lRiM|M?}q1Uyb+B7jXJ^rS^;Hl8FHoUE+9Y@Bxe#x!tnPIhp`Sqtt877PnEerrp z*2#hAuvP1Idf1pQw7;(L6P_R23_1fEJhRA>x{GnALJ)hlq8|sg_udZwHMvhQ@%Qqn zSr0cSPhEMrONVQh1``M_H}5QT>X@3wf;N~1Xt&SG%!CtB4}SVclGMAADbLR**-RG; z5$S*p!whAIvOulFn2FD+>}vW;q%(iaLmt z&|i4jCmx*JCoZyf_F0jgTvJUgQH`?=1K>Y<##W!gXfar-F-Ov}C2&nmTIJgk?UeHe z`~&m96HHU9y}hISjig>`na}@Bdj7l-g~Gz9OavnRzY~j&=9CZ|DQRgP0|P{UzJtr% zm3Z%Lib)|IeBp(;IkucFEk@MwI(O@~Jkw3RSuDd!CkC;?5AlVb*rdF~fd=a;9!rS? zJBvQ^EKG4X+-3%hp0bwtlT!}bNbD`*B%6;pf?K^OpqnAJPBvLL9SJ>XYt}#h5mHe} zAinFQ!$qp}e2B24I1S8!!b6EOk1B!)(jrvHlhn+Pj?l#fM9JiPYFNE90jHlY~_%RxI&)ROP0&s4u2va zRf+J^`Ub7?-%^h->>G2T@T_)?M<^?N&$(gnrEP9pizYJeoE(vQdAqSDY53#4&>~}E zCQobG)0-a;AX?91P}8;o;-6P!kRovJXHD{XWhblo%z^i z-qbiLO+i!M=p_4ey6-;HBdce!-dlz7c~cjVf_9^ei}|EbcP-^dUNJ+x9`xFo$_4D(~njTeZ#AAs%T^lLOYPltnUR5Pg zRb9=OjK~EMOglTCV$=G_tSnYulNw4)`%=O~MgWz^+1S{S^J(AjVzZ0j%?Z6gaFu|Y zfQRoUE;hER!5Znkg*$D7gM)&!M5wvXOG1?Pw+NFhnd393H#Yc9%-{@v*og)(+W(EY l_%D3N|EE>=1I}T$Zz)&o(%!rVTGU^-rL1|QSn*-de*xjaU7-K~ literal 0 HcmV?d00001