From 08d94b9a5a0a5afebae69fdc4bd3cf5facf7c811 Mon Sep 17 00:00:00 2001 From: arc Date: Mon, 24 Feb 2025 10:58:29 -0700 Subject: [PATCH] vault backup: 2025-02-24 10:58:29 --- .../ECE2700/Karnaugh Maps.md | 13 +++++++++++-- .../assets/Pasted image 20250224104850.png | Bin .../assets/Pasted image 20250224105753.png | Bin 0 -> 40432 bytes 3 files changed, 11 insertions(+), 2 deletions(-) rename Pasted image 20250224104850.png => education/computer engineering/ECE2700/assets/Pasted image 20250224104850.png (100%) create mode 100644 education/computer engineering/ECE2700/assets/Pasted image 20250224105753.png diff --git a/education/computer engineering/ECE2700/Karnaugh Maps.md b/education/computer engineering/ECE2700/Karnaugh Maps.md index 4177f3a..e3d8fa5 100644 --- a/education/computer engineering/ECE2700/Karnaugh Maps.md +++ b/education/computer engineering/ECE2700/Karnaugh Maps.md @@ -4,8 +4,17 @@ A Karnaugh map is an alternative to a truth table for representing a function in Given the above truth table, the columns are labelled with $x_1$, and the rows are labelled with $x_2$. -To find a minimal boolean expression with a ka, we need to find the smallest number of product terms ($x_1$, $x_2$) that should produce a 1 for all instances where the cell in a table is $1$. +To find a minimal boolean expression with a Karnaugh map, we need to find the smallest number of product terms ($x_1$, $x_2$) that should produce a 1 for all instances where the cell in a table is $1$. + +# Two Variable Maps ![[Pasted image 20250224104850.png]] -Given the map described in the above image, the output is $1$ for the row where $x_2$ is equal to 1. Similarly, the output is $1$ for the column where $x_2$. By ORing the condition where $x_1$ is zero ($\overline{x_1}$), and the condition where $x_2$ is one ($x_1$), we can find a minimal expression for the truth table. \ No newline at end of file +- Given the map described in the above image, the output is $1$ for the row where $x_2$ is equal to 1. +- Similarly, the output is $1$ for the column where $x_1$ is equal to zero. +- By ORing the condition where $x_1$ is zero ($\overline{x_1}$), and the condition where $x_2$ is one ($x_1$), we can find a minimal expression for the truth table. + +# Three Variable Maps +![[Pasted image 20250224105753.png]] + +A three variable Karnaugh map \ No newline at end of file diff --git a/Pasted image 20250224104850.png b/education/computer engineering/ECE2700/assets/Pasted image 20250224104850.png similarity index 100% rename from Pasted image 20250224104850.png rename to education/computer engineering/ECE2700/assets/Pasted image 20250224104850.png diff --git a/education/computer engineering/ECE2700/assets/Pasted image 20250224105753.png b/education/computer engineering/ECE2700/assets/Pasted image 20250224105753.png new file mode 100644 index 0000000000000000000000000000000000000000..691088d1a63186bbac0200ffce34812a6f9642f6 GIT binary patch literal 40432 zcmd43RZv|`&@Q|P?hq_^aCdhJ?iO5w1rP2LG{K$V?(VXY;O_3h-QCaTt^d3F&&9bp zRfj5y4Qp1fUNhZ2-A_NmZzTmuWCT0}005AsrNmSK08$nJAR6F4fd4{LA36^H0sliv z%Mk!jdfvYw66jFy0pK$rEheJomUg`AY^bV%1Ds!N%CD|QG|Xh>_lAOW>|GZP|DGd< zpyC=^H+kBBI%QDG6OL#Bd8V*GuH8w-G#Gcs!gM{n^vhqKy4y%ARHVr&VM4=^1fq#b z1x>^g0;2DqW7$T|(cV9)A)C4Vcd-P9jUPM)j^t|qF46my=#ow()cW7u8@s$PWGzL>CZ+|wZ zepJr+i9t|TLaDUa~P$ zz{i=KR>XI%WL^HiAFrhaM%I?lzC6_vq6z89y7fXu|GEAP=yH)^?`^JAh7zrsW8v~J zDA#7Y%m&JEzVU@A+ch(|ofj|JVG#a+6ch}OoXa?BRXo9RTTtB4Wz0NDt< zwlPE!*O;hqY&Rp2Z>V!MS!iaDxvE;Xg4?3& z?%f^h)MWMTe#?#}L1x~XZ!#+BL#O%JOwmDD*O=tXmWx<#vF9%I(oyMA3b*3I5BVc#KM0LQZGT1m`D`pKUf2=(3VGI_`(P zd*lY2Q#v|(s%>1aE8Xd60v?~#wa#2h;!w|)^i0-FkFp_apE#PET^#lpDtj`072h2% z7Iox&TTB}pA6-?u8&$}aU(I)AL6Bkjk$dVp$Htu~BHO8TOWI9C9b822blLp2)(N{{ zC9#jVh=T+R^fMn$1+UA=Ua`eC#)R5E?Y25e!sDf_mXBvg}=%NOf^=ds|>(zFv zw?VcikfkXRw~yZS1*G*<&7bo>Q+Th#Y?5D)slrdU*5~HYf2Ev1Ws4s)ay_T(dGhf@ zoh@ExHl7y_dOsrR)p&@X?ZTjr3*E;WN&n9hUdFhe`mVJTVSAtqZzB2N?v(asHM>~b z^k=QVI?AQmb4iXOO}Jmhnb|j4TBF=K-sP;lS(&KnI0~>88rr^{3aUf-=^YX6c2y}e zq%xt%INsDy0dD+eA*bp5qcawOuyHEq$#P|gs+I!8+m_wlu{IO2E24M5L7bd=_~mTQ z^eS(CLm_(O>!($Z=M#IO_IARs3RO@GJ{vp$P)f?{$dBfK!4DV*vHYho>RfjmY8T*(cVqwg3K!JukKclpNF*4@PXbrG?vJ{t8VtR6iGszW z!llh2zPS6@ekrs$*GY}HXG@M7bJKVNnbJqMjQd6x7wh<b5s%iVlOkfd)lQM?L(e8t5yXFS&;2iwqG`<33>#Gd9}@1V*}w-NtLU)q zI%-|v2^S9CKzRS5p{w5Mzo&2LYv)I+pZ8))D~Iwzh^l8i|9B}g7!YJ*$Xp$P0kV2} zFEoah&Qk2?I`juxC$jjG5B1BnJr_RxD!H=DjQZYkJwvTn@Z2H{mNv2X7pb!PVwg2^ zmG@@v#quZh&1U`;o?4RnX=c^Kwefik>D=pe_Z;7#Wfaw!&#Hv*7|RL9$x5ra9#v1yAlhWW@Oui zWU+^A@w#+<@)VGG&cM36EHSn_)oG<$>00ehd!i9 zUF!vr(XXtIHd`Wu5s?Jqp`PZ8!+G<~$iJkfiXwvo!fd1-hv_6MH7yS-7H&fXXQYG< zR*!F-HBV9(_y@e)clJ$XG=2TPK+{c@_XI*n{3`@%6!Ub#?U+iWruOsp-Xo7cek9yxihknvs!FL-y$Ba`$j9r(&Fv)(Es-b*+CBU+J2~0?8dd=| zHv__vbHQXOa$fJp>)tS&1j1i3H1zZ<&5ngNx%bSWIba<=N=6cBRT+v%OH0eh48@R1 zKEJ#Oo$)$hhe4_-OS@=MSX8_{9Q|I`FMJ;UPb9vVR|b6S7x!(Tlsc5q{ewA9GiueGfh_JSnrvVranB=*>HQTRue9JDr4zEx#(O)0tXJ z{xs-ofB^k9Qn@b7m_U4=>I_K$IAet44!#@wgd`y>?AOxLQUj?B9TXH4MI`VMAqf1t z&2q!+%#50g81cV@gW_YfcAIoQS3%#`=QJM2sp;t;(TzOmIG58ETr{-v3ym!5i>=i8 zk*D$dZkmRJ&|{5e==9V>wXg9Li!FziNC03j{%t0A^+@Bi?GLNZREI$bX2@ErEz6HN zxI*r`1g%O3MBe5$5Q-3$!*I!{vf+xw#KcOTIah-`L2RnKSAP!WPUaW;OkB`Nhhu<>J7Y_`qXPwLhJlCCL<18y{efsl7+r|D= z4JKz#TCIMi5juE|iEHMk5tqr-U1&V(awHK~j+awPt22-1&>OdMm5TN9#RN|&H@9pU znxz_)$o0{@-P7%f6E7j~?c2Ad1{UY4WHxiN z@r?BJbUi&i0iWmlljX)n+ttVQjPVK7Kh@tK5r-U4H;dKf0DyP;+tAQW&&g(kDo(`r zu9pEHT$mFx`jpq$%M_5?(9uy9eLa9M{q>FxG16o{S6lFxlhbvb#dIW*z~Ro$%^KD8C-p6jlTQYXzq7cGxLnOU z6p!Njs#2;f`vV{6E!KQ(uU_9SNG*CEO8Xc>?s<&BrOu<-KY9jHDIPd~I3%R!lg9P$ z?0DkJEG#S#5D*s^7ekSyB&SNSA6*AUtrI!Fz9G^Y2hR#&G}lYE|Xc2 zPi=IaVeuR01*XxtWHmwd5`i^v2pIvqlVQI{-pa1~i>eg1Tkv}X<2JO$s zrP36n#o_UTf_FQ!4@nIpDfp`+D%h?!mta+x40v7LMjzR_?!FqnM{qPo0tq;8hQ4rI zvIH3%CVgEMl}qqATsAW(Xz0bIC7-3QdHGBM#6*1d`N9Jojh@5u`^RSo1*0#4GvTE9 zosvE;7B)&TfpC1cEivS?Ew3Ku8oPzP{@`g7eRfSy4#cD-CnslSt|}@TSYCbt$5Ip& z6mY>tgDbAQ+-R36;K?Z+3m95k6X4-l+SyeeH=&8{;|G9EFS`;>1dYvn>=_(OtqQFW z5fS^taWQali~qkN;CgodNEEFHY!>Pjy2XWsumCuZNawWCwzaLO*#c)0cHjyCECwY) zB9+y2s4EB&-v6`o z&ks(#-Y<_g`T6;ai;KCEQETnqpwiOPnlE3#+5nLoG|}95bI-ryZr5b~{ovl*ERuJm zl7HA@F+dmieHq1wCvY;~R?P3;t?X%Uwi<|QmE(T7{zWwgyXD(%Q&9h=6bDDa=bcJo zi7_o-{t(5XHnKp#Pa=0TnQiaH>7+XZ)xHJ$-8O4hWdu;wDpRh@eDg8{5)?(<-)bNpMUf<*)XNj%a&3 zy^jL<%QZOc$oRVnJla@TB&VmBFJz&M?k|TJyM>aJ-#;}nBwc3N{KG^ISQ6D8*(K|{ zolMeSt3Orts3!o?MmE2BPUv||yT`R8&o}&_ZpS~WEQRd5&E)1n0^o((>Wh$-kx}{a4{Q!L-AIZgmX{b~E4~sca}b0pYYfga zH@MSUTtbY;`kJi-7&#i9=9v^4O_86ht{SLPBtR(o^rF}v2TBgjX$4B+G^sxDw3F4g z%QFpQGNJ{pPYr2x__C-4!-Y6`4(!%mtt%-g1hc)-q_tbN1S>ubttb8re2v7sKHr0% z`V&#jm_LPKGiWzhCpR>30)c^nV5iP4Dw2x%NftQKh|I(L}Z0AJC3U-~mL zcqw0DyLWh;LIvTM%e_$vX<6U<{4Tm3%Xcs{=T2$fY-=RhkJYVzI7hQQ-n86L0SJ z4|Vva;6?0}RgAKAJ!GQf=%HlvzG&#F=GuY^QnImeKA(D6H}khVh>_}BSnKw@tkOlT zNx4+9l@B8FHMtrvs%prqJnYX^_q3KQ(199Hng^36=@2v1dF(?913#eyK$ULDEl2eC zh3i}A*JG=RgKKcOWzepZQdPwOR8&;J(J)}T9&8QzU^qa`*+?A=+R(6I?H`2A7aPCJ z6@Q0jQ#Tsi2f(S~r^1U_Ln0@R@L#&3l6Xm`DgTuZS$?Bx#%xC~qg9K%)||+BxXHbj z`+FGG&T@RWCwpZu)~fh+>9NQusy7r1Y#UP(6Is-UYi*w3*jQFn6s-{tP9IpAyH(-fJG4Il zPK=;VNGD!ozmIU+oCeg}@Z`YX0!Ms)VO0&-Xqo%xDD9C~5*42aIKWSV>@Z0wZ~D6v z9&mpD!TtIQcgR2=CGL;*e#olqag~XYCr;eq{vMO`#H?96dALT@k!`*@5ncjfV2X~_ zS#Sr+j1=`+oX}o>vo;1as_~ohQD9C_a--SZEyu(hv*XGAQ~g59+w)`hw`y#9O=jc1 z@TG$#KG#zyD5&^^L354|V5kwi!(#duXAeRFxCRUVAdADbbpN%t=w%`_4{1JSy*1YvKi0(8j({J+_OXE2_JOt1%FxXs<7p|RF zPQfYsnPG4tny#^|GoG-xefMJ@7M2&lfT2n#sxPUdsgnXRaF4uKEcT250cZ@X>F5x( zG0QQ?{{(*LNstydN{f*eV~5cgE-m2=AY`3wPmUIX0RW~aWi=RJa;7pj zwH^i7Hm5K#!?J25-pkI9hwCtyHGLRN&W|sHTqUR=s&7sF8_(sYjfo!M4k6)imdiZ(9Iq@tloCD#r@$wi({5h0x(~ZMyoFrFf2`v{lE27^%vq?@a5e87=P)k}{ z17A->7E-SS4#5e@1Tk7&2h0}2t58v-rTT0+CtrKE9-)7Hgo1q;SR=jakr( zgE+GkiT|B3$yQL=LS4pMopK)){@7G+IW`?TJ-yd4t#zcsMJCa|t`K#o?wQhcS1kcc z3YXVIn?ObBhwW;()*Yd(e(SL*wX7hwxAniCubvIgwmFsIsY=T1Ev|PKY>0YJOXJV( zCK!|eQ0^WQbG56HU)5&*#@*Svks~Fendo79B=KY)_VlRfYeHqs=?UK1kYJ4GEA%)x zIKY`M2Bq9WgH38eLW0-X?zEDcvbvm;Zh;ca-+xOj?#)`9&mY8Mp0@{Z2AjWPid5Gz z@bjw8PF+2oB%iU@mtRHWvKDivE1XY@#$;J0?y`OBD7JE6GQk(Ir&<%{{t!N`^y%MIl`=Ii4I z3u8&S)$7l+r0krH*IS^CAKXWCz=t2AOQ;3eNScR>Zq7b}6jx7wJ6+ zoT*<4yuH_Yey4tMI4U>5+9lFvHk(T!)B51wnjl@Ob_1--F6qDvz((-x) z@OJ8ZFl3U`gyujcXLoCB|7gR>58GK*9_LHc-&kOUAXgG4j>m6md;$I8%Mgf%?!1h8fl}^p5uSG_#q?ub3 z)(zC2Iuy0*ymj$;mme$lTIadM6Akny0{Z53ypL`S(mwA&lfk$pCe9SB=CSHwNC69uZ4%G+1Dt7p4qS37(j?|ld( z>i@7O_H|{=`0{_zK7U?OobJClx5|O}J4^Iw$nN-)bTRkyvq5cPxP{UC-IbuXDD#<> zr%w6RlJ1~iTxTp=B1D!Ww-^n(2zUovk?o4$Y$Td{tFH_~fQn)1`EJ&V>duZ}sq${7 z92M)bnrsAKo4ZM}quQ5<$Mxj0ch)iFhVVsJEctnzZ%Boh33nDW+=FcX+U~Wnkog5t zTVC6fzEFm;uO=9GpVN37Jsew@BpNr)kS7eii$%I-nriT~z$yDnk@}GkU@~ga~RLJ@Rq7YfZE5_*7=&4X4%7-7;l9XQe&B$LhG!#=gBSy_20THwS804Xm zk$B%S43EQ?5*WY=wxO z6Zad!@l`B>7p64*5{I=BRK#AF4brsqZ}lNG{q_sfjb}>aG}s8Hmz{&`^J z94sd$Tnrw4ZONQ!s?Iq>tmsz#T;SY@?5X<=Lxr|C%WQ|uw;K+X$}tFY)if1V&vSw6 z^s5I+6rgp~iAdSp^5^@oJ?%Y*9^aekvP*w|PXYo2H>1$2eOYm8`CLB{Bdu@Sp6!`l zWvBHnasLqq8gH)8i=*0$#?Bt*ME%UsDT|rK0jsIIGA_{cQLz}VrNAI5gAz4XFgG-} zrRCAC0*aP`X9m<28*C=5WU;ZBT!gn|QnqDOgI|CVLX%?@O-{DIPY zJ#!-t`uv9;8(^MYyHls8;jKUWhEm1HWo2<`i%imOzJS(klX{!sE?C>&McR)-ygq$j)KtDVqTieCQF5sax8C&!{E z`AF0C(J=3G?ai&3V-fj!G9v!6c-(p$D^;$jX=m4ZNLC6GUaH0^WgS6K?kmSgo|Sp5 z7_VSo;-mAe@5FweOC)a@B8lYqu41Nn$plAp{&>K8C>neAigR zKXFt3UuaQWwX@D5f5$**byt>5lWts*vqQS(AH%-3$IJ#bGG_3*-q`C0{raF1O?*Y3 zyD^OUKU@Hr^KMi~p(lSlJUri*oB1aDEz3eHaJ!mHF(WPMZsUWegYeL$O3ttpvr|&a29a^BD*EGULKBuQElJlFLCRX(!I4EcW>@A#nPpIoD8iisq7cTuK`K5CrP?0 zIy#=q4K^t$DIk}VSSj+ov2-%&%YU5#p&4NOs-&(;7$M7MsY)}rp_tQ;orx|pZ(l12 zaB>cSNf_W+TGI794Amu4%odpoh7kUtNub`wRsbKF!Wkw$aIdvU0XWdaNBWh}GnH>3 zT0m)hDPMcF_n(-b$qOiBrbPU!skK3Z6@p9jxQ13?^T=(zOq8PNKBFE`P!vCa*}rDY ze?aU(6U&uSam56C`b>H@Y-wp(q2IoLV=<7brsU4`xr za>h7B;Mr2}t7kNOX8{LN;6De55(=+&OiWo7&p!6fEcBah6Et>S5hct@A7#gD3hHXH z&j~8R6W?!=3^9bwC*c8+ud^MknAuFhwRQWTt%=sBDt#DVdOjVcFCU^!?Vl?4c%Rt| z(!nUzWnOuCo9ErBQFky)vK#=1f|3D7u#B=l6!yURD^2fy@Dp398cUWV1%QeI-p)xi za|pj*&;24(A0U9ZVv@{&yf;Wyy$DDkK0fcT|8u?xYbYt4Jfr$%0>1y~HtQ!SC339} zC1Pk+bZLkm^*b(7Jfg@OpNJk$nXd`VDi*s|>s_}Fxyg`enQFc6OUeVht>X!CV%Y=) z+Q6Xw;r{;ddWQjN3>di&Rwz7MtS#i+i{tapI!OJ*_PL(4a^s>Y!94*$VxwcjGqN#5 zidNQBhF7{vLnP@?0kX=C3yQOUEgTyD(MkQF^v(VRclxY-JFM5MI6kMgtbEOp6!MWj zupvWGLoedvr4BVDDn%zb4GFTD~8D$n2=;7Dgz{&AsY) zd#TLI`nTB|CYpUdk^Kb>x0#Qn6|aVnn6sz+u1#V*vDZ>>0JP_lgR!X0cY)QvmBl3K zw(B#q*G?YN)-EqdmE2sZP#k2Al6pazNM<`*CCGm(E6@77%e28L>GEA&8*cW2{<%)r0H z*-|h>tTf=nAmZwBQO&V4BepVDq~k7`g8it{)9`(&YcaIX&<(0?COauO$ZSU7a~UZm zE!Ou)+tb8EZDb}oJNkZGW9#IdhoGQ*(=%;pEq!g3T^M z6mYi-dnTfXy1{&-yvOUC8!o#wa9_(DC`zv&?@*|V-PPsxDiM=_ z04NxEs!znwhs{RPh;29yfWTzCv!DQN^^mu-?^5W{0N_7U=xHZ@(C~-LHIS>6Wy~~7 z3wfE3&5yV4NCj65|3k0hiu<`BkNa$E;#*Oi=qwzB31;+LlY()~pcpwkApEk-MxCrC zH8k+%5xS`?O5%rv_nHN_dW(1`UxSF+j-8>&=O7p3jcxV(J1_tPyrJp94I0j79wZ!Z=O&eOxg zU}GS{@QkmN)oprdqbfpB*U(CTl0rsUqWqHmV+bdVUAv-V8syUA<;Ti(cNGSTFt$y_ zOm3B|<*R|}9fb&oYZzeSQ(8g$s2kJRX`4n7%+Bv|yE46}#{T#nSxMI!FCFrz99qPw zZ)C(LOHD^w6-r&q=Ps-Ta4jvt9$SQ{66)qXy}{51JZ>9iA_-!v3u|j>h;n*1ryvHz z&Cu4sKl?{Gkp}R;F_ga5Qm#F+PcY9Y4?IMliN|0)SX84&x!5cbCQ@NeBd7A<&b^6D zmh+*q4tTq5OVG#BC`7r}7!ONVkMBEMnR89{eUz8_2^Xre=}L6nh6tXC|33|jwxX)) z$LUJ5h=>Tev_ta>i*euc&AfqAi>}ajni6t85_34Sb}E!3=So|2w6u5}mNVcknbjMQ^+FZ65iob!4Q}x#{5%5plh$#_ z$Z{cJQJfBEeoN#+{5_a1^nE-i1ovu9`-8wVufX@t2FTdR$o~F(0|F9e;(Ohas+C5i zegp;{n8@eRi78SYqM`ug8=>4LV7*DCnW<|v9P!;vH zo3!-unEt8vx9nhm848>F%*p4OqO|n%C_+9?i>W*?Xc$fYu$Srk;qOwtRRSRnxINE^ zK!cz~2%28*aoe2JVU4AYY+D!~ow1xL{)kKSmf;4E_~Oj4EQc^wRzOYr-NKa&blMn7 zjr$-9gL=dXv{A_yp|r z;jHZ9o5lneU~YjGNFT<(R(v9ta}pIs<&=YN_;1N`IAzcuBbTbONs~6we31cH$n$J` zno|Og{?YpjADuJsiQBVVsjyDJyl-U?Yp9wGD54Grxjo7hC{ZR1+;zcuV;!HIpc3-V z&)kXMgesC z%v*f|e*{#)WF_ixgbH@N00~Hd@#N^CJDWO`6wJ36oF~i0lpZpvX?%k^bcQ6-^b?Ft zNcd_K#Lt z$sv?I1Dmy0Ev+}2iN^h-hb(m(cihUFDO%y>?!hK~kR+WVp4Q_(_e0S0mh5i>K`%zA zTJ;QGXPxA^TU!8nG5H`l$l-9`iX1Cm5-QVx!^$KCTd?|(GE>^2rPaTrjc8KLQhcfN zJBc7w3B^edw)W9e+nJ$EE3m1IyFO1UA*ABF9HFCCc~1v1xf+*q1AWwj_qK~|snJWC zNHp3Db7kGX=M*euRxmUe=|2=d5smY~v_A|?qvAk$2fz*D_2eP;_lr5)gjFR8{S1`U zXd7v|(^fp}&il*)7uOla zIKP-k_s3#yCXe!Du7=ubUTEP@TFXUre1_oHDzblvsq@q%J^;+?26jrc9pyzIec3s z=gssk9~pyAo>y4Qwwq>Zij~N(B00ZcCDQ*#6$fmzdJ+fq->yo=QizEOj`=B#gD+G= z#DWT+A<|kQmmW01xv{yR!T?m(!yW!)Pc$UZyvVYswbLg+1*&>`a0rcG&%gms(Eia+ z+zin_sa*A}Mxrh<`Y*BFTK4uIL|5l4;Ug$3TZi+K4KR2yg%q*pZ72{~RcK^}dsaF} z#1sgk%1*r(Y=FoUINWMNNhwl9FPu|(((4a0ai zf1|6-dV_HVhtJA8CCeYoVMFV4vCUB66dT}y0GicGEYw?h-Bl+aSM1;70Z(r+(Ypm&Z1Ywt((#s4-%D&S zS96r?Pmbw$=|s7lJg4n&J02bgWd(&OPqnXJoJm~Jo(hJeK^6|*OE>6#&Bz;-^UO%5 zyG-F3J{U!^mgxzwPJY^!MydDIr5=Fu&9GT&cV@F+$&cfbE}uvIyeQG2f4aty0@|2* z=b_QUv++Y4ab~vsm=(^vXG^W@pv?h#X5Gy>Puxw{zRgXE6Tw`rOb^!IXx&a@at%(( zFP|mC=K;~L`&~buvQW~EeV8}=9I&oUY1%DxCoslT5IvS zo2vK@;YV&V`22=^I#KgQM~LnvIOq*eGHhcwpykM!-E&zON#CWYEfTb`?2Dma8ksp7 zchK_mlwx14iSW*Sd?yu)%{LIgUIlMNOvWYZG)n7$j~fy6#o zkCaNS_YbcqwUK+sIxQB zl%)#m4_iG#A4gn;GWpmio zmRyM{R1w)yce01e#%1tJ#gKrQw471e&Eu}8LLM>cWB>|4GY?MJ=e9XMzL8|3qX2|2 z5$y<8S-n>Rz30E-dwx&Naf7x{Jj+;b@Oe1%tc(x+8GAvTzQ}I8(u38%DPDh}(Ls@W(e}~0Lt#{Ncq{}uQ#O67cUVeUGBs~) z6=ZvMfHkDtw4)`D6IX5Dixr$-6m(wshfb^H-0vZ_+%`|O-pd%i@%(1B z@DNr1)M$0>u`UsIl3CriF7VKw=}XuW_kG&k;U5$V6U~0VR_fODRNTQ6 zedfLg1jg=5Lu(XD_F_w^=VUk8eC@SMMsrO~6i@o7Ss3E$S~D)MO{ zo>{#>V_oa0&s6hU=J25Uh;+|0BOGtp7|t{NVdfr#593rjB% zi}{+5CBXYpxY6AdQZGikS)ff`dpI_SO&BYTaCc+17dDY9Gsc|7iKRr%^`qan~R zi5|F78J9Y8_^aLZhX--&{9Uqsw2al^I-N~9B8 zP+yBf02$JZIP3rT4KXGUdN z#cTSx{Sfy6dX9r=JO>VRc4+dteb$0t&^y%Su1 zk9h!xmqJ!PVwlOy1F!W%Qs*drz3Dgm&FLyUFDrS6;l?bi1+XAZHFE zNG7r!Q(Fj&qY`n|qm{m71?jk0F>~fo?K)@cV?{Wb#6JYds`PV3!Ml*K zN34Fazg2UIF~e}ZPKdm94j}#Vc6+ai9IkHD`SE!ge2Zkl!Wf6h;9J5pBwF*jA+H@53S`=&Q~2`E@Ws%-#7}Y-tFzH zI^9B~qoqJ-fYn~+dHMrU=}FmF8~T0VGrGBCV16-&!9?#rFy`WJZ#_NcZ_Bs)WQ0Zh z&V3F+Q$c6%>RiGU?y_oHsYuaKhs-iH%r5@BP4ja2Q>=O;%icS}ppeK^LvaNbu`=7n z0G0E%0rWaeJ|C~UPHHvHp)<6Z{bJm~7vJcnJAi)Do(=M<5RG>eUPn#;EyRy-PwdV7DdTho> z)fn05@OrE*vuu{6!b)m&`$)oa+TzrzccQ4Q`|@w26mL9xs|CL`W6=lKsa~wVSyq+K z4WAGIlrWP$U1c*P1yBm{-{H*%5`Sq~@Y&K$sG{H!$SFsf8Z* zNNKs2`fhC+^ZO*7Fn*SP8CV37x6NtEdWGO{uPCjQ$orYXVmQ3fnc8MDt12`O9lSoFY75V?iWmJtX&3(Z4EM-tNxAeD>X; zxhybW>zCtQB!Zmt{&Hai8!%eG6)nQK_yyKxq)1uqPwYw$70sfY?X+#W?souCvjx}g z`Z4ODK?cjl!sw~^`(Iu^zy71Xo1vPo3Xg{mLT3BAUk z3%QT%m~cHAEU#_h=%Umq{)2;sO~Zc7U$}mRt7(5zT1C~{@bcK`HtoH3Q=3d5k}*1Z zmBaYvEuf-g9^n_C7mZP7Txpn(~{IE05*5SKX!$!|kL{l?*UX4?{_x1$ULX?mx zly|6Z9^)ETC_n=Lw4HAo>EKsAZl#;Q<>Wc2#!X#@)$7QkROLYeN;NYxzgkJ*K23IT zqUM`S9p^1rrtqF!5c~E^rShbFh<3-y0W)3x>9U9R*4!;2Sfwm;Evh$pzpBKrIh zW=(I?(K(pkbxas15|5E907b2*dXS~ar!3j?^z~8BVf4W+S$*(3{`%vG;6&N6%{qPe zw*`0YVH4BwZc_2kU$L?IloH!G(|n3ZW#w@4gX9()iebNZyFKwcd{82cPPZ*ArMFmk z71F2X<-(AK9nViEE=Cu?_~WAbt^}SL%$b4iE%cCG8lv%13oLgl4W;Vq^S)|zer;{@ zV(Ni2u%gk7$fApL6UIFAYwyOGFHI#n7COyR)3k9uftodG!TkuPZ zXPX|%C;LsW_fS!_VGhvnB{|Z9WG4|yVb*$n5`Bb$M}{)ykh

Tm2U#;=jRN zMQm0Y3bzh>q$jijaA1-3pAC{?)CJ^=TnOeSrPnSF#^B>di{~eHL?Y_eRN1|5`?+-A zG~CRlBM2gOgdZAurwzzWD5%K&jNdqpu$^7GjHt`L)w-NP?%d!^I14CE7>cK#DWcZ+ zTAuTk@Uv`>ha`gL8h6zNRn>mLK>+WKkJ&C8LCZmD$YpPH*HLe0^&}davX8EB7md=n zo_Jo)TNG0=?ctyO6nt@T14Lj$KO#b_AY|E($K8MLO7fg%0XhainPme+oi^0e*X6TTc zgURBQ5D^X>PoPKYBx2(;zfwR&RkD5P$FDtvX?%2zTR&%WZG@hm#}B~Svb*y}ELK$P z1F%xiMro%hxT(C5zaa%DcBeyBY)CQ6*WP_R)X&VOfEa->QA+SRcANx}@7C&WW4Jz;=$DMN930l5{_iRN@%D%7+ZGkhE7p7odgS*3f4sK;P%x>CO_codYbsfOKRW>~qQ zV@E~H$C>93hKJBB4(s)d_fFW3IXxW|QT+jV#7yYng6|=()lRc(;g;?=b4kC0*jtJN zY9nGug>W3081-7>W{q}(tMv~7B!PM2SN?^v$HUFp5G?J#h$L9zj>l{H@bZc2f6fbd zLzz#%A_Q2VPmG<=rS-&NcJRBBRS)l@pH_1D$ohcy1AP zAbTpx{!WI2%Ta}!+y&aB3H=kgjzlU|E8JiS`2P~I>@i3ptdBOd%!aEA~wftpDr&=s%IAlc)_eD zdc(F&HwGjSCE1*=+bOMM&pi%BA{T!KTYe5Z#jCU^src2!RgsSGaG9fqq_oK9$*)hB zsl&fQPb-B~|8jELeEX)(^_$)KjwNr;PRsF&5rsCoic#5EDkEwQHNWTKNOymBA!;U# z1A&X<{J+XFDZH=A57tKi&QBT{k*;gJMn?vWdfNWJ_7VHkZ?ZJ+vT?nQZ$DIsd%m{g z5P0nj*lB2e@zLU(mXTkKA<0u~nieH-V9Twoxi{Rm1RKw4Z-0;i1wXPZY4K^Dou!e@ zVrk(xbbLWZdxlS2WiM|qHm~k4kT<``OgHFaT%9~WL7b;Dhm4dg=bm#F2jzy!O6D|^ z&uw#vE=t6a64|mqAz-Mr=n58GHJe8mG~@&z6TSUvXG9{L&z!FammNq%a~j_D<_dSJ zzaP5f13qiEq!(6Rq^g~T(F_li_iC`tNKFtfhcC2)#Jyx72D7aAZk8PWc1zrqzKvI$ za$BvAkysKLcxUbFfDitQ#_ts-B0%t`IUl0NI*eFf`whvBl#$TLFEz$*nD&~$L4MgCiY00coPL*6NgZ?gwV7L6!e~k+8)z& z(dE2llQq`M(TPb(G-M@ApBXDF z00i&>`tsML4={1vhLeCyf`jZKWn>&qMdoR5KK}BxVr^+cXtTx5FofaWN~+g#ktM@t@q1a)z#hA@r|jeneDEpd#Zo- zl-OkHvII=--OP(D)pl~8T@rKusio#Psw$=1HRD1j!9rbiL&xz zR1lTw(8F!m;}wny^V}k;;u!HSQ%^pmzS|XBK&fh!x#4Iw1{kU?w*2Ssmz_>W0f_hw z2^@!~$Udnle5 zl}TVq3i^yf#akXfab7N{#nIAFd1YoIgy@EAd`@=<69~@=|A6)m^A<0HfS`$+=kvs% zH9C@sbHc@*3cJq$quGT_7!s`O5D~|9w}SFQ33#Ke)6(B;LLb4*3>0$E!Wr5Rc1y?r z;dC5~R0M!VYVCzR6+kIHBQ;k$|A4Qdy+DOb42&8l1Kf3JLNeMrQ!;d{-SpfjxtCXQ z(_YC8#Eu?Ye-!(w0vQ0p%LB`4(p_MeKxH|khh}zTHAQDMT$pG$H@%sVmb~B9I9PFV z#8z36!V6f~v*?+afG!1Xu?XB}000?Q=-Q!Moj=67p%ry-uR-r7Tt#EToe>`a*W|ok zw*5H&fw$1ZS6KZceT$om8S(sHM27lh?T-&{+@%qs?uKB{qYo<6IL$2B#Rl;v@%Hwl z<*>&~n}RLt%9*%CEqCXzq-R75>I#iuF;Wx?Y^s%-7-5(@ZtjXRu@h5s`!fJJXVwqT zhIijVM7OYanalIrV(vh;^)i?DZn+SFFnoGlm*jof;2-GefNJg$SzyIwB_ib9!u|Mq z->@u6uA+{f<}N^)q^=E{*5!fNbdz@;}j!EkUgcEvr-luu_*7(_r zj@o2WCT3cJX&INbbrP%)zH1xKFncCHbn(;24&4bCiu}%gx}e%fw|CO62|l>SKkoVU z?B2~abR{=MXCIAYW*+l*wS64i%9X5vjSXOvEV$I**K0u& z6>R)*%c_b=N2}A}v{PWo&F_4?2^?&X2ApJ?b|?H zyXR$2QoN(nr7!54sa#>e^Y)*+5D-vm1#|!oeH(jfuYh^F z@%)byA9;%(EJ!?c$#6dExQ*DS_qTk*M<9y?mX}-~hS`jL570>7?zP*@&`rA#+Et-R z*46dP&SopToLMd6$A4&uR-3-Aa^P$o+G`0OLCKmDGAELI#V zFJH`}G5ZaQ@x3N&K^G0@&|0fJ8B{kgRJ)oetQLz+?e|0mAQHM%yXIu_ret*pFuJdT zrL{ep+CGg|M)Xc{%k0va&|6LXH13rF2U%J05eU@EZ8 z>Ocr=E`NW2cbeQ6Qde83{i3dYAmcr5J4O*N2T**-$%4)U)a`IXFN$-FR8~ z@my~cu{8u8J^iX}*H0Gf4h9AW6;;*!92o19A4EjfffNqJ4tazZ9G)&*`lvA!(kgmR z?wh0BqiLXj+f616L5cWRg_~U{p{X^DVW4?uV~e;RWy6>DZ5Y{FtAf&Skpd4dFV+nC zyF@pzowmKb9bjZ^Y;14Ocxd}R&}cDTSy>5&vD6nQC*?PeeemLjz2BZ)!Fqwj#Kfc| z%hDZ6J@$t&EVP~U3IAI^N`*pIWU^xOAd=P~+Z%&WJ zG?A#NsAt)&mGi+wMaC+p^+I``|GPH$;hCMCd}-q_064gCDn2wOIy&pIWLjKY+~?=# zEKa+I*48w4iM$rD@F9g>6EYwo!j>^Q1Pkfk`&iu0Y|m&eDU{d>Dk{MKz}x-vy}-fB zb2szGRe4Tn-flN1`lM0Y25Dr2%4ERzcEdBrH zG1Sg`a531mEIYy`gWtgS&u|ru@dC4G0AV=x)aFrmS_OBTl4)kCPL`(SvjLrear2E>2Arr7P| zK`N;4B=|+54ID$^{H8gP&Fpm+CQ5DL!eO`7GhZ1*-C7p{DrH-Gh0o(}y(uG9hP-@Jb z!jRqNpkkHtDc>%k=uy1qiL=UNyr;X-+hW-Fg97ITh=9Hw=44Y|OPMm~FUWxMC!7K* zX}SpoAII-NvQ0l(*1a4ga8M9Z?A(}`pNx;`cRK0Q1M}hP`RdtedO-jZ|&*PJbu$as>xShzt1Sl-5tzv5>@8;3f#>#B>qnvj83o?% z1RWk1a$=<(ccF$AL3fkR2f2p_#r&S0q(JktnAMDFMFqpIRuZ8dvr5$QL6cjf<)Nuh z0E)uL@G>yw^zt|$c5AOHA(yF>uqWhw5cb#NE)fbNKldz5xF+ON*j<+GA8M6iE9nHXJMMQi(C+-l6f9l6`Op{0ul z?`%l8+R8+zrd`-j=B`L#nl`+-(Q5~~XGKrm@8)*D@eA$3lwg%${$dM`iCDRl$deLQ zb~*)Wh91uP6WvC4Heyih=9tpQ;m#xnR7|-XRU~3CImVr-jtwp!LS9fi)8nnf zeppJ;SLu|yU-rlGBX$)o5Q_2qW{zBKVMW~GLLU*`zUS_0g2A2co7pF)=g&oRIdD^} z%-wLGknwfX#+GqD`1O1CFM{{q&S|mepdxE8R+Ii-?%m4j>dUJm&|!M3D(wy+DpFOB zMOFa?3C&Tia_?$(@{jbn|{9DFAR4l-FH4bKGGIzfU)5z&n8GWLSd5ro|aOMv*Z86UO)J&AjR@ zl1C+xfL%Ql8V4_UIR=Rofzt-X@(fx+BnDK9`jW#8(a>?zEkgx=UN*T{Eib{o9?hhw z%qW?K$hc}MUf4`ABE(KX8Z|#Sy|rygl#@!U&KGT(YijW(r$zF2v}XpX^~d-n=$hFj zxUK%!^01MojNk@a{$kc!B$wklLHMd;?NJexnd+o&B^I#nt;qRw*l6S3c2y!9+@ww2;!1>CmP|0Q z6D**hpOZ~60m*O#|M>+m$nHaNiuU}qE1iAV~FDrKT6Y71AuND!rti5AMRUiP?e8Nu2C)0W!aX) z_J&RbVr+h==(e#0dU2{fs<{9ofZ|-<$B$95qOwwcI?x&`UPF^I3@)ud2p(t z%|#@F`-90Ib{U}j04oDfO3nS8l_J}keqg6xx7^8a(f4kWX42?kt#MBM#@#ol=Jpnk zd#E^^Sh@YGjyopfAnvj`gP^v-hp>#B zs$0zkZI&3NbOeiovqvSWswAk%0uWHlOM4;C7&q(qKu3&82l!dZMlPb7tcL?C7fNJM z=;1Y4t;kf9&TqP4wSQlDe}ux~;658jLLe8VRy9!{iIW+xTPDK)LS10#*{Q4itKa6+ z{;DEb8(_xlF|MZR2%wZZ8MEbtpix&}B(S0eAem1ZXb+X!q!m5I_E>ys{m4EtEi9=t z+u_@_Yo^47bWHb!A&ppj2lcB@7)=N{}0y?{kdiY{2Ts)~+sF?$A zu<6T9rln#QPUAIY?;8aNI4lTOOpsCP{ACYDDQSBtS0Ml;^=vn%(tjy7-l^$Jvs>~^E;VK_h$tEC9 zAZI3InWDXas==?DgAi6r|G~5L>gF?ZA@6^|OZ@m<7IZd}#!}JVFshvRNJA6R|HJLn zwpJ1f5dT@I17FeDNw4E+Df^Lhi)z^PkToW}WqGv6W6voPzSzvlc%qU(^tT4pf(l4p z2l3UJHmB~YJ8|j`H6Q_d2WGfni>=+NqKU-oFVp!8!|s)11g3_oJM%mL3Xd)SR+Zt} zx-50OVCJC@h1ecfdhgxLIfStta*RJDU#0mxU-6o6r6glA%|+B@B~`UmC2P>9ddV79 zFjX6o7P?AZISU{G@ret2KhJ!Q*xjTig~@2qEqXllziq4WZ+db_oLPg#5&5Rv9&*I< zf1#~7^?jok)!2C&Xr)VFKtw~TN49AS`U@2Rz+7Q*c*H7lNeiI>vQ6b&Q1wJmp-M#J z)%!7$8nq@pFJQp(Zb8|N_<4*1A;DODNdFmkghCQfe$eYfq+_|{96#KdWJ*t_82;J% z{_NuM0*w~gpFn3aq}4s{5~1AX&c##}P+U0Uy(}tfZ)ebbKR0l6Ba`hPZVFG&k6U2L ztqAYc5#w)jYB-!LB~7E?*=96oUs6DgT7zFakSvXs`>UL!odgYVb9-wBBu%-ZsfW&I zC)cN$XEq!{K^xi2no2*>*PTxI^meBmDqhCocIS>#_gz(dF1xG|R-xj8`L97548Z(> z&=;t^L=;qER;b9u-mthFKMW;|7)cwhlK?Xzlrs~kM__X}ps~M#pii^Va9hvexBR=|;>^5UEJf>1pUom9g^CdHCnf0R@NKu>-a)_qhnD-Y#yZaM z$cri#Ei=Ju8mR`b9St&PI=8d_$LQBjn1bVsL_{YQ3{g@$K^9z>aG~MM6TYt#0V!^t zn-O}NaT^;oc-%VT-*jezJL8DLTS2!rXg}Qc56)tVa`;- zt8@qYr7x%){_a_T>Cq_j5b#E5$laPVHS9}KEEP}SV=8H#Cp0z5-Unkl^AS9M-0{l* zj<;wak=04M`|~)uG9@`4SIslL4k+VeZ}PQFA$YDhhcwA;X*Fc*OZ|lZp9aM_av)U$lpnm+FrMyd*AX*-QzK=uz}ur+;^} zA{4cEzMa~Avy3)uc7H8<*e?^>Xgyt7jcQFiaw82i&Xwpn(b}U$O(?dKqflZ_ltJ&S z|79YeeLtUk<7=^m>X-}$Uo_C&XtYPI3MwXsEI){`N?W8)dsGQJkcoZ0U)GdQYYBve zR!x+-7_OCq2f&b&5FKV>S9+E>2#dy0mbmRh;9$b9dS@ugY2r7xe#|5l(tNz zm`gZ$m&xU>*QwF5FRjQRS^MRLYJg3>S9dk*XTID+)A{*c&PbV=o-W7Tp)Nz`JCZ+< zRX+o&Z;8va#`!_o6PJvoU)wuZZ?&@%M;=6u2V*8 zZY+7lm~_umjh~U1ceZ$5r8NHGunMQSNI@7lKAwCbcrd{=_S-9cg%OPWkYI^b1)rCj z<6W{lkzrtw#bS|#YRx5}Tn6^MlXH|qFP_XgQ)u8n@Z1b&;Qu?8_di2|?4Hy!WIrR> zzO%_pp8d6^8)f{-%)!ggQza)OWknZOLwJs|pvC%AL?h)uY`BYYD+0pOIxN*rN4H|e z?9+dO!av}^CnZ@j8q_u)%gtFNT;yRpI8@holznr z#?vyAW`)MP$)y6DUEk$D)r?mg$4(?J^DTW8%vx*^-@Zk2ui!>wA%cVYND`!4?0{ff z9o40a;8#}Gh6ABEVxd$iiW~WZUMw7(!Efe`fU@4Ry#KG-`GRRWu1sudHDg~89Lvo8f&|D-PP6C|1XmJ z=p($SiB;_I2Owaqc(jR&gmX(o%BkY565;dZM>^L2RF565zdlNj6Z>dgO_90i!nHbW zR$3mTTI=PWrNQC$jJ~h0)^hEeTb{%*(tm3K*x$DGqF{dpDPanisDz^tDHzxwy_!K%Te^sD{g6VlMnaBq`*RCV`CF1Ll5p_W??aA%>a`HNNa0rdpVHc zVfWiSkP!)j)5GG@n+ug9Soq-hSC%ix{{H@+7J)PV{o2q+Hd{1y&S|*#NiZR)Inr-jT`lb>DWCQZ zsSge~r6k34OusY66PTgIMmnv#VN>d>a|*9bE|;L7AK*v8lq5i;EluE_0ypgT@|GdC z>=tUUg&r2Z|L~gpn>9*Z&~Y?-EKlBT$Aee1WFU(JhA$Tw(BV0ZZ~Xl84AF(dO zq~ZtojCo%-_^a4Q5D+u8%|4wgM3D zXL_;3(@V*h1N_!l)U=Bq)UkRVf)x&sQlrI?KHVV2P*>AT66WGseyZ~|lgWH%XGYC$ z$UN9+_O?L{Xu7j9f&?g~xO95AK>{wna&hL!T7s_ZV)Xyf6*`F3SDAd{Eq2I(43VC? zA0d&2*>VWrV{YTptV6tX`_NR)LSQ*oG6HmpE07*q92*i4-c!SYPd33tkAN7P2D#Gq z_}GyJ0Z9H4ygLs89~W43?y3!lpN!czPd&QNv0h%l5&jpEjfbq^F=>!ho5K!{`&MK- zd8kRD?oxncZgp&GvP~b0GF~)Gr0lNFr{Sv0xA!*C@#zUzbnIttXGkGq+=3l+hG2h* z#xDZ*=%5*qi<_SKo<2#iTtr3AD!|ClDB^yk<}g$itCWGsKOpY8_iTZ}s*eulVywyj zEuz0JH_r7tVuXA-PsU-{TjEOGdBso2xXUs{f$x9hfP*%0R-c^>Da;p+zhVsvc+#<- zw%ZrV4~RWUz#NZ896R)R^(*E5O;Kwf-CmoZ18Lt9T8EiROCh7~96!m~N>0nf$dA`@ zrGMQw%l_N*q(+hZ9c&Mj0#ioR-i6j+4_WH$_WfTM!>#2KUZ?Yd@Mfe`_)Q7o?w6no zcK=mVG>zb|*j{>-&n~;gjWvg>Pwe(@ZpjF;Lst&PLK` zH2LRmxrp6`3Qi8{^!Rup^r1!2y<-}Mo`9=vwTgps#?>&|7<;s1f%!i!3a-wIR5qxq zEo6_{BA7y@fq|Zbdn+Qfvm!8~zz(s!+*b5%eEoQ`5{=E)U~uJ=lMBZ)~?el#Pi%P5k$uv z^w(Tu6D?HFK0`_x%iaAcvq6w8ZKd32MRTP4gS*!HhXV+zm(zL*To6j+V5}ikDlu7w z!AntS_l5kEnmS=vb*;-NJ5lF#v80@-45K1lN*kIEd*A4+Qup>Lqda|GN+;SMvEk2% z#rd{8&cKQm1q~GaUw%-n=)E~-rK`8TOau_3sYFNR8xL=TObGpEgAvZF7?UjqL=xG& zQ6*TCb%w5k-p6?wcQ!FutpE0lFTeVeC}aI>+~1aBFr&um-5y#}J->)Z&$o5g)lcmD z5b|9@xZUHa3A{WlZieiyHTT|1c1p|C+42>)duTG@gQX6cB;W^85ObrUHFG-PtKS_<7Xp9&c(#yc}r9BOr0b5zfSYRfLuz1G>}A(g549o)kaxuvMth zrR?+WO00qeLk_-?@ppGcVWj-E2jY8{1u2aOfmzq`!GxQg)+hN<+eMS)GI9VwI#H!U zO(rpKHQf4cpt|6BRq}n!tyAu<9mQsWNLfbY&8}*^?VW!30f-^qaQ{371RdqQTYoHz zTESZ9u1^cL!xw~w|9fx=dJliStM3o(*1n{(du_wsEU?nt|8BO&*~#7L`#T7Rit?4- zpUI%@-i=bdV!G*`@8e6wyDuD=RAu@{11~hFS%ljOIaaB(-X^oo%` z&6^HfSW`1*Q=?!WTVJB+<9KWgwricSS2j&rY zFfw<~$6ssUH6W=xZ!Pq78aoVzXpPReK9-Z#QZ*nyJfwWw?~$^-x?Jlba?pd}@hy%I zxq`)mWBUokwXafMeuoSD;a2TFX8K6ef}*f5Ey@LcZFw@9w--S9-R<_2&H?WlOUXA7 zx?pH>&Er?cIjmGTv{ea zhFB~sbf((3zpfxQuB}8-PeTu(d;j- zkWrpIXtmkh??>u91=dE!K#M;s3T}V%yiptN6?HwLw-;Pz&uFu&JHz8PqxVx;T_>KA zv(}b@G7)5>9r4-`419w!9j>vgPMM(r{%E` zYRdOB4o(_bb7Q*1R8N}>4@JLZ4aNj1g^$0g%axY{WD#=T)ekpUSw=-NNG7O?rHVfe z`*Qg`3#+P-0E~=`;N}7-i6kO<%KDzIRd@lr6WM5Xb4@QV`mQuCi+=v+`bH{c`Q$WB zjH+%X&T>N<&BN&Tw!Bm9k-rpg|P3&gOP&I zfR5gf9)DJ`KFPz3N|jCG*!&qjg-5&F6;xrfr<=#w ze)IS=m74#7b~La6$!N*!_1Kl|#LaWADW_#kair_I5xa9r)a>ZPg}havgL2uQc#KTY zO9Y|CwHH`%`R)`tJ>-=+w`x7!LU>|bU~s5~C4kdAEIpVf4GuR$d$}@|N`F5admCx0 zPL!!obGxme3~H71&v-bbzwd?Oa%0hi2-v>mf(?&5I_KF|_}y0vi}J+Q#7=$Cmt)bs z-(N|0v#Sb?ZjJgFH!YEjZtg31aSj1sVX_4Nwd^#Q$GJN)`d#tU^Zjw?sVXk6?rCsp zXRqJy@stAwBQAu@S}eqU`?d_MiU#-viG6Z%?LR(WCX;avkAe()z~E+8enS zK?HUuN-oQ(q>!WlwlNH7fAaPvR*(N?JP7s8P@bb^evxuwov&v)is78mx9hGshM;M) zS<~D$yE|W{`)v=VTVOq!MCkrGBMH=RFh$(8^3~Qt7ZpH@%HL@P4E^MqmFs+{cyVH1 z!GPX{+UaYw+*cL|^xwR2z5@AGZZbPdK0h2A&L3Qk6lmRj;VZY$bQchbf4$jg_a1IZ zOL_GM>+W`2Km8T8V7hgwSH(OK?DlT z?0N8-F~G}P)i`)O3-SJO#)sqOzW%qn#{Da^a^;(-RHesDYt7;kNSnRUT^H*9=58db zl}XUc&v;EyBT#cmw?QZgPeeYeOIA*tsn&6q*3Rcty{j5 z!A*1?yIP3fa2sB|tb*P4q$$WELMTSJ1a$!ByY*;j9DIGw@(^Eo{MX9oHGtu8(39@Z zLdRzPf6Wn?F2*oyDD&}AJ@j-eZWBkeb9B+w4w?iKc0Qt2=ffq-t&fkbe<1`F)Ru_D zDAnWs;5b&*_op2Ocf>m9KeFEmmzq1d$-&Gn7e00^EH5o-K|>3uJ?;GPb3y;`{lK}* ziv-EfL$&8nxXyzK2hg^l#mZLeSKT zYEoz}u>0y0=hD36P;<_>NY-^K-7un8gnazi)N@up>3zAfl$*y++kISYCdN~T0lnBj z6s(zR3h(#}Mmh4iKmfEDlUk^-7aznlOgAs>paJ>wcCIdrhBAp1v|r;o=YR%T{c5^? zEZqkgydRSOsNc>zNP|AM*_2dVb~Pyh!Bdz64VBUj{|3WsEp&2l8UzBSlnCYQ6v-;7 zg%ilVPp^HlzPXY^!Y!OT#sUOU0jYW3w^v7O3trI3n>L3@zg+Z8F$5v|J5iBd0uO@y zi9$t+lmG$peK@GrsgHH!Z2$(oNbo_O8OeB#Aj>oj zSIyxf*%505sj3iSrax!h7bD3R3YoTEZ{{VjLJGKZ8hP5c4;1jX8V{+@nZ+T7BVWOD z!$NJ_m6D8G->+FVrNsX2Ck22c^(V#VofW$Kt!1?E=$h|q0OQFe1}V+i6jWGq;$Y`0wNCajTacHMKwV9h&~$-AP{_|Rn%ro$&IiWl&_g5Aq=yofxH zK{uqq`Bz7!qK%|g3=x1OQP=KWm^9DC=w|N!_^S}0t&c#G@UukaIDA)C+u&`;{e1=p zv9k0$Jo-yH!aiD@{`6aF8FT>^jHFc--)vQxu?X{(wXOp}y0QH};8RjYZf?S%u@Oz( zo@s2d2Ey3w?G5-(>_mg`EJmuHgq-x*Ri!6Z-y4U|mlr}E+Y>>V1-E3OWkb;Xr{oko?)llD zR3$l1x9#2|>J3B&7DYM@kb*1ZK9pcEpv6^(fAMk%9!V$}7#o3rf@f)EwS-?;dXmnEca#&p6W79ZeZyLwM-T-AzyQ$te3o4PEpa|DN(K!e z1pJakI`ni|jrD<^s0*$etD`Yuo(BaTlC#pp3$vP_|&@1+G zM1@sA0Yts8`ctBa1PpL)%nu_|2zl4e95gIM{Z4u)g)TcW6VsJRlsSL>V&~*)bh^ng zt#;en%kjtYWN21YKrNclqRZoBOG%D2)O)nKA5xt*EW1I#hGJt=Wy1{TTsJ>aUCu^* z>KCmbO#m$TW&a%f4#;QAScuD&!_zf9#XNnjZ|-&GWQ`ffZ+L%G7cZI@s(1XVl6ZCW zIOYn>3+bkEQAk$a ze-&(!p%AIZf)A3h@HvJ`R#IM6+g^CD&bQ+Ea62w<{XFXJd>TGW-$oocbaDv%{MPiM zQ~AewGIV5&%wBKh7Ko#0uiu>?9(>UH#{Xg~vRDF2n>28x?)o+VcU&4~@YoSu@ltQI z)pb2xp{D0#i-NYi(#v0V{C5BZ$ySP{rpDr?0tJ>&C1augBb?8TrA{o3N?r7CZSb|zTch{oWt*oENzn$yJ>(*q3k4k(4oxi9B)fevFKP{ zhb&0LPb=|>CpIrj`d%pz0AUCcfRvS))p58p-JjQAs`RLv3gi#~K|gPQVhk`&sjjE? zP#~T8v@`dBM2s@)bl0>Z9J%?YM~bQZYv`bvqyI-2b6fe8#>qL(q-z28(8cSEi6`R%!z4d`F$E$NEXl`#QD@k1`$vhR*+e`recGf_!#ip7Vs6X z${Ws5A2y(vnS>b^up)PkdVUU(ACi@ko*(@AKu#x z*VDzZiMtOUm_|PN^L*EbZ&#(UP*r|;d*eH1-EICiEA2|y;`q6-FUw` z??KAzH_XQyLc!1bQ@L|_8N}!QdmdU;>r1P9u6r*m+HT>7Z`2zPw_ zVg^w{hQ67QdxPVfK4m+T1FXfuU5u3YcND(qiz)K}EW#QvIA{(x6)uE^Dbo3@|HEaT z1>ZkxfRFL@78oRh5L#0UT-TABVNbeLZ}}nynK8FE|C&6&A*)H{*gIfzPB!7H>pOe$Qx$hEs&^ z;|Cw7O5d$rbUK|;>aV3nf(eDzR>q8~PBL0f8jmgwhw-Wjc+Pe9_OA!%>{Hi|A@a{U zuZEVgOTsTHDb`+Hhr~M~TiR<5BMJTK3<+AXDE>Mf_q95=mGNN6WEex7bY$!Uhsc>git%cpCk1L8&o*ZBFA~e~^|3!47!W~}9h{jm85zN?Dt)HA38%J(_=i_#cYrwg z-$0FUjyqGemmk?MEG)Pb$3~aNHrJsXpseP~wYx*_lb?Al7-(Hu}SzHd|>FUj6fn!03WZtG|BmRPsaF_+`b!`Igpb(CZGk9 zB&(@e0)z|P3GRm@IG;`!?{Q=yG~)IxrsT}{+7_nU8H+Yvrm_<(Gn*=JDOA3kUE3&n zey(b%>vSQRG+MjNT0?r&U_1clQK@-vM!YDv{QN0Tcc6)mY$iYs?jBLYv8omxe7I&n zbz4lwr~%-pTK}Zh8B2c1^aTq$OHE5z+N=Uko4cunL;3weRTNBG>~-%o>{NL?q{-D; zDJNhsFX-dkl@4ljJJ1Vs=i@+3P%g8YVI)Q$mCaMsS|xn`QJo_Q!{2hyZG*teIUO%T z?DD)0Ls>G{EU?gLZjC2B)a&y|SMcz?c+nwtg|BWpxeG+Rj3|yMmFeQ2)`%Lq=&9M4 z#`T_FEORA^V>d(i2x-Vd!E_H!4c)G%#P08?**Ob9KS!pO+sEc=+)r6urt{%knosUm zd3z(%+^8T~xVqwstd{nKDWM1uo2b(ktn71S0KRcLRO&BY%X{Y~t3^VPysf4T#If;C zul44~UE{ca5OuW<`T!DyuR>E~%oyL~l_VglKDz2Vno&%@OBv-xE-wT&pB5#4!o*dr zv?x=5T=}q4iwLX`1O&A0jrG{j`Btll6wTdwG?y`s9h2ruNNTlQ3bv`@&)(L&8=Gx< zReD<8wKS3z`ZDu%D3gh??VFnzx?U*Fm_!joWf$vp>6T8WC zvo-1}8*$T4-pTDaQus4m6P1uZWoZ5mc$Eek79E8z7^1vX5F4aQkts>+5Djb~K(5A= zbu$+95=;EJMSsgHYT~Gn60%Qtx5;|emMOt7o;}@)LV|16G*Jo2zteWh+` zDW3VYD^dy{1SqVB1#J5N9^;nU6)0qS290_d&O<_fGq&dSKw0-`|LBUpMJk)@_Vk;6 zL(h?H(F8BH!Z`Hv&jxz0ZYBzjqya-|T;R@UR#IJ-Ga>4-rB6PmtR9h(BC2>Fhw7lf z)+vLwyv*UGnMGusRnVDGQ&ppQ(o_5+Lzp?=rl9(P4;=YZvDzr4X9R!+^>gP|N zwhj-|^71ZscAPHOcx-G=B^1Bud~R%1O|ye~$kXL(@-32-1hXinkkd`VUkSt~9j(#m zx1z2P6Hu^8002TKX|Zo=yWktJ;K0VT67qte;hC1XKCA8jzBIUv-Lr3w)7wky(axpW zo8@5R{A31Z>%jaBSXYB2nn?ZGz4e#NQR|s~U^%aVhvKy7^=)g7+rmKA5||lQ0rLP~ zt&QQo&ji&x(cxfj5NLH=N$b`Tapk=h$1W0r*{DGX`!g_pDf zH);MqHmd#4;+FqAzgrzka#(IUmxZxbY}f6-*DH++C%HpL%Jq*@&_7_C2>K=2X{ zJts7v3^PfgA@z8>9WpK=XmZ82CX2%x(}D^aVn3zv)dcn!YUl9@LF-{frZ(Hl91%1<~dEEGU19^fP3|Y*DSy_jSU1aaK zEAPhkVNGMNIKwz{>731$pui_z0#nR?EV0NYl%$o}&yvlt)%Ag8U@X}w5hEh7;^PmD z?BTt=3Ecoq1n{#%*Cn&lvy`SNEI?d(+2(H`DQrS-%}O5m?!|vPlKWy-UtvM!6n!gD zN|zavqtwPu+6n5ueU~}Zy1V-Itn>>*hS1xcY#_F-O`opl7kCJto>8^73+j^YEvJ)I zT5@xna}Czb1v*>)-X+ch>#)Wt=_}g!nch}|Z9Z(ZJNHFs08;c(M0u;6&acV(X=INo zfPkCqBNO~og^VXjBZ(9}r+;owJmRSVQA0{TR{q+|1?6RxMWs4mZK-ko6oh@gKfiw= zS6O}I&SBXTG0@TDB{!ablD3l<5YGi-TyYd6I}(pJ$jr|fj(9lxHCR;2uQ0AS#xS9J z?*g1@opt{A_&vbO)y#6dd5LKfKnA%5BUlH7N?DqUkrYtL<$$;s|5MQ)yaJj^`G_fE3}5kk&RNh8n|-?bo^4Ms18uLY|QF+9x=8@6kIl9;atmk z6VZ|kma^K6EKz`z`urp~YRE3En0eQe6$d_?af7POnix#{eTJmxzvDRa;_U#7Ehw;} zPElMV2YnKx5V1tbQQ9e}kdffAA*GOGU_08;0VETM@L&@PrU@T4+<#2*vWEu^YeQ|v zW0a!cA0>qf1~Tu|qk&rW5FsK4W@gxcQ(wN`hIB&&qowv{y_2%BY-+GpJzw?1QK6Io z96dYgkunA21vK7$v0(!M+A6l!_~+izSn}kQ^l~xre1v#WCf2%Nnp&;@Ec{#8xc!3s zcj{^c-5rfT=L&Zc3%z7FvG+@Gu7A7yhR64O)!MQs>yeX%vK0DW%@qY!YUf;2eI-}y zzKjg40e^G?_9UPWWzMPNSl&T40>@LajD*j`6U^6H{I!~V8G45(;EGK|0?X4Bb=aKc zpF<}zxnqYT2N~~zCPrNBbBuMQ$8NV+Ia)Ul+~dcwS|^e{?7iy${(=$o;<_GyY_r7lNu7psR!E!0H%c$T%d`V>QdZt?zm@5_?w0c^*y)i(UBO+dukU;P zvpRMRmJM4Jj!eI%P5hh9jDD~>f%T#$gU5c0DSS|+f#l@6t3v3t*<{luLw{3NOD$e6 z9S-mW^R(CipTFJnecCN&rlva;<_ba#hN;ZudbcIx*KwM%OanX!yD(3Xejb#2@Y0hj zi|mw|yHk-6=^2_~knS!S5EvTi9GZ9eeb;;czTaDKy*KNwb?2@*_uPH=*>&c8&fY08 zyBj4kcv$SA4=yj(&9aZT&P<*t0`FV6d`rwU!)tP#FLu}MI4x7VxJXa3q*x}#FZmxv z=eqg^;0~|!SAwINdEPt#Loc1Z$?#u}x%~z2hZwQmba6TXHIjXNe9q3!fTcp9zze*_ zK9El6U<6s@1AhPyxjasg*VOgavo_@}Y^xKpNp`NBh=V!<^7?~+p}vaXOTiM@G!ql+ z2#b*$sXEDQLTR0RF=ZFzM+90ozF+-nmAy(B)_b()r1gsX^h_0p%7vNYsCUT3F=vO( zfW#zue76`=(zb%#EqG~Td){(Haj_!t(7Z@h^>8P@9zaDnHbA4m$n$=bt3ZMq6<`Nr zZGoH#z%Tb1{x3I+|CbN8A zy#QU&Czsw&5Y%Ujek=q%iw^ua-Ps%Ch42|U(qIa{Ipot1{?NWM;&w8SA=V1bN@k9214BhxFu0qXYPnD7S^wCXu?})taWPz z2?;cW^$->pN}&0DaC`oAsUo{=(f}6=A9UC)AVoo$wZCbfqJ)J-5KqTVy`I&7x`y*hn=S= z*wV*4%?*2Y!_yQPuH`H~V3fy20T~&fR&J|U8z!@R>u2?T=jS_^S(hE$$Vr>`Ndey1 z-bwEJ4c-E>7O3U|6&Mxu_VS-^#*DYoZ(Mc374G2?w&^&%yoPlXna7?f!umQw7nV4c-0t z8mkgEho$Dgd8f7HD3pk|W#{(*r5Y9>&EuLtu7dRH@JDJ)@>qX`qnrM0-NE7%$WbW3 zCVjAjEFBQSq7S)X4ag{;^pK$yIx7gj4Ls?9z|*O-&y&0d$B(zo$2K4EWJXjX@fr9f zbS7QyFkn;8V@331oc=+rkS5TclF81AfYe9mh0#S&?F4F{e?H>y|9?=NFQfSG|y(DHRH-Tum?^*un~)LhxT+Sg4}Ui$PUY)18Imhzo{oMJ8EglL6f5w><37jO^rnTeY{3{njUfycn)Z zh*Tqq-z6;{%Ea?Uda3;tKwV$uqhPwha|wtLT|}d*U)QOJ6iRzqMehI(q}85&Md||D z)^>E9v9g=WnnaB&DANKe6E6gK>#$2>FAUuy`TCnXm*V2^K3+m@`bTl%t2p(FPc&MT z@jAT13)PiJxgFBz2A24XO?1ss1EX8nMX!`g-y~Zm7u^Z=rwJ8Nm%A@lKM(nxm6bOC zEY3ja6s;YdgYg}dIFuObZ;gl<5*&ixb$DJcFHr-w#pTZ&{DSsKuuPT~?rEo$r!8kQ z5gAB%T{MC(0ZRSGqDZcasBG~$%E*akWvn)Ro_>9h2^E>4(w5Eqa`=~h9uQstLFfa8o-(-M4fjMv0BFK?o$j3%4I}M<@1z)>=!Zf&ZaLkx@6RDL{Vqsy`OSc9zCdc})f5W8m4eX}e z10u3EdUT7Sl7P|aexT3W*Sk`U0A3BN_LaZ+2eZL8K>h$*+q-w~a`W)q zY|#Pzb>AVU1G@2>eV;{V z$jLu5nT8=GcYBjydI8n&+L#O|JVqOBJ{=@JY%EEQams@Gj(?I0-jD$|bM~O1%oC$? zLfjH187$WUz>vJBdhNd2@hC_CW^VA~K;5)junXf5`#83Rr030{zN?-0$}?F>0+$an zT&6EfTQ<8^MQG)@R1HO;s1T{u2Wgd7nDo~!@LXFR$+bm?M{34;e75o{=m{bhp~ZcO zu_PUQRM>fO&=5O>5e+;o74Nz|ed_GHaYqh9*s?GH{h%(He*N2QT&7&)7+O-2~fNGWG-=GN@gA8eY2an^PyTr|{oc(aiv z?Ydhd6iVqDkKnz@EA#1#-?baBxFC6(J#a?vacHt3>*zD+gy#4Cr-D+|CGzOZ)6%iv zv%lkF4$abnI=k!$GquS`x0-7&+W#n8xPEH&?Do#-H~SetUfTLU#h}#yGM6 zh8enEfA1MJ>;uNXfufPuU>C70<5MZ4Gh;oxY-zLJwQ|)cqWw>whhKORMHnHZmh|w- z0Ao?71-x&}r|SR=@18bx>)nR~=8932^}C?VVT;o(Lyl$u4Sx?04;AjwI5lv%O}2+Z zMg~*y$Kca=8jJM)IZ{|GogBZW>oI-)oSL(Y87zp{{SNZ+*w=%|Vw1(a7oZ`+og4QI zR9_&*4QOE|=O{&--^0bL( zo*uFiWmLSEb?l4ndX(d9XE3jJc^ap zO4(KIVJa;RP!MgxWZ`26_j^bcW#0IL)dAbnEQ#OG;+E7L&Ml$6CCU3-+|z!Z>&p4b z8b#CD!oIT30Rh3mU|~ly*f-Jtn^BxvUXn0~%j~*>|5x&li~ghF2hVlAt$hMT$fCT? z8_&%{mMo?zzB@X(ReidzOM0=Iyxo{k79Rh$#s&R4*s?u$dxfXi1N;*&u1zZ8o+6)i za>~QZ$YWMb5`#qFD^Ep8l141Em0D_iw~UR&208q^4X96$pRKGqTkFwF@4!fNF+P|q zGLlz-I86Z$v4=eg=-PUbrlYIdqZ~gTTc4XlX|f`Dbw;9QZZJ61oSp!c-1t?)Zfv7@ zqMQ8D79na^$wX%J;hXb)$nn02RDNETvg%x;-Jc&mZ{))Fm1~V0fCcu;lL5s^IV0t0 z5hE6==1afwbYM*&*>?I+R_@&^Z{*WP!Lag1w&GqWfMYL)rN>zh)mj;DWh z5?tM_N?B}vJ=pUi#Xucgnqen?44HnRC#qLTRLM!`#b#k)K}n`@GGh0*nipGP$jf$h zUgDjc-16U*C2=Ol!|UoWsr)1jOAM{hecVlmqg2@wt3SWZZ|+E=J`Ukcb?wf?i7j0_ zO1qZom8cn1ql<|mV&z{o`?f{dAP!@P)yo?)D=eg9X0EMNmX*|mZrvFXd3Jp$%QPgu z9b&mPo;<+xu3by~^ICkqiAb2p`1r)%P3xbb5Yz9L`^4L^Yckw-7mTxB=C;{*Mp_jI&@WG}bLqPQ$Y zrhPwHBUm z0q97@w_W2O6!$b%#>G#K=C8@((6R~>ogfI}+PxSyDYhv*1%E)p82lm8ZYQR^hl`1P z6O<$7S^uYCleqf0bLKMz;7xov0DqaQsm~c^MXH)>YAx1lVdrVD8a(HSLe)<7(`_Ek zaJemR5HnUELdoJ=m}ykx2%^k%aQDRIjWxgR4!fi6()K8A9w2J0$EImwhB-Fp3@+4D zhoS_HpBC1{)#lcz&|B|QKJ#`&z57_=l6}%JnV;lJ_dqUahs)ImDeS4<=j1Q#KuTGn zly40M3LN~(B5BM|C0twh+d(@2zGOngi>s7b@!%X`(8wgpVDqH_?~{|Z4HuE7^%}v%Owk-Qxi3uS3PKTXa_7pA zb!O~CbUt5p$HgbVihtmv^-_!^2T4a~7v89vzAi1Zp;o9zg5D5B`aEYfZ#kqDP_8r~ z_*XcYJzaN9JjoH54&uB2t3R&o z-|4_L$tebDy#k{ir(a%;MCcn|b#quR)@cj^25^zqHlyi-dowl}Q|q5nVnwMf@hrn# z$@i;cLj%s1yA}|%Fm$`2O|1lV)%gj7-PRR!;blofKpx$m(s)A#c}`R}+3VvHEac*NxJXyQY@3>o`8Vj{DSFWnx6 z*K+U7*DX1IPX}pB%>uZNP{MFM*8&6U+5Nitt-IgkqdG291m&`2&GQTzJ=o4huWSl1 zE|umlk_K&dtQ6x&Bm=a!rhz8sE3ZW)F(7^nJ=46c_!7 z?#s|3Jbvo=6JUrNy+Zt6>4`a0k`#FOYGSq`&t^WzQMC`7S%WX_o<@8qb&$W=3+Ts$McU$f#rDlYn`t%owp5pT~6@PXP-TZhPPEa}#;w8bGBGZ|o z9nksdb@T5$>hQ@$=$jJ6_V7)=y#r&$n4vFdGCL@nz>Z`eVW zQp_+UA(&zAHhM1v413C?$?!oJTd0S)B+3Q3J@>3u-Nkm(*N2@};yP@Efp_)q6QINH zhveC5{FyhA`JhPWGpi{)3nj7hV| zs70OYEJPxr6GbMd*jQNKialud^`j6F1)4ci{pUn95b%Qk?)>(DGq+s5!I~i#`+y=* S`3*b}OHuxfT$#*!|Nj905u4-y literal 0 HcmV?d00001