From 6f03e38e7fd382baf1c4a6231ca82283d57218b5 Mon Sep 17 00:00:00 2001 From: gheber Date: Sat, 5 Mar 2016 16:13:20 -0600 Subject: [PATCH] First draft of Chapter 7. --- examples/Chapter7.ipynb | 392 +++++++++++++++++++++++++++++++++++++++- examples/ssquare.png | Bin 0 -> 46440 bytes 2 files changed, 391 insertions(+), 1 deletion(-) create mode 100644 examples/ssquare.png diff --git a/examples/Chapter7.ipynb b/examples/Chapter7.ipynb index a84a45f..09c75b4 100644 --- a/examples/Chapter7.ipynb +++ b/examples/Chapter7.ipynb @@ -1955,7 +1955,397 @@ "cell_type": "markdown", "metadata": {}, "source": [ - "## Cartesian product of simplicials sets" + "## Cartesian product of simplicials sets\n", + "\n", + "Let $X$ and $Y$ be two simplicial sets, the construction of $X\\times Y$ is based on the very definition $(X\\times Y)_n =X_n\\times Y_n$ where $X_n$, $Y_n$ and $(X\\times Y)_n$ are the *possibly degenerate* simplices of $X$, $Y$ and $X\\times Y$\n", + "respectively. A simplex of the product $X\\times Y$ is characterized by its projections on the factors $X$ and $Y$.\n", + "\n", + "The *non-degenerate* simplices of $X\\times Y$ are represented internally in the system by a lisp object of the form:\n", + "\n", + "> ``(:crpr (``*dgop1* ``.`` *gmsm1*``).(``*dgop2* ``.`` *gmsm2*``))``\n", + "\n", + "where,\n", + "1. ``dgop1`` is an integer representing a coded degeneracy operator.\n", + "2. ``gmsm1`` is a non-degenerate simplex of $X$, to which is applied the degeneracy operator ``dgop1``.\n", + "3. ``dgop2`` is an integer representing a coded degeneracy operator.\n", + "4. ``gmsm2`` is a non-degenerate simplex of $Y$, to which is applied the degeneracy operator ``dgop2``.\n", + "\n", + "This object must be a *non-degenerate* simplex of $X \\times Y$, that is to say, the degeneracy operators *dgop1* and *dgop2* must not have a common $\\eta_j$, and therefore their list representations must have a void intersection.\n", + "The coded representation by binary bit positions, has the same property. The corresponding type is ``CRPR``.\n", + "To construct such an object, one may use the macro ``crpr``. As usual, a printing method has been defined to reflect the structure of the product under the form:\n", + "\n", + "> ````\n", + "\n", + "where the sequence of the operators $\\eta_i$ is printed in explicit form (this is the meaning of *ext-dgop*).\n", + "If this sequence of $\\eta_i$ is void, i.e. if the simplex *gmsm* is not degenerate, the symbol ``-`` is printed instead.\n", + "\n", + "### Functions and macros for the product of simplicial sets\n", + "\n", + "``crpr`` *dgop1 gmsm1 dgop2 gmsm2* *[Macro]*\n", + "> Build an object of type ``CRPR``, using directly the integer coding for the degeneracy operators. The arguments *gmsm1* and *gmsm2* are non-degenerate simplices.\n", + "\n", + "``crpr`` *absm1 absm2* *[Macro]*\n", + "> Build an object of type ``CRPR``, using two abstract simplices *absm1* and *absm2*. If these abstract simplices are degenerate, the degeneracy operators must verify the condition of the definition, i.e. no common $\\eta_i$.\n", + "\n", + "``2absm-acrpr`` *absm1 absm2* *[Function]*\n", + "> Build an abstract simplex, i.e. object of type ``ABSM``, cartesian product of both abstract simplices *absm1* and *absm2*. In contrast with the previous function, there is no condition upon the degeneracy operators of the abstract simplices. Of course, the function ``2absm-acrpr`` returns a legal abstract simplex.\n", + "\n", + "``crpr-p`` *object* *[Predicate]*\n", + ">Test if *object* is of type ``CRPR``.\n", + "\n", + "``dgop1`` *crpr* *[Macro]*\n", + "> Select the degeneracy operator *dgop1* from the object ``crpr``.\n", + "\n", + "``gmsm1`` *crpr* *[Macro]*\n", + "> Select the geometric simplex *gmsm1* from the object ``crpr``.\n", + "\n", + "``dgop2`` *crpr* *[Macro]*\n", + "> Select the degeneracy operator *dgop2* from the object ``crpr``.\n", + "\n", + "``gmsm2`` *crpr* *[Macro]*\n", + "> Select the geometric simplex *gmsm2* from the object ``crpr``.\n", + "\n", + "``absm1`` *crpr* *[Macro]*\n", + "> Build the abstract simplex ``(absm`` *dgop1 gmsm1*``)`` from *crpr*.\n", + "\n", + "``absm2`` *crpr* *[Macro]*\n", + "> Build the abstract simplex ``(absm`` *dgop2 gmsm2*``)`` from *crpr*.\n", + "\n", + "``crts-prdc`` *smst1 smst2* *[Function]*\n", + "> Build the simplicial set, cartesian product $smst1 \\times smts2$.\n", + "\n", + "### Examples\n", + "\n", + "In the first example, note that the coded representations of $\\eta_1$ and $\\eta_2$ are respectively 2 and 4, but these degeneracy operators appear clearly as 1 and 2 in the printed result. In the second statement, the integer 28 is the coded representation of the degeneracy ``(4 3 2)``." + ] + }, + { + "cell_type": "code", + "execution_count": null, + "metadata": { + "collapsed": false + }, + "outputs": [], + "source": [ + "(crpr 2 'a 4 'b)" + ] + }, + { + "cell_type": "code", + "execution_count": null, + "metadata": { + "collapsed": false + }, + "outputs": [], + "source": [ + "(crpr 0 '(0 1 2 3 4 5) 28 '(0 1 2))" + ] + }, + { + "cell_type": "markdown", + "metadata": {}, + "source": [ + "For more clarity, one may also write:" + ] + }, + { + "cell_type": "code", + "execution_count": null, + "metadata": { + "collapsed": false + }, + "outputs": [], + "source": [ + "(crpr 0 '(0 1 2 3 4 5) (dgop-ext-int '(4 3 2)) '(0 1 2))" + ] + }, + { + "cell_type": "markdown", + "metadata": {}, + "source": [ + "In the following example, we see that both functions ``crpr`` and ``2absm-acrpr`` return the same geometric simplex," + ] + }, + { + "cell_type": "code", + "execution_count": null, + "metadata": { + "collapsed": false + }, + "outputs": [], + "source": [ + "(crpr (absm 4 'a)(absm 3 'b))" + ] + }, + { + "cell_type": "code", + "execution_count": null, + "metadata": { + "collapsed": false + }, + "outputs": [], + "source": [ + "(2absm-acrpr (absm 4 'a)(absm 3 'b))" + ] + }, + { + "cell_type": "markdown", + "metadata": {}, + "source": [ + "whereas, in the following call to ``crpr``, the condition upon the degeneracy operator is not respected and the result is an illegal cartesian product. The function ``2absm-acrpr`` returns the correct answer." + ] + }, + { + "cell_type": "code", + "execution_count": null, + "metadata": { + "collapsed": false + }, + "outputs": [], + "source": [ + "(crpr (absm 5 'a)(absm 3 'b))" + ] + }, + { + "cell_type": "code", + "execution_count": null, + "metadata": { + "collapsed": false + }, + "outputs": [], + "source": [ + "(2absm-acrpr (absm 5 'a) (absm 3 'b))" + ] + }, + { + "cell_type": "markdown", + "metadata": {}, + "source": [ + "The following example is particularly instructive. The simplicial set whose the realization is homeomorphic to the square is built by using the product of two segments. A call like ``(delta n)`` builds the standard $n$-simplex. So first, we generate two copies ``X`` and ``Y`` of the standard 1-simplex and we list the abstract simplices up to dimension 2 for a better understanding of the components of the product ``XY``." + ] + }, + { + "cell_type": "code", + "execution_count": null, + "metadata": { + "collapsed": false + }, + "outputs": [], + "source": [ + "(def X (delta 1))" + ] + }, + { + "cell_type": "code", + "execution_count": null, + "metadata": { + "collapsed": false + }, + "outputs": [], + "source": [ + "(def Y X)" + ] + }, + { + "cell_type": "code", + "execution_count": null, + "metadata": { + "collapsed": false + }, + "outputs": [], + "source": [ + "(cl-jupyter-user:png-from-file \"ssquare.png\")" + ] + }, + { + "cell_type": "markdown", + "metadata": {}, + "source": [ + "In list representation (non-coded simplices), the abstract simplices of $X$ up to the dimension 2, including the degenerate ones are:\n", + "\n", + "- Dimension 0: ``, ``. \n", + "- Dimension 1: ``, , ``. \n", + "- Dimension 2: ``, , , ``.\n", + "\n", + "Let us look first at the non-degenerate simplices of the simplicial set $X \\times Y$. Those simplices are objects of type ``CRPR``. In dimension 1, we see that some projections are degeneracies of vertices and, in dimension 2, the projections are all degeneracies of the 1-simplex ``(0 1)`` coded as 3. Nevertheless, all the listed simplices are *geometric* simplices (i.e. non-degenerate ones) of the product ``XY``. The diagram above shows the relationship between the 3 simplicial sets. " + ] + }, + { + "cell_type": "code", + "execution_count": null, + "metadata": { + "collapsed": false + }, + "outputs": [], + "source": [ + "(def XY (crts-prdc X Y))" + ] + }, + { + "cell_type": "code", + "execution_count": null, + "metadata": { + "collapsed": false + }, + "outputs": [], + "source": [ + "(show-structure XY 2)" + ] + }, + { + "cell_type": "markdown", + "metadata": {}, + "source": [ + "To be more readable we may translate the coded representations of the degeneracy operators and of the simplices in the list representation:" + ] + }, + { + "cell_type": "markdown", + "metadata": {}, + "source": [ + "```\n", + "Dimension 0 :\n", + "\n", + " Vertices : ( \n", + " \n", + " \n", + " )\n", + "\n", + "Dimension 1 :\n", + "\n", + " Simplex : \n", + "\n", + " Faces : ( >\n", + " >)\n", + "\n", + " Simplex : \n", + "\n", + " Faces : ( >\n", + " >)\n", + "\n", + " Simplex : \n", + "\n", + " Faces : ( >\n", + " >)\n", + "\n", + " Simplex : \n", + "\n", + " Faces : ( >\n", + " >)\n", + "\n", + " Simplex : \n", + "\n", + " Faces : ( >\n", + " >)\n", + "\n", + "Dimension 2 :\n", + "\n", + " Simplex : \n", + "\n", + " Faces : ( >\n", + " >\n", + " >)\n", + "\n", + " Simplex : \n", + "\n", + " Faces : ( >\n", + " >\n", + " >)\n", + "```\n", + "\n", + "In an analogous way, let us build the torus as the cartesian product of two 1-spheres. We recall that the base point of the sphere is named ``*``." + ] + }, + { + "cell_type": "code", + "execution_count": null, + "metadata": { + "collapsed": false + }, + "outputs": [], + "source": [ + "(def s1xs1 (crts-prdc (sphere 1) (sphere 1)))" + ] + }, + { + "cell_type": "code", + "execution_count": null, + "metadata": { + "collapsed": false + }, + "outputs": [], + "source": [ + "(show-structure s1xs1 2)" + ] + }, + { + "cell_type": "markdown", + "metadata": {}, + "source": [ + "Let us verify that $S^1\\times S^1$ has the same homology groups as the torus." + ] + }, + { + "cell_type": "code", + "execution_count": null, + "metadata": { + "collapsed": false + }, + "outputs": [], + "source": [ + "(dotimes (i 3)(chcm-homology s1xs1 i))" + ] + }, + { + "cell_type": "markdown", + "metadata": {}, + "source": [ + "Of course, we may generate more complex products, whose basis are composed of rather long\n", + "lists of simplices as shown below. The user will also pay attention to the fact that the composition of the macro ``crpr`` is not associative. In the following example, the simplicial sets located respectively by ``p1`` and ``p2`` are different objects, though being canonically isomorphic." + ] + }, + { + "cell_type": "code", + "execution_count": null, + "metadata": { + "collapsed": false + }, + "outputs": [], + "source": [ + "(def p1 (crts-prdc (sphere 2) (crts-prdc (sphere 2) (sphere 3))))" + ] + }, + { + "cell_type": "code", + "execution_count": null, + "metadata": { + "collapsed": false + }, + "outputs": [], + "source": [ + "(def p2 (crts-prdc (crts-prdc (sphere 2) (sphere 2)) (sphere 3)))" + ] + }, + { + "cell_type": "code", + "execution_count": null, + "metadata": { + "collapsed": false + }, + "outputs": [], + "source": [ + "(dotimes (i 8) (print (length (basis p1 i))))" + ] + }, + { + "cell_type": "markdown", + "metadata": {}, + "source": [ + "### Lisp files concerned in this chapter\n", + "\n", + "``simplicial-sets.lisp``, ``delta.lisp``, ``specials-smsts.lisp``,\n", + "``cartesian-products.lisp``.\n", + "[``classes.lisp``, ``macros.lisp``, ``various.lisp``]." ] } ], diff --git a/examples/ssquare.png b/examples/ssquare.png new file mode 100644 index 0000000000000000000000000000000000000000..3807b0d1c26ed94dd2bb044fcc11061ae85e1920 GIT binary patch literal 46440 zcmd@6c|4Ts{|AoW5-Eg|$P%ScDk3IpSwm>Z-h?!k>|v0#jY6X|A!`w`Gj_6+m=II; znXx9jA&n)*^1E)G^EvO|_y6x--}89%=$twCeO>qcx?bz^^?cn=uNi2w?>n*&f*^LC zD;h=+w0j=>(Pr5NerelV^9lU5*W-$X7X+O>4*y~B%TUFDACs?!4iG6#- zI(|WrFr=e#`MO`y++cknUH9hp;@X>ek+h^Gg) z@2N!OdKunLDpq|u7UwXboH{f-%mkhvyxk(BvHZ@zh0X?^eDuxIIX}y7@6HcFN<{iF zeB~G-rBr(7r@*;Q)>P8=s#0N2juT}!{9A*C4{BkRJ`wWzG%Nhy=DcZ=@ZUDJPw?>H zp^rscVKG8HVdDRvx*(pI=>|cU=2q!l)|pN-)oyfo%h@#X(%xp?J|9%ya!`Fpo8_!{ z#3N3lRwZKLV1o2XmR%x`#t`9+qhY9;Dt|^RzsA#d@*i^+%qn2Jg5QTYM5c+i;c0q( zK3%f4B{~o^!mMEd#ot8rW!1|zmxf@|-V0{TrCyQX2v-+dEZ0QdP9^P+Xsnn(U~zcy zeIgn$qUnV4lJ=UM$MW^JOiWTH%Z|ybf=fWG-uG(&Ljva!8 zer#?kW9^8vAqME6Q%6gd!&qNm--?bRkv6eP%}((Y@ZBon!_Oi*C=`mam2-Fn_}@s( znhR~7G+gonfgS5#-Rvke7tt^=aoE27rDJ6yfB_2KQ#|~=eY+E=W=XG*!z?|x>%K&W zi{XTlpghI2azMno* zs_@XBLeopE)0aTk3@x}?9kj;2C~sa+K6_yyg(t-%h}1CgtOf{igbNspl=G&Kx8i2( zvy-PWJhy6Hoz++*&<7>MZ+{7nOAwoP9L<=lVBg67Zx^2Q5ak|wN4J0|H)1N=fMxpA z2M%#9d~P;0mB6L9xgW4)@Y0vT(nY*kXg}f|hYuaRgZ$+fjPdH{FZbII_EmUj*inJG z`f&oI&C_=<=`WU}40S6vJs0Z!;Q8#o`{g#f^tC;SY@K4V?l-Q+F+nzAJIjt?I6CS} zJh#pOUtkOjz2Vl9FUL)*LEnLVcrR7x^%P#ilqJI8fWmvqYGlw4KwYs2)j znmgI8oJ${~6$ek8QNO1jkl^dUs_pIMzyLK|<%G}claxy^FdChhuGGhzbqn&U6?Qkp zP7f88Y1J5)4jxY^V|$8MZm%hMe7w38R^gL7(l=_wRJY;hy0Q#YRf5P1tNH_X1+q4i zFiSJH+knujvlRn0{_Z8)3+u)n_PnSQ`H$M#n9c?CE` zJBHBQ+(w^h4Ol?XFJahF6bYU=ISPr{?{I{%Mep4%H2#e14x9_@Ks8db?uAs(It{g- z5%^xI2z;f`Xh}9d1pSGJeZpl4lh}-2GVfS*!EANhgV+VSPE0>nl_v6?(>-FZ#_7Se zx?zcjOIurKA6GDdyNS?Aa+`ZKj_zApTFTc1Tn(p*-ZxHW4AJ5&@t z9O*J|=QksEoYd*u=(_q{7Kr2o5Q%wyCU;Tq`h?BE&#wq95mU{hIa)nG>QRY7%!~iK zf&Bxpfpf3-nUgwq8&lF$fjZvL-m4#$pXK`Y|7whCFx5bEYku#}2V3%fbb#aPFE&l^6Vjxoo1Fpt$WRMx zF<3WSRObg`Mag}p99$U%%kH#8)YG&tK7+FQS#Cg{4G3NvHt2Mm=u_#iw@pAp^8T_nNO)a+2Hcr$8!8Ru#U>w1%*>vxHm(2$V{;XjsF>YV&fRqj1WzR&D{!5b z7BE2{yxx}ye-$5f@Iy1<2Ds|2WZO)2K~97Oh|@N&;0@$_P+~eUlNXI|15>h;Zs3JX zn+#sCH%hTJW>Y{A|0NEu{z{nT9nLAiV2~3;_dU1ZXV8uj)s@Kn0*s>PI4}y`Zl7c{ z-_9yLQec(dOU{D3FAET^z5tJCbqPGp1)B(z~W%dEW@UWW9^1l|H_C4+j@4C^kvSV~_&o85vBfVt8=~P2n~IEYcggyoe0PrX>Qiu> zZ8l~vmV;EWV>@D#k_OIBQk`2fX&$IjAUnc&cJhGmxoIw5mMS~gm+U}&#IpBn8PBP6In`tF$T8ibS> zcY2D<_d#-7I@?9f0-v#77eZvF78OcmmHg$w5ELBvn;iP$Fpu zpGt#7+MHvWc+RY4lH@B}pqK9@+a}~!oQzr{idDb zWJ8?kj|%T`H#~}mh4Ag6xFS}vZH^)wH?VgaR`Obe4c; zzy~*nH#S*?Wy-1L4iD9y%(OAf;ggdnb}8XX`$n90L?p!-xj2xklaiIrK+j6Km*QLg z$Aie+q_Z%8$w*fs!_`nxj>Dh3!3+2tZcP)DWGfUfcZ6o)9ExmF>hQRq_>E5$e7 z*tT{YP9-~XVekrpKO#j-ad54&c91EaT;ntzt>GMXq$sKM! z0$DjZC2QAo{gs3a=_tCqUm|7*;d*sDJ#@CZ=Wv3Rj9g4vYL~yvp35H8yRFUfl5H-i zVLgz69r5aEo_tdt^F6!@r7ccsz7n zSXfX$LV9E}ylOZ(yrQ}ff%Q^ot>C+O?$H<80QP0YX7S3Pv)A-<+fvL-rQpR4+x1sQ zXO~bpW&0lpW9@dF=0LP~z&S-ykHLd8ZNEDo*E}mc?&g8WxZV|jxyL@ZE$(5OC06f0 z*)Q=%zhb7r^HY}B7qh23?|l4L=pqY9b-IQWP$n`Yn-V4>&43`Ys=6Qg zeWMw&bh9&Xw!P~fh^sr{@0D;X_6_Q>A8spyOTK@9W7gp1&FEcmr4F9HVRTFmU)f~W zO`{-^`Lm>Gykv=F8!hmydiu^u0auraZ8JapII8U9$-M;6K!s0L;Cy1X9^CH3ECg6% zth?;Bodq?K0)+1Cj39U5LSkg~3p4X=Wy0Czk_&bcpq})GOPlhSO+Vyya5l#av)t%I zcY|viD#hutM~F1$-h;tp<_w&&)l>*K?~`R@K)(bYcttpNq}-_=PTj&gNSx0v6I>Xp zo=>(ut(FW;$MQ*=OK<(yLByF_W1;$eyk|$Nk;UgeER7>v~E;@((GLg z;<>{dDwMo-c=f84prH-VRm6#ILiLB$rbk+L*MHi?8XRAJ5&w9YWGX7nxB2Ao}eoAtmCnGd5ySX`7 z5cmh{Q+!wfc1h12oZY^Gyzr+Jh!!g3+eHZM(caD~=Z*soL=KQ$Z+2ZaG2Hh%4705$r}u0ItJSYs0t;-NJRa}X(| zK#EPihjo($?9d#)85}~k6$i-F0;VQ0(q47@x(BV!<1Qog=An3vJ^$5`cBwwSxO=eY zQBe{um?ewar>eRgH*3Tqm4u=_1?Y7P{x<~(099FDUUmu3uMJtT)p@s4TcP=L6wYMX zJ_&%tdxkZ6wIze-9wSOsBefGsxORUm(=#^kIaTRzo#JtqwXtX|i?8T31YM;jGc-F_ zB)@2G|0zxI92y!Tb2NFnjP*_{HR~}xCm;3#24+Zl=*6V62+y=$0L7eWR|fu3WXKy`K!@90dOnXvE2oNq(V?X6WYi$HVq}!97-X|KXeT z>Z5KE@)wIVz_z#`%X;ed`*-f~8WhgBO&Kf#=)!5w2->22UVT*-cBO&@3j#jZ2Sr(J zR=_w|0s&HsD?tSu6jLttVfv8(qS=pZ{IQ+>sf8U1HD;3tyvUqxM+d(YbvokZrKk1wUxzzXI7y=fxA`>xD9^fc zIzwnxL~!=H2W97QMkLebO!HLQ2%uDxOxG56#i zc*af*qt+GmWd38+i|^yE2AryNwMJAiKps4dQS!G3k3UPytu49WQ%3h_b zRbNq2(UVt|06SwpC7{Qzrq(uA%t*^h3pp=#b*1ccqZ~GH3*|hf6EopJr12oRIUCZs z&=u%>r}Cgp`T0CeBF!bPiPR+1OWpir`9_}q1R>K&!C%|aBGw{SaDTV~;fR~e292`q zi0X^3sTSP4F699~l&OOy0?88!ydHD@-FKe!JMIJC--pP`T^hwlU^vgEy+50RKhUUJ ze{f|cI`|ZC<+-E*2&#N^lXS+?df27LrKM8vFf|`3!1UK+Cx3A8(-&G@6a0QXYnK6l z3~#6v&S~Z6xtE79lg;Ci%!-;TaJYGH;@>gpt3gyc1S|i@fqUo*=b)gH2K7UKbG=-N zn`MaR_#T0c3shE*ERhVpIjuaT z#8-ea9vf7PxV^O?7io3v+o`*zt;>e6jY#3AMU^oa@MkL<9j>6yXEz<^i% z$%wQ;H?c=ox|SwBuIa?cKC7xa0Zlvd!{o|2{1{pMf2 zQ#fey>1Pr;H z(b29za*KF(vc0^pai&^m5uaD3bfU%OIqc*&5!fuZwuI%7;0&BCFOR0}cHcyE2af>3 z-&?y~9QL-4U-I+ZS{@s|1DAC;_kZ1V?e zqbgOKT<>#cI=gOKTPJ2^I4Rr-D2D15^dyFdhBDp09FaYmQDQ9*2UxcEMUDBBeegAV4v3d=(z5jaNNY|U-vHkuY1?Sf*p0b*eKffD7i}? z=4V!yZZ0gf{z&Sov!J||vVFN;TU&eKgDfYi@b#51$xS4lV>18K#25nyDQ{Wk#BmTGL>yOPRGD)bNePFRXtHUR_(U@xTE2H zrWVQpq2qvkI$NDgd4L_eq1Ze_rRK}1taM(Bn<&!~=&a0B4hjl#-D(lqT>d`&>O||0 zG=qdP_vG*4hEebNhJ-Udgg65nsxeyDwB=-Y)3f5#Dvo+e^X3M2s?qp9wI^`O;>Vg; zg|>Ahbcqn2m26+*A>lEz%D|7Cf6?qC!=uugA__N7Ulr<^{R;`;iDJd%J zvk%21PnUMN&{k@_gtx{@>1XE`44vl#7N`3`jt5e{h`CCY4LAN(nqu0P@%?9yT9DXZ+g{e7t3_ML!EIN`KIP+K|Ir@=UUUAwz~A)`smkJO^3)d z`&ULOlm034l%9L!SE`1y4{kQ~J}yx;rg|91h$3~z{X2k(XV0#89VU0()!Nv=zTdvi zsrlWlqJ%?viJg}8(kez2;Q7ku7@+jiAf}{}_-<3SPEALZyY}t6rdxJcgx@ScXgawN zpR6nhu#BUQopZw*?ZYf0zm@tdE8;FCy~=c~0Z`!6g*2aHUV`*#6Blh%pG9nO#N74f z^_~5$aX+4|2C@9R9>ZSXEX(sHyhSsVP$^k!Rns!13i5p6xO4e+E;cl>4!#QImq?wP z7B@HJndGyZBQy+=*B)E{c^tBy6|&xBy`d?A79d!}KDO;&<8IeT$iz6|MRmx=pTeB) zoe?0|Uj9z~wu5FY9=x^pY}GapFNYx$)wABPp@qG{{sO~7>D0ZD3n(J3pnB8SN+(bv z1J_ypvtwDMyd*1K80d(7t(}z+)gffXftsj-1;}l>_>o}N$=7q=HUi3RSaYL#gd{aN zcN^(8zf}FwKmmL6c`+Sn{!GcL%NyvK~|pR7`$qTD`mX7{k&oC z?2S@>3{Cbqkc;^f{M4BL(4yZ`P)Pl-m`>-_1-CFhqT|!sBc?F^7CX77MEJ@G6``rW z)k>0o4!iZYFFyzGW+&46gAqIS&dJim#3J_GxpVF2yR6RNF7JuDf4{UBR0tV8J3!l% zdi_%-J6x<&;2rl&I0ad=3tu7Df?Rd4>KD?o?MYWUo7a>f%AwMeFTl>)}7m@|kY? zrJkTHcEGx?){2SA%pauK5>saZ@b`1cLF99KpM>M;lx%XEMcZ@nn!k&z-bJkj4AY0? z>(|;tHv2*b7gmks_x!mOi-zG18ws-iv@EBt1cmQh8y;?5tS>nMu={PBXVQw7&|9Z| z<>WLV(&9ilA4aJYc3+?8`e$^9KMW69^$l5_44$8?Th4diYapQau{0D~E80)LwS{4Zxgo^ZG zS%RQvSdR`3Znv76Gl{7ERN7JZ5rpxMlcy!dr_0*e^AD&k-H@r!b1zNo+oE;lmX+{S zXJt|RuT|&e=$6Lps>M?>aO<1H+d(24lhlA{DK=DJa--kF=HU9moK~N~uEfvSv89cz zx!(1VkbC@J-8MQG46QA7{mXUYg13L7uEhL=B}Ux32tjI3LjHt@h(|m~yT=>1Krioj z%=u%E|Ep(G2@bV(J?2)s*K7mOxkE;`UJ`**DxT^LM^io_F;vMrN)8eZyZf7|~CFl0|cVkjl*y0q+z9}bz&QU`vpWOpt zmd0P-FKj|K&aL>;i>A63COu~L>pj_4kD79K!a_zgxy(O2x-X~{Lsk-G6Zjh(*bAFW zE0y(Q-mQrR+|32}zUf(jVV^iy0h-5}$laH1vStLMwZm#hz9)P)v7CJ^ss2r)9f37e z-KB}FEC@gd6x6=1tK2cD*>`1b_D5{m{)tDYK-V-aO*~EffLdjNmC2z=b0uvrJJ9%Z zvN~od_zF9gR67?45*nfCibJ<8ds7S^?`t*}%fC>DLH7B?qWx2dlPe-n9x$bq-w6Vd z#UD6w-#AC^Rj!t1B;l_r8&*!H7r#-~@AA$mc3*0}m27{Wm+|0#5VsBJ_mBjDQ!}pN zg;Ju$S#6SGtSdb-?F&|h4MrBS6B%u~cx|G5jCAz}cVCszIgsxYz#t1XB!4M}>>rCq z`W$O@v-n$b?2#Dnc4Y{?Ak{p#8bBXR$ehlbse}3@(DV*5q^tk|p8JPr>YY;4QT-W0|C^G)PoSPfdaRGR_~f*4qlR zi!RTSkI~oH6+l$5VaFL==5)*#B(%_yzMtKBoDAdWMl zZw~Q}Aq-4RB)_rSxS2=oIej~QE_&ljG{C`>qK!`J#2~QB#6-}SD)Rej4$-u6P5VgV z^p~n@F9F(Qc4FYPk8jLmXZ7=Wkt!UE7hm_VdRlr-4UE^2|Em;TWISnDox zW`NE%D7WIH(!TH>&rlNB|I^&N-^bhKfsX*8*WUD?z1<$2mK1O!Usg7SDKJVra`~GjWjn^sEK{;gvTc7jqk1A> z#emg$?Gko7M=dHvi+nae1}vyi%cA4c>GZ!H#8%N=4eWSHy%>$>c8g7%x2&35JOzlf zPTA$4R9_~Z2(aw?SxZiIUlZ@a-S=m!L7WZc*Faw9e$07{tr70w?a#C=aYprF1OZR*&;%FM8r$pPp#gy-u=0F=C?j5AVWVQ$IOf_uVJ z0{bDiOW47a0G;1!%JRM2x=AMuYd7lZ{Pt9lF1cNxf}1ar$bMO5ZvxdXTFBz7L@AaU1XtQk@pDoH2mZH z)1Xs{Zd7%aWaC^U{^d)ab1aOZpcRX?wpbA z|D6w8R3wNZ=XcD`Oc7$!z$Ra`yDGD{mv@Y=GCKuDtK$aG+C>@ZvV7bn7yqbNf#m@L z3pd@-WZ}h?B%3C8)BDG1aJ`;O&^iZbUMA;^&=0QPBY(` z>{lXIF(M9vH_b0YX%k{S6RJ@Srl1pkRTxC730if37~Z7*rxC_0m{S;*;xl7E5!gw8r-b!7BIhj|H6R(ojK9Wr_6zhTHF@9d zzux53PvzA10svV0cn1zU2nyP$Ji(hQW#9xyWqj0sN&gql)?e6(bpyXMJJo;QVB;X< zrH*T&_2YxnLk?;n-{F3ooj&$obHhGgvQ0c9N*ZoiUwU$H*MBB%1Ag{U>^ObKdtcr}bK^Sun`ZH#xROIJD}^vdhXp@+}N_Sh{)%LA7GJPR{KBl+PS;#6M2U-Y7JS73*k}=q$Lh- zkeUR?WjM8xe#`woG%wlBW)MWu6B!@!nWIq?^EJbpZYh&1dS=e9hkb*#`ii8rq|7jK zfSVaTh}T3++d`owpqBkgYD&%`W<8UBPU2vj*vvpZKWML5o`muvZ!- z?}9pvbeS%{DZ>be5xo=+sDf1ZlAggM8$FZhLWM%C;}Jf@YI}+wsYl04OC>+6(S+R^-2;;Hykk2brlH1tVD=5+50Q z@eBTI!S^g2Uhq#>oqQ2m?g1uvx_Ul?OQ75P|~zG$18+cYKl=8fspt!WA+ zG5MHtRB>|Y%X*U{iMoY=l)kSS6)~b0g`%?zRVa@s-KQeQD#ar(1eX%6aZ+6QY<4M0 z(M^7i$ut}G5-!W10WG1bxE;$>lK#ZiWIr&dZwq?>dDs53bFyg54r9cqb!^cbG^nPo zxna}Jw4GOsCeuFj^_kgyb*rE+O?QC<6x#iW3C}2}H&mdB8x*MdlO?D(N8g&A zogMWUp)*!E`La+;EI=EX zL##-#Rrud3Re$nO_|FE7NWDHPtM6*U1fpr>9wbKHrPdv1MWh z$tmGdY=*~o{|Zc*^x>g8o;r|fknDr1$eP1sg)EoirBQgq>4;ihE=El|lK0L)Gh@NRE;&HyG(=|7_$_ecP3&o-!%f_;3x8zkR#LkZ2k(L+T)5 zNfQoMy_K}Ug6?9H03Dzzz5o-e87wGpR=h&kFJiB34vpQCPPtH$8$q#pi}CMY$#{h# z8?Y>HZKxHKBouLzbSUlJ!IU>uSoebdFU9d$ z2(02bLE$3C=J%3PA#Hz!T@+O_kiP2O;&ua066<~l29{b2BJ%TW4$GAe76rZ-xjd)&VYV8)A7(_MZ$3U>iRfE{BBnDA*Ln(680Y5S zcR8r{@GR-s?9cv`L*%$zNj(tD%@(Q)CjHyb2UB0LLcbirlDkhN|GFLWTP);Q#!}EQ z?ZcVEGxs$;P^(5Cl+LjCjFsAzOX>xz7F~{;i!9Is19&fJ$xNXRkmyWq6CYysYPd-jvmEDK_V%lyt9+ zlT7?oyt9W*bX#<6=qALijScBbvk*9$TFe`X*-gin4 zT`1=nariO3MI8>NSA--Yaps&gH@ivUbDYt+u{EW3wg!s!Yu8+ik=!eTTHLHis*YLvl}Ul9=ASGY+T59Ev&{Tn&(|Z7wz76*d-+ZZ860q5#wY4zVr( z<5!MO@ky|Bt*g!OG{=umn8QdasDu9T%c?DyRL8-+~D2# z)K-Vopp%dOj9YJwgZk*kTabHWuB+>k2DlDdNBLLXarrg97B17t44~&d@6U-7-|vI%q0&ef4trFV%y3!5c^`@|PDlTgm)-ZK57qaZpnaR3-c0<>&i;llt%grN)(Bi&Z+Eft%5{_F52m*+?j$i6x%0|Fw!C{5fz2QN z=`WNX3%Tq@u8_p1y|X6BIC0jIm=e~O6fD!Tu}Ya;q?EMRhEK2-CdDode$UGvhV2*E*QLjd_b$C|)e5m6n`fGzdRoH-<9; zoB@e(1Qvx^UUMx{f08b~4t%!j`~8i-Kv!#d`GUT2-9ZMIgSB`Lc^#dsL#&P8Xi8^g z8E)LIexAqq!^jDuNK;fYc?X=IJ?Uh?i8PL`LSnK1CqUS@yvt&Q87@3V5E2$j-gc zNpI?J(03cY7O}Fqxk*<2i0@~pZRV92ANBD2Wabaf4-`_MdT^zoWiUWR*9`ya(LW_S z8`K9VfRAGUw^?Zk_x}1=U>I5ElUw;P9uee(ACmRK%@8 zQo(uef^727j`ydD&pAqpe4f4#`o9Gq6u%o;9-Yji=yUp4Jxn+IG-MqQV8l?g@qgKF zqULOM2R^R=sB&2^sC+J&{(CfMDwd8zc@UB(@@-jpMFY&PwjsHUs{aKWstR%eit?^t zR*DT!!UYNb{{CyV!}MD4DE~lW?#Fg!QFt1$%RhGQf;^%PumF>aJ-4D%Xkk|ZP91dQ>6``eS{5~x?Ct3`w`Q!PsF_MFy!&@FFd;O2h^N!$lnIu6z%Y0R|Za6 ziv>X1G(Eek09eQdWqsT}s6-9dbY2Q@#ytS@a87N}nojQ98dKeBJj-Ym3kny@*$KC7 zPBmSpdgphz`NIN)VlQVg3ZVY)O#_<_9Tx+Gdj-pS^-FpoAgVZrY`s0Y{&stHdnxYcXdvS4 z`?cLrWh@G<&B7ICn=%P{S&-C8ctGJkW2MwpAK<0cdCOQ+~ zX;iv*RIZJi5i)(~gD!@2C2E*Cz#D#x7GQ<=0hqK4?gR9|CM^xp zyPf{$xlzQST?`OaAaT;4H_W(#1(M2mk?z8+>4RbwS>LlEYnYoeQ=Xt6ck>JHK~1DZ zY`gnh*E<|&v8QNsci9s>-{CMtpq1>Dus?)*bEeu}?Hm*eggwRURp5f;)_0p*!#btN zt+SFAsxVmBzpUayx@}^jegDu%u8<~2K;`>lHpnUyN2X$QB^2wPg1b4#v`8@1Kd#OW zfW-$qqW#_iV(_MAo6n%Z?tP#(^6GJBck!ZGuB@3UM+nKa;;#!sF0uI)g`oTejAXh4 z8w1p9TPjXjl2^cbB}ly#-TPolaAdupF2AEj)#r%Zx=VonZ#V^6ZM8^*|&R!OLM zmd}=LBX8V_eucX`69z#iZM*=6GGVR@{Q8mf_E)aQ(iZ5+Dy5!uk#n`z0&V~riGJ%V zqf95VckX@xyFm3sW#UUC^3*Gk3LS9YPOp3?QMNN2LNtvndfk|Ce+`&qkur%3eq=LwuiN5@=WE zG%!?b$GWB1 zq6x>ry&f%JkSlMq?f$Up|7q`Y>vyuB4_Rt)xts?knOvL0a*i)Yexi1FKEVe*}? zx08{k5!`+ieH-?b_kRWm0N?)6PIw@O5q_;#TxoM% z%^@rG*XZ9nWV;RSXJjq6?su1hpu{vB7!I^_-WlYpIjamo%J4f`WOL+y?cP?S{ z7#u5zE)eN9_?~486b^#Q8z#)H`oRoRE1dyylTyREhA=A2wu0pYY>Yr3;r?<5QSFKL z@T%)7l#1B~?02YP<`vq>D-Ra~ONGROEEjAMQaDkz{rDXYPIXB;V~Xpy>(5cofxxzO zJt@=Hp*|5zGe9R$BwN#O+k-;wx(67| zJIMg$P_es;>g&cZLrRxp(ZGo{JZXN42Xxb69Zlqt>RRnM*=22%mGoeXFeVKTZYdKZ z$NqpKp{{O7Cc?=kF|lZdzU5?+wWXa(G#%`Ri4D7K(=`E0dQg3$i(oSaVCAcMp2jdJ)@0~L-}z(Vdl6>%(J_2NGr8p!4Zco?-O z2rO0KG=Di zkT*!St&lZACL-ND2ZolG1OaEC zyOM{FK@jzs&WC@w0MWllm5DT^h0V>N0apXMn)(%qfFoVo;szviY&?<;(tC&7_u!H< z6=9Gv>17_cA1cy4u5B?A3_DFmND_;hXy>&vyXRoQ4vlzf3E8j>5Vb6{4l_33p96P8 z1Zdj+0(j|IV!2KqNB zg!2C#k`?HVUrf6R@Mr=fu6j(5th&X79`-_6~i+ynf4JUc1&P@INf@R%$yW7k@4`jkXN9aB0>|1LzC7r zW~*fc{P0I$Jzd)Qtig)Xf?)i87}*0g&Fp3(7^?AqX~$j8V_gHyN1@Ge@cv2Pd=lNz|MWe%SrBqw$C8z-d`Z1DE z^JDH@K&gYFVCUJ1i^)w%4}_(fliUDSNmp0Q8T?Qd3^U~C{08+B`tXKzD<|gNFHuN4 z5}H>+*z(FPMC9H)Y&QL~zk?s-NMe8n8+rmXd=DngMYT_aB%XGms5{EMVpmOm{ZfAt zu+G{w*V?UWJ{K6Ll@-k1yV4Lj*1vLkU=9&BtoHIa|H>pGbuXya~oI~Kiq zxVtLfcXjR~m)+6S7LNVQM*kwyR0b}<$p>>!P;7p3f`VW<6?;76dd+a5WSe~*x~6Zj zJpWm)vc!^SVdq%qM=lwJ%FClk?8iU^m;i&CHYD<)P=)lXil^I49sJ~KBLNLPW6jlS z78yi(uIl9QX~l7fGVm=_Z;y6V(2nH62*$rAVgYO;6g_*+e%618^szwSa`x(4jjQu! z$lV@V(_tA^S3PFt2~U2H=^Z)z+_PsB0C*3ZU8^pbZZJb%_W}M9IttJ!Q_z~BRnrUS z?+j6?6+!SMKl!*U-@;siJjaD!BY}UW#<0XkdmM}bV zuE%%{^T~M?lbaG)?=AM?>mr0YH03>>0mP)B6 z3s%1i2V88t zDp=!FSpU{}nTG7G)vsmf`^`I-nYQqj3@=b?pDGan5>>4UL2ygo!m%LqDZbK_uG}>( zHs}3Ye)EyCdkKH}ilgDywWa!j0W60@6y4`87^;KQ*--F-gLoz@r!cOkm6vN$T(iuI zYUds4PSl9JteEL~(L&Oza+?`zrzh($QmH(<38bB5BYq3wKvw(gOjzK~_*J zN%o(%j}2^KCm$XL4M|N61yxp&z+v}bw>|j=mNmA{(ck7rU50*en3ND)2pwuMcW(WjrPE>OKGXv+rsJB7E+7{a%xr~pdI&pN|!Tn#pU@o2}Y5(zN;`s*NifKL}i3~6a zlht@FaacSW*HYzQzrRsPLCb{-$+B*HZNdp{rWD7hfJa zoZyVktR1y4cYJ1)BdM2PR(sVKAhqPhAXS|MiYLp(BV_d#NMsK%zjst6OUJox!B=aL zqG||#g@AD3&GyKXaKThXj{RZca1kZ)Xto-#02sNTq8mH0A?4;6mT#M_oJgh1068O{{@CK5($?BG1q1>eMWSL>zGXP+0^7{ni%x|k z8=jNPD?r}j$zLCV``s9;S5ly~_*H`ikq zx`^SkbJ64^(qLNe$l3q$#2m51HO$b+8fdbj32&cjpY_@W`R#(2dAPID1Avi$w{YPE zNkM1^a1}ZSV6N5QL+IZR4gn|H0uotJEP>LZNa_DkFgF-;p`}k)`R)TG7qpOUNsi@rC1=z(Eop=prILjBj9B*GB)ElG@=fZtK9$c6?ECa)OMld zNxO8(^hky`M}eRLnrLygS<9lJ1$v|Xe{zFld2K$Rj9Q)IJc?fF!P1EPmrMXkHH7W1 zxPQJ3M6RNzmz|AJ0~AqD6i9JE1GXZsto*3D#CXPqq_W<2_Vtd*ZkUL~`KjY>y?rY4 zwEGY{UGe83cM2&@ycIvU(FuPzV!`DAKqG3vmV1eUE284!^xe?m=XUo;6VP1bxrC5* zB9gl-9k+Q9MmMMU7JxE?6iI**3`l*+to(4H57Pl+MEN#5XN_oXL&Kwme$CBHnp{C$&9}jON>dQ>2-ZhrDWkXa<+%Z!C1nl~7UG9T_$BFi%I#4L{-Tif&K_N49=o}p*L*EyS9?|581|5J)JM5LdT!?xt9 zg_ctbIXpQOpO~YYmGe9I)I#5nx2d{5cVl$Tez&Y$ND5lFyWj&R0x53#?EwlsPeHdG z^_X&{t9#2s4zySjvJ5sg@rfl1_4e*69@&2K3+~Z$UpbZs6X{iVx*AT%N;RLq(U;*Q z4JGYs{3b_aeefph^6}7;cerGJHi~uWntLo-?hk2QCvnPUen$3*>&&4H95v4|RhBe? zXJoVmQT4nGk@o*%>%HTt?*ISsm#wlYNoKCfo|&1IR0tt55|X`(gY4=;X4xYuLfJbJ zP6=gZI}TZu#4)n>@9{dW^?84P{EhFmAI3Rc6#`%0OKM3nYy&&?-QB^yPQ`O~;?7`dbFay=r`}-of znbK0Ztt-bGSS#yvneD9uQJy6d|Dqg#*#dh$KrdUhD6cq<_UIGBrN^IF6ZD1;p9ntc z{QmX3#zDj9ROo9_46p$);0)$tGAH6;7j;cye8kFIZ4GKpvAPUIy zkOizCQ8B*@-NAMsPs87%TYIScfm_gcMA&ReB6Yo@V?sUy!})i0bs{EA$iQQCWnnxI zqSg5C_l1za{9?lKc;N=0ii)}c7CUH@MEWyK23P%;M;$Yk3vhiaM~#85H1w+qY)CuUlv0Heo6R}w>Ju}y1C6hKl#7>!c5UEpWQ1vInIfmPY6>hEpw6-I6+!wwV^!as3+>$H76ggy9S6W`qxAk9e8W`cbF=%LZ0nRIJe&yQiBxZ7-im~_aAGh&? z$EbOiQ}WhimzAE!SBmAMb3xmw9}MIUEFFi}Ua^nO;zrWa zK*1uvxdn1m-q3jAgGJh^(Mwc0U^?O?!ky{BFVqxT;%*}C=rosiaJ$H}e|GLC7%QP& zU20eB@~8w!Gv;a1G$A2<9voXD*ixFL#;2#(YkOee$C3PHUdM3!_O&@JkL`wPbN?pE z*>=(dp9(h;DSnOa_TzVI=T?=J>^+>B*8~J^*Evp|CK-Keo4>m0YtpaNEZ9;RL&n5| z@>Wst-mfaDM(`VxY0p&B8d(LBork?w8t4jb+fWCC{a;?njjYPiFA-SAWi-3pMrVBt z-r28uJm2&{8w_)-F|qxPo=HCdFkPEqQ!=@&(|pMx*D6EMLXpJtmXST4r%gXxen|Y% z=p&qr^taRs>DM)z{GsVQ&2$j!vJBm{%W&W4t*tx3Qc{ZLwK01a&KoN0+O8;G zz2ql%`?4_uc@#4>LGiZ_9kvu=9j%PF#z4?t(wyOME37W?mdYFarOWqyUL@jRm~;U> zJQ!&0k6BYiR`=vUvILVrCZ-dYrvo=l%EdUwe*a2`)dj*3WO^B4Sbv1{==xyl390hA zz98vsh2F?y>s+mRQOLn!rshLKi$kRg(o!L*xNZ~A%aX>RjR8{~cYdBlc_m{pIc@a9 zs?l<+tvA9{fk&7t-?6$`LwKyO2Y9+CY1>sSY=LayDNm27bmE+Yp`-l;_X*SDF;!W#J4g)ft&FYvonOYplS(cDzL!0%+ z?Oc2A^x)S={F#tKG_lKVYhoe$Qc!B^I=p@*0vKmEeSE*n4lx9%X4=|0|M9sPt3w%? z=S|k{K4J|PooSbGf6!7m$7QE0ia-PU`Z<_tvpGiym^Ub zZ&3i(Eug3vFpy^}SfxDE3YPR6;>X3cEDm8#Ypa!e=P+BycTCe%TlTtxkDt?Qa+kwG zbQW`htTvg!4d$Q~bvf$$-F@I%V=E%Lm-ZbU5 zRG#tfM!AsjsuQdDs!fHv(RF$=T8RD-!4Tf+cipOQ9GuRuhez_`9!d13rK(2D9xk^u z)JKJ3sQnI=n7lP8g_?>TljMuqTo%9G4>dH?3l{^h!%yiXx>X@&en3P1*;779-n;Me zwa=Q_XL@Sq-f%LN;g4+Aj=a1f7o}ZlW5zlGgdb=8Sb1f^v=pJ^bs~lShZVUZf@F!{ zM9MKFK!w5b`dHa52u3t_ujJh3>6(2!WNR`6)*bY(6nu*NHU^~{>&v}cHQyXT$lUMD zl*gO}x2j^`c&CdO%q@62Ofu!%&hC~!eO1l9QP}Ct6d}C5*DFu-Htz(w^%bTjX=Srh zit^+yJH6>P!W)+CHG!99{|A&+Cv15H{rUx5x7V%B>g=il@80=_)O*8$z!2p#j_%d` ze83^F4-$M9;pp1b9wP#Vi{f^c*T3o1*k@b+FbEgJu=IBJZ=D^i9`UyrtaIzCAGkeQ zdY69oW$TOGjTbb+2&qYvUb=Z(+GQtfviG?*-7g;}+;`mSBr6I5CyPiu zH8k!w*q1(2^)#zbeVr-8#^dr$0>QT0EPRW+Rj}i(oNpOQ#m-*|gEq*AE4SD-nEC6C zWxSe}rKt~$dEGuW#%-TjEhw7(??!jZ0H6NT4w6cyYWx^OT@a^ZN# z=0M*OTwp$1NLSbvm4KAY^BjKk@Ak0!`EV3O8TzkSk#mn4{%LNLeeuBk<1Hnb zVc=KN4x0d7h1%Ueds(*4%WKMX1@N}c^2Yfy%KZ*x^nnntVU^L3NKq9O=~tu{Xaxt@ z9j(-*!q2YCE&G-0N@z1BM*fu@IJpmPE=kx;=_=^%{wbE1dR{BT!JFkJz<1%;p&di& zvCW-W%dLyFqN#TRAEC3PR4Wn!5S#PP&?ijkg53Q*)&-)?6)|JBBmM0!Yi*Njfd=#L zoo8DAM|B7;4)01)7@L<%&9lj#iO0QzrUrb2+uB~P-!K&v6u+)@&`rdiRP_&l{UTDEFE-IZJomFS^FTlWSloF@y^KxH7Ef#o7H}|eSg+-TNhbPq z(kuF8s`Nl83+nylZo+B-%p|tScH^&soNk9LeMd|QV&ojLdpLt_Jw1XYLj?gkza%O& z-e1J^emybRUSONNpDQ%I((Q_aPwE?+^Y+7K!daasP)nB&q7sd~nLvfHtIGgUsUaMR zzv;`pb~q9Ghw;0r0)jl7Kqq6P`>;Dkijw16+9VK0q)J}pz?llc)&rt(2X;vDCBB+V z-i)`56{;x-Hx#tC&lDZ>N(%;y4;Qv$rrMr z>C2pFN5SwAjf_XZur07qLh_j_n~3qD&Yb8topy2AqeT>u3sRatPMwp3f_(Fp%q#oW zLZ_=rX*svKGJEdrCzA(SAmMQOaq1F5<0=_&oD=SWz&VW=$?+(|!E`j~7&<7FU-PJ* z5A#KkG%`3$&X)nFrsebxYY2C3zkq+-{8MxVkVmcEM)%o*mr^Q_X1rwBh`&9?!t9(N z)~K&vSy1g}2(Ela_8p5T9lb;_DG64qNtDL#oy+sktm`P!@epkuCgMfq0U|u3&!>XE z;3EirUnC?XShXHO5{-zBxhKH_02@hT)@IUuJ#9n{et>UN$VDIgJ5e)Z?@S#c0Y^Ld zKJb6zbkvWMV;9wlP#iW38a8fXffu6utfN8Zki!r8yRC{SAdU^|Ye2Y!2k<)iQv>*u=pW|@C%j<^xLJ-FadFD#KuC} zLA!+X@zT`GM54#)YkFwEAdV1;V1GR{Pn>+q@CWsMh?<09Vj8f+NH8-&yMI(U9KwBr z11N3A$R4%b)n*hj0f?eV2mLC4*fYK-|S{Kk$0orGM z|1+#cl_f;K3Zt!XJ_Htk%ob9!>KTtGVi(m6QMH+R0yrMZBX*WzVCf`gHKl`i(x5}d zg*9F9B2&=Vo4RcRn0*OT2b2r^eV7Bckv}OLnUmPdRn*?PokQ|qoc(i#LVbB%j==S@ zU~1DBObZ(yLhMmI2LyP{x2{Mv^Jk)0TmGxHW+9W5IMbsD@0jq=96T7%*2&2swg^aL z!lR0fk*EJVv_=DAlyXD&x}fVe5*~6eT#TF5@^u`=7b}o&b)ct&Ln@tJr$E(BAH^Fc zcFcktg3hx4w&6UDjahi-fY>usr`nI+&+LyLbXBt(vhu@lb6CYvnEmH4?=xarbpd+G zivhF-DDgK$piDbn>={B0S(r3%3U~?fo~}PR;Aud3)H$$W;AB98j(TiQNC|VqbXA!! zCBUW3L5<9rJ!39tHaUO~QZPuy=S4WTp{`Bv{RtRXR~{Y=CqX8NpTMD?IB|JzU|E5c zBr+uMKLbk_yfcy6L;pMZ4x>X7kM8N%KbYS$BQF0x1B(kCSiS$9ZUaF50@!ZG@zr#d zdIAOZ1aWdSp!y1Xf>#;?_$~WRl^~wXM$_AVrv2ryr&~^stR|o{bpQl&7hU8z%7G^- z09||_U?1+1+1|{HoY)(-+Tmv52Vow8zN3MW7-S#;%dkh2qqLIBLW(p4&}}sFXA*nE z74`}0nV%v$&6x*C%?|y$+Nob$M3P0$!q#DLciqt~BQNvX2bxzLgP(oS>#W}O1ZHo#ni%w|@HmiB_%G;ba9j;;NKg;B! zystM}l44)Z5PTO+S(qnoHZq?xH5}z59%?j%AawDLiP-$^<#g#7^NwcbwZp+PO>RbU zJP*MS_YI!*#yYK~eY2Upr1RHi2I;vUxCfYy{Ypz?RI-z1$gl6(Q|NntMH!?6=D0XDal8E#v{J?kvpWGlypnkq3fVs%$_oa5UvR zP&uk`LWtb3ejsj3U+#1{zGP;QI1*_eG(m}^p!U{;zawjm?00F}^|&l1ZNA=}8-ouh-6{EgN<2O$V^MwM zZ!Un0?jZD;wUV4|_s_qtb@NXBxx=M@Jqa21BJ?+2Z}3UzPd?F9P03LP4gTpX9NkJg z`O{VXboJiKxL6$xW89-GraDJy5%#i_>jR5BW6n;kE<=c!?yES80HHsc3Jm4+m#@XG z_NR}CpXvxs7WBY4rMS`#wFOc+uIYC``x7EriKhNT zm+gJ!IgSM!G!Vl7PT#{jYv)8v{-EilyOw&b&yNF+eS~*vso-y}>pw(DZpBDi4c^g; ztudGOrW)R(GH$b6k!MO~4G{4P`t(w6tz%B7~!h1#U7 z0E-v3sVerLYR0iraPX5&-zM_n26{D1AC(SrWgn)F(;-}o&zfpMf5Nsa36Lp&Z9kf# zqv2*ZT$G|fMW{HUY5ofx)4y>J#(}G*#Zm2b{g_L=$F>8j?C>pc zF$~VrQ3GL!q(tPzN!1_`lQZdpMW6_JXl@h!c6XCD?6J;9t+R+h_G>}ZF+nRM5k&zV z_09CI%bFYy{0iA+SBQf$CzEkcimMR?m_nSr9r@@=y z#dKpGDXD%*3_qHv-1g~lecJx#$FGm`U6jvLTU<%bvQ80uBZ)7WtFxQ3lYB$%woIab zs^jiv<~JEl!}u6|u`#PTp@do$-w|g;MZ9NrTjT_opD?P_&Q%w%s&oS5+}F2eajfBS ziR6=3sAWK=u^DEevF7&otA2U>fcqXyl2N9WXkd12-cAmx)oF&*;g4nDIAT;w1nqA+ zkNBx*m*vnx=?9U(?9~uU!?f)5S0eypn2b z-qg!c8O=>O263C(#!K(gqyn$DETO@(+Q;)o!n zLTP7+Gu^A|XsT3#k0<8U2T>Xb)J&>AEyf<Ogt4ziO@Sl^4j|Y_!F(= zeK|-o`$_w<^QUi_rH-$*vgk*g%f%O`?vC$d3Vd`c!QOjp@ysClE zkA+TZybQ2BW&s+fwqn(2xU!D!BWu>jBClQ>#p>K-8JGemvYecT;7OB?bBF7Rm+WpA z!27Wb?lPD7Pc3-PXlax>{^S6OZWs=CCU7G`^BkZ1qGWHyeJkXm**Q$4*yas5jZg@@ zKmO3uIRYmxEJym~f9Gu zltLy9W*I1}Nz>ku=krPQkW8B_)x6@Nz*aqYkrxisy2k3Ugu-ApSKcg~6ge{S_tpuKgTqj? zc7^|!=LdrolO2^2(I-S)c`wIJJcLeUMU-qGD*<%LaL|@=%iMCxft96Yo|NqDzah_^ zQ;Vr^8$la*vDy(?_N3P)xnEwhICkXAzWi+t<1HgKU8~-1R|iRnBa#7;=N9l$y5Q`6 zr3!%njE7IGp*BvB7tUDYzbFh!VzYbew$(`-bYW=P^Zy+VA$?^iol~>=C4c51m$*hZ zMEMB`N9770`D&}3x!wE`C*>BEWoDi0znMTf@LZGzHB2Hu_t+BG)d1$f22Vb-GE3{F zT3@;jBt@mS;8w|1&H!Ct1?dru5Usth9Y-Oivr(Tfi8}pKFYn9N@F(@t z3>|P*EQawK!wYcf(Q_IcmX4g)jICk0u>DZxkmD0VJA4)ZCr-s0F@mY=LzHlmqRx|# zg(O|tq$<(a5Wm035RGdC0=b>d1RsW^f5Ir|PY+5#MHyO?Tt0BS&lXDBOrX1MJq2nK z%|Wq)_&X_Y?+5Uq-1OAGK`AaY6hf8~Pc&ChQPsXspWH9)7KbTN%omt7y%%?^OAz41 z5XX7bes`@VKNt=Yp!rId3;+j;m`HI6d{B`6c`)M1c1+n!xM}}OLOqru>n|R;)i=2C z+LtTZ`eiw66Ec30w6vYqs?_*0c&qHD9Jw`0FBqD+f#Wxuy;_^R46W0wC^n?rKyEk<5B7Fum4W_3`kzmC~1O?AWA!%JJAHjQm~nsvFf&7nrO zjV;ZU9NzsY7I8YnUv_E>RGaj)kskiMIHY*8 z#NQI4Pj#p;G4Bvkl5#Pb;^HOrwGv5a!{0>4H)2EnYOz)*$I&Gy8YxOMA;Scd?kbv> zf@hJH5Dj7|lc1bs`a3>fI{^)x$O6iia4~>+fY)?i;=mA!Rs*z;Dm_$1{$zlNa3xON zR;uG}X6%HFL?XE?vC*>6{{xsIQUC)x%cNL2a)K4`^>o26eeK1D@f7EZP&f^#xX&9_ zpqZ?|5w+r;*^~aAw2!#<79CF)Y`4iaY;sNZCo%YcV|Z)@gQe@u7%Ts!49$dUT>sEmT@NZXa zE2f=GN`w+?W`;e@=}{3SI%?jVHyJ71O9!5#0$6yc-1D(2oPZ{abJE)~u`>Q&bP~w} zx)rDW2KmZMLyOj#@1)!SU+$rlHYW6FW@0IBSUB?cJTf@cyx z0S`MNV{OfLMxzvJX@C&2cCN!j&FtELhc#ld6xR?TyKRLQ0thm{oNXvCL2OY-Ta05g zlDEIE*77`*0lRy?M(M_h{}UU)DxeQI6Ta8oF?=1=Src_@VRa1WFY}dx;T7oNGQ%iu zXu$A?GG8cuYzt<-Pzna_CzSleU;Qh7D%@MK(@ONMi!aHE^ zT@?s3hEiN9hXo*=3C^6ys%1j|;5*e8zHs(myczMNh7jh{>UK_!&&aC0NaTc78Bg-D ziQ;cwwIg#VF!C4vN&K9qTGGi!?CVot*rb7hZ6`DxQ%lju*Krqr9~)_YG1n8Oyr}K>|XMe7dDX{4ga4B zI10Hs5Lexm=eQJ}ocarAC1H_#%)&95tMb9|PbCghJVtMrBz@KojJ)yejmHbbkGi9QcJZ-R?C#a(?UU+%^Y%R`73(7lfR*Ps1a~1M{-o zhF^OQqz9mm+u51h-9gP8wfug^jI5`Q9Luo53dx=URuOSA3aEysxMi}SkE>NP}c9xx%xwlc57(j?erHHKt z;DAa(M9I+h#JN2tBjO2sL^qtOCHRhBLN}XJkbvGphmnrZS`^9;P5;@YlP<`iiMp{J z;JW`$zk+`d4pIT9z`OY#3Z@^k_#tx0MVvUpAfe$J6dN6%VQ|ufl-pZv=#ghWh0P| ziVxqZLUTg_iYT8{_#yQ_$`F}DGNZtY3@CC>P z+4uu)OFU5_KCr+S4hWZ^C@+IUavwy|wqS-ATu4RT1vjX zN6TgkztCqgg#_Q;WoW?t?>hK6UHwlptuesej>t9BX)`Uh{EL&T@ev_sqz?ul^@2Nq zz&eJlk?0;8z{+6B^|4<&o-r`#uOWn`1*!{J-GRQp1LZ33JCq0q>;F4eMxXoz>p$AY zt@^?o5TcjbYbI|19I-=aEPzxVhK$b-3pBw%mymi=wfiGG`dcvh!Cv_ma^p$#W# z-Ftf=o{(J8M5`i}^%0Gw(7wf{+L+Op8U35z0|$OIyMTClLRvAA0bObkUDWYQ?LUpd zd=M^s<&S^I3}5Dry>D^Ax0umfBq%@A^@&G|>0NXY>3dTP&JA4+?-wt3OGH`_&t%x! zD69oCN2Tflj_O%>g_ypF@#6>vsd;6S=y0Wpn)EeR=s4N`XZ zx5)0TJ?CwqZNUhCy4ZA+oEb9h6k#J2x z>@WFCMJhE*8{^eq*t)=(!gMFobR!e26yX>@80Eh;kr{@Vse@Q3gBJvv?5v9uoV#n% z{)^IeYvW<`BkSgUj_sKo;BZ^FY+Sc&U$UDru+TzFm{4axjKyYo$J=jH1T zD&%>+`*2`KGRde>(?sXuyVb&JGnhNJWZs{@ikrR?`w_MCGpcs$cgvj5q#Wu5EPbnA z%}OkFWWjR_?9fJhAn*O9?`;df=3@87xMQ=X(BAN0|DI5{z*@K9yu0E|a}W;G#54M> zLm=;?QMPE+^55uo_MJ9X+USgeobN@mOF}on<1Qd>{4|M~W>532+wLYPu9`Mog(*r0 zi>r~=fbAPfwiMqOkibT?rj zOnO1a8ZCV%Z6iG+>uBN-4vE6ZiIjfMCRe$p!IjShvv(tNU{F9v1@~5sJOw;C3-%AV zy-KyQ!(_3gNxwOBm&yvCZT^Iem75yyE>7I!ZjU@}S(@uOi|_umrd;9gus8zhuG`BM zihTvRufGOl@?-7N`pFDHWmSNY=KzY`cDe^!6LUtnQ(EHes&~~VMF9(%)IWi0am6hG2J#^JA8++EE-&Bk}XPrrfe;)_*wV zVso@1SZ;f(o z)dBe>_*#FtFQbuO9N`pelb8uwtI*;MJIC9ID+lt9m6uc|qnmf;wQM2Rc*_Iv`{~CV zEQ(I5%6c5aIDGz3hR@NMtt1C39w-MGbZpyLtx=h8hVx}=?qV-(B@RxPm7l`g3SapH z_1-)RhjEZ`q_WCZPvv4JcOG=tU1F67!=f(&`#sGd!mH5!DJO~@b9t--WpDko`P^mL z;`tA8e8M@u0Pt0sC?KRq6M6-Mee-%M+HM;alRNrb^AC!WD}2DL%9L}#qN=Q+`vdTc zr8B}WYP)sl%R1pxwdpiFI2`B8$iEtoXezg_>^K(%)_GQy4TrBUImgspGCNmM??cS| z?e|K9BFx9BW%Z!Y-H<8kgXPjAzq|8CFj&R>M~6&1mZjgl=nu&qglLVRt)nLSNd1bJ zLyFMNF2;I&vk$8-C-UIOl4w3`O8>dN7jswk+CRgSl!0M%(Pc%7w3^`0WxQ{h2 zOWU5U33GPlheGN>#pHbvN^ZS5z!=_t7e6asP|EqRw{>J7((YDI)NAu_5H2Ml8QEnR zc+;s z?|vS`6><|CPr1Cyo^&75GV5x&(2?R@E8(=(uyXiScjlG?>4Ee>u>yz%A&?(Ws?tdiW)POgs4OE-G0BqblFK0PyAjB@b1(|LpXL!rLg6;dz%h8f3d z@!9vsJfZ?DHSQ%bYg-HB=nCktVDOpVG4)aodtvYmU8+oW2JQCykGWS6)JbY%bw2*@$b`SI@j82a+p*3WO2yQ)=ya%iTrwQ9pv1 zv+SgC_Ok6{g+-U1qpoiCt614oD1ETLV`1#qjU6wyfQXpPe>#s9V;%ZHe4K;iXNYm~ zqy|Cht0uccwHF2bLLfS!!DU&#V-Yo|$+}Tbvk~lE^Xu&z`gA`uXUnwSS2p!+X9d<} z#@gKM zuAR}Fyw$m)<>NLA2z+ysVXM542*BA@8YTCvkGU8u#(aValYevabxyvGf^oKXKhQs? zhmKbS8%;SMqs}d`zi8llFV#@%sGw>T=KT*g9^0x1r9B)Z6Zf9CfLgw*hX$SYKO;!< zz)ITG>$$2&a?5QV=O)*of_qR}?=Cx738cztZ&F&cX56@!fW|;JQ#xiw^s5He?d_S1 zY;0963F6E+me@W^hxQFNuV4s{`e7%FoUmGcc0Rf<|W~gXjJ~V>9L8hCHQ7R+%d5pZ-W&Q)Gmi#-^O}`uZ*D3j2fow{ zM&aX2Id+X$1@^=of0_6+)=Qb!?oNEN5jbF{l=4$P!1)cwocsrvTq9MEdPRd#eww>^ z`ga`g{yBtEj}@Pvt^{;I3lk0o$ko);=;@XJUJxW1`V{%=N7bxc#Yt*XIhT>v>9LVtVgqwENTv{vX*|DWS(iy9ytRC4+4EL?o!mkrN6lV zAVnr@JwEvvccjAqdxf5_!3XQE(iA8LVhDD})>8^i7|+-3PF48|%u|_?G-s|C4x?i} zQ{mT4|J`Tto}{a$+{p9b2(mW+*Kxy7si0djOjwIZ4jgwbeJMF<3`iWKR0(WX!L#PEohE7(Klnp zD()hEfWH;T^qW@IL7}Ci=b^mx;7h`w-ixtKKencdKhLL4W}m3naB~=`!{L^rSLU5l zv+pQODo4SyhCYB@4FaP>=`-9Yw-BUW^b!UO3T1r?%jd5(>Y|Jtlt3u4WY`mj;io6B1J^OIL=mK_N81xne!E`OUAbSShsX-@5^!EJxKToNjdXy zL*s2s+GON}d{cdLxh>@c|M2rU!Ooav4K;ROv{QgkE+^++WU!<_PtW0s-H`aMYi4LZ zMRqgoOh@o0efwhtQjV7WB8QQ*0f?Hs*_w>(DYg7rR?eqG-HqQ#l)oh#Q4h!prDyCP znk%wq4Z&Imomh!r>0vB3jg~Z+II@njfwT3GYA^s}f`Jkvi)Nc7bvdpIYyuQE4-hw? zqG^0hs7bSiWeaXaT_dJW9df->Vo-V8*6hmnn@Zd?Z+_$zu`QLM;*>X!X1Ke1d% zTKDwVEcPG~z4`QrePkqvLgf`C@v!zvAd!s9kS^Gw;r`paF_~}7_ zoS6A>g4oOB%;QPK@`;2xNOa5*2S+bgnwCMRz-~+zsP-*}S zfzMBzGh(am(z3ekno|LzTKF*X<3g;jym6u%iohel?&EB|$UO|u0|XowaKYw)+W>>F zMDSP!FkYeTve-2-eq+btK^+5mmoYU8` z|IfXDk1Ailxts6Z4+XjUzq`nwv~NE2gJ!+2;!KX-5$p^9Pg|lLkIb6^kQj6arMzdV zgNA@_@3kpJp@yl{JQTIwd&+-53*QN#LV2U`BhL&(Dfk(E53Ev}Odzs31Kk(V4@F~W zfT?JRsz&t$aP`sIdy4~Ry#E=XhKTZiJB&C=IKZ(Rz2>}`qHz_{f=WSv%c{fQQqr9X zt3RxcpyL6r#MOks$Ef!D0L%ptvE^hEzZ5IQVp%U*c4EeTJX4IDrXJ3@*JtptI>Ght zU7xN?pUk`l^}~c8hM-)@m3tfTWYBTCgSW^g<V|(ncR~N_Kh%Hw_?HCTe z!G8y@Q~hd9J?hTcAF`7{gXi81U-0?_9SREsH)}*mcK4eV4>7{EXTl|1z~c1Pns5UO z!ros)O9=5b+u|QrM7E2nXWUrr?$6>L`TTX4?g5)vLfH)Ar^J#;N6?_X9BtLMdf;ZS zJA2bY7j#@6Bk`H9#u8e4HbPkK3JGowK=r_)K5roo2=){@cx;umF%|o+PvWln2OCti z+}eMInHu@|9*Cz;r5G)PQ}Wefs&wU<{xiIA;v2aVh3svfv``2GhOPDa*lo4lwJRqg z(;1M~}pE$3{zG6jw4 z#|Ix}KOId)+*I5LDW$t#vP~9IdAvfN-&D@!>3TmL8ptWiNOI zG97YcJ0c5EMGrNcya|o<;?A!MrnB}f*rqz}>X^&$`7)wiB zs<+9z+0u6k^aI7*5#od-LN>KA?Psgvs&4zCO!0B1tA{IAOp~Qb|Fcp#+LKQJ`9Z^DEY2CcK1ze2$14BRV-n4zmG8?B zQ}(&DgI)t*DNEc`mwbmecLuTA#lrG8J&&WD#%`0Uo_HpL+j!)}!24a6r(KDcc5O%e z@INQ{7Xf(hg<}B(Jii%`i#_rw9VL0&8+be(hkYIkOqlIuo_X&<+F#@dVp zTYkIoWlLDOOqJCwNww=CQ6Cfq?RTm>Ye6v+Klzq@OPQ~C=+HhWa+5ZBM8$POz}*BY z6R$kxY7-gEDSZ?cZY|!7K99&)Y-5jb>Po^_%)UwffMp=}CteV*z)arckF>~lUxd<_ zvh2C24@XvM53~5xjG?Dm#?yynINhF#Uo-FdB3_%w5?G(+B59P6mRL*9UL)*_Z;;MD z$8`SoKLSe)t^9UJU2zF%NwUi35FYa=RG17jPq3U}kjnjvA&F7?L8g7Ro!*p3DSo{V}!|ooz z+QDua{@Pcr*R}@NY1@h`tl@8DJXiNf^Mk9an#GNJtxbE^0#e`&pqFc+I96=+yoNvM z^S__yPF;cKg$(`yvn%4Q3YSODFL_t)6FrmZTIZ$d4dVw`4NxH|ZPvo|=|kALf#MwS z0&3X-kJi9`+P}&lZ$(@zA&)l)cBH1?zoe{*AwUb&o@`m1my z{Lk!q=ZX_ltJ^=NJ5^2?Kxk;po_s?X>nBeK`%@K8y4i zmm5#Jn6K~J`qQJ$06tWr+08C8po#hE-pE4>yLjcy9L1P>fSPP8JKm_ z^x3$fP!;Wu@(h)Iyn8KIUQ8Tw)2qLCc0ilcmrTipGy-@61U%HOLa(>H?k3b?)_V4k zL8lp-L6zsy`_igK;%$Do?%H;|-EWpUvx{o0TXu2>f6laDgBSe$b;S_UgaK4)lPEa0I1_7Trzxz4&Z*Yf@=<9j&1P z{}Is>MX>iFY}{G(--T+Do4DOA@c;kDqXcprludQO>{Z=XOWhV&l0)r@E(#JPuSaC- zg9rrfz!IP!ncqSW<{MDOrysqtsn0@#N8RQysO^x%KL4#I|E=c2t>$27_3mrb3#pJl zLyevz#FVzDw5F@lYTck(0EJ8DoZo7-YP6sU_;}hxHf4xi1bd&?(}O#sRkI1Ee(Pg% zl;@tumMD3rU20)RN{R33pw8Ar=()F|0O!SAJIJlJhNI@fMM97;NG6d3Upt2#&~|H+ zR2($}OIkHQI9=4P~HR|1?502Y(_>dv2Ao2i~ zTWDVuZzz}eh!3;nzGCFd#lLE>b^5sl&|Diuhe3TwG{Tub2_+sh zat+Oa_!-qbiSc2ZT*rxa>)?i1TKA{m`RpBT%()Zrt3vYF0{9vMA@J`gr~ zT&8_-t3Jv3S5;Q%5#$S`?!h2OY!S>ejnH8!8VOGVaZmk=fCtB2OcHwb6L|w5q-^8v z)wZhT`UvK-Fa$)ep-{xg>VxA3Re}f;<$Y6=oGZf7(;x_PEAyO?6-D07K znX#M|`}Ng23y-k>6|;dVc)8W*uu5mJb|0D!%@W~8kV*8x2lnTeJCY76Ew(*XAw`Il z$B+sTw1UWeM?~l$2|^zV9g0={RmOnI&4cOv1ym2|2oP1%5NuYb`Q=9hc1nb%@7oV` zcZbk6&of~TvgWZNlrf~$nXT;-hHISb2hF9;HX1apGB#)!xP6WdNF%*{`5aji>CidK z-}Ik8b25A~zHaw3UZuIGmpnNyu$*G}C6`e2DCLtCx`UnRmB!}jLSN{PEz!NRH0aD) zR(VvGW_{U#Gih?j`}>I<&swAs$X|$XhC#)~?9KP*7@(YH&bX*^tj0S>v_(Ev47a(n%DV0qSi)h0Ho7Vgx(cTuX^Vu>nd?T+C!G z$!)l$O&+8!{V>YHKFG!OrN&|*4JFy@xR_6{i!9cLf8Cw+sB0-{_2#fi;XTlwF56P9 zI8j_FSGe;H*i`lC5)nJH19U7Lz2E!;bS0>E(7x*mC+@}dcSkicA7IX`TO}C2fAAig z@;GMgGZ4Ib3;mX-rlz`Ry_$R!Iis4;yu1@o0~R8ji50!zhMW1$zAfDNv#b{kEB~OU zr-#6rD&&{+F%Ypcg-K}aj*IM!qjWK1DUTJL^`z76L1KO0jsCj$KV-0OvQXQ#kV(&) z+S|ib6Kby(qCCx;RY&BKu5ibE{)U!g^_1U%wM}Vv3-JBsOPSxTH5Td`MxNAhkBX)X z-UyS4?4Mo+sy0le=y&eZk0-s7vs9zMd8M6Hh0-3WS(|7*vjiv7;SvKuOwv!|uhz!> zY96o(9)0H1mF->8p}2|i7EJT?fd=8f2<25O)+7w`_22Ib9~Y_B>@Iuy`>GHB5&wYg z?Vlv=ufdzm<)tW1Ld*Aw31EnC-#)Dx{n99Ta@`FU4+-k~oi;twa*v?TluQfz6PzfH zF80yDROOCQU7Vw%d|;y46j%yZ2Py_<-AZ|(Nfnnjc2GH40!;g9>5xf?BoVpgcBXAoRb7m&xlBlRC4-XIHC(E<5v#6y%`l9}c9mhxIoupDU zT!S`!6zkk90uFmh);7A{*m7nd4{I3T+3|aOqur`hLZe=kEdn0v=ZWF7LqkK1yG1SE ze|I^KG4vk$(4aA2U3Z!zDpOxEt=G=o!{ew*r;E(cclsBbOkoWZ6BcjTmBA<|Dhf)_ z%t#mI&dlANs>X zLonhNJm1|c9Hw_4s^%Gikn+3ub$fY^1S(7aa9(5PsHTR}p7Dn-z>RcBQYmd# zr-kPEwV4z{YR2uC-@xpE;vlcMDxkr19r|yyCfB;%_3TE8IJM<|<+92H{uc`R2n2$S z1V6{BPmyuCd`H+>IX1eZVJc@Xvy#8JE04Afl+|XsH&e7`B$=uicC5isdij2{Qvq|E zXw%vs@S?)jD!|`KIHB2B{vrMrX5n59a7;74<_Ix`O}QC8jnjMP&(%$;moB)}y0EZ3 z7(0AJjNCEO75_DvYvwYmjLy2eFq-*Qnt$+CLZfM7VR3QMI0}2)==duYLpf&Uqc!D= zMQc?V<2z8o35Xx{G$O<4^qI`Z@4+&~PGuGNhH z7kV%)WZ0ORULNs}YrtJgaJn9I*YC=wGB_4Y_7$!T>VDU_BG%+7m9p+(>nlIMs%L%lDCL85^#x${Q|1B{ zI%Q75r$Xi8Bs4O3`FFniC!T36Y-fOS=)>ldGLfn34*ov(%O4^A_KUk1n0oCw3yfpMF6{} z`smvjf}$LY4IY}W&CiRnM081P13?N>M9%jYR6mu?KM5%*5?Cm|1a{>2?(ttd4GW!{ zY^r8M>QPGx2x{}TdIc{M0&SiDmCTE%ae6L88 z#H0vSOp-$iYf6ps?;rQPcaJ6FVpsz>{~f1}KFPNtrg+yPS*!NZ#M&?~416C&=hBF? zZ}RkWJ8iB3FaO7pOWI3ION<5rc)BE}4fWVR9mnlQj-07js|t^7U}(Y(Ud?my&MjlJ zR511qsC|`2xH0^6YijECn7mLVPxtw`kP-&+@o6fZngfE|6DHr7(|AKedF@RET#EAV zR%}#ym~ehB`*Jj0uwUJ$=8!XCqdM%mHMO%;iif}J=_E*~MN-LJOq;BFav<9F#l!`} zg0QuF;flh8Y&4X)y>?ACI?!29Oj5LJah8ew_&&(dc-ZW~IWV`=}+g{(g{4_dA#e!RZlfBCxqvexdB*2IFR1WS!~3=|fK zaSoUrFcMJr_*C|V0*(t-@*IWwxlyt_52qLGd?F?c;Az`k{xs@RXhC|=JFLG8#S7Wanus+e;ML#|*`Kp6B z57ROrv*n}cZ*OA1P#?x7bijp1yJGIP5u7{JJsuTuf}wbW|Im*Z=g@WcwovKD>R$GN zs{sdGU(Ez_b)Q$iU|6N%Q^Ns=g=Nk@Yidr@&YPE7NZl^X(Zzi?IW6=wp10*YT;-ye zvP{P!?511IcX*fOc}AGyDDE}ADB(0vPXZGb*ve26+r4}DauTv^lR+3dsY3SE_kpBo z(MHKFCcTBEn?lWt?>z6Y2aUlB*C!&C@S*yGp|G+Kp*kqWd0fU%x*7Jhiu}ZJnXms} zbypq__4@rqw9u+hDc#bw4Mx$mlyplaMI#K&7?i=-qp~y1 zbN_LF*dl=HN7SQhpHKeQ>)yZowG?m(oUUvrC4Byvl@cQBvqz??JgB+P z7c2moDJ+jyFOMS!(H>R*wGKCAp#lH+0|2}PCx{gbn_Lsw`}u8I=VP3x_UAf_xhF{|R5b_L$Ep`MO3I%I(jc)m~j2E%HK;KIT$&t@Hi zwkj;oGKYM@$t~YtP*o)r8r%46afT6SQNQ_Dp^~E<#FCl_so{aiq)T@UR)sL0_z>_$ zzeRTM*sk;F;TNdiMvHZ$k$XE!a3Nu&yLwrOyeV{=;HfK58*2=n$yi3-t(C0~UcVch z&f6#^Cy!gs*GHQdw{@vfeO0Kw&m}6FA>i;ahXP9;r`Keg-y?tW)q=Hf=Kw85?Y4x?yd(QE{cNs}0c{~13O zZFG&?{JfW!7loUl=WS$P_RAGbxP5H=1po;DI-~Pr(HYwD%~FwdV|RbOe%VL9fji_& zm0ZC>GuDUt66kNqHU6egi*#z{f7q4ih>SQ&Ur9YJugaZ_3NNnj#_i9pcXe@8bFwbg z?9&&p2gBB=<;7-_mZVv%ZG8am73{ATO=RF!<<1%q zKh8UUEX%1*{LbFTKkN+-7bYap{b>Fw;iWcel6Z0Rz|cKcvr!dlu`WwTJIOKv2Xywv zHlF19rfnD#lkJ*2neX<*3el=iUaHc!f z&W0(Q?mEI7dcTDj>OOc;epEcNi5D?E!ixN4Dn&ieB#N!^gHwu z$>+bv(KX$x2DEZ)%a=ELYlLH=AH`@@$!jUG0k2JU!n_j!jveZP*}j2i|uTtiSDlw{RjOVG$sk_1Xt%uG%}}6>fEY1YzoB_mfne z+dEI_Ta)7;_7UB4rE^7-)6)f`w32s3+6bUn{(^cv7dTuk(g9f13j zb2;54jf`&(nnVRIH?(f9tMdUo^ow4e*L#q~)^w}7SCPQ2_$KvJgwJSOO1x+GqXXL1 zTHHBwrX4AP!YWv7)@+*r5#d&eA|jin)O#v0C#tDmJ;J9nB!d;F;a3DCPeXlEU1Nr& zTP+PMO4Tipm)#6u94vfSgI%I#z~ixG8@3j*!Z4H@@iR6#(+AgvO$XpNY`-e+Eqn(2 z{pQ1`$vJ6X#6c-k8q}upf+d_oqy4f`-*#?{9LgV~o06i!G29_gpay+(<)mU114BXx zdEI$tVK?W(tP-Oldj2HZfO%8sAK<4_Nn-XWnjDmqI_%>%bg~~FKqC;EQu4aT#}Yq- z*#91QJ<2pjQTDm3VG7lFTo^>p9kwXi=Dfu2!}V*QeNK_jtS!-n99miz0pSEA|DP-RmbXcnxh%kDgH9eppMEnj>q z00!zn$0=jJPJ!?+(7`sEB3^DDHzdNhyKDX>Y3VoF7ZHPtlqW42?dRe$)Q9duw04}D zR?gMS<6;&1nL8&+Ow4y}x4PrC=r#c(8;5pb-)uY5n=+BFpoN0GOl$wpg;FZjvmBNuEeD$z{=k* zi&|q>hembxPui@X+DarD3qRV;94Z;+`KO4MU@<$c*&qEgixt;;5Vp>fo_hK8x37xJ z|KJfdZ6HgNhd~5Rh?H%eLEYj2C~M3`JW@%qId>-S#vbYUglo&B|&Z^IVHzjiBjdu=lRn-VdF zv9G+jqYzG&9NQ1q{Yv#iBO@ajbIm@waaTz9;KoeFp_<2%uFFY=gBoXD=y&&Msoorl zsB=78Ty?$mCH+L1xw*NgPW1S&;-1^=yM;w*3$bOF%8PxjsySC0*aXp{ZsdhWGp#9m z*8*oKiLip5a<#7vROmo^?ih>gZVTxeJ<>NeVY7ScF6A4 zH5xekA}mHIQ)1}+27lH??-Hff>0nQjlr6<-jdN+0`r}LIfLZ_D<%G#GQ;X7wlVBWZ zS@{7=$&M`$+?F_-&W>uLv-OcW8g@KB5TH&4H_jI}Mj_^W%*p0dD`aYr4%DJik^1%m zJJP`?+L4@*kr6wYXT_Fqh9ADYbww7QeO3R6cgb+w1RYn07j-=l-qC z@SjR>P18KSn^nr%Jx)Wvt`A@PNzl&7iY<|6YmLh*eaHZa5S3VPPSVO_$par_q< zSm8V2O^qH8KF#)Y$#eB_eab|+{1zXZE#lBpNtPMNhF#{|K zLF`FWV>*9qax!;5$S}oQPw*rAqv)-mUA2uQJtI3-}R0W$2u!x7^;DEJ* z1<0AHQl+D6dLOi!$sYuPWD#?FJXTIhLinr~e|FARjY}C0zBeBG`_l~wF<_tE&q);P zZu6LMHs+)8_Pe|BXYFm&Od-q!uJeJZknuG2fU~R^*a9=`h9qijDeUq(pKevvSf3b0 zVSG_b#%x$R@wuAI4a;!H(Y>~t9dGL3E@r0M(X-{RF}x*ayi}GhJ5X}aQb&{C z70Rnh=4)aoT_Bra{5>8NF0lbF<7SuDa=E6#cQaXWdkXLrbB;}%-~;tlY7-4P;@P2R;qZ2qOyI3cbwqx*27anrFUvl z7d_hpoHxlgJ}nek1K~H-h?Za7*gMaTk6#%VV}jedV^;-9nCzZ_$JfT|p6N zFTcx@(rV4mI#4$ay9`N--+CtZ;?mxpy=%c{N!QHHrKx`i^!lM>#)WZ5B3Q?XF~RTE zKLe1p!*yH3G+h&3LFF%{lyvpfYC$D+WZ#bxBKQbQ&p2$0xganI(_qv_>KZ3H$du_uHi^o^%;&}p6&lGR0|Z;B4;%8zx`aU?n1-`@mt;moG5?)H z9Rfaf2S8AKp*7S1DGvXXp%S4Xcnx8t%)cposb*2x4;O4#$_NYbGG!>FRS2$-n}D$$ z2s?+C(1qYbcui2>5bXAEibc{(G0+KR$_QQ1A4N!kV_qv|EP$!$f>&&%%)cqgp|%72 zV2Q4jaRcU0eFv>x0m2p^QkBI2w(gZk1I!M6*wuCbB2NCBk_13bBpT|+wp@Z5AZ0%S z@t{mnN>9DW>8<~i`6opL;D;Z;56&Mj(q3B)$aR9a3Mmh&Worw}^Gb1mK0YC^lp&W0 zU}sysdus*)fKZ=aKrR@(E)866mNL3(%=@dN5qR3#QOJ1$BCbK2xGIdpLHV45&9jn= zh4Qif=l9L4PZ2{89juW<>bjjy3}u2(04csY6ljS@D7F<6iVHdL_=t!SIMDu1KnMnJ z8gQVE|4JY?LK_lDy^yeXEs84MS`P~tDMN0|hNPe6#FBnfmfXA=a7HV*sgZmGrqF%~ zG8Rjq)82e*8C^;EEApYaBVN4M8CJk^X!-a65E%u3g{MkZEx+WT+EroFlfe7(`2ZKG z0hSt4=$MwOWKk2)49QpZ0rU$`pczubt;?1&u8&}5%+AD#&&L!O8X>|+8ire?Ehj}F z5CDe_)B&VQY#HV;MCSLdI7fq4TyUu_|F<88tZQN-%U~Pdqo8nS@7=UfK#GKfOcI=A zq5*(!mCg! z^4U6Tx{FJIC^DJ**wQ{j!!vmzVw*8PrMj{bZUB6?^y_|O*8JJ zsN6JdsXAd08>`Y@QmX&3lyJkx|Ea%d0M|OM7&Nip!Qe~A7!GSbXm}6OH3S|#(Tlhc z5D@U^Oy!;J;>UkSyb|h}l82SYRSDJqRKknC^>Gar2J*TD=J47Hy@Oye05PyIBMh?p zRNS<~e_U8zp6Ncv@*H`t3_cVSfJDIsZ*g~&>Y1;84faWAZF6nICBGU@t)3NAI<-IlF^ARQJQJWy}iB9DofSQ(v5M<_c@Y{8ibDTKZ53j;bWlaWZsMy^>iK8 z4m5DLQ|xr9T4Jp!xpIT5<_Xx_bQuDJhfFIVCxjs83|URF zONLuLpHG$cv_wT?JZ+Y8i&+0F)7)Cp^|$X~bm_hMi<2rX8648b)(yDaT>AgCltnrfj7`{+qnTqi_GG z@|!a9Fb_VHSf-^$OeTlRf=;f^-J zE%j>pr+V_SYiwYeJKZL=Tdn`-TbF7UC$6C>Rp*NyGVRnN*g1nFp|d|DAS;9y_y{?06X=f6pZw>P*$ld(Om)*X&H+`h3E zR}Jyr_P3-Y25dwQ1x&1m_B_JU`G5PR#^Xm8K7I1kx~O3i)9CbNjB8Ejdw{(We5@-+ z(dK9$Vcv!TCCc^4ZA8>;WRblt_TAdmiD7w9atoE5OVx;h4;c+GK}c6WGS+mf-b)$0b#8594>*L_RX_)q9eHYpO2@o2XkoT^wMdS0jaY}C5 zRMC;ANT;a8H%f4%BIs3#Is7*ZPGyMv&;|@1K2{EL{6G32TYT>acNLgSJuX832dn~V z*y<(4wPB4;zE5AlUpQvq#90smIA%E@IUMW(y1R9Pe*i8~Q;+}v literal 0 HcmV?d00001