From b2bb8f95e855aa32d9c5aa129d938fff03d83fa7 Mon Sep 17 00:00:00 2001 From: Claude Marche Date: Mon, 28 May 2018 09:40:37 +0200 Subject: [PATCH] example/prover: fixed remaining proofs --- examples/prover/Unification.mlw | 1 + examples/prover/Unification/why3session.xml | 561 +++++++++++--------- examples/prover/Unification/why3shapes.gz | Bin 28067 -> 28451 bytes 3 files changed, 307 insertions(+), 255 deletions(-) diff --git a/examples/prover/Unification.mlw b/examples/prover/Unification.mlw index fdab3c089..13980a88d 100644 --- a/examples/prover/Unification.mlw +++ b/examples/prover/Unification.mlw @@ -445,6 +445,7 @@ module Impl let rhoi = rho.unifier in let ghost stm = st tm rhoi in (*let n0 = rho.iteration in*) + bottomvar rhob rho z; assert { rho0 z = Var_fo_term z } ; assert { rhoi z = Var_fo_term z } ; (*assert { forall s:int -> (fo_term int int). diff --git a/examples/prover/Unification/why3session.xml b/examples/prover/Unification/why3session.xml index 7a43117d7..921d0bf0b 100644 --- a/examples/prover/Unification/why3session.xml +++ b/examples/prover/Unification/why3session.xml @@ -13,7 +13,7 @@ - + @@ -33,10 +33,54 @@ - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -182,8 +226,8 @@ - - + + @@ -194,467 +238,474 @@ - + + - - + + - - + + - - + + - + - + - + - + + + + - + + + + - - + + - + - + - - + + - - + + - - + + - - + + - - + + - + - + - - + + - - + + - - + + - + - - + + - - + + - - + + - + - - + + - + - - + + - - + + - - + + - + - - + + - - + + - - + + - - + + - - + + - - + + - + - - + + - - + + - + - - + + - - + + - - + + - - + + - - + + - + - - + + - - + + - + - + - + - + - + - + - + - - + + - + - - + + - - + + - + - + - - + + - - + + - - + + - - + + - - + + - - + + - + - - - - - - - - - - - - - - - - - - - - - + - + - + - - - - - - - - - - - - - - - - + - - + - - - - - - - - - - - - - - - - + - + - + - + - + - + - + + + + - + + - + - + - + - + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + + + + + + + + + + + + + + + + - - + + - - + + - + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - + - - + + - - + + - - + + - - + + - - + + - + - + - - + + - + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - - + + - + - + - - + + - + - - + + - - + + - - + + - - + + diff --git a/examples/prover/Unification/why3shapes.gz b/examples/prover/Unification/why3shapes.gz index 0f2d7e297fa68004fe31065b6a20482e4e1b1bbc..91f2ec8c4aa0b048288136ba61142ba88ec3a39a 100644 GIT binary patch delta 28258 zcmV)aK&ro^+X18A0e>Hh2mk;800030?7dr$966FM`0l@=-u7t$qtT2;17;R06ixvG z3VqJQB3~8@f!7_ORi)aJy1J)-{Td_k5*POfPi0EVh}57bOW__tcYdT@X%~%HY8h{l9+t z&$Ru*4cz_1y-Dp~pWE-B-hcc(efS^$-#^laqW!A)vq^s+pm!y>>G}c_S@=t$!{Peke{Jp;4d+yA%o;3CBO2o`H zV->1RMRTgiU2Bm-;P2KxfBgLU<8ObZKktUR@#)iN`}2?A-}m?J&#~6?ci!dnslB^> zlV8(K`tx1?`0jK2^S2wk|4nLt*^A$gWoWMW-rmTEKYw{^-?C+U|Ns8pYAXNu^UwDC z=Xamq|JFWzPQU#z7VORaIG_HJKYf1p@$YukAc2xv&bc=avBog=L5n3vEHRYo`^;`w zc&qg1e|=2<+I_F|uc>6;BE`tHD&#;>#TKDy=7JOeo;Z9y0#f(NR-oNzMr^Yo< zFuL#>Bc>2r$54SptK@Hp{^x@?6Q_WX3izHIW<#`^bZN;GLF#RWTEEqsX^JjD=>f9| z^MCARgh~3X6g^eg4hl>G-=d{F}wQ2b^zGEv}dt01SKNn8I^ExnJi|xD@=O6W;y#@UAyuywT>? z{MCr2}Rw>FpdT&bTN{Cjk=G%)zb;{tBok?9NuIFHT z396b&)M_U+0KWjHQ`lT0oRisbwWn%kdIl5RId$JlFmv5B|G;%EMyJ@!Jbyx$g5;E9 z)mSS#BQjBNC8ktZH~u4NP0u0pIL`g{@*tfUjP+zPrL(&3YiJmX7jLEut7!nRY7cEC z-C1#axsq;*sRnJ{l;%*)j&3kqG`6QusZb``*ZRsw`+fO5Tu!e=6_|2v)LQNmiOp2< z-X%42GWb^1_;=k$Xn)_lK7YI>siC;YArhIftG1aShN9G1T28L-!!@U~KQOwu<&GcT z+dZSz^kMkl|FZAIU)L~#mkIi$J@w4$JXKe7=UgIU4pa&R#U2k4I&Ja2y*>=5U^G@d z6cc0+Ooc4NeD7Su^lvYc_YVwSyxIO07GsjoG%{qLdr!umG?)d44S%y;jAx&E7y?V{1JycqXt|La+C4yX#Zz>$JlvN6MDld5T!?o zX3E6{v)ADYe~H5daO`C-3iSzNb{S0*M?c~f6n_F^LTuH{UM@574kiHJ{PD+T`yQSY>N^ z-55!3;&(Wyb8ZbSxHM@OHj&o27#!UxWx$dWaqOm#i_9oan`N-yZg8?s9}KH~9&jZX zZurTBShJB8n5qW^L$j`D$Qwk}QB>}R( zL<7iKb@7+~xiNU+jh=WNnO8T$F;ttu!g7Sdw*bt+TEvJ)D0go}4Mr4sN6nZ5L+;X> z&gFCr9%w8PZh;#dGLDbq`mNP?ZQxGQr9>%GwSYn|Y(g#+4;iU2qdvw%a-H~1zLcoN zMSo485`;>JRB1_aL_AIGFXJW(KeF* z;_eGR)_(h1pr4@Z$#?I4$kZi6iEI!XA1gDOmp*YN? zanC}?WI7W|Po1gJ{qfs2F5o_t%T)fcyIO5Ge(!|Z@Gm#$?H@bN(lWfKn~M)_8-F_b z5zYOGc7L>c-c3irSmXQ4Cid>&HyG~5KR)oXn~TFt8LC%OS2(*kJh-N(vnwO9B9{?P zF{5Obo6Xb2tnyD~^YPY+bNFC3vwZ7eKN*MNZ}gWp`}BN_1rO@o4)$9cLiGmsezejl zyO2Qfx1Bxo1E(k8WO}9)%*s-@dVi>xnayG$k4`Yj4D7$9bT77eTfWxSNj$IMe3u2Ek8dqK)gW zQAt=pB#w#*_DO0<&^esQWq&tSYzd*O0&%LIAai6^H#|;~LrNeyqRZger}Iqd7?>-= zZmM09ueB#L-568B$f0zX3ZrYKq_Y7h^PK29ft!5FU|hWP61tj6MWS*+ktN?;&XG{7>wR}&rHU%ZkN^Gu8E<$KejV&DZqL6S?xpSY-`9uNztN`zpgc_V*};kZ`W>~MRV)#+^^m4C6_@1fEm@s>u|^AkCG zb4L+Va*`XD(#aJyX$NhDfH(VM^EJ__icfoMJ-0N+(RddL?bN+@Qd_kBlS638t&h?! zG1pvu38(hb;!eF1Y_{8O%DrGw3^{i#8qG}cF?iE5wKBwVqN>*nyPwved5$!7vvoa6=MrL9NSb(P-t2SWieaXb*BTLZ z4ba>(>s(t(LMl#N5J1LJ7N@cCp%L4)8@qf`$iICIf-hIdAHUFq-8gcm7yvjHDW*%- zR!F-;jUscbdLNkAfZN2u2X>{JJQI^-Bm1P4O2c+5qkjVFOi+^xx1MY{Rv`CoJ~(P_ z^hO@uYJ1-%f0(m8lg__+c`+^f;qkHn$H^z`kGJ=;neV{(&W`duX($P^V(X5oi!OPS za>*w}(<#%@ncUd{?c=Vfk_|sPv_c*xeZP`=T5Z?IsqJ_S3WS}dn5wbu z-UYy{TYrj7X7PLDMG1rV(xIKh=xAY%ZK5l}agt!@7=yx+Lu;Y=VwOoas%t)^R?-=` z7B>8KV}{MQYW&J5PJ61OMr3h1YM}J4In$agcF0REW%7%Jx3eV>CX;Qx_Y_8@yx@l7 zTpR|?wXwGeO_ z+PLAPo*^ggbyJVs3_3W#>4Y-y_B@CeqYUiv&nc)TM>=xj1CEeXFv24d}R_Gpq76)pmy*Pp=B@@`jtKqWWA3qY+xom^gDy*?Xw9H2d#qgk%pOyaVXu z>C-@HMrVjS>~dg@a1QG+ldq5UlzaE4EZG){jxomKVg(O@EBjDjE@$_CtT~3ee|K+L z9Ujwy9xeUtSJzUZ?opx6QQ>Cg4j#R^Hh)X72P^(&sxhETfNGXXN<93xWmNCyo@+H@ zWreAt`|M74)kS;d-2jEn>fU`*$HtN4i^E`kIb=9_q?qgQEY%t#R+qJr6r;K#=*t4j z-e1POC74&bFC4{5Q>son^-@V|FA`E6g$5l)Q^MUjm}a@r6~dHaZDN1Ys0GtqW`A_! z;8JQ$%-GJ_BumtOHE2y80Q0cV7`)>^quLomryLO#`zm@nWScK>qF=5GOuk?OpS%6P zN&Q+Y$EqD%FKP6Qko8vE)nT($lcuifB0El$sI)E#7^`UlJpv?X`LxY;E2Xa)rzs`d zKB31Bxks1A>15FAocJ(=|Dm;ZUVqoQMzkhUV>=`MmQ6)MU%b9}^c~|x4M+a~C*)E=>cf#_T)PCwQfR@CyARA&!#45gyR|8dQ#xiUA|4E? z(i*vz+-yAHPBM$TL45cG_UWu~g{zFKoeQ_WoT09#TS4g0F3;rDw*(R?cYo55!E;uP zqk*7pD>LHG*!r*w(ePm5SyOg{(M;;lNORgl+n+_-e+#rHAf*cQm)VkiQ$)o9#(NkAFMs z2s;h#jqZK-kN^*tZ5ztGU9qVfeF~H+no*6yplLwdRDzGbbv~_Ir+@V0=7ngIu#9S{ zrngIP1%r`op^;$_IG(X*MlOgA`saUreE+}M(05mFKTiRIWZ$F!!hfhW-co8Nf~jx_ zt@tzNsC$F|dyBdE$K-u0(tkm?`b4~h?fn4bKT~Geq)jAsX>cVE*hV*xY!-^7>=y_5ZFf)o zdm`I~_EZl!L-Gb(H6<%~w6_}zy<%Vf`+#Qbf=$u~(?tTR_dQ|{w#dO=x1!17-i#?M zPx5f6-A#1|=D#Pw$m+`II@JWPFep%C%b2~m0MI-IF+LD{&U1l#w}U@Sz|Td( zkE>g@j{es>91qgKE*i$SJuN14%zn9HG zH)asE^-z7+QGv8J>BhNnek&bdvqu%z3KYf0(TAKQn171Xd#NK~or-aOZqaz=i8jPD zM2@tJ8q$vY6lvebaT4z1m!IFi2fEzXmu@cb#bZhP!qWh?uIj zpe2v`5P!vI=AL|wlpux265Rd2jzjs^13L5G-w)7b0=`8WB5<#yXz)$R^R>psDDnLD!HaqY%}>%AUiB*2998mP?1j| zbi#g^i|xNyJf~cun%VDz2jC2`yAf^eJM;*?>1@H82g_>)i)%w}0?Ii>vul&M(#)JE zmr^%F-&CYH!m5_sh=;c8+iOK|N^ll<3z5645bGdJ(9I`q2^OJIj6?XWg)`qa9dq7LaC{bJqO8!D^$m}m!Pss zT_G3W7F2+{vu?K^JFvMTci%X~?HcHGGP%YXojNV-dv8X0WCUpT3V3nL2X5C7&41mN zGP@s|>mWYFah8wh?SGU_0cYpK;vwh3wz_7BG)rxP5E4V7RFgKS-iLx_v)IMCga)@v zaEspjxQUC}o%-iZ{oio+k2!~Y*mVhQ92n=raL7jc<#;T)L4MG|59=sxivFJNBWdOd zbS=#l7bA(MM3r*@Q@^W=fXm^H=zq5nO6ZRseBW+x#*KVAoNZGgGEO7o%op24J^-q4 zl$xM-4Z-K&;<*HD+4I62tkva5$SA^TqUV zd?fHxda$p21+Q5<)?`0();!;5d>JCr52@J&6BFxcRI?e>q%of%Sc&G{5DxD!(U zR)WoYfUXU-VdakIhZq`U;86=ANhzqs#2i#z;6}UR|H^@yN{G%(w4Pni90qF&WO}1` zW}kC7bwYBhm)T6>-agfvoqq~-+xs`i2?NK)bhd`nOmKMIi7&n%aW_PIXMmkZ0uqu)J+^M~aHrWDzG456`z?ITXu(6#Q$2(vDDCeZHj58Ryh?FQFBn=;CGJCql9 zXxMx2aDF4%Z+PNvnlzyAmC62zLYQMTL#+hzt}XGS<#n4)&AVV2r+;9(#gCK67O7~= zvFKt(gDpp>mz#hbQWX0Zgh?$;WX;1WM8p6&83zC zXy5KNVCN2zmP5ejg@4%f!Dkv$W{t(nSzn!YAG4|5895UdgrMh=^&WJ9w`bwIU>zVt z&9yiYB?v}*wHR+o#<2>voa1an(q`%7iKVw!Jzo0F8R^o}kI6mP(#KPjvsU!)3_SUS z#Tf$+B}d~?21}x3(+SR*nHx^Ik7(Q0XSi8TS=Gay{GM7UAAj#aKDS7F-Y`xe&Swk)*IpvZdj?HzF(02ICd=%{!fH&3Z(B+DyDZ~&wI0)H~ z>R6HkwR2K!hkrdEKK^3a^FDkN=SJL}*V-L(_I;exCIZ3SM-1sn4^lkgLAox~rtCnK z6O^bJP0j8kXharM%@C{170MnM;mNd*`@0V)?aW{|nd2bsV+W*}9N}FCyZg-p*6dED zyB?%C?=tbtTf^QDb_Lt0ZrlO}Af?bWHOhd!!Dua3&VQ$!-i|+f!w>V4Z3E3i-Rv+I z;gL!f-|feF!*uM&FLHy-@5hHaMlA+5J`}Nm1eM6$ccqPiGII7$B%~hTvAa8tHP_2T z=h%2_28)dD7+FUP2*-WoTqg?PTtq#eC_1}kpNP&&;$>3{t%2DiC2>)d5L-_yDcSA{ zqs;iJe1GHvlD{HY&K+~>=-%VNYw(C7tvev9;t?E5O($#9y8TMC*A5i`R}GE2>EDDU zj9jjcF7<$fSQkj}K>WNSym}^5VN(%G3dMF+cj(DWXhmbBaQ>*^bm@)YXJolu6bX5q6nvz*WLw`t#*^78dfrw)k6-dE5|zjR>xp0HwoHx9^dweN*OX%`yV2=TB#YIc4A6F z(tqKB+R5qKSFhJi;6Mq#M00Rb^+lLk@L^PxF#>bRi34tusHRh;CfuGAUXG2FD?)K{ z30lZnsMb*l$w{p)kV*bgixpleKzr(8_phvF1HN{gl*QGe=edUvhZKk)BKi%t#Z*A&ssgG`b$v5z>u6{qgbB=b1kB=*tXm z8xg&?{n&qNn-aT@e_1h$nPN(AQ!p-M509DpD+AlZZ>=5c{98Tf*J>t64+LF}QEN|a zwDhaK$K0ft?KTV3EH39)^q!O592tL&HPxO>`kC$FeT_v-l0iy&bgHXbeeMS!{p0ud z{eAoM-PQ&5@$Z{Px_|#^@A8%n9>4a50y_2PV=ZJ_c3?;1Ov)L5LgP~@u?v22AN@7Z z`BaT;-`R)z4#Asl!4ER!4$}o3pLY8T9`r7!Pwm~NE8SzCIrUV7-8arH3dDb5lm_yW zTdh$s>7ti*`?T3M&8y$))Q0=HZ@N3DH=F1F^PivpxsLPR@52B1&jPc|YAZEjK;UM_1=fSzp~WWYl(-|kRK!B+Fv7ibuC^eRh{GMeIbN&0O1Uy;z4{55KdK0 zwvG60he#1o$cT;;X&wct`=NiE_7x)3lXuK8I?}nK&`fzuz9m8B6#G%|?cD5FPx(^8 zoARb1Emg$~E?^mjOQLVcm5SPiS}rT`bVj)9_V;F3lNcOqPvlxnqBU&=7-Lmuf`2rH zIE&ENlO!($A<(kv{h%$H>L^sB+4`fV1ac&X#nwh&SEzq)Sau}cRMUTu`IR90QOq{= z9%A99^=C*%Q(iH|FOy4j}lZNhC2)A@fk7k{16j&A1sU+WR( zyYc7hoAXJ8`4C}x1j18u&iRsqlmcz!1Vn~rhJPQafU&|NOS(ohX7}3^dNzH!q?e=eW)?@Y{ z8}|Ey%pGGdedRXb%>Ld3|7P*t9=^ZskNE3tDACRe&aca_bHGi}L2m$N#5&WCGDH?B z4XP;sDxus5LT*MZX#lkO`OiPU|M|f{kzJ^qyj{HWFh_sfZZ6Z@_BYq2t)%^(n@{TR zZMojv-Pq}IIW(*7Uft{JxY_cXi%XcC9eK)yXw%+~%M*sP^2DHFposCGT-l)x!Io=+REvvd%{DaF-GM_mG}n&w2fr`f_W-*JC?|o!u?Fu)gVj>1W;9h> z&@?2|o7~~?hGT^1i2!{*&4tMz7aLN4g_Obz< z8Y6$_Rz?%e*i9j-jYiq_QiOvyhJH3E;vSMS^2Fh;yT>hrp19r66X#z5z*7mRg|m3I zZ8IvhLH4TPYY}i}%&qXV9cAdum?D=B>C~$)t#$8HBtfhsX04fBQVUTtD`m-S^9N?) zUf20~wPy39MPtkVdN|^ON&47jp_R)*d&_^qJIgY8ET&Qm8%Hvg$QgxY6L#6Q6p)0t zL~hGK;0Yjb-sGhNc>Ef`>BMsm-EwZpEw={n37z55L-s=6v_|kL=M(}Mat(3ZvO^qR5$~A{WytHI(i+g3qZgdLn<< zA~X-ncH`It4&s%DFL`tESr9%s^ZD0`2MEjCDa6=ZcGWfF%A+|t$7K9T+So(M@7rqk z-jJPu;Fl+=zls(w2eh&AE^hf<_f%h9l%XNSqWNW&cRqT z#Ewx$mW_xJ9?aBi8{7EaGbsDM$47s7u6CKl5P93<)$I}34pEPz*9`>^x%1(@G1&g` z&-CF#8b`)k!oGc(6Y<%5#ZkU&4JRN_fbL5m)&i8+8T&@#=2B{=*%~*W?<$(x_S}^7 zdiXSx_UyJL;)gfT9asI@{8DbewD*%Y`wtvEW9Bz+zsdSdDM6JoGO~l|+}?k95{F_| z925j&RsO8EZBK+;F@94^SxO6@YR6Kgx>Ad_(Wa!3kK<7CBvR>L6GbO&^z5$9_L&&ieSjCf4pA>xrY!X6|`Iid~7`H*uU}Go(DD))NTL8u+^h9!_uY z+0fV<$gLU3JqxTObug9cLJh{Pi$^iFqV*P{E5&a3IfP~*IcKWtAy$90F-W_o90&&h zKLwY)fpE=0I4dZ?ABHCdw(6(ld|ZZw)G-Dxqtco-5H(zc7aMyCXbhGy94w zAt;)_r{v63PKvGDxW`&_dCC#F9+f&a}a+s(7ac5ra<~K4$c80 zc@G&ioeJAs1Y$4dbkPTiC%nAtLr|Z(K5N2wrxvKVM4g(XWa7WLpd~?7Rc=X^Qc;(u ze&SqZN8FxbnS6Qy);NL37*7v4JXnCKag_!d$+%Nzah1oZi`gZ$Rf4n>R`|S8SNmM# z3+KOL73B0PgmZsyF=Y&~aMh%eeN{iIdDqHKvJs?%g`M?08rxxH>Za`P{&2j#_%*U^6Gs)#U4=m!Z!8td+-Cqtw(y^_% z`SkrfDWmZ+R?d)EJQ$V5K2mvbl%izy6qgQS9$Ya#{jYzYKmOi7ydS8HR#5-rMLNHq zaDZXjfaKbZ6DemVRTFO^wPJg!XA(?H{s7oNgSleNCf|%(n}my0B$n22R1#KD2(FfR zs$|zg#@zk+$u`#XOMUur2g~p<=I)sc-$HEkA@dOPDu`iWO*g%X_SbX*7pudP>nI!8 zt90ldJSKk=a)QQ3=1!>|3hd#2f#B=KZUP#5|oJ$j-$E zxfF;Vp{@vZzJBbc&<%`?>`kDdnI@59muMWRharEs%h|J~IOqPnD(oilDVITR8ZctV z90f*J&nVt)Y^i+Vxze>EH-!vNL&&-*P&Im12eJR<4!)-DmclTe;4|Jd`1m@2`#r$t z`VK!H@F^z-McYr3(UHSki`UWGBc={%@mT382<-@_TmRkpk^DEtn(ncls>jBuu>%na zBwBxcG7ZUxhW0gbClH!->FmZjBOaW3JOPXYSZU2j^c=8GX3UNT@VRKiwCN77#~hy2=Z=+dWneBIVYSNf`&_Ub0L*Jf;`wu>k(gq{rYcd5kyAAuUV}=}(RMg2DN9=y z#-_da4Ds^=@gLv5BYxiFwmipedG0rh#{Yj#$lx{y6GzY2eYZl`UR>j)*eNXNBLX@Z znRA*bRnp3RR5%}A%hC?xF^_hvZL7t1y$U=hcBN>Sz!)&p+RaMwqry-$3N#san1}J; z`9PeZ@Twz+S>GdkI@l^(7-a1t}>AI@3av zx`C2fGSL=lH%-9Q%(hhVWCoIx{Cm@xY>$J=0>ZM3uzY`nCyw^6(JcNFBS2D0IU92t zxvDwUIKPL^oLkWO4U@GgB!55F2y4%k9=Sei60J?{8*Noni&~@9`Uq1c)oSWC6LDS4 zd0L$MiLm}1aeIno#?uQRYZf4$c#C+r0J8F2DVae_MN;a`wifheN@b85Qt6>&J&Y=O zv<|ZFXk*p6+L`&EUj+}RS3%Fc#niGAHXKKAnnVMX>S(a^WOj)2OMmrGo<(Cj*iH7j z_K*GH;`ZWK0N|i(Nz69JO8oUR0GFt@Ia}mTa`UZM6kcLQ8?P7dsMHbF=!!}Vw14+oUL-8XI zrzMsc8OZmL!x!h@ToG>5D6{BBiF|RU4MFv6`cNvIdJY75B=o z1X9#xED&395`PoG{*JnjPrOtT3~aW`Qp?jL+SF%RtfU^{_S zv(nUegdRzA#ohtBYm&@%!`aixSxC;kLOjIkTW5rQDSyC|&pzhHQ82Z})z~;;$fE=E z2*$~Wp10$0@px!<@9=|XD7AU!MJW@-(gZoFjzU9ul&vlf8_g$B+-B>|`kCFXpV@5_1D}K|-c5VI z*vck!&wu_t7FW6pd)}|TGC<``R>F)5(1Gem+!`zhOlwLmn|UI`cM>Y$iiT%yRg%ai z#(0;*tc)mlI>=9sHlM~pWE@1MZm5^pcc|*TLmy(!OXmTnJ@T-)ptBzNmkshHU55=~ zc5U+<%QzKKQzAnH!>Zw80ew8-Du$J@_$R7c4Sy2aci6kNCnk?vpEa3MlLTnaaV;%^ z@gxT+2ElRe2Cb##lefjGFA0Y+_2uNnL*h8G0Bh>3oy!N>Ux39rYX>JLxnwt5=2jYs zlmsq@=0Y{u))ewlkHJTas+F?k8RoxY6;9_zBPHsrVmIjqy1oX zM}N&wo>j1a0jqsR@K>fmO||1lPBKNH$5KocSJNv~Fp~unQ!8sSapIc;Cb@j)fkpha z&41ZFF*&kSw?#H^wg~#+y_GJ3ZGI2B*&z?^?S*xhP)hW*$?yYI<5p(JvDtH|NX4Jb zGx^)n{9caB<2gK)>PGM_HZfRyH*zZ~(SIicte9nYSl{JDnC8{uHW4+H7;G2$EGeZB ziWif3p-1E6jlaxQd1b&&qf)%|$dR#k6Lno((~z9=+G~aQOvi860p!HOz*$_1nnvG2 z@uMwzpiq;BF7h~MdP+6Bq$N5;*O+YzVs;!ij}?>V*{V2C^j5+OhkwsY zgL^`5&P?1Kv(KgqG?RFcP+b+lkUGBy*g3{(wtsFm_U%Q{(_$ZjSLLqE1!L#za*tZoGqco&CFDLj zf$)+m?qWP?&*83&Oi`dn8ZCCTd6y)n+Ea0D^tPJcNUzFW8L9_kKm{@cDJZ@{)M9on zwcK-DEL`%++?AzZ;n1GcUaPy(o7O}$>IRj_!GqX#BC*en{isjz!(Azbg0iXGK|n`4BIm0!y}P^7wXuF1 zcjcn3`hxtGntTnW9$_|>pu*r;rg_Ifi49*(&X@oPY4sBfT#V$;osiYOeUuxRemgq-3bV9h;Czyd!Vi$@z!0 zEw(l1%sIHX*30_UARPs{)G2bQ@&#|7VdnbRu}zBCj%Lu35H!KtZaTJvqK)-dwyi6%AQ;wC4XNjWmc;8W7kZ) z0UD)cc)nooONDMK-c)bzidnS`G@7Gp(6ULd>@{%u+R@&Z0NjLZb_n%GC>l}=QcY*d zHAGV*leDAKLEj+=`NiNkp&}QTS{{{59R#C1)0hIOQ1D#(g-3fo3(!*`EzZb{&_{=@ zqprjlc*?UIX!rZ*pq@XB7Z?b`(0jj&0He~qOo`E(rYqRpd`}P)6#+5 zYEiXPwmif9SFFN`L#(k1XAiNaW=bBk6o(-PFv4>i=TsmU(=$yie}5`ks~~!I!TyYA zR}-1OZN^CQ6-@hX6tHN}z-H&>$`aQcpM*CDOmg|o1B>`;+ZXa=wD${&sjS|VC1#8* zI_bH!D2@DRfJQB8!!L{WelaeOr@JdB#cF^+Xey$v4Kq$+ZKG~Jlvvy|276yBY*Xh-{=I`OI{C?5iN)?4u^na~H;%0oj1m6<|PDx75 zSK_XGO0+jY)Rs-2AxK5Q7BY+~=XGPI92H-F1zxwsXzxHBgXza!VBjO6W6g;Ws&6j4 zy!zxE#poOw&k_@V$!CMF9N4>aZBKF0>-X|HnjUq5wLyOw z3;X-0cOU;~zrXwQVPoCsjY-qZt(~i*n-wH(3@vlX!Ni|xCm*6Q_pW)V-`8^6*lWda zs##2n5|f@a8-Fo(JD~d87;V!Ucs}giKRTLu&C*UyG?RgX1YHV_e6SddA|pmhWE42l zLRRjTk)byoXQW*ffK!m{gKe78lYu}Y$fzHWoKi;LF)s8&lY7~g?iwg;KFu}e*82tu zyRz{f&9c=`cN-{dKE2t0;LSs;$=%<){rU?xC5q^P8h@8moww~28YBr=IrtHI@yO<} z*NNR!3TK2IBY_(KM$;}GNCAgApsAu~qvXSiE|Hgw-84>|DoRhJ#+fQ$)KEh6C{nca zqr|3lp5?1UZt5{|z!V}t)~40;aN}rNOgAU;W!As@^vW7v32?UuxO*1Brw%&Uc53V+ zgrLT(TYoj2loV0j(pk!rN+s|2H*;%7a^D#1ht9}T=#8^!j@|_$G@+<5m_FW+xDe~9 zJ+#KrgU1vn`ruAvxDP77npmQvn2@ z3zh?bzr4@yFzCSeHB{}Xr^HTsNM@U4C6|ls8=6jbQIsfCxQ@aiU@hL1?iTkuHqO)zES7Nc1Z4np%)hjTuSkY)pIv#*f?q6{EM% z7Jo{8-?o{aWiPbLUT&+ETr#qzOg3iH%s$8LTCb3ZZEGdd!JSdu`RYQnhJSC0WE{5N zo<*2<5$5lY@I{$y2$=v2Y;97WS?_322>n%G0UX6 z7}9|1(Y1x>#MDp7*d3M`PA>qjS%5PwZ1)#{*EWyM(fNR`q1wia%20;QYuB2Gyxb1; z3+k(#Qb(R){wr4DR105R(ZY8s2oZCF+OrubLuU#ljSAK-)<$jNJp6eywu9aDe1DyL zSAoB>bMI8mnr+c|Qt<@~QOYTz(;}^a%jniLkA*h}Omg|o1B>`;aL&2ru`|Zz=F|7{ zq!>t2xI{Ev$$27i5J%NG<56TLFdS7nnX?h^y)tyFg3b4GZ6$+<8UC#YrOriNS#-Z$ zNO_X=;2t)Pz6W=zQcI1cBSS8^6(I#E&RCRj?bPJ8l@&UIZDQ~lMrHUCDu0G1zN^+i z)din>cm79Jp^@J_YINX8|L(@C5n+_7;!*T0rd<6I$G+5JH_wu&Q+x|(7H;lyX|4tG#>AyK4nNX#Mq$A$BX3~amkF9QZ_A_66LLsq=YRf4)A@6%J}G5S zqxq-yl1d7uQ)&Wc?maCyabH!M4lv55b{B_?!89c{N=wm~UPW}FHq~oO)2Y2H7Vg^7 zgq&@rs*L~)H@NXg#{pS`zlI)}Fl|ePvlV*7Kp=msr!~k*>cpy=(4=mGm#T*3Gjx zD+71qLkZC5SYyl`Vr29|y;*e9^hZ^pwrOiw0aD3E*VdqraV0Rz#T3dc^VRe(&|UeI zszM^f0MX^7!GCO%$}Eu*cIKQ%)!5hPu3W4t#NI5ElB@k+wpVGYDN-E=;jT6bCwj=f z4tFI?A*hM6B&GCRm}+hu%v4dcR3wCj;L}&Le z&rV*cyHawDfG(rQjA-KH*inn{wN7;uA;yY{21 z(5*tib$|3DF5I(Is$Mie%iRyJZb|8p5xRacVEE;Rajz@3GZ}&9V(K|zD%qvnBACe% zgTv~x*Q1t%PYw3IL@1}|#0|%#>)Od-7)}&KS88;ly659I6Kysv&2H#}dutu7F9p=e z_d#(c*J{)e91lVnGL?+MkNyMC9rJy0SWZbD0e@0Vom&Wk;E8kQ&Wb6g)V?U-``vL5h!39Q_BtL1WdC&%iXdRjt;#1yaro-S=dfdM5SOC;ffMGjV`jz zms-hel@+~YSJh0gSD-_zW&z$Unc(;U;D7IvvM@E%0ZeyPXGFJQN1a`10Szwl(Z<6W z+2^Ae)MH;C9opi%MI_}eNm%xs2C}`l#%U1tZP91+*o2wW0Cytl8?iPeGj0XO$!<4t zYn>vyQGf~SiRKJ6=On#8;3kS_z*M6$&ZD#$qpR#=FAiJ5g^KZyIC$J7fj$Y>csuRg zqo99>JoflVTvwmU?5Y5gj1hpUvu)IxH*?NoYnTCpNx35Dk5Ocmho82-`UjBX0?2U} z&@mvA26^&5kJh?uJjhp< zz}QgDA&1rkI>S=bw>wcMWK$Plg(KCSD42gSNNE2UMb;jpJaT>39CJ-lYUw%Q2=!to z)DmJbPE_1TaN?yS%jK!diK)vn%Qzs86AQ4$lYQWHZ)k3qHC~)umiUok~o# zW;UztB}9F{7$7Hv9(ti1B}F!QH+Z>&m_zYB=J-fwVv}tIkNxs1I{B z$gmSg7(G+Jg17P_qrRmi;BLkWaWd0)9Dr9DITtOf;9<1D_j6Z%zo_p#8h#SSfK8oL zvDXWoO!@XuM(PP zM5!8QM}Syc_2F!@;#UElDGRaI7M%bZ122H4N99s@>@hKk_}CW3uLHHzM}LX*7`h-} zbwDAJu*)^Z?qet``tV*>cik^p)~TDR=SS_Y0<4Bk@)1jNg`y_RZn3@Gy)aLoUT9~} z=Ulu=Lgh`LqEJG@UTaCQCiStCW+!Ju=$Cp&UK@N9#a^WoH0h&KLrjF78-#8*AclN4 z*WgO}%AV`*981?xO->VN>uFN6q#pAKe-0fperdwNwV^kSRu@3gjl$`L8aLZUJc>35 zCI+7E7y8P&@}`2lkw#2VeF>gIs5MiFE`%WZ6%e|xuDqiYxc99p;yB|RVTK$XW~#1b z$b15!HH8wcpewHn>RJ&qfRibc%R?jqACvGyAb(6#YQ)$^m7Qc;D~Po2ObtJ*B6G>T zW52vBFZLV~W6I(sJBp(pX7ss-s`l?6U3n*zTq$5SrX(5|)OdFQqdD$1E>`-OgXCql zjD0e~leiFj5*QhnqvyP---SA*7DlD{{3XTZudFL??mS{qLU)m>AIAsXlqM0#k$Ub6 z^?$5hTUTD77RE_bR$^|*K}QE{0i(T|IxklJTAcb7cjcAdT>wc=d}-3#pukpgrzj$< zi}k-=XII`_LKqGbV^I)$Lxfn3Lj`7M_RCTt)NAU>+mwnk_U2tFB4*nb9?B$8WUSSN zA6p+Tr$Hh*nTpVa(}Tw7?fRi%(reL`wdSdCN@mW>~EN~q+CNO zkthI;(4KZwb6`ar>@~tRnO?1wMUCj3iMkSM@v2WWze6a*1UG!l;Ec{+Bz^30c3K~mDF96#g>Mzr`Ejj zY~NBCr5QSrJvKm!Ie{i+93=>T)S5RvGJ%L^PLOLSpq6t7BRt7wwB*p1GJkxYJKp^w zYRz*i$?2$0D4JEFb7ywZK6w~U-ygN+_rkt<=w|!&(GinvleOw3R&tfd{r~NK+m0hi zj^(?5#r(hkM$(K%0y7VZ!X}VFWA`my7K?^mcN$aEy;D=YJ+oiGG$}6blDp)Qp~#F& zqkycCOLDm%H=`ZW$ivv`hJS_nOj`5W5g-i75ALHym=bDD$rq_c2WtJ1tuarX*3B-A zKRHq$j)E__YHDbF3G8p*F^UFID3bRDGjFIt{nj(5rxBv_RYxoBq@&wmq-@R%jbbx2 zhV_Er=0}5Z0uR~75qp%xt@NZu%e^7hvU7Im<{{4ahT!CCEz&`>D}Qz4osmXvc!&^; zE-2)m5#oGPAWqPvG;zV_Oi+z?W^xdF?p$iD^XBMIw)kgu-bt|k6odL60|Zw& zc9gy;di6m?Q!YV0<>1iVmm*%f8_kc=*I-0lGI5f)+6?lO38#3CDfKQb1Tx|TY`mb< z-pQCJ(W+qhClgL-Fn_f84Vge-|7I-4$g8Jpz_nQaE}Zh@wXo7qm~%B}K@XT*cNt+Q z&-WIF?A50iPRVh!Go)I@xk5fvFaiKA7Osl29#{En!YQMFQ7RHRxMIFsEM~?XfD!ND zTg@Axf;Cj$rl!X&gi~rWpQQSfLKURS$(TS!;*eb`E^LOLK7WsJN^n7mFm|mCa&{CQ zj97ug(1JN7e-};}Axvq$XrbP1&|qvasnH{|7)F4F&Lg;Pcg$l7JJ%N*VtskCU z+$<)BcAC?e*zp}3T<|kAKsb1>#xg@>$GKC`(SsG3Bm?;kk(t94pZcbAtl-;+Lw3p> zfC8luF{8OCt~9DKM)ousipXkg_x{oc`EcJp4}uf-(0|eR6We%lu}5;<(4*#uGJS+} z4J_esFHN<$m*O4PSHGa0TDl;TgVqhOeBBlbbxa zsU-jo9e;xPEkmuLFjN6hEI6d;_~ORO;TerlMc+O!mQzV_NE1~L4qON@I-prAb)W5M$5z4x@Pn8O0Oj*vL!DM z0rnVj?^~TA_o!MN5IL8&SQyg1`U&5II~Wl;V6i9 zwFo(8^^Q^;yHQxO>MKJ8&sDv+Kj$SvePh_C%2BnOcao@ch#`*MOY>mRpz@(?O( zsei9p9Gex&jz%Xa?965z1ltVQtkCI|LRb(Nz14+9S=TFcH>x+eJI%s%hQG9 z!RHon&T9~Vy-?TFq+k?7h;eApmYyk~7*ak~J zN(M30wVpJ0KWbN}56!0!y;u|A#&R&LL3F-}dGTp?7Ayz1i~ADcBA65^{lJ{+;*@g_PT>C%kQtr>c+xRpK%l zLZR!#;9{r-8=}Zo6V1Z}*aX6EW>0waip0Y*J(>2!_MiQH!k*2Q9BQeq)FhrerGIKm z?nqi`(n?p}Qfzp6a_p7Kap3{{GU30QNbP=Wb7l9+bwh!L zEBC+SDa6Z9;p#5KltPT@&~y|9U2eIPhpah4EFL!+u-s^!{|-}oL+~%`FXC)}amw6X zMQz~QpaHJf@ai_QdTdRor5~+saewcg9{;lMgjGlN{v(f$DlOz;ZWG zPDAs{H{aCO(M=TlSvA+9>O`4ytHG8&Z$7XQgX${D*7nnSpnY#7|Gh#!Aud3~m^BWC zFix#=BG*wngIAQ3nA3{({HFkKDx(y!M9C3TO3({+1Z3@n?Qq{LlP*meestgcd;SW5VIB<5ns+RuOt_&sDAS`)$fC%6<^V+!sS7>PQR}f1Hbb6phg+$sd}TR6UsGIum@_v5)Z)(VH?DLlATB%r!=- z*%g$=E(VSwHEc=Hy;zX`br6RI;#->i&qI7_jS^@bUE6D}k(wJ3O^sv6yy_{9x(!4( zRjGd+tnm@+iG8kz%t9&Njhg$RqB1)8kc&maR@vB(*X+NkHvKbTf1MaZGEarYhKy5= zxuuL6Bt|mG(yA!f8{WFx#N}3!{i7!-X7P=Di8b32S5g%Sz&PY)Ry@6h>@;u6PUGg= zGm&mwer1=iH|~mQ-Bz-nP?E|Jnq$_4HkP!ABEgV?tY>mO&x*o-2s|gq(p_tzN^6jv z`h+!vWTYU(*y1Tdf47o7e@}Q#DYz=OnDuO{Th1UldeLYy;G)gD^;(vnCE5Qoke#{# zRPFkm7j&Uh$*E=FJ`#GMm#wXq6-eHup8SguHcO<~)SDNLDfJP>B%_j0T7jXVwpr=( zc_jNuTr1pcN%NfveBqLsaf0Z3YN2gO6usF!wbzmCCmSuH7&1F#?112yler;ACyiA0 z4HdpmD%s!C=#yMeBY!BcgEGp;Hbv(?k7Pf`)Jo~j7p1NwL)y^?N072=s(UKNURARH z(XZclmIVa|JU3 zaypnl2^n za~aL6ac+B?{C`JF_Wv|wCrL$m#^Kb(k!9#Kla$;!^_um=NcO(~;K{jIU8Gv7kFmAN zg)w~)@Augx`;#BYXw9VApsBt$Q8i*v?HJ?@rGKI|RNkhV{4FH=v-!OmT!2>6 zFhnBkuvMzvgEaZOWdAf$DLi{cZ_ApHam${PVo{^xYRlZ;CHn`D#5g)W1hd^=#6U9)>7bf$G zZO*zL(|^{;`b?7j5r=3@2+(n4oj3!9%$cbge5L~NBTDwaG*ZAE2uE)}Dxvped|Xju z5VLK$SKjQxhBuX={yA~V?@FDXBCZT5; za+rk_$Yx_{HnKP=*f{gw*^BhU;WoM8y_dj{B!2~Si5b#G+~MW}(rezyb^z@h8#-r|@yM|Uc9Y(4dwz|e6yH)VF+*Ir!9999EPFO=(l zA92eSx&AP!SiN+h4B}f#nN!43xKaYgw7J&(Xu1BM7rtzeFrsE>ldF$CU@m>Arcuf0 zY=6c3AaeaL316a$dB8(eRdQsi9HNU(jRG*GP(Gnt|7Q5IMYGq@`Oy{1*>Eb!Cu(M~ z9I|>kh3eDE_2cBQG|3E}Bj?cx*+A-m4Wt_#Z|hlwpG~gcR{ltuYRmpuJ6?Rw%0sF* ziJ7Ut%k}>@HL9hR=(RKVhU%4V1q|F=aep!SzsvPcMu&Rz*&LIqx%rx#t@?o^yXwsE z-RyYyx#aqrQfOUl*>C2|`jmQMZiy?{k_Yho@Z|@V>t`qx11Yf^g%@#j_LZnS+CQOg z>^*&2x&GoE2XkwD4>O+h(guTAAj+&x@xOx%_xaem^D~xs*o=jfDw1+kMxU4CtPiHUc{=e0-N7+|{pC;C)y~g5{J0iM zHNsTX=a36ywAaL`HCs0>7t=o~vVWeIpU;2r!h3FQ`H_8&p*-gG8aLS3qn~fl+q9j3 z1NLg=PDUS-c5+4lVkZQ1CmX^L{phX5xKAJ4ZN!L=vZkwwET?Zh32ofJb0&xL64ZBX zDbt;vV)#@UCL8|g3TwxIb{o~jFaWE{)xPSZo!3%J% zN|v0ybqeREc*!e0qN!CQ;sJAQsdBH7)J$&fDYnrelH#V%OItyi4+h>um`PX~L_~Id z^bHa7<)YJ)j6$6vv_3B9#CD$O0LN1CcMa>*Ms)!jE~Nt3#G*9<1+KNGq5OQ^;oVs( z4vSK8*eDf;d8s(S8v%II9Df2BKQcyHu@prQ-FvjLM7@WzJi=8*f4t&9)rT`by|wB> zy)RfNGA@+OJqb_>cg_y6caANA5dlq`4hoz&L<@3%nWw;2o^qNk0-M<)&wMzz^Wn^+ z$dd@7Pm~2m^CI8KDOUrlfuO5lqk!%z4DKonb8%8v4^WzZ6vewpE&3`-sglnP`gf#%eG1%c__Sy?T}VQzP>r%j8p$f0GD6vsP#dKz zyJB7=_TEw9N-RX&tfuHkJ9K_<7o`58iP>NW+)Z$&ZpPK zXsK=X7F(D7VJcdTVY(2>oa3N@q>rx1-k5?`JXO71Ahf3-3SR+&AKRL2LYq}8vDB#b z&>$*wW#9csvl@+RzIX3Z;j*E?=O0Sc z4s#j8CGJ$U%UcpV>KFRjVR=bk?H^~nH@qPP>yl-bVG4Z8WnQ6Qdr zH4ea>{iu+3DyqJ5!J4nDU7V)D?naU@5NG7Cc{%as2%E=`r38m*tuED39Q(^2lU< z3DoFw?SQ$N?al%%8+s{p1Fx@9rlS~~Jj`VIvOaEQX(Z0_agS#>ytQFxWoc*S>sDS9 z&VMt%4jEHq#B`Z4g?c==wAEYZn@i2AE%~97U~NvAy~Y%Y9T-wQ#`SRAy>)v8;`kzd zIsXhleP;2cQ^R@e^tJrbQ)K)>;Bubeb$m|x0H1C=CtW@#J$p|2_}1!kntC;!Ev0o^ z)~+nDMo`D%p$o~FSr`@MY#EI%i#u_v#bdji6uanMQ;r=An(;ZyP z9R7fiO~Ad4l!4I`q`FX%eV|Yavt(asThn| z;sLY~51@HGU|86n4fBMlMasa&vngaA;#L$=Waq&5x|K$7vY}kgo&lUcmFvsV+s1t| zzl71Lk;+cVcz4Kdq!nO{M7{N`A_Kahkuto)?3U2D9yuw49Y5_10 zq?a7KCbc=1n5xp~U4PVgQ%C*EZ6B=O#oNZsH1|2#p$lp5_8@3~CJbH8grU<+7@B3m zOg6(P0yt=3=7>QIs8(t#Ave^mqNn|AZJ)R>-}ruaJb?>3DdP#u^i$EyPqM`-vNxZs zLG(4K`3^a9={{}BsqZGVdvG}p8M`j~V{tly93YKb2D}MOn%QK$LYi})r9()pD;tj`#myQoV zIX)8?n@`w%=ph!)PD?Aj7V+YcJHo|Uf{%>MdFXBOAxY8V30Y$mh`st^mRuTjDmLLR zV)ca1$43es34bN$Mn;p5J$f+jzhs4I3@S<3Q_7=@f*t*K;hi~V2let%%Co%%OAq0~ zL5>!{9Cuz1e~dQatJ~p+z3}@pJRZa2xt_5dKBZV2I1Lu7BK%O+8|Qcjg|QkyaV7CP2wwoRA&0gBO<}Ll@xAC|CI{WAf{g%6#hqm^% z|MK`WWjT=L@NfM3^nt}?`MdZyC8nMem>I9$7-ZD~X%x;8aC4|GwUZWxkJe|6(%-E$ z531?+^nXXYoSCAR4WNU=@O6mPG)OK+X_zDS93W??oY=@N7TQ-z^oMrEk-3ZietKbd ze0Qw6w#mNojoaLw*y32#Ima0gG{g=@JtU-3hheMx5}r157T)fSdp~OFJJzHSGSVWXPMle881ir+)gc9b z8A2G<9(c$`UI`)WIPt~!z!Xpu2k$D|?0?JB6GkJKjT>-~e!8xo5U(dp4s==Zr*t-*#tHX6x8NYoxuqJPwu5VF$ z2xUlu2M1=Hj4_x;=efJtrtX>NG4fd-V*s!u`3C^LEe|}oANJy!|1m&>OCE@QV1MR< z%_8Iiwz%c!3Gv}2(CsnKcUa7P@as>xb(|l;Mc_`=|6}^?xAb2r|F!p_3j<@RNWZo}|L@=b<>}x-gymsL+xn4jdoF5`{WRI8wZm^WNj7K<*htAAb}x^KgwyGBq4AwpzQ0&9u@%C7^)^>zsSA9`3>aTl*!t z@Sa^``_JFopa0_!bNO%o{@3*D_n+zEQs$E9vv$qfU%gxF2)%t3cG3w#uEjTxjT{sx z=BbUAG9IK-^{#Jl$Ah}XLXtgvJNxN_ZsM`~%b>J>IJu_dJM%c*W2cyhGi@m^8iN1! zr~e$E`JeyvkN;~V@PFxjtC?Bb>o`JGn`eM8^HDoI+Q&ge^D#O3#DG=I6LIF*rco>4 zI}%ih#0}25<8_3_PW-HGjxM`Nt-*J^xgiJo_4QyxSb=dIybR-{KAQVFw7skI&PkI3 z60^ff#3i^>g#P;+hcAbVUNjE+i3qqg1l%nK(iC;n;&$)tEN9dd#rfi0s3la&MEM!x z=$GyH#zedH_S3Mt>wg>gAMW;U4e}p8(593ThpL%TAQzl70~9mmE*Utaw8F5TW9$y{ zuh&f|_;0iE>F@OGV%jd?-~}I>S@NVtjGAcf^jwqiVIP0DfBlEYOL`2v{KudE-!TAl zZ*bQ(-3R?%yZ37-|KJC~kMmBVZ|3Z4>miHOAR0n>rH^7910#hP8cFx|KlA;u zxni~)HW7dN4wvbDA|za@c_!xTXQxp;Xp0Su1f<}FHJl-IEBExfd-{^0JQa^9 zIeXtrs-WhOBtfjvIfES$pP?%_M1bX%-&2HYUgJ z)HPcQ=bE;w8}(!6EY{@_CAxY6;kq%m&&;?$xLbdu+;4#dC1yFOD2m1!xCk}Zqi282 zRem-}I=1z>3e^^Cd7}}kiEDDLt5b8=Lh58ZiK_h*(VUe4=dQ^s4wvgT^tFb|CFrIh zyPRXM6m8KjD9v~PW*1|QapVTR)=+wXFiwrt{8?M#G!zQPCdcMc^I!;uR`9gQ^jz=b zUR{%oV;z5oVTprzF)4`V=VOr;bN>T26v-~~;7}D8%2%kfQBE@<21r;jVo027iDD~Nv@z6u@q&M{n#v~^@ich45%;}o86 zm#<8ArmDz21n~I(hx8~}&p4Bngfp4(ywg0s#~;|2#+Nm>K!wZ&^M%_;!L|t)Aaac< zTup!D(_P6w?-|aCn6p$HN7xWrNxgE14vbPmcI})O?nLO(QhW$3r%cWa^4RP!mg7B_ zB#Je)(G)MWmFVJw`F#;I?+C=H)D|*Ifa+XRL{P{TMuvz>u4=kykL25@0BnK~6FUQ^ z+Pc+nv^1rtViw5_jjgL7UA)G3zoy+IIn{q0FtahEjv8{tT6`EOeFr&P=gtF+GaB&i zGe9;vx}X`P(W-<&LF}=cs}IyALg^z(n(`Ut{-qx> zDDIQ7{`R-u|MuugZ>99e%GT&^@UDO1_4-^gme>hGDAId@=mK`%T*-zTw*r21uDx)Q zzn{Tm&aKTS<3rBucdxmFO*BZV>as8BHxnP9V?5upDY}~!xo1yJs^p>ZS5kJP-D`K5 zyZN>|5W2c1y>EnqR9_{=YNQBBnz^>Ilx#+v%}2rQX?AUWf7h^_@Xd)bdIf*28mgxp zHR(w2t2sMrsmZzjKVxbi2ZpP(d#bfSGfS<2v2q=o)=4}&Um@l|n@L!wjPgUHHifMA zpRaNYS$*wg33# zDaU(An4RyO-Qj^zx1Hr3qTY1~RJCMkFbjiK2$=Q}pJz>8Uj9+HXDO>$sz+$a5~peVw3;N>m_U zMmBgHij_<@icy$sIoVP_hf$^U8rO5wG)QP`S@N9CL92Fkr3K&2M*Dxf+(TPG&8$5v zJ(NDo66o#94w=lOFzVUYS5pOXvC`0q6Q|LrY%#tcG<#!g{#s9+fzXe?>Jr&}UbCg5 z(p;(|d5udRjT4x`o%Vr0J3BAu2(OHLKAj_cKSy5iwsOjpgBtnqO}lqCcZ?}=#@@T# z=xK0hb^|Lv^+xZpR`!1lnpuYK0w|hSj=`JT&~vPj;{_R_#mzj}L;kjT{0HAzZ_cHV zMPtrG)s!3NN_K0upemKs{(_fxpPyu@o-TUv?v1Y895jzUaWId+$B|Ci{)vb1g%(%qTpk(#_F1v|%pV0JCE$?t0jKW(?zo`YUd+ z!#4_w2J?xdGMW*MOg0jDDBmTodGPqtb~sOWvCi2)AVT24=jv*RMhnT{%7sxv1_`A> zEV~vP`LgCZ$CH2K?+TYvU2}Q#z4g%#ZJRm@1AQn%F4(NfE?nZ5dCu302L+QHEN~y`XMa(Zm*+8f+lB+%av)tUPPrKK^!i`0a4` zZBNvkF)`PNKVxLYlOM7;z+Ms6Z3vjqLVe>VSHguG4CczCJ&(Ctxk)cQm4x<$PP=5T zPsFgK8HazVe>W=-->mzd3)Vm99{AxN_;3#dTrpKDy-Qq>+7Pajr=m zEy+AZBR>jPp6cwjJ`5rnqX#_buREsh9mEmgHdlX6mEu)y{E`*rysvs+M@PlDLgj5f8Jkg7*2jauvtO6u&K2V0}RgB7lGocD&z$yjnu zjV58}l6qHjz#^v{D5(ZR${5RQhp>LExtSTsVQxe_8yTp17FU=uEnk3}$>X^Bpjy7OTfZ8vwq%3NmTaer((50a(ij#a6T(O54KH*q z$>@Eo=9y>7w`qMs7h7JeJXyN)rwhr8#pu6mb~~8;)NYx2A7Ue~rH1YTjsOQHGtnpo zLuhFqa4+a`@#Z0&oIq;Qnloc#&O5YZYkz+WwV_0jpjQ|WjWFLQ!)<~BAZ&)q%ySRL z4?TZ%Mv@9Chf~(LBv+A)A26aTl#+5UF0l~=yz2Msw~r0oa~yHUV>x*c@R`rUsy3`?rL@|C;OCY$cwn|srkPPL4LTTYH#9r^99 z*Ff1fbR1H_(=?%n({5bMvN`y}&)xR{U)yYZM^I1F35^USG}oop-aJzrvj07}TtK$e zBIw|%eFosB)Tjm3UZbXnKDSI1usP9O%t1b#c#l7U+YP;CQ7C=QoyDu}ES`UKR6n$M z{jrZ~>a653ingk)=N7B2dNGt3ZFDJZ!1SuV{I{hQ*?t(f|6yEhK0Zv+@?qf9!Hh2mk;800030?7dr$97(Pw`0l@=-{xrn8jUm>fpZ2c6h?r6 zLeD%b@@26Q?7By2RjIb5uG4dV{n8@x5*POfPi0EVh*Wh$Qn*L>yqy1jre}DS@)c&#uzrU8Dx#D|!SARbI$vgX&4cmwR_xDy)`RAX1 zw%@R~d-D)$3_}iDEIDF{p;X^z zq+#Ky(x3nFDgA5rxzfKT&FET;o)AjI*nKIfxJF=??ykU@%g3sXGcHoFJxH znm{heXMcsoQA}Tcv%wmF?p*%O;@N|Dn^cP{;utVAVn!bmSFF)tPe3W&-M9QlEB|=E zy-0oE|7`8OJ;X1+{5^g6eD@mnhu?qr{eBo>+<&Wf?!We-eXKX`UReCQzu!w9+{nGG z-{=rSefZv+g)_Tiq+T8ClhbY_N$B z4*9fd`Re-)oZnrBTux9Cn`bS#S zV6p^Nn;N<8qz2$uz;p_mON4W3+-pzOIA8`_xO3{hmtb5F)dj9=F*>DY<`KFSB&QUs z##-6gBohUr%_$W#4u)|8t?4<09;dnAT^^(pgQ=cOMmnqOzJ`XOc=22Vt1$prC4WQP zmG10vd$}v!6jKdqHY`IhdoMLm$y zy-NzI2j7aC{;vB7?aR&U!)uZnii;c~5$32SOkjqpQe$a3xxNqA9A|$}baAU4KYp-t zHdoWf;oSMlz7v04qX=Fm=#%!;Gk>e|R9(%TbBTyKP$>`;dptzww8i)C`Y@b=&9UO4 z*g^)uC}bJtd*>p?zr9G__eQ;Vv;7+k#w4L>WXL}Eo=iPyFbfVFW;+~f_m7!on*P@> zpMLKjKbWR+?#AtS3hjyQ)aM($aq#w{q-dg4s;|Z6;_RN{wa3;18jnn7pMPk5-f4EB z7*2sHc@m$a3(bTo6q{nkxJiSFR_ot!s=1A)*7>=~c6e^xbbFpbnQG4zgL-6w-lTUF zvLSHAxRcpzb1v9>?|Zc&HGuv~Z#Lp(kCFbbKmXZwpYi_8Wr)n;w3{FTRS4jfr1_+T zX&~gJCNZ<5EclXdcys4@v43$ly#E+CeE*|ktKgF0p18S|5kqy@dk>sSDVi!ZuZ+O% z5mxTifN~&%lZwr|Xnea8FdFx+&a60eNaTC$XYJfah}mTWH#t+>5S$rquA@`#7^Js| z#uI|?`WQlRt+R3}5`2;>6-$oY)f7yLOCwgUA;I}A4tItITn}=S>3{BM|C#KVI!|hg z-tY=U>5-zDa&f`zb-2P`;&1^Rd)SLYeZrVsMq}dWB|0|Mjg+8=vFDV1r*A}`zV<4+ zm-$}kP2#0jQ81NMlX{^L7!zWvX7+ONvpaBa{`g}fzK8n`TUp*bSG+s-`G5bGKYhGC zdgyU}KdvM<@dxbGIe)iiF1R#l7q%s>aWOc$Q_6rPCF0nPkBiI@r_C_fZ#OvEr;mo! zz7Dt&3^)2@Laf=Q6&O{D!#j|g;pJH*Aw)e~-41lf=6y|P#CNX&KAUe1q&sOYw`5d6 zjX#wbBuQ6P3Tv3aRU(Q!a53l9 zTkysub0!R(QY*exWjPadw7LG-$fH%SzJujv&btr74A!$#H2EdT!3l zmDGzF!OoeThkp=OsdIN?sCJhSUOQ{~#P#0J#}^$1)Z9PZ+X-@uWN&7~P?EZwTr06h zsLA9+tAE@adh|fu%Qinq!-D#}ef>EddU)zVk=~wpyK)p(1bl6NIt61xUWKc$@t^29 zQW7BhlV|`rOBdh%&yB$oZ}i0D$UNN$$53r97M3FvzJCW`4%Q+@3^s>)BWgh4jc04d z6c}=s-gGWtc<4Y=iEsXu7 zlX>7U`+q94UXis>yM3tL9n|hyLp|9vORn2|!y0XtQK23Jc8`^8-j%*;k(Vd9JHk8{ zeBlx}nT^&7M+7|t3bpqjCUP9i`cN~2S9x-;8qLWoSGM^#TqP0_Vr>viRW%mJTIC6o z@Ya4ioQb;+_*nbxTY-LJW>3C*??a|88CuNbBY(Tds+5fol>EpDiXUPm+{m-|JeLrh zidnW)OH$4m%nFgPF?vI2q4!+#o!z#L3%C#EGRi-stJQYn_jafa|8j%g{;}gMEyH`d zIr!kVp`#zs+>dDYN4xvobQFv=zQ1f@?_T@{!`=0dH@xiR;$@}`)hnqhoLw9qT;u8N z%6~|#$Yq36%#h4-v$>m?RsOkbKHfTU4sXn6mTx`mC*v^ujlO-eKcA1W;4yo*7yGS^ zMfC>vezejlyO2Qf_Z=DfiPIBsGM*^~v$7Pf9x7&LvslQZQ*Rc{tkE)5UD)FEJLy>Jcqb&Fx#(MR)I=8SLtZa6mJ4j{M7=2p4vx+FJ;{N_(nX?!~>2G8c> z{IG4L_hT+Uj$OEHbj%d=MS+lakHPP2BIH(lM2m zuCQm?J9=|BBc{+KyKJ-0h<~^gQGn)AASG|cOKx*E-RxM;4b5=?)kQ)(m875v#CJ@s zdoP`vk5tebd5^FLqa#VZ5^T0&H_@PvS;TBPRHzYsNRW#`RZGHtTxa3be7`DaZm%%; zRy^j`Y*J|k2oh|*b;#6PFP%>&T0ByxzQp%GuaPFg(n?{#?pSgf)qk-Nn@UBMWQ=JB zp%qKiH9&K(tTAdPpJR#5sj(ujS)G|G9z3Y*6-+w0$iI6Gf-iTGKYpOe7JU;Jmq#u< znL(1(H!*N3)!xeNvcC_^Yrt(Pkpeq_6uVLDS}~y@u{YxFNqHtHceq=&&PO>Wkb5T| zOz<1Mk%y<+p0}4jOn)<-$-v$`yco-VxVHCq?)3jY5N89lj$el~!f{Wr|C=hmr zVoG_0Pikr$$q#lNqVpp`pt#~|rgIn_4a~7kbVWFteiHDuo_~RLs~l8j3F;Bze{ zoD-=9fxm9dx-xJo4w9{QSh4w_P_-1FDwo_i^_HX0s>4li%3hgMxcg`KhSlNm zT+pMTzy0dkS*UxnQ0HdhX53^a<^6swbW_0hqsY7t&_~0;@U(Pg~%Fsc!@Rx*D*@=!_H)(d%_;{DYn7G+t z+#7;<(tY75PDxy+tVSYB^CnHMB{NYtn3B?xp`SNUjSFLDDBifEJ8iSwuF}_x z(-cBX++C$W*u*nn4(K^FKm@2Kt=d_xbB$oqP>CTQX=H+PlpMI(Dy?yHH?v^lo<{e>brAwtpuP zJ^t;iBkVM|H@f%T!wGmeY}**g?TAfUQC%b<`-{8Ru@zz%RrEoyMLEr_(?9!BUn8cT z*qJfYNYFUDk0Z&4Z4s!c`f$cN9)Z(#(Lev=(}(|Nm%clC`+0(h+@cL#3f>rQP13jt z1)$cxD zT@~mx~M;UH-65!NmRV?Vle}dL(aME3OqNBMZJ_uh@zUV(W;8VhbE) zfreh@5@=6Na-?09&ovDs|iNzM{=V+YhfI*p>5QW6u=A) zoao8vx4~xT`G*FiF$1p(q2A2?^u2fB)P|ERQ5;FeF-bNG`t{chBgAgm*`c$o(5Kk)1Vcd4-K{BX*#nQBhil(d;1IiQ;5Bpv+-DF_HG5X zYkA)flF-R4KafQB?2Se-+nAYhR~gl$itJUidlcVY_abNc?vF=x!W^MV4XrCnvdP9H zlrf}8C=%1jW`E=-?1#D7{)@$P3RqjT6)pBKx*?F+u6cAMNux4Eb8{J2JC@fB7T1Q{ z1ab659#(7_{}|4UP2+i}X2^vw%eH52*LT;7;6$;GN}3#a3a8axNZuYcsBcF*<;?@j}I0dAF%`-w7i zbsak!+GBCjtF3A=L*up-dUl;?%zbH!hKge-BfcZW=zL0fbV5pOiaWGLFZI44T_-pX zcbQ`9%w~u*4>han)uDg}Pzq+p()_;9_VwrHT6~bMcqCmHK1C;~qy;)@!fZBvkCHuj zHRfHSnSX6dTPjx$%b_?hel?G!~4l4L4FC z*aW2+xpt#cmX=fg|65*WZxZ+9RBv`F)NRk-948DM7t`4qQZvEfaVNg`{))RH(tkS_ z*oj1*|IPq@zwjMA9KhPcK?(R<%=I-3!@FnWFNr+EJyDyEMnIOp9z#rFO}@L1Xr>{<{qH5NM?-$e}9p92A4Piw;0=?l6*ro* zYcNZMYA&u56&~F-oj=SmI-#BqZ-24sc^|%MR0*l0CN^r)Xs8&Z+<$!@DSnK)WRE;7 zYDq2enEdYWGnp!Qnh$$e!(ON_XacWC}ZFn;6L_OS!fOpfrb zg5CY*fogWA(p?WyoOhM@=BZ)t2M;(wH*=(z@dn0*^2o1Nv^7n#O+M#fX&>_F`olN; z@Lsa*d3eap4s#J6Nq@5VP9EnC(;<&vybNEvhGUNdnEBawKxNQ@2;hlsqm zn|*}Gu5=tT*ULob*mzTL8YtP?W`?az!ch~#RyV0cA@*=C!F54opNP&&(q&U;XFL*m zMD(M}k(qC;8&`smOGaAWN;;nMR|LzsZSLIN@Zoyto!e-FsDHJ035poBx^{v-ZFT1> zg32T-C-KdThn_t3VY?VJAFe0kQwzD;2g}bZ!b>qZRx&E(I@YcUeHegobcJoQp5H1s zUHaqV@tcqb>ogS(&TFcb&AJPTMKL;6S)P2S2+~y{)TLllXULd(AD#jVDaYVS1?Ub| z)G)Xwn2XtDmw!hvcOGU6b+p>f;5lRh(CiEvgxW%^!ez0r$1X6}4cmlJ#6-q~hTEnS zVuKoGQ`slG;fs4PTTb@Ibu_=rgvSol88qCCn|0;2&Og;L7|Tt9cAdw!J)$bgNPP2b zN?PhDk}WOug3U47Lbuc2XP;iLdw~NIeu?JbWSUtTWq<9FZN|l>^YqB~U+K+f(%Tmw*38Vfz-Y&J=%zDvp! zjB}Gfikf>kflyqdLS|r`dFmG}lT#Fvpwt**Z8?s)N29b$u!+_}@^iTX`+9blpv+)& z`9Mx)qlJAy=UHq+e5WMYJP5~8^szpKM&!s=tKq{fe88I^({w=7*_H*;6} zTvpfDES@u6^j_F>TGU(B z5wmxN)$ETLF`)Foi39fLwUlpQg3NsD1;afxCyumXbjF2zGMR$W{J{qzDGmDH{`mCy z%S@Yk^kqi3jfmdce(b-sO^IE{Z&$p9AAt1F-#_#Z?a%jH7u2VJY#QnQ<8OP1w`%bCu`d+R z$$7E=LJ7sYUPpg5%nUVUTlRYmby1G~8h_|~t~PDo+lTuO!JBTu4{ORDrVBVe?etgN z=zUI~+xtydy2svgg1|9*s4|KrLX9z-;qT41ZN84wwyt)>zlT_#U^}Z59I)HFSQSq334-ifCuHd?P#lO)QWA-F>~?JGp6 z1p|arvjyK4xnMe+MzPxj;)*gaIkI=(e)TI~DtHrVGD>6+*-T5RC^AElE^3@Rw#D8? z4|?(mig4BGAFZ$^GL38+cCByO>?j05Y;GB zuaS%gM2gXKUu`hQ6h!0`=MC4rx9;!!jyt(q*9h<*&%(rV!Wmfk~OB%W2u^rT>DW57=K$4DLg6w z?KAArpr+M!<2PdTN=y>7`g6!?JUZEm7R5P~=96uDsb+-FEiZeUuNJhTj-}UW-5P z;6LS53xkeQTY(z3-l;~^%zr(U)>1m-9Jz}em`B9z_AkFsV5cbTBKcGzVkQqDk~`KC zSfi1ExFAT|biPfv?O{6K=HRb0?C56B|Fs@rzPtWheRDpEFdrgJk3e`bYd?;9eXjlR7ux}#;m+eF+c&fWj_R;{OG&Wt5yN1Y=+2@e}8R8imo1_%2^`0 zSh)^2|LDA=DLGS1wyXg>d7|xrb@wBh`w@K`u_dJTf z&cEhf)Z9?W+vX;?{eSm;ZuG%EoZtL8_`z)jDd%sd=tjXYs6M;qbB1Wjs5BU1e=4Ee z8zY;iD``Npd6Zv%`S8nwX(GEIIeE8u<{@$gw_;_SZC|W54JGZ*Ic!q@U<393?!-=a z%fYF(Qo7gAaU<-TgG>0Hz4A0NY{;yTRI=KF2DPcTh0Yt-Mt`n3?Kgk?{o{w<{&*O$ zFy^cP##*kpN+d8-N==az4J;1I4%1NMbtbf6KTg_4#t`T%z1)C^faDLG( z;%A7~b;C6=gi-3(MFWUNLjWpfr6F+by;PX@jtqT=3;GUs^xbgAynT1s08fpPa~t)@ zTkJ-NY9qy5N)Zm;6#Ch4h<$cz~x8P>UHOqeOe9+zVu{ z3WH~Z%YS;Pk>;$PquiVsBjnN{oqF}9weEe2qY-f>NoBYoYawb)mRxKb&c16P?)96W zr!|`&Et*;W*TX9=7^9CJ7Fszhv^OlgGc1$GVw8ILki1bMXEQ9@VwX*%fF#7F>9!06 zo&W;pja@o`$FBjLPTc3vA?KDHa%%ve&>0>*WPdN@jWvQ#Ij0c7kaOs0AwX+`#Kzt` zESQDcgJ-Ox-68*K6z0$l2iWkM`-Bts2~)s~AyMQ^QjrUdKH{Z2j^J~u`c#DGVc80f zy}&`F($?PIegCH*eDclbA1fXpEbpceV{_S6*N7{F*&rN~=_hGJhLYd6)$aWuJE6cY zZ-1%&CM)_sd=g2_H8Y56VFW{uZK@F3D0g@ z9DaBf-EqCI%`fHlOM5?gvwy>(GiHAC?z@cNloC`a>_vicZf`n?Loq833WBLBf7aW! zw}f0Vep5?XN(-K9$5N%bQj4}xxV?~%NzWja{xwl_GP(tsU1Rz`)W}kD@N8^8V1FHZ zQD?Az_bLWpk{pbuj~&gJlC&Y4;v)1a5{u%2OwL;juK>L%*0KHM8U)Rz=Tb^d1GS)| zRi&4(v|Q>Mzq2kVk+(}W+7l5+*hL)SSrDI!de;$b(Zp6lCnaU5t|nJT5AXObAli!| zS>xl!Ss(wm#M<3sJ#ie3I>j4O?0-u1zKP>JQsV6ZYCVC_tbxC~;oOu{st&2x7TG4t7(UoE+{2W5FkeoBs^$@Gs=%d|T4uk`MpMuNYg>cP< zaCV{el6o4RyV$6^Rz{MAb1?>$5JQJ0=5<@DCd{>b+}5^PJbgR&w_n=($$z1?eP}km z`zO(EGVQ|)yWc`+96?T_43O|_UB5A(4* zkI1t`*mKZc9P27B=0v>hEE0T zE&{O^ZMx`##1mfL^}(l49iKG;yi*HQT%t}*QnKZLKL6?`_EmP4 z+fyo&PY=KvC-At&(?bmp24HHu>E02^v{PqsqlS=&Q3Iw`f)th{>RF?%_O-}YzW<6* zkkg|O&OODHF~q`ElS=kgZG{V5D>uobUOX&F*7Gp7!rm|Pdr-4sSXfq!#3g`SnW^c8`ZBL;6@NiLsxP!WF(&AIXIzCBoyj&04&ryu7@ znF1E9oFTDzuvr#IwN6B{R|2c2xU>=T;EM6-fBo|5_x|z2KxH(6`X4XS`Tc|q3}XY5 zYd1}#oS9T@c?+o(lc}CbFfI85V1EzhiZPpfGi_}vT%;ngw10*js3<4|S4-4WrKs+6 z(h@rScZpd?(WI(EyOlIWFBH(1u-m)>82~u{+LeSVs%(@m0DdNWpTTQ zQ9p2G?V28$+ogIat%v)ifv*?4326AbH4T*n%^_j&$q2Y~g(hXT1;dw(bNV)Ldwi7p zPcym|-EEOo*?$ZC-qDl8hvatai)}vb>sB3VeC9XrzWwk`MY;oH+FX)$pDVI+u|X~c zqDQDJLY=Q4yD4-7BO`lT(9leiNU=*ajnu$W0-S_7ov&4+K3!?LqASxr48%yMLuHj3@YvH?2Ls4d8wc@VSn| zj|Y6piAPaIpCqFrhq)H7t)h>qLt5NcdI~~23)8Lt?);VfcgC9Tv7SaLGfs^ijKWkT zT75ExRI8o3h)&AN1UW1SHXc0HZ|#sRFf=1TM&uuf*ol8I0*+Au|1)>utt=T_O} zu0hUiD}Uk2z+61SYL(;nxnMZ}nAcp1=l7LHVv0>RRf%efoT};Y8dQoZP@XHbe5(oh zc6QHoG~|cLe|-9G^7Edym3U3wfz||FS|>EtU0iQw$|Wo*0_L)~uM`&4OW0K}Ve6^BWMroxB?UoeJgJXL z9xd6@7HT&pU^KI}^ZQC+jsD*BB-_)VvVgGcA}l{1;fbR?Ycz|$j1mkQr zR0-p}44v7xpz{KgH7g{4-_{6g_mv(wK5G)KZQZxIRgD(4Myd4?rb?>S=r$8^UCen} zeDxDy{X5I;DU}&d4}h#0fOz65;^6?u%6+9|1}zmysW%fX=*>uFkQ!3yp=4buRI!?a ztlQdHwXb&O{m+krhts2==bmC}SqU4CEjUf00ZMf=RC+Qy#QCLv$|ujl*bb!09@qY{ zf4R6l_zl4KCrWzw9o8@fUxIUO6PDDw?*g&9I%+aGXgRMb=rKYL_Lb!FnFkf|*EXKx zcwcG8*xY>jah{YZamv7BKfsGrAK2JrVdIxnuu{i0ex-Y_OxWEn8KK9!uJv#3%OCId z{QEPL$Y|@`j5{WOiD-~`TlSKVJ%A)FbcoRDI7v90CVFuoPRXdYCf1M$*?2d5GK(#@ zq`{8{#E+7pO($&o^Ii?TSv+^3QM_7Sxy0pAtT;VPYMUV%Dc8dZhUDCOlKa-vbj zvq{y*36VQ1M3;!-)JozWed)%NxKiDCaWM*ulk9mhCtw?YIK27zZ-+am&xOQpQiI+q z^SMhNockJZkLKV#xRco;sGf@;28kWK8c1VFQ|)4UX+;*!b;CAML<334vqSMC52q!T z7#Ya-ki%E!-&_%H6BLhbGz%7IYzV4n<3p)%>UoqpKU(y^QX5?bj+1Yr#R8G7WkeuF zUB&{j6(=!&0qjfEeI&;sN8Pc14xjXLfu2SIPwypWj5YdHQZ&04NJ>yZ;=ZK1SL}T>SZU(E|eJ#L$lg~cp#!)b}#&y&d#$XFw-UQ?1 zL(kiBxOhA?yLa@#Gn87yot~r59P~Ta2AsD6n6pljQgbbcP1%?wb7~1(%c$%Ha`ek3 zzQ*41YXEL)P?R!JEKQJ;>L@gn3u-D38_g$B+-B>|`kCFXpV@5_1D}K|-o5sIv6W5e zp8ffMSX}8Y?0LWT$^ex&SqU=~paa#BxHVJ|7;8!{n|UI`cM>Y$`PyFhsGLp`*~A#{ zYM7M~1y2Y0$$k7GHg7aTu?@oV<8AIZh0~nmTLe@`3gTV6o2H!H!8T*@#iDl|~{Z zfs3KJP;G5%3OUbrs(i#!wQ_BFhWB4F3a9d+V8zzK%brmf75W3%T_k%~W= zXY%)@_j@@mkLU1IsvE(#*u-G*-KJZAQHeeoV8txE!}=~K!ZfcIw~45s#9&h7v!s+l zC|+#E3q6`1Z~S$x$}0nI8kORuM~;lW+fvunH4Vu*uf0}?&$Rt^9Y9Vj44lQKsHtfy z;yI6AAE71?$8hqv3_3qml$t?Uf2L}vf`Qtj01b5||}FioS%C#P-;oe5N|F7=SuS05;~ zEPNRM{_5P7FahDHiZ_UM#m+H*R^rwq(_)Xt*XXVkNlJQ+FkTxA|5om5429@CHy!IoB-CJ$J14#lblB+!DHM z0J&UT?P%mXCR5?gH)?g!uXHky@tI)Qb;8Q#XEJ-qgLBW1>{Qu*lk218E2Ydz)qd=n zEpLD}(=t3?u=k}xHx+Nx+q+^`EdzC*QG=FEdS$PH)3=WHz69VVWV1u4H$u^nT99g- zDc2B)$i7h)Z47!ohJ61`m?${ zxWZYmQ}y`&Y4JN~h*aL@L=6$-4*l^q=e?A4*;TYMzHtYid+k=nAb?t7SXr7D-%?W1A|(W~Oel46rS-Vb zIrXG_{vmQ>`Oz;2dNhtM~=^`?X9Vst(IxDB;=%I#K?iO$8Ra8 z+)ix6Ew;VY@&K&!V4vB<+21~amD?vFbTxC09Eir=u}iPXs6a`it*508 zxz$V6%C+Sg-hag?oY=$~qi}W;YidUFprtqrIe-zK+c>8JxfsthTK<1jv{pg%>wxwD%<-H(`N}trsr2s7f*x9-EoHI(D04l9v$e{bGQe zve6~hCTg0g!srkaw7b|w8+w3)Jd}$IKYlK6W$aC1RHua4nVe6Mh&;!ZL@+Pw?{U<(;WmGinWQ;v!+zXGq@VzhUlj=}h`7Z~_R=vZ?igzB5i zZn>8CD{)uCq)tNY1enZDF)PK7w!@i$+5YSc!IiJgU0F>Tr4&OG=M9>cskK_O@1~=q zcclP%AR!}6T$E!iX3?p5 zawSyz=TCR#E*U_-Ng(L9)FoDIHVLC2RhXmMzh$8r`m29(SB6l#OX#Z$y_VQ&kV+(| z=&IQ%tJ=gq*IBb8Sy?(d+l}I+`AJfwhai z9RvIO=l7rfXurSz^Fgp~^u|`x&8eNEqni~ZZVWAR$-$OC)lNP{Q|?{!Qopa|wz1cW z-&C_0ixQI?HyeLz?sh=+w=vqr8hAeJ-9I{-dCkyHO*E5%f&^U(j(o5fY(_?ml*ne_ zObc1LCnJM59cQFn6@XKa?1Kr-=*d7J5oFYlM@}iD?-&>Qp~?N)mhKuTY(C93=GOZL z3cG9LJ(^|9Pj?$AY(Bl&zv0b8tI6Hpy!-Y8HzkVbfEs_7RGl|*3JsD3tQ`D^ym(~u z*z3e@Dupvbj*&o3f1|NW2U5Uc4ro;LY?ORh(IxV-v75$@Q$^{C)HG8Cj2cR49z}|l zew5g>&a-@V$W1*)4wym&$lA0T4>ygb#ke_R|K6TKcwo_vt zAp|vL-Ku}#q@;-ImiAJfR4RGDznNQeCHI}Ne&~!mh2A(DbM!9QL=%b{gYof(#D!Q- z$S0n#5HBlEwb5fA=Z&fXaeORps@nZvn`ruAvxDP77npmQvn2@ z3zh?bzrN4!FzCSaHB{}Xr^HTsNM@U4C6{ahE|Gtwy9UyGx!ZSdez!F-fBJUvZ@;wn zlS6H5_n7(3VgmSsCuDtXlN0&m4}S7#G#?1nC^vD>NW~}nuHV)HGu zg;Iatw{50p)eG&am)mM3myE2D$;M2Y+2@#D>lG5QiB>WW?rg@LuP#Ju^!KJn#$o&I zS%i5PVgB(5PZSFx)ow&IXOfn^XiFfum%tsC%Eh0oU4!QZ`f?zi*p#!e>X@__$LhOR zmF}C4eFErdX}9TAQ59U-yYozSk^RjMTDgDQ^w{xP69_V;UL8ZoKId!-s5t6kmPvCl zqyg2VYYWkdS3j}F?x@UgdH{IM0Gw%IyFUQDws~xh&Ifc2)dVjpLm4)&9cv!)ay!(o zsIPX4jy%KruNZ|>EqrlB3*V_AM9c|l&t{+u&J;=-6|7yXjoQL~`13Hf18I7`&b@!D zz+c(9cdBO1wrD!3_=1HfBo6e z3?wOBA{tk6o=6NXma^(}t|fHA!t8Q*7OP_qZ0a-=H84ovH=&eIT7W zmIN9DX#p+C2xc!iA^IjZ4e6*}{0por^vz)$@uzL{95TDDWDqgKzxANhxu`3P?zamm zPqH4|!^Y9~;7(O)sj+lq$R)QTqyWX4iZZR8n!L8MLPxMo3_ioC3|~UU(8Pat)f%X} z;B)WJ|EwxB@|#DE4jk#<-E=h~j8auRik`)kt3T4%ms;%RSrT=MZvoBXO+m#}dmUv3 zaa5@4qq$XqpH+p7CSl9j>(uSd9gWWD z8C&CF@!ETq9cE>go>-;A_QMX(mWZl%&ptyt|U$8DOH6sH7X<9q{!cDV{Os@tSYqS1136oM41q?v&jcY z%EZ2)U;_+`JqRzPHpz2%Dg%brqbsc?Vee|~+56E~mW5+IAKHD1HC-O*s>~{mTJ64( zvlY%rlOJIeA$#Z|hn1Js`Xa6jxT#T7w1uC=sO8`W!PGVCDD8h;b3d%4f5EkGp2b-i zxSJkIfIi0>W9|?mqYvuMqLZdSs|vMETgwWNN)Bv%AQETNn(RF|dyUR7>hIT9RVZf( zQ6hq?zBde_t>qRN68XweUW&W&$5j;?J~(@=O|Exs4GNi70<&ChiIlK2=RB&$zCL&5VpSpbW|@>+?Z0e~(o|EVIyS;xZ4yrOkbNEQ zN|-`WTgsA@(sN;|xp6R4Ma@!?5Eg<@U!A*Bv75XMe^Y2Ni7_P-EUqw?24SIB z1YAcy;=+GDJEiJH1GL=z@amS79vPwQ7XyZ0ZW#BvVmp&fuw0Cu6Q+_~$}NJKEHOB& zK6^cCN%+)Y?@NSoicZ{cT)M8E9ERaUL3E`?H>!I+PMByTv@|Qw2j|v0T3-sNlka23 z*}7Jvj^KC@%8;pK41V+Ijfx>fC=q5Cl)0Gj~=@Ii>bh0pHIA!>-!p z&ChuDk_YFWAKA%-$n>|Fy}4AhY1cK`%0UXKj1chog1#>mx`}i3VCqMW2;^c$ORT|H zL^I}60{Z5?WG?|YTiqhM4z~PPA3zj+98D}px+~pNe*sb7F9ydcb|G-y7B>&kNMLWQ zsgZw2pGUqWUU<~^vj9Eyn3V{r3?k4~ym62`sK>rO zI<&=ii%7~{lCbPM4P<+8jng3P+oI3tu?aJ~0q#W9H)3r{X50#lo!xHJt#yj*Mgbw(v#Kz+$3G_+0#@pB4-3ofhV~>B2 z#C7$q%q|6xWQqV(orzIv-po0VtziZXw#pSbzl|cRJp8ov)jxn77eJ1?Ajf9_`N^)r zNt;Uw+PL(Bjq~W(Ox^b$BxWBMoRp{C^kH#8XSY#aHpr9jd9>DL(?Pzv1g3^+4mq?Y z&>5DZzTJsBA)C4YD;%lrM8S+Ph4z29QDp5l$|J{T%{JF0rIwx(j!-XlLMWyZ5vuX+0)S^W85~LJ6=8*E5Z4`QQpd^>iJgA7jhUPpM_5E^UE4d{K zzEi=`I=woVjgAKovMH)Nnl*h*)c1>Vc|6@+Ifa-7l6s@tkqTqZV|xI74=MoiZIqn>?}^YqbR*U8w3(E~8E*rdl(b zRreC2zF!QG6G9KYP>zx!+j=*2xr3NP@jd4FNN43s3qyV`Z)Gbr3X`kOrkc$@%+(;n zP9S0QO#KGl%8QKpmXd(G87sueOy98qUS;H5w5)=M(E>ltUHRjpzVm4K83Q&CbyCG1 zFLW~U?V*g`pD@dlu|g_OFV3dPDP$67=I>!x+^cg}!qijjqxA_T$3B>pj-`7aC~J9-c&yavH6g%uZ3~ zV$0A>&i$uPOS*ysQKTmJO%?iPowyS7fi?YW&o`j-p&1jIJ!T-9Qh3Kl0y z)igT-#M-J4XPXtj3h<09#9CW)0%!`n02+_VrSOn3u@&*LEs9?UYN?NZ66rB?LBQ&O zLLy<8YmD8;P*(Key{zuKUo)&zH&f4#+Fu1&4V~m8mgEXWO_<$cd%63?Jbiwlojsp( z@FoeBH+_mi2?=|xCB>T5$4;7^oDHF0>K%D)@J$qZl}^y4k4gHC0s#QUKiB0B4z+5Ba=%-Bmtk3a77@0j43r@Y@^CfGSLbmtvjRPhgD=Qxp(Z> zcjd*NLt;!>yktjl^uvrk_fXaT{j)3Ygpw--%%+q?1B06G4q$VRdyR{gKIR~KnJr_V zjPN8b#GV932IlBFZ}huRr_{ozG@rkwxcrrM<;|T(EK2AuQuSl|pc`otfgGvlzEID9 z>a}&{1!`gJL}exBh8%Qsz!tE%S5xQ3s$Yw*e#KpRrFR!Vk`rH=^fqQ-E4fn?5!S`} zU$3((Z!RGW2Z^aDh`k{~tfrv?vorf;DG};5b>(eJ#hH5Zt`rfoZ3_=F2^1M?b>U}M z-qDpea;D_DBayaRqX(DFunQ(nMkyD68-zjGb;o?~CbHjgM`B{b#LWJNNlVH#loE*o z;0Wz$M>Pjl#KB%8Y?JY7r7UWb&e>8|LM>jE%h*#XRGur#;Bv8>O01>i5tr(b+Q-1sgHhYp450Ih89A*jAVoF2>K}NT(Fsc-Qp>G zvtFPIjEn=d6_A502Gn0^x%pY>CnYmiKue)SBkCenlP1hH#qLd+{j4=VX_8zw&G|YE z|3Ish!)PKNMo(y%^@G2%TJxBDk!V&6gh)I(7%G#5hP_LSa@J#cg(cIM43^kZ#8A5* z@fDs;piDb~5h?Cng?w%gnM$sj8X8}6_HXJaQQ4_0F|TuG zK4T5)mmWDi4Hq3%9j&x~la6kO;OT zJ(Mcd!=?E$pB>%F7XKW8AhP{Wk(IizW2iwo#=cne>Pm~IoPv6P$_!}cONpc%M)PB& z%0|><_8~=?Z3g+u3a5}tO1;O%?2S0NV7#Ez-n}tT?`I2!zp}z9&5c_8h75aWe`YMk z$Se75z%{8q3#U9-EkXULFb6f~h~zLqhm3Aip6`uE*{fGyI3>$yXXtB<0L2qmX9U1C zDWNLHdB4hQE1WWa`WK}VIWQEn<)oMz2j`4rP{8y0)vUx2N~(*XSM>$z5_+ zWJF}frBOguxFnZLhotcsX?84yDoB-+F@cQ4A-hyu*j##l`aHrZ!38D4*tIsu*->;b z)(RYk7R)L6r*O(x!j$HV7V6zP4aOFe8a<*~5;YNDPfhmqSO37mDW1(tbLXzgxv71` z>eYL*=&DNVBK@CMIAxT8tX)RA%;DW~iPErX?dZJ1##HyIgj1l9CZpTH5uyh(SFyxU zsRiWP7`~@}&huMa30OuE_#Cs7+=`2#(vb649K}dJO4TQdG!h1`r+Bb z&DO-wZgaXOc06O93x0$K2nX-gSZ0XqICly|x zz{1m?JDxk3_4)6u9JVHVIQsMbqVxTcxd_M)ZH37UlW;CH!clrm=GSHKJeCGV5<;)5 zDXhO7JRv;(HFmiEGM`_L5BPA&-Rm7MoLg?W+q_!C*PJ$7!FP6ehOeICD`)-WMH+5u z34lX?hhTooP-`d*RR9zV4rw~RxUq6*qtUDA<^y9nl@y0GQT5=!g#e=xOQ1{~xq9OX z`!IsDb<__A-$W>2lbaUfQC)gyMll0<9a$}QU{?X;502g_c^F&QY+hdJwZud=<>ev3 z9z*VZt1{#sRf_{6=h7AnL%LT#;ahNrW6;2VFUS1IRow3`dB7bPX^%(Tr`8gVglJcb zkYiTwD8;cGg(a)LGDPrH)r-4(ULw>l4Et0$s&?~E5_JwS#Ibv69t;{(K9sHafmaj$ z*a5*3)*V_GclSIMyx0fplsE?i$EOyZ4X+Tm*&H`AG&{ED_?-!V>;Pj4@D2%(!?!1Y z^;L^wvqIU?s08IbC8-VL5KgIAt7l%yy*|cY9a1)Fx#~>EgHMy)IOb#@QZ~c#cHwyN zsY#sk9K>HP;-!Xxj-@hPW*;K%FC)Jyls%Ds*nR!;xYW%tbWf&vRy z-hW3c#LKO4b(djEA;xqlI*NiWx7^7?)|?;~j~fM8UTB{G22=Zj;9uBZ#M%Dhl)1Z# z+Q7F#16;B0)vags*qTsF-&@^(;?6xi{$<|@tB&g3B@d1&E#zTdbb(;%rDiGtQf(m> zBrPfQm^oB67f*BtLNteg9%HQD(lXjJ){-a9T_hPSU;~bW4KGmp%hiyWJ@M+s(;_M6 z7^l`bk?W|P!7Iwin$wE*{HFkKDkBxKM9C3TO3({+1Z3@n?Qq{rldMh|e*{5YSM0|% zLh!~E`|)|rI=L_k-7B@$yI7ZMh*=Ab6<^LVuLKvYsDAS`)$fC%6<^V+!sSA`7K>H*)TWipr?qLoOBxTWMq8U$g&3wdtP#f9u2;l6fjD)@7V> z%q?ZqATg3bmR3c<-tgAlCN3`}**|KMViw=Xmsqn+aV1rO0E|O!X2sK6$WHU7>@;qk zo{4nh@+-T9y>Zu?*2_xv6G~DULUYWT(E5@VQ6v~rko8QC=Si#Z9|F$_vUJy4sL~o_ zr#@i~AsHzMF}8S$f6zF5y(#6 z0IK%<&I`KGspQl$a329Z(970V%L*iKQ&0Zc2%9BRZ0gO6#+3S4#U!JWP+EbZp|+Xn z^LZruNn9)3Y)bQ;34Gy_nsI{YdupL=Nff==J+;@7>?i9jlfY0I0jQJNP$LCMu!Azv zlL1j1e=^2iRkHuVuiujF{|+lDlgA!WhIVQgS<)q?k>QFq@Vt;~mp2O@mSet)^!GE@ zuD@|hViKp&G_dzI_Rz~%TT&&&k=Kf8J@aYlE`NO3rYf#THP@Dv6r?0l9ug@zu&^)R zT2l1mU^i)Yonxq7LifGmPzr5k!9xU~7W~unf2{CH>oxBg#0e5piq6;)hvb?O@i6iX z9M)!L9mCUPu3$z$PCN4l0euR!^r2T+TOD!G+1a$$F&K|>qs(uA1<8KcAsY0ipr4Fd z7R||cIE~t)mF!PxE~9xh&TVg#e{aeDABOBCsYuT_oVqxo44r0@k~^nfvwj%K{$~I@ ze>oSci&RVXF}7B@a0VjpvzDTx{_$s%?8i;Xei|jmdl#RGpr!!gdxYjgsbJ&qvrG2l zRH+qCG4~|C0lJW5%t-@{(qmio{XUyyfARwvt(i0%G}ZSeszwZ|9fQ1~RJ4Z5+fpp`TXkqA3%m1_4OP5vp_e?N^-3eR5A+q5QR+_I;nSk&ma+BEl1$^OA3 zF^-B4ISP?tRo0lbf+1%<3wgI$xb{;@_JFDgzYDl?8hPh zA&^|bL@^Zeg~@zk8?&y*wAHgdlVpFyAsQ0`bR1D9&Ojk^W~v6CsX+XQlKszJe<@%N zgrl|}mC$=KKCY-Sh}pK>D{od|!xxpI{xR#6-xNAMNzO%E1s0dWP@)a41%ey_3PQOm z*?+;;{unS$O+wEyjjuzu#hu@>ov!)y0Ee!_dt1kRadf9r$JSG?2@D;Vb5my5 zeeK1y%wcuG>6voTIu-&?N#$1PtrNElJG zv%%HJ9x#_aRMV(rbT;FC5V`*6ER+3H7=PySWs7F7qw}LGl(X(sl26pkVmV~>bPCm{ zlk3OHVQG>XJV(x>60(8R0UJm+I^Nc!3O}1%zs>xSG}V^J?J*tFlwne{34!rT&9uqhAV>C2ZNSgxO;R1BoVZX{mBQQ23b@+kj=y0Q24Y32Hh zcO1;E;Wi3Kr>5Q56CtSrGQmdO=+7kA&n-w8tP;J~hM|BKiXsYCM}5e5CfEOJiz*Y> zZWIZ{`~wV%61n(p-O0SWR7TOv+kc<_U{Cyq1F|IzgdXqy(@&4Dcwi%=?&Ok<9M=C1 zGTi5V>(jsLvr6 z#%Q03Q)@PFTu!EcP-Hz#KcD~Lg>!Cg`jLH(p*+O(8aLS3qn~fl+pwK~1Cx?f9Dl44 zA7xEf6glfU z`ntkm1@w9WfL*aflY= z{xVO2t32g2S_C$uMV{C=xU+HQtH_fGqED0sNAV)x$SGF?tAU`aVIzT)-Buufpf9gM zJ2*@<)^oik+zS5M&9Ju^@(aKI8sz>26x#orms$Cg%^+bwjV&h~71y#R2D9#BQyrIQ zgSL*;^WBn{0^rmwnLXk>qjq9*Z^5Wi@xhtX+ZZt!dn(?XU^3{QE);rZC6B>2Zqeo6 z9eJ8Y$u$qP1tllFQ_3ZR zRT8^@iq&FbC++raJVD4Mv*jfw?ml;kDUB*Mn6L-Qv{JBct=!HsNmTCgQOB~;q7u(9 z53tJP9UhM9Sw)^V)jSh|4J3V3MfS!NwBo7i%w7&G+tIDqJ>y6!`poirQf;LwNXj z8bN}7?bPqT9NmNaE5_&e@Of!XPOf{r?CYZe8cA^{nkloLr5C8?6Gwu0>eV;^bM_-c z+Nr4e#szD>u6A*v!u2unn__p)Y*4^a5z4^`4&!8go-}|er(zB(FuBzT(2oY*1SNR% zjc`;ybguPSNNbXRkrXu|Sg+8hgF4PCQXd7sDYzO6wQ9pH)<({&mK;jd+-hw=TUxVw zVxDm$<{8)Klb6CeEU^w}Sg)R1U>z1%PfVqNZ!z1TD=zdrf}C7uaxr5&O;ULoh?csu zd*YvQBmVhS!R8~_Q>_P4IYr+C#oE31O}w{`)Qy2Ry#UdFF3HQ6gJXH8J#o*t5%>Hg zU?-d7s{nP^A&ar?K;WHOh1pgOmG_EMM09tt^eiSv>CX4u?}4c2<^lR=#eku(T zMogCxQ>e#(gG*bzb-%gPtlE?xItkY1gxPCMk=TJD)ni;=j=QsN4?rA0#4qR9@Z&X$ zFP$3BW2LX|_rnOLVLLU<) z=+>t?O1_$5fTv-w%X)7g0?P?&?8z(Vo`A4u9JEq@#Hr`TEuL=N&2$IXB8NX9WD{_2 zBV=II1gS1mWFIKh!YtWW+SYX5SP8)SN`Q@iTt;NSQ(PzKv6}mq&GtxP^Z%V$r)0hx z_t4sA7{LlImsN+25iHgNXk$Hq=Ia5&!v1KOCrm9;1~#5eA@dNoqL3mx2fo*>FoKf} z<#N`425{ag*QcYmjr(MN38PaZm7S9D?vULGE5I0udh1(B26RCqWq60niQ>|ZEM1K} zpi{jR+|)~Xg+`ld0Wc4wmmIq$wK0~Ms?w-k)Ob@z{mN?}tlq`f#?3JIIoY8LVeZxt zv_BGtu13PpX(SBIB4H*QVH5!zG%$0-AO=)_E47u78|qfl(|)$LPh6N^_C5R5bIGY_f{%%_nOReGO{9Lyla!Pn&Y;y9wYRQ@bwUlb z)MC+tPZpSX!|~yzWx8GEs#dy9050n z>QXx?VfbKu)+qh$TJfNoeoue2$C)X5SqC~e3}1&xO@riOl!iHC&jE6V%88BaVxfJh zL_fDHj?8WR%jtvN^6fF}+6Mc7$~Ru-^~5H}s?IsifS@6EFzO*8l{ySt-52n*8ME+q zU)=kVOW(03g`mkBLy%CbIdWy_5S+;~o&Vx?pvF6dL*pn=Ah9W94VgVV*X$1(nLARp z)N^($%O4Hk>C*h1?5=HFyc)i8j&HonU)+oD>)9sA!f&Rptn;Iojkkk#G9(<61qj;F)b{b1LM`>*ZXRapCBYF9y zfmk5BLp}X&Vt+Ygr;668%$4zs8uiboJa3xXf-HFT9 z;X12~H=hoy$(yI^Thtyx8Is_^ff*-b4Cc{!?ryfJd**qJc-DtC09caz0{}P61CQ>9 zeYoa-3=rXx2Vxh@T#$Lb-NBiLJ1697BVK{sJQNgAPPth3;TEi8QHS7aMDr8+JPYN~ z_>4!t3F!Hu6TJP`;>mL?MuB}kWVb#Z@Fy4e+eulI zJ-X{sYh+i=6m>uk0UAW-%DJ1n=oM$c++2Pjn3snC+n;~?^`LJuKK{$%^+q4Kd&YJ{vqeEuyE~u+E!ZZMp%PzXkVFc(%Z^50LqieI;*|WUU zS#1vDWaBKd&*;Qv{OnPJuQ)=ylk?u=rG?xxh(0K0=HVKZWNJ9p*lO(}HquH5m4F5w ztaI+ck{4@MH&5i5bP6cVc_zIbp6SgiX%s_&|d?Z19+fBx%X&E>!S%Rw0epH_YGzjUI*ui(%{#!Cd9NKF?L#M`d7qqo zV!$fqi8%9Y)5sO@9SN#L;s)p3@j60dCw^9cHbDJ3LoW&k{XhiV8UpSmI?@z%S@NVtjGAcf^i-2?V;_Id|Mdx-3R?%d-rQ7f9HnahjAy-H*@y2^^iqs5DlR_8F{(Y)k51S zg*BAI9ZKQB7=8$pFqI)FICg50Dit)-jWC39d?L-8OkgLcU$_l7Plou*kMFuu=_47( zz(^s6M$*0g&wPJuu9z){O@x2G!DV`%2nm;Jo{9PT*=bY{+F}DE0V#N44QB|wlzV#f z9IT(}o<655PsJlj&ffQuDyTUmNf2vv&fp5P-HE;#nRkZqyu-5>Y6Qub4}aTjruWi7W490CA#_m;kq%mYi3*^+%6LI<<6gY&A9gB z)zy$(9@Syf!IvG&w9W&SqTKgJ`F#j5q_g=DK8Fa&S1=Gdrr;)^_|8F2$3F zSnk}r)17-bxd3L>oBnMYk;Mr!LMCD3$<=cD3$Zwvqk?nh3Dq-lgZ9d6}f`| z9{ztH9wqA$XR;D-CNrLQ8prqW1N*}GvgQ`3khx&Ka2p}mHUI-et}%tHVSjwOEBNO< z!#NRimTLV78$v6oSMJb(QEJGpo%6z-2t8Pe4}s;B$(cbOn;ph-yyuccv8FbP;-$8- zx_EDXp9Rf30&yy}g^UuQI@c5t6mo?TA>xv&nl9QSx%m`;O%P&YXW&$uw;GO;rW94o zBDtZlbrqzG&-m`=v^ylHntuakHfGdOL(W)>4<e0+-We9xxnc2eY?JvFJ4hsIw?*^P3q-DU3P+wMT<>YVhx z5eia$l^Cm$A|z?%+Qw3{8F4lr1-FOUwfX&B!*aqmC(7s*w0~--o^sTrBfPKX?5L$C z=l=hUseK$6uF~$Q)&k8ewF1Vr{JQ>-U(!*~;Md=h@v4UbVU~5y|8CO+ ztziQh*=b`XDVd3)hU`=H=D6vpH0#=LJ;v*}qo~MJ9>{&2po~mZAYVo_cpQqAOxBB0 zm~1-PQa^{0rSuxlbJR3QXmeTeoXtV2_H?BM-^@n)ynoz7Tffb$JS^R(KFk8>?a2<2 z%p)=C$=QirR<5HP~=+JB{vRzltk^C!P+TxPQ{cUghnSmhi#EXQSc<#8Y(6uFaYOwTx7gtu1x17T#8DZ| zh(;#s2|SeVlGi+V{AoFy$G2GL>>m&zaNu)wHAJI@WN_ueC?SJ{(jb;ylZ|{?bDiVK z@qc%POR288JnG*1=!dpV9f^THlpz;vR%I71@yk5sYsG_t^=+Qle?7DDos?|WHHUFj zKsIWd8AuC34EPXLJZ}5PXSi#7XvmjM#O{yt;`o<6eP;31z1@me+`Gx_r}v!LXV8Y` z(fS_A>ByHc^HNW%jy%Ifx{qVIr6Cq^sDCA6ZDoDYQEp%}nlq=3nwk{@v3^MAJ92WT z`+YCvv28w1Da|NDE#_WOx2I@glS~cPkzDSWHe^%*Th zvf{}PSsY-mi0U>3OlYCL@gh&cg&Pd!%A-7wxm&qOFFlon)%USkjEc(0{+3 zC5Uh4ea{8!pYjfT{|1zxmC+;rD%axqoUoj!)=?;}FuwzOp#iB#x3~o}!T-g)6N( zd#w+Hh{osv5Blqlse1=;tZD&LtVOkJUW$Ecs-jp!)4~VhvJ8xzd9pHg_Of7 zYh3c~*C^5QYK?HIM9Z~C7z!FSWvn=W=~PJ#C@jusKr39^yRXgi60lFuTz1A8BNa%Y z`xZ;g93nMQ<|NOk&2k9Jcu^R>Pi2-1xK1PlEkaRaO~n;uY7}~PW`EQLQ@gw^wzo11 zJ-sr^66+sUm*rL`ghH&{U;+$M#X47)Vm^LV2;#Sf9k_d9HllmJ{(MSQX3{6S3u$bY zUwv*NjU6|>$jL@Bawy4FB;yB+=nAEz+>1+W1Oc!5{d)7Up_^Q+Sjj_Z=DvkcddJFL zGkG@>xKFo(&RM@Zhks#7wO77!ds<}E-Fb6w8q=wk5pc`Nk*g!V-SrwM`-YA~DtHt+>{!% zpxSHH6w&9Fi2^n!nu|HervvZdCvdx8tiP3tO(gsYg>dW6Ot;lv`;Qq$AT6}z%q-A5^V`EG<-&5^|Yd1`cH*qUc zOHR2pGfjEV*6jWjlXq#mdF+l=G(I2@TL}!lmPVuQwv6bjT?p-2gIZgDqpJ!fbWx$? asv~@)CVPmZH4WD$Tl)W6)e9q^LIVIfC$#JU -- GitLab