From 9e6fe66e694f3aef883c7e19d0b1e698fe5d16ba Mon Sep 17 00:00:00 2001 From: Robin Clark Date: Sun, 9 Jan 2011 16:44:26 +0000 Subject: [PATCH] Added a partition c diagram to describe unitary state using set theory and an Euler diagram. --- .../component_failure_modes_definition.tex | 16 ++++++++++++++++ .../partitioncfm.dia | Bin 0 -> 1594 bytes .../partitioncfm.jpg | Bin 0 -> 16002 bytes survey/survey.tex | 14 +++++++++----- 4 files changed, 25 insertions(+), 5 deletions(-) create mode 100644 component_failure_modes_definition/partitioncfm.dia create mode 100644 component_failure_modes_definition/partitioncfm.jpg diff --git a/component_failure_modes_definition/component_failure_modes_definition.tex b/component_failure_modes_definition/component_failure_modes_definition.tex index 0aed33b..0cfefaa 100644 --- a/component_failure_modes_definition/component_failure_modes_definition.tex +++ b/component_failure_modes_definition/component_failure_modes_definition.tex @@ -720,6 +720,22 @@ of interest when analysing systems from a statistical perspective. This is of interest for the application of conditional probability calculations such as Bayes theorem~\cite{probstat}. +Another way to view this is to consider the failure modes of +component, with the $OK$ state, as a universal set $\Omega$, where +all sets within $\Omega$ are partitioned. +Figure \ref{fig:partitioncfm} shows a partitioned set representing +component failure modes $\{ B_1 ... B_8, OK \}$ obeying unitary state conditions. + +\begin{figure}[h] + \centering + \includegraphics[width=350pt,keepaspectratio=true]{./component_failure_modes_definition/partitioncfm.jpg} + % partition.jpg: 510x264 pixel, 72dpi, 17.99x9.31 cm, bb=0 0 510 264 + \caption{Base Component Failure Modes with OK mode partitioned} + \label{fig:partitioncfm} +\end{figure} + + + %%- %%- Need a complete and more complicated UML diagram here diff --git a/component_failure_modes_definition/partitioncfm.dia b/component_failure_modes_definition/partitioncfm.dia new file mode 100644 index 0000000000000000000000000000000000000000..defacbbe4f97fa7a992ffe21d2b608d0bdb44d1d GIT binary patch literal 1594 zcmV-A2F3XwiwFP!000021MOT*lbbjYz2{d@%ylA50`U=NCbcVcVn+O-@Kblo}QjSyv-?3GZ04)AZL?* zX&lpuFq+u6Z!GJzg9YVOUMsIs&a-Itz?qfMHM_BAbpB`CcnQt@-Z_l7RnEMxRbyK5+3VR(+~4a@3o*PAqtgbCkn8YV4%HL zCCl5ZU)-x=NacmSFWo>}LHL?x%P48$h`EW2iNGMh7>mguVGu&!_0eulPKTR)Te$e! z!e!qUF3RsVX~r`e@h0RfO=Cur0+nYE?0lSjPGdo_Lt*uZ;y&U$?HK<(jq_syC@#OO zwo_N`GK&_67jDI(#miH);H$f5L(^4w-x~7%80FC{X1dWw3BQ>8?Pc88?~YRM{nvZ4 zq43t49u@&3jGUexmJiW_2Y|hK@{^B%Q&}?D7wLYfL_P**6HAl3#u|L7;^wa|q&V=$c=4X?>kO%_* z8Ub7nxhWWJ?q{>Q_e_kRCd-)Z5IiCv5Se1{8oA;h=Yg@9t?%Y(mNW~3OU0uglx{R* zddW)!;64$oShQU6cK-;2@I3eVDt)@sl!D!PPQNB6dphnpuK28F_n+*^D&C_yy)8QD z(c>v(XI~?h{ShTh!+F%7^WL=w9AcF8gh-63tJv?J&6yeddZ&hdT0l)3(WiKB&}k;t zr$ewB@nJKsW^+nV#VWp&x4jV-OCHu`RE+^>KRb%NefWm^@(oK(68Fd;-*73i(*OiS zftlo6Gawy9d@PC7Vdeqf7qmo`w9qsYVbyGYT)sJd`6k!+wQH1b0zx1VGDS!#osa@( zl5ow4bQF=TVwY72{18fgJE)Z+sEWytOE$MJ*^mPqObpkMp~y;sQ5`h!_r<-JJ}gPZEfQ498?EN<6Kf?XC~H8$HJ++w z#oB*b>0ft!R?X=piB5VG9myO^jLNFS5D-#V2?!8UMHUQ=vb-6Vekn+C?J|>T00nB$ zF6me`zE_6l{uEi=>s>`c;F#7~ai9Ircgl8Mlx`6BDP4~%CYy0-jBt_NyTlj+XD73y zlc{|&$gs%g_ZB~236o=zd%mnB<?{JGP zquWWl^Hb0-=uJOS0ABmR4NX3?5gwuB=a;8X-O4G?sXfw088QXD~-R# zj)0KVtcG7;I{E_By>x;3nLYDY^hPDU!`}23-L%NOM#-%pkf0)or6=|20U<91j2qmG>(?Zn(1$5iwYgu zA=Pd2owgtz)sWf+(Yb80ZP6hF`wI~gRWUw$x8g`Ck|46}6m2dDLtjCc5i#3#l-=l~G_oNTwbLlpGd`d z!UZ8zN2rt-5z)B~LW_b?i%e@#lYyfY4N;1EpXS7l+G2(0{?ha~G1`IPz;mWpo?~}Z sDuh88e*c2>>Gx5Pj0=*6hodC@uaZ>xm3QU8HMo8AA7QlpK>A1k0M8x~asU7T literal 0 HcmV?d00001 diff --git a/component_failure_modes_definition/partitioncfm.jpg b/component_failure_modes_definition/partitioncfm.jpg new file mode 100644 index 0000000000000000000000000000000000000000..5ff316dfc452264dbc8363c2c323eb69498d113a GIT binary patch literal 16002 zcmdUW2Ut_v*6j{0^d_B96cCUq9qA%nKu~&BKtOs2=^#CH0RaV(-bH%vUFibSdlg7P zGzugyo_o%@9os&2aJP_3kHMn@Nn@7DToLO2ncD(FOg6%&@nMG&_N)~ti0^ZSGZXq5DrmJZvN{+ zLPAXJ;!T=zf7>7ZIe634_rg=@TsV2XzAFlvU6}=6A~5?6%)T9e@j78 zNm)hp?mZn{J$(a13rnkq);6|}+}u4py}W%Mhdv1lkBE$lPD*~7lA87`J>ykwUVcGg zQE|ze>YCcR`i91)uI`@RzW#y1p^3?<_tP`8ALdrq);Bh{ws&^-;KwJQPCtJ^eEs&_ zE)anE53|t!|HH7K>>@+kg@J{Ii3R>{7YM@(Juu0zurFW7A(ztv-*>rmMIacL;$~t_ zRVN;cpf-&1f$KOv6|2xH8~nRzzghO5Gc4r4W!ayG{nM^FfDjXeb{-}fAOr07Mft29 zMVks#XZA|7OqRPZSNUf#h~D9UdBQyGmq+&At?x$0ED8uSKmm7;;sRkVC}37=mG3Lp zGFjjuEegmxFb$Sv3`7C=)yTqS2ntwPM***Mk(AaKnr-4JptBzZ+&2wY0DMru`L)q+ z*?w*)AT%D?6_3!#K9xpnqX00|Mc89(3K04&tW;*tA3lmCmN~sFSY((T8WoTx0r*&W%sKZ$$Evrz<)hiKT&f%QAXd zzzU8f#HLZe8auSGiFTQlE-H#X8Oph!M1y46?^mt*$z_$YuYx2|z+WAw^cR=4VnhQc zDBv%SWBSo$pYS;_M^V5Jj-v?ti_5siI9`&-{Ny*S|K3Vq&Fx^jIi;Rh`kSrr?WjZd zR$E^6nuI+k3Yd^uJIRZobw?bLtw$_8Q7W6@iuZVe{(G4{+{1xBQkd_0z`Cv(4Lmy)!2qm*zMjM5PO# z@0%diFX6bO0nm1QqICWLYrFpJMQenUMhk4aPen)uq3rQayZ2n$N#v1Nf&Ux&pma=t z7+l~Zd19JlicYPf1Sr6@5V<%8`YG|62L5zG7Mnur?}yKFtaUToEAldoIE`n4>TQfm z#q!*nfVGA2dC=(P4Q7`aM`8vw(41YyyX=S>iAB?k&xUiiCfabZtH$+MF?v=&St=Nf zfniOev*)~Xn?rIJg=?HfI?dinLz0uNWGeJ^CG|HoXtS}lf+PqC==}vX>RwmJ57*X4 zT@DkyR7(NmvL^?D4XYF=0IgpRXB0ruqUMr=FtHaZ7-=q7Z3@VWVOCn&#_n9m_YCbO zh7M*C0oLb2Dd%bx-r0TCqM1aS%d_r%HncbAB?gT3xrr0uK?gd?`i6F`HrL-5pmLa=wt_+Wa z`8W6TMbxCJ#d_*H8qlc(1oFg^HuMQVbEVV&jlw+j_4a!(M>&!S;jhh0yJK8F za=aH8DW{(6=(T;s_!QLo%O^zn4sp`!j1cUc`8NFQ?M^0-gtRG0bcYnvjzCtc9yKzwL#N#TkSN_g2kbg9vY1UT#g_mK9`-K#hY<%koL1?4u0XUq2 zHd&HxN0MuGKM>#BOk?c8$j>toi!Vg7pPd)My6#3LHcH#E79_&)DjN8^!4(g0kMvM8 ztM(4;8pc{;o054SMXWnQEN?u(FMG!s=W*4F2>uHa8brl%=QpPL&AP1PHCx@ekqKYkX*nux;+F5)B!%plWf=C@;<~eUhv4ZgOyt7)CwEt04Tp8|ZBGwZZHxMdtHi zD@F^t>^o8;H#IMsUt)Hd9qYASK>-VbC_rWIw-0~56eKw+iwG>XjnA$8>=}ArDz+ol zUwcT`F7xRi8;y@jHwI`}bTZ%l?k@7O6XX0Ie9ksPGy22F3f%KSo(C5blmi0SaWlh}h8xqw#QR*{-9@;qMzwIQ?E4zcB&lof&Yfr_DRGaw zTqUqPG*(*Tay~O**(f2e(k*Saq*xe84_bV&N({aa zJ?vnwpuwPb0Q6w$-DoIUj}*z`woUc@bU>tRFMxA#FhHD3hyt#KG;|O`i5Ie!OFmPH ze0%u9;l4Ffnw=fFJia6QBMy+FCObe}`{2(VCtgXn|Amop^5fNzy{<9iWhDo;ci*U@ zDXbpo2kl;rpWm!{1wT(kQqKt6r3;-QKAk!XfC{RM&^!nSJmD~vDMe0&Wi9VcYns? zQSH{LTArH{!^1_df}S~?KbsI6P64T1AF*^*aniuydi1Al_=P2VbvGE(T#EO+uFo6H z7ksq}h?YrbT>->dg9Ox#E4iw55Y21)!V;x;Bq23vZkFs1wTc%uNUrBf(mcfhAdn3KE1pAR`7!S6OZ}?%GJ;z#Kv{d#}rDMrTmPl$rKB zG{sTPqU96m%gP1-S~Qwr$LdOK5{)@Z@LB3D`&yP zJ9KrUYBwV{FTgXE3_E2nXJq0T2oi^hA#t(zaSF8aR8MB*h;km$Eq~^xJNaQjp3BJ8 zP$N&OWj_}FJove#+tC1++5MO42BfL;-rik`cm3|vp+#MFz54Oc1x28MN(bPo0$66O zA?bF%q2uR>en0nn{7hFz<^2{vuVR(8pofE)6%+~d9(r)Il=WpgBLuDANxtoD>x`-s zR0ik-Tsjwwd?3z^x`c&{iGN?}DfF@t+dW^XGoYq8u(v0%0cTEgj^(cdt9hd6H(eiJ zzuPe&!_ORY*BM)ed~w-N4$dZgBb4MLlqZ;v%hxy48-0vVy`*MW0%Xx7 z$B(G!&eZ8Ub_M-;o%h^jRNA*5?yX)SRx);Eky4PV^}jCESzMQE)8u2a{7A4UhC#4h ztbbjWnxo{i-gHK6iHZKAoQER{@YH7|j{U?Es{60?yAs_AW`?1F#=9uMaes^p-8ycq z1|Hr+0rO3OBpV7~^IhY+=$85Pq7?n%`Cl*m>+QZngh~lSumB>yr-{1zlw62<^z((D zy?uw_EwyXc0S9vB94{PfWd<+6AH!$0wmx-jO&{Gk^RXuJ|JIm$1H^8ofv_Q5kNH^Z zHG*E6Y?B7gME<-Wb9ojtFG+5pC&PSqe%}rS;A%!+Mg-fsNP3Er z_u8!y_R;~-eyKFKymLU4h*p8I|mXRR@OXehl$i2(_c^yR;QX0Ehb+--Y{+^ z2VpBim^oVI{;`n1fTN1QzARQ0@WiO=iy>6&>z8+t+zug!wug{|Sd0y-jg7Ev8+-SP zke0Y@#X3aiI{gbd52FSlCK9o_$wT)KT84JjwVR2?#n-6GidI5{h8A5xbKaQUGmMO| zrmL^!Pkq0dq5y3_P}A1kv{e?>#K$gn>s0chJRIb}^JaKR;C9oxtDe+{PqIf*w1Pc;E!W=@3`;y?PmI6TW zFGC;64wp__WgvDi)5{*Jj}Oz?+;kf!^|A>4O0Enffa2FjX_mYn@QCy)PRi5@FY4-r z4~}g=x87r^bC<+xmk7%;q2wzEi9TTFtaMshaEJ}2YxK%F?YhLSuo5gHW<74Emuj$) z)%42L1KOS{2gKB{4z2-tvbfZdhyo=eo@NRX*^X2gM@kP$8C2 z)ZoEMfX9fE0DGwYCV5AQ40%hgjynpF$4U#7v1V#wiv~3SJq+iTXJ{_1|6Ix=W7P14 zb@8OdI+NGN$&f%vwGj&crSeooi8#C0zW}p;3BgbJKcK`Q61>1cQ$!33a2~y2 zfAk3-b|GO_4`c5`0h9`?q((b*v5RG1UP(hr9}ca;HsuFpxT?}5@4FJ;BV=;^)4YEm zlJBSlZ7RuHc(LeblZY^GMujO!HD_*}36{&@3+tn4j{G-sI%)5QbK}n0)x55%pA_1+ zBM>`pHquX`x$7dKC5tcMBL;X>kaP=(#zl7e{uv2uj8kv0<{2r~zH_wz8prE^<0|PAO z`smD~!(z)>>3vn-Qhs%R+Q`c_Z_q(dC{d7Kj8}2ZnF7#*ZncvC6GU(nZD-LN`8e{j z#nD{3d91>MeeaHd3VRT+Ed=U4SA`QHUli)^(9vz1z_H4$AALyh!HZwge2Ntt96X{Z z*qo53rrUn+g;QK4eT;MweTC@9rm5(X zg{DiP=#n+angw7!AH(+7)2SN!)EujMw=r&RWKndO>yy^`AUgmWWCbPJjh=Jni^faJ zO8QsKo8;$d#*^&M_x?i)W zrOFQS(Omh7 zbNiQTfd`9#_3oT-c4WY1KkW&=N&oT%LwC&}JmdK~T31{`VqCG6AUpZhifW$v`4+qq zX%8o2hcMO$p$EE!7q_EJyt^o{+@KXI+_HbEwq?HkpYB_$gcdv9lKmq3OJqLz} z^72ZW0gY7%l-@>LKXKBA8FT#Sc9<&-5w=DjPvp(}?Q^Hsp6fx~>nLU3lYyHRz061V zljfb>YA)=GDka)4c^9tpyoes8-<77Wr}ol%Lr!;W-o-2@#&(ySE6DRjH**$nBOYu+ zu<8W1HM~}K|G?qB)$xaP!@DQS9ra?o`k(j5+{=glkxRbk6B1E)m$A2X{}Kbdh7TEX z=I(G$0$X_{@i-~HfNs*`ndIxV z)LqV73Cb)Fq%9Y2q}Ug)xRPK53IDhOxZa+csA(gj){No_ZT8vP!`=7e*^S$s2OQHi zM{TKa#iVG1AxyXNc)j}#W<1K>kfhmo?H?*K*wXI3@5Hi&)j5}dMxS?(gTYv2Q%#<9 zjIq|M2gJk5uhmoQ61i0pK=vLFJAf*2*7YQnmjnrNMCC2IpW#Y`WX#Izu{TRNXaGFfkozSNO2Qjahg zudHbfPc(0>Pg+uh26dXKCJEqe30!F#Sv;GX}!4by^&V_q*mA`YKl&6`-@)SP3T^ z1C2UgRYSnqH^XHf|2APS6I|JQTOIBf*gPpr)by}6j!YoX#d(p!!71^@VApHF4J{A; zNJ`Tnufd7h!zB5N_S4kbB$Q*G3^H0IKe-*`(ijb0hi<_20|{!l4yZf3{0%l7jC33P zH4rxr=D8arJP%CrIE*XA9A?)kBi16(GLr-%rvPzx_(aG7>{wWGcsnnd?ChDw1~bf6 z(Rt|bM*iclzko@~t;flgVQn{d>oeD*M|-K%ZTam|?>OG?RJsmOQx4rpTb9nhTCy-zPx8LSnn-t$Z= zgnV9-h@6(i#P%Qrb+U*_7gV5$Wy-;GS-8BnTQ^euNn%}Vu~_v)`EZdfyDJ6%0&dqK zp_gAPh{gFOp+u<{e7hHy(rP4lRa{pE;Hld?hX&Ca*&erPyPa@RY2!LdU1>xC*a(f$ zPE+dIar@bPHx_5f`)|~ii5n}nm6w$ z={_`<>n~ahk|O_&OG0PchIU3oodX+>pG=NAy?3FmM|7VcZNkm`*OLP{p0A25l1RA5 z!t5V;_xE}tNyd=NJT+g^E~(Z{dnR!5xky-BS^(=}l4s6%9pXq_SZ{B{oS#xAntn zd#m`N_1GL=6u|B%gV_8-A<4k0m=1D=dSSxZ8H*?9dt`JI3JG`|3hczehn)dU;a>w$@n4zKcUm%tWYhMVi zmnH0HeEIx-(%YtK!9SL#u5eBkua=k?mt7k9e*Z5Zh>;uxB(=h+k*nF?G~S~D67sJX zC_vd2Hq!x@$Bx`%J}ujMUAlz;QbrYxLohKzh{c%cwvcq*;SNUKC$^7c-@4fuQg-jw zf2=TiYcr^mw#61{E`0(@CF!S})63k~JzABC$C^)K*o_Uvo9l%!+~Ax!QNZZx%K zmLWx6?Rt*S@|aiVx4CXok&1Y&A?{Ijj-s zt{!=CQs2K=C%wz7oK-XdS zCii@H!S&z-5;NIKnfL8$&k^0Zdlnm2aO~XOdiD!rI~S%=f@XIgnuo$*FtC!9vV(49 z(h>KV7!k*24798_7&GE6UMcRfK2&7JbL7|HcO4Mh040>AxUK0{^Nh~=;pMjpJCPlR zZD>b)tjoP{hnD#afdQB2BDmK;ABCjoM!V-2QWMQHc^t0jCo^Nr?!5~FJ#ba&XHAx+ z`;iKu97Y3{_If0P-JG+^Mq)Xger}M}k}?YLj>aK&9mvH@&JwRcw|U(#&$c#Bm}g2k zm!j$3qM;d&fsPducQmG3&}u}$3r)iXG%T=1!vf#YO9)Y;HZ?QY`Khz_MiZ& z+lgwnqQN!3u}LLWE+r<{!n@rsrtF8DUCU%;#AKMUvIr;nBuy%m-~>h)E=)&ya+4o! z-<)22(`HfOlccaM&VmI=tYOdl7v4hw&}*-%pZc_)Nic9eY*ds*o9sfL7)&T2PK))a zLS|Lrw5N>#IoO)~u5HY5Yl4?m2Sn55+G{Th>*Y>Y7BH#+MtEYk0(^tWsOn>1aS49yO~S~mDm6BoDD zVflv#C$uTLS|^Gz_XosSze0lJebNQ<@f^)>8qIy37)l^f?71Z!ciU=o zG_|`<@E988!3citUAg8I?Po;sMy+t}icOPya4yGQp5*L&Qg^_#E_)*TN?W=b~W-JjzeW5Cx7flY$Lq zSD+T+=tNhJXx11%Cz6SN-*QG-WAseS>ZCq+vvQHmi%KgA-3H0aLeM3XNA*Ovr4|wR zN_}I`u;=!ddJ;!VH6w^X^QB2Qve*7DDQxPV8M-MJIlG?U9;Q1m)V^r4k7nJ;{hFkq z!k(nU&N?HyLPEG?^VzGZtxj-F>XBK^p2R}|R&Sooo^*En=-EBr*dFZu`+q^Ef1*^h zqS7macxtfICJ?`w-2Lr|>+Rv;+Oj+afh*Zhs~t5O`iOC*{4uIe7X{Cpy63Wzw|!(B zYf|Um%{M>%#MMko+vf(22F6}Bw1?3>or~!9XXBj~tK`-y<7K|1lVhXbM>+Mp^xz&V z#A5`w()c=kXkN5utG7jAb{6x?FMy+g~2d?hNlOjweH5@WppA-icw1MW`$cCJI zI7hioEQvlauhmF$tqc=Rm2T)>=3e)VADbY^Qi9NK=dfwelWzDXUYCt2Jx zLUs=H+EZnxg~;)7`=TD%lpJ7_D6m?NLZ@X8#hUI`7gq36+%wYOR{Y zR6Q%DI}zY(c!8~V$E#(=_x`8Z&YEr#y9nPRzdtf z27xGN|0Qjp51i2ZYicyUZi#f^qVkg|VnHZE&3sEP4w z5gGxD z5hm2VQWnj4KD|0|F1ON7$(mS3=UL$32rcq!$Z5n7O<87UzQd2V&MPZnDfY)4?p;894|+RAPk^|T%p zT+-$Mmp*Zwx5xjJIMKl9?K@y=1=lueIL}dZZ|lW#{;P3S4~!yo7hOd7yDn#^P`)7$ zaf5>5Gnz_%r+Q-*ZM)37!4sJ1!E>UM(ac1ax`D0qNHl2pM4t@K?&at4y_Au*C; zeC_uPm0F)yc(J>kHR2gJJ34&mz-Yzzq1`X5y!4K({mE&1PU3p11nnXNO}H*u5-v*) z1*lZPr!vgZiRWA)N9l^4uI`s6zp$Bm?V@Tv9QVvEE;cf8>1Q`8tTG=V!NJR-Y1Eu zw*~|Vlf%WdUo!MHs}by@cXwTTb@KP!eKqWJVj~SkAviHX$q+!F2>UG@aGW9?3#wov zrC#=D>>(qz7JituDR^LT=s<-;SKH+&UXKgj@lzAk&jiijESKV0o?-)>F3IFgr7dD3 zF+u>?o@tu0&z<@-+>Dn#&GpQbnnTvSEDvJcE*w+neUpoRpT6{kk@l34W^8VaS}v)+ zoJn3V#5TDeTK6~u=!dlxmiCs+%^{Lb4C6k3RJ|OsMWE%t#cPB+&I`K|__Qv#?QOjS^sXbs^B0mhp0sFq-KK`sDCHH?c5lf%|Z;#Pl8;t34k;rOQII5(ie@{WH!m zBjGJ+L~EMFb4tYJZiK_`mUWYSv84k#cWrsL`fzEbjM`N-iAwgCNE+22o!x=zFD>|l z9!&H~y(wn1NY$UEz6Qk;N3$r-MD7{&5j6*ncD9we8|rrLgGoz=MqcW(L??Jlayfg8MqjmI@!ogk zT^vq49b7}%E%^q)44ntlZ?<45ORr{TZnTv$y!-f>d{%bM@T-8v?T2meiQb|Qk7MIr*r8q59O@25Kcv!^#q z!Yj*XcXY=!1CC47Il_g*@veHg;^9+LRPFfc{gu8mlp)P&NbOfl!VCx@(&e;F?V26s zR;D~&#gKMMJZCQl?Bv&8Fs`dNw#TiRU7ePr*qNRvt7`0{=+X0LcU^JV7Pe5C5xQ`= zDk3N$L`-gzAGVexpeSqUOk?RPAYLIM-_|^K;HOzCl3o7DMW{**tJ*-o)Kt17%UXq3YHsEm&-SYS> z_u3il6ZkXrH5sZ1FNYt}+49UF4d<0H-b$~VA7E~+TsxAItvK%bwtRQ8yz=A536J9| zl^p*(M@68xbHkEsIxh>?v3#?>AzJ)p3cd;?n$|?Q6N?d-1*!*z%_BJnJv2eaes65a zYd#Y%&}WM4H??VqzNxZuEunxAs{?3W<#%7md)X14KK-1=*@m}nlXp9@QQsUIr-W1R zD(Jeg`oa^VDI8~AS9D9rWx#EQLJ;k`UJwD9fFbBi{y zmv*6fX4MNda<86}hqXsMV7flyGGKPQvOrH}J)Q_nj+v~q-jyf!aWzpmE941c)n*Wd zFr~RxI1578GrqIsP91b--nku*MXI=zCr2HrygYRHu8}8+PzMokkwKl6F!SA?{_^@5B1@#dpwu-$Z&1^gRG;z-`>zmi{zBS zxrR#R5O2rwwTAjsbZlYvv)ZF$Yk)Zpm*x2w*3V}(ED)vW^VVFjw%nXWk%7ZC4koOx zj>K9p+>vQ~mn@giUh8uyI8lF;AGL*VK(nw|y^&c@4_IZL&FFEE$n_3~2AT!w+9|!v z9i-k9Y5u(o(WBn@s5Rt7&0_noTHfOJt8M0LlBG*29rz7rHK5%exuKum`z%LTM|7J} z`6;Xxri!ghYYCU)%9ET%aJnQdU-z_Jps>W&Rure)N!doTH$tU-=zMlJ5Ap~}|8!YC zm05*^(cK~3>}e6!DJ!Sem(th&7R~`SztV31XEr1H&YpbWk{}S{O%Hl*F zO`4lQaV{x?Y>@zC@Gp;h{{x);yZ&Sq$z&!SQMAWIQj5p#Th1kDJE>Z>(vaaWRy<1uQ)_D9iy#rW{&bV4tIc zuQN+J!qjWLwkUVP@2(9}XF8KB$Rs3nnOJiqOwJLn<4}?Ir{0+>6W$(P0GEmAq0%Fp z+e`H#TiTrwz!;|NvA(9fBS&j0hw16;jO~tQyk%C}$pgFYuKJoN>YvAKzNMb-^{k=B z^&ALuRXrBKbgQX&JR@hSSMG?gg5&J>KA4tYb#P&czh~!u_p@4pbG1O&NO$scay5xd z$yJ&~a+0FDaATuk$e3#IdXflXMV=+85*FEr4TkCufch_a^B4tSsGzxUvpA2yh#7K+ zsFMkz9 z|4Bz+?=pH%(W8K?J18Kg9eq+v6sbP005HM5P{5udTBc}{Svx`jQ?Y0P!(B@jd~Sl4 zN)p?T9pe$rDBzSOaAOg@+t5dQ1Ce=7=b05wJpqh}OyP^dXv6s~_Iu-6n_(ZxHw&|* zVw;G{aGg66z*v`#Qw9eW07rcjKeIM8LXaL^nGcj^O&e@bt4WgTV5n$)W{u@3{C{+v zx&QMI0f#Bdj|q<1M+K9sv~9y|QHHeKYTXkc=XV~G>s)6M6Jrd?g=If!<3h-5*l{^% zcBhTM$RW=0@ZozJ&0iD~RFpgGuL79A3c5k^=cE0>4ID2q|6H@upI$%