From b8ab26564832cba59a1c71a330f564ecaa89567d Mon Sep 17 00:00:00 2001 From: Robin Clark Date: Thu, 3 Jun 2010 15:55:13 +0100 Subject: [PATCH] more work on fit and mil1992 --- pt100/pt100.tex | 113 ++++++++++++++++++++++++++++++++++++++---- pt100/stat_single.dia | Bin 2291 -> 2322 bytes pt100/stat_single.jpg | Bin 26642 -> 26754 bytes 3 files changed, 103 insertions(+), 10 deletions(-) diff --git a/pt100/pt100.tex b/pt100/pt100.tex index 393f741..3df29a5 100644 --- a/pt100/pt100.tex +++ b/pt100/pt100.tex @@ -340,6 +340,7 @@ resistors in this circuit has failed. \end{figure} +\subsection{Derived Component : The PT100 Circuit} The PT100 circuit can now be treated as a component in its own right, and has one failure mode, {\textbf OUT\_OF\_RANGE}. It can now be represnted as a PLD see figure \ref{fig:pt100_singlef}. @@ -352,6 +353,9 @@ The PT100 circuit can now be treated as a component in its own right, and has on \end{figure} +%From the single faults (cardinality constrained powerset of 1) analysis, we can now create +%a new derived component, the {\empt100circuit}. This has only \{ OUT\_OF\_RANGE \} +%as its single failure mode. %Interestingly we can calculate the failure statistics for this circuit now. @@ -359,20 +363,109 @@ The PT100 circuit can now be treated as a component in its own right, and has on \clearpage \subsection{Mean Time to Failure} -Using the MIL1991\cite{mil1991} specifications for resistor and thermistor +Now that we have a model for the failure mode behaviour of the pt100 circuit +we can look at the statistics associated with each of the failure modes. + +The DOD electronic reliability of components +document MIL-HDBK-217F\cite{mil1992} gives formulae for calculating +the +%$\frac{failures}{{10}^6}$ +${failures}/{{10}^6}$ % looks better +in hours for a wide range of generic components +\footnote{These figures are based on components from the 1980's and MIL-HDBK-217F +can give conservative reliability figures when applied to +modern components}. + +Using the MIL-HDBK-217F\cite{mil1992} specifications for resistor and thermistor failure statistics we calculate the reliability of this circuit. -MIL1991 gives MTTF for a wide range of common components. -It does not specify how the components will fail (in this case OPEN or SHORT). {Some standards, notably EN298 only consider resistors failing in OPEN mode}. + + +\subsubsection{Resistor FIT Calculations} + +The formula for given in MIL-HDBK-217F\cite{mil1992}[9.2] for a generic fixed film non-power resistor +is reproduced in equation \ref{resistorfit}. The meanings +and values assigned to its co-efficients are described in table \ref{tab:resistor}. + +\begin{equation} +% fixed comp resistor{\lambda}_p = {\lambda}_{b}{\pi}_{R}{\pi}_Q{\pi}_E +resistor{\lambda}_p = {\lambda}_{b}{\pi}_{R}{\pi}_Q{\pi}_E + \label{resistorfit} +\end{equation} + +\begin{table}[ht] +\caption{Fixed film resistor Failure in time assessment} % title of Table +\centering % used for centering table +\begin{tabular}{||c|c|l||} +\hline \hline + \em{Parameter} & \em{Value} & \em{Comments} \\ + & & \\ \hline \hline + ${\lambda}_{b}$ & 0.00092 & stress/temp base failure rate $60^o$ C \\ \hline + %${\pi}_T$ & 4.2 & max temp of $60^o$ C\\ \hline + ${\pi}_R$ & 1.0 & Resistance range $< 0.1M\Omega$\\ \hline + ${\pi}_Q$ & 15.0 & Non-Mil spec component\\ \hline + ${\pi}_E$ & 1.0 & benign ground environment\\ \hline + +\hline \hline +\end{tabular} +\label{tab:resistor} +\end{table} + +Applying equation \ref{resistorfit} with the parameters from table \ref{tab:resistor} +give the following failures in ${10}^6$ hours: + +\begin{equation} + 0.00092 \times 1.0 \times 15.0 \times 1.0 = 0.0138 \;{failures}/{{10}^{6} Hours} + \label{eqn:resistor} +\end{equation} + +While MIL-HDBK-217F gives MTTF for a wide range of common components, +it does not specify how the components will fail (in this case OPEN or SHORT). {Some standards, notably EN298 only consider resistors failing in OPEN mode}. FMD-97 Gives 27\% OPEN and 3\% SHORTED, for resistors under certain electrical and environmental stresses. This example compromises and uses a 90:10 ratio, for resistor failure. Thus for this example resistors are expevcted to fail OPEN in 90\% of cases and SHORTED in the other 10\%. - A standard fixed film resistor, for use in a benign environment, non military spec at temperatures up to 60\oc is given a probability of 13.8 failures per billion ($10^9$) -hours of operation. This figure is referred to as a FIT\footnote{FIT values are measured as the number of failures per billion hours of operation, (roughly 1.1 Million years). The smaller the FIT number the more reliable the fault~mode}, Failure in time. +hours of operation (see equation \ref{eqn:resistor}). +This figure is referred to as a FIT\footnote{FIT values are measured as the number of +failures per Billion (${10}^9$) hours of operation, (roughly 114,000 years). The smaller the +FIT number the more reliable the fault~mode} Failure in time. -A thermistor, bead type, non military spec is given a FIT of 3150. +The formula given for a thermistor in MIL-HDBK-217F\cite{mil1992}[9.8] is reporoduced in +equation \ref{thermistorfit}. The variable meanings and values are described in table \ref{tab:thermistor}. + +\begin{equation} +% fixed comp resistor{\lambda}_p = {\lambda}_{b}{\pi}_{R}{\pi}_Q{\pi}_E +resistor{\lambda}_p = {\lambda}_{b}{\pi}_Q{\pi}_E + \label{thermistorfit} +\end{equation} + +\begin{table}[ht] +\caption{Bead type Thermistor Failure in time assessment} % title of Table +\centering % used for centering table +\begin{tabular}{||c|c|l||} +\hline \hline + \em{Parameter} & \em{Value} & \em{Comments} \\ + & & \\ \hline \hline + ${\lambda}_{b}$ & 0.021 & stress/temp base failure rate bead thermistor \\ \hline + %${\pi}_T$ & 4.2 & max temp of $60^o$ C\\ \hline + %${\pi}_R$ & 1.0 & Resistance range $< 0.1M\Omega$\\ \hline + ${\pi}_Q$ & 15.0 & Non-Mil spec component\\ \hline + ${\pi}_E$ & 1.0 & benign ground environment\\ \hline + +\hline \hline +\end{tabular} +\label{tab:thermistor} +\end{table} + + +\begin{equation} + 0.021 \times 1.0 \times 15.0 \times 1.0 = 0.315 \; {failures}/{{10}^{6} Hours} + \label{eqn:thermistor} +\end{equation} + + +Thus thermistor, bead type, non military spec is given a FIT of 315.0 Using the RIAC finding we can draw up the following table (table \ref{tab:stat_single}), showing the FIT values for all faults considered. @@ -392,8 +485,8 @@ showing the FIT values for all faults considered. TC:1 $R_1$ SHORT & High Fault & - & 12.42 \\ \hline TC:2 $R_1$ OPEN & Low Fault & Low Fault & 1.38 \\ \hline \hline -TC:3 $R_3$ SHORT & Low Fault & High Fault & 2835 \\ \hline -TC:4 $R_3$ OPEN & High Fault & Low Fault & 315 \\ \hline +TC:3 $R_3$ SHORT & Low Fault & High Fault & 283.5 \\ \hline +TC:4 $R_3$ OPEN & High Fault & Low Fault & 31.5 \\ \hline \hline TC:5 $R_2$ SHORT & - & Low Fault & 12.42 \\ TC:6 $R_2$ OPEN & High Fault & High Fault & 1.38 \\ \hline @@ -403,13 +496,13 @@ TC:6 $R_2$ OPEN & High Fault & High Fault & 1.38 \\ \hline \end{table} The FIT for the circuit as a whole is the sum of MTTF values for all the -test cases. The PT100 circuit here has a FIT of 3177.6. This is a MTTF of +test cases. The PT100 circuit here has a FIT of 342.6. This is a MTTF of about 360 years per circuit. A Probablistic tree can now be drawn, with a FIT value for the PT100 circuit and FIT values for all the component fault modes that it was calculated from. We can see from this that that the most likely fault is the thermistor going OPEN. -This circuit is 8 times more likely to fail in this way than in any other. +This circuit is around 10 times more likely to fail in this way than in any other. Were we to need a more reliable temperature sensor this would probably be the fault~mode we would scrutinise first. diff --git a/pt100/stat_single.dia b/pt100/stat_single.dia index 335c24b628415d278a200f25d346bd70f05d9b98..99a2af3cc4e51fee4e81b4106f48c80bbebb1915 100644 GIT binary patch literal 2322 zcmV+t3GMbDiwFP!000001MOX1Z{xTXeV<<;cwQ5R-yfq*7TuzYEl_k8yXkWv+Zsn* zSqfw&nY{G3m!xDTv8BW@O(h!8Kn9VA<`L<05AP+fZhrdt`!bL2(rT5J#rXsQIEm6? zR?f3xaX$Ia<*%o5^7F-~pXOQeMgJ_SWEtsC6f1LeKDn;zn=fZ)_xJZ8e^@1TS%Eye z1*`Pze@UJvXS&hZzGMJJI z3M$ZgPTmeT9TqMh7Ool=E?ZsQlvQ0NS-lH6Ez3MjiUzf=ZqvhYRE?Z^OJng#s ztf-IH{ljs(-~M*2dOv>Lkqu36z01Q~rYvP|Umg~>**smnLbK;>dV0EUo1MKj>)Y-2 zotWmWt;O0xnxJ*aw7u+gNl+5bvZhiG+PRi+j(^=gP_Rl&g=1Db=PNQGS z?~_L#M0+6F{Cx5iKA)`Z;pxt_4(`m>O}U|z1eBd<$)F|0HL0} z+=4p!)ttfN$fV?vq!G(LEg*sd;NsHsAVs5Wv|j-HS$Sab%FpBF(LpOT45;; zM61mVyrR)tZTh}R>(oALx8?u-eyIr>{XMH@w^<$a_`)wNAbs9QS=3#y=Kbhfvdr=a zeRoN*nnbJm!6=#WL;wD%0Y2*-qo0D4px&+f3um-qN;lJl+Z!M2oPi79ny%f$%9t76CB~ zd5oA|;)K%I3KJqfz9#+p&&w|np&0O>N51uFhlxRu1{I{uL=}ZLV68H%9V1)+Pjszy zsikIJT8BP*{9o19S9T4V&#*?&I1cP9+1b( zna2W1%P>xT@>rv^q>3>GP#PXf>XpZ?0}DJJkjLDW$C_2jzaDE8xz=NX02)A#od*_p zJRpySE00epz}UMU8x+y%F#>7;Id&dbpz(k-md@cF2AD!*DJFe}co-nn;*gj~KrN~k zW$884b01#d^NeakXPlXq$ArehGN z(HtlV&j(60Dxp9&e_-B|MBl2fW8H=gM~r-#^{+j z=l3w6uw4l$_UV|lFbqh_VhIGdn2e9dF~fR>f-w0Orfxb0Z5pFCIj7$s1ekYcX#=9Y zCG9AYF}X`5xJ$#N9(E8hXwn!p$vvft01oX6g}C3W=mv*rCrKcaSA`{OcC*N#hoD0{ zO;{4Zf;#z6jP9gl5UA1YX3=-r&2mo6!w@Joz`p((hXIbX8e#&dc}~Qrp&W}EMg#>l z^sk0JlniP(8Z~6^q=wGvok-cFVdD3>^9>3XF~)#EY|}5497)I;(l3Vb3cJV{RB((z zt8>0CmH-YBw61Y<&?;F>AfSzp21EWu(5Bb<7}RMrJ{o@~AI&}In*o9tvfT6gT<;o4 zi=kj9>s#YlT&%*WXVAlaNErliG=eDKNf4c%8NixzHcp^kJ;MeC1F3`7H6j~D$QtC& zyF1uL!JvI(EH?#@AV=6dN$gjP41}f|j4-M2IPuYA@o zfIvtkq^WYvu|h0H5O9gOt(2i};xK3v5nrXn+>Yt6k#-jbQ&gBcRqD|FJu5Q1WDJxmf)Tgw#cKuuZLgO8^6HuK(bb~Z&&D}q_f879HZ ze=IYnBQ$e%gd9PM1sT9=*9cfP)&qrz4X|p80dVai`?m7FVRkg7ra((@*?&+gXCt(7 z_d>5s$ER!~*wv&Swyq$%|^i zMv@d2gvhrL?T{~s&j`}DV1EnVfU%laABh=NM8^Cg6fUY7jw_2#lSv7$Ngr~S`3Ke^{*o6P|%@n`UN2x zqYxdVMl!J#Iz1OiHXs-%9B%-5(4wG4Jq!$DG)6JvM>xMzClq)-yps~669N>(kjE_~ s7lg>5MnR2sDHycqUA3sW&Xb36+Zsn( zSqfw&nY`?8Uy_oY#Fi4rG?j2b0|{b><`L<05AP+fu7CLP+p>smvwD?R<=F%QIEk`y zR?YKraW?tS#cwBK^5gl3ALe=bS^X^PbQ!64lq>!0Y;x5!*Pl;M@9yqEalcBNss=@V z16JAT|I(sJPgSGS$@zyUdfdT0ZBqSO_iEZSbw0gmvZzd#+1X^8&i+}{)lE5{w5_^! zv#O}-=r%3RCLh0=$Kg{fq*VQUlO`7}b zohAeQ=--dpbgfpZQMow(_!IruUQ+kMLtlLtItbD%(|VDYyEtlYigqF}5Ex@M8B7WZ zIpt_QC$EQ_jtf_e3s;W|m#;3btGcPvyxE1ER#lOuWsBO>H`(Dht65qoiaj?hi&1>d zo2Gi<`oE^dYM%kLFK?{vwU)c6^ZE0J`=rG{FL(L8xw`!3Xu8_o?;Z7io3HX|k@a1D zUN%ST{{A@KZ+|*Qy&v9g$%eMK!R28tGM2H|FAs~Ge4eddpxM(l13g`J%}!sM_3d{1 zPE7mK)?#fSiu69KyY7E}Sf-=y1MUb+w_C0F-@F%FDK=U{^qf0H)LJ{%bXYv|JR~ z217$6h=cf34ESMCS&=O-XH{M9x(CM_j{z|{vOA`=hDdNn9^}2qzBP~7i#qlqTlPxzQ6rbsm7fq`JV69NO)D(; zfoP4MffqD-tIg0SX`I?8?Y8{iKQ9zPqhIoRc9S>JfG_;a0y5-{RAti#t6z`4rpvsz zS67#ot4XwK?zPe>m1^Jmdsf_LO+HH>3-ar)V8>W`3@D19&_ao z>W@37E_tj_I#MN=0w^?(1$D|}+kpihkI3WLmdA=!(!CyI+L21>F+l*0pvTq&3p^f? z$K003Clp}pT#q#h@AMb}If5Kpk1No4L>de0@D2k^Au<#bE<-#FknC_sLIj`&Rf)22 z8tT~(FYtNHLnCRe%LFi`m;}TwcPut2kS8Y)5XzZ;#=Y3G{R>5Z|NiB#i?CnodcU@p zjA75#!viE_or`gz!Vs!dA_my$q4pYwftWDmG!m*Y3B$e|CaFsnL7JRPQ$HPpIC*oR z#2p_f4JjeAKT^_rGXzMdM@lUQ!AT5asRIB=JaNvx{Q2v@g8;e~z#bL`@$=C$v(D{d zKw`5JQtZ+(>tGlVlqCZ2*kH2QAIA)<84AMWTA2Fj7_`YpZL&_kK?pGC&e8^iK#UUQ zDpAN=mx&YVfy+dK%QQ~5tpfuZA&=;=> z3&MgjxlfGlrDG5$Z+5fj8|`LUC+1-YBpYF0e~r`b>th0N+=dArZS4~jw9vU04iGYE zp*LE{-bf3rlRJ?#DZ|9=9p@Vq%v89FF(4S4J31itBwP*Y7vp$^eRK>u=wrZYov(`p zfMW!#Yn(PEO>w5;U;+%;Ss8i3dMZrMuWP`}OxMLv5pL2JxkAgw_ zd@MBuk03`_-%0FNi!_9y8&0rPq{F5F3-TjH7KaVA(Nt-Ri9wQllqCCK&iQ(Tx`Z(mSfsrpxy zHz?cg+N4C+=uW`s|i;AUag#XXywO9 zDrZQ@wn&h4ddCX}oKvi%$}xHXK@FY{X4aC=Ao6_7kXtX zX6=fwI$q2fps_HKIYT^Az>>79YwS8M9~@+ljWfU)4-5JCY2vYmCeDvgJQTHFEaOg> zaTVkuM%%qNArf8HleH_WHhIT3J}}B23y*<7tX;$ptu-Ai{JmPZc*hn#bna)JDtZD{ zoUHRVrPGpyYZPLtsp`LD07GU}IPe>yU^wveF%3c5ANc97ScsjT^JxU8^P)O1Pm-d7 z5V;nj9r6Vc@=%0`b$X_X1b8b9%4sgA28YY+@1PBwsXaEyW$4KOf>(VL1<`@Bf+v-U4Sj N;s0Y6ilCaG003|^SBwAv diff --git a/pt100/stat_single.jpg b/pt100/stat_single.jpg index 19df7c6225bab60beb2049bfd2a54099341c2b13..fa5be764bb80d72db29c44f7bdef2b2e01446ea7 100644 GIT binary patch delta 18829 zcmcG$byQW|+W)=i4r!!AKw27UmDtjXAdP^8bT^BTl->f0q@bd7cS(b!ba%(zfVk;* zd7pEi^PK1R{GRvy=VgpJ_5jA7d#|~!dByko%#}2Z7BYfXI*89~{3=CP?^H~j8b4M1 zVB3KaPl)ot{?E@8?Ml5|ZdF+t&kHSe2&Oy~GQ)C;!&oasZ3>Nwc)4Up+diIs|wr1T8J z=lU2VeFI!OQeUrYUNw}+m&n}!AMnF&fV!tQfaC5kJQ(XUONkun%MBo;cNOa?cOm18 z<#Pjc%AF;(?Aevw0MlC-!*D@nUbu)U9h?mJJ$#s#u%ZB$0u6j~YXP+OeswgY-aIDT zwnAXon^P9l&zTb3PnwIMU$Ts|8|KO;fj%${n*9lN9Ei|_rW?5d2sE$r1n6&orK}sE zqD1~5Uy&;7O2tI-255ucV6A+~CwHFE=yn5yfY*af=(R0TX)>o@mvi{y->e}5g#UrCJDAiAbjp{p? zP}@r*5>$x|QE10$Yr_nrJbs{1g!`eH09P4Ih{_va=K*r)8t(?UxPO9=l#7&OEOa0H zpoV}e2YC1N%tTz4*91(Rq0ziuA|si<__9e$fi?lcuZS7I38q%bjR_G3zYc@fMdn+fnnhqr!QyKfcMEV_zl^ zaB)^I@0vuJ3VEll?2TO7hU!;j!rYDd1`^^pc`Lqaa5!V^n|E(KO(5=x!lc*2DS}@R zGo$&yiO6ZduUr@d2hI2Nr_Pw{5l%5hmuI@T{`-QQ@7V&zj9Pe|opCq{!T(%cxj4ax z;@{Pc*Q3R~O>m;#D{w8i^6L%nThTH^G3<6r6Ci&YBlbQ{n)>`I5?R7v4;_lw=ofSq z=ES@#^y4DTc17E}0sgs$;6E3!!~+>U*xhqs9qRwmX|u2N;ihe{bT8e($MrLd&>%_C zIUC>3mPipPK9dp7xP_xTDWaKdbU^_M*A~pbFhlVAk(*&G$gI$k6YE=1^Wrl-sH?gD zKKi8u;iDvM&kD4OAi*18+4cq)3tP>)B);NLd0yP-)W9%(Q7evh~0R|d~GmEL%OkG>t*tcS<9M{X(Vp~#fY9Pzp?xxtVUk~1>%q*Y*)xQ(YXkxJWxmiVGf_78q3idi?|94g zHPI^z&o@GJNazzwUwW`Hhe$BTxyh5k(e4SsN$#=#YupeKg06uA$PQWB+OpBTLd)?> zg?tIBG)o~&E2E=>DHc+|hplXnCLjAt)TQPpl=8z5dgGf%MXSrte0+>f9x+TUT|Y_! z*j+pssV5pimoIkB_v56DWpQlxrNtsWLo|DS^J)$*!>|N#)PhqVeqGkYG%?ssW#mR0 zkKK-svijj70y3Xb2_9iOhttwxu15~Bdszjp1W8F?ZpMU>2LN$Els zFaJ;+$>uid{|IT>Of$Sv^AkQe>7lO}_a4{%>82d|L$D?Go5~QTWxfOs+tcr|)MW^- z@FEdE+*NdTY};pI@7G)B*<3YX3_{L=IDi(8I3l!d=1Yk59k0(j*UB?@#_qiLPhAjm zc!VRt;7P^UVU5G=i$$S@&GaT`qWDtO%VPPM-Zy!MhOIW`L6jq|RNftpCHbBw*$JI6 znqJ0x`TigsVk36t5F6zS<39-hmiql@J#VTrY5wtBj4=FZGvb3<^Y-X-;zr2Fw;bs; zGk|lDSB6aliA&#FRzjFY3`W<#O`S+IQaR1Ed>l)t=7rnKlf?KNCs*OO=gC=Ihwp56x!=%d@oNQ2w&on z0ohh`%T{LH)^7kC19p?gq!cQKLSjkL8E{x4wEC>cs0KFq8=m*Zi)q zZKoX^f4i#r^hBFbDzs{$p8(+}kGU{X5ngeXEj0QoY^O2?4E;Wz2B$LT$AXr=wsGTO zcuFlTtr4j^$(JF~pBEkVexRFjDw?LV1@$fLL$?%YF&R5naWG$^zO+#VvNx8Gzo^er zn{>bYAoF;PXuIvZ1RI$$Jn2iZN)O?5H{y5fF9vb#QbbGKeqejioRg~I3AckNQ6BIt z_{`GjfK)1Abf*$+&h)wdj;E{s;*5fq9fx?kwD}`@QY9UPv%FlGGvr7^>=>!9z|Ekl zmh##7v(Q(c4tR$yVzY$!_2-r{ekeI(L6(HpK6UxHqNXuk1L>J17xs&Du+4wD=u<1N ze?#z*7`3BY4OU1@+5vadudvK7)^{?l@~Az_E&PSM*p=EaUuxoDVxaVJ99(sL8qsZ?X8WCx(3E zqGgA-0&Z!?QvLf+SLWYU4qIkDM!b1EVzMK|-+MSrM$0#uuH=kn)#YWu#8Uv+*ky{0 zi#oXe{+@{)LXe@cz(JjsclgFZ<{V2xcaf7&>{RBVgL4BTF@isJ=|Z|gcDg{lu0#|z zDLf|yk{YE*vcQ1-A^Y@ncv-HEuW3Z(TInb+b9t2!L&9fqQedvTKn&=ohsUYgXrU=m zK!XxW5y+~Dl(jBMLPXeZ0CFNH*M-Mrg;|zm7v(*zrCnZT79;R<4M#g1Oja;bGs9NGan#Iv=0`vmAgobcS`pu0RTae&CQe>O z0pxPRgK!MW_q$R^IElh9K?GbmAp=AKq<{ zP>$N$q`OP@cEiZwYD|>YyO)-8W~n&#Z+av#PkMTKq{;OI0i@_gnYCY@oi!ud$jb|{ z+-maMu%rc}uL(lM1(~6BGiXMqlx?Wr^3CC=lU)mphIOI?d{mP5OOB!h>KB>l#7fTk z!9e;6R&_FP$W?enqF;d|j(AxxC3|6JSev5Li&^YjV3t5bA0pg_sT&4RW)*Jvnnt>B zmX7Z+H&xkZz&SjVaOb{!tHx_5yp>60qb<*G4u+)!TNDm!6qMrw4d6?!8^kE<@(`LvR%2Y0n2E zKA|Es{D@4x6U^%NP77JvGRO8o*N`sQM!Phb)w`rgff5MlZr^trD5J{)FK~1@RKWFI zbIzW-{e*asL>x-9e7gZ`ZKH-x z8B16kqUAysz{YpabQJIT=l7bc1HM?4-CK*dL>l%LMFLD{PZ->n0z$Rvq<<#Vg=;o& zr{2*CO_@=lDgGXW4|hSAhYR9qf!#>CsFN1lEw@+ajn~f_{kcm7crqhH8|ayOlH@UC zZU73@!ceVT*C~Qv zyeiABN;~SxtJbwhF#e6bG@ebSRni9mX$3B=HglqSE&^;U+CEooI;`iG*p%B8fVSd4 zhF;dC@eS|@u>miJ4HQQeP47^1wFIo{O+6qED_;$f-yQg?oa$OUW50iR)o=rBKXOOg zqR>_Z{vJNyWl{EP$+Tt3N^B%vqru6T>JgsOnKjiD_w#r4s@h zdSd9TMSK*^m5mM!V!2L`WbabJ$EjeuhH0vqwd$=Zae)Iazc;?F;_8nlxgd>2w?^38 zpTp9AZp8V`jL51yU!~gL*mN)p)~G`Ri^4=!yOmz_|eIOruosqIGSHGSYDLzD@^!X zCOj2X^&9W8_UwKWgfL1cXiU<)92`l%m2QSKGA;?1wq4?Uy4<9sNw#J4K`HjDM%fTk zUv#t1ngs^tzLX9ZGkUiO+V)#Lf#pM{Efbc;`>rtAtb#9#qrbRfoBGzMm{=|rx#o}H zK?)KB9{;o|I1OO{s4R_`neBIR;dO2!qfUa+aDNO=f=NSlLpC1I(52?;hyMQFM&Tu! zmP%2i!1RG*W4S}+kC@bCWMygl3!nApq$*QmYe?cMB%Mxp_xGps+nLll^FGCA*y8m# z+~(B_b(r)asJ_HZL5$N(8bnv>G6OLKn@VV3O?-;g`nnr9KKI)q_zZx4&@|gk2+I(^ zI?mIRU|@*}Gxf};?(^P3w=km>ku7w706%-vMs)PQSTwY9C8V>cr{B-x>f9SvDXH9L|M|gIVmRQRpAF=4<2f{%H{k!nu>Tl0I+WI~ zI$b6)cwNum04E=zl6>>h>jq#y?r1s1ufG9C)a4nlAeT>m4ciQF*`u_(0Y0YG;{#kD zqyHK_Z;*$tKaYb+lO4Ay?v+Hlr|R2V3ej}*(eYuvwr~|np<#EOm$w?SRRmt3lsl

o`s*1U>YOPA}2*27tht%SQ2Jy#+ynGMMwwyQAzmjtWr^*_E6*I;@! z#5TTr!SFqq{;tKbHG8V`y_W<#|MDnk^oWNZP9R@XhxPzw{u7lot-c*4TxNst zDEZcT%Q-s__HR7_u{_6GNLAu53KN4r7(FBFByXL`H`}xq3YqLl?f-S-w4Cb2`Lhhhf;Rx3$ve6A?q~0my|WICEbP|bl`Tj-!>sASehq2_#ybX^pcoZCqal9%jL-6QW3#;#>+3aEIdN)7Lc}o zYTD7#Xpbj(EEfu|i${ZO*Efu^7iF;`9wGhA`Bb-tPRQU@Vgq}c!?}+*Zl58Wt%Nx` z*#mg+Bm++&{1&bk$dihUhiU_y>6NFa0|pKS)}LCZGnc0lg1CC|RoFbG%q*8kiDIpd zMlWT)$Xu6zSjpekoZcgAgEYn&^h=2;EYqENhL%UF7Ng1L=DafmDxL77^!DmGFrUub z+aK0S%zXoEarczOA_COO+frwmzkWd#bdxE&6d8VYsN9kRS4UgZUBAKj_?1*s*w`%& zc=UYaZ?$2HRU-{&JLv@<1+&G8;^$|Z0XP6!7x&};vP1ra0L>MgXu9@HrXzdy*s6V4 zXJ)da@k5wYLQeRS61B5M!}=B;U6>KV^!45)<+7hK)xhN(Y}OES{Q#&%mHAD9x9vouK@j5pmw{K zx&e}WR!lFjjKQtX#UTZ7Lyp^^7Pefl+*+o$-F2I8%lTcq>|&;+t6yC?h+O%!9Zey{ zsAU`*8kIHgVVA9Mxr_A2#-0BPp?^ZDUQ1cc*vak(f}YEM!~9HIxC>okFrknnE#^rv zNgH*|0@Z|Okm$R-qmQsV!@ux27Ec>q+Mhj24?Gopag^Ws4BP^+n#k%vdX(lhSq3AU z6~b`WldNdsy&t#Z5r;0(4d7orjLRGsVav^hk^iv{L`QWkcHO3Vd%db#)p0)qo)f#j zNiWC+V}TLHWKKzk;QTu;!Fqwp{eE8{#=WL=f;aaa#mi{tY*jP~sa*e;8qWga1QqCY z*Fg%j4QFq-3ChcbDq~fWee6;;WwjScPc>*DhC}D5L&co*>{*0~aBT|DHmN4jc%vTG zQMU+Lw)a|WD9=|~Oz7sjrE!MP75F$Du*TWkd61;c8m{+5Pyr_dca?JE80GY5YX01% zp0z(yZw?~Xe)B_9OBKBfXHL?84{DmY)F$IY!Ah4Y?9%uns#{g{it$u3Skcyu7qgT+ zvHH=V&br~$Ds$q1<3EcWXpf4ow4kBfx;)oKGww@r;#Eu4Uc*+G%OdC#2*@kf-FmT0 zZ-A9Lg!PsBIcosxShfO`fDKhqPtPxw{tPWS@xZsptnU^nZc_C*5sj#rhdaIrJ@MiX${D~+DPKeeXEXmElola?kG^DI=d|j zlD;BVU-%;Of;Lr}m0#r%K#aC0g+=gnIiAoq@YeA1s7R!=T7mbOm7|HCjPa1C1XBVO zeChrb7yg}b;vhMn*%kO{Vs5A2D=u51zK}wzN+WoHmuCJYM2v@v_KB-!dXZ-;+==0~ za{HxhS%91Nm@MOuVJL;O9Y54%c@QOX^ps0-ET1HYGwHIw#y z&*VTy42Sg1BxI80ZVd)kPSgqRU)kWll0mo*Cp#!dkcx6xnLq?wBKU&~RQU!&g?~)P z{^s9(K$C9a%)I8v*&sU({QCQ&{(gmodr}nJzQGbwGvc7-uMqYeP8)*s?(o9L)^`>= zpn1`@X&%h6Ufl8=3)@kxG{Dqdo;6|S>oSUhnAp*&_5m|Pz==l8fBDe$@y z3a+hbZ-t=X+H32D8U81@lF-E|;Nak}ap#2w%hSEpdq3r!Ykuu^tC+v^Np)Whzzl}xJ#hyC3)}d(*%Kq*XyKG$|!xnyi1I#o_A|h@N zL|oqSHM;>)_qlH|tbi>}86_!Zxi6M=DztF2wVz)zB6Y)78iYM^cAQPRTKrj9R(qKp zABG$4OZ3ooDN~j~ThIi2I__b}K%!bZ_DkyBe&PO4|MC_^rXNYp0DY1?El1g<^{NyT z_O`7wveyH2y;cv;!V#K(?2Midq+7jfa7zg;F3nz3O156{$pjW`-3#k=r4mc z%grZ&YN-#hvgCqDCFV9>#W&>txgqj9n^ zr{|XBEBs%BD%3lpfLpP!*Z`}S4&IppNQa2_0+;5wy)n@m;yk``FAd~)?8kQ^|8q5FWAM4^)h_BXlhB{*>GjV z<~&Cw(u&)$FBK&5&kCI!l!k7r_2pp8spulO_m5pjDCgp{>L&?$xi{ab&&Ua+S7v@l zm%LjQ#LgH&ub2HVZ~YHx3X-Ru2l64tWO)#m^>%YGTM3V}i6dshl%FhpDiQh22xo;h z=3D6#>lA36my*b5r%j*cw$o086jqE`I&On+)u~!xL#eE*+z+`1m1!}9D2n|aAKw6x z1`Zo=A3G$*qlm$=O7Hgq4hu_Nsk#zY9&Df2Ila%V2_Ho7ixla08;$P&k`daF`XKds zk>cw}#4%KgkT64)em23||58Q#3F^wyr1OUTPA(K~3fvS)k`zMqiC_q>G^sL8iTG{o z7R1cTf++#tLfNvzQPo29UXe_``SYdTS+kXU;O$3P%7Mw=!WDBY8&UB^GDYX zjp;%)B;;}Vs}+RtKS))WGoqJ%-2iAt?cc;B{mH!;6N_b9(+=)3T=(V^zgDN|86+U> z6Hc-C9r>~jYOPQOg3OJzqoO?Ep6M-vKJyQc>)ugIQxVa*Y~0mO&tENhP$)0;x7Ydm zRT3mcVLU(*EsdE-o?IErZhZaR=Ww9MeD|z-;Y?}q9X+~ym)(bYq+F~t=AJa{3v9)h zh}>nueTqtQ_00IgKoGr|8BzPIFd*sqN)!0k75$E`6rh~`P(<=HQi-O+NaviqLw22s+InV4!)ceso=n!XDP-gS*v zd&|4|yNuIAVlTUTdrKJl%fYiH?P0DbkAo<@JXeCCT4HFVYCxdlzN_grHNs?utQs3- zDg~*bFUAcqUuxhEu~tI+Km`1s%B;;9#ZQsQP(+Y7I-jnwQOiYTH~h*=}HQBI%{DQw$ns52SbYFn1 zpZXo!AajMuy*up~$wnZ%8mDX$u z$!XVG(38r)beZzD`);5d#-I)o0IY4BqDBDRJvrN;0ux-SNg?E2Vk1|0hE6FoC+0aqshIo-2GZeI>4^ ztt#{>=e2{%j~7uwJ)wmKKV^1`x?@ge`Oq(Po1%9n_jr**wybwEEOm~>fV^-iT>B8E z1sFgE+~?*hR7A2nN$`ALtO{laZNeVne0FIGTs*DbKTLO%r*qen6OU#$etbPR*?wNM zGu2l*>Bu!ggjor)GnvSGm>E6WV zwXd^HfcuHA2qSw{Y6o6UKUQbe#k8_txmGRO8=?=%k^Ev}@;$9RoH*3(1CJSW#}AnG zDals+TMPZA?N1H zlcS|E63B(f$H)o`oA9=!!Ic^W7`AXeF}v^k_UKblSn-6@eJ?rgWhD*3s+)E;NP)G` zTc908yzw@f)JV~kJ*$xU)$1@I)1EOZX^%dajy|_fkogvE_;2m;AFtNC2IV$s;ESfD z8NaNBPW*@1^9M&NW%+dP^$sO=6agD;qjT?k-lR6KkFTmz?eNlgtm7n2JP5ye`e>|% zY!Rz;Eostuw`80E5LY1e1uK%TS(##geQhb9QdQ6`JS9|EVh7HD(=-!q|qE9~! zXKhnwViJR_s6wP4k+8XV8Kt|0^@3dzYgPn{pIMamQ2)3JWC6UAgiq&Y6>{OVTC|V0vJ#;J~ z>m=3XHPC9ZG;**=p9I}jdMbDQXsaCfZvc&pms{nroJU4qxrUlzTm|vMz!&Lj76~{a zXu~5qt7AE-`gNn@mdE@1%e9`&4m@ls-*6-c&FztM9{aBUN<{zm&-lkuI;P>7(uSBS zD~OUPN4XL6km)k(zz6)_+k=wOTKANIXHPUg>zYQM5HL}o0*@8PQXbm62b=ag6y}lk zwVsCq$6#VNa~v16NJkLfg8I@a=3C)ScBpm{SoKAb_lx$J<3PRfOks4{<4h*bp_{=#am{4R~A(JFnA`&-?>sBc8p zuxQkS;S}rGRbDzfwsJAt<#3&)-!wA2oN7q19Pq2*^bRaH*Oodai$kmP02eHuRnx@Fq(^IIht zg9|j69C&Q8Kkw3i_~8ETmsT~uX4Cb{ecWs@A}B);XW>t*2~%QJ8yl|Sfq~P zNLU2D&jC-0XEI{yj}1K?o{Wyp1gvoz%vJ8_VI&RQCUwiaH{~`&%>@*Loq@!omoKcH zC~tr)tj@xZc80UcN1HXy3VpJ~!oitR7`$WX_wgZsWzXND5G8aZ!?{9o$hX-bIE9L) zcobr$V8*Ehy0(8&WAtNj+lI$dGu-{LSvt{t%dp=k7f%$#AqW*6OzSgPRga9Rc(C5= zPN+)S9)u&^5JaK_{~^f*7B;DN)Dy?MR?mE{`8+k)!(d)tuk!9IJ30obOM+5Btn6;b zZN3=KBjcS@s%=+c3{}_2J4|~?fsVPK0GkmdCE-jNJ0X%=TY9Rl6Xz2dkb&Q6i`%B_ z)gEgm>BDig!O)0?(5uItIz_>c)`+3HfjCrc9y5JD%8{iosi8T0vRW}9$rqJ-QU2AHHkj5Sn>>2x z26&y@DNA~__~xW!pYNW;_1q{MUzsv;PT@Bkzwn?pnHC?dxZ(+tKQwo)sQPQscC~Oh z&hz5pBo1yE5Y%yp-ttzKg<2!hG(uz}%E{x3d-`*XI%(#S2!Djc3wU2TqcXh~CY(Zo zS<~nG%aS@%N2<0rqlU%FTQ0?bzZ=+c@^L+Vs7l^ikmH9-2N9b=WCOFztlI zd30>AGuFgi0|6XNdW(zvn$V-178pn1oh7kzFb8u?`!HF`5%_fsJg8? z&bF9S&8E{^(+m>5%SE{8R65JPmP=16W=gDDsXk!QEspFvGegPm<`tE}|S*KqZ~h>@ipUWQISjYZ7~6IOMaQ$ItB3%b$Nn zr)9Bz&64iQ{i*wns9nH=MHPqJJ-g(Zw{dTPO1hp~jZb@+ejIsOU(t5WXF%w`mRsnZpAj)MX;n z*eg5wmPtam+?JjKG55MiXeB!BM&v0s%BpJ{s_RpvhwPtsEJyOxzKCE@V2Gy$eqmrW z#Wv;rc2i*N91d>K^i#?26LrTh` zR9rHJkI``lm!5RRF2_FYrW0+6BsCxF;{<>DOMAzSxrBe95mJ%AC`rH&WOn3kPL!uO zDdO&aIJ$o_AT%RoC*?j(0UJ?1W=~JjWKYt76}Eq?{4D6qkJOHePh4@dYQS;kXtrYl z$@hcDMr3^KH3wy7jY6o?5gCXtw03;7bV9kUqlH7^?j!K4V0tfQgCR{f{XAe`v^SAk zW~4p!taoNf!s!FCTW^sZ#+wq9l7D}{WZ{>z^HZyu4CgJz9X;Ah8u}CFH9f^YeN!X3 zjv@%((I`VKMpzwrT>0vT%$N%IADJuE+j^O;5_Hozec(yDCr^9L0Q$w#T`JZiAAN;z z3?lM@iV=D)^cCGR&J5${ho*1yrN0v13)d}Cf%pWa3dCu|%e?0t{e~(j>^(sB{R%VS zd3usdFZ)E;e@M-c9630+a?!r+^vYWQgH{>KlKc=2wF{LqF55a#!yFu^#FPCoNMcvj z?g}I^X=)f}9~bRb1y6XA!=>|hdpEkPMHLtD3(m{q-;(9gHga0AO?Z5mRr!VWvp9u> zcZXH`Ub5HOyW`3!}^F zq)6Z~YN0zbDXUl4I!Rgz zHg3B6nH^Imj|sgmbqnsf<7EYJt#9<5Y;VwwXx}a}RNH4b;``y+a|C=5!izp|bnc9l z)Y75kw)rMWrvr@Z;FJkEK2Lno;i93Coy4)VZ+u^?ob6u$>DFq zL7Qv(>azC_Xl9gDLLEtSRemIf&aozIqKMpdXZVhHbj!P!Cr3Tl>*EZY9*i!tRn?+J zr1@7RR5%&8I;q9B!V`^uQJ`&lnv(1lUeYd)ziCgizyB+DJKjY|fi&4b@`Y{uyZag6 z&Y07WCq+kv7Pjg?=gJf(yXAN04_4GnuYpl&8muajFW5@@BgfV(kGy|vLCqPqYtm`! zvC5JvnK9>Xr~F>&3B7Xpks%isikydRJVKDNy4&3+BpmJM?R(A?etsRwP?mJ6YM9UZ z{u5S-{wfQ*l|{xt0`ZEVLU(`k{(p9UNaTh{_J)`b0F*F3YAI&qk*XZce`ldU+Z-pAU6A``a@f<%B6Y*(PHnUghB5_JcAJmXImnm_& z>-eBUbTmv$^9h<2v*%oZ9slw7K>9IueF1+t@RL#f8jrd)U1AEa4_kvU(^t+WK+)yX z%#=62F~`Ayi?!2dI@@9$a?X@82W!AGrIj=0*hn+x_R;M33d0@S&!$~7#z*?5&r`yN z-@r5sc$24eNS!+zdAikn{izU!hRP0@_c}3E*y6bU68o}=0gM=3kCt$E0?|4{2NF;{ z*fF8onYA+ZQ9c9``L~|m23p6MCqE)N!whxCDreuxRj%Qu)cduzHFvx9TD@WsaJgxV5d{&o~ih5FMOAYO6F>OJ2@ARm#(Yl%^CkfZe+vIt!SJ>~4AK7mmKDjnW z*a`ORsT@9YbT{TcJ*V3(5*qZY1;;^6Ui?wz>)l(4C@ma3i+~k7z6Yw2B9WqWzYq&) zlL|qPx*jbyvyO~8vL+lOq^}BF=<-I2dFI{G0E4bI5$4y7jyd!nbQm8LU*$?j zFkpGE;OZ_PP;qq}M8`90*CoTa@pj~SJBVlFi?734fvg z#KgF4hyu#?MbKXqA|c`0h`5|TBxKjIc`!sm;!F3tK_sN-y&9}H^l2qfj~Wsf!Fkm0 zM;CmxH^95Ww~Q-4Zh+?6W7hRVY=yawRS4tF)_%6l99QJMsmCISGoIu2y4om$QqjgQfUFI$;SL|!8<2IgQ$Kv{EV53n=?2{MBw@{M3_?nwiE!A80N#u;75p>+ z+xQi36_f1If=|i{?CIXIQeM@McV>m#L56YJdJc+!^QvOFI=6~@JT~|Oc9rvGfca?O z{5VM}FEReW(tiJ$#j!;REl06|jov9JD;u}LHMUjo(%r(L{hqo=sjzZQ@u;~qPW6gJ zYjOEMkc_|4jH4^^73G*l<=nOcTRCFc5ewNve$)M)r=Ans-Y+p-ao2RA{=*-Ve(N2$ z9=LePg}MWQ9}y3ruoQpAl>~L7AnE*?Y%vl%QIk7rak{2}zj@4Nstw&>rw+Mu4yH5H zni~NB1S%t;a%q_l6#;==?Kc3=DfFB2e@xBu&x0+mYgU-9$Vo0sAbK;536XO75W-1b z+yKcJAmX3rTHt|?nZdeCedL{@bwe=RrCag=n~!J@!?UtBZb6kH`DV zNn}+Ex@Ixzb>~{qdRLX*ZTWO0;p5tP=A|RIV@7d7*=0olYQp`;H{tFMzjP|x2^502 z8*GNPlsTqqitm7xWSg!&A@_b$W3Xpl)w?Mhcm8?boWNCI)`gcmWALByz(jM|iOl~g z(kp^bv>*49j-hDcD(e0`4xMqr8oKf`ncWE<=tKtC%QD=uzj^~aX3xfeJE#c5RW(H6 zyJ`en&pn$dQMnGQbcYnQjcj5$UXCf*s(jONxT%Exx}v4V_84HrXu^ z=s%YJu}V9idDbPR+YOIZGX^Ci{>pQ3WFN9LyIIC{+k zd>0Ajc%hC7TY@|rrru`=ja6ReIgFB}MqC;Qqp(#`d>JVdFpnP0C}P*h&4f;c8C-lp z0RNt0*8j~$1;PJc_rZcwWFYrXQ3h59w^q~XiTacrqL4YzUQui^VaY$gP6Eh$Hh+II z527ib-T?1;uDcqTt}>w=D|D&)RXx{RPj8%WLM*ed&n|L8{&C79UbHqGTE>sH0h~`z z6@^<9_dnI6?wU2##I1-X7-Qq_&|ripIR~hFWWt^G>DADBck1;z8U9*BDJQgltRYyn z{HOCos>~dugj)z<2;LSeLt*=ym6c=u_gt(F2&pFF^N*{)VWU4%nIk0x@FZq;V1HTj zQ*=fUjv~%Wro48I^ZpQB z{}a$vD+lc_6V#gpdz6WFe_jfmgpIhQX*MRk+sU%9;=d<@=`wUZ*1!C1;2Lg)Qw+kdajy^7q z4`Rbix?3J|cfSGGO8oEN0JT}y@FEJppA3R{9_E0v-Pdnne@q#ndJQ8Ey8)b-&b9CO zV*QtjNgqC?$^gpWeyc|U`C7#lZ$FdqB7fE80jCRb&6Fj@FSCi|@?mfvYLcUj!h1oQ z7M(^-b;u{)-xgINq{lL3XJKPU46d4-CK|h<6+sQ$V|8i@{_X45ileWnOxS;)T7emD zTGo4-_*rx&4Mt2H$pb+p1?+NZslxf4qn%wJo9ghv6H5hp{r=a2id>7cUWXd;OYWPr z%uqLh^Q+x?W@^cdp{7@EX+ynA&d;YV^)~OT-#?_nSf@1?Gs9wYIaIwSSIt7H$abGL z2@G71Tu`6NPFy$+2|HzE+yGuqhb|R#;2RONxkE!ZAowZux=qjY{BAyi^AbKp1Ws{J-T;bxjDO4+{BOel z^K0Jb+Mm*N#irA}>+=TNzsVn5D9r5ALC0q3N$*dJ%YO2*TQ z85gOn)=6L!s^3@;TBF=fl3a7;!f5#A)Q)=z15Hvhq!OCFPJW(tC10qiTv4eDn8 ziH~tBh6NuQ7#=Sy%&(M&^uS(?!pQC!Mm-i!zWBb||Cs`NQ?#jY=XOeb$#d)pM@zfe zsTI|S=2XLvhC&EuVPsgnwBY+7G-n%(vX6C|)H|coi?Z8P_g;xl@VJil@}^LQY*;Bq|3mQ@+JOQBVr8`dB-TDPRjQ_KaUZ5u7Egf{(1F?{MLz3CVQt$@t6Y%`L zV}+N`O01z;=7_`oKHpLbwnZx3AD&||g|QZrTTHBJ1Q6Bpz>(CEo25vs>Qv&2T-(Q| zUDl~jW13I-DR1F?VB#e9%?zo3<03Tsh@U+U7J|ms6-N1iJ|Qm&+s|@!Y#0Xzsd;T# za&dbPJoP=nhdSfY;PD-BYSQ8c1S+7Yh9kGya>khn1&z{Ylh@I&q@lB;?8oh2r8PR>kcsG&lA@`8Hmx=Xfm?d;vq zj2KvWbnVb=<#pL$H@t-bA2elxe>M{aYh^H=G>m)r=t8MA0rx8}mpAUC!v;PsnylY^ zy5?f+(%1uxK9({T9J6nA{49vJesbXPT-HA>`MQbojK>~A?b9mwtq!6zd zi#b?-uWwFu903b|S3foE8YQC;&e769ljuDW(fm9h5M6ntZ6L?G(6=!^2CuD*$GA&x zK@(LmA<4p;z0PqxH_ZGCZ1Ug4F}$7uPsl%ko(#0e$$-TkLvoVqx(}R^Gq=j>5>@vBs)J8=LRCgWZm8~VpG*1F1bT@+&=Bb<=vGNb*8(zHzS=_D%Tms3*MB=Hu zvpNLCavi+WQnIX_Cq|6XEn;8RqT%ZHe1BI{qSm9ZTpEBsq!!Z2tYX>l0{^~1mKSeF zxLLQ0=bbqDHv42+3?T8@F98x;-|~f`HDc(Y2O&~^A#mxJtFiBsT?=v77e5Q9LmqGt z(e=U3I^e6(wl2~@a_eVg$_y?AyZvs1e|~Ndooh^7vxyHT`RGJo>c<(I6>Yma$5CQy z#->AVG1heclMYRO7Sh()Mfh+9t(S0^kufNlRvlZiLtTB;USx}${jT3UAeMf_R(+%$ z$MNKG@yHNeust#Q2_)?D`79gmLbTrOvtT}tm!|t7hQjr_M=6~5?!kYXeM1XjVyr9B zGhoaGy$gH_l*Qhq!rW7C080WcOBdF=31ax+&#nm*BrSTSPPDL%uRd3aWWEe9aFB4Q z8k|}$7s`21(Eeil4K|?ymJ%J7hVT=cG}BYrlh1$%7y9E>|oe$y@};CQm=6}0nOF4?@Y z5OJWjPlC_lEI30~!_aJc8ZqPY^U!{kLENibbQD8;hQUCh1C1g#;?5h(11y&yU^Wz< zo{24)1TWF$GP6f&(0iM7BNb zKHIpe%Y18h+3edHNl%hbP*Te$puekg0KUOcR{S{&8+P9p-4L$&ROw8s(w6WsY#y~L z>I=s=vzNh;GyW-8eJS>h(yVg5TTNFcZ2aRZbUUqI7mlgRyWrHyrNUP?kP)}9X$4$pPM_FtzmQ@ z;-9lTSp;K#cX@9cKmwiI4S?HysRBK?BXIf#xCfC)!hJWum&GdkE^vu5B>8jG*o@r{kSKyUc6YqmwqIU zXWK`+=}Pf2XXTcB6N>C!ow=;daBp4mQ=J*9y3HFqPcR4-dKNFp-hXT3oru?E-kJGQ z$FuWmlXXwKIK9=2KOgk2^5<-I`7rh6;NwS*BJYLovWW)u=pSDHdjzHxXXO&iFKL1biKf{@+z||MA z{r}E`x=bhyMTX~pCi^DHD1N*TZ2AK`S2wg?1Ka+la=?Q|CRILM|C==mII^{L0bkSP zg&NXs)QNnM!`(yr?|3^eo#p0tv8TFsItg76XncV+;#e-9b|NGAK%YpqO=-^ZQ zq8js$)7wodOy;UTvcLHz;qKF;f7`j=-Z|Q@b7Y>U%`A-typty+AD_HGNjYod!~HDT zR_Q%UKI-j!H2>}DWtY!3^}qSD?bf`63AM)#9%SEMwPDs3YF4mG@WWzaa8Gl#+I zqANqhngJR`ApZX|CY0C$>r(sTDo%u5>lqUt1ba96x#?KGKiV{ zA;n!?@>hS`Kjk0&ffx2~SNX6g;^nTj`xe|!%x+Y!OnJilp!uLp;W^9o0h8Tg6jZd^ zH+)d<1MX?Pb?E$~`03f%Le5gsr`~Mta4M z;)rWsbED(`-Q0I|Prp(8#ix028Q%-hKg3~w(l6$xPNpFA=77$^?3O@NDJE4u#){gscu{wMwK h`oB}3|1_viJ)Zw>n^Es)<@#Nf?8|d50^{KSO#u3C0^$Gw delta 19004 zcmce81yq#Z-tJ4Mbhk1J(xG&Ul1eDjB_Z9?@e%^kF#^&^s+4p}NP~oQcXu+lh&-45y;5SO#Aj|-b(pa)w?Ek)te5b9_?He+umPuo13mB+mdK!R`1IoL&fM;L0*N=;J}hnciiI< zL4!v_-(QE#nD?NkqkcG0u_@S0 zZh`g>`;z4ik3G!u=B*fw4l#;W1}B=$;Js3-AJh;84t#QtH^@}6GT?(mOkn2Uz7ISV zWDYmoEwBK68|B$Zii{h11L0esMe-IfH}KapZ0lpVQa>0>=xjf7x0tGp&FA;vRg|A9 zfcXWh)%eHAug9BI17x?rqU9|x611FgO?nHQxfpaVlc(pK)31gEdYidfKX844`3WZ5 z!n7E;un-`Ld-0hG9J{t$n%3voa^5;0R^&9QOI9$W6=Y1|5d6^0vCd><8Y5g%ej-jY z&^kq*5NnjeX?sr#&V)L#)#ry|?4-~MgGP4QrLUv<=sj00DQd_ri$J;ML(E-H4+PfJ(jtB#`CI4ma@4%nK zx4>7tPDum{bj-F17wC?yX$XESaX!)JdTf33Jh!j6wD+5A5T*zq*3k?Y5s3g;#n7(a z0{`;HE&fA0@){-A1G&hjdl8$|L$YhHnRwBBq;KwLm^&TQ{K|ZSAD#yb@#ZUIo&k!T+Qjaw56FYdGC?9@q8N% zeL{%^ywl!;q?cxZII>wH^A_NZ@eGhgUqu}Mj6n>vj9>D9XxmHKHTCx0Gg~Eakf**- zKoiyW1GlB9z=MigVC%`@021dGxDxrdMIEyQr?d&s{5qr1yzGzpu&@=UUD#5TCEMD~ z_JDwS#)(il^=)Gb!oy*Lo7V#(4e6E$|lDpe+XHKY)l`&lR}-3o5Wt{&2rl zG=tDvwsLUix$%Hjjat6^;!jzI7g+)(af&2-(k1~pM-!QZDhK&(FRF zCMe!lo!T)5bCBGv_Km?J`oS#xgoqq969+zz&jH`Zr~9`-0M<%UB9<8OXS6n5HTbNM zOe1u7FZifY`MEsYY=}MpVzCov`08k{+K?$3bu|fG!75GH8d1^-Xqv?0PiUP zBtrFsc-sb&HN%zj^m6pY8E6$}>9kKprCC&MU5jh{r6QXOrc}50k#&1p8=C_wn&0D(NaTOEHge4q3GFv*X#O#UV!>tLG z%eNU00aZ`TV`e!{ZG9yWo7sD9k*7Pn`}e_Uj@e-ULFl zRU=vay`w(~+M{nN&yN=DVryAoQAt8nXnw3{DG2F>-B&FPB=y5CAoDKC7Rj$hrF~j~ zEVNXDdOSj7{=gV<)G$^w!uG*!O<$V&(u0dAam8JH;u)p8Ppi@Che+}rm`oq4${XiI zm_}2LNPu?`&a#JYf!^Yqld~;Fn~r^u?atl0{!Cv{XWlSmB~ouA^e7`QCl(!m}$(!lO`kToEGNEzI4v1^kR zHEviLO!RC9C>QS^nmi^eC+?oYrp7KL{H`WNzQbK~DlRgG>{sC%+kz!iPRXtq;ifXk zO4D1ldt`*@`_dxX5E6^a;jL5UKRSXq#yNKBnpl#o2c&DOxu367yP8Bl&m@pkI3Q1t z1rOP^4sC0XZh;C;67KuhxG>HntuJchrgFlta(NXsZMR13kp|9ha)k(#>|o9#ab)15 zovLcD+6Q7Q&$w|j7g$j|0U6KxWGKA|(M}!12#!PID~2M1)rO&U8x^}PDF^k1cy#}I z`U3|i%)IJMErdUZ#)WBLAzYHgK-=p3tV*7B zo$rhETr13zg+)5zQ0DILSK}~KOq*qdSI1>k%9jau!%o+xH)DH(xkZ=c0?ENc09*5Q zncz7#edDH!4zR~v$Z;wv%(1`AR9^|FT}1hk$vF?-xQ=*4a{hv8GmoPT8jX`$;ZkDB}$EG4OrjpoQ+HhY*XOsTx;c} zX2Jzd6xjz(O2TP$tyts_U!)=_M>|yDUl?b)P#kL?G{0VOnEw7mr)^TTP((r-j%Ueemp(U{SyS%%nt z1VuI`QwE&ECcr)USgZWU(BtxG;*GMK6t!ubNLaT$mwFeq=Ia6J znO&gR3wPn#E7MTM%X-=xE0%_`n0QM(-xC3MF#6j*h5$6f3Ga`ejD&=mtr~(>vL>A5>7+(;%o4)k<--qe-Vt8jU_p+|_AE(-~* zm(ok4WoF{vn9B@Z%jAm(m%PE)Eim0l;;)F2U4>SsOl1^tU_G#Mz!K(7*|@xTR=qY6 zIdBtLKnjyQ`dv!8Lbe)=smYSyJoMuUWPjJ<;33<9+Gtcr$>uS_S)b8$=%SdPei(J!Mr9yv($JNSgNJsYZ*?n*jcnVo4-1NQRI( zPbV4$D=OO7uLw0`s@fS_>?P-(vwgeQsBT*Nzz+%>%P009lJ(EBk|j#;FA3@#BwD_Z zMy6YK>9w-V#w*2rlkT;J;cLEu|K>1&GW$oM2_mEI((wH|;YuF^kZn$aTr)9#;HmU% z6yb^j6RIp2=524jSl`RZMyq`)?xxyRK5Q#LcTFc6=Sb&4#o=j`N>mg9;=9uv9UU=} zy001T-tksC3%54pNwMW;M!ENVmxHI)&f_&xoZxp1p=5WDYGP=utu=Y+3$(03Cou^%b&_KXw8Q z+;jNCLmIH}$yR*VLY;FAM z*v={5N5jU$f}OiqPbM8(m|WKWsu-8;!Rt7BH{|RsaFQhgoZzx%`Tc!}H6ax=!*7Ar zj_DSW)A<``WPbxMQaJLu$;|K!^&0tE`*JPPe2JdmT)yeWS+(OM6+axk6SFQR9wDaX z0F+{tW}TZ8!D<7XLp=TNVoQsmXC5MlUv%uJ-~oL60pFxy>t8u*SV1h0|FC{6#-*l^ zGhe2L>d}+w=p931ou2z4udCiuiea$dJ6wCH7Qwrm|D?xqgF(DDMBR|keQHRYSW}PJT;|?eZyUtBXB( zdqZg-`WFUaW}}`hS!r|!X}UE(802cvB((=mnusZ9^JN z#Vkg%uyQaT3AtFagP?2AxnMfm!ODl&ap*mFVw5{GRl#OVCf1$ZK2I|;lvafGQbJI% z0av_l`G)7lR7u{Jg|W{sN)()Cn?w{je9v9f`moMJ!k~BD+3mRw(Oudy= z>Oo9tz4_j7REQ0;v2t<`(LqFhlQCI*xOXyu_syAv*IqAxK-$|(et-() zN(JBDMCl+ZgdjFYdR4cxm*45AR(xyEtF-yr4}kvi7fUd;5S~ju$_lWi@e(4u-IvQZ zrt88#iydj+p-=)Cs?HTOoBwpOapAk1cfpAg!MbXY!CTc|LvMqDG~P4@b=t0^s|zK* zDuaEMMUt=7j45~l&17*t_>`VdCgIo+K5)qJ^qitcJC|$MM~ldJt;p7@&9OcQvp=I*!JS?(ob`GjV$m{8@3B)5sTexH$V( zJw!J^RKH^me9jZKs2D|7dQl#ylulI^bc*{A?-AvGx2`&2Zi#g*K>Z=iiPg-78J)#?9$fUXZlXk`RUGvOg_dEG6lxQ#)9!iI4wmzOV_#!_eYEGk9$kHJ&0V2e?~n2 zbEkkuCYG*8=$(+N0{V5q2-h%6NQ3=Zkpn`vjiPC?@qQRLPiJb2d&8QND+@;rZB;7I zigW1)VCV1N?|*9}hF9!hrv%ZuY|}09zT`RM(ek%n%nd5%T)dS>zqI!0*n)H*Ux)_T z$N%0upm40c@B^=-&S`R6Bi%l}riG7J;qF_i`&zzOSZwmtSg17@oWA!Egx(31j0Z^@ zp|y>Du2u@h4#`*Sv?ct?6tvUhKL_oR8&a<6a2dh^4$Y z1fK){&w)PjUPLEUUIgwOKD>HcBrsY&v|uyfup=);W*P(| zuBZRb=YWmbQC@86%P^dN3urb4^o%+Q{zA-1u~c4Eqj zQ-VQH3(oXOQ6KJA3AoMB*}ayWL3d@Qm1)ciUFh94R3E;6y&TG1GgdS#F!he{aMMUx z_%$pck@3rCcpnrHVMTTES5vG z_B)FMgckxNvQuYZ&eDKlHP`2yv@X?F2WGq)-r1uQ^vIvZ?%Y3JeQ^(d6o+Q%m* zJNeUCQmuaSN1&v}e3n(_*J}!~o$tsXwrenl)mPZE^bJ>-VwAF&hXue;l8-Z*m z0P0+*UQ?7eR8-?AM-!L3bDq}YXly_K5ijUL%8q#pH0oNQ6UoU`#FL?nsOdHNdz;uV z-@#V|9Sd}p=#{$%JI;=ysK{V3Il&z&HVo2eU;cCD->=mc=_xxzbSJDS)PCXewF{}< z_e-V!-N={E*4RnK6ve^r6b2j%i7AwLi`IlIAEw4x`7$awt{|fD%sFY%BCFZ(h!ohq zwU$uND3Qa(8EN3NY&4+9wcwxY6V(n(o&H?!yzcJgl?Yv*Hug(~NP**5eu>bGV$h!u zNB9%T_1oJdHy0W0Mc15F@tp!y3#V)Po;jOS(T-z`{95(j>m>--I5hOT7G4&0O72gi zgTJ4qp8;Wq2NSJP@))60PPHq6THv7`f*%Ry-4IK}TB$NYNt^jp_|D$`geC+SLpX8p zwdH5`{9ob9_0v8C&)S22ekwM46WOvXcAXm#$5*@jpbmHaS^@GF?Gk!*k$KY_4z~Nd z6Yb7u_`468)>k>S(BcP#9uGiRwe!NjWy;CZ%V%GuAUuse!-~7SzUj@MTFKe>F4^IF zh?uz@qwI)DoI^@Z1$-r4f>Kzf8~9EetSN?SodYMvwg%aM?OiJsc}tISpGacpcba5P zXG?o6adXu29Ukev@nfMk6vOOdUg1LdykyAu{P8C--i3*x$M(dE>-}@9MLWzItra`@ zkgu+w3*39HEAx{9E2LGBaw>QCB)RFsW2^`JuabEpdeez1VfO$m;EX;XXyl+X_)!z~ zhQlV!QwH#LgLkVdOaOs7Zj-P{AYgpcTde8h=6~q9Q~0W@UHjMxYi-wO`6|S zAI4|&KHgU?wB#T0zY2>gYt$=UZTs*m*ETi4dn+qL*OJcQm1HEHXmCG5#YH5eR%7j# zEk+_2>~*CgO`grco?ng60%D0*BSV<@3x=R8mk3!t@iN z)E5sqCwY>k_!ool2eW6{E8XyU7LH3nspy{u z;`%yEoOo>%aTaqA)lKfd@9HT>7vg);86p$RgsRdr`(#f%_YETPrw$aw7hWh*Ls8tc zqCP<8PZSS{>|_cI42+F`DcziTr-%L5j+k1JJL@!3`yti3#{FM9(``TeH^)#Z^U#V6F5Wwn*V#GMp`b z?tPKb**w!3*Pr#Lgk8U8S$+XUXlDb9YG3>K3KbCVD-@!sQ9dG>nc3upSTO5wSFdFj z?%=fv2CBKQ51+ofO3q7pSY4~L=9=o(gfB7&a2c9InI&-fiV_O*O?|W)7Rk zM1_-L>w#al>WZR5a%ZeO(|);*xo$RU8)ikXDF^`s3QYKLEhPV8T6EyMigfptx~5w2 zL90q&l3lJ4iaMaoC#y`rCj|5JxDjj~pMxEuxx+hu>*$HxeIfen)w=E^GfKU$EG)59 zh?$vLl1U2xw0x|QD>r^D-~K`LLe|!iBXgQj?lEHl@Yon-webMlr;Kj0Jg2|QgwA0R63x_(OE&ILo+}Cphal19PGFY2)`DI+kRMHUm+*x}I_VWS(nrZv<3Rr!;H4B$aI(%kThX20p|Z{{1! zSkrL$Beki%&X8nQd9aCqIp%I;&*@Y%3873B``|y^{C~h>tU#e81;UDv9O0|~cn?;Q zD$-}|L4>Jf8M6wL86koo%7qy0erqT^EkQ@|+m*r4-n%|eYNkW3n58?4;Dc}@*m`fQ zWBlEZ=FAZRQn;Gpxe&+L#wl>D&`^o+&yrcU(h+-}Sheq9qEtY~FA_WK1aI)+55D`% zHCdy;q}bB+GCj$ezAx>keVF=2>jhNrV8uWPf+|MOKbI=dbLMnxyQ0uAp%l(4ULP<5fR|IAe*eT0|8U@{61B?7w}7U!AB(FmpE zCI}MxP7Osyj{w%dKILmjYWm=f^4UH3z>1sh(ziInS$)_{;G8{%?0R|MJKO#j0Sc4J4_rcR=1p=zg|NjQlq7=#rsMkk3lTy7vL=2HC^=Qn;e^j#5xTW44v;`EvWRcSCm%NSS52M9Sbe9nG9w4x1QUFiiD;^ zstJ^-8%p8sEDqW**F;!W{qAKb z@E+{8>vi_b6U%vti7Ufm@IlyS%@0Blk8kc4vm79k%w0%0+~)3%7&k@_6k(%_-~<<`20V>#5F2oW|mqHI5Tw-o}%erRigz-JzF z8F`j&25i;e%MY9^?y;sTA=ZK?DUN2B-LHR?^5bA0<*fTx5H68_UR1ebAz%PIq;Jm) z&1(@a&Vy(^jW0#GDWXnKi1;!SourV5r;kvk)F58#??aPuiIMguQICP*;HKm(G1M&l z7x6lgb_rG7qJK{@!7iB1;ZA4&(&5yQdEm@&cxVn392FXaoWK zh1)MX3*7T|ucwO?)zP!b*~{pnV^QN8P+}+W+0H&fc>sBIfi>9qe8iT6X{e-=uXJ6{`-L;_)Ujuzw3Be>JlSaoNpyOb&<9romZolYvVTmn>H+P+eLZcIw6sj7My8~J;dO6w2@0&vi8#VS z9mQ)20MV@YERz;7yC-s0BJVQsK0-hR`I_g)gn43L7&jO)MYZ>c5x=H(MDU~gp53Hk zI|E7=P7=-*j)sQ8`;&CZLtTXA&wU?j+p`~v9xum!j#~?+iDtw*WU~PLCK0>MOtBhb zl#5M>XARue`ARGq-jnHe%E~wM<4H5z!-}n`FIE=*xw1?LI`L!dhsMpVbxaK?HI0}z1Zxk8+CRkQunD`m z9)C_`suoo{K&Of&yvPmFm&D*6HAG+TLc$x##S$_FtPV+9-TaVK?Go;L<)3suS8IkE ze_*HJWHl(`5-9DrZmK;r)p7X|F;$fa=KGYLXv@McxYR$I&vgh>q5u5e@5Bpsp(O(w z7T+AVRC^0&Hm%A$&dv^IM2Q6AV{=}krLOY|xbKOa)&3)C{gWmBH9XS3akr{4a0b8} z-8I{)88=F$Z6?Z_?oz&a)2sk2xH1E5Us;CPx!XK3qQkr;J+iix?pD-Em8@2cy~H*% z@{s{Nx|U<)Kr(2HJiwsqS4%14+6_2vc|J`#!&wQhzHAA;o#ooqc&3&6GPX;J2*I>Y zOQ2QC*(INjVwUH$ zd*8KC;_o<2xKkNBNsI2#%I4q|!Eg%Cb5BtnDcU)OfxmxOgm*}j4bCL7sIKD<5Itu_ zkDPF>PCXFT_;F*tgYCqKMzlGgav6MwnN%Ik-&s`cb< zMWn>sVUc1{uZpV?Zo3SI9=XgQ`Mn_}%OK0?Va&$W+_ zN{Su}c5Hr(deK+++|xTBuD*Y*TQFszllPe+-1KMz>2~&>@C)DWBuS509#Ptb99GOH zF&{t_mn}WzK`v*#z*kF4TZtobPCFeJcK`0Tk=VimR6D}!;U57_$)zSNOJAPy>abg2 zAYf@s?Qzj=_J#9w4bv(k7IpIgz5f;pJq8&HxOOJNJLXO8!2mzRI!`#B{bb|)4ELTi z57T$jFOs!yhVux;V`@*rN_^g!f1T_$2Q4vX3qQ@{ABGZtm!^Kz(gGmK*PJJ;4Y7+> z8-Bk}ZVC))NnU?p#_5>XCae9~XR(j*3JZb{^PmoT1o7vWRopvH1sFRjT=?s1g&>l5~ z-;A=b9Apx>X(QZn=dHL4ElE`}xAR$cFC8b>QWM&K-%P64;x|WB4dS$$Ln0-$r3`G} z{q{@EvxHBnpq(Xg!bCP=kLjvANW;yvCn5+K*Z%6BDE)g+V_JReWSV*stx!`_ffOW% z`AHcQ@L>;><{7w`v?e=0t*%4H+YHM-_@LrJLn)KW)4i%p$Q;Fr>O-sdhnBmKj0GWD z&d5IKxFUvNjQ;g^S@ng8Blahdknh#OgXkrtFAWfQVt>W>%6nODNKs7C@CW{!)x&A- zUq$I2l3uPrA>!I?DFb7t8WEU9>rusQ1=?FObrW8f>-BuX5H^7abuX%(W)iBxxrJE4 z|KNpK3vb+BA=?hl@(Vm9+$L=A*B({d&X?lZ_7m_&m}8dp*B5E)PfLHZNcd*g+i817 zd(7*hApn0vNcYC+%Y<-;oKPk~Tv+RHWzmxtZ{GFkJ`e8qD4JVC!}y)1O&qVq%UZ8R zO&TTLy&jgKHp;c!aD|y@jxoE{0X~Q|ui?qDP{36}caD4g9Tmz{y6H^OG{V;Qy%oIh zU5RuyV-&v5%%wc!TyHoUq9hVqNmTca{K5;VB8d8h$zLwFCs#Ipw$BlWG<6Bhk37B=ED~vgv$J%>LLWEq=uXU6fPD`WUPm1L zetEDBD0v)N**;r2Qo814+`)n`t>20-w1vIn z-i7srigU+ym!%#|#y(SUV@-ChN!uef!Aj3yV_hB|e+<31cjQ_;-)fwAMlbj00L>1` zw0^JMs&iUSN00oO@RpS|J*~>{Tg$@T1WF4N{|_cT%%ZF<;?B&er=qnFO4OvtFeCGe zGdTUKZvoi^?FXiFlXFMZ)c*a_bM3)|Sb02bb?)YhF9g7I6^pmYcoWHZfsQU5WeU{j zt(6g(cAM_Ezg;?5d><1$gh*a_PjIfuj^+M{i~k~gn&rq9hGPGYHr)4?o+ zVX63FDt=jj>@&c^>VH-98n}iRU#mA%)+Dg+k~Sk%6T2IAw5L;I(Ul$+dUpjSSJr^{C5Y=v44{*bP% z>@jg-TA^c$C;=g6+4|5Pq~p{^r1yJS7o=G!Sy!gZMmy{G8?lzj0zmK!KMXpbxy*4d zC^Kq(pX3b*J+Y0a4I|~QM6W~#D8MogN$1{U?-`p82^+iFY3ikVh&ha|7<9oaA#zW! z-}TW{u1ZmT5-Ux2_km%V?pKEaQbAQswr1}iA0CHOq-1UCtX123*e+SSC#;cI&{%Cf zA;q22&1|W@z`>w)^0;vD#69`OiWVj!mUub3bEf1>(8sRqBeAw=+7-{Ru?Y5Fuk1R| z3HF5uuZ(5*w~t>lOPH;uj=k#h@#5F*uX#u4!XAOdC-5Y4V$b@+0T(kaX%u~v%hy8K zx0ZW|Ab+q++j1wZUhp!_KC1uj7_=NA*cabTm5F}~5d7$jMBbZq&r*j}CYYgXlN(WF zD30vj@c!aLw~`)p2K8Vnu$5gi2NGLkYa_g5%7!>d&5ClANK64;dhPE3hq8juN}M$$ zw)p4Dcm3Mj+|g(8q`H#7u!!<(`4;qyuQ(v>%n=6KL?VQ6K{+3?dEs}Y>q2oCAbi?e(I^e z{^c>>fD_1ovMgFUR#yihz?96bmmLN7M}M6B-V%K1h&MH*AcQVM_l%%j)FWD0h*8j> zGLkUlRBr6V+hBgPbLTSWXuu{`IAXvBzkrmQc!Z907`~cHho-+vhO#VpsgaoLZEx0? zq6=p1GBA?9a5S}h(N=boZDD@Jie)#7Mum4&;;pG?!{LIG*=}N6Fr#%x!?5zs3$Dq4 z%8wh)XVIVT&J^6tREfY}-vVok;2yNa({(4fz={~J^;aE4wRRNp;gk@E&8|^H44vM$ zZl~tGy%tlcxeIaZ;>Le+U~mpzJP_?yBP)VM_mH9}XPbeR9Wy&`T2C;wjLN{dPW-z^ zSkD&q^9kYR6_WaLg#~>BaqGp|0-42=v7$WJs0)fUVN(y_RT6r;o1lar$zcbDu38Vy9++);pqp)qtw{$e8(zk?6 zsz*%It=T7;EY@pk!c;%U#wUSeF3YRb)a~L8;y#3}KA?2eM7P)dq7mZfLjmK3hcR*d zy!~rkSdLUo%d73KAOD4$!^%KF;wwleH;>3}P6Q1hp`3vDXkgGEp_~GKjyEKfYoSMO zx>`*fR7dVyD|mS2zOa@^D&9m;Cfoj|9rjOrLI8_qK?%_d^rLnj(d1rcMBRik!e7}t zo)w}x1M2>c;`LweW4{SdCsCd`?}Ab}`e)?pt_FgC?l&gEoQJu=Kk)G(xgc1B z`rPyxH-4KbD@q-J=XoD+q{-c@e6wt8<-@2@HInqm>p|Q@yD3VcgnbksGLUrOOV}Wmi`aevb2?V`LlJ_=mf?AvIdrq;+g!{*aOz z_J!puP);OjCsCQ`u_#GkMZ%HT$OsM<>pPL>l}C2_!DJ3NY6I_`MbE@~H@J{sm;w&l9uC@EBWvhge@pOZpy zhYefESde@1*3VB+LiL>3lZiKZghuzH_ST) zxmLRc*m!u`+3y|z$o)Qhc2_SC0|WkP^1*I&elcziwfdh|OK(*b1%_%3Why_Jy29MP zRf}-Nd->cs9ZND7pOM@G^Aj*EnQsA?4_()+XzxoK4<9FdzTZaklqT{LVgJIq%e>wK zc8sRC!b<$zSa}b}Ah6i|2aLGo;8=-Qg=|xz$i#_;=n0{qYSfEwgm*Q4f2YzB1k^jC zvpbyQkr}%^lZ#=U>B)&lKV_mY#dG01;>&V1A{|At562C-QW_NCXZ z7Xey-q$>lbhVL(Rt(Y|rDp&rrT{FR=eF}5cN(qsg>^x_F!_ZAdM zfJ;=b9B9+Bjj~z% zW>?_1t`a^WP2GhpGdm$~yu5_9dFp|XI9P3wNx*je^IRu>G_t+zRU6migr<6Vt|^vk zY10E%64{pW_-Ij;L*lOPoI}d@yUgJVR}z6-mFPOr86Ngxy^gT2XCB!vb=IEqXuNCY z>{Mm1%JLI(%xZlQ4-=6Kl>DB992{PY@o+8m=%yc%?>y%daQ#+#Q92$0*W`S}eg!fz z$~lu+y?b3&$6K}dDKA-zI(vHDl9xYl+L6vkQ~PfclfO$%JbXhBnL7-ae=m$yWP~tU zlxDaka-Xd{thXi?;|mZ*cVd@8l0ZuSljo90P4-AKZxTqzBJ&xX?nHi6fC#ZaO-nfT zZIYJ{7%vQ=928fQVv!ROatl0dy#?4IUS`q2{}})QuJe-`;)-8N9krF%$- z3=KhQ?n2L_5lX&yAvp}sEzon*g!n_N{?}XlcXyaUavy9eLblZ$ci5Wa|}{lw^y z zs@&9P5=#9k9!gjaszW6nBI;Wcl2_mR-icx!+xBfsvkQzY?s7t5{+52aO}-BG<20?r zY#5#$-U7KKswi-OWhywgvMy(#s3GpPTGe6Xc^Lj2af)hvwUX-ngq==wrGS@@cc}eL zQjg*Xb>t=;F0HzV8%E5x)>#1VH}geqkNAJfWC2}$2Qh9U(>U+r8Vh}&1yuN?g z;h*Wwe+7wpx{mXaBT@4=HgCpPU2Xw)2NmVXKTAGHypG@h&~y%Et3$4tX#f26lEDR) zn8DZLnp%g&wYf8v$r(Q__H6b@O-m(y*atHvK$Hw|7ZY&+`!FQ*Wj=^MZ_B_#_;ONT zqusxz=VkcR3FU7jcK|){8KPDh$9u0RYIe3TYuA&I=Y0l1?cohq<$s?WX@_1D&=Rr~#I z>m;WR{xDkD%rR2T=o(;f1Mi{v&$Htx9V-c{nsPTxJnQbgT;11bDEDA?*q8u%s_iN4 zKaa9A{7~*87;+#NDyHxi5#5%|7-}+{FA+>}Vec?*85Nf^TfLbrdq1Ma&n>hGg zV+#0|f-qb~9v_;xAvibQmM%6d=C-&?*j9>gEOG%W7EeY~>n_ynx7N{MB_{K^Diw8JJcgTIo1n(%aLk{?T)}feqiPc!+{e!jYo0R-shkL`j zU6V{tx*NhnE|kZpnpsMhiVbEEU&UVA=Rz7HK4}+wXBS$9+@3y~jzdtDrTlYZ3g-=yHgJrmxc;m8FNo2vnY<$ zpH%lg+V9q%=QBBoI7h@l=xnzOy~G6Yfbj-H|XE%AA^>&rM#j zx0&S|%CJf;Tf1GZy)c+SNH1?U@cQK-X*H>!UOJYzb9O=dmjV3og2EY#v9aG^E$jCu zt6}BddwmULOsHhGHjqpgK=Tbd#+#?KR+Dq&9POKp%C)z*JJgakg;iR@LaB<{a%p>R z7F||{anYQU=f+&_D9Mc%qFD>_J>K1My#Kir&*GkW3#M&ODC$Z?)30Wr<`K%oZ#}Mz zB8luJ-BQ61l}cL6BRX?7V?59K}Y4&-| zGSUx$UGw9N{9n8kq~j6Bb#Ns;8xY7Uz1H?|%ySpiYbuBL)>RJgJqS7rtQ-?ybAX6+ zmts2~#l7*Ljm)DQrx2W{r(%|;0#o{CX=(G7N!HAzufeQ~eHiB4wW12C!5z=fl4}p+ zbKe`VjlQX@uc)tMjhSNP=!BuXR+3Vlc|PmpPIo$>jUUNI;cogq#B6F6RAAyoX?!V* zO-+9wDGT8*c)KkUoSVHp zhEkc5M00i~6gM~#R6)$Y5GXM8)Za(ujI#5TmYn!E zpE!@=y>=JXRu{yO1Y1Ed;4R#&Lnh)+{YnNuG+6o$qv>|iJPCV$5xYz4M_9`9YaT55i@q*t zqjx=*Imq2fe)Y}j?VP2N@#pu}bY`<%Vh)sOVs>T&I$&r=xrw#Mx5;h3he4V<$xgZ* zCTR#%!M7OQu0j}!%glihG5GcrkbKer0Y!C3$r~0O)yA>6@` z9xRdiPw`>dwNhSRAwpAgXm{#y`dN>)`_z*s!SC2`npvnNf-6}w@ta6C%dI8IM^EZq zBh7!5CC>@O#C%S}4RFBeQ2Cq%375TJ=Wm7mzMweM6xhp2YtM0~mS3i7dy(!H^#gi8 z_98zYshDH-z7eYMn`*}?Cn>I#VjTKVW)^B;R}r7J4Cf`hFKr~Z$3Y3xj8KZStFkLu%nIR~bdznyWp5VXHa zHLkma%NweK#gd&>pgp`*V}7zqB;n?D({Ju+8$RQqmFrHElMcBa543!>iPv7?v|hEl z57NbtbQItE?J=8twCG+g>DduJJ%uDX=OXvhG7l;vk}2Zf(03FFPT3TG6eFzb*;Mv@ zIvWqreK}dd6%$@eV;I&ue0updHdn_`*9uisxIGL6v-irX#W1E^S101p&7Gb2lXti{ zZ1>hHlHJd{EgvSM)kH?AWwS&zv43A5A19|8+9k6>A(8LTyxP+d)~8PC)jFc0`#KfI zSJS~io(#lYPL^;o%-Y=#^hFbsyHm}~#4t$>DOXpF7RK*pSx#}Dw;JNjSXT|sN@K>` zXo&iOrce4vz+Q={PJjTXyLo%SUdv5_=y!2pMZIkBme9Kj;>mEY$wgjP)xb45^t5bh zSbAfgAN}H$+i!1P62qpC-$Tvr$qmF3yShA?-?@vIab_KUkp4Nxy}S*1*Q1iwx^1N5 zN;J4CY=e}}nzI@ENtG;F`w!2zPYCY>ZfJO#f)o!?W$sU7tNr%As(lON#}o}O<#58p zGyT#JG~v{q$?fVL@$?K?(lR%l&98!ZBRQ@c-qeK^RZO?wN7K5ZyNc_I z)nVhZsZXm0r9Ly8>rbyfqXVWtnz|evcQK_Wl%M>d7?vXm*XB-DsJ^#_^hz}mnqI57 z-Nv4#UKYo&P{o2@s?cCSIgK+C&h?xQbl*oRtcQX-B}b!z-C_shHvvW9$;&}3 zX-N9~cd0j~Z+#wUi|~3i@3s`1NrVUkpEENuo$f(Cq#V10X_US)Kajuxl#cn}gSKz{e%a>D=m3h-abjDLG!1o~Z#|LD^A^GKeU zX;}_h>b$EuuCUqna&y2Xk)5=I#mg}{S2jyrY>z=+g1`_-Tt9%2gMNFWOKg9)Y4^@_ z)I9f<%&ySpd6i>SO8s*3CQ8aKK@puX5T@1|*Iwp^TGI^JwsiNapwV?h*o0?PQsLIQ z!?b~1UZe!xM)7iOl-zMCo&TsB!yr*vAC-lAR7UeNpe-fYEZ* znY{4@Dk|ZH*i7&u?XRHVT~an;vDo^3W8AxHkeB08fF#4>T`XuqBx+LBu2bq`FSnhi zXFAun1W}jxVb2mMh@KIlV`6j|&yIR7M^(PumKm|%C%1oWu{KPy$rU%h<8Ou^1$)Ma z*`nIh)Dnlq;lbhy^=LOOQq&x`H=RX*lZf!`A zqY*27N}b)1T~c;fvW&yD>bPO{+)YrlYPU0uzqguNTyRlcXfF)5SY&UQKL2J^A@g_%sgbOABckQz-tovv6<~KF?l?MmlWYA zdUwG!iz$JoH(!4AAuIFeVTI4zEC=Wc8+KlU!tt*aHmk>LAJmDkq9q+t268s2-3wb zUMcZ-q(0sEZFlEr=>OQu7Yq39;T4+&u(Mjas2{D~V?gg209(JPOPLvf=Nw2dY7=ZB zPkzlKFqtK?NATx|84X@Hqi@5TjWRcN^Gg4TgVoAMWp}6a4UW zS$m>-bIR7O_cuPzUi7?p^PC9`ua0lcnY<&hXY%tzasP+=d4C-KCnhsbh-@4MocM}Z^p3qT9L!l%EO&-*9!;aNFebN0dD+}ur5B)AT zOg?R>KFMDVIBe-Wc|!W}$$cqGSvnQ@2c^!92RCf4kql)mHu7r@FhDy4z=OFFX4pyv)eB=eeZl;Tsjg$E(uj z<|d|p)CVmwS8TQ4u)sRdfy*dboq=ylpo7@ti|K7ZD_th{r^|;hJ0IM~d!@#5O?K6` zwd?;gcoxj5TM$`k3dy$sR6$&5xWs3WOn_5Tdp^0($IpPBw9JAeDB zu)sqb*_+rIO5V=`?!Ic^`dm>bSFzgXN@?X5dpY1CIZ>~oTCTs%|JyHeJI;CXXX}&) z4AvztT}2p^VNqznYkwe42~;+_Uk7#$B>yvH|7S?8{O2Qov+(wRhP6G5YfjvMH_!3q MZ4+Q<*8jf=0MrT+(*OVf