From 64e9d384642c91450040bbf45e5096bc149873da Mon Sep 17 00:00:00 2001 From: Robin Clark Date: Sun, 29 May 2011 14:52:09 +0100 Subject: [PATCH] Working of Safety 2011 Birmingham conference paper --- .../abstract_as_accepted.odt} | Bin .../full-paper-template-system-safety-1.pdf | Bin 0 -> 67399 bytes .../System_safety_2011/submission.tex | 167 ++++++++++++++++++ invopamp/invopamp.tex | 20 +-- thesis.tex | 6 + 5 files changed, 183 insertions(+), 10 deletions(-) rename fmmd_concept/{template-_abstract_submitted.odt => System_safety_2011/abstract_as_accepted.odt} (100%) create mode 100644 fmmd_concept/System_safety_2011/full-paper-template-system-safety-1.pdf create mode 100644 fmmd_concept/System_safety_2011/submission.tex diff --git a/fmmd_concept/template-_abstract_submitted.odt b/fmmd_concept/System_safety_2011/abstract_as_accepted.odt similarity index 100% rename from fmmd_concept/template-_abstract_submitted.odt rename to fmmd_concept/System_safety_2011/abstract_as_accepted.odt diff --git a/fmmd_concept/System_safety_2011/full-paper-template-system-safety-1.pdf b/fmmd_concept/System_safety_2011/full-paper-template-system-safety-1.pdf new file mode 100644 index 0000000000000000000000000000000000000000..0e728738c4220c7be2ecd809c238e923b34e5223 GIT binary patch literal 67399 zcma&NQ>-vd&~CZC-)-BrZQHhO+qP}nwr$(C?eqPUlgT7!CYifR^-ZUfm8Y^QO(HKW zO2a_Q3`sInJk&kZI+O>=h)<7iXJ`q@%}pn5Vr%AXj?eU8N0Cm{!rIxykxtawz}ZCD z#K_LrgqIi6$=T7wzy{Jidxd+-mYU1f%TJ^ZyuL`Sq7tA8Fl`G5zY7Z+KPqa2Btsw` zOW!nUFOE2okfK7;wGk3FwyR1LF0%MNbvmo(=WS}w_SAH-%|vf^+Xm{@rt9ZtPxtpk zuI(>yZ?UiM@8snDr7^heq!rBX>!q&E&wVp%$F}eH=grM1hG`e1DcyYa*2rM&eM@t=o0QLlU!>aOt+Z<0hlgwp!cpGAVT7w==XG# z7F2^`($OtqEicnsnM{Kjn5nJcU2kvp5kWhrzeEpS#1aM_XGZ zwpB$3xF)=r_Z>};pmLH&{&C`I{Qy5s6n2b1SN~az-yzwpsE0q{R&ea$=MiN4HVYT6p_kPtD6 z()J~;fe@=|m@-34rxqIX1#+-zWxG8>029eEep1C+==r1A>G?T$6Z-#K07#r6Tf+EVqfQ%sHP zBraCti|GV-MXNpfa#dJg2-MGy3<+A`9c|^jrRoVAn(B*L@l4xs^N`(igW4F z>aDWzMG#xoBI+Gz6NU|%%KySEPi;h)Y+XQ-!3dSAH4pK%yRX2btBbAZfWz(6cffs1f>>LY9dPqEnuom9xRK0`tU zn0_<>9HHSa^@jbJsI3%D@zakuz*vo!#AmeF_E~1RkZ0|2Jvnqn>>m)Z6r`(L8#Xx` z4be6g!<9|4AxxM9=>UJ|fk)#)EI=ie#n1M~U<%&bbkZ>d1q zSuZNYEr)2j$>qezT!yT9ClNcE@t;K8B<`B4-R@AS+lb2C?-e?MersK#5t(dMAajAi za%(?B5bPIhxlh)c8uh+Sok_-)9tFFiFqr7pLysTRxutntNu{!uL}O=YOv>N)wbEa~ z9WV^Gn9_RC1l!1~z%<%T&HW%DUTO4pCMEMnp^CvR9&BU2N{KjIW07!z3{P6hjc7t9 zF}QsmLtP@Zf+)6ry~E!`#-9dmn0-blaB#4LdH{&pz|AkE2LMr6dvuYS-K>}~E?Vnv z

FLKg$A^~^+%I{Y+FFk^)@4ppWyT2^>0oW3tODQ36o9kw z2Ha9h)q^5X6C;{R*Su;i5@n~Png?POR$RlxY37%5C~-fdr&b2eK;o(&yNrfDxnrk4 zQg1)*9-W`1q3nCl&)WXOkSumDmB!L}g}0BsZeCU{WW40~5LM3Axtnv92RA`tlF-W8PKNW zL){)o+!+MKFM8F*|7SQOBmJ5f1x(SvRGY%0ca48Ot9vBDSDaAKn5XJA*%W3 z@Rnh)5CK>U({gW@o$BH4`I#`bqOo z78-6bSiwrRiiJ5_Xn>@!G_3XR7@dZx-O6-d**---?X!98DVpB*PUrK<=OF!L!<8Av zlmu&nx~X1>Fq3lgPN~A}6!6dQB;cSmgjo}cZu)R05}2|p^iWVFH2t1 z_O`zXxdaXc7GWJjPAMlO17eD%^$K!U;gOGPJ!^ChQW!MjCAfqpYPQ3O~&( z>a93Cl$3JUtAr9JRz=$)Ui<}(P~U>1lO*t|My7j}m}h<1>L>;xi#@5q1sB7WHOMTh z|NGyJ>syYReEiy3^~N!6YHoiO{U)Dw3~>;_PdUs)`EfKpSdx`H2_>Am=_0E|u9p)X zFsI_Q;b6}?RO2=5#(~rqbPy@ae)bw5LrYk5dfbyCE5A?N6viVP7r7r5Vtqh#NI@G5 zW>yuJs%IX4EKUEUCXU3lwTUOCAV?ih4KOlp!Dy8+JDWMrd@Aqq1}#!~XK3Ixhf0qc z)|WM7vp$<41AQUB!Odsop9U{fib1SnQ>cAH;&z(4BlS-P+So;%z&*g#tV5Tj5BZ)$L#WCq1g29GA66l8YyW(D^!@D849oN=B3vJ*0DX) z#8CO+tmNUWA&RU2HU`V!rW$vgwqSzzuuOq^1Mw?OTdDe=64Q~!tV;CqM<5xBux)!? zb|d}C7OlMoID14a#9#Qdx+^gt&S0>)lMB;bgV=YpqVL5Nov;i-1E)W~$a(7q@G*_3 z>>hu4$AMM#xd}^8>tXYxIBR+cV|)Q$0pBWA_&>}Q5Ft$(|K^=*+7TBZjv%!UC3FsX zT5Yb5VHaD`0@wp4$d3807-EllPkps_loGH&iv~x7yhZ8=%*(xhL_i zHeKkt{wt_vMfJv}+g4M7ZnPuz5gd((NKj@A-niz%fzIza2*aJU`-g3fOo&|$88@7f zl#ZcbijN5Ezk?9$&Xo`i#ITO{)|Hv3@jZ>-XrPKd$J7fxd~^c3El+a0V6$m%q-@C~ zl9qv1l+NNg3IonrhW5z7MsxB^p2`;Rq9?o^6A=YPF`b7B=_-ugXo_$pU=^d{)B3n`DN6FTQzjTBi_!)Wz}%TQh_bkGEG1`+fO!+D zQ5))n0p7K~0Es4hoHjrZ#2SN0CMDz(`V@WR@(7ze;=fGBNEg5i#vjVbveT;kwTiBk z{_gwy+y*79_)xRd6-MdznP51gWz6bn zyz8@oN?V!*lWdk!`>+j0*T;C=9?(Dl5Ib=;*7FTlhEtCIh7BKRm5;* zGA0&S0?})@YF(rvVe1qWhG@x_Q`{mXAF`)R8F)Fp$B_#vO`oHXs-XQXCbTuLh!2RS zuo$0SG~M}_D%=G_{k)B>dK&1lp6razVvUEZZ7_MiPoi=gJ~DFaihL=lbbdY@zr~zo1%tCNw$H&iFa3^+ z*ptR2_3PfrJ%TE^mQRkR6hnYCFG>~_`Gp0D*r{QIWY^W;sY!^+2nk)v<@*ttVKd6x z<#+3n{K{bz=@mo$NX{ujl@lP${=ZRO+7&T)lG+CD&0&M+x|gN#XTt<_-N?xXU?y)C zkm?UYxnwLZKM)tV{IJA$?yR0usHN?`vCskUm!Ayv@_6;oU7v`@DdnW=CZ0?izzK_dv$aT*Hb+$RWvRwqXZ%PjwWVaIaeFp zT$uD;OqY(m#|C9OWR40kYv?gs$uF&kD4{mm#Pi`-%vT|<4Wsnu_S2aMeNwq7lL=;L z2NGkx4))^mHPq9xNViaa2|diWLJ*X-Rfv8|lM_%oDWrrnu`Zx}-Ih>xf1HiCGOx0K zV=L1&B%0w!N4r)Xn=oAXm}>HT{D-Q?!UnCd$y zoGsf>;|JJ64btPu8XaCwXMno(RZoK{2M@cc0Xw6idia2`cF&1pEfHnQ;-wh}2nq?2 zTf@;reoBm%f-(xiy=nE5cCrc0D>SYVSgQD3vBL9i(+KgFy{KY_)pf6Ee)&M*Uwh<1 z#?i7=>@&6-wOFXAsau@4G!W+98{$-N=sc`2d8AVm3bpIT82EgmR2*Rpl~HKP%d&L> zBXWv%N1K^D8o$j#Hd+naK6P1zS(J*o%l#|8UQcq_Dy=3aaEMeO=Oel|F%fh?=k6v> zVwu*~^Pv)6?9c8EdT*$HsQ5k*Gls4rgyE!P3gVHqqGlZtYvZEQi6iY?SHyliWMyO% ziApb8O*mnXL}#nUR~WR@g2!6M!2*$&C~g}Jah(!M5vD~{8J?&(($D6kQtXOE46QHT zt&~E+W?px)5z*{$$Mt-_(B>8KJb9&C9t!VX2>b>+3J#dtkGGrH3rKpRHIDcL-W|D* zEB55Aiv^o#SI0JbtxW%co681*GN!2;NHv0jKksRt{UD!rAn$s?kDi>P{e^ML!lv~a z*`5r{cqK~$d|#g(-TFt52g|m;4Jl+pZAjb68s`*P( zma0J28;>uYDCSNP$i$hMh8Ce4*ggKK(2CuYNPYg_Om6n4*sQjflINLIyvhsLxDncq zUUaY`RF-vUOKVHnTEjk&PMweQMp&b#QJF%hW0>#7t*bIetfl9Edd#YFivy3W6_+Dc$n7it1=IaEn|{A4s6-B9hhXvE^C5aUlL$arBwsscx{Vm zxZQGdYLYF^Cfn`2F;WOp0LV4v!dQ!%jBCTHQ^6(ewFt(W%{Z87_Rz2p z@mlivJ!ety4mhqnSy(&0M|E%qe&-&vnOaCsYs>QGy?xKIwC)Je9UBtaeQ#Ne$OieE z9-lMJ%RRGZQC@Z(5>qa1#p02>WJ=8%?BeJVSNAk;wZK?<+K|jayKKG@7RCI5 zlVkvkbAqcj&Q5|5ns{V?7dhqrB+NtNMwDJ|w)o){v(-T$IU#(TQh4UwOoYHm3&Laj zjM55PK4g6ciMuuZjF`XFQn${{+pV=gwdSn# zGH>=yrZGcxU6-zI=1*iAuX{TrP$BllK7|2*k`Tr#j$Piib%!dB45@d%7bRH+td-Y= zEJ2)#)BfM(rkb*^!|>gUi5pWDyM>zz$v!(;5v8Wc4D8MRW{|zmPqe&+twcdk|388 zq=~KZ|JJGhRsUmPA^%6b{!hWe%*^~h$NyK8<^S-rtp7j!Y>KK>)D}N<@0r?khrZfk zw>5nzy8~MQ+4^Fo>^DmmkN>+tL(e=`zxo zFP5@`^WTd!p{anIP2Z$o16lxq60@MQw!IS$-s#2bbR>Sc7M6fKfk-?$1r`3V#?4?R z6+dnx;V}R-$Vb)<$DqB>0C_C>1Zj@Uc+4J>+i3;8E(g=KdJ<%eo+qvjeup5WHg;Na zmwYgGK?f?5+_NN#P0L-m=RSj|_>a(l{P3`8;PE!J?+rVl9<7HoG&9x~my@95^!VV~2wM zt__N9w1^B+I%y~VcM34ArgN(&%DbcVn(`t#%Q!0fIyK>vWw|+V2mvK3m zdJbNcnZ^3#zS!HU zj?|I`gcj(19?QZ&AP!Zb^3a3(I><{AHTvGA3tTYbkTcZym@A7++T$e?oZXlEE}CLa zq@+fP09k4W>XcfR*h_3tqc+tbr~x35&jE;n%1?|gfQ*X;MDDZ7j8r`fb>`#6O&h61 z6{;*R3x}R_s_02k6G245XVl>_ zyk@&~Om$2{*y$WY_UQWl0;2rbDF`0Wyz%&ya0v4J;>z&z=8K|>q?i(lHd$9PnXM0{ z7M7S=W5cASal@^wZ9O)acWcEqx-o5SZEvqu-4b?r5scnec^JvX9Y4N%Z(lzzSm{o$ zMmH^Qx>j{-yI7^9udoPA8Kl?})_W}UyDiP#Iq;7}g8dCXd&%B}4od%)(*6}}9z5W5 zMH<%qkP&SA!51!FuY2gf`{DXM;z2O<3W;+wFf!Ap8-3R~3T9Hmi@p3q#TLh#H}C~{ z0wwAyeQo2=6Wo@0tLJr%wZU`uZYoWPKb4)1yT)AS<1P6B3j26UPjiF2#?<`re#m2p z`?>NO9V0F4m4ZC|XQ4HEIYt&b>XzH#2LGgG?|oGdeIMpCoxa@2ec~RYTE>PhV;Z$W zx{f28ruFRZ)2>7u z#w{?utwrtjlcCG?w)>Y>G+!lW&mZp{*A2yxe@wJbyki_6oe&p~5l#~v%3eLv8JD=$ z;LFy5=8PAM5-9%C?MJ>YM_AT6s<%1QqIbLg`XHD}PbeWf(D5FcY^X|HcvvSnu(70Gj4|KhcA*5+DqHrumvY55{?9JD^f z?`lY(RB?Wf6>jNGUlpnNKVtAjW^`kuzAx=S>mg~&&(K+EUDB;$GI2u83&{mvRVUxx z(Vm1A>A5v+t6e-n+uDtJj-(i=j5QMoF7jrs<4yQN19wcJn4gV3A0l00{IrzP z#02OoE>5KgFll12Ms7=PC4>=F;Gglr1+WyK3UhPr6UY_4BQh-2qw`SN7Kv7k$rehH z&o(oylEN66YO@Z9(mnzvkWeaTp))38R=103Lk&+xQPiYbFfi)cK^K*E_9YJXY{+M+ zAaaW#$1-GTlFs-6or2i{+Sd7a!I8B3uKZ1-$lA+u?Iwce)6m;ll8pdkN_0+Li*JBT z`LbkzASv1swP#1Nly+JW)kd|`2F zwR;-_6VfF_^jNvDCTS)nL9E0v6`gXXsr%Ah&la#DUYa<3s%&7%Wu{K1|{ zhIleTo_d$o5Tr4}J5F>1v55ZcQouF-{t#aqm-a)`IuaI++@~wXZw9JB(sTeTU(IF= z4ZTzEJ`OfV^^&<7?C?~ws+Y;>Yp@v&DVk041!UXMeF~$K$sbQ!?oMbm;(U$ zQU7#$Zjd%sDU5cuVm6&3ff`SRlp18T<*-|j)>3>w{G{%WESK0SI}0z3bBgbrN_mIs z>FMzzy^h^HKM_HR9K)%uYzV6gw8f#}Vd=VBrue*23hG^{^7+=SC=pTof-Wkvhx~F* zj2N!Ofkk%=oV{=e&Dkd4L4V$N=I_!yTfXR8cyM8Vfz2sRgLliqs>Io+f7WCfUM(ww zoz=f_x}0WDREHiL#7%+k(caja5=BDl^+}KWm(NQ_U5U>=uX_&aV*d)iUKfM%9+wxw zCVSKK+0%3}U!im_^eOSHq9+w~CrO~^(~=#NwRdLK@kxUHRol__u05lPNJfSv;=PPg z5;cXd3R$Z-pBy*`2nOy9#Ri!S^^Rn!wRor3yy9(p>s`2EEQi>nU%G6qdmBqzr`7Ar z5tggIpn3@Amgcc6jTKoMc}xB&gkVSec=^c-Mh`mwPaYUxWmbOg6ab`~TekI$(f7e= zLqRJ_De_e}Rz&aIg!=p{M!PmzRJVWQ^@VY^K91@1!Kq;qrP8EcMhG#3ZEa$sp2359;j8C#{>siaCJlfkrQOI(RXQ?GE+Ei=g3{($22#ZnVPKz)KI<*TbVh3 zS=-H?+g!QYy%x$iT8Xq-y6emvCag=+Pc^T_z-7U-ejXdHR1Y&hQnp)VV4&vRG?q64 zn80G92IC}d>Lnjm^pbg*f$gn2j5YZfQe_0m;7!4!0we+%-8PwE283blq}8Rexr1^4 zod|42vPh)s9j6Qlb2>_BR-zD^ndsSiGql5&>O4o88@4(scBs8RzlGjAyuP!;otU?! zpfX4;xa~&sCmNdUtci=2J-3`rtD(xRUe*DNLuq6wDCNc zRn@gY=w>JF=SCNNd06P~n9y-JKR^DhTy3{cS)zD3+O5{#P+YIvsswN5L|%8_!B$gh zb>6?!=Y5L`*HV06IpWSAJbm8JN_>C9PmPCbOJ&!-aVjln*1L2^-8t+}rNSRGA@n8v zz8JO>AwGofUf~M#ibW0Vn%Zj85^*yq_6ljGbjQsvC->26857j{N_6E#Dl7j?iq?!z zhoWHHqAWk;eFX?Ylzqo~*mm9J#C(0nc>XKw#C$)mQ_1|fKIrG0etyiBF2e9+%lcO3 zUP&QJ@=~IifTAFR$Uo$d=Dd@Q|Rp0?@i|Ee+#}J+Kx7-Nd8jY zx2bF-KKjpqpHQpy_i zzq0e{JQn_1^FEQLkR~AguvX=aoMik3gjZJS439YaZf(5fQ64P#;D=N0->TM|IT1qC zUjx^qK1C!VBYh6j$0G_?ckIxaf;Og)F-J1zG{@AN)$|>Au%aN#)4ek6?QT?PPKAwu zl)UH(z74JFAe}o9Prf_dnM_8`ilo7<4AV&zIb#wqb zsdbp?CNKK>rXRTHH`aQybzLco`rgOleNB^h$q?NvfbG}8iP4}tc7lTy3!(@x|A`2> z6!gvy#Gg8!&%lrDLzj4PJ5v{Xkb$(y16buj5xfZ6g_(<&+B@Udi>kdQmgJUYE5iZ{4c=Zqx;@$&}*B*=3f^KW4?+ znD_ZrQgpS_R(aYmHcZ}b9xmG~a6XJ3?IHei2`&|U3uzbrM@|IZ;?X%^i}qzhn>I7* z^%)cZ@C=Hx>YIDcUsmM9E!GHaMi($cGvuOD^!D-!*{2W26=?!=^=ewr>qpG*wr7%xEhl_Zih~ z_xjw8GY@n*Byzkmyy*jZP34aRdhh)26;!_tG?b=(4w`GaUJj1ynZ5$lVG8@x#CB1J zQ1Dp&*f5w)n6N?En%k9kbi)vT_*mU9I*MVh_9k>@Vu^trHK-Roa|#mVD7Dxy&G2rx z9nHvzLDJBs;bOf3{ZAfxvwnkJ2q9d-r+&;7I-gKic~ebSH+hR}^SzKa#*&)O7#pZG zG-Hy#L!L#9mdrc^y<_>Lusg}V&d~Ob1N11XWA?YuH^4|TZU*4 z>@1B9?`Qm$WM@}iY%jL*K(lUNcZY=tj?DKv~ww|X4gOd zcR{U(1kmdy!OzS4vT6y7YDX6ER$sSQ@(M`Xi%h;&TVE30Ro$S-r7lHtcIJn~A#Ejh z+X`%f+q#sK>6#_L9FtWc2Ld{K1?)yOs%B3_n-;A>Gk<5XX07AdGe^XZaTulzv)7>A za30;6745EjzgTv0=BmGZsY68K8sP%-LG{7mp^fkk5lVP63g$4`UG+PqJVJ_acqFU- zktLyzcu?v*gT9u+Rn1X*7+#_p9?7t89PX;$r0M+2d3f@{^$17=cj#qOmEm*w+>ptn zC52(QmeKHatS2P}$ZKD5RK#nE~&brs1?$T@FtyHdwxN^1U{K%%4VNU@M*aXGy>$!LM z@$*<@k7SRFHßv;hq*8#6?=sxU<#B*Lw#WGw8BgSTi+E4Vemj{8^_r`IVKr4Zy+#XI0R*W|PQa=Fq+4mkv8~qN$|06Yn znoS|8waNgmWk7&k+NVr*1~%u!P3PmOrTq?R8)P()$#U19dtLaS8={K@FNP%Xvupbl z$dIP_s_p8cB@KJ_$4Bo@=>wJeS8yRTi(yQ|d{h z_6o9Y11J2(_ACDzRv(S^hR0onz-NV>&Bw9W8+Q7I_HNVm-IEVEDu-h(=Z5Ro@a)f< zbA_+r)wb3)Ql_h+0M+_0OOrK1;;55TTJCTg>RyDQw0(6lJmA2Xu~kTlW(~oey5L?Z zU+LNNtV9y6onn&HjD@leM)NMhw||u8!b*wj078{B|EiO-8IQzmL}gCgt;fX~pWjc( z+ESgyla-`o<+o{5UuAJI*Z?j^Mz3cnI9LJj>Hz;I)WwoppJ#W=%X^jE-qR@X%?(_4 zK({-HhXeLab^^8Rxbd3;417$!g!v|Ox2V;8)u>b%lX-+`L=bGY@4@Xo7)m8-P>0SmY=|>iLBPNA%D4Kcj9xu0n@fMr*)y2JPy43kLH+6X#}GzHT0-yi=+G+YAh`4nL4kmo zUOnG1a>1!qTrrl#mDp0%QfY)IKoDXc@M{#J?xGdr*UCxAU_~Vu#x6G>jWqYXha|qXhq-?=w@JG zqPc{Qgx-Yu#6aQ_$y`de`lD+EL9taYc|fs_o;?3`DwgmccB#v%b{mPqR>zOuXI(*JOP5;BW>0Hy4VPMH zgjW=oh#+(N{n>iIRe+#TO9CopC5&^EZCI?Ovn`Gd|B0XNZB7~VsWC7dHz`sTJq-{s zMEEqv3L-KHO|#V+fg*rm{b@e@RXwtN-bI8+y?l`f!@HyR2=DClhofV2zw~kTMk+{+ zVmUKKSn?T4OgSkV#ZbBrGL&x(db9eyQpnc?=?S|RR%)Yt)h8@VpTJF_Hh3G!5;Y?yh0%(2F3#5D&qRR4^r-?L2WwxrW@~-ML z5@3n!g%T_!9K{@k9cAa$1cyi!ap-80FhX+h;EFUAKQhOG0fsdB&t$WsAV;0H;;zCo zX9$AWG?gSF0@Sw+uUV}~U5IK@!kIPH^_mG6DM6zO3IQ^)^z+TeQ1u!vwCnm=X8Lu; zUwtDF(t3{gzSNF*U`l)4bd$P^XPF1PKpmfl^~4;0JcmWxaE zPcDv>LyX1m6>CyQaYr5GTCwXb%?z7^OlQ0M;ROPk`AuPtC8$DvR*kd>pJf3>aD>-+~=u<{Gz7ZP_v@xEthi&m3GM*dB~c9N96>s11{b zbQn+V8quT;37k}lGaOmYV~`{zN8a;e$!MvVW#i;%I82Tq8GE*QTLA6*?4^JD&W@-x zwen&yoC}Xi4{L-y_=81{Gf0(qv5PT^I5fW}jk)vn`SqjjkuDg7?DjGyn0y zA5a~(34iAQ6BB7y3DzNWj;NOn)TrVr;J^hpc&RV|K-m<#8F?*Lb+W-DNl)*7Zw zkTevIj>3KoGuK1#BU-cz=QEzim)&Dd6&8jL)D&JXX!V5uIkpRjK0;C03zLtC;gMiy za20Bl)uvNqXlNw)kS`7D5~-DwPWG45rY=N-VTm@Ui|~X0U=;2O|NvSLas48zQk7S*Es*qBx4xMK{XcTB! zLOA^+^bkQm(LpMoz=M!XxAGP1&EJXYOQ?l5zWW7<#yT!;$!ztNT6A;OWx7wVD>g9w z&De+MGY{uOv)->lbJ(37Dh;2RrhPlAmb(cPm3RRK?)$m~d_k7ApEve*p;GJe%BHM% z^1$9Q^Baq$YVy2San|`a>JzsfAs9j3uZfEL#MkZ_ql(<5w3VSis5RxBNE z51|+S^pZAM4|0iq@q1$PMB-I88CfJTZE!r+o^TtF7q1t6l^Z!!7~L@oX_WOygvji< zx(#CB1@qza6@SSLq17fSLY&Eq)yKMuzALWF9TZbS;YrPRuMn%R+3xyaVR90ykNxA6 zuS}0=N@`NF>M44(`*N|7q!B}R%kQ=|C1NXg!|!PcPon#)D?rYss(k&mBETjOx4Ihp z+j*3(N?^~<|BLL9Bu|Q6VfUHbMRuM`fT$gG@*;zzIiF;CufQw9BY+n#%Y2}4WWpCu zejx3><%1nH4g0CY`^*Q;N7K;C^eVO!-Q@8x={o10bGUeF=dxu(y9Tx`Wg4SDeqP3E zLFT?^->V?aW><|dP?&I9L*59f^&||}UN3Zus-0b*I2KubA8-Jw*M*0xvNCNrsKzSG z$B*ypNXs^$>%#6)GmCODZiiG{z~I$u+=}ies!jLgCGc|j!Pkxl1s0Y z$RmEudI{L+jINL?Zz=Q2waruf!81!_+>R)EhoRLa&*T&Ln3G9i+#wmc**S``Rd>sa ze42h+X_m&UDpLlv(Kj*2#>46YE4MLo^f8LB68k5tLB}W==y~XdYjJET?7QJp-de}N zp|RSlev*`9#_rGLaCbt_fK`Qzfm*#n3OuW3R#qZw46+Mb>tIK@_`nMHwH2cKONY3bC+ z)H2tU`SGWG%?%@uw{@ay5dy}Y*a;IwLGEOE-kFy*CoR67$B9#I=CI42BP|6zj;qO` z$b>Km;JMADCl9@ReO1A%g04A5weFwoZn{#BfrZFlruj;095dUFmL8o}B&y08G1il% zU3ulksv;0c)muwi=8bD~#BKeFM~zkLVw{hZNnMnaOh!MtNg)b|W|B^5aS=8|aj-Wj!mb`bm~lH1 zKrTN!KMP=c5^y41=(j2A)1+~>G*V1Z{Y%5R`2c@=axxGFisXqRa>Zg)Npm5y!lo*x zu4f^$if6C#87uRa@YH>f_)ow}+9!%VoLMEB<7XC=solE)Hf-U0t*5 zA(hgPUpJC3o42vhxNV+J@tRtkZ|GN|naQWrq<9F?noVVn~gGqeX`b!i&J*Qka+UZ{CFD!_$W0qRw+|KYqaz!OXfCrjZM#leyc||8@wsO zymX&^2jkE&&otg>8YffA#H+jt&hR#a+xRVFlL0b!%V{at$Ew^d&+qrsO36pnWAzGE zmJX;(meF%*%0ZeQZpP2zq-T+9(Za|!@UaokX0P8tZw!JyiU+qtzB)+JInssY^%5Wn zEIkJ?c+F`hefz1lHsIJt^ycY9{U z%O{goa5=Q$TAQT?$c1Sq12-O5BhO#uNJz#{P9;jVlG({N#^C(73*J_zyVa+{0!Ecx zoi(1-J)1Od{Y7f%X=ZNX;O8Su)+elUGAZG$2?`1f< zKm{k-Nv!ocw*B3YTFyqfj2HW5WUWqT!;FoJ3wcyYmqJ*mgbiUkUD{1>kr^&6ugHghp1tf=u>Amx^vVox-6aRB%)wZSf{W?oO9lN)i~XL4%Aad8t2IqF?qrOEA)0&00%a)Q-o1c+i%~s}bo*wg-OlIS* z9E|IStPt!BL9S^c)p71zPx{o^X$zP&?m+U^rIXf9tt&F{is)*Ef}ZJIK4X*7Vwq?0 znh6#SP$k#+r2Q&}eze{>IyZv)&aQ^))}DGhi_YqTcAx7_sq;oEO?}iADx^tU-|r|( zlb$M1konl^_eRQE4hVighu>M6fp@A@uDG{%1ldJ_)Nrvl*9+0-kEdczpMN#_KmJ{&0Swe$&3av+!_8{6hE+&Njb)ev|(a|8QQ$ zowxmfoX&o{m*HAZ+hUwVGdUDhf54Th#w?wh_1th7jTLxCt%N7SMX8G(K5IYVH^;# zXVZ}RU+D+M$G!7^OYGG*oR!05y3Ll*_6y-IiAaUxUK8(K%&yNYcxL|1bD zG`1N>P}5PodPZ$@4R7(x$%@lbi_$y0NdRAV+gWZ(_z&Bk%O+2Y;=5SNe1`Lj;MZAxaj{8_GlD4Diyga7=( zo$|FgX{nq=ey{!hw5$bAv8ljqtFt_A9NfS~tIll>xhy=ok6XfwOcl8pc=cn4hd@y| z%9L(L4%$=epZfNF4a8G5cv!DAo%Oxkd^XHb=}el9uI=qMnJ=VnnL%Z_)j));U0d3s z+o&d=DtrpQq^d+VT1vev(nNfJ52KP&@rX~|S)~@$R7nNL-A6kUnr!`py09ikXI7lZViZ!4rl-ooxKX!1gOLqPTU{-i_NYi}AcWI+*)w4tNVIF|FcT8eV>aWoP~Ha)sM z+sI>#zkFuArO_pn5{KFlrzPt}t_TH25u-FWqd-nuO>Iqf997h#*imyYkGIq*tePLe zc*pKdKZ^wP1|ao^nNij>WcvCi7a?RXFZR?KsF_*MktDVz;D|GRMY+1rs)^qsSff3) zKyqbiwMJ9$ZR){9-9`cgktseZn=I53w?5rH+vMv~ZHPe)wW$iODyHUS2Ub9{j#pe2 zR29@Y+IqO%`qCLaXE>M5`T~hQ44HO=`||J7(e5NSx>?MNY#l7}9tg=@j>fC+t{VgL zY%R5HwCHJw8%iE$*dUiE15`aI0VY2OO4C61Jz#`8#49u} zNb2@;M?vAMKbp2<#a#;>Z-e>Pk3+qyR0T~%E+x@_CFZQHhO+g4YXZQHhO+pe1GJNHw}H}g+Mp3IH2 z_lb;LD-RirQ}s}9Aah02_CgeVrcpWNqJCzFdB0_E=u}O^ zOxws!ND;&UTG;Gnn9`Fnvik@GM@R;=w3O7vN+3)^FCHSWY(2JT=+u``?Auk_q#lYS zn0$KZL%LLo9MMFdlKsZlw+A0Exq{mQaUv?S5_(KV+Z82FRUKNM^~#YIh`gh|J^+4O zHggmO`mWC3K_4XXm?ZJ;=}l%cKk;oArnvCKAjgB%#0`+za0G*z7N2=*Jg$I zk%Z6g&|YK8p2|Efq)oXa_1noo=V_26kIK@FQYX!Z-3YjSAGV+3x$@M6Z)Ai@Aa88NQ z4+@U;%ta#-*|o(}n5K4Lj~iz`UkJ@AEyTM+FQM@1XpHMv|D~kZfj?=337inXRph;??WWmRoNXFQY}0! zFB@Ztde@_q7)XIBqMPyOxGLS!fOQx5Y1nfyfPBYyZ(k_Q2cF35T0{CVL57S-M(Rus zLzW@wt4-=Hb5st_9=pSa7($*(pZ}_27s=<^pFf5DDbxIWN;shwoKctmh5W}HLK(DS zOpe~57IH%JQnhk{p}==6Uaz9If;Xk@3wbPEVja$r@}(qYxQ_BMS_NjqFubK{e^7V9 zX&}Td-KY=TS$7!r+Y@XFAtasD^f_Mh1OZ{=8Y#|ma1zgv6gwH#auf4SB_2_R1_Elb zD-8Alx0@8cdCcw?5!V~Rg>A4O&}3Z`bsM_!Fk4H6-3PVL>CNFolQO>Cb7&6nZTA_I z2WH|+0Y0!uEV?V-ZqYSM#I;R99DK=CZLs;ZYBg_%1P-vYv1e^!$Gkj@tUXWf{VSf= z-Wu3z_dQS6xs5|eL(8meCO6~90UKn0nZ-`Ae#CO*t4CC>ezL9ZzX6ELEDJg~YN9nc(3r{Ydu|%XKtm zP~)Vvp`l`_3jkksM?(|SbQ(wTj^Q53KFHo>Y}2f?J;TQkuJ@A?Z_lfsN@|~1QdR8^ z;4aX*kLagzCqu5Lzm6_R_BrEquL@f?wXY@l1?;CG{PI{!Jxf`MEq3`kgsL6n0*L=* zQs)W4`Ey>nou}1P++4q6IhgLc;(_KxuU>h0z1JSzn$H z!;H2xec`+Hwik&{t+sBs(9-?73|=@NJQ=HfXg>$lch+EbIzwlz`?jlDI8cJ|ZJQXO zdu@v%`2*@FLub8TBr&wYdm(Ijs`#&WZAW6J7_YNf$_+g;Igbmk~sfcHdc6Ag;ChkFTF{uM2n9Fm0CxgMcw@i=umXSP%yg?7IfH zE#COv@>v>TwvU+VJ7}~pt;6hD4z>F~yNF&r-U@9mzBAF4VMR#yHxt#nTX5cJLxQ6K zwMR>y#<1y8&P3`xOQU-6*crZHM*zm<<8-h{2_~j(rdAr?a{h)d$Az9(t)bwB{KSX0 z;ew9tn;bY^w>>f*N8iC*40eu{M3l32;eg(?kbq(lxX5QQ7hK)hy*_p!n^^4k?ctkl6ycB$?VszxiFH$#>C|+TK^m5g=So1gn(Pgs}X4kd_ zS#+`Xw`YUtc85g7xq1$Dag`_e=vznPE$tz_)Wq;Zc}Cke;G9(F*0s6Atj$Kd*4`hw zM__>1PJyQ932q*baw*mjfaRdXJ$008*iwPiftz6F0J);kZEJj!M`D~ z(a`$9sG?MtX4C^t!YKOk^`}{SdC5Xpn>3iGjIpLN{jJxSW3=IStnFtJ!WXjCsb$$w zrq{V}n=`BoH*(|2xAn#`ByDtq%ktATh}XHYb*bQggpoHwzld5VF%AHdr^JEXulRt?BOJ;USxG$bq3-w6FE2m+XV z7fmDFdg{{{nE++($p+uD{SB>b45%N#k!u<$+GL%wvYr8(hJHBJR$Zd?LM~EERv|x* z-)Vx(FxQ?+cDfrf_cci>M;lj)zJc6ttG|De>8#eYUvjP(t3L?C54~AOUtV&!AHQ(d ziBQkh>-T*Vi0;sP$kv7Z4N-tz`I#Jc=55ye5jx!{0+=j}#`r1H^G2|ozbs%N5qyQ- zd-KU!C{rjsb zZ>NNm-b(N#&cb|YRlJ#}&q5p>g?X1X%)|2d7L8`)zF^8l*B#peaYMZ>oARq+y{5#w z(Sf{J(C`lpw#_{9BV$(TN4N`o52{bYNM(DzR?)%Jti|M$%V}=&rqQdc;%>c$F_q$b zEcN0+Hed@-|Z5vju-Mvh0r;lO9^OxAyQ#`n6_YuxVckBnPd(F6q{pmIYG9-Ni z1PI*ubtqo}QRXjc=9{|8fSJASETfuryO1-_Q28Jo3CQCv%wGp8) zbec!W7S?oNJo^cYG0=nZOe&&k=<78*x#<8OR87-?x(>dbX^ zh+Hk6-p?1KtkBa?QqVA0DXme`P%ta7S6Q3v>|UoXx^uvqB|dcO$4!76{p_F<)e&WMW{fPq?L1bTVZs>LcvxFWX8&oukJsLPY-9s&1Wws&{x=DBoGnOJbs6qhX|BtXHEGYje@nn;#Ag<1%Fz!)5IHp~6IO zZxIg$6r-oL+*t_(ze#t9+1*Q~L@M&G8m6sB=zu{h`24S_LPpd)y z*b3Q1=vJrg#8ke(T5G%NvGxykW=$!0=bj+A0TGx$0{1Saw%dsLJ zba-Wa(h}bN!~CL(k=3`F2?ANAq{)&+fwGaY=MqaYbKdeQS$1!L$2F zBm0~Kp{~p)dTTEL zMX)lN#UOI*)Y*Qoh*F=7v=wG8_v$^-`2{r{S&wDGxiV624*f%kdGxzFJWWp(BjdJ@ z#kj9gT6zLg8117F`w|m4?Wz#C0e;`mK#}EykYxkcDlhsgJ~&^Y;8YhYi&KF<^6YiIU_pau0iRf(d@2;BWa{ehI zRecOZ0d4en#g}Or86#^<0mC8&WPDfX%WTC5#Dx!fR%Ui#0(kN9WRPC8^gmJtXNHFe z3Z?{T3F2v3`{Cma;7^AMUZr%GwHDGC@975by}zUM2hjW%apoV{LZy{OU^SS{hRG@&37yOPJ~z+UYu&T3g8*+L;yFLfd8?$G`7cK_-cHe&c|o%qE1Q6LWe_1PeYIM_38TOfreR=TGT<;!c?Ev%GkmX zhX$OQ*IwVy$^nOkl@^@(&n5qKDCuaKz^VClZA1)BjZGZ>S_n=p?_g-Dgv0W+=FbJb zd^HW}aQ+BO<-osWqW_S2)6)LyrTp!~`K1E?A6z&!fi^EkwnjY z*7cF+NHv10r-bhL8~0*8TFu#!4M#Y+ti+qJ25#%LkoOitxf*YiAJD{x-MH>dT~)9qN%yt82KAvwhE(M9 z(_d`TSE>4(+5+@66(iLyA0^=iK050a`x9oHUzZ0EOXN)y=PM=k_`N{Xw-bLX?xD5e zp;zHoc4algfAVekYX?gH*s$5~-Ap0BRiF4W)=~A}9L8!h=HPJbf5uGt_{o*_@spA9 zo$|!wWzkyah5ao5_%fg9o%3Pl&iQKb?olrL1N!mT@ujVnq<8E0*-cT7_x8To&F;ae zP29z)&Fu-Ocg{7)cg(Nj93tg|@qzA+IWGO()+zqo_9wr0Sb(a^V-h%fl>LgM8s*cqH~bSv|3gfh+Sxnso9Np82~`Q* zzuSyo9c5Dk2NQdBdL~93dKOk3W;!|?Mn)zaCMKr8+JE|g9n8!)bc{4OOkX+n*YS_} zuko*Wa8?F-97YLK)4R^GL zauq%^`UNp{!$1F&ATq2JNngsf+9G zqNx%Mei7U#VkGz9uS8l&??L?!P8JaQ)11}4U%$8EHCW>cJP-9f&E0WxT1dd|nng147al^TstU!kuJV0&KMzI0Asom3 z2+fKZ^{Z(xcV8A3fp+zY*)v>GYa#ZEHxcjn{Io+FxkH%SGv4zA%}e(*2wCI1Aad5| z&npVcL3_0ll!uO`wS#PmJ_JYI&!`h08E1K9H%t3^KL}vCmr^V@0#>X zx7_^(j2`_Z+y<7RuOB)FcJa{&!fzTW9M*^TA17$b(2kP^aD{fnBSzR`c^-k+BBC== zrOzcIp50X&63V!&J-)!bVOpc&wT_2D@D>pj6_QDRk_}i!PqC&QOPti-wKqW4l6@kr zxItD6_jf+J1P0^e$&zx2s(7t#g|xhCnw_Yk{D7)2*k#25JiVw!-uMO$6mSm=IR z@FfYyJV#$qTWk#A{}O|rqAi5ooBKJID$g${C@WUnxsHyCg|7ux033n`uj?^fxoHLo zmCKRs(M1{hBrvh2g9Ny2^JI`a1oax$ok!r|wLsFsBE!ymP)cf`#0&+PlM3cxbVSKX z$c8DC`XZl*XsQ-Z?IG?|GO-2PPc6>-UsVekSHfy1Y(c?~A&EsoTCiZS@R`&^Fo4^l zz^3ht*WyD+0!9v9)(N#wG*cB&krNiqqX993_J?O66y}&fiF}ivt2<%fPe658VL3Gm zgYIWb_%vI7n3`2>}7J3oPBXw2VUCaoqSbf#WB&BNJ0UXM*|ZKKl`i>}W$tG-{TFktHzu067p+S(| zhFD|I`h+|>N{Q!x4oRJ&;<<6Q+Zy>iWN4qzI?iT2=Vz7nf@GMCFGzAi*iOvT?OE_) zVuubKI{)Tg=aJmr+iiI)gFfUd;4Qj;5UT^IC^0lq2pI*JrDQRC{&t7RX5gEQ*77J9 zEl4gUV={zjmN^u3V`|3)mFHcH|I+{`A#tELE8&>=v9DhUsLy0YNV3pV3j+?52O*M4 z>>%7d6TvpOcDsc0xF$`A`Cf#7rgvw+(Uy)T1qq9~{B)`kJpHFzP|)tf_fuG*m8vOy$G(0o2Aj%S;stR`C`JVjutIwg z`hir(baypoR`u2wH?tWCQAZi4jM8H^rU@+bFsK#{jbk}*&WOZwK|U-vK6-$OAhxza zBq~BJ4l<1%Ic3Wt1h+1+q#|3?YrP!Og_MHabMusuBKC3!YTNi(q8nA@1~xa$Vrf-U z|8+h$J&c?@F(_)sYN|Cb*g+h0FhNJt94_iR7X1mW!w^_xcK0F+1gCMS&2+Sb^;T9S)q`gEYtm1jY zAr;JI%%N1ePw46E?0#6x-PmcZ7RI0>rRX=_PIc=y$eZ?ZOp+%4YSaD>p8KQf>ig6w zk_kB#KXZ&J4NY6btT~cKXWB5qy{};BrZ)Ca**zZ61`mM_r~uv@1e|xDO#1G<0G_Y^ z&yC)AW0(<+H;A|A+qdr9LnzpgvOB@NXz}eL5KsfdS>jV2#V@8^Q%~uOLYQF>yzF#5f=|nd_4zoRr2U*=u=*PtZWl1b@IGnu7YYK2uBQGQ0>J8He%Y1 zf;8&fsq$N%#499`?!lTw{+h#?~~r zSbVKE?UtS-Ao|b9?D{7`0w6|hJraD zOBA1I35^-NQyG~s3LeBK9HW}&BIZ1?lW7qcxAX3whMy9b1u}aJOu>cvzfIxee@Tv& zY^+RcWx1%iAM972rrc+{dbIRxI*W_Xt|@u%w2lQgVjo8nj#Qjc9iv#AEy0bo+JSij z571;x>(w?>5?Zz{)=N4*&)?KMTwir|QXp;RF+Q_T1Q&(?+{jluWZQ`7FgVE^@RnEi z4<(@C_L|Vs*_)vp{7MIm6idw2QvjJxo+SJvGcvu`btK_0A5)|g>*rd>o%{Oy{sE?) z2bi?@onK~>*pXsqGMq_XOGUY;-j{MR4#c(DsS2S--ykR|y<0-~z!0UU-iV~fNXxxL zYtR98?BoG5Uha}Spgpex>;AHk3Nh40X8t22&;7$uIuE-uD`XSS%YKjlp5$vZVOHl(AiZHLSrV^Sk*+>!Sg|g?xjj@xW?_SPbdB#-jtUhg*vL zNOQJ8_@WaMy(V_nh-t_r#zgT^*-Vn+fDoMb!Cml1U!UZ{)^A8|)K);@Uet=A z$oJQ=Y#JXWCl;9La(s%8NwryEBmm&VrGW9%kkKk70UEm}GQsL=YKGG!4brAu?t2wI zuXLBI1u}{ozZMxzEq=D=8hM6V^5c3`ExhMqM-nXg1&xVeCt^?DYXE1dh7V)+S7hnY zG;izRT8wWbjw={48`F=gUZFybnf+2nn5BtC12yR?|K2=Mrn@IZW29)r`*V1UJ|#j1 z$&FVKE5vnc6yY}Nu-a9DH=SakigYq@&}2H0BNL0|*jI?TX)V!eK$AroG>{6<{wHE^ z*kM@ejvwqLyapHYDVYT|5tTfzQtR?w!thONNL;jg*P*XCR>;{pxn+J3&-?Gjte3?N z1smZ6)ol%4b?6iGD|@L@S$a$9 z@dW2G_&so>R!27cYtrHN8LAYQ%X3S#rCu&eRZY#35aDsJ&O>ndoY_#foKEEh#SZ>esT{2TbD%Gz)zf0$5k8Px?H)K6+Jk6DB zX1gDcXqN55NUpbi)*pm z=G|bf1xo!=&r835vN9;0~D6KR&Bpk%1@N#z(H>+Zf3I(>g4u6gtqTllz<<}&Iporl!TH1Ui| zf1RD=?3c>2Mk@f?6c@BLkfrxfV$G_XVeMuZ?rfES0lz+&NiB-DT~*PIz0=S`UGfB7 zAu3qO+9Y<0F-le8T9k3lJ%}2KSe2r9VKBBx$_y6E)WY$2T#3mQR(r?hPgFNYsP%P zg|`FD$cOG>mH1S?PxwJb8>UMr9QV|edDUxG9tcQWN~v=v5#KY2F3v{6w`B=_3{q1W zf~W4arz-v+B`%^E)Lf~mbCTfWrvAe_)s$ur31w4) zqvufFLGJvia4)!qT8A?ipL_^Pk0b#~ae2xj$c!F?u8Zp&mr}m(LLa93jOzfl7o`zS z&Zg!YG`mhVAVv?@_W)1381k1hzD^IFALf_JFiT0`NRZ18K@n3^ni@*+c_T3%F*^&B z`@0*HL#&73W%7Ap0q8}mxBVfftvzOg<&)SJQft?aKEkg=n<5^c&CATKS&La-&)W1V z&*jkwmU=4X#&WXbW+&6zxdJ~% zs9k5o(I8i0H0=zotcgQVqs@d@{%+Dz%cjH&azhX05%@7tW~N$CLEhDZNOeFSy2)&@ zl({4e0I`M*-3>?>s(Mg~t+uq8Y0*T{6WbTz!iqUqv1d3D#HA#@@w3&<{1@A|n{NSc zI(Pn%-dyp~%i4BL0n65$7KYG?YX_vmrb*_o%{zXEP}>`_Fcn{Y|?C-wlz}5T!qKPfEZ6KvFV2@QMpo4tlrd}Ay!h@srB_Jj~gOB z-n2W+a|>?mSYB|~?vFz~lz_)fc z8{LkSOw`wxroR-df<&E@G#U_Qd3GNRJyw!mm21n(FV3|#I-Z&DGMWT?j9Krd0InJM zr_dMrXfy;E&OxHMY>*y-+#$TUauyc8Fr?k~yzH#SjLqSq9n8OhyAyNTX}DH%Jtk_P zLBBe+8lWSz|2nWvyx^`SzV(lZptPwvTg7jcq6`V!8-D2Nr_EGtrTpb zuplAtwM2AELbXtNMzVFEnff!~?gym%$%lh=ZvW;6d8~3$8KlGJeD&y_IC4)$-H%x) z)scfU9+&O>)vL2_9q zA1zK+!9@p8$CTux#jCF5H?Cm zwU>=e50LDrS{EQk4X2dI*7F}hWLlPV%6G4~W-LlqB->vlS~B#@e)YQ47xK_~@EsmZ zu15|C&uKsj3x{y&$lO;1$TC+bdww%ZAz-kQn?{KJOC!X+9^y@l#Dl{7wo~tZ zGP7WoAm6TqAP~`-p&5oRI5NFA2QAX=ahrJQ-ryLTx)0@c4lZ5aJF8+;U0$XwyC$~_ zdcn3vgjM#)V35KDyu#Oyt7!V>$rHw&y`Vrx)KuL>k zJ~%_ALiTh#IAv93iA-=kG-nfw*R{_>j>Tg1WWvKii(ok&F?(wh4tMW^{}}cg-ZgSV z^|0q`xG`NqXNrtb3Rwf=Ci9K2+>9_Puo2P$(GOH4<#Yp@LCn1r4IeakqSqnZp7~Pf zBB|mfA=D;=L=_ubjY>U*ZWTm9aH0Hffv7UnxJfUWOsi-{%}%Vi=Vhdt)cT-1qPTHx zgz;3Vns+KZ5Tp0@X?<&kYNwB?Xfyd77YIpvm&=Pw$RU9)L(YBEz5PC3C1ew%R8&U2 zKWGkps(wJD^H>fs($sR0xI#=Kn)_xEr(!|PnW-^IRQ{kyLW9WdDNGIc`og9CeeS1E zO_y93A`94{J%CZTl$8(rMCRU3h8UaMP7dyvF6!VR4J&RYYr3Wf)Uy>qUnR zjz_w;{(PcT{Os577sr&_Ad-<2IuvIY2uhS?D*M$54wKHC4-d!F7`dk-{-rIY_V!`Q zYAN5cmz@_I3Ewpj?4}B!p>|-`&*3r&fV01-b)^`h`!=hUwSp1HxosU6!12+;BNt(?vraO^5U(Orb z)SX3O)IPbuE2ihLVpbRpTA2$C&tk(DFG(U}btCKlmXo#rnLd7)me3F+*}g53>h~`4 zOrgkyLf**S!r#bEYxv+E?&y;UDDNc)VT=q?A3BJ*5Oja;3Y~n#7?q;hfBU_d~W3R;w1^u z+=|b@ddsUb?HoRy(d&x*+C~4Gx7K)x{y$0h{XRJ5MN%$2@g_y89)bki3T`F?`|x0UZL*@f#NS^-;)m<2jJ}q90{Q9Oq>jG zKg!7rOu2o(u<`L&^|2&Ah;(zXI^|Ri31v8IdIvBMsa8d6+G2@de;a#PH~%TLfO%dL zNIx=AY@qE&-X~Mo4(xzI|0@~T7z=M$E6AP(oI0Q!7Eo6Beeq9mymwbvt)!z4lmLAA z<01hy@>sS0Jb{S1Puyv|$*&zR;U_l;doV(Y81KKz9;B7tn)%tlP+e1+&I~61T&$_P z%NE10#FGb%Iqt`4`x#K^cNK~AYa;5$wo<60fv5`%m7*S9jYi3(2w(>WP)U)kCtkylSESR9E@6c$@LMZB^-(-` z@?2ta(#?5Ze4T{}V2?I=nU%N+Q!_j`Yn*4I;VwJDDORmHT~gHD1|8O43+`Tv&N@9Q z``cj~m=-D(poumTH@M0h7v|mWnF%&pTbTiSES`LEo%I7Tdp_BYtSZJjA0&}(bBh`s z-Io)UD?Ks$o%R_#JdHb-7u8V13pS#Fm8je;6Gy&W5pG3U7sY`4X53c4uacs>%K($1 z>UbF@p3>7Jaa=%w=d**RFKpF@;0x$j<^g5H&=EYhSU{L2c~U$erlDa0mq5ahHy{0!_T0fg?0>6N}pj>uaMz9Nilk7+9 z4;qk$tqMER!Gkilfy!=q zsjRkpI%LS;h3QHUmek4{i*L` zcv=&Gwuj$u^RVe0lKfrFcahr|+MItHc{$|fg4orJJ+G;~EKT0|sN zKT#mvwi}r)>N4@YWvHaobX4MgM@jS%K@FYQ12e`)`uy*ZR-wWI{rC_JOoWzE=0u3h z>EorPI#^6}cqVPkC0Y&+Hk9}n|LWmm68LE8=wB4fV-itPP?69x%LOBqVNF&Zc6uD` zEyqh15=*d|Sy7Ua(UB6;(q%VphX)5Exu!e3d6d`~o4fCM9mnqo)j3OZM-{XRyw5{- zS?lZav}BWapd(EZJKMGzZ*xyqcNz|KLi^ci%dY$uHfkwY!Ye60FQJj!Q%4oUDi$z_ z4nk_zYePp{AywWULLt!514IR~_z7>9wp5>a{TCfgsnrMsYC#- zpw!&g+l^>Bkpw}nNj}86Bo9e=bAGa%A|r5W;!eBDDok!-X8l*Fy@zECNpcO_MZhxw zYYTDXpw2N)eNkd}vTX&iY+-e@H6YpXdqRDY@!QfFolt|92?sfxxgy*_?db$#BvF<; zV^*dX5D&s|SpBxGeS-SSZSw8zSsv zb|ei&ZLx%12rQG)haw0b5#?rV#cL$D$Gpu2Pln@ToUj>~kKws&g^Bu5&f3?(;a)r~M-{ z$~oopS*feS8)8WPO?~Y1$#UjnH5l+gTk~f1veV%N{+6YPm(UF0L0b!Q$-5i)?4h3Z zSC6a7Fz?mG?tZWNw@L_}@Cd?)l!1X*-ukoD@L!!O-qpK1zTwVV9FEti;gy;aS_mT?UbElQW=hU4Eb)9z}Js<1HaSz^|uvN1qu5W%~s}xzm#{5{X@i}?#rXE>t zC#i)g##wIXqy?YF*M-m=jwhs29^k`SJY3P<_@;~AtskpnjWQ#En;iF&1MUqUXY|IZ zoLn!HAJ-Jl9MHtOu+iDk^o1R|jodGh;IG%hTYLDh-g|HOW2{q|x|9$0F}N$`qOZfj zJ212`>*!V9sIJ~%)SK-)?PG!Nyx!Cq{%iEaH!%$2h#e?Zo6)7EpLj9uPwoNkOTO+~ z5KG7GxLG<>89Zv|ss_weOn?$5xvn%jntkrXT7WK^0J$n->+i0uo;wxKtx=o(UKbNS z?@!Y{@3q;YE79v&b?(u8pR!Zf_1K&?37jBkvYrGwkCY)0nGnT|F2VM<=`fybI-R?- zqN4WbR>Fy6^{g_imacs8m|)0g|i)ea@3=ix&4>tFmYh7_+%5b#R^!28A#-jwJL;l!Dqcx`UJJTL))8Y z@Cp@ z=|nT@fW=gFjGXw6ZX|%Fh=u_!p^p)Lra@D<^zySl6oq-$^ekB}Cg`k`>qjb~m=e=O zex%>nk3g7mY*}{Y2<`amh-sQ|-`7H5=DMT0!`K>O}^Q#v_ zlv!_ZV-4=_J5;YDc7Cb%XhIum2YOl7+JS8Y)s68}!Do+6tB>Y9cYm|YE!?v3dRL#v z9Lm1^)Z5)Nu4YTy28WS-+ktwT*yuaSE%Vph%zX93IwOcHA_?$ix^p#Kv!CUcP&^F> z+qOzu%-N&f_H@FLt05Gh_V=A;MDx(MhTRvH3u!9}11)<-7N@6bZg{D^##IcOBN#S- zV`{%oCx6o(enFau3;#g4`Tfa*+_Z+MMR@UI zEXcRn4s)6V!t350>G0EQGXfn$Y5Eb$fFhUazr`N&znH~;M%n*^So{A8w*Shl(S5<0 z|HiHTVb%U()Bb+`Cqwo(5B7&Q`->m@!>|3#t^LK9F*5zdo&90Y{=uaEJA3wrVf)kn zFFe_we3AqIcb@F8Dm?!Yp#NvF5ZeE-S_m@@9nHT7>^`%(jrx4*X0tN&Y7HT`UMtBq zmVLEtj3q16UOjY2b$NIs=1#H-X($3|oCT_dc;a4wu<9B-4hdKjK_1PNsdrxH7uPfb zjUE`#N6B7${*98`$=E5#VAt^2$=T-0DOk9W;lbbsU7Hx`(mby6u98r%F+&cc1pL2~ zWAM^&`}rF(T4yuS!4i` zQG?bw6GrO}W+e9`3WB)$Y(?Fq?Es8MTdx9m^Uzp;M9%?w0HBzlJzHtITKsI3RjHX3 zbwSVyyzHIi@ke}v?Er-7^?E{o`aY%+o-D%x!yUZ1g_9AOyanrV8+2-??=efw3hLzoYH2*>+=y%GVx9xR1&_8(83z~*TWF(z z(o15smgSG#4H{KwvnTmP?IP6#GZ26sV&#ISe1zN*fYSB@N2-gq2GeN=41Iv*Th0)j zy5bJ!6(Wb<)YCo2ZX-=nTfg*{?bw{I3tW9C^lA>WD#8>L>K(9+NP-PxrF|d+hRO_M zJKjJ*t>6Ag_?4wc!xlnMaAV+54}=TFS|3zAL^dxf27ODVN>|HM_4SYKZ$cd~i%y8} zS4GW{YtgEl;QTSL3w|IUn7{Y1ZJ{g&_-?{>9$Y!!J=;0g)i2j)=3S+QU)M`o%j*qm zXFL`Q3OZMsbl+R*ohyo+=f4QDO(jLwQV;P!1uZ#~Mx?#N{R5RTqFi1?(77hVdFgtx zPNSl@)m3v;Dv%i1rl_q&lDN5jI<$Lx+7=Bt-r;U)Q8HE0{St!eSt65?@*JyFv&)8I z2L6V77dWmtqSqp))LwNKi=rJ7E<7ZpBHs1=Sf&y&ggZDIGvKF43&dUvyLgah)5VJE6y-k@aB5kq z)eD?h6C2dzX_<{sTH1>eRXuin_~l_<7+Sgcm`=hK-P!ARvd*<6ixf-=d=TFlN0Cl3 zkpepiQ!ls&fF*zm0PWReyMKD&tK@=WtQTsp zxK6Fl$o|?!Ixe#e7q_0W3;5kqkNKkTRh87BRp}}6d>=4_*te5dBz`y3_0ZW|jym+OK*>wN`rd7q7~KI^17C zcWBMC_f&JBPt^jwmTews;!&oAcBAudHC1c9o>~>ZOHB#O(VqNUk`C+|X(#70ZyF8x zbsF}tE=^4|G9)*7F=r!fK%Q1oY)r{7O39o@(9z}yI`IRDEo0m;k8 zj7;t+T1vOD7<1}3SC@&MA1rPw76FIpQds%(U&W0KD)G&M8#9cG>trgoU_D7pgaH)c zV${=Y=Ef3#o;gXd6xNil%m}pieHWiW32I1d>9uUZ=uJjttT~@s=`a}Ylc}3sxhT3) zG*GvU^sy*m7lMKiH+zK_FY9CeJ_E$iD@u{PZ!sxfiIL=K7hopVm|Py2A8f2D4LsSb zRr+DLn88%5m(vht~y26Qhu=4l0ww^OZwdn|+^Fw}$ttvApifb^i1qAsi z1m@da?JY&=caA=n-_Nd6`AC78`=IO%q|NvVaj$KX8fcq1(QH^o9bv!X9UdCz7Pdyq z2r1*=IZXr4E>{mYEeFY$KfEpzcmkBX!>K*VZ`uk;eZCyEa_R8+N%&LpwFD?MHf+_p zKba;NZ2$)SQ2{cHRDZ*P8U;{{cL*TF7!A!JO6fzDDqwYE?7pr_@|SUKUJ1&1VXyAW zgrRn0PltFQ8wq!iO9I6!jwbd}s%5S99F0e8WaOu#tVgi>C&aC!1Z{IJO^2`6MtQASesbvHpc z>M7p~3=EmRZCzY}y!@@nr`K}{r8&@;^9`D$!_%l{k|&EP22dytaX4NHz7ak?e*_Pf z-&Z!kBc5?E!+01OXEAFvll%Z&EUI3!3vvG-j>ErS57E9%XS{bX1;(f~7L7O}UdSI# z12A%25dCUjVade1F~`Qgw7RMq4rJ!Yt_3)3gsH3;+sF4i9gPnHDo&!|0G&Nnv!&+$ zqV1i+JBin|&7@=7wr!go+xjORcWm3XZQDu5wr$%^rq`ZX-|W5Dn%UnR%t0O0K^^_x ztFEi=r|#!HY_H!Fw?os^?7Wee7eIO&yg3Y-zWVBP?%7?L>5krRLNP>I^I5+=05N8} zc|4%!hNIGv$G_lA0~ruzK0qHN)0he)Z!lo_`K#Bed4K9pGLNziAw39_Zz=`0x6#-r zT9iOj>Z;S$;>yO0re^DJT zi9Rj`K~L_?5GGjN&-ikZm~&fxUhz3@9U!^9Y%!}5p^M5|-4LjaOkJqH9~y%^P8xye zb`9`2x#FHWAyEqS*)xVH8}wgY@EN-(w;bG7eir>Tj+_vGmz+%Xxz%p9YK2tQ_G8ZM zdTKCsm-U0$=A6n{vOXzzx>Cj$*31OIy*V{<;O1ZY8N*#-!Ys{Bl8_`eps?c01@3$F z<#Deq&hA}pZfw^*>TzfOfiYvohYXScxrH!uv~BZVzPYmHjm3?Qo~4_uGm~IuWX9dd zgbW@Q-sP++(%+k}{1a979JCK5uBEKr^OO#XQu+zf^i4#oGd^QWj1^5{=NjpL_I76G zLWqU`bMB8u=##$c1~(@sF06wQBd$ES0%v-p!O3&Xa0p7?F5!K0X-9khk{K`h^0Opou4stW@xln{OF2!iskiImlLoqXK1}s?@8%-h3jaD(XIj~6EACUMNI^$gamIG zqqaP=zh&p|!2m^Aek44ZE4YDvtIx38&F7E+sr1Nvt5hTJK0qlpW_U<{fmP8y?_O8j zu0bF_Dqe}70VD2DBk|N1f(D&u)!t|w)x9`j8gJym8)fF`95ay@s1#7>8Uq_&ch4oF z1sFq5E(Nm?AbU&1GhZf1VLaiCTNHcHW6L$D=pZ}z{mzhc=27|u3t$edb=Xfxn;?%k z?ukQ?l>|yW!Bxg?>>rQQjPUP*cp_Km{1S@PVGl@!5VNK~h8gEX zbh3r%Vooa_PMKkR!Y{mZ=XngQ@uKmkW;BD5;$(4tceMo%g&;6X+G*F4g?msPm<{k@F zBCTiGZDh@wxSj0JUheX@*t*AGa|}h;(t_jM+KhsEyefwmoH+mLr&`CZ1e{JENj z*XCDZ$u;OBq45D~AQbG~Dx`dc{4Fk@B%)w=%Y4UNJ?D%Oi%|V)EgX1pLxAiElYL0sG$(_ zidbxiXfWI<;iRqcH2*k`XL!7Dez>CWN`{st4v8g# zWj<|hk$NheF9D!>Spvzo=w-2&=sXrnR3HEThCRx@$;&4|mraf)nr;!#C_lGAUH(h5 zo49L@zDk%c`=@va&_ z{{H^F=f>19Jpa;OD^v#%4d-tok~$#}sy_u_oNIN;7fedFb2pnQ5v1sDqvK#f)LwO8 zV!ML{VskJSNygvshCg|<+T$56p9&~%IsuCHcwBY|A4rN^^%ha(xKx8$1a)gF>xRp_ zNBuE)*#cILT|$+JWNJas(|G0a-J30xy6L2k38Lwave2`m!{lJDOJB5J$whK)hpTr< z<)2t@GM_AaOClZcVhCZ65Mh_Ojx$aQD)4I&s_$;`A;8CmQul%bYsa!lijS-ydMzoX zC=eQ%W7ZIi;U(AR@lV&5@ka7;yi}goVJPyMKEjpX=&wg7`K*38gnnR?u}Sk5dB)R- zA#+;J32)vX1uqzOaYO2=r9K$nA+0x$W*w-5n*za~E!`(-c!FE}cI5*gGmGviNaSsD@St?T$tfT@veIH=L z^%V4?KeME(qV@~VA~}ec{V|0ZiEw63E$c*+&$LgF($iVzszoLBTAwByt80s-n-Sv8 z1`L1Q6BJt8DIBgJ{&IUJ^E7wEb!el86ZmOvYQs({8@`o9HE6*0N-#XKMl4_J;h;kVX zegMChJ5n{iAdiaLZ;WEk`hjwyjFSFXL3ts8lC8@gj2?=De2SG&ChX_cS%~qzKP% z0*x60}!ftRX#VZ8e%7&)|G6p_EOi>MmVnMg4j7Ty|8a652ARLLQ!z} z>G{sRCtqPqBf%2?uJ?`RJzhP+;3=qFD7)W)H{oHrGj-i&_OEVlldv1zkFOG`w-cVF zHp%VMi~4i&{rHfDDgJC8mIcR?G-ul1bfiU7Mg44hf%1gr6Yr-T#;MvR64d|!h2$fj zq`X!3)(uRoYBT_0~EzYw$k zILQBEU^4%!fyw+o8<>n7Z2#53bo21kK1|wq-mGXb=KE`4(vClmEi;HE8*6(HA?ON_ z4MWB23$fc-4JH#1HRJx2g9OVAh6N4*jc3Notraxmp$ig)*F0;4%|k7oS^X0B_L`K* zAj+!G5@up-C|VB^U%S^GCEuN0P22o_8dHDvJm%Scox0~a*18QEgjC842o?W$v2yjU zZR>_6de}znTit)(yMXc2H38BW3f-ePF8MXi+vAEsgcK30!rOHG#~8Ki^M|l>?(Ai1 zbRb1|A^<+{4gn-)&0J7N(pwXH|JYE6l@F)KgyGYfBGQil`Z6p!9#(53<;J(8L)W)!CK4+T@xB1$bKtAHc-JBI$23G^*IBMw|_aB{C|d3sKsgvG6R ztL=&B_55IIA>^B(D7FejU&3@IWkw*kXEL%w0dX>S9oXUWk?(5L;Z{i+;Ui zmU<$ACUj_q=waq~<`b`6L;xbaCf5O{b$JG3hL#(g2SO+uvAR$9WP3)l5$BV{9W2+{ zyndl(mgIyY5u0otP)jPD@Pji>5D6if%lqJLX3W@p$SWFH5c z!%Mn*eU|TLGo*Ny-;uOI9w&+BssQx_UZV{HF=N(w!LN9Rx2jkw(g%fMx8O!5x5lK^ zN}~E;iPX4cLH@cpyP&i}|HlQChQp5_CXG~X@fKv^v8*|NHHLz4RB1Ufkr%cPmRdcG zH#$8an8`fAsKm_gk3@}->Dw%kyk5Vr?k$6zU~6rUX2*B0f2fz%Rh=zGZDn>2B3`=I zvL-?6hqMedbX4?v(AJSsHS-n=n$kf!Ma;_*A zN00xwRxOZ%NmhnBCFwZvI{C@o)Qu?d3eMR@?TVGi)ZJBJ`Z;2;LdPFwB6E33u;dF^ zBs@G5^)Y>&ZWq-E=O``}lnqf=2}+?5!%ODPwoXsdJO|PX9f>~g^9=GC-gwGmZf+F# zzNQizKu&f{%K(&JT{0j=Krk1+DS@y?S%0~1W7)`IOZs~}l)xl07Lzz+t&82SM@Xw!|l!irZ ztM)vn^qpf_5=PKe5G#uYq`{c#J2MPeWC#zDQ>F-K%_-uoOH646fbr4bBUV3Q8docS zL!D76r%soepsHbCd!h2U(U8&NLY|2-P4d;Yt1mGD^l{&UJGh*(I)FdaICtr;nOx_9k z(<`Dw$t?NEpq5~*E|9IY>`hiI`uNV0e=is<)M7I^dmx=z7WRPT%IcJ)L~wLu4SHDeW1Z6s9j^IX}HDHGJUz&Fa5xS2IB)l@_$5NEG=6_fxL zX*1Lfl*TlYXoYvb!tY#s853qA(2B8(pKwUVk&AX2n`0Mc2uI|bqPSzZWYq*~dA>&` z)d4FQlJr`R5V_B@Yl_%dVAQml2386di|*k54thF4C!5^7W5P+E*5Nac+z(qWcAc&z zzN=ml;R?&lA-Ughskv{r!$aNG)8*Utq!V4MrUOFQluD*4rU|YJwO8kaHv*BtfXbgt zlG$L?*Y+&HPbRk|^B9Snav~fwkP%;hQ1Z{{k{xDLjgon$GoA#nT;kB}k7%78vU%1O z%&BWRXaASu=DgFxIwIu#5lD1Dfy_TTFd8A2n!SmlNeZ@c&4KZjB(4m-9`mkHy+4VV zYms=yZFHBM?Fmvdg=YiLB1)ld2_46j4zzklHXYTd-zK#d!$m*FiyK(M2(|K{v}9&X zi{kwS*s=yeuV+^s2idc#0*n&GUV0B2U2pnroI<@tUy83nyx*+r2)G-q94Ykk0@zg( zvWn))&qy`=-+?fbr5}_ii=wnH7L2OY0t>aMR2c@9%Jh2D-Qze8Q$Mg3lig{xO9~nl z9N4JK%v6L-NNP;0%FD;jZ;d%xfd_uah#cF+TulCE?2r)Wm5|XIMj9S>74>+JOVMBI z)74a@ZE|CJIyi`@ur4@U2{s8okQ(HDTnIw2Q74Z`dcIZP{zh6%`2hd2la-AUdl>$^ zwbgZxC!r;xxP~6t!!R*pLmDGOK9AQi6yaf{cGOYaNytf23_=x9?uJ&SbZB`;FkYhc z>dGpR-jnz(?oF*falGHDbAS>sZDC7M%#?(IdTik+A+)=SaQc z5K}XD`P`02ywOrmXb=fO(cRei`iG*^zsyW7Xtq+)=OoHhG;cNYu-33Dx^{hK%0f!K_F(zgTr&qfl?ej_X6jN{wFEdJJi1_8 zOm0GQ-;lOz#n70>rrH}5O|tdqR5EdoqzDV^BW6}URr*L-QpJa(noqSPYOI-pFFWBi z_NxJ+8-wJTT}{*lSVKUUgY>x-mpj`aT6<~w8Ty#As^D(EgvsbVf|p`29$mXXb3t9B zUM~qwX&XK67WI=_W}+0q-Xi}m{qP^1{=ht=w;uMida}B^;|H4Fb!L)* zVuTDL9p((OJrbZxbF{ib^Q@ua3ck`2(CB!pF!s?Wyo9%G`9{H^&EldUQUl)cRHznm zpV8jQ-dJda2N}XM(7%4lhOlq|T$XG*QBiDwaldRr}L;huz11gSD zn*^$KWt2&(+Ncw=;W}PQ`@x&#J20SH^KPK`Na_I|cq9kJ_KRh9L+-?T=WFfgI_lcT zaqVV%_5s~Mk!!+>v%y{U2Q^h72=Ca=ua{)qVe4|>>-qRvqT>V5s+TSf&=HqzAQH}M zhdel%+8HfO2&|r@tOuB_T{iCt6!04w<_pTKWJpqI?+x{;d$$t$*!S>k2ZzaOntz`9 z%Unuz^BIW2Hz!1@bQn-z@ySNI%-b=owdoT5#`Rrh~#r6KK*1*7APx@MJCwNpBN z`>$~$Kj2dZa#am!939|(83i2wX_oEm&y9`r5qiRSz8Mr){^F%o&UEH(vT%tTR+`oO zwW%b@l~pA0dHQEjf2CuN-z(&c{}Vb>5qGV>10G{j6tC?aPBvya)jg=FTrv`$C*8zaB96r2MjbN{oYrfEdh%nj5=78`0Ei5&ju(wx%%* znhx{C07_`04sp7K_e3EuHAX+-0CDl>)21Df3WA|*V| zs<6Z(NpLCc6DQq5*3okG^fv;u#SCFD-Qu^t-H_{sZFYbPrebDrR8ciL1z?03oTpOCPa}wtVWeaYoBk~f}*Rr z==6^<;?LqCKAz^(W=)8*yZfqW*(SJPS>C#1VGCJa5Yqy@%ftKV)f)_});0g1f1?PC zoLzd5rg7g2xKt9;SQz^(8fs+oT5_6k!*;1mmhw;wdW)@@8Aw~~pwMIg4NM7#Oea)Y zd1QlupZR~eef-CBr0b688YE^NBJOIF80ocn^$?h5?hp>u^&q~hQ*pP)wg7+aWAk|H zS(}IV-);zNsmRUGjGnF2jmMoyy7%H{manB>E*CqSTpYMQk4xA4YdLg`ZwCx=JR1!H zGG7ix4+};a-7|*nbg$vjY?gxCqYE~t$0sF3-oIWibkHNqRbB{ruj2N#4>af(e$6P; zw_p$xps?47P>%%jm)S9y*ii<;%1n49{kr0LNn31Rob6$%x zA7>SCW}!QA;cIc;pFD;uO5}%sLHKQgyYrn>*-y(-WL z*HlU7&RsOdsweXb1zmB-ZPJKr9MKl*D<6Be6OZMssr+*)?5RtwATX;=IgUqmnAcr( zF)93llUkp*n{lE(@Ia6po*pn&fe`QioKUfg3 zv=KseK|`~cl9Z%H39%?SYY+X+0PPd>hW^OI*;>Z@h&3t(MHa^ieRn^d)TJq&Mb)oQ z)n6*3EuLg@uM(U8pn{|-I}1UD8}h5A(J`Tlqh-)Nz^UXhr}A2BP|fnUx2B-quF8X& zYE|6ILh(Lwd7%VnQQqrKEct;1ci#3|hfBe3IX01Q*rdNyep2F+8+5G@L)=~?jbWyx zj0ByoR@7|R_G+pu`QLZCuAvF@7AFhJ`28um)sS4CXd@NouZo#=-PpiR|}$&`T4Dj21T?2#u9(;Wm{H7~(aq*&aBA&a&s zSM-`@$XzKvNg6jEKmc0br%!VkucRae={`rT7M0#`Q=rKi0qTmS@XJKiqheY`zqDI} zZtd?2DJ3#74n`|4|KT(;TrgP(IW|vbI|2T@sS5{fLxejbj_qV+iH7TUURNsUT?tHk z>|(y7((=+QHf@}g`EWn;#_gB8n9bUvs@5Ev_j;ItYEAsQl5z*j3Egy%@YKTgs*FH^ zy;?hK4+odPU((^Y9OVMqEa3M2g+rrKx52A!@LUz*sx;cMPI%O%@cbk)u|A7>oq&o7 zBMog^;MjSUYxPCB5crXM)q2{Ky2VB&OKj}ltX=}QB5|q6 zW8ISS5FVAoIhuQeq%2s7_$U$1VXrAFr^h)W4VF{}mqd1Cy&H7oSL7!><-FEAwx^36tF~oJI|P9lU$(Zs<_Q*;tH?nbz@s^FgpKR&Af%)!s24?mcLwQq z-R~{YGwxX%)CU?ry-OgQ7WU6<215U4RrBE*)uKnV z4O!}F>>A5dk1i-eOyHx~qh20x_M}$|^y`Zq65T;{ zf~?OoE9?8Cq0_I)1p@7T61|{K(i;1a?OC1n(fUK2X*p0lFeu^|Q9>7Oy)pV=faU;ekHacdR>QR0=X8nEyn zn^nV6?zDaGI)UZ~^Q&IP?@loRWuZ~7ZEH4raO6Exg)CAU{5;ds^+_0nVUEu2q-LLF z3lccZtCd=+u|rB(jx`SvN^!F8!f%0z$z9NKd~4?( zWk+KVE*6e*B7s=@ zbZJ8ESbXJhe{*Jomxtpp`qa;=#rb;8{Ls4jPEEiiS__7n0lk4Za)QfXdX zbc{rP-vqm^zYfh%q(3{t!$y}2rR_3Iji;G_md;a|(>sF;&u5k7swqsA=Hn~Qhg+cR ze1RVRacaWX_l}d9SJ(npTi>@o$aT8RMn5d>;6#7%$Ci;4_1kuKzP+Jnt$EFuNlP(l9;Z4b?eqx?k==*PKunGgpp&=8 zRkmOq!)3xQGVA3#*aYbyijn}86%VBsMS&}p>MIt3XDu&y`fkcZ9wp#2hrQrm*mMi= zQm)X@Qm7xbt&x5BttTtHm7~}Gd742(%hkhIKBhRXhv?nVpN=QcdYslnu*mA=oBD7q zR&&MmT=AGADOnUUb%&a%$=o`RQJJt7pLH@6rLROD``E6p7P-JvD)Ml?@Tmea7UThZ zrHLdwd4o$X-`e4)3t>pL6^(AdE2XU{;6=*@X$#{8>lU;gK9P^v4r8lrro@3XFdGp2 zMDzh3{ zkIWZrX2?!pGyUNnHZwH=eODEPG*ua&+XgFBAdEWwhj^rg!PJ0BDbJL-7Sx$H$FJx_ z&5;RYJQm-@)PPHAKMuAM6zlia3)o^%jPVX_W8k+XxEcwBsw^q`sNn-IsSWl}Xb~M& zsxWms6UcmNz>|pqlKrd%OD$&F$vu{a|JdnIERAq)dHu;h%qrw>%doT(uSO2wYWePV zvfyfYczdg`nL+V;%gnXd)+rykeB3?;hQBPhr@RxY%1cWD@5CsT0=NvO9mhkuR_ED# zm5g`*4C1N*}D<5LnneUe*Y>+SgzUTZlI}0jGh)f zUilj7n=p3a?KJ(>$;OVKmJv!@EBBNDYL&j{Ftbhq!{lG#sJh@SL#)6l&~&qn1ox1Z z9yUk<&niytO-T)cn#I{Ewg>+@ZA7xtEOrhTZO;Yxr5Lx7PW zEp*^l@sXg{vZJT-v;nQ~LzsL(^s*T*7T7LecJ$@zMmX?B)7C`}s zhR+|rz?Yms*kSJ`ft+YASm9Y5`tV@{k5LQX?r~SnT|b6PTVP&Rz;($ab^I&@62^yl zGru8tzP2^#E_0~-e(LOG6=x#3BK#2R5kx~(Lyi~>+B^a+_nTf}0^*T_z7wy`!^Ln# z(VfdI0FpPg>cOFdejDol|?v4orZt7d;^hQ{dK! zC7p3Z+Oew2uu*`9b12*UUx}8Hq z?_h32yBT1*`HT`vkubbRVB>N+{htEV4d(*Zt9&_i^TX^x(qT&1e2+$B;IRDr?Y{oP zEGOvQ(*{U2{Wbc77}Z9Xs<@w!_XN8F)kbhR)}~)2WP=|>8bh9lRz_cspX5ipQ@yJn zyW~fkP2@*-`r)tEGgBWh8$E6fVXxP{*hjLhK2B5pI$SBkouA1eZu|8iuM}(jt=rgM zmZw!LHeswlnQkX z+NBG8zMayPYzxr2ftzIyb1y_TnIT$EYo!~2uwB>B2c%Qfy`y$tqsnFV0ZNYK@p#32 zSa=3K1LT-uJnA6`{F3xfZH&6xi=WwA1uw#P zSNPG#A9G);huHgZQ5v$VUiW3CXpS-RVYQ+-OZMTyHDRj@DBxw0egWRwjqCKU#^XvyY)EcVPLC4w-J=mflzEA zPVjR=R)0L5Jh3r(>+==dGV!-u=U>BZd+?6}_-mt07`JV(SlwX*xGS+1+*t!q!PQ-7 zazHACEyQGjkhIU#+Q+Koi5Md~y*;<|0E;&^9>35}S5 zNh0wG^f~#WLFjK?)VxG1IuK|~XU01Y$48pwC{Vp6&cIYS%mJTCTG z1(S-?!?v9IfT#slT>rap@}Hs#2O~T4|D9C-?}{p7|2?VxKO3C?TU7nuBo+4mRpQM4 z|A(aVANl2fO*H?Fq{77UKZVutvj31&g8nI~5QPQCDj}1ie=3?I06oPLqXDq$cb*<6 zX4KApoa1UiMg9w>Acj3QE0nx2rz=fhTD538#aCr>5O3E*w|{ zCCjagKJ5e;v>9G4UG-^0Q!Pf-7D^54qkb%>;(%(R9um`x^8yuoXAM>qUM`sKdsaMD zDJG6=ILKrckMJC!*!SrWUZ<4_knxj_Kx{F@#Z0IlpxDW*u{Z>Nj67e(!elo{bTbZ* zsQDk50tOn7L%aF=J5m^++gRZR0<*NL^jl5~%ljka}>o|Q)r`uL+#PnXf(LNQbF z&c?3qkFQs_(TnA^nx?0ZdN0^x!K=-9WR^)+69O~qH52&E>l`E~nN z)8`%n?rQ9B5lLk>-bU|Agx4BE*4B(9gqSCU@1lJqxWbs;mmxxgeu1Z15tYHYK>JSV zDx^m4u3j_bN%V@zE8Aaf^_yJT8@x3(=?4f07^vuAB7ZLTwGm*$IP!2qxLZ)nlEIY4EwdGdAOn*n+uY63x>+TG<;Mu9cJWZbs8R~{#Xt3gNc_pz>t zNwJJbv*r(+SHa1{2H6ODS+^4mZ0#VMaN7~Hglmv?hyBZ5x0a+juMDY+n`ZRw7?Z-5 z)fKlOo}qo+1=c5sI}dDR47{qP(evx0Fo81spkX$-NjK{ehF1qd+%Rl+zdVtN+RQcI zv`usn9_0x~W$LrI? z5@vJfp|P97k12agTcs@I+$ru7P;|OcV^V4x7htfumQ6@0I%5|-NhSh0%6#2y0uzDl zcgQ8V;HdP22J&6V(>0YYtm8XTY}ll?Fzkl=oI?dxDCzFybQJblDDCL=r7#J1?}gxO zl$Q(&Tz*h=$)Zf+K)A4z;pBDgb6;ASJNGmfV&W~I5taw6h~}|+;$jTdA`=D4vP7d4 zGS&X3Fv~4#u_3Oj?JAqSy#L#2l+9w8h@C{ts%>sB%;q6n#d@kc7#!{F7K4$q*7h!j zL?<8o;H9L0ZGDN-h;epRD9ht=mC6`G9$q*Umd`V7+B@-15neP@9ENDwE`kU*6UaZcZ=G?8SbRMw%z){E;Ul z1E`;J7QRWZ^X`uRS@izO1jWc6ae73i*-i00(8fs^Uc$0uR||!)?QL3lEF&8q|2=B9W=f_&jf{ZR9a3pX(gpL{Vle@^ z^4Iy^Qx=Mjfn3f4DCgE94^ubp$*FTQYCNam$HZlVv)05``VBMK5==q*e9IV5?=gs0 z?$RTguaZVmR(?FAcQQPEYhHk7!=N^a5KCnic^OsO>ndj|7@X_RaEiUWhrftTek2Mp z&V$8r!LgGTmd!n(RsL>* zBjW~sDN>i8?yPo9~O;2iubsb z2e-1Y%bafImRb|d5qn3DWeCOl?3-4rF1(v_ijMSF25JkEK0EJQX&btDN189?%;mP_ z% z3C7m+@BAwj?4ia@(r9;0pqA!{CCyM>pMNq7?@Lpa7*n32F&Gsdm>1tMYTXh`9fv8q zf!?(`W>+56Ayg_Y5$<5VxFod1R821@!(GYH16ZSReUV;zQ8dDVoeNj&WK`ausus2x z^AfN%y!pm!x{PZ>1H!cWAbZWf0bfZ;Tvq+1v<=JbgK z>bKX^yh2c-vvy@$cUnaW6_hesh{T2v&4(?5H+FB6jMJ-bBN`r#ILGGF_T>VZm@!#3#Z4vB#F|NI7vi%%_mY(BH_sv&Mutetzt=*qB`5huHXZLmYPVgZEUXiTPxdBdg4iWYWCvIu?T znGgXDfF!U*iGoetqZ2Swu7RC(rTN96eqD^Q{=>ZL>gw1R{sE#EdfX`Sv36mioWM!B zj+**09febr+Ue>kQuCI?`WzWmJf7g^{e%}UUhj*QgSLbXzLafeb+z_3iUyjVofC|t z)sz&PQ%UTWTNX&lMYoR~c>1DHxt z9h|BPW(P<>vuQD+A?etB6}xTY-5LdqnF?)0V+dubb!`?eue)_ZmN#O$Wz3GOAOG6F zu)=Ay^bK}{UqzfHj*+;!jBvou2zlW{%NCcvr| z(C)XV;RR%SNmsZ3=$;Y=KK2Xp+1ih2P^f0)+J{0Q&zE>YJhvxd$6l0VIO}pRpVhux zT}V~H+F+MEN0kj#SN8I^xU9uVj54rW5)AF%)SWeRE$pm-IPo@a#0e!K{c7x}*sv-q zGwe~o+$0Ki4wSndQTl;zz&z{Tf!g3om}eL)}Rf{aYg^XD07AThsh z&n`8UT?zjnap2Q}Vsnk~jmhpY5zSrh@Zq3YwVa2-du6hBW!K;Co<@yxi`i9S_Bo65 zM!ZJdW;?WCs z9od9EO&%@w0B6t2fC&XJc?QicXrdmasYldgmt~)VHr=Ka&D$8r8w6snq?Z)pg1VJ%hT46@;9?UiSUR!44MvTVN!C3p{m+ zzFKeWiQJlQE`^mw>{~rO`M;I;ckeG>{XECOZeITs0quf32@(oA$$iw_*C%wId9F(( zMwK}1#Negi9jFek!{=WJKSro~)1EiB*;O)Ecv4e$yB?<8VMSq<{Hn~u_W7x(=%f}g z*1j#>xTN7=1&Bl)tfdQ9W%^jYXZq*?ycl0NM)IQdzZ<=5Vd6*Z9x`nV0pZqpmiBsK z_m==n0mpy`QCNbo-P5|FI$$$1pUCIoT9V*4%x={FzrW}ckdy#ieJ+A9SJC@%0Ir&_ z>I2vSQh{JP=#?0OpDr%!;yG&EoeaSefL4ZJ6s8Tt{x3{gRcus3fymtkrVnx0VZr{` ztm&*!hH$!=IB|ARAXRb6#CjTuZag1qXJYYc8+-HOt_Mhj+FLL50tq84AV(iq8vr3r z($gJa9uPP{%k%@~)yuv601UjIL43uNW9URBB&SX>D<+Nu)%ZevW-u6GGO;e(ipeJu zUT;D$O2|d@*Q*sRYPt_XWcx}P=4pg=1YX#zsC!}*6SbV-9V`xzH+%3ibwFiQRWy=K zySY+TV|pZBG?E5M8XcL8;?)L30yjYi>i*E`UKEv=+CZ(gIm*(j3M{7@EfP+2)G)bG zCsi;TNIT<6EJb^(SJf~wTmH6}z^CEu z!k8;NknghJ8>xLv*mN$Ot1jXnKeS6nQi`#{*6ftu(xv?~9DZvq9NDbx+&Vuz9mw0% zq_CGHU;NgM-&|0!;Sfl*SZOkrlGC*=I_zDTlg+42A{Xvl~Ox7;b7ZckP-cibpEr!MFnfomVP5rp@c0d`AM4*smf_ysLmlLkedDz#`d_o*pi z#l4e^c^LMGYx>ZRjdD6eJ()rzGvz+st^bb_R}C_j`b!0LlT7Ok{xT5;*CF>lG5wIb zb?#Q%!YWiRKxtNtJVPXfk$G!O1@kGQ|BtRj>f4V>RZjxMDlrKbnbTiWHH*Y&q zmYrSW57I_alH<$CsgoUj3VM#~oLDa5Ge1G9CP@QRwwO%6Rz7|xir{;(E)JP5@Md@b z3*+*zIPGei*j2m{v1uBdF~xzELLAVQicZ5|$(}2QVnRn9xmI!RlvJ8kH>3?SpEUS$I>RFNLF% z$pax#7259kvolY(DOYw2krPx4LSZwlY|+)(PwUl27>S$nmslLf`~`}H98SZ4y%3i| zeiNP~if|+eg&$_kSdRX@wX8!2@eo!ozG&x_9hC#SQ!Xe(<4LNCk7np4qcO*)j&6gc zn8QO62pIab#e=Xy4aY;8lso}Nw?NU`*MHy>AwgBP0)MK|vGSls_{UWk@%eQ_hEGk8 z_3wcN>7^kVwj3gh7pgu{(HL>>Tj59g1+01rwx>2M$2cFdvkuf}H5|31SiPv}-%jgU zZ?<=mKT1CKNn?B!bD<9R)K9e8nBdjSmY2)^4iWl#8_y7UZ>)VEjf%M0-z{>P%y3y& zI?Tl&Q7=#XLVKBKb^rePr&4fvdAMO-&6odbWNex^upj$skjC^tsg_3-Go!43_u=4Z zPYiQcO}=_^f7EG5j4L}6y`=xhv9FR1Kl9u$N(Y!`V&Covx)d^wm^9!l>SO$);v?g; zaWO{si`XYB=j`L9hTxsyeYD`~`o(9jq~pW2j6kGK|EvEy%;#d5;q|t`yL0v1H^=c! z{aq^S8(qNeUBvsY`uq87`s0De+jAy{;9!qGR-(b;ak7By`C%ytV z`o~MpC#Kd{5Cr=g>r~*9LY^jf z{lhiRr_EI^*wt z6Vd&}l)rxrES@{W&YzRkv+T-nQ`v{h5p$mNY8>|_Gfz_?2;tY1Oo$v)7O%0oIcGla zkWVAa_n3Bs^ur@0Dag?~k$2K3v?|n$83v~rWu#>(Dj@k5I5q&Fhcq$e)0FIlN%FF5 z7Nmqpd_*YP3=WR4H#vl30;`p+ywQ!s4Q25Fp0j2{=$X){@WT&ygLf#l?)Mlf z;#u%RaA&uVzX&#S-hx{UcMX)CdmGK4Y8h&%7j(3bM&$UC2PmG4_&p$9=GS{pbXq-3 z=yp{UgdzOjn#2xqR>!P6l{NVbuA|3M6x3 zzJ7sXfWE-_3|D+nUzTzOb53k9DuwK1bF7LM%kWe|>eMVjn%&y`VaGZWKZO)7Y}xO^ z(W8s#%5!r{Je{OOzOgpc8A8NnUoyPpVl&EgauRRzv&UDT53}EANkkuK`ve~z>mk>? z!4SUoS7est&$B#e7OQe^6a+-il&B&zp0P0$g8XNK!dJOu7TFGh+Z$s}h!8urAS>4*MaVt}7uX`g0stJQw@% z{FSI!AVqc(Iwo?E`8-1N{wN^~jH-qzTv&)c9;#-{ZRP;(Y+_nG3$Y#$^E9NQhk*`) z?9W4nZJ+05iiY#IqX}6x9^A#zHix&f`dbg5Zhxik*HMh`=N@+gT~*blv)Qe~n5ybB z%})(?AJpDLgg>4QGiS$KbmSAn2r$L1YzPRubg4$Pjf4ee57_cp)0op(s@MQMXLQ-MWgkg_VQ~})m*|+FWz$bEjy0Nz zZXyU_7JK8irQ0eMkW^Ci-n5gmyZL41b5`&O=X%4jgB61))Z;#_$)Kh;kdxe1#)z8H zB#6m6Zso zctw~Cc6SkbRpUz9`7Hu$sJi-6kVEo&Lv;)K%5Hu`#+MW8AiYkrm)hw?)E^yiHCEPh z=Z<-jX{SnRqsI(w(l^=_PxLgl{%rY3TR~2i9d{IWFd8k=4|J;nEuN-aujyVbSrfJs zP8+8yr#mmDeAuCLX{-13J;_}>8OrEOQ0=b2(JNI1(JyZW|ExupcdE9A6Xn5zuKSl~ zmmim#NjXHzr2y!51EBQ9yaD{9)6Zc>{xvgfXVE96>LE_t&66xkP@u%6o@|`BV0;Kq z#EA5?Je3ZmFhx=vUX6pPUi9FBzFzs|6S**yLcQ=a%m$^o)*ddc4qvb$QlvI+BI-W1 zw@XvnH~~cw%N%T5JS?~qSE2Me$W|6TRb5n}Y>yRM5su_>-~CIOeL+9ROwl~-?@gU2 zlHak(D!!_krYc1N=GKbUEt1_)m)80g_*p=iuL@XeG|x5AHt;A(5H>8=EGS7>HuIPB zNag+5JG*_2t#vx|!~aKdUmX@#()1fhkU$6!90EZD!EFY2O|T%rZE$zj;2H=P+}#Q8 z?(XjH?s{jkyYIJ~eeZMc{p-&2G^bB>byanBpX%YvIlszrsZSW^C6(q@ZLGQ%zv-~z z#!p4;wd`)$C?`yY=XeYb)rLb2P_;K~-G#@bUVnj_X$sxJ3bQLMDdS=Cm5A|8-0Tt# zZmAxy#r9H__ChD}DVR%NzQkS=Fp1(U(Kdg7xzLx6;U!fN7$P_$$rT>X64q!~R%_fh zxd{iCHg}k!nJ2HrY3I6MbY!afG&-r5D4D#~hbp7AVu6{+Q&PobfJr`pyVCGMov_vI z&G74*@8&OwG|wD_$(6qy^24ES2`6r2oWEaH+*J|`J7oS09f5u^V3}ANmS?=?Y#Z}c ze3;C}&las#mVH9qUv*qsZ8Jd*Y880ZLxNQ%xX{hveE$mJOlb*zK-r80p4kIgROhQ;e z*Tfroq>68jJ~$QmQ(wGt@F#Cny8HUWpzIAWLXqB-DBWyB(Br@%izTx#MigiFu(dZF zrbyj`Le4}|_5|=lRcK4U3yTJE@n*pmqwMHfqYsO~|BDZFzL8#`LAce{LYbCw-@dZ` zw+ZcuK>~NfwrjEYyu#b@EvdP(HrLR?!|P670NwTkZ<&7&i6R>6eg#))PDJx6KsVMu zY*X3#BkkM-6LT$VV19!n9cn{|6@zfcT1SR3^`eUS`YI{uC8iX5G9|Y{!6jvnY=>%P z(S{e{YsxIz?vfM+R0|#BihKT01Ig*{#KDo)%ywy3sV;$<9&S)@M83~`1A?)8hcjC* zzS>MMh_da=#wTS!OEgp{eHrVcX#tERYQ)c9JbSI3G8OK;ne3FWHSmP{K_zUzy9*1> zjt0rXQ=MsN+`z3TN-rwoeL+}nFZGA>ckZ+2yRMdr9lA1;^#t4J6i?`v;^yz$r=h{yaZKfEQ9lIA>QQz3-NB2+F|Fkz`V4WJQ_WdV3`WLfx zT>tPkhr};=1+@VucrB-)vzg`ZkL$9N5NPJ<;a+^s5bPfc3oNThc7N0hoD-TOfkCQr zH#V)1JeyQgR$DA+-0YfbyzWiUErZC(n%a)WXBX)1`TZt_PcAmZ+(hsSTN9PR4Sg{p|ayexu<$Jwwy? zrg{nRBcYl+SZM*#-=XBWGEmoqDsl08N=C*zV1!-{*OixdEln*CEE{%jn{7KX zYht*6xXr3sk+<7bx0F*-Tbb_2lzYyP$RI z@ENK;&Zl*m_Ss9l#mt&qr5WDNAKu5nO14>np;hgqTqb`k;Pq1zcy^T#gr+o5mD)l@ zYgW8h5@cezLh4muA7)+9klS*qp805meKhw;!CCcs)_<&qewn}^X26fix`&qdsM{KZ zeFm3Ho>ZR9t@8|#X_9)%dKwGQ1~2UIUtwB=Bb1HExw^wA5qd$0o~Ud$W3(sPED4-0 zH^Hl$3C7tN3Vn6O0QxvRQMF*Ru|-6^cWA53?f2{!2OJ}X%f7*ce_b_!Wn=c?aD`aIlhwneNkc1up&+}^o+Z?U@J3Fdgb0|w(= z;u@r<4h-w3q_r3mCO{=KsWN{D=SlW0gEjj6Iu*?lv$qO37(k9x5H8~ri9@enf^!e6 z+=oN?>f3O43@Bdaq@Isen^m9C8=$NwiXHCT=KHekgO{G_%Ry|`#5@rJ)FpxJ&w+eH zxF6Su(Lb$ya4DXX4t5biA_v0$99-L;@t`#Mx-Meh_bf&jIx#h zYb@T6z#KrszR<BM{3Wac-W~^82%NxHR?a#+_qT$5Zuj4RdFuP}=M(b*11~1#Gs8rTcI+{F7 zR`rQf1}i10?N(C(4D0M=yn-vS##fDLap#6q+W*cfU|aKqiKBK}@kisK$0PPt)ge*6gItZ0#-&KT4Lw*#;+f`{6Hd&Qw}k z63CMawjcaL5^zRbR#--h3>(une~fe2tuwM4{}?)$t}UmyxSy4Dc33>mQz3pWGQ(MV zk(&)OA#Z(H`BTaMYVy-hA>GE=yg-vE4n@F0`@9CtbbX0vCg%2M1M|mQI`yJ3nw7v$ z(M`Y@vI#mefW3L{QCw_1M_GPjV>Wl_Onr*^G2N-94s^)vJFB<-s%0ajaW4=nvCk>% z!9VeEj8n!d7p|TVQ;1sCBVk9Yw5KVUhXfJZi++ous?EWbtr*a2+cKT*oUAY48swir zr~H=u6BJ&a_*1Q1I%rli=FDKu_H`&{ql9N|Ssn2`ZKM*{ng`ZS5sZY`q_*G>cZo-nYP}u42+SbE7 zK(k3Nd|Y|v=v0^M z>V&#{*QK6}{ZnP|V0f`;AvY6$+fML@!7V`NYzD9q9 zi5WfMGjL)}%>5w=b13kfKE-Q8-YE;J!l8pP%!-&B+DAwAMH-49=-Y=;gAWqhjuF(F z>f2b|8oaaGt*^t1HTo+_e zP8yGr4iqyFOb>b6L+X=BWEfN~vf3uoQ2y+VUxq>^GHJ!fU61xTlm_D5JS9v}vr0-N z(?`c=^)S525puW{KS@9x@)Dz(^k*McLcMScxi*7Mr?=^g!sRT)a~eVZbFdt{ z;A-f#P|6icxBE!VJnd-*>Xg!yBi4aUp&e>`-%*~$h`!oUjcB}aym4|6C2uyAZ+R`d znz!|g>iR&PsyQQL@$2i zxZC8|##gGk$g*h>w2Z7R)X)iuL)dm#@D-&GVm}8&!DyzI^OZFOCUj}w_$6B-dMOc^cWE1;|uP?t9q6+|YNQcC% z4M5@J?&9~PesVLN2)@pJ+rMm5O_IuKY3!K!ChNd!#8$&9OJ1}wc7Z81dt0w*1QF-j{(g`8z1jy3UAybNG?b1Z z7y6soRPFN!*y5_Px`7*l#V7@ZXc6}JJn^&TxeD$bxfDtFH!E^WvN-h%NDgPImW~WZ zKb_%=e;NY~3_^`WD};n-D1&-q$$Mn@aeurP+ag_D-xpoBj#+l9l*Ruji_>ir-_y<( z(KxRS_CPMfr{(x|ezeK(GYmu5ty zpGlAd>DI(&U>ROR5Av51w$f@Mbz+K}V6P*ooMEJq99p1w8B5KoN5w9@<~Z`QVO+uW zb?qFI`xM316|5Sf8!E6GsdbWvMUjb1GHHYi3PvJL#d^{35)TdDzbj-nb_kJzabM*m zk42@G*;2KK!o!Rv!+%0BEu-jC%nAou>*Mg1;WhkW9BbE`b!o7sALN6;yviS5*c zp!i5hzPGPqOUlfN<9d+&xKr8T#W*tKIX(P2VVZU64{#D$!4%veA2y~)vb$Bvptf*x z!%FIkSBi4c)Yn&-E?{_TYCIY#74?#O(8?TjOjLwDjbg4GQ~rm+z>n#f1N^--*v>T5 zdM(|a#wI@y#FBNBHwrfDH^POGlys&&XSBb85G&|0=s#mC@Rx{C_mX)`;E?0Ld|=}m z(G~~|*mW*{x!Dbq)wF?|8$}guI(7K1c=3`F55eYnhx40!kLoN1C6CI{_y7|pJmW(* zMiyY7)eQ-~hW=^XexH{xhFw-=MgY~rBD6(29qikh&)l~nH+F@#*->v-B&`H%W*Ua- zm&9S8U;li|8Ds7K8sx_>xYpYmv=5A?$!{|&`{_RRtgVsg-N}ud{buIU>fk`cw4{^ZbLzgjX>G(97VE4f)Hfr>9M|8wyR~*N zv20zH7V~56s8oyJaGq_hbNGdX&4_PC_wU7rD7cec7#YD$Zqm(+{F@vF_g1w{=c#s*DsUweKtyD>!_Mud(5Js^abuU)s1;fVX#v29}g(cKn z0o&?Z)rAgr&)vcCuu^s$Xys{;AI#6_8C~brLBsv$KGlUN<}{snL6$0(8VoPdwM7`* zc-yTzIE2!$f)Hy=Y=>-uvsE&aOd`S94y85uA`_sF?YiBuw6|-%9pxf9R&+f&7`rm) zd9Um+%%S&e8zb_HYbT`D8iuCUZ#zKe1+Dl4htAcyfxelBR z_O@r`wHPXu=1S5EWsh}uTK4mcD{c9W(HN&nL92cG?REN5k@9p4qX755(oz%aU7ipJ zuf@E{;et%tj+NQL!k(gseB<*<69MJ-b{U&te2;v~_7Ya|9{AC7xF+kb(HaH(sIG;R z(2u9{#{Byr>c5SC#R0^W+rtylFME1hTBv`_)Te++>p2KkNu_}_OexG^%~COhhi3Aa5`{I zM=GO7c%^Zt!fmn?BoAwhTN@-&pJICeW0sN6&^U`%Cf1ZOR;R|Oh1B($GT#pBv;}^( zY=15R*YBcB_-RtRPX}8?_9?(#E<-9I&Y8+RXj&<7H3G^h4o>JZ8apZSQL_U_hn`U# z@_}CiryRF6#gOk&h3lAbyH$Pm{b#nHQFFcDY6PwfFOB`PgiJn`e;4et=o9Sgz$~)Z zhFVJ(4u56|${M{@D*Kc-c}81D^^E+Q#ey2vE=JWH z;(k(HKGm9EJf;hY8VT0dcEVIqyZBFuVh6oA&nfu7h&K&z?o`j1u5F$_&*#Xlnv!z9 zYO`O$*KppO?LKvN?J+N+Sh6jX6$xvor@>Ugu2gPA)c#p%#qnUWknRJ#nM|GGVZUgb zs^n3SbI=68mzo$>8shvula1sI5pgTDKbC{BxWr-+-m%KgQ49p?JDrW~5pHT?$Q@RC zKCHx_TBfqzt1ObAKE`L%cbiY#Kf$^32?pw3ciz}JVKpgoV zs23_hx$f%}nW$SBe6nAkk-`|QxDV87M=CVl{J{#C%rYgJThb)G5;js-G0@p-^J`qV zyclvj8!f2(k?o#%yY0s#p6GrwXQ=MFf#~K%JajsOZ#4&twW!&_o<3JSD_Xa${K;th z?I)XYiGXET6-+l2V4CE5v!n7Z(kPm~k2qxEU-vPOG{8r^{m5X_S z(P{Bgr|-K$6OOnzmmHe|9T2A#uS8#k*l}!*loM={dV|C`b^}p*aW!zov!2S;W?%u^!Nme6|+2 zHk-R;yipCE5rMF(qREpMeT*FG9Nv#uM6lr&(({>W8|RFdW%g-1eLL?7Z6EO5AfjQZ z56$-dCW@Kw8>lkH_#j5-7+#Gv^51pN@WVxiUNSi z3-$`QOU$^_B+%R@e;n4&DUBFZZ)POi3c)@ajag)J$|+8+*0=G4jZbO$b{z>dTw@29 zJ6zUV1v$21BtsdEtcwA67I=*?S6Pn?7xRnA$h4|pT&D(S9`toi9R* z;fxUFjQEtu8dmFKbF!KqBemyp4>e69Z=?8HKX+~-+_|>v( zg_$sXJ8yjFgX@xqgv6S?C&i)>f6E}@>Te7}dR!=h4oH9tMgLfY&LsN+hkOh)yM7@| zk~vlaMqN_PNg{w=cV2BFh={f7_J>_7^}ZR zK)*r=xA_Xyw=`R#?~Ym3t5TS{aUYAgydtE+PiE|s!>N18@cTRYV>rT3%4DjySpYEeFMcA&(uCvy%t5xmPA_D}r<1(Dpv~S7QsG@YV2X4=uL) z^W!k>5@DYlT>Qu>`JW`^a0tiRj;vKEX%#io2k>m&2fiFgp*T4}9uA%uDJmC%S)A42 z_E+IC44m3pogFx;Cn%*ezQdTCjbEfuanSCOuistBHZ@V`H?R$%+JRrZZv)w36e^rt zo!mJhAc!cdY5@9UNrJRI0}L!WMz=_`711qbbW9EVxp3unjUd`Ft^We;Nylgs0u zjMRulIs~inQvLO)D_;TPYO;@Kz85J)^0hiAh5MaBedtE5S1O_FsrFamY%hJUc6<|E zBpb%zKuzuMC9vJVOpgi#MdK3LopsIc$i0bNCkXO(3g2xn)Q{Iv@-8h<(CDm%Phk5z z(OP6%nE1XB$Gmzi;3;;O5gFMb!B+s1N_rl^A3?WbSrgTTAkLeW=;1WI1G*h8GTvq6 zj=aSClpPa;9ecksQ#9dkNX`-k5=KP#?+>ZD+^bYW8c<`n;VpU7Cd&s;&h z*obdNPUGF8Y-N|VB<*{PGxnKW2aH(nG)*!z{6QTGpik=R?qjK014rWA_mX+rs4}*1 zmb|9$JILP=YkiVGEK`5K6^oMS5>p_#w1{@T80Fq&{=vx;4L{mm${tX+Xwk5@`nJer zYODxLbsq6k+@UqTWtg)XHo5A@sgj`5^kd=8W};fr0U<2CuJ!duM5gKp+BiAME{bg4 zikfOB!=~>*g=87G*^WM1@%D0icx!5q{zAfobUf0*)NC%vK{wM4lcqeOEuGDWuKp=b zb|-Yon^Je=Z!#~NY|BE2j@4Dy&KR$^^X|MGUJ=QMZ2saSIxrM_pz0f ziJD(1Gr>XEZSi92c3v7bUa-CQG~Qa95L<<{>vlO}M* zTq-TK8%hcT9O9^zS?}fb@iK+QZB+=loh+7L57%RbtW+dA%ggB~F(LDcVHKMvG?gw2 z0D@jjTsM?C>6!~`qY5V8=IZZGRZeX0FTtvE!jxa2xJryvB;UFTNoz~1pnj=0MJkJ5 z%Mqm}W*Wi-{Wya@LzfiUP+cb23Ow#f8xztGGEhRDW`4FyljaxnKF}Xp3n~>lGQ5wz zT0xBbnO}eZ$wpU2?+jcHr(cXc_N0Lt92vtJ<`26Upd7p}oN%M|Sm`@nH*{zbH+ow? z{l2CYp@JU(Cvs&93)4`g`hqa3|IJ$VY}@%3|WRdE_w-Nr*I_F{xM< z^liy!d^+2VXo}MTt%LQT$+jS6)hEfvamT61fpEtXUa>ehS&}P@yzm43;-?g?iKZSG6Lq*`L%iTZ&a}sfRgSPH+}u_Z_jS3U^7em+?Ah3xg?y_DCv*C6`@#fkzq{- z!Bk$s4#%q!RN?OobFvixv=%9r(@WEm7&mMZj+H;bQw-Ik<_ZDM*q51&+FccvlNCZF zmNbVp%G#IKERe-1?)YyUPdKO10HHQ~9 zoU&czT21XisqAR!X>S_U<)~mYOHN?_pt`qKK|PvOoos?bfbb=8tud-5qgF z_ynd#DCGxfbEzVsRKshi5qju*ex-$Sxi1Anv{{6FO7J$BW_pI1Pc}mrQ=OAGJ9IlUO}ko#jt2Czu1EY&SV~+&kZ@UxQ8LX?O_^6~4Js8?cJ) z73&p!W5PcucnUv)LO?_pF8#*R-^D&bEAQ4U2{-;Lif#k80*Ri8>a&{+Y*}$7j|Mmw z?*}VKjq>5>MgyWw52*X;XLmu#*S*=-6#AsZ=lZtd zD+LznDZ?oTB)EH-Y+YsejzM|KYIBN(dHd*x71r-g5#DtZ#C*Y zj1`HMQr@l?Z{HZfoKimvH+==pJN(LIf()t(A+dnQPG1ReWa9G);rM9G3m2j0_3y_C z#~#P}9%As=rACCvoivF0FHSwacER+kwFhH?Zm~S&-1#U9;A@9{a_5AGe~d<7r=CCD z%aPh#05xu&lNd_p=rl|WOpYSlN3fh-KELkDb#D{Om6G#o6-tf|Y7GpfDhL%)N+u}{ zK;!)}z}JV8EwT>2-}5<#rE9|TlLh>kkDf=}ee74z#Nt4~tSmHv>?B#4BGx05nMVLU zw&D+a48hQ*<0E%}b8(T4ZF6_5g@^53Oh01D)zuL4uGWg8gO@GiTI; zkYy-{+}qNlBvYIby1|X?sg;DY!gEIfB#TU*^)^-@mIXcav()W`&~`1>bZXe=+Y6yA z-|M+ypMGU|*nX(*0oEY=C#1=<2n*Dwt+ZqJD@N{;1mGBDBNFvjdZJSdwHH!JAqn3S zLWjZGz))u}iL_o=qq=Jnk~@Ig#KhwwAMm<8WVTz1z>{eOn?@_e}VoK-8{Y_nfrLyYT-E!s9=WJv7 z2SQAUjf~MFt1`2q0{w7^KGOWKxN~?!jn9+1$_UsL{1H3K*G4fYtfqTSWu_x1`cg1Wsb-7JEt{WF}WxMwGvi=V%=HWfwPDUDeFBhCH%oVk5*0KZc zUjp*@LNk%mSi9{IbNPrc?)m2j;yf(S?lE~Cq4}|%iv4+6livynp$ujcjKiiP?_xmp zyJWrNRpQDpMXBP$hqn zvtIURmpWNXusIrtE1W-k9q_~i5?at(&7XJOdb^1ZL`|jkzbrZ8b7BkL`2f^2qr%lR zEvuy-Or=VO?uP;jZ#%Oo=PhSpKcIy~ygn6EA6gn(DwfIRmRovnV<1xTB!V^7kSeuH zhr5ZZ4g|(+#wWeW?*MErU=Efp-5Spc&-GpM-3fK2l=a_?75EmE6+unu&(PJeU5Q_j zvoTpqZo2I59N$w{Fbd>$GN1GC5xeo&^V#P(~R}&ST&t?(>(1s@`byv}AMtsE+p2sxA zvLf3Jtca`nh;J*tFA}y-Q(&}2DqZOnSLGGvBuATS!8U8SZGwtiy@;)bGHqGvZU06g zSZ~r!c!PQiWjN5za4KW_Uh;bwrp_w5M0QjxD;#}3lO=)fh+1ql!p5k3fBVGt8&?{% zsb^d+bZA(gUth(GtNP{DJPo#AYy-K&1Mog0oQK=Y`~S$Z8z8`4rDgYSQe>!nGGI+Xu9QpR(nz`s`jT?tKU=&}b*=RrEWL|7< zQeIW;ZhEwBbTr)j?P9A?d68$9qteJA(cbcDJI_Ptfr_PI2S2gGP3Wn%@lo15;7ZRw zeoX96WU5Rsquk`SqBNfG$q&>#tx%-QGs%Mxn?LCo9Z5@j@!qNHcIum>^VEgoT#>vg zJ$(uIY4z}$Gb(XT@a)yi~SdE$qr z3HwiKagblNEKeaL1)J{TALyTHG=Xjo9;iC&wFREd9jQG(Q-u5CtPpZ}RjkXjkP_@L zww#CIwKyPvSKmM-e~ugqC5(N&WK?s0gk(1`@u^pI#Dv+~cSMglP(C%v0Ogy9&pG}z zjfn1XF@jdmXP#Xz`Vgnoa%?SY&AKAqOcd=Wj22w@;tBQQj9a38KZ|skXud%&Wu%;! z%JDw4gpJPz{N}$PxX|5)K-thWU#3@}grrS;XYq!8GTLIo!O392Cy3zvXyBOcQ3*nzoijptTUrRQvWj_Z69Tj){3&7i4X?e-0*2F?}`;YYUi=zZ&MvhMg!AQE0{i%WyB z5{f`=J5xJjnaFd-b9+LKI30^Iguh<%px+w)Cy7OZ$ZHQyb_53S)jX0X=WBCap4B1*okNyl({_60}uuZ}@+^N=88Sm0Agcy2Xy3N6Q@ z3KNKwbZIZgA5}ePAP1S_R8IvxpsKFlDb{wSUw?>UVIYQ%dZk$$_`u@P#;0lZ;s(t> z6}sp+mg1a5v77xFAi!XxN=qtx$dWVY;#JG+v#mGK@%}jc!SswAF0UWVjqUE4%FxId z6D^gilL@oGJ^Q@+)0U`2gsLOsg(_Nk|AN>Uxy_R|FkyI`VItIUpTdpQwQuG|k2Wl# zUdi2#sV}ZfZcqlVM^5)#oDglWen?I=vT3w$9kK8+!ED8^DDtGoR`WZ$YeBZw2da+t zAsvlgyN?pmdT&c`)uT*Af#hvHil^F)iTz}zKO3%-&OuW>8)}VIC#FYsHt{gPocb0P zQdgRi_Z?HY^@CH1d;14@Ud2Wi_XEAAN$Nd?%ND6{R0?@to{VwT)Rlj z*vc4)Z4cJjwIe{FT8zPOW*>jV`_;}w@{iUI&mF+wO1b63E$sP&&JX(M0UW1%Hf(PFxDTE<1imnt}d_~ z$UQLjQ1#~jUE8TXJhzhGBI$%Fg|N-T{G}4Nj5Ot zmZ0t*Cp3%2xg3{ zS-F(j@t|T|zzyA;;91)=Umz6da=8k50`M{8tqF#N?U}8BR3*n@s4I*9QdTOP4_kwc zD~HeBF#~{z%g=a(IIy|E{k@oqXnMW6?E@*cx1HF=D4#$*(z`hz`r??lWMF;0M40O=m*QpR2zD8jq(;YhtktM_K~z973}7t=WD?m=%vtJY@N zsMg8jGPpPe(daDt9DO*-uqRbRJikNXyoujDm*%loHNPgkDCO$>ZORfh*7ox?w-H)> z)zlu1l^WX9qm&+vIP%lk2^;8v8Y2?;bv_chzB@QpH5w6C8<>@NA|eGAu}>hAxFVcGF!iM&2)il{c^T6mR!&488?$-5{34uQ+l1P?aw4kOsr)!OKC8kOF~@gB)4F$>1PICZ=EK2oT6Q$T>V zVFp45$Slgx2{RHhK+prhHLzp;q%nid`GW=^{59ME6!aIWB{=0CB(i~RgD@k|eYP^! zmesXUq5CW-Oed%7V55crM%dFe(=pdFLO}RiAo`W4?=whWm+mvj3KH%9&?cj6ZEkC& zt!qul^hZiO30)mS5F~CwA~ApsK*-7r&b}yOWo~N$)-6jXX9Y5|wt$GxcBB)K1;>Ty4>7!0$>Bd8mtL_4ef8{{B02bKg{`sYxp;Fen)VGc*h!n?su0U z(EZ0JV3+*IDUc;0W~gJWLJ0A)4B;>LL5Kq8wqW-{atHo34NSkIj|zZnKqlt;;Hdy> z{9`5%=%g%k&G@u!49(3{{*XwgsH9A2W@}>d#~*sIYdfE@q|VIn=lP$q znOXkegU}&zn8A8}_4`xbUv!8Kzhpz?fEgg=FZ=!@1ETvcxe$2*|6{{1y%7C>^#{xQ zOAo|eNd4EiATk91uoXgM0{;QC{!sv6AM)AS7?@lA=^-Gv2?&ZaI=0%ne~E+`{Yw;>_ZL4{Jj6gC*sxy( zqUKMvzYK&71gw_nKPtiNMG$18OCiY4NYB6k_7ocf6C)4+prU6Wr>7_X@V9m70A4o; z;Mm5303PC>A3`uIczx;-{y_r*m>Iz91M(p>`;!K)Gl0LY{gVdn1zz$0pn)X;{tF)f zy!!vaM-OC%d};az4G4A^I9&XL2Igb_osW@$0UX8u$p@yf{jQghf%#wZ7#Z09H8w^@ zM%LfQ!NkD8`nwO97#Qh)w}pv;`CoovVqk?t^nZ*4yr|gzMFUUj?|xwdGC}r$fA$3e zAlu4sG*-yw^G_ONN&ZG-W@h-8@4>Wx`47Cm{mTc;%q%Rw>jhs-jKA9qWTyZ3I$)*; z{5}rwlmmYEGmx2;`S*DP0vK6;_cPc9z~5~F0$Az)r31kBcX>8eAVU*fD+I{4W$2^} zUiNe{=H}q76B3QVTjxhJJ#)fe!4PsHNT@={$ivT1xTibxFY<^vyKp-;!fIvnjBqfaSzW}{c-sS)R literal 0 HcmV?d00001 diff --git a/fmmd_concept/System_safety_2011/submission.tex b/fmmd_concept/System_safety_2011/submission.tex new file mode 100644 index 0000000..f83bb47 --- /dev/null +++ b/fmmd_concept/System_safety_2011/submission.tex @@ -0,0 +1,167 @@ + \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 + + +%\newtheorem{definition}{Definition:} + +\begin{document} +\pagestyle{fancy} +\fancyhf{} +%\renewcommand{\chaptermark}[1]{\markboth{ \emph{#1}}{}} +\fancyhead[LO]{} +\fancyhead[RE]{\leftmark} +%\fancyfoot[LE,RO]{\thepage} +\cfoot{Page \thepage\ of \pageref{LastPage}} +\rfoot{\today} +\lhead{Developing a rigorous bottom-up modular static failure mode modelling methodology} + +%\outerhead{{\small\bf Developing a rigorous bottom-up modular static failure mode modelling methodology}} +%\innerfoot{{\small\bf R.P. Clark } } + % numbers at outer edges +\pagenumbering{arabic} % Arabic page numbers hereafter +\author{R.P.Clark} +\title{Developing a rigorous bottom-up modular static failure mode modelling methodology} +\maketitle + + +\abstract{ +This paper proposes a methodology for +creating failure mode models of safety critical systems, which +has a common notation +for mechanical, electronic and software domains and applies an +incremental and rigorous approach. + +The four main static failure mode analysis methodologies were examined and +in the context of newer European safety standards, assessed. +Some of the deficiencies identified in these methodologies led to +a wish list for a more rigorous methodology. +%% +%% What I have found +%% +From the wish list +%and considering some constraints determined from +%the evaluation of the four established methodologies, +a new +methodology is developed and proposed. +This has been named Failure Mode Modular De-Composition (FMMD). + +%% Sell it +%% +In addition to addressing the traditional weaknesses of +Fault Tree Analysis (FTA), Fault Mode Effects Analysis (FMEA), Failure Mode Effects Criticality Analysis (FMECA) +and Failure Mode Effects and Diagnostic Analysis (FMEDA), FMMD provides the means to model multiple failure mode scenarios +as specified in newer European Safety Standards \cite{en298}. +The proposed methodology is bottom-up and can guarantee to leave no component failure mode un-handled. +It is also modular, meaning that the results of analysed components may be re-used in other projects. +} + +\section{Introduction} + The certification process of safety critical products for European and +other international standards often involve environmental stress, +endurance and EMC testing. Theoretical, or 'static testing', + is often also required to highlight 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. +Current methodologies We briefly analyse the four current methodologies: +Fault Tree Analysis (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. +Fault Mode Effects Analysis (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. +Failure Mode Criticality Analysis (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 +criticality. It gives better estimations of product reliability/safety and the +occurrence of particular system failure modes than FMEA but has similar deficiencies. +Failure Modes, Effects and Diagnostic Analysis (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. +Requirements for an improved methodology The deficiencies identified in the +current methodologies are used to establish criteria for an improved methodology. +It must include all component failure modes and therefore should be bottom-up, +starting with individual component failure modes. Components should be broken +down into small functional groups to enable the examination of the effect of a + component failure mode on the other components in the group. +Development of the new methodology An ontology is developed of +failure modes and their relationship to environmental factors, +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. The ontology is used +to determine the nature of a hierarchy modelling the system, and to which +entities, various conditions/procedures are germane. From the ontology, +we determine that environmental effects relate to components, and +operational states to functional groups. A functional group can be +analysed with respect to its component failure modes, operational +states and environmental conditions and from this a set of failures +modes, or symptoms for the functional group can be determined. A functional group +can be treated as a derived component. 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. +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. + + +% + +\bibliographystyle{plain} +\bibliography{../vmgbibliography,../mybib} + +\today +\end{document} + diff --git a/invopamp/invopamp.tex b/invopamp/invopamp.tex index ca2d0b3..4e898bb 100644 --- a/invopamp/invopamp.tex +++ b/invopamp/invopamp.tex @@ -66,7 +66,7 @@ A standard non inverting op amp (from ``The Art of Electronics'' ~\cite{aoe}[pp \begin{figure}[h] \centering - \includegraphics[width=200pt,keepaspectratio=true]{./noninvopamp/noninv.png} + \includegraphics[width=200pt,keepaspectratio=true]{./invopamp/noninv.png} % noninv.jpg: 341x186 pixel, 72dpi, 12.03x6.56 cm, bb=0 0 341 186 \caption{Standard non inverting amplifier configuration} \label{fig:noninvamp} @@ -127,7 +127,7 @@ to represent each failure mode, taken from the components R1 and R2, in the current balance/virtual ground, shown in figure \ref{fig:fg1}. \begin{figure}[h] \centering - \includegraphics[width=200pt,keepaspectratio=true]{./noninvopamp/fg1.png} + \includegraphics[width=200pt,keepaspectratio=true]{./invopamp/fg1.png} % fg1.jpg: 430x271 pixel, 72dpi, 15.17x9.56 cm, bb=0 0 430 271 \caption{current balance/virtual ground `functional group' failure modes} \label{fig:fg1} @@ -200,7 +200,7 @@ in table~\ref{pdfmea}. \begin{figure}[h+] \centering - \includegraphics[width=200pt,keepaspectratio=true]{./noninvopamp/fg1a.png} + \includegraphics[width=200pt,keepaspectratio=true]{./invopamp/fg1a.png} % fg1a.jpg: 430x271 pixel, 72dpi, 15.17x9.56 cm, bb=0 0 430 271 \caption{current balance/virtual ground with test cases} \label{fig:fg1a} @@ -303,7 +303,7 @@ We can represent the collection of these symptoms by drawing connecting lines be the test cases and naming them (see figure \ref{fig:fg1b}). \begin{figure}[h+] \centering - \includegraphics[width=200pt,keepaspectratio=true]{./noninvopamp/fg1b.png} + \includegraphics[width=200pt,keepaspectratio=true]{./invopamp/fg1b.png} % fg1b.jpg: 430x271 pixel, 72dpi, 15.17x9.56 cm, bb=0 0 430 271 \caption{Collection of current balance/virtual ground failure mode symptoms} \label{fig:fg1b} @@ -319,7 +319,7 @@ We can use the symbol $\bowtie$ to represent taking the analysed %We could represent it algebraically thus: $ \bowtie(PotDiv) = \begin{figure}[h+] \centering - \includegraphics[width=200pt,keepaspectratio=true]{./noninvopamp/dc1.png} + \includegraphics[width=200pt,keepaspectratio=true]{./invopamp/dc1.png} % dc1.jpg: 430x619 pixel, 72dpi, 15.17x21.84 cm, bb=0 0 430 619 \caption{From functional group to derived component} \label{fig:dc1} @@ -378,7 +378,7 @@ latchup(12.5\%), latchdown(6\%), nooperation(31.3\%), lowslewrate(50\%). We can represent these failure modes on a diagram (see figure~\ref{fig:op1}). \begin{figure}[h+] \centering - \includegraphics[width=200pt,keepaspectratio=true]{./noninvopamp/op1.png} + \includegraphics[width=200pt,keepaspectratio=true]{./invopamp/op1.png} % op1.jpg: 406x221 pixel, 72dpi, 14.32x7.80 cm, bb=0 0 406 221 \caption{Op Amp failure modes} \label{fig:op1} @@ -438,7 +438,7 @@ from the current balance/virtual ground {\dc}, represented by figure~\ref{fig:fg \begin{figure}[h+] \centering - \includegraphics[width=200pt,keepaspectratio=true]{./noninvopamp/fgamp.png} + \includegraphics[width=200pt,keepaspectratio=true]{./invopamp/fgamp.png} % fgamp.jpg: 430x330 pixel, 72dpi, 15.17x11.64 cm, bb=0 0 430 330 \caption{Amplifier Functional Group} \label{fig:fgamp} @@ -450,7 +450,7 @@ regions) see figure~\ref{fig:fgampa}. \begin{figure}[h+] \centering - \includegraphics[width=200pt,keepaspectratio=true]{./noninvopamp/fgampa.png} + \includegraphics[width=200pt,keepaspectratio=true]{./invopamp/fgampa.png} % fgampa.jpg: 430x330 pixel, 72dpi, 15.17x11.64 cm, bb=0 0 430 330 hno \caption{Amplifier Functional Group with Test Cases} \label{fig:fgampa} @@ -506,7 +506,7 @@ For this amplifier configuration we have three failure modes, $AMPHigh, AMPLow, We can now derive a `component' to represent this amplifier configuration (see figure ~\ref{fig:noninvampa}). \begin{figure}[h+] \centering - \includegraphics[width=200pt,keepaspectratio=true]{./noninvopamp/noninvampa.png} + \includegraphics[width=200pt,keepaspectratio=true]{./invopamp/noninvampa.png} % noninvampa.jpg: 436x720 pixel, 72dpi, 15.38x25.40 cm, bb=0 0 436 720 \caption{Non Inverting Amplifier Derived Component} \label{fig:noninvampa} @@ -1023,4 +1023,4 @@ Software used to edit these diagrams, keeps the model in a directed acyclic grap for this purpose. \clearpage -%\end{document} \ No newline at end of file +%\end{document} diff --git a/thesis.tex b/thesis.tex index 37cdb7c..0d852b6 100644 --- a/thesis.tex +++ b/thesis.tex @@ -147,6 +147,12 @@ \typeout{ ---------------- non inv op amp} \input{noninvopamp/noninvopamp} +\chapter{FMMD functional~groups to \\derived component example : Inverting Op-AMP} +\setboolean{dag}{false} % boolvar=true or false +\setboolean{pld}{true} % boolvar=true or false +\typeout{ ---------------- non inv op amp} +\input{invopamp/invopamp} + \chapter{FMMD functional~group to \\derived component example: `ON/OFF' Switch} \typeout{ ---------------- switch1} %\input{switch1/switch1}