From 10b59f558f090bcaee7a9488778660df1c5b8ad1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Mika=C3=ABl=20Mayer?= Date: Mon, 1 Apr 2024 15:20:59 -0500 Subject: [PATCH] Fix: Ability to cast a datatype to its trait when overriding functions (#4824) This PR fixes #4823 There were two issues there: - The function override check was casting to ClassLikeDecl, when it should now be TopLevelDeclWithMembers as IndDatatypeDecl can also override trait declarations. - The generated axiom used to rely on types being unboxed, but since now we might compare a trait with a datatype value, we need to ensure correct boxing for Boogie to type-check. I added the corresponding test. By submitting this pull request, I confirm that my contribution is made under the terms of the [MIT license](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt). --- Source/DafnyCore/DooFile.cs | 8 +++++--- .../binaries/DafnyStandardLibraries.doo | Bin 56962 -> 56715 bytes .../src/Std/Collections/Seq.dfy | 2 +- .../LitTest/git-issues/git-issue-4823.dfy | 11 +++++++++++ .../git-issues/git-issue-4823.dfy.expect | 2 ++ docs/dev/news/4823.fix | 1 + 6 files changed, 20 insertions(+), 4 deletions(-) create mode 100644 Source/IntegrationTests/TestFiles/LitTests/LitTest/git-issues/git-issue-4823.dfy create mode 100644 Source/IntegrationTests/TestFiles/LitTests/LitTest/git-issues/git-issue-4823.dfy.expect create mode 100644 docs/dev/news/4823.fix diff --git a/Source/DafnyCore/DooFile.cs b/Source/DafnyCore/DooFile.cs index 3d31b95d1dc..71815f08d36 100644 --- a/Source/DafnyCore/DooFile.cs +++ b/Source/DafnyCore/DooFile.cs @@ -54,7 +54,7 @@ public static ManifestData Read(TextReader reader) { } public void Write(TextWriter writer) { - writer.Write(Toml.FromModel(this, new TomlModelOptions())); + writer.Write(Toml.FromModel(this, new TomlModelOptions()).Replace("\r\n", "\n")); } } @@ -103,7 +103,9 @@ private static DooFile Read(ZipArchive archive) { } public DooFile(Program dafnyProgram) { - var tw = new StringWriter(); + var tw = new StringWriter { + NewLine = "\n" + }; var pr = new Printer(tw, ProgramSerializationOptions, PrintModes.Serialization); // afterResolver is false because we don't yet have a way to safely skip resolution // when reading the program back into memory. @@ -191,7 +193,7 @@ public void Write(ConcreteSyntaxTree wr) { var manifestWr = wr.NewFile(ManifestFileEntry); using var manifestWriter = new StringWriter(); Manifest.Write(manifestWriter); - manifestWr.Write(manifestWriter.ToString()); + manifestWr.Write(manifestWriter.ToString().Replace("\r\n", "\n")); var programTextWr = wr.NewFile(ProgramFileEntry); programTextWr.Write(ProgramText); diff --git a/Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries.doo b/Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries.doo index b42c835e832f4184c5e23d7f85705a9dc3e22291..9fe2b35e51c8d133db912454bff2adea5cda9220 100644 GIT binary patch literal 56715 zcmV)3K+C^SO9KQH000080EjVxSfvbiV7veT06GBx01W^D0BvDzX=Y_}bS`vnZERJJ zL23gr3`O@oMVP&YOdGoEMOw-rY&j9Nr675lh z4|@dw2LJ#7aB^>Fa$#-keff8rHt;yh*`EW9rwzgXjTW3@>7)|F`;j)5pq7B z^e--2KKa1n*<|?o^_dF!n87#Q&=#A8jw%Xr+VUa3Yc^9=^Aq^Pll>h)IU z+SA30!Nqx7)P=LwCyz8n2A?zR8Byq3^0C+NzPTR)Oo{3H^X=;1woPx_son@$s;j5{ z>F{)__1)KnYwCN!_85Ep&;Nw)W)RU=Dqj<*hYG8Y@o<7+G@Hx^ z!6-_zA}Q}kep;89q@t0$Fen6=2R(s_edH4ocL$c_*%ZwQawpQ6XVdQ|XM@S$?CIjm z!DxIr9Q9}83D)hp>XI_OxCDFwz!&4u`@v+IvyxyrMBAvb2ij<=z(43C@l?x5O(DK` z5Z+C`btI98DJz$nHVFLO13&kXn`3!?xWQcekHKV|pC?Jg&SG;dGNlUZP@;QkE{DHg3qC9^rzFoWM)`5Px&0AowuwYc6@RkiSHRPrFz)o()H@U(7G3?Y>6q#6xeZ^*q0Z zvqjI*Nc3BO25j%OPUyd#R=bZsHt|>B~n~%8Sg1Q8NKJ-=5J@xB^epxP__AgF} z!G;%pp8(@I{9qj$TS6s1PNvsB{NccK6e!cq^rN}{^?Y>JzZ{Ha{R_1mR`49Bb2Y1K zd9ail*jj>Pb#hOueO@8hFc4AON+V`R40%r_y&+kzpf7h%%}qTq!Qftstk?>$K@0=} zu0U2^{Lc9=*zm{=ilaAnvEe-OS})p}ZCuTy?6&XME^nc|Wr13$MVM!7G;f|-Z=DsF zT7_}>!^M31{ityStqWRW{rom6-}R;_5haKur&aGuFxn!p#k*%C9r<0vGB-npJkJ0V zBw*ND6u`H`(NYrV`1o{|mVrTF2_ba26go*URG`{K5Ls}sC>(?HvY>DX)NfY`AQ5Wv zM!)Zyc~QR#;TVk8VTUr96iiUcMYQ1!kKvAsl?$Z01@bj5Nn(-2OXCk}@xoU=^6cQ2 zf7c6~BH&+WsaB+I_;C-Gg&w@Lo3BY(ae0ReOS`;N1RMMB7Ip%8rG;GpN)V<8G_$0u zTg828mQ`zBu&sZAW-v8O*{5l;VqCfH2#zMWr~*aWz~ z!&wl$%xy#H$fn!HIC3k0BTg+cD!wGR@p3XBo%UygZ--}R7qI$J0sQo^jO|-ytzxY63N9xRq4Yr$w3R|c zm_`HF)S7X%{n^NR*KbVt9S1Yc#j`5FIp!4f-syfQwBd6li za48RiLz>a*{4E7}ZXk=3zE9CoP8W2eVwXAJD@En9E?5jN5Njx^ydP$3e>47dU4qqn zX6u$JfUOiM(Xy-`U67|p+_J(9fTbj{(>S&H^J2q!ZgoQX>%(TkKN6jfb9QUY2!TY@F&70^#- zV_H^JF(Z&rh7*}sP`rJAs#mvX(&{!f6i-W|^ORIeko9NqNyjVkN1G~cHd;Hr?@wTx z>~rNDY5;72C;i@N%?bN@r!GUTuvUAPHGI^uu3wtA6ZeI{e6i<;>6kP$H@qRNvLwTJGClB!8Kc@-EtH(4)O1W?8T=*LliviOb`{^L;_`ymjSj@rDZ z?Z4}zg$gt{K4uc3EPq*tcQc1suvLu)&F46D=5C?(YZ->94*t5 zC`dcQp5Mgmh9o7xn>;SIo>*zmFWkxl{Z#oAiqcPm^o3woM}Mv!d164FI{mVtN&0f@$6~O@wFKMbyG~K6|Nr@Cv>W<_Uh~5ny@e zwerbGDA2r|5~(Efj0T2#tpWb0O{TAtRPd2+G@jtX*DJ*m^4{nZxo7wnZ9tzk3pWZ= z0RQYwnAC0cWJ$GAaipLFl_JWD6mT(AJ)AWH>e7~(yB?;ut(wkG%nGiqt5TwX!RP71 z%oS+JPSSW>XZv5v5>8%62J4g{T%oWr$|O`=apjbRZ&;xfc%`MF*GbH6uZ!~VE>Fw; zxMzlw^(M^4Cy^Jf@I{GN4(~i7H+3Bbmb2J(U`az`=#9YCDFol4GPc)R(tg8CUNt|Y zrg?5j(HTk1<@gDIkb76LWyANQqE!V0l-A|I>Fx^##Xk-Va4Cc(g|Aefw5wL{$s)K2 z7I9=5`IU!Czu;pK$JBrNezvoA0m2<*)dGu)a;!x~rT zLdF3mV19`SM24J6L)X_hX*#Uo52;BshWd8@wvF!BM4jtfE-Rt0vl5Jlt2dnIu8X6ApDfN@ig;P#ypY&h>ivgEF9KSHwHNV6ogvEcrMAN}(*I-gurrD83g?Ew>R&tiOTAQZYl zV?26oFVKi$?U#jfkl~q{1>$%K2!E(N9x0uU>xoB|3uMKN0@!bHFun=j}>hru_4C|H{cn}uehuf|ds5kn^%CL#!LlyvRXMP_7O zgAt~d;t*ThY7K4X>=4=49)iC0F#+MkDVgoueElryA~aqWixQ*iBeziig3!{$*a?Nq zkYl2czhhp$j~fY8SqR@gVZO)?2y^0;it0w5}KTfxKmiyu5g;*T4qu+`^q(xT2sX zqRLa1Pi=JW0;mc6&MJEIoygv30dOGoRF3A`yf4HKz}6ZIF^;&xCJijGaX7Pp>O&j- z#xt#rwrZlim0lYmf;oa4`?50`<~Uo2;8L0x zE~9&j{kC|og~_wN3~u|>*U4_<0|ld22dBDAbzy9DeXa-8o!n8)Z3Z%*1X=Et;{&mS=m525S;<~9fGFJ>!2v3G>jC52 z5PjjV7R{xvhw*JEw!!Km>?|e1PL}JPGPhsMPa24@^Uol{8l$k(*;jXl(%d*5%GacP z^HY==3((}bi+oq%S}InRLhi25YKbwIAwx)f#E?tN5Gr$j&WmA4gCLZujL=pjC zP8{CNbLktjQrBh0x0(6<=6cK;CWea0WkQGvE^#jz2Xn)yNYD}U(7Q3Nz{_V-^I}Bq zDl*gy@DH6#**8(6>3#>NKGB5DF6Pn7d$I_Z9nyTxmOHSFnLO#QfD(lp7huIRS zm~J;Uj&Zo@rCxfN zn(RUf8cfZT4}$*4dsaTGWmm|jflJZ#FC@h|Dy)-R#6I71nD7?xshU%wm2#qke)H>Z z9!V3kKg!dD39>D0gvM^b(QT8B<_w2V(<~WZn5OS=+Nei1-&tZVsR18|%#USa)=QPR zo)2HYnXMqRwabeTx+|frE->y*YiPG=DK05NEtH}ddGK?kQP+v_>?|QghtFyP>|{q> z4YKt@WDqlgEcY7-(~nD6%W>7=xOPFVVK}Cxxn4<@rMRR7Ylow`XS(5GZZpy|KIe)g7In94GUeoh}hRHy)>f%r_P(X7WfAX zZVK+YcUXqf775TW24s^u>{3waC2{k-y{(w7r8{Ig_-qQPp0H9Js$>QC6C0ejhXw*B zLUuP*X#&a+vJ4m$`WZptX&c4!J-3PR=}C1qyc~Qpyd2K-N^J=E?A?~`r1S;7)%wLd z5|+M0Hgz12#l1l$ztH)Cd##D5Ex#ynnS44^Jc;)n8{{kgVq>W|Oejau9U!Y|I0+k? z%duAHa_w$y$bP0-mXllYWw`$FKMI<2-jmKbo?``p)lCu7&z(^(!U;kDvqBGN<~o!E z%bGzxuz(pwr;8s!*ptFm=6FiEI{Dpz)TJ4|LndtJCEwaD#y|~XO9lR!`^C=PU*>i+ zQ{n#rMDra?$KirIHNVgf*f)dorJZ7h3tseNchdBa9RE|sVqvqQ71TM0N)U^D>y?qoDKpeKY^tw5Oz&a(rcf^l*c#DY~Ta`v|}E)mBn8M!ty z)Et4N8e64opvbFgaHYm&aZF=(hgxu_5?)4nb&;8`KqBw^7lYC1U^USJT1pQex+vCW zRT@YhtCd8ij6@(co<74+wjYzYFE7FRo?^eylaMUZ*Kfwt8QU4BBvIS0(uI&Rd6p1t z8eO5Oymg$x{6ifDwkYC+#>k^Hs$|Z6(|_1*a$-KCO6eI7ug6T9rhwq4cZv#HU!sO( zIe`kM7(}+MnlW`a-juryMo$F-;+A{_`9skV(%E?a`t7@1tj|5i>lwy(;X0SXn|`T^ z?CIqo-MaEFeW=hqhsbW(j~=?Taa8q2PxYBX`DU_4%?bSogriJjMz2)RrID(5wd02| z{C3nqd>YW>*z!jK6~nV2;`@g&Mx)-u@Q~C|D@hFPSg;ZVh`DA^2@hDp=1ub2>PU^~ z-8_-CUY}eTwm9{|ZHB*M9qob$yq+-{&2fO!a)Xj_uTASL0)}WVM$F~jQE6G#V<={W=iI%b43UN$2v$Bju6*}1?^1aob23eG@C{qtOOY79&x${PLG(X6~H^svsxp%^=a$MT?+x_>+ zqle+KKli!97~~!{uXxlvE!g$EBwq1UxD~O9)1)NZuzS^Ma4W0+fSfYls~;4vKs0sX zL9gP~3_LXHUK{_NMpc7n+N%c|fAAF9;A^L5K6E4aI1YzRhMdO4mE@No?Ai%m3U2bI zem+n#N)mbjc&`%pBJE~KhvXAL;8%Awf5ic$Odj)@S)as8+T%){_qm9dpIow<<4nZO z7wdv8J<49^4x&=sM-VEN&NtOj?iqukO`&g`14+~>`7#S^Hfhlc*@B)Libk@S*j?7`*MVZAMmsNP&$@AEt$t?!sF^mh{V7t`7+)7w? z21IlG$^5#Y)!3~Yx}IT-22aV%u}MQ0+v6TVNB}Is<7hy5)^51fdJDD=uR#s0+*`ad zhVVYeQyFjVX$)+E=02!DG~x)Vqcz9h5qP;eLhne>6WAas0(jC8ixT}(J-TlEO(ApU zh5+I<##TM3NRf<1!J!%Y+E$+{n-ELPoyn?ZM}n(sg-|e@)RN)>W zlNbCo0q$XKb0mj9y5m&vc8Os|_T;|@7qFCFZnSZ|M{mQaIX7!g#lli8Xmtm?RefZZue(}3?O>(f90NsH7#5>2dB1U6%@ zI=-3cWbIW)G83gHVjrD+AE8Z*nH~h%gbshaxbfbjx)J`45P3Ecv z3H{x3CF{=P*2#E$k;KjxIrP-w|E5Q9huqcKT+1=uQQ;UbE=+Kx%Z~DzBH=i1PSe<2 z-M*GbZm4(`s{$wFMvfG$vt?Ibw*uygVEl(27jAzszJOGz)_yh&Z#y9a=8wwn&$ruWg-ZjR zlc=8*G{F(^;X4Xt)`GOJ6q=}Nbft|AnM#^Z8Q#I^bw935DVgr(^y?A{&mrax-Tj4* zcEFCq1^Gw#hj4jt^pqiVb3e>dz}=?D5C!c|35@M`$^Dg3NeNnfzy>UP9OF{+7qA7k z!UWpwSn-y%q0?ZTiL&#+CquTtFmqs{a&{8*qA&gg*Z`cJ0ePq>V}AAYAMHW`E+e%K zrMI9u!5$P<@Zu8@j{zgxaCeg}pG$S*#fI&@y{hdx$oFK(YO&^T2rQ|R-0r2e{Gd*= zy|A@y{CPd&5rXUT&fj&okLIHv?)?Q9bB9yTl1|RQ&hTM`cy5XPAg(CtM~$)rtx(6YL*XmsqZI>svk@K}shtsVK$B*}1m zL)5JXRt4`95mzS|e-jEbff5QChd`JLJ1x-PJXN+Wc@hvscmNsH7pE$5ik9TX@_NRu zzir34Yt+ZkUcseNF|~3%m_g;>5B2h{X~_KSjK8z!2PKLjlFX()Taah>yOT#WX!!7W z+lMO^aC2SaG^4lUf=p0AW`wy#SGeDyTc|BUwN)71jyAuriH?xl=B3QTECg`SO%3C! z3F?K1CA_EV+OVkqaOH?I9r5lSuCY7ptJ9VHt5%d3^OMySr6OTtIYsG2igKwHr4uU3 zy`-Yx-N2^BDvF|xDaVo%sjpI$%bcR%olxuR4*Ob7QB=@^{7K-x) zfm5tz=EbOxc;~`B?~h&JDQ#l6}Ms#5CZpM%uPVA#~BT{1w@`1|7~gVyA`8sgTY zQ%PPIt(XKw3z7j38We z*&mM1AVP61-pLBXv@(opZ(JQEuIe47uj=(jj=h3)6o=M+ac}wjqJx>g_|smT)NGp> z>GC}b8#%n6IOlbChD`nib!khwRylpfM^7S_cFO7?K%2UViam(3Xw`NCoz$1ZRyjYP3dKX1{pkF&QjJ~a_Dh-QJ`8u7RATU zp|A0Layt0=0`DU^wCH7qX)*-=t7F~-hcTZ@jJETEGGbwb(y>RQNBCkvsI1)X#>oh)o8xX(2~ zawjU>AFMHw^CO--#t9M;)BwCyh(EQ|LsN6ELCFi96c%=MrZrM@`CLO|g$BQ+p+etl zq|i&6@g500W5)k=bs9^gWpmO;Qc4K_RZO_Iib`{6%I`85bsDJjdb2j!(Y*gJvNlsE zETXKk;m5k5EIh|r}VNNGr zCwcyl!DRewivPANFG=4HZ_EyDf#41JSzN_jPx2J_{jK-Bw~WFLw^8#)i`g5z7*kB- zh_03UzEcVJ^6?-{`%RUO2wC9ILr$-b8Z+gQ}zS&2Bmu-}+fTUytc@GGA|g z!LR68Bs29W$JGqNA79e}mgIWi;v)dLKs1Tf z1^U}NJ?=lvU}wN~cD}<`>KdiwbqgtZ-DW9y7TiM#oIXpw#L+W&2f>AiPA!kBF5*f_Hb+q) z-861~l;XV0pANl;OUs~(A-~v-n)HI#Mx(C0Cg}rn)S-Pi)RP@ArOg_`%_ui3Qa|rC z>8>Mo*AcqwB)aQVcGnT9^Gh}CPTXB*sqP}`{8HB4y+n76nZgX6d7ZU=-iz{CyDVSU zl=W;`dgIHy=4uC1yMCI|-T8A(Vh^iCA8qsm2A&a)N?__K0+V8K|lArelWO{?JIgvOS}tC@y9Q-oQf_t*YXM34J&+- zru~%>qS6zV^;&heI)vDh=d2Hp?x)q@F?^ff|p!LL>R$!OK7x(E) z#nrk^ZG+b{Yk4h9)0)veuagRLS3yeTwFgi(8+S>&ghZANRy4m2`dUpB9io!j0$+cR zss@rX?(S)U^iUIY)9-Xi2J~FJf*>VF=X;n3CV%ZO!p98C!b?t6E2>lFSdvYLvc-aj zBlenkp1_+`aG`K#bBWxe815|N5Cp1IQ)VXe{9^FSH-k}EoL8-nXWR(?7)p#DcU}tY zsh(0~gnM-e_i7PFKYn`LePuPgOo7L~XlfA9esTpX!ZX?}ul8a9ujB1kPWBdi5kIbH zrD33Id2_AQvl(<;^D>{1k=ugdvXz^??<3Cq4OAN{(lbO&+{TA7@*%U?)ZjVUhPb58 z1ilV#BwP$e8@QEV<~P2{a5erFKXH7py5&URDW%LMx5_nkf=eLjeQ}^E9ZUhrI7UFS zY5TA#0ZIQXQinuMhbwYEiPxhvV(}^}tl^zC4eNvmXtA435r%}&cj1XE4n5Q;7DQ`) z6dD-&!(?ziybeYgMC+s!7ju7!Qu*{qJidQ_2$t_&P&&MSA4+`-Gpsd`(hThnX4+-% zhUbVw#Jb8P2R@KH%>~&O3`lO6HlosrGBIx|Xi3kqSsz@%BG=ktuDxp84Hl!mzLGRw zcANtfA-Dq;=qjX{Q4~7Q6$2^lI6K_i707#d`jx0k677=f9ns(hrPqytS71Jao%XSz zi*KjD@(^M${1-JY+RXy~8|Cm?%llCMxtJE_Y*w&Xn|G9+pVNMm>=tETODxVzMn;h% zkX|h^KjG1%m7YXw<8xGQwoZ1Fd}uN~C6*?{*bQ8WZlEn)V$%9<@Jm5)tL8DI%6=Wm z)I(6;LtPc;v^#7OUJ|KQb7-~R%wzN+n94LBw1Y7X&%d~D3;it)bfS6HRqzid?VK0L z<`1n(WEH{fP*aG;D&1faG|;F9x>Ov|40I$L2b>RG_a!*DV_ESq;zY_kT3D!JNx&sI ztSMxcNpMQbkd`G3eAh7)h`t`r-n*m9 zxjr(b3suorihOv<8|9=HY`C)_izMj%(^x-ng&%Yqhv zwKgSA#OZu$l^x zuYkt)eVFD?VKctSp2uN~@Y$5Zm~kJOyiw+uDwo0yZWdW_OQ|4c8KmKP=yDYaEUQ+^ z=E(VXM`i4*AXfZ84Dyzu_CC);oSJPSTf|cl_7V%$(49;pn2p)+>S8dZ@LzsAqPd)k zTLr?d`qz{3CBVgFhv@8K+GwQjRx?M@uKMvSaa-NK9pi1PL+O{seKQ}9@wyR(|0`sw zL8tW@8yeAZDOHOi;u>*p{AoN<4{t2QO%<*TDn3rs`)2&wy89y(x4Y<44*=7Et(u5s zQ=IM`G#g{lNPWx<%^L+Efq-y@TgYeo)nP-+IDxH^XUIF(e{bBlS=&pooniWwe777mewm*-@MapX5TEM8P&@i>VD^bZ*zxNnggrsX|3r>k03Y56EE zt%4OMBIn;Q<>@H6Z&0bAlm)d5LUbIyA=fUWg=kAs`y7986@4RU-%U+eSzF5m^fNpg zd=o8cT1m6=r}DmbBpizzaX%R^f^X#@5x`X84beO?OYS&MBO<&yY*Zc3T}kjVLPsk} zp1~~Jcm~1M_2Y(8tD3N8UOPf*N%rwp#*JB#3N+#qzN4*dS4Y)TIC}NhGuUK}JbO2( zmwkM&CxNxW5T(^gL3hEg7B?U~1%`2?H#~g**1qmx-G9-M2se^~-l|>?p+D`7E{YrT6VROR#^Wmm$JADf{@|Ki zd&!irFx4Fz%>5N5+dk&-z=A#-2?L4CV@pHMi9-+Mze0|yI4O!QXrpOTub3BZdMAf!Est{i5=7VmEAk5P~SR4P_4IBxkQ>hI9_Az(@`kn~pM`%Pg0F&W} zBf>WwxA>k5SQ~0Jo$E_bppD&d)VqQ>soz70s%jhR{tT!yasf>!bjxMB{TJ)eIV>`% z_zPxwGX!D5L71Xfqv5^M0GsUamBqT%`VjoaPNX$yI{fQPlMWJFY3EGiy}WDmLGcx} zK**;H?TSWXU0G>D=2?`0y_7n!wslIy8hl796P6GST#bTR7(eODH#JlJYU%CE+O5U( zTJl3=$f$>8G41SsC}w;W`HkwW<@>DfBOqd0Z8&xYsc@q}m%9xVTTi>IeYTcP8=)97Q9rj5X4D(k5fXHtX7 zGE-?;%4?cRnQ-f;(oU$`>4`I*Wre8}k@(%G(vo@!Gh<1sl6s=hF6&b;r}`GsYllEt zYn*xixo6tEIF_7gJIR^$-U>5qwO9b_hHM$hQ_YR;5cMnjP zAF8^=)APV~2x>i>!av20e#)oS$P%8geS&|-^Rc;qL`5`i+1|25Xof~x>S*$&QxBaW zXs3q+RtZz7GAO=S2}PK`A{-r~%vGQ{{BulZ!N^!{tI(W2U@9O4}$PBi6_|bt zeHC|jwRgC=OC8x8zMUP?Z60RZbfQM4iZh4e{bU@~%(WH%HK6=*>I|*R+*B=sldegQ zD~hH&=5GFWw8-P*nDP79y(w0I3yv!Umv?Tp=6H+mT!|ldw&wxtIl@lKNSW#HN_uuIF$6nd%*zu(l5n|IHsRC1l;X4=-c%Ti8^YSpflHF z*Y;TA#2W7=RL_il_s#tXw$bWz|J6e_eZhPMevJom7G^w}BZ8B|`02tu1=3s%^XkPF zRG_;8T#_Sk2Qd@O_%7M8HQ!npXh-(=CX6DV|liKpb^Ku@3Y9cQp zpR%BN*rII}dx>>5=1)>bziN0jD{4$6JGwf(a2>AcXhlN-TM67KP`^eB5gKKyzzE8a z6m!_It;!HIzXA7=a0Tuo`3~HWX4wV(5WAq*es0>&lV(0Ra=R|kQNN(eiZCX`hs}lP z!xF{Gph_>{3>pdaH@?_7GJtXa`KekyJiRtaTITz5Y%WFyNETv7hFP8@CHdpk)nKBN zUo}F1qn`nme|Lq_U{!6x2@pQ0cG4^;lu5Iq1rEO~uyCMrnpJIQ_=Q@)76r=GPU(%~ zPFZ70Yzybtt&lEf7xV{OI9MLqyc=_wJU9JWJ~c)3rXd#MR4w8YYc1D5COd;rjTu^t z3a2zUrNDyzrqs8s`JivcYHLR7d%DZ2Y#!AstFx-fy33lwyH)NC)z)l!8s;ll_+&yO zZZ3~}2Ktt9i(PG*>stzK^`GlheOb`-uQuiZ39pu4$$Mm?B9f^md)AwZX~IwZ!%Vyl;P_w|lp?EEbZAHs zokL?#Y9~3VUe-ylaI@OwF&*68DDnxc6DZp;Tpp8HQ9~`O@srGg=Zo>^{a`X3=(l*? zyY6CK;8KVIV8S&myYP>2%FwH^oCaQM%|S6O48P`VLGzfcXBq%Oy<@AQMnE3Qm@En8 zagv-0!K6omEHO3`NHSYWF8bwR6TtO_rm^#cmG9&x2`jR`c0rz6b2}BJH!n+@KUUFg zyUN8{v}(+*+O#8Bvjq3o-N+JW1r?z3TD&aoWma;W?yD}ppdmr;s zvSQe&XJTuxUFOx|JlqOdIi@$48J(x8A8H*>qdJL&M*~?w|ErIuPB5PGSS~-FQgBN$ zA|^MN%{pvg0~)Fol2ziG3m7L1u$Iti0kzc?GuVo$yRNj)O@#j1t9# zCBntRr3GhW7~Ps+w~4rvmIEg2g+SFJ-vqjfVhV19T2fBkSWb&-IdyY#T2#r2F}-5x zUL~Na-3S{ntCf(8<=BX3W?8-t(Fj9GzMS$s$J$D`~N)3Huar%iv_nZHvjjgHM@ z?zEL8@NfL9lN5@F;1Xg{XotCi9VMwMni?dv7T^gxx<31h;`*XLIvre0Rg3otV;6a? zorIJG-X7KUyPkBy5U*v<0dz9ljk#51Fnbzn(OMT6$IKNry z*1uOgzyFHox6j4CqoW9SGi9&ANpsmiZd=U$G?_!I^jGlL@50Z#v*lkt8!?sMQ(l+L zHKM}_eg!{0-2W!rmYQ@Z{m+TTT1Z>;ksp3kYx)+Q40|@34JM;LOnBxHqj*ZvR$KP` zBORVhU3x)BJGBlB%zYQ|D>!~W;0GNC>eLIn)1n*RX>kI|L7)Mu$*KvbZ}`5g`;PBY zJ)v8wa2~Zihi8r@c$o_n!aEaeFQnv^eYR@Ai5^hYLE!%=Ze+Y2sL;)^t4okiEb89z zZd=Ek&2`6orK8-pu^6|7rZM7v({7?kaN;m(nrA|D8SAvX1fv?uxLc61>mZhKH!I_9 zgrJ9^zq-bY2K?C)t8T;al5bmK)TCKXWBHTlc_f7eJIb9xH7$vO#5%&3Btg{BOj1on z1>hUTr3{~1615phyP;4xKq2Q<)(+j! zo;ZOrVJ4W0yWnSMDh^vPEY36SVx(};OPHGu;moo02}qk8Q6mREOGN?yH7N(-Prjw5 z)7O&<@|M*T)@3MDUryDsolW|uGnz3}M|r`z>5I$yVOrMo2B7$_GJ6wHjDGYI^f}cme zG)~T^(Llui^`SK=;HkwO3$S)*hfgE_pKnwH?x$`Ai_a7bmzYUDnc!Sm3`$;NU-lA9 z%`DkT*TZ8>6W@^V23PvO->-fjBQ&=o?c~r)2GuWPGy}CZSg$^ zp~m;bHd|s7Uuq;VZJGOWgG4pWm;y3<;1NnbhjQp}g$f!qb&GSlSuz;qY2h?9io`{? z#TFY94L~+UfpxV?VSVeO2`WX<5?eG&VwH5aD@ z%J52zCMsrpYW~)z@R#n)p3tBh-_$98?<4QZ!=cQ#RKLigEssc3!aA@$(}#-1n70EE z?A7{(ks0$pyTG1b9>;e4d8{%Uqbi?6T5Ly2?v-H_RM3++jFO3>Jgkc|`c_Pp;ag7U z_?8poXsBI{LAca^=m!*i6Fy|h@@)Fe0C!G@WUAdS9ChdIp(2y%V0#Ggg8Nh4Is!mv z5gF#zh;gNdkFrjMw~6An%-ojYcLnAdUBFVn8W;kzm8tb8kC)s2F96g9&J8L6WT=t`@CDwR#xUag%j&%TR@0wp!=9vWAdUE7M{#jMkhi zBqi0g^I^C8Lpu$^P&_WEcO%Ghm~d1WMXR?HtK)JLp&~eKGEzbWEHc&#rDS%KCczHUxsVNaqhcjg z0*&KyXK_|^`qFTAY^rF&`XoCvI5m$1RTKBC#W{aTjr+|s&03HYKdh>Ge7IwCmKBaD zo{Twbre*Vsi|^+%XzyGwmCzW5I%-l4rTC9N%@dwCLLxPx>X;@ER+tY^sLm}}K@^VI zN}t&UEYec)I+cVFVV6!pU>gP4!r|j50feO0L*=b_qY%2sv?{5m2U;@H^}#>0ML*fO zt;ET)ymkfSCE|UM+qtCnEV~J{D(-ULXk#M6LC?poQoHfc&R#H_Fa z>ycdwp2@`6tut)m>I}?nd^6)`{PV*wFUz+CY%B-6T>%{MmI6Sb%Ux`6l&$}1p*Qb4 zbNIy@vV+E3L1%m(NyT6ATJzZ{Ha{R{PsAKF@>@2VZPW(Z2?WD*C( z4odKVAa~eYLbiGkRk$m?OtzLV4!pw!>A~r3q{upA^Buh`Eok0z>V22WQMgnl z*E)&1si7$_ycN_*JCU*FR2z~t8DB7TEVW6iN<<_RE;nJYoRp4KiK&#-(r9+HkIg>{ zRw=!+9_BZit@4u$#Drq-A!%|frQ$gd*m6ScM$zJhLaau*i zM&)%CqxP5iq!P`azYInLkROs20Rd(ua`jZNZLwR$t$hDnKDupPXH7dw6Iv!Rwj@Ds zViiAc#%fDlCY(aGc1V*l3xmz*ioQ188`UM1ZZyiv2;f!giGf}oT*AP&D&xeKc&<71 zGPBkLcS%8119avN?=|RUE;i_yQ@iwUXpi7)(?s(&`jGk?R->P??%BS@Znb<&`&9p~ zq*pjFtN<4d3}dBc2Zj+@lP0nv;>BK4*J=Go+sU&GrJcp-p*nKO<;P>yqbu)lOGV zEK4e8GY$$W+eAT~k~CHmL1UdlW;D0=a=gDA@P(jDxrg*Y+pL)B! zL!s-QVb$*8-ht40&v5I(L3dBm9nG-rgWa8Nq5GcZ+0NnN{lFU$ zoCi8QwsCI*-^o&ce@1_AY;RzM<`n(s$8UiJKaQ^YXJ>;mRUh|5N3Yw{&s&%ZJ9_QdaWlOEhkaLN zb^qso@|o!!&Ubnec?YZR))ePGyFT)8dAAwhVm)M-ng`b}$5d;Gi+A`54zkZ1Lw?Mf z0{P^iVy0(ne}`WX20~SU@id*S((|g^^Q-Jpgl>rc?00!Z@;G30IGMOcy?xtg&ucU^ z)xq~U=tgaYTKjvf7Sk%mKtsP{WSV;(-#24cvd{id&g+>EP#!;pK1!Qz!i&-mE#CjxS);|Ezp#5YF_Li$^oBxiR9cJ#nk#R(E7K zHhd+Os?bB;qagTThpdFF_IP9MSP@RBLaTza8r9mkTpik_ub-=cTdr-W#FDBqPzH)@ z-`b)n+&uDBC9r#l%y30}lUB$CLgB;|@UDbzC`L1Rtq8`S;8q0YPkgHYTdr+#j?`^4 zNA2jcV@Yz5ZIkT&T6IqvsW9eeprBsjDXmrdacg*Ch?vx%fD@73Pc!0_^1MCsPl1sI+HKgOe+=tKh(1A_V2`F{fZ>8_CtX(WFkP)j)vl%Q$0rai zJHbOgy;mu!fS#9QBn_#ugc!<*On*YZxekbGUmtJ3QvLRJTMr)+Q8!rJ^@@Rpo7VMl z&lU!Y8^d0Qj_cj<)O}{s&>9`uU{}L8vkpcW!?RyhvuP+<$AhWmfy2!;bUjQJZqpFA z0EZOL89gM`O(`Q8jFdX=X4H}NY=6f&i3xqgcvG@sk5$~y)Z4L|8&_be3;)|ms;^;# zufv-DvKH@VwD?feVx*jkdtNcA{PpopR=HzjV+{}Lgu+hfdeBNzDhngjdcQ5JIE|Gl z907i`C}-;B@Lqz1S_9@RI4(d*e8XI^r_N|8RVxYU<-k z)NyVS<~CWyKh`{m%q|1u<^qz#!@lLZz3wr+yumWSAnzV?T z%4zGQdfJLnubj4aiqqDKJZ?G`AAt!}QE1r2vK@Dha`m5`hqOL7La5*?BDj zrOjf-Lq18(I|5pIR&(RNriDCbCZX$DOViqXbH0MA&$xS_{kt`%aj%f0+ zbDFejAWbGsu_R`?iwwRvr^QQX-9<2`CGBSrO6TxWGuJwJ8TTMDRq@QRD=&d6j@Eb) zS&oa2a*+_>UKG(YimUPS0VM~;*^DJtu7$o+gG@e&pv?U8y_M9qy1S&$Q%A2b5<*)p zprPsr9h_v(RB#719sO8`dmi^8X`^z({o$8(>Z^uVjls)0@#1`5Bt#HJ+Jvl0DI5CW zg}zfOH?eCq+E?hUnW4#ammL3f^a^7k3=s%us5(Li)5P!#*K=P_#+SGOJEbV*@N{6q z1i0(V1CZjF zm#v5Bf~p>k9(v1Aq=vCtUNMSJQWPNv03_S~KJh40HZm5CAt%Ou6@du+lC&Zba2Hzp zad!chu8>G(2wdK{0|!V@O-@x%TT%?|c&(ADRI*B8@62TMriP#3kEYUqg?uQnVrn8w zh+mq)EnF|cC@E$R*(e_9m{ApK^r}apB+tUzs$mLajzd9Ong5YuJc>)`Fo?WUHT6>d zM%Ol!<=qKgIjufw;;?kdfj3DaV%#n13u+pKfg!E}q_vj8@w@TthZxzyT8mv*08393 z2lN+Ufi?;&S;r>$_Q|tp7ZD*nJVqUZ$P-Svcq9!z_Qa3LH5!M_co`$*8qd$qhmf#_ z5n$JY5Dg5q)<0%*7E_MA-gvaZFEGjESSnw`Rw^wzEp4%1dE%>)dWc)WN2ta) zjdIS}%SM~hh-R7z2$bf((zEh>F(Ior_6rg%Hi4LPjYVo4r z6?ucKi1f0`ew*u{?E8lO7QqO7SlvPx2T}m;wCJeLN2^3RjdLn&A%O`A5im?Qvwc@D zRI}zKv80Z0)De{1%qdLgJq82Z9lpebHgoVY@V&Ol(UiV`KbH8?b6@;`2z}6VsHri< zgjhTW^=Ko%_LS);tUX;LF}@RBU>o~`XfMvfe57NaE@0ADKq_!&E2e&{1yvQ?<1=Ws z)jETk$;@S?w-%#jt0qmJ9|4kg0$om{TQdy8&Fte7Lihv_W@JcbO9sf0+-K{`%b$Ce zM?CsOP`A8*6hR7$h|Qo)uL{YnB3moiSjU`%-XIZMEyNrD?U~A48N^Ueqm0pJha1+C zAnt1_8$}J7%UXuYpI+0lI!8_Q*DNLxmDSWuSbhfRc?-}x9XP@{w!r$^ ziN&l^Yn`$ z8bwnY>v4m+l+0XaIyHU`ecXt?ZlqVb8Q#|Uv9Z4Ui!}RvHRDjZBuHb!XNV*$;fN+P zDajhvsw8Vz!@?2TP#A4wQOZoam5bHfnS?-w*~os%6%1g6&SvUFlISQ>w%{txVP=pF zvo^q~M_>cgcv?++lWX7%*H%^dpaZV|D-Z3njXDUyY?t%7a(-8CN-O$b71O1i5@|@H zx~9%KlQxR&x`lS#M7v(09ZnIE>BytERX`*6UCl^NX9Wqz$GWN8qihAwL`oF|3t6!? z@7?{{JmMd$0lWLb5?o0U_fVRy%6rSK%6s`$d30rAxEZtBs(d?Kg%{S}y`|UR-8)!+ zbL>}JLsZTQpaSXjwBZetP|<_-xx!k8>~3~rRH!29^@nHU6V1{K?mJ&rXLc`h$5xjW zK!vhZ1T#!cHK6{9V;F&1Ysk!YdRW-?U`F4?^`H!_k)aS)P8lrfoTFZ0lT@wfYX%T{7zN0L!A0F$qg-3?_Y(s;NAH5jqRWRaI}rRn_(yR#Drl zETOC#Cl^f_rmU*@K?lkhuRNar#g?r>Ao z$XwvZCDj04PlOkxVfa(qlauj$mXa?$wN)!!R784P$b;rjf4lky4oY>rd)av7LNf)h zOz55A=RoxjknFKQ6(P-d!<;58&U1DUp&gd&?|*OonU=s*skB?uo}ji3IaR<2(J|k@UdM zyVgU+$Pr?MY(?(B^Ja>XK^Tia7Ot-QN%Bgb(^Uiy&GZH4f=pC!)F__D(0HEQe=$FW z472HfS#wDW8P;XKhi=gJXTQzRA^EyLynv3||MBw80FZ#X0ID^dwl4b@=i|xc;Osxd z!#YoYGA+}`-#(FvaZK90uYowS{I$qW@lmJOZ^qLZbEy??c zm;$3%ns%fP8zJ(eTKVtkU2&k|^^o91-b^mnc-LByY<{=0sN@L8;)grT#g7OcJ6$C}Mi`dmG zmk>A4Ctr;y#?D9LQMPvi8O$uw78d}PRUw5~FN;`jDa52)Oomu)d}>jr^exC?CIx^% zjweQTxgU*%ZONEt?FCP=P8>rnx*%pgj;LI#)yd=9U@|(A z@5iwx>AibUZgL&nKuCs~|B)J?OzS36OrJvRRxm>xFdF)0Nh)kv>tPbAHVS4uWvO>u~?h=M$|e*%8FVa*BT z*mGKs)%CDVv?e!JYwlQ(k_dt;7$6R{>z5`k2a2l6*93VgkR9Qb%ZS`2Yx-KR#7>Nm zI~8LW7U>B4cJ$;H!T8mV?ylB!*u)~;fglxp27 zRX9wZk*Z*}aTPG^U!eD)Ma#q2+;)yU z2$}tw*MC6n=Xoe`(0fNq?x~#3mSGb>Q)^kuT=`v?6OqjfU9fPhutIF&^lSe>iAUBK zQ}b|~`DrqyJSQ^u(0$jwbRYTlb%)RIim!D(y9xcIguoeEP#%x7%Q)z%vjaa>UV~P$ zM#8jLHv~)mevQ=^PAMdU9F<{?0y7c@cl|7=L^icH;@CyYB=+%6WtX2amclDxtgBXz zX@?_&MSKOX&`T7XM2n}}RjyJQ+cdwX$gtjB&au5UdN{!(ob-EA0Yq=VyX4@|fdIB( zaP>=$Gnmwyf)g4ZvC1Z;NL}9O)%=M;QFQ=jX##_tFUcu$(GttE1v)Tn0-Pu zVP^^tdc_F^@>5=7I+A`I&IOPYJ12LHI6FtO0`9%v1^3=ExZg2O;sLufPKAAsbaKv0 zDF?~j{A_lr$puMpFx7W~gQ)}zk$vHlllcVhbs{Kke)`D8@Z+~b>e(Q6mRq$*$Q0i) zslul~ca2cOWMXOebu&KQolBl~=f11c=YylQ>(P&-=UJ&6?t+HUs;QI6mHj6)qN&4K zt3euT;a-X5s1WrnItuOAOP|?xRA@Z{4~XgrSk$O*FRi}aYW3|E)VKF9p}yVUMt!?$ zR^QZJ*mtPD-8)fV-=p9QhwuRW3eLDXCjP#EF(1hOxUE)^jmCl1ti;U1Vu_rw;IOYp zqOB1+PUg&he7G~DGU-&xcS%XRIg5vz8N;RzLUiy!CwnL%c7*y|O!3R|HLtAq5;7&GEl|$m@H5 z=s(jtPd(F%03P#p$;+*PikD+WQg~i`;t?lOb5cXiiBHXm#){xJdUn`rxmj}|e7t9` zw(M!wo(a;jz!#`T9Ixi-fErD6ON!kj@N0SdD*B#K5R_Y>%;`o!Par{~`G#S85O8IU zRCh^hz$^J(1S#nO)dKq4u?$_5lJOi}&a^_3~v zV+zh51wvZ=Mip)hjh;yQu4`yfq~{Ex<2|jeJq=7Rz266iF>Dt!Emak5Ju+LFyn zq!V)&YgGqJ&)F&GDmxTv43W&mS|++TYEtIJ>kO*eBwM+YjJ}raFNYRebqOLxf&nLa zdn#}$t&E44S7T^Az8Z`MXRW_Z`d3$j$u#~#8MuQpK!QFFuJI%D6`lO?bPY`3cx$P5 z39ol$>Q2{M#&vspqT7`2FzADwo-fG`FWb{mGQzUwojNa?{Rtq5ZG; zn-Raocx3qil+6Z{5pcod$fs0gwzz`jHj>`Lp}GGj;QQtHY<_{aNS)nhut{#G;IPbE zFaP@e&oANs|NE<-w?Bv0belm}`rNgjd(!8g{k$uE-gUtDrSE(8`;G|yz_srkN)-+r zdV69IUEamPz6hkdZ|m&u?d^zgdYqJlgM*$-&<^8QclTiTaA$v4>~n{4uJ>T~!Tv$- zfe3Mz326JlgS~EdzX$!xbs0MjvHJ%H`v=|aeVH|Tj_iZp_TItXgWc_&g9p8X2Qmxx zcWnI!z243aG}_re+}k}k*gM=7iQH#QJKWvfKiJ*fKG-?fez3RK-Ip2I?J=1jYN?sfrdSua3coZNS}dxyQ9eSon2VCQgmAK(G@ z0Q6uNK<*#*y4_uwMW9p;o9-SkXZsNFKs34!_I7(adqB+L-uCt(p!Hz;;BarJxBuV) z^Z`8I-NygzJlF-+9`0^$A3W&pbV15H4-yRC>pG?A0@eqI(5Cm`!ESHw0rc}=?*J&- z1@Is(=mJ=^i?Z6o-+OLclTX|?!Fmfex043tFzPdhJ;^nf7eyq-%Y5MYogG5_8l>mu=a7d}h$LJdO))JW0+)eKrtEsYj57!7`<8BQtKqt-Q1Li6B_ zTDf1t%AL;$VJm!asN4*!QP2*suV@GJR?rT}sc5&q8{yfjq7OBgwUpS>;WMZJ!egw+ zAr7ItCtKn5<^hQ85q+23Q>fODmBex zof;-Jiso@k4VxN0+X<1ZRWqWFTAeIr18AcnX}l2D1SsF_pC`b=Z z!x8JdtY3^TE(R1wncjagne^3y<8m;2Glqr2aMYhHUJUw^(>D)awm*R$Hy^kApSSv0 zldivbH&}e$dbtJb%PFiU+wj-R%~l73C*$#jS~a2%J)2KPn7aFU>-#J0>ml$aTywqv z=NlFbi*_4tL57vnV*;vw-P{1vU{SQ#YW0ufgYUS)IGw#5&-xeNPtFFkYQ@(6!gX^0 z#rSgYUn+E|R;|FD{(Y6_hv^~xV_i;RO&~64|J`_`+rzikC&Q7###{AXjJH~E)U_aJ zYqz&-4{E*k>zg4k|6&YXzZq&44M)&&*avrn^aDRWg0J|mX&lw$7+j2BA^NW94PG%4 zH6dh?vhl@PoAHs~xOO?D>(ttS!#zL&uXV9k#z6dwWCH!59H1)8oM|D#&=N{*Al`0J zQZvVjFu$#OfT4@oe$>pF8b%S8P`d8OMDIGOk6+a(9s2RsW{0VmM(!&N& zOb@ANm;EcE!A2|pGMGL5+g9uEkK30pSmCq!wS`vVZ<}_2{N2SvfqU0@-|(e(IWw{0 z`1(~8Jw)OS?dqyy+xN%MRqXT@h`k)YAN=pZVwyk(2J>)=s8THTa)W=~lr{*i0XhuA z*RKblLK}eCE$$d-#6dN$NinbK(qvtXj}WT5sFFxb39xR*KyNU3yc-YF<;Hy^m3mQs zbyOA2U=-3dSWE$1=tv`0$KJC z1IXIEjRq5`j5Zyb9Dc321f-}MKaS9Z)exq(BvYC(35V@HLw3nfOnd{R#=?XPrXd6_ zdmosBrNu)SrbO--^lbDNXNdO$iAmAT^WXvbV;#B#PTB!)rHA9!zU*qn>3(m-@+D>c z#94>DV4scNLwH(5TL1X_R_kw%{Smu>5xbzC??d={4(tY;>9vd2=f>t5UABW~an!o@ z_b$G{e-#4HrbPy_%{^1Kts1v4rRPRXo#1ehYT?epq(w@;=fl4#C%HnXLr}?RYevjYq>%+dHfWFoHi@L9JvhVrqsfnvGbk9*Sy}MH|zlV$^Zl7V@cR zadT&6P#1b}R!2|5v&?vdVDAZerqOy9c=;G#8lf2zmsJb zvRC4_ccb#$eCeM}sRjJEWWdi&55`-dN2IWnIOFeBg7JYR2$JDB7>FM@j&G^FrKQ$jQ2;}*IEGC#awzcew$sI-SNsyP#)M@wViqxtYZas zcdM@CGAi)ND_5bx8p2;f{L3yuFU`+9t8(g@W017Oik6i(8b@_!uENsK1!TGel~u;q zC7osns(m8W^Ts`3gfSn~m!;s)p_)SH54ub(FHn;NspaXv=IWIBpkEHBZ^z(U6I)&kKgf1Q7#7xJ(H!{X6Ojcs z1XxLC)0&NYWE?!JKsjN&a*!*l?Gpjee-jk-cf~4ASU3JNuDiL0#;fk%aMAq-Tyy`f zOYVQ(75Bg7f*Uq&d>8-g;bf{7+x7~77(y?7V|H_m2gcc}S=acOdo-PVIT>Hc@YEk= zpm+#00{cyWISi=`51xvMico9uynjCe&dh@VIth}cqHCm}8J=uAHh+^LvYv6+*AtNV z=q&CLA||QcVMDcb6MC|`H+&*jB^Xly{GI6ci}45s(6i~2>2!QL?2{2pBCyr^5Flec zW9$*Sfqy@!el-qM5dN;mrH9D$UH|$B0R9On0p`y$8L2*Wb^`x9h5wx)4p`8(B?3$6 z*gK4^`CxQ9cs6}LeEnwj>})Wa4QGq?1@+>0ae-hjP|U^~Nw}KovZ9h~-MI~YxzRP` z@+v_-R@#Ou81xR%FCxA!j21h0h(bb9RL6IG&x_b7SV5--zUr6?J5+}acpd}1x){!$ zL@IqXo=T64KryN`KnrvWD1>i#g$n!)f9bvcoAi0PUjb z0aT0rn?R1z7y9^*Li2>UVsN$90JK8wxZk>ezjfj}yx6pZP_X4jNan_|{;sLRpPpKA z&LUmkpNr&8Rr>H&YheDE_DqTTL!xa;Sv7;MOqZ(Cqblm(E?_zh*2mLhfC6L>y04C* zGXABmm{VWyJy0y9KjDk#B2T*LBXbb$NX3M504H4slzrQA?ZOUxFMHBc9`218JPP7J@Xwoe zKQL=1tp{ld2a9~F5eG4vkiJG3xJ3x-%fyg@;AysA(p>wh)fUe+5|GELt#e|HB=^qd6q;&v_hL=r`)ErnIApqCf}>d8e! z0a^F~-f36-zx&hg#$V214!{r77<+#av(%n=SV*rDX*m3D+`E5hUF_L-;9SG5TmJ9ISf3Q z-=?M!dEAw9`$AcV_1IZ8@Xg40QbVTZ5N7@OM@XQZL={OMj>evTja(WcRc)h z#22fO4b>|dIS7=?*1@>A*N7dfEe!{EnTUoO*7Jw`Qjl{3%lblMr1)%b{r&mFm+eQ7 zHvPHyJ-Cs$qanUn`QAF0PTtI|&~5^7|GlIVZi2x{WvDhpX^Q$pwQ&388pbQAeZRzORdXqjw{#ZDKU@1OtjrAD;#14L#LjsHsx=>SrnFaW_2{>>`dKcO~np*E3j zZHSj-gOxUAd%&~=^C#Las{-p0@NEDdCSYtw*%#=?jcM08(OnfkW4q$Go5_IDhNSl#;n+2LqIyV0mLUqVhY(%OD>xG+Xp!{2+Hx)up8B}S?x zVVThyHU3>kEZbs7s&6xF`3(lK)uDJSn@`b@mW1J}D5JrHs@ zdLTyo(i=n49;4RJc=#xognXZ%xaBP(R2l$rb3VLy3Oj<^(T8g(*! zp*jsn+>rAsTGfqPkotLRuY30A$G+3VSS!MfBc*@*({bOckTndD!7&XCYt9sKvsr26 zJRxW!HzcF)3))J98$YkU?+#J?;uRlk=Fw$0*pB&hg-p=|lP`+za_MTI0;ccv z32NM}uv1SmfUPH0RbAwkI(mHL=*K)U?lM|>6_99-7Dy(0p-^tWH^`bvIh|(rVR-fM z$yV#B(}Xtu+$43tpHFZj4*vTzB$L{r3g6#Wy5S1C)yl$v1X{zOMaIGEOxth26|~xn z_lQznPx}~JAIB--Xt&!icuzJ}<{N_dSN!mq2RZI<1E3SHB(G-wh$Mh4HzN_)?uo^> z(}t8Nec}e7noaj=VX!ta%L9OqgWA{!4lfh}jpX14Okx~s0(`Pt-`Q$i>v!Y@7!Qem z1ftq2&C8VwL%a+qXj!Rgg9Mbk2KZvRzVFJB|k^KD^mhRD@d(z6JP$B!_lL!m*LbnadY zKd&dDcJHvScgzD+05|a&kau1K^TA)``QdB|G3d$9-P_MJrRzIqDp|}^mT&vBH}_Rv z@O4XfOVHfKraXMx2PaN#sdm-#@)VcsbtaVV~F15~MT~h19bD_V4 zhHwjVUB;K>;BB>LV<~uu6@bq(xMQwPf5_qb!@hinpYYAMY(UdUISwpM=y93zZ zh?Nk8D)6)R!(fpCYmX}uY|Ain1F8jWo20*A)1G{SgTbg>or7wWcpQAp)piLE0u7%l z5NqckRLF8rePh0X6=C6ahg}`p zfipE~H;q_$l&fdnE9OQ^dc`9lj1Z@k%zS3K`bmB!wz5Ml6k-Z@ql|ukQC5ffTd+5N z%N3Q;g%l#4be|Y2O<|~^i-d;8%~a&$D5=QT4HY@0Agj;Ge0)KtnMhoH`kODnB;A%U z3m0v1`x>^d2TFQ4#A^0rbmq5yG8udY6Bz8@Ku)(bP7*dRp;|dR*IWhCj7SYISzYQm zAg6B$+E9T(s-`J-DJT_aYcJ3b9f%N`=DkS7T{loEl`s95!3zirTnzN-097d3v0*Yv z-Yoe&mAi?xg5Kr4p^$)QtG%5oFJrHaYP1J9%y`)zxNioKgd4!LPVJf z+RbczN|kGeU4np!{7pzv{4h9GK8&M@Z_2SEZlcsX4{MX^^jZP}pH948mGcsn(VKuU< zwoeoLm117A{_tWlIGs%W4Gn{Rqz&m4()}hmX{l2uzA%9ZJq) z8vGC9+4l^~;4dtp(6wLjleUFGZ8jTnQ5y)&NmbV7JOso8-fcGEke~FD+xqM9;zINKOYDX$bIfGeDyCDDsnl}y6=nfF45ca08~LUI zaz_2FcWmtF4-_12gMKX%qJprQsv%G#s^alp4_d=KvQ(-CAJP_$XiR^M-!%+C2Cobj z2TN#fni?84vw?X@K5yvt{LPp$MbOQ$NNicYGmp_cpe3WtN44`633V%h3XUdmHi0D$ z4~3=vj{2<@q3FJ$vVS+8QB$0%zn{-?N-r8(nj?#D zGBE@AKn;?Igl!FSf2%BwYl5c6oLD;bTk=W>7wsM)%NBuU&mXtXaU=HsK5jktc45_|2x&a3)gMS$3Pt;>rOK<+g=Aq|vYpElP9ds$ zanPU%hZV?B6&59F-uX+U%De&k(5*7kJ)%-{H?h={9+&u$gNqPQC$LTIYNa2R)qBTR zUk-8UcQOat_dPgYCd!*0y_qwx%c+9j*gtro!@XYP1to5KieLwXi=Wye3@zy&!Wmio zl0FpJbpOLmRRKo7)82>1Lhr3JP9!!#O7(qSW{EoHRIzP+7Je_G9m=k>vl3lf`_id! zlnE5fK`;M^bC9%K>*qx3gE6)RnmLD>oqSZP_c<$AVhU{Qt4cEo@D zTrK0@3??uH@6M<>w3wZW^e#kLY}Jm{HRN{_nj@R%Z#EaKURLZ4Y~T3e?3=;)3^Om4 z0mP(B^@tVxF&quSZUFkK;z=WVP(d<6TD8vbga>t^y$uSPq4jTXnt zV8w;*%D(mx|VJ9-i=vv_2*MF;SERcVJJLR5#uM1?OSwsqve(QLOIp^jXM8! zOK;doJiq zXvWAsjSL!Ev$a`j6zWM}qtQUiHrg0<`kJ=X>!M7VYHPi#O|=qF-d5w;GGnXpZ!~Xo z-b}F7ct-6cw$;&qP|U0vqpMr%K)tNteKDBfQR!b^Tn$d`4g@`zlsPU$k3t2A4Se!Yhy8}H$Z{@%UVe=NM?;uy zU4$cb1@m+HHRAZWVT#sfK1LT0`mYQ>556Xu6rNXMS02RYkAo4C0{YSNFRZvIR8-TW zQIqU#Zt_W^5YocbT8On61v+pLo>cERWU0ptX##|W4`GpoAmU)annqmR_?aF3$Mek^ z`$RCTl`=YO$GoJbg89m;UY&Jdd)$%cE4hC=n7kg~NA<}!WSg=LGxSx`mNs#}4T;Li z7|H;Ox#ob5-}v;~%-KK@wgl1Qrt$MlqZIxMfq`{g!soDGzUhy?pM3R8$R)Z&qcZFs zzj$t-CK%WE8K;0Jn8(3w>CHVq65gkvyO)&Nm*z=|`l*d{U^F(vN5$>z1i;a6z;E~{ zxvLH1tbgo&(mf@5F!zxTnn&)b)()H^AQY)j4b5q)3AL_iLlvQstuZ*m{YIJ})lXf= z{0QYy$de1;a&1vFxSH9h3->dpN=5xi$eOrQRa5a~MWy6oT&sQ};CMw%{a7`nic}QW z#P(iA-X)<;YdC5hUPGtu^c?(3w|43b^%pZt(R29g_L4&BX@)=tniTvDW;tRe&d3@( z&dC;_smnh$>^&UcWjYOeWI_%5RF7Fg4T;KHAdLnz<#}2#NB)O~y$TDy9C>b-j&v<+8_ee}lJjBP{5lv@9kJSZkruZB$_MD2sxTbf23InvvneTUFsp3gCa`*9A7Q+sd? zVQ6G(@M@UbO>s|-;e&SSBW7*T({@v@oz|}?R+mA8iO?J`qURu38x`AN=asyBAxa49 zO5!l!@myI?a8-eTg@7v|C7c331rrLl{|Ja*pQJy+@t&EWlX z^A5O*QsH~)-c#y#{&so>a`~zB7yy3?TtD~iJ^f7+D;wbKC0v~92z+2hz1zlkP%NJP zoFv?~9+gk&if3r!g%{OR-7fzFu!fHI1uoCdk%HMpz?vS;P2cof^lG;;5NC8%wZz7@xif>2FC&ihwd&p zI2P%_;XVa&XgD}@Ua1}*dT<2Uh~e;nU%!nIP44Nn$~|S~$(wZ(>-T<0#4E>9#?)_^9GF1vjV zJP!_aTz+9#(PvKkdIB7oq#u5%>2un&&#B*Maj=0S_PjrOJ!tzcHPS_^N|?g!Z1hs& zN!8_kN|*a40r*6zv-%|Y(kJ*tV_?5b8C#Q3O%^uO8<8x)ge#PLj66ICr#Grgy!gjp zGJZOqkIveo3TBK@ZMPdR!)8N|O3WBpqAeZUTdk24Ya)DcXF;#w9lGHooaMxAbq^l9 zh>@(JlVMRAbU4D78wJgg2ECc0<$^L%>Y56?P$O<7)lwd>tXF?&iJRVCBl@5X$DjDH zLhPspvw}PVvZcPdeHq5-zkpUk0@O_3i27~+dU)BtaPhoo|7xps*}rztJs~3UY-)hw z782C9(L48Mt?tLKAO#M-fk9)DgUp*Ea>G#pIf6(X4@VMasuRD0gqbG6-L_+>UWs|x ztv`{oX1QL?Qca;loH())R|{B&EVn4v@>*%ZG|YPtFim0jLw_`&DJsjzs`5FT$!CM~@&xhf7h2 zglix~uUk)oP+O{s<$)0WExxa{Bc9#;^SArHT#Wjc!&7?q8;FkDX=nJ^Xg1AnHV&@w z3rk0xwm5A1a5WjfAD)548PqMW+Wp~da2b}J_OJS<5RMOupAW7kLD5eTwmDmq}<4v(+lvGy^oMktQAa!_vxwxPGt|{4csXhC7Kn{2guljbE@U%vgf@DnXcr z1uz{{eKwh&;@xwWB)jK;&~XDlD7R2`vN4-X;h#5cq&kFUaTnlu95t*{ov;*PO)Zpc zJ6oWE@!i5l65^698 z)hx#beaaZD?6Pq#I z^k4X#7>PazX&4&UB4?4ajE=ao#F$*ts$n>IZS1CtmD9G5=6S*Nd4jl?5(I~xl0pLs z{H`pnVVxk5$C5y-YjSS8PTLP{nGByIQxvN5ro?H<7SU-!W{%j!brqvPHh+=vachbH zL4|_*MR+Ee6_#~p04}r26zlA8KsRjbUiVm1CuBFM z7Y*T$o_|dHn(lJG?h!cx)?bV-FXuCeIpG7}2JatPB8m$u{+OTuQ#u18Fc~wrGzS=tql{n?Z3cu$$dl=Gd^+?93Gff&o~*~M)`vP0K7?gZ??WY7P!r>$0dYju2lXQH zd0W$~frbkBzg~R*-Tfy&JR{g@51${Tgq6$%Zsxv)02NuCDYd`|!U+_a3KU>u*KeLI zW&?FMzKh7d1#hh5Ku!n{0Ny-mVXgq$ru)3Z_|&8R_JmAfh>?p(rw~)Nt{G}n<%Imm z7)gVO+u;sTg)rwh#1!`Gp@1R7P={?%8TUC@#+{zt1+upBWZHxb04~#^u|&iiDWNWW ziK|~N93;Ss8Fc|kbQL(_jBt_Z78@TvCEQ;-nF~QBv%yvKEJ~7VaFMaSDZi^ z0%TSiLJzZPV3V+WpOemFIgSGc#}2j=!Vuoy{_0W}sV>jOcA)$0K4(u8KUJktsZ=VJ zq*DD&TfZ5)_}~XGK1xX9v+cSeXaXytrX_rLG8uy%+^?#yTgQWG_h{IMFzw-B)bCDq zCWF~~V2wfVn_qK31MT)^nEnM{0znF60`3vaDtrZ3$+Qh#*Dkc040@sx(vK{hjo$n2 zgsq7yYb&^U;%u}UD;@b`UH;gRKkmpMcjb>w`Qs<~}%O@$$T=_oYu%eul9zicRk@yi{BHGa9PP{%Ku3V;0alNtnmxu-^gU+y1zAK7E1 zF;IUBvDEmmQPR)a10A7bt>gb5^grXX=l?xzydH7DVk&)-%Q+=G-FePQ)3Gionv7AV`TOjN1X3_E#^3gUY*(NJ2XZ!#F@P< z>2LYWDrIvUM=q7jdUgfxx!I6ZpG8EPzXSFh16jU<4zKVD4U? zS&-mW$teFth5s%^Ft3S(1V}4^Qfj>G}}!W ztY(^oknKw{pVF_W3&pd%O-OWkTIuh&gJ)nJwcycG8WV3`$S=tq-vqBbfM(x(1l&m$ ztk!BYkNqHpH3UQh6r<_RkmJ}VeDVHUJT5fh&;TIl=uprZl$*|I$hs>i#IA@isg9(0 zu%aQ@1k~QeENXTx6x>pB0LLbp@Zu6p#A>t4F=)cn7EKKKsSv1_XhIYdEtrC=TTBQo zrrT+E)_c#w`Kth0K&8Ko$9Zu+95z8#2*U@hAqpIKwSI=UsOC{z>qynIGy!tRn&PwW znaDvBMAR0aWo^%hsw9u{Qa|)e30LwKMJ&TvPZbFsWU(5$Bj3$!H{>F zDI9q?+N#E({TDb{pLQn|4^Xcr&>R-9ZBtaq+R1t*P&A<)1-h*_=0^L%gDgatqYh%#jsUzs_RYNP?Y zfyqC^vGk93r{MhUcQ%{7@o}Fy6CE9$O+07@{sgkKJ0v3@P4sKO*?-#EeEhx-(&?CB zuC{;a&t6WNHy@ABhsUFp8D5Bm?+vJVyR&)IAAs0?{m11jOzSWvLUPcFftyaUOZROjP85hNiHg9V}@$Z!Yr|s(|3M~UWo4H zV0`*b<_k(8MOgDaT|9^Qd@JuMBV)FSsBIVq8a!-l-o3lA3G?n2kV#PeYW&%zrshor zY6F8fN|dB$OuxnS2D~LS_e65RJ(!fcJK<;s<8+Yk?wVR0i5+vA@MD^q+tC}@I9a#3 z7b$G$1Kq%<8j08S7>`wz*%0a;P)qU$to;5vEgtS$Jx6e2;6g3#34+6P=*&}~8%Fi= zqS%@3zT8_)MbprI0ScS5eIu+xdKtAxSe%DQ`0jyAZ4*XwH`9pQ=#`dV+a+a3yc zY*N;Ee+sojX2;iJ)!J0O<|N9hz=7G>u2Cv|pcts-v9a8OQFZT+4+WHS(*RUZLzyjm zNb2z+XyXo^ec->Ic=Y}LI(~=$hTreu_j}>z&KlM4MD;tJH7Zz(3#jMLMqIE-U5DR; zGqV6lli`LcE@P~f)7{UpnBVn7I~8e)uS<%%j^lSI)2%zQwO>n#*G7%OMQwr3s+y4k zRJ^S`*WKxx*~tb(%iM05UFV+NbYK&-R#&@yu7bcc?_#F5wDvOy7>7WzH=}{!O4Ehm zuiL=1YF{(G&jr>`D!_Hrw4FhvXcu)YYWAo1)hEw>dA7fYizRYWapVeG_{eh+UOYTW;2;F0SA#(sVZ?jZ6opg#o1^ub(w zq>(ZoA<29L!xMdwB~Z#z3>vd^ASWZr1v_L=?AR1%oR!Ugp$|sbtYAU%Gyr6>5BVvw z-Ekj?W~LK8;wCf%>{g?m$)hC9O`=mA(b@PjjtQdiz|Y2khM>i=7~?S$3Tcw$P=WAM zRAM@)OCWsmT{FR1go@9xaLyH&52X-cVSA=2r4PbX+yAQaPYMR*Lw0|OKK;@>A zY?t&{(6v*+baVs=A=)wt&B!WHpaWH>)J6UWy0KNwUgwFQ-sZKuWLd(SS@w+a? zyFnj5@U87W$1Omtf~7*$rcVjXIWjITFj|Kx#}#e9m}n{Ut6f+x8`~FsSJ&IKwwb5^ z?K~ONPo>zw#9_R8&|o%fkad0+mgjzQOrHD60eS8xN8`Dl9E#_DavYxf$w7GTCr9A9 zpB#SYes=ZGBmJ|de;(_fef{%9|J>0(f7U-A>z_~b&t3iVsrbpkNo4_${=DczApJKV z1nIx|Fi8K+2SWO9J`~b_^TCk*TR0OsAku&HA(8&u{a|7U=e1yZ=wm0CB>K1>Ocj0H z2qug^-U+6SKHd!`&-MOus`tmK-k+p;-%a)YH0qrKLcK}e7}nCUq05gBW!qAb0M?PA z!lst64zoy8`92bYJ}YQt&wTlXx=x)4N$f%pCurAQey-=dKkD^?9I^414S0MKhYG@s zguhVfXGH*iUBZSpgNnN^pJHN|(F|YFJQ`xGlY48!>f!b=^#J479_GT-e)x?}gIQ*R$xC`_G#c2jh;J7h9 zF(X!p$+?tJ%%{_Hl%Zfi>B15LKtoJ=))XqG$z5vF5@oLLqO3`dkf ziOdQ&S8zfOj!-Zmq0!xh-^kW*6FYg38op_@rkmk&J>6rP;$9Lry8@1;*MT2_STjj= zKQ*tQm#bD|aD3^{UVPyWzC3JDF`mER-vjt`XuDWVju<%w7?04wPKw4GtX$0xRAkl0 zV2wHVo)dq2DdG3>eD?ALLi)xNe4YSUZ+|>~-krSbHwT2QKPbswnmVrubnA@rS+8idty`SA*U+w=NTt0Y$01~r> zl3(yP*4CGAz)kXBZ(i>2#`RWyzv(aT_%^S0Uq5^KBvHMcs-1${PgQ*U^7+dbiOO5) z%D?`)lc?NERet{S>z&6bJiexCzs}YEmWBPFyZedy2U+Op`iH6d&b%E|zAY<5Z4qNO z?2bPE!v^B|00#fkGJInZ9eKK7Tdc`uk=iQcEQ9hmrR zdnbldK|^iK9L7mkEOJcw7jK?FH$jJd1|G>PZS3*;68%2+T{M|I{1Z& zrMdA)k|s0;R?U^^P9MLdp-|lU}>6$LhC3HS`78m`4|Qs zgEd2jO=wjC6?>Kk!qkY8f06y zqSmkn`qo2?wJaFM*PuD?ioX4%r2V&`J@1o2{}Ah$hj5U>0QSNFhe8;KDJ&EWa?#}h z+_tmn)}aSRo2`e0{>Tb|%%MAmd`XKTvCH+!J5#ZF(7WB3Zvos}d(^-AM76=uOFt9$#AqLPy0vL! zZ5R)4J+bi8DuAI_s5am`a1uWs{C(>=03@LBzt;%Z2PqHLz2N6yx#3Kx5mwYU91>Oi z*J2#triZO0oL94%7R)Mcr2+~DS;pMKTWSFm+)o7*vV+82<~OBMF0*4gO$>?lpCV!J z_aX_5!h-@}yywjU3?m#vU@$TL>dVK(^Z=B9nN#u*Ycg&hl;aqg?JPuWAh)qE;Z6MniJiF5=XMJ#?2tL4ov9rI0GTqV>a5RPZl|(fg zpJ_uo$L&7RG^PVA8vmjbFNW+~kAS$wM68S(+!vdyYD5W6v+;p+MwDp6?z18vp2BHM zTwyMXt~c0#_D2EHtVX)q))9hi>jZ&96%$v{vD6}DV?Xe!TEsPv4E7=zKglZ6I12$X z?wJG0D(0x`VpjrQh$3uD=RX~ZpSzayO$7J2Bv>Y-POKjmV44z2+|p}T$aw&#EeYcU zATBl}F}`cw-Z`3@nr5lR5*i`00&K$|1A&bIftUye1N?mSv!$hJEuzC|dnvJua%W-( zQbWUN#|IS#Mp2PIBuU3)njOvrMT%;vm{DrSL8FQM3?FsQA5d%dVcOJ3H)-OGLMJ28 zf&e`J6)bZ)AgA;uB!%qK$unxPnhvY{2uLL(5e0wQ%K7-oj~DH=IDQhob_D$_I==4~ z4<;Q}2}4PqHJZm}Gkdb_k5cLo72RJ!q9CHGRWLOQdKuZPA{2BdD69Jo{9 z@zliF8~$01^7AC?IyN;)HCEA27*h$FSh|QH|A>jeP7*Q^s*D9p1T8cZNp&e7(JC0p zKf>YJ$RwJ+orovB5LfbXOEGyq9RFOvW~>7h{rOdmfz3KlJ3%e;ZVC^NYWQ|+&RH!^ zC=y1M3(tgk#%7}W=r(!;+<~w!SD2pR) zaZj%i+q+m`ZZ@Xt`$f4H#VFHhRJqMlzIo6$Y+d%1Q4|T?)4UfHfmak9Nj5j1F(g4e zNp#|K%~<+VI~SK=+a;Q%PRLQZMLzqPPz21a#o>7vw&CxWDt?;+X-FwFK@|V&U#epU z-b?DCLW!xm&9x*H#cbYrKR7ebmOjH2)VS>7_=1r-n33Dw<$DN0kr3vIT?u8H)a;$T z$IqUbD`!nn!QApCLO{%^yyI(%EK*pG_kiy{(B%*U-o)TphdfraAF08rglb-tg$mE6 z^nM&{6tcN(6DF$&dNY90O|GGvo5@%&@zgUom@(u8B9!ic9t5Lqg%>7Q8X{0Mk)f{Q z)#Qj17QAR2=Spmv6j%P1vAC(Kru*jazyE&o=Bm808kPTU%kQO%k8Eit+4{s4uceAd zu6QF=JaMR{N@uo|_#Mp;J>c^VR$-&s=TQ4rxH`>QPF*7P)q-26xheN{9xFpqb8h4r z$tJ!2&u1sed!M+q`#YF>6>ogH`<{>NCF7zA1Tn?4g)_X+~I2C6A8<}7+&Gw<*>KN$!DM5}DL;5LfRPN#f ztwA!QrMEG>%+CfkAIE6~ce=r|DQlfj+64U{9ko$Qk3tiNl#uF?Np644YPz$`1<8<$ zX&kbG`7AkTn!O23Cb7sC7BIDCS%E4Wwvc60)~N$yTvc4$Cl(K2kPRt9E^Su{3@VA0 z_p$#aV@@Gg2NaS19avPbRj}f=2v=&A(Ba2}QFGb{OPxs&CEm_dxNT>V#Vi))Nv<%> zu*HfE(`pYTBjR8Jh6gkY($ijRoU}p!Gh2-XL-mDu5Y`(tw}UX)Q~n@96Yd6ek2Cl$ zHY(0OstgyQ#Ue3Nr-S2T&{-`aiukRYaHgiPYygd6*4pZX^lOCoAQq|a?`a{Rz%}VwK z?|V}Ka3g~8#6p7-2i+{SK!iz5^Tq}7vBYi=CNIsJ1XSYEIw$Xi4$RRxz4Tz7J7Qnc zz11pra4Vm;6USUW+dn>^OvAfmb>EH-2#e?WqMT^YA+i^ag_jsiPc>xN5}bP7P+plx zr5-H0r}!WjBfF{|Ulx(AxDp8fD#HJ0_AqN6Hv!oJhkBLsU#Uk>RmRU^$wat zM*T?kJa4CM-O$CNHd13@aK(7wmEqa&%l!Bx0o1`u-pk-_VJ6RD0{O>VV~RNgs}jAu zrsF254s6{mykCp|=VKfM11N|d;Lk6gRs!dkjmv3SKjg@>?|A3%B}j4ZyGgMSuUE6z zgYfn6*EnhJ@KpJ>&|i1j{(N`ZG-s$gRcHJuyVmShK+J4@*u^io{WZjC#w+11?zX&U zti=`Bw*QXpofuVf28!9t|Ll)U4mGe4D51>mJzn7)QbZ;bx)soW=Z>k57@+u#mrnh! zl);wBMBs6~BUpyF{GZLe{7?W{7jq2D)6dp*!&p zKv%Lk?!*Rc*dUg;ADK!rW#dlZf-xj4+^B`IWx{+&Tzrrh?`6`Q9=)fjdYK;Je6`z1 zyu&J6&(85h7hHVDygiJOm93<YrfrLXgK*g1CuiK`GeihNa zh~^dM821c^2!=`(%w+}jgD2+YNexUyGT{^mdbzR@ae$ip@=4gPG6#jjt3R+35{Kig zsoT{?gCwRK`y4nd(07*0LZE5M^@@^1qUdrF<;DH+TRF6UnSCn_*j!Hlz-d988A`i} zd}Ozm3}_q~LT*mM*u_U1e%P$iT9}^6^8vr$>^3P%ljjl}hT;!UyWw}fZ2}dOyAH@3 z#5;4sLct5o+yTS$95#!(qMe&=f!^R&_(9D89u094ELXI6PV8J3v5=J-R&l8?-%Q8b zPQOUA&>VnK`e4$*K)yS`bAt>pWuFI+Ke=xfGorjjsELSa0%CYyi)0A(KyK}SG+_&M z`lA|!P!ey^PV5{TUO`M!Y-gr`vZ7NsNd46#wwlm`2$w=Nh=4Fj%EqWv-+H6u4i+72 zh-NrqMlc?;Ur_!2M-p!nakQ<(Q4@+OrzIY(Z7^|?08lBhZ+B7&upJ%1L;>WoI7npu z)I1-LKjJYR0x!1sq*hfQ^{=A)8Ct))8R?uXvIuz)coI3x0VS?M`@u2^U3qE*e%3z@ z&d|r@=DX>wAQcA?@Z2bQ@(RW^ViyaJ?TmJCVPo)hwq2EWT7C4AUT>pD!?wE>AeENh zZ${H_{G}VV_*!u6yzS^vj^6DYdcX8%aH_VZ9Gn}p+Ne`GUPr95IG|{BjWP4OfZ14_HB`#P&s3&CgT9=)vKCt^x7;jK60lap!R zS!`_FO8p5cw@ZjR+$kAwluaV67v^`sdozG}k&w+!Xl^3YO+h?cBm*4lu}LXcqUppz z6MQ;7;QqmDYykOqv8+bL7lRmY4DZ*7Cpk}{8onI?;v55U9rH9DT4c?n)%*Y@y5KJ| zI2jyF{8Uabpj!*svA5>;+xZ!B4FR9)zT3fz-dW>WhwRjjiGJ4At+rOd=SM8)m2 zI_tz+g51iL_-BEY9saYErU~C5UlLy#y-r%df<0>rjcWCpr~`J18$m})A=q#42gCk% zqnWa2vK;aj%_++vdesZMHMfQeu%C*Dd1ZYfJf_tsN}pUH>+aHrJ(AwQjA zK$rM}@v>Wuou#US6?Xed{A**W`)7c6%V>5M0>`O9uV*v$&TnEzHQ7Tc&Lwo!m1x`4 z^c4gYL$n4Up_(Q|wa^q_KJ_fC)>UF<(TvdS;Dl6NWmOj#g;sKt=}fOWm+j+^xv(@{ zRuZc$MLEr3^YovxzUdg;KKP0KGG@P}_EOW;U+^et$s{)-4v{1Wk!^cK>JNx;Vay!@5ijy3<7;ih{X{lZA_z z0qViUp4r?@h6k?11W|0um7uLnR%JpLc+NY#R-c=PaeD*}jNAO1qU*jw!6EOGQcQ5;KHNDp6Bb_nBMb zEnaT7ghw;nYP0kTwqHvNoJT{D>^5we-=;vOjOcvl2x8MPJNfw$@Ga%5x~VjR-O;f| zP|b~r4Tk>h+-Jw~d-bt6M$*HXkC!}b7)q8tSy~$IiZ7#jl4~4HE|||qOR$Jn z4XaWLCr@PKBEVQb3J@rex-c#+`r zA5s>Wxw&>TxXCE@Aa~8NV+uu+#^062NTkJ{N^Bo2Y3QeMgS)XfLz^iyZ%$^ePd8N6nd5Vhap;f`|%7 zc}Z!JF*P-RD!$JG^F5g9IRSr)jI4#-R*r>WwTzcDiXP6yVJjT1Jhn-irYpKbpUD^M zj9~ItR@IqL2n}1T4SOmWc_kT)ERtd##gy>8YGN0iMW*G47EuXBLJLp|3a*WQ%^U%N zD_~(DVFFtE2ivhw#BdjYf=_9}YT&j<0kk%H*E7|6n)Qkb1zGW;%E`sN@b?0PW=+QD zedzY^b)lgNkAcYFD3SD#LP&A5ols1vB`tiPny=G1J5e9=h9$s)^cFn`JBz>tt7~Dd zl86ueuUpu=zX#zEZW^<|#D%|>OJPo(2#ERop!QP0Me0rf#c|o~BS^rAZH=VPMJz8K zqFgN`*@XL=&|^%H#ACCW#KaJ=x~NA%$|g$Gg(xpQ1n3$on8;Tx2eMZb~|=J2n1I)0SuxN^Tf zVzBmr<8Gl|+^@bz20M&@-JooR2sSkSbbZ~%Nr4XP(%@u(?=b`5fS&k?)3o3gWAn0DxD+fQFJLAc`uY$~ zK{4jT<7TcrI+hT}($+s4yNU^KLmE?iE5smq&~7`X%Ql|_U+E-JHK~6zCkvKOrOYVN zT7R1iz&)|dYrx^nUJzoi$N9Gl=r_0q`xk>T=7^==oOGQ6$iL?Fpiy^LWzDUnmYnU* zKa6rqzLHWPsvhIJflKS&Ktl_Ev63c~seu1U*8$$iI_MKfnY2K%IoB zjiT!EvR57|LJ2933u1QCVzpE-woywd6M|4Blq38pN8G^Q$Y(e{HTcCKoQZ8g2^zd8 z6fB*o6C~~-VZh=Bq`~Jc^S3<%eombMxk?j`Pc#C4$3>q74HSB)k1F#+p#C5Ty3=4} zxzvy#b!aoF0Yx&srjBm}Ts|+u6(DB0i-{#?{bQ?Zc8u^S+0!id5XA`LoU8>)7o^isN`QzN6Uc?u^n_@fI3BO4VSa8az9C%` z1g5zEs0P3@90RE%cnzzEq-D@8**loud8XV*GeOGxKvgm?n+5g%ZCfhXPu0{_X~>kZ zH+Xm6l)@j0h)%E}`j2yp`id&GoUgEK;T?b{p==Z2TH!w6zNXfilGt2RM|>G-?T}49yXc-N|x$&ATv;a{-9VR z=A1w}_p5sH!DM>#&j|8wd@+KKU)tSZN?}iO^#~B`j~$4KrhB8ZzIn!l5=Qw~WKxgF zq~DOSdFX;SWKy}s^m{TsKUaz>|F=IGBMI9(ubw46o9;;&N{=OzFx%}Qm6gb)MhQHM zFsU%z?&<`-y<$>tk)+Wn_55o#?fw4c3@gbStQ;l6Z0xG;42R=hjH>4D6vl$%Bb;@h zqGe}xU=-K2wJf8n5xW61tBc`Eq7z>y#|qp#j)n>wWw3tz*kKK&2haPd8MhN##w=^c z2Cenr@B=3g^yUQ^u#kb-rnK~3`y^?KTf4SGDh8ipAjZ?oK!CyDcSrB~*iJY;KuOBX z1xT3>=z$P35-t}1Xf)op5E+7St>8?hAE8#M%{AH|B8CcS<=N1REr-JdSG9ai#^P;G z^Kpi7N{@|c*+vitIqUCz8O^$vlr&qVZnN;kN7?Pt>D&Ma2UMH!H)$dl#tro9-x>A{HKdugqh$ zNaj^Ci=Z%2Ob&IRZ&Ts6$Diui8uYep2*m4gujD%?`k7ofe*G*!P ztOkAkoz(4+`oME-H#OZOIJB@FN71_JhJxu<=(FOD%P@p z@M73M1vd*W1$f<460*`mVbn;mQ+FpF~6GM#e2|~}# zAYEVBq*iQw5#gl_F@hzNJ&Wa7Ah`0f`)cR)&i>2S=9V$OtlIJ~tBQ(dQ+hlcPw~0S z9{%gXQt51KY9t!H1dQ=rV)!TBB*kO)1vtrT(DQ!qU4>xTeM7ZrQ&wi$Cm!QVfkuPx zx6NyW@t)-!6!xV$=5*lSefKHZG4zQ6b4obK4NZ_v3HTf5+ zpb;v)IA&ioF(`Mn%R2lw0*rrNq9KhD8j%v~f|t)dohgxBkc+(_!a$ zS7w@sO~<)P>#Q(`=%fbbnA!?ShJ#8(nG_Tz*|t`V{ep=FxO-P{ygvaO8W@}H+C)5H z-G&Vi&m5_HDSf&ZsngQ!PQA!nk_eurEwKpW?FWaO!iM42!bzSJ(!*1tDCVT;83|Oc zta~9uqe2G)6V*&0P}lw?wEbRp$nV&hpDw_|d+)>HSnzI4AZ!gGarm} zAp0C-E_82-0fXg2G1lo<&=!$)t{vCw@sh2=c%4M1JK=r>CdNwb?nqg8}Oz46XZ z*TlSqmEB=XvO05`#=CT+0-fVarvEarLY9+WBC?X$+JgkZH5D{!suW zc+|0~T(r%nXGMD@$06WrDrUd2JLOt%K;iGvF{R>0iIv79AWq?jH-`Xt@`O1=KYsS=I&c0M!t>V2c?hhRI<$^%p?hN(r0hJEFoW^5*( zc!!ytdC^2J3+mPACw5+LH4ZGmLs}D34Y3c)>L+&cVhae3!i1r?ChFB!1M=(E$+&k8 z=KIR9&1NExlos*K$1{!kl zj$gc+X9mMtLV5>Ztjjz%w8{x#mtPVquUT9ZNy?W`O3krvhJN2=yQmPVjCacTW$`Or zhf204RyNjsH37vCT$%l;v=qI4J{a}86AP%NWOPb{OD@L9{^Y=Al)$J#S+`<+N4*3) zOBvRlrF5<&Ev#xP2f;p8PdP~LTdoP-_)QEnqc@veRd3(-C;e{~^^5@dIyyrU>d9x| zDnMDvL?lFq(4T^r>k7Lsc=0Z`g)WA85sNb9qN7gM!Tl{0*1%_@=iTY-k8vvUHpRbA zMSr?eQQEMJ8|9BW0TmoP2~_2yXXTR-AB$?Ah>WJV=#eN?j8g)7X~&Mj&a|#h8<}st zfQnZgorUT3m-_aK+Ej0L*7}<_vs>!X_@HC9AwkznyY<{7@&o&v7TGUxNbbT-9E)k_;_02@v>kt_iJm2~P23+){z#JMYI{o8OVW zpy|J!^Lr7+vR)9yTGIC|qp{L@qEyhZ21Z)gNHp)HK=Odp#7xa*=XYt;RR&4E*PM{# zPEX@?-OowwpdO3vzLwp9MUm`8*=1Vjgg}I?^^}lB}Z#4&_ zF{(YFdB7L7JvB^|YseO2(=uUHvHzBJRi6)3mig?`2q8sjlFD1Il~%#m3B+Y! zyWY$6m_F>}W)efcv%jq2gfGe?v*qwVM0&A?LqAp(+0R%j=SyY5AGNLS^i@q4_xMUi z6+lC~;+zmQqH}@E#V)WzAV2s#9!7=r3oZrHtDk9juGI~>#pM<;|F_6+o!jNrbZf)2 zT{^sI2nw!^C=R1+89eX`9w`P~4O^MYW}kK&X{>?Q+C+JO;Rtb?8P|V3Yf6Z~JR+`{V3w-vZOU z@RXJBTUlpnvG$c-5=nDrxf;g)``4C zJ`+MPDRGs+HG%%CMoNkkPwK!EOFF(ce5vj#hSvG^&>dOmB3)EI363;nj{VCvrXnAaxz%Qx zB(e-u*_C;T2D^tyqgz#)anh#>xg2C>sRd;c%aWpeFfEfCNTqo&iMWiP-;`i-b$TfE zYr(s#X8DhgKH&1j7x8YJM7`6tN!W|XiQ^>&A@OPI0{gWI0epI28-rj|23#=c2j!P- z1r7Wei9Ws=os5UaRAf53(EdL;h(hq(+?=!Wuxlaf#feX+WF1932M6VI(49>D98f0Y zX`2%wSDXQtJ$cC!;3@1-ENoABnAr&l%sBGgeOoe(3m;21M4rwBk;QhS zA}yUsa=lt%@FDS(GjBntE{jI~Nlf>sSYcQ3U75N2NnDC#!I|it_i&f)f5C19;Q8T7 zmdKNZyOKEzeWRjj3)+QluXLtKJy&T~pOtfZ55qPsr^69?I_tvz-nM@clKZdU>?V1h z61@Y2c{m>XKS9Y8yatV(Jt$lg^?RLjMT8xF&-LK?UhZljwHm=L3o5`8uP-eHByzyA zV4Wztc%*wOb?*j(TL`{WvO!1Be~G6-6eH~w4-TfGq#t;Yovwg8qCYoX*Cou7Ki z#jk%&+vXK87kZ&gRsM;vYqM23qzcF+ws|i0vDQRL2MYkF9aWD!h}Q;7uq{U83-=K2s*)Hg2}=ae_0q&`g|fLv;mGC z#fEY1!Z0>G_06!L`euyU>KhwbwS&R#yGss9Sir@y#B}c3C*sDMaf=AeBYZ&0_>_f5 zEOLslLnsb6yRwZVhgMYwin{P%p;c`hELo%SY#5ctLaUTYd+L1a<>|D)3pdn!7esS| zSx6aP;L@MR$6tgO-_AS#68=vUU{Q5Wc8)K)5DP>hYyQcs)Z16j`I%t zL?Squ`fA!^Ma~RC-r%_z*p}Hv}?dU5N50R*RIS5_t2HCIZ1Yt zP^-)E!_!}l4}OUXv*=5dVH4V-JPQA+SR%%LNLNhlGJi78h0D=P&> zIH3*3!rJDDl{`RJJR|{`@a0r|_qqy+VCzU;b1;GZa7bTSQ}(!PA!jtVCGX+jKi%Q4 zgVA{zvz}s|MS1nvNt3RevwiZmPr^}!Z!NZagLk76WT#N&x^TtZOZ@FtJ^c44gVR$I zn6(+|y4GBBsB7`Cs;o${UMP{&B5SYi>!jZ>1i1=Tf9-xb>OcGdXQ(;>y_%@d*riP% zcz7f;N&%pee&W)tJ)m(ep_PRE@pRJd)tK%Rs6PLEW9wkT z@spWxL?u1tpg0Z2$HnvBE}UbAu<%4LGCM?RJCcgC!<%o>n_aY-1X~M%ci&L@G3o6m zHJ7vsgA!iUdLtMSD)GilU6wt{?P>#*l!Rp3snBHbDuoX?IS=;c3nVwXdOFpc$S_xgQ)({aX|OX;lr`7guH7HI zTOC`C4_&%h5iCn0t4|O?cQgvKV*7g{(W;z0n_(tX@aBSV@52Co2ruq2IP9R6Q*f|u z6MSD}x`g3yd$F zQ56RcH7;zaxz(x9u(sQn<3Cn*P|0P2y`~y|ob#2+izF7*OZtv!`9U;#X0z}hY6%1* zz-U(L8UDB+)%~K{+0((Wr_YNy&Ys52_A&F~tVPU`(kc7Y^F>+5)w}*!e0KX-_QY`t zQ#+#taKkD=aBE_K^-fA+kgW@~l7?0COeLr(AH z*P=J$GXGd|TlQmV@-0`f%5}+nf-Rh8G0BPCTGqD@6%)C$j9?Y%21`V6l@~DrSQSZO z&Lcj3scjucvr<)zp-fbX7kp`=ZVlHF&hT4N`8ONMd)ptUEJ`AYN7X$j8Yr#Mg4U^V zmvl#XPU*mr+Bp&=NM`dinMtaTC^`n@Wp-j$De5jaqOws*87Kd8@QOEu1eQU|#14}~ zP>3QLGEHQOlr>E#QU$eSLYVoj69vJBEm*G69EWLap6bpy3v!6k9c6v(rX% zg4wk864|rJp7aovV;dx3Ne)dk%};R75t2-tm96dS9kkn&Ennu|!nXb{>8MQLh!;fDU^;6NQHAD5$>uWoQv!r9wzTrMi?s^m=~H;r!P#|SFWM=< z@}!ccvus{={^PphsfoCZM4Otx&;%LwRED61QnKpmw^O+QgRPJh>No=?&%u_T4Re%M<%YuxYWnVC%4fTS#elo{IfrV<9-JvCybYaucGm)5kfpN#yVj* zna}f2Pg9r@ig*f&f?XMEQN+`#{DPuO{^kg`HU}N2O2P&d^VSBPDEfv$<%!P(plG@r zqQN)(pZ=ndO_#-u48qB;h;p((f}vZa^U(H3l4?1l{vpivLwKd$Brk}flRe30Zl!vf z_>mp-uT_5?tKKUP!6otqsQzb`2Z4cCQ{{(q>W>f^OXH9QkxzKV>S!hF-5P3%JO=S8 z@li$kil})@&iq9X!+|2Q-bl>Skrg--)S$nUDwaN~TFU*YHKA)8+V|32{wQ;Ey+mD( zsu3J~8|C=Q^QR6Fh=ot$Jgi?>jCyN+7onr@nUf)!%fulWX;IdJJ=?nrG|Ynva1NNp z#eu>rH*W1!pS3y^3$e9y(p^`iP6W(sTk~!BF?@}bg}yA6Ygu%iYu{)tVEY}D1G02sskkJecn$Jxoz1QrH~zzIxd2k!)C?|&x|+myB2`WVp9lXYxZXmaY*HfmeLP)ByOAv#J} zBmt9!9S*kNb=fZyW`jSeojwkNNLa#ohBo2=fsG1{H?Z}09ka*qdb7?u|8RD|X8=+f1^Bp1QDoUq?XYvmpQ1XL#$l!KH$AlMJA39rz}yd{XKR{ zY=@VLL?#q^wB;J2EyJtxlvQsv8)oV5R`@S7`9oi(V4uGp*zRarZEQM(Ata7t#l=S{ zP_1%(xA5|=zgL^PwChhUi(c3*x>1|Lqry$vd2iAB?&52wRd3GbVSGzGc33iK*?HN$ z*z~Q~?6Ek(7|ULl;Wcl60Hy(K1P5SqvqmlusMj6_;yPZ3sahT+lgUi+=eRu4C7A+j zceO5n1uKh!wFutQ zWK)vW>McKU;VLbbQVdyifk^Bq*S2?-Zw;v}6(2d|0U8{!0gG%8#PH$YQg7D*WzSE+ z?Yh;y9E?xD$%o3+Zu;!>Y#7}OOcKkn_jN7eGB!;uZBHjckElci9>79WBB(^8@Wvg{ zh?7Z%{AA}!@D%IP)2+s||LLL8tScR#{IdjOSeV1chsIT74HE@?fNkx{fW2yLZP_jk zJ{+=|z7YKluyRK2xUspJfRnHJ#O^2g3I_N5x8S`CN`Y}cd)~$K&=CHMq_^W~xBW10 zH#&!|!vp=@WkC_08=&Z~LaP zq+ek^#N?(?ibbm;60`^E+2bM8c_0LvFvmZ`qqvg@mH8|v`i;Ywtv00s*( z3leKI1|#m@Ge30ZbM;*?AmSGLgg4eu1)6sR-%!dl(q`+>==!PSm2V@I>`*{9DXO4Y zvI=8%HZ3hMiy{;@Sf;%(Zm1AaX*Q&mw^ zTaB$~P$;tL4=b<}V~lb-hOG2;Yc?6Ydk6NY3anG1N5M(oLOun84fyU~L z>+U4JYz!hZzL{`^l@A6fV6b}fB5|WlByyscnPn%nxYzCcNpTOFi2`7HjCp>cL6-MY zZMCKcr~#iGVB-PA{RJ~8$xFc{Vw1}uT2*~26mfpE^Tm@?LR4{5qf(pF?&qJA>a%j) ztQJS&(D#%Iqd^qS3a`#bi>%HhTBRJ71U=Uvat)j%LuuD>McenX2Qp9JItysAuAlDx z+6RcoyE+4r%ZFq@b(nJ^tWaTD86JGJoy8h5ysbs(tz_X|g7v@*4742{DOnDnyJhH~ z#b%p@)zGBHAkBX9Ec)Hsc3EU62n%M=t@c!5Pd*|)cZt+~zD z$P!rBjRC@2Ys|*p9%vPn5%fCfjw(PNc*xW^&>%%cV8YHJwLp*(f{#ZDO=h+h_oA%x zQ3q}i5`GOb#a3F!KPgLrvhZe2+g16df)zRzh9z9XQVI$zv;;ANeyt=d;};f+8E(nI zEa4PaP4kIwtuv+X9F0K;45l-?aSY)9uxUa!&?1&0<~b_Z4LlYPw3FIlfOeuwVHz52 zHAY_ekk)aRp2;qfjG7H`_nmn z00xt2*QNy)UUU!{R8Jx5?_<_88u&i3vUyG+;V9)ifLP~3l-JosB~FQ`E92c1Sa=Vo ztu2s{`{}%XT8~bv4mPa>GLqB9c^iB#?J1??mv4__Da8^-Ghph@YLi$$KO`T!eLM!T z@UsA}14X+8l3ozd2YcjuHhn#K_kQ;5xIdZ=W?!0dr{XkRU&&FBK>Ii>O~VvST0lg3 zuuIS&wnWwA=jzn1%&L{>QqWH||2he4mTGEqMWKeGxVA`}=Ws$uq>mvff#wL1m1f^> zt(nKBzsuY&H1YQ78)(;f)WAMLU+V9D8O^$vZTuQk^2dU7bzd$Trk_*JzpxWL+1vj_ zeGP}OucGSLhA(lo-O0qfqMUt+IqVUM>EB_-IiI%8*SPwBhc)SOX8ml&uie>unn|x9 z3`Wf^9Mea@Lr3&4EEV{#JU@3~eH_V?b2mIRAKB@Wa5nR#5z@hI{yrQlY@5iw}dKN%c%jv%z80Jk-X+wE=|IXzjg`*5T{ej-SrgZ6d*WZ1ui zMfY&Od1C}y`gU_-8i1?==i>e?FMhkIX6 z;czt>^ycZV)%cPb;g?m=tno1x`|V2+5<8$HTpuFFYu^Zv!SvToNw`Gm{UwXv^xBY< zNZd$M%N%kX4zLx}rBsE6xYSLfw45Sdt z_TB}hap^ozM4G(VOCq=nhnb7+5YM<)aaaxPt#tftLrOALx_(0R<|~6jac`DcDWQFg)dYIUG%K z36}ry9|}DXKc?MkW&ozRcnH71Ar#JDyg_uB7G}622&|7Q{nX0KmPek=?J{-Hx6)YdDp42{F31}hZWnU;hzumZ8xc@0w5gJ){lD?+ZAM0-W{{SU*|~kPTpBSMAJ5doau%O~wq29b5c&45s(KDhs>nxPJ7+6{(qg1(K4k`*X13%=~*h+oy$L29)gQ-0y;ArtW)?mhJMgH3`}&Tb~4~nh(pDfrmR$I)2Fy52$(Ka(zV@Z(ZUzw$Ll&!j}CGX0u^`cXSLcOjraqDiAC)GolVicbY)3`uPG}eQ49Y zq8e90ll?I*=q=b|&K_dpR^u2yZ1bbIe4fScQ$TGBE<|uwP_pzQ!AdUs*6@o1k`MRFtz1YariFIkhWJP@g5#)c+9X1l9g~UT z#5r$ZWpt1mjNML>8`%|i#gij^N&GpE7y`DpVa;L*Ih#8-J6NM&N&ex2bPSHifa9?* zKIq_^vVg1j_8_DLRigBGJcq8E!@~?A6B~M(a%xMDHt@O>mYG-)sIqyYw7=+so`zis zADbBzj3z}{@-*OM(=epx{n0wU<>~2T3gF{vjx*IRV#z?d_W3l$s%D3Rd6!lKY>e}Y zVI$ZQEga^P=4@efXr!p-Cfrqmvvs_=$5ZNc8;yMN{6@Pdr(aSdj-<>3IgQ)VGztYQ znyv$ak0Fj+>-H!;o^-&BP@MLXic`7jl%S>HO01Mv)N5JJ`}KSXJIAR1j@(;2=d&@8 zha7f2lOEM7etBzvsEt%2rIg^g|YeOriwT1KV z$V44%yAjSoKF>^E12igUpkQW5{WTN-*fj4Jr(k{egp=AqPza0TPJG}oaxpBeBA#I_ zS*Z%E0^upyb-U@=j`ak7@jWS??Ii-YHhCMPAH1ER=(eDQ;8IdNukSY+voB}h_Q1vW z=+Ub9#8d-y9+f&Q-wx`t6WwUjz7peoWwmG!WmYx$JeYx+K5hKn9z#Oi-)r~wSY<6Q z`b-#1>-luX-`UbcXtWx99COpnwJUBf@L5cTsc2LO-(8?*a))5>a?|3mrP-0FTKv*` z@*E&S{+H)bPpg0^=4{KQ+ZBnkH$Ek(t7#HJ3+_d?f(k53fFE=Thttf4jjh`X>w|R~ zuo>h7?w3f@A=1o@6EGrQqX8O#{i#Ya9d&XYt*MU6Hh2s3ZHi0r&IfoS@+=xk8bd_f z>A7jJx4RKYYlo@o2IKyqpfojcg*$&P^sPYjxT*;<7z&5jg|TqUlvOs|yNXrepZ&{( zIU#9lkcNbR?*7l)C(nL)w!g>n4+Y*fDw#LeI_n#E?r#2c@BYrukDu&5y&0Mxu$FHg zlv)!2=Dp~i9jvU;{nRzEDs||u4*a!Ff33q`8}!!({B?)^x&wdRrN8dNUz_yTCj9ji z{q+<4b&vkK2Y=nCzwX0dU51RE9PyvnOOOA=ZjSj+?5EFvVn-+ZC-$`CA^hwiJoXTt zcnG^5!czm`P%kc%gXO#0Qyh1hZLJm$MfT0=d{o9mN$&Y$aE_X_?=@LodVQ-jae=8e zF)@L-=W6db%!#la|izC+WZqD z&G*hB>=VofeF@-9plYDRbBYkp@IUeV{Y@&saZ885^YQ1Z{YSIzx{qd9^&Yizo$tX( zzB{4d-*lHv0G}E+97@hWv5SX|#x-sgV`~~k$gVnkEVq;pB4#Xl-B%tsfGfhohFq=Y z-`x@X7sSBR@#Iu{TwSEWZ~fsAiy0|sH`_Zunwpymc%*cn`=9WTX?;C^lY;PwV$-hZ zaI}ULvYut;P4X&ZDTu}!RePp;MPXn&08uWYy)!U6KvWJyZ_hcNQ+!;8A-Lm19#sDm zxzDBbnrzo=L;wK`vtsxEp{h0^wq*(?eL<8*mMZm#Vgg9fnTEuc-J(jYyNya4vMtFb zD&#%Z*WJA&?m}ZDVtd84t}N2f*0h7+(@iu};V?J<7Qh@#Ag7#ox-V8XrauxtX;QZu zMRTYDf}#UOmGCKp3tb1usHsSxPUjeMCbG&wMkN3T9hR|m|5L!uaF*^ABM3Ft%SfZn zY^NQv_yix<{YS@T^zz2(dc0o2)^*yU|E^z2$1r{cae<%Rv8?9kaX2_=dv8OZ@$B7O z8p5f2w#I)Zg!P3@y!`_8@w+qwS_c{)i*`Q zJ-s@NZXuQlNQDq_o4(R*+KYmEjE*;lPg@3zzxnMX7zKvnU!oC>>GAu1?;`}Z=C(a( zH}wG_a9S(e`GT#_gAn@)Ud?(6UNtx`i9S57h*_qIU0q0qgx8xbSVkQPGG*A=xm{ly zFpe}B&5ZCwAmzk7uv;10x~+AMKcNB1K}%<46$7+<%GdARAVc;8fagPq(T>tkl$b`T@xt?Su{$597ps2{|HfJm^O8GF@ zRD?(%2u=ntnXAmHlOKuw(zRcT3a3ynMa|^zriFV-;)%z!jE!7e-6n@LbmT6;@^0(% z)z{y)#kKIrD9+`i&4hU>YIhZ9>lfpwKwmdTL*o+EZ4HvJr%^^LH&a1Qe{n8OvPFf{ zaCK(30x@LdN=zc~+nbB03r8q4xOvu=mo##HGD9z8b&~eF@EA#HU3{F&TIJIu)r`cf z0&)rpVr{8hNFt@hO)0WXoZGC)<7?{Fg2yxVHb7U$|I`gH@FGj6tfNRfi=UL=5^ z`uoN8twQ7BQv=i0EdwKX^}|dC6NzYENXZ=$*p*aHVzu0 zqJkj4&n+AfmX+RaYVe~sc*Obz8yjnB-AT?>f+553fu8M_Y;}onq1e8Gi}@t|81=?)-eDd z-02AknBzd*-;F9ADhCAgV|^Y@S11D#T6nU!MTQ>}5ETnZZ(}TFb+3~1+@kTwk!Vb&gum8N**cQ83R6_=I@eRP?ButKIgl`rLAliJc4C69%$IFfC%ySV zZMCMI>$Z^Nl^6Hm(DhNc&tP*D_{f@ue-u|Mw^jZ4lo^=CY&;j3~ELtoM1 z?DoiDKnPaVF@07UhpDrj8Bh|QBUxZ+iRb3ol&|f88=v53effI2fW^qsa$!dIz?Itx z!Ws`bDh@}1F==;Xi6Nanb|wJp;RR6n!!}2}rK@6`ovMnVbnzJ)sjySTyD@zn=6Sxi z2Lc>SqIrx0iH{gia(Wmsheg5M8Z;bH@gEsxIp4M>xg%)kZN74D?FOt4SvkV{lO{KQ zGdsDb0N@81@6}EoWJIqD9Hq;Yc=XOmyq}A`FzD1;El_zg02bdYD^RHC_MK?RwtlN| zB!_oCJK0#LOA=v&;!~RvuTSvwk~4RHkG@gmQoP$nP_@Fj0PP9oYvXA zMpi>rBJ8&gv(->G>atrf?h5=CwD^$>XOts*05U(rHKB_%`Z+BstmibR?-GaVT@&n? zP}i}P!wgUu=1m{w+LwW{E}_tiER>;NfO|4NKT3iNLd`fjc4;B84|3UMDLgG&6jcaN z9OdiI0G7UL*_;d})7fw12^msl#pewFv z6Vn$;v2B!M1f?opMz&PXuUfPL==BhEZe;<8^$ckEp0mj=KU`Z-hZe>~TAo}uIU-Sx zFknLBvV!>Qa1c>#rj4&%GCT=)ggS)7( zu$&^2fD2Lt2fXQqZ|^!K2%v?01y&CTaJf!*wJsX}(dewLZ2f-j+0vdbI6fmnaOunvI65&DMGZZ`f^@KW`P*u7xi|DE#!bjSYlWf%|ZOA-nw~H zZ@yVx&g^L6R4&tsx1?H=p=H3S(@KTR6IGP(ljd9_{Cr0s1XJ}sN7e3cuAu(&&5^xnSjPx{|T@hfJ(n7#%N%V5fX z20jYp==|CE-XHX6oIKQK&&c2VQ2XaRiVLhaO0nLb49@;&Sl=nd`oGS*$CL9v2I4>7 z@`0vEefl>C%fJdk^-#dC|MY{59QMGwkg+2kuHROCncY@8_wPgmSYO|;)IlGzGjlis z-R~3a-d?EyCm#H;fLjN)*%W2zU6khf z`rUY1KncNynJM9hx~q+!@-6P(H(hPqOLTR=uq&6q)YR}JufQG!(y1PY-1)8?5>?N! zIaJ@cR)!*opfk_j`?8G;v)!R&4;?;Apz);=}&=W&PvM5oGlG2R5q1n z=#om@;K*R)n&S^miIh@U>G+hPggfjDL+2Myr~CKr$V2|!47ED<*WpO;rN~<8s>1ND zipgtDl@&=XS-c*pfxP#MOzdj>ZheAplta==FGiuJmW_jNKsdLxleg3{veJ(?`ZZqcN4SsrNZp_S@!)Us+D-A zn*S!>7Hr{Hi}Ayq`rHr*$>lJ_oke|~;UV*Tu!YtkPMsM{Xh@Q0eo8qtrBl_^yF<#< zokZ<_$CV2hv5>($ABs`T!H6(Uv5c{$$V{ z4*pFxx9k-FZ{o!O@FN(#u&>3j-B=-cf$d3u>iSc__-Iksf7BmXk+;E=Tyk|GmE_6| zTH;fofBEF7ZzxFUGxB}a-A1D1=Ehoo^X50kM?mwyLSoAtV788;CwGqSysth}fJ<_f zYr~xR=#i_Jp3Is=&w;Jb-1m7@3?)(FD9991dbd$tYOH=&G8N@dOA_&hmI7*A4AP)?$ zKsc?0>i^U3V7Stx4%|XH?#{Y28e?X^wZ9ExLW3?yB)(mavS5$~odHeDo<*dM#O zZVHAlANO00-R=2s+B@&{`qQbkO=pp_6YH2Ig`;8107?IKJ`|C4%aJR>45Y@xr;oQ` z`Fw`8=hzE4`}TI@>0`k0>0^Z(S46GATxj_gEe}KbTd!Mqyv7||Q4Oh4 zdC8cswN_0Nx-e+HL5_%?4N^dZo@lV`0wRj_^g3EkJoY)4)N2Q_gf|R@r)u(56-V$I zD~q{7h@IElb0fn}vDI>vn2C$mQM2~qN#Yc)pEN?ehN`U}!(_nvyLFaO1k|$ci~eU2 z8IwNljIc@&Bz{_zJyD(c=f!=kMhX1N_&{M!1lYOZ^^asWOMcGvUTv`_xFT5MdKo$b z?CyMwTc}A$Ve>n0lgZp9kwhQ31UI49z zQak)^Uv)9$2x7oiC5su2UkUWj6rbtrX$`iP`f3zc_1s)ic~vq@J=z!V{Fy~+w`;dl zSIk;9`fu&Ux>9RvmfLc;WJ^?l#Kz1|PW}H-O928D02BZK00;nxF@ad640m9>0000w z0RR9E000000000000000000000BvDzX=Y_}bS`vnZER3W0Rj{N6aWAK2mpvNfmk97 zPviO9000kr1po&C000000000000000=KufzaB^>Fa$#*yO9ci10000200IDT00005 I-2eap05^S1%m4rY literal 56962 zcmV()K;OSmO9KQH0000804-*FSfvbiV7mYS06GBx01W^D0BvDzX=Y_}bS`vnZERJJ zOK!t33(gQvM~JJzvB2-Wkgw|LsFX^Nq)+nBy;_|wv)&9WEPcc ziWHCRV{?(YIHWAy-~IxPtpPNaLsH4i+_`lp7IA<^?`QxG;M;GDLGNeymGkQ2 zws~;LLtgdg$*i$^;uM

^F3LM|uM-f&ph9Xpj~me|)W~JN!k`F>x+(d^IYx5r+3HO>yljxV zFevVyNsJUe1Ku-7p`*#?y}o+!&;=M0(@&S}?B3d{w|1yEfEMcNS#MTd%%r~Cy0C=K zK*YS0rRoIN__pW(vqKG+s-fXUb*U=2f{|=lN@)}pKb8p@0UZ&IMoJ9SfD)%kB$@-& zvN=h=YSS!MPP3J4_JsHPhd;3IPY|P4P`)Klrvj_5zBw^7nok#{V?|+B1m*3?PwEnq zlxN8+g@S{*(^DJp$AtLZF;DV*#@z|$j;AxvXFp8`<+L0;TYX=SC!=cIn@^^^ZpT!o zlPM$vg+?8zuIPHW(`SA4_efQbwo9J7Rb@@z$P1PD5TUG;9F) zg#~_LBe&q?adTs1?cdAkBtA}ph>gd_TBJ(9-lHTcSbk#Mg+|Y!l9p5s-gRYqgJ@BP zZs4z!dm_Pb?y_BO|0#r^Pi98%Ulv+F&u-Q55BHRz|8Xi&k;X zny`OXb=;9?#+qEOqYUW?&ejrl3~36PJ5CEJiajtWeS&U|losJ0-pJRD)537A#A&?o6 zs5QfgX^VmADWx|c>kahf?y0%SC&n@EwaD_l05akxXd)vkE`AgICw#aU2KlQuda_|6 z^4uuexNSb03Hfb1u3g_lThoFwg@uiI#7E=iq4^d)nZQ%6gkAnTT+DtN*Iq&EFfGw> zeuFFDa+j2d5JZsEqW3iztr2MA?vbT)ekZYvjgT(SBftm=D7GdA@Uj}OC4rWWPit)% zC7_hh0D+|@%lhru%v$x!5RSrV8-6H) zNx}t%LPWj1VKLlrF>`{HH$h&)l*AW_KQ+D4**pEFn zEwtc;!+c4~hSNJfvDDK$L9p`wW@1N>mzvl)pa@}FKqFJSyjk4$YFf4B3ETE3Xd2Uh z$+;Nfb8?hR%v4b%FGb9@e0cnl0PAfg(-Z529(x$hp9Yg($LlX(a;%ar z8!EBshU>_`DH>1=OM(2ahFE+0h8OKYg_W&&FBe0#Ho-#QYVNFF#>}hOCZdDN7zpmn#_yC)UoB>b-#_D>=TK1kS+y zJe^!IwW&&nPp&?FV;F7t!W_f6eBa|tX~=cml@B3P>68t*-Ao2g2ZI?Vuqm203!6Ag z61hrVk0)9o#%k2MZdxQ8jrrqbG+NAizQSm}2z*Y(A~i+2ac~s54jjwZSn|r^OMn}1 zr;G7LZ(hEv27_VQkPG->v-JI2WUivT^9CU&5YfbT)C?g)45LnHs@=HQ{;cJ_^EW2! zj-8QsJrvyOiy8Kkq3-K))T_oUF#huu)A{WLRV@+kK~V9)oys%gphmR3cuPQDD9GfX zZ&S2Z(ADB=0nkGv_6kwCZV2YXbHwV3DjtXF+Ak)*ZcDIo&urULeR7s7QlMqsI65Iu zlDKt+=>Q8!QpzS%l3QGNZW;8ftdLEF*)mep$s9pi*0jsCAQJ>`v{dZ_4GA_SQzER3 z$(G2$Tk0K;rP}dW%FPmgszgSSw1m8>Ye z{`UQaoZSwn*=@)aFH+Wd0jfpF`dju%u2=FO4X9|g>vHCfUwYHxb@81D4kZ9&;K8`p zn{&Qq)SE=9*MJ+O9wiu!+Tlo=aice^<}2<|02o;<98ar^p5Aa);)#|l7x&a10oIs2tI zu4W$^txsZBdO@TR#I@=cqabnED_Wm`lpJjSds5BjKQY~LQcDB~tmAH1svGvdi`{JE zIWUctnFGH!foN>n2qHE>Vs)09C{!>}&gkE-7) zHfMBji6B$AUdOT24k3n9!q?hHNB9|k$wfH^+io-%>2fTb6jiUo=J|Za{zIl^qUNq| zDT;>WCwBb`DHXjCCilr-Hsd;@Ah&Wr2Yig}Lrn*sr$mc@I33G)IxTCJ)q+2@T$fm9 z)zG(_WsN=pi1V!ed?Z{~Y~^X`C`X^AxsVa}11P&#)45S|U$ zGXgXly1?^Q_RE^C1|oiE_7jAy$sy*$7yfQx)+FN9WPGj9E1Xc1F$W!Y_IwfBXAGb~ z?F?IS(?xum#_)!S3(Y4s+VgX_@*eP&*l%H*;tYP;=?l)Tj{KZ$dE|mRbb5_?-cu{T zVbGbbrs2XCW(z;RfuFjICxKnStbG!^K?LW?zOgnih};YpucpTa2h|+TB{{a8c!}BKhR^cMb`CLjeA44Vchv_FxIMn*w{!OG0V!Ku`c7Mqe%l?77s1Ju?nHRBzP$$?L4I zW^j33r4j`cKF?Natl*BUAI4)D?SCs%IC>uG%u}4@3W1GMCZghoGp8VY#fnC{m*iB? z>cr=^)kWI8)5EfD_sDUg-iWcd??vGPUoP=X^Nu6pj?;k-9nYEU+VP~WGqfx)bPB-^ zsFd&3p0t-5zkNr_#)r@_k3A_5Mgn6w|HOYlc$cwdgZHDnSp@d?osXUA6p3mV@(P^$d)9@=KdaFA-xb)e-@t#?E$@A%MGsEL!m5q#ScmkvNDB zZ*kJJgM(u@x!4eAMndM$EP9EI1D=5SJx?G~HS+c*EbdC z`aE07%1Y?Ttb~O|L58`yi-qZePEt_hr=#0xNZcMVc8F{Eqcvcv6)?e#Toj;fQ^39T z%iC_bz@jN|vkqv6u=S$j0N!qvgi)_1?=W?^%+}){d*h3h7aiA{ll46XgazfLK2mBY zohwApDJQYdddcToplr~7VYOe_aj>nY%my#*4N-LmQ6>ZO;|EVK99oIFS6{1QlrOm* z4phMID4Z-8UEX>#vp%6>0eq6qPby7v4n{4@)H~8RkW+zx4u$Y)hw^d!Hftv2EFEF1 z6XFE2bq+FmAd<4ky8TQ~cv1#_M$L6?k@R8sR5SOKNX$(FQN+Sh2-<3;J9K7Zrxd0t7t3kWR@p@>q6XD^$o0Z7UsgUYnh82JX9IsSpKrC%}W2c zC2-9-btw|e4O7V@n0c$SPWLxa@Qwz$9mN!o&?#869mSVzW%CtW=uo~Wy~WzlvYG2P zdcv066|o+y>ab52DP6lTD>JmN_2rrsUt4SzmCl^4IQtqE)3+W^K4qEmWiYhj{ zHXE7xX$L4);zNpPu-kquM#H^ z<7RSFr}`NTn$h#!8FaWQ6>BSiW2(Mf!e*W0lQtNeNfgXvwMT6Es0DLj$E>)PcdCQf zg|m20;^Pbl>tN=L5!l(MgGo2XSqB6oYG4?7_Y~W0`Mnk@&stoKVQ%}B*U7f|0|n!v z#fQ3)xG>hcKGyFt!ho7ye4ojBGvhZ#ya68-mvtVQVcBdaW$3 zx6<5xv*_0lVe4N(ggH)Ot+TJ+cyD01@*QYj;k|)Dd4M|4UBtU`=Tg3^Byx9cR#S`_ zxeNjE0YgTbAy8&E9Rs}eKxu7o!0B@Af~|3Dq%Tcb(zhmI7Q+N8+;v+c)-^ahjsH@_y(+eQhIC^o`VLxZlC3k2heWi+QB- z_E+w-gBs7#G>AOZ9Hej~!PyK@7tf6FUWY|)NR}};o`@wxYUof;RU~BVte@5lw0Yi) z<*$MU6WPL-c_tWA$i{4J(-8pS&K?B3BuPlUvE+g4yIrZc%uY&&N9XRoYD_}DJ8O*8 z1>hr*E%*)LvEz=-MoLAhc(^ETG(g(d1ppBv2f@#z5O{pOp%7Y|OToutTT+N3 zS4#{5NWL5>mJ)KfnwEo#=dTuCZltr;5fy~!y)lApKMKK^r&*^%6!QByoj@p5vX&uw z;EP}xq9-P#tzMo(B_8H+yKT#EW1d)L{JCuxvTf2Qr?ir0Ax^2XCFJO7gq6`{u&ByL z2@;}7`vNZ;-!a~$}WUOgPD5rfzTg%&&ozM9SY4t zhiOs&L{glgLI=4??BhMV32zRcvN=V1DI+@8Z+!lZSJKGrkMuC17TH#Mg+_0{!EKYZ z#tef`-7Fbfn5u7g*vLmV-dSKQ$pP<(%wEe}#ZA*xeqFu)FyBCCTbCCgbXP*#Twpkw zme6j)Qe0DlQYc9=;>FL6tghwb*;+%22A|CY*osz16FHN*v|>H<8y1B4ehiEy3&pFS)DX^Q};@&T#Z zW-2K361aKUXbWab=~hSwpU+;De5P25WCin+H@Iw63PJ@}^NZ2|l&V>@5fu38LBVMo z!NtK#BtgnPEve3{QTd`8RdYF0s~A3qw}C7xef5zo=w|U*{yU`vk8T+X9mhlK-b^N+ z;rzf}F}1Yib8&`WZBxZlfA6tIzT#)Smded!p*l8sim8TEx8XN_g5#Q8&fTqb*^e|! zbFyh||G}a;<~`_~;W@8Bu(~cn^0~9m;!LV{LeTy!(7V-l@1{_8JZl7b#{)(b z9WH)k!k#9!GAA?0)rs#0gf7jn12SSeFZkAOat%}=w${Qw3ct{~`%!F1Gqn8gfN(^W zv4d$ioCv2DLm7a*C@qtW8W+VejNKh-!JSHY9qHw*%>2M4@})N{#~0;hqB}d2dU$G9u{6TbG>|w} z8;MLf2}f!;eFmYdKL&AMUxN8P`Ej8oAzGyGKTKwGv@;G#qPksX2tj4?tRdJixo|h>bshz}$m4{>$fDD$RLFDR@DJKe4vc5l!NCe@tWb>Mb9r`TFw$6wjuR{hDH=fd*lC(o(|YC6~u z7w>x-rVbUF=Md2?``$yBdL4C%mUZ&393*ZgtJNIP_dpoRBxau!cCvW0g)K*8`R2><@!Zz0RTLsG6$m z`ozM}#i18&Bm5=vkPU455MJr)zi|LNE;dP)8(v0T6M5Vsj|27b3~Sf4y{fvv5xWPR%(4Ec*;7x_}^=$M9#5nx;O@d+1RUw zwlP^ZmptIt)X5ndI()3Wk#9hO%RxQR4&H*0UZ}66S!Pml;{bPjnN3p2!BQqq`d0^= zMCTD2iC9|t3v-1|^oV?Sv!_8;evy4enRvjNnx{I?o!9cCaU*lz6n7WNtrK3EcB$WQ zx8EoC9)>Thm)kR(LF{4kj7QDGg5BV;3-pqB##7;1#A=-;B-xtXi%y+eS>*@LDfK=3 zLGcVkLl+)&GhWT$hbGNypxjmQr@hJ$p zcEXl|8N8vNYe+^3LQep9MH~XY3WpigA^89h_A7b`OFCXL03nm-1QlOLXVMl|@}kd` z*Lwp?R&snd2|PNP^n9s1&$O>|Ux~-fRz8GGrL$c%#u0MQ5ESVOZRhMrB3H@RnP8(q z3vTJ8D#WhsaR)?a5YupCW041k9*?s565xjW)&XxFGfUsUtQu6ds80_ zKL$;Jc?mDNGcfpj3=Fp+AB_3x7s`!F(~J>0nhX}hk}1QWn(;S{bdOJ`)%?S#oL3jO z#hdxyq51s~6ADbdWGc?HG#Hr4Rqyknye-5K>t?IMf9+Vn+(;6-{%8Q1sm|?3Ruw7N z79TiN$9y5NsdKQ=)jI>+q^&>80t-Y-g8+4)$@H&-iV=GsZ&=9-Tx5Sz`xu%7edtnR zr7*GxGE_f672v1A8F>qSBQK2SjWHFwjlJ+|%*<%ajjGjX!QWtEov@E_vJA)Ao18LG zr|NphapEEo_temMSA#>pRqo-K#|yc@S`M(52do9aa7Zav6vobEO>xtk{V-0u@#eGD zn{s%m>)Ht3xJ>b~_89kk7e+=lW7mnfJF_ZjH>w1pA453vv``XI3H7;=RtIHxL9Nhz zNkm^(kNnD*wmgc#YU$G$yajjnPW?)W!>P`_Isff}r>k@5Eed)7 z8;%MAzAY|#mwmu5(WB|c-V{=2ZU7*^##pNd6n)eq+zHX3AwFj|0hXvclSR!I1-C^b z(uyO}A`r2gkgLTjHS7_pK)6)m9wC(%{38JF^4gcX4w9F6qMv`%%9t7Wlm9Ml26Mf8=I%ICdLyCQl*(38}7z);jvV%yy#_nYp<%E z2YHW%EGBFAhQOLCiTz$^%kL%iG|F$X@n`kSj}R==JAX_4nF8YN{n@+j-jK6qkn`_j zK8O%2EYTmxxu+&FL(Qwm?30`g8<{lV513Zh7L8oH%UYDnLq)B^p`-83L7nu-z-(uEpZYM ztnhr~OFSP7qbh!i78S+fddjbVZ1}lr&_|`O;F74E+)MXRdE-VUr+0Oi%m)Mf&Z502 zkz68)Z0e)gO?1CIctiut2d}qXUx@`b(`C!-{96+i9#FF42fWFiZt;z5!T3A z9_1T_`#0dT{}*`^O!*yql3HDD?nPe09q3!|BHLDue;p4}TRGPE9`%$X&vWPuymC1C zbpu84v(OZ_UdR~PL5o5$u^{6Vs_C!+zZm5bZ$h}&z47~!%<^;iQY+6hm3sM&lX~fx zO@7+tH%{8+I)HwcWYC;^*KdOPuIuPjkk?5sMnNI@lND91q32=aWOnJzO59nJ9u{3nDEVF)B+OrpR^bwZYHU@Wt>7ki*nRkh8Zfa`qHCt$cF!3WI}B zj%9>yGP=fNs=p}bdEwgiFT~KK}-MD&d3Y@Ml{4Zzq(NC@@^iWc!IeCsDVl1 zWEzN5in4iPoY{7QxkE)D`#Y5RElIpiWqYf7Y5^@q;np*}<0Q7iB({7K1IgB!zCA>r z9U|4q;IVR+qV5ty_tT3U)pD{ZzJAC0nk=Rlz8rMRc&P)qopSsK= zb){1+Js^Xh-$Er!yuy21erB=2RCM_*cd$!y0w8Bfh>ntS7o+_AQhRjX$%=Kdf=*VV zlT}71E25JXoOD#3taK-QpKHp=or>jtXO0mZANk2+K0vMn7dQZG7Ge)A`Ow6et5C9* zP7)KlJlE>u4cM4oGYtvQC4HFvvqn2xAZT?4PH_zIn z?mHltDr(=Put~;e?VL`sH#et~UnhC__i{RUKI8vwWL}cqE}R>)U0*;%19ldd-2;*9 z36TQ6zg1knF$i?n=9)iV%|GyqF-Z&Zu9gNO(EZWkdcFiKO~P?3bf_N=wPc4&VY3EsQ_78sb|scIx@(c$wTSLof$mzF-L**SS`>9H zzq{62-FeitDC$~1Gg|~Ri4i*TI&0&y>*cd{P`<1x>o&Zj%--h5!o1fd)U}a6Ov&!- zu_myGRl})BurW*2oviCuOdl~5CVVJy|Deyq&}E;!VJug^GXf$A*JEi!O83 zU}9=2pF?UrIH{MF3Cqn~u5#or7Z3i;rC)C~>EBW_)?F3a%AyPf##@x}@0})&XWAF= zqpMEUGXpSYgq9ZIzTj)VP!C~ zb?V0S2e4IW3xVO#>ocbJF6PBLt4S}a`FvRZFdkIB@vGk4UQl}W^vw^AU06`FP!Z+) zTy)^>)VC7`OTMK#`>vRkpHBzX`)d9~1Jg@CH_O>gddUeHiMmu*NsT`!mt9#qS`RB>6&Rz9MS^x!3%8Q<&WUo+vGol#Ch9ImdFsXIb zpzh*_&tWN9(zdFBjbcujAxd6(i>gbwlYqFKad_wNBnW5kmQ}!fu&VO^v#yKh z|7Rg~fUi7W`OI2h3&XTV zbkFJ}gWOG!B6)2Aq}|3{(oP`}WrG&YZ-c&6(?Ew@Np*p(zb9FSWSqNsS|Ds{gl^iM zuE~I|X_pWr73loL#)0WydMo!agS7C11J#D=lxa(}>$s=>>qa1v6;BQj% zBA+-T+l1rNm5ql`J}UOU4>|JJP;FKbo*}9eHlF&(yUa#IgB4^e;(|Kk#5#NPEp!FdxAV$Jnfkm$P5-5~5@NtDF$+ zX2t&Xa(K1pJr#ehW{EKy6|A-v9fil|aNI6$NEE6s(Dz=2bb6CwAgVKs|Y7;p;C3d120Oie@F zF+$h?N2*!i4b{-BDrqtiUvGb5lgayBn03`(@JJ-ga4%iSr0OyJ%l&m*%-sYbzkaBO zrFCguHD=AK-gxfcr)NGbu|2?_P{lKb`@S*s`MZv;K;-p!`raK;j`a~KovVt)p|r z;IUR>2qpL)xl$fw6M-cYZGaqKdZ>)pj;epzW3DE?EI9l1vVT>ECteB~kvu5d};aTWn6>&VPRLc6u*>^`p{3{_={(pRt z7tf3EHgQr?aJSX<+cDOrIxGENg>UM^Ilpd1;Qx*@RiRUSi%i2i zE+uNgiuf2sspk1qz?19YjfS{;qYf(JicbRdUQFKWaDU9jZ7#Z$2A~?CSrf2q#)mrt z?Zjc;*NAD}2mk>Dh%4M&KI^Xrn;i=s!&Wac#GT8(cW%t6t*JOwCg9D!8Om*hGgfTb zhv{E1!=gyT0h0LTIZ-qA;zonTn`|te1d(9F&yl`j_4!4Ywn?;bF(O`gIQ-{*!@(yMfFi228HllWn4_ zrege2(bu|s@-M#u9;qwW>hkHUjvL11ugnGM_0~PjHgltk;KriQH0RZ1awXuX+G5h* z^iKNwHmXKI(V@cJo>8LhV+@aZ(C1^qkgzntB28OAYdc%k(2NUH%?PDvquE)cCr8Jw9BLaGE1_-zo4iNXe$7Pk;fYzh zG$+Y}!wIpoPu*`w=EvH>tl6i+d6G^#z1`Ac2$d|AaD&h;rAR3?slm&bZnbUQLW@b3 z_L|AV5>FhIb+kP_H2NY-!E@4CAaA@SOPd8=$_KM0!kw$?4sPy*R6u|ww?tT)%r5d> zkRCTs!if{bWTAH-ZvfCchaNPAO3u<&_%c_aiwlbpzI06!13}iNB z4V2!b#akc57q2z0*@$p4S`w5?*n0Et_%>>S-TdoB!K!0tuv3p$z}V`8$5Z z$&Di22oUPu)6 zHgds4TW`Sh+)Wxr*4W8!B>!#4PSNAe<*Fax*Z-k{ZW<}N;wk0`%s!vFJfd& zX;n~91lnnRa>i8KLt5=PP}G`_y#LxGZCo5{jVLPRhC{iF-tuvKME?A1A|M3FH0j zAuI8#y_mf3!TEgtX}-ED#Xc)*TA7ph=)F>TuxicQBz150$$t}y@NMEg8|CFHDwC{Q z{8G5+VTMq&)9#G8~u<^E0F~}i*KP9e>_(A zkBAkGTeP=K5gMUUml~R^;nYHBms}v_Roqmn2#RkuLXiz$9*%}l>MGC}{xK$_#YkUn zo6sCSU`j9pT~9+I%CGTP9O8j3;tOApb=bjctiy!}e!=dg;s*p%9~0*ktJWUup8d@3 zkQAQJ;L4S9KxrWSwNukxU|8FUDctFqU9#iu{$bbRDwlFLJIdQAZpeX{Fiw>ggF3Y0 zPuqK?;gP{>%s`S`%IdS02JzVw7FG;FmeP{CO27wCBz`i>#FDtaH`3dq5Xg+VN7sx~ z;G2a?SD>=PoY{gERQO6jai7G4j)4Qn(Vaw}<~?7W>MJ8U&2xxxc8mGk&ZZ(Pkjq%jX+QAZlc7<@t49W?CE z(KwTgCqu!fh%?u}MjWU@dwQS)v3t8Mlh#*Y+AZW&+}dcD_IpKENBV|u>^`s!4FvHOYQO(sldXjo*&uMSK`DeE+&N#L92Z zaRuk{&StUTxA-oE_|M=^8}@?34#`SBU$!K#*LxsusrOKC`^6nqd+F8gsN%0N98!8> zy%h#2@t~p7`8aKU1U{a$_h&2&;;Se$_dce;;q#$m={?k4F zGu$ldsi{FK;w4q3jo8$N3?{MV$Ir`I_=$l$iG0X|#$l7bmF&gWRi8gW9sQx^)vRY{ zgzT=BB1NvK{lPl7xwfOYZdy(O`c+c!&`5g)L{NkzpTmZ2S&pFo4Y+5-6}VK4cMVl7 zn&}Yq+7Cf_`-N)12)cRa$nCa7cPdr>+D3>VC@n-A7Aeltm^iV3as>JtUu^6-K)?U^ zP)#46-kKye^KCiS7b5~h3o#)TXUAl~4kRM>;pn0hC zZkGD56&ipee5#A+O-(Gwp_;_U*IKN9NOlUL95=KT6%J`|NP!9c4XJNK@1EOMn%C&yrXWZ%~Fq>sFq#H zdSoJFB~uResJDgcZ2^<&%oR}s#|DF-Bw4j#K(i9ctpXZ_QX|Mo@v=^Ug^5*g6!NGJ zZf*qmyIMOPrQ84$Ur}8x%ZZcJgy)Zw@t1NsE9G0f%_6!kFe26fMrtW+M63gxoe|G8 z+L|+xn#0AkQv6z=3C$BUpQ!=li3Q}e7LZdKlQn@n36hf`n6M?#5<`{%l4%OL$d`xJ z0S#voOlqc-dkgzGStur%UOXvZa`|B^Kb!Bde+$?*X zhD9DC=ne#L3ClvRuH0QnzT5+14~s8v!TpY&+#)tgyq;2Jp#+k^7h~CG%maGtV;+fbSY}a|UI1V>M zR)*>IWd`SI@=dK}X;dpP@u(py*8k@A)N<@8j^+CH6oQ+Q5iq&FY_{P8YtWFbkf>tI ztJoqcIyj;ZVi+RuUNvh2l-U2-+=u*TPX5ld{?1+BS{<~U4q}?*glY7Ed=jaoy^LGQ z+mw&Sa@%`1HLx#)JBVzMyOlTGD9^w)yb~T-kHcU>0V73mVu~Js(3KREa~sr}a_abU@^KHzsS}gaDoaj?=^0b^ECFThM(72zTnV+YgwEn3 z+Ky-l6C$u)%Z4mC)MPtfDCi!lq*!uxIooRp=1fYaos^7sYu5U*@i!g`)FaY~Z5g)X z^09cHl+d5Yz3J)|)Srx_LrhBtL9GV-sYm`+t~6Q;17e{;EC57sR~aL?hFDtOMwCDq zB$Y)|jilBDJYq-JW`9y#f9#Df%Hiyl6fo`Vyr{JmkP^Y$fE3(*x06oj;fL4UN zKDUw##_vIGN}fMiNTifg$?5P(oL5X|sc$(I=Qm5;`p=B#_n-0n_PN-1bQIxkhU_f_ zX(k)UY>VliDsyO){u1%}UBsDpHvNldBZks@((`hY3(4`k}v{ULpsqVXAzkn!n z{JhkHt}ctRaPPd5N1)A}7X3n=ab-|dR*gG+v+r%$w||#vA8x5SJM$ll&}WV*c##Vf z+&dF=FQDX^eHJ<3$Oy>mz=?kZHzLsvtI&zDs{@ex8g=V*^JbF$Y=+p?f$B0y zMhtdzZtT+xJ!%$a_Fv?H46@PdM0FGJkmm9XdtkRcO5gJ+ZTWOPAGE3T?NHcb2Hul| z0odzICAsRSP*~6>=6`md5)2Fkh;ZM7OC#uOH$;;j8yS-DZxDyWJoZNjBRyUvIut$~ z3}!~i9eGzx*$o&A2gtAKD1|oZqFofMb=`}HO5+^3v+5Mq%{0y(G69e$x`L@nM-TRm zBAGA(;RJ@If*3))9dN`S^r=Ns>RKEe7I#$gc`l8?X^-DWBhpDi8bYU3QwOaGB{pa4 zvBgnNM?7KO&u{>aQ4ppoJH-)Vo|WYKh#DxwqRL#;b^VDEC=zCXseBiFFc9mo3CCh0 z(+*!LEV}`B(*m3^mNo%lcSCAq+0|4e@ZXYhw3K8NowlB2khiX$pe|jR+H%U4?R?t1 zn8S!6I*JR{3}0B*r(s#|l5-T`3g=VDVojIddF3^=B~QH>OigQDVBwjn$GEQ5;MRpJ z@qU0Y&FG0g>b82R-pF#GHBtLi&v_C}&4{(A?Vu+jIJ$YvQY6ACuKL3tw7yu~)l`N+ zG#OBj4G_Qa@eX+6YzlmDjI1!vY^4_Q9j>1A6pFYDBF=+Ynh(wwo+0x8^;m1BfEOBf zUchU+e)z(R|M5n3pM%gd*b6%*jKyR`aHTOwMTtE+N=!A=WCueJi!pU#L%^HqLVvU1 zRD;1wW}z4`?+$DT0xyW$_`>qED$AQbjW%H_^Mt62_Y8!b*ps(ul1*+s*vd2a=mvpm zk}(Nnu;BqpHiu&9V1;rT)eVbdx|wnq>0#l*b&9}6v&H5+5($8IMUHpXN}*%xqzg)| zpar&Q*2F3pZfCek*RlKR68G!cj%~;8t=C|*daV1tT2qrKl{h-_qUj8l1{NhFuftiW z7{!GmWohzrMEglbG^tj%UKdJ0r8~V%8g^RVbi8{ z$+ZC`J#Cp;s+E|@)a^QGewljinjoP`iS@Jmn+AUt>#%KW=@)P2Wdi6}07ML#k^OfMnw`+^%D*Z=yW#N$KTd3dSfjDPmh*Tx01Ksngi7!0}PsZBRwm^p}^xT;J z*(~hY<^I}^J&t8&V`SxXP?K#h$vtx!g)3;^F5=V6$SR82A&9Os+FneQ@wc2V`CCq< z%5yK>slI^@3yQW2uaL4lpS>vg&S?d%+Wg{HciE_R9mmaz7(D0x6f=)tpreRXu{ok& z>GUibR9KrRc1x@R&TScXS53bB9iD%fihQ(Ewa(&rbpm@G9za=O!k`3Tv`ESzG$Rug zT?wQ`fOq&`pz0@XX~TvR>PuGh=Au$PE-f(jJ?GArp;&rp7MHTJgb-9K)neCOt?92Q zC6%?~%WnCHc4{m`;dMc|8v&j}El0VlX!(9(b6jpbREVIBMv7Pg^Brm4N?2{ryT$_c z>Dd;2?-}8I&wfkq`yWsGJ9ttvh19@|Z9M^B_u)KBu8s@cimlaveC(!bp zR&8hHc{zRC$@Qgd{yt7ydhBx)L%nlnPx$o*<^%wJREeltze9wfvMt!ig?uWLzU z2xU79Y1^7wwiph7TFhB{6M`+}zxGl`PO2fb{?n#Unf)x6)$(@}9;F6XP6}Q5TT<8|lvZNk1wBSnD zwS8vmS{X~gX#HggCu6_a467d(<3Vp!j_19hc*c+WTB7f)9kzN1 zQt12~P8=jVNWo(SnZxE3ve`zI5w3J2*;<4hSceP3#%XP&&^n^?9jz=bX|m#V8f>U? z-zC!u*UIGDCQ&yzG&znpgF0#_()XNVLoz4hih+x9yE;E*X>PQutN(n8M zW_$bC_#@$!!aM73exuqd??)g86a$;2%CVe57DK~=j+dNN_w5wtGmJCmOohp8Qq+`pLVH((lX}VU7)g9acr_jhpn9Fmm5@Kq z$zHKgF<79b27_$PodZO0`*{$GKynieo**34U zx*dfHO%v&Rl99`OqRNRaH&qNQOJnqcHd5p4jP0P zp>hx5gUBiLcDTC@aWw6~|F91q9{C>*L?1`~mqYlnPxNvGUyg`wjs>&;U_hV0F455= zf%75J(_{E_*de;=NFKDiL~k9*hxP%{Uq|wy{g~*nBl*#JO!cXFvj2$cRPp8bi0W1H z=J0Tz>Q?e+ztcXZI+i>->UIvOo+Y2U2i-?R*ImV`gGYzQMCV<_t;ffmLrQlf!#a-- z_S;1FUCFckM~{x$RR4-?$H&KAN};-vbNh#f2M3g1btUtTJ8jkng@WSWLAS#?p^#84 zd~~pXct9yzS8{Rx=+SZeF{N|+ijl|r#|NE9l;-VAUUm+S4<79wQTn$p+1Y)3@c8Js zOKIVe_czAG-+zb1Hq!(%&pJN%t2@%Ojz_fC6o5w=GU?MqC5&_`@ zU3Poh8#wJ-Nbm#zT+zths))4U>vxQelg0F+{Kv2wRdY6U!vFD`HLKZV$gKV!BDQA2 zncZUXNaoddM!2;lZjsz-j_mr5FQrl$dWd@@1n=ySrErxIudf{&!f{n-Q*c_Nik;Es z&_=d?ZUSz-wyqLWs)|4`prM3(d< z-t+rmMqEIix8?p};U(AWD==bQ@qsz4$bf4ICWbGUUN<0l_DlER?c`1QnJ10(zpxn~ z6Z5p3vzWL1eA@r==!wmR8}{u6=75?azF5|8^VPCOV_7_TQt%n{AByhbAq>k5hFMhW zcTl}Y;c8u|wxqtF_uEYdhyAbnE<_ch=k0`(#;MYTD9V6LdqBTgIz%;==k0f*-|j(i zdJ06{@ZyeD{D_w>&%3(NncOJ$8gxwWil^o?lE$t+%xU>xQ^R(%28O$ar@x41Ggq>P z2Q$qBgPUn+dYB2^W-e|H4k4T)dI+i;QbuqXA$2^6s3Yjv(Y^^11Nz9y%s!gm|f z^yvyA^~2ah%5twM_U_Y29XLp7_K-*kDGO8xF6Fv6+|;5gAXZ$*mMMmWc9Htr9bgJh z2omK-l?dZ{Y*)8MSA-byl^Qp;*tb=>J)JtSmCm6%Y_nktp(jTIsn_MjVmhn7l*5&8 zJ^iSnsKq__V)9+sC(Ria&P&!>m+YUv6O1-%6&8QbA3i*Iw_EH{D4riYeE1GDoM$$U z%K3-M01avkx5aS&q8z`Uf8gBZy?@K_d{FG4IFTN$lx@b9>zpZ7*5}gx1wzCTgqVu zt$xm+MX_{`Lg;+I-k{az+P%-6d1%lAYBGnde)h2Cqnb~S$A4Zq`^tg7A9M{6! z3fPD084XGf3`JBBf+EEOLFfWCuFaz3ng>d{#YlwQ4~;tnT5?n~cAwLN9y5c`<*3%D zN40?IM_C|bQ=bEkAUEZhHZvw?6LJEBj~>&gSp#S?Xo@B=(w*n<$uZ5JLd!0kF)ipn zZz)##BjC1q>Gwb}Rq)KPD=vX7j^;!WQI3;=a*_}w4ssdQHSWD@B8<_%20UqV;kYQ-v_0QA`G|9 zFC5fonOBa(iw5!Jc%CGL5JlL9Y)L6=#^8y*Lo+wBYhmph^j6Q&M7j&we;&PrEx1br z1RA0a(ZMWWe(rqk$LVCmH(+P5idkKhdYORl`r-vh(k5{(p-Cbnk_S<6)K{wq+S(ZS z2K(J)0V+O00n-*?Bu}gz_1Ss#F1+l|Ns_dP&E=Uxf|-vB8ZGqJp=hQeN1LL4h@w7F zgtx!@7Dd8G`l3(2s!*~@aA!c+zsl$hnI934hSGqEd?>PFXdnxSpBlk6Tx*4qQp^~#-g=;6M%GfJ zRoz=kvOK)5>ZUNpIOL?2*&ktzM{tP;3?%PFO*xgnk+l_N@o+*`4y%tCI5b`K!W$(K za@{Q$3rZRY!ysn?)Lcv9_-Zo$*+(`p*Fx77u&Jk72ec<(jy4iAS;Hpw?f&ywha&=d zc+PdKB^LJiku>(POMVQ_(J*YpOCKrIcyW1IEja|-1F;(DYOQ_D?t(k}i-5Dgu$x%l zRIiS(4xtkJjvi3j^( z3Pr}?8WaW`mPd#;7OaDRmYWPLt&ol>lgO}H(`?kMExJ>mAI>^U2oQX#HiZ$5G$Rm5jen-6KDnxhCv$X2 z=jgt>s8KUuYS3|*XCe(RQgW9(LV)taBsh%jsl}T_RAd=h66tl7{WjJ?I`(z@O@bl# zu(^j&0VDz3XwgYtjFyRV80XNk1qH?>gupP|O!u8VQH{Enz?9m~yph9q$5L zKOW@%V&LW@o!fLVCN&*WJAP4@7qwLsdp=;zn#F+C3}!A1z10}in>C%e7b1kSXJ$mw zcj<0spZ5XbK0_FhL7gor&l8_J@y}h&BfR=l3O3tC9lr?J%(O{!HIUp&vNeN^dCUpu zO$pUXsK!y1m9a9AOFgwRM(Z7J*h+%9t*OY0YBCqKbd^6mr$u#6>gunWOmb87Zv#K=0IWh;wX?_svB%rh&2Zim?-mQKgD0>MbVDa_;2ZpJIH#Bdn{hjj-bDd0s@L z$$1_Ptgd2f8?nYJPs5#2%2W5~_bz-_$xG1V4s=PmxyW!j!(;7^_jM;c(~a;pFOK!~ z{g&=vGv|;wB?x1KM~EOS;)o`4DZv_@WR0$y3B?iG5g6@6QHl(^nUmGnnFL3M(UtvB zDCod&gU!&1Br;H}JcFwl97c?!iuwSf9*z$X_OzMy2Is&Lu5GIDP6t^3H#Y6TP96kj zw2Q@D=&KiZp>N)hhExiljbyt{qFpD@uA6AredjNKoyXB@ zCeVm|7bB93tm3C}+)A0KEIo^ap!v^uhT89TPRt^hKWEn_jGjaM@MmDeyFw^oyx zjj&nh`Cvrf$@w4+td^r7W=;_-@`5ARaNL=b{$AJ5WQLC6{?CJh!aCDm!AGvucR25& zQTGijibljGtg$f|j7_qJatDSRECgp&)IeWnR@L6ZEULZ96iTacaMBcE%BGs{bReAZ z#`gSgHeK4)!-r09BHyiHCBr#YASv$V#&Swjo!xL&w$RjHdc&$-it9$HtQe4ayo;YO zP6!CTGj+MFmQ5?8&u29IPH^pnV}iL4Fm?ecH=jZDV-7cYjnoBxSW-3Md5r*`mxf^v zZBP4?#XKZmcxo$Gx?BdzgBlMzo#}Pz%@cFtvU%qDf85#{+efssMbb8mvE4S zPzc;21M~Q71}C|QM{(VH3NV^Y>s0X9T%*GZ9^(W{_#>SrW^-LYGvHCYl}WJACG!|7 z?~}aNjsGLkZ1+KHRyVE*xLhD}&m>|LIWH%J{f6wO$vbFr$YyMhxxue%FvSJ3HKt$# z{%x4zDJk-|$iw?&(7qrGY3k@6c`Ou2P){^|lK+mW2X;Ocr-G4VjuB@o=l&;aq!=rN zKS_rbySnZdDk^ymR}q}5;j1Y_Kj)~CKa6qb*?;(EadA=3X8%XKOHfF+E{Z*5gN8l& z?YaTUkG*QhI&S>e+Yco}g4Jc9ifUGjdc(`fbW{%hi#)9J>=)HCeEjV`O^jjE?n4R0 zkY&$Be({ewz5g(o%~41#V9U$IiGUiPYmhWw_%9Urk0~IEsbPoeuy(?&4QjJ^lvr%F zz`M(6qS)G#r3ndb$R?2w-2@H3)ZHgu8$+Le*QLe)fy8-*pbG7^Q(lI7+tE zy8SPK1#^xLuss)>P91EpkoAdnTFPtS-Km3jcP+fT2ya^0wec4BTm5k|em`B5lgthZ%04)j5ER@lqGzvILfAd`e;5zMcVmeG zM=yH^kj}_LZE-Qcv?_!U>qZglu7wzti-{16*{2kBNZ*_sW>A2WqG5>yxJ4LGYhPvOibf503p6&-=tfBkeE$M#O*Zpp` z?sqrT{Vvx1ZbbLH>+61ZbKQ>(vY`8Q2U$LboO&ar9w@^RoBa;V&n#S+z3hD||MFon zEKlD)QPb|XPntzVtp{57vMU_onofsl_%EwMr zb?!XS)gretIHIX>ivxXqMlxw9V6E#cQliDSB;n%ouihrc%ch0yP zSd56y{=zfP=*$uuFST?^`TQ{T9x&pjumHpW%W6W5DbWTCu(Y~tI{y`k8$quV(+Gc7 zo;!OF_@=P>gjb*Zxx9{SXrjoqS|p(jmYUa*PwSR`h zBOQy0aoErNY!*Zi8GGoyqhGrBV*9+q=Xb@|yqH}r{e*;o8JbWYi?izl=q8K~&IqH| zpryPKG3@1;U@G3v@%qFmg}@?5<}ycu83Bj8eHLUQ8=4zo?7V3b`go_Ziw_xV;T3S! zSu@9Qz!Aa1zk-+O#ao-?9#6K*oTVbRNq)^Z!@74l#%3&0WJfs8ARLT)LJNr2es?Os zfdc_(!eHvBE@$360X@9#k~!?vo!A64gaV|>CPBk}sLLeVSqsR4os&C89GxTC0QbNi%^l<3 zT?h9&#)&*&7sko99&g_xoSd^!%0X~9KboD|kDF4c?*s=!2^b{%`ayN1GH17mAi4Qz zBj>~S-ww%V1KC+@)Z1QQvz+Jg$YitzcXn6aUg1 zE=oEc*VQtz(J-)_nV6bbtdTS39QL(H)HU3|NuAmE4|lp$2IDH?3PGo%AmMaQFlFG1 z4b&Y2xPG`VBK{0Q_mZpJ)&-9{p!ON`}6>lekB=@}d)FO_g zrk_Ji-=?N7u>!a@J&9+Bt(ML`5%h)d{+@kX{ogGXq-Mb)Of#-#>431Ng(gLB64rnl^D#}te|a)cys+2lqQ>ixwzjG?=LAvbtFAn@Qze%zV(+kV3#-%sdO) zv4Javw79z_L<_Od^VM|nr5b4E zQoE5&Exx9XMVpqPHZ7%YIw5q^nN>6~@lC`d%?C!=yqu017c7oEfGYFVRVmm}aML`x z$M`;)3>HIvi`3vDf(>%JU;)d#c>9;1{_&Rm|9}7RkM?)0HQZ*uyaH+u+v2{KW=vpI-N)R2S@FLqsQI-&hdWd=+W^$L$h=E=+QxkVNL4= zQx_xmgLd~(cmIe%Xg}V6ba2GrG3*)8;{yir=ux-RIiOk8MLgJ&HuOm_<*tY(LuX?{J687e9%37e9UEk%qTfv;F+{o7mQU0TvmttH^b^NBZ?{J{^3#Q;DAYo zk;b}b{q7$!?lC&sokzz^*&cNmE86=9%p4xK+xwkIhmSgsn3^8758I4@pTBzh=pQei{`EUCR}yA;XnpS-nF^gFWny-n{jRCA z-?dD_u6T4{DjppK)XFpw=skZ0Oa<&(*o_$M)n~?0{FUP_TMN`%whKYz=_<77B2VI5`m@ac5g6BCY6IsY(W6NPHr zo37rJz3Ih=)3=TLtjFCajox=fkJp6jFFuv4?~1ogHou&)`DBCr^>(*tJt_K=$#7TC zpyrF|cm}JFKV9*@P8o09Ip-S|e6tC|s?p%LAn)?UK@L>@y18LYW0Rs)v*?}s2jBS& z<6{1HGVcw4nhr{swer^X#C7`c&16*mAF*^PX041ny@w*tkEe(9&Sg0)Yck@T_OB*m z*`9qX?pI@hjWz2XPMXCBaV-eO#oR=*)|CP#l%!F6g4hQl61fnV#QuZ*cK zg-lpKTn?=2JA8%p2YA4RmFk6fy+H}hL<>+F+>G@knz0T$PE%7$Xi>o>*kE;?#s1rS zs1BEsUWd$`6~8WrJ+K4+)0^^h*lZYzVUv13>Rka1dbRRT<^1%o&EjuQ8Y5<`?6dgQ z}c|({Qt_; zEPxC%=4!@Kg|*bt4*qN#mE0g$GU&_*-@h-J3hgk&ZuyRZM4YMS5)^X@mnO?%{s^I{ z%TDE^ld$?>H>qkv!i)oDt=czdP@2nkz$H4-hcFgHG;nl>k+pm48PhGg)?AWFrA--XSj7=i@KslvLSW`QvZR;;&C^i(N5`T|v(e zf8n7OI8}J&D5hl@lD za~38nQiwfI|0;sy453z*K&yAyGAqwAMM)Zqmy_{iJ{eaRx_34o;4Ap^4b+O(BBW-g zpm&~Hosw!5MVqHf`Ka@4+un2zlbbsu1G0=QzYdihX&ZScW}p=_1d?TuAlsxQ643|g>%Qx5!6^`N2!ctnbq0%z=< z$`x$tax$y{gX7mw*>2Dz&bA+`;k=wG&QWapA2~I~jQeYS#yO+-a%NEqgc5w^+yfGu z#l#MyCj3vySk55^Y(g=3WifbVVX{J)tOSn*&sU}&-X@3fP}OI=ZE-(J0YoQrVQYLD zotoY8%#2W;x0C0(QwxJ_%)st$))kyaIWc+WEYz7p*i(pq+bQTs{fx6Jrk*hdQBy2$ zT6rUJ6nEwdEbUxCq)V)_$oLw;X$Gg-eX5>i_an&70FBwovJ$Xr{8;`8barvbefu;pauyN)6;*?*(r)azprK=CoHxG zw!EpXX+J}lg^pMx2kze|S#Se@g=BWM+t>r=aL-Fl#g(00S?Qn7jDHeP#NQdSG-BTP zuQ>0<8tTuwf5S=lKjEDFcb#(o>(03UEhpS>%FlL)|6?_siOIIU!k?MYTico4ENAcp zswRBNA9MGHlkcaKD;l2oBMr18_ULS|FM8`?2xa`>DTycvH5bo^4?W<>JrJOSAW`|-{6Rr#KQ>C*Hb3(@xbq~S*$|6xA|ccHe?BP3^J>0o451ghiy;R)ZiUvvzGEvSPG9R?Jm;=}yi#h3p%@LWTX!{*rtBL1X%X z{mq2NM}RlO>cZ3L=h3m7JWP5 zqDmL4 zbY;aBYvW3aL1AQ`Ds@8c_z=-f^+GX)mlL3V=>INO_W3A;NuIEWzc}fs!!$(1mKDZ#$jowb4 z%Df^xmYDP*lz8N<|FHjjX!IPnrqX)O&U|B`Pc<%Q;#gx(BFwl|8SeKu16ib5yoIs$ zUC|)VH3E<)qOA#H$@RWBB{e3`#h9$lP|o=z|E*a{phkq=bWn|Z%!#a+u6sZ&%5R`s zKGNPG6}BRCQNvuOBKe|kD{)eDq~2(_ysG$t$9O)-e^ozjRq_srzTJ*I$mF+^V-gz| z+qvWeNvC?updLykS#h6u@(@BqE+7rx!8;s^|95ZpYV!SpjRE|_%*WoI#59YKD9X0= zPRG_z{Lw3h6pxQqpbdHoGuYYrM`v(i_Fj$37yOj%%f)bBF%+5Y@81gcW2B#tMO2a< zl{rK=mhRnvZiSUwVZ!}(MQ5pY66070wJ0;G9ufPA!ptU^GP!q}J)0EHR=4mnjY8O41os>lk!Ue z0j=k?lGIRMXcK2gaTE8KGfgJ+++yQbUF()L zGfdURx;4W`7jh%8YWeq31cc?ojg3csZ7)Mr1yHtZc#L&J^?KuU8&if53PH_!Dg8on zaH(OU)HWOPVX!2v))ujI<~tsCy~4WYwx)UoR}LKI(sk}vW4jSLR+};hbD4;Q>ejQ( zel5r`fkk5>a;11sE`Pc_ecL!Y+qK8yFD#7YI~wGRm0t>f&k}_dGE89H|3ayR8DRLJ zQi%;w7^3cr7G}R3;v^0S@0rV`A+uG^jYg8vkPBsufY_FftSvX`BjitrLkODU%VHwW z2ypD!4|PZY@nM2a2z-G|1&Rr(sm%(Z)?dsHv0w}!|7<1jg4K*A%pstQB-N@RMfDY* zJG4yF$!64FH4y!~S+w7WHXm7SAYJ&F8g42IcCS9#rrQ-HkMo~cWRglH+Z5eGXPLb>2n)5 z#%<5Ph{OmSkg_7TIS~s3C}LTH8cxg5vt58FOJ-AhRYy-c{ zeesDMIWP4SZsELVRfsxuL?PjCTS4yr?QDA?teIC^|z=;wK2 zIAqlH4)qR6J3;anK_^GK@kJr42IX*?-F0rBIL-*j5-`g=s7sHbtxTA%wV;oNUGnDO>^Mdlj^ zZ_oJIXS~Squ+0GVt&+H!{oRwmQ?xGsOr?QHvDkiEk>aIK-25Hb0GsaF!a!|&mOB8S zIJJ2njirc|z>=LCFoAKX3FDLA`i@rX=(r;;K;I<(?ue>s)|gge1^B#SzUgvm|DS>S z=`v<478Sf>q?ndg?uIt}UzVdj^HCqFtLG!WjWdHlp&GyE4hT;*D^O@ z|5am7E)!PPwy<JZXsLMsnRMn}3p=kTpmv{lU!PC}C;;yAXFxt#4b%sF zmS-<#!xDoW{LH=mNK-m?a3+$)EMxJ8Fb+L$>5OZY(Ukl0tx_CL;+0zjDK4UcujY=p+_~ zft9M4Liccv-&r6yE0=y&-gYgel+}34N(lgWxs5nVDL?!sN(p@lrL4wrrL4wxp_I_8 zR0zfjNqn+SP$@~Ra{%~S$12>V)>*6zYMpy7^t0;-o5kgHGJ*iFSOkU%67GoSW~zgWwiVAvO3h?guk&{Zm5iANx{=e^9iw16}lR_3TUX` zOsssI1QmH%Q;}T?qWT=n$0u|eiNw^0zwrc&(rpSechcs!&tdy^poGoASF@+%f!+G) zwETe$U|)K}a!l!6$ma!AE9U3wt3a3$Ap@h;C7%Oy`WB%L85o3Ws&bQpl7Y620_~*( z5<=a)7mB!L4V4o4(tj%7RO9!a!@$1zd5Ra zr<{E0Z`4rEEB~dMe~?M#vL+^zdPYXs9IpmmRrjgZeyKIDd9NBy%ZtTy#(v)xa281I zr=pFuK{>2Oa!ZwU7IE!R6Lt;7+?SW}v3+LmH>s@-T;=?oT?Z!Y?2nwo6TBJ#GySt7 zcb5xT!v0_!fqL)svmsXOHnY!#4((?63eF_ZQRWkM)Df;~-{{lGN>xZ7Y@nS>tD z1_8>|B*C&Af&DbTD076?(1(wNO*k$^u#QX4VjBD3!!~#Mf@SP4UeYm~Qx)$wGz4g~ zTa$~@K}b%DvIgcML)_sVwf7L>ke&1r{J_dRb4-qvSaQ@*|!N*5PjZ@8Vh zN7iU-Rt-3{;%~VNqb=G|T5j+11;{`AfxqD{AwVOjV)0WNqGAYmAJGDvsYb)IQ^9BJ ztwIN+&|dv=VA23w7gE=Gh|!9<45wog2U|B?EMqXG# z_at-yf@kvaV1c0c7$CS0o>^Dgbs`h}ArQ^s3ltg4UO#DE^3B!%c~ZQ#c2>new;0Yv z$?L#gYv2qSzTD63hMNoiDsjP|dpOX!<_}u>SN+`x#IpDGMfGqNh5pU~UfLVLbynui zFU3X`oGN1cZCo}Bcd3|`1otJc#aobECe7jpBoY`u|lt?Q|R-Pk@%A(wEi#w$q1 zwiH1dgjo~SMZ3meh;y&}OZcE)-8~I6R5=*^PWu@W3%Osu>$wgWxm10dmr zHCR>Ur(}R9^Dso%-D=YUSf>y(CVQ!(V zE>vpslyG43<6ZbLAG@f@6M?iw2+_j^v*??Y}N49)#Y~`nmwOq zZy+bUUR3NgeBWd^cu`)?c{ZhRfIN{>JWTbJ-*8tkm-p21g-?_IfVXo!g6fLnc-i1J znnKRIA@di8E}PM&o{e_+YAlSG!U~xe`byQ@rR_}B+=`{C%?P+0?#w*=q>RGLa0}a# zYqVL^oh0jrUBciE0Vsu{XNnF(nKM$O?s;bbmmbU+aXronNobEN8vobbp^z+c z6Et}-)`GsYv-5X3UPK?eA@?~|H0}8Vl$26>9r5*2^a?X!G ze|~dSUg#Z&xm>CU9f;J&U1#3uSL}xY>94o(`MrHX`s_r80vNA`d~!nTki5K7)v@t5 zmsf6r{t~XAJ4borLpH*xPWU&;SoyRp`^Yy@zTO&Zkq^LX@VpK_9jp=o5jyv zglPGu@#|fs6!r`Ofi+y>Ph7wK&>R0W{o%9ACAb(PbJ^X0#auxRFs^4aP5=)u4})tK zrmC5*^kC85O0?`z<0P#5iH&r|Xx@xJ6s|`n2AszY{2PC0+|+)@Uk*1v;qDP>%)R1F zjw5@bwE-sxa7AiU17n(K0kzp-KZY+_*Ip?fTkMDCjd7i-Jq+>C6{ zh4~p%rKJ7@WDVTOswsG~p;BToZdE@yV1Gsp{b)6XicsX&usH*w0W^EY#zqG#}z?J0$l!wi6SG|BntjB>zCJ|au-d`#8=RbBkCX78?jr|DGe zp$S#&6Fo)=RU`^;!D&>W-zoJGRN5bE_DW3nV&oY!9m`sf05!8MltW(hhPgp0YSJv+ z0Q5$!d)(Y$*t&n7BieR1;(Vi&%_7F7F*sMCAyeMUP7l1Z<9#u&Y?@E}PInH9#9hr-nGDuUvhIPA*TA?Wo~f!PL2lX9ES6-RAu^pwNt$MbeJ#4- zP|#dHWoMIJ`gx-Q!}8XmO_JORX^ZM2z+G_-THo&s!9}G#Am1+Qn=bsM?uf1EQkwFz=pZWWU&KPsqW0E1~Kh~2tig0_KL*vvam(^@O6YqDbbpVl1@4f-q zgh%ScN1nB@5`W=#Qop>lx(FIbgzCr;Jn?|qG@R3o_FWGt1Z5@C4Dfm`ttWg|!2uHs zu7He(LZ7toou_7!!sr_L&pY|@`6`)rPPx*|7zx+n%vV04}aSD=20(BB` z{m3ANL_oA*6tp>6Cz}{MG!m}T=t*K6JL^84EAcL-^Cr4_+j}Md{+s&iYVBJ(u6 z`!YMnTffZiFj?%2DHgA&r;0>IkFX`$g#M~b=zqv?I?Y+<>0tRHy~5wkZ==E2ednHj z=H9vC66Z3afC<=!jblX_$BG+=>@H{=tFUpbY|AimsA(KBuk^1d8}YAhHlk}Df30sG z>j_cio-Rf1DRNJC)+v#3x~AYyYf3(4UI4-}FH2Gx7KR>i4jGu|qhX0(9mc< zK9k1A0{F^Xk?gF2Duzz%MBLIISq0%MaqTC z=|3^8oR_n? zyyf&|Z&{6cL$jXe?O!#EQEzEh_lOmd=Q9PAZy~YTP4{s4bJdSsfm%3tQT7aS)i{k@ zHBKN05TWC0OkpNEu`5uRNfOKrI*RIzm>1ppBRQ+4>)9-o6dJ^VBO7rwfwjwWjdCup zg%-@*yaxi)5QabZrt>O{qqJ7Qg8gTQStEfq3pVW19Vq7SbulC5dp4{nK!P^3-+&4( ze)b%$ST6Y&sQ^43byi^5@ZoAY`BDv-#1Yh{RqbIl zFGp_KMenM2QO#FQ@$2$x>JP9d`Xga0TOS|q?nnV6_dcd70m4;MDPxhd@LP_iyVAsTgzyeUs;JMSMib ziqQoUC@%z3)vNZq?3MwJ#il(LTbvhqf4&RB>N+Ki(CjINQ@~9aJ?c6h9W%oqZtk}# zlEOBT)Cp#E0osod^ohk397a|yF_)o^Vs1V}6<{r?DG2jQrMwJN<3aqq z(vATtYZ@1()A=(Rfmf!q!D@IZql8^!b!2EYJ-iW%@@Ud;@WE{*aj4E5q*bm_CJVY8 zM|el;L@gu#P3v);=|<~>%e$y3>GuJ{S{mx9-{oQlxzyz9qaFz}!=@BB{=00hMLRRm z1`(Qu%Csob$c2pdxHH3?oKdSK_ZP@+OqLwieYnmCRG&2v_hSRWVaG(~h$XJ8Fbl%!&r?2TFY(_XP~sn2 z{ozNoA>^{nIt>mqK=rR?i2-8W<$cn&9a{PDO8d?R2(%2QAx6z{A7=9 zP^^@Q&T7UiKuX;4kL$()#x-r(2`}J0<0ORG(4?8-MlkpiZ3)ROj@`5Wc-zv1ZtxogMidLzyME}X- z0RMG(@T$H0dLLoa89u*ADRwd=IL!T+Z6>I7GHd}Jgq|o;70|)>#-!iuUFYcz3pa+f z?_&muA~nb<0uq3mTM5JpfNpB@4*gq?^4l(|LKh?Bk&Yoox~?8-Sfz({q>rRR#GG)u zsP2#RiHm6~0R$N`4E0eu4�yG~?Q;JO$Fav6s~$LjVucA+ZF+3@NTGJcHe@9GsqX zR}%U{7Jx)kfg{cc4>Db2W5X9h!3qo|cWm!BL1zVqcvi?Ev0~MA!gwNPLQPNj-gG*d za^L#b&A~A1_D1Qe$#^szr`_r9beMk-qA~1$Gjr~V;N4*k>0jV=58yB);2w)nJ;X;V zvi9rlv@2RohkaHF_=g_Or2nBiC2!)=$`UM|FdD67sl$J)@*ivb$2$MEnJ~w%|aMT)-9}|l6A)!vv!|QS0y=ub^X@sul@xO=Z7kJA2-&q^} z6tfpVF-3xsnKk?vuS4{zUrf6rdP`;`mO`sctUO2RiDH1^!N$I!VY`%s(3i8@l9D!yIEyyd&>0BPAAqpu6mfoJ zteAlly_&1*J4mA>F;}-GHHE5PNrqS5RtOCv2ny+1>FJSA`IBk4|4Gb^!Q*GGU-OhRA|qg)|16Jg|%h^4eQ zB~VZy)G{!A{v*A{B~z0AQT+~07dWm*IGKuFe(6^y<6-Vrm1+hVRD}z`weHXV_H_WBgUn$=Psx08K!$zmfT1 zF(tIn8&m?Mw~!gm2SGp!2nuRDH3|X^dd#W-jnQWt2eBr@s^wrd4dg?BEnAnQyU|zL zj;YL#eWHHA zvqC<=rl{{ z_%1s`lI^aZt_}BCX-R4=hy04 zwG>YTJ9tf2Z1;@pKn=obvtnM`2%=S+74zC!j;zY26pNfdvA5&X$!LJWAaS@nDD9eBj3?$+xX25t21gBBZcIiBRp8 z;8i8U9x3Z5C!$k{2pX~|4J7?h5@c(8CX`cPNe}?BnEZJ{-|XlZh=4MO)R_wErr0)@R*m#SPT!sc1IM!Q&G0(rV57?&V~9{$ZG% zy?Y}^LK>PqRil!%c|KT)o0{;sQ(%c|RyG{-Q{%wAg`y{Jhw7{U)!KG~ZL4)FT7Y~B zAY}hCA@|w&L%7JMQ^5cmq_9VXYcED1Ky9-)+x3wNMKwBRK%EEBilC}<2XjopHV~Q! z(@Jh9Gy(3xZZU?z=;E)N!|~vP=6s%g3nJidKhN_OYySx)9eYPwWfv;Ic-zp@CY}0C zv=HYVcejfSv-hP)o*8fdqaNxg7gxT;A4;-0`~v-s#NQRe;5_SaZr5Y&3Q=8$Pn}4U z0ye>$prRq57h~26eY_v~Mh)-S4uzF)uIl3x>I*)Ke}X~avZ}@lT{z;GdNl+7l)0S6 zS9dBXr?kNH`z>JH+iko4&{&1FSGI0{l!@x#AJ+`{m?=jfjOAC=>eD}rS zo(u~R4R-SeiTF~kU86|B^pIsyA z0cpUw_S>W9osFj-QlXs&2(#J#HO&vEjeAcg7o)*=DTfQOqC62bmpdEx%m#@3*Zui88_$^{%x#`=?g=^7uGV;^8uFojRz0b zHpIB=2_zF#zn*+)u-TD7Z6P3<6D8>x!*4OY9j7$*$Z{q;Wc<8|2-IcW{ z65E$Fc8)1)(oTuLdkurNOucYrg9Ug4A8Q0&*CRZn8kCt0Mcrd;iRS@JzyH2ucw;?B za4O-7TGZ2hI{|2tJQsX}s9u^ByZPS1p^ie~(KL8p0K?`~-vH|bUq zEf7`rVQ|8rT*w9kHHqnz3pPo8+61kw!`?^y*Dw#uAFV>U_^(_35Xv9A#hn$b-|^~q zIxF~L#s7dkch>w58`!m5?(CTvKpYHBD!YuaQqFfX#%z37Pt;I^Iljs{t~>VMp$xa~ z@YZH71zsDK4i{?))Lzwy7QoLtclgP5H+!3(uC2oHwOn-`szpaEg39Zvmd~b8m;|g5 zTGHD4<4Xu6dpjOVsgzwv`C1l2YprXt_nE+&K^1T{H&th%lDCTL7B%~`*VSkHzwRF$ z!esG|y{+|B)qlDF>Md4ZTGndlp|jcw!>9r7eDI8me_F|yT=mhRggg$`I8tJYFjln4 zjrAbX+NHEOhRePmx8X4Mmxe%6J~OyHCNUrTvL}63mh9<+g~Hg0XK5d98``-4OTxpW z2SNMASu3Fv1~?A^nm%S`F&~p00n1DSDHEyCCE_b-G0~W`10FJhUQi^jNH32%tZe)X z&S03&s+GuL5RlP7WQIs}M|}XAkxp!i8=|4WuIcrRCrZrS#5x6v&L>}hrfn#dfri40 zB{fDgBMM=b#863oLL;UFwgkY(vuk3w=xkXQ796=*BhL=r!eiec#nZB4oNN*JgwZ}q zrL{lF@w|j$)n)sVk<|FqN-hH^N>8MPpgz)w8%JRj4UUKD=eGSW@PMC1h$UU%hgaLg zxM?;G+Ih33zQhhfEL7EbNE}lhgft_5m5}oXx_FQ|UU%#RiI16d`lzD_Deh}R+?ns* zkyflJV~4}%6HWvCE-UeN!4nI-cFKefw*W3g^^HT5x=I+(4m8wD?5hV&dHOlD;E4xD z*8?>6)q|$KacH3v5nO=*nEB|zlAi+8NxQg}5J*>d4H?kWH}|~XUc{U2T<}&h-*+J7 zKG{y}Y|o$T=z0@U5+j{T4#4rc=8%76mY;$Tn9;IC zMoY!H#dHUz7{d3L!xo-b_ zVE^2(fBtO$d}#lCWdH2iKYRAizWsAx|4i+lr}ocX`{xt;=TrOVGyCVB{qs5ddE#(4 z8~|zdiz^PV?I1`~w(4-*4umvi>kj|zU`SKuj)WZ$Y04ftV}e1E&cGnfE6(s>VaFLH zEL?Sl3Jceq0mH&|XV|dtfirlz_a~v=pN4vW7V3R3)cbR<_Y=BAqg?XRu@;UEU3_#X z`Id?lupJr7d};yjFsU>v-$y{vM-?sanJ&Lz*P$IDs@*)D3hTN{&-GlS<9;gG;X7~1 zfk!)WQGvOU;1?MEWC*~ot8-Yk#_#tIotci^j ze}U(Q;+K1yf~Nc({AlvZyW?xC{=4im3wHO~+1p-qL&NM+r8(48 z&>{(PjYVtR;}rlktZ~l<5#Vss0ivrUw8ht;Hj{hs)&$p9vW4T=kbg^~J@h%Z(XE-bvo z{`mX?I>Rezg9+Rzo#e@>n3{k_vbMV18|HNNE1g;pnZR*?ve-kw7RlZUzKqElYPan0 zH0famC3Gv?TY>>O?tx+gM#FIvl%cQT9(1x5B44&zv75E=^!q(?amTcIz4vDS;8~!0J5)OaHw{&Mdhp`lRiN@_ zxbn-FyMfBBP~{g--t0aN;qf(8`%SF&w*Y0hn@-nY{C*d(> zqwe_AFDek%1UO)5>)I+jM}>br(tmYU%%5vY=DpB00Gs`SafC8L+qz@gOK#|a8+|K? zg>fmIqW5QCO^&ABq1ea1r$DR6heGh>V%VbjA9s)%uK!gHA6d(fv_cj4J=C=ef>9zO| zyO$Tk2*J%NzY3SQ{9c>|K!g8KPllBWT%l4P+6 zH7%fQ%`!mfI#3)++W|t0m}y^tKuSEvk7CJZ-!Z-Rm0&_XXVhhuFU?YRCsR@n_(k7_Q^mww8^Q599Iu zX9`}}1dtqa&4z|UjtTz0|3UynpyGdT0I&&C9$EK-U+lDGCR7hA>|1OSt@>{m9UsSH z-Soy)E~W*e3QH-20zsC(bkLGo00q`l1_k{fzLc3osZ`1oO=kg;&PpJ#wTJ`5@E`{m zt$8y5g9t|#m>8I}`t*@8Jp#(V*M(TZ=EOJ>5La z*lgBQ!0X>@##$BDmbvNtE{Ym(;C?+bAQ-hF1{K3U$TrwiMgoR!$N(U_6@;{iMi8w6 zYBQxc6%#cSX*QNlN;}eKQ!YiU9mU-!Wr#@bU=)rn5`XX5(3M=#CBscpF-@rtz&fVL zZ0#W;2l+?i9WpoI%>86h9J-Y%iv8Q8dH}%5U@b5-0zqHIVNqOpZ&N*c{?Q62w`MB3 z4bf!?YK{DZxK#*TNrnJ4GD7tWlXP(*1v-3RjOh8`A{TNaR-}M$Md2gsv|puSk$^qo zu6_G^<4kW_LUX3WI82{2u2^{NX7Ww!jtUqUd^w&CLx3 zM3Wh*Z(Dl^lCM)J6s#DyiVj~DLMrwHuBv%bvn{b_!T3Q@;m+ByicoY!MQ(L`Fc?DKgK8mY++p7~6r0X8&r@KyDpTJHRdZZVHjtvS}xGPO~_nh#Mix=tX03 zW^!e&5kspTNLfVdf9xI2NG-IC<~8xtSV~H*c-^vCTtAvtHAj2icLG$3$W<^F7?P_% zE+{6~P`QwxTm^0+QMn3Og|OU00kGq6aXsjcctkzx(-J;W&2*}>Q5Hwq!kS(qws*e3 z+-OYK_lt5Zic!YhsC8@}I-5T-t^+zN+txQaA3C4bRv}Gd##6K1Ks<@JrX73(8-QSm2&Kj(OyybgC z&t$LjJHGOhLJGdaJ>Umh_V*W)_YDZ1)yP9dRfr9m9IAX#R#e!}@clTkQ1Irejhn2( z=}iKLV{#k1yqOI30#7|B2}BP;gwndOg9Ozr_rl~-!U9DD8R{xtP4*;V&Wpx=uEd5+ zab<29vzw~caNqm=_uuc`Yw{bb-uK_t_lKd+J@vH{Y<;RfuY^92_2;$F=cz_5^fgys zQQjMPk@<15MkcIR`{Ev4;BscC+{;;)NKG~8)@f|Wjh{#9kkFV*eTKTpp8ps5Y4F}B zEbZnFrtjhk-}uz`J+~DV2w&X?b?&j6-uzpiReB`a_1#hDo@zOST5h)h?}p};8qVnljZY4Obz*BssRPBJcvA{)D(JzPJ zm?zC;pbP%aj)y0f*0$G*AaMK~0W5Wb!Zg~4^;XBw&Y$AsNRh11#6qPnKHwZgH(GcZ zgUkHnU^8)?QgMeH>}OI#(?zPEo`i7-{i!Rm-p9I8*{N?^Ajmai`!> zhxml{x8qTPR?dvuL|iYe%x}hqpA5&1EIr>;38L8BnHFw4QDh;Dg?y6BO*5>pI`%UU zpc8R8&2n@L;?rI$l(d2Y>(~xLtk2woV!mN>MTEp2^9M1WP&Z(EoQwZLqvGtNmgB

