From 321a075cff97884b5b54d55963323be381d76687 Mon Sep 17 00:00:00 2001 From: Robin Clark Date: Sat, 24 Sep 2011 17:53:25 +0100 Subject: [PATCH] Starting to look at software modelling --- .../System_safety_2011/presentation.odp | Bin 1048644 -> 1054067 bytes sw_model/sw_model.tex | 3 +++ 2 files changed, 3 insertions(+) diff --git a/fmmd_concept/System_safety_2011/presentation.odp b/fmmd_concept/System_safety_2011/presentation.odp index 2dc30dc2fb7e67f22dbe09031d143b25ccbb0772..427e48541a28d9b81e81ad1cd7a707819e42b337 100644 GIT binary patch delta 18517 zcma(21ytW)^EM3PPALw>-QC^YiWGOJNTE<1g1Z$d?i6=-Demr0aWC#{p69>co_%-U zPjXJq9qtVIMP}x@=9;9>PxQJ}6#26PGz=C51Of!a{!e5L$o(4Q?=F!0$(cBiv~|xe zVknUNbwd7|%-}#&O{@;N-y{ePX^aVupoKBGx9N=>a!L$xKXlR@vT4#BiW?c6gL8yh zKL*ELU1&`0|M$_FNb8{25JAJ&c4%;gX?kskr3(14ugNaL6N@iOCkO#SCz$+C7n&%U z^%e~$`9~fqW|ON39H}7qKgnKjP03#HW3u43c^^EuA~c!zA!fUSf5QkNHNglW%V~n! z$_dEeiqfQesD_$N5Uku5=ihQ z2Y#WMpo@yveqv*rZp_VLuZw4?t1V6DO-9oOeEu<1Hr0O@nfN4=eRr9jd~dSCeOE3# zw8>#h=;L{K7}<_C+ekWh_?II7ew%0UYZQX45C5!?b94mHXnhyZp5nf7TDq*yi1SAr zCyc`(BCU{Xc|FdU!j30h0LPY#Gi~WlJx3EAk|~F^Kz~+NvhWJGe7sQhhw219&ekFt zK>EkNF>V?}n+Dr;2kn!hVwd4yOT)>J3^GfzJb{+mD6W{Y2*I%``YYC_Q;mCS{J&+~ zBE3p?lLw(mhJ3T_KGThCs`xQ{qvO=yhV#LdnY>^01Xnk#1QF?PLxHUDq4mR^# z3g_hE=H_u3MW9kHv=I+sa8<13L)dd9YBr6pm5Q!X3loLXOBD7c6$V=M{rdy?X^#hLDiUkN zdPk|k4k6zyu+YqkSJ576cSy;P10rFdEF2eT4$~(lf@Fi|%$f3OcBN|0A*DxTpfWTr*%Mlg59_TYC=$T-sLTvXko>79NeSoG_5 zG+0(hxE@`k?pVwz#EJ^uRPPJ+Q?&?m+2db6;iN4&{r$pZ3~Z@8 zGgTqp$W1s>c9Y;P`rr3V57>v`0yix(hojMO938LJpwYpec!ra(NbRBx6=TI zISX;2K;}T)lMk6C)gqr>$iA9}wsNdVViTzyPLgeIL#8j0GP>HB>uR1t^@|*ee^U%I zdyD?;Xn**N4=#tJdc6IYJJ6=J5?J$UXcOA@yvs?l5@j^Qr`^$*RJcCsh$`asI^i9r z89qnWypW)<3B_|KAR{eCg3w497LM&->U`kCUsTg)zd+e7^d|)gH^2&oTD)Kxo!3&X zJR)ElF74U9V3G;#<4iuq#Hvmq!MEF~jS;W`1=6?3m?)jsN7np$ zX!e!0Kf^N9T~4rJzXup+2X<_}+8z*w)<0KDv1~y7A;9pIg8sl>^IjK>*{0;bvaT&*8qOfX8_LUGl=c*93Exp z-?Ui=Y~x_yl10mCzryEo`S)5((Gy8mA`Y#mFT_kG%?D1Ui7s^5V8hl_5C$#4M4c-! zJS5uxBdw?I{`O5*FJOT$s*{?U=lR5sv0n0sw2zvaii+01oCvNy{yG+;KF1kPZInl! zNNnx{wC?b-1R~HU&-4h<$FD;S$xC7zq~=B`W-%v&-a|yU%O{{i?b|fbFYa5FU{U9G zNLa1Hj8)@Q8+ECip&(C2^U=yjVX3yUDxBXv-ZDB>(Q^)KO8=?O#$43 z?D-PiC>Fa{e(uEUmPzeq+dq?C*Ab;>vxA>|{WjYhY@UIzDL(&49>x4094xyG&1+Kz z>P>YHGwYvme6PP9;B2Y0JLC!QV`|fOUXFNXh`9~0Iw9a)JVZSwLwCNGMVZVJ|LHsU zE0zCQa)%C|XE|E>^YIyHB~u8s>_OB%p{x!)C*E-PXiVTwfL1qHnjBwy`3L2SRDE!? zo-cjE&jd3doK2mEdUP3PwN=Z#Xjq*+=DWtvBIiU%B{eS!&VQ?3auoPR!%WeMRRTcQ za6_DA7hfEyg2NGyL<_d$&s~fGP2E_tukj3+G&v*xOyco kG{0r(4X9wZq1263Yiyq$Yq$xWJ{%?Fd)O>o z(a5}SRWSL;?PtAzz7X@asi;k#!WqB%E0*@^0bZ$!M?x@WXR`?8`__?9y zbx+D$Fuob8Dx~K9x(d_PTs;BuJ|wJHm@}2gOD;s@{0m~Wsr@k9a87kzWp2E3h(q~A z^vcm%SHoeLhij*3M=j=poZTS7c(aA7HFE>pO?4b8Z`BaEN{25UYOR`ofok8Qdb%~j zKwHZ*avAK&(%MSxLO8_KY37}zAdumsrus$Ch>BMbiSUcFeb}47TC5+4R~nqSV^Oq2 z{;H>h(ncHhore9icIsFy^DTS_G|qnVGxR2&DF&c=kA%;8tv2z3c$193EX@!@v-r~2TRQuB<$ z9DeH}wb&_;b%b4*(5?J7(~BVerrW1htg8_{+Jqsd_5uVWfnrURy00g57(Q zc4FsNN!x21XUfSy#>D&16!WXTIdZzA&z#)$s$h zUa696D)qDLc|d00hbOpB8mhcM+--HSy+^u|!R^^~c^& z9XY6d4~1fVq2jk~D-gCI9GvCPX*&D8VcO3xQV{BW@?)e3nWF7x;*J=tz7HEKe;qek2H_+p*Z9iN7R$Zv`t1)e#_>(bO2>c`W3Xp9hDN$xEw!iTCV~`qZ z(=WPt<#6@g2E4K~BD3{D$7I`d-~*2L>8{Tc>`jOSzmPPmk6G?Ntl8aIET6$2Eg^gf zrFy1q)LUpXOvvM5qhAdy@lO<3k0n0cz;^{KX>1xJ37PDpWyPd8Y0f_qH6Q8V=#c8F zyPXE*=F@Rgw*pEXSqecqSbiR&iP*S=MZv_3%0YLJDU`sBQID2s4!k6)wUnXsC+jNz zTW$B96!UcmRSisIyHvXwqBNI3cZW?a;a%6?16CR^H3~6rU^n0vFeddQ5QPG9MM|pQ zCGMFrnxX6a2WzH@#?(x>e*}9DQM&|;(su={AN5!`n**jr&CUr|9#$-bZr8kA@*_NX zl3j7d9KHGicgmVDI33eR|K|I8C=Mq$1(C{>vi4@)RW!`sMx*KdY33Z{N?Gd$ao_S? zYL!l^)Wl#H*AR8Q+q)qsd$;00R9W(og};j4m>e2~7~xVBMTnNpiRx0v&2$OOOHZix z%HVvl{R4s?XL6fkmE=Pw zxcw*|yFmh^elN`ge~s)(ymS|66JG2qYEo1OdLYh(e_-v#^@tZi^=mSqk?=@UTgkGMC5JHTnG;uRQg(gnpBiK@6}w z$6H{hnohL$9G?t41yh%;*W^lF;hN^d(L7GAB>jl_ZiMs<7(%@%PD9rLJ-U}xq5;t^ zoQvkplqNpdfY;m2!|fg~``1pI>{t~yBY=Lg(1p5}F0f4mkZsEr_sOrW<#cl5SVoWnw;M0QKY+by!2%>DU%A50HP$ z^Kx-xI3qf;hRliT_O2GKDr(z&U8lDrpf9ZXJR2?(0`H#Jm1cf^`f=c@fsl|mOZV9Iw?D5fv#XuO*15gxGsPDFXFny z-`rrt_Gumi@*UDoML&{f@ejEP5P+`8b*TemqjYx-&uW;J=4uGSW#2u=^2a@e`V?d1 z2sI2epVFIL?1;*9Xm zmTo)CJYd;A2v*(`M=J$|2KBhfH+#seqvRn}6nx|lnEB;;eYpIo8?6h#Eif=92~o?j zFA`mK@NfLO(Ls9EiLC7ZN#xm!?B3u9lF^H#;2e(;W@M6^U7@Nj&!nKHt6wI?bL5>) zySR~*#)xm=Wd&NSR~1U-K=HdMP7xh{cz9(L6Uw%N$m?UW3RT28rtyi*h%(%=997x+ zGD6jOkXGr=m&b&4tG{Bv$Zz(0a#{GL$ZC(6wn<3A6z+z29oYIMM8PlCgWn;;+cTV| z<-T?e0$<%mI>?7#S64mbbGvcUtpf9zZh@YE2uX-3!GW=dh&9>z|oLB$B?=KNhzMvzpIdlY?A+O z5k9|?dDCo7^5mt}H?>L#)Ua9{eTmhBt9_iv-2Ka)LgbN5Y9<&zj6D;Qzd2V9Sj#mMuG(;cdh z8?sLA-B>pV%f2LFB00L~O}j*!q71FtZTS-731=Mg%T3dXmn9jX1dPv>vL%gloFa8s zQi=Rf`Z#}BTSh%3uQA>#E_3Z%P-&V`)Zkc(tzD0$C-n)J56Ch)9S@hd*I~Q3D`Cni z{1@1JR%7$HSI<;JyBB$)mz4$Ak7J0*$J-R2F1GqyK7KCrUDHfhV0hXy!>g_(l>Ed@ z2EUZ0>-BN8>sDAK7n*4-iPc!5tzL@LXlPY)CZe4kYs=)2HJ8=OA=fp2^x7f)y=_9 zRIEYjBrm%EDhED@$DM1* z8C1o!%3~ShIfo*$aD1B|zJBB@#vrDSK(dX~W&K|CXBCzE#v_gs#amW$JA)v(vH}ek zu-ISks<@Pp?PSMPeY`M1NnQ3`1 zOV1stEJDwuYj+_Z$ICoY26N4w0kf+!08Msf;k%<}{$t|o!+N41U)tIu5#BR497hjk zne|Y7i1JojZ;a6$OKyxerI~&Fg(n)5L5u7h>ZdWK(LgcQXhap{uOD^C-N#Bl9dA`! zyA+vt^e&OspsWG!uYkTL#PLPf`-Sf9P&@HkYK!LYeXI%t25R1tog-pI+GgsX-Frd2$kD`uRo^M5Cr98`G&eX`o9iedCdDY-c=;uV3t- z1RP3)(Wyzc+cPsV#^$ad3`R3U&cVRs`1L>2%=Ld~v z-?Z}c%$ZKx_0n6*3-L=G`Ly!upvj1XVg8;q=C(rna5Bc;H7g+C$;KW@*HHM^E1{NH zeEh`8CpdL)G5PB zWiMNnw;6M264@G}{b+5qL;kqs-g?zd`=`~03DA>Vf_}ef=NE_<&B2 zHkwEH^$Q0L#5f(B#hO_1VyzLe`|F$WlZ10CI4_K1Gajcjp`*;_Bnvb|udkt@l$;H2 zi>eOa`qDq$MRXg|(X3Bm-W})v$Ji9tvbn_K!_Lp81$5)d`@7bTiL>arUwS`uYQ?Ly zvg0@L@8&+;O(5S<0-ugnk-QS$1A7e@@9)m3_Vz2iRufLzrGt&D5(A445WTQP40U@A z->8b+eMCIwheA8X0&@gHNvkCwVP3i3NPsyc^t5 z@A)q^9_#c;?sYrPqgNbmPil*T9aWh3Af`Qb4Et3+CM6H)1L50Qzfhs5GOk)>9V}URiNZcq@pId#z*fQ` zC4I*`W>hWSvC7>*4IYWapX+x1)2%*2mx~0gl3{x~t;#WX-pY7m0d3q%Q8xz#sV;6S z+?7^|nB@xtnI@bjNl;b!VaT!N$rfQtTm`ece57!;;N%_tvjRMV^fk&d3LylR|J%+CuuNyR zA%%djAx-95MiT=_S>+_fG~6@JG7+`0=br}$QUAcsY0Qm9e;=h{;^Mm3So|UQNkIz2R8ZrUgTTGrqlk$=pIyn+s34G z_VZW8+}V1KO{;*QZ)pgL@yLzjDm{n$HvJBF);N%GsY;< z4NyyMZr=(E15Ma72BHayj%iSt{J4796uEmw=+oOoqjF6kSwli#yYW8ZK$ux;L;PgJ zm@-244GuQhE;f3(sdVK^Ah$N#Eo00~4$_#PG|DH@4{ywT!(VUnEML7e;D;VAh6y`0 z_b9C;8^GxP1B<-U1T20V`nYm-Hh(Y>oo>5WjxXS#KOpV0Kb9JW$|`{ow^uR}f~Nq{ z=6aUF;Z}LdZhrU~=-` zHnG=8To&?=H&vDsX{aIu3spuPp7X&=OVmnf${C!)zm3KC;)aHXYRm>CC8c*qldHr6 z;ijyDk+8RYpYP5rdU{5aVR0EXWPcU&xj7@|oLUp^F-E=a0Fh^_jr+q1gB?Fk{{4l% z=H=BkDwq@iujujcFrLb&cH_Od#z>}=S~3h% z7N^tB%$9{CfM)n)Z)$3~q~dkH-X&tQlg#&hm-KyqZJeq*fFgz8BBIXO-{_8{+3jMZ zNg<$6C0m%BwEKzNbA#;{#P{8y$A^DrC$H~VIE_{p!d6xX#6n&>G$j0P=lU0hLa#3& z?stbKd~wy)>(%aa3rpuB#-gEjXI#YQ2B?Ib&ECuGKt0i$!oy22^0a<4?TAdTh+&g! zg@xPd1Dne;S~@rG6N?A5z>m{zsA|2DL?%p3O!bDZUl?9DTYcKLX4kRB4wQ*7cm5jD zCwY2(f0!cE($ZRC)-2cdezA`Zodwy*UJ#;8>|0DH>L*CD=>&8dsZ%QX#E);|Evs;? z9u0<70GX?i`*yGk+=I6XBV@hJs_W}Y!xtLGkIZ=3#vj{vSASE#c4;?XHk4^8Br=wW z)SLE?EFt5<-CcCqI1iO!(`$#-vqH7F-u_OOHxXcFKCke+4K8-^Q`~Bz{_tF>)gkSRU&5li~ueNf0I`fm7njc_iA&SN)|6VbdPCe zW%ZkiOcX-KS*rvcY~4lo2;kRNK{+C@2Qq#^Le@6mVU9O%FE9m z{RJ@Tb@>KTDFk?LUc_!Zj-_%)8f|8@wZLe*+D(_v@AOCd`1p`e(y$mco;Gd9lp8c{ z9Ao&LgAf1eV6w|%wXyr(U$6V~A6(3pru`8dmg5fVtqpwd`GZmT+~z~+4PSrJe>pxm z;pUcG(-(zyyko^w_RyL&Ugg@n9Z&K8s~ zhf-JuCQ{fs-k&=^&(&9TxjH#HEEN1(KD@rTzlc?}nWc^f6GRjd30|!Sho=mm^FHSR zb0{56cdc16GjTe%!_B{cA>5^l#cbQ7;WkY32cOIkA)1?;yN48sG2CSP;6g%1HG%T# zEzFzSy8)HIxnCIEUaSd9B}jV3$;27^2f=7kjIszYFB~d#YV@N-26K*@o$g>I4#tZU8Y1M5gyAFxIdiEr;$Z|*Heih zbI^;bi^^2nKdZy`^@DFJ6+m_dYt0ONCj$x??RJ|VbstB=+x*X2p|1JLqdGtU+;Z=eRpR%eV#{> z7*sL=er#W2L3h7n=aqV!nwpw9nDFB3{qg4+1r{kODMXnd)^8i_GO@(d=c6oLQFReG zOrB>eT;H93{E(V+>2}bGwL$L{1J03OYQreoRnL z6xUxv6MirrPvcr`v=3}D8;l{d=bffU_G(;Whg+((K(@a*Ur$Gh9I<}7IT{jNQMc>e za{RL4{uh-nn4%K?t%e8-OQXZ{$Ab)hPvLd|z+V6vvtw#(Hd7$?Nl%6s=a@i$UknI@ zd%c-eS#nsaCOegL4>@8qY=5{rTV>FyB;@*<$ZJtN@>?O<8W*bUb1qapJxukF6U|+p zkwm%(dR7>OcUisf-)jlE7`1_E8E=H-%p3rM#7}mSiqi( zfqA~m!Oo5$g?d6GV_juAp2mw+_6+!8>>0SS={!*T-;UzqG7Ad}6L8y2g)ZdFpe=-{bAJuEEj>wM|3ujB>@flO_Bn?HWC zRO;W`v=3{wI3G-mCbOv6x@O_qV0N!0vV0%$kUj`?jU^T;Ev6EWxtfx92?hBJm9kN@ zI{=H<@)}`CzYD((UF++FllXUgo2*E_0CUxv+}On0kXBJ1CED-j=HJ2CSshut zW98jEF!IQ0i&ekz6!3hPSv(1kaO_b{QLWT(DPEHt@IMTiIs`D^7Ay1?JG|VQb08+O zgcx@6+HFVh-+|ZLWJ286{J31IWhrMT)za_G)jsEIAcBnKKH(O1$I3c#Q$jlgB1y>9 zmAP@YC=3OY>vf@|-NqLR&lDG*mG1=&6N7%4?<9k~@OGqf*ZHs$nfB5AWU&a-ht)aU z$;~acG?@?ET=lSZT0a20NvQN*?au;4nQs-PzeGCMNb>7tE@aEmGAU*ZUuc z_<^{bZPYs~JUrTchcTzaDKe#YPXE?#o1N0ppTZ@m6n?e49AVfeGiZVL-kHmGLD2Pd zX)0I3Y9izDZuMJeXy~kvBsx1r?9=|AU}P{-fA!K#?uHT$6A3Hf1ne6H8G%o1zD#S> zqvT83!gRjOHWMRbxlWyBS_ZkjELkZ8fQ7~U5{1tp9YaVLGeaSf?fZ1JJDhOKEv7T8 zxFhWQ(yU&jEb?;Mnmtx(4Q8iQDyiF+B`Ar93LauQ!Gtn3fLA(Du(EksQoT3 zE(Xu?=5+b`}SS(fzWY%$XtTsKC1ENuA?4jJx z8WxQSyI!so)YRfz5+5HQ$5S~5r>9jZ{9=d%cCcENhlhtbGx729=~N0%#GL-V+up98 zV?Be#$zIvRhS$Y5$pXuYd|L5FofX=f)p*)G2pSQ#50~3Z*fio^LkQfYezg{(re;So zztfh6O%R^PdB$hM@L@*iy)Smg)%KP zC{Y7iy)M6Uql+v7H-}ej|4F5EZn|UdNMV*R9%11P^BqLz6aU!)u6m!XZb*Igf)>ee zjAHmbQ~yYP$uQi7So=hdT9zooM&Hj}zCKbN=FNR%Q{M#igvT;$JHL&PRIL!;kAOcKPV)bKySUzFm+@MbI7-IdGch zQ3op2nD&E>q0c~n1h$eU%xB~Mky_*UC$lM`2Foweq>fMP2w|qpCy?az@5Mi`5Ao{rl8ta%73vxtx!$DsM^pP%K~jdWuHu*f@`;G%EnSTgj~A8zFRFF5a4 zL!Rq4=f4>WQR)QB_fc!=qUjrkV;8;ILM7}kal3C|C#uIS0)1>K{% zJeJp6y|h-5dyomTagA?!B5q6M5GP(4pR%ce%{FWTJRSi)K9kki*@UdNEI|);RFB!f z+Y7>#F_5rrdS5F^5ta2kDRnYMJJASH+M%AGpYK3kA>%SnaqO1lg+t+Qc6jmF+h!>* zCLD8BXjbS-N(ONa%QA3xjb)OViy}Kd-Pp9Ygkbc=ZT@MmvU~NEdCa5(lW7Yp8ZjUk z77>x>rUW`YkNc&uR7I-q>#bHRZjEtIfIl=m();W4y-~e2x_y;lN7}hGX4mT-flfu# zWqvph9UUSwc`*4X)FXF4Xm#sBGaD5fEAw=+P{Ba*^!9ww=5mxL0;b7{`S~x}BCY$f z7)m-RL3wfNz95e0Nk!7nK#u`WP3Gp3MDL&v@z~5r3Y%Yf*rXb?xo%@+!~hx02T(Rc zsT?$C5qTWRCsvA{uzsUDU`7LDB!5Pn`WC!~Y|%P+@Z8amkrQ6K1G!>R_;`84cq)uv zUC5C#%SjO3Umj}gAi>(58Zyod{M}eWKJltmQv&8Rt#2l;!2l9=tH*UAVF^ezI-aG` zXd)QXGhn_HJf}b9PfSdFI*E;mp%#d<%0bkAPvf#}bv;WHa61PhY0Aqm4Z^1Lmo7@Q zwd$YhcK#p7gu>oKKy?p*(g9Z}ZF=<^cnUzOw_zN0(XLD3lQ!8r1z0F(%pras z%|c9@WeshX3tK>hii@lS)7cHP;X=Ggps}_HJ$)Kh!2zz~)$O9ui7j#%{B6x?K5P3gr zhsw*3n=BWZT5co~kCMqGd?Ute-gpw7YEDOf>bmBF5Wt8$p}xkNxLQc!%qITw&~S z;N{?(K+QW;1CS~8zEWov7Sb+B^j}7zj8hf=yuo&};taV$b<@flI#9lHI;`RKvL~P| zA72PsGEAk{u4S2D--zG><^qrfNA{3CpisE0T7n{EL5z=YbN;!pKj4-`*t=OdlYd$8 zbrRMF2V&rsL9<-6ACr(!(0+w8WjzFyp!LUzG({I!H=50+d(dorPt&Tt;#-bOlo^Dk(qF@(S9|;U^SW5PrC!wZU515CLMMsvw^<@(PU&~ zU`R>|b%5Lyq#qy~pCJs8O`&DupI%*kZbs7AZL|w#7i%YH^Lf5A==Amw7Y|55)o--J zC(O?W@<)>xXbxbD);fLCi50c$t*2?Sy~P{g0;GPa~C$6uOCvzCcIE)Bt zxpmc%02&&a=Qxzs-p$c0NC=Fv$m#HI*hkk?h>TZ zZ+CYh3^ITmr5!3Gn;E|VA;vmYLpUO&yz zKM5?=k=}R2NXIe7zz0|NGJy^VeJV)du~16+tHG(xio>3VrkO2kt=9}n1(Y;2kqs`2 zaI(U;+aHycmG^5=+}Lh-+-5Z;KvV}wo(11)g>Hj5+W7J^{wgkuVF8uq@MMkIpmn+? zVzndFX(y3vIz)SW`(b!8_~gTp)I@4ZH|KHlP6ImQ;;+)^Zo~W4fmED;GJT|6fF-Ua0>l^jkof3~)s7`Hw-lE-2$rG^cwN7{<1LE@>~%B(K1yg`WrM zZKi-*VVW$}o|uF)LnlHum>hR{xm`hlZqNvL{jqXBmD>x#e9gZBf^So{+KoL>4g!cA=b(U1|Ys#_SadS#)4^l^~?p$r}`EEEGQRyBvaCQsBoi%%lyH z{##5=o-cL=cMcNghn}9E1zLIVx8x?Dv`W;Zgj-E|;dIkcNrP`(Cj#Noo^DSRjr9nBwkC^@J)@q~>y2S>DS_X!#>%F}azI%S11q!QLmHKps?Y#CtoL@cT4BFpu)wTTSA zgs=Q{9A%mn;)_4c0n)#Fdlt?qjDGJQe-vr&W|n7nUfIl8m4>0G=iM3ZVuE>43ANQR zv0@Wyr*1If>9?V7k|rgJ0o`$WGy#vY$5X?=!TJ;S4;vGYQ%XEgvKcq2g-|1_l2=nx z z&?xV)_}Dk-Z~osW>c__W|J@t<-}vVLPxt7*7Oo5sZST$431mwZ5DVox3G;HsSG>NCxms@cIp5yB8+4!+ntaOv;1)(^Yy#7X{11*x1;&g#)mz zh5tY})Fg?YuoMf?-q8Wx;*zdc5z)PIo=wiCxkNaRTOIsYew|+}j@#m33Ch?QeP_dbv}525DIFV>T|ak zTt9_9Z)6$KB2H*dkG6Y5>;I$jw%@JTCNmq*>(mx-@vYa}Bxsj@x;dU#5Y`0+GCrB7 zS+H?(y*Fybha^wAqOvl6B`s=R3W`IluK)_->;?=3vthgSqZ&4oF4ntJ8t3EVK{hCq zZh|y-=nK(@;RUopC%-sVJt}-~RVyM|P^GXn!9MS8g$zMI7JeuYIdXyW}xaVJvdAe zln7B4p{Qc7v=nb6%LhNe#(hNv+3A;;Ci~S!Fa%B(tF-30$>xnqrfmH6z&_K%gS&QY zwQmazMQ0>ftCJ~rfwk|j@$}z6BGSm!%GzD~jOldhg(&uny7dS+isHeb5M3`-zjgGJ zLPiahX4KXP|0kV%`~&a@p;R!vw_XC07H6?a$mQ_!dh3sx?TZT*Le*P(keCWf6$Sqq zwV%rIkFO1L5f_JgQ!UwSafXkEev$>1He8wypEwbqM173FzSQ1P!}IZ6iSxsyNe#oV zq3Gyn>=+lEkP4fTD^SMJZTL#%I*pi!`_t9g8S~X0#d7LG95~;_UQ!A;wIVsua!JLA zA{JWNXFdB2;q!E()9KyPl5hT+XBt>Dku8$_A$)?Fto0O>E%}^wB;DPcd4Em>-!jl; zw|>kdp_1|iYwzFdV2y$#v;35l$RZrpH#Bb#miOx8N7W|1eT{8xZFc2&yKxn96ki@W z$8uCdTQ0DHA?pR=dCIqC3U;Zmmpry6K1DA~zZPl%;O)h{DhLe0meow^64iXTM-iVV zmnY0{*<9M1Iff@Y8~G@?K4V=;vWppaTyk_09XXJrg9VnovSEmEt@q5bTpa^s3Ij3? z4UH1+i(V2ZY*tMsq(|=G8y6GUU$!?lG#k4kW5BY%i{-d4jOeC(ZfT-Pc^|l$-D8@< zX(9q;j7I=c+o{C@WGq_IduDv;fl8RI(^LHp&)dsOM>dSZ`Lbm1(RdTir6h=*zkhG< zF|{gmlYY>d)(YHF_<>Lt8XSDIZtq?h!uH{g0;1M8A!K4*}*dc%Y3`)OXVH+GAJiUlgJ`I8FS3`1j08D15 zq_~3|AMBpJf?)?9SsU!gRDaGDM?^#fQ=QF5dka?)NEV*`JE0Xwn(D9g#6Tn8|CGh{ z+V8&^|4%#c|J%0F{yPMd*yn{6`3?gJaFI*iuZ0G`eNNWgMFT&PPOjKR;{%82Jv54B zqVfN}4?(nt#sf})14VM?_PNM-5C4LaHy>sgb{eXxvSX$)##k80JPU?LX}s}~ zIUrQXj(OdS#SP66qF`ptUrhbuA?zGdJWg6zcQQ6*Z7yQ>3o&7%jDm@VQF1sf)Q8FqdjfrpBr)A>_Q2Fhl@MfU1zcM zv1R&ZJ-Xi(BPTC9MM{sOBdMbjI10Nkd_NlbiK349^AQv#@gCFdMkQ~(RtNjY9aARI zSyR$=j1rNx4Ei)IN76oRB(DiixS2Ff1x7(le#Pxq37?k18}Yz;3D%s8CjbI3?TBqU zHJj-Ti6XOq_@(z_<>A5rZY^;nMCH}7BPyM|1E#y1e~37Ocj+Sm3N75LQ6Pii-NY&d zPp7<9=yig=T-!50Jg3vDxGs5wQm7#41WijRd)Nmbi8ae3YjB$n4D{ILIB}3_pM)8>l2x7e?BbE*X`AQcqjt{%|vwXpL7Q? zZ{D3TRtj25KQUft7wS`9gSG|>cZEZaSq(}bH{~h(h%_yN&eBr^m!FBn1jk`%Qpzvp z#M|36Ch)cHmB$FI0Kc%bnU5&l`Th;2YkKU8A>4sSibmLidP+$)j0Rl$CA6A|joBzS z3V^!E~`f?($PayaI!Ml%(VCO&;c`FTjbVdd)*$6~5{Il?672d^dtb-6x=LUWrE z-V$=o+Jd{Sz6ICP+b-)tsP6dod`~${bp4jKd;cKcJ_3Pz2;|%bd+SfW!}>1WnIEG5 zjz;@LtcPCl6HPA@f&XJ)?)2Z71JVzaf9bx@eYD7JjkJ`jmRNICd<$_>oWUQgK*0VX zs$S$zD%fnMSQ|ongBA3g$aat=T^vjCYcVWgH8@lvS*s!H5DseiZ<*#OCNbLL*#(`^ zQKbTogugqgtRvuQpxUE`I)|WUvhV6dMBz!)^egK{K{Q8Dh}5Dx^tV$P{SO72{A0eA2WF;t#&KdpFKf z;L;2$L@(Rkde?qcH=Qqkkukf?^?eBI8iwpcV!WGSi#&LoU(j4*jWNPc^2;zZU4yV0 zG{QV^3O*;=(ZHpzY9(&?eecjiDQ7@kUZIKSMNXSpB(MsDZ7lLzD9kNeor+qOoja3! z6C)E^L>4HnFaKuzxB*A`2$5&2R78n@t^z~t&hCf1PXQD{q#5^jq@#bNgO)ysYrjxtjO7eixgY>?PAL zyAu}&z0Y*zH#>X!!n=95XZI*bWOUdWlck5~^)?feqY{S1x5~f|tKB~O$W!lppDaLyKM9e;xa{tvW zohHwopZ&Z$LviD(6|#Tbu19}Z$UU{nIQZ8E!wHWkRd~Hi&@|ot-7DeU1#jSfB}UL% zLivSvntOq(_?BrgAg?9dZuXYHff-ntZT|qS=H7nbj{@>MKJvQ*sRC4}el87w#-Lj8hJpf_CqMC?_fdT*(Ac# zJHCU>xBwB-{=pvwUQ&oy6FGhI4}NW+BlrK{mt|y_e)k8z7LdpBlV4VP;%0t^;*!do z)MCAg+?)V!MkWyk5eCTONe7?;#@y*~KlzpALCYIKEdwSH0R#pR3QDp}5B$Y1Gkp(G zCD7mpAblwip$kv=`KIsr%g+TA2QIV}=0@mS4pLzN6bG)n6rQgAho5VDz%PDT&>Bph z>0bZ9THsQQ>eD~|;y1!HB?BZb16rlY#SL*h_*@#WWz)@n^Q%u^`(I+s;08hk0 z0?e2A8FEug5|Kj|>^NXpBG!8{Fi0TjVPLp(V>;tsel?&?8h`m^S*m~XGfZFeliwI9 zPzw}bzVwrS`u->U@~}{y`wys!=NC{_>@R*5pekOV0JGCC{^|NpfuRWvNRS{)6-d?J zUtq&Q+L$*1Rn33OFO3p%U;|%(l+OJPHc<0FP_Nu?pun5o;B*AGA^JD}bdP618$jWr p0164@jKhQCr^&yk-~G=o1$5jGpjpgOOafCS1k~7WvI+o|0RUy7n+PytU-!3GuhreNWzFi|7lk6--$YP8%E7?m004*pfMz6$3Y2DrfrAs2CO8ET z>UGtFlPD^bW|g4#3JU~C%gL0XH0uOlpbW4f2+=TrNb8<oL5+$+X$Fp%K-G<yK)*qO zaPXg@m-ZpJsRe_r@n6>JD5_u<ksyjs%`lJ?w(hAJj>ZRFQ;kEIC!A1(UH|}~7XY7W z!H|OWkumVV&Y5V~buPm26atVoU=R2@um{4RG^A|OjQ}|j>rA?l(%c|*SV81ESV0sS zHAq<@8U=Eq)+t1zZKFdvz@3S9%M3x5QM5`-h<t4gt!`}%y^|QiWj~?2f+0u}3oL+w zbn;gm&=3<qsmaXFK31FYt+=?DwW_ib{1yz<0IjU6>)2Urc_nlI5IS1pVLj=pwmH=F zjCdI+w!hrV$YMPgdcOdzoE07}y&SlrQ^fwN{c7+1%^)|!GSkHK^O@25m#QLD#|jNZ z6itfZdV0&mX%km*pRn>J>tl`LsZnzyl!@>Lc}0vQ(FOYJ%jV0mTE(ctJEw0ci^XGt zf*|%nPK2gW*hV=x&XthNk?zd{=Va|hy&gjAH?)n>+QS+f_4&PBkD0H4StAP0c2VrD zmKU6hCNE#TH2PvWhaQ;c-~3|eVmE7O>eH4=qx1929!Iz}G24_aQETdZ`BANBZQc6$ zJ&-?g``54S09!)Jo<6QHi%|t@u@HE#oL3-ng;)KEJR492eRhFiONQG;FHaX;RqP$g zo>Q}n%k_ryrFjdC!}ZD&{esA&Z^X@=7Y3P;t8I+-->MLB@Ro9s3Q+yPM<0FNhV`vX znlhYrd9pu%&7H@b&n2L1GFRlsBJ5ijHjCy&x3j>Ic$aym`1wQwj{KEtL@S&rIAU@T zhPM1XZE`kkE%ZCYq<f|=JI=%S80|(0|5kQqQ4xbz5p$}Wd-W{#xpsGYQvPYEQU`WA zFwkAjpIF02SoM=G^?VDJKH@!tU(v#bG7x7oj*QuWTW1jLUvw#uO53TkMP)v*ZrMRS z!6*;aG}DgK@peT5Ksq`I(+E<;b%c7L(H*i3Rvx1Fp7k@rj@+Hk5|6I^KH>OX32tlp z1bb|{ai4=3H-Eh+-w0Xl+x__qwceL>q?_ftMVz<oS8{$6TcGHuPP8UQDkp+sucahB z=x4x=t+f!>QbG=^=m>WB{&1vigQg9^7w@R0NeojMTQ}NIP<HTxR+916!Ny9?AQF_` z1OrcLnc=Y~H2MC^)Rt0_oh@>Co%3@m@uu-ZBL3hxZkNlsZZ0u}JCIaDw_Q6NkniEF zllw(&HyY^-Rfw=z!*y5I|7mO$sEErynX*P(xEs-VLvl_^RvwHtXattb{q&RN<D>6~ z-7qBk!8T0fQnV$G9)J^kZNd~5$nHkA&7fFIULMf5Y6D*pG!Y+V81vq1An}8I(mXsl zs}=|~Y2jOGDSiXjbe=NX>`yhfpB-Jho(RVL=Qr(%4|XJxj9naN<g6qFK|p3>_h6%! z$4z0VZ74*nguQ@0W?xo&Nd@^H${!<X(7y5UrdJftZoae28x&Y>e$V5hpd~`zU<?ac z=pLqERYkT%5l8ay%Z4o|F?Xl#FZ=^e8zp4(+7It?$~#Q9Hhz*z9twj#=Zj7NXvzWd z7C-3p05fd$6hdnfnjf`vjkU5TkgAzxEnJ0GpO!s#-f2ddRA`)Fu_=|iz6px*h$!t# zaj7V!p`8KJm!ue_sJR?+ff798ER4_I=F~X;5TEy)q0}YkR{c2TgIJilk#8ZzZAr78 zILp^#h+R}+|Hi2Vn#h$~=Db%;$!AhQ5ovy^zSoTBNRhyWo6_OK`XisRYPC<w>=gBE zM|V;CckB_RoscGmC-U+cco_rM1-f*V!8{jf`%9y7#%+E5c=5)oJP=}`G~93-uj?N4 zvTtnjR1go-?gqCsv@c`2Do#zyXkz;sgL&+A*9`3D@p~(&-Tr+&b9st`;p*=`vuf93 zR?w2JxwzK-we|Q~*sFD%CCs7+hf;djAxTT0MDVmStMQGnL!yxVM5eD{wEC{3;FLz^ zfCW>Gr9UVvAD~J$_dyxZMmcfK2u3MPA%M_uZm|O1sB{j?tRRCQIF-pMOt|{T8%C5( zGkxQ8G(zaJbol49Z#8A>RYquXA~1uhwy|o9k32HbQw^80w0SShB1cSzzH_AI<et7K zAOAQSAZ6-=7@rxcLxwSuWvJH2k4N^!VkX6a>q)g<81;5YTN_jxj;M<r59*rK=DFzf zf&&vbTJ5_`%M+n}TH|?fv4t0+d7^F1;tcRVL@6tNAapWAMF~vbAZ^=t-b!D2R-HDS zAnWYh*^tPJkXonT<Dr+LLcDSznt3CRoqh3Rn?zcZfr~(<N3O4<R~V;6j4INpIEFOX z1=GTCBQC8!dk3`n(Rwf@xX<BDN9{5053Vn=_loHK=a*!kM4~5`5#=AR6&9uM)g2tE zKDq3?*gCLMpDmF{NBpe2Orl&t&XjgQF=i|YROIeU38uo>x@D6|LF<a~a->;KF*?kD zf2D??tf-LhGn@I+S2%lYzGUQCr10s)E}w@`bB{+|yyO`4-Go)fgD{_&PxJy{>lGDM zdr2F$jIyE^C0G1tLN;9KCByRTJo?L90(Ticag>OL1030iz8^&;*MdgbLZeUhsxT;R zMguEkgoDf|9ziSFGn%s`578@@qZcydtk2IYFPJXO=TWK%bw*O{Ic6VRQ^6BZ6`9A; za3Yw+nVNDS5H{_iN$_b&$z!Cmr?MHclPbfM>T@Xn1ezN?874wt(OZ{5TV&09Kx%Nq znwK<sU#xwvzIZB0;5@E_w4e++eXPCoy5vxweZDeb;AZsZhdRFJ<kt#CvG)0%nQu!} zdow1wE%r_GgCzRH;U*&&z6@Geylgu)hBaU=)leCO_W3o|GSic(1IJ5FS6+%j;c76O zCVlPmJ&M(C3-;Tb7@I>;Nzv-nnZ&0w*HW-+IEt#en&>RWRm}pe==#$3i$7O5XNu@% z5VCylfu8cH=-Qeu(QT@+s&hG-7JB8|=wdZvd(@RQQKS8!1HP)!ZgR0wH&Li_eUtZc za`VCj8lIH2!d7>Ld&xVCF>N^ia8YUAJnccSltWNyZ}`x4N;TEZ(ie`_e)+qY&hj%n zEaaX%fV^Pak=`r0(^`f*cEH{^n*R2;n2Y5n@Q!+vYYGF>L|J4)rK%1`c%IHXw<fZQ z!yzewx9y1-hC?R+^zLF%=VcJ9b(9IzD{vJ;zCYwRa9dymHdG^wV@TFb*)I(w74~%C zVja?Y-rOZ`uE}BTTf89O7Yt%8QN?pqlL1sX9Tc^O2C=(#nM^-!TbnWyiytN$FO1L= zlL_oJ*pRq+CP$eIYh+HaeX(J(A6EX1u$#@B!P~$VU$()hPfe{k`Ysh8h6Nt9la4ED zY0)7;RKrq@!+q<~x8GwvScIL`U+#p@w?lUkyae50Ph^<tmbf3+7rG)YdHb#TPTACD zDKAsZG*?iP&tZ_=zIRdL5y!z;NW49_A%~wLHm1ltJ862c<C3G6>3$N&1DgYOkA&5e zFv;7z#Iv};$WBj9E}=N?yj%;Uws2649=%lJ##|ulH}gIH%nuSRpik5scORFT7|ieD zy}c)W;%uy{;MB{+w|;N^OVkNvVxAJu{WO5l_FmXyciD;VbQX<2>z(ywkxeB7)bcsj z(>-f2g6$Y<<A%Wq<LRJ2>}4>MPV!D<SQg0!mK<&zJnFavtQ^s@i4ZAhmcpnn*Vya< z6??&FUJbj81vzsu7`2J1x^c`9f&HU78Eo|{YUv}E+yUqTjWlAe&G#~Kb*=?ePTb5A zQCkZ9w0%Z6obx`tm4ta%BNMeHYb9`rHe$u9^xoW1wxwaVoV?AVDE-N(aAzXs>oAA! z$5`LhDRKMj)Z|9!b>EDd;vDsJOGNN6XVR-MGyIye3Z^J%gn2vl`7%T1ZW2q2sXz`u z*lL4wvVJA6;jxCiq*R1(J0cX;izs+NbqF=fOFQt0p6wmSE>Ncgmud1tq=^p>>u03G zG~jlQ?B)&ZWWL;wPOV$8UMBDrsK`CdA8j;R+0)wCGH&rcC-FT>jEckxU;vQ<W{mny z#VsT9z`H|vY$2^d@Tw!pKtsOV;uM<z`ViavcpP*hymG~|*Y-r#nOad=sJyc9p3=&B zjYOqZrRb1B_4;TLPB57C63zO9Y&X)u;V=uIHfHx`e%XQb3e6GFUGC!+XpkM~K(aFq zZ)8>^b`7;d<89PrHE&D15>uJ@rkA$ONJr}Mod&{$#Gnq|iTH{nua1AKDog3fQ%$v% zfwt>=ANa<Q4xLw2z=huGI~f-sm65jGJFBgF^8iwqE=%j6RUlP)+G&!IKRU2zR9<!z zrS6M7H^zA!XQ-2QU0mrN=#|z3PAh6QW>Q>H7$2<8Cgv?DApQl(Q0pNV3q@>gJtQNG zGi0>TZPJ89!;K;R`|=78{X9TzOlUU%suq~onYJBj`;vI6zVvI7XZ>at*WtBEj#{si zZ<Si_6#eEygM{*DWf=C!A$>No)LKh5kj4~~oVKbX5Um`c%l9iO=%|b<vsAU3!qMtA zqFBy%?SW0pyiS_)#BkN2>x$#d`l6{JVFY3!mvf;MsFt+|mT*j_m3S)w3GO>8i4}X@ z5~Jbl{kYjuq+4I70Wr??N-eNv|2<aBeFWcAM=8adSRM_r5ApZDc~q9ks?J`4%a=?c zOc*5v{4QcMV>ravpru^35t`0Hly)YHd0c$dJbyB41;6{d2x`!{eutV-I>I|Na|u03 zBIz>kt9Xy~2$Lm%q6(IQHKE-&TB1{@%dM@W^2_i5qUDU_$5_cxd^ciqIRQs{+DlZu z$4$Q@a-zD=oA9G}#66O(<+A=$leqhoNuzKqMUTktc?jSkP-Jk*`Y%Y3JG}h%c$?ia zCWbfjotgAxykRb>2OT4H$nx&_t>yYE=GS2^0pue2)UENC4=N_l17Qr_G?TV6g=|$l z_|I8R74ipVN|JChi%6PZo7(}@U8_;(Wv0B8!A~NWhUWSKRUwg%-$e>1MYL!l#@qPw z!jgLe!Uv0{L4F|HImq?vqrmr$hc>qKsGG!)qu|LD_le_S36D$ft<}VRNoLO66)77{ zt+}Yd2ZUjT>~QCa+%i9I0^LfC+n<^xF5f-K%G!LA8_4W+s@V+bsY|}_u+!{xE#b>3 zgBst3bAB{yHsoLa`1<)1_n!3C1K|NJ8U-p?Y#Fw`1EdPa@xCWMNiPA2aJ<7|0{U4# zsEN@-1dmf6RMt+?dR)C*Dom!A%OtkZYNTP(SyrBz+MyKurRJc<x9prxwXoSy$$Ckv zqNT{Fs6E+LaEWYx__K#PzfX2f0~NO>OWvSHN?LQN^mP1;kl6DH!6>ktHKIwR_Ewi@ zS&)NN1jMC<6WpVVFt${L2eT`{cqWc#+pKsP;>FJV(((Gid~eY7xON<~I(BA3Y(<%< z64~Ifazs-tlHPQXxVY8!uxZo;mz3C&8btM`@N*QfL|5}f@mOx{CJp>eSoyO3QokJk zkubu5igbv3nIuS4|L01ou%MSGFKT$=$=pa!9;k_xZbg3YeSk7w$lBMh_eU8w4i9^E z`f0<tMZwW1Pd#=!Y@_;Q<l&wXISlZ3XA5>CK-ZP!ilQ;bg_dU4>bYoNefee#xEtrj zEIC(CLMJS_Iop;P=DHZwgPcQAaAn$)aX8PKXzy|XuLY3M#PJD@%2yI;cZEH($LIFf z5vX51q&fI_Y*+2xIXesP8wd1N2T4onvDZzOss;f=ZtKU1V2=O<x6HOgljE4r#`lwi zOsAiqbwpqCM}i(cWHk)c#yJnrCF-+0`&YjnMb&y1@EMlkPaKo)7bY!HmQKsjB{Xs$ z{LvUr#})8P90mJca>Xe)$TvT2T35l0VgY1L@%SOeEXCK;VqI^q1Iv745c;#pS^t{G z#Q@lxy<?PKR%Y=^{;7wlm_dx(xXWGLqReU3=NUl~J;8Rr{R?l{l-5MtMD@Id)%=mT zyLsN3rPfO)Tdfvc(nhgau8(T<5|{PQe#dV;xkKxm;#=(*)2}x9!?K_VWztO&bX!39 zBHCs(xUy8?YgNXB*XnBzjNE9wM;db9kCcr9S0qJf!-uGAE$YEK4G(NWz76Icw4*#+ z`WEGuUviAAu6Ay+<4hcbb#<LLV4PvuseHb)Vyyhy^3EdgeFKekW)7=z;i;!kO58fT z#o#1HC6EzfK~yj;<b6G6d8DlH;Aao=s=4P4y+;xg>LevtLG*utN+<aS!^W(MyC>^| zT}3rgi$M2%oKKxA1DBs>E^Lb`osZ!nl=>jb0!ItZHpD(gOJGt_rRgzm_DK4vcKl$P z{fB?$aJA(v6H=NHT3TSua#m~bX$0G>0utv*dI!b#QCW@*s@FCJ$r2;i0Iyq+Mudy^ zThttp1qJWgC1{(e<_e1QQep*f0^x^>h^Avce^#$oWcx{F!9)H0wd47RoFj|swSm2n zOPUW%dKqP}3aOVVz8-XK4D<UIvF{5<{IsuBFe)y3<wyB-FHiX8yg+Q)6WUr(VY#oJ zzrd)1pLn~5@PYxiSvj?`36?Ayq*KU&Cps_A)Va-l%z|)gFgGb{iaTmVcdC*>Isiv~ z?(j<jzu<}NrC^Ev<~#L`o!x<iWu$~<PJ`lzWhBE?$fPfeQd(z?d0Lr7gNNP5vs3Up zM%AW=n3$?w#mF0byP9vR%RO^>x5KRqak-W^uJawAoj{g|I0`;Dq@u?RAojCR2Yp;V zrG$-D(y$i?*5%iNXV0Z2lUn&fc!gX`JDL`h4bx%>Q)1y&@Pce4D|zTH^)`zHZ#7<) zo1aBC;zyr$yu`6V?jV{;p9b)(t1PUPIlJJbMaW5J@H~m!PvRQTM4TO83y~a(p+!yt z(Fn5KLS9(T+$X!q8?m_*P+__Cpf-HfC5q-P?`+z=*X#Cs2B@)qrPDc$>{2pn4&+WJ zU){1R6T7XBulPl3@+`00M{Oh~xWBVg*j0Hy*c-TkiVvtY^AJnaT-Xt7mH5MQRE}-b z0WQqEQ{18|Sqr6!6pV`O2gsyDBaw~g_GB}^3e*fHl&o<rbT-|*KovZ6=u2jI%?mxX zUlOOuNdkIux4;v%*_kn{rFLK3iEtL&<TqCrWo_YYPO5mCE_yY??hao|9oQcaZIgXJ z3@0_oZ+*PpVSSl?c=WrjW>@d{hIZ8dX6!4i-GU6`d4GiW!(8e@0_Y7TKguKT1+Z7F z)W7K9w2GTN+(K0x0d&9=w_FkjZW9!^N=*xoj4iLs=So~f&B4^r`1Da!X-}oM6N@P4 zF||!+hrIW*y=r3ML$QudzeQ9158Eb#CmrhbRA%>O*1gb7TLzCHvNV9@^3o7>jnbRa z*nF#1=EV|p9r>RrG~-L85A*{qNpacVU2Ph!ukpP*WjQU<a6vfJNL4@-{|wBWru-9Q z{rHx%rL|HNQaK!}+%<{{jg&Zw+N`E*Qc+cubUgyrR|T!nEmTV@*B(z^ZIUgo^3~~- zSwh^M-)wbd>ZO?qXL>|14RuX^kal*cfv!bzN(ft?&}mYO68NyF7j;uzeh^nrwtq*b z{DHXhN4eJ(iy??;&p$gep;9p-w=A4^kitp+J_UG_CVV5;J#4dD5;ZhG?XtYh5=&^v z5-N2wi}I;o+vR+I?THPFY^7)6e3W9aQTiZ#mW9-A;!QE{Qm<K!9*3otsSRGPbABfJ zxluIN7Uobr{!s2tpxgNV61bN}07WVFK2~6Ef+3GAmtOSyB|USv5%U=TWyK^#D@OK% zs?rQ&b}1Gd!LLQb!GS?-=gX%@5)~vMwuC>oG&4bi@!kU3o69c|T&UL4YHP`i;F1y` zKIo|P%T@~(qkL0*rnQ69es(cW?YY2NOz6@E=fZbQ69XH6yf^OW8C#J_uVb|g=dSuM ziVZHb42=$*DqcD9&qpp8F37TXJ!yZlXHBU5%#7wZ<xY=a*dqPNHPY5=KK|tNlac?s z+C1k3HtYH3Xi;*{!Je-#KAa|H6&4R!<qGKeTeg3k?-=n=Uh?#cd|z}{U&=~`aa*SW z?R_@`QDt@pcD(EC*}yYRcVxIpvHZF231to=c5tGoZ-d1bHpE=^H49NRu_D57O;vHy zV&~LjE+#tyV(K{Whm*FK@Bw6zr>C12-6FDtnNDHOiNf*Z%o>ZI1av8Gjbp}~>7^hK zJhsUI1U>e~ByE5LPb11I-nyX2OyAp^qW*94SvSnzN@BI%J3ip_QY>Zp*fg$Wm2C!- z8=SlKeiJ<l5j;G%T`{3dCt`{)Z47vWC74ip2ULUm5(2s(e#0cT6%3+1$DK%xhnWyJ zX5;H`j_=zao$R5oWl7wZ+s|+iT)G7*pg2*Z#^u9MPA1o|TsSAF(77=el`9Bz9E{O3 z37tKBUC%0G=a#Tp%zJ*=dA&<Z-Ha<ofTug`3QVG*3tbp<TU0nuIFPX{^PFfX+i>|# zVM;UiYuNT8Npw3nkC>mYx0wcSX*O$GZ`Ti+ku4zm1U(V!eXXs-_tJz%rOgqL&6^j! zHRYoRi^@h<*@sf+qUnxh|JAA}F3laJG`du}14PHB82JS(agBh6k!R?uiFvH*#;;6G zgrz>zG+{H`sA{m9x~vD4xPB<>MNH?(%t|+<RI*C?4Q-gud_`y6JgsU`d<Oz&SMMFn zNYTCv5jW-l-w#~I(QTLsZ9YGMxWl+=$^$L(yY%<GoDE$qpB>sQm`4WHwaDjKLW=3U zOdf6{V*MMI;S5XZd`nfKc2W)!l&|6N(PnGun2D@fJ6ONg=1D<UMMSt&y^FX)MSWot z$&TVHP8xbX`sDw!TF0%VM)@?8+I(r(Er`PFl>|W=fFqrV*0cj<NXknQv?$mm_3IVo zZMXX1s->*2EyLqJ5<|f~o2Mp?DtWGOcVAH_RU_fE3&U9!k|kpTg^9d;jenfl?3K>w z!Pv2k7jk41u`0BQ+I)?A1LD4_L;SNq3)z*$J*TfAQg=mCFLqS*@KfT_gP&kcS4vCb zeAB_}I-YfTG!F@bGNB-S5YhD{(e*IObvH}#XJwS$?wfiogl~c?^9R>_bv#Piwo`EA zC>?q<X4)gz*9woYR%jmdylmVyjE7^-C#2Vntu?N!^gOOh3#mG0p^UH|vB~`Wa<kC~ z6Q6eAJrcA(p7j@;7e)d-5~L30x|U1G$0lR>qsC9F4<u|cXQLT;L77ge<?3mQg@)lD zgy~xsngTpX-3sqjOT#@%^ll_=>h7II_l)Y*$+;N9Jm|be^Bb`+Wl?XctugY`r}vmM zg0YLjrRK??syYZJIi}i0VWL_Smi_3uH-dsrlZL%m*b;ZkxWeUqC2+?ya@@StC$16C z@u;KX0(OQyd<cy_K)JRVt#_84)#Bu-_retfwC+i<yR$gyF`||ct*q&&vlFLsBj{hQ zr6=;jKsyEGZ=6p*+unj_IN8rb<!E;Aw%d{`0n!OgT=eN_Vw4FLf%;O#)w~-wK5ti8 zeJg47$-b1ZtPbX+sq}pC<~3`%FhcUyxWrHEjfHhj379Y31bv&~g{SDF^J+cVMJ9ea zAZcQPSNZm$AVqidx;@WZESAKVPY#FgO!?zUfY{U>s^u!L(P{w@$p${vt*k<-O1b`^ zc@&KH4J~|7Nv`ZYlEy}u`UH2!csPZ~gjBTo#?%xPA&WW)4N7O%0$M|L&MCp^>E)vw z0wP*_G`buK00Y3H2nG1Nx`~L02+#zhQ~@I(%YDgJzy*BBa-Z7(Fb)F1L7+Ya>;{2i z5O5p<GJ%%|fmo38*&tBlFED}ihJZMK#X|qo8v3g>1eExPR`A1btva`1U@Q#U?}g2{ zDwebwcmSZLj%XYh3=72u&YlLc!|}*-u_=RRr-5uRY<%2clo{Y#=r`<O>lq+zoz)D` z0}A_hV|o}no?B!9;P*)Y0D#%CFbMywih^n8fEXa;Hko&#DsIU~i%1`%&B%J}kr)`j zY_D+rVw|mur~;W^OSmFxq2%ZH(of?St1?bAF6PBj^;04$z>Ss8BO{ZQZ;e9Zg=*>6 zOqN#FmvojINF;Q0hT^}TGxIz`p=J-z)zErw8!<`d`LKM`$3OTWpUM`M!I5B%2!I4B z_pl%UJQg%y90L#$0QklQ3&^GfP@q8pED!<G;s6n%|3M@I3?~zml~E`xEi5c6t1B<Z z;N^vb3k)S-&rD0TO+K6DcRjh9*i1)<9o;(H=vhuByI5Kj8tCWX<g_!dSJhP9108In z=zn&)Jzev>ViM9zl|ugEuuy-GKmxrRm6Ec>=eoSlP44Kr;<h30Vs&CZGFL_Sd8x70 zJuZpI?s`h)v`rkKs}L7=B>e$QoGkdz5<$U^|84QRf7`?9S{HLgMGno+t^hPgd*`J_ zZrj-l*U<g_{lOIeGTkOq8)H&ZQV{3QaffZxz=b-yDwr0}uP&x0E@>GQ!ooZ^AC1L* zr8i?<NA8A`Jzef86EhAh&CRhZDq73@T8>%A#)dSH9exBo(4%o6rpxJirX(aJET%U! ze9_fy*@uaaj=H>b%GnvNl9=3ixX#VV@%Ia;Jo{j5Y$Uv7X=kUer4<z)4~j@~y*+HW zkezw@($K(T`{=YO-72EYNyD3P)GSE<Wp^~g#>S>WpKKm<iehZM(e>raS_b6~tBwkv z<H{3(xhOzTz~lP8ZT7_+Ct8>~iF0M~rJG@-w>Q*+UX6R$L#DqDASESbXIPf*ef;Wi zYy6VR;73i(j?&vPR#T0ZQP5Br@yYIP(2rntcJ5CLUUFbbNx!zYj5TKPQy3!n86Rgy zN7Kv7Ry-qGm=XQUiiFB@a<*)Ut)5w4w6lEm$@--~xH@~S+}6yjZ(tv;c;0;Ce7sth zxF#C02`A;REh&iw1vT9hUW+E{-n66;sz83O#YMarkf&vT4E+*<9O!!pzDKiLFfJnO z(b3VOou5~$XVOYfM+c>+8N7DQfP8P<2YP-N>H(#2a(=vem!sIkM6h5@Muwr|g`o1p znf1f*Qd3!T`c&E<+iG8LGr&DYwaBh6E`}%Yb+%7M`Q^Kvbt`0oUOo%nx-Qm~$4w?O z%F5Byl-{13Tfaa%Z~1pNH;Z)|DqFHPR=r`stonRksnfzn9Gx}ScXrnHKC$4qxU_2M z?Cl-A90igue?2HUZqstMPZ<z`t=huYzA!O6O6A<~oXRV7GQDM`_{K6nKM%Q#ZC7YD zF<15V)y<5I`t=?z!pVqv9jNPkO%|>pck^z(bnR<dNHR_~$87ehpX2oOlu5w;6-9fR z?ws26^chm{;xlE2VPqsG=GvO+_I4kA!J>hrY3|GU)`wJq*6SOs=Yl!2fc##>g}S^- zK~GPx+ZT@_A=MmC;NG1FgL5qu)Ma{6(SU9%+3_(tCrP(x#}YX%FK>#VYiiqoeutKp zmQZW!AuWg}DNB0N6NK*JVaQ{f)P~{g<TU$A_U!9ssmgQdc*54Tx*0LXHwW?(y&A(O zcd5weoE(~_R)l+}^fn5>mX3}N4VKJmkCm48Lg~xxhDaLvB|hw_Qi!0yoK5-&^gaIn z@B{(<^TAU<EaL3!+?I+UlD5$*CRwA`43p1E+HU8U$U5iQ0BdPugKM`;9V=VHR8mVv z^JLiRN4fM2_^_wHe$|t<Lq8lW4DAQr8vsxTBjMrU74VNgYwD-P#>U1ZFFuXw>H1W? z`;k|4Z$Fmv{P^Ta%U14ADk3L00J{G$jl>0;(B#tRi79<Iv!#!Ve{gW1y)avzwCKG! z@cEO3#OKc+4_Mo7@0i2nq*rM#uP<-q?ECT+v+4zZCcT-Op8ml@ICFcEQe~EdWPcVG zhPF^kH<TpY_TWd^(LwivoRf<yG$>T7-aJypotBHbyQe2`Mb!SC{qy(p^HmT<g-Ch> zCui6E{4dWnpY`#|29{w7ecXfneV3K0I^oy1y1UMRm1LnI7Nc54Rn?y?O~*iPo)uza zlkEG`-TdCr!NCO1m)>xbqh}_?%CNTkgvsjam#=c$7gj7(f`WXslH%gN%%z*q1}AKX zYWn&o`-g+W)V%ccRF3Ko(R83k^zT&PFYM;9n#@jG1A%1agZ&CA_Y)4F>vxQ5r6%fa zi>Yj{ulN9ggq*Y=QU^<=f3n(fa1eRy43lPj%wIqK^-I#@feaxoCdPWP`tH+%euKl$ z;o%=Pi%oQGJ`4;@p@_gH&`axkT4UF;nd$l2+0&JjT&H(qOS!pl7dvR6yQ_mmftKd= zjoRGo<B#@;sI)EU28;Ffu`4R{p1sbc2dyn0KaK1i9UU!Y`;QN;e|ir3i|r+FDpZ-C zQ4Pc~FC;}*d3C`z2+nZ?GgpL$g|X^3QWL-O=$TftMYxXK_^6kfD>7kR!SC@a7@JP7 z#r<k5E0Czo3!JwewEj2&%KZRDL8+^*T!(La>(<^iak1+C^a#$r@F;w)Xg^WW_d-NR z2{$-E;9qbZ92}fo7u^%Gw?DHU8q%w6X>OUTObugtG9Y|N-y_FJ&&%sM!6U`y9~!<U z7hVebu~g|kC6$}Ik!6&*m5YS{_u&5E7vK+9tiirCe0?E&@<RO?#O#4IGd^x~f^?V( zL`RAxR!jzM{E~<4T~cp*@oE6In^x4Pr>7SmZYJNDJ}^Ih(}p|qxLyMyd-30M07yww z4h4A~d>>gs^=Q}gpt~lb1}RqEJB8!?8gK8zUvG5Ml<%FGD4&TZJE>mHwJoX#+TkJC z`@W*1Yry<@ca$p+;#bt@4p&!6HGNS_iDWoN^2K^)g#BLy1OL2}|8GJF(El>>_+L5u zZ+wCN|AaaJubllizCizDxYdG~-q_gqG7MuNl280CE6W)2h;0AXj)e%Z#^$Ee=A}y; zZDDR+4x*D!%pRsh1i%Bu#k<bW&kL0ErY9!}2noXoIk#g2DF6flPEJl_0&eLgB}31j z?4b8ad;od|r}dxLe7wCy4GlAbgCTE5Y!7U=tv_ZWrMp4!qmz>=I~cG4-#`(H-6IJ9 z-wfjaJBDYpqx6BAzFmcB@LDAd9we>~fc));z|tL%7XmH!K&pR)=koVJ9tZ^is(*y% z5Ha^Zwf=_Z^bbJD{=vUmf5UTd>I0AxwBWG*7Q=I;Oj_}wTw5D<!-NASmhDq%A1ori zF``|kl1MPq7iwPgyZhLoPe}286=&0j{s^eGP6|a$%%nA*cUM0t=|+N326t6yL4}_b zFlq?9o!nyy<F5|EgEQl-;KMbjg?z+>Bi^9?ViBc6+VywNd71U~Ut`bSGILOrgI+7G zQYgl_L^cGKHsbPV<BM1ROu+Zqn@}~S&Cwp*`nn=~HKIV6wtem|Mv1Sd%k9jIg^b)g zy4r=v^I$zbA1buEm+?AeI_Zhf*ec5xJ;d8T;2_Z@Rr^uD1`nM!&;ib->W!n$rwhO4 zGu-r9UL0EUCeD3-)sqFi*-BD}RZ!akRoRx$n}q03pLvvIM`G0Os$`SKx5g7f#PQ@d zVR@Y^1xQ2p7_tyUMhNZ>tOwp*c`WpFzWN;BfytJTq^TR@sIJ?sVk&Ev##%kF$TAEx z<Qek~g&x^A^ZyV$7D&*qnSJCg`oZ>*yK_P_`_BD2^RxYHuW2Y-Jmnxgj78A4n3q#| zrx1hi-6KXwBnYN%5GShWeQ%6Ub8pYZJ6~frs<`J_pENc}jP!(Y7z${bjxtBdI?u1D zm&9Xv?cAE}l|VfQR!Vn-_lhW|^trDDqgI=O>F4F_VR@G1$s(B#bW+}@<aABS#|#_r zbz{$b6Z7#C{mS-%-P3ncRk#pD^8R68jq0HbTNuU?mOmakm@jltypDSc$pY3%@j~f2 z8qaaQ3A0JZ!q1#AoHoA5-;S6Z(aBy<P4e_hZVdnJ#TG*<Gby)(>}i$8gvm9w4|!75 z13}>sYQgr43=x!d6*86eO!sEr@&)3$1<TtG6VD>N^`jhzU-gZyM$2zOp6@1O0t^6T zXkT-CT4=gV%-Q3IFI9g{Y^fyt8dv?4`rXLi;GypwYbE^IvZ@f0y!6KeC_V|n+S!Ke z)ncIzj9~P2!R-?yhe0I01{%cA`i0Vf)|AAxY%)%E^-&vI*H>Rr7b#rh@#({jk%vJq zsniX|%PY}ef0T7IqJH+i25F_utTTkPwcjkHqPCP)pXqfOGiKtRdlg}eBKW-Ja-X~= z>Gn1ekodun$)w^s#)RY&WcA~r&5-0~FLXoF?>k?5!I%if@e(_&rZ|o}a;N8DyrUG= zWDnGURd?S|XIJaMfR>~ajQ8f6YSB-m@W6xX@R%~x8JY`kk!ED-x1iS2*Tx0#mhc5^ zyWBT1YF<x6%J7e^)V;x5SY8aX)MQ0b>?E(5`xpn2WGh4sM^$2^riwD$!v#6`$t-Y# zG_4f~qOk=5;nETd;4w?F7jIQF5N6r%Ev$IZF5lNaId}OSvz8#VpX2ImrdsOp_@^hL zCDTTQ*zN4I1#8TTK+tSS+!)S8dMhq*hU8k)lW_cwQW$QgMYrYXi?G^Dj0SiA%b12| zKDp4k-Df}rbV!TS`;9MN4K=tkp&ROwG!#8xf*Fzdvzcy9oeYnVx7>dHML(o$_FA;r zWR$>2Rz;tFr6S7i><!b363%|G0Io0Xs07Qzgv#gj)`{%213_2}%m)V=t#wc`Lf>|^ zCfJe0;P6pj#TuFSVyXu5uVWkw$hgoQP+`F?TjX7RWiw%87u}<c3RbQV)}Wa(BJ|)3 zmm2^aQUVBR7S=a3M&#yGIYo7j>`5>*Vfe#QhB{(kT&HhH=t>Gb3C>Cp5aSk(Wt0Gr z{mpHP476_1(xAO)+W3=Ug`#}yZL=xUR7_R^(^vgLO?E9`#Mk#Q`>eS^85WwcrUb$7 zbUdkBj&v^;q%y;QU6J#aNLlN8k%u={s+a7Q6jItOCHiJuSw5Pi*)H#+>n+W@O>VbW zRBxw0jC*lCZs*He2VyMf^N<or4y;aGy(AhA-gjUYmVsK8+gl`cn@)&XakbQppR&WG zc>MLc+~FGK3~2PN5^lVTqClkKtqmKB2QCh|KMI$g@^=(2FFMl|<GT**INA1>mk;2C zPt|*hmlOi7?lkC@>lI(nrEF|Css%Kr9!;k(O1__{CtqK@yCUUbB7c+XKW%(7-D(?h zX8xYGa0&FwnG|&)+nA`%*S%qS3WdyCV<%%tx6VV@&m=uMq+%~_LGo_FFYcmz885o( zSi;rB0(&cDzFLR7=4+kR6`8wpk=1nZLuA~^rKK-_)^rto4fwuXuY8d1i`n*??qKC> zH_7RBntFaM%J<pq!ewbI5-7o+B#u^j8kc>5I{93aN#lV(f=R&L$_^fK1q~_c(2fs! z9L!Hhzf)Mlipn@YAZepq2Ee~&u<AZRV|;^wyv?@ZFn+)1NZ>KFAm9p*Aq9c9zcnI+ zKcw?t7)AIaBS8E^I{t;>zd(=lhx9}GqcZrnMu+@|^!W=*f8j04A2Rwc9RCFw)ITI- zM?E&U4)u?Xm%o%28iv-Nef|HHii2e0z@2CqjF3(qqhXLj34>A5F&H2<9&`*+;?XJ~ zz|rZ8^(RLbHyi7Za!}AX035*Il${+!0jd}rhK@l6QLp%269<0-Vvv9j{!&07gv$Cu z#oYtZ!3S6v$e6#AXMle>D8U^-42Iuv12W2A>wi9X09X8OOar#ZfY|$d4@CV>q3K^C zB>VU8!b}VdKJe;25SjR2?EQyVD9qnphk(dnc^nL6$N<hTFi4?khQZ!I3}P_pFc1?g zfcZ!8yC=|A|0RHgDX8GEzk+zoKNC=ki9xOQZwW=n)dBfr<6jQ3aUj6vlat}UPU4?o z{%0ofUs{pQf!VMyXd!)5$HE|mmD>aYzzgUYoDiZILcnBh0>LMDK=MBm3n2%wAzF*S zwT1_QME^En0uT`l))o+~e-9-64+*sF7ML9e@>z!n2FCB?>Tg3ZJ`nAZdm!<@Y5$f$ z*Z<M}-7gIsh{xkCh)1+xAmu+M?6)&m#%%~|kBLD`@q23i^`=4nmmvZG#@k?2Tnr+J XF*;m`SH>eCSPB<|7QXNl2+{jLMqv{3 diff --git a/sw_model/sw_model.tex b/sw_model/sw_model.tex index 8411d3b..a874876 100644 --- a/sw_model/sw_model.tex +++ b/sw_model/sw_model.tex @@ -215,6 +215,9 @@ the analysis stage; the symptoms, and finally the derived component. Now diagram showing software function, with pre-conditions, invariants and post conditions. +define postcondition. +define pre-condition: +define invariant: Now an integrated diagram, showing the pre-condition violations as failure modes