From 9c237df32b33f85ec68c3c8904709b17b251671d Mon Sep 17 00:00:00 2001 From: arc Date: Mon, 24 Feb 2025 10:37:45 -0700 Subject: [PATCH] vault backup: 2025-02-24 10:37:45 --- .../ECE2700/Karnaugh Maps.md | 6 ++++++ .../ECE2700/assets/karnaugh-maps.png | Bin 0 -> 23574 bytes 2 files changed, 6 insertions(+) create mode 100644 education/computer engineering/ECE2700/Karnaugh Maps.md create mode 100644 education/computer engineering/ECE2700/assets/karnaugh-maps.png diff --git a/education/computer engineering/ECE2700/Karnaugh Maps.md b/education/computer engineering/ECE2700/Karnaugh Maps.md new file mode 100644 index 0000000..e4df8bf --- /dev/null +++ b/education/computer engineering/ECE2700/Karnaugh Maps.md @@ -0,0 +1,6 @@ +A Karnaugh map is an alternative to a truth table for representing a function in boolean algebra, and serve as a way to derive minimum cost circuits for a truth table. + +![[karnaugh-maps.png]] + +Given the above truth table, the columns are labelled with $x_1$, and the rows are labelled with $x_2$. + diff --git a/education/computer engineering/ECE2700/assets/karnaugh-maps.png b/education/computer engineering/ECE2700/assets/karnaugh-maps.png new file mode 100644 index 0000000000000000000000000000000000000000..6bbd1315e7ab959b7427277b100751ecbc5e0ae4 GIT binary patch literal 23574 zcmeFZbyQZ}*DkDpba!{BbR*r}T~Z=QcXy|BH{5i0i6Y%MAYB5|Al+x9&+~iVKfXV| zG0qw1ypAQ_?y>K+SIj-Z_~Q+07XIoL=_?s=5p{RNqb}QMiUpk~9|hPSBn6E!!dHb*E+X-Zu*&yw z@r%-MYNX$IL}dvA(jrCcsm1Z_Ud3oZ#Au0r+Z=JfWiv!Gr=O-j5EtLtwiQSyxRh2Y zp%z)pVA0_g(M1uLM}n`ElGfoCx8XFKpYR!GIr@}(-+$Cxad;4J!G7sD?&Dj!e^c&s z?39aOAY)Aa8lCjt#={xlmUV}`DhxsSpSF&c7rzQT+QY(%0~G zLXiLUjki><;X!m?&ba=oW1tK6|LNlII{(jF{J&xs`akUMv)68kyw@Q~PM^wWt$$RA z-OKnxNdwK83~IG4URCE;AKb%$-vi9krP1?j!+SS3w~edGSO2UKEXC_s>5#fvD|Wc} zSAUu?DXg;en*uy5sQ+BSg;W0DdQYW){C=Jex60_A^!I}B;t?yPNq!ehXCzjpsB-q) zE2||=b$IA$UBoGEiyr-!5NqZbamEP!LUxk(+VKBQqBk8D=q8dpeW;M}erWr%*AE|M zi6*+yMVFrlE|k-J7wW1|qvl)>E@sm*N~f#| ze;4T$98_*E{9zN01bBuDzy3RQjz=xzNWF?JXFO{Ksv!G3<`G^{Qo@(JbCfAeJsXb6 zVGWc0f}Kbw&ajaGbdeR%3m+|gG&5y(@xkC}fpOQwa>NNo1!j>hS;Q0RM*}=<^EoXY zTEF6SvZhu72=4-`3D8<;f;qu%8Ezp zH)i$8j~c#GhJM4JnJ}>UBVk=l^uD?TzfX6z!SFE1+URegFDW)rXKWm(-UNJffH`Sz zKkdk5WaZa#G;JcXZFLnJGZpp*?XMU=uFTG+Kh3Ey?Zl4>#&wK)L}NE8)A0_@%T1cQ zp5)u!M^d!V`Rd<77c4-?77I*IQ5$;hXvL4~@t{;_9&K3q$gDF$b>Gd_Y_|9ww44T! zJghS=5Vl_Tnqu;9F-d}wJfl=1&D9B9FlU^h((vpp#39&8Ysp2+-!y=erU)U2Hw2hA zi)VjD;AlyDmtTqKB*vq@X>)uN0!D<5GvDZAPTjyB9<)L~Cf&PCIhFsV{k8%!fQAf> z9ywCeU{i5Bfkkt&mY|h<^>Mq$)~rG2;c@M`i>74N^Pp;B zE;~xaV&rpMLN716_Ub7Nxh(twIbp+$Ho2iV=}Hp=t)_Tmqf63=uaP@C zmx;ytQrRw|y1v6(rN#|uW#yUsa&X>3L3EB?9;4{ce(T#&(;9H>sGxo6Od};i$_2} z@D;=FoZByGB$Xx3i03k4hEbB&(r+Ae&`Tg=%n8eQ5}st!V>)cjGgC^0AxUKWb@y8v zk!){S(}tcI8w-WXEk??+$cQUyDz0`^?5e$JkOv+dBUQk4_jMQgkNLhZp$jtaUH-MR z{W8fS-}LP&l*9x>Wp{n zmb;5Gg<66%6ieqR1hamty?j@RcC@2>tbhUp<=b}KD8 z;3;hYM#~6qhJ-tSYDI|l-UG+8TTB0RvQn?`kuz{!kZB+K6yjp}oTLbh#iE)?&$$Ps^}vmgdofqbfXd1^t{%be>@OKljc zlBb7>=Z8@j)u*gW*}C0{JzBqUzREcWoWZO%$x(l(J}G}8)s2try7CZ|sB93j@}RC; zXPw61T_-*h4NvU3w}`$!rF^0KO&#_Zq55*2tPeaW;22?m(9I;pUyltu@HNfp`Mc-y zoHTr*bX7HPNSX`(Or>)G22i5{8}}+S>;)7U&p|<(THD&%rd_g62#B$Aew-YQgW3V6 zXB}Is18nmvI9k@r%NjqTuzoP9Jq_H;szmj^S;+U!U>b(h8kz9DYPczUcURcEAQ2QO zlBZ7ZAw(xniHZrab~o2zf3_*%{d~Vhl2KHU`|j~#MuauN73ed||CLmc;;V>M;BzH? z0CI*4Mt@eU8Dpe&d-U9^kjg}cU-+iF*c!VR-o6_+zORk$7w1o_-MT)ypO?OS{9xxN zL=9N-DKHUuCA}$C;By;B_@6-TWw7&aAeU@B7{u9^E;2tTQ%8@WbBkMCT*Svv%e@1a z(w6M3jx)wXmC)33sChjo1P+79@?`}ttn?H31dRIhh4~cWJ+J1sL@j6|9?R%-^hxH6B`c`(U{RV`g`^FpZ z-=A}{6kd;pKuNDJ!!jxmg06ubRQ8jnp?JIhtGs}v;)Y8e*sRZRR%~~Tu|ymr9zQe? zcA~|T=v89mSGv4#Qke~Ye@k*S(4bJWF5HUqIeh;)W)lyXaR|mbc(pIn9~xN0;6Pzn zDcu6>LkX9kY-;1%L@HA#zNbMsX_1nJs~WQMJ}=G-@M7B($D4G(cO@|L;&q)7YQ2Ha z_Nd{*7q$2y)-CJu%OU*|6`I1->B5ZoK`FxpKkV0YYD0nVUsf0qMS@z^e3vlP{O()) zy!r^;@c<{#3E;r7Or8-SFN38D_yZfnR9|4jG7YZ=q~xqbiLxkNuE=Ox(5_IHWVMir zN6dDCcQJAl-PgCYCEumb0N51tDn$M5Vt^(v52$p1wd90iMr#Y~kM0ml#Lyx?TH4jb z7T6}O(rAC4)2dt7R(<@DbYMiUwUJfe3%I$fO|`wMmeoLXHKW^MEyV-`7OL0iX)r)C z=%H+Z2dpd^^<a7wk=zm%0$5LxiIyEKhXZxMd$GY{L}748r92c#|RH38fShmJC}g_t^*xu z?*6pRN|c^7dc1&z$sqCb0H19y$H`rNf~=IN+DhKL_@_3xi?A_KxAk-nd-~{W)=L1i z^kS&RNWPzD5>N!3ktNW%6ZH5d@OJhI_l7KeDo|hz1226g^lQ8r`qU-bLF*o{vG4&R=kuVH&}IaP%p!+_)^1|fgj@U731YnQ_q;Li8UiG{Vm%8( zO~IIT373-4sT56AnmTPqGJv5o2Kz&8b3~OL zP}7H%ys#l>^(soSU_R zH9R2AbAaE|pcOEo-0sr|IxO8ys))v>Hxv~_HvBqd=_B9jTGS+OF<&d-JiU^COG>SW zSd6YBj)9NtxuVb-5GE$(FG|m$ARz`g=|IK2l|c$UhlJo5>!!tfc7-JKSwj$AKB|TG zOX#^MW-%cx0b2|J5z774IJ7v+NmIe3k;1%k1f1jAT1h+YiH>$SOsn|bg8ags?tvRF zD_Pi1@JPoAZtu|+u0)G|b}~`0&h&SN>oR4uD%|bGg60qTkgvA+hIIMUzeuSAESF;+ zxYdL~@q(`Alj_@NFTOV&-TtV6N7j#+->a7$rQ7}O$skqdFDrH?CG)GgIG@px^DUC+ z)|R063%Yp8?u z(ma2CUWFw`5s*xds*pP6+>w)qcke_nm_2iyj;{6(fLcF$0?^e-1jx?kKrdi-4ZVjf znVfau=fcFIxF6<;3_{gRXz2Aw+<^2tA#7zyyrcY2N0$7mR29}nGEIdn{1HzAmTkwk z*-m*!nZ*nhUWfwMq@kVB(#0@cGK?{a=~9PZoZd#xMYzRXGX=r``<9Z?OY`n_h?TXt zISsBk&2j3(bvJsU${Eq`kNH*we)<-OHzIpd;R6uD#&1HBU{f9OuCK|_ODVl*=^Y>z zvSJ5UeIlOOXwIgq3)FoOZEy!KTQYD3aHgD*zeAt4>WU^Cy?^a)U~*62V~pGU>q-m-T?vQ^nxYJ(A4)|a3jD+jrOyndQVS~vodi?A6xQzbIV!}M4<%LA zr8_8fh3v1i*`a?z^DM@DxEl*ZJ0}frqCUNtQHqP8GnhvcXH8D>6)hG_Z#h3&<3sLL z8f?9w>8d`>+GF)X=MfA@#!#)E*?){@*p=*&@zD7)e=qGg$#)&zUXF+to0yb#+J<$2 z0O|@@DYe_WT|tu@3ax%q#E*S^(wJ{P9X`y3m)yy-Asf8uY=aVa67JM<5&dZZ;j-Y?&!pU+JeV%h5WH}U} zOct>Q=|v|au)hpzxNYh)^XDuAbA4$=nMDFV(HtYlmW>M{+T?~}BYa}J>z>gEX87s4 zGM;!>%ni)?J+AV8{KReg;Z3g+5dC-aZ%UePlgm|-tg(JdNPBS3H;O%3ioo_VXMoW*-gG%7W|cNh*tW%Jco zLq?R>y&;)^4WH`Ch&CxfMeMij9xaves4gGfk|jq1({AUDHc`h$jJR#l45sQAYZ=`J zC@AD8&@+H#gVEL2ZpYmqR68)?i)|BRxvaw;g$?9lBS^kW5*ITP6+uiJb9@a0o<+C4 zT&AD*tz!x%%&owWp3ONp%YFk9`GjAY-cqiILx5S$&%_?hUIKT4jT9@cX-aXJSXZ}3 zvzlrkq?7tdmF+of6+&X0!eRu+lCV8m{)K=U&GAQ9o3Ak-&YT8B(!93vc$$`JYyv1S*a3*ePorMd|s%^BBfs zYshZ@^7YQiI}G2=ULaBaR`Mx(qv7r6$_ykqF6a0=aTnZG zWp$QIsL%4L*62GXKNy-PYk%%HH6H#J`n;JA2N&;;5@1?K+rg6*YPopSOjAO5CZg+| zSj(<~SI7LZEDAw*?rr?oU<#itq>B!rx;8r2HXo8YgM`_+#)6*mv>{QyKAuHWY>D4> z&rM1G8yfOjPrYxHE=BV>U%wgvS^wvGWQW9>H&SgkgK-@;=g#AF)CnWzlsn^)JWNu< z_$;+<`U0_(zi&N8+8eay0&GE(=nin?83ZCr;$QXX+d@QD)@s7ue@Pjk!0AU@DRm@T z=qn{X>nyPLDCQ|_N8j#BRGQJ+JVfdz)Qs=76gtOa85P#q`~~7bRa<-5;qI4ES*;5x z!BuUGgaw7*J5+~AH6c2_xt!nfs}5m3Z$sB^L!%p%mSHBq8D!EPJ0qiO`QRbM??3^w zvOC~2S5;{4^dnIOv|=%1Ih*mrY9w62OwMM`!rU&M{RP2G(e~o;-9gpR;U(q zv2x3y5xYsWV6I8!|%8*gd{vkcH|W_lBi9_+_P4h!Gcy%;pNnn@s=b2 zj@IbwqG5+QAey1t?~ME{bfQpP`cZpT0wRDaua8_={!O!omG&TPWlo%WPe5Zan>`$~&5piH zwBOieOOXa(^KnJt2)d@?QBsg`wzZjTf2Ju=$l}R)6#_nscJI%E`v$$Vjrh-( zW2E|`y8UbhsdhYqvvXB^^o8=Y4}rx!)Mo?1==7FZwRGzHZqoQdoOsT6jHkV~w|lN5xo3S?o_N%^M?$PK$5bWz)M?Hsm@+PH zHQllKP%e<)_-K6>UUQf;8~qAi+d-{^l^k)q|3Bk zBHAW;{9i6TfT|Y_)XRm0^q(3dEFX|Y=Cz<6{nr&n;L866_XH$ktJ*G!3l)k@SR{-M z`>}hZxq8*v&V9%?93@Y#_-ar|#hCr4WCU$ngn0y_`WIj+{w7g-_Bv!UizhJv$o zjX9wjP09x(nFOz>@`fca$N1e_5yYEg+OWm~U#d-iS_wsM28C*Dg#IyA<0TtCMW75j zJ?(*QXVSz4~k*6K>)jCi)a@<4=*OohR{H;eYFU0T>wCB4p-;x_*rQiIZw|tjcvs z%$EKGm-L5q4FZ3<7a^Y%Y0wnboKH~c&Kcfi*9zF4{K_U>C9ao}*}D%1vVgq8_y7(M zE!vrB)kW78k9}7+Wp$gin?D4_rvUyo!C+@5UIf3UU&vj)+iW(h8ixHDt;GgwoHXnO zsz!h7N1tREl-lRJ*G zEsOtX0V2Qu3^O2d73iTVQA3Sa{7Q=%f2`fwGZUI3L$S}LGL$-%6e~!y^mU70Lwh=) zRRKe?n{2)ab;&32J{iAEPw7iWYPCRsVweB&E(y6tIe9Ljvjv>lFqWAE&YQDa8|HXb zj&zCqw1AIm1LI<73VXQADL-@@<2inQwN_faxBhw%m#vH3Mlb$~dj0q~k3P!3FP=j% zt^iH!;0aP%PS}}rahf?qS6vdu{FB(eY6VCWbxQB8^6}tcKHozvv=eP@pR(GbJLU_B z&US_IiVVM@xZR`W%?Ds~Px>*ACUx4h)sKpbzP`gTV(xB&WFg4`jQXJ(6Y0% zvQ3e}xzd-5A~VRh71{OrhKdjj5_xYLF3@v~5hOMFwa?RH^{HdKve||&C9X}%-=Us! znGK`4=p++LsB~R>PJ5kD{9ctZzbIK|&eKe$8}9CqAa^KJeEn&uOud%rs{fLa10)B^ z7MoRf*}Lta-tJLo2rh~KJ|79~sSzzAck>MKrnQ{I7UE?B7(Az^m9Wlcvg$tmwu4ql zH|hDxl9HD+wggvV#!T7bBR1rE<03xdZik`V=uHWVYSLrnNNE$lF|0IIRuZhM|D^ft zDsWqg;!quBBjFR|#Yqe&Elg_~4y^SbniCiZly}+{HQU?< z$52#-+KMLXnx0pe%MFY4D;8#*_z-e+wc8BS6jy$am9Zi)P;hCStkv+&Y;1iOTolN0 zt_{IJQ)J3!SE`@4u9(s6bYDuYJkORL+grO8{esoOL315zO+{i@zcX&+h8{?!R|nFZ zvtkSfKqG^gFA;GFw$WCvB$1LXS20)5)KUM^(5o4pF-oo~bUPwid_aUFSE~FS?2OmR zHbTX$NJ-L}&82wgEC$}f#iosr!4NW|TvIUhOiH!0t!EFj0w{`S>wBRUzf8KttmgtB zwoTI<9g}a-g9k6s{wt%d7f}Dp9c*8jo8rjdm2c(2nz*WuIr9OQqbpWTGNXVG(T=t} z)sv_c!0ynFL95P_4%Nl|+@_** zmX)Yx@~%7we^fQ;$UC?fgOT2su7S%Cgo$1A`jN85hRNil96#kyqK0N~W@YG-<$&A2 zJeXSVoVBVt#Iy%>nWL06+_L5%sk#|1RH8#A{Xy(j(>%fJIM%!M4z#L9(%{4Nb$DWE(e zl4nMXfe*hP|839utWOZy&7h`8$?+9`U2JqO!xv2M$ge85k7ze8zry_VgEh$Xf|*D% z`W@lgilXQI&OW3UB!}=JSn*+d@VyWSW<`{#F$l%jl{+_a4H+F;Yn~3b?YJH+ic&5b zH7P9R?SU;T)5z&>mk8Wn3Vo za|s!}?RxT50qLCFOKp2~8wv8O8!(>5=}K|sE4#`ca3cRfaWwQwk4sHinlGvLHe z;FwF~e&b(0X2LDAcUddQxc;_XofDrppv!_)hqaI_c!|t!>iUgWt)zrpk2W?oD+_m* zky&4Vz)kbOpd+@#IqNL?P=_aRVf}#7oG_Yl?c$-3>*s;|0|F(XXx+|D##=7!Z7(d8 z#NKk$aO6jBgR{$vBi2x%Jhn@2a?>3d>4*q}N-_$E?W?to0OLjB9e?9Q6us?WqWOg6 zFASyBrUmZ+i%%;%iR_jANU;+o)^!6Z?mD{Ra$c!d!)V?R-5a&#{^?sxKDWz4MHDN2 z8Z^bJr=;XM74US3rH=w|O`it~Ih;L|2h38D&`dsxPC9t&xj)UCM_|BJ=Eb99XD~K# z0-1|+XPl%LtW^IqEmy%0u8*`<80pyuaHS`cwKQrvCSE>CB;acK19RjH;-FY3wZJ(l z$sa(HlKdX@pCn~BFfaFG6q^%znqYug`E~VSL`|vPJF@W=!wGC0qlu~cPgf=KgDSkS zBhKAGPbi2-49{iV#`sux=%ZRy`x4{WZwm*XGbI#MvBJbD)l zYsucJDd@$c3t4)PBt7z{g4jwyQ7NCNFvi4XQnoDQw`)OvQ=zzTbu}P*Rl1coP!iYC)AuRq>3yDZONV1+pe4i&z~}B^LV)KRRv;Jjjg<XOQh5rFNhvpxAg+D>=|F< zy){Xudbg^b=Q9oT6zV@Yb+S#c5~{8H|P&~W#gKBOWzn%32N#RHtbCzCV4`fn(24pY2h_HjipZ;N^xNV*KKeRE=SQBizvF~pS z2C44mhREA_Q0P`)`@tmAGP+1B1Tg7YN5yF~(TQlqe5=>6r8^KKYf2g$mVGHB@CW=i zN(tOd@x=W`eI=?@h2dy`6P_tLxb>BEXNDl$);dKI*f@Eo&LAJy4f~h-KRg%(ZugsIQmfx^AKpmzK#&J{XQ_n~|ik$XjJ3Eo2&yR?tnI z^)Rx@--E3~v#iY_`O$8}UYJc}uI%`WgEBUW!3%vS0WngcaZ4M>s0PS4Uy>_IRCNf} zB1bH+lStFap=*CVuNge=k7f!{*#pa81#}2OS6pT;Mt6tiP~0vHc=QHM8SF1-w z=_K4Y9 z?ITHC@f>E(ogT zn%dGxQ0j2A_e!;4Ncwu}BhEIM?0D+&VY9RpL>OXVRs*SaL*e)KHY!(j`oKmdQ=eAZ z`Fz|vcm}i@j7~D7_GID&^cbHVuq4M0%*mm z|5bUxUY5uhtbY+T{Au2BmB-=gz?PwU87%FayL;uHwc}#JDG-{ zp8JlTC=@_p>D0XL9o6A>Li{2CaS!P{@j2mN>(k`9p2bpq{o%s3EArl}S65cbakPZ; z0*s&IbVio=4C550QL%^j%mvluld*^gk0d0VqB9{mr6zBJ_bpwbqFW>00 z-xsWT9x%a!7Tyz$IJlHveOG4O^hfBJx`0=d|a_HCcLy81RXH_n7nkEIi8>K%;$TaFs1Gpz)HOIJ-!R^c$szpR zTx38CzKOxA2Z7%FC9`Tdev0<&Su{U7T2=ZbV>){yM>EBiIhf*P=v^7Raw=KC_3b%O z)Vf*W%kp2#7|#U=yIXdlg5Y4NwZm*zgZb-;4Z6HZpsw%xb$}hwlEQX#*W8z?J^JGGDDCJAiZv>Q;iR4^`tX3e# zNTe|2y)f3ZwZ9Aq0u``s$`7nXm#fmzGmhR&c!WxOY#KXW67k4DNU%jM;Iqn$z%Ha zfC`|-Z2iTy>c8>tx(F#u6kG{RKkF9*nFK}7Y!O_xPaFTB?!*5t2Hw|xvHnG#VfK*_ zBgC8djn0&%-h6EYjk^rtd^Sc}pWHt#)tLB2Ng#4t#%A`HUDr@ghQ(7Dqu(bNo{RbY z`n99FYm~t5q6-JWt$*+RC2t`0P$=-l%nSvV8jC>g$f4{Y0|z-@+ezSjr6kIEh{xWR zBU$Q`oZ|4DP`-9o>tLwy!rw_bQ3wO1hkd7!1rEkT*F+nuDSC8$Bv3WB?Y_?x`Oz+cxmyCW{H*J3agZQ!!-YOnzNw#Zz$GBY|)U&N($iF z3o`*EL0(-12h#b?aGu!Z(g^KQLZ*0e?L|QNL2oIx;Y{*yRS@#`$ql5n?V|K4;#{Rq z@MWWcKXuN-Bbm1O>Mh4CO|DCoKe?z7GrU8Z+3O?Z&+#X_hrxe8@QC8fh!G=B>=Lx4 z@)Ycz^j8~>2BoPb%@oKrk`?QpvBTJ+Qa1ZGI_s^0VrSGpF4aO7(4?{V4~<$Vl0S5^6Cg1a3CJER(0678GXJ zL9GHxn?IY?K-LTDTCg``W~T(?0#t85;H*?n<RGEZ;O61M64P)`7l-?}w5XEwplTWW4Krl)$B+*)FB%dVv3h)9R1A`NEP08G z6YJc$9YLCwr$I!B$WvyTTyzt?O(*Yn^TSJ=5kFN#dQXW?Pv##9etES1y2L*N8u|pS zLHb#-cV%TEcN|4hgIYI#&jT|CSNED^olF&#DBQJ+G+(!1Fj6}hT&($V_|cXFzMe>1 zD%E(x@x}ycN7-0mG>1l16cC$GB1y2n_*dgxVVJ6v#n1Jjy1wka#`@0S_32P#A{WfD zvO|!Lh+#9YG69!32a*b27hMZNnFhitZLDlWF!nkh5eE}JmU@t!!vdPv=k}yUUUdbH z)YVB3)u$y6IV+2bGAyKva$0`=L1b+Ckr#x;yO_`fcu{RS2v*9O`V%t_cqY8%womh) zdNm2sN0b$2Y$&w2I+=2oOQ;CarQ#Jk-V)R^h>}tD$zE+Yf+cqxie_sSq*di?RyAB? zc*}l#NIEZP7M`gXDT!8#_z{Dpav|EAz?OBsV+?~%^nB%R2N2a!#`#~`4%Za z^XqSM$$~A?j0qGsYGs0~6VM8$9+8=B`cugvIa_7U;9#hQMm6M!C#@Andb6_$CN#n5 z^)+#f)Rb!?Ev_y~?)xvkjL+=Zuf?_$&c)xH6T^dyn-QvB!b3nj2I_yvA<^&Fo&;HP z9Ie`tSv4^1`V{0_z1_PaC6jfN%FN1a86|jak4%+|Tmn9`5uy{8VFdMVX2FUE-RVXXr(Buk3Y*4I6rYS$EeAI!f?x;z9izyFqC)!nL2^+g4+rz(70PX}4 za-tI~&QFSfnR(gmr{2ALKU)!79<>cuVk5M5D|e~tx9_N+c}#Q_=V+Vcgw;x(v)>$} zOBZq_H$nQj#tA13Rp1UNO<7T9{CT1YMc%h>%yaRqlKtO=-`bKo3BPSJ!&iPN+~lig z)7}C{zU`uG@Qt*djDZ+c)pSIZRplB17xTpKvK1mfTkqFv;k;LWds)g%;R(H07A!_P z9Ij@B+FXULYJnu-fGkI)Hi-SPOh3|izWJMAHr+2^Q3F>+8{=L)oT!v=Ot%190$HDx z*>J@!$t;e1A$j3Ua8=1YI-Ijv+*mz>LossPA}usqXT!U`24h;=v$#bx0##__Uu7xs z29e#mpY34_yA40hTs;&PMb<`AHJTNDvKJ!jHih|(dVQZ3ETt_cn>X=B>vKPelE3J_ zyJTnJAK$vp0VQrm`>rfJJYsaPkvNo`f}O331}{oU*-|$7G(YKf zoc&E+{I2^R(N}^6@v$t>l;Q~Y#W{}$OTC~0QgNs|;t{g?w30gvX+Yv+?!ecgi+pUb z@QQf2WRR1pA}vrJa7TkxVoNW#1H~uBifgeBnoMjpRU$|Rj?(v&4CeZVOF=V5@$jAv zD$+9Zg`sNa?XkaqIW9>w>HA4tt1IrT;g~~?07_6;fq-U>5W39u9eV4w%%XcLTnUWX zj3Wgk){rb=j))}cr30(N)jP79nZ%5qzVRJdVGR}fWaX}B@xW5s^+j?59k{Z38=DWS zU&NYLz|C&=rkrN(AWc;U? zR#b@U`&ee!#2ZyXDK_ru%tOo@w`1qlA9w!jK|b|*`=@u)*N!psE#>t%Cab}mgtCXd z%<1-W8b6zqxff({d)g^fBQP(5t=~r+V_G@Tg_^bF_%LUvOM+j4Wlf#Vl~1b-x>TdRm&RmzEMYK96)6f)~xLiiTzewPq4wWHd08!F4s*=#h##dmWF zQODJ#vEh<+-ptT-n6?>))k8Q+im=dV4vQz-*Ck`AP_hwDt*Q1@{8>@tD#pdmR6w6= zBC|(I5Tb5hfE^YictjOYOih}3BYSZYd8gOsNk0WH;+C?~a|QAg(IvCjTmsbRw;>SI z^#}Kl*<2i03-h)Gi7bWbDM#q0Uhdwd`$$F|3TmPC|CKs8D1lyaGb#Lq0jGf7Y)^zp zl~R$4fwN<6ZkY*$Uy=p$^D(nFdj8CVNieFn0Nj{uo_b6HWk=gCkS$Q0*ZTx=&kX+y z49H$iXB2#g4*}I{X^Mp;{D_|_^TeV}^2&5*wzX56ZgNIvT9^~m8z-ZKFW)+nD`r+w zlMX2e_(1u`sC#K&4w|B{Q>{n7tv45@C;nKN%}82$S$|@CikC1&o1hRX|LpNqnfWl3 zsk+eN7aQAu4riGFP!y{f8=Qa7iH)D4-<1;D zs`l?GGT~nUCviKifr z$s}dFw<(YjQjruthCBtVQpO*BMf`K8)b_-eSoz79XE`N zn+-b9_W42?up_Cp!zuV&h6Gn$>al?u$ypjEB1*0ONyJojJ6>kUSFIi?REKFWnZNdM zoGs6k=xeCb zt7tTm2Lt5XLy5e^9IXzIM}f$iqDtEW(4;D|U!B|E4#d(JgO}cZk0s$F6>U)&CbM*n z=WIIxJG8pz{KetjFF3qEac~E0M270cP4x|hw&rQL=~n2q2(yBz;w%F-J`-N1liTTS zT**fGv-*3~Ec(IbnZF001CmJrY@2Mg6R*ieFWRCVpwqI!VYfNG$b6haUn{0dl<_xX zsr3d-Bc(aSe(! zAAm~OuE-xg2>X0b$q)a;_qt3kfAkw; z^aRvi2Scvx+xkeej?g*_Q#_zz<#MgOF>d;PdTxk=?oBA6^YjTsK=Ojs9|VJP>i2x@ zXL#v*W$A|voMU;{Ua29$=0O_2Ha+KrhE*7^3+0mH!4Z(ge1FJGOYDO+0i2f1q6m0* z-|&uqU^$%=ju8b=!Z0c6)l>f+2=LR18VGon>x{8~w)6#6d%S@C|6}esuk5^h^@^bB z<@W;o?;qRgIB)8}CWPoZa4dp!^*ra=eeMCQ^r$XeS@3d#{r9~Eu0Z{_(stT|;%ni@{7Q(NkJ0)286 zB2IjTX6{-Ep*rPDQiNB=E2TfG_5_t7L8);M|8e9Qo|r1&JzTK1bX%<)ufT~-f%Y)D ztBnSYLAacrlOMw0vW1$M< zBpj{;8Tf0mB#*GzY=#L*pm_bk6_zE{UxkfYflt8kIfq}{$;CRODx&;kyi5G*9 zi91pduQ#w7gdTah;IrQP`*r%5K+wGp+GT+Pn#(5FP6(yFB2*t;Q5O9$i{NXn^TARJ zG3tz=ui7xgT2VBF$r%c5FQ?v&&!G4&(MJc^=9eUzhSzkKI(}OvEvW0hOkL^t!8=2;_k&d(?KIZFNQp!A z`K8J3VKYe1_g&;#$5O-Q)5)Wsp@GZ0I9C(Z)Ts`2QNn`|8BsYhy|PWSh5+V$9rOFJ zv&1{}@5niic-ucS#2qka)t9}RJ0hhNrBt(=3#V|=LD4srI%#0tt`6kqXD-GDe;dAt zVEeAT-!l7bi`r5Loht*#nSFj?;r>C^{e8r93CV7brj7=UW_K(MkFxTs`Bw5`x_3#7 zMPUpdNK1F_+~~`+Exlh6odrz$p|}a4xqxU25~XOnXS$;{&2m*0=ZDBMHpy%D(`BfO zVtF|PNSUn-Nl=5xVDwALe9gL^ZT(OH$;MrHG&)oG=HpWGC- zNh)^Prs59kojK)$NuOYvZ-(|F-#>HHs+E1+dk3#5b|^nI8seD(KKU#UsdVSD&rv~( zU+$Omw50byIy$5ClR?O5$v7ZbGrk|b@9XHbEzcMBgRo2h1x+Fucs6<2LK@t<9vb@0 z4%~1X9T~3aem>vNXga?8ZsF$SRM^p7@>KP-xpIUu zEpjZbC~1%1yN;VoI<9S^#i4DP5xJ_JPqOoJq(s+;wkc14Norjv;(SzcF(USu>l{WN z7g?=f$b7U^%Te)AggId$Cs<)%={X+RX*$SUbvY|Nc0sW`@(Kb*)DmvA*ImHu`RIBL z67fUp0eA7_U6Ir4N@j}X>nItc zd6l$htYU>g>1f`oktNcod$!B%Ty+AQ?!LEy^6_lLcmHxJ)vHHtfAJ=Cz|KifsF9`K zqsptd^9y^&llt`?=0xQhMgMy#jNYkINcSt1=a4uXH@ka*rMMytWfuRt4S^pmT~j{W zi<&1JpON=-jAmCmS5~fky<6ISY`5HIf4-+dS0zW@B)6X9YG2Z_bGBRQp7*)DG?Y+e zDDn*LobovX$};-iXT~^Ohw)t`5mm>@dNrzxAgUK$Qc;*2dNV=rQoCO%o^wW73=FUDHdQm-%)Dt-^0?m$>d4n> z=f1m^`1y6L#$#a7Sb5FFm*qM)mAj)RCY)xrrpj*ZuzQ;OcZ}9m|K8lMxQWc^C&PC{ zCx-20kJr)xcHOQOUJDpm3CI1J6mvwEquo!k*ChfCtLH*{=|mNnD1=g^z*xrgmb$`v z-N06-^&@3*xx=34nntt+hp|F#_wj}YhHHm{X-h5M>WdB>O0-3J-S&n=fB-&Nz4Jb4 zqIRZ`psU7wRwm1))*>-JBlccdT88F;Mn8#C@wyxdG?^C zJvE6oO5XZ<3qNHyHNCg1bTbE6wNUc?ho4e(LR^mIT0OvPUd}BVTYUmEbii^Y1yXuC zL<#{fT3m1L3=XE!pf`UPGDTh#Sn1%wRE_-lqb!l$L|ppz>D9aa)gSv#xE|>wms0&( z-C}YzZg!s6gvT|dXsSUf<8|&oN6YBS9)BaH7^?nCsd#55swOc+sOVf@Cl# z(XgPiho3rU!ExR^|ErzzerJPy)Oc&u=m315u>%jiyBe0DJ^P5h@@so zN>G}rmRhy9re@TrJ=z+j_AWx~73z4e^F8NJI6s}g;JL2nm*;x!`}4V)7oHt) zppkzH(x1h;kT(7#9DqB}f2|XP`KgNrlIMH7{Qw2;w+%gj6&Xoe<p>JirLynzAYW!CNCO+2%SQU?LMxv~J;;T59?XlxgSGotO#DemGrgCl64xOitK`VdqJx;& zjGyroOHO|GQ~m)F>#Zy(;d{}aIZHqOJ0?pEDrxQ0(audld4F$^OE8<>E?lk`?*(EAl%FHJ z@eX4?7tXyzzM5B^NzpY-vq|Ylo~QN1&3`>b-9F>uM_rq03MR1LLQ*>~2sUQy*6+Yk zYj2JZe#=xn+!D{sThoUQqoW;&%f4AieU&-X&sk0PTgxj5g2(dU!9}&FZsIj^DO)I( z9MbIkAJInShR9)@o$uB4hf)h;Z=!LPxfjM!2Rf>kmcRYP$jJ63oxmlmRIdxKB4hnj z(%8nd3r7=AKbhF5Igsla_OODM%CBQ26T|9BWCJ6yh4A?sd)Wk^d0aTJw#<5bc%6CQ zolLD5iNeq@bRdr#eJ5eEX+5sBPukUyctT64tj9--B&Z%=#O4jJFilYv%Gyne^>~&| zorFLPg=5c}D^ed9{H@M8a)wTRV+#BuzPR#0!3=fR?M6<_Fh;jvqdtfFX3#?ERk2 z!EQ(~aOF#xxkiF8o9c~)t}Y(A{NyW;&%UnyMv&BYZls<-8T0V)0#qfKrOybN)18_m z(vI0{c`jxj6g7tlNWW3%>=oP59XRQl78%@=3tP4{WEq=0<-J1-bR7ab@_OsDKNG@k zKWFs{v|ObIg@3J-*88gK-e{C!hujTUoDnrI93ISX=mg{wy-H0|;$z^Q2{Lw6yoA5% zqqny_u0n#`xz+l4B-~Q-4s@=lch`-;LNIL7sC{Puudv@UE}kO0HgnR^$vxh> z7oTvJ%ymA2E^H&`;kj>8EUpnsMM66@>czj!bX5`d-*!DdI3OHM^MH8HLlAA{oICWg z=YY!A_ZmHeVUd7MbO|$U<5p))177@Y&`xb!gkR@0LNs%h+h?Ke>3Hxidu!uEy}UtY zBgTPmkO_Cyn-BEJ^`R1X8I_s_Tk^#0uI9C@6@>Ow3T2kX8CiMF?n#%<{J8Fwx!RRf z#o#QnJZCa)AmzQI5S+*t*eenGJyu_|egPITqgEc3Y#w0Ba9MD7;fHW)Dk zCubi(#<5|f`(rh?W0sMwb)y@{XT*S&RPmv`e0c!4e2_sWx)AQTtYkN}Ujje0N1e_e z{%C-&hUbd{@_BDszm|NmwqdZ_vhJ_CrA_sv&U6z_kj*a;!;blqa)+g0h}30Bmsmn2V? zae}arm(3k?xJojLlE2pR z+?^;3FIcYZCBAdIgFI%vxKVyGl@*cBN>m-|%BPfCg& zFOVKdUX#KJ*U=T`k!m~{0U^1fLv~224y{8VZ1nBa>l-VKQ%r$w>n0BOWMT2l&Ea5s z<;yWecGYt5c#mqkE}CjL;0b3hr`b60LWPx+!$0eH--nD@Ff2NW;pGgml>ufYM*UIr zzBV8_g!)>8mPsoLdF&o++OJND4oCij$$t5(BRU^(?VuiPoA3ZdI{t^%C@rqb$zIR0 zp$~Bt;fJHjlix}^e$44RmhEe<*8%~H>vGMKqs`<=Oa?;HN?jd)bVubrV=0>0o9uJ2 zNucgH@pATR%f5{+sJ}bz5@tm@%2Qs>8UFJ`Lymo+u=iwZu!LpwW*RI=$-XkN15K&&hFi@+xhtT$P zJ^3U29uvidN}|fna&b`fb|OO_nA7Pg8=*rV?_ zb(IQCO)yP|eb=}-^w&+U&_^!5D7`C8K;HLwIOQ2YXbCzy;g3=ZKEZ*#9IAYBS2>T>2^a3_9;0UD0;e$-ivrg6;ry6q%}FQ2|i09wMoqrEE3t^$93 zgy-DwwA;>nUT7~CL`5FY`p5j8z|U~Sc=^lOj{)A&77KxasA`3#cRLxIw^5zG8Bs)~|tk$Nw7CaC3b>CpXZo zU1ly}?(F5zF^s*sP_a@sC(rBL6nSTUeq_yKY~*)zlYc-xyV!%qu+;sBWv-_U=F6<4 zS@y%DD%bw3@D_8Kly)onoa;8)hBlgsGl&7w#_W*Mh#di^?Pg0Z09N}ge7ec6C~oYP zgBL5Yw`+f>)2!Ix9n^lh?Q($&NM5|`=~Z;2;tQTs^kS9EUvWLAh$8P#Rh9MX6c47! z|9*DqI=9^1(Nh~)nN9a&H^w%pES`#`QIBf>wTfSRk2PAIefp!lJRi|kWJb0al|VGN zo7^C4UAisGylesc1C|sgehNpFa;7Bbb;W1)H4(AaOay^1uGp#v)CsiiF?DP5*5S-x z=#XiaxR1+oh&=8J9Mgp@lqBOkO+Nm7O?08(f5$7WHdYsC$Pw27wkdO*s>Q7pU)E6r zlxOMnzUHwD+2pD!5@OA{Eo+1g6W=N!yb^)JfExLzi@!);%0S#$>!DvFKLc0V)JHzE z1Q&IUpbfh`ChB6OiHbQ(NeD|G6~a@8<{?|4_Oof{JIo00qFsEW;JcEqq@Z0J;t_>X z^*uqCnOHgjgqPK}lBF`x21kDz+PA1=kM6IYEKQ~rlu4?={d;ts)XvR*%Iqqi-bGo7 z94^(CF)_b2#JGvwH|ZzgZ7CKXBcHFhZ+LoKRMK%dJlyTgzUFrCEIwDJ`%rs+O$kmX z+xUu9M4>!*l>VcKbTjY=27vtR5or0872QS&q>VCHiL4LzgX@HCr6#p=3({pO1*eKJ z9M~-$aJ1(f$rh^EL6VJmdV?*B^6VPr`ftkZ(jGj{FoX3i zvS<4n{)S~Nd}{|X=f)>eb?u`f|e#Xrau)les{U_ ztSV-f3>Dd0$Yq