From 3915611d8a05d55a0d89bc7c45c30cc0921bf71f Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Thu, 3 Sep 2020 14:52:56 +0200 Subject: [PATCH] New upstream version 4.11.1 --- Changes | 13 ++++++++++++ VERSION | 2 +- boot/ocamlc | Bin 2754804 -> 2754789 bytes boot/ocamllex | Bin 340174 -> 340174 bytes configure | 28 ++++++++++++------------- ocaml-variants.opam | 6 +++--- testsuite/tests/typing-misc/labels.ml | 29 ++++++++++++++++++++++++++ testsuite/tests/typing-poly/poly.ml | 24 +++++++++++++++++++++ typing/ctype.ml | 3 +-- typing/typecore.ml | 4 +++- 10 files changed, 88 insertions(+), 21 deletions(-) diff --git a/Changes b/Changes index f4354afe..62e58bd5 100644 --- a/Changes +++ b/Changes @@ -1,3 +1,16 @@ +OCaml 4.11.1 (31 August 2020) +----------------------------- + +### Bug fixes: + +- #9856, #9857: Prevent polymorphic type annotations from generalizing + weak polymorphic variables. + (Leo White, review by Jacques Garrigue) + +- #9859, #9862: Remove an erroneous assertion when inferred function types + appear in the right hand side of an explicit :> coercion + (Florian Angeletti, review by Thomas Refis) + OCaml 4.11.0 (19 August 2020) --------------------------- diff --git a/VERSION b/VERSION index eeef3d9a..ec07a3e6 100644 --- a/VERSION +++ b/VERSION @@ -1,4 +1,4 @@ -4.11.0 +4.11.1 # The version string is the first line of this file. # It must be in the format described in stdlib/sys.mli diff --git a/boot/ocamlc b/boot/ocamlc index 13606009a5b305f49f9d11b4eba631faa4444874..8a4f068132adbf6c76a92709729a7d7e43b7694a 100755 GIT binary patch delta 64280 zcmaHU3tUvy_P=|W(Ls64aL$}L50pVLFfqYLVq!vCT53UBSz^Ie%Ssbc%Tf!|ZdRHg z%EHvb)HI)v=F!rE($cOL^t951)UwiovaY4Z|GV}KruW|8-%ryyXP)j9kk!dkV;!|xVn@K=TVT-+z&$5$7XWE+Y-Z)uEM(1foeRjTjhcZz5_wJgS> zq0h&7N>iseMQifD*Vd2Xh9BB0R1xQJijkC6DXkdgq}=|foShQuq@8PGR64gTCW4Ay zh*>MzP|j6`Wewu)*^jxaFosf1=Y)T@#b+6a%TSDxgsPJ*Jz^y?|~48`@)>@A;fmzCI>X1VZl* zXc2T~eatcOF4ZlG@l*XfZJhR*4KbfYiuddTug8#2?3F{Xi)v#=xM^%{j83UPS`qe{ zgE0Yzc;7a@ig`Fj{EJFX#WYj#shEIW`BTh^HjV?4^!0Bs9Vy$^RlD~0n7nr413S&3 zj1uBQdw!TwDnzXv?@}f^L|w4&%DZFSRPnDECl%Z-oD`UX|5dk9YQ;x(iCcNgDL%Gy zB9&+%KC$zolrCZ7Q$l%yUFlV3XyP*-fmL={jN8smR&xYQixSgclffv<-gwrm#Q<>nP5qILbC>_wK z-ljY4b9u^Er#Na?jZHA zTp-W>iib`tRJMzsX+^2BR5V^_N4E=fdvJ(pu1nXQeW&wc|8~|7Dm)6|X4gXznXY z1g%}Cq|&l=xI5S;%tHs)DJgbfy)xDz{;;3is03Nq`;*ctmHq%oVWm<^sg>yJbasM= z0#(5KKWJ7JUY1i$l`;qb41X1kji)}ZDvyg@wBuC_;Bz|vs&bEO-z@Gp$Bm9>Y*AE~ zcmiEf)AlwP$o#fWst^R2+!X?)7;$U+2-c8_|?s8ZtgX|xw-hc=H{CgG&gUuJMZG}pSRQA zRC+r)sVMucxVibxh0V=*OPZV4-raikc z`STRNM;Y!KTgAZ3x+&aG#e0;sKt`W;mCd3TegCfVo%qJCdrz?(6xgFc^6XP01f9hH zZO^}yVwY$|D{7U=LQunDC4oFw>0qw0?LERl-g;*9_gjM(k2vkQb;@3+H!P}Et7HJw zfnP8DoRt5WGF-Umwa=6zko${2R|bT)X{khYpM$|Be5Sa`^F+L}?4S}5;dcB%#TKG1 z)ooQRI{gJWtsSlSQt?x5E{oYOl}r)A1!EkMQS_LnbqDfvi*}1Bs`^T?Xz*7`rX%{| z7ao3bzwnax8zqVIu8aoPA5q*QhH?&p&J?OUr1TalKP6E8?RcGfSjiSXnsr#YOK3dt z$zTK2>P9=i26%KT`C92s#a}BaWrr0fo%tGMW0LoX;_qx>Zqbp=W^ z;&-mOxtYt`Q_c~kM|cOk=Epdie?;jEvXp~Joe>KtXK3!oi$95Hhz}x9y%M0zH=Le@ z!<;m)UP%!NJVAh`9&p@Vuf$U9HzJ~}0VC~1Sq(r^RYZX)a_33Klv29(NbX~Tw{AXs7X#SfT=^F?4BMcWp`9l z#Xx&jM|HYGTubK@)lqaVQ4NGgV4%#FgKPlpM7Do#>8;(9LVCT^g* zBz1roLcU}*K@63(p!wBU%!np-2B=!mtP~ZLbuZ|@;_-mfuJ5c?FnUq^uoy;vqyWq} zQhZl+i@1qV6h|-tBFe5%D^O|06>1NWO*QGNLMN_Jr=VzbH}!Lo!;|n+!4?=?o+6K% za#Oj!eLhu%4857U_C`CNM*-vdbibQYyQ`_>><$bUbXR+d5j5*cwJ+6oS5;cYrJ22O zm-%IshbkJt8>eMi4>eERMk{)#AH(R(?~W17?WyL`l%Dt?L+Vc1emPji(@PD|34Vc= zGAOl|nn^o*!6u#23mu>7rRridd9PIc;!bWUfvP)uVSctTAf~QV1L7_o&}5Mpd>I^w z4YoObWw5UqP=IN@@Lk0x4ma&>aKx6StBJIoN6|A~O{c_k+|{P5ZrV8z+*O>8ZYQLx zI&HW-Qm01TiMv^3#05F`o*-MNCPl_Vi%J&vBt<%DY#+2$d_%OGR`pS1?fO3Ienw=? z*P5SVmpUV;wy)}Bv{YzHX}}0j@$&$2Ly zjR3zmsAe2Sk$1Z~#q|)%pfg&xhc=w9dhCch)ZJm?VX7Og9(7EMD!rmsD=p~kTvK}| ztdv%E-57ODSU8Idwu(BI<~;5%tu&p~*vA0p{GzCK!9A+SB_6S7O;Fc3#iMrTLUn*c zOt&XaR@;S%87!IrfNNb&yZ9k>gG0=uevbg`kI}?O)c)desV7~`)kQ&+H*Si8yYdJy zI*YuOV3^v&@#t>~%*^CRLHthynXDf2TFeeg^hQ=4nM)!dz@G-@8wa{#DffLCr;Tq% zMesBSiaB)4bhQVK;3=0+SF77N{uxDAZ-me;n60L`Xyk0X*f3X}AjDiUo>3Qwr&)pe zsrni9q5Y^89vZm- z*jT{y;kSzys6(CM#Q-Q98iGD8RfkjhB6XQ4vp-#=zUUHUPkmnfFbZggFtY5tSJY!+ zu5x?;jo%?gp~f=drWs?PsU~bx=Q)fec*R)$QQ&|0XX3|7`FRH4O0kqtYf)__#NRSX zt5V~{a>}VfQR70>EnWx~y~sszlwAcuv7t(Jcji_v54H3X?k(K2rntC#CCW`I=^pJ5 zcjFZ!ag}UGtPb{&ni36Dc_cVD`&A&}<%^hl(W`1KTp^S$p~4Iu`hN>cyDe&>i@Rt` zv)VWZ_wiYJ7s_tuh@cT$)f5!W+6qa(mI2>|R&7;RQRcrBbg@zL zB-OtcbgJk_3ftI)J%sQK^&YfpIL zG<~QJG*NZt_v&r3>P?h3I!>X06LkwlL1pg$D$HH>10VsR_5<`ADzh{skLL7Hss?j- z?T>1aQ*5(4H>#FP*g>-+HPzv?^L}H+xSeMHjzGK2}8={A|sO~KIzaRnnuKFxk zX4P4s`Q#H&j>R{@tT}yF{X{mR(4lkcNTVk7eT%ApJM`R+vKF>c#5;EWdG)3+`9+dz zH@~F1EJb;((KiL9_Bf|+kPv(9jV|9?VYI>JgS`{(OQZ?mz6e?s?yGd{jiRqbj7AgM z`U*lFH@5X<0AN`aS{zmWBLD-WozLmrhsK$$7z#|;@6)(;z5y-u3f4POudUCC@J3xb z-+Hm1W=8ldall>@;XC3GA8=^`rA}<^v@4>0uyj7OYrMWVL^h})#3f68-;(gJv3v@iKDB%axOiXCm9i17bvn5e zRGu2^YXluoe8A_&rB6V9_*=l&4NtJR5#NaS4G!UbS-dZzrMNyyhYpVSjhFmoQBzmp zFRg~cF8WRfX-|d?Gq$6z7$o*vM_(7_ulPjYQe1W=0zeo>C*N1Noa*Fj=BKy(J?ub| z4>6!t_Tpq;f8qE6cKsm-?E21VMf_;b?BaVTO`No|M*Cj8UYw$amwlrk$7;TXQ8QwV z@1XdJx~}#0KvX4vt#7(mVjo_Mju2f*Tj%Rbsq1_?Wv&N#&s*mkD}JG-b-v!z7%I&Z zr)kA{Ul%W;!Jzz&4zKt1MK{I<-zeAbcoj{vdcw|_x53v_{F`b}EY48-jlQQS zcB5|w1vdF&!~aCRpt9<<$(LY{-{jjZ;G3f|43tVx!C!oD*_D+(r!%}6wV7{5P+Fs^ zl-5VMDPwPxZZ~fAx!LIYW1FuVtYPZ>rtcnc$}V}+XFK4Ir!CO@c3zDyTZk~b>TTb@ z9FAtV!Fzmn;A(%l$EOL1o~CzwKl1a}@A*vOa)Rt5sHuM&KdJkCs*AgZC-ZR_#p(TrGyK@ii zo;JcmC0A*8A!yKam9`$Cg5`a+n-D5E)mQ87QZXJcWqpReizh~UDDTr4r;jOxbvVo2 z0r)Y$`e*J?Mh?#a4A8z5ZU(3OjtMj=ePY=~Cj7N*^Agl4rCRtO+3yPRvL-Jyli z$U8LME*`C=y5t~4Xk6`s{p3A>0CnS97^8>A;;v$h=5|RrMm7J?hEVPp%_HI{?K3Tb zipOZlG+~SukcMVF<@^LLD_-mcps$26HLnLOl%n6mTGN}uqgqq$n?I>-AIScM)yrzWcO)NZG&;~Qm6f7)G3&(Wg@InHCg)(!IYfg{v@iN zqUpvBm@WGij1B&Wz_TQRA=ESlBOi*_?Wl%hOsP|~R0L2UADYFDcK$#*N==3svGNpD0vo0l?4dxHpAqspQp`ng`thM)btKi+>H6! zT=^cc;Ggjv`yAv2Hvo(yD0Ns0|CBg zA(*QlkAQ7I4H1*#Tk*fjU*jNx@6fR{=tOK~*)nYzn(wn*Yr}R7Y|_5C)a`=^D6W7+ zYGuQ&2WPjkYgTB|&M(Z?p_W$iJ4#y#l5Ry^S8D^P{%I^82G;55VkOuC4uSAncKu2% z5nqRD+Ne25gy#cF3Dea(*L-j$dSv_bL}~w@G75PP#nR z$Fb&_+8L%>!6t1#O8afr?C`OeVhkG7sARGQzo=4c6o|1@K_T7ElZ1rb=)wYQl@{x` zCz`$<8mrmGRZMZ?dH6@T^(`975o&0sBYxaoi%0^Rw?f+duQ9+`PeydN_Bo)pa;r86 zm0*b~_TbmFo(#wMx1hl*w`p^6-^T`W?+sE_fvufD(e2y8Gq5wa%jO%lw_w;$fgRc+ zym@Vh#(w1gt^n1%I)HHZa|lV+zpWwUz6naKw$Z?{?;8?m`9}>lr?cMB0ATy}H?;Sp z0sWT7CimgDwCT9qUahUcMbv=!Tam9udr_jBQI$Zm@;WGXZHxn?~9iH0^f?zcqe=;7$=Gf?c*@Aw2s8(3F>h70`%14C@fHcvc{2;u#9=2-x9n z%JaaxC|ZWFT>ZO}lEED?f!_lPTiNk@wMqP8$v$W;$tf4G;Av#J-2@lc^S-u$EA9H1 zhA0Wmde=;X8?KGL)X%-2vOWZmCj`v{PZxw9i$2ucomg)(WwUeCqPO|E#jlwN+6sn2 zX!nQU!v}%{RexmyCj6n6EVVTg3Y+16{8*m_^;lZ17U!LW@42l@iW9$HrG=pS$1n$LSD6uX>|-Eu z3FU0I{FL$uv`OfGXgx4rkQnJi&4D#(-6Pc@HJWDH>L zy@(*lb>m^ zH28B(y`z<7dQE_PWBD#pyz1yHxTO!m@F(hI4d^7&O8de;3$Uro1duBjAL54C}Hsk|Kzwf zR5Er45B~{@Yl#h3K)mO9He{fS5?e#U{)~w%rNTlK6g1+q%qQZ5J`NSU$BRov$gc6= z1%jdN8$l||FVxk2FMzgsVvJ0XJYI(1i);g8ZKM(EtAe~u+HA*)XnM0(YmF+^)>yS~ z(p2N6|M-yEhd*9P4Ncl0$Es-RaCxLjsl5^R8u|-5U(KEwV!61d)Otj&t2e;o^VA{< zr}!6;&dXHw3#{=q7pfH@x>@)ug#RnS@dhXRtET$a{YT&2?|L3|7b-Z7<`4d=rIZvq zDf2YMzvnbqLKY7^4M(O(2fQm#OKg@_8C8GO8ltz3!+FD%bkeh6M5O)(yOc^<0Pd4u!!fK zfzIC&Y_ax?Hpj6wn*JIT-I1pKp%v4JKY;SoKY_<>TqS`Hy$lz*=ub^|*_f+Ebutc? zf%TQ`EC8i<6hY^1X&+0C%K^sSe}X+d$&nGR*Jb^zp0MvS&!RAy|ChPeiYU$YB8_M& zukxIQKtyEWtTqZk&AM|ifF_&+*oL0drcvWLEnU=5&Ux6z$>+5b)VSH@L^eggzqBwR z_EA=|_LX>laeM#A;$Pse*$4wlqnX!wzyL70m}Qqc{7K>f?Q!^TqTLSYw%D~D+>{dL zk03S7ui8Vy{GJ#}=i36Gf1nG&K^V?SAZVzddegs?wwnHs2CYo-MwDjO!k)1F`^Cqy zyVA^hr@c4Ue<&b6!6@+IFb_bn4hd}M`uR`Ls($#o;xhm-bqQ!-*yeDH60x&_YY_)+yurU$IKGN5ePLxsD!2l+a6u(N zkUIy9GzACSVEJp9-x=mO1X{>#t=TEr{=_hG*akp9593@anA&#cZAfHu90^vT8Ke9I zfrXk;{sFFf^dCVbeb}_m^~aJk7jw(b^{0q$XlAZ|5)!0N<@&ohkRa9mE`M)9v3H?X zL7so8@YuWZ{L{l6-(vpnI!*F?2~#aMGctnezd(}Qgt7jE;ye4=asHnj$eO}>IUaqaBJfC!_xZDF|9xl?2~@CY?)T?%78M70IPZxL-S1DPo%j1=?Z5;-QdFE1 z@MZNLg!wZ|;a=oT1ZWWQ3&M1gKhgEG1ZT|;4#l1^$&cmA#$ao;5Bs6!3;hGByb!%* zKj>dZJs6@uztP4i{*~f)J7=nYjDw?mJSwzPL|Y$5 zrMzz-lp0?~XkkVpL}leve}Ho{Hcazl?V5%?;e+S~T51&Cv|#&G6rdZ${4mq36y3q3@jG&!i2wvm<8uWoU2oV}7LdIqkY4|9TFv zkgWO|5N=l{$kqu4DQ&Rw2Pnh zBatnftHzbqj*KAZeE$eKIM0vNv-$oRY{;G}_8*~<^Zfz)WQqTD8$`|;miU(nM9y;B z>y}-<)L$=WotjEv8Afs|2!5W>z_v=OX>vS zEL)1F#u;qgKkRpcnDW>7H?!VG6!M4zj()=(1}$g+lLHd6?M4Fmtg0xx80(Sd=$SMpl@Z1J$~emXm-DM{UjnU{?u!v424r;sGl@^G_DBw(oQQJr2>HW`5xxC1UA|FSwM3 zed%8i-hqdRZm~f5r9Z)Tf8{^ZM#S6Vs9$j)EXDw*ykSUy%sB2($M~g_d+sj;qz@ej zeM9$m(*0%M@~s{DE!rjZIP(fGI4%3mKOSq#SUFNiKjp{Ti+#%}|5vSXO*`%1;&3E- z=*#Wi4pjV_4?^MJ{*geWeea+C{w_x+kIVtItDF5J9moeV9D09=rmHd7OVMP{b?8o( z!t-0}Nyr((*g^KK^(o=Wm>j#91*Q3YEy}yOwG-2>iP5dnOrO)9*G8`v2)_*r*Wtd~ z2g3C@2hxmAwbKVlJ7@xB4Ua;uOav@p(0YXa7J_u`BlRDBT|(_HY>me8FGw;_0+yW~ zrBCB{TvfE*8((o5DyaC>xi;v`+w->P`ZZo`^-y+;RC#@ZMYEH{LdG>~eMPY(zh z>(gVAc%$bAy)B*MKMp8%s;R6nBXZ@@nBV@CxXL}v8|7%2@3)<^NtwkC& zCFpVJ(VM6%az1xa{H;#K&PdcVnGz)?Ww;{ZE5peN zQ6s5jb*!Hzz!XEm(#)RdV@6LsmbUjqBg=5tnrjd6P*nd&4Z0MG-vi0jOOLz6Z@3mo zF_`OhJTN3Dl|qBaY>8>T^vsUzC2-O=v-AM`m_)ct;L2=2$U|RuiR^&v99=~qF7ir! zIz?QGAkK;I2oWJQ21~+!DXNSmvx~%DP)i#vF4GMjdb2}x2RY**!BNQU8Fz0zm*kSX z=RJ7F<-PTJ2+d)X@FtOG(>@zu;I>i$mkzi-j$g~TawtC?le+ou>NF=^Uq+dIbPp1d za{BOkd>?%%70+pp7*}h>DFe(cL*%KAB5@4>lDax7mI7Dlu{Y$RKYlSfbiFgwKL_PF z`jdbk!|6ZgcUP!>Ug(++gj8A`JE7`-)%{1P&X~}3EFHK??=9C)q0^*PPQjJGy%?tvRM*pEd8dY|JQTV< z%n+Q6xgfb?Q24Y^=_6E_rN_lTibqCR%Q$c=hdn)14Izmvy<7ZDJYGE9mTHfMsy)ub zebHMKdYl!yK0#I2=smo%LyvPp*C)9+f%E~o$NSGv*;AqG+~B+10eXt}=}_4-q3g4Z z9E3mz=p!8SJi&#Xz(75s{rpgc=R(&7p=&X&L7-F7j99l6CoPaJVPV%zETk&Flv2Y$ z9eLdpf2}^mvDiaD6}9gm%4q(zkZXiySg-M?EUC&v%_9WUM^7rdPFF8`{y(ZL#WTb7 zI!CKkkKoEUT;`!0FN?mM3N%>!fe&EV6a}z~JLNji-SQw4H~tD2;*cv0!R5}8oJ52U zEW7qP9mdRy)M>Du;HdD>Ut7XV#|m&K8`VXF^;q!|EguYNy^{6~23xJ7 zj=x?X$a;WR>1&U|C#k(&Po-mnA$vVH=riCF&%Z&xM-nZ^H&`-o)U3rYTElSiBLc>5 zN*CDf8FS#BXAIE?OD%UjW&MS)bj1*TE=a8NP^c-EyD{WF*VZo=kJd`8*+oP30@i~~ z!$6GCPDd=I>~^>?MK|g)E9gf3V-!!kNxuu1i-R#uH?h4yh{v;{t68Uaqutq1V&xQ> zgUOat=Nx?!E_D-h1r;{t=s)7A=}kkS4L8F&Xk~XA4kasIvGYghAMy~=ZbgfiQPr&| zzKl-Y3QotOq3q6g>YsD|ycnyKYXdq+rkV+Gt}4gs z)2Mtb(j|J1gOJ%ogrq zC7`VhWktafMU)q-6bG?ADsYc}>~H88H~VX@+V#KRhM zeD3fIuj~Wk^*4m;GIZr6@8b$WL-&DpCG19FN|E>L_u~?5z(xbe0uACthPB(E^?1ta z?NPQ()RAiX8Xb5*_lI+H{0|Ep4GyJj5+=Egx=w;rg{?D5_e(MxNLh243Mc8~Q5=e` zuXqo^(9EVNkG-fsAL>B%Rl|e&5Cku}P6p^;+D_JIGrmtv(Ffp?HWhe+=Y@-GQ!C9{ z=%+bT^~~TSHI0i&qQQ zhjTRp(?cx~s6s{Ck%AlX8N68MV{CB0X@@@n?ZRSKD#5r&b1F9cnHn16VeF^U>CR@uXlky%k7#sL6^AhsMePX z+W$JBnf)7pUr~;H$>O*5ov1qO9neKN6~3cy=E3X+5=Okucx3Ku`~Z14wXKoKGG(_^ zq&s%&H#zFz3mlEPng;LDb6pJpA@&))!9Lt>%-C~zN09d(csQ%}==!#I^|=lg`^Mml zPZ2S#*bBoIYrlK-H6g*1h5eK$f!1RcCt0L89)wxc21>VJ5%wZB?$fiGqO9Hg@23ASQ$8|=@UqjGiUV}>Tpe)sIq1&*3SM^ zU*w295vsyMISg@r;P-oqKL}kDIHg$jDb$$SG3I3o$@69hkq^J2GH=VkwAffQ4K-S z5HS2qk0`Us1W+E^(FpDvxQ3ecL|}tLMos3DiZ0uy5mEXirT7RTdXOE8o)!K(IGq8^i@+{eS3i*XH5)ep? z!It1;qks*Ch79abo^ypE@t@YyfB}q60(N7n0nGnK;oUKQcXw#0^zOzygdt^&BJVv= zPJMR+Ne^`48!GQ%lm`o*#RZFK3f1;Bn0GK^I7ih;rbxX4(I;mwgJrX?m+>o)tz|9y zBe|rV*4vmJYy}2oZzKKhNg;=36gDKJrw5_b(lLX!@G9eeZt8GfgK4~F$vea7fyBt` zGYn$zX8>NfcD>rL!Vp%wKFb&s+$7Z%C}UN|#PJ8MxW;G}f7&Ys82@%)4~YRzz0P2} zz!+q(hA$asGCKwPutyIvzJiFp&WNSd*Rc*X@_OS?_<7I+`{D-GoP+U|eS64df^?onX;U1C#@}dgpz6~bfwz{3WsTwDFI(JfOc$b=5erIN0t<1~a0Agj zY8d{Xji9j82!qY#S@W=HnHh@(rQ+xHWXjBsciJaLfI#qW>aBn)jH_G!`*T~|X7rbW z=JsIv!uLinnsqPLEa?EFP@J>(+WN5yTP_zDX)ote*cNICgNT(EK0 z{GobP`EvLxGBMHmd?OaaI-hSuGXX`8F~S^_oDa&7+qqN5h1j?&6*>@!$`Dvu$Qx&5 z3m0~G8!O!iix)lshoSz)IIP(`fGiH|tZ^fSG3|N7qS)9dM9UvAjsYnzOF} zm})qRE*ua`Xarh=KqP!#Q&X(Y)GWo(}6PAYMB#A8M+)6C(=K~`Zj zx(I9>MroyWfX_# zb0Afn2a$v#p>2cYhhp4hGs2}fQ?pW zoC$qTMXL~a=zrB))HTn7)l%s&(!3;R@36uG&WCe?d#Z{&s4^1m1%0eQw&r6cn@?Vm|Vd_f;o1d?} zWCT;pB%J~x7dsr_ke7^ygRMe6ydyb%@k+@w2UbGewxZ)Jr37U_+W^#fK?7G9dfCgy zX-SM2cPpe8zYYTNtdV+k#TtXhd0>qZbmTH9YmTmLTWjnNdIB+2*cM^M%!i?hYj;2x zHLf=j@qurH@i?7W4N$@*1F$v#&!EN)kg}oa+QT*)SbzpyZ8H3w8ROl!cl=rc!d#}| znYGd1Mnp&?t==RRe$ysqU>uErAvZ>1i)7wrqf&H$70uj0EV0Ud3Ak-fm9a=5ms;Xr z=c~qPyaW_VabXLD^0peszz^5H23}$=+9t1(BB|I0{RiwO8-sVmd+E6bL!;asXb_TO zhw&bgtMLxozg{;|L?WGkT|%5;%%5W8*c-+K(TR4wVcbMJ-!QOtzSG!^)trW%%*Ql; z7jTkHzBm8=EbmRD0B`Evl(HE1JFD8z#N*!z$tDQcu}~A)Z?WLFN52(>W_~p)OXYxI z??}*TU>HYJs!=IeT3VeA9<4T#(c~Z1#%;Ld)JU?q)bwbok@RQ0EscnNZyV44trmWJ z+vssgPSBW3P?YtKB-UB)a0~V;?-*EpYDN3@Nb)|v2Lg&wJDfycho8p2D@j9ch28M3 z)IriJuYK1*K#8t@4@2w>SIp=e9BE(D_Zr!u7MiBO5tzGIwjeW1_wW6?g~q)+N!!>L zwE94NetXsXAbK>E^(|bx)D$=!ymtTv7c!4%UIccyi?4;$orBZP`rP`y+G;UmZ?l^RRwL6v=1dGUjLzCNuIj~ZxU$5jWFkT zR>Y}x`G+hrQz)y>7=w;h*IjJ$WChJa7_hLv-D)ybd?eXT4k0@d4%(rQ47UUhR&A%p zDrn*SM~46Jo=O|?k)rl7D6%Up|5%dTryoPjGDf;m&in}I2F~X#hVP6_dMT<49)YJd z@)KhUT9de`|AcKe%Ky~33jnV96g-GWN%1UxDKM@BltClcPJek0 z=n>@Lc}I-B2+T-Jq@bSd9GYKmbi*8X)q|E><_NCFI{i1GkXCfdH=xgQ+W3uRle%xD zIKl<#qcdE{OgRdD6SV3j4y4sdbRPza>zO^IS^4A ztbiPs3>#w6UB`{vWOHs158`}7aVSgbx0rS>>i4ZQIMb5N9<=>iX^hDG%$MLqR-{54 za`m+zjLlL2 zw0H}whc5V?oHhV+<40pFzPRNi*uS@z-aHYF47g6&OE6qaZzaR&ql0-LQrk3=p>Y~#tYP6_-#DQ znMPQI7&RxK4{el0fCTddDr%Ghmce<63&E@2K{lBJmT4 zSwY2N=6Kijz*YyubYX0IoaR6}6Nc!^&Y#;Lfy!wHXoM4w6;3l7$Auu`afYijI!$;9 zF5G3fOgFY}r9}h%l`d1q;;(3p`;0Ku-Rm+_No{S8z#8w0)~02TZ*49U6mXl#6yZjN zY&UjA4R)ik8E)kHj_12&ZgVKj<-2oSc7pF>!*S;h$6W^BCG%Y_-wo!w8GJXM@0Ri1 zT=|y2T`S-6-Cn*s7jEVuk$QAnOh30RhBn~~tO!-MH9a_Qp{A`l2N$BJ^%uoi<^f!fMWc4A$4sGs2d&EXVM_O;Tn}CpdCj3~wtGxb zrl7a|Ufw+xV5OvVymm5RYvs`$8`3y>r0GZ(m)fMQ}P{ueBQ zRQk|kxep+Y(16gqD9miX5A|E%70VMS(@Nh zr~8>clDWSVI{sJrBi7sk8h|p*2)2++`}r=yGzXWN7d4uUtZ7Vkgo&>L$KbqHN1~5B z3s6|g^_E%aJkzF4{VfV6tZ!6hyX2G{b`KX;%_Y`{0Oo zGFhEwb&}F%c_*_6mbU6TftO%oK;@P7g0V32GLv2G)tBKdizkInUS>u}InSH2*_~i} zH7MsJlfZhxkEyx`uvV00!k(u2Nzy^vkpvmHjlNIfE^Kr$APg_1&Mxj^uEl+y6!WZH zhYhE~q1d)tIT`yGvb&lagl(ViYOY}&aH(V_&u2&%b*7mU@TxG4q02&4D!OE9=%m1* zO*1)q_;h!Zy&E~R9^f3Tuk>JuYzIsuD1Q(fnry#?gF||nMPdil^fZ%Puj8GEM4pO( zLN8NyNDV2~G|h4&{+8L>bh_SSsPI-lWb~o5Qi@Jo9RE3zoss`kRxaHp>Kzs_8(c*-b*X#TeicSZu!q<3>nSlaU?Q*ce7>w8Hh7C0U^jt%a3@|67#;E~vY~cfe zGK>+sx3HZYVWR8I$zd2>))Hi$EW55P)~{|bv7QFF2Z;?vIXi<>hnmxIX&P$w#f5>2 z{6CYO45+Q!DD_731XkIMo6I4MGp2Wmk~UQGq$hYA3P)Dvm}BLHrTK-)IxbAO^UWC3 z1(rY@lBu~Wc&WSDT!SZ2mSry*Zbmr8JGA09iQ(h7NjP~&nk{a2-6Nsy5xrOm^DcL! z$rfV6Na$27tllnpa>?yx0-ko=F6YN14ren?4y&}}MueR2Fz5Yk9=|pUo4CvA`dsrK zd{vcez8Ah5gus!NJvKrWrNMOsxp<5+K3(f?gQ)9W=F&@iK7P$RdKl9tHQWWhHtj#| z0)@y`@0M0{yyhO>MNdJZxFlvwP5F`mJO2Y5_8t}f1K+o>;~^XmSy2^%ApaOM1*P-H z$mwz*3TWRm2D%fa*N-!ka48%oVSQ=i2uR0K>@Gwa>&KbPF2NZu*@nh*_XUF3b`O{m zZBHDJHf2UC?~~=AL=>&qA-9f&TwH(JW=kd$PcclOVh}$ivq81u1IR z6qo}XRR0}dGp`moB0D#8Y%?A1e$RPP9$(8gFLvr$L>{fNfZelFz?MvwA{F~}5=tv>aF$Im*E-(!(w+5Y2dW>8WZ~-BP&pMQvZ7B< zF(Y`?2stN&|LX#h|J!S^XFZHTJNA3&1I=@vo%$$96I%*)O$W_?fbS3>(>(sjTQE2u zeyo>1BryY=UrSSGNa0jCvqe~UqwHpkpg<De^JUbKQjj9Dd9UhG%1_WK?95 zUHQ1VlgAm1yxB{hFh3SpZj}bRj5-(3F*CVB-9Op#w~znR#7gMLtQjraJ(q>#Cp7cv zAbCC`(KquMvzy9G8@%$?1wW>#zy4@$rixt_%&2F~R4mV)e+K0BJmo*jHfvqL9hn-c z&Fd8pa5?*Ye>`jUmju+6nDtTex2ppR<3)xpxNQ8}Ba#kI<2(pR@bU?Z1%dPiGUuB! z{trsO#Hpb_=9}v;(heml9k|#+R6V5_^r7JE!~7bjB%Q^sjtM(>gB`L> zU0(x@P=zTtE2_8@`uGSfFNG_}=}xIQMl*nI;n6X{{LGf9AB}>pyBQ-67JZj=mV{+4C-8fK%Q9}ctht*m1JbVLWSUwN-IepR00!v}A zx|hOYuEK#%zX!i4SZZeQ7s+%QZ-Sp;L&`Fs;SU}?Y>r;KQ~b$5hQL^6Hj1;9zud%* zlI3QxgJLT{_SiqRiJZ3{c~P1adzfQW<7|k=_PZx!GW=sSTAF?1)fn< zv)1g=p6M(4|ES{OD&6Q%74`?^t%pr}dZn3&jS9vpv)hHNU50lI8i=Nn+uP!-u$q8M zb5~(X3e~)fud(qFLF-iz9x9z$1wHJu(^f-D)v&QUu0R!BePN>lh>DB16 zVkpkoUP8mxntq27Ly!I078!zT%@oNfJQtqZ0Q~qvlLx#2ivWPa0?K{`aQCb;*Iq(L z?L&>!uYyq7`!sinwz1U7yYJXC6F1Ulw|f3_T}>o?G_uCWoF|+z6aox)GM)<&66Q zICuw>tZne)9K(k~J51Z}gBoM8#~?|;*L>|7x?Vvwn;F^Kw>)((SNyBXeoDo?Vn zJSojC-V9^~Dbk|)6hs>LSArLi8Bm3OyHgz-`?XbOCC$6p4?lhiw#s2ApvT_-syQ+Y z(UnfyzybYeG%l384c7j$Z6MbEbYL4CicIQkn=3(`2W%7hEG=1%RolU5GF=jO`F1I8 zL#rwAJItewtQflQ-$n;J@pX=Rl-qsYFq@qrQ=qCCHf(maG+t!Ls<;|40g!(+TO4-R z8uJLB9~!ya#D=0)He%4tGWljN)Jr)X*lRwE%6!}aRdBj{!9LkLs$u!;2rrcGGe=<0 z3Hu|8t=Hl$9@6T}U{LEa0GCY{PDBq{Ix?ZDpiY|GAw#LA4ptPD4F?%>Ka&2O%mZtT zLQ>G$kIZzuybva9X%P)x++yHkQkIe)z^;;3ok zo04N@50{BRu#ZZ1!zZeL3OOb9$3P0Ol8$4LH_*i6=54ZyN@@F%j&kU@`3d8w>I5jw zJ0wK;Y-uy647JmKFgZ1l3V&p;lUDy|4woQFf%%RD5kk5-^`vx7kx&OI{VH-5mz^}- z91Hzvd3&uTxvJ)*`363idCD9@sXv&yU4P2Np-VT~8yn&LiJR=ICJ+YBB4I$VC{UoWGVa{zXYb}oEby@+LMrH4B zZ6RZL3H5VZy)Wz($C*J3AuEgBR<7fg7?}z!ZVjTPIv!btfpClE)Ua?XcuW_|yX){{ zroPR7I^06Ud|0{#-a?2{@1279s4qP zl6-P4LQq4oHeKHfDy23W!*|^dB;fR@%ml?Q_F6cv1Y``rmR4fxU*0L`{#ezTD=i@w zXv_(0LEzp96(>t&` zx&8;NuM{uAqC&wvnzJm{@3dnRERUq_%dFmLKqhGi^9^w}iG_rKlc4qOmsu%ta1N>( z?DUr|!mVo}I1Wp9P@mERT!Mcd-aZuPjcn zK9mE*i5f>C7&bhH-OAPX@j5YxN3!0y-~n+_Lg)>hOGC9_E$ptka39Hf>+dgex?2fyFjzQ!L|CPPU0}cN z)?iM6>0w!AJuFY~HYs?)?lUgBhw||jyH%JFA-0_IwA6bqJYuJoHBkOB0Z&gWB4z?; zA{qViXjw8$jG-H^bD7}}w3Jg;Psp`{OJP%{&PU|%%xBP4fnQ=(M?s7{xra8O9pwAr zuTa$Yv<~tg%h=Hyc>0RY_Xg(o_5`HU)2(xkKc~}`eXO5gt9H7|!h%1(2>ua)p;v_( zprWh5qL_f{O>^=q5n3H&p$<- zuD0%iDgETtR)TjX4%6paJS+aU-QIDvrEtpff&SKyBI_X>s!#as!mqxxxq0x$=H`#_ z>x$Fx7vVJg$u1-6RK5_4QWJ ztL;KLy`phQb}z5HY!Ez*GuK-INdsL-oQtw(UPe5&q{SggwSG-3F9YY_V9gFyn3WN4 zmD!+G_Ye!BKa@w?ILxXI!$VDu9EG^q>U)W=&cg2@;980qHfkyV7W|2X%C9vEiIwdM=QgW>}_^|63i&MztO!CG+1YL;dE*@juCUBO^ zsj=3FbaE^vxqF;76z{!v10++aDmxZVZg54(F1*`XA4WT&$tdwYYcIv#$Fku*Yb@&X z^1WSfzvaF#ZQunmbb_Tyk2bid9^Wa(AI@>8koChmR!>Z@GSNWii4yoZ6XjIzooK}w zJXK!8`qd?Rfn=L5jRRPsH5Ikuu+e3>2;(_NfOfJ7^xpP!3L)L?gQd8}P)nY*?#Et3-F<=D@}IE2 z5*U5IIoAESyfO#%rqY2qmOq>cgDr=S6#tRwk7Q$lBL)nYspNfUj|o&Ds$W54>-&R z?*ql)@$VcsMSNBXr>m4$*`$|1{L4hOBEGwjsD@*MWF-&M(kM3zsTV~Hp#{{1sI-^= z*VqOpg5a)J{4-b+pYF!ku(bv0$V+g%S0D}PFrK4vPE35`BI_o+JiiFjnMz9*TX(q_ z3~tJK2KKV2EF@ps(u%{7SE*$do6h-Va<)xn){EjPDj{jQATEf!Rk8+3Y`X!pc=CEx z{GE_;>kRBeMD1CQW2Or2Ut*n<{W!4)&4UcRE!eHh+52Sb9fKd^ zKt{Z&L{E&Pf>R#sDO(2EA=hb{rAXMiscBxcf@A3}6r;O6%d9v_q~k)Z1&KawIc%qb ztG!O+!U;#wo?C=+?&zV{qUbF^DhV4q;?~xY(HC17; zTL5(iJa$C_Ms@|x604|?vbw3_|ENBHh4rj#2Z?6O+XK!oh2V}%oyVQf6L?0ex4#6& zn;T^M?A16lzV;x_oTz=tiv8bFyQfL4w&KcGTe&o2H86*0)N1P<$NU)Dbc3!@%F9+d zsV{>*i(a-S;O(iGLAP>OZ6wAhO^itIti}!ps ztg*Ua$(MV?k}od7V4qAOSWG!RW6DLmV@>#jt3%2_X@`JJZ14^ zscfCbzG7ui^()pKZ00On4`YvY@rzsq2wDf*Sf1n6h3ePA_CyP)BBLZ6z2&MEl(qrr zuf^Y|5i7Wb0od$`BEUTcG4|T^mPc;gWC6hSS7K0nU4^TM8j4|0oLplD&;CNOe7Bk# z=q9^qDS8>v3JZzAhd5n$GdQz)15^s4a~q(GLff=!H$zzf;u|67WKkT>QHrdDl~=UU z;`8QlSUeIQ{{fTc&_*jeel3Q;ksVfcjD%N0&urE4^Ew)~$r|EVA45O&jW+q1Big>n zO1WfQ8<0f_i%$Y+2rmD7JaJy;l#BQKZ{&gXmK?#|T}Ek%k$x;f=R6V%|Gf*JOIvBB zqrn}O5S5#`7X;%ft;85^g{?~FW(H(s4Ba_N!yi@q8QvbBNG8Xph2B;%+;01?k6w+T z=LX~4rGl>TMPdQBvR9!pLPxe`zG?-+w}kMtl~%mUuG295Ssw<uWtUyI z1%g$YVJ*s;L+e2yH0w1>k+SJhJ&nKD zca{rdv2cf1+A60~O#*Cq8eYZ8p63`Gjn?e|1w>)K4^Tfm*akGaU5ltP&*R{iKM>5} zwhz4C{|7#X`-eO`G0#C~*>W#`EcB75?38R6o7k4@lw9;q!9578+sstZ;szPsv=fvH z-*VElTJIFG+Dze&#gF%r1Mw4$v^Ugxr%G<)aw^TlL3YLKaPV0D6~x?W+mlo*KNk$$ z;+}2*C-;%J0ihwo>9xDT>_0$V_Mp=rpxiwu7Yp1TP)Mx25<18aDSB(qJY0AUI*%p@ z`(OOv_G91wvA}>iAA99#a%ZY)1$QrJosczDe=Pc={xcR5$oJU2UMVpApE8J15w!p- zb}t^l2;9%LS9D_2UQ8JbSe;nC#U`b0OIzNgz`rMCFgEN|>cm$3n>z3P2*v^reEIs6TocD860Pd%MS036avkNHA%=Y7mHK~7At2&z$qVr(qRhpg zT&PykJ~`_6WN9UibJF*T-kGq^I~UbDyifGAXn?x^d`dfgzZWJ1*q(jr-HS)YXaDaw zm^vLxaK&eWB|<+R5ffDCMo@hbj(2iigQKv911Jj_Hysq4L7sT!QMeNg9rd|aD$rcq z5iEI?s5kv{ukfq;z+vX6?W)6a0>j9E{Qq*@_PMXTeIuZwA%v+V-(z2rc?3K|4c&6Y z`z{btY|>JXqAnMY4@EdIBp`!6$>G4c_^SAARzU;T0KK62un`rQOJxS}sy&{uzl+P=?3 z$sqHbuuAamRz9$`6Tm9m1v>nscOZ{;>1i<<8%~RD;rpj0_bv?6TR>XN_My-n#V)1R zo*(pXbcAF_RQ&)Jb59b4qS-$R1cZv6=L74a(&@WgO>-@h^_wwm1 z2mw@et|(_pa+*8u(r4&L)KkPa^We)e{7d>E1@<^7BfV`&nZ zsjLG0Ggiml_O7435iU@hJ--8e_RxlAutFZ)FkB- z`=moXjnj4euv3kTP`;t27V0A4%bX~cReM;?IF!E5t(tVmiHoM1-RgdhYN>7vr^xw^ zndnw3@9dUFtEB9)yTqt-6=k!%p|uLfe@N~D{2x0jRvpjahBy`a;`Z@4^_3{03htz) zY#d`|-U-i4d7V*AgR0hHVXV?rOF_l(1a35% zr2K7|X(J;K1$=4)TI2GoUhD#GUwicn*ksw~I;oSP@?httqLr>aAaD*U%}4&3!M1Qj z*+tD~go44BExdkXG%}Kg^?;;c=l3jk@-Wt(UY{S z7n*S5M*LZKDmK2HV6EgCiX->v6Icryu0~F{wy&?6$kn+kUHx8(nTR>fTPh1boRr4l z7S37Ms%g*~nm!Qrd)3#f>(OC&kK_I;yiR>yIbi#)S9?c5w7g*@lH}i@dRWYSgZkJ- zyhzra&O};wIck!2qgn}Pi;Xv`U6s$_mq#7SDoI0C-e7JRiaLbysT?NqsTrnvA?)ln z9PDFon3@hv0lfExwfgko>H>IC{AsxQAXn)owX;L4(P331v_KppGok#eFo}N3#FZ05 zbS(@gQYp9?y^@!uriM6}jBntgw=zrJBw!B}4uqOB^L$@X;Yjr}?v9&OFO8ec_B*41 zEctOf0v%PDoy4?wyusC1c3uK)z zLxrFhcBuEM105l}jCnMWXxGhD`$(Oq2~_n{1k@JR!F(TgX%xd`)P9uSKOnbIjF7x5_>OlHU0sZ)QFOyY zYHzVC2*;ifu_$EQLu%iUE9Y|$shvq&;mKaSH1Q=e;`1p+4c>O}KhFF#Gw#@uUlTAf zQR1WA;lwfQ;VChJ*}hA^fwBc}VJh3>Lcp|#)ggazHQj_QR<3p>W!?cz)M1-iM2W`! zK=lu+avK=l&iqIj|5CeCLz~N@gvP?f8=*57l84**6V=aF`_hux>NL^*@Fw(Zxc&X- zVC2zg)agTZ#ydxq`G#Bi8^{f;^*Zo%bf1Q{R^d#3zffL8sAHPBdc9+r&T$`b-*JDP zvll<2j#XTLh};yu|EcbT(^+1iu5IN6I0!f|Jt=NS_j`=Dsu4=()4dlEEpWv}=fjZU|g^yJ6 zfh@AS*jlnVICG!eSa%#5+2vamp?SwXCxv;K<@L zEJ9Hu;^C_sHjoaW!?|a$m?u!xv+DNnDo{`%R)NwA%;DPQDhs-ES76DI@g4BMLW4~# z{FU3mmFg_VUq7_*q1OQwp85t_h;XG-b3NfrWAB-!Tb^rJvHEtT3ABN3gcz`}SuX4n_NY@RdJhIkT-j8)N6mpR(b$hM zGFm9@hq!U{%*PmYSk^vMr;Z8@!sdGQkQ3EA{2w(jGCVL)KZNB<6!!M&Ar)uX2IqmD zAA4)b{0jX!(Z2mFtbwqo#So2cf$usV!?DjdH0GE(P&7V@N+(0sPr2bO$@?{_s$L}{TYJVewU`-b1uciGpe z`y9we8kL>{VrQNM%hQeD7bwtZnySG%&;y&U>Q|u_Fys#vS9Nxmoxz^w?X(CDYP3CQ zn^POrx+f~nvMMHCz2fMm*Ibu7ddJbLaAF7JwOp4r7S3d}`0_4(cx(6$Lv+lgf#1$lc(49Ky z)?S3sS7A%d3zepoEj8SUHqaguqrKb8F$k$vC;H3hw`f`RN3Td~SOI@qCEX!~%wG-0 zC#Rj3=5Swke!v!bHOt=W)lw4RKU83AL2PtX+15_j(mmtD=}0%NBEoe8(!9Tcq_WabsxqNl*^CnE!1qShx`8X7NBA+o_WT|f zjMnD?DOPf8;KTiGTs2!Tk!|bl@uktAyEJ%W&(qSdFyijj-5IzyF?}aYw+dcu9Sjfsg2)x*u(4-!ZLlSc; z=IUCRzU0|h+|V}_$nyeE4ou#uK+1JfF}Krwkxn`>6_s8`xzj*vEsC9{S#Dl;xZ7Ul z(7wtm+(c~2pub)|5p;IzG>rCo@r9fDc}}{4lfdUhTd}d+P%l*v2GkdJ?$MPCV>o4{EAQ?Ayo$HbTR*X|~oE{^WW3 z&(Zogu8R*H(d0q?RXGPEa6QF7jm|5Wj5BGziI5J>ZxO8wrp7|eD1RK1HuDipO&AjY z*NJiiU^uwGrj6HkVMFs&(oqn*0biJ7Mb&amnHMGJ~WHp(%F4> z?K~|n)FZs&c?>86=g-Hqy^jj#qqg_cs`=Ugws~gg0a6~u(3o72b9xCO|25dW!OfE6ZhfmT4#MX2|qG^Yq{h`ti4TxOBhLn0I?>G^J&FFJ+} z6!F}A0`)x0Z^4C{6G!Kw>lVtcdqP5sWcvLJ!|BiP8>gp~C&FPv_)X+dBEKq?c|0wl zGMPtUQ8@h|eiM1jIv=(y90rmm>H(by9?)kcv|Q#fvpAf`5`GhT)SeGJ77oMxJ|d4* zGLL^#>0)iv+|?oE3)9*)AvjEH*M{IQt$iT`^M03S*NY)IOgYwt;PC8wDFlaS-^(GG znJF+5nR^jXit4bQ<(YJ+giIa3rn_$2U=(mTSeBfSI^%ND_uQ=+Y) z;H$U-eH(Qt)sEog6LWB&sTtlIg2SU!7lOm1R3Cy9Wcq9W@kuBkJWTsSaCn&Zhv4uq z{U-#6hv`%5wiJl=8D%ZiESPOwpvfg>3lC-P!aZ4LLTe`rZwoQI>Xu@reNN}_5j8Kx zd_NI@QB)eN+so3Pf%#TB`u8v=#n!W2>*M|s<;g8rO*y!XqzAE$DOv7}Dl@Bb2LOQ| zZIpxcHO(Ll))84uH31=x%8_?2!@#94!;%4cp{T?4*hk_TizN5A=W}1U47qPzrkU>V z&WHVHnbzG-dPaju-zoc+<-i%(N@Z-png~~;9(&444K_?cnzKq9OtV*E$)7c`g=(Kz zr9oWugB`O*>ktK#1o1)oR#%igdcBqxNj=tsaEKee4!o|Np{=iLs(oyuHqME=X^ zT9j4dgK?!ywxyHs(aq_(E6|AqwHb7VASc%PpH(gv)UG9p7pDiC=4we zR8!RkZpnVtpsw1&?((~agPdf0L$fv)H%`lXWllgNhWx3;I}kHL(V-*krlyU02fps7 zdSVN>LHHGJ#VfL~%pHi(k3j}i(muRj(v9RZkMS^vk;FOK5f%9lrN&WoLww z1MtapgT z`d6g(huANAfF50rpB)&W=P3|P&3F5rt8zu+L82Tdbl4F%W?UPeKs9gP%-{e z+O>KEW6wbSPKOJM*su(&8i);R$#r_A5}=Ih^;eL=$?Nq2NY!PqjswJzbi<80=Aqqq zqyCu#p5#Q&XO4z9862qs(TD5Bq3+DOJqpf-Zqln=Q1%HY%TqeoZ;sa6D9CBo7`-=b z8O^P@S?|YL->eTPzgZ8ECmmC(@@D-2yFC*aSTRmdf!i~Yji&;vd&4+=oRVr^b&I~B zh0=v;a)5?c*oSj;m~VBJU>bF~OmDI z2b!g5ECGYX{&b9GhMhZI@9Ts&BhfQVhG@$Sy$`LJfi^|m2Rs;r6Ec0TgYxf#Jb2Ip zdIP0DfSIS3HBQ1A$!~E^JN=*fOvN=AMYo}<{rT8tQ&;$#-egPoubzRlPaD>U#C?8J%>H1 z2jHR!xKIX38Yrbjp5-c}MNjEHKu~g@(s7$x787uz%uEwyfI~3joSUEKnKhET21=Dr zBdg*vF}bxRnD3aFPw9reV~L)oD5EazSlGFVG1&hMP-raedRE^EQ#1||$9cEdJSi0H z&ba%jc7>h<^RC7f`Y4Dt<=l$0hpa^7T@x_eFusA55?eD~eW)T1&VVYO<0-&@uo!v5 zf=e}l7bV8Q4*0Q1vL}8y6#G18TCV&&{dv6(?Tf9@?}Z=`w9o*wszM)uM^lCV7++R> zzD1b_A-E`bueGPF0n2bsZEKuz?uYCz*flxY4zAMIIk5XHO)tJn-J?BEf;?Dz#>$sPY!?5KD_XWL6u4IN5Q$247$QDvF;Im=(v_aoxX zje1uqc0vne3No@GnT6Sk7)&_+y#xJL{gPOSFuDjRg>&q*m&JmY@v{CPEU-ko@D*_6 zd3+yynZFl}2l*WV)f6)WG^}L34##VE$!Ud~A@ecTRj+}pQp#(XtU^J$ph};Hn}o#7 zbH1+c7wd(qtns(bcB4KCQpy<{^}(|CEUW~wzNXyEE4Vk7&6yn-p)d!Z z&kGT3;@<-ITp5c?(ko&hj5goU_d6l3yuh?YzojpMA1`?-B*=`t;VpfqOHgr(>fguV zO>wmzEvkh>y@@{D-dYW8#}HSG0gtWGI|E`q4t4>+-JDY_j;PV+g&2V0n{i8@q+qe% z>K*L#_w6RtL9s{xg-`6!C)Nzq$OjTd#(VNmNO52d@I^PcDVIRELR1) z^s@pf1t)-}hR+2@(&7*G??r_psWG1oEox2Bv132J^E*OJo7P@x%-(UzZ-M0rT9!bw--b3fPGz^4tvUfatfF} zeWq^_Bf$2}yyaom>OpcJKnKmbsI$`#fF`9Jz(CAApwCuV&U;WN+~W;osQ6qzgl+`G zg5#cZATxE20Jyg=^eGBN4q{z559>+ii{Yh#r{o-oiw!@6tmhoYq@W>4M!{7OUspVc zqt48GKs-x!K=rKhOMQqK6Wkef8zi8fuk>mZS^t&ZTLinQ@ZZpktSp2)IjsRznE55B z!mtK?6H+OSJR5DTQHSDCvR(MK{;ooO8cPxP+&bJ?&f2FcdNWnBD@^krtl-?kCep`4|qg zhKvQ+y$?nfDBkq>un{_iIa`1~NGQ56|8rbjTM!R{&!AI!zcTZtC@L8VO|nc^baYwe z1a!t;j}roH!LH@+$B}gAX{N$E-|DFuzG zz8z=4=|R1ME8f_oPmRQL_*vanM9)T2RSRFDZT_Yob%c06h4n^rT4HR>b6{@3{+t8K z;p21qh!zl(cXJto;n@x);a~V9ttf#`El6w&N^LAt7IJriwT?96U8k_yjG+GO;h3x- z(ikKP1z)MUaJ(LAK=tJbI@!WlO($9y(e{ccqn`uD)P~1C*3#I)JBbZ3Mh90jGQs(+ z5fNvfh%uJ9l*LpSXLRsAiG_ok{1l$t6^wcemxRJg?OkyO?t^)n>JxaMm0+ka3q_Zj zZH+W#iJjHfh)|qMks3b2j1;>d(dglDb7|a}zOu%-xbnW8F~y-Qw|lBacbBrlzRPDU zk8txE#D|s~q0%5_=@HjW9y^)8y*R(g{E<6gSn{moY`*?ffP6uD5 zm0}E_%oHQES2p+HTII?V<1F?`9LTpi!oq@=Q~PKqD8Bfi}5 z1Nr!+W$P%%O9^yO%ht(sw7and_eQPkVOS86*Yp4nRNceC2}=(n3Nk1Jgt9oxq17dj zM925UTh8k^88F*o;a;&3%V$ncBU`DI$;GEt7kzqwKM<%wZ<0^x!o|(m`Xzi8foG{@?HBl;0Sj$zRANNO{JC(fc|gn5F^pC9ld@RyuPLnF=jb-05}eZuXRI=Ob5hpzM&X{4|vqP zG-#+1?+zfZp7_y-dvq1Ted~fFa3y$4{FB=vIAf+B*WRr75IHLohVzC!yOsD?_UU}Vz1#~f|QF;d|!DJIw0iwS)=*Vyh*8the5401r)Cemfz zX&i!zUY9(Kl*k^MBcU6gvB&EIoT$h%(ovhnJOkReN2uN1hSzlz!yPRd*>9K=ouvHN zuDaXkt2n+*pf9Hy$rLrsNTuef;1koP878f}2X3VErx`tBPvBFQ1M))6BYcwHm}U%c zoJyeoPBS`j!Zga9ZX`LH66n_H$Z6hmqX*5Jj+{14mpQ?^=sh422RJN+GahmelJvU= z;H-OOk|DGLpg_@PQtm|o=Mw13d&32+xYtOE{YTrs)DYY-1E2 zD`y)c@Hi4<78C6DG@3~=QGhi52LGy!lwZX3sZ*kusYPxL#Tc4e z2BQ}Pm(TLsdZeV3#dw>>VdMC11-}*X+l9}zFqmHf@_1}9ifLYKRP%jh#ylvLqk7Pd zE;D+>+=Z&$jUO+7`(=3LrQr}`b9&E`OVWQX!}Bi<$L&{~zV6cS1{t2V^pbpz$nX+` z)7e5Wdcmc}CWxiE6YVYK#ySNztmiH>21YoJwWXV0cP87_%MEBi9k=VBGqx-4@6gA* zsy$$@tT5U{;L4{BtBtRegZAPz281(fY2{iBAWl!$8qZ^CEq%dwOgTXrRTyF1T>;{~ z|1wD1>wx^84`6MSGZ@P6`7as`Jc-v~x(~E{FBuDb2fJxE!% z!EG8F;NU%DJ&G6zuTXgW-xA;|Gh&uNfb4 zp_ORNDX#AVO0NP&G*n@IM%@h1vSqIuGdT?eYG_*fjhIT<|8HbGABbzfK%uv8GE&?@ z z!HETFx-Die9ym?6F`?0V+qfSwW40Lk0A)l&)|dXK0l@^#cnkBkx`gE~^O zp%3GMc0wrlwo!MUQGzShUllCMZ(}Twpne;QT1zqS7{34#%};vQNJ6{2y=(Lp+zd3# zRGIl?p-4gPTC-o{`xKkZ6s;c#?*^qK$@$uREDJl7B$|CrMIpcO&m#w ztBtW2rA-p2#>~rF`0>p7k!I8wkGao;25>E%t1(`|7a4ou>89>1WaicHVfB!8-n<>1 z#5lDBq|EVCThb>b`oU&G@^#{U^b#bZAAo%o%pz5-W5($NK__ut*ihtw@4V#?LN(~b z2L?-*Lqngn)9ApS=4$Xk@lK-;V$j=Ipg-dqME;G#jNnetMbx1d3B_c9Q<_?%gl6r; z?Fc<~A@V|Q8$Lw$oRzt;h|*5`2zVA^_N$f#pkgo=!t?6g7{HPCj6FQhzNNyCje9Xy zn?5$$IB-Iv)Elok*q_}#p!4sc%;v()Q1d=x3HWro^iyNGGeJm=(TmK8hxaBy%J>4z z_tAYIVza+MuYk^fVZ@0Fw4!dmw}$VL7bCE-3-CR7ysM5ngrN>nmqWmW6<8M|scDc0 zryhsERbyXs{4nYeB<)KhQDg$A!c!oMn*i1(^GhuCE9}^>jHeVF7p-c*xU8V-8jZnt zEN(=TR?xXdLBa*u*g01>~zl7c?|#<&yo=gn`74oo&0 zzZIEe9mCfLp?8UCeUR23$Kwxs#&;N1WZi86sK}x3jS}TgIlshd7_<=O{R~)sPKb$y zM7}HTppaPSPNKdrX88fp<|#4$g{w@MgpS5I^&1NbM9I&s;MEjS|1*pY zrwmxa*jcBI?-j)%^BCQPst8IZ$dj}D2cr(BSjc}a+L`sEaT*giP;Vg|u+-)h{vapEji zlyB`-zZ$6t)V-8bRES+FJ2<`K3x0{Je_nYzM ziaCe}j!E}8#T<=ytV)SgbZ09pJYSj+7M*2#v#~AlXFSY4(w88tSuq1l7aV4H(JFXL zoC)$Y&0!vsnc-sk2s0aX*%e_fLdr2t)8d$KKyK6i1I@K+Cvp&!*<0>1>#$dX~3T(ps2Ieo#74r-iv5RqYaGcBRxPlP?D_D`chP%C|Gq=@z}fRLsToP+(sG z&qCAOrU%Icar>4U-R1(EjG;E@;+AHSut(`drPE<1p|&!G2ZC1Sy$T#mwle49J1jZ_ z;AgTh+AIrIuQV6m=HH6lSz3(g#EF?el!6GDbRa;LhtGA#+p^4MevCQ70qd3D62LPD zV@y*~?bz0);lPPlHxK#^_bhl!Z@7LV>7lOXScw8-sd@!8Hq&Fx(V}43ntg_=s&>bk zYaCG7o)K@_{MklyO?raKM`vRa%mEQ@4OqnzPm{XMg%7*xbes%qO){%d;+%HoX9~iB zLU4=^Uz^yV@S>NM2Z~XbjSkOz$PF{MWb>FSq@R~%0>7$FGYX&YGR;YfANxnNpY1^G zbRW7F5m|n-x7!L~^IE&qk1oSWS-oYBpgIfX3@c%8Ck>z)=>anp2VWW6O~Wn@n46rq zWhtX0dLRX|H&iR>p35LF>u9Dc?vCLM2^qqHU?;QM-RXRol4^FK+98)==l?4vYp}B! zK>R4GU;kp7Zlx!s*?S2_ORY&Lkr~!>N3Dw zK&b;jl(s^gTM!!&X@4@n>=dD-+2^h`H!9S8t?99=2LT7EauBHOiM>$ri@x53AHD9# zF0`}j!TrCQ>IR!8Eg52F)65~JX?t!kOCl(USE?Rno^kX^EPHNBTiQL`oQ2C!@P$$S z9W+#DgVIjB$y`E%ZbC|P1V~6<5esKV(3&h6VJ=JP$7O}4F4NckfJ44BN@0Jf`x>NWTD+Er42I}g<{7x|1RlUtU_Z!DaHQ#Rr(c}N zOMy|q2$4xy`6$dMD5!5sNGu<14su_Ml;ZYvs(IalVH)-z?ty>(ddX;W9OaM3K07$t z96~2XgD`BF3-N6FW=Lo z!t4otVkX&jw_wsDx8t{BHbcxe9u#Ak-7Xu{1jmS2df@|Nf{8P8+Au++m_N}xjT1vb zro_$54WD8x((eLwshk9w35ALrv}r93&oPI_u4R@7J#zzoy?HF{mvS&aL-nqD!5LTn zBhaWJ*Gy_Bba;_wFn&z#!xGRD6nh(Jz*^qX%w-Mz+sxHCMHGZ*=423ripf}HM#;*0 zrhu@IrfpNujxmxL+$@sfSnr10kyVbSf9VmV*jaywLjaE5;;mXup%((#gfMCSpe z1wrE@l!bZbKqz1C$pb;3VE4bv9PDsUJU^a5QP8oe<~WefU#DV#@Wt@yW_LVxE>;g)fgp^smBKPGc}Zz!)fJYW_mv+Ue|qGQDz;-d;5<)&Fk{2-|ILvlF&C5JY3 z7Oq}_^EF;@JP(=K_PmG85(WD92@jjBL{amw*}+wa5lJUsp~EQi+yrHW+2%a=qZf}7 z%xtlx**Y7%z+;k_?0(&nA_@1r|4C>MnPYBJaD*Xdf@d!1>El#27cCGT|AR|?kSWeJ z(`nFLGeGILvB!eB=2kiTpwnMq=1?W}7UF15Oi3^GC^UEQxx#Ba^4Dn2GEXPS6CV|e zXGRekH|$ZfPrD~jmy4B&7X77eAh%8&ICaLNQ4QOx@`o^q>K+BrEIywM6Md9>@p+J! zJ$v0_VE)`s{xvXZKFCVDrx18?c_rr)fmGpmw#?-z%kK;cWD(A+8XgB?X>|N?%yh9w z7zzhaa~6nMx(z!9wEyq|b288!4SJEM*YPJX$WPl{7MU9(@MYtZ=2Uoz8vYbM0TF!) z?BNn>R|0!GjAIEf5w4<`_ORAVd8xTW@L(;drV$Qr4wVYFQ+e9#E$E1wJ@(>6q$gJH zy1v*^=09x)Vn*UrgK090lJ26?D-@g=_s6!a?rHM`9W4QCl|KfHZ$&et!VP8SmT*>& z!f$CsPng@)fyI@Csx_6yLVY8+)GS7e=9Ggmg5N6U`s})AOzh*9F$;pN#;Z}$cFuCF z3)n|ZUjYIiVguH%Foy^P$I;e5EXsHu_+zdF@`{zOyXzpRq??pSl*IDq%-smx^BlTI zv#)v{6F$t&eM{3T1mUl#FyF;S9owkR9Eqn*b(1jnrme=DLBQ9b@WFY&^19W6y=Jyv zFtz!SI28@7!Ej>;R<1RNCOm^tW^;|O{)^;td?S+MY|jg3JP%d-m(1xAbG(>HucjyYDRnMXWJ-4Mif1?NU^>1owDaP7O>;glr^UX6J`+MK^c(Xu zFH2Mnet%vH38%zVKs4Djwx85UACeBjmX8 z0=B9SnD&|&IXYTr9zsw}Jw~}w1_eGb=Ou8F3W~lQKVI;A<2RDfgOEtDFf&+zc~ z2j1=f4HQtg;4XQdoyq(T8G?{{P-z)fy5R5TJdsZuirtCTrnuSc$M~`9ocR@I#7lpe zeF0%1jI+=FVdg~gwO*n9G&~&t47pY6Ko{zKsufNxXR&jnAXK}yx_q^6rZ++{fO7AF zGEYUM&xst@M*1d&NKx!`7q(L^e9Z{yx_1Xg59TvYp>@^_(g0J~T z3ln?j;BUdD3%fO6ib6d!Xv0Js$U(T6fiLdX7}adU*T-Fp3Njnjj&i49qE;HdfMZu8 z-Sd8IFXCfn+hh8cI9wkhSvu7(hXVXozc1Q>-rW`OJ%}|wqrDIE_m8j~eIC(P_;4!k z;46vQjSs{;1zQs%)JLeYgD+m$W53_Q2h~K)KA7TLq$nTTw|DYE%W|*1E7jN4A-Y)b zFAx*9@I~8ZSKn^Nf1EtWZSLpW>c)U>yUsU)(JE%Jk9R2UAwFnz)N$YK6W=G2a-)@K z=M42_DmbRA8ioR84(0tI;;sMZ4&S>9)mN`gO#b!}*C9+HXADhhqeS~@;Uq<3~W{dRV- z?`R8TpRvUEwgUz*BKw9-iqlRaUp08!a(owD?#os_w}-C)zP0-TmF|h^9l~=0p1rWf z@tS{_cCGYvj`%{mUc>Y` zN{e6f%~ig!V=8^mD>zORbx2PKu9=DO16}bLL??CYfuR*TY#8(YqepLk-FJo&L{9A| zoI-~b$=~o5IgTaLm-jmT+G3+P1d2nJ3G4 z_M9y~aT*!B)dzJLCwveWzwMjJ2B~l*xEx}l^sShz%4xfBo9|nkdedFiJ}-{f=2!cE z!8Jp3YJ7biKPJ+tS7LSYbn-iK`O)DTUm|WA`l-hE7&HwYde3*i@{?eYU)b(b5Tfkx zS?#_?XEBH3!!LZG!eK4o7~6^a0(bZhMBu0hqS83KU#)M2qWp4xm4`s(+Sbq}FNEB} z^P#T-IuKPK`c}Ko;(Ko5uQcH!jMtY`^O5gfob7bm4V3$_7y zqu;E97yB zo`->BQTDdOzU>Om=$ zqrM&PHlcVA$B%`~+;`m975?&k&5p~G=(!>7bUO4U_G&p-MBr|aZ+%PH)a03CzP|4G z(3c7PB_v_LwTvoj_zWIsj)Q2n<$M-65|gO)A?Qg|ANTE`b%?N6d2^dTV-+%}+>XdI7DAJfy7!nAj51&T;>rNxdmec6+oHwxg z=Ldb!WtnrpNnME%4f+Pb;K-Lk74PDhH}eCCDsnbC!IA}iqZJ3fd9s(K!w(nqwWEJv zD&)5({OFsiI4nfD^tRM+#+8qjsQ8m0X+`{GxVo<@fRz7shbn|_LGHn3KiO4 zmIe1zxD{aw!eydJK*crT)w?r%YMf&qt zd>Db$TO<7@1crwrkpr%8Zh=RpEV?+2CumIjf=S_>o=XZ07-KikjpGpnU z_+%5m_3MwfWBfJ^ZxGjI#rS(eJ6)7f5rfF07;Xl?t>d?fnWmd|#rPA;Tl@P!*BTuK zfo^MmKkCyOHC@pfi1vVNTtjOvr8V-N-H%J*w-sEkrU+gwnh?6q3>!DD%_>l<~x)loE-$b3@IA{dYVj z$kUX|k1{Ic#}Zn_kEK)-kA5qstOP$%W`aL{X(npyX^R4m0b)GC5l~y?3fJE}v2yTE zL)xOALiU@-Z=&u+{8rr-bzdp#ZYCm=vu%+{NgDJxDp~tAGm(2H5n;uN{t8G#x+Gz) zt)eV`{9D#LKUDA4qCj^}2wWq<>q6jKSsflJ2u}npdr{7}LG3U|kcjZWENO@Sdr1yh zE#7HOJM>>O{y+@kOZE?j8012;@{-Yn3Z@c8{3htdI(})+zom_&C^cj-`@ov(s~y&+q3f2h8jsYykL+Z4-WcZ(##Z_0{e-=+CSz+-of z=I>3_8uB)E?mW$}(lESXi!wn+p6}8s9hh4!>)fEDrnNe7le_j9UMSxLNr*D=mTvgR zDLbfJB53Ruet(~0O?2`H)YJ4o<=P3HX-yki`n~p1)4xe^)gl1=#ef)y_n&b%q2~IA z-+!;`Lj=cA#&Sm@1uRr4)AILl?M9%7lmO77!t!TBueG#2W`r5=529uZwJ#3%dqB0d zCV-~aVSnj=4Lmv0jBUO#RZD_HcyxjjHZtesWCk%Mk zckmY|%4c?$j{b)g$AKjJ;}}fq8+PG>nYvE?VXU{Rb@A_m0eDjvjO7>hRaf|1IFv&+ z7@fWm35QV_Z*&ZtsWAiJ2R~fy+1(%K{t{6Fv^R9e1b~fr|DJx!{Z%-a?&|4(1xnSx zuEV7D@(*-3UWn@DzY`22*c`8qi(rOvAb!jV9RZw*XkHD|dV+pbT}wkoYxmPbhfWQ)%88fil(M$#H9B_%>(@~z=Hga=C}1si06qn zu>|m2G%o>1`AsYa@%{0}ivbPlk0GDeAB+7=ert|KgR1)@(>0u=nUm~CgdKm4KTQ$U zbd&E4`1Zqg?f`%H0SP~&GGU!iutK8Ce<5YAKM^WdHIMk?_&!iT3BO&G5a~q1-(^(u zMNwfJopUnkkH3lfQ)UnU({qtMq*z>-LqZV}!qp%ghhgHlND1L?IfkMnv6d_$pXJK_7-$vIy#O!k~{ELnP&XOX|gX#17Em2 z8WUx%lc;_H)`1+#Sb_&w#07q@o6oX2yW3>wWckGu`Ni!LxxZvT?sKP;iy5}G5SMBGmfFxb-;jTn4H?PbP$6 z7#Hw3cN0W}i$E2(E&{)XUX;)}3B4qtmnHOygy1iS5qpD#aKQ>guSuv~#p(Y9aAfX>6bVfoyN$6(@{UV{W68e?v)VbYnn7J39-Tw}lDGr=E^PI~p z$DBLINe!A+?vHNw$0h0i45fz$Jqo8+sHPlKz(L&zC<6E948fBwLoNwLN(l11XYf@H zp_C}j!GcJOgWSB^;Ci%_p{@8cXvY2l9oNd2JknJ*G|`rU&5Ge9anx@a2v2LuT82{E z$b1W!Vt8Z@u`;N38KfDPaZre$#K{W9%MTMI)K)@?{LNS;iC%gJHESp1Ac*E7yb^*F z$!8G<-9v6j=CdeJmjxO!0n{A1-98EVB?R}r+$RAEwU^N4GUE;sN|8`U33ZYXZm#6- zQssB>tHIC}5`tR|hSFrpZVW*Qg6}20lDez_(dtf3E0CZE?mP2$S9;2Hy+pdQ>H$&i z|Ni;spWNlWWlSHL{3@CI)iQU8k+?PeBn0shcf~al8X)7+C6poKATi=v;dq8q4wBGy z61rYOgC#UXLN~}1lu>^t4JBV*RVh_Y+`=J%1$u)NCsG{dkGwV6oCE%_LyA}rBoYqBuc4=3nI((a!~!UuNf8xf6% z=z8!R96c)(4Ke;-qQQG`^uI#U+FXomTB!w)CSB5LyypK6Av&WfMNk6m(;N%wz?g8lM`@dB84xcCXdeB<5O@)edz`xX(98uADx&E=1TK`&6SR_{MG`8e zJq#_D(35nIp{FENLS6ip1(hg~=hJkTA0?DY2*M#hQZAKHIn{FZsNKIqoyOX97kAof8NDVH-SU#?wIW)3A=Ga? zPyCl8c~KU(j$R4?!@#sK$u797jkCPH6#$B~Z*T2|xplY8tCtb_8LMjUdbu}huQHeTHF!EzD|2O z0_it01Y+F-s`Kn5RU8vpK|Kc%EYRWXoZjU!Kn z<*|!1EHlEfBU#+l?s^~9z?}oQA;4}JWNlIsKDeYacLMfsJ>h-=&VKCO*IQ19Qft=_ zvA$3sl-h73hVMgr&QQk4*+VgOwZp76%5Gf5Vm1B|IyY^hpQ`&shw0<9)N1W%@))P?RI0)P}o;59*0hb3-ntoOWcFe z8=3HlAZNCp`rm?q=}L2Mu@+z&xNf!BV|KS&f!q(^LSySGbk*TotuNY5L-G8NF_d|C zraDZCK=sCBmQ15x$K%ugQ2T6aYyu}{fyU+dF)}fu|0$JbThIy1#?Y?s1=+}1a2LC+(s2fxkaKU4V65)PZkZ#($UCjN7j z!}jyrmUmzU495hiY-~1s6=w9XRp^9c71l7jdX=>a-Wg?Y74*TmcF7v62yPnNtpzTf zu@|qk`m!5~T`yaYMc}}h8){E^)hcm0eom(UZnQelfxF?ZIdzkzQv4>AHg1!(f`)8D z0ZE5(Ek*PjR+^&xZuj48;SSJ&H2f`4?Phz%TUJ@5(0ph?86UKPOOYC@+5rx_aXZTW z!ydE4n(Bl-T;W4jR|?iz>5!3j+XW2xoQ8J~Kv80swN;5_V}lf68n0Q5aSC<$$a_**o?8dlnVelw}&OHFnG8otcu+PW%Q++)UHG7X$M1A%E zy&7y7BvclIE06xz8mGk5jC%B6!N=AVEg@7m&ka7|^62T{D8 zUvCvClxZu@vUIEhnGfUW+1zKD?(U)QBj~Dq)+k!B59oCjCeg~_Avhrf-xPwwPFhEV zV5U%9P-X~bmWJW15X@2{hDU~AuvDzOOr1Zq+{!5G`6-CeXl}Q>rfLioergTy-F!)I zV=u{VoZa}T^@^h0LW>W8Al}NI0Fn$JWast6pqqKXn(01oeL>wiw!o@>5Pc?LB60jE>OtO>%dG=%AH^yKAGcT7kXD zg|Q{-o;j&abXoN>x!&JK=YrN)Y7Sbdc0m&;sbh+l{^$^++r>Xv*%6d}Rgwn=0{E~q zCH-tQQ~EDf68rsWMu2e14lxr)7X5<8h{z{65`OFWCWl4jJBwAim@F(`HCFn}*{YIG~#|DgV1WhyV*)Bms%ovsEj+%0i>9PqmNmA4uN_} z7_K&pi3oHMsdQ?L4tUFErQ(=1A~0HnLB9cCiq{_Jqc=MP;}j9r2Uqq$r!e0YNQX95 zl`F6hK1pbPRN!HNxT$5ZR7-nzpDTegvetok1fxJ$Dqin%+L^5b4NjEVEiO>z#F^RqiGkC~ zEA|^nffxCLoC(PRERguX8%S)&-Ov%;0DL`vT*SOd12u-DGygU^Rt{D zaU|AYP;?9EJi39Jy(S|{t_-X>&y3n&Mt^ZYwE}AZtl^5V&h!cd+*KhK0e6wUm5h-cjKyM0 zufS}_>t3nyH>`JH1@-71NZQ;da3Vt4WS{Jdes{d#CH+v`Y5$-qH!fRAl;#(NOl%DG!@M2euh24OsL->s?8KA(1j6HXM)y8zZ<)ue%(=NyD z8G$5hw=d+kpu=S!hZ5`!J?lc5Gz7ryA1KT8!NaE*YiUCWfYqwvIW9Fj2j@y zE8@jXFf^++@E&-3s1msvk;n#K0;gxm25pWD*@j_xP3g9AEWfVfwO0_`4e`JZ(?}xH zh{;d!M4rNG-kLyD|NnQG2ONe%Rb@lXScL=@u0iW(Rk z`Z+_mYA~Tw$Tj?+QAeh@T!SJfYPcnV7SiP9QGyE*P!42123%}+fFAs#345ml{cOa+ zPwBrva}&g971V~eCOXJfWFt?SOSRCxL)9w2zXTfoRHAS{-o(?hZ#@Y@i)evO#|J6X zXsb8DG~6cnozvcdpsg`!qOKO5VN%&ui`K^91qoUzB??n+Op94N-jtB9bof5FSSIw{V;35$MpNC>=&nvp*O1t*9CYCR=$vJd5Ak%G>aj zT#uoDORT8pnfhDAF%F()V_j9x|By^++F4SAm*Y}(Bt{!Jq8A$=z39Izv1%(fl9(EJ zh3Oy9RJ>ptrqDUtRFoICar0`DB<)3_lKkh>MV=5{Ch%x1IB`v>?>I;-eH zfix*63s-b=_^+qQ3aUN(X+8e?8MLL_d9mQzRffB_^RJ7YQ@^P=ob4yJa|1mt2TC-H zPfsEs)7Z!naPeOdnko8&N$J?Qs|G@S>1J~q9=LzAnR}Q{vCI7XOsj(<)IDv6xU(lI zZqUh3#1l(uUlHsLgf3oo@^uW@b6xx>oV=9}JQ$yd1Ce}uIG!PftrV?!u~V4<8K z&iBH)B`U{X<7OSxDj$6hmcwKKCo~8kmI$M!Jt&lX0Ud)n&U{=^&0iP2Z}Q><^}(qC zlZ`Zrvu|R)ZG=8FLUv&ir0#*o>Aj)HLsQ=3r%}=PTl{4$GbtPQ@>(t3=z9$oE$|TW zVtws6w>+~C)>HgwABVr!er{C`^EY2#baYkRf!Lu5QNlB>!HvDJcrP8vDF&lnWl8` zN0QnZDLpPmhxn_^BC-$iboJDd`W;mnJ>JAE&4XApAzTv}*%>HLwO#~u!lc7~`jD72 zkyj?<5q%QN5}zF8xvImS5jjuVJb2IzqwOA1FwAq~vm^8-#0$gR4FAX}Qu8BV3%=_$$?;-vRx*>X)BY^iXTHkjVmM{nJ4d>?g+-dUX5A*zZ z>vWPGLBH~d6-RjH0=iujwQEti5R9hZsPJcqT}SwaNC~xF&y)~f9l_kA9{dWn4(~u- zbtwiOvPZE_C29uITaH^7fup;6M-0Ud`m)-T7gEqI2x0rvhgI7G+;GUHyqP9#=;d(5Bt7qlou|@k2HKO zxNeWga|cvNBY#aaE&50K>)M4D@tau~lyLgi0T7WA@DW1$-Az2eP_LYWpDa>$TeOPB^hD*V)E|nP< zt?erd>(ZEM-rBG(otb*YaEjGZFqh39E)VN6*zDcqgpkDyeYU>rydt-+BP9EruB?~j zpj&S7xWYOv{*q#~ZkAa5AItmZJKEdm3hN43{GLEqw}{2>2GU{{=d7K_bF+C^_dJVR zVhihvS?ozvx`f5ry284pEVdGYc4pB6Wg#U4va?-oa|M|trL?TPVhY&da)#V~AMD2G zBL9|jY;!E~_UBc2LrpvUL9ZNQh8U_Ox5DoYxO^|M)QM=y?Qt=Sh0qsKCX!7~zt`*c zv9xjESPAHLcQ{#^M@YA&B1|XSZcACI72q$Y(gkX*?76prIlt25Vdh(6;I_0R?F12= zzXmnU8lj4F@Kf&WVu_~_qa!UVejlatt9(vRXRFKU54u?5ZD8d^AYOkfGc;1|RZwcM z(-~rE*Tnie(o&q!_1uxFRxd<($u7HnO>(fUgQe}D(ssGs)jGvd+C^f(YL`RKoo-(n zOFjeyZg+)bX8x0ios=?G{t6^=t2@0du3!g?xuS}vCgAk9x**1z)Vi8L(CrJcnOBGt zhfH#G?qtR^(Ksos!`+^rOiG)J-ldi}2+<>ZTUuo{=WZ!#Rv`fr{6}hOLI`ySSmKZ< zxGNPFKBD^aHg)$(F|%ADOvBA_I+>tV*fg7WjxWRu&A7Q1C-4qw zyIifzXa%vNX|OuFG0d4UN4$bkhQ%Z|%Jv6B%y?h?6hPAf0Hw{o5WtWIGZ>YtkE9!O nvX@la95n4}Ds478^wKysRoO8kwN;kYm1*=j&Ej%gUe^Bs&XQ-l delta 63330 zcmaHU3tUvy_J4br(Lo28;hZ^h9v~npn3$lLmS~WcmRgWjnp$wx($vH>)6{}1-7K|0 zl;yJ^Gc{k3=F!rE($dm`)Y8(zo0i_R;O6c2(98e3_6$CL_xJnz`3&crefHUp^da>mwl5j zcHDd2b=P^sb=Sp&U3XnReq)`%Uk&aj;=Tude05PywxQSyRz$l69pCPVDQ$>ymU^D{ zQ2pmEz2XC^TNWK~wM1)P+O#s-qSyWY(PK9UG!giH{@%sQ!bNPJ743=))0WpS|$yX!6tIqtSX2`b?K`;L+x-EHaUA2pU zjm~W?KC>HzGD3)2dvKUiDny-q(y2^!h|hyvS3Vr=rrb}Wos>Tu!;GJXKLst7T5-tE zaVzgR#bMhQp+pH9ZR50aGn9S?9UiXe zRQsmzlvb~HQtkbCO1&Y>X`i`QITuFigLp3f!sVrUN0_Iy@_nc6c|dVH#ovQqsO~SE zcIt!5M2Gk;SW?gvFe%usJMCS$$~LDsWltHaywXaXwte|ZCx`f+how;V<4O!IeOytg z;BiHFoQa^#Tf;QF@^NK=aGk}NJv3!1$iX{J=_meS-#blt$r3+u7gkxZQXtMzVX^W7 z9W4n?hH^`k8I->Wqira`>z`@LBIRe%KzXIg3Oc%6iNRO8ow`_A*FyYLHbd2okxu)! z<;obR_(hK0p7siG;<|v|$I*#Dq7v=duPO&x(8xCw(A`&I9?D&>T%@J^IPMK4mA1X1 zfQwp&dBpE_-5X3Df7rKeQu+$flAhnJB#BN`wOLu~YCpTF={ibl0mjSUqNpN`p53B! z5q;>bElQHV5^qO?HAmt1SNv|o?@wynqTB)mr&WUZF4EpgWtO;yvZ_!xj|!`l{^Bdz zUxh}7(eG8j_9mM7COZCzcE71S;@Vlr9p<>vVa8TPbv5F7G&SyMsZiy@R!*u9bGd2S zR;8zCYj4`B+%15XOWQ#1(f07S7)yufSsOjplGvf#5B?jzLwSel_h8~fH@HK;0 zCmOs{Ss`pXyAz`-vOB)5v=m~8o%W6r5U%CVH8lxJC}^cn?k;6q!uxnW_CiyWHNUB8 zDSkBznwr`#Y-%cav8m~nmztVhw$JY3?_aPRcPl*{2~L!qE^cbNYf)2E_Ohm?75F{B zys4?pil(L;Ry8%9weP4_rV81l6^HstLR;TMuCIBRop@$ z-*M2EN+rjY9>UL0iBvxvuN#gl*+QeN6Usv(z>}XUbgtEfW`CpfAQ+44zEJ`lV=!G-MYrR}v>uCRAFloIOULhGQ&SU{w;|uRO1JPhyynMv8vL!& zOC$tGk^6Lvm&!9Vcf{47v}LgO7l}dWXTIa~E*cCSQV%v=S`Qge80!Q|G1&lB^7Bb0 zo*E{%#C+-%uSg2+!>10nef;mrt`?$;z3eQg%aIyMFDg#W z&izrj=m0T|`iWHyHU6Z$Bhu_mKZE8RT_Y*-R+nbiH-a==-2jc&R1;7G(x4(<-+*7fmOGtIxPG$O@l2 z)g>^TJE$%#(W3Ndb)S!)4InE4zn=KXxqzkah3(*dyrtVtRn%I6R)k-@U;OXY6??X( z&JeCXm#1oDsy&6ch3+sguuQtmR7*t`9W&MUT(_cDS2}s#uh^BA8t)K&?YdYs$tn6V z5kS$Td(m}UHC5bZXSG#lIY@7>#?$e3YKG`fyW6R8;T{Z>`D}m|c<-i@De6{{&8U&8+e6iz)pFFzyFu+Ha;UJUs?fR{)M+S+?V^4O zv5$!asQyjMP2K`nW-+N;-`<_7LS7D`^EaX)?^A$qdC!2G8q(BM8q*bsPVK6u(>A`# zzEMq~@~%Mgebkr^g3SCX(o4A~!Q=N+V^?)DrKhVZWp`Jdbl{=`Lt2RD=545G8cQFseKHFsGJ=hvIKUGuv(qj&+R43%-}bEVsc;GkW0F#T(VxbP9K6-7(to z!?30Hopi)dbq}>2rSwFN3q91HRL~Rn+tm*&m)#S1f0#kqUp&HsBTjNLwYy1;q12>^ z80vQuKFD8!VH9zhHwD6NX@;towTtqU=HBJDD{oSFF@_7j(E=2+!s(&nUaFJPRjw(e z@kTrqF9)m+^itDNC^A%{9r#|hDIOzV6{K`(N|cw1{{sW$VusqloC<@ouO!Wsr z$$c@1+R3navu{<8iu|DXDi#_hnF_-)w=bAg*k}8yL&C%q>fImHd7Pf@uTB&GtyP9ZTY4hf;R0TEMfr zR}K8{+!(N{?^PFzYd@J`pSoX-7va;vd_%!G4k{dr9^!|q(_BxY42t8dP|CKzwWxhc z_1Xu9t9!!43@RC=e&?7ONo{(!G1nG9s6v6-C8O2RVc{$|*Z^u^o+upS5&67fF3KL0+fMRa0DIo;_-w zI!lP>>Dcq?OX3AqnE@(zK|Lqt)1>(jC<|Ccd?yxOMv_`uJHlC7e!wYSl!LbG7pT7p z@zRwFWiLS-7Bl7pcJ@o^ASZ1sRR_s=meKiAb*&(K$zt^tmso0dU#@-@2@FF9S$6z- z^;DQ^8DJevIc=g9YA6$KnmxLO+fLb}E^rvjLkRs5UMl}H@nhw?f}yoqtYi#YR9p$E zw~87o)j08Tki>HrnQrllETYsZHA8Zec$IRh)WnY5>h+mc$3n$ zvmT~N+f`d~&^?%8M1V4FRY&n~Tb(bq+NW)`heK?$W8YR29pWuJYnN(6iPNS1YLXrQ z5fqi!ZjaihzQPg%h43$c&rd*3g6cj|ACWB&Bj0mT1F1d+-ed6rh+e#`+7ttW|De<^ zIiISdWyJ@m>Tgj>X?aUG^<3kHW493AUF{hke4$U(ekMNaeOA3+R=u0*ILHPzv?K$tQ4VrNmjsIQ!KPe`{KD*03Wx2&(w%8TkS7Rx|yS>xjUr5n;zwdRa0vh`uuSSLr_Ju|0U|D_fPV-Nup#i@)IJlEMs!mi8@DHVA z9i^uN{(guQbksxbvLv{=U4G_vPX*gO9c&jd0|T@AAvn1+RA=~C_|M`y{xk`{aQqm` z|DZzC{|=L|C4pUN`4v1ZvHXd+)UDE$vY{<>+PDIA+hF+{fNwe(=MUiWdz}36t$05a zGr@kg$`bqoLg*ct;0Hs=($Zqcl!iSqZYoajkCSX-QDbKjD6Phe%pY{n>s09Ac5VH| zpr*Il`a3bxoJ{nuz-3N5fC(dM=l>d)P3`?n{Pb?1n_b_*4~tLO_a^&q5sn{W^dEO< z_QsCf$~n7tC;ta&;=C!_n*|b-XAF20E!>BrT`bW^1P5#+5s1nv{ z?j{iEA9P})e-_nm^2d;8vp+_vsY`b3X8&h`hF1F3vP%C@(Zt_cc7CPb=?rJWWab%4 zjX$f3UA)bY=$){4ZufU-319o{ZvP|VCp+g|zwLmh-T0ywu;Xj|*#fbsDewC~aX2un zK70KS;A$`5>(>NiOVx+|ANl#^kNl=^xzK}$8gFSCpu_vXB$5>)Df ziR;=^T@n1|+`brI?PvaT2p>ezyLJAX9p@wIrwl~Byr26Ago&2+@FV^at!d+Tes`&J zP&>Q6-haR$!tG7p`M+*OMU8&lF8|4Y%0Y)O_+#wyMt^#k;4m3zAU_o`*z!DZSo{J= ztMV0o55%wkTpJN#N2uD=HX@P=yK3F&OjpEEm%e3s=s;I3MtJSBUA0GA3LoX%tUZJX zK-JCK2KfD>dTDplsa~2+*`qZlWkf+E4q6lGb@>4}ABitCSOJqF(A|+}r=Q7$l{O39 zzW6Z*Yt%VI>voN}5749x?G^+I5}weyP-aS$P8Tw?cEX^%&(U7}SBjfbOW`E<>#a?6 z3)8N;O}m>_i?~zkD_k~uaZ%$4L^4MX)XLq$vM&wMtQORBl!nmW1DZQb#8Sd^h~U`| zY7^}}qqJR4&}!XZw1K{6F(*R9iwpJ{{}{lLzXj&z$}zah9j*1G>RuYWsMb!mWOWqj z2s$(#(c&cKwk6+B0C@2dA2{nqSWgSO!73^EHLL~Q^{&~bY>ehb{J}Ry+d$5-8X~^U ztx@i8=;1eXgAfEaNBP%BIK$II1L{C&W3|!INr3OwA)@3cdT?u4TWa_QF2wOIaHHzS zYRB6&Yf)y-=BYJn)s9gd^D!y2KYW?r9@d5-Xp!@X){Wy8by~NI?LqQ-4_ud1&NwYjq}WsVB05vacx`IPhN>FrgArR8)rzivRQrn*6AW06;xO)S zpjD4*okSPf|0wVci)?~sMR@Uoe{#576em(CXM$F0q+!ndS=Z3D8?IdI99_bPvddV? zn}pkRycti8|7;z&sx-WN=(`(f&O~i;_a33go}ueaxXR|3e$Z?pe&g`t(Owx)!Xymn zX39c07%@ME_X;(T!R;o|#z~rrS2dHg#Nfp$dkhhw-j^wf?Zv^5X-UBgjLeCe)6qv_ zqb+4_0Fmu_Ov^m(=ISx%p30sI?3-4Dgh1=(PDxqSc`R=mHD93<#aY*>vau>_N6I@Fw^>c z#MPQfj4{)X(xzzkHAS~Ey&~9=73D-=@5JNyEc0<~={0rwU#Sz`tl0;UZ>shX4Vwnp z!d4jKw!3kVFM2H3k9*>~}Dp_#eXYk~{`c)ilg&FkT}979I)jWtx_XxC+Ec zlepUk=XYv>z{=p++7QH1DrRe=5j)8_s&y*Oe%MVb;U3$WbF>RB5HkUPBKT5_1%P2i z+S0JHdD=wD-6QP0d0Hl|Z<>c)5>dFE>=LKZlv?muuo%NJ-x zE+@v+iW)zFCd^o<&6Dq;^MA&3<(*iNt6!)&Wg%7p-uEhWaiMmU8eW7vINCDIOY>gB z-NhHR1&#-!f_lIFC9RzcvF*K!H5f3$KDI<#;Sjk&VPD(}(fiDQAy(6njF>@jcc;^? zT&iIWCXZrQXwSf;@Fg1$m5n#tv~fP7_vLzmS~fV&L*53g^JT8ocA&}MS86TU{(;Sk z2~){_77gW~3t=O)0ge}TVTC3w{6dHTsM%kH{{;{N6rnq^HUsn{U)P3WU9swQZ7OP3tVQ2F*J|U?C+@%G zuM3A+kh1Hwb}}@;yqZ8KlUhU7?KGTpbiFo6jG@9enXKQ?p!)5SH#CKVZEH3{<_J2y zQHwJ;s=#4oHYQlMv0US_TdC%ZgRQ>qo3!U}*}Vyb#V@k3cIEqnKPKv40VjSZj84!H6v#UVGq}yPK_>a7vvWF1vTK6X7i1M~-BqyPvm$vwE zZ_P3bSl$Lv^nVT$j(su$zqK!-z5H!j5o*G$Rc!ZL8bVbd&v#)DIOGm(G2T3}Q``D~R&dk0Y&W3xHn4<6pzjP2F^P9H zfZR6T(LR!P_q*CVC|&iQHVYS{T3d@tO*PXy9jVq{k$7k1B~nhSI9P!-8iK-%B+$@u zjy8Ru)uXQ1qsgbCZLFQ!pSN zA&WR(9sf*=k!qVMflc!Oeyq`gsx_fjON`*gt`s$Xro}}}LAxx>AD8VXU}Ye@*>9T4 zW3+D*q?1O1Z5ZE$Hbw?H)0c z?TnYiQ>+-TwE$;P#phc8NQMCaL(P?+X8kl8nk(T= zNQZNWw9MxFLG=ji<+npb=o!j6taU-`ukbMRz;ZfrSnDLU62q8#EaY*)eCYvMn0iF3 z^!*h8VGD?VTwyMoXI&5kO!xxw?^&Akg?0;_`$CJMeP2MdJ;&NZDf?23xu)59TrX%N zJ}+xf?w6YGZk{W7k77o%t1O+Wzl2od@>b|9iSiD%P|A*i9OwTJ?b|%y1+2tarj;Dk zlB76r<3mO~|6>+m#KVs~s@bRo*&kO{rsc2Izk=rj*7{l&*L}_GM`yp*2$#a++Ml@O z?Y|<~D^6(N@|$n8U-+`$gs|Ec?TKKS!*&ycW}#j2t+v`BUIf2cSmJ{H^Ae5yJEV9q z(}QJS_&bD|qa=#{b61>38K<$J9q`~6+1ejKt1Ug93ztl%3vyI6EBep8lagfsIEbq z>v$DDU-uRoRjMtp^xmkc#_Ip^Au|Pk{2Em>YW*E+qNvUF5hkVffClmW6P>@#-WeL#QX-oWn0j+F8)m`a=ZnS>L1mXdj75zJGO@&&i$?>BLM;YoJhxCM?^F8 z4^4ONz{D&%iO4fY(P`fw7zUOBVPfSVN?eI5;_aYNt}TuYC;y+Uma$A&_NS)0cFB+H zDzR>w`lnXFk%K?A5!CadHiJ?wV%CT^UexXH~^LlCd2e#WQTsbPV0J|rf^`U8m9e$K9M5(pZ4 zrrZqd5{JMSpg}8eoW}IV0BY?pZ)s+|)1DU-I37>0^$87%8jeABmJjyEP{SJ$$mi-E zI71isZTS}fX~R+k07fnWK5P2~+9ARy0}h<{L*82g>l{ZzCTlGoT!@g&ye*LEpne1J zefEzamHdsc*LL*}%tOYC{B-1ifXDSUz}%WnK95lDya9oHJNsS#Mp5=#ThPjC&`SPo zhMLUfq`RZ-612S{d-r$RaGhB{})ZQGlm2HB(9Y?o57wlN5rKX{QQ?R{U;1qX>K`8wh;jWLL-J6` zO)%QMBLgW2Q}!Min2ZFbO(O$c9Hiz3VyO5`3-|Vi0;+I)4}RX`1U=@WEuTFnH!v&A z@dIG-q0=PqSFpK8W=41@rY$q;n84xiGiaV&84o3NM^Js_G4xw|I{+Mi3~`io=Oa9J z?%2R$hd9gh(aDY<7ntZMn}AL^QHeG_8W@TMC@~>0i}qYDT{$6;EY5Rj9A(t{-D}TH z2nag!7}~Dhi{O4{sRMzaNq{4#L;(3B2bR*9skl49ckQO3O2O2?Ylsa7&F*P{(XTXVT3|IzdlDU{&epNM|3sjl zgCl`#nWM!5@jLluND_~j8L)hRpzBOPf&a0v`_sN@X5d>afzAq~$WV0?-7zaL*MZE& zPiF=0qKUJ?5-GC-nY4@VX5&tT*}G>49^z# zb-UuDKx>CEkRufcli|C%K%797uI}@|OJO30^1cX66|we_F9MG^L>uaTEHDBAyJg3? zlp?+gyhIzn0w1!lOR#r;g+}P`DNK*W2oh%kSOiTZ@jB3!I~duQ7f%IxVh-%;(ysqN zD6Tvm@SvcoJ=XuK<-L9IG#VG}?5rOGbFtWrH6?|Po(u4Dmj8U<>lU~+{u0>gaJ2W* zS37)dDElo$PHTS+3+FjHFjpJXCQluaL zTZBGCP&>aKBxx#+(sg{z?Fmi#vMRq%@ly4DifWg8bx>)njlr#UP_CxO z*qMGkUeJXYT`#KvDrRf?Naij`u%8)B`z;-79I2ExKY&ypHp$X#kl!mUL|3Xx)IkGO zm#8apCP@6a&#Bm0Kh0zUWaP;>#eoL{u;1^Hzykt%iEiYZsRL3J?XlGkda46iPPZlN ze};+fSj*O#(tV`Ixq=g(lcN8Ol1ZHbcC7bw))R3lxnx+#fl6452{&}sb5WFYgU)WI zZ!w4{W0uyA%72Q5Th>MIhj~2PMMvsm59Z)cL{G}<#{z`|aqa!<|GKM*_QHnoPfasIHsd&38)(I~?BQ;!N_V>q#^+U5}xnbUmJC zr0ZVMmwKlI;r+Z6c}s*wsmmNraU1PLnRGDlo#f5ikxPSl_2(gVD7S5{OT+Rp?7KSDzi7*33ZEm_6oNioi zol_o4dV^1b7s}k|^@>NSvA5nsOyGWzp3p~kgG=t{qrW63(y>1J5JWLL-=g0yqYg~W z44=nB1D}j*6!`{5A)o6O-Io0QjKK_4an#B)rUG3dV>o%^?h{@UFfT;;S8n{)C_^SVOGqw@%cq8 zth$I&=ASNNF;(=_ZxKuAWIuf%GN3!(1{q8=_%^+pu@tSa9%7`hL|PW=e>wSX0`*nj zrmG!R{Es>-@ytNPdgygCaplphf>h}cbv@;4F!AF*g*j3X?{QQ5?V!4sgRENl3w(y- zE@<(}juD(3gdQxr_;wwpM>(DDuO~Vxy!4-~VW#6%h(5NPGY9A~Vl|B#0BQRgJwE`P zvxe3T&>sOcO1+hQ2TSVU^884Ir541PeM4Rpdv*YPe{ciGpta)i$v|aG%8JBd6XLnZzMF}VY^4{zV!=AunEE}g+2g+_k3;bhJM*h?|X)4rwgg|1!IJT?oh2!*hgewW1IjQbxQRQOc{^4DW%a-!QT0Uq0CKiy;bVG0wuhYs+v8!BKBlK2 zTyg#}$W?@pC*v&-vLA_gm~rJ~eH@CLqveN8i&j2udF-M2`XC1qt12D`H}9nLk2A9E zj#KryjO&~n)TH;YXG)IX&!AbmDoRW3jbrg#<@>|M4MVTD#0PP^x9w#+2aDparo z3AUau;I!_U!uqGvJY(Ei+W3bYZQYuB&0A7$|=#e;xgrPtP505Me2F>L6B(5 zBG_IM9^G)^%wfW^62#XchLgQ&5hyEs4+b5iO_--!!}nf(L}QlBMd0iryJ4|@fdO*5 zjIC}qf~TU1XGwo1Od@zBRqb>lGxgD=I@geOkmq5N$j*1_VQK6TH?+Xp%oc&gXzFN?Z*L2;^Uk&+0+tvW7wXf-?%3jA! z{**u~dSQ*;it5+E+;FZ#nT$cyB4es-0fLyvzd&HGAPE6i?>`Zi9rU`sLvS=~ChY8s zP!W`}PA?aqN@tn8H^9YfSf{VU5C!u>!OxM-khQ;iJ>#4%t!E+)#<26>kdTD*{8M1> z-kgm=?hHxL{hRdruSkdPoAqyvTFi^BT~-gQ5MO8Vz^{%vZvn-9PETynM_?aR-4?WT zm_#L{XF(VAO8s(lR6Mkt|O5Lw`g-Fjbcc{eC?nO*oUQ{*yxX0^UTlt9C8846_o$oKV1RFC)obg+!lKG3)DNIrm-P>t07CN3hVHyN~@ms@SKm z4N0G@N}qxfEIhEbldO=PU?S?$HBePu0Lcw+V99yVY5k~ZwA+8LA9A}IQNcx14kCJZ z;L}9J^?ufoVcuvDzMwzT0m*$(5Q)@a8bckw1Va{79f9HGT1G#oaRDDQows=wfAFu_ z3juQG8`#wqXH-K(RKyzrCQFoAWdf@O#}ka;c7a=|aj!?&-qy(F_j!p1BuY^Ec-tA} zxUXtw48-M9J7Y2~liC|#M5@s&tR8IjK@N_K2Ep2^Iv5aF5L?N{bBH8LA3wfbG`8_3 z8~JQIRAd;I-R}lN(m`W412*wZ&=QrYhA!w_8dTKbG~E81&ZilKK%)#g~;fUopQ#S%vizx?AZRs*Fszh(s9F1zmxPkjN{?|0Tr-sZcxodj&t8>Oq0Z% zN+mZWzyx>*CVSORwHuN!JC;J&-x2Pnhty6?ZgwrlP) zZjq8_xJ0@*YXsv}<0Xn`Hr#%hrI zV}=^emJo|fH>Ev>R>G-q8R$ADCK7@1$Ba_|fqm~3qYHE5v(sf8S>;G=sh)1MLlKzU zDtpoh3P2yFZNm=j%qNW$(TXNLX^cRP{ZAUbLXy6&6l=@g8+f&5mV7by2 zix#|m)l&~jonyePqd9YoB-yJBu2ac5CC)xD$EalrS@n$Z43HXI02X%I&lecaFinKd zH8xATj%He~Nh_*450oTkc`SjdvEI7EZ}Xv!s!K`5ZvI!Jw$!`ops z4@+ys#YTFl7yD>&kjn}e8C$RvkyZ*8ji9U_AniPH2(Z?d8mYV*vDn~2PT7iqRWCNq znd~PtuQjmbi2{xC)$5}^^uwf^#FvS3wb6c-hDgH$y|UC~K72%`Sh%7$a!i8hp;{Q5fW? zznaWDITg(OOQx96Z&Xzwkrfh|zgI{KOL$eXe)m@mHZGrd)d=Q~N#X=7uJ$9a*z+nl zOSX!1$@e7--@DrAfg-U}cClu)6psvJ8z35oT=$I_RP`F;f}}nS`?>`3y$ux9zHSub z!@RWy4|L&LBj~tgkSNmOOs+Nd1TFh$N^6B6V&;>4{Kig*naT~4E01gd)wT)3ym`qr z6)jb4gcuD?*^by`K$?T9HXDJCjPEWy0Q{OmzS393Gi#qK#sSMEIbJEDspe*EQZLvH zDgqEUGaK^-ISCQ4E#tQsl_CxnGcyKB@s#-q(u}L;!fmOoG!_dH9~|ZEHx2kOOn{}h zu(3h$+l*6S5Z7DGTwts1@*1SkY}?2s=T5_GSKCkkj!hJk%uckK2!F@;NVKCW zo2lb%NTc?&`)!E}N#Xb!t84EV6Y0P^hL;w+V`RbuJot`r2rD!dyO_6W@NQtMBOTd& z<+J#ASq)OjyHWzfXvesk#q`N{L!zoPrF{d4c;91DZ^ynDgmFSODocHUc@1iV2uLS* zg8Ap;ouSgw>TK*Esg^o*XSH!ZTK3gQg1XlBsH!o7d5N8=u^#<2)JT%r?#(F*FePr|s4!IW{{m94;wNQn~1J#a(LL9UYSODxer*y%-E6r5y z<0;$6_63bV5NN<2^D&qMm2)P*tw~Kmh=BJLpx|-_5-spxQ(MddBO9E3(7;~)gJ?2^ z#akyjd{A1S^6QI#mEc+Ssg#yE1K~C1Ds8+ngNY5RpxSNxlx58M`>uUDO$)QDto1)h3Pz+JmrMVP&^elPULe$$rm%9+DK2rO_Bi9Jk*)2)Mv}J8ZyV3_48Z zhm8W0|JsE|m=8nZoTV{A8p9vi4NtFN1q|bcFN|||4F?6uF8R9@OSr)OobA%f zzBA%ci5crEK~}OHq?!Glv;gT1qGwg7tow8b2D_Q0zYk?(XTM zZ~ib%%06ezb3oho8HJ5x4d`y&**&s!js z7%mFU``L(*Qw^%DiuTa&)jvy>SGNHEK+JSxQ#1q%B*%Li-qQ{qMvt>+hzOs}93n-Qdz@*yx{ zi+?eevV7x8cE+!add!BGykj!3D>?gDSc>HZ9FqSxOFFyp-%RVhsqlBuSRcFUch7C7o6tBHA>Dw>Svq>PtQX26Nv zD~>9#m6o+6%LIc2ZJQ;}n#I`PFYr#Xx+I!%>U1`wdFb($&IcTwd8 zb$DH7zwo<38thgEs4)^{`7TqZ*IZ^QT||G_gi+%%AF=zjFjop>L!jg@l-C0F>RX!0 zlcF>dTg8^CuNe7BD8M!L;Gw2$w0aoHKZJI;6RaNJ$wyJWtL3CG<4zRTddaeOzD z@8-$3vOW2h?_yeEI+fw(MC#cJ<4eUOPE@$J6>P-Esj!vVUreR_t<1Sp)EZzI+1gCD zceOTQy~RfY7`YKB%#K78+5dJR9W4g)+!bNAqx=Xnm)wzfTOWZrWk#CS@(Y|QkQHeL z%A(9{QA9aW&`9&5&~HH$`hAWI0EI_kBQ-Q4A)`79eZ+XtXk`@K0&g^CGQ*2T8&F+# ziR=tBT~M_bZ_fBovDk~&s<~pjXjIHpP$s{d&5xJAgUO9fvZKuuI?R9MT`E^b18SLq zMkXr3?^CdhcrpsBSM{pdf^N87Z9&C&#jA>ni9|>h)jTQ)pp0%(%^tKsMdyrX+Q+X7 zRM1tqY9>P>?^n&2T+2ZlF?6yK>nZtu6WMHj)MscS|c4xw=x7sOyxavr~FK-0t+ zw3k|s6D%qN<~Vy^fJx^RSL|uv&o14ZO$!WET=yd~7VG_HI#u%{zDvfEVU5Aoway~E;f7}cH_R6oEC|HfsxF~P<%aRfkK z3~IV#gYSWthuUEij)|#VEJygH9z&p!{C1>;Nr0zRN{z+rin&Y4z%_06b88YCS z4)}3`HT&gQ{bK3hZDSVWM1YDm<^-GwKoJQhOa0vm=0IFHIKeF5R?28;J!iKySyP6T zQ&5J`lD1}|6dKJzB^KaU43oOx_x~lbQxnaRXlr4j8HYY@)h6Nqh&Qvqc59(+K z3}P(prMMZ@-t2}2uafp)ppfdTPDie$-oYG%g0UU&ngvwQ7O3oCx@EA4_inSl!4_*! z@*nJA_GoUQpc~+qnPkGWrol#UVnH$@gK6q)iK^#mTndx&$uw%Ome-0_g<=b zNJXe2-P9dYol2}wp&N&=^e~;ST}%y>&_hw|m>%Xd-m_fN)BF?tExgHu?_saM$;8H) zcWFv*^GWd@o$YP%_J-bl%&k}kYwTlAmZ~ljaH^q&nPwLW;bzqHN_Y^$bzCE8NZQ^k zQ|c=Jt!NUi++3uQZoJjZK58K2XQ9XEYV9SdML^);uW#-_eD)rQZ>lzg^M(o z;s=}TazK&YPYr|3Ggxvvc9%Jj@pm~o*OE$}^)fFYFgaJwSDIs(tK;%~&*orUmstbB zNT%v3!Ar?K=2|>~xGa0<5EDl#?xDQsV~`WD8s=WiFq19D ziecsiTq1@`-W)#MOvKZi;c{9$&~P^JtSqLRPhjmgk|r1 z2vj0h#G6~u@tS-12t5S}ZoJ~AGolJtn}&$C@gl)sp5zk4ALQYJ_e zpESXI3F!ovCP?CcVxmM~NQ54lXnu`GswSDGOmVm6n{g6+S4V@`aK9{0?ZSMsuY+O+ z;&`CUZ=lR;|G)yTd#dSieGCvYCa@lsIvItjQ%$!VSO;WEM8bHVDn)7GR4F{MGY9(? z?t~DTYOZs9;-mi@&^5bqnwiN1K^QqP{J>?L{kLagPk9pKa2)i}r<(UsJN_w<8`e}e z%>o^NCI{lvyn%>&F?K(GtaECqaTYkbj>gWG@+NOivkdM+l|MjfrQ*B{?1X`e0kr0T zJU_oYfP+t)!BA{8m5hi;vdf<_ckwubQ8)YfznX^xR#C4+nG1@76RG(dFIU({{${om zSYL(Kv+UoVW4VVDO`ez3mhgha$fOs{F5#UpPUdM3;_>55A5tkY~Qx z4!d5`=7T_H^95F^$^n=8;46S^z6mda(k{C+ppIq-hdrOGe4B)yrF9Rt2KF?Gg_5qN ztzUlzQO7|G&2iF;X_hjVDfa*4#Zcoya|8DemyIf4G~L&zWTq!(#US0+y(oJu?0_VP zl#T*HkC)5~4oG?5B222^BG?#wLK!w;WR-GogAZN8SudqvF)TV?F8V51^z~Im$Ek4< zCUqkC<{N&~h4)63qQiPxQVL;*t?i{|l1wdZjt#PaI0;-scb#*_;m}vv2aYp?53m6O zV8CK9(sFu!v6)EQ7Mp4d{@{C%-ko|ITB${POUn_xE%?Rjlo?bwz-5W4NR`ly@;XIe zi+nV)0cJ0Ol~tbL^2$nQ5n?v`UbD6CA5^!*T!D@zm6=I&pbX|&&t6!StuBLYaE=a^ zVf5!IVI`c=%-fLJRel;eIQ|tx@>2*(WI3%N^C6j0%4QZjDvZFsw0Fs{5(JvW+l8wExB}QLUk-b9If<1(Z)IDE4hfKR%V9GPSb;y;OHe6w z1=Q}Z5_2?fg&EqN`TMnPr3Rac!+9$JM56dJ_&Rr``I}v|$}DzJ!73>G)|B@$V5s-P zPN?{D@QsH?ZAL*gjwi75%i*SA*FsGNi|&x$?0MQqk7Y3t30iFq7ISJG!-!!MMU5Lw z9P+c;bQ<3OqmGa3bfE*Q&3?Q$;We|%H3(K{@M{o$Dxv2tu%)quDWwvE=kRN$*Wr(* zHm`d+kY^2`i_MGc%r5q@HL%&SY#{4nQ>9Az$0MC(Yt0>H>)^|HH(H)+IzZrHo!M7X z9@dP?A$m;mZ3xYqG9utaln;t_U&cMpvu|jASXtO&_QIYjB=Y301yVfgfrF##(N9AK zdr<3P(ZmLavT_1;iI%SdYb3v6aw4H?gLw;<^5KUsr-d6p7cm>meDBrZiwDT47IQ;% zHy%D^1UTlv22;Og{0R)dzI1dWI!#>%$mDM{M_y9{J0k!XI{qj!4a>ve?8R>~lk?i4 zabERjqkwVPKJ?ry`a6W48JGM%DfG-COny!dJvVO@?ihM*c2};a^_$GeG;%Y>HDEJl znZo3BOYFzcjU1w2`sj>r_W!Uwi)Ge^6(`*2Hw77~V5UQy( zmpZyeGtXU5BmWJzqPPk?*Nqyhz%~t4=E|}+LE0JioHxx^!Vt`f-OhgLc6bjXx0|Ur zaAP3~5KP&-9nMM?CD`U_seiAd!UrR)(#pX|>-a}&Xk6QT4Te}K(Q^F`X}}2 z>x7hc-n&@XOxy3Ir#BZXtaT=cLvU{Z%~M3SmiKF4W^0~Q19o~VlP_u zKY$=~GX6)VB3kvMgn#3Y(h6wKjq*_XIccvV)enhZZ?<$_wU!RY2S_@{PzrA38PowM z!+Fn3ggtQ{gTBkIId6XFaNLdQVw)uGYB0}`a$ML*14RuAStz zo^;%Yu8`I(?k5p$^+oAz;a2c4F_x>hw!-DrtSDSVd8!Q;rliW^wpJ7!pyCNbH+y_-3 zZw(M5nMAO4_wSHN*$LJ>$0!KDM5_(9yhXdq+FFNcMiR~uKsGMYLEBpC43qX9EV$uU zCqoj<$Pp+y(ZRYKa-wsRH4x|SN_-cLgl!amA8h3EBnu(pYt8|{XNhz%$?7R-*+E$! zg3AUaTPeXt;J77Qi*Xi>?@0^$s)j2Zc7i$I;q*};Q?}Dx#u?tfz zI17+!U9m>EG0pNc-`8Hbk6=00Ogpk_VsovGu2;Uu4c<@c3dA|FJKn+$yic8Uk&A=R zl)H^%rQ7kR_-Tk(ly)#F#>y(N3I`=Ll7d8yG z_VEc2J9DgCBvofnR_EA6ioeHFr90Nlwk(&P#6ysE2j63{ST4Lra`38qAg!)u z;}sut(U$5qva1|ibF#-jY;6d0J;mQqVVBmJ^!HjYZ+ea4U8@w@bC(C#=1m$ly8`VsJ&#)*7?#pgY%968&vSmA- z^;PpT{*Q&;*n?+C5}Yyv z3Sv6#o?%V+Us||nrqv4ry`shfcI8YfgJ*O8DGB0;S=M)$W8*AlP*}oqKwhw)=E#@p z=SUP|u>n*QWDy*y1a}8#YS}SQTlviW3k#Uh1g$TW17bUr>I+$ihv;nhU#+i&i-|Cj z#2qaVkxq*BlokVZso`*&a*IGa;Ef_H(cns~)fon?jQK=4p8Rw=QDk*Ot?*~j*>t=8 zvlb$Jg)GuxTs>zM!CXO1y@$PE9z-k#(>#h{RM{=YS(@<|Z0WLeNeWO`TOHWp@+Ndd z1{j`a#s}(Dc7QRNYP4WA)hrFN;Ut_~z+wtb)`1vP*EnGSzGziDXhsQC%a!!FJ^U!s z{0+s znq%Q4 z+*TIw$Yu{vLkco8ip#BGAui8)s2xncziFPbatVd2K9MziRFev$u)KnG0Qp{(4I;?L z(kACsu+sBXH9aPH#Drb_s@3jt98X_kjSR-|7E;YR7)~RP;()T*Ypi4m-LBO5eQTU2 z!)LJ^Ut^`>uskcK>=x|zPI=u*#d%AkUbmi;H6y7pH!@JR79!-zPG88Baf-XFFZQj6 z3bWTjtQ8}_5JtkfwGe?a7KLM(xbON-Xm}sjD5VN6*wzVqMcS=vuC|1$#mT^4Su{PC z6MI)U8|f^kh(CxEOSwiDNb|;ZVB6*7UvDM4R)GB?C}FP$+x5EZPG0Nf#<^!&xxTq^ z>=flv1gY>}fn5(E9A0mY!%k7Oi|m{?EY(pSO?}e68qIzKQxBc{mAeHtWBqE=Q(EwW z6NeaEDIvI}Z2$o`pCRU!;St_}!DFq!8UT<{i~rjOr_wjKk8HpVK<;Wv*ot8s#i^Lm z8)=Sgy@pBf$7^u)(#hgT40R(fCnCIr!3^JsZ2$;XLG<3GIc0aKEWcPA?5_HA98$%R zDJtI>!Y)qy;3X?;S>6bV7{X8k&ON*A)XB0q1hjKDSrbqLN6;fjbdxnSVLisd(Hz$9 zY*M}vdS+vepEuBLn?ZORsRWm6#1wNoWQ%vz2;Rf&{iu%}gw0GjH!<{`bm>i4G;fFMzQZ)o1!vKtMlYD<1}8Y85fYu3|j8wEvE+Gmy`MbkAZoBwN{0HsWFdF<-9ESzdRozB{j zobPc+1A1I>I?HxiDqg?37C7$WAL5uyXTqG>pr)A*FbqYD+9H$0}v-fE?wX zMkvI0Kxdp^=b^0WI00tj|6}Z1;G(Lw|2xABG71WU0?wIp&deDTUkPbyi3w>}O-u~R z7bc_@r52>6mL{a7UbP^UWrYPdQ!7olS;uZ#kd~S+$Vw|8kXl-pP*#{)|L@v+2F?0? zK7T(BXRrN!tiATyYp=cbd#)`^_xKJWZh&D+m9iC$_j};#PN?(pR#n{B#L)_@4Q&-% z*qNwUrS7QT;#p^~{MSMg1exNY@;3wL;4p#1H?i5IN0 z?aZ;`&d0}MITx2qGd^~W7W-;J$VsV>jr6d*C(wbS^R8xesPSWsr^5_bUMuu@`MYeRXdm+9j)I=|+O`4R zzruZDGgPzB)kmNq&mm@bSj-~Pkc&WpjE(q!H^V~bLVsoMccsGvBMxH)`$c~VPUYf$ zfpM|bVzX6PEk+LJKckDvEu3jq3tr+#wQD*OgNs$UEJIGl9^FC zaTy{DQiDt(GeFO>f$D}g(8w0v-+58(BC;~ z>z8A$enHUHNH~t!@*#~p?)m^|7I6Y)h%KdyQcnmhzsz$(JL3dM4q}~TxfA7|6crL9 z*KDU&OlT&q+o(^B%=sBtv=v{^vu>w#>lxQT=A;*& zb-Dg__{ow#iK<)A3NBQT2}sDom0i}{2G?6QDVE_4HpBt%;p0B%X9oXHT8pP)8&Lfi zCd|}xuBQKk{)$KizqtB}Im6OwUQ}6pB^9#_=viJNdl0DEmydnyO4lQ#7%%)2?&P^;Fi z!ruM2bh?GQL?9a$?;$PlXl#gTF!~||wxH#FnB-JdP`+Cjy=lZmTD>7 zP%FlI(n`Gu_p(rx9Q!bSL9nz98(&Fb>Lf*&-3R3u?A9suWmq(h?*;9-oDZNM8a|hm z_4BcTYig}lbD_}v?n%|Rs@bH*3bxboK$(jx^#_)MutO|s4^1uw5+;F z^^FiT!*icHfcB{BVYut=Q%wqQfFP~fjfx2mol3vPHm^ZbPq9a~io--Vo&bz7)a|%I zd&E$|cjI*&kIDih*{qzFxOX<5H?Q70;*i9n`tW$Rnjmz6KA*ng>g zf)I1$P_>g|0=7skpvD}8QEWCoT{=|FK>SNX)vs+|iNf1c!)@r~ugN(~9fo}G9Hx#y z4Ds?$<*&HgS~(0uGl2?In)7U&)+UVnq6>^szhKminjLmgZ|zf0Y%)Crc&svd=L7G~8$u--w!Q9VXY$Ix^f ziwR)2+Kp4sws3p{RK?pX-?jo{`zDOLcbljVQn01Zoy24GD2=>V9f;40dohjz!# z^ryt2H}F|@KSw1+-1@ZgA5aHi#H^|*>NdMTlWPQ;6lbHeHs`1%nA<=SEY1%C^%mu- zwTONH!z!qooq#T&{WH`g9#Q2{b)$0J!UhmJNPJ4tvZ!%3s<{L6v1z87qnx0cS?IEp z;^X`lEn$lN9aX@W8fK|DIot{Y3UAB|N5f zg^>Ocp%%NfQgc{{$j0%B&fH~l5@jouOf!W?@7-WS$!($*96KL;aDsNA6 z9|vC_^0=D)m+iz)yqRw`nU4dR@u-|02@(YhN`- zoldnk`$BP}8#QJtR=IOA$D11z*pmG&vn`#g8h@$L1+EdKz5Hrp!59ABSRm2G%hltp z5;yo#bM>OyGP}&n5O)lR{n3`*yfFr^L4O6i-sMlI-4r}eb7Y>n&B=yDFjP4Gi%7yG zs?1XtITZLo_cIt1HEBL**3^78)M0~XYZ}?$iKbA95U3QMm`@w>K?8y;=N;AFjjH#WTU#Pll z_BOPy0#;$G7pjR4zTK-*Lf@chnJc){MXDk8PQ0=OHeI-^y9izUD6LwAIp2!DT%@u{ zIe)R*v)L@QNy(?Npj9tc7ePg2%)iy&m@q9-qY?4`C7>~3l)FsSzHk}FDP*Y{hpQ$D zOM&kb=+33c7qX_Mh}VYdmZG)cS45vECU!85bh;vo;@3b&T7xCa!;fK?W;~-V#bY!Z zoAZ%3M`ipp;*N@BF6)9_bR>gM4s(MyEASNE`Mn6xl6#{!fj|x?(e<_4bl&~Q- z@}1|@Eedo{wic=2C9K)YL5e877_Y^NXHwOhv8Gk7P?tjx2EWpyxZ1pLh57*17Gqkp z!zE?R&+^hXt*tJkeqwX-a&1GcOv*h70d)8a>PqOSy!HZ!`~=AUnu%^9*g69FhLZn_ z>PoR#Oem`R9drF1*b&9U-F9nf31$-a@=z6O0;|xh3D(|KDx{Nt%gHJ)RnIBVe|hyk z>JGGG+AHcjeDErR`W-%>zp6eY*6mi5V8gaDwW9}SAl9gJ&_mXdwHSNg2M)EcU3?An z%1&9Y0oh_K$Ls3CAf#Wm0o@Pf#|`R)HdtIEwsL32(v9x}PrkM4-dB(FJKp$4TZgOE z8H&=u8o5n$Cxv~471pBMkJQ1a{<|NkMf^nb@ExkkL?4bnrcO~5kF~2-9n}JT={co#MfHcD!s>vR#ZH0dTU2vOeM{jx=%`1- zWbC>UZ-aPt{b@DbrkIveuWk&28Bql9P-s!3njuuXy3&`8Y8nms30pPskjLoXz?r50 zq++Xfoi*k+%nx+q>?XB^qV%xx&vVB^M*6!N9m^6>ra43LW1`#{KW2lUr@G%&vp;Vz zSz^t>%nfo7`>`4~`!UJ|{M>#&e1zXVEBS)@0UP90E~!0f(IqTi#tp&YH2RVnZ@WH{ zw2wkHT6YN@-_wftL%m?`JIdchuctYvML8BtV2Wjapu_=SB;bHC%S}C_$VXh@ZDT<-98Fo7xBnimloVqJ`PZw_+YhHS%$v!#sQZXZ>@q{UdFH@H(3B?Wc| z-KGU2+#xM&!z1bF0lkB@y1zS4fnLSlo88p9-3X*+u@5T-@KEszl1j6OyGKB~V%Ko@ zM&%A`_U-OtwsvWV$vcgDUYGEXW2VE{g?pTGCq>-to<^+EtnpNp=ALf58%FxFq`CE;w&T zOxXCm(;bRKcVs_`QpY00Qhu*${hb&v-(6V0#k=9Pce)2Dlba*?@Mdn=UG8Ccv!v=y zH?BVnfQC$M7IXWqNFODRawoz>C9($_{{^nR6pY2A*CnIeQOfVKrz-dev5jq~9u7wX-Q%EzM74|4(FiMYz4$h*2T%p^jC9_3H2iVeI^LazH)zqN4=FfA z%%9+X#r8xbJu$UCEEs0GH{0e#(mpR#ZNjtA+&tI?LEoRqawpNwEVqi6XE9F9Jf+9Z z_hUprfV%)N{^N3N%{@4tF1W`%#P&35d2^fVDRd$-TSzt8s2PkHVrPTr!|*(tI~~V0 zsDq0tC%Okw#w2$fb(`dl$6K@GC%Fg14xigs>}dm1`$=#JUYkV*Saps;Lp^k|dr0iE ztE%t}U|wdgr~Evye$|sPw5iANz@+QdQ%BP|V zO&qs@q@zmHO-A((~yVUQ-cK-$3zu9foCFkYhmqt z#Jx_j3TClwp~(z|0$oKBdZYB!P+V-ovxM>uiOjifJXbdt zr7oBYJReL|bKO0lJJ&eZJ+R%-C`r2ln0g!FFe<#cjjQ7@e~{BZW+{F+pd&h*Vak8b z87cI;Z>O>+kl_e_tU!jTfMI!=##qJpq4cTq zFe-O)-Sy&ypcCcu+))X4U6t{ut1=#aMaI0;wW1sI&`-jUshS7!GM19_+&!s04|6Q@ z)lho`lk|>=8DOnpe2*j8^WAE3K6Y;3~yoO zNnaRIebU`mnM7I7fJ)2<%1x$KPr3(#CO7-s$3A+|o*tkA^WD|_Clqv5WRbK0n3uBv zMP@GG^@Ck_uNYFMA6i2CKLqT2IR~6t;Les&W<3QkPo#JXkykR9vk@=EJDYmEW$#%fD#sAY7{I&6P^;?hr{ifMaa>&IM8{6;1c~gtJ!O%-wUtipg(&u zVM7``qb(r3oXt7R_;(0lgb66pvVwuDCC4n4Hz$J2sSsL)_ z3m1DSFUm9}G6%ej%{2lA;yOev3q5dNWSWa z14MF-9}W=7wSJh{3MQKC{4n#E48P`w1M}&1KOC4(Z}?&Vdv}P;i&SX;gCY}j>A6dF6cO=%|@-oeU6qMHY z;9IwaSk*t^d5Qz2o4{uKo&yS0^0b1rhUeTdwyG%7+T!)fQ#)`BZM=caQG6;NAwGvv zoA{5Ai)>@M)`^T;VI^a`?Ddai4+^UNv78D#MTL}ri41dFJDBhd_Uyc>Lv~%&A)ip} za`%XNyZzn?{(ju!hr9dXy?(f}AKvGOnILe#@Atz@92ld`-LA44D3Pbyuz*94n@&*gTO0iuD}%gk~<%EH;figCEtba zHQKed!&W6IrGJ^LUV+6Ts@UBZ27SQIhZno;wj)vW;3n(@Qi?HLM>#T%H9DK&v=Sav zUF??6Hq=pFvHL#CrocEIm*XVp(}^p}s3fc~CmCUM?7_rXia6iV$dy>HR<883?%$)_ zXTVnV%>WTPvC`d5*n9jD?Tn+`Q+P-~ecs*6rku4#zUV%#*czhf?r&OMYh|o*!(_^q zGVmrt?rxz{Nf}nqpRBEA?!h+O&*+XdEjn1nYBwxaZ~8AtUeXpvh?TP5ogGZu-$LE1 z|LZUIGJri)-C)*#1B>CK%r0Wo(zS6lz*C>fG_RKat^|Xk2BTJH+7v z(*+g63AlkHv+kZ&{rB#uAUgCD(#8A;UiflUi0N;GB37@n?x`{| z?nGM1XRVFue?hsK1k;xp2O~n>`Pp3$U8N>uQF#hRVHV9XVO9QGXr3kh>aN5UsN7x} zE?}(#Q&s&6dN%J{yh|DX8|ng4j`AZ`=7J{oW(O~sI0KmLi$pnD=iS>BTSz<7YTDp! ztoASqn{>gAQwQ!22UX0}BCRbK-Pw2sS!R(s9_pM)f4ZY=NPVZG;bET5cJyj>ALB?D)}hd4*9xH2n&r?;tb6${X;4z=4OD9Q6Z*C59a?4(blk(78s4!; zqf4P$CsDl^s!C{~7a0jKQX8gaDu}b8wYJ-aII|3AcvgQkjp2%EiQZw zrb6wiw$AUiwyRo-0x4F6rcDflFV(ah4BjP88y1L`scTUo{+`HS zO1VoLpmc$nvi7Hfhh_3d1MEgsqqT>W?pDGWZD9-LIx6d;yBs}$z<$bGpULfwm;MRO z{*-u+wt%`##Av3z%37)SXem@WQA?sE17;R7ABLToyos8j^s>q(YH2p-4gNU+!%361 z0nR>turGrqW#6l*&Kv!HH_@_t5v89WOcYV9rhBy*-1@R29?)7T%FX1SqNU-^SMC&T zzB9=mHQBl}1tb9I;hCmI3e>?{3fZ`UT9B)$R?ald2TihEt~3Y?mFH@GffbB_#Sd%Q z%B?u%(e~RM|3Y@IqKL`Sl>P{Yb+F}rRD&dc2yK|Db%JC`pltcQICcx|3u16_rj{Op zt3)I7{G%9Cq-@o#(0mPdq+Qmo`5J7c8H+#!nigttN{Z!K1T0gAOB^a+tSyI?9VEtn zeIc$CX8#+Ldytj2M1z8Yiz?m%H7j4LbyG%A#p`f4EY&8#e{V4olonx?X{a$F&s&Ds zlS)E8eX_h~wM3h8hbYYg#Vugu$|};{LaFVRYYWk39NF5uT1p|^nwAiO^Si*jy@v^#lmU^NC0RjgGai`QV5-AkS| zT0dB0M^kgwU@db|%^K|jK0u!y#a)oJzz#xE{<`LS4p*l$cS0Y5&m^q$b)e^RM5oIS z1X2x%nzR%my7<>cb8dWHo2lGy0sS`eOJ8X92R2HtK=%h82t@piTDG59SNzZ_x_Atp z-4G^tYIDGK;Z1wIQgwop~PC0&9Ms zXhuZ)@A_5FzriOovOr&V>F?TN=SV%-WYMduMkjPOXD=${CK6 z!s`ENCCqP4s|2NSQDLPvN;Er|l2_v9LlxE%P7+L>V|dFe^(AbFlJbD~@l~MGSMp=2 zRayx=&Qx(eR>X&z6%5&>;Ad)gVocL4Wfw>@ipu>2#Ej7tWgKb&t+P+GYWCi(jpNTA zw7YgUrfHf5Hw@28-mC7IJsNfswJnHKxKATxMl-J&QdBt`GNJw2qOdEk@IFGn>__@X zt^U>8v0!B;$3Gx?lhKX0BfQejBIS^#Lwf2t1Pb+-HU5ycM4`N|u01<&$G8^_m6s8{0qMGw%6&Rj#Pgs~4T@}3SdwGTw92L0ScoYjC z_i9VZFSMhz$Iw5R-nCi}>U)C8`M*F9Qfsw!B33KPy*C{8P&fkQIVA9)g;(YDaKAGJiv z{1Yg19g0EKkrMwRA{YFac1b&)S9xbAm1!eilryKy!(w;h(pS z64$wz>kM$4j2nSH^+KvT3v?57CDMv-0Qm#fe%Yu^35F+{A8Czl(r}LFvM!z1{&;He zC2Mb({)R(&h8o+UPD>;8D9^JXGK|gz_;Q084H+)<`#)z@Md~eV)X+{>!&pV@0e^($ zoXIFaZwXVs%$_C^@dOvOM~WV&~!0*Y@Yh z$xL$+e*BMV%>R!c*X<>%uA_dRjTXh}ko(2yaa7txk68<&={7t-%&Z%2>Vcs07d4RF zF8U!mBu-dZu|wJj9iZwSdTQ8ev@cL*7&Xp`G$}P+2f3l#c>O&{!nupAqy!yfxrR<& zuP?-tONGPGZJBR@{a)Qu#~I)-Jp{JY*tfW4>kvFVT-8%Q;CKUB!)|ph-oPpE1v~Da z^+Mc+3Z!aaSI#2_i@h6rp_*|wz@xGN=Np^YmHA&g#6az_MyKAOPr_3{h=e^HC-|>S z5YpS90Ivm!K#_#s=dlq5nr@R?n_3IZ%j~b`KyMrg zAnfYN%g!x&x??Mv3>Gu0HHgx;V5ahJ(JN{FKs_FBeCdghfh7;rdx%ryN~><5K7}B9q& z_sht}hqzu}dOO0ZMW2%IcEqS2uBStLQFQVFj(8t!XaCe#Ai(FMUd?9bzo0q{0_)K+ z-h_|PGhx3*q=fw%)W<3xp>MK595wk4{XI%a(_t^r-Z~tQr+Cs(eQ^wvlcvWp?~?&+ zT%V>73W4@o<2d~xW{op+9J!}i`Q!C*Hpr>4VFg<}LEjFQHtebK%taK;bS6bI*YmJ5 zsyIuxJ8RL=$=u0UK|C&6Ux`za>e)s}@n9(PBxUK#F;73w(zn@^I_vpKIy3~o;kOY;r*{Y<&j^Z`^k%^&wyj+++o+f~t;=!ORoZNY;m z`ox2>=y<#{1FF&VAWH4^5d7>9q0}J{A<8-iW2OP0mp_CkTOLA`CidIOQ9^V4g*nKb zqrXDc0T}z(9K8?LfY@BUpOarS;eTFS*;FE}oLmgPc;+O8axqF2zYKT!Q)lS)NYMWg z{cC)(X6ijD8DLCRdr+(r`a(ktBOgxiAu zxL^pXmMzfNc5K<+uZ_Vw2mCYfV@ll${(QD1)CDN_DNKW@PwAo7qNnuwV6j}xq5GHW zu*kC%b7=Kaw4#AsnVoc)id~AXHkJXL!2zl45>fKlHE9|A%GtG?UA64GoUCaXMo1JD z@{GPk8f2=Wcc0UrrR*XMSw<1U*A*d63A=VS`-LnI_{A*`#LI5>Th#2gv)S)dvtQhb zK-wWI0%;dD`>kvCD=9|2!z=VkOovs)SZ$P3)|iz#tUI2zR=ucq4RU;serrP`|7(x7 zPQ0YAQzCxwcQC8PKpqSns#p&(%%)Pk!3LvHufC!mb9@CH2jg=Q7q^x^9@(0%`x3^4 zwy)N!9cvJR+cPU8A+hYFK{It1j=HK})nj<-E`gwFjlKvg-{Lj;e3+K1s$k-C9oWJ6 zwTOZ^LbR5-PTvfw6Z@LJ5b7sFh@_mNci#YlL!kbKZsN0QgZNZ!fJATfdOeTxe-pUW zupR~cL#&r>N{c1MQAOiOjZ02B%ZKUCw^#kzoyo)^jA$k7;B`bfIyGTZb$0X^- zrZpZ?<%|E*v0btDzNcSk-p$76f_JXn3f75-$W~N08Dzi)G7$eh=BmH>;U8cW(x~$X zdOxwJ!JX_?v5`TRh4T~wfF&3tkxE<&LLtk4z(#J`m zU(ra|gOC4M4@cFKKi2yQ+Sronf+3SF_*m~HQ{rOR$9gKFhrObx3 ztsot{hVajUChK<~r^|x@n|?d=Z0X?&8-%L!K@+op5aaID*FqOpG}dSh^}+aE%uC5K zMCBqV`Dy4vmiDmWioqxPAmzLjv0GmvXzLzeYMOQbUcC(_GR@wH#rc$VdY|6L=J*|5 z)q$#>g$dcbgIF%ad4VyG52CtaekIlD5cXf7*A4*ZFN*T5h6DOan6JX}Rj z)uH99DC{`MNBB4T41a0-1U8j?1H2GnYw>yexX$a>m=pSb(Nc}_i`ztt+6bBYKw5ed zbMGsw;-ub*iOrYa=?^(p@f4vdJ7g4b2O%=bIfcdWD=0If|3P|A>$_=Ey&hxbeGgng z_MI03`^vpgOh~*1rli7Mc)2d`0hpx^sn;`#e?oQ}hcGpdI2E zD`#dD-qCcv0BR78QD;bt8T(^BGGA zi3xmJ3`ApYm@xw9S9`;Zem2a^)`xBFEu*y&V#CQ*=Ws)ZMsxojhAU8I?5}$mqvT-Y zURDod5akWPjhUnfBSkI)RP}X-o|L#QHq@$)Fz~*CA;)`8l(Cwt+|IxfW({v=3Uyn1JCxr%Ks3W)WMHRxC)C2 z%$p|2RN#q>3p*HXg1NQ^>aJ0hVN8Hdw8vv$zpT+vuhGZpLvcLo)=U_CeYieiUk+Vy4o>g6pubo|+ zK`w%Jb~WOh-TvyQb~BbMnpM%wz#~-M|L;z=(8+yyF%x`3w**E;tAB!ldpw}KJ&pH} zN&j93Y)xx~uSx5B8+kYaOIYfG0Hlv`q6MuVfZpsiz?h}PTN?%#gM(<@Ao!?>xcL=2 z(15l2`df|gqV0p5B2qQ^Jl!7<^>X@QArw#yM+?&#H5Lz>Vxp)73c>qdJ-Fo@N{&; zK=cXIep`(l*Xh=7bitj=nCf#Wa^5cE(2xtl5sQ6A}gx{y|F7%lFE~CUb zq&bhWrws@;he42$dOQB?xxYgQ61hhiop=vlJPNodz=@=q@;U{5HYMF z6fxQEqU?K&OdRiBp53+g7)xovL^<#292~fT1=awoFq$3+?ZxZo9XutSVB^?oDV=A6(xI2a5} zqs|a`l}_P~vl^#hC<7QX)#w__wCQSDDr0{pEt_UsK#Ii=8hVf;3t37zrE@t#Z@}*! z+MA1NPo&0NU|HP5+$I)W4q}&(L*C0lQV0r#`K*T#EoM3b3m!HWQ7?97&Vab`0TIm^ zP!5|yBc~(gA`Z`+j__$z@d!vwC2$NcM*|}t99FbY>V1+f(MF2K5V?L#)#IyeK_;WqO^~HAdqd-lvRgCAQ$Ik_ww+f<6tvN>cYU zX0zbIhuQEV`-AhrHWVy0}pj=ncupGDzm^whIp>{d`j0meLy z-YvjbY$^f|my#DAQe220Jw;m!MYo+VG@w623C{r&(yV3A@hVSO5Q6F=qY?py%aJeQ z)vPdH5tVC4RkdNbe_m|F1;Hke;Qqu>Z0Y!Rs@3p3C?VU)eG$Y;$Yo%BAgi_9b_TX& zU`R{2R60{)yyst%vUY?*&+~q4lfR-PtBmh3P#?Vnwp6ncUS|5&%=b+$HPZaOlrRTJ zVzuvqmaVVFtf?(ERw5p@DYzr?AETrwbvSfTilU>68|_eKEi<}NK?tbN%Kr#9H4yIv z=lvlz`vq*Iyx<$;)UW``As1EXmsh`nRYkC#FarCig5`NNcu|b62q5o4X&U{otg31hg6=46Cm2fxuM=cMHzc&n&p7Z};8p`KpU@GPuZ#a9@qH0!@u zT$ffD^~%fE?Ee}ITVtq|Dq|z=L{wB6Y0fg#l{Zhg(6b761&t4lov@G;u?;gid>gtZ zY8%+2HH3kKAZ87Y{u`ce8&$+6FV`~b|AVrQ#&0*4$gVF+PQayx>9&yK=YnulSApqEAgtX&jllfo|eiQNI zh2RuT+Xa#ivb77?wua8^GS>R5Uo#5Ea3@D&zxRnT$&XECs9``Nns5{u1_H8=fjLT} z=Z}E`ZIWYd+|xeFO06|u0O_hZ#;bSTH`vdhK4B-oHbH;&TQp?!DmxZlm|?*QyV1AZ z+y2gF)dSJFfP<*&P4HZmCr~Mw%1S)R6%@cYl$84ea5(WCc5S}zFn!Up-x<#$xaK>c z@mI9<6v`E`y83%Mc_Ox&@uv-6pqdRo@V@V~v7Xk~V_Nn7UhHFses5g3f~Jx2TbSL+ z^Pj6GGejw?egMVvHy8PA!O`P}dXTU*+EtHL)E~0w3|Jt@Zq67p;U#)D?nfgIu}1!A zyyawxwhg)B!oP++wsF=NglIxyl6TgK5`s>ah9i7CM2eMXv1dg?6B>=%=Siu zW!%`>YYX%f5jr_7c4CJ6)VNNauSD^g00Q?%~&ss!Rt9q{zWZ{3RmOiWn~{6*v@J~ zCOCW@>F}6Te%|QjpAB_BM|4r;G0@)gMm5D;z#x<^11{A6j@h_Hk^@*GhEVr{Q2_c@ za{;^jG;7*LP(>72bqRdIDJuJe7dY$4AI9`xWvhikfM#oGZm>s3=&E4P1R(gOU=LQ6 zQ+Pqs^P-dG2U4NRGXT9^9pb^x!um4AgM*2$$Q|nGhxeEQM7L7*Su`b1#G;)N=E=q> zub72qvhQkDPYTs*hzglTIHkKiqZP~A;6|&JopQ?Bb&ml? z02V&59Jhvs<6$#8zIcg8K60^(mg$K6iM3bv?6)bqtyNx+X+t+w`8+cPSAq-YxQcG! zDmoa)Juph`dBeFEZQ&^bn%D_rvCrDt$rA~5wQAx#5G3!n#&_{dv? z&hxWhl7!Jnfh4JVfQ}7!qGz2GovIAM@)uef0bQ(HJrH=Nkz=su0@5J>+P5{bC3&}b zp!sC=ALf~&wEL916IB?DA77i0Ggh1}BmZu87~Q#)>S@J!IkBr!KC}AY;Tgf;vNX?k z0zGv~eli%1BCX64&k!Z{F#K+S-w}Mr);hn+Gr@_Y?J;XT z2OK!s?!Li;qixIcCXf9I%G&5LaZ%%`jh=b7Z=>n4-#i*s-wlaoT)78&QQwJrTU#nT z@j)1E59AreZ+l9W(^U30rqlP9@{VV^P5HrkWV5GD5S72@nIRAK@u13kIBgdP`l*#T zOi6Nt+O5Pbo8Z2kgGI?sF@*XMrdnU3QX!I_r+3c2LP4?Pzh$B_)TC|*RC z;oCi-?HCSZ6F62lZY6B@;Eup=7DR>6bZp`p9&~U|UPEyLoDAId&pa(rA6 z6u3AB4EpQ^*4ZrhL+~DC4c+g#Pf>oLifYe1^ln0p2NEy4we^6fYYW9er@!+2sRUc6 zzxF^GD)9(ryU?P5B;W`-z2IMvHDw&Z9Cuo8AMtEcsOgv|ik2SpOjTN0=Z|6FY@spq z#9^bol~d@3ScWgfG*$&GS zWv7|j_}()JrY7jiAJ7Lb%Ttef(%~~80!z<$QYqy}xK5q%Ou}-Pe+D%PIfZL2lDL}*=SVopGbT01rN$UkKj1k^*iWh=NNkMv<>%QE}*4d=$8vXqOR7Mi=LS_r5n}! z;V~WEk$bq*qzeBNtI>6o9PV{Fuf-JSDc^(Yg1opof*@M(C)zuQU8~tu!mjP?67q`^ z>=FWjUR3Awc3KhYjaxC*tFB1(s!DGvjPSaIHbNgtR=lni>%2oKO7VslE8Zx`9NQ`0 zu8>S1Xrj`OURAs=(a{pH`MtK8pw^r_9@8QiQ??Y+~5L- zuuBx3%`R4WqDAb=W7VgjvgmTV_ab!h^PS#kXW+)(Fab&psT3;f;MJjg&%Hstg1y<0 z*r9qb5~wNI`sv7Yd$2bgBD>Fny{3{Xd*0>mdAy{-J)hVD(I&M(*%|Cwz^*y$TFtH! zc5P>u=#;x;S@kW@&{54@k?k0bL2gUQZDD|?Jj9zwJ|}uD%89baa;#32!tQZ2-idl- za2s@p%gXq3H&yXx0_WTh+U#|qUf6+d=}pH|469mtCs40e$jjHt8%|SOd83M*UObiy zNSV~!(R|^U+u~%^Gw$zuWv4MsW$-=;@_8|X*|HBWzF-T1`3F(@1F~I{LV+t&L=|B6 z&xz9l*%2_Uq$QP)Vy2=n@&vz;G?R=}DAe_+UgKhvo$ z%sYbeS|eFWC^ATC4HSBW@>>HJVILnYMVzoUoPQf+I7>D@iQThlXdCadkZgU~#yb#_ zEq6G2ZVr#23H@Wy+K2t^c|tZX!w=4*thOjTkMjAGFB=HqmOzpS^kqSW*G`|s0;TgJ z(5pMyZ!=uQZQ*EOufA>l9Ua#e9lfx*qeGp6LKewFpxw%a{9Cqn301ZAj=;s{h)8cA zTx_n1^_qC47a4AfMAoa}f-z`;4@PUa3+PNFno|g+L!ij$D0FOU6uM~^yK>mIl3fMt z+RUzUxbTXvXi9CAHyiKhGB&jHE})q9{wjyGN6yb*u5wYqeUjsYUE=nr>x-1dADDOM zAzDRc?J-1g(f-si(Wq?>AZU_evz`>~jfdDFH`@Cav{F09ptk>!v#70q7QG^8(b5>y zaZ?QHxSm~~v1<>z&aq2~LZf2Y#RAQBvIU8;m_<-M<@vER7UfpQdVP2m81;XH`))AA z2MF|2o5T)4vkkHhZ&E(b{Ed$DmV$Lm|fXH-3?5Roz_;v3pwmAD)f3?&=}p|^*%&>P1G&rMO&z24^oCv zozELxlmq)LBQcG}rXbqzoULQ#qC`#o%?BVi+o;c%Qc$jA4%VdB@Qq zA5fvvfe9mYP-}RqMN+-bTLJ}A#K1{gM{m6207_~Fi*)vAybO81qqhgtNIPHaeNXv< zmsltd@tvL0PT22N{%M2hf*iceRxk^jC8Lvfsⅆ*2zl>IOvX@y^kv}tXS5?JKg5^ z3b}Tm{CYf3(XG383v4D<^+D+uyMu}xwi2%Mwy@cb#7JpsYP{DMbi+}kVBxV2vrFyp z?Ta7#@eL4`jDX= zU2pF|=Qqt@R&Vcpw&Q;G$|!W$J92r9pO(Sh4shhC+g3ipJ^I@&e1CV{6c&A^Q(2KzZV;kqtt%@7!t0! zlPW6OMO!llcw+{%`wbqvePeA(-l%gAHNn7$H@e;VD}wmojDvocK^LwFg0Bd=D1x9c z6fw^m36`AmfZ0C*fgjHU1bfpQW|I)aO$^y3w z0>c#;6PPLEOcG?o>m}4vLcJt(gM@lZsE>sDO6W!j-6WxY5=xX%e+k_zp#c&~l2EdQ zZjsPH2|>ofb-7hS|B?_4;czDnkC$3M`B^f-Y`pi2K6*?-kIN`?Bs5n-Pe^E< zgz_YmFCp04;!4b?gEWx6b^cWs#*t5hNgF8qfaIsAJ zZwW1t&{7F4lh88~dR9UO5-OC?a}p|&&~gc_kWevqIz)WSyircVpz#s|3!?u9USuxw zhD5CN`|-I2FE7u_WG~1}UX)OYgjPxDB?-MOp;8Hz$$tHhgkF(ht0nZRgw{xCt%TM| z=rswwE}=Ihv|d6RWS(zIXrqM6B~&4y|4QgBnQoJW-j>ii60#(;Swinh=zkJ=PeNNH zv{gdyOXvexLZyVNB=n(#w#k^=CG?SmK9G+n!O|`VC;y$C#HVD0(=x*M68b?x^%6QGp&uo5RzeLDYLw7V68c#}=OpxtgnpIK zZxU*f(0K{{P9ux44aO^lp|KaP!sCm8nQUF6?!_QFe{j^Uv436_i|t-=ELi9!G_AZC zO|#+YMsKtdL^Z{j&2|aFVlG3$5`wi@h9Kf1%%fBS5AEa}OsHuFyr7yu$PI5GvwtX_ zT}A<^YSCx5PUNygtocA3>sTYkb@kZNj=sa%O5e~;pm(ZOOx=TW%1Y{e1_xR&X zq|=$xdECPg0wLI$ zk6_Vz1eGQo7VSh9^XYAd7D(tRI>XS@0t#E`Pr<{bQ$803o1I+LVt-LQiLNZ_-!gcK zKbUuAR|YSY!OQ%?%+*~P{EQ5K)*sCK$18&iM6jcfgQ;c-l!Ft!W~lO<@P;|OEHA3Q zT;{RDp9iB1=MmUt70bv(yEyVn2|Z7W3Frlx^hJNt0LLHb#u6EM72R)Q0AG@kU-n04 z?7p(Dr806EeQBcC{v)ARD9ndZTP>kisXs$&B(#>M`4DrRgkGaEACTsC$Sq8M-@x6` z+)r`Wnpf_T*VCDfX4mFt%{Ex$uQlf>P$)Ul$vgnDP(_?+wJS&cu2dwe0NjeUb~a(w zyR+%T^JONk+;ukNAsUM4Vs@hCUCnT7NEZ`l2Jcuax|;LtIPi~+H~Fq{W4t*~5xZHu z+VMIh8Y$PCi2}xAl?8Q&>R%zOUw^%+3QwH(vS;|c9qiVr>&;3VPSsz#!JL4T^1?nQ z?2Pm_C*g8()gZW`O$@sdZ{mQqx)BnZ^4=y4r}c)VuG-!vZvOXyD=#(HUQ~NO4kG)Q zc1W5qtD(g77<5}1$v>d}eK4^rEo2Sb<5j%c;7t1_a~;;HlQ)?I9UVYHaASj@ua?x$ z%z*c*erQhztFE6pz)m5_CTs(ahzX}bN#=H%k&GI|C!z58Wc)Fb&2(kE^+>YWBgpm< z76*PP`eO@q->pRKxT=$PTC4tLcC|Tn!9T31>V2>SJCqQsVTid&!8KI6^QVuwK&y$BM2wKH>8`;36F<48S_~*H)51IU2%Md*ll1p z*u)X=_cq9-Mw^+4ql_`lw*16GALPVGlAI%6F@JE83bV~)OdsMrGR9np$#Q9o*;SY~ z55f&Tyo8iA7Q^x=UWVmT=<~7W*Q^{m4k&(-kV+!^MmuxY3O&&q4@ zYelbS0QZdNp{Lc9fwA6`VRnPfzYQ4}Vmvb#W5tgLMaAjyw7boo%GXxe-R3JTuoLy1 zF!kqP2`TShQw;_T3nQ@OGu5oM(Pz^^q01jK_rQB@4r-A`RSQki+MHvmLAE0u=*@)S z4pzf-UKIw(OCITunmcVrJJ1s)u^Jg3bZ__^4Wi|lW)oG><)v zNCWE*C#;ckfxEVo7~Tk52dnZ4vl5TwSou$y(QIcy)O*WQW<4L^%eGkXYtatJ?7K=Z z*=fs5z}EHr=P>`-gFiUTKJpUQpYJK`We~R?sQb%+>S;VfXJ{@%Khg$<&eC3n8mvn% zn}ZcwBZm8&(q2rfpRBAhvsDm_xmKI6K+F~KDzN7l>#0{wyc)a8s(Rg=A7uL#6=xfR z8E={e4!Zaj2ms^Fc?#QP_N4kvXn)EkvlM0q&ul^o%0=sjcg!|+=OETV!#^nYMA@U| z@_Wg;|9@r?2GhD!X?|@3zy0Ml6#1t$e7iZtZo9@sH$P@xPX#kz-_Fs4zK54gEN)5Zs5^?i9jPm!GdPM81B4bAEF?&RW zU*#P^jqKg_D(^^2*lWH4-WeZgZd&%x;(Z`2V4|x{S5f%&P%KNq)XIY=HSI$uoZ5$R z!D;b+AaM+J-;cfrFAaza_M^|Zx~hav1Yn)v$RaQ%6km;*0pnO9IQZofD7D&5!O_59 z@6DUEp&Enfqa)SGzN3I5uDvQ!C+c5gcD0t)n0YXDQ-f8sCufN(M0i37Z-7z!~HOJP-28`_rvY{@CZK~upgT0hXeLQNBZG_{m?u7F!Md!g=u~m zhcnmQ&k7X*-aef?DZXeL^abh)qh4QtDBK03IPfa?!i@8bx+>q%SLHj#`tl15w__~) zv2*yyhTD*bKzYYe#Uc0)qVZn>xdknOtbSEX+@bl>tZqT^-=L?;>(JHXt%PsPvzWye z2-koR9D8Qfo8vI4*{X~4Qk2A64>fMFN4|3gYl3rvzYZT$<5!+YEBq|TAT4SDX%oiO zEBoP|iaI(Nm&zJ2h*=bIvk&Us4WQGIk^O37OF5xUXi?=#$kiLLjHNV!Mj7~{OtOYI zntc>&^-pF-kg!f`%X87uuOqJ&mYrc7)4WKvYeGYD^4E9)F&ELu-$1t3|Axj0e`u_; z{}T2$sas!LXz`IyJ0JXsa(m${JiZAfLG09oisUqzF)&zzK-ddz0+G7d#0wz|dsE-@ z;6%imIcNP{z|;dGsU~EMM}S~Tttm`405Z~j%AG~siZ?HAU>AT1XliUi~BRnfq6q6t7 zO9O@z#xP$$ zRIYn#-vzq}=|c%Ys8v#=Z;l;iQ?^F?&MNDz4Kcp8{4mO$9Z-5Kw~OZ>P_+46iP;7S zfLy+45j^4_gBt_EBmXhjqxw_d@sGhH1Hq&JF*rXE%%{|UuUbVQnD?K553UOY=lo-E zgxg;=K6d|m>f}K1jDHNy4Fo^>kHKYu;936|ToVXh{Exwk=C9f_{}`O0`9?4%XpDsf zn}Uo!jhfFC!yQXChOet|MqYMCU3Ti^>Fn!DpXt6R5zB)oU44@@^*$?)}YGPZQ(s!?(zDDKKmY`gF-SWVb+(j8v>AS`+U`8_^MWONxEq*vsSFFzGt-+n~PH)SJCQOFTfv?akOJcs*y6A`7t=Zh9O^`kP=r#mEGHu`*{ z1YX{BMISK}Duc5+@+_cL9eq9Vsp%+s%!7)EoNl2q4PB6ZtuG3pbFcNeg!kaf-U1#f zsxF+vFZbV&%T7pX0)34Isk5&WW&VO!Qn`Qbyb8YSD)=A6P0ES$g`-OOalRMvad-9& z7P*b1vgn{l;e770vxr7^gQd3c1u!47rL$;DO=n+EF+TTP9v@#9Um`Ng>LU8TP=2bq z_-2ay=2Px-QIQBA+11}WPX&DP13oa)CgW6e_4N~}W(yzTeC)FG@ypJ+mz}W2kJKXW z6R@!aP1QNwfNUGA#oc`KgRslRy3O}uTEnrrJKf7#h^aSE6jP>iYPC?8@8L$$mcA ztbB*u{e69?puevh<@HBzZ>GZj=oy>=^he)0u(f1rfR`Y?gf4&1%|7f|Z}w$SIlE@u z>`SEjn*&L=%B1h}+SQffd!tn!h)U6n0lsQyB{Gul6W|>-=*A}bph#IoWywA^vgN)7 z-{ONV>vq~Z(5FXm6EnP}X2yPseV6;Z*fKm>Xg2seG_6#JR^G2geM9eLL`+;Nl^^ zP7(Y4zSaIO4jP8|2HHM#(fi-q+FR;SU%H|kpxoOqF+ZbaxA`VOA>zz!m|S0wXPB=D z>cgTrhnRoD!P0YlOJ|rb9veUKX>5#!n+cN&PKTA7;v0o0M2GuenPh!CJKN40f$=xi zLou~4YVV-1+kNvQcoIG9Z{|@{3j*kCgD@Z+gF>L!+MI;cuW;Gc0jplVu1f6{{@q4^ zDrJxGsSfVX5L!F}>uc(rVIgf9W^q1sIx&F?CRE zD#q$tk$V{PzX5*rJIdmaQGx<6{)@2V zbbh4I752klygYaKA|0HQO)89}+~HHP zVTpcKI*2J$9K?v=G=&i?{4SqQaW>bCJi9$E%5VgQlDY;*7NvKhv*wKQCE9*+Nr4E? zU3kO-R>ELf3!$`mEGEoxx^*;0-a)fRW1(TCXIRs8;=)_yXkQ9;r(t7!CO!#c&@(^K z$T7ZS5gdtkaoqeq_|;MJSl>+Sq(yeS#`*@*AnA6G13LbOM)Aa9Zl8PaIBm`FMSFPQ zcxMpk#HPPRTQ<(;>devjym%r4!$h#B0=a=AUxeYc}#5+RYSX~z_e}& zuR{WX0P41?(|RX{E~`3iNUgNC(&Ub%Xc=OlO;fiJAZ63GKPv6_IS$%pil00 z%x(QX&3|c^pu!$^!$NFyTAyb4yUbe@TreetrM&5^u`GAnL38d!6nuxZZ-~1cY>D;i zOO(B0YwTtIiCz3`1oh~^2*+-~5kyaOogdxK8Mhx3VDlrq*N*FcUwJ9mAQA`oQv0%? zsM+HVh+_v3CL?0{0Ke;WK`tiC=xWR0w~?89uky=wT>A9AGO6;1zj}>J5Pjth1Q@Re zn5EDTzAtE4a)|F?6*-hVDl>I>79D?G3?JsJT+~CMazbUp8x;Cyl{HwhguYG=ogZ=Y zFqfRvXS0criU#r$Rt4~@koW0#_=|RDDda5`?Nf+co(ni>JM|`Sv5RNNc)4YMpZ^Gp zy^rw6tz%;p@+-uyG5(nF9Oa`JS%JwvVHi5lj-$Pu!O+kRFv}#i)nHA9Lm;8vFtpu*lMjj&$G4OUYkv+wApKK z+1Sw+ifyU)t&3N9r2|KoeEb1_F3chao98&5dOQtQ^IYRPxy|(rQ>tL@3q7M9ri7Jg zxy`2JXYSvnO{t1`+ImLUn^HCN*7cZDka=Gd->nP>y)~@#bf+oRveHAHgb)%xuMAhS zdNExY4v#dklFvFv>$VRL&|^xitmIJ2l-gLyLDiHZtT@`cf;Wb^DXn6~tGAfaYF2a! z{MWFeEkmaCFe~at>JjG5Z8RmE*L>kAQ(DKIC7W0DfhxownmXU{K?gp(K2skvrB24K z^{nkOhEr;5TGhnMzOc6$TS%^e%Lc|Se#?}47_+`sT?@dB8a3icJ;Qu|62ZU8Z|_`!cSoAKG^6kNWLi@U=9Y5c(AbsKQmVe6`EM+y z;t7=nmlJv`y+pDvn$)zU&H^*Q2@_C@XQC{iiNLJfj+SN1EDqV}hJFp*D!9eiSB?X- zt~-%nzFG15th_pKi5S*xfTX2UB)9=zmFy66{X+b9R(^QZMNl_y(xZuNOpPYfDs$Zi zR#O3@C1cFpN76Ux86%yI8Z7V!@z`y74Z}%Bx8+SwtOUKhRf+3;N_rr}0s}<7RT)%c z3mOHkk^PtM6Z+uxy_Y$wEoqV>lVR(`hwlJk%h z8UEuuH6fssFxP~rxg$p+e);C6z)UaorL83%P#x z4BvF5N%D(eYqyG z223Ik(6V}ea!8Faj|^t*55W7CbX?J+D)Tgo1gP8*vKzflrVQqp7vlhW#{rag>IT5D b26KC@U*DInmt)lXt>UIyHXuGMZhGiHsS@xb diff --git a/boot/ocamllex b/boot/ocamllex index c09dc74cd1a771ba718ddfd30b798675d7d8b5e8..930676103aab5d3ff3010901d7d3041663c4f372 100755 GIT binary patch delta 25 hcmX^2P~_Z0k%kt=7N!>FEi8xg84b4|$!Fm@2mq6%3T^-Z delta 25 hcmX^2P~_Z0k%kt=7N!>FEi8xg84b1{$!Fm@2mq6w3T*%Y diff --git a/configure b/configure index b6c44d22..74657d2d 100755 --- a/configure +++ b/configure @@ -56,7 +56,7 @@ if test -e '.git' ; then : fi fi # Guess values for system-dependent variables and create Makefiles. -# Generated by GNU Autoconf 2.69 for OCaml 4.11.0. +# Generated by GNU Autoconf 2.69 for OCaml 4.11.1. # # Report bugs to . # @@ -646,8 +646,8 @@ MAKEFLAGS= # Identity of this package. PACKAGE_NAME='OCaml' PACKAGE_TARNAME='ocaml' -PACKAGE_VERSION='4.11.0' -PACKAGE_STRING='OCaml 4.11.0' +PACKAGE_VERSION='4.11.1' +PACKAGE_STRING='OCaml 4.11.1' PACKAGE_BUGREPORT='caml-list@inria.fr' PACKAGE_URL='http://www.ocaml.org' @@ -1482,7 +1482,7 @@ if test "$ac_init_help" = "long"; then # Omit some internal or obsolete options to make the list less imposing. # This message is too long to be a string in the A/UX 3.1 sh. cat <<_ACEOF -\`configure' configures OCaml 4.11.0 to adapt to many kinds of systems. +\`configure' configures OCaml 4.11.1 to adapt to many kinds of systems. Usage: $0 [OPTION]... [VAR=VALUE]... @@ -1548,7 +1548,7 @@ fi if test -n "$ac_init_help"; then case $ac_init_help in - short | recursive ) echo "Configuration of OCaml 4.11.0:";; + short | recursive ) echo "Configuration of OCaml 4.11.1:";; esac cat <<\_ACEOF @@ -1711,7 +1711,7 @@ fi test -n "$ac_init_help" && exit $ac_status if $ac_init_version; then cat <<\_ACEOF -OCaml configure 4.11.0 +OCaml configure 4.11.1 generated by GNU Autoconf 2.69 Copyright (C) 2012 Free Software Foundation, Inc. @@ -2374,7 +2374,7 @@ cat >config.log <<_ACEOF This file contains any messages produced by compilers while running configure, to aid debugging if configure makes a mistake. -It was created by OCaml $as_me 4.11.0, which was +It was created by OCaml $as_me 4.11.1, which was generated by GNU Autoconf 2.69. Invocation command line was $ $0 $@ @@ -2723,8 +2723,8 @@ ac_compiler_gnu=$ac_cv_c_compiler_gnu -{ $as_echo "$as_me:${as_lineno-$LINENO}: Configuring OCaml version 4.11.0" >&5 -$as_echo "$as_me: Configuring OCaml version 4.11.0" >&6;} +{ $as_echo "$as_me:${as_lineno-$LINENO}: Configuring OCaml version 4.11.1" >&5 +$as_echo "$as_me: Configuring OCaml version 4.11.1" >&6;} # Configuration variables @@ -2800,7 +2800,7 @@ ac_configure="$SHELL $ac_aux_dir/configure" # Please don't use this var. -VERSION=4.11.0 +VERSION=4.11.1 # Note: This is present for the flexdll bootstrap where it exposed as the old @@ -12475,7 +12475,7 @@ case $ocaml_cv_cc_vendor in #( *) : outputobj='-o $(EMPTY)' gcc_warnings='-Wall -Wdeclaration-after-statement' - case 4.11.0 in #( + case 4.11.1 in #( *+dev*) : gcc_warnings="$gcc_warnings -Werror" ;; #( *) : @@ -16893,7 +16893,7 @@ else ocamldoc=ocamldoc fi -case $enable_ocamltest,4.11.0 in #( +case $enable_ocamltest,4.11.1 in #( yes,*|,*+dev*) : ocamltest='ocamltest' ;; #( *) : @@ -17610,7 +17610,7 @@ cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1 # report actual input values of CONFIG_FILES etc. instead of their # values after options handling. ac_log=" -This file was extended by OCaml $as_me 4.11.0, which was +This file was extended by OCaml $as_me 4.11.1, which was generated by GNU Autoconf 2.69. Invocation command line was CONFIG_FILES = $CONFIG_FILES @@ -17677,7 +17677,7 @@ _ACEOF cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1 ac_cs_config="`$as_echo "$ac_configure_args" | sed 's/^ //; s/[\\""\`\$]/\\\\&/g'`" ac_cs_version="\\ -OCaml config.status 4.11.0 +OCaml config.status 4.11.1 configured by $0, generated by GNU Autoconf 2.69, with options \\"\$ac_cs_config\\" diff --git a/ocaml-variants.opam b/ocaml-variants.opam index 693432ea..f6b0abc8 100644 --- a/ocaml-variants.opam +++ b/ocaml-variants.opam @@ -1,8 +1,8 @@ opam-version: "2.0" -version: "4.11.0" -synopsis: "OCaml development version" +version: "4.11.1" +synopsis: "OCaml 4.11.1, official release" depends: [ - "ocaml" {= "4.11.0" & post} + "ocaml" {= "4.11.1" & post} "base-unix" {post} "base-bigarray" {post} "base-threads" {post} diff --git a/testsuite/tests/typing-misc/labels.ml b/testsuite/tests/typing-misc/labels.ml index 5192f411..62e1c07b 100644 --- a/testsuite/tests/typing-misc/labels.ml +++ b/testsuite/tests/typing-misc/labels.ml @@ -90,3 +90,32 @@ Line 1, characters 45-46: Warning 19: commuted an argument without principality. val f : (x:int -> unit -> int) -> x:int -> int = |}];; + +(* 9859: inferred function types may appear in the right hand side of :> *) +class setup = object + method with_ f = (f 0:unit) +end +class virtual fail = object (self) + method trigger = (self :> setup ) +end +[%%expect {| +class setup : object method with_ : (int -> unit) -> unit end +class virtual fail : + object + method trigger : setup + method virtual with_ : (int -> unit) -> unit + end +|}] + +module type T = sig type t end +let type_of (type x) (x: x) = (module struct type t = x end: T with type t = x) +let f g = 1 + g ~x:0 ~y:0;; +module E = (val type_of f) +let g = ( (fun _ -> f) :> 'a -> E.t) +[%%expect {| +module type T = sig type t end +val type_of : 'x -> (module T with type t = 'x) = +val f : (x:int -> y:int -> int) -> int = +module E : sig type t = (x:int -> y:int -> int) -> int end +val g : 'a -> E.t = +|}] diff --git a/testsuite/tests/typing-poly/poly.ml b/testsuite/tests/typing-poly/poly.ml index 88930a59..655a1ee9 100644 --- a/testsuite/tests/typing-poly/poly.ml +++ b/testsuite/tests/typing-poly/poly.ml @@ -1852,3 +1852,27 @@ Error: This expression has type < x : 'b. 'b s list > 'a list The universal variable 'b would escape its scope |}] + +(* #9856 *) +let f x = + let ref : type a . a option ref = ref None in + ref := Some x; + Option.get !ref +[%%expect{| +Line 2, characters 6-44: +2 | let ref : type a . a option ref = ref None in + ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ +Error: This definition has type 'a option ref which is less general than + 'a0. 'a0 option ref +|}] + +type pr = { foo : 'a. 'a option ref } +let x = { foo = ref None } +[%%expect{| +type pr = { foo : 'a. 'a option ref; } +Line 2, characters 16-24: +2 | let x = { foo = ref None } + ^^^^^^^^ +Error: This field value has type 'b option ref which is less general than + 'a. 'a option ref +|}] diff --git a/typing/ctype.ml b/typing/ctype.ml index 10330976..826b048a 100644 --- a/typing/ctype.ml +++ b/typing/ctype.ml @@ -3999,8 +3999,7 @@ let rec build_subtype env visited loops posi level t = (t, Unchanged) else (t, Unchanged) - | Tarrow(l, t1, t2, com) -> - assert (com = Cok); + | Tarrow(l, t1, t2, _) -> if memq_warn t visited then (t, Unchanged) else let visited = t :: visited in let (t1', c1) = build_subtype env visited loops (not posi) level t1 in diff --git a/typing/typecore.ml b/typing/typecore.ml index 995ee91a..4b2ce97c 100644 --- a/typing/typecore.ml +++ b/typing/typecore.ml @@ -4978,7 +4978,9 @@ and type_let so we do it anyway. *) generalize exp.exp_type | Some vars -> - generalize_and_check_univars env "definition" exp pat.pat_type vars) + if maybe_expansive exp then + lower_contravariant env exp.exp_type; + generalize_and_check_univars env "definition" exp pat.pat_type vars) pat_list exp_list; let l = List.combine pat_list exp_list in let l = -- 2.30.2