From 7e364faf3f96904010e1ab668482b6047be6e611 Mon Sep 17 00:00:00 2001
From: robin <robin@NovaProspect.(none)>
Date: Wed, 25 Apr 2012 22:54:40 +0100
Subject: [PATCH] FMMD software paper proof read. diagrams updted to D rather
 than bowtie notation

---
 papers/fmmd_software_hardware/fmmdh.dia       | Bin 2768 -> 2785 bytes
 papers/fmmd_software_hardware/mybib.bib       |   1 +
 .../fmmd_software_hardware/software_fmmd.tex  |  29 +++++++++---------
 papers/fmmd_software_hardware/three_tree.dia  | Bin 2117 -> 7631 bytes
 papers/software_fmea/fmmdh.dia                | Bin 2768 -> 2785 bytes
 papers/software_fmea/three_tree.dia           | Bin 2117 -> 7631 bytes
 6 files changed, 16 insertions(+), 14 deletions(-)
 create mode 120000 papers/fmmd_software_hardware/mybib.bib

diff --git a/papers/fmmd_software_hardware/fmmdh.dia b/papers/fmmd_software_hardware/fmmdh.dia
index 12c9cb86c8d24ba1c118218b3332e1b74df44696..6f3f040cd0a41c684d02e45f87521e9b4628424b 100644
GIT binary patch
literal 2785
zcmV<73Lf<ziwFP!000021MOYga@#l(efL+Wlvf+ZrEwdLGd0<rsePE8OjWYaF4|&b
z?$D%4qMi6<zkLCavMmXeWRjqxn5xP}6oh62hvzi9LF(sUzTKvy`*^WT^6X+v5FU@>
z>^h$&+3aHcpU=OasqruGPkx>z(NE^jY!Tg#%r~;7eRnawDT?_|=jUI)ensiSGAi-~
zN|QUZjL-iUrD=3-8l8{dpNvM&JD5gAWRF!xqoP<OS9e7`%A(u&Vtf@{|2<peciD7Y
zwyN4)=V`te-AC!g_}v%x8lP9)oUiq>qwje%i?0@O^ml#N*u1oE()B!EY<7D)&zFg5
zQasGJn$+}T|9;k{YPB?tvf2B0zrwrnl&S+yefdtb)<|(1EoMo!ZO4pFS`Gw7ic)F@
zgKMR+1W8t7@^W)m{hCYrHMi*3T(Z2J=Zj(yCB?SMt2|HRC@ZZNi@UhFo#l0u8i?(3
ztA!U|lA_4>od1_7T^`~<dHC^ad+C)sTO`xn7w%e%nqIyp)8gjxTcF`8dw&Sj`+c%Z
zuF}|d_DNQB*8M{_-EYp0WACT0w?sqPTdh1yRm@}la(S5DCDVAh2WIPSYI?e<nw{?(
z_04vN4orDyL#&;NG<t{^RrepBWO`IhaK$*I=(<SmSMQ#UNq+U;_`0Z^{ZvHRG+InY
zXQL1KxA9X9Vj_@adNKZp*9U9UJ=2-t!L8An=Z}!mhzNel5hj~su+1QK7Ot)~4J?cc
zQ8r8CM<axv0@7ka7~<yt5`k!DFizv!%j<lRZAS?my5+1mKG}9{#U+3kUVF(Fwr=8N
zc2m?FqX^cGK{I2^oBZpgCwkm3jsDB{{0Xy-K}_0%Sn*Rr5DSW7Wlc~%Arwh!?3s9l
zhsAI!uMUB*4Y~MpP>FyLCWx;gn2BSA@E=JQdoWDfV%TC!Xz4HpS_MS1wLmnr9E`Qa
zvw;`~>Y#=(ZD#p8&$7!nn>vpg`RQ%SFjMwKxo$|V+1>5+eDidC0oATft#f7!&4e$v
z!mQONqZ<PeEAIvoMebN_^z`Y)c-vFYcS-eKT>ITse6n#uo$xSgi(!t;Y!N`bDKQ>|
zUt@(iD~wMR0%K7i0zs*`wPS~nF+-U57Ef3**3Vz+$B8GPeLNwAn{F92pb*3vp)R5j
z4#q5OK+(>v0mMCmn70ln7?Rpfx8Nb!*qQ-n2AfbqAf+vkDGAEQ?R^`t+#{An`@jN>
z<ZC1RfddO=tx#nH3(ig{HgFCcShRF(z;TZ_mhA%z5N^7|1{Oe^5f@l+VPUKT2Nvzz
z8bI75h*bxHg#tU>fI|ls+M$ZOz(RuqvIremwDfJjau6(kj=vSpz)UJI>$YGvtD#d0
zC}_f>vOz75Invy`YiO>pqp+vax6!6<Hr>{UwRRi3C~`bHJ3A{s`0(qe-$wuV`0u|y
z{`uRVpFf!+<|CZfY_r%=o2)Bz=UL%97khm4CAv-02Xo3%wj7U^#Y2^4E5G`$IK7XH
z<T`quUwio(Y+Xg3E6GHIxV8w>#OOLS4}@nEL+kb09h-VEZf7V;lUa5f`)4!G?ry7*
zJkW}_8vC+K=H8vs=0)>#Dy*0C0BK#QWoE5=N{uE4Br1lu)XW8pio(P!<CW6FS(R7>
zE(~}a+-_tu3yP6)Wd=u66IkW-Mc}-C9r{T71vtf6fSn&MNYFJnVGJq=N&`VbxFpuD
zpel52s?JLv4mqe*h5+b*!^3dcx=L!t9XmJ#O==1R3b>nHrY#X_0@x9uz&tb&`hE1Z
zQ(S>;m8E)n5NuuKlt_|_B!GpaLW!`HrPMLt6KO>lO1m1Xz#y#i($|tOp(`e20}Ky?
zVe1;DGQ(Z6gb0X1V}+7Rj*Sve2sX;7m@_L>XeRXf=t<gOb4BPX&)Iax-|In8z7hm^
z2ixveLKQTfEv2XkMhIacC?#iQkj5Y|1ie0bAt(vaZBp%T4}h)9f@aiJAK{>#U8NiX
zrBrsq9L6OFVoE~qm-GARZK$~m7c^~}<9&M=lpXBbRIFMXP!e|ACLyxoLFTq?DqV`B
zA`pJprq@evOCl95ame(5!^3dczA6WZGUjFoBnirfU}hN8a$%x~t!WTp>CrG0105QP
zb$)u9niIpkEE{6-Dl6oU(9ycgWrkukYMh2ehZ%H5%4MsduHpqmy38(@!D*__O>a{s
zT#84Nqf4Hsb(Ru6u@r4x#jslgDNr{-nnG9{azdbFDYt=uDkuev)6m(IS~tBo<dUc=
ziw8$QQZ=P`+Ch;4!0HMFO=&z?!I)2;-pM1V$qxnh&;@rd28WXS5tiI(2gN20Ml8xL
z!61Uxn@p^vx!pOBHE3IK(h~D(XD|s~aH{ds+mx`!Tdv^P?#UA^?#W}XvofTtgA4^G
zsst0of%9Zqh!Vz9x)cS)th6kf?s<Djj>7M!KS^O9LttS{kEeEu_a-U!!x&x(#?ZkM
zmT_3^2xeiI4paa*bPxcygvDHx+k!>-C9K~~f71%Y;^;7}T40#J((;$L-#ehCoiTg!
zGN_<?2Q(%i?L#W0RA7r{RB}?@rw8FT5BS~m7A+_)pQQon=)wus0>k8$cvy7tpbE@%
zdFwKVz!eWpl>@O>uI@&)1+~3}S%@AURN?j0-xQc=^GKN212G&Sh-C-W5(cokZ#if%
zLCs1@mmro*PK-q$;GQNSWYatGUs5gc`{`*)5v7=xTnyycV9dW`7}sS?TNnM#?4x_M
z3l<fjG$4$hS)xSJ2}hV>SLKnSso_2|r({`-{)q46boBdO=B6@APwbs+^W~6K4V_f2
zh3Sx3{hkx6b+n~Bpe^F?07wR>t(7HWY0Lbh>@tWWaWu4*I@+4Xi{w6@o;XXHLFK?(
zeejkarvq;tA#X9<0dLvo-k-Xyc%gZ#w1g42yd@EHyk#GrcnrKnvuVX!UmnA)kqfs5
z*6M+^{3sn*>lj&!bQNvcY60yf+Ol#fDV-=pFcroy2zm^x^*NufM_Z%EXltOYzJjeS
zm=3h{J<ygD?={19MD|ynKFspW_kdx#?{^!v+02{M<ouK<BzW_m+t}i>+P&_EyG-CE
z5dkVDZfApH*1E*3#m{}r%^+QFrEd>**0<%<wc69j7MHCvw8hZXKM1PD@9S)%uAyAA
zP9Vn3G`nGEJz%UdW^eG8Zo_;z<DgsE_DkYk;e3g7ZiweUYbA0gs~#?st%b75d3eRr
zBbQPVCGB4zxZ;Ya_NKQb^KhUxv*=UJ19h{BxjOCKr=Gi2+OME5{yC;i72TzyFJQIu
z$TKnRPF$fA=EDf6bcqKdHtt*qLVg%AIJNTTwhL-5sI^TA=RJsPy|eyXAZ68<9MG8B
zo|P?+!H=r7yd%VEPW7p_d!Ty(TxE_btu5wO5WrZ%Ah?6z?iSoyv<{N{_9RzyM1V|K
z3Q{)L-wOlUO?47sQa(h$O0KajaX*q<=d53HN!b|00gZ|4S=v(X539MdBgiRD-N4eG
zAXnOxNB}t1U7>)r68%AS--_zi;dPMRw<o)*3l0>BaH&ZteLXBZZ06XhuCUK?6iN_>
zXF>Z|>F#jWcl(CGtHyL+V`1W9*VxFe{Bf7Mx*Ny|MazMu{Xnj=XJ%BJ#jbop0gz#_
nJIL-H+1-KHL3WQrcFVW!H|gJ>to>;H`;-3z`MWri*oFWAlt*LX

literal 2768
zcmV;>3NQ5^iwFP!000021MOW)bK5u)zWZ0Gl&ejn@y2MJsmaz%?O}E@Rmq-Rw8hBW
zp-GiQJMm?H`!)c|wj|K9NkNVrsVWaqEi@bW_@U9=fPVhv+jTLx&1UnwD$j<Hkl`RJ
zFRO80PR@q^{rvlh9{%$F=;v{s{)B%fv-Em^-zewy-P!P}uBShpo__uMH7V}qX<f~d
zBEL!I+37!NQKY9RbUJ*0G#ET?V4T*ez1Cb!>w1=7+|=2iOs})E;YE7+_heSxl;fe7
zYUD1fqM8kE)8cIS?u&a3Pn%{=m)d!v?P)s6E@oN!cYD(WU&eH4dYa8vo4uY^^BhI$
zyXl%pOFQ=OM>37n9EHls`**+ccm9@|3lD9DZnRZNeVxuGdAY6!`=;<6K@&|W#m*2$
z8=|;^MW4J}-NkOz6}we8+pW5Mem<>c^(@Wnb(I%YRb*-Dwbrwnth=81Wm+J_o-(V4
z6<_kYt~T8Nm$aBa#{hr%{%L#ZlRKH^<EJ0oC5e_+zUJfl>ik=z?((hQMQZ&vpXV1v
z7P|Yqthd(u-FBK^9UaHs4`1(z2H#ri^f1<$$i&O1hsjMo&gL6nwk*@q(p4jNx~bP!
z<(}Iy{?f{1?Nk)$T{df)|L`zP51IjP7-x`P*7@z?-J?FKF8-HY){U{B>a-lEv+>|$
z@S*xPeDFcg1Ifo{!;fUSvsTT+#*hcsdTUzUL&_u|#j!{TtoFe=gS2V5xL8#%Lle?+
zQe^i^KpgYL$Puta;Qv*^WjBRckzJo(R<m;5OW2}WPK)D{b<-AH!V^Z8UaE(#t1O>f
z)$Ph?!k3ltZp!9Y)z|ZY_qcg#3_r%F518!?V(1TIEsg;a78S$Vs-R*7G*J}wp}!*H
zVz`%8&w;RYxx`~o$%qh!L@Xhg$$f<IA9<MtFiiVm*kVf><uJyLj)-Kd0SvVqOpL`d
zLQHV#phgJorunie%k!)pJBvEm85CuNX?vr>bR^gE=K6BFdOIP9>ZwMpaoC4A;PW*%
zYw^k83L#>rcSJ;8IaV7ye0nxqw>0owXueBYzq{~HR&Ho3Jk0uHSR^=Fz!TAx7@vh-
z)WVz=CPq5ps8J@sqf&8i!=6LNEFofN{)8oC^Z2FTjz7Ws`x8>S;Z{){3JFdLbsmLu
zFlKQbihgDtK)gc`i{1_eOO&z0Ek#T=wraRjL(r9wi8dC<6r%ERf7=dN-XWG{f5(F3
zly7k2kL*}ztA%RoSO|7Z3BozDW6{&F1CDoyW7XfW;L;6uT*rcgQ{o&8AuWteWXGbP
zSqBjB5X5>5j)mrSxH*aKSQv*Y;T#LY9gt;g$D*fg2P{Xy^5^VZ{Rqs^fZ6l~Gp>e?
zDNmvXEE*lu;#ed`;Jc3MYTFANGJPvDZKLT*BbMY=swgTlI5|1-AAI=r({F=+ef-Z~
zAOHOA&(ELm3VuYYmNJVca+7U|?y9Uq_hPRPzNFWAafi2@mh<6YUf(rQHviRsXT@z+
z=a=c@_}a_wVC^XiJW1#clGY?l7p2S4d?q}*C|b_fK2g*|NIykskx$C&EIgW7d2`+L
z<TJGdv#~FGWNzIptv)mlx59Rk9)RA7T83-gV~TTPM51DeP=+~&QByv`WxUo#I<1Px
z$cce~f$KsxvY;9Gl^NfgoWLTkFC)kG+t3I77vPi-$?f<E2~pSJz!+~Js1Sk@gaWHq
zQXM-t)n;V~hl1-xgn-in4xfj^-dR%H@5I3&YEV-qTyx<@ml;ch1~_p<D2a$ogkc*)
za$0DvdPS*zJP7tqa;ii@LlT_Dq(YStrTkRKI3FoH33IR45FHtWZB~XPfk|^<!k59Y
zcaBnHcYBtQ5iy8bC^XYC&cq`iI5TSI)Jh$j34=BUf;I%72-CzlyH@<Y9t71ZK~QX=
z>~1kpMGa>wB^!c~Qd$TqC75^87>^9Wpp8KYDge_b)c)fEuy<MzdtL9s9kipXwL_p%
z+7`?a;yI8|h+QuiwlOGZgmV`R?Hc3#@i3^iP`9aBvo@d*w`>zYH9W{%*`_vra@1Yx
zhF(&&8MHDe2})CsLuL**d>#(_XXSW88FM4V6+~r2jw4K{UzljHISr7O9+9CKH?fh}
zW@kVYZ;S|^HYD&WE95Pqqj#DMyJFF6g2qJ$cDe?S4oO|ci-U5JU7=WXbhOzS6lK!I
zcns`a^h7Vyl-v<b(cWncTN_9@bpvE5j|)Trz&%a53Igh4dN$8MV~0;#%?#pDD9}w9
zkM99XwdCUI7P1VS+lhrojcGh+Aw-NG-l;uE${#ZBu`}*L3?6ds-*e9Wud2A4RAp$s
zqFV?tZ~^kz210q{7y~B=Je?@Yw6V)OYS3@O>mXIfX<>>zbN-wVL(s;sq{PJ?{!4_~
zw0VyLikgI(&MD*9tvP!FS8N+$gQm|pF6$%54J4BeSm>BrU>PvRjv*z)L<LrxkzvsV
zveX6;BC>Fud2H*PDb;Uj6EW|fA2%G`Tfd8e%cv=GT;3UBH~SF7jm?o8MMSfi0ix%~
zTkH&q0=wTO%J*#>vFx#pn7vLgi;69<BLVHfL`mdn*GTDMtdxtYQo_7u)wN9bC1KUD
zo#D8uJvqg~nC?%x2iX``-3(*?N-&mNh`KSs7n>MZ++YWloI7*?=Pv3-g!DTZWc;98
z*vznK17f*%7}h;7EM6&Kr}~#W8D&Szp0~ht)N&_7fGc~hj#8T2JU>+e{MKR~zuqZq
zW^fHei9h~_>%DU)SPu-tEAg=2#@RZA8GqV>;E@+wf@%k1qqSefTTt6m7o^<5**ZZx
z!=fBlg*{HOdOZ;HJp{4YLV}lZzBp<jsxv`xrDQya6;mVB$bq{9aHQ&bc*si<ykR>7
zqBNnDP|w92_6^43JBD$4?2D29K?+c|s1#H}jM7nq6hH}BcheX}N2m|%VI|te_*Klv
zSF4FZQLTa5yJ8IJhEN7`qRLj^nzt2GWzgSM6^l*>;BohdXpKu9H@pM{0!uQZJ+f5S
zBKYSatJTP$=smLdCJ-8786FMMLcTFzZ6gW92)N+}O?BLG6cv`S5LlYJU_Gvh9I()%
zQ<1YkVI#w$puxc%B;DX=5~-a*O0c&^S=&ehsYRz7BjT=12ry4sTDm}|lGe#XWC=qf
zr-8yohD8_1Vsul2k!a6Z-FGK{x5(mKST5jm=Q^Fqs7{vE#5`wFiC&g1Xri986vTD2
zT8#{g8jmbVo_4cr@RWPbLVxS6ahBLZ2_IQ>y5^B<NtyASMHRRjKEE(UWbwFeR;!U=
z(FL+#0|*gW(sPy(`{`%36#uc_$&wR$47G7t1Pzo%gw-QWV6+^GgfOk#W`5Oq65eGM
zAk6E*AK7hI41T{U-6B6Njw~9c^Fx7P>;l17oF0k<zvm*sHr`TO;4N@?;OOqe<}I9G
zY}E_5Gmac_T&dX%nLyWOUwEr<yfw~d`E52na+*qn<$<_%L0n;=9*AoniA!&Rxa_Yu
z9=naDv5CuTvIjLFZ`ofSVd!wV?C3ra7cIvPaecXWxCYMQI?&b*Xe$iU18waiZJBNP
zTegynM)$X@CKox9Bb@*R%1|*kozEWJC2M`IrpxZu;NIOj(AKWJtu>e)XzNvJ%fEL&
W()s>q=~q18AN?Oy?<c6~djJ3kHd8zR

diff --git a/papers/fmmd_software_hardware/mybib.bib b/papers/fmmd_software_hardware/mybib.bib
new file mode 120000
index 0000000..b452b79
--- /dev/null
+++ b/papers/fmmd_software_hardware/mybib.bib
@@ -0,0 +1 @@
+../../mybib.bib
\ No newline at end of file
diff --git a/papers/fmmd_software_hardware/software_fmmd.tex b/papers/fmmd_software_hardware/software_fmmd.tex
index e7345ef..1df9267 100644
--- a/papers/fmmd_software_hardware/software_fmmd.tex
+++ b/papers/fmmd_software_hardware/software_fmmd.tex
@@ -56,6 +56,7 @@
 %\renewcommand{\rmdefault}{tnr}
 %\newboolean{paper}
 %\setboolean{paper}{true} % boolvar=true or false
+\newcommand{\derivec}{{D}}
 \newcommand{\ft}{\ensuremath{4\!\!\rightarrow\!\!20mA} }
 \newcommand{\permil}{\ensuremath{{ }^0/_{00}}}
 \newcommand{\oc}{\ensuremath{^{o}{C}}}
@@ -352,11 +353,11 @@ of the {\fg} from which it was derived.
 % in a specific configuration. This specific configuration corresponds to 
 % a {\fg}. Our use of it as a building block corresponds to a {\dc}.
 
-We can use the symbol `$\bowtie$' to represent the creation of a derived component 
+We can use the symbol `$\derivec$' to represent the creation of a derived component 
 from a {\fg}. This symbol is convenient for drawn hierarchy diagrams. % (see figure~\ref{fmmdh}). 
-We define the $\bowtie$ function, where $\FG$ is the set of all {\fgs} and $\DC$ is the set of all {\dcs},
+We define the $\derivec$ function, where $\FG$ is the set of all {\fgs} and $\DC$ is the set of all {\dcs},
 
-$$ \bowtie ( {\FG} ) \mapsto {\DC} .$$
+$$ \derivec ( {\FG} ) \mapsto {\DC} .$$
 
 We show an FMMD hierarchy in figure~\ref{fig:fmmdh}.
 Using this diagram, we can follow the creation of the hierarchy in 
@@ -368,7 +369,7 @@ That is to say their component failure modes are examined, and thus
 the ways in which the {\fgs} can fail. The ways in which a 
 {\fg} can fail, can be viewed as symptoms of failure for the {\fg}.
 %
-The `$\bowtie$' function is now applied to create {\dcs}.
+The `$\derivec$' function is now applied to create {\dcs}.
 These are shown in  figure~\ref{fig:fmmdh} above the {\fgs}.
 Now that we have {\dcs}, we can use them to form a higher level functional group.
 We apply the same FMEA process to this and can derive a top level
@@ -414,7 +415,7 @@ When we have analysed a software function---using failure conditions
 of its inputs as failure modes---we can 
 determine its symptoms of failure (i.e. how calling functions will see its failure mode behaviour).
 
-We can thus apply the $\bowtie$ process to software functions, by viewing them in terms of their failure
+We can thus apply the $\derivec$ function to software functions, by viewing them in terms of their failure
 mode behaviour. To simplify things as well, software already fits into a hierarchy.
 For Electronics and Mechanical systems, although we may be guided by the original designers
 concepts of modularity and sub-systems in design, applying FMMD means deciding on the members for {\fgs}
@@ -757,8 +758,8 @@ With these failure modes, we can analyse our first functional group, see table~\
 We now collect the symptoms for the hardware functional group, $\{ HIGH , LOW, V\_ERR \} $.
 We now create a {\dc} to represent this called $CMATV$.
 
-We can express this using the `$\bowtie$' function thus:
-$$ CMATV = \; \bowtie (G_1) .$$
+We can express this using the `$\derivec$' function thus:
+$$ CMATV = \; \derivec (G_1) .$$
 
 As its failure modes are the symptoms of failure from the functional group we can now state:
 $$fm ( CMATV ) =  \{ HIGH , LOW, V\_ERR \} .$$
@@ -844,7 +845,7 @@ for the function.
 This postcondition, {\em /* ensure: value is voltage input to within 0.1\% */ },
 corresponds to $VV\_ERR$, and is already in the {\fm} set for this {\fg}.
 
-We can now create a {\dc} called $RADC$ thus: $$RADC = \; \bowtie(G_2)$$ which has the following
+We can now create a {\dc} called $RADC$ thus: $$RADC = \; \derivec(G_2)$$ which has the following
 {\fms}:
 
 $$ fm(RADC) = \{ VV\_ERR, HIGH, LOW \} .$$
@@ -914,7 +915,7 @@ The $VAL\_ERR$ will mean that the value read is simply wrong.
 
 We can finally make a {\dc} to represent a failure mode model for our function $read\_4\_20\_input$ thus:
 
-$$ R420I = \; \bowtie(G_3) .$$
+$$ R420I = \; \derivec(G_3) .$$
 
 This new {\dc} has the following {\fms}:
 $$fm(R420I) = \{OUT\_OF\_RANGE, VAL\_ERR\} .$$
@@ -940,18 +941,18 @@ as a hierarchical diagram, see figure~\ref{fig:hd}.
 
 
 
-We can represent the hierarchy in figure~\ref{fig:hd} algebraically, using the `$\bowtie$' function
+We can represent the hierarchy in figure~\ref{fig:hd} algebraically, using the `$\derivec$' function
 using the groups as intermediate stages:
 \begin{eqnarray*}
 G_1 &=&  \{R,ADC\} \\
-CMATV &=&  \;\bowtie (G_1) \\
+CMATV &=&  \;\derivec (G_1) \\
 G_2 &=& \{CMATV, read\_ADC \} \\
-RADC &=&  \; \bowtie (G_2) \\
+RADC &=&  \; \derivec (G_2) \\
 G_3 &=& \{ RADC, read\_4\_20\_input \} \\
-R420I &=&  \; \bowtie (G_3) \\
+R420I &=&  \; \derivec (G_3) \\
 \end{eqnarray*}
 or, a nested definition,
-$$ \bowtie \Big( \bowtie \big( \bowtie(R,ADC), read\_4\_20\_input \big), read\_4\_20\_input \Big). $$ 
+$$ \derivec \Big( \derivec \big( \derivec(R,ADC), read\_4\_20\_input \big), read\_4\_20\_input \Big). $$ 
 
  
 
diff --git a/papers/fmmd_software_hardware/three_tree.dia b/papers/fmmd_software_hardware/three_tree.dia
index 226f2db49212ffdc3e01ef9d4363fdeabd499ce7..6b1b5a00a28de3751bbbe40e86dd1a2179f68a96 100644
GIT binary patch
literal 7631
zcmY*-Ra6|%vMdrL3=YBF-CYNl-~k2??(Pt5aCZp|?iSqLH4JXST>`;1$jdqB{=EI&
ztGahpb+6S;9)k??p9cqjZm91>((W4YP>Z<_%A|`KUd!AQ9h1P^rv$?7@2?W*H#WGM
zk0+X6Jk$1yYMCd{e%|1wzT*0Wg>W`Ot!`+zLH^rlxcBXRdKzDDOM99B2$XRVpO!c(
zS2dXcDm%)sx`=;2B7eUhA%8z_1qF(Vetipj6Yew$5G(9$>)KJhh!@}340xJcYYlw4
zifDTbXzc3lz{5ZKIy`lH{?5wImhNOTySBGwL`u5R+jny9IWA5d(9zZ1E%ttS=jq|z
z{?g^^^<wgLm1ngK`pT}FFkfl1F<KQ<^}EPvGRAAPHZbAqs8hsb*XxN8am}lRPs_7&
zx89rE^IUR|q&Kvrx4MSh=>8_73gV{c`uBCRh!$sg=Y30`ySk%5Cc~<?`wibO$I<4o
zf1`QC(LH(W{OI6r_36M&=+>TXE(B%=Hi#_zqnLbz%8$J9`Eh^i&wmP8+kdz0L!CAQ
z+dF!?jdHid=$>{?PfeS<lr)`cduwu4j}G^)gDF~~exR}ii1&7P|8jlrWoLKvG@*EX
z9CiG53Ki`X6W{1^3Do0sNfU>vI*E6`H_q)Tg5HfzPPd>=P;rCmkw0%Q*DWgty&3H<
zgRM9v4;y(_g_MR48lu_HX}XzZRS}J~M`cwIR*t_uQ$uNDXp@`&kTI6epN;1d$QXXh
z@0vdOdx#pmU3l3(TYLA13<>H5bcw#Vyt!Xw8u&kMEsm~%SKoUKjdIy)RTDNzUSChA
z_k@W<SrTvNy++>|0|Rt0R*PbiNc?V_dJHxsCIBASveCw5Vj-j0=FtNY7#JT7Z~&8&
zjWLTDRCC!~>Hrw<p>&iLw!UGtSns>HhyT-xB*U0SF}B6HS<8~^hp=>U|8`WpJnbW^
zJjb%AS*gF71Y!v*Q)N}+n+ZDcYm2*&cmdxcmaX7*4&Vfk>kfxLIxxe1k1Us$W=+LQ
ze<KYA@k(S*Y9qNwVM@U=R=-AlLO)eB`4JWA!4i=}hsq4n#k6u+<Xp!b6v7{r?TeBu
zkd#3tmMF}K+77PsD2#R1QjSu}^@OdXn=dB}8oy57dCL$dfidf$HNk09()v6gO9Vg|
z2#Uh2v6I{9YzBl1I=hh%S~E*MzAd|<6~9V8ibL5!)C7F(1aub6X{wR{3uTHF(t=cK
zjub|)5o=__Y><M17|1xFtE0=Ww?ib3L^Ni)zGTVvU@tEG=s7gwt9anc^<}`wE*FGt
zVtrPsm_Oi#L9g*`YL<QgS?(h;b}LAooqXf<exp8c=yYtWa>uD(>Fr7gdbJ%t(YIo`
zHmE2cdh1(KX^ZQYO#zfd>i^D&BpRv2k!B(?e)On8o8+`$*4N%o;AU+90B@FoW`^5e
zNkgq5v=qvzo;)I>XpB4(J~JSh5Ok3D*~g1O^-8d3;X9_25-~47LC9oZy~f}EdUnj*
zx{;LLk`vM8I5mRWB|Zd}<Hi)qU$~)`TExS92J!3*+lVoe(`bXmR$S)wTNvR|Y~lUL
z8W43VxbCiK21`XD8gGhl1b@#t*(9XR#g<t5ClW(j<%Zbq)W(!yrqR+FS8)ODRYGAH
z%I+`YcNNiQRK>blayHe1*45cWA|e>gE+YMh$BGEpho{>WEEw#X;aAd2Y{Cw5ic8zZ
zxl2t9JPL#TD+UbAY9)z~8VDF_Srf6LcbI>3<Hc5LSCpfNGsSjTPz3IPVbmc2#giYo
z-2)_7PxD+UkWxRWuiA(Nr|~krX*JVDo{UjuTHyh)xespYD$UvY4DqK}ud;I%sm+tr
zzh~EGIn!}{A4@E;5A%w(tgQ+bgfzz=r0YPTf54wViIiGm#z(?{&Iy`likV&&#=g9+
znPiV^vE$fg7HY4Kiz1r`Rp46j2Jse<2;^1^a2ZPlA$+-ClCjek<40`!_Q5QAI;zCp
z(yiPgU|jT*E0xQ)iRkjP+g!TLFq#em6}9G-V1@$K6VY0Ve*ysb)IEDVP0f?1XG>K6
zx)-VZS}l3dL{GfS4a&~hn%67W(Fd}xgl2JCOdZ7IrAS)>qyWxz2Nh}e&0vw?qhk#i
zUK$s;pXg&;NMm(*`K|%+(`Ao3T95&N#TQg)9he1P*q2YUIq~N46ss-0n_~5&*nNk4
zawIP;XZtVpKZ>0*@{V3gu{!!VqpR6>-ZGzQtmvPRK~h1A+PqB8q~B8NW*j5Cb<0r>
z?3aYn^}|_VP(oSNbcw0W=6-dU09cy^IpJ93M@;}t62q98+G^tVoX~$&Ik0S$X<HwH
zkgT}u&DX!!h^ES45~dJII9#?kMo-HF2O_lCEUH<7r^snFEsgyDF?ku>R{7mDuk6F|
z*}*o!L#P?c40SMy=GjDs4tJ|uYSUHUB?l4wLnH;Ppy!b||Hxe`UXlynXog~~YTKsf
z+S8)jVV}+gtvM`Rubp1KRju@*bR;D^yN0?6=MeT-Q}vo)&N%2I$MNKJ_2tk;2{}Zq
z`5V!4c{JJrqs5`}2KuQIR47@WYV}jOl5FgSzE+LW5@obGF>?wU`ng*gAcfoKx3S|#
z%dhzyy5XmX2w(d9yS5wl)i%1u4y*RsXyc`#D)$jRxsc!j2qyBw?2H+Y8kg$VT~)LL
z;K}JQs`=76X)AHk1^s4VCReLHSXze~nABW2AD^_2dayD*VBp)2O(TsLc++qGmxn>k
zd&l0NgPZUU{wG711I(e{rqFl&U_s%jvbY&K9}B%j)?SWvgQNiz?T)Z}xG9c`iSf#f
z3YqU`eU7@31&ug?DgtT&$Y!fqQR4K~u;YV0q>2alFB=jxN|K$fyH3edvy^#I%1bp@
zxOj-+n@}01nd%1huhj1@$NrKjHG1yTsXWpI#54qQHsc{R0%az3{jr1UVsaV52oUG9
zqX;u$DUvlfDfCaF=6ZS{UJJN^LKDuTCXBl65i3R{bFGWutbI3g#=0<a?D%s4v1=PW
zN$0<CshLEB;tn%|NNk<aBX)U*#4mIjh@V{StE<EhowKKtN+dqSMoS3_4myhEaqHTt
z3P4q!z`Jg@M12Ii$NQ0{QrZafcYL%5N)CJ8(c`me$!GDarUE}P2Md7FLyU`XgTQ!y
z5*G=h7JUxGT4Q931u}@p@WD`|6owl@efkYN=LEJJoB0gmj6T08_6JvdUK`I4yuEBd
z72=gnca`sd+7OXMUo3R@N%?(AkaogWm6ZDX)(Fx70XY$j?q?HBFt|GI0Z?d<ln20F
zU~A6%&nNL6^7B{|P2z#!aDrGg5p)#~m5Vv+h7KZJiRzgMSbTU?@w}nGsQc(wNiN31
zdG_q$vG{)kT9Bw_e<=l!_z(%N@%YQ>wr-N`0~N4KydN1~DLe^8A=gl({6p?lxxr?U
zAPhk0b|QS&Ei}zb=ZR$jlacXr>MpqaMbI-ysM?RoRxE{dg%xaQ>RcvSN8dLr=3ywo
z7OR?ytG;V0xIevK<fK_HGRmDdj((OtOkfRg|EwF8UQBrHLh3<W8hcM~J|FBAJ{_(x
zQSToFJw8=9W8{-N=;WEp8QSm2-Qa-z$yxE>UXI=Y_ex8U`uQG4a-;gAPf+?c*xG|6
z+GK{K0S3rV5dFW_f22_&0~A~F!(zFF3)~~1qG`O3U4Zn-Pc2oN<nY`S!AFQV76y^I
zRL7?g*~;~TSwa$nGE|a+;+=#t)&a1%jl<Um^hUYSzb`L$9OUkg<)gM~6jXw<8pR`;
zNAmvGJmwN*6$H_^XVZ?3$_;au`Q*0Z1fl1u24Wwo?)uyo+p%(z6<y1>iJu^n@A|{<
zmT|r#f1Vb>Hcan}|5To&3b%)oN)~!=XFQ6cJcszGMG(VgisVP*)NKowgT|5|iS$Ex
z29^;0gHYuMcM_kutn>VJhhA=X)bm?pQagJcO#fQWXc%R5Rh%>XZ69jS^$>WuK>y=d
zIX~1?AUcXw{|IThNag9+j%zZnXq;_-nGHA=WfDB0_I>XvFB&yL7EBgqS&WRy6O6%>
zzqACNrg>r@;E}`;<qu&f8Ygmw%K!Dtn&&JyS1&l#2WHH68tj}x9AK$~zs~Qm0t132
z9mTAh5u!QQTl?NxVbbf#n{NH|L?TAJt9lUREg)dBvRj|cJTL7ltKUB=d;c2<9A`}o
zaGlOz-&-U8Vww_!Z&&}Z|MV0Rs=7dNl?@GE%3`MTXL;Sttf`5L>jodp4k+M5j$<#e
zF@{7NWfE~hKVtHB(Y=?8xkhec;$HhXv%-#+!o=OPHAz5uCW~S|a-QT{r~U!v?<oT1
zQcfcg9y1{UUi$($18z`Vd<+c9PhY8Rm+2UIrmki8y_?=RNWOiQJ``vW^gjCl5$Xuw
z!Fp6mk;aHc2WXIrg<6{=Vb9+wcbKAjr8vGDDKiv%YMoIzG$TZk(fPUn5-Gl*D-E)$
zMep<=-1i_<vzUwJH%qCEYHz_RsnEJktm&*o&>?#HL%;p{^j^|-ewhdU;uK>JZ8KFR
z8i@TQAynNX<=xRf;!Rd2JA~k$!A0|2qrT(;KV3vE6MTOau1@Gd(38oUEL<eFw*qPq
z0S_!kpu0LR+(3ei?L$?n?<k%N;y~h4R|3wlQ9H~Isp6R1xZ?t|H(&a2j@|fQ|BPLU
z<>pj&-}ohmpv)?!9<MDRJ8XMXyUw&ZW2$ryOa4+6LLZ$m(<}{ZNKPE{5rYj)pvjoc
zlYrOR%4HsQY(2WafPR-G0=YHSV!b5cvc3Vu6;x+BD4!=e*7|z`FY(8zhKatmydx*D
zEqEQ886E>Mg5!{YVX4J(2SnSwxV`>JKl^joli6Zul^ORdgRAq3tb`PwG*ixayk3$L
z_(JoEd~W7h68PS9bDzf_h|!1XnUmS~(jRa;kmi9cz6C$x+c=?S197VU#A2hm0VvL;
z0%Q?!;m1k3arZ#yFEr!D!Os1E&q#ZPonw{59#oQ54(H+v=;W(p;jEJP;`%a8EJoXS
zkIV}Q5~XUBS3J=QBhqOD3L{89?An^)&mX7|TN^{uOxqxC-@L4|nTlO$$7UP>0$A%n
zc1PG;2D*YBJceQCEx5m1aB5?|`JmL(8CD)-8!S<hV@3{<Rq%Scj#plq)Gr^T)ZNyL
zAi~Gn8u=DfZ<b)UDL?Mg(MA_<D3K0Xr)9V6lf}DgMQ*O8kGpTEmiVs^=!5)jGIJIp
zASuGd3I077YPvK<of3b^_>ltU4&_3RtOJ+rAmZ$C_<rR~6>?=VwidhFolGd(x$*T$
zR7b18La)9(JVYU$e_%wg3VpDQeg25LU4%~Ns;Ndi9GqZ*5tVyQ^yrO)gjqBVZDwd=
z8FA+SC+AF?BonAImBzjiAr+Z#_Om{WG%_NwBUl6Vfwk_PbsM0IvF+bkhc`d}##W6m
zc5s0<s5eaTN8cD-#XobC1@|MTG6^?TX)syCCZJA|-i*JN_%GxA-G@$U=5sYm*`?+?
zq}}u<Dn{;YD%0f|_C~2E#(u;Q#Wqe(CMnm&CRixX^xn#BKaJcRi9EwtmE`#hO`}IA
z7HWEnFM%u(!&IYHT;rAKHRriQ9rx6Y?3s7TB}JDnMwsR&qWPMr<P!zAWtoqb)`WHo
zGP<!_j?nXsqALq74iVmYvrf`J*b}hPI;=<*Uy0POvmlL^d(ygh(x9-PNR0C&*?cCf
z%)tt`8ak6v+h2Zb71e1ohX2L;4pzO0DW2N>*!!_q<K%gmMOw9xuR>KbD{Qx4oig0i
zV#)rAer1K&o2(+BfH+l52mx^cjN1EPkp-c_2<Maf;u@j{98Z}v`yM786ti;0^>0;n
zF!=j#dP^bAK%3}&QG_gf1At?R(5|ty`%bA*VkJ|0>t2fIiArl$rVs~|P`=A9Ea4AN
zgU4kLJ+ULn3=Zpe*qX1vCVa}Vg}E_mblub9XEQUukp8XVm2=sRx7RE+`E%Pe^jYf$
z*hn&+($-BFKR6R1_tGgmhLL|>{k8>HphTUHJ+j8LFa~+fge@&Y^8F>iM;@!ZqYdBD
zfA-h(pV%Dm%VM|+c{bZUNgOL}cXAcjq6guP<8b6yKiYjbdJ(o6&C1Jk$#kp3JXC5S
zi0Ff&0GT<fTk9EmP|3JFVkwf1FM*F4lLS3lAsu~roLw*Y$mJ{)cZ7?QM1JWXvWU%o
z3gB0q#Wo0*Xg(Vr9xye?K7V44sRYp|KofBqf}%2u(f#b8A|(D1n$gemyPC!qihA4D
zn7j~iW1}buS(^AabQ>MtbK@9`eM*ov908c3qBAl2FkwwLB;G~;H*|Xu>?z?TAq(gg
zeTxZBoT8b>3P)p)Jd&f7@l6OUe34F{%-Wp5f&vc~(C-Z&ekHo*RrVVz6e0=HU`*-E
z;ao9T<y}yU4Nv4A`k2@6@yYQjJqagv`7<O-6v>&*NOblk;s^jEKG+Axa}L5@$3f{K
zmOdmxbj`UxIUa-%a;Vzr&lP-DJY6Wo^!ZRJhcWS#0tl=C+ATJXd6quZu4g8w&@T-?
zGi7DHGxYq{R@|jAu)EFYb!*<8(HuH7P`x0I7mjhsm5IL$^9Z*rF@{1qb{sLhOYMmM
z{HG&DF9Bz;4Cdk#G$7&f=TAk_DxK2kX<w~t#8fI^0R<8n{*0b~5z8-D#685<X(v6`
z(Wp~oB=Wj;;CnYjZA6AgRMw15Uz)C!Ms2LTSE374MFMx*HAiQ^g1gmM#9=6qE&`ri
z37g1vUST<npIqJnd2;qd$7{x7iWVPsr!O(nh79CytThsDmuShIj$oJvvTSUSu_kD)
zc&23*!NsCDa_{rwN2-)!Cq!c4)!AX9IAXrdS1_|`duv4ePO*O5N#RclQAOVeevBIT
z2S|}>XnKs+htcy-;E<lJ|D7Oy|Mvu;tF7|t(J?F6dMhpcZgzKcE-GC`9?7>FiFdND
zioq-6UK}hUzQEEHd8B$YHl-gxlCU{#wR@YrR9yC8Je8VXn2=#5{)1S%bnE3_uSdm;
z&#x!2pK(K6;`c+<<Qk{q%T3W%M&2}g&pa9{yHk9Eqhl||wo>5pMOBPb)!I$MB+^bM
z{bqk;`;9yT0~e`;kXkvb@00QR<h+eo(|51XZ8v%Uu8y`2GHSfQq{wa+U)F?~>)n^L
z>l@n_j~e+%w3fYi%_S~Vm`gX$p;qtD7!N}mKaLxSJT=Hx;jS69HuXWe6vOfO4()V6
zREM9N5*hM_RLVhhF~z#kG#Tv4kC-gECWg8+oP@L#>5LyI38lAJ+qp3nDr1UIsccX~
z4QZw{XrBC%_Ftm#ds>pDH3c%0KVYxQgALl)5;{b(fX4W8jkt0JLGz_5Y68{gjTJbo
zsIo5mO@f?~S%Q(&$Ghb{qxS@0Ly{?V5=LDh2`oL8j>bZooHQLc9sxV6tI6zhRB@+t
zC3})Aa7AX0MJAbvBKfC6HEjh;5^9-Ujw1Frr!sy%pqMRjgmUFzww5KK6h#-;eA)7&
z#T@EeC0#PEk$&DpG0lf=wE>+do0r~R@swgkgh_!6v)_f3__?Ip>>91t<)*){Z(pyU
zpHCBPx?s(Xo?nMgukF7)W#ZCh45h=hp5rRoT%ASB^4+V(B74MGATmX#wZ#gK;Y{zf
z&%8g|`uW@>8Hv2!EMCLE+7sI48W~pi{9rT64hAhDUWD9^NL<3&GC!)jdm@N`j-c+;
z_*5c~L(2@hM{}>{V5yl&(S-;(?~`=JV@yI8)w>>P3oc7z$|tC7;nED{r!?d<;UuHc
z+;O#+@idg=09Gl9aOiQEhT<`|vln04i%4bu^6}ld3oZgx;$RymD|9C+&I-+^L@k2o
zRX!N1D{Uktr4Oazs)Pf3@=m!bC(B7CR%I4gWHbYkxTbk&crMl9c)69}Gx;?L%<x2v
zHBBihWv5kTJ+QQd4|q@}*a|Hf3man6ljb=?5lcdANm4tCXv}nMUkO9AWDF`lm;OTE
z#Kr4$&MI+6L6B7Eh(tCNB|w0`<p?hdz61u4<+XFiI4_)>KEJG;HjPd}Mv6veSBDo#
zhChvAV=*cR^;roU3Ck6KkHt%;*02{#Dwf>o_<m|?3)1u?<o!&T_VuPZETNtXmuVqZ
z;m3)yu#U(+9RVu66VSV&B&(p<cac`>d~890ud_U>q<n%cVo4)k!I{IO%<m;X714<G
zk9zpFuXSZisRE1V&Mh-?*~awfQ*Bkug%v2n42?u>pGNT$G9{kMCIc+=_<651ieeg`
zb`ZsTjx8yTOZpl{@JPb1fc`EZqKJu)Q>1Xu<^sKn*Z%920+Z1ccSZx*VJ+vOpN1};
z;COOwI!P`oA9xcZ80f2EJ3a60p!N~4^b{*hupFy@cl3ql7@qXGHbv3BXnVsj$+Bwh
zXnnL?h*Z6tOJ{+oOO8iHI79WRUc;ZrG*8Y$sr65}VV;zu;-KSvJ;dXwE!Y1P&$rl)
z-)1dbZoxsLUnZVgi;LE&+PQStrBr&Fav%!JKIt?}gUb6LvS;~MI3kmG)=tu}qIU+~
zx8_09?cw$QVpp;Q_L{($Y|2Vak)ycW>Zxx!ox6XKL}650$o=`?Q6=&IbY44D_>Egq
zokQZ2>M)!5XJr36_Su1Y*wvo!1gX=@0P<#NtL_^4X?NX;<^E57BmB`hiU7b;Z@yF)
z!a48KavyO!8N^|`dp|_byO~cPG+3AQc4vGiVY5SpG}WNSJ=n;rt7-@0^-D0m6obys
zh;Oou{Xy`O>5{>63bJ1wVpqe7klX>v2u1xAzSTv-5Thj`@Rz9ymv3^B-;YcCwY1z%
z{79N01!-H6Z}s?h7O5Y~{MPoEcw3tuW*nh6vYhx(=NVyGY$eTs2sWD$>+b{NopoOO
zV@-I$8+HEi_vrxP3wjcFA#(+zR1YCa&H!o?J!;YG17uvAgFopBZ%N*%GzvEeBo?d0
zbg!D!^Qm|24Gtrf_{Na9D`NmCD#g<NC6L(wCa6BqYIWvM^YsHKSr)t&|8i+w@ECQT
z`hzQ5<zex_jLsY~HaqoT%%=6gJ+mrf=S|k^nPYe3XIM@6gHG_yXiN@_0ej2ZixKmg
zZ+#Qe*@G$JI$`38i6F7w_CHa6RO{>P1oriL9jv8Y;2m_r)*3$b01xylZzpsbj&+a)
z5A;%vD3|H$!;|^ajj(iMC-6gTHGFx8FRlB-v<7#LTiMeGO$l95+5=q<>^`TxAP|zL
zPx|U~?l~%}rc4dDg}@?89BlV6Z)GH1<&6BF#*Ez>V-j;Tq50sW&$sRbskM~TAVL#f
z=C3ps>jO6%eV1dVgUz2jInY{IWwFACQ7~3+?!ugpw6HD7q;S@MoY-LJ#tJuwgU@rF
zKs{@z|6%0XA3V`2-<)<`ksrw_v^)TRMUtXyVpTGBgC;q-|KuCODzar0E(ZyfK+mmR
zKc)MYj2d#pyx8yC!vNTcPpFKom8hg^)1QaO&ILT5ArW|6bRPYe65+Vz8o#f(*TY-~
z+J3GVLMUs6hpGA^h|{2}b$AL=fzX^d2X$xOsed(NE}^~6-k-8yy6RN#@8B6w;tm+H
zSj1SO@%3+H<?>B%{^6+}gmy2rGjBN{fabl=Cms-(wx|$5#-RhvzBb!Wa0$4isqD!|
zfb_Ck+JoQv-aW(wWV$4ijdP~mQ#U2d5R>{jq_Zbe%Jl-`&`fP*=ho6PQjjq5&N4^e
zpC`|QPUR<+y=LYu{Bl3#f^>|7dBG0tX3SuTF=Nw})q=%!+v4W<iREWJ1kgWR(lr!c
zo$6NGQ(%lY=ggbPdN6ZSn6q5Gv|oel+JC4>Av3E=`a0Nm8(dZ6*V;;?yz@Wk7+eDz
zjbOTul(od6IZ?UIme#y;0R^kD$`kzMcqT_^s0l3b?VC+2yZ6H!Ea~?_gHRcinq!ls
zN1h6gB8inJGErqd{5|w#4rkG`_5aUx#oLN*#=Kyr+Dmf~rTlHG(!?@@j<w_MUBxz2
z6SA<Av9~!V|1)}wOBLj2Tu+EwSOl>rUjybJRGNb$HQs+DlRX04_GGtqrn1O9|4ev6
puK#Pf8?~O3z2WP>r_ZgR6Zlsz&+eC(wW@a{*q<H@Gh47Q{|{?B$L0V4

literal 2117
zcmV-L2)g$liwFP!000021MQqmbK^D=hVSz$RGO;-p&Q@B*s0`@+QZiFA<5ZANgSC8
zMY<%~9$)siF91rhC6Tr)2y&Q6RWoJF5E>0Ve9`Cz`TY;y7RBHpTdwk|ycz<b!$DR~
zt65&ouZF+<`tx^s_`~(5?`L`X#r~Tw)5XAkqFlM(u7<aDefMQNetdi+#nURSt0gJ&
zd$P*L|4WM^9ot6Z;q|A%;AIE1v`*c7>vz+-UgnegIvbSfBD)$+(&-=bWp!W9hE1z=
zyJ=Na%fUlhTn#^e^{?T0-OYHbpI7?6OXt~SnWcYpcTMffm}9!W%a*&{F7B#TZkyCk
zcY94b`f>liXtQp$vW?35_2(b?=VnOjH=g@y8)&DIdXX;YdAV=L&P~xw1QLyib~1#~
zhAOULGbisiH#x7l;=JaT=QWqFZtkjOy-f3Z-{hpKiYzS~tM&3eJKoM}nidwZ*W3#5
z;%i>l)f?mgnii`=9BAJD^J;tVl{;VNv)3=&tri`<Jm$0d_U2op>1uj^iq!i<zRD*>
z);9XQtWVbc(`mZj{dT;1KYu)shNid9<zc2Xk%{*&5A*wcmaX2vY`aZIPq*u4<F{sg
zx80!=)4a8_SbGyi`jjo#-T(BwOb^yy@LF*O>9o!tHov`?lWOvNHm%pr{!*vqEM3k9
z-wl4Mz73ya5F3Hyv#a5M>Govpx@SAHI=DAmchxgenouzUVs@usUqHGHOeVYiFRce@
zIWMw}4QoJ)1d;F&Crlh?D=V_a&9qvU`|-i)9P&oIknB6P5fSSG-Fm42Ten$0zpcBC
z**V)b#*Z_$x~(2>TEfP+*TnYgcl-?N(ey$ny@pUJMv72~h_5vQVkC)?2{6L#&xUXr
zli^UeE)bs)VmyHaGi~`&7*&G_W7ddNPKFh;41<cS!$DqM7(OGzER<nkS9SoxctnJS
zjU1d2G>InmCk$HS-vl_&r9=2-HdHwqzd!^vFJJoa!!HjHB(!IXMU5l0$5$j4U4@=t
zE#k%zL0%n#uuIy!WH=}=It1aDFDCnl@W1miYhhS~GOUOOCQT!eG-fcNh~kV&8$&Ry
z1xpMuRAPggq(|z?v?|M+tekm|j`Fkh0$@U-3)qE$BWWq`7t_1l@wDY+UhC9(XD88q
z<Ey<)&E_wITg!;c5LhJY$}h`<=f7SJ^`5IOpM~{jq4Tqw6vxhhPD8N_j)t8=qHL6s
z#?)hL0hG}W4r-`M9KDpGr<hU`nc_}A+nX{f8j7Xq8^yeT6sus0kqD5?e`QkWm=xQ6
ziM8RiSZI@g-4t1QbX<Ye$=DQk`PtHx6XeW~3uy187(yWaAc}P`#V$!88byqmVRLqX
zx@8(DhXg61M)+WvDG{6Cb|3c}x=}IemJ5)E_D+QX0|>^C0oa5BjGRcpn=e;K4T%wm
z;o1oyHCl?qT2{!Fv&_Y@`}%_+?)0;zDH000zZmoWVGO}lI%EV~x`2zg2!nz~g%L1u
zMy1A)U*k2#M!3brmR2qlHcj@LqV5a5=K`>!%obc{14g9u`}<=z(TBwW)(kXeAOT4P
zcSI<NTBith?UE)tXURCc+@^dD*XOEYvaD?XjTs-&q8Wk9_eW(p*tNeP%aUysE&fJT
z3kWW|S+2C-QganEFrY;F-5B>lfpX_-EXo)Y<zUY)s(en8`3ZJvV7zqkm^oi(hBpeS
z6I6sMUq{waQ4V(P!tyy;4lcx5u8cct!(-;mtP$<b*D#qdB&bK4=%|O%LcO{i=s9OK
z8G;LOXoyzImsx>EEyOuXD8La+6*CE=gi7j9-+(wa@qBpVq07(xrfy(VNq?yw8~%J?
z>db`HFvJJt&VoyEOxU;;eEbS3W+je+Rb=Fr4rQnoi8E}#CuNZ<9vR~<H(Oc)F#=Ri
zDMsic#lfXG#+&pg^0)+3;{n!MVB&20%^ng4G<G4b&BIoBLD~r3!YfRF%E)H}up_1o
zucYZsY6+s&AoM0{1_=Y7G_xBU9yP8F_Uw{0JLl~d!NoMUPW#jn%D7tEB+U?<kgj!9
zN3CT9dv-}QoRefYL1??qEMd&E4bDuHGy|0|y-u2`sJ9P=yLMsuocRXC6J*V_GREDb
zMum*IQ9~QgGG<1cP^PJJd0@jO_`Bo4#6B|F>1XR%9Zo6Ofdb{Me+dT>uvMcUvs1%U
z)a1B*x$jpVeOmj_x*RfO77sLv`YJOwO8J{E(ZoK$-sxv+Q`AEGd;jUN3B3<YIrI=?
zeu5)E9H{p9y#tuIr+yemM+a&uS>m4Hppd)!-_fwxM<+Y|Y=5)_<>)ZxTEjo-2zzXd
zf6cztFEEA;#=*5XM)U|t)Qz6It<&xAP$YJr$G8&KqCPe}uH8($@i3pAHeGR|fBM;0
zyPXH6(JvhjN_*w$LS2uls>-^}lzV^hHC^PzlO0i7u7-nE{j|oi`RKp0;vuW^Y5Ee#
z_m5yN{B8}w!7f%>yZpRDqYZ}H+-C0}{*E!T{kWx9p2<gPn4z@D=j9@6|0**pU5%|n
zt+YN&>3x^OgCElF1@Sx-cG}%dmktG2Q(aa)<{sTGmu#&;#%qu!ybl@#7Y&N7K|AbS
z6sV616kZ1>K5fUMhC<B^PgF1~L(<ETyL+S$I)oP;iXRK@5_plKK1xyeVFpE{jaOvM
zO0u^hi4ra*Vuna#w6$rl2U_%>D|Qj1*kZKL;6;u4s7Ap@TR0`nkrNYBkN&hmg^P}m
vC~o|6i2YC`b5W$&+q5<gFPikBn$-O6AL)JlY3rHa*Ps3mlYk?K7i0hct5YQ(

diff --git a/papers/software_fmea/fmmdh.dia b/papers/software_fmea/fmmdh.dia
index 12c9cb86c8d24ba1c118218b3332e1b74df44696..6f3f040cd0a41c684d02e45f87521e9b4628424b 100644
GIT binary patch
literal 2785
zcmV<73Lf<ziwFP!000021MOYga@#l(efL+Wlvf+ZrEwdLGd0<rsePE8OjWYaF4|&b
z?$D%4qMi6<zkLCavMmXeWRjqxn5xP}6oh62hvzi9LF(sUzTKvy`*^WT^6X+v5FU@>
z>^h$&+3aHcpU=OasqruGPkx>z(NE^jY!Tg#%r~;7eRnawDT?_|=jUI)ensiSGAi-~
zN|QUZjL-iUrD=3-8l8{dpNvM&JD5gAWRF!xqoP<OS9e7`%A(u&Vtf@{|2<peciD7Y
zwyN4)=V`te-AC!g_}v%x8lP9)oUiq>qwje%i?0@O^ml#N*u1oE()B!EY<7D)&zFg5
zQasGJn$+}T|9;k{YPB?tvf2B0zrwrnl&S+yefdtb)<|(1EoMo!ZO4pFS`Gw7ic)F@
zgKMR+1W8t7@^W)m{hCYrHMi*3T(Z2J=Zj(yCB?SMt2|HRC@ZZNi@UhFo#l0u8i?(3
ztA!U|lA_4>od1_7T^`~<dHC^ad+C)sTO`xn7w%e%nqIyp)8gjxTcF`8dw&Sj`+c%Z
zuF}|d_DNQB*8M{_-EYp0WACT0w?sqPTdh1yRm@}la(S5DCDVAh2WIPSYI?e<nw{?(
z_04vN4orDyL#&;NG<t{^RrepBWO`IhaK$*I=(<SmSMQ#UNq+U;_`0Z^{ZvHRG+InY
zXQL1KxA9X9Vj_@adNKZp*9U9UJ=2-t!L8An=Z}!mhzNel5hj~su+1QK7Ot)~4J?cc
zQ8r8CM<axv0@7ka7~<yt5`k!DFizv!%j<lRZAS?my5+1mKG}9{#U+3kUVF(Fwr=8N
zc2m?FqX^cGK{I2^oBZpgCwkm3jsDB{{0Xy-K}_0%Sn*Rr5DSW7Wlc~%Arwh!?3s9l
zhsAI!uMUB*4Y~MpP>FyLCWx;gn2BSA@E=JQdoWDfV%TC!Xz4HpS_MS1wLmnr9E`Qa
zvw;`~>Y#=(ZD#p8&$7!nn>vpg`RQ%SFjMwKxo$|V+1>5+eDidC0oATft#f7!&4e$v
z!mQONqZ<PeEAIvoMebN_^z`Y)c-vFYcS-eKT>ITse6n#uo$xSgi(!t;Y!N`bDKQ>|
zUt@(iD~wMR0%K7i0zs*`wPS~nF+-U57Ef3**3Vz+$B8GPeLNwAn{F92pb*3vp)R5j
z4#q5OK+(>v0mMCmn70ln7?Rpfx8Nb!*qQ-n2AfbqAf+vkDGAEQ?R^`t+#{An`@jN>
z<ZC1RfddO=tx#nH3(ig{HgFCcShRF(z;TZ_mhA%z5N^7|1{Oe^5f@l+VPUKT2Nvzz
z8bI75h*bxHg#tU>fI|ls+M$ZOz(RuqvIremwDfJjau6(kj=vSpz)UJI>$YGvtD#d0
zC}_f>vOz75Invy`YiO>pqp+vax6!6<Hr>{UwRRi3C~`bHJ3A{s`0(qe-$wuV`0u|y
z{`uRVpFf!+<|CZfY_r%=o2)Bz=UL%97khm4CAv-02Xo3%wj7U^#Y2^4E5G`$IK7XH
z<T`quUwio(Y+Xg3E6GHIxV8w>#OOLS4}@nEL+kb09h-VEZf7V;lUa5f`)4!G?ry7*
zJkW}_8vC+K=H8vs=0)>#Dy*0C0BK#QWoE5=N{uE4Br1lu)XW8pio(P!<CW6FS(R7>
zE(~}a+-_tu3yP6)Wd=u66IkW-Mc}-C9r{T71vtf6fSn&MNYFJnVGJq=N&`VbxFpuD
zpel52s?JLv4mqe*h5+b*!^3dcx=L!t9XmJ#O==1R3b>nHrY#X_0@x9uz&tb&`hE1Z
zQ(S>;m8E)n5NuuKlt_|_B!GpaLW!`HrPMLt6KO>lO1m1Xz#y#i($|tOp(`e20}Ky?
zVe1;DGQ(Z6gb0X1V}+7Rj*Sve2sX;7m@_L>XeRXf=t<gOb4BPX&)Iax-|In8z7hm^
z2ixveLKQTfEv2XkMhIacC?#iQkj5Y|1ie0bAt(vaZBp%T4}h)9f@aiJAK{>#U8NiX
zrBrsq9L6OFVoE~qm-GARZK$~m7c^~}<9&M=lpXBbRIFMXP!e|ACLyxoLFTq?DqV`B
zA`pJprq@evOCl95ame(5!^3dczA6WZGUjFoBnirfU}hN8a$%x~t!WTp>CrG0105QP
zb$)u9niIpkEE{6-Dl6oU(9ycgWrkukYMh2ehZ%H5%4MsduHpqmy38(@!D*__O>a{s
zT#84Nqf4Hsb(Ru6u@r4x#jslgDNr{-nnG9{azdbFDYt=uDkuev)6m(IS~tBo<dUc=
ziw8$QQZ=P`+Ch;4!0HMFO=&z?!I)2;-pM1V$qxnh&;@rd28WXS5tiI(2gN20Ml8xL
z!61Uxn@p^vx!pOBHE3IK(h~D(XD|s~aH{ds+mx`!Tdv^P?#UA^?#W}XvofTtgA4^G
zsst0of%9Zqh!Vz9x)cS)th6kf?s<Djj>7M!KS^O9LttS{kEeEu_a-U!!x&x(#?ZkM
zmT_3^2xeiI4paa*bPxcygvDHx+k!>-C9K~~f71%Y;^;7}T40#J((;$L-#ehCoiTg!
zGN_<?2Q(%i?L#W0RA7r{RB}?@rw8FT5BS~m7A+_)pQQon=)wus0>k8$cvy7tpbE@%
zdFwKVz!eWpl>@O>uI@&)1+~3}S%@AURN?j0-xQc=^GKN212G&Sh-C-W5(cokZ#if%
zLCs1@mmro*PK-q$;GQNSWYatGUs5gc`{`*)5v7=xTnyycV9dW`7}sS?TNnM#?4x_M
z3l<fjG$4$hS)xSJ2}hV>SLKnSso_2|r({`-{)q46boBdO=B6@APwbs+^W~6K4V_f2
zh3Sx3{hkx6b+n~Bpe^F?07wR>t(7HWY0Lbh>@tWWaWu4*I@+4Xi{w6@o;XXHLFK?(
zeejkarvq;tA#X9<0dLvo-k-Xyc%gZ#w1g42yd@EHyk#GrcnrKnvuVX!UmnA)kqfs5
z*6M+^{3sn*>lj&!bQNvcY60yf+Ol#fDV-=pFcroy2zm^x^*NufM_Z%EXltOYzJjeS
zm=3h{J<ygD?={19MD|ynKFspW_kdx#?{^!v+02{M<ouK<BzW_m+t}i>+P&_EyG-CE
z5dkVDZfApH*1E*3#m{}r%^+QFrEd>**0<%<wc69j7MHCvw8hZXKM1PD@9S)%uAyAA
zP9Vn3G`nGEJz%UdW^eG8Zo_;z<DgsE_DkYk;e3g7ZiweUYbA0gs~#?st%b75d3eRr
zBbQPVCGB4zxZ;Ya_NKQb^KhUxv*=UJ19h{BxjOCKr=Gi2+OME5{yC;i72TzyFJQIu
z$TKnRPF$fA=EDf6bcqKdHtt*qLVg%AIJNTTwhL-5sI^TA=RJsPy|eyXAZ68<9MG8B
zo|P?+!H=r7yd%VEPW7p_d!Ty(TxE_btu5wO5WrZ%Ah?6z?iSoyv<{N{_9RzyM1V|K
z3Q{)L-wOlUO?47sQa(h$O0KajaX*q<=d53HN!b|00gZ|4S=v(X539MdBgiRD-N4eG
zAXnOxNB}t1U7>)r68%AS--_zi;dPMRw<o)*3l0>BaH&ZteLXBZZ06XhuCUK?6iN_>
zXF>Z|>F#jWcl(CGtHyL+V`1W9*VxFe{Bf7Mx*Ny|MazMu{Xnj=XJ%BJ#jbop0gz#_
nJIL-H+1-KHL3WQrcFVW!H|gJ>to>;H`;-3z`MWri*oFWAlt*LX

literal 2768
zcmV;>3NQ5^iwFP!000021MOW)bK5u)zWZ0Gl&ejn@y2MJsmaz%?O}E@Rmq-Rw8hBW
zp-GiQJMm?H`!)c|wj|K9NkNVrsVWaqEi@bW_@U9=fPVhv+jTLx&1UnwD$j<Hkl`RJ
zFRO80PR@q^{rvlh9{%$F=;v{s{)B%fv-Em^-zewy-P!P}uBShpo__uMH7V}qX<f~d
zBEL!I+37!NQKY9RbUJ*0G#ET?V4T*ez1Cb!>w1=7+|=2iOs})E;YE7+_heSxl;fe7
zYUD1fqM8kE)8cIS?u&a3Pn%{=m)d!v?P)s6E@oN!cYD(WU&eH4dYa8vo4uY^^BhI$
zyXl%pOFQ=OM>37n9EHls`**+ccm9@|3lD9DZnRZNeVxuGdAY6!`=;<6K@&|W#m*2$
z8=|;^MW4J}-NkOz6}we8+pW5Mem<>c^(@Wnb(I%YRb*-Dwbrwnth=81Wm+J_o-(V4
z6<_kYt~T8Nm$aBa#{hr%{%L#ZlRKH^<EJ0oC5e_+zUJfl>ik=z?((hQMQZ&vpXV1v
z7P|Yqthd(u-FBK^9UaHs4`1(z2H#ri^f1<$$i&O1hsjMo&gL6nwk*@q(p4jNx~bP!
z<(}Iy{?f{1?Nk)$T{df)|L`zP51IjP7-x`P*7@z?-J?FKF8-HY){U{B>a-lEv+>|$
z@S*xPeDFcg1Ifo{!;fUSvsTT+#*hcsdTUzUL&_u|#j!{TtoFe=gS2V5xL8#%Lle?+
zQe^i^KpgYL$Puta;Qv*^WjBRckzJo(R<m;5OW2}WPK)D{b<-AH!V^Z8UaE(#t1O>f
z)$Ph?!k3ltZp!9Y)z|ZY_qcg#3_r%F518!?V(1TIEsg;a78S$Vs-R*7G*J}wp}!*H
zVz`%8&w;RYxx`~o$%qh!L@Xhg$$f<IA9<MtFiiVm*kVf><uJyLj)-Kd0SvVqOpL`d
zLQHV#phgJorunie%k!)pJBvEm85CuNX?vr>bR^gE=K6BFdOIP9>ZwMpaoC4A;PW*%
zYw^k83L#>rcSJ;8IaV7ye0nxqw>0owXueBYzq{~HR&Ho3Jk0uHSR^=Fz!TAx7@vh-
z)WVz=CPq5ps8J@sqf&8i!=6LNEFofN{)8oC^Z2FTjz7Ws`x8>S;Z{){3JFdLbsmLu
zFlKQbihgDtK)gc`i{1_eOO&z0Ek#T=wraRjL(r9wi8dC<6r%ERf7=dN-XWG{f5(F3
zly7k2kL*}ztA%RoSO|7Z3BozDW6{&F1CDoyW7XfW;L;6uT*rcgQ{o&8AuWteWXGbP
zSqBjB5X5>5j)mrSxH*aKSQv*Y;T#LY9gt;g$D*fg2P{Xy^5^VZ{Rqs^fZ6l~Gp>e?
zDNmvXEE*lu;#ed`;Jc3MYTFANGJPvDZKLT*BbMY=swgTlI5|1-AAI=r({F=+ef-Z~
zAOHOA&(ELm3VuYYmNJVca+7U|?y9Uq_hPRPzNFWAafi2@mh<6YUf(rQHviRsXT@z+
z=a=c@_}a_wVC^XiJW1#clGY?l7p2S4d?q}*C|b_fK2g*|NIykskx$C&EIgW7d2`+L
z<TJGdv#~FGWNzIptv)mlx59Rk9)RA7T83-gV~TTPM51DeP=+~&QByv`WxUo#I<1Px
z$cce~f$KsxvY;9Gl^NfgoWLTkFC)kG+t3I77vPi-$?f<E2~pSJz!+~Js1Sk@gaWHq
zQXM-t)n;V~hl1-xgn-in4xfj^-dR%H@5I3&YEV-qTyx<@ml;ch1~_p<D2a$ogkc*)
za$0DvdPS*zJP7tqa;ii@LlT_Dq(YStrTkRKI3FoH33IR45FHtWZB~XPfk|^<!k59Y
zcaBnHcYBtQ5iy8bC^XYC&cq`iI5TSI)Jh$j34=BUf;I%72-CzlyH@<Y9t71ZK~QX=
z>~1kpMGa>wB^!c~Qd$TqC75^87>^9Wpp8KYDge_b)c)fEuy<MzdtL9s9kipXwL_p%
z+7`?a;yI8|h+QuiwlOGZgmV`R?Hc3#@i3^iP`9aBvo@d*w`>zYH9W{%*`_vra@1Yx
zhF(&&8MHDe2})CsLuL**d>#(_XXSW88FM4V6+~r2jw4K{UzljHISr7O9+9CKH?fh}
zW@kVYZ;S|^HYD&WE95Pqqj#DMyJFF6g2qJ$cDe?S4oO|ci-U5JU7=WXbhOzS6lK!I
zcns`a^h7Vyl-v<b(cWncTN_9@bpvE5j|)Trz&%a53Igh4dN$8MV~0;#%?#pDD9}w9
zkM99XwdCUI7P1VS+lhrojcGh+Aw-NG-l;uE${#ZBu`}*L3?6ds-*e9Wud2A4RAp$s
zqFV?tZ~^kz210q{7y~B=Je?@Yw6V)OYS3@O>mXIfX<>>zbN-wVL(s;sq{PJ?{!4_~
zw0VyLikgI(&MD*9tvP!FS8N+$gQm|pF6$%54J4BeSm>BrU>PvRjv*z)L<LrxkzvsV
zveX6;BC>Fud2H*PDb;Uj6EW|fA2%G`Tfd8e%cv=GT;3UBH~SF7jm?o8MMSfi0ix%~
zTkH&q0=wTO%J*#>vFx#pn7vLgi;69<BLVHfL`mdn*GTDMtdxtYQo_7u)wN9bC1KUD
zo#D8uJvqg~nC?%x2iX``-3(*?N-&mNh`KSs7n>MZ++YWloI7*?=Pv3-g!DTZWc;98
z*vznK17f*%7}h;7EM6&Kr}~#W8D&Szp0~ht)N&_7fGc~hj#8T2JU>+e{MKR~zuqZq
zW^fHei9h~_>%DU)SPu-tEAg=2#@RZA8GqV>;E@+wf@%k1qqSefTTt6m7o^<5**ZZx
z!=fBlg*{HOdOZ;HJp{4YLV}lZzBp<jsxv`xrDQya6;mVB$bq{9aHQ&bc*si<ykR>7
zqBNnDP|w92_6^43JBD$4?2D29K?+c|s1#H}jM7nq6hH}BcheX}N2m|%VI|te_*Klv
zSF4FZQLTa5yJ8IJhEN7`qRLj^nzt2GWzgSM6^l*>;BohdXpKu9H@pM{0!uQZJ+f5S
zBKYSatJTP$=smLdCJ-8786FMMLcTFzZ6gW92)N+}O?BLG6cv`S5LlYJU_Gvh9I()%
zQ<1YkVI#w$puxc%B;DX=5~-a*O0c&^S=&ehsYRz7BjT=12ry4sTDm}|lGe#XWC=qf
zr-8yohD8_1Vsul2k!a6Z-FGK{x5(mKST5jm=Q^Fqs7{vE#5`wFiC&g1Xri986vTD2
zT8#{g8jmbVo_4cr@RWPbLVxS6ahBLZ2_IQ>y5^B<NtyASMHRRjKEE(UWbwFeR;!U=
z(FL+#0|*gW(sPy(`{`%36#uc_$&wR$47G7t1Pzo%gw-QWV6+^GgfOk#W`5Oq65eGM
zAk6E*AK7hI41T{U-6B6Njw~9c^Fx7P>;l17oF0k<zvm*sHr`TO;4N@?;OOqe<}I9G
zY}E_5Gmac_T&dX%nLyWOUwEr<yfw~d`E52na+*qn<$<_%L0n;=9*AoniA!&Rxa_Yu
z9=naDv5CuTvIjLFZ`ofSVd!wV?C3ra7cIvPaecXWxCYMQI?&b*Xe$iU18waiZJBNP
zTegynM)$X@CKox9Bb@*R%1|*kozEWJC2M`IrpxZu;NIOj(AKWJtu>e)XzNvJ%fEL&
W()s>q=~q18AN?Oy?<c6~djJ3kHd8zR

diff --git a/papers/software_fmea/three_tree.dia b/papers/software_fmea/three_tree.dia
index 226f2db49212ffdc3e01ef9d4363fdeabd499ce7..6b1b5a00a28de3751bbbe40e86dd1a2179f68a96 100644
GIT binary patch
literal 7631
zcmY*-Ra6|%vMdrL3=YBF-CYNl-~k2??(Pt5aCZp|?iSqLH4JXST>`;1$jdqB{=EI&
ztGahpb+6S;9)k??p9cqjZm91>((W4YP>Z<_%A|`KUd!AQ9h1P^rv$?7@2?W*H#WGM
zk0+X6Jk$1yYMCd{e%|1wzT*0Wg>W`Ot!`+zLH^rlxcBXRdKzDDOM99B2$XRVpO!c(
zS2dXcDm%)sx`=;2B7eUhA%8z_1qF(Vetipj6Yew$5G(9$>)KJhh!@}340xJcYYlw4
zifDTbXzc3lz{5ZKIy`lH{?5wImhNOTySBGwL`u5R+jny9IWA5d(9zZ1E%ttS=jq|z
z{?g^^^<wgLm1ngK`pT}FFkfl1F<KQ<^}EPvGRAAPHZbAqs8hsb*XxN8am}lRPs_7&
zx89rE^IUR|q&Kvrx4MSh=>8_73gV{c`uBCRh!$sg=Y30`ySk%5Cc~<?`wibO$I<4o
zf1`QC(LH(W{OI6r_36M&=+>TXE(B%=Hi#_zqnLbz%8$J9`Eh^i&wmP8+kdz0L!CAQ
z+dF!?jdHid=$>{?PfeS<lr)`cduwu4j}G^)gDF~~exR}ii1&7P|8jlrWoLKvG@*EX
z9CiG53Ki`X6W{1^3Do0sNfU>vI*E6`H_q)Tg5HfzPPd>=P;rCmkw0%Q*DWgty&3H<
zgRM9v4;y(_g_MR48lu_HX}XzZRS}J~M`cwIR*t_uQ$uNDXp@`&kTI6epN;1d$QXXh
z@0vdOdx#pmU3l3(TYLA13<>H5bcw#Vyt!Xw8u&kMEsm~%SKoUKjdIy)RTDNzUSChA
z_k@W<SrTvNy++>|0|Rt0R*PbiNc?V_dJHxsCIBASveCw5Vj-j0=FtNY7#JT7Z~&8&
zjWLTDRCC!~>Hrw<p>&iLw!UGtSns>HhyT-xB*U0SF}B6HS<8~^hp=>U|8`WpJnbW^
zJjb%AS*gF71Y!v*Q)N}+n+ZDcYm2*&cmdxcmaX7*4&Vfk>kfxLIxxe1k1Us$W=+LQ
ze<KYA@k(S*Y9qNwVM@U=R=-AlLO)eB`4JWA!4i=}hsq4n#k6u+<Xp!b6v7{r?TeBu
zkd#3tmMF}K+77PsD2#R1QjSu}^@OdXn=dB}8oy57dCL$dfidf$HNk09()v6gO9Vg|
z2#Uh2v6I{9YzBl1I=hh%S~E*MzAd|<6~9V8ibL5!)C7F(1aub6X{wR{3uTHF(t=cK
zjub|)5o=__Y><M17|1xFtE0=Ww?ib3L^Ni)zGTVvU@tEG=s7gwt9anc^<}`wE*FGt
zVtrPsm_Oi#L9g*`YL<QgS?(h;b}LAooqXf<exp8c=yYtWa>uD(>Fr7gdbJ%t(YIo`
zHmE2cdh1(KX^ZQYO#zfd>i^D&BpRv2k!B(?e)On8o8+`$*4N%o;AU+90B@FoW`^5e
zNkgq5v=qvzo;)I>XpB4(J~JSh5Ok3D*~g1O^-8d3;X9_25-~47LC9oZy~f}EdUnj*
zx{;LLk`vM8I5mRWB|Zd}<Hi)qU$~)`TExS92J!3*+lVoe(`bXmR$S)wTNvR|Y~lUL
z8W43VxbCiK21`XD8gGhl1b@#t*(9XR#g<t5ClW(j<%Zbq)W(!yrqR+FS8)ODRYGAH
z%I+`YcNNiQRK>blayHe1*45cWA|e>gE+YMh$BGEpho{>WEEw#X;aAd2Y{Cw5ic8zZ
zxl2t9JPL#TD+UbAY9)z~8VDF_Srf6LcbI>3<Hc5LSCpfNGsSjTPz3IPVbmc2#giYo
z-2)_7PxD+UkWxRWuiA(Nr|~krX*JVDo{UjuTHyh)xespYD$UvY4DqK}ud;I%sm+tr
zzh~EGIn!}{A4@E;5A%w(tgQ+bgfzz=r0YPTf54wViIiGm#z(?{&Iy`likV&&#=g9+
znPiV^vE$fg7HY4Kiz1r`Rp46j2Jse<2;^1^a2ZPlA$+-ClCjek<40`!_Q5QAI;zCp
z(yiPgU|jT*E0xQ)iRkjP+g!TLFq#em6}9G-V1@$K6VY0Ve*ysb)IEDVP0f?1XG>K6
zx)-VZS}l3dL{GfS4a&~hn%67W(Fd}xgl2JCOdZ7IrAS)>qyWxz2Nh}e&0vw?qhk#i
zUK$s;pXg&;NMm(*`K|%+(`Ao3T95&N#TQg)9he1P*q2YUIq~N46ss-0n_~5&*nNk4
zawIP;XZtVpKZ>0*@{V3gu{!!VqpR6>-ZGzQtmvPRK~h1A+PqB8q~B8NW*j5Cb<0r>
z?3aYn^}|_VP(oSNbcw0W=6-dU09cy^IpJ93M@;}t62q98+G^tVoX~$&Ik0S$X<HwH
zkgT}u&DX!!h^ES45~dJII9#?kMo-HF2O_lCEUH<7r^snFEsgyDF?ku>R{7mDuk6F|
z*}*o!L#P?c40SMy=GjDs4tJ|uYSUHUB?l4wLnH;Ppy!b||Hxe`UXlynXog~~YTKsf
z+S8)jVV}+gtvM`Rubp1KRju@*bR;D^yN0?6=MeT-Q}vo)&N%2I$MNKJ_2tk;2{}Zq
z`5V!4c{JJrqs5`}2KuQIR47@WYV}jOl5FgSzE+LW5@obGF>?wU`ng*gAcfoKx3S|#
z%dhzyy5XmX2w(d9yS5wl)i%1u4y*RsXyc`#D)$jRxsc!j2qyBw?2H+Y8kg$VT~)LL
z;K}JQs`=76X)AHk1^s4VCReLHSXze~nABW2AD^_2dayD*VBp)2O(TsLc++qGmxn>k
zd&l0NgPZUU{wG711I(e{rqFl&U_s%jvbY&K9}B%j)?SWvgQNiz?T)Z}xG9c`iSf#f
z3YqU`eU7@31&ug?DgtT&$Y!fqQR4K~u;YV0q>2alFB=jxN|K$fyH3edvy^#I%1bp@
zxOj-+n@}01nd%1huhj1@$NrKjHG1yTsXWpI#54qQHsc{R0%az3{jr1UVsaV52oUG9
zqX;u$DUvlfDfCaF=6ZS{UJJN^LKDuTCXBl65i3R{bFGWutbI3g#=0<a?D%s4v1=PW
zN$0<CshLEB;tn%|NNk<aBX)U*#4mIjh@V{StE<EhowKKtN+dqSMoS3_4myhEaqHTt
z3P4q!z`Jg@M12Ii$NQ0{QrZafcYL%5N)CJ8(c`me$!GDarUE}P2Md7FLyU`XgTQ!y
z5*G=h7JUxGT4Q931u}@p@WD`|6owl@efkYN=LEJJoB0gmj6T08_6JvdUK`I4yuEBd
z72=gnca`sd+7OXMUo3R@N%?(AkaogWm6ZDX)(Fx70XY$j?q?HBFt|GI0Z?d<ln20F
zU~A6%&nNL6^7B{|P2z#!aDrGg5p)#~m5Vv+h7KZJiRzgMSbTU?@w}nGsQc(wNiN31
zdG_q$vG{)kT9Bw_e<=l!_z(%N@%YQ>wr-N`0~N4KydN1~DLe^8A=gl({6p?lxxr?U
zAPhk0b|QS&Ei}zb=ZR$jlacXr>MpqaMbI-ysM?RoRxE{dg%xaQ>RcvSN8dLr=3ywo
z7OR?ytG;V0xIevK<fK_HGRmDdj((OtOkfRg|EwF8UQBrHLh3<W8hcM~J|FBAJ{_(x
zQSToFJw8=9W8{-N=;WEp8QSm2-Qa-z$yxE>UXI=Y_ex8U`uQG4a-;gAPf+?c*xG|6
z+GK{K0S3rV5dFW_f22_&0~A~F!(zFF3)~~1qG`O3U4Zn-Pc2oN<nY`S!AFQV76y^I
zRL7?g*~;~TSwa$nGE|a+;+=#t)&a1%jl<Um^hUYSzb`L$9OUkg<)gM~6jXw<8pR`;
zNAmvGJmwN*6$H_^XVZ?3$_;au`Q*0Z1fl1u24Wwo?)uyo+p%(z6<y1>iJu^n@A|{<
zmT|r#f1Vb>Hcan}|5To&3b%)oN)~!=XFQ6cJcszGMG(VgisVP*)NKowgT|5|iS$Ex
z29^;0gHYuMcM_kutn>VJhhA=X)bm?pQagJcO#fQWXc%R5Rh%>XZ69jS^$>WuK>y=d
zIX~1?AUcXw{|IThNag9+j%zZnXq;_-nGHA=WfDB0_I>XvFB&yL7EBgqS&WRy6O6%>
zzqACNrg>r@;E}`;<qu&f8Ygmw%K!Dtn&&JyS1&l#2WHH68tj}x9AK$~zs~Qm0t132
z9mTAh5u!QQTl?NxVbbf#n{NH|L?TAJt9lUREg)dBvRj|cJTL7ltKUB=d;c2<9A`}o
zaGlOz-&-U8Vww_!Z&&}Z|MV0Rs=7dNl?@GE%3`MTXL;Sttf`5L>jodp4k+M5j$<#e
zF@{7NWfE~hKVtHB(Y=?8xkhec;$HhXv%-#+!o=OPHAz5uCW~S|a-QT{r~U!v?<oT1
zQcfcg9y1{UUi$($18z`Vd<+c9PhY8Rm+2UIrmki8y_?=RNWOiQJ``vW^gjCl5$Xuw
z!Fp6mk;aHc2WXIrg<6{=Vb9+wcbKAjr8vGDDKiv%YMoIzG$TZk(fPUn5-Gl*D-E)$
zMep<=-1i_<vzUwJH%qCEYHz_RsnEJktm&*o&>?#HL%;p{^j^|-ewhdU;uK>JZ8KFR
z8i@TQAynNX<=xRf;!Rd2JA~k$!A0|2qrT(;KV3vE6MTOau1@Gd(38oUEL<eFw*qPq
z0S_!kpu0LR+(3ei?L$?n?<k%N;y~h4R|3wlQ9H~Isp6R1xZ?t|H(&a2j@|fQ|BPLU
z<>pj&-}ohmpv)?!9<MDRJ8XMXyUw&ZW2$ryOa4+6LLZ$m(<}{ZNKPE{5rYj)pvjoc
zlYrOR%4HsQY(2WafPR-G0=YHSV!b5cvc3Vu6;x+BD4!=e*7|z`FY(8zhKatmydx*D
zEqEQ886E>Mg5!{YVX4J(2SnSwxV`>JKl^joli6Zul^ORdgRAq3tb`PwG*ixayk3$L
z_(JoEd~W7h68PS9bDzf_h|!1XnUmS~(jRa;kmi9cz6C$x+c=?S197VU#A2hm0VvL;
z0%Q?!;m1k3arZ#yFEr!D!Os1E&q#ZPonw{59#oQ54(H+v=;W(p;jEJP;`%a8EJoXS
zkIV}Q5~XUBS3J=QBhqOD3L{89?An^)&mX7|TN^{uOxqxC-@L4|nTlO$$7UP>0$A%n
zc1PG;2D*YBJceQCEx5m1aB5?|`JmL(8CD)-8!S<hV@3{<Rq%Scj#plq)Gr^T)ZNyL
zAi~Gn8u=DfZ<b)UDL?Mg(MA_<D3K0Xr)9V6lf}DgMQ*O8kGpTEmiVs^=!5)jGIJIp
zASuGd3I077YPvK<of3b^_>ltU4&_3RtOJ+rAmZ$C_<rR~6>?=VwidhFolGd(x$*T$
zR7b18La)9(JVYU$e_%wg3VpDQeg25LU4%~Ns;Ndi9GqZ*5tVyQ^yrO)gjqBVZDwd=
z8FA+SC+AF?BonAImBzjiAr+Z#_Om{WG%_NwBUl6Vfwk_PbsM0IvF+bkhc`d}##W6m
zc5s0<s5eaTN8cD-#XobC1@|MTG6^?TX)syCCZJA|-i*JN_%GxA-G@$U=5sYm*`?+?
zq}}u<Dn{;YD%0f|_C~2E#(u;Q#Wqe(CMnm&CRixX^xn#BKaJcRi9EwtmE`#hO`}IA
z7HWEnFM%u(!&IYHT;rAKHRriQ9rx6Y?3s7TB}JDnMwsR&qWPMr<P!zAWtoqb)`WHo
zGP<!_j?nXsqALq74iVmYvrf`J*b}hPI;=<*Uy0POvmlL^d(ygh(x9-PNR0C&*?cCf
z%)tt`8ak6v+h2Zb71e1ohX2L;4pzO0DW2N>*!!_q<K%gmMOw9xuR>KbD{Qx4oig0i
zV#)rAer1K&o2(+BfH+l52mx^cjN1EPkp-c_2<Maf;u@j{98Z}v`yM786ti;0^>0;n
zF!=j#dP^bAK%3}&QG_gf1At?R(5|ty`%bA*VkJ|0>t2fIiArl$rVs~|P`=A9Ea4AN
zgU4kLJ+ULn3=Zpe*qX1vCVa}Vg}E_mblub9XEQUukp8XVm2=sRx7RE+`E%Pe^jYf$
z*hn&+($-BFKR6R1_tGgmhLL|>{k8>HphTUHJ+j8LFa~+fge@&Y^8F>iM;@!ZqYdBD
zfA-h(pV%Dm%VM|+c{bZUNgOL}cXAcjq6guP<8b6yKiYjbdJ(o6&C1Jk$#kp3JXC5S
zi0Ff&0GT<fTk9EmP|3JFVkwf1FM*F4lLS3lAsu~roLw*Y$mJ{)cZ7?QM1JWXvWU%o
z3gB0q#Wo0*Xg(Vr9xye?K7V44sRYp|KofBqf}%2u(f#b8A|(D1n$gemyPC!qihA4D
zn7j~iW1}buS(^AabQ>MtbK@9`eM*ov908c3qBAl2FkwwLB;G~;H*|Xu>?z?TAq(gg
zeTxZBoT8b>3P)p)Jd&f7@l6OUe34F{%-Wp5f&vc~(C-Z&ekHo*RrVVz6e0=HU`*-E
z;ao9T<y}yU4Nv4A`k2@6@yYQjJqagv`7<O-6v>&*NOblk;s^jEKG+Axa}L5@$3f{K
zmOdmxbj`UxIUa-%a;Vzr&lP-DJY6Wo^!ZRJhcWS#0tl=C+ATJXd6quZu4g8w&@T-?
zGi7DHGxYq{R@|jAu)EFYb!*<8(HuH7P`x0I7mjhsm5IL$^9Z*rF@{1qb{sLhOYMmM
z{HG&DF9Bz;4Cdk#G$7&f=TAk_DxK2kX<w~t#8fI^0R<8n{*0b~5z8-D#685<X(v6`
z(Wp~oB=Wj;;CnYjZA6AgRMw15Uz)C!Ms2LTSE374MFMx*HAiQ^g1gmM#9=6qE&`ri
z37g1vUST<npIqJnd2;qd$7{x7iWVPsr!O(nh79CytThsDmuShIj$oJvvTSUSu_kD)
zc&23*!NsCDa_{rwN2-)!Cq!c4)!AX9IAXrdS1_|`duv4ePO*O5N#RclQAOVeevBIT
z2S|}>XnKs+htcy-;E<lJ|D7Oy|Mvu;tF7|t(J?F6dMhpcZgzKcE-GC`9?7>FiFdND
zioq-6UK}hUzQEEHd8B$YHl-gxlCU{#wR@YrR9yC8Je8VXn2=#5{)1S%bnE3_uSdm;
z&#x!2pK(K6;`c+<<Qk{q%T3W%M&2}g&pa9{yHk9Eqhl||wo>5pMOBPb)!I$MB+^bM
z{bqk;`;9yT0~e`;kXkvb@00QR<h+eo(|51XZ8v%Uu8y`2GHSfQq{wa+U)F?~>)n^L
z>l@n_j~e+%w3fYi%_S~Vm`gX$p;qtD7!N}mKaLxSJT=Hx;jS69HuXWe6vOfO4()V6
zREM9N5*hM_RLVhhF~z#kG#Tv4kC-gECWg8+oP@L#>5LyI38lAJ+qp3nDr1UIsccX~
z4QZw{XrBC%_Ftm#ds>pDH3c%0KVYxQgALl)5;{b(fX4W8jkt0JLGz_5Y68{gjTJbo
zsIo5mO@f?~S%Q(&$Ghb{qxS@0Ly{?V5=LDh2`oL8j>bZooHQLc9sxV6tI6zhRB@+t
zC3})Aa7AX0MJAbvBKfC6HEjh;5^9-Ujw1Frr!sy%pqMRjgmUFzww5KK6h#-;eA)7&
z#T@EeC0#PEk$&DpG0lf=wE>+do0r~R@swgkgh_!6v)_f3__?Ip>>91t<)*){Z(pyU
zpHCBPx?s(Xo?nMgukF7)W#ZCh45h=hp5rRoT%ASB^4+V(B74MGATmX#wZ#gK;Y{zf
z&%8g|`uW@>8Hv2!EMCLE+7sI48W~pi{9rT64hAhDUWD9^NL<3&GC!)jdm@N`j-c+;
z_*5c~L(2@hM{}>{V5yl&(S-;(?~`=JV@yI8)w>>P3oc7z$|tC7;nED{r!?d<;UuHc
z+;O#+@idg=09Gl9aOiQEhT<`|vln04i%4bu^6}ld3oZgx;$RymD|9C+&I-+^L@k2o
zRX!N1D{Uktr4Oazs)Pf3@=m!bC(B7CR%I4gWHbYkxTbk&crMl9c)69}Gx;?L%<x2v
zHBBihWv5kTJ+QQd4|q@}*a|Hf3man6ljb=?5lcdANm4tCXv}nMUkO9AWDF`lm;OTE
z#Kr4$&MI+6L6B7Eh(tCNB|w0`<p?hdz61u4<+XFiI4_)>KEJG;HjPd}Mv6veSBDo#
zhChvAV=*cR^;roU3Ck6KkHt%;*02{#Dwf>o_<m|?3)1u?<o!&T_VuPZETNtXmuVqZ
z;m3)yu#U(+9RVu66VSV&B&(p<cac`>d~890ud_U>q<n%cVo4)k!I{IO%<m;X714<G
zk9zpFuXSZisRE1V&Mh-?*~awfQ*Bkug%v2n42?u>pGNT$G9{kMCIc+=_<651ieeg`
zb`ZsTjx8yTOZpl{@JPb1fc`EZqKJu)Q>1Xu<^sKn*Z%920+Z1ccSZx*VJ+vOpN1};
z;COOwI!P`oA9xcZ80f2EJ3a60p!N~4^b{*hupFy@cl3ql7@qXGHbv3BXnVsj$+Bwh
zXnnL?h*Z6tOJ{+oOO8iHI79WRUc;ZrG*8Y$sr65}VV;zu;-KSvJ;dXwE!Y1P&$rl)
z-)1dbZoxsLUnZVgi;LE&+PQStrBr&Fav%!JKIt?}gUb6LvS;~MI3kmG)=tu}qIU+~
zx8_09?cw$QVpp;Q_L{($Y|2Vak)ycW>Zxx!ox6XKL}650$o=`?Q6=&IbY44D_>Egq
zokQZ2>M)!5XJr36_Su1Y*wvo!1gX=@0P<#NtL_^4X?NX;<^E57BmB`hiU7b;Z@yF)
z!a48KavyO!8N^|`dp|_byO~cPG+3AQc4vGiVY5SpG}WNSJ=n;rt7-@0^-D0m6obys
zh;Oou{Xy`O>5{>63bJ1wVpqe7klX>v2u1xAzSTv-5Thj`@Rz9ymv3^B-;YcCwY1z%
z{79N01!-H6Z}s?h7O5Y~{MPoEcw3tuW*nh6vYhx(=NVyGY$eTs2sWD$>+b{NopoOO
zV@-I$8+HEi_vrxP3wjcFA#(+zR1YCa&H!o?J!;YG17uvAgFopBZ%N*%GzvEeBo?d0
zbg!D!^Qm|24Gtrf_{Na9D`NmCD#g<NC6L(wCa6BqYIWvM^YsHKSr)t&|8i+w@ECQT
z`hzQ5<zex_jLsY~HaqoT%%=6gJ+mrf=S|k^nPYe3XIM@6gHG_yXiN@_0ej2ZixKmg
zZ+#Qe*@G$JI$`38i6F7w_CHa6RO{>P1oriL9jv8Y;2m_r)*3$b01xylZzpsbj&+a)
z5A;%vD3|H$!;|^ajj(iMC-6gTHGFx8FRlB-v<7#LTiMeGO$l95+5=q<>^`TxAP|zL
zPx|U~?l~%}rc4dDg}@?89BlV6Z)GH1<&6BF#*Ez>V-j;Tq50sW&$sRbskM~TAVL#f
z=C3ps>jO6%eV1dVgUz2jInY{IWwFACQ7~3+?!ugpw6HD7q;S@MoY-LJ#tJuwgU@rF
zKs{@z|6%0XA3V`2-<)<`ksrw_v^)TRMUtXyVpTGBgC;q-|KuCODzar0E(ZyfK+mmR
zKc)MYj2d#pyx8yC!vNTcPpFKom8hg^)1QaO&ILT5ArW|6bRPYe65+Vz8o#f(*TY-~
z+J3GVLMUs6hpGA^h|{2}b$AL=fzX^d2X$xOsed(NE}^~6-k-8yy6RN#@8B6w;tm+H
zSj1SO@%3+H<?>B%{^6+}gmy2rGjBN{fabl=Cms-(wx|$5#-RhvzBb!Wa0$4isqD!|
zfb_Ck+JoQv-aW(wWV$4ijdP~mQ#U2d5R>{jq_Zbe%Jl-`&`fP*=ho6PQjjq5&N4^e
zpC`|QPUR<+y=LYu{Bl3#f^>|7dBG0tX3SuTF=Nw})q=%!+v4W<iREWJ1kgWR(lr!c
zo$6NGQ(%lY=ggbPdN6ZSn6q5Gv|oel+JC4>Av3E=`a0Nm8(dZ6*V;;?yz@Wk7+eDz
zjbOTul(od6IZ?UIme#y;0R^kD$`kzMcqT_^s0l3b?VC+2yZ6H!Ea~?_gHRcinq!ls
zN1h6gB8inJGErqd{5|w#4rkG`_5aUx#oLN*#=Kyr+Dmf~rTlHG(!?@@j<w_MUBxz2
z6SA<Av9~!V|1)}wOBLj2Tu+EwSOl>rUjybJRGNb$HQs+DlRX04_GGtqrn1O9|4ev6
puK#Pf8?~O3z2WP>r_ZgR6Zlsz&+eC(wW@a{*q<H@Gh47Q{|{?B$L0V4

literal 2117
zcmV-L2)g$liwFP!000021MQqmbK^D=hVSz$RGO;-p&Q@B*s0`@+QZiFA<5ZANgSC8
zMY<%~9$)siF91rhC6Tr)2y&Q6RWoJF5E>0Ve9`Cz`TY;y7RBHpTdwk|ycz<b!$DR~
zt65&ouZF+<`tx^s_`~(5?`L`X#r~Tw)5XAkqFlM(u7<aDefMQNetdi+#nURSt0gJ&
zd$P*L|4WM^9ot6Z;q|A%;AIE1v`*c7>vz+-UgnegIvbSfBD)$+(&-=bWp!W9hE1z=
zyJ=Na%fUlhTn#^e^{?T0-OYHbpI7?6OXt~SnWcYpcTMffm}9!W%a*&{F7B#TZkyCk
zcY94b`f>liXtQp$vW?35_2(b?=VnOjH=g@y8)&DIdXX;YdAV=L&P~xw1QLyib~1#~
zhAOULGbisiH#x7l;=JaT=QWqFZtkjOy-f3Z-{hpKiYzS~tM&3eJKoM}nidwZ*W3#5
z;%i>l)f?mgnii`=9BAJD^J;tVl{;VNv)3=&tri`<Jm$0d_U2op>1uj^iq!i<zRD*>
z);9XQtWVbc(`mZj{dT;1KYu)shNid9<zc2Xk%{*&5A*wcmaX2vY`aZIPq*u4<F{sg
zx80!=)4a8_SbGyi`jjo#-T(BwOb^yy@LF*O>9o!tHov`?lWOvNHm%pr{!*vqEM3k9
z-wl4Mz73ya5F3Hyv#a5M>Govpx@SAHI=DAmchxgenouzUVs@usUqHGHOeVYiFRce@
zIWMw}4QoJ)1d;F&Crlh?D=V_a&9qvU`|-i)9P&oIknB6P5fSSG-Fm42Ten$0zpcBC
z**V)b#*Z_$x~(2>TEfP+*TnYgcl-?N(ey$ny@pUJMv72~h_5vQVkC)?2{6L#&xUXr
zli^UeE)bs)VmyHaGi~`&7*&G_W7ddNPKFh;41<cS!$DqM7(OGzER<nkS9SoxctnJS
zjU1d2G>InmCk$HS-vl_&r9=2-HdHwqzd!^vFJJoa!!HjHB(!IXMU5l0$5$j4U4@=t
zE#k%zL0%n#uuIy!WH=}=It1aDFDCnl@W1miYhhS~GOUOOCQT!eG-fcNh~kV&8$&Ry
z1xpMuRAPggq(|z?v?|M+tekm|j`Fkh0$@U-3)qE$BWWq`7t_1l@wDY+UhC9(XD88q
z<Ey<)&E_wITg!;c5LhJY$}h`<=f7SJ^`5IOpM~{jq4Tqw6vxhhPD8N_j)t8=qHL6s
z#?)hL0hG}W4r-`M9KDpGr<hU`nc_}A+nX{f8j7Xq8^yeT6sus0kqD5?e`QkWm=xQ6
ziM8RiSZI@g-4t1QbX<Ye$=DQk`PtHx6XeW~3uy187(yWaAc}P`#V$!88byqmVRLqX
zx@8(DhXg61M)+WvDG{6Cb|3c}x=}IemJ5)E_D+QX0|>^C0oa5BjGRcpn=e;K4T%wm
z;o1oyHCl?qT2{!Fv&_Y@`}%_+?)0;zDH000zZmoWVGO}lI%EV~x`2zg2!nz~g%L1u
zMy1A)U*k2#M!3brmR2qlHcj@LqV5a5=K`>!%obc{14g9u`}<=z(TBwW)(kXeAOT4P
zcSI<NTBith?UE)tXURCc+@^dD*XOEYvaD?XjTs-&q8Wk9_eW(p*tNeP%aUysE&fJT
z3kWW|S+2C-QganEFrY;F-5B>lfpX_-EXo)Y<zUY)s(en8`3ZJvV7zqkm^oi(hBpeS
z6I6sMUq{waQ4V(P!tyy;4lcx5u8cct!(-;mtP$<b*D#qdB&bK4=%|O%LcO{i=s9OK
z8G;LOXoyzImsx>EEyOuXD8La+6*CE=gi7j9-+(wa@qBpVq07(xrfy(VNq?yw8~%J?
z>db`HFvJJt&VoyEOxU;;eEbS3W+je+Rb=Fr4rQnoi8E}#CuNZ<9vR~<H(Oc)F#=Ri
zDMsic#lfXG#+&pg^0)+3;{n!MVB&20%^ng4G<G4b&BIoBLD~r3!YfRF%E)H}up_1o
zucYZsY6+s&AoM0{1_=Y7G_xBU9yP8F_Uw{0JLl~d!NoMUPW#jn%D7tEB+U?<kgj!9
zN3CT9dv-}QoRefYL1??qEMd&E4bDuHGy|0|y-u2`sJ9P=yLMsuocRXC6J*V_GREDb
zMum*IQ9~QgGG<1cP^PJJd0@jO_`Bo4#6B|F>1XR%9Zo6Ofdb{Me+dT>uvMcUvs1%U
z)a1B*x$jpVeOmj_x*RfO77sLv`YJOwO8J{E(ZoK$-sxv+Q`AEGd;jUN3B3<YIrI=?
zeu5)E9H{p9y#tuIr+yemM+a&uS>m4Hppd)!-_fwxM<+Y|Y=5)_<>)ZxTEjo-2zzXd
zf6cztFEEA;#=*5XM)U|t)Qz6It<&xAP$YJr$G8&KqCPe}uH8($@i3pAHeGR|fBM;0
zyPXH6(JvhjN_*w$LS2uls>-^}lzV^hHC^PzlO0i7u7-nE{j|oi`RKp0;vuW^Y5Ee#
z_m5yN{B8}w!7f%>yZpRDqYZ}H+-C0}{*E!T{kWx9p2<gPn4z@D=j9@6|0**pU5%|n
zt+YN&>3x^OgCElF1@Sx-cG}%dmktG2Q(aa)<{sTGmu#&;#%qu!ybl@#7Y&N7K|AbS
z6sV616kZ1>K5fUMhC<B^PgF1~L(<ETyL+S$I)oP;iXRK@5_plKK1xyeVFpE{jaOvM
zO0u^hi4ra*Vuna#w6$rl2U_%>D|Qj1*kZKL;6;u4s7Ap@TR0`nkrNYBkN&hmg^P}m
vC~o|6i2YC`b5W$&+q5<gFPikBn$-O6AL)JlY3rHa*Ps3mlYk?K7i0hct5YQ(