From 4cf034b0b940a4f3dc94dd3aafadbaadb0dd2bc5 Mon Sep 17 00:00:00 2001 From: robin Date: Sat, 26 Mar 2011 10:45:01 +0000 Subject: [PATCH] Changed all the diagrams to make zones consistent in the examples. --- logic_diagram/Makefile | 2 +- logic_diagram/ldand.dia | Bin 953 -> 1018 bytes logic_diagram/ldand.jpg | Bin 8998 -> 8933 bytes logic_diagram/ldmeq2.dia | Bin 1310 -> 1495 bytes logic_diagram/ldmeq2.jpg | Bin 17185 -> 17330 bytes logic_diagram/ldor.dia | Bin 1141 -> 1268 bytes logic_diagram/ldor.jpg | Bin 11823 -> 11731 bytes logic_diagram/logic_diagram.tex | 111 ++++++++++++++------------------ logic_diagram/repeated.dia | Bin 1657 -> 1911 bytes logic_diagram/repeated.jpg | Bin 16819 -> 16849 bytes 10 files changed, 50 insertions(+), 63 deletions(-) diff --git a/logic_diagram/Makefile b/logic_diagram/Makefile index 26d6001..3ae6f0a 100644 --- a/logic_diagram/Makefile +++ b/logic_diagram/Makefile @@ -1,4 +1,4 @@ -PDF_READER = acroread +PDF_READER = okular # # Make the propositional logic diagram a paper # diff --git a/logic_diagram/ldand.dia b/logic_diagram/ldand.dia index edb3007c5e044046f0a6bcbb5983e34e791153a3..cea3291a3f2bd04e557506dffcc1365b262ee0a1 100644 GIT binary patch literal 1018 zcmV#T&#D zg1x~3aXG=ix}i0BIZhww4dHdza1$p~hKR$a5z>K^{+D8ks6+-u!Rqddd6##oXn4VD z>u4v52r&<6)Z~%5VR<5SVC%XrlYt!D(Ja$~PdT}q&V5@t_O^8VZRu!ozlpivn2IK) z8^?^`C}$OXOZxL99%fQv$A&dv6c1F0_(cC7FiXxEK;Ha3+b*5C0jK`)iCc;2K-p7Y ztnVL3N>`447zuqx6Y4V3)_WR>SA##i4t)LXWbXa)_&_z}Xr0T0Zxck&<;z2`r9Mec z$gCREfwV5dW~Z`Vk2^Opc~fn%&L|i@5MIE4eOacJ;sqCuqhL?a-P2tuC$alC@kBA$ z?*d0Y=DzYl`9U6qS}Hfy4MFYm#c&|ux#hw=gpwaNvDaaM(Qruh00 zRqg0V&8lg`h~#1)L?LN^nIzhVIoG)?t!8uCeAs1Os?Ug*t{5k#S>BkNPJb7ILtSVN zoKy&COc%;Hp!`FNg3i+PE3l#enG0#auDXzBj%`CN>bu#{721$K)P|q|kUcel+X1vI7dpgBdr)O6c=|Ayq<>Y|Yisa=ORPr5=+GKPAR159gb0~?NNNg0a; zbY!6g)Z{Krm$ecE2E2j->D%PDn_b9O_91Fi={* zjA%%bB0VUQZe)PD^dkA+kBu-A-g_~RnxB%7fNoMI-BX~Km{(!LWfT(`BDTv~NDEH#U5Lq}Vj0AO>D4FeD(h0-@PgIU(N+=> zA|4P{=aIFcSs@JI7=|H>0bR${Y|GaF)#P|O?``Sm+tTs3r6cjfGU9?GBI=Z06j6*= z#wz#vTa-imR+0P|MO`$9QWq?}&*erleh&qma<8>=0tH zs>EWO2tzI_vrE5Wy2gUcP*K0f_h5lZuxRWOG!XkZuC#3@sp^H~X}qgvNxH^dHO8 zOna~U;>DHD(3Q-tuH*vC9y-9$do`t$#RjGe$GRqe zq#x0!*io=Il#994K(yL{Za-=)X^{k$En>Ap-4)8T!sN`kVJ~hp@fB{ z)THHpn6bc_azV(78W*EHUv96LPbniOy&RiqBjHF%)ocZUMNHy zVBm&8xgqp6KondjBjo1={JJ0vP#7Zii^chPl>$B(1J2_vv?BeQn#m_$=FbEqQa{Weh%+1)ictYy!wDdc7?`1s9 zdz4@B_(@^W^NPx<>YCcR`d6)O?H$CO_RuJ$2;lJqnevbh9;FJV)7uru`{~fTX{}r--1N#rI5r7Q}0i6fs1~9<4?@|vV z_Wadk3JQzPeyP7Yg3k}wUy=z39=J8BU<6%7a~75zy1#Lq@|(5&37p&8d&JE2X36=M zrW3&Wd0E-kafv=n%ly*3JbQ_Ebw|&Zu_b+QhjwbN9V*sgS}6Dvc)vqEcF!T;3KMxI_n{OQzlV-@EkY)K%^^G`XEUrsTYTPpRq*kGe3|5$hM$QQJyK z-fUl^3cp0gi498hvsE0sDX#PmD&z9;MDnW_^MBvwzi#{g^tl+oAE44lHHIYoq#W+_HrG8r5FP#T~M#&N3L+J{6y^ zqVkPL@f4G~c!ZXC{3;#Tw5Ev<;K&%NkZtxGI&gX?O*kZ6^;^v%d(%Ubmd1J>jgNTU z6LYQD#^K7hceLlU zY0=Bu4{GTE={DpGpLI4Jcy*WJ(X{M;-+f7Z3pY4%*5Pf1{z7Gi68Vy;?qmjL%3(9X zln&g2w|V$-s_q1BJoT9uB!2qXsL)-K89?fb&|-*R#qB~9?ytEL4ni}2E_d%>adnjb zu=d6Ih1H5c?lN-&4Tj2t*$E;71B#O6O<7?~G!FZIo5b_Aw$gC)(yVuLHz~>o?+UGb z7%v6<*H$=RUxL4xKXxVL!P~&0z`2*_93Cdm7^?#u#z?kQdoLxbVY@#Ai^BGy$%cdg zbiG)^faP6J1Z>N=l8e*3d1~-kj!>4^W}3_6E3JCH2e-BjOS50NT_iapZi%fvA{$1T znfoN)cSR23Hgyjr^M$Vx>nBD^dbV3CA8u?o?QHbiQZYHaXkgz~N7t&D zF1f2Y70nUhf>D@cDV=`4P6s&LM5OyhPYykGYN%8Yb>hiC>o4cMB@_Af!+~ z*cR0;x`!){+(1=~T3Q;8ij7(}wREa&}m63y}YEnPB~ZVMm8H(n}-;ipmB?XHp3;;YU+9P;!p+vAqHwI_X+^C(+lW`LyN zERq4(f6{9X16|a_JRP1tZx*|L*SV$^?}j4iU%F=*>3sAUWtbTL;tO<8>R~+aSCbWO zqe=E{qjKLB&#!J-Q7J`@jin*t9E;vKabtkzpyG1L+Pfn&v=uXjp&`i(ml4wea}!|> zQ$S1hI;DOBO9#%F@h_zF*tk}IeeNp2tA<{srOEg!7##MChTY=Odj<;$iaBH^x^vTp zN*29b72}{yY<*7$iY>Z_>U&g-qqH4v14@S73-&30aOxi&{I8#_@6T%^1~nlYOJ2?1 zVFg2Op+A;6jcFw}g)%+}6AwVP!X0&+MaAVq^!XskQ^~w@;R?M|gKKfyqrvKzJVhk; zTM#b`irz)u(ml#Q8!lzD3|vW`e!=m|L=5CsIGlNb`z_OfT z$-35&5n8vI%FsMIWABIo*>O*%h=J~YSB7@57>Gzvf~+bi=_S*mjP9xu54MAr4vJi3 zT#YnWmn?i$%xOLrROWo&{CTx&`n5OM468GVnnn2^@qnNvA!N^Ns10Sd)&8LLfifo= z;X11y^lGZe4Se44EPu}z2dJi4&iuwm=E)~xw&&kg=xroKR@oU{Qn$37j2w#4Quudp z{3}RglQ-k0yF!(7+r1u3J}8}kp0Hnq>&xTraM(?p(3zAh<}Pz@4jm?u2G&p$YGRfU z(~_oqo_2uog_Pq#-!QWB)swyq&gm_knp}@i)&*9gH$oMiCYRaIyKZoIz>L`Xiab=` zMAjRSGYLnWCmlI}lGlF=rQbuVjt=l(`;Sp-?g-=s)qlUrdW|(eWvrWc^q7IhR(u+4 z%CAEo@aMl%vYDz+`P`KKbUr;@%Hk8OFWQYEvATVp?ChPBWmw`v5f$AW8b45r$1u(L zB2~~{8wp#w!VztZH~2kkSNT&PA1a($j?osNtQE}3;VKVF-suU`J0(6HcuU#wN9?O= zGfN`ij>cEauhu?#5JYRHN&={73P8>9VT$+?X*XLFD9G7xQLWNiJ{K z6dhn6eY>c8+`XaU5?f#*?`I8lAlpC^plI>L1G^PRSJU!I_=4?bO3}M3+L!E9hGbcw zYp~9H65eKS@TQzsFjH2zfghyoZDHI7{}(=U_-^R{i(26~B4$&a4lK$hXft}TV2Ngw zh0W~tp)8?+({K7cO9CWf)D^-nyP^>-iiw2~WBCXKIobayW-r#B*rC0z;r%ixG0yz% zCFe26JMgOsof@#U&dyFvULE0yZDf{AKOG3j-8LG$P=!%dcQ zzA#kUEPIILG6v!C*u0uI_IEdFNRv}zgMJnhM2hOeVUz&v{hQAnc)$3L&P$UQ>dzDq zPv59lUQNA@{Ma#sBt@to*dkMh&EXG-)Ds@cGiC^^$+_NBd)w|L2sTtEoruaW&>bir zjfTS#vuYO)n(?^4MAfXWd7SFoVnEf#n7>0@NE?4)o+*NWwyc$$AZ_bWh_A-QZrf=k zZ-hT0Y|TA!dt}r7T!78N8*#aFzBz?p!14|VuS{qL_?Q^x4UKQ^z-I&lz@wwn#AbS_#wc7+ulfeHpV4*J99Pyt0iLw-Snbyi!#oI2&TRz3@MJ+UcHXuS+1N6ZMavS zlIf(`3)j`>Gl%@uEP6B#SFeoOng}Z$k0uig_B_dPCYS+`Zr3cVhsWpI+H`ftIMyz7 zBEN-B7di`oW`0Pc0|lX%25_HWWJkzf`i4JwQ6Cd|R#((Ec^Ov>^wv@X8%SXWtHu;w zT@NQ08AHEmjb?(@$1PHn$|IxUmNC;Ymjbd=FZOivzP;B!*VdQguO*#Wz_<-4N~rW4 zK3o3AUr;g=vU^{|d6E24Lf`^{# z(=_x%d#JT}W|-#fBl!6Au_)QHO?u2lTZZQ^^vh;bi7|9wN`Ycum>Z{Ar|@v6KfRep zn&Up6^G%(#x?qRTJHtu#uttkXEuph%kKAT!SdZ2h-AQ9H7GiB?OpEPMM@9BU967Pe zEkAEtPqMRi@Qi+PFw}aP@19(7MZov&9l9OH2+2bOU~2aAnqCTO*_V`+ zN*aoq=~%JGkG6S3gs)Ys7;0Y7Nh(jR-Cs+zD{Xy`%n~Zbmdby|yGrO#yM&mmPpL4Y zqL^n7n!(hpRz}D4g?mp#qw)G|rH>q=IAPo!vajhtzc%|7%*yy`^WIZGx(+0xMB6IS z*`;RRnudUoc79>r)&MX5_QvveuqPrKD96|H2D&hBUE!HWKPx)tQR?LV^VHeM?W11k zYp53<7rzwk#afMpFFu2L7+!WByGGj2tQ}{MdxUH2C*6r%#tq_}+^j}CdtS^2zjc|& zI!qGs=?)?Lm+Aas2>&VqyLZ{^n{mNmMKA6|R@%f)H4PEWs!iVqKOE|m=FtGi0%&o9 zlIc{MIua`K`M_qwH0yo!WhW6>-&dI5{d1;ER#V5yj~Ot>84Ke%8I3!o=ecy*OB$^< zsD^CZNF!3xu_7r10BHt%;>+^gtd5A>@hWgje?NL|w4n2$X*}j0noI~r6MRqF{$ExG zuC8&p`J%^OVwO5(sV!xZupW?bs?%b|Ci2ItoYXq*wA0?pnd?A^L@=!kOjS*Id*K&! zz-Ff+-*&D+dpVW-EIT~-Q|1y8v5@+cQUAi7m&NQ^^0}rqULz-MkFjvPpq)_*OoSN) z#;iF!Z4^Dh+^Fl}BC+VwoRQyxhXzQ0%C}Xz%*@iItPD?WCYK{5c20pL*%DuuKjxP4 zpfc!i5XQqKEbl_@|GY~JaFh=_s%NR)B|fVY#?vfMv+VE1Fj~fWt8eLXXFAUk+MgnJK7&@Bn)^K|p;h6dw!llS@lp14y+Pj4?p8?m-r0y23J zaxUoAQ=u2?8nsz(8a(q-Sg;>J_7R+<6Afp0jIT1BxD{=*=JX-=tDKw%NbN>mbz?wk zhmPSJ1F0QDVwNfJi{3DTyt!jy3w>mHr-2U49S``zKT8LMaO7JHO&iN}AfLMzzIUoD z;^n@H#^BuQ+zhv#t=B?RCk{l}CJV3IgsI@C@>Qu>F*_oYetWpzD z`OWkT1wqXueN{)PPjch+Pfu9l~%cRd+; zWrz+)tc4?Ex+E52U98So!;|ky33eE$i@#uKqyy90+g%PDhlauOyavj>KfMCS>)-LL z_I+c}CE=K5om%!F^6@fs^>2Z1bNI2kw2Kbu=vR5Pq(As_eT+IqAUx68U9v8?Sw%oe$f539qxyDx;)eClP6#^S7b{ z&tAx;s&0->nW%@KJD8-sYF?|@?E0C3krn?G;e0(3Po~;O?rLE*RyyGOnD*(zuXotv zs5LZW4$%Lebl|(i{t!m%m(MB&7ReP&l~G@Ze)EdKw#5!36ALFNBXD~FB1LjLwTB%y zEc1a5=*#=_3v=nYd-1<$v}lDH@u-u`i{hC8z#9<0_{b!`{H1!`! zhPoZ516pfY$e4BUxx0>5ZZ?w1x0TepO|eY7n)+7;_;u&R^n&j>N3CfO^b75~@;xjo z*YotP@-{X$AuU9CCls~6WjY=+Gllzlh7OF@O96eDX>016wm^pkT(y6(hY9Y}N@%*$ zRpQZ#2OmlMl|nw`SU=dLynDF0+DsF#!D|uhtCRitUu(Yc#snfFg2YuSmb9q&N6E+k zmhLz)bl^UyIO|S>Tekon`1PL6^iU5-v4x@!i>MFEz4nqM*usmzJP+PT<^uL;{i3PQeGM_ln$^OF5*UpCMbB2 zWoqo?Hu;A;+}lXXa=G_G2)htJr+IYRPObg$>G3%gWBI42D;X{)7Io^tZueMjm1mo~ zLhb*!f1nGj=|J3Lq9VsRToJ9KuQWiO4qWSAy{lUx?9rj-lDXEr07gmBr0U@+Qjah; zep-FQFr;4ViHicIq;_ZWl+FnLZCPbdcL;+H$d~`>nm_Evmpnc2KV^4J@Q3Zb0 z5fWBw3N@5cEx)?%*a{@F1xjW}LH&r|q1e3UknUuj&i)?H^DqNTMHwz?sZ9i{%=Juf zGgOK3B#sC7%5L(7qOJ0lubuvn0oDlgDT|H7>^r{IDt?JB8DC`IZfl{(IW{YbH+?5N zN4#P`t$Q3XfK8L0Qprfc=1(8?6g@EMg%|uwW&XNDz}$iGD1%2$4PD*)w!Sxj`Oujg zZO%Nw&QU@zt{jbvVSH=zM-x~V!puyon<`S@R@KKHh~7x4Lohssr`$3;Pr!=R*QAe6 zOU*=`kw*JUT?#s|Du|%g-X|27KSp*5C#mEO)#cj*V>(K&bA-?n#JEVP*z!BXLFp^Szmp-+0mL)D56NO z!;m688RCc^^!vdJ_OEW-{DE7f160)?lEaNVOSH$~I}Ls{%YKP8DV5`!R-Z>h7p({Lbkhjfxv-%JVa<}1m}rz`yi^?Y4;yVLe1%?j1<;?MAU>IFCyqWKlXpi z;>jw7bmnStMo7j3sgvtfQxw~gci*>y&Tr&u7g1spFJhD;7|4V(H`qAyI9?drk^d=k z#RCMeF&LZ0d#CNYu=PH_ts`I4q+a$PU``ArlMRBXRk4C(wrEMD;|8BO6R4vtoJgYV z=iLQ(430m6y_fx}WD;3_cv3hjWYXCY&s_3)RV(oFrW;96(};0&)8<_0l@z^wcNZ1H zEo~m;INxkxk0b<3#Oas)_U9B+i-}DS8ae$DJF8!Vci-Vh|8QnkyshvwK2@BD$@moX zi6rn<-6`VQYbl1T|EbZ$@7q}Vd1g}|B!ZobdD^f+1z2jrS^SdBR8*lalW| z)66-~WyU_(Xf3cpJjj!SB_~~%Efj=tx4`@|0K#96I>WPVyXgc`IQGi&*(QRL_%X4# zY_}}i{pDpaa>@rd6is3Gw7&P{v|3vef;fFlq5sv0D#;|?b-)nkw<>G9ghC$Bu}!?* zDWg{cc!nOOWWGf7ey$yG=>8CJ?&QW}<>RMkF$a_@l8TIpXy{iRnGQLFNv53!d|ws{)Blsd`IynVG8)~at2hmKPU>TnX>3Em4LkvNqVPRy6* zO*)fKE(k|vn4|c238&5M)_o2Ml^T^v_MC^uO)c--j3XNAeT*@i(S`9aGqv;2d=H9S zHv__M9;cG&fLm3DgE+BG8SJuM=pL-^QSOS+_PWdEYu34BpYkWF$=&n65;-C5hMHWT zY~FbJ@cHS=@DVilRO(Zrm^HZ!5jhMjQ}s3R)8l8s#K$R|@(fIT$S9CT`<=4BKZZ55 zqZs4`7h_o*>&hF`&~+3t*-&J0dqr2w5p~tk1Ldju;fmB3O=;2&DDuY64|nZ~yzI)k zZz%{+*(xIa+$p;zuPs$E{nKvDFng~|f_nL6b$C3+oI$u)RvgZeU>O6ej z5*)Mde+JmDujZMJPIAypJOnmxU=U@Pj%+cB_P+K{#AjX{FbwZnhRk)TusQM9a#j!YP9b>s&mSGaBX z2)f*tTmfB&|%`AxGgY=pGLpQ+vr_5BD2W4hYv%vEo!~^Bx+09Rp$)$$hng+kv zY#Q28U*@?KW7i$4%PZ2z)f6(!7~D#N8S*0fsRWe1+;KMofdvWoN1f{p5qdxfKhyNzmzxbM4->L_M17jp~$%&I6~ zsFaQ)e!1->YfX*0UOnpz4a*qPEqKO#V`ShSCJSr%`P=49_L0+CsP-f0=g-Tp1qDXG z_A)YabsLIa3F@d*l z`K_eOL0->h?)xH@!+A6UY<9O;QRUlGHs6>e0VyQ2iitLW9F2b3EVI^g_w5e0#Edi4 zlu{FW>2P7#PIe*srQY24TLP<3qvLOkmC5HV4_|6~U0 zp)t0&E=XEV9D~(hy~R6o6iYUT8=ngStIS$5tD8rmyY>5#^Kh0Ikr&^FFj~UO=e;45 zyuJIV*F02D4R|fxpJJblm8-1HO!0eS`+UwQUq~F0ZxzfEwxxd5rUqFWogL8_kc%x^ zXdAh)Pc3oQx{Wo+n>r?bQ?6kD!slapT*I@jFlj+D^dj$ca{QOysGm07TY>}@0Ykl@ zC&kJmzPc-^t}y&m?3?0CVW<;*PyMwNCVuOe&#SJeIhk_&0Uu7qxC^~vj3#GHgN>e} zRIBVCpZum?7PA*_SysMzQbtxBfbMgQZpIwOs_*{-PS_sPfm3_&IEop_R(gMp;aJUR zj}(RJz$Dl*t;hrE%#M-02DsxOk#^A$iPYbn;z)+e3}CM1ZmSJmt`e0!{5XLBM&$Qf zs8B*JYNkgLRb{9QHga>641aIr&NB!7Y~-p5M}m!9G^YU+xdLeMfYqC88+6mne1WpC zo!mmrm&e?`yYA(!jEuTH!omMML>V?2Nl-rLvn_xBbZ~Zui2P6h`QEBTMyH27+B`?f z)qI^z?UGR!6jgeSowqea@uvKCl8{Md`LS61g;-f5z6(J$)+otz^h%g3G&vKDnvUv~ zlE#!xHIo$PB(hnh!)xZrG?*N+*uUrQ(+9z&sjcCxy^ZoSCXdg1zPx{6nl_bKqgviE zy&@8RF*g=ryBcZ7_~)V5e^TGi&mpbz6D-^EPwaKWF2KICZwpI|$04h{YaI=M(QZ;| z5)p6_w!&?wwTp7Njr#X+&)K6t3cx~2@^r-)MWqZ3wmvr86M6#IOa+H9Kc{7KoZM~` zE25izrMfe?LfUJBmY({L(GC8OgFab}-z`Alk=;@aj;04oy($wv(}8nNxC<)p_7+SQ zwWh=%B%@?|!2<(2E_xIkrN)SE?=mKmKkn7iCg?>yPMWbTj#|IAM+({l#*5$PVbZtr zC*N(9g-*;bUX?rGmcKqCc*a|Wi1ua|r99Kre?kX3p;O&;m^-wFA67#3nQ$z!qYeXNK|;RSFE;61;{OEtJ%Rp5JHo3did9Ep@`7 lMf(K~!x>c4sgPO92Z=gNt#l-LcL@^t$NswszbO6V{{h?uBQ*d3 literal 8998 zcmbVR2UHW=x}K2Gkw_ClSAwAQBE70KQJNH$s(>`<9f4qwPN)h;M2d8f-W5U#Rhj~V zH0ekYNI)Reym;=r_nv#sz3Y{o_0OzXnYCxW`P=vHP54Tf1J2)4*HQ;SAOHXne*j?$ zxB*a*k&%;;Qjn9AQ&Lh;(J-E)p{AyR(KA39Ias+kIat}*x#7Zm+?ND-*xC7|uLz2Y zNlHp`@yRO6h${$7NQ(cO1Vl+mNkdJ;a_$_9_(k@M;{WGCXa(pffCCUS7<36Bp#y>G zK!gr}i};?Tpx+1Z-vdMfhLDnxQ&3V-6K|+J50HSsU=j$JloSFX-W^2zAAr!2(q9x) zC1cQkNPfwkQT$nAHU-c1$~Gp0&sey`BM&4c)dgl27%T5(KK?6LC9g?I%gD;zxT&VD zp{aH2uAz~!$-VmztZi%`+u1ufdU|>L`1<(=ggy@okBE$lPD+09G9~r5S7~o^a`W;F z3X6)Xs%vWN>Khv0w_`dwySjUNKMs$Kei_P+y${C^?)2e5zQngnRTAfofYbbvB&aK!&MgzC>G zAZ_ubrJ}|Zb@SfLEK6NjU3Gk5)dj08{_WnAYBS#Mj#-AU9pkAj=e+OLEU{(SHku@w zG>V07?qxymysh>+_f!`r73EyAmh?(UnE9$^8-$&SrxJ4B>DFH#_2)_THMoz}Q#v_HX3-RoxJ5{OS7R8qprh2{lLIF=PW=^U%Et1v_CtoC ze81x&UKO)AO0H7C@HE5LL5XX&C}=(HU2y~p%g&+#?R1jUSV=hEWbOk2Ai=xr-fl@5 z(?~nr;*lEc&!)N*qRlURsEZ%>R3T;5|9_f^$O0GFss(2gt7orLc1g?h@XxQP&OR$L zW$xpaD>J)v36!u-z?+GE7vtnA)Y(yqfoNK2!L5p;$+X~DfPJNDQ&@@5uTJ28=|Uye zHs)dGAju9El^a@7sFGWSEUj(3`%_#M>wDvUeN>=s;f50LoAabW>SyMaQc9kzB_!FA zFi8Cj`%#FaBZ5icT&};R1MXUEhKtW>B5F`9_WQ?k_2q$f>0Z||2>`W|PQ&R|@_aed z`o7Rv*%9W}<8Vv!yyy&C!zEhPGR*ByH9-smXT8Jko+$kA&$Ox6tY4HF{3H>ZfzGet z2M-Z|c?SY88n&2u!axA_y%6mq1fYnzTN%$s0Df$I;?IIA6M(SV0@JetW9)eJ&ln~G za6brj4+yOAjq4Cyh`9AURWH(`QY%e^F+dR^r*nCq2?0zVP*L0x|y9X_R^j9_no`M`Mu` zb4b|%Eel`ewi(*7Z${XzoOgIf-|MiS8;3q0zaG*=_iK~F=SW)ocGuXZ19h-3OzxVg zSue^n_3$N5jt9YBYR%QM;3W>^^Imo z%#!lcWj3^d8wDS%?BC?(e@YMxP9vtqlH9=+@y?=~f?|LX^en|gRI2M$AA8j?%~FEw zyB0S5>>1rqwS(N9^8L)HTCNm~?%lo9rF2wfEJJ$i+z#;g!5IfWAi+@#AJJ)onEJ*m zre5kUCzAZcaEk;&MPjwM(xpWjKGRP@c0az00G$7L>+%PzYXqk1w-6rv_te}NPVxjQ zBpIdb;EfWhO$EhybL#e#$Ky9fxT{d;Llx~_q~`Q@!LQTqN$%;i0*|5r{O=}Qbg zW`13_uy=urYK8z<;a{j-D(#>^-|4k(i276nP0oA`gM`c16<$!FTSVYB&qi|B$66*b zE{~v1PZi@w4ia~K)jeoE+!K3A?}y0$y^Jc9&qqY^JuPRuQ|d&2tv0_5*L6@2&%M%E zkyY6qmu`}?Hre&+o%*mt8tTnYN4EiIxsRZOt9SfdF$l7Ieg$2@q77pSGYJ0j+ zKj+}6cI@GZU?NStyX?G*it1HLv$=!Tr4VbZ^7G5sf#&6{qC%}ge5j#!szK9Z`TH-< z7sj+wWF^ROsfZSXtlKhZDzPppSXFqc$$`js%XNlbq0s_(HN94sR%>sUE<8zBON|lG z|Bq&ZZmAv-Txx3hfE*rEa82`v*f(<1RL)_Yv3+ z!JLRs7y^)F!gb;jBB?;Pz+telsl|xiLj>7ka~VmkbwuSoamD9^|g|n>ZT~QR-_jBxtijNNgd6lbh-==e()%NneH9@n>m#6OhG+PDJ`;0FQzE$gB^ga za)x`3vuvz7?170xa?H-}WF0$7 zt9Kofa>p-xJ`A7K+fub<-{elr)Dtj$Fb3_?WwZ~l2(|Mj02F6$yo9&QS0dkvaWHw# z!oXds3i7_#r_m0~_YGN_Q-o!_`$cTeV;xS5JyLx(-|Dmsqw zVD?&Mk4Oj|GH--=U)6YP=%#wEw8?lMr$Ix3X6FIcU zuswSOOd5ss^pLy1+eovFsQKRVWqYow)(o|)Bz>N8GN(ie)E=80N9yi&qW0zF_H#U6 zd#Z2U^5n&0M;#$&jea8=6_1^)i!r1a0O-bUWtK(5Zf&jRZ)K`&S3zAWGW$$L#N;x0gCC=Ap}-@#xE$Qghn^JH9c_jc7i@2~ zI#;LfScq#V`pnrfiYZ0u4?(1jcc!M**gxG0gU6}Sl;v6>p%A(*ez5Syb?j{92}*tU z)^P0|oJg|gwIa~xQlo9_0QT!>&Bew_^&uiFv}T^(07?$Xf>Lt09PdBelKCNpl`kuqOhe* zhM&c3OJ;E4I?|rA9dtijptwCBrB{lc*TIqtl7xr@idyhlI&TC`mXZ`UZ{}r#cjS7S zQ%uR-T~Y^j8U;-)gY2pfda=ZzxB4ouBdNwbe1wkn>7_I3DdW~z>hBKR9Pi{xtYVAW zU`xhf?!gy{&T|}RSeG+92<95gQ#T%!EV?apSf2+xEO|niKtoh4OEQsjPd`$kF%we$JPy+3nqwj1QHb(9?Fv z_FT)xSsX2hkP-l!39V&Ir*XHn3p?V-=*Ke7hl7k+?nG9|vd0k?hC;t8FuixbdwFuQ zBcc6u)MPZEpWNFDE(PxWxkdcCE_3Y)miSe;lZV)U74D_44p>iO;RddTP7U4E?i#$k8axP;1N5>l?nDJ=MttNes z*9O;CgyeYA)z0_A+PLc#H6hEdS_LNjcnoklMVG4=_v7sAyY^XWB&r`wIxoS*o(VQp zB_ne$tW!|0zW6J3=5)pB3`qKWS#q@pen63JiFxTWHjO1!#NC8(NdyuAVNLMU^rh&Z zn*WK(X&|g!i`K@am=h0E>h%>QE-y&)kg(Wzh*PeaA=+a$q5_#ulb`av4$7Jt$Tia} zCJ}o+?_&+q3nSBn%zYmX@nzIk1AdwR%r^3x2(@G4h7w>u9}^gl$QqCrD*d*l6)#Jt z-Cig|1z3cfpCJ!bu=~}nz9VISwX5Eik?+6Sm8vlW92*+?ES(bsp-pN~hT+AJ?&vF6 z&QtQ#;?$~~{iYⓈ8e4bGYpQVA=~v46^~Y`O93}G9)T-DJi>c>?!s8Lrb%3yEvhD zIou^Apf1(6)~Z*cmSwb6dSeZT|+;xww&M)+fS z!!i)S>rVil6Mzx40DfCvdF_1LzC4>#Cc1Jnw&qig4<_NhhI*H})2F|(ig%};_p7n{ z5l>5I(S4?xX(nwzo!r%>kbCKXL@&2-n14ndZ+(Yl6!rXmxIBs+BP{HFZkbd5b)7+_ zMu-Q=0*0| zce%>HA&kFBq`=@${)?Z`(tgRhNdA4N2R5ul{MnE@Y&EwVxcokdc}#oglFOFgELXHkfn$Y8!w=$xZD6x6eo6Is51UO z0gxy^MfuJi^9GO--P1mF_y+OA2~7Yd1pev>FjuF=#d>T(*dB++ns2uQo!cv(eh;^( z1X^h^{dD*A3;~h(!6+%z+=jnMAg0*SWisXMu)4LiyA`BvO3SWoM<)fd0BHj~T~XCiUBQAPl!TFzc* zSUj^p;Oft`Xo*tTg#aAsa{!*4Fg)+PkY(F@rMCpY6}i9F4*O>B;$}1frUya1uldfc z)RtT>UvQ;ZuitS5t2IoxdS2v>4!7k_9#qm(*-W~c8tye4W1@8K^SI8~iK0_M^K)f8 zYqnQ8ky%seUFvgU_;EYz?)-@bSyhvNxdj0*9EH=*%rtZ@h^v6%dyi!mk`PqD<{wpt zz|h$h0?_}G09c#HpAG%~*1Bgl<;Sc)5c>hZ&%cxS-_J{DJod>>O0*40ef_NYzikvb z46r{|XFk9D0x#{u6N5l8L$1A=*H@CGUGM|cv z>7KE1M2a^bD3EQ5uWqNZnaFbt4yy8x#dSKnJzGF&voAf2p?xLW+bgLD$)r|ZA@Z}z zvSVUlFIOp7#`2wLpZG4G(u$;w30>zA*}z=Ln3F4v~&z1FkSVb^lL zfNxclO6ul;DMn^NiCO+HwFW%2sr)He$x&)-7A}_>vC#a%0&VkoV426}XFI!<6=$wp z8vh^gtY(q8;$NKj)+G{v&zs)OblECzgv+v%-37^Uf*Rp2)8NTwlBVs2QGtT5_Q4`# zHxW=rw;_p69zm2dPq8*Dpz>%!<%X3NU52Jo)L)iuI1vOunwkK36r9bBXPIQ;x6gRb zNAeU_I~6(sy0`p zOcV+^yCT+ecO8^r*C{QDzuX&?4N<$(n~J571R()C2w9ED+F>J81dop3Joi?=MGIGz6#A z-_>ehBFCp)>=SXJ+$4s+FE)i~RPfpmb23j$q_=EA*m7c;S{-WQ5~>Y;#Y_g|A*wP2 z0MMI%aR&idnMZ6H5>x*@KQTgYD-a{pLnLL){5prCKHi>sjcV7CFtFZNJL+oBhn(f#?)*~qa zHhva)sgUeQ$P3r&PEF+^xSN?+WT4(ipvj7VfK+q+?JvGc^s*tR{oS4+GAw*7MjDD1 zA&S@kq+n=u7j(m>I?uqPHHAE=aw*DE=}XBg+0!IRDh92LGl?PJ>(uQ15^_*e0y*@+@0CndQkeF zAKV!zFemUvzBA+MYs~wa{QwlIU%yjmlG3`-ILiEa4!DHj<07owx=Q+S`}Az2+V>Q+ zUq~`bpl7|pqN2pz&;JsZ>|C8FqbzKiy_ByQrr0lhK~a1>cvy^wH1Rj~H?Oq}TIs3F z3$J~3kb5F0g|g0@szH&yZ1Ta?Jil-?nvo%d%uSKhe>QB1=!xxx@Vtcy&2^e$5dhcQDLu<_)(nR;`ethog#_eAd1uKy#dyt4mpmk#NgMPE(`XV z0Da?XUxJF2n`$=%{D4u99Ev^YFiGz8p0_;T2jGOG>R?|ki?jXaQ=}bYn%p2d1P|?{ zZs6Y%h`>L~a*SW{E5}G2%AF-LBr?BjcAc9~n`uW4j9gW2(h=3PT~!cU2omX>WS2uH zD!+E+qbbF7EEdcB!0_xs=qcdfM}LgA#uj$GQK0#Jk)VNt(Dt0WcfmBg6oy;|?acD< z!DJK|keW**a<}-wsaTC@7X_^XGfeSU0$}I#-mArKR4@iyiKXy{5j%%R?p|A)l{Dwu z{}m(rinWXV5onv&gw^0JJ*_^JJ_fT z<}_~!)dt~&>)*35t%$w0_o;k}G)b(v(#@URbFQXnRY8~d0ovu*C(-4~FI~B)O8P#2 zf6KkqO}+z90P$qv5m}B=-|^)gBZre`<@5~9FDsvLFQ?3a&-IN9DmRgNs6GbPB^6nR zFq0f9iB_+LoG;x=<|g^NJ`e(W+Go;vU|FavF%j1M{ z0+qf92Rdc14eQ$ZY@D`OyTqiZHk=m8LgbQsX=7QEYmj@ZFZ4(i1&k`kB|ik|-foOr z8Jw5yyz2Gvq>Y?Aw1+zsd6k$M)$^#kt;c&U5!lD0x9mon6lCL8JyRlN#d<);MIqM< zflaCzyRZ}UxA<;t?NiQu*=K4FR)UZUhQzv?gNDndUl+L(2LP8py4HkzQJKtAtC%n5 zH(=$ z)LLs_HaWdUatNkOwUwrEUEnp&=G^>xtyd7n?yXZ@B8Q!V2-x9*cjy$sV-Hhn$*)^21@1Q1`qSUJ7qH)KDklA zdzOeG-7K+k4co0rpdI5ds!%tai`@~p{x>pHP`q9z$C>J0wC*c5b$=@V&^9<)`4xN) zkcEec-?78zbWVzd*3`F*iC8~}JdOrh`(#B!jiaHBv6G9_2kCrzyC}(NZDkLg!KFlUb__ zPklu8`SW$8G(BfC{U5nV_1+s#ZR~#f!BO+c1>=%Lv|ZN%NZ!!@lHHFT0qkA(q zE)CtO<#~#A+tTWAU$UxPL%LnB6F-5?^{wt{;1DrOaT}e?S891I9*w+}?a-%5OsA*z z91YRApK0BWCi@(CDXBTuz|3-R>wpzCL2s^O9?CIn#co4OMy9R{Pagg!EBHG*FjI~> z<3c#C3oUR#*YB>PFUN65d4rwfzB?F{$jxnAzJTV7v+zIIB5D!&YJ9R(=u@(I9MzyA zo8GHw(^=J&%0|6;Rg+$R|6XV;!18jMG=SFxT|r!=T&ixV`L#&t8t&H-`IS4iXl^b9 zK}B42o`;Mnh#U`roDjD4T)Sjnw5RW99J&uS7C-fjJtc)- ze+Duf=0Fl#*SWrA?4~g=sNor1;E%iP9Izk6HNTl2 zFqlo9)qu_vuzr&FF=;5l441$l3#kyQiH76-i~JhrGZ!wDaQx6$!q)_eN=hZx4L1s% zRo#dcg`;vSVB}1X5TR$# zJHZ-_kLX~1aWo#48<{hsGnG>}eXpvufsJ{EXDywS#`r_@E&;%sJQ&P8o`Ej#Mb5uh z7LdwcL%?)$DW(B7?!bvT8{eEWI*~}kPolKgdFFa130h?|A#M(~^Wvaq(TFoWAp+19 zkH3k&NMz@_1mGiS3;q*%meJFVV@2^n?Y`p%AtCFo!-53$m?WT&lS~VYE8{w28mlf0 zJ}|>aEy$Kdd@RkEyQj`jNG1un(5o!v&%#lxsRYF2x}cSv~7tQu8gAL ze%T}raz+JVPbR*gCyF%r-uuOnz%J?;vGdC(>HGk=kxmUGUT>t;>z#r`bZaV~rGL3I3TIEw$G1dV@+^1M@!KPZrBLUj!vDbjBZDt1FtnW59S^pSr)RD*0+@ zOB1b%bQ2o|bm5=X04^L+nXRi6fZq4Y3){qf*k7BYUivEJ6H0=Xh#a%^494MkM6>@x zSIJ$CIQ7xgC0QPFMG)MBlnYyaqE<)%dJqdzjmoKK1;A0sgPsX9F|@cLC@*vI(h-K8tC@J%Xc0hlB25Ax;jh3em&$q5tx1@|~k A3IG5A diff --git a/logic_diagram/ldmeq2.dia b/logic_diagram/ldmeq2.dia index 320256cc54877281eeb608c1d569db21bbdc2050..f09ad7088867e62efc1aada3551770dbcc9fc5f7 100644 GIT binary patch literal 1495 zcmV;|1t|I-iwFP!000021MQqaZ=*OEhVT6qh~8F=gN+ULblTCZw5z@CXs2_IoZzPH z5Qu=J&1HZ4+CZm)K%0cPTeL=MXM!BRwt4-0pB<;4K0hvFYa_BeN|S3F0@t=gGEc)O zSzO!SZ-4(l?awzCpTdZLls}7%FD?0wBv-Gl?farweVj}l9v(ov&3Tb#Adc1`7n6T@ z9P^1RG_h|kENi!dkQZFttMBrn$fDW05LUvM;@Y0^`Hw}Gu9MKNO4a4&X`E)(hR4_T zqkiv{sY~Uu zP_nqW{DLp5Ce=5d>*{J~uSl`v*&<5zb>!H@)j%LX5khh>2&2pmZ~&jid9hVqk(p-o);~nN z5k)lTyOut_1@|Ia+;_HNHx5I$alv7lP5&M4!Be!FV0s~Yb=_e?GVCvsrRaX1B3Umh ztwU8hv2)y%*py9bPm1TJc(2T~>Sl$X(|H7k@(40O0!QY8fmR+>G7uo268{Rhz{iv+ z3kHbN_s=A5n53CW-99u-8X=R=P$nT6pa_v>U|1`ZY8?nXDzhX+0hZ=dP{Jcflja6V znvv9FL&KyIGRYgvBo9DJoB()4FOw=A0s^L(gaMTQIt)-U0w#UE_{C63HVK156c`AOqNg*rC8@hz9Q;OWzEZ^lvJ4d(nVtgkbUqui&Ueh4cc``^j4+ zLjYpsPB#O@_f@t;+)-ppw+2i4mvEggzh& zh-nz*a#ZJHf3%-KLV!;&#fTzGC<_quPt%K|L`=)WRsC8nfTT$+^d?c54vxYYK+l0h zwqI`;u5>&=%6(K7j{~A~$rv_L|1vRHcMR_Kp$Wq8ISBt2$I&Vm9f6n)wk5sRe^d0Dc5a{p{SDm7jSLILnG+r5Tp?O~!N<^$RkJ2ATE z_vyp5 z8=snhzh4^jP*QWEj+CJ;R_eG6 z7a&6+L!l1y848V&LgWlb_vKnY(0gbj4d84T^Y&roQL6gtQ8Go~2f x={yQ1iwFP!000021MQn#Z=*OAhVT0;5WQPv9NS>9CzFn5rCsgae$8s7y@?!f z6LtthK+@)BfBPN+(*^>~2X$2>klLuoIj`-!e$Fv%g~nDTX%I(KlOSvwD)M4K zh!#`xudhFU;O6JMn@@fqKf=!yP8{!@~m#cd5+c1cku{rE2`2 z3`04FMq~5t#xM>8_%f6Ez4ETivLu*qGG#<^rKaXwdfygFyor3XXjQiJ;xJB(tqiB; z?fw2T$7PstCC&@6*K(oeiIU&iLu0svxF+;kCH1hYb({v!B-^cznzY2pe;>3dTcyw_ zTHM`!v2Tkml{cPaHFdOABwNX35k$v2FgIZ_5fpJsDNF_vTwvFB$@e+ATyFlha^c&` zC2uPiq_cILWQh#2W660Ohe}3;YL;x&^*X61L$KIO!|E`K`yk8W6aBxJVS3I0irY`C z?b4OINCN-mg!`5Kfk@B z8;WSH>A~lUDRy~!SZo4cr6+7wZPOBISvDJ=n)Q0Sb0?;_RZG@;iBRrTQilKWIZYeo z2V4^8U>4%}zsk$X;r*G($d`$4d@#PM$ILt^J4_?+r{=G?IzROhK{P<$(FCpICl@)0 zaW=A$g(3g`ySXZbFdl7tu;Jf1WDZtO~7jRT^n? z*^=1qyHsBk&t0)jthC~0!JzA*M7lzW2*lhGlz^^QDCIJg*#IS*V9T9Q43yea3FBT+ zX+BU%GnJa1I8dpFRH9v}M4@P549p;Gtyn5`NDik7<;W6lo)`u11CqP}Nt%(=V#9$+ zJ!F#AnMoERP&T{BVtScW=rANKV3G}{2PP4WY|#fO{dV)ifF<2nYIfp)r5<9*?usQB zaXNC4L$yL_ufh<;Y$6bbjhjGjFZOM}4?NP&qecr3H0mLZSm(z{u!kZH%z%a7=ShW* zjQ~OuA`rKLNYv^Bk^UZtr2kn`vkeC(^^i$U=ZzajHU}>Vz5jPBWElK{ZJR*M$~SG; z?gNtk8IYuZ)7I$1fk^L}NM91~07$q5lKTopk^{SUp|?J=nXpEAX^vehf40qC;f{!f z1m#yMdvO%aROIi6a@hbI*8?AMbR`{S;?3&opy429bq!oJ)=jciGe1aSRy}n*+uuRL zki%?lQ%*VK!llHyPA?21HQOJgYS+Suuqw6an`B_#IRo2>Kssd5f4wQV(6Nx4KRN|D z!A8V^mp&xnKZX>nI|Vn}aLB>$IS2m~hQT^j4S85}#S(BLe}q6Z5(y;oGcIgG2qfeY zxl&7oY6bZ&iH?uxzuI{A8YeQ4iyT`VUaW)G5hQA24&qg@D^qK_j2~tVU)(t3RJUFO zlg>vf?TH4#U00Vj*Vdqn6;#ySGO@oxMJgLtMB(~ zM5Om3p$Gy}gNPIX=}3w6-n&TeMIiJd z5PEye7O3V?wD02t^W z;AS3B0`PEgLAW@0AP@*2ACG{Dl9-5)kcf_)f|Qbpo`so-o{^E2;~qCF8y`C(BaiqU zzWahAA|fo@lCly)GWUc(bun3z`RHsfuf|KshZ4IsnAV8N8e!e9e1 z$uO|UFmAd47W8%EVEkxZn5Td_OeG9U_Hen|S5{3#_h zJ0~|Uzo4+_Yei*MbxmzueM3iQS9ecuU;p>9@rlW)>6zI%*vjhK`o`wg_Rita@yY4g zIpX5-w_O+j*5A!Szy95@zt}~FwhI#*8w(rs+b#@DZ}h+-!^XKSh)b@h3$k>jU=s?) zqkNF?rMw-VU04rJW#u+XK+Pcn<2?Lr+TSeupBWbNe`VQ!8ukyn<^Uor4D`*zA_L@s z^GlxWAcFs|#vQtlq8F?@bR1`8ayP(AZE)3mrGxv5w6+LS?n7oB(nePH(=3vns4uw= zerBy!0v>5w0{s0w2y+R!cOzHytqM4ly8mW8<5w~q7fB*6+!6D7rJ`8(*%}+%7Li3* z^-P-BSaVXR<#XY4GuEA{W4<8p6366sfG0cZ-;PbB_YJ^t+|_zU&~O8cYMQjRUq2Yo zM2LPFeB+St+KS`aC7FdhFJQYWZC^RS%dLXtAl9V}) zwxh&&51;Pxqe0%w4eby+uX!$3{AyP;uMg{WVabIKUEPJxCgPI^G{<4{Gk2G_8SizD zjCApUrEF5}6y!RXo7Ou>S&lKzYZ2UAbV>hj9rHfY7Me+jkbgRrM721DIaC0(LLqGHA0LijfarxWNyYu$u9=@=t zeY4EUN>S%J`HpT_wEo|?`rnrV;|&md1FU8EB%|65%rEa056BS&JRB8S0(E9Nc$eFc z8#gvLC2LklX4`S!j-w+o3}i9!H@%K&DJU?RF;m@m{_`RHM_R-}G@fNbUmtg#dqsd4 zJYbG9Kki^f z`OV@LTMh0%6BDJMe{lmZ_Bd!o0r{6IDO?341zewBUcSX&@AeqE^HFqj-JnO|A}z>2 z^LhRM;A{q>&;WUOL1dZc5H#D^#N<9kK0}TdR=$xMSHp82tW5ZMh>R%A$jp>NEo972 zGlqw6$bfa#o!m8^M0mzP@n4=nRR%scKj7-h=h9A215u~Fn;i^MmjOVMS@?IGPp>ml z>^Rr27pOm$uLg|wu`BljwsBY-!H8*)K$omWmtXFsL6Aq`0W#Sm`FRUpL%{1sb%OrH z+tLwjy*iz4YZLLvyOk573~#i1=)2D&pjmOhV7AFlvDxI*T-CG1lihpT^u+q z=jHeM2$+v%+~2LU{!(^?ce}baYH^VV7Q%tg=vw$p84Ca;01`nx9Z=>C&>?upym~%{ zR1O(am-DKv9c6<^M6P8EfBun^#ov#W@$v?EtFgjzO?d+#vy5+m7(X0JjLjPW9vPr? z17xF*@PQC~m~$n)QkHU+ChOmsI^lSn7Na$!VNZE7Lrqat*d{5nmeFRArK`Z~6?oex zN3%|OI*`HPemk3B%t`&Yj$>Oaoeq$LeWdM#vB`uRym|u=_PML}8i zU|-tWg*MtfUadD}TorPe@UCVQK7r--SUWMA1_-EWNe|YTG$in zUvhq$f6g0AHAWjT)9!QCD`_2_Ax$j&VDv;={EGWg`M2ZpjW>{=Y)jFr(h5UDewV2L zdX8ZhKJRsJfOt^nXE(6Gwf9*`!Zu>~=WJ6ADkj}ybt)%(cja`4A#5DUUXasBS>5>2 zmow6v5%*=kibQ+g>6R4f!|WiL8vsQX7je$glDxu44N*U?Zf=RBOz6_)Bun47Wx{Y$ zV?0(xvYFqy0k#TmfOX6zq{9eL7ODJSy^7_}{sdL{+p+(xS3Pw_gsy~V92+nBuxL(x zHoxOp@anxY#U0(AS+@%iYhs+`!X+o#U+q@8f^A(A9Old;WaJ?1B6>Ti?rh(mMt|Mo zQ@;q_jtf-r*AzA#J#9r#*t7E1BUkiLKSN6O@%AWWC{G`=T@7>ZmK z3OVjqwVxT?c8``2T&C8;Uu(H@mu0((?^?JAN{9 zkJ}y#=S~$Pug!@SemfS2Rgg3R@6d3B9Ote9o`*C3c7tq+N`l?=J&mfbYBNNxOrvu6 zoW>H{@v1`Lj@Co!oEzZw4G=N6hBCj*{8hL*ewf+ZYT>y=^R9q)wM8K2NcjSY#? zw?ob(nZDsm=(xFH$cMc);4TUfgsT)geKYZ~)_iC{LR`Z3vob{TbGQXAWe13oKoWu>c&r{gbh+@Jm>U4Ur=GNn*pXW- z=QHSWJ>&BpiQ`!pjD+t8ObR$!8y!g}Q9$f}o5B8zh)gwrC}^h+m!=o;mIN)?aUBv8872QO0L$eew)sBr^*{Ub}j+mTiA;0=*XF6;zhh7cIY5NxXaysE(bx; zNPeIW_ucMt)+IrF@56UJn2v~yv{i5v! z5lz;s{ypzI&N64DK%AnxyKjybh}e0Ru&mc#XQl+>Xt|Y$O{5wG9W*I@HAcj(P&_v` z<7^ptL&r9l7wO#G&d1><2=M_)EKm_#asqBBW;kvbY`3#8*L{b+@%s9S-iHN~8Vudz z%*Lb7tvqx9R=UC85ur;fjf}DH@&Tsin}S=lwG{j%LS&hI-#BVy6`n+&cLUx}4Wj1) za6_L}#~ybra!(0}-g&Cd-YvAJ&z^OUHr?;=glf`<7ghwS-WE_nwX+&K%LA>__Vv1bvZcU+R zThhA2_cc_;tW%80MuRwpqaAxz;|mxVBuoU$$$gSns#6Dqhhf7YQ)M<^!HVmKYkUSq zNUkyiNn3hM=Y|216k%rAB1s**(Z|=r@OCA`4>#5yqtdrDN@70#Jc8=EQQpB(;lU!A zZVwbVv@TtWZBpbc&B-Tumm{r2rvG#yQH{ieQL19S0aAw1?M=@eeqv5yd_gakY;P4t z#@KmFKc1)Kz^P0{n@@f1a+=hB#nb_IR%H1FF|{wfM-8JU6d?1p#Y@hFZ1O2cY+bC~ zQ9F#q+<9oD4jt()HT9D0IppP-l!nr<`_dW<2)jryq1cpsxV}G~#t(udk1XU0gyQJHzNYWdo#c$;@9qcYpa znCa#H9c%DHzv)6<1*%`pzfPqk4*2dZH&!P~bA>3fiQ$8YBqUhlI!X*aF9wLEDK=*s zBK&=sV+tQ{Iq}&I7%mjLbqQH~kXfee0q$b%b5+aSIm8_9qDiJ#$#cGbzrt(u_=&xN zFy>}RdybP#_gM$fHh5g^MyDsD47kN1ZHy)hQsj4f2~$==JSPv*r01ll}jXyJPI zeVO{(iAwOcOoCy$8D?9xhiBB6mE5~zU2!$8a;6l8(`)s8aK`R0cQluNbglsjSkdZxL2|* zPHwz|LH^=;z6#&_7S8XMK_GJGtP`q5gE*x54FGuu??rW>(U!{m2A! z?mx-tdc8>a#;N03!?=L0=HkQe?X3qN=Piuu^-bBdc*svTYLr62VAb1ye5g zIBV6sdsL1Zo%W;)94?r}#qwW<{1PJl7-So&ty*ki_B2XQ8Q^>L>~i(cXve?JN9Q<)GFLc4fX z_xiM^e_Z0XCQFzG3mw93Rb_%O*X`E!-8Wkc9+oIS3ghYlpW~jh7R=E-PmKZfGK%qf!pBP$Xo17jt(bBpH{eZ97UwrVaE-$kICob) zQmNDg;oL>9vCYg{qqjlv8B*BuXfxhLu~(8YR9ES6zD=loL$1J;!dmXhoSN|oc3|}& z;?bFNL?*pz^lLu5no*B=rPqm%#Zo@KW2)ocw2n^4q1(X${2l+qvFQiam&_vkm6|6H zmTXINHF=kVjG3t16!^3Ny0v&7%+^Sxb{;}iDa~MV^Qd$c_RQDURSck@t#G)d&5PwDR$!#(>>pO4akmj zUk-k^-|{6{KK-=JtV)X=^q?d#;cr|B*)X=a{?Yt`GULdjFpgMdqOx3z5K?Ti9^QfF z@GBT|B_*Cs1Dxu*O<73&_~lrm^+#(|R{4%L-R8y(V6>BDhU!^*GG6vtfc==?Dck3T zW|xx+_Wiy!8;Y?YK3y|s7{mKvY@aUyIK}4L{?@K!X`SbK4>f#W(Ka{5jZ^@5s|@~S z&p^3|M%J|$+|f79CzDoFbJR4OH$=wZ6)=fH3C2$D1rop)^I&i2 z9r&MgiTnLJa2YEd9C7T+d-|H;b1a6QA3C3{pbOOBXkY_rw>-c?XK#;vr0xKIjq(it z0wSOLeqZShHlqzubo8O*t0Cz%KInWhj|ceeJlY?ASMxJ)9iyb*{tAtMKaVZPe|tdm_zx zvrc@Qv_AdpU(hv=A~sekP>T)!Y254Td{=`giitxhzU_o{IxgU0-Fp+n__8VWXw&S; z_TU0c@~CGm@QuWK`3JJEbm2l9z4u?XNKaK=k@sHHsk38mvhWsO^OnF>J7sCw$u+&5 zju&6Khg2*s)R=_0DKG(j*ynOpf183oI4_J|r0%$URSVOr1I8u0hHvk$9?ZcE1c>5M za7sxW!!X`D#+Y8HQa!BMiG>W|pgCo6)L~|vn@6t58WVAm=(6*yq9C|WhF}6cRr08J zFv3Bs12o;dQ|srPIX*nkb$tbXcl|;zaU3dw2J8O>YpFKfAGAmzQptYAeL?6>qSWd1 z-l)ZQCUKfP%t<(^sJ!J?qU@0&ambBilOvoIZD&d0EHQ6*P>-u}o5H2STgE1+Nv_V| zX`rKsB$kT;y5&gV?a703jAJsx2iM_zD1Qeto}3WQDB3ZJ5ldYf4Am^m%s(?FR2$xE zt>j3bDUyT%m^rZtI8Rx&(&`8aG7XNyVFx8Fq~H4978|-E9=QRBhL+tcfvAgW6d21& zNsLs=cBK#oR|m6V&ai`=q@zaQabdp#m|(@4%pDSKkr=7ZH1mC3#MKrOA*zqli7?tI zG0?=J4rn-oU{dZr;#ei^=@`-|zZ2Vl*lEDinZDfO>nwwXWwgY>u5mnKvo{d;koj`~ z;*3GMSy(6jVQSdd;PM79tO*+`5FNWjxBC)~9Gj0pha7R!w`o!B3RCq$neUl)A0K~- zy-%X6wo`Ca%q)HASkPT+@DN@QW>MD=BS5{fa+u9im_?T13*cI*W5ol5z?`pzq9JSs;jq2zq6{G@tVylHz>qKoiXTP1|j-Ja>~(EPuRxwwV1TOd2QgJ z=<@D$gaHSXomE`=(PpU!)uv0|A|>Lx2jWY-ec;_%hYth>R%RXe@nP7G#I$-{Ax2Th z?QNj!KNA0c>@m=kPh}i3aZm}>Q32j6ES}-*y#ef4F1S>weeByE7bGG4aL%^b2aD&=mT^auOqx)K<)vy0y)o&DL28LIn?98v|4_eP2oe&(O z353jJDKyraescp<=zy~RY2q+8!Q`y(Ob+FPk%F$2jyQ|?=VKyKOh%45d{#U@w>wuQ zS4TFQ$(ztDm=g_ZUHiK6uYv9xQgvlepd(>!uvp~K*hGE(`pa#*SoYY8`z$=Npc}w& z)vf*ppxQ~z3;Q5;sr_!ru)fKfy2n$^ns)8GwlY$(N20F}mmA3iLQ%)f+yK?3tuQ7u zdFFnl6u5%{b?KRQh4_rO@4U?C`k|qV(>=3onDOk-^6~Z*82*_D^+lDUubicaiRCeiY}~s&7QK3wU3P~^IW^tsY_%Mr zJCYLIfG1Spf1Dji2@yE3Qjigx|Fowl+rDGs)8qO!9HLA*iVxHK8COirngMRut3fc+!sHa7`!06}4>5h^{qiEk1^D7)v z@K$~nNl4Tt5{;cXjyuiI2&&ObMZ*;5Pjs*~!ntEk{H@0}pNO=4#q<6;oVv5ko)P;9{a2r z48=ZW{OhqVITa538E_5sgz(ry@HR!YO~>VHkg`SFa^8t&yXuZjKO1YDA2gOHq}xgK zm4RVq1=mn`Yv;6_c2dQNvE$E1Idws&A&_ZG@9R}`GbnlaB3T_#v}#U@!Ewt(MyfiO zpTX+E7EagKH8-L(72zO7fQbI&(QzxIHfdOsFU*;GfY0kJv2m**IxPITB!-WBT&#n396{6Tg!#&8y9 z5cfaD7|iDD)0UJ1lch!V^|`sO)=DUNW;1+57k%;*d)faxV>_dmH0Ga6@!6W#!B1*o6XSq7Ou zZ-6Xhz<8Ncpqi%u>45Fap8@?jX@j0^+ixZN+hj3@skZ(~?&(fJImWB_A6!!Df1I0B zkC*rk`KmS~?W*3$n}jFXuk7?go7nWF+1&|_L)(}ShfAtt4|`zJZ?iykF+QcwRx z$5g5>J%8Yu-$6ZY(Fjqt<;pZ2>HH#EoaF1HXepLdv1MclmWM<;)fUwzn&*|@@Vo)a z%dTz!o4#59TA@j6>}xPC z#{R`6)6D#M^k%73$_hmZ?o$e(WW#gfZbcwoYMET}oDzfc_q_gPt(S$=gCowTF2SAV zWP_gE$qe?#4@kz`j_$;Om`lFPRt{5QShr=O#R8(g#RBHnl+`2p@^61Ri45azdC??X zcyf1XkS5RwXhb>x@nnvQ}o5w zrlYoKX@N?-^np^)+P>9%(0ZJ{K`&-w)Nw0)yElyGmeT6pJ>L4gB`%GDcd0v)LAe%w14Q2rS9wGFM5PWQl=pE=cm2l~!=Ubp_dCMzs$9+Fm8XOB z!(CEL`w4+*drm7aGXe7Yt$}z23p6``jb*abDf`G?MkGMKkk9qiBC~7$PnDoTTg8Yx z9j%qvU^Oe;6$UKIKh-RNzIGINO=qfgw*!1lJy~ibcjpF3P;=Mn zwR1A?g=(k#1$Tq__3zvUHFb0|C;F{U*an|XqgkY8&uU8fFqVhTso+-q8-TG@484$F zxrF^kSYigl;t)vzCWjxBxcAv7*s3Rf?TznC?FkO^V1-$8VGPlgXQ+yzS2URHg*g!- zv{O!uO}VzR&Vg91o59`jew#0yA}6~G?Hz1t%V>(>Y#j`v7FJXrs=W!dbR~Xfkc>(= zOZWA6Uy?)g2COnpC8^5X`l$dnLGuZ9bBBFjlHPp*l>!07E6%m657EBPa%GMpTiSaM z{4+^Oyz)`zsj`n#?;7?M z@oo!TbE!J#ZhzaF6OB!F8WW+`Kb-FwyJh&5M+Z#|wVhD8Me({1{IhUOvNeMK>sBji z_0?HDWOD5L!>E_%xJD+g<8XXI{sOWMhf^g!;*T6j+n;l#@K`HT~*kiW) zxeS?)WG~`4PF+X(3hkl<;k_X`YTNv6lb)>Xc5%N(*1oFM&Goa#G^Jw}$Gh>4{teb+ z4IGp~CTU>dHu15LeoS%?-!!`0zSjfg+*m=z09G(}zM_n{{-KHS0Gd$>UWJIE z86}%rs@P;huO1zvksINz8BjOjxrEuvG?gh`avsRwA*~MD^nU?bbISrgv6o?VumUIF zc{AZlF(Lw#7YX*${?1?e>b})Iq5452SSMqb`Qe+Mih+#HwBkR4_aC=`it)J9!I{6i ztGp9i%}kxc;%gMHItLtJ+-O3b_gp4Nd8(Z_1AOkvEe~6#^Mg~T#+|WM)A4QB4T+Li zp*re1#M%sqB^23krM;9U^ei*7n&o4s_LI}=we*fTN~*;I2*rYb`IMV&oCiMNQBHMAYuH46A|p(&?tYdFhOIBq@Z+tcFVY9GJN zwUN_1!$Wa%V@lCZJzf;idmWp%DaQU(!(k1}k)k#`Q^V3*IVZ&THaZrh0wUyWcO>;0 zFIgU)NF5L3gS((B@1jnir>*w$z8lv+>u=Yrrr!W%J?=DL@^@!{irL8dS)aSFw{iRExhJMOE#IeFFvvtc7svvi-Hl3rny3@;=*hgGdv?C%*KioOT^fAFAjo*>YFcD3f>Kp&;Exf~` z0w-~?QmP48OO=M=nUxzy6&0&qatBLht&7ar%_L379p;B3h%YP62G<6&HM1Ay{$6;d zv#TsS?$KZxGs%vcGQneHwX8|yLYN=a7PrN%%3#BfiBi`%L+6hw`)FFT3EdUoC}yX7*2^4!4i0;IIv4Zupc z=iWKrIt{jcrN^Ba*Vr2PYww~w`pv2WbFeZRJtJ?oNQa*5gDLDZo?ciQ$1vmP;z{Tn zkrUPkeq>J^{EL<*i&P=|H$y=t5CJ}Uf^IDZJEKIv9Su{Sq>H7YkF=s2o;H;+D+H%uw;L5Z^xs`SZEn&6sIHl@b40!U!>NaVR z2*bgx1@(HI`3ECL9WeFIK3Je7x<`CZiAc<+R8t%#5Oh);p0U)aANwl|ufeX)#Du7Q1Bawo6h(@I}waMjU$F+4MAD?s&57|#P zD4Sb~tcRE4k*C^NzeeR)wbOKYLNyQZH>AJxP`|e6Wd$9`VGwjBR#o~bKbiC>W^&i4 z8yA&+x&L~f!lqnah2_UB7e&Sp3|h9Jd%9+5%A1O&1A2ivBn@%gliyA=v!4eaWQxgw zm+#8I$fctZrZall}Hs^L>INwt?A(YCz5hswd9IBB9%U?u+FC;R!FhQGZwB+a0rTYzkg~fXKX;#U zmw)>zZgiJrk_nA9OhNH~lxV;AzGlUF<^jBu_heLI1NQd!XDhlZ;-L z2^S&w*c8Kv_bcRzh5fJtf;q6W&xdYy{w9(Z&GIKzDGT55Lo<^lIdG)C@31mta2`4( zz%+bV^iq{%$3N}yvqtyJ{`drASM29lwpq6QKrY0aJR-wcyt~M0PUEvdJGMXDH&*2t zuTB-Rc~H(MQvht%f(ms~nQ7qc_Ltc{iCuotsl!psKP~-JFe6HPB@J)!5Zrgs5(=~q zTWmY~BbxtbrH%0!`pSHknPoy080DRBJ77t5$!oh%T=RTQ-RktK?Mqw~l7dGEg26uV}&9TO62AT{@-Hpv-34)~0)< zC1Uz6&yDl@SYxbX+_WZjgM@syct87}rfoCHy*}MU4JWIRu6(^{-JAI-&|G^?fv&wr zeE%*sr`qs?MxBD0WqZPwDLC{aUC$hqx*UTkd29LjFMh;LIMMcE-=Z@C)K|b1I~m;5 zTyTSsf}=9_Rf8#m591?nUA$evc1Gs=3asHTuSkh}tTo`V??@7I71xb>2ZY^@>UZ}2 z%iEAa=;tbA1Yt1(9a4-^DhZ$@XBNJ}f$y8e_4~b8N9Yf+tp3az{ZnNAXZZOqe}|nq zhu63{KoIXc{obOOr`LaOm>RP}?$kQ|+<36W>%koz(CgZdE-`tqhI+gB4LZe1?N zfmBv?XkZy8C2&@7*89%s9#ZrxHmgS7H??$RUc`*tT~4C%|hUS2P%Ku!tLX~ z=8rDWYjW09qZBQ@x{jOMe<-T*hOHqBrs5DL%uJPN<>hs3J#24j2VCtjOEKKLI9uuE zg{&WvgQEjBRBZgM91bGE)8f$A??q#IsVTdJy7w*iWdPSG9FQPpR$H5P&v$5$t3@|S zZFXwJQCc#?6($^w!s&MQ5<{fsN=D35@Crmu=K-ZP&D6!m*&vfj>wTLO;$GK2?2~Tm z=lpp*`*9llP%U8(2k9q;CCG+?BXH69s7Y^dfL;p^{8Hm~_h}1Ty`BNz%oTzO%YDWT zk4e~6)*ip8TmAKrj0$r;b4lTZJ_MasqjGNjjWVmd)?O(Hu8QN`ljAB+92{Dz5UlSJ zOuta9IX#Fzjtxf}4U;~+S9z65;zRl@R=b|Fr?KX{1fdJGmNQSc-=dBc<7XJ)hvSC2 zeTYKqkJ<}l5`XKD1_d-D(E205`iK;*KUxx`0}|5p8Bw4^^C-vl_uVZ5ki{_%HcfHG z2u1pI$KLei#xHsr>_oQBlm(k%dQH{ z+F~^fjEN=+GcwXlJP8f<3UcXgau~>6tCzoOJCR zulJGSvV%E7O-7^GXKH21O8a(5x9R-{JOt+H$5nUNjiH}-M|Sd)^XIqeO=~h=Hd@q1 zv%xVWcF>h5H%G==YOOMlo62xtOHS{KK3n4lkEk);D*XtaujkWeezxh!$>%Q5pZCTb zYqQ4CaA16tA%cKbO-#{}c}JS7Cs!<;HRpkxlLX{!V-qrJfu{NDk#mI_K_*UwL#`uR zuAkT40=W?}uwjA)&ZNm7$$q)9Ma*dy8J?Y$RBdx4l<~_!T{a%Wk9yP8(Q2G%9VU$@ zaUD{=o?HW(V7a}C`wPs=w{9Wp^-^Gc7OtTqK2O>L8R52dnhaX8lHVO6``Q`45+>`z ztmIjHv?fPD7Kw?EL3g0+y#P-UzZc=AX0n7@AE@I?-o{lu60URX#Z!CMg807o&G3w{wMpplFQ*ci^l#DIjQ(Mxd~_z zWg_~P;&O;Yx4JUmdYReLiuDR*Fc%x=D_CIR`58X{Qdn6o%gdUf=d*EibVz_3O0cl^ zYBSLzZ}80T!Z)LtwwFa+&-r`+=Gf{BzE{>?md0JPet>w`f>t??YTp3gaas|hXvmb@ zC4Y%#$SxFWZvgszK7l)~H`p_O=@hbJ^eD<9+L$AiF@;Y4rR-Th@6RX~#9fLMf}2M;$&D5w0!IrL_s5hPa1%bQ zzyI_-nIn3=a^f;|0G+SEEBw+Z1s1aEKAGXurMdFnLOT}k7w|@@8rSJKbng?L8P{47 zwfRlL!`TRH!_dH4{;J(bi)02ZhJfCez^V+zu-3BtttQ?41-9K*;_6Qp3A8zagKjq_Gfe zzu5nEkaG0RxTy2d(g=x=zdr;+4-(ZlGZsUi^!2XCFh9@52#z}UBp2?Fz9Jx5gl%MRP{q^bn-nF zoy0Jf%daMWn8TjNQ)b>n!==I&`l-=y>PbK7cR#WjuN}AE*vs;ev$#2RKjv^Q2SQEQ z%c1jHX=AYl?#X-C<_Vi_KIkV4vf%SG2o}vT(@X)+!kzc7snpLw3>T&FqWh&DaO{K+pr2+NS6hrT*qe7ncAwc%zB3cgbgs zE}8@h!G)c3sPNs;_)pk(9Mrjj%w140^Hs5@|9Nw#_XE z6?Exo45ymP3=qx4dED>@Za_Z2dF~dP7zVma;v$xr{N=*ycyQqE^G?IFy=|0gMe*nl z^4Qx)&rpGo8-T{{di_`yGYTfc5~*KnV6AzGQ~Yu+3OaZe2VwIH?SD35s9 zKj-z8B|im^OPNz4dZs%Gu?exvb`1EisdX8JFFiU14WNk`5G`MZYF09~MYE@#5Gz+@Fi@N5|A- zUW#AsL0I2RNCK0@N|{Op+CMYSI(i@6(F-&?3EZ?pR90s<%?5y0esZ!pvh?Wn!C~YK z@w?>tV-k8MjIP18OVI>r{fL}A)D5sFWd?0rJGx(7+wyBg{;{X5pEsxmg2=i7?)y5@ zfk9-TU7yzOz=AKMX1>?ZLseARpa2Rba04*sT$!)LT@$97Un9*?vZ_-wN3HemueiX+ zXPGDv%dsp;)S))H&u|xte!{wDTE;wY+uMMQFsbT_ePBI@9QdxV8j|~Fb-ZZDtwfX* z-{HW~u_Qpdt|2;p*qP5=NOet;db@}nx_DUOUZEaWN8v~7fZ@D7 z2Z4q(vm|c-%}>=9T!cWA zVL!JOC*G`Q-vDjs{*joASS#s0QRBDGhaXGt6-jM6Rz23kUIo#%ui?n^n5jw^*Hu^7 zR@7?vYxraZ3)e`*vz2LS0jot^`Po%r5}nqG6fw}qioz3P&TO;Dmmz4Lmqg*8I`)5R zWd1*TAFCT_j(%bYHP%91*;*B{Kc#u+yi>;N;cG&OP(f%229mepkfk#Y>*tn1tNlpT z0PPr!wWl+t!l(sBqg(JeRK{;Q1Nmt5K=dGPk$Id?)cz!`s4A!8jOgG!E-d!`cV8ej zr_|186{a2Y+C%anvwOOQy|UU|%t0f?R^Qf4i?R_bcv$C+WERQpGUw#pa3`(uyflZn zUbmCs=D9T}&Z7Gr%q-KSp!1D^>XZzA{=$}*>+JKpw1c^JavGt>cVvfr``0#QcZ>h5 z()_QU4)}lc9x3m%$LB}RbK;%!xzFFsZ^O4^AwNs_tW@S*JLT?^{%E3D@SFa63y(EA z6fIO;%OtIedD6~89-s(=6_~M*n$^yglzqg#-!n5bh-i~mH`9K~T)pdoZutMv$N3j~ ImYdoC1=y*>ZU6uP literal 17185 zcmch81zc3?*7qJjy1PL_knT>A5-EdD0TGavZjf#e5Trx81f;t`N=j*lPG=|w7=~}W zdCooWx%d6vFZTQ%_8w-(v!2!ewf60|+ckjjk&>zs00IF32>AhS7XbwT6CE7`{SGDu z1_l-uCN?f99xe_JE)_8e0Vy3d13euzEiEGp4;v#B7c(s_yXbu`K7Jt~AqF;aX)ysQ z9zh|2UpE0^VPWCo;8Nn@Q3~9py({p)z1?;JM3|uaC{m~(CIE#9gh~Xu?E@H)^SlH4 z%Le>y1EHXz-9g8|#KOiwp3p!DpnysL0mu5aAjJv_aDq_pf)U46sn z#-`?$p5DIxfx)5Sk+0J;vvc#`zAvnUH#WDncXs#op(m$j=NCU=msh{&0s*LhB@6lY zuY~;zT|`K_P|(m&(J+3|1w!#a4pbtvJ9qifiRHC1%$-S?1cES0A0+10c4ILMK7o+E zaGAm;XAxRwh5jP#FO>cF2n+rnQT7kQ{z=yYfQt%3G7psqkOh8TvF8V3|KA!)W@Y*j z*yyU#rM5V$Fi6uaP^Au!1q3x`4u$Qs-9D}wniwYOj(twCd>mK6p)zJrjRw=+xS{FE z!LNK>_2lHIR_eA5@kkGWgmF5mGZjEkTCEL<@8iZ8a50iER+SR{3?H-hU`P|d-4Gi_ zvyQ_W^v@5JDEseBpEGT~gV|HLSM=qy&OG;8GlMs&PRjhvT3{k<_7))UtbPD}-d4Bk z{Z6!$2t_U(H+@{75JfO##$5s#pVGT_n+y^%U7}SjQr%{WT)|ze@ z6TqUeU0V5e7=gGOdBZvNB2|1{HP0>SKB<62W*A0-{4wXS?-PG^Q%_l4>d!grlxG{( zoSHO3V@!-sR52tya4i|MI16CnuH36V_UNj5b(otmBsViDv&w6v*uZf~eiXp|KNuXp zVW_6IF|(?T0OP38Yv5-;;Kh4*^l?Fc%`i)z`KgDi=N`-Z%g-goN5uO#*$X??^e=FE4CljTe-52hbOJC7ux9Vgos0>!`gRI|I?W=@Hxba9E@GCT zsI?drECi7;Ll~SH?B_V>44W9JT{KX$CW_XawqFv97N>b1EWhuQnY;*SVU%bqk^=v3 z=N0I(IKvdtu$L|PTvw7B*6_s51d)Hl-j?u0Rh zsW%TCx(#ex&L?}?X+h(A4n!c^dFysJ9%{i#BDyUvE@NvW#jL29lQhK!G_^xaLe_bS zY!OV?mJ9J=RrQ9iE^r(hnojSHAN5s%jLZWhfW24$fnA(|u(Y)sQ6+fAG^5(taFteY@YM-tzRAA_|Rd`sThvGI!@JhP@y9Fh)>Gj z#gZLfZ87W1GbPM`?<@ZGO{LE2;m=906-&d}i{tcfE`=f87$L@?|9+AGoB>w*CajZh z>_Qu7h1*32+~p4FX1_k{cTtjifiHkLQJahRh;!l=Sa*j@-2!>xw*X6(ENqzpQhy8V zKY&gkux^2C3E&L-FDKdD0yCi-IdGC&;Nnd{&-5)&iZdt+W4i?ocTp$Vt7UJ2(BfO* z2}N80MDrH-K6MM=k7!GhND zY`7PC`@HSiM-QVYvMf?QxKBzo_HJf}&_d(#TOR#Jck0fwT-6{KnLn@E;p95yi5=Dh zV36c9x0hXF+DXn`xp>%|{5?H7W9URK8iwA4tli%V@69AX_BsXyk~SfGk2 zChc2As+nb?^x>|N#9J6itzzZP67sZze~|1)GFPOzS9=rBx#LpCv-1vxhGP?q@P~8> zy9}<~0)cO?hmP|gn*>bOC|;K7`0}&`wNK}pHmVJPZ@0kPAKkaWnec7^j33E@sFH11 z$l5nTNm#iOV@vU{4^3v>9oqYBR8rZ2mYIOM>MelD7IF*hKAXG+AjSl@0Lc@DwNC6s zaZf4Xf`?mFIIM3UJ^GYl-gCyG!ra87g%$wGg2^Jn+L5QC^W6f_X8}DP$VpvMpUJ{0 zdvAe$?LXd9djfLZ-6(R>g&>;>RtcpXw4&xivk23|&T*2bD?u&HZ##AjmcjT&-P7|! zy;WH^>g4N%HWya~CWrBR)IlRZJ||mEm@a~8x^oi*r7;Tmatj#Wl+${LIsbHb#HlN{ zrt>_@C6Ghj#?J%nAL__;6&_k|?*DC+nYp{4|BqwUvV>X!ai`-(`3) zm155rBX+a-TE#-(4bUluA?rE!F&$FfwV?dr!V&k|@b-qs!pzbJ)qvF3MemCN&k1=s z(jC|Yk+({t2Ykmt1bH*b?jW-Du>>SD3 z+q8SpREWhkw92B;0l*2MeNmW8@JksNA*YBi26z%OAlPs#{Rr29D3v=*FT!%vAL_Cz z&h#wT1$yd>B#9ryxSa{l>6jF)S7PWl8OA<+IPF;c4D*w*L16_2%NjY_21}+-1~8M~ zb_l0{v{&{Rz0#GK2;adRX2~$g-Thk1xE_5hc1ONzu)~R;ZnKl5jg_zo&tgN8Y?)=h z21l|>B%AO)`!lkqUDm7-sCfW=qM{3e9*PJB)ASazB=23d_}%b6iCA2!k~cqLXg`Tv zy)TAF5;OlN?EEc@$p#N(iG*6|6wmyasLqexSo(!%(7+3lnlm(8iNis9$tg=%lod^I zHgG4o)U@ZIVbY*l*3YVtq9!epSM)~n0J@XBn;R{$3#Ai){;>`!*lVDae`Tagvft9O zi6{9esOselEZk1s5i0ju4n0E9#z)s%prL~a79T74uoki$ebzE-b$V)JjKvi9 zNX0n`!@~Gwt=2*XTZaURHfPKpZvYk*k4>OWmGXkryc(c_)7puQ7! zR?5<{^76xB1j~!>ON(7gl$%*yJ5oEsWAPzZO6g8NO~_}@bMVKtol-rl*1SlQVmV|U z2a=4W0&!x)Y*Xw=(K_*G^YqzKtK{teT(I*dmEYXG4_b@)MP3;%bratEwJ-!+m1yTo zmJ@j>%!_9t8S&0mWM?S#@jARYjbo@Vrg?#{>uhi3xz7QPw8pravo)Iz}Zn z7;_{W9}@$Ti^Z5tQ|?*Cy%qP0RSr5#gRc8T0FyZwb4NHFJVE`+1baI5)S&gGZMg?i zTWwg7eHgm{LM5i9GE7CbWn=FV0LH0@iL$QbyiOya&+|NGyHHJt?dvDuOm%rswF$64 z?^?Jn+j)Bne1d~2gtEn_d2{C-te$BS?GxX8!irnvexO-T=>fXC&_x)s{n`w`8#-r* zq!(%;_-LrSc0^~C($pEK>BDzt@G5m3)MI6c=B8ub|JtS#8-Cx)X+G`q6Fcv>5l;-4 zUn+R86fjfaomc{-gt==L^U`lgdfgn!`rB&9&`RjVnaxJ_mE_T!A5mq+>WCt^Z#|Ci#! z*qqZG;%j01D~3K11sPacg^5FXDKjyI@@v6j{Q#jR-fWvL`N^OVajxfPYzSv56&g`D znrlW<+sbJdb#Z7luW)tv{4HSZB{gh0$xKV-Co9VPLS8fWukU5syB>al@ljQw;?f58Y7+JZ?)UmpBuWrCrZ3)!cd>A4^?A& ze|T5P>aBQJ(o0$<+)~B_f2&;@r(&=piCs%$6hVkDwf}@4MjB6PxjLrjA+s6P^XFmo zN^}^H1G>^BH1RyuR3Jrddmnr6X7BZ-dAJT)W^X@sIT7DXa&h7l_##Io1RC4B1@Hpu zg@dYKt6GSa85s+@WVWk2AJ4UP#6E}*d=;f{BW?}bKg0ebt8isWJ(U%qaj6&7{qI~+ zVrn%=vCP;o-Z;jTj#SqUU@}K-^zTG=P#YQcml+wu;(HuU(uK(*3)`m$)KGb_PMMyg zrFAj0;`~FP>(amnCBPB(a&fruH3KQkf5KqeK*8osXz~~1ibCRw zLhmp%=fpv@xL2r8{wtY_;$-MUuziIy=Z%%`pI+)fA!TiCRo+bahfV=ZssJ&-W7|?0 z7hbev>z(z*ea?NaL*Fz%ep^)xz*l9&O*Zj&lv0QCfWh26;2*u&B+3zkB^By)$GHNO z?>{N0k=#d47Hj)qm=DIMJYgB1O8+yaGx2==&p+e;l?r7a+5)n-2D;!A2*nc@K>m_ z>}3WrS@iMw-}Y*5f%5uB6^bQ}pc{@OfK*%YFGE=hvamSn?9AoVO-zxbO39HQl%y&J zV2D?9-U5$dqb0Y%sE;gQF#3Zwqc17|r6yRWnPCOF4gnv1t!4tY+H(TAt$xO-zfhD7 z(vxQ}ivJN%ey;LoMjueNFt`4wKWJ@kbEl}n>pLz{#FUGwn0D7N3qr_LPk-OtMSpcc z-ox&mXs^_Zhp!2hoei?=q#2A!I+v~;SmpJ_!L`&>cR$Yrt=HVDwQ2>UyqB8;$+6iX~u=(m{XL>k6 zVzbJP$R6Cg9=en)5XTS~8`=!6SPuQia{hf;|Gp<1g$;JKn8t9OvR~6z;?LF1G8$<* z?5jSYG)qBCZj?UZb5cff!pR>Onst^@08{9P4%&gEEtisz2_Qc%ST7D32eEqYs-WVQ zuIP$x$fE1PM%7f#}8KHQb-8fGLKWDAtBlEVl8(ygXWI#~X-rVj(Yr-Pa@RH4%7LO>PtC{m(=3;{_K#kkvYPY(qcJ!9$F|`E-8aSHP83gn7yn+L68{_5UaJkw zNx^{C=Z9rw5hYP%&&&WmAeTS_GT%2^+V-e}9O@tUM%`BaJ*MB}Qb5acWcMHot%W$a zox08ABJ8uCFK@wtQw|SeR9i7j`{z4>I%imZPEWhbR|{8bv`w>N>Sp?Ms$8sJPzvW4 zxB}hJ-W=jF@FG=#BhJ1k(Jf&At!aVVII4IdA6r0GYzbhEH`*jU8;SG0+tQf20%qS1 zes-V5h26@H8I91BF^*pj?N5DiwJ6Nl!z=e7W3cx|!)x1KkV4|wH1U8TdDrvh8q}JE z!kuz56Jn%c`d18(b9L2lFT-u@W;5HkvO-g6qCTr6H&u)_6Y$o}fxTGR0OL0k#GEg4 z9$s1Hz@tAWZ+PO38VxmFk2Q$62E_#W>#{{L1u(#-d?_gqEYzkc9#s+=Q*Bk1!QxEu;l$97ksw2?QhegY4mWlm7DK8FIJ@DBkj6gURq~h3^>q_ryg!b9@T`ur27sI9Mt(9<Z>zGRQbp)#R<^T_bV#aT=)j>rm@V0hqUQBZr~9dK@Byn zopCGey=){BE>5dN2VBsd6DK+uX@e$pKfpe-L3pDrpj-JnkK0a;q~ziy&9y$U=wb)b ze)9W@?t%}{qz7UY{sGuALT`t-_Lwlw9XI$r;OzBq=`OtQ^vn_vqdY@tTLdfj{y>4r zs)x<>e7*W%+UdwKFlm&^k{r7UnxqeD-k1j%9%>uO_H?2SubE<2rhMtJI{%XMsu|eQ z9zuO}-i4aIBfRui(A6j)9xmurq5s|Xig7UFOy7UH*x~&^l4W%|$y!W#*+$8sC}1cZ zN(u^JXCT#s4fg6}^uJ9^OO8LQT$^buko*49;|gSxbw|{WO4u?2Iyj}O`zDCV9foXkpm=7Jt`6a6s`oL#2324${;*Bvqo{4%1sCzkM9& z+#D6N5wi(3Bty=N@Tha01zH>;#rYY_UVU-DacIh`i21E=(7YJYkp46mp9X&>p_~K( z;OV{5yF&4B#?ZeyfOBoM#07qzgTDvfgyA4ZRrQy6?(cEkANQye2-aJm4}987 zk9P~Cde7x;8<#_p3>M=>o^i=oS)5onNVv!y?2_$VdB7hdBoA~G;I(_yEYyBo{y3^! zVQ!ppWu#`wA=!PdCP9A%jyxH{g|a*bWh9~Pb+Gw9>NnIc3-@r{8{_La)z|^NZvYx4 zO8ZHNC&a%LJSGZe>tlc^!lm)6w{5F0;zjoEp44(JIyc4aa9?Vn&o2Lr>LB-=e^B2E zB^z(e-9PohILaI)8VU9w)}#qK2pJkwFj+K_$tHkS$N5?n9>@qbe)@X0d{0vZhsNt+ z%u#|DW8(1h;R*Rb@q6vTf!Ngn7LKKR^CA?9m#K}~QiAuuqRc3imM#KVdphj7_zdfn z=lva7e(Q8fn#hXRQu!;>SM>I^RE^0vJzHXnNlHt#!&Tt6RYN2o`!-<1F}z`D4)e%u zRP{}HGd*{%O2L}+@0+B_CKLFEvML!t91xvzrgsE2w?V6``VX{^*0f(;#BLR|V)DJ-d7oPHW4X0paztU^5AGPk z!IuzJ6aghaW$nU!tpf?+xKf8tToj+7OG=*rO3o59d@QQ&b72>x^;p}vVhf^CNd8bs zqSZ2eZ0x@=^eK&%;7OD7FmMhIBnZtpmAD1I&HEu?1KnKR95~l4kUozXX#H`M)Q<9p zPyqYBfT;b@xM0-iBwXI6`uno6AxrI`y&HG=Wfwt)$U>i4wt!eJp22U+Xs1Zj?%zBm zP#Wd8`5JQ03b#OH&cG_!iu%cLq0NQ2Uy}x^GP_{y>vOYSAO_c+E#nLuc~h)_VG~&N zE#Ne9!)A*FwtxFfcsnFP<|yJi4XYt5h&PJ0?#u3$=&<+==oB04} zW3KJv^!j0<@AFQPmaQ}IHiOr?(WPy#7I!?{?58$to&YpT{0DOMjRm&WdSCN8L`2<9 z98`jjrISj~0`*;-6UU|ZZ?vYu%7jXkKF`IL;6@ru^2IibF^V!Xqs1F^{zC-l1J+ho z;ZI=UUKBsL4GbyCEw^wJyBsEx&;c4{;u<0x;MnysIMe>_=rTv zn-B3xSF(ia-cYwb!LoYw#KAA5nbyp-K}gy>XzkZ;fw($BbtZjS&f}%BZaq~G$Djr$ zQFc8SueDUE5;bNLJ;VN6tN*ds)sv~eCd0q7HnN>x0{K-afN+1xcTS=@g4gkN(cX5C9{X!I z6YVfejJT9Z&mBXgnR4w~n5$@Hu+G3yK4Jad`TC2<-~hhAOF?41iJ&$NRn8FyMxZpc zrBCk3-K!Bd($DH*qBsJPduhg>4Q!t0;wSx!w)B{u=yovO0!xCofa*d!N*m$_f+dHx zeh;zL8S$pn-nYqf)!AXiI-PxuR>{5G#mDJah3a4GfSj=qht^Wt4rZu&(b2?*JF%;2 z4y|PFJeTMK09z=X>(^F}(}|FP6Luu~=dY1_;4^l<2Mx2x{CP~i!vN}(Z zDzBIwy}^#qmy#_}X8F?AYB2KfDbxK+HIdDO7_+sI`L0+ z`)W3lnW?dl1nC8^8%M;shn65(=I)|RhG_&>N|jKS?c9R(C((pZ!=y45&&ZLci-RKrYJ#{5 zH=jz`$930AMQ-k zGpwpN#Jse@WRs#tr-)N`fN}O_%!k|8m(<^A+=t6@VV^7*4_+UA5Fc~81u)h= zAjq~p7kQCJme|gd>{G<;KO1975@A`KM3;MO4_KhN6@UlICOy@KXe8gS&q^sc)2G{Y z+E6A24}HPc7%MC_!@4s+Lw&@>Wq&p%vCuOv%QH8}5=OeDF{6bNldS>Jy+VzKRhlFH z66Op&(^Q|uGst<@%nMd06IL`eD*KTKWa4H7Uq~o7Eh;9@Kgbg9x*N2I{Ag&6w0fNI zXs7Hm7AR~zfws4O_-pP0VlAy#^3`hL_wKN83Vg-LAIGB%Nd z_WmM8f6LTDD(Nc^BIXkRaA978HW92u<)q^W}^ zA|x1s?CC}8KfBGk<+``LFJK(Rse(2M5~XnXpV<$gw+l1{gmut&PS+nC1sJ_P=wM87 z5IkKpZ&T3Yw=xxF`bxtkxgbQ1hG!-f6xLgXqt%hlYA zA>Gc6q*uU!*@f?Jm@+eCc1kZ?c+TqcwMUS!@_6O?SWRJ!mS5QnvM8VUT$A!aV4QQx zFlz*TkdbWsnZ1(u>o(K%&1`i$mGvX;o{$oQ)Tb=CD#KlO(yH*CiXs?MoAT?oc%8@`s@~%a?#D3&-T^51vKiWgv6R!Iy+78FCOFKe@13e73NogDzL%WIX9fZ$AV*-&YcThG#0J$=o8ux&xgpq>9QfuLG1^<*nP2Sqe0hjMRw2clbX1RY-x!3WptFrN@pU%Do zbUTAbW?e+Tz?S6LY~w1vVPFerh>?O^yw)2UQ^8=p^>7QnpQ&=|F{!j60p7Ois$@8TLLHGKOS~{5fL+5#Ye`Fsy9U8ze3Q}*n|L%=@24$gvCjEwr!7{*w&m53#5+_P z=Qybuss-n!kT^NaF1jtU`1N>_J%66b_1UvX_@bAXl>AWCFZgek`|qY3bs zZzfH1nRzK(e@ZxUVqdvT)WOfBjjDe}H4tovG*;NNUJCx+cKu3K2smfol>Z3zE*gx0 zi`%nKggP*MnLT^evXK3g5I+#~Gc6bOQ=r9J?0+bB`CWvU`3ldo%)#%QOWy+FyhRvK zCo7X(yLM2=KWoFRFs6^!20;6yIwnD2Y36HBsoilF%3JviyiPH&u zB;IiV9*huHIPET0;@Z$}ezkg>lqE-{>J#5Nos6_NTJsrxt6O>d+u7g(g-f&Q170u0 zD`W)w%cXEeLmlIFRh!ZtKyC^%CZhC72hFhsx$cgmCG)KlTB)Liobt*o2BKw)BI_~C zIWNDy`Cxh^OJXa_9hO~ua6K$eV?oI#PSw2$d?^l=LIUoXI}2|11_#%geGBnp0VRA_ z{>L)t-v)pIbSE)@qjW7EEucsIBFj*x1u+d3DL6IV$Cb%xjSu?FAIKk+i4S0xfBR>L zryhb0GLQy7!nbGE4H;`pPO(}CJ5Nnsm?vK*$fJeSDgs_D#-7N?BqnX{6js-(mPmS0 zLh~fZDG0TAgms58F;%LWnZ~YS5~(N?r1_ttD-4XAA0Qree1EQB&sy+WB4#5ALwldo zrCF8)E)Lm=sv^GFUr|ja^6;; zFn_j6C|BZJBK*OX7FrgcsG~AO+=`DQvmz&DIgG*IKf$a>VsrnL{u7}p{B7-k6w#2#k-#7RC z==gwnU$irG~Ps(HjRv=CowtnqojF&_iG@BDeW zQC4ELUtMFJ=@TR_HlL|LC}}?4gz0_T zvd`{?_Kf6lGHStJJi;(2=`a|{g-s**mZb;M*FK0#sa9~930L72;_AAjTeIB5Tn;Qw z3U&DyOVO1!pD|V)0e37JEVCnzzgyoB_+n&;eB}L13D*XLU-NbQBTikLKQC1ZzxacO z{1&tjlO=-*T;YU(WzkgWbE+RAUSE`-819E~J$jrQXuADce22?L8Mh^y9NL}}$;$BTEs?bqzL8rIXL7s@Oew8L;6N> zB0@cH(gIFRg|sIdJl&4)C!Ph`t3~`I+dMSyZK=^ZXg4Lv{b0+cG4yiaVU43?dT^r3eCL^#fGS%cup_+f z&j#i0jDNj7DaF0ME2SFg+wAz`1!wUhp}RQorl1O05WW8R{8Hft8fp_%Hu9_!bJx}O zstxhH&6lH^moqyeq?MLoC`k@2PG;iaysu9coo>I*>D~%;xJ~UOi}Q!7IM!AzC#MHF zTxZN^PQK%&YA|jv0q$tQev3wRk*!2l<^yqVVITLT1t$F*zM4D9b}7stRml&`&W{dd z*KHQ}7+RsJA!RTZ#r5J;64zJbUe8qXF?`5&j$_QjT*QGNjKMU9o|Q*nBxQ1mgVdqV zwDf=@(i*L4|btsYb0Vgf?F{A;*B0-+8r#4+W;xmlc7`iB(HKW%7wKXM zr`R;fH*{(~ZRP1zCW(w;E7bXP5;cps^CQ$i_QEmb>;A(In!weYjGygOu*qg0WpoJ0~Q*BVG$)uFP>DXTv()Jb475m3I`ZDrd`v+e7^NYbFJ z^BOgjij5WLNWCvD6U`erG(ES7Y9?1h`WG#qE5ES038fsU>p zfqJj;k9|GAgIs?LDE+77rgq)+kBP2jMt0spKfUqW1utU*%%~jj0QEu zX|hQdk%D$COrf_x7!RHB5sEC~o^yWajF5bE$goj+tBC%$Lza7F@+>4Vc(Ej4%~0Xd z_}bpGLAw&p!Y6vGA&wG{2I+O?2X=6=6N+m53#6^A4*Y4Re3czH?IetgPSD;c2+3#g z_2SjG`M$pc6pfb+k%z6LxPp$hnQ>8n}ngFefqB- zQmo?MZL*HGgw0jXiDOYZCLH%%400oH4I^zY)@M zZ`eeBK$97x9qDYzcASQxj?W)V5QGV-u(=yoSv9pZJm^EeRE=E1SC-Qdz+gmOuc|IH zl7tlxdXE>QG7Z>sb=3sxop=)&`tG1Nf28t_qzgPNxHvjzWiNZ)I^5q;fykZQo zst`E{MyM3e0Z)A1g1khtTUJo&GgkMkPvTtYVqIdJR~dWksJ|Ni4P_&cxSW(v`9!74 zs=(gG@!XuwV9B=<1xX&`hcPbCP6RmHf-&vw!HtbkVrG#j%Cxp*+Hy#P0HDS^d#44` zoe$`YrDTUBTlOn^o-!10J3HDsoP5ccHw#*I#brX52|7ni5rW~>!d zlc&{|A50+mjO1YWO8_L^S8>YgtCXolc~56c)VyKc;@05zj8`3AEC8Sii0EZIn*aitFa5_^6&5-niY`J|UtbENF3B~B1h52x}X1;;S zwaoXDy-+5+`UHW(B#r4n5d4#JzP22F0P=-|#`T>WT-i%j=UZT4_g{OYcS*G{kY20j z2!@Q;6bKNiMgh>4xPUlWg1pAmXLE&FQ#f4O-@i}|F}!h*6YzGCJ7;Pqjsi}lb;0md ziPw#UFoOPIMGjEMr)wdp8U~?s`*uG9Fo}#bY4`qzMgqskOCHn5|zSE|n(wfn__^H2nr?d0!_c-6b;(q^U-^qf&KX4Xc#fnLDdNamK6?1hYA++x| z*f6%FQ23{pP(*i2-#ts?6fQ7$!@*I%obhcPjss5rI1zTf!6k8?trad5jt$HTO z!Jgkj!1ybm`?J9r4xNvB8BR|#`MAz*{=FO{BPHpHs&u5$m6`8%N~#Y7^n4#Qo8sjs zEv`*E-A?k^(d014wz`4>72Y-3Ws4UY!#oBh`y`lY{M+))%TQnJG`a2E15K z29v+xdkxPxWXd>R9bD3PP=`u!k@FH)t<=N^h~BK;a8A~)Ga%R0P%&!K;)VxdF?zHCOaQ6^Fl8u z(4xDW#caJv3j4s$Q$tWUx_KMSH(PVERY{(cv$uqll7heXss5v%VY4A8B7;2r6ODLh zgJV%w*h*idDF2X_o|AwaC6$9R`bXCoWKi#jlz~3A)EGm5(`t*dRK2y(?F>a^oL1MG z$q_Wnk{yh6a)!{*pAl6olfE>xpT1b0R0;F(lX56Ocb*n={BV=p$P&yc8s28O5gD^^ zzGy=&Sz|d37I(?H4+{J-s5^{HFaqlLSkQIrh-yr4_$r~N6dr&6hQr7{2kZcr>8|W@-An|_wo@6 zTO+nn4z~eHcbdrVp$Xf~0*FVnFHbRoD9g*?^=x{7EEpQ7hW2!5)G}CU-0R9)nC#td zkLCyKWjdJeD3KEV2z(Nu&sp7kbW*#+3#HJT%n*ZXuX`QMhp!PW{z9jT@w~$AkO_sk^|Uqy=%m(^gvcVkG@i+M`(n+nxL7GnXEUheGLO7^R6*%9TuIk&ma0(~Rt_LXXLw7uA=QJ09(#KZ&*Z$i6R zq{9?l|8WVQmHlxT09Q2k{M5Vtvv=sM)!tBX*6n`vmuQ@>t*oe&wZL83Sh=pF%govA zDYajZkPb7%vod&c7Hpas*K-SiJwjjW*f$=zaj7?sHb%a$9mk(zyia$UNi;2-ltbhe z>sA=wgP_P>SF?}X->Ri#L^oSAmmhFG{Yl?c<)H~ngzTu;S*G=Pr>2%%#_eCLKY3o4 z`D1BZMb^k7>Vk%I(OzkUW>NgBkIkf%%YaKoaUN+iry4k=o#HYcxt6@^+OB>(ykAAG ztDJ~ECHp(rwUHGAk+#osuSd2A#yq?4M)9v%IRR_|Qa9eq7)a3xTgNHZFMFhGwm#?62hr+(kC{P*^^|L=QUQLrZ3UdR18A#RN; zpQfED2bn2{8i~-COR?c2NlF%Um_LkJNdaB{0#BO9lfL?8uyD=nV{tbb2YZj|1Viy9 f3J2HB?9M*B;{1OLYyCg*wZH8&`5zw3-hTgIN0Mwe diff --git a/logic_diagram/ldor.dia b/logic_diagram/ldor.dia index 28a4fa373b80cb40e1f6211d3ac8b629ecc88ae0..8d461512207b6546409fe275865773325dd2bd2c 100644 GIT binary patch literal 1268 zcmV&5*5rC$_qebkC zD43exzW(u^n4fO0KKg=vP(MM!R))GFO0%=6xs-DKVLZOOy941aWin1cC^jJF<9}Hg zvavE6n>Sa6vG2fVl4WgWE0Z!2^Nr+2#8!N2&e`Heki?tFHw&xMZV`uZVr*GBHLq{; z!yK1x#uY!$_+GPs&lApmw7Z7tptOtYHBahpSL-+x%0%wg2PQ3kvd=x6(kfL(QE+qp zn{!=+R5m>MY6`R!M6Os8i0BYUjZIh#gawFYS!ysaB@}v&haSe{e7O1R!iBF3m%J{V zNN4LfkqHy>5ON;JA!kv6Dw7TGj*~7}s3`Vaw|eyAR!A8iiT{>`=_ws3njdG|xidFN zg#Y}+tyr{pxf8xz&h9l0SK)o9$@^BMVjl9Q=tU%7%>C|V+}H0;uHH|V_hduitu;OP zgkz4+PY=OH_&hyAv#L#tr)6n2J~rxgyHf|IXsRXa93o^po|NuCKc#7-yuqd77;GWM z_Tg-AOyc=>zK~^SzepDOEb)!^##eqX&AlSTG=x7j|Ay7ks`pQMQ$lz!T0-6yICEDA!t2Z4a?OfbM?WCM$OxEr3#M&St6Yc_4lo!15xyIL8+ zTB?X=re2$l$B}G8%G!-vwi4k^1;nD%G*Y?CIHD@d;?h5PxaCqT*glodk6_6~uxyNB zKmQ_FIZ!{$D(_C?UKgCI7(G+5Lf8*TrTQRR@#cHUqs^+oIu)f+YR;Pu+dQQDgm?uhO^^#b^;@B0d;w}SA8I1aYSc`^L69y`knH|zGh~fC z;3BPhl%u!+D#ED+8X`)K5CjNafE<0fdN&A?_C;C)2?ss8Ks|DL7f6mORz?(9j@|+( zhf$QX33jsz3A%)i5CX)p=-U^iZ-Xf5uaX*>IH=NFR;ADUr{Kw7BI0}61WRqgeYFXz z0!9%6Y1F06KU7OLCx4U#fzwe0=ltg^kNmv;G}+h=A;+v#ye?EZJd5~<9jzIi)2l_C zL_C>gw>@p=6g-Ha@qgz4hl)|N`ZR9X4N;xK8uP5%m&+6oE4%r6(`l1!D(QzT_JJTw;;cm#Vw^E z?Mq=BSR+;D>(t#0!U2v-_mct*d&7(IH&+27fLxanLLpK2hZ1V(t^g0IH#}dt#N9dY zMKnme03rKPfGleeph1A@yc^W#64eL2z^)u;L^`hqPu-G}VZf{g%KxSS4MotPL5=Ji ebm*7rP;s7r%i`v$@->W`tN#FG=wxB4IRF5_a9q3q literal 1141 zcmV-*1d96~iwFP!000021MON{kDE9Ye$TH!%-bq;xH&-6q-v#I?ZZmlOZPc4!9&~{ zh>Vj=`q1CLHqZ_b$OYbE=bP7)$$q~F^pGK*GC;`|WO(uwQHmzQ zXreDhnpSlXB97!(If^)EB-nDSB`C&oJwU6^5lgp8s25hH-72Li({_l?^@qp&(kG>x zNzKm*-y0O+fMN8x+qEGs-|ypkgIUvUyh$@6O!#4QWYXbBepYNst4tUr(c*$PoXu~X9;FpEdRd3q-PM?|wrCQuB2&$eqbH)13_owzlN z4ljEW^7Zmb(Q*~u4~o3+NJavR+oC54|6%SAKgNCY>E!DDeEUE)6y7?^L+D|M;q~Pq z+L91wXJ}Tp>F~5J%_iqoy=iyp!W2V|Vx2=!bik~1|Ngm5Yvltj6{oTaY48cJcsad) zI7&jqLhY6I5kGOg(st+?3FrC;qrN`P83}Jf`i>T8lYVEB10Wn*z;90aSTef&2SL+4 z6Ei?bL~#Ye1di*%83c~!!m$l}rynAh>u`qN4Vx~t&ijFyU88kC9i798bnDXYG~sPX za$I{vF`)+$5K1y#%lJX^LUfhIt-oWs!x5iMdxu#LO%wd>y=3U0V zJ~(v&I?<&X#xNjJ-lHVO?avY?+ql5G6s1*Ou1kkq9#S(Qoo%3)mKS)xILz!&Yg zX#v~21x5Pnu1M-zq*fZ!R!x`;EFIAr7*#v!UTZ<1tCm@q9pwrLXRBz z-vZGfIX%TFz+aYm)Kgetk)00ZvM=kNc&ut`Y=Pnlp2;FB`u+UrL-Pho?BDkStGK|n zQcziaZ6@cvzV=X~UnwPkZzinzBus0#oTe zRe(s0ndJa`EITcgtQ|U~OL!}{*~@A0wTRA9i;bO0w{tYpdc-D z6iKK7LUQBGoqOMzdGDQ>d%y4d<2(7Sjo)w2O}dD4l5rxX%F@6`3t>wiLUi$3&KOizHIwtnn^SIQsm+2Xqud-ej z6_>nuTUu6LQQy$m)ZEhA*4{rbI5Z3!86BIN{yZ}~_vP#SDtv8yV{>bJXBT;JcyxSn ziaI<0-vbHqWTE>hhCpZ7`Vk&d62(c`;%w?oMRFHBhUWBvH$dI9v}nZ;T8`>4JZJo z=X^zBB!6rC;2{o?$xc=W_Kz(=&2Won#Uy4MQ0DpKwD`mTvN(7Z7I37*U$lJ2?W*!s z)AjIe3#)t&KW$Qfn4ET8-25i#f@w|lBlYS{MdTytFwT}m#m#J?f;w zWcZs+EdP5!nawIE1!DBg(j}eXQ2g^_G+J({g|pqORhN)xVfa&I!T`4en~A3)N9b0N z(M-4BUXWD5{KNrWp1NSop6Z>I8ZMvRF=;QneN{AHSC-K(lY9k~3RoaY z6Arng!vg36b1aYmK|Bvq#sWq8Sl}gTD6&?uC`=X$d_+~2pbze&o>(shDm3R6@bv=KM=Y!%iQ&H?s4nNNsFEE*>-$JtTv=TyYbhn#OMpN_$!FFe0qxn+Z|YGU~vd&5Sv|y*AMVS0f)#6!%XVC=$7x;C+h} zRoORh`H~@3soE+#Fe8hpUJ#XeJqBP?3y7RF@wehZuIX#B4ld!%a3_=`jvbiC+}rKr zAmj|pF>1+Pb1QehtacR3mA^))b_64_=l{&lVDM2Gt%=eF*XdbE3|K=H5(EVInppMh zt9R=CB{J4H9a36BBkNSElF+4&*Z=f(<4;3|CSFC14<%;W+g_`MlPmQ$PG3!iifm>2 z^bv)DM%j}d4A~-k60pE3+l6>q$vhTtLS^fnJr+AwuwGIhSzzju8u>`cNoX%iy^@4d zm7lJ3p0l10x%N54xX<$FZX2OP7cR>^_6< zT#L7JAb4ia{9gECP-NRr8AgSA4ZqOrs!LNt66UR2?xd-)r#~4eegM8hv`(>Br@v_L ziIG64qPasK%`|4${+OV3TD~1qQ2hO(O;V;<3d$rox)L$g%N|V+LqUgeyD#OkRDGs8 zv_V#@G^ph~5K_7iUH=)s&bGb=O(kjYp#${p{X@fp=d<%Pw;-(tc4|ppnC_SOzj*qE z(9#68uF*%I!PbXBM{2kH$itCEsu57MZM zyx>Z_5cg4z2^y} z_X+_JJegrfCXEpeZ5^$iJTuer%+~C&_G~LpKA+E-DH71>{bRF1bqq1cQy^xR>O#36 z+>KJEm7kVvm9e!V9);FW5UQ`Re5;jcY7ONG(#?G>u+2f6UL2pi;8r`*$7AM`&%X(R zh}0S5$E<)1dh-~&rmPLf z1YXIKQr|R2bIMkJGLL+eqxoxGw1qZWa|QKfJeO|@x+=0Y7H!y=YFk4W9FWIfP)m%Y zJ6FlSxSO5NED-wD^yyPfV@NZ84_x8n4hIHx}RI zR!7$_m@O!~U!gJP)8&d!)dtp5)zOYuoPUquHqrj8YC#Sw-!GX5ANp#Y)XOXQiX6mB za+9G;!gH&7y=zkAfDH_XU#_g>imRyMA^LkURU9I>Fltxm%xKjsT2XeUvx9NJa-kdDff#w;N{YE|z*Y&XGCb*tM7V)Ij zmUA;qW{iIV7gc#t(G{3|4TKoW( zKTb@J^8H2rS7Y)gTMji?KsKSZcX+8IF@OX(BKcEi)~FYHSRfe-47z%S-n!H|G4$L) zO)M?H6UV%WKiZm2LK)>B%cHii02p!^4FnL-<4zG3H`n3chvh{&;=Q2x#ymzazBLkg zy9YHrdwe6%IE7W?(9aiZ`DnJ#6FR(YIul&N@5kZg@>7@sN)m_n_;A@(0_G92I{|;Z z7afaX`=0EdzZ+U#lBD}l{^T;+$J@f8R{rI$ks)t`3=!hBo0r*xv%+Vl zizm(EUq5;#i3$G9ZAcXTY-00=!HdIpWi-f_ zms^>^vmtRORzf|WgKl{{d6(#Hys9cq(f*)P@l9TQBNCF{F-f51vLc^=FS3j>(e3$k z%=faBz>V~pDkn{d&G90vu;#@oIBvhwdPTC<``Y2Ho11}V_QSIM1ysuxLKCgG$1GvU zmcizvw-)m|EIggPu$zPWf_tTrBfe1RBY^5rJX z<_o1FAE@wekPGM|+CgMTfnF9|{w|eBkmI{fTWg~DVDzV;XE|l-%p!&yc=*T&mrwi? znCn>JLpm0)wM@cHScU)LpG!bL`W+)zH|4D|d4$WhE`zKfa_J!vTk_NUCJF-Tscqcr zV1sy;%{2sXT#!@!8l0kK!!)<{GO{F%P2pg?j(yUhHsJ~3oir0CHWZbF`5kM-iZuPvN)kqBCqZ=K0&IIQFE%TCETgtV*>Dc z0na#GwE3f|X5#bFO^EqHPg7$hD;D6Dx1QgdvdkLxY-Mu*l@`<}VCe0;Q!XY5zt7jk za$6Y_y_FD;--_{#(f6&hl1B{FtwHmD!RQ|@7zM=8z}v0@RXDq#m~MN_Ghq*Z{>+v~ z?`7DdqWa6YBRs>W{M=z2EJ)v1VscibZO~Cik541Ou(@s6LdXLNTV~0RE(J9@gIItf zND5vV)z#jdI&GLRv-Y_PGTN%5-zpO}Kt%ruKp zFIZ(WT*yFw=k=e);zZ%IJstk7F6heF4Fhj;1u3YY|FZ;>2JwNlDJ6{;IzV(zp=~a3k{LMuc4E z{TdNog{X#w@6DSI?!#Y5sJ$ouP+=+zDhKK#0^K;8{xqUjw>=xx6whUghcmE9Z7UVV2sXq3Pb*p*ljcQ{ZJ^xHGW%mL{@&Ru9S?YTy1x|^T! zurMmi&2_Ue@TSTnJkVE8#?B5j7tfKN<1(z1X^8$bV=hpwkzJ8vPv0Yu)>56A7spqf zB*|A)zS~}%82jd%b3pC~pIM)sZZqqmq)l~6fI^*ia-%XGwk%{ZhfjX4H zP*+5qHw@Uiy@~kV4MkoT7#XOY>L0C z5)oAjY$#=TiTJ9a-m^6XlC1!e)nk8VK*)k2L(<}1WxE+H_FMVhZ{Dvj@xJ`NA#Z9c z0LT_UozVDF3qdJi0Uk=Y?`56E> z%k>dcI3XcXudr861O=jHQO?s*8uIlXnLuD* zhDf^h=AOVORa~RpQ^V^?4d#@NFtUJyuWRhXj-YW2gJ0}mK<2=n!az4|eM?-R!fm%> z%{dMWf(>6hC`7b*mfb^iwrjrAw>OlWs~z>E=-W6u7KlY_0k4AV=^Y)cm!)NOs&D>%F;vr=`m!zgPX_`!@Dvx;VdSS#-iDXTp8SuAJU;_;wE zPNz+{iE_-#xpn{c9rLjY17;4;khrJ~?ft=5BO9bXxsp{lbM^DntUED=-HrARU?`{H zPs#nHEt9Gs-_>B{4+q{IMqlI4)(3L7-XcV&TQr=TBuYiD`TK~FW=*Acd|lZ8vRzhj z5)hqHO#FKICuv!Fb7q9%E~SMXM`zNmkLJ~>D%60`OFIIx;RFo_6Q4n@-k+sT^Tv{ zQaEG!bbOl|mA^`N=Y4rY3Yy)hXQ>ttT7Z2e8&G2;fMU!m#3p#{rE5VIJD5$Syz`E%3%W)AZY_6fvs?|D4tMzD)i z;5~i$so8^{K2zr<@0v1*HS^{V#V!{r=VuSP&L0QJ(dk(_e2n%Fjx$GF%|T}bf8gL{ zl&acGEZ_hWy79UM9h3e!&-OPPB`aTXoh2n(*l8xm^*MoVh+|8)`2;4VMxAVxgY;@6 z-9_nU@EY)B+T+XmT!E?S!p>{&rs$jy%jzn1vg@t6Wd#JxvN?eCBthKoss!24Ro_>{u%tqR1$2BiCYU+x93;V! z$xr(5KQk&&bzgHn*|&WYB-b{*&-VDj=)Le=UR2D6-g(M#0kJ$q2oCeoxS70qGovzm zeEDPRJnn=9j$!t@+DW;Z=He|fQEsW>(3!5z*|q}caN{kvanCvZF>Lxvp>2!GA7HV5 z(J0lJU_~juq-~TL`y8gK{53{rQwg7jVu%iJ00kY)jMQsGSoN@duinvfOWeH2<4vl2 zho_gjaZ+Uha1X#!<5Vb z4PCR3EEN6%!h~|3Hhq^W!lQWYxwU761^K5IV4Zdj1jYBb2e{#g47^OZ77c_N<)Z(o z^q}9$yi;jOm^0zonYGid(Yt|^5w^HZ3vP3>Rg@RdoR85Qi(-zzl#Et*7m{; zlp$wk%|`N*e;jSH;YT{0fswM7b-JG@&@`F7PTWhSP30k;{zXStoL*CS1YGi8F(*c> zi;NndAJJMnW%%k>>`}^+`~X|nCFbORtkqL5IlV#qk{$lzquXgO2Yt^gP4O33-dVPW zHS#AFQHf4iHJM|mNF_skZK_@7gUc>5np-w(bu6wBudg5PYI!#rN{gM=&9T84>EG|M zT4uLj)^Q+0taXnQ0RuN_AMM0kxXi_zojWQTR?k5P!dM)`+HU9YOsB}6EiQvsC zT={wP9fzcaNQ_>%zUCv$2`$X9>~+q={ke?m=ZoC?yP5?SsN()5y1FSiLejD7rV(>t z&ogF{+7GLAv~7vzAnvqpvn^=eccl}atIO02ik+jf^Zvvvr;j+(!lYzS+F|_NJDumcYOcztV7IyOgeUGlh!MS{Y$oZ4mY93)Ec$ z#|-DfmPbVBjENZ`&k5~x(P(u+lSkby=yAt~LN6WcfZ^DQQCDep-Vg1@2JRP%J`-GHm-w+*t$3J0rY29J#>NF z`)(n5rRGNa`_)I|(wmqA9l_aI-q#NE+Mjhb*(kIDIsVs}3FLSZI?&~{Re8^TaQ9^2 z#@gFuzQdfuyjM)SF0rW0a=)V80WHL%(vo>gty;^1<+o}pjl%6675iY@D|DHU%k=$L zQk+Yl&K<8mc@MVtGmP){!2(mM($-PuM(}N4tLrl#y+dgDERXunPQ{g8b_L`(zQ)~4RWN}ufDMKxecHkdL%Vb#vh3$nO8;a$2&+2i8v z#5Iza1yGOleV>f8n$I_Jw^R`6Y4CJkjg>&T-nzVo1^j0}nfi2#AZ8ZZbvW7{lzr{Z z@J?uz+%U%v;c9-EA+@Srm|_=qk1R3vM(+U;w5(D;zS-fn2ECJ${>^|&%A&X%@e%)u zq}92s(Gm(q+jLDwbv#X?8{#=`d~DXd1d9}@{ovWA?xhBxE98GtmY9H%KE#=QAhX6e z^;$9hg<$=q+xlbUtYN<4ql#5OJXC~pR#+fR1EU&`2ugO{D1@)5H_ z7Cx1lY-o(EPKBSXMQoqd?fmi9v;?S`8?CNVuPSfJ0H>G#2!5(j32^lLyn{>ozhl;F zC6Ed@NJ#rV&5ys&;LL;?S^1rR%xT+?FUtGXN+Kl_CzZ0;16=Aia_8_1LxJzKb!e*P z%X5Bq72k^ykT@5zommV6vkNJafy$0FNm+wMwVU5HB)xBHdVV!pg0_hcDCSKI1K*!O zz+%LDh_*d;SnhHdbp|y^+~Uux+3H}U9Kk8OLM9mnu|T_Hr&wK)!Zmvd))zG*S0WE`hs@>h*e1aR zzfwc4cY)(v3#F%TiK&jv+SAkpXv2dCb}4ybB*U4jJyDOcHeA`2Wf-nrOEKY{Bm^jJ zhP(|8r9Cos*u{{oukRa_^K8#cqPih4{Oe@$yhs60l|nsSIwmRb0Py_i?ydGPDwEvp zmV8)Ns1z(B{+LqVG&OkQ_7^>aA2!p6kCx~CGLd4Jwv1f!m(S6l=7bk`9GvK)bjI>bbwVtCa=#V_0-`G$0SeD^PxE#lt#>|_8yA+JUO|xH9 zo+m0LQ%q`4dC6({o-4%f%WBmqwqHw-@e6W0Ja#E~XeMvacqexAfjLBYjrpWj0hPP5 zFcQMDd%pkNJL}l;;Vtg|vfq4WJKo;ol7tyVsBEq$X&jM5`dYe~=Qv#%&2od}eTk2< zi|kD?295n&o4Tx!>$r}pwF!OxNEP|p@91@mr)_4Ry6g$AmYCjhU2jP#<`go~FNu#3 zjofzLpu-zN^L&0g6GD#)fqN%d-W+cwB4T~$^IV7funAB8Y-cL26rqVxr-;S^?vQgm zo?oONPK=??tVKOhLuzNtyEWOeFBW=SFs0uZC^Xh5$t&heBxWbB*5CtuSnWYd444SH zsO%3~F$Ts6?^cZ8T#Pc;r1dCNe+pKRlqHZai|qUdY8!uSH_FAq-TzwgD*K&K(p{Z| z%^{GvW*D7+#@6~{!5_A6qzqDGc;ED_+%V$Er09q3nZs6e7e?_?Hf1RP&d(r6_t(4+ zb_>8CqQZm-rABwfbl6blgCTczq>mE@r+*&op(oSCzipjr#j;)TXP4ShWdBd)!$hGP zwbj4Gb~tA|SLM1H>7M1j8Jp#63u(7#TZ!!5na}{X`4!CO#Cj;5CPFKh`|O?DST}>* zIBA-LDJxatXRc`}aj!0MYEmjVPLsj*bAvEXl2WP; zKoMsA=I^zsUrg?JKNk2_js;r0x9PV+sp99|6EKkPm26&p45im{keN3YYLdC$t;F*g z^CH*}06Cg}B|rRCTmB?eIc^}kpj$}tiL}lAM)3t-S6I$n^M=Uj5YJ_%wQ9ftjSB;* z%7vi|Fw9H!d)|30(~mxN@|QUIlC$dA+mm-DF!N|~5pdgq;**r_0nWdNjlY(SwSNhE zxL`c_*zH=rdzR-0epd4uq{~8b1+Q-hrm_8J6+7C<-3AMAoyN(k7QqxB6-Nre`GL5dL`Bj9VUpbRB+3k}BEsnV3y@6wu6&Vq3=xD}Q}7_J=&@ z?_z62H>_X=}1SanfR6 zEO$cqvtdHfmgIs-u;=e+$A49vBUE^f7Jh^3P|jAHSvhoF-!Sv@%X#`#?v)+Jj!KF1 z5DQQqU+ST8j`+Q%7X_(?QJ20t9t2vCS-W~c_obZj!9~5Y~9~F z&CW7-p7}J_aSOeL`xJ%I*&TQQ-;Mv(nf+aRP&V>bq(G3eCt)dDs;SGY$P=L2Z# zg0D0j=Td4SDRNF&x}q4HtJCW3K29mIzC1SWleCEt?JFQB;UC|_5hjd5G7A(ryhzpP z!sj$H>fB19k1A7#C?>Dz5?-;B;HwNP$xG|clSORB?+t9v$9rkhKFvrCN`v)p@%eKy zfIP;w!nA;=FaO}VgulrTkBNMlv8J}=c>)Vkc?Kp)j?)6lE?o=-=i{FFS|K<5QS_iQ;kawe1bD`4d z=54h_D>;ombas?Ie`G6}Fdje<-n*07G^?k`;qHJ_{22Q@>AMbOZAz3IiLYLMEO(p*eXtK z5()mIm^QioP*}G?^gKHB${6gbR9`8QPgimUbbg~anJ z+k?7}y~nN%Icpq_mWwhDYz}1w6#a1%)3+BP=7*v6-sZo=A`XYIf;5&{A4MB;9Kf}O z)g=EOdEadzOQT)gcv@PKf(c|uDRpQnhR5!KhY~?Ok?g}T3BDSN(D)E=BHUav_`c@% zp(kuOC82(7dNc<=K6-vA3D^QdbDrP?*8W~3LopWMq>Pnb$5@~5@0mfTk@+1B{;rp- zk~^?!oO34KJq^zzFv5mU3W?yvpv9osm`>Q?NM68Nq7qSG@^bnk5mAY_6(!MJ-MS=QK9ljp0x(<=N{Q09 zrc~Ir!UCfUNf;^f3Hdha5=_g)30_YMk# z9tDyc_c`~Tea_uy-+k|o@7MS8EE1lqhpf5Qnq$s6#zf7aRsa%Zc_n!O1OfmM`UgPG z0}lWkY-|WN77hdg!NtYFBOoUvz{e+`xj{xu&Opn=$UsX^&&M_%_eo zdxC<3OdO(;BK#7(0)qU%{s{;d7ncB^fSQnyn*S#KP5%G&gK7gvaX>hr1u*CqfI$iZ zlY&rP026whSfJk?;O`Fz1B{7<4Z*?1!$(i3CIK)&U@!(I7z+y%6Fu7t{W*Y1ign}W zJsE5=4O7T1dvbo?m`ofN*@|`w%`b3Pf#(i>xOkLQ)HJkg>>Ql8xdeso3yX+~J$NW5 zub`-;{6tGzNB60ozS#@&mlm%qUpqQEySTc!zx59Y3JF$Lq}&;eJcznO*p{Wrt@#V%5`T^N{{U`)s_yFeJO=m93h#JYJ8`-Y4L#MGYb7QZhJxok{k zMLRBwfF_*cxx*JcN>;&DwxeIB{bt!;GtBS*WZ8ci_7A(}00J-weRyC}0190EIOuGl?jpGOt zOs9RFoIU$orC3s?wwuTOM_8F%-6{RL2y+;4F2*g;IX5YF3x1GZVo><>kXcWbEH)=n z7cR;aXgT(OJ0=AQ_}u)Uy*-az`wgmCC2FoL-&iFH03uofMW|gdp@0X*!6?9=8iptW zb~wvmNU~N43K*NtL;)*3Oh~S%KbTdpl15kTR(5AI@)eu(Q9m8Ft|mVYiyzLm5F0?Q zA@{!;Zc$-p-_(h`zszZ0Uxs`iN&Yl=Z;;(yHjiE>QW)z^1Qlz zfq_tU)jef~9NzmIpcxD`SeLG<$I3NWbDF5qBd^!qbE@ZSn*2+hkZrCf;_6Q(bzUaH z8{74z@){x%gZIaG=^Vrx`$&EUzGP;~So7iW6dSh@ga$V-rn&_3-m1ZVXj3qxLLs&8 z0>#_i`2*mdIYrAHFa(n+Mon$XFbJUiDcosNHIkekc}9#-sy6kfRr^p?J%D8% z$yDc{z@ugHIyJ*j5z7^kZNG+7mIa3d^HtAg4ZNFuZ=mO2#niGv`ApA|kvt}rNc28* zmHcR=cBFM3_Q_xv+0ZLfP5P#H@%Vs=pCG!#LHzS+xpbC~h=>$10=iFX{8}gR?MOx> z!=bZyKYQ$R;=!gDEC66g(E~t)>QMj=hd&C~(HcVma3f+AKxTwR4jM%P9k?qf;3tJ3 z^or^M3h4Us#}nH};jnfT@G9X%wW{$;HN;`pBhOfgAUf9D+MkV_M0thxt|D~-3i!3) z&=KEtSnYf#GOyRT`o`ht(g`ow4f-2Hcg4AWTd>5U6z77QH}}&f*y`Xuo~2#hIR(}I z7yBHCnQTwv-zWqzKZ}c0$auOuyXRuR^wg-`)r#Fk71QtGn;S&bc6KsMflte!Q{J@K z$*x}|a0_4^0>$)6H!z2Dr$~xQqOaTi+@9sreb{I910*rRR!?o2n%;J}d32vM%`{95 zFjq(0SgA_yV^;B#`o=2s^|CmWsoa3rOJk91{KcW=I7(RBR7-WEmw@!9J8O(z5ho36 zTpQq+48(?QobiP&;f$9~c|?)zmW8hZ)gKJ++o^Liu0a^=Bh#`zqxZ-jp>ufgmUge< zY;3dCX;@4*hO9AqResD)?98+qc#B1`jXt9)6tE|IG>XJU0heOXRf`4n%VH?t)_;(` z8E7N8N?<;U$0*x%Yn$e|2>lo&L&F$`0`S$5IeheJr%y)#mDxzj^lL?9Q54V)MFAGl zjJ|U2DBy}0hCPq`rc>WC&X;&?9&sHoC}^DGS4<>N{VWZq^c_1c+xp+7e`)u%P zB9lp@FKZf0x-KGk4Sy78=eXZ&b)JLNO26b0zS<1tT!*~8o!yV!J{BgPG~ZlH9Wlm4 z+dRvJFY|iyd3{-GVbCPjjaYZqSO--=cT7Sw$IU>+NLa2Sa(qnGD@=vbY_jqmTa-+! zIzZ&3llza5i1}~NtBX+#?kmE`HP$Z~lu3mGD3sP)e{iI+p@2`?)5x&bC*=W10G`(f z?^SM@JQX)csc%|k9U}O2)M%ek@Z#m20^cC8Md=+b9{ffwgu{y7C<#^Mv z;@ep28qo@vkpa^Xv$EIegwB1Z>J-bPXkXb?oDiB%T!4%AAKN@dia4HK)|37WeDc+) zn88t{ZbC@>)xnzsvKJLld8Q!}I~jUE5cMq|UJYZ5)&4VBa2j(ZJhFl(afzYXk@8*9 zK${?;pIk}TiUk-qvI)3%+`Ic8(2yhl_rnkx>V5l_KEt}D4!%@mL2f$^< z9wZy#9^=d)M*DZbrO}wTIu%0d=Mwp9^&QT4gVx2!&lceApu2b5?%oN%cw)rvyUs-9 zmP=7(^n84Ofa+NLe4vQV@(!Kpqy>GnSd@lA{2(HD^)RSO#f|UqjYO%cXw>7Xn2b~= zfcrpGn1A1>vDS=1Yz(3y=bkzVyCFfoFZuBcVo)yP-nnI4&`(xvPt(cgPkfS|(|kD9 zh_%Xq_jcJ5xfQK`FSU75^_9g%NpSx3*oO3djr_P>7ba^U2e?e^F+}h8iL0SWm#VF1 z&F9bX1K&*)U~4tXR$bf_LG33bYo21aqoLSCyG>$`Sq7Uq4z$`p#esHHF*tb=jSQ=G@FWX-xv0 zM4TdS5pyj`>7^vbkLo%uMnX2wH5hjHKd|Fhz6OE*Gb$WIgVOMibSmH%s!bD3Uaq-% zDq8`SVMBMLZq$ibuN=!riceR$C90}ZkssPTIdnqP^* z7qQ?e zIBSe>H91BBwN+G+bGzg6(du-}_f+f7cr&&+L@}f5+xEGKknFv}K|-l?Yiu84fNgI`$W^x; zA~kByf%d>rLN{#FlF>C7jf!QlTbM4RTGt(0Q`#DhXF4>P^bB1um>h-{Hvuz*M@Iuy zAkT1FaGs1go!7BXVjN~n{fJ&g-8$>K2))j~oc|x@?1m^HRDvqgEq^dkqiWuZh_Ly( zk-F@eX=*Mj{Z;Nez@dH{y8(|AJd6UWJ)gkOVSGkph~UmUyfbHt@2eLBxRQoDxR6Kk zqS20>WP@DO?zyjP#I_P`3wIOmEzB;kBXZTkp&ytxNZc_=?Boo~#V4Bxy;fUE_(CPX z6uFHJn3GOAQmV~+oZ>Feo{M^befS;hPlAC{W$tu%ez;RBwcdh?>2|xl)$O3YfqjYk z{e>HMcjLlW*3-J2F^T+sJ1G%p*!0CRJVIu5k-o=Son(PfjM;$g*0V>SDdxH|G=i8t zGf&d6Jyh`Nyad#0K2=5yR#%7K3=}4-CI_-P;(Q?bD;p6_GDlOCdO03Y0?U*nEv}G* z1OEFp@>_&N#Pk^1(GJ8}e_EFPwzt}c->uIi#kM+*q5M;O96>J@u(o z2en__Zf!v$+-n%oH|%>wZf{q1$9-n_ZumTp=KXpT@8fNjE!>aC_Di~{y>xD{^^&0p z#RPAT31O~JIya2wSF8;Q2Po;&+}NU6SBM{GV1#kUA6`Z0#qZ8qy14fXk7&m!>k{S1d0AxYvwi2?8E0QF!}CK+ zue7uA5iIw_>LZ_i*ft|zZ0^C?$`Uf;7_2-IE=~NJt3J1=%q_n*QCnCqN3N5PqakOG zh%%{w*9IR7l`7>>CKS+IRWA%F;T1s&pF>3GkEOSK_^)i&QlbcVr^a@5pmSme*?hC7 zm&|Rpo;QqwWRAxODj4|rwHP{D{Uk`ynfmsev$g)WOZBd~s9{*a-JjkEQrI&+Ko7Q^ z2*6be1-+u0FkW<<@8Wi4tS@3wp!m4olWy7SAPuyQU{tVz(=zU_p&jCHNu8EZv#Ovf z353|@(}Fu9~XY&};##rtnO*Wh&d*&SguD*c!5=W>dfPwtGH(*5u};7-FQ5?Pn3 z-X`&URBanl+jFzTklQjwfhe-(*gb1QasGXmn+}-9tmoeFTdC%Jlf4GlS*L4#qdT*` zN%jP<4>wQhbzSk)FY3G9_pSsh(tGrS(s^ioCWw;gx;>98>+AXNpD)c4%(OFacxd$x zEbSp%$@ID65)WUDA1fiPy)CkLru752;t6{S^CP78kBw&@u^soQfu7w}yZ6zx_^iva zmH1HbT8uh4T&SkO*Pg5-L-yW<0BIjHfw`l<{}?^K$qZ7k`ubFgtGXrTt-+$@H*(wg zga>tII`#eQ1M9A1 z_dDs?Xkcx=T{O8ArWm@3sN=Oz);YAWZ8h@_D>N(Gol8$T$G{tBa%YC4Jz{qKcjD1i zAvp@zQbqw4WxeQ%u3S1#Q8&%=1qz6foj|rupa8jk<6vX=qd24-zWPrTpngroW*UYh zh|)#h*O&+<4QJx8bDf$;N3R-+2E#e#OrK7;zDez=lA_&tveQCm$@?N=t2u6;I<%9k z5Fk>3Oh@VO9hB@Je$TCH2sQV6!MW4vM`-7b(U2lLb;gIitoU@kBDp^Wku4Do#UO$% zofcGO>+srKH><^K#=jwaYMMDPp{9J%q-!%}Yb0fn`9+Rm((R_PNr9NB93sPsN|D!7 zXtlJKs$ih3ma2sM)(tvwEy}(gVU}WWjL~+eP@SjfYN?7|`rvH~o8tg?%;)mpP1WAa zmmQJBtaesRt0STJBUZk-^Lcg_y|$T4$QqY7Gqb->^EcLDW^W{mkpm2ID3oZZ^8_9hRH$bOcPZ7flrE2F6RK>BX^kfNyh?zkc*w- z>5q_~h2_%I&ME4|JFdyqr(p@_6*Saw;p#Y-&2#@3k zO?i(t7>EwNDpJlsGovChCQk6D z?x*NT#`)(XI}OLCbhEZDOf(}NPl-N^#z?UplM#m{TwB}u{Hz;^I{G3ggqU!K`5;s zkduq@RmJ1jN2KoVm)zPTI=aoO={^`>*!S$dlC_GDT&U zc!#!an{ZdX9t@sTsc6rBbO$;=u9tNPOtdN&q5!-@g<2F4tvywkV}kvg&P=(J?D&;9yk;N_>+1wZ5ChJz$LmMr#>y3O% zhL-yGbAmTXW)>uP^Dnz|*6Ga{+!@a_QGmf$bHzAg1dQig%Hq~-vu1Pad`x-B>c?;k zxMVkZD#y4w90jl_u3P52YeZa@y+G>3w}NATMX!dH;m zHua6mfSV4|lxL0yuia%0W2{UnM0!;6?N?ib?woaNf9{_CNIYmWqoT!J-u94WRWEj-I1b+v;?NAL+%`y`rMA+Pvm3aWR4~Y zc;5ExnT0@tbp53?u%7yHpg>TZ{N?MHaC zk8T}yUWAp*Thu9OD$t1V6kzy=+d&1U(yOf8KAQyuln?5NxiZb-$^uui2 z2ACFG{j*XhHZ3zJ*B?elt!bM^6F(-Fs_OS0&FT%tbWv6s(HUFyWka8P2aBX6z} z+dVetsU<<;tBh;F;wH9S$aT@|6TUzP(bHa;!lu!wZ+_?UDdRYr737B={9bf<9aQFwRmU>HkE!zwnBYR+`sYvNJtr)T#K%c)s73MPB+@S*{Wd zrUhhdngbs8bM0g`EuP|gQcJ}NPuVSVJUDe~yqPogTswxH{9CeVp#|OaD;^Y(G>zbzR^~+kD9-HOU=WL+;#xBXx{P0g zT&XmftlWWJTf`OBq-;2i&Sl?jb-fgK40lY+YR34jETiGk7{%`tv|`n~t*bzz1M$O= zlzTC_%0#4!-!(`1kz%s&_M5O7sQ^Icf_`e4g7@}8#O8GFQB0cwTsMchk-<^U|`mOwxCBkw#wvZ%AX>A<6qi38ncc z;PtNK%yrq`*rUcr=do|%v0;IYZ@q;Wd(s~|ON>%~&DChtg^g@Seq$mruSTR~l;vj) zQdXK<+uNMmEy(Zk#C|^>=u-r#O+|2Z* zycw2gs4Yiq1q9hWkf(zC&=0lYX&TWSaG#KOa&4#%8_ZV;e4#ux3uX zFUuDEYR^cz2ipO_a*PJeX*@+zA4w&y?GrJWD5ekB#s%rDuGxR3cQK9m;fIS!R`KT{ z(LKFumiMMnlfX*r-m1NLPVJ2H!6)9^EwP z?I=1vuHOj}uV}vtWd#&F5w2OUb*6M%ZcSgc?(e&=*Ec+j$R?35zcxUs{F}lR z2V#tB?x8CxrzJ9kf0-NQ{*)wdq* zZ=CeoK{8sbi3t5-C==yp8nAEsjzCi1 zWWxuD^B3F0!IPXN&ET%L3SmywlT`*g2mAQ%mof@<7#?r~TBjn+b}~D1um6~((K<8I z>3uMMAS9`_C2l3|w9HffMd5_?BLHEI##Smq*BBwEQTUeDg;u&>=JX-B&A!iv-ePHE zR_xh;O^SH3$*K3UVLXRKXo#QiQIYIa-fWuQZfu`3Ou^FVqpj(55%yELwZD0cY~ zaTldG@6@f>-p(2|^Dj{<=5@m6gTz`qO0)mcS?SAf>y>#zwSfeE|ikF}2?YTJUEzilIm0jUZiRTaBkjQJn z?WCcB==k2Wh@>(^%fp49pfz!{JnYah@bZ^D3_cJ+%fp8K3Cu4*kyud(ypcs9Cr1!ER{OdDF{1dnl+5fO(o5??;lc^kjD6j2}^;BiN7MDayH z-0`6ZXNDggTZJEPw+*br^_K=tdkVdx?nD9Ik0CO0j_7176#+#CHKVn1?7Jx7Nb8TL z**RW4gTv<7Dkp3X&QfLQv-B(z98_7mm{LsJUEj`L`WBE>b0xN8p zE(7jHVr{|QU|fgc2uF+eBR?(MWMU&&cYIVplgBT8k8 zcS*q2N(5b05hn0+YHE*o|2(;9pn6%HMssxCQc(~=ru!*f_K4(!_}qF*{X>}IGWiGm zTOS$I7oUT`_Q3bQ8VI$kpXmDi6%^^+VsE?y(eI?5Jk>Df2XFqv4 z)4$a9K_kJpB0q8V@Q5Sij7BJ(T(Y6#f**_2AkyIz^JDU7D<5B6_2M`C0;6LRY{lP} z*i5M0wy4JsX8XpgoTHT}{I(A(=q2)j?OI5|QOO+RZ^8CgDP;U6I*!Gr>2^MX-;-wq6s4E^u3&>cV4)@!x3VIt2$F%;-uQ)o!H z0Ym^8%@O>?eh4!}Fj`It``%qvpC{u%d)=`T9K}jj-9zJ8Wr1lyErFI(K%2+*Lj$X<8=O$gPO>b~TPoVyB^-&-VIj1ygM8xVSg`s48=}g>rF9JE8O3(a!d?pR_urc#6Ro?lhLf|*DDJyLAEInk2XiPXlp-boXEoDysoeG-vsoFnfLT>KN%~0EE`MhBEQubLDu<}FZj+? z1f5D%g=|QqX$ZF>xv6WdE(=Ej>#>)WrjNj>HL(i({9^*GTmYp`vHxfCo;85(!`aI= z8namY{?gyY4vhbar21ccP6RW63kNnSY}b@#%q*x%E%UDr;0jpxK;PEcw}Jg9BIAGc zGZodM-66)Kn~~*<*}JXkNXB7Gg$zhq^Qh5{^U#hr# zvv%^d-I_MCu~XKSk{S#NCtJXSR(W&nrnfYWd5V_GFEiIp@Uhm!s2gqO(J6}m zCq%;_3c$7Pg8pP@`eA~ml<=UdcMxb_dx#Dq+~;VYMEfzU!{CS*85)e#-AAu23ZdeC z69s%h$CH8URs_1uj>!s9;f0K|&P6;?2}JIvUUy9lGm40(@kMWhhdW_{`vhSf;zwMU z*X-N9E@FnG7bV{X1JbCE+UAZ^x0zpTXR;EZZyW$!)p#`xYn&D;C;c{+9bY|prr`GF zQUtf^0L)S@FQKcE?e?S-$vEQ_LD@4P7xG~H0Y)edwunW~)(&pJC<{k2X9i)|?;GL% J{vL{&{ST&%7Fz%S diff --git a/logic_diagram/logic_diagram.tex b/logic_diagram/logic_diagram.tex index 9ff8361..ba985c8 100644 --- a/logic_diagram/logic_diagram.tex +++ b/logic_diagram/logic_diagram.tex @@ -127,7 +127,8 @@ All features may be labelled, and the labels must be unique within a diagram, ho %Regions defined by contours are used to represent given conjunctive logical conditions. -Test~cases are marked by asterisks. These are used as a visual `anchor' +Test~cases are marked by asterisks. The asterisk is used rather than a point, because is analogous to the constraint +diagram universal qualifier~\cite{uconstraintd}. These are used as a visual `anchor' to mark a logical condition, the logical condition being defined by the contours that enclose the region on which the test~case has been placed. The contours that enclose represent conjunction. @@ -136,7 +137,7 @@ test~cases. With these three visual syntax elements, we have the basic building blocks for all logic equations possible. \begin{description} -\item Test cases - Points (asterisks) on the plane indicating a logical condition. +\item Test cases - (asterisks) on the plane indicating a logical condition. \item Conjunction - Overlapping contours \item Exclusive Disjunction - Joining of named test~cases. %\item Negation - Countours negatively named @@ -266,7 +267,7 @@ associating a test-point with a set of contours in the plane. This corresponds t Pairs of test cases may be joined by joining lines. The operator $\stackrel{join}{\leftrightarrow}$ is used to -show that two points are joined by a line in the concrete diagram. +show that two test~cases are joined by a line in the concrete diagram. { \definition{ @@ -280,7 +281,7 @@ associating a joining line with a pair of test cases. The Join t1,t2 is defined } %In English: -Test points on the concrete diagram pair-wise connected by a `joining line' +Test~cases on the concrete diagram pair-wise connected by a `joining line' The graph formed by test~cases connected by joining lines is called an $SMG$. %A collection of test cases connected by joining lines, is an Symptom Merged Group, $SMG$ @@ -387,7 +388,7 @@ $$\mathcal{G}(fmg) = \bigoplus_{t \in fmg} (\; \mathcal{F}_{t} (t) \;) \; .$$ The semantics of the diagram is the set of logic terms representing all its SMGs, along with unused zones (i.e. zones that are not inhabited by SMGs). -Thus the abstract representation of the diagram, becomes a list of logic terms +Thus the interpretation of the diagram, is a list of logic terms % and unused available zones . @@ -433,6 +434,9 @@ we can derive a new diagram from the $SMG$s. Each $SMG$ represents a failure mode of the functional group, therefore in the higher level diagram each $SMG$ is represented by a contour. + +\input{fmmdstereoexample} + { \definition{ \label{SMGderivation} @@ -477,9 +481,9 @@ validation and consistency checks applied. PLD diagrams are read by first looking at the test case asterisks. The test case asterisk will be enclosed by one or more contours. These contours are collated and used to form the logical conjunction -equation for the test case. -These test case points thus represent the conjunctive aspects -of an equation defined in a PLD. Where these test cases are joined by lines; +term for the test case. +These test~cases thus represent the conjunctive aspects +of an term defined in a PLD. Where these test cases are joined by lines; these represent disjunction of the conjunctive aspects defined by the test cases. Joining lines thus represent exclusive disjunction in a PLD. @@ -511,14 +515,14 @@ Joining lines thus represent exclusive disjunction in a PLD. \end{figure} -In the diagram \ref{fig:ld_and} the area of intersection between the contours $a$ and $b$ +In the diagram \ref{fig:ld_and} the area of intersection between the contours $a$ and $c$ represents the conjunction of those conditions. The point $P$ represents the logic equation -$$ P = (a \wedge b) $$ +$$ P = (a \wedge c) $$ There are no joining lines % and so this diagram represents one equation only, $ P = (a \wedge b) $. and this diagram represents an $SMG$ with one element. %, $ (a \wedge b) $ \paragraph{How this would be interpreted in failure analysis} -In failure analysis, this could be considered to be a functional~group with two failure states $a$ and $b$. +In failure analysis, this could be considered to be a functional~group with two failure states $a$ and $c$. The proposition $P$ considers the scenario where both failure~modes are active. For base component level analysis, this would be considering two base component failures @@ -541,35 +545,15 @@ sub-system failures, for instance two fuel shutdown safety valves failing to clo \label{fig:ld_or} \end{figure} -% \begin{figure}[h] -% \centering -% \includegraphics[width=250pt]{logic_diagram/ldor.jpg} -% % ldor.jpg: 476x264 pixel, 72dpi, 16.79x9.31 cm, bb=0 0 476 264 -% \label{fig:ld_or} -% \caption{Logical XOR example PLD diagram} -% \end{figure} - -% \begin{figure}[h+] -% %\centering -% %\input{ldor.tex} -% \begin{center} -% \includegraphics[width=200pt,bb=0 0 450 404]{logic_diagram/ldor.jpg} -% % resistor_pld.eps: 0x0 pixel, 300dpi, 0.00x0.00 cm, bb=0 0 450 404 -% \end{center} -% %\includegraphics[scale=0.60]{ldor.eps} -% \caption{Logical OR} -% \label{fig:ld_or} -% \end{figure} % OR - The diagram \ref{fig:ld_or} is converted to propositional logic by first looking at the test cases, and the zones they are placed in. -$$ P = (a) $$ -$$ Q = (b) $$ +$$ S = (a) $$ +$$ U = (b) $$ The two test cases are joined by a the line named $R$. We thus apply exclusive disjunction to the test cases: -$$ R = P \oplus Q \; . $$ +$$ R = S \oplus U \; . $$ substituting the test cases for their propositional logic equations gives \begin{equation} R = ((a) \oplus (b)) \; . @@ -580,6 +564,7 @@ substituting the test cases for their propositional logic equations gives Equation \ref{eqn:l_or} would be interpreted to mean that either failure mode a or b occurring, would have the same failure symptom for the circuit/functional~group under analysis. If $a \wedge b$ occurred this could have a completely different failure mode symptom. +The SMG $R$, says if either failure modes $a$ or $b$ occur singly, they have the same failure symptom. @@ -595,9 +580,9 @@ under analysis. If $a \wedge b$ occurred this could have a completely different %two unnamed test cases. Diagram \ref{fig:ld_meq2} -shows three test~cases, Q, R and P. +shows three test~cases, U, R and P. -Z and W were labelled but this was not necessary for determination of the final expression +S and T were labelled, but this was not necessary for determination of the final expression of $ R = b \oplus c $. %The intended use of these diagrams, is that resultant logical conditions be used in a later stage of reasoning. %Test cases joined by disjunction, all become represented in one, resultant equation. @@ -640,9 +625,11 @@ of $ R = b \oplus c $. \begin{tabular}{||c|c|l||} \hline \hline {\em $SMG$ } & {\em Failure Mode equation } & {\em comments } \\ \hline - P & $(b \wedge c)$ & Symptom P is active when `$b \wedge a$' is \\ \hline - Q & $(a)$ & Symptom Q is active when fault mode `a` is \\ \hline - R & $(b \oplus c)$ & Symptom R is active when either `b' or `c' is \\ \hline + P & $(a \wedge c)$ & Symptom P is active when `$a \wedge c$' is \\ \hline + + R & $(a \oplus c)$ & Symptom R is active when either `a' or `c' is \\ \hline + U & $(b)$ & Symptom U is active when fault mode `b` is \\ \hline + % symptom U is only guaranteed when it is the only active failure mode in the {\fg} % T & T & T \\ \hline \hline \end{tabular} \vspace{0.3cm} @@ -650,8 +637,8 @@ of $ R = b \oplus c $. \paragraph{How this would be interpreted in failure analysis} In failure analysis, this could be considered to be a functional~group with three failure states $a$,$b$ and $c$. -It has three SMG's Q,R and P. Thus there are three ways in which this functional~group is considered to fail. - +It has three SMG's $P$,$R$ and $U$. Thus there are three ways in which this functional~group is considered to fail. +Note that symptom $U$ is only guaranteed when it is the only active failure mode in the {\fg}. %\clearpage @@ -671,31 +658,15 @@ a software tool which assists in drawing these diagrams. \label{fig:repeated} \end{figure} -% -% \begin{figure}[h] -% \centering -% \includegraphics[bb=0 0 485 206]{logic_diagram/repeated.jpg} -% % repeated.jpg: 539x229 pixel, 80dpi, 17.11x7.27 cm, bb=0 0 485 206 -% \label{fig:repeat} -% \end{figure} - -% \begin{figure}[h] -% \centering -% \includegraphics[bb=0 0 486 206]{./repeated.jpg} -% % repeated.eps: 0x0 pixel, 300dpi, 0.00x0.00 cm, bb=0 0 486 206 -% \label{fig:repeated} -% \end{figure} - - The diagram \ref{fig:repeated} is converted to propositional logic by first looking at the test cases, and the contours they are placed on thus: -$$ P = (b) \; ,$$ -$$ Q = (a) \wedge (c) \; .$$ +$$ U = (b) \; ,$$ +$$ P = (a) \wedge (c) \; .$$ The two test cases are joined by a the line named $R1$. we thus apply disjunction to the test cases: -$$ R1 = P \oplus Q \;,$$ +$$ R1 = U \oplus P \;,$$ $$ R1 = b \oplus ( a \wedge c ) \; .$$ $R2$ joins two other test cases @@ -711,7 +682,7 @@ The third SMG %or symptom shown is test case $R3$ (representing equation $a \wedge b$). This diagram is incomplete, there is no test case for the fault mode $a$. The `available region' $a \backslash b$ (i.e. the area defined by contour $a$ excluding contour $b$) has no test case, -and this would be considered a `syntax error' +and this could be considered a `syntax error' by the FMMD software tool. @@ -871,7 +842,23 @@ The test case AFE represents the condition where all four engines have failed \c \section{Conclusion} - +PLD's provide a means to visually model failure modes within {\fgs} and after analysis +of the test cases, extract the {\fg}'s common failure symptoms. +% +Because PLD's model failure modes generally, they are not constrained to +any particular discipline. +% +Most methodologies are aimed at solving problems for a particular discipline, +UML for instance is only suitable for modelling software. +FMEA, FMEDA and FMECA are good at modelling +electronic and mechanical systems, but struggle with software. +% +FTA models all systems, but from the top down, and rarely giving complete coverage +to all base component failure modes. +% +PLD's can be used to model Mechanical, Electrical and Software +failure modes. More importantly the interfaces between these disciplines can be modelled +seamlessly. % Elevator Pitch %\pagebreak[4] diff --git a/logic_diagram/repeated.dia b/logic_diagram/repeated.dia index 0f30ceab39a0b4719bee9540bfdbe02cbf0126b7..d1d3debfde4d34d984cbcee78db8be9f3b165f69 100644 GIT binary patch literal 1911 zcmV--2Z;C|iwFP!000021MQt#lbbda$KUr;FwR>iktHF4h_jnXXWHpg+ewq>9c;8V z4F(TjZ~W5F9$oPI2D`RFPDtgMTwrDW5uEeW(UHWyd;fKwI4hnPahBc=5P$=Rr;{v- z)9LNt^QYh6u)+Jgn|Dzhz7>C_c{q2(H_}2L-414Dxp+GqK0ZEzWL<=1mV+c-f`SkK z3zH-qibBJ|-HqeyRuF|{D9=@A!?Mid@v`Jj8qWFcU>r`qO!I7+Mgv`{DmTfJEO%C6 zayxkSpgx0PRn2g(o@eS_gi}7wdHAKdYA8NIa7on*o*z~_Ut~orij?ccQIUpvT3b=6&HqewXq^J$zO>xg@k=o^6n!x)R3K?4>*pZI8VPtKPc zUso=|3jD* zr!+vHe)6_+J$IVN(esYGSE8Yo$2cly_g@X&E?xWDQ0=R@h{p-9yZSgSJF9-(P4$OQ zN6~xx^_JG4YisNtBE~7F=XVd&WgPM11vA?((@@i_DmHxSt{;{=^~UH^2c5N&NWwMG ztLlH7~7zA!i{{pMoL z(>$kj)2#RWtmSqJ(l9Ox7OTJCrcs=SA^^&SyPN%L||x{lJI zz!yD_4;aBxkV1T+WGU~&3j_LtGEI+EWkC1J9VAP`hFs}035KR@RhE`@O7gt(5YFRd zEiNcbi-A*=YdI1YfYe|8gC{Fq#*=V&z<&M}9QkFfw=lT>A?-x>jqgMQyhLa}>GDiw z9>R7)VG>W%Ij?`3JYCMKJ9(l?ZA#@lhghjgI&_KcrMOoi5p7E%gaH$VKn#LNNl;1NQ{@IC18^Nb2N+E(jEuwR*aR($ddMQyex}b8WIzar zk(1G>J|zPIVWTHWjQt+a$im1pjOuOB^608Odb&|*DqL4Ura1Di%}<<}z*1$OWv15W zINP6!=Xt!m=%CVW;1{$G#2BDhQt8qOi_=1}jS3WIKB|roK)r~?{%7#sbKw zj{_E95+vAy&w{Vc{w(&sYyM3itIaI6TU-9*kB&Y@7wm0m z0$J;|#-i_3qX%X(d$$q6l#XPYhU#<;>qQXv(Y^V_=J1TKw5YK|OSB%&D4^D>w-EuZ zc_dXL*!A3zIPjULvTDrT?$iHqne^Er=?X}yu|tcbJ|e00l6VjJ)HsqhA~H(S{}-W> z&2w26H5i~}Q6E{z^me8umh zxDXAW@a8wozCpl6hCEEHs#!tPy;b zTMvX{KW1w_Vmn=Ph1ugn8?;?+ALD=00gd!pOVi6)q`5KXxkxQ$p|0ACX-Dc98&Ci19$4R8`{Zin&n{WR_lL9z^004?xs@(tp literal 1657 zcmV-<28Q_`iwFP!000021MOU0bDKC6eb298+_#-nmIMM(H|ca|c4wdVquYJX$VRc* zV(X-iZl?0AsJ`x)&Z^($5q=m@$NaCJzuf)Y4KYd?D)`q89n8Y_D1mMWx@hl0# zcz!eb=j*TU>FCq#)yE)YAH>f*WlKwZBF^O5&1jM5s}JMx!@~oJwi(Nl6hz?~WPJRC zMG+f|M&r@#m1R9O5U`xdYvomz=V>@y=iG|flHZJ`Z1!!QChIsD6|Ks4vm{DVYr~?O z(Yt$fjK-yz@qwLZY_HgyPgBmmwVQ_G@ck~PS3IqnU9OTW6ixE&s@9~%j{Nwu0nKmd?Ytjw9wKDkcI0iZK?GL44{%&+*W1PELoLUKTF8 zEL?h7xG=k0C25|rFt0;SlO*CSE>QDy&Aa1dGZqOKdu~`gMsXkJdGbR4?^%=`Gl1gq zBil}8?mP{H=ZSmJqQ%NX803q)@0zBou)ft~eG_KkG~!LY599o7=C|iDU%fj@z4ssQ z=?#Uo*6HK!hf`D?lrSjNuQo@k zGbThMXDFb)LXoWTgu@ZZo6eZWF{k&?413-< zdvIU&UML#9ZmZe_J!n_iFl8su+VDJ_v8Rjn(|b_kW+P)LJUpC!pob24q!V@lI^1}9W_KRKen2b= z=kby^-%TE`m*q?ziPE^OavC8vs!LT$?7L!LM2$#aH9{Cr;RudKF;WmhjHnbNWCM&{ zEX9ZpLX4(HjC6}p-3N^p4N!~RGps9I8I>H(s|r`XE`AA{|nCM1hT!9@%sddNeb7q+O5dUTEZKfO16pKlXDm zxkd;;Pw#U-1p|RYCy$UAcg4J<8W}OtEk?~gX!Pi!dh|F^aV)4SL?)~8YxfsxA!Moa z&pc7ZI@bQL;(pd^jVeZ~;#ZujvZBT!qu=?1Rh**^RYon^>G$5}f&fcRqdJvy2Z9Ni zNQ#hxDiq=YXy+IE>L;V0+V{E|{LrZ90JAyNyXp}+g)8_v6{*C)Vs$wYCoZ%-B}vrx zU%w>%X%y)Kid1()BS=FOq~2wvF7Sx<9BBt4bEM+`B2gMdf@Gvfw-hxwpwXfsYEl0p zT_iU>g*ND|(JfF!@UumJgt5qzsLGE#dkFcF$&U1IzBl=y(WD`2QvbSV0;qHat)-g< z2voJ36YK(H7m7rTA{j+$^Fkv?LlmUmrR3NzgOkozXG;+II8Z2(4IgtPOpPKLMQU+F zqe%a&A|3yb4p$%2S!|Yvn-d<{eNJahFFE%vO_$3tB|NUyd82)1b6JtI^FQQAk4(TXT1H@t@k3UK*(`zXk!FDpTLd< z`cWA3^S>u{rm*XtVI3g!&et1t6$Vv77s+)1m1Tjx47x)o3;cpj*uB6)pz4Mu>JD)o z;GIE`ij8y48xx*%H(!38fh(Wi6me?^k8b`lYIFfLs`;Riqt`4)EqOaVLtP6g>fZDg zwm3djFt+%2B6r0I66cQmz9L6++TJw8_MN(}@3S47wqroBtTCh_Uw1G;-i6{;|DsG! zX@&zlou0A-fvN^d7BGuUTAUA~2I>nku}gaiRD&Oy*!6lgunxZ6^7iUK?1w#r0b2k7 Dj-4Y{ diff --git a/logic_diagram/repeated.jpg b/logic_diagram/repeated.jpg index b0fe9a1138b46d4e3b50eb82500caf3340a6056e..bec7cde8082a740ed656961c1b0dddc79bdc1009 100644 GIT binary patch delta 14958 zcmb8W2RvNe+BUwmjNYOfC7BVTM2Q|zB3eXEkVH)oJ$ehVb&)E>|e|FxxujI^S8>>{)(c!7c?CsklrtBP+O8uC+0 zpud)4YTMsnX}5ZFvSLfXkI3#&RJ~nh~y(~|Aw>T z)R`@j>VN*XDyN^{%YNEaA*-8`q*rXsFqWKmdUJT((+|59yL~?Ul-hSyetCAVt!;!H z4;-^j(+sZx9b6u$9}7iZZ%^T=M9S>O@e$eo=b!zr-w%v8X=Z<)q;M{BcNE$}~6)6A;s&fbu$(I|trHoCEMO1?)HAISFImM$5$}x}w>dLmcmz9%Db9rwGz< zk&{U)H}3f|#|tV?S{vA)J}a>y0)?!^bZx}$X+Y9{z4?Dc3;dr$wtlLy z98cw=Ho&%4PLi8sQ6g;z=U%6(ByeiE%3c{0V7`m^)ciaj zDi}@%buBPZAp!ttfLhdqYg%5=9LzD<%w!lvfuDRIJB#nD#i@>`uE@Y3HwoZwBwXl7 zf8}%FebzbfiUP!B(j{+?K~J7Toj1Y6*>pH18)*W?Vkg+ zrw=O60Z^lU^z>@ct*qyt+m~#wAmpgZg?mM`wVwwnu0+M@MALpRr<4~#PgG~$kng+p z=#r~#$^ELZH}c2)vixW_np?I+U-(MS*iA-HmGgOUi6F^#v4wNkeoX@P1cyO|>ixx- zJ%L++xt~B*IspFDS{(i6*!!a;!40p9AO=pI;}jH&E--s4U#gomwh=@x8CjTLYx* z-2@~F936=h@z}<5;3o`R`D5wee+A=x4s5EP1APq&OS|X5cTxZBC>45X|ULav7hP-g9azV3~*-|Ao-RzC*)BQO>{G}@yk+)#6q8dJtM*!PG)_m zr}{2j+>B)DF-f8|>%h~%8~yyBV$U-3Z8%oL=9s;zY^+Aq;i_%is0au#9o8TU;X=*` z3Mf3B6mOxi8wQIP+N|yC+1LD^abK)eGjt>hW95aCFa4z9us6F>_f`$->%_707Oqh{ z8#rKXcR4{M-;TbST9K7Y3^~|X`7YaErgCi8=)q)JE{6FfQ3_kw-pXyMU4y90cRCsN zM0}~#a;4VA#wpVixLOF((NgFb*mVvJs5usBX{t!3sH&J0@crN z#*WQmnC{{N=SWyekIrKo$F1Qv?4docOEVfPV&gkF6IB4W=gu8m#CC?;BrW0Mld5hj z-)>!FmnI5FxDv&^=`p`&dK=Ls#scQP4 z>Un_*URL<>+@!EVyD&v*C-S-Ic$0#!0D|Xp;&XKMRhg^7cS1i?11vM5fug3X31(kh-RJ*w%SfMuR@SyA>wDD z-b0TwLl}id67!K`D}*Fc?@Qd+UW}35!+=YpHKyjOnKZPQeC6k)H{Fj~ljCbo zVkc3@30g%eEPdZ274kVldolb6`@R`oxeb)`_@ccrBBrZDUU>(0_46=U8WAU2> z!gUt*oP>ek_f{)b*nEK*#!)MrkSm}bZAyY0Y&xA>j9va&oAbC0=S!@MJCUz0ET&tb zUHpu)^%Ob5vqTW1rg;v;3p3b0Uw?CiM;S-9*}fjFOr;yuh>UNNF`g1;=25b7VFF4er*X#Lrf2lAKq`vn-s9-o+vU2QGQhVt*I>o|m zJ1EP3ZiX(RTRCa+?2WiePOqaU$_ttc8Jm6?mQBO-MiufM>|P~lN)7C#I1N%T!h?M` zV*G~be0o|%$>h}R&H*yX7%8Ulg8}f`8ZAS;-Mf>w?yc4qfJtQ^5cph$5m7+Jjc8M3 z2N~CXWySo|VYU~w&7!eBn|c*}4$#&%pE&4-K2txUs_J!EI0Z1cu*GAi zZRgy~W&MVp>6#PinChVva*y&V>G9A8~4bBxz0{v zobHN+vqSj19wFrf7M+;euL?|c@pPSnJG-t0-x7JoSEoe3T_NaJT(q#V+S9nn1GwQ> zu)Zi~(k_}qGX&5Oo#-bP$t!5&z_Fg(`}r2iSDHv-Tu%jH_;Z+;$DF>P4&KPItyC-a z`LKOjY%0l1oWn@f?8uc!m@t=^I7e9(XpL=Y4ImtQA8lG!cMgPt`VNkv&7&Wf;#4Pj z7!@zQ4qou|PPdd^s+Yv9cSeI$_ysuCS72KqJ-c*O{0rqa0ddWSy%j+#bxCYsqwWs$ z-zC;5!b~ zt5sc2P-6hw^_H?o19rQ986Bp)P6waa(WOk~V0XAr`oavot@>lafJyu&V*MpqpNEYA zwKdN!<0xhgTNfzS?YKEgWQ#3g3fov$48vTWr*Bi1dzgP+1h8{#H1NHC+P z!T|hp5J2}k9Gr!^Ix9Pf)e+kyRAAGmYo1^mW8_(=!ZW%TIls>%x$0;Bdm(mUWXq$a4&XdUxiz&1YdvU`ID48d}3a} z&nG9GGy(3~{my`a5&#wf=`O%%w5FJYMiV(EK480DvOQ*{$E(6MnB=A*hk!CLfe!;< zlRx~0P$xqU`gSCFMHfIJ@9Xrpih?#D1bv3cCCFrxp6V>U5N?-+&NP=RBs+7F7Z3EW zzvtfRf$YH(2w>6i9W#@iPWleJOl{sDd`#~-WrnT4p8pONNm;kFqIJ1t!>=mcCd?Zy zCtBo_WfIZdED_RQ7oP!BeRfYr8SM3jl=J|5(yeepM$3aJAnw0%H84t!bSAt22S=~v zT!~!@McV4GiF^SprbSEi&Siiv-P`pCzT$3W17g>~ccHSsK8<7+8cEvJ?5kNoAw zmA?yH*@;_AQ%3!w}zw7TK>3ff-N|{d}n15e_4#hGH)=2zyq{! zjMM4kcab_f5)LNHh10Su^YgA9grP|c2~&OBA-&vy=fAPwAGm<0+mWYKzBay6kxf*> zhXKvjCn`hbuT?(g2L&g6@Cui4l!8{%E8Up1Z0DJms>blF?j%c;{Ce7$zi4KMyzQ)g z!IV@wNiO{YhZ{9uJ*;PfI1+(_6_Cd&ZUGRC|NIqXQ`J}TWAR;DyJwa5hK~96)r1CL z>Pc7#)p$2mSsVHRzV}i8G4Q0dJ8iA7*df7(y*(9eZ0}7cK9lj?zd6fkFQ$NN?+cRB zV#OuEv~8S7*x;*kGrxT*CltLpm@?0Z1ci+zp3rW2_|3LHr&XJO7RtG)h!{m=Dsq4Y z2RGST-zMp zdZ|Bty-2W-Y9_nZ!F_Cd;X&LRR(|S5g4AUN)&;d9-cY$qP;WE7daYrYJ5vT-xAm*V zn8je`%q z!1QHRDxRbp2@06ndskjrkbnAQ;i!Ly8vr)Fg1Z~=vsLCs!=fb7JuP0UN}>Gx@ahZh zmz{ehAE5qK%s@i|1>a}2(g*l@j5ArTeOYT(NVIMqzT;g=@!*3YM$Cx7UBA&(!H##tgS1wq#JzM)HH3G*P9XdK~kS) z>1}^K$G1r;OG2ub(lzN?SzF=d9Av=b6x7j;TiFhk?bG- zw0d!5dvhREgu_LQg(?><6|I1}`el_llB5~=Sm4p7m!ACYW$Py`M*~i9TJ=pS`VWD! zQF!9`n>_w8)=q5}2e?@6?1=X?96(2$XZSk^{Y<}z@>OD}6=h7!q8ll($17b3WO0~v zL8C|^RL&gg)y(%%tM4*~DTnqm&&x&1MKXG$xX?h6{)|;bmM9$5Ta0Iz^Fe6WM;KJ% zK2LgV1Pm8EWP(^O(r$|Bq%5v#Y=s23KI7(4VbD_~aRKRsg=>wf(2~)vP^n*|8i#!| z!s3snNiM5#LxVd*^;OB{#PW%~QjaEnJkPp5zY3LHXLseQ;`5?z|hJvst6iE=M94DrDBUa!}<;X$fi|cnk#?5^G zCaFU2p?BKH3rF<95lQx|47vm=|1r$Wb8ejj405`eymbxfK1S+|TvLac#>$6d^~YMB+bRHG-^wDvM4;fm(u7e4c1!1NhwM;G=S@!1(}CN2o&}bH zO{rei2tg6W1s2n3=|#6$BfEn;aXyzCkSX&^d~3n?ufpBsl~8JI=?rm7OLixPA#w_FPAvVe|uNbBh+w9b5R@WX7wU5j%}sN}Vvv@UfY zOYrn@G!$Sa8s!7tNBwOOgH?wQZIlM_n zz(nb)E)&)5_za4a;ax&{0%)ayUWYCu_g_=;uk0DWR8BjKz1RLLuHK_@x#nfv-NZE+ z>D#>!_SXfUr9bO1#-qVq)uzgk)vrH8yBkaUoy)7JpM1lW(bYYpV6z~8;+4?~HB^Yy zU+&6c^bn?L$Bv0}qz#=WR`3oJzr3t)b!P6_jQU($4_2vM{Xdi@fwz;VAWDa#QKiHo zB|*E4E?eI^nas4q!|&P`Q@^L?N!*?KrQF>f3lX^Bt4O-br)_!OL^u?WZv`7Q*~ z$=Q{eovJid&s2l&z88wlqEk2_;lZB(o$&09&n!{-qeqQc@Gkrvs=!poi@#6beJwNg#h&qP?hF-taTV>gdJ4jtekjD?vmv`-0035oqCPM>!|rhhxH$ zb~8(XQ}=~Vij(NHAIe+vR3{iPP)#%8E3fb72Sk{gxeB`v%}i|e!z2;dqI1A!BH$ec zrd>a>dr;2){n2_jtRc$b>JI#)orU0Rs^dNWj2}jV)Zdyo)w>mM-iq3933%c{n!Y?V$8Ee$QR^tWZF0!yX20q|NXbVXS^7t;azb)RPcwyQ0D5p;7#sHC7%mpq>O26 zVpK<}7AC(_DpTlTE_yh0T}{u1%zT@oVETUf>rRmvPPZJ$E{u?Rb4Q$p+K!WHbW-b! zqh(DEwfU2zuGc>W2Q@55tb`D)MA>*o)`!Ys$5x{1CYv;PBT9~T*~~&a?=aiVHm~fN zFm(Xr9D#A#Y8nW2$;;53Odltw)w;SAX^TjTK6nhHo?;(76Cg?-fj|&Aei)c-1VIOo zwV=$5?Tr%E)51$#<=^@2Z&1wW0H86{^bu#tw&J+d_v5NSon3m%4>a_r?Gz z_ZXYB`9A@H<|2rZ3M_HN32s!_9(e~qwY=|UvU`6q@0)d}hQ492@KupKEm9KvRBykf zQ0woGqLz3|gS~Umb`A*7+`oLI^Bf3RxM42XrrOb7_%vs!{1-`9gq$+&!%dhmGHqvD z+Q;d^t5=l%UB+&N#py@HZ7I#Y;6qU21Vu)}sX^oh67nkQ{)AY0&iaaS8;}arBT30ovO?8V=X&*qfNDW z!I83D@HI?ypPM`nVggmW_6)^tf@;1u zg7&#db7u%W1QtCo!$#|jmkJ*EP>R-7R=r(>Llsb?5cXg;AIj}6JV4G$WwQj3=|7}sh1oVZ$_R@*Hz3%mnuSddf;c6^n7pSW3M=007zgFI-HIRerr+CF1zTeq$NZxP`e9=;b1Sza!`Z(a)3|oF( zb;vFQTeJ3bOLhT0Kb0)rhvr=9hhG@qkByQ^tLb+K`JIlOT#0u}3%lZ;QQ zJsStM1b9+)KAsr#yk=0U$hscVjp_t{t8nz3QaT zxKWD6hoa4_%k(gdV6ps=V1iTrE(U@~>!l%>?j-!n_6}K79Q;+zwXuEH3*YkBh!T*nb*O_+{VKvS-xH0nX{10~-I> z2t6Q17_$&4(HG$Gpq8xW@b>Cps;Fa3(3ma1n|tCE+dpvOx@Y5!ty!LEo%$1@9`H4b zPE)*a$mcJeSvyEb`QwMpM5CTs7u#k$!^@@KcrrHKF^d02z!oozS0sYP$Ua}6Z@BYs zoWkSN!*k$z`B|*@!U>NzVwkG53CT>~LrHhZ7oHeg#K#Ipv;yvFC>%|j)TzLL)1AGm z7j?gu@s0~~j2EV9z(Ge1WHx0G=?u_Kx`nrG@U;}3DQv(_+*WLxoj+bQrw?{A(0`_O zxn6|wxtV=m7MQBJkn`= ztCg~-;_XWwZY%*K_!fX6sgUMuTDPx&XsDtk3V+sbi%A&CiUk19>f+hgxI zDWjT`QXQa1DSQ*mw0!&{HG-Dpo7x74MfB9N>j0f;-XBZW?U!>@Jpxdr6jx6v1|I$%ld;qo>%}xNgB(H z^(ufnNRuDFjv5Z1C$mhx@a9=qVhAw6VhHu7B!yKH8)=w|jA5 zKkK8`$>BLb^J~zOH{Z+wpXSN}oLM$pv7@u??1{cdvgwuLV-z0qDK9T5y{X>YS)~4C zBt2I@j8K!}0qYlsskBhrLM!7tuuqfaS)a$tTV*n}y$XhJt6aJd07RFJ;JWyT{=4AC zLx#;cppJEQ&F$JZw?}$S80vZKKfNwMGOU7PSxJ!I`VAt>&e(K+MYLK(#4x3|oBffz zj+pX_@Xo`A?bwW{BsI7N?e80X5B^8x_!b)?C%HiFuf9J3RreSOrToFbWZPe`UjGE( z=p!ugxkgs%Pl4L|cktMM*j(n%Ld-6FVyG{Y^ejI4W*d5Xm-kfz`hmQ(KB`x&d4vy z z%y5V>{A)8;z}~!HrNmLhQxEkk#3WZPz>WlEf3_`G5p&~BPyCN6cE;zp#S9QK-! zwaB-JrunHi8-rCj#9Y&%?o)BuLHKN{!uUUl0Sp8K*n2o$kU{P-Se~_DJasH9@d{s1 zKW%GXy4iFwl02i6>rh)@L;!(xdav~kOQRLOKj?I8m1^||LRH@=?cS%R!97zqT14NB ztOtknpK0tjRq|bku!-m}XYyA;<)=t5PUuM#lPc5vjJWEWv>@tbHOF8@qOU5$_#LlK z>5i`9z<~;kX|VcCM0gp=-upY2*NtO*G0#2&R;;{~E_rxm$}^3#+GdG^dcdgS#UavF zurP_tXrM2Z}gAnRvRNPxsuN*IDF>0-`PRn3sX=(3try)~okTkin&u~t9Sq63^nwCrs z(N1?6^dtXkPmVw|_RZ4M5r1((!P`j=kH#`?Xh*S5@Y456MiSAJlB=(H^OLdm0>fxI zG&a8{^D4$szsJ>%=tFeAI*YYs4CF0)fT5a~p&>l|IkmtS0j~CDP9!=%>|mSvE3(Iq z_7)a4=;pQ?tSu#K8G}iu7I*^wZ7Y!Tm9)@p9m+GI&(>-S#e+w`5-FrKzKOhKp!icz zah)hr9XbNxl{&qz!0wbN?_f@0w+(CX&wEy;Iue`J)T}!v8Ao$(<`ZEZ7}m^IH*$Jy z@>kKi=|rBBvaVMQY}Y*@)JeZlX;nwnrsqOq6d*9P4LU8ff(*QdscevF9y=KE$5~^v zn9@_HoT1~FJ%fXciUhs~Q5_iXupj=GsNzqYIO*PGvT#GKZZa3I-lmWQox3qHA#LIW z^(wA-UH@9Sx2rFzg<-Y_^0H>!&=4>X6PaQmj&IQZy8UOS{iD9ig<-$J z$LFb5=QCAek=_-ni=%Z4z}7um?>&Dx49SXfkzH?&*4sW&q3zd76=goxvc)R6zHQDv zEWnFO|MV3EvM~9P3fw3r^rwj&hJY9QPbkD~?n`-|kC?Lhd^M-{(=gED!Q2&Vo~W!^1!>|ib~SDnHN_o*Q6HlA_{DR8A}{vq z@XXJvtA52NrGxVxI{{Azpy@zy=5-{TPz&$2D3bhTK(iwKi9T#iq8*r$`f`1Orw0@4 zQ*7Vgnw1RVgVBEgKoXtDNbZa2Hx#%wGntyIzXWhky~tSETZ%WYJub2FqB`oMSd|(G z7M&CdyUTVE_5UTT{tvop(?aKozbEE$N88$jj7J95@>dBBQrOeh31MdQ3{1z-l7nVM|5Mc6^5qmboi6(Ts)| zTPi=aWXuv6W$4ydcq@m{_FMhaR-T~sV4n_<|6diJkyJT$zatasg=`wPOx2x-X~|9= zP3o%;yi#J@qi`XRW_{e-Tc)j9{<2wafg`Nt^impZ$Gqm-hm&KYqv%8~PII)2SH)s+ zMK*PHmzm5L|I3Ly2URBKpTDR4^30|;)i#Zatz3axacW;sg}{jh@+17!FqbaTFLz(i z;_4X9)$htS);yVJHCEUVbAmw1y1K>cXZjH12n*pW1my@5MK(}k{nr!Tj^UT|-#2Vl zd>lI6B1>{(_?7MaY9c~c){lZ13Knh1i^t>DOTdd*OHGVdgk)lI+uCeje-#=d{r$V2 zNZ)BMcd!yL^}9=~b)L7bdfXZ<6`7yDb$FwB$kRROEZ>oAnxF1#aGa{fu?9Th%?f5=#fO&78BMTjYtrXH)uM)=2LrXS$KxqY7lUxUxdOe|d|Q5{#q_f~KLdn( zf;>3nukxV1-nwwzABVlkF`m9p{}GdTG$Lwf`GZtokNN+{8vZK<{KNk+b1r-j`YU6D znBoot!0;xSt7(TCgiTW3jf(23)SwqfG_|T*$tSYP<*bWyX7-{!>>bxXOPp-C*fo4? z!wr6fJ16&j@6sXSK5Y#q)B2`{_k8oPYRVDnquhI?%d2ndeNBFP-<(>%5c9%pmTP8`C867AoSyuz(Kgl&4K>vDS12TuNBbm%)Cg6Sn?yrc(w~F zaytkXCqZ72Z2>?40>W-S#B&H6__t~K9VfhVa;oz?m~V}~uH%D=GVt{^Ik?R+wTQc& z1i8;gOOqOCNN&nuP%5_I}10JK>|5s&@M3Qh)N8p<@2(Wy!O#_FDM{;Yow zrOs)MQ;!TQG(Oc;WtSJhLB#^{Fc7p2ql?vR>r(bRn17{)mvao3cx;8NXkKy4v=U0T z($}VSVtFF#kt zd7{q9`my}m^FtLE=}10u^mi0HU5bz{dqe|ZDY|8?q^hv06bk$gQ6lf7ZHzQ1pRxBk zmF}y$_8sCao)P>ij{s3ru}LiA!%RMn+SSxUj2RyatN4^for)w8F?eX()L6r(oKUGA zmw?UTCC3f>EI|R+oHp?w2s!61C9iI=PB-8GeNQX)cJn2?;)Rz_`bk=_U(NyYE%4#E zf?t{cZ47i$dDU=?Ll8zbPQ*q?VU_h(E{1xXpnh55!UODpraEturtyi*eu)IBbjpNY zFsnNEGPjkL4N-z3EMi1n+^)gx8e&;jU56Z`@bC?(ts^%2mmPMUD0*wA2K zzCvLg)=erW3v}dL4r{+67{+h!ZVc0>d|wU2ytqF^RG;js?yFo6aPfUff}s(5800y#KA1_JYr00??A)W7512JIt_E6Q3aNw=uQ z8s}1G_d<};y`Qg}lKiC}m-=7K8cheMOjC7JM2Eag^ofGG*jeVx*1+Z2d#$}bS?tQt zGNZVMiaAO-XbSn$b#2WI->g$dUV(PA4-BxCK}g zbwLA;2B2$A%}4rQaYFFt0l~=UHX*sb^yh$K0&&VugNi3X8ojDJD>O^Q{&}1$X7m_H zT%K_Yr^ca>i0{ixXjMkA$Q=32&Vq%e$AOA0MD~d>Rav)#Nu8XQkjN;!S45}=wa0r! ztpGJZ6r)S>;xCRr_&-?wj9DdHY330%>n&e*7prPbV)x~xXvt=BiX{o!V-Rs9fGwWt zWc5g;rXqZ7TEBp{4ol|MbKiWeX6@dv3JWaTJq~Z*@2}uatSoH9Pvnx~%kLGYSj!IU zo(#~9aDE=V{bil@8mZFouffcsez%g^86V3IHuF#qX^+^;H2m}O58tLH4;#6Ei-WBE z&Wt1q7ktEe+8T`8h?7js=UOtr0-ZsmetOcN1}`fw5ihG;624XO-|OXf@+P@ybftmJ55!lXTZ3*(>3@>|2-mCxhJS zZlR0(#j9?EgBlXwe>Z$Q#u%&M#&JCu#!n03wTgkSYgNcDX1#Tdv+$}S429fKc8xjU z==^U@206_Y)#E=_s#|J;cP8#Shx>HCoC3LH3KtgxLGs0(wlmn>I=^xX`(MKmHhguO zH>%KbQ5verTvrsyRy6@Ns8tfdcl^PHbHK*mU`)Z?rrgKkGS&>^|M43oKL85sknWyA&&@-zwOE?tWAB7xi#4KlR`d@_?! z9Db;tXgG#CC$DdrC4*JF*tuEj4z!5xY^ z!{Ml%o>MOA!iu!@=dqZebSqb5#y)HoYB)m9z$F!FIQqywv7zaCa>%h1X}=M~h2;q$ zKtU8V#$iiT^1f-_RAI?GoX0ZHUQ+(**u?=dr-C4oMa52rhZh*%J|^y6Pa>P0E&uSYF%hJ<&>+IcaH*zfqkG6{eipPQwfA0`X(={66eP`vF5s4lJi7 z&rXcl9oMCM(wM!qr+Zj81(b0YTOjAa$mF|oV6mGE#~&z5E`VPlp}Tlj^+4h~h!u@E z2cn9O7U)hH^QZefrJ}_1V?`55`UltH)O2K);AF*e`JLai@OMu{8)|m=7PlnljLb@;%V8kOYrv;Z6-r&8+ z_aAldFSh5eC58l(&D=_EBbHPdpb3)|KFmMtd0BStRI`Wy7$_3)NjRMibqT7~O@&{Y zV~(*b+~p%epeF-8zFok*c(U_Q0;DymOM0P?Vd!OlI(iv+0&nBy`{A_`C_3@ahGe{9 zm8F6(t{<_)OYkyDho=T}`y30Xg zsOZi!C#!vf4|Q|(R!_Z1(nVTrV5@v&i)nIf5~LnmjW3kd8^;#5kw&C8Nlet$CYpRi z1BvzI{nV~~%QqeVc`V^?TGi^Q@*)*Qr&Nd@=(9fd)8i!V!`rLKdXvEXbuPbE_5ceP zG9uP8yrQu0fy8E@_(~rmQ+m3+1j0b+=o_t)2^aRd$b*YCCD(c4$2B0`LevxUS1|G! zC0KiJMFRDQwlPa87vw6Hk#lN$8_eVIz)QT6_ z3P&mRwG!hPD@{Hfb;Og{Gr2t)LcO>O^S5eqtf*^)L@2U&{P5iv#UI&0Y52?G4@mi) z1H8`^u&cihNa20Szjw;SWA)8x6uz6`J>=PVoQxtn^M6}4LYT| z96tPVm+iWp-Q_TzsKMoe$4JTx>e4r_PdvctbUe3S@lN678ZEt+^SLj(Do)BIn3{z$ zCRlCR7=Kt}0|jzoiv%7v=`6+n;8SHi*rg$2N7O9VtVU8&SQN}f*!IXpC;9V^2#&Hg zi5&%SjF*l%8l_wZMFpjpDER9y-=9;uRDa394Ipgn=OY?A2R_PQ#@?dArf-P&lyz#x zf3!1iY*as5c5g#ccZ#&<6WPrzbUk8I=xTx3SAD9P$vV_JFz%d4D>{3##6Nqd(i!0e zhKkD1LGjLvKHisp`pxO5mi*{15|=HGaRL7DHdcZl);1Wi{92$OVvB(dTwKS>Ec#yK zX+(}%RW{j(skz&D3ThF*>Gf%KD!RXSK}1Blhmq@)fB09Hzxz255|3;D=Xt8X9iia* z>){Dtmp7B$*!S5ro;a4vxArt(B=>d2G*RY#O*qi3nE9u(P`w(b~kl0YDwdo^R>L>e1wcJw@_^~zO{&2hh?de zN=jqQ!@&zVdT^r2!a7jnRZ()s7_bThYyip=asV$|{hrEZ8Z5$2#7Dn#ApWC$OH-rI z(XyKolCnO!VwjNhF9QNz|9O)_ZQ`_i+le2q@AeI+9yWTUK6Ooh24QX8_%5J;qt*Eh zlZC%wvVjYC1#iUQLGt2nkmR=ovDfe*8ClFEe-SQD4Z{N?{60;5LiRX(j%O?xE%_ELwY4+nZrm=6 z89}d^tnWpTMJJDBZx7V+>8 z={uR?wwObR8H_RLd!3FE4D!7WBmLLW`w`9JEEn17@OJ5*3)?83bvRR)91RnBqfaz} zH(f$fU7ZPwQ4|OkSt=N1tLvg zATPa51$t^Kmg2R%Zn*@oj2_*ir%d3!_Ua{&IDQF`HLPr0kSm|?cwGX0Kk&x*D)sJR za+ed07D^h>N?Ea$`Y+0&njHYtM>m+y4AajaE~OCx?iI+!h78$)bUXyimDy6WpDT%& zJ7*04<^Mbf@c%!#|N2AI)4b-QA9=<{_2ssYHXMe|EW6a&nMS0kbL^h}q62;ov+7Ja zXzkU`$(Px(8fq;Y+jE4ac9eUmv0W(^?W^u(iMpd2R^SQX6;zU88I>d5m3@oB`6cJ$ zVQghzSJ#s)Ysod5TEnm_Wq7odNz29G!xhqqJ#90kSzDjTkSb@DUwkU zdcsJNLpz9Q3`bblmXsDyevCi31TdEERLVadT>=9F$yjNPbK#|!{6o=8U@aYS39$Zt z=|&kPiF2i<#&~=*-J>xm#wRmCP4k3N+07>*luLPHx}di_8k!hoO;{7|59wiTmKU$g?Uks7^(Y(s~Lr@;};Olf7kQKN&FUe=MP}HnqN+A zHq;<~M?j=U&gez?kI7CXnTyupp?cbF->_<+n2|hmh1C2zKK1Ceu$ypMLUu5678BDe zr(Rt)7cB8?k0u~!^fSl9UriaabB_^c&4K3~`#a2}kqul*{xb$E%9H^v2=h82(6|jP zRb|T`w^K*wV*lZ#uinQ>dY`(7HBF{P3cu)Z$^y~uecz8ll)KEN-XNd#=W;uIOm=%G zFKeNIh+;ClZBxeCn~=(TZpjY%W5Yt3YO^nX&J6{J>bD`42|V^l_qZZh%>ycSkV#C} zR8kQvQ4jP*0lY9^m7WI(yadh#E&*z1<$X>}Vx`{tB~XSPOj1;4KASrtTpIVv%Q=P8 zmb3<2vh+J`ArSjer2;K5glzN<7kX{K(-umLM;hk>mg?Z>1-BL^64_V_F`o2O04qoi^^B;~^!y#zig@oj?Wbz~xy#evc#a8wa#9w@U})6eVY?bG~rJn3!u z5L&}v?2QNJt^)15A4l!Y%5L?(tr0h$@ZU`e!|z1k`LG>s=4-wV6F=0WactvmI5>1O zoH)VdZUm$ChnXIwFShFEa4_L@9#&|t{>qOIW%=@p@yoS_eC;oDFlV_3J8t4>T2D?w z4Tqb;9~Y6jdRWa6fNy_V)#6rQGa?ua)!*@aa^KQO8Z$nWL+s-GaSxyV5% z&Fj?ZG(^M1&}q;_Ii3{AlEvEv;ye0bA1HCwe)79x%G0juIr1Q6FaN660I#Edhz!#X zUjc4BANc!A0qOBHLr`u`hW}BDak$T zJA;blDDujjRyP{%&YRDf4T==v@!eK9n!xOVzM`EIgK>k$iA+&lyQ11jhvN-x7x4ysOo9m<+Oj4OrhYf~o{@uT(ty4@(uKIe zbvemQu{bHnfnAZn_oY5j_WZf@%+uTnj5LC!GXEoQk^sAE)cQve4hu(4C9_JY-R^p2 zw*FvWqz8osj6)3dK6;E>GOI7{6LLX?DBsIII2_&YnEBDZB9&{fr$_i$1zu&{L*sBuev9c$in}evVWxUhV5JnM(jaUl^&K zn9pG!&q+;SvqP!cyKoSo6WbFc#co{mRk+0Z%Jbf4og0y{(NDXT#>%V+eh9<|C}01% zX8&A6DrK~Cc$MJZb+mN&8|>)J=XS@Yx&z|+DU_(;gOM?WQ1oiXV@=+m?Ev$>qfl5& z>%`l-{JS$x&&h_Rek5*o3>6a5Xu!j|D^)wlo3^02w?`x}`6!7x_y~^lK6g+$)Y!>);e2 za@?j9ar*Z+^}w%$>ubygONmdq>pc{U)+YRkkc%iOsJe6CmUU1bG{ zempTayDV2W@$>W}~n-11L z`bjq5Pp9TCJJ=DfVh|bO1wUXDJ|e39T^uWov9#rC&FQd-UwqrhcI>Fjkx9Zew-ulx zrI8?(Ss=-Iu>x6oXu5u8m0lJS&7hX4Z!*@ET|K(AsM0?`s6+*`EnR{J{Krs z@6N%?Zh&~g%=rgbimE*Q_fUa}?2b?_C8e>7%Ebv|M6Be`d(BT?P+-&O4xc_IL0F_| zM{I}SX@7C`9Tr}?KPhb6RMU75t)0sRimLW=f&0W<%ke-H)WiPnV{sn*vgAitOzcVy z>(0t&%Rm1ns5c&SfX{YCgDXs(xE#XL^wyCoR6KG*eyF_Fyd#Qc-a@-@SMu!$j&}iL zEIb^6M=BP^ImMO7S{_g-w4UV1qki!17&lUmvJdq!_}yary-{)nGQc-Ta;!PGE?~Tc;W6&v=%XUG7w-b1hTa?Y6wJ;E(8u3&EBL@)s^iIo zFS826YlOd{6am!$`t?&u5%ld|66CWNWr(P!FRCw+oz`oWopXWVp^ZI0*QnDgw^q7; z1Zz*-WWT+wL_C&!e)neUP#}Nb$B;C{?hrR_H}gW6o`opB)a%!gPxe*#}w_4sas6c zeHv^uvK86~&x{*U(!C_xmQom(p8dKWnsgkSDb16yCRZ%#Di`$-{X@2!K#+Eg$`5@qSn&Xp@LwSrU&4RxQw1NvIZb}8uAoBWodze)axI|+`it>T*eoe z7gn(kWH#}}!%6X{XjHnsIyH6tO-#+mq6j9XA^f7{CWQ@G1Zk2;PBzjM9xfR`Wo2VIJsga%*3Uo8W=I zxE3!M25j8q34jO^5eCQmR!)l~Q#X^VO&7GUPxD5RSK;$X7eBj|Bk{qIc-@nPz&wRw z6nFC=AltMN6Z2k`^Oawo?hEo1y0nSU5-UkstZNj_+zK45E^ZugRvvDv)-+2yljj1c zt<#BVrZiZ-iGVG8lkCGD6P{IloU4>xeMHP)^+gO?{{F?UjfAHa3~DC?ZLi*v{qfaz z(ag3{Y=DW)hH`C;sKCGqgic1U7xfkv0}y@2^%XtS4J_4SpJVp8!wS;5xt5ct%#>HO zf}yig;j>GC*IgO24&48QO8oMsvaq~5)nj$W>}X=*+0vm)fjx&AozQxDn`d!Y=ioGN zeT#2}o|U;yKBY4w3q@0se*NSe_-3d(^dR`%t*eNk$i@VCcqBR8moX45`V_2$KEQY* z51xcq?tPkIFf7fOk-r3d`B`k5$m92ID z5NvUQqh}I@ZsrqNnqf-1v0SL>GP^y+sBsNZvLDBRI&42gd!qwq8Chc$1oVmO4J?+z z&W))O&ebt=maxG`-pVBG%m9(<{eTMiK{sQO5EvQ3qQhO_dzC*DXmuD-WUt zO`JOMA}Y8E@za)elLW>Dk}<|_LAziP)USrz?|Ze3^7T82oV(3l@X1h#CFa#PessWZ zgf&pJ#pL&#T0eg(TNh#l@-HgUgT|TZqjyvnlBm|SxNubnd%aFad+rG%3_>_HqeGrq zGIQEYMqdJaYn4ynyFG;+MzD2%Ty+6TOXNa~(@*wd$maG1-uK9R}N}8Zn+^RVdRb!}N(jPTuHX4x-%$ERRi)^v^^(N#!;XWCmn`Ga(CQY?$ zT#;_?x&y^;_>r54t-V75^wYuW)8Gdsc9+@Mz|~YY7QW)Jl?g3nzXVEk(UB7F)Fjyo zDpJQKRC0ih)&!|ani*)OLD#0zB^j=M#74f}z?KTn$#cYe{8yv=3LUaAp;fr~!BWeC zqokC~Y4@>=uPSTX7v-+c`ocj8IX>~gW@+WEar?0rUx%VOt3`{iOD6Z^yL~+mYN=TJ z@M65pDZW!jc%?HTZqAJTS&X4bB#No(9+p#%Z{r?61n1^<2)7ROk_{%^C11^okq3$m zvAsx57vBkqOyI-GeB;MC+a`;OVHu7&=Lxd81TuH{so9ZWyGL$ShE36 zq6mti9a}T-#r)pBoWqX6%cbUv+@?O+Q3I=R6(%eP+9(RyEa6+YHwGf z?P!Y~P^O=`PlLYN0*q5)-wgU*&C%{4d8!v%*co%bR$1y+y1_Nh47D{}V*FCF950h2 z4(XX-Ud8%sG|M!x5%NJp-HdCjR9bz9UTzw>Ti)5N{A`?uWcozKe}x+z4jbyWuZK`; zkHIj0siEeY{@|86F&9de?Qx@WR6d%o2ApnT{Ik^q-#v5raV*;aC2JrLGOTgCh7&`zh$Umh6@NW$P;+}e}F@FRk zcVw|y3r&5R-6GxVBHl@93CnAaeH5O+v1VLgoR4Y1Y9Du3oyA=On{vNVSB(y5;9N&f zqJt$q&`J1vSfF>v^u@ksfC6XX`zq3Jw@U)Dd!(d4`DP@N*L!~2tgrg?4awU5neq!W zZ0Av}t@8#bOV~V=?eeUjg{<^i9s}1O>neku-ZDzh@i6y=1qFB4Xe?$`C1Mx3Ce)dp zySiJXjxF0gm7&Aw#`xcTaSM~Em}9Ux{$?a=5*B2kbjP`zKVgW&T-cwYDm8`eaVu`= z<|pCwqVmejx29j;#|R7Am_%}h6g;W=3l*(E6qtFzsez`1GY;9l35Ylv929PQa5a)( z)M)+dT3X;wt8nO<8mxo$8OvV#kv0I)X0O9!lVkm9X9GC(vu4d>*C~i8+-@Y@W!As) zo|r2|b4zYgfyb$A&Y7iXl(59*t>%XpIw87;7N0AnPZFD-rId&*GbluM3_oQ_%5^F? zx!sz+ZROUSE|?v^R!+zkL8VV&_Ah5uz5*)cDG+IjUQ%nx{+?_+&O5o&_DqQHALxlA9Y5rq{evui8B>F25V!oz$y^?~fn92StMv z#HU}K0e6-z0d4LA%6;Oibq(>0i+n2)FcLPe(uZnz03ZWUiW&Z`OgQ|6J7=7-Z-3%> z&uEr)r*D>d?Q7CSxbh^oqIlE1YzW>8h#mI!pbe-*QaD&=I=s9q6VYi*PD9|jN|7Vm z?Z2EM^rgFe^O({4N%THrHV|cW_HAM8P}%Dv(OtGLvwt#l5ZV92dXq&truJ2+3%hX- zgOPFd(}PEXCY3=|d?j3w2(v>{=$Ux%fCv0KV+%l>K3)}Y=#vY$KE=%>7SQ(NuCTDETF4x_;FW5m+Yh>CUDh$01We_TPxsbI_hIOAac zu6q~NVVRi|H>p^y_F9wGnU;(!!ffHaHR+PGS#r!yrLReFc7vK=w%0k=2G{b2Y(E}z z9}Z!C=|7q$5N{NFGjwmo{Y@a}fUlEK%h99=6?w!{obgZPHmRwj*IRL0E`e2#^E7sU z?7}5*_*xFyG5*$HQF$c}Jh>OejD8<&gC+W4>Ye!ZdPMkmn1}Ivc-JR;vg~)Or84m= zXFN+C^aLZC7LH>cp0)P?>s~qW)9;(DDL0LR-e;wQt*?3J!w6F-^%h6;?n9*2h^Hcf z^FP8IEpS0)f|9E6*tga|61%2ZHAef|r+WsRM1<$q*+xJWbQF8z68N0{8zPdiqbfvQ zqbIrGwoBV3@a^|+&)F{ln)bLn*>R0sA^VJ_`*qvFpp#ewkMzY7 zQp6I1Ti6`RZr1%%QKa91gf8Xp(7&&)Ji7$!D)$3d>KZbTNE0a7MPO;7P_V<&0su-M z3*}DC^-CZs(5=i$?V2-7UC(LM>Zf!GEm&fl)FDpFRaOs(+9tx6 zogT_z)i~fXXhEA?qV)Ws2WjQ|JkENSIfk~c%_H7QKaNIc{B(T=m@3|VKet9=f>}Lm zpFJyC7=AnCd9Ar6>b6i;YS?ajK*U!zDl4Bl6TITrMgK`+oO=0p7ej}$ffc$0(pphJ zu}JV#x9$f$xN*91eiti+F&yE{xW}#6G9^rgVv$t|zqMLU$jr5D+oWLpce?!U1+74I z16GT&`4Vuy1Wpaug9sjBhP2&$I?Wbe(bxJ*%$sVb+&S}{*io`xT)r}=$y*4ZcO50oE=v<^gg*#*R zjz2$xk+AN$`^Ynnq5`H_vBieczr zDlDE?Ej9gg!3X6_Pz#aLbf4d4Y|(w~Ws^fTEO2Xqv;URcp9 zIh}aSTlbvt52a8egMIdrNMHpq3S;=(XB>ehf zi=cz%2H%;w-cXY{vuvNlF!1zm<^G>4H+}cHS#@J02J{6VaqQ@5W(etyALFbm+$B?@ zqIiBFBRg6sQ;96fBX+M?Z)l8%baYZJws=TK@5JXI=1$PZ_hXzs&C7KI9e7{4_|n`X z+u`;WCD5hf=1Qu23}NVs+QHn9)0pQTusoehfMTJwNMWn<4H#C#WCvV)5lDGQ(p4(k zN&n*?E&re2aeB`mOuhYxVqZ_sLR>F=FXv?B*(j5tHPY48PwMBvRgK5xF!qZ@H=8oC z$Yj%Rhg;R&gT2M=Dnb0~DEwud94b`{_R0Bxn$N=;GYn8Pv#YEI;ReTJ=Yj z%~ya8{DZ5Q@G8x}iuZq<9;B@jW%k;>3+6ua9nSIDY9nIK-ZrQ|Yn9B&;A6#E8Ij27 zUuecyW{*o&7(t}f&M!sr@4rc_CAzXdNvjAdE{J(9Pyc?rNI4zM9C*C~bp};1a3QX$ zMPA~yswmeDQ8CV@M>CaF>?v1)!+3#wR7t|qb|%w#okts;UM@GHw+43wvdy7CyOe23mFu@|d#*(Hk&bX`}GneSEi>hlgLptSDFN6TXh zS1E$Ar;CVz@%JTX%~BM{)H};yj^=}1E=W-HvI@7z?{=ecqv{B9mCmzuX5{k_vC9%q zYnjO1`R$KEP6DJ;_Dy+0#v3hfJFKm0eib3WV1^beA zOB7Czp^6{Dh^B4LBOWbgUXIAxD(Sjs$t35F`Fh`SxqH2C4u9$^G-7SMf864ZN+AHei=KxbIUH+2T<|JOy z2%9el9m+3r`Ak0cy~4?^@EZwBtA+Mgirs0tmMDpY9IyGj;xwH6}a(KO1m{@oYB|uvK^}j46zbl_bM+|Ha}qrBgaWig*crHtFxRr=X~TWP4UtmI?z&mY45+1NqV)npp5 zi+j2Cz6JG3npy8zu|SI5V`^#gzV;(T=^ebR~-^Oy;7q)I$$9aepUaCpoh3S4u{o{HX?Lo_A18B)wY|-oZf!5@9R_-77<9 z%Jc*ltQXv$9F+JRNSUlH6Ih^go49CPO8=XlzILv&%r0%!9%)hwwH-YSBX*GwYSd^L zzSWYbN-(910{qV?nt+^@Z6@YS>o(gGZaD^^GZB%D zew&$MxCkE$e1eGu{Ep?FTdj&?;GmMK9xDFf!BO^3`v*dNN9h4u*)1lS$CUmzY>4@N zVpiRFvGmW&-(%#>^ZI`3H{*&>oLB`jew0vWQe*nALJOEg|Ue)FGnboR{zTZ+CYW*^n0QMlAZEcv;E#tgO{XU7>UK9eLt6|4A*J|PNm*T z{k!S<<4}^RU0XNX?$IM(BInwpFg)^34ZzjjP`t;+UDkO|-~}2HT?d7wGEIOPQbqw( zdt1b>!Sy>X2?|nBUa9E=9k7cDe?B57wMQ6@UIryG)R(u_k6?D%VfSd-R`DBIi`;Sg zc`FIkiI?N&|2{%~|8)s)1o(6(O&@0^cyF=xIF*=TPq(y~y<@qpRNVnyJV9Az`hfvo zG$SH=^+N+B-$>jE89K_YwO#`Gv1o7Z)gde;kkW`%@3qfHV@1$fxU=lpB+qXNNT>O2v z^WnU>^i_&QxRc0ra2?CBRUgz4v29=XA@W`t`V6L4?1Sw9oo;>1{cf~VnHSIe`m9U&fC`Pp=M53= zykdCA055>6E1|;r@Ag0o>m&tGr+n7J6ywn~jUGh`X)&j15sQ88BBoG?geT+(tCJAz zQP+iu?^Y}!^69u9X37ygUpIvT^>gL>;()zd$>53B=;!yQnpYbSMj?+Qk^k>Ynfr;nTmjDUpw>r1$@Q5o+IMr|h@#~f% z$Wc6}#T#=0Jo&oQJ4navU*@tbvIV1O#qL&`v(F@K%47>5Dfpn35it|Q-dh!ez1qw1 z>Ybd{+E&zr6S#Bnof#rz7af}Os))Er|k_DvoDT?&ya|MjUga{4; zzMC+Gd8Hs84FJA8=8i;82LDk-;q2uQ9uH=J(~7Nr#>T}hsZU5~+TSt90y+qK4{b}N zseEt5oGVrYtADxPhIVBPa)|mO_3ejMVB&6gH;KESlqwPab?;)^1e#^KOJGt-d`o$M zakPWs;~C<5^|kzt_gu-98prKlPK&SHcJZKZZ87M^*QAkI)qfXH2mqb{+v8ZS=;=j) zX8}dg#3?YZzQTueZNyt$U;xUXJ z_~Pnuo)egF*Qn*^ATu)ImBY~%U8-7T`qNCkw5oWa|LDD2mE^!{^^~-NZGpxj+)AoN zu1JgZlJHPY%#udkRPytJ+60Bt>T6`iM#g-d=NULnw-ew=Uk3`PZoO{V<$MlGNom?l zDwra7s%OSGJ^@IJv3-E* zYm!b3rYFkw;+1PlXt`bxnf8N7D_U#WCrt(Ralk8797FEpXMEsN-6cHsA*^Rl@Qw|A z>J_nDBzv7(#YxUBAb|p>z_8MXtc-?0fnAqjb*%c!u)$ znAg6n_u)s-Le=iYXEzE zI%@L2k(y-{Ah3}AaYLP}qg7z)j>-_TTSGnMG; z7P2=OrBN}edgn=ZmtjNS&&QNKj66x2hAQ$tbG*E;Fk_SkWU^s9)2%4C1f4M11}9a& z2s!l@5FK+&9ZVe~L;%6VZHU5yfEB% zUs3ttwR>dlE#jl4KmDl%{lTn?wM5wD>IKrT3UFgj_clqG`CF^_yOh)YKW!bA9Gt|E zn(+f%A(`TCop?BVyI{+$YyE|2gx4T#*t@FqAqg?q%xehT*kgL#7|-sXarPJ;L-tf$ z+{a(&V7gSHZhf-hv;Cx3*mfxTB*x(PI9PC!;A2-=K!He3qQgY-mE9Jh@}ElVIj>g) zcZWLmZ}6}@2z~|drVHY*d8KI*y@oXDi(Itv-HYM8)|FvrsgvP8i0iG54{{|VnSEfx zmglW!!w0oo`AEg~U3-i#!F=j@qL)WSFPnF2=Tl?WbUl666e@*(sM{nS5MW&AJOQmC zz#vs#5&8`kce*bDfg=bwR5-%bAQ9&%xz|$fcshtGM$%+vP3kmvEmK_VXNx4a4e+cPhb-HgE6NP0BxZgzy-!yvwx;}V#X16vZd@Eg$%=3A)>{mLr!#>E(h=U9= ze(t*$!yyRokxRwJo^p+9T+C29S3-*pj zvBZENCDC2qKkpX=K83ilMW*zm^wO`GlDm3>JoT^f8N>0e7}zlxxjm=l&eP=ecv1~9 z$hXf#*3i~bzQa^QkkKGHyPbPS%5!5Ed#bQI^1!o2!nXc5XI-g$7gM(EW<7i+9rxaL zzq)zH)vYFHmBZ0;LEeGQp|pYuqkGPI3EZ}Vwl0zh#JmH3@Ku6X+IAv{&6p{KOx=B) zSpM>*U=5T}z5~zHBHu)wWZxY|0g0RxnL9kmR^3UhARk`oU$ne)4r&!35oVJhMg&fJ~Hm5bnksKzD2v1WvcNyJNa6?it_6T9woxU}MbpBe65S-H-O!{5g(mjm>D`Qhhw((oW><19$2!!Y{WhQer%< z#F9!{peqU8RydPSSxWC`)a{= zzb$Q&;EOv%HX-HvaQYF3fC8JokE>+?}Hsi>TPXJnCI8FNd)J`kH+9<0-r z(R&F@^F-%TYd-43+mjN@cNl+f^7i z3Fz3BP+?Q7>T?Sn)y>naRmSMJ-g5JIpMLtop+12>DR?~~)>KrwezKN`Y11r=prWLg z&a_2iRsNpYbqL+QvfN2_!+lpjVQ17cB27HcFjx1N%!aW21XfsV#%>8UWds z0)N+lJy1v#Dgp_V-hatme{N6%lJkO=>bwdP5TZCy8Rxezf!EO8r}Q%r^^f~mG+^v8 zXVZ(7DTXwyeWBjI2D;Q9J)8x7cYAhCD@`^ZjU)fx6+k-c_;&@^U}Uk+fhxe}hxZ7_ z`)S^?{p@j&-uqhud-OkQV2YQ(-_@`i;w*T+kkVY6m{QOTwS21;H(RO`X5mgY;x#s- z3>84#72%fqPyxJ_!)-4jJgAZ;MlcJz%hbsoMXti;6Q&UePZ43^lf>y9UZJAKtPq`F zpMCCUrX$xc$u8FDDr!$V66h`dFkQ6ip*>gpF8l^HJ8t<)_*F7SxF{L%KZX-@4=J>y z(D8IB{i5QH$