From 93ae55bd423855ae869e44140d62100640074f31 Mon Sep 17 00:00:00 2001 From: didericis Date: Mon, 25 May 2026 18:59:56 -0400 Subject: [PATCH] coloring_nested_tire_graphs: replace partial-dual Tait prop with complete-tire-dual variant; verify on octahedron MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit The previous Proposition (Tait correspondence on partial tire dual) stated equality between non-equivalent 4-vertex-colorings of T and non-equivalent 3-edge-colorings of D(T). This is wrong as empirically verified on the octahedron (n=m=3, O=C_3, spoke-only): - Octahedron: 96 4-vertex-colorings -> 4 classes mod S_4. - Partial tire dual C_6 ∘ K_1: 66 3-edge-colorings -> 11 classes mod S_3. Replaces that proposition with a variant on the COMPLETE tire dual D*(T) that incorporates non-annular constraints: Definition 1.13 (Complete tire dual): Quotient D(T)'s leaves into non-annular-face vertices. Outer leaves merge into a single outer-face vertex v_out of degree n; for each bounded face F of O interior to B_in, the corresponding inner leaves merge into v_F of degree |F|. Equivalently, D*(T) is the planar dual of T. Proposition 1.14 (Tait correspondence on complete tire dual): the number of non-equivalent 4-vertex-colorings of T (mod S_4) equals the number of non-equivalent Tait colorings of D*(T) (mod S_3). A Tait coloring is an edge labelling by the three nonzero elements of Z_2 x Z_2 with XOR-to-0 at every vertex of D*(T). Remark 1.16 (octahedron verification): For octahedron tire, D*(T) is the cube Q_3. Octahedron has 4 vertex-coloring classes; Q_3 has 24 proper 3-edge-colorings -> 4 Tait-coloring classes. Empirically verified via Sage: - chromatic_polynomial(octahedron)(4) = 96 - chromatic_polynomial(L(Q_3))(3) = 24 The partial tire dual definition (Def 1.7) and its corona-graph structure proposition (Prop 1.8) are unchanged. Co-Authored-By: Claude Opus 4.7 --- papers/coloring_nested_tire_graphs/paper.aux | 8 +- papers/coloring_nested_tire_graphs/paper.log | 12 +-- papers/coloring_nested_tire_graphs/paper.pdf | Bin 624313 -> 628165 bytes papers/coloring_nested_tire_graphs/paper.tex | 78 +++++++++++++++---- 4 files changed, 73 insertions(+), 25 deletions(-) diff --git a/papers/coloring_nested_tire_graphs/paper.aux b/papers/coloring_nested_tire_graphs/paper.aux index 219ed4f..c091793 100644 --- a/papers/coloring_nested_tire_graphs/paper.aux +++ b/papers/coloring_nested_tire_graphs/paper.aux @@ -15,11 +15,10 @@ \newlabel{lem:tire-component}{{1.10}{5}} \citation{bauerfeld-pds} \citation{bauerfeld-pds} -\citation{Tait1880} \newlabel{rem:tire-component-degenerate}{{1.11}{7}} \newlabel{rem:tire-no-extra-hypotheses}{{1.12}{7}} -\newlabel{prop:tait-tire}{{1.13}{7}} -\newlabel{rem:tait}{{1.14}{7}} +\newlabel{def:complete-tire-dual}{{1.13}{7}} +\citation{Tait1880} \bibcite{Tait1880}{1} \bibcite{bauerfeld-pds}{2} \newlabel{tocindent-1}{0pt} @@ -27,5 +26,8 @@ \newlabel{tocindent1}{17.77782pt} \newlabel{tocindent2}{0pt} \newlabel{tocindent3}{0pt} +\newlabel{prop:tait-tire-complete}{{1.14}{8}} +\newlabel{rem:tait-construction}{{1.15}{8}} +\newlabel{rem:tait-octahedron}{{1.16}{8}} \@writefile{toc}{\contentsline {section}{\tocsection {}{}{References}}{8}{}\protected@file@percent } \gdef \@abspage@last{8} diff --git a/papers/coloring_nested_tire_graphs/paper.log b/papers/coloring_nested_tire_graphs/paper.log index f1b4502..93cd840 100644 --- a/papers/coloring_nested_tire_graphs/paper.log +++ b/papers/coloring_nested_tire_graphs/paper.log @@ -1,4 +1,4 @@ -This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) (preloaded format=pdflatex 2022.10.5) 25 MAY 2026 18:48 +This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) (preloaded format=pdflatex 2022.10.5) 25 MAY 2026 18:59 entering extended mode restricted \write18 enabled. %&-line parsing enabled. @@ -215,10 +215,10 @@ Package pdftex.def Info: fig_partial_tire_dual.png used on input line 225. (pdftex.def) Requested size: 280.79956pt x 233.36552pt. [4 <./fig_partial_tire_dual.png>] [5] [6] [7] [8] (./paper.aux) ) Here is how much of TeX's memory you used: - 3021 strings out of 478268 - 42368 string characters out of 5846347 - 345232 words of memory out of 5000000 - 21067 multiletter control sequences out of 15000+600000 + 3023 strings out of 478268 + 42435 string characters out of 5846347 + 345254 words of memory out of 5000000 + 21069 multiletter control sequences out of 15000+600000 475666 words of font info for 53 fonts, out of 8000000 for 9000 1302 hyphenation exceptions out of 8191 69i,8n,76p,687b,316s stack positions out of 10000i,1000n,20000p,200000b,200000s @@ -240,7 +240,7 @@ fonts/type1/public/amsfonts/cm/cmti10.pfb> -Output written on paper.pdf (8 pages, 624313 bytes). +Output written on paper.pdf (8 pages, 628165 bytes). PDF statistics: 123 PDF objects out of 1000 (max. 8388607) 72 compressed objects within 1 object stream diff --git a/papers/coloring_nested_tire_graphs/paper.pdf b/papers/coloring_nested_tire_graphs/paper.pdf index 6f0b2689b4065ee223bfa1816064d333e56677c1..96fbc619a4652ca774fa4e27fa946ee15dfab210 100644 GIT binary patch delta 64759 zcmV(*K;FN(jV8sbCV+$igaU*Egam{Iv<4nE12#1@mmxI7+@=zG)wl%#@aRcZ~IMAt@&}lRv(@07wuNDCz7QC+(9U2nQ?{*xlcL z;J&>25K_ynfYB5QYU+PZ78p|Usd zkpmmHtFpOwzy0QZDc!fW-rTJ#*R{M~x~4|@4#{H15GIFpzezAn6O%_gTP27$gckf_ zH0TGa=&o@qmyVXU-rn@Yyt{-wR83d?ij%S9dIO@d@xi}!2cl{IQk0)W-wrlq%EsA0h8I9CpY zffUeeS;FmSSq0aMxgNapnq_U(xVzN4?=bFg>3>2J1?T8z{xZQ4&{x2m>5-lSZ{^<0OP_U&u_j<_dvikaRA%uW?UANehnfnx|+3>?^*(dI&a=YqB zSAVY2>plE6)_YUQ);TdjwY{%si^q}doCrEdcD;=@C9_p^Q*EoJ?EEG{Kr7;AQ6jS8 z25dNRGUDjhTliZL9D#?P0j_+Bk&l8%q25P6CfA6`LCXHjQYQgs zD4&RsZ6^u`aor< z2<+#q!)AH@KH%-(u+6!L?dSOs?4BxAc6I9yZvsoPYq|Hf8Np!dOt;7-N@n7Ocz+J) zhkYdY4tN#MY69Pp=rni{PCP#Xr$INEg@zAQGaUvWGLmXd0j5;qPe#gBP#0cZPnCWwQ^sp4PFaJTD4k% zef$i6C;_68>6x4zd45NtdKQQqV$J~_4o!~<2!@`u6odYinl zOvwpY&ne5k-60_&yWTfIt*5G~+ODaWU5%OmJJJp_*A~t^L{4zB+8!CAC6+aKtID;b z0T$gayM0snaen-^s#ewNseiu%;5%tm#0;JDjzP7B<>%C>dH`tW$JD4YCQ_rf=%`6a zv(3(K30fdsTi>#m@{)siyAHewCI~QgEq9wccR#k3u4)42liZ`V^z05?SK5K;gJ+WTm^r% zh`)9H>3dQDVpIHgvCU{{L957uA+zk3fz0KuX)5bQ-#M;Zl>mFWYpP}4R%kkKT(|R= zj)AK+H8KP9H+YKsHSn-k6QCNFI}q}vRr5!V5}*qIRcHe*zCl1qNdN`%nFvb;l8&<@Vl z#(7)I-Fgj-t=%1klL9o5_O@U}YCXWwpww&wp@!2xai+rn<4}8rz7D z{5Uw6dk-7X7hiVMrA&56~s8S8a+e6kVGeI{7 zC-r$c6c_>_R)1M1cnG2{A0?i45Y)52N-A!m3w6v#M2#s3>?%54f{Ere7=$iBVk8Kh-|;xq0D|>VDmGkaY^JX> zC56<-!UC|Tz(?<~^e_gRNeG6KUM(LpZhAB@L@7HbR(}9^NEVNfqQIzGbU3Rd{2@%A zOwzDNij6(m_Ssp1u@iU<<5dxhynD&UK@$AVt(OYjBOsC^!ZESEN@EK~M7X*qEXaq3 zOAalF2M)l}(I^gES0nXCMGB(`1u|tR19Zeh@2DU`*_6%O)ben6!RG?R#1iuYTs0wn zMA8xM5P#u#UOU%s8oL5S>%&)fWz)IV%mGjvsySv0!EFm+)Y?awe6Sju7$R`3P3c|w zK#!05gh;y$xryux=aU>#1Ps++@^}nm=Q3?Pk!iC|J$MK;;`&?c=+hUAQRc#R@Al0y zY1}zj_fx5EsaRNkCda8iPL9)@N`wI9DF)5qk$Yu?}}2AA|^lD!kzS_JLnNO1~XyLICNQETRME1wD7T z0DlKv!D3_+d@EQYZP+y)Ap1zzMjnKhW{o@L54$Za$#Ma>dW>xx*ZU$GUC#DELAQe|M_pY89aUaXgi)2V(N){Io_{f- zv7@Wzoz0Bc8Cv%_qyr~d6K+h$qc4Wq;25SSX-f8~4Yq>#Fo2Sn$Q>kiR0#6ldmG-lrBI zt~4!**u!=HB$BtOZ*F_M3AFd!mp`+XRy}fbU_mR>9_$X81etX<;~8Tk5%cj!G99twa)W_ z@n2O)`?l_enHf<}Q>X5zj69uZn9a1AOna&Drka^_w>E%^r-_6ZM2&-NX>XFTK?uKq zwUjOIGEsR~gdW-0UwoI)iCA(qOv#h_-l*a+jnL5=6eZ89$jf0K{V^(zu!bkXXTfP! z3Y?peKX*NF30dFv0eL*6xqoa0mya5d7e^g4E+f{~+hx7#eaE53gHEfZtbOA}R(I~R zy<7K9pQ`i&I=qOzro#?Qx#6cv%VMi+mhJGTsTe(0WarcC8fzvN4D_G;WX-NCz4W@N z?dK1asuWMbL8Ec7_hp)2;B!O(4Rix0ZSTs)D-u{_P$baq&l^TzA%7rt-GZ`oW*Vz1 z7!i|%y3PGyIv8}4D{=s7^l8)HyP;7%{dza*&1bwQG@ehqJpTw2}0P)L@Dl{BW znY+M%r}fcHBPBW@*cm`Qin{zUDu$1GhdI;dd52s-PD!MBXh|eqR7QJW8ZniCO(v~u zZU!eSH`B@p>>85Kxqk_zH>pxbK1xKMsGdI zxB`(LA`6S0?(cfQQnh_mcVFf0YH-Mz=;I%_jm7QGZG?kXxPL!_#XC0iF7!>I0kU|D4FS$5FWp#bG1hbz}jhCEFaB?n%Ia|TPq^1qcN)J5vrI} z^x%;BY`*|v%y1lkK?A~)Q3@M2QPV=B{hNg=O=wX8nBHBo)c`(@qT~Q!xK~2sG z=cmd@!tEJVk$-5_FRg;C^_LX-hGGy0l%S{de^&Nx0jP8_*&lFnRO%y`a_|B^x4Z3v zFQOmiWTUL#sBL0E%{##G?F|xA_et9@?L(HqLXnAy z6F({rjh?K8;!s=cbWj|MgC|E}eM4IuipxcMad_(iTvfgpm@A!mFjXyU>vO|T_;@5` zw?VB3b@Grr7OWEIv0#x@9t*qY^H^|3RQv(*SR%63$1@7*_)|R=O5+mh8+_uA_kPyI zK@Bvz@qabxY`{Xzc<>6THD^ZG)jS~wta~zk31(s&j|l-KtZBEJV!gY;aJTCnYSqBU z1P%Gt^*ZH-El^6XF-^88F{BvaPeY0U`hAK)iMfJEzKqMU%=gnwA&ics}O$qz?M^>q%Ge7ZA#{sSvF*$mgoT|D>ZD0AWTl6iQ_I zL9vPPwz^8~#Mo34w`Ha7A!a&JA0Sng*itbre&y*rcOFp6|4!|2wBk+ja*f2Z4}WFi zRVdwuPi7u!WrfBizC(EZohA-W0G(77zMIQa2x@P`gKXyva}>be2v*owEGnt$rm0dQ z1KzX=)mGbdJ}eJ*Y@uk8J@3OoF4VtkHWo=h8^p-3XrIQV5W2QOyK`k|m5gb!Jg$^Z z0#*Vlc+3lcS4^9vROU90a;{Vs^MB&xuP3*4=|`UWkN%^G4@855U3p7{&$o`S5U?R= zF_Ay8e(Lc#nYyY4fQ>mh)<@;|0AM8+HD3fjNsjHtUR}4zZv_=!uFr z#|*x}N*^1i!S_TXK^(vHbSQ=oh0ck`HKTVCFVcE;RE0UmdL>Rh$rVAz_J2<@o4O}I znaGg_K<@)>#d)t$F)jt}ZPNn@OTulHHuO3qAAXuiyc{r4$A$aFbb>gX%0s@pk5Z~J z5HZ;hR5HT;zo*H2)Lm-}1s_v&#dA7OZ zX2;Gun&F8{EMm463G1J5!xur=^!Z#{ZmRJUNOv0ji^NZ!Uw!glUW2v1mjOox69F)h z5EKG5G?yVY1}J~kT1%7Twh_MjSLhb1vZV1Q7?%%z%%+^U%A571DwT~79EmexEQvBn z&F;j1KHX@5uYqR9YgffN0R%yy(a*0N{POyfPhaz5WwIidc6EKb;=*Jm7b|0n%oZ@T zUA;@}I^{)?+vMu)H(#w&X?61D7i-CrzhAw5ef90v>mPrv|MKZ;!B$097-4W7wn~M} z3Qh}L{dBJH*V-iIzB;Z&p7i^NwN=S0|D~LKsf$cX4GXw0!`ga6qs=rt%gk_1lm5k+ zjL@JmZCB}Ro@S99WoB~~HoT53lxKpOFaZ|f>r@mvsXJ^<((fu7IPJ@0*;0RdF89=H zZXty3jnsbfW3j;r6Vg-xoquReGhpuqu}cUx|%C#c{;W%9|RbCz*s zCue8n@rYZV_i$2}4-6JOvx2Wu&a*-rn%TE?dA!?KuRvX-Oqz3#BuS|pNny05_QuiN zoR8aTOCz=01HP%7$!Gqn*hvJ-K|gpP^t&iSZ9adKVxZz!(H6v19ICc=ezTFC({Xi~ zo!ao{q&g^fMiZ2oOh~25L1QJb6HX)r&3w}~K#3Gd)75?59HGxe!a+8XJ*>)duBS4) zUR#-zbq|Nhd9rERw(96)4etxk2HZ48U{Aa;k2)M|J2v*nkW7NndMC3@e$yJ z8Rvg|aY`*`Y#7<}?OMaCeT<)AByz#c*)pJ=6L#LXg@84TCnYsVvK#c8sxmm=TvPAd zjPkV0)~Qx`a=ojNy*4K{VCQ%~(Aq6MgYap*Ii?l9K=+2Ot*7x5ED78^`EMReNC=kc zfo>H!naT<)!i4nR8F;$E1)F`-*2lYUAmx8C-)x?7`!wTtHuGrg(BRtJ^S%kJl3AW> z&noXf{eceWzVu3HG%>>{&n+0ZZO$zX4fJ;8H1VzHSGn&NpUs$TlwViJm>gkfVY8wr z#v=!Pmx_TF2bMi%L>j)F9W-v;9L%ctod>3vsVQ|y)Tz`qB2`@w_u(ap2L}3`wYYr>m}tv%VbV>-s}Qj%09@ZfLZxmHf8U%7`*KRb)g3WfpK8u2OPTKaPuNl zqow{oxdu5nG;irP`NvwAf4+Sa-Xs%ZPuy9K#DF z4+LQ(t^d}k2}~Z z6>zgEH^{6Votdz;BAt7z@CM-f7{{Wi3dHBpCfaIK)s!50rVczGr06$ugLU80Ky}=D zUGYf>Nl`F#84H|1GQ%)n1%!b*oJRsccG?9kxn6X;Ibf3GmPWgV+LC{o31D%s8t?t^YN+m5kNdqI!f~m}oIC<-*h>0Kpv0F0}-c#lL2j)vCYCSC(QECE>QQr3_>!+=cD#M8|L@Ytk`<$Xef28~sROZuv3SRkga zFw5vE7yzS!kcUQyuXKQeOF!GwC_`dz%J zrSrig?jxQQEL6_U)0|_84%d*aEWngzBh5?0&|pD>WgMd{D(t+pg(pKl6_E>sbHx{@ zn2F`lDPG5GN=80?26OQY|BlfG0CPCR>uA8si{%1ru|U2sNF|sL8Ek2gII=-egDrwZ z`HGBU(m8#6iywcI20<1e%pz=HN(+wUzIKWPo*xHhu0{ds0F&>))BvwM&@3G2+cJbD zH&)(sPU)s&w{3Hv9?=hLoyxW!cI)f5qMlRb$NXe-a=(s70`%bQS+A^rkspkeic-Yt zO#d=4$%LAKNplHI@~6Qh(_+*r8|sxI(~<_0DPa4iFL!^{wsnpf2Jh?Yy>kp(dPYp? zT55><*t=`X(~eerk1}-reHSfmVt&D&GGhyIY*6vfqfsf-dYEyD<0rtd;~H=@k;qty zUhvGAr%J78;a0z#oUbAdG0*rs*^2=L7r_a+Fv!sPsEDok0)S_<`Y3l4+D`s^zrnz>IE*@F!{!`9eI$l~ zj*aDjzePoc753+3_NbJCmmAiMK2u60ci}U;I)-c^9GX0TAy9Z4*n$#GCIviQdyJ(J zZyh{{rva009yWNx5z}s+$uU*E5bs4Xqw8Y8&zXOkl17PzoJ62w<@&wzIPk{7wj9Mu z^?K@iWT=ww(!&I?MY#&rIaUTfK3^E|m!I^9Zp?#Xc}g}GSYO7p`WW{L;LDisUcsl_ zz!YUXR;G^Q2zI}Djw6MD7$kqao<$hql3|tH0USV3jO3Km$h58QJRX3@o7zS3-qU=C zn6rOGxu0CvaDxtqKx?U)YB4}xE4eF+5cp>TtV_eak%(cDrD}Y>NoyAS^(j!n7MyE^;7}G&-o0?MR|Z{V&ZlkEOQLUaXc!v zV|jpZ;BW>i#LDHovj(*81;z9@`=f#r%(-O&-%oC$xG z2fE6hzzAAA77O?LGvfK4>>g&k33fHy@+z=cyyXprRVg#g&733O94Wnr^uTS`mYvJZ zEgS0s1O9hK0z#lUzl8s}(vZjTC4%`F{QogE>P6}%0BeH#1+?hrNf!U%L}nad*Ja3w zj9h_Ah2L5(p-w)Ny@_5vVJ0$5V0nMc^ziO&;L=|s+gS%%r`z!;vlnFy^2i`S5m{3J zA0RYMP@{>gNk^Ds%RhqZsT`I}rQ*)Jf;JoD6=>%2VZc{&yld40QZ5lGj`}zNY)I;? z!t#rd3CAjfn3^pNK4Z3^lKJQ_E|@K!1>mQxc2bK5;;Ijus@jqzijX)95$b>QVp?IH zl(6u{>=e<8V9K@0q*-1CK4TD{O>ZZ#dr5ehZzOyWhkhTc}UND~{mqp1`szte^qd#~y<*7fn;Ws0n z=E39vN6sTBhrHm0_j=}qnVf(5jTsq!B2rU@bJk+<)*_Q4)J&?|s>PTY3Y5hP|CwUk zt0>EaD}`%Uc-alg=#meg2Z6sESB2zUkCnH# z2+v&6#tFkFR51xZ89--)GeB$4zCbMf1theG@)V;R|5xNA$6nD*?;C%h%3Zmz#G7?T zG`rPUNO)o3ZL@|+4{K2*E&QDb27@VIeSH&)5(u$#(&mKhEjvCO60=+oQuLw=GL+y{=;D8i5bAb)rCs;y3r?FfCE_F?$FLM4KMjB(dbuC71% zFRz+ZySF1s1{H)6HZ=+_Ol59obZ9alF*GnZFqhEY2o(c0GccE7&IT!e_XSj&Th|2& zPn?|&Ta9QgneM$RBp zfFct>&dwI-ghVB7XYb|+GPeM~)%njOfX0Ltz{<UL&e7b8a?;LTtSG6C8;y@hl47vHmyRzoY+31hV}**vQ1h&c@!z)(vE94ln~*0|ClX3QS;E zFayBI*7Pq&BWovrySI2FXCsick@1_u-_(r&QlhE=qqh$K-Jg?*Bgh`?#N-6B{;Nmk zztX&Iv!t!5xSfp+&=%~3^cOz~kR#CKZQtFP|9!YtwstPI9{)jRAX`(jzuGYUV$ZB; z3v&1Zl$H3m&zlM9kIfti25_?QaI^Dp0)P$xpsR@m^IrvjG~Dcge=oBBWq#|y%fsHz z9$@y?2G9#+27LQK@^CV81_Hp2Uw~d7|6KTAgv81UFa?=_0meXckS)@m>~ChE*}w4H z`8$GK0lF-2@?!qa&p zYqx)Uyh-;9_-zan?cRpL_W!zS1OGLMX|8_pS8CsGqHNRMx5TX`L87- zr?-&<|9y~uVc^?P{VxwmTN69ezow6klM7(v=xF4I^mh1fh!fz!`ZlJfK-a(34Pa)n zwFAF@g#g}q_5zsMIU@aa&|F*qX0g9a|3cgVX7N9W2f!@x2k`=!CI5@KSpdvZe-JBx zS^5v+1Tf40L2nfl{-C!k%Kt??Z&_6Sptmfle-ImhS?v#E2QaJuK^y>PjX&tEg4Q4O z)`Rwc5$9XIw=2rV=)ab~cAeSu4}42y3bY1)|I^`(2k;;8jfmNwZFocGe_j4>y7}Ys z)-mWG@Qs4iewoay-wr^aE6@aKaly`nKftmspyRGal-PxFcR~R6 zEamPa8{igYPCYYYNxn>Kv7c2+-?Cdt%;7F;?Z|*DmG%OEeX>5@r(}D7Tb=su6 zI;BgCoy#LVGMa=QZVST%vk2B>_j^)I`xP9q6vv$Wy)e_|tl;<1%|k-*w@zApsUVr& zwaP70E4ko6dAFsxzUhspFY?Krh-QY<<&go;*p1KNB)VzRTNI)hTGG|`wFe+|JG>fCs^ zbG+pJ?&=bwUUH}ow~fS#aNnq3@k}eoeK=!f{@!4cS{otm?qaif<5}&xsi!bxV^`=^ z>E2<(d9v{XGb+N45AZ&#^sqZDAd-NoEtI@+dAmR4`dtN7j44EkQcn4Q!<8T2_@G?} z1Ur&*iC@ISk^A!zR2o1D$-coIwoC<=Uu&k@oNFj=02xYXk>T}1s4ZF9SB}F*lx6H$ zjlF51l@4dvql-QduWbj57jrWZ^ksKaF=0np1l_`m5qp^?3iT_F>ahPoTy#W-=*CrR zb~x>9E%Dq5N=J#H9|9A9Z|Sd$qbqiEVxr#}f@tq`yA0mH8o$~Z;GT<-XceqK41OJj zZ@Sbbe}6&dchwvehL*sl9SmM(A3?>-rpFIWu-Z zClRgVq@kA8@>7++c?lX^H>+`1Yld8zk*8soMP#wD5A8P>9se_b6J2T+%Y^f~j}Y8$ zcjidgDHeq4&4GE;us&W`_AiVxhh_`<0HenR1Ec|BYYum}ysC6gy$>?aS90vUe ztd+;Xi3ip*`spQq%vnhEW9`N|wh?=~42j2#@=)k5SD_KJA2Rh1y6^QgByYZ1rl}2w zc{9^LBJb?r9Rku)FjlR3cHBR%#M#$fWv6G#kZIkn_?b45HTm+Ja^&S}6rwM3@-b{b zIO9;5$VbzyEb!C2PvXLVjHt$PN3{ar7pTszy9@{!ISd+qbM3N5%09GC$YW3k3InI+ zZ({{R4$WGd1kNqxpQ2_dty-*a)~F1wY$)|GQhB!-`~7ov@vV#$Mtz7@?o%`-RaiZy z{IH2|Y;!`R=Ch=hJd8Cu$2!d5g0@a_Dm_9KW{#*sdU}vXK4$W6j}&b@+@3bB3kmyS zFYPpF24H8utx#0^OMy1i4C-hk^&ze-wj<|qd-rSSIV0l>=_^-T?svXf6}m<7A&A6 z!EX6J`ruaJyGUV=4M&-(IYDAn(Y;rE6js{FLpw2;>R}3^)DVvwPKg+3sRt?@n zdj$OQ7;`aKkN0RO%cYfAT*%;y^{J3c+}g)~LxC+BoyeL&7*}VkPHZpV9Vtf2bned^VE{mQGQC|$at`Ao2CS#2F6 zP0=s@QNJ2hRL%DR;`YY-<0AZbec}+jzyoS2U7B#Dyr;nXnEN8(34%yRh_I8Cjy8jT ztExbF%o#If1nspcsO^&Mk}vlxtGBU{R?Kl#)YY8VDBovF?i=TSBKp-bt}EzheJV3P z=J=SUJI3;5%o0yXa?YyGw~p-NK#xL9SJPeYP^@Nh%}x3?Krz_*K|_XQ*mmZ{ExjM8 zIXL+G4jOihpQY z7V>aX$~}RysLNOLC$l^hwDk`&E?0+*98yF#q&gR`+OIM)%=L6s56i}hR`JzOI<;Jqklh4Y-JRfql@RhGG>;4QtOMA z{KHI^ZdKQeP!LKH3y*!4ma5~Tv zq^g`Z`92y1#tL4{LKB=;SjPmnf~qcg$}ik_oKGPX#C(ZA81gg?@Dx;pV;hG?@Rh`? z_S6+`=0Ruks7peLXqbbOw;{WKD7zQzbU!R9wEHq84te&&DKBR|FSE#+rNY)n#==@& zhz^z%;`t4HkW5vR|@{N%jputd7CX@K=U#rm2=f^;Ty0% z?7IL- zOD$NBOxDoftYiKfwTW5^&oi8E+VY<6zB9kKlg~Yun!xY{mSUy{fm(u9?u+b8JsJyg z-W_|obzO}w^X!Jt&N(lC_O_1xnkb4|+GXiCOuw*o7{U9gDF-!`b!_gL^B1uJg%H6= z0_t2~)<*08Rl|1Uw7oEh>^2D5BfM!+1KP|_slVq8fEbc!>R{ADO%u-Jaq&%&@UM0Q zoESr{3KHYpqA6ibKFhj!6Hl2PVfggc|5~za@1`8KEnln~$&2_Weuz+&hzYqaCYY(GNFfC=12PkQJbq z!(x8%wTR(e0~XePQ2R;~XU$Boe&J%#b29Wpin~hmOlym$sm0^SUN5FOI2WsXX2i7W zXm8CLOtLE6yn1YZmw#7f6TT|4W>6sdVed!Jr?%N1ECdEhH6WtRoP;iPWn@pJz4z#O z)p;l~+{cx8(PthTQTN5`Ul}l_T}u4qJE`6TaMN)mUH0o8H_5mygyPagXuk1EQ`t39 z{p+6m0D1URE{q=0_1n22L&KdeOFm{~D13-d_0hhsFPcSvRCEtq#GiluZW7zuj9-cs z7&+WkiJ-KHwygB+89Z?50|(NBO4dMC1#)F`Sh{ny@67)EKW)$(guQd9e=HW9kv3zuC@zGx29yF zaB_fZEuf5bkL%}*bkOM!9h{Jh-M`}OI-(L85a;~a6!)#uB0vE2fbfHxn_QpPF?za_Op8v$KXwG{KnngXu9l{@& z=!h79I5#UX`hJzu^U8^})~l0KZh|CNCHn51k`aD{?vyWIM@>%FSVpbX!|bCwMbDuu ziXEMh13Nn4@0r}V)Rm6sgncE_~;bbXxpG6enjWm+= z)WFEc=g&F-lGo?FPo%wQCrEZ>@H7?o>B-KXtMtbP1Io%ey+T_Z4n@ zHvkutR;C}sOnFXg|DXzC$sZHklZ+LqZcAV~W7FSotS{utrXiIPssQdUsf?}G&+%8^ z{v7&|8{lQ5opHc;(Wtm7I^phQ=w$2_lNGV}+~?FHf@2Wx)WHmuoV6_#(j9=V94Fa- zTb^uv8op-nS=!JT^2X>LPeEEUCC%F9u)ZcccC|xV!`$`R_HS`m^72>b?(mjt%NIL)W1^H8j@Ku}`*%CprY^RCA_+`)8zf?fJV4t7BF_#pK5aUqX16=taYM924|!Dht^ zzS+bF+vi?N6LsGsVotKMxU4po#IUU;kwCJfChr{y#90a+eiWbF%ZAtAPB5g|`iC`w z=Hlmhu?>E!!uR_}KiuK@BMtQ8I~=`%W&oM^>QH9z6LR10eJ=4*ZfWzV)|C5y@5FrQ z_hN#)l-KYVLq`OZ>2%FpvDXj77LMrGWd4ZnfffAwqiDV}+5=1_rrx*GFD#NNn-ho- z1#2R#J57a=uArJQtuhCc*s+%C@`Or^1^Zv-1xk=EZhGqrpEFjR*c@z5Uxc%meiq6% zJ>2knTwiOna(u-I>dEenE>_BaJDbDUfa|h4+UPgkaQ!B0At^ZIUmQ}X7pLb4(1`2t zLTx*h{rY&4&bCTeMS)rv43qkDIG~GIlZ-SUXY%FQtyNRa&uRlY=Is|r<47oR`M6(q zP=II0N0qr8tO)~B zgKTq8Z9g2bn1WWfx#z`yqx8kaayG;FYj6Zt9b={qlP+;GtQ{(8*z{JrQQ$oi2fmuNV+n1(9e>aXtw*;@o<~x3-WJ9FX z{Sm?Jx?s=V1#z^cqnTUb;1AnK2W6P!2q?W3MXrq3s*Hi{4kCiS`>Gb`0e=JnmRmP+7ZQv7{M!JN=56P!U(+kpJAYdbuYoNpYcOJ9C>z zez<8xv6_7qC!(J7;3v(0l#)7VA~@hVo7wPuG}Pl5*EARZM2IFDB_I6jb4*HU1%|7 z4L8s$`#?rUo<@UCos3L!nHu)w?8BlW)O&6sohNu(vtOCv-~yp~lI)moqQTQd$gaqV zzpv@X@aVXk&SWMH?o!tCO+Pw4B*{e8`kPv5+jH+axT(zu z487ZbbVU}tV$5(3fq9ai#PO=pX+3o}Nu9f@o@As2L0#BrEv(a2D5NEAYnz9cLcTao z2r}2AcT=-UX?RKMU39SLt{1CQkx(nPxJBmch!-Rv8sBfX6h+b_in`#+=Of*A0!S)j zGZ6D7xpqjcwH<>6;5c6H6h{n*^fW?Jy+5RXI9HQC3ah#yS#AVQWfg2D_v$ z0=Sxv*ZlYmy63q-{b>rBFJ?t8lT(Ncu|m&uGJearRtm_F`yoc_awE9Ld370?)x zKJkwu)O|Q#f5HtG7u@+Mv@!{^G^{etZ!f7Eilab$<#qsSq!r*53m6w7+uMWdn%8D( zz#7`hhCw7V=NwGRu9U8EuD>uZqV7I_wh-o2jGFVvOXC=vvec9LE!bVT7is&SkBx%( zhTyb2=r3WCZs_`3772^uwH<|p z{j|mbRsZEKB%@jmjZh)o!~^0?$?-57XNX0|{#l!+EEDIKZ-%NW`L_#SX$>z*lT}rR znht25;BPtNISCT$^^5)20>0vZD6UuAg^(g}O4At%kE=;3mY{C*`M%7LnQuoO+V_|( ztwY&Dzd&?x4zi+~Rur_xp2+tfVd*L$xwSYTHi-2!QTB;^APgDdIv~?N+CZ9!d62|y z8kB84RialVlHS-FwwCvB=URu%=#K&z0(bTjgu*#ZWFd zprjZMLm-pjD}e~dgb1Xfg@VU1BG^t>bd7%=9wIkTNPZ9|={3cod*BORU^!#c<94Mv zZsV{=u2SLYpd(>|apok=avC)jxQ?pVQ&0_JIitI4l0QlOLEkJQ1Y}}dvMZa7-hUA% ztRh5*Ny;7cwI0DZ8=U@s>`kafk4x#?XO|>Vn7U*hw2tuN=68RXvu}jG>}i`FPbLPx2rXj2~s*w@)SW`Zc=+Rajc9;2~`y4)7G?O z;QiJ%*>}5>7QEvE@@)T)&r&mejCYr`IWUy^I%u1g{xo%UT^N}yA1o^Ce(=$kg{^Nf}PBH^6t3PuM@^dV-4&JAHIq_d1#HO zQJdSLHOm^6rSLC5?@ago{QhgpR<_Gv6Fx2V8#2ncCkmyjnP1-fUXjkmnXcUGhecD; zE9s+!Yi?I$OU)a9o@x{|@!4+S0?|Yt#E-nakx#2#6bPN|{;F>(>zn=I+0?U8^EpBr zDf$P>=VraW0)*&CUyeCuJhfCA$`Gp)Ft)Q0k6zFFvMW^v*6pqdnaGM)-)UY$KwJz= z#cqXiiU>9YLOL;Ie)MWr)_@){W<5wE)aEj$Bn2qIgbBkMomo~M$aH@~{{aWlw zY-PBHKO>l_)P2^7aDu^CE*fKQ-{yqkcO$P^%Ti}$VfUAY(zs%I(+Q0K)fBJ37Wf2>AjI(a&OqpFF8pzIMh&}9+(p2$5R78 z6!@~Z2oOlX>>J4OTu6h;b*)ZTc7+u*vWH1l<&;R{GfEd(R^S?jgch0`bVW*OWrN_& z;s~sIdDy7>X&Y4u49pTbclWmtJq`O&h}NuWW;TF-BXKCyY%A)U)Wb38=gY;3aw;af z8evZZCh5aq^;G+_x@m#H<^k+6+Uceq^cp>GU8q4ww62)NY8$~=mK$vcEIQb&|t4kbWRYdG6|)l5JA5RgPt*)EB|f{V1FL@`=5 zx-g-CEkHjG`{_qQL$;bwuSRs|sg{Xm|$O{E6Vs%>S$-H$o?*y{J z-gj!PQeBQ<&E`ZeLo#3U$czu>T{uj<51(al6X=G^(ULEuzD-)cro8ymidIuShA}Zz z{Mab)yG4KCgi9?W7-#v>kH*+!y|#45=2C!v=2p@-F)h>5BLf29GKH|j*2XTE=C&!| zcblTpQO2JyUnD=W6qltXEB@rJY!}q*xtUI6(l0^W3f?L5jp%3xPoHPB6&W7#C^C^i zi|Wq`QCEA{GxXJ#wQt=U`#c;9I{Y8Gsz?2RCgQQ~+B)<9_fqNuHu7uui> zzduwo(mX|N4h_#i8Zm|?*cFGjKKIx;2uvOloJD;ZCs=D?bK1h4b?&_^79Q1B$w zr)Vq zhHl!0Y#TL=$ng~=3iVc&O2o0`#@Br@Tmzq>UsH~J_YOfh4h*a8otyNnFMBTZ4g-w# z;R!&&+%H%?kO^g#th(}3K17dxB2!mbWYRCf`n8tmvoQ`0r?~unY{CYB$X3&T^^6?^|sRPscsza48+DJf_JD z&ox~$48S{hCLbN$ZX;N@QubjBpgD#gsH{h>At^|}{=q&<$s-S2o)is#kJlk6L?QnE zx@?H2!d%PvakFwQQ)=HQ#QN0MbEk!QZ%3$OCitg(&*;_Z(@fsK?G3 zg5LO-N}uJ=NZA&w!msInh96EaV-=<0_&WvtA*H@AkQu$7{&B_dt7kb~04_k$zk71g zn}?M5KIM1olcYFb)!mob44XUKbgP;H_R33WtCpJYy9a1dm&wj~6+}o%hxTPvj5V&; zk&RPPkeBMDtesET0Ptxu=Qv49TCW6z;!%N%mAe<5H>%le=ffZiRz)#*fAU_LiY2s5 zbc-O(V)*J%P1(EE2l4ZFFnFocg`l5!q3nnvj85Jo=fOBV&)XBWqHcnsfsWl zgK*xcsCooRS#M!Z(zlz5|9GVX(++&<-IcD(BXqDatCocmavdZ}h%0VvM{}kd=IvXK z8{dEBp02!$ivCSxgZcu*f4U<~SX)t$Rr!UiES(Dh`r%2^GQWL;PSGxEYAxAH>I3G- zX<8bMAbvTe&2VT|owC;75t9Tt_c7@n(I3`-J|WKJQ%ZI~)-BhUb!vQvYBs+r4FH*LmOr|5tRbTY8RedmN<<*cB0I1?jtZ3ZWH8glL;GjfBv5?sl(==??m_r%RFDXV&)}gFFmi)651?hY{Q8TTuETCtAts? zP9P1yr4VRQIYJ~Njnp*>4AFG%`sp9PWjGINXekB?^b838){w3+kV-24gkr`pz4XP? z6K{!QB2{5-y&{;CllPp#HV-tC^mRaa`w13S99qwE(O0Waf83%9*X!w6NZ1=9iioa+ zGmDxTve&8`!(FJJIL&r8X`3g1G%kv#FIukwPIQt}0n#S}?DPeN(FS&s*3t0T;Suru z0Qf3T=IS$vD}p5M=))?h=p6s0!{e;MN_;N~gT!&#;CB#@xT5sYSzB5wR;N>PcgLrP z3zAjY*%UQq|A^Are=!qhFCwZ~(Ggn-bWI*wkiSca zKneQoLDH1$km8y_RWVn(cuuH^_r(PDHOFy|esAT1M1rGmF=+0Cz#Y|G|J3~#T55g7 zQOMX#sMj?S_t1|KaqopJRavSPqkaX_3r@#-FeQ^eg?zvV|DK%D!~Z>^9VDF4^eBK= z^sdy0f5uq%A}6S44s(nkuaSE!={sVjx})s_N$9Af9iMtst9$73hbjdB+pM z#HwA4jFHRNi8-!UdGp!C&7;B_N!UYz6x(92Nc{3x>lUGb&~fX+Xx)q2$Twsz>V49$ z&`Gbx>IwhDapgUfgZ!qBc@HkHC#cR07lC%Of7KK6ge(g}#UG!t?#JoENB86#Gh^Y+ zBe5=+xHqlM%iH%?r4n(}e0RFS9Iiq>b?RkZ)_}CkDSn}%h|I2*W1Ah|9@8=6sT3hY zWpN(+mN2v|Y}9;s{kee}^s#EznlB5G=0VA2fevZdXX+=toYO3onqEx{wgg2ilbH9E ze-vv`+9MWL`3uKG^-mFa4$ z45i{10z%lmWo=dI2UNb7PJ`PXv|ZB|Ulnwnc17o}@Y>Qmdi~q*N%g)M8Z-Hy(vc?d zHi!uQ64D_!9mvt<(GLc&VP7l(6Oq`dJ2si**^(Lht|^tra4ft=MdH7Vn&d3Z0p z>5Fgyg0^8pQoU5c{6$^*XC)x#q(w&>`p9Tm>mY4g8}c-vR~{Jycq*%-nrl8;h$pA- zv7^u0dksrk1w_HTs>hhqxg^6uegqdv5FbDMlUO!biep#uK$*!+&R77^AhgZtJ=XYC4Mfna+n%LR+)b!gK)#w>4=lmX zMCO|Cy|_I;Y}!=e7;3vW2RMLAZ`IvGG%+Kq4^Pi8{V47WbDi_j#}Er)e<{gB`sH<> zko@e-Wo@p^$0MG4l(VwV<~pf+J7^X@ZtF_$4BX~2`d5s3BuBq4GkiA5R{q?bRh_l9 zn78&cYJ|J<{GNgi0h2~Et_=E(H~uaqOs+OuJ4oP2a=dbsekgaU@haf3s zUU!QJ8_PMvi}G@*T5;zAyDJIzxt@(2Tdq{h5%UhgPQ zVSE;$cYsRAFL_3HqbNZ~DhKvX9+8|HC;4hB9tat0ZZJ}hgult^%!5m9P5Aw!bJyad;dE2Xe z(nf`T!tG8OOoY0I?;X8H65wCLDxzQ5Wuqn^6qA*6edgnsg;WLtAskP`pG{&Wgmq1R zRO`||ToK0|*qB2rf5upRqPlV8I?5!a8t+q&l)D@M>Z3cv#DbNbgwJDw;->CVM>8!L zxj$U#o!jzVJX%Quc^oFM@N%`;zz%up>yb17`t1pRJIsDXRw zjE+#aD;vWl)=+iJ(1Ny-jy#jOs$gK(IFd2;KNy(G+val&ukocIE72 zbM~=ZYvX5VT7v9?j>VOQNsD6iDwnY_GuTFa65WxBN|z%7%vXs2bP_zW+yO-;*c zxt-2H-UubC5NZ}x_A8N^WpR6iNU21G-+iOkt^iH6hBVx%u-6-I3L|(fn18E%7|T}a zE&EEZ?n3|}e;Ge~OeP`$WZsj@Z~0rGt{J-N z$8c4Hq_iW9lp}1qnzVp)@6iy~$NuaiayVi|aJL-f&yC|VWw;V!;YJ_xwGBeumI>nv z7QpqjII%L&)8QV5c}w`GEM;m@enPU`e5#JOK{1R;$Gi_O4w_L{xiS?DMeTzI?t5)B zH%c>!e_Qx$B*>ReiYQWcf=jp@oa|uHVIa=;thSdEUZOR9-SwZI4!9!&2fw?G`)!Pd zH@n7{B}hq$pJg9A10uwciu!pTVUq;5)3gwp$R(VZEhenU@`*2d;;dS-g?adxGA2JB zrt=IaveeI*LJN{ z2G4BXWfgJGFAtpSLj@4g>{a(+!Emnl?C~@hRvxN15l`zx{LLU~%R+no8@aLOJQ>McW>=x;J`}>icGyV#-W9 zf89q(18_P>Fgj@w>0|y0PlijrW^mG4*s!&u8+mrIF^L<7dzYGL^Jyo6r6m@0K^`Et zO+^mQN5Ne=<)K*?md`b>ly=m(B-&H0naY88$_iDUnlw1Q6qVaN=zpI8pV@$-cpIvR zrEaCtFg?@|cJaAGljqc_LTY@f4E>iML+B7U&NXm}VWBDvAwJ8_3Yl*{I~`z|#U(WY?Y#pGN}%&7CBOM}k5}mH_cdweg&N}S?dhrV-lusGT{UgIFm=nGB*{TRk8;tIZI zZzo1*W@nZuz=yje<)?Pwf0NS@p}7tkxmHqHh+5!zp`-J&z|?W19ypX(ZKO`~fT|GX zKWCB{H9?>(HIIEBBVsLJsk56YbCq}xcjOuL#R=vK32uEgMj#SSj(XTesLMC$Q@!r% zq1(cmy5HA~0bns!;{p?-0h2s#`o7;&#qoe5Uq$dQ$rw^G4NcT?f7p`1yOp?m$btM~ zi3XHd;tRg;n#RwO@2^9h4F(OAJGhS zZITtFbEjfrQ8&OGmw_|@4RM#k?~Ql~Wt}s!J(Ney;1y7_gxX{Ev%*vsOyT%pUt58x z62yuK8wz7uv^-i3e`EzY_*kUdw~Wzui^(U2h+E0=X^-TyEIs(M$`{bJ`$Aq#=AncA_o#H?0&@jz6lr@%fmT_n*uFZf<|U(e@{^VIQ;x4JMG}>J zuIO%yBM$t`m}w}-9GTX|s5l=go=mf?m+fMolI>K3PW1dVf4NmYQnl=!C>QzGd}9_Q(us&}^4@jC3SFH;7`(>Ti1SPfHth{ju2mbVu<&s)+rso$~ zcYY8aSYsU*b36X#JCPw)kC0EVG)q3HuA!TkL$rsP`^3iRV2&=N9KF zMS+bncYwZc&s=)FlDBGNJvZ=qsOO@WfjTm(+}E?e+aV?m1!%l$bRo& ze=AbMD`gb5rtY4KTUX~8qEGvGz6#{H@s@PW=#v-FJ}BS`(k{(sm8ikXb!h)FlM2K9B1FFC~;#t?-X~REst$)smNji4#UCgG6p7 zwRRSpZaA^*dt?&0&N_Z_bdWvN-1t^5e{kS*bR6Po=tsGkzYva9gHv9rekR(L9i)&9 zmsIfVq_jP=JhA@ik0I1@E^Qz$?X&3Cl$EiQ>uZp16?+c}XI1XX{We@ik?9w(Ax~cao36C2Z6rf0fp= zZcq?Qq^V?tC%=aipaNCoo#+}n6T;EqQyQopn&pc3a7(ub4^*k1pgpVzAe0QxWX@r; z!rMPAl}~J+pfl>-W(Nr4?EgyCF@Dsh~qLn{1S^7zsG;N5Ry@^J11 zgzs5ncj+u`82yfloh4%MGgW<7f8K@i%DUE=&^BkUakrDvPTgDKOx3~zVZJ`DGYg_= zEW*&kKB`tFZufn5SkKG2H4s348i#kL%~k1MjsMnGBW%aIa{Oy;13dbhjW$0w7biAv zu_P~JFo^(&MWQ0)^P>pDAP*&=P&>6zi_b|Sh4tAdS6TUfYNv(5GW?obf95NGJ$%%6 z!Wx4wk1G)!>H+d&Q}{B)z|`u6`QZNjrxtnk2v0_N_%>XK0+*DRS<4w1a{ar+gqIZT zJA-3mmjZ+R#N<=Y=YEsbZ_y>mR^`U7y|Zk&4)�dj^`0<`xL%)s%6$lGrf6Mm33g zRx8EMwt}pqwfp_TD6$thf7tB~f$!s})1#UxJ6}Myf=Q|DBf6atzVHPWDR^=VNe;Fj zXNbuzvaB|Ide1zrMist9=WQNzFZ0024>8|DxWHqjM9<|N)LZ!1EJ&#`BzTN?e6%Cv z$b@>17TOA*KZ+IX6>&TzvkgHC=5%q-j6&N?jKg*a&)KH#c`Y^=f4lJHrb^@>$ZdS4 z=<;0fLR4Jp6B~1c(w_drf`%6`5`a`=nG+ys`em?{*6zz;GwP_d;`i4jPm3k{idp&y zQSGwcZlijh{30V0jfPtY3ES);Ey6{mnPa=45^cO(DY9*reZUzEFf2M172T zPwhWe#f;O%^FZa4M5aIO$0sm$ezpsi+jhDOUi#Z5RR1(1>6}`QZryu8Ln;(j$wl|( zkmap>OjT0g@lZo)CvOrn7}8_@uE`L)?e+_e9^?@?cC_A^e?l(Rev#M|iFb7@B92IT z&}w|!*@kMQ%?Ghb@np|r^{(iVI(Sfh?t&`|6Vr28PF2FnpE6=la1s6%@^QzDL$1z| z#g@$UAh}aG$&j+tSFU*NS~r0g36y zp9xM{mk$Z$e>R+f4U%g7&IDLO9!>f7aP6+8{@&eQ`z+EWbPU1J0g+#B(E@x!#fgn1 z=DSBBGtFA~vA2IWNYpX~CiEx>RUIo%yl8Hs-*2-b9RB3cNY!2X^t^isB*R)28?INF z7yguw_s(430Jdb1jmW%{NdpPOiVSKwaEM#9OrWGhf28pnVoqz`=3s3$%p8X|aI+DfAK}88IE#xYVC0Z8z(ID7a-4evojU5A&ve;G6w{+nxsYuo51eIOrwgBk95?C)L&a))oq9!(@p2lmy7Ld@v=H1EDE*e@`*}}2G9ckTRU3ZC ze}jljP5Ss#)NkQu_e^NVe7BAq%&FYYj1^J~N#`|`4di0mch5(V<>_lsz-yWkj%azO z5zCo-qYuU<*OaYnKUpKgGOm*QQ_j`+8NTgijf|KzPJHCL$2f+t<=7(laZ5J;eym`d z-ctX%Kn+uQ!*(?@q^wzq4@5^%nn#Nhf0tjO%Iyx`sgc9HNk{F@abP?1Wea zlUt3Nsz)h}hxlzfoh^CCTQ}lYZ90J_X8L!=Fxy4_arsuc4BLZBIsc}f4%ml_r;1#g zB|4^3b^96w(;u}W+U3A^Ac27k2@?r@c0WfsPlqq%VlX|&gSEE1oK+{_VWe{xJu7Kosy)Wf-Whc|X;5J@8#Y?$H819hu#k2| zjwaS=cFwLpzSTv6?{otPVe@wyKi8)Ntr#qJGohRj$H>=~@m*)H#w!1x8k z5p#w`>F@1n@2|x?WO{ThlWE2xv}&?qWtCImf=<+$2s2Nxc<SIt|2MvGt@mBC*39ob``P>Kz0b4H%o-*-Z9Og-TbK=45e7wY z@p1D$0my0Sneg!fczFf5d3pJ)6o{7!3|J_LBVirCOMd^kGrG2 z0|L3vUylG*5F3C`OiYCHw>v<_1?=t!0zv^AK!gL>1-T;#2m$E9K#pL9&%Z*jK6OAK zT%YjpczJno16|EZ#k1-k=~y94x8)B#$qVCWxY^*;!lfIpi9;N#}|U${TL ze+6=c{&og}Krk0qAk@bZY7ek;gn$8Bit5}5Zv-a*2(|r1e*{9{Fr+`w6X*y5+8_zP zQwIVRWpn^QWQBj$2M4)3x+37*a7W0m8hL(&LAF@|YAXkGaREaSaO_|C$ve7(LCC)Q z@cenW&QO>a)bFpAog>uN?pGPM9e~hjM*w)d*<-b-H1Q0n5 zGEjS@f1|X~fAOPS&dcnN@I4-2^e>cp>D-7VV0lNPK;70=PKoA%Lw)-bf z;7|BJ{z6C?*?REb5V8Uur1P)Q{TmZQVlJ)-ANW6r{Cof&`(L*y*d6TVffUAH1~Fs` zNUb6@h#dJ}9s8dLGBgC)rGL|rpo=5a1O7J+33xydj;_ew{VxMS01p&w|ND-ILx6CH zf4@sWT42a)@IPfBlXFED3$sPue7`cZ{o5i6;Bg1rLBQT{51W4#gp34tMC$Ax{S-sS z@qqrbh+pIR2LyNf4gTw#K_2ez$PIrFBvJ%_t$*LJV6ZnBggrk41Br(@y$Nf-td*hk z;@TKNUtZ~qPBQ6>5<)P~zVvfY$H-Qie{_?zwyl0V{9JpkJYr(TpOXFHa@5IXyztdq(@-u^=8p+ zCw$9PY!~1HC^>&bmqCe$m&xngMU6F~V_ZQDnV3IHAapm&^w3u^7`sJ{bxgRBe{GK= zzw%i#OUN4f^5sKrf8TR~<3hFG8sX{)B64D1Rl2<4lmT**@4Zh-e*-|T?_B(;F$F6vyD(8lU1*HMcor&PxjFv$(mFmn znUCKhT>>IH@b#6fur`Fob=b~m;pS;NfQW*LNLvL>lg??yW0--H`|MSpW2G@|D)e-_ z`9u3qPvjwt@qn6SGC0Y&BYXG#PI8lq(D^33UVWtQFzrvE%6vDz*W1C8 zzU8glaD9INkjQ38>B#_nSTUrsF;S>h?n^&Ow1HVaP`&-M8PmPzqg~_a6%L=-g}C5) zu&d>EgXVYF9~Ex0@&H17mbq{-fwgLlAZ9VY`#4dCf%3R#qJ+4>fANM8{uwAYii2Gv z_BupLZGp6K*Nic?IfkJATFLeByqD?=QEMF)kLrLg=mM=cL{apIr?$Z7uRO+D!XJEO zU|n?w&vv&gjNB;YLo`~@qf7*sOHU%22?|XTr#}`NYbzY8-}0|n@wYszZYhT;r~6^^ zk$F#&6A$jNbhUesfBUz=a4*lVjWlVgb+Z-Hj!X8lS`w#FPk%6{tz|-J6@QYN2dWdG z>N@bfrcunZIV!0h3*d-^;L2TE07{A%dss2Us66eaVWAv$V~=w+cK2!P11=y^R3P@H zDEfnH%Rt?#O^XVbi1kOG981I0DzpYC6X;YP#=V((^JDArf0-`9ofTrrNIa|S<5A{- zhcqig1%mx!DbdtJgO|B}{%dDvIsrg|4aG7DT6*V+sQ3LUN{pgOM2fPJOj%F$s(3x! zg5lEm9j;vK5OJs>tp53;XKUVGid0X18m)L*Zk@#NXGzYm{2t;Re{*%@9k9vqrlhSn^9D$VbMZTz2}$E^>>yh*Dwo=ps1@~DUh~;RCAKPq z%D&F5pbLRe?;lAtF@wQ-dP4@NaEfr8gAtRO_JVz$JP%V%(z{v8p%JNsPnWb=5>#IeF9v!hPjmJ&zNL3Ce<;ZdGr zJP}McG_wUd^u3GgrqQ|WDRWp`h~+F}6LZ|g$*~22C?q{`y$RmJ92VBileD^O$(Bv0 zzwtf@hrCq ztQ%{m51+UwC$iu{AK?lN@Qa%0AC%6Y%HW8l%67!NcUukuj=Dkz7uViSeVz8Jz||}d zLHX{$1iz~Ic9;i1X_;NoEFukA->5QNSRWk-?E;o(Tbyo7O>^R)?jPGA3LvSO4v&PB ze}8I4dG=V9qU(P9STB~O2e3rb-lx-Xy};^DqP%Ev7rtok7B8+h&DiehU-z7&5p%}z zAxI!?P)_l26{nCNoLvK?I+5@5<&Hl&)D5$!`jTVgt0X5y&lKVh{!;8kw_TSpA{;+l ztgF4vxY^Y5Pa4Kx#Pg_CF*)kW#h+T$KA)a6=CNg-VYuaS%r1gV zeA4?y+KTgY?qL&IX?%>kwdRtp$KWM2M8BnEIn5ob8$T~c=#>o?;oC}msWT?Ie^103 zY7!d${=!+)sKMmjzT(`|ZP|eOjBn2Mi@g}jy8EmP(_@zWb4-tTQDts!_guo-P~t}M zzd`(6LSa)M_R0mxbv9Z_s>2F=UJ&`GCN6l=5`O1+mQ<8a^FB?X0hI9R%{*F)M*r?C zPxU!9=`La}9PLIKoEi08Yss?g2)Ao<##+fecyFySOwC|E*fq z^%leFqvaT-vMPv3h?*Ux5wY)*d%o4a#1AEUKb8u?;Rs_5KnZKt~CL!!R3i1b|sxCUd{`Vk7+KI`Pf7-%Mu;w5zk;=*e@s1aiuuH)`6GCL zq!h}FtJgYBj#PmZ>#pz4`x0n|FfiaLs6sy6#-WL5RFfmG*^V};3iS*2QA*Bj z`PA|YohvIp#yEWmf2=ITq=fSNl2s_Zre2|Si*8EX1(qA>d}Hzrn|iGJre)5!h@!AZ z0HNZ;`@ZuP_x&k`=svSlh9c@vc?N|~At|n|HHz$&WoLCunV#R>wWe%Gp(4MDnils0EQ=G&(f2jRP+ISoCm;DC#pNq>o-aoNb`1lUcjlG8+?CN&0zF_U+it!4c;&AAw8QYRo0dXF$+NwDMXHZlb)`YRjcX zQ4mfCWfIA*?Mpv}6q2Fh-dL~TdGeJk0&YeU!<8)u3PkR?uQQ{wGoyvzZVk!(Ly%o_ z!FA1}Ho5yo8PdnYCqD#UoIiJ^h3M40e@xZc%!jS&wBT1k`KXkxU56%@e}|VD zzUWZjVfN}72`GI8wp~HuOYL!QaiTN0wA_W76KI% z8F)L>RMRL->>2^eRJ{~g--`3Z`8tGg@8Q?pL#&qu=FP(Pk4Af3nq0v$kC46gNE7&}hYOs1L(+>-S`CtQoqHTiy`R zL}^qvh1YxOYkT-5lfv6u$7(ON^I|!;UR0MC7{orWQ#>=c)TVD!8;ywIsBE7!=>&@q zN%2;)rk`Uv+EP+xtG^Yucg7IwCS)~H;Yx~wSie3y5VxKt+1ivD$5ejufA;mu6%%D@ z8@|+r)i&h;zh2Ep0^NdFEJ@fw1xBx z^vgz~pUlj^XS+h+3Cu%PMBqi>qn)?Mo+~?Dr-5pV zMt->(Q%eF;vx)KL8pjq_PmIXLi3vPulfoZmJ}_Pte-I{1n}QWxYD|>Kt-YcmE|pKG zUlax4e%J&j-9tM!uvmW`nj$e_9CP>ZHbv;|yO<#NAPt11k3>xbfBRanjT~C%GfUhK zL?5M$dtCv9rSY<_B>m>(p84s;T>c=HdNAs4Xn}Srvj_r#k9zK*xmDviqk6t&zT3@&WV)KF!yTgG(1c!x&tHb5>990CxO;y$J zZm30K>J8u_*{^5H`+c@HhTf-Q=;z1D3Ee2U+pij+zkek3kufpyc^tEUZDK=L4Cb@+ zFG>~bbE0|AcW?`8&^0_amRX(15T&7O%K+S?u|nw4evZYce?^}T>PMr;;aYRa6j3gC z+;OiGst>Vr%{s}(Ghv!foftMT?^r^%-na8r6V2hh6Az%pKMXh52z&vWVSO?OPOOtU z506+QGR+dCQH!#VykFk8UDQ*)g-;|Mm#bfu2AF06p3^h+tNB~&s0Dm2{IGWHAs>;O z8jTll!W?w_e_m9K`*xa^$UfXN}NwF=3CwZ(1Y6QAT#`zts7tEFD^jj8Pmco1O7b1#Mu*YNXowV`A zR*$RcbGq$QWn*5%jrPrJA0(WL%UbFrYL%x7Ty?R_J`|`A^?zIa2U9vqY>HP<~bxHDPXaF6EEp2IqtMNEm!VHeiz zx3-;1s~!HQ6PF_y{T%ln?IEaoDr(Kfa_geVRSWLQwWN!fG?G<9mcHR4N*d-o(L*Dq z%_&-VY}O`vk2MSxNrrfZevWcDt8DNaiAmaJe*}~_0UnKCzHdAgKtwiH{%kF9s)#7* z^`|d=yLoz$G=rT#Fla_Hr5@vukD6dYNK(%>2NM!;CRx5qWnc=#P);#N;jHo=^*@Ez zz`gg2mGhn|su8TMN6tMM*>@;?*kUR?{x}@Pg>z}bL66JGlrRwwZB+F!OH=K|kVM(~ ze`hbvjTiMmNX3(A#!D@sW$pDauU@P1Xa(LFI<+N%=<#8C%Z-UEd$&6=-a0#lepYc; zdWpLsJJ2k5jE zM&;)ry-$pXKKZ(ZV3_j=My*R;C)aHGNN@K2Y%y55#{B)4 zLa(y;0LU-n@TrfijYv6!j@di0fA#Qzba~{b@9CIawgvYWJ3Q8R%u#wqP&er_120%S z4uR$@!7*332kBi*u|xA@*4ws$dUqjdT( zPrYRA$CFpvZ}o25@^a{BDcj`L_B#~42VtA6HJX#7`ea6I1q~>d`Nn8*Uwso_1 zL8`EW!MO%D({mf3XpB1*?Jv48ImVnWQk7=bvbn9OR3d{g6tJ-=$;J`Z84O z_G}_qkX_67M=Lj|`NRp7R%ya~v;28(Zj2~#Z%1NRgfPwIan{@O%MXV;oH9btA(dst zm~@_8shf{6Su3~}KsfhXO`dD4Elv#(_(!^zQGFrrBtx^s(0s-8e~o}wu0>340)J}d zyW|m8V1EycJEY^;SJdDv30!%P)(S z>;cyo;J~Zv8%zUu>CQx!W)lN#lVvaS#ixjTvl|W7!eUuMfAmAnIzW%%@ZrZ5xb_8D zr&_D6j&eXYm>j>K6ONk7Ab?xm-}LH4d`ZOk6F9WCKZO?>Eb@*x6C2 zH%^uxbk2qJe}6R2zLgpvv#vOpu%KhM-DZ=u$MZdDLS2cyy53U^b{X<&S2FAk(J+VR zt8DpE#@$+fIiuHO)SBlNikE3qiZ?bKU!+RX+)+il)cqL%*++T0!+yhSC=K%_l7Po~ zg!OHX5Vd_XJbpn=rhH3saBk|nm~Rh@H|byf61sXPg7i@YTpjl-gYg(hfy+3 zS_y{$ZH@#S&O-Myk{+U!h2#S18?2VZAZT?sRVgI-zMHyEQO?#J4+5PrPPyf$)k-wHCtcvebmxMMics*;!`fbZLj zeT_Nkf5H@Va6^AZYk7h8Vj}F`mg!a7UK+%^p`aoW)DdY_@u>hbu(Oa66{bo8Fi_eC|9DEVAc@WSfxf_T=yb{WIiS09T^)#r5_eZvz z#(B-?``8`D4USiV1q1KcB8}=^>V;6g7(K_6VUJuiv#Qy8e z_xEr=F;;#}9o?jgxHd%5r*IG8G2rU@##hg3&ui9w^S#EPUB5;*<~=9HlZEk&LGv_};$^{mK)f){?rTR}IaXqh_M;Q9XgK~}Bjxa*MF0VbTY8o{TQ zWo!<4ukaRaStp;}UC5iC)yP~;J{`P4f5Xdscg%YCq2-e*LM_Z!r$V6gd$rb2{EKS~ zwzqot{vtUec><2n>@9+Wv$Y0JJ@$BIAxZCo1H8#unJOEHr$KsRLEVlMp!9h`pZX5H zp%U~TAmVWQ(f5ix3)Id#e$n0m-lH!AnM>D}%}PW+udE06_*T7Biw__;xAwtce-i1$ zVY4=oO6VjKb_vgFGsN1{j7F0x|CkZWk=Lfra8#Z5Dmd#dIKgc!Ffz@0G2yA)S8D!T zcAcfvgfIfW2&T~I+O3^MuKvV1qAzFH*9EVJc=&}pz7+17d53GtF@Ue`&YE2pKz5+ns@<5)Xn09>f3odY_Y_YZ8ok-?b0RQuQbia0)TJ!wnBq#urX;VzA=e6pHNd5ON8#c6RS1)aB!N9P)fV__5kKh1-!@i zEC?eTXXETDr88=Q`e;1wqKEzc%A)Rrx*CTPhdlZ24YdoDw0DD=jIXJce;HJiFMzP1zI_7`$4NiRkW5E@@b7?h(^Stw8S$P zz$zCKkBP5Y?)P55bhBF6_eB8~OCN8zR6AG6vN`h_C655tG=*`wc>*=qeDw#IRlV8g zalH+5ZP-s)Pe5Hni-Dhfe_vDTdPYSqy^13C9~l(xS^n|*xtMux+r0Z(NUrL>LU|Lm z)DVEwZLE~brJRPH-J+@}E-U^UYjx1~j&0dyC&CcY;g=3=Jg*~{9E%*H_rK7gaiOtE zE#;*sq&;D1y6>(4IW{PYR6209sUbx3X2H7{pA~cPeaz}Ka5VGWf4q<;D``BI^WFvs zbJp6ppjSNqZpr{_pf07L+za^bfeiF(TohIOTaIJ{%7gxVtOA3zGQj?T10h86I*&)t z`ZOLr;NFr2^n$D>6w`C{wd_yks~Tb4z?b9niE?&tB=&cKA<#Ps@M?xG31_}>^9Sn> z3)u2nglP^Z;5R-wf92d-pB5MDLINx=HA>}O?nRSCr>x2Z2u24 z+grW7*k8bRu*5C2-Wowj)0-!_p@}t2i{dW!85)rq%xGvHAszPCtOBuX!n^O!%}Nxg zy|U5t_SH@|TvB1E`5|N}eK93-_6C9dFUAVd63?%~n3XoCf10j4eCrYiDp4+!DDJL? zxRgq~Qd7Q@3c`(pM6}t+8S>tq#plqr2|cYCYaE@6d(dB7d3c0b|1HvxNBKp~qnWQv zE!z4)#%hBWr?0LoMsTbqv3^l@@OpxhDI!6>>?J@;XOb^Z zUttiEY?_FL=BX2yKC8>@ZqN0((R&9 z2}fP~2^0*{OPGFb%4RPHoO11BeD1(^8?{TlMG4!*f9I(CeowygEoY$M^%&R zi9cs!GMQFB0XGwgd&C^thZPMw~|gQUw1#UV@!yO@$D3CfB4 zVmww&*06-nruqEei7WirS+!key5mpY$gdqFJkC11-AqnsJvQQ(ZzNvOn6qyON6yWL zkxgxHq)fy>7U~{194n-jo4v-Sk*4U-5ULGoe>#vD?aOgM#8K@&CL0*$CzXg}SWjE( zSDlFV+`QACem%cfApMx&GPi(FXu1`Osm1}BAGXGe^x7!LO_h>)X?|UX0bj*kC?YFz zNiS&TF|n(4gP*LDxr+5dS}{{C$acfW^u#Ke+ZJgg37s2d9hKHK5?k0rx%jHh_1PBS ze<7|3pHKx*z^E@o83Q6>TIVPy4flw`RyqL_FX0qj4Xo%ROJKdMatTtK70 zrgS12{9Lsr&G?2d92<}Y{mf{RUB>|wVSAx@m`HB1TFm@Z670Ya{HSs;I=%bR;?h2UzWeVr>W!XJqrKLQbz6XM+jB?W?=>Iw&$Hh*0?<N|81c!`?~*o7F(S_L5p zA4IYTiL_n3#V49V)=9MIY*gl<2ZMN1L?^v>cXnU!_gscIs`xzPvC_~itFhDUL!Tdu z5xm|?+|bW6V`ntp_&*>%%MF*2mk1NL+Fl4`8xS=(3NK7$ZfA68G9WfKHZhm5u?7_b zHa0ewu`mfKe{=^_Q`^=qy@Pb52L+@EA#|zIi*%4)3?V=$2_&KSjih!d9K!QS2 z03~fhGYNo@kcgm=kT3}smk|u@0{t5%;WCCIQ7{Btf9ih`l#oy`8iOf=(HNdK0uIph zZ~=fs03dNGkc5 zZ=0eb!W-Zx01^WTJP-o`K*E@pgrqPaf8d{C^uVyc(-8WPuLj&60eJ8yTg);2D`U^U z1;F$7aPR{D8A}I&Q7sg}^B<903W*6pFfY*mx72^T{NEJ*E6V>%w(4$fHnd%2Jru;nn3>ytv1vS=HdF^Rt+>5GYATB2aK2ne?X#w zLZW|g7)ll94YkvQp&^ccB=ZM<{A<))U~s4&0tNeZw_v=4g#OEhnJ&I5O%-jOjt}D07fFgJ|sdIISGr20sKIifwY5q|5h>pC z0<)LE+91KgQp?jsv(9KSH20U6evVp%8ET{MicjpyZuh^?`&tq?GU?CEf46r&;PN=MQ4;8sm$njg`AchoLDms&Lwo8nI&ZcHPRx@!${-t@D)xhEaAIi zQyk-k&x%Dtdf(h!PgYmwe+!YLSC87?iI+vvFw**Ja^&tCd1gwk)vgK3Um(;S}a`;rOW^Lh1isw-94%mz{e>=vo``~u}w>BQ7 z+~a})c2AsPOZXlQE1lk+8Q`}{P{?gndy~QRv-dM z7%45x4EZ1zEg`u6P0_Z+AP%R}Z+`7funKk+sUdBLV9f&tyddhnIbb}Y*ZU*pXtfa; zrn_}pIY5iCbkVPk#ZJD>zV3@7Z1?Fk2vQ2``a`Gl>3z4~e|axm6Jy(^3H;De|BIU8 z8GYYAHMm%wN{O#9mU1o#>*wTa7*5S(%Khtm+Z7&ZN0~SB#XLLtKGZZx@2eNaE`XeF zyAj!_&ROJeG`peF1%mrM-B{OPg`#;sTUP=>%%Wz~3bS$H=`CLM-s^UL@Qe5AB>FE@w3%$*V>Hf^8q^ zwU*4-_pvGH&L%xk@Mgvn_8seYA^S8d{&F_lJ3wc)vO8yIdLR|zX|Z7)c^DyhbO-0+ z8iMBue|gV2e>eRmb8=rg15Cv!a@l-Z>>p1p`oeqhbfKB-rXTAKNpUz;2~Sac+H>$j z$Tx$58MwHcAIpkx#Znjk3YELCpJv*QAiNEKLU2ViI*llz{{cHNfMxq zf0PuF!WNg20fu*^x0$i$TwFCvRWaaI?A2eihf6Qf49FgkvA|o-% zZ-_BT_{P+QUvfdHA||1==(L<+JNnYve+4FQKeEO3oTCghwtBu`cJDyBfSx^xQGR@x zqE4(VqCKq zJ_^oT1ju|}k+>qCZj4tZ;M1Cy2sAE0<>ofZ0V-cs^v1`%3kaU?%VIeDs(kBd@3-8u z4Se)>=9|@!?l(I#L=jsZtpmFplco>ERqn}bv88Ocxe{^n?j>lpP!1Y;(Tj43e+<>^ zek)xX{J`>dF{gS6Z(z7OBJzcC!?tGXn*05*gvVv(?csA4nVJ*L`i~fi<8t`4UP!)M zj;J2XXM89WUy<5F_v3nc#(~hkr$V*ziP6%U^L`4=U#Y@r*`t|_U*fx>4$AJvun(|h z_ilOHc0LI+3wcQVwl@ck@XHw=f1~eO1%LPaVG2vEjBw`6?xC)L5#q}d-cx$M^aD>% zrW_B=r+9qAhMk2>-bt3ktN)^C6k3GTPt)nV$J;!v&4F z5rt?{yhe4pecmWPpZg=LRT;NuDYoh!q?I=&vt*9FE*af?8Jf0vfHjs7e{3{IPg91< z#e3k0aA(PWW(>Z&`~yr2qx{m%nRuPTfXhV!b^mymk9Cqm_z%*=tVJT7d8&}Y@ z9s6cxb*U=H@WX|DCc=P#*D>xY^tT3?Q%Zeo3nIZLiyW{^UsTJZvo1y8J6=78>qeHI zVEQZ`X!oO6!|w*J(gs;mP0<1Y#+;iX^;$j!(+))wW2X5RxXoj9f1-1f!$`Gti`eP? zmE%B@!@hAcCTtNqnRd$ZDCK+@1KQFivZC-NFsv0=k{gpWP?WGokz14zBn;-sCEPa_ zo^H}15|dLt(K@$d==aFbk%+*P3gqhk%U|?bmdF4&v0ysS%Za_IG4WzqfE2-Cp6nc$ z&80$~B=uuZfs*h$6DE(4r1h3hUocL#s z9aHjED}UoY*E2$V+fpBprLgR+#Ld#TZEj&npPAl1Jej<`u84?~RcT^(GiDc?Ne|%OruB575xE4jx2ywyokJj-e&e59OWs7xU6R2*V^lFvc(0y{}UT5?j zw+q=^(s-Jc)dnA5j+bM3*kp3;ESm`DGiM{H!l0$V-u`3i1O|ejUb@>JR7&D$wkcH& zOYHkD10QdLzhmP^xqV=KN8Y;lf|Qk`$|~kGtrGYXf7al&&Bo@V+E}R-2vEJn<@!c_--IgNz z6x`A%qy?j!p*m=Ghks~bgxDDM?rm^K!N>1qoAmm?P9LaS*myMm7{GisQ7m4_ynZqC zL}C%;Oi)CJ?FXt7n~a`LCbLO$!|JNZ^*thf&)~Ry$nv^Fhpa5;8O_oNdAswtQra9_ zf2rmTOXU_R*`}5Q%c9Pp?v?horEqmqHY4$}16x18OmaYn{ECx*5s~zAmaZ>5%f}k) z=Z>9S%O7LY3zG&#zBY1-r%A@B20F;w&`F+M`kkD5IDYl!8Wl}i_783)WK*15k2)b( zQhiW-?=N9;vGg^&y#%ny9=15rgtqAcEW8tR# z?POEN+FI??g@qpkNh-Pp*rmZ#39qY3qvqrEX7HcA4UJXDww1mo#yW9u`tHLR&9`wf zu{H(m>$~j>pK;!OHpDh`Y+FjpuSzZjc*Zum3n;^fS+Lm-)K+Zf3XEO zy)?DCqO8&wsVdZU%P184mmT`6+vXhebYG{X0iIVuFLS8yDncH` ziZbfC655X9e5U7`DeCki;AJI7)x21CZ%}_;c8VLDCmrVW+;il1uixJH-37myO@Sz9 zesx{Sef)}rE0e*Zo0ucr0Vy?MfBJo&IJt87QXc%d`GW^cq6GM(tUS&w_=?AuG1m16 zgVD2Z^8*&Zz)BXSAmKT(s-sQZZ(PpA+I3-zehGDMVPCOsvxJvU1Z{{tgnHG-vB+Pr zHhs^W()E8|CA}KblKQbba?wY1W_KHO@P_JJQPnc%bp0x1#GO)F zvL5t%%Eap$3#URYDU~5Vf47v_yRue&r@LD>-%d&l9|grtw+nf$7%*8pX{cd~`}uvk zlQ*8fQOf`FuM#**NGh7BiW!yQGmHx=4)h@LH_XX@!&YgCs(qcQN-Flcj`b#wBY7-W4f69k}p(BZW=AKb< zC9Fcm>@^%{JZ5%CqFBEpa@$`wN`72?~*>nxaMDAr^b0)fwM0yO zOYBd<@3)HBc(LexZ89Tn|M(>Ly182Fr%$pL6>J--QOh)^dgJY;f0}Z?4yLX1`f%eK z@-l<=sGr%vqrM&};XuKl#f4)l?1=bp_ zpDwK0<7X2ceW83^PO?iCxSn)+FPGMTu|7pd><-O-AXyJUn2|2I_DDS>l8$fcB5x&O zjR;5<2)wcFf0Atj7BM-2Z_HE9ObLd7MK;`(dh;MyH@auhYEhk@HV$FWfT-K5%YH zaj%}^@?wf^9+HK~BKeZxtn@%!yRGbVO~j`IP;j{~f1_Yq+hy#NQ>Dw?>o#p?d;JHD zlnu54THJC4q4)uD`yt+8*4RzeA+{CZgx;^XBk4lB#=7cKvGvw*PMUe2V#r!0oJYKp zQX`E+cW9MmCohWG$+5q;Y4pGG?;Hy6pserx60X?ce{mS~;YTNS;d9DoeRi=l9e?Nr~o|9$EtV~(*kL+j}izbwrJo1gp^&PQr<8?5A20*!*|N_kGN52s9{sqfXq zJTba#U0&*Y@jCxbJ8_S~Lq@P<1k)8<19WX2;FgOCOr(YmQlgHcky{AV2OpSeV+=ja6)!U7gZz6dDx@rMtz z&!^w4Jpa)Jo4yKR3u+IX2y2khmZ%M$itKTD-u7*LSV;u6iiMII2*?R&?hqN^fAxVA z{AKh;QnZl8@^x|XEtj*bF$!TsT?0oh|2vW{8}~SFs`h$aN{7tB&QBv- zdQmmR*DTCLWVvjL#-&-G9xOT~(^FhN3x-KBm3$LplMJTKL@KU!q?pgh_|()iZbhX~ z%cWd94g!Mq9vyA)-9H05R#)pef33Iptv+E2BW+byI`Oihab!4o53Fz#fvN*FvJ~F* z^1=?l~@!#ah} z{?#~Y{PRYNv0K>&>jz)L$VGG~4;5Av-@CMp_^qQ{?$8V!g1$=tR)(DWe@2;XlAx<2 z0@OE&`jI-Ns`{D16O7oIB+vI!590Y?EgiC3^*CX(s*<~WRe7|FT(a6_%&s_*A1#Up z^Q>?r>eWNTfLmid1aDcO&&z-*^^l}zDl14FOHs6n+!s0x;YP{1Y9n&{uan17TBP5V zp4}aB%pmbnJSMu;`PMESe>wcs|GdU88>`1?O)O6zF(=&etz{=$Uaxq=6&n3HJZDBw zpnte@&B~>!tF`y2Ofv6AGy{u{_F8606K6+2t$3v4p)XPEVbf55>A|UWFanbEa5)qa zN@adjQ&TewzvF}4`n2gV1f5#SZ!5JOS;bDzVow)~#M95)&$gyLoow8OnVU@?nWV_i{uj?FV+J65@b2bo`WwdgX^sDuVgJ zMb*XQ=cex&UzYYeNIp`dwb>J@<_MWYocI=*g#F|bweoIb-R*d@f&HnPcxOt)^{`p| z)pr1L(Y4|9vi-y$aR3WT%>_s7cu=6Dq$-GC8Ek>EcF)3^567sq$Z%y%#AcxN=&> z&GEtae|;=QK3FO|z5h^Pr}nBTIe0xljKM*o_0{W#h9;vy_}Yt)JMBoEA_~g(xKz!I z-SVGTTBN!9B~_Eq7cjJY-}_odboW+U3e9IGvtewR(}$9I#xNr)2$LfjCWH2I!&J=8=+Mov;+I_WgP!kWO7+s$F9?f4$nNc7_^ zt=XT5a@S=U*zu8`X1i9i?f^NFb*Pkd%FpKlNAuh{=prpYHzqL~|5Lq;)tQo(qqCs5 zf5L}fp4M6oFdt4jHWeCXu*tQ{ldkeO69Qg#6ZtAs)DoZ)KV#?m%uVFWUqGVHH1znr zPnON6P_Tx{@OiM26yKV&Glw}<05N_17!)+pd! zc)^p3rNh2C3TgKBDMXX(tW5=0?4(+OfBNg8iRshYh&p!Fm#e#3inaG$+};qLBk!QEXKvT%0^8X$NG z65QQ_LvVt-I|O(4%ic$_&;MT4y+swwuXS{f?m3|(RaRpZHFq$zka7UIGO{wU@BzdX z)MZ&&04yx*Oe`#H2$YoSKvz49|Hu(2H7%T7fDRzOe^`h+TbQ`M%Op%(-wl5i96*4N zZgv1xb^t3EA1gN>3k!gag@yM&h7Qhr00|R!pgBN+3GmSYWZ{B9DemCtiqcNaI1xrH;}Jv%^6Rvw__XaV|{vHZUb7y$on4uF-3^}pf% z?fq9EAn0#r6Eiahdq)$H7Z79xumsv!0F|B2w-u+G7O@MYL zrtb!SAKe5XC8`22d9U!_^|_ci107vmm|TE%f7QtRSD5!UOM=YB9qjEbK&~zbf1OVP z=xky3-ghtNe_yUG$iV~T^B=MVg3K-dD#P5(ky!%-baJzhmH4;Ky9nWr%*w(Qz{$eG z!o$V`uy6ucc$!%=|CN70-OJJ9Zzbzr;`bW-d>kDd0haG&Soi@gE#Chi__&z3TL4_0 z-7Nfk{;Bw1LSSVDm;=pR0j3sKKoG*8=UK8);~07f=W765-MD;o!Z`~AW1f8!{d z0RMfCfB4FREFA#6|2pn_pZ;@X_kYg-&A%6f7Vy8Z6dm3t*8)KEXVCRoI9bfzf3g05 z9{0ap{{Kz+Us3*F2mSw^NXpI5?r%NKzYP9=^d|N|JFkCRyicy1>-!ccIK1xy=>M8( zS^R5t6)enwZuWowS1apk^1cnCAglL@W@P1HV&V9g9Oxni^t3Qn2D+MA|7&XgCD-_C z-|T=O3uOlv;9qZ;cP|!}|D$_fGBexvw}{L8X#TCTc;BJ_%_|8qb1?sF+1NO_04C1P zCSC~dcl}PB03X)(tu(jr{Ck)I%uFB$*LN4ddyReoO9y{vgugD9iwnRk_Lt~i#0_8; z|3f?gW{E$<3t*P~FLAQ~n5F&@JAhgC5532f|3mLF75>nB6s7+X&wCW*Kg0%LR{cZo zG1dMM2Y^}q54~s5{6p^+2SAgUV!Bv{EL8p;9sbd$_wRotv(tZ({XLtLo5TC2{f{Fn>w5#7 z|AFt-y8LP1yOWEBJ@9|8h?Vs{+do6Rx5Vuq_}&utf8cuzkAK|Hds&|U!1sE*{(Pn2#a$LX8fTxwV`eI)uIF*jJsoO93T2G zqppA9w00!%-1k(1#RVR&*z=+nM7w5wM?Y+!AF&m`{jk->X0bI~_f3oD!(Oa!gSIr? zX7HUr7koT&k#}SJE!WwpYs?NZx57SaQXTZT7MZ5SVQ{+Goy|Cq7NBaXysNN2gQadf zW6sRf(UIF&1kO_s}Y@^>5zY=aJdv2J4qyxI(SIy8)oC&>R&2l00(ZS z5gZ4-EhFb6AjPKVA;fn%*9C17XgU4TyiGV9ZtxabCjb$F>-}7F417yZ zvCBNyN`3o8q){_s86SmM<~N?>6k}+{@JXaR*(aiIn5*0WY+X3&qgrQeX>Wg>`wc}> z-8Ha|jN+nJ=`%v^HE-E7s9zl9>s7PFz~| zSG2B(qGUNUUJ93}*xjHHk99h|SOOvO$1`8tYByvTXDEQRfFXJ4npXqa&$>0E(|(iD zQ_yhEBKtBWsotH&8ZSuem0@{~FAys5x==L^aN{~r!qExNH(paFzI;c4^G?Y7$Sx&H zc_i}1Ham8TWaDbeoH>6GqRb%6>Z&&=m~HrWpin^nDUxzM5j3tv6N1U?U;y25$j(M`17Ui3P?80$i44&&spcQ3bW>8<@L``S$@t~KdPCbq zT9mAAn{p2&zJD~8Y|{F)Rp6~5R+F0>z0#UIJDHpy4OV@8JSu<36$wgS9GuuHbEZXA z^@Tlm*-ydD&$#fNGF`pHIiq*ILJrh`0#f_9fUb1HL0&oes3yOi# zwhZ(wFE9NZKrw%>5?H<@s*e}hmrNB=k89?O$wFW@KEqsU%eOqRMlLQ+zF1+kKvZXP zwjVcO;Gf{pV(G68PCEL2xnq}y)qY+-TIl`xswrrIq=AgX<3BRCvl)X4SiZdH2q%LM zk=C@hc{uuH~f4|V|kVzW7S6W2tmB3^ufB}CudHDTp#?VU9PLuEAFjNL{ z<&h>I^O0oIhJxwKLp+A~GR~0D)V;a$4qBH^j(0bE(x?Q!AsGqH(`u<#LWyu`)$*fD z8CaN$L@2InB?mDlA*>wX{r$|dlUYG-k!HcyA4h&`1HH=2!?M(`s*=_#Ed!8G#DuMZ z;2=`R(>#AaU~A`RJ0}_H`~;yW2)4%?xZnRTZO=9Yg~-D{M*R=%#k(6X-Y1zQ+x_coA1#gbjf>GWQ%+y5;;=1V3n zS?zz}C-ys|uf5=)lBJTJ%JItm6Nd_)+ko6xkM?VNkob(hd*|((s{>e8T`*s&Ngcxn zuV4~=SUeqEp3`=DfXi;}&-3x|Dr|oo^WiRxkhb`4$3j8SFJTx7nhT`(9YLY4fP+c< z$UyK#?;J(W=LmRo{Cp(jsVjzI3N~i46EJ@i%qz=)qVHTeB$TwOl)p?@c@}L-vO~CF z6G-gOu+kfx;D#kt7{y6GjJl-A{g`=^2&%Yj&@T@bRAt8*!g@3pBGp+Qi#_6PRftfj zg&9j`)|@r3+pGkKTkWQQ728{Zz^Z!C!lMe2y*LYAA(Xvw%oM#T!my@mE&=o~XhDBh z_w1t)T;3X?8KB+-jUGBz6j7-p&$H-tq)&<}7-U(_YX25)^fVxj z1~%WP{XPe22tA$!<*rcvYI>oW>{5Rhj>ij08)d@$V8SX7#Z>RnI07^Y`?MxgQTBRp zM=l=2Xlx~jj{{q2xk`(mo>(g>9TxBuj$@H7>n4dA;vg(VV1+o%nfB9#w=_Pk9+@=o zdO}*qxhI%nF6TGk?E97cPFLSOW;;)!HQ$j95fDB@V%Ll?oX3`s>HgI2q^f@##n;Xk z4J{t2q>j1le&riKbs7zuvVj2nCg^UuX67EjPQO?Dc_DCvFE4rXa|X39CuVTqz75(~5^$;k21TK1(>VY<3%%MrM#Lduh5L(ice1rHY&^oh-IfbT-Zjwsus zX7*Y~TG;KpcIs7_^8RXCdr(v@aSm;Tqhyi8-#8m!+HQ+IHs$G6&rN?5_laUq#&SF1 zMTDXxL+I#FXGI_FU1&kOHVl^2K$BheZZ7`5xMTUSS?jWg4c19rk|qW8kfvh$Wmh2(UdASp)z9grwakA=nGM@_)r9A`V8}mWc*M3=dGnUT;i1szXfGV~m~cx_a2E|L z2L39oz&(8?KKv>M^{Q-WeR-7UUV~Gw*=QR15b@_E?ZLGLjG+Cm&BtHCd~YvJtTQpF zravG)NEGtE;P?$o8HYp8byl$4neF}90p+T$gmlT?MmW}c0o8wmN4zJdHg`)rJ|#YCaltS39* zh&lI^@WRxTI6!}n9xFYa&1tR7(h^N2I5rgZr!h1X83Je@QyyjBfjKIS+9PHU5w6^j zP75P9$)vWpAR{8uq4DA=YLf^#ISIw?lnsxzp2`B_5i5j#q5jidht+FddIaLjTj*g2 zX{}ZLhd^q}9$}|CkJd=n`3$*S-PtGCyBjL#Nr-F)0djw^7uqeIuMFN_ANstbCpu%G zVSg7^QL>UI=YtJoH&)k$X^}a)jXwjD?5|B!omq?5x1FD#t1(2x!)Xu=Gk<(=ZQOiQ zHDoCaiyoD8ML+YI?L@H>t9v4wT`#&jld!xe-B=g&jZP?0nMZ)!=6k+Kr0Im$i|X+& zmPU(laVLMa2}t{uXj`U?Xhpcqe2!Zu2s4Lrb^FE0Km&|8yYXkT_aR9llKL3~g=Wbl zFPhEh>9X#6!*$#nD$!d22Ip4C`i~;l(Ai-Xr;*B&#k47DTeGp-%~PNJOnBcS)s_c{ z7kO}0#C@E8159^uQR{t*eiRzc94}rWo+D8n9*2KJ6xQMUeB|oV!N|xQwO>kuNTTk- z!qKTo+3T&d5Zlf1nzk;2cJ8KY<9Xl^JVU;cR8-!CvanbgH`T~m zkDBdjk3bF4m@~~h`c<&$1d2fkzXYVV8|j5MS>~X7IkBR+oAYwoMmpV2>YqTg=|UL9W^+ zm_ z5p+i4vc87sb7w5Hxqyff&ae8_%5#KG%}{=Y?6omYZ`W4{1^cs<24Med`^Sj+g&Kn+ z51{?e{T}(@qMX}JvqFU*li9XH2{M1O6#&R07eb?|8l$H}opUhee9RS@b4rxI?LVpLAwf4H0ivw9E=7dRK$ zsAH4o=r`N+p`x^-J9;Pu1v$b9!%{YQ8XjpvJtGeCdQrs=?Z zGxnZ()eL6dH+&XFJ8QlzZS>GW>F0cKN{67Z)b<8x`T{qC>T3a*q5sC?E9`08lZA?k zJonKV#$xNG7{GBEEXQD?03|+QuH#;&=lCf=l=9%XiNp0XhZ)*WVQtCa&1!dtI-DLW6WzOXL z$IaiMmjLSR2@V!L4lSpb&Q}2~#`Fgcx(?mAFksSt?A{bT<4f_;HQ#?E)gRXsz29)t z3`Ylrp>-mxD1=s=VNruckM6}jd8_>Z2Oh4Ze)75rf!0uh*X_-g7S6PXoGh0gIDOlj zzksn*wyz38YlJylE_D7rve?)+bg>-ZE zplN(w0Hkq;_hHo5Z;yWz?9Xo@3$^wyg<;$?NUedcybLU5j9v`+6_LGUG!mehSINm} ziD%zjn_$kEN`?bVx=6>MvNnPAfqK+EpA zLJ4}IwgZ55U-be1`HlIig$yLn%>n&y8bvJBPN zLD}+%AU{V|4IzEHt!6-WN)a9EPF#VIIErjO;7}ARb%VR?+V*lqneaAnEN>nxN+K(W zO<@x59!Z$2nqhxlv0KrzTcyg_!^B6ARP~S3@(?4B{8ol|P<1#&Le3fn$ruRnBM>q3WgDcK~UY>GvRq&{ve6ZNuLNAM5*PrZqPO4>z=h1)q!(LQzq%BZ>^Lo1(@7p?I&g)~jN+K;`mohjc8yJOv_CT98wK%*IaW&Kg9&*Mh$y*(^C`b=xGK{Y) zK8_o3mT!NXY=r^(4RRtrN`;OnL$DU(I;%6ZX+BsY^!z+6WGWn7D_fqR^ohd(Y3+JT z>0|NvUH)y|>t2j=>ddqRWF%kM01vTk^DCQhIIemc)G5QGN}+rgdIT)A^;R9m@{_NiAOJg68Z zRq5@wQPD7q+R{+4fxi3$wlpmwUj#Y+)Ed~5NkHWXAxO_J^-rV^Sh=wSNFNXtMn!MZ zX83=r?iL23{E$uGw%I>)l>mrH1ZFDUY7B8$*wv@sty8Si` zzrtj4l0qX+y08u|Vfyn1j&LL$MzX{cf6<2Wq-j#;q_6u-PU|Is^)fwXEoCot6)u#VlR0o?WmnKlYP6LZN%S- zzvD)P!|ZBA)rr_vTdBVtoSK~}l=0Sqo1XY;S?WPxY9Qom{Ps-vZDdHwWl#F9QDSK( z(`UzfA{)C+z%g!?fbTqj6KB%F%n;x4b34gO^zBvymW?9Pjj`#LBhedFzfFHs$OXIB z?=Dpws3)Q8SIKN-(@&PjL;AEn#;pzNmRR6@s{yw`G-#hyf`dDoy%mLiEEq4}&00#DZlxqi$D!F|Ak(#| z!TcnU(@Cga8^;;{vs!mtP%4>THZIS%=Rk0tA81wvepmkS>g}ZJDLdlzwXLYRI6@9b zP4tDjk*b}WYPrTDFVKH0c{Fq>T>_Zr$)!DbtJeyhbi+&p{at+IweItu} z4Vonj>)=CAfz6Nu)jSqhbQ_Y|E4 zi&K&Q;D6?G4bo-(s3uaNbEHXT?k^qNI1ZOmFSgi^i?cn_+EA^e zOAkjE=vPQo4XJyP?)$V~aj65ti6R7B35RYvC{fT^s87p*M7u%ml~@U>GQ%6H<-UP( z&_e43$rgWdzLks8ApZaG)vgunk*NA_f!lbb%g0lU45|A`WaZG+8{G z!Ww5z1=;E~T;%A_-`xpelT+?1N~OPMbKJC~Le8k~@} zssRn~?V`uo^z|3a+P7r6{tL6u0fsGK(hN7#)*?=#K2@r!Y4uT54h;L9f&TeOWq#`o z{@uO2mT;KJXduG5hKT6;lZ~VJFYAB8uv>HF@Vi!VyxvxRY-=a!J*4xr=jaNX+VESG zw3@ZToM*m#`GOlMta4>{)4zn40z3*hCc75L*3Crb!T8dnCe|tf{Vmkt0{!}v(ldHb z3jNRGYGKQ(!<4qPyugGq>(@|(H36&UPSy|)^48yvWnDN1hnM2PA*Fgu*d4b2Uc&I2xk@#+~ z9}z_pKUf5jI|*pB0XW*LCCvEdr%IKN-~FoM*UOB2kWRm0iRm1o>>4DYHs0nIgbpFA znV$BQHl&;BLiRjVMk(`J$UE>&A4M(XYH~-;&VNr01>+JuZuw=?w^s+eFi)ia$_S)v z{_+Vux_7Ddo)7sr(a@~#J*cmsMX5jy1a^~)ez>yN+X32u;&qeY6_V9eP;p;ks1UZ5 z!7n)b55S|Dn)KrEQ3U9W3~%5eSnxLG@pAU;W$Nq&3|8vy-6?;G7YFAtg$Ut#r}GID zFYHQo#*D881H&ob3euacxLVz>o!I5mxdMW###>jzg)*))AIXjP?(`B@--|dezO>Ib z@cIOYy#bbsP7t&24kYG*W-Y$t$;hB*?H_Ob)Dr#SiRt^6tNpF33kA&sn1y=dLkCF9 zmlm&rSG?%lRfgj=H78W5tpJ0GE$9b^p&bd}pa@f#qhFgs^OEzTgz0X#vQH=Wo^LiY z(y&$7C`lte+m53e0CxAhpc77aTw4=D`XJXIC;-{Ll&2+yM8rRb!Jh}wRGH!=zaEm4 zq&;`H6{~Y2KJ{_29~X$?5HvvN(gN%&m1lR>@1Pc>0#g{#wxX;po4y~nk`+xpF`TD@ z-kT>Se1iMXjbypu_RmLmO*kA`?)QA~R^msMgdAvmrN{I^0VRe3GDdc~dMQ{Z#@F1c z3V?-OG$ZN4>k+&8RhiezgmeoJbw_W;alG8NT~q7N-<$h{CsoM07t}1ym0X3UIEDk1 zXP4Cej#YJ+_=%RVz^=j9$M!n#TPt{hetxjE1N3bAQbwN_$sH86Eaxjo%rsxDy_~MO zwlf>W4kmodN9UJu%Snz!D!&DR3dDq{2SAV`UcNJ}(tp3pFU*=Hzk=5{^3~D=h?r6w zFB(^HM{1XW9zP3x((O`ZP3wOX4ZZRk#b|Obz({chW+&cSjMeZQ5iUhe&7IZ99X%t| zW6mv1b`E&(|oXEB`~*Ome|mJ#T-no;yM7!CXbO90V6XFv{?uh#<^wTz+S>kQHb|dzw?X{Tqtcff|6$x<9Bt~$iw}ngv3{+=5o+7@RHu|g)h2h zZpsx{>%laD_kh5J=wdck@p#)Amx)THJj>-}EAw62L$S$e`ELF~426DVR_nkp7?OFJ zfm=46H|BXGKPUZE{v4=iQZ}X{AkGg4XL6rVBfwa*?t?LOB)&pR_OU>C zX(Pt*nD;zTZEUg$D#{6{7{Az*BM9*|#Z~FJGZKqk{lm1Q&^5zet3=Yrj|PqNexS<;+$}_(>=2ANs3bdx#$dc1-~ieilou= zFbe&Z!Kwo+*q%$88IE`+Vbp6MXu;fmQK;Wvq`Dh z+6!dY_eK_oa)BFa?*lMOyw$Jis0bsGj_aG;%v|+Ur{u>!1s!e9q4Z_Ze0*NLrez++ z^Rhzq5B{a)Jbakzy?Rv3kXZF5H}fu0?Fn%y&7iu?ry7leX7ivgj=&|p5T3HVQmsdy4t09u@Gl9rt}1cS-4tN3N|oQS6cVb`i&h=O zzNNwQPht~#`;+g7GXO`!KwhF*mNUyNZQb<=6Kvx(N2V18J&ufFyjy`W`PMm{0>ggW zn0AM8)V)7lid*xbPun1yu#FoBE#AdzFMD6+$burX`cgVyMXK!NUB^ZkkTw<@Gy%b_Nn#egnl2X78G!9yC63TnK-eV zI}vt3t5({GyES{32$t3(_#l?6LD+s!)YIIlu*NuG0Magmp z&J&|>w)SL3>bq%e|JZsyI@2)e|$9 zJ}9cP73@*I2+%lY&$W}Me4KGtWewuGqfA76BPr05>qVsFob4$3jEa7zq~NK7YD-QZ zAt8xgQtb?jCb*z&e!z8m~C!t^U#W7v$Pxr(Ed2DW>dW)_Icu>I;Cu(ZG>RP{OG7 zku9GA3WhCO-Nb4#U*193#JvIsZF)@9#YsZv)t4JpP0GHx<=gRw$aC&kMCca+na~>is%oK?!MlM z%FG-hU=LpZXv`L-6a4HIdH~5ngevHyraCx6=AC^H#to^};!&oF{{c+rrJW5<(0Qmk z(^V5nSPe{}Q*#4xMV+Vw%)j}tP=W{8L⁢rABT%;uA~e`ztTUEFe-EEx1@k9#p*G z2O<`4roazJ_1tZ<;<_oN0_5}p;uM?Sk4dM48g`0S8x~f-EC1vFwgaAOt_Z5vwn`|# z2dMta4hG*FbT7g>o2m@eFrGeJec>`W_MP$53pf9k3h5u40 zh4NUYK?U;>TZ`{~ba{_o!xK@ii~ujO+oB0gv}Hv`y$f)wlz zI`A)`wzNU~{Q-Piinh+=Fa^88W}ba&bYozkM@j+OdoVS}w$6!Qq>x=kVmqFUibMP{ zDWIG%oEfsRy0+kfDT@c*Q%vJtO`?cmbd-869rRK4q0OeaiJ%U)UwX)%i*IYnX@+Z% zcDRy)tFoC;x(jrVxlY1*kCp;L%c-0TNm-OW`bom$4FGfB*#WPM!Q%=yv)ho6TDRu| zl3rqoY|(oGI?N>&v0oPU0Ts%9it&FCKI8@XI~Ah(a9P*aQ>WGr&_v3_uoUT)YMpR3Z+G#m?1i3+P?|)s?{u8+Gs+`h0})_39?3 ziEGVP?_VdcU>C}@TZQFQ;XN+oO|iX&;bg*Y!j1hJvh3c5Rg&TVv@WYs$Pr*)B*)Pr z9~cu9SbzVRq|cR#Rth%)pYdvq)K^M42C?XVsJAg$qv`x@nddx3#>S^|w^J?oSPG=i zk^|h(ORoD%+EJ7eD?}%%D?VDTA|t}EQ=~L#j~mv6lX=*~&SHLU9U_E2ofBrv~ZmUlW0&=8wH$JDTm&d_bA_2Az?QqJp94+;niXnG^E## zNe>wCldDCWZ)c|8l~SPc)y-fLG!86Y%7w0-tzerHhHAXo|CoXa&ucbm8EF0?Px}+8 zTX&R`?_3xlrNq>%B9CW9et^@lYOBOlR3EN3p-MhB4FxokRCl98n@3I=)(K$0wE;}q z>c~r3VSJ^EC>Tu~d1r9qe%k5T)}Fq#p(Z|Y3ixRK*-+d`rTIb%-h#mq=)t$$39JEM zduqS-c_qnQ6OKubH4=ipQ)T(e>%w)eI?i$~141ThnDc&)b}P%Dy(n0}62mOrlI?1P z4I>mytsudive0pZn}%@gh&?lAH2_F(XPA-q9C3#|`o&u=9FE#_8!*Kc>*Uf$p~_oO zEiWTH^SQOf8L^^7d5#ko&puoXBr{ZDAaWSbcqpDcm;UAZaOPn$X`dwx))qkUr)KSV zzj^zLm3cOx7i1p4so|sd*O%?`CM>@T9h=-mUZGUIs{x(%8HbFVpKn@7u>dg5SS|zx zfQU3$+O;$9rQx9<+xl!ZW-V!IGUT=2e&U1_#~>=Q zh}ubr5WV7+=+`^A;)V)SQ zg@4M%fJ0iMErHmLX6ZLrq(h{FgSBW}2!lO;X3>>DjU@d%m@FOlstI6nVB@QC1}S`B zSs(#?GZ-LuRvo5=XdWY08C}6YlH0+y^ba*=_n(R-HOnU#-Hb_AX7~xoAv!~$2wTal zbVo_k2U0f)K=DtK7J|OP%6BUQ>o;Dke(%YMm?_d)%sFZ`?D6uo3xx;n5p1XnVFPpT zai&u~e2tAM9PTF(y&E92@mEw2wb((Wt27oeB~T~*S~_J(i-e3hdvG|TFaG%;VMY6e zBNudK?NZKX?43U&K{DKdhTqMW%U*MGw;PC!lvpzt*Ns9gSQ5p=^!i+-NQ=dIBG-xm zf47>k2kti8X1unu(falin`~X@N0)}61~WI^zopyvGv#{NWEkMSLagm=nKg&9c|ReF zYu75_oJsHAa8}%sNunGShu&8->0qxyhj9ExNNo7{8e68ZcZ6^(Dj)pEn`Z1PMJhMZ z*|hAH-px9g-`JZSGZuB0T>YqMcBv( z+y?;ItyoPB;{xPF%G>sht78MhGB_X5Ojinppk}iFP;4%9q+aqRq-3QA%6UnTd>&mC zDi4FoanzhP<-ioIxd&VeT+Rm?hgQUTa#m6;W2(pR;ZK2Nb+D;;Gh z=X9JJQZ?%7&IUy_{XSmaN4QJ6IpM0`Vy`Rkee}i`IwTQ4&{n(~R^0EMQ^;hXWFdj( zQVRhjwK>_eifhs7PBI|ZR`yjMlA@8n4IA{zL%vF7^=QbH*K{Ob$}(zUBh-o9<7GFE zC@waz>;aP|y4IMX7X`#3@}lB{5xRA}6+<(e>>;vS1$9Z+mv9rW)}xJ()JK*n`Xi1)Q8iu31@aRuN;{-~fNsM&~ zJT0vmbh<5iqdt`3L$)H>qmehx++x(kl95@#VrEYSKWM$^gW~4?^8pb8_7<*PXMP6L zAJL)WRfley5FUDqJNu4*1H%L;BrW;8I$cfE$?3Ct{!SXsIZg*NyYX9(_NZn+Kt?kR0K1H*ApIt`WD_fFL~9 zzyFjCf{J*Olrv3JIBX6l5VJoX8y-KSCV%@X)gC7a&=VQ6ug#6^vF%#P zxFGhO%)2RM4tHwVivc1TJCO2(hyqT+?TNDf#nA%@9BPb^#2ZxweXctB@d1g(@zA;% znPfkgq+@pXqNhcAMvj3V6N`<~6`C123SpT|ZYyb#M8ZB2uu357Yd} zlffey*b@uk1Vf7U3T;r9kY;+4 z_NtV;cFZ7Lp}2#06#Fa`hx0L#+ltllG3IA;c;=@)iS}IZ69s@fw{8|XLAzEry@Q|uxsks16EM^DlZWXn-w(d|SKwSu%3 zPrWbzreO`4djgbf8@XW&v&gN`Pa25^4_tyz+1jB`QyqARlGY z_nJJ}SOvJ1fRKNUn1SdCO2|dQL*OOV*L5 z^(ao>dHApkCbfE+m{t@_TWd`mbT$jv6Hsj@L7?jdn?Mf$hPDurqI9cP8h;YAL^&&)|^eoLR|fO`>X=?NXc}PU*IxX z4mkD$e|}qAQ-HZtf*3GcN^9vhLf%eX)XU|`%4YwZZ~y*$CBOFbQUXD3xY%#8*!U?M zoTp|t$|{{)Mi3HwiqXav*;eRa10L+ZyhhgFCJEhp@cz;PG7^|o`Rk_q-ZHpdl_62iw|%|xfV$-%K!EQx&898gwmj zSU61MC>aG8tT3V-8EZ081+cIJ6}|!7^^4##qaCdUeMg02h(OMJy;geE%MeWqW9iD8 zmkb;6+B#L4Ck3dcQ9&2b1TwNT#I8LD`8=i;^?BXBh4CaG6zob!Gcf|L;eV>C&L&Aq z*7IV!LZOG(dZfzFOL(cl{maj#Mx9OeK=Y3CsUm=95}d=B37x^c0kJZbT#8LMv z4w{ohkA6%BI*2tL-x=_0A7usYv`k}gV6U~#6L6x@4l}OQxfoAT@S_TloIMmUx=~b9(#R4DDV}5TvLE{PbumSK#NZ}oy*{^nJHjlYT=@^ zP2^ULsW5f6l{*4w9CtY(qL$Aja#LNnG5;C2RjC=TbLFgZGL{Mr(k zgeWd;fHw?V!ZU9p*Jr)iM*mt77Dd(uvLpwm^|ceUTe#d;Yw%whN%#0 z>G&UN1*FzHfL5pUKXIBRdZrq#r5%jNyav0ENu8SN9L^*srHZbw=dQ0`jvFtD1{Mk% zzOM6{2gtR(>`_y@LkiOFb~-#gqS>UwUyhkzk>s5XJ+h>M zZT2APvDHZvF)H~w(A^2F)u^5uYXN+t{LnLMPEjKX08EqjF-@#aAVOP6pdWna49l{~ILH z#HP8YZIIAwC8h&2QJ2PxO!q-CmmVUCd-uKs&~9JfCdEv9@1Mr2^LRpuz6U6$0T0c; z@31Zr_Jw%oCDcDd{~STOD_Wwwij~I$N_GshL(wsx5Gl{BNuV>=yHtR*dcFkhApcFu z@=Yy*@w-QLA?rNtVihsIKD*YRCJedInW129M3HS^@>E^R^w zFlNeGu0@EX#KM4e^i>>L8Ol_`3fG>^QrKSnK^aR}=C2AM9#3FOfRq{~Uq!J}y9uqQHT5Xv2K4qVt|*SdOb=gbv8 zNS#z;oOFnh)#JE`vqmL2z+ll4~6@tz@fwR$idAqCQSFVj7&n*eJsm zpTyxV1tTgQN*drbo?@1DgivEVqG^4%d!UC$=3$FNW`iCdCn#5DYA-P5r_AjE2J==+ z4EC=|2psQmn!D3aSSWEF;RJGXNQdA22+`!ig*{}z!Y9e)o*@H zAy5%aIF1?8f^gD8xz(Hx_n7m|bIIG#z-ZnfcbvNahCU6`TXBaxKp^UZ6ge+Pn=xE* z30N;{*5$yjWWp+Dzd_l~o$RXuRuEjoY7#=Oeb^Vhp&G0fCV=lOPd>s-Ocp@Dw^PKn zueN3@tk_u!gGOQMha>U4xMHpjiMKX7-E5u0pc}(}_iYOT=OisZ*=nG~b%PeRsUOxG zo9#C$*As}tY8>yrOfkWpqUGYD81T&Z&|iEhYtjS#CX?K-91B#u903o2Lfg*;;U=?w zv~8$Ywb^b2)rWILHQd?Sk1DU=D$$9CotYPea4|28^3B{10n|v?T!{Bt%myFj*ae5& zHM4osJ?mq6UWnhc&IQZKzE{)S{v07*f-C9YNOR~ofuqE*<4xdKyZe1*_K4zmr@}EYk~s2*mIYpMxu)B<$SSzZjzmz^{51 z->Qlg%b{6U-)hv?_Wle`0E15uD^}i%Kid^ObPYS0N$#m6E%>+z-31i^(_`s@-D z?oM@2R?PjIy8Ibn;Ph@ud#1p7!Xiz~>m=D{+=0@~R%siT&TbUGe3Y?4`Na4XHHwI} zQm4+8Vl#_oa)axvnhPdVljRrNmeu176B40B1-}TH!zo5FD9oWf|2h2iLv8P*`i{{$ zNT+SAMN1es3N3?O1Wh9gIi`_Ad(|9fU#5>6|{U;A$D9v$y=QnWxA+w{Ul%dDSRzRfMKc3KPC?hUxi#{5 zueArdPeiuZ&z8|H+`jhKxF8TQ4PjE2E#QMz%CWAvvShX_0IXF`nDzqX@<$J6C8pp1 zj!6H)m+%#^y(u^nsbwG85sX#33p-^>a)E2TvD;0)F=M_{f5GfogEgS+RO1!=_8n%G z;b@?icNyM9du>i8U>-kmJDd%@WUi-ypnMXto;hloPyfa(B&@%3*|f@Jb@jEI`S+Ly zfSa6NO7@f|A)izO{&#QF&fX?Cz-*egLvq`aY%{$^KbIEGLx}V_cTdW|CNY*_n_0SX#&!p(!1dg<Rp%kcOcANf!P1m2374rohMVWbF*^LGqF)JF;P;(Fv>fci5a_@6H$rrurRT3FtM|+ zGjsiKNk)e=^bjaJGe-t7I|P+LpRTSdE;mNNTf@b~ZZ=HaSDB4XHArYE85tb$+jK|} zg4cwRNsb)LK){0djfUq+AasvCcYXN%qiYVAm$+s zw~Qtb*oy+707Fu;s*@BJo*4cF7E1xaf{F}#?1mDeGxilzn~t;vYFZY;3)0fwfsa%N zf+j_>#fDP6z^;)%!Aji%h7c+R^&^pwrD7eVMV1@J_5hm>YX3w23P#n)~CLFZ{0<&=wu4N$06^!uhpilk2hiL2ttwrwx7^m?;&!QX)YfKJRF^OPa zr~(1{p6nnQpBQCl0+G<$WzM7hx1=uagu=4^B87WXBpMr#>(f6U*YEOebOIq8+q~l5 zT0dGChBoyLW1>|IL^8D@QXg&tJ>7I_poljq;WM14hkkxdouk|nf-x?C<-7F#3-B}{ z6**&EI<)2+stGFTfgK}QBB&!6L%38`LpT5=uZJ&7fNIk{&o{iD6iJrkHYVPVOBF{Y&%ajEGVTTVWLaz z*!BUmjN9O0p~@h#D#y^G8y$JGZc8whW=dZ_rcGTv#4Mq3MFy=~44f20K{U~R=1)LI zsHgs6Tvy8dxM1v&t8uu9xCIiokbLbV+-W|S*3t;^_kwdLy|9p>$)WRkWl{!^r`&8o zo-6L}%mphN_aY9oqPR`pmeQYAjtls_EkC>~5xfo$&}s5JPLW-SgqF&eE&It;k*a9N zuDSJDT`Eo8e`QP-Bddf0)9?jbe(8V}V^V_^h@jpV-Adi0sAuF-uv-;ab*5j+R0nI( zLjK!DiqF)llNhrSR zTFh}3vAce#w-srx>{dpV`#emWFbOwoQp_4=lBAQdhWrZa7HLh*n>9w9&rvT#lszG3 zePq@kPP0DhqGjcNuPJwBLN^KyCnyyV=rIx_Wgv7N$!ETMt4L=Nd=MS6&7<7GFgRL- zPWhlaDgJe$9<`U!9uR786gXgA#06RNEi!r^*M-GlC4EyDUUIB;KF)5hOrF+){%#c| zL&DF^3Qef!-Uh7O|)JUvRMWrq9c*=2ol4`jG+#SDmgOLU^+nSy)H~kl+dW zp0^r8CkYjvi-=rm!vl@`dJ|NWz!DHosal3dBUc-s+w zMhPQo!ojeH*R+zmqAma~VeX49Mj{WX)I2&PP(;UAeC94CU8`f&ajyw$mC}EjhY&6I zr_*tWxx25Y6=@q>UfXdC|G$3yT=E&PAR~3ifBN>JuX^NAMlf@)-BIxurB_X?gn6>H zVWm)=jx43VXM84$1~({%Pu%pD=D>&7t|AsJ!<+oewdgaLNS+by1&v1G1Z>4U;kG1mGjx&?RPzo&F_2w#^lwd^f@1s54HqL=2g6e~gOf#M!jJwXD5 z3IaiAr!A`$lBs3{DgrXWenKk$)y?jYJ6 zmM*JO{6dXG2E%FVHTl)hEp5>3iCXDtwVtaz?Q_8)c*u1IBgr=#udzvBIISho6^3WZ zLkNvHIs%#%Hzvn2X-DD3nN#Fdnl^?n!_Q3K!kPl;v>;0=Wfx|W{i+UmLPOq_RS#Pg>{q(d>&3J8fr`)x= zePRWq-0cReWN#5X1-mKUz^AZfiStAHQ7HXV*b!e$xZN}9O?OMNgN}jUX;gSnq7^iu zum=FJO&@Y7rX{(;(<+3BNyrhUh>h|v_Ib*z%q1Pk(+1r<1{udItvu99++1kcX=<44 z(wpxd4R=-Yw0KY-;DrlIFvC|0J3&elVFN&Zaq;jes2zglj4>+Qj2D03%`o`Mv()BO zJR(ccsYh|7hR~B$ zLt7comH*}5^C#Tum6(;>@vg2Im3WY|lQ}elQ6{L1ta#?N6uZe}VwscZfa)Zb)H-n0 zFm;ydt$lvn{wA-9=u`*5oxbj<;5 z_LbnYS`iW+)_@!4F|EM7 zbO7$c=!3^X{xJ$-N>I&{{ge=WC4meLi}TO=kO|7ons6|6&Y7gIN>KH_94G1%{l1kxu`XR-56GMFZON(-Xg^ZJ^;X#KbAwmvA zgFy%hN)^ibq@Pv@YPPs;2HjR=s4qIR;JN=W6~wGy#?gXAil9}H{~`k|ArGrz@Q#G> zYa*ESiXC@arR(Y6BL_OFZH`PKd4uPV*^aN-xJAglLEuqRZ$X49O9@LPUE%>|`~$vd z=^IiydNa`78YJiwyrwM)8jrStQyjdOK83O?SL$lyQ?rXZ*h|5~+FD$*S-=cwwY$lR z)2zc*5w&b}ql^EW@tluoR;hKsl2w$DCHs!TV~1IHAua#q;`9_!2G5)$G;$B1-Qb9_ zbMviZM_W>pl63mE!uFemb`$~6v(WV+nyH)WzTKgxGYlN^j~L%A$+!Q6!t-Qgx@k^v z4F!_5c+yg~rKD3YE0ZXa zeFFBm^>e70t3FF$a2YQ>D%!fXDefts(trk1< zn;9-1YW~-VM_vM5dh=)BYg;uB+`Zi2&)-w8J^Ssi9D-87jOE8G;>MXKDg9NxX8I3O z#vG~hMg-q1G=z-t4_^Qt%pezAzmMAg)@I1msRX5C$TNYge@8#QBIS4jvtp$>@N}Q9 z=E<`WsrMt1Lf9vmeSX~aTjs{_^w_0lhoK-P{HGmiwZH9$2b#;b+`Dy>u zo;C-xhx4HCPjw9W_aQd+Dmoev-hdkGICViIrBi@V_d0-Enn5!ifKWlLywifp%yDb+ zfi8gpxoHw+Py^3xy+^QgZsSJ zA|1sT`X*z+qX9R-4{?NO|EvTAert3TY8qxrrmTOsBvt(SyE6|smj%=5onLs4ZXIs< zep;cAZf_8xYSioOP#qo+{8K#nL{>W0k8`H@JqCph0(}czzq59Z^*{Rg^79H3hENo$ zFI{F|nHt7tVERrPT&7u)2Le-K&u6B*d{{m{+uBndPXQ)82DxdPr*DsUkCGoP-xc8b z`jEYKbLWH|g2-O4I@hg=i`J-wP~B7zMcX#gM}Lw|Zq6n`>NLrs2KHdg@Jagoh@^w@ z(!u0_;1Bd&yjASmv=R*lI!5(qTl=>61iXH6M)|N-M4e{h@LPsl zncn{k0svkqv(^BGP?=#N8gzk+UVJ(83>x#wmP!8s$m06C4-ysv`-cV$i{h##wkZm_a}DSRoBH+V($}VzQY)_@DM~4CUB-C|m_~AY zFj5F_?svH?88gD#ia%m@D+)Xo>k+R5wf}ss9|77|8E;GPm}>8s2cxZuBL#I>>d>3_ zZwbCXuE3|+4yvo;c~q((n~VqI;X7!vJG53xqs#T@$!5CO>lX{d<&Guy$<|@E8eR<@ z`u2t2hlToGYmOxN;QVgm?}@#*ojSbyCjM+r4X`ZI7Z|J*ISmk>A`IY(8BmHa$MG2j)|v_Ye$F!D?ZB18uSBd8+?6XEzsDC zHEug_=NFd`S76Yp*Mmu(ARW8@%J>YWH0AE2!>1|m%%_hvH}0<7UpmI>6=oGDe3qVC zhUKGJfoKreV2tX9m8*%PE2uYZxp_)eBS1WjfCJ{f4v!WsqQFPvfbV;*o0GquTH-C~ zuiLQE9Ofyg)gXfJ(5at`!Rhj7Tkv;*BB!U|kMuGeIwQvD(7qW}Oo!zaG2B%+*TA4z z$NOKuUOwF{xfzuWvQLwSG)M!0-{UQKz8XS=tY^&TH77nB_r^~zH?9uLH*OYuJqyP__w8xewb$m!W|9KU1pgRW0Dcb1cFNtA2c)4 z)L?Qh`zzS-veFMc@!M{wNdr!B$M@CY->##tBf%YfrU4ZJc12O`5#hik9zxoPab4$6 z_(AwZA5cVgN1s)l(z}=E--oX^BEa<7-oXn}qd&;i4xf1+{cXNjcL3 z{=1$ag=p!>IGCo8NZ2PJ*w<5vAX+_>=u98(HrzjqwF{bG z*Q3~+rwCZ`brbq;%SspDe*v);vu%|$>&_;BhojG(R>gLF3m=QvHJR}^E44LG+TXFM z>}s1lY2KaZ*^NkIhfih6Jpd_8dx96f!!Z30o5HPM0j@hD2jg4^!J;8%X-_TUjj-LkthIk{VmM4}ynI-IunHp@I`ntYvIL?b~ZeA@2mI9TWPU?ww~k?z3^! zmO|IK=6dMKcho`fUx<5{n2j^bycfhpLpcSEG0Wenyd%Ry>ffaNv;A}H02Z--r{QC3 z2S?xAlBkZl#H*}YiO($~^RaczsTD0N$cp+m;B5cEJ0lo?Gn6%J_Rj)kNoEpmR%$y|A?ltL&c7aK}e9IE*&EIh&(6t zS>&ouh^bRxu*u)1u&!N{5my0`k|K#0p28PKx=87UpEgpsA`>}0dm)+zNM4Ep7g$Jy z2IS;Sd&Rd~QDITv>(04i(qI&QH9aWU#FkUonaOJrJlv8dOmXbH{3Q5f3Ov%mxs;ev z$!uy9MiAp@RgQQ>0ajRtFL*jn+pf4ME#okw*7Ybs?vXx$fM|GFsvt|JH^Z$@G`GyyCpI|~~OIk~u^1kC>c&u6jY delta 60882 zcmV(&K;gf|t0uXPCV+$igaU*Egam{Iv<4nE12r=^mmxI9uW-FUHHF2HY+GHL$5^Zy%+aaY%ymfy3>Bfa5DA3Z(c%9Tf34&mv(cS3& z`a*wo^T}VnW%f!FYeacwCRCd%U0PCFm|9)^TzviNhgYw^|M9!)g`%|h@#Rl9 zFTcStD{j7j{eRNWe)syzzy8}#*9)c?GljW+bMxmW$DHA&3M5s9*Owtl%SB4N+RcV_}^Ngoah}N)lT#fvYs(R9rD)t?-Lz zhBigCuvZJ}w)BK;uNPeE;&7iMj$6W|iNyVsd7>q-eSi2JPxt~Jr$y22{9~I#hXYl- zg^v>0uw7N{ga7Rx{+G&s>zd7eUHhr!!_p5m(sxQ0GlnqP@B2fBX_}Za;n^xfydl)` ztI?ugsG_^p?_7CWx@LP9iFtPoXQtCuTj?DS||ylx;W{6EZ`SA(EDtaZx_TMaeuD!=f)TBr!@9>ow^% zLyS9PT=32>Nbam8C2(*|P44WHNNvZ|++|3{y?ERURo1Av8vv{xG%bI8tNI0B;Im2~ z3~m7}mKA6}D{4?H=4VjnH7mNh^}5vg@38K4Ykw<=0y%~!f0f|~SO%pNj)0xXkcjG8 ziZN5j^+Ix5{O5HkiaOGC$eE{-@Ih{KM3_s6ki@7l4WE6HyV`>AQpWwh%ksMvJ->g> ziHsO+{$JiSNwiE@_{Q5Iq2Nem8SGH7WzFsNLI?qR-E=sTh5r<2+3>?z*%$t&YP*W7 zYkxn8b`O6|?cVfe>yntkw0-E+7Eg1tOCo50vzu*lC|RuPyLwx<)gc@bE@(~sQ%-j!4q);DnKPGC#WPi*4h2l)khjb zMc_Oa37eJWhk&;eVVg^Z9iHS{{RMMljfU*DXqkH!~w4UVj4m zVb28L0k5L0Ch#4J&Vv`>ujeyx8f-I7IPIbxM_Sd^!Ao&4^Ntmxn^gZ^Ee~sCy)e;E zn-j6XRG$4bxd5;7H^lTH>eDVf3~#v~-d0PuX&Jo5h>B)=U$@PnUiq)}2GzooRSpOydUeJ_lc>s{w4fbnlgK(+qWe>>b) zhcIekNB0N_r&@UOHS6(1Vhp%;oPXRZG1{-VZFifvS)eCGvWOeF#+{L-01%MwU^D?Y zQk{yr+TtqoeS#Nn+h%oF`*9scpvJi3w`LiBaHs?a@0zYT;KSXw$A%b@@!r6g|_$|(c3j_yGK~!-0iciFrfp}nQS^0i&z1e0p zmMJ*_>m_Byk2@qp6t~9~s0~!Lb$4i+<)J}KfD`$EnQI4U-shg+!x|?tL`$q_QLC!8 zrvWxSE)U1H4(r1DZC$VG)qiI}2OxIR%BBpRi;lsx4cpI|QS~06oj+zql`)AKy~jXJ zN?L4o?np3#+qDfNrMz3uRCA$mlQ1VU&?P5eYxhkM}U0u!sI`+uKZkQ$1__IVZj z)gk`Q&*$~T0%BAA5An_DX~C*U%aB>_$Ux?D*S58bqW7Nb&LqHD_HDgvx*A;vt~>04 z(lH3NrcS13{syIZTmuiInE=zU+`%PZIy3)>C;^(cLHyBl;o^4Jq1B5^a!v|@Yhujh zP70ZzO)!3g>aY{_AUgz%{bMPl#-wG5<_ZYS?$pjbbYY3 z@zK_Dw_XEd8?U1vDL@1HXbX0vE&?10?WS=d6=o+4?G4T~SeZH(V`)%K)$5!Cc;JM< zK{eI(?zqM{jR$w%`Jb|fwLQ01J<;v`f^5i-9zT^9u(c0^M1m8bkPy#G4VSRK4>KkafyTu#H2I z`ZAvi91(v>Dd3C15 zO8r<`0M0bcz@aW&~KW%0z@0qSNp0x_|c32s7uv6<_jTg8`7vv$S{RuH4ZUF;76M(g!BVF zA?q__+Fi;`6kqz7BT z;;r)e2?z+z71RfVG&Z__bYUHIpzJRZCRMoQLHi)CAC=!uEg^t(EEdro^Mai_-GGCw zV1FsH8DcBgBJbEW3XnY$wvi|4rCH}r`TJ=L%d%Vmt{!6>&-K_u158249)!S)b+i4| zkFpoNwo0>XF>OGPH%1CeS>-{LS$+PO@` zLJ3;@^sw2~m_n`AK0|?-ZEcI{kZnBTWPgZ1R#|T?hfpb7(}P=UdsX}}rHkAoYin(&5wPwPmgq;i&1Up!Ub#nl? zc%fSir&HMRlbhT{`J2IP5^>sPD_5qs|M8Fsk-Gy6z5sW{hau>VLX@ z=PD!a37!A!%YhTD2^uq4Pk%WwCe{!(T)EW7meSo1YKz|*gj#VkH&|mf+7$JAF_Tq9 z)}B#(n?U~=#mAl`JI)<@Tjx0}j0-W+(o;8S1nCQa;`D&I6eX60EHP4Eg8L0ooR4rn zpTqt9G2D*@j~>9?xWFBoDoY-7p?`pOUEUw3ZtE(fU?CQpL;i{|V=t_+d`K@q+G%QS z8sYkQ63N>%clQx*0_|}cYawkHzEu05_bzb@6NgKdWiI?(~A(Kx?u>uU87TBDW#ls7x)K2}wz220G>`hUm=)_+qY z?c3(iKbaBrSx)L+CllTL8mpPElIfHRHPy_NyR`vSJS`-oAZnas%SV%p^_TEV*h{(g zE|au(CFqfjjs%vVQ*x;Z)4G(K~hbr7&|7iF53#BT@QwY## zn(X~9&o78M5`YG_0gJZ#sttw&Ht7usjHA3^6*dCm)IAtW@20VJ50-<$ zCix}@xQ(G~8pHclm>rsJ&~5Ls{F7i$)noia=gTL#fEwYq+g;#JT`lns?_+xmh4^2j&;`sJ-eoCWw~vD#tChnQi1ZLyIOO!OkAS7_ zVpn(U^7cJAHMjA z8Wl6W5km26I@f!o0IZ$I#q!CV=%h)u-nuK&c^Z?B9--`{qX(DFSNjDJV|sD?D>@LC z%~H6uiJCSV9p5f|YeI(xz{GILbpwPvib^}*al+&43^gSqoS$nW8MJ5AMWR*QS`BwC zDk;qM%^)5q!GBB@{;Y~&0hn|#IUjIx)aoOc^6&yax4Z3vFOnbS1jM*S&T&%wT+$bZBnh#xhFCa7+Rn z7f(dtVnf#)irXc2QO9>ZfU7Dr19PQ|0H*3?<6>_3311$``E4-kgE@JhIu`7b*0Erd zTpbIi=j&J?BP#v`bu968uj;X(H7;YmAto-L(t1Cd)i5e~-3y&=swM}QuuwA*yh3Wt z$7k11Sbz6o{3h6>5|0G|C7f$_mSVlT!*sWw?R(WA#smxbtDp784M$*<{9syaQKBy~ zz@H8!2AB^e1|{YiA_42k^8bJfXg5DcI%&}pGYN%;7Inh`8&7Ra6H`K?v=Ij6RhNH* ztWPA$3HZ%it5OlF{w($3WUJU0krWsq#wCK8G=KB?*A}%%03PgOy31Nja*7-l!}7zp zctdZn!cw{DUz(9LyPTk^VVhJP^=~*>v}JAv3I?z9!qDF z?0*)U(0l&N40Xvn$}U4#|GrpyaK3AO&oOT05(TAuU)@I{v27M7`_~d@LM}Q~MQ`#E z107meP=Fg36s(TxT{x&e;pW)qPdrJUWnhgowYj*_GKhWz{0&z7Jp}D;dTMAaw3fpH6hN#Chd}_=_^2vm|mq- z>7~Yf+OKqKo$LDpKs}_czR4G#xO$&P&6|At0ad4snv*=U6n0iG;0SwnoUvZ0(lbYe zMrl6?${I8lQB|S~;T=qiO;GH8YA{%4v!fb}{Gb|4Nto#uc+-boq&I!w@SW*%BYziw zD;-a#)A9p+hfo4s?=c+IGed(2N{J@%)9~j@gn;hlkfqlS?d_xw92Qywl+C{5$2D4P8rqd2TY!)4ET9LI;a7m&D!@5k}EcTh`5_aiqN zUo{>K+`6g5MoritP>W=@br^y<{olHcL??nDQ2oAxoa;1$3M{!jKj=BY2 z$habpnJqTfiKj6B@|^Kcy7Zk{{N&}$C;tRKo2;w~Wo~41baG{3Z3<;>WN%_>3NlxC>p5-WbDQpFH9QBYv2MUqjR8xf*5 zGlVrJ5IzZdr*jyBIaRx!#S!e>_%DAV$P5a{TIC<9Cnq2@DpSh~bHsO0Hj&r>I zV?p0m3$}(+0dy&Ht*41fYb$>M>jLKy4SEO_!Le#n2zp5wT+MwryNijn?Zeq$nM*+P z(T{`M?iOJisZ?0NGLHHOBF{di1sZ!Vj#o_Nh>}Gxj>qT`guV*G!%xvv!B9-UDrRCZ z)tcZ~h(ohH6pB;5XK_T!5fYw7Kayd5Q5;wsJ2I%ioSTr$vDEq`-|bbtXuL2wN7we) z?}B+}{aBs`*d0HX|A$}*CYnuW0JIOqsMFAuu0Hm`=U<0I(eE;6J6pKY>$?j_&K^hE z+pg|g_Y$7~f5HgN*jK$+t}p%odX0jRw+&PV6@(ErF$ynCWo~D5Xfhx%GdMIemmx3* z6a_IgFg7%oVIv7BfA$4XT-(+K3KLv|yEPiz-QC?C8fe_z-6goYOK`U!K?4MW1cJM3 zaOaV8&b>MJ`~RxfQ;;aB(hHl~8-pb5?Of=Y8JKtgqVn?6%uE0# zCRPR}CKh-K3N=d?8_<93@Dv&#Cud80JDz`eh&q9QE^jt5f1t~oqrANxK*rSuz|0C@ z=HOxGb1co-So-Q5|0 zw$2RpPUZsCe{=wMOBV}(3dkAc+(sBSr2aw(0&T@Y{&;kD08~`%|^MBL*6a71prQKh_ zKob*tTL++>r=^`az|7JH1W=TaV{q|sp#uQzOn*B9e{G!Y-{OI8Kua5-@teb6)PVpA zVPydDt;2u%b2f3ZbZ~KIaJIDh-6P}gG;iB1Zf7cLZ)*#(b8&|M%}>nI31srN@1BhR z9ImyUy}OJ(f0&urxB#4Q55E7KM+s>8508JvO52&) z1AZs_&G&7i{=?br9}!UfGa=M~|4pV~|0Z1!fa;IZ^_bY1Oy0hj|3B;fuaN(LGXI_B z|5fS#myv|4jm=-{RDV1C|EvRTEp0si@pzN2tIOLM$lJdSgWdmi)dc-LyYe7YOIO?f zf4eH}0(=_>VLS6TNz*g4F)*?HZMSrmu=D_#Dp|UiSo|%UzwPS32hPUQ4y0u7Z29|& zd5dCV`af%LQ)XiQc8xf{Y4h(Tp!3_vx%_pIzcJ`-sQ#CSxSff;>F?=dVdnqj9l$922fbC0`-9%HDE=35y=77QgIEBJDt{0w zfKl}iVgoR${XuUzHU6MC)|&rC>~9s`E+t#we=WcFnbGtQd`o2tvT^yh!yA9lf4|@x z5wkyyzajJA*ZrGP{!SyEt__^1cce6>}w*;hf$ZcQ+nyDg0JY`OUU`mA1e<;0hf~Mw! zsuajR9~%09Cb?5$luK~Rgmx)(_tuqX%V804YaDN?xU?IOsO_*{;e5#3w2ceiiqVTq zQ^+Kh)mSck|CCqec9edR{NCZV-Vc&M!B;%xua`je|{nzZiZPzV*Bd?No#)%LM(GsWjv zH?uJCjt_OIsN3SSSlQHvzGlINL*zC&%QsY^vzjcrTIt|nPk+*hV!sOMM?lI>WE*wMv7g(Ts z{Uy+mrWhc@W-H7z{;a~kg2!TfN+QU%L7);BBCMod=F8Fp!PS%%o;KhNxj)b#f0(D4oF~ylF%SF3;j6!Gi zjFiB&nD6yD>{3p`pmxgpu9K#EW-FbVVDs|#&^^q?-R;>jl|Ub(Zj0D5V}I&CckSRa z6J1IstK{BTFPq_2Zf|>ttMZ*8~Iu(HFOy)bf9h*q^GnXU=T!f53+mWr5ny;2AIAB0Kg83HorbJReWm z-us5+hr8@9Y83`|ka7lGIJ$(an?3mUqU}y4Q`d!YL8_|EXr*{!qw!@sH?dfyC>nHa z1b3iN^diQo=X8Xwdkf6QGUiv+R*2f#ukA2RP*nLAI4ohC?s;2au?a+>MZp-ji0!0Sfg$Y5Ak3_>)*N6~Pq}8$}2fK#w z@K*v)U!TmWF&44vdj?;>47O#=dge^)9Mj>1^{vdi};CnJ%nF5+jCQY)%E-6IZnk`8K7rW9x<>e?8pL zKBM~vY)jCSXOU(ZV~|iads&Mqs~EfRHV(f(uqtjF$gxJ)R=~YstDb>oyU(~l>qbl9w9Sf{eMp7pZ5p^)$|0cwH*Dngj4LYEd(4~roFMJBUkH0S! zoWO~70*g9H@9HqTstJWboiYc^-Ek(@aVsnV@mcGJfCdt+!Ctxe?v}fP;RN-xx|^&mfPA>k zgPIh7 zhb7|_>!jKz?RrmpkMAv3HK%DFMGdN-(;@Uco2l)v1v_#z_Jd?vaEb1rX^BVht%0HW zx>#Pz<7Vmg0cdISX3{h(f4XM4{NVCvSgbSD6kWe6YEY6KD{ER5si1oF=ygb9aEWq{ zWcuNys0o~uZ{nK?mDz8K{MB%b<$M_hCfKdfj&W}JmE8*!UpTSYpCZWcc~a)-3e^p< zc-il1Ke?Ld;kZV7h{9?xE zBA299B5G}PJgV&l?_g0biPz8{-c&hNMw+~(Beh?9gz6^_maU58KKgBuj4n>1pV=G= z1UFskCyvHVY(wUUq8UGT07BY&cG01gN2M)V9?}1X#M5M5K zUd7K}P#C9Yh(g4zG@!h5m?JNl$Ai`CQ#9nBr`bI~Y+0u~O>r^?~N+-x(jV$^Azxf=zR*8wJdgf&HINS&jTaXD)ULJ@zj>Vj0F zZo+>2O>{#jI>>&I9c9=+$vb{owLIug|GFaZWW* z$cO9Gq-)XD(Y|uZ8QqY)I2?1zyta3_l#`sl@VbhqbPoG|VwR&N5vJF?}qGpen;!^cRIqr#<~f&_=MJ)Ar&(e-5Dhg#s)?ZXy@2Oq7s{wFRSI!(J_B zg{pE{Q`xc1vLR=p@USL%7R}%Z;6B(hoS^UYwf2*n652bd`hqkj$vQfBwRLS) zyCoc#@l3*o{(G;P%TYg#RcIQ*{i4a10GG^tvYWQz4#Q~PH2*Sr<(ERN)P*XZEMfde`l8D zZh=q7vL24C{Uz&P4PD9ztFsQ`zxzyS&QnA%6^--niYExwb|f>Lu^6m7HJ0$?Q4vZB zRDt#vmBv>ZXL)OHe-6(Vg!tNOW*^Z1YL?#+p73%uayIsj&y87l?sskz!Z1v7?qUQ_ z%iWTQ=m|kqOcej}Db40IdeuTtf6~bK-3^e4t2ncjoND!A#6X=Dz1A_aY4-YT>rxbo z^wXC zDNrLFCc3^J4YkVu;+aW#uzUVOZlW4+gwIY=nV8$bloGYMC=^PP+Tyn@1~)^-#f#`) zaMAR7=?qDjXK+}@Z!UUXn9vlsB6z=lH17q&8*8Ya)aB#{G6P5@)kZS9JR$U7?sJG% za7vngY)`-ciqC_5FT&4Fe|`<~YxoF(-*;9hMy&}Ee|)m-q+V^?QB6PVZC`@;>r{X&t_59p}Vb*f7S;~*FE~AEyVeU zgUcdH^b_@+0BVW7zDOOX(m{_WSu88KHDpL7;gA_Ghl9Fsb!qTF5=~s6J=@h)0=B&fBF{K6BgprrKL2Rukm@1>cDGt>d@BP?eoWe1s9sU@n4xHC}3h4_2YPn z2!^~a*0ZbhSviMne}oieWi3z=<@aY9xQKTvCk=S-AcPh3sA|HTznaxkP%S??Oo%N> zk+M)irPDh^A;_Nj)kPX_U9pnzyNX{bA0(&2QXPr$@ito34UD!vtSw0I+_N}i5Eizq zJqkCOhe;-VQ&1g_G8tl-ed?HZLSqP9+2Z^m`q4mCB!44%f4>fcf5j<&$|&^$BiqKY znuBYd6@@rnY)Pm18heGYz;=z7wG0Rv4i=Nu6tGc+ftc z#=#kp;2uf5f8@r-y3AO}PMP*{oL40w#x6H8lErf}tQIR|p~aV|b6@u0r>urrFxe+A zyp5RL6bEshZuilg+$k(^6EuXRy#A_we(CFj$TFE>qw}xHTGT2YXRC<^@el(ZaO_hI zix%Z%upMGjxQBTQOe5eX&3=9DSTZGuTVZWyfh9bSe~?&1BNm>rD@`vFynNcPdEY~y z{Q7+^KDDmF&7z`TsWCeBJeLyJo(T^aA9f8FH9c{harb#FRu8*ktuu zRxWl0#mRoD*iGN2kREPWlda@kB?_tLKlsQXP`_SD=|SQ{WBAe~PrIoLit$kgjHRCG z7iT>ef1jpwo+nmqt{zB!A4cs zf&zz1a6v+!;IbYivMk((<}V8Wg&<8l={F$CXCP&SIlyyW{h;r9c=<^BI=1dSHG;}C< zZ>l}xO`OXV9)br#%H=ifI2H|O%bC=q;hi$y6%MnTvtmGdu-d!ECF>vTX{K7v52;cg z>w`_LH61v296eR0`G$!$JP`P==(F7-e;}VECoz2MwA)X;OfqJ#YA5NbEx~`;YRs)s zRmo+hZfTlFSG;?1n&4-wNA96ymQeE**Zk>U3t-L01JQBc_vf8J_6 z^m}gcMzVh&Lb?xqorxR@WXM&M8YF7osh8gfDk^yPE56(VUKr!Q8!Qdwc%T~RCoVt#@OZNH>Gh!=o0KnH#F#C_4TGQCEMy*AOZ)N(3aPAOUyXNY zu=sskV({rqrjwY^2AOPH&+3}Ke>wAMbhv|64Kq(C-xd(l5XVX224AGnm-jC<-lO_^ z*|P_alq`R0G_8U_5%*7e9Hs2X2>J;$ken#|6^-W)kqW(EQr$)q?TEX zRmNvrg5cob($Km(UFV{vsb~~NFn!L(py)yFk?669`s?GJRvT`9)tEV#f2<^i;VDxi zN#LCQl~<`|@cH?)`0YVfhZ27t$|@bf9iBN#YFf|6~kKY?B5tk$2NSdGs>wzxa5pDt1_RuB@x=z zlZb||`*I1G91v=hxVmTv7$Du)33HvtjQOrVHtNeMhcTVe+_lJ_q|DQ{ z3JHK1=ojrPXX5r>L~(0yks(tHh5~FxQO<^@^!#vDXfes%fBNlH#Y!?3&BNAUUpxcv z5A*kd=u19!c}dg)%&7%+L={CahW9=eZqZ`w4WyV#E@U4r!gjjbBN^UF7K)$3s>)1i zj-`xO;wc~rL+Wf!IfdSDZjpSoKWW1{E+)+j)_Rth?x(-Ipw5RRH_(2+QSW0J2T-XP z5{6`dDSSag-IrTbW z3_sq)I`<(+=*e4SRE5&q{(Y-7uri%@>3Msq|L51eO*`ps!ws0sj6MX!Z$60R9%g}s z#9xFyH&1sL)IKbj5?)Cj&0TYPAXus2aMdEJh|cr~e-;a;_`_*&e~Eos=_Z5y+!?I= zrn3H-d7qZvxjMZVP58KZM7>u1{$kj;#{jljMl6*KDe?&G6Bl$h0WSSs;>s&!I_9nJ z38~ns*MKQ*BS2z2WYtcUV!9AI7;F|krGDDZyw^viGR0LYc5lW0T$02+xHt(Ch-v4@ zAR|Ycf5E%Q{ia~9b-PEWx{Ds}kMFp7(q~rMIaH+pt~}qH;gXh{?l8(^su+!B3ku5G z!WTC*d?a>@m{ysYFcmO$-o3$dKgnfTBa~4s*U1m-$Oi{$4x1e>Hah96;1!ySbsGz|it%6~S)Uec4t9 z{rvVeg1CmPAbfeEAlQ|Klk=k~4{A?Tbg=wIN3(k7 ze>#5!38Lni?m{6@mf72F*rwJXTXIJ6l5VggXsw3f(&;YP+h2XIpem%LIYof*=z0{h z8?of;CIni-(G^ObL{{OBiibs$1FtR+7wqW-rw!{)i87|=%uai_X=_D<`|C%knwI+^ zB8RJW=N-oU;(*U`wQ2M|^R|)wFyavnf25B)aVJLbkp_ycz$A4ZogH2sQfNvDqFtL} z=v~N3iHoc(3fA)qnAu`9J^^BcYm~+&&N``cX|+$Cz|)JzqEjxZv|q%1=?H7{lXM+Q zH}`b@dpx|+IOM6hCfqjrXb|u6o_rtEhky8U5kXI-4+)+Qku9+|-1Vt5z=$1fe_2#M zNhTO)M4kmkbA6drHq4iT^g%GR&a}SSoC{tl*eizmb=>E)dpslvdN0QqmXw8M{m!+B z((vcB)p>t$*v$^)mXeiQL>Ghv%XMVGOUh@lZD0LYSVQwg+~*ZrphiWiai;GNi{rFR zmW56IFgRpxdNJ43=;a5a(me_mfBJ2CsglX6o!rIb83;|l?H4RME5>3w$gtJ3Ql_7t z*gVhSNxUsY>~w)_@LKj7v8b$?+7F?z2E$8Jvu8FR@Ydu$KZ`@P#rW!d*!L!jkJ6%{ zSPR_fo`+Q9a1SaFpzLbimO;Znj69SgCVjupZP~Mm^VGI}Q$l@Qb3&#mfB5Lsyjg}E zt7s!G3%!#A#Xs-PPk)WaeDwUCnB;{%bYG4Tl}XXQ9CrI!FT`p`_kG66oT{Clb=Wu- z2W;(PD5BISPNE~?PHu=B0a+@#-EM>Az1p$NC32~o2B_p{#H$WQXdzAuR6&u`t^_(CVsf1@llyw*FC!`PMz z;%mgcjD<&b_$(EG^y?AJab1G?+z4VsDs-?G)^kaDVK+k=YJQv%F|dln`u2ge=-fUa zh9NzS6&Ix{oj0Mg-VB|vFrr!`~~hs z&O>q>)k70__~BO$f9JxcA#@*(P2A;ZZMbyE(k5N?*y&H|pS#G*PrlGQi?XWzje+RB zxWuZ77nwaUO^KkU>8@*@WSlrIdBR!5gff4HIB1$z=ca_xB8f_56|jxWAaC`tvKy;_npUae1j#Ac_gXjbMwFtj*5JYG@E;W;z_#q^E1%l$X4Wgb9@FOAla5QJf#Zc=We`yu^RGp{W&&1stm?~z_ZcE|V zUMthq;Bm@Ce;%g;QkagN5dk52GHZFUiP4Rt2PlWjCZr3jS(THv<+M4n^$SC{Rr_xb z%o(3=$;7fb5|Ik(d(hFxO~)dNjYofjBXv$#a)~b0rF0Zo9)QVCSf`X6`EmH;RfP%+ zk&%(Lf2pIwW9Av7yVit&_TACTAxZ!74`b^^H;y7DRT@}~KFXYR(?M)M1eWo|Ck4Dh z-@!c9E+mldjpVBdKXQAOs}fX!NlPCFAI?)5Ulh+8KSKrgapSFY2^QS!(Q6XZK<(iMew zYXW&;mWsTC_RhUZjp8@cqO=2I!4YG9(xi|nJ@AqYMXL@;x@Tqzd~=Zrtdk4Mqz$vQ zF}A`vdaK@3>cj&C>^9Zb@p7m78IY^Oe~bA9Frp58_E(cG#~oj-1B#xQC~~kJz|0tw zmSyH{QkaC`c%*hN&NJP#s?_W8`^dWNxp#fREkTqgFYjW~h62I6H((ryvJ1EBg+zNh z*4)eTLG}Cemk_*d2c)w>=BBq}f?zzA0NGZQ3ts8Qi-*JN;t=fy^#HF9F-{*Re|IsS zYomS|^7w$Z=AZrO_`>KHj8OG{hJHn`VN@u+IJ|%^#}rXlz+=iwOO7@Q8tuL@#ZS?z zVy9c8SMo1sN6r~svB+C^-HAt#3t_3LOK4lEMkIR$9>$+_38BBiUc@inV}!JA+B~GJ zg(mzQ?VWQ(aYU3F%crb1Fv;cie@xf*>e!Kic@T;Y{n+QFnNJ&as-98K3U7RD4}2hzClI#6>G}1WwghTZFuI) z&$8k3yGlea5<>Pn4${exX`W&eiTc-^i*YaHVJxo&QGv$=3Rm*Z_Xa|@f3JW-qLgD{ zU%i?Ogimuip4KMzSLa#~KYua^-4iVr7S)&Be-gO#yIH5FCoP80G2aY+g|vO&xy0rr z)8RI$4CQ^<`;{$jiqG!jNUv2FIYZ|*IMJZ9s~rkOXO4if>rb=J%7N|m&C#tG|LoLY zo|(!3n=B~{W7GUf8AA_7fA@5uLLR;|*@0BVJ=}Qq`1fa$(X}};l9)vGUut-baZ%o=Y4YF- zVP+wej3bw9nTy(Rd}E;_yz+j$86m1$0j&po1~7}%BWAP|K&au)f9Dc{eNqPAoAqTz z&~Ub6jCYX=50nC2#Se4xIAq$PojxJjg_vdtPqKWrZ3e@5Ae^hLmMkA$A$0)my# zTnMJhJX+8xQM7u1`n8Y0v2;`QJ*PdjcmP#9Mtn~ih7${Q;1q1$^M=TYzZZ=G5{*VW zhOM>8_DtSfBOdi62Ii+$(gUoa9WFc^o7O3^8cLsUU!)IBoQN!#cerpl$k}Dx(P|Kz ztc_KZ+O<8Gf3kOabdV;=s1~|VOT%Y9w$DJh97{x!O6DsV8}q0=Q_98;U6tb7^6x*% z%f|OJ7@r~PA;*7L@@pDN?winX=S=~?66*G)L}2d=DXw}ucLXH?9&^7WW$cM>W9IK` zI-_A!{sJ@Iz^^8BQ>}o(9p&lxC3~L%21?n8lgDb{e{U2Jr|8NGYQqbQ>biTkAU*&_w$vQ{4KH)@nJXI8t z5UZC`w%OLyh2{}+QfCbE>U$3HL@=)5X@f9>?Wh*4iUQxCE3m>P1xa}UH?Zi=w0itJ z&~6ngf7zo}Yn#|EoGhRxEJ1Zdg)MwJ3c1bq)Er521uR*ns-$ zyMqa8T(Az9_NO423|JeXzRcq}{RuKPhsPTUEezN!RrQbHHeLPeA6ggd+MGP0d|7!c zTT?H$;$x%4DRMWrLr0l1B(vG53~PZxM4)qT4X}!u?j1nnoEItHVn7ESZ&b>FLml@> zfA$B~=oKU}yn}Ng8%_|+zBZ~{!p&@(5PEurZLe`=-2v|4(#Hq|e+-#}#2;_e z_nDLUKH00%Ei(Y+>?Ti%kYQwkxhx~tT_pZ(3@}})#0D{N*M~jzP-=-@!e}pp3Az69wW>-ye^TLOG`V^#><&9VN?4@A@gNjuM`MTfq(JJL z>BnCuUmE@LL#xn8eRy%{QzM=p1%MPX$=&H zAb)%-fVh}8;p3xrcvn8u(AELBO=|whwKfAv;{&FdiKI5&#F176r#RNh?D1nLo*O6Z z!UIQerDO_(^ga_Ic;8eJA;R~g3~$hbDmxSo8M36xIgLJ(UoBP0o*HLTo)A^Ll|tEz zpa1SO$0-z{@O;iyk-)LH476Npl;rVBkKJ?X``^4T{n3`R?YU}ds;hG0pWgvpMUC4 zEh#v(?^wtNgp9c%LL{sHY%ZrptqMedGee2@Dtwmk!`ab^zpj$RW{EcZ#W=7hvA-J0o+kEYtZDq6N%~-bvU}1@4-F&-btFn%Fk#WKD?+R!@5e}x z2kozdBpZ`rd>5YmEMTSEflv9<)qi-_=b9szW5RvyP^7XP!r^6s9D%XJzzjtFKvQYJ zPMEvh+IV`4C}PPSc6a<{o22tM-K-()04lf_`)5U;$wVEdu+#t)Ie*m9$Bh@x zP8rrLa5xDr&l8Dm7y@id?oYQwI7clPUaG2RTh|rDwtHBzJkD zV$WNo4`v^jlxRt{{H{NR@PCgkXc>w?YX@XN)W|99GrCe@Re#swrGdjK%;xo5&p@vL zHu38&9kgv^Tl5tTcZfI)Dc#gCxYq~h=@ZAn%lZv$3p$f;s`_m47k*zFg;--k?N{SVQURj0l0`AZI+kAn#%njyi?a#Wfy~^@!JvJG9n#O;*@BU4Lz=JD3(*StQW(LrZ8T zAOcR42A&1&WcztjcYA&vC(fdpL1F0(j(&DeUP$r>^Oev{Nf^!1H{nc?D}6**dH$Z& zDZ=^AA5mQKho^T+{hqhV8$##i&e0ixT*W1)$Pmw@)tdy>L=GDd{n74%L4!Z8BTHa0 z`~hY`+xFjis(*%?!Ex^bhjEQ)4i#chy$#j3<6yNvBdaAm-?zu3=n#qXZRXVg9s6nAuf#09SYJ_!)}QS4mjGEItLk z&uep7CuZJfO^g#Bqi8*K$!4a9-Qi30D(-!sb%&?s!+#hqf)P`S+UEh$v1B%$NXJQ< zrvLRLuZopOu4nCnzXh)QM6nYE3vP5B_Mk2s>Tm4+c|9xzo+X^ho#hs$@2u9jUje)XJ@YQ!-NZcp4U6u zH_l_sqDq39Uxycq=XE)PXwLhwNL_?R|6bxp5%cP={Q=5pryh8^h#z%IYI~)<+aJCy z=6gK_*c-Wd2BbDK>?Fo`?LFyE0i;%DnF<)RSASJM!t^zZc6TB^d{?mZ7PDk(x#vt) zb|lR~9Q8ToRD1c@QnrSRod>2@v5NJJYX{u0?DIZZ7C$uQ6`U83!8c5C?<;VXlevo?vci|5j5CtdJz_7G_EW3lrN1nVa z6E{3DSH1j46egjOwswxm~daS-lK zXZNuZa;Sp-?5U;1M@_!D3 z90^wA(48}AtIXJ6<(gkDqtb4XH5ER{!Kh1aNv5T7B$!_*KdOKUn0F_icvN@fYOyRV ze`}vJ^y=r(y^lVSfFNz-+Q$4~PF5yv=PU7nI+8i*q~1~+8%H4WOfCBQ7xtqC^@o9n zOXG*?ttv_R9gxkTzw7qbLY@U=o`2A6Hb=T^lfYf}X9~S8)2}pdHBRgc)5fmUScSzR zLMz*34w3ntzR8I=bz{*uyr-=o5}fw`qJ|IFhv4Auwa3cUE>>4Koefn5VYp@N0VHXi z5Y_lX@Aw>DLI3u>gjEHCpE(e`Cp};sL>f)Y)BEDMwM;VkmGfW8A;P-Qq1{nY=8P{8*S$zHy#4-z=-nJ6TqkS*lgM0f22c6aGL zZYf6@Qdo!$`M7xZ!GHHniUK7URD_UAQiJ)+)G}h#B5{o}Gp>w_5Nb(b^(Icc9&Yf- zk14|iW$xshczc5V1#TzTM=}SWB3(w(^=*<=+IQ%OxwdD~*@W;44lAZrh+u%4B(+i@&>!7 z-fnr(SfyW;sqCOCBG7w%peH#N^pv*{0~e|qp%knnSuNoA!STqmJ*%O@TwXTUJJvdF zcH>bmQDUY{nI{Ff+^K3k&(PFq)k?(bcFC2P_BO%iot6uv=l_m!Eq+4}K=L*fX0h-VKl( zqs&?_7j4MsisJbKQeK7{n>Q;f7@Y=>$r3SC zT#1xQ(=UsOxIhkD8z)5MeDJvH?87kQ#M#kqA6=eB5`Va5(K(3UAO5*4>2_-SA$I5B zp~&e=T3%l7?!?ipyCOQOq)q;pZWZSYv{RYG(O*&>13n)I&y1JPvz%~|As#dDz(BI4 zCil0q{Y0!ze&*hr)uK_P-85+LB0fxmd zaiXyf_BFOjQz+c$T zxpb~5nC9LL3i7e0L*SEro7L#72jx3LTEPK1w+B41x@Kv6#A8C~pE&62X2otl+LK_- z#NJu-+;d;-%7pG!(Wg3i3HVb4-cnb8CfoBWJAci?%p)aj0R~QE8f6F!rr~WVM2f#N zzGxb!bh5#F*Fqy#R{$B2pv?FIP3YcJa>KwT;61vuc2z;WUl{Tv=Qm$BxuDMB6_O(` zvPnN+6bUq4A|r0a9rCKNA33AcELi)D( z)qno_3wJbnuMEMa^46T%&WYl9m0!Ikx>yY|M8r|^sV%zT-xCDPqn^a zX-G>U+tV}$yXZz0BG(F4!A}fde^Ms2x_{uB~B7n?%~gB-9~!cvuI+|E!}U1I&EzMdMX^FaG4+RyI7emdp9g<6Gbs z;|41=gLd%IuZ>%rlv%TChk)nqcClQmB9?Vwck20@TJ5bI&85xt1OqJ4to5Q_k76!! zQ8%Rbi|iEr1>NxO2>`+bJjGI}Wq*aPh8*cd9utYkcx}xOLk3Ry5=F4NJpEEtTjYu! zSnI<#x4gc7ZbOew2{k{t%_T>y6wtWjT`{SLo)2{2wT8qS96FtZz>_H)2VQ|wR|fh) zowty)e@{qD$ZXJFhr}!sM-(12rujjjc_3DYaW*?$a!mG_%2jCca%M>YMSm~&k?bLY zm#((()2Q@iR|&DsRA?@}_^e~nxOs{^KYCO5^c+w12nVu>txQ`z1oZRmDG6LZu2F}N z!bE|Yvq*YxBPL^dq763JJ~!G4r_c0MFGhb3n|vec%K%>Wmh0{l>FBP+%mm^=CUB_e z!|IsFtN*23!j(#nv~8pc_kTX&;G?DBN4vLoFy7`sdFW!KKelV}=s z=LK3;*nQw=$R?sR+ABFNuHtKuTA$u*5B@Fm4?beNtZoWkJjD!M!Rav4V(fAi$7qe+ z8>z%eqw172;#Zv{?X&`YU);2V0F;|eG=Ih0BP>X6$af!sXrlgP*h_W=H#~xgZEAdG ziB%?)T9Myh{087ZhGT#e(^uNO?74Fh9Y;6CbT;OMehK{^Y1#N9lrLy_=N=?yq7)+= zhw85dauoT00FBXDx0hkN1`~%&6bH9V6bKbC5H&XnFHB`_XLM*XAUHEIG?yVT2NeS} zH8__cH3leujkpI?)7uj*OmEVWE*OyBA<}yX=?DlSH3<+136Ri1s`QQ^O%S9b(tA^? z(t8z=jg1qRx_kYXxt@Yl@TFLM1*)wNm&YqL3u(Rkt;|zxp)nO36q=}mfCC=5 z!vMlSfUua9u(*_v5I{soNb)Zt!c7XGV&ee?19Suc4-jw&l89Xy;o|KEwRb?F_xbA) zzy;z42un(e^Zj-QC^|#jpdcGKK*t8<0C7g|2(p0z9wI|z7=hQjRuc2F1upr@uSfbv4|0c_xZ;9o==7!rZ@xACxn!fb5Ogx{�Mrx> z05<3f|Ev!Qa)Y{{kOD|3>{pF~zrvu~tO^G!Bb=Qfa1@g0SAHr`HwXybcW=Qz57!Bf z@PzyRwX%c4!FIpO0K2;g8pENk?hs9tKRIZK=x@v(f&z#NNs5Vy3Iian0EidJLGagq z21ed4kl)7NFuDeRUl)W6zz$so#2;!0L4OeWB5gb%0F;|M#NYRyhJUY!goOcMCME?{Qn(C-v;_;9{=#wgxetil7FO&?$ci> zd;F;Zu0IEa8}RQ~x(Kv#Apowwh5kfHR0xEA6aIge`)`;3Kb8NA@_!Zje=|~Zhrxc^ zx&9#hf9y8SP?-0h4776HQRpeqL7-;={$J`N$RDGt0|7(bo&RgqMA@LHK@o0$k5)9l z@O=TH`+wk2q#D!<0@jD3Kn{PX<`3NX*Sx`?aELwv3H^1$puL2I{$oQA8ORBJiy+a` z{B44uXXxMis=`4C@ULML5fua2xVhPQ6QR!>8S3M%O4i_Vx`7ve`m-frW7B?&JO>xUUQga<1udm&_^03M6OYMO*CL4vo^;u=S+Syef3Pd6S(zuGyl3Bx%F6b7vKyiJR@gGWkkg) zX1DKRMVqm(t)TkNo{+~;x|yfB8)+JkTw_H;z4i z)9R`aD-WZhzwPsYC3_&LkDfX)>p=q&gF{L5Ot~Z_ft9|%IgDco+gg0-$3$LlOJX0; zz0O`&Ip~(&)4_W88ieSyYmF#C>D^@b$#&z1*8a}$Lj>Ca6ZLpdf@xdE zZud@NgQn=&B!vl&su-$DYX;F_#T}m=KM`PV1W1-^L@{He zy@ipcOK2wbOfhhRoRrGxpoHn|{2Q^sSF*v4vMCaQLQfY)4>45?_TtH_)@~Vee#f;; zuys2W6d|zG%4vV>U|pok`2cl40b0MCaJ8*uHXd{+KE0Hq^wT)NimLeOlN`I)A91H! zCv{(QOciT?A|AscpLdK0tXaJtWNLfd8+Rw|-RNFd8)wRvmqy*?8O|Yv{`wvmpaneyw^s%^`w!&t#i<>{^UEcu=%<4{q-Oh%k4VduP#4IU6oV-lw_Q< z&m@6sqmq?h_Yn=Y}#~sd&R(E>876i$~ z+2tdD-MdVN8LH2Z3is2S;wP|9esDZrOM~52yPr_2`MWErS95Ydx= zPAFLMW%tnxWRbNwQPRZP+QGIIH81onu}W*wJ?Ap03c;EmHGG`7KeAA2H8u`Z3GgsLigItFW7{5fYY6DYK-{ z8Ta7zz(RmW;uK#mTP>@DagmPvNzJZ*{7SM5&vdA`2k8v0?1H{9(tk~zELkC6H%Zj; z5SS8av{55r*Bl05@HQw64{6fl4y`45BP2etInGY{j4)K4IR7%q(C0PP@v+?(-|$gO z3KfS>Co=1KzUk?!N+|<7)Bcz5dgro{B6gh0$KFe;l~#RkC*CSpfS4tctKbZO;;x(_ z^qZJk5m)z}^kixGf0ijs8v~MxKf(AG^%1JkOSGF#Sd-~Iq~Zjw*yi&rczfrU4a2kB z6HgE=!Im>@4ID8W$43?v60nr`^#)`UM`-AK!GzUSOYRI7qmAxB8ynMmc0zLNnZ#k?*7*$lhDKQ64*PJEv7EhW({3C8&9z>fT0`sFYifYCIw zqMJ_>yuR_qWPW|PFQmh!B*WrlTYid<7;FE?7L^N2PIDj^OT5vG@aVLED#A1TGFT&- z@DN~$t-sG=;Brp*K7sMP$xZCM^}TdK&EwSVj^1^TS!PKmVsDB#nmUanZx?9>m5(!P zfMiGdec`N8sYAn1i#Lmzwm$00@~rH^evriiPnPYf)FH9hfdWJQZMMyZCaIgYN$!tr zajN%bw+q0WZ@M-*82Ouj>WM#yUrGUqwno8Zv(~4Rz-A8q1@AlPZ zWww?4Yf`^B)hu-3FB|T2%}1CYoK;>@(~u4M;}V zoW64H7Z2ToEmn1ZF@NI1J(2_boNS9a;ao-9gm*E|dHuF3xz?LZroJslsTaS2i3e-h zF+RHOv*eazwJ-Zaoz<7K^!`AYsSco!tAnm9r7G+zy^r9hn)*4PaqX_hp?*z~Dwxc@ z_xZ`buL!B`yVOT9JbrlDc&ymB68?rDqUOU2{cNM+`tzoL_iZRxd)2VUb*?#vQIHpM zSSOF^nSLZs?JEeRB)-tDupPtGX+E5e`9edOTb!Uc9?BX!+VwS2;@r3SVujwdXwY7{pFZ(8@$2ln<_t_pAKaD= zqX^}t0Ksm5)YIm~p0qIBA_No9{tL;NUbm4c&FEZ&V}S8De2eisOu`cN7BCHo$G$T@^p^YE=AAsF+?nU;P zC*R9w3Q@VIIvJeg;!>f;Q&xOhwUp-Z)lF{#JPa3y-^!;L$F`FU;i+KUGnG1R-;(QV z&5+_5TGD2+!y1aE?vhO6ut{>1=4JAwZV?K9C*&TTS4^_+s?_4y2{P5{#9A<^=k%F- zd_1VgG|x>4KR6q?RWoJO`kbOGJz+t6c$xIU?$@I)mMYNVYxBZGDWuHHPmLm-EZ=S~ z8HZo`Wn!e>!}~6361rC zOGO!Gtu#kr39#Prgb+J0(07pP2fl)=PdmFD9Xtp})GAa~t)>RuSRL*tjt2mXRt>1X zbSN>KoIGValvK@Yrb%#=C5pC?2b67pzx4IQt*{~!1)dkE9oSEF)ZBlml)k;5xu;lM zM!C}FT0L?&Kz4We-O||oI{YZ+@ce|)1L3#&c65`3Z;tto%QMhcDu5@r<%!oFX(-Xmr7$-ao#8_QYHU;J(&f-}ev!TSTF#W^gL4Yx zTff3EjE3~l4ePjxvc~qsONmJ*+Nnfb8SjfMU3U_j=lDAX#ce$Tg}q;~P`b4R-4QU6 zYVt-WMNNxvZd#oSvVi)Bd7C$XW~p=VI)>m_JiPSyDUM8syw5?T<$?7wxlg@0o%fJ3>Be7zBwbjn+OdiZTIWyK zISX|&)oZ`5;HJruV)Yacy>qmvrGy^?P30cs`pD0z><7x~UOdBWvxSp?Fva@1(%PDF z$+6B!@N7r7e;jfu_6A-cR--O3J^=!cBQ@4KN#a#JSDP*@@&k$67!#;>!LNK(lc@U( zx}rUU=IB?_DFoQ4O;)xX7*JVfK2B^-PHYzUcPprI4ncN}xtA5>Ey_5LQWcH{j(-4O zp1p9n3p1#Am29w?9*JXryHZRo=yHr%cl_#(QL<~h+L#26)z2wKilh$sE|tL~{!N~< zR-7+~kF?BGM>bxN^U<0)RD5uRrgk^$^*2r)nrm0nKqE}}5lV(}D#qzZkU+jf#F?Hu zdtk)wq^V**Wo0$*!uuZAT7@G z6l6;)gI}+t;eK>;X``lDEmANAm26>kweDARrO}F)z*wtiPf;;7z_%eWer}oHWWvAmLKx^TVZS37KDI>X$l|-y zBYNrE6drdIo{^{FnyyOYhAQ1nB8)6DrHU8OU(uA7&tWmjj{peVYCzKLVV@aWtiKIO zk{vUR`g!X*NwoG|RG?d+4oc2jwjzvYEyz|GyZxzuB}p5qhf&e3Di_9Cf6-Hza&?UP zWGYaTJOS>&#u8tKbV4^vV*J=z8i zuTGVp*2s4}2x$>aQezb}7N``G+rq;-;r*m#FcB(5&)PpxHYU3p^bPrCX+OjZ@xWqb zrj%uW(DO=6Z&AQMIy(@xI}jjBahPYaI#5!>`-Y;R;Z6CwD<<)%8e?Q|#@p$VUhl1q z{_bRaqnsFJ(JOT~`&DDSZgSB3D1` zb2-wYibB?w0VLl>^5Eb0GcATKdJM1zAJIL3)0<6Xh;Swqh$ufHL95BUcbH>WvtL0~HpymHL@59=WyGmGAawMt$F-PEaw}hm?^>k5x z%a$#JhZ2Z4K(&Kcp7^6^VFU+E^2D@BUv3m`e?q9Kwk0LsiF!VpfcMZ?Zy3}|>L{Y@ zY+mrWOix@c$m!9gQ$b!y8`gkn1!qY00aGDO78!M?jB!!*jP8PjHUjLpfSe%(l84I? zr{7~__?9|`;xtVGQ%mxyidP-#uHzAZq=RE5e0wa8Vw{^^3Wn3)>itHZ-7*tLT>xhA zppQ1g3d1u?J^Ojr6X8O2@+F-mUA0^PrMQ|rf^MYSQJ+k5^{AXR^SyntQq;?s;hs7D zgSZoEB};>Ny^>_$_YNMVTfmwScX$gnTf?$uFX_%rj+GuBA_Y0h;l4J+*OV=b!PJUK|1Cd%piXihz$ z9p#XN6=z0CUBf+#5EXZ#UjCVUk39fiBk2hS-y5%CzY}By(rdp!BU?sIi(+j(d=__T z-=XMM(_^twx@Q>9d`n{v5BVQGri>@W9)3W_*-&}jFI&9+$y0aZWsMDgtW+wJ?Ltp< zS${p$v&(8UQdKC5MQaHdIXb{MoM#w*Q}@N;`1(=)Yy#-&VL4w9#=q3f#2azkN$_0rZjWIe$GLK9?ItjZ2pULUW6^ZSS3BVwz|Ac#kAavEe|3-z+#yiM{|E zD(+cx^*mGXO_0U)ek9j%7_lyQnOL#qt+3g1(`3AIN$~qGg)R;0K9Fzfp^UeZt#}EH zg~Kbp`4Cs3Bz*FJYYG8BI2UK3&3%362}b7-)+TFOz&WS;LBAh0i`)Y6hfr-SZCC4S z%c-}|>A0uT`F$Jo;+rb)OOgZqA9C(^~O*hz=DK><&p6TB$3 zuHYr%7M~6X@*~CbQB9uE_`ODp{<+erE1+kVMO0RQoJexnyToa`f#QoEIOn=mE1{0N zMjMgdu1+*eS$xUiEk2>Vi=Q>*{4_CxE4g_hlb*W4j|Xd;(w7Nre^4Eu(W6hPt3q$~ zR(so^tTrcepXQL}PSiWN~V(4_`cs^>Kf;2J^zxEeE7~oZjwFE__F9k za;R)>N;jWsNriE;d-eT|UbX?X(^e#tUafYZd;(2+hi^I;EiV6}P2cOwD*|I=(au=9 zZo|F14VGOT=aXSM=2too@(PqF@ecW_0G%d(1BZhvNd0q&LAhQ_6=R=L5ItEh9}+8> z-GfdH@4Ltb&|g5s&zet~%Nnx;W$=+3#)5(I(&(KV@1Faf>|8*SdECO#myz+-`^(l2 zef;vD36@1Dj#O^nWxkgHS>vUB%g*0~N;H;p@~U2b&BKGiv~j$Q+ddoIJ7}75E#F6f zYh8LUX2HS%-sV=aC-pgQz*>p^ez~U>aO>a&} zG*+=iJ=WA@bm2~d?vCaYR=~t1Z-M59$Ym}}3EG#m#J4UYz7wCV`qo&Q(O^2+ zAVMzGmS-q{JzQ0OH}Y{Eg{p`x=lkV<7HLkTtjXBo-LHO3S-(LHXlKnBR&t)pq|tt` zI5~kgY+~8DNO)Yh?j{68W=9Cm*S|P z?$bWT)z!4F3BnJZM>6n`SZ5VPlu4u%|uIjXDR_xAXPYjus$+r zEAKd7M*g@QQHvv$W&3EUpxa;}q(0Fmds$qMg{T~KUNU9Cvp6|}d1`d4CDI5y-|w7u zUs-D9XO&N$sS1?168B&MHA{}CV5e^w@aU<~tb}XV4U3%_L*W~ck`6NY&|^SI4j{nX zotr*ia~F#uBaUJdTFOmQz+^Rlv*ixFrx-^yyqth@N^G2iaSWPHic|S{P_Ymk=UHFf z`AN2foQnDLQGy(x`sJEHVUvPcQ4KJCJ3Nc>n=PK7X5#>$Pl@dz-#~baA|pQs$JU!Q z$`#!E->)$CNoqsf7h#cZ_aM%*OtD?uCyPmIcWpyYOZbzyp87W=TTozbA!cT+3cpTtA7SL2;23=unF+IU?8N2Z{ZhdGRYc!r?%ZVgIdz^9kXJ; zndMWZ2|Nx^50Pm}Pbs^>zI5?op{%_nN$qh=A2CHYv^5zRY694QEDT0~$}S8avyh%Q z@0IMje@T~_=?ww0s)+^+>}F;A(%a#*yE_DI$pylP5i&)7QJ~x^15fRB5_;@DvJ?3z z0;Nw<*{RpQ)+gq{D!U$qRP61`*v`k0Ew%z+X#QaRCY}iXnH`pZQp zlLo8g;GBgyvq*4A!Oa%b=P)GQi=_GnU?3}O^x0Fw>0MQW_8h^FYvjqmQ$NFswPLjA_od5VFggfAy2@YOT#r(VUnMHA; z3idOE*g$RdLFj;cb@K{;Cku=!ar@DxQX;sBMdTc=U z^;{=lgJ|hF>0|K4*Jc|g_5BfjzczD5o2wsXwIo!3{bdzTMZd5VoNpD;SLe(6a_)>H zJCw=|CTBKcZ(z=e4BXam?MMa0 zy`IT`emp3C1k|(}Dd&v70=vR5UpSSsT{he?$Eq)m|Ip3yV0RJ$*7*=O?q`)_+3nMz z@2hJq3cS9(;e+}n-TK)`&mRwo31}&Uz7vrvimGz_F2>BujoEdJGNpdZyy>GMqPsT$ zM!m%8nlrt5dbn;)Iu9BhYYmBe7$)dt9lG#;-fhTXJ?L;!HBB;k+t`B^$2wXcI1qIf zr}wFG)q{)xv}*~Nq7Ah%?*+9*@2Fbz0?X6xjNbJ+8n4)8AX?~nMdwx7CftsvQ#?IP zp?=D_;guC(32!L?URV8IVt)yUTBY26}@>gBG%rw8p%MV!|pRGR_e5;8^mZ_L^SN>bxDGoM&wANhP zJSj~2`h^#JddEY5Em`%)6NFmA^KG{Vm-mR(bNIa~Ntje42^SY~JyvarU72vy=4qu2 zFv7kn^;{=Q-FSUI8r#FQJ!au_RJvRz&CK`T7!R+~IHgq@c~7=tk})XjP}LXJN%h)y z(V|Ms1`{Blw*KQl9P6@|Jm;x@LTcr)EMJH30|iiYk(Yc7OY_z%J&RLU#GC!L8#W#6 zghXS2K+6pgE8Mc}E<5cZpa14_+54T%VT_vNOrxKH4TkCUOi$i;2b#xzEL|?IvMGU$ z#Jmr6B>Qq3`~l*dy5Qf(89Y@I8#>sl{_08CDiot=XxwL1)@CP66QHku_gOq%C3zy6 zOdE*#Bv#RHq`w6paqDfv1}_q;VYC$#PS%kLHx-+Hn`kXPzot zNAeW(k$Lh^e0~BJxrUiB0jH%YgdJB%wJoVbe8b?>N965&20*YoHff zq1JTpRECwT_FEKiOEb`#0(5WcOxa;AyT3=2qN7L z5`utqcL*vd@Qr%Td%pAj|62dQX02zQ=i1la_ult?T{j1twjQ6XHNpz2gn*;?K>Pv{ z0C^2PV=;h$fDpfcfFKbEhdvDD2>lBt;xL3FU112gf5iVH$RnX(6dF?iqtHAJ1RS8| z<_G`@0YIV>ATbF60f3-@z=OYu2&4o+0qhR5259gD)DUo}D-nl0!r2Q6v$aE^m-+h@ zzy;w3fF3*$yZ<{KAnOE0!XRKcKm&}jgF2yCgn%6ZdI$&%it_qb2`))H6v|lw2=wsq z;0HUofAS-cw$j}90Uj`v9Y7cA3Prj@tpUFV255qvpnoRgC*lC;+reD_;Ccuflm{3I z1)u>(7z7G;MQ6Cdt)WN&dU1fBsyaZ+84CYHR{uk|5BO_u03d$Qf6D!p{i_fR{yP~A zfgqfm!Ei4a+!kO1bA$r4l+^iAo~Zi(Fx>hVe-Z5Hia_Us-N7(Nuoar{yK^u=Nmd5{ zMi2Pcc&-p6%o*j%?+SDLH6rj=8T2kI!mZ^IPEJrb%9ZF>e+n=p6oTG%FW{e(b$}y0 z;68tS*udb{Hou0jc5?*@K|Gb%_+`XMGRe+cmVcNuLk?5{Qi{>fE^+aLfB{&b7proTIO z|4RT|f0=_D@b6lh2()UU0Iq*TZYCfi06{-M|KC#oo$`NE_^&GeFOmOuLrQLrj=#fP zzvKT$80-Xd^!kf{7Ofi!Z2%1f+6M6drapoGF|7vF8s_Ho-%(W*7;OYuxGh@De|#We zegWY>ILuWE<_WddhM^#KeDTl*o#O2Ehj+{5r7W}ZAfdV=Witgfc$U-3Y`K#&*%rR zK_H2K9V@yn5b6m1<)vSN-e*m=ob&)}lP!~7!x%?eKbDdytH`o6FXrlm~kudb; z{X+iL7{m>UL>K+7A9UA$fB(J>pioaJglKje0eKi|UlZE=y-JqRgKuL5Z)v6VS-f#i zqzH<0=7o=)I)0||gp1r$>vFoGH0@8N;p5Z3j68?mM?K9tvV#^=Rq{|6e~LY8a>so6 z0~cR9Y@saH2nO3Rv9xDv?$-9v>Fu?3ZNw>FtI0fBG zxga}UC4&jAo2@6$lVZo1NXqj>^V_-eaCb|2c2BjQPy?ON-VqYE61!zp+N4qbZX7cpUDJbaV?>L?qZO&vWpX_a6 z22IO(0?3o`nf9J!;a1+mP~0+I(XhN!(KwA9>JlyGg;1_o%{k{TnOM~;ejslP$iY1t zvOs(mUa#939ehC?f1_Nbw=D44?AikO`OAk>B}Rsq>e>DXAb$8mK}N`X=}0mD%>y~B zR^1q^YM;f8*MW+dHMjJry7}uK(BcG83@!j;@jc$1GDa$oOETQ8-^m48DvYG9_Gl1zr@C3GZr`CNF^O&ii3Gu05ZTW09S^(wG5b+30PHf^Tx30Wdx@r)G`{uY}$jDu4x+!NE#gh&pXy|4k zKj~Xt!K-V%erb1qsXQ!W%qyXnw zi8&G7kaLp{qXG4EXY9f%&D!n-1boMard;&fV6nbMe-RsKs`^yye07tcrKjx{B;4Ya z`bXbIOF}U@$bL%@D1WK@p3_Af-BfVTN5Tr`Cq((R2tc6KW9_!md7D8NS*_0rPh~wB zaRj|5ha8DJK8wEi9O~((`MJ6;cW-Vu72*5-M;|_VpzIZp|CTsfW zVJ4WIe_iOZ<-EiTLHZ(}do} z+xt`|>hU1sEvi}iOZG_Pi+VK#Fv{h0aG0zu`6wJGW^;t#^pO7x$mXQ&+xt+GoJ2J$ zIr2%5d&2MD2FYBJ`6-+NGdKf?L;Fpn4AW9me~MQ}UayHYCiPfd17$ zt#O^z#p1VSuOq|pk_ysmRYZil=Y+R;DFLxQRnxO+&Mha;J-95lK9eaZOVu|gpYYXZH@)GBGc$XkU$MDK@i{2w>2 zT#iCIQ331to()DeV(__T<=`>a5of9qe`F{KG;c^&BR(7Dl(W>%zi8?w`E5)>zhKa61U)nN|oe>wdWRWN*9Dg1l#$tyo_v=t9rZ|86lNZ;Me)EG7r zEms_7BTrB{6Cv2)l!Neo=Vx*S9dW%+WT=kReL$>j@=9+>HD+8k@)k~$3iT0pgpb$# z@%5Tay3eFL^$*f3ni83^CSR3KY`+Lj-#*5ej0@CXprI^x&BJ+Mhj3v4RY0o0%6~~R z1m9i#0j7eH&GfOyU#HMwa}YsY+VAo(PqPVLF9^TE(977kQ%32jr*T@WJY>ySa2DLb z8#&WVn*7e1fj?FNnWbS!CpTxO!H~B<^hJ$DE&V6TPx*feSuJ6#HHu?u^YSj zB2LV`a_F={s0gw9n>-k?0X$4FGk?;oi@K^!O7z$$WSDj(Ug>}%V9uI#JFB)#iEZrB z(h&o`pWmw}7e$)eBaA6!URH(S;3vy$uuE^(*2iCa<$#sk+O*eAO#Oj0*<8@R$1le! zhp*B{m{W~Ve13-P+d>WMUWIeE#UCe)3NEl)CaHxNrpJ)Vo2JooM{8gFpMRVTP7yO; z3Rz2bkyS(}6u@XvW|rYqMK}H-ZNSpJsD$C-xI@ys;>-X+FjpS_k)hyRvnGLvw8EMC zcWc@qw@gj3FdPYgj=tx))jCV95pIP?xszCdK%;M0H5_#M zijQkm<^?hnl)4?iUG}EaIV9l&!<$EE({!71h;S*zW>#lIR*}yf^3_i=+qyoGo{;I6 z!XxXx@VF2Q3OA{9Ci)d-h!_q7uGq0ay#iSq%D9*;)MplZCR3^R*Xv5W;@!SAC+-@2 zEt-;7QYhMpAZ>y;Vt@KZYI+mqs!#8;MBB6Q)pkvLv`KGiJ-u_UC-RQ-g;d_HSjx5a zMlWx+7nAvz#L`_%+X#oR4*F2p5i`ESBLj*!TD*V(YC1P^dC_#Ml$ypB)+5K^b~^Ak zOxy_P_wqTSv2Y>I{x?SG&Q$$uqE58cP zP;M0=!McEb2pv-Q4zp~2#r38+2~C;VPxwNUAe5Yq^R$1P zB66?(8OH}Rm_pN4;Fsu=p|4p!lSuZ>*wfqP^U>KNL6I^;)7uPc#%XZbLTnj==e#0b zocMJyD>y2mpnv!5cud|eqc4Hp5)O@gU+JnzXhfxLo&Z$W1@%O7!$ez{ZgNQ+ngbKo z6KyJ0FbZP(&ZovTF}|)h zSEVsp37&tm^)Z@wF`I`lxyKSmcj;MyF$Y$irpUl*gn#J%q~(5Vu}ungSp?FQ-dRrt z^m&hWbaSau zR3kDSIhROmnc$4kTbJj3O8Ab}Zuf-gRktQ_d2SNr$~Z}v!<2mb0!x|N4O8{bE#hr; zTc%~r5r3^Kja@Ur+U6X3!c|+AAzsNuziyc|d*5P$hpX9I-mFaRbr#8XJ-w^#(HTVv zBSN2=*hSODqm=w@Wh|-1zh3&Box9n6^5mEhPFVE~Y{O@fTiA>^!&{Msb=bd~4x5v@@>A|ZX1?IaZY>U*N<{kpvuL54=lH*hbJ&qQp*LK3Un!x%% z!!cjnZ=EQ>|eMWkH%FuNdhHmohHgg~j6s41dCSxD(7=4z0LyUoN988W6e@Uk?_CO@aQ^ zO!5JO3&b_2+t>#j4ul%@A<%RUBdi9CXOG{i8;Trf9(%bL~leOL2v zJ*YLcy)S&(OKE<87j*oZhjQB592PoAx`E+G@v>!FFxwSnzu0P-& zobQ@;$1#T{6}-K=V)y=G8J6A_U-9tC&mv@5_H{(9JMPkAp33VwqnnMM`P1U7y zf!37jpr1SPti9Rm-gA9z+i#}D#(z!&V&=L8+}Cs&OrJK^vBdoRHrK-)%iAR3d-=Q+ z&J>i2BB)_>jq@7A29@}`5&7!n=07v;CxAWOne|30b@|vUD_T5JiGD2>#8qhP7q2lf zJ4Iv2S5wLJ{leOXYP8yPH>%5Gj3japPtMOd-t1K3`ps z;r1<+|V*Py#x3(35_!578%{pcl%C>PSp@jU1Wwyunrwto&qNb`p9RmNLg z+-O3L3(?@hmRXi5Z;UXyklHB=94?uT)wi1TYA{NV@S~rVaTCC|dYk7<>o&MK1gA4( zuPTW4$^ADI&hO<>`7Sr4Xo}pSJn|>*2ME$rC%!#Z2@0p?nZ3wgi`yUo68i&hta_z7 zfyE5=AZdRpJO$fvu79CtbVI`yMNgr}?ykfvH0-DoDaDDLm*)%L9zsLsr}%r#e)0`s zR4b315IeN9@nDO%lWl*=C7^mg+eWEbSg74&QuEm1r-cXhR|qa}VMXq+f$j2QmU{-G|c;}{fJ;Z4uq*?AfL^j!Wj@48dN!GA{Q0XA zU(8XEXNU!6b8V1S6*z9-6ZUw9z`miDibQmSMU1^#en%8>o0!A6M?z}2VelT6g4Fay z2`dTaw@%fe*S`HS*Ht?9q$G z20O-^HGNGyhd{wMSuN(`ZBKb>yufdNQ!%PQBUq#M*|DO^9>qdRfSryz-q^#g|x#R3gKZHV6z(F~v5AaCe!*J8%aTJn!x*xXeR zOF)lm&Q!+yDbE!{%H++J|J=lZY3g_|g`%hvsc zdVlmq$zGL|+;;q$JxMBvsBdJ;wRDN$B=2g_BD2jJ>FF5X(T=Diyk=q~AkJfv zGc3#Qc(81rNJDy=6bKVzC_NBi5f7xwLdvaorj(_&-9k9w-2&w{9&6a&VzzsX@bh!KDoxv@0 z?5E|N2)bjgVF#fWX*}?hV{;5{I?Mj|aj9p)k8xUvmVk#skLqPV_|{@6^DgSkMepS3 zZXVBskO*l_pUAGsy>sjw_t|uHyhAy90{SKfSQ~X1oM5m_fUb}8QQXAqglm>5>3?Je zex%3DB1%3?J&xspwRTJGG+>2%RubRmsmZ5W=8)1TXLP~}Z#OL&$v4LmYfuRe0q#up zmCYJ+K8XyTtifc$LGhvjX^bEDCV3YVltv-p(r|B;d>bJhhC*2*l%OvuU`$BNL z=Z$p+a_p1u_d1^(jDGzMk$fG*f`4G^LF-;o2BX5GXljhN(vg31$Km;WB(P}UvnB3&FuCDGg{EioL zr(@f86gs<7&{<|R$v(hcLLr!2R;1G+KA*#)%MiVB^rc_HTHa_Pi>OYiXMb14d!&@A z@Nk)6q+ks{BH-L6vYJC%O^3W}K7=XhIa{B}Jm#|t5(WW=9`DbxmJFwWR6>t07`F!) zh@Ozk-p#k3+Nw5Nw~#J`NOUzP=$%awl<8t|?OdPW9PGp#Qn1IN{7xiUh*WSd0g=U{ zcwP<0(l-35$9-gpC#AZ5tAAl-RPR~sO9}m6Q}dF=Yge4uEAkfv7T1^4FNytwgVRO$;=Kb#1TbLcSgnP3>PA4s*FTVkh+xGd5Bk5ai z?ysdC)t`72F==bMK;%J|ezDENj#`tnfp zXkm-^R`27qV;#G5M?!utA_=|@nsn}0KWI$5n+NZgJT|W^Ar@yTAN}ajH{zkavsbfq zSCmV-F>Nh*YwdeyTz{9ti?!;NlD6eivjLVf#vson`@M*Tkokj@?+&zLS%7l(xKYni zm$S00jvR<(F!hA z_+bnTWk)QLFC%>2r8NP(3Sd*@0Ep~d$hC)*3hF;?af-#CKYvfLNZUGY0S>IYQU!R) z0;AUQ+adMpJ()J28YBnwCX7R)$D;DaRy#i`pEO_>l3i6`tK-KwSD2$VrKxg@?2}nE z_D)3U95|dkOZJW1*^O^nZLFPSGeq_EXrtmbQe|dZJeNsHIda=XO>n{Yy-dg7o5?=A z|A=qz?NxJP;D4r{2(7JH+sjvv^qx!v;4zlwW?ZpE%)K!m*`sk6VXtz_Eybk4kgMiq z4Hpf`FS~MCA7BbfS7b8Qj`%z%pzH}Sruo_PaMky41D5nn7`aS_tH1kRe=ynLbeq4d z5#)Nk!y3Oxr9OalICP^;nj^UR^U-86Fv-%q(x2l24u9<;QwR2gO+t7;3f-J|E?{?f z@@FUubEr(A+^4(g?pibT*Dpr`+vkiARV!9Le%A|7zRWLI?I9)CA`pLmHG9NAKpJq& z12ynT#-rV6l0Gz;EqOhg_TDb#)WU+6E(+?~5M2ON29?mD;NsG1sau1od1tbE4z0&}8tABL_Se2n6n zPYd?+v9ft-Q;(Y~z7~IWJgz#oi<=N3ryn#!%*=#R0#d)D!8y>5h*hC`jd!qlv`?Py zL2`#d(Vz7DWSQFJ^x;frs7~ahk5;x;Bz7=Le!{&|%6w`u2>+Ra3jvjHbc{jjzY zjew7Sl7q+G%Za=?F192lt z9?~*UzMpTS!(3JZDiP`*W49^U%`*|p`<%j|Vu+l{IO z)IB|v8JlYcCa@P9^qMQeXAsF{PPdGwI?tH}tM_GZsw2Lh=PB3I-t)B!KG&kfpGdlb zb@)gcrTq`SI%(#Y;-d&D5Hv9gFHB`_XLM*XATc&KHkWY}2NeY|I50Lbmti9bCx49h z1yEeu)_{uw!6is=Z5)ETySqzpYoL+FU4y&3yAzy1a1Rc_EqJit?w7rfWS{@Ns(Y)e z==BYqW6m+=YA8vS)fhy~>`Z`?c3@`)7Di@XfS7{13=1=WnVF4|nVA)ll2RSyYyhorGE#wft)P? zsz4{8qbtx1@K?zIMPpmwze{68qy(s2f}H-PP_r|4b~APa0^S5RAX6aN>CMFjYzA}$ zyk!Td$;bng?1A8a8O#66fFAJg%>l45vivvPzrFto1Oor=u{eP7}-NPREx02;A z@mmc(UiNnO0Q0vpfIc8|;M*6Xmy@w85a8_S0`&3vr{aGJk%a|d1~PR9m;fz6V8lPs z-^4)kfAQP-JA&K+y3B9w#{yvf>+|0y{kIM?vjf|B{4xLgh?z9hKB;QU(fzyR|0+dA z?c4!g3~U?#238Jc0DlV$D?5Pe?ZM}N<0u=0{=JTW_{xCI?EpOgTJGCE{b$Lp|Ly^r ze-8*P;D2K&+P!ry5J2;%(e;=)m`&gQu>5~+_rG2K|8@CaQT|^W{r|2=(#6K+Z#~Vw z4E}%g#Q zPH(OGw+i?+L;sss0&Hq$_Sdkna&Q8S9UYB55Z})FjW_^aEN@e326X?snE_0UU_0kG z7r4wjP>z$E&Y=wHMIU=sU7+yEx=Kg0uIlK3xiF$0(+{}3C1N#+l| z#gzX;Z!s1A&|4Ix{}T6G6y-m}3Sd(GLvJzF{t!EWN&OGKWzhUXZyB`yOFVC6{DPJDazy|Br;7{V$2F?H~WY&V&k%zq{5d05|HyP+3_*R?sKk%&pn}6V2b+&)-?Ji*YN2s^k zhso|wvNzke_tQVrZ)>;zqki+Xe|trMZGh&^f21t`mi}wD|0{kw4g0r=w)@9Ey}cos z9R7=JZ-3bwTwg?sSl%|k@gMkBt<#_FdvkIE+JgS~h*((Ovi&o}+m^We1K+m9 z^&j{a!|fmE^H!GoKk%&{kH7JMX3EsX@vTPZzc0VHf%^~t{Wb#v-GQcvOY?T7d_h+A zLG5?7A_Q&>yA!PJD1#RfSMXXp5_qnADgk2r_kWjcg^`OQ-Lt8`xSj%3&T5Dr7 zTN|u*~@mVgs95V4t?Aes{YPo}tB|cR1gj z%Q}$ar)v3fTWxs?N8S9J5gBSCIuZ_-o0|<8DyTywtK*Akoyg2=rwoPDh4932B9Y|5 zeSiAEC@aU-;Bo~$Bxp08;P4Q|UhXREP%v%3mlI#kXbLbxxzj6w`xr+PaMd34na0Fv zOihTKFI#43>O%TrCt60;qD6XWMaAlk6q$r-y)Wh)r&pZ zIH)UnD=Vcw2uLCz^)DhwPX7+7XUs*H^M97F8=g)uPN9)DvzuqR9PHN`jWm=B>z_yL4bQ1FMt^pd zC$l$xr}mJ-P*#dtV6oR6>f?OTwkhm|N0nSY^=alh+bCQHG0=OZzzKaCWIprUx=lD5 zs{b0)zz-FM>-kjo8}yo)Vv~KQmHHY?q)|6!9v^{J=`)${5N%*eA1qvz>=o89%Gv9C zx-JwUtJYOt(cj>DO_9`a1!^FpIDfBKib5>NAj#ESQi&Hjf>_&!XN9<^tYYJ=a4CW; z8=Wxn!KiofEv#>c*dngpE==LM?%M6EBOg}~D1$R+G{Lx-`Chq=@7IPRMLdK2^{D*! z&gcADGC7h$0*vK{+=_I7u}r$2V#CMI{WF!kmE(`^F!}nW*zsY}Ffs6$b$@6mCJyGb zUGYC^ML9(uDMP<3fxjSFYQJdk;TJOw7?W^m5B=bP^74gKNcY^69z^O=-$YHmwkk;$ z^2h0aB-+e?H9(w`x2*nB@+jks?Sn=HoQB)Rr0U$G7g27$Lsh*#`>p7~5Af$v*xa7l z+ZQuOi%@YVGv$v;TweE8w12FQpkzKZS`HPj-rb-Jjd3_RUj`%d#WS7XXgB4RWhp>> zgFtrEF{=f!o%U)*rvDEuC!As~Yh&|~N>^^ZFTMqIJ0Lh7T|j~4rTUNi;tku~1q zaQlu;>}*D30#+{W*h9%+{5kgch%T|aTKTLNw`Bug=l; zALhQ!8dxaWXn*pa9|lPytv=8cVLp&dTTw8^-N%0rTfrF?{BdXIxP#vPDc`e~EoodF z-++vS=5ejUBcWWVqGsj6sS+Z@NjwPG`3pNS2O*ps;oaTrlY?n-L8)eO+SenWpF{o1 zE2A>hFRBujtKWv+JrWbP`9p$9?N17QKy6)7HV)F%MSlr`5m2lT*Y8uh;Omz~lqPKw zgIFs8HAUo!53tC(Z3LqkPTeGS1;_{x-yX%CFCGt!cjSotC;U=*eU{KVc$gHH^v#dk zV6~TQ%r6QV9waBc7Xf{r07xP%7q}rRgUP71Osp^505z(p=7b z5`RisRmu^QHSQ&=^1MJ!xC9d0Q>@G;2l!D56$UX9lyRpNxv#UY;-9N8n)Ipy1XS5@ zhOr*Z1W7-wOvD`Vv?+wC)Wc3BGilD5HEe!?gkS5WdlB7Rg~F=2*TSO;lsP{QSS6IX zw$B#1F8yHnv9%n~N3R7_+qaKSaB*XZT7OiFu3=rK#X2uVwHxhhT|#H6$xl&ksBTdz zf3(=_@(g`t>d7N?YS1|2@l;2{SC!9Nw|abdHO8=b=gU=%GoX)l{dxS*vAUE>C3%5a zw=;8EL_t5td`|n9P_w%}aU`hqF8$XTSVQpP^mD-~`ZyydihnVS zJTzmYTk{ymI3)O|bamy+!7aI1G=q_a06q@f7xOh*MD@ga38@gj$50$#ri_aOW}uyr zB!LCe3`cs86Hi5aY~y=U|EnpfPmX;76!ZDN0H?W^@;luFcbFaAiI%)aRzx6#Eb(1a z!ccB&LdLrjo8y{ZRBsz^bo6-S@_z=V%DdGJKI(KDR%LyDgiY}6Ox^4qqK#g^*wdo_ z25({VW>glnH^YomfJZRaJO?CjdsMtMi3EuLC=ot6UeC6i`o6fNfH3*4pSge|8BFr6 z+~2iYF!m#<82|+q^2xrLjumRmcjI)j%W;^NPnNGWV>)a@mbK~dhlf5R%YQxmHUu@W zAc~rKZx2GR><~kt!jM@)+G#QC*jQLm?@CvLmmxz5f6Tp$T*r?Q7!;1UeXQf-ns>$`Sp zuw4v0jJbao4}bfHjgDE@D{tPg z+ufHK9_@vq{U+QJ5ZFb>ibl9hFLuqGjSszyM!T#WUSApKzSH2)Z8e;Ee~8pGO?z+! zgcYzI*?brY;C+2=VVR9aGx-XIB3{DtjN>yZX%zZyzN?z~)^zXd4!A&dHLzReCd|Ik z1EeN2=E>mzOl(jybAPya1zv$7UQtxCWi>ftHjB~)?VO)Ds94X>j|#Bczv^gBQoM92 zsPHOJwvTn|opevQmE5#3UAhWewFpeSZWziZ3x^cnR=D*k{%C;>@{wFM)8>P3jUS0P zaf=-Kbvi-$%~+w#v@g%^h^gR&@Z7|N*iViQD>IYT;b*0}Ie)rJKui!?j}Z(s86tQe zQyz7}jwvF9+AVqy3BJnUqt=IlB;)$B;;gW6yXN!9h)tsR$w{a-C#-n1ja0x74_JY8 zi;cmzofa>JnPEuJuR({Mr1ch!DE`#ueL@ZmZf)Vt3t4gnI&+WCx7SoK(@=Tz{NxbN zv|FFj=snZ!2Y);xr@EqH;C_|VP_mFF7eNf=HP<$TXpz~wOg;gUY_E(}9a+lOw;i9J zYCi~zh0-7yWPe3*Zr*%VHDE3Yi5!=6#yItw>q4~l-B=g!j!Y<5 zSwMWZ&HHqoNYjO&8`0-mCWRjD7Sw`=Q z-q%)q4}TBOR~u3Kjx6FTBovvNl(*hC2esWAuW9WhVB>1?bFvT;ihJ0*{(GNZhasic z*^jaYK`JUwLK!%$tn1qMS`V5XY7Za{k?2#+Lb^4GnFNaO;yww;?blM*Py5+G0dsk8 z)Ik8~uW`ex04+yS#!TU_bi@b*A~H7Ao!6nAzdtwfq(J7#sxliCW; z@9i_C8`zVFp1`?V_;+j838n&`Luc2=ntrflaU)3(o0eXSxnT< z@PAsbTF=uXPkR$Cgd87D2HwHp@;oVS4Zn+Sq?)bqS^i3%{Skf@ah~fTL|`wJ$@`&6 ztXP{h%YSxM3%i@tO(gX)Gc$KY!LY4cM)xl$cU3Can ze>tY6&Al$UEHcd+uzE0;^3noa*R0H0XIuRPy)PEU1 z9)3E5U@F2~l|G}Co`g3KPt^A_#6Tts-h`azh@<0?nEHXis@@Mb*7E(ASmRlYQmbxA z!`z22Gj}K#KOijb1w#4Hgf|*k<=F=fy54opm4cxRqPaIP*@C;zD$}-ZO87m#x*wVC zKB<2V&8KmHc5(zLTD2UQZN}VDuYZ}sE_jE|p=#$Ww5N|B0+o6e0#Z5!ge12&NHZ6? z5LI7_Aq;#s9$w&1+8==`D)L-MryrKuE<^$LD-ikmQ^lz93Gv2+Wk)Nv-voaH!&D}q-wVxPRxBDUGpS^2D)c$>|H)zuYV7o3Fq{c zG)_?8BQ1ax>2Z)9hOSxOp$Fd*#IzUYALCVc@9hk3VO?wW$zW@v&2UX>_;yrZ8}`7c zo>G4|x`0}hsB)1WERa5xADlFMg;@rucO=*W`|Q4*TsU6(eKVpvu+y>Y#f62C@?rC& z=$l-QkF3j(P=ENT==qA9ZhtWTT?pn=m<5I4sv{g)fXLCEXt1Z+S4hy|YHF~@bs&s} z5`s>Do|I6w?YrqJ`Jt27y@hjF8)e&?&*;strz;iq!eDw2zg|N2dF*kgQpgeB0e8jB zrfi&pKsjw=R`Lf#_?UMt&Tcf#Pm6$buF!!G^^MzO#rq3e?*-cimw!V(+|f(^1YdgS zn@bx$8}KQ<_mI{|fMHrAC!-~vdv$JsJ!LE(^)K%xoy-Keg}dh@;SqWH9U^;(U9BOD znRrJ|b>dbdp?z&j=d0UJ=K5gWlbBSrll>}pq{ed5k+vgi%+ut#rq%6KIGQwRCSD5z zuPyz6k)>z0lAU1H>3>Jd=Dtb^ex|koKy+gH$tjgS)Yz(G>aEFe*n_Z?d^rTCEQCL; zaO@=0;ZOJSJa4rud`)B?Zft*M^C~4tU z!tEnie~_C_hQsZXzO?Iy)%p%T4YHv$lB>XtC`CNno>dr()-(2t%#g{ok87~~*8*NT z*}pY7W9{hVDaY3Yo@?&_IaF;8uET-oE&$(cmS0giFDbh9kgZZlq$TWDhJ42gLBX#*)NV;FhM+`T z3q6JRKI??!wEk2LB#-HL^1G5sQ`1zuZ}aJ$ zX7WQtCV$L>DWhHJkr_WN2Xq$B>Qw_VWlM(uf*)t4Dv%^&m+-c|_{6AzHZrE#wg7bc zti@2yg86i+tpW+#)JrfPbTp%?)b{JRNC>dLA_!t=py+@#U5m&YQI0RQ4z7F}@C8Ni zoqJs4Bk4U>LCg>`3X;OO$aVTGU(M~}P=wEWlYiH3Hk8f+Cf1eMFeh4CgAZk^&^Mr) z@|2&ESu9wp1B=%Hnn~P&l)*1Ugt750`y>|ZB-8cmHcUMO+N$s9ro3g$O@h4gEhmsA z^1}l3IRbUT^qJn=`ouM2dGt8#qH~a%!(<;71B!KKzYYzjS|ru{{AkoD^t2KOmtCwJ z5`Q6vBo@?`b8$&4KPMr+jMlsQ;}l;_Z34m$-&x5d9HBxl15RClY3cFm(ckI&^uYB% zH%a78vvZ}8SV@Djxg<{MO~xp~Dx>jn3XK@);yR?bNzXMr;aDcDM7cZuk`?7~%k-z? zf!*-mi_GYsDSP=$pRApQJM$QM{C_wu?%nwNQ~(f245n)D{JdY%1AJJKA!=MS z3}eSk%liAO@yID@;iP*m`KoviPsMDd)A5>{*u>ka3J7{_6JOs?(mcYlz$|r zqhLvpVk>bgWv`txn|HIFXUNxvzvDuL!{ls8)rHhv|3z;*AT=*rFzdAwH#70YyuyvZ zL|@R`==F&(V{BN`X;135S$ugm+iS;jDi6Dz-#&JZfcMOg183UK)BxW;s)J-T@@A_E z%SsXX+Q?+fp6C^N&?+MEoK5Rjw|^=Q^rPU_i$vaglVJ1r!+Nw{Mr}>%=2(yeYkoJM zX>6c#;DU1|!<_>~u}*{<4u?d$e(>iP!#!EIJv_vbV=APV60h((0fd~=C$^kfqxke& zl4V%*rwzaRZepVr;xRxqei;|in~0;>&1a7uYN>J^-qs{ozl-POUJOh>2Y<>ixJU}i zdt(vQw5Ly`2^N{G^kzSnz2{C1$vbU2kokO+p#Q>>hw&~A{jl3!s}()^Nnql%t;)_b z!gfYug8bI&9%V7a@fd%**Q5Ye;g|mpzH|mZ7jchq&Qv^FS8S1t<2(u41HyNW8LE&Q z=yT#X15l*7ATQL5qP2_#;eY)JHC`B+?hl1s5h`lF4-7F#m(EgjdR|RPkdTh1ucbk< z#gkRLIm<~iZImRLI5eB|WIDh)%wYcfE<*MCSdRFfTAfJ&$z(d2*h25V1AzrTkZC34 zZI$fh>v7FvUf9b^dueM~m>iCp$TM{_RR2Ozme`~t0ACK zT?6|}bJ=wxblVW&Kd~IyHgd>+!jQ%E2-nniuo!Exk`^$mG zGPm2p^69g^nIO%AF@Je*WcAp4j~(K?u2PjI2tU&u8U04lyYJF$q3=1VmNnL^6dRJn z&9TUA*-tbET26N#sBm%67z8BccCeL<(4Ux}2i2HH!n;xFH{K5tb9_lMW#XHFm3^;8 zZ++wKSoe^s(&R4}e10 z193+_S;w+FRd}$*$S%$GNohm3kuKjKonu@gQ#GaTg}d(4rr}cihZ2Pev=I(pcT%Ea zFjJpYfrxfLyMDn+NR=MlP_6RzmxB>pCrAd$d4FM;@_){cQw=EP(&ZP|1Afg;DVpwt zMQ(We^`Q8w0hq|)_O_I)qrk3nv(Mu_9JQ#*P$YccV6rkz3OKdQ@&PUyokZkgr$2q2J zw`CqSQ-7>W&|=X)jf4YN216Fls_>H|znX0A3O; z)=t#X%-1-j;`#oDYLEU_3zDq@aGWv6_P6O;`Y5m<4lDqDQ4Ng{l%)X9CrCSA=c zXr$L7t#b-_YXed46es)QupPnD&wf70=7~BJAAgewfOB<(kNHGu$x^y2sYsu3+%A^v z@Qg`Y4?b!rLOstry7Vwj-z2XPSfy?P4_Eh=+0RTK&1&@AgE-x~cE>YZytbrD%EFxy zJW&OiFR^3{Ce*ZUHTq*@t{@3%Ynspj8RvbDCNCqfKQof$2G32S{0u;ZsEKof&8tsM zrGJ;xbuBVRXOGSoDrP%e>J-ufDP&>bEGo$7(+i^ttN8=mZzSEqHBiG#ZR-Ba7kd~a zR>tQ6j)oXhzpnhk^W=QwJ0v#el(ScK!-UgUS{1g$6f_Bg>6Zzf7fC#shMZ?U^J^o9 z4)uYo7Wsw5kB){FTwj&7%b>v|GmHB9{(s}4%GRm8pUP^r!IY5H{h>p2l}kvF7&wZ? zjY)~+2kxKCTDWvKyPkXIszo69iyK!@@h&=%4BR@_y4)JQ1r~a8&G^|FR}zm&EQK9J zylPZc(;FkG?CAHq{C$g%D}C0Re0%$O%;7QLqk{?Oo5CU+k2j9u*27iRhA4Y__&H@?D~o2>jZt_EpQ}u6bIazz zOmi~q268!F){ZA}R;wayqj8<}2!Doug_xZ{H{rv;=b_y~vWBRPUb5l4Cb^~Xm*C1i z>oXJXAZ%+-infsgUhj#hxWDUv(@5j1Rt{d=*Jrvl^J;=bQ z7?lZq*uyNt$!g2vgG-Kv3rs#I_^=0)5iGVhfHGCX?mygw6aKT-*HatK?SJBqJ0+a4 zIoJ0`r?b*%(U|hx2O_Od@m`PcDL7Y-U?E6E)fjmXsmo=Vw(q@o)Wm3=bH>+hmGQ)< zj%(~hrl-E-5CKh4h3#Igz^$5*0j8LWk>pe9?WiG=w3Q06zI)5>KO&;yykjsJ?Qh|| zik5AtW4R&Y>eFK=4f#JMD1V6Ps_f_X?1VkH?1P~uH$udX)gHx0T*M(KRXHXtnpT34 zqh@e2R_2~XwHR3XKikd#wOU&AC!-0f+qX}l7h*z&l6EXh!!zL3P7hi`74N(z7`a_2 zr@-KE43Wc`*{nr5k`qco^#rqg;zXzM4=gXV3Zjcep;OUCpL`3SV}F-~`#!_@2Y@aG z@I)>+Qi?G{_yVsF&5U8)24Ek(!WY$f^>)TPs)6ql=e~U;nsrT?XTI#5J{LT&mgI&S z;9Pn+l-lgXpCS*Q>z`O0xA43=v@vjETd{8<&SG~6H0LwQ1u;xIqob{e2lEvUhUl2p z)94iO7*21-k$ELG^?zJvh0AMqBGyxEe2nEiCSIqs%Q(E&j_fN`;VDzO`uem3P)p#Z z&zD_c8JFdfF4=i$_z)idzGPj)JV3QTh8`%72Ei&z9h2-&S@BloIe z@E}oAp~Ch=*j{)(}a8?AEdV7e$iz8{{^C^fG8o78pKQqNHE7D2O{T`6^aNpf2~ z+*MJShLCNQy)DecBNn9&I&qpE7;Och@RFGjLCEP|jT7D6Gn0^H*Xui!)m$B#`ta*wGV1X^qT|+u~Ic+Qne$7;P3?v>&PAkzHVvFzO0F6Sc9uwV%;k-=JfklW_ntIxe22+ zC;oS{PHP%oxpl9C_UT6Es-MRBCeup3N;V%~bJM$<2tgDkMLd&^lZvU6=s6Y$dHSVb zO@AAqyF(I8FIzx4hDX=?ikaq;x-l{_vVZmM0Lxog-il}jWv_KCEe4Y~R@iI^2h8Cy~1y&CqQoU5x6Wzz{1p44jD_Dp9{pn~9eEEnG+IYV*yQkrr z)pR)VIwVJAZd1~d`PhPSXw;Kk2kRX@AuLlb^?Wv!;$~a)6^ZXSNoFHni%`rMxxn6N z^8lVDI#*EfiKG`3L6v*1C?VUqP=AW1|99uHEj#7W3-%K4!rMvzuv`fi@mY+1ZnpJ= zNZQ%dnXiCv>BV$-@V)7_sdml%67jrIN+=~YS-tW1$^5?nQPoJj-$`m|_>_=AL95ax zhRK*LRpA1P>@o=b9#OI|gb=BnXCIMPTJo79Cno7jqj)5DyUgg7R(dUd!+&YeAt2q+ zZ!V|W3$J`6trt;R+Shg)Ztu#=bmN0=NlEVRKH=!&JaH8&~Ih9tUP-n>?QJ)O6y<_ z1M_##2?2V?ROUBTLuX%M5r1M%WCP3?m|@$|RAmMA{aSeB42HkT%WI>=)~AS&hpjpt z|FEjz;AlHtQ|0SUPx8k-PCzq7!S_*&ae+Lr5!9my-XSEv!@k0waPjA8s0l_CD~ZA? zXx`K8BRIhIxG{eYxel(J`9UzWTK&FF)M0(3DY)hu(yGQAR+nCiAAbT*aiX4R<40CV z32PCVLAU)`ED>k#oV3r%D)p-6)H$-xV1OL&V^5ii5k-R6b&j)s)uca^6en)c2jX7O za^FRSWccsEqBtLOtaX$s$@li?1M;HsqC%n*I;XHyQny7=c+V<#9Y@us+4u#H%S8AP zu9l?QxY9PwGAX)6qJJ(>J~D{oPolT+R-$0?(Q$XecnXiP`V>or`+kaXL@TRJX9Io+ z*2izzeF%^kaC(K>_tE5x>$~(d58QC&Hk`Y-gQA8?oOcQylzG7#K?tdk*&Ec?%B;%6K8 zMl?i?oy8F8+Ua{C_lz^VklxWK9X*n%DrUy{uj}&)-$Zl%MwKeR6s?k`;D^V8G`F}Y ziee8pcSWQ}{C~0Ew9o>1;ZTN)kHK~>!4d5icavZzJPib~FMVd^wsThR)`v+GAGed|zOziK2`_SSg@ z+c7iwCl(|Y2jd50^YYzAEZf(7E~ma7QrQOW_buz@N`L;`-Pc)?^@^H-_B4|5Qi~RJ zXQ}9~oB{I>@o>dy?(P!)p;%0|Zo0SZN0foId8WutTK=A{fqPa|GQw+u>LpJQH!T+n zNnX>+aW`~Bh!ImddS?C$I*OOw|GtML~LciKmFrK_*7X_S_ z6xiJ49e=^U@kBUI6Z=TEUC`;cTL^YOnO$N57|DLYhCH>CDmNh#3=BZ%868zAVhFSe zMq1us+LV`@==#0OA0Aky~f2%nwFQ8EwQ7xgH{U zuEy{DtlH@t`l7oj*Q)p2;hebAiVhJr&w^%(>L#J586AjWh}i^ByNJKvcAGg(Y128X zH-Ak-1*}airlO^>t9)OxmEFE%4tD*lC#8Z2J|DRBzb-$i!;2Q8UjP#ZQAk?#Bwjad z&n_C%zcQu4%2ht?Cs<$9o7-OCc{J=!A)7a)DBUU(4`*wpUQVD>pGb?HD+tId+bPNF zaCI-8So-f=jCas1kCWxO;7hMyJ=B#9aDUv~Z;prCC7*2t*}q2WK^86Imss<(si=$K zqxr-k#M;9*GUkc|jbo9D!Xmn(Z%&zO^AMG031Zb#AxIXIK3 z>CnwmJ1AB^PAuJb_|Vdb^}Ec->3#R5$n=EXW8Aqg?WSb(nzo5gmZ4lMqrylP$R)W^ zPGc8C0Am6Y)uvzGDc+0dVA(?mKl!so&ut11EDcg9|)MQ1VD? zW;0#^_fm(W9GmI&D~c{s=!H)Preq)-R{DBB`iAx*F@$VHx{;R!4u|;To-jmNOvf;a z_W?Nle88Y!99hh!9a>7+3fDn4=>F5MC7GIy@Sh%R6(@R@HVzsl zFwIaEROd}SX8ICVyS-4_Lm;0eCvk<{kRQ%7-DL0*cAJHLx4#K%nu?U68R&nC26(Zn z+Hd(i70?Aa7~W->5ET15cewc8lz?PMHitbF_bH$G+Cgevn9P{wi3H_XSlrPA{#DLv zC2(LvPwGBc{0kFQm6)y%EMF0w0%8i#JtJBzEIy;kPYb4zXc}^#YGpM_eu0b#W<$Hx zb4Y%E5x{})Lnxgj$%M;q?hj3ieYy<36`EF6lwTG$VlBHB{BafWzHeq|sR?GcwMdm%b z4w;UxI&0ZK;6Jc^37Yqa2$zrW&?gMh<~kR`zZi{G>xOyh6yNZ4L^po`yViAh2bm&A zw&{C*Y?(1y2sVucHpu;6tp!%gO%TH0b!FPnIREICwo=!Ta-o<#9#~OM{2i{I8kM{Q zUNFk5-A#utG}(l~EzdkPbLBPJ4l#1(cU~ap+dG~q;)=ks?yS*ol`&&4&S&#I#w_Ot z0A~5Fw1P6_+Ie|t77c$bz9kwF7t4qcjTz`8KzEA=2k5tT!ANW6OOge?uLLep^xhl& znAnX`w)%ErM6v*N-)Tf=cX)2z_BAA2$QsS!=c(JLZ3SqYg(zo~Y?WZ18%@P+6txLc zFN3DB3C7#5YJny0u?TpzMU0UVc+8k)amPJ*K=*dp8QAo$VEumtJD$5A8I292&IcRb zC-bg3ORKl|Haqiz(G`I8aozw;KI6`!4>koniB2cp{cF zLwd`#4e+i0KVfc9I3^4pE8wAKbv^cw{M^WX03_3o~CbJ{XPCy13$r&^Ln zx_)ClRhZ^%Gc zZY0S_t`aKmw9wlOhM7*(Y_)Url!dP1F2>7Q5;o)pm?;?rFwSYtOOYTDb- z3$ut4y0zD|8_=1ZwRI>U@QDHxIZU|(3L+|}@d6h*RXcyfVmj)Tc%7Ki&SeDr@`*gl zwn5C$P`fKGbxDeNg%=m-x<(!Fz8!fh$Mv}HJ4F%Z87iADu<#`~XM$`cEz>s7CbxL1 zQ@lelXOqP~iT-jjP+6$OWA^CM_`)F5Su0IlJKN!C9oDe?G~NBOjR5~G!V1zoR^kZG z5UM5Vn9G0oJe;HDO9$91refwO?P3aISfdfxZ+aqa40~c4wy+Hmmw~jk)2)@_iBg(h zUYV$4N+*+8SKbY!Z?r?sO)45v#z+`dE%LDQPSF#&yz&<&-Y8}ZZ(hsedyA@H!b7VN z^t&}HF)d=i=oaxzNhlo;{S6t}Ao$jfl~I#dVd{VH_Bp?gcP;(si8*@jtjGF5zow18 z2wRIdpts&{))9$zbDriIJtYajR)y^T-clH^Y?N^g67(41(@MM(qL>PI?+$CGVLen# z4;;)vkceMnT(Kdg0q)C-(EgV7nfb)tvE3=nkFrg-VT}ADC)MUmLnhi`n*QZmLo~(|kPk2lfL#tIyNjgL$LOW;aWCKloPKv)4K|&Xq z6jBEm1NZyvCTgl;JYxKG(gmVy{Qk1y$UeeW>j5;Xt=|}RP&u%<7Z^VE+qL382XD|J zy+9~W9U~XFCFY}LAhIX=6rh|`4jh!cL`{GF5+-a&<&UuDyimq=Y_UhihE;|WRLyJV-KQXJ`I14Of0C8MN?FvodL?~(58)Ev%-O}OWUcrc_m3^<#)suxb~HS(TQ!V%5wdHo#|KQw;aVufh2&aqpt>O;HsQx$*7HC`a* z7cB)A2*4F$JEBDko#JLRYznh-LLXIBZV=|r|u2zODc({2E465+!k`yAvH z+Ep9d>lrv<5Xx2_X_NqdGVG&_3gh(W=Lw)2lj|7NwPfqiYhR-FLnn#Dy-V!T2=ROQ zqIwYPQt6Bg{#f@}Y+AZko!Y|~rPOIeP&{#w6`s(O{=O3W_>%u?Q#i+R$~(XSe&y)N;?>o`xSzq zra>glOU|_%50wZfI&}9 z@O`vTp0yAr;V8DMJ-xv(i`K}P=Ty~Y|2)?;m1b!~K__|bwZhtIA4PO;V1o{@4 zme|W3I1mz@gDk_$m3#LYp^N4N+lzKq+y%l9YJKA*tM9^Bsz!ZQ8<+xL<>atep?X>E zN^|?{zeu*8=ti=Z#+4tkYlMfZVVf&PSh{4l+6FX;2cq;y7KeY@TgalhXeIM{&$!Yr zovEp}WuynVG)*NJ20G(z7^^24fjsq9o0|-TMGsYT5|x3L4nK}3txXov4WST`hVPPh zfl$d(Fa!!~?BfjB9T!SQ2#pu!JV`^inHT1GwkkFQNEed#Y-eJJY`1>V>%oeos*Z81 zXtBT)c$gzvxZ8ixxut8zOuW}_2R?jN5jeclZ>sJY;8o1aZ#Or=DX!r|Ol_jJJ?52& zLL_54XTshWB>_x1u~<8ZeM=4l@i_kev;11R00lj*Qrg}hgWaK|h0H65galFX ziTQv1qebIn*9?C}LWP+c)|Lhp^8_wUjSyVUeiNuCM{N#2TQL|hrW@@LRA7NJV;$`q zWe#XxUt1w!g85LzrvIu3Y&yn?I%EJhTp@?KQ%qCDWp~=lf>^b9J;n@uXB%kgTjeg6 z8Nb0CT$s^2M?=v^=j0NF2dkTc{E-&8Dtdp8lNtuDs{@L1r55b8AeC#zcP)@O+Ha`f zXphGZT~>*yw*sFo_0&AfWX`|MiH|v%Th(Ew|0u+DWs2ma+-wRADf#-!I$*+go(e@> zHYA|28!IHcRD3nj#xDDlusVo0Z7lcR-ti-{D)usi*{|ZMu41cG%1T!e)3!U>U{-&z zYo*2gC`p$9qP~#tbrIxYS}=52a#)H2a%VO*OB^FbTEVtoqmRKPWwwWaRXELBSRzh> zh14*Wk|#AGN0&$;Zc!~=g#_sXtK=*3Db7uVeFg>G~;RvBr1?`1#{=S6*ciZnRNk5~e}gEa`3 zX;mPm(cdI;Se2F|t668p%O#vBF+<-oB@qzpj?F4qy31JVsp^$6i8&~|T&5~Xmp`~U zm^orYA191xJo(%+XUKQ|?Du=VB0~LHxIHuxysI$Te>`Xz)vAIA4w#L_QeuDBLO*)$ zSF!QkK2g%WH3TIyf3~ja5}uoguJ}oDV_kn=7Qa?OYnO|=oa9O_>iGazSX%g2Bd%m6 zrW09+M$)Cp5Qo^G9VGWTEymoG)Rjy%5HzX$>Fq#_j*^IszQu&=av;8SrYFV?9sxhH{DOmo_zyN zw%P^jX!^p`P;yV?PaZzn9;LmAwx6&-muidbvCcz=^K}V|J|J(B9Yx}N#OFL&!+lR{S(@lF$2i+m~W|>>P(iJFj|4e^pEL{Vfd~vRo zk7IWQ7jk!T@TAH!kU)L`=u$89PBuZMZTnHH(8o?%B@B|w==^{|e__sZRc2SHk#I25 zMXKO0j)J(Z6D{?`&i-w_uqq8Hpvv$i=%uWV>XLf^7>Q(mNq#sHOSNHy0)F-7>^V%r zP&d^o&<#E9hIpQsNf&=@!V+K$GIMHZWIe^eW_#Ywo(!64h#zEND!3{6-S`V1+N@xy z8d@YQbq0Zr7dS3t$UCi%X%P&|7Tii7r55~suAQI5YcB4Hy0?6JW+!bY6K*b?fi!hY z3pIIH0MwJH#gBMYD}gm;SsZcYJRjmHA#(UJkswgT{860=7e{{y4UI2UCCBq*$wu^c zxVu+O?!3ey)4W1Z{#O5aKpgWif3#Bl2ue&rD@0%~CK-yWdh3lTgv${?zk1hCLWF+F1?uZf{$dkk+8xKExpcc%gT z3_sn&W$CeJiR@C>r8Zf-n-?Sw)clT#*tUN*xg8t7Ij?vzwB}}gjQTHX<#rpGs z7R?GhS-Be=R~fB+{k6JA2-wit&q}M_RPQMxa7Et(&rNc$i8`9PvH+tvFiANGQ za7F3(?kYk+&{&~}idL){(F@56SY;MDV)HI+&r9uCB>Li;rmjd7>nuz3qAY6>QBLU@ z^32i&#La+K7Q?Jnt@+C;m%6xwxL-dDiw*T6*PrF36Clp3jHghxEuG{K*dtjdDutN!W-l_>wM( zY4G6}G%6jZ(YLmqclXviS-US~JV4*=_HKWiNEL2s`Rat$I@iM3f*xrB%RbEq$Ka2f z+tMEwP=O)b&xix(Cd+d>wY;F)Zz-{un4+|6i&^#BINFH<&6S$JXKQbf7$FseuDfz( ziVY-HK-IjH0j)O6LGzpd0o{Xwq_EA;6yM=#??#a%N{}_YsGy@5V5|P001O55`pka> z=1vrW%Ts6B{86WV%ALMfAmq*(-cL60`zA9sh8(9<%V_K0biN~wPTUF9ur1QR4|5D0 zbWV3&WrodqOUwc{0lYEU8wJg(zrR>EZt74gwJt5fU}_oU`c|}FGSK3{aT$AkCZDWT5^bT%ga?CkgN~g&`R1u;KC&|#1qJ-11vnJka$Z3_z=rgk*HTf%> z7p}fJu#E;QJ{>CUa_AAn)QEQt94pd5sAv}}ny7=Z(mXQgoy=)a5XJ?au$X_WKDDW_ zGS~F8rSpLZ^nHm6lN9;QSCWo8A)%M}pPXn4@xGDw%xRmuNu`hZcS>RL{MM_j9S)fM zXcYQKAdyDR%`A`h!e^(lOfR*kl>TYb6C3PBRnA>DUZ{o~c7Dp)b|`(%BGD>@>{@^b z5qmjRXmnDX*Nm;i9Zgzohf;rBFwdpI(0jojK}{R^k0KuoyW}CBP~cwRzCp9MRk@wx z%g-OW0=p^}O7es|XPHa$gA8d*8+KL6HD`$0kZ8h6IXio-0Nj+ApV;9(YF@X>Y^8ta zk^VnXR~bh*%miu1U>It`j#PZwGh-MhehB>)y@EqG-L^U&oRiX_;B$Ygwes&*OSoxC zTMd*OlWG@BM!GxL1dn=4O04Pdc#$974ekSZm30y4rMA|C*uE~5);W?A3Zz2dqf+CO&5j7Q6!1B zz0I84wdJcxBjbA9*vf3{rQu2^XnhGk z4Wk~9DHkc2ekrG*#nZ9<#{I4YT- zJTe`9NA*Zj68mND1z?2D0EG%YK-mO-x^q?{Gsm07zQuoUgcHRxv(OKaC=Jug__4*HMj#U)O9&H9AoorOTJo1>OU3ZzX)26pUKTtezarA94esJM z^u(O5WuJZsBjDf76J@P7B6Lo-DKNwF5A3e%L}VEl!N?l5S~uapQC$&c^9r^sq$VN@ zW+hd_w}b5n`jP}RI504mfq)4g1T;7>Fqfo&3Bdw1IhV1!1}Q+jTWeF>NY?)DU!jlh zTU$YWzf?_aRe&KO88QqIa;tnWpb+l@Cbr2W`|I~yT2@Q4z$VmICGA$L`}8@_xpo_u z&VdOue}#^Pv@#S1#+{FaF@^MA78c$|YYP*Byzzwv!qSVvYWxg^HSihC2&O29;|@Pz z9Cnt%6*d5Cu*d>QC4n>GQ7Hu+7AAOGIC!OiN2g&bNa7587QKPZoiBU< zx-Jw!2VKBcA;Kb95)}-3Q$!1Ny(^*z;xHBDe}$(20tn^9C@APy5sLt#!8>?`SOE7$ zfXUKokBCYc0n`YSl@`!}$;t|N1(TIGFanc7G{O^l+N%+406mN1z^8{#oD(I=4DbpN zN)pbnsnO8U2rG6BYy`*~2l`O3$av5rz$6W<9zoX%5Jtj!s{||n?O1J)Z|E508#b^` ze*q1g?7c2D4B7}Z3{n!H0N_J91w5L7ooGiAOhr14q(NBejFh9_ejAl1KX0p|JRDzE zqjG0@v#4$s^TL9$9gWJPYCgT2omX?PJQ_HtE+*sc>5t-*fB`f)AJyj(ET6$T+!d$& z^Pfa{52zKt{Z^EFz`esa&;_=A>Vmz6e|l6DvF>UFF7+)+&3&*w*e;DD_H`eTtNRFA z>JtL>P8PAkKCo6E&Zg(b)uQ+WV(;!1a!<;iS(Grz?(=Rb>b=eXRhzE94pqZivnxnC@1cU2G6mVggKnZuOBmqDDVf2lzm z5qtmV*}tlD-go~Rtml3#VGh8z^AM)KhpGKFOoz}JfFuVkLnk-1+;B6{AbzMYfDQyp z^AzxC-Sa{DKZR$=Vlvp)G#Cg_;z=OsS&X*76qnXPVIb5%e$w~C&~~jRGCeW^8QGIP zKAG$-u7^w@!zULkcMFZluOEsbf8QAWOTxRZ@W!kqya`XE_*|HwP>~r#4p0*-+J+)A zS^okiwr3C~{x31fqi2@W*UYq^oO4_L^XOBI4q7AOsYtC?TWUpXgWl4q&BwK-acj4r z^z?o!)NS;*idwJTmQ1Zx^p@L97@7f3!g$Z~YdE zOJpK_1Sx^L)M7n}wI!nTKpO(>u|}KbC)&$BXh&`XVJRg&B-jbqGz8}b`nc~&(1Hj^ z*+hbAkl6Nd;c_xhu!d~c1oRo|H}6;u>Z7iN#?1f}isL`|LvT)2SZP|GurZbZXDVnHc*fMXXh!JAlMEhHCle|3*$@q0r~#%m+0Kf<~nVnn6MPBRisTATVoVZb5fBtUsbYNhZ3h~-0$wAuigLy`-`Bdo2Yvuq>*o{i^gd7M?p zYGMX+coJocBC^Voe+~KiotK(u8H&%j4FP#{qrV75x_!Ov={FcfZmmnpulG zS>Uv8@i`dE5|I=Ro&x-kS9s@9IpB(*aL5TU%|sQ~xgvNp07vPB;sZ}Xvb>x&06@VK zw5-YV9K+$+ie?$LE~+K(xg33&cmxSs;VDDaJ#8^OHt*9ae;Rc{kd`T40t$)3axTA5 zT4LQ&zj?=EP@nWE>wHjf_T#<<$LRLfX(6@?TC&-)HHcEPdbHlJ8ObI$&v|}bIaPU^ zW)5U^EWc8HLoLrBQ5ELb)MiYklo3f&;9uxT6brmW8z8gul59E}vQk5SN;#0}IM8~) zkR_GC;2)Gomwkr`4knNQu%|4speXnGJn9tMF1uQ3|QE*maqmfslWz=1deOSM_4mS6a?cJ#tKa^ zQR0Qz0AfR(0OU2NWr@b%Esmhw0mzu-u#zWr1b?hMLPVjoKvif>Z&_^vZP1d$#Or8W zgLR5aZJH6-@Gvpr3`IV}J6MUk1<4jpDouUbpXL}rpi#>d^S9dK{F>T*oUYR*npw+x z<#Tw%bH)*fc#_$om7q&GtH@SR13XU$!b5R!0Oq2w5)3h;#EwSm(+-q!SVL(Co=I(t zWPh#Mh$E-Yam`W5W#SRk8R>2Ll<;1T)seE@EAzYJnnxcgyp-6N*n)X|}~LjDMu(h(Kdla|#q9Qrdvz0d{Hety799J9;ar z_@z?=e#b@SvZLyxlU1ovS#4pnWWCOR^*~)>=`_T51Az`*7)XQS+K+-QcnE$W<>(km z5esY%^EV|5gZ9T~vgj$jq(Yu#GI(Lb=e3yp4ADf~9mO_AHj*X~5kNJalM(AYA%Ak) zpu#E7DyqcO;fW|xayJhB%>?AsVAV@{)O?Z$pW}J1P%%(l9O}9+P$ChU(lytB62~c( zXgbJPPr9U;7+oS+09ucrcy70-BDA7i&Gh=|z9p-MIGJU@)9eP~c;O)TyX9X?@ybSrw-pcpkM<3OZB5 z<5~cs5XEUI-4$z<5T=6I87}F$W+3CGIgZO^$#n%6|9qFq9!`eH6nGWWj7w^CdrUV5 z949H-28B^bK}M131j~JX`+qAf)5%-j%L=+tqn1ZJdlvvZm<1Yamwx*j6RL?QJ9R@s)KDDRT?jeHpzWoy7u>dC?A_gheLc;=hn ztgq=5m(NLH^SDDRPVfXe0MML#KF=`{PfH3wg zx!5$xTkuaby8i`G4VWHw4}B`m}MnFi%`i>qQeVT-NVOWo@lZ)=lawPi|amlSgwM zJK>fitc$dAIh$t~IwBcME$ZfT_Wc@u6SiB;&u5d{#dOBsjJ+9O!<&{m0J1 z_IoMd#nt$7UKpOSO<%M&I2E7oZYKDJ@{dJJT)m07r^hdjkM=;^gZ&|KwW^hE!UNu+@AHmlXc`Y{d^@?v z9yrKraF510PRn=Y`SkjF40do)T`k6J4YO*zsL)6LU0$(-|zPgxv`BK}- zw{m_po_~KW@5=Ax-{p_;XZfENbaoTycD7%A*!@V**_Fs?pMcXQJ`r$H3<9^)lEiN! z$=mG@M>}sw62IC8WE~*Ad?HDL9F_zO0M&n*9G+BL&F7@o?=3Mm3T&slyGO771Tl|> zOx=ju)Wt7pZ0XxB-V@q#Q^#EJ3e5c=<%7dXW`FhXDgI@_pcM%qFrH7ZrZ-FHsB=hl zeSyYa-SEe^yYUsE3Et33E|=xk^6SsruaH9~<-ZW>71;*=_=Gm59&ej`>h|hx4vzKh zZn~&0&aP-y{lF9HiMyPyt|!beXRi6=M>}{o&e_XkVWU|7djG}8J+$j1J7CtezO{HL z@qdf8^c{xvJqB12O%(A*OQwwi_S^lVzuvq?nFd@{)lo+(^&~dzH?iS%J@XbTnpDrU ziFIUx%`P~`rLv_XaBGb3wN@CGe4Sy}1H_8pKKODY1*dd(5Loi42R7W9wZyo#^;AL?0 zBQQXTDCYIrw7C@cmd?X>07x5-jY9Rw!OPRb(|;TsKR*~SyHGqcPUCN?=#OJ`4u{I& zuvR>L4RBA8o`W;Z+8(q~}3w)qlnfWpO%} zqxDoAcAVFzPU*x(pfDV#qfPxjsW?bB4NiI30dWm!BLT zblk*^HGOXE=G=6zSUTLeo`1Sbj*e0dIxF~boAcATx9G4Fy6iZgvEv$DS>5NxZ_Z8U z?xD?1=-ILpEz=1NII_=9c!aXrcLW`FdX{Wksxl2Xw$Dx6oSXImw!=)%jIlV$xDk!2 z`fkO)3fWLqt)pj$o1PgPF~m(j>c~e#!S+e6!%cXAo5snV?{lLbfqzZsT+`+!_Uu>; zg=EoZ=Mf>fQ|foP=?CPHv11yiva!$2BjRzVRPS(O?!(45cH{a1M?NAPcdO|RH}3xI zsbs^C>htr6aNManJM4tD*|94O`4REBTlKa1!Jp7~7}6O(S?=ryK>3Jp+%4R?-1ICt z=Ef7VptC|*D*`h9Oigc&ztg+JBDVP%X8nWl*OQBR@ri#ysQ5>Mihp*e`KN@MpA60a zd=GIoNSuGGXdk2y>J=G&nXmH!wChIX)mfMK(1wL_gV+(ioQ^E)md zzRx*u?r=p!{y~~b;)&E(5fFh$OlKoxf{cNsxAugqh3eluRXcC8eDg84|Ty{)V9HnoL@~LCa{Vn_U zmt*11@ovbmwB~r9b*w}jt2d6%3CH>e$JTefJVVN`I|Vm8D9C?;?K!>*Wo~4bpp^+4 P3o|x1I0_{tMNdWw!wIyK diff --git a/papers/coloring_nested_tire_graphs/paper.tex b/papers/coloring_nested_tire_graphs/paper.tex index 1a63966..03a9ef6 100644 --- a/papers/coloring_nested_tire_graphs/paper.tex +++ b/papers/coloring_nested_tire_graphs/paper.tex @@ -487,25 +487,71 @@ boundary cycle (the link of $v_0$); the corresponding tire graph has degenerate outer boundary $\{v_0\}$. \end{remark} -\begin{proposition}[Tait correspondence on the partial tire dual] -\label{prop:tait-tire} -The number of non-equivalent proper $4$-vertex-colorings of a tire -graph $T$ (modulo permutation of the four colors) equals the number -of non-equivalent proper $3$-edge-colorings of its partial tire dual -$D(T)$ (modulo permutation of the three colors). +\begin{definition}[Complete tire dual] +\label{def:complete-tire-dual} +The \emph{complete tire dual} $D^{\ast}(T)$ of a tire graph $T$ is +obtained from the partial tire dual $D(T)$ by quotienting its +leaves into non-annular-face vertices: +\begin{itemize} + \item Replace the $n$ outer leaves $\{\ell_e^{\mathrm{out}} : + e \in E(B_{\mathrm{out}})\}$ by a single \emph{outer-face + vertex} $v_{\mathrm{out}}$ of degree $n$. Each former leaf + edge $\{d_f, \ell_e^{\mathrm{out}}\}$ becomes an edge + $\{d_f, v_{\mathrm{out}}\}$ of $D^{\ast}(T)$. + \item For each bounded face $F$ of $O$ interior to $B_{\mathrm{in}}$, + replace the $|F|$ inner leaves whose edges lie on $\partial F$ + by a single \emph{inner-face vertex} $v_F$ of degree $|F|$, + in the same way. +\end{itemize} +Equivalently, $D^{\ast}(T)$ is the planar dual of $T$: one dual +vertex per face of $T$ (annular triangle, outer face, or bounded +interior face of $O$), one dual edge per edge of $T$. +\end{definition} + +\begin{proposition}[Tait correspondence on the complete tire dual] +\label{prop:tait-tire-complete} +Let $T$ be a tire graph. Then the number of non-equivalent proper +$4$-vertex-colorings of $T$ (modulo permutation of the four colors) +equals the number of non-equivalent \emph{Tait colorings} of +$D^{\ast}(T)$ (modulo permutation of the three nonzero elements of +$\mathbb{Z}_2 \times \mathbb{Z}_2$), where a Tait coloring is an +edge-labelling by the three nonzero elements of +$\mathbb{Z}_2 \times \mathbb{Z}_2$ such that at every vertex of +$D^{\ast}(T)$ the XOR of incident labels vanishes. \end{proposition} \begin{remark} -\label{rem:tait} -Proposition~\ref{prop:tait-tire} is the tire-graph analogue of Tait's -classical correspondence~\cite{Tait1880}: identifying the four colors -with the elements of $\mathbb{Z}_2 \times \mathbb{Z}_2$, the XOR of -the two endpoint colors of an edge of $T$ lies in the three nonzero -elements of $\mathbb{Z}_2 \times \mathbb{Z}_2$ and assigns a proper -$3$-edge-coloring to the corresponding edge of $D(T)$. The annular -triangles of $T$, encoded as the degree-$3$ vertices $d_f$ of $D(T)$, -contribute the requirement that each $d_f$'s three incident edges -carry three distinct colors. +\label{rem:tait-construction} +The correspondence is the classical Tait XOR map~\cite{Tait1880}: +identifying the four colors with $\mathbb{Z}_2 \times \mathbb{Z}_2$, +each edge of $T$ receives the XOR of its endpoint colors, which is +nonzero and so a Tait color. At any degree-$3$ vertex $d_f$ of +$D^{\ast}(T)$ (an annular triangle of $T$), the XOR-to-$0$ condition +forces the three incident edge colors to be distinct, recovering +proper $3$-edge-coloring at $d_f$. At the higher-degree dual +vertices $v_{\mathrm{out}}$ (degree $n$) and $v_F$ (degree $|F|$), +the XOR-to-$0$ condition is the non-trivial non-annular consistency +constraint absent from the partial tire dual $D(T)$. +\end{remark} + +\begin{remark} +\label{rem:tait-octahedron} +For the octahedron viewed as a tire graph with $n = m = 3$, +$O = C_3$ (no chords), and the spoke-only annular triangulation, +$D^{\ast}(T)$ is the cube $Q_3$: the six $d_f$ vertices form a +$6$-cycle, $v_{\mathrm{out}}$ is connected to the three O-move +$d_f$'s and $v_{\mathrm{in}}$ to the three I-move $d_f$'s, giving a +$3$-regular bipartite graph on $8$ vertices. The octahedron has +$96$ proper $4$-vertex-colorings, hence $96 / 24 = 4$ equivalence +classes modulo $S_4$; the cube has $24$ Tait colorings ($= 96 / 4$ +by Tait), hence $24 / 6 = 4$ equivalence classes modulo $S_3$. The +counts match, illustrating +Proposition~\ref{prop:tait-tire-complete}. In contrast, the partial +tire dual $D(T) \cong C_6 \circ K_1$ has $2^6 + 2 = 66$ proper +$3$-edge-colorings, i.e.\ $11$ classes modulo $S_3$, exceeding the +four vertex-coloring classes of $T$; the excess is precisely the +edge-colorings of $D(T)$ that violate the non-annular +XOR-to-$0$ constraints captured only in $D^{\ast}(T)$. \end{remark} \begin{thebibliography}{9}