From 5cbdb1c4043f8d808549175ef543cf67ab8ca12a Mon Sep 17 00:00:00 2001 From: =?utf8?q?Rapha=C3=ABl=20Couturier?= Date: Tue, 27 Aug 2019 15:44:14 +0200 Subject: [PATCH] update --- chapter2.tex | 47 ++++++++++++++++++++++++++++++++++++++++-- figures/chap2fig6.png | Bin 0 -> 8887 bytes figures/chap2fig7.png | Bin 0 -> 27038 bytes references.tex | 3 +++ 4 files changed, 48 insertions(+), 2 deletions(-) create mode 100644 figures/chap2fig6.png create mode 100644 figures/chap2fig7.png diff --git a/chapter2.tex b/chapter2.tex index b50c9dd..3ffdbe5 100644 --- a/chapter2.tex +++ b/chapter2.tex @@ -313,8 +313,8 @@ $a\Rightarrow b$, for $n_a\leq n_b$ and $nb \neq n$, is then defined from the index $q(a,\overline{b})$ by: \definition -The implication intensity that measures the inductive quality of a -over b is: +The implication intensity that measures the inductive quality of $a$ +over $b$ is: $$\varphi(a,b)=1-Pr[Q(a,\overline{b})\leq q(a,\overline{b})] = \frac{1}{\sqrt{2 \pi}} \int^{\infty}_{ q(a,\overline{b})} e^{-\frac{t^2}{2}} dt,~ if~ n_b \neq n$$ @@ -1181,3 +1181,46 @@ $b$ & & & & & \\ \hline \label{chap2fig5} \end{figure} + +One of the difficulties related to the graphical representation is that the graph is not planar. +The algorithm that allows its construction must take it into account and, in particular, must "straighten" the paths of the graph in order to allow an acceptable readability for the expert who will analyze it. + +The number of arcs in the graph can be reduced (or increased) if we raise (or lower) the acceptance threshold of the rules, the level of confidence in the selected rules. +Correlatively, arcs can appear or disappear depending on the variations of the threshold. +Let us recall that this graph is necessarily without cycle, that it is not a lattice since, for example, the variable $a$ does not imply the variable ($a$ or $\neg a$) whose support is $E$. +A fortiori, it cannot be a Galois lattice. +Options of the CHIC software for automatic data processing with SIA, allow to delete variables at will, to move their image in the graph in order to decrease the arcs or to focus on certain variables called vertices of a kind of "cone" whose two "plots" are made up respectively of the variables "parents" and the variables "children" of this vertex variable. +We refer to the ends of the arcs as "nodes". A node in a given graph has a single variable or a conjunction of variables. +The transition from a node $S_1$ to a node $S_2$ is also called "transition" which is represented by an arc in the graph. +The upper slick of the vertex cone the variable $a$, called the nodal variable, is made up of the "fathers" of $a$, either in the "causal" sense the causes of $a$ ; the lower slick, on the other hand, is made up of the "children" of $a$ and therefore, always in the causal sense, the consequences or effects of $a$. +The expert in the field analysed here must be particularly interested in these configurations, which are rich in information. +See, for example~\cite{Lahanierc} and the two implicit cones below (i.e. Figures~\ref{chap2fig6} and \ref{chap2fig7}). + +\begin{figure}[htbp] + \centering +\includegraphics[scale=0.75]{chap2fig6.png} +\caption{Implicative cone.} + +\label{chap2fig6} +\end{figure} + +\begin{figure}[htbp] + \centering +\includegraphics[scale=0.75]{chap2fig7.png} +\caption{Implicative cone centered on a variable.} + +\label{chap2fig7} +\end{figure} + + +\section{Reduction in the number of variables} +\subsection{Motivation} + + +As soon as the number of variables becomes excessive, most of the available techniques become impractical. +In particular, when an implicitive analysis is carried out by calculating association rules~\cite{Agrawal}, the number of rules discovered undergoes a combinatorial explosion with the number of variables, and quickly becomes inextricable for a decision-maker, provided that variable conjunctions are requested. +In this context, it is necessary to make a preliminary reduction in the number of variables. + +Thus, ~\cite{Ritschard} proposed an efficient heuristic to reduce both the number of rows and columns in a table, using an association measure as a quasi-optimal criterion for controlling the heuristic. +However, to our knowledge, in the various other research studies, the type of situation at the origin of the need to group rows or columns is not taken into account in the reduction criteria, whether the analyst's problem and aim are the search for similarity, dissimilarity, implication, etc., between variables. + diff --git a/figures/chap2fig6.png b/figures/chap2fig6.png new file mode 100644 index 0000000000000000000000000000000000000000..2454899469d1fcc2ae09f0a9c191787152e2699a GIT binary patch literal 8887 zcmdUVWl)?!vo0Fk-Ce^1!ELdH#a#jfCxHzRJh%i|e31l#%i``Df@{#l0wK7&1VV7` zey7f#TeoiA^Y^}0Q&UqtGu8EU&-BwhZ;YWDlKucWz;IB|Qb0kePsDq$!94Jvg&@oGgiV7}m}GV{i{VXzzUC6VpqaeP^UCaSNgp7yu8e1Cp4B5aJJm;>5zRk5w#~N?CG&9-rX*_ z$G_JWs-&n6Ulua_$Td|HSQqfmMV46Y{`$n=`Nz)I_V!!Z^;a&<>ATcnMh0)29YHS3 zZSK_=qZ)2xfiWyU^L&ne0%F;1I}hXI@sWMkq30gA;HKZQl3o3LZ6`R?w7{(~GKtxR zlF>Xa3%d%kQpfV|EK}6!eC@S6IyEdyqRJ4)&aV3@+K18hv0RGbX}=Gzk7GVA+TS}) zZ*0iFOD6_WB&tMOP^qm`Dlbyy$YwGRj;^^owZK(k`*!&6QS>WX4{G)*HqF-my%=6FvOISojv2F3;$#0&rs4S(b)}@JR z-=~M$b}8E4m|_3KrRH!Sf?LE~b9l7ClN1(R z;VIznb$WMlqm>d1Hm`iwTOroxZqy2y4l8Jg7q{6*z^~Gozi{c4lwkz9>XW{sef<4Y zNuFwZEy(RHf_Jtum=HT{r7^3$S0MP3!q#Z8Tp@+p+ANiYh;F6ELi(8VKuuk}-8b1^ z3(RNnEv2Agx!bA)t10OI8i`e)hWO zWeO|}8aXlTNhCg7qKe~<4{Gs~u0pzl$)mUVTy`bURB+)*q^7F(UYyzySVY`n18Zw} ztmybrGBVVNiPcS+ENFvfFoe-LcjRT+^l;yEb53X)YCSe*atA1pWphPio3l% zr}7KK{t3dxIY=%p#rpi~jopc?>FMcY;+TMX{1IOq%YvwrPiQc)N_QnC3}tWmP%xWp zr`(hEz~|Z^pXTz%(0J5JLvo0hx%u*QYMsqSUvY47Am9BloH|7>v*+T=RsV&MHOwAH z`AIZW)C@(L&Z7J?8i;{}`&?S~cAG4APB9d`HR5+twkt>EcwzfjpnPPK8?k?Ud~8Ve z&F4&;=r^h;UztSJv|}%=1*O#A4=6xu;W>z!)%8S{_$*u>eZO8GoItOZ%)GI&K~8hN z;gryl6y=(T_Wdu9~u>EyT1tqFdukt5>YN{F5< zVU?R!!iv6upb}c$1To$V>PE{F~84^bkp^vFU-38=_ z$P0q7Z2DNOi{WZ=rsWiH*Oa9n6b*G?ZH5&mtBXETn(VO{{Z7Cf#pSxU1k85lZRe9n zbh`c`DLiYXu6Y`J?X;;$C&(&`!w%^cEwlPEBUW4q7R))ZcIS z1)Gl{qeZ;Ey*+O5dyMlwT+8sD;Ao}V7cO}CK7 zxV^niF)1|Qf{(ed=TMR4J~n#pO_Ikj3kaMY8f|r~58CmGJd5$W&>l+$l3KBTI{z&g zktgjqwaJ8*;6~ZuEwf%qz@^UkDzWGBHV|)t2;z6mXvG}ihIebcqOrK%c_gum|T z%h%j3(4HRo*tZt~%g*`qDbg>7x$C+9K*4oW;T~rz8s*M!tw#S~$mrnZ_8cFnP_2Z*_D;qPHC^(?I zICxvzU!|Dx&vSraRee7?=KvbZk^y&a0g#|3yO3OuNeXXlS$h2|Y9&p8Cj*O2tN#zw#r(Q^= z$xnWd_f{r=Cl|46yHujnYlv4~Xht3Mg~x#r5K8VqpE~_Ab`c$439eQYWo2c12TqWi z+Xdryl^C4h^;RsU6F+)rh2o{mvrOPM&0tBDWoKqVgUQnSKmsct%;D^?qzLqgT?MCF z6NP#f`?D!!QKnB959v0W}2;W?X%8jSs{~#gOV_+maF<@4H`%l|RqHFr%BD?mMDY&{IKR^HP(Slvi z6kv(g%3=SDb=&%@nOEt31Ft8%Y)P&KG?b948EG~3Q5%o9Bfy4BjOPSHi~0=eNa4dQ@dHtAHqKGF|@Ehyyz0xRD}GUPy%}>Rto9W zND0D?!f>idH6f|iij^2-W*q4V-rfjf9L^^7|3lQo>-Bh-ji~Ly-K7-!2yWuNn$_`C z+)Av>PxYCpd|kUnfNj=Eo9oB<;jiPU2F)v5jLx24hzP`2PDU|}v(-)>4_*-#k&rxR zXsJ3SMVnvQu6W$x{9}Q8XJkz2R5<^xrg28c-xI0F(R zRzJM*^83H27h!;#lboy&C-!FOaAlGgd0Qkz4#(3N2pJU;BSV;!{}p#9*dj16aA3UB z_i}eakF|ubw*t}t9`p6{d*|RVi??md*A#3aURhLBq|2TF2Sv^3uY@_Te$TM9P5?y_ zn&w~{=xA$CwtP^m95%Dqf1~5;+Xk~r7E;v75Q4J0M_Vyk_)=#tFppbj@}P z82WRv{Q|owN$#zQdAiS0o`|yziIpQw@RG`}bQ0Qfs|%}2?}3YY6jo?SVg9W+*PZ5u z+&3CoGK>;ha$k*Nzg zfR6giAmHOS>tlv!(qRpk$@ZX{kuk(i!MTR`n0saKa7!i2fpGR>Q*C!9? zr8vLL{pvq7rXp;WxWNj9@@?xigGAlC%U$W8yC(+v`^Xq!z@AXs-O|7(m$)j;O5&^0 z)zw8FQ~0{pk~|~dx^h4l49U@sdZbpbO3uv}PK z7|=yRW^nl*$hMK!>y0)kpwXG8sJOTaDLz?hzM^$n?hdh8F zQQ{-7VDI0D*Yh*AkSAMDZjY?)Y~xLzkqLq<)pFmOjJkJYU+KhMbUjXJhpr6W$rWt` z>e{F%LEI6Op^_k&m%J`w>qJkrpQ4o?Qstli)u>ZI7L#n> z)a_7*0q$Y9g59q~N(P=5o5CyKQ1KcSn22pYm(kXf8Z$L?s%*aI$@#tY@MS$HL z0QHw2;*Wm?9Lnc7CwX4|kuo2yRV3Wjt-)=oY`H`u9AyO%?J*R;1`ZGRS%kakuHw7N`5?IdOG`OgHF5iT2~J1^hlO9 zac3aS_&9kvT5M1ZDXB#DPW|htRI`)fmw(sOwa(q&j`91rh)(BqtoS zCGM6{wOAgQM)#NSKA`{|bBKhQ#YxW(Ca0z%W3tj|zFcG?*QZFAzPduhL;Mpf*ZTpR zxOBUsO6%10zx8j49FC(HpkVEs%_d4eZ_V*K<@lV7{xVci?rHpM3R=@nvtybJWFDgT zHk5wk0PB&vzQ;Lzg+9}ufa927M971E&k1iVSY{i+@-nB66H$bM%l%4)wkQZUPru;R z95Jomsig07P%I$%%NMrqj90>Krn|W2y$l-s+xj)H3`uFr_0U&+!)-ON@!ur$O}`S1 zBqh6yg&5)Wky^{}7w6?a&ilL;^$AC5a_AMptx)RmEFc&vxG=*q z6xf(0AR>f_APQib^p_(gLkx44MlhUoueVo`tqq+^8?+ql zR_k802P%bkT$Gvv>mPkrsu3UXB#vkUqB$c@S2}!bY$&Cqq@}rDzC2p(3|OX(G)1;w zlE0|8LBa4EM1Oy{<$8pK<$eN#v_5-SE-*lU+Zj1rU$>4`5_I|sUU=Oay9Grq6@SWN zY(1$q1_lJKvcFyUsXn#fa$(=uRu*LO;%`=a@i>E{zU%%Rp&7|H1&SxfrEIRuD@V)D zC5PwJl(gW#jXJW+UJc_~4w{hLbH!&*&U`(mTGuW}gE-$d)WK=>g(|S+{D>vo{)HPG z74W|%#YNx%^3bu`M1z$7%<9PL{g+}>ZV>KF*RI=0R)_uzMYhMgzxUk@*3*xFc6fM{ zx2q_Yl*kmbP=~j^PWDQ0(NZp52PilHKZ5@MCE)&#S3&gm$2GP0J$CYq0leTfC4zIm_)J-Z;y^*Y^-#rV~YPu*iiy8ajH&?M~Vn!KaOWxW_wn^@~4$W)7;V zO)8A&1)7SKO@ePWuwt_bhVcLgHGE1#1pu?23&o=a4+~&FGTi3AnQ|aH{Mqg>#TdZv zfbZ_(x>A!feYNu01!W!yzSL1I4KOWdFyBG6b!YX2^Oo>_YVJb@iUAituisBlIzngz z%0Jm{(P3K2ART6TUvyUW{Bt?A4?tJd(d_Cop7YrOh{T<&d`w;#{%)p3i!OGcSBH7m z3+WWy&n;cJ&|Kv>O3C-HmyqbsmT1LAN2@juA@duZjGUqc8YCA=MEf66t^W;m#VQ1s zb~be>Mri2dH(MA$#`hd$?Y>N}aOfp6zqYGynVU02=4ziPK*NKBFnUSSmGRmuJL#Kg zPA;y1fPk}=jiLCC} z^hF@+4+hB-)h57_gY_>C@FsyBTI@!x`u{L?ps4=$DS9GNcmQ6zPUvN zKClr(J;nat>B{INTV6(nq~D+I{Cwt73e3vE(Tmr*{Ino~*{$nGsrNJ6Ke|x$NcjyY z zPdisbdpT^S5Cg#%#TfZ5GSaz}Rk-zsr11-?y%!JHP8PPn8+ea_C3hHM#AnA>lh=_nEsyDEUjT9$|cug=rloV zso8p9#0p)9=?~Mx8sUkQe}bvMU}7#ifgjW7yu7?ek>y4Qojlnf?qo%p>f=vf0$|9~ z1C6l#_TJ06E#dsSI=8W}fc_|=QgfW9TNaB>e+r;O;?ZtnLqpfyVI>|Fzb-!%$(xO< z&Gc-s{@X4|@MH#Q?|3?K!sbGAmfgvm4&Mt~b#k<*`RX^VB?E-kI}IwQV`&1zaw;KD zw_H0dBqSuS{I4L(3yU69I;yJCNMGcL4V$;!NhwR909~4Q2LqXz^Go^6nls0BF!YK? zx1SyZ_)Y41g0WVovL$B=Rfq+Ja*Kpa9^hQ^jPvJ(JX;IJo0^9GuO6WMlE8jkL`u{y-4U6H>wMF}{^I_OLvkdLf%2x}3grLXolIf7<0}tM;1Cu4h^%&~=Pag;I;TJ4es7?o_g1;*Uo;{d?IdtDIDIH{M3P;F zGLz)XtAMlKVhzK66XcQonx3v26FVTU2`HOqx-+QZAG47>eN%^8x*Qz;Gx=ovge|L%N%h@w>Q&@! zyBlhz*pBn#q_p8CcU@tXN39)ZmHcaE1@fJWq!;h=`buvCrqIN#QZ+VJL2ObC_%w