`*nu<+r4t< zgyWT%nI-`+MiYDjnovl^k3xEm3+Oos(c>mP3=>k-*ZTe`Pez5JuqCnU)ug7K)bT!d`X zdVHBhw!%zA0AL9J(&$6hJZd6z$2qLjEa$&v9*L?veikY>Fgsm8V=pP_m$=-XXYI6Y zH*A^*k^{65xMDou%5Xlqo*kbcfI4{bdl}TN7|HWY;qXqnV$L)9*f;*xag$g_EZr@* zUkm?dVjP$NSP%`sCkM|ffz!f9-*H+$rpUAJc<1myXmRShfw2&8lvw-MgW&b>H!x^= z^Hlk^(BF63{(5)XY{{_5Jg1`QTvJN{3bXv7CO?<+H>uu^b0c5}7(y93sa@Zo95IoFx0822o z5j6X}=YAHjNo{8Eu3euQ;-~sO9ePZM=^AT}N#EwVmnp`B<6?rmXf5OJbniV)tC#E;#;e^1=2=g>$CjSm!DV;c zPY1L-OhA;CrdE#-K!906*T%2W!^Hn|dZ=$QJWdd3+b#~a1k~Z7NURS({_zhKFkMDJ zcI?YaP*G2F5}wUXc~i+WrQbHM*jKY+29VImI;iL`)a#D?gujY-U&QkYV+?DCMg&5o z3dXX6`9TA7a9RTsmP|MV0$;97JPEMIzI+gNs*FJ)dG!e^VX;eRP1~+E8mKWf?K9vo zN8eE?bAg66*K14;393s+lo$6$Z{^_nCD*MmV0k^EY1xzIq_i6#M{0SAfCkDM7`k}A zDYrKCuvw+Kke&1W0lna?7b#4WrxP2x>QA6{*Q|Uy2+C)79gufXc4mYHidQt#8w?|J z(9G)!S8luodY4-5Da&4G&VP+9+e#{0G$v{+i$q9i4Q04g7;oa^vbHb6A~XYF&_2tF zr{6W;nL#?3(wPU*A6z$!1(Dw(w3!HL0(^L1i*yL~fXCXuG{h3RY1u1^3T7nU$CX$g zY#0ME$g$nr0=lU#p2mr^OATVqvVwLH;!zBNm|T99MAWV=#4gbd`44d^DQgUPh&btyZi1$vCXN-;Ohv{?Y}T zl@@F}mo*>C(OZt8_iLJqUA1!Mz}TE?^GI&Q-&9=pMa#DI_tT0C1$dTLnYF<=q^<=x z{)J|EX3=>A%3LS1pzh*{EiCdtx=IHCw9ibsL-}2;9pZJQqQbpducU5mMq(`G6$$`N z)h)weD2G1z#I-pd z6E7CEsOVx4;l1rLH!OJ;s_xqn=NMySgr}j=I?>50wm_pZ`9g=2#6iYS#S{Y^Yk@fS zSIl}lyWsU#W|E7l6PDd{1M!0GtNlXL3Hm~ntzxKtR)yRUV`Ndtup+%#lC~_sy>Rp)u%52TQ#O#6$%p8 zlNx$SlP>5Q3t+>pU=9FuLxXm#!6gU*RF&G+aLoyeGe()*KDYSWfQCczFQJ^> zpz3LwUrfj9&*6C~?f6j?z^JOV8%R-#9C2W@dL*6$# z1~;9YvT01`mi8$%Uj3bnQ{#1k2Fo40mO2gxcz77Dn$hXEtpoWU#(=TriBJrE!v&Pz zubUZofa!U7KGJ8BQ>{L*EysK_^Fbm6u za?ge$Odr+8hDc);GSpOG$REqP22*JbV#4EN0x-x-Gy|IOXWlRl?pB3My zfSDfT@SKhWbzet#$xc7n%16=DGl}6 zcI;Wf$VCQCC#rO8f|Lf)_d*v*8es%Cx`h6_};mAREfd}Myzhu+OS2#s(< zx&@{>{Iy&QQ|d&4n8^>SE(KhM?gU^Qms&oY1dPyDYU)_T^86vn)k2bGxUUR7h6G7O zo601{NPz0B9tJ7PC{Z1vyzmg9TL=NJ65(u1VYPF_pfvU}3n^qN#y*=9u)+{%A6c~n zVRzDlEK!<`4zYBSK}s>`9Z6}f!4-lmc2hCKs{``JGv3?=kX!l^w|DsDMPiPI{S*S| zE|)liwKs2xlm-id6-6?#*$aRbW#VgD^eZZ13jdm=SsuMoXf7`G;6=jr79`e@P^q~IvQL~iOjnaoDQ13Rj5j{FdMyqu@C zK^Z`AGP=HQm{ewH1iF_z!Mv2w>+jN+x z3%v&H-s}}hY&d3b7vS%P&@`9B3FL^y->pOkkUN(ljU6=Z=2hn0N@&Wd?%FJX`Os~?w4}Yvl0t5 z`*HwXEc@JsWAK-(4j9@91>-&RPDN}~E|;9h0$X}oaw9}FgYiz(fNm*VE?IP`W!jCZ zi|by#scbsY_|HbXD3fhi( zvL?M{y76r->v9{9g6+nTdCpp{>6qA{M#lh7BNNTJSd~TH1k{eZb30Tl-5m_xuB|q@ zW{i8xlw{jwHUqja5gCQcGM$Q+=dRFBI*OPp5H?~AIoF#WP>oY9;}tE;FKtV1(AE?R zlih!`2pDmV!hqCKyi(L%))MFz@4YE!Qd?6R2~s{1Tt)Y?oKXLFM{z+FRWnz)Ba_G8 zz}>!WmV4MU$G3m-}t*6@UhzY!RSZ?mD1LLvzj2*i_Sw_>$Z@nox$G zrrg11G{qOfCLOT|E@ODiz$x!#$C9Ry*wRA_J>;5DxfR!A{H^_ z1hR9#?(-)fWTv+}`WZp`4KGHlX!j?3P#wRDHA&Y)Kw^FDtjLUmyuN(K1rtWy*blNe zkI01IkWqQ)oHt}bxy9`FWK4dp5Lfh5SX>HDbK(jCH>NxX-% z9jK_pxvf*+#p|kCO3*EeHNhn6j9kuilCh z6>XxmO&kDQ>OXGOg$o`#|JLGXW6-{-Ha5pAMvEk_R8@ zI5rkXz-(Zz84-7~m`9^i6f`{zV6MPOg&(1|Qk&aofAj>(<&_abrM5DIyqMMeH5rAs z+|BzL!ZAHIq-7iTh18^n*W29{h9cr{Nu+otL4`WC z!J`ZEk6;V}GL#aT%h3E?MV-7b!_RY7yd} zj=P~3c!CjNxfKT_c&UEb{6}Bmz*^W)XpIRTUJf zs>@D63 zqOwc`qGCt14G-qx%}jZ$CCpwKWJIGWrS66w`H209I-J!JM^xK=nOKD`8OetyW&&cb zy9rE^rqkC?cW9}zxi4g{t%s)D6MOe=Ki9V%6`x z=-(6Uo72Djcm%b*}AHmSW>Oaz=OFMF?d-|QY8ypgwz;bqm9d0CZJl#9~S z(IkWCF8lDW4ok(ot*jAfbZ`zHf{%cBxJgLH)C+K2)g;8DDP851A*p0G`3!t~^?@Cd8E0Ki)zA(D5-)e-R?yXOm z7CPu0?#g6=*z^fb#E{J@#t;svNBF7+RR{{4sMIGF;6ovn?bxQVnJ~Tr*Y65Wj;7t= zXgGea<|g3L&b5i&^{q?x@dp+a{I0IlXtuQQ$RALfJ}2`i=Ru zRvF6b)FnrLKnE(B5a1PqefZyMq1mY0QG^nBh7aGYBc;2aiRnD)4~4mWnKnuh35%OX zqg8}OJ$h&7Yhc{m%6c=#MV%zg#zG0*yrWk}jmP;)*xbqxmtotgz`0fts*B~^oWtlC zK|-hHVf&*1iu0&rRlTU1XXiz0CB-4YYbtWRQ7h$&vq7P9Z<|tap@d3$8C2!)BvH_B zM6X!m>WR>oior)#vr2oS_zH+`b5vUWplR{q7uZ3WnBX)xpa^uf#az0IQn80l;bw#s zXYd>;OTVq&A$KDQh~JTyOp5v8q))QDU#izX+f{-SUyWxZU%hEmeG{w*txTY0V#r!( zXsB1-al~@|#Jd>TylHtDsaI*AsByWU94mk)I48Inq8^sDpV*13ttHZ11VuNoUVW7y zziysR`WM-^>agWv!nc$P@yO0ne^$@km!MXkUg~%blu9w06{olf!C;0=hd41(DU?DC z*&?-gU_&lm@rzgU2r(@e&xLgvmxfk3BU%n0?0htpji4D>Qa*h`W{!F@^!rZRd6iIQ zyhF|}gR|Sh^KxBb_XRKB#g@?d5HAu@f?TxKi5_r&i-a}M-snX)%l{m^ zBI8s1dsp-ZDs-rVEzy3Dg{%4tQ{_;A)SCPC$^2 zwlYF4Tftl0=j~klfBDoz(rDn#foEA;pD_exoQlqb16?v*pvkqJM)Nw2X>F$-sqWO)-2#gu-3hu&wy+ZdA-3wIOxBVBuIB}NG@YHZ2d1;c$TgK;| zssgVQu*<+|zL(iCsaVP7AiC$y=CX!XzMzlfl0*L>>)9N3&#|iL{w?0JrsDV7R(Ee$ zP3QM*a6x52UBBXt5N$+f0vC&2NY5kVqt=8d9@2!}ihOg;&oDgQ>Mmd6Vw3nAAGBJl z{FW`B-0`fY&Nt)zfVtttVU$gSEo0!JVL;WOm8{&(?CPu)&MT7Y)M^mNYL#oZr9CC2HjGw z(o(B*r`>#lm&UdEO`GI%Ec70`-5p=!MF~=;Edv7L$X1&0{OHv8exYv1YZx+fzw2|g z?-n+&s(XRMPW$dm*jfN=F^*@#x1K~Z$f|oRPC9&EUYrNtMoag=XBH&?3v?4a;-0Zz z|8OG&aS;^SCmlSfDRzQT%Mod!ooBq{Sl}$QBNP^Ny|Lsv30~FPTqZ}B=M+T4->$tr&IDC!S?`1>sjVUPPE(@FYXvL%Q!1uQ+Oi7L8d0=w-TEi$( zx&j$u64^vXBcC%R7}U6y!j*ykO{pc>jwiI?@iiUY8@{scD!ShJ_DFA8@FJb}ed=s! zoC@B-{#6@Nl0~AT&rjjaj8j-;sUD`RIQ1i+P;zy7$iwJK>eVP$S4+i!BVqic{R$FZ z%iF5>eQLhPu+s`bPp;Wf2;Iq6SzUkZ;_tGMm z^XG7a1oJ)AOXZ9SbKaD$kww9|O-%w7Nd(}}n`jyUsAQ!AkfK-!*_v@t(6pK4u+4l= zm}N&gyQMFP3nhZ?$(F>0r$2B{wh|Mm@YrqdzNn}&{qY3c!_%Clg`kHWPN*2yYlbK z%-m1lQY0zPK<~7M>vaEfcEbSA4ws8WoGsK9&sk_16%Cuy&OP=DXPUIfDlF=Gxuo~A z+(`OU$d}a>>w8=Mg-9N~dAk>sc}(;!Aj~51(EllD9_KY^=xnQSPSo#p#u?#u^gZW; z?t8Jb0nKUvyC|pv7JGeZAs|5l76t2cp$x4l8>bq0;Id1!H+(gv@7{HcU)EoOS9$tb zJSHFjYkrD~=3}f)1;ysT3aho##i+ICyDtuJU$3c$?6J4M72E%0#fBpAw`TiWvqd%A zcrlvo)!P>@f{G0u=vkCvTa}6pIxE&|^?RLBblr}=r(V;2|IgEFAOVY4Yl~oLP1*Qs zskM3(70t&v)S3f}t2I}1jW5oO=AzfXvbKB$Oov`rt}63H*sb}hG*X4_36Y4iN@BSf zZ&l=Y!S?Ibg5jmlM`oVG`wypM-!X06q`ub!txMrvLYTW4;JO7jc7FEY& zcW~Jq_bFt}Jej4q&);o&kzT=@u$JE*kZLgmvCbj9MPK?f7Ng3}pOW>v=M=$w+7$~P zi|7hGpOxg3gx-773*(>T^{Y6yB!Og&@}c#k$}pz;n%-{UPkk9HM{IJ`g%EWHqpm{T zRh;DZl6*f)&6q0hXz`0NdS_)i{oQoRJ7UAA5b@wd>RZF^8*-8aeuI09Pj@|U{_|pz zS9=iPGt~SZPwtTdgKOCh7_RzH0ThJ!=##W^dNZuLm}7H!&f?K5%)rrS9oC}8LYkcY z$vB6=S921m=74@6OjR+jUC9Fd(3Pq=4R#YStN$fggm`K2)6aod#1}yqvo4+oC}h z4I{5P$-sWGNncvA{BgI!PH${W-ot@^x}%rF@kN=ioDsxl+le95?1V3xU8 z_jS^55Q1EVt1r9Pz4Y-%v4^S?&}%bQG}c#35gu&Gq){Ny2tRRYUbhVLJPnA~Ug0>T z!9ie)zs%9dmUw3@)a^@^Ehk-SLg)JT-jXpjU_xmMoQY^^N%t4IS z2RW@MsW>{c_?o+5{+nI6m^e!dg4bn3OrQ&VRz=oW;w*H&(4@8(f-$1vFU;6w*`wUL zwty1Sumq&AC1A_D0Z6rEif1>wvKBA|U0okld5?>Grz0x{-&IIgHL)Sb@q>R5u^jQD z_W`cL?_hYRQxYDmFqpRVs`TZH*b$dRNhk8eLPSp&8K$d8fQaq(ccg*wvIMODq?)g;d?>0mug2%*5Oszqg47luF@8hYwEdNGcgs0Oy(Ah+W1(GSb+&F zk<46I^H5qksJulDTpLO9)KzbxiXkPVFlnSruyxg476Dy^jN(gDgv0d%y!dmS>EMx; zyk$F0PlsbMZY8fX2}f>i0+2s2Rp?bB##r(N*g#(w=r;yiQ4EmbrFTIiD4hJnuhOQ zPNwG{hS}M>H!2rYtXl=&sNPbbm0{^95BrhRstnmGY!O16-}td`sI`?>cZ_D4Yb251 zDW?d#Tokm3m#s7@I`?kfCm#LDhgNVjq9d5$V4G`VM=ww)!VF6KYq6647E{tsC!OpJsfI6VAk?EO_5&z4JV%OZB3y;o?_w)bAMo5x!Ai!J2vN`5PLGfeYOCAVcil_uZP6{}pA zj3?NFVP=CI$gQQ$_C>`&?kuTTS-Qaz6PAQaF5|65DkVoic?D@L_x=Xr4JhSuIp1?GhF82O1h8~k23D9Df=m@rIyth{OE9grewooD zas7mm=f1%Ry!<5BC9ya#8}!p<)kxz?z5#7D2KNDTI|xkT4M#2w(b61*V1-goK{-}VU5QBCSFm{Cv$!H+U7J2EOQ_TxQ3sxP z0j1D25oJ=;HDR&Jsl^k*%jJ?e%Q2#1A76V1d{GDtJAm0*lw zd>!FaV*$R>OKXy)VkC#BaFGQ-S!^4@yJ4JdP=IVxPaizq##ZtoP;q0ZDA=uG1o>Xp zUbmLxHW>{X-UlC$3`!(GLdAUOj^C%$@>WLMsXjvXgqapSFHXwDlQxg%<*Dq28k(Dfm#t)7vzaoXUfv-qB7>mo(Wo(INkeHeF?}aV zH+KD(scDY4=6e;I_kzuN@}~d@^I7rA+%C3FAj6-+tqzQ?27B2K0p>fEFrRtzvi%>` z{bj4*8>%*I09_ZP+fx~W3XZndES|GVyCI&N&kNY8J{52~+)Zs}b9EkE3yt>POyt?!qL)0jemJWhs`eGV?%9ix_}CtO zZt|b%5|>pt{j3-IA}YUUwQOe6b?@@$_~QGOrC#ynnHfTh$rWh zvnq>P81dBPC7`;ly%o4s0qFv&4MgFp=dBx87MGz^0 zEV5o|%u>n<4ihY*zmq8z-l{6j{nd1$wMgC?Y2V9o`Lm48?J{*SriQceEpf$+E%%7M zO-%yIC$Jy3Us&{dYg8MJIhBru&x``mSR@X?NQ<%#)ZSiSpdlHw0LOsYxM)ytZ4YNV=lIePj=T8x#Izo%hqfQz7O96$0sRBO;BH#(95nA&D1lB4vUW3-(m1cwC?RM+>09Pw;W0i5^mPD-z`3uHi z;jHW|7~-Po_0TOJ`3}=_6}8jcBl)L4TK+-789zQcVy1uvU%Fno0ZN`Fwg?IO%lP^t zr!m#B{{E*|x5m+#Sy3!ytKUJ&ywkIahivm79aigTOB+CyDiU){IAw`pZSJvSVmr7@ z#4@4aqb;`(ZRuW}Z>t0`;V?^mx5AX<{D*y+g3kPH!uG~lHQFp{JmzRooS#aDYL)A| zg_n2Dz1rBNU9)qU_rh+`joJ_%6>iebdW+U{=U+RmdUG}oI}Mh*A{>xh*J*Ho=jCnr&R3fPE3B8giXevGK#D%p8ATUCoD`( z2xa@2{SYXU;mm7Bk>TvrvfFV|BJp%E<=NG#}#Mv02@ z27l2C%1Kpe^b?|9K|hIl74%c6mH`P2%G8aYGVKJQ7OkBmdWG5v>M-qugIWY{VY(?O zYW1ccyKog&OCfxWyS2lXs(u?$mS=g0ca%9ZKTGlrznx^JzL53K*$Qa|QL4xkSF7 z$45Jm>p0CP`HtRpd{GEsdqIZBpyD0gBDa@UN+%#ziQT55hJ%c2hb?aoAkx(St| z6B249!!h-5gkN-Ka`jyjAe0vMgg4Z%KG?FuD&MVg4cVI}7;to+>Nb`IvCj%Qu)X{0V@_H(Vs-mh^ z7F!WfptA7~rLY4udO00kQTn=>PlxZ{r_(B;Q=vyDN#9&Kb((|NF1%B2vi^x^)y{Rj z6JIn2o*Q2dxP{f0`*nVOVV?<@JdacnUuNc=)RJDk@(0zuuuLofvPWO$=OVJamuj;$ zOyC`FtnB`rk>l*e;1agT#SpD(J{77sL+xzwB$W`gBq^!XrnLLn$E5nG+_tFskvLc$ zGGS~GMWaHqb97TSVG9+~mF~vJ_OmEQhViv9yA?g$3-BID!i2R$l%nTAbhilmv)FAjw;3Ar z7=*>oAH^+C0*d?u)_4?q37{&~TDXq@Sy}2Kz*@KDAJ}KE;t~Yr^9>*j?io-nyZEhq z$C(*-=9(0!aZe?TPbIIb?+m+R;uK5}usI1(o+NGV37B?7ZVQgk(2 zPE2b%Q~GXiB9y=|%hkd$6#oZJ1Ga&!VhLhgqMX&hV4>xL4yiQ;;3v9buA$*(GVTf$ z@)7@ay?KSeO$|RhuEv zw06|9ozoh0VrQ*EY+3SCGhTM{4>*#>Kp2i2 z-A#BSKx{zq-zNT-@1MJ3e)Raxx$AD4duq5i+%*SqE9r+iKnz;=Pft{7Hhoy#tNJ+h zTpYV0xK(ik3|jb41jpT8CP9U9Tj97ZdkiGx?7@1Ij_?5udX33Fpna2`j?ybJ=^h_7 z?vBNhzSEe>213^zwUVPI9z9MbBkxr8iXES-Mvbdhauq!e-k(kv)Zg7|9UfkviOtn? z*q^1lR&pJo@VY51Yj})Bm0cGhu`6tZ+e1X2+9wV&kp5a530I)KucP>7w}u=?;%=B* za+9NR5KBRQewh{50MZQ*4SN*KH@@xhQK>Dk6%b)C!)UnUBi5g>SQFC0{KIpV+!cag z4U02kH#ZffT38X2@%z#B0xI1z&Y6)H5gcw!BpG&a($3HCe zt~A(YgaG-un1o-&CRFUb%DMbrR*Vs$zR$$#D+9lX-QBBd?528AcGKs2?3Rtt-ip#7 zE5&uH*nOpgC)cGE7~iiS;Mg)pr_%F_j^7wogJ6xxuON`_~;3}d1Bi|H=^(c?9msK_l;+1A9y45 z_odj43OMavH%nW|7+eV*tDU5@FUaiUVB}Mv4*&MS^gnc2#JB%lqU-O#4o=0!9q6Dv zSeyO`~s9 zGZq5#dh#VYAUJA8#2~up`e>N9x+2xob2To(zz&~a7zmqSAW+z`_m=P31UyqVs`Q734NMljVgpg$rj`Wy>(cM{mP8M~FD-q8e|``2^md%a`#Lzs zg_(ZuMEg`QBtgM`4o>L>yG>fjJvxS`wnOAzKD|hZ@67RV4=<+N3qU7f6Z2I3>q9^8 zpQtuf{bWK)(`f=PO)0I^#v;F_P%vGrWY^ZktcCduh25S&v)j*;N-7awmqp9Q2$Fsa zoA*1+^HI7t9t^u-!PkD+lZ z89>3#9ckvkeiq6zfm$}q;DM)x`v$P9KCmaPT3I)+`r*f8RwzagPZ9gnr5^bwyN7#? zCaNp^pd7zI5dJA2?&V84(@w+-`vBL)hl61fhu^XWGD5DH#1yU051Bfzw!o<6B)E{> zP**n=vSQv)u^%xc#9oCpvnix~?$qpf1%oB&$CeX>J`gw#%;)0{yeTVi9q=X&C$JKx z$D=XS-JG067#Ud5!<@60bZ-H#%VEaBF#uh$c{fcjQ(>n;SL}>U618#?vz+=;b zq!;OU72fhR{E;6-VKXL~)+(adfVTEU77|stLLHx2UIJ(g;|gIT&=NcxvdETf=5$Cx zT+;)tDWmsn+s1Oiwsq zh8a$WLBpxsbPDj2NhMSYOzM@W` zbV1CBuHH<3qDA6JBw^RVoG=40O!S-S^^p(vJ)AJT91`ju*K2gs4D!zYw`>rT>0nwQNt^TDROUn zsQ0#2m~%KeOO1qiED|l!0DD9QQYAtj>@O5flaG?kWee-$RU}vvxkddVYdXl9eALu1 zEcPXdumI8!VKehBjKNW|Ml+K z{;&H-hot{N;q8Etd2gk&y0-pc?Y;r4Ihp5r3`XU#sG;HT-K${I!mMt&6`N;9n2KUmN(>hWP7e{Of1&*F*g4q4?_& z{`E-w)g{Q#Nss=7Ui$PWbTgnop`VoggpN+>Pv~jaKzL#xJT(xW83=m@!gC4X#GYI- z2g`T$r)cSt%UUfN^8B0C<)}=Cg3|Nnkerhr;rue%>szIPb6mB7fpN@@AUr$L>+N{h zpA0}l2Fu$|x>9{gRk8o;Ki?g`ee>qv*WIJNcQ5x}39T>cy`Bie4>|r|_0dMO`tE5Uk974H2fq~q-&k8+iPiRD|Gc)orfcsW9`678YVX;**DrQo?H$tk)w_I%Li%+D zukQ(A5>f=y88ks>gUA1J&(8jMH-n7D>EQLKJ5C!z*0Y_&?;O5k62D=xBP@muG?GQP zv}Dj{Av6wlYT#)AHBsAeeWQ1|x{i&_(H-ch&bs)YZu8IK`wxc~)9K{Bz?cI#XQ)aj z{+I&9bNG)xe%MACzCS3s{MPTuDka}*y`PDr#n9sJNfPugMY(aHU#((-C|R6 zE(|-LY;dkoD<50g$V0ZN@ln!J!U$im&YKp+Kfxq*HyeDm%76F9;=e)-JfBR@>=RcV zY4BS*8o_5mO0>%lFM650sQ_C_U7UV~O{O~Qxx*D<4`b7AaC5W*98xFCB%64ud_xDy zcdPb{_ln%Wb^*jXB04-D4fEHa|E^}F=L{Z~AqaZ=5C@fh-f<74Z^+FI3}CPzD|Y&e zRke{`iFG97OxadksmBxsrGOwPCvkrQEoWfO8sHF^F-Z)$J z=W8puIqTqmS8wjHgJCEY>H>=OwyY-gKn@VC?rqq6JazXLNjTHb)|g^M*uJm{w_ikk zDCcfKb$|xjV!J^ABHr@t+(aIxiaZC!M!%*`+XoXo&qM=E3tu9l7{26FI~G|0x|rmp#!gGXWuDw^q3FIZK}b!PXVH zn)Q6t&BcC+^NsWlr!^KEoI>A zR^Bx#0tb?Y7S77b2vl-P*Y7ovuJ{Rn7o(iE(}e>B5~`lAQ*_}OAr*c3FcfCu4V2!n z137auzMS-?9BQ;bN~=RpO=gnJ))zNdsRZ!c+o6&^mzFTxCqP z{s^p>y8S{-I1BYs)XvP}cYJnYmcK&*6O z&(M{ht)J0RfxlavWWnPS)Kv}CuxDOID?L&MD|=$>XF;*3up6!}%t|4;f?P>R7=DK{ z$#fxwXO0NhoLffI@cBssy@=U~*6Z9fqR~1(or{{~S&(Z|V^#r~HO}g5`}e4_g( zT<4-)RdjM%o&My}UUrteE5FI#hoK9+N0YZl&mS^v=iN3Gti2eH^M^Y-cFv;1r~CWV z+G=L%OF^+O4Gj5xWqF2*zhU*4;m6`jXZ4|0M@nq_1{k*JTh-wqMJ&P2TeMNMH9g$; z;nemrj;?>f(&JNSqXMHk8&OVmHiE1YEq)-cIvYjIG9+_u35^0>wQy9E zEz`dZ^AEBFgQfI6%=iq@v9p1@L;zzyQ;nF7s&2GeD=t5g?`BViw5IeaOlWm|OBI?R z9}GpoaZ#U8xwXUbEcnTbO@Xw7*x2lM)avDQZQRA!^K!+dzYt@l` zR-r@I*@+Mogr`~Ncv}3i+0W?O&gCY-kDle*!?jP5X4$2rZcBex1GJBv#Hcu+0%FqE z`4`DLd)pZRY?J3erGg!bcnepBI6JEehlg3twybgKa2gt)FCSaA09(dkjPYitNsZs;rw=UvP{8B8 z+Cc-1^=g5`beSBF{spS{3$_+Iohq*d7;h55{EKA;4)yiAFo%b=)jS*&c-c@8kiDpzjcJI zhOtps+#I?q$eYvRM+%%Yj?@N7{&eSr{mDi@W<|O6wB_{nd&HrdqX{~hu&!fS2WA3= zQQY+*uYE}3{I|&z9jxZS2hASy?J?a5cwpH+*5{1}57r(OVjtsoJ?vL41xjOcw+fR4 z_d6%eDzw9=Oic9gz z2xs7&907tiH2LbTQ-A@hQ3gar-C@AhD&Ez)O#YE{R#w;KWv$MN(eGCsU1MYYL1z_j zb*;#X8_X8e)mB&5Ivbr0>-yINQ}GK{yr9e!_>uWftO1eR{iN}Qk4*CTaU#Ip0A}8R z`707FGB-eJ!SJ?ND}ShO`{o3TIq?m<>YcMGdFIV`X`?B**{T7T3HF(<8D_(8whJc4 z#tF^;8T3f8&ZIjlQH6148A7tx~4*SQSh8ad)m%ex@U#1Vi<{c-0%K zd~f{lPr5Y@Zfc`@P>x(>K?Hdcb1#dlE}tE&(EVG%|M zG>i-hHMF~0`#Ij?!6Vt#+QUFsj|#hLI`UyCuOJ=;+Nqv|tbbPt@v6tfTvT7XRe?f? z!e-7tm~U$lVOz&!4;|V{#Ds0V<4eH$T3umVUyrv~Un`Xv=QATPB2z!eulg7E0y5BR zF6d%u4uW0_gI;$*7fg5oWjz9Y{Rg=(FQpAo!9fYq$sLrs`RdAgaeErbX!~*xDGiqk zAXZzCfN4<4NlMih<|HM{YT>@nE8_`V{aJ2Ie|9``N>g6Nd}&ajva2-0mr&vc%?7F0 zw0zi{2pNTywoegG=*>QJbY2@iJ$ks#H~9}D-0D196*RClx7bC|3Y9hqW zX7D?=ZA#BpW|NZJI6*12eTt3aTHLbrmwkA0ZB9C{!atI=&?&|hJ7SUbyn~a*wK>YI zf56pwuu}Voi%+-343KU8lvqr~+mD3}k+pW5S^kbcywU4C2#nr!h0!ykZ2AjSD><2J z{DEg%t9Z~gk36i`mj*{kE=C}1`)P(VPj{2~J;cJcAxrm;WcskeiRoegLwc6l=c0${bl4pY z|3IHx^a_A+@j?K2Pf*YNYkq8Zk1W8DMUd(KEMT;?DD29?-)>hJud*28j2JJA+AFFdy$Koe--qU=-8_r*)ofmCGlDWOD z>xBoiCeveJD>OHK_KKkdD)i{L&J>O$v@8&p@Qz2qc z#aC%Mc)YjM0DU#2$Gz#b;dDBkOgED~m?bKG;lV}TpPZ#{@TX{H?Qb*$zF~MRl+%)H z{y*;yM@tRtKu?rGH}4`f(#?MVXh+Zl4qc&<=yo~iqD^=anY!dz+ySDH(uSRc#Dp)q zFVVc7PR_fK&s;Wq{C1~du9m!2F9zu)&_Lp_gP?WDu|U-YV*;BM7?ZHjh4X8gA50sA z^t6ktKhp42)3a{g{{U;BdYG~g`TdDiVp5uC2QT?|z`J36mR$sqIGX6OZZLt6g-5Mq zZ)Y}~4lnxsG|QB4I*ObcSS>6e9Hm$~NSe~wPz2E}N3IAnp*0>qf4U>4&lfTGw0H^0 zUfxNbKNUDWe`?`I6~QXV6hwD=NY>wf(@O5|!4%P)r0MYnR&a}Jz>UgNMwZr^HI1p3 zh_@gS-m^g#P^Tv(wq3wPHlN;j^NDDmaZ0_>AWLLJayYXF->RY+USnpFG%&UErjnor zk)cDeW;seE#KrTdQG4rUKO1(EJBB%PBwOe6Kdy15)8kaeEqS2E`;_$UAC|niBx& zbwz*b@wblLtI^i@a6y{|B{}M)SQ$a6wti^#FGBi{q;PBSdIGc(%j__#ebvbjV~7M> zl`WE*)P9#agJ(MXwgp?ue0{8zC`Clfc(rtx^=O~J@<%4ATCVj}U6ONkX~xOARBLJG z%d$IVOH6>k!c0$2{XbAk0Rj{Q6aWAK2mmc+dsw9mcVN2!0024x000dD0000000000 z005+c00000ZDDR{W@U49E_82gY*0%90u%!j0000804-*FSY(s: seq, delim: T, prefix: seq) + lemma {:rlimit 1000} {:vcs_split_on_every_assert} WillSplitOnDelim(s: seq, delim: T, prefix: seq) requires |prefix| < |s| requires forall i :: 0 <= i < |prefix| ==> prefix[i] == s[i] requires delim !in prefix && s[|prefix|] == delim diff --git a/Source/IntegrationTests/TestFiles/LitTests/LitTest/git-issues/git-issue-4823.dfy b/Source/IntegrationTests/TestFiles/LitTests/LitTest/git-issues/git-issue-4823.dfy new file mode 100644 index 00000000000..2d2b01476d7 --- /dev/null +++ b/Source/IntegrationTests/TestFiles/LitTests/LitTest/git-issues/git-issue-4823.dfy @@ -0,0 +1,11 @@ +// RUN: %baredafny verify %args --type-system-refresh --general-traits=datatype "%s" > "%t" +// RUN: %diff "%s.expect" "%t" + +trait Test { + function Cast(t: T): Test +} + +datatype Impl extends Test = ImplConstructor() +{ + function Cast(t: Impl): Test { t } +} \ No newline at end of file diff --git a/Source/IntegrationTests/TestFiles/LitTests/LitTest/git-issues/git-issue-4823.dfy.expect b/Source/IntegrationTests/TestFiles/LitTests/LitTest/git-issues/git-issue-4823.dfy.expect new file mode 100644 index 00000000000..823a60a105c --- /dev/null +++ b/Source/IntegrationTests/TestFiles/LitTests/LitTest/git-issues/git-issue-4823.dfy.expect @@ -0,0 +1,2 @@ + +Dafny program verifier finished with 1 verified, 0 errors diff --git a/docs/dev/news/4823.fix b/docs/dev/news/4823.fix new file mode 100644 index 00000000000..400cee8379b --- /dev/null +++ b/docs/dev/news/4823.fix @@ -0,0 +1 @@ +Ability to cast a datatype to its trait when overriding functions \ No newline at end of file