From ab6db72de9b3ef5be1af05239bc88e2228459659 Mon Sep 17 00:00:00 2001 From: Robin Clark Date: Tue, 4 Oct 2011 18:11:51 +0100 Subject: [PATCH] R1 and R2 were the wrong way round in the diagrams. Now they are the same way around as the paper. --- presentations/fmea/fmea_pres.tex | 55 ++++++++++++++++------------ presentations/fmea/mvamp.dia | Bin 2460 -> 2457 bytes presentations/fmea/mvampcircuit.dia | Bin 1603 -> 1598 bytes presentations/fmea/pd.dia | Bin 1334 -> 1326 bytes 4 files changed, 31 insertions(+), 24 deletions(-) diff --git a/presentations/fmea/fmea_pres.tex b/presentations/fmea/fmea_pres.tex index 845a7dc..535edaf 100644 --- a/presentations/fmea/fmea_pres.tex +++ b/presentations/fmea/fmea_pres.tex @@ -88,9 +88,9 @@ For the sake of example let us choose resistor R1 in the OP-AMP gain circuitry. \begin{frame} \frametitle{FMEA Example: Milli-volt reader} \begin{itemize} - \pause \item \textbf{F - Failures of given component} The resistor could fail by going OPEN or SHORT (EN298 definition). + \pause \item \textbf{F - Failures of given component} The resistor (R1) could fail by going OPEN or SHORT (EN298 definition). \pause \item \textbf{M - Failure Mode} Consider the component failure mode SHORT - \pause \item \textbf{E - Effects} This will drive the minus input HIGH causing a LOW OUTPUT/READING + \pause \item \textbf{E - Effects} This will drive the minus input LOW causing a HIGH OUTPUT/READING \pause \item \textbf{A - Analysis} The reading will be out of normal range, and we will have an erroneous milli-volt reading \end{itemize} \end{frame} @@ -287,7 +287,7 @@ will return most cost benefit. \label{fig:f16missile} \end{figure} Emphasis on determining criticallity of failure. -Applies some baysian statistics (probabilities of component failues and those causing given system level failures). +Applies some Bayesian statistics (probabilities of component failures and those causing given system level failures). \end{frame} @@ -304,9 +304,9 @@ This will typically be the failure rate per million ($10^6$) or billion ($10^9$) hours of operation. \textbf{FMECA $\alpha$ value.} -The failure mode probability, usually dentoted by $\alpha$ is the probability of +The failure mode probability, usually denoted by $\alpha$ is the probability of is the probability of a particular failure -mode occuring within a component. +mode occurring within a component. %, should it fail. %A component with N failure modes will thus have %have an $\alpha$ value associated with each of those modes. @@ -318,7 +318,7 @@ mode occuring within a component. \textbf{FMECA $\beta$ value.} The second probability factor $\beta$, is the probability that the failure mode will cause a given system failure. -This corresponds to `Baysian' probability, given a particular +This corresponds to `Bayesian' probability, given a particular component failure mode, the probability of a given system level failure. \textbf{FMECA `t' Value} @@ -367,7 +367,7 @@ safety Integrity. FMEDA does force the user to consider all components in a system by requiring that a MTTF value is assigned for each failure~mode. This MTTF may be statistically mitigated (improved) -if it can be shown that selfchecking will detect failure modes. +if it can be shown that self-checking will detect failure modes. \end{frame} \begin{frame} @@ -378,7 +378,7 @@ The Failure modes are also classified as Detected or Undetected. This gives us four level failure mode classifications: Safe-Detected (SD), Safe-Undetected (SU), Dangerous-Detected (DD) or Dangerous-Undetected (DU), -and the probablistic failure rate of each classification +and the probabilistic failure rate of each classification is represented by lambda variables (i.e. $\lambda_{SD}$, $\lambda_{SU}$, $\lambda_{DD}$, $\lambda_{DU}$). \end{frame} @@ -516,6 +516,9 @@ judged to be in critical sections of the product. \end{frame} + +\subsection{FMEA - Better Metodology - Wish List} + \begin{frame} \frametitle{FMEA - Better Metodology - Wish List} @@ -525,7 +528,7 @@ judged to be in critical sections of the product. \pause \item Rigorous \pause \item Reasoning Traceable \pause \item re-useable - \pause \item + %\pause \item \end{itemize} %FMEDA is a modern extension of FMEA, in that it will allow for @@ -568,21 +571,25 @@ This creates an analysis hierarchy. \frametitle{FMMD - Outline of Methodology} \begin{itemize} \pause \item Select `{\fgs}' of components ( groups that perform a well defined function). - \pause \item Analyse the failure mode behaviour of a {\fg}. - \pause \item Collect the failures into Symptoms. - \pause \item Create a '{\dc}', where its failure modes are the symptoms of the {\fg} it was derived from. - \pause \item The {\dc} is now available to be used in higher level {\fgs}. + \pause \item Using the failure modes of the components create failure scenarios. + \pause \item Analyse each failure scenario of the {\fg}. + \pause \item Collect Symptoms. + \pause \item Create a '{\dc}', where its failure modes are the symptoms of the {\fg} it was derived from. + \pause \item The {\dc} is now available to be used in higher level {\fgs}. \end{itemize} \end{frame} -\subsection{example} +\subsection{FMMD - Example - Milli Volt Amplifier} \begin{frame} \frametitle{FMMD - Example - Milli Volt Amplifier} -We can begin to analyse this by looking for functional groups. +We can return to the milli-volt amplifier as an example to analyse. + +We can begin by looking for functional groups. The resistors would together to perform a fairly common function in electronics, that of the potential divider. -We can now take the failure modes for the resistors (OPEN and SHORT EN298) and see what effect each of these failures will have on the {\fg}. +So our first functional group is $\{ R1, R2 \}$. +We can now take the failure modes for the resistors (OPEN and SHORT EN298) and see what effect each of these failures will have on the {\fg} (the potential divider). \begin{figure} \centering \includegraphics[width=100pt]{./mvampcircuit.png} @@ -854,7 +861,7 @@ type analysis methods 19440. \begin{frame} \frametitle{FMMD - Failure Mode Modular De-Composition} -Note that for all possible double simultaneous failures the equation~\ref{eqn:fmea_state_exp} becomes +Note that for all possible double simultaneous failures the equation~\ref{eqn:fmea_state_exp2} becomes equation~\ref{eqn:fmea_state_exp2} essentially making the order $N^3$. The FMMD case (equation~\ref{eqn:anscen2}), is cubic within the functional groups only, not all the components in the system. @@ -873,17 +880,17 @@ not all the components in the system. \begin{frame} \frametitle{FMMD - Failure Mode Modular De-Composition} -\textbf{traceability} +\textbf{Traceability} Because each reasoning stage contains associations ($FailureMode \mapsto Sypmtom$) we can trace the `reasoning' from base level component failure mode to top level/system -failure, by traversing the tree/hierarchy. This is in effect documenting the framework of the reasoning. +failure, by traversing the tree/hierarchy. This is in effect providing a `framework' of the reasoning. \end{frame} \begin{frame} \frametitle{FMMD - Failure Mode Modular De-Composition} -\textbf{re-usability} +\textbf{Re-usability} Electronic Systems use commonly re-used functional groups (such as potential~dividers, amplifier configurations etc) Once a derived component is determined, it can generally be used in other projects. @@ -892,7 +899,7 @@ Once a derived component is determined, it can generally be used in other projec \begin{frame} \frametitle{FMMD - Failure Mode Modular De-Composition} -\textbf{total coverage} +\textbf{Total coverage} With FMMD we can ensure that all component failure modes have been represented as a symptom in the derived components created from them. We can thus apply automated checking to ensure that no @@ -909,9 +916,9 @@ missed in an analysis. \begin{itemize} \pause \item Addresses State Explosion - \pause \item Addresses total coverage of all cooomponents and their failure modes - \pause \item Provides tracable reasoning - \pause \item derived components are re-useable + \pause \item Addresses total coverage of all components and their failure modes + \pause \item Provides traceable reasoning + \pause \item derived components are re-use-able \end{itemize} \end{frame} diff --git a/presentations/fmea/mvamp.dia b/presentations/fmea/mvamp.dia index ccf9f9acbb3397465992203128504fa36b3ea084..f6168b9efabc646778d53f4742e46ce66ed3d1e7 100644 GIT binary patch literal 2457 zcmV;K31;>miwFP!000021MOYga^p4`E>xL=~!smbo9cB?kEsmbKoMM)f) z8;Vp>v^{>=Z{G$ek4=%(jfBTc=&Bi+GK6M>jdQxu4d{m-zpUcXeVA>cG`SiRgvX;W znWu{=Sze8Q|Mc^FJ^u0f;)g{Pd=LMYS+E+xCz6f5x*Ff+`TG0GvR)All*aA zY0}V-{r^RqZL1A5N|x8}KJa(NEp6X;?yK%b8-?VnAX`RBRSt|zTnq$7noC*YJ9XwRvuLq@;+9%8^zslb^4ps)o`$RF{n1nJ_t7Sr#bMpu zM@imU_mAClzx#9?dOv@>r8N}2HPXXEhawcG)5G#ET7;VeW>#*~(9`X<+2qiu@3uR3 zV2ZbP$l8gBgU2x2cK_2eO^>z@c#AlrV4g?!PggI-B%S>?oab9*e~#0K`E8KpqxYkq z(l6s@Cj?xOXmK_E4=#_^u71!P0AXdg*6CN95{QUPiS+IeQ~{)^|JiJ}`wTP)l4Trz z6#){In3_vM5I;{+7>BEyd733v@1QenoD7E|RgInygdt^0KW${)hSBmiZx+Up;9UsY z+@=pVH9q5ELOeyvI#?{qWVoXaM&i7l^YBY$ly-q(r%lsHIG3>0ZpV9U@E!L6ZWDW_ zNnR(&zCZdLtfKf4?k7k#=Z6Ci|IAw*0GMTT0oVCPCajxXBkH894&7z1N?XAFXoQI<03z!8 zSOn*n0#Tol1qji`3Sm>qkPw%IA+LPVR;y$90*qbAhUwKgUuZ;RnVkl{82F<1e4&9V zfG-3eLX1ub<2OLvMUX9kFFx5>@FE+wB@EV@FpviP#t;_zBn&IWAdab+G6*rK6Ulo3 z8vjbxcllooIS7!GG+G<1g`!3q>K!<0jPTEZ8`uMGG%cySTiTr#&$q%3%(ZUdh_{6! zSu9dXg4+efx0qOEk~Yb(YS<%_hwz7w&ov_>rY?9A*Pl`SzOX40OP%9%7Yj zja34101@RAsH_MDjyl9}TXAMs^cg^?VtE4sy=4Td&pW8L0951w6kv=Y z{^8@Nfk{0xY1IG+ChegwZ(95E*cN0NB#cjQ-U$J}jazq~AfuHtz8-+lhrj=Az#{*Z zKNTAs(C96r(Z8c4tSdpq?Gwb@u1I=aT0o3z$=t#xC2T4XAw)^*;S;OP>0CF&Z@^8D4+~f+ju3=+{IvDY2It&6Mt*jIYuT#6VlQ4U!;nlMjSXHlP zuc^D2Z{huQk`5!Si-&YE!TjdKw4I_L!|vN8mlPx7GauGgrQ`BpxSXPr9`j)smGD5~O_Ea9f>@v0*T)(#~ULeC{NJ0ehK0 zrkwtXlDedIU4pVFlYooDJ=$;~!!CM2gsA{jTzsiy58})3E{3qu`>`7p3mk&V9_Dq4 zZjVLWEj$UYSj1gKh8+|sVg<4uY;Acz;E;D5s#xEELw(HXnhwsMvzCB`*Td&9H&|LM zGLp-wL`D&2oCRWRJTFnyXjr?zMKO228YV*YV6mdXB4`Jv5mJb~u;0T7nbFb>w&Wb5 zJqCl$?4ku0=Q836_OPR0t;v`t110B{UcCuxARTOc~=Shu?e%a%#SM28kQ%c+p%Clsg!G;2Xw4^8Ivr~bwP>b#XMW-vnV;z5sJ%8*{^+CjoS)*7e5TDaJ_YqEiZ!)5fAYNv zCY0SoPRy?nIKM~{n;jGIiw&Ltf{c~RF=nq4Jh21j0Ij6GLD@e7lw|~xuZ2JzB)2HH z{;_>H4EwD&;m+JBn_5SVFz$qE;+y{(RjjK^5l>C2#;V7t)Ip{}GFK1;QLfU&YrX+v zrCd=sb%jWZDx2?uV4gAR-8dT5tZQo5o3uOI+?+ciLtVPhy7Y4}9B(n4nlgr0L$y5w zfXkmHofE)6;y7AwYNvYZ#e9sM{R`st08i|eJz$ziyHY0+y`A3BF(5U-2r1r$+th8x~u5$gdI z(E*A)Ls5?f7MX`yPODY>A{K3xs2~)J&p_A$$aQ@O=k32ha~cez{3UcX6>!^6X+v5FU@> zY@RQYY z<>q;s7o)o>lIErkcrCJ$ve2May_r#L*w^RbzMWKFg-g~~tGpO1$6>xtA94zt-gR3MAs)t7x&<7Q>z9U?fhfxs1QmdTEy!cFMH%gmVeE%I$cMExzL(!fjLU zJS&@k?B}D;(M^&*!1YAgdOTW}50)8VP*-35XPn-}WipSR6WGhIpk`i;_eA6E2loTr zrkkcgst^|E22te)v@Jq=W-1u_0fCFR%x>c5yBTM_uMgor7j$WSX5>{P_#L%lPVCFf<}^Tb>5N7zCsDf}s(m zAQ(apdeMbm{05}Eh>8Ws#V0!mo(01;dcnN)0%@RcjA+Oyh66E(X)2~1QAr&nSF{JL z@vm%kTmHqUgMd0oqqV_WC~CB!!I`7M4F3$wfdeo{+nTz&q}^fhbSdn>SnGz6xGy2e zYL!Z=kc8wwGzg>;Qw^^zqBg1rboAkuUk5S@Oh!#6IFL~f$w+v6N8B!m8bnA?_sF4G z-x-60L@8pJYpaGrn77YJza;Y_UlsX0Ua#|Fa^~L8fkKKrP2*xP2F_4Ato{riaH_M>n)Vc3Cp$`T}BHOXlLkl(4Blgb*dIk54#15qX|x*;Sk^ zTvJ}wz=pjJw#12fNN~sJt6lu2eMT>G`Lo4UR22DryMa;aS@l&KXUl!_my45@iF^rhr zkC+xem(UKT+y=}<1|BgLiZw<-r&J@xC@76a#PGN8>wf(0J!SOFZh9Pi-tZIfx;+j~ z?^||yf6dc}Wu7$&I`hv-vesaNCM0Qad!;owN;RDtWQZ~ZKoJ=IiDJHjF1b3W!jhUdUuV7++_ z+fLoJd<*ZdlYkiUP9oCP01F!t({_jghF!rU=M*CnG9u>Nq~juDcsocX14hI!+S-nz zlu>=;u@)2dPAqXLMsUAPNE7DB(inhD1(M>N5~M=fuy31=v0*T)tzF2{K{W`eSZlz@xE1KMzfA(60=U4;y@TU|6#+Vmir^4-}mu?&6&N6iL@X=M*X zyF~l55qC>ZA}AYiYiv|IGEz)AGGe{hclUnaqTpOqv%rCi`WV+W9UMkyEdh(5r_o_< zu(W(+Bo|Yg^+uR+7KpJ4yin25!p3DTin-%ROoZscl0}O}&<>6#1jm))u%{C;qowO? z$vMpV7<4+bOBYz2s){eLhn@B{nv8igP;zPp)|;>f(!n-3Ub(Fz?5Q$JVd_?qHRV%4 z6&O2Q`y4v;qp6LJC(&q%l`F_tkBx$MwX7+_l7umgSr`s4rUro*A>AsG6gYG?P(uq_ zm;?&-S}#}!$4+U5*=FqOpvM&|ZnztO)R@hgg;;L}WaxlLYdbp+h;@?qV%r7X2RD0N zo3=gvWpoYZVP`!sw=MH3UOIaE^Tn9gk7?eiwIeI^j^+|$fAraV&QEcnKI3zbU&4B|hP9PC zeek^rC6wLFoLE>RaDI^@Hby4kg`GSB1sRLWF=nqad14350ZK`GfwF%BD7P6%z7_*@ z5aOcT`p5R>FdR1PggbMiY-$}b!ngy~!Bb9Jo7j|{A|8uUja83Xse@>PWG*cTX1Pj} zpfLxGm2#=!)TJXSs%*>)Ci9HZ;KtF?%%-Aty-B;%&dsSkGGwQR%uYXr!|{g0soCc6 z`c!R?0O0NKlFkL-A8DGb){R5mdodp)Xa9l(J<=1qWe*r;((W3Sh@Mk$LbM8c477LC zjyeb0?hkmLN5ev<>|ms+@CTda#Ud^a4>_`dA>3d>Bzc7lp`Bk!3wanW_W!{RWy1nt z^V}Xmuno)GGxm*jlSwb4@*l|%mJb}3Z?eH5F5kl(Ax8Xn4{%EjLF4ic1B9VEn_D_S z+7B+G0~ZD6q6PyTsHl%rDX@!&-ekfpIq;@+TDCwJ0 aQuW^b{_f@3)(`Yvp8X#*`RQxKe*ge5$futG diff --git a/presentations/fmea/mvampcircuit.dia b/presentations/fmea/mvampcircuit.dia index 5fa0f364da4b8be9c9751d38375934956077c035..a0d4ad127f4a5b8a950de23338fb381d4da51f26 100644 GIT binary patch literal 1598 zcmV-E2Eq9siwFP!000021MOQ|Z{kK2e$TJ4*vGQN+%LZ?Q>*c0`3|c z*(M1u{q3Exo#i$T7c=Z4fs{x%hx5%j{^px=e8|U7FS9s!(pes*$)JM(>;yU)rQ;}> z3_AaO`Q^Rre7e8;IF7;(=4XDcY>UHk#f?(ajI4nYYt-cx-MHUSgg$|N%rU#v2IQlxt(nT`vR93a!D2>xBcnae| z=iOuZ>hx+iy$wHa_@0LoJ#bZ7MmJhH-vK0M+Gh zyY1MWJISK)+Z%VoqQT2^G%ltOFP_p>d0%?+{uJfWFxIZsM@exu_sjFR-@ZGgdapj- zk`0x&#^YfuHPh_)<6*Lh#ya0avrU@@Pt)40w=e74c84aWy0mpzmk@Ed)LHHR^Xixm z>Kj}uP7scY=;`&{T29j8zj{>E!Tw!@$vDi$!TaFPG+s{9q_e6+OcfH12c19QX2P~Z zG!Bgx?qqD9exsEDn0G0_k_*0_iCrCO!Wa&>AuI7;tiO!t!bQ{NO0!_McGh-PBuA=KwDK9wpjA zB-EBj#N1hvK;@Z81W+c01tN^{z5s+HV(teb5}t@VN|WS4C*!?ba);>R60sD4r>7!W z%trI=mAHp_`r;r2Zc7MN?YtHnRyK!l?ar+1Zint6b1AMJm2r!-2`l}7rR7aC((F_IwUxyMxiEGq1H=9XYHZy=p*Z%U$W(JV# z+FzE<3@F~^Z6x(DGPjTI5HcHni4B4&>XFR|2)Opb6kj8mzv!1@jm@ZLGi_h>QErPE z?^PeQC7&b;^S%V8yEmE%84>I>(88u;PqVXS({x+Qr$ZZdTMv?cx@&ll^hWp9)XJwx z;exW)gU4_d#Y?lIFv&YXUMy{!U}UTM=&w3{(nT~1*XxbrSFp2NoI3__uB22@GJ%y; zxEYC!7_*NugOLHb`MZyNNMG<#NL3)4FBky|T;^0k>eq=prc$~r8*Zb6Rfq1X? z2~&_8B+L-OeF3mUL|J4hgy-iO?iiiV#t5X$nnH}P;gLoID@1!%Fm5{~>6;alny$|# zoFPO^BgheAwnrmGV&$C{t{|Ouu;MC(m|rn1WLsJw3WTj>g=e)u1VCwO7E?2Gg=yd5 zN@SWUgDeG>o_Wy_rNfW_M4+&yNQo;ZhC0(TQ0ZMS7*vE9Bq2FeeFX@DT$uNY2ueKj z!X0FTt{6MQubC65^~lX`4+%-Ni)u=?wuLw5(tTTahJM05rs5?+dg=VJ?- z!ckNjK}ktNiZC@b1|$kyfQGIp9fr6zlvhYX{GCXM&p<-la_b*jJ0V^vp&b;G>duaB_-Tk1DF> znR}m|RyeF4o+1QDI~}~JCgGbVdDf%`8s0?d8bzt~q|COvrstK+uO`(n5L!v1KtOEA wl#pG8DE*eq7sXANJnNF1i8opLuCi3UFaKTY{%+&{sqXLo2Y6DG40AmI0L%Od6aWAK literal 1603 zcmV-J2E6$niwFP!000021MOSej@vd6ec!JTl*c+W@0U2GtO1B#u6qziA%L1M`ivu%CwEtSlEF`u(S;Cy*?QsLXPZ#1Ej*{r{pQ ziTcK?i!kxQm43H=zQDle32EgF)5de9g`M6_I=H!u_}yF zI=y}OGksSNskyN7<2*FWe1_7B5fnq@3M7drDXBed)>jV_d|eM7u^Gr{&q)FVEwCdv+@IUVXhI z8)|Q@+rva^rrGh^!}KAZ=wc7eHf>rw%^I`*zN~NC9h#W>($;2OK_t;q=Z*W%t8F@H zCb&_YAR3qPF1>erZu8y=}j7HlKxd|jnr-^=nK}>SqLx3SRKoDRol))te zGjSU3!X)LcisbnCoOZ~LZl9eQIzl}RI5|0C#VmWea};s=cPRI2>aVDC0GED`Q|%xU z>PjSHX4WK7c_tD8lu2QM2%};k0O5$3`9MU%6LH5`n%?PjvX@Kl5M5j%mLl-Vh@X@pM+UgF(R8p@dN467|i^X3~|-3}Di;Z+_X#0FpiX zX4%Yu;yvC)QV%0@_t*|0v*DN6Aef>a*^GdIYcEXkC6f7zelFM8j2br6?o}Vdo7d|0(1zXCour>`TJ9vh(tfq|@>yEC zpzQVFKAOkL(u^odi!dn4rR@`pZq;A?RVR!EyWuc9x5C$so>^lnP2Fu#yUQ z!`!6c;WRu2YqKeR<<2F9-GHJbo~Co{o=SX9eT7S(3h4L8)o{ zY{D5r#Pot3A!ge&LL^q+Y2gaeX$NbrQi%Bl(?WKo1)@OMT2^>g3q$~v5ZkKRlrU^y za3zAwB1?g#XI`{K=`bV!5h$!FQsRP%q0V$0RC?D71{EO&Nk|UWKmmdv7v{4ff>O`C za0l61=S-OGQ1nPG_SiA?ibX4NTdu=?*Xq`ODTTTai!Lv#in5?*P9=Uoe% zx>3{;K}p3ziZC@L1|$mmXQ3-dhaqkZthJ$im=VF({lVF_D6D-CQEv!L{&5i)Z?~tp~5y<7-D6SrSSeZfjda2ov_D%m$);M zO;zG=rAlWwA!E$e&t`s*pnjidkp_h!F4RB(Zu)6zQMp9EtM=9yU5~!V#+31s)A6R- z)N)RNIv-TnirOB_`+gLl#$l!;u}2jM0b)SuWgJxeg{~(Ro=+-TXm~xUxWL0x#JfLz zS(P!q&nhYy252QorcPxBlU;};;j1KhmLxX`uZnbuiq!d>%(lCx=atN_B2_Th@;i2UWK>{{tN+mYj4w007iH B9cBOk diff --git a/presentations/fmea/pd.dia b/presentations/fmea/pd.dia index fceb3fc96d47ff73736a22bfeb06ffe3368c2ad6..1f18d930d33c4f9e2a6a00e6d4460d3c3a7059db 100644 GIT binary patch literal 1326 zcmV+}1=0E+iwFP!000021MON}Z{j!Rwi-5 zJHbJTq2*;77}jm@wJc7y}9A@m#2B`tVEj0M2%etJl7E_Od_eK zWA~r$zki_am%E$Kk>nrE-!$cO$6TQ@do*@uS}#5hhmVhsAYNx&Cn<>K5@cfdACF@` zG)6=B?#6Mp9YkDnd#*gowNB+^sfDBXT#Vfb4}VV6WT_&zuqy4sBu-Li#pAJi`;fof zVd-YL=@SzkyhQ#7fB|KiC!;iCM|yK|1F!+Dl=T1`@ zy}WUEELyxg%1F=dpL&|E!uz@>?<<+fNi3R1FO@!-`}JwuS63%j@6F{M*-&_EO%D+j zM3BSN!*nSlk?o<`u1$-lS!p)hH|tfq*G^1vs*d)V>N41GnyZMXk@La%nmoCi8pKo}G8(&odApNU4bM0;I#`>nMY5rk2S#K- z04CKrs4GYt!emkfNKFV_O=GbEu^68qG#@DNkHZqNnBRvLQZG89SwtBFi4LB%Vx>reM9BAKP@(I;o*j_M-v#Hg1~sd010|#a6l~z zB$mYHGejVOq;Dd3itNhdewh5HRHA{(s4JDR5l6$S9%+n0Knw&iBxV5FkH>N=Oq9A8 zD$0j{P*4p-H)ANBZ9;Q2I9WhC%zUW1I}3qT<1nG>y1Hk;<7dJ9tg zx(iXtOrBZktahXI{Eag++^_|{p@L5G+Q!*@J9cUPE~Db~Gz=uCU?8P|E!0hp4*F#v zM9d;#p9RcP5Mjzp(PKz~M`z$*W1KCfU23tnW1-i|!uD%nGlSuo7#y5}!5xa5gVfWA zC!-YQ+=afM-+B6!oq@ZR2%C)pjO>s+Jc5_PT)3CHr(xfB@uaud2TS&iy0Xt?H3&vM zQqKT*fD&Y?IM3v43wI>nw4H)It;32<+bvoCtYycp@>u3?*z#EBgUpB(mzDJ5?Y3Qd*d8Fg4&&KQ?uFZzQAY$^C%f1Mj7gcxy!oO zFz*RLw>6N(v)8WryOGD2<)l!*;_eA5wKcY=(kQdk4{?KeVg< zP(TMG0DBZ5ix2>06^H@G3>v-w{Xtj#=~;hj%)1KE1qu-BTz*r)$N=~JP$>s7)wgF< z2zlmxWHAYO|4Q^D46jnuvlKOP@Tx`^s7A2!Gj1aeUf$P4edAv{To-Nyryq$nb|=N3EmkwwDDho4Md3_K4Gm?5Kg zmd8AeaW*DwLI&*8+UsPuN$H)bNeMgu+5obAzI*Kx6d1JV6quCgLyLF;y@DUfQeP8d k-z9pTf!B2Srs=Ra&VRvrceC>o*Snkl0W2#KQ3f*r07uw>S^xk5 literal 1334 zcmV-61C73m2ajE;}up z%I}tGrZb^*6LOlSu@p&(s=_? z9-cqFn3Ht+uMBk+>|a_Wk;o$Flk+WoayK=IsX$aTasPnZlT{DTI5Rrfn5|{Hp%erG z9Z^7NeGZxm(uFXc)&VjTf=Fhu+<+7qHwc+G40wlO$yhG#!Zb^o1;P;{vM5$cno&K= z2m~B%y@=lfY%bMouDj6)*ak!FFtB`{KHjxdj=R%h`xYK=_%Ccvi#f*KNYfQz?>aw|-e z5A@6vmKkP-3U%zmJQ zQ=m1tRvNH=lkgF!;Pp;u2q2H}D#73(lNtihV>Xph-z)MO;?ynxMR;INbVk{3YDe`R zr1*IXNfI-8W~KASLF@S&XKuJr6!?Y;I<>Wpv-x)7vgRqH=JYrWq{m<&V}4Pnn;h*A z%Rq#AfkZs+^MZnyFm8$-Lkbd{fP<}Zc9{05#omvFu#<(|_o8+NqZ2XMKL&$)6gPXR zrx8!i7`EI+o@Y;<9^)tAZY{!gBcI@6NRR~RT$qb?GWR&_`!1jK3-+OkeL-LLae(M3 z0B}h5Sq$HZ5;mnA1SXRP00;O$NL|dtjt*kYrt4&8AGvJV)t=7$i8`LnywcL_>W`<1 zZi6bWJNIIt;7_QF&bQqnjE~S(HW`{?_HHM!0Ct#{H)1> zVBk?|^^ym!r2=#vWZPWqUh9@3Ukt&peaTMQR z1Q_RK=lv`sDT*$VG_WMK^6;WbA6b(+I+q9?rTOlWk;zi#JVgd>z7r1@NCbQ6#w11` zLNqE0c6gEpK&^4MW^77F{M;Jvbh~{CPt?9dy?=**xSel+h9sZGU;sl~rX%3{0XCQ< sIES2=uJk1-4qc}=S$Ii_@0t?J&-VANw^v&~fW5u?AJam%kR&qz0O#_F-~a#s