From 7da97e6a68f1b6fed525d9dcd307dbd925d1eb93 Mon Sep 17 00:00:00 2001 From: Robin Clark Date: Wed, 24 Nov 2010 19:58:05 +0000 Subject: [PATCH] Wednesday night edit --- .../component_failure_modes_definition.tex | 4 +- fmmd_data_model/cfg2.dia | Bin 0 -> 3185 bytes fmmd_data_model/cfg2.jpg | Bin 0 -> 28391 bytes fmmd_data_model/fmmd_data_model.tex | 141 ++++++++++++++++-- fmmd_data_model/paper.tex | 2 +- style.tex | 2 +- 6 files changed, 134 insertions(+), 15 deletions(-) create mode 100644 fmmd_data_model/cfg2.dia create mode 100644 fmmd_data_model/cfg2.jpg diff --git a/component_failure_modes_definition/component_failure_modes_definition.tex b/component_failure_modes_definition/component_failure_modes_definition.tex index a42152e..7a4f250 100644 --- a/component_failure_modes_definition/component_failure_modes_definition.tex +++ b/component_failure_modes_definition/component_failure_modes_definition.tex @@ -292,9 +292,10 @@ would have an $\alpha$ value of 1. Let the set of all possible components be $\mathcal{C}$ and let the set of all possible failure modes be $\mathcal{F}$ and $\mathcal{PF}$ is the powerset of -all $\mathcal{F}$.. +all $\mathcal{F}$. We can define a function $fm$ as equation \ref{eqn:fmset}. +\label{fmdef} \begin{equation} fm : \mathcal{C} \rightarrow \mathcal{P}\mathcal{F} @@ -763,6 +764,7 @@ operational states. The additional objects System, Environment and Operational States are added to UML diagram in figure \ref{fig:cfg} and represented in figure \ref{fig:cfg2}. +\label{completeuml} \begin{figure}[h] \centering diff --git a/fmmd_data_model/cfg2.dia b/fmmd_data_model/cfg2.dia new file mode 100644 index 0000000000000000000000000000000000000000..fefc0add688cead4a7dea6675ff53cb9cabe101f GIT binary patch literal 3185 zcmV-%436_3iwFP!000021MOW~Z`(K)e($d^+_y!{@P4VM9n9?R>^|&b2AJ9BK(SRv zJBk#@O4_{aZ{I^oX%bt?MHC&YV1N{rL-UB#r|(>Nc=*GQUoZ37OBhr`_JxYe%f|(`lz2L`o2mw>3NkVfA)8c;m4REU0N*`RXS+&rfY?*R z@)*VEtgg#v?*DU=Z(lNi=HqW~+iTz4O_i;mesLeQ=;`H4wyrPEz6P4EruW-Gz29Wp z>^x7q?mjE((Yn7Kr~BQfz-(6dh1mWYn_Tzyk0$QuCsNzeFkQa+w}Bw(Kb7M zZq|3(y>w!lk9L%`6OkvkY1MZB^Szp$wGX&uoLRD}vzxoC2Xj)M|2JLL?O=belVY7z z>)B%VbNO|CZ-amZlC3|^f5nd{Yj=3i8SvoVY+aS#AVrZlk%;Y1z&?HSb$@=o+j|A~ zpA?%sy_3ML2r8BYBYI+x940Ky)626}Srz-{!C2#QA{>kCkLiv<6p{iz{NWz5F4Ams zQTGdDh;sArhYS<8y(qt&b=Zv0E5z=X_w*jAgP}`&p-bR7+lS2qg4fEhcoIv>5f*@6 z#zjc{dJgL75DZ40c?e;xrikD_(y#Rc2$L4V)EB}WaV1VP!c+tVaU(?`&XyVxL#;%j z)IgE7or`Czjh!}q&(yhRkJ{~ca(}h`7HLuUICM`~L4785S=3z;?dP-4$z_(`!i^=x zc0SwIw^m&PUo~I-XPV!nb+$?#S{1LqgS|JV>Vn_2RhX7@K;y6H_{brda6@9 zESNob%-cQkz5C1T0)WvHR$aQN#q9pCV0!G0v*Wv@{VsX@UA-T=*}0){l&Tm3x?Era zkBkMzt`j4X5-#GRg|bK%cnXS@L~R;en|9(bs?!M?`qG<|IBEg|K^e&jkw8SiM*?95 z0_7yw=r56tg0oQv0wWh4GZ%FS^OY|ZEv%^`ZQ$Dk_%sokUOUXJx}*Wb=X zRUR(tj(f`v4nh<_0Q*K2B5IOXy~%=3zNDTZ^Q_)bnE4CMG@B` zY;w2n;9@ZCkomF1I~8pK4})=YLW0L6T0yuCN`Rggd8?uy*`6v;IgDnNK+<*+6!V6DFat0^%~g=1OAUnhU$<3e_(Jt#_GaxmUr|{ zUt{1qT3q394N6d~QMM9`<-JH27X^Mp8UnfrhNgSX~UMr@pllM*NG;F3wNx|b0 zoiL1?G{Ja;9HA}>c55h{1}=-z>}^wGxgho!2#V<7(m5}zPUStcBivCZrFxKrs0YSc z&dX|@R?iI$BhrqEaDxev=Vo@qW;zT2;w$NI`r;hVpkhnLbeu~GP!hH*`;zB+RAVmx?W%B zI6HUPb4;Xd$`z-RODm$%r?mVV?c1YfjG~kBgaytkYNXf=opyh`7QmwL$uzd^MYVc> z%2@jtjB0g?2S{Q6!dS|c(vV@#X|YnkcO{Iv!dN!b5hF<=A4NXu!C>U0W9FmZ%KUay z79Ey8^G|g&Nb(cAxi{?2OM`^8c98})vYQ7Ku>}t3;Nv#0U{21SKQyXybe)?9UfPau zxNkCew%#_Q=LsZvr>6-Z7UAYFsCEM})Zqw}n?zbU6w#n4>K<8F3i(UhQ6n6RsQ8Y~ z2w?tY%_uTLY3oc;EsPB7v|%cRTTCE|swG2`X@HhQjA9bHVo?7`yV3xJ!kD@0LW9G_ z#}j+d9%lxO9(wqxT6H0LjLKJSp#dGb?v*fh<4O~8Fjln^3Sc1!bE-)A!dG3x?B2j9 zg;!ON)pd1~o~^SjjDMB(FFnCjFfeWzHIh*cdO{A|otOj71zYDDwmXpe><-*{56Rf? zQujJD6C(tpF<6TP7}^XiJNeRZG=S6z;*^7RAvIh{n>ftFo`vK;z*xaGh^f@ydL4~ExE(}J8J4n81L z_P8X8wI)`wREiyctn>HVZJl1mfad`YOzK2rjCoFR4aPgQ0dx{`XrN*Fsg=Wljewp6 z!c0r!P&f&8`g?JcRi%Sqq^Qso)q}~%P!mkPV*Xhxc6H8qgEXvXfRT_`DdF~i)%#@ZBGujVJs%x z2aJgFVoh^ zv_UcOWsH-|CgF6(f@0yLVLf1szUBm@Vca`UVWFGgC=Sj|jUa;rC^)jT2gTvm^JGKK z)R>w4eNj^n79%xHk(&I|J|xmEIK%^o!E6?(ZmcGawOdN$qK$zO$|5&KZt4SLq^9W= zKH+i%qsivAEbQT;N|>-#lg-_+l7!9fY_0bN12YO^6Eu5gj6udKDBp7x6s|^ilZeGP zM?%ujZ<3QF5K)r4o!Ug$d?Ap{6jk*2)%>qlX_d6+nZv`W({0rI2k=R{0U9;`1lQ)d ze_<4X+FcBGw?)W9;6M_n3*okQNFfMNmH@xRu2Q&SXi|ybE3kco?QSZGa;AyIZ?rTq zl2$V#c&^Q<9)<=s4?z&MuB$Z&IiU_C_L3sS)D(1DjQAhIb?roB)L?I_!J6wlxlOB2 X@0ttv-Biitr+5Dcj-LMNTEPGSdpIW+ literal 0 HcmV?d00001 diff --git a/fmmd_data_model/cfg2.jpg b/fmmd_data_model/cfg2.jpg new file mode 100644 index 0000000000000000000000000000000000000000..2290552614a536e8f837efaa63ef573f0e03cf67 GIT binary patch literal 28391 zcmeFa1z1&E*EYO1AxH{>bVvx2f^=!Nhu*E-Q^}Eq(eYL8UZQkluqeJxB#9caOJ)POag#F00091 z0Zzw&y8!y7OK6u+(b3S*E?-8+z#_oL!oz`uYb3hlWQ!kIu}_%`Yr2Ew6mp+TPjS z+dnw`_WjH*2!Q;nS>WHl8upW2c%WTKC@9D%XlHgoknF(&84m^ZI>#k^F$J`zmRD&w z-O&l|geK+JU8cRQxJjsE)r)bBj%$W~>&&!YEc@pS^Z2(c``xfV>>35IkRjm1L&gK3 zz`=LMWH*enWAha7s=;(2n}zz2%I0JlP8n7wbnVa|J!-3b-j(8Ifd=59I(s>u0(I=) z=mdyPs^Ba4UIXy@utV^*I|m5aaro9J=nTw7=oCnDJ_Q)epoa@is05IuQ(!Z-niAgg z@e~Lzr8>3>K2+4kg)VEI0&Qc#2!1VhaR9u;@lAH0gk5&{{CdkNK%Rmih-&EmPE@mP zH+KpIsU#|hQo>IG4C$Gr6U?b^f|jR13nMsU`pq4L*T(VNvQuC#Vwpf5E#VaS|KyMs zPXV;&rn{YjO_A3uzuA>k(^q*DjLQxv5G#bY)gtFOiG%m3zWdu-_?k)eDe#%OhY?8j z``n&y4LT&zW zXgMuPVa7N{XwXSv7YlD7%d;yKoLxssoTK!stTAjlUWLW6&g={(PbJhBgyhj+;?`RZ z664LIq!%c|CTMNkpvOdd(@2 ze(SBjRyJI>`sk__8R38(dx*hAp~2+TLG#3z-BLggnxwe3!eL*Rw72%!i5P2?ynu;j z0kyAOO*`_&SLzbrx@Bt@e^X|aM9FA2kG+#tk~!ASNjzEGwcD6&U1&HO252Z5Xu~nU zSaSX@wz8}8C;~PY!2R*0sQ|r>M0NcA5<@N;xBCqIn)a$St%kM{Gk;*bCLWF6M^9h| z<_PHEKm-Y#d(h0qt>P)RlvCax%JwUjZJw-ZJb3R?X^lhQWz|-pMWB1wDil;qcnSnQ zQ+H)D6}(>&oy$$DYimj!sP7d)9R6}=Q-h^7)oa>U(MsNT`K)ezvLXn2 zQ3NR!KU=QHET=&9Frv9~;zkjGC9OIt?VRw_@V=ai+ zFfDg2_@*=hhU0Y#m{WaMpa+~#te{?7G^h866bDZZ{6a>xC5gu<5u?v%we^ zmFpNNBL)>j$?0B@57?Xn*I29FEl&~*Oq0e&#aZ^f9a`1s<~G>7F5x~rC`aQeaN){- zl|9*hBp~VWNst#Y*dMv2DIZ3T{Yh!NGYkip+=96x+3nWuDS(sXow+{{!==48@*L%s zD6P^+*Vt=hFElu25XVqHmz+;ls_}Q_M69)bX?xRN(_`-LO z#7#vykEU*S?szy>=6`_g=$bhj5DxW|*HvvUXPjD8X3(G|ipe>&gVr4YVkO{@1b7=ws`Z~(l) zs+-)sJ=r#|Yz1NKEDX5j1VgA{QuP&UZ(TZIfwdky0U3N;CGjX>4btk)!gof=e2ed9 z*0$?hBOb}^i&rfBW+5kmmabv_8MH=bqv0^uRz2q~DNBLYYv;UDBTS2X?u3_pqfj9j zI75?=?=h7b4icJ@jXV|M<0Flc{ViPP*xqA_8DiVVC#QhL9E#~YxynOvfI#6F7k6R% zX6{B@gLkZ+0=k+9h&C;EQB(qj|NX#>@vk4JU!wnk;TOaD~Z#jTnCt ziI##hxc-}y?LP%FFw(axiAHB zE#X8;iyuS~&{M$R-0ibMzlT&=p8_6mL|5?PWBA^62M{r!oB}6r&(TBCDe&daRyX4E zDR3l^$J@*-=-h6?Uqv>@_%*lGHJ+#+aI_038Dx*Fou5my6`|kKkMc&%|ESW`=;v1( zU{y;QErc8|N;z9zbG3cRMdi?xtv+^G!8BWpmS?rDj&_?)9{CiQF**eXyyg;)ubu+? zHt_l%?OW|(OvD8TeZk1yQ{aMqd7{Z~AojUvrR4FC_I*V119nbS3X~r6+RxxoNcDz!P{(n>V8PyC(?$CKL~&@}$B|v|5=NX=7~L z8Sj|GN|VEyH$d|oAjk87uAOmS7S$HX^j+=7WrF@Y~D^`E=U z@+i@JgmFq~SMlxc-e*LLkIgcw=&aN*a`H;s#aJMfR*O`^cC)x2cH09-xJe_IO7##n zy{`PI+~)zJt=j*o_r`tmLLqT=3w_LOv+gZIhADSHaN~sHx$t*I=ZqYNH3>ZalJ7{w zOzJuS3-<~2L7gXVMJqp>=VgMpexvOB>HARMoUg~+?@>^i-ZM(Y9ghWABNvAdQ1g$H z1sEi5{QE2ar?r(Q`qK;lvBkD?B0WpkoRiU+>;f(Fd_0i69pk)Y@tjqmoBpjT(Q`P4 zK{*MdvYQ~bfkxl4aJn!e4~`n~e%?HKtISPykV5SP4uM{r1+!;(V?6Ixah-qtHN52* z63bG}fs`Aten$H`WE?N)E2>u-DtHN#5|4SjY^AmF9SXK(>>GQNsYEo;SwCC5V;KX0 zS(nsNg98REciW8*j_tzQQzY0lXg=y{ttqIs$12m2SAJ(Ykss5;Epx#~rcuT6AA?ee z*7y4EhlOEXh(63pHI8bMIegkD9-Qf(9*|?^uK7d#Ob4CmNf*Iky?%&ApAqj`znb(X zF+d9CX?cQCbw0ganMkyjpQw_h-Qmdm0Mc zl8iasdLu)w?mNoz1eVXVAxD1uoPpf4VT&mvaFunU{$7$=wQd`rH*L#D8Nqd1+>$tq zMDZS7U~6rFrw6AnI!&1`cQCfgquyMbI-&goj-pqV?=*Fo->Bh?S3Q|`llm$li%aeP z`SWARrv`-C^c@P=nIB89eDs#nz~SFbyu6(32QdB%2Xpta`YAx~JTrXKcna*kHR<{J z6+`5nf8~NdpX;$bp!K=^d0*$1kSA661eUu`TeEQiX|8JAQeL8~<5H!(3g5y%_3))C&lySW%UGot4sqyE}YVqDRr zEghH-dnDCaO8<(l8Med)$$GS>soZk6?<=>k?4qEFpv@FZUa#a1T^xW$7jg;q{yU;Z zcjhB&-p1%1Oy49A!YS6qocbnGTLax5S6D4d5S8d=;6Z?`_?CHab_!jR=54WP`zHOX zZ~{LGQf1;UNpd|TLR}yj!Nl%YvvV@DfinIW-p^e%U=N?tdgKDHeSHdCfrs~UOpps~*;pr{>&ZMQ3Ve{sF7*}wgKk6E5K z9Swat07fZ$Kfaun`nCa8!zAy3&4fflJwmYf2&dHYBdd8&X3+po2t*leA+)AUbp1g3 z{cxi4i^8Op7uWma8&p1c><<>$J%}EaqP2>DKf-`@OTvK*k|gfE#42#1iHQ%yW=xH%Lk-5a-oM4R0OBM;{8(~Keq*huz8}tqQWtdgz~034m%^E zK;*c7#)#d;MZh%RTNUSU?x*W)R=xlku?8@#RG~UHJI95ZH6Snc6y(L2gAu%v$81v| zBX;W)n2!KIjqKd_5t)O;7%_bNJ_s!WhZ*u*WH*)5ws7kO8cC1gx_x1Lxtcjm6rVsZ1QNgB z(;vf$|5Uh?k}#XyZqBTJ4Bg5Oe|du|T$(X^WcnJG6v>8X@LjD};(!Cxi+ikH(`v3s zi+R&LpqL83^UbWGjrF{0Ln~fANdf2OcD#70uN@~X|6Oqk4zvM&W$jpUmV^tsCSxsK zEq&Lq@L|yvvjDya?q%U^yDez(%pdZ=;3^j6Q_3Hn0%l;e^>?Yw>>B(p4-F>?2lu3H z1Jer%VrIER@Y6yu0SmEa$&8%)OUL%$Qr&5+*~h3j1$t#f$>YN_UDSqbOehp5TnIjB zjkQ>kwz7Gm+G0WKX!%6m<-(h$K!i(n3fx#t++;Wo@5Y9YFb$sq;;c5maMxSl1;0pu zYqA153r@g+K#;{gf2zN~6?~%pHDCbDi;y{weTm?RRP*E56a*U>%1TXr#W+pXAm^edM`CKc<5w^>F`&tlWnCpENRy&>~2alax#5P#21*51i3YbfS@QI3HN zji;jDgqeW{k&yykwA=MhY+n^Bky~V6LsG<_Km)l5RM9JARi!y}(PX0t3Kfk7g#>fh*k)|xVlG0(n zMM0?)XCIw66Q%7B(NPt+!k0fHh zXXZVEKR99^ebIlEP~z%iA33#pJjMKs;{*}rL&ZaC05%1qNNFqXeGM554p zY#|zB9XlRihzl^FapPI-M(}`Z=lU>w9b9JjY0rX*!?Cl30XW@C;U|niZo(i-k@(|* z!`txKHZpn(x#`NtSPP1|sXi?eZdGG#_flP_JE&WBihpmGx@4M*7Q|`8*f#Q=rTM5nc@Pw1nykAA=wCvu!M@80I87 z#!;jCy$`dDKUSts2uO@kC;ZrF%gVw2DJOf_1TRS9X@q8Pi%5ESaUKoCx}M)` zXWe)h-{)kirhV+#a5noe8di!=@`!~FD`bgJ0|{58m}f{|)_c}9l9f_0G<@~bo zuOUu;%>yncK~t^+K{n!V!@?16$pH)%9u;HjKIn7FTW7uB z)!iwmd-PzHa%Y(rFGg>4KiJfcm0>Vjr=0D|odfh-RX5R5S*yFq!IrC{qy);6$8;6i z$Mk3o?-scS?qTu;w5C`HR?FWGtG%hi(c}4e_beT`V^MR!1YZaDx3j$CIQz+`gd_XE zVqmQif*?|JoYg);)r2p<%k?Nf1t`F2Ewsgc;*ndk`%oS-E%%Kfp7a#>pp=L3d%Vn? z@Ut)ZhpCKzBF*qG?51eEvs9R3vlPw}9rsKX2GsKmvJ7)Io<%?+y=t)$!6bJGlI1M85JbIYejywL)fiuh5(=9@(JL z#;h+V;@mlE7_BNijATUhS2wY1a%p)xI1}Ew?KXPFTTzsM9KCINkSqbsMEmn-SFkC) z`-dS9*JMY{#*(Ersnn4qDHq>5je_a;y-ARn56YZTAL|rsR^E~}qf+jWIEW4e>0X?Ib zNBfVzmb=n6>(s>Dq`{D#zD9qyGFVCYc9Y)3AzZO!z}7y$sBe!|P{lTKv0WiF1(RC* zju`sP>zCTE-CI|?DNG3<&4=*1VFBht2NKo?PR~`cXc{rx3_>;UV7U&~QB+#4;5$52 zQBCgch=hK|GoBi~v*dh|7%Vi7zHd7Ac8To3b@FrWq#rQLuvuMNx^{&pVV`QfaZqR} zqA^XR=Z41Xe{eCYdYJbfPUChFwy*d9q6|HBru@+YHE=}H$ zWy>?v_cLT3P6X$c=~)UZ_Y@ebLA;g}MLTBd{+{4seF}I6BkF?>l@j(u4#A~?Ms?zK zj_|XfUtB@f9S3@Z0i98X4;+EyI5~X(cWw{d1v3x83;-XP0bm4U3AIz;;Rcui0Aq`h z-xKzQi1ewm3;-Ccd`LkM8l1>g^Me@xFrayQ9wq!Zl0pR8iuOnX-mz=CYxQ?wcX~zgjvxTr*o_rqkf*(l4schsa)OIjXDk_oL={Dd}cqcmE@e&eVJ3q|6 z&uXsTze~YnitoxZ+3c+L)r>9O%ij@ImBoat+UnCK*;}_Y2MHjH`|$*W)HNo|jf0D& z0_6kOW=EwtARUuBh1ax&uG~t+n#V%+ba#@&{(@W|(-dcC%=UG!q)G|LtqN|ef+cHt zK*T4s6;!2SD-KwEANJuE%p-K<`M_-Gl=?x#SXNV_#gl=|I(!k;OIGlD_v7xO&3Boo zM`~I(^0>5$t&x$6a>@pkd-QhcUlwG;TbEvsRxfWmqx`atLr%5O!COfK|aiT zIJB_}EQnCwJdnS*rp%eoI{CH&sR za&_1=l}u?sT`utXvoM;k*JEwMM22pDiqo~EqXuVyjXWCRdj}oo*lyx>%7m+@fRPc$ zm^yFUQOjjU=C-+TDh6ctmFCNZ178ic-bGyU->>vvHq9ZO?j%-?8>Q}u^`(DQGE>CS zolC*UV&cs<5Q*PAO+hg3xgXcYyn3AX|`&KSVl9yasCf}stwewe_#O2s2(>Tmg( zfgx>W&^Hb9uG3-V{8~PKZKa!9IR?{H1S>g6<5Lqxo9gNv6xJ47qjXQ^1D2>0ar}WA&%z z`m}P6x>(n=TzZQN2#W5>ccGKuptsd_(*~LJ87AVme4cEW>&?KFjO<#HlYSOW!GW1l zd0ZPJCFn*bwge{Sdwxy&{o!A<;HLmD<|$y6j+poz^ZpH%MFSMPfI)w}LlmM;Mf>~B zti)V+3w&EnNct3bl9hKtFaS7QMZlK4Yt{%&PJ!geB5qf+mOCYW&Ib{SM)x?fZ^3R? zhDgb0qy^s{Ej$LZW^_9Z+WQ#AU_d0TRAs(M=S28vOjC}cB!{3M)5JbH0*Q~c7^1^Z zf#w7Z_wAkVsyU_vcQ@K&u`RwKUzOizc77G-sFtJ=cxjAPzqB|X+s<8mV3 zSMDEg9NLx6ZQS1u7p)2qdD=XZYXX1%8u)}Y~ z5oHdur<5areBsn=AROn(R_}^d3qjGjRn{d%Od&pi zGsYrBr1$d0R(?AdlnHps#%!QXZIZ^f%YNI;*3tsTtYmLpbj&w|FSy6~%X6 z-%Z4Q^u9CW@w@bEaecF2Rkdt_jTZ1CRF{aSE4Jcx_VPGB^qM2;-oHf`4qP?5dWUtU z*Wd&G1G}|nVK5RcF>i?Xi!J(K!n~OiK{?Ns5_?h}AIJ2O++Z%NqDU*zc%w*s2-YQS zV4=pJLY5C$*@F@oImsqhxVCEvkBKiiDwkXxzY@({_RVl)9`6K zUse4qSeJJHh9NI!G+o6wUT+k3(M@EFl~QWto-y_Qo_fk>54k@V2HVK;-sjbKq!3YF zN@{uBlPBUMTTS(}^KI?eY^A?F?XHD$QCBa?&H>~Jk5*)~@`**D+ODl65h?fdRjNK&56t?w6J zJlF)L-Tl^%arK@TwSOq!{XAd6js^YP_n8heUrcp2)E~8#bwoet5+m~c{>BR79boy?5uKpcGkQv$ZH?rcyRHrl#!hI*--2kZ)n)l}1#Y{1U{pg*U0Z94F$# z1;&=CHbYnJ?Vau^Oqv!s+n3+E{Q$crn$(*vn_pf^P%de)V7k|quxFRBqCbuFk>VE- z+qAFItXnY3g_s**C{H@K%^F;44fy7-K-RcHmx@v|AF`~yzXg(4_$sg&Oc;yHZBvx+ z_FKv!Ns*t|KPA~Q#jA&XBDj)b*#+d9|E!(*Rh|cukh2NLZQA?XBcQk4TPAEdzPmY@ zKPxOKiD(FGVlSFdrVx8E-bHK9A_5t?EEL*8ZV&^ekHG?!v?ZUpptM3{4M_Dzu}Yo51m20aHZ<5gUx(+UB!#s1i17-a#d-$ zhDXCZ)OmrdTG0ZXfh6}2t_8G83%*qfigZ9O!we)g6ey_vFr;Nm&Kq&_u(Bb_iQ+gO zJ7{S2*@1hmXJBsbEh*afK?9K0Gr`7>2jLRpOakJ*EQbU@adIY7xT^-$Q2vH{mDP zPE-gikm;SxKu-LBXZ=fe0-Se0P=(ALyA$d%LoY;%o1-!wYl~JBG4?&~D9A7`M)r6V z8h6F=D|7$frxSm2tb;u&(775gkfT2fa8_o<0$jR3VNVU9C-N2rfaf#tMZ zk6-n(e1aR&GJP8xn3HMlO9Ue5KpPpaIMU??qFPyjh4a>7%~QT_t1jihKbQN^A8cCrDHW zLMyy^dztAz(A`_y$=)bnrM*J5sWn=1=}=n`2CP3FR7cU5Men95V)h)aCc875HvCG6 z!SROItPx&!!Zj=+tdZ6j9+WF~OVqA&Ro>J}&d^u44S7Epg6ltfuDAH|+oq4ZBqn4L zI0S?)VLovohqaJbnziz1$v-Crl!Xso9`j~S!W`icDz26)`|TsB?+xqAy2I`5%LW@k9r z;Se#6XlM&%Hlc!OEr3!BSo($k<5={6C@Rj?ZjQ&T+FUxOozmTE2}n4SRxjya+$q+v zYq_!BWRZehTgOj1xPIn~FJvDRkuRDcc_E}fPbvNw*i&u(5YnF~CjSWR3E=fVhV-Dq z{MYp6k8!;MsQmdcq(4teUI^?pCB3S64Q8lt9vj->%hBiLo&*abEm;@Fg#ce#il6_B zGDnr_4}}A3^My4<9$$wZn0q@k`i@WsWKK`J!7;!^?D%HW-1itsYpHhF%Gk+7zq- z_6&7Md6R8K_hERQ6Oo@wxh=nFgDK_iNDOn;Tv=&@r)t+Z8;_99 zxUAD57yBqZ$BW>j1;x}oe_yuNzC~G%>sCQ%0}`6M7?Rk)6lEK@$7 z!g5(3nGUc(7hd(*N)KQck~{^_4@Qo0=jaffL+izttJdiPds`|kG&tI=ZsDMPJhNlT z`dA%Y|LXq1C=THIzq1Xy5eBaRHoB-zew zIwT2nGWTw3&q+7#pOqs2&dDek`mlUwqe{?z-^L1O zso1g_je&)q%uW7^XG38P)bt`0DiQgvEgJ&64KnL(MAj%$7jyM*NZ_t0vE<#E1og?Rz@HX^+B7 zEy-;tn*Ig{^Dn4h(9pIX*B>G9GK9oae48_8R^2li?@w3VM~~zjd;OBhs+Q`_4UX0p zqo=OsnJYuX`&N#Tr3!RC)qT9Qz@zDHPV`k}=1v5WfWwO&?M;-@_~)anpCdasG-6?H zp#p%KyKdDSPzKBq1NmDb+p`BpxOI^_w&9KT&zN65wFrm|ok<^U+-#DX_C~c2&~tNc zrT)d~Iiz@_htOFzCn*tN0l+lC*91m+p1S7vE@E4_f%p1E;(fVX*}X976hiu1(TQz1 zJ&Qf5W>K&JVf=rLXa5T8{`5Qk8bSv$@hz)+2fZ+JIC9F^7oL}rwh##xo;DB5Fb94T zesVWS_G{&{AfnkoO?btsH+(FNPxJQ05YNuEe70IH4XQtCZF}$x3H_VdkDPx07*}@h zC3x37d%GuxWK4A?n!9n&{Wd6?W6Gj~f}%O%o6U=YFltY^!-$iFY;4Tt@9=$`q#g7P z(989(?K6e-ei~`Ezgo0AeQn&X2hG}%zLCeO&B&~j2t!0FMvjH!;5qpVrG%Nc#&TB- zZ++n$&B@NA%dcW)e?!nhD`7E0(lx$IVIr}Tt2iW4H4v%_ba*GR}$9BaD-H(}&%4l8}xzF%)tlu2jg#Ppc*EWp^~ zD8}50$#?5AO>>?Ux<4&_r5h+JPhbZ?_NF0+@+bqp0W00ZtcD>3^JaBQ(gaWI*I7m? zly7D@3Y+L%Ll~CvmY!#mrf#FeA=&kAOGQn*d9IGXOzDnwkt9At%u26a8zZY*nX)nv z7xOo8=YL6)cec|qw;^tw6gKRvAQ*b9b}}c$**vz?mpY=KNgDd$g=L4a%@mpGScYol zgQ5N(>H^@45cA9`9K%6dwr5@4#V!TBum zSCj=7qb%PU+x3or9>3A1^CAHHhI-nA9|h@_xJE9tS&MVPg+JRcMm9VV{(Q=K5*|e~ zc5TZ1_4}4cMO>74sg)@%h_?&#Yz>4!1T{uj?k-OE4X=z($P$l5Rwg-=O-YT?%5h z#bYI-*#sgwIoHixY3D-<$|;4SEz}}=c>y!4N7LWH};^;G1VLZWUM_fj{L7-+chxt}#b|fKz=77xBsmp|TD- zE>H;op71081)X6%1TDGOa0)Q*gJL|88TT+a^qJm3R|QGBT*T*n?b`=nN=td`>jW)y zVhL17e9S-|`Ol2yERs5uesLXS%|Q*`r<0mP5d2=asbFa%Gsv<1G)T!m-x}W7St`Gx zPDv>rjZLC`+uXE_yH84~#_(i{=lQ6Z*kl2QQrY5_e^BYBAq*03rvQ>sOkk(iV&%fb z<4>C%33_qswsf~zACO;hQi5Mp;hj@^f2qPdr|bSw8FY~7~E|$YsLp8^d%KoLK{qBObof>O8XL|$lDTTOoGf=*Fx zpV1~V7U8HF=E^IckepQ?Q9|^xIEX%SfB8fp|9CY6yh%S+F~4?U`LQDMmy)6jwa{lF z*pFqs8s!rA9cFk$_Ci=d~w@ zuI<^$?ou1JmPopIm{81aY@OZng=?%B<8uekZ0R8fU;;>FUrJgO;eU)0{1 zuA4$HnS9#SbWxCCBpA34MJdbwCN#7T`BG8zLI}}P!6WmOJD^nln?hNH9gNhiLmlmU zw>SlJO5)k()>N~tQcVFLmjjd9L&du_gyY7PjAeb=a)!x)k8)E2Vx^O`U&_3q4Ff1vphs0_~tj!apy`)$A?ogfSbz)FYX}a;Z_#{lX%- zkjuzcA(p#|*!P*q>aVt2Pv=~komGi6vRSncgAo@B5)XvI=EIzaI{zH;sj%ibC0&O2t4;iR@C&M>x=PCL;eYm-$|l?y7)#hKo|(%|e8M_7Uku z&Hnvg)P-INI|85zVc7K)C{Q_<7dqDX*;r>Ei#rhA>noNdWm-q{h9tg>jx$rFwN7}4 z`%&rR5VtwjiXiKrjOIB@}=(}v#P|Uj&Yn_rD?t#eq{&nf? zcO93nTo1thRyz@AWr$prT;8d*&3bnx=Va|FSI@W+{{66mb+(+#*L~Nd_?rw?72i~o zsBu20V|8m_eA2QG_lMi@|lf4Cp~GgCDS(@k0%U_lgP@DM2ymb?ADimgZ)jM7Zdo`xdfn%nDl?j3v!6jGcuelrCgOng^H)N>6k8=x|KQ z1p0o1*#j_bJ$pCTxW*6xy2TKsgoFjtQiO=a?aE*cs{6qHuio-6>MWOk!x4X3XL$}J zE>x3Vtg}2@DQDjMLN)16b(ZJO`!9!MW{Rv9-YmbGnKhD)cW0=6WaX=BeOEvOJnqt3 zVuNXI_ua=e`U4;iVxT&9{Z_NJ1|5KRvws{usp$i~+FyVE#!EvwBP2#U;5MWU`JLP> zTwvNo{l`KVkn_H9BZi?+znYmFhaacq4ntOBR6c_$MCd%T!MtN-4j9{o$C)nm(+;@_ zd;F%SM0tjh_QowyFT6(y6WdvG@L3pzpmKgyB(ys6;4&@yz)imF1gf!a+ZmEMKN1FC zIpm4E_>qpLLytH!ki%bNw^)WwW*Wbs=`-8K7O%Q#sqdJrZnVSwew3zlGo%U&vK=?K zz}H6H1lZZAM7F<|q^JgcKKf#%YldpNPp(1v+YL%<)KBgUSJq&Gt(^Ft#G^QDfor!LGPT`Yr7B zw93O5B)mCuV_BVxt!ZtFx36RNAC^x~>*x*U(tD2_)~HnX$?el!eN6n7bfnY5{@Y70 zS{F~e7i;q_EergKxXQ^@+x5b7>Vr@G)v5+e(<#Y|;~iMPY5}DzeP++E6F&{mP0!#X zZVcBN*huPqH&~3G!)j*3EbaR&RwY~p#zp~)C{4a)N5#n_%AA`DSG5h#WZ27$q5Yb?yGP9=+B5VezC|}-k>8%<#U0(QA~M!I zOHKG~ZyeZj!@0FA?3&0}sHg6j&@k$j-|Cux{mTuJZsC^DS#^GwSeq%j*n2+4>~?&$ z6rHL+O{gBUrzwUdk8$ElNFCmqhLho&MBf+z0H$aXUwNQD2rbR<7ecB3FDku%hmU_z z>3t5>eyoK4snYwmT=T_B=!=yUzhlt99*#?I3TGirGSVVt?%Ks*E$=*52`KQ z`}1hB;Pp=eO8hAU-@~jO-l?0&=U=AtMZF=b2O%(1*ook$*2$Ea?!5Euo#|b5KV?(O zx%+ZV?d=%!pN|@%aa5nr>mfID1U)y2$MjTn<(%V@vweywT4Po~bgP1Ae37%(^EJwq z+8{~lo=b}n@6}gHZR|_x>Th#$N>yr7sAe(aG;)T#h^QTL5g%l8A+mMk&UrH|G$5_2 zq$*C+dRdaz&H|~uGU1!vNbZh!zlu~}Qo*Alnb=p?BI_qv!sI@=#o6w0dp(_I73h~M z2$I~%TU(ni3feGIC_b<*rO}HP#*B_cv9OEbIi$^ce)zG0Js4o0RVjF1@nK$+&?G%4^&uiu$_;3;3>BPTwF)LP!%HJ6F)h5BY)h;-$-x#=FO z$mI7vG1lS^X%<=ND^)$J)?wl)>_n;E#lYQme}7E@Y!T&wqT+JcHR?MRxqFP`amS5# z0iFTF22YJk1YAERv)upCobOJc!!@nDpim!dHUQB%+l@d7Tdxg5SejE{{5FVTM}KMe zbMYlN+>7W7)Sh09XwLW+nj`L-(azyeqS5<~&rCgEbS#-U%`x!3j}pKMcD5N-c`Wnt z01K(8V2qX@Igu`4$cq4iF{)16wQ7$4vF_3{bV!IBff>kUbw5=LoT0+z!mFL6?0dkG zZxirYvRHMF4!i2Adw22kUQxU@6wa~Ys!)kd0RqElF~!s;9s;`LIt4i{v@=;m21T3u z;bvV(`F@|cSdcFPGw`bSFA^yS3&jD0x0sRw>HA52+3+HPlf1Q+#od;vW+&%?5+|*< z=`f*4o@*s}7GsNs*B^26W?kVIikHh#|E-tSIhh1v5HQWJb?6T^1L;0tF#ZLbUU=oK zJJL^YI{z7b^EFTat95953Rpr<7{HSCZP$lQkBNL=a63>AOAbs|hqZvbiQz5$*2?ud z4Zd&cNk^%3#C%+T)~_gNGNBCX4>q*zzhVs=$d%}P-%&e9(xq{*n*}ya`MLARKUb~u zw^{T5VW{u$g3=-D!GNt}5tI_F$b9_e@yp?L^OInLF|E7dJAzp5hXsa93rJJPAl!N>4f0oDlJz(d1Y&{bPU)4)8I1*|R$gPmw^9&z z>>z>l@D$i~H%D;&CWNY|2YD<%I6|Hktg8$@yjOk38i7IHC)Aq5a~Fvo1@dt>Pl0cu zAR$M(bgYEd2*o-Dbl^>mM{@h|S(jo@0cv%d?W)cxsLPzW?CtpEGb{&AgNxVe1yR<8 zOPwRxi#AFgU$pL=qPt)s)#e4`&Y|@M6X6$(`<0}-xZ-~@c*w`og)HOHT6Jj8R9zeK zxq7fFm{U7Hr+Vt9nj}UeB|15zzuFM_L-L=xlguB>ZILy^6P8IcXGOE^!6+1kdFq5# zeV#G97m?q*UI+1QT>)8@Ar;(NZNJCYd>lrVJi2pD(yiXbzPlcA!1&yU_PT|0MJOonpM~cnd}rw-8Gf#3_5*y$P@ai75ZWbdY(g+Io?768jDc9dWwnWuJ+_e1+Iq zPzxQrl@4(yOn7hTr0rA9;KKW%kA=FRSbLqefS`GnHN;GJFc#1cg0$wz+=+<)A7I7$@gL=C>w48a9Gd+-_*q~Wl9j~6DV%+FeikJT;e8+%z z&16~NFZ&gM3-l+4hYR2Itc{6Jv4%S)IYy}{R`o+im&o3}VzHn?ri+izzS!GP{x@mn z1yYakXIAihqxs8ri|0GmU$t92-~0Zm-Qxe9L%K-%{D}rl+-&i15uDyAhCcygdfg-C zZoz{-Sf!cW$v$86;tE*7cfrqDA)w_0yWn0rW$dJtP9HF2Q8Y!zQ4<~Hwt^ zzX4nR^b+W?QY_!snP#gQ1%;91(MC#*K#I`!mxPuMoB8h=el-g@C^=@2OWL;m+ zor{!j;3)Ln--=79aB`AI?LL$$k`q{@T7L`eEG8+FE55NTVHrj8&2cX)$JVTr`FVdM z8wHj>o@H4E^)=*N$dk(ll*Nmq3?AmB{nEX~?XF7G`QB2G#pn}0YjDYt;T7L&yrpB& zkcko|VLTY@bu6BF2-lK%8abtuAWJHfI{D-Y*e+%=EOoBKjxHz>B1&Q65GyJ0ED3Iu zp{^~N-nc!^8rR0ms6-clTsOVfWOUb(d?<9>vxGMQ7BvS1>}WZ~lMj5&wnb)*&yDgF zFZB)JSv^O1m-l30}1zd9cELKBueD0f%KC=2rbT?={zCp{ysPQ${O!} z=>&O(4iDnTRtiyz@|9(D?)~M|&V$?s=^ahED~z&`zK%;D>}fNEz^Y8mHr)Pwer!OzCQ<$(*7dyPZ;+fAm_u;h(NDRc-wYqMq0OQ*py?i{8s z`zFk;vRx)+klSM9U%Dv;zRFucNn0z52Ci@ASNnZ3$}!vBExcX76cf%G-2}W6>KsNNlN{Rh31pQ@t;piy!lXI@C;gzxRO7I3 zk6&cz+TS2vFD--N5V*Af@m^6P(Ue90dCT3x1DIJOTtj}{*2Lv^dNRIf7%-t(nS}Po zn@sr*RTg=swo$rs-E#~TWYhOI6DpACA~Ta>z^-l55ug5O0_rx3{QXTIOUGi8`6gPj zhK*JQBDd7Z-?-jx<6>mR|uRhsPtIC>oDt)B4@_JPxY*ux7<)>%8h=` zvYREXK-zrWi*}@}enzym>GAL7%pi3Grb7QHcK#(?nllHxquL`TKp&qhu#54R&gI`x z9Q~3z??zm7br*Bwe?RK@E&31w;l&S)IL}gFn9xNq63Nd!0>fCa^T~O>;ZJFek4PZ( zN#ek(utk}lY&JlfM=Di1Eg)c;Ws{x{+R zsZY59K}iwb=(N;+(?9?IPnf!}zsQtbQjO?A|MRuTJDC24*KV~8tRr*Vfxh8lpztRY z{XYxrk$;+W+b8BTH33zUDcz}GrtlEGx*}7Y>}z}v?S`=Ul~Jr9)5976Qv08Ox>eAH zdH8cDh_g`XuX}5qm2Y31h@b)zlAW45Py!r{(H{_pVkj|;OFe*GO~T+_uQOR4I^u{SXzDIy^q-|TxNY# zoboR-v4C3sdD7+8_$>*q%+)M?ipX>$1B&7fm3uOJ{gGk3I90D6VurTXF$^fLVRDW& zmg3WezeJJ@#9-#(zYe3r+HY&gOuYQ}_S42KT(4}Q`z7u0Mb5EL1vEa?NW@orf~1JM z%?9)F9pzJob@`(c z<|E-bJ(k6vaYX5CA5ND1P{ZYNv8nMd{nh_e9(G=%t@)3e!~AjSKefkMrPAJCAm4-DEk6 zIH-Hj6vUr3<*istzH6fxEig9J>hUt4WR#iT{U$NFMB$@|s`CYUg{xANWRFbB+-wf_ ziXuz;y-+Q2nbt+2Ti*(JmV|I--2^@{$1*8jqNa2UDmgoJ zIg_^EDn3F%>Me)p0U?(aEkhsgUf8;Rrv5=x^arYZ4N@Avxn|H`HBW*6tHj0$xLQ~4 z*)E^?&L5k;{a!8)M&;e#u7V5~+BkfxsxmQG8fgQ$uIlWBt1p38AUL9@9%Ac ziw1b!WUuS1@HwsIs4bj^Ld&-BCnVq1WmgS5dHZvZb4sI#-nAsVcd3WK zosUG(tM%t$#P$3~G*b3&EB(Im*M~Um1OSlb0hI)8lgHHo?CW#GvYC|)2Li9{v9Uz! z=$!2cM-mB48{KLXLbe^#YKFK!QeJNO(rrsONl`JNkm^Cd&EP8;=>AAwF1EMSwYU56 z8O8guRD>p0v#@WfvG8S8|Nj~9=Tp-*Jd^=kh@FPBG{*hm0 zYwduiYfZZCbtxt`^OCi11((sAg5&^^X*@;IQzgExy9GR}_&sap>%z6KzJJ>;aQCHH zuIjSB7v=8T!i3H?Us#c}g5#~E$l(WTbAhXQ7MfMnE}twvIZ^h{bpgqsl!+1fj!)JJ zth>TebMr0ez?MR({x;LXe?vmSK@f4lx4H6(=Oi$ob{n z_z~tUy*(r7mUR9bkCGb;J!SW7b5=YSk+M#P!SlSV_A20E{3*o4DL| z$?u3iXM$8&EuN(E$CRx@Z|2Xj{H&W zxji#EV~N2{x7LgMKF#5Cd}k$f2{`Xt@m%a9=c1mYGL39coE)|I6Ux@hzv=gy)y1$< zZ2IzpxrMo+t!oNmHt+eUq9qnqzb7J@$G_(5O2y4vw`cm8T{xC{d`2MC`vY9YeLEQV z7cebf)L{I!L{{n)_Y7T=+1wR*jpBkwb2>IPaVR!ONSsF~DTed}BD&5}UGjYZwhvuS%3RBrPoRF#JT5H$2f|YhvuKM0Zz9XSiN(4=<=oIFHrl*Z{3+Obwj&ay7ZYIT&wRlp`C%4zs$9w(#c5c}7WBRkGyDq>D0yhG9PaJ5I