From 9a9c517907390300e31f4df7461413d99daa03a5 Mon Sep 17 00:00:00 2001 From: Andrew Date: Wed, 22 Jan 2025 18:36:34 +0000 Subject: [PATCH] [CS4423]: Add WK02-1 notes --- year4/semester2/CS4423/notes/CS4423.pdf | Bin 359177 -> 359923 bytes year4/semester2/CS4423/notes/CS4423.tex | 3 +-- 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/year4/semester2/CS4423/notes/CS4423.pdf b/year4/semester2/CS4423/notes/CS4423.pdf index 87a29602b6aba50d9f0f4c13b3ef492d1096e833..5ca6ea7baa062b08b401fb934dee1325e87c5181 100644 GIT binary patch delta 20014 zcmX`S190H6);_$oZQHhO+uGVTe_PwOt*y7VZMVB^x3=B?-h1Egn@KV!nM@{`oRfL- z%yS|iG49?leul$<^01``vVv2Av9mCzlYoF@0Htc34)`qa=TCIcU>4Geq!fMHeV&gH zPFQAqgBmd<;~151tM zx}GZ{IDW+1%nHKK<~3h2v8;e8Q!ASm_Q(;#SQH;@GF6OrLSu&zCY5Y8vRt#it5@-I z{n^voiVNqj&EjqRT4OG>{=&0y|NJ_6(>$)(ruwuQJN&Amiqbna4Y(=`G%`aCn6@3y|}+ogU&@k-8%VQ*1IZf@Bi)LG04hK z#+6G7vS5%Ujbs9prU%K4z9#k!e=PM!8_C?tV8<^&<$WUOXDcC0+26|+ByJ>RWox_f znZUhh)0>&11K0d+(oo9W-*)=<^a~ZzEQYxP-Yay9;YrY^KfTU3elrV(x|S-rS0H-t z8Xx<0O_75Ay-;G$T(WWb-q>h2z&5*U4YL9hp0~~X!8r(k?KjvaQmvyi_sF>p&NQ4u zPbxNW8pe;-nFAQBI(fQNsv|LUl#wL69EEC+$|X8TK(d=IM~v>XF*QN#UZ%p?)4EZn zgyP7mF{%35vtZ5hFB<+vaLF(XSr1VeHOPT`wh~xHO4Ah^_)gPLwWYLYyF^Kl($-%l zu^AjrEX_a#wjy;rdf5bjD6SA>W!*!w?~%}VTZk!2gBck{YE8FxTUGozYeouYj%c%H zMKhic3TuwM;VQ~R?0Uj{5d@?J^|0fMc|%l)C3~2OiDK_k z^Z?OPgfT+!C?5i5pK>L1+E&%$I!oB8VpiA zG^*De%gr^ZKn5rBED1wk_-d{YHYe`n?6A)?XcLzDr1lOyUhh`nqb17a?(lRHStI@h z3mPaZ>wjOjrfI|-Xb{f-*^5}?s308wvxjJ9VL{ng)18OFn1h8m!i70N{#DR6VGb}) zOi=d!#Tqy(2M=fRJR*Afvm6*3+)~P6JAJ^)uVK8 zkJQ`!`Kz<%@{>?fjLvS39T(cX6X?DOc!|CIQp_jfqj9_52KJL3b8lpyh0_6#udR>f zWSQl4w8KX14aOxV| zSO-i5T&*9nK!NpiotvK(Yd2SJ@d?=R$-O2lPd0&Kcz0@_7ON47@i*&g44^n=WHFrh zJHG#S7yrW9SV2plnT7DnaW(x|^e{?-&$rptx{kZ}*_v{L1-1E8j2ZUSHCuF{1a{_+ zn)liyiyD?wH>K1K+4B~;pL$K`*vOcNxH(uJv|xX80lk)3^aU~9oL@(@s?A@m)HIfo z$MzGgl9Svj6ee{_(1iM}Oz?)r{5Wwy?n&6|u{- zOVEUi@~O#Lrz?;8Jo69ScJ)J-XsguUJ{rFTvWr5rSqUv)eZL3IKet@$*4r@X+U27! zT+G1Ol<>DgP=pC))&si`%6oYe{0Kr{nV~oS8}`&Q=-(=U)g?R;y3Xmb?b<(=wcPfw zqDshP_+*`noYAFg_^Omntq4YkSMQx37cL-9SmuPAs(DQazL2rJw%Pvk zy5wCU-9Zry6BaFb@|jAk5M@s(Jx&o!1fw?+460|L3MqXaBo2z1$+Uuf^<6#v;NMyx zjOoZqV3->ANKtmhj43lBd@BS&dNW(pGLxRc-8wM(ph|v;${WP9Fn!cC~k=x^8YV(|wh|zJmy)Zz+Kh zV!)}HA0VMndX!Aln5>~A$QL!VJ^xHcQvT@& zWOt5sYN>M(!|E14=b9?=^mY=w`^II6_KhH41l3>eTE3!hOvA~;TAZ7e1rvky5kqcz z%r#pxx^hwCqKpwWW{yxte6(lov!v@Q3DaJsNlNo=ly@b!$V(Js(Gguu`The zXJ9mrna>*YjbXwtN?@2JUQs^>DSI;|-KhO#U&Bdo`2 zb^7Rq>=P9fvXmr$T1)Xm!wRP4d6s|pI(2KehbCL47Yf~ODhLQCZ`wQ*Bnq1{x%VbU z_^8nQCS+B$t7n1S!Fh;iG1q%6QJF^6gDsz@z>N?~_{m==s2_L}?xxV^8X z@ZthD8?ZpBgqp zDzfz9LpfVUoH`;*8W#0`HO7uyM?%m$?r+dQ`51rbUrcAf1zwp3m&YJ2qlp3V%TY1N`%5`H1km)5^YFD&mS~jDql+mg<)2ndVz#;3V!x2?wE+3bL z!m~Y8fley?1QVMXukp${wjcb15SWVJqkK~@IXrlQqu~IJp`ZN%#|?;3n}4n`PX8J_ zX-Il$XNlJu(9p&^)QRTKLlGK05`ZzUwc6XWoG-Cu0aMoQ?mmH2Q7okd;_!Xn#8uLH zHVp8qBkE689IYhb@b(VrrQlej>p>-N{Mf$BL;lVvtc0YI8tX>!4_SlLp)(9q`H{Wf zv$CICNUGKR#iT?D%|o5)?_=x5+7{$)T~fVzf zf}DkdT0|Vf#e)f9?KJ66-InS(v7-@th+DUqgeI2%z4QkL!jsh-JUztcIE9C~CK9}u z>*mvx(aUHlfby0~MyO76+hT347+8f$=NpT_SOZ~V-l+MM?<6lVDrRB92;Y+0 z+x*K3IjY^s_(;u^RMueP)SRu(S*y~dw=m%)z?X2^aYW}0+2I!yY5}MsQiiK3C+%-` z{#I%Q@TJUA%+mJyVj{hi{ye%VtYzV@)-5lV_}U4VVM0PZsZ_EU+o!cEYGdalIP1*S?q>%7Sf2E7HTG{1Ik*X)|m($rQM$ zadnHX>7VLge86e{&0Ml}uN(4MGv_wLEX$s+!$%|=og%pV>z;`7R`X6{TlLY<7>h&4 zgr>uRAz})tse_%FFj-f%Suf`+_PYu6c2$jTx0|z!*-k4G(7ps$W!P6)7)p_^)w*J$ z`eXY~=Wh{i4bYOzD6kj4qvgt}a?L~1PY1#cbw&M-G-Dpc3dLF9rIhP65}5OTCFpqp zloTbi8xnl%aYu6o?$s`RZ2$;Uiu=x8PcRwcDiC$ni0!_c12a^F~;oe5(G zeGrZ|jfCM)zd;=bddvGWNuQv=y=peit8WO6qRhB!+OWh>){Y0NaT zd9o!G+P^}C;eIO(B4Z8_FNcid(*8zaQu*;wTEr`1kN#WsLZ+MQ8#BUD#K;)kL^5mwMk%xkE-1MA1Pc;% zJi8G-LSz`!iYm-@av|WxsvZPclZ(Zq?cuY0@enP?N!JvrMbxu(pq$%{ix^hCn0+ZR z)42MQ{}KIuuq}rkzPcUIKLf5LzXuuzdqggX|1i?@1jiv?aCy=EE8{*~;;ps)suNfM^+7DnIJw4tNaC=w`qUX5vThL@%<|y z*K@u_iE(@NLFq=QbM(jH`&ZB5*Xr-D!S~(yua49&hFC@Jrr)2Z8U~}75b1E6KTRdF zIS;hO+xIuFe^deX)*eb4XQ?92bl`iNQKYpQEI0~CL(k!8VlL(oh%#~xEc-d1Mowi<8Mbb4+M=bg_RcLuEwJ3l%1$Guuq zum1S?YLg-Edf~4`)LX@VU+?@APEychxzCRfHhHA}c3uoTA`*R}2=tbh6qt#QM`mdiJ_K1)I&w{C0O!6iW4Qb~;_p z@l)M%ll>havi@e<$9Y{>Bn!8V5o2UC?_l5LTVn$yb^*RmsKa!c#^rvO$}Ibhju+7K zT&jK07hunkU8W80DLkmt^f0i+UlIni@n^y*C)1DCOL#1!%Svfq;s>HO@IQ24iy&2D zWMxSyU>ugU9dJ)ObT*8*CaMN&Yd4P{P$+lUlP~}{v4+e5&qD*d}m90Pp>34O+TB`>_{)emoq#B;k>Ao|$X$#pA7%Z@Jb6 zmHY=uXXUTfHq(oC7@!dSng3$7mG6fW&~uLH&}rl)1RzeO)?&s!ZvtPVHGdJyU>9zv zLFvkZ`?r3|4KTv^616ke(QH8v%5D;QQY8a^>OU8**Uolx6+4o1rl+8|2K1T=#HBC| ztbdp03cV%l+TU_*|NV93)Y0DKHa=-LO;Eo##QgIZpuG1oR#T8 zrXfz20#3WA-^OB`b&oDHHRmLAHORLkvzS9kD!3yAvSK>Wxb5%W=? z>s~*Q5*CGI8~Sd-)p`IITMlI!Wi!|OX7Fs#Tl2MYd z*$zbFiU@Xv*p@+!)X5aRU_J|7?>md{5NbahU8XB86y&u8Eg?EQSj^8wU3xmvS^+Rp zB#DlJiUw}bgxCzFMusAP*7BTn#mW%iTQzK37>~Wzkjz0h_|e;9fCc6Y7elRCs|lWfgpSTW!>3HxzmZpDB+KR%{W&9P0Om}9p0)E811x8s>tAs1CQBqFT_+fviGOCVNN zH;7{zs~Au>7(jLm~_-1z8{wxr-D|o*k*(|#I8kI-+`OhYb-WMF*xXHh z88MIN>%=19CXVY|b8k{ol(oFMjyNeH#3IZw%iSCcAQD#8-`0Q3My-c`st@>m0w4_U zgy}3>VE-R+nO-ykCI-sMo?aORF4RUj3N`=@%K1MwrVV8dY#RiOg^T4s^ifc78gL#S4wnCcA73~>_2KoW9JZsJ?ej1NQO1zT%e-w09WXgi z5OHc7QB-0Iu4E@QWzKa39qC4APci5ylkNg95Iu=5^&8ybDy!NcZQJe^|K+OsjTN8D zEXwNImJL!2P|M!0DW2?X&9{fAfUCEUfZfs8^Qla>JN>U&Hn!|E=#T{U##m)QRdrKY z-A`vHP7K={rn#tndspXe=e!dJr3^I*&3Xr2ji}bo3zr1#@%wpF+RVen(M)D-7{$U* zG;)V#|HlHbFdo^3R(WbV^7sM{6;I?}IZ5g``Kt*&AHUl@mLTWVgEE}Pfb&(){IcgH ziSAQ+O@dyq-Afh^J72$zotrCcyKgIzz*mZ};wV*?K$WomaX|H%>?cT#>VnFh+>sXb zO(il*np#IU%_+Ik;8;&8L@UjyCZmgpr)vr9WmiR8jdj!KMVnPjB?!ml&dC(I_cP4b~9o2aO!+L<@*sbf-4 zrn04aP?Y7A+o>_Cw9)~qw7w~wDQ_v^Ddj2YDaEZ<>x>Ns4x7fE8y>+IoSV6=o%Y?W zZ}w33N*jiXLJn9LG>`Oe;GK(xRz_ArlZ4HVt@)O{OP{|!EaT)y;iX!N*XQ?t%{w>k zdyIm`g%dy#2)Vxx+%)bRNcHZ|#xdbb<*qAsHVx=p=%46c@J|BmEA7iK6?Z&GXESZN zfIFdwO_jt$#mgzbd!SF2ZY87ItjerLy^5m>P(Zh ztGgd|Fm{@{4R+4Dki3CI|B<(#C;zKa2!IhgN0Z%t|K53#>IJk%(WuQa`f6ZcOVrZX z(Ad~fvA$__(^uiDrTZ<8Ux*sfklpL!w|y`Yd;ovO9AL8H%#g^PDDCuKVOD?L$V`ln z*@GSztv1ZsAX|fm6v-696xoZidqhnP32TB6k^T*0b&l_(`kt*)CQ7=qgs;SZ0c~M% zfvE(mRO`UaJBeS;km2nw9lC@Jj%c794G8QC2!y}{#KiD~xvBDX<^^fNcRs0p_f|an zHdplXCP3gjpV^!FYqfA74)s{W=7r#!{G0V7r7xFM|MX)p;@+71lp8y*F2NBPL>o`Q z!P=GA)J@4g#3;ZWaOAanlen)ony$DvQSFam3xmL*&}?`#tu~;Al5TD#7AJ zSR|3x$e=>g3Ei!V#XY@4OQ27Mc_#HDi#sI98o-A@s51~2fmCMhzi^**PVd;<=G$KF z%!h&vKte~3Ur#>E+#BDg&N!lZpueF9gFO|X6R`Bn5~$6K&7)TSIqk}$?9_C$swUvQ zd8;(Oo7&3-^lDwx?x;J0C@aIE*WA7a1_|th2L>Gl27wg(##a7m+`;e9uRM2ocKh%= z0~}F1fk7PZjCWt|(D`^eqeBNj1oJ^U5^Qlj&;NF=Roetd$2X^zzNg5O!I$UH^J2f* z9~z7dM@6E%RM<-X#pmq1*E)oR)<*tFUMHuY_lw=xfiy)s(@J`YB8{RayF#8`fnH`x zX-W>Ae1t+CrYd(X&gN^bXYRAEySlql04Nry{gC&SrCY?bF5U36kK>ffu2fj<%F@d& z`fJ0Zo0e9o!+tU}k7ktfd_ELTwZnfimUtpnM!<6t@g%*2a)dI9@|H*=MM;$DMgBAv zLRJ~hKr~L2_?-BRbu+sM#5@fP#q^>9ET7fSi#KokZ+m!q3^&5>=g*lp8aJsoz{s=b zzTE!b8;Ki;8@0VqXCpt|_Y$uF{aC&|wY}uM_8XX+94`-kIzhoa6s7phz5TtFUle($ z>3e&94S~gAMu_kBzwZK{AOi%h7y6>XdhxxCe+LELL3Kd#LJfdjfE5O=1U`TT29^a* z1TI1?K-z)rL#jg6fVlugUtVAHz$e*9_}lI|Q2Mq0S^i3N4itQSe!jh4o%B|J9e!rN zKHXnk_V#>1ee7QCF84Nloqp22dEOiC06Je3ADge8Z)6_`A0=0HJ$kQ?_XfLd-B&3+ z-u|v{hxgN$beD9ebmw;u>#sHbX@ai#w||TT-;Y0@-yFMv**AN@>jMd>@A6#t#p-JN z+nx8s*?afN*9#nZUUhA}#~=Q4rJb&7Z%bFtl?^w~jWcVeGJ$Ll=8J*m$0fANQMLF| z*w?t5udffGPo`8rVV(#)@Ct#O0{bYs8`~Gt9&ICC#J^xt7_4AcSP1-24LLr@Hry+! z8@ij&G4~7sV>430Fb*J3FY)ExY+e9+FC?W0QMKY7;a(8T%YD7CnE=1n0bUK4ke?1T$R8<<@nAkOhW@wa*k42Ti*qZ0rL>OJ1K%7+vP z7ksDw03AB_g=Mfy_{}%5Bc=tzQZ)M;I}>q2_>0MkD)9XH3*&-*4)*>JpEn1zk1X2! z02iwt4G7sS1~IV4$Uq{lB20NtH(&O{=`kg(P+?g{G$z$9w*268Lju0#waiuIm7p1)86(}AQl<>#Qp}Z!4o$_TQPf{orfOK$N6+?4*G$F^XXh5$qoEg!)fJnSdkeam<1u?`)!1i;Yn

)Gq zV!r+;7|c@<>NGG&uK=uN;s)aNx;l9LTL3yXbQ>zwB+m0R3|{VaiwmpnBm6G)b-gQ1 z#9sjO{Z#yuTdN33FSpuVm3Ka`G}(o5qlK5If<^J5*_H0KfQ3dpHy)FdS49kc zZ9l|7aY+w?V|pCg)97!!m2onfyXXtrM(@d!`Co9|=SdhKBgS4F!ce|10am_(@IH`) z!-xvap~D8nitx1}@YE04Wmi20v$e7>!Wux-U8^dp%V1VAC`*p)7LuY`th6#NhkcXR zE-oUhsOY6!Lc(wtkxr+PVF{7T>3a{%#UyX$ zA2qJiP(0r{9QTC}t=y?GoRCbfAD#f4O)gZ+;GkRZu0Y>Us2;XrMsKH`YhfccFW+0? zz91am6w3}pi*uE{cHT^teEx`Ts0NPSFw9q9WvVI1!r`5L5YDN-VyIu^{fY)ZL` z7CBn{55!BLY))q)0bVNwL{h$-(7us4zWGq@1Hm0;k{^%XhzJjfmOzjm36X%G=8^$E z2~>nRAXC9sZKo+gVxdsKZobFMB>szU!e_S7b^mTfnlVo#n;581X%Tt>ZaA;+MzH7k zr}H!rDNuqhW8vt(DZkK>_k(d$k>C#ocQK!-iLhs+VjKIIUMl4N70l<6XxD74TZS7>Bt~IvqwNd)DrbR-WGT4QG$h}^E75zEURYQ6#sWwz z-hb^sULqYfPzCOumVRkG2zNCa`>Du6&nf+KSf>o@u9mYoV;3%8FEPJ+EZ^{;1LN0~ z1io+LuIAL)c6l-efX#i|rKnkhCyu`!|3mY)F)|B|xO`25K*TF6G`)^9A?}cl8S+D4 zR0e#|D6z{7>^q`~5>ALvEjJaCi4akUq2_PxU?lb>ak}?Hd(c0*7!O8r$7Z3iFp?F! zE2iRJck+ruS$&umf7(EAQ#*@<#fzx|CO<@tWFp1Q?BXd+07{x6(VAbLF=U)ck_$4B zI7+NCnB$Z@W}xE~XyfFpnerqac6W+)WQ==~Dw(pk(tdCmO za;IZBC3)-#fMjD%4Kdv~ZDUrB%nYgRn63*aPk0U4HCua(9hFuB-8j-1p$lDm@|MUY z=~F_d3{!jjmeOM)Q6kis*nvo6KEHf`e1Iq+MSLRIf%7dnk9dG=9;*Tc3M#P(D(m0m z=>v}i8BUY@HF3_2)r84$g+owOj(WDYai0bI8D_pIz{7@fmfZfp@5a@I$va42JWD2= zN6CskJ-bPUZ#`HGx?Pt2gLZk= zt#tgju}gMYqTHCqfr$&px`;=T!GW#|LVMnMSm zPd{bXqVT!BT2gXK)TaXt23Ikqwi}jzrs34CALS*w5vC_93ULS6EY{$lQs0&D@70fk zp9$gfmZAK{nC%+WpsTaYP10U!KcVkr(EM?n0sk1OQ|~}%PZ-!p&=AKY%Wo5vt#X`Z}wYt_{xp)gxZ*tqhqkf{5^o8ASRd_LbrsrY@Vv_Q1*~zsr!5I z9qo&{K3N{sj<{gL3e4LWQ40N7XU3NJz)u@~@64Ixs9Aa62%bsTFuBzaPVT^KBYt&b3=>rh33tMW}|`_ozAG*G2rM&$>KR}xmNW_ z$Uw!xsa9Jnt|3h0xRDCpw5uqm*HrWgnDl=|tOF6HCY53h-(+p?`% z?T6*ED^8hOvNu!2Pm%GLQiW7vw)nM)=~pXOF{BjH~jHBFzuhBuNO@SG-vQzyXtn_g&^@3KWF?8YSM=(K=lg@R&Ob zs<4Llj})|~BTWsBQq|a#nI=qkrx@SiVJuF)pL1S4Xf4whAyaE~m9{Bluyl!2Wv2Le zrpm_$;;f%W2lM@s1h1`m1#$L|X6YMxl3pi%Y1!4A^|I<1W?Q21(~e71HATxvwoZ~v zF$#JUGNAK243jT6cQwdF+xB7r_+Q+#W_i*m4jnAdTO&-vR+dgp?mNxa1MtR;%!b?u zr-YY12flEMSfUM=cQc{gNR51?%4QT46pXG>I+|wS0<-kdDVL-y(I$|fDd;3pG~}*o znRUZBXorJHa6&KpAuntw)XDF3Y8@|H)!UhM@cpTzzrfYP&P0CL=g!ptwWxV3c}s?f zR*rN!qedvLHkSF?xH`Ebxl*)2^{nGlNs%<_KTAm=y-y`xd0e2!<#3f@^Zew!K(zgVY7Trcm(<55j~bdXTE(Anq=8g2I-wD*kY6;L6* z+(hj-3_`<_J-am6yzS@#0Co~dKayz~hOyA8eM#{J zpK30Z+xA0x05KuPt#q1p6KQji26kkp=@py?(UvOMCgB648s*NIU*dB9a>f zqFGK=k2Q}xg0ryY|CCz6(pWBj=qYCFjaE^iW-8kj8FDr2ed|=f@K4O5T`$BDQ0O2+ z^K9mUHJF7^Hl`{=U-JNmvd7j0u8+ja(0LxWj#(`q-2lDO$o+*5sMXMOwdVlruqmC} z+UvWTB>i;@#bQ30u%DA%izcmQ#5^twqnnKjyV}oNH=(l_vzGlI2iKxj#@xJ{sfnp~ z1SFgLGx^znvd$&|WFi#CCB`cK&;G>ycq<}U#23wrOe96Wj+*=6O@K+32)bP4(D0dC zNtcVW6(#y7UFxtqA?TE;uYOyr7k4YYkh>?F>k;VF<$JfNp||~o4T+NPrnkSSGJXtUuGX?4~=dTHP)1*B8`y6?0rzY*T+U~s<)mD`OeT~;%Li6R26cr-07a1dlYm3y+*|Q^VX9^*tyyVtvxV@z> z^pCSe;O%>(z)rwB!wbV5{+G|_aNuv-lC$irJ#UA ztRk(bCV#w*R}w>&Pjqp-p)7@G#P4MgPie&K-w^4fu`Jk4>xlGM?lNg#V|rm337#*9 zawxA6jPs%%jK?1CJjXU0oh+5en|nCQ@|N@qFlTdk^z2VnutH7dwaJeipDI%crbBJ4 z^|EzmEhLs-zq4bnqr;=?P6Xq<({%t&19zS^NRk==c|{oS(o9`ht8x=AblaO40W!1h zB4i!aVgs&^+fRep?~A{$BC3}EAjZ%SIN_mFL=V^pIvy1uGGR~3ebn#$40;oStq*Ni zibjF(=p?5LO0=ThD#XN^$z#)1R+U#Bi)j$efTuJWS*2MY&^q}Rf%9F4b`=%46ec!- zM*2e>NiqcIbi%NgE;C|^=7nxzk8KZbjN}r4f|wwBjbMUc9Xrg6g^mHy=ccA*%)W(T zjo2DOb`~5;Akt;XFB(iWl%lsxEFz_QRGI9i=)M;O#U+Md{j zKip4=ebXGrZWyi}?yp3^Y zkUR<{YRcjfx?TQo)stPzeJ&Sz8h<30ojpkH=Neq=Q;-#S=QjyTU{Ah zJ}FP~G4D6v@$=bB_J4wF+GTvQ90bL=QaZ0u*_EK}8cUz-`5@Y&{l*;PUdg)V9NDEb ze|LouBumdK)WJF`dMn8`El6Dr$@r7$A;`HCKwEmL#b;$V=xb`4*ZvDN%3KdW z$bzjC9VT$SEZg^3kdcTmui~2AzVOn*@%?}|b@QBybeUbfEm<2_>@L)D`QjR4n|dN% zj_~Jm4F1BKw{Z3O)x*#Q%e)g>%>STZo2ldzcJFw!j8;<)SgI0g85Q7RPY0 zutS-J;^$Ybucv{mm^7{xCZqD=*$7`eBdpi3Dnb@o<%F|U!6-);a^8?Bvz?f2i6F^t zxVR``t~T1f)y`fEBR8aV0S}1m{4MuwvbnM&#pMkDvdANUuaG(eNkMY51{g;%qx}Zr z^{J07V>34@!B@t^qf`#=W)rh__uO6{Q(f;;EpI#yH+aBB{KK{Dc*WlU0qL5cFnH9z zq<3rA%g{MK>Q8TWlgd7MEp8fl6Jw@IKu<5lEHR4duvJ_x{ybh}{;Uc@r~1Aq^W*ys zP-ODqTAdYxABpp3GMP}GmITXKp0@Nma=da_jZ7!<&P)K%ie$k!YWL~V38Z?Ys&gSs zSN#m@_5|+i^dklLwdK-W{{ep=KenA}mI1Ho_e=qX!FSwi6I;45TE=3~E!^iRpP5eF zVht<07;ifX9Lco(%!l;r#R|swkHXr-BSgJXw|Nfxq354V^ST-?kuuX&H|j{AaiHyVm^$V>%H%S*_HE^MSQvmuB~j)xHm%3Hz0n+CQB1Bfi^d zuyuiiFb2h}pQD4zevofXCSyQyXpCXn>Vtf%qGla_5YaLBx>$*ino_j2 zOkLN`sEu~VMOLBgFzj(KcKQoSP)4(rM_ zwmcI(r>Uv@Sai=ds)T1@Buw;&FM9S?J%AthK$5e*!|x^!>8ANlg+mpWonBQwH$$2A zVlwTS8+CK5HRgj@$D``iI@ojD>GvKqysFJ&&&$N}(LZV@V|V3_;lx&_aCSFUp{4{$EeJn9Y@*0~Pvv-$mxTl9MIV);KHpLq;~;3UHpDPBKO2m#(q zx4X7}l(sbJRZjlH9<0AE?vouc7^dDQM{+_!49wQ^^*4uH7s{rN5xIW7tEFyt0aM(W z%x@hr?RI{X8G6oUQ?;j?CJD`dH{Xf=++4C>s*_wAd*soxKTC#PS`G>t6V3r2HbiI- z#`i1^a6K-Fu{X&#KMz63_FkE+<$TyI(X~1Y|tm7|Ys2M9{5oWO&O?liG}!at6!` zgi*Kof-IdJ*f63iuMxdunDEa_Y0xpFtl0QE|7i1upQl&HDty6-)R-aJCIB<{QUjrC zRv~*fjx7RiukCAg_TWWs#th|u;rtdYQt{-yl5DynB|^^CvTV&X_845|4#Mfto@T z(HMMZDav&DzB!Ihz@|S6;ocUu+1v3Ww6K(J0VGhQhZ$M3*f<~e!e#^6F0KJ(d({31 zIa>wK778>AUlAOAnq=24S11=mI|OgkFHkY!W9U)junNJ6q6MCqZy!J|uKmMcMOncg zjtY>3H>q`;%WsUNHon}b@48LP+Deu`hmk}=J5-BzTi<-KzaE{4mrzZF@7jjH3Aptw z5kWgmy0138-%1r|X=MuyKtKe|&%Gknjl8zz&8$%C4I!U8LMBt|B`#6%Y9__~`faF=)2Bhl};S|HZpwga39 z(K0jvdHV;cewHHjh()3XP3%w%mxK6!R#gGbv}jBjU4Ym2!mCM)3%5%aCMaie4T zAyqDo^Yv#1O0Zx{Lr-&8QAcw?X1ujFT=JQQU@5Y0P&lC55X9i1t*fh1%2;J*XH`>A zU2EZ*>6x~)q{&9aP*1~TUsF@7f~C=yvLK;>(c!>cT2s~BxKW;#u9?nQX@!kBP=<2| z-xsAApyuCNwg+r~e7%aIs`WJW7L}bxT;RVOs)BFDri{cNoL&B4@+o&6b>%x{KZE%sfWlOgIy=F*2F zV*N1)GKMwrAk(x`Gy{#n)b{CI1M8xur~7BH2U`=je7p}z)$8*G<8-^BzYWOoCj5HE zz5<;cqwl#p#&FwbsigaA|^ifdAcg$8Oe+`^0a7aI^-!(;uK zP91}pYjCqdeNG$)8;=vRiqUA>NjxM)wHF9rhLz>j0W3+fLWU7de3sU#225re(}#HQ z;@q`L(d;05fzS**<2RgD@}+syxMsXE*C&oqOmbT*d4t(ZsPA6fjXen;y>g!)y-}Dq zYQVLmGKvrnZ=vY$Bo0QG>bpC@Y7Wpl0XKHP;;VSh76D*bG3Th z^ENX67B~MkGVkkKpLDf++^r6|&Q~v-q%t7BOqg_#r5ZW|FC;Ip zv4%bVwSF%oJ};csZ|2^&k1cM#k#0JK-SF zkoW0#=-?2Zbu2gv-1i=KgQK*gDHCXSV}s;`vTBp$vS!C5ppqJ$A8QYF5idT%Tu|(~ z*peM=Z!Z2w*eaZVY;AFQBLOyg6l~!Bj@#Q>>qRy@lWqS9M+mp7AWxLiYbfIoUM({ITWMQ4)C;#fym0o3fg+5R=C;)=Ql+hf33_cjXKG?B0{d>c1>(7$3}3 zo>J)74de|@@z>pPHCXCq3TMW38eLJ{3!JT%;%FXCcqyV4^MDi@CCNb-GKnm97O}h( z8LAUr1@`iBG`3^$vPD@Mu4qMVN!LC`ORniWsiwnu`F;{h!s7jCYe}Dm9Osy_eS04k zg{Io1#a30kJiF>+?w>eE1(hr8Jj)`r)=NRoO*9&u|s+EyC8Kg8WQ8n5X zF2dB_>Pc!9essdb6lfIIT%~*5nY`Bu5ZB1~DKX^(AS6yF%LDgc)nAEUBI}P|5T)rq z?*FTvqXh$}0cB@NCk6q>0+Oa3s+o~Pp8}#zNL4!uGMZDWq7t%%A|*Cx#Wj`*8mQWP zU^!WTj%}_!hNxFLI3^1FO=bRhUMsF%W%Wt22%o<|2uElwYXdEQ>9AR|YGy8~SMi*U zK>e$1PxNOQSH%Qs-@Adj`Lr(g*WBKk9KQM&=Ja*JefrQB)QFy6Jb-z2YkG&maP9c8 zlAh|YDw%C%5y!gM<6PZQZ2PPMr}#|>ju_roY?HQ_h@|~bPA8Ha!%^9zoV|`;E8NY` zAKeQJc>;qo^*<=k5@g*hVU<)mr~F*KZTM>7y1DFlL%sH+>@Ai0-#DU;YQ(GWK}Li& z-5MJmv&ekp`gHPwhk)+v%Uhp1n~=35Woa#q?GvFuzZQEXgaL9V(bmw!HO^FFy%Vs; z%IKgYW`lM*%Zk5kyybP|1oix!M{L2 zx&N1@nl8c$E|_j<2Ts#g!3r+I^?y08Z74S2TA=@(pPpa`ZUM@}{6Fm_mp!;VZhCnX zI6`_1D>!~zO*ptOX!=((IQ)P6=}J-HIv|{F|8$xdRO!!i|2N!r*Z__N2FA+F+}Z;E zi1*K6O=|&1Z$p>||3Ut*$KICk0Paix!uf9$qYVoUBAp0?`@b^=Ss_&L(#P!}5YpjV zz+v0y6e02n|7~*84g#QHWo71J=H}qgr6Fcga5NJ)cKd$;iw$)0WgsX-Ix;XaH83$U zGB7zXI5jnwZ*2u*0Wp{F(E}R|H8mhFMrm?$bRaZ0GM6!m1Rex3HZ?Jm(GC=U&01Se z8%q*?=U4P2Q3US$MT(FJ1P&ww7Dx^U#Djqe@ygg7+ni1Q{eD$*@pzaah9%MpdEDL8 zb?y49yV@u(g%rwbp`sPaNnvF`-wS8yJBVNmzM}}q<2#9Dl28FO(t*fgPzN*usI9Uq zDmY??N5HFSz{EPCr2|!zLTibCiBSn{RYXGz9THwCFN{=>6wx3xR1CrxM?9i1(Ww=s z94V)SN?KSgL6wZK1`n02ut`Y)9i1{zCq?0Opf?GYz(_5Xa6Tq9jBrT@(n)w_{ECLf z-h?QKr*{!lFwI8`Eo>A%dGd@AK_&>dNd&E6mb37Ug)FB;u<%%dvmCU4(Fy}Tq!pMD z0z3eYAtVPEia=ZgHNhFSL@B+1m!pypY48nQ;j5_O9_K&`r$9h7(XL=cqQ#)aJeUbV zT0{?}H9ARSEwr*|_^@&zY;@v65cwtf25ko?Q=7-FLfgrRwuNKS1}RZRZU?kAyo$CV zS`tfbL*vnNI}uMf5^c+WJh8rLJLZYEXnUeHA#W3Z9hf#K=C9F?JjW`cyGak*hv+4C@a6cPQ^8V-k9p3Ekf8G7pUvEFW-|bKOcjM8`+TN@`99(10uzx!h zHlO_d{rCqsuNkfIz%pnj5h1L6Z*zK`jb;d9tbK2*fB#1|xcxqV!|EH+BdPRqO(TkW zIq%KU?JyH-Sd`w$EW7)P7!bX)g35v~i`*FuGeV06rjEgPZ~G*J5UeZpH#QpPf!D*; zjJq@lCLc!Ed@%h{B?BD&b4=4T6^k6(1ue~1+Z`x5Nffm|0B>Wz{tU-)= zHG~D7>IftF)e$C3e9<0I0gU#d3ShL^=tY1boxBpjp0c|IV!^gRESTp&Ompvayt}u3 z(7&JSwX9ZuP3#3Z$6opk*c0`TQ?lN99Dhhb^Y=bB-amd`(%yK{{vtgEg%&_`A_1K` z#+C!b;lc6Nm(%7F99|6ve?MeTU?RQ%6R`sm*t)tQ5gU*QuLX%;Sl)t)DBDnxUKRbJl=vj0K3d{ zIk;9swvJ%`Yy|J^pMTsvY=q1I0diyGv>0FQwAf*B8)DmziqX9`V!M{0fz&uZK1TIh zkP4fFmK8L$r{a!~NMYpy)jEbC6jUnFWIRkCXBdPv?DA<~d1nsCXk@d18<((^h4k;lOuRatX)0tf}TF#bq9qwodbwn)5|< z8u@+B&jdata1H6%gIaS2bU;q?LoahSWyjBdJ65q#Hsl>HCZpz#Bexo9`9lLm>Fbxy z4Lcu?KkXgWOPlVa?i$t9s46X@B_=ZN>59@lRZ-3}M7^Fw)Ya?BBpVqby;g?kvb!Zk zB;ArCl6rA9+3E6TGKlkJ5PnB8V6bup=ozpaI*va@e$a?zjiWw&o0JgYa;Xmj5kX9U zXg9d}W7AlO1N8rO732ees~44Q7J0^OfQzASQz(5Zzn z0GKwQvz$37kNHTqQIgvxFxI^(wABK7+4j(`~D;w4YO~vtHEv2o6tOT-^`;&Xery*rvnPRJNu`fVC2DGr;$L` znx=bvNf+I&eunl~r+V5Md`mHE^!+Tir( z;AZxHiUVGJzU*cKT$D|JKQ%UF{{r!ijMS8Fn$mF$>yYlk^QAY^M^n0M zO1E{#`$t_w_i?YfqV8}A9vY36FmgO%_o1*+trJ$rA`{!!fI`%51bIrnnW@eGUubk}{ zo$XSMedCAZoU(F%wpXo`Y*PbkIc4Q}x9IuO3YO{WfG#!2P4bH-HR8ur&UWSr_I1y@ z7SFrN^EP#}v7ye!J!WGo2V2+5CZ|*_l$C?6YG3+1YU)Y9(ue(2u0-J{Tk@yeSBEH%Pz_b@NT!MH?^t}H&pq-N$tbF@yw3`U+5l7d+5n5LlMFDRih*f% zU8-KBw`vHSi=R4I`9x7n%Q*BZjt2E{P5gsx87F<(=7WE%>9Zh$ zn0ejx5*&SPE2YlWh}DhUr@`G|){LZfqH24<)&&x+T56%KK2Ct++j2`Piud_eG7o$X zVEXT)0vEU00qXtUmuXf`=D|<>t86%Z_pbN(;cj{%(KzXCZ)_-TOg1)jIdX|gyLWh> zjW$_nF~8~jFNb_SIhO%W1rq`>HkZ+N1tSeNAYC9YQ)zl-ATlvGmjQSM6=E?oATS_O zATLR7W^W)eF*P7CAW|SNNkkx9AUrchIXN{(H8e3aFfuhmH#0^>GBrX*I7LJ-HZny* zLq$FyJTpc)IWMMN+*GDSi|MLr;1mobV29s@NuGnXL& z1QmZB)46XGQ4q)R8Sk!R$HXzYOm2>x4mZvL1OnkE5WZ&P`^i8-0^D5FLB+=;Os#y8W zOI6Vqo>D5Q`<@~Z$ybefC_rOXB^ve9*vfwvD`WLCv9gu&lb2~LJFHBed0As+ua)U} zFEc7NgPyXM{&=cY$-MKFv&((_T0abc_x0Tcm9dMrB5UCTo;3~ZmsT(%JHF|%8 zq)o6HuG1SJZGj%>g?=chWFPy4{0g59JX+|Zbo}}J!TpW=Rec6N9G_YlhG7IoVGQ=c zkV@`>|HfXvnF$3Sr@!R^I0#2!ze;}9FOS0+IHpqk?!Du10#3pyIIS`~>8G=BR;9G! zX+ZkLM`Mpj@RrU88>X` z^w`tDo`!mj%OyJ~KQ-?C^Ha7nu$`e%L_#Y>*lYyNKMU9uo>|j6nt?|mI z7TCnlrt#~7m+cyV&3fw4`0sO1otiW^crdIcT}IWRak3MC~)PeuwASCCHt delta 19299 zcmZsCV{j!v)9xlGw#|)g+qP}n+?Z-2p z>3X`Khd0c~C(QbASa5Eh093&QUkty}29Bn%2wVducLNO*HP z-!>ApV9$zh#g7lw`1aW$Fwvve?H3W}ZP6J~ONT;= zUQRpi+2Gj~)ub21ek9UQLyF$d9;f&E{Ef8Vav;Bg~Ct zS9tj7a_d_emYapZAT1yAVViMGQt&;rYpK8YV z4WhO_wvDL;JWn=Mg3jEnH+KuXw`!kUw_kisE)`KS(b+o{SYl{_-mU72>RpWdHoj%1 z7N4s=j^yV@Wf!NfMn+%6;ys6-a2Af{ZtkuYCJz5OIhoqRu`qN0a~u_bi;XKe4;~vh z2DLU1>8vE^-}85 z_vyT!ueHKI>|fO$_NjYfX#$abj6!z-!Y<8s4Ff4w3VPMqSUSqcf-R2*w&tqELaAOI-a0%B1Fc>2I4mryhXY8^)5_JA<;kqOLc-DnrLX<*a_ zg zpNV38gX5$O%4g#V57QOAD`ZCxS__#;c1p;Cglp>{olhdjI|};Y-suNCNz1<&-@+mW%BVGdPg z%1V;G-DO;RXk|EGJWx`&iwxG~62r%NQ}vfRxIGwUg-K9lpgSP?un!2yiWuR?74(8{ z6-@C(k+Q_yByElKAeasihlPA%v3^l3!fQWk+DNh-C$y8>Etn&%Mr5w7YvFCl7uG>y zJAQF@>n*0;KI_SVz-^*T6gDcg{dm%3(nA??dXdAhwDnn=^)0^J!MmEDp_Kv`wwxPI zooxdE7u2Qu$;R*)$-CIpP2kAeFkmcAd)T*V|MJ$qAZU7_m4yRmo?T_e*g#J_m#M`MU3Jrft@n!asjgs0(-q?0`t%2Ur|CTvIl3t?=U!0*z(s*?!QlY zm;BNgeJPb(I8<>m-JfrSjJnPzgan&%J!O<6sFYQDlK07O{UU8cw*JxFwP|wn|MaF`- zKes+1M?S%*(hY@%M^{5n0Gkjv$Ay5(oq;YW(J~gg*0*`QY&0m7 zR;Udi|HH|TS4f)b9G$^Q#G4=CZ}xtS-hnCbO%9ixCqV`H992#iJx7;I-i~ORX2txj z-PcRJq|81o-H%!zLqz}`-;EC_E?hvIsMHxRRr8hzVln;K+Ga=nZSlK|A0Gs55K3Sd z+c%8*gqgd)irl!=toQiIo6l5Y1*rR4pkYOT2C0J?Xn5*f4r76;ADWLD0;`mPDW zQv%R&(M!&VZo~A;h7JAfOv>9)OzClg4rOw8LXNU8VoaG8;aed@j#}hJDN&{3>h<~c zh=7h$B~Z8t@>c>7;9jfR+82&GIACfA&aRw41@P=>Z%=pM-Q|E9lmNygJsGejkLHT{ zF4L!VoA`yPs6_S-xyOs_d*-e6sx!}sAQoi+I#?q}LK(mUG`OtA;W9K}2~F_hU=xAp zhn%4-CDM12Q!;%uT#=xKPj%F97@WrWcMpr>@0f!9i7Ve2n5@hq0nD3TMLH&x?A#gr{evu*nY+6}9>24$M3=80dfN{R9(99n$m zrSls=ojcOvJ>?kA$hb7EtLaAqmgM;lDrN8bY=L(#t!^LJkc~-O6Tz_OqmS9DP*Fh0LOcBnc{$8bW=jZeNg4gyXx7`LT$rN|_ztCKh}>67S6 z6vzZ)_qe_8kGEC%IOf&YR5Gk6lB`AEHeT*@jj=&y#o5F#J-;Z;(!Dvv-VX{l2ML7A zjK~V6*`{7AR)Zz3_T-lTGmS?fA0I1D$I|bp=lq*fIXo0e^sEp(hp>z2AXAkW_oDRUR zc=eUkK~=&Mq?6!)NW{Yy%?C>AM$LTj{BjSaB2XGr3yp-Jz)cH_*P~BG@sV4e=yM`x zT@r+;8cp~1@e#O__32~izWRNMV7U{D%#6ah?u)|@l~LWMM$Mv$Z~nQelm0f3bCGKq zt}aSr)~avrzS~99PXZ58pRP8*;eewEXpJa;2i;7y{L0};L$hFbyFl%X>R%sJ1ZoR+ z2^ksiVh%@442%RJri}V)FU#o>s-Q;S^%%P?jmkAAYV+QmT&V}9gX$kJTw4HGWw0{n z=?)frOlLeIy%b9D^J%l_#jVwac!o*iIn3i|TM|P($L{noO^Xgw>2<*;8O5G0aZi58A*bTgRgF`+3-%sAFA1EZq(&7WaOxW(m!cE z1_D%)aV|?5t*&H$UGp(;-OR`UczXsEZ!HUByToDhMU$1k;u#qur#GMWm_WWFzu>t! zn(GfACRcRj;p+MPvH4-jWPh@&xsU))x_MJymM8UxcV@)0CL`rmxmd?wf1UZnXQC1D zkp~Jq!;*GV1>Hx|3x)v5UbJ-JXIsQ?*KKo?BVr#8K?ZmCe?0yQl}VNyCNpzjfaZq* z)}Sd(0AlhS6j|GwCg7I?7<1ddvI80%oP`6l&;&sZf}ID5fpc)TDb54HV8J!DO=ENSlfYeZPbeQ% zqDFm;2P4%qmkc^NoFAGQC&-P6=g`Ljhvb{2G1wolR3d+{4@hcR5vl%hA%9A{P`@Oo|j`atk~o>iiypl2ijj zL4<{=&qPtjWOgLwiA5TXCni5tRBcQ8mbe5%p)aM}qYQ+I2%}=p*EO9F!vo(VH&2pH z3t8-km>!dcA5287po_obPC7U7D3BK4O{goM`=*2%r3+xEDW>ud(c&4D8q!p+lcr%e ztr+);kWa2Dmz2UylO+dqJam$oA+44YJYk3F^8axvpBZw1bdgm}AxWJOo-Em;5n+Rg zgYF)#ssPR=WY8ln(m)#H+4>1R&M_`Jd$s8?;}VVO0KHTYI?Nzlt zCN+`H;>Pr}9g?q4zt%K*JUk<@l@MSCJ;vY33t*6YL@JU!0hCt*3O$|?=I=%jdY*By z$!j*M)$6%iDz<>$#b5F|61E?2_diuWxQxHv9=qeJ6_S=(BQBSPTUR#6S)ZH-6YsVaTURfhU6S^F zcWbq%MhkcYi$nJYu&0;n)bYVG!)~@eo`51e(eZCTbK|LLs4J*(RaI3Niw-lB9G5nn zbfZslMht6(I0+dp&ZT7UeIi#C%6!yb`#H+|fg5^ac{5E)(q%=@%ghowAjBmzXcBB_ z=SBB`1(MuK8&I5#)_(zTV-fpH_qH&&cD=^Y`59_O*dz{_kqB8 zfHs&X(haMY4XGdaL0K5PoxA5))y6=A-9Y<6_3yBUN)sbEGX!IqlW+wo9kP@C-aUD7 z2DMW_-RB+$BbRF~^Z zZsOF{A;&m8qt*A6zpv|tFSz^Gc5DOWi#o?G(*5p|Nnt1hL6v7-(S;%X`3GdL{3V;% z>VjEkf~pGv9G6E!?N(7uj~>1$*JD?aio0XV(7c#~RFkmB_JuuzqowE+^gwvlf;x*? zUYz?sV{oEN#BU=vXV=l#4bkpgv}^)0Kpw%uIX3(H;L3MKg{H&rT{BXHUk{z9Ux~<4 zALp&_?zxDLjhn@JLeR&NwU(*RpKV{vW@yoYz9z~20(7;|!4;<15f0>@jO6;8KKmWs zHq{+%IvPhq;CsUU!=?V-sz3`3BCm6^dV+pkkH>s)3}(&SL9CqKDIpj!qu66VvP|m)g+|q7%#1w-|=G!ZVOxGETUenNt*$ z`!r21x74bXI@%4kO|JIZHU00JgQnDlnQqNKobcc`-Qy5Ba(%Jy`oN+KUBymu>pt*N z(dQ-|dVPssFc#=$sN8U=I6F|$TijR|VrX?c-{7#2@kK>f%ZS1XIgueR;#k6DuF-2K z@)vk9bd4AAhtYPiC7JCo3w@rW6Cy#%2+X2NbPe>8!JG&Y^cbfB1%p8_!j#5>k*yJ& zXFLZP4ka=F5+j8q8?ee9%^9K7%Ty>3Fr zEUm@dF=W2TP(MEN7JbLe_dBAQeSo8X0Jhuafa$*0)4Hp~FRO<0B=)N9Or$%1Vs*nm z)L_j&)X?qW&(aLYF?KXZt-J-CDcSoV{a9Jx$=JqWpFLM)4p{SAIA3*Y6)fVK@yFNa z&iV0=^)Omjr>gwG6a)r&iyXayhh)9<<^>swk@~M+Fh89f9g|=>N4v@Si|x8hITD8&UnpvFt{^jL&xi9lttTjuSDWAE^Bo_%k(P4&z~- zPb$WarPyt{9f2|q!TqJz8>;Zxz-|Yb8q^w`bu8GL$*rh5pCfhuf&Ilgr@LF~=x~W> zvrL=iwxU)nldJ}Y3d9;iubRfpjd__;21nSPWNzpdf|9WUnJ**F@V`R9cP57WVRv`j zo7bHisr;aeOQBPx=rLo9)hDVWq5~zjWi#YE-h#hE8$cDh_*2>DRE9)o{M^|XwW+-U zQ#Bj=sHGCDsp=Y=8(c3xVWv830n&#%h8PxHnJoXZ5&#k9$9xsph7yFboc12yqh+K| z%8fjF%**-v(y!ZhGCqf8wvQIN#XP)F2JD8>3NLO9i5;82RxOGIEVc)v1&Vj41m8WI zmG0|4=76`aVn9~YQIdL0Tx%Utase|uDYEP}6eu;Gl_93t{v#F1pE4HW!^1~r>kCf0 z?#mX+Ouw?EgN>2@JdPkv2AZ212K>KU?6H%OCkIw_xo`e3w%T7QW+ z%k-`@l=H+WOd~8gMWgNE!x|{-Dq^gm2m%ju7wYoO`8&r%n_YH>J=g8HmB?*V)^hoK z-#?*=Q2zC?c#;WN!gaj(*NhRdqhTuelcbC*YZTq=>y+Z9liAU8BooQ$*jOsn|2>)X z;~JPnMEY8TQhC!YNu3*epBeCH-fq4Jfkal_^}ZXQBnQ4Bkho8=|uN;+FUmSa9k$)QUisQT z(+!}3J$i$Swy%1k)yN0BXHQTc4L)js_AvjkB zKt%Cp01N6BvH5q=kaiI?(o)^QeaU-X7p-03UmBK&w!=Ju1vZ=0^wr}QhC&8F6y z%>a8o)3+Xn`6sJQs@8)i|E^!x4Xf)wt|goERch+tylM<8*ySfxzieZ5%Q!264ClNa z!RJ~4TkYSKj%sx(PU=ot#9HyQ%F$C%PV~K1&)fS{21#@?N3J!_zdADYtMozbzWQw) zxy~Q`f5=wpYQ6Mt=3XDF_tq_%xKhp2NPNoEzz5@zI3#WHd_iXx%wu zgruf7O0Cxs>{E}sAM%v~WAcqTr9_&{kd+ev81kN-*$+9Xv-xgq51uDe!UIk}!3#5& zMLjxohgIs8Yt%s%|7@W2Xz`8QDD|w&TBcU6H|QavZddzwL1?k|yW<)0i~5UA><-Hq zOgF>zdnn4z;M8l{-$C-=a6#8ZUU|SbxHxbsW#jX_m7B}H z0wA(fAoCV`x83vg9$@GOF;6}OJu5Ki00D9$@Gw4UjxtY1F!f#We&P^)Vk{Y%ida@K zy_?HN={{?sE9ot%jiOG;Fsqv$SGrb_lL|kXF3Cu7g&af$qQIuWrnI79OCBXx$d)Bg zdMCS+*}sY0p#pBpzf<3d?n6hOpld`@L{1JD4!;lUM0P|bh0yKE%PV0}!lC&@ZiVoW z=I{obC#wK4|<;|?tszzcKcNa40lXpps}h0x&7#a zlVQ1o>*veoX>S+($j$ww1GR(DyNSCX?*M)#L7H6jxj4Q3jJwBno?I-@{{DPq!GTyF z(uc!ootP8yhyUrXf;_|z^V8G_-KT-=fpOyp5?pWN-P*t(fHvey0&Xkgz5bxU7r+D5 zB=jVdEc6y2E$|WS;ipai?bz4zf#1#Wj?YC-IB@&yb?5@f{rcqLWc2d1()PB!ec$C3 z@HcDci@Zjs~ z4ft*Z^_5v`00X{*?<_k%hyCVqBXO&FOO_8d?~zYBFO}~Uq=p;BRq!WvhddR_F)n-d%JHU)d-)9$pkYxWjBin@*-WkAYNbQ9d?LKAOW%_A2h~ttHfMEJ5 zfQ&>;J{;G0Qm-KzcN*^;GYxfQ{7$^9CZZYh1s;H9jX4^T(~SkeS32usG;^)Cr?`^nPvv#}>7n2GgDstP=_#}-35cS)k%JAE@mh-T?UA+T~D zl8s5U8TJnLcc2cJo%N?uAzO8giyj$n z3Grm&gT?wFaZ*U88s*5&WNx!Kl6n!5x)_XBUF`#FuufAFjNsk1e^SAAG9cTM7bwzy z;K__vK(5v2f08fPKt9(q(|02v#c1aaJ?{(z!o%0o_lQVyGH1l)W84PjpbcVJn9U$(YXV}{ zdkp8XVn9EQY7_Ml18O8$eM2xi8U~$wXt>|&KfjqRM{Y@&qv0xivn(+|{-_%Z+z@ZQ7!>|e&-#5iUxe6M8o5$f4 z8mb#|W4_8h&p4)iBOPgX>>D(yrl}Q2aQpgR5n%&oHsWk8Dn4KzXlI0E+7jBnp(6D3 z3uj2{O*a<7_nmilrM&uBFY&ydc+%=LBN&diB`H4-&T>K3^DvE`<7{ktdIIC6_ zN;iVVH@^`kWP>XW7(B!UiNi7r9bO0b8io3hf{BN_{vgM}nhT92g!ybWj0gE4Eb_%s z2&6uRhqK*)`NCYTyf=tJB|bud@nHvNLsB6lGu=(#U@i0{>~AK6H(Ra;_&9%iklbAi z6g(BKV=oLN)QpWOHwjlGJBZz7V`nuLa{gzCxC5VMuq-n$>_?nxY)t(^gFYGAYhn@Z z@Vh7@f%kC;p``IrMoA*{V8)}z$-X^34%DMEqGo}{`5}q5sAv#xD)UmAxSyB92u}ToNFhV z=l&@{hHeXlvZ18Cbrh{rTi{c-#NV$4AEGt25;anF*;Y2GgKhlv9i`rQkfX$$P+IkDoAC=|km{#AGn4dXg7oE$M z1MxBaysK7nbM{2fx)tFxOm|k;9dwuS7Y~s(cy4Ag zOGe;wIy?(&(Wik2UPi%EsK8n%PDY^5DsAj^|4(?U@7Sj1qq%2;y*Gn8;|K^{j!WY) z0<)n4OQAoeV+1B3_4H5YEHBw=iEYd!ncPXo7HC*lgUFV`mG_OxTPsKdo%nrPWn z{JYv7aM(^Puo>fZ7LaZ6$|Cd|JnrQq!iV>~iTKY_ysi@T^;_atz_J(b@gL%OY9JvF z_fw6?a;5~(H?*b} zhC1h-ogChfhdfm4zRMkmLq3nbgc?6=iIQ7V^hK3~S28q4PWE{7h%WB^@LiEyAd+Ev zdIxUYY8w;s`#ISi{5Df_YKpY@DDcUeoH9vrnw;>4Fk@J>QJQmtG+CN)g6yUEr#xk- zIb4QpY2w*%l*4wM!>~xUH7%PoDh(wgYx4B>CK*_lWS-)bl*EohdR4{a#20fgo-BIu zlLQHKmKQW0P`1=86?Ougs!Un}t*QdQIgO5FS~A|fMPtx%60fQfo-|oU0+2n?a#2(> zNyD5&M{Ff2dVIv3P)CW86qJMr;X=8Zm~#l_O7?=cE_F@$H~DQGa7cPjaz+)OATa0Ka>l&K zhOi@d%Oq2xuoRJ!>5QbO6iARfV_rhJq`xRpi}EE)M7cwzmCU*5K#Qg;|Ets=jeN7- zuQjPI!ERzTl%I5mdtKXFJqGE(y(pDGYegY|x;}^9lAdc;PHV{uCt5mh!O|ViDw*(* z(iO2Ib@S##MztSlf`|}sP>@Mt zW!|Q<*qtfIBoYvgpSOEXjvxNLkLtpO3Rd{$`~&g(yTI@d;(gx)e|n6)>uAwLXRHoA z>fq&g<|cV>HD>r|X&{|IP`BU=+n+|^5NHTMBzTBZ681#bp~ro}duez4R`?CqQT(_C z_?yF)Ew}kNTjedixMG6FAi4inLO0XvDX%Z6KAYdk8v6#tD24MDdA90M%q7RW!yDR1 zYlDP<1ju|SvcqwRgchWgJdWC_TuG6awCau6zB>TcDcq~`2JCl4_b~`iNFpWG71a}5iU zZB^ls#zVGzq6tr$80A=G_qh`Bc@@z$=cUH1xCz)E@;YhPVy{&}>fNnaDe>i0KQMg2 zLs-XjJm@XU1PYnSB2P*@*I5pUl+>uLr}oGhbklA2c_UrG=S23Xmc4(o-H|TUG~dk` zx$QPi(vyfx>3JN5wo1I@67)U@?&#o&%lpp~Vqn;?=xC`=0-$1B2r(m9;f*l) zqk^Jk&2rqA3?Htf_um;jImPjo+p23Bo`6{SIVKX^lC&Tj$S|FyCZ&MefeBE$2k`Yd z7`ZWAaC(%=YO$~b^Gu2@&XTBwU`B{n!O+MYRXz03JlW@noNC7e{WvwR=U;oSa>+R5 zd~;_Fm>oeCK(Y4eqCYN>O1X81_$8Mmh*@OvmG&6gWCiaQVlzm-=b!$sl8&pR?-hm_ z_GRjef$3*XtlfW_tsHMUTwrILD9YjCGQVW8D#c8A^nd;k;du{paq3QKiom6`)@2YC zgctpMVJ;i<4;{CWmZk6NM585n};8}+L* z3Cm}XyoDB?hlRC>s_eHtZ35nIusx%ka%|5oy3b_qGWR}^Yn*_=H?aG*y>0rL9@kXB z;o1+Kixcek^E(V7T>h7|_cR-_~Rzj>_yk`EbJPzK5nmcp)$U>l4H$RC@kFOlCSNiYqRkE+`qYNTLKebA31UUcSg(wwOk?T(X$ZLkylPX14kie4 zCYZ9Q5oblHRWFR4nKyW+3eHY5VC^i9VJ+J95uU`OJiQBMgM+Uf@W~*YWM-@Zm#hLo z2MBD~R5*}bM#Q}!V?_i3p|JIUY{4Mz3u^8bce4N*$y9D^_du@L@u+(`p>|?B&V$YH z49jevcXKlG>hA*S3t=6G(r3GDm@ygtkgA<`grnJ-+H)GIE}RWsMB%NGyhU&*pQdR5(8fJI&! z$ez$nUg1KO-edt3^EDxUx?SK7QA`+*P@M(F-6bF%5r$Ld8DPOd(Ro?GK5xNm$%>+8eRBDZr#F0>k|$@V8@E;LjzUl?c^1RBE_fE%t*1S@V9X%U8<*e+`E z@3|uhZedx{)p(9#HY|81M!E-))8pJl>vF2aV<%(@-uIH<0sMx%qd^$?s{Nnz3F~Z7 zszT6R!~tQ_OvkL+U#mZXsRP^ox-+`2-8iu=FHNB~l1QI_ke5D%R4ym6p9$uR%5P5$ z;{r+I&ndUyNgs^N;UB6Kr{G;}ikMf;z3#07e%B$@mShzzjvX~WlzpN)=!S7LcXSw# zI+}195wFO}ETIG~r|0f{lL|eS%OW~UnZ{`|^*8WlsfzvQJ2@qwjByjkCI|V84}~p^ zXPii6vQ=Eo9~Yt{&lZzdt-ne`#`wy(hpMLUGPHtMI38!*xjd!^WwM8n)Gx_9iOd8O|Dy-;n2at`&?;c^S6i&HG~6Mmxd@$v~f z_!la&0p9Cm&{Z-n1wjYFd%xpV5ZQWsoNzpm%*h6MJlaBt+`K-Is3Df#lHJp7;L zEnGh6mh#m6Y~9hZv?iQ;#KN=P*jue!@TFNj{ptRL^3N{426qK74?tq<;-dCXk4 zO1vi2!#3I-iQBmI^*YnFtfG4-;Uh`6aV6cDTd`v$cbjs6Kd(esdhiMlj!SJR{5Oc0 zJ#z+sJe_CQ5}s|+RNE}f^LG42ctN-mkX~>jKHU21OLX8Yi{IRw?fRB%z{{v=r8{N1 z$Ylyl&@%eD>RMUEvT5eKx^!)w)|mb}dgxDouKI?(R5(%vt=jExFiA$-mU2|(C(q8y z9PhJKu@fBwJS#AaBSP$=Aw)kw{}9a^ed6BX4)O7cQ?we$V8E?&GSyeKD$<+t!#2X^ z7SoD9B^;l-f{#ni>O?0Lv8;5Yy#5~0v-2`$kq`1aI=ILwTgT2J3sBM@I4<)vIKgSQ zX;I@d$+J1~AjUJZi#J5BkhdRQ>bLoROr__Y-SsC5h;&eNWoo#s^Fc;8dTiA6GL5-3 z!PhhBqu#bKhx+Hmd!d`p0Qv77VL{f(5Bu(HEB-p}v7=j~n)UL4Bu#fERSi%jHPgxI$R?(apU8S=XMeVvbu28J)>stIHL$~J| zuVu8Q4g7VyEuoVJ;%a(hHIkM>LZ3cx@{>dvICRAF_M2bTUSG)cMD_QgED;%H#zb|H zM9X{BZv)uv2%j1L+|(_rnGN6TAyxiW|2t>+W_fEYjXNR!>La$bJaXN3OnJ3v!KE1i z^H24MKk^rF0a{JfB6F_jKzwN#nqOuW>jV3Jw&HGVfBUeAL*I4=zfK2S)nH#}I%qEG zfd^>klFrRZZ(0)v^Zgw3dvn?tI{bE0mYlH@vY7GMQ(0Mkdm64vX|d*3g;X>)2Tg9g z?#1l%2cJIP#kMb(mct9dFC1iE?EEXvMpch%wyYdmcIoAW=)Y;N$)+wt=g${dG$zcr zw&80;(?5y~t#Qkj`>IBV?b+Y{_ukI% zPAS35>pikB@Gl{8+##|||MgRlVQ8GTRbzLQrfvI8QG0h5sL}xJTTw`PI3H|`Zc|IB#$S2^m)R2*)=cMQUZvMf0*fkwNz)@f~gEVIr~hjN9z>HU1Jxt5!u5*4DKzGBKJq!2Z@uJVpcXLB@fVs2@wn0%^D&hUN z3dGuk*nT#oiQou+Y}f|4;i(wJrf<;abvoDRr46z>=_p%8tgO3E`a!E4O$?()clTFaZbZ~>lRa$V2q~ zpZR(D~g znescO;B7%lA)I^24FH1mb}deRI9Q1955emWEM85cZJ5jRvwO+*?|DLar>Do3?(Tm= z`HJjO#md_dMGNgECV{!9;tF{C{<{6$24)cQD1~)$>#Ve>l%8IHXaZf7!{tzg-h}Y) zJM2*`2FyETQX`1lAMB7G!@l>H?-Nu=P%Y*7=5yVA|{Qno<*7%SQ% zK}sS#I7JrNVmNWfpgpvDzN`agfYP}M>55MBXOEJk3p)aWj6h|sDCfMzrK=@G&$t^p z#hD>C3r@Uq)6^NYF|;F%PHkwBo?^6OCd$| z@Sar-)MLvsV5=V3H5kS$j*>DrGSgZdEo>Cz1d=;2MCnpTCri^ZD^pui6=V-4OGm>j zkWtE|G;+LqA zx{i(-V!$6wCxfZ&fj%^t(&MhkT42z$cSe|PFR3BI%|IkBU445w&x;*kF1Z= zAe9waWn$75d0&8v;n^BgFzJt-Xy2}UgepnP0wdq9dU{^dn`2s_HP@$n1p<(jYoF#S-(cd6A9u>|H9u zM}a9wj9buSVu^98Pkr)Vt6#Lbqe=r=!WQp`rw4swsrNgQL+xCjUcGEzh%MDz^)$*@ z!hBn*c-IJ^Gl2{gSLrQ7R6juxWa82tKKVQWkvtxeyw7Xam$RYAuBlVCqeni!v$mH@sxNl+=`il} zLQ#a<>q^3=kG|*|42SvjXvELeQkmGunpSI%=bfcZxhnn?up%Yb<6da0|WNF zl-j=>^ZTlC_B8ya+|gF_vY5xO6{6os$X~tDXEFk&8}=D&_!uO1y9xZ(AvMqvult=y zVZ;}DJzltaSz;tJUqyOz?%MfLsqfPjZ(*Q$ZjzKLwPv!BHC8v@TEZghrnF4U2cF%LI+QwChh!j8W?4cdNrJ>NPP9};&#E)+O|yv$oYrDS}&-TvfK;*cS1hs`Lr|o z;m`xt*M+F3Ji9iBO~z19cok#*mw8e*uZULaQY!4mVm4!&`O>lbhPz4NRx=P}xR%af zq%Dl!WFr=|vifrP+S5EMWryxA5fsotsr7kpsGBSY%FCZpoG;ldFXPpEvM>78(Oj9J zse1}}^!QHTyWN5H(hVW-SMKb-1M9WKz0-Ta+~>})^EBJtXTiMFy31XWSD;K(*W0t8 z+nH1Ve>BHH8he^41-m-`;RJXz@c@6;&957vS)hMiWVLsv6YB1$V>E%U`6-m@5+9AEh~u3o{cVT6wH;^2oogqewXEzwRQa;S4m&P`dg@U3gQs z1vF8VW2#jjx%(33aB^tnLXFyzDP;0eNabeAmDzGCuvko}xt?NJF4TPl-1Fe|W*+cXZyBZh}Wm67wrPKHCMvPdL7snS|bE{8eM z3WpgNnWJGM!S>oYVaa~heM)^od+2?kA5zBc|No|p{)bb_#?AhZQ;G=;RW-01WXAY0 zSJ&=`@>swb;EqHST7eGtV74-0Xy@vI%SmJNw%ccvq#Mf8CMv5m+rjlWyZKMOVz*W8 z(PQVwlg?77zh zM7-!W`4fS))7_AtQTH`)8*3Y(Z_yyNxKW$BqC1k;C4OVDhFYm~*N6cJYzzCRU8|S@ z48_>|g{th#X!N04s!kQ;9n(S34h}cW#2*XGH9hF!RcJ)Dx;^GB64i2m<8Nt_eF}h9ykz4C!$g=Fv;M zu%pGMTim=?yH@-R#@Kfy+;erJ#1Kk2JP~d#C2{3@V*Z+{r*J$xkp~`ooTm)iO)F;B zAJm9pi4sFp;Y5J&p#B1tK1mKPxWdkY3*)&~6T{z)vUX;_D6Xfq@kRIlsJfXM$`szfe)H%`gg=$f`}vsu<-D-75#;9Ap~P-!^DKFCI(|`8)S#Hzz1jM zXrobvY$gIxD?|SK0vsXTDOfmJ*x6WExpZkrm=v7M#ZBBTNT|hmS(#Zmm|6a}5ESGD zX$Hm$S|0`ABXBU2FiG0Dy1A3Evx30J03-l*c8>oUhnvySQQMTq`f;N5NLGPS{?}2X zq})_N+IhPE&@A5@B_BlzH*0Q6{{H4xh^vJ}n!kLzmhiF+G;wQ)9V70xGo zRmLIKPM8c`#(a=Xyi*n{9S3?GTOC3#B)UGI{Lkv)a_2D13ywW$ecwm!(|sH??*z1s z9%EGYlgNGLmkndz!lZ%0mJ`|J%7-Da;} z2mJBepVVX&&m)I4TC{E`*pq`mWOX33@R=!KeAw;vctzav*YBmT(dl8yp8YCT>L51f z?iQ&jZ2cqU%=C43_L-{LtyRPao8ZiidfqP0Udicy1;GkF_4Cmzw36NI@l!sy|1qPb zWC_`%u^^Ki&a&a)c6)R`%%LYao#hYTm_TZii&DscV2y*dgTXK-FgZ*-f!f2p(|m@u z4ehP1Mr=?vznO(5bwcC*=yrTJ7~R9_9XuG!eruMW zj~O|Cb&}r?rnAW}w!VEgzRBOQq(8aKCzP1=%7J&}@8jbzf1st}h=)Q#(M81s(uo>w z(WttxFw1f48{Lo~H7}fav#5cF)h6OVGa=4*s6!&tSs8 z0u#Oi6W(@1!l^nWoO~-t{3h}iR5;Uu3a8(H8Wq1=k_IrGSOCNEKLHHURg}U!j}jS| zwu)<0*%cszjjyRuyAD^3T0vnKYOiT;zFG~it9-5o*F~3(5o}+K;KR?CUq1F5Xt~ge*~$B*-5^DrnESEri4T)D}#~-^aw(K zPNWr@6n0affkX|KvqVV>IQt-)(uhuJQW_wWk`@sR2p)`SML^fe({n(g!D(EJfLKcv zZ_rE6RO%Y4$+iu~i<2qZKFFEim!~lq4ACg*v*DRIMEatiocH*o>jK(>bQ?}~jC4U) zK@2?D)Ztl`Hu0>fUxkzytrqiBK|zv#H#mfcEw#{V&=3q;`It?zhw@)F==Qc?2)e(SIzxEd9c(ot{FaHD?1h9sSoDF~trDMWh$qy2>EOCCJZ-twv1~abmC+QL@ z3GIs1IJy(#=xM?wmki=U4NMqRHf&{5jFv9fjS(jP~)&~ z>7E=Y#rQx-ftvyuIA87Gjhqgq2yI2V&SEh)M zm%Y9INnEcey7@4hbg+a(iVKz?YEA}5TRe^0c1}i>p=-xW z9#w^<^=_>S9ajY^KiU0%kxfto>nwT9Ci!TXf1lk9?#tGM=Arp+Sv^=E)4o0(Q22Q8 z`RoWm_6|FP1hO_Hy(8p+u`}@*+TxHD7r&2-pI%AU!rTDeROK%_1Kmc+pbbT+XLyK- zEV&&&JY+0+V9BT+t$RtdXO|bpm%R|Je{Mx7SRweE1?xM5y?7FTQ2LU9zFqeBz8oT; zlg`!Cyjnew=l>GWqDZl^bcK`uJKs!C*3- zk*BmWM_Ks{O@9sUW(~rCtQ+}q z>kay-TbG#*d@;EqmIg7!}xssja|7PWj;nEc!yHYg@ zS2jdlef1iD2EZ+yFP zI?E>5&dU4O`XM&UP4N!6R8fbd4jpwU>M&7MRQg?_tpEGG zhYNXfKFzDiq4Oxa$%oSqACj;0hv^l^!)dZJx3wk0!(?kqRz26a3Mc)?e6$^$W`2R# z{{lUPMuG}uZe(+Ga%Ev{3T19&Z(?c+GBGiivU&w0e=;ClATLvCdSxIoF)|=8S0Gy; zF(5M_F(6$aFH&!BbRaS?IUq0~QXnr$Zf0*FGBGe9Fd$MOFG)loTOd3(Lq$VFML9M# zMnW|?MlwM&IWaUgH$+7^MKU!)LohNvAUrlhMMFbHIW{#$LNz%?GC?yrF*G(eL`677 zGBrX&1u!x`AYGTCi3A@4HZ+r;3l)DQ(n)AjQ544UbMoHH(3qq)HEG(abx51kp*C9U zJhhJ1I@j4cfFPvePFF766bdfgxV(xWxDmva?j#6;)_s;jce>EJlX(Bf&5!TgbMtQQ z<%me86%&bHg3EA4MLLBf8hra9zHC~lD*D1wOeHpBDG-rt%aen4$hTC2QR{z(zAX4M zR4XH2mMA}48TVzcFQcbcCVW};WqjJoq)MV{Ddp2IOKmF250=t?b3dmIKn29^u>^K` z+(uFcvap-A4Wt~j!yeYwla@jU>}72oDG!~nkF`P4GAO_i)~ci;bir}fDx?y0!wJ>~ zNIlRCldScVmct5|Vy#SC34MQXfwi@yRj?Y?fbFZOq-O0k>{FcK_`A;b+0X1Ac0s$j zJ;@Mkf?=q^X4nEFFbY+b^nLsMRz7MEW^b?qcEWzxrjmWmK4)*g9ge~QmEtS=z!;3f zK{y15RYo$_Jp;#72A^3u0Vm-UoYr9K|M*;lvl>jiv+^8ACLyFePvU<$oxR^J60hcX zamN$8J`FzJv)^8YYj7Q=;Rf8)pz+YpedD|5>w;~*&2L4cnR&aVLJR^8nqz)n^QCAg zzpWcV91!cqoQCx~zENNF%s#d*BkCAY zm)CHv>>G2O`{uoM8B8`;(D3bFD~lS=|FP7i;o=iZC5<{-mbx{ny|&b&(PZ8dbLE%~ l$85M^jq0ELr5}8ee`R%b_m|3j1s)4HGc_;@B_%~qMhZS)KU4q! diff --git a/year4/semester2/CS4423/notes/CS4423.tex b/year4/semester2/CS4423/notes/CS4423.tex index 267b40b7..8a9e0078 100644 --- a/year4/semester2/CS4423/notes/CS4423.tex +++ b/year4/semester2/CS4423/notes/CS4423.tex @@ -266,7 +266,6 @@ A \textbf{simple graph} is a pair $G = (X,E)$ consisting of a finite set $X$ of $G=(X,E)$ with $X = \{ A, B, C, D \}$ and $E = \{ \{AB\}, \{BC\}, \{BD\}, \{CD\} \}$, so $G$ is a graph of order $4$ and size $4$. We can be lazy and write $\{ A, B \}$ as just $AB$, so $E = \{ AB, BC, BD, CD \}$. - - +\subsection{\mintinline{python}{networkx}} \end{document}