From 57f8a3f8218fa71f38f7c88a53759ab5ae9d6d49 Mon Sep 17 00:00:00 2001 From: Christoffer Date: Mon, 18 Sep 2017 22:39:13 +0200 Subject: [PATCH] Math behind EIGRP --- chapter/layer3.tex | 10 ++++++++++ img/math/eigrp-dual-long.png | Bin 0 -> 12058 bytes img/math/eigrp-dual-short.png | Bin 0 -> 3955 bytes 3 files changed, 10 insertions(+) create mode 100644 img/math/eigrp-dual-long.png create mode 100644 img/math/eigrp-dual-short.png diff --git a/chapter/layer3.tex b/chapter/layer3.tex index ca5e571..e9d06d5 100644 --- a/chapter/layer3.tex +++ b/chapter/layer3.tex @@ -62,6 +62,16 @@ Cisco converted \gls{eigrp} to an open standard back in 2013 with \rfc{7868}.\ci \gls{eigrp} adds support for \gls{vlsm} and the \gls{dual} with improved routing capabilities in comparison to \gls{igrp}. Overall \gls{eigrp} provides better capabilities compared to it's predecessor. +\subsection[Math]{The Math behind} + +\fig{math/eigrp-dual-long}{eigrp-dual-long}{\glspl{eigrp} \gls{dual} full formula} + +By default $K_2$, and $K_4$ is set to zero. (The are user customizable!) And $K_5$ is set to 0. + +In effect the resulting shorter formula is this: + +\fig{math/eigrp-dual-short}{eigrp-dual-short}{\glspl{eigrp} \gls{dual} short formula} + \newpage \section{RIP} diff --git a/img/math/eigrp-dual-long.png b/img/math/eigrp-dual-long.png new file mode 100644 index 0000000000000000000000000000000000000000..ca71d16765dc6ec239eb9762774cdac84548ab53 GIT binary patch literal 12058 zcma)C19v4|uni{@Yhq(!+n8`-+qP}nww+9DPHg+e6XV9Yaq{xL_Xl3D)!k>UM(wI| zs=BIrM=HokAj09ofq{V`{+1L~0t15veT{9QAis{N6ZG6)Cng0M6|v9H&#&SCe`DM# z@cz0R*+ofC87xvIljTZu+Rcmk_Pkq^2_%7}C&xJ9sKB5*`>BG1zZW zVHFQ>ps#O?iKgq$`Bi3Z-YHJ7F)`XQp&=gc#7Y5q8b(MJm|;r2Qaq{&C&`L+y(Yv^ zCCPx+sE2aT+g?4F(yUg!xRZh^CcWXRTj#VNO5-k}7)ig|FZq}p#Bb$1`EdlHfCn4a zCYjmIH^1Y}*KOZAy=CvMcdyQ>%sYvmSI5i8j^jM<%bxO}DiS(qSdSg60q;>~8*hUb ztdSPWYeSS%^2do(g+(9T#i!4^hf^bD<&i(5|m+7re#AO~+{MeN#x#Ap%^51Q$=~unC zHToyg9GS!GFZJSl#4fQKtX+76XFTZhe#|UeEI1vi(^B|nhB8@@^b?MG;YU?AwnSRn ziX*IX>-kJakHvFn_|c||AGgv!m(C)ZDzGQ>%3~PgOqQ$`FSh+Z-}`@k@ScTZl2=uA9#9R*s$XKsl$UPMf9XBW~?xCPKX8|7IF_-Ydo!XnMq=i z4dANxeD3w%H9S}81&&o{x3BkVLs1s>FQ{^7?hd09B!ey4nnC-UUTLnLriQC#Xmo%; z*obYZK~#{%&&7|(#&h+0oWmk|8gIL-EjhW7d5@ZGJno7Zy)j*aA0qBx?3@j72R_4QToia+aeFF z*?V*}3o;|+(DYTGnaqkU!70z*uPvnYWddgM&*~$tt*)J~HCiQ)H~PEN%3K%~7gNqN zOtU+&MX`km+GSvD7yDGy{Ziu*ij^e$T?5W!Bma@8@3+RIO_aVL?iU=w24Su_m!?)H z!v=AedvO)QgSDdv@*YHao=*N-KdPv3#t3gkmwKgF{rONZH*dU!4LK}Lcz2Ygm-$x| z-%x{A^EJut44?M`{s^Vrs-t zRf^PW)8VAatMzifQXms&R3%0l5b2Q!JJG8j)b|oNyK;ySM)yke?T)|jW;EvchVqhS zb(foZV8)W{xJ~(ot!U-GA=GSb_Kv?>Fe!smg#{9f^}JzO9-T+3WuL3YH$18W#|;Tk z>B2|O#n_`_^t_Z4+Ge|LQFV?84a{M1&%$-|kQOHDcNwWR_#Y4QiB0Oi=4Y1?(yo4I zBAiRTW^by5Q^yd`8EG4(YHxE7$d?4Emq}=lH04q}($0R(iM18rv|zTz`Vmp9B@thf=)+$s@l6ZH=5)xMM6fQ&zz!HK^2 z3YpFRw@ftc@f-wf<3;PtUGWof?3C3J_o)r}uZI0~M%DOBLdRfxXY{(r1%EpNz);>{ z??^2_p~n4!tVoE01t@H-k?zDONN(ccU+5*F zgEE<)Y}?^YDdq32-7Q+WD=3$od036yw|r8WjhY0|2H(-4?KJsFbK3DC@jxHKtKr47 z#%!?AJ5&CeK|VZTfH^H*jgc;oA(UmGdxoz=LjSrkAde*0jt2VII&8!aJpXenSKA_= z8>&TTaJ@O<2YN1zniQqFe!?Kb?gJN5JBT-v1RO$322h^tQ^4U9E9>wKG)}BFI zLB$>?CQL%Yhl`!h!@tXWlE`#)*)naSEpADsW=RPw^moW_YyHqfu9)RFO!e$<+T1@h zb_IzP^ATv>NUl-`>xVoY;l+8nYpWe9ABUw%-jl`H{&~t0gnE$ugEP5ST`KE@-|ogo z=TkR;nYZRi;5zA1!rFerZz-lUWpQ|Dhxi#Mi>5?%fgACJMSQg@K7{yGO+_DB_?YpI zUvJWmF_OyvYX?1?`JT<=l4tbRxakl6uol!gg4hWLs<8{9X$u&Wx#=LbysMo0{M~Gt^Lg?P{nNHGC*{T%yMS;q*jW6^pg~?`zSMNho znp+B_z&5@(4Yh|jQli8yMW$wJ>Hd3t@UDJ@_6*hJIa|nru!0}OlD1(JP(rv(($wLe z3ZkTUcG;Y_+N}DRSLD#^3W6{vPpz4Q5x?$G)ZgaZ^s>D|sqfwsXw{|9!fq}4 z{;_%fT)r4Qv0IPnrzN$q(UT0=C^~W+R zsWRf>H^MraaokvpV(2`zG`PeHwFtZ(T`c}69^Q(08rwrs&+&dT8{JKDM2!T#MfnvYuhFb^q{%DSqPc-O}auU&SLH2WZ&Rf6Li zEP{2^+!66P#J!{>OQQn~;4wu{Z0tFUk^!PtsHPj>LBWFUIX5s-{9b9(v0H%A{eHT& zsC}|rgMYphTiMCQDscBHQvrxm(!SiWIsMY2?iAnZ%qmuyhK0dLRQyMSK%k*4>I-)P z4RVCnr&JYO@gBdUhYceSPx!<$DM(0KrPH@9$1Gjql{M2znEOkC4pATIB$?o!@@A8Ut#-%?S?YKRP#_){!FC%)xpdlMtugR9p?*1(wER zvY5L_mYW=FM-UdUC==;{jsQ2~Poj4TipjcT2k00SmxXeAN{L zq@E>@W@wV|OyXrRpB47Rs0UaCzL}3$3=20E*MhUWDtfDIZiLVX#czw;m|eCH?jMul z;$bPZ(U6bl;gE?WT68HUOd){0vogy@zscfvH!1SiHA?Jl-o~i7flfCApoPR9B!1?| zw1++m1Tq;jC25Eu(nT!~hn{_faD*fHxC^m9Jdv5GGQYo70bWbD_A-B}f>G^0CNda# zTL?0m`*pusVc_YZv4K9=N8T8T1x70`5$gnB^j2%H8puf3$ibNt3Fi#pWWxQ!S}^fu zo|}Qwg)Q8*3wll7&o9fc`Ex{{MevqDP#RgUd8TQs< z!7oD%ywDk2dT9--YBbG;W|CNHabytxmgSyyVn1Pzfq9RbAaU@HJ3q+}Q90AQ)itO= z+{p5$KaPV-=SIu>dRI2cixK_Rj&4O$;HG^D^u{L^VLU|v^l86{O$?sZ5es|=4`3Y| zE`L|M4InehSH>SV1e@|lhI@g#r5oBh*ksEkxsnzq#{Ri}Q)>gH6T?Av@5Z2i`iAku z2-S4VHlICXOFZp^Rnn)${pwVf&;MxrCX@Fn{RV~Ho74vz^XR0UGiHbjFDx8^ZK~V4 zB%<^%#oxM-Og2h>`D-}gz)xj^+WY;lh_ihf+v2xHfpk5v5cRF{$SXd)kOpuC&Ammx z3_d{Ant81%NjUd94TTAVwkvlvT7Tth4=e@t%kJx6x9;O9&f;IU_=|!Y;8KSI3*Hb% zL?0GpsB_1^4c-nmly1B|P>->Ha{Mz_>L}?3EuGx`L6EUOlqsFK=P<>}$5FM~t^SNz zr+=JX_DyBU09g}XafW!gZp}dIy4HWcc)Lk!=Lgi4fOzG=Gweq<41X=_S}Hs$>)aEi*GHKFo<~s{abSvb2;27u~K!p-8ZAz?-xcaT?m)mNd`pXe~=L`ZT+F z8IA<)RZW!1`9CJ|rJ4`}Mb3tfe7&SYmZ>cc;8B8`SihT3`))Z60rm|7^%>tj{l2R?doYA83y3FM^3 zzz_H94r~7ia5%MRToa|4&%9|zZ5~gK`x65h0l9u-NoG@r69v{L+C4R>j~smN~zR`nNbx6Cd=)!ukRy*89F-AT0PnL7F(!w^}%L)=sZVWq)b z*wX;)5Tik3Q>t&&u{nLM6i$MvxNo8+k$KN^K0xGRZtuAmn1$Z1C*^)EsK*a^;W_2EAK}Ed4|Q|Qb}@!Th;G7gFb(^$ zuJXG^IwPp2!~!>q&Vu^_j52UP;IRg5=I86%5lDkLsZoN^c|R5 zr6+8Nfo-;^=Q#^b*LKo6^#jvgv$apn`FfzU9ERtKZzfvqu?@5O<)65KwmTZkaBs9G z-6yqE*pp4oe}%TX~lqe6}6?KloXyxUxgs9airD}dI)Radn3#Y$-A zdz75kKl7yFH~CJQ3GMwv2U-z+Z{=)EkId1%zq;C8{w*~*FbjUmtxkz0+xJ=Br)z9g zyW@Nx3x6kCgz{3=P-A^3w`O%0bIy6@Xva(z-*`qvKpVnhIjf#0${2wB#pK|{0!RLp z2PQ3-`-n2*?rB&L8RhHmhm?L{6w#Ws9j!xxL>&9y1_RnSHBLDG#d(k;O zSP*l;De(2gor#`xJuij_keH_SSa|>sBSk0obP4CBq{syZVMcT z<{4VVRUXNRN(b2d(J9$CH&6oQYehC>ko63= z4J2;euN5#S`;fjZ;Z_g?S_iwzSjrr#t|IKtO(K@zy0lxT@gWS&D82zn;CF-f$T&~M zs3{V!Rgh~z{0akTG_jyQj2UahugJD)tP(=~qivu6C->bkLb8$<%*jr22+baY^5t1& zYx4xOS0-eLEx}T#f;z00wb;O|`e`V^KzMj40C7jq4W^Ba5)w=~M=r7dj8@An0`#=N!H3#_U~6~ zv(!zipOL7|CRp<;^SDN%UGZKTyK6%FKzQwoxTzf_QmEB+a(M6vO9eM`BXYLZiQ1VE zW69Ul&N1$Ux86t!k%VqK>%W(y!JJV8^un*wesy%gdHlTF{Rc!(4ZYe>xKMnAS=x^6 zI^;R^Bqk!~orFRZ1L8u2tf8EgTzVwO66%=2$3J@vOxADQn&?On9~I?w!kHaPt>Y7K z>D*wNko}sO3ozo+iM8Z905nc#9O+x9LgK%gebojtmt#ZSuo*@bpOKDV=a`hH=077y zqlclr?=L+=-YK5zBwnpeFqoUs-MahbUTUSeH`z7i_JXe$9Ro95(mRw@TbS+Bg%VOF zpS?LIxaX*oLGlwEv?iuLF?77!Iq@Mwrsr%A?YJ?coVwoil=l!S9KX6KMK*=?C+vQ^ zL`TgY**oBsA26u5t>t2FN(vqNXoZtibm!m;yuOr6IRoQR6RedwORT_QzTH<=hAYuS-=j&;Ez~;&OBQSqB4d0LPgu)`>jPWHem)&cZ1w0_lpv_Warh{ z5V$VJnP3Sn0W1gm8vScuaVn#l!Ub2B5QCLXE5603?6eaQ2bNkWie*$ z&(cmr_H?VEEYZ6CjT4y7Vq%+#P;i!wFENa^%zB0B=FVg=Yb?a!VxBWJ7cMbVA6Fst zYK!B(<>1{+1QS~|>8h&+{6k)h*>y}cFuT6@i>7ab3^oysel4o2DO}vXx`>1s?LxAA zZ;AyL@$w*$4E0;A5u-qztL%bbk^4%_bNwnYj|dZLp+fsJlgn3HK7^q2KI|z@`N>k`7oQMEOOF_dgUj~(H z9~axm2UOC^IIH%HpB>&$9Q}Ss83?1$F%>P1bT{!~1Ou#co-MtSGmDDE{w|xYX`Fd) zjS=+T@qO≻kKBE?32_-kB`|oB}q^0}S{JF3RXqTjA%}`ZoG4a9dk!nV9*1I!|H&|GOc|&DNNsoQ^eBoOU!$7%H$DJNtEW zXoeHnx+f#z)s_)QWb5Av;-Bwtz+;3G)_&ph5vYbWVB^59Rb?noH)dNm|0xd9E%||u z!Iin?(S6T%l5|(gNi!Sd^8H}S+O6S$B!BcVxjDane>#N+$)%Lo?^gr0QVh+`aAOv0 zf+&Xz;MUiHZRxPYvmuJnLcanRZ+rQNxVjtaWGf;|WTP!kc_pQ459(u?^%ay-!`l0g zX?}#K^MI3Fg#yaQ^Bg)TBv-sG&xNF>7Dud04MfU=O6jQ6PeMjOe)LjuH?xB#E=@Sz zWSZ}7{dn=`_3`r=Vj`LC}_yK9*e?SgC798Zpu-(lx`Mcv+wVb|; zF*mKQJ^Fjc!E}Q~PC0(XRL4)bWfd>8qFdu4OH{5G9qliE;W=&_`T;V*8`rdo5!$*>}kaK0WBHI8i8jyrl8K1>n6Cdq_-G91oR|xy zye3Go{W+yktAdg7xmjPDE_B}TPt!hs0*E{Gd%S%^f*8=!A{+J0t;$3snMV|R^IRxQ zNF2&kyV4SRXnZ)C>Z@c@|A~$Xyq6_=i*;I-eRVhN_qomF z*#h`+*>>nMUS>4#`0r1P_%9tU!nqmS9! zI(tXA-6f*=jjZ8gue#ESPd3S$`VhB1x)xrFqw;GgQl;~VE_`*|ex@KO^!9KIA`@St;`S?89AV=k!N-mv$rD%EX4Xd*1BK zTaNX-Y9(bRUM1}LbDZ{PoBy*sxt3e4WO7Mb_qRCtRQYckj=Xd$6ku=-e!v>xVBn%Z z5OC;-6!HjE;A)b1&5m1Sb-vz>qZbAKx6a#htPxAVUP(5s@N6JeQs=QnuB7vSplMF?J_6~@tNfJDi_jUre>~4#`B;!e<^Y{>$1c`X zEEvxQR6?#~m-T+)knTE(NTB2|5hS+vP+XCss{fBNhG!5 zS>j(Q&*r|9Ni+*mW?0+O1YsZlv?~m7M}imR#4I^x&V-t3A04UBwN%}^F+Z)WM|;)ohw^}H z29a}&C_CR1HuAvC`{CY1@4#IpPJWAd+WeY(+eoB%(6I`(p#|oT(s$yg@xJlo?oM^!qX04M~}GpCn~(-$;Rc3IKhMqjJXwmDPZl6i1YH&5Lno zM0UaSbd7y|x4a#*f0Z){Df#}_sj;HXf@t)Vfu?T8ak{ON2q&1@M2_9YUCt~nwe4n& z!~%~(_{0o*w+u2y#(ab*rb3EWp2Iin|EBIqD+S2UTUK3#nX1@ zCMUMHHD=Yy$(`amG)cKOlIOHdiVs3pJi107u0BE-Rby^OM2q;kd#3}-=wm_0;nf{+d7$X8kJc#^-4^uR~d9_^$@v{jp z+cMUeh0)ey3uMT`u(%qFOEexS-vdIONRxxKPM-ce5vc-8d|bEpsxTZx_XxJr`6^en z30Y&TcXcG>UkgipQG;|_qWp%R@DgKB14f5voZYK?B*mFI$v}O8U!fl|i^C(md!O7P zeFVp((zxyc`cz)A&%=-=1-}c&qbzw%@&ZITTMw4kcoFW_L1mbBkWfyP`yS$KUP5-$h7AeKj$W4Qfl==qvKWxAZxt+|aM?0P7N;tdg`G2uL>wpw@`D_eexCg33 zH&Jkbb{(fhtGZffW2M+SAMVRdxk4m)Av*!}tszu&g7Yo4w-)}o>zH?fy~O_3LE-GK zE>w2+j(bt&!Mv}99hd)AN{WFn^mF}AE#>f&z9l^zcRZEM9OlA!!7ZYJ#T&; zj`hFW!H*72B(kp!JwuEq6yAurw{=%aa`Qhc-8+~9fc_7V`NIm|gOR5Ny*9cY^3sRI zJy!60QeCs=Ie4hzLFO8v`$*?M1hJ;#uF+Uf-XIrU;Cqpe+jKtRCjY61>QIQf!U5Vt z44Au+#3gVmF}g`o^v{5QGg^N=2Q)eX=gTeqXMhv}SQGwUa%ZktW!J$8@I`NQ@Bkl4 ztC5Rchi);o7;G^eubQqhIPU6f1Jy5sFW!V0jf|oRWu|-9O+rv%)~!|jo6LV==1ksL zC3nwBGTihr-YI`TMq{RC8XtkSAhY>?04SDU6wuT8fEh?T1oNtb&_v(V%ZoVWZOFUS z3a#)KAM%_^iVH9Dur;J-?^xTtnw=>2#f{>*1RMSx+*sQ2$a&;1o3<-<7bF+b?A6gn z%XeNkADT+RJIx8&V*Byp3Hv7Qk5r7CGzj`Xr8K*K^zkCLc37>`caE0{GSo~V&z&KV7bLtDB9{vf9&7i zqUXFCQrAW)Tu0g7ERn1aQAMpLaTl$!RJHm?>JS29v_+8HO3e1(omo`i>ZtL8ZVe-w z<>LhVQst}j9@P0{cMF`(hAwj3un#U`Phy0~TzeL)>5)l!S ziDI3$`(hZISS3!G4P^7JNx2Vog>j=4Q{`QzAA&cQ@6n}#s>K*50X*>=;dScQ=^*Cj zx!Hnu+pr4gDK3V=<<{;z#S|Ub83yQ_RGxpu{K8xN@Z>F{uwz=T#q@|-di;)p$u2}eNrBR$t z;rC+N$pFc7H@1%Y$Y4MI6wUmW-@_xs(-B>VbxWJSo%DT7Z2o0@u;y#|gOsxE#dWLI zNrCy;l&GrOec}3&kE={b0&}=^ti9O$lhJy<8#h{!N}`)FOb`dv%v3iNCkuVekrbD7HB=kyGy)6;bN_q@Ns{x8W>TiRXYl6N z4^jPVZ0q-BJ=2Ouv-ICatT^(S@|&MeSCTDa*L!S}RA^+kxxX4yR(`z;fPZMmX=|UQ zb;7W*;u%tww085IUKrJQw>;L-pIytFL(XX9>Xhq+=g*{!zLEf;+2)6iWJ-+YPGg$N zXkzR@4159}*@qMYuTj!|<&iWn=jCGM;kf=$&t#beiw0{gVE+7yLabX*Ij2U>R6sI%z_zH+$|Lb_MlY-30!x082)s+Y_IKFW@x*2o!PMZXc5JfRvyV`(+QgkTlL-wIe(7Wu4II45ivah)9HqCp>TRF#D-p+aBj0r4 z<5%-V{F4E&*oz)iKTvax(LUa@CFms<Uq%l&s&wA4F9%K|?2=C|!kQtZv!jO;`ZBm6%eNj}4iE^|hx z)*J;kuD-;`%&GM=J115triF^o+*o`-JU#YAb0Dsv$ikhy!mwG+Tk{1~LUUkIO=Z-V z>qkgm^^gRw#dIF1F#usm7jAi0Htv7u!TRzzmzH zJoeB6!x$D5H*jyD|Gt0CN@C-r>`nl-LhZt37FNj$CxU9k2L*?i@Z`MT^2@1Q84R9)`-q}L1Ih)W8 zro&PmtDj=jAkpr*0Z_~#VK|`Y?Hdz}S{yN%RZOY>o1c{`6=Z%3@)q&3XfDPqly4#~ zkM%I;#hLh9u%S-`<*#qLZWw#giNGXXu&xbm7oU>H1nRML;~f}r@;I#zvUAs&G=|qS zbtk|Z_0AQ)zGuK3FZ9;EsxXmV87-Tm^LX{F&3Mv0jwi(M8zDTG>I(!0`%BuyV6D?w zN|-I#(tpv!#*JTnO!-N5YU=L_nLlqnNlYSh*MitXK2v)y4ZK%Bi4#L@&yH*Tt}CnX zaRNw$yl)YwTI5*p>i5^XdD8Z8gWiDfY z%E=h=M`OnqkKjbfAsR=S)4%J^V)er2i7Kf4=p^w+H1&d)0u2!6&pyp{@eY2$9ieiY zz*|Tm{{T*%a#PN(8IqdmdueLHDFhN)l1kxfMAu`oE90QJ)Z_xEP_X{GcU~d)5rvM@DKN zwT6XVo|6?roSyxDcGGoiKaT?gM`u5*MoFGWdXK+;s1Jt554s!KU)Z6OORb>;VNzG~ z-bMY*Wj<|S0#jedE`oO}!-*2@KjYaYcBJ6V4;TFAN}#-9dc(a8eC-$3PwgQ)d3RdB zo!S{oh}HEKu}GJ_!`g{m{(V$HZf3aZX|VM4zv8|igRbKxFEjxlgBCHyakp+_m62si zpd(3B13+(O=BjqqzRVQ28q47Z=e%7cZ{A9^`wpg-}^JvDsuQsY= zROcd=LFtiyg5)EAFJv#X=C@<8TLir;L;>eLt zrcmZ(F$LR;s$K2HyvBa%KQ^K6WRbH6VlXLJ`ss2KlO{%yP+9-9G)&HmBeVU(r8Hz8 z*^CUda^~Na?w6KzM$Ikcw*9x?bf2??&Sf*H9SA!8I1ag{|B zd$qiTIXl@WpN*Ch%js_!#Bot&miAe8t2JNIu1&G|kX$@^U)#S`U zR+L}uy#53eBHEZ}iNhFv(6=Pp{X^p?S0bcRv}F^R@wDiRDAQWQqJf@$A~a%*s$#On zFsaSqZok8k5POwJz96Fh=+tChQxZAysP~|POEoh-gHAaer7jjB%d#4EQd>&VkR=Qb z%UmkS9>|)Uvr&lNw?Wz6V`eloql-s<-)aj7ZWJ|JA(oM{MY%o*ZV_20sSkm1A7N1G zJO}oHW{hJxsZw-wmA0&;(+tLL_*{mhv)x0MIbf-n9$=BCsoj2BF%O(EN2;i}BVOpd z&!E#OR_YOr-Ti%9De7wSM&IsII3`h@FvV2*D)rbwQ&%ND*@)%WVbyRkmOq@Uw$)!o zeOy=<;-P9Lg-q}H_)8xpRw*oTb^I!Wse4E2VSO%p#|}wi$AS=-+Nh=mp5Nh!@U#`* zNXHhPQq^yGJv6*+#(W^3y6t_j$a?x--^o68?|P8&@s}o2L@_NpB&Z|$a<{#|FK47p zcDQ1w&9?XF2OoDF{IOvAoA*Ap2a6!6rAGaT2^And0(@fUxQfx|PX7~Zn<_dQ17uZFl*9Hv6oi(_Xz8P~}94k)sT;#_nEDrosr zRMp(4fMo&em{F74sTtFCR-3QVr#q?|RJ0WkO=1Z<496&1oOT&%+nr&{=QWV`!1R3! zNsK>B0Gqcmj)DTvy>IBkLyDkFjk;>q_MY!~&GaI4VAAQD77OCnnUS~$WqgSQnHq#O zpABqS;R@Ofd9TQ|=&qvkF2mo5B zLDgXQ;BBykc2y-&y#u+0W0Ntihd~G;Lar}O5j%08-ODn}H8XN9`@L)KCmwC@DCms& z5}9$yH|GjlLC)X**YDeLt0S_z%7|D&+!W>PGpCx;LZ_^e)D(5^0^&^%!*PmZZTZl# z<$(76Ly&F8Gaf~WpiebZQ7*HxQ5AXX=f5jzN~SI{z5AJ$3IY#uft2gxpB-!rtUW|} zoJPSz&MpHnNe{pCn%h;baf@2|mEc^?d%`Z3MV8h0dR`Z+Tbil!l<Q;knBAZ_y~jTOIv_J#_i_xO^U7=~DZfi;zm zk}wICSdLAOpr`qLRJz!KIW!n#=!?H4Y2N24*ucRy@yr|mTeE0>R-%VB<@X$bBdrG| zss^fOFlcJ45fP_=V=aI>Z;JMw2~02asU|#2FrKllok6e+&PkT-n^qPW)f2KqhGoB* zhAIswvY&4LaoCq1FM+gqH1#cI+r)&5Z1Ftk{2} zsP>~ssqmy`RqW)t7pFgFwnjGU^ zcEu%z^39_bL?yY%-IZClsf4??GVq)QV&;uhqXo?uie_QM>e*_>VOTQT=1mAVWH5be zD_)$Tfz@KX6(lGEGpF09S=$>y4Q5Zv1fe|($ zm#G>Po#`<_;qHMg6VPgV$;qBbkbPdmTxNg_wTyUo4?%Rp_&xrpp3+*Bxv5h?ZZON~ z8$Mw;X5mk!BJ#noheiu-3e{{9*Jf;Vd@MFK^#F}*vdZBg`_#W$!o)@m5a<&XCo#($ zfjuca_PkUG9EG;cLp&eR@@+`mnJXdS2V@7YA{6bOS-~(4D_D zJ2&C{84K4DIb!_RIlUb@-_b7`Kl^rEQVnrT_E60-5xQj4a#?^qn?mTEOBnt1qbAHk zBnf;X40+w<6u523Dpk{{+RdwAABTFlZ6Dn{ON95~VV+IOAr17@ zPzkelR20cmS_jfk$rW;)^fuNdYEiEh?hqq5T3_5!3je9WFY``N7=})0L)j>diu6I` zD8R)Qg=Gx@uw>@kT=VI1=%n7oHqO8up>C$fB!%4rwa$SuG(q`UPnIm@;p74DP=Y&+G}UcrwHXA3#f`&SkVPb!P<5o-ot!W#d7mu8Xkj7 z7{Hm9ahQ|8vn#v!SOHd_2rn5`t}`T8CLtMAV_Ae1D@kGZK>vooIt#a21kX6Ubo}`7 zAInGaJszU-PMdm6--00VqZ@+_VqTpGxxURKrL6dcH^N9Hvr?3XZ;A3goaW2nQm(E z%RCOZQr2V=gWfdk&l21mszu_pK(qa*i#Yp>6cnU~EO4wM;v#4y!pq}JcCOX#v15ki z!-lIGb`;rgQ#IEqO-)0D-a?B(6aFEVJ~8S19Ayl<9FcPjNT^0P4LvXQQ0P4nyPH*Z zs^jsb=O5b`aM zx4rlcN5>{xP`|yZX?o$G6mAZAaarjq_|?><1p+8jJ_Pm|p?D?6774@V#c>cg7M{u< z!yT?zG;)0r$vY9W3~>Gs6O_9_!41wZ+1g({SOv7;gQ}|P&B-nT6f5nTVwsc@6zc}@H9Tv@S$9k~`T7m}=_iFo2JkqSw` zA7~u%BTFSH+~0F6whb#(4Nw#2I3t7})j-fKj6I0=89R+MEqQOyOnN^tmB1mjeDDo% zTbW^f1*ejVMM$`gHvFTYb{e{s;B(5TW)ae&bp9zTRzNqY4F>FVLAPu*zzP*az6T=> zvn6`e6jifKdWKbk!u?T1>l`l}XF$~fH37@Sphq>(y@%_SYC|I#`<`WD#>d?1Pwq?$ zBf39S+C!^*tc5hLY{ZtLZbP6{@+(-hs9uNJZwZ1Qsy+MzXh^GBV^ZXm>`hG|p$L@( ztTnv=ckA>Mh#>9~Zq9U#q@{Jyl2V)kZ#gfn!^f;_sjo;h6)Z(;J`p98bXp_a%Wf9m#Q z&*s>jgWY)$IHT>9>GxKE;TzoG14i}<+lgK4F0wzwu9nQfsO&g|TmlG&Q40==p zO&IJ@8~_TH0^iXX**N4W{7f%Zw9cZ^!6UY;q2Kgpb2pa^K=r(FG8sQ(oo&u;YB1*b z_z8IS&BnMxitbXIxuj`}nNKiyMBbjacqnSdKn%^2l?6axJO4l8J~acLSpp2)l7CRxbE8fD#teu&V`UUV8Q5d9IQ+prXA zbHZpM>m@J7hvm{cuk1=UqU~~gEIsGPDfVio=J35HyuPtoY5>1J zo~Y42!(^>=I(~!x6UhOWDXWA9+K#IVJ@;;aX$<`E!XG5kLLYpK6UyY|D`&Wz7OgDBYxk&{|REGcw`}6)S4ci)5rG3{ujnzp`nqfC1L;o N002ovPDHLkV1lX0Y32X` literal 0 HcmV?d00001