V?dY#TdV7u@nL!<^(Hgn+J);m-OlwMtGP1<>^yBU>eg_(Kw=T$9~iXp%R%xD z5w$#rf#+ao0EDZ9Mp zk7!-{xE3cq`hv6tP6_~W{Eh>|t9|%;(B;+f55I5rTB@q~r1znngnkRPIN^j@SeJ+o zy~LWzu?9qqN5LZu7hgp*s4M1>inAeAm0c>iWHkqqggVw9^vX^kJ} zD`Nl3lS}^iOmypMt^J`4wk5{Qk~Gq|_)FHd0Ri}!{D!~+!g)q7D)BR^aI$@lg56WQery*LB~ zy-9E`Qap@0XX&DAdHpp)gNC+)KHyqDl{dR|%^xp-(2zgz!|#?KvOi{s?%-5ssI9h@ zhHeY1D75QiX?^;P z4Yf=QMT57mTbdW^sW;jz%* zNn!XHt=UxiE8QA;2Pc}=qV+c28TuC)Nw@4Wzv%p_6j>-t(eorRBJ)#!%V%}0r)N!B z;4FxH*|0eOLYo2(`+ZX*OA^VVI?Y|EwbF^fmg(90==+EpeYo>h9{hSg)|e3+{Vbfd zF<6KZ6?7C6olo{^b1!=Cz)K~8o8}@X@tzv)A^i1cB$M0 zaYSjNjMskBx!PCmXvI?g@OLR$Nkq4coxxPAo%ji+e%sR<)1o3%tDU-~gbqhv0qs}E zrh)vW@I9(XRzkw0%D+y!f}=^F*-*aiz-Alpl#`!i6fpAS>wFLnpq zZII;}B-0@yCFQsLPEAbQlg0!syfLT8wq0nKNpU5dc~{~c5iPq0 z1~L(DJb>^itRr_vCZO6m_{XLmM?EjXGa|L~WP$Hzir$SeUVpv~7Jib!)H&cX$B*b4 z-f#~RU0t`ph92uiW(tDjw*TyuC9{>zm2c@aI}*D7n3DT<&0UOi)BilV4fGene6pm> z|8;1KpSk2R=9=r3sjxu?C|qh9-A??~Z3QI!u*h+k~XU;jU|49X@FmAY(BeShP66Ad(ifUEhZ#BsJp-R zK>2l`bl0kH4{d0iYzEvYl4i*~Z7bN!aKPp?-e>zD-uBb?qtZg{!EEWEyYbYSfC^lf zp&Y5O#9<36%alYKvv=w62^urW^#3fSHLfyw<+}R)yUdP*fwq>`-|OqudONHg{QG|V z2@(bdp#Rl=bTsx+Tn7cE#}}~Ko1ojJW+w#&1-qem1swwt5JftCjF^!zA;3waib*O( zt}^KPppi_ZA3j6KZ3>#H#ylW16-`0l&cNJ2lV0tFzq1|{r{hLnVYr}9ufE! z^{mTns8S5#9sD2-K~UW8Btw~QD1P;`X+s3#I|#ZxWZIeuJ%BdSrA8kU4gEkbQp`G% zQY%=N&*U62u`}8mO>#vH5*7r}H6qIc?il4wMJDE6H|$df+|vUqEcw~kc5Ya z2V{xl=I(9?SsF}6S*YztzBRnzmquE0x+~}&`GbLa%23S_vrs(pmAC!&PdrS`^0D+36cZD(zf8=r^1BV^ zak>^b{$~tpjT~e@IlA+{9hRQNx4a5kL2|$DU-?6g0{<*&^&0X!{nFv{5y%sVK>Q-< zHVir(B=k)D!&8LeQ?~!pZ6s4v_GHa@(S0(K0F|ZmZ{>WRrP#aUig3v=hu8nTuxJb( zhifjF?JzTyeBgH9_MGy{ZWxwTcQy5;cr2)Y1rOdE0$tfKZlnsMG1E$iOPVk(y+i7L zetxcsWEe_%$mHwp-x(7rsiI{6q#($1dwV+`Nx6~F3Mnr!PXA&NF$SKmD~!@yN73A| zARpK+E-u(q60Qux5C}v{3VB5)oN^q2pB6@wxuGuz5;n)RheT@h;!n8oq{C_WF@;6? mi>)K=+sOYXlZa8CiFS3kzuWW%p(1}aK~YoIR;p374*Or{BjX_e literal 0 HcmV?d00001 diff --git a/figures/chap2fig7.png b/figures/chap2fig7.png new file mode 100644 index 0000000000000000000000000000000000000000..b674467326909d865bc066c2aa055cc8c8f71289 GIT binary patch literal 27038 zcmXt<18}6z)5l}uVmrCmwl219+qP}ny7(>|+qN#og%@n>fNf{+Gn@+shysl z>F&?BCq`LO3K;<(0SpWbSw{MYDi|2}9O(Tj90cf{((eXj&;_`gs+1U5!z|$$=mN@0 zR6!IBtT_qs-2@tR4euxpyHQI`JW&Hb*{p{*!^yF>;lwiv%24pqylR|YUXsw%z6gahX9mVt0G2RZ zvai1|eQ^F(cNeVAg0CFuVC!0Geeyb=7us3C8)08{l^L5tKK-nzF+k6O6PZ~y$eqmO zTIh^=p=|i#HwL=G3*N4g@qhpHT%{yNpl++@0n!<|Z0pmQ6$u59Us_O~%od2NQp?NB z?^#Jo!suMaXJ%rj(hOu@^6~JHo=NHJ>n9Jx>FDT4zox|Dq|D07U17BYC@3kRWVYdkI{d&K)uj~`CDEy>{|Jh+*dT>En;{q&P_n?v zwGtq3qx16en(y;JK0cb4G&Ef0iF_7Otv{;8C5;*Q`uOm^$H&BwRqQXXQG_ryU3#X8 zx|*7jciTwY*wDV`3mHIMnvvLd8H^XQYOA=|NO+iuD@b_AiOcvPZwv^n`*dxC@jE?r zwe=x$&-S-&aLr*V`9_H@S)hx_rkNX+(2-y60bR>a2pQva=8TOd+*z5O{nEy=FlJvdB5hqi9 zaw_)j?siW&9V(7NgGxFyM_mm$S4Fh;*J~8ImWz&rjf)Eb7;x81cj2qJysotTx$iDL zeIJ^__w>LsDl6pbm?#^mR`yaSOeTJGOBqYS-%C8(LOlQH|s&5 zQoU7)bC-iddyj>sWvWJOd1WPe4UvL^g0v}~wyESIx97z=xbV%UL(RLYb)fs+^?K9x zc_GZLT9sl%%u=Poo5kMpWO)|JVsQ6lVoF(360V!?X7Lv>GaB~960m4$_-u3VeTD0@ zi-m_RtGkwKz>}EkC!ph|rl9ZZu;4CnV^>{>{j2?wKI+T%G$kdH5sZ*9>c)Xr814;# z$q|3beL1=5WzAj3uusweSa06o12>wFtoOYBXcj>EFmV31kX|I(PeJF|40D<0HjSZ?r{#fdJXtW zsuHGGSFvTL2U|BSq8oDOYX;9R@$vA;V)zCI20(_$bmYc$G+0=K*rs=Or?jgZgfUx( zZFB1Oxq}I8Z9TAPWH##UpQ9IU`SlB7(;jDP@Zj*!&CN|_M)8JDlvkRPSx1pkfN(XpwSALe?O=GxxEzFR@hkwGus z4*AH&A?ykN($`E@!tM+=G+Tc(`;FdhK$&7K`K2~0P^gKKt%l!&Y@W>Ihy#EHKwcWx z>%gB0hdwTZ3kq{W#O^^BBuitsieu*3ELD=lR4J>eiK}{vnltftJe>6@!oXc&|NQxr zYo4--b_`!Ttxp7|7k^%e&VI8sfuWeWB`kl3>h#pJm?%ED_YX>o*$|91lXNNkD}Ibz z7Eq}rjIZ3xCHtl$Z(ouG32V|Oo~=BR;!uI{Z>AkzOq@7`Thpu9VHg3?{EIJD+xtAc zxI#|B8*jA>Dv9D0@w$%gGeU1=FlM=ONoOa%jC%3!L+PyE6t|g~8P2AAISe78e)|)5 z9OovQ?+Dy<;gO{-0hl({#mX4gN?Co78&>lR;Gdt;$25e~TaVo^jd`>yoV}HPgD{|DMF!ekSJg5=Kkn3 z*5zaX9UUEcOc&@v&<7p<+bvD&tiRLKv1R+liICqT637yn5Bd;V<_*zs=o{kA_>#?b zD7QUkMYX3B(-o|(jETN}=}cSI^IKb6aCT<;kXl{Pw*C8yk6-L zvd(2;!NFjZ4^RR&9r3FA`tjvg5n(xc>QIS9;%o)OX~$=a6F$y?oZ1PPuT20zLUgnU z!pRxRl!Y()`cot{am2(lRT4ZtPYOw3gAN-+V8d}(5mp;k>$O^Y;pIFAJ<0- z4RE@v3Q0@DNR?J5*q2S=v|A-T+f>KoBbzHSr)Z%DTMA1>H{i^=cHVN`RD#aub|Owa z4JN#Ziw_9_PwgyVx0)q|4@SgcB8~ap=D1Cc=zXj!jq+Fz-uJ~R#KamD{g--PeLBg+ zu+^$o4sxUtwYyl{WIXvA)?;3qU1P#-tMCa02PZ6-V*+}ei?c74WoZ8^PXqI(aKQNn z_kzdIMn{C$kpbu8l{RrUlG|t*1 zl0Jj|2CZ8V2^(H;Bp(=)-+s@1S#!~EwV}^#Cw85`lQRS-0mP0*tiU-RYI_C_MJm1V z&#;g4O4?S>4$3pA==bwXi_= zo!do8OA9Xpme1#bAj2V}B*lrl<+?B~b$$Uxw99A>ibmPfzh#FC(*N@Ru-Py_@7l9#dKC1(QOS`V|?H~cMz->Wu}rI;)(f5;vn%g{{tzv4J8vV@V@UEt;D(p^=}j2mQx8DEZf{ z2;+v{O|^TGRS-6k-@4hZ&OFdeu0 zg~=|fDkLN&QzLMg4b#)piFv>_JkXqJ_0v0&x#lflFA}c=a|;R-5@FXvT3R^V-0l|2 z2HHjg8zQ^daM*%A{V7#Wy0F}M^|LzO-`^EDCBCEWGb(r>J2)UKJhS*~>o{6FCITO- z8*IQB1u-KMT-sUP{vntdW=rMDC_eivHU~mx!3qlVJ9SMW(Wbq8u$;{tLRTfo8Gq@z z6Nda_%SvkeH&4-MsA9+(vbone9Wn2iOV)@wg5hj-EJiaTEyaQfUTwACIqhIH;;;+5 z)4KqhIgvcP?W}d|nJqh^JSTuND3L?Yln7Fr+b}r}~+t?D2^_M!o*LsbI<~Dx&BC(ajTC ztT`RX$jBO0&^|ssBNj&^M=O7oTCSz&YVnV!bHXsuGe(|qJ5830nM4}+}5=8w3AcJbu^>GGW`6is+upS3l!za-_2S%)c2Q!Hgl(BWA6}R zCu47vZVl0AfYZD5#2}aZfo{iA)WKL0Q^lOEuk+s3ZdkEc3jT&%8}&rMH#eJxIkStPsk*;eimzu`31(5zb$T?McBIw! zuXU|gr{$mj{os?+I5F{c0yB?(-Fn}gp2~i!@FdDA{>yAWwPXmVz$*z-SbDDF{ymh03G{`=dE4*Sd~&=N%hBjpQw*HpA{3EDXL}qOHE5zA5Yb(9qCRYek60&<3dp$MyuK>;1#Aq}$uuQ)|l- zZ!G)qWHM=U*vmCldsL}4jq+9c3FQ{@$l}$Bg%6X&2E$8j&S3XD-MmW*20+v-kBR%O zAPojyOQ)5cTFJBgMeqg%psPy1uwYEmaoOM9Z}eEJsj|~!HrNjzf70}~VzpmdAEcd? zo`xWTfYV3!c^}<3yp70B{WO4?!1tr@HeM{AaTEI4Ji(2`8J=ZLBNy+ReuFiRM5dR+ zgWBXDYp7rK@2mP|#*d7lHf}3HuKd;nj^a9txn$WbmB%A?R{B?$FAk632?VKj=7b4M zm*?D1^WwZz8?2=E!m3U2Ovr1R67Ov)gSolfsPsZ_L_-2>c|R9>suD>`N=g8F&ZtZO zHUJux+P?0BSbw|r@eMZOXQ-f^f65U>BXhEF_cs}l%ZA(y1qdhYmY1}9-6QxchI}ok z5<1|FYd`Ti3^B&K5Jj5&%+2MebQ0L&@QvwK37bnp#P?#o2*RHv&vb8$llkMkscYNd z^r|5Yc6~nu=lw7xki(!?5jg1OHWhcQNW8y)?d0dS^pijFUy~8L?Z&xl!YjNWL(*=G&@?Z&fv#s+7L%@7!f9$Eun?c3c`2$OHvX0dg?tr+XsljBN0Io z#JDiemI~QS_oAZnq&=6z(;<;Cu@qY4OkLrzI1R2wo=in2|G0Y_1CzW(|(CJe_|}&^*s)K|1s*17mPex4=KYn8HO$Q+SQFKBs%^0nJA80 z*W=Iv8^3#ceo5lwZoea1@wwhTzjiQ~`>4iR*F^rD#hZ6*+E>0B5-}uswzGM2?TB0j zOa01-J;yNiCSe0wnxePq3t#5gYvL~*5g8HHuPi`VEP)b?j@fqMozi^LzJkL&j~FjDY2Zl57FJr z?{GUIkJ(lx0Bn3nKx+d;RQc6G3E(oLw2TUhbEq@!Nqm80f_6lfi(8)3HmA=eI0mx zeMO33GQ;=Al9?bWt!m z!IQcmzVEI4i4F@JI+-g<8N|ykC`cLh>AcfT4h@BfTz#^HAR%%76aWrSspUufzHFcE z_hDa`cZnB_8y+5BZe}IjOLCuEWGfIac8&%SGZ0-mK8RTy%HwVVL#Xb4L;=reV7WlLQLr{2&ob`hqghNWdNwuCV^2TS^)y(cu} zpu}!%2)U{aag0+O8MF|O)X8sE-9JC5!(n_KZmy)Hgl)AqIugQZC&J#_f_6Qy61fSk zP~3rW@dJTE1a{igBKm=b3aS2cl-KhL%3W&y$kuzpc@qOcEF#32rx^bwha5x=<&_{3 zEu7(t9)Czm{=zjK8X5|Vk$9P!8u)kqr`duMc86b#?2zV> zm)bGwOoa`yse3o}W$hVo<~N4DD5Y&AQUsUu13%S~i}1+J&8@4iPg%rTSO`u+ZPHIY zVf8K9Z#_Zcp@1|`79#@92;ZhAA|fK*xz@iX5!bAFwG1Sb(JqY+em!Y5MeMrT|#o3HyRaKe96?!5`NlDq(Bh%3te+5!vxK}3OJNoI0Oz{J+FnOTqeQ3@I zz`?<1)Hir19vE#y_K;{5)IJj{E58HQnRVPpuE|M}+AwZNKfm$(1tToBN90Ct`l+s} znwps@sY%wP44$AQB?Wu78yy!HRz#!;0HGOIFE1qp1qr^GQgY`HK5rmc4HS|nE|Z3- zNIYe7H{_M^t}A@+hf!Z3a$LE&t(~2Pg$2m>ZEVgiF6_&by@7ing@uOt`gJ8Hvn#cG zj}9!(q}Di1;lX%tLznncuw!539L@bdHQuGkjqwJZyCREOAyCxNSS!e1_?lpsSs*wE z`#Xo*rTz9U`vAvepdErkhSX*UmoydeEpn5SL^u$XY|SI_%Jk!g?=Q*)2KKhJ+_yRa z4~0SNE%`nn#Mv$?IvS4G8=DUiJdYG9i)mvcxSHmauw?(?U*bP)jj;1=V{X;ng{>`n z2L}VA-R7{cU>neILc0b01?VNVwzpI6DUAAY5Jh~BEgc;lqk7>XjzRaK_Y%QxgN%>7AB-2u zqHk=EWG%`01#WGElz_a8$Sujj%{>=3VjJ3Ux)j-!c0)TPU+2k<=!m4MqOyN<6oCmL zdoMAxvIsHFDc|G&f-Vz3kD$92%qeY>JU%{NO8yvybOHTM0@~Na(Uc{}`&%P8NAe)1 zrlzJeIqAY1avK1v2x@ail!X_{y&nbT8O|$o$G-jLW$(s}@;5}67>i&OLEfISvj%ag z7e3QvFJz>&j7&{KWw$CThV?)~0B8qwF+r79qBL=A8 z%v30x#&7eQ2UiETyrk`T%f8ums5yQ@%(HKD=91bX+CDBYU^Bo@cnNQ4>zCW3ziD2< z0&R8m6*7q={8mULaJVwFpo)TT=xB9u%5cW$L9#I@??Wc%D^|%Ze^wj3`}1V~B7Fy` z_tnSu1$wj`3+hcOJ!>#jwmvUSO&4oC?#A_v5Y|cAep$%|tREjYFh?;uI=X+ZHFNav z%d{<@uB5KV>H;k+T^n-3A!*PS@@ksbI-{Jr`NPFKVYi+)%0#pRx=8n3{ zurnO2%|T5vN(-y20~Y&uY>c`*3o@Db>g*NIX`18C4f*N&E19XO>0#hdxgm6s0sm?Hw3pO2>`~46#3R0dg%ioUi;S9Ze(<$f^C8LQpn)<)=-Fg;z z;bR=gZ7kFNBR|aoub*NCZg@EVU8fLK9JM78wCw3;{>vD+YjZdzcv>sH!&8hE$G*J% z)!yYk_ebjK2nU`pd<}UfhUo5T3oq}m}oUuC?Vwr1Cj~_1t;yS{G%S;g+WZ`1TAm9R3a{UoDEdG9M2Uc zQF@9~9AYyY##6T5X1_+e!@|P)4l*=FoS&bA>PCtqDG+Ag5nKwBla*~S=!#5N>^EXg z)us>@?h}V4(=;?p{E;amD_hDl&d0@-S?2P~a;`9;+*27bdKkO{)7id#cpTkj|q zbdl5i!Gp9E(-;Tnj5JB(xH1^~?$`(ofU*2~sG#cXWfmci_IgorM0Ke32w;f$pe?Sc z`R@PuF}=&esh|)N1BresX89hwy%b2-al-b(GPzt%#u|e-LqeV~ctor?~*}pQCLQ`}+9RuSf@yw=o){gn!74$mn-0mnX0z>Q`CZ9QoN{ zf;v5QO zbZo#)G|@e0W0#m?9DU8;&_Wtwxr9BjjFA!N#NqJi4A2!SH!@Ls$qni2^=9M}18Qsg z-=F(HoL6b;4A{9JbTxjIx}CMz95_(ja5G=Q>qhIXneyIU>$-_J7n8Qami0>?${ z_b77e?U;A)A{49{pPn5CnL3Wl!o&!v@0{F_7_qCY0lZ|7eKTowBe35zND5xle11$W zvxaR!nh`NEYtxkdyT1N>YmcBUx_;b!fFbrb-eV4=m4K!GGRHAy*=tK+|IYk-Rmgws zccomd0?^g@GneCUR#EqFR~)lGD2XxVL6)S_%1~*<3$MT+;i_FJrr6k~Q|^oMp_LA5 zhFcN2u)q2je@=?q5C~@fU=VO0NNA#Zi-j~WMQq^_=)H~qa8X}LA{Tdt{$(ds4vLBB! znXqtK4%7#GJ?&K zy>V*)XF~ehzNVC_dIAG~_Zram?Bn(Ex7F&GPb_gkTx4Q35e&v_Y;hnFSet z#i_k^wkAj^dm9U%fy~2v)nuDtiJhP!2sh4z>GR5s^`e=;(bGV;{$$%BR0}8>oEu7t zM4%VX4BV)0Hhbm5@~@2T9X_~IvJZf;Zw|EUUWQUS?Mxhg%~}f}Vm&E7m~1XutnJPx zN&4e#a1hNC*x>Z-NY|2d60p1fqobASh=R+T)171Y&*s3|uV!R2Uf!JCmBkJkcDLzV z39?6Qsd~>pY?EntS`GR!<&L5f63{ZjgUFhG=gYK|&0&d08wK(|Jjw+IR1EdzUd#)|UeFRu^(K+z|85uTcw`WAoQ z9;z@ow_e0pR9auZn?Uz@KVpwLe8UgD6aG1rY2R6(W^z&%M7y73?iJw>>6;6`Dk>^c zQ&Wj{_N@s+o0@MA}lEXQwY*f9J{dbU>ll*FgMbBz&gRo=c0gZ@ z^>9qj!^;Gzu|2|1kOY6gG9Q_|%$S{%Ll(ns{|ADHB`S=Kkgx_9LF@(02-`R)K0ZI6 zaF%gzVSODWpvPh+f(H;Mpp*H9JYXj#p6UF83f~LB*@lI!&y+{5)NN`CmqHd{=Gz+ZxRUn!OZUB+7=ev zga%(_1av0(G=KYZfiHK#kit-rXO6X0hY^=s$+ov5CM|%$E2%b+ z4s8Ptc%)(OlEEYT*of(MS&khg3E0QrU1rUXNCIYn-391Qs^EPHdIrWO^qmZe-OS|V z{sVbxO>B#hk+%xDfeN``_A)MCu$|w!(s(q7uS<<-Rl zZ}0ETO~)G}VTy$~V@~!RYN_0i_06hdK=3FtrsPPT`w#~Ui!8>a)1;i4d6A$lGoG=@ z09un1qOgRxKxyuPh#gCSd8+6y+;46$293Mvpu4B0 zhGOy=y9eYwUGGxF2o*Ok{*kV#MNH4QxwRuH_tIs|aa9h4$zOm;*SddKw6Lf^-WI>Z z)19a*E)HIpjc96Op;VEQgmL~O+qSLX)cT)yoe8z?T0B7&pk;!1)7Gh>Xb(NaaRENPzIC>INDF>sHgSNC3sDI}|+_J!X8`Mlp zN(u`L`}%_3n1VqS4Tx5IozhW|%#%qzJ~`>=<_-^woFG$D26qeaCV==|Z3RMIbq=H( zlCi7^{Lh=4o5jV&CWbd6CnqQC8EGUtVlMp_0tFd}vaJ~9%>U^5v2 zWaJF0462%t{Xd);oQyNirI{5Y5`_Ajzph2K9dP{HHeNB;geB#LY0Thr^Ux38J>$Qq zdOF+}X?nHo!di3JO%ThsuN?ylG`Vr!Mkrf4WipKhT z_w9fG5V&o7seyu&9rP1Z*5hWqvCQi|46hu3D+g7{@X-eIO9qGA$sku|Le zJo=b0l63T|tA9M%d&u$B(v-G6)kZf%T!;B@xaoEs-#~Wh9~^{`Vfbx406~e?^xqfr z>+9`~+kE9s!8tiPZHz3d|H$fE?LfiYx(-hc75FbUHddMpgkWvYBy@Fk6&3M^_P)NF zU5{ibQ?w!5NOW55@!o$_ks4!!udoF-v7nEeTUuILd^GLYqKvD6AxM*fDA`a$@eI^1 zSzRVme7wksM?TH$Pzi3}{@ux(MGx~YlR1#})~ajvm%8}xuD1Cp0cFT7_272Ni;2g_ zmb3NR+iRqCt%%hT{`8ED68C>w2rW~G>)Hl4Czq26xw%~}Uhs1r(!NDOA_@3Q^`1ME&@>DSQh!%b*&}Ixo zb2LChLj#Y)1C17R)0~h(Fps}EsVy>ca%MCrwBR5M_+=j)n2Hiws=`?>uGP2Jz*qky&mr!NPhThY z+9QU*)iz`n5-Kdz-iHd5X(TNpO$HM+2Kgbim`pLwC${ux3el*T2>O3_5BnQFZ#WaitY^R`^F;& z<)I52598gz1i!!8@vD|Mu8p3atkh~rn-YGPZQJ$v`VL&&>l+#r z=?8G89Vj>hD?OsB{EaNrFmj^IpL0u4v>kZ&(iJ{YZYW6 z$jPNGQ}XlkQ7~L`j=yiM{{UsiWj*daF^1LvF0SCkR9X4bs;Vf;%o>=LH!%LV_1@lI z22Bi~bWrd~A`Z#Kru>ak*YUf}Eu%*hF(y8K`r40P@Sd*L;_X5U6%`fKYCX62o9fwV zo2?Zru7hK>_#)%}cmwyJGr9dVUAs%LkVSjXfGzKGC>{|}0%fZy7!tlHh3Yy2!!f7< zoUB4?Xj5}@73TTHBm%$YBEkUKus{b6I};*tdKM(iIP|&NIz>>|w?;1uBiPO1FeSTt ziW9qnS|2aY&t(-&C?=dC_pr8jU^uoeE-u#B*LOBZ2GTVB-g#&kpz`zn$QEAK*VM>p z{*gn9UVzY50aUCE8MpJ{cz^;jCWH_A~Y0^wg+>D1O4N}mgs4L+4a)rvv z%h53~QWoK#ZzcZs34(01Y^|LpMTFygjZG*@LV|*RO`*`)BbU}LTrPL|W ztIxa$-_Rw9lbu2YHD@5k*2*G)+GvW`kwpA*3^#ORW$AUniZxF_jXuQh_6`lq-;J89 z)7>+~ye~Du=;Bi3E&htx$;jXZnvM7<&>RU@Lw|k>ZB%wwH+5n^eCN>2#L7s|%*;4B zI?B-C4z9$fT;oVaEsn~KJ;>#Imkj5xLlr%^Y8ywfkdXL0MEZbLF#_y7vHHo=Li8yl({?CkC8m}-ih&Ct=&rO$1A`)x~V1UK&EaKQeYT~*v1m;KlY%N_ot zII2x$l)V0gqdR>4pg>K!b@hm)aRTkaE>9?Mi8F~P2sJdrh`7W|iVM*788t#oh6D3W zj`hRu;J^|afJ6O^)^n3H*ukNG+>oIXzXh^u56n!b7U8>pXE@{d4XyxA(4}uDPe47i z%;yeqFL()U#UB&HUj&uw*vsvmFW6aCQ4&^It)ZzoaK!~&fV4z)8+K@lGm>o6h)HD8T=%r&)*M!+YY?A{}ayL1b@{RYvPV!o-B5k^u{LOzV7q^zpzfI`f3;=EjfQxY}ROjKQ2gM$2D zwLtbKhg#^pnGkUPN1|9eNDp47uuo{n%f^HWA*ZQV)7yJfKsmG+EDAsr8&AB+SJ4oTIDvDlIF(A4oWYl)ogd=l20u z_f6UhlIAm7)6C0Dw!Bk(@4qW|c1nZ(uo}c{z6oN=x#^Pq)~n^dRU}u5s*DI;OlxzR z{73ffI4KX*NsM&{Z%P8Wt8eI~i}yEAX)Ceut+>_0m(IF?%@H!%ugAFvO&$bpY)V-9 zp12KI=1`E?ia3%a~cX6tC4G1`_KJ2a+ z!{nqKb$FTi`pl1u)T+HDDv$U7{u$};4P&>*KHbuN2f`Z^ z4EB6FTQ;KnxOaXd7A-a!$#<{Jtt!$%#^^BeX?n^C!`!HlB3Q7TpDiB!K zS$23Orbh<}z*rKo&UVu*%_$nxv{_wr_487Tf?@`v9djIg#m5XVD1_>XOfWu>jR)y=5QL^LEN9SNifUYKl$-L#? z@f7J-G_OPn)j}=@{8YYy_Asm9u_O|T8jL(H2QhTmy`LT$T`RU^uCA_HjfNmX0cyGv z@V%!|r2&s~L?spwLEs;sofY!Dz*VII1@-9?E+21Q{C!}b|I1*g5Hh}5b8kz;hcFNo6tl{`qO0&(WqZo?zRmjR&|-d!B}v$RC|J;7gAEvQxrHS zIglzlPvm~z3K}5BB`-+i47&=m_*q*!GCVx*(}6A_A>rOwmy(qgH9H=_vc0yI)85YG zu4;HZlgEAPqdl~_Nl=i&U9#FU4FxLTPRj+MK2&}>JLMG>^|_rWf)3y~MjIV~(oJLI zCch`g?_y?c007nZ?^o;1Ljwb3q@-XKuB<>4P*-S2(AVd&B@E24_+DDz=ev%!Hf~|a zhCPa7adR`;4(Pzh>qHtgUVtQsN!0fA2y$3^qci3EPCy+U9RYP3414IPsmH7%L1k*U z-_zB23I!0!#vX}y1EZfD!aw%6)!a^(7pf4BYz4tH7AGeFlp+tM-FwH6-ru`>6G$Zy z2YkG8URn)+(x%l$qdA9vs6&MMz5YJ#?i?R-0h}Bh{Z=JBZLw3J%1F1vmFh!H%+A*K z{^0@C-xTR?*uTAPpsdV7K>>N@4rbH_%I6Ob4y3OQ{NJC^KB3Qy@@mV=|K1)=&G(V^ zv^l>$UV=_;vHoS<9{_oRl^Gz$K)>A?#ukoFTrlO+g{(+B-YVN&-#)+q$gE~x~MyJSzo2;1FW3J&3!HpY=nc`PF z_wUx#vTnXKj6s*jQF9U;^xtG;WI#i#*xek=J#MjCI{&w@LO_4uaGftiUF&_=AVX=> zNt=`TYQJlRaErq{u@&_3ns^UNQ(tPicVM*utJp7n83Gg(Riw;*R~-JCOICj!g&(PU zDs9~a3-dF&9G849Pgla@+G?*w#ESqg$*2NkR16h$WAC++)sejx~CTkkbF%n)bk{G#rLpHB`h>Z4YbCb=|IQ3Z$E_eKZ~9`)Y{=-rT=9T{td?%p%KO`iT^9LigLCeGNbsiD6&C8VU9g) zn?64}CT6=cVve<99Cau2M_Sl&6B@-Ff0^(PGe=1*>-d!|9@D?AIDea*6Vbz9QF!ci zG>p>9`}}w!XHtK?eEQ9_@v}h>!N_lUy@v-kJsTp!@&mTtJa>KWUYAp8gN)0vE;`S$ zRfun`m$HLacjw!iO{N+Ix%1=n>JdS{-!z0zXC#V0R+ZHc_4|H+A>lK%k47sW_ z%!v@arVRHa5ek~2E#Z4h%k77Gw$^)+%c%+*9W2fogKCY9o%~r%xJ%k}SX|E9+Y(+> zM6$GlT}7vB7SIPT2f#=+%*#^S&95wEJ16y+T|xX%xIp2aW6 zjtIDIte#M097_VLr!rD#-1F)bmA}=oCZLJq?h@;C+s8migf13Zx=hIq-cylKurqR# z2uXNTloRlM(e_>x4tnR3IK8NK_TT8eIZ6P)PTTUG8y8MAs5L{?XNZxLsP=;2RYE@j!%21N+UM0P%E+Q8uWy3XUU zZHTU;q7B$^e;#^L8uGXPMs)R&Y})H!KjxoyJ2+_TWzT~H!p}YF!FyM6Pl6@<4zivB zo{9ckH*)9TE5&S!&yPC=en;v~f(xD0huA8NCK|AZ$?!Ch2L7^<}L(#kTiZs3^NIL zHu_wzDh?cKWn9;8uQNICB}PPLr5&?^i{9j2i|;YFa18>l;GdrfxE%#N<)}OHFkghy zwrScm&dO>kLa?{oBqd)%WOs z`ip1gD5M`AI``h*A%i|0GIUS9vb1krHcT(Ff<_D0f`aUU!e)x6$ziA~mj4Lx@8@_V zg7j-%N?UEmvoArBH{7NUkJt7&g&@}dL-LZF5xSlgbq)F5?T)?sM|SSu&o+lT2e{VO zaXQybBVeD&*JMuRD3AXwz5HAI$()K>GLjcsI*=%5{AQ%hTXB54uTzh+=rX# z(h50j1J8!wHs!om&!>4Aj3k4O7U0vwiGZ#sAnUz!SBkim(TT}fO`pYlR3>fM6t&_k zC|>UwEHe)B{o}alzyYyO;2WO6QUAZ_>HGV5Rafj~%DjR?LI0~1snzQwh3A(>-V>tn z8(w@hc}h#vB8mpfLkr+&8H|!Gbb=1?q+AnO9C0xxWgNv$j1n=+8-hRWQ4Uc7uk+7% zF9Y$=*%F(fEW@YCskU@NA?L)VNQ3@*tUiU^Vpyg8>&kBQq0jtg+keLZ|EX4o6y?la z;9EHsDr9ezscEx4qKyn7ZS(mllwA@Y?<|M+s2r%CP=kVi*tB5h__}AH7y&xTgz{Ch zd+)$}u!q_xG@|10w)KBaopm5xf857)$3hHax?^g(8DnBh{p4o4YnZF9+H{+lu4$&Z zxY%sE^J<1G@3>;}`Ffszp8x!D&bjA&&-s4x_5R>0P`whi&)P5}CZBO64$5jo8jJU_ zB50Eqa(G-eEre_*tCiBC9(8s4eaYC{v$&-c)vk<&ba)Pa)Gwob<>5Ak zUQD6wwWMRU%74zyr>A2qGfUpuAAR|c9B;$l_DbXy@prwr9Dg3zVayVAt~m+MTt~Gv9R1 z9vx=#1YJ5-##CvVzVsbTM>TQuUe_x2*FG@kLL7`h;hSl(noUsonesBHLB0ww5i$=Ow3-6EO(Rh(w}H+U0KcH zE_bV+@eD+0E?qLA%ePKMXDzVOP5b5byqm}PN=dJdImmzZ?(2Aj8l>iN2p;CNl~{MXRC?lt`n&nrDX~z6p{?kv>)W|&&Tqx+BPYY9MagLz-=wxg>Y)Lb z+oz3u-Y<&N!=5?cyEn_&>|D|qMCy`O+3<;-x+&>F(;nK7`hfw)*tJP&%Xzln`l@?A;V*_urhtj8~fne&tb7FCulUZ~WHKu0a2s77 zwgS;)ZZHNfmW61nTL5Q0ZlIZ4$@y*#RZ^sFtrJ3r_U5mMbV0&7{mkGv%4bW3Y^hdb z(7mJW6^3jSJS|JA$hG_{dtdkElytvI`O(+cVsIZSh}L*dg-Mf==~UeVkyKTfTsx-r za==x#=Ia&JpGsxJ8~r8$Z%~pdo(-Ae-E5;AMGa1_Y z+CO10B0P|}=B?;pTi)thZE&1f^-+|i!Z$a!tPV?)vq!6HvR@HF_DB)&(lx_Qm__dF z=`VcvA*RD$Cb7*^H>KE3d(uEPNfi5K4b=7~*d&u<+r^2=hRO-G6n}O0(GzRbLjM^L2S( zV)q$Aj%;P2mwOYOOJDCyo=)`Dm5sY2^wu>^=UE(Ei=WOT8;FJ%3s(Udx9lmBIhZ6r zv}uU=%Gdky;sncr6F**Lx;z@8i+cve}YK$CFQyhZRmkE(hj7l-(HGR3WF@x@$i7DH}_!Zu`X1XY$}T zd_v8vGtfelbaQ4?W8|ub#fjmuxj@ZjH!d3u7n4FCzSdj~=l+RlAU^W#t=TE8J_hj7 zH|vsK$4Ue(T0hI0G_MPp+GF2Q)5Vq2JWp_H;rsdb{>!kLMW);ChoWAofq~v9j1ocb zIbrCV=|^AQ-s*giLL$ZJ<=%VU1`3{k_BoVo_RxR8;J12U*1%)#RXxYstf1H>N|MCBS&;x; zn?|QOXi8PH-*GWu@O3{>k0P?g-Lbg5+(7Aq;cp|Fk(*ncWsM5YY(I?fp*Xd6oWvcF zawfan_xpG7NK(4$f$}PiC1&KqcP36{nW6iJ)U;d9#!3|U!OGg$)CC72)fp^mzGSykM> z+GoSV!zflz4N&2*ehBL7cdQGNe{yPSwGQZA#YCR2a{)~gDGA96jpZs?RxQtm4Z*ez z@T@2e#^gW#s7{)`!YUh%`2J0eD5zsR8_g8>(w@kaBI?kdx)F= zRvwTq?KlFjxDPQb=E1-ob**C0X1=qe?Cd4d^70b`R3%9elNz!J{-r!Rn%J;%t`FzU zo0TqXMiy*K>)`$e!7xnM9~f=8E@pV?XCVPwm;ytlVTY1n-inck=a$i<8yAcYVLP0~ ztyhYQisl^~?M>oYaJdXH9jBs1NJRfjxtkjXJ{g9+z1uPSl~tayd88Q3*?%vjU3Sz0 z(_jxr%28gEMZO&BaVM8qU0tm5U2gyZM+a{-&slrCn^^~iPwDym(sBOq}!4NdKNy1OBtU(v$A=|b-;^${Q7m= z+QT;UG@*MPPTiQ5l~r9WFy6vohkPOjP38bCFLk6Nn%fnTO*P6)S~vo&vxR452Cwss z32B;{WdRPLQ_fyXcm{i!l$MrOZB-O(fz~&C@3fLrQ>_8D?gRNu?+;}`x{Dg5D_ zUnZ6^GOym|6wQ1%nJHkaSD7<5pJ(!xJEX5gA@HHv>hV4z6 z%Z#Pm{6-zOg19X~UeX7M#8=nX*Y}51ys;SABqV4gjg3D4$)1l%et7SGmsIoQ6lS_a zka;+&(QB1ZS~Iv$sK!Zb)(n%oOkqS>)6vn9n2@lxre-Dk&kQgSOPxU@KfafK#oMGj zBUc2X7h+P<@SxFb`k=-6sCeIN6ee#ddk4wyf%SEKUzk!N9TSYNhax0j=UyuXFC~^@ z2;)e;kaZn{s?30rdU@-3VJX`FRqHKJ8Ljwc5 z6D8VHQ&TT_uZF2|{Ygo1d=8;S8h^FzRHdcFptg)KzH$m^_rB$&Y|SB;FVR3JXG0q& zKYxU5(=TkB&CN~4ndi66`;Ut%Dh87&+DVY6*t~G?#a#UR$JD+xI)ne^iyHg(GXmEE zEn0;FW*ry-e>M(Bo2R;pvojwrXGTWG$%;TrVd0OVAwKbQM3l3PGT2821y(O#l8m>6 z!eG*LbeRkp@hfXs9|ra$vLjKAkAFP=+=(MF18q=+CmM{>vm{tHP)M4d_Z%b=2-SRC zTxTNa?&*;Wy!x2Zp{hZAGcx|5!Yo>QSx5|@Q2L%!VYR$3!lfJA7lql8Woaw@aRle_ zp-)_FEL+o#fk9H*&s~09J-y}5pk)?4VIcIA4Z2yV(|fdn7+zjp?&~8&el4jY%c(v= zbIEqD?C2+ajk#SfX7_^LGQymFCh+E01m4OR31BJ5gw*n^>@oH(ESR#e6x551=eI0k zd7(#gJ$^pJPg%n zs!VL>N0z;e>k}TFK$4(Px>t~w*EKX$Nw?E7+H!e*jzULKnqe(-va_>)Ef+B|#uOE0 zeTW7H_knhtP)lOVS{z=0F%|`96)e|%{|;6Z%u$e_HZBHxS44!u91GbFot`#0*QrTM zNKEWn!uy*>m5@V@M#GcXe9;vvmavxK+;p&UmKZ6*`0)pPLKj`&r2U+!)?jtt@O@Tt z?CweK8Mgouk8ufkV8LI!Ak-CqVP;0pTP7tb`Q3fm)K9|A6Z`Bi^v^&@6w$XbEK^~n zgkY9?OKE3dv`M}^`l&dCd|?9rf-@C2R|!B;u~Bbt3!AsMw*lY87>*6Jdv53}l+4D) z270vzzfr`mq$tGy4CPmwk2>Ut66jGGEdigms~-N&>)@ydI`ibG%NSxh+>sPPrjP|{{6gyf>5utPtno-AfMumVaXB&pC#~_ zpdY`nxfzkPU0g+W5rCmF3xS-=;o>GFV;c?dLCuL*oiA}-Fxm^x!k+8}5ibQ|<>+uP zf-`{it812iie7Z$ihZu4Qd?BnSXIUU^y%o_++0r&Hrtr00;caJRgP(mpD@E^YH+X? zfh%H*6Sqi6{yD8$4yJ8A1~y+=YHBK&rZK9-l%)VjAuy^>QOTHA=ROTh-`fIZd;8Li z3>wJ2h_s%M@%XmGD+9m!e`DzBrKrin?|}!O5DCUJ%Pl9H#0|;iO;9Nnu?L~oiHnD? zL5i}NzP>&%Q!lIK0W;FozhG+gERqc!6GKus5mL!_j~X99jTlB)SX99NbpG+%1E$JfY>bwa-G~P|#e^c^(9tQ&2Jw4Mc+)vu zw)F)ML9|!%o_x^-M1`;I>&v^%MyIH#sS&fYfWIDnNGm8LbhOy!^Nyy~1K=pM);q1O zl1HuPl$4Y}`-%DuB-;*M96UTB4Wd9jTVYOGW%0|F3O&kAgcE=ZesWZW>Nga3NpEFR z)J>Co+d7zpvlII_xuUv;hK!61hz%yj$1R=BOfo&fvhwqpf#k@jEa2+AHYdlz$%%Jf zfp9xLZ-Rt~2#O_L2Xq1RV}!o{0q{G@xxcS(<#O#E%G+(9w%PaoV_6dO4&_fcIE&b; z&V-MO@g`w70y)qUsQf+bN9gVyjKfS<2RrBunWP?gB>@4~pniyhgOkuXj%ifg>4i)J zp>tjylX||gqGETu|JmIfM+y5ML489*;rMXo_X-Lj41_^Jh^>+KG=9xy2u=J8-yMpj zHrz#?TFIvh0# zmXr@W2ZxyG>h8~*Yq9Maa@28XP7q#CBsLq{y$8^?`DSr60eE_H@bt6tnkuo=CVaKY zZ`oqmru1d%uA~4uqpbSNZXoSiP_R@vj2g=&6xE1Rk(8QR1imh#wAl1>e(3?Zg~Kw(wvn zvmSfjt)8hfGOp14@3~o^SmtNmf7Kah;V~c~TvAimfm=UqsBd%LE?MWXKTip%+pLnw zeWFWobNaj9y}*zGcGIhF^7d!8Y6xj=i%_qD-_~SHH1&{KD{=+V+*+nQp%MLSWC5nB z^=EZV)BkKa&^PF~0y#jYE;~IXA>lkZA8;ffH<#&a*z_zd?91|Oo!dz(B^GmudBo&* zz6~)>P2}rk~7rlwWocX+4L`f9iw5awZt%% z)_uFL1dem{Icem-?uYpN?bxaHXZd>gLxyn`{2uMC+f5lJ-V-luF&PmjN6^5!_r_CL z3HIgn?sHM1QH`H)2~X8E1f706Vg3c(KZc}sXNsStl)(f9pCj(pe!L4|V2ew;kkC=+ zrh*)|*5^Ak^>FaCPufE8sLvdf$`cpY&y0VvkBvPauUlL5suTwn?h!4mgNsX? z*Oysre+9bIrF-+1|EuC{G(>r`{;TY=~ZA9;Yd6Y@D8(%Rv4K zBqT5b5hD&-R}Y(n1YTvvm^p`G`svfB4h@m(g!=QD*NZ#)hv9q%ac9~gP>iA@&k`%lMj>jmey)W&D zMaJ->t$S7j0+Ciyazqy17jeMe7quiEpHnw6F;P|y15huBt<;$r0m6$oweRnTPnDlP z4c(o2MdS}wAkX##|HLCKC0TeR1zAF7Cg}N_@bCZ(fHg%~9?lDVbU|V9S{}(#hYB~y zp*h{$+&)@cl`C^}K&y%5F{wNfhXpN}X2!>bI5`QxbH*t7B05xj#f=(>K7Ir<9#guR z#wRAgh}gUy70F+mIN@hq0rrfsURt^)CcEqF1)$RN=g-vibc8M;!8TZ<0O+(qZh5pe z#yae*$KJt#h@4zZP*6cKQV@R=(RB(*i1!)>eorx*`IWwYcoG3YD-_k(o|ABoku7|~ zCAYP89)#y}b2P|BsFWKu{u*%9g+A2a?Eu>h=Cl6bC4};Ww}YAaLQ8A&2V)q&AE7xv z_CUh;K8O#2P6$kTW6lcBeR%i9a{#v@v*ysZjoChD`Aqi%6wv1W{{8|20${(^gPUy+ z+jFwCjnsarrY6sYBcozv#p1{G2_*Fq5qK%;qg&vITqh=RL`1t1S#qn$(g~ZR0005l zbz$MU?ry~t<MTXDrQoq>&yj$#nEfKn8wCjB7l3Lxr6ct}-NuJqu; zo(^O={_fUwCMQ$O9pXVb5E?-#4hn!`L|lA!eEfTUJ{H@3w8LGJu(1g=Il*2&FJD+E zfv<*r+H+6K9GV`(KaIGC=kudmKzVBJWwnAbocM0bzIbb8m0>bcn>mL4fw)Vt&`k_L z!61JGQMDS!w%OewG?rY0VBdgYF-X&wfFZ}^_K+t-nrZ{dNN8wiNeRdO^J0)uAhJ0G z@6XPz{3Z7b-`IF(W@c8LKD;03ARqf|bP3;=BN`Lb@%TA8QOC!1b#*Lh_y_d&mKuNA zx!{pMfm;1C`tNt6R7j_v$D3!u!V`0IEg+#06-|XjU;f1oJd$T1s)m=JSjtEw8h(t5 z5)u|37#L8J!~m4hzkiF=$1%Zt;9{2qq_{y>A;hVvD}yw-`HJd)=s^Pin^+J)qpi)& zV7x@~L`#n9%Gl$lk-VLF)wsbJ#+!T|o}OTm9I(rM4_|=6jp$~FQBeg$a5*V8Exbr_ zY*kgrR5d8}G(M}!mWn(*!a>7*&bX7IDNp6{>`E3~5kkknAVO$f0sa$B=t{h63b=kAg9@W* zY&Fzz3EzM9G4ZZ*t=wq^D=n>curq zvoV^dgd#IGEx3c0vp44IY_|(z>OAJu&t1o^RUk|d&QDffB|Pz#_;^x-!DjP~0Ekqc z@C`xzmVUVbpGC*l_;_t~^_`umaywP>JRn9oO#4`-6}q(NJkZ|{QooVEYOyjbELMP6 zu4#<(y7)aX&<46YAUX!sA)qjFcXtP2a^VDEorxeoCg#eV=U=1V`a9?dVjuA+A@O z8prwb>XSx*O@aE$R*TUv0J%LkbC-_!Lnxd4jyIXYeVz&mhMZUwj)HMHOFL7h)T7Z% zD+m=popG7DpB>z3779`9sC{NII*0=5dRKnad2n>J0!6Mz#Gcz8?fry6AkkaZ|FxVi z^pvc5mc%j$dR)ceK6M_uY9apTBA%W~9puL(>wmPpx;(zsg?4;zeX`+MoA~ANp{n9U zZ(K&xbC$4_l^$qQWxt!@vZ(FO=Qk{>+L^?znXao}y)&nOFHFqKc&^E@JlDMPxewXH z^`zpZhEN#2%0Rw%y&NR;z2Nn@xT1uT!?{_9`_W!qn6RL-uV3j87=9nPh_`6e^qops7IZpl%%tjgLQdA* zTP;^^om;+Z_FwvwZ$UOE2{b%n&JSd&RxJ$fzwxsf`q<)#Yj8A_>AC0UK#B45O+3zJ zd`7uC*$2Sago|w9%gmw%Mr-|DwrP!}ekLnv=>MS0$(C?Kw-UR?@X5`=W)c>C*7Ei7 z(8Cs_T0`fa=nr#E>`$*33y3eZ`ix70i~C=18J39gF1TBk)QrY?o@q{M3p^4D7ht%xf%``$QY9Kv++uvL}K#}#mPUg_{E2^^#;<(XJ??Vc|S>!*PoSl@e zX%)Io?q#}3^qg^?hirFe3fMix-nB-2|0;q&Abf@&OGD;J1$?KAcLu$7%Q?jO8N_W7 zks`kGZ*r#({sw8z1*$Ah_V=xomTfEvH!Vb4+FaUyjJb5&i7PKeb8tU+yXDfh1&vs< zOKyvt7C?B)+aao03`M-E_H$(3X2VZok0aj9=8~#QKI=7{zPZ|Et{oT|bfWKZ)L7H3 zI`~iIeIC5n`9Z(Ur__v7pZ7cCP&r$JLba%ojbvpjBti@GhZAL?KU+949X`ds0 zm)NVchVItH9_j-_wxVT2N!}`y$TytHKe!z!56wCOJ-#{QZ++k(BUfj&d0u1^Hm!C2 zu;=-nZY}xyfDgWXv&Q8(hJ%lVvJVT*UmMIu3Jc%dIIo4&%}@>>on30IOvaW_xpY|U z9xIw>Q+$=PMiy&!Q;TNlj=i?(M(7p_G_Z;=3IBmB>4zui3}sx0HvQy8gyD zf^tLBr@Y_EmJ{tic$|K-o`HPP*n5{2_s?(h6ZP0rSME;fc{I;6uT}GKgb#yVX2*x( zfb%pZ|={MVTu65m9@vdvZA!v_YabZ-TTIOV=LLeldG}P$hoW zWZeDy+#-*A4>`>Bu*p7L^d0grM|3SngZ~TbYFsY=YYpEcR;KOmLf&WBQjmL{PzhOD z0fbgypLS=QvETNW9hno`XRadIi!$wcn{j2dkifHQRO&~)`xjSX7`I2s)eBjq{Cx0; z3f;d|5hMC~lslEJ)<-q5+N;OmOD1ymlMb=0+qYf0I{9-eA}C#_;toD*Bxkry8HobTHZs_yA{c;utbS3$fy^{>@Us4uYF zZ5@ar8?!|;U!pJ0U#X6a4)*aB<8-Pyx8}sQBxZMHSeRN9!)#uKwd7UBWg|Iq9{WC= zGR`|?H+bJT-S|Gxest>J`O`yZI-c=RXOfqE`%Z&Hm5+ZLa& z*!_(&wtFsT#)Q8!79sH0|GmoEdt;q%yLm5ddDb9t?R0h`^uKa`0{e}67f*rcb{GGzNmUi79NguL)gtt%B7>**ha z!+)P@sEb~h)NDKNMy*{Bosf|1n-vh#(H`YXFJ2`d4|uSck_?$DD`7vNbVnd7ka+psg$siOk^;6Crxqz<;HVv zSI)-bt_wNyroVFcP9Z-?PrAKlmic6hwC=g;@{jTPUKUp7Q^%O<%A(3F%73sYCozNj za=$ja6qOx~|NG1$;%3ED-F(F^LYM`-In#$eqx^9w-4 z!3qLXiyXBrQII=;f;;lbL(*mbNb)Cf@xR)NeG`E;fQBaH^6Zc$YlW_T8liY}d_0mR zg&%}a+j7Y*2WN!;p)H(HefxH;RIjAj&G>25J8NsezT4Z`F=n}RK>m54w_j~XBn(R_ ztE%RRyF+if8sC9`+OVpTK32-V07j1pK=kj0f~}a@zV8D#1O3;p-ybfK^4OUYT$y!A zz56M@ySuwe;{t$vAisDl7x;K7FDr|_)vB12iz|eq#p4f=B$p2hn5cg^4U`y*GV5?f zX6d`Wo+OJ83m+fpVVaRI6fXc2fbQM9hZYCv_y5y