From 001b77c49f31fc696cee811f743e14d9c91c5b49 Mon Sep 17 00:00:00 2001 From: Robin Clark Date: Sun, 5 Dec 2010 13:07:25 +0000 Subject: [PATCH] Sunday Morning Edit. FTA inhibit included in fmmd_concept --- fmmd_concept/component.dia | Bin 0 -> 1240 bytes fmmd_concept/component.jpg | Bin 0 -> 5853 bytes fmmd_concept/fmmd_concept.tex | 76 +++++++++++++++++++++++++++ fmmd_concept/fmmd_env_op_uml.dia | Bin 2054 -> 2284 bytes fmmd_concept/fmmd_env_op_uml.jpg | Bin 18777 -> 21405 bytes fmmd_concept/fmmd_env_op_uml2.dia | Bin 0 -> 2640 bytes fmmd_concept/fmmd_env_op_uml2.jpg | Bin 0 -> 26051 bytes fmmd_concept/paper.tex | 1 + standards/paper.log | 12 ++--- standards/paper.pdf | Bin 127654 -> 128175 bytes survey/Makefile | 3 +- survey/paper.tex | 1 + survey/survey.tex | 84 ++++++++++++++++++++++++++++++ 13 files changed, 170 insertions(+), 7 deletions(-) create mode 100644 fmmd_concept/component.dia create mode 100644 fmmd_concept/component.jpg create mode 100644 fmmd_concept/fmmd_env_op_uml2.dia create mode 100644 fmmd_concept/fmmd_env_op_uml2.jpg diff --git a/fmmd_concept/component.dia b/fmmd_concept/component.dia new file mode 100644 index 0000000000000000000000000000000000000000..4ff70014fce026d523c98de0a5bd1e9fdc18de52 GIT binary patch literal 1240 zcmV;}1Sk6+iwFP!000021MON%v!XZ@-rrwAad%Ut=rYgomy2@B!kqRZyk(f`{|v9KL)xN%-{neHmyQ7R5XiBOL-m*O-`v9vA*d z|L5BuABg^W{PM};^rQOt5nXEP4iP73BYh#|>f>Or-EKj!i>VAF5b!mK+2CIq1azQ` z2Kx9#(~cc@RMO;Hew9iY@#$JJP0%G9=~FuU;YZGBx64%+b7dlTtCC5LpXB?lxpVJ_|CV=en&)#-x&-Ekjo$t6O z7BybB+>?vRdq?TYyze^lzTq*S2CS;}T*$k*-`&T3@#&=MeYm|P8!~UT!-Gc{X888u z!C!Na#TRIHYE$EBk(&)JWxZ&3ZDO)Zg~2+72`cl!gu{pgQyCGdn5gC<1|^t@RT#9gQaY(!k?5vz=g|D#@^)-g<(!%*p|XB zz=~1^>XO0ogESEz$)s^Bw2M_nBf3Rwk|T-WAw z$%CD04;8Vl#d4QuoYJT4)<0RWVUo}2u@v9lf>IBu=p_aq#_3_T13jhPmDFnjbUK`# znR6LNJ0Ml8`eMndpC%LQWuD0^Q7Q+^+xo*MZBnsE9GYT2M1xRU4T3gs5`}O(9Z2^m zCK+b`DkVa_67@<{L%?2(o=}U-)>?#tO;R!t+-XsC07BSNwS9i721KLRq+XM1iP+21 z6Uvg+R+exwA%C+v)T0bRP16jl=4r^y3Z%vw_((BI{R+jpUX{95r4kQ&IeJ1l!tLeA zNERhgrxUgm1gcSRXah)40%$$Ogbf1lTQ5c3OHrAFy&C<>YE-=oW8Y!<$RJ86u+{PM zkzpzn%f&;4fs5WSKwa*`v<~Zj5{%ZaltBR?6jt_ zp{i~dsuJ9`OwuWp6_VwUbWg@K?P1C^4n9xibN-W20 z)-a`JvsJM@Rc{5HbDBh_lBk||Tq+{=zi11^k$eD_VY{xO1_&er9s@!R(nl4N5o!~o=}uv>-PpB0T`w4B3Rv)Nf{0Tj`}l1 z2#`#eoeVr1VYM@4@?h-}8R&fA8@<*Bs|P$8q1+ecjjZy3XtT{mv8WguVa) zb7M1OfIt9%fPVn$28MuxogKrD=D=VuoSYn7JUCt+Zf+h?tPnqrASNk65EB=dl2ai{ z$tcN+i<5S3RocEoU0q$0sHLZ=s;i==uKHsT1Scma4>ykpFRzHIw79hD|G7c0fglIi zhxmX($N;1u0wsums(~atPc-814gA&+NE92I9mB!N#SM3OCIFBK6bi|PLZjK(;NBtd zbHFBu#!BxnU>CAIj*+3@RKsp$a>(v^T!G);%8*lYJ%5RlOL&ursF?f~B5A9Fy2j33 znp)b1dyR}uOwG&>96V%afB1;Q2{-qXr#w7QU-0qu^A89Nx_l)(BJye!Ek5C9Vp8(0 z+bLPuKj+-NcR%-+Cr=BX6%{`(DXpxkuBokiQ{V9ZL)*vpj?PbA{R4wT!(T^6$G%O^ z%+Ad(EG{jt{J@0(s9#~h*I$8cz$FOdLb9=;*f2kEA&~yCp#<5`(mU9(2DX^v6d@Va zFb>?F8<~$QIAzuLGw`nGTe*bg)cfV9e?a>?vVRTOrGE?AAHe>Bs|)a;5b)-q1OXW= zu8^`qxqh>)Re7GpV$r2O+TlMZx2lXO$GfY_4Dlplq}<}(<=bO+KFf4uIz0W#Np+oKm9NqrK&gC8PC(LLRVnoK?G2Yx zu{x(PGxs{S-3`$9>?P9eSH0dmA#tNfoslE&YU=72BRKTBwVHf!z}DzrH~VC!X{-8_ zAk&1wmyqYUmQ_ogkW^J3zf)8ht+k(H2vt#FQ$U_R$4s1xbXgRFzx_o)}cV4PO*iQ!B2)jxIAN)6+XpGdk%rYo7Bqqr9cSmS!7v# zrcO7^agk8X5a>6%s0)G2UuK%H!=)eaRXD!)BQAb4fRtxMI5(sSa z4iI9QjYO1>qPH@64G~T{%S=^_t^)V{;v@kDn@RlEUIC3FB%t zzA>6-M@Z|*?mBwM)3x*vpSVIX<0;Sax}f*Z({(%~0{sI$RJ&~+*R>$M;u%l9 zgo~YJ;=flFxA%FK1%IdR3_dTpNXdvEPrT}CGryVA_snPWNV%d{;9YG;%QF&oo(IFv z8@o!0)9-(2L3(seM7;E#9hjSk}`DB5d!kT{T*x7@HtKM zdi37MlDs#h}@%wc@E;Dvdf@STY^dQO`jG57if~dlZyUu;qSx%H#GzP|G2>%#h+Adx7F>mk_lr1Dm!*G?qU=A8CSpFLZ^tur;#lX*k-&bi*1A$N|Y5goHJ{mtrj&WQsA z9Y^9g?**ANv%)5YNt#102mNjG_1aR}GLSUVuT}y90?dNC)7#cA<(JPLus49A#zJ5y zJs_D?VehiC^*&$_nF-Cj)J}yC2pB2j);l*1jIcPV_0lcn6EJg|%N6JskeB2kAQuU9 zLvh?1DgGt$4@JX8dSET^t-}vH=BFK0vCw2b+Fd9AdW&Xg%+N_G0mmy+JkbelHtaq4 z#-7s-%%HpUOvBx`*D`g5dMx}Fo&@gE{Debad;4y{O|q_*b42sO_j7o!puEwdBHOWr zj!ks$*so?chE03BjG}KMZazs!=M)!g77z7Tx981Sy62Rp?%3T~I9yo%GQm1t#Fkle zL$~59MmZ)Yi>&fF)a0$@F4JkhCo9&G^C6aJ#5(LQ2pM__MMf3rDEwo;d(<$7a$ZDGROEGqY(lKQPKx4XMql*&+0!HD=@!CX%9a*q;`Wuq zjniyO)vN{^uZyE~_RLg?;?_1*udGeni&QC~K0T!IdOFJx^%WziORG*^zIpYXJ&2CA zQqw0i;TtdNCLb(eoJ_m$i;Ich%GX=-1craj6q0((69Okz?H3}`R>$Oeiu#6E$0;#QAKF9pF8zKabH6Rb zyNq_UQ}EcMj`dh!U1WoPbFs#G8W@@?ECk3YMQ+f1YFPg)DD~Hw_S>k2d#|~ZMmJ;fN+eFic&j{k470L3g z#ikY~?(U}arHXy?$lyCr^@>pTdQ zkKQAwM&|2K4$d`mogPg=M`X*>Iz3G5dD`E7b)8i7aG_;3z&r_ZWR<%3PfIDR^2T2BZZWGC|nD9oCMsP=y4P&xhqcP%*i zV?JHZxHT{2_ERy!1A{67geJ1AfrN@@G)K-`5)XMgogMdS^>%gI-Miv-t8tP|I|{#7 z9~gi9GP#gnL?eN$-zi? z51HIwu!?qoHE2#&DD0<~TxLvtwyg%h8BvsCi(>PJxcZNvoqIaSGU@SY<*CeBS$nLs zy_*}QHSuP|el1vhF3V*dYRlIyluXggk^c0$k zF6VsGxaQ~}XIx37bxKRgyxPTcDs=)wB+hDN8-bH`{c9?U!4^Kxs_l}M{gKNtGv+l> z-Y;fl837}mcDt@H1>G||OOHIiYIgrqRdGTjfrx+Rio z9(24tF-(X~YbGl`8qo{!GN*y&_l1rGVJ(?QX4z5Q{x>_YrcrJE_*+-R({Ts~9PIxa zS#CYaNvz9avezdu2(Ri62VZ*RgcUZUAj+(NL(u0RU)c;%}9juVYL zi1F523d#N0B{*j@f-`dx9N`C@!;AntZKjNi0PNKFATW&VV|u_Tp2dLV8V-Jt0qesU z7zg4{qQ1r`&Ia=%>dQ~_vuIS7jWPsk|@ zIHfbb^M+$!ncq}rnEwf)Xe}kd0cV3S`X9`hI?%VQ*vD5sNrb@9-<`u?K^Mgo>hBX- zOJ1c~ub%qkzf67=uUGcCY;yZMzXBI?FiI+bxA1>0u7Ei%#pXXNu7v6#X@6E+$>7(| zdhut)6%w2|{C}U)MoxiOe|^1+yrI$sd^VCwk&@EcxhCzd%6DXy_I9}l+-Ivc8)S64 M6(D$I@I#;e27ToF+W-In literal 0 HcmV?d00001 diff --git a/fmmd_concept/fmmd_concept.tex b/fmmd_concept/fmmd_concept.tex index 7a252e9..fe69f23 100644 --- a/fmmd_concept/fmmd_concept.tex +++ b/fmmd_concept/fmmd_concept.tex @@ -863,6 +863,17 @@ create higher level {\fg}s in later stages. % NEED DIAGRAM OF HIERACY % \vspace{20pt} +We associate a component with its failure modes. +This is represented in UML in figure \ref{fig:componentconcept}. + +\begin{figure}[h] + \centering + \includegraphics[width=200pt,keepaspectratio=true]{./component.jpg} + % component.jpg: 467x76 pixel, 72dpi, 16.47x2.68 cm, bb=0 0 467 76 + \caption{Component with failure modes UML diagram} + \label{fig:componentconcept} +\end{figure} + \subsection{Environmental Conditions, Operational States and FMMD} @@ -986,7 +997,72 @@ are built from components performing a given task. By breaking the problem of failure mode analysis into small stages and building a hierarchy, the problems associated with the cross products of all failure modes within a system are reduced by an exponential order. +Where appropriate multiple simultaneous failures can be modelled, by +intoducing test~cases where the conjunction of failure modes is considered. +\subsubsection {Inhibit Conditions} +Some failure modes only occur when another failure has occured, or +due to an environmental condition reaching a critical value. This is specifically +dealt with using the FTA methodology~\cite{nucfta}[IV 9]. +An example FTA inhibit gate is shown in figure \ref{fig:inhibitconcept}. + + \begin{figure} + \centering + \begin{tikzpicture}[shorten >=1pt,->,draw=black!50, node distance=\layersep] + \draw[style=thick]; + + \tikzstyle{every pin edge}=[<-,shorten <=1pt] + \tikzstyle{fmmde}=[circle,fill=black!25,minimum size=17pt,inner sep=0pt] + \tikzstyle{fmmdt}=[elipse,fill=red!15,minimum size=17pt,inner sep=0pt] + \tikzstyle{fmmdc}=[rectangle,draw,fill=black!17,minimum size=17pt,inner sep=4pt] + \tikzstyle{fmmdi}=[regular polygon,regular polygon sides=6, draw],fill=black!25,minimum size=50,inner sep=4pt] + \tikzstyle{component}=[fmmde, fill=green!50]; + \tikzstyle{ctext}=[fmmde, draw, fill=black!20]; + \tikzstyle{failure}=[fmmde, fill=red!50]; + \tikzstyle{symptom}=[fmmde, fill=blue!50]; + \tikzstyle{inhibit}=[fmmdi, fill=blue!40]; + \tikzstyle{condition}=[fmmdc, fill=black!20]; + \tikzstyle{conjunction}=[fmmde, fill=red!40]; + \tikzstyle{annot} = [text width=4em, text centered] + + \node[condition] (C-Q) at (0,-1) {Condition Q}; + \node[inhibit] (I) at (0,-4) {Inhibit}; + \node[ctext] (CC) at (4,-4) {$\stackrel{ probability\; that}{ Q\; occurs\; given\; A}$}; + %\node[text] (T) at (2,-2) {Probability that Q occurs given A}; + \node[condition] (C-A) at (0,-7) {Condition A}; + + + + \path (C-A) edge (I); + \path (CC) edge (I); + \path (I) edge (C-Q); + %\path (C-1b) edge (CJ); + %\path (C-1b) edge (CJ); + + \end{tikzpicture} + % End of code + \caption{FTA `inhibit' gate} + \label{fig:inhibitconcept} +\end{figure} + +\paragraph{Static or Dynamic Modelling of Inhibit} +If the model is static we can consider the conditional failure +at a lower probability of occuring (i.e. pthe probability +of A multiplied by the probability of Q). +If we wish to dynamically model the conditional failure +an attribute to the failure~modes must be added +that can reference other failure~modes and environmental conditions. +An UML diagram with inhibit conditions added is shown in figure \ref{fig:uml2concept}. + +% UML DIAGRAM + +\begin{figure}[h] + \centering + \includegraphics[width=400pt,keepaspectratio=true]{./fmmd_env_op_uml2.jpg} + % fmmd_env_op_uml2.jpg: 866x313 pixel, 72dpi, 30.55x11.04 cm, bb=0 0 866 313 + \caption{UML diagram with Inhibit conditions} + \label{fig:umlconcept2} +\end{figure} \subsection{Advantages of FMMD Methodology} diff --git a/fmmd_concept/fmmd_env_op_uml.dia b/fmmd_concept/fmmd_env_op_uml.dia index d52b522203b0d7faf22661cbb6519ef0642929bb..9edf288430adc551af4188df34b1d08c515b2859 100644 GIT binary patch literal 2284 zcmVOMm;4lpKFai6WZGXqEyJL<+?#Qb*?=US3f@{`6&;26u6>PV($xga8}` zaW>26Nw&Bc{r>r1-;2>tmuElDljsNavnZlvpw7tFdhcR%QM?BDjmvi_yDlvyH}eHRHW{o~U~jE#herM}M_f4b>)PpQ=}Jaaiqgm9G<3qzYen*Iezb(D66cN#ckZ*&UzN53Sv(+%c2$6 zNm=I4T>o{HuDdj#I{f&wz4Xal6v_PQ2Y0VTOD*@wyu7*k;;6f-+8-R%ewVD1X&N_O zeUgxbpK zc1(5Xz*!p;Y4i{mb@e}Q-E>gj;F@uQXjUe7o4uVr$*2E~XJy^kPi2(NqhcO>AN-tu z8ErL)QXt9vV)PO2ch+I^RAq_>k9upBKSD|Z%+3)4?63=t38c-ybb45Sp;{1Si!^?; zp-oUWK_L*z909zaxj2oNSF^mxjwQnB+GLCvE;(-3hDSJH4DM_ww6Jv(CySf1-53Ul z%AJkie#X`}`TbRca(vz`Hb27SEnYhS_;dWF+(9s^5sYjRtS|-D?N;i+C59iZU}j(p z4U8egJ&l&SH=g0_gEDP*)rj1^atC_2MGZgULfZ65o|R38^zq<2S|;g(x}GRokAiji zpt(-*RCVgVN4E8a#?^vH0eL-kvNXgbk zwv3zaXPn(G>%Q!0rO|D^?1{KDmvs0{Y%hhp3LRlvI>H1Hg9L|Uw6TF9n{57;%u|u4 zqDK6AA{rnO5o;n+{6M(zN+IViwb70xD6pcW?YyU#op+{;8chY&Zp?`C_MH}c|w1IG^(T06~=o{MjDx(d|I@*8$I_JQxL#>SXb9cyI;D?L@Am}`@G5K;VjTqJk#JTUcV zia@<{b?#i7K$I27Z=q4Fm{wvxl}^LOA0X3V*cpgNv0 zH#W?Sxd0UEm>M6%l==JYE-7+Dn^Ai9&pewaI>fg2F7_3s(hq^@-RsxvUVlxpxWT_7 z`y4|CI3cpiVui@1{%0TzMR+a%4-pIXTslIb$!0~Yr{9?6S#}j?bJL(+&2041kU_4l zQ{Yhc>=A{7+3N6mnzG%Ws#LcwHnR@vBSzl*C%91x?GC0MqjhF7aELAX*_#C0;SAP2Q)93fUoxT6?$1nf+_~EzrA3g_O zB)S%f$Ds5YaflkxI<2V+jA#W#T?#~Hh6{l;DG4Md+65xSwOz^jPAPU4h|O(mbj+Aa zp@TS-gnVe~P+F)%rPJKX!#4M7o!UgWQd7NO&Fco<$^=r*wf=KDO2CnyU5mQOgb2G&h?1E z}$Tw6OEv%#d0R9~nR zBK&`vj(Z~*V|ap;QmF_^j}9Ot(k+aIkm#HOC?%E##t2s964-b0wmXd5+Sy!`$WXsp zLi-M5-VVjo0>$CmL=CZZY6QXNEeh&3Zn!aGB8LPZf%V=nf``Zta-2sG8$jp>IYV52 z$v(>k0cf)JoTj-{Mi`Kqj}RbITMP$5N8foma!yAL81!^BL^`rxg$V(KO@!8IM7XlT zmC$ArtcQ!*B!`}lJRh}z&=b-S35nVVft6O_PGi4D4Cw?)4zLcbBCm@)4>e)WQ_v78 z=oD*cnKxRH+a!m0xtHl@{!XQ$3wXLi7+w9HM`p~ zt>g(l5hkcada*RZAa?tiFfK!rASgpfCI)E~Ys<9n+x*=Vt=gK|_yjP4%!gti>ia#p zVde`eT6~jKD`KB8$N|;t=rnF-Y~U(x#+CNq=0kVbXIgn}*n&Z?4Tt!7DRhd=24sTj zg1Aj>fVD@(C^Q}w*K6WJB&8p-dR}Trqo<}JQj`5RIGM@6Qxt)?)8)=KhL9SuayG#d z(3+db5cJY@l%%&s94zy>e--x?II0Dfo~7QDrKJIPiwFP!000001MOX1Z=*&Oeb28z-nYsf&nGjp-elFSwrZvBuGCE{^(n$O zap+>OfH=uZe|u*DC&q@v0gn^5gS4wahB?e|Irq%H7xM1??ILtmev$@pbUHu)4jez4 z#OT8>kKp0$u z)F1upg`qc6jYfmB6UW)?VCH3>K2{#}vMdQE*O~7`-oif}OuXs0c@keovq90SY&VU= zIB`~9csh7*ki-$FpA3{%i<@l z|I!Q7eFjh*zJJ=D`{d4(VD|WfTWQhI%S|xLt}bp3O;^$TouS@WK^ja#zwYXTC_7m9 zcZcbI`|jlI{cw6mYbbhabPqG(GoL-*J`wtIp+9_{v$vBQT&4Sf>Z(~m4$v^%yD+l{E^P-uT%$y&c5Ap5bL4zm- z63k8qUto2zwuh%WQ#`mcTg&*~q$I#>h!9}gQ?N@QO#qY0cK?YQffvm~{~kj_P&P&` z5DJa}-VV+W{l&#JPNH3jaJVt$AUT)pj%&>$954nqHsp4|y7GhhRn`oK0itqaBe)${ zdKKSX)F{WN-D3SCJbJL#Jq-BVzs)u*7?l=`x>~TZDX4C@QV%9=_#OrG@%_(I@RpdF zo{T3bd#g>;P0clKrQMbsZVA*>|J56Q^6Gd_mX^NU7F&wD9ZirypG} z%DLPVrPgac?}=FDm$dy%JX{Jn3LD|BY=j9Qxg{9nqBRD_4<}Z&?_}% zchY#Uq5W|73pUV7uz_%+!Gbm9-D>~bs@vVIBBihZHR@H7LLjVktF)Wb+rzVV8Bv=k zJ~ZoCU0K=qcjQ=kXU7TwQ$mUWXwT(#U8{68BI-pHf95B_%AYxT|B>QP>syWc z);gQC&b5c(G|`!!bhN#QX)JAREb{|J6J2010!h1E_`*<~fE=m~$W~ z))6({iRw^U6j^8? zu4`B!GAaKVa9!aJ1>i1XuFj<+RJQ{AiXBsMRoQeKcf{tLqfll`UsP z*}-(VeLZ!x?vHhd2ND+|_(*4m!+qW#Napw0zMN^hGk z3x(fTD>EtdMO-a_tNz@!5aL#`JDCKDM&vAL9N ztkxd7I7I-~i^||HOF!|7(%=(yJ2Ky9FwAE#YE07l);_LKJJ&BMhest7+8Pvjn2e#h zI=7B;BrIJz*6+ta=Bj;{N@+TW(Kyc97k403%V*V8v`)&u+(K0euJ$WcYIvdAWXGLr zT@V2f5s~MpsN`lV@gxyaIao;ramO0jr6kYAwbnlS=i-{iSz8Jwg{1mIr4a7_DHr!b zW{lwh%1NanD7`#@kVvy;EQCZu3ZRr&=4Omwu`q#cGq?Mjanm^Kn-b~jw@PT+bW&$W8?HeR#L(42Z$!CN`+^f9UjM=e*>#Tb2x5&L+I3DJ zzrNJH$^`+KSM3=sb16U=kOd_nKq%Hu&g};!{a`7{I3?BCp{1lgQd0LXF(H78K&{cp zaDl>=-qxI?c8QYvx{wrGPO_ZTXo!}S`bbK&dpuYwvM?G3mfHQ%Tp@9Q5tmed)5apXo;wgM0AJ`YUS^@AhX}oQW*MU4r7D?%kgk8s?QJrmWqz?4Xte(v~1KzHgXTZ zMtNZvG0R4rPx# diff --git a/fmmd_concept/fmmd_env_op_uml.jpg b/fmmd_concept/fmmd_env_op_uml.jpg index b217411a9669a9137bfeec945aafb46059827fde..32082e4cd3728c590f6b8908807a7b98191b3f97 100644 GIT binary patch literal 21405 zcmeIa2Urwax-MKKktC8cs5F8gL2{I!BoPUcqh!fBt4$D)oCK9DQL^NmB}@)w&`RATH?NhW*b#>QTRcn3U8@^Sj3Dj5M@;w=O82}9p0MNjH z0BQ=j16;gt0s8{hMQm(r9Gr`|_@o5*czF0!#3Y2Ibkq#=bkwx8S0EhBSFYV;q@`sM zxN(!~7B4R^1GA8rAh#$74=?xGkD%e;;NauoQxXtRa$lvr%KhJdp_&1rivS#h8w2ec zfKG&lL4=0-05E{<#6tV!1^oI#L&w0xx`2HV2Nw@KpyD!sj)sAOj){SVg^39s{S^Eh zz$C&VzIsdY0*Q(d_BBURZr|v)7a65WTF6v~wjn&mPJTGJm2VqeC^zk2;9 zAw45AD?8_1ZeD3wc|~Pabxmz++lTg!&aUpBPs1alW8)K_C+Fs23yVw3E30ceyLDeFanBPCtvp;w2Fa4SX@G;Q9n}mF%=j46V?MqByy5 zfjdq0gY~`ng}1+0rfxWg_YdWo_`sfW3sa#=t#MfYcH4!8CNIXCIdZV*mxr$v+WA0dKug z0JEJqe34;0vymP;*nk3Js~8YY4d@}j9tt>rE?LA4&Y;wNPUyl$Ckmh~mPq#je*#JR zs%_wyqG{I+h5{l~PynvN-0~^j>~|4I6wt{w$ntO5Btm%Bc2!FwE!;8RYVtw&q4$bt zDu-dk{S){5As!Z2w&fNyt2I**w&3l#Q-lJhnvgGL4SXfANLBv*x1UB;kzWl8paaK? z=nm(pUs2QkLuItDO5d4Ns8PUs^hazpRUqa*6?rNLu3 zMb`qzKMCR8lv9WfFnLdpN1KFhE#Z-G;4LB;^NDhEd9>XpWvR!5F`f}mekt?8oiL&> zVo6rdh0AC&Dtf%NoB3G`B>Hkgddb}LqeWb$SX|##%G)p3Oi0B)!lreOaaJ6C;^<9) z7@TM$nd*L)@U)`2G9I?9m7txJ3FYwtl=CC*5IYD0n=3`v7|6c4U!I&O%yd|z&z0H|FTMT>Ici*{?fh+1;&Q#iN^2zi22bU49c@t zF=ItC=K^aiMRv0f$M|gBRRdcU@Vx2xSJ|^jT6YyhJS`b7-+3n)3{Vlo;1qn=F(?{p zFQ8n9mNJbtl}W#sJ&~aItRl9bsS@dMvps3plb~xLTb{HC5mkp;&#flAxFV-DwVDH! z_RZBe>k%kGkhO3(yc+VPvry+Y>zMBS;W*-ED-vr}%ZGK0-?fwkxLG#`M9?PX*JQj0 zvF)WDxjphV_3y5*Rx)b{N0sSj(7ZsWadxcltaIB)E1H>3qMc7bvW_)Jw3rN|fbxgB z)M~?&v)yJ~RL?`|N-yCevLdg9?M0zYtLV`!hx4&ferc6Ui&dpA8NRzcsR;4d#p-;s z@YaIavSV<@vy1d#N2C5Q-jO}?){IhqD4L_QnJ7^&Q9$OND)ZHjiyb(OzuZUcj@j=J z;jPm;6tH^Nb%ks$mC7|-V{2~aAnW5coAx(LGbdY^scyiohN&Qj!-a#MwU8xA%4q-_{|0iyQ%+yTFp^Y~@diw22;gJt2hM%<`dbrF; zwEBPaXWxyIRUe>Svo=AJS)3|03ZZ}&FxVN%K5tqmej<$msx6SQ6<$~X7*P?d1IMXP zoKb*(B(gOUuAX{u8@`MJuo+GRys${o!2fRNi?2Q189-hVKfx8B(}0egz)}&k&_l8n zQf2H^6wq3L0&Y|V4VdF+}bGM;Z_868w{NjnrSK$^iVLKmLYRyX;HveFuuOe zINvM-U+I72mXsnCwhwJ-T5B6~?P0~#<%b#%^<+w|7IICcnrT@CyAH_K;s)SbNcrVp z=sKAz3P?}zfo$vT>3dMLjZ+YJ^X{(34?tpWnY-P(0g3H~>?N>@qeHtzx5rQY3ZeU| zLlSgj&4Soo$8gIo;x=d!u$jw?)fj3FHn2jxuZa} zLEcwiv-xan-6E=cc>`|=N5D>_H9``*IJfV`6OrsTx>8T)-b3ruio3%z3T(k{FQ>I9 zVs~S>hHYM@h^%2aw3|F}0FX=BG(rFe(xFnU& z78Jg#>(yQ7VN>$GEJe|FNP-HxO<31*z8h8(!}t0@G1I~TYu5z~90dw&T89}Ny0xcl z(!=|5n)OK+U>=;YHAM6y}+(`w?c za?I8(v2tm4D!rx`eAgMkt3E1TE}h|tbgZ6QmS4nC(iSb85oL z^nM7QesH$My8lO$#l?H{IjM0kmc^{ubhZO3-_oaI)yu{2tmP=zXvDSMGK+Oo6(Xo< zp=6|lQIZW0Nl>P42R}~zoZYz|Va#)y*<}ae@thGI5O6z%!`#+k5pjG?f#r!>>~BK` z11f6-9OL6YhkfAU`1n9CsxzK>pDbS*Fw=wE%hxGnB@ByO)#%nxnYkKqNlUCXFJ4qr ziDNwAeGhk63=}clU4FGbE^ZZ^QyZ^Iym6zttb}}qsOrF_UUL^m4X&#uA6yJmm6Cx48sn?e`EpOqaASB*A)4> zMJf==TbDTeXiSPNKET9MfLuRst<$$W3bwdRUooVNCQbUMO%DX9C;)`ZuaGU8hQ~MZ z(~6*-&|M`_1r+cozxb4N1n?jMqfubfI+-;Xjp9Q@an2BXo8cjD1&G)cqyZOF6=~p) zY-B$LwptK&cO#g0pv?&u{w^YTeeS)r6~h~IZ*F%BO@5;eq{8v{BfK{O=71>>yazHM zV$Q(3>yJdSaR%Y<5F+LEpgXnVb8ZL_dA|(;8&@O_pZSq(>YjlRz72$|nhXfLNVt9z zNED2~d(9S!6!?)TIA%cz&jntEI54fzWFRT*LG(@u-Mt59m+-1jF$O!Ts;99fEP z@5^EEln7h&?WT0y(53KV|A@RgXg_B9xE#JL9~#@xo9-ilL8rDHt+ua3i2|$|1D3U( zCWslg7a2iCoLPR%2VKxfr=h8PYJ%OI&gTI#tlGDusq?yK5w`jq6jW zjQNZA-f4;EUXE#?(jJfKEXf?Icl3r{e{odHOFowHF_Nwz%HU11wtC|79qO+}gjXsB z2XxAxJj|Urt%b=B25hF9@kZ4bx-WL~$T%QXZLYqTWZ>bD6Ff*GAS7Jbvm~}!(s+@z zly-FMV)u9DbQWx1|J{_7(F#2;ghW~F2Vt==jgQCA@-65-YMyKpW!_|zx$jtK$CFww z(aA@i4?7&@WgZ!qw>-2Ow(KKT@~`A~_(b?B_C@#9R@fl6wX`z{yn|^cJ8|yBTE&rW z`nqPFwnK>--5^@z>!{}kl$i9+@^i(Pty8X4l#kHJ3~!WA`SdLj$bV7Cxbh@L4s!wO zMVj%vB}>5n{-o)_V~tYfLN zB5c}Z%R^(Ss~+uC;^PEcU$(pwfo5Oq1$<*m-I)dHATbC+S-*jNkk3xS%-UnpMQ(`| z|3!qpdPx_)MAyI*!n6YM|B_d-oM)A!XoD)!XUy^++cZJI+}DZ%rgKq1704-m8-&0J z_}?JrWDBsn^*iqEoK)I<^QlCuW3~1ZjRThw-%%=iMwvCLURuoEj&*nlt`}!HIeh&;T%!$5kn6F^YuBp!0=n50PN$koe4C5p$nw{FSKM1 zdD-xb6%^0Ky7#1Jb2D@As82Ld)<)?Hl}UFq@QiF4%;97P$H;;EWih+RO*{pyokq(A zqVxqH?oQtr3B+UccIV@PfGMrff&+$)nFsv}+&ULG0vbOUXHhkJypBCwv*yB&ys9D-` z-2NbIIDf@V114Cy6wrvaWB-75|95&apZWRJ=d|&t=tv z=8&P;I@3DW8!|n)r|!3h-L`UQPO_Wq>2DAZDO^Pozf!E(?u_NNCy%oi*5e^*)P~@_ zqIHhPf8aP)+rxt4JJiU)?{AhqGa;SRQuMhyv?c>fV~yNoiIGb$){m0-_HM+7Q8=$X z@#7Lh%VW0HNHb?g-fbmk#)9}j4UV=)st~j{FTTGjA}n;>SH>nGY+Jde^2iMPz9KO@ zAB`gk4pA=-HYFx4m(ZH9nvS9W!RvB;?pf8El7wA4+XJ?ou*z<-u;&3-UIm<6M6^BKLBMcXl1L*Zzq`(YqUvAp^2vabcnBf6UD zg0v#p9j-0?XBnA#`tS_t5tzqwel`at4Q9tZGKr}U5!!{2&!D>d_mx|W=2Q?z@}1#G z!&B07mGc4{3r1Rc4LIi?AQ(UtX8__he@ZAkPkc^f8+uCM#el>IVcPt={~Yz3D-ps1 zr2p97FYn|8*xE5wRqt?wHMz*Y;$w)j?{@LS-;4N1G? z7Xqe-pDype{;;#qZ%2V#R64CI@<)<1VWWV-@wcFK)4_mbt%kxCL_wB}H+~|EBqm^6 z7vB!|WUxH3d1m4!d6!6Kd zSfcpn9e?wyKMQ_@3~*goDxQb)+@+Y>$_5jAUV8U8_Dex;-1TmYyVN+hVEYcI#0^4Q zyGC4qVsYz2)EAD`tosmN?-bB@ThtXBd(K}44o&fvji>IHVXLAU^UlK zHs2>8TgFmSPEA+h7AG{Awi+yZbf(>YvR>PXxUYK?!j@otT4=G&ydkcn$Sza3?` zFM8Y@B_KGR8EJ4qq=yAv@Jis=7dCH?jKGUg5XX+U>ZJGp@D&hjmzO3*TRJkJ*;#r6 zYr6a`g*vt^+&cd>@kTE1;&@M}#a&7&rn;0F)=q>z3OJ5#+O_-P*MNHK0V8x_hG7S^ zn$~1M?pOP(-!s330!G3?d&dRZJ`1XjG$`Quw_nYf&?Xe1Du7fRLID&|WTrhL@rSp= zfdWqDX1@!_{u`X>;b{46sBnMy)2wL$zj(YUPxgh!eS?pRvgD~SEwBg2vsEOho>32* z57o0}TDlX^D4CfN)Q3|sDO|&Xm|}!QN=jRSf~wNCf9o@v5hVG__$wsCr=nkghS*Cd z5o1rFmnhZ;K(K+t`#H&3JYjtdg>!)MB)ACr^%bb;;32<=@2B4bC7rY2f(gcM+yn+B z9yr10AOHS4ej)!W53>$}H_eF?tfu0*CiW5%u4=qe`A&1)uSamkS@hAIPgfV@8Q-@v za83hVi2Bxa2#&ifqCxC56;OQ%<4u;;9$c&#=4k8_lA)>H#5A${n+HO-&BlVzbVkFhHRl@ber^4{`@8k;k zYH@yxm(U(P;Fj;KDH=vzRyqs3xo3g5mH~Mk%)9}qd%_@_8GnibN;T7zu|XVvk=Y*w ztf&owD!o1-3Lue1TuA}n-#)wpO8ze52t^lAZ}`t~fBm||A`G`v1NR34YWo(0g7)(j z-XX$cCCzBJi$i~$4_3Sjb{ z=R9o_-%rjTWczu?FJHx=_>eHuABq(;v7TO6-B7O}_es|u7riAy0n-F=J9)LRxI0T* zS|Ipp<@*?KUwd>NMW*rB?eZ9>s>z+!j{bwru_1*pL&9l~pa<^*zf5*)t&a~)ciTT% zycS2MMFwF+0Ul7CJhv~DwU<}r>7z3&aV+xi#{F8&U0ipQK_yTv^|rRR3!S&}g_){g zm&D3Sts*V4_O>aR7^$7AggpIde-_p$NkJP^mv_rMObL3D1a$@N6+}5b4;FEl3sHDlpyGkd0I_QqEqFRzf!s_pD7leq!>HhZST zH65Cu&y4Q_Z8~<|Pm{*YbrY2D3Og%c2k>35_B&oukaWFX$*1rdX3i3Fh3mPL8oA&_ z`KwOO!y&*}Z2K{-#;q^%ZmT5Ir(tZmU68%^y1h559BeM3(Jq+0`{)3lZQHAtdsS)| zqk=YL&H5sfy&Uqqc=L4%@HBHLBppfCU~9CAn1ZrbEQ~bY{Ja~G-WHMS?a(i5(&&*{ zyIr_`Y|vm6Glj!Ppusi~Y~C!*Wh%hneWW-nCVSh5di)FPQ2EqyS#6zJyjY{9mZ?jS z`^+AlS^=n-J`S;+4J}uonaWoPts&Qyk*;C0XM>0|v+B3TDNEAEU>kVw4Ope%)TU~T zK_XbTY$_~>6-jF=M$?pL3T(2j^>k&jd@J9Tk?Y`Cdq!GcKm5eZ7C(M%a>PKt#Lb5J zSh#&J$#D zDEIUGKq_VDYLgTK(;UA8Pv%jx=()&^1m0RNNJ3ouXX28%P`P@}(g?9j9>8WH^ND&A z1&!PHlKhQ+$LJ)rQLLBjwnp|CQ93MfICR_qnb@BtY|o<>^_gw&yUOkI6c~)}P7!gR z9^WQ=zkM*X(H{Mhrdza|EGg;%HZx>lfh6@XGOft@r%d>dm>XbV@H5<%bKyMk00ToX z8#vvOpfq}QuxSH^0`5VIC4Rw$xV74d}9D=UJt<4TfP!%_z|MMX7pb+Y2V z6u-q|=ik+ulh@e#7*8JMlVW9yCJ7;oOT-L29$Tu)x>NMn{aC$?yUi1$dA&i6i;;2K zf^R@6-6K}JvUHg54R3o%RSH!R2YaSl%(tFLYy4#BqNTawJnk4{K71xSZo%v@U8bp5 zx*6vEwhKfBbCuuCrRwfj_~0xvQg!7(Th%k5R#1!6LJ;+ftehXTtud^@u)*%x=8-i2v0FUOU}V ziYta!seJy7%tIc}=BLTdG-P%`S7^~?oTDxUi)v@|99ff&bDu`YhB%WY^}k!2(&oPG z_nC2#Hfg~W^d&o~ZBzUm^K@k$oe#ZV7cN%u?{?m_Se*|ilLp=Ei<^bm zL9T2fBGqr}YDO08H07xT?(S`|=y52&?AZihqUL2JEyB5F<0HLxF@_D9mEBD1Mv2B%x-u#>6s3)kRg z;pVbJ4H3I--$=T(rLjE({Ykrqvc8AtyKAKfoOp)ccCCt^jg6&F3JV;1-y|+?)ZL2O z#LU~&6F#KtY`Eh+*Wj*qV%w2*nrQFj;vLRE!=B|XYgxHC{Sr$?#UYKK+mjcq!E8SK z+G(b)cQB6J?cu$tuEcrdv7JhTms8D}n6xGsn4B%W3P+2RA;+%y`eKD2h;>C+G_K4` zV_Qzje7%@g8yVy(ziC^_|NO0=j=+e7DIS32KJAJA}yKAf)C7SZLrwcpd_2 zCL-t(=3x(ZOvmG!OlxC5R7LVNy@u>2z39C@*Y;?^)V1B~SEK8pnM@3`baaNfDn=1^ z&WI^d>N~zA1Cj`RLW%8-5sLettf_MqR!sx1eB$Wt!iqx^GBc287RB%n0rrpC1~&Ol zb-pPlj18;p#v+N0a&U-QCNjlMiMjFpc$(aqAq*<*ghgvR)5&BNQsJj{r%A3t*CIb^ z_2o@p;(z`{!3Nt-EcmQ@)%psGAiH@!-loEEdA6*uVP)@w+sV`gMnBQQnoexMAtMJe zG|WdQwX7$6liGLqTFS}8H$_H)?7NiN>O@5cY)L}Ka*%-I1YkdeZNO#5S!ZlrmX1HA0K9XExh;5GR2y0=c+PbTu8m_Co4FB8R1blW4C*3 zNNVZD-k5%DBS1bp-SEMZMl_r%?Be)G4VAWdQ472dAzrjkLk9Ng)?S;HjdVWW0jVj+9s*HwO~vR~WY+46Jv23RBs@S$^#mFuR0BZz)m| zIoHXHw&J3R#~jReao>o|Aa6RAgh0@Yav=%}4h}R(5XdmApr(c=ANjOG0uwt7pl`Y%RIJvYonQsEM`gby|NigCYK2{&dyF~`Ci&==WKtk3((W_=0U@E)r)hW!n~~{Q?M#UZB(}Dm+ml|IM(T2p9JYur zl_)hZ7~3JtUY<+P_c=nfq&&+g8uq*kO$FlXmhE(_I&9(LCPF`5>&uLeo_<&9BsY7v zuBZ0ZFKDWpq<%Wot6|2i)#BP0V@9hGJ86uXt2ipCb1u5{oCt_d>0|$ zD=|;fmtllh-X#1jr?GQGNfgMI>I3#vgLvKK$Blgk8hki9Be_!)! z0NtqqZylI>>_D+ig$_99HPS=3%a9g^C)8U_hoCS7hPm^3_D{n{ZQ+y4stZ`-_nr4d zvlIoSng`r}>U`uFQ9lamfG?@}Us=6~KekO`jR}4!i~dd7sp>t0F9g_j?P6zsyXrJVHqZdJ#4e$!k@yGY(KM31eYMOHZ2i9_UL z{4gx<7{j-DpFU3KDV}U?z_sd61!f@vo%p46_)aYjg59*RLggLukmH#G<#)rBj9YB)R#AZUeV8AG*VjnBu|86?*thU! z!_vbx8*v(*h0kBtc#Pa$rFrt)WHZntiBNJ?<3e~=xbm96Vi~nBrNA?(@6{c*ny6N{ zG~cD+f9GYtrVD#|J03sW_{Xwj<*)Q##YLV$(-N zGkm4N*N8=KH%})Kd~l`OFI)pF-;w;FD0+1qx&exy_ZZJ4>7Vo5UoGaRWD3vnh`-By z1uKfH$3KZ!!~%OaXPh(JL&EY4bE@Wvbyq119tO)q&~kr!XZKOyMX@QNK3A{^6nPd1 z8g?j0*HM{!4J}OK}`vqfoJ;ScJPxk2n?S1B_4Dq<6qaLpCbUn z`7;-s+RrtG)yrlKWUkE;A%{$E&vJ9F3qEuk!xz%PbVB<&i2d$2H4kWuP{Jn)X)ELO zJXNE74g4K$JJNdv?wax>WIgykA80{*ZK9upV19NcMizrTYzY%bsLPA{A=q3U+1on< z%Pn)_db=UY-KWmp@RaP=w92wXE{>TL`6tJTPZFT<&#xLr9aRenu zG}^(+g}n?Z>5X@@BqOvyc_bc%-~pcqXH`x8TDe$Ar(nlh@NQ ze)iWQf3{b1)qEI3EPB}Ey)6*t-7*!BZG z$pqkk({IcnIpJk(Ua74!=KXCSsMTjiQe?UwHAH~58dQSHP7Y||0bcFS;QaLS5Jv_m zf+G+M6xnz92LB3_BI|_*%~J%{^LgClv`5S+!XuT+!*h~nfjnDfw=z5Zy2@oSuR&}T zwF7ot#i7D6nA!;Y%|{j&OZD%U+^`|>(eh0~cU-sjM^3;)=i%b>ikU5Q3M62;Mjmo^ z12!ApePNmr$YDj$wOK>S9%~`k2g4V84j%J70C4H>Z(QY z0VgEx&OkuXZASRA2J%aZU&qlpgL(X>iv7}hK-_!Cq=%@>{z0+C?*>6W#TSz8FFBq} zizomT#OrczHCnD`L{9-|@r=v>8eARvzj{#oZyMnL>C5@xwfvJfn|H`h?q!zb=0+Z+ zqtlrj)j}Cg0f`Nu#g9>fY5Yx(=WlsG|6lfFMC}M1=6hsF)|76a9&9wG^2RFM zXuJLqi>KNGIaL=1U7!85!EF2CEVFzJ6v7-G9Q|x4wIM9^mHmm zRpH~n1GEp--%I6$1`Ovgin!!ftYdfV!2*UL!y^(A*P6tr({j{jgc1xu!V}~p&{e~N5m5z zA`j|zZoj2@8Eq>YXHSHU)Oi4VgpUCl3&z!(1hRy!`C@leszwk-1%@68$Fy+~%S1Yi zW)7;Da~{%|#OgH=+MQ{w3GLN*$IlZwl9tx=Zg((^dG%r*kUDV7i-!ZA#~y~AjjSPK z_9XC(6I`Oery_059Sa+R>_WzO&?i_0u1?+>U@RCErJEbTyH*sMF{vXcmEx4Ws;yvm zHPfaJALgedxx(i3V=+WEG`P01EZcGtUzk4YG}$%R+U=0QaRD-=D)ALj#N{9%R_mH} zY5tdD$#Yl|EK@iSBY()K=fR}xPcZU_j(QGD{)FXz2&w1bE%Y3){ZYU9pC+A0+`qp{ zFeLdmugDijT1(-|LdV0PIHNh0&QmMi2SazDp;4V_#O;Z+`C?coR^Y`Px zz?f?vXWOLn?Ap<`woZ}E_f(n}m>VjiiNKtUd?&gOFH5liC>I15!P5!hY4x|nMy?xj zo@lDKH>ByGxTh~a$q#q}!>^{oOs;^W;%D#hw7J3>+_p4ap*$!2qu~u<+7AP8n?%Ss zCZgUOa}hd7+_Y*U=e+a(Nq#6J=Lg(Z@JdwGymadTGr>c~IF3 zQ>IgR7}+Z9>3Y3a5qf)Lgln4q>*dRc8r3&*U5_07r!8wABxdMVG``B2)N1b6&!`A6 zR-M3ruwV!R78B|{z#>9y`>4%;x?bQ=gWfJ1(fv-pYq)>QkLu`_h;|kKMxAp?GTXbK z7CwPCA4vT^#-RWc{Yd1%nJl)WgfuNapBy~vJR#=Lw1!u9l(wNc@W)*buPSWLKF7uy~!eHgaT>UhG$zl^*}7Qpo@!gU5z zkTWCe3uR1c5fi%WGOQ|z%fZ1+S`qT}J{kcX@kb1xhxU|kQp%*qm0o7{`*NJ%z?0?e zBJsa7c|oziy=hmokq$ZyGI;s1pXmJ9)7dsCm7z7YTcPs~!_&jWrPCP0bwSxzOB~~0 z`7cRyUV&8rUIG83G+i&HYKNvRfv>NHgap6WJesX6WhRat@*NI>X#|+n@Z|Z4Li4JS&X#!gK&T*IZ!3SyrPjCTF+I4I z<5)_AYmW`_>V?wRBJ&?qdG#0cQyQ-AJxy2dn5pgp$R@ZZriCqN)y2;XC1XLYGxjPw z3~k}e8ly$G!KF*dO9~|q-99JF;sUe)XgE#$Mojq2VhX)iLB{a|9Z1F!f$^%#5OSyV z8NK?qR3E1*HwBg5A}(N~*XFu=a+bMmwO_}+sTb9Cc!&1EZlBb<4ot5Rm%(cnAb?3FpTl)4m3*8PO zCoeDwGM6Dloz>tXBV5+FjyQwTlJ|`ry2byK<}i==KHh5b(2aK zjOkxi%>22$^fYKkZYW9bZOylsf7C0!a-ZE z120k-6IPz&O`2pqHxl+Sk&v{B-Lr`Ho%{jGe!BvnVLJyQ0&0m@Pd1!Ch(Jfc6=`d# z;?b!MW#-d%-<^|Ahd{AW`#7a8Vu4uQE(ycv#H96pr)%XW*aw!=QO_0eHjpTmBu8b)TU$ln()0II!wBjcg4;Ior|Y~b*AYo!gZhrS3N*Q6%(xXO?Ean;r?* z4z=SjKc0gN$>388pn)0sG%aq#E#B|wlyvHh8b5s*nZ6JEXe=O%CCWzkiDb~n6TJZL zuGcvFL?N^Di9(+(N0!yVO-IiHlI{)|6)VkB%Y=j6>V&)M%CX)djtPIF1ych5VwDGJ zM~+aJ>aC<$1=~!^`1|43IXV(Un=Hn@YDHf$OfbR%^p3xJDPv=QwKbTZRj8_nSu`p0 zZ`+&rCPv0H@r=)WR&(rtO$jT{%Bl4@BARIi)`l;==o&#z<9n)!~jIpduuU$oUb@mQdXoo752CaWl&#H%-g|*vPa*4jYLXg|p z!<7%ZDKF7l;CJ+PZs(r{zk5&>t7DieU~FG{lL$Smt!Dyh`KbBEC7c#W03%t$JkEiT zs7kt}hHz5+WqnCk$QG$eU2=-XOxCE6_^ovr9N1gx!4(~`#>~l=!s=m~oATB#tEA(~ z#&2HmJRYs8^iz1TNl!WH;eXSK3@eIX0Pym0;Q8h&K}#N6VEskL_uUt(*~hwl_wm_&~W=6@wm8&iumFnO3-ElxN90=f1FP9Q|nI#s&K7v*H4CcN4mj zK6kbptxQLmO1HJB9`oS4_t52>6j(a(-31s^lnU?i+TOGZQlqwgJ#w+7ZkM93<5oC) zK*7An(7JK#G4cf$k=dNAhRZzN}Rb zoz2CvOPIk=i+KISBC-&0_Oi>#n}TPv>09mY<4pyB>b|DyRu-q}%z`DGP(Dy?#D^t0>y#^F zQ{-u{>C6T;wlf4#w<>6}n~@JI62>`|+$$Q)l@U~>z;H0gU@TM~sTa$$cKkMOn@OWS zqN@~cV;*yD^J=0?%)>i3|fJ`fHO zd3-g&(j<^K-k4fb9q5t($i=#VOWwHPNP5`jHSk$fKC?52W@#*ehy2~Aj&yu!TF)r* z*_Wmqb$49Xoi+KO1XdLM^kSDk=TBR`&-+}te?hgfC%^xho}ggAm~}1q+^Siv?aEyK z!g)-O1M5UOv!Sv_hgM{F?*NtPzW8ri-0YZHnhHW|l{i(2azd?D&JgHps_Celu z+c?dnognNYp{2S!7L24}+u{OI!-D#F60z*G9YwlHQEw6()&MPX!lYtKRiQPu43Gr< zK7)$Gna-+fq`>N$$WxXWACbf^i|Vp?HtYC`H-Y44676Emc7!mk#*2*&BTv|{I^H^s zYhLqyonS7lI>#JM8kKe_L>PCfHei$8G*IM?ZSpw!W2sk4j@4uXBh%DHU7)SQ;DQ@G@G(EkUwKnAtBu!*l@b*q1-fj%G26oc^ zY9Fcc1@WKcx}S+N_zaJqb-$nOW3YzfybARbYaNmX9nJsBHCBO^$+If`DKHLK76pIW<9Y&P@i%NKQ(Q zDx!qm_M4sWH#!8{>zusu=G!EgJdy?Qym!Shu(h z++=)v&4$Xey_YGT=d^qc_7Eoe+pLew? z;0CC8-hRQ_+;A*42GYp5Ln$e7)`4S};%I8Rquvqtt&jVGkh$7-Yx9eDyO*ss4b%I} z%J@kZrM+)ZX_mj8!Tq6KYKND7x`=-`+m^NSTc|ewR%>n~qrK48fG64a2d;8xAwVc+tDdtqa zUe8-sqJne>g2K4zy-?>Rzt;~U3>t-zb*J9xS+D{vT2+)IgDWoyvI$}^s!fo(+CUDO z(lv2OTa$HxJ?tq<*0~yOo+|g6RL^ne`N`q&;WnRQUma7Kbn51rv-o`Puf&nyqMgc5 zqRJ_E=F+M(^A{B9?iW&9`7?fgFH_Zk*QbAa2eOr508QVWE00VtaYXtTV6NLccciMr zmDyY%po$tED|9P77V(B!!$iPCmLLd<2G(6K;^}>_7SX`BZ0TzsuS|o1xnxtGDCv}0G!SNp1|A*8fJg3VU{-fk z@F(vw8F)aA26Fe!f)RswZSnZ_wxw-1FJ#}V9+j0B8=vi>kg|yhGi0SH4LpW7DsTx% zL}XQ-<#}Gopn-V*HS=?9Q*bLk6CX+moiW2c`rgz1K?~YwTh-47H%x=y(_lN%fPRUJ zZO=H-fr_C4ixTro^6Ce;iio)TTnHKxVX%>4^8z0Yuzl?^KP9L^17n(|*Z{>N-3geO zv8Ag&tq3kj9-G4=m6xq8bHaHD&muYGRUmsd8n9C-U@v_$uY4knCtw>H@wR8dRiC)# zZM=cxcJH-< zq;Eui@75ryviTf`&m%lh!dT7_k`>$a%f_hgG^HI4IAOo@6n#7P{!j#^-D8bN0&XD? z{YYspESBCbY1Q{dpo5Xo+XH0}W#p#Jbv0W%y@%?03z;hbt|Us^+;eqb#KNz~^>EV8Wk{2s3lrGQ~W;sCD%(IB;qUaSvr zYeeVHx$G_NimTCcv9{#P42P%47d~<(oOT9?(O93k2#p1H7+B z>n4zVFebwdY-N67o^?sDuHLTO{bp)FT4Xh`$a6z)DgN0-Zv8a_yrDMGJ4MK+ieyNU z70$q`9R-ZWDojg>N)zFc7?XTvByI zl_cN@a}XES=#@Ac=tr=Mh#=bKp&&-RJIzlFT3OJ*f+!l$m}|M#{GX?S2)MHUGI-;g zkFhV(*;>Ytg5Ta#!+far57+JD_e5}(UP|wq#J}tED40VopT%oYeOh!n-F38fcQQoz zLMaKFhHOIa+TMl4Y{&Q#09%D+A|TlgxDDFon=Cp?%Wj;Oco>~>#If1g;ZU{5iS%7N zkdj)!Gx0(^nQVUKoM&X-C6Mee>h9{ucFU**Wu%!HF>GL%0OQ$NRUfrdgaY2*3~-D5 z-aj1w{$<>ok^Id1zF%op{nv6BHFg&i!HtLXs3)k*_jfUd+7NtL5=xmq?;4{8hb10= zn7rxfUTDbu1og=(l7RR?xYbsFkm2Pq`~j}Lil^IIl5;GhTqwEldr2g_Zw9Atdib>m zKJA8+mpV0G34pE&`5(hTe!cA{XF59?sL-3aigMcG%{X4ZK#bnRm^{xe8c-1f7_R>| z-qrGRY$G(Vm6siR4MeQqtFcD`Cm{ZX`4Pvvl|_=yucjvlNUw80JDm^OK8>iXa3zbC z(D7Qt8c7ghgoK0G9}QeA2wo0kock)^BIrp~FthjB{lFfbB-jzSLU~ zfFw7_(ogg1-j8nc^Kfum#vs!mTD`!p~Y&llNs5ml&1iy&a1vt)J&g?v1Kggcq{TO3OVGglq3%;`UVy6L}N+ zwv?ysVg6qnL*l*)kyS)|-Z)VhbRmZX7*|hoHejy1Wp9P;iJ&QS7w?kgilJ=mF z>4vHts2h`CToBF~(W!3)6;WUyJP#-(dbO_HWH{uAaw{g_IyFmsmvxr(>+6$qu?zie zm?!^+c)W5c$$7v#R<2K+Y^cI6s`K*wu&QIR&xhUkUVf{g=j{CU^Kztbe~{f_ZkIxJ zY=&*84J;fh+%hxVoo?l6n!3{@D}F#&!W-aY43^9U$7TD!XMHMw$6~qQB}P)Px_fw| zpC~2XXfA0&@M*rL|D0(oZ>MftlzSrH_A#1Q!~RuE77w3puH~ z5B}%@9v&TreJ2(;)M##P2ni@e3SwWp(m50mU=LR^2tJABkC0q&5NqI$@KqEw*X-v&a$g#MfAt*|;*{Jmt~ltW$RiUHJE}2EDxt6``-+SU+*S zJ;x$-V57DCP*wT?uB(dMFEkKce&^D_2(0-~Tj%GsPjhgj$)UabR-bcLf%Wseh<&TJ zWY3c^sM_hJ6`|{yRx@{z>*7_UCCR7UPQ*z@b=!TLi-MqM-T-|VMc3AqSZmvnSw_)< z@qACwpm;i>6U+aF=};w?*QO*lb1x@Ru4kwLUs>SeE1vrC12I|Zm72QR#<-mE&uaQ{ zHvW$@hdT%qA`UGs4^llK)BiuVi&(;!MBET1r~4awGz&HZ(SQUY8t^E%TKtHciC9&p zKmB5uKy$Cvr_XvK9 zD9lg-%NSR&FTWHV)u}eOHKiZy=*S07^x61ypFonJsQ~V(X%9fIt9Mww_ia#0Q1D=- zx+a$POS&SBfI1eRA2k~(Du_={>dvg~G^|F|5qcirj~r8^z1KHZbqnSBHks~+Y=HaM z3)7<}6HUh)V$E*KIH{Y)j<eGI8GrS8Q&jby4GrnV4TZo)KW+@-n6E5`RxY zV>}pJt4(;TQN6jUB9V&O1kmxoZ@-?7adh!5$COvA8NalrwkSTM0pfizTE=M$-{5+#&+uLd}ErlBYS#LG2wbVv$(veB)r)e zRHl_Da*FeldRov_E4?65wcOzq6<8@c%2uqt10m51+8e@oHZ@O5oF?&j>~n}pKmfhm zmpOfpz<%2#b-IRiy0;7I&%lZcX&Nr9h>xv|Mq9U+7@8_8Czz-C_}A-Nk|aZroe6~8 z3zRY+Bydh`jP}n`={9i=UN@U#8b`?6=oFq-urY$Q3de4 zeRU(8+GRhI@l$#3r|pkn)?c!M^O>vQ*Pz`@F&+i^I37qSaiOLqMJ-t33uCP*D?*dHn-YzREiyJ8G7M>%npd8W82kZI zr56EANVW4(o89qds&&8g6S0d%elksNB+i7wxq}rq8M|fuw~fgk;F2s6v@$RpwUkQS zK3>{>ZArX6_%xl1Eeccx)}@FU9>*<4&_;W`aja5VL*9LC7u#2lF<_PJ2gI}^LpoF_ zb`#IpZ-+%H0LAFp;g!Z_B)CW6jRvw)en*(Tzaz}nEq9NgTMFu3xNFv$SglCvp>~vlnfm`!cmIBNCu>s&^0Ytml963jai~|K5&@|GVq!F;GMt;Zw6P zfPa@qnf?6)W*G-auB*Txe^l2icl&6wlb+oh_6)V;06i309wrqzs1JOx?Xej`id7)X zn~6!&;tF>%1j8;!%bff#*Gx={XXmv@9a)p^AB;Q>YiGOZ*JBq*HTLa^9M#s`?zT8M zCyX2vTQlM{vCw2WYNzCMrJ`GpI=GNugGqExe;v(lE`0+I9838{!AnGrp3&`(h`zz= zyS^4ACA^9TBA-olMcenJxWwA&T07j4vD)W}_l;xA@zMzaY)7P5$cCdOR!PJ71?P1q zEt_U)a6C}EhN%m}wAZkCJB0xE1`UR0BHx4u*WDC}k%DHtNNmHKBp;tl-At zGi-9mCK@=#*zJxgCQWFRUpqttlhGIp^xnewiVTdNFQb7XS~S41g$7=?p@D}IS6VZf zm|MmmA0>E|>w57%=Slz#T&geslrRH>Re<06YKpOxxV96Q|HGsH;Yr{>e5-;I$F|$v zX*B1W^{&`_l(i?uePi!4J52Azi{OorW|iO14idQ#%OB41Gf*Etpb<|W7@+m15xJM7 zOrYL}OU)1xHJKd*%~-{Kc_C4B!9P|mcp;x>x~Q>vm=eIX@drY)asrSu19!}&;Bo%; z9*=)}4^xb(-ZH^hs^CvHY0ArHa9cTXiyZRXm*D^QB@}n$FDNmV+&%W6|IHNhY5wO6 z!GHah|Dzqj|Jm!zkRF4bFK8#^ZtqGYF))rJ1#(WrwXhT18^8Ep&c{x57w=qMb#t)PV*-vJw1HALNXL@)r2zFX4GZxK8LA zp~}2iu@6b931+wM!8hEzS3+c*{Z_&#SR${nZ~;8QK>$71wR``b>_W>|55ueJ?bcDg zH2IPF%i676tt#<5Q|uNEcY~hXg2%fbI9H>Am$y1F%n*+QcqR~mvFkE$)&63n?Nn?T z+)D)iZ$IyU`7JQ|_kX2Y|K-`gj|TsxYQ2GRF&CVxEuyO~RsNQ%mptP;@~k!=4b^DN z?BR4m)YR8wQ7u*&{^C!@4iQDfhzRB72ESZbmTP6*&3juzETN-0xLh^pTbSjLZO&mR z8Y?WtPg6JuQa&rs_xms)LpZ;Gx5wyq0Sv1X{>y~TpF?f7sXghTuQ1?+A~l<1V5yia z%NslRR*&S!&}oq%rkLC(Xnf1@8j?sC`c83sb}C>{*4KFA#V}}}|Eb!y))#-n3~XMV z=6#viF~l8OBP6|%?mitPV0c!b)@o6)C=@tApmjY?gsL-{h+gp_R#8U>(}s1X6>=9LUpvdZwhWkBna}bF$#n z#LU@3-FlQ?TEq9G=*xDNs2f|RKo=K_0IzVxyz8oLH~3wa>{m#3+6CK8NF1>4`z7C# z_-Odl5x2|WnfV1PgICi2Wny+~ zhFquiHtpU;nZm%;=bw_$7*Kj0M<=2Vndg{PYMC~pRx^Guxg#Nd47p)3{DHsKO=cG6 z(M*!V5hUFoXqeqm(wfXZkDSv^8i7UAbj(mg5y7JrkF<`<(gL#OilDyw zW3RVM-a?0oZ4cAY>*3S%8tmMx z4R-a7F*Z!~{he9;TAWhfcTK}E38TuN1B1&QLZqFx+c7;2zooE)Q8aa`mxTYqG&au`YF9g7!dnKkMoPm+rt!~ z#&#{5QFqd;b9y^{6=X|dArdIIiH>T-;UTYJIwEl&y_@22Y!Enq#?_upPw^d!m7Dhd9Pn%dkT4Fpr+uKoE znywLbwZ9nh@{1w@9I71klW#dmh$by%x?uPeHr|smJ&Hy*1(1q~US$Se&C9hO@VY3D z9y)XxZ(S)tv2@K{!S2t!9Gld=Ta6i@S8IeiYcTVPK6hy@XOYVUvT)w`J1d{GS7a zVfB`-HIp|axP&SdD9FNmiSr=GknlG3!$)^w+7`SXZ`<JG|e4JlL%k&`3j4tDMbZ#y|r>`s!10Jk=?<0sqIGGujWYAkMh0J5{)T%j1QZHWdK%#+00=|Lkc~VGc>Vf(-}<5A8qPR#byL)cWcP!L z_d`+Qi^>lin1AE9*QW$UY`|srn!jHAsr^omb;*0pVZtm_#9yL53ayE(|s7{^_qv zccd9Z0;M*ze>kPzY-l^lRT=ERIZrji1L=&UR`U=}O?SFHEh(Mt2(WZTiVc-;Bw4k^ z<3*ZRFZyf0*Hd~!ZsVRRZx$XTGY20fSYU6`q)Ho0W95?oMT#J==+&_kZq2)WFJmz^ z*R8Id^g54rI^GO@V$AEmS{->{uV1Ti3JIpNY-zQspGy<*d~o(iuVK0-meg!X-S+LQ z(=jy_lO5TTF)H^ZyN42de_g7V9I|!CfDpO+ELXawtE2cbUIu2ZGcowbU#j#I`2$XJFKcu-?u0Zj$Y;`k z5~rqcekaK&aAqIszKgW@A(CrZ#(GXTf(3h!8Hs07$mmHw;<++Yqh<6}D@6VVGJ%rw ziKn#6Emz}!8g-?lhe9_}e-(0;Q321`DKavbwTjMsCGSrPu#o9^JCcv9;x5=JbicSh z9rimJLM>yW|HDg6&b6)Vy+wh^w`jqQH@j`8hiD*=Y$g*Cd!HJ_{X5eAACmAm`b|X( zjz@EMZRtGBmQ4tq-MMA3VD@%TJrtBZgJ-DvMx1zIcXcO_hc?IfH8ZJKLUl@l12 z4DBr1SFAZ@!ln9dI?usIvan01MU<1LC3rnu>_$+qQV@=eQQ$fdk+zqV?6F&Lq&X-l zFr!xrP%kqJa74l^ef+G1)IS876j!<0cG2fxQQ^`BnId``?}!VT_IvX5%68O76PLC+ zCh*F2F)Xgu7D+PQ>Mb0oi~6QFfpoo^MJ;VryebtD4a|*L$nxcSh-cLf>y<3s1xcJp z3+J2+K-DQu=_V%$p-vy`Xq?4Asn%wc5HhvUo_YUTYHlL5< zd-Op@akG-mKU7JFE}BLdJLlD&tk%Zm8aTvtg8{1RtT)a-f+jdOYFEk%V(%F$q1&J?0krCWp2Ce@ab?5aP~u5J_$h1pD#IZ3~GkDYNEVyZ>-Mj9Xla&GmalwHWZ`+wF0 z-=q=l*KQ$p6b&F)hy-mWu;tnxge;F!a%{miWnHCl%TUr0wB$PY>|wFG?tyzOs$rkC zoAQTnPoQgci@CO!ePVUJ`A{uH)1zrIcLUa0_%!b1d#|QH`PU~4Dlj+L0fYFHd;;1* zDWuRhR0|lbb?V1!ru7Y0)~SN^_bZ;-Ht1zu>s`Z% z77xyM@+}w3YOdBSfY0B%QmUg(efjedQ_y~xg$O={Pj8QYvVrtBj~*y~t|@<0Kif?R zhqWrUM~*vRH_*TaV~sF5k&X=seB{5fYYGuW-ju8kE=bVqw}z`1_kW=;dWR)2RMc+5 z*eZRvd}em?OP&l=7+0>?p`4zX-lsdHJ&3f#rYgjSh_936W~3ewz=IqI*IF3p#btif zzg1yF1NQ1YrTNx^oc4&ip~WC=@l7mQUe(U4na3YuPDaed@kMJY6#Lk2C~n+Pyw0F_ z-GCL7*FPUSnw*Zcw&WlB(RrY5H|esml?9=^e?Pcg?`H@Y99-urRTkToWE7s3X*B1Q z%<|3#QuJ32(+oVWyV4-RxDyu)g`i9S4EyhVj2C3< z@4~*$(VuDHo^vZ2_{94WlTQCX3Q_Y)mvqtSK2I}1piuVjGMsRQ;;M;4@)vr(R ze>3G7nVg$#Jk2$K)`)7jCb61>nFVDXX<*?)v|{1j5M;fhz=70Npc~0sl@imr z(Nn17`xKUwM6E|0^>Y{eEYg@gn)+(6&dTKJKT+`$O$aoZn%a=c!$Apv-rf9?iUctM=6W=dc^&8Tc zbtYkDc0sG-+z@$hW7hL7l4dwO)t)J8ymVh)Y2r>vQ%MQ0F3}HIqc2f+pNF=#j``cK z+rb}!I}V5{W=;f!65C&_`dZ61M28|bBIp_s#?;AJPcCn*w!xdFayoLi<;ku_t#J+o z1otG(UB2-7+hJNqHl`yGg7QX)Q@MEXKSo>G((XsOPOV=Cf}3`=wMKrFa`y9hsyLvZJ_we;-%_R}5##ieqI^d)H#;XE6Bw z+Uw0H2W9abyb08hSCW0Ka;PSqGwlmTG;r4}0?iJDQh{g1@gVk@{?3~5>sVrk2_4?# zcnv-lJ0DKAcmp=Xh?6{mNvaVnjolN($+*q&vXx+51ZJC7Mynn9$b(9?UHoFugzc_6f6#xWZrIx9O%Os(8gauoW1-pw@J#9g}w%V3rdH zt8qU_6PGlta_IfZ+CCrfD!Q<{3W`4}`)MZLuM?-bC)M?QdQKQ#H`0Lhr3Z6aZp zP-6(fkDUkcf}QQJ1LVq%0=UXNGz8brUfYrg(^}gLs_LcXC0NjFWat7#xL6m zxw22_r#5>Fe--GjPj0Sq z&N1AW3)8~0cxQQf&~|Rt*;oGtMyYK&3h#JezY2SEcGqt%Tz=V{xEPu2`#g1WW0yU zBjg@3ssn#`x!2%Ed7v~JsL!}UAQ_J$12Nobb_N>F*a$(`>@ z44<>L&AP=34w;s>Kcx$fQS5aBz9VSlUBCue*ENZVJI=9{YMvY=#gtyA68Chf7jEDE z8dB_*r>a4uMld@fY|>hHG>A%Pt~-~@IhNbcoZTAh$}c5ksp!Hb>&xoEqI&vWEN#50udzRjA>niB8XLa zz?e{uAOc=7=-q4$OW9w}Gy#U~^BncY3Bsr)_@{PgO!Y1@K&>)_`{27XEv6eqgqyuy z*+3`3<)Jp-&*Zqv)g3M@rKn7?Vdj*5gU28E?HS*DV0YSGNBPRjbM;Ee79H)(!G=qJ z2sz!3pP#Sd8_yl+r#5e<3Jp>V{FX_W0P6eCRC`aXO_Ct3`109Q+*}?FdO+B4Mo6wz zu7Ak57x(?SxGbNOYoU=q`eVsP#{}ia-(syIhy_nroREzes@~b zDV=`u+qu8;qeUal>mH0Nc1oF7n5=*tf?71*k?=Hf(mgXprl1a_XqHDpN19Zko*W6y z3x%uLF05y*`VBZT&^5l+9~TgOx-NXzwWz9u0(50A6JUvB{n6=a0*_6ApNM`MQ(!PI zK6~-w{uzj+V^=Ab9CC;h#It3$cUY0pCLNBCPld;jLg9PESv$V9zoG{mtp+`2*?e%G z^d%VIw+W*cN>DC>-UieUb2#{1L(+ z_ym}+9{kybL4!C_#=&%B{Ilmx5VC$nbIiXPTEj^3X~|Ef$2Y_27<+L;^vQO(`kXiu zH<9{?52BZfHDybF)e%z{3tP{)z&OTJFI@%P3x4@uZ<;;PKnQp>5_@I@erNW>q;}Ua zm9R97nxO$govU0yIyA6?aZpt`SGO}R)y_ uV$M`;^Dx|R$fY4&Nu(g|jpBtvc92ZeU;7GwKM^hRj}fDav{>@!PyYs>o?7An diff --git a/fmmd_concept/fmmd_env_op_uml2.dia b/fmmd_concept/fmmd_env_op_uml2.dia new file mode 100644 index 0000000000000000000000000000000000000000..dc7491bb9f52c286ef97314298dff3f0e1930c06 GIT binary patch literal 2640 zcmV-W3a|AaiwFP!000021MOX1Z{s!=eb28DJZ}q^;rB<~q}VQ|*aABx0QZ0;KBmr`xIUPbwSx64(wj&+mb zVRg`?p&#@6QJbpOS~p4;m+$^g-<79Sy|L}9?nE1n6w5GQ#Oa|OeQlERLSP^<#`4acFXyWl0pKrPU(8joRB;&%#8z*i*ym zFpBHAD6(hH|2j<8#|)r+``g|2(mQvN$MdIe+?^H;z1+w1;^ykBqsvwH{@|$hyLcT> zlc?_Oig}Ey)flld%@b8NWzCGue$$b8>WNm3$73+2xmonw>f%rO|t2Kqghc6_Hz-Y^Dv(W zKLo#IUq@RGq8Ug$zZiXjyBBMJc)BxU1lay1I0TR;1Jmh#|G6GP zm@bm&n+;=vvI*iqYI6jLcIKiaT3*evJUyfc{f)^Qu~>3At__X|z!-e=LcD{mnz18=xg!FgHh$dsH+ESZ-VCg#()Wz zUc9k`fRdA~QGwf9EzAXZ2DbOwG<~s_=kB!Iqr?q__=zaeL`kx=s54~V53a*yoIL3B z3Dfl`SQifl?le@DAN^;P+(kt^3m>EM%g^B8ZmGFrAdqnPMY|c@b-@?7VH;z+(e;Tb z7=+ynY3{m6mr?yU8l|_(>S`Wor8aiH?4G!@r?h`pY)^$8cdN~^G}U*n2AcK34Yv7D zaHFBAa?m2Pu{7BJ_hKXuNx@#H{Qw~D3V@gZV*E}z1iy_94B2G!w_?~MpGUqr|MRGK zQq=1Qh)8E3()d7xje%S^CQ1x}|9fmY9X8cFq(`UWaeviA zsvnJ+Tk523KsII*0*z?MX-2K%aE@XAa-WP7hs>V<)d&v5R}8@(R?LOTpgLYLw>IpG zxdarNoSGQKlKK1eF3vLxn_+VHk1Ucn<5#m-qi&)FJVWd)5Q98E+YBkK-7!4T|`aC7(s^t~Y zelT0@pHH2>{)FnX=Fg()v&ykDt)3*J&dM}mltFsd;F2Y38#cd&Clmp!NgQ`c6g!US zxD>J6m6lVdM3L-`qE;uwxZdw*eh9MdbkRu4PE4DkilnnR-*Z zpF7K#Ofq6D9PfR`rQ%#k?ZFUgAC`a(LLU5S73E>64?ff1MiKc%4EKu|H6H0h>kwzC zoi$84-ciM*@dl-s%QPA{%j?Km!iv+0*&_oP*T=Z5MBkcjKmU z);A@Jo2@0Z?KI}~yqI?IV*X0yPC82?2)4T@sN1~Z#)!=v5`ZK&N5e=SB0tG-o;|E_ zLO;nF;64r9UFCuRw5mO)GMCZ_1IpkL0z?^$d=PN-HxEb7;i$$3Jsb@Yj=EQ2LI7c# zp>>)OF0BYnwAlok>7p?ypvNPRM@>%X0cnVUM7t+}HCGW%bHA1h83CmL*rZmG=S3ce z>U_^b&=4W0j~ZHbM+*V7$DTGJijtTZGoW)R@%p~H9UX_`)e2{w|NwN$mU+1e}a{n2B-A# zc7O_f(p?hDfusuCxWwJo8R9@FR9b=<*=P13Aq{F_uDEMSXwx|Bivcnv?1`ba+vtX= zY}N$sRYakrvnUipz%9E%E@jQy3R8%bPkH3T2p*+qeKIM!)zz&f2Q`iIVN0p4)G4Zd2KHLHm y2c`%o0dx?sCY8rY_z>lnXXSzZS>)mJ^6dYsY!gYvrvL!i4i@$R literal 0 HcmV?d00001 diff --git a/fmmd_concept/fmmd_env_op_uml2.jpg b/fmmd_concept/fmmd_env_op_uml2.jpg new file mode 100644 index 0000000000000000000000000000000000000000..de27b98f473e94954d1edcc1ce2c3eca56f0e303 GIT binary patch literal 26051 zcmeHw1z1(=mhM;O-}iFte@K4LQ7%C9F;>)VC!8aw%6VUv=PQ&2KpXJ)y<%EvDtC?qT*bNi00 zoV>!_2kIJ{TG~3gCZ=YO%`GggoLyYq+&w(Kp1<%9c=;+YDDutQsOXq??_-lwQq$5i zGCzGTC@d;2DJ?6nXlQI|ZfR|6@8};G92y=O9UGsUUszmPURhmR-`hVpJUadcJ2}0a z7ZQN-muZ3D|1zCkb1k z+fA*Zh4xk>fH$Rd=T6ngLBIh5`0-qF=Qp@sCLVG@7q?mw0ClcZvJZF&IB`s4&na2$ zzS{x<2vtP@*ot#27dSH~qK*ilm93ZMzvYk!U}?Lh^)=Km$1JOH<&b0VRk1`)qvCsK z?)QQ`%;|UK7q!Z?63=bH+ar^M048eTZ{-YqrO=2~|7R^fJz+V1sn9K;ZSiQ{M_@IV|8=u&%iHnz>Q44=-zZNC0*A43uKAPp z3*)fMD@OR6ab3x`&y^b)!B^i zN|iO%yAB2?y5zSLl{+X0#d=6(NvSHjGG6EX+W*#*5X}U;gee0bpa}ekJY)V z&JlnRYxaIf8RSW8wyp&0u-?6aD8f1`B5O6v2bGK`+A4xPtlK@JNaG6YvfjNI_IDh4 zJhHS5Zm+VIFl&m07wV-@y+WpPcC2cxblXbGnVS4SJs%5a9j*(lHyJ)L3F5Jj*7|<&qdBu> zOYf9t8}ZSeX4P@DBS$LtluFiXBu8g6v8$a|{ZkLrm>F6yTd){^xsMnvGba#{or_8Y zuy)&Zm1HiF!Zk#5XKv~!?dvX^&W5F#lkI}3p8vk4sSu|F`cX&xWF~#ER@rUHRr;u? zRBXWl&R!KKbY+YZB|svGB?x#7{#ZBGmfQ!XBO)_m;YG9}gU{Ofa$ z{ct&r9`bc-6F7hr-@IT5y0~> zctaRWBk@QAwt@gK=q~)d(1?-1Uw5-4*Prh7!0{!|uqEd-p@U}&iRaYNW0F~3k7X!Av|M-8Uf6Lwl**2$6*=z z-uZ7ll7e%^-D6v-hKia`_6xa`MaP;C^koaI7C)KZs-tERYC9rXkLrQ#z!g>kp_?SG z2p~Du2ePYwVBkU4I6_9)&bPl7-2;i_e(c751M;RFau7S21FcKkR}te!01vZ_E{KbJ z?<3tI{_~4I=(Z35=tN`S^;$-!H?op)psi5wz>1d#&b=TW1U!hqaRt%>oKA}TK>TzX^O*_aN0Ew9xkL4W@uc4bSI@0(i3 zyg`~EsT<@xHJDJY*h*E3c;s%rg8dTdY%yG7pez#7fJ%Wn`y>gU^@Rjs?`-eGKI8l` z6O@zi&mD6MPok#_?53&MpV_Ru(Q~H9v27aim?*2=leeP)$)`cBxxSTJ z@Rpoc;@v)%3qsKs19KM5Ut8vl`-}V+SwCw>Ll*rhjy48kdy{>5a>Rtw_19mjS)_-q z1;to!n!Qpi-98BlCfOTU#t3EQo>L-mRoS{~F%A7-Cvej5dF#Qj3Y%LO0@$+cskZ5p zq9}pW^>1ApxaK!vZ2A6-{($_%Q|;xal_g{09^H=NDhAt3xr};yLZ&LOPlKEqX%1g? zOefVtW$YYeFV1(s;aeocX7U$G>=HBsk3z@9%9qagd&ZM3x6`7UD(~8{Zz`N9kVC?(20`T0xgZho z2&19)>SU{3vSp6#c6>YYx61j~4($tzNFMO?YF3tEay2G)4Pq9~=1`1J!jQ8BYd_co z_~5)WKmeuC3zpDoQ7nL$Sm31PFzF99tcAyZv zFY$9;yEpjc&b%ns6^NU%@s@fP$c_YFJOZuM^#K_9w*xv z0VwD99*)u0-D37EmJ7D`Xbdm&EkJjC6MTvtIn#nU%{M3}>1x5zKa9j`@V=mcCTP2? zZo+5wNEk@qmZA|S>4u3m2vTz^oe}7UBnJQ7`fOT<#f~E&^Ch`vp!RL)*o6 zM=t!bp@(WC(*GPh{2fdS0`{R;=SI8N-_K6rHyjx3Z)dxlc|2ArP*uvm~-@OFq3<%|K zf_5(obZJy6a58%k#gjw#?}DBsWaO{z2B#E+^0<;GOrQ^HSp|L41Q=KZ(49wK1{SX0 z9oN=ncp*aoSI~#!b>!Ks^%v}oO{Quo~|KfH3-nH<6Hgg3T;_cBjhUh8u zyCxPHsVts2K8-e=Dls+bq(|{lxnA86!~!J$OP8f1?|9|TmT5ZqBVmbpC|_Qu`C@D7 zlJ6wV=u~_M!F?7Kxh0Zt0H1 zQh%dm?B!>G*u~m7r-m?}wr~a|g>sLsL};Y$p_e+&(RNDz-+)ON^oe&$;q)$c~EmE zm8tJPG2qSPx*p)eQ_O{-Kk1RHF+|r`Lo+mAb@N@^{W8-?jtGB7TA5%%-r?*S7_qh1 zX;sCGW%69+0PT>h^L0`J*4vO=Sxwi4{7p+fduqd(_GIzx5VYd-LdI5W2wA$hrpDuw z-j*_QnKq74@ECN&>+Vpyvc5wG?~E}e2p5~diPOEl50Y==Fm0~LeeI0I7q>u>X*?Ah zza3j1m3+f9Q~c{Ko@eSTK}fR?&oeTLZMA4?udpxf;fI-!6iOt19&2?bfuEyV;$Zf@ zp|+a{UfH?A-F4?P?4qa(>xjQ!_i1d=xby8dvs)n__?|B<&hxmPE$|_Y_vtsmxdWeA zro*0%59-UgV?}Kb>$B^~xd0~15C(BsB#aOJ9@b5iE3Y_g`O*7|&TIu{c|D)2xkpL0 z(J@CN3DZp{;U@>p71h34%Y+#|)hTN6TgG|E;4Pad3F-d~@h#cMH1=}Uq$$*LrMv18 z+Sx=JtL}yWo@?S>%edx{ss5LT)MaPFE(w>vL4IQBk6<6AmnHX- zw)rjMza&zA3-*%;q>@2L{v+g<`yuS`5l0TXByD~heEhE;Ng4D7*|*rlhAGN@__lZD zC$WnI6^4ijqBeBxeFuQf-~H0JYt_^i4zMp))mHlT4~yBydZJpC)8ppPnubeK0{Qyz z!a28Lers{LGxrCDkzb?zL?7AblYf%6Pq+?=G8Tq-A!$3G8|+rPFLUh6|xD@DAtb%(y|S?%I)sFboI!^y?%X=lLGSE^pSjP_yTJ1QP#*bVO4ec zh~2OULuGmF^oB|};q>i3Sz^*z2YLF1&-q6=4MD)X`EH5D0RDPxochGWV~%ruTkOu?&Q^1GRSNIYFJfDKL0a3s-{?Wt?_3;rzT_ilS*Pl zlWiMJAERF9jS>d}kBueFHlA-7JS9eIYTP}=e5*|%JwSB(wUX@Q?S|V<4bm-07`XUe zp;4qUvlov!$nKR6=GZ*0da3vH?%D!J!5tF@25G}up@j@X>&j#wp()Y2PbpTqVkLrj z5CL~yC0>02Q`TNj?&Mh)4a^jwS$BTL`f2>i-OcE03ylfX2T9X(5B!!w>btjZy~BV| z(

R=Dw8H?E77~zrD4qCC$ahAhv#;s`6Q#rcn$#cQzKbi1T}*BSx8PWMt1+ z`do#k8SsK8u`~iFpETbW*b8kHzE)z9gk1g;*`_6}|5LD;3H-#ik@UcR3N`_j~9swNkuR>wm;0+GSp@S3l;DHg{5xfuF`26k}!8xO$-1xHz zx|rps8E#!;Et}4vWl03u|L@2C&!2Ji{|c~Cdd|UsjLCbR>!MNeFg~l7?dKK$*N^^; z*-={Iq_CBSX=<2EYEE{p_Cyy({IcH3$7O>Ng0Lx0{axug}wZ2DP zDw0)-uZ#7lEI)2RoZ92ZI>O6P{Zz=m?D$n&e@)kDK&1PWv)+}240VReh0u4ot#*Su zv9i_hgI0>}dbD7nn81jt;x$(dJNbqWVX7|;<*0ixaK$9|xOB@LzrYHW`Zhb*ZP8!a z7^JBw??c|&1@21WmbdC73+JbwGwi0Nomq(l3wj+Vb!$&q^Tq`*K9oxHkOlAsZ!nJd zhVBOep_mNCr9sovEOUMkENaJ0jXNj+AOzrZtAV)5vw9@p+%w%{r%7ZbAa!>^cO3yd z?yyo4cHK`N>qAFZuv;m;n~wmD0dFB6sHlj`*z=xK_G#9 z#0XuSqT2)WSnIN2Kw0tEWYYW&0vHSdb4M=F<{6O2q(T7KH~yOWd0mSD)CA#5;M4m5 z{Y>gdwu1BBg(*gs?s&6le#g^_o|L>UkrW$6li}Xp|io z(~+@flvPk`^Hrb#78rXq(|#lvG2Wch?=Vb)&|h#7V0Xo3_^lj$rV ziM=g3hYH#i>{vQD4rsLJtrKD3BMo_Z3uJ-9E?6Q#7DyO0Gty$96~C1ZzT|%3%O3ml zhmw;2_w6+Y=Ypv;dYLy&J>G9@Jk>}Wd?wqTR1hkt-$O3+kcS70F2t+Z6XYI#lRlY#;@ ztfkr*jDHsF&m(Ev;ZxvENftT8{u?g(t)B;f2jd_tXuBcoH3D$xxnQxlS{Q2zooP8cQl*#KAz@D#x3X&b5FG46o%m-QmO5{!S$`|XtrnqM~CCS)bJ|X z<_8evIyiw{@+TlS@n~C^6ywnncyXQNEOq+43Z>8LIJCbkU*kUoTouxDT z&{>KZXV&`L>uGz}3e0rcdh*}I5qR>^B5xsMdXhKv-A=*{&MG!j)_$QKmcz!upOi-_cYU6JU|#l<&6p(n#sQBq76V`C791rN=CvO@i&E`hfhFf7`$ z&2Fj8T65AfXmVM>etgE4M(z2ioukm|h#vQR6xEfuz@t{#mP@0e_#ib=x!5|RxXe${ z+zh*kT0Ut@RDKePM04TJh{@m+sZ*Qd@bs)J7CEu92e#?jx2@c47y{I(x5-zY>)e>F zHdHv$G4(JxdmO@<5O_V!(e3sZ5959=oXwOlnFK&IO94J)j@B|&V`FvZ{K3?mgkRbW zM^9U?Zjm&I>6Y9*A2gL;iErAcyBh9KX#0q{)$Y`_txH0gTw)3QZN$Xgy&X->(Dzk% z?wCV}eB0ZFg;7^7QdZeM{LUTzLvorwNQ!`@_-qVlC~)A@l84E6e|h=+jP~VSxXwHf zKz|^pO1T7w$T?}5dTSzP!zmtT9NET}X*TBADa?l?Jp?4{nxD+vvsQ0)Dpf@bscBRm zF!`s_GsnhB-B&t-7jE~KF#k=BNX=k_gJK$e+kD3sZpk z&Apa5^Q1|u=)Ot)i-cu1Pus4l{7x!SmXq-Gqqzc}s$C3KRcM1~mh{}z-R|yf7Q1a% zVY{JzS*1R)vko$xw@f^hK0-YdUz&E6KieD~@l2$~>{xOXD0qu^5BooVv>0wzPw#|5 zvDQjY!!7|Sin$+4deL-M`}IiVoFS?DQsiqbNvG#;sSy;N zAMam>)z-wlwKx2b;}xc=vAFl_!?jclou|7XA~?^T04Ynl-RN@=_9Q<-08wYq-6WLX;vBL?jiX`2Uk%5YYHDDgsm0h^pN-&8M--^$ z>v*0qFBW2Cdc{Ot(FXWpTRy9u>M*?GdtKm!WG1DoqZO&p1I*6*h)V<=oP|I&D+aF@ z7Y&J}f}ri4Wy9?tfg1#4sKL+agLkId+c5?mWi~3R+?ns#-cNzrApmn4W%-l?QeLZ4 zl#q{tkrPN0Va68V40FiT2Efg8{JVp4O@f;n_FiIpG&RTduV%y8>>TSst-@M6pG%kA z{qhm~*XT(uZ5cI#%hvB6y?zpKBkHzw_1zVG?MN(!XX!rT*MbhF1oelD%b$qa@ypnh zDrRytHy3fgaiEV<6DIP?GiY31l_fvBvRWmbIb-QY`ugdoc#X7bnTvS5k`uLQXM%Sv z&r2}MzT^tnk!MA31d^M7&njYIG0xk$g^b2XCu0K>lqW+-1VwzVwx!p zU)yKa#Njm;edBVZlGAHff%IoNC zi>ed#=mW$|kPU4%w3RVOg`Zs)p2zT9%T_!8sq-0kQ3|p5Ezf1zkM1YFa9{Yp?zNImN@y{kfO^wPFx7%M#+l&Q6dpIu~yS)cVW4ALm+@aU2sM_}Ej;+SX zlShrMqk?ZV>`arCA`?6c_kx~*!RRT8+XZVBIuXOBC-mw>ar{EN%6S@Mwf`KwP6k^>_8XKCMIaAMH@t#P<+sw(q ztRz7}-T?!9V$js|NNCm+NhOQ}5~r@{?RMi~iCOHd0*+mRtkRd@xVIrm!J+Q>&toIb zt?goJ=!*s1u}^PBPw#dxzPS>JuP>`1j=?N0>x5=L?V+bP#OYd@mAJV|d*N~vB$V!s z$+2wy^y__dhO&i;5~XUH#_^(33Fe?t9sZnB8+8T9b}nv$+*|bC7d(+j-LtYP=stXq zz0lXTtTN7SCU3vk-q1GnnBxJ|73d8-4w&JL7kwHnoDgb z#h`mfEyzK-o-y+%TX&I5O#E~E{EOOrMQhBiuTDL#c!v`?jQZ$ur4vi}tO7e6;Wy>( zX&Lf*>Qs-SDP!C3NF8Nzot!k_$ksWC&X zT?}6}I^IJ7X@puypnml-*C6u|I?)P$tMFI(D)G_NyBu_~pw&{KWfP)xmv7PW`(%t! zOX4H;;FI*+#FW!Fg(6Z1o$5i^j`PVFdQ(PYhTzkXIxR&PW`Q?2s#g;q?KhQ=>QURZ z3gwV{TsvMrK6NYT=eu1#V8^}~cF)bxX&*q1e9TA3i7&*wEY^#0JAr*5G{*KRyKWHs z!mE~ehwht5k}P3veGvyH7{ggp9wRExAM|a_g?d-oDo-mcl$ZGFNa2)HU!z`e7Z+Ga zC{|vO-Q!rQc~|%}R%k2PBfYqI$lTXdNGa0u6Zx~73y--E%$Z4y6nArqQ*>ai9|Z)p zbd4vQc@!M4F@EW$a;j;u2}$u2ZeOVeKyvTzf-0uOS49(N-wKPp15M>TzWVhWK?(>d zZdbYyVlpCCJlC(z_1(7R8Yc@9?Gjr@KQeuzRS}&2_`v5(WLbc93SUYHHF!l3qz(wI zN@`dXMbLytYDE-->geqjN3vcsLzAcrqwLI06n^fxDEz_UN>Llh< z%X^DnPdqNE?Ehl!o5sthHj#28{6h?VupK19Yv_~(87;p^&bNOU&Dw>#;r2uFw+pN_ zKC=$u7-^b`xB9j}%IEN9Q5c6z-&Wx0^Q$D(@nQ5+fFvwl>d#mk(?|8*;gV|hc_O_K zy{56>NS&vT&m$+ap)PhOxu(>bn3b;u^Q>cC1Ufz-H0wWI#yG-Xcn2_DeMVQ*=Q1H` zrjcO%=sKq%KS71;3M=8CQN54h1>x%3El!xIUJt!AXqX$k+~QpM7fXgq1$*4Zo7|OblI357 z_T&jNqd3yYK4tUzg^LKO-IsTrIRkmq{#P3yg$@77>HUYIR&*>AOGBmz+*e4ZxI9TK zsG(!^=bw%`*AlK!x(BWd!N>R6gOKYw1Q<>Z@*Ve|&iN6zbvqmUA_DzMp$bxHKdt$P zv+CeSf3Q;|a|i(E*|jy0MR!ac2etF%_9h^WZUt&3%?k|%gy}>U6Xcc2b{uyM%ac9c z+}We4O-!+hj%m9})5H^C(TJOKwEkjtw~m$|4Y2x?Chlhw`5&0PnAJqQbF;ZFT0CY2 zSlF>QxuB;b^iji^JGV(EH*=)Q^&-hR!b^~QM-l3~)FYw7F+D$|NZ*ib|De$XYub_uure@#Q9?o}3OoCe) znDz+ZK~VU84v@GEgWayV#N8?&?nbMH^|vtha9 zCx1A3&oG<{*4gAGcB-7cN4G`FyLE64-smrA`>-+Up&UIe9^mEwo2my|t=(@;75E{J z3!+aS=ndGI+Y=j!w7R-PaO)?v;YzniQylY;LmS*LNm0r}$#Zfrm}pji1LJBa)gqkK z_pp|Y_0+G5RCq+hn=cHBEQcgGgTcs8Bx)}b7@y2M2k(bSKo*rm?wt7<`14~f zcmwK#CC@eJcKtjg;r>eCN;Gh6f5w&AA>rP0{ykd|g}aB8Jw3Rm8Si!e+Z= z5~T;!HYPSaqbh}^&9VtSkxY}bcD?v`{7S9kX5^Od-R=7~N5z5GdRKw-N z|0C_4gz~@W82EJa2;jAt;HPtrVVg}c=`@2Wg+-eHoY6(MroA`*7|Z|>OzVplXdix0 znC)&@Dd{j>UGOS>gfxLuo$9jj z6>q4P6FP)x@&F2Bo=Yi>*8lG3;(yaK{_nZe|2A!xgb)2KAKbe~*06)&k@z+8?2aE> z#sOAE5$(OWnXJe%{IQi4yl#)hmCXD+P%*Ypm{)YE7~2fMY_cead|;V1jf7IJ6xEVU zTG6tU^&6>JB!{SH*H7j5^u!0tb;YMp;PmAwv!D=4qQhnyclZ+M_L^c}P>_2 zF7SSK&7ATs20OA34%04@)3N!j%oH?+0;+iM8{JU(c4(a1k>_$Q8zPgp&a-* ze^c^eB1Y<3rIp;x2%<6WJL*(eF=xr+=DxegxlkgA^r}@Dg_=&rfXVrE#w@;%9tB%Z5WS!RacU9!YWoC3@rC^ZWasE z`yWy1S!TcBF6bz@`+4j!YAAs*3rc2k(2|&R*2b~!R!B*_$%;^m=z+S5ax)$h-ZC?)xn7|_Gj8XR+mLGGmRDMu?<$)76C^{O=Twq^1?kv zb0|4C&pSc@j?*hykZtzbX+0JJZ12l2bOZ{L&P7DaycK%% zT#7bOY`i7^)|v*F3SEY z23%Kp;UO-{7Ndi4**2aWK|_|fjB4rN`J*pJ9uQYBbA9AcoZZ<0MAnoqt+VMpkaF=Sjrjp)qtm>jdd-H zTS6Sd#xlsGtbz>V+&zq6dc|nwdT_4gyiOU{6}pw+l)k2;XvdIhQ;ECary{+|2F9{K z2;_cB1pi0dZY1*&^7#^r0u(-rz5~pAlJO#cI|v(>-tP44c~K~%PX88HIAbzJGHzc0 zxoyZ0R^5`k7{T4k;-5<)u31gQSr7WgcZVT}OW9&DP z(q=k5JL_zsyL;lnsuGZaC2Q;Gv0%|GQ_@F?k^Ex2q9|)%@gIT7o>8OPw47Pi)5^w? ze$!U_>fXD)3y}i2IjN>swCK9V7He&&R22ETTj83Ckj z=oVU?p2GU6Q1iQ^JDPI@pheHOSKKKW-5d|hEpc=V!T30`dUpdp4?R^b0)yw@Y5jFh zyUWvH-pbw=hHxAwreEu0?X#_w_7QkHbq7#&1 zS*@3q7U9&|9qR8yIpltL6oW$lrX=;v+}r8v9(GmkIaBN1xy#VUFYONTj zO%Rge$|7xJqJ?P9xA>w=>a5;ypEpp0OdTs-BYkILCqqF@G8XyyZZv(VOxx!JO9{!n zAe2v5jxaeD&eSo>+?A<{0IKJc$jEdttPjM5aq(|@hX^VRxLCWD_8*=pl2ddRx#fMi zs|T3+1Lgqk8Fsl8b?wUw|eP^AH1 zp+7q-lEqW{y_wg=bc9Og3%Q$>dU$s04OGz0cgzj4(njxQ4<8EmC|3=){>0*Z&shFI z<$mcSS`0(EmEEnx-bS!Cd%M1MI=AcR{z9Y|5`-y18wy?(g@5KFCNvt znx^i{k!Ys*8k>`8(C0FBLt?-|hoBq#Q$rL5gqxbpM5x*6bf%Gu(j#DI^E9mKtmL^# ziX47y9(zzDF16gXm#Dap3I|VP!y0F>#Z=}Ld96Rf_HkGycHZuuqb=4$?3|k8s6u&^ zd3~D!3#Qhl9nxlN{whrg+}64?2&CxqfrYo6%9R zbc&lz5D2>6P8Ah^*|z9lRYl3~U)(d!@Z6@>Oi^iK6uySVT9q&nChoZ*MQxB%o@=f9 zl`Qu5@bKOw%xxG<+*T5>TWt4JqiGtd05u-iLgMdT=M}S6?hfY8TH1n13C#2qa)l4% zsjhDqoqc36z5-&dYXNJEs*B>}^d#>uOptStb+1;Kg_gxrHGiBtLiFTVE zI*~158uUB*yCE%wuJbgelUCdcW>k9f=>DCY8y=&!CJZ?3?I+60DiqnTp%@mLeUoxD zac>jGvdI-3**5*lxYL&?78Ni&H*5VeVo|NRH(>lDP{$a(BBox-yDs9Ek>O!4 zU!fUm!CYZot@5;9zAxMc;3@pjCd^Ssy&@G25jmoKjc(ysq|;vzg3?m}|dL8rU3en1*XqS-)QnTzrLN*@R(?@!)_P zBl<)x+ofb2KgM*J!`32#3NwN2;R~N2*d%v?a}o82#IJ({b59vQ25{R$p4}@{qH1)6 zII-PrUTn-lZ{#JEbsPZo2~N)_hFle+driv9uFo$OLvL2)UPD(5rf-=m*Ak*wMMr0) zA=4P9-+lQa=ZHqi;NtW4O&!wP;Tcgk7$&|-Jn9HdBCvb6#RpbHSyE~jkZKxVHCw@P zfEW{X+4j4NEgtkJkEZLwwB!n}vI`ub2F&U=QW@NBC-%A7al@GS(Zmvf@8!UPLL|2* zk?#PfsjO8*F_{PMUDZnogfLC(~Khu!`K-| zX4$|d71sF8#VfZ>O;D&_GE?uY!HN4^DhDeIi%g?$HZWPHy1WpazM8_VeK2D|!fr^@ z|FL+$Hl=t1KUSg0h`ZM9E}!{_#q*rT4@XDMfC)^ii83_9&9>N+zO-gvY+VD`huJ}T0Qi|S|S(rXl zyfquJP*u<2kLT=%Q{lwl?WSt49nxzT`4S1ONL_>zw;xSi8{XB`w<_V*kGcBFwCv8) zCS)>8;dWg7@1J#z=j=G9V#~hUjZ=;QhNRio3lt`n)SRH$rl;Ex)*c+3{Cea$im#e@ z^sm*-BjFT%SPa0RT^RP^WBFpuMZEg$^yv6C-ln8|VYqDX`v=bPzM;MN@)Y$8et0&$ zAl&`Koc`O(e30-*tBT^*K-X+Gb%A>&juV|Yx-ILD%s2Pc6Loy{(D7 z#l685+Vc8!AwDF#U%eR{fze*rOELD~@!@<+i#e1N_OmoIjv|r}r%m1jDRF|2Nti!1 zKa=~RZ`qrnDwk>QzTBc(91ks>;VmxPMgQE;2`cx%w<+(I-a4(f+Vxk<&`PavH9)bd z6s$A&b6-8N%#mK)QdCXZ;K3Ze2}+b&1Qw_tE?|(8FQSb8yP)>>MaDm;oqy^dq_I@3};#y(hl*L9c`5K<9%M|$Y?3yRk-SYrK>`L z&YE~hnY%3ViZ}M52n$NkkQldk*GjNim`Whn1gq%XR(9Ot#lnlXB#V3PVQ+lv4i`|z z*4=qw19zX_IWuTJ6c`S1cpS{GYla$v1Q@mk%|L>2v7s8}10eFqPj!N-bY;jGx& zfMT3D0@_zLL)-k?8a5MNC^z)XG*%=zsj1Cri>JVzPxfCt^wi@t_mIWBin~G!R>$(Z z`LUCklyb}sHvCfkUMvU$)XT@YbJ@36RQBfUEg)q>4C;l(tCYqi9a-HTjn7A@4-AHg zk-9BQMuus*h7A?55(e&jq=#rp(XADHgZhZ1ukQ|UnJoTEL-g{T1I#bZ z;6D-ScZt{2ITJsmb$?Gb_V{UKx*PT9D<1T_7AXCPQz$xxdj`k(j#;B!c!zWyWPdiulUGaDQq=|wIa2rNn*ZYn?$4t z+2F3&dEpnQxQyJeX4JhyT#5vBdn0cmE8*{#k1~T^o``E%1L=DrDE?x2T)sjfHF_#? zTTbrax+l4Wv053PZ}7^vk6`grH9RV%$kRpc0InJ>I+ml2o?g>al>0Dm{pU@(e3VgD zHW7D`kY0(+n$y4_p;BTlYnr#+i463a1~t1Z1mc`hW4iIT>VomT9uAfa=jqhtO*G}V zB(Y$N0>J4maL$5k1@@GY45<>G-6;U2VC!@yXPRIK#&0|dm3D$pn}u4IHa7G@&B2ds z*7p$ghaN3pO!gz4^}UP0Z+o=3K!0SjzUzE{>>ES(Bg6JxG5kZ{7`cCsY3k?eBr2|1 ze0l{IyjTznd4xq<=4Vg4JB3O&9mF}xCt4kEtoCYzLw zk-o5@Kl0P%%xSzme7JLUb=PWKsdb#)d}^sP|Bc%)tH(pk#j9;eIHb|(BRyST4^9e- zQo0{L$#dM#0UClGM{;%ZReQt)O7he9_R*+S8&{}K*^3ihh8*?buIGjU*!D?7uljCBbCjK(NyxiQY!$J*`;Kdo=w2G1 zoAwC&zlhx}>4YxxOmq}ndr6N>PShJJPu^oUh*U@&(M708^d+JqKABI|kb>se^lu3;Y>>sFt0LFf8=%fNq|p-AGZcs9X?T@0ScM9OcZb1rp+^iJmu>+p3y%NZUuHOQC8Db%TGZD!-OR)Oa zAM9obCbf=#?Fuyj)&b*y?F>OGcyslC;Bd0&Fxk2IdceZo_>0uz7}b-rxddLY95Foj z)1v7WDCIUw629TtT&rI(jxfjL-I})%H9QYXwDli8Z%o1!aT7aS(*|k3%pz-*sa3C$ zSBF#&I(64#Q&R0NCSOjvU-cbH4*lL7_l3zkY1CO4TkB0L?#BIz(e+cWEtgf)!j>m3 z4}~W&zBVRcrJNbfhsGcPx*D?HqaNOEsF_i5>6_5X^IdmyMk+5`;q_k*Ci-&z!*H8y z^=uf?S}smrWjy=W<2=@UwDZ1@Hex#n*S!TXqL1n4y1TSl4!wG?=sueJ<$`yQH-dc| z^#dXAwgs{x)ft#@679q( z0~1c&?MdNa!b!RjA0Lx(H;bfk<_X;{{zp%y!D(t=$P-g(_VA=SlozttB5u@28|sTN z%dBxRK}xPBBcghDsui~sq3Tzk)G+tsESSTkg1Z%epUTot!q4)D9aK{2G=b#Lb$$M_(q6t(M#9LqXA^2&{52@szn-Bc% z?_2_yp5-3$*<8yT+tl?~+L#o{_@(Km2?{%mP2DPOGnK**<;00sGIJfkiijWT#eE21 z>ahZ8XEP*Ll)10A!@4StxB7+j_m{~RSQ#~iPMjP_q}F;Y)7M1oLhOc54HGR*P=wt= zhe-kzAL525;m#r@KGOQv_EG(r*Zi0KU4DiDkYOqh&J?P4r=uV-dS3^gMxX}kiN<+Q zJ*R$CM!oW3xdQBF-MX@?^70AIo_Ag1C?#|hK6LSM<=Lr%pl#{NvomTFXP2Yghd(9S zbESTxxMdB<$gvb*Z5hw`WcIKil2K3#>xz@ef+NK`3-SdCUfNR5M{Am)sIP(o{kW;U zWiF2En6m?rK^x=Tc{31ayqOymy<+MdekADe_S*zTSosE=CNG1u~ zk+T$$+i)WSR&|`i32b`Nf>^8LFA|a>#iJ(4ZV(6Dprk-~;W(sBfa*?T)eI1;tLjUO zehu%U4#7EbdhzhC0MhvAszcrEG2?LBZ$=K@M37_st+eHLrH+?XTmL{x{J+CK2MB-^ zq?8R|t_Z+U@`73Sm&yFR>Th9V@SeW=K5U|)GegB1uQkT=Ww~$KJ=-uz)`G<0N-)rC zKi9~e8l5t1i@C+|Ksgf4abaUti_8^8+O8goY`QC*j2XdK7az+XaqwMx z6P^_3)eRyc7TwACqQJRlg>S zE`WbabNCppS3JyI+G)^UGCip8|MasUQn4V-1bJq+2$Es^9l$XGy*zq;Lv6oUk*!ON zT~=u8$daElKqc{+nJX$X@_D%s{b4s7Hhe%UtW|<>s0hbVAdRTm>V6*3%26;E>a`hR zVxMH=ntLCVAA~9Uib-a4rQ@`39?GBJKK}O2vBSjdm2OUdKmL6_UzD4SxvH_%v}t0| z+%2cYv%Bphlvh7JO?zIP`P>PP07OeD_7fgENuh`>SA)ujy}_EY;=CdJ_fSZMe!}$| zuHGCA&9Bf>z1{U$3t34qYs}TS51ve9-O1UeYBW}OqMFVWxo!&TdWpu|6v(3BX}Pzu z7KPafn1LJDt7U_L=H2*xD?{>vicq#!5sf~jL`7YV1uI|e43v4kczr@I$xQxRqzB&f z9}9Cqk^(H;XXvfnS^(?8Ab(F0^Ly6ecZT*)vKIgB=fOrbKly|Iw1@b~?*CHd@!OXj zjOPBJ2>QR%HnG}y+0qOT=XpsVS6khM&EuO;i<8Jr^N9*#)doKm2tJy{Pm${P|EAy% xBh~MnY5p)${odH-52NSr-D-a5aQbuf{O>Wf{Kwbn3E>ZQX8*aKjZnnc{{eqj_CEjs literal 0 HcmV?d00001 diff --git a/fmmd_concept/paper.tex b/fmmd_concept/paper.tex index 16d45e9..8438dc0 100644 --- a/fmmd_concept/paper.tex +++ b/fmmd_concept/paper.tex @@ -3,6 +3,7 @@ \usepackage{graphicx} \usepackage{fancyhdr} \usepackage{tikz} +\usetikzlibrary{shapes,snakes} \usepackage{amsfonts,amsmath,amsthm} \input{../style} \usepackage{ifthen} diff --git a/standards/paper.log b/standards/paper.log index 6c5602f..cf5f5c8 100644 --- a/standards/paper.log +++ b/standards/paper.log @@ -1,4 +1,4 @@ -This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian) (format=pdflatex 2010.10.4) 12 OCT 2010 16:40 +This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian) (format=pdflatex 2010.10.4) 3 DEC 2010 14:43 entering extended mode restricted \write18 enabled. %&-line parsing enabled. @@ -413,10 +413,10 @@ File: ./prod_life.jpg Graphic file (type jpg) No file paper.bbl. [2] (./paper.aux) ) Here is how much of TeX's memory you used: - 8189 strings out of 495052 - 137972 string characters out of 1182271 - 187902 words of memory out of 3000000 - 11197 multiletter control sequences out of 15000+50000 + 8191 strings out of 495052 + 137977 string characters out of 1182271 + 187933 words of memory out of 3000000 + 11199 multiletter control sequences out of 15000+50000 10456 words of font info for 39 fonts, out of 3000000 for 9000 28 hyphenation exceptions out of 8191 47i,11n,49p,350b,242s stack positions out of 5000i,500n,10000p,200000b,50000s @@ -427,7 +427,7 @@ f-texlive/fonts/type1/public/amsfonts/cm/cmr12.pfb> -Output written on paper.pdf (2 pages, 127654 bytes). +Output written on paper.pdf (2 pages, 128175 bytes). PDF statistics: 41 PDF objects out of 1000 (max. 8388607) 0 named destinations out of 1000 (max. 500000) diff --git a/standards/paper.pdf b/standards/paper.pdf index 6e8dadadee1a0d244e50521bc5a09bb636286b49..76fac92df99a684b9c6af9752ab96204ff357c30 100644 GIT binary patch delta 33760 zcmV(#K;*xsrxPgf0%X`lipoXP@$r!y3>qj1jh!jXb(M zAy2Lc|D}RZkWTQMUK7H7ml5Xc^FQ73W)(z^plKYN`|${JNE|PSsE8wEpFa(ws+;jw z=fjKh9*Yy2gaS4Zjah;W)xOn#w~qul)h9?X#T3Eb$e~f~6Z$M>+)LaXeaUaeekS^8!lcL%wFy4t{v*J?K=w{_wWMsh=%;$4kJR_4qe$<^*S*@q~!)Y z(3=-$0Tn!e)rV50c%!0MzzGFS$^0l4RGYdU)Pt=1qeTB;37ht-&%(xkIxoeLlCOT` zk9(7tpW2HvpVa4Z-z#+PYm1fNEum^<*VrI0tw{sUY+5BD>1I5<0xPpb%HkBNPQUVo zqWFTuVId8|*oe>LAx(WF_jV=WX?0Gsd zJYJlIO%jp2b}MnWcx?`U@=9D;HDj>x9R?|;GzhrEQ=c-yo#r_EcjnVD;Y=9F<=%XZ zp*^(`ayB_{@*{JW{p=I`O);hb-W0*R2w^&3I4S6w$ENRjOd}CGJQkE|sq5>l+TGba za1apoyRN^zDD<4YXb?^p1q@!)Y;E1(^P)eVuxsI|$S6A(YCIx;>O*fTzIjD+emVg= zIG)`oBBnLKi){d#^;tdZud+QHYORp>`V|VC(l|7Ailza!(Gm@|Qgv71K|Mx%kY!fH zEb;~V%j^?w#vZ?}AG5`!Cm_pgo!=Iwe?SvPAy!ja!BcSsG8EMV`l@VQ<;5);x;?V{ z1tK0xo!Z0l^P;+c;Y>!3-XSZpFS;f^ znd^mJlWNCZzRD1>_-k>Op)j>;=oSPE=Z= zl@_DYz}s5TD2K7_c4+ilTss&qW^+Dnw&3v|mJ+9MqyvpTRn{>}x z_z5~I9ru?{VVlDQdC}?DW23D-*8BzqF`R9~spodU9KidcfxWW5gkI2dd&1A=nnvK~ zZfBd=yXr6&hr1Wz5C$^xeUzALW`p%YqYbCI;(_w@9%+C*eaBJ#=mxc1&3i=5ZDOX8nh63@Dn?L7$qu?#>t zf^C?X)uBK=+2+2RYo+(j6w@YDqhRO+pN}wP)L@)H zf;P^?MZxpTar(AS0!BB}#73MWre73@xN6Jmr!)H%Bdxl#9ZI$CQd%G=Ez>^Y@9xQ| zd|lC_fsK0#wK8SXLZ6e+8BzaKPGZp1po5JZ$;&y;mn{E{#Fbq7Dj^~|BqVzc$3w^d zV|mO~rFPb6Tcu#PyL#~sZRZgil{~a;!lBpjjM+Akg3a;NruUQJFX9(Ys-B3mG<<>! zv%-f#UJ*Ds3NK7$ZfA68G9WQIG&MPs@x>GcGB7wWG?RXLCx49h15_n?`vwf>$xX(D zoo(B;?RK_pP4-N--PGhJ+qOB`uD5d@%z6Ibx7Pcv)~bEozHa>Xij+`6nO4xm&Il-G zXX{MMNXNhh5SCS9WB@QQFw-$GFu{_Ns#rK%1OF|CB~=4DI$7A+a{a?V*b!*x{2>!D zbpEiDwX+3Cxqny#7?}Z#Y+Q`&Tnr2VCI$x1{}|diasfmPT`f!ivUC6`J6oU=EUB=a zy@#WPnYr^vn*V$RP#9AJ7&$rFY5sNx2-*N0EsPCq0kVe9=0KZ|jK+r60A)L43!t;d z|Ae66F?V*h=c1=~b919Jv~i-db2Q_lqye~DIGY2MfPYRvM^~T;;4i`eIYS%ZznIa% zk^)rBEu8)(SGF^Cb~AJY0zL%R7REqZrwbqr)yE6^I(AMNHLqlsP zyAOXuSARnbYeSHiAz(PdFv6Ja|W z8=$ST6YO90iC8!SjX&D%LI1DGTG`sU*?RpOm|EDHnEpk=#KoRo)z-qn1t=->rsK&>6tWz`(%H$qWEG0D$hs=JbDsSMjh1{(r4x{7d}7z{ktp&K_X;K?3MwVG8{C z1MB5v=n4clJGuaUy#A^9Uj)m@2r#iQb_N&$%`9wT|3v=~15N*hKZfsU;SSJd_}D#0 z0K;ED|NW%hh%>SM*y@s;5yrw+$zZm~lCnRL&4)CI7VF1uFu`&P{|5`Hk zkADw7{~PAN4fqfFzoiO>7XL2p9}y*OP3-`j|Kjk`y#MfU{r6f>{QG1m0sosp&hBHE zfdGm>tFObr%3%EQi}C;S0sQUq|8MXAit_)q`v12eF&As=ztt3f>;He$hBg+~9{)D@ zSY;RIkF$`q`#28U|7)ra{MRYV0!=JjY=8c*R?^w<<2(dy&8+|1Mhhn~3wNN2f`zlO z`M-APKU4S!Z*5@$+)!!=M$36XTN>N*5JCnZ- zkBOBHVCd**=mGmN`VYhk@M8S9P!pj0->VIvr?a(l{%`?&(DMP9+Bw4hHBmNJ0DryU zU!s2@HUPcQAH)uz7yg4d0Q4e%5GR0M^uLIm0YESI2QdQZ#s45C0KLQ?#0;R9{DVI7 z$^1bd`DFi~k9=}}&__P`|00f$d{ppRPA z{-BRq)c>H5?3({YoF6*FKj@=Qqkli>!_xS_i1kBfY-jy3-2X^eSpJgO*!=PTYwGkS z|9~HCfPW%gBm{}lYuBy$gYbD-@%EIwow|9~GXt^WZ(TJVqBK3*vLKfbIVy|ew;?0_6TTyMMHi@q>lqKj25nPJgQSP&$3Q zy8jLEQI(Ump_BPP96ntoe{X$ti8Q&>x) zV(YW_i+;S))Ltv>;v`1@M8UD(k3KvYTv`=@eeYKXZ?ym`@Mh3oQh%g54lW#s3VEmx zZoT5}Kl;j6MnmWK6!)vyq~Tu5rfH*9qjUm_XGwF7GUu>}pqy#(ps7$U+>vH)?`BZ4 zC*BF9;;CVMPNJC$y|gx&Vjkx_*D6$)oI0^du(h!8z;97Tr^vj74pXEs7raUeSNj*; zn|TTevJq&$te;|0<%gvTrJQs@bX zal3$lL5l;j2Xqwoj5WvmGRCK};XU`6*kb3HId#HT7ku7oy?u}JDFyiYr0okcHhG-Z+^q~wK5vVGD= zJYn8Tx{D%(J=it=0vKO!8~vH;+T|Z8K;Sbzuf>pN?0>I-6YIARHL6{{;Rt>ijo(N)_c&nUr>ekV2 zc|yv0b$>cFK}j}5_`_9y!%XhKuq9_tyNl;4+76U|NsGYVwWubYPs$=(n1YpI0>P}+ z&PqeR*(vm+B#bf*(FlY#K17a$2HD}6BS#yoi%q#yLRDZE%_R(`<*G#{N8Ws!6hxFl zs-}Zn>a7!&8V8YbE(0O!@nVOHW2=QF4p5uynSbm&o|~7L`;vGaNnbjQD7IkcMkL0X z6zg`W98Th0{T^Va$TNO0{tXUp%E0$0PbNMiL#a1(>N`*CkdQR|0 z<&i&hLqknXI{y&10sl37$}t9<{%8)Qc5=rxhr0p~3*#K#HLvr;g9OMj5&}0{YIBp1 zqkpsu;}P?7nyN4eq(vG=y@YdR-PDZFod*{F{F|>aKB>-z!@0jsOUpisJc}!#cDnw( zWJ_Mn`H$)s^!|P0NF0U@yz(nqsYlstO@@lmSXVE$4XmVjorfL(m}9oXP#O_4Ht#)n zQl`qZrZnBEG}iAS$}SpA@nLB%!*F3OA%F3#c36Boj};2U2x;=r9wvE)8MSX!Y?2Bj zB-YPIPZdqHiI|((omj`Sz_FpohXEXDZ0XSjGA2^9B%^B2uzRUd>{J>TJ73ufrd}-1 zb(e(HoUmCosP+qgha3)sGA7eiJ74UMeRmnv=%WUO zcm-;2o=yoF61p^V?K~ezP9G=l2mDEUD}PN5p}TFZZ!ziGmGx`@s`Ov^CCx{WTn=-E zY|g}>Fu58S5uq1TOrT2#J=pF8JAaqg0eE5vCBaxSwyermZe*pj$1^q6S>m1#C7i#p zcn8T7b}2?*+azDi<(}&2y>{hM0Epii!DU>H=WNg+EgFhC$p(pJPk!6<3N)(Eg;rt} zRNAZ>kuofOhopKkNIU-2o13_iNN;-ElWE;fsvydg%Z0BdNU1C&L%+{chJSI!idrU| zC78c)pJ~lqzBw8*Y3%g2%4x;X9juc}}ff`@Nxa76G(?JmYaLeI|(5B|*|pW)FPg z)E#3aS=oh2@jk8BHEnR4ihuVO&xt58KPVU!>$1mkqHZa^Dj>w7noz8|5U$UG8f6^B zs`B891vX9YdBA${xe^LS6GmZst61~^cv-tbCf#AX48)Yb`vXJ~mcI75hFUl>=D_uh zVoo)Jio*M?Yf#Q3EO3}6!TxO-C& zM16U3FNmx&k0C%B@P>_^MsERQu{7-hW0Zx{Eey*s(CaBEQ8<^)3<~Q(ccq=<-n_l$ z%qZwmS(XWJFE~M`&62OY$YkV}L~RUkE-g5d1L9zrVK`VidK!S9wwrr;AZQuHm8U;+;3eR`BUHv!do|@PMt9tta7-}UAs`9 z?JN;JUGs5Y(D-={)lZSa+O<}1pL)00S3>6~#DDpf1l_htQ@B!?@u}Cj%tV0r zzJvp0(n>CDHd49wtEH61P9$7S_LF1e(_lR>AM+kvD;0s$z~AovVD zJoU8@GA0%`lu~O?xP6jYCiQdFI=8iu{u6mlqxbwhBKe|h)ZsDp9x5>u-8K3m1CO#O z#afu~p(Gu}32rl^=2~((JL-(9}w)^C#Ml zh3PMYnzwzZrGs`$f$#g{K?XaWPO;(Y%xEx2TI5>7dRzB#9{Ux&}T_ zEk%KGB*~>sXVU!L_mqrI?Gj4%Ub2pt9P@G8O!!*tBTe$z6~peIDm|Cv8jgOm8>#fR z`hT{`;8HTV7;w-ODFU!{2RS2?X|RhGb)i=b z3siGKoBO<8!ckne&t*1NTlVu<5^os4llY-J+6ca%IVGcY_g`PxYHfg1rMB{x-VZz7 zUf89h83}mBd(6W@6AB9xM0#NwL({4IX@C7ZImh2;z_f+iG_nsdb5i(jLP9&Gb5}h+ zn@%RfWB&^Rr3uLz72dnqH@%+Y@QH4yH{~a_>G*)BM~Q0?!IplVkZ09!Sa#?Q6Tj4)#2S1DW zX-08V>W;2RgXqksUA4_ImMHGj*MAhiMW95&smq2&7XD=8QAKIdfF0pFbY$6mr(O~% z)2k$;ho>ZDX#MNh{fBaSzy>4&VCp(Qlq;*id*yAI<$q8Jiqlulbg1*BL^p z)>7a%ntS<=AW;ei@nP=q7Ju{=MF+5$(t#u^74qhbtk2w8JaG60%215=0OISJ z7G!h8QEkOg8S^qt+Py$uWyd!ULso#Sf~I)s+$1+XCqy)^E=1`RrX~nRWQYK(f5O_v z6a^0KLqNAy7V)fCu$x^BMZ$@%K)+zG31Rm;}B++-=$ z#5@PfX*E~CI7-v0T`|vegT{eI{=6MYV-Nvl39=NPcgVJcGYFuoEeHo{K&DtAuFj5H zZ5ealwPB?op@&D?4%g)jHCmQ2VZQqXWJ;jXgzVe=*DZQeAAjbJl=S0~qJbSE@zNCJ z$^&v!S*NK_vjiIIs;@pTcMXkAn!OFtdT{=;3#67~1B4PC=aKRf@6bbIF$DULKO?yh z!|KMb{NlHznp|@c>jHFFiD5~WK9wP@kPDmh2e78{1S?~`;oPG!_%D7%WWMYI<3&7%+QVgSp~W8MKf~TIam_ zZPpU*)xYH4&M0&bpLiwZL5Ws>Kj$5{H$2pX3s^KimbU^o$ZR}I-?4vqg0JLo@mM8s zyh>TSPIiGc^)Ytnp=Ry!@Fjd*)1AwF`ts0uf~ZPU34hw*oI|;9!6k8((;*+yyFyW= z50no$!V^>LcypM9!r-fLIo#}}73T`yy6p7~$_h!B(9$7|RXufG>;%C_nDpGy!`d7X ziuNG&ms8np`pL|TRi$yf$=_y!CYA7jK|8}7e2-_bvmha`8W&(X5%g-+q(pa|e*5Z5 z?mu8dhkrsoro7WF(mJ|i?eRi@#h!?f2d{ZMFZ`pj&*rE>?`O5R3#-0(`lpA6CB~v> zBxm}lS-7{&=+W&9*iDwNwTzXv;rh=ad_MM2)cdAoW}N0EcuysLpt=I*vX2IfdehC~ z(s$gf>Y0Khh&?vWC49g0JTFkd6IJIYsUEZOU53o3;6R?AkdsU=M z4K+x1-OPp(f651GZ-coHl&t^FEuD&uc)9ck^?(|P$ym4H6~syMt=B4=b8 zLcP+~u^yadM+6hSRICcq<~en3_SuiuWQml25488@m=-w+86%5Fd<=*o$rLQzu-Dm!Zt1o ztfizT$X|(9u&QLfy|auLpB?b0gG`X$o!s|4`iWthsENzW(@-B^IH6aF zzZGoi(KnSk)b~IP-GQ1%^&wR}K5F4tcm|78yirqiy9N@g(>&+&Dm(+t(d zN4b5T-PNG$Z=LxF&T7~3S^FS&QjGgEjT~7CIjTizgifuTVwdEV#O&D3Bta*?3fHN? zqS!g+f!sUXCuNPUHHKQA3d&aVP4#)GfOZzsW-*aQ^Vk)-#UCnQlz)24kW;kyA+~Nl zuQYJsT5?UI=##>rH`VuWnsCudkiZ7d?%BHw=C)}a*q@8er*ChXTdW4Lm}0*A>F!<8 zLEx%c-jU=Q2@L~b!Qui)s`H=OB;j-jQiBgx@AzK0hSc<*!G`$eia4nx8GJBi8gz)f z7SW;4nN^oP`!9!Fc7Me(Ouy}~d) zS;q2zc|`Jt8gcHhWSr_x7d&u$i$JgHoT_@m9+h(KrjaJ_28Fq*51B|-TaSy&fc^fG zt{7aey}Hh$+NHsT3lX@y!f#A{N4i-Hb1K)mDx}QH8Tt^^^#e4zEQ_dTzBl8C*`dl& z+uE+4QK@<#G=J0zMI99hAj%D@;^B}IJt8V`CqxfTj?l5PN7J*Ar!bTZ)A1X(poygL z7X$k603TRdO8_XFr_PA=71HQyM20jA4%JwIG%fbRntGw~o=g^;l(dT@?&a+YUe)E<%IHk`w<>W22oDy%9SZ8_VIi?yM5 z-t3y#Jv^HCi7a}63O7nHE81@F!H)Xx(u^XSYhwtLA;A3X%LcK?_I`W21|HQr@v@5J z2=`VvaW_+&z~C{44c=e^p0y+MrHx zhvxNN8k?J?KDR9ivD%%AcgZ(1gQH$GsnYyR^!FO-FHloM@TjXH?sJ3^ zn~P)B4u2ds)nng5{0xu><*O-1eZKgH{H&Z=?)!)>~SrfE_pPKUGDj(@fwVreHbdPB908FX{R8No0&x7c4cL4SYR*fZ5R zbZUFkg>inLPsbpdj_bwa2P=+nF@Fl-gr8T!6_h-N2=HNwOfEmesFmEyS?acX3g*VY zE*ln9qbNVKKIz>l2czvE#nJ=Bf6eNor5XvSDOfaIhDn_mh<#IWGhqop--&%U*5X%h zHtrgRA^jc5gs2xj$@rTIa)wa&6;mWgpKukWg)l7m*-fv+CBTU3tH&5$-G61u-4b*9 z_(-J8b?OuD%q@XQ#7jf1YzK6#DC?{>s@|I_N3_ggaOpfR~X%{V8`P3*r~53{almen0MBi zbazhsW{6DZ8{(@MOP{-b##|p=p!M~ht0~PewI{6PRfm6tLe`XZYLMi_!wa1@l_Mckb@fj&M)L8&=)JBN;CjCvNw+SFu||LVx&mh~x;qmX_EN z)vJ(_cAt(qJldo4Zth(WAs82@aH+B>EN?a4XVu)8{PTW zr0moeso$+`o>(T~40vu#py{Dqcpm8<*W5K3Kivq7z24`d<)hj_u+#C$w0S$x!O{f3 z?mqh7F>~o4siIXCjDG^V)la0Xkyr#rPg8DtT5PT7%1|RQqKE^8l55&>v*Vq7{mvB{ z3=(tPF(_epCMg*csSn&Oj&0=S#mMrZ#0zl7LF_s}Qy^w-&3RB9#8|Jh{B2cuoS?rB z#@7s7cjonz{0fA_QxIMB^Wbf0V&FTFz~)cC@X?!jxW^aZZhyi*J&!Iy>!S8`!mI<=TF_+_nSzi6&+&?bENG|4?7 zIt`q8jvL>j9k-*6Mq-vnbD|H&CCuDYLB&z&RHw9%mLbY?2Q) z4g!93${ClES~`YYtHXP+RE{D!Ks#ncu=TSQuz&Lnmv2Nm+eo#qU3`hu36JiTZ&8a1 zznk-Pi}SKm1Mk%qUk`X)NkefpWo>JhoaIQbfOtGFmNa%0$WuYCi%v5X5gRws!@vJ* z!JbEj{2geSKqp69%(|RifkU=(;TdQ7P%5ke`KmK+;+Goo$}|aGPDRqytK=#SQ4Qm0IUPd(b^Dk-WpVmh89WlhZ ziJDfp2%&GQ&~(<#8rb-a+$wOt?fGmEoqtXs%nlW-x4|*qJ)IlAeJ3_m>dmJ7y6AM- z$OzkzRHJKI90OCj)znFRe_+TUHf>i~o@b@PJTrjN%5t?wzr-}&2K_CvE2^BfDT^ZY zspx9RfwF!0#{hmvDrwB3VB+srpPB25mu;?~m*C9)%nX1YT+!}x?S&|JUY9)3-Q>SWAGkYt$AwH(d)I5bm) z#T5l_*Esnk_^jodjCGNl34aqkCV$%~x(xe6-NKzSCjioB6@r{w1UzO_4QYR}rn%7X zmFg-RGToLWf7?@XJnAU%oq!c^gTOYJ$G5c!W7ev-8tIC`ny1y2akzfon1Kg46%u+>4TqoT7SRZAl>+z zRG7`k>Z!+X;yFrRCka#cISV;&Vi3=1iwsP^@rSdZ^w(Co0?=>9+`Y!}VS5ZNw9jZ- zC2`czhQP8Ig2ZJsHFyl+G0!kEw1%W9F$xFe0!TCuG}eKlh+=w%9SZ2(m&n18r_Hn^ zG5Wk#cP(*qZ_$$P%m};SVt+Yp20sVAA*+j5POB*tVJnG(MbAu=osgmlTBt#ap@W;= zz7q~)I7v0ZpTYUNY2;vWY!Wa&UzttIr%p=^&GpCJRp*&bCTcNRFxehHVh9<))M2ST&gl_UkV1~w9wrYwc*DwUrm z+?oc?Z?bN_h<{)yb;`C3glzdi>IH;?6=qP=eji>6GbR&=c<~Uyj08N%zX!~wv zViA0SoWAL^Eo9qGtc}X*x?R2)kLPHdj_GOIqfd()T98C+_AdM@MeYcn=wOg(Jd+p0 z&R$BJi*oq<*LN-!tFtH}fAo}M5SYI(M2tbB&2Pay4}azI5}a$I&hZj!B{p`8vs|o{ zQ3Z5|o>~YMg-3p2N4X%u|J?(%f=iY>zx*xBS@v z2$NhS2Y=#1LzULj;1ZW@9DWn(dvZs}B}rHKiMCE$Kbe}j-ZWbcz(ux;SQk+Z9&7{I z?!e*5tT#V~gB++OELQz}Oy78nWHeYO3K0>E(c69(szGt&$GhtN<<#IUd^c{r5p-P7 z)g;^CwM(E!XnuCkXT(0HXU?CjEPw~>r@T2 zJAdDKTkFSOUwNAS5bz~W&F?9L*OHU%bR1{?RN7D`EE!PFhz!M{Gp2Z$n!-qO<0jiL zg@?TBmue8^9N}yJ8Oh(AnfFteK>Kpc8tgv0$Y`!SC$T#&U;?-y2DKJ>h4mJT0@vld^A&NyHW{0* z=F##QPHhKUrk74;`5!5f9#8O?yZOVIRs#v9b+*dKc%;QFz0=c=kd^f$2X5#~3`+G`QFYR_u5#X>Icpc}adX)&Fa?c9E~BE8`k zzWQ8YxuypgW=)|UHq6X9ijOO?9iuj0f+1i*>iz6DpIjInsCO*rrW~5Fq4UGul2k)U z=EV8t`JQs)$(7c)5!sbC3c`3HbAMG?c51xQuxjzVA;m$UVI-^>VhGD~)lIZE5;En* zLR-DrTNJlp>_-7ab6;ik8^tAIPMDe~p^OJ{ zu^7$JNCL8Mh;x?j>VYJJ+JDpwl#1qR4{d$u^pTC*JAXTvq|Pybe5rH4 z2>bXQD(J?xWxL4tJhtvrMNL@)_?p(jh_z2XQ0RowP8WUc^r*g>^DQ##KEmN~$<9 zq9j+{k`ye%wxP8MSbulEXAXN%GNdGJ+6afn)8%=njN zt3PoE1bx*J!?c?_jPqJ(%T%oCb}GXVnzWA+929H)qX5 zS(;ZCi;IqIW&1TM4ka1cQx$ttIIYzvZW9gbDtF3F$wO4kGk>2j2p^wv`{p`V z_H38BO-|D@9ls@jZQ)2m5w@T*Nvwrxw_)k140EGE;MTpHxd4nHDGOYA#LnH_m`l1< z&xhl85XM~O`FN|KQ|*bzQP5J{+ZDkMitu&eOK^l{L49lP8%hIe#hxG9f6qjuW;&GH;S2ZVhio zm8Td5AD=LCrsW|xO*@=YDcU^J<$_(-(U3cJ`b`WIX^qR3bFRaQqa?-o$C;FI;- zk*1ayP$($Y zh(4=VWZE8(rCA}O$R9z%xPu`%<4>`S$wp z2sG%~)29L|hv9VIF`qcuo^{h8zwn|otVTicQh%P~Dx#MusVCQ(*w+l&q^=anr!B5) zh93h8gxYB$6bI=%@uZA^uOw@T&q1f+C%gjWaYqT0dBqdlc0XP>Qis?W&vQXwp@;f} z=#70+BDELlIs1sB)L24RW8pcT=aZlekJb}psHq)bsw>Y}s}_-O@s_g}#7d8aM_bd| z8GlEbRvOm&M?*S35@fc3_k)NlASr(XnaOsqIy1KlzsYH%C$1A=TsHN`X*w(YDDoox z7CC^nsxkH$7ZMw?1EV4r1CQT`V+5|kWr(ILsz2B#l@ zX3=$HeAt%v>}`?In6c>ptL3}?fn^Gs#(ximnQPTar8-!=3~6c(vL@8*5#O&|KhtFA zzQQ{im25lSK_iWUGJY*E?z9XERQ%l#s1DXrk3TzF8>pWoUozSxPnom_b4TAo=%~az z4W3G|aM64}P5ngibwe+pk!nyYE1;xVe;uRfc!mq+g%By@NuI#=EhX zDR90h;0dq8h}ur6Tt8rZsZ*#7DSwSGg~w<_3L81l2;(7W>-}`B7k?^P((*u8K&@wC z-{TL=R^Swkcewp(1_l4+W{YZOYXz3reY~>j=2fOCFyxwXld1r8XOnXyJ8DkVzda@* z8s#*lr0R8UN0x?Cgiw|3lAGoOm1{XE2N5PbX&x~W8gIv0KV1ES5ESXB3 zrS1;nYq2!c)1sdO!Gl~*@Tn&Luis}T7~EbxUFQh#sDVK!{9Nk-HYNP~kGOMzW*$@--mQ7F>JV`Xnl7FJLi zkn#uvrWjO|ZCX@$QI}y?3Epq4jT-a;WzWa%<^#!oeD6&6d!WmCtR{yQEyAOM3 z@<(*oDdV_KJV5QsEA zTiSa&YoYH6ZV&8n?P`lYyJk}@NSz*l*uZR^QT~pK6*U%llFR%athQrH*0HKm_w%s; zw2oN_Teq~x?TWXgV1LBvreas|dAS*bB{qOdLs6^P;S*A!D~Hkq`Uv+@IY_;b61hSK zWKi4@+q#bF*N(}bpJ%B?s|Ofz*OVws>4uQ|S6I)WE*V^-x>rgDe;FW?jHC7(2ZW&A z`PLZ5DVqSI=pRkf(jLBE)j_}U6&k;GLahNsaFPi#?)xgb1(f>m$`bS*t-M>dj+O9u!xz zV-ijXC>KiIy^oHMcgbgp@$BU4bL=u-0W;&0dHKqM-xqqQ6M>VvKuVzmdoxB9`t6z6 z1X+KS1`Z;o?|%u5t`7Ol(F(zb4kM`*^pR}BjAoC{U~ypp$iwm|n*7mBi15<;s~QAWA&OXJ1{2Y-Xs^Ujh3u9^j-xM@F&HuJPI zyybNS$8~-!NnlWa)i)JqSDm5kjQNgH(XYj#xwe^Iy(?68aOb2-ZYP4(MgXf&C*bs@ zLKO^9b)@0tOgAj#LXUKJ8VN(B4NFF=sGzew#@WQ4KOX7eu}fGC+XTc^BnG(Tkb7H= z?3w($AAkDPGt8H8X34a*0w0!5K@VA8_PHn+diFuE{SwqBEtj7kX&tkHMgG}M!~21D z0DDF6+^E(4SId>0q~OYVr;!FkwEoddcbH6|I7rCd3gfZuzMJIwE26QyKv83|5wT>V z0_gMMaJaDE>Lb~uFud&Jwz=zu8he)9T);%Tl7G0Wd*am%tSV46>oZAUZR|abraSgn zvFjzt;bNF{c<3TTI34x!qf<%q!~*9pc5Cqif1IQ4=*00iNzsnii%3YNZI9l_CnN_k zWEZ%dyTioHJTsds>somFOb22Afntu9f+^~D%cS1sK7YZQ7ePQ4d>o^-@$`gPNr&;$ z>VM}#ADya7^5h?ZxmBaz`!MeiKoIk=Q@?a6yn?Q^pN!#X*NF|8V`?3Kv4%3bx?ETr z6l|cmRX8Rkp%+PTmjQ>w9HO%-xuH~69N?W~Nhvpph`8x?O61;KWp?=S?CL)wg;ObV zo9I+WA>0OJ(e^a|N*UKDV%JkfNGtY5>VGLuGF4Ap1Yyh|)!4Bd|J?^ykC|TL^Fahh zeowk%Db#Q>8EThc{o;HH6AY%}g(tYL-f_B{$xV+dfowMeIQ*^^>&xIfLhg@&axs2C zlz10}7^;K}vHmX8bOSl~E0y#`&s{@UGS4NgSMmZj1{EqBl6^fqu2-I#3Jy5E*MEDz zl{yA@)Jq7qXFXa4EPr8MJ1wgXoRH^pGqpfk-Lr_>rFJJ%FGgI!dFW0;n0y?aZSuxR zs@}$ATR+mp#B;eUR)r#>s7lo?8GcoZp&V@>!g)DOU{>lJ4a5(7=OhU`%>RrOnAnLo>J|En)1)BA7-RiNjMP)U?0x33q2vl|#pTlu8U+&|5@i_O-WWCVRJ*C>`Jo zS-ftf&OMLixDvA`&S7@knuZs8xfy)}aEvvYkFqA#6Vr<5`leWy#YQEJJmk%33w&mZUvx)7Lw_7s3O$W;)MxqR zCJ^G5K}GoX3{ewB_ZgpM*kC0ox>FAf`vY6c(DNxwS)Zf$5mqQH>Ejo zzCIXn&A2jYeao|EcC9snZ`Ggs*r*w1nFzaMy0WW0JnYeR*72Ts%0Rl6UQUsBs(gyYyR zF|Gc({%*YlAM$KwN#mGXQ^Yd44o?dVS5BKZw}?J3)yF!wif5@;AM z*}xjhW(AtA(r+!Eis66hupgrm^93w6b1Qnvb;41VLDmd zqv%M$Sf}3bo%`j~R{CyoFqi2jl50gBRb=6X<@*sULo0$3&*)$nh|E!;VEyfj;qsSs z(?IvZ%&=Wpoj}0DPQD-~Z0e*rR>Q8fr&p$gab}y=Yx~C9@ArQJXMoY;$6c!W)Uu1l z`++CC-ypyGF|ZE3)*z3BNs?y6(E3`EBkDzFr>X7$?4*A_`cPC*6=WLcrv# zx@#(6nZq?HS$Z=uKM?0TuI>zAR+XJ$wa86@Ohlty%I_91h0Z&Xk4boa6X(~LpKMgg zH14h%UoKDEa2bE>p)=)LT!%xH5o+7ApH<+bH;(&#L(+_IsuVtDg%Qc)l#syc*iJtY zs&gPuoW)}2AWwCz-f9<>0nr9oX}x&Z5;JKyV5AKWoi~nd?`q>`wwk0wmO(>#*vAQ= zoJx2)w=NWx&^VfJ+Mv3a#DZv9BiaiR`<)a=e$Kp$)PoR z{EgpDma}q)0_P>Z0jU9*%8${Okl*r3>0ZL53#)Qkh1%a922y~v6XB;_EG+3oz>dfk z{Vr|*0H@cAAa5YNV)?Z-bi#{qbGE=wd3T12sBc$L_xz1QCd_suiJNGk)#Qf{0ye zZ9`F}rsw{^H);-*S>h+d!3Y}-@U704(q$kb2pWHWuE_X7bf{C9^UhW#Hbt|{89R!m zIuoQcWS?WKy9?&!gAY$s!et@H<_0(034zJgNNovaT6=R(+(dgc37^QdeqT%7szS9Y zkZlDk$&pwwtTA(0-2~_T+lv3|Db#MnZ-ldVx58xO{%Y2?GPiK>VCL7kVKf`|3|(HA zy+?n$99&mQ)gCx1Ggg+Ft(n$o&KKM^TXt)*Eqnl_{j445XDT-rLrN-?G4U-j@-RL$ z#?pl81Vbz?q$9Mu8! zNiQ9*>T+H?!dLC5L8gpp4xfJlL+Yt5KDlcdmR&8mX0~9I%!k{nQQisd z=+mq>Fep>VHYOsuSUV;;%kFax78!-y-|l^LLXDydxB)ZLyztmkkpV2!^9fS}7s6ZZ z@)GuO-UwrsJ-GOg9XD|5MSUkgS48;zr8MXoLBfbrF8ym_uGvs+);tAzRWW#+XxV=* zi&yBcvRAlK-H0_HcW>JHkiReUg(zWlv3F}>b(ajC5oertr(rst4qJEj;WJP8Uc?74 zFrCyeI` zo6DqQ+{CO{8mw`X*8+25{yJU<0K0$M$QoHmw`npr>iBf5*#<5Y&o1z*yT4P}LDe!x z|LfN83b6^fGu*;EmACIjPM_arXzU+k2>nmyS2YZ7Na)0V#j6%aMyfML0Iy*$efV8?$MLApCB z12NcavBj#MrLCWHKc2UQgoC-_Yd*pgG~^wrK;~Qx;{XTyT~SCh98`J$-dbu;_3g&) zq2@%WYw0uZ*Un%Dqb;UzG6i|_iz3B(Qm0WxE1^RYHTxBJ1Ni*N^!aNhEyX9Lm<5mR z47U!-O3VtFAihVs8CB}%(-ePd#kbPir*HvG-Uq@?zSElW{%5jSR10k1~bxLiAFXQZvdnG24+1(3tKh}R9DV)7og^{*i zurhgD-IyyKJ1fMAAp$BQMeL~5Dt zL~VO)pZu=K7O>hm{#5~g=Hi*wFDLcs=E1`yb$|CXC5JR+uMM*})q*<|_gN(qazYIg zs!PbbrNiq-&x|z3xR`%^V!n9Jr;cWU(mm;XYc_Yw3b7;9ugn^_cQe&q@4FDy2!63` zjtA_VUJC9nfe^Q;Db*4QpLi+kee`;Y!Jr|n?3eq>&bmX!IJWepl@k&D-S@MncERD z2$M`^2g*6uEJ69EXg$(RVhFR7~Muk<)0p%ZwN_7j#Qe^QJ zESoq*u#t4W^G$!_m0Ne6C*{x*w$q?~u!$T83=A*k3@(1@va66UxQ+>MP498=jmxoW}cM-4yYK)Qc~bTS%O8OkHb>@oIEjuoB&g{qB;)!ULckJH~$Jf0rOU|`2xEee=F+zRu%8%`HJ zPTs24zn;WtR@sDnn6H&<#0e%+j|nNx^@{g;VL^XlqAZ$b08wXB_J16YN_2(ycKr-{p%v3OjMO+cYzBPnPy#Q7txtsvJnJ;;O9HtB7 zPF-()jkLeOf{m6}@5gOBR*%CVbZOLr) z0Dqk?*!vC0%dc)5^D{!wU22EY3XzIaF!!~#wt@7 z3@TLPiaO9Z683VQN)!pvB}f@gGhM(8a_41B2lF%{RLySudfxAg@6qCcQypkS>*nNX zvfrWkk}L$1Q;QUPMCDowTZez10I7UcEz!iH_=Bg?(&sidfYp1PzN*wz9b_6Nu9O#i zel_rBn0KNBm4=_qUmGH@fT!Q^+|(s+7yFChe_R*HQm^vvi7F1~-tlQ})SFUG+c@-% zf0B1k97zxTNasSsV%{VFK_SkL3>!K!jc(&|rBF7%iw9C%7R@4f5hH&a@C^|sxltFU zu%SbL0n4`&6gG6rQ}8HS{v6ebYRUn!n3*#Xs=$j8IM%!7J+FK7vYEdVdURsB z*wVlkR;(khPgib#oT@Qqqh@tQjgBC842Yo%{sq70b!3lmL5ETA+VPp*CUMG+f02*6 zJJL@3QgtyuHYWR6Qc-47g)7p#W9fux2PWHy;BFq!D<^sv%`JbRou%=J#^^U=B*raD zYH0QE0KK3Nt?SfQIsUF9qhF1SdL22Gll6c>LwUp}HimIRlgw@txNwBz#;$7dhD~3K zY^DK*SV{>KCay}_ne^57lzdH`1qmvN zP=kvpZcxxaNQa!M{fs!j30a7$ugW4gLgV^uOf7DQ*?2;cLAE!i%&;CJPvSrSAgpG6Sj@B`e~aGsyH+^Zasf5W9>Oc+lX@$66g!>pj7TJ+{Ow7Ap~}=e z&49IKd-Q*%=aCfUSp)&B!$@G)+HAn8(ZuupsYZqif!x>Fjo66|Y2ZqtBMbrC7CYPE z{zDHCEMI-V;UJU;QnD6&{f_8YpDyPQZ1X|QPi@ki{#Z=%vNo4lPIzv4*vIUHq^@{AK& zRLqq$JO2vvQr%ySXN*BxYW}1TcEg=<_v|(7iLD?<6^GhsN^S%GW=_h9S2vbNWBOJF zwHtqzAAPV#+R03Pw3*E5Us`j6Vo5dJM|dgja8uJt#+-qN30m|3%Ud^Oue}(nMEA6a ztXxI$URJgc79Yk;$ksl6XFwe3>PgqwOe`Xs7BWmFK}Jpk)9CQo?d72RkRiaq`u_fg+`x2Ir)B!+$ z4;7Fu1-eV=KoTKCJFGKifRgr_-vsc0jDp~rjil2P-gX!n#-fn(7=T$K*_a!{NGg92 zDLgDnHsHX_hnR)&C9{u}r46;GZe9m8kPGt9mQhzLiNL)o*>f??C+j;;Fpz^N>NCwF zwnz~6K5Vz007-7^{BQo+(b<=u!Q|FEf%S#p?iA@!UIL70H)C^QNb!J=dCkfc{0r=D z*2j;Iw5#C8-WV4KW)cj>u;4b-!8?Dh0i&Kieqk^_^#Fj=)?=RNCos#LQbQ&;*^E-X z6Yo6@*ih`Bee~P|cz0c0K<2?xeodwVpU4yEMlST>#SM* zq2a(1+v!9{GNcHlQ>smkEpfS4xRJm-fJ#c3l`xf>`!3756A3Nn+HEGIa6y09+#dViAR|0>U{b&fiQ*r4<#d3r>QA0Blr+2NtP=q(;+#cQH=i0V? zC)7=1G%(oQDS&;pquy~Z54w8e%?Oi;!9m?rHe-FQR&hV3 zlnp{3vK#r#F!>(8^Y|S=vo1EK)4-DKxLE1S=K+Ef9qFdUw=BvGwK{*vQ2{q{5RlPz zAW>$Nt#`GgSay6>Y9nwVIcK>Ky2g~u?tkShJ=v#@w_{Z3@D&B3nfCo0^#Oxe&!Ta_ zlg)@=id0sG)VWSxAGwlhom3X2F*z|rt`~F&;xqI{nS=wUMZ;9{AZ{Oce6`Z}U%<5^ zipZM>=3%WTrz14|RLg(PASZru=T8cW@&ZJ9&eRLZPIP6%@Z0hq3X{#P zJfGsC8rH@=S#hW8Ds}>X`?(ao^m^qUpo#3P5f{yA5IMM+8W?8Ip7B*K_f~xQED`(4 zh+`~!KiO7KaqT=oXK~&}wmtYNHUpegJU1?68D)1a%ah9HHEn-K!x-mmBfUnM(`m%X zf8>**A^-hJDz?vD$iM+qf^Ce!8ihphsll7>Q}ZljLap~5VCo^WoeCe{__N!?vg(8H ztFLYp0nUoi?m2awX4R@D2@)KMXx=m&B@rl#-JL&AKjGAW6)N?E%5sag@u)^&Sg=ru z7!c5z`49ol&**=TLoT1BC|48$As3mdav8b#)Tsp^1|^Z%!i1|~xgFFo#b1BZ`?aqOT$BE33i*V5dS3s1 zjJz{Q%Tc9j_k%Z3(D{#feh4S-$2jJ`3SsVFxk_)+xxKIvjKZvcocHOPZcVcE1#Ip{ zh2>N*NJv_`PEVb~kx&#tE7MEl_<6O`4bb?c|I9+gWMPluKkCJrHE?aN?dfYt<{<8Y zB4)_fM2mk{tMcftVCA7TEzqj?U}q4u;Q`|P8BmiPG}~E~1=FK>w|rh$^no3m3C_jK zksm$R4#UUo04fXonF81Ohwq;?$lJ{CaogfUWQ4oS@*@gm@H;}s549vx6_0r-z+X*y z^4;(6{$-TA1EODdTQjOMoPh=VGy!wr=zVik+(3W3!OOLepe7guOlerjl4oK5QUpt= zZB$80RANWk3JKDLAJF2}Q@$K>-s5TpFI3<~wM9{-i@Uq#&rprD3f63i$ZoS4TpU{y z^j#w^18IBnsDlklmk|GoYWq93r{2d@m?jQ%uZcR6vTeI_jrtHjTtYW(mCD3|2u~nq za<6}r%tR9mAfEAY@f5IWH@q<1$H`}|*UKeITN|cf>dKd7@iRnF*GQ9%aNw8}fgK9; z`3>9vBYJ}I6c=Y6Jq->wScbHzQ^ZdY0L9Au+qrcs>gle_V^7QdKr$kATS_rVrrMZHUT9HSW`z&Sx+lNO;VSi=m8kF1vdc- z0R(7rWo4HQH~~fvHwrIIWo~D5Xfhx;IWakt@x>GbIXO8pmvO-XDSx*GP?T>MHclhm z(z0~Jf^?^Zl#~Jz3oNk2vMviOC7sfp(jna-AxeWF64KoW2+|?&;V<9!{r_jaZ+2$) zxlUZ?Ip@C4J+rKgI(oeF*3OpTC(cj=uK*uV0-&g=D8xG2vb=>T~rFdSk9f&w%_ z2s^OTeMKvfBS6pD3IaxW{1*j>lpO*Ali=rfcX#IlIl1sT!+&jMIC%i>5QH5-7wiIt zyMe6%zZ(W@n--J;IG*L1o#C0q5CWQHxUH-M>5FD%Gn79f_gxpwg4N5BN(9lM1v23 zMDPGWQ0w1;Ab&>}=lgt+8wlbEvb+!YUC-Tn#p!){@YR|;kGWvI2Hvy&4Tig3aG{eDUiIN0ib>>m7oo~#4Z*&XWj7qEdqt!;icVeJazH-JK3 zxq{V{{tCG_;r?s01tS2$Kp;?5TnGSu1pp(h?D&7v>wkN|z<)Reew*(*@bQ80pfqQa6h}h+i?3!6&!zU3@6~f zD`+|2OBoE{_*eNafxJLI9Zj{l4i;_?K71Y7Gs z5LR}7O6c!XxTkl7K*2iBE|A}M4S-hw2>c)4{k~Z_+}|fI_hW7v1Ms{)@x`{8s-UA)$M8zrFuP3*4)l zAN(Kip3C7s;60h+f53Y-r+?Y*(ftkkFBSpt!|r9|Z2fPBzk1GxgMuM$yXC|GkB!ld0gW4{t zd96fw#L}5n?BCR%He(!O!HA20Dr7*OWO<$4a2xX{aZSupzYo99BgzM#uTY8Gl^Dth!&(xFi{FNN)7b;>EPlENkU zP|CN5?ZYchi2{z>9G)9mx)<=BBY!hC))5H~YASwoap4-?Q6tyq7LUrvZlIj?sUBaRCsM&RFgkkv` zwtc^%C>LM$SuG4MkT*1o6Iv+Kzi;bKXg+R!Lv+U@T`@ z_I-DP!`mR#_ydyE9>xPYr-){ZwLG+kGIur8^RTT)0{(i2)u=u(eSZ=~9~VnO$JRi* z?kO){UnwW7Z-VaoL)pn!Ar!&3!o9E21Csj>P;f5;>1f4O0_^-EUytk`PjE^-)*GcF z2)6DhLsRcUnWWTs^or}vX$LE9@S2o6yFiYM|FM~tl3RXbX^tXe2Gu_oAV2CygdE@!-}6(dU;MX24$Be{n1S$|d-=WQ8u(WzAZ^ib%^By~R- zqU;+i`|ZgxIu=D~&XkV|+LCE+&+(B5>vxMLP+c{;k0khV%DzW0RD7_MlWb^7E^4;w zkn#52sk&sj6#=f+$3(7Uf|)24x{pN#%QM~?@e^H-!VC)TtcEL>^0o;FN*pJAR}w_V z?9xRrO@D9%XO>!GGfIm>oN;d~A&yndCP7!Y8Cw_RSE9 z%H(4bC3=aJ0JFxJhTQS&ST45rLO)^C@Kt2guN7f1`lFl}GdrRT2f3em=0njN42q6s zW>`Z$vyHs3#N}E>m%w+6IC3?uw?)`FP2Lgini22>D{}EA9SV;1w^9ybt=LtPNu{EF zs(<_m`AtG8y0fZOt->EF#{IA+Hw+pmrg)yvc@J~V2Sx^=la)t+7&c(xgj9iAdiY;W z7}+W?$ztg?dRTnDznwd=qRHsDk2qAXJlKJ|23H%&X+k5KT)#ZGV3nmIdL~AH;;!=8 zmfr7HvJKC=5UY9KanKoOnC89U4Ss^b%75{x>qn8*RK>|RtTa7F`lsx=Cy{+L_G2j7 z&XWT4nx#-5joTP*l*0rG?b`kEIqRu~M$xyruR>i%B&2;z|<%!SbwWI z9=$kmOB&o1^%1BSM|CWduX;LL>4(Z7Qb_V3IoUMf6ES!C)pCtv+=;me#W8y__3qcl z^A-+V`uL3;mG4a7b`gmP>rV5UeBw~9*ppXheC#5D3FeZ|`#zsPgpX-_TiUPeQm-`{ z=~Qp^we%++-`u4PerRXd_)(_Jvwx0Iw)eEjeaOm<-J$oM&{V>Xun-5ul4_e*&v|E( zZURMKg*#(&rNX%R&TQ=+jdS3S>=3juUt}Lk2o@q{e$IHX(LPCIbeB4N#c)8lU)}nI zPjj5mi|XBqWV$>MdSw}3DeKlvW~B9nTRo+Bt%|Hige`|Nfg5xeqNV+vYL*!ZLctl-)_?oJaDRihm7|GKy`jnY zgU5>{oc0n%(<;xYdATXRM!$EL6!^mX;V2`#F$qc<^}^=x8P$!QidVJ)#Z~-|;9JE3 z#M`#RRXVH*Z;*g;>+c=OACWl|@;6qyJ*k5&Be{9MjI0+pg198!UN}ctTZHB1$!lKe zSO!Ig@InjXLU*bV7=Q7m%ngO%y^gkQ1LNS5lnSElWJ_UdvQaK=WgOvHf*J#TyDRDi zN4E~~R$6mT)XNF#Ar_coMtbiqJu&wXN3&)$&bPK%oomB4@!GK5!9IkQqD9NMoK;{( zba$;^rI>KJkvvBa`%ZkAfOm|#AXHWv79G6;dVfWd7xA*{@;f`{XLF$$ z`VT%&jdH8F8>}Z~%&Zm---z^*0+o$>5j_1j!wFqCD}RWFtcUb-9~sRB0Bz&l*6>=d!e7?-@oPK@V{%8P+|!M5?GcJ|M4sQG?hRqkUO{b9sCS%k%@deZSVhCI;`Hes#UyW!?R2610zOJZzG%p ztfJNNLJKAzo-BlA;9_biX&Z<7D2i7@Vk`2TpQ3!WatKBSnofQ|B(e5Y0D0M$c+|gc z5r<{?F@NbNo3b)mw!dtn6)_dz_vhQwM4oHA_Yx8X>i@RIup|!a5 zC}4ZWu1u!)*E2Sx3)&u{6-@pj7bziLo*TBrwt}ZJyg!8t4C%{*$&M??Wy5cPrB3l(xds`_Ijg!$TaHNdNloyV)+ZC}chZGO;S_bk zAA=qO`*wR6AK9$N_ibagM(Aa-J*V(8q@6^m#F{g|BPbu5a6e+>k2NW{3WxY(mjG#=!tSwWq+^p zxr)dB`Idj;L*3a*SJC=c1beL)_D+ttAra}1vl-_Psm0;(LAx|j5S$%i3)gNj##&(( znmQ|tl1l@Fv|rkTlCOQ{N{E_CF05sOBKm0_3=$3{UlK6bwtT?GM0GUyDLEP2ZZ8_%jwHB7MRY12vrsMhBC;L$%;pn+OWYYw#5Du;(m}>sFr(h8 zw_tR_ldqCdld(_=zsC}%D)zCV=bWz{lG2A}G}-0f6wm3(DAKhoX`1<5nSX{@Ybdxj zbGWDW_pkxJsi<=i9ZY=CivoI+Z!02uojVF4T9JNF<+S8dBX`MD&uyx@*B34W1sAIe zIw6zrT+va?5LUW8GGxT)uu!4sn|-m*P5VK9HKF}^!Va&$N!+$)DY?U#$|UW7R?A~t zRp5NF(9?a{XoNvn!#C!xwSP=`qgWH?u;D>g_IlA(m3fCljBrFtv<~1#w8XDQ`3TQe zaytR2X+z^R9e@4gF+EN~RG^-_Dir3UR0G_{zS=$UI9&(X6a@N}WXeC5RX&U6(Gw+);=oXes4g}QV$=Mo(T<)t)zv<-qddiTMQ-T^M5R_@J}3?!6k)d zX~YMo4~b-+Wok{S7(=iF%a_hG<7`txVA5V8P zpZPSj^OzJ3HA~6Q^L9Eb|^RKLyBx;l3&B>{)k|(KP=+ZPisvL6wMo54G+vnzG06 zc_~FC;|q}qaDV!X)?roQ!LNP*C-|}R9AQp zJUt^h&Cq>)neTKbA{iK6f#asL%1NeD^=oZIhl-V`)_=y7HAWlZ?;G=eV~xturcK@f zdo`C-W?(Wqc%^~Cr%^7_Wf}0TY zw08jvR&rE`X4%mC((X$_Bn!ZSL=kVZQ18MC?e(8$~P#x$b z6o1338fQ*S^}V}CU4dzy%g;3<^tPm{V-wJip|q$AG=XCd8J8Ki-BAy~6Hz?dQQhAz z807OOpJYut)bm@uJYCzabyHh7-yA?|!b8t}M!HCPoQ0}XGx7cS+Tp?_InPd}G2J3K zE*li}PN$mVwLPm&Wk_@XfD93CgUWNqB!3P6QCYOKtkCs_!^@&GjD@&&Y@Z_RTu)Kh z+8@cIhOiJv21HG;UPX&rz0|>HQsH1)#P3-xy}UVX2wB;~9QgQ&JZX#=#WNU#E;2iX zn<-)4kG7e7wmGoWa8)%TE&gHxr4{ee4&~DM2k zl+TdaV518(t6kWp*7Y2fwjl}MN#?w;wU=K=U`K{pD(F~CRjn18jYac}GZJ;>x_#Sl zn#NOSjH}_2s;uGHt3~VYM3dGW5`Xu3L2ojr`*`I_UXWWW(0Z3?)eYr|2#)e;yvYF{ zQSO&9kJ1 zs9lYAI}<|X-s!IG%B9tJLFj;jw2H_|yEDw6_#|Gg+WAVXT5zCXgyiwhye~&bQ@-Ca zPVxfz{PohYxce#P*ofLA;(uOtkD7kWvV6Xj%b2INSO}Y;0CoKU#@ocSImRqNTgP#g zm7?(LVc6S>aEYJQ$Mhr{6MN5yF{Ja?QR24ASBJ8mH_)O#6!Ur%=cH&b-6Yxc3~@`l zmSs{IVZ2mIN@CxeUhi#${!ECWe^XJ4!WcX<{e#kZed9_g7!jbGX@4X(zPnOKn>jY6*i;cbiQ=II7aBm^RlYDPj9m zyj#e?MXL7_8+^&~486%!-wM`r@VVX&l{P=+wy0q3{di=$-KvO4u6Z-hG8XXEJ%09R zLON|{*D5~9DW{rtH-7=NS|ZvdkNFF4avvke!bwlQUuWnfI!mHFCABo*0Un-IPWAa7 z+SHBQvwa^(y#}n@W<>g@kJRNG>D@`$9ovXO>ax3G6Qg{;A-SLtm6pzxM+x?z?*ipT z+67J>=tE_$>Tb8@Kf3a~s5VrZJgXM~k_E4A)|wO84;?AkVnuw8FQ8KR4zJgyaZh+wxDY1`Pf|ZAR=L z(_Ld^ifAV&R&~nRlaWa=qpmDg#Uy$*|o_OvvR$u!H(O1)qA&4u-f-tYK^0qKk7MVcapPYG=!7K23VemHCiGDymB#%~VY0?)puz#z*Elr10zU2Fns8^bu_}Kgl zflT{R51804<&v5g2 z7LS)+3xCh;DCBB#Z>fC-`?8pJcHRZ^_A5de1khrJHR$)c!=7(4Zli4`d}=eo=$e|> zT^=i=Z~a=hVmwRbT~tdy7G41QBJrH1;}fhz>HEzV?Q6NcT8BdESTrxXZeM{C+`Qp* zQwv+1J>K*Y}@_-cS%}C-w+pK@cM4z7k`EV#!BUEqjDvhnxdFdI0^K*hJ7si zV4Ugtsn>bjdf^mJ?1H@$|`8elfA|%EQX>MrJ6l0>?e|!2ag?E7Hu5Sr}O#i-O9~4 z8=d57V>6-$`F{11on$BQ*GMqGy@F$?t98p#!HnPJ15VJ{@N0yf#Nbq`X0*O zahxm&f2V6p1VLyhu2w?BzO8AF;>Mw&`G0k)Pi3>w`bJWM7Z<}fSZNj|Z_JNouHAp` zjINp}xYewyzcc&k_u_ojaIy3Ji|MAiTUg3FjD0^q#&v?yjuBN6ee@IN5Ajt+twU=u z<+S+9_C~OxQgg`!V8Y$Gx+NNL|HZ4_+Prn6QjM~$4oecFA9(#Vjkoq%ul(h6w0|(z z(@XW~_gb7eKhPCke=s*e2FgU1=r{y@gD~>kUf;0<10MtqQY?KuewI8R7+yD?MXb|3 zqlCRi>?M~nU}@cp-U_xB2H9Q-uqBB(t&4V)*|`v)l>rCq{I?<1q58fLY|C_S4BF~+ zMw<6lO(qghFI%#1*HsyD%N*~@xPJ~)KDpVRwQ20kJrJ%8MI(F-H^hiCm;}*K zLNsp%8B=->1?pjbLf1OFY~`2?Ea1A1)`Dr1xWb9}W1tu2LzN)vZdy&6yMGuezLnKd zE(VGw;N-VdzVOksXJf!C%KaW6Id81GZhJ~6%;qG21y66Jbbn-dv-pYEv4Vn9KDy8L zIUY_R%dffSq$HIgmdzR-g7z>+syBR$sT;X{-*-!uKbz@{9n%uW4qWFO9SfZu809ck zt~;0EmA+Kr9U8@?s=9oc)PK|YM)Xa^uzgBg3ClOh&)SUdsz)(owy>>hj-)F($KB70 zm*Wp2O=u?C>$PjkgR<%)5@bw;is4wYY>#g@PNcj%ial!xLFR6YW> z#2g62Rw8~wE`HeEYkzOW1oNhVM-;KEHLV(ltwja2dV(f7FV%*k;#l#j8!TT!o~|QP z$jqe5(x~U%Ur0hz7Ycd>A>ILl5OLY;UnpEG$hUEVh0uNyc~2n)si-C^{p~{v%)H>U zsCbk@{cK5PcaPV_8$A7-a(VV!D4Z}3tCMxGbLUms0~Mkm(0s7P-M0;k;=dj-GAU7(1f`)yOcDnyp0iWYjDO z^L=^v!=-U|AnF;9Z+)-g^9#31qvqsHM-0vwSEn*y(%y0Q?aBS0NpC<5wm7H3IX$WV z+K$6@dPSh`(2nG#oD0Aqu(1toc4|cSGbX1Y2Lv|x`zSNy5P}16L zMm&RZvACYg0d=HW{xWnaZ*dh9=F4w)a6O!-^m!L^MsCrD<=p!^4%zphRJ=bqBwp$q z5!^}bXjjPT7P89d>#kXkRNl|Cc_}vzA^mPkz#2y|`F|r;A*Q{3Se+_r>%qeU5 zz|#Upu3%Z~u=0;klK`u3_v79ZBBJNx8L zhupH0>Eo67%28hER;~^ywe^*-lKL_Cn>LOUt3&s8#O^YD+ zwwJ*dp?{bB5_KE3uuA88E_aJc<*NRXVn>(fJe*q^3?d;O!Owb{D`Z;4On$w*D?pzh zbkZfD8}Kx}i!DPKIMK0A+tuo;j{K6OVlI_^6^QdB*QnGvV1cH@<+=&cyQ)OygYE}6 zCyyVP6D1*g{evSap^q%!+JCiC|3mw)h;oidCYypRw!o}`>!m@? zyBNI6kF9H^V6|3Vv24CvZrTxu92(P(KPGqN%pH}FJ!FEpU{>tB(Pqvs5OW$8WArQI z{=^87isnO3oIsJ^Vxu-5h^B(xwhb|R)BHAY?#s7%p+tAA#G6Su5s9rG!R9^W%>t4h z&3}LBh3d@iXZ+wDumS-3sEu~BM-2UVshsJcumTau6nX1#8HJX(D?B}I_lmTl3~NJz z255I1u|FGbUuLd7W1weBv+Mztdk+cXm$7L7%C-9CPIm>{W>nbWcFM{54MKylyTrY< zw85lZ>QL73*mx}tKR%i%s^ znOd0FgE|{jVO(cobT~%#u;R4;&CK)7SJjh!n%~6N$jwi-GM~skd0T12NeONWzkg*S z>pP5N=K3nQHIU_3oc1FG@VR6OozjS6sq-yaUE}Hk6mQA1ZRr!h&iZ;M;@r~(6{Ze9 zPlzN;ooMZ@f1VMQRlASx#J=6}jX$(q{+qy77$%pJ@O<&dmvKaBA0OJV)fc;aO&*fR zB&SA4wcQAC!t!D!6{F47WLgfU(tjf{jx|4)mLL++`iHhu*EyqPGK+tB(GkZ74hIt` zstGie__6hTQ-0@2?;2??+%>ebqcH4}JY&q?-9o{n5ej#`;lCa4ZjnvC99$8p8+_$!THoSR0G5ZE3ZhwR;^36(K z(T|GRI?pvXM@ytntCg5JIWTYz`-Oqh)1=Y-CEmpF6a3Ly9L9bQvPvJ7q>U2oa9}&J za=lOfZg=#ubDc0D2lmSyp4)^A5c0e`NH*YU#qL5B|P)J^FpT)o%z|R3KOzP z^Wlw@C1bX}Hkz+C$adYLDSwbC+r8e-4^txbw09S=EWwET%w$ls`>U>Ac8_v$jG?Y& zkzqdE_p$EH52?fM{Y~RI`X(@aX9cQhFFmo+J}|Gxs=R<8F@Tpg@8?3`vB*38Df+&! zHz$jHquQvWlVYL=3>3)h79Z^(P6H=}iW6wtU@vw@` z2GP|HK02`jl-w7LiFGVb8mbFe2;r9tkT0~h42i>Ocj=G=$$hFp%@IdzO@QoyaOLY` z(L@#f=c`gS--U5s)=Q-PA78F#mx^8iKL$upLQh&&m(N}Si7Z4fP%lz1VJ~7YV=rTG zZEayMWiM+lY%gsuZ*FBTaAk67Z)7iWFLY>fWo5U3UjaOe23S)^Pgzfw!s-Eq21rms zPg+)&P3r+T0W`OU>j8WMCo(WIF*GzYGdEf(3NKA>WJFY_J4ysW5M?r% z1DFXDxQJPOx;_mu!RTxxcmhEK4Gq=}%;p$#4llNXv4OoSxK4Fo*1W3Muj*BY4Fw2z z49>D^-cJ*EWwSFt_tLe810yKUU%Tew(qjmG|GjXL4v4Pv?MHJyDSKW0i%zJQ&IZ=g`o|afCTD9Vq#o85@D5oQLuMfbKV}-!XS&xZ7 zc?nW=VdCfva54!l01HAW8U!X%2_jNP8SDaarC5x(OT;XjN3H`})W|@7z)JtWk0^sk zNG!X<)k4Pw%M?Tqg<^pP6AB|K??d#D{cu)%Ewl4VgftV+C!bCKV0t6#ECT7;#1juD nDu#oSug8JLzPtK2<-Y6t_I3NX*}iR_o?9eCvv#!_@7C=%y$~tg delta 33225 zcmV($K;yr!=?A9e2as3;Gc+KRV2LMxg;h;++cprr>sR0i&Xh0#eu2Fy66LUCQx3&6 z(`kBOC`#f)B2|#GpGWLCP)plWwYAGdd!oua4_`f-Y1$wsmzxYcp2ewo=;x&7ygKZkre9 zukttGjtJ*02}7Z|Wx{wsTp^iEI5HRP$&rGx#j#S~^%>%F$wEH@n9qVBLfE<<`)`gb zV%jK(0-12}i{8Xkc-+$m|8u#!l^+txk|;74GjyD|e#m4LBJKR!FsiB^e|A2&I`8r* zW^o{46S9cM$WR_yeeF=vb9IJ)1QSdU>}@mDs{MvOiy03MZjQ~~yk3~lovKdoT!8A; z_W^zIo`@T+o)*kr?W?XGsorlU|n;(`?wM|#sATO;+1I}z))j-nqczgv`Zi$q|DU_Rjtk~xuC$zgaoBi-Ly8IWeL+OxF)jtEPqV*g9t&c@rGZ@U&BqA(QX7Hb zlk+Y+akA`ZpWrvem;$&{1otY0X?aN!(6xw6!;6T8G9V(7OlYa=>#f@T#XPX@Q~s;2 zzr83loV};i>4@bPm*bMAV1gRDAn?ist-$26k{fJ7Gvo zYk(Kq05+S8de&c?_IRwcLf-3FC~(4}z|<+6Cf8O=)ZaC#y9p2KG2(+P(>&s#C(&P| zpKvqw_;vG?F0MU3U8bAtJ~#aXnlK8nno4t#$QzKMDA(vK(@mM>_h{($NFNu7cq(*i z>*eP~dBba`)ans`&s@XIx!=Y{RMNcEB9K`=Wupvb}^}&~tmn&*qv&;FoT1o7lbS zFd|@t3JDVsC4oQDWEz409&G;rXHOLUvycSwbOSdaAd_H;CzGpr6@MXgV1nC{aAKIL zv6bMdV^dkc^xt>ol_7LO3vDiv*885Go>rTPY)C{tc^_Ba`y-K)Jj@fGkky(9$-_KP zNSd%vaz<7)xuBUJuqcY?a^+`&&Wb~yXLNRU=m$awdR*8sriXK%QOr1Ae889u6$z73 z=3lN(y!p!e;W5}cB7cmeoTM@hQz1#U^)43x{8*%>+8~ z^O)*#tL`mdufOj{#twO=)=H}mws<_)qh%Hbt0YC(v|Z6_bB){0wv+#Q7Bf5v0I>`} zIf6irQI%=>4$HsXlub7ntoJKF;3-v2x54#rt7=T!LRR||=WqNVjwL-`;FCyuCx7UE z7|@vMq*mg-qjDBz)4PY;zH-++D(u%d8r7jdJ=x~In`@0yQ?1Ux_GxjQ0gplndJi3ezbm zokN#&cXu~P$B;t}Lw76PA>AD!B_Pt>B_Z8{bmw93H{9>{|7)GISPP!(?(2?c1{w-A zO=fXRCv%{TlOu$gorO&RAgQdu&IVv(<78oD<3ORI(Xxerfd3Yw(C7fcuC`8&0{<|O z1Ov?=uQDk!$g7=yvXdh~!3_jp=LE3x2(a@Cu(1I+*x300W9S4H07#j++gbvYSpW)7 zjzCuw8c8Q-FR-n(4dgY=e;xt!77PG(etzC}f4c+39e`k43o}Q6vKhn%=|B`DuSwTF^z(ByO0AyB8}8rUe+9C2{M*^g!otbH+04<)*3lYZWeWlVRArP{AfAwS05eC+ zzYNVlu1>Fi{$}oGwjeX}SA)MRHv`Css{_nl3I3a&s|DEB8RE*~Y76>{BI{paUb`&q zXesIB-~e=lxT5@3pOh^aXz|*1FV=re*51*{!_nv8z{=Lq(&{e~mTu0h+K#p^Za{gd zf1A9DQ2xlQfe-*U8yg!hKPLd_0swki*s%T;UdzjW8Thx7{V(w=13w>UCue}wD+!>V ztrhU~4~mbgnL7{w0lNYHeEzBUUxdQW4zRSffB?*a*0zo)f1x19_hWT#;{zLw6shXMXzl-}vM0rOmCjkGyIJ`FRKRn$3y%zNUJ{bnU|7K8e zdfjCpfd0?w8?te;S-k#Y|Nnddf4ltu+xx$w{J*XK|1C(y4FvjIP5-z4|3_`+U<>m4 zx54WwyFp&hLfPr{I2`}4sV?wer>qRLv~_cT_`h0th}r9Th&x(?{@X@dR~cJRprx8E z#KPuZJM^C^yoLwaIs(<4Ty6h)*#MYd2ljt-uLoyg|N264eVx_cD&Xrq{clQXM++y* zzYdRsn+IS92Ag@IypH}AaRYqVUoX@W==t|*16Wxcogl9+fLD5c04paj%3l-Z;RdjO zivK107vcf1O8h~*09MIAh!4Oj^#}0-Sf&4qc-a7~GJg;|fK~Pn;sCJ9{Xv`nR{1~Z zHJ{QS^qNok4|>g~@&~=oos=gI+By{)@O@brw#b*Wvz0!o~HM#KGZ@|6fyQ zwfqNsWdr;Z;kBxNt=xYkoUe>t2MRKC_=nFcXRAN(HG>XQ%&BzgF-3NBtVi`SoMW5d^gQ(-N-NCON;pOPv1EM)p@0;D5l^l3o8)@v3xv zee3==z-v{mATw8+e>l9x{FCAJ{8%9#PXAE9dbs@qzP7;qAMllh$3F(}O3~|2vR7Mg zAoyRw{^yu2+`zBYAb-DZUoZWCKltyDR3Ok3Xo0dg?_?nuYF8iHep@F_?7_SM+__YBsqBTjq?ZNlaBtc_p zrwwIc60d)v=urGiA1N{kvzFMd?~{wKPLMt9SLp8wGXRvc8UdR;^m{9zV zVmOO^-mi1S-pzThRB3Uzb`nw(z9%4sy}}-yqVOb=@;P(1AGmfj zI0`30h4_t=4M$}BNDfd`PM5W+RLq3)GM|)Vx9OcNc26GHB3$EYSig#MB@|XEY}ly} zO}!>1`a%1D7xLupBTq{1w5M#oy5m44@ux__ZQEL!`Q#jmA5$nw98mb54RStVU2YWz zFi=EWh3N$&S?ps)Awg{k&C%fu*2kruX}neAl+LFJWfu61MTfQiJSmQ@fKkf=zt~$Z zsW1+u0I7hY?eXD7i0Ao?LKUPl*)!RBI5#ghN1Swj5ye_Qj4t!T+JjPtJ2}qdO!EV^ zZ|zHvle*CO-gp`+>XfN}lTbDpJ6pLgQpSr=+kwMLL-XB2*6NVW>1tl+TJ=F7Qe$IX zU8d*|p{eKvZ|Wf)s>x^`yg^FG1)ryy5EuI#>4h+4;#Ll72?I@#C*y02A6U_i{ebh~ zleQ#(6uj*xyaqW)b^X+g-?bM3+5EG=1sRRun#)O`VQcFymnxS#g+ZptjeKiC-N~2Q zN8J8hizp(tHPXs+WraKCTz$5x(KvS>o;8BxdBfWt01PczL${A`G!J9>a|RNj~=N=7v966$~L2uR>LE&MokTRIJmEB zVNSwdH|QidoCS^zMcob%ArUH${-EWcu}(Ix^^Ukv7$wYj=jPV^ONc-fk0Z=qr`o&^KJ$i&Tt;i+{lq?%T=d@FXM_wvCJLF>?e z<6F{hJ9VC=ilJmnX3_YP>h=7DSg|gLC;2{~3x$&9bj=pA)1m)1yAEsgpoFm4=ga%w z6l{rI`uR@YchtY{CT|7;X?m-_PYvOEY^-i@7&%q+tO06Fo)1WJzFn&%$0<;;gOb+tLN-nV7^zX*f}=@Pf; zN1xi|A8l0b8|HnsRj~o+>Flsd?iON{0&N^U+vvO2q2w)xxLWHqkwWF&BRhQ1o?DMm2dm zKa-}5wf0Ps@D0stTY3M5C$KW_v+=hZGe{0Ol9(#{VLod%l*}1*TyL`4VXIzh70&&%S2<4>a?}$ZW}Pc+D7-F4DYJgBD08coZ~l;;(4i9)3!(>E z*K}nsnNL^8tWdP^IKh6D$T?g_;W-<{rsR763?j(Xk4Uh`@$KYP5a@wU07`g3N!rQjm$)*|5mNlMq{f zQx?T|ga_>^km|1K+SKbj@eCr^0~2GxG^1XEmGcJ zhzOp(3-BIln4&>(YO7t#^MoB_OLq;%nja*@)@7IRoH(A{Pg?_6KRYDEG4T4Siby>)KhuFVrX-hbAd)8m4nlV6*;hsFwy;J!xE~*h%eM@8%R%NC0(3{5Q%e zPR{llHU1xe{73I&T=^rQ=}fn($fFv?&Xt+1AudR0WLe@6Z= zlx(P;(oHPGSn<T7aocTDY zf7SQ)x4sL|ul@4^$(!P+n+5#{wfjqyaT#cB>4Kw+=jhWJ#gNW947q5!`bH7x_v&Kf z81jqj5Sqg6m(;9IgE9u*UfPbwJezUH>^GkY5A^9~m(9AHw0h3y^uPhLYZ*mg3)~;&lmekBshS#;@vzfF? zLeAgeuv;)dZ{PTS_0MeJ+rMWS>P>B8vKk-o_9}A^A>S~mm+-C`j>rwan$N?pFIfB62W03+81?iS|M+RA6%uCbA|12yQCZqZeL$KAYnkQGFTv#5i?=M8%#|FV=S+aQ? zO#Qc%oD!GZix-c(w;OVXlrxnE2)FF1;~Bp#xK(cXE1X3*coo_to-P_)Sz(VOo2=HAWColaTI>@z*PXZ3vvgXFIW9 zIG&YXLZs>0WQPUETXC1wU0`B=%LkI}wdlT{=3olu2*tY)J1%Uy1wlYclI%%(y#Vep zqBInjgde>w)5Sre+fkF=?2?*Hog{^7>^=Tuz#$k-jxkiuN`+MArQy&N5dGOqBQ+9P zD{x4ChtC4cwys&B(DVJKk{{HJsEtgx2w%_-@-o2iG%Q6HUZNL=8 zNUDCy(J!bwidkrRq*?u)vYA{$MVft!V(HqJBeI7~VTr|2c_ZRLO$7EE0M*4zE0zuV zsDXO8l1+s^^G>k8CivOQj2ob=rY~DQHz`QQ4;MpX1Xn(VuMdS66(+_Vn7FbwMNfos zo0TAfn%xu9JR~J&7g2zJx#fxr#truTnToQ@(k-$yIbU0wKVhF%vjplDq)n}*653n( zRCf-HXRw;umhsLsZ60VAE!dK`fD+S`qfHfhfp1Sdh6B1gLh-!~%9aTxG2GJmT*29Q zVOA|p;pNr7C2%&wgp*@IQRsOJpBijFq5M4maf8*$k8>?G^KhhpWMGR@wmcQ9dXLUZ z*>wtWmRwI)`^oR|y0N)Mzqc{Q7&UPA2aVm>0EJw~NtCMG3)0Y7EV;>DQ3&XO~F?JdrB5{qQdG+K@7dYU+ zf=xH3xz#Oy)i$~a@_HmE;7!6Sc%y$cFZrdq&*7laxT#jwjoU;v6Y;ijk-g*r1Hu|T zi~77CGrD<-vd;DKGkdk;2a^XW5kF@Hrd_KFYknJQ()+SLXd|%`uVPz!PKlM7IeZF=NLu!ZkLX&5;p*-3PrEB>KMG`ywi37&}U&WsmPSxihoU z6zyQ)1MG>SsR+Qdp^T>6G_~M(<@=Cpg=nk$NL#&6?3aFrsejI z)zBO#O5~WuQf=gR@2LyxU)E!0+p+O(4KjIC8A3g8_3ph^S}Lk0VeT2*VFs}?ewDfzQP-(%H0p&zqTP^FJTK`rK;rb zQ1iIgYZ7VcV|}DrCa6(Ld*K={J>C<|gqoncKDz0-3y{IL)R9%1f5)_k=Zae;`&_hc z%-T}!($E7pbPa72-G@b_Xzo}A5aO5CvHLy3EbJ;U3Y`jqz*}EGZEzs$d3kr|&NffRtfxFq)j(EYFL2-_v9|UA8*s zpt+zYRZA>6=LNaus6d6CIo9ugWttXu%W)PdSZ6h;o6ys!?khsO2*c({ zZdapGASn9|mfNWV(_k-uQbrK-oeFIk-CNu8NW;%6>Rs~ZaLtn1Dr1bySO`YI#UY!kQ4vhYOiv@97=t zhxaNi(zuh7(3iD0sQRce8t}kI@9x>_Q_l8jLzJck$nWQ8{S9u@ID8p@lT6R9m=IX) z9N#E9y~M_Wh)`KE4DESL9(hzl@{G{EpVuOf0z*0`4=_U_b0z$Y@@#&1GmVCnJ`1== zC!E?#-u-7oZrd_hR&361%ySR#rdtSoQb7G<@s`eX#mZpHl$;QhI`t8ZAaUtzD( zT!ZG@$YOy&tBN^?_R?-~&Xc(LQ%zKkUSYz7d4n&O%?nA73R#AKKfmCSRg;|KSsX19 z1U}wj_#%uzI_%h|`ZLA%z|WDmHJwv6&xE52?%nSc$$g=b&l|!fQgl}1HK5piJQe#6IopI0zsej$w^xuWG zG2S5CIv72w3n(0*S{m@NEOGXj3MGZIy|?{E?u5h-P8!qpar7SX*UaX>FP#Sro>QwZktIAWsV%fh@O(aIK_akjz+?c2ae@_v$=BH${APwZ_ z=zLfkEBvm1CR2-U7n(uK+k61p;T!vLISDHB88#Ghf7v@!X~EbEvcU{Em9%M@cHGX( zZA+)yJDWbK1utmHW;srE$ITs-(ZKC@qv$pUc#^be$W48@P`0_g&(9aYg9cY&ZdoG9 z-YQqYuS}N6r0fxcSNa9;`q+Z3CDZV7B*wEA&4UhqHpxLSK_`ORuOwlAcOu2?ur6wxsy;qiKdJ`DlaGZI=))Bq-&G&ddA<4y7UJw z*6K)qKG0B~`BKs&r>8D|vNj-zxEt=tc?ET0lqF)G;z9&gf@{kyPxKm%X?P5MgGvd==y$Y+LiVQ-iIKhVE96u zSCE^jZB!y*pOumshOSHicBm5*|M*y|A?VapG{Rqc;A0A|4_b+XC25c9p>|Y6S*f)^ znCK>n59hL|bwAv`^~Dip_#&w4@anDmBnGjTx(UKA7(S5F#>D@AmZYZDkji|2dne|s zw8Z0RoS{UDA7>!N^*ti#=Yl)1^8{nr(Ny#pqaiGJ{b$vx97|n?`G+4PoxKR4>?bqV zk)Y)Qhx8V3Nd~T%enZcUjaqZ1rL<0TtYT%wR+=niWSdfR##Q_B(M~o_{7nb0uns1M! zv50i25Rrg_*iF++W-CPXPiYz8XtZJEOCfnj1x*Snl10Lf&dEDPyqWSKzXvB8sV21lJ zezK&!hDOCy>$`eW&R$kC8BZ%t8s!ncHucCp7ZEEAnhYNP+X@@n;G>SJpzmN`erz8sWE*0 z73;PLJ#=#T40YRA&+K__d25N(g1wk2v`vFEDYYCuWX1GLqN9Z{(#d73YnC?WhKRwN z0Bylcwk^LLyKRpEvT1|mKK{TojD<{rA|fLb2EJ7Q`GsIN$!`aLPmg_tAF3xeQd0ly zgY%%rytaCXpXBOaYVAPvh#v3kVxQAwhw)P(DBYlO^&Ik+b%9^t^VibER6;oOJl$ln zA;PFmp>+k9jnqA??YG}&GsVV+1*}aeB_} zRrDhap7FLA?cjTVNYt$^PFwtCPA*Hf@8E&gGePHuO;mgJq31dtp6}riFgVFW-sD_2 z;#^BiL?+7avDfV&s=2z7aCOhqZ-;w97@10XCndw|qsSbM?0bT>0;L5HmAIrt%#nv* z*mO#7Cf1tYVnbmBCfxKaj!$0IgxFmEmb|WM z^~YT_^IH?2PhqCW8sJis_bqN$vIh z$4clWlnGLQrS81#rD2g_&&qZAvvZTxIegS>TzfAW86#5l!D}LC!Mg9Bas8t+gR3zqfQHnC5A?VBH`L&O7~z`Hc>vd16Di!kJS(Rc4+k_BY8G3>o;i0qN5z zbJ~*oWF5OcX5D~u z9Mg4yQxu)cAS);Oo{X3P9i!RJM%3hZ_7>NGZ6`miXc$3qg@P+BvO)0_oCHA=ckk}= z=-!im{jvo96_(reLXsp=^{x1XJ}c$(Xl5?mCpfogFw&1>Dy5vL2vyjCaJh*C7E%n?fJ{QRKsW@7 zZx=r$)Ojk=`-3Bl{4iMI7(sR#dc(1LO?_E^K5nx`Gsw^GVL`58AAcbUqsyomGHA)d z0%}QCW!>@wr*6Kcte#dhIDESuFd3ivC`cJNARG{h;>F^L_@kZ@FY}D6W+pO*0g$0R^LTT6H$jl7oCvmrb zYlz|_J_=S{_hIBz!=y5p%;8J(a|PMvEmgDes%%+NM3NYpp!P-e(JG?h>DfNzt(vM4 zw5=$P+cd~brQ#f77&Sz}f2$u#*fJoFUZV0`omm$}ND^VF^j=hur%bWo)QhhE9gi(` ztm11U0S#cWTR%{va$I?fX~gao|m`*?N}5 zDqN1=kyc}#>J&+I(~|gceu>S03$c&71i3M=p!D%=b6CnTFC5he!7|-GRUeUd0CKcB z_FDd>-eX4eHOKvc>Q^Y!TH)k(zGH9!+x{;xq~fX;-nL~5RvZYnnX%}u%!*XiNV`gE z=qO^*dsqhaphF)hqlpLVjJ>06(SjMZ(-%rJ=tgoh#A`d+AA2XWZ%mSZ^>aJSETEuf zw8{gE`AhIiRkge}l0R%Zw|)^g%BP`8CZYTYOQSsF%U*LW_O)QF%KWEmGVfLMO4idQ z+bxeFrc%k!Q^m)XYBsDNqw~AUMTTEtPI74RpDC?9yfy}GlW0-QXMeSeUI?ks{}3{) z5H0gJI2Rj5e^8SYLz4u5DsXl6`|?AFkGoKLj+*1^_)CcTF8V~=`52%PY4frY;W3AA z&Dt(6vjt$%-)h?Zc2XlNxtl0P{myUm%fTiC=7AXIo%ejfLs^n5G5!JV5A)B;(u1}F zHiaz##iMwm6ie&u?MIsmuXs=c}BjD&7N=AZjP2Uxt?C?e@0^xleCCM)~-DjA0_S4jmXI zEKSs?cps=vL^p3;6QYossFMz51s%w$TfO6y(6D^Q3gTuhK9y&39bJS9e<}^mYu?T+ zg-(a`W@;4vb{+PAE#}yPm&+EPI~mwzItDQ?4%WSdY{~J0sEmcthTCa>62}!j<80P* z>SVs)&g-KPJa$Fk%?V7{ML~$(fup6^C19?#F?^|9{`0+3q3x{18$$B7ewA4t;MD|r zxVni%EY;`ay3)6Tsx2Y5bwhkc)SL`K5(QViNg+b2drL)s2OIb$uwaCUx;=GfQZS0n z|H<=68trGw#=6QyI|9(m97ta_q05Gj0A0W4H~%fy=jkOH@utd= z)0ZeV+(s1FFut$g53)RufldpiV>S+h5k_^@UzcIZl=hq`3M2X5qE5AUvk#(E%!$RBV z2E=Lp20be`=f>pEbw;GH?J$QfJ>T7k%)Sc#0jJ zj5VJx@Q`!Ql!*yfF6CZ$k{jhbIC?*tW>l@P&&-$2D24BceHwlwjhEi!W?4koH)ph8-K_i)%Iv{H5-=VpGS*HHNgpx9wiLv&Gq5=fB3BYsxDrHOrA*Ua4DGdFz<2&k!`9vJGK*BDyMi5m zVn<7951W2qxbt*VUGE!MNIp%(oFZ3~ErJ10AAn%2IZuNeNT zAyv;<>?&OgZ{R}ee>>m2^hucNv`Mpn)s#xi6)TVC1|HTM-wJOKJ7xR%33$O0(0}_T z)2#;~bJq6m+6XPFC+1#|RAdIMDg`H&(L7uumhv>b&3?mapd@_*??+2TL@dt21{J)AyL(6{2tqy>(RDNc{P^NOgjI?j$iC%NtR@Pz#GZp9EtQdPc>fP2i*WSIHJCF3Gjv|Ucg?5k%T?|ihja(d?VKjhCY+#TcYG~7OM;3d6tZz~Sbey_fF1sm3XoBvV~fKdm{_oL0>Yw0BFoZ}{Sw!O;-5WPKVut&1nF6V-O zlM&R83vL*H8n^8fQz;=R?gpvr(YcQO#4j*ZkWY?%{@9(F>imRvE2^%!$Ao^dpnNGH zkJ8%qG8Vgs&)#lt^onAmbGCv!)Ysmx?E^e9bC7MwG~g+vea*&yeQs<$1d3}5_4H;{ zeX*icpRa`km}F3c)P~N27Hh#=)27vne;txVbl8uR=v0XuOS11zJ;l*>|9<}<;c^M; zEQFb?Te+jmgmj9Gcik*Ry9Hk)a{zPl_@}aDe0Dy_JbW0ghbQz>qL5ToZcRD8^@5em zv--oad+%p!ICaKY)kF?a7h?4+f380~bxWqt zBYb#Tvzxe^ea{2E7y#v)5jvGY!+A&u{S}Ur%>u8H(rjvlo0>~mU*~|*FiK4q@!US) z6CwB69*k4)BmS>F)KA#ExzI-Jy)|&;xUg9T8ZB+Iom4jW5^&7|8T{kzp<>`fHZdIRE z4y{pRkDzVecq!)giWZzBAxVtuKAIC+NgdayDBogdOAb}Hu#du@sNL*M+3SxLp0Bzwqu3v{d+N2Ojf6;sQ)ZDJ0;ui^ivx<7!Ilu=ql`4;1eiSa6C1} z%IhqD@+o=n|7eD4^x<|@P`YugbWW5%w`Ep0qP1AFjHA;t@cA_P`gpvePJ%QjRGcHU z5(R2hIn622yr)SfCJR?v(USd8;4Ls8TbC|}Yn!N*3Q@?@a@xR_Xl?kV3U#x8SBNYQ zP$f%8k#)Y@g$pdCL-dQHk)J}tksPFZDjVxG1EkkQgUA?a9dIv=H%|~`+uh_ye>hO@ z*4Dsm?6U~IodmV2p6&_$I@~xQbEe{+p#KV1S%Yo7dY-clA2Habiq1D@@s*nS{83`z z>DTgoM^o2b*|jT!EbO=wrU8t9RM)`?&YH8`Wq{+6a3V1dYc;xr!}RohZ}db~=dMUq z3KA|kn}AUwQDenRr2n)BW)`xFAAO0#jat0|wlrq{MfVrs*<2QRbvQKrtX7f6@6g~Q zYj!O*&Y+sRJ;z-)Lm+-`$Eku zx&2K91J39XCl zbLD|L*-t+_7+Pt8=6FnhHXercGv8T8jreSpRqm3~e8|$3N>>7WzQoF&+lo`9vo_Oy z0B=@O@T8+wN$J{%8dKzL&wxG?5@a%@I~|VT_w04AtG$9Zb_`$2V7^jY*{FE^SO9zp zc$K2!q`iy7N(naAi7U!=@Zrp#Nup0Bup|b4AmgBZaK9D%*y0F(O7Q(Wt2Fs(!E#@o zG&-^8hxI6bxmgwEMqDf7-sLkYg0#(#KICP842_2UlA-A}A6`zbd}K z7wf%Md$PTHicC;_PXC$Dz7mJi-ISkES=>mbeaRW_&7~iuG(nZ;+eOhlSy3*C<8 z-A*Omp1r_PFZ8T}=dka^IdUR_p@+_IRnp9;FLHwZ?f^ronzPHW-8|H7_X2lHzyugY^eg_47~Bz-G%#ST*eqbvxdlkO{> zIb|yg#iOZd&(*{$g6%Wq-?8jUat{ z+rr?}m~_g28v-U_TqlEfgbAz0tFatvW>Q7J8gL#i0D~k!=TtTtHZt=OQ-}>uL4spH z@_IrFNYYTW8P!JQZfI?@^4_yfyF2nFLZW@gb6}csCsnLlP0SMQqrAhczpF%3Mm|V# z4;)}UO+&sz1+RICcyg(69)5p%jETfe;5%leal&-mn-hI?F$v|XFF!;n}$`T#H?sfkQ-PSj# z4Vi%r3?OP7Ewd8%rT?`L3r2%rfvC*S{-jzMe#8=jdJJ4$UyB)KkfxM;XFbt?M%3-xRc2S%sv<8yFsLFe>bPw%^R66**zdWoIpk?E>L|B4xthj* zZ-hLDqZNV;E^91~2YwFl&Xf;F%NW(aC#$@dpJ&Axr5aRHB|E&8QTpGdll`P1+ zO>n^#8D7Ft{^W^aGKjfnZLq$rEk78TJ`xi2$a;f8iOIOtC{@*VNW=URm7M|qaWa@vS9^pAq7DKp>v;d(tW$^v>n0^S5J@ols=r0n)p3xqcDQ0?E?^~@hKDgv zA;9{6V8!hzrpfI=G+HKLsqSn;E3;!GP}K7918oeM0v{F15Liuxy>oOYUDGZ+v27a@ z+nCrkCbsS57u&XN+s4GUZ96&hydR(YK5L!+Yj<_kRkgeJTHU=@)z#av&Z2-2HELQi ziuJeDLlIe38YYvOq3v?bY!(bD5Ai?sVkRb3Ll5(;<$?%QUZp>V^Pi@*RmqVka4_!4 z1o-}>L?aVkdnZz$04ulj%oR!mfBbr-iPXAs%(hBC_8X$K@M!s6ntwW7V&N1;gUS~Q z8v4-}=djeQbD7d8LxZM+Np=W0{|+;!8oiszv0ME)vi)n}mN%Zlzln7s!CAS!BNHo3 ze8w#Olyz}T$Qc27JcIi#ue+hNSzlh-KQ4$Vu3=M@X>uCg*j!?$p+jG zdfZU<)#iFr?5KMJ#`S7hy>1dfSg&#Lc1M}%3tvn*xfWhF2p{{y`(g&*NBD@bL3l2Y zN|btN6c}o0c+->?|MsRMFwVNc3h@U^NM>WUSjgboeL1l_QFJ48E@0uAQ#R24y>5Vv zZY{^{T6j+-@C*|q2UQBhwZJS81#zsoy3{J6V5@ThpS)NG0S-(3_+b0HPgdNn>v-O92CR8_76zxUq+pOl^X#?!G&+?6Y5;&LL^OXw5=DjcOKAOSS0AVl0)azDj0G$G(&Zyc^pTOEaIPc<(*5h&5-bK@chmE1q@e;s`K5$Dr7y1(;Q>TfO zdX$vch#20XjuS=L@@Fq*6%3Y1%%?ny>e7H&*@%({xB`db+RmSx29!ms;e{o+ci`ph zaqx;j@0ArWjql`cqKTGJ2yTlE&gIB|kYRI^^qRH1wlEdLDu-2EI=%4uqkBj9+ejl5 zdib}!l;0VpIq>CFCIhY)u`E8~=V!biM9Lo5HinE={CGi7yTY$_gevPt32OjnTdn~O z6W;NKteb+q5OaA?rsySGH_RcOGV`ZuOxdj7+|V1~u4=%>DgwBM<%mH-5j}eCOjaQQ zKVBk}Ul0vcs-E;W%6y2-l5egJ6TO=$8|l=~;S1yR8)DyKzxLIzdhtt0XlWvPqw1-j z-1QDEt&OKpj0~A)uH}?7Ha5l&KFb)=DLl>LX}-}HhrRqJ*Y#zb7=(J4!-U`ON!D-*dbC4Tim!Vh5? zPf>6nAOpKwCFl5oQmfHpOin$D2%x_JP(sz*y_& ztq6cI6jHxsatd`3hBGQd6&5I<*#2F_Lj1EFrMw?Q=pt)S()a2Xja5mZO26PUzpo5H zn38WesG5nsrE*X*27BtC3$eMwO}AWkCoh=4*Jh>Kmg8`a8KjHXJNM-I_6%;1wk6mj z&7wI3re4h@i&P@O+@aPt%xrDVdn>j%ou4rX*G-Vm84Fzrv}G{V$?m;FzM-{pJ*=vk z>y?YaJtw|dsr6ZV`x~C*z{S$G>z50lg|h4(rI>FV!T1&877y%%U(i2?991U4)M|nkD{?=GiSXY>%8Nu$i%@J^2Ei%qRSegLbdu!Jzl} z>Ls#Wfx@x+WNWL{70!Ea**#`o9fi1;QsBuzYEe3cufdj*yhXfC0Zh4+g6lIt5w1+v ze}VkBmT-KGoYbn^Y=KdP7P3kLxdFWtFpu z)?hNO&yzNkrG~qp%x5>J(2f*jsmMY`aC=yb{)W6Qk7eZZl?*K>JsK&!DZ(knBiRR6 z=zXvy&@qnYE{)qkX&y<8S!xM@7CSwjY5t%^c!zEE2em+4O$@1$SfMzLKG_UIn*rGc zvGKOOxv{2}D#wk&j&BV#Yq+vR6l`Xyn=d0FE4eiQbAnn_xf>NG zU=ugmdM|+H}4De?oG0Zvj?>6Rso?jy=giv!FO%ART zGeN4-;DfWeKzrnC1;*JR>`$q7)4hdzl4VuUF&T;Uq{P3Fb*6&TC6QGY)><}9jGQ*@ z8nW<+74rlPoosi=m}XA_pmQ58^JP(6s4u>>n&hC57LvolbVYV<<&{HD>ThakK)qdI zx&Z`D!->`-cFahw78y(C1>OY+k-Ap*0BJk>8^cq&xE*L-5w}{{Pu0}C>;3*KxB`D1 zgYEE#=oK;K5aIf`d-=>*lazsb_3wJd?ss7#?wj>hd@oko zrSRo9N(a2~t#XW4C=o_273xE^yyLgctJBT&Jba;#%Uk*RdEsC(!C>t$=ts$;`V>gH z!0OxT$#k#iUTcJ3t?a>!X%!USsIY|wANE3QLHwBx;bW;3!{#en=z2SE>nC09 ziA(peMF`&s1`avEWerxN{6sxn^#0q(NSv8BpIh>!3_OQ=3=vKep~DIGgD5WKomUiA z?<^K$(8v=Z?Ia}Frr8w&lB80TjCmM=zA=S>uiweAW!FZ`{N51kD}*qn)idFzb>a7D zmH}v_Xlb!{ggkx9Fp-(+xukmuW=8w1OCpVhsOx@q22C+Q6<$iZb@9=P4WA(?6l|jIRpmienO#gC6vHuQT&28_oij$>q~KeQ%;bfq zan@;6xjt>Q>61B#r=L0t5fHxWZCtrn6K%L#G?XI%U?7n3%yeaF6wu#Nl0VY1kt2cq z*BFtmlD?R#ggT-xE_?A*Kjq(qiU{4~nqr$KY9@H}bhUpN9B}D>h zf#zlU>~N1wSfg^WKq@@tkG+!C4w^$ulpSK}x|12W2StH#(|!zia8KVl2S4wM)&ppB;e!`&?G6*j0`HZb3 zq#esSGG~}uJj=F}J(TSPa0fdcX{MxjEUTAjWGY5p>r}K1t-IC3{{kbk5{JEo`5k>n zxxnR(oLx3u9X2~FD7nF~c>LyhEYK5%-F-5fbB5*QP0ol6&v7WTKP zovO(MZWfF~d-Gas3`iK9YvD`c8>u&zI=g>xbeE{#IPdN}faaT{+Mr}GU~;MILa`{X z-%}O{NBShu0`~fqJcHRf0JXhmrqNTTkt&9F8_aX8cOEPZ0VX9ZL_ZsMEVFtTOdBZl(7}tH4<8+RykoEK z`r$`nAw3e=I8V2~i%SUDYW1=|immefMW>rE!9ge=dSSgC{~7*&zjnbc>< zwh(FT!PfhZ=q=T(xn3++Kn9KhTk=W40XpA5er=A$os^pGX_{RZjwf;&(W~JA(kC9j zlE3K8EPHUY=ZdZ+j=Hey%pEvXXX+Yd_v~|S+z{f|c%i}>SPoIUe z``EHU{2PYtp{I|;5_F=-&2&g3D4F2|ocST)yfZYA{s?J(GQz;^YCDaz`~!HTQ`0>4 z@V)n3q3^4#VuicuzQnax_ViDX3H9=+$LvY6`_QYhjKm*$NnRffjw|{Wl|M=!O@Vw)zS(Ndcc29nv!YgYrvGc_rvULy>Af-Vc==ohaA$dgpSa} za;$sBQ-%f8$MA)_5ERStPunG15ISGod@sYq%l;bPP=bL{~Y9&+{_EycZ3JM>$IMV zrxaFyDB8o~KN)as$&#%RaKcGIf}-I*`6&bbwn5b04%)dj%SnzLY_qvtE_vQ6A1LQBG6K;aF%j(DkUHGkh3iU{aL&?|s%G@*tQ@Gh5I-H$hT|Al1H+kFK zzRU--3R~g-Dm94~iL76pf>dZEotQ!}8yI8i+=8YkK+@e_V_Y&`!k}m~?kqJzR1_Hz zq&>c+w0AsgeX0)dFlJw=B>6S-@?56Xw}AW(ZB}F}58$ilKOh7Hf)9mVMR^<3Bkm=2 z?r7ddUU#<|lbsTI@O3S=q4WZS`~fi!WYvP$wBKyaae#f@#K;5{Fq02OSHm;w2=R*M z(<<%!n#=pm*$+rP`1v@ks`qi`VC3i4$MZq}mPE)(=m*aNRgODMrPh5r2;IfWjOh8v zaqDx*3b1N&^`UaHo5y#p58{1_qU=$}JhN~hPI}cc`QTUbA7FN|Yv#|=`g|@~VaHvqNPpkKCKN=a zBzX7EMH&6&0R~C$GV;0BSZH=Qh_o2N$v97RM4o^$}I+g_D50wyG8M__zQ_c}%QknI5 zSHMc3NM#@I(YFe%=S@e)lP$zZ7Zb27$y_@EO95&%qcD$)kpQ>jhsfzUdk5I7g`ss3 zO5mh2NHtc{?^pRd6!hF)RXA4Yqyx;$Slbaur3Jp)VYXxAO>Hfzq`h?V9eyihfG|QL z4(p9l-0*hAmF)09l}J(0D1U~^_SSnRJ-}{E3?kkQ$A2kU0Cg#cWJklKReqNR5pDD> z;wg=w4>qJghDhN))5DxIdYhot9>x?_kk17nMTqJM&c`hT!TAwO)>Sjb0bZ~3k<194 zW!x&m3fBYLw+zWbjhvTe$zxMPI)vbs;ahUWy$#nfle#+mim)0=Y_094I z1BsqHGTbQSQzok**(PDxw0`{!0R2)^O3(7TN1pAjHW^Mkork}f)yxtZ6j+=(6L1PX#ejmJ znwBKtw!3@{nv+#5x!|)uthgiu`|&Om1M4Gc1c5lYtbEiW8}Qh#jp_=Br1$eEA(>I4 z(NH%QOt2$JcTsZpKIGvl-gXr}ji)7cYPLN_o2}&6EO&w-v)ZW^laqX!EAHI{eu}!f zd|Yz1BWC&;U50 z>)L)^6mI<;N?R<}G{&?R^BtBG{zi;D5E)zRMn!uBE4MQoE9oy+H}|98%b38EV+eRF z7Uq)3^SIfEj>Kov!sh4llaX_-i& zf4iGn9L!@(rgy$IJLKw(|+NYBQ~=6n_uhz9i_mqMQu6Z z^Qa6aA^u9pFl9_r1cY6GDMjko&k!6tYDv%|qH}-H9a{Ot$?RG%=LjGwI4tme>0ZO_ z8{#9JMFwmjS{xiub4?h)<}1)KnLugA3^AC~PRLfqid46N;iq>Tqnjs@OI$Rhs^tgW zaY5Lj7`n9&bXuAVzi7J_)+$m;<0?+Bd|H+-1}a!m0EC9{0Z70>)*0w&Lnp58BSKvI zKU)@KZ`}6jR;ap&BMhZRiOhGCo`AsRD^hyX(SiR&RD>eUmV8tEw(*REpf@&(F_F%W zTnQ{gM5NYm<%z(%YVM^9v@iF9g~reF1dF z>L-O}+>m?T2q4^0p=d_97HdbfM;_`SB90ez20pQA`tr_x{_|z$nx;fc=sVFcbwPGA z$nAW9v-@!Y<^IqFTPhD?&=f@U`CFi|6ujKYBxyh&IHL%JB>+rW%DQg$S^`ILW;Pzp zG3WIpPO!4WsfE(3UdHg=M2QI6*v81w$-!9P`ah$TTy`Kva5+(V0eShBWp*HPpcD{J zAYlZS|Bo?|gN>Oz0r3bGjFX*#?LRb~lz^7MoQakgY_Q_ukaL_2;;!P)GlZLP0}Q>0 zAh4U8aC30Tb3dyH$smdGBtvrTPEZeVc#nCHJFmZM9=$D>(%q}^mVKVOYrJb%r5`lg zwFz-BEKBoYHUc7IGSpxxOR5J(5DpH#$0sKyVg?2aA@1$`zl?|VnS6;i^y%#C006L2 zqFgWVE`Vbfffb25d*Cj8{HI@drQE2yU`;?@7MP_#F2P@` zSnTj9^3(W7UnRen|GwzqMEU~9fm2|DLc5BYxb<7-LK4<<$g7FKm7YQeePdNVnf{=- zsagH;+WPuc{7(Ijfdu=-jRou1%F*G!+s)95H-mlz3T8o7ZtwZxW(VA7mjTfA)1z?3 zFydQ*fprAdA_4K~;lwP3oCEidgZo;{<^~0Fe6%}u3E}*-h&#rBa~OxV!{Nj*HKp7b zz&l=k9~(fFhjh5;<^g0^l57m&TzzBI2K8B60a*3-Psa-oLfYH~RSv$P1=8)l>Q)7K zef>K-JNxs2f0g1Oo`KXIzXC*Rj?bY#FAv_0MO_e2uFv+M8%5ZF-~v|#OiC|vFx_7uQxRqoG0J%P2(N3Vx8;t+ z-B(+Cv%J2czP-D7xWL=r&cbm4E*~v&s!KxMrP5)_mKQBN0Fr?B${ z49xG#YZR=>@9jgCEj9$_YR^v^hU# z`Az6kc=08gKgx5%FAh3t_=zA`|LaQ>7+5@TV+)Y~8hdu+_XR`ThWiZ`XC(Xm>j3(; z^NEfoZ~mb7r?tmAdgQTa%!#|HRfd~x*CzeYvU>yo$h05H#_{Atc(;UnhRB5;Cr_4|=U zE#Jpq!|aeoDa^SKcL+rqfv#7`CEt+1e>GwPD?fkClWS2KKC?Gqu;lQI{QN_L-O-1- z$>Zb7J25hm9Mu;BLwH~5&sV)?TKNIYm&&1K=xya+F0L@R<6|#b&q^O|Y_8?dPbCblHAdf3DVi?#~tx zS|3mK%EC#}i&?IxLM&RR8=yY39~KHQ%s$eq(VL^ciC@cCA&rc!f(omIP`4$4W>#_P z%~Q57@Y;Lw#rWS=kF&-v!pgUuBA36=J5a`MIRT{8#xIjsfgMrIMPL@-N?KZ}2Repo zqH#QQ5Y9XrQb4`;ij4`_0aS5BB>XL{_vRVsSD{7j_fzcJ&7HwrS46g%=c#!$TBM6_ zi_f{i?FMmP{TM6b>SGe@mu9m#DA`7m1nh$cYGL{8%7*bi^`c4HSW8{J8E)P#Mmobo z)PTO<)+N+Zz9qX4nJb0z%p#X&#iSCkYl4l=z6T}hhYfTtk-q$>_Wi_HpAZIq6SG8% z_t2S^i9y?&9y6mw9(ZoF^;4kYLB;nZcUMKmYKN5}DoISS8Esm0h6@6^LiBvznEIP~IO{G}>I;V%VmZlC+R^ zYP^JR3Qg0n9CVHAkfHKT9jjtnEe1Wmq~dl$$%`obr&I z5FlEpsSm9%cYfjef70wu+ZHu7qyfh6Kxe>Zz)e@{eY$sY!=0D#jfl|E*3^}ehH1be zE^0@Q3uJinnD=P8vCc=kc3-&68w}_=awM2O#XU$TtC26>&mfg&d5r5eb*zKZyoe-| zsYkmICUzj@+^WKN=Y1)bberGZ??yS~k0%N@N2AT;2S&VOyeU4l6#3sQ90AE@fe)_c zE?VtP=e~(;6F-*}gB**#cG;OQH{Am5Mmh<5cu#g6HssTeiWYj$k}dQFVM;@*ZiHN9 z8czw?Ok8Ot=zj6L{JMh(zE&U(+5sy&zu$+?BL1w1Rx&t3+RCn`+Dl|emacy6OqnDe z#8SeidL|@zx@8)Mdz*G~;sPL0CJH$zm{|-uzro4FKQ0Tw7oKKOAupy_l)PMqvOe?K zCkUUxL6<0Pbl+u5BbX#ydCAi~+f{MQ_ofT47|b))+#Cj#yU`vXMT>4b{;m3u3X^2< zMx$R!0lu3vfiN?C(A^LsKUJ3}TS3dretd;{%`<&CI1$dYXKe!S(j7`RKl{?~ zQ`x{rJg&kI5f6zCtu~LVx51F)2zN4M4K-DUiJ`nNOlg8KIt9>BD>=b*S7$)=Wp2;f zlKkFLE`&iy!CBmgO_gE$BvLgs?Ljeo=wbdgAd>cGBFKhu0W?RTss>U%q3tT#VbW-!PvF^8~6w@r}^w z^cmFvGtHMbX$5F|bt5k)GVFpu&$-o5>N2uH?H6 ziz9{eQ7Ay}bE@T5mfwx-D;Pd-Zs=u#H(55>E3FL8@uZ84Zu2Di1_7r7t!>ft=JThHP3W<|+iuH}`Qw~Uz~C@8 z0f%x!a0_;5NMP#UpH$p+mx%AYA$uF!k+r5<{pFi3f#!ELJ6Kwu>J@1VEnYFKCW=H~ zO{2ZD#HNyW2t&HW$?-N2&~Zh{zkdO%lXLQg>Ka1qv$O@f@wc9TASk$GIDY>S1_H9c zKlg}w2SG2-oPe0->+)`&mvVDx-$vCeFy}9W#vU89K8>p{B}IOuN|(4bE*UmZuzxy9 zEyDmb%<6HBLsNTJvk7&DC+0`6)`xX~ z0a=$n1~&AWp!+YJIZKR#lpGu9o2B2M6$M3ivNwSPu&RG1Hmvm^GxO)caOq55mBq z+)|~&dfIir3kXV&sls%4{eT0vm}^>?M1|^yqAt}ZuJ`9(bqyh@_gdQRVsiR~-kv>Z zx+-c9&x<6b!pMQA;o6b%*85A=`*ZF*UQsOg(ZlxCXW1`m={@Yhj{pbX8qCNSAm{y% z?A4o{CV(T{0C>%U(^*3|eQW$v#yPTAv9QI_CI{-1g<&TMc<|QA0{MJnpO!^7<48Le zOnELl#hxq;K3C+k1<)KSC0JLcks8Qv+K5_nUva;4+RXvkkx?9zW&McH^g<3g)uFWqq6(UVr6}b6K56_ zzLM=ByJcM~wVoip=`agzu_B3YNwXNR2c$v{mB$VCg1?D6L* z?#<~T?@M@3WQ`}G+4y73T0a=NC0}yY6#R&GlSGqC7QgDvunVHo6^rzliwCk{!nDS+ znPJCGj5>v_-;kJi$aF5~s$!1iezOro0FW{$>cGaKEew&2=%NaDRXNYLZ-f}teJHXWIc_)2wH)59;}vwJ z_K+Zzdvt!8_hZBOj~1Wvd?s3m4}}oGdenonQ{nONS_)mFhX$4e^MO2Aj@!qX`|8+; zhsUo&N#bK`zDP$l7`y~F!*9`JP=U^~J<)rH#`422P;%v{NyHNXBHXf*@!pHcTQaZU zyv?A8DA%Y&M^Wy7EvSW)+6KQVrl3BAzHW1#_mb99ZxLtvkGY9;!_CgG*%U`z=sS&^ z9x>y@zv0MF7c3b1)OP}uqk8z%SBDdl3?ciVyc-8nx+&EUGN|SRCj*vQW6Woo7UkW$ zl~+0Ku(4HdQa1$wjIrU-0@!j99_(c#fiU-1l#~hM?u4VeFYZ2TLL&6o0s4f$FB4UYdQcXx#H8h1K_7Qf7lBM{`s)Rgmcx! zT`MH*j15+(j(5+RnW(T{pPoA>pENvwWR;IZcelf}MMz7QNE zB6|y`9c3hO^^(W}L)Cqi5R;59wv^cKSCnwSHe_~W+@uvvsXd^ zKJ32@A--NmAQ4Q@-%f(&0-p@~yr7MJcJWpuxw4ys6zr)Q_|hw?Fnk)v#On$3T+=el z`UuemD3$L=)7#6;l$S6K@Kr#56$abE%tYu#i3Me%FUxw-XQ^!_j{_JlJNA@*xOf<} zR<|&1u*!FbJtLk!t+!ndv8_CbxQVOqos>298zZ+&?GtNwEwDyr&CtM(7W()enWKr7 z@cGuEF_N{R;$qW~=qP2#xSHLh35&97>T->M2mU@a zI>zOiCc+((9%9n#NZnEfxGQ*whTggt=WAVyH|PoFY&)GNeu;Qj^d);&(FmT<{#@cX zkox>vq^8;(y%UI$;>!CT&DCe%@MltkTsKv~91NdE)1!k$T4jl?KDB-a=T`|Z9L!M< zpz6;Im0rvQc9^ELH9P7;0LfjtC7=1OrO`EL*dJEQ9Rd8I-xqXgI()_W)gG!ofvUfi zQWxXSt)#<}bp5~Ok~=>z2|8Cu6r(p-GM^8S0pe~ng<%#4bdNDLoMn_C;c6Q&;G{7d zd7x4I8T%&(DSh-W%KXYbMsnI_UiXTV0G1MOhS@AU16QI3%!3QFa}_d*dL}kOT%^a7 zxYF#3FzI?Q{g;=Ufbmd+)LKhVxbKQc2J5DD^xY$jYVVk}F)O3)+SAnM?R6>o3@)*D zNoL%aMB`hBe9vpij+ds)qb7h)Y5i##QH6A`gYTL{rZAt8p1Mr>FI!R;m`T<%0N*|o zyi?Cp7Ud|f(I+b9IELrS#CpqRcOo8hsQY0UQirGPSJA9@q4a5-ZR9G9Lz|LHqCvC# zQ4^o(qdK|8L)G3byLy|+NiO>*!H8VY??a1-i3O^#aTQ~3cX~P~`a36ooAJ!+puvHJ zv)Zmkw$;!i?5k#%M#@ykbnD49Ks+n2U_b)5Ycpl0mFKT$^$ap$#e#d0I2>yyzZxS0 z8jAIdmMcb`Y^-<&K$*dSUh8Wu;#_J5!*^CeV5U7w5CFp@?Ow6DcN*q%G<;aw1~7=* zUx$Irl{AAk8{UV{=Q6L_Qy@FJzKY_kQm@B$dqq(^!LV7{|~Gaqm9=gCrqm9 za+~#Wy=1PAZLjA~y2c7001ksPiynp(wu3S3LnWKF1DCP$sYd%qCR|g&xV<7F$BnG* z^+`_54x|L63vY{t4Wk3GL^AtbA<0i#<^IdUrXw}6fF<6wFyjz98ts}sCqAs#P$&PV zdeohEVJs7_LbBAMZVhN=9MC*>TY`g5xDuDt&Uuu>0**P!8ex`BfF>9FG7M(s-NEFo z7Q1rH{3r2hYW&v@tZY=fAR6Cgs%yftBf~9`6I+}ky}jL4I=nJlje70L%DADmOI_3Q zMNz#&6L4ZYHg}|}Sv5snrst7WPn}$b=Q)4*0!#vmK(Z;OP4Y0o zKaDrply!U>LpW=d-LLku=uP&%jBCqs@r<9CL-fd5yi zvTH+3##+QVa}Kjf^>Q1yb}a zwCRO!t!BAMfZm6Msre`^ME(%b*2xx%3?0gF!4+r>^J1|LP%;7&X%?3LgEAm3+n$+K zrC9Pruo)yg{&!+B4!mjF(KoC8WGB&Z5NfJSq1<&>+2U{~v;xA@f{P7;;$bH|-f8+; zOCW94zYR%Pb<;|6lp@N>!5+Z@-8y&6T^znX*XuAbGhmyI>RQXG85{10DbmD8+j0 znmiA7)rrQRor9EDDnpQpGT1*G2*)lynPxv8;UTC72p}$3ebqdV<_;X(K3dIyq}d7y z8uz$lcmlbfc&o5vuVtcKU(9Kv5w@PiG5_v=V8g=(@!vT^i7*ez+Go?Xp)sUG$);}2 z`&^-QS9AYbh_q)Ml_*1Hj=INEab(%|=8Z0b*CF=yAPR&hgAr2!Dt zF+|bY&nVFJjW@DlE;<`qM@(D2PYXIu|Dfx~-sCj-l$cixtRErrCh;5+@3D9i-qB`%;TX?YTO@m{d@zWPyfDW9^5}e|Yi8J<)eLmev|Zi6 zs=!`^*uvIr2GSOlGZkzIfxTka5CmvX7*Q3m5zd7LrWF=jNl~3jiwykOPq9@FjL>4_ z&7u2apq#AL7lO*<6+;C}0Mqn1ACI$j}m zhwh9wlv^i)ZbWZpySflm)R$2GRA;Z?e|2eEkT;V(Qfv(5*z2|7tBeqZv5cFpQIkfAT;SN)I=P@brn@=eQa$ z%G*KA;2|&Dzz1AOu=e~x*9+jZUE@SSDEk>)WJX;frd9%+XoDtEJ%*JPLY7HU|Q`1@PO#8&fY(@@U= zTLOYmRUBh6_ZD->0|`(XjWIMs1T4r}$4&(=+1sev zY!YPVGw1#Ww#NHpM|jKvaYZT0H*l|zzZ}tmlS!F67?wk4rU?Kpcoq9wtD`ThgA` zaHgZDlpJetRpN#EYH2{Luf4vrlW5OAAemym#z(#BL?q2hlWoL5V5T~Oxx)$Z04ZL} zY?7Y#9ZHkzT4#We^>oEZB)&If<5*#4&lafju)4}{Kc4SXdd0qRM@`Gc8vfC5uPDij z2a!LG){bATu@vk-A>{*NV8m8~jWYa=a!y$Y;P)f*yex{fR`C?s2cj}{W1yVu1@FBV zQcD&SJr_w#>wfdamHmuqdB+q%%CGJYGfFlxmaL^V{2}0)42j)MU}$%vXW*aAj<~q zUVoxcY=^%scpjhx3b2XIC&02tC#{xI1k4Hj35^uKR7tw1)}T*e<;^rK1rtgd7K3X# zF#cM5q>2D^>^!Pv_RgEllw<0Oo=H>PS2bOvGssE>q8@u;ZHd-%pNeEOE4LS?BfP)a zO;hHSo(Edz)08{(w>=9K#DWmSO#^YNHLplM)XKa-`67{ddWM{<=ZrF_WrqB8+~tKz zczv_XA|>%xue@fvy}k^+od&Tpz@Ei*n4&`9Zaf9l2QX}3eVFwU+j<2}5AI{bTDY2lrEwFI{wFjyeIWPw% z+-a?~gDDAbVDNiDd5n8&7CB45ANI<8re)J<4(WCMSeBi|1A2H5YXj7ijuB!IB{CkLe~&5ZxjOH4Oy(m_Mzk7LZN^eH!x8MPC`A5q&a>G zf5vYU)ayg!9|r7;XFlL|9d+>@8`uzEVY-F+>_8a@2koi7NzjDGKGo%uzS960X3rfj zqpO+8_K;#98Nq+nY0+4ZHvC5DWZ}J6nQhRyqfI5$k7+Mu1*aI&byf4cTUMU-Q}PGU zGL9C;*D&C9#I`j4S`)KKEdPcgUl@$Ss`l?n-@eyPSi`vg#*{s|4enzhP!qqGUdh6jt?T7 zYW#?V2|ZruL&zjk-Zor`YxJ^bM{EI9Gv^p8&0@M?R)iT(GgUEkapKytPKZ@^;dUWh zBv!Q8&%RkeGjKk^jWpCwtt3pt)>~$|%Ja3C8Ni-man#)_{h|5Eb6dD<76$#4CxwxV z5D4?6YXB|0*9=bJ1RVtuBLOefs3Zj5ea&Sb&ofMqW=41VGWXG|H*~u$}J5`Ficmxv1 z<>lgtM)3}3`uSlbIO>6yIB2)Xg4g|(Rm`3}f;!M{Q9mo~W^>ANQ1rC{@ePg!@k1{& z+{Qy&B0rJPG3(S6*DUFNV{ZenK*ELnh40K3v10`Cn*x-1pl&{z@yBv(;yzYLN3KS6 z($JShjegUnLH`<`mq#}d5N=yQ&g|phx>fMOtMXDV&8NVZcJSMA+Mlarm2h0(fhP!E zXv$l3o1hoi;5pSKn|gZMF`bbdH+l7mwXO9N(j?FHzlfy!I^{2lC>+d}+;B ziCYi_qGrJQd$+JoE0_Llf+cgP)GXY}D1Up21#f1`?E^nZpd^R^g*MP)MHamdf9B$g zBgF*qHMz1^>aWf2d{Z{7ysKIL+LWfoD}Bj~4fBT3Ye!6Fq(bc^#B2=y?yDJ8=D8ll zdo_TA(b5}~8fF%P3;BzrCWZJ~>`$q)afHVv~7+AkYmcqx_ph6(R zCETd`zI0e59OkY9*p6HY$Ty^D8Srs8cU#%HEEHS%0W(-9u&EuObp435UDydPiK`4(ok%wLf3268Qjrl&+0g?E zqm-kUr&pxcr#GNCq&Kv+w$`UNrnjWGqPL~DwK1l*Gj=eyHKKQ*cWOz}2jYqNziZS| zmM?&U{vQ~FOCSy)ww8=bATMA<21X`EHWmgJ7HS4Y3I+y>6rvj-lz&V4Zh-30nb`>$ z{&Nu85JLaYfSHkjl|2RQ7Kj3k>7SPvIG9*d1a5&)fEZF#Zh=SvtQ@Rt|ECF@*B0>Kfpao({x={4Gb0D%e-!^)kKum< z$jJOJJtl_#aq?fbOiUdAzW_D=2br0Pli^>tikX>%X zKq!EJOq_w0fr;&(b7W;;`xh+h-%3S>f4FDm;9&cwjGdE}<)7}^IXRgb|1Vp>|GO$U zINAT1X$DRP2Bv=)GcqtRGXEpMzcOZye@ujtk%f(u`M(4FE92z+?=stealth', +% block/.style={rectangle,draw,fill=cyan!20}, +% comp/.style={circle,draw,fill=orange!40}] +% \node [block] (re) {Receiver}; +% \node [comp] (cb) [above=of re] {B} edge [->] (re); +% \node [comp] (ca1) [above=of cb,xshift=-0.8cm] {A1} edge [->] (cb); +% \node [comp] (ca2) [right=of ca1] {A2} edge [->] (cb); +% \node [block] (s1) [above=of ca1] {Source1} edge [->] (ca1); +% \node [block] (s2) [right=of s1] {Source2} edge [->] (ca2); +% \end{scope} +\end{tikzpicture} +\caption{Example FTA for a Gas Supply with two Shutoff Valves} +\end{figure} + + %%- RE_PHRASE %% %%- RE_PHRASE %% Fault tree analysis (FTA) is a tool originally developed in %% RE_PHRASE %% 1962 by Bell Labs for use in studying failure modes in the