From a5f58fd899d0066c8331580c1ee5024a4c411990 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Rapha=C3=ABl=20Couturier?= Date: Sun, 25 Aug 2019 17:15:54 +0200 Subject: [PATCH] update --- book.tex | 7 +++ chapter2.tex | 103 +++++++++++++++++++++++++++++++++++++++--- figures/chap2fig4.png | Bin 0 -> 26003 bytes figures/chap2fig5.png | Bin 0 -> 5268 bytes 4 files changed, 104 insertions(+), 6 deletions(-) create mode 100644 figures/chap2fig4.png create mode 100644 figures/chap2fig5.png diff --git a/book.tex b/book.tex index 83adc5b..b384e21 100644 --- a/book.tex +++ b/book.tex @@ -32,6 +32,13 @@ \usepackage{newtxtext} % \usepackage{newtxmath} % selects Times Roman as basic font \usepackage{diagbox} +\usepackage{adjustbox} + +\newcommand{\turn}[3][10em]{% \turn[]{}{} + \rlap{\rotatebox{#2}{\begin{varwidth}[t]{#1}\bfseries#3\end{varwidth}}}% +} + +\newcolumntype{C}[1]{>{\centering\let\newline\\\arraybackslash\hspace{0pt}}m{#1}} % see the list of further useful packages % in the Reference Guide diff --git a/chapter2.tex b/chapter2.tex index 06da12d..b50c9dd 100644 --- a/chapter2.tex +++ b/chapter2.tex @@ -1069,24 +1069,115 @@ The intensity of implication-inclusion (or entropic intensity), a new measure of $$\psi(a,b)= \left[ i(a,b).\varphi(a,b) \right]^{\frac{1}{2}}$$ which integrates both statistical surprise and inclusive quality. -The function $\psi$ of the variable $t$ admits a representation that has the shape indicated in Figure 4{\bf TO CHANGE}, for $n_a$ and $n_b$ fixed. +The function $\psi$ of the variable $t$ admits a representation that has the shape indicated in Figure~\ref{chap2fig4}, for $n_a$ and $n_b$ fixed. Note in this figure the difference in the behaviour of the function with respect to the conditional probability $P(B\mid A)$, a fundamental index of other rule measurement models, for example in Agrawal. In addition to its linear, and therefore not very nuanced nature, this probability leads to a measure that decreases too quickly from the first counter-examples and then resists too long when they become important. -{\bf FIGURE 4} +\begin{figure}[htbp] + \centering +\includegraphics[scale=0.5]{chap2fig4.png} +\caption{Example of implication-inclusion.} +\label{chap2fig4} +\end{figure} + +In Figure~\ref{chap2fig4}, it can be seen that this representation of the continuous function of $t$ reflects the expected properties of the inclusion criterion: +\begin{itemize} +\item ``Slow reaction'' to the first counter-examples (noise resistance), +\item ``acceleration'' of the rejection of inclusion close to the balance i.e. $\frac{n_a}{2n}$, +\item rejection beyond $\frac{n_a}{2n}$, the intensity of implication $\varphi(a,b)$ did not ensure it. +\end{itemize} \noindent Example 1\\ - \begin{tabular}{|c|c|c|c|}\hline +\begin{tabular}{|c|c|c|c|}\hline & $b$ & $\overline{b}$ & margin\\ \hline $a$ & 200 & 400& 600 \\ \hline $\overline{a}$ & 600 & 2800& 3400 \\ \hline margin & 800 & 3200& 4000 \\ \hline - \end{tabular} - \\ - In Example 1, implication intensity is $\varphi(a,b)=0.9999$ (with $q(a,\overline{b})=-3.65$). +\end{tabular} +\\ +\\ +In Example 1, implication intensity is $\varphi(a,b)=0.9999$ (with $q(a,\overline{b})=-3.65$). The entropic values of the experiment are $h_1=h_2=0$. The value of the moderator coefficient is therefore $i(a,b)=0$. Hence, $\psi(a,b)=0$ whereas $P(B\mid A)=0.33$. Thus, the "entropic" functions "moderate" the intensity of implication in this case where inclusion is poor. +\\ +\\ +\noindent Example 2\\ + \begin{tabular}{|c|c|c|c|}\hline + & $b$ & $\overline{b}$ & margin\\ \hline + $a$ & 400 & 200& 600 \\ \hline + $\overline{a}$ & 1000 & 2400& 3400 \\ \hline + margin & 1400 & 2600& 4000 \\ \hline + \end{tabular} + \\ + \\ + In Example 2, intensity of implication is 1 (for $q(a,\overline{b}) = - 8.43$). + The entropic values of the experiment are $h_1 = 0.918$ and $h_2 = 0.391$. + The value of the moderator coefficient is therefore $i(a,b) = 0.6035$. + As a result $\psi(a,b) = 0.777$ whereas $P(B \mid A) = 0.6666$. + \\ + \\ +{\bf remark} + \noindent The correspondence between $\varphi(a,b)$ and $\psi(a,b)$ is not monotonous as shown in the following example: + +\begin{tabular}{|c|c|c|c|}\hline + & $b$ & $\overline{b}$ & margin\\ \hline + $a$ & 40 & 20& 60 \\ \hline + $\overline{a}$ & 60 & 280& 340 \\ \hline + margin & 100 & 300& 400 \\ \hline +\end{tabular} +\\ +Thus, while $\varphi(a,b)$ decreased from the 1st to the 2nd example, $i(a,b)$ increased as well as $\psi(a,b)$. On the other hand, the opposite situation is the most frequent. +Note that in both cases, the conditional probability does not change. +\\ +\\ +{\bf remark} +\noindent We refer to~\cite{Lencaa} for a very detailed comparative study of association indices for binary variables. +In particular, the intensities of classical and entropic (inclusion) implication presented in this article are compared with other indices according to a "user" entry. + +\section{Implication graph} +\subsection{Problematic} + +At the end of the calculations of the intensities of implication in both the classical and entropic models, we have a table $p \times p$ that crosses the $p$ variables with each other, whatever their nature, and whose elements are the values of these intensities of implication, numbers of the interval $[0,~1]$. +It must be noted that the underlying structure of all these variables is far from explicit and remains largely unimportant. +The user remains blind to such a square table of size $p^2$. +It cannot simultaneously embrace the possible multiple sequences of rules that underlie the overall structure of all $p$ variables. +In order to facilitate a clearer extraction of the rules and to examine their structure, we have associated to this table, and for a given intensity threshold, an oriented graph, weighted by the intensities of implication, without a cycle whose complexity of representation the user can control by setting himself the threshold for taking into account the implicit quality of the rules. +Each arc in this graph represents a rule: if $n_a < n_b$, the arc $a \rightarrow b$ represents the rule $a \Rightarrow b$ ; if $n_a = n_b$, then the arc $a \leftrightarrow b$ will represent the double rule $a \Leftrightarrow b$, in other words, the equivalence between these two variables. +By varying the threshold of intensity of implication, it is obvious that the number of arcs varies in the opposite direction: for a threshold set at $0.95$, the number of arcs is less than or equal to those that would constitute the graph at threshold $0.90$. We will discuss this further below. + +\subsection{Algorithm} + +The relationship defined by statistical implication, if it is reflexive and not symmetrical, is obviously not transitive, as is induction and, on the contrary, deduction. +However, we want it to model the partial relationship between two variables (the successes in our initial example). +By convention, if $a \Rightarrow b$ and $b \Rightarrow c$, we will accept the transitive closure $a \Rightarrow c$ only if $\psi(a,c) \geq 0.5$, i.e. if the implicit relationship of $a$ to $c$ is better than neutrality by emphasizing the dependence between $a$ and $c$. + + +{\bf VERIFIER PHI PSI}\\ +\\ +{\bf Proposal:} By convention, if $a \Rightarrow b$ and $b \Rightarrow c$, there is a transitive closure $a \Rightarrow c$ if and only if $\psi(a,c) \geq 0.5$, i.e. if the implicit relationship of $a$ over $c$, which reflects a certain dependence between $a$ and $c$, is better than its refutation. +Note that for any pair of variables $(x;~ y)$, the arc $x \rightarrow y$ is weighted by the intensity of involvement (x,y). +\\ +Let us take a formal example by assuming that between the 5 variables $a$, $b$, $c$, $d$, and $e$ exist, at the threshold above $0.5$, the following rules: $c \Rightarrow a$, $c \Rightarrow e$, $c \Rightarrow b$, $d \Rightarrow a$, $d \Rightarrow e$, $a \Rightarrow b$ and $a \Rightarrow e$. + +This set of numerical and graphical relationships can then be translated into the following table and graph: + +\begin{tabular}{|C{0.5cm}|c|c|c|c|c|}\hline +\hspace{-0.5cm}\turn{45}{$\Rightarrow$} & $a$ & $b$ & $c$ & $d$ & $e$\\ \hline +$a$ & & 0.97& & & 0.73 \\ \hline +$b$ & & & & & \\ \hline + $c$ & 0.82 & 0.975& & & 0.82 \\ \hline + $d$ & 0.78 & & & & 0.92 \\ \hline + $e$ & & & & & \\ \hline +\end{tabular} + +\begin{figure}[htbp] + \centering +\includegraphics[scale=1]{chap2fig5.png} +\caption{Implication graph corresponding to the previous example.} + +\label{chap2fig5} +\end{figure} diff --git a/figures/chap2fig4.png b/figures/chap2fig4.png new file mode 100644 index 0000000000000000000000000000000000000000..cacac285ffe833400872caa7f065d8cd0cb2bdc8 GIT binary patch literal 26003 zcmb@u2|QHo`#&xTWouE&UfC*JC1lqo+0ufnEhziGuch)tC_=JTitr$bF~*=IAzMNW zV;g%z*0K9vXJ)A9`F?(%?|<`pHO)EazOUtdE%$QWa~_=6R%6-1xrK&?hDH7CsS7kT zn*`zCVMbcGGx6P3frf_F+53`#>xF9`{Ep5JmR7bF{H|V(7W@{TR+cn0p6&V1teiXK zw%=XtV|StZS>r^*zIDQ0vNAbGrNBI259jdxT5bis>hpI84@KGKtt{3{ul5KFC2MKE z9*D{77cThWJE)c4TJPp6ozyj0DI7nR=TH~lJ;tVxMqBCV_o&s)wbOL}7}L4p`UupZ zRvamDM6q#s!;a+S=N>I2QlYmF`;r^JGa%mGthG-9hhClc(pmh`($tl^m0A5ONAbj= z!mINpGvc>*-rXfvS?$30vb0XA?o+pNcw(D#4&i{O#CX#6n~Q!*#Vq%7=XoC`Uw2LR z7#{ZZM27|B?IU>)%J98kD0)BmgDB=U?ncb6)O__0Ei?0@+N-imRiqp(I(2YKqgZ0F z+4FLNtg5Dp%dcmjj}1PUb#HtyYL9UXZ_PEUjlunW zX{CEM@!NMD))FomwD`G0R_5&nx~9!87D1iiHX)BYZ0zp^xx6*}-1s9?%J{Jl?TJs= z9idJe=xp8hqJP>>l*p=aADVO3%eGQhDSJ(*h+~o7YhIRaI$nFMA~BaY=6KqRU4du! z2GdHhZ@pUa^h@&gL&v{gJlpu{iSxnq)EIBp;{#7z#IGFBh&_K@T`=~7wbkp^^Eb4P zwO+8X%a`e*WsfnmuXx{XIGPymo;qgSxunh9nNMc1NPt9 zb3H#t>wlLuslKr#%{7w!=+>#m+n%~~XK&>^Z5z2h9g=X}GCoZtlHph^JGWEFZpP33 zzU^b1F#3d&PqnY+j0)%LA06G&S$aD`cgUWA@0;CV{Y^)0GXsCtiLi7QuIo3>lkx|z z;HnSTwFqg64KQ=OvzU#uwXzB;TwtHjOjP^(e4c~Ld7XIvoqbl>x8E)lE^e=RR7WS5 zx0;nQ-^r8|z9Xb%qSfHD!Tsj z(?{`I7mFUahjm{VRgJl5ty7+*iz+ln#WFFHGzbvM9E&r_;W^Mbsg7n-K z;)mic&s>pLXOuzZ{|vcxx516gB>zLJT3>+duf+#)o4*K+^6xRPVBrhRIuNFBboHgjn?nOB0!6W{ZY{)m?>%ol zrf+eLq;iHmslCbCb#CZ2QEFepR-ub3DmF2lA$OAq;Wo|(c;BMpY1JDq>&d(i{t*9u ze-)jsjARIpUDWk^?fW@x-kVxS;7(+Sh0=3GH=Ut5NoSMP&?PltZku4VU6irIKJ`Rl z>$O>JnSCWHJYPi84@K(iRlU~s@udiU17`0=k#->~?OPU^bE(EZzu0K+6*SrqcM2UW z$M4B=&1KIvNgwe?dgsgDErlIXixo^yq zeZI80RUK|FiB(a*PS4k>Nx!f1##OGc=j{FNHI}|<$H(!13n-h^-4=@Zk5RCUTxo@|2+eKtAEbi(4nB`ipghTX$+ljt+EO#+=bD$jp;>Ww9>UHS%(r zaY1Ue0Sm#8*c8rQWbu`{;p(=IoFe8e~CSyd-m$kR)Iu)Kep35HB~z<+++3D zvTZ&%(BZc%UK;1X;Qy`D^ywJ=r(%BRZJn*J+nW0yKJRh+B6IhNXZvP!^Vfa8w{pvE z#d5|m1CRJ+=S7VB0`0P!1TT86s_wv7~7t@GN)AWo*LAp0fMK4l3pYRdt+v&yj-5Nho zRHQa#CHV0u{o~J?cU!+j>1#bYKFM3F)it4RrF5O;;%>9cyqIGzjl8!GEw(RDG!`e! z3A{HuAR~bD@O9;LIwRscC-XA){;bK}z%Se#w|%E?Fh^brHPNb7xsynEMS9_DX|PxQ zwvo2C-gKk3(@s4L6xTEES2f0c4Y`)AA(B!qQw>Fi9`&WwN_35#Xundr&$Jscc_Vt~ zROB0V6WaM>i&GbVC1F})ZYTTiP1^MQ?Q>T?hJ9DXM!xD~Y7A-awIJN^KVf*LQTW0A zFvm82t55sugq|_evK%~iIWIkU$hcK^la#!jaW0`MQ8%4c+m^8HON53gokHy8cNMR1 zy%FY#w%=G9GM;On&vXn?j28C$-sM1RfkYIjptGwAp zOM}05#2eqaEz&OCxjUX!MkxAGME@&A>4T5nY&7##CpPr&D_}p%C(e~_CdRGmWfbZ@ z)Twmc>_X`?j-jTYJugGv3|_^jKR@g`!oap{5b-p5G%Tn8^UYl+F1wvNwP||h60Sob z!$ZegNc8qA@o8Dbllf8~B)MeX&1y#641RWp%Uw7jT7up5%WEOIY^6;SZy(*!`{J6w z%x`>m=B&WfE0yHV#fdS8mviR`D3Z$4>;lbgSy#=y(Q^rl#YYx$?yiIh91a+KVEW={ z@>R|TxiG^&2jW??>8wnNO{ z{=OJ|3f=g&erLkX%k6I))UINAI$fm?Jp14(-k2k>blK?bmh|R+w{0Cl#&`N0m-EA| zOk-YT+*LsDauN%=HooiSlCM(Z>q|Z@8@7dbiQbE-b1(^4dZ@_cU78U4R3Z42?~bTT zP0kgSL;Uf^9~%ZETTU&_RGFO9a0+5RxT_QPSIfevGN z-0Xgg+7B~J@5Djd3pcFrwUhCOyhJ}O5zp~59S%Tk&oHtJxoa_SuW+E*DAqaYzHh0a zh%%;Maf~ti3vH!D{v(!sd)!42?wkqKi>Ou~+?(2*ojbiDQSRX6?j2H(6kG;HKhOo! zRTZxG__T~iG`0w2p4=&OEX%JeB2<|7`TmD955BtE9QS*hzKQ1ICtYUY2HXbs)Eg-& z`^>)$oM67(e#aqf)37yXMk9lvVA#}ySJw}|*sW=*;}?EHCw|+D@pG&;?cAG%1~@sn z4EpY-r)M$k(8>S0)1q$WQR2zw?_NLq&hK6Pg^T#xamJ?6cBsHlF0(pks!b}?M}}Z; z)Nc5}N$t@|Udw_vXB!j?olb7doU6~n(}wP14Sqgs{KIzh#h|>(2U{d-=o0@r8uNhV zq`&ynn4P2LhvgEBVt=@4#WXB#%6nVEBI$BG=tdjk-CFfD`B%CD={p;5g-y72^`6mi z^fhwLG4J*$5^W4?F87>^`Rl%%t&U!%(x^tdYV+JS*1pEi%ERw3i@CDh2&a*CmDnk2 z{+E)Dn|7%nCh20Yh~oqGeLo2spInOfpBG5IEPpiQoQc16^gfOLn-LGsUL~3ih1FKG zY*zGhd#`Qo^F3!m-L1WF?c|S{uW_ebQm--ooFA(- z(fLa>)Zs^6k4=hE-{>n=twbg}e?TpoT(nC(bTRk-!D(7ou%N+nB1a*5`GfGyjFmlA{x4^Ju1pW&4E z`*Hx=U%$WKIFw!Eh`HEvI@8^&N!F^b_d0KzJDc25EFimqBVpR;*xjow0v5_5zg}gO zoRm7-VO`{|^3_={zg^Pn1N}2iV?GY9pCYwOY}{eTKkfMudj}Swn;p+yaiO6R-;ey; z;Q3nF9d0tXs%xEQ=wsZyol%tA+wuzy4L^1nLs%H*S^jpn0}I z){*tu?KgY)`&pj{H(co5ZAJgYQe_)XHD%8msi2efDl#INhc8r4D{hU*zq2^p;9Ztl zk6y_)(@#!LW&u{uF9aN+L;go?prKK5*hoVYh^L3^X=(TvvV)HX9DGo2Vv!!+Tx&Of z_o3YU-RBQN>d?{nTDe4R6z&*1 zTn`Zs9*eKF%(LPqOV#|>%c0@nDgq+CH^v+K(Su$zSd+M6SL?0hCObp>Jf%2i7X41b zlR$j7Xn_d^^n!0c%#V2a_~dyZ3SvzZL#v>{m+_IQsV0%1E%qp7B_(Er<$PS%N_%Bx zrLFW)R=6aP21EV&`zB=PyL)PKoh|=hVFV}O=UdJ@v^7ZxoIcEsHre{wVqS02;@w)6;S$mVU z)8do4Pd7F-HMJ9FQ@`eHLI5=jG2iEn`!-=Gtz3#Dy36qd_&`q(P&PcR$ttJSND*(F zYw&X}(ylU6CcajZ*$10cssc@hh@MKx461Jzu6kP=rdC`(%*}dq^-ZUJj^818TKEaC z?S3W49;cl{hie(E>31f+dViTjB2_Ugil1jdI44KQhO4FM7Clu6?~`P1Qtm9i>2oBm z7>n)1LLk9~{n8a-1Q4LW}&rZ-#9+knHC_0P_> zi%ySRpZt2dFEg)8o|%4QKp042FqH=8aBy&_V!)b8xNMvSOBGC2?TFWC04sFA^zm_X z_L-r}|32pPaeH3d-%Y~`3JP-w$w0hmtXEd6r-FUHVcdZvdavF0Yb{+W2Z88wl*C!? zO0U!$9C0>0M%(gBCmjSyAb!Qcp?+|R(AVQw=oPQeetK%&w^GckN_c5*qFn1LbQ~fw z*IFK(a-95JhaNR|UR+thoAJZ_X?IikaKVVa!mja3CxtjovSWEKmKJr6Im&7(v6ef! zNRYs`%Ga8m(cBT0Q}cjBBiXIxm*#2Brbaj?BO)UDo#W<@$Ft2YE`z7H*|v<6mYYG# ztHDerIxBN?KZac+Bfxu7M9!^>#C<41qpvJ44Gs>P@0rgrEB!%!#Zw_8$%SuIy34McZ= z&QhGmIKjKYWM@(u%gf8dF@+$7ii1P6D0_1KV4}8gTj}!L+^rLo$ZENsJ2z^!I&w-1 zD4%m)on74>QJJMz^9_mjY4?hDVgZtaAo4A94gTiUMWW0bLtE27NgD6U^l&04De)RI z8ke1v=Bo{iO=i3mr*P2j$xZ*ofI>S8qt_FjzJ7jwE-p7j;E_nZ_hdlmOOf!t#YG=V z@FPaNVXk-_p8hLE(frPJ#}uKB%~XCXQ!0 z4wo)3EQ};lR6Y>b64QamLp-RJ*3|q9?m{xU?P@8{;s9UC+4wmsLeu$(*T-GN_Qwaasf`Ew zg(yU4+`H%ss@LSzyiaE7(q_{lw`wj6b6^&U~T2h$O_jHT)b@cGK$q8db zV7a3y=WinLjf}&2Z#+0eAWVWHmu)Ycsx(fu9sxoM)#GHaharexvs-%*XnW? zU%=9YSiP!0G#Mi15s4TKhM(~c|JfBMxx~~}RO7AUl9Fn~g{Ivf<5|lknai6Acm)UF znaAa)JR`eUmBEA!IN=Ul*qOc>g6WR?Js(m(aZxZP_Wn%J_b}hJQ z0aDKtu9(td7N4zvW{c@+Ng(r286z4-ElSR3VL{UA*~7E5A0iiN<`dteYVja~_o9gR zqEV#JjGAz8vOXR!L}?~Nnk5O5G6;iuKh|z}%+5{-cxVyDiphjX)3e)zJp71u`4F=p zn6U$&i*suu{v$x4;=uO?rLzy+GPU~wti4B8H9HkmFM-b7 z;xPIZ5y`zxNuh=y&WD%wBy0X|D)(kWhm~ji7(~aLPsz+5OpiZHkZZXmb%$TJw3xa4 z*VL4YT%u53i;tI|AGWB7lbJpPqa9v0fbQl?(CRx%8Md^0vkri&MhJp z6&fKVy}7CqV@CjkY3WGvjUl@#zYWdA63AJI#H7qIg&xRzoOHL5R@z^hVPJ|Y{g|0a z2m*1-TMc*LSKTVWr;~P3BLx-q%~cLEdF@nH*Q62@Z+_M+xnsXN4|2a=iVbf24)PA! z33yZA zIgAt(gTWhckw(trhi@Iv#A$WHJmazB>MY4o!Xs|h9ck{k^wlB2Na|U?xMhx3rx1la z+M>t58QVJPydN|HJ+<(S8X1c<^_toeGR26W#&rBV9C$o7Hhu^Jq<~$xM8@yyiyP!VwgZGGGp;>F*79+O8%z2FD)=^!U0xbFBUUnUzG!~QL&w#~2>c%r z{jqMXiyA5)5-qv6SUpc?RlD;I%F|l^jf?%KNTZ{fhryQ+MI5|Xb@K`+xW(_gvDj~S zttEy^`0g5&NK7`NfZE8&x%Ei#@zxkFm@<;pjk;-vCU#KRv8#`D+SJ$$Qcz0mW(+_V zbhuNs5BUNYDqvp_I?u!T&qrHWC&M4uBV%o33??2QVZjPP+Wx#ta$DQi(5^-}ILG?4vc{0LpD9kSEJLBreE>@+5Jt+oU z5C=|oext0cocJ7M1z*>iNuYiUBOuaCM=rjK^dY(12Ll=ixr^@aj~-VADhTI0Da-wv zts~b2baxm;#(X5Q&QdL;BZkH@QEmY!Ji>3VB_-Y*l+ZaK-yK&>eYnY= z^Hbsop1{&=APOMY8unBsWE`+85KWY905JzLLYT@>h@2gZ z(y||iSVnF&3!^*$Y{2G!3gAOk`!N|JRcF4Yr(K<$>HriX*1=u(Um&uAegj;QxUG;V z5ykzS+2}W(gjqden~Ew(GzY16TO*@EMOqNG7lc6I`HSafWGTQ5&>{v#U_Le`M#1h3 zSzY=niuHpCB?JO~LXD#GR7IeCHaEqxBj~-%|ImYk7C=$`E7jB4VR3&S8$~E5dqw~T z;frs?XMRRp7gPvsba#jO2^kX?V;JQA1k6R{ zb5T`2aO``XHkFC@+P8s*Dmwzjg%8-1occc_kqkcht}kIe?LH&r;!fYspD;To(;Hm- zM)VjWNdKfb&69Iub^(O7Cm}9Wp;3fvk4LSt@>D;+5VTHaUSIJh%zqK%)RY!Q`r!DE zueIt;K<2(+C^7UXPtUP6K~ujoj?2nxQT^;~QcymSJ7R&BkZ>>6c_G4EiH zurP3xA-hK%PdH82kbrdWo{(s{A3V^TOF-szq)+7+EI*fG^1KnD>9 zY!I@~QL4@wV}@s%k^a-tf1Ru{QA7l6zy%Vr51~=ZkJlt;ze$nwQO6AHu%$ECHHxGm zZ0VF1D$e>2m2FmQL@yd|rHhNefh4dvsnR;uhmPyG4^acr7vI~5zOf%QL6IZ%IS&^) z>mUO~M%i`d7Lq6}r?viKOrf~kj1G#BXYH#@4x&9C=KZG78id3if?Sn}uYer{A8hx) za72-2LzRiX^Z0J_J|sOL@xs)e`xy6zma2VkdEt%AXx&X@33df?oaFVQkrYAI zbEqKeAPVslq-C!$8$H5Xz{8{}alY^}43sM@40I2IL7cI5#gtdO>dH|H#ci(mAYzs!Tqp*a@LviA}cY zoQj>%SJFkwSX&GgzAEH+l%BF2244Vzh3TVg)BxEhP5+4Vf7M?6tuKvhP8oglAMw5Id3vT*&mEe7)EtdH@MBApVp8 z=M1cH5&szMUE`8DxR2~w{Ae4m`M8T6;=OA@gsj=gLWhK|34L$<8@?d4P%Mi|_T5M6*;rm=k_EwIye^9OI?EIpU5AB{ES>&C{T3KAV+Q>L0r%!WSwv3 z&2=5tO(wR+|4&fXdS~BTQ|b@(-Vwc6={Js(6A^@vg*e!j%y;CzNr~U8U`LO@B`}~XlrTc%^eO~pyb(jCUPmLUc-dqrZh*Lx6e$)XoPQ(hx zP5tB!#C(WpOf;O0z+w;;5ZhIDzZ;VZUiZy(E|POY;a`M0;|obE{D`MRf_=C~DE1vu z9z3&7+_gc#MTsfzCb8|_=LQ4-p|>=NN(%|><2-Ebh1AF z>Yo!tPz*QNNTr9mvjGA94*)>=*AOJ$T!Ds>@-FIVBN)TT z)X4*{3e4kUOP4IBT#zk7vP@$EOMQHC$u~y0$XXplA4TtErYcA^U8^gkS_Wj#5+QnIH}kAFWHA6n+{42I3P=cGx%`aMeDA5~Rf8UJMi?^q zglP1uCBD_UU?fe0u+2<&RA4X##kRC>YlgKB(whkuMTpfzT$sq5sh8qYdT#@kN6ngs zFRgWPKV*>7_y~*%AoN0#(@AUkaFrisi3sT^%KbY>P>!%rIR}mbLOS6J9Md9@xe8ot zi!&;0ZAaEzAi%*#;s;_WUG^1JOttq>qnt#`za4u*c)sv(s`NaZC zO$ig!=4~K)+D>E@1^RTIq_l3a7;vf+>!7kx4W{a1Du{Ai`?|QU$*Qj1PRiY~Qb@&J z?($ULzHAhRx9Gslfsr&mHdBT&E?8n$f^|#ByOT* zR7laW(Dj&I53;HSLwF-IUM!2F(~(hB#yVlQbwS-6{@wBbYu-Jo6;^mYQ#CUl*fmyk z!<52R<5E|oGnMN{kNj*3fU$2%*617GEng$sy|f9@sdG&>Sr-NaIdL+GWrEel7yQ4l zQtV7a#k|L74LZl962CR;3=ZSgZU<7>A=?L7mNL{A=Js;FIEwkp`rQjDPYKap=7!HO z6zLuHAnw8Tve(oK*Hok2;nx7Y)}3?^K^HJ<+CleWAV}>Uxh-5@bW_l%q(CcsNUel= zn}$N-D&_|6BjObx%!A`-^XLwQl?oML$Mho+ni@fR6tju{1=4}{sEOrWikST(1uBED zQ@ptQj)i>>FEc$=WHe9*tID2H-D<1kxt$Cjay??87@@zH!p`aVFd1?1UTT<8tz}^O zB&p@G62S6|!v{+dk^2Og;pmv-Iv#)^)gR89rw*Wb$@Yc17FDBn8uCYw)io3=s4!`fVcNU~ z(;JjD%N+{V49-@y2grD-R3NtKyGXGGpblKRWo4<90u8q`@l!xKkA*QQwj++h?R!6M zgeIgfs!WJhMwaTPKi42YpaFRqkb^4Wj6*GIOkO{`r0++d@mK z`}9S5o$?weMz+tWzWUpiQC|rz{}dO24T#2;ZTlyhXUCW%c_VZd=ApEXmFStDKOV9# z;4y+d+UXRUkovaYxsB)!=M8k^3K)VuG&Nl;?aEn-SJQoOEMB_w-mKIgYW3o~m;zFu z5BNW)6E}%mevV3tPt+8G!n>RAV8wMOAD{S}15mVflI4c-bks`irZW2gX*!zN;juA$ zmlN{LC(}}SWYIzVP(7&4!B{ftf&}0 z&&tNeR^Icgr)O`#sNOBKF)Mu#)XL5Eq*pocczn!KqmGVFqV^!r&Jang9}GK_(rkTM z{?xVI{&1vXMi5F67ki_s2)KY`TCypUU*-Qaw#n;p{9!ANx;Iu+qcJ%FAG_~EIX>7S z&wP(pPV3@CU!|#;EN9peGmQ(yn69yD8Fm2X@@cE0>gSWCR*T`9DUF4tr2+8g?adic z*=bKQ@{giDpHlASF1}5_?h`px|2$^fY272q#{MT{LtZuyb`agCre{-+=zG1! z4Ams}7A(xx4o)>|`EC*@t(lvfll_sSOHR&XN8h_!8ss{>8`u4DFW?x+GZ}@;YqOm> z-qq2;?fIjrecV;B;ZPJZGw$bZ+1_(^<8guMcc&`lhC*FLiUi)g0dL0kdc%n8vnzn?M}ZA&2*l zUm)gL(4DRSW3G;M&1 zzCN1o=Q|nDLdAqzR~*e|i#EBcdgAG4QgT8BrX z>P!8+yb!aD*&CIx69()fuB6Vu@LG!&a!Qipw<<8QTvg30K9+|80 zlRE-equX#RL0-0cgKlX}!|J6m`6+KL^RBE&7FK#SgXX=1>C>Aap@_z6td4C=({|WsET#5DW6a@+ z%b`h6g_5G8b4qaP=-O^e|I6H!$^k3fVP|X(W%Kd!E-bIWftp)V-v0h$q(xo!nZ@Pl z_rE?4zUC-cR2heoDI9TeafwnWH{Y%l-gm_3OH)c|6I=D!&*({}Z!~rF$t)Xa63#md z$HxTmLmm-EHGv}#N=K}64MbyW0LE;8b@tP^cSo7aA%T6JADQ=6;%04P1yxp^J)F2J zch==(*N%XOJV(nzEB1B1P5erTO*o@1JR+Z{JwH#J@GN$}Yoz5qp3Q(vlQJZk6Q2p8 z55;C%YX@0Zb~t~lud0NDSd4cT7Z-WDmMSCou%-@1VL7ushPF4g=e32R%r|-VOqHQt z-^gjj@nGS^TMFb0@CQt%cpGjwX})=58IupBN!H+gHrp;s>3G5MFK}vZIea5Bi|B;E z0ouun3G&e$l@4~!m`?lgr(^c3YFp{57|i@v?RYTmZEo-0F2UKM*49=~(k&;{H2&bY zI|fs~TL<4F5;6csn3QxD3V!)cI-@lMynFI$FZN9oHVqS&l&Ze@t=7@P6bZITjc_RA zYY*)PhDLUg@>v6XeVOlEMH@@U*A_`k*#E5=J@}pIj_Dk8M*k!&R&kUR7sDaF>-oh7 zqNb*%?yE}s(%{U6W96e7C&R5}NqYsuW0 zumg@j#fmeRPyZTxvcFnK5Uq172Geq*4E#v1)pk%hnn?34sDb1b5RfcHs;pGoeSa~$ z2UOm*&DhKgQsNWe#epd==L-wrlO7K^$WyiDM8hmSL5_>BTiiWz+^vo%sa==l9-Em5 zBPt~e!?JhcMi*Xte0j_rBUsO?(Q^K0A(X-(jokmbzX{1Chu9$#CQOZ4R5dT)k7l<@ z$Bc8WcG}AjiL~Fe7%&b?b@K-&|2}J`c$pW;p)ISgvr&Q`_psRZu$fMw=37#cQP`*m zqpTLxs?QUDIL?I~pB?yU)3~Eb-6~5j^J~F~NC+=4umAEw^i9kn9GUZxKhD`1Zr>e= z;94hu;MzO)J}7HKDZ@-rfFXkKXXWdQqd^~@f2~i{PBX*rNg9T8m2afKA?{Rn+`sS# z!4$IrqnCNHy358b6{{&JESFekYPPbnlH_}S;1!(id?`}Bn#{;ykMwA{Xg8&b#PT!d z;Bvz>ucpyd2#lU7ti8Q`c1{l0>J@gAsvWpdS|T}be+z(PIQZflz8<7ho5q@-S4**2 zKTl6t0`Hvbx#AWr24p%e8%%&CWNM=C`_||g9Q5q5#FUom_#ZfLsXN{7)a$bxvsckj zVY&T!>8qg`?|Tf63cM)8tc^KUIuY)9WAsQIK7dI?Eki^Am!$CH4mbi>8nCLpnoBs{ zFu#L@6F#dS$Xjf9x$k^!8uF%t^T{=16t@8~*oW(jx9f*8u?5~go|I*dj*_gqP#LiisBG(A- zoYtc`tcWe{W<^F~glt^$EDClEK8~@@X&ogkT9jNadgIll`ix{CB&q7aH}KAoRVtWH%zS zQ7LX+|CXx6r6YojcZOZP1M_kq$?JRU`&%qCseUkX&k|(so-6&$_*s~A1eaf1shZC( zHp6VT^;nXKt!b8mQ3@uY_ta9$1kHz=YJA(FEc;{A+l6q4l1-Ts3acOIJ~GrGZqjWV zwYa?O=P{nOVs%;HPEb!@BG&9(u6MXM`)RYfn8AQ%985FpQ9eFCMwXUJcI}O~o~$m~ z`gm9MVQK4B7rv%?I`a!i74VFLFxe=I4Yb2MMTCgWyaTP$$_j%hMG zkZh$jlzxnI&mGYz$>89vblN`HPYT<}y?GI}VGi~6&<9rE8S#7}kI9LNjvA9-NX;T4 z2bF0Rnaiy?GF#1a4PH5neW<&g6T-9&f)XYsOp#ynVf;!s#UdVCLwEzzUr)n6?n$wJ)pCgP>$BqYN!v>h=$l^7Do1HAdCw&YkOf?$ENig9Z?<$S(Ri8IMqAtGE zNb$IO4o-iFf~xTy+V3`7FUUU3Qp*NK;qWdv zq<&@G9*#^)NJzkWZ_n%prlPxoKJcS;MlY?{X(hR&G)m^NBpil3?>PL`d0g;{!OHZs ztAdUd+E^$z(Rio-_Q!u$@uBqMYM za+l2X;@OI}GsA+J3_P;lMK yF}xWm!QFboD2CZ3VE&h2mj+vg1ad+^Ig9W1ZC5~ zRw6QB!A=I*B*;bgc5~CssVT5W0YqWBeTl;UpVDR@Ia(Ecl_Cs9H(1mnjEwI zQ6c8e5vsiZXp$hKdzS*o?ZP|A!Il4@!Y0(A4-^R~Y9Sj{NHF-QZrx2skv60LMJ_$@T^}4)o)P6 z_hf?KgYf^uo?scIO^=&gVldzLqZFdtX4{~si*%-1o!Uwl&Wi_8Y*{wZ)ZfFv^8q=p zME0^O7Q~S#%&D#zJLD?Iru@c;YP*tsSE(W*zKIa0D8m;m3R}vE=Y@&xVxrPVoF3Fe z_(R+TlZLi+P$c?w5Pf~k8sG@vI}~eBeK<+YpW5!suF!j`|G)&qLb#N}uSe)NP<%tC zdi#H3Nag-Z0c%FpW6cD&@m~kb#xCM#U|lqtn?em zfCZx78i+E}QoyJ1U$ca1TGQb*Ido6#rgo*^wq{!a82~YG@G%`#-pBtZd8smFH4U#3 z!rzgk+F&l^1Q-nQn15&rPmxSUk+_7%W9d)a$}ss+9&m_~Fn^cfxSC+9zQ^YmI5C^1CTQeEJL}B+op!b+Z0R2M;io*Ya zYj>YhDJ$8N5xJ45H9`WB@*S{W*BWg0pSquf<@mbsx-EGqCg?jf)(&n=0gQ|QBJ*!J zUU*}Z))bqQ>0c+XW_?iWx2nIp{ej||v^w^mAVL8**^=IHZmOE=s>6LMxD?sv+&iw3 zPd2V=(AE} zq)N4Jqd(9fHxBG=Y5AwLU==E^>n1|nj;am_spAs7h0=y{n-UxAO~|4nh*L15Fx2>i zCf@}lX@T7k`s;=T`sX{+IM=}bmnLMy)>ZvYdEJ)Kp!)`_5)q6((*b4f)zl_X%*Z(i zvD2Sj?;!b)+VNjvl4brsvYtCbcCtquh)#cU4lGj?1brwzZw$_=3XZuB2*q>%gCI1> zunL_Pr(u)^B%oK>gu@;dS_-Xy7=jMTKX3;z0~NY;8~htbqygeg|1czlyf)c6|3#*X z1p$<-R`5n*|KJI_Q-t~rMDd}2XfV)OGgXWuaxzc^ z4Y!iqP4Kekrt~`gtjfICOPu=XfL0S!9{MPt*EZg*ERcy0dqDwW;1>Ko&l@YvN)e4) z?P*&H7JH1n>rKKJbpze6lCOhPra2t=q*_buumzfL zQasG`r0W>NtTVcoR?g$|`s}4?Vq+c}KVX4x!H?M(2d}O-y}7X zz0ALJR(cqzc+d!t4&C?g`ex+A@lEO&BP2#Pdn7SJDI|u-^Kp@mBcatgzn55R8D-Ii z)$yF$7T&9NlBNvh?Cx&4l|~5$Zw~wqdsLT^C&wym2p$y9OS#E@dUU49(*u6vEELt- z`QhrLLG&QrtY2@?XK}S`wDarouuj0jRPyT29PVx|d@qgTg%eG@HKnV|<8X|nG-o>a z=ZrU>XRQ}^CDgs}9ws@hhoY-}mFlMyYTm(y|LXOb*%}}4>+Y)Al}AUhpp)lC(HJm(0>!S=zt#l7=2d)@?L;- z;r}1>U++Uk;Wy9!j|vM9fPd3;=|u|E^uN21?z=Dz2~1((IP9l;!qz;>P^^!>__kUysMf$BTr7uw}Q7 zx?`}$;vi9$o{#6|Em)KEOWE1k3QJIZ2uwMk{82ys5>)+i#h(Sg6NNFN_(GJBBNu-mm=+XB+q$U$-q|0_}YbK zf2YfAY-skNb&Z=D8ynDX{&mY1DqFq1aROE4 znHKD))g$i;hd~=inGEP#e=n^bDzAwsfwsH3yK!;=lTh-cf&?!|d)^oB!ogRqQE673 z?g5Zt!_M50j^C-4_3%uJb-uTs-|}#iu*Y2*ww=Q7TCDS7FWy8#YnLM0G-upIyGhDU zIzCO|{sz7pizz2N`y*Ggb+e(aY$sm3 z>AeAc+c>F7O3eK)h>WNz0rg1he9ml6pItK>5}v)iVfWYM0hXj+eEDzI@}m_u#Hh*oQY^b5ma8u^nR+ZpZB{D9?C$CS_u1 zzlbjT&WLX&W@hpI^dhtvPwAW`*DmqX7vQkOuA>6igp(9?Xo_k(XEJO0zir*nbq;IV z*d?}9M!cfnDR8vN{Z9R^d-jQ&{5t9 z9tWC)!Zuqy{8i^wLDzaW7_rbhaTfI_HJ!L)eQ@DPWn8#`OV_;It2b@Y&P7crNbnU- z627WHI&e?9lGEBh&k(rdlEMw+1By?VjeG8YZP|TKK>Z`_qA-*YcaG-4HYZ*s#)82< zCT7rU;?7Sfy0$UB14&S_;i2-;)z^+5?XQ2(_k&$V<=4B-BeLPGqxpKGM&hv*S|ckQ z?jCka^1KnrOAlfM)JHvnK6ICTWSDl(RUKGSly_I;h!UuRImXKBxo4>mmxX6|N_gak zh~qV`a$%w^l@PpEIdTj22#fT|PFl zd^;=Q%?x$#M16ap*lu99wKA7Q_4dYS9fH5-;{$5WUYnYtIN}7<;aw8&yimpBN(*E; zQH@A*1zsPgM;^q=s0DlQBV~8b?oK>b2Q+9=p)Cf6P|G#VNoz_!d8LL`A-lj=!U#_% z`*)A1ve@Mqiz`oWafY3NDbZ3^J`T#h#$RRIM0kJnmvwTJ6o}3~KJuJlyvrF1^-!xL z67ABO9`wl;XW&L>Ak|NFS)*{gn+BKVvgV0kLVr>j2J5rRW+u7|&IT8M^~UmsoiWW< z7|YyE@-OPtn08!kx0M!-QlE&25yK~bWBtsXOj33%ZKzEn(9Y6}*A%MQo*@$AjWx{; z+CD_|=)(z3H?Y~7~Vf1q?WfN($1g8 zbe3k;QP!2ot-iCU#8C_OYHt ziSsbiZH*Sw^lP@x50+THcVqvd=#XWl2Hg1Pa*jb(<=5T#)%sf4IseD1rz`w-1#5cWtu3nd(CAOZe(uYSdIK|hcMPOEcnOMnr0}?C zlmHry-h3n80#+fNGrQdp96bt3V#^S&#D>V_)wcb)bC z9~6fM1}y8*n|rpipKeTvecrpbVY$Yody$l~SN4;R^0N6>nvYpJ&r*R?zTv&$78BA1 zsGDdt!OKkq4%8(c9Jo|Yxc?yZc6()ggFHAbl$_IQQ>he?>C=DRvSFc;FlTINAEw@1~;x7-hb z!yIsUqkq$2-^AR~lCLZ`3g}v5OK%#8maD2QSu$6hn0QK`Y?$w+00Y&YHkVU5-FALg`kZg4aG!< zBl={unm7{9&^t~a@|w6I`1hyHi}qt(pSh=J)o#$!bZ?rN&&Y)XCNMWK%SUxJ>ftN+ zW_oVSR%E-uHu>}{q({rVi4?#LL~gcrg92AEHkj!W))Xe2JssnY8zl<7TI;k2%^YJaNJ$v^B_Fn1EJLp-p&>Y`QQDb#rdw z9t(!V9A7(t#lz@dlh%3ZU^J|(7t_d7^%XPHz-zW~qEGVhC-!bSyJTk$v&Ff=&u=*X0ZhCu5yv*bE1!5_;{uK>+|p1! zSo3c3#Q)XFxkn|Prg5BfswqvIw5)Vx-8^PRV_V+FP`YSlrZinlDM>A-Q1X(Qq6lRd zvobatwTsD=X_IDJrse`-5ow}%%rR8FAu1^%3Ip;>k$sr`W6#-hcK4k9n;-mM-rxH? z@ALiqzVB0~^mePygq~s?VnaNeemS9BSQ=EyXH|BMPs-ObQ!nGQhYr<9SD7wo&~1Uk z9DoAsKNP6eK~h67J&+e41nN}A=N0{3i()47B10^F!VfTEHX^$U*2$D#Rc^`3r30Ks z6}uzq0h4K-!E?N(8Hy;{PpTr=?x6iHZG$xn6>m9IcBk}TpDI5-$l1g1W7j7Yb$Usl z!eSBcVQ~0^eF|f*3cad^tCRm$Cx!MiOwj9wo-{@K5qV8NO{W%e=hWq_iAz^_;#jUO z=;^`LS?}$xx6TWEm*;d0gve)^n(C!Tq)fe(K6kRUvR#j~((9nkcc3*GrD(8W%net5!(~^>Ez<_kW z1Cc3XX!ay}6JaL?!n1o8*`=nhY68TCfm0jRc3q83lg>219+cBn2p>VxX zX3czY+{({OCt_XA$qEp82F-}8#Zi!lPeNfR$yl?k3{aLqr7m~(Uh8)iyo5r!B_1(f zdebjSVZz?_+S&8#7_o{VSEsP*HU%6gY*^=>@XNQT@)k;%ul9oOH%gdaHuw$VzNG*c zywynKq8;)E-ObiAlUThG4kg-G6&ruej2W1pR}6wbVsQOUNyO8@%C4SDD*_@-w-pWjcz*O;<9&(vbRAEgwal|%m8?fdq|2%}thjSGJQMJxofY$&@|F};yMd+r<{ zz#oN>%`o}qy(AuF{aLb5ratA|T@{ci^g3VuBhB40pnWhMG?6*GTg1G>XaR6q{%bx3 zX!N{IPWuYdp)NLm@|2hV>3OIOvckse=iOHLv=#J$k>ko$i*UmoH$#gx6=iCo(4unO z&6XkXoBd+4BHU>~JZ;mM!B!0F;#VXpCthu(~NNtVhiAw-tPj0C8 zi*{ZO#vL;5Fy;O$NV8C4_vQdACg$Ib?7DDdMb6= z@n-c?Sq+kkXn3GEB*6mCw$hHpqQ{=tVOarWCZ%9i`{=9AV`cpcw3aDS-EgbFohyiZ z@e4`+W+Cja;w&Hmv_?m)mn3Y5*Gd4)Hn?h@{2h11{rT zTOP5WIb3@*xCJziVtO9>3IJyVR=;#tPU9**h^-n`*mvh37)=+X7F_6w6!x_3V@u;O$TUq%dt5Rq(};9?p~f1p!>9@fvHY-hBCDWwvr=jS7LE-vT=)_i%G0rSl%K_l z*e<7?J@NM4$J>HNo<`UQC;t|NUB}<7ga8{@Kw>=qd(W2WG<3VT@w*9+v!2y-MF?t zwzz#Xg=2PHo5RzlFQEzWgqsZ#c-wIFdtDK#RsHO=RiWd{fHiC1!rEbDtKo=40=Fcn z^oNv^eKv>ZFpx&t7$-x5*t#AUaY!zlEr9-_^e~kB3d8l@!ArF1PUGiT8h;b0Bes(j zQKPz`#nU7FT@p>ir>DakBo`H3*iSg_+)Lf6J(Qf?#w z6n{HZocGCUN7Q+S9mWHCm)7&4YQzXNW5lc)wbc$jW^IZJHCk1pYDd+ml?1V8iQ1c(rK*H#tr~5# zMT1aPwM#_4`aQq%{r&OYd*0`{?{m-l$35?PZirpfs@o{h^@X z1e+M>+J?LBlrRUjt6xdd@%uE>;YTJDe$QFm!KuRu40&cwM$O>7T~7IQV>Gdx7i2rwb3Vc`-z zNvC*oRl5f>bUO3i??d{#GcO!90R%F@B?n6tfOugh1ToSQ=qwx6at^ue8AJo-8iYYlvRN#%RZ$w69foe7EayC=~`f z;WadVChUwj#HgUGh$~9eAx)D}y1GhYT@OWf5AA3|;}MjM85 z`rOscJ$%h#$f%wge5YMZ2EKJ@nB&u5ceb}YHG}aSPpx^le4W{3KLz+)eJWh#93*cD zanwV~BF7~x-CAuf2h#yfM*!H!p zMwf64kdVl>!*sZM|&rfFrDU>z>NK&y<&!Z^h`>j_X*tbefv~TJn!Y5 zyvbFr#C~bs0?9Jep5s{0R1{r)!*@nLZ>$r|lrjRLV*n_28Q z^nPs2BaLS%Iksl?LB%%|gMS_182@_+k@Zzu;5!G0M^Y>QiJfrFn_??uObKA9-1){- z=qeR=;YKak#e3c=(tq#l=oY7Fgy}{1OI%tT(mL!Bv-u6cZCG<6;v3CbPur9^kzPkf z5PU{DizL#}Y+0kzDE7)Dr=y|?l;$@9Z^=!%z`;}!-gweS<1?4E$`)Qmj^>@ge5wFc zol0rOmVw;IHEyJUl^|%P1-rZz7wG=R+%|!Accwf@o4w|5*>wu<1HCH7qe4|(tqMRQ3^dk_JlK2U`?y-;_W_8ZeJLejp z+c=B$D|)8d5D`o>3iT00{IX}~@i#N~aJX1=)S2QG zXyNJrxt@WqISUaL_)h*s>&s&heTyabU{VjC*1kUWp%y0lwyCzM*(0K>X>>33>wP`! zj=}(kuBoMYDVa{c*6Zyt+894gvMu8I^~vlj>qH*{owZTewJtm)jdPk>+h zh8i`Jo%MaytH7(3zm!DJ!zQ*>bS_k`!nzAvJ7em&=ZpefuIid<)+7`TsLh?JrIYTT zoD^NfP=THTOuGIC?A8wGq)@>sBlULDTL_xSEVxt^W-ym)AdGNAH14NnU_zFXj@y0r zSN;E9pXc*`fcm&3Dt6sgKTV;dV?RQY7<}j&otj*)VA0zsG4~zP*JWg?UXyE&_x0U6 zxkhC+GdDb62{nkaweUfspZohM!*gejQ&-EPjZ-vTwM4Z$Ox8pHRnW>}XK&!#*p{5E zddE1zy9@n5?K{g?!K*b~9sFkc56FEK6Lwpqkwyx_UF)23Ol`3RWSp)Ojm=kx9GOX& z4p#p2_=s)d9YKjz@Wuae;K-4R_`xAdMp*~SXn6MF(naZc@x}&q_9sU0m-2-};4P!6 z@QQa#H#=MnTO_Ts)7Vr`4^aO{8cyX$dX5MFOaqk3rJ#ImSyM+x+gVb}6yS?)#zhB3 zJFH^^Vl5l;N7yX)JbhE88tyOngDSznFNN+xLnLPIDnp%G%Z2DZPMZo{t?{(gjNo||%I+GKMtFx*u1J--Y4Cm(S?*9TR%;Hd&dw>SFn0#B_B>m1-?3nqF0B0|<$!qJSh>=!o*E*z|oZZHa z=8>e2Fo~I=^>emn&7@NSvkVZmWL>NtYki^ZR$T7 zJX>8swnK=0UPi~&axmNeJ@KG=NZH)Oeq#_LQ*Gcyg8J*Cj_gAMqJ+Lia zrN%lPBlCRmV zAGM+zxWLm(RNQT%idy>A#+^N`oc84ytaUIG@{7%i>;T7?On;$RnNUiZ4z`ojjt!&1 z?9qOF7tabo6d&@0C@Ce)L)C_v_d^YB_iz#&t|N<%2zOS-#2B2V5(l%kl`~<)Ia+MG z*i~3S5t2gtaWqvBQvcO4t)8(nfF!H7nIW+&7&BuLuvfL`*5k?53G%?Y%$b`9UCl&^%huO3u6 zZ-_pbc%HJ>7OxD8%hJp_Y`vP1V#>nBHQ3ZzCN}JIThlC3cXFuB(s@v3begI#`4^8q zZI3*3I1s->TN_mrs4OI8lH0P$QT{Q{j_h(f1bN-ZcdI}K^0_P){YXuy9NECO{{Yjx z=`en%0YWVA{yI8ffCos26$%*l?ZQOY|R>~nZi z{$?c;>!wwU-u1~t*DIcw6}LR5uo}IdE%T%f_ehWW}v5eys>(=6Kvlujz(jkcWKKTFMZt zRh)2nYK+un0j4kpMUz@%u9mh=dBFUSN!OUtPa$n6D5#4r_#Vwz}FD1 zYW1Rn6{YucILFM~ePX)1iO1amz4pw$at;ri z0_RvQEd!NGrAOwkgM-TLe7BxHlo^nJW#gQFj}|y#=Lw8QsZKK;{!vpBUzV$-ZNwJQ zX5g9juIQWc`_e|9y~mCYigmtP>=u1_+M}mAjAW;8n`F@O(*_-RC1jLNYc>i@+(4sW zHYmQeEM%=?OUEn%f9m91PBoq}bx~4rL0$pIlz%Hy0{ zw2LlHLdhV#+oIoDDlLVU#M8J1eMveqS!aNxP&pZ`vHMEX~F*>zzuryyOD>(H{_ zKSq2DfBB9OC4-N3sW!8f2PNl>w+AfrP1)byG!b0Z4nH|Py1(>gf4gtP|H14rsNpQJ z9AL(Z-k-;AK}@Ke zM&l8=2MGgC2Z%H886A#)kk6|!={1I!jx~v+@xnlHBzr>JU-4zOA| zAb)E+HKOgu|4t)uWEQpavx0#plmrE-b4BrJB-Qf%|Ho)zN_TD@4ae)e`hVEf)|g&$ zZc1$D$*J_~N<>~}*r#&s$KQZp;TpUA)!iFKtIgZ7fa{zA8+h+21(l3=oXm_Yl8V0Z z-IcQB&tFr`{<@KN8ct=pcP!B4$&s!y*=*K(!vmi$?8{4>zfpl7Py44I7H!nle_Y-z z>++;oX)wvF=l_iG`9Pxuebef)#RYlx+#ZTvRjuIX!r{kAn5LUbv*eazV<L$r~(8PrS{lHrs@o)gYB4+N2tV7k; z`~5p?o(K3^;HGNT|EkNa(DG@1hA$$YDSC|Z-s5us%ZkM)O$RNHA^={#J*g9)u+7O# zxpnNJA8a;xs(NW{R%+z>nULVebXQ8)cnGcgi4fxL*F1jpNn95*3c*kK&?~ybpYxpe z*8M%d7?La)kr*@J_(LMl`L7XnY-XK-cC4#13E9h(@7QDmQ)bG<>9GH778^u5m-)J? zIRnAvuFAqk&YOFpXX+AduHVk?`zp&|t+rV+Oe)ti2vF&U?uig z&;L3HrZ0f92u|C^2BA}~*_;+G_eQ}EnCXNl?YwC_GCF0e&M~!ffgY#x%1nrM!A3Om zS8^zK!#g)<*)hx3O~_E^0t2W|_!}E@L`|zX(X{u9&Ev*-j&ZmDp8AAY`2U(6aLvHiy_wC}|C8w?5E8=8E`e!Ia>Iuu ztCwaa%rzwzKS6HDi>G!p0<^HdnbZZcFG2fBXGlm5+ilqH2m{|o-D>Ei==}R0`pS)H zRLLu=YB3YYj`LU#y(l572g-as7bM*I08GGr$S17BWkd7L^!yiXCOZohro<7A`TCnT zaxOKKiyzz!iLDlN*}VN9#8)G^Yg>#^SVQ0*T=sU@yQOvKasO)hJ(IYO5~+kaOkVMW zibD5`oyn*md+w_DVP?}pIdlPn-jU`KB(_dFhDOP&ElQ{@M(L_Vd>k{uJ)#8q`Mp4xkROQ=Vrw=8@*1Ke zn3i<5a~tB`Cj%pS-vqgg2hCxrT<0Rr{}NA5Uw1C2b&TJ%-_d8hOAm{~6W#}b+TfRt z_m*;$c?vY_<@O5e<8u_h@x%w{tNNYIl|daHn7bf?l)C#95vS74UyUljTHRVwZBhNZ zJ9V-w@mpRVqOMK)7UZ8FA@iiY5g6|Be6d70^U*WaF6c(<+z2LeI*FDslyS7@x+0=d z4m1BeQdga>AcFr%YooxSBqTD>qi7KYzcZW;tt~P?dV?jZPKjvB9isqMxF$R(Kj>1m zR>0A@&Hk%I4Q5-F$wAf7po~~Nj ziyH%K_It?=$lsV4z)NmM{P#r1t^LZM_y$c4DyQS?#*_kg8WHtw_|mbPkH1bu9=hx* zniRXlVeRUn^+(~>NxYsP+P1$^YYzCs+qs}#igP^oa_ycc@} z!y8QW&@tt!A8u;OdJr%x3VE}(_tox+gcBC>HR*iRyl?Wtq0eSUR!25f*;;NJ0aCcp zco2^r$SoaSiGJF;^4ARsuk^6hRliIfX2KQJEhrsTWz(v$`S1`vXD+LWR(=9zT2Bi6 z3U>j=-w3z%W3ERd@T#Wa&#WnD!;pB@>zS$WiJ)SWa7uLx1@Z-nRjnmdcS#HFc=?k^ NVPa@u(4^-P|37HuHZ=eM literal 0 HcmV?d00001 -- 2.39.5