From fa537f852e7cf87622b14ea3ff5b4da694b1eade Mon Sep 17 00:00:00 2001 From: Robin Clark Date: Fri, 5 Nov 2010 18:06:06 +0000 Subject: [PATCH] modified circuit found out parallel on the top 2.2 meant what ever you put with it gave the same offset if the main safety resistor was OPEN. !!!! --- fmmd_design_aide/fmmd_design_aide.tex | 93 ++++++++++++++++--------- fmmd_design_aide/mv_opamp_circuit2.png | Bin 13788 -> 13947 bytes 2 files changed, 59 insertions(+), 34 deletions(-) diff --git a/fmmd_design_aide/fmmd_design_aide.tex b/fmmd_design_aide/fmmd_design_aide.tex index 5f519b6..dc5fd36 100644 --- a/fmmd_design_aide/fmmd_design_aide.tex +++ b/fmmd_design_aide/fmmd_design_aide.tex @@ -7,8 +7,8 @@ safety critical designs and identify undetectable and dormant faults. % Once undetecable faults or dormant faults are discovered the design can be altered (or have a safety component added), and the FMMD analysis process re-applied. -This can be an iterative process which can be applied until the -design has an acceptable level of dormant or undetectable failure modes. +This can be an iterative process applied until the +design has an acceptable level safety. % of dormant or undetectable failure modes. % Used in this way, its is a design aide, giving the user the possibility to refine/correct a {\dc} from the perspective @@ -24,7 +24,7 @@ safety critical designs and identify undetectable and dormant faults. Once undetecable faults or dormant faults are discovered the design can be altered (or have a safety component added), and the FMMD analysis process re-applied. This can be an iterative process which can be applied until the -design has an acceptable level of dormant or undetectable failure modes. +design has an acceptable level of safety. % dormant or undetectable failure modes. % Used in this way, its is a design aide, giving the user the possibility to refine/correct a {\dc} from the perspective @@ -37,30 +37,48 @@ of its failure mode behaviour. \paragraph{Overview of FMMD Methodology} The principle of FMMD analysis is a four stage process, the collection of components into {\fg}s, -these are analysed w.r.t. their failure mode behaviour, -the failure mode behaviour is then viewed from the {\fg} perspective (i.e. as a symptom of the {\fg}), -the common symptoms are then collected. +which are analysed w.r.t. their failure mode behaviour, +the failure mode behaviour is then viewed from the +{\fg} perspective (i.e. as a symptoms of the {\fg}), +common symptoms are then collected. + % %From the failure mode behaviour of the {\fg} common symptoms are collected. -These common symptoms are in effect the failure mode behaviour of -the {\fg} viewed as a single entity, or a `black box' component. +These common symptoms are % in effect +the failure mode behaviour of +the {\fg} viewed as an % single +entity, or a `black box' component. +% From the analysis of the {\fg} we can create a {\dc}, where the failure modes are the symptoms of the {\fg} we derived it from. +% \paragraph{detectable and undetectable failure modes} The symptoms will be detectable (like a value of of range) or undetectable (like a logic state or value being incorrect). The `undetectable' failure modes are the most worrying for the safety critical designer. %It is these that are, generally the ones that stand out as single %failure modes. -For instance, out of range values, we know we can cope with; they -are an obvious error condition that will be detected by any modules -using the {\dc}. An undetecable failure mode will introduce +For instance, out of range values, are easy to detect by +systems using the {\dc} supplying them. +An undetectable faults are ones that forward incorrect information +where we have no way of validating or testing it. +% we know we can cope with; they +%are an obvious error condition that will be detected by any modules +%using the {\dc}. +% +An undetecable failure mode can introduce serious errors into a SYSTEM. + + + \paragraph{dormant faults} A dormant fault is one which can manifest its-self in conjuction with another failure mode becoming active, or an environmental condition changing (for instance temperature). Some component failure modes may lead to dormant failure modes. +By examining test cases from a functional group against all +input conditions and germane environmental conditions +we can determine the active failure mode conditions. \subsection{Iterative Design Example} @@ -86,7 +104,7 @@ are detectable. We then design a circuit to test for the `undetectable' failure mode and analyse this with FMMD. With both {\dcs} we then use them to form a {\fg} which we can call our `self testing milli-volt amplifier'. -We then analsye the {\fg} and the resultant {\dc} failure modes are discussed. +We then analsye the {\fg} and the resultant {\dc} failure modes/symptoms are discussed. \section{An example: A Millivolt Amplifier} \begin{figure}[h] @@ -162,11 +180,11 @@ we can represent this in an FMMD hierarchy diagram, see figure \ref{fig:mvamp_fm The table \ref{tab:fmmdaide1} shows two possible causes for an undetectable error, that of a low reading due to the loss of the offset millivolt signal. Typically this type of circuit would be used to read a thermocouple -and this erro symptom, "LOW READING" would mean our plant could +and this error symptom, `low\_reading' would mean our plant could beleive that the temperature reading is lower than it actually is. To take an example from a K type thermocouple, the offset of 1.86mV -from the potential divider represents amplified to -$\approx \, 342mV$ would represent $\approx \; 46\,^{\circ}{\rm C}$. +%from the potential divider represents amplified to +would represent $\approx \; 46\,^{\circ}{\rm C}$ \cite{eurothermtables} \cite{aoe}. \clearpage \subsection{Undetected Failure Mode: Incorrect Reading} @@ -182,23 +200,25 @@ allowance according to EN61508. \section{Proposed Checking Method} -Were we to able to switch a second resistor in parrallel with the -safety resistor and switch it out again, we could tet -that it is still functioning correctly. +Were we to able to switch a second resistor in series with the +820R resistor (R22) and switch it out again, we could test +that the safety resistor (R18) still functioning correctly. With the new resistor switched in we would expect the voltage added by the potential divider to increase. -The circuit in figure \ref{fig:mvamp2} shows an NPN transistor -controlled by the `test line' connection, which can switch in the resitor R30 -also with a value of \ohms{2.2M}. +The circuit in figure \ref{fig:mvamp2} shows an FET transistor +controlled by the `test line' connection, which can switch in the resitor R36 +also with a value of \ohms{820}. We could detect the effect on the reading with the potential divider according to the following formula. -The potential divider is now $\frac{820R}{1M1+820R}$ over 5V this gives +%% check figures +The potential divider is now $\frac{820R+820R}{2M2+820R+820R}$ over 5V this gives 3.724mV, amplified by 184 this is 0.685V \adcten{140}. +% The potential divider with the second resistor switched out is $\frac{820R}{2M2+820R}$ over 5V gives 1.86mV, amplified by 184 gives 0.342V \adcten{70}. @@ -210,7 +230,7 @@ we can apply the checking resistor and look for a corresponding change in the reading. Lets us analyse this in more detail to prove that we are indeed checking for -the failure of the safety resistor, and that we are not instroducing +the failure of the safety resistor, and that we are not introducing any new problems. First let us look at the new transistor and resistor and @@ -237,26 +257,31 @@ can be switched on to apply the test parallel resistance, and off to obtain the correct reading. % We must examine each test case from these two perspectives. +For TEST LINE ON the transistor is turned OFF +and we are in a test mode and expect the reading to go up by around \adcten{70}. +For TEST LINE OFF the tranistor is on and R36 is by-passed, +and the reading is assumed to be valid. \begin{table}[h+] \caption{Test Addition Single Fault FMMD} % title of Table \centering % used for centering table -\begin{tabular}{||l|c|l|c||} +\begin{tabular}{||l|l|c|l|c||} \hline \hline - \textbf{Test} & \textbf{Failure } & \textbf{Symptom } & \textbf{MTTF} \\ - \textbf{Case} & \textbf{mode} & \textbf{ } & \\ % \textbf{per $10^9$ hours of operation} \\ + \textbf{test line } & \textbf{Test} & \textbf{Failure } & \textbf{Symptom } & \textbf{MTTF} \\ + \textbf{status} & \textbf{Case} & \textbf{mode} & \textbf{ } & \\ % \textbf{per $10^9$ hours of operation} \\ % R & wire & res + & res - & description \hline \hline -ON TC:1 $R36$ SHORT & 5V on test line & reading out of range & 1.38 \\ \hline -OFF TC:1 $R36$ SHORT & N/A & NO SYMPTOM & 1.38 \\ \hline -ON TC:2 $R36$ OPEN & No parallel resistance & No test effect & 12.42\\ \hline -OFF TC:2 $R36$ OPEN & N/A & NO SYMPTOM & 12.42\\ \hline +%% OK TR1 OFF +TEST LINE ON & TC:1 $R36$ SHORT & No added resistance & NO TEST EFFECT & XX 1.38 \\ \hline +TEST LINE OFF & TC:1 $R36$ SHORT & dormant fault & NO SYMPTOM & XX 1.38 \\ \hline +TEST LINE ON & TC:2 $R36$ OPEN & open circuit & OPEN & XX 12.42\\ \hline +TEST LINE OFF & TC:2 $R36$ OPEN & open circuit & OPEN & XX 12.42\\ \hline \hline -ON TC:3 $TR1$ ALWAYS ON & N/A & NO SYMPTOM & 1.38 \\ \hline -OFF TC:3 $TR1$ ALWAYS ON & parallel resistance always & no test effect & 1.38 \\ \hline -ON TC:4 $TR1$ ALWAYS OFF & No parallel resistance & no test effect & 1.38 \\ \hline -OFF TC:4 $TR1$ ALWAYS OFF & N/A & NO SYMPTOM & 1.38 \\ \hline +TEST LINE ON & TC:3 $TR1$ ALWAYS ON & dormant fault & NO SYMPTOM & XX 1.38 \\ \hline +TEST LINE OFF & TC:3 $TR1$ ALWAYS ON & No added resistance & NO TEST EFFECT & XX 1.38 \\ \hline +TEST LINE ON & TC:4 $TR1$ ALWAYS OFF & resistance added failure & NO TEST EFFECT & XX 1.38 \\ \hline +TEST LINE OFF & TC:4 $TR1$ ALWAYS OFF & dormant fault & NO SYMPTOM & XX 1.38 \\ \hline \hline \end{tabular} \label{tab:testaddition} diff --git a/fmmd_design_aide/mv_opamp_circuit2.png b/fmmd_design_aide/mv_opamp_circuit2.png index 31150efa70e7199902c0a025afadda6f200f5a71..aa0655028cef96a082c7d209f6281c9941575086 100644 GIT binary patch literal 13947 zcmch82UL{XmgY|oN+gt55d=vBDsTZoGLjW6vg9BjA~|OX1qdig7DSMoi(E>StRh)r zk&7sjbIvfQ^!Dw3Z(dKY?wK`fNr8W;`p-H0?EQsZuT_=h$Vg~NAP6EuJh-O@LHJS- zgf{^r0!Os{ND06%JZCjIX{f04+5-3w(Gvx^dypUaOH$lJ9tnP*cX*)d3_%wz;ePO- z_(W=Okk|#Gbf0+S!nun#L{*jd!XStdLfn(mcs8;!=H(r|Gj_J&?x)ttNo*aXN8(bb zam}CH_b+ckpY z7Z~&YS``&UZ{wZ0KGyVvDp|fWueshvB7?f2)K`XLkCKTY>5Hfq0;X(BhmXYZ@8&%< zb*@8rFxTz#VEq5RdHK(#&rf!^yn_$__q7v7>o$1M_0-4_x@<)BZ5+Oi4r=@GOoh) zyvn4WR1iUY0rGHvfw^a9(KX+1GT`AxYgHF`b#3ZA1XrG?Ci^SIru-X>*I$2$oObgx zo4q&Ydv=SJmCQv{f+Jt2veJ?Z6DC`tRW!i;OzFle#E9T%f zn*1Y>ouiP3_i3(8xeaRJhI*J?<%}-M(rfo_=EIC9wFMJ<;!?{S5cFCeJ~Fv@n;CIM zq4pgowx~Z}iHnlKD{Ic`#S2q*_V|^Y)5}y08pg)&2f=obOz`biKku(18qU;g3)|%L z9jj7{d8=_t!WY#(Ju0TX)uqA;gSrJ=LS=(=N@kg7ek!Ij;o>JSyG=enID~@zj&nL@ zTQfhK<3@G`wz)v(P0^1Z0pUlh^c0Y!SB47Qd$!Qo<$j|y>L?jMlBFZ=O#v~(XbzjY zVI)fy>ZWCX-U8ok=rcNpFwMZ!Oj!e5+1M;sw$J10I`@<>o^B6JOlOjHDi0pybDtF^ z?mW0LJjU-AZ^9R!)JcAaro(eOOoh+9lbYr#G%2Xz-_2##d5tZ1BVM9#XUN1}#NZl_ zm>9x&j>b|07ja*Vd(zLhbxqut`4yMk8ygSh6|YUI^Mmvt4fofRm6gxWms(YRWAyQQ zQWMy6lyn(AMa%uEZSvM3U2p{@y7ZqvXOuB*?Nr@y5LBQ3N1$8mn>XqH{>4|gQ{M8a z-oIZGlboEnz0E>N*|94`A_hS#FFrQF6Ggd9g7Bb`SMnem{gr;;E~GE7Ra6udJbB+y zrrchYU}i2b$j*^Jgc|%{s~7P{G{sGrXLSoh#Slof$NpL7 zHv`m(@Ya?GTJ-BBm70u8H#-+|QFTRJ2Bds2zes7;Tcl5aM_7f42Z%k<&T=bK>hmk* z<73tN{I+^es*5lf=dTh21qTmQB*elXLPnN{=Sg^!j=Br3ZowrH#Y#Y8kL!oL%&k4Y~OYM?7@Rq*%zU}KiQ?2Y-Yc|iTb%yCGz?; zfrgqI6M~&BSM|vcKR4aImt-^HI~9W>wPH7qO&0s6Kqdtth)KVH>1|4V`}Fbt{;iq0 zH4W1&O|YV4^t{%Ew%9yAx8s55yepfJ)KnN8j-MlhQu*hp>4<&>e?C@5#nJJE1<~3{fGtfXqiu_ct>~W#?p)=1 zHq`6t>8boWt;z5TPrg0I5UhjD2fg=%YS8)Ac?fv(m5$nI+D<*6!)2^=CRR4|yJSHY4cQTtnAxf=;p*yp2!W;!b&+et9 z-tK=CcmC&xX@tByiT$5YYNOD#D@34Tia1OL^4_`WX<#>AgB{_Mh=&q%^1Hb`USemED=*J}%{;t) zoX}@m{+6eCJ!vwo^xS?!qu#&jmc`YpY+U_}Az6l?sMAw8^9wRSevjpv=Wjno6KQJc z(V4%p9a1f-sVQu0$1au@)S9?DZvkxLrs4nfo~&#z2}x0Cp16Ba&(dZ`2QkDr#N$RS z9gMu}foLnY%?6N|{$Fe~#!`piyU_moFOkfxJAYgvBa7YXRba3Lhyl4SRi>OMl)pMw zZ8hJ08h@L~kmBxb`HBhpIUS#~(`mhWpZWpx1e#7%Jf_2Jx|k9~Jmjz7x?_o4(qAey zX}*YBpyD>vvdq1om30LqJr@#TX4&I6F9`rVhu3f!))Z`S^N*C}>wz5f_Wc1Ra>crV z|Cxh?LCrG+C8bvFiCb2(mt6#AT1~C!As8PouU&7;8{c#$JOKXrx*kV*SF*>WBerHM z=XNayi>z2#?pYu05>sBnV0pN&r-#UfQfFRdCbH~IE1edb_PyEh)-xzR{b24Z`6Ik)HaC3DKF z!$NLD-(GLTi+NqPCz|Y9Q%(p&XRDrmDL6!!v<#}{ zK5P+x7H_%wRMG*=0AA{XFCZu1<3F5>J`Pn7~-~A=%7Q9BP?M2)`pg>pnbyD2A!P*(`Y395jtq}(? z%E;0H*G#)YNJ@aFz@2La=UNm#tNIazN%|s*$aX6mkx{4rSV!~R2G&3PY9)$NCWvFH! zk2j95YF(^U&Uu%-mQQS%DiV84u+VaRLUVUl*6j&+MhckZI<*f=u&C4$y7%!#Km7AS z4bqDQyv-||fN_~Q7h;N6vxh-FYincQUErq04UL=+`3s zQ1FYPX#MNQrMp{#kI3=TZ9yq}GJ1{*Wc&7awu1olqq?2{M(!jR+7qP}z*7V4CM+G^ zW8oHWq-)s^GQqX23VVqkd=nOY)(gG1;YWpI;(n7vpJ{PbEiP`ntwTxOa9j(ukee&> zh@2VB1dl!%)GqKzh>N#b)(t<(|Mm?p{Ajv~%+0H%APY-O z=)BJafjHQIC@o#u)}ADz>fupnS0~)Wy=1+*KJuL4CP;bx%L?#-*?nK1Q|0^jcPuJa2>dyZRZs9lt|0xTR|EQ-=ca;#UnuXH zJn?LQDzeDe0bZQXnKgwz72BVbReHba&%y>+U%r;o-lrPy;C+2eK3H+aIDGgN@%%GT z10@0f(A4--!`u69d(HOt)Ax$}O411buBF_3(Yd~$W(&Th(MqC-_O;&y|D*~jnHt1^ z5AXKKA$$>+ePTCI$f1cqycoQb{gPr0jXVms2DE7fT-}plf;8OgH}}07W>&k=bTj^r zd1!kv;NmQ0hwIwb6%??a(7k;;5vrI}xPbHQ1B8=?=O{w)S}LFy2sQAQm|@*Q*PUUb zg#|>s=-|BDFu>Y$=&lqn-%ozew~OEXkQ;!Z$2K1T`U=QwE}-H7LAbRrW&OnvxG>0t zq0!OZw4DMJ+(fb=z-v5q^P1fRb(u;~1wH zg*n3(BQ0L&XK{w4MEfYIm%8t#9TLF(zjpRFSh&0l4ZV!+j{-yGw;tf25fvy>T5@y` zKE^FyTK0zz-=~c~fRmbfR*s|GoMl2u(rZh*X;~9}QEm!e$zBGY$6H4hvCzF8Vwj>! zC^^Bd6~Z*De`TuZ(VKAMZTHZeAwJP7k*~{8_95KyOq1Ug@-K7ZSI#@ zui0(wehFGHYSs3C7byI`8_M}-u?B!@$Ny`7lxath-npXG%`ed2n;JPAp-_oLgv-lAvzZqEB5J)sxB zAK8D{*xnnsh;+(1CG0$HpX1U4iVmblc_UT%f-X>f=HF86Uqf#t&|ag2&8%bg1ts-y zG8-%dx7Q!TXG}b7%d@`WZm(XKUy@PULLk1cX{Nv_lpQhrsMBxL+b z0Wv(?4~96sAQ85rppRoR_Xr3msXk3;i_G$XaT;%g^u|~>|7Fm9!ps3s9~_q0yN^fB%UZ71z_nlfAiljEaio z_c-&Ngo(EgqC%UR{65+Y^XV4WtLY9$?0g~akC!-OP?FXx2Yai8q%U!C5p%ddEvI30 zW-Ye)z+~Oy^gyh`ZmBcLna}5#Y@~WG?)0d>0^m(X!X83c1iVx~YJ0PN&!Q=mmXfkx z=Hf*I*QLTi>yG$p(~pTg9O&g}md0<}@A`CDJr{HLN&%OU4GZqS)8&1Kv7A-nECI+| zsfM-Jap)P*TZe3>+tMzy8XeF!svR`dH}W}1?wVUMLBUl2bB0*`y+UWPwo}dmFt^3| z9#4M0N7+0zlMd8hzXmbT$FPLaRkuy^;uHtzCg0=c{E^ZH6WfvPk5{<49zJ>EOL=8H zA1IZgNPS$5*zomwoR6-bkK65$3&S3ctzEI|Ow`{Qv1YIagds0ixUfAose$6ucekos+#>>+XMP3IhmQ#=gxV#PJTA`T>ld0d3I8nRL5yh z?Pj@AKJKg%EPn7aaNG;scF`~1jsrisx`c-FohPS$xk0{m!rO#|8wg&S4j`r$mX@Z4 z8=Y}zuQ~-@19A(F^>p2Jj-5WOKXr|SU;g2_w_5ZHM!pUA_v;#S!SIh%mgq4c`HYz5 zn)s@{(S{e}d8TDM;v6%4HbOS4R;zA;NZ~IYwh1r!uuL^-Ey5XD?mFG1EC1lt0B$KC zlh1r{|ExCa2?a~dFTD}fH0P57@JN@MTjEHfmfS0%N zRoi>iU>7JPj#&}C2JW?)RED<~){XONXtjFgJ|`!)@ah$pva$JRzvQS)PJQy$E0S|Y*ovJcBj29s^6V_JF6E2(@zvx5Z$4yd1SL{u+TAVM-^mo~buGN4P2V0{8_zsDL~Eetybc#Ei-$8i5-1i+x;o2pCLYR# z>CRZ{H;2&{ppp-()aR@S>FuYd0E*Za>iVTW!kdv9J16R>zm?*3%ib{$f7|!Wvs#c= z;H~I8+cqCgHZRE^{;wgXoQ`k?6j@CxkD^xijdP8ko=B$Z|Fd3U>WNYAg&sKyeU~F6 zE0xmct1Sqx7a<{*h7zimbPWV=ycWD>`v(Y7fFFVW@rcXCg13LZJ58iQGZh?C-YXn% z=DX2N7{kbLuG`cYzxRplz!TST&5T@0roN|7Ge2nr{FWvw$t0t2$&sB)eE!qfh&6F3 z05LR|_OHb-?k~&p-~8~h1@;zl87o9Aj#p5Ll8n5lrP0u}bWLO`$0;s~JaY_|VRZTS z^G!{7(=IaA)Zj~KB7{kOf%7`)mDK>vYBO%UmYL7#X{gU;G?w4`-H}lUj#?k? z9F_T;_^b?VJlh-{e85ARa93GnOI} zh)pQRdc92(Rv>koK$=isD!Fsj?7al($Z859uPjt0g~ZYEbaR(QPx|#jy)u0j@q;2P z{B4v|7|K}Lv={Fu3jx5YFc!MpOmIgLFKL^ zN~>_B@Z@MLWw73Tt-%&%wd*h|vZn1CmgVWopu-H|LEc}6jeYt`d>@nDzH)V;{`=C3 zjj(69j%K_VmN?3nYH8gf#_mC)f#%}afJ>19z7{zX3s;%uC{ zEwR`$;q05*9-GDG6Pl`>!s-Sp*aC%b+yE1Hr4X&^6`tN%=EnjYTp7985s2}g>iNx# zlCqm(ol7ko%6qGHX^DxgAW4Rcsuxz~MM~hS3TZtD1CxX;s-lz)EP9;Aj<&aj&~@Vz zOf33you-R3v1>h93IfPEQEuzGP8HFb!ed8MTYNa+*?kBb&SNusA&|ssw&qUGM3|YY z7stKqd+mJ_vM*3^EldRoy0$qmtW+xF!=>NXu03L$05cf3G{{|izuh$?bX^GTwHNMH z8*!IcnOT;!_h`*GkCMa9Rn5WXXo?3P{&iYTYjPaGsge6BdFKmPSNm+w{WtUp>^XpxU(LGI)?xa^HFKP^ihjPR{to5#L`2qBBD zJwByL2_%}KZ?$WNrNb>hP$2@Q;^p20gpnc+mSTp`wy6zG&A&zpfL_VqN@ zPrDpGdV@_adWcH$AcIgGf+*K;y#O%j{p-*d2I*CYXePe1xRU#(7lD7c5Mh9?`hi7r zklXmM)bDe!Dv)&Mw<8JbN^v3xKKb7!wZG!Mz`l~387c%2J}||nE*-t64`JoB#cLH^`1j4nc7|CqdblNJZRCy9Yp_rn3SD*S`x|MfXChxFxl zoapvXXQbuI%YkeUlUnb5Y;i&c)8MY%jv}I<|1*Fk;7e+jLTv9XNczZY)NGn2Yh`AU zr!2GkZu^Z#<#!4&Vhk6cuTTsl&R@WXT)04i{ugS49maZN`(JQ=NlkmKxkYh1fctNrRZg%&u0MounT)ss?WE!WAlKOYZq%&JCX@%y*L_O+`G8D z0T?wpqC{tr-?Z%ls14v>Jnzi8SjL~0NFWUZDUroqK!h}-#a+@OwVu>(;KOk7*vk;p z_HyeTt7s=@%r#5|gT&IV@LeVQT;TqBBvt_UKKuRZwA=XZik!x8Re}{Eo1v=^Yv(+= zcR7*X_t;i!>$^eC!MrL?y@7rEwykAn7q8%Y1IXv?Ogtr(S|&}8=C-N;N#3DOC%-0? zHq~(Ci^ zMnkz2my%Ln(il_*M$oS$*eE1M&q#RAkvf%~Ahob2NlNqK$L<9mMMeAfigHQW-~|iH z%<4z?(GBzFGhkS=vtMBs7thmNy2T})qg!I=I82|)44NAtf1L0TVazNhrVAYW%qDT+ z+}!g%UUU&+yV<+T9uEZc%YnTQoZ|snd+*-7x!dop_`t&IeY|cEA#o~T&js{wKiOSB z;}TQrm62+G`*B+!<80~JUKOvY-(3;qLX6Z_>t)C_AMTX#i+RVq6VQ+~@yJhR=CCfo zy}$EpXiut?7#$w@yaf;~rM7$Uq?^CLXVwJHWOQzm$;5k5klAnDa{ja0q9>3X8P<_> z;#!t{@@n>brRIez$Lh3#oj*E=m|jWZL!DPR<0p4SME=qsfF@CzXHqQjXv`6tlx@r< zE-t?}=3W9?1Uzfs!6zwz<>d!a{YC+X6ttYWyqaruUZ3tWWpa+Xj@VUo&d(nzgk zC7ez~zrQ1wmzt`mwIn=l1DGq+i7RU%=%S z^rHW91U%61Xj*W8_fzM=H^^_ddFnP}XqiCwK20LT$mmPzrp0;fa*w*#@om z1u5?*gj-(87{yzi*>B)lIfP|*{3#$vYO}#l9u6o`i^UC)=?biFA%!??lFN$gMCAGwYbmnG+B&7xafw>$G)Wz z>sX-3`eR{$N)rY)ZC>$N-1F+py@eWNp9o_@08XZH-0nlXsxI`?p z8bK@gsh_|VA4txUpB=S(ENOyq86+p?0gCY)w8A#oMV>FJk%0>8RMYSdy`ojK>{w}P zw4bbeO(;D`;VjSEPTrw9wCqQYxc7ol-mT#b758^bP7SO(4B|SinEC>&uTzER_F6kV z-o6yD)``gz*F`>=1O0T&eWD}$C`pV)1eAGHi1MrcNk?Xvr$^$NwjAoCD{Nft8f&LI zH_5L({NB-Umnc<6e|J91{#c&Oyh~IGeK2X#@4fzU_wHVm&vvKN4&B{XwfGhUzs}R z1sCiW26xa)#Akb@MYLPzbUDHojq3Hj;GX@rg6SfHI}5M@{8UQB9Gl~eHH z+e$8**I9YiFx$nO<(bSrfJ>lTexUohC3Ae zNA&4I3j+%RAg7%D*MjYOmJj>Oc~Nr*+b1V^qB@0Nre$-^J}liWvR@yfO~O}KC#Zv? zY_Mi0o8M%cOV#DVm%64I9v-}OcbVGOH4t)@JsPYptPeFx#qi(s9$yvo*_BH=S}sk$ zM1y|e_2R*Qhun6E&dt8xE+8gK3P}qP8dNzvtiSv5A?ED(0z$0^t!=eF zbn!68HM;I#IU|bZXk%zN|E|{s`NU+@_RK8B3qriAvI^^x^-fQp6XS4G?7o-?bx zHs5(2-51!IiPJHfBw;NSZJl?tkCtX?3jJvUQ3P!o7)j|)1@~diSb$yVAiArj=&G;f z=&G#>WzN*HN7$z$4m}sAXx`I-XJM3E664NyXOqr!Gophy<&#fM#k98ae0*$b)m9Oj zwg<+wXU+8`RLrTIdVEp`2i1BfLiR~Hc#JtRs(RxQeHp$+a?dJVPSblgeKK2oYWWsV zLATOe;ZFFBI=Da9&LD~6^{@>)$Ix||Sgxvt@z(K%=2uMd)myq_rx?Dg`b;0k!TBWxss~ZxKDO0eSg}*8lD!0^gC8-a+let7 zyj$bHB`<>t?P+b$CVvf*NHhp_CZmJ&LqmxV!>+p_)v`uMCk=b}yk6varHCRffwzoWR%q7BA*|R-g?cIq%L(x=VbTps*DwCcw_JyT= z>0oDN@ZgmuD2v{&vvwcUq^+W^5jXq!oe#O$bTo2Q!5LgVoy|d)ZmwiG)<#A|mg1T4 zQpNUIQq1+|Cm)8`v^3Yu6)3?9}EwDZiB4%0MWRyEOVHwh5T#YaS~^k$hE z6;LwciwiqWRm9z+;>GS%6>S(D5t=z~dq89ssz0}Xo zD{cCMwb-CMx8TD)Tn3s+?lWUJ0*QjX`L=HJUga)cu@TG1Q=KFeJ&ohCsLXgV;%k`Y zvo$JrrRck+4(FNWBo5s}DstC$!UkDIHd;~iu^-WEJt`MsY_ZEOM`(rn%Z)G+&`H65 z>yy(H82~u}@Y3@1i~?Rksd<--vUw!vdg*HlE4dcbGEh{D?dhR`zH$-Xm)+6&G1$EL zw4Y~1=hQu^KqPz0eLOFjAiloWx!0gVA?nmkrTqKZGZhflxTJeiyr?%jD8=fyOysnU z*aqAyZ*@0esqf9Sh_0(5`fNKQD%05Akgatu`1L!M6~i(F)l%2O(74RV_ImFXd-boG zK&{gEJxb?F7Dgk{cCObpi;aeQPW4WC&e)QQiuxN5ojs2>V&9s?71S#q`+{LnuM(-0 zf!4fUAOKGBadO(`;BZJ7t+}vlggra(#sE}_>UgIF;difAox@(B7rvu3Lp$E{uCa@M z+-nXslld1rnv;7HBE*;xG}V*XLy%-SJq@OPg%z^6?FWLm>#`_}yxVz@kJS=0 z?EAhM`Ko~QrBOFU7i0gd`D19BHI>q72gOhbXj+u&CQFS^JT<+)9o$#hrJSqZ^*CmD{-1hdB6|tol)M2p^ODQNmw@dC_jep@ zC+&-%wduO&p6X`kMtsSM%A)gFjPj6?*QW89fbUCB@@3Skak1^JAajewXo`wwUPNQm z=%Wd5=|SHGS=ZO|+4Mcgw|7lyRQ-ehm)r-o$7w^LBKCK1$%`0t{8= zSsjXN0Jgb%$#&{17T|UO!OCqlJx@KN0qGIh5iaHcR3b~Eq7vzCT~2}X}s4M|8HEoGQ1U;QU7N6(UMb>F6IFEkVUm_uQA8K2McHH zi(est?^pE@LL<@Dlb~JqM-X8-7atzv`xnBC{rE*qJ*dUTjUG1icf%-PuFB6@K{#SW z7;w@x&cRgP>X_AIy+Q6U${=X>0enaomKaC?kR9mK$*&m|CX9(4T%1iXIWDf7B}e0E z-7n%tgqs9!EnUlBmc7)&AfWBiiRL9{uM9oRGHy6LDov*3=+%7W-R(FrCW0PtxfKq? zU;xT{?6Aa)9{?Sbtlk{(__XkWTFoS@@n8GMnN1;_MSA>W)0+UFg5m7jf?*1P9*Scw z(D)2^o(Nfpacpw(GPQ9X&s&!Ln&he~XJzCwFbdGMy#DDJsJHO~oIPmpkq)kUthbtP zSIP{=+G4*~lezf)Um3}glj(mDezsqpMh(p7ApG@~eyaUpH=sz9I7Ma%Ci-7J zy6zy>k-Rt}CLQIn@bx}m4q8;oDg6iP<}L@)1YzeGCrz;e#NU=+3-YP}_YPy= zG|x|^13Cwi`-VrN!FNqcwUtxP12s{IWC2JRpeI-Lf870y%cuWB?fmD#2VP205^?|>YX!!GptPd$-GaltwKULEk6Q$IozOM#4YFU;HTC0+z?<8V Vx66n)3p^}@xUYP#Ncyq={{jI)h}!@F literal 13788 zcmb7r1zc3?y8aqM29z*SkP;9D0Z~G_W9SqmRZzOS21FE8U=&15}dk=Ksxh?{oIO=bZn&_a`i5tusmva9IztdEgiw&x_a0mt@$=W;N+PW7u#TT&8xGg$a#lP2sh`eL z_T@>+7(P3$lKPT+$I;jq@9RyC2Dk$_7>g0OqcZCc{X!&V+^R*-c`cjU)ikcx4+aH= zKa)|qW*L4;Dfohb>+v5es9T{YZbr9E3CH3#)|yCXOlE%UwJk}eY)H=9xqdR?gF%o& zoRlE=!Ab@WbirVya9MB&VFd>{I&ffvLr@SM83f6|N&azL5TE7#I&G4jJn?gE`_rxT zKC^?bwn^z=`(0%4DyYZRD1(~T zRn7lR1`2yf=#4@jtn+hy7M|*c$=nL`kSIvli<56^>GVwLb`whQw6+qjz(te@+ZCId z4B3#en#jMxs%oR3)5<}taM<|E$WE}bOQrc1g4o~=#vCOQsPZ&Z`pLeutEWi)Q((dTKY#e-X}~xBZLI{@ust zL`k2SX|i_^pCC8&JRwTuum2;GrK6QnnSks=nr_a_Tooi)BCcN{In83inrsjTmJ%l6 z4$mUq@t1a1Es08vhuxnRAA5bY$u;=c6AHSmLn*gAP>vD?4@=e152kyDv5o%L5)Up3 zYf}Q9{tvqTmu1WF-}`kvWac>T%x>lQ=8J45h}Aj3h9o3UruLioX$ETw2+sd^X^&qg z`)1j^B`V3oqw$hH`^r_DkoLWSfrrg4YCG|cANos>cxFV`i?cW$$$)DSC!o2}l^bG8 z={)kUj6JqoF|3y5;zGWg44+IynY#=7#5CTmziBK9I9S$ERW;!mqOImvukZ*5a$vm< zHdmxp7tSGiF~X?IGh5iP#Mi)oI3`)`EWKfFiTiUM{8b+Df{BT|+w#D)laAOBoN!o; zv-&3~U{HGrB8GX@)k@^#RW*GZ9_9{X(r4*_oW(*TJLgU&2-jo}4=30Fdtrl*e|PlC zEBICP@ne@nmQ(+$wElkUl*IyLtJ`-6?oXCswqVel?Ixw%XQRc7rh3I+C(E!92V!HE zYY|Pr zJ1cVG{D zu}P+v6ADM|eDX^*FI;%KzvML5M{l0E5oc&lc)DEUm7tzwg5n7w1#6ewe>%OQrXFQq z=KIhpmVEO(H@7Vw*-2j6+P8eVhFv-^l(;l+sU^?sEOj5%b1yYoVhPf%@mt|-iK0$F z+M5T_!NDU@8R6k_e3?+{4pwCT^cgd@9HHLcmI#{0%X(;_N`D%+*GZ;Xhlfnebq`8H zTW_y;yv5Z9>|EjGnPt~009&Pz3F%^z)! zHFR-_ZL!yk>haHglCG?^Kq0*wU(hF(B-Wd;h(X2nm|p@w+g4QybI3!e{ zw!;&qs|Z=D5H!b>u}BC0$^2scT&Eq;b&M)E#W2$>0h=o~-njzX z%bc5=p}uoXxX`q!J7;3Vxvu-;P?E%R$oFjBqmXxfV#>Ilg4GHpMn>NJt++-(aCl&m zUN!Zh-+n7z$j&|1u{$7zoLmBDI=^U_dEn)_))Ktb6HK16sNGT#2VeCReXf@{0y3XOr?XI?>q=83vJI|9pIFDN* zY;i)!b9{*fyv8&P<;J%UhI?6wy2sTPojM(w58_&szL{D2w{PR7AD0S^^COnLdWDUv zv^EnB@*VYMza)F|E+UiX8_9v9QxCqXs)XstesLUF(mZ?S*S4|1LKx7SMhem+*0H$o zK%pH0u0NP?#yC6Nm~Ni0_TFuomndxEyLsVDdFI;|*l(BZ?ONz{+v+oBDf6v#^SfK< zA?BL#r9#!+(7w0^EIaz0XeW;e#!S*M5T8F%fnRS46|_*=xVjF^+2FQkzr`r{xQz<1 zmCZx?+iJPFE=DDDoEj<2W4TMWE=F+kp>1(&`P+`g?BHRvI9@F`k%Z_suXU^wm9W;G zYD!$&Jw3M^1~-!%tI-RA$A~sJcRW9Hcb6?HV`}PT(qLO(VQ+K$*tmzryEgkjpQ5Np zA9@|3%8=I8#d#wk+ESQne#9&GLVGcXU`@2Kwccr zT4kzAdTB!+Yr>$kXR06&hy7sL1&KqY)_MN8{NF?7ze8j0%##x^Nz_YD68QJe9Vbma z1hjTM#a#m*7myM$!O17D$N;usP5mrWPcEa}$px3W<9D>@<+0J)Zavpwo)<`v;JkdK zBz-VoKINV){C4kfquA)vx=;k;PR0IKi=O%q_R8tEvzxQhL)CI`4+y3sp^Z5Fr|cvN zA0@T7hltKjY)8{;LV75(uW2pc_E>TNdB=ogL(v8JcY3}$#SR)Nxe)gcr>0y#ZPu|I z=_Cjn?3*CFGI%!ojHSC?vEjFBR?g<;!lKP?X4~Qom)w?^FQ8QTN?I>tvwjA^MA$^%hR~KNU4lMqIbry<`EInIQ)(X zMT%9*2z^H_2`d?!dLAniKAq`nITK&${W>#5*GvAzCIM*TwfcArL625@1D z5)8!m-a=4LH$T+%l69E-;1}%9sQ6_>yi~xGv4@ctZLZ5T&>~lr9fr1R%N+d7X{Alj z-@e`F<~vH()t&GSFh|!2_w8cEi-d%ek6W9=OcXfbGE?N=_>;uFWTOO~Mhy*&5A=wV z!B27Fc%+a;G)(*YULyvl&K$T7JPfF`|MN3<;sxiamPP~gS8BX4m$f1t-1cOjycY~S z5{j25FyMb#-Sp@+KrJMBEdc!iw1576RYjkx(UoPMphx<_P)O#%@&Om3tFXK_bvC(p zp^i4m*0wVBrd7OUajzYIUvhsRm-3dQHDRavXg!v;r{DW_N+7at?h4b{-bVIcCs?Gk zqc$5DmCvYi^?6$UwWi9AHvO6n&7?l`NT&F5f7ilCO!fL>GoNWv%={RBnG7{lY=zQs zS%YO}OIxYitz3BUIQhX??_b8z=Y+heg~8U|DIXD*O;@76t*_5QeX-v#`m$--!E!=Y zlK4s#hr<{$^xU<$)RXMT@|?`08zPzVLYd=psTprbEU&CJ&f0tlreu)vm+44)h#MtZ zbR#9bn!;{P9{WMT6@Ui^Ly3<1pXw!FeFa z?E0rim5Wx|Ev(Oy6<5jOvNGSu<6p*O$yjc$kewu<1MxnHnMS$>1(5*<4)JelTIyKm zGmONEb$05+ONibk9IfE&I^Tbn!ijsYR+QO`=74Z-i$kNPT|ZS?YPa5_l(`rW199e( zw#B6A((vAEM=YLGNXWEfqTYPN=+W1Zv1j$Qr-A?g47xs^&oGJJEHTJ+X_rPG9xpU9 z$fIW5Ug%UFTfY!|S+iOWfV-G?qKIfNf)fR^`C{ldq-ak;H#HeCvA}BXO*P5x_hKA7 zpHcgHtp0RKY56r4XwDTJFP`Yr?w9kW>!K1|2KsrLUX9FGg>W>olaOB8J?vLWDg=Xr z{16n$LXab@u>`*6XiXBYH7=ia-J_MithW=Arj{=Q-jNnkcV9-NV)NPuB5KC&wN^6^ zc-jR#RnJ0K-MWHKEc7@X(cP_l1r53$&dR7%#YpRb%)J^#lZWI`1bw*E+j>Ag-R%np_B;#bsy)R^*bu*U7n1iB6 zr-{0x^JQx)tn~eKG6Vo*PA=(jfxxj^zc*2*aOk}+%)t%qNm=B^M{1-LG*eGIm7s~! zkW9wJgXi}faG#TDl+%H?LMh zN7KV;2`oprFlzBa>VgHPM4uHXOx-;^QrqF_yL&X^M;(O5z$=$lp&${OP(=t}NBL0A zD?B`fz0&|D_2uq;nK~S}EF>h9>onHn{oI_v8`zW#{KaQ;!jbqN&`!MlQ9iEVZaQf) zi#7$j=^mq||fuDO{vPQS>laZT)yU2o5 zn(yztBs?%rZcX4ZFf+4AJUN4^>%4*hNRJMP-Q67(K`;OEl>!|J4u00<8HnViekP|FDoc? zlp_UqYoG_l8z&Eq7$uoO6%Y3VepZtw3l#CJS!FQii;QnjF0ttir&n3qhFzu#3z0SZmFy8Fp_v&p+zlOA3!>6waPCxKO@QJJhwX z?$D}i9eO!W5t8A&@}qY6(9i~yeVd<2MM~@jwtrAStUZ6#WPbw~tkoR?3{d5}?{9d% zAA~%~$~x{l{&c6r$1QWzXEsMO@m3}h&)41mq0W6Wg0gZl@{DOyJS8`NNTIg=YkcCT zrUXbQ)#0+3VMzFO46qSl%M0G!ZV&GnvcgEUOQk}9Ih z4ioVCG%yt?)$572*6pVNu3tkme;+_=N$mx55reACN@!X#T#m4h(R&lmkX;wb=sx11 zWdp)aUardmkdBx~9)g0F83+7Q$ZclDTQ|t@n@2G8S&MFAVUhIH)}q(DYj1~y0+DIk zzeMx=miOGM`rK%-<4z3n)=)@l*qIYJDVz4#<8<7zP59acG;S$J=gHO%b}Vx?CD0Hs zAhu(*VoA4LRPhHQD5ke>-==b^>3ZJ)iAhe=)W0UX@;&zyM(#9_rq`&bBKXeK z+aYDWzDY?EBpj@L-Q?a$qSk$RPms41F%lWGj!D_DJUXJ>m<`O$G3?5bWE$t+a|3YN zQO_K(sl$*aa?2+8p2&l5@PPgKY;IoOn7VQJ3swaKINTwT>6|6A_fHrDn|9LPjTdQq zaYcAqE88D@gWz@G=-OwayH_g~B)O$9u^C20_HE6mZ z$K3_zPu?xZ)N??l#!@>l$=YyL9AoBJfXR zb^1@i+er@T$ms@GEYLh;n-^(9VKQ`2Y1&vxfu`uz(!yE)C>q{Bp}P+!TBO1;wmi8d z%Zatez(em}c$Py|%6>1-+n;#t4)Izc*$Hx+4)}H>{g+#c%#hsm6CP9g`v3q1>%98j z>1oy^8w3DTh&A1fui7oI%>(dkbJgX!ZMm5kAA03R5ezva^FjvmJ2RAdvM} zZQh*GxS3iC^}M!^o_rB5&(BMHKt3%sb~V6#MK&THNzMO2jt-KB%d9dYIbMjfE$(z( zIT;j88Cv&sf%FD$*4)$c9Y}?!hXERH#RCg5Nv7vIEQ;>fH#c3;S5iuAZl>{T#pLAl z*6cU}PJ-uU{frP6@Ofif;vWNLZXIKdbcC56*1CT3R`bYIYyUd;J*wdQo1ulng@tKV zRfhZ55@KSAB|K*OV{yxy6s$a-p=M~AQ)!<~^P6mmtfe6@6aeet&M}FHA!B%n&G17Ubb4){+XNi#J!MH0%H$8*tEt|O?oQt(6Uy*tf@omF3H&2 zm#nXM#iU^CEcQWutf65a0F;N=R$fq9G&sp#l#z|v>YpJpg+H`Z!q(!PihFrLx#Hs2 z5UwLd`>xcB5Ts2bO~wis0Y|~#)X%fjKdGN`drV=ST_{bGwz_&C%9&K*0rY-_7Gyj6 z4?{`ZfMf-f2x|T}y;I8E?YWfKTj5eiGT2t>@d(xSqqfW^7Z5!c2>gIuiHn1omIcb> zJY~s~mT7;lrQIL!YJWw-gh-rvf?X8!Sul5l1I+N=OuJT}saK43TjDGS;*ndFuzk~N zRdwra%-v!ouc0GY+L<6Yct-lEGcZ8t>FX8CQBn$+ZTy(A1ndK^-1oSk^6n1j!E{Osm?jK0Il#ZL6Kxdii&DN+fsusV*3TxOyB0Sj9t-Q?qzy>CDM^?Q`1 zzOO$*{UUmOodKci;}g+1aF@wre!v{8f4O#O!fk*^$28)S4k*Yhb^$a5d`Hl4Qid73 zar)E)eeEJ+&ni8@OZ!c|(j}IdTG&B5Usk4sp+RZ)#NwIr5gie*u$x%m+P*4sa^ZmR zDL3N1TjPr!^H_NxhP0sivq3*a2~X5`+Q`1)29NIqG23YML)SsI=03O z4cgfk0cUC;lsgvQMjp{%c*Lv3#Ty%G*Nm`5&a&A%v`n%21N2XH!YJPgq@Uk74oB(- z{{?RL5@(s+ONyVME^|g`+svN=j5DBW^o=UNO-kWCq8vXV5#KL?lS+`S)9ifTHtorV zfM4@nSY{+#KQM@Hx8mNJJ-#FIk(cRBq^9_NYQ>{bH_1+}&;_m4YUJK8ML$5#$b^0+ z>#<`y4pLdoIxGeFe%Uc)@~@(Yf>;XcBtbv*PlSqMMhTX@hPCFI|_cD}*i-z;wMi&v=&8`t30 z0YcbEH)idH3BMRG;y#aM9=2@Vlp+Rqb0xTe;44_O^P2^X0IEWpU2JS<2mL}+n7@PlCUQFT$ z0K|YAg$wb~Xwkiq>8kJgcjJg53>MiRhgv8UujQw+1C1ety%vJ@IfG z9>dy4WUL5)s@LKIe|~n+h`ZiZkrZ_*JBG(RU7+qFER2|_+70V-GEq`uxgfeQ8Bq|E zP4J76WqrU%1E#&Sa`@xJ?r=hEEX!*^;Q#t{&rT zbj$~c>rpF%!*JOhdtz*M3H$YoG5PlIvZA9YCowwcx#ZhnkF8+@a2-1-d%MoMO9Ou8=4vs;7GsCrk+ zsM4J~;zSrom}I3-k8`Q%Cg64kDoY3Nlx2b*(d%hHZP+Z)t;mNXYpZEqc;w?ruZgTk=Jh>RD1bSn85+^Pr zZdxG~A3h9?7~;qJtK=KDXM$ySf;vDhsEPr!;395*EBo!MsC)%Adhy%l0QBFuK_vt@ z`G#tc+5|7JasoT1y9AyLMA=*suru;j7&lPFCg1W_BYGe)BPvRfxy~MX9ZB5Y>%M2D zDk@=}q_o2w=!YYKl#hVv!@S?00?kaY!2jBolzHX+$wZI@VCSGFiyQB(iERzguP$N1 z5#@T4>ZxSp=U|}ru!>h-It@b@0jT+BJwx~E*|TE|Fd|@?^4T2^wIPx#(CgW?MwaZ8 zL3E#ivC3(pZ9KK5YePMXLDdyAIoK9W4qS^&QqP*4I^=Dm(nwZ2Du5fecUYk|Wi7gt=;C=E zsx2YH|G#h02cG;Kg3f9aX90l65gT=YTsq_OLINT?8U0-N4}IP@;TweJ5dUbZ5`zQr zP8kko+L$k|F8mvT?KX8X0)YWSscG%&aenKb9Gx2oVC6=|kEkO^SPR~n@S$}EV~90o zpn=<4YPn^-FW)j>!W77W4*zH=&zXX@SUVQ@2Jn66mi_pdM*tv*R~6`?>c{qLna$OJ zwZy#E$pKBZm>8yQBOD8;Z$SyMeu=mVXB`mMiCn}#J*bS7gribZ;QL+Vh&3A44hvzt`zm~%*7%FdLu!DVS9RO`QcGv0- z(RP1BMIhrBI`VVPQcur}{)i?<$W(ko_=UU$+jcsAQ&Wr`CW3lbO2okz)2n^MTKmnI z&tC{>wJ#nBlGoVNG@%6~cqmL8WOSnZVq#_l0zl_$ur$BVVi0Xw${^x+=kw5D5nG+p z6`$E8F+>*tsd@mkf<7W@4}gHPr*Ed34h>X)(v7}c&&|mh$#uRaSPB@WrIGlPJP@)P zmq4hvTi7U(1rA~ccWvxO7#+O_cd_*k{$xYktr@|)OF@&w?0|HWgXpy+052Urqb?R5 z$Z7iB8dEQqj07RI8+1UMrkh{4#H0f!CjuTZcb40BNi#ouG#C5cZ8fnwtxpks&w7UD zJP3NAmt_swW<=Q?Bae^+e=l- zKy$rKuSsiYa*47Dav4eN3zh?vNlYwGB?^EriMF-{N{1x8M{afXfYK{s3-F=U&1yPg zoM5?KSgAu!euNo{enpoKy1XEVfv`9-ek5u--xWDjTT;LQ2%x#`A&di#{45M8O(8BM zR2vT&kuC_`9H={^CU*XpYQ$KL%|2 z=hd5T5Au6cL0^g2XfrBH3$@bM_yIfum8Ss`3(6tupTLMHgrz}jthv;;(-F+|SJ#1z zK~Jt~WPZch(EpGQq3gOH<`{5sY`5Xg?~#UQ&nP6Bm0j0QGjAL}PG91K1vc!lQZw`> zS?cX^u1kmV+8{_N2p0KCyP3Ejl6HvxZoX$yFjsuBGt=#YqXMhcR8HB!G&Lc!~e_nZuZzZ$eq(f6{DZ6%DIxdWd#&Hg53V^~6_QmvYq7Ri5VlDI~yo%NFU#}xciu)Fu@bGelYgl z%F!&XUCLc0>T-ZnnR>u}PF}_EZ0^+q!m3gN+gvnWnFBHAv(08IU=zNtuw~GbdZemy z5brp2m=eV?R7QpJ(5yDkZyjsvVt+zVM4k9#z>nlIPC1&)X~(aXr^Jq;ua++aDp}4A zY^E@5*b-{Zv04Wr(>qwj{K?vU!`l*R#VIN471G%wY42C27h>hHnaarL_+Y?U7AiT_t z9by#1GoU{Abgg07mAj9!o}L(?l>|#x{32;O4uk@cc&d z(L0XZ&DljE+kG<0so^Xq$*rJ_8Ki{cGI#sYdsoy!uK$N6`TJ3CK8#DB37EbfGrYx9 zc%fLEQ+l6e$&_FfpldMcwkHz!31RNvm5T8Xh(a0}XQcS=QbfcH$fn?uIwH*_SXPm! z>dUgygo(4Q1k(+q;bEnUMs}O^*WiSbg<^;1L-`G%+xCG+RUg{Mj#e%QY^TY8zhI7Q zu9RMomKu2fyu4L6U@O%3pgeHGAUw6~H&pH(-!fWMpaz9maMwm)2CVKF0ddoQxV~1O=)XYM<@)MX2Y0OW+hAOrmF~(%7aDb*-;L!qCN2flq7q`UCcN z0`0qK&G9k1gmwuHGeKoAoQRg@^-*vlc(&BjS{?`>bWNJQEd~v8&0{#yF}gAbNrz`q zLn*z;^@o1n4otJho!z7}09<~w$?JPfN>6uVT#&W@;Umq>ykmub40_k*Y6lT%p{fw=>jnKcV^;>M<0=+3Bp?frIl?{Pv`f4_Li3tXq~PcJwwoo zEAYp6e~3s>XOQ-aZ)kTol9Al&bdfxll1sEF!seut2>)a{Y1!gea>CBMs}SmH>P+6- zv13j;1$~-Gmepm_sall> zlU&pdC2=7{0vmFY+ zIv$mZZA?(ugAd2{_zUB{qaqiJ2emevwU9gr2CtU-sKeC$w5W_4#nNt=L=gs`%a z@~n{qK`@CLmBEDdHk+-zl};KseE;IQt9gGX{?3vA3TA7s(>KXZqELjzhZy~E-LZknAj}q-qU>g#ywu;D@T@sFG~Zm_2o%Ud zsk{)`SIWd6h7OwRqZbMT^|t!37h2-@7Sjg^9$c6QU?j$RNi z!lK_v7n?2u4+>cxsL~X9$lDiV&X^5u=;g}8JWw*vU0gnT3oe-%md%k#diSW{Q?Qb0 z92>aamG#FjUNEOl?cFSOpCv4;=ks}fJ(@}1u^Ft{5OV%Tr>IEVAw42u?#5Ds89BJQ z9#6)LTr#ZOPeJRX zi`vV~R10VA0S}@(1jFM{WfbP;1SkrZ29wNslm5>fILcOAd7D=@Y^3deOxhR&NHs9T$SouU=3mWyw_^cmo{vGMW~ycT@-8|Hs_KT)270&? zAToYXLRLojRr7mgHpYS(LvDU2=KhN6>W0Z*1(B7Tzxct-oY$Dc+NWP&FU$2YvL6yuT+V!)TO3-~y227nQHQMj66}K(31pOpVN|m?# zM|NA-5s;u@sBqoy{53#+$HdS~dOpmon>@2GvjYqYjP*bxZKk}Szad5IRo_VanuC+e z%W=36v>yB-sKHe9@Gjx6fx?GYURJYU(9mp={v6-jCRn{Dn3>uP12fj#+@RYRxZ>Zkw}1~?d;P&)%Q#al>P#7LQ-US@j1mbH3BN=Orelax zNMS0V>q>XZh!HJk>*uTwRS>xiz%>I>5>Bb_3%LvZ#pV!)5C8Mj648GD_ICt-kZYSK zj%kx$iuNF>|BuJal4d~aG&hu|##!bAPbXa5_?^$%i;NWA@(yY4w zX13u!tl+=WjsNTY{2%xEe}Bs#n)u@_mt@DBM?WQejGfc3(c?lT|9q!(M{IA+1>_$N zY8V8&4r+MAisfNYW;VavKh}Oj&MXBP&>OhQx&`Kj_Nke3TJ{wYQEe%b*~MI1^S@@Z z-DjrgE1k=pH;~Y60_^!@!X?CmGe>Kz#XFNtf&@QsIVq2zp1mNQE&!$GyOL-C%JGuU z9Twu>(X9S|XW;&wHT_>D#Tr#%()IjwHj(0CU9UdcmnM#=IwqL##lCz5jA9&Jd-UcR vHDjt&fI5iK5Z$L+7r~!s5pRcHPY_6tPRI5Pbh~YVUm=8|rUF{-Uhw||+MhHo