From 3daaa71f4197b0ec19f512856a7d6f394030a01f Mon Sep 17 00:00:00 2001
From: Robin Clark <r.clark@energytechnologycontrol.com>
Date: Tue, 31 May 2011 22:28:53 +0100
Subject: [PATCH] ..

---
 fmmd_concept/System_safety_2011/component.png | Bin 2582 -> 0 bytes
 .../System_safety_2011/fmmd_env_op_uml.png    | Bin 13559 -> 0 bytes
 .../System_safety_2011/master_uml.png         | Bin 24166 -> 0 bytes
 .../System_safety_2011/submission.tex.backup  | 501 ------------------
 4 files changed, 501 deletions(-)
 delete mode 100644 fmmd_concept/System_safety_2011/component.png
 delete mode 100644 fmmd_concept/System_safety_2011/fmmd_env_op_uml.png
 delete mode 100644 fmmd_concept/System_safety_2011/master_uml.png
 delete mode 100644 fmmd_concept/System_safety_2011/submission.tex.backup

diff --git a/fmmd_concept/System_safety_2011/component.png b/fmmd_concept/System_safety_2011/component.png
deleted file mode 100644
index 7f153cb1daba9870ac9df9aa48b8cb7c661c50cf..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 2582
zcmZ8j2{@E%8~!MJh-_KAI0w<eFS0M4##%;%vNkz(879X%heT-@DZ&`CG$kR+3?pMs
zn{C2~iNV;$u8bx7KF(MFf3E-k&--21_dVBpeee4`@BKc{{oE;+p;m(Y()<7b2-;Xf
z907oX2HLi~oZve+YG)h#aC=|0f&ho#pW-*Aj{$(M(*|<hDf-FcXt4E_Lj|61-F<;;
zdDv{RR?U+9tlXy-78WTfGE!2B_5_^k9jq$k?jvq*-?dG14+q<I81HVeX!EN&0nfBz
zb@7stlF3TDsGHCzw(wi_{jYT;OE>-BUKeg-Y??6FOwz~Vx_ygmq6<}k+`Dd-P#YWk
zmg@VMhCw74S2(Y><oI%y?a#tmXBQIqumZp-Ssx7`A?y(e0Gbdz)WyX`L4JM$VP&!v
z9bza2BrqoZmN~8!_kPXH%rrDKWDjYdJ9kb;r;o`rQ&O55B}Wm7M9yQv0BlGWQ79uL
zlV4B}V%NF4dg~c&kiiJl#;U2Q-89hx5>DP~p*oj2IXF1<*U8Gu$8XHj$x+LBd3njn
z$$$S4F5tqgA@Yl7V;vr!fs!}<BcM}+1E307J(=SK^ws|x>G@esfY(X~tDa$fM&k&8
zLQVN;9Qxm2;_YMl_PGGWtr0305N7((0{|vYg>wLRlc-#!iK)MjkISx*-vPZzpt(KL
z7estR0ctOlISnCsBPC>HDjds}Mo4P|IWsdeBogVRHBVD`^Rl&(pwE(y+UK8@m2rx4
zyn*W@oNQ96w2+IG)AJ(~y*!eyukWTD5A~?Fr1_aJCg;E5^mg|2T%4G|-#&~-FXwe;
z>O<p1DJN6pCcORy;B7Bm>I=|8AP^Ev3s+IfT`HG~N`^J{>)A*KpVWi4xV=pVQtVr3
z7@Xrtmu#6eCB2t1#Tux79m-sqnmQpWilYUzoy%?LXz)#e;2g`&!AGnivJ^0CE*_q_
znHfPLA-9o$n3$c8Z1tq1Bn6Y$zQI8$Y3cc;B`;6UF6jW`5S2<5S9h77o?hSDI+5X3
zZEtOT?d=~s+3HuR2iHa}M??_GWb!5DVS;aGCq~nMB6Ru@m?O9r_95(H`;WnV8)p>#
z4HgtM|1R?9$L)iXHntZpMlB9)Y%aQ&Ik~yH1>skcc!Ud$V=@a13$wGG-QC@<UM-~s
zh@LpXAWJ{+^YM8OUh|ZGe>3*1zl4UzU{6oj-eyR+iiBQPZtgWFr@n!Ks4qQF!A;mK
zFVrz%?_^<G<X}jaZOP}cBY4>4{V^u9`%_U`T-0P!gQSs>5o2}i4bsZeGP>|^bq4+G
z)0&3XoE(Y5IfHa1+}1MlA<Iq!qo=30W_-9d*X>D;TrqwZL@%G~E?P5Y_VmEueuxV+
z8jb%RuBr-JJzzgoJ+VC~*%M|eX}%sC8{5&*QD}CXJ=rQSmb#`gHFT7ln{dy+yO7k_
zNbof?Gefg9-0Ra&KH4WmD#6W1$PX3Fya+ygB3wt0>gei<I0Of?@^phys%OqnN2rs@
z@R5d$M~{w6N~&br%1BEqDk`!YmAvnU3jjDt1qCLZ9<lvx0=c#1+WVGBj99p`MjEZD
z(RxPvsO<YL{(#U>WuX2Gzp${sZgL};jM2Ofg&ZDiG4u68QD2(x3(xvV=!r>5fuI)C
zg9HQwW^R#mjT9}xlAr|#2VYSY6A=-S)bPl~VV%?}tE!e*tj?}3;@~Mm!`)W2q%1{T
zT)dS+vH$HS<mSR@HML##0n)~%JzdTSWvzj!pwH*z<TN!kmFd+Xx8Ov#5N#|cCnpHf
z3w(rw`79^OD=;w7($doB`<NE%8f>i+lsR{Ew2|(e)YsRyySwXL;X)r6sBkI|Oq<?b
znHn1#10!eeZm>Y_DXK<B!!Rv~mDR&HXTVG0;^NW^9rLIQ5Fsx|OS?<nqy5Go{E6dE
zvo|Gq`*_ItN|(~-&sDQ+`+mA}(lB;Cz}59+)l-hNN&QbSt+ceXFTWcq&Mz-3$je7g
zCVA8d_-N>>CVhC17#SZQUuM2zD2dpu{H`4GLW^-j|NZ)@@O!;9+6VYE5%R>ujZJZ-
z0;rz0c2iU59~^Gg1HyuWCm*!kxx=COIf$tIIHe@N-3PQFI$ByV9qIeY$?LHuA_u!0
z=((7FzY(1)9}hCyeb#2X!V!oYQJOp3+YKa=U1X=&4?nf>2fI~O8p9jRfdQ+>5P5WK
zAVfa@W}cD16|;W$UdqVm=$k+PL<O+-cSKWKdV71Do15u$5H<{30WB{t57rfAdU@F%
z;^pPFw6p|=!%a<1A=4}tYkuA^bj%ogNjbxMw!6q40>bN9=A@P#i$tEtC@LyKqi0y{
zLBz%vFDze<a?RbRibJEKUfb<muYujM+fz|2a{>YDUPYq@n+7Qe%}>t-6RwCNW`zU=
zPiJ?4q>VzM_V@RDdM;PGAVJCmO9M=~($dn}z;uWrDRR*b3I&a_moK%jmni9Sd;2@J
zmd|eJVy`8=di4ri43b$bQJFR0U+HdOU{LM#M!WhG!UKU=nd!tllr_lA$!S~l_P!Wy
zAv!$j`Q9()rm{XfhvJtw>nfkmm!3a^uQ{vWT8kZT2vqKb$UIPh35l>PC}%NPtgDw7
zNDH@jR%c9*o8OGDySPNIPPc>EdZiRvV0ODuR|$87N2u=gYfM(w0!a4jUwh5s_g|Km
zXWEv`a^E8DgVX@#t_t)COcUDg?C9u-MD7jJ*VfjGOyfEb9`W()l8cxZ0fFRqwb5n}
z%G}2d33Ctj_J`|8VLwCgJOgyP?q+t%hHkWa`K{x$gT1Yo?{w5TPp>FlN_A#QksDis
z<Rsh`!&`Z=0<{+Fx^OplcSZ(*(XuN|?Q=FjsTvzUK_w<8QkfTuUR9(-=qalUOxB1S
zf|qyU!iC}C;YE|<2_)+l=D~y1RBy~|mva9A>_t__d5D5p{7<<0`g$<2%gA}r5l8~z
z)MHPc*O~=T@VG6Jg23H56bV+6o0|(Z-}#N*imTOaEiI2qcBNg^R8<4uaE;Ta9aO~@
z#93s*+cPK(1~cl9!Q=4^24hq1$a@dvNvfTV%?=0}$YkZ^<*8_NyJMW7ddN^+;BbA2
zVZqV@qxSFBzdq&V<HN^0)fYRK;c&PGBkly!F<tnRi7389V%vig3k2BZDQ-W33WU;R
z45&iB{HIkH^v*d0=CJ?m-Ua9|L$3E;KV-^}=FjsF?efn_%iH-@l`g|kvY_bs5HQPL
zNy-8Mm<;@T@AwS>a@9vJAIJmdS`EqE|F3~+w*UZA42DY}d>(rSAg1)wL9hK<QpdQH
eK7bSc-^?B(n`SJ4&}*Qe0&Faxkg8u{iGKm#rW9@f

diff --git a/fmmd_concept/System_safety_2011/fmmd_env_op_uml.png b/fmmd_concept/System_safety_2011/fmmd_env_op_uml.png
deleted file mode 100644
index e31404621ac4ae32e34da2cca65987d2a618ad4b..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 13559
zcmch8cRbba|My!)vO`uO4Wog~Y#oH`$gJ$WIrbhAGAg@pkV6C6Wu!v(mKl<)vS;@F
zI`#Sfe&2q-`}cU<_aFCtdK8^=ocDEI@9TQLp5rA#T~(f(goy+}5OPHY*_#N0&x;^<
z$B2)>GxdSD;9rEuL`hy2ImG?J)Z{)!kkg2w>@_XVrwgNAw`pc7k1h+_1xFqU){@o=
z4$L`4o8PTnct&0B{x^*e!^2s+PIXgXH~RB)y$fiQvhE8}cW0fr*r@58eHz2by+!hd
zv_HN04ed2EQYu<v*TZDjY3#B3*XG50?*e|MRIhc2bt?0%Or!}fIdMjwK|-leS5Hxl
zut{&dcOyqIdh3G}xDiSZFurC+@|e*DRsv|(BZ$?R^*B6u{x#V#M%?SIasSW$OZI03
z@eLDBgA{n)1l~=!3+jfk@WB^y84X$(tj9N}tFvtQ@PrW~HST#Nk?p_z_m<|W@JQN$
zbw&Rkd-bbV4;H9kUUG49L8%`d?|=F71wI`?v_eA;Hv_M2UEWxi53ZXVQoEy8QOK7j
zM)kQm0(nn&ds6>c@7=&i0Re%w6#mAsF-b|ubnfF(4H_C6x4DHcTzFAb^pN|z)79?o
zZWb1n@8gD|b>WmemoA+PrKO{zV3n+{A)gva>h9~KJ#|Xl>8rG%;rQO3Z{_Rqa`%Pd
zGMO;4p-MN~J9n6AWKgK!kP!T&)*AN(eRucrmoHyFe5m2#QjEU$A>`;$0s>xxvH`6d
zH%MX|ACFbn;3qv-WPR8F#h(yC8emQr?7qC|?&(==Nw~<x#f6TLKE1rY?)z&w6CTp1
zjcihrlW)Iq3i6u!`SVG7x+-yVQ`7RshP|WA_U05my!FzB3#k%5n?F9kocs9f*|`YW
zM`>x7>7sH>-}r8?MxPY!f2CLAwKiQ^TKeF@gJ;j4VKAq$AJwGx;}a4D(X(ADPlUJ}
ze*9XQwCs5L@SouwZbwN4;~{85!evK^t%pu7E-lT?nVdghi0j-~l_%^E6*wa=T)Omq
zZCe?cnwo0klhb(q{5c*T9<AK|c4vU9qM|i!eCE}=i&ZC1oZ!26aB$Gj&_FAfkeKN0
z?ajA)nTsov^Ts7Q8Waf$$+O8!`r_i^S>$P2+6iGf`SUeiK1aC?OI()-3v7{vFx%S~
zk3V3;x0VnV$n;nmg9~D@*s`)R3kwTcIXzunEghX++uf}tLrqPYqg}(pEno7pIe%>Y
z9H<K;hc#ssvePv-&Wwmqd~&j-f`>-B)_?!Six*^M2g|Q`NlBx6dTyGUPGYg_N=ix(
z6=atxa&qJh4KwzfY3WPaCY)?+Y<9Mm#s>$jtgVN-x-b~72-&RMT#i43q%mzmq*)4_
z^FyzgVa~t>eU`uCv3>8(mPbcaRr$EO^6w|%rNwudT~}c|dD6$zGc+{x&D*yr$;qV^
znZCPxp5k}?{A!dZ@-(t%pP#>5<8AKf*csnDlzb$XRf;`SJmBDI>(m8@$d00CWgcHw
z1@RDRkFSS_I$=OSK&HCx&6~xRoh+60jg1__!aA4e8tdx`2naX_-FMdKA|fKzk>X9E
zct^ueea|)d`T0*WF~P<bcl)7L*)=jE#?C%H*PB~ZRP>l#<>rBt`_kB*+qX}hJlQ(4
zCN><udUPyTErXutE+^{=1hL}%JbIe2Y`~Q@;?t*3u%ARkMX@<K-BnZ(vH`mz<97D;
z+rIwB#%wf!Xx?>{hQ{&Vi?H4*Bn;ONQ#dzVZvP}LEiEHsoTqjVMc?1oXE$7G-G#Xp
z6cj{GPEKNiIk;MCJ5X>(NJuCn;J`~$Q&axQ&4c$d?N0`(JRBQ1v|0Yz3=F9lGQo@)
zGRHH4?sb9%3A|xs049Nc3jcskC>h4oDHooqWd0v<244Leg#uM=931Y}`q#i2e*T;*
zwsE93K&qsrwe_Ny*b}dmw6ukVg?!J8ss^<2G$?U#acUYG^DI&K`Q-3$`A%jxHE9$P
zd}dlHdhVu#M9oE=0xfOrbV<J*z=3h!HS!vpk#hT!LUu+r4qx6l!}pODkNo4~*7>Y|
zT5F)U)5JVB=Z9e8b@O?ZmEMgp%pQwh=C-q!RBiUD7}T$bKa?T;szT7^@WVaYKu>S9
z%A@nsr!fER5y#r??QIGFy=4F9nYE-#df#Sdl2TJIP!V^eOT28;mR)3XBT3h5oNy|4
z7=;PGGie~HJSQZyIn|nUxIccFFKIcKf7RwdOH%!cTUAFU%`*EDD`B^)PmR$h8z)x)
z?#!*MIBPc-N2}P_*xtT<E6&0rDLFPedM71c;V4aUV=U`YBBHSxpCoQ)4-YkEWwfiS
zW=6@nwrApbSPt}E6bj|-U740Px;oW*xDp%ieQHXvkXgj#S$6iMWrp9UDVG$x`Fw-2
z=QUT%La8`7I4Hs&KY5}=+}zx3ZEfwfRI^pNM0JZm!fg4lZ-J6$mH-fbSVf|6rOIRJ
zU~jEcPfst2$52&SnT(9gOdA$ru%TgUWwKFKRkg+Ob0!O4WEMOkBO^mm##UB&Fc2L>
zzZ|_S#JQFFKw6^Eb(ZS)C$<-^;I`h{bbE!v=p$}l+hVrbTk<r;@WT(!%F~@VA#(NV
z_vvX-F)>^1un>bpm|U0FZSJl1C&F#5&5t>Bw6xZ{v`MaBz53?Oo6vjr;O$q%#5{7i
z%1`5JT%hXe+L}R;Ndpv`29uSg+QWl(;qkT%soL=Jo0m8_XW^7yyLRo4UHIkSyBPD>
zeesK;Mtp2+?7e#p@~nQ(3JW{iWcq6ixET7>NXf{cdiCIU3q-Mx8sAIDPRr0pGkVhC
zm7WARs-JKo8;rs0i`mOy#tk#usg)YO2Aa>Zg&gK?_<i;A^1=-u`HJc6Ha?WoJ}B4H
z;j=$~(xA>!9~%imkm@_PZhgjF3mJ?#qD63wahB?w8G_-GJ=49nz1G^&GDt!2=V=KE
z36z4Z?Zw|ebFZ*)De<zwV9d9L@0Qs{{*0d{ocw=H98GDN=}0RnFHcNAkqBqs%+k{1
zTm7-QcE-)kO;~SRD=VWPI@;R)n?siF?(W>&+&}yCeYRI~*6)7bQsVLS^gPGT-ZH;4
zSY!&tI!)|U!xJ<yHD4DSj!UQ<XJ&4nTp5f(amAmq_*`(O>RAaVia4XQqNGI3dp%G2
zEbP#w@!Hz9OD4)86^`R9qUc$uWpk@LJ39?g^gMSe*AMo0=jP@d92~~|ckPvwqJsB(
z7QehLvFuDwO=ZG9`_JR}WkO*fNpF$!oEb(2s8k@fE8b4I==JN@O-%|Z9}C~@To4u2
z7q!jgv;i!8BJ7A=GHog;Exlc2BIoTby6>_yR&!DN6@!$2^}T!dYHId_2}#TCN9gG3
zb3JQI8Tl<viMc=U@|qtkO5wM3pK_`s#m(}K`7s1@!`RrEk&zMVXwN-<i#A>%A<2LP
zam`1msl&s=FFYUl@$;9w^V{ud1=x0Xb$xu-*2u_dchkOMH;0gru%WS$pJ#G%G9h62
zQLsf71@4C8m?2t>@NC}t#zuBl*1?+8p(geK&PJK-05{eQ?ifjB<2h<Y4UO(fx1Sd6
zsd7oQ^z>Ul2h_0o+S-ZV_IsW_eF`L0Vp{`_nvznh&r;1mLfss<0&FGRmY;PeA-Z!M
zg;h>LX~d(;Wr>dw6X!jD-rU-HHWWZ0At9k`NJVZ&hKPvBv@vGN<*lLL#)%U76vtJV
z64aTB#UwgfTJ-YQYdxx4x*Qa_K21vu(gr|x9#ENBS~j|$Mvxm14;}SK50<p4$Vy)1
z<ypbftz&#F7T`SM<KuHhl8})pD=Wv3N8W`3u6W~yH^2#$|76j-ckjZw^z2p!93HIC
z^^R8>dS||V-PPAunw9mjuWvoc(Es7MH3x<KO1Yz4mkg08p@bQNyb!h<<mKVv$yDdO
zbJb^a-Y{Takb@%^gE1Pb_FAxiSy;%*!0^U%<(pg--IaUk>FMXspYQpcF5x3&{E@(X
zQ;FEw$;rvt`4}mwD}3YbzL;1yN0invjR>fEd5N%@eSIHfck~F-rTAkrpd#4lna=0W
zpS$apb1t4ce|~6i5Vpsw_WWlTE6U5gy}Z&y-6H*mV8rOTo|D23P;KBb_Qu(Cdv!`h
zMa6NHr$jo|DC)rjt=GLVEUG$V^ua8AU0lBs&Lh$lnil$fuwUS~Xk(o^o{EUGEKSBr
zX<N{vGMy$rMVk~QQ<+#<{Tiq}*ns6>^<Bn`ZB)8(V`t}QAr$O{FFb7LczNUMCQ7%f
zI#gLz>76<41JVVM?8?gFj~_pN`BMGjMdX4mf{2E6P%Z~lBu@Nh{>;HwU==axz<en_
zTvkF5bv4{>!Gx0`0;%hhOxIc&K)(e3fbC;mDiTJIru&&)rf*>22o>{SZ@aCnt+<%a
zJtQbSB$NzI?4Wlf5SxdC#WrP_u!>3!M;ZI!!At5=>VME-s%VVo$SX}h!{=zrK`5Ci
zJTKW~!rGpSJnozcSpIO-Z)aV@SqsC28$=g>OIOMAL^&;z7xClA4_7z<QUM20w1C5+
zGao*Dn46nhTPu~(>EYyLB#ctW0}wEPvtyvIe~vmL2v2ekdCwG?<uLwEWyZKC%{b&J
zWxAj(T}CIXl)t!W9h&4o?Z{}bu^I9{D>XG0=r~;A&Ksu*sKaPB(YipG^PLcQ8Dp~G
z7B)0Aq>>>yIzArI63;bDhL5`z4sdMx`unlDxfx;}+`uuatDka%#94<2AnDeYhnt%@
zjO-#zr{XJ=-}O9$3I}rwi*zxM#p(7ZZQ=#MuYiq@jg7(nr=z2rzfSz)7=QsCfPr)c
z@E%~nt+1MEYCOQvNy*8`s%vVx8HsM7P(+o4pdr!pmHe0Z`PYWaYzqx*v7|@Ind)cO
zYHDh7l~eeP-UqS_3$ibEOa5yBXgNPWKO371Y2mPl-S>d~v-<yHOAC)?5{x`Z$HP?>
zi~*c3ByD-NI~xEOSUrw`;nbOcuyF3o3(z<qUbIxsd4`3S|Hmkr!pKkF)YM!Wt!gww
zb#!$2`}@Cp_l|}`b^h~9`l^Ybe&Ax2gcX<YFfu@3K7aXQXJPSaW^LQ|;Cu7q{8z6A
zDM(7GV2@me3KB>$RAkzC|M*#Ul~gl3yEgYrn0DBo4%dLrF&BGp*p$m4X@Q2pfewFm
ztPE~)xE+i1{r(7CwU#Ca9XlEfq@c^KzrWuu92q7G*}3-nZIvGf1_t09fB7PQ=FAx>
zDXGhsqZjT=D=~ca(w)CqCz9kgadu*2;)6S}gc7-w4l)chi;a)3xVpN!tZbv{;aR(I
z{9$~U3xdRd?&)!XeYv-{2d{!?DX+s@SSfr*wI`A9jh2sRO7|)wCyNiNDE#R}5fr9&
zB#-)EGCY(F31og+j<#A$kII*6X=$O=QO{7v>!ZW*<9>A)(Ng<P!hSZWfiQT?3UAm0
zK^rmAYxel~=3f_niYBDVP=seQFZCHv%F4vj>d^f8<UWe<Iz>gri51W5*RKO%3yqto
z3#X@}qehXCl7>^Vsy<u9ce(m>cGk+9F9}c`N(%)epBa>QH#fJ1vg`Eh=gt95a(ep(
z$iKOzWmRS64IQe#WO`8zc9u8UXmPw&%K4itP8i5Hg3`V9^b(RE7^=Krbi@i7%`_q#
z0?OA32RlBVmX=nQcx7WlMNN$()XdE6*UnB$si}#H%fv@Ql)}xMk7Um@cXZH2H5>`T
z)bv{cd3@(Q`6*S<R>*PeX<}mH!-s5luAQdx^!AqY{ngdgrG8BleU!R48ms_#?7<GY
zM@k<S9_}&Ie58wTb&>&-+nlj&-HVlzl?BFkIK>l?BI@>Hhk%HQz|nBv`TVI1gQRTd
zI5^}h^+8WcOCxd`0S9Xtnm2Dg6XpnwPfF@-{aYfJ4=~lJ-@FNBQ}+^kD9ooxD_O`s
zRrX9K=Zn{`<2q+9I@~y*0+5;&ONflsN}I4ba_b`lUw>1qDkl$5?1Km5-s@IQPRmfl
znzeNp!&IyUs{QWdQkXVfJrx6=!di1f$7g?M<F#?!jT<-MENScNTA7%9wCk8~0<@ib
zefiR*8%j#i(a}#*Q!ib<EO$oZNq#r!<;$1X>*}AKHBN-rU%Uj%0f^H;UmvGc<WMyL
zGY~hR@4~_raA4mB6Mgth@FLV8(T0FV8XpN!^=5#Y4*U&vH|#QYc6Ppm6rZ&0>(N;p
znVuUz5^8GveDb?z?OsVNE-tpWx37;cqJ^*+uItj$(sFWg3JOg*N=dX@_z0syQ{Vmk
ze0y+PqNCeCztlNO$<pS26~Wxas%4}nCv!>#DyLRdcql8k_2#OXnwoN`r1m9@ZvXlP
z^gXiSTXJ%8U?4&$xVt{L_N{@`dwY9r##b_6eYRW7eSWrO3=d8I`%s{*Oa?(B)1big
zz+yUz&0BXi7sNokfg%94=6=3>d3hNKq^O9<oodf3!2GVMNM<a}&MNSb5(MABe;;5a
zhFPrqqR-JTK?a#mOl8bznDU??zU56f<_@;5Wkuu`it_)&m(x{hx^VHL)b2dLn3xzn
zeUjVH{u<xyVvbFeTAYIBo{!6vn~oTQ0NDVR2n<>it30=p{U(Q1Se0kJ-s3c~PT)>m
z{6F$trHZAd_V#GKPijec()oP@1D&aYtwTfG0f$=wKzNpMBmf+y(H_1vx9}xtMCC(=
zxET~gahA^3)+jDeX%SIT2Jd{mwifd^STOx}>|ZR93EP}x;Kcv4{~ZQjgP+C5&K~CP
z1tNEFa1hF$sxar_!m~`uhgvjmQl%3H=h(#jc1qXB?L(>X@k2%`9D7?&QE;%a883hR
z0Ok?^20BysQcPszH<!0y<H6=sZU<nYq@+YO?eA`Js6Mr_vH1b3zqQvp@W_|d-`*aq
zI@@qE#$vah+E_o3m5&~MoLqrRKYILl4z(?Whg7zLdZWLrUtj(7is^Nr=rynQ2DD^k
z>Yj?Y&MzzgV@|<7tKF|$Wlnzj)DE!3#Dvd(?-x|njW%lpK@Hw$ij0cd-T29&nVgW&
zaOrTpR}J*2OgP18sWr`=GgQRl5)!PEzE&Wisfd$PVb{}h-##5ma1{5D@>(^U_;?S%
z|ND4Af778efY-T)3dJQQ4JJisP0%e;uG7jlZ{Ac_r@C`yoP9m+`}gnQ61As^RYWZq
z^_{kg^VwPiovDz-%PKTgixqPC0yNiaswDwXFlDpqfSCcngN8=)&Yc>o?ks>U_qr?i
zfhO@b<P5x+ckk|2KEq<C(>%s9la8^$xM}51(9waw?Y-BFRe7v%4$YR)X=#&~l+-G4
zS4T&Ft4H(jfbWqWFby7VZY<}E($c=(-p6`R9zQ-?oA6DjDma0^kWBjszkmSPOnsn#
zDhFe7a?C60&#Fj_V>j~_W^RP!&7T5@srBA?(SEBXKt)7Er2C#u!EIxbDf&EBzoR?9
zel2hB!95BK3*%;a#r_dMq+S&@JvDVpUH$YOm&1d7IFtNWKKJ#h)1Ie`f(1~aPkr))
zf6f$MN=ePn&tG4CsZ$8DN(dJ3<jIo_hS#U3r(wI$%GG$Sed_Cr*Hhx~?GYRww$RC2
z$mzIYH0r5cm6Mk4P%`tc5vrz(Z{rA4D=;-+6<w_`QgH3=%bxLeJx{|obus`rcEDa^
z00SfA##}E44^QDp%x#&kfWsy;i8;BsmWqlI=w=`^?8?dSt9|!=U19qUFms#xw@c#a
z;D8Om)_PbeQwIEnZcBcBc^d1{`8tJnhek&Dr@Xz3EoHWaGA|CFT0$LM-IVi3D?tea
zXn!As57cUHZEeb6wp$|vI5}L51qv1@$7fqjWHxq=x%Mn+dl<zoLg4eeyW@u))#9GZ
zr`I&J4s2}(UmH`hh@TFHLZQ&Se_{MhLc-^Si#j&8wp;T<lS@m5X1hq&F``%VZljfM
zFSYae`1xJk-NBNC-9M8N0CtbCrt#L|D4+mXh`y2;+$$?9&F$@O9v)Jj%SPJT{cxAe
zhkb#xgCTJH_HC%GZM2(ny)z)WLx{*970fLxFw@YKShO<*N%LCwoFjBDAF|kbQBdIE
zcnc@N57Wo1z0T4_jTl^{i-K=^$Mhd6!0CvmEY8)S-RK_=?#?zim<c%G;N%2V89`O-
zJb7JBt<!IJGwrIg2>=$z<%P1k2g%2Y362CA!8{hq7*Cz524h^W#Nrr1@ba>g#kuHe
zQ0+ENacqG70NHWemPCT(6}>{;A?#ZVBNf)Y?9;*?n2r8I!zCz7v$I!i`(J?!0WHBV
zRRk;9GCpp|Njp3^I6qV(?{80Eiw~?kI5=2xf4vtEp9n;m`yLe@CPZso5F8G$;6yDg
zErG(^dZ~R&ON;j<F<X`ULUB>iHaJ;OY-dpq71k?i_uKpX6FX;sN%0A$<O9={k2z&+
zYwPp%Js#E<q-L9n8um37YXQd;7869S8PWB)a?#BZyOJtZdY`58o0U@xVrU^VIx~_f
z`3js9-@|&6@X1zv-ZiKn9BS$6F8ChF*P<5|O53v^vkDAZzpD1rzn(Ay>elf?Fd>jw
zpd=7UD8F4b)P%zWHjOJ9t*oT<xHhKp7qjQmm_$IpA-J1e+2U0jU4lpfyZU+eX*Nw|
zdG?OXC0)hX=*O9bg*=A_TGtB!vtX}`4a2tCf<jVL1{OXM(SmzSy13V)yuGs@s^{8{
z$Z3E)P|gH;vXskvVrS#0&aGSLT~GJ0vRDj#{Fnt;GdTDL>;rJ@&rz2RSeToe!@dIR
z0oa7K^>bx~9uR>SFI;#K9c^oC+uqie{2L6!M#fY}#4F(-16dIk64KY#7ZMOauP9Rs
zR%HoN{8NYF)Sl-BV_=ZtT4HM3>hk;$|6I~)w!t5VJ|$(y;7OKz8yT~xR*FW5>8A(B
zjvX6%=T{XK6%{Ph_<#|p+_!JvR+lGa=3J)d%V7V+E&?Bg`k%lea12y1Atn9M4G`2&
zMs7oF#K`#k&Gdh><>OecoYj2Ha%Bw^H`K_A7$(SAvgKpPicG`5)%bXMEsR!G<mKhH
z2Z_ObtH~az@$qnW2E#)UJU*@;$#Izhx=G!SZywC41?()>QJxqeBPHG47%&89Uo}m%
z%wy?pC6GrkQPGyZ+vRq8<L~^y<OScd)OALc(4OSqNQ?H$SY2IRhPW4>c}x6IiDiY?
z(wp|Qat}1jJ%!geSm7Mb2{^Gtk07OwL}S=`kN;5%nrb;YIUp~=TS;@s^f{{X4aCD!
z8O+3E<i)cXuuy(1?Qe}s0gALH@qo`N3Pcq|41%<OQbqNHZQ#G}t)rs@7{?M@5pd{l
zk+5DuJhI+Tf?RkFCma7L#RG;b-#{`0>VPgnkksfjgG3-<<>lpfODt3%-2tXlVK>BQ
z))WUJ5Dn_pt5+8;T%fhv?I%e^*^AYE7UESW8hckzCqlp^c?@%7{+t=uCa^uTS*a9>
zw-+iP=-ZoZJYVA`9^Kz|6I-5CIZQ;<@_uB%?P|Dm9S5FP1YGepx5w`00*<9B$;->L
zpFDe$U!++|R~;MtH$_1kLlg)g84=M8DVyVHWzO(fe5B0O-oD+P7(pCAsG<_%;^NZN
z9V{&?0GR^zCRxFpMT_u9i0t!$G`f2A7kF8u^xR~Wlu3oB|0Wc(A2ApV&{<FdU^rdA
z{YJeZoCx_*H!$D<)Ca2G@#Dt<B22|jA%X5ikK^9Hc>{ny`|%zrESIyh^JHV}AruB~
z!-dU-5#Z(E2msc50~z<d2OzgK9xz^CZw476Xe2BtpvKeGRB!lXHOcMoaGE5%Pa~KP
zYHDhzzpbsU1_lPPr$jyi6Gs+IT!*8;H3#CycJ}NfWU#>Jk_y%J^Z=9@si>r-ob}#)
z1n#x5u_1DbBB`~#qXSDyLqh{6cYkk>h~m_J(9)H!a&o3R(!?O&fHeVs2Y1K2xZR01
zT;F~P4n8tHH(*kPbNivze2+EV1PXZ7qAi(A6MI!e1m@Z#H8<4T%YXK4cKeJO><pZN
z45TD6ATB0VePkl*Ukr8P)DiLw0)Q{?Cb;+7uXI=7AQ$QG?Jm^@thEcT&2;AKC`v`W
zZa+$TLudJSojVcLaOKJsprz={q<2wGzy)bBxL$yyBy~<m!<c!Eq|ME9NGM6ccE|7!
zDmMLhGyf3m|E`zMGUNuQLkM#&hK7e5R(p0gH_v@*h=N!eJpqYJXPTI>)7STq+U``O
zz(*lJ$U2M7qKDnXUfLUB$UxMEyAlidQcEW+UjjGnf19Vnvw!DYh>_k&*Dv7DvPZ}Q
zwS4bRi(sN~CX6(Q!FPMBN(Kfal#;&!!M>BG&jh0bJq#kN7HWuQu4=a$>(=t}8^2wl
zk!yH?9UqkUUulepVCLRSXFs2qxiJa_?^7f0akx3+7#ar_Be#C3)m%>wh{HDo(o9e$
z$iZw1ba)Gz8;nu7y<0mQwx}j>kLg)hBpt^90(Od+nUGoT^|+$z_C8Ie1`ZC3aO=hc
z4)>ovJymXsmp~oW0Md$v<Q_oCnNS8MCL#iYSGV7~d<;Ei2Pa^8iG>f{9TL+uFu)P2
zaE`hhAMZ04H}@D&B*<oMZET3yz@5AM&UYIEC?Tt^)8#Vw$S?XY#RQ`e?#dHe+uNIq
zQO!D2M|=m6MrAJd<R}5LJVntsGU5a58f0benhSz#7zY|yV2(rG08od!m#J)SYx{F`
zbyY|wGhCUz8ctGIrVJ|cbza_mDia3>7AB@jrwJ4=0Ne$wPD1E{e_u8Wh+$Gf0#wDq
z!b0%i-oEvcm6ZicOJ6@#nQ%SMx&j=zOm$CCPQs33RH%dXT&c^3@Akm26%rIQ7ZX4b
zIo>OmtPp5YxNK0)smagAmI*=Ke;7!sC%R;?2~12(p{NOne0+U<f!_`d4_6v}2!=NS
zg}xUScIG5LvJnmjF#?-UoJB1q734ldkj<T)lq4isGu!b&p~|fwC+h3#!Hxdh-%pJS
z18oK7^VhFNaBgu^nnfr+#RXx%I#o_g>g(#x&dxSXxy;Q;Uy~^-Ed>XJ^xj9n>YKFC
zB!W9>`TBz9EwnoY0!X06HOk*Mq;(}=jsMoD2Z(xb9?pmA>gxKgG|&S&L2zaXlMU>U
z!I^s@JA(8QMuz|`>+Q1uH3fPl?7X~PgM-NnU6A{d{Bbp{pMvTIIR?3jg!ek!1QQc#
zSO_Mj--QP^Vxd2Fo^pt|?=MJIHtQp3&OE$N#RuIH=amvKLH7mDl!r~#g>wb5k60!P
z_dEmE<DS<7zQRU;(EWC;e;QR*VWAW(7uZE)gGZ6eVWDIKVahG%_it_+8fJwnr$KCC
z2MR?#mL-R^*~r?Ok(zq7f!@&R?d{(Sr}xh=$Teu)AU>GG+Xbg|;>E3(0BGGWb$H6N
z@gevBW0zvJ!F;)gngD!0{Iz0=Qh-<~BqZdD5i5fJ$JNxNfv$z|+JM7YsRLb*Zn)q<
z_pOULqz*8MAqsLNkPvsp(`=?XuC8nFt~bzJ0lM}$3Sv|Nhxd{a%uFL1ft$qS<Qtot
z7GfkutT?~)jd^n-)B$3G;Ir~E&_r?^S6_kQZ^Bdthlh)q^&4qVoJa#&x4<dw<LTuE
zzGyIb_2k}7S`V`F07}8L-GbwUW&wT8%*6C!4u5kl+enP0%MO*v%g_H9e(nxf;iHgM
zBs_odLez8lYo<*20W_9SqoA*0t(hYO!c{L%&)3ZQ!Z4j=u)<-W7FC`rXQ=s%a6bxX
z7~*bFnOu?3aAX&rowhhubCQ|aZ}ofgK%pTG3Qj9XPLcn_n!r@BmPO^&)YQ&AEG;kZ
zso=@15&)|lNE9kl-TVCk1cn@-<lL<Qf^q5DsdHwd1<#&+2N{NgB_K1$*uZ#!a8LKO
zQBZU=`A8-nVnqb^%M~JmCr_T7r;Y#zWTePSC_>idM;}+Fx&r0kjMLS1^(|0rOpJ_0
z%n*FAgXt`KbaJPv0PHmAS(21Is2KM@8@j$Q;?bQYr<BC)=Im^YJMqz>u&NXm?`9(*
z`T^}R1Ak#YY`FfCeBGjN{{{}^uoux3qcUNkuVm^?R=|}?#@hvXO-gr3x6I}Qi|8?=
z>oV-^j!d5>r`DT_V75VRgN>U1{5f0b;K&G%LHYbzr&Pd9n#UmQ9BCg|<TOaYTdZ7v
zuM9+vF^0KEAWg*0mp9L_2-0@2WN=mBV0S5$3U(Oys6bIb?c<<5uphVFM<vV_n%mlF
zN$#};`gwS4nYSjkLmcin{tkECFjFuji@X;vT-@CJR=(ZiO8^80mN8-w#lpu3dKWre
zfWkna%O1*b@?<znC@jq6y(ALY0>dLeO&u}anPI4{z1g1%(Lg~#!5=yVTmt;6Rktpg
zPfeYj<Ir3J{))Z*Wj5f8Y_PuM6coUXEO1Lan$_qI6m90`&noj)I&&NFsv(m|N=kzG
zjRpD_+C^vCY^|+DyjGt<NDuc|os%{~7Gx7p99YA{4a38Gc4Ub32Gmxj)1soOjgwrO
zCI3NbAnXT9W8dFB#Zo-enXxodu@uhg&xyl4G6r6w6`%q1Jnm?;8E!0TI6Mh_G{nGG
z-`_6;{U}r}pl~;T%ud(8UJu;ox9sTh`T=c3+J$$S85pc^F$QeaK)CU-sw!j#hK2#N
zU75h1_f}hZLaBgg;Xq0q7iG-MDo_qVH3SBT3+15)iWqvP1_5~_5BFT5ZwLoZ2o9cR
ztUM_7;8p_L0yn+DuvV40dtd;fC<iO6*?2C^S!LRPG7*ts(Y!-Y4bYY)<?@|aLh3%a
zKw#j~8~T2ja>1bwGIrz`qtyk9a2bvGy;TG2p;CHUIh>0M4w;}}LI<DJ-f|si<o4t%
z*<gm)$sdKR7Y+xL4Exk0|L49!*Gu!lUsYD>bJF5Wj{(Dg^P%gDqr1IoQVoHA2%>^J
z9x)JWflyznT6(v;(#ZPr#}8t*v)3Q!)_A+AtE>NmgNP_T?mV|Iu-Q5|9KhQ^3i$l&
zzl^#c6of}K4`uo&ZdVHwh0g;KKN57BjV;LEsuKJXFoaPuGWK?MxI=+d;sHL2F!jk?
z*XV<Sj{B6kp7Ww1kjzn#lc$NeVjn&{KGF>>Tot%OE`OFiEdPHGZ<q9n&A<k-3&$G&
z%`9vyDX9@@T-#tr_x%Xt+WpND=sQ3)0mrEO_!0VS0E-7HZmj*G6umShT+=^)!mOd|
zhvoS3hZz|eiHX?YWdvb>yGa*bXDmi=>(^{{EQnq%@Q!~1HrD$4ag;A~*`3yJ9vBc7
z72N@?;FzBh7e~d&sCW17*zmCT_om|~>WPrk<h5-_ko*(ByD#FO5B;4?VbdvK=M#B1
zVeDsbcUy_}v~O$QurLj!0&Y1!Z-;6EM(M+M1_><35lmcb3NA(~m347(0k>efBW+|_
zA3Lt)C#wFLgBt0dfG{&Kk(h)87%H^U*t%Z+#D?VYLr)5#p9OpgB#NCp9+DOWssUs0
z%<-{x?`8fS-Pr(W{P-(2nj=|#(sar7cO->#j_?01*X$Ps*w{XN_z=`Ob+^j>vY6Ni
z1b0nMoFXDA1?mO{VATvmerz{dSyoUGL)FvO#cSDd%ExE-*Dp_Onvh5QznR3IJKOn)
zKCbW9N+iX=t%s*<j+@2r(t0g?JUrCW#r57e8AET2{1d(_S28&qX^07+VStiV5)xfn
zVgh?@pr`*s3#YgJzol4cQm6oskyg7*!RnCoDm)Q`w#vwei01_bcT26h;SP#<(;`e^
zM}D34<t;_V>eFfH>E(%!k&~N?#R)al&VjXlibCEZe=k_s7}^kO#O;R#B4kk-TF}v#
z(dp<K3!8&hE~3E%rEu+9kh1OHVbx9Asqf$8A3v7S=mQ5a*~Wgcsj)G<bH>ul3}%A<
zW|vp{`ZX`ADG2{4bPe?#`2>9@dr`p3BV@}0v_R=Y<0em(Y!-M)ubHPuZh?RRNe52%
z^z_Xe>qlDpjMIDF)}~c<G)zO|Ky_BU%}+~XW&;`;O2ubVPn=Q)`xaN5h}rOo$eM87
zCE`AtZ4C|gsJ<;Oc4*nU%0sDeoo-uMTLWhrmZ=4@=5f%jsie5OlL@36*E@084F>@H
z;+G?<AV|&|X!{rI(Ge05JYeJp<TnGkkKW841PSrXkZ-d2%jhUSA0HVR?Y`QFb2sgo
z1Z}kR^oHOh8vgF$RQnC00IQO}zJ@?4z4CeZ%fmk&E9BdL^MhBQh4Xv{6(uGU7wZ!N
zVw>&cf&B{n-*)7~x&`oMG@1u2j|JT9xF8pYN6&en^)TG|2-ErNof%T&#pd8ZwSrT9
zLJOv*tO~r|i*Ns&j~6fpcq=%TxNNMYMbvKxEq``pb2BC)0?f~7>C?#q*3@kE|88Ec
z#DEs~+qpy!AgQ?2KTiwV0)XQr%$H^9aE<#l@bd9730TFwg=~Qa0=BjCu9ve<92|3w
z?+XAzo;d>vnF%<CkN`UrGD++JY>4vlJz_b@aTfX}+1V|iy9$!Pp6$o0z#YpW`vozm
z^7QHoC~l5WyP;xph(%xuFnd#fyy58>=uWMHx76-U@j%T~Rzd6=G%P&vW@&dE2qhVq
zRLmW-WY2K%@aXUr{+MmQ76xsl&|b9q{6tL`O`{U=aguuwj6notZ^4VS7!;c+-oE_>
z_Ty~#K4uc9d=GnuhoPwn>udA*?fea>mcaR2a<wH=@8BVM#{g#ZUqY?f?t9@nlmLem
z+K+>)Z%F<`xf3F%DUUG*_7}f?JzK906oU_cgb}{12cro!HG3UmPeD&U@DU>wus$T@
zG%2s}^3Fm{dh$G>jpu02#%*!1?pWXgubf?7U*_e_zTE^O;Zxv@AhXwT9hA1<oi^aC
zA`Bhi{w73RBoq`ZSDi40g^vFIl5EfZYe)K>=(>q>|1DJqf_a{ULrI50+|vmH=#pDL
zDml-dEqjX3wKteJYiZFYwMIuq+Su9I6|zh46Y`%Ig#qwE;gf(&X?AW-PfJSx`ker^
zX;6<IJ%Y9{NMCg?(Ge3Ux5LI5hpwacR6#ITaE)M1O&H52vkQBFhhaT;|4FnStWO^a
zdf(f-Hc^LTZ6r1~5B(8W%Jk!~6ttHl2T%1qp7!S*^V=GYj3k+(4hT5>_RS<R3j%3q
zHk?DD6ciPY$!Xv^lyL4vJU{8bC07?6E<nz1u?A_p;yG$>SILY*j74YK3`I=@Y>1`m
zHC0NvEWg=pBN-W)AqoNk775n*e*qKGM#v_J>=byQo54Gr%eX?pz<U}3buQ>7JR90Y
zV-n491@-Q^M)vjNC?e>55l6qR!CsGLxm>aUURFxuWu-$ajdxg4Xp07=!*lVXsTln7
zLRy$XB1YnmlZ<Z0^?GYf!a_pFj<U#O-m)1mibLao0lL1u-Jmiz*L+v@p8(uYTu@Mu
z#O4M5A7THRnGgvq&}=+pLqsiq^gV}h0u6>UmM-dcfvx_(_H@5{4*QIrp1$$Zr`2uW
zO4)5J2!9t>SGeEM5+^Mk7@P|2PsaO-pMMMf*ii<k!$8Vnp`8)>+CBpagZTmG!1>Ti
z2Ia4SmP3vN{`&A+*W6W=Xy{f1x8=;k*`I~ASfzN!3*zE?Kv}_$hpzDlF)`Ze&|?Kw
z^99yhYSKc$=P9nz`hO=3kX5V4w6c;>$WInV#k`BqcWSzDmX-v^Uu0zFy7!T^a<k?~
z&_N4iwJUq~TI0X-1KjVEgpx_qIgH^Ufsr6B|K)8-=brw*{pFV5zpo;__NCfut(B+N
z3@1PVS<S=<)X(Cmi0C{ntXLd16(fNI`umx{#z~;{Ma+a&lq|80?!*|ntI3%s&77{D
zDwhdd40?GIk=8U)mx3`NtvFCYkoSE5-+uiDstEcdIIz&H1mdthlQVJwcRvv{(?1<R
Zn*o}&#<sFNyV<y>73EZA3s6SE{|n<^kCp%c

diff --git a/fmmd_concept/System_safety_2011/master_uml.png b/fmmd_concept/System_safety_2011/master_uml.png
deleted file mode 100644
index 5e00b94080ea7afc724f2a7ba9ab044cf95b85cd..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 24166
zcmce;2{@L0+dX=VWC(X5rHD#IDJ4l}iO4L<SjrfYS;!CyDV3<qWR8+4A`xZCoVg5T
zo->nSue+Y_`<{32{~nHG?_+z9H$8D**YElb=ef?c)_M7>D$CK)u+k6+1iG{Gr_~9B
z4TbnW1=R-pi@lV^W_+VGQj|MQSSS52rYPw#fxtmHds<4<Ib!U)xgO)-n$Q$=IEU_*
zE$y<Zs*<PGM)+xHLO8DX{JfE_rJL?uZD@6E<5-HUF7r1VvGZSZ-)g<|-lOwPH8!r|
zhdNWp`E6wFSz?C=A|iHC2?Ph9HOZKymAHJg`mq18{DJqAUtUveAd}j-El{@7F*Z<j
zZZ|c7z;q^Pgfu+K<7TSwTq2?x39LZ`!uAb^=<tsm%s!O(7EB{ej&JfCW6ALCg?Byv
zB&bW7k-nvH2;xsqO(HA4N%B(t|MM};gMyk`TD9RP>KYpx8yaqWFL1E#em@?N9ugW#
zvpeg;!TgsRV>g9&)oL5M_xJU^c=c+sw>Q&i(jfD=+iQ7@bfaoQy{fi$p7XCChu<&m
zId*Jjq&bbBpT9HDdeAoCwmUd5FmNhUk|X%{vhVxFAGF7h=Y)iWR8>`Vd#tZkKIWEK
znUd*b6~C|#&%WVx!K|WMqu<4YakmXCb#pC$O-(%&z7c0b6ILx|)AM1vzq;Qb{9E_7
z%uzuB0hg7<%>4Y5OM`!|#2qc_I)CmtYe8H^?QoeK79>^vi4N<n_0<Kfq*hi|R)*c;
z`|v<7<K-UcT)eoElJdRBdQ?PPeLZo<4s%memK{6V+uC>{>^|RTlkwZkNrgwT`|?y^
zd3kw$e*VUd8)Y8vH~1D&mu@<K{P?xjjGWBO_Cl8|o7IEcMjI0p+1c53baV#mqPe+q
z^-W#J#>R55f3NDbsgM{SANTc_vTxdbP<^ag)MKqMG&J=7{o1=*_O30DzPex7gh@0?
zRyT8=8+qd8C6(rX;`%qDxVY>5SkTTB%d^8-H-4V6RXBI<UQ&{&mR4wDq6z+Pqs+z@
z$)}w`q{zHf;=Pe}8xs@LLA|#&<pIoP9<@(9qfUG-FaPCS7=FT9NKo)@#z>gqt$dqa
zX+1qX8=E616UIe4?PiA>(zIV;)cl6;SH3(uHatAsH>*Wj*384lgoTAgM3%q5bBeyT
zJY4Ea%T<(xaW)cFUoh&P5E9BrOJj^w*Vo4{SohLce|yVGq?(?d-nDC2g}=DCxG4LB
zhzgS|U%SvJPjYmYelJW`QhJnlynmo8HovgofhU#Z;Nj<=pPgkA|J_q^J6G|nfhpgP
z9Xqg;MPXrKetu{4^dfwgI(1{)!iLAkYfQ2pKYBDWI@;Npt*83??{Rw~{jtoS(azTP
zbkbE5ljWr)YV8a9`iF>ASnL9)No8fhqer)X+AAX?(;ML?9_^;5ruJ)fp<CtIQQut`
zI3lF7m3vcJckbM{LCVf9>;3!pQx~T@b?j>yGP1<N`1M(jUX|}$l6Whfd3a{LGw;gh
z`^`8Z&CN<GD(gKhr|58kJvlW~TuYmpj!8%u+E-z!&pcp1wDNctQT4(FGgDJJ<r@wT
z{WijVis=~{+iDN&q9bnKe!;-ty;(!tXzMG*u7dFJolAV50|IESUAxw6e>|sUGIn+}
zJ1gtj_3PW#PTpEs#FXY{x!d>}87BJspH)y$P*PIT)C?&uF78vna)`@g4hkGb`3(x6
zK7X!rp7izP`SY7g)BQQuT4_w%^6dt(#Ez3)n83;dU0q$~=H_&CbPWv+US3{Strss`
zz$)FLXDhJk6zV;V<$Uz$k(S*}7Z+JMx#C-^Hy0+p|NIp6ST(85Az-eOJKAljKkVYg
zi@1cWtSnCM$FcUT&X%c?J>~De_%m{|i#i9_4es2zQ(H?*A%lWI==qpz@nh&)i=v`p
zYr5`WPtPT5>)l(osv8*a7nEXWRet;Cwzjf#=+L3QvW||9$@jl&OG~|LOa}Y=sRx<(
zp9BXVah|$FOB=ZQdx18o?)h=Wwi3<=ta1?!#j#^qF)<vyJY>>(a()<~dnRTlaND5~
zY|6ar-zn*LZQr(S|JaEw>AkmQ1KgiI*e!w0*V^3N{PnA-(?rDA$s2dn{%bE~G)<K-
ztIz3dr*AbU5H3-jABn;Q6KFX92IV0})_PHT0--(uf5X4WDE{+<{|}>e0A)@%0}V}F
zF6qX>TLV*1DIoqT<kIR><n7-?h!LyOVO5S4k!?=wzlL+};NXB5(a_wSP_PZLlmGNZ
zMRKdziSO@TzI>UT{q^hDkP#hRsDMZ*U8Nu+bDM*TKTOeq6aS=78!M$n$}b;?RCH`j
zxeVT$>2}fI39!Y_nC|?D)=MQC8X9tQbMM_7fBag@RZ~;${rev^A?{IUlcs|_CP7L^
z?g2aYwz09XoA`QL=9SXnA<~5TNh;pXeyex=%$YNej*d1qHj0XYHX;SwgqSqUddQO}
zMF_eaRO}D5b#)bq6k*j|NmLXY8u+@0Mn@li=JMtcJbpZAT?U^D=<w1avc53BeEG)A
zfRZ=I_3s5-B5dCo2^@Rz=?fPYk!G}C88EZ3AYN$WP~h8>Cl47;t7wWS85$O2eEawB
zzv?&C5Pv5pCnxC77yk0>*|V{5LWhi5Ff)cFc@ul)<jIpN(c(3AbslrOt-A^ze$z=w
zOY6kd*~M-WDPl7+u3x&uu^jWHqeF-Nft>jD>(?_@9xP0D7kjL~kBN~S+n=42<GUjc
z*HBhgzD-H@CMT!7*;R^3`u59uF*3sV7AlHY21Qk0zI;L2`|`zYy00>j<*-lpkTmu@
zl8gKDY-Uc*aX~?xCeykoF{N|oZqEIAyeKi(k)fdqgL4?Ai%b3y89XHm6I0*dApXRc
zrna_(2M*B8U|itP@bJUolJfHM_I8*07^zR6KE2W2kV;x=(#oiDadA0Ke9L$LJzwOy
z@Fpv3bY$dobaO+)4q=;^tgNia$jEVzr{UpzF-H(E@#X63npxM<(n52r41>i7vfjMG
z@Fz%5z2@F)i7d8P?*1+TqcUVNzs)<O*$G}JZFZPnREiQ^A`L!6@0p<a*5({Q1d0t(
z*RS*MV8Z<$hlO#wA&k|uw1kRkINi9hL(nW3H!mm<@ojdL$9~e%(o$BYUz&W(t-{O4
z=Uayfc>C_%gY5!FeH9OPd#niXC)81xnFlj}5+oeaxOMB65$Wp(Vzg|rLeRZ?XYTJh
zY4J6=AzqGQ$I;UX*2bommZI0cy}j}C6LnId^RGSF$H$M);h?m)w<At$y-(+4Yx`W#
zys@wHF_J%D*cy|nG;VPI(xo0>S{4$5IG~ZJs!vO>PahZ<K%B?M+P`mK-@pJ(QfFJ+
zy&cE=Hq(%AqSw^8QpROtaqSvuYan#u44!hDpgLuQ{qY&U<ucuO_VNDww{KN-_f@dy
zuwL~Ir6hFl9Xwcw%#24szDJ6y^rxhxG%zqg8pRak=H@2mN-J#NzTFus;_AvsQPOKO
z(N*NyU-bk#)a2^beOOs8t}PUouU{9(9n6~&U0hwAMq7eL9!Y88F`8dq%=+=;$F1Mv
zd5FKM*T@Jiy!`y)b^~8hG?LUcG?v`NPa=vme<ppIeoa=}PRXO?;^LyN-uUN)73rv}
zODhWs3SP}>KW6gfsi@1F++3j?X6YnO!3vAoh?CqZQKHCI5hv}EGd2?XVzRSmv5}LM
zBMaPr3q51rym|A=>MHlSr#(M^Ub%c(%E60QhJ#4@1Zlh1Mz}1`9yqCHXxQD|?eXc}
z4m>vEcT%qO5RVV##Y1{;r*MKL)>meLa!A(~nM5uq26VD6UUfudm{zB`dGn^F&?z3C
ziqD@naeqFFT`Gd7dv?qeySDNGt`>dLZs13GAVPwYl@*5=uIoPEZh8lZ(0-^MKS&{6
z_a`P5|8zevaPOUIhsmz*-Q5znW?daa@rK}cNh;A%xXSEs69Pydlbqb=@<5h4z~-_t
zpN@{6+uH@o@)Uamf(g8-si_vN8Tx?0d(Yexw(XO5cV9(-#8>xw_nj;(C)}6q_xWY?
zU|VBLenwVuTO{E&v758bfO{P|*N_fL^U`0%+&i^JRho+KO(`=cnP#n_$LibzkCl(5
zrF-`6+sDU8ihn?&H8nL#XU{%6<&>ddcu~stZGQfEM^4(?w~Kk*x59A*ft~FJ?mc+$
zAU%CN^pGwuFK;qGu}l&H@Rlug3@;9+w6r&(=eu{m4;QZh<Q&B|YD!Wmc9|LYyxYUx
z#wMmfa{ow6x~`4Q)Du4K>6w|md-hmbSs4N%)ST$PpsVY#wlo;W@{wTdS<k^|uR`D{
z#z8@Nc#BaiEpc&k@7%G&s_k`ee|4C@zdv?SePd%>fg}e~m5@~jDRe)2bkw*i1fRk=
z5<Yoy37_KPy1W?qh%`<F>X3`Z#{CQ39^F_7%)F_oX=g{rnLj9H`OfZJuQM}a3q;I<
z%8i29PR--@>S}6MS7z!Q?CrO1-MU}txu98njK}Jzp_Mg}hQ{xoQ6`m^mSRY{y1GEH
znMj%+KmPohqH)-u@It<ALR1ucb92e2*~xB+{reMRVlK@L)FdV*0{;MHunODs0Pzsn
zczkfNX+H<#)2jHFFAoX|W@BD{&yQcTu%OwzxzJ&>1p(KjHX=pZ=_!Rb$Ibb%rSZIO
z0QOxX_7%;|a|qscgS8H}wjwUm`)*y8qQ>@&b=@H8qN%C*(y;hF$}!+I><LU;#g{Lr
zAVm3hzi0&P%SFv~@7_J+40=|<Asi;``WudpYjdrJTiBR3|Bd{rlsMbrLRKT4d6T(T
zodCQ^O5vdoAKqA=HAjk1RU}`!lzE{kQOOnc0L~051Y0{hq@nR2KfH%x<Vm~l6*nOn
z>3bIF8MA(C;ky&S2M}bbhC1o<SMd2H6%TwK5hWrb!q(Q-1Zm8&?R7{9Q>x+>ioZ|f
zDUGYL9l7-3Q_xOK&V~&eNCnW$VBNcd0(E^B`$H%VF#r=26Vks62?^nR?vl8*g2-v`
z-mN`$4j9)_&DY-d@9L?N3baxmYSOgS)nP<Mw^o-CufKi!mYhM$B&Vcg)$;OUettfw
zrihB_!u)Ka-}M$a;`#IE4E&>`qwgHYb^bz}#l=OQ7@eE{>@}vbn(z}+Qc|}!F}%O=
z(=R7y4$pP;=+RFPcB?q(OVXkAdR4qufE|G#EXqEKLxKp8%J~`!37>@f>|!YV5QP@q
z)-tbrX3|Pe{ReF@`F-p?Ei0Q}P!J{Vt|KF}7fA$p>X>Qm)yxZ;VU$dx_%D0=S=<<N
zgbebIZl@5EUs7UX?g@#o>Y9p*irQLb6%}i9bG54}ymbF8@x9sE*~=gO(sgo3*cVv?
z!Sx0p(Zh#ZnjO5h-mtU#JyR!vCF#WJ!I{HdUR}uifk0|CnEm?oTbG%{{QRYK-8}q^
z$uKoQ`tO-5zz{z^KYmSoZSg1K)WT@%Br07TU~<aMF$Mgp>ew~aRaH7gH*=mp?*LW-
z<i?hiO%06uXA{RLMvA$%bamZAUPV>*@Zm$`T%>GGmW@@)+S*PyCIDYiQBl6WzGP%%
z(Qea~sEkrF6#J1|XaM%~U%Yu^3xI<~<~eZShLcmV(`483+-T)fdX6BhH-g0Yw|os1
zl}T^|m^K7-;`OHoXtCn}(CvK{!}#fT2_F#>%5`0skXW5<!dawbU_a-e7IX7!b2D%b
z>PPHE#Qwaim5-2~nVFf@^utm~QviTbp{=2zVP?h?UV|f@o|m_P$;Ga^y;I5SASR0+
zCHKhJ6yQX?caBy-U5MMU1w2nkG2xy$Avk_)%#wlO!O+kUwjD|)eS{U9XFR^301hiA
zRV6|=6A1(9ik5|+>GwyPV8Y);O-xBmJ$mfe<KGrbZnvDB--d_lnwSg(bIM>NN=r-I
zkWmI7R#dD;{AWAmcure;0cjEosv<8RQ^0fH`|lZv|Ju@08zuHGJ6rR8+M&aT88&ae
zclU0OZGLs=p?B`TbK~RV-A<5k2m<xKbD9)6bt)`0^iBJiQn*lWnTi6AzVrgck$_jP
ztWTfzacd=IByH_hz`^HFpW?|cPj(fFh=@#or;y|W>{U=yq@|<lpIPd5Ux<v3Hk6g!
z*eshu_<Q)b8)FNAB$?LP8D00_?%k=G8NLGte$CHgs|tkIgtk_Z?Q3dj=|aT{)PZP+
zdLO8Ax~GIZHBjC0zlO4lQO3bxF64kl>Bo<VNV(SCw{QkCw)2v4JVP09^XBs6ub<t8
zF2@|l+MYh$p30|g@%N*W+@h!?u|ggzzwSJHc2Pm03LsTrU`w)*g~iR)<++LqdHOq9
zmhEpoe2_H1o>6n|pU=s$owU6=)|QDW+96<c8h5C8xHlz(>goM*qjbY!z?HT52jT@b
zy`@vVAAymR`4x8jvw0hT+U8?@^b4JF0%yME+dY2#7|A+?pQfi<e5vm-C^A$L>qr3L
zq)<8}7VJs5{deKyQ{KN9KXSwd2L$IvO-(H`Gjs6?1<y`y?xal&>=YCf0GCLuSo?b;
z0U@-1OAU@7Wba=;KN}X<SAP8}c;LW+efxYy0tjWt1O-v?eye)Ir>mp0jb9Iiv7f6R
zHEEo&WZRSDKi32K(C;|9PfW~xs;A^{;B{;Lx{+h|$jAuN50HLCeSKS@%M7A1a!3ll
z!T}C^`U)#y-#h!^MnD;`6K-y9*yp}dn`3yzan`EC4nL-2!0E=8Pbk<kLb@I419$!X
zpB*(;0Nnu0h$9q}lqBaMOJM8i?|1k;Z*}e3C<r3}{vX3lNt)WH1^(`!7%}Xt?>Ocz
zq6TJWLx`-|+1be%R52eTA|o}_)e(Fa@l*VJVp5WZ{+1^fws&*x^^%N9O#Eb&x#%X2
zQiSIr((&rz&j)?Y>^S=={F@~ABRwJj7dnnVkBub(lpU@&w)jw<tgo-{`Q?nV*wTS;
zN!Ux02vX@<E5DW1I6{DOxKI%0wJ#<i!FYbG9eJ&}sVVTmgN51I7X^E0VqB%^kGv$4
zyj$I0i;RXX02UEoP1cCe0pug%F!D7{HV`w539F4fg@<QC>LK5Jjlgk37;`ePGF^Qb
zAEBnEzVhi_Y{4Fa3xN75`yo|%d3kUts;c$C9?2Q<4Mf&HLU92F2UT2tK7jNvcuG_c
z2+{Fpg5vNwQf|iX*?Ho6-!Es{Z3h>Z2BT9l<YSK{O3|anJa1sIHb1V*$jFGgAcpeJ
z$ED8_Yb0a<%!<$%8$@>I-gc=;+MVEtTfTlxPDug!L2<01uN<bRq%_`~#zHw!S%Lx-
z4Aw8Zqsu8NDJ2h#UWA~c3l5HX^~wX+GBq7U&{orbxZTgs&%(mY;CyiFD?=6*77cyb
zu%9za8#iv$)Q+XP%2F7o%bKB=UmCm+#<^c5%JRw;83$(laxg;Fa$*BKyu77zJj{OI
z+$)+iFx+RsL1+3V;)g>05Yr6`oz+Tq`erch-mUVpUb1xf09{POU0&3$R2Heqvlbh^
z+N;$6o(<uA+GG~;`0?%ds8pHwEuMO+jI5!D4QoxZ4zvqaC`w8aWJm;kaQzTTdicK~
z<}Vebrt%&;b}TiGKu{&4qWfS5dI4aJ|Ind?0wRIH>{(B^H!wQ7bITSf2WIfmWH@V9
zf5V`rHW?v?mB{MZ5WF2iz@7g`LVz>}QB{8f!IMVvKLi6aX4VT<6~;MnC-w)oigfDM
zA)w@BXIK0H_<i*FasQi>c$W4CUO^%S=c1wQ#UwEDL(Bbdlrw9iB_xos-o6!nv-t52
zgG!{x+(1pZex7VFZ9_zALV^P_Fa4p;;h=!XsOaco`(brt9BRh>W##1#*ZTwRxcZSL
zQxy36WvHsD#XhCmxM@?g@C_p*#J=eD#m^G+6W@Phzww!ja?oB@4hjqmKW2J=Hec$!
zKsGoP{2DzyJwVQHpgq(yB!cJjoD*Av89hNEa7(PzY{a?6r{zZa2xcEY%FKR!jl%}6
zyXfZJ^xRxcZSA(&!v#!BINm0xcK{brnBQ7oEAnvwg1o=u*cp_RU0nv#&vxJWxMe?O
zBhD4OxEqh&(tWm5$Siv<j~W>c012hPe7S*~+}BRJ^%)K(&XxD=+Xvd0Q7L`8&-U)-
zoCOZt;lr=2I&-bM3ZFev5K*|?u#0e2DzCmimW-|#M-`wG1-8$fMeFxVpPHIx5JZ57
z8R+P^*6jAQ&D$U0=fD5?=Xa<Dv9X-{_n#>hVL5o=HF$e`;j<YRGUMV8%b^NcOoA|g
z3TvOG{!476uD3VhK`P<!j@7rs+9fJSk_3g%U|#{GK(FCXuv&em8&>4j<i>HP3=G(%
zh$!8W&aPRPAb{*RW`gQ$x47Gdu|$v(>%&RWH0ztGsNUY3<6U}N6ypNS{@(p}M|=Bs
ze8bu!3&lOuwj2r(7sy+f)~#vheNOJ#XmntaWd!()<*)(jNYku#Tf>uqTx<Pzm0841
zGA}T&i*6UPd^&U*$qCvHfZ#2g8$#hYmJ{Oc%lMa-pS#!Jf=+fFWlBv;J9gwq&&<;J
zlMV}+(&18XAV@?au0P8G1_U5`eY#&!LZTR0)p1J6ie*XdKI`$SZ{PHU)i6hLa&q=U
zm;yv7t!maCJ93`Ky?XTu6DtDFT2AoD7K&H|p`;{k5#Mqn_t^%ybS>jcmtrz9_(c*h
zAfR-{$hd@r1TcJEii~ewzlILM&&#{jJ;*9&RnS)hkV5?C?2y!LN-#<fkmC)Cp1V1s
zbO!`IA|SvysF!cs?@2}uEsMlT5BBwqb>t|HdB?`af}{g_HN*y;EMD)LFIENO#(y=>
z({WS%fXabd1ivL9Ab?W;Lf&<@i<JnRd-v|G!`4I=*|PTxiC+gKV4$bJZf?$LI<>IS
z4M2nmMUifApY3zL27d=8z!R31ce*ZF4O&_cK4Cc^p%A>ca4`Fq#O?&i%!-%9-MhP)
z`M5ha`&b^2Tq)hAjNqScQs3G-Xd}E;i_gvS>ea8%x`<TI!^7w1=D1#F#l`*jJy{%m
z)R-oJP@d=f^l5L7MYs2T>4EOgkRLaA#bDr=J)^G3+L3@ZIZiNW@j_rFsl5@FAFXH+
zf1K%g#DH{GvAz`>&{9Zu(emQOXG0N4VJH+gcwOqqHixQWVO_Ge`dh+zN|J;4;>C;X
z@5z!JM~)v)PfjN4z9=qU2c>~Wy>TNmDJjWj6fD4>TYGWbMOmpe$4CLjgznAeO`A4V
zrtP`*c%VNoQe&+8;a=Ox-#v2Fwmu6HLZ>AZf?7T+>$uJg1Pw)7Sfsm}ii(ON*LFk|
z=JpQ^XzA#5U}yamU8qOFPT4y-8D^U`fZt$aW8-=Wz(0d^iTlWk@c1ev<-m$Y+e&>`
z%h_~;0USy{hTR5#<ei0*)@C)V_ihpU<f*#E#Qm4~1pTY~bJ-Msp>WgE=qmQ8>$jCn
z5=3Y^e%xQV*G3psbDRdA58u<yH@CD*JBv0Pz+MI@jMIP+2lh`kX=-UD_dMvy@ZcKk
zFW(w=WX;lHFphCqLAxbx^_KdQFl0&!w{nD;b;$|quHbcFJ$?Q1>(@Vcl40&a{Psm-
zeE<Tks<cO*a;gZsVrdx>6~(Vt*4X%ngX)dD8Gh5Mb$DRl4ABR4*3|lW*R-vx(Hu*d
zPey{~hP~3{OU5LI?vQS-e3TvdYCxEoxjBSzeC^#t92yx34GDSr?3sV<aDP8D8(Wb@
zbL!KlPq92_FPL7wd>QpZeEd%kP<$?<eIHzV8F+k(KUkhhYD>>sI7;H7jjKaZsyfMb
zen?h}A8P3PFgOEFKu5{m(Q%?I^>lnxTG};rb@j9;mN=#LqTJkhR6g4d>Gb{hA$`ju
zP`|#VWgg-&D5ftpHO%jZA4se%g1JEw(;kxJ{Vy*7_qr%B)6JVAJ6JntpQjhtc3A8b
zNl^JRUbK>Hx4~24Qdx!~z2Yu#Lm0%qx_kgxD7dFYM50bPUB@H$ofZnWvbOHFsKsz0
zkGik?`g|B->95bbxn3UIzu%<h`ElHmg}thC?=EK*`aa7!+Aj>(i;BXACniWy1pNNg
zluhNvBhT6<{FPrOo&P#BKd-E)c+Jf0?*04pn>UBNj){)$#*?_ayK@~Jnw<0i{9ajE
zNlxa;<Xaj^dqt|=K)Ano^9HaJ^Ja&dyHDe4y&GaYwi(ywZ(5EM-$1zYHPjziO?~09
zbX73yJue}~&->k(0{e61+072S1sKH@4xBQUb>ac>4zh_lIyF6gb>iLR!Gj0eEFBFD
zqHJz87*}q>v+bkWbK-<{sW%c!mPyT<ygZe2=PV~5L-mXX!H8{FTr6=?)LZjk5?svk
z@=fX|RBKMjB`OlDS3yHVk|2rP84Al`64zP|F5S;J-?%y&z`g3qf0^NtNqg-RZpRXO
zciFA_NA`TKsTqfio4%i2;?_4XnN`Q_%LNQ)<4>E#oCNUi2|x2|kXfH%cft<`9zm+z
zq){Lcu~pGUHW`=&x2B5R;h=JIS^&bNPSQMo{$ZH7hMRzN+-|PDU=0b9T&k`vg2qH5
zQS!du{z#ycs*nRrElu!Y)KD|IvO&_@q2}z8J%6|8wRLCp!yKoJ2A6Y;(k!@yg)d|m
zVsQh{@MMN*G5#)i(XPb}i-zPoqKKCcf;j3LfMIY+aoWYq2JB&dqoaxjD=51BcPSlo
zECCisL|uRy>`&MWG&;<8u-eyMHqC0X|L#b4u|!}w3g*33KT2+I(&N{jHPtgZyy@V)
z!`ZC#+F;kgJ6F#QQJGThcMBP!N}_WM324n1pi58WS)4Z8y`t>4z9!}}r|$LEEBN%O
zcz@sKfb>)=GLj%`8tuNHNG1MzEbH!Fs)ii@qU`5wt#c(-XCLIVIKiI69M@AFpOf_F
z&GZK^awKk)6O8f=D=il6mvhF8BD4TWz>gGSzjxpI9b{=s-0Et6JoA-em6Ze2p9%HP
zE)ab_)wmWH=J8};+RTb&-{A*mh^Jk{<gTe)x^&6KWeKHC#m-eX)wJqq8q(8dH|ALz
zf-p}|44WVCY%M8~nmsVxXh9)$*FZ;UZ1j<>E}Jh2|5kZ-kcRg9b#RRd1Dl9F0M}NN
zy@#uRW1r7wh#y?7rlzMCcbd@aG<<mX&vS9D=8BvNy>(ytlC+$#%#q&s({jRAJ@J~N
z`Fh{ZmS9Aarvx}TFXKpU+qMlgC3nZ}Dw~OKCy}TDWZT->a_e%npR{c-D85x=l)1L{
zds3^Z{Li44dvafJFRL|<w6w*@pIhX)VQtv)K`zDFxz1b$dvgKW_WwsNo`#sKX@FKC
zmMplW2;Dz!A=x~^vd^FSoCD9z&kk#VrxlN$?CZ;h@20n=72Y8cujdogs+%#Zp#J{G
zQtOq)Uu$b?(1gJi#1`-~KL*VK>BfPXgOUD@i~}{n-m_lP4(cW1@5viK%E0V_*n5B!
zw%)zI+TCjCk)Dts>tN3Nv9&d9WGjIXvO$qlagg&!pFiIW|Bu5^J*SssJp@28*LlcM
z8u}q`kQKlyB^3nlw>CEJAyT0xzi@C{bB=wwj}HZ@u1vc`1O5KT52M0CK}mM%z<>Zm
z>@BQM`;l)!5O_@YQA-g~fPVu6hh*C<OI8kC0lcM)k~2;FFe<%e4jJ<1^Pb;01dlL<
zRU>UoCMtzPW|LSRil3UAf@lFJO5{j^=h42BNYOn|>gqSiup;G;0K?#zK4-1*2$C0K
z<rJ(}g+T%=OkbuegwmZtmcqAIgr$fe4!iQKyCGyUo#)_T*|{^ERG>030Xu8x(|QJg
zhfo0@eCw9D%%`VKqB{gsK?6X&LS?{JXL9{I`_7%Nh{t5)l%h9h%^;ycDY#N<PL`bz
z8!JUpxk>e4^T+J(n_|7LySckVK6w$*j!FSs4XSfI5oqqW@$pye?FFOjCL3v_+Joi9
zR(Q6=FcMiMbH>{;KcWI!UP4xvk(LH4C;|2eI#YeUD%eF#c}5yBgs$oSO@eLN-<ybp
zZ1-87AO8(%8vAHrxQSa#Z1v{@34;QAb1SR#Z`I^nW!drUp1TCB7NpEP*Nw8;LBt|)
zBc6d@g64BKD5zZZV#k#ZH3rH1Pji2B2!2?vZ)l)qV8D`9zBv0B(F@6Pa(MVzWTcXV
ze!cHg$FJnUdlTuXrOgNe;Aow|%q=cDL#KiaaN<N>aBwhG-qcZVejxO-2&MKkO-D~i
zlV=CQ@G&ruVOVUyK?IntZfFn?5(*uOlU)1flH=l3bR7Pu8LwWw`j>#iHX6Xq`}^m{
z+K;7<Zg4UBJI)r>JN1$((`-dRC^rF=VcU83^yxls?sxh5zIX1NIDWkH2BRdW52dH_
zm5zzq^#t|HnHR8HI5q8m*|9x)_JB`f+`1JaLZ7F(oEYJx(VyRByL9y`6C0cR`r2ym
z$2)MS0G(#Gk9m7<!2O>c8BgBCA$P9RoyZ#V(T|=D^LVr80~rW(Ad@RSAG~^dd%<dI
zwr-64_r%w#YG~-bxmt-0Hdq@8F?suzExkW}JPHXpjVax6?$iib#g-<=-9D5<h2W?^
zfBFQaEgDr?U9?2Bpt-uLs_MmyJDMG&KL2X~l3I9dXa#oz0vcOeCES+<UDD3Mx!|DB
zaVU{(j?hP??L#qiWLoPPDiXi}*puk#=p3A!RFsqw3iwGTMaiT;8-tLa`T8|>f|9bb
zqrJTwszm@Ll!@8~2FeclQ)GX~$3H>A@ffrKR>#NJ7Yy4tNZ6~^8>8!z3i!=f{^x2-
zV0h^n80xC3P{F6Crqa;S%}q@q1;rQe6CeC*uJy}nYbQYF{rdF_=(+DZ9~f^O_>>G<
zoquge$=3hgwiXr^P;+emY}+T3=>n2x{ylZJIAIKbHm*NNVsrCh;CnGKF?bqq#kC;w
z;vLwy*c1E>h;1lKG?J8`J%66~;svx+UmqU`1#0>%M<z%sjG#jCn6w_M$zb+S-r8fA
zyNP=ME#AL>ACXs+rQH6i*@wBeh|%WH!hO4pW6D79f=)PNK(P2x<`4AZK$28>I&MO~
zMxZkm&5%8P+Oi}2tN|BUasZAq@L=A8B?^%%SK?s+z=eIDSRx(%`cba08W{&=!<b@2
z34%xK%ZnPIUgG1kz@9)WGP`z7L!U*gCgS7_^zTRmJw?UQxzSdrmbM3}CC|StC;&I&
zc=HCRS4f`^#FypobE$3o&M3KKTi|gp+yE@;diihQs@$`uw7vZ#C#Tm)!H_u~kwOY+
zAFL9Uh!GrN6jEQFAE)&v+kUP6jWLDPW;T)R)Z2jPr-@|<i^C7MQ)LT!K9Yx3?nmI^
z#-=7}Z&E3nW%?i}h^|?-fzBn@9%Loh3Hf|^Xl75IoCj_IUw}%jAX}7>(A?H$W^R5F
z!8$Z_U}A#5UmesMayW`rU@l0+V~sS-l!xeIm@0PaL08$aeLD%1;|H4=7$A-z{poPl
zg#vDHukOLY;yZlU$;nC1h_Jt@q2ZZ?hj>HD_d#q@6k;TTRmq5>zL8Lc1;2_gj>3va
zMS<F@`<>G(_-!y?SmPqWJ^?)gg(Ey9T)YZvC{l*FZC^!F^sSEOelnh{;`O!8l9E{6
zyz7`sgs`=ql?`4WDk~41II)0Ih?bsSOVT&ME0j`|AIpHff-JKeIx-~CqN1YP-rmp*
zlQRP8k<xL-<cMWn<eOeRTSv6Pop27;Jk}@I9d4Kts%pEsx~i+wGBbZc^=bSP4clIL
z__fQI1*|%<`T3P%ku`RpSX=|Wh5Q141S;PB)=&ItsVlBy#b8;5Bcbsdh0m95Accch
zbdM7JI8H6XNAn`z3aXAPwfBW=vn?)@mK~A{6g)ZDEKp^l#oeEC+y!2pgmMAfk0wh(
zM`2+hIL3wX&V_OoL;0uUIB9_X09Xi6d0AN+7hFK*eg4_r**Q2kXb2g%wN<+`0!s$d
z6GAUyC^UbXG*vPzfI>}U<20%`oO<l~2kc_3$1T1>a;U1Vh9v0w&{Pp&`k`B?4Ui6s
zVu*E|0)$|k&ai_QrR4>7P1ncD=<%Q6;P5o@_mWg3PYysW3{?|mG$Aa(P{S1zPkdT0
zRW)Qr#*grafwR`VaN#Me2aaPGGG|~!+qCHpI4-?H=Z5ZX!xH8VJn7&GkihUrq{VG%
z(HaxoMUN<qt+MarNf*e^G#RhcdY{s!O3BG_WBc;)T|;_=4-<q5<SzIvHCq#I!aY-w
z#r3A{{L8++KHQ<LqXT}`1FvzATfr#+U(77IQOEmZ(hSwre~gWtD=w4d5cIUj{8NB|
zbj!=lh3>l>T9mx}UBN5Ml3#)J6G73UCX9>QlX)yS{S_E{SzUTbKENsvPLQdv3`VBJ
z32~Z3ifT5efj~^MAa`OhAs#u7cl7u45O?kjye~A2QqmO!jUN93K4lesh==Fyg9oiG
zE&E@2(h}mJ0SLe-6A%!9z?kDsD!ftFKxgPHj~Ut&OQ!h<soB}t8O#dO!~YH!@ZR1<
zpYO4Li~dg2NDAty8Rx>7m>AGl>T0Z>Z+^q0;qT}t16x@%$6ZMDkmdOb4*GtOlvlOt
zOFxPYzcvXX4(Zg;?N>RB9j{1Ykv^~FSUQhQ7PTjX#iSNfc47NzJ~MMd^ZuJ@=ftCn
zq0;~vx3yhJ9aSeYvX=D<S0cEny5_~j^w;dyky0eD|BR7@9ny7#mCc)DzjDM|AZxHn
zkQxpC`F;8L@pPV{n_2!^*qO5eS1W>nJK0Y;eraoiKc&5<=8&jpVbPY_`gtv;x9t?3
zAst---Weyt&EV}flT}g*8cV<M=IU7lad077S$5LW8=4&sq-f>EeW=+_c+ond#bjTE
zVZ)r)0WU|(8{=ve`BeWAC=amprt^Sg@WuG$Rc5uApt8n|;t|x4&5{a`ur6P@l6AFm
z>y;}%;WWEyY|I7+?#JGHyH5T=#El_$VSIpj!Jz0Spy&<c53C)efA5hvf~F@d!*C_R
zt$}@V_G~4{S5V9fzth5F63B*Ly?yKa(T@%iH8)ip7zm`Tx#{UgKbO-|Q$fZ-?R)X8
z{p;84moLxV*A3fp=VRuZH}LBngE#!;OPEyL;F$!NPxfnURL4ORkG8h7TtPqv!*`QZ
zI%u|*KBbJ2fG~<W45xwwo;}vSb#}tYC2!FE?Z35@)t(5Lv!SCNKYCOr%OnU!CcRw#
zQ;5aDE?X(oE?zXhc5NpLd`O7A@!$b0g~C7oEOP(d(%$}T9)ZA&F!1!q<x*G}z_sGC
zpw!2QhPJb@)%^T*RWJRox-Do25kKT(FD$CRmR5kDD&Oj#e16Q7e(6#}oGcbt@(%p<
z!ETbj?^AE3Cw}0-jzr~DS6e$jGn4i&0QJN;@|5FP@U)0LLJ@9w>eMMQu_6>!p+Qw)
z2?<<M#Dm+eVIeeIH^dmhFs?+T2rSomeTl3&hi3yE2QnnN7zr1V5x)p~9b)YX0fFJ!
zjtd8wyPg2(h%XQAJ#+|GL=)6TsshM~2=Ew=g2VoL2W-~O<t9KjS&&o!CGPK*P@dNc
zF3vMy1<}}BOsMDVyZ_NBGnpT~GK;fRlJJf@|LPAj#1?t-he?4$6iDJ_JfGTds2^^E
zQU~CocjOs?t^DUNL^1^2d_8{BaCKNchyMrYqohXWdbn54&&MZNTmCB5w5C7j9Z|xP
zy0*4y<^@r96$h1_A{4P?o*Y#0c$*p<18b=Nh5RKYoPhkCa%6w-X`ou>&RDXZ?#*;`
za44)pAHr1;gF(o4!)|}-)H}wst>ZnK{<X?yNO(3-?Hz+O`G<8In1C>RNWkaLodbIa
zD-eJqAltsf%_F<?XH}jEyPJMRLGyll4hkAVHiY2{U1MmDk3Ro|i1c5TM?nEG9>vsj
zc`_<CGD%UGgka%7U9=e!lbmb@SquhEu>0`^8T=*5sH5BjEKo-gg0BwM$3kQ{Wz*vs
z8++N-_6=+s&d$QCx1Lx0>(>?uusU%mhKd3{B7WoeZP~J=wzd{zxn?Vu$~_UF{xC4g
zQbg#_BhpL|4kdX3kM0Kr!T9d?_^}2kyXffM;Whj`JaFPHVUG_9o*|V<1hymay22F(
z1`+%2e~J&mw*#UsU$0c8Z1r>lfRua(r!|Vnimm{pQgB7^QR9rk`f{#f{=DBV%qlHf
z9K=7sY$zl&4_6|@I;5wC`FVO88XR;yy0X!~=F+|kEZ(uBN0D7%hQb+B>f(L;`KOw`
z_8ox{AZNpS9jJ{6SL5R28QIyRo;>Lv9o5y>hb?GiVj_yPd-d5q{%ekc$+67HWH6;d
z^^y4Rx*AXpRfYM#ui5AKr-1bH^)<J!0F4+imJWeQvvuzBpP6KdC*gI1%Ls4{vXqHQ
zB8mWHXfw0qJ9p%CbXc1m+zEfy+c)qOnddn)v0z7RWn^puZl9gCx3->y^E);05w>nj
z6LyZ7sy+d!Yb>h{HEUPCF;3vgUH5SU!^6Yf(jFaVe}KK6<NV7A{b3G=^d|sI826ux
zDWHjAz&I9PA<l;#HmrL42*Ii{VSBK?ySrF37a^U*E?yHBOCY<*8WdyqbSmmGokN;d
zI{a0~L8zRh^X9<m*EI4xAzz8gUx_aMeBT#DV3MIoo9yVHP5_Ee4;5wDco^`z@IzeC
z(>v$D#c={~3n+`EIZs)eCC8J!X&5U0&PckGAS;>YR%sbFx?nnobvin50K#JD9e}jW
z1R*r@dnaxLEA@ZdwMN8j0@30IF=JR`&tcSRC?)iDbQI8VP(>f>MQ`)ytHPZwqJ~Bj
z{~^kd=s!W1qWQe)=2IKw$xpmgcM(2oA-jB{thKeZva+(G!VJ_pykZbBXm}Vx>Y>>J
zTqS3CA8p$rdDF~X^`GDG1ODAbpY-zOy}H5OryO6V(UK>W_mxRrlJmSTX{PG3S>mjP
z;_?Zf>V7z-(Z~Q<DK9(Q-r+K#iW+xj_|C}7;2+C8+)V^Y1p#?0#f{OH^o*BOk|~$v
z2*a@n|0jKVL<%Xu#Z*Oti%|}z%YYWc)e}GnC=PO;JEO+ql<||#r#!iB?_t;isN#M{
zZJoG7sAr~FSDcQp?Y;>>3UjA}Lyk=qKm}Zx@MCf=SRL3bO|I0lFXf4r_1&Rp=T`(t
z0a(+NBZN6uW^lMP63@lHW^ez~cyb#ZPyelPi$h<IXv-y2x18A*Sl*F&Wm9`G>?{A#
z*XF2OQc?nw&$cy}#i?Ex!Fx#>5l;NyKDHTBi<Un&GE~mjxw+f)Ri9fOpp+)}d{bRl
z2Rl(pLPEa}HKWgG;r=^{;pF{g^k#n)?2WWEG&C?2y)`NixSydRCpQQdg+i*Vtjzi5
zO%r2d9LP^)Wp^Wi0M`y~<2!UHh~qBes7<~e9K5|*u&cm7iDC!2sr0zpOw9=}i|5Xs
zg%b0~M%g?!VS4~AU8#yP)CTM))Jf3e9@@6kv$>beUr?O*^r?X^L<_|%iUzh_yTB7K
z!25c~*Egk#*%?OGWPY-z%442>cy4~3>}2@AIXO9D@MF^-gpnI<7F6DEfrDRP{%CJ+
z5A3r%810dJ!UHzvSeZL_g=#iaNTC)G*tf6j(<d1IPdisX@bU4H4cyk=(UGB(qad6V
z(y31H%@que-W68uK0o#hMIypV2yNA^*@xePg5r1bq(eiy2b&feI*`GTHc-cR!l2eH
zdp3db&K1JO<d-kMy)jmVMt%GCZNa?}IyEx;DZM#>h+k!7)EZ@?m9Rq5B7m8RX|~h4
z_`Ig(%6zAFy7WgVd+5(nBKl-z-hjk)@)u02U<xRtQ03DMhS=)TNJ=dLTO38<h)+P<
zIoQ8P-+i_ObJl|D7H&w5-e^$IFeY*B4jd;MXI{Vz0c^jDjQoyoC}M}v@%hIF;?l4K
zc1My=LNO;V6@`Y2v-4ek{#@&v@rbLP?6;CPDDWIP^186l4QL5vZJ5a#l*zkm2UZNn
zM@C4tg~yj0qUHZrQoxB5C*DN9i;FAm=y)Ch0^@gIC8IY7JjlLw3i*dN##o+{F*Z&B
zaR9@@<pX`rkG15Yu@kO=#u*wyW%2`F+()){Tep42gS7+Yf%fAQkzMpSZ+VADib%4i
zqbSu**O`Oun$)?$#RcxyKk7#W_8M%qC`8*~wCFp(3eyz}zaCM)u;_iWmfa(6)5TaC
zp4ie-X`yg2)IV^5oPDbFR~<%;-1){hux&?SQBhN4BRqP@YvknQTrYWrg%=^yr9a;R
zEI&ORaQ{ARswAoIbI?vX<=KS=h~Jk;7FbP9?%d{niVa?1Tcn5x(cT%SSCU-4>jsO_
zHvwgimp35d$H0Ii&MSxkkF}X-48C-URBOYt)nL4FgI8kW0DK$p<3Y(8`tf7WWf>#x
z0DZl&J*n~nySbWPw_AF1{P_9vKzl(-in*+;Z(9;tF<?pHB2one27&^s^rw(QHxVs`
zx1S$29clreCSL|1h`;@u6$2Nk({4`nNTrp#ySX`wvgZrKt9c}8>x9<VTOkSwAeIy&
zFt|cTKpDXzHt-b67N5~alXA1J^Y`wj|L)(*Tb<-}`?vaXA#*(ql|k|EiBq(+v_j#L
zXbp<>#O6VhE~@Q!&9gvmC`z6`dj^YGb8G8kMzj{1);u@1wpO`s8%)~a6XFNGBrjdQ
ztcKIBsd@TVzx|fp;fEO3lPApx3fP0t6`UGea3v`HFae(Q0D**VtcuUx>k)6xJr_Ky
zt4r#ofs$;Q^VUYjTWIh^slO2m%e%Y0dn8EV8F{_xMh>`JL`Pda&XnBT(9b_BogyLH
zwH5Fm2HUeb`l=YST<LzML{v-+Ekz>e=$Nj<2g}M%PlqJnRAI+K3&usT=U%3#b5VJh
z8{Np)1ON2HWBm#(sV{kC!~$$F7z@<KkD@JI(|-JNM!t^=1aa{bJGf5-L9#MbJ=2c2
z_c}9?XoDgGP9p|Z!Q}BQm^6%N2jHp+>Ii*(4Io|c#EC%n5gc<2b4;UjA(xqYJrnq(
z(z8tqaHBu30A{E~2p`EE?vnQ_zRShteY!qLrGD|E3&?7OXq<ch+P%B1_l#gUkrfvE
z9;*N{!e|M0yCatMs-7Mf>dZ$YTP3fP4C0^$sAWDPZi4Qste14WJ3rhcmn{>*L3LC>
zehRE0Xe^d(+h8?%sL`Rz{EYlGZ16aX=4RRA_Sumd=Ae$CIwhN;Zk%7I4lIYb^Pr4B
z4w5s>Jo5*vtgK+q$W%eraww2jl?Hb_PW^B5MkOTt%%7Y8B7e+1@}_248QRa-$w}`8
z=$)JdwbB@CRr&U<0@_8EdRoui0m(Rw@N~oX#XP<48{|xQWWpvzCSfVp(>vJhpfH*C
z>b)%zbzWXH%wcG%h1mWK<h;17<6UF`Ubwm1IC+B*i%Gm1kbmi8iD7No`SgN<0(KGm
zA;cGKWmi`_Y{0*ciL-`Jjm|}hUKEZ|2mwdbHWUv78yx12=eIhdvw#iHnW-{7I+~}X
zzYpbOW)qf{Zu90c@#b{h6PZ>S6jG2jEX>XQ-4!ka9V8zj^qq^D5}>o1gUEC8WPWn;
z-CbN=j<=8%A-YZfLe{3=C9G;_sNyJmHlMTibY@^+hGD|xb28d7g?q7I-BE$yz(6{L
zP`y=|rIV9)dEIdAiZ=&3zqwJL!%j%TO!nuEeruK2p1jub649)>cdnYDe>WF-uUJx$
zNAwk{5Dr0k_Ru|x-SKsZ!K<sQ*xOjEy2w-9jxtuaAKF+Mv1pgZ>ke`V+HZW$Hn(rg
zKU*&AfjU=@SQ6cIyr$lQPs}Q(8vNAw>iY??I5%<~nk2J0JNy}F`8iea&)|0hl9s7I
z%T&a7$wNTYCJ*ZeHW4^>kgS{kZ&cYBeH>FfUaxJwCd&pw3=@;nM_vN6x|UWhy6R92
z<f650vO9VNjj|yqehF)Gz_Z{qA|oQ`*+ttL8-ENAqJQO#gBpRLfTFFZ8zlkafd$F|
z;0y#xs3h>A_n?ge^cgxna1*qMO2YF4Ldv@RO+rkJC&yjDN6YU8&DGU`BL%n>tu*<O
z@92E|1rZhvl4$iaHC_0~AOQ;ccDWIx34&)Miq8Sm$;CpJZ8qZ_$I)j5lf;%SndmG;
zc?pGzpsEfmdK$e=iv!`-;1%`~sSpz1qt}KcplWM}{kaz_?xlG4>{(~$#X5=gFTFP4
zrnbTQjNy|wJJP*K_R~aIftPyk>_%((_xgIc>)xY#f@FV05+_|p6WFod5abuSS>VmN
zaPi_<Vi_a}kP;w|AgvK3%Tew`;uQsmyel)&>uxgxbW%i2au@FS$6`<Gd6Bfi`N{fz
z7RPd;+xx`}pHg*6M^a6^HKYQhDO6GLnN;33j*e&?;N~xa@h5QIj}qO>G^6Og0HD9#
z_8Mk2FdNv&uV250K}A!BeB6Q%unkUO2WtIVsIYj@LO7S82c%>qRGSki1kCC=It=xT
z6B2x@`*GF;dc$v5YO|vIN-xWV&Slsa%841sF>uL4T}7vw9moh)50wfxpPaHFQalU}
zmUP&me;p(ND1O*|F$(tP9LX@e;Gr38321}r!5MgSwNPb(Spn~)ifOF}f<#)NHhn>1
zM=3qM<mS!s^{dToepZr<3H3m+>l4~>t{~{cm;s?a!7UHE;nwU6$pv88P>HY_=_!&k
zatPL|gAIhZ?lji+Yi-pP!VWr3fDK`5s&e8(yW##RcbUD4p$AW*%@5HbnV-T8FDVi9
zsh2zk0@!eUxfOsM0xOmGcD#xLR}zCNW26gg`O2_(BH%bV7bsrvv?&=IhRFYZaOVcE
z9;_}#HV!%)AH*idvbQA^CyceE@023q9RsEL2k6|;c8LU^gi@HfGPdL|eVEDYz<HjI
z4mBin%|^ouusIVcyneH#6@Xx~#`^uK8h~?9HYrDo>kC}0|6BFav=QwOd<)&&mr*o9
z{eSFOS67RSNa=g#^jE7t_4V_;P|EWQQ@t`M=wb5(d5#4cg$)KOC=3W?rZj}F7OxU|
z|FfjL7tq+J!o~0w93)5@HXVvsDTn_4ejt+kckc|}IilBG0xda*4_jA0;(~{dbg1jE
zE0X_bw^nSN;F3n=gg*)ad;5x=(zkhe4;`YTrDZG%nu8AmNh>*HlpM~9cDBT)$K|8)
zLEV8Jc*8_ac$CxH2!!+BUGTC}7xiVhWMsH0EB6W}hmv50ZZ7g`();&O<wi9~MbNVW
zYN3G{?>lLL7EJV4^1a+nphO>^8C9&*d0+!MSy?n_sGt_2kUAG3EO7K_<M;2dP-rqQ
z32l&Uz5LaI_31QMKz+=LvuGC-AC!m1mp}SJ0zigG*4D>^J1~;^#IIg`5gDnE;`+*!
zy;4L#-RkP<y;OVPm_{3<(V)4CYw_w9W$=H<F4I#}r1l5A17+$!?`EUC^O!q~6aZQO
zt&P-l1PD)@7rcGt;jj`}4BMF;!6W^OOtDgxk>c(h&CL$OjS0AFZeE^*!-%Gi&hymn
zN|F8hVYxoW$ET>F0Y{!62Ni7J;Fz~kJVcuA(#{<h9e-#N@)0r47S>732C4SlQ@XMI
z`ZcIQP}M*&NUX19`Ba@nFB7`fhkH5+lBOHHJgfWPTsW95SWhE;yAiF-^UyZnjzUjy
z&6h7oslksQAF~@c$Ev6K6YLnG0ZCc}NQm}WJ4^J5j*dPeh_=GJk#gIR=0V;?i8%1O
zjLekWMA7NCWQ#HpWfppnxatrZQI0<G;NbP#^UGNj2fw*F1^n#xhxe#_C=)<Q=U6oJ
zP7AewsWWt+YsR}=&L&-({8sE?=*%M^D7cTx2#Of`$1Ja3S5{IIyYa)P&E+advY~I5
zA)bb-1ArG%(!t@0D7O?*elsEcNUF8BD)?Rc)l@VQrZBOv9M&)R3M(ES1v`qwY*$z7
z7T*$!+)6G*%*e>tMK8wzRn!~U!<z#H-<{1n-k3G)K^F%JmCaO0Pp{i#cG@~Q)z#H;
zQ|-ZeOh-^;q|nq;#-EYe%FD(I;#cY{-dBJF9gCd-gvmrjfhgp%w&H?4l$j~eoKP8^
zm*<2tgl&a_96<17LtWh@@MoW=-~7PCz54q4z0ECHIZ!N+`|+L=V{|$8RguLU!a6Zd
zh{bM3**uBPY6vPQXjD|{NTQ9f&4;S0fRTcNssLs_sFm2v(Gd}aS3c9*#(_nZBL2Dj
zmNdI{*LKTXNU=Uv>G0&EzZ3c%oEaoRR4#49CE-M0%8Q5flX%glZilE0=pV!`_IyO=
zDFgsWvUs7;8vcz<z=)!`U!ISHqX)g^5Hlf2jOY}o!qp7o5$`r=_O(Cc=k`422#P*%
z0$|(F{;1g+M|E!4Pin#EXnj+YE`$y*uaX$4+vs^;L+kWq5P^6bOb40>`fh{}>bEuN
z{BuJ0AqTI*6aq?9O`mF|69F3*a*0bHJW-9|O#$J6E1H{|D5a0~JM0nUp|)+^<8(}w
z5{x8Nkqyn~3CX;q$&<c~R%;l`q|9QteJHuS;K;Kt&7Po6bn_>D3NR~%@jre~kz9=P
zfAs@S8FC%gAxf+^5<DR?Sne1;Mu)Z8N1_ImpSFmVgluEZ#z&j!=&%8{bk$L7!jy4<
zM1dZ$;@GEQz>UGEey{gDypv!?dx&n<r#@z%rhwosQRmmOv0fv*l2Ih)!+~0o(aikM
zXk!Cn$qbJW>e&<jD`cEaHp0`GK^FL*Q6@U5{Ea7nM;4Rd6-8tXp#W^Gr^b+}|7*zq
z@q-C5DHZrRj9(leHR;%UyQ<VPx=i9lD5~_}$A>7c;Dg^86*m0$fBe@~E}i?=t?&Ia
z&WsFYBE^Hx@udEslaSW`436|tmB>pR`~GL7|5p=D+<JTZ&q|f3@S9V$25Yf{^_S#c
ztmLBWWo@h?|1*&9jDkKB)ct=}(c3E+$vsB&&-B+fO3F~t{qtMooaV>}E`Qbu_ou^p
zk{Ie3Ml?$irT^<TlJcz5W~zVhg87Dd>VI+FBg993n9NOoCbIx}W+CdIk8GzpEAw{2
z=kJ)Iz0$?HN?(S>kE;&-QKUT<N_nPG*@trD)Z84p;E_wA@+qOc#mFeGt^Hqvrm>kF
zQlr14p{4a{aOMHqsg^EFJb8@Hz7sJ&xWh<~Ncd05Euo0?amn+G%gY)1??Npl=YIV%
zKXqG@1C4zLx6#IuUNFN1f#V184)}2ZbujZ5)<T#9Rp#B6lExjLl-|9uv8kzeYs<ZW
zfTtuyM6-O;PSs~ZF<zIZB`Xjrp;?E8hN^2a$#B9UXFb_<JC1i<_`bwv-}4h0+C)YQ
zdv(7l_1m@f8d9<s11tR#6U|k_6XVoge!Agp@>Sr_&R1MqH7_(QLS(B{`x5;^ADdiZ
zIeeT(AT(~TU*Ky`z1qnKO_MA0c^qPIKeSi>p1Z>yW#>HqF2Z;rtIlPfY-(EvA(coH
z`y<&u$ltae5fprplmv;lG$vq$1zKC()W?UEp!N~cRnDFjNZzw9YewifwlW^iSQ;%u
z?q5R0<BEUmUekFpl~(_uJ8BB;`ULUY)r{}`i^Y0RVv5};89Ch<M+KefA6LHMQP9;5
z5A7p-a206m38$iC_bs6$y!Y}Ce(zu3qel8|a{RUiORSgF^m{qnYUg(IDW!XY&P>=E
z-J~Jz`RDIFcNjTWjZ}T{v8bCPDewknwOiVA5^kdYs3dioX2d-py(3|;mF$g9I^r#(
z59O?IrC}6^xH(6zp)Fs2lf}#gwyNR6vtnt@sioEC<eNo`x0}P|`TCxHx4Mh#$m-$~
zuTAPq34uvr$_pbw`jbV-y+A7}t)tgAtPHwbUSC^XvoUqap(L2<OYn`jqVG7vps0hJ
z*+t;Y7#V?x8um<B&&D-sx-<F*r5KLRKcpbIpH&M%r!8!aS?wU6Ugk}He|G{vB)`Gs
z-V&TOfE0L_8KmY~*T{8QmhE_>lyd?g6DW>6=yFJo)}$&B#YkUcvM&0CQ0Jm!5(L=b
zw~V66AKzPx_aG(|Ha_A~+_QHtdJJ=9Lj}>ZjrT$E2NfXypXBAWfP)I{@9q~;CP@dl
zko5YRQ$lBCWgUJUV&qn4l7<%#+`*jIMe!gUv?+zijQ34*g+9OuRGeduztK$Fs%yL?
zh}rvKcn}a0MJY0)ilU-jJ2T$VrLS)#f8M}{^idX6NTk;=Kz}Vp(ht+uN;}TUSrVLD
zc-QbH6*XasZh6zL2#H~i_GGIsXjo{X2X_6=$NYQS8N4jZleF@LV7NkU!qGi*-Jbdg
zWm1>5KoXf`UIMtC{rhzehO)rk0T6`p_KdcVcxlRl-916VP%da_a1Us?N+>FF2R1wt
zcKiKD{1998drL>hO?YjPpwV?mI>V$N{-jQNpPD-I%rt7pN!vbL5rxdRF(t#z3f&~s
z^|`3t#$|(K9(u({U2#-5`YN`>Uz3VHy7Cpu6KZ!-UpA!o;?;RwWo6P!`fgrzkz36Q
zLrDyt+`-((?;$0@v(<S#r*#6%4rmIzZs;i9Clqv|3oi{ZuIoCDdb`eXND)VY@ahIS
z$MJT)Aw#@j(HdK=Blr7tkKu$cIIU3rxuBaVUF|>j(s8`6?@P3V2VBIHMGH|~PaL^Q
zmkbB#mTJ*@Q)6O>-d_-#AOk*kEeUM*BP|arR>uzS%d-nyD=^U1M9)7s<I8tGs;R2R
z?0yZ62k3JfGc)Ga{Lrhy=_<6+z)}VCvi@>whMavNFK4$4%+`NR)o4w``<T9yFSL`V
zOx<F)<)u6LvF39w_sXmwcGH=#m{j(eyWS@{@~oqYr4~8!&UIieAj=HfYo9su2`oiy
z>Ih~97fU=&!wLIAhV`|bq_^j>qA-~Ibbn`U=X7LJLc+y#t?-%_G+7Ts&Qb6uJ$gvF
z7;^u?;&pfHN#>SAnC>%S1m|Rw<xo6^3_HdhSIL>s0FFxI1<?qOez^4NA3Vd$h!nX=
z6n~^s*8v}SW#!O9{iRwM+|Bbk;rlyf*>;3qg)rps<>Q9yc)!d6j4yKy?-Yv_e|8BV
zvLlHLT}NkvSQB<Py^0>?`;OWVFWJ%NEJIl5vete-gK{S{EUa^U9z--GMEUv2LsWEA
zv}}WXL1-~`Eml`k6EOL*{nxribjvG43G>E%4Uz3C0dbby@5Rtqh_?ekv=IXzjBGYT
zMt|oD5H=to7RAcavhch%|IBNGu<m=eCAbKeYfnvLs~cnBu%<iDHEZYSgZ{+JTS%`L
zfP<9XxyOrN1nOv8u9Yr4`Cu1MP0&$Or(|R}nukof0hdBux`ub`A-sUBEO1#Djl3Ki
z3snlQ1VmIqDFEjd-kdaVW&fj)ViSjtsz|+4{ugZp6_wWg`kj`!(7VHKq0D)|Ji<qM
z66w2Obp|jkD3Wn5u!n@gYnD9m8=%A@QPM#53C#GaiwWlNp<-Zw$+HfwLwM{-?tGX5
z;8MNzF3NQxALJ@tqlHHD4BfnpKxM6$7aG2OiwF&E89ptW*8Ds;xTle)d&!S(C#*&I
z6K{^}U+d6_8i-E%`rgA&2OWBN!GfKg9Y~*7`tNcfIHKVU1h`Y$V=U5$qK%}hm*7hI
zrw>P&Wb>QHc>`=w6yd&d5>T$jzB_dv;^)8B_fQUMrLbx3uGLOvS#)w%LHzR}YNa_K
zx`M937FQAdRfdZ9)VNY-a%yUTzrVSq<z_UVfJMPu4k8%fYCU}D5UJf3ZzMv1&K{P{
z8>yO_;aPL#wGs;dtq+$hg2}t?2OoRQu3vX7-u>=-S6A1B2{))+kfIYTP2awa*$97|
zM8*C-A)$Qr7Uc5pllw$PSF-BFvvkrse(vf@gBP`{&?O`3P3xec;}M9<c<siBA*nG9
zA?5pcS#XtDs9I8^UDePJM_(c?U3=%akPyl0c>Fl(ij%wO=hg?6^YZepb#4nx$jnqb
z-wccc3QTt{(JDJP*YV})?%WFpm#y_qpFZ8H|Gi5k#&mAv*cP{Np_11p#KpYC2d0Oq
zKZZWM|KI_RL~A$HS-cv9^R%>dDcV~z#uen{p)Y~3L%UaDvqkg%R8)~LK0G^@2$r*O
zu0<Dec+25cG|Bte2=7At<3D)NZFx8e{>NQROfSaW@nSX9+bKL%Q1?4JJEQSZF1XRb
zNf?`$usU?R`>&ZOy3!6+YX8t5_}{v@{-7r7IQ((~vS5sW1jcd@cVNn|i6I>0M>s&h
zoR^z+jmZo$AxNna>e#^22}?rdXmvA-A04!AJ2;SFLtI$~hzmpy2M8(0fe;J?L}9d^
zSO4k1`n&hf_r7=UukZW$@qC`=*+TUU72T>$M)um3l5%Tfka01p`ld`#R<<^PUFuNL
zbvwZZ%z<!KkdI+WsqNRYld`kbt6$sN+oNsPjdEc|hyZ-g8~|$b8dKku`2vkraP>>b
zQ9=CEk8;tFKNe5<PlzQ$a9ONWsitMIbKB&n<;X!u3<&e25e+bd&%nZ2oz-6!g4_ul
z4xEW}+0$`oc$*V*+s<NKON)8p6BV_JG>w;j+<m`Z1d7!I5K&?J6e!g3Ku-)ao0<Y*
zV~Zey4_86ok%6gH$IAYXu@jd1j2Iq(01LKhu6;UYLICghe7GCwTrdquR()Pay)(70
zbI|8Ki9~<z1CRLU3R8+N*eF`{6jpoF>8D(P-5th;Ys;q<t$oCT%pV7cUE;j6;j3UI
z{|FZ5w25m44mAS<Erd>d9>^toF$0(V;CJ~r=^HUSoW^~4{)XG!_7z_G6aSj)(Yr6P
z+aT8lfwZ`|7{pUeBY1*v#8Io^x-pa!u4(Ka-+FP&H_?)o@E!rU>9kr0Ur1GW{5uCY
z5IXnIdrRfM<&26hSRMs#NJXEI%+>LxYQkc>C^VkQ@~*6`j4weH(KSagNtGiQ#`X2}
zNlYoP=+FE?L0y?~2!9dUVT@K=-qv8d2pLcBW|YHyVANRtZIaiq&G%<c9LWn<WGVM%
z-R0~gON#`VtfR#_5dZ=%h{%aQnFPL@Oo6AMg`a{R0LgsSU@$y-^kHr^b>h4n0`P|m
z1yF-DZ|_%B<A=%q^ty4qq?6Nh>ASLeLEr{ya~PXFoVnG`))ti(#TQJoo<mL5n?OQ$
zk9YD6jr0CuK%Tv1lbL(234jN{!}t=sbMPD;e8J7B-=r|*I8!Jul66`>Bg<oB7}ITb
zjQ5}=KSttwpmUr@kF2{7P<3UzYdy1YkCnjzCJ($8grL^|e+98htij4YxN-r8M`jXR
zTxK-Eo(0mcOv@G+bs>Ecb8pCnC&`e3QU)wgFqbh$fo5QVlzmCCCED_*_f2qrFVLmQ
z7hD;Gb{U{?BCcaUw1$`+3F0q9LvI7-nS4Hm-1b!ZHUM4~UCoDX(xqnD3IeLRxMN4%
zjdvqLewzQ;F@zCuRD|dRo2|F5%B1NdkhED&9#jUbESt@iGd;rLyx(5NaHzbrv`;Xr
zo7P^q;Hta^_(F38oDG1gI3k&U6h=PYH-yoSJU|ww1&a=FCM|mLT;FMwl2%quZIvU8
z^;(xlBv3)Q)i{EoV;w84dR?&B0cEy3x1EhMY!|d@#Lj12nO9LP5<br)hPCJi|51;^
z;)ATx;$VXFFN<A8Vk{ZG4X9lpcwhX|(NwAQ%7PLNiK4qZr6!dSHK2FIp79deop7zP
zx$;U(%*doG;prb5+WStUC(iCdfN7~ZZ2exHoyMB<QdB$8A}W8eV?w}jP)s4%zsCAe
zo&0O+=IHB)jue)TSPZ?Egxl@d>=PVpoFs4DW6!Y+7?Wf+w7NYnsQ>!|p!)vbFLrXn
r_!O_Qm#R>!69@3X?SvoseY=Z@`NXk8xmSA<P7=upyE)o;(I<ZcN;e&&

diff --git a/fmmd_concept/System_safety_2011/submission.tex.backup b/fmmd_concept/System_safety_2011/submission.tex.backup
deleted file mode 100644
index 5635a85..0000000
--- a/fmmd_concept/System_safety_2011/submission.tex.backup
+++ /dev/null
@@ -1,501 +0,0 @@
- \documentclass[twocolumn]{article}
-%\documentclass[a4paper,10pt]{report}
-
-\usepackage{graphicx}
-\usepackage{fancyhdr}
-\usepackage{tikz}
-\usetikzlibrary{shapes,snakes}
-\usepackage{amsfonts,amsmath,amsthm}
-%\input{../style}
-\usepackage{ifthen}
-\usepackage{lastpage}
-
-\newboolean{paper}
-\setboolean{paper}{true} % boolvar=true or false
-\newcommand{\oc}{\ensuremath{^{o}{C}}}
-\newcommand{\adctw}{{${\mathcal{ADC}}_{12}$}}
-\newcommand{\adcten}{{${\mathcal{ADC}}_{10}$}}
-\newcommand{\ohms}[1]{\ensuremath{#1\Omega}}
-\newcommand{\fg}{\em functional~group}
-\newcommand{\fgs}{\em functional~groups}
-\newcommand{\dc}{\em derived~component}
-\newcommand{\dcs}{\em derived~components}
-\newcommand{\bc}{\em base~component}
-\newcommand{\bcs}{\em base~components}
-\newcommand{\irl}{in real life}
-\newcommand{\enc}{\ensuremath{\stackrel{enc}{\longrightarrow}}}
-\newcommand{\pin}{\ensuremath{\stackrel{pi}{\longleftrightarrow}}}
-%\newcommand{\pic}{\em pure~intersection~chain}
-\newcommand{\pic}{\em pair-wise~intersection~chain}
-\newcommand{\wrt}{\em with~respect~to}
-\newcommand{\abslevel}{\ensuremath{\Psi}}
-\newcommand{\fmmdgloss}{\glossary{name={FMMD},description={Failure Mode Modular De-Composition, a bottom-up methodolgy for incrementally building failure mode models, using a procedure taking functional groups of components and creating derived components representing them, and in turn using the derived components to create higher level functional groups, and so on, that are used to build a failure mode model of a SYSTEM}}}
-\newcommand{\fmodegloss}{\glossary{name={failure mode},description={The way in which a failure occurs. A component or sub-system may fail in a number of ways, and each of these is a 
-failure mode of the component or sub-system}}}
-\newcommand{\fmeagloss}{\glossary{name={FMEA}, description={Failure Mode and Effects analysis (FMEA) is a process where each potential failure mode within a SYSTEM, is analysed to determine SYSTEM level failure modes, and  to then classify them {\wrt} perceived severity}}}
-\newcommand{\frategloss}{\glossary{name={failure rate}, description={The number of failure within a population (of size N), divided by N over a given time interval}}}
-\newcommand{\pecgloss}{\glossary{name={PEC},description={A Programmable Electronic controller, will typically consist of sensors and actuators interfaced electronically, with some firmware/software component in overall control}}}
-\newcommand{\bcfm}{base~component~failure~mode}
-
-\begin{document}
-\pagestyle{fancy}
-\fancyhf{}
-\fancyhead[LO]{}
-\fancyhead[RE]{\leftmark}
-
-\cfoot{Page \thepage\ of \pageref{LastPage}}
-\rfoot{\today}
-\lhead{Developing a rigorous bottom-up modular static failure mode modelling methodology}
-                                   % numbers at outer edges
-\pagenumbering{arabic}                        % Arabic page numbers hereafter
-\author{R.P.Clark$^\star$ , Andrew~Fish$^\dagger$ , John~Howse$^\dagger$ , Chris Garret$^\dagger$ \\     
-         $^\star${\em Energy Technology Control, 25 North Street, Lewes, BN7 2PE, UK} \and $^\dagger${\em University of Brighton, UK} 
-}
-
-\title{Developing a rigorous bottom-up modular static failure mode modelling methodology}
-\maketitle 
-
-
-\abstract{
-The certification process of safety critical products for European and 
-other international standards often involve environmental stress, 
-endurance and Electro Magnetic Compatibility (EMC) testing. Theoretical, or 'static testing',
-is often also required. In general this will reveal modifications that must be made to
-improve the product safety, or identify theoretical weaknesses in the design.
-This paper proposes a new theoretical methodology for creating failure mode models of safety critical systems.
-It has a common notation for mechanical, electronic and software domains and is modular and hierarchical.
-These properties provide advantages in rigour and efficiency when compared to current methodologies.
-}
-
-\section{Introduction}
-
-\subsection{Current methodologies} 
-
-We briefly analyse the four current methodologies.
-
-\subsubsection{Fault Tree Analysis (FTA)}
-
-FTA is a top down methodology in which a diagram is drawn for
-each undesirable top level event, presenting the conditions that must arise to cause
-the event. It is suitable for large complicated systems with few undesirable top
-level events and focuses on those events considered most important or most catastrophic.
-Effects of duplication/redundancy of safety systems can be readily assessed. 
-It uses notations that are readily understood by engineers. 
-However, it cannot guarantee to model all base component failure modes 
-or be used to determine system level errors other than those modelled. 
-Each diagram is a separate model, creating duplication of modelled elements, 
-and there is no facility to cross check between diagrams. It has limited 
-support for environmental and operational states.
-
-
-\subsection{Fault Mode Effects Analysis FMEA)}
-FMEA is used principally in manufacturing. 
-Each defect is assessed by its cost to repair and its frequency, using a 
-failure mode ratio. A list of failures and their cost is generated. 
-It is easy to identify single component failure to system failure scenarios 
-and an estimate of product reliability can be calculated. It cannot focus on 
-component interactions that cause system failure modes or determine potential 
-problems from simultaneous failure modes. It does not consider environmental 
-or operational states in sub-systems or components. It cannot model 
-self-checking safety elements or other in-built safety features or 
-analyse how particular components may fail.
-
-
-\subsection{Failure Mode Criticality Analysis (FMECA)}
-FMECA is a refinement of FMEA, using 
-two extra variables: the probability of a component failure mode occurring 
-and the probability that this will cause a top level failure, and the perceived 
-criticallity. It gives better estimations of product reliability/safety and the 
-occurrence of particular system failure modes than FMEA but has similar deficiencies.
-
-
-\subsection{Failure Modes, Effects and Diagnostic Analysis (FMEDA)}
-
-FMEDA is a refinement of 
-FMEA and FMECA and models self-checking safety elements. It assigns two 
-attributes to component failure modes: detectable/undetectable and safe/dangerous.
- Statistical measures about the system can be made and used to classify a 
-safety integrity level. It allows designs with in-built safety features to be assessed. 
-Otherwise, it has similar deficiencies to FMEA but has limited support 
-for environmental and operational states in sub-systems or components, 
-via self checking statistical mitigation.
-
-\subsection{Summary of Defeciencies in Current Methods}
-
-\subsubsection{Top Down approach: FTA} The top down technique FTA, introduces the possibility of missing base component
-level failure modes~\cite{faa}[Ch.9]. Also one FTA tree is drawn for each top level
-event, leading to repeated work, with limited ability for cross checking/model validation.
-
-\subsubsection{Bottom-up approach: FMEA, FMECA, FMEDA}
-
-\paragraph{State Explosion problem}
-The bottom -up techniques all suffer from a problem of state explosion.
-To perform the analysis rigorously, we need to consider the effect
-of a component failure against all other components. Adding environmental
-and operational states further increases this effect.
-
-Let N be the number of components in our system, and K be the average number of component failure modes
-(ways in which a component can fail). The total number of base component failure modes
-is $N \times K$. To examine the effect that one failure mode has on all 
-the other components\footnote{A %base 
-component failure will typically affect the sub-system
-it is part of, and create a failure effect at the SYSTEM level.}
-will be $(N-1) \times N \times K$, in effect a very large set cross product.
-If $E$ is the number of environmental conditions to consider
-in a system, and $A$ the number of applied states (or modes of the SYSTEM),
-the job of the bottom-up analyst is presented with two
-additional %cross product 
-factors, 
-$(N-1) \times N \times K \times E \times A$.
-If we put some typical very small embedded system numbers\footnote{these figures would
-be typical of a very simple temperature controller, with a micro-controller sensor 
-and heater circuit.} into this, say $N=100$, $K=2.5$, $A=2$, and $E=10$
-we have $99 \times 100 \times 2.5 \times 10 \times 2 = 495000 $.
-To look in detail at a half of a million test cases is obviously impractical.
-% Requirements for an improved methodology The deficiencies identified in the 
-% current methodologies are used to establish criteria for an improved methodology.
-
-\paragraph{Reasoning distance - complexity and reach-ability.}
-Tracing a component level failure up to a top level event, without the rigour accompanying state explosion, involves
-working heuristically. A base component failure will typically 
-be conceptually removed by several stages from a top level event.
-The `reasoning~distance' $R_D$ can be calculated by summing the failure modes in each component, for all components
-that must interact to reach the top level event.
-Where $C$ represents the set of components in a failure mode causation chain,
-$c_i$ represents a component in $C$ and
-the function $fm$ returns the  failure modes for a given component, equation
-\ref{eqn:complexity}, returns the `reasoning~distance'.
-\begin{equation}
-R_D = \sum_{i=1}^{|C|} |{fm(c_i)}| %\; where \; c \in C
-\label{eqn:complexity} 
-\end{equation}
-
-The reasoning distance is a value representing the number of failure modes
-to consider to rigorously determine the causation chain
-from the base component failure to the SYSTEM level event.
-
-The reasoning distance serves to show that when the causes of a top level
-event are completely determined, a large amount of work not
-typical of heuristic or intuitive interpretation is required.
-% could have a chapter on this.
-% take a circuit or system and follow all the interactions
-% to the components that cause the system level event.
-
-\paragraph{Multiple Events from one base component failure mode}
-A base component failure may potentially cause more than one
-SYSTEM level failure mode.
-It could be possible to identify one top level event associated with
-a {\bcfm} and not investigate other possibilities. 
- 
-%\section{Requirements for a new static failure mode Analysis methodology}
-
-\section{A wish list for a failure mode methodology}
-From the deficiencies outlined above, we can form a wish list for a better methodology.
-{ \small
-\begin{itemize}
-\item It must address the state explosion problem.
-\item It must ensure that all component failure modes be considered in the model.
-\item It should be easy to integrate mechanical, electronic and software models \cite{sccs}[pp.287].
-\item It should be re-usable, in that commonly used modules can be re-used in other designs/projects.
-\item It should have a formal basis, that is to say, be able to produce mathematical traceability
-for its results, such as  error causation trees.%, reliability and safety statistics.
-\item It should be easy to use, ideally using a 
-graphical syntax (as opposed to a formal symbolic/mathematical text based language).
-\item From the top down, the failure mode model should follow a logical de-composition of the functionality
-to smaller and smaller functional groupings \cite{maikowski}.
-\item It must be possible for multiple (simultaneous) failure modes to be modelled.% from the base component level up.
-\end{itemize}
-}
-
-% A new methodology must ensure that it represents all component failure modes and it therefore should be bottom-up, 
-% starting with individual component failure modes. 
-% 
-% In order to control the state explosion problem, the process must be modular
-% and deal with small groups of components. The design process follows this 
-% rationale, sub-systems are build to perform often basic functions from base components.
-% We can term these small groups {\fgs}.
-% 
-% Components should be collected
-% into small functional groups to enable the examination of the effect of a
-% component failure mode on the other components in the group.
-% Once we have the failure modes, or symptoms of failure of a {\fg}
-% it can now be considered as `derived component' with a known set 
-% of failure symptoms. We can use this `derived component' to build higher level 
-% functional groups.
-% 
-% This helps with the reasoning distance problem,
-% because we can trace failure modes back through complex interactions and have a structure to
-% base our reasoning on, at each stage.
-% 
-
-
-%Development of the new methodology 
-
-\section{An ontology of failure modes}
-
-An ontology is now developed of  
-failure modes and their relationship to environmental factors, 
-applied/operational states and the hierarchical nature inherent in product design, 
-defining the relationships between the system as a whole, components, 
-failure modes, operational and environmental states. 
-
-
-Components have sets of failure modes associated with them.
-Failure modes for common components may be found in 
-the literature~\cite{fmd91},~\cite{mil1991}.
-We can associate a component with its failure modes.
-This is represented in UML in figure \ref{fig:component_concept}.
-
-\begin{figure}[h]
- \centering
- \includegraphics[width=200pt,keepaspectratio=true]{./component.png}
- % component.:wq: 467x76 pixel, 72dpi, 16.47x2.68 cm, bb=0 0 467 76
- \caption{Component with failure modes UML diagram}
- \label{fig:component_concept}
-\end{figure}
-
-
-\subsection{Modular Design}
-
-When designing a system from the bottom-up, small groups of components are selected to perform
-simple functions. These can be termed {\fgs}.
-When the failure mode behaviour, or symptoms of failure 
-of a {\fg} are determined, it can be treated as a component in its own right.
-
-% Functional groups
-% are then brought together to form more complex and higher level {\fgs}.
-Used in this way the {\fg} has become a {\dc}. The symptoms of failure
-of the {\fg} can be considered the failure modes of its {\dc}.
-Derived~Components can be used to create higher level {\fgs}.
-Repeating this process will lead to identify-able higher level
-groups, often referred to as sub-systems. We can call the entire collection/hierarchy
-of sub-systems the SYSTEM. 
-
- 
-\subsection{Environmental Conditions, Operational States}
-
-Any real world sub-system will exist in a variable environment
-and may have several modes of operation.
-In order to find all possible failures, a sub-system 
-must be analysed for each operational state
-and environmental condition that could affect it.
-%
-A question is raised here: which objects should we 
-associate  the environmental and the operational states with ?
-There are three objects in our model to which these considerations could be applied.
-We could apply these conditions  
-to {\fgs}, components, or {\dcs}.
-
-\paragraph {Environmental Conditions.}
-
-Environmental conditions are external to the
-{\fg} and are often things over which the system has no direct control.
-Consider ambient temperature, pressure or even electrical interference levels.
-%
-Environmental conditions may affect different components in a {\fg}
-in different ways.
-
-For instance, a system may be specified for
-$0\oc$  to $85\oc$ operation, but some components
-may show failure behaviour between $60\oc$  and $85\oc$ 
-\footnote{Opto-isolators typically show marked performance decrease after
-$60\oc$ \cite{tlp181}, whereas another common component, say a resistor, will be unaffected.}.
-Other components may operate comfortably within that whole temperature range specified.
-Environmental conditions will have an effect on the {\fg} and the {\dc},
-but they will have specific effects on individual components.
-
-It seems obvious that
-environmental conditions should apply to components.
-%A component will hold a set of environmental states that
-%affect it. 
-
-\paragraph {Operational States}
-
-Sub-systems may have specific operational states.
-These could be a general health level, such as 
-normal operation, graceful degradation or lockout.
-Alternatively they could be self~checking sub-systems that are either in a normal, alarm/lockout or self~check state.
-
-Operational states are conditions that apply to some functional groups, not individual components.
-%% Andrew says that that does no make sense But I think it does
-%
-%\paragraph{Design Decision.}
-%Operational state  will be applied to {\fg}s.
-%
-%\paragraph{UML Model of FMMD Analysis}
-%
-The UML diagram in figure \ref{fig:env_op_uml}, shows the data
-relationships between {\fgs} and operational states, and component
-failure modes and environmental factors.
-
-
-% \begin{figure}[h]
-%  \centering
-%  \includegraphics[width=200pt,bb=0 0 818 249,keepaspectratio=true]{./fmmd_env_op_uml.png}
-%  % fmmd_env_op_uml.jpg: 818x249 pixel, 72dpi, 28.86x8.78 cm, bb=0 0 818 249
-%  \caption{UML model of Environmental and Operational states w.r.t FMMD}
-%  \label{fig:env_op_uml}
-% \end{figure}
-
-
-\begin{figure}[h]
- \centering
- \includegraphics[width=200pt]{./fmmd_env_op_uml.png}
- % fmmd_env_op_uml.png: 816x246 pixel, 72dpi, 28.79x8.68 cm, bb=0 0 816 246
- \caption{UML model of failure mode ontology}
- \label{fig:env_op_uml}
-\end{figure}
-
-%This is because environmental conditions will apply SYSTEM wide,
-%but may only affect specific components.
-
-%DEVELOP UML MODELS
-
-
-
-\section{The proposed Methodology}
-
-Th
-
-
-\subsection{Re-Factoring the UML Model}
-
-The UML models thus far % in this 
-have been used to develop the ontology. % data relationships required to perform FMMD analysis.
-We can now re-organise and rationalise the UML model.
-We want to be able to use {\dcs} in functional groups.
-It therefore makes sense for {\dc} to inherit {\em component}.
-
-The re-factored UML diagram is shown in figure \ref{fig:refactored_uml}.
-
-
-% \begin{figure}[h]
-%  \centering
-%  \includegraphics[width=200pt,bb=0 0 702 464]{./master_uml.png}
-%  % master_uml.jpg: 702x464 pixel, 72dpi, 24.76x16.37 cm, bb=0 0 702 464
-%  \caption{Re-factored UML Diagram}
-%  \label{fig:refactored_uml}
-% \end{figure}
-
-\begin{figure}[h]
- \centering
- \includegraphics[width=200pt]{./master_uml.png}
- % master_uml.png: 700x462 pixel, 72dpi, 24.69x16.30 cm, bb=0 0 700 462
- \caption{Re-factored UML Diagram }
- \label{fig:refactored_uml}
-\end{figure}
-
-
- 
-
- 
-Derived components can be 
-used to build functional groups at a higher level. In this manner we 
-can build a hierarchical model with each layer consisting of 
-components derived from the functional groups of derived components.
-From the ontology, a set of rules for simplifying the failure 
-modes (collecting them into common symptoms) as we traverse up the 
-hierarchy is developed. The hierarchical model can have layers added 
-until it converges to a top level single functional group. On collecting 
-symptoms from this, we are left with the top level, or system level, failure modes.
-The model is presented in a diagrammatic notation that has been 
-designed to be intuitive and understandable. It uses well tested 
-visual techniques to represent the elements of the model and their 
-relationships. Software support for the development of models in this 
-notation has been designed and proof-of-concept tools have been implemented.
-
-
-\subsection{Justification of wishlist}
-
-By applying the methodology in section \ref{fmmdproc}, the wishlist can
-now be evaluated for the proposed FMMD methodology.
-
-{ \small
-\begin{itemize}
-\item{State Explosion must be reduced.}
-Because small collections of components are dealt with in functional groups
-the state explosion problem is effectively dealt with.
-
-\item{All component failure modes must be considered in the model.}
-The proposed methodology will be bottom-up. 
-This ensures that all component failure modes are handled.
-
-
-\item{ It should be easy to integrate mechanical, electronic and software models.}
-Because component failure modes are considered, we have a generic entity to model.
-We can describe a mechanical, electrical or software component in terms of its failure modes. 
-%
-Because of this 
-we can model and analyse integrated electromechanical systems, controlled by computers,
-using a common notation.
-
-\item{ It should be re-usable, in that commonly used modules can be re-used in other designs/projects.}
-The hierarchical nature, taking {\fg}s and deriving components from them, means that 
-commonly used {\dcs} can be re-used in a design (for instance self checking digital inputs)
-or even in other projects where the same {\dc} is used.
-
-
-
-\item{ It should have a formal basis, data should be available to produce mathematical proofs
-for its results}
-Because the failure mode of a SYSTEM is a hierarchy of {\fg}s and derived components
-SYSTEM level failure modes are traceable back down the fault tree to
-component level failure modes. This provides causation trees \cite{sccs} or, minimal cut sets
-for all SYSTEM failure modes.
-
-\item{ It should be capable of producing reliability and danger evaluation statistics.}
-The minimal cuts sets for the SYSTEM level failures can have computed MTTF
-and danger evaluation statistics sourced from the component failure mode statistics \cite {mil1991}.
-
-\item{ It should be easy to use, ideally 
-using a graphical syntax (as opposed to a formal mathematical one).}
-A modified form of constraint diagram (an extension of Euler diagrams) has
-been developed to support the FMMD methodology.
-This uses Euler circles to represent failure modes, and spiders to collect symptoms, to
-advance a {\fg} to a {\dc}.
-
-
-\item{ From the top down the failure mode model should follow a logical de-composition of the functionality
-to smaller and smaller functional modules \cite{maikowski}.}
-The bottom-up approach fulfils the  logical de-composition requirement, because the {\fg}s
-are built from components performing a given task. 
-
-
-\item{ Multiple failure modes may be modelled from the base component level up.}
-By breaking the problem of failure mode analysis into small stages
-and building a hierarchy, the problems associated with the cross products of
-all failure modes within a system are reduced by an exponential order.
-This is because the multiple failure modes are considered
-within {\fgs} which have fewer failure modes to consider 
-at each FMMD stage.
-Where appropriate, multiple simultaneous failures can be modelled by
-introducing test~cases where the conjunction of failure modes is considered.
-\end{itemize}
-}
-
-%\clearpage
-\section{Conclusion}
-
-This new approach is called 
-Failure Mode Modular De-Composition (FMMD) and is designed 
-to be a superset of the current four approaches, that is to say, 
-from an FMMD model, we should be able to 
-derive models that the other four methodologies would have been 
-able to create. As this approach is modular, many of the results of 
-analysed components may be re-used in other projects, so 
-test efficiency is improved.
-FMMD is based on generic failure modes, so it is not constrained to a 
-particular field. It can be applied to mechanical, electrical or software domains. 
-It can therefore be used to analyse systems comprised of electrical,
-mechanical and software elements in one integrated model.
-
-\today
-%
-{ \tiny
-\bibliographystyle{plain}
-\bibliography{vmgbibliography,mybib}
-}
-
-\today
-\end{document}
-