From 4d75a50494b9b7a4def841809e7c4b9dfacbab09 Mon Sep 17 00:00:00 2001 From: bu Date: Sun, 4 Nov 2018 18:58:51 +0100 Subject: [PATCH] for documentation --- .../afp-Functional-Automata-2017-10-10.tar.gz | Bin 0 -> 12261 bytes AFP-contribs/afp-Regular-Sets-2017-10-10.tar.gz | Bin 0 -> 22131 bytes 2 files changed, 0 insertions(+), 0 deletions(-) create mode 100644 AFP-contribs/afp-Functional-Automata-2017-10-10.tar.gz create mode 100644 AFP-contribs/afp-Regular-Sets-2017-10-10.tar.gz diff --git a/AFP-contribs/afp-Functional-Automata-2017-10-10.tar.gz b/AFP-contribs/afp-Functional-Automata-2017-10-10.tar.gz new file mode 100644 index 0000000000000000000000000000000000000000..09e9e9af95d49d43adc19df921dc2639a4916a0d GIT binary patch literal 12261 zcmV2V{~b6ZeeUKL3MO*ZDDj_Eiy1MH!U$REio`I zbYXG;?S1`w)5fxJfA(LoI8Q<18aD|9?n&!H4$xEXLxBVBd++mxysm7o6M-$+lAJgv zP5<_HX7)q7tCj3PfO4+gr^J?4yR);i^R+XhpBBlmh|?sR+&Nej=`<>$@4mU_&o+D> z?Cs&--JP8s`n&yr{;JP6J9l^PKiJ-Ru)VkY&Gyc{-Q9cNu)S|S!)K8fQO4Le?rQ4VV> z!eN6b=OdO6qa@*3yVWXAc$%FvgPvOPbe3jC&Ym1Fb!otl4_e?ci3_xs`{bi1mJCw{k{*A~uQhg5B2NjEmwcbx;5l?CgYRywx_kJz#T|@tnqvvHizJpeml!7T3_9)*lga*nOTHv6NlmteWI%tO{gd|54mgfH>$lFdW^ z5aLNa2wr=1xP)<+IUsPv;ei;j+!7rR0bw4rL=11t-04#51DG9s3BFzCT?alSe)t08 z9v*cN5r?gEO4rTSh_@@%DecTMWfNaG5y2*d^+Vt77vf`s=5VF@MILWMrp!5GmZ1U zf)M9hgM5UK5D(}qCln2bdr* z-QLLmzp(soJh~E-_4nvj>m?3+7K6mZe$oZ(M(XKz z+PgUlyq**U<#U?D+-gP1h%Ml0+{Y6ZCwal65rRz@cDuH6gBwA9AIrTWrWMKUV(U5B zTq`-hM4;G6^`;c%On`z?90WJ$Fa!K&Cg>_Q1>Cw*kky(?m{xvL*&ax`x4Y(-WheqxNLLe+9lJbyMjx)42W?~?I#Ca zrK<%=v^$D|3%VHa0KsV?B8U4Y%uvkWg}RN}IRY%$oph_5g=9OE%V3|Lw-h;p`NDXt{i0;8 z2gFA!yq$(`SKTvZLmYs;uz%LhGOYGwKq-uHLgte=10rYK#VPk8mFKhJB+VBYF?u~R zm>08L z^lwO)=*J*UC$88Q{u?E>g*Qa}8@dNX1It&^YRgB*=!3`Mg>NVTp*;Ww#Re#)qw1NA zVBWs-7(J2%U5}*1W>0}DwE=fBip4f{jz}m^d^Ar6R{QN)+E;r3MKiB-A-sjT4L*_W)1>5|TtTb$|Bie92Y0tO{@>5?k$cgzhwCp-houM+s@2K~YBR~bm|rPur`qu9v)t48+O zF@KJ|WXJI+8_=|rLOWEhVnEqFyeiwZSa1XM`+w!2@#kGaN+53r6!*shxY7An9?BR% zv=%VxE=`6}fe*1q`1DQa2W*CY^dD1KXhHnhV;E+5Q>YrjFv>YSk&d+o7>p!4wx|tg&^D2UKt(9(x zVWGKv22dhGLl2KSB091DLqVfB+I+4;JmruWssa5qKCMO%G;cr3z6ExOTkK-=K(U}CkDuw_dvOUi#XG#ltSOos z6376(wJGUPC0t$k>h9Zz9u@1U}t6@pvy+l*P-ntGX)j*r^ zB$^6!Vwvv%L)k%bieGGaWRIvliXM@7_!hR*!{zz0dGyX`<0D{b3#p?Afu`~J$?lQO z3Dn}%t)0ck7C8^E6@&&sD75$mt<~LyjZ2L#Ouat_F(CUo912Xjj5<}r9%cYDKSG*D%7)_ zEVLfYewII);~Xt~&GZDvi=?#fR<6fYvT_ZZ(U*}+Ks2P|Rv!=MTVh(KHCpLOG}3*o z^pgnR9H!>ZG3!-?fuLmM+S)qQ7TA%}zqM&A@?8OKRe0yQSc1;E@*X0zZ-3xRz*_#} zqNKwGHGca;l#G64uMn68%z>svu?cb!WdoP;1G-ByrD@9{dxT0E!Y9op+|wp}!f&EL z?}e>T zTIA+KClnmYm%ID5fCY25g|iai5p)QaB))+*2>J5aAxyK++Vd??p#Xle?6A>UT$~WN zc-p=zks~4^nM${2OyX3|^`~f(*H6~$f-bCuW4X)hiKuPljLO(JOQ#OBddF$cP?}86 z_X#?B6w~FCoM%OOslyDyk~$tn1c`C=q}?Uf^WHV*&3xe4b4QlZE_s97t6Ys;8TD%J zZDcV_t+qjjdb2ay?QegWq{;DwkBiLkS&OrSncm4Lvs7nogHw4h2Xi!njizABph@W-(|3N6~FU3$jIyPB;X}LKj=X94v+2Two?H_4!=hL^Jesw_F;K zp)lcddp`&$5Q244Wss1EiW}A&dDfMeSv7#Rf(fs;w10(V#l2*srn0vFC97HTau?UF zW(5oyejP+%fOh#8|D}*^zxY0~U1tPm8MfF$Oan9dF{ojS%ThigM}!~GVLi;Xs47@O z7h}?YxnhshdC1Kg6BQLu)LU@8^Ja~O%AmI5;&HSnIC9f{4|AviYn9h#W0n7^ zH~xS3?t^=k`2UUl|Ml4aFVbYRA_d^Z)lvXhQkw%n$#>N}098Gz5|N+OMdV{gm8g7S zed0;{#q5$yOgqecrZeEo^fw)CK3gM-KUp)1|IA34^2G4hCNE;XlXpDIUqp<;MRV@- zzySsKUj(zxJY-!Ow4BwYfnbqN)ij^lL2`lM9(y(-)T(Q$-iHQ+y<}znn@&}rE0sWf z-O1^rGc#}Q)a|7V%|GpE&5zv8FZ)rRr^8aXCVgwHcsxF$q&UD%7P5Wjjv1&MK{@)% za%_DjFZ}sd-{iOE^F;*m@cgNEyNfI{^Ds}ODWDc5GYTRZDoapLUFF0X<6zk;nX7~3(9oo}gvaK!l21~+_DY1m@`lh|nIGW`@zg7ic zh5Wy}x9!${+Pk;AvyuN_z5JK{s#zX`UCN3qN^%lXxv3bG2_T>(H0T7Bf-hXpSa2#$ z#Km@nbyVaNuaiocA)*RKN#O%?;my*HJK~P5A@Fp{vsdnw3DGYV7`imTOG^;0R4w=w zbc?mwcngRG%wCppvdb4aAMLk*k%Iy3)3gE+jUMlh*I9GaySU6rC7l{AXO zKeV{kgMZJ0xvgiMu|JL|!p&7c&OC~RF|W0ii}D$*T$E$KG}fk99onr(V4Uxl(qF4s zR(w*@uMF%UMUPe@r37Xzq_`ujj}(u-$v#Zq3|HrolmZ;{vP4I&n=;uUgZ$zVRZNO%Xf6Hr_U{a}X}sf=BIC9RLlt0SK^xrGW)Mf4{ReO-p^w4V!UT(S0aBmc-`>V(JlUi0-?wE( z@SQij$lG*o3_4(pwT(yVkSc~^fdTaFA5|ad${+ow%bEEwwe;mLVucpbYkwS1WW#or zrbTxU58B4hf-l?uORYig{#RA^K1=-9?*04s9=P#e_wH}%zkN0K-%ohH@2U34MpQlv zbc!Mc17f9WoFOI|gx)zc`S#Vh1fCGDU=~Xjo9~2moj^+ruOtE=?w^ z27sQ?;1ExekLGCwl^4-ILWQQendKIx1mo$(|L=2>Tyb;empDT{dM*OG%_kxIEn$H;amA|{Ud_y?sXrJVI&X;-#4-I4NU(a!SHxKnp6p?A39|{Y zf^s|o*kI^!=0LLoCU`CvW5JVoCG!zO+^>v%dZ-!yh>9(^yXGQXT&{y(d#Q3DA2`he2FM5@>i)xUM8IBMcWN-OBw+2;pRG3JO#BH|DQ&fp1laLS!ji-$0O%b~=i$G9~&^{M- zzNr5A0iO^pX8(uKQTL$-KX63pIl#i_I0m}0sQ6+e7h@g@v%1GhVPhW5U_0v!NEB?B zeF^uV?hHC1LARm{>BgW=`skJ`&+AO1zwCEFVKAi>oh!*GBx?0VAaX=jIl-dG`r_Zx zn}UN>)xB>ky?$Jp2Uv6Sz^s=cD$gc#?eA zqz`>3Bw>0AW;gEC>OM}hJ~mX|zxItA&)I8PQxyP(AEDGIX7maKxc;2Y>^+%Ufm*6t z8oIe(YEpLmy0+t{dC~5+Cx%Vbf&wTK2nB#JoM3HbMW?d@2N9{69(l9)t&@l2O zzNeYPBkEke7WI38lQ>xoooHAA@AZd*w-U*@gJr67OsK{ta`)&7$(Vr>+53{asM(xV zaLu-uo{nt&oSijto^hHDdCUB6;+h~72yX(hM0qoe4#s8U*B=NXpqr673tF6fPYb(! z+Yya6k?3tCn79J7q!o))N|hR>fb-NeJ;N!8A)j|<7G;B0?5g5HId|j1*T#cLb04!O z)Vh@NNl%R#ZhLE4FnvWyPn6~-AFK$d#YkN|4S+mhGE2GwNORu1Z?>QN5-bNxUyVJ%QeaG7hB zn~POWA$RBC$XdnK%NZErw&x04wx+ZNIGZFc@qHiML}Z%M1nkc=?pfsw8M#_dc`#u@ z!sliPD`Q$~8h6Imu}c{Q*(&mopa|5h-VYXqD|((gB;veU)xppcyKqrUp0>MN(phCp zZEl%c(hfOzPC-GX1|Bl8FQM%MW^mdiLRmbDwoaj)C8Pb_EhN8tPWq+$K;A89pPRGy zv@Ni0r!d9*sf1Nvy$C~-39P-~s`v%fRT{vpx2@{je)EJ`8U$NB+g-Da3lRmCIKi`#Xlv2NJ;#^Nyv;4e#~RFE7{o-IJrW3h zJy4}>mEAhTOzP(f(#7rbZ%ecwqKRJuQRT&r{mNz+^-$Cemsv`^g`mQ`xv_2BRBRiG za?QSks#+pjVp1xqj#BDVP@;)m#!@daI-F4ulcV?u>5jQ|dO(f%JPhlN0AnR)8k4!! ztny}6z^(36uM-%W@z7GXD{^yDQW>sqsednwU$FLT>fg@#8W=VfFl?x_RVg3jHY%-^)Aq`zYdF|-8#C&_=hGbSUxo4$uV5;nESxBC;r1e%#ImdAg`or_#gjYypVOBVYWtH`6D+`OaweqOQC(vZF zo>mw-i@wNLth%R`BM!F4`WkyRcbvNRO4M#tm$8Iv40X*Tt^a^e=Pw1HsrZ*$pRCb` zwA7jkZaTaFW&=%>Ywl6so5`S7OCHJe4~MgbYwOj{=D89$)~58}zT8HiPQemUzMoFP zQq#wAEV>Z!TctUOK7x97;LwR%VVN*xRz&@91FwPMudsa_?=2orKTb1@^rhPW>6m4^ zZd8Nw!gHbHoRyO|W4fwuQg?K(OjYGtj|giFQO{!{xPa4&k?C&5wO>5(mCKxrw|6fxYcys*!z1^L?`<42yyPNmFe*N+P zO=165Zn!50fUlPXz?-uGxGxQWuM~pG`#SVfOEcF0 zT8R5fBwen=l^3GA4$k;%t%71FKExAjzAO%jbtfT#*JdPeHzk38Ku!W*nUug+WhL-R zS_0GRC^vHqxRYeS8*&p?JXoKez`sm>!sei%_Mkz*dMzgne&gV?95MVaNk9oiMT(21 zWEYo2Rpj0+i=9yCWljoQF$NGc$f~_pDe%g9E}}-wAiP?-%ZFvVTx+_E75n7Y_6z>IL+-_(m~{$WSW5@n zV-2ew9?b=G3S7*}^b5Q$YNDAHxt`-AH(8;VU|!)tbk?HSjC0%~{N1%@92Qr#T;pYb zMcS7?Y`!BVJGkOxRnCZiwy%xZs)*IU(sXwtQ?`~1WJUe5GVIquhj%J$y}5i4xPuC~ zuS;;%=3+){@RtLa*pyK%%}6D&cvOYLns}66Au0F-Oc=?yuQsb%SVyO+fy81+O`ud6 zl16_mECaP_;n$gXM`p}lI`7VaP(-!b_6~b0?Ip$DQ>hi!U4cL~Wdo?35f$MZAS%!ul9z`)MB&r6GT+)q6n+C= zZHu8om$m7Y#{M_sqUKJRG9aQPSrudKO{l9{SV>y+t+Y>J=dA?pPgh@3 zW$QVH-r$zU_|Y(y=Fcave?FZ(3r6AD4LW-@x&fY?GTt&>8 zL{w_OtfIWv>uMgA{+2T_By!q&SHZ;Y_(5 zda`W&JF3hcvl49sF|E?l_NUi=NeXO868>Zf!iERegSa*P9p0y^-koSo4(In~iA+b} zafbIw5TETn33XQF90}FrewtQIXIPm5X=f;xoAmQD%}6m#=D3EMJVRfIV&Pv?(9W#< zZj$e{tlpKw;(Zm?i*`Kq0vz%3MdgbKMFvnlYQJl-hq+fV`H7F3pJ1UT#DfpN-KT4n8A35g{mRH*S$IHE%6{d&k~dk_ z)8R~Ov-dh1>Enwo7$_~1f_;@2GKB+8<7NSdGTT;jqIHWetX+FS?oxjN21IPuz>*s3 zF*rw}D>AY@B^qi>r4`-Q1ol>6QdoJFV))l70%5l}eRQ~NOjciOa_fb(dGh3O^s1S) zmK|16c2^o^hB9pGS@jie>O9|i>wKWu-{9UBnvPHX2^*_wkl3tGmY1$?iyOGQk25)6 zWeqh=peqlpG-hsCHwWiU>YjxKM|Sw$geth|-#Kzj5&bkO-={^nv%*-EGkeIMr|C?v zWqM)EAR4~M1YEmSGruiO`xVT!_m^U=wLx2cp;Eh*8%tC8m(!H#rJb*W)qHj1O_8o- zy0u2exp`^)P|S%s`p;YwZC$NCx4E1J6YI6uTG3k?DjB|Y(DKwx($rKlwJJ5K1g)%R zlPsC1Hck3EX`}`x0*Uz&uxikUBK%D$yIkH)f4C%?#~Kii1jI zOj&Nk?U*Lk(6haS_1yxCE7Fu?_k zVMT#mdWE^gSDJJ9T_O)KZKd9s!h3})1g+(mnYF8FV>3` z^qK8z>QEnAyN1^mui@8Jy+)w%qsrFU4btr2y^PJ~bG`L{fDHQSxSvEt|H((c2DrKY z&(6Kw-5tCB&+hj2-MvlypTBVZpVqG_JLU<`P|=M%#eX`a4o8#ONi+b>e+p=31J0-- z2k*Av0jvj+a6Y0kL2xTy0JDj~$|2(>O0ZG{Ig?Py#AJ_nzThm)Mm%e^fEo3vuEU7M z>>bO5h74K*mduFZ`#Vwo;9I~gFH4H6U z3gk#VwJk@Cd)8Q@wgWvDiX7l_nEK)y1eV>{Q)8*7k`mxgEkI6hRyT?%SsQspNhSEv zW>0G0tBidle2MR9mxYbsiu?m(MuP!}?>G_#SMXrIi1gc4%V&So>uPr(i-CYmB%kcb zHQ6^ZEs7ezU7vE#UM~{T=UEX+4H^d#| zB6Q&v=@EC4T%Q~e;;?WR;3phKYhg-0c>uiwu6}#L-tAw!>#}!0yw|5A?=HJ)9s#X~ zHdgSP2c|)~NJhYv>emq~i)lbq^O1nzM$%;o`vHE4GO)`o5f@zwjXE#F^u{R+76mG) zebBr>VR}aOBsygG9kB_p);=tVxO&9mX>`mnm#wS{!=3|ba--OV>W``)lzxXmUKi^3 z;Sm+2pi)1}YOSC1t#hjMb1ti$4Wvn(Gu$sYHkPI_YhoA^5sD!lST4~CWQ;64c*~r8 zL(4oDKg~wUT?aQk;Ye_G)%#d&bc$%90V<~0B(KDmy}P`-^yBKXlk^OQ0uUG2)oD&ug6UDWt78VvoOSs_Gb@S&`nDCfKG|7uye5d zb*J!~_NHuDsiIXg%zJ#$7)1?J*BT~cw)W6&om1T?${dl-pq~UL!15xCXPy$tii^K* z*B%%}M~yGXFgkOWG@#x?gr@C{va4Lg^Byypt|9P_FQ110QRltDwcWxc^f)o>mVof) z61HocpE8MH8pgXM zfDwp04j<^r%cMLFoDEQs9b%VCZmnx6$^P{g4wm_&bLboCU0(zdRc>-%GI6-Zcm!+B zaHe7?#_KV2Zosk1{b3CZu&h0{V1Y*2s2d;;nG}e|oUvm}uO^uZFdEPqGO~1F2GeN9 z%C!jTwhL7~SaIHe5l`&(wN|#&8r1hvFHpj-srSceBHwvYPTlE0*-CPuc~&(ORsK<_ zCJCwS=kVxFmgL4tC9oL2RAl16C5aP^4GG7vxAl6R3I`xyq$>6ZTF}x-^2-X0vi73T z*Bw#`{331XkH4-L8l}b~h5nS zYm}8`K0tg-)w(!18OSB}`k3vl;VRsuYyVbxv!QSsyQMVh>aDLiM6DX*Uw@nqicOxe z-D-^gjz77@Ok46r;)`%OM;j1@G_)3dv}P=cPo}$XS#*sSx`r5WuMyzPov=kR0`>uJ zv(Rl=Y9-$Hh*)qN%%M5gpmqYHhrT>tuuU?t|KOi})ZuuqhHr za%c@VFnI&??*+`?1AqQOGyAGTsmCss9+l_apQcooz;?-3(;>A~!i1DNw7K6Q|*eOQ28>BaJ5`b^77%SToofS);M-DczJ zQ6P}|F^RKxNcG2-8EvkFK(&cYE02S2Y>o*3a_4`ebhw!Er1kg&vg@CvY0(|TgHQVYm+kGn?R(DpKiJ#ey#M91d>+NgEK7%+k6?EB zg*f-U^XsdhUp~+O_Me@Ij)r>|*0Jzqr&Ywog!eA~4+s4f&upLbWju@~>;MSqJdbl| zGDy?+ve~bA9LcBbRhFJ&S|liiKgY)>pmM#$<6QPUJ&uR?3_wxfaR1e1|HweZos&!Y zmo9t3&-ghsm@NiibitFoH?s`7;#mjG-I(XS=Pw?=>71q$pxoZY&bWt=3z$ z++bbh`Qgsatms7dX3>miM;DmKJe=^$*4stSXVLIIY^jSlk3gB5@Q(VDpHDAat=6}! zIEizXpQH=adg%=$jP!5$B!f;yR#&sp7!<|D3?6?=VFwoq8oWa6@hAMXhlOO~x_W1z@F^hkcqZ zrIOLvF;gwS%lL#^Q1{q~5|-oQyamsXC^w4X%Rb&=kc@f?ETNx)0dW;pUf|0>(9WAi z=ZITiRw9;$v1bK~^A@1}EKx^)B1EC^zLkp(0rSQ1M9-`X7C=6Xl7wfiK!)|CSqQx{ zipRzEP=PrJ&IzB)&=+gqLUkpupgJ3#;ISfJ0Wq^E*kUF|pMcc>CK-S?OplZJU(h)k z^98bWe9sHw2h$wzyd+PNqRv{*%px{~KX~p5PZH_YK*R!=I7}d>E&-O7K%BGmV1VF} zLgEC|bX#x1Dlv$t^;X8@T)YH0PGb&K*TOScA}o+Zw3N^q%)13FF9r;ONd>k~zOP6U zMxVl@fn4#MrfM+m-U7ERisAwbMBYUi6DPyT zV#Ia$A+S_*f&hdVf~D3CXb?HhMJ|v=@+Ah{F+I+r*~xicoP%V+khRlG`_2U_J=h%S zt`tTaPr>H1`D{L$&*roFY(AUM=Ck>1KAX?xv-xa3o6qL+HGcj-*Bg$R02l!Po4ztg literal 0 HcmV?d00001 diff --git a/AFP-contribs/afp-Regular-Sets-2017-10-10.tar.gz b/AFP-contribs/afp-Regular-Sets-2017-10-10.tar.gz new file mode 100644 index 0000000000000000000000000000000000000000..c8c0869805b5e05f56248c8f924ae541ce1e0ed5 GIT binary patch literal 22131 zcmV(!K;^$5iwFo*N8MQh17T)xEmCD?b!=gBEmLK5b1gD3F*hwSFfB1KE_7jX0PTHi zcN<5p;C$w*hsvf??JE1j8Gs;&nLg#u706tJItn2*x(?m;%I{^Kuy%+Ch=e0%>s{=2ogxk>+S zd`ti8pTBH=v-#lLjm>X2?%(^%#^x6M{ugooFJItiUd_@{h`)RsWqI+TzTTqmf6||Q zzWzUCWqz8@^3$y9&Q30Fa{V9NyH~UR-+Xg_^BZsd?|-`q>%Vck{(tySl?`Y4q!4Yk z_F{4@N=X+YJD-+WRY8@i-D-92h@JWDWK#CT(~~lkKUZ*l~AqWw?SHEM*^Tao0K2L;6m({ zliwz1)yG`CALg^{a<}|V6+F0iCDP(Z>=d(noR^bRRm1%K-TkZX`-j8Pq{<$(TGf1@ zXRL;{U9DB(Xdx18SJN^dm)Wo-WGm6@iS}9w-R|cfPJpJ$$=M?T1tqkOm$qAHCs~<6 z4{h1SP;~xpR!$PJE%4uV>v#6$RguL%?93)(F(RUt<)$dNuqFM~(I3mrg#EGQwS1G0Gu9N~7c_D)AC1z%D8o-QyzEp~clySLynhK~ zyrMhy0q)ikhxKbG=40C|j?k-9>E#&#(SFVvRpQ;DC}H^0!Ua$a#aE(A=z}V9Km&+c zqij4*MGA{m_32BWh;asRQK7DXj#GL6P=3rlJ(5juJlF`Gyf~Um`o#&S^VuYcbX~>! zuEg1rou7%c9OSbyEiZazB$!$SU4~P5_vWW(FNOU5heHFj8VCR;0oALXgy-XRQ^QWF>UvWWLTPQ>_nJ@ z7^kx#P)pA;iKFZ|FY+1ts0lGnauM#os%q-xIu{{01DuL&{y_po}WGvo%avl7Es|)xu)h-R$Xzac-WdK zuPnx72mS0*KOd(bvYy}RHug43$AhC3y6XztNh1CURoc)1u!Vbt%ZKT81%!b8#2C<2 z?;hml0L$d3>xXV$G zFG{D{6i-C8Rg3>EvjFhNW*|H^>!e5G4_+0MAr4)gfUd~_fbriA4eY#1itGLq4q7mU3QJDX(@f+iz)9Xe+$oM8m0hv=xG0s6)8S0_ zr$N`;mvv-2_t7o8LHr?gkE)64>;1!{$*g+hv~5}!*$>;ye7Te6zU{34>ButLaio0s ztE`ug)UBGn186%gzja1ZL(MCs@BG9lJgfF?MW2gVP?%v`T@aBqEmZA_+kV@k+xnCp z1-Mq&Xxg~k60qd1J&NzzIs`~;!bJR&QM)xSjwhod;vZIn=2T+P#fOe<(R%Dx;plpk z#)hvvHeex$VDU#h^JIA75U}B=Svk8vb4nu)?MaC#5d@spBJlUmRi0IsJN$&8adfWE z2RmIuO6Pd~@q`HBL`sS0i0QPd=BVc?{se~$eSq45fA`>k#Sd2u{f@AC+79Fr2i2)4 zw;qfOCwIG64t#jbLS|6TLCt>qvOmhwYL-N&LPE7yGkRyoirrnQq;w+SIcmE4vfH4x zXc&_Qe+ zyJV+1yPEWgmNB-j@`M=~6qU1O#t-qD4!e#zgDiPGU9qNwKw{ejB40;oSAc=~r#JNmP9D9+P_bsm}S(WJBKNjrVc6r(rr|@Snp*;$xfcFof zPcqnK=b(aCkLF!5hvU&HV5v&%F2kPu^Az=N4^zOUX!>qz(~b zqy)n+G5#P=T4)s^fYR?YxE?l*u4jg!|}aysnbGgajkl3CCt@Rah0LnySS?;L1CgMx2KlZ~7;jzN(D-ZaeW4jjvkp7<a&2Ha{ltccms1|CBZ*I$_= zZg{;0#Qb2`2$%~>!~(XN)LVqFgG!HOG6`R^u0FDuUQVTK26f1U7r55_LwUo-!yz9*r zp9wKjR4x^+;Gb~}Sq-X;y~nH7VpNsDxa#xJ&(mJ&XR7oAtE{|x^&`&oP%ACVjNK>( zLxr0!jxT&H%}B5sj_@l3Rx3DS5OtcaULEjg(I&;{f(esQ(}`HG64eRbFE2Ff)Xa8! z^*M&94TWLdNv8%dEj0-?Ej5L>g8z>vWi~m@%GgfYHd~0U(pc*yEL|>KTJ$Aq*!gId zkJDM^it>SGjaH&ZC5z^g4T5E9{-Oj1$N!B=4(yd1ha|R)Qqb^;A&nc48i_^K@TI*P!hwUJ?}hzEajsEqZW9?Ytn-gl`*0-X7X~aa z6t#y7tKmuu7%dd zbTmClp&%cMv;1gwQsaf&>I{MCGPFRFX)~qD+5}0qN$jndj|W*f}Vigaci`c!3g2e8o= zznd~?qj!p=y*x!lXwxZoZOWSY(tA1NS3?lR5ljbVOkz3{^gR+Nczy> z_Zn3S2@tiJ_YX(eBOxnBC{(Le5&C3@9?yTz-hdH+R0bd=4%p#-f+~GE$DRf~E{7z{ z8XcbLP`cw#EwQ?STqp%(4-0QYsnXKNK>jEd0uwjfM53>qQb zwpwK@>OTLe&M83aMFnhqgJ4e4OJLYBdOB$M-1BS_v*Zv?#*<U3;*;%6Y8 zpYYj4uo%#uG@1a_y9K5naHsD#_z)-?i*LI3tSkLY6~>wNGCVtE*+8nBnr+|p7CkSj ztOOmW29dg}gE<_v8xU?8q&X9)#g+r~^J7$hYn8jh#K&!`jt*Iw?WVOUnybzx#ImhNd`#Yr*2})UDh=o!}-VRF@|^Kql>GwVRr7 z8`EjAK2u^34|Qh^6o(I9vf`-q=YRkC46o+XQC1AI{?ilCY=M#9z(dgH_n%vv_qHB* z??1o2cmLbl_n%+#{ioW=ANMROy5zNl?UZ`w zc$TLyg6Vege5BwF7AIwklR|HSHMkZgZlyJNGMz5Kml=?$ayYBbW}^EJ(IeFk_U=vy zkl`rD`8!J7MSZ z+El}%E!koCa*Oz)a=32$y{AY?+dy}~?v5uV=$wx_<$9IK#og}$Qshfyd%Bhdm2)wG zqo!molD>lWDPax$mSCNC^VjFF;Wosr^;13-dd*B{&oNtc<27^}+0uWv)~V z5+#CwX~jqwW^en&FNzxF0|)JxU-9D!EnWtd*QE3jZTxjxsG|zS4p^5@{i#RA+z1TG zZRppvI_TCS?lC?e^pS_F>4;JuDlZ&aRuiDr@Z;1TgLjgV~oT9Su5jcrsE4r6#f| zbzg@KUr3RsgurAlOY?$WW6Pfy|iCT>_h5A$tEVsIz9^t4| z+jdPAD#B>y1#DTC$C4J$=AbP)7t!yki}5%EIvpN58z{0`b$kI;Df+JvQmqP4FHeE>%wdNQC*$dSM%au7iWsVT zJ-RztULwceqbq&jP9VJ#F`43cMr7-8Q(UhSttrD%{|t|3qVqRm;$8N1pNF3yt=7~T zr&AUuA*~mx35s%8DS<Q|FFKEc;o5FF9xBaBkR zXip+?TO3Tr8JrIQyP!3J+#@WQfHq5^XMs|6SF10x45$k<7~dArb#_6Ysx90KZQW}% z%ce{8O4Y8tdC(aMWn?we(jhM}+)hBWp#IByaf;#7mUG540du_b+jQg{s+l8PJMu|T zHPbAbOarLjYxzXj#GN7b6Gt@BpiJeNDW!)%lC6~L^OcxUYl695gKJlyNU+YJF=OB~ zETF_Sa4R<%3S^{208Fee%EL$@Ijr~s1b_{RqbuVsgzKw57zC3-y$hR)oJ!avj6V%| znS5eE)3R=wy5a(n6(ARS%KTFRC_ zmY_|&ueSO-i9ryPnj;`4T!cZ%A*u3A^v8~qZBI|$j~`zgoY!bGQhD{cgq@Rf)=TOH zJU36?Jub6MZ5UKYn`FP|CX-oPsu-dz71UWYcZ$rWD?atPL5kN0Ln(_5Ean7vXA3= zLF2&A&bwKcyVG?2=kR(_3#HuYAYJklTWS3e#OXGA1|5xn36=stwhS*Z4E(Y~G`!Ba zA!mla6FoxXRP@Bo)vtHR)<8dAQ>5Ip^};v~pXtVDU2z7DQPZfPi?-*7z|~K~b))S8Kq%d*X4_A{JKLXUvy7mypXhJ~+(E zD(h=>%L-eXHJcTv5M`32h&jY)YJWMJ+T)gjtI)|ee&WfCK5Y+r=Gvz- zgz*B_+uoew3mc5W%I{9yPRFI8SFf}OBZ2zPngjKPapwviHbcIKjcTKPxTYDr*QrL|Uj16kn4dbQ#3&ke>v zH;4&tz%QDI%IP2@{pUZ0QXsmL7Z_b^%~8hIV!mJs8BtMS6d<7lYad-XaaFVPfQ+n% z|4}yTy)9%ANX=X?JLl^cpgmtO8&8KF(x&U5nsw_b)2%;A-CCR{S4xU#5hCi&Jii<1 z!);7g{yRugMqQLhl?RCm)uaX`iChutH>V0$nSHWY4Ig^c=q;!tAQ#5X1k^Unj$q6n z&@GP8m%y(Y!cvv8Xe_ob<@uT)QCK`%F1=raV&(z62VHiR?K}0WNv}fM7!2@AOxRzg z-$?n9t=P&wPI4+Keu!77rd;uf4y#C{7U3HD1j}Q1aTb{BbB=2}LVXdol8iP9$ITl5 z<5;nCuWdUbiw80nJk%C+0GpI!QGPFqO8-%PuXvxC7gS`kEYJm?WEmX%NceHiTHtPi z=}gp7NT2-si3j1Ea-NCb;V|JA|Co-d%wEh8SC`RF?RASYA9Lm1z-;LVPt$G7`L*KsDA7J^)K}QVx)jJfM@43*cYIYgnnVwQqEvou}lD4OS*zZRF(|b z5?u{I-|q7p=z@gXH3gv6QFKS7q4e>AD2N{t{`yN_YcC{$oKMJuYT8K6CTwC<8~MwC zjzg(_CVjZodW3rOU zKl7suc*hL+$-4LrcAUH63tEWPx4SN8TV8fWo7(1hC=`vUz0M2SF#|6zbj?noNO6`p zJ#Jlz$OV&-h zk&6ETIX|N-%^{>fa0>ZRbY_yBAZ2MzqDjkCWVI@9F{nIT4d=M4OKoA@ddQbmdO@6H z2nL>`_3*M~pq-c84aRvT`9RNG9?61kW_e^^k>!yeBFm$>AtKTI?je!NLnNB&9ErBD z4vAF5MPg!2Ep+Ny0vUYP*d&-37E1Dh|JovEMUlU;PkfImE~gKL_B3c}J2a$;x1qi@ zme6myDyyN?hHZhrM7}HB>Zi+U0aV3JJt)02bk+|_!_{+7y9ZvnlhT-2Lh)u_G=!G2 z!Y2H{mAW<|%Wfj{sz1o3^~+O7gUm6wC+Lv18KG>e*wQl-eTSJmy_TE|qym9k?nW$g3lBK`@k+1sjLdkuq=e+AP=Yc!y3=pqQw~Q;k z>7)K5ck-;$)t>Q9tNM3*cxgSY{v?n2B(Mof&U%wi`eg5}2YN@(*j#m*lJM?%$v1Tx zQ(0NzbTKZ9;OOC6NLc`NY zrT1uyxdX2=F|ovxM57?B_{0tEyz~GBrIPa+YZ+N2+Vc4gzABlLp@JTK;KLK3C8BcP zQr>xq-v#;pedW6hnQb@aK8&AG79g19-@KggY=FL|mYEQZf=)j$r>Sc>Q;VTk)wVb} zf{A{w9hK?Tw|OWtH6N<^aELm>N{@)XHxA2Z(DXPTk%7y!o_595eQt`wJ8o+Do5UJmSGu)m ziIvHJiD!sFLii3b5O4GVkuBGB(X+vLqnmt~X!OJ{`zTQk8xZfcUn=ScR__kEzuvUE zsTYe&=!a{fdf^cL7)B1mvD{L*Zel_rkuVS30hbF^1yqrn=j<@E~n~xy)SEvP-p0=K0*&ife=(vGc${bLw&eTXRFFX&+|RT z*j(>-*8zPAA9(ecj_R`uI}V$6WLN~DxdG${Ox3@O<~LJS5&_s^bO;hLYX}RAn;>0brju5>qcpSmqb|BcZEpvH;#g)=1s< zOIH;Qzxa20HQ@OFvoM`E5cYLR|No8q8}~Lm|Nr|BzPW$v|Nk%W|L0D-F%Ku@;m_l_ z+9)7m1d2{}p z4aBn$g#TGDq5o(8IOo6pSFhgu0b?vU|80D8|6A|;_szYHZ*I?jU*czYl1|aavGe0= zIIXEnA8k$*Z4m80zD5?#A8WS-1}BtuwMx930neDsQ5Su%v2iHxEhc5I{92(qyyE;h zo1ILKc*#>1yG~Y}Ml*@vm-wr4A&w@)`8X?P{o{P3#%q_8$*eob2W|EzoDABx?5uhJ zM^@zz&;Rqyy$271_zw@Zwr=0myPx0Xv<(DrG@)<-i4yqTS1fWDzH`Z$z` ze*zm9Po9WfHZx12gt5FKstqG zIjZTs12}jhF6e;iHlkbn5J5?+bnK%66CD z*`gH##NXi|FlMX!&@}9Mz2)nu%Gv4ukaEu_X441bF17pR=H>R{0}>PwzRGs^ff6R> zEg^2(Fo6L3!nUtzj124YtSgK^|EI3_1mvS%PwiY8+mUVq*qY%4-VG;58Dhohtn>ci zTQY8(Q3pF+83I#_K8$kg(t+t#UzzKw{p^#Hn69I=0tXmLKQH>GIfh#`3uS!G8EkR? ziXCZ+LZijym0m7pqu}5r0V=Zbbar8fHKSc#Azl~v$B54D)18jHTvxSISv00xx%jXV z{%NOkUg3n?l~gSLI%7#6CO(4BatrKI?k9gJYc#XS2zOU7x<9hZ&z!}Nm>?~9meZNC zT?xr@y4@ux(;xZm%jd6N#zvMO zcEm9btN*Yb!RK9uN03EHvhp_5%%7~s#;qvWy3(sixLDCbK@k{m25+?t$NKoN=n87^ z5n&7-=oX1h&pjW?Kgr1x|B{}O-oUaN3?6e1sRt+ukzGYKCog-q)m!D0WFoS+MgIuc zdYKQr?9EFJ!P)so;-?DcLR@yc4~r|)vMsou5gW&AfE)^bA-r7i7fZDnx{Z7e_!XDT ztCEEk+%D>6d6|)0r$LQ7{${U38nl2nkq{E;5ou)LYwk-BMYKi_S)^|1v9DJMjgyC1SXb z?gABEoAv?nW3C~-CZj^LhWJ_;9Nk`D2&asWYUp_Gueq zcx*)Vp+x(&vbwt|pmm43XO9>hr^q8`U}Lr%UsNvI+j zl~Gwp>2$j;j9ARCSHJ7A_v zeO-0cJhPL_TAH+1W~sIY>d#r2`1tkMuR}ielf=(4by!ap>PvB>I$7sJy@@MV&=?QR78l>yiTZ0x1O=-V0WARDTGD<7+7ZIa-$Z&1avRXZf5iq)m z4~*3cJOOnBz(fEUE@2Y!v|7(ZV(G_PJew#dW|(z#T~c+~d6yeTV<dGU}At;UCpNaY`u3q&ZEJ*$Tj%rM$$awa3{kT^Z|JCHK>Lw?HQ zc`B)m^^qGZp>72@ZWs{Z9iR(QWW%hg(lQ6-!bY>^~fPGea_YEo5CXgc&q?K~DjWm?hpJFB^#ksrO=88w*&1H0Rk%HyJ1PR6-_ zGQ+AdOtMR_!?%&1VscSoKbXVr>T?J#Nz|xINkv)J5sI}Vd*ixR3pQEC#MLyRgiTPM z6{_?&Q;|*2D-%xYyfU|_Zh!5T8`tcj62ED3z60Z5=!QEWY<|;!?6&0%diDti>0F>^ z#BZ>OBKDM;P1jgM%!SLH&Nqo3`@GtO|8MEdM7}6k_5@4$h@0qn!T#QY!M(T5@|&`* zJWF(<#53d~N7GQ7#wIu!Vq?jc9JZ4Ux%HWCwS-HXZ})1 zz5+Af&_ZGUP%p7;L+3@FdW*$sJN zxPxyFiw_{H0ED|3U1C+>lyc5j{;764bsUR-^mj3XEDgFqyQ6 z&98mAJF#u&69xa~(ggp)o>sGXEAV%;a!3&TGhvGTt=7@$A$;_UfeLVKX>F5KhBz=7n>79Nh;GGpHis+Isd zeplPT7T9gTI*Dn3*XYLA0KG0;4bb`MolE?&t%akJTq3Hze=oj>A+~NlCPVD~uY9L{ za}nScy#K#aD#&o>d67`wot$3bp62ONDd61~ z|2p-1>g}opNK31ZpPsTFioxX~6R@0Z} zoANQQ-&6AIowj|W%f7-tBYLG9j70dX%z=BHvcMd zV9q{0@9`L*GAyuvIqeVEZrKZ1`K^m`q6*Q_GB+JHwB9xGdy|%`8QUtnngpK=#d4JV z_`;tmgGU4BHIp-dcC#`qh9mWNA03!g#C3ejl6`8me%>>;!K29#Bc7s3(c-K#oUO~~ zUvEyv-SNl%ATK6U@#GRMS!23al%FsuDjMHgfa<0CN$c`~; zaUvKPf1g>d3p^=X%Fa>Iy z4~JQHL?aGo=Qsu_>Ict%e!cgs|MRmqKfU^4O>}gUk~jPRN5F9dFgF>UX8l<@l+B)8 z&Q35M6+YdUQKqhRyxuoIJ$t!Emo^_J>8ShTtEX=d`mcBPcYZ#gVJ}tI9em*qU9GK) zZnt}-0ihmX(9Rx`V*iKixaum>)q}6u(HW&**?7SS0qn>8I3LPASl5!a)|Ghq>g6-B z={EOg%$gEcx$+x4ef9Dm&-M@S9=h|>tG&sGeAq=wMq-yl(cy$ceJ07`Vc%gV&kr$l zG8SN5WOImCi+hv}^CP?^P=ehP>Wv9kPoQO=ZXrYmJ4;LeP#NM)MP8#gXeP3r%|_`b zE>O`uDCL+*o?s$&Gd`S2M-k+q3Z<_8{Oml%2qQf|0!F*T!_fcwH3%sZ4y=&m7HR1c z;r~;ko%#B|4nOkc;y-WRhrh!3&zraU|CfpXV#nGAB!4PNHckCQWTCuy0mI65F0 zXAfh~&PRUI=3IUbn?k=oYUf%I(+6RmVG0D+vV(_LPGPLgQuPgz{F z8;etho)8(Tq>oq<%Cf6&z3^t3Bhbizdi#`!z}u+LEorYpW1m)0h$wHng@2KtOBJ#3Qy!AOF5w5wtHY%!Xy2PsVN= zU7MtP+pV)L<;Q)U_`Imyx4!;l0y4v3=(sa7*o zg+6x0f1O-BM&7KCua4c>Cnyi>7%XN7UtTqtEn6}Nru0xiudhlv)ncWSO3bS{Jqf}? z&ImPXfO(wGFm#sH&Lqfq*24cIY-EMkf8aH}`Tc|3JLYd|Er74dr_cK|hXi7#O!6XTMbt6@a4ECa=?V+~@FDy0Vi*>Q5Q^*m- zU9nnnc)l|jmSkt1+y+sCmKAhxvfp?+)ARGH4{6%CjT*-R!NT{u#p?wEa-b zdl=iE1amm8ro~JtI{LP(LlqOzzNB9OXG%FmYnDFLD&w+>q@UE-kefd9lw)|$n6X>8 zzEKH&w_p0M>cc;wK&@#bm7=hT5vn{We<~hs!>^Hw{iJRH^F2C>xqzi#WTpt47$j1+ zVIciII*^k0b_FylKI&qbMU+dWJkqsoGo?)i#`Wcr4d`xBbUNLZOEyG~09>Vqe0ek| z(~ln?u_=9T<_Bx~{$VLA)PUQNKS1^3r9nYg@ScO2#0L+}@YNE)&6ebq-01_u;RF zIwra1qkdYA&0{fFv?jF+w=#J&fptqF%ae#>$aIk2u3wChN}O&!pG>TU!05T8tk4JF zj>*+pI!ziym1Ujxhe9pUAJ|!m&|LV5# zrh!BVS`eACxx6k}k22-V(Tu8fX;gHe)>ydB_jG&zt1t4lZtwzlf&b^${jG2O``>Rj zzrDTx{X+M@OI-gxJD&k_045Xh{fyoNZ~cicf~oN3WEPakY~VFrwOYz$sU^+82m108 zolJda)_>z0W?KPKD07&S<@!L})z_A`jzp;o9^%>B>ZNG%UGrys9V*A#!`Vyyn3jYc z9(WZMWGHwfw0E&LC4p0I#B@Iyr=vNoTq_`Ms@rP+9d0Vn=UHGTBBmNis+S|oAo!s-3 zoK$5LG<3N@M^-qAVf3;|Ng+D$mL9zj%IqX7Tz6WK2!M({wWApg^;4LGpZ8j=$!S)O zCaJwioq{&D4QP?Uc5wda7rx5W6~fWq*6JU9)meMh-mI69>1IPlJ5@Rf|Dtks(07@j zzM=fHHaPuK6vXV~Z(K!1zGY8!ZEl1x3US&Qsb`6AF0V8Qth}PBSTZ6V% zEF(hzToU!gR<+zrbjZ~fZWW`3G-ldxuHDrtJ-L+cI`EChllGPGfsJ(ioLp?y$tZ(} zoQod$5&D|hDU|O<%I8l`sRiy%DU)jial%J^_AVRcV~oUU;&7U*TB<7eA3UruP=o^u zd4Oq$C*>k?d4*l5)CBTMg2pic483TTvZHC0gAV0)1q7@++j08B4_MX;XgiKH!0%*; z-WNK89{l&I*-4bI@@c|mjZ6JkIqhdE&We~6ql=zUk;|w>t}L4V4=s75jLI>}dDU}W&Z=i+A*$nd%7{4MXw{(lyE zV&Je<)tWfRpaS*)I)lTfVw2+AF>qSVJpTS(;vK|ji*JsgNp=IKw8^M}kmJu^t zqvF4#j}xXu@f#qTywaqUSLE^~ALbyzMQG_c96GSprVB)f2hcF$OwUB{<9yG715#ZeTxMTQ*qcd4U#s1!P0sQh)-3qlqcx{59aUOPgFBl5V=7xH)-F*&XmNdeuq-} zie>tOB%qWKfk~6JS0Nk&ac>kAlFPDMrx0I@vE-YSqk^~*{5EzD*hLabFyh)t&^d{* z9*HiUCoMmwe>bFm70DZNtGc{O{80jLRMTZ2bT-2~I+s_yo>GqzlTFUbL>5-k?Zu@@ zoxr$foiZiGv3#leS42#JlStG$UzjoXAq+y-H}K2{GTipwoJZLbpVf=0RHe<0Drg{fHkDol#gl)G}|6w-5U*$ zHCt0222g_!_GMtHTmfVg=RE>)BvBj8g3^F#H@6tV5(h3|IJ%bEeYB<;SFr`xsRBL4 z*G71C)dDPkhc4VwF7&)qgDU>82Th{(tZG8=Y}m|zEDkPjspr6s9X(Ws)$TuAd2oY^ z&9(~Uua=xXnD@OAu(ZY^=l@(sJTj2YEi6)7KV=09UU~WoGc!^oXa$Jv$3UZ^BaiLD zs;9ZWs9iH5#*;Eb!-qG(Y3%@o9^lkaOydCa(JUXQvut#s((35bB}%IC*I}k4F49bZ zWu5FMf^)fBX}@8*1CuAgCMejhBi{H~NWG~DMTpm(5+9K*=?J3838ST_;ZQTNqIbwt zh*&n)=_yFRNbxUJJ|%Un3&pfxcS}@r3ggtS9Nu25Ec5tBHOpY$?Z5sNj^JI1}5jw+~bSwvSsg#ulkWE`PF*Lj{qXKpCF0W z^1ZRxBt4c~i*E^|!%ItK2X<=v@g7uqyx&eF85r*Rc+U}SP{RbIUl$o;&D`(Cf7K*k zJ84FXVBzDe%IP^qys{nEbS0Xiv$HA*GVrP~@K#GbvLcnqk`8K=&whcnGI>P+#s3m# z>ROjZCQ~F~sLxtH-iKQF(V|Ox(y=YAJj2{JZL%-pPLs2s%|oxokZH&r2US6&0v~Yl zN3aKGlNm7Ar*tJIETrl;)xh&5>0tCUg#Jg2kvP4*1>t?PhO#pXp#pnJgi2ZNAAJI z@BZ&OATcXulsrjCo2;VOYVrxHx;a|ulF=kUkzJfiwj|E+CiN?3-Mf-ICK%Msx46>K zeBg@GCDG9G5*L=?!WrF-fdRnCcFT+(&jM*-K#{C_11Q+bIeo7tItt1P^MI1yilRa) zca=EZ8;}4?EQK1hs_f}%rm|Akyz0XfI1QVwdG!I+M{`;V{|=(&G~N^OjR=%Mo+tf* zmFuEix62%Ted@ZTkC84_c}PZ{M6!)K%g zB`m|YKfKMB6<3?o%%kVZr3pX9r4!?!XI(3tU>AF}VLP4(-C)lPb#%rpF?+#vNi9Cp z(X8)eS5~t_D7HPY77Xbh(6z`p%1rM@8&Jy7Yy^S=oh$W$!bY6IBMu%U&q+l)UxVfA zdzuF7lU~fdA`DI6uVuUNn6fY^~|FE zI|_vXDAXy~CoV7e2S?vvd06F`;hu=!+v34nwZMfafJJH#1ACfM6`V^PKgn=-LnD(7 zM{aJIDcPTC<2?_bT9~|&c*$>-S}&$Xx2-MYH@ti@*$tf)ZnJY1DA<@3kxa(tJTc;h zlNgcAr_vou3NusJqTnJZvep}F574OWk~(dob4Hi5VY~h}{U}dC-}Q}y-tCi1gPv1{ zi~Q9cRO$#1gE>(kCy#=nZcZGGh`-ZPo56ZO-B^G1GlPBfbuhCUw<+FfgZ~t-R^v#; zt3*AjoC?XZ6VTuInXeV#k)8b7ls22=P=Bc%(8)Nh$1|q9$Y{oAPbkkmf56=(#*0Xf zo$@Fv)+(`wp!gTnDSqsqWTR(fQ$qb$9qLw=jIPjZGRk@PrWi)rZjONNuXj9wrtt|l1hey}x zXbuM;3{pPIe%Qk2^Bb59LisUmNXI)EudiRo!Zzk&AZSj4%my|uY-%*#XPJh;q zxTe>HVHEl%s%~Jc)_fK^Bu5NVjH53QIXldh<_nbFws1uT+YQPUHO7fUt|bB~uU3k9 ztqIwSiMX?){z9GS7wIxvtMmL~9ZHp?Y><(=w(>YxUgz<~*hrdm9)FB$>pY(`vxPcO zfY#)5Mq5_r@up;iw;gKN2VMb+kJM%Sv1&H!olTcG6>8FFt= z*NJSgo#j-W-QZ@T74YWhmcG?=uBGWnTrN4xXX-lcShd;?CxOM z)sF~<>7v3UuO_vtA8>zwNm~b$v^9w*yKZX2{IhV7Q#Z1fDV4F7WKLI8$f9eViq!qY z!)wW+(n;8g@rvCRPLwU(O1xvUqzn6^ zg?U&TN->XQ&0O7NDfl^@f)Xo_h`?sWJ1$Ad2>P6w|Q!{ z?HyDpU)!qDe+d%?r5>(rFx(Z9t(>yORjcK=`8$xSjJg^ye!X9+e7Z27taM-OMDxJw zyuLvuOOx>z&aIKGE|DC?ioi8H@sbpq)iyVExBAts{-^c7qsb7?QN`>(Zgvb*^1i)) zzfS+dA20sfz55#v{vz(*>VN;D^#=hk>kjh4mx=$ox#`FMeXt4DZ}tB#@be@sXZdiH zUCKazFYo^6&i;Bz0Rgu!F#=#(VBm83mAtZ?D1le&tyw-BW!smpNojbUr6p)u;W2_I zw5M+LDM9RvK4gP3g`WQ3WL_5OX#4U%yBL#jf@UDBm{yYlaDTOq4`{Y8UlpSq)by>5 z&CPWI$^goG%raeIc)MbD1w#8tUQjr`3h%s3ju@u zO#hR$uCNl#NvKK+l$5}JIN@vo_BxBPAL+vKeJm_N7&^%e3F^WFd6 z>HfFCad}0gmu( z;@^2y&FRm3_!mupV1Gb=OKjrTzi-~Xd+$40$PtO%wyp$Ba%ca|^QU{yE_aGqKF-U@ z>38?nWr7zo&40i&_17!;(a!Sq6`~0MUUt4jG*YR({P7CiZ8L!9O4H}%(<=-GQcCiy z)OZX*L_ry>4Ez~gWWn(9-F;QW5O`mg88mHu2Wa|c^E*JvtupoRCI8`s@k3gsw}Ue#NDuI!x=mWc`8WwC)90e*YfW=+l#VaRL+julc(81&Hfn4uAaL z6Fl6Ls^NxQhR(<7$Bck9;HLxN_vsM8r{vKXD^HB_0lKTB92s(XK)IULJrmC7gVw?UW~G=koR7)BYbZBi9I)Nv95RY;z2)09xkU! z7V`4E(vTc=h4vp-4#Uud9-L%o9l;K3I)Ft_rS!%=WO~^wf(Im|A&U4x3N(qh+AWoC zvR1X+PSHYk3Y9?l9AFG*P|$`mz#Qm<*?Bgc&nV!0#x!0E@tjd;=vHhEpwCkn0@L1p z4^(WEeixZC8Ign^%w-zzN*v`l=IEjoU(~MHy}*RmQ)&1K2Sm`NA-~jy{B=NTOAVC| z3B&Y&Hk+w5LwFB)GC897)}6daV1lsSX1UZ^{O%}_wIECQx=S_GbqBLEW#@p=L{KiK z9I-3V{DsOWAVfy>fMsj7ew-k6;RHwdS@ApHXGk!w40+>urlo)#Hd5Odxau@21-YTp6mR1ULq$^jMDEf$M;1nYhQUpia zp!FUGW!oOO782X!n6i(+mP5Xo7sJuqM$kq|MQ#Z=!xwV22Vv2GFBYHzURDxl>1-vzy>FCy%&l+iBUh+QQV8Hw3Yhl=8e5Qk9w_|| zq?Q`&$))-w*6-CiO3D^7;iy^wT2YoBd1^?P&By|=mmkj%RM0>#P$FyTiK#An(dV!2 zJ=Ea#F=xZum!j1y2CuaDG|Q>WjlF7;~fP*NnPs>+ij zbBzD^{Fk4f;T0uD^;5lIRBcqKxsnU>)B}TfIw~hqsS$$4mkvO_Qx*{Qh6MZX%dUC~ zf{ukRaUPf&U_e6|@nk!?fZe0Yj`4Qy?MwX(Ha|W#Rn61d(FI5$ zOh??|lZn3HwLr-poww!+pT(p<87k{tCU3gWtw*8FTjgKksbSCQ9#2Odw&{rYgTB|x zjHHPn65~*hv~NaYn2$}PdE)ZTGm?Lg#a@ux0X+luWJaUG-6CfBhh_FTxN6pwievP<|U)K z(&p%ApKPd9Dh6amvC*~>RRI%z=O)Uj7C3T)9q_m~^j^POvvH^}!1+1`h7n&;7s{KQ z#+Du=^y^w3NNd);-)D;OQO1^V+l9QFZ*9X+(CdQS-Eksq6B*-$*z4jNsOV~zAS4df zy5fbN_`ZH7zh_X9Xn%ek8qNf%l-@(yIME-fdmXhq_qW@R_uGd_;BHUjJF8%H0Oo=d zR9Xw1rxmgi8%dIaO=@P@(eN`@bK_!zEYIa}=l}R+#HE|_rNRWOwL7Jab3_x1xAhX2qx5dd3%=vp& zh+=nJeL`8Q%d7cth$`1Oow5i}X}v}PI=^XLWEjOch#xhDv!J^#rxkltlBt-|I5Kqv z!l6@UbsqAs6cY$~~YYoxRAtc!|#dK4{W8Kuv|BaY~M88_8W#AJ#i8|u;!q=>e& zlN@-qtRX44qt?fRds=3aX*4UVMqOU=OG~W0OSHyoAxbL}&f9DW6>)W2qT}liXWm*O z4QdUwR#y%it)x3IF#`5@UA6kNwCaGenVOBXfToN-y#@o224(v3<0D}>6d><=5$tIE zZEYQ?A385(o0f>BMWGSbeB7=nrci@=`7M0N>Q4UB&c1V8%{s(Rl7u0mQx!+LIJx5I z=UDhQ{RCF+pFVjL+oMOBRr3)B5oi0W^Ntqza2$SmNGfA{dj(2b za7?j*!c`DP#O7H2A(z?KABhcHR8?i5njDNBLOh=IkF z1n&PmTbD^7@OtIB01^G1il48G50iA%C%w?|qTl3BE)seT7wG>Sqn~?yzWE;HOf%DuBn?wsTR&K{XHr6;&m9cwT?=;1 zT6D`8WwBE93Cnpe@gQ+BAq0TAyd`G;5|C`v85@kahj?$8vt5bssa;d13?c^Ax(n_CPOmXtF{_F(ZOVra_ z6QnKs~Ngc zhrUdJ`^dAwc&Veu*=|aqES5x?T8?%we1bOcvp+CmFR&LNh|3aRwy&|0@D!P1jnvUH4)P9qdh%xL_MiXbz}ZL04z`_> zlR3fZ>ia61-SDTMsM9Cicd4%@0$?FYH{cOm$(@F#Q<324r7d!&^3ODZ!4~3MhLAXSW}Rr*U~q z9FbB98{Hed0e+VPGpW27E8hHBhD47t^k`Kfqg2TKNf@^a=yXlFex0##JK21KirpdaWyGt8-)NiP4>sCCLYrw^nIxP|?#4$O3Q)4}LIQpf12vvgO~Z2Jw} z=pg$2z0@avHM6H>y<^tYoNt|rp}Ucjuv|$mV3*ktIBYw5?)3Ku*8D?u2(FUH z1znigp@}i3UC_ea3s4`ioIe=GmnMqKVh%KHp-5KyVuA-g)q^`t-P56SW9Fc^VSFd#gT_8tobHgqi0?fpj2D&B!_bL6F(>MH*==KsV=(31iDW4yI4=sb+<_%P}4XlmIsal;34+1ZB% z{AA@w#n?dy<)RU%fe{@R49&b^3gW_`<*Z9eGV@=udwAPXsZ?r1oZ3|9>oggfS!x74 zlr6w?9qhsG_T+j@s5yPLefyBFYugwmQ|rzkr=-N*bg{IXt|slKUsl@v$s}4JqyluE z`H1oe7FN!u)mCUoz0|2g)T*B=fo5%ul1pNi*{I)jedkfT1O>i)@(HCZ7M!4 zYs$REc!brRCw@P;TV)}+6Y>n^YH#aDKaA6b#uUZXU~y1wUd##6fIw$#2 z28XS2wGQjqNAF75ZNvhy^OJO5sf#1^N8)m3U##G2A{88}iLu45W|Jv?9*$}(w??*- zHPBKTt?h79PDUeqnKfj_oZd3ggj~yEByE{%pF0BH`qy4SM%wE^vP*8hWBf9?4McSN ubNh4qbNh4qbNh4qbNh4qbNh4qbNh4qbNh4qbNlnh{QQ3dac)xpxB&p5tGa0b literal 0 HcmV?d00001