From 4b446de0068a45c17567bd0da7bb915750c05162 Mon Sep 17 00:00:00 2001 From: James Cherry Date: Mon, 8 Nov 2021 13:39:23 -0700 Subject: [PATCH] read_sdf rm pointless args Signed-off-by: James Cherry --- CMakeLists.txt | 2 +- doc/ChangeLog.txt | 7 +++ doc/OpenSTA.odt | Bin 77228 -> 77117 bytes doc/OpenSTA.pdf | Bin 143070 -> 142760 bytes sdf/Sdf.i | 54 +++-------------- sdf/Sdf.tcl | 67 +++------------------ sdf/SdfLex.ll | 2 +- sdf/SdfParse.yy | 2 +- sdf/SdfReader.cc | 101 +++++++++++--------------------- sdf/SdfReader.hh | 30 +++------- sdf/{Sdf.hh => SdfReaderPvt.hh} | 4 -- 11 files changed, 68 insertions(+), 201 deletions(-) rename sdf/{Sdf.hh => SdfReaderPvt.hh} (97%) diff --git a/CMakeLists.txt b/CMakeLists.txt index 7622bf90..8e0fa284 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -24,7 +24,7 @@ if(CMAKE_VERSION VERSION_GREATER_EQUAL 3.14) cmake_policy(SET CMP0086 NEW) endif() -project(STA VERSION 2.3.0 +project(STA VERSION 2.3.1 LANGUAGES CXX ) diff --git a/doc/ChangeLog.txt b/doc/ChangeLog.txt index 0451c28b..14f7d923 100644 --- a/doc/ChangeLog.txt +++ b/doc/ChangeLog.txt @@ -3,6 +3,13 @@ OpenSTA Timing Analyzer Release Notes This file summarizes user visible changes for each release. +Release 2.3.1 2020/11/08 +------------------------- + +The read_sdf command no longer supports the -analysis_type, -type, -min_type, +and -max_type arguments. Use the set_operating_conditions -analysis_type +command to set the analysis type before read_sdf. + Release 2.2.0 2020/07/18 ------------------------- diff --git a/doc/OpenSTA.odt b/doc/OpenSTA.odt index e1f378c628c848831fa25760f3bd10c4cb023ce2..2953e6b667e8410a241916c6bc29cbc56e538c88 100644 GIT binary patch delta 40646 zcmZ^}Wl$bL(>97jaCZ-K<1WG7of`=jJh;0p?ry=|-QC?n(BSSQxCT8u@AKAI=Tv>? z$F(yxJ>9+CJJUV8+f{2Y-K#JtD)P`U*bop15D+rC76~YF&>u~`PM_L;+9VQnYT&yw z@X+vMT~d^xe?(3VL}@`pgn=zv>gS&)R@cykX~V?C__vBGGPiF+PNhzb0Yf(`PoMbS zeBTIb(|*&`-0cvV;ItNAf+!U<6;U=RY?&!p?`uQ z+mDDx)lT&=DQN^A*JHvj4tzCEKE(k^$BjYC-#R5SaHf@rFM!MMs|H>R}N+B>~YGSMI02i5j+HlJ@TPDH-)ADyV8sn5<78QAT z1bwVX9YIJ42z6)(i2wQ-0RiDZeop!UHips^OnL^30<}`TZb7vx^Y+a5JkkB=U&ydC#1&qTiU z+Uwi%9zeh5%ck80|Ksn84hqzO@j#+io!*Gejl`L%4j~Vob}IMY?$3S)g>2#+(2LtU zJ?v5f>v+U5&1|m|Z2>H${rox_@D~;-FK*VMnNVp{_HQC&yTIG!9wgq2?PB}(#)9hC zp6<#n#e27F?_W2&#RKrsB984NXJ?P0uh|~YSHS+CxE>Nr;j0eUYu8Das>h*j+s*vh zhg+hj5gbnl&KL|bR7%ieUz<_f-j5)SotgIsG~u3BZc}SggOK?^W%U{D8a&!PrKWzOI9IBJ!MHwk;xXz|+a zW+Tqqb>m!ZEHLo%H-VgW)^f)yY(#ro2gz?E+85t~9&Kt%wX|*nUW)zxocR*rE1R2z z(Yn$AtiD8SJvM&M-qKrBgLrSp`%pgi*4&x7XYB58i10JNUsjd(>(Ti!FTf(TF3JAY)3I{@e2K5*Yw@F@N2b->$szxAnSIhTa zWo)jkJv<8xM39YTWnYC0AZTopG64#?=19Y7l+(f$Oy?ys9{atS&+*gJ;|GYN5yf&Z z7qhZ+6n7p%Jzg|&(%*KzY4Owl#T0Hj30?jbcaNAnesbr-N3@2$Zyk5~Tz>21i`!8M1xV|WgTpi})>paM9G_ALx6H1^8-N`^_uc&#;_iVMp$Md$T|OzE zla>db|7|^=)m({NA-UQ5HxgrQBJ^!0B#Qaqp_;|aM=<>-EmvwH+CPRZZvh?nSL)7i z<>0>{?F-p9$i|6P7pTA)K`%qTxI=Yv)P}&tuS1TpaS?CHdSv>8(|T;qM!`<*Im%|1 zv6(eTiTkxZzP;oB(s%yeot*(^Q*OkzC+C1Tc4t{yQXQ!fGqsLAong8;yWV7wgLrI7M-GhV?KJG z*tNrZdVpA$2!&=ICqRpj@L44S?Rf9ad-jBMaR;^z->eOiQOd~A-=7Fdx-X_;5Q_$S z>@=+`d5KMxuF<5x&2H3`e1)V<)zxF5t$c))fW^sk;I7(EVNUrmeejCV3oEDJ0AUrI znyMU!16nyu@GipH^)^)L+v5>oRLX$n;nVnVtn|&AW%h8z6yP=jt*YcuI8m4V5^^hx z&bELdj_ewYE^cOEh#Z84k9Y;?3qcqmhZrIE6ux>orqYB_oSXo;%&5WswZgO>yk__X z+q+opaN_Og{TPuN;sntQ;zX_#;skmeGUGlMqV&Ud@Q3a6ivIKcAGR;C=_~Y9=F!X9 z^h1k~*~kFJ zf@BO5LP*I%FMK;fkHwy#Af`(e=T+kibKs087VG#0Wv-&$jISS8+Oe5n1*xJI_Tx?% z(zHkgZcHX0J3e79K(jDl=xaXLhcZ-Q|6$M|x*;2)GYrf+x;B&@m?Gz6VL@&b z0&)VP6wpwNQkFTa=vW^Ff*ix!tu+hKzAY#AH8-K0H&IN02N6nfSIn#O7ALmcf03-T z#R-?#V+l&>@mvGkMEOsJnpU;SMz~$M?@S(uk6WaoCYl zWOO9y!h|xWZ!*PWFRJQjz^V;*Z6C^`(YOBoX=z1X$v@Q@QfeeNFO~+SCI6}&N=p)` z;Pu9JMhnv^*2^r5nu6>&(cw2_sNpx--Xq7fDI`s+;wjlRbub9fBrpgni^4y4k~O7E z-03B>b~HOOByJ(Av`8OH0QI(1%Fd^~w;vj03}8*)DwVHy^>b#6z$i3brI2QM)l-pU z=%t=k7LfwB9D2^!1eyW9>+b?qo-|}Cevbk*r^}*u*by2;9Q;fW*wCiHC7^y>1Tk6> zOwY=F(tBlC5P$Z86T^b014DN7!F~zq&itgIpPz_8b(Fq7gec)${}(CuAxiMONZA$pNZI$jH0$8}0tfYwiUGwGW+WaG z8U40$xsaWbS9dZ6oNH1A94AtRlzS3|+`>P3xR4b?C{MYnY#N|K;|di(Y8ZSH9eE()8mejc;MQ)7Xf^*>u>E{OWwz?%eSz>*;d&ZH;e} za2#J6`b}$=w&9#ip-qGcmcB+!tQ(Ry^efP<0}Lm^D=7t+L6;Sw&C)` z1&Cy{FBOXGwpY5|*9~jXdD0k$P!8psgZ_!M_3KgF&F}`O_}b;EK zX6T;?CB_lGB<1uoSp=^Z2-C4fg=$yt{}6C^(jJ8WGuXb{UL`a1|KfRdzx;K;`)EyY zb@2G`aZPc%_yxbanOnKPnfo9NpnEXWqPO9)#ACthMd5)+-~`BI@GraG6Iz|WB(ye< zDJyN;GF_|lox2Iex2<{3Z?}9G@pB4Xvr5R#T5i$VFLkk4^C8c-je3(#Vxq!nsl;lo zkJnhPk=h&=JMm~37TF!gr5{dWBE)M^&n1$Hq^%rAF~#Yw9z;owrPW0SsB&!b)dW@w z-cf4t5I^Q&TX}S=@a5RB#d|bJzFUtoVI%J7fEG-=@?8*?jL9kVJ`^c3VMk`@fUvom zRrsu|*y78|L*!J||9=Q~Yq+myA0ohoX89^HsUdTsdQkx|j!a<0U7cHDAly1%CFvog z$|}~iEnv>*gBJWjt2k^s1{7Ar)VM}<)_j!}3jW`3@}vs<~u(O{k?>Kf8Hn(h(P2ay$L8k%FX=|%M?TH>7toHL6EGsD@cggV zpzHt9iWqY6Un!ra24m=lu%5^=q=64f$|@jUv=69dt*>C3eG{Hkd=fg;dSrYdfF2or>Tg9gi7aYb zYk1{o!+7Nk2T{Zi!e?>ksuVe_nxLzXTVq$oN29t!@*MPxxIdJfE+{4rSGgkS<;i4j`V6ux3h!k(OrTc5U= z@Ox1yiZwJ5*9eq?YlKYBG!UPJ%a)_?$Kujyj&h`=p2;a z_F|a(Z=~xZ46B-81zxWk7O5mWBvf@Ea<%o#SU&e#kRJvm$o&p-eCG8b0 zRLqx3NvWU981Nv^7|^CxG+JLc7<;jkbB6vJvV2R3U8aIpQa|@LawW1JW0C@N#q7QD z6OB4?hJ3`*0@l<*P&7?*Y5_Y7e)z}Jms7SlHO=~iwCEYYNVaE8uN07|7v1cFTPzs8 z7r=`@O8*aU^tHB*GZk!Djte_cQ41cm%5(87z7nZmh|!?0;XDUyi|dQ#tVfA>OZe3A*xGSvHp zJMR^xnhwxLhf>l;!>MQkRE2eZw)DxW+P&O375dr$XY#;PAtd%F@wkj$A((e|IH<>v zjlImFMtQh!-iS?3eMiJ;$;B4}v%DrzqN0*2;nYgL=*f_3?(N9(!v!vQ6JrY%zIgQ6 z6(RmaFgUUB4tTND8zIeQ4va_4Rnj3Q%@+e#fZ_ST+jq)iwTV16dg7%MPEau_eX&@f z5}H&qQvRuUd2mG>;rGu1(Dca(F)F&0DgSfT;3qQTjJJXDU3j+=`iPLK`O#iN&E+a5 zfkFsvMk+fHl%7)Tl%7`V`Oz{ttKc#>s$UkM1c5zBkF(LluKT+x4yUeru4)b|Z{Tbc z`f3%aGK6|zgvSXs>i4K3D4`p@NjjRzGEB&^W{!$ALwR&WII6Y;#dxY_ByAe6kg!rU zjWDc`^uAXTd81HFYga}pDQz{dd`{mO-C;0q0Fo*q&Xg)*sYHxGcK741&Zw?tRT77Y zcx1fbz@TDrHQPHCYI<;|bfQo)KqK2haauPPPo%$Tqf+929({gJE%V4D83glE&> z&lGu~u-&w4=Fc1M9{$xfP>a)gY7QTU%sT8Il{uSZN^ByVc(VW$Z2TW zz|np;rir#$ z%!T;8e)?O5i)Uu(MrfP4g*Uc+8A!z5a&oQHWAxjX``@U_4PnR5d}hZN=?d}0bF{ii zl)24pdyX+v@}0hQU%Vu@eXL~R({B<)j=Y#6@(A}U<^sBYE+*1V10C%dOJDEX5Bgzm z+ebo5moQC}`M8#DT1(V@tU`Y6sqfh%WUZ!4(gvioP|mtAg`PB1C2Ib9P#~(ME(dj9 zX@1dQnk@?|v~-Msa|@t97+TGnOyL|S93t0R>w@wrlYN?FU@^z0u@sw+!DBaxyh<4ovIl7O|Q(ah~a zbYjRR+KNirS<_?XF}Hu z?5>L7EvXhmaEfh~w*BCp>5Z6a741>T>cerEjby-*Jiubxvg^Ht2_N)W$OGsX0|))PP$ zPNrfS1ay#+OrQd0h1=y616y6O+-^67y-{zbN!qtyY3znNcoee1llWh59!}&!j&4^-a2`Z4-rF$zC0w{_1 zi&I+w7YyNbGmGv`qZ9%1v;5vKB|o&$c;M-ANH6U6_dNlQg)C!bFhQxo6KjWut*zE% z^I7~t-yO~PR&E9Zvxuq}f$lzXnBD}bzv`={xSoX41kXveHSm-ye&&vGf%x$fkIeNs zviZXH$~7{!2QJuDJz$%~1I@B7!>TG~UNf&$G#tg#0L+ z6fgG)Raq=G<=)FnAzhHs}Jg^BHd3xxLGD87Gk99?(|+Kt@Xux8H3 zgrz2aT%_eklVNCTg)p-guTq9I4x0%<#UQUW`c0jkh*+nLZP>=^OVEdKyTrIQ^g#Al zQ1DPo*1$3c06H}?hFkN{4{orZVJq*9u%D#wxuV{3;~AMo8-*;}oPIhT_a2|DZOYBt zH@}wvz@N)P$ajKQE`BKyF)!tddkTH@6vAc(Zo+7B;a2@@%&deP68>Xq{%u5fKB%uT z0|6H@jSBv7ICJ+h^VCC45LN?dL79&VVw18M-z7N<7y5P?IPDe9l;8~dvJrA2E&?qA z!l$zYA=e=){p|=IYnpk+G#Zqdn;*7b^Hedg0T4^x-!(auub%Z`(0gDE?VfHVy8ilq zK4O$|g|&~&II|8M?@rFeTW?8H<=b#Y890z6p?(w!h#?JUkyUg;jD@mfOiVtjmhPI6 zeA2-#!$STKCTxZDjwErASR-3=!Z1SJlbL?DaQQZ?aDgW4mJuQpw{RT3N3xyW1_)i% zz_&k$958&v1a^-IE_d>6>=Qy?Aespsnc3OkyS%xkwwiBsod6RHIHZc%ddk= zJv8-kGL&;#qSm|M=nl?A4d}JXzgledCX`D5`bOrHZ?rbwELO)Y#hr%334ni6rV$1mtNbpVoX z^;e0zKshaind9N-Y(gpUMUgood4s(e8cg8DKH%j#tvVuxY$ol!WkxBOvR+Ou^?ha; zUSWSL4Sdo08Ek3pBo*nPJlo$Ek2)ge!irlQRF6&)9dc~Aj^JyB0W|?}h9%aREubtm zMr!tnVjCVbvbCZxFq5VupF3D>4xIUhe~n9yk4$ExD~gUlH&c+HGoh3qz@nH)b5SO^ ztwqomdy9$pQ?|`$T@nIz$4q|klmv) zc}D2nz}J(2{T^}62UA(J>$jXo)4M;i;b!R(jDNZIP3)QTxCoZlOgZe0H%II6wLGg| z|MDs8C^-EkXj9GchYo~JlAW8ngVN)q78cf>VdqnaWbWNAr>QAHzz4e_iOn~IlAj#5 z*`C#oXLb_f;)rm|`k}lXf%ULwk;NNxn=&4FzcwQc!At*Oo>Xy#-p%}@)sV$tNwF+d z9DKch$0$!^vf+p%{55~+4bl(O@|#b_i!)N&arj)cmo>WTg8b>cPOVn(oiygLG((qJ zvQkd^^2y#2^~mp`uO0kz*`R14LTuO|vA^b-Ik7@ZvfS`|9AT*Qb_bCc` z*Xj@LdDP$%lfy9eqiWx}o`R7(@;FJQtha{KjyPCQel5ow1R6q#g_^DZUz}6{0SAhU$`M^0LJf#Rzx<~F znUl=p_7dJ5np=!BzjEXNZEaGewTz#c!%mA!D!l(C3YdRc<=Y zb;QuLE!CU^YqZr)T*-wQp8g};&Ze6)d0n|xZjXtCQ>Sl^-ScQz2{iv`7=NuDDElev zA%}l;6gJtE?`=l|bTLmnuLuXaw`$<~Ob@-r);lin|&flW?6tngl-kVE((jJAnA=o@cQuCgsAPxHT!P5Tr0h!k5 z$A!bzBQFJ@Dc)5uf|D}kEj|n-LfM`Z0&%=KnfjOYYpJN3L8ZwPMyCkILNVF6Jj2k?7YnsCr&SqXlRZ5xDm{9Nw_eH@^ z6Ak}1{KDq<<$w$4XlE-E%8%73abZox1wNq2-y{UZtG48aGG8A(P)1a>ivx@~LMA1hbU{z>qy+2w> zFV)GkG@Vqm&}3peh%5&qji=b_-}X_Ic~a1-ocb1f2!mDI)E$ux86n*>H>vE&PjHcE z53PzF0X}hP_hZ*T`I+4-OTmRFR)y4oRa%aKKlDLu*Xy4z8u3h-b~ z<`B6uI#AEW>3;Vnu?elP6HwPtslwpMulu4C4-~|9S>EEbBMHOE@#y%}@Lwd*XXjCl zZ$L_I`v2;BMNyFjUAVWWnReR#mFkGr53+Y>tAoz)AbUiO+QLq88S zfupiicx9_=xyVlZe-FEc+g>isI8g|QeP3v#Tm-6oo&(whqN+*JQp)FX8F=gMCWvVm z`M6UpC>+yGu7$!IZ=J4_m8_LJgv_ z_b4*iz46DRvQqY88likq^1s7HUJuH-|&R?EH)hsn?&rt@Sd1TKILP60%;PYRY>WMO|#Fo+ITX5#l`?h>?keD9UWGO1C4*O{X;v8y^0v{ zbD@(8xWK+~6Y?bQ8ezp%30d6HvDN&6gP6665sl$P{#IxoMo}J{PIi5&VHte{bHzrf zqKN7xqW+pHYICuw>LVU4`nb&<1BfT>|5+zPWc4rh=YLGvERxdffZ52uB#vHt6;-iW zU4F=X1o;;*qe%z!5>z=@oQ@qvmn=(!tBHcGF?iAVE3C9ejJ7Dt5mfS7UcVkt!Ib^c zB7bax`x(@J*n5<5wIos9uMp55DYd-YpxB|kL8IU1kVL9sH(*l!Ct_}x9^gA6`Qfq~ zFMz0M`Heogw>m1LWg62tgJQnNle(Dqi$1%xQnX*vR8b7~)m0?g&&tvDqJv)k&D_Izn+Dfl(k^az+X%DG2dax3S}S{e;rBtu*s#fpd}CFWaRw*JHj8+NuJ zx+r8#cOyH_HW(rQt^4ZR!j^pg`z}a8JM|3gm`5GVfD>>}!=0VSH0mNcu>)Z$ANTi2 z4@asJ0ZYOg>F8?>ucx1(FE1P-A(l7`oag`?F5QwKgfv6_G>(~ViU@#`9C6skw`3M+ z=uX5zPRMc!`Gq}#Qi276vShX_kRsaI`7qmjo$FITzCtuhCH4TZ3MkyCoKABAO(BEC zI_xOy#=Q*Th?tk7XfwqHWqir~8L}ce!^h9!H6RlrqmSX+^9B4EJ8s}j5OS@K7_1JD zc^_x9d8g$S$`TYwu`DK>rug#r*5w!beE3QOTa8L@-yRSha52ExV0Xexo7 zSYb{9)P|M<5FDH$a*21i)Gh{tqrzPCJ-0$^-JK>C;{0Br=su8W_WYZ)z&xH}c<+m>Bc`$WAIE<1BR*<*PlH6lQ7JfP{t9Uy&SFhRxsHl{jAZTU}NFN%HPQog?ZItLrP%$AktFhv5)9#}@ZbV;)XS4H4`Im~A- z;%y^%9Az~02xEW?^tf#>+(QuAidOC>opHkT@x;!a+KUT!UM>d7ExWyeM^ZmkB5j|5e$SIz;tu5%0U>lC&I$ zobTX%XFv)YHFADxC9{MT=pg(>nfQb2ew1R)uBsn6m+%;68&|&)!ch|L=@y8LT$)#d zjLNA^Wa=xYi~7tgjXAX^JB~hEJP{s2`^4&nd&pxpgUNdl^uqB`jm3e~kASg4S!K_R zythk3{o6|FPkaV3^r=@Obh)aoznDIroh^~q(4fFQ-@566fSY*5Cz%!@xv0;!*Gs=4 zjlq-viJ&AOytTNJn}p*Z1N|!ZTITgGExbRQl~K(Xi~Q$XlNbm6&SEz?jC6q+XKRi7 z7v)t&b0A^af<qbjONb~w0^#)t3>__Y5bN5MYs=I%G?!kG| z&)a`p-ae~Nx~qj#O#5R|`(^U#W(L23jBX-526%BU4SQB;!nY20!QAhijj;$N z)_lqVB;cOANN?vq#y{I#ch1+Jno_bv>U*5LMtwW0yD!ust;X4p*LvX(?2ihJ0;;pJ zwbGkp$E)~U+|;G$8ja=BBUC38($vh2uXhxpsmzZkBE||Agj6}#XGR-zDeVsuJCqjz zf3qa3YH5CJ)G(U!8>s|Rb`KFYB=kLq0c4Trw_%kMlhg0qk;Mo9&Q<4!H64_8?b14+ zCP%0mn|?O^9gK@$iTPGrTT7&8-!PN+X-~$cmWh|!h-BQ9KS`QFyTs&-gfu!}@{G#h zAP&a|Y1ytYjotW4*mf_-9(vj6@9y$HAV)IL->+jM;LheEiO4Q&N4I7szva|;=F^1L zSaMt#$*O}QwwHXFvuUH%y;j0R1I%Ly_CmHYV*{mjOe9W6;M2US4?#_IF68f;d}r^P zo1*kik|w8zZ8M@5>Dj=1ODel9+9_Is4d!K*QCh7j^`JY4<*ynX+BE*J&`mA70MVR- z_;#MtSh19XMc^h#je5 z?mHIz)p~Jry}SIeZ#0J~p4i<;X7#^z2e$r`MX(0v=rEK0PI^4A0Ir=kQZ7Qoj7hzl zR9lfa zj1C}Z%)s16_zmbMLwZC!NaMNVp9GSA)}Jve$_>dD^$9M5IF5C5$zurZsfu%i_bEXQ z=0D)L?psCtu@j$|;xR+#QO27hB`}Pde!?blg@gGh{dGZg7Y;v{6(J55U>Y!SOuE#b zp%K94q>ANlMcP3j@AWX|c_s|D(1k93qFCi#mWd=Ih5bTDvria;JdJK_9}05jSam=q z5*xG33R#nN4sdPEhA#eOU&OtH0cTxGEKMVl=|KE2)60_D%{TemMfUOdA9|ft*tpeR z$}WVG3gY(^!#n{Smg%f9;GU6}ZaRDB2zJra(bhmE9S=-BT{tm$T(Q=#Ne^RsXs1w; zMU8rKlZt5VAfs>NH08|z|0@{B2_UXg=Z!o~Lq=o7>XctHOQrSs5?Dj*s2rR3S$gJW zvzcfVRq5ftR)z+%6}p%oqVrOe-I#kmp;H0!P3@oU=d~^a3x}B|fSS$HQNY@GlRw_o z8ODJ zYjCeO0!TzR0@J9kOt0#&5-#cxG~WX-YmUee@e0x1s=GOSu_|P=MT3PHvpG%)Lp20c z-gGrmXK;rxSH%>>09^!m3naErwiKaxQFhdvyJ?;NRjF^A`eJgH&+Hj5DEjN+6(!Ae zuXvc}zCUm}5xQB=HDu#r@rWHgSA*x;-7K4<6ID@yA zqiH=YCuoduHlNu1&iIuw&X4yrioGuWsZtRLQWG8>-u+-01E{`D5E84+5h3SfE)v-J z*aN+EBniD*N4)z=0bz44kuQaG7~O^fwZ8*A%=WAXpc_rfxE#(8AD9nnlQR@RaYb8BGa-bF99Yx zx!Zb^m1XMwJ8K%FjO7r)CTeM##7U6@lby8pZfqHpl*vkyGq7){b6E1KWmfCEiqUAJ zT4FauZQXozj21iWZauR=U@VpcwX`Oy{wVrbyAK!&5WBvtcc_e;j>*aDEF^HStNfJDHvXX$h-L}Yf&qsnIhR^zn>n< zuM)pX#oW&i!o)L?`}cY@)f%KavARbNEw<4Ki(!!==Z%$9IkafSI2!`o?Zn#nQC0=C zyzg{6fL4$9I~}g@y6Of7|C`6r4x$g-3zoG;QGY})7pA1+E-Hy=%&u1K*^eW5v=NlE zR`)6r2rE0r2iSb6VcaUU0Ce#`252A~w~2x(J_-Lb3Yh{X0l?qkMyjXVfS^vohq2}o z3lfe`?P~a1Dy!$8$O{BvPgT7pYTTfA(;x~bU>=CM=U`2O0vm^w>+j(jlr41ZVb>RV zD*zZyf>ambJb=(Z$*d840spx?ZgiFdaHCpEAbOgauM&NZ@LUiyZ5#vaYQ^^BgmcLq zjJdRspqWw2oew2Uqri7FG($MiG`fchc7JccAHPXJOy%FLGQAV|&@v0?qQ2m_Z_+!^ z5PNz9eK1;9`rYSuSBU}Ri@vozxj(nxv{!81cWkBm3|Bz#HZsusn`1AC+AGi)adG^y zg%@k`NHqE|e~s?1K!qOElC$Bzd(^qsn&ydNl8a9%PrhaT_$A)!)eki|&2j8ZUDyA- zxf#yGRr{oCs)q;;iq7y#8wicdt3n+B`bvt_39Im8ZbFjM2B;ZB!82(ww>m6@AM49Q zJigW@x+O_OW{sb!Ty_$yXu-`L;|Pd=m~ad0hQG4IMBp^8^;!U~*+5VVoS*Netai2X z`AJ`UoE{pY+uJG>dEy=-%k$o1?gRIDoW{-X$#7V19diTGrVi;<3yS1owS7lGQj606 zHA?-b-2TD{`uEanlo44{s*pJDl>u)k`9eI~rU}}LXF+sYnOoz%S42!|nlj`%F7ZdD zM7;`9a^0gRdXe`v6#XJtcLbcCI{32Es}wAzh*tPzj+HhsMw_8;e4yJJ(iYAx6OFzY z9zr}8!(uQ!JVv(s-i+)O7z_X_n{?)n_Zvd`)1uFZnJn)&iW*H5n>ypg0>%+HUXyk8 zSxPT|XZ)c%6^u+qf@rWT6`{?73KsP{S7kb$A&cT0^0p_7G?98BOa8JiQ|g_>{kXi| z5oAnudLf0wH~Aa@yqsOoNsU)Sq@D!gY{x#(NJ5kN-jPeX{c+GBNpJ!}W;smM45m1y zZs|LadX0JAd}gy3XPl3%vP(O1S+D&^ky`OaojGa=Cp>o*k8U7z+IcQ>+eT~Vr06u* zezG^u3U}OpN7)*!!CUR#+mMVm_8#zCuY$jAhU4H)KObxr7Mr~6HYquu%!=SHGXCty zhoK%7XHRPiS{YB%z$5~`si0%J=nKVP+tE^E)sWo0&FJi><<=LL*`)ESs;Ji$lz7N0 zichi9YMa;ZU8l=zI7N24)ulvP{m#phUKg6L$(DJ%E@$}_VUptW43kri&1vOz<#&|N z5Yov+YV}AuV(AD5Vd%shN%L2ZEenx|Fv$I67M+ZM`g;^VY!6C|x6 z1uQxTiEk&%5FmIt$^V9=R|hnlWL5=G3G^tu)>QjUJoy?(_QfC`NbU$tL4jlis`~L4 z9X*&p08|d;V(u(lg#;#Mcc4-CUneOC@fTiLcZk4)1O@B8k=kOZ2SdTJ@RJF(y%FC0cIXWqN z{tY8{NxS`>R(@HdGsFtJf(i zMkYiE2hG*CBW1i;MpUU0teDdh_z`B5(L+#S(i^&K#Lr5a>FEDD+b!zb1}()%vgOjM zl-gb^P1vXO(5X*4B=!8bZ@*=2c_ssumAKr|d|V$DWp9V%HSH&FDcWJ;rQQ7U!omK+}td14d^j%*j}nI{3;0W|!(HK_O3 zQ&)`=Wept(i!78sBboi>&m2wWNovMc*ZHSxwNHFZMyJ``Lw`_p?a=IWm(FcZ+-em^ zc#O0ySFqwX(np6>BkpnYHO;FApJ!irMxz)$SiYYo^rlDQDZYNOI^C6+wbhOj*rAT&u5A z6a8kQRQLOiO9+u@;OWp<;Xtx%Yby~owTdKj|I9K;7y0WgsWE4YgwT6I<(-BWe|Z=V zo&?(vVgddDtSWMSAShIOF4ZwK5R@ECtw(;%!@f@MyvuuM13QPC2*7z$$J2j=BbYf{ zbP9&}k19gy;mL{uvxWh^c7^n+t#`_=-7=c+?3uXon(A!hR`iTt6^E%R%kdeq+*rPf zMw>imsk})&ZGDxeXjk3XjDWcYBt&Jr=GGEcp;4X z=e}pkzZgFjJbfDk;|wgarQPbYG4=VTQLN?jQxP6-aAz&t)Bt@OPFMQ^_27_`dWEye z;J?EmY^k+qE7t#{kxvy$_?r?s?}i| ze@vGQ>+LNSAU$!Cv7jo4eK%J4$}2)5gt510-0#{}G|lwrr0s#1aBS6ZNythDhh$H; zeH{{#`y*uOa1)Sn^feT(5~`!nBU?tVM6(IUVP&6IA=6fZN_dI6-MW#x^Q(K|(Gf0N zLVOHx&H){#r<|(4E<=ch{(-_h%KfzgyY7Hg(czy0ZTg*gJ5<+lAIgtAB4{E%On}S* zNs_|*09q6EmKrmeUglD256XDpThbWDR3uMWMyeU)FKmF;=h=>|M38RF=jH(DDJNvi z#!*U?_gqKsElT^o!){|}uk)gSbk9!?eOME^QM#agPD2d3mP0bMfCT0tk+%bx5e!AX zojWQ(S-V`lK;vUelY2rUS3C4cL`R)MB14V;LhnOIatYggW=TNSDDjRk4TtdVJ0>PN z?OG1y!vh-gr$cPZoY{y@^`a%Ge;JC0(8HcJ%KYPR_h94bq4Fn|-?Y_vFG_f9)Oi0> z`)YG4tel=g4aETe!i)^Tl-C~xDFO-YzdOe86JiGH%^Vp*`pGAMQ&>fNVt!cHNUEMW zhfcpFkKK>4?uW%*e(Rn-vo3>-rZO4JWob{@$twV!zgsgFB*}>=+qm`J5n0q_(;(Tz zL)7UK3~QLC4*I=ff!Eoe0q0T5Vq~hC-6CrTn83Q_p|OvX9$kZ%E~z&eV-pB#V!*4;y3MJw%aV9{-B%TWS-??Q7AXh zXx?uYY%kv~Cz?}tm${EQfz34`97H)r?th&}PxelsJ9+Y9e_M3-XN`j-Ny2~sPJ684 z{=|ylU{<>XV*>rT@QY3Gr-}X%ZRz5brNF{yn@{7$Q72w#P3c z03^incP0(Pgy`5`u!??u$_d})3$P`#$l0^GNbF;G2jA$fpxsA4il*b=3rI8&f~&wR z(e!1@xQjfP$7-8=E^IJ{MI&O?<{;+w9Y$B{zk=3f>WDunq|Ne`6RPSXD(u+;9|9P^$7hxKHR6?#V) zp(0`m^+x;!{H3)0nZnOh{)|}ajojLN5u`Ia2sU=Pf%n0Q$s~)G;u#I|@xvsYzySmv zpZl=m!4drV(6FKd?3lviT3_SzfUdCg1=TU@y848XW+#YW(0E>e4Y}R@tJo2|c-(nu zGQB@T9(+{4G41!(3;kb5_Y-HEpKMvj8!%RoR4ErMcRt~pyOB6ne69PO+TFrHV00k3#!EBkt~Cf?8Ut-U_)VHd!YL)8UIg;YjWPLZ~ly})@U z8EndlJ6vI9GdwJuNHHw(CkU(nf{(v8ly56yt;e0Yz`uALtF5=&x53O@pyxGb;P=AOx|>5 z+1}b#Cts_ZdH^2!RCt$13_yC-*bE>l^y%*9D1`2O&kNq2Ho*KY&+^7{`;9-&$;wN4 zwNjAHsb91h12d7@Jdz_me*NLCt5sIl!dZ>A+JLazFHw@j!1w+%_KSizBCWk_I8U5$ zwAr1B26}2bH|Xq#upMGK@bf3{ur6zPEmft~`b_pCO|ZRo!$gxSD)3QwUj_r-l&Tbs zp$#3_S#Q=_pAi3cLmDn6vF=>MCYLzsj+?-1c$#=M zR)@}Ub-21QmW!M;fDPxM1e;*Q;T-yGoNZu~vT}~{C(Be_6J@?E?1Dz(?0{r>x3~9= zVC0&LXwuu&^dJIMa$9q?^ssf^lOZFjsoQni3tkmyAd=Wu!t&)2b!if%bCeg;F`x|{ z?>m;;V<3bif`4SmD*1QHbPayNSG;x$u?U}hpMN>05$v{U1jyJGXlQB>c)3o(E?3HyQ=$9e;2K3Q$M+@LXS@h_!3;k`C=|| z3F20;G#di&sZ}#lFVVwH%iF0c6eLa--SPVCs`Bn4Q{*uJ4_D_Dq*>EN=`y>j%eK3$ zF59+k+kVToZQHhO+qPZP-#>FT5qrnVi*uPLPUN#!t^>?7g;`!weq8!lt5(gi?jLme zryI3hOd%vFy(Ep;YTtgBAA0FX$}P;#Q4Iwlucrmj??lfJ3VFv1c=`Hh`8g>$`px_O zNq&V2E|1b3i}6!Y8M2qNW9cV|7m!K5V@|c>)7uadueXN2Eg)m3VEnsLwd~!nOw@i9 z0z>GJz!A;y&R={OUGr#D1^ygLPxp)WmP1J`%wOgG`!v6O`Jb%~M}s9%VOf1q%sguK zovic$neS5)&-aT><9+)c_O)&z(`>l!Rj`l|7Y2R%?P_vKJ`gMKpb^oQyw&9yQ<!@^^K2=?Pn)o+SkHm?5K2l3}wc;cU zsTD@-&jlc7F#`9p;_~Mg^NbSiP^e*5?gFlWqYqA)slPV1&b1uZe~9>m(6^e8d~+j{ z%<|djq%^w&+A)tU!0SJ-S!LFm6_1$GwO+u#A-g#!41U6u>uR-ev5+uR(vQ66?|LqG z3MMYM(#6eIoIT=h>p>oWyq-3~S9XlF+`goT1^z9lJ-+7XgsOSp+o5s-pPW3uu5bXO z7IYLd8r z0(a)fX(OPq{PMYcMD9n|ElLm_LTi9Wq#(u_UBsV?QhRCU*Z&>)SlEPWc31VPU}MON z3L*YLcs5qoyd+6xOOXwwd@2)9r1WIs)E-Yb5f3bzDcg719DRO$nVu& z5q!#UM6}b&21Lw!ZsG%eAXF>sk}K;2D@~y#^i*bG;%j%&`AmQ@wP|NyQs?q@fzl!6P@u9g zx$LLtb|?Lr;`g#qxeA1P06@&Ja)})|sLb|5bh(rM@qZ*{V3MuI=z1qXm=vsYP}vBJ zf1!PW%o>WGm?!vw)P4rMt!-boU@@uJHwQY6nT>LRS$!SY0%SG+%$8z)r87zi)mefH z_!GlMTM&H52}20oiZ@1K;6y58|Fgyz?=BQQYV zl%Ll#imsL$8$;3)-mCm)tE4{u(9capmb)%*txwyKkInUrBS?4DxPfD z{zdP-Iii@Pq#PRt><IS=edzgD+94wrLhloADS6wfz#KIw;#m_(1vh$X;jVi7r)B;T>Crz(2%s`c0r zT$Ao@nx84|a`=nLxr_oHT)stz+(1fD#zDKTTppZ~7!3XlICAObOar(MLY`xRHB&4P zXF-*}7{Qj=#;?IGZ0n?;IHLk}&9-Oj^tBY+D~6g6}N! z!=u*3HP-_axyqQVFD`pDe1IeVcXOe-jE{r&b~-@676NoU&U(;ZsVdzEnk%k?pJnxp zpGbm?SRg33`ruc4kc&_uB@hs7G-;hMQ&#Um3j6Xike%5lxJ#OTRt-sOZy}ZB*eL>Y zgCSWdke7ltaJ~zWxP$y3&i32;NI}v|4!D-r+_~rkP}mo?jz0+nkp}GJ2nhwh^#3P- zUkvl~)5N0s6gD3(G6P%msy=O_z*ySFWFjKL?2U)74o4fn>f=~m((DcaeGkNFEZr?V zJBiVwI~9&N4kf*U<{ZNO^rCNWI#r-|r0m zTXc^A$yMBMP!+{ao#w_;jm4CzH_UIqNKf$(!biG{>Y^z8y31vLr>VafUtfFVFxwi!%_2wmhUE!7CR_0n^mLPxYbq6pttxJU zL}bzbh9Af_Y5(8sLxS9-DDy8&3f)E5ffqE36RB=%TpfV%zQ06r;;vFQ3_v?(%5hch zd%4VFufiX+?{ceg#-j4fo#;)=iTSK?W>y`tXF8#Gvf5U<4p{JORa+J^WbZ!7h*18k zI&c9`Ch0^-3z-t4pq;X5Bt`n8q0t?WFd9dp1oCf=!k+|b$rOifI(N6`S&rv<(Hi5p z+-&Czi3SL*l$nSg=L^xqR*W!|hN^Db;pP8ucDy;{iQ#k{(WyR>Wfx;UXSKD#PJ-WAO~|{J>>+L(dK5av%UBtf$jp%hRXXfAM8S&8a zm38b9aW2^%sq`)xaSASO%H$*uAoko+!N&;3*pH)L5PfY5P7m7WWRghIeC|EQIe^9b zHWG?u-26K@W+<5g67xSMtzRf*Hd!A85D_4t@R8E_jSNG8e0A3O1&R#&?!nUA9!cno zIY4v!+&yFl4PgB8EO+1QZoOV!aSQR%8%Ffv4k;h*C}`NB7~4iJuNYG1DTNX3g9P9O zpQsPsiFzT864xu9iF$WXG4Lt6cLxh5>Z6`f-NGwfF>~~)=(lmg`F&USl{1o+u_}}e z?UCFSM4iB1h6j+Kx5~$xod?4vAl<)6@;!IOTd_U!XC869aYv+w5xUtG>fKqKRGuQC zFoE%8LWX-0s)Qm~X?o69%7h$$s4P=Ukf1a{)^Eedn7hBy*0LM2?-ZrvRhDYyLIEF@ ze(ONNFQE{QR#rvCqsg!-c6a>|u0)Ym0lUTrT|Rp)qyZ?Jf+O^r$EH6ayL&u-D)*m^ zMi>EO^vc;?=JDAkXvTx8v1odfLlwz=8jEYjOqK{2S&x6=2-s4XyhPyUk1^gSVbjuu zKcu1?xKG0FaUBP#;XMdM2GLHZjC2Nuk&rO4ZqAQXKyElr&OQi7^be|AQ8WD}nWIyJ zqOmfIGys@?D{gS#HM%UA6iX?>#p4asw`w|_H}x;iO;RZ@)?jYoljB`K_YOp03mU5;FPk26f{m~Ym{zClIvYaqog>gYT?X(b_q7J zS&L-1ZV^tRTdSU%LqH;UOGVL9{JXo^>N?WAWCJ*h-jSp9-L(@hK4g=C^`r>!B55{0 zY+`go5HH1{x52SgW;=8wt%AOxPqV@)07>8kyAmLvi{KF%!1*xkdBp}Hj9*6q0eLPK z#gL2g1fpjsAuT(57`#}{Te;PRWbR;>GP#>1EHOy z3dp5`6T<{n)rC zRn!nt=&Y6&Om)EyHA`Ezes+-m?)@)e%>z4s{A1kC5G6)W+}~u~;D)^8$c5E&P4n3i~UNP;VuZGh1lPYk5wUjmJcI z^QicUREB(n+gtN8yBpO}b_b@T#CB+Np~c|Q&J*v2`P@0JqFb0Qe$d-{_96YvwzWp#{Jj zAx4Sws@YslLCm@3nG*EOdeN_OK`X@!$cu#K40A~G_0+p9`DrOR@Gn4YhW}G{#Iqmiw(JHb~;>o*8#`r*5=R~7$g|0(W{U@HGatO?F zVyp{rG1?$KY%O!!O(iC4aRI@U+)RA?z?1{)C%28HQ7pU~2YuQsHAp5_fECg&mTf~m z@OIH|?^t2OF#532N`M7PWWz||xaAd1_8U`!(bjbls1s z^ZxnT=_372=Pe;Aj&OvTxf$YrzK+Rmjr^I~uZfniY7+}^PXH>u^6&vd7nZ2&8(N?h z|65jTHq=mYui)QDXm{zysitS{S3-wivE|VfspFMUceKhkH<(3cw@)Bj+cB?yWMcYY zje5@D6s(s}d#cE@V|lx`ehxKWivYW4e$1~V70_(-!RD|-4)dUb|AcUqj7KAuX}Pz5 z;})ME<}8g(4d~_i`^7+#Pp9De%OAo#->wOv2hs|X{&L#ojwA2oDLr-xSBRJ`+f{3~ z^_^w+0GV9P$MSB|EcefA&Q*2krtIlx>7Sx8GJk+b)B43a_SH)W^7|KSi}DRr!D}@A z;5C%se?m=W5HzaCZQA;a=+Np1%d8cjUZ$0{j{X^-TpKEr){keMzVtKhlkHUev{OhB zU2>j^k~)ZW5T;cj&`|FMy}(R~?X?zpFi=Aqca(FAF<6CWZho_f>;@u$c)?3H^F6zl zHWRI$4g&d8!*W+P*;YrB&|=~ntXxOG7=*Z2ER~9Z3X4q4pl?7zEfqN!7#4@Y5;aXE z#r6!?LP}oZxkzfokK`$IWO^B%4Fb03x=_Mk1CoFU|J&5=&jbHt@K*vV@lC!dL1s0q z?UA!m&2vO5)X8N(M7B&hkx1REz6ob-NPkPQuJpRhPVPmCy4aHv?TwRLR){qTd}HLc zm|+u+xjsf!omYU9XQ!V3RJ^;?{pr>x*FpynkX3>TAMR0l?yLz{Z^+kDaru|illphI zP@>TT)^ZhNTmk23)K;J}M}hO%Et(TDEC8OX!j3s$@3MT0ZoZ^SL z%Xvlc4;| zQ+DmiI|HVb3(tZ-WWMHP0r?>^T$QaOJ5%G^K#T42(j&cLnU^49MtEZ5Vng$uuBD}| zV9YbMVbt}QvSTnvLDC9$EH3r|SWwat{o~KVSRq@B5mB-xBjPkoT4Ve_ouEm}ByS;+SLZ2-v8Cb= zS;)$AQEb^pVVuL^xJiN$IZLTL!D_9MN$7)!_{X|(Jwmn|ykAX3t1_SX`F+RE-FBcH zlocURxn|VE2Xauq3IO4;W`BV$fT;>g4Wz{g8=^vu;&ayBH&cVXqo2zQ!-7)gN%jg( z0R2QG{rqwxEnj6sBVPG}#~wOkKN2H4$F7UyL+Y-#QbHKTHxcM9D3YB4FGJ<_S>#VP zH+UUY>$@P@S7ajV84DNH6PVi}PDBg3L+J@>cXTrSZo|^^8UV%Gaf@X+ag~LwPSNBx zCYp?(q_YluhwWQ&y@yt&uY{JhjTa z&G{fzvcu$Vy=t+LkwfnP6L9z5S86U_hg;w9a5)nl5c1eo^6P3|^{a{)dr)P+#oS~g zxJm0p!T>;jIk%VP2wjYk{JvUYh>)t!fCP&Pg_uUs%yiy@!d&%oo*=qQ0IJJG?xO5& zqfT%WrduMD&SLDn%ou)w0qD2bq%SWL%WjMY!*0yrBuqgx+$+MC9t4nUy#b8F1&Fw) zrbU&U=bICHjr!XUohnaVC*(e_H~YCE9nx&G!5&C26Xwp#b&Cu9+%~ZY`Wp#UN zWaVOlMUe;%%94fkkcJXSQ~l}M_Hdqqo#uxgxbRFZw8=M!(~kp4Q{Mf7MOPr;u-i{S zDw}J^hhjclqak1ZD(A%_Oc{RlMUV-FR+W(S z>>dC$uiw3AZzTOPSG7jmHy;wtOS~;0x*g&9xbVcCXlM-+`g5q<7YB9M`x}zSd=77p z%tUmH+di>$*PK_jhg4I$qGaZy|M~kdD5&2{To?S+TxNdbclM>Aj-oPdl+s+8PbS-f(e+g6<@An^ivkl+nm&I2^7=xx z?Ftr2)!ju@nfQ_C2krT5XO-UpmrPQ2h?y^+dmb_OxYOLbJzRBoqmb>HJXOZ?XAAHf zYtXZ&@h_sSB_oy1Ju9;1zy7Bk)&q`zku8guFIr!8!+{X(HBYK>t;KsCmqyLOHNPC3 zwG8X8{&usK>0~N7vwVMMD&1#_8C+I2&uRq>OuP{G!4%rvH~-QV?K%uMYS!_kw%6qP z4J1Z=u=X_9a@=hBaM@wE;p{yNsA{`f=Q@?ybkWXn($pzr`OR@p^mLJ{>44GXF}tb1 zSQ4Nz%DRZ6^e1M3FOPTv`w=ALxHiso-~5!zV0l#x%Q}Qu53!kLR#m^i9U`|#c4<7qM>G5cAquxvm%J1qZ4Av6g?P4sJ4(r_XthSp_P)rTvEW8wJjg>=5 z{Q>;!UayAv*}TSAse6A7K-BD6S%%l6Q`&%L_!Kd$u6#gUZO?*C^{=b#{^`H2uw}Vu z?ZiX~H-<1WZ!dm8Sw*TW#Z6(Of&*^*$_Ko`-gVKTp!evRFe-A;^S{BO`#3I+G=qrN zCMTZIaV}C1+1GAhS6_!Y)fGHSr&z7zZ6~RUjolfG?iip0kT#==2lDA^)etsNF7iy> z&642${>Qb^cD<{<4)rs-q==DfgYbF!66U(2z7J`vauLUgoxG}6FN@B7U_A0GJ4HEo zNjGUMV;r=f3@}l3sfp_%j7hxeA_r-c<1pl7rtRwZ{HNnVe7}jxq@*D?Kpe@bw8%!E zC98=*f13k(H2qOlcU}I3P6j%_U)5lUBsJ>UC)^Kr?;P^jb&hPle_7`QyT0fSj#t4_ zIiTI&0PI!f3gknImOrI1Nz9lS(FscR&Yx$`y_c#6e>;IY-^Y^U3`bHoFZ z>|inT@1^%6`4gfYqTBF;Dz6Wy0aU>0*}etbFJS;9J0aSnjhwSci=sCGPF?+pPRCrLd{^WQAzlX|NE(|e* z#J;0E(o5rZ(J+6OgaiqT>J+`EeFu^)RK`yy9X5LJ(ziZq>X6@kD1EXN#^*eB6%i}8 zE9roXq0!&Z(SiYSwWr%{uAQ6<{O=5|oRIA!{rv|%B#3)!-Ay6;1ENu;`Z5L!x}T@@ z<;md52r+>mL<_3yAB!9MD;k>&oV}Y#*#X;3sVBM8sVqSo7f=SB(cP(F^;zNVf4bm3_kVub*1y@$y zxt~GB+Uy?aWN6#3&xt8n-X90IlFbxHApZSyw4m)hnLi-geOpfV2zJPL26&m|#`t~P z>t zq$=6Rq*_`3>EC}X_EmW>Oafgv)O~j~0sh1~cv_q9jp}2zqXzwBu_F`4gSh)GdB5iH z3~X%Fc5}rd%U^^(_5T0~;A6A7K-KBjjeS^mO6G~`OXY?8M#%_RQvX8&F@Q?k7V@nF zs9;*e$bst+l07gFjjIihgD5vKA@38I5Yz&i%Cn1Xbu@B|ZGC*8I7GfX3N0tjrRDeE z2{3k1&RPM=%~&9wm(*cIpo12c=W7kmknST2X$n7pR3sQ=Ll+SOKpu=S|6*;{I^`o+ zxAwvL+MCJkv5}tdw|y*eHYOfI4EQ-eln^P36%AM@ZQ0z5amc*@weetlVjF}IiMW*v zo*&UB`ai$gk{r?ueEvs+DAV3?-8~R%0vub|xIFsDWZjr3iw?>8^yKXbS~!>Id-y8C zH*Q_VK=?pZS}ZjKz$-R&Id~1SrpdNKvWWhGc4+SuLG#e+R%bIxGho%DA${l;AMn9B zoy?NvV8Bls79m|bKQ14dU;w%%G|9(;$Pz0(_{#{HVLdBzf)An%y_z%+MR)+$yA!6f z%T_o!&mh{7gNXaQQ8~<(l$RQIsG=vgzqZR|p;?_je9|-@kUjt2lEMb=w96R%XZP@K zD)$3DKW8(eaxZ(2Xzwv1yN-U3&R`-175+9-pL2@P<%l4|Y2i*1|Jo?~H$*Ipx=MfW z80;nfWQW_OVkAA7jSiDTyr#lOp;IJ2O)x%-+8CQ)tTBHGH~ZIfK3q|zkA9@SY;;f4 zIoy;?PdZmTU=jL~K>5rspqft3yrO@gEw{gd{}Gb1;nC*bkkJ;I5ld)d&4$mbvs3-3 z`2?^oA#BeAs=^Z9P%t~CftbM#<87s-5!ZWv#ffBg$dm+nAmJxE2gs8ReQqVBZ7})) zCx&!KAW33jD6|xoB9C6HRB$JpQ)MquKN72+6V5IGENWR4BfG7WqvsDz5(sjwdy1$+ ztNSKN9wv7WlBJQtMH7?o9Dd!~iFd0erXtrAY(@4YSI&(F`}s2Q9Re{0?bXb1$+N+5 zR$85=qhhz47z9_R)#h1}nVhDF-6gKI{nBQffMD5F%EFm(FpLWgqO@mAGYum9ir!S+ zhbj&Q(5~r`%JaSyth1Xg{^1N3@Z=~`qHwC#bomv$>@;B_M`36No>Uo)G8sKy>*q=%2e+t;RY=M=?vc z#>=lY07xDN)x(d-&-GpJ{;8i)#FZC}slomBqx#)d58OCQrRBU(E|6-dp{7taJVz2& zvetHl0S`!WN(xgnL7pQF2%Zuz@0;>?sGPYEW!8~V0LT9CdvL|oCp>MAe}(~awI&KE z3BAUCseBmdypL7ys=WSj6oCo+ZAWJp)5zf_b(? zSaB3=3z3b(+PSY>B3m{ZGQQAhfmrZxs4cWTavB zH!WOUy0~8@p)7UDh*Cs#fk{oenJOHB(EMxPq88gw$%S{SH`5@EbD>^+P|)J5gr_J_ zvS&bA^&6sif>k577k&_(kJr*1*o+E24U5Oj{2Fow`p*}P^h}SrIr#GSh!G>TOJZrHkiz4!mL&c!Z*iTP!y`DjAVFo4uu{N(Lt<70WN zInHWJmGHhGF8g3LnRH|Bx&eE%aDfT<9f{=H=9hmkpQ3RZl(0pD63WaO=p^T5&qwDb z*H~Foxm$vprjc@-%EyS*NW5C5Mg_oPsof_cqnQfstm-{wS#E+mEnm3tNVD9?**akw zTc>{q*jBA~{;>-@`QG#B7IZOd0?heS@-?QGQjuuxw&4q*P5$CRdkfxH#xjJJyk#I` zVSR7Pyma#cczq9b#?=eIo&r*_?AG@}SF-~2oBh_nv*;~yB84mKHk!N>s}0~KBS@Q* z5I1qcv<_VYTs#HoOR?hLHSbDDHZGrkW&P_Ggy_LnF|T~Z=qZJh)kt}VMP%tJ>Z&z= z>#lF$YhvcndN%Hr1$FmLKV>KqE|nGrL5)4fWaL@)b$q%Hc7RL%NFBrHz`7q_zn=|T)-s#8360XT=`01O6DNtzy;iraDoa<)0Tbl@!34> zAPejPrKrTmYbH}O@dpGV{_+=-yHlriUo?_Uuep(UNfFlv?8ZSG81Qo!q_vL2z^A10 zrlA2r_5`uXrgPfA0Cz`ERveQ3BHY%8&DHm67AVI7D+(-!fd+yIRA7L_L+C=_%N9}@ zEA+ztWvcK{1m?XO@+fb2z5sS-`Wg4fGj6t*uUK~rZv!_bAu!m3ZU3VHg;(r@T5)dR zcEISoWzO$*S9XO5=oe#0LO(f@5{L~qk_UDIqwL_4<&41Vwj925N=bPvVc{4<&*^2s zNa53s{rj;ow5I%@JS9M!@SYrl%PL;lH+gp){58}nQ8PMtY!jVPr^ zG1cF*@x*7maGGDlx+6ViRvD@sdnQS&oWxoL!*6qQ4!>rdDd8FD4 zHwei2t%kMizYZZes~7vz;)hC>W&JMYfKt?}Qz3*+-%HKvW>tVxh-+rdM=u;1@82_n zJ9$d_9A+T-bkLFLZzn+Nxmnx4mm*cc<}rUvk^Hz*ICU^7jPQA-wGVeL4rRU2cGnMN zuw2Icrhko!!vp`I=tzw49 zQ1WhNt_Ta@u9e$0CYC}jMT`a2_Dy&=FaC3jdn9nsQ?l)M3w4APxT7e8AY&eCDJQ#= zxIJ;EP&SXjJTl#9jC(zikwqeXiW;59Qmo2mVxZ3&rM9Ho?Qy3eGTjoY%ITo>J2LnH zx7of%y}SL+=*HRk!O+g9Pf_W;DRu(ZFM?cuj-v(8IaiJ55}$NHk#f$I#O!`+y5ot^ z-8FmcT6FuvpRie}C!xAt>^@Ib5k4>R?xnqGKl}ZDD}f38)zG>2OGv43{0{K!a1fIO zP0G4n`Wjo(Bg7S)cw9gTpw}3u;st)4u3oAaVR!7iYEdXM=JN80XxO-jCa||7^

{ z+1LYw^J9OYo>0QZ9Bk%}Ct744?2UOg!vjUF0&16CE;k3F;2I8FSXFoQtI1zqJT8W+ zA9me>ej^{KexJSX%SL$Hr%qOhu8hgo%9;0okxq7u?ZNLa4xfQn1Ru#P4HE_DuL_0v zO#r+u-d8&}pN%^4n10`+rRMd<_soZGl{(UhimCqaTT%c zcD&;j&*fjJ0H(AR-RO@c3boY*C)qn1+|0b=GFMz~4j66R3VH@}}@XEbcuPyx7Y)cL^%fM@gwwNGSCE=drLAPk3ts()`|w)x0f(ec z>qr439aJwN`(2FLm4PE;i?KTmqbe%(>W^^9ZI;n<#*Y4T3|< zIXnMHy7ISF=$TD5=27?!1G}k0${xWxnX@$-QfnE|Xx7^gx7`a<5G}DwJ8Rnakx^x) zcN5<3Z#mQlW{swmdl2f;6^(PVY_kQG~Mi_nGz zj1^Oxhr2_sX&nf606!N!6*U>ZOzN~3Ia_X9T-gr?nG^hEzY7smXw_?|dg0^Is`ks4 z^5`EU;=ziH)pQ-*%i*@j5gw7GJ6S9vyX_HW`8Pfl zO9;B&k&}!CX5|oQIF?>b8Zz)`MpY2c0XJr<*qH0T@$$BUnL`1r|29HPUUmOX_Jlj- zr_cYY8moq<%0nTJLg!Llv-!N;;l5g4NYU8>_wY(Be56Cx7-#69SiGjzO^f(!3MD3^ zuq$}q9{drX|E^V^%!~q0bsTcx-xFgsjc%W3V3Cy)TEK$CDx@}AtP0ws)xP90of4b1 zk&5d7)&O@5rp8s23x9_*&(%!FuYWO^PDPkYD) z-mgZX?{>6wteOa_oUZDLsutI{pb;RvPhB09Gm?k%O@jx^Oykb4M7agIyM3wyfgT-J zJXdpqMhV&6%cj?}m}E7-d#P!-P|@y{QUDz6GI;JB;fYEOp|ba~6M1B3iDN`n@~=9U z$~m-m6zaw#+W9vU3r^5BtXImA(6T9rOtIL%tBzC&0~)+-U%ob=nMghfwlDrx=n`0?KF1CD>O0{01Hn2<#(p=NN3LG#0@}y zx&u$IE8?I@ZI%ePdzCccjFjxzYhG9M8TnU)gx}0>xL=G6y9|UTyFO+ynR9}m=LD{v z;23fOWymQK3PAH#fXqxgdUMz_j1o4n?>ZzL+-gw~Tjw+3^D~-+@IXUlQ-PW<~h00O42ULLj{q45D}WKU&la7?hhmNNdI4I`T&Y7zm0LS0fL1ZG@yTE8kuC#LKbA-Kca?oB>NUi2oh96`g$K=p( z1vHH-Dh$ucOHwcwtDR>&01>N3uOb?oJ=gO{Rl_Pf0PNfUVl!jNl+%e}r-rL!tPAd{ zwl8v@GvcRuY-EdBNMcmPls$zm3c26^`I&fKH(fMv`!tcAb{$FfyLpOwBj%5fCXQkP z{QO?$bDhZ$i;8Q%2T<4-QWzCGDx^xg;O(-17R(CpC7oZq6BySnARb(Jl!EP6br{ud zBziTh30C0EmMYFO7hqI}DduAP_yZ1PNF8pBpiz?pJxjw<~q!y6)!fuL=cq7;@qCUnBiNjA6_&GK0Y3t3n}@hlOE_ zkPBLW5U&nSB=YBoRU?gn;Ox|*FM`XI#G-?Z!3%yU)KrR|0Z}!0onxe_Bl3e9TBA6F zR)Dl#pcfjp<^etPDizMIav0XOV=017%(1QM=Q17v_b@m%>?~ zg)PxjKvLCh%U^fH7ZAHmc$H**=odFw|fT*te1F(8VBxx*C z&~d2!HHMz~2v_gE_}#4@ir4sqDK;4a;?(5R-_OCvxu|=v;-Q(_>ijLwTbxul(?P~>p+JR#9V<%VNzd}-=`0V(1{rVAT~nWj@lfLuRy$mnxj9@G7_QATvMU0KvgUGs zCo8EGvn-M($Cet>ca_}fD+0;(cPvbYS18rw5u3|q!J2|?IWF}JEF5TrPr!LAX(tD= zCA<4NP*<}HJ@aB%AUm#Bvm2i1x70G&0gtb5nGkGv&^bkP-(fRD=Td|~qGR0O;IMg$ z0Y-)(u{%Te+*rY9kMfUdl5?W^WFM>}zkb8DHE{r93`l+-`m<}ZDT zlNGg`XtY)#8|5~YgeBv%>0;*>74a>uO(_HSv_K>o?f?AwdgK&s&#=1+ zowL9%B48i-ii2O)q@@v6zDR-L2}tM=l|itiAJUyL2vi$Z@}>6N_dr*6V8#hiCu(6O zRCTq{{$2TNPGNh&fn?%@sl0z4SVSVIpjm3Vt>R{_JDtEQJaHORUqISG0D1a?!{xfcf z-%B^naelI#@lAfKx1xz+2(lwZ)n&Is9$K;}HZEy$T+hH$f8bm;y@HclJ>obuWv0 zyWMwvTS+Jl;ypv56rdou;{l~?)rcR5mw^iB7mV)U^O_I{p` zvcBOTv>}Q6*(^YzCdggU^9hx=@q{&nMeH*pim@t$I>lZgOn>(8O6wc{ij*Xgxh2VX zX{V=n3#2=83N*wY_8|iQx76kkqGM6;Ew!;c`o{QY@gDrUr+%3qP@tLdt2`h9#GDEJ zDzD~xs-D5@^YeIdJ2tDKTslO3oj5e)p+2&w3ngdI*ja#9`7%|fcJWGiwDys?R(Q?0 zy#%trzPCeXV{o-d%VkC-42ltr+izq6HO-x<1-6nrr7F>$C?x*Rk{uCfLKItKuUgAX z)60&EeG~3+8c?7R*zfbD@F1%;U%d~I6@VM+_17Y-i*irk{&jM|^%pbtqxiP`;a0c6 z^GUoX{wv^IF&46x4nJW&%>a84#yY^;Sn;Va=P|C>+946rn)d~$kCMf_<^zVeua#xE zNq>`+dn5mX5`H#$IEBukHfo&ldby7gSan?6Gqf_Xv=>SBtb`zWjqr&*!7eHv6zbm_ z+lJ$-fMm@YI}032Pa4iL=XwfJKZgWkPf5KXi=!Cf8FHWY_mpAVuC|a{bw4^=&7>h4vmRt z4Si%o#H%@!T4--p|6M6K51dm82VO6li=H4u8;vwo!2LFtt&z8(Ht$a3{eJi|CY?xl zAHY&dKvX%m7EFjIdu=m`o+yv1un!YzUgq`y$W?I~V(R z$x&QeLyn&FaomH%%L`aMXsP=89%R0p&3|Tp+~ya49EG&5VL+)&7f!5d$jniz>W=PP zKJ$sZ=CD$TA$_*SFF7hZQS-lJo^%h^<82FT`Nv*PQ4Xxli@R!}U% z*9b}7we>*3R<)j~(75$be(<*;EkuKNd&j72>Hx1@CxW;7mnuy}B|cG?T9*Sgj&$3A zS3FBiy-O|h2f1uf=$xIIG3m4y{#&vP*FM2)30N&Zt6QL4xUy?)Eurb5O`DU(ux`Cs z^NW@ZPOq6jD_o#m-f}E(bM&SczZJb;nb6ccWDb+lz)(yMLXbKsh~8gEfNgOHJvX1G46dV3IKKPwS0HYn`7(w@=WiA#MAsHw@?}oKxz)G zmJ0i5>DD*jwd9m7aAm?2Ws2`uZ7!8ATb>!zFHy|B2gpq6&Sm}qUzd7}GYK~FFpm~_ z*;d^du}1r5AR+>^FON^aC3{LqW%fu&Z_rsM*)8z~WafYquFFApEra0wSmskSCE@It z4q;|wC>)8#&`pKpTmh6y2RDJ@galYJLHZ;TyQ9_O=+y1`DrWg`>ZhH9Ig_XFWMN=t z<#V1AOYi)21dQ?VNaFnCh+YsLH5)RD&Q>|-OlN@DipK?>Iv~se@1ySOJt&@L5W8{eH00(jA~*l?67UbU&e-74Wq_;r{mJv0 zaHy2gxbW*w$i_OQO`-z?0C?4?f91(UyvfuCt+Q8mU0?el=FR3&Yu*}Pcv6RJ$o#|T zy`n2S_28;$cep|9Z8W0kN^w;>VbybaVU*0;0c4c3LVNlu-e|tL(YSR%R~y@chv&6~ z(l1KKo&dx^Kt$9H}uvpdepR4 zsh2-K4SYJm*Y=~Dw~LJ-?+yB!?ucI|=O?Hs9;7s=n!OzR1-GxQgQ&~&(^c_f#z(K_ zIaySj$_Z|??uqAhyHUv#@81L94|=JIuB{)TvFo&20(=Pag2=>Un=}$&w1Z9Be$DzL z%BTXOm%o6Z4rxaqu)9%qAVn?{wB00D2t4MkXjBi3TNpS0i`XqkM_z6uTEBODFe!gy z9CTOOiDfQ|2%Q3b4<#WyWfd>k=fu`*e96U*MPmi${TFYt>F;JK!8PqHGB{hCtG{I; zMj3NJYbHiq&6se})*=DoshALk$QvM7*mUr{TT1|(u54JO>v)%FL_!{oHw>ujFfT=0r`Spd#~g zX`F>uO(j-w*E>4r9i>;V1b#G$BXq0#9;>TEz$ zAJm(OQ`KYz4ZAcru{ODas2`@@>P3N&9oNVIY3nP1;%c_7XK)P;36jAXJZO;M5cLD^$5L|*JxLa_7ySrO(clk-~ci+43z5i5o?LEC#?>^P1t5==sIlHMu zh5SJxnP8o>J+%oE?JXKhva)*N0WLO=c@6n(2J2yS8&8ihy~3IwTC7EuR=-Ge9}nRB zPNH2={(&z*Z}~cj-2z`T^7|ySdr_XE9UCrb&1?E>s{)x{V~K{oX9pWg03o=|K#VEZ zc>?D3Rl0s6#^@Au>lnzkiw2494Y80$)Q`UajjeNAZAj_Lu5xinl5~|wiqh*;xp`A! zSCX_~=6|b_wio5LGGfKuK4rK_b$HLwmrW|LP z`LXP1(-7h4HKBbkoVeao+;1r`YP->|Jj;*VU#;}+ceJsYuonvwgVXL*_uwn^FM6BX zj~|+rT;<$1Aja3D5fzSIijIP7426`(pW{{Gf^vfN6~+1`oKI%Og=())M;i0DH5p#N z%zym2d9U~J0AfU82R*4l6**5Mp8wu~!ITN>p^!ibC{kM)My7>PFj+ zDz@ED(0-Z}11>tG?w<($7aA)oa*eoR@k zHm^~0S-2->y(#x1!AstTTajo`fFVm?1hz~&cil`wW&7idb8}kv4)P@h)5eU$XWwt? zJl%%3BDsHJWi6J#-ja6}WvFx}NOR`TTMv9(6>6MAAI!MV(iNvG|cEfFUFnOO$seP=nFzcdicFo zDf-ElDWrQj4!)A2z^{C^~RJpMUZDrA;XK| zU276ydMwk8PFEiGUrEZcDI8}%vvb+*4ht>LEQ;Rjzbw7CJWwJIC0lzEb9|a9uk1Y> zkYLQ4VewQsgjtp-lgR@n)NM&tS9)m9kr}B!(^8x3J#Q`Zm{ZNc(WU0cg|0Yj?b=on;65+_oXPWS~fDh5m*2aq3?bDYa0rI%lar~OAAxsJn)5e&D z%HNZB%0_I35X~M>S#0P!CU#0*`S)7rBrck+b$ksac5mPMRG=~G`g2d+$F6!5?c9Fc z1gd}k85D2Qgl1?{{8WrA!7GqdsOhO_codnnM{Jy#qt=W*XVoRt0(xsKFD_o5?f*Jm zM3Y62PL1j^=aNEYcrJAaR=x;V+Bl2XwtBxBRiXx17!eKUijUyy$y`Oj!B5d^lEy7A z7<)22SPA{)F-d)GJd#(F!VpIB@LKgLmL%5q=bfFlSk21`5FF0fEsCNX-b-_@!O1?G z&F9*lj^c#rr2L5l)s_=;Ot#;A1e094qVu>;psT!}3p!4PD@*ufprm&2I1ttEyDwz$ zRgNaTUyI4I6v;UWnSqSSv&Q2{zUM*AeG(BeF6EvcFFu5F>B;1GT%)DGH9sZQNOHO0 z*wlBi=jRlxjn0zt^^$gS4L#=J(+aST0TBZ5X5O7Uu2_)DqxqS`=OK)k-nf0J&j@b3G%&uBU}>#EX=B5PrdGrUPi2161vPp^ zPL^`e4S+#K7ySDrIL%AjF8yB|hWgf9$`4?q3VieLC#x)Mkr0X=(gLpmu5RPlRH>}; zrdkcnUMC%nBPs_zrtSf~y;BkVQc<9tU+i7;SpJww= zPC%aK&^5ICgEMPOs-+b2w|4bi3|TL$!(y|QBF=QL>R&kM5bLU+rjtC+)^4ck3WnY@ z9-Dnk^q;3SqhdPdhfT1DyGC41H1tXeJMV*}`|um|m#|v+CCX$qYrd!yf~wVUbglpO zwxo26{saE0y-8&q{>j%POgT06Cq;d?$*pk<6(80B#!hpUu_V6kQ~;zvfr zSn$$0gZ0oS)bi_}fAf^n3^NbU_0B;TSzUvdkKxdzj;Blgv!F%Kk9XU_FMn;lGnFYh z*vm6`MaE?GFInInH%2Orw^K#&Z;@h5P%2Sd@aE~^vLKh|N0n2nG(1Al zHL|Q7)NOt93;ieV)3jSGbGy;ZDQX4@oZ@}{ye(fl+d^N==pIqMDo zvOd&3yPwn-`A#{kIWB?rMRqQRQYbT$My9>-3{#OxHUCInH!X}J>7ZF$1Wl%ij~S2i zSn8x_^W~U`Q4vvj+1Yl8x>Mj~#qnD@{A%VE?Y8)mwcNa^jW(h zc^ArVCo+3gQG?s~;tb4qr{$H4WpI1vW!ELsB+1W$K8h74myzcR_?@Jm z#vPTPl$b8flj_^o;2s^o@99=t5F-{KQ>i6^u%t+0aByPM@Ax}`*TU%$YbM2yS!*@ zDY(cc5e$jn!;pzS&lW{#!UYfL-!k&?4+dDCC~ff%u0c>K1#zSZ`H9MN@Vm&F4r_56 z&BB|FN?wdXanAI{3BnR4Ttf4**estEQXq?qJ2laBwwZ;mh{u7#w|LK0#rI#|b_usk zY--Vtr7bX(syU2K(Q4M6iF7^KRQu&nO{fWSaYW@z^63rmsrA<8z^w%*rP+fgz@)jR zdcE&km1}%p*0>6hU)L)T0@3v)Q#JRXOFZ9mB8zv%ZSRBGzA^Z z_W3fuLAKM~$g@{4+jZ^Mb;7+f>!K_Nu2v)b!sT78PIh_@&gr0|hZ8Q9vU&^8FzDxl z09BNsz&)Hqd);R=aJui@!yA=NH+tAHLi|;3jSCF@u1oUc1Nf$08XP`3rp#A~TLD&7 zNc5+t@(lWQu>vXMd9FN}?k}_QAC01i?AWS#Q2xRiUp+)li(_|a*pi1_Zy`%<>$qd) zO5Q#7+bN1+NJ0@v+;3+GWb<%`zu|XS;a;%xcft@YmqrOL(ayz{qH62+ zX}tjk0{bCw=Q#6yM*mf!qQzU3ft9gqRwo-U*gs0^>7t_zhy|&}vBk`9uiTj8{rbxD z=!00_Wtr}Z&nseET%WZ`=$v6rVf0}NyF%1TWiTy$os|r5iYf>$TDuc6$8VTRg<_w|^j(^oQMm>kAbe<8!1He8&|I7EAn#q?uK@ZkK|j&SFP zEX;s_VS>cqUq%gP@D-s`8y`lv4#`rtF!y>5t`b^Ps8o@nKJZg1-vVdV$$gvH);N00 zq%LFFJ*KJ|BC+`s@28nWFR?4&zFbK19o%wae$7((*>s$aEPpm4Mmf~XR0Gy}Ip*-} zSu%Ayxq)$cNIOYRZfDu|ajHOK_S7#NnQ_hY6DKd2K{e`$6ZcpGb1$65q#D5pSZ_9O z|1WJ?2^5maZ1B+Qo1`XsHw-9iuc}|Sv{@y+33c)DM!kkd!S%;Ko6ZHm^>YRu%p8I+z_crp0R(Cm|1RGNo)jb`6%7>0|EZixv+#yIIo zQ}ge%a4DCIjtk}ax;(COju7(+RQP;f9d)8EnKaK1%*TWb?N+wbq^d;Z&DN4ok5OO2 z?r?IGcCwb=gqHdVjYDwUb*ABGo#Y(lZbeT&g!T1{CZoj#UAyGlmH79?`+TxN`A2bLr%9+=8{6!fxd&27cot^8HH4D-*ZDVpR*? z5DgwyPu>+?dk-a*vI_0Bz*9+VLun65cJ?`WCuTy|4?&ekj-1{3a(&lvSIxp z>Nc_n7*8f~5<&Kq4S=~L(yj~Ut`k73_}T+7Iz$UXP+RXw7aJq0rWna2q6EUG)!Kwg z3AuY&Sm{5=UvfJIiZouX%P2qZLgm6+^Gii{l;}gQrQYy`oOZ`0(W3RP}f=-Gs;9&bbtw(_@w;1-q&F1H5` z)1hr`oKw(*R7v15uxQ62CFo#tmc3$3`gt-cO@(Dp&dM#aIJ|(s3ua>vg!74yWwmfadF^%f4DJr-K<0O z>mb@>D>2e`GF(r6737I0?K!ca{_%A!VIKsnSji3#w(sOGI7jkUGLu!5)pO3hl<gV^J*X`fR=j(jY)=KpaFGDiGsul>-Wp=id$uLLUW4_}|P<6d>{6UkfNeesll^;7@eKV+$Gt z!@r3=$iSEXZo&7*sa`<^z5@RBXwZRKM1R3fav%t9;4~wI@72^qyLu52UCgW`*%>`D z65R}Vw{fmKg}o&^;Z85u+;q@`#z>~5P;wU69`Bkx?=-MKQ+rnz(%wx0?pIrI8!vY{ zKr!{9L5vC?xQ&V4t$5kqI)%q#;-x=_MN3one@8R13>D4j%r1IN!u(UZTZp^=gFzXF z^E?XtLxe;TD8I?b;7y8|HmP6lq_DlY5~NsjdWcA`#T@U*4*H_ z9<3(Vzz~Yp=e{;P-^;^KPVyDbFWf7A1FsH4x7Rm9$4eJbPg<=D=&GOSth!WY?{+f3 z#GkfIE#R1Kn{!($yYGNDhL$5P<{r|nWOlsZs5Swm)r}_cT=N9rT*K8m7lVc?NB!wa zr2ON+#aO`T>@MD}Ks$4XA*%LsML8QmSn44bx zDuMv@#c#d{g(U$H)wHI-ajmDgE%dW8jS)JRP{x^t?f}g}8Gg{$uYB_4w)VS^ zCyTf+vWjiw?Ms@THVVuX9d>_90=Dkx|0sR!t3RVNdfQL*Cq&`lwZbYV9rxJAwF=G3U)&7-*yMAoM2V!~%9%@srEd1OY5Vf5;!l#-(b;pEb9ku?=?JaTzacj?>lg2fL2n-v6TON5MMR9dLvwkAm1o$HTvsM zF7NpeGK{G~X$nzYy`v${xxVLLl@csjjEgxOg49p&$1q4Y0-Z~lFeiv#k=238;_d<7 z{;l@dpUp_?)MaS{%`An0aZh|A8;eay>ji^2Q3giKRS^>~Zh+c7G|!`C4f5qXL5_$8 zc0hQGpQqY_ggoQ@=UX^Z@su+nQev)nfl^pb(SqgsLPhOJha>L}o6u)dTbv$TLif

zr{KHysGQgZqT{fHjC8@AZ*Rzc=LYu-Y~J@Y!c#17fq&M2vnaiJDO3Q!lLqk5`v1=g zt&zK!i1iE|0QgfL7j1y8nKP8*V>N^tXoZB#`-&4$LJK5D%+mq`umm)@xP|xxgt+(- z)^tERY<_7?EbAI0Hf21?=n(JKR@Fg+0< z0HA^JWd^dp`cw6v;)eYnas~hdYXSf!_IA!@cFr6hZEaK)fk?!F|I$805-X4bSp^yR zNA$ptI{7d3-`aKfh$3YpBXHS(;J?Du%<@Q|f28}M04Z?)C;2Z%gaSk;{9o)(AfP;g zmKDhSH;&4mZharQ`zSzK#3xoD+JEWgpD;*`CX++hf1xh~!7}H&)%FBbbc_1UNan*_b)~e?~;(Kj#U~{}@U| z#1nQP#oIsQ{lBNofAhLPz<(yt{~2rzdNIiup2r85fdT-K{CAT_4;|sn4g{llfge%8 F{{sY|F<$@x delta 40725 zcmZ^~b95j<(>EI1wryu)ZfqwT+qNdQwJ|rw#@g80*tYErZ=Uyg&;8Cl=evLWdg^p_ zRZUkkf>{6J}r#SE@zOa7Jojzm;<7 z*y`B1I6t>4Uii?+S6iaN#F8l|@|*pRR@Xxrnc2e^S-<}gcWABnY7N-}BeZ8oc@n@z z9!MJaAp~APDBPnDGD!%CaYi9&PlVbsC&CN}V!x`NE5j(mqly!L*X<-rl#-OLh4?zb1xjNG7o!N`Sj0^v>VPk41 zA3mg%Kq04Y`@Y(v;urMzf&={Lv;ye61*GmBe9i%EfLIt)@4SF!uUl-+yhu;x-PJij zceGWASL~{r^ZT_)Z6S*{+5j~R@sf`URc77-+&sgs&&(ZlGqZMTks{g-4N#JWhM8-c z@Dm0F0nr5q0r{`1VPIhXC-DrXDD zGjC(pqx(Q?*9-5z$E9!Buaq!(*<*QoP+QjF+xLbrh&d>?+HNT!@Ma$z{c6GIR`TBPF6X^MTyvKHFG1y;Q zbpVF+{thiqguXUr8z|vDroFNL)m!3M_R^Lbdc+-Bx=DYwHc`88XVMEY0)_Z==Z4*{k1bZ~f`2XSTmj{(Qi~y%# zX3Dm!QRMp>RIqBhU2#{;?g``o-%Zr5u+A)`{K*Bb{9(D7(KWxE=S(B!Pc|nXTHPg8RUby9e$FQ!b@oAbBUj8I+%)~!E9e4Cf%D(PQ@KUBIO9=i}@s2l40lX;Vc z(z{}D47j@6I*S|*ci;h6XV9(|&aA&v?iqYQD7dAK{{{7}Rs>F}V%CQWY#Jz#27zVY*>tvpAqV;z5Wdos`i^W@>@>drZ zuYN>31IVV6lb+&4A#{%MSU`zlL#VMF>Jjk*mWL_@|LxXaKdGaledo}<0Ts%Rr(=qf z1aE#~0|E5nqTkoQD+w{(BZ*gC#m;^N65WM-_$HyN!Py&p(d%jb7#H)#T zJpOpHtUMn+kNbD!yEoLtn#X+H_x*7zguH1>kWIWl?@VC?}0ix>Qk0iYTYEgHL zswax|0BtinUQm%^A_0~h$vavUXzkuphTU(&!{UHUO?-`!MNN7ei)b6)RB1iOu>6vX z^sVMr*Vg{qgyZAO<0Ig1{zqq<=TYX>pym4We%}TaZ|}%>jo>Nwap-hpw|e+v3EkYLD@mir`%psdUmcr_r(EQT zg&lAgx91*RGeH(&DB^Vb0cfnwBXIbyEKx$iTBQtRhOk~}01NI0)NkHLB0qk92f~$c ztQM>tE7S{A*bZg_YaP}3{LypEmZEY zeU{6|k3_ zEWIpcg;kla#e^;49BI9bm)~ez%_KbryN!S6MT48_g!*k_#}ly=cFK?$!Y&FeX+A0= zu(Ut-WuT4MTdb7%%_VkF#)#hKecyPv=-)--q_Mg=z_%AjL*1%uwyf|W`a%(ba~eS! z#w!|8z{boH)(eXe`Wzq#5-Uy_Do*JqZs%r7vl^i?HUeUsMwh{$UawVQS4$ApsY2^w z_IU@mhN1O+c~K~>3{+dD;Sdwn@vrQ2~<-E@;jW{=4loAq^HJ( zQ&(WasK_>@(c>A#kvgCdD;|@U_^c)h6V*T#BdrWCXk6&WiCE}Y8nrjP?~X|>P{O4a zD_~Oyn>EXh2~2TfQ#f!jnbQ4WK;;|0K zArwdxsU!GuDerpzC)04EDA5;?h7)H$hGvAGj zt=^lNK(U|aP+1k>#)}BH|CJPMzYcsitx6zc(~v^NrLT^Nfi8@QQCAWF>Peia?UHWK zpbQeYVIa}U>EtBaVLfP$MPt_?PM_ly@tAa#f*NI2FIp${r@&rdiaK$nnug!(H!;r| z`bk78I7%2r(*tPc7+xFYbbL9eBtm{=S{~2YPcReoP`DU*3_2Dr<@TOsQxeD_DmqM@ ztotob7UdE5FSxQOuR62fM(h|CCT$qbe)f@mNrcN`&=IgHw>yrQl7xzVNg!q13q4pA zDxFS=7Xb5lk+bDO$$`H<j(nU;hcPXn zPLuCb;VS&(N&>nu_wg!P3it27kols)Z$cH+Z$lMc4bbf?l$2Y`Mb&poWPXNbA^l=n zS1aywocs8LTmt9y1s>!QnOCHesTnt=Xb|;XsQ0O|bh;E}R&^Sn$hg8)V$hWY7gIHr zjjrVV>0BPu`3tva@~Q4;^3b~rSrz;9Up|fzQXctVti}l8M&JU4DtcI*UO}n1q1vvg zY*nsSv>Kc;4ae3;S|?)C^|M(&B~?CD7S$`_f63A(sL?+woWM!HD9KQq$Sg?VJs2nu z(^8ZI@fb;Sk}~5bMS&wH)M}Y!5IWA zhHOhVj^I4?fvkBkXI0{(D&3`8f&9RA6Waq4aO7>1nM zAApQE=L~V-G3wn5RTkq=;$`sUN~qn=kO7RoO0?*u)9!1e)6Tmal{BgvaiQdaoj2s0 z?%=kH>`{O|v<3d62-JD1tD*=Tt(w$PJA?w4MoTYGpdNBd8=iY=(QhFRMe4Zmof{vGC^LR=O;zUjM){Nhc^jV0dNOpCLg$KOmgvGJqN;#MlQh(K^N2%ujq6p>1 zifNk-jJOMgAe&T&6VHAULUF1Al)eNCga`gV9Bw3WwLE+pwR~5mN?|KP`+Qf5U0;&K z2$xhc)T8%!@oajG$Zwi7Xihc%FCz+n;+6O-vrP9!SA)X%|H#~Z@I4NVn-m3C8+6g91H-G;u8pTS2TU&@+)f%C* z)g-?%EpX*uF($b&g-_ib#fpVrE1yE77))N+g{qI*T-()1F;lNpCNVC0LQ*p*9Mpm{!tSi1jj2{({dy57&6Q8wl+J zk0#Hc**Xsxpw;L)25A%gfz<*)HnNtlR1!YY>~A%XwDRz{8QUWJ7=1rADCON9L|TQk;g~c9>JYZ8@R)x8~aP zZug?}X4fvWz~t%&vMHoTd6id_^rWb{_F9TO_*zPT@ID8<{XR$O^?9l`5Hv`miU$8b z!+F$KneybM8sr}Aa@pJOi+iy3zKLJeUhR_dqv?{;qc!*?2m%=Vs!3v2(HzAtue^w! z58sWRPrdyf_nP-8`Ba9Yh(n+9{Pk)X)G^RWFX8y=;nc_A5sK65QUAq4oZ@siT3$Xq zW?nuriJ*uk?SJ8bmj@zb4^u?>?#iK#b+(vOYkY}^0vrjq zVuYe0kf=gjI?V6vYIITNWqKHYab%P^#L5dThd`1z5O}2V_Ev25gAooWtYWZQigf?!hosa@GoeJ)8(JU!4(JW92SVkk#(Kw1FZXBLGR;VU=OEzEfxhyGPa^;OMCLmU*VKV=V zRV&mXrCBnB;#smVLj|Qs^0EPx`9o+x%m^CJDfrO7dqvC1K0j$mF>}sAu)F~)w5?Z3 z*S~hk*JKm7wYRJeR>aGmMWt-yRZ2rI6mQ+|SL3@O2g+Tq6y;fO>t|-4R#J&l>BN{; zT8UE8*qD};yb(W&yirwB35)%yv#CFKaa&-OsI505oLU+DoR$@^=SgxoR3`&$4mo}1 z#G3GA_I<@tWt?$k42fhNS>+6D1o5xdFQ(>jW1D;kJ?#)qi+5thEESe!8q(p7o+TQ( z5hjQ+Nqvjn`_R-^(0wH9iqe3#Cz&)p4C#ZD%M#S)-Wsn zPZu9j+zXsnz^hctvYh>F1VST4tJkUFR#2#A)=;Ry>qr$+>Pfj6 z*Rw0i5X7j=s7YCoUE^=3a#og3OImEl|dHV0#lU`o{Z7^3`mqooGC?(GF|rZu82V` z4zAj_rPAG*lUkhOaz~Ojn|48vNHtAqvIX@dDYqs{6+adMh(sA<;(ybMoLCk-DXt*FQ-G8BD?*kjNeJYvs+GBl z5JRl9lsSSV@{{8x@;8+$Nl+--(W&tzS#YFC<=%jFJeo-Bzj`m?^60;2F5)(I0*`xv zo)`F)p$lWvckg<=`u9%gU}nq^7c*tL#fd@>kuItJCLDQju>h7qB>|j%wr(YB4zmR3 zVg*YevgF=5u!P$#8EU_h7}LexWTsb)KlL@)76}C(;UgX$;rlHg%62fut8^C~0m;Pe z96xukcscBJxa67ve*t&ur+?dv@_X=cc)++4{2+lR8g?ID2!PWUHV^9uekhnFO{t-l(jQxq}n%)6zt`C$uHcLhH{ajhUMDu-_@EKVrqq_)X zhkZFiy{zuE{Jy2TOxo#N<%xfjOwV2`&+V`OF2#n{_#&CK%=crmWplG7lDYOwPC?!# zrZDJ??gjJ7><>LJa`wnRK+=`@I{imRz+6+~0nyyoNuBGNu``qRXe9$Avm##$uVuXH z0@{f4Q13Gh_$eP!RX_Apa8e@&sJD0gowFCyWp5OS;#R}RZ)rTZ(CgUyP2gh_PQ4;_ z&y&M;|0G8xg>;f!EuA>EntszNaag<|xJ=MV<|x?oD|q6cRK80mkS4B#=&XJsym@Fn ziea&#`}d6Db^Uf5>_vC4Z_WmmO(rMv?B9<$TEV8iqnq*@ZU}{oiNfR_nIDOk?O6Ty zI%v|BM?NL7OG#=e8=jTf6=|09y)%uil0|8j3j)tmJ-VlFR7$o?pHD$T@k49n7tJ5Hsni(036blmDk=m)wU#>E7Vi%vb7xgA54=qO{=JnLRX)T!);H?L8#O^o*+HF zn?+S#$E}hR>NU>nu^IgPVwvhJMTX0Kj(F$`?0%v0-6h%P00e<|0(E@|$VkWW%^on$ zhkylgY?W=yX{=nx3^cWOHR)dPYe3X04 z@v+ZaZ%&JM)Mr5d;_$`T1drZ@267It*yvb8x74_@rkgr66E<;m!NB)P5N}bLhNSbk$sqzqh!E z1-iG;xDlSWv(RM=w)~e-{_bw|*Jk4SDWc9VJ(FGla@?;xd5^npD48>))7S=cq%?MR z9g>=V$m5sUpxc%pybg5HJ3SlQ02kqoczH&~(Zw2rvu{#_Ki z(J^#YD6~R>C9r@R%5W~yKkUf6-$0m45TTe&c*ccC?_D(O=zH_8zncH=gJ`UONj6xxfz}^rsFwFO2eDSSH8LIzd_PHT> ztDkj0Pf(C`iL}$xR{~N8ZJf?%sQjm343qwkwFPH8J_=69PU+jH(!(ftr4;=;ES`SS zpY_m&YQQQAc4G3ay!TnA;DOSs-oPI)Q(hb>U?Rf!!smx?PGQk+P|_7OfoJ$lF}$i0 zJe$47)P4I$ouUZoI(C>~n~Mt__9o=54;=QH**cM>aRKzdCA$N0T92z#mE-r5vp#)1 zIOwE{xok4AZJC_gnSx4iIm=-{mRgJ_Njc>16<^-;=k6^oEY;Bv&%{Pth3a|7cIzD!z zv6bt6R~nqUau0>t*t!-fO2<|#NOcxfsIh((X zTKnOIekA(+E&N1JDn9UBq(;=N(MEd57Vum9Vf9k|xOMM9=+Ch&RMc%g3?n54T%BwP z{(>)5DRLi_2zEL?YOYibVt4K`f$lVg*4+`7B&k&Xc1>uN20NWEx=Li#9+HkFEdOle zh@K~H$wRwa6=9x&rxg)!SY19b+5_K;zJtE4hr)<5lhHsOfNzL7%?Q5L^a#}^^Eg`k z`0#1y^P{67kWB|R-r_+@`Hd@2QA*tE9&@Xh4A1`1z`o{w4Vb0D zTn|udAj|KcW)6`qP-@mo8sWxI_JEEv zTH%%Z_Wt-^WeAhJ!?RZIno7c~3CqDX0Dhv02c*j`!4@Y|ME61;G~!BK5annf}bw8*#=7*Pqfw+{Nv|O zN2%r1`?4xAxSQqV`O=Otk)5?Ahv{~T>)xw)q3iNx?Pqs$o&hHXhOon@NU_mNYNF;H>?2E8_HjQqMkVfH8)nT8fi522+k58HQOZO& zof6joIx$5Ft>2S8V_Fdf=ayH0O?kLN<>phWTOgA0a#HBVC*!4|OAva|RlEPjw)a z_ihq++n~J|@)d{)oqb8+&`kS&3!astMQ}aq%xXd?w0`IUOBmGaA%cbPHJQ@3`j%)} z@EHS#Kp|CKTY|JL(?G+~M&`h@q#X02WB04x8dYf6k6x5JzA<*^3lX2C!U((MV%dYAMy9xp~@vlLq)2VQ^PMz12HL0Rc9EhcZZ#iEcmnlZ@ph2@xtasgo7%r$4zrjWor^aFcU|1s|_$utm-{}6Nvo?&idACmLPQ4v4{kdieQ@rk}krVV9 z-LZ30avP|Q)Vit}%mU{@7Y7W989R`4Bw@VbQWOVSBmUxaX8Sw%uhK%Sg$#TY zr!f@__k*Q)7!Mi&C&>OKPUv)nB-%)|K^Bf`!{{X?cBVCv5UhK%W3XH@>FX z7*z!H+wed{TzIO35Xw)Bx`n+0Hn&w{Na{uTjQ)`C!$W9{6ihC1o6t^a`U<(Xkqi1A z<_h5&+j-S#BN~zbQ&AQ48uHVja?USqyw8ky^d+7jCOA9;d_r|+GwwyJP+iEW-W=|h ze98Wo==! z`N?3q8IlhX_^};`I_I z%Ou~NS20kiS`0^M0GQ31ACdW)&xes4?DR(nCQ2Uv)gPT0QfdBRhvu3)7!ygJa3y;N zBMU~EF2b4-?8rz`{bKCf`40+AP`dkKp~~zK5Vv;^$(%6-2zu>X$XN$(FU%9_8s%{U}wG|o^7>faQ2Jz!**PwdNG;G26?nX0~8OhF4CG+H;Ga*|f^slMG; zGWvD4zfxFS;HZ92Q#*F>+hK9t{&(>^V?0rjQzJ*hT`)oZEe*+qSdg)rdOY!boo8b1 zV`r5KGyLu)9jJW~6M6L{o0$m~gU0t^3@qNR&EYLuwO}+8q~$UH=5$iY{Sp1*Lwj#P z5DGnBpF@Y#7~)t=HoZAeg5G$L&LqV{5MXsH1k%>_(R3KoI!6uz|&8d5?G}Q;H%qs=gWaXdo6E)1q@)Zg5 zcb!2y%9Y3zsXi`>3kwYCG6LN{Q53e{i@ehkL#Wqp!o!9|7Bw&id-5ZDU6E&`_>C#! zq}vxa!$wh?H>1RjynQ($bn9)mR>kJ!YFoIR+5qTSo?B1JnHW;CGJ+K~6rDgbg$$8f zmFV|I7R}Z7w$NQ`lsv!TJqOQuGzrhn*PG#QpYh)>YU!8~J)xQV_-3YW${4~>`u;X= zf=f4+9#W}<6E)fhq-Mz|Ug_muTkUgIqcW%58@=%T$bI9bkO@cSDXovAc~3C)5Ka^zW7{Qu-)La}<%eqHFvzG2f+9Pz z6;>6K;u;AvE7%>~@UBb~z2~+_aC0iHa2)bahO`k~y@)T<3e^CMXp_hIN*RSZG^K~q zxq`Co0VsT7s%UX-iiE&RfVF{c!WWX@LS{Md2H~42dB*K;BpfF0jK9(&3=yBFf z`4YI!WDs+FVY1holcV8{d4l$g8A0_#JXQ^~I1^uw#61q}-=B!tZv%&{JstZXyPm`3 z5cZ$nC`cUB8eI0xFq3Z6MLG=HD+9hMZ3fF=GiZ@x$KGXYlrDWXuW$Q}=_Zo&Z~)zr zKNTpk@tNH3CVhlE41*Ks1Of~SmntQHceD4H_Ya$Gv=$8VpRo{|ERs6ncU91&tP_VT z+Gqs{&czn3T6X#0U6rR3My-#m8%?>xw04!yF!C7cEFA)7JJ;WA6+R!ys{xVwRiLb_TF6Y2peWUWC+br!n83tN@N-E!Y>(Cj_+^N??e&aNA8aR*&^5Un(C2Lp1 zWxWw6mYC{$D?!i!JMv2as9IJ5b5a~qvL7K2e?yIQ*MAM@{Iw)hNj4GIQ*&X=m*NB+U6izP`X&Fd$}1cr^Q)*->d4S;WHgS(egmkCez;r+ z&3ZaD-tcj&d+hWce)r)iahcNgyA*4?X{`+eaSiRHOr-LF1FFwY}iQSZF2Ro_k4C#5Zvz$=l! z&8lKzT&KY!*yg~ntmG8&PzvZbc&a(Nv-Ma+?RAwuqOA=cYteUdu-B{NX<=H=`H|P0 zgif=lsc_Zm(9-neM<>jv4dwUxl>c_2%fV2a+Hgmg%tf1_9zJP5Mq{QSN6XGClL4zb zCMPGD9ho?A&QF2rm9k156^8$!j#q1|QvG0Q@por>zz^7@nH7UVrZERK zCJ;^sjhN}i8FQ6;pOC0)g*3@b!^KSsC=snasXYk!%&rA_$amWy|x44i_s(C z+iH+PnO1D!tIfUea|Ze^SbWDZdFM6s5O_tj5i@RYYQ^wtB1Iiw-QsLD{(jJ@Xs3Z} zr3AI#MSjp_qnP_sZ`gZQIbH3i+;TZwT7oq$i8^e9KWTJWIARAbUPJy- z6sQ2-|$@Wgh-EC&M=o5n;Zw$=HlhEpw^0=Uco!5PKYXf_b$n~&pNByzoJ zlV9-dG4~C%>=E$^7$6%naY(L%(?1_rF9W9L1073!C5W_s?6482)T1HuLLy_9&PJ3j zld=my(R7J|ebPkp%B+Lzp+oJ|<$w2Nuty_;Ukw=!3Ihh5j@(H*K=-i~&&>^jQS5B; z)r7>?pzx({`in@Y2Sap=5_)k(&;O#B*-PNZ8HvI0#5OqcSuxexH@oC>?8MF=^7a{C zr0k7ASfa=65xqPO)@xdZz{>1Yp&_J%UkqlTujE2f54NGd zbma3g*8qRv>F$Cm2E5d~aP{2ymSsW%Ce~v|QyK<#{5DmL5RuBG<>R~@4z@FDMK9xn z-QXmZ36pmM&5S)x+9z&9m?fuE$uCDyUH4%!xBj^AE%%;ubs&z4@4Dx^LK|WWN=ZzZ z^E&^e?J=P1wlmFIf=5KkY^I=MjI)rR@PV$kj{`_z_ZYOYUcl)Z>XCbXm};x?@tyz<OB=w z>U($-+cC!It7-BmaS+9XrH_~nFLsg8>#vQ19s?@J&{hkzM1Mp`Tf!T`+L2NfFb<%& z&H&XR5(F;T2@A7Ze`KX-?F=N6y9=W6l@}VZnm%|!Jk7N*i%SP-1Te);%2{L-vF)^el^UlDUf|3valHo~Br=i?{q`G{o+I?@s8G8S z5Q?HGDiz;b@AzkSQLP7RJf8I3%ik+tM+yjNzc z9GJ@V<(IlRh5A2lexC>pbd}7_#NVo>(KdR>j<5YO@_JBOM(Wb>=K9Yr&l)0q96->` z#4@qif3wW4Fqf%-gc&-F!xNtzl+A1kdKeVp|7 zor4W@pFcSAsHiffX2)Ov^hsnfjT)!@4b@Qi9(}<-#C3f_Ev!aIT)wSiA(3I&)+BQJ z^coYGeO*C1P*SgFt=0v}BMHUHO+fWw`8ED^=wk4!k-q=|C%vS+7%SXMTHxE`Ddf&v zQZ|NNHBbKZF=QWjNo?n;=j18<-&GVD{#(OT*lu+M4H|YKp@2GmX?z=diKL4F+BjPN zDfFn?du$dJmP{|sw)sGkg?$_daPNbQeHVp=z+%CpiST9kGr3@8uSGAg7=XFs&Jj`& z{3Ei7ZgzWM3oo+pn^SmPzQhgv@ZM-++~tXv`CRxk1`{oe>$WP(_l&ygVDgyql1UgQc}z9jx2hz5&V^x?xh z0;@Yvc2 zU&um0a+w{D+UIY3H<9;uk%r%`1}SI)BCMgOroKP2BM13%BO)g{H^+GQrh@YY2Bfwx&lw>^X(8;xD7LYEpGFDc9(zTgNCFB-}synVNYR&zytmnULA}kpme`N5Oy2PIUoEKme?Q4LH zyY|944*Mh*2F7)HCy@PdYpsZrYU?}BV5Ma~#5MQE+yFuiSPA&Ljwh{;d0d+&RW}rI zyn6OR*P{2@GBgnn_-{(?yg;hg@t+mfO*E~FQYzBTGggm@^v=UFW&Q273v|9Lb}C)4EzHl+rK$Jy!GeK(!jrNJ5}>- z&JQk7a~$m;72Hn~O$$E4F~zN?VQQon~st&8en>Vq^A(2G{LnM+NOU3R5bkMf3Sek~V$h>h38 z;DOK9#n8@JOgCsG;doE@{>Hqsu>Q04HQ%=GS!b{ijc-j)g8)mvn#=My3rjn*3-fyO z#sG+bPtfrTw8zNNv7m7_ozFwlJyqixk*sPSDQp5EYTPhFdNEUj03pCbdF-256kfTP zUlc|oGAQw1(hxLz7yM1OEfIQK=tyi1nnFReXc%+)tph7X2vjlgbjlK3oeVZozqeN3 zork=Y)IU3j52W{Y1QV`!^%}Q0h+NkYObOt?Lo)pXo6RP6zLAN04Vfo%bK;0e8?WAh z10L{h$p4q#G-D_Zd*n#$Lu*Wl=!2gKKM|xL#+v}e%a}em(7o;KkMO+@Q7t59jp)5t zFA=()rB<^_d$4Oa>)yzA3U#@VPwUZT)WXmuZVx(K3Y(Ic(>eFyB)tE)EAOMjggapV zxz9`VNoWC^jx)m18{rbH=V=E0%=Up|hAknQH!29#6o@F%Bq2yg>Bs%A4wE1@Kd6@t zZVdarI3=`eM&#$2XpO$vo5|fcY1Q#^7#^Wz!tu7sreafjSk^p^N$Bllqo6>hpqgXc z&!mLsA~@GN60HSpUb@Q?UNoC80GGvI#DCz!bK06n$Gxj8@cTWhct@im)d8uaQ<0}q zPF7#HZErAcsf185o29*J50gaW$FG@UO5}-eZ6*AV!Y=$SZbY)VyHfc9l)oX>PUe%K z(Q{@}p4L$-=vDRME!D?UBxm*@@Big1j^mC6cP}SV|C!J5PS6;MqXxk1r-tK73Cvy1 zhxy3Yr>ut0u(qq$Zgi3^_0K(>FFbj;lI-Q|{>hZp)**)6t}b$!sAWg8ppA>;z*>;S z46va}7zg$jT~^!0`B7KOMZ9h3HfpW!a1_KTP|9gguYWAC;+iu>B)M*oF$v+nFi&3b zk1eRf<4fdZ#wjWRE&$5Xx(ov|)u~p%Hg;;Q;VfKd&e!Rnu{1e}Pp1l8faEmuguK5IdqjRYW^w4^j`t zR;X3Rlhzz4bA$%(S-#T^>XL4qAklFr6FO-^`*Drd#{O>}M5aiX;`hx#-^o$v`)PiRD+ zCZG9-plV+mfrpW;iNWZS4+2g%r@~{dD#=`X4S;^PeZ@>v0mKVx@cAgegf^V$cD@no zxWiwl99IoMXk494cvvCZ^VC=F$%rV(kRdW%}T9x_JT(oifH8L!dh}mHh<+H z4K2GECx83cILa8t;El|hDMOYA%q+ZAROZb0N5L237(*%}>;%z-X^CKnF<6a%6BEIZ z8AfA5`G=2dpUUHu?cEG!1uq@ki6-@*X!J!#01228r1Gd|zjS@Ml#dbF6|KEgm{qQMcDtCpM5zXbA?Fagv> zv;R`nn!y7d3B#)xlBF@A`ve5aQ3M-;C7=1}8&x1@yXOZeLKJyI2S}L4H$$?a?++kQ zf%_IPh7pkMVmI$UrNZduI>p(<0|X3R;}G5SZN+k;SCo$WxaQl^5#5-E0J0;C+5*wk zphxXrZ#lXh>9_`H!f}*WT-Cs=)Z0qM=fjde*F)ad-;ij5so?(DPytxe+k+ta0ieQ8 z`>Ez2mY@JTQ~^ijx<+x?H3w@p=0fpvy7;v^u>4=?Wf_ar5gy`Y1`{%(gLl!%!Z)W9}zQeVM|K z!hg7lJpsWjgfsJ(I^#w1m5MX+C@6Y2u3SHa1|BT1*ZSP4y|L{u?G~#?PdmiY>I@#j8s%8pZ+2z4OQetJj zZMeL1^YlAT7mK;CG2U9%^%f$D+t|qYYGgs+K(y8`*#y-ECe9FW^+6mM?g_LrL|yB= z>QVYpvTC1C`9k_USG@W7bFe_XH8dtH!vKCAYgxzFq*%% zFCy#e^7{@nE4LLwUPLyG2@#??P-hPzG$ou0dYeg;JO&UrDmhb#KEOU@fu2uB=LL~S z8AsTenDMtIo)d&gRDrD{mmo{Z9RXy#EX8A+P#qCp}kia-q%!Sm;%N|6mC$Poe-4u_aF zp6u{;r;O6B_SCB)e%5JBc0#%$PC=qL**{}x2rvaFp2W(G(!`AU2OYZM zow4gyEpJy96*j-3(cG9A0ONf?D^o`}L|Ub&)3_jJY{rj-BlH}pYa=9lPk)E5w`=nj z`A9s_LU@(y*XwKY3HuNH1@UcZx=>D0!MJVC(SeKy$1}h3lOg_1A}}vZ91~V zvjeYACH*cd-~CR_&=hju2b}w4)q6!P0;H*W)u{}r4#3Of&#TYtcSYj3i|lagQL4%! z28|IiqNl&{K@$5OP~i8g!F{}jV~{M+`79vrMA_|RPST+}!dLzu2V#rcH;<)H#G7yT z7f%??lVfb}>h;4jpcc+aDMN#x@7HnzRI*#xld5>pgZKTfqPX;XfQ$G8G~a9&ZA)c! z#Io~u@|PR?uuoUxWwSkL&fLSxVEqHZB!AhoQRE>;g2%55pt5w0=~zRJ42~escG;=2D!0ebHJv>?k zwyYyoBREP4A+*2E=65S+P}iXVN~~`)ID)-QhbU(8@i=B$I`CeBJk5427kV3x*7M5U z{*6&5aY*y)R-R?d;WlUhzxPL}@EvWnvNHOE#<&YHjCo;z@t@e!KPs^{sW@fWhWu&A zlkg41>B2HoK7Tw!eUA9eNFrixE+e&{l3QNYRf5XyFP1Ex?3Mie*nR(V1#Gw7rV{E+4Uzvp0DM4$zxSTNX46VA_k>!{zV$R!{e!1Xa!RaThnUAYR6L4&k-d7& z;4r+rwhH>Szl#V4?U{=psoS7HXbmjKc2F_toK!iS> zo+sYkyI!^Ix{lcAm!e^Qv)7v4fGjHJpQ zXs=RrH&c&b9hmeCmQRXMd5igX&4+@In&X*N(5K2?-n#xR`4U$KgQ~D7@M65>ff~rw zfuTZvl?jzT=nY8EJB&^O~W;5r=e{Ze<)_#b&O?Hwa<#Nmm z*Gc*j3MN0M%39eZ5+ux3vOCF9zmP{Ev8bd+!*yv@!90YDq}e=Kyz;dkg^(Jzw>lUj z_Y@Hz(2H){azK8@aONod3#)kCK^ZA?wE~g;jT=`mu~XHgf0{@Ed>PQZv z;xjHa%lV|^f7!oBm)W~DQ^-Zv>5ak5>CpfA>bDi|xyiWjo|}w??zzcW^q!+%h}?7Z zbrFUL>*@BM+c{9p1!b_dd142fDUY#;JmIX`a|S2*0l@8WhK>|9u;c7OE9nE3X$x$! z-EnTCR#X@tf6ZN9{h^`5wG~R}2(+x;WV~LG5Nd%_c2|m+&z?N|c_|-GOI9pjBZ!e0 zW3vtoDp;mS@_6til#@1*c{~7N6D0>El2`72ONFgV6hbdi`ttl0@xO{1wnc;g#@uu+@T+E zY*b~Pf!n9$CfmBL$h|&ZVe!q}_*N)dnft&emPZwfr-FxDk1n>LNIavl+=q|$svy>U zM`d;|e<_f{8GIs-g%9DE%3;)%nL3PGoUvDBhTH`M&p6;!@hkL&lGo5wY0@hPYT-8N ziYbp|f6sd}>mzWx0`AMbkQ;0iLv8RbIrwjI#TsixE=$OImY@V?^{gNX3w{A)7Ld{9 z@~nUvE&2tZc>qO$;F-Y_*Zcy`EI1<>?peVzTJ#G*vj9c8`&mH~S6mmAI78ihxaSFB zrawI^5VIw}kZTs0k;eP1zzLydu;>?n9y>Zue_Ik1faM>|&-Qk|)tDudb?K!`M*HR= zj_V(P`+M4Wfws=**Oa{?3TYb<5*!(JR0HvkEHWU1Poj&`;9!)(R3+iGcLxutlyOrv zAo05|h@!DMv@ix7s>$=ZdeEY5Wd|@JGEv97w=FH&S)jdw^0xTn(sRkBcKGuz#P@^~ ze=4eZ)5H+QJhK@(BS1q0X5C>Y( zmYDf00qIK4%5EEu*kus%3Lz2a1)dpr)?ux9Z=~)d<DJk1Anx8et1OHpTW4E6(J?rI@`(> z_+p(sWt~N_pjIJ{w4t%oI?E}%7`^4>)Hd7;+CE)^m1**=(htPH^Mbt8mol?&oEeJsv9q5i&f?>5?!(`nPOdld zlk4-=41+ZoP>#qWj-zUo`b*%6T*b1%&JTi8GDi^#2T7A;y9H}RjVhcpe-<1|qJ?HU zfyXa%EaCy@uJISxWrlUWl5hc&ZVx~+JLYx@z$euJAgcSHqzjd@qYH1zI8?%}({PIq z8tphaaK*|ihppU{$x%kJ9A${fQHHP_Wwatk8DbP;oJWqrP~7(Korb$%9{zHX0~EbX zsf>&ab7;x&<;u4MvXnLWf0{Dt27~7ZGHiTrf4?amk-t~xIOI-&hthP4f*6nT@w{3G z;+2i72@lMUq1M2;n};g1P>Ir{zvc&Gz%|9qI9uEO0-dU1clZxjP4Rl!(xM_#U$*9F z_&@$N{fF4sbh@JUa?rM8w?v~`DJXF}_-g6d5O=lnY^b$TY2^5Ie}O6XuKnjdlTQK) z)@3xt$v%0f)-j4&RxPV&Wmkb?TA$!tOLvF4BJg(AF{vO~Iwpl_#WCTQxqD)77o#a6 zLg};&UEuGabYfQFS)*|Ivfew+mtaFz@`c+TDFwhVTTor|jdHywzJWla>B<9oijSXFa1yzXGK zau?!qaCxZUb;&KsR3VV5<#!8#9En0DAS4eTG<+~Z6M5km9iP3Y>aq79_aU-6EhH)f z25weNEsixIxYmCEq^-!>+&j6?=t|Yg&XY^6u9|H za>B21o$;(G1}oH@o*%%_G)R{Y0W6Vz(*w>}8;Yp*K2IpZ(qF*%q#d<}Q4WH<8xO`7 z?RT{~C(hHM<+^Jas?SjK0r|pF(_mDdqn-fc3rjuRjL(3rCYzmcaN=*>NT^+E-5D$P z`Qd;qSmNvif2PWXad-n2TQHUZL4!747Q7fKf_9+k{Qym|r$KcX0mnliMO)}2h`7xp z-?O6(p#B66?sykHasU)CvuLeoCkb}Mve$OhA?MgDMmhP@q46gSvZdU7Wv|zO0j~1| zbcu!MsjPJax1B~-P#Qn_2F#WG6>hxYZ4)Unu=raxe+<0v=t1K(7C6IQ!B{Dupfzr1 z2dq0^Z;U$gJa69lQRinD`#&N@GnljP0`%~AzK5-P*|M*--|xeix(_H~TD}(qEFdlQ zLDWC0HxQg4RRm^vF83b53<7aeK?2GE z?)?E`e|JwDR6hNa_zYs~7nE07f>=U+eg1Hn<%L_EA1FU^2j1bVv8_%*RK3>TI8Neu z`exGXbxK0vSyQpB)C0%?MIEAFl!4qY2NnqHLfO%Cv9}~)ED`Mqmx&J4_LiVniEBb$3-`r!x1K^R4%O>9_%z-Io&82>^PW(pEUxlFb+w%d&4O2l;dvHu{1Kl7 z@`&tI`cdC5MT`Vh4Ij`_Qiv2i0{{=gRTcy&o*YDy9-RLCDB$>PhmMF43GtS>Gc6kf zGVs0x4te~7mB^N0S^NS~kYCoO>+Mg|>T~vf&yNDP&j*$9vHhRNotxN1o(X!Ey@lkH z#;6{D0x@i&9+21s`ywUc>y?1&cOKVo>4G%JbMJX=FbYKP;6%XR)J$Q`Bq(O;eKQjc z_e87+AlJ3_o>ZI%s`jj@w3Es;W)oo*AQ;i|?Oj}l#c{kxDpplYxI7dE$W8gX6d$K3 zMUE9+5gsj@Zl-y6|3$16O;!Z%9|P6^`J^qAW2q8CFq_^yYOSD zR7sg}?;afX!FZ#>Ss!l0l)y%jeh+1kkL0s|j9^w~4k8KN0>+JlstSjE&R~t@1{EM1 zS7wc(b0K1vg&Ct^j{UP=j0}MgiDwD{0ejOU45(^702mzgoL2z^X7J=%RNZ&IebBhQ zd^4+P=fFtzi&qd9U9^Vp_{_7)oI=Nc&zcaSr;@5LbXJ9=zb-rqw{8_rZZd&p&nm1(%Lo`V4GlB%6PE~?)L zuNtqnA*#Hu3}@DEv_rEKZzI~l4z%tg8ak$uv?oIW$lWLxose}qWrax#LNc%x4{ceTCy=R>WOyT3+IGa@^Cm#qQ}_G57SXuzUJe z%sqW8Mh~~=aZjUOm$~X&^dd>z*9Tp{h@7}V<+eUp&=xrS;@%h|68c2#1D z*B7mgYK{yIuSO2+!^QXP&lq$2vxua^fxl&|iZZg(EqPhQf3xO)thMgK zMDrKQxUj(}R|&Xd27g*Zwia=%r_w$W`3xb>T&NJmmHAjRxjR3T#)l4ZW~)l&rQ=g=VsNlE7I+J%#8u@I(EA&>*iTmOSp(K1Hgx=NU9-6HBK~yOLD*`3UB(O!$vxz>5 z>jq`sy4K#M24}SxV0%%y(xYF0(qjbltl00DyfIur&}{TTG{+37tU^bC`ldKZvbH9q zw~}y);h@%&<*-;t*3l5`GU)e-N^io4_KL2evN)knCWZ0@JQEQQ==-7)1$-hRQo#En zTnU$SHlYGidx#&}5(3{EZ|q}PJQCXi{CyNtCFQoM1=uF)ZgzVu0Hl?F#0%sexUl+n zd^Z}_2_(-|vl4eyx^NAq69o?kYhZ}g8C!9?M_sVrqb}a?QE#W? zqb}IoOFvi7M?{5$kDyIX*SPf~dc(e46-Ku*bQ2elel6pn*~yZhpJu_Jab0C&TFa)? z^1@&xvFsYSsZJazh^gbyphb8mv7VP{IpwisfMY(4~%&Oi`+r{4A{Ar&!e>Lv=)By#UFj5Nv}h?Twr2u`Nkx=n|CkBaZNL zysaK@yAoN$<5e!qr4yrJ=H`zrg~7&q45&c&$hQx&Xe<#X5s_7mgmLzmRC%qv#go_v zWW9H|Bzw2NzXzdzaOZn;JKJQ>N zS2MMux{8k~<8g>yjl;Nn3u3dN&Q4r7gi4Tshx+CdGL`6mn``ZR@I&Mbkt~L0q3hvst3W&7I z_HpE=PgLNoKI$QyEj?P0IM>3(-|-|x6APF&Sb%wI`eR5$U!*P*1P#(e;c6jJ4^$1n zushqudxKto%xgkccMx{qc;0a(?f1$?rKnbEQ92{olO zHAQHVQLXm6_D1{t;oyG%&27~?!YIBY46!@H5WXV}u{%Pn5E-oJ40l9?v+dsw4fg}a z3D+eS#=Z&`(J52dqfN8=U)j%-&b0oU6vXjV9g_lolUQRsk!w|GR+cYennq=VFPmKi z@T*H?`6oICajQjI+B@|Go`9^x`j5%8KXiEJvtyQ~z`_5kO?)bfZfwistr?(URV*WQ zVMMqo6DCH*!o)~Sm>3BQ6C*KUVkCx5qq7JTj(xX;WwpQ7epDN!6Lw-Q{SGVE-Z2v*ot^mMQ)(5ZNEV-LEk|~7 zwD(jj*n27*>pc|<^`43a1W(Ts=uKt8_A$I^Xmr4k}qmrJ-i>N zn%7|GX@!HL9;$k>G>mQ`+OAgD?2xezcoHLjlFe&atI~{$jrv~7L@QC@?hrJy1dmey zGzEHJjkA`b@=c2cm8qDZG8Gn7rfsBd&{2d?YkC&>B|pNaA!1703S7oJ$kl(56zX7D z6Xq2kds{ftKJ%(!C6vOvic`;~Vwq=C;l#7)OiarX3y7bdC%tUvJ*Gol+QC7Io8g6j zIU+GeEQL$_D^{LEV2;zgv%=0I)li`1h+r~XLCKMU@py6iY{NUzQh;PD*;wd^0|rp3 zj72W($kHCV1x}lxs}gdFo@MANT_EvY)49}wM?0hfg?kSbI?PX0;^$FYA?^h5FI}$W zJ5~~mJxWG}1!QMJe^-YUUP(m_LE#R6D9RGr@b9f@`5x;6Yp!@p^lR-Mj)*`xZjkP3 zk7ii6{a1NRX)f_3lEe;V$g83(MpV`p+ zfZ@l1TPC8MgFIisvEQH?(Aqw-8^PrihP(YApq>bq*mu@97Z|_#mJ|7*+vWR+*fSrD z==(o%`aga)q0c@5KgbFXnRg9%nNf1yFtwj#r@m_V|FR>#k6BdqJPo>#(Y3K4SGUvb zrt#rerw`}34~^^5j6R$dd^wqaCWpOwy)drF|CC+dx2ZVH4{6L>dg_^sdO?=hc=EN-ujf66?XB9_ncAIz`ye^Qr!v!61ZOp0?$ zCStiI6XD#FiCAvQL@c*ta-Q6hL<#wvhP|yQ6HRw^+8^C|_s2vR=)6}dSfBfx-i%+? zZbc+c66!P=Y_OQ~G#Tvhuv@MV-|VQBvpy&YFj*b%8$qsWCZU4oIZHAAv!Z`gC=#s( zU_D^<6;&)1DP*=05m@qnGd_DbHsj{2lH>kgiY2*dP!@tT)niFfe6ST(Nmq~7h_W4BcsT%fDn#7KK{dfjz7 z!~2j2BU5%iNik&7#eJ^xY3RZ}=pzc{rN> z$=hsmUU~4G5KM;pL*5K~9}9!)Z*m?oW39gXQ_izhJnep4QGwPc;}bk!EXV`K;yhq1 z$OFcLJYakl9zZ#GKt)9;GcSP?NZb>5*PpER)yKGjsz7Q`OR@&$HtLW;VbvbKwd0pZ zvM6yZ(nF#vzhNbR8#5FntJ);?H4(KBpE8=v z!PJ&|YTPT56FVcuT8%fhb+a_>7?3FT&N{V1>WAxkp&1HSD^U}4ctxmi-f#G^COhcW zYZ9R7K?7fZQtqImE`+@~>3N<=adt)mf3YecM+JDF|A9|hv`4gw*->{-93`rQ+RxK( z$yV3u>GQs@y+3_np)g<4R{?&Sll1n3C;QNnc9^irQ)kqL)XEIaegKN8b1EEl+yotq zgM_|`os>OU1tPmXXHDUSUKrqkYk_k#vu;4f`W#M_$8iktk+ z#G3qn&4io$&2HQ9T+PH)Yra5fnnRpsHkC-(!l1AI%2v~%z4fIvmXr2LRsnNWe<^@^opar}b&7Ysq zyg1!sCYJ6o6HfP-iPdYGi8&l+=gjLkIJMj7pN*?E)wd0wLgZqTZVOh|lQSFi@E!7h znEeVW-oriKfn84=Hx;o|v>#yHAfN-MsO>%L7zXVbF(kwuOOLAQ`m|d!WJm~yJsdXH zsp!jzw`I|g5CYrF6BpJ#@Ya(dUo_Ou(qVl=hLErX(iKrPvTt;#vgQlY<-uNQ?9*NW zseHw=MQrz2Q$2pYP-iX1>KBc(s>WG=T;pseR^n_XT;XgcR^V(VR^M#aad|T!6w3_A z(sWJdDX=A2Q9CYiRvH3w`$hlq7vg(gC@y}%%w(o?V1n`&F8t=Gk8K5xU@a-nUv{Wj zisN9nH(cEl>0(Fen=aX|L%l1nkdouej=se%B)A(*hecmtu^_f7)Th<=s zy6VL;D!y1oVi(Iu_+lA}T`VIpq8^>$Vu1vmB?SQeMN*lX4z>m6PFA=~knNXTMFt+y zezycEu)*z85Sa<(9NJ$oj4Ek=!Qv+6jeWn#ec*VHxn=#^J`L~gzlfDv7gppf4}wDy_i-S5e!`)iIdho>m2aOiUW(hYz75 zEJg&DsJ#LO2u*@!D_|jNV+Rz`02cGVERz=gWFgRAA%`@pHRxwePUM^uivgU*Nc%K z>>Y;&BVp0KbMJU}ri1isKvjpyPteoLah`A_ z$G-DT|4BpoTJK#8T{{VUS&@+V6hWBRhV!@p{Y=TlFtEt2cCOpJEI8Vwxg1xoTOo-|H z!yo@|MQ0gO&35mE_ReXY6$FTLPux>l8f7{>=DIRU>P0caoV{bCQ{G zZ<3i;uZk za^Kr+o`Om*n!%H6ZG6x5_PO0iujm-w;}U%@InS@|S=aM_woi`c3_26xFG?2?lFxc0LE`^?A^8Y4t>i}not7&m>3BTW_v{-q6lO}*R!G9F82+; zVCU=H`)2Te=xJeq9^xQJJTp8X9t+fi5Qs`B*jfk>T~ed(%MRs*SjvbcDRT{oNRrr` zJOV|yFMe3ttDz*G9YptMk7mNnW90#ECL3@Pm7^~9nPZcWY`jR+otfc}Efjh7^cAro z{5xVdhZTn#Ga*@G_#iQ@4YLnkYu{FvN@2!bio?-=A-2fb;JvsTw+6BGW;Ki9KmPW2 zoGooK<-~$q5*M3brIn))C&dP`iI{89hCKHSMX9}FOEvaEy+ zlNZ=On0N8mrx;-f+`MMwB)6pYN$D6rS`0sIu#$0xAj^Uddvf~iMH@;v{lXZ-o*aK` z)f<|fel>X{sT0^is?q}oU0v?77!+jk_;$Y&}C#+3q(qW?ml5bbe8TxQAs z3q}s|AV?~0Vo2ADm`)tCS*7wqqOWpBv&xZNql-L8skzilC-AgSE<}r&L56s=_l&N8 z60!g*m&h%BiA^#~8XQMRe8~Id;gWo>C^08qN4pt+Em@ zc39caH7hoB&BP2{Ghsv5Ow7Q+5o6_H;^rsZi)#x9k`Ut?8D{pisup3MyG0DVQCVP3sy& zZ7G^(1yQ%P2Rj7OENAOy1=P1(oXsoZ)`Rn|qjw5QI2{4%SnX6bMX;odV2;jtgnTEp z&%ZpCYM)h=s(Gjr#hmB9$!2B16Lk;WdmrTSGek?RfRCew6LU7jiX5- zPqTB&F&zFX=_(Va%qF5k1`V5&RD+xK=2@TR5ox@fqzX2Y1}ov(d4h|a(>~HM1lqHY zNP|G4M9ebM zt3y`H4c`nrIc|8xt4^O%kq?!pdDS9D=gGU2ZtTD8FoaeBZsdoqT8k&K<|6-FMXSlQ z*lIErvzknWttL}3tI1T1uBKpyFB~y`|S4WHXZtm3H@}{l?sR!Ee{>v(vzl41bINzrAnWZ5zqfeH9`<2FV=9 zwk+9>cAwoqCY_!M(3c=_cViF?1ez+#L?}|5q@s9EA7I{L|J~>1=1ESiRmGdc+ajxq zwAw#rI+ny@)ml}n*7aND9@F!QiqeNUtpn?PfY#IdNZ#rdir&qqb%%tT6we%S4xTlL zMBZUDjejJR*<&VqQG+tby8%#}O|wFsXInojj7KgF^FmqVQXMOj$mJeOj)mZ=f|m*j zE`yiHNAT;ybvFvKABvjik;ir~j)2;o+&}tUKm9m0dTi4=Rkz9SQ@#buJV0%Yo9gDi zb6RuXIk~y-oYvfTPHP7@AE3D}wk=;o_bzyn7k~Uc+_YV3NN?4@w1!&l$rLT3E#Fcl zt81Hd-tZFs4tT=?mZtA5u#|sP4nIKMxlB;Uzl8q?t1=}L4L{otksGx>-_`B#=CpQr zb8Q~x|||lAj!@!lSjwf7VIeD2AoEgbXv-@zpy=?OAuh+d(h@3 zH_X3O#XTkl;<-Fx#$A_5mEk$Jcf&y&yB6`YJ)I0%!Z;NH#`fnSP`H!kAFB# zc;79NdXq3M&W>4ByqF=6HG%x&D=M_XtC`-jZ{Op|2Z-c*`wQEX5fVT!|0YZ?gu(|o zk7Wu<=sk!mz4rN_dzT|MpKxC`7ZM0Xa%!-RM>3xSLgs0BYQ0V9p8E-;uCf%RQB?Fe zw&!d;#8`yBEiRv&Y*8!vA4(Nj6n_pCV~6dL>3`xI>EMolEn<6704bRn^JyHf+u4{i z+j690WV%w5u1sm~q1eJO@^$=+#+1hqxz1wgsP_Sn0e@RH&bB_bYtCh9NvaxvAhkQAN50Ds`D_=X9e-B%*i=x(#v?#AeJD*Ux^i<4P@@DOr4K{S?R!1#p?=ifK@ErjLpi3vC5pHS+qLhP*x} zBd^bC$m??&Ecbi>PZn2I|kK3ApyLN^d&n|47oi=W>UW-W90{?SwjTvu$J2p;Uh%eEds(r6Qu-v%eOv$_r|(&u@9_3QDD|CbmN%$t;Jw< z--bD@Z^NA2w_#4}+c2l~ZI}GCd;V zZH49$bE?mlHnq?L3x5S(Ho`Q48UZ=b1vojcZkht$Q7$z8d+Hqsk5Dc__&wzW;gp8B z2KDq!>AjpTl`4%vbL<>k*5SUq*-6rbUg4N&V|s;SCKh(nh*kaNs~4|jGwIj#% zz-Tz$VH@|F<*OS{_Fh*vKL+O)JVm8n3%R@yxOfs4t#iv8?SE=vCs{d;a;ZL3Ns|YE z_Pqz;+Y4=eR|@|hG|9~hrgWuknkT)oswl0b&(}pA2koy9uaptcKg*lVKtx5V9RFu8 zH~v_eP;#S{=~rlrtCHek)a4#>1y~IJ>>>2oeWZ z!WUz1v>mP(w12T*ajvrPIL-~KOsU2>9-e$)>j2P*{ReAp$Id<6*f2|edvo<2=6ZsE zueV<8IuDLl_%Jbk<)5xE{M9PS`aZJb`PYFO@6Z7gCa zicORlxctYru8+;jZBNGgQOi8FJ~F~ovMpVh3sf@O{C|~^6S|@tK~x+BJJzbYq*y;t z>T@`uk5gr}x2<{E8|~00PWni9uk9!sl=(|+V`V3fOy{0qmn#MmV!Js5h^7=OJ@4Lx zpJavPt?OZayJyW%@i&us{pGk{je>cL~+-vvQ`j_bOLo zvcq>Y7cm)?9Uh^1m1$s}IHf_n$`AZEuCv&1K@@86E^AztNO{{q1E1WyKQ%o9#kEDZ z-6(IfD!!C8n`nK8s-ZvOJKBLDgMY#!v@=A5|9`|O4RMCz-kJ%1P%)5TuY;|RRFXTNE2$-0-@1Ws z#UG&QChg49XKZU}$F^+hg7t?8;I!ciuYWH`lzlxT*||DBWLB_Y1pJK2c{PF%d`G*O z$rwWLh=L}UFbwU~>qq1%zvA^ZxiqmRNb-f9S)Ilxq8*iAQ!|7MR8k>n>l$eeq=t0Z zx`SU>wfk7{o>rxcnC#&8IJs&@4N(Jmm8c=9_iM?Z`;sK0d|nI zXcbSj4!f7U7dOC36?p+tbF=YWf!GLuj+h$h<^$BrU~Q9{pmVBb_gleRBt!WjgFVcT zP$k#XR`dV?nuf_EN+YMN>7f;8^3U)pByMAZsW?KKpSE1>@fipLEzK|}GlQa+e29yd*XrN!eNC zaRoeij3B5jiLaYy;5bMJyL)3?JdAZqwxZ1hPqP$Xb?-*DV_^I#RRe4?_m#!rqx1Le1 z!xsS^1qBbj8Ya}+W%Fr|9wM9c?6E#`ht4p0eE?=@;i<5Yr@GY1aewm2(@~_Pnniq) ze^?GRNvBK}X^q17TC4hWiATvQBk2--SDL0vaJy-*I!JiBjF^GkcxWxZ3K^X3d%N%7 zPM9I#2k~A{@k9pU8I#GV7;Cr<_}_SWz&leB)jrp7QUl&HA%eF|=-@4r3ne8x6CyCg zWC%=`qJK%lq3gM*Pk%4bj4jn^!L(IUgu`DF+hJV#4Y$>v@;jdLI}Qo)hsp2gmx%$7 z2{8lrLwn?m9vV;wx!WtifD%fbxKxq?kY@Yiqe_`bgO(b1RX z=F9a0NGf4RLx42Lv5BxL`!b)k|G(sqml6@CiBHCN~# zvN_zcc*h`TWq%iBDWR}o60|SCpNOLETHsH__Ge}VexjM;jYt4pXmCZRiEI2$4nuc| zm7B=~L=F*ri#cSGC3iq!E|JVSE9BceWwWWsW@{bPslg?l5OIkobX?-eR83Ha2v|n3{Bu4(GLxH7mBUx)as|NbHwLT*;|8u+klZw-)SFxDH@{36!KG z-~pE`D1Smm!GXUpu7Eps#7?YT5XygBiQEJIBa6*I3Uv2ljtmw04rWT{kgxuh#Ut8w$FX+~E}l{BBUx~gp4O5RjT!FXN%LbXojf3aiF|avCINN=AiaU(Y(swG zf}(75As%ca??L%)%=SiJ=@cV5|M_hCtRZ&Xa(^3E?DBp?m(RV|u}pF3+$e!VPHGSm zfndRwIEI5Xd6ieXhCe&-S5h&O=qTbe1b&QVP@VL@V`0_);)Z8fmC8~$Dbi#(7A}-Y zq;Ya04p77 zt_iUj*M#1TYcf;gI3~93nGDdQE7-=HZLAB0vG0nyGqKqErS#}nkyJP4S#mrCcU9T43JIRHm^(ItUl$dIp(zf2=Zzi4+mNNWKz~>y zh$%HV)1x3e?DI?o8$a<61wB~}Jr=&HP=-g$@STfEeqdk6N#dU{JY+ut+4nM5Vig?A zrpOGAQLy$kByEDk%<(tCf&uo`jnEGwZ!(O+HkNu+nLbCsKD8K*>JO!8G5aKM+lm?3 zsJLTEhPtt%nP$Exg$9`JK0>c-g@3=T$s4=3d(kgziNP%BI%s>R)-S%tqNsg~#RKuW z57C%`zZ8Vr;q?}>jb}S-*&0%k(wnc~HLIBEKFRF;NtRu}iP-_UkGEN1iMUEhckGd{aDt0rr4N#Z-2-srJtp0 zWZ?<<%EG`e#4_9^&r@a`dqSJ-}4mGJhcgkPhu$Qz=&3N2zMs%uk4I<|p(v^OH*=C@Zmj^JIX2 z@~C0l**-sA3sF9$LDev`u1s~RRWc`6&uW5G<-x2Hnuvd^of%)NU`0jPra}|c8oueU zhmESqwG^Ef{II$(4|^{82Jcp2dy?*jKH41YwqtwF*28pTZRXJ9=YMk=;CLi_mcIBW zJ{PMqg#a8S_xKkqgiZ~TjR`=07t8l(7^c%l(PJ$|AB8F3L{U2|QDJBEY894$N76@U zbFvD{A0er*{P(2Y2U9Yy!tPkOupMrzy0M0wDnn}`sjn+9xV6i3o-l2p`kRG-r7)z? zz7q1G8g*JZZAw>;K7UGsOLj|(!A-6>ISvL_U2_6Wu6(&Qx@vfx$rYP5|GLQk@t6g` zpO=Q1bN%dFA(ZtRA$lq#wto!0`^#fm~=jy~PGQFw9#WybcCv~YfHPlaw zEIA6=^W&G(ImX3+V<&u02N?;)A>wmG3UgoX?Ff=`M5qfu)9_O+ZKE{s#RV^? z$*t{teu-%&_zBDdrL*hDEOY|jhnyQ6COWmSSF(zof`4eM!XOZQIg#rUZ?cxb4w@Y^ zd!596#30zY4epHg;{Liu++P#L{WV?OUlYYWu@gN^$+)=xq9gp&Vviz>Z%W3#p42;?Sf{uJNNJ z^`S~IG`aH%O)rx7bA)|~Q-h8FEsB-op*u;p1b^a7?ax>G%9h(u)FAC;D9Wx3vQWZF z6@)z>SliwOSFb9KqN`UVo9OBl)gxG^EI{==Q+d~0_BEFQvTKQ~cSAK~-)zu}F;BeTAL0=-mydo_oii1t+*Qx6EAfdTb zt$$Z|yG*ZD9lOfYxD;QN-%BJc`Kj|Y)+vF$@ z+J5cmtNUiTG#f^lt(Ys0updbUN^RUDu#jW1v1U>lWX+^vIU0gVM-Kji2LkFC_4ZC*MFB;yX~=7_<}Wi|4U*u2gkc0KTIoK9K_h@CYqe zigvl-luXA4M1SsuXcwX(YpUmxy0oBRcIcJ$Nci*;k_xL`-Q@+ORdEEL#g*L{J|R(> zzQzVooq9PSuMVHfaj(9=@A< z&50_Ho~d5Bz#AV=VWOO+_Sch9ooIwmy##lOz&(b4nphs`RO@0z9y&V^u%O*OZVE=vGY-1ZEMe! zWU+~~MCc@KLJMz>1U3X4V|R#3UszcHLpInw%!CeEgg^)Q!&?#J_;~Z0>@0sia5|8D z+56V52r8f>J6OAMEFI0aL41$3EiiVji+L!|qlC}z=j5i$`yhCe&AZ?sPo)K}KsI;) z(1uj^E-oVHVs5u{+C*P4=(P3Q?H#^nLbeV7@E=u;g0zd;`@m~3LnlPc&=JyuyjmmV-;vb2 zi*vF@$R8nTg#7oUy$4e=tr0@8g$C=o&r&X?O<6qGpe;J~#&%qB4HSPCQ1>X`*ZetL zb?ax~b)|Y~?jE8{fIp^a0@#&}@@jZM(YsT09K!46Gm2&)bF6607tbh~fj~;6yk7t` zs(3r;`A;vG0N)HR`EBjYf($5*LgA}6oc6eIwJ#@ zP=}+a`4R%WdA@`79KRmO7w@6^!eX{_pUUoA#x+W2F&ImrnYpnxWpb39k|O1?G7G9q zb}$WF^nw?KJ@7@y;%%r8DRqS0Y$3JAz}bB499RYujx?zvTfGupqeBx_Xu1YXRG^8% z!>sx&06`r)Vhh{1y@$xvVMChksm%BOA_#vM8`n355lQE=(Ho*OMNF)y*d`L?RuG!& z7g>?G&?JyEJYBM}P<`G~Q7+JTBU$K+@YJy=Gmfk!yW@sWS{&Wl*U|Xaw&J%2#EppI zMu%`CBDfL33QXg-N%4yXet?4QJL-d22G-OBATR}2hfrMl1jQR(GcEH{R69mBUI#Jb z+jT8C^s>^GHj2G?!#{wtbBopSYL@&_LLfwzSi8h#mnYGBF8<^f5eqQ@fgz|Dlk@AQ zf4u~^_3zkwd?Ee`-NqM<&TOcBf*&monjrn7>9P9k+{S+1FY~{S137p22hKbWng+1q zpmNrG0N><}?40Y{P3brHfw$C68gs4AI~>2x_uO^KPV0Ya#sl_Yn3j9H|A~^_GhsnK z3{FNFDb3w7Ndhd!xm|>}WXn|=M@8;ye+qY-<^Txdk#hj1c+4!oD{l-uXu2IM^f2HR z@C4T(yXWS9dL&!|_2USb1j{%s?p&6wc~BO;LBsT@h&-yS_@3-3aXmklsCTK$r0T@) z`%IkuZJCC$yE;u8-rU-2QjN$qqXDwb$aris8XVh<29q!|48|t51vEBZ9Duv4e>r+R z7bM&z?HnUQe6;d05Zo;-MQ%uBertq>~$qWG1WAM691E) zJC=Und;4h$wC#Uh``r1j;Yt+EAY|UR#O4%ge#q`v$nzox5x@h)6|5kfv^O354s_^I}5>Gg3IC%2oN+u z7faA!0YV7wAIZJ{bKiU4dvng5s;R23>gnmzznPvE%iNOmDTM2oeO&ck&8IpwsEhpB z06wCcYesc?UwRn%=)FB*6cxS#R5?5`W0H`?y6MM4ro~O<`e$OU{Hx;?4;|7nvesm> zwqRqtS;jo2=~?*|>#lDs5?3cHpd1^IlE;`Ic{pQe4x$osu#FzW972eGSML~S8k)Gj z!%=S6ERIJJ{!ll^9<}=VjNoDiFX$w)@a1faijg6tAR^y%=;u%IPj&lVTC5fDDy6LY zqXQj>=JiVB>ej*vGQ(HR>(QkKkjc-;Swj1;Jr_i_oVG}*S=mloAzxcP_{A!HQfg&A zIhme=A3CxpD+F~1Rwtp7JTPy`wzD1LY{&G>GNNDsg1_V(f|}ND zb1LYW%dQJvvhSIx^a?g?fSxPN5H-JHK7IB25v|=m7CIS*7A%fnc{KTniAg7!i=ES^ znW0JB9GLt3o#Uq2bk$df#kMy3z7c#xy|Qr2c5?0*Bu+P{TS^7Gb@tHHJPvutTp70A zR*0MMoB(rbX4{X8{QfasuaSgw?8++huxA3cx75W5!rYa} zXnnm=&n@L0EV62aOMycKcAeR!|1qU^E9>gq%mA)nHZ{V?KfIX;Z*m_}H_idJjDC!tx%~WslN5* z*oW6Buh_4AyNPuHUK>O|GzmUU7Ych4Ix<)I?+K=XVP5+-dFF}QCXv-19<6-s?`|^K zS{i1VEwXXhD|<2>THL( zoqOd~OXjxN)jzzjR=I2gtmc_Er#IWVOpSxLPKC{n%3Vx||6D$#Q9l0)TT*K3@{;)! zpyhvBMxp#A2(*TZ|FJfN^>{HZ`?kqqOrvfiT%Or?&G3|Y_EGRxNLVk@95LIv+H5e) zZ2a@HW<>Mxf$!wnS(TRHyXQFoUYmCFNRYqANXGVI;y0^Nr9#t@>X}3fgL)){xDl_G zlm%7D5+iW`(sI};SM%TnjKho(62W>&LrWuA$gJr&YH6NfGi*nXyGg*8XJHqVl0;*} zrn^H_B-Nm4x^je22eyCHq?zy0PY83mR1bO)e@p$kz6*K-d3i==ymJG+V3IMbI?&Kf zA2zac>6%}U$O$_NVFd!m(;v|XpJ`Xv#wmKOX06wXD|z_K$BYNTgfr(%%qj-rWc!qX zuhp-4244svIbz~T1fF=>-x7;-Ht0$z%FcyL{4@>O33*zy?w!uzd;^lR;K1T6_M-*0 zZ~`JM-32?J6}q&(n_A5}l{Ob{%<+dD4FjLPF`l&NepXYU6(D+=I>EDdoHTBv>a~j+Bwc#7^656_C^wIXecqKO4 zf~g0mEYfeXuW|txTPeE;Hrx3ex_4WhTOTK<;7UlcTqFku+ikF#WjDP@D0XhI5{2-I zr6vIo6e2v*vMXfI<|DlD}auGFVePbZu~peFhF zG%*-zF+vlMJ6^(+aIlEE`Q8%#i;lNXGv4gshiU%f@q`3Dp+m9Q^!V^M0bfc2{B|)j zxIg$zws#7+!FFrDw#xl>$5+4M>5*ru(X61x=mT_%u1@@Di1EAh`kiXnLgTj+vx1%u zDrSmR7Z`gBz-~Ybe#`qK^0q<(0c6eH9wb)N236|8s|9(Hs&~l{$V(~b;0v# zIv*#0B%5nnlS-%unk(F}YhtY}87zf^^o+_#9thL<3>&GFK(TFQvW+)H4O&N&0bxt> zsL(Mj=RB)jQ8UkdDe1;KXj)(&&n|;C=l!*K5n-+7p#S}MCtIkmCZ0v^v_i&qKjD_d zWUZS_ESGy(uaSi{C$A}(Q1-gNjpoXce^|}rZi-Y$bTu#rhp2chr)~_V`XHv`ySnW4 zZIi)!VVF{;!l^5uuL^}trQOHKHsbSbNF-IE z4=#jpo=p`QiPJJwak?QI&FFBTb;cIiEkSZ0469^5s@1#9vs}%Erj)TC4m$s)lzri< z68BcPPqL0TgHVxNl##+AalB&kOia`1R3@Xl;n~H*TKE?$UERJ}zOOYf?J!rvXBq~F zV$4^9E-rp<=lRuH7JGt{vXlm#3Ma>f)E>#0?%+Ir$z;4WpWArqsOqT(J{R(tKOgyK z(FzNoY!$?Kef;xN3uvYDZp}&1kJ^Z6-(Sj}f*?%YrT+9=t9UfO7CyV?JG{3xkt?(Z z4t`%8`XaXbf2~PK2fWtA1Lcx*EpCT|5?l`K_yu33FWjbwm?5y*am1uvso9uGdEye} z;TiCXcDUC6h7Yu)io2t6eMaG!f-nQI>n~uVi0;bdwD<+?8LRCC4qO)u*LVKa)2G=9 zGK;e+G76bHjBXXg65Jljo}7%zZMdEDQZXA0_fi?DAFIZLaGwU|*_l9ZyTcg0(5|sARLZlZpMARHeSWB^!^3yys5)I=$6!Bt|+=2ihWmWwK4PzUx_ua?|0E~bviWdlws3P1ym(l{&JJd6qmNvXSFxx1~sXRk*4 zHDQf|zdl)vu0h^%^6HxX#tjDI6y9Ys;&WgbWz}hbOtJnY#H^zwMm8Ka$LmNk5o=uY zKBx+AP2=%G)2A-Vr7L=PEO27NyMRDu?W7C<^Ply_9!fI!%IcZRZq^6c27?5<2B# zf7{B;e*cC!!a}vr8j2)EG1@?rY3XfoB)Y&Q50{KBFncd4Pc*&AN92`?K3?Eu3Ba=b z3IA@@>Zn8e(33-yGf0m!bQ=lsWuL$Lsup@Rea#|@<4kQ5s@Bqtd6{=$Fwyi;l8b$C zbMmBJd9;nqUSbaB$-Diod~x{s zIuE|1xCW-M?Ebv6#hb)CU4T^}9s&CXPoXoB}YMTiwEG@IP z_e`e(FmsSZu?0#9;g-<%8S8mp|2E zE%^&3h!A!i9kqLtM1fADLw~AGX%AEz_Vk>bmZ1}^pnUqdYe&R#S^xRBBlPYfJH_w0 z{J*d?q6)nNdpYq76?Z)zWg1NuN$jjRSJILWf8r9EkCIL41YlDH%H=`xMEhOq7Txv9X4i@+XYRJ3`nw_EJ4vJjox#|c#Gl=yu*;wgNEdDcF9eo&NJAmITC_JzA|8i zuKx~(9ZKTzV~OIPEF9H>RaJ!5{lQc9vs6Uwx@0NIdcGLJqBUv~y;sOnr;4f9y(3;c zuk&~KFvrA>T-HiQo`Z;ZH`e)}^3QrdM)|NH8=Jt_J6 zSw_Q3FKQHD3eR^+Dpa#dOw9&)(Y2CET))*y!wco{B)0=sd2x+PTTy@I%@V1>6dHfB zsW^-bmG%oYaCXHys_`&q5t9s-g^v!cqA?1DpaunMhRe2JXp#4PT zMm)XzkT%tHX82((yx$wgZW9@|C?7*m`+z2wRD8~e0s|EdR|s>vHC6*A*|c+S{FQv) zE_)C0VqLamqda;}p-}g6~+ z8QvLDpwe~-tcpd`HHIDd%45#y+(E6a61Hx-wwj2W5XtWdf~AUQC{CmM*TGI|X6q!K zkm-oa+pC|S-8a5dw8Sn+;7x06s%e7~-@EnBL^bfBd;5Ii_Zxhzv zMuIKnmaMhCHCjl z+U-g&>o*(KgQ6lT*33o+gwxM&aJ-a5#6=qWRG2l75ud)ZsQW9Ksq#0iDmAgsO!eh} z;Y@CZHZQmt&XYT%Ux9~02~Y_X*I-T(QIHyX!Gx$sb^&Z|d>7?UVHqupwnCFlF}_0; z{oRqLj)(#p$D-TlqQ@5FW%=Xw#q+To1J<6LqReXbR65b)7>UrYJK;Q~5lS2lo=unn z_`JW}up5w?Cpg}AF;4D8Cy_-NbRtzG+>DJ?4f4A1P<~;<`HdKJvzhO~5W?dpd^^4j z6#b7AaiR1>N_mf?U^RtJgkLN7Ij36Yrssv8Fj&`B_Lc}TD5_fow&65k13wv3!<0N% zWEMx2#12X@94wUkjWZ_e$*mQu!l;NGEJOiF6jDQhNM>QF8B@_?wB`u{`vUMq$~@Hj zWL4_sAtCLMex@5iwcYWoz`P|K_$sCJf*^=PUMC^}_T3!Dvg*3Pep5!_b%S}+Wv;Xb z*jqoj@pSivb}fe@2X6Y?#q-7nQhX_w#d^0GJq^$6Prv#G_ej()FBKg4o*C|0x>6j9 z(`i=ubWayrfFZU_fwFi81#!dIK8zs-J<$C7I{LS~sRXX35qsbO*%jx461Lx~JXi%v z!eFv(5C8^^<4{-?@}grc$${POQtZ`^*#v|muMeuXC6NR-*%w4_gIrcqc4YPrZ=^e= zjlxf*zi&d(*88D+Ncmx9TqM{xm=-?#AmN%4kXigx4U(?^3p)%Ll3%# zaVY;B4Z*bZzChFM1rT|Lnef>vS9(Xqp9CYc(x?a#2@c$VHLHInvnOWvr` z$weYS3SrSq@yn7+*jQ+)P-=i+odh>Jq2Ts1kk+N}UR-MFz`Kka=1(2^URVo{IL9L7 zv=eJINA<2O^}{c_vpHT0%?0z(4|0rG!~vo=Ju7!GZFNj6A~nr7S2X~@%Ux`MwmK>r zDFA>40I-+Yz=7yMG1NZ{0~(MKzK;eZ{^v^gABGW*`;S-({lUlw4M_S|7mo%M#l*tG z`s>I975MzG^smi5ClC+5f(pd?Mn=nVNj2G z(viQ~8&|jhHl2c+x&jVrQ|4Y)9mRwa(vL;rL(ky|1{)?@$-JK$bhKmY=Xqde6Wh|p}s7{mx2KmuPuAUe}(m`s`FOi){ zQTL@c%|As=MuH&js7Y~K16vK!V_hnIS+%t39pe7JUvBR+K~2jr!w+nf{!3EUbklUf z?mwF=#l)HyPsdF+Cnk0WuLXqLkTh{i(DXcCTk^J2htv1Q)fq?pAGTv|;tcm@VL!Hw zK>V%}Zxbi5bI?;fCj9A3BT+I=jFnkka}#nMxgqwi`v~KW@&pUCL}66*7s;c9288q& z+#uUsVMVTH8Q$-(E?1ZLiyY1&PJ*TkX)2S3PS0aj59vn0)Te`O;UalBuDuyEb=v*7kpO=LT;;RJ(=}4cloKu;l zpNg)l+mXt~s>9JS^zWA6&kFmjOj{BXQet&P^JUkcX2-a|O19P({ zqNyt9VY-e|QMyf|nAY>Dc6G9!GRjv0ftkPbgIwHHamTS7&jHuJjWFQQ0>5n~SDbQEF<@MBYWP35 z;V38%e^%d?hW;%ju*USwaR-JwY4DF}yFo!*9tgzsVXv_iugz$Se0RC)h^O=1b#$>z z-rBmFHu@^R=I6jAoIgUJTngpO1J@c0ODegMoK%pBRbWrSZrwZ!4n3*Kqtg4`;3kys zAB=(~+}}afrWceN5_o8VxH{3OrDM*;f6 zEdzxS7@QM&I(jbtip?c)MRXk<;51)0 zQ(D!xBIsYj_(sS|WZ&fF|C)||l^Ir(nxtw$^-dE|g8H)Ta4BQJIerZ{c=Uv4ro<}) z?@20*@&`SSgqW56Te~j{z%^(cgL$ftc5>7T3#{jZy686>Jwk#kpHGjbrn1y4#Y}6O z>S@O%V{%!HvfjFfgvvo3ZDz`nbZ;Q|iw9TQ97g z$oJV%)s)W2w}wnc(Z})NIN<1h=khmS5c#|FnGLR?qbdLjW(9-peQlv&4)PQK zOPFFY^A1s>(;W`U*o*bj1^P(WkhkplU=ZjWH)T0@7|vK?);(`9_`Bz$Vj`B|FZxEq z3m(@I?`Z2Kf^Ft&+bN&Tbv@Fo(+)lVq-3g3P>n=wgbN>N+Vp)_5LAFUF$MW{Vqf>G z&p2+gZ|aUy)_z@bz#605%9)z8S1wyY{a0^~`+gp~anC~o zkBL>2jnGg;2LOT?0spMfO0REg07yxjx^0eS<*#iL`P*4RQ^TVGo0ZHLb zOu$eavFC!qk|JV~f?)VH6Ob84MDe+hpsKirh$x(s8Mp-$f)la;X+*`D82^l@>2 z#cS!}O@asdB@ zI(-~K1^frV(3@@^3w#0u03dK;P9QJnkLbT*8ScXk{O5>)!7&njxr3)3_ z%LOEX*Kz|X{=$tJ7mx<^92E#(LIcv^15ro;{{h3lI$ks&T;TuESw85lQ2)Pl6P!RA zU?%(n7m)LBjQu|`CLe5b(SS_*Aw ze_j0%pyoW7tD^(y{)a0fo`Dwr$(CZCf|_?^XTk?bdFNHOE|QcL%b33$p&e z7ob~p%ns|Dr=M^(Slnte#RMC$n;}zRzXktnc%dzj?*g-v_VZ7w5rt=Bcp}GcD#Y|q zqtU0hsHob?_37=RPHcg|%EHJ0^ogO2pwH?@rmFJed+XxH5jwKf3$Df%Uw}h@&$dYQ z>HQ@T98d278k!rHld$mVul4GVrLMO$4}cpo|6BX_{U0l@96@fU8qM0VlIMtAL6h4a zSZGO9++on~yit5TEEwv&9Dm9O_;8o{t|v^TKvrI zF_Nf>hRb(fs!B>=-uu=k&!b8>!c9LB?RKwW5Z@$3yW!Blu~SO5@3*l^>Q`RNzlL(& zt_rLYnWguLalVMh%|7B)zdnWrM@_hL--G*m{>F-Jrvlxw(dzA$ z5R9IBue9y=NA1pN^(f~?1;xbcb%9-X4;4s8GT|*dNK*}B*F#>jB*YWkF`C}oArRM8 zNUmX6M($N4kUpbU%A+w62Ouq38AybD>T#6FP488%7R6knDf2*Er$+9cD{yXOCvTco zvK;7s{NwrQa(uK zg4qhNMq_#`1^QT78W_b8Xa|~BB^Myn-}UA2A@}2BFA*^vDgObF08l(!#GQsIe|$%f zW9$(@2a4!F)l*$H3sij$bSoqEn;~ z^SC_)+Ri?kw`)lAR8RQMg=ZI?H%0?n5@V7-MZ8v*M!as65<3P+DhGe)ZC7V)Wi^0a zwF9-b50AWhk#BA(hK0nn(5p*U)og|zFz!nF%3Sv=;;mHv0!pFAPH!`^Y`DrKe`6L6 z4wt9&o-+84S4_ux&&-?FQ)1)V9yC)ZO1K!depp4kY8QCpYr$t1X)zqRRzGODJLjQf z3JVRhr5d@>h|nRB$IZl71dps}&k*EfhcKSp!fhkivenKr1ehh30<<+$S77F*h%>qbnXN~~#Sc_87w@TFJTH6SuXs|G zUA2`(8aI7OFEXMrkTd;QTj;U*QePEOXsyXlUJNX^p0KVj_aXmL=luD2rQ_qqNe?XchiAD8hn}*zzB%M8?_y+w4ro^~b3Y!8U~66MOQiFICG{k}QTB84b(2ado|3F50@!_jeb0f(HWg zW{^o(y+3ZBA6W-?&nj^Gznncias&H|`J+)ddVTPFvv%`V9{>E<;`R@q_%-VDgFp~w z=k^Vtflz*42LPbn-v2zkdgb!43q}V`jVjosS`;tOst`EbLoVFl*Y@p>&_=g5^kO=5 z*!cSM-a#!wItt&PMD83mWTpZK)h*HJ!sQRBMCPIAyW7#?t{!#Lo4=H?J0RAoxoLVD`h8MU(O*QGrx@iiMHyt- zjs+$0`UkRD7Rns9k&aVU5m#EfId|u`33t(K0_4ulmRlTfI(cEmIk6ds+t2Ov@9G8UN{5Q{cB?rS4DRz|j})mc%Nk%iPS*9#SH>C#9+L>pWJz;AFp1n) zp4EviMiXgK2%!8#c$&#_ZLp>R-26@Kz-e(Uaz$0ZV532+!VNe}ZP-p8C{DdrmIk-# zcF%9EJ_ulb&9vXRf#$)BKJS~{dZ@$dFOSdlzRDh&)0B-S?ag^86KuiW4w&$Jes7Y5 zRtES-GogI+Zpca_om7^QZ33sycXq?~$_tdYSkS*Psmam>!m$NcJPNnjv4;F6P&e7N zlUPu}Y!xY4O#2PDXwyeCTe>H;#1S*Vb1k6z*4!&jfmT23k`^Uh&UGX}<0iG)wu)DF zZ2}p6o>fSh*x=>+G$(bR?x1LQPPNyY=>VWDYp%AK#oGOo6_wz&K%8<<^_vpRHq%db z3;XKLw+ZDzfqRroM2>qWX94l&G{|=T(Y#P1D9iQ7k`W!1?`=BQ%4D1PS|H(Seb}Sq ziQt8;V+&JhI^|EkgW|9zvUBvu+H)ldf5~S=XmWFU$Y`E54y0imBX*0Tab6PLUjW0; z@T(ri92zvxqEh{$5IV4$U0A^IQ@={=lS*s@v}ouAsXr8J2jw)LW%RvB1Q6FMLNuNt z&5ze8@(yg&78>TT(dLmAiH6l=VIAnbDBl{RT?gjHHE|`Bc_gN6=w*^LPIO9+)L@D- zH8A$6HuAU0(DgKat7N38(K6& zqE0@P`+h59k8l3G>r8p5Kpj%Ci4Y+gMN1K+%A)ng+}Jfx2BkB;p)~dR)3&VbB~ANm zcZBcX;mzI^ECZ^78AmP@;?iDR1Lf36ln9!z=^1AwBJlAxDwHx#0Xl0gRshhg%#5D? z^jE*b<_-r?12=8Sx(;(54i6`|ie*6#`PWkVeR-+4J$vNaE+jI6AL_677iTy<&}BQmpB)m405hg$W6{rm0gztX6V9#?yAveW zH-IXj}Zz-jORou9ykevcWc3K;5GxJww)gV5tU~KP!RP z{%)Qd;+rJsMs+a0m}}B$ntuECIfWWs6eEXc-p2FHmAUK7hO}Z7pXf5v!GrIUc(F zXt5P=@Z9Zj;gAbd)zU#_^bJT;YCwOr2qLXRS&-C~OK0!ZM(s2t5~W^V?HeUY0MQPZ zM3DYQ$iN_Bh{kUHvF%04BF2qX4cOSKf!smog}?P?EqPj;`kU{)IyT~WF%X=s$OB4+ z)9Ia9QBiv#1h=>&heKo!5^r~)ax%`7A7-?!=D0W81qn<7e*fO$YJR9PCjrji`rOZ9@L5S;*GK6iU zp}6=RrUCI7<6XyhWvP0V-d?P&1OtT9H5Zqab*n$DIV%@?VE{RlZ_g5WqRXYUJ$%2P z(`R?B969|T4-Y?INNjw#C7;%^HGTQL+S}sNrK>xPyPijKjXrQ+-+xbrp1$t|Ta_^Y z0r8Ht$6a|08ulxw->Zo}&@=mc{!pkNaSf*Xo*{Yu&ylbz#&K(=)Rd9C-pejbP` z?6=^3^SkfDvMYwVy*ulZqMPPUP&gbqO2cV}j% zvpM=7se-|QV3c@!VK!@!AHNLjkAW*E#S;J(Lg5?VFsu^g`9`#!9X(N2B|j0BA_CW{lz~0 z?hw6ha(QPlpBkXw0UT{SM4pSImlKMe@c^`sv_8j)w4OUcl_<^g@ISv?EcP}TH`t66 z=uw)6m^i}-!$w%q5WA{N`K-BSc>G|!^py~bNB47iQL}p0^{cMAgmp~sXJjs z5En;Q8ZN7-n0Ve1(^Lz9CY3g=ASLT=xPeMs>E8b==SrQKauwHiTrXKW6GUV)4lN+Cdf9kKQ>qc_dL+(GKNL=Q!e;y%a<5-u@<5gao_T@9&~$HQcA`dzunME zp*Il~kEX%m;96~3}(Y1AryX3C1q_2AN7>zC+)KNr;E%RFubFedl z4UZaHn>4Dd6xhtpm|KV>NXJ^&TW0Y&YC$2VM3@%Q4%-|cVuj%&TS;rnDSNA15{hz} z{xbzBAD)Ivn`b90S@$ZCN}8AvUJOXHMH9@6=T-&+Z7joQqnxCm;(!MGln%iS?{O!Y zB>5>u4CIYFA{v?4z4G{0+ZxrJVy==&o4vR+3XB>{5e4GvT}u3`4kF zW9&IAgqjx+sxv#w=0By9>iFs4JBhsYsWN!hK?VMW=s2$7%XV{1dJbqOg4V*jBM^8S8@hn^ z{3|@e<^SyH@bt>KZkG_=C?N%=-;O1`^W&zTP9TI7aT`8P8JA)Hj0_aCQ5k`{K!jep z$)xke!(sz0seFhOAu}{>c6bc*mjgtB=;3fxsAl(Ds&O8<&=tX;g+wFIJ%l~_uGV6b zr{)3RUkg0EiS{Ngo1i441}alA)-kcjl#@7~B`RZ5=`zck5D|2xs`yH*xUe|HuaE00 zr_=ix%g{T-!=^s`7tWRzC#&l!ELw@{V^w6wBl}4pdmd)op6jOo;$!<;8lmHiSC;&8 zDQ=IAV8C23?>Ttp=n1M~kjwY;>Uk;X`}+fM%qvy5_n2Y-X(%b062{j@cEc-oEJ9hU zaDLm6E;P%dsh~ELRY$Bi^3#@7UgN4SoJVcT!S~biToKQdFTZyP<>4fr_8TJt$CpQ# zRGg@|yS7n#oK|(i+-j@a{4m2;I$P4=$g!M5ygL>}e98@8(&Yo`I_dKa?h5UwOtAzg zl*ilOq+z~vuUby4HO7v?*ZC|2W#C(r^+RKBdx&Z;!ku=N+URo5xm4M!Dp5n-bt9$D zU%AjTNEUyy9S`@s^<=rdL!P}emT1ly@Cp$8;EF5zF&7ueRMLj)@<}Q9M?$)n>&WHx zR?b>}qlb?K{c@RMH}XzXp$4fsAaw&!G(ka+?3#Sjc~~_x>rc8qkR-+4h)Gp13 zS5}r|IkGXBo1s)7lhx2n=wAw*6uaMMNGfXQNhr(ctAm|P9e3vGl`Nh z*dLu=-g(@Jyb!#~rEdJMbaVZG>1JkRV@X0t5C%-u9#VM{c|Tqvn9*$O8I`Nu~Y9otQCoqA5~GhK5KYlWXWZKklCGi{25~SeFH#PTrOn z_Sk-h6<2&do?N_hxkr>Ghep`v_A>9pw=7n8f8Sps5pWk0hj_RZOdLtUptY_Y2t{LQ zDFGk0tlMAC?lJB_?mwpMm*nz`cOUJBQSx&H@i)kL!vWS0AbL;MB1Jxx?k!&6}W~DK~ zmSN4tgKURrYXr@Z`Din~UZ|Sr2dndq zFpXux!#kze05qA(u`tzgXu9!=Z5S!9a7q$igB$_N7}--YAYa}@^{@~{VzHm>e%}@k zIO(m`QHPWy?Yw2lL&L;Ss(oKk4G=C9ez}l!(tdX7`iMj-*V1#CP5bH8A>56pUl`3@ z4cy$5arol*2TbC-TicRBGLk5Sz08}T_K-M)bZL-#J)Qd}S2e7bW5YwLoV|)|kEv#u zXo^s?JqUH^6fo+AeAK zO!*$2#9wwZ9>&6KGdx=|m+ZtRCv9~eyP zu?HCs)0kIfxzh<3VK#a-rn{D7w2%Z2ttCRfb z?i%{?m924CU5KkNtIG^$`S*dDh`;=GogOX*9E{`nE%)wFVmR>ne5iRCjjO@Kh3OWA;5^!G0f*^ zo+3cy!eE{s(`|0YjJX5-bbZ=ph z3?&3BVs!2#ZZrW%n&7D`|xDcMqd_OV~_`;}4_RMh!_5tNvNfpZ&9c zjTsvlZmj@$SoA?a>rkoxKhWY}{=cS>iGw4lG))MgDH%n>@n5@n<}whsmIN{OFz))( zA!{^Fbesw%q(^v{*q29rvqR_FHWqe_7~0^i==*7&O5Uo^3jJ`TpJW-Am<<`Owi?Q+q%#(ybUa7;aw*egF>e;`r3j z+YsQNqeq?~6coi;|K~$Bn8lC*>mcPo^s_tYD3T707|Q;hgz`aOQ3Qjy`zVLRphf1c zME9RTL|UW)8r&EUTu>dsKZQYzw~tFlTl~TfRs)D7;*6Y4u+FQIOT2?#t0uv`$aRjm zkA2{^HAtr@{3wjj6t{e8yI}b*k`PMFS+W4#cdY9Z%DMat<$Cq&zPnp}1M)OS|zObEhr1SkQ=O6$)S;m{@WP7RE8s86;4H=pn;<4E>5!y#il zz3s(IOGIY{q^IIsLdxu%!dWOUEnQb3~KNQ^3ID6dL!kA0Pe1~lLt*}|J-5~8ruBc%j|z$4m``NqmXGA7E)>LRYb zB60KU?-L{q6#g4-#rDLp?idRv6S*VB=WW&m-6C_kLHh{klV?7z?a>aw&|BE&&r?3| zeOEVJ((UH4zvAN?_0Z3?#GZP$dsP;`Lu&n!)4aVO4B16hZ;f+{YX#TB4&v&A&P z4X?cb9R9W)L6k0Ld$38Cw|PwBE9Ze{+mCh0%w0H2t52D`FQ^ed(!?mTkVGo+8egm! zHRpo^Q#k8EYIa9xSv!2kq$8x-OL2{>-Sy!cWI%Znw>J2mJ0axwd%A6TCa;N?)s)el zo(Ase;!{(Si$~zBc%@OwnF`PrRZ2qgX}pcMH#Ve~K1=Y|eQDGnnCm82_*$i340trd zAd#vRi!mq<{SMUmda3g?d^m5ddy&oxZ%L{dnq?Q949`aMZ$$Ieb@N}Oade0BhS6V+ z?#-IM!*-0GT7eS50U>N3J#YG@3p01@sOKn?(mEe_(FdGW@#AT@dc0t8RWzE!F+|1PVB(Z97!@I*S6 z^S)iyzuKfq1a{aen3{lwve}UWvpeiKLlFCi?KSp%E89hmaaDLexEBffe;)MJQgi$1 zrTe0js-mcWRkMvVQI}Z}UFU#0iXWMhgMcS)s1FQQQ6!9g<^97Nm9wHE!EDQIZHEgi zT|(1c7^MJ(_TF^c%daI$`aIy!d^o#xWL`VqGgjFcUT_i;bWi}U^AwUE(x70Ky!qQ* zp%EWFdv{;HnvE+5X+Gc!Z%9WxFpMorjKU3h7zIIo88Juxh(soa%+8zxVQ43jqS^vL z!)~&4q^U70H+-v|V>5=eUFWj30o#~ig0cRLBiK<3d*%(37k4vQ5xZ8X`=%A@AwR(ElxN+iRxS0szTqrl1KpN&*2AXA(eU1+rz?iMeNvXSlb){mo}6`l zF^gi;+#_4EFVkhy+?yK=ZL-l+@QgVAj;=UJs|m^7&T8ts6?MuPgvsACCGOfiMj5VEE#n$Z4pz1K!;aDAwqfdy zvW(5y?y4Kg*)*yyEb^<%Sw%Bb(Q3alxi{0EC^m~h0KpIN$zKh?|MHye|9H;I#*yTd zBM2DL;E6k8N4)(+-?-<(~mf zP32e~-8Nt0lfQou$GKhHT-uML=N>IYkSicbKf9gT{jCI70OvJf%BfdcPLg2Z6>a1jS}7x-4`L>u8+@ex@l zzxa$aem9%tmxs_X0XN}hRxt|gK&Qpj6h z9#lS9%1-gT`%YZc=ZM3~V!F@rxC@}s6aG(YpOqu@$#&A@zaoV-`H<(Q!IuaszZ6s@ z{8DnL0CTjYzcQD0@{~47v}*UjKFO=fPbq5^e$0dc63~RcH-0GYS^qaP`f|72kMID_ zgCfsF?WM1}W^^a+14qI$2?kyI6`n7x0avVPAl;*GEw7~n-gGY4#7stm#4kEybL4w> zs*Xvyi`OF|V}*LAdf##D`qBLPJ^qcwPK}-ufx_0pmt9$H7thH}xn9hXWs-*00pm_m z9$jOf{!qS=QLaQYx!cUWg9xDKyx1PPKI%a;NEh>_OU9d2eYi9l@?76YHovTnx?7^? z_Kttl@*P01CV&+G$@{ca*dG?sjl6X3CvyCht>3F3HbzyoN;U~PhD=7q^L z{>mt`8mVVQsaq~`FLWTW=vxFN5;@q@H zQSS?D&U*)3hCBYH9l|y{4VYZRq6zblH&oh(zrdTy?7~He>lmUxJNUaEuzWyd5I>2Q^+Q*nuHqU>Pkbh;DjQzBNT zuskZBXb|$wLC>vh*d-xXcwLjquSx}sBCUFEO-qSLIL1_JNmxI* zea`o5dU6qSF`TfMn=#v?inb->I;``z^!pypJ=(Z-L&o_|`+K~5*LZsimr66}83bG= zmshWAEt06oRPa0!@$9ig13Uz@)c#)C^RHUo{6H{ttN#MyibB->FS9uRk6BC{tVyeR zf`A$gzPK$$*qtXDUJQ#$d#%3?LtGQ{H~v6)k#_%pxKYpP{(X^AX{M5C$2y1M&^y{( z_E0<~G;&Vf?j6`u+|Nm_1gP&^#SNt)?Bsc_!s-u81?J}G|k7~y_$`SNYwh6gZ+QkLv2xD%=(U0qF3n+vwnP%=tYLyYbP zCmHAO)ei3ZSgh}R1b!lj{)#? z^6k?dI^Z`q*YZHi|&A=bg!PD-IW z?!`Sq?i(()-o^dfDJFZCtz4}-GRriI=Teoz4vuu^i!Wb|0Bf>BY-dqyXy=H&0;ax8 zsZ`s`E0_7G6>0HmVkRK}eicFUssj-1B-Mko-h@k%d`D>`62<32G3{hod8kVnCoeGC zEF{IFwsKjy&);@|``B`a5-P9^0hx=lTADL*ndPYM|61pRIa93{#|M)#d*XBU^VG@U z-(jvN&Cc2 zQfyB)p9KhQNb=6VV|5gSgWa|!H#S=&Be&yH=FI{#&{NcFTxTX%luJ!4#)mfL?IS;x z2gae08t70jwWb$}mCw4O%XXkd0||V@137jbtK{p4 zkJyzaPBe*)0@oI+&m$4=)dG6_GZz`D+ahZ82Tq4B|32_N%xIRe1w{QRdktsugeEam z7bN$61;w#db8DXk7b+JE2C~~@t&=sJ%!Z4c#mc8;N@`!bsSwI)+)9^B{Ai$*FF3~` zT_B~KM@dd>pYc%#4`WA+lM*b?ptF%sjRA_Hin$%pE;{0n>*UI1g$0nxe0W+3eyE8r zD`&|a#tmhcw#xgq&~+!P7WIjL9uox2GDh;z;jk#TR<8R`BVC^wr05zrSe;d6iuv0N zIH+{Vv#wlOg?s#MW;yfs6={YYu!ASnnlX@Or9qz+=B^(m7FWDWo1>3L^lIq;s2P>P zNAoKgoY>9+o4U&)uLI2A85JKF-Z-hR#5+%lca$nH$H29Exi|^429}Cc+ToiK0TUj-DZBt-jCt*p`h? zW2kA>K!dE4=kSS$BUx9?kJ4`hB*_S4|AkbNO)>NzCN{1l&*J|c(@a$!vm@@jse9nH z~)aE}h`0fH8x?GD;2n~V%pie)4KQ;0)+=YoIhgK0}tAwfY?^Fvx3c@T9gPy=f zzsnx!W95Q-kd<-(hD6_aW`Gf*Smdg(07ta-ScBQ8ws)oaxdPesD0SD_VrJ-~^Q?fO zDTf3i&SnGSHtD2v!ah-`BVgntA6yUIg#+-P6r7qU-f#e3jWLWFNM7wVW?NrQgrO*v z6J2bmc#eM9hKGq8B3zmvhpicLLB=i(aXU}$1zpVg0T9?0lsqWjpLI*fKs@KK4nK2)wb$t~51%`Lfq1{Eu@_WpVjZbxQD!aAlz?4a3b-|P%+Yd<238{9$2 zlld&z(4N1!B4TSH5hloyD=(%IVl3GOR^lo7P208RddM+Ui*^dIGbC_GkFu#;Bf`9$ zlfbm6#Y1{aTFh!DhMH%gB3a{yRyk^l>nMbr91MUxl#Ak8kIvsZXN)QGJ6|L%3JHR~ z%}LTF*Gv)pKg;LEV|FjSa91si>#0;BsE}T9#8{O2X4p*uz;Hzh++_VVt{f2$Niwny zF-CQckv8-}k&6k$oHwYpV<==}Nka~+aHBfT_&KU!QuhF7&jn70-o7~}-<<|fQl_Hi=pXy% zgDxl-!-8p>-LdQe+)pVuFCUJN&b7cZ)PFFNTgK^`bXvzk0@DIXdqLv-vQp4^p$1A? zHIg)>eL}NVPRA8z5&KB0x~TcD8Ck}mG8O|6+EkmeS!;Fo|=3U1WwF4EeyRh+xK`NS8e*JYoGA5@(oaZ zg-YCG?^=PV8OfAGp-l&oHTy=I&2Lwr(#1v)`mVF()SYs2UDWXwkH{}#ER|P?nW3A3 zpjNg$8Ly~wr9?Hj*?2}K@+^E>ic6bZ^fLHqeJ?Y8-hF(r9Zy!mSLUNQwQXVqw;p*W zM>DNG*JB(!(sTdo6=s!r=NSh3kOV+gVQk$*jY^x~djwyYbdE!${W?Ip%JX@cu=KBT ztrDhEF?YxyGIDvsPa+cxD*B56LXdd&@$#CX%lpOn6w(Oz)vL=+3-U>;rW zX|1r4F_JY<@y$<|sA^k3o7q7dCI9kls4nkDDE^e7R%Q{hc6asW3EXi+69Ra%eZTuY zp!gmy8x#+RfAY>_*+%#MVEc6*_X!*Y;5uN)+7D$CT>4=WwN66iC?nflj4o)-y2U19 zou=}?*5b#`cF^cI!4_G6agHpIusWQF%6g;Wv2tTtn1UUhfbcz)M0IjMY=)~-_0qoH z-)M|b94E*>Js52aF_i`cQ2<+!QXlG-6 zM!n3y#LxHbMah14_GaI4(9O*#Jqoreqqb15wr>FNPHN}!rv(CrM9{45{u^j zUn`nM6Q2DJ(z+))P23?m-&G>v!caUmc;TRg%%ctZ42xcbUtml~pZ`g;u$-*_muT78 zlA0<+027r*VyHV`G|lkqin48_j9R=~&?axl!sxPYScJuYE@b@#+{+coCfv?KO8=Rp zTrP9Dr+y_}{&0Qoyu2eM-+q^OG4$d4eU^UFY~TFnNw9khQTL#@hd{Bl1GwnTu`T<& z{n^sg2R3-cuFdbxxdq_by$yXCHL*KjtGfXJ+}?jM6b$xfW*CRy=p_ooInTTUUsiFx z?F@l9@Wz^MAM%mxb_Y^^j(2rLuLEi zHH;)U@4jdd>%cX}NPkj39oNR`M$4LLK}z)_)kqQ zTj8iGA)L!8bA4qfygAPL_tK0Bg46v0-0-z78k7*wth-Ppm6OdFB2-OE;OwR&@p~96 z2K;n1gTEM(ZVpuwb15-2?N5H{f1~ChA=zk)>B*U*ZAvm0^UjqEmvoc8isqk^UvJrn z;5Stmg1h<97YS{kp&XP7h#&UD>WJ&sHr*))dMQL68T7on%`3QXr7iE(iX9#RGy5Jn z17te_{WQLPbWxSW;sbu6v`nofCjAIc(GONFPf@|bxhw5&520;0BXW>E65wGmqT!aXfU&1XM};gZwZo*a9rZT=BJ zvNHp=*m(o>QiW>ZEE}&$+{$K|EUrw>yX-6N{o%n=NJ`Cq$IlzlP|0nxQP7;o zLrms@EIMT*0Ak4z6?>O8@ZNVqa1m7h9sD)3-r_FSvZFubycT7K6=`Vzij_P|!Uq@7 z`3d_&RWJN>SjB?zpz+y-Afa(cashlfk&A=$<^WA7tq0QRB=}1)^8QO7Gm2=t?heG5 zHAGPy;D-tB5M5q@z(bc3F6=jQpn#THF*A|DL^4>_gP1%foA>V?pjEk?@4>d^llN&P z>uma)%w@QRAYX31^JzfURd~kgYvSJFYi{ll$$Mw@S&t9PRF(s`WrWJK6NUKrKC+EcsC1a)<{G}1HAlZ#v zsNs*ASn`jS`;@MbTwOH3{P{M;R=ywi7BuTGNPiOOz4t}RCx@FUuKLj(*NL{xJ6|~3 zBTjV+#gj4uPkS+7tMKAdC33AxRTU+3lVpccHGP|3sGu(toh>^G9u@i;6UJmkVl~TZ z!Qo%Mlav>HF)tnwE}6CtwNrsB*5?43jm76hC|t}cg)a6&8NHEFOWKe0K{wdpr>a0Q z-b`%80z)+d0tE@nGp5f7ly%)h7O+iAtvf>)Vam?g1@jg_AfxS;<+_S9W${h>7Q@sh zqY!D~ofj{M0*5kGfm?=i{pvvHO$!hEwpEt&-8*Q;aN%E?pS9|#21Ah*oAPDp+BAhL zjICKU;*vPzg4fKD?ncpzN##RPx>9OtE7t+EU!X(Iqd|PQDpZ-Jz6>%3vb=2lfQ~_= zprdUkp2aL6A+fCTIC57>9OU!?eb8Dz8t?# zvv;1D|2jrl+t~z_&Si1u`TsaZHN<}%LqK0}=wE3qQJ8G-58nj>+I(Q+T?h{In;K^ zA6o5uUc??=*lW(ZhCq?=dAzL-INp3*R+BzQ3s3laEtQ&`m^RvG@J12qplzZ2=LXRM z7_CzIWaiNBcAmFh+D0&c2`qyqGPAlLmzNO60geMhK08eq7%fzWSqnz_0#@W%=oe9< z#*;i$p1A?YVvo`M5hQ^OBR0U{FCDV ze>c1RaC3Dfp2?H}dgdHuZ0?~Hl42Ri(Z^l(e5c^#sp~V%$JMS|Q}On6vfwJCDUjF| zKp;7sb`Gl`o2t|h)N$Km1(NY(*&+^XK^jV>>(NL`w}d?#!>Q(El>^HuZOT)mXbD}VfI zcuRAaM7?0ZW=QuDV^yZ#Ezu3N>ngl6;FhUHjnC4ZX;>=arv zyBs*UfiqDfY#+zi2uPa3-5+Q4N++19i#%@&%_ZnjVs@Ith#<{jEOj*Wk58R3ITDR6 z(n4?y$+#4(J_hVq0q384XrDI`m3nF{y?YtthQ-w*Ip)D*T68c$c-2Vo(ROWWfJzV! z>mwc;9s-`AcN;ySO2uo%ajvwYjzO@oOjHY>NTeN-|Ey|qwSv&}p^gxmcD;u?kGN{E zaY&b)9Z;jnXLl(h*xeFYq%KcJtSVMJ`CJu8BY4FIS@OkDCHmm*$z!qnF~MC9XuQsm z3T1MoDYd9*Lc?xwQhW{x2Yo&3%U$ZS`|A!JZi-r!(OHX0B5KXEr!Wcd3T$%0o4=4e zFnWVQxbas=46>Q#dUrenAdxcV)jFIQsXp~BN!^-O>?;5p<^(i(HT02CO)Fz@7{m=W z0q(7Q1lN_NBk(%FJ`s9Zs{Fhy_y3xuF-w`QO6qaFltx@1XhpvOhq1aIkX8 zkBl;9Hqf^{W!S?-OHzEDcEH6%lRaj(-+S0LK-@LGuB9q!CQHc)(D1N$x%X45fQ{XG zaTgb&Sr@!>9lK1z-6)FI<|=?AuV^;(OXow)vS>EwY*~9ag#0{2wY5O7S`! zld3wGP>$)E?2q*TSRD)scAT)P)~?<{g6g0Ae199eSJLZ1en$Q#8+BujrtaKnBCWs( z(BK@JK9|sJOX%q#bVcwg_d1*?6kD70=8ODEKrtPf^kUJ@G3!*gKz7Qs=UwsEe&#-1 zx*ONiiu2g{$X{qqgL_C_D8v|vcQ1L#w#$7PTpP`<>@n07wrg)LmSelQvRY@oZ)e+i zbVcEA3*4$=|624g;ruKC*38Q1sUPL><5SX|y-_Vf}{CCCtPB zpP7c=2K|SFg*Az$?Z0>Q6S4nUO!j=yxWLcDuMtCG@;BRpjoTvs;R1D@0s+kc%8>RG z5KV0lkD}$lW7VQdFsiA;kFs(*UJ?lFqX-q~A2G>J@BQ(5zsS0%8!DTK3px_VI}IMm z;=I79Cox9G_`ct{e7L%U2ucLa>Xi{1TnPOVDEm)DyO=5lRsiT^6Y18#u}*eRzwtzh zI>R-Iv+V#fdUFg9Z90G5m_eEi8F37ga|HufkU1gS{lNtS)fwModG~%fw{OGb`38XK zp;JlU&yv*4{Xo3^k|^eXsMkN9{(a@bs!u2om}c+08Q@_*g`P^L&p8BMebDJFsNlo) zekitR#4unx#scgxPtQ&ruEb-Y8OB8mADeDz<#v||rGu})!W90Ju~);@F|Y@3O+ZM~7L*JR^@@ zkdIrqC#xz^vT}JTfX(fFzC$;MIX7w^)Dxbh&kT;FM*ujQ$Y?wGCqco`oXCxKiOjO6 zcOsI&K~UK>!O|WRo6WSNb#@Q9&Ke~Sn1@*^T}^$0Wdc9&$JYxi<9En2dLyCN(1TQB zdO9%IYs>xn^UeJG(F6Dv8{z0HDhq;@l77hQsOC3j(ey|^1ZT67PnpyB z*GCiAfB_#-gd=>97_{t=Qe@SsXl`J;%nm(5P_qXT(wZdUutIcbxT08BBDauRsjDwG z_gJ;>-ohrYmb#WLshUflAYfclv$LBb`o56c8Fw$K{$zN1>a(9Q;C8(pj`BylT*+(h zu~SlFS33IvHI+I?^+b=dh^j)ul&X631)hWR@PO0V_$MG~9C1tSusv#SjevFsPVC?g z-=tw|RwX53otu<{( z9+Lyz2_1WDh2Hd5vW~}WGM^MsE{oOt`{{EX9P90@&Jt{A^Pn$09^o|JtC~3I0=usL z9>7{|!1_a`Wlk?+MdMVEwT26M3~a=I>c&n zCIRX?=CMe*jKvLy*<;GMJArvCM)9QBX25eYLW^T+Y>Ve>L{QBtqNS@tz3WC-KW)$x zG4`>PC6m^tt`3#hdy!yhe^~g%RVyu-S7Ur3s}|)vfAeVqtYHx>UW3j@kb*(~!-k#o zVP(tckWDi*PR&YXF~QvO0ji%cOzn_|6gjvSfycDQ+$^1RK+PJTZ3W&ro+h?`830zi zxfVUzzwyF>24apFEHD9*vF$(ocG31&rmR(SnT$KM{p^RYK-^W>v9KMbX4@H?Slf*K zYTPuzFga%Io4&{d6 zLEa~#s37Y|50UI-CkVxJ`P`Ha=SX!^U^T}9^-z# zW+i$s@9x%e`$1Pr=T-$)g`E9M16x%!_UIZEtF?eis$Obw5<~@c5Ok z$B~x%owtHJUzwLF;~Gt~0|!mlUg`?gsZS}5x%gNVYCx2WqAtWKE;%vR`h`Q0tx42g ztVHqJ$^|O%p)pO>P1wY7kWY!qKDWY+OG5Kb-RMleQsS+0r6Jt)O;dGeq^`cYU$y?m zQN@tQi~+dD*4In;v7=#mBcI%rE_#C%@(8of)?v{acgyM@?@dMnj&EM>xA2W&!)s@B zu)!X+P>~}2yW(U1y=ga>l$o#$Wq-|mvc7meP($p^aR4XUf~c5tyl?z_C4p>}(|N6R*^khp-S z@6sNjqq%K$M=w!V6OP2})y!M9A+W~i$&`%4<&Uzr9ID)Sc*KA0?mCJym))uMbdWTh z+WSdq^$z#9kxwUbPm03vo#v+pu2_0CrrE1`OnKRpi5F_?h=C?*V^fILSoP72dVbfVB?4yZ>waF?^fo*a$;8rHgvb z7Egv0q`2Om{Kheu*q-g#ie1>HaB7dU&(w#Z3(L{lPsF#){z_{&JM|HdyV>$uctz95 zR_#gX%v%K)9eBZc#Hx4dgK~#%c{49Q@0gLjcD>;QmkC=fgvWO^Esb7Pl@~`hk4 z;{{s;m(9;#>$^0e?Py-~TJLiif*n>*MHSi4d=u|q7V<7Wv@Jf9oit}Fq@#M(Y;5Ye z$+12;cN(ntfx6_Yg?lcYDtIl7JCI?R zC$e%GC^jkAi))N{Rw5U3+5cifYEfn6>mLH-?%a&$Fz3Mr#%m-&Qn{OQzE{o zdZC?JHP`L8zgAPbO8(pGa`5%@TMiTM?mOLeEmmZsTbOjAc#~UQd3*b+VOe@5M+|Ki zM#q_Mo14hFb7fA8Rg3NsVZO-VqwZ(Jk}KfdM=STB){X;Sk&iZOHV{QR^JBxeKsT=i ztS{B?x}T4FG#ZB!?QgaWy@N4*gq;&T;HI@D?>xXV=UFwDWd052ttXAa+n_^ zPA~Y67<8>Zt$|8+4;Z;45T0CnRs@D~ET;<>jmuvr3V!Q2>$9VA)a>XrksK|x>{Gl85m6_j z)~raL{i);Fr(1>NqE8L6GpNnvuf_3`- zW$7Cf!;`Np@gHGYHMn-|;0?N0Vs2`!yK&cD=g%+mDDs%yY>_xrbLxXp38lsm0vdzoI*jNRiCDxR0Vb0t=qe>iw&m$l^# zC%t%nxWoTOxn!T)JxT5H>KZ4_g=cu{E+!h^++RDT(M?p7nl%Kj`X{Jvym{xkMlMt2S$u2)TcdOiJs#M=76#Y+=5(SPGx zU+V1BdpdsZ-?!vi3|xNKmJ7PNZqd`?%6)co6Dq80){QwI@BLp^PEzoRakll-LXL%} zR-rdL2c^hsW^5IC%img=MCDo{T&KfY<`U1*$$pNzoh2UOONx#TXtAic z|2#HzLWX1N|FZ~cEz@3eu+gnxt>M$>>m${z7iQc(oo?zK|7!JuXYk@-QTFM_E!&~d z;D`40@?T44>K?H5kRMo|`&m)-kq-Ru?v}yD+YR1@!E0vS@oE;`^1m@F1D~R(gWQSe z40yV4cd%upyty@Ip{%nx?W=>yz4Z}KN9sh=XYXjQ+xdL?5EU(P?58}#dtWxu-ZdwP zn>S6ooI7f5r`-$2=3RCT5A)pjenB~|e%7Af{K`-Ng5u#jJ|B`}Gb@j49?L@P%=}bc zvR3`KR148wELUqhP%H}GFe%=q`SFhCQfNyIE*w{2 zN1o4{s)jbg2R1YgRdRc9Y5ut1Tr(A7DThMgpRMcX{x$STg1z?%zA^MBC zsRqw5Wkh3Kvz>C;8?Qx^Ol(S&H49Ycy6KPQE{OA(e%CQ3StCy9rjqhxUQW^b^%|yc zi#o(+UWQToy~-}fWZ(0Q%OOQ*u7}5?x)8Y5!z6Z^{ham)mpNDOhbZwf(2cpno|%8h z+ZKDa)NN6Mn)!iCBPuI=UXocZNd*U%PrJHf_?j6P@7xGIA}8c^?B)BvtBH%c8hAX= z%+mX9{N>x- zi!>+AY5Z2V{&;T>L2yDm=dMj=+k-Fi;?oaQIDA}u;elTu6*7cm?Ydp@xf98CIdA2w~#CYPH001(o@# zcA&g?XDwIU+Mq5zUTcv#r7>P!+|Z!HL2z+g}6rtk=148_82$KJ44Ga^s%W%;DMi06MY@w4(fVfk7KwP~E)GALO zHi5Wud>p4!O#l~Z22E2^gL`~|QS_%VkgcQ`hAb5!lpZ7i=mZ#|B#Q*lctv`k0NkV} z__VG7vXlHb3Gz~)w@!k%^i&&Y0DW{4WFgsU0|m&_lWl-e2*RfwZGe=i4p4w1gwyAo zp`r8u2QXTfGej!TY0f|w6d~zsXTY_27PLs=rzI#((6+NcKfVAOrl|Jwc|8WxP4hv2 z!XFT>Ks)`>JqAwC`vbB`G4g{HA($Q!2-L3f1x5=4p(c6SC=ddng3;pwfo@r!C^aa1II3 zV->0K44LlBf3-Lr0XEmEp>rJeeMQ4l}$kFn2=+zOv%7}u!;*@^j+PF6M55ogO-H)8}a#w z*voC01Sk`()-#7Ff(ht-C6FPbg(f|x9NG>h$Ga37B~g9{VGsyUuS!UtQDE&L#?`$= z(=W>*Ef6$-!;8Zwz{gG?ciOT743=00SztO{9rE(3I%eQtOAUn^Q)nWL%zv(^<61k72@N&5|H`yxjM*|_J0qV|B^bh z8Bp8$qgu5AD)>?GgkNI4Y5~=-7UK0sUEd$Um7e;cA6U1#&t+1Db^T+1EwX!1y1pM6 z)ClYt*C2~}T?X~nB7t*e(iM#m+@B9-(h*Ivr~{h&p@J#Ahl|}86LH)JJ?md{bQs13lLX&^;Zb#pE{sZ7WHqLREsWI*hjLcd;B>4E48OX29b`3 zWKqX(WKpllq|TC)g?%rR`lo#VST}l@0;k_4>_(rFNwrawg?%Q2>PiPG^{2E{=CQFU7;)q^Vw+a!}3t11g?peBo&C6nr?E(`lgCN*q;EUelXWMNH*a5Ok5Nnnp0n?2hNHV=p_8hi;WSr^Gn9U($???v#xWzrHw}j`l(> z&qlZk)Ib8Hcd3Yyw4yf05EOc*+8l3Cw{Fqq7;sQZa#EY)3@MQaA16Uo)TzVK1C^n! zE=NxeXN8h{2LrD%Jmfsz6`nrYxDPG4gh z1c}mZOoId`F2WGt1(blILkvL|0xIpZOoK1L>Gy^lQxOI#M&>dKGU77-B773#1LrZ< zk3JYhaRDeu`}W}&35v(weE^FKr21eK$6?lZ0)i=J!6oVu0>A>MX6-#7j0y;xH6TgB zQhfkR5+D%zV!^pWS}+Diio5vfiXTsNlgiiVFXj|OMx+5+FO7RllB6DQfw^29N?Hs)HBBz zIH0q@Al#)a0a^=isR3aS37C|1FgO@8Pw$xPhYWzFq+$X1AEN{;_v7Fr!&1tC9+(vi zfbV-C^$3A+aIZkhg8++A(%u4mB(T4ahTtnp6m$EfkJc!RVk|HUCa*6aSlVFi^z8$J z!Mg6-2l##(C;GnZU>q!4DHj4T!4^!Ata-;t5|L5{U%ioV2ULe z@R8D%5C~4Pun5c&Odtfz!txn|!Tf`(CqPgTZ@*w>!8pmvdIUiUSb>QUY{3G?tUkuUVCJL)7!iS+No>I&jY`cE3`DS&A_{_< zW(Y27#DU;#q(&3Yi|flZ5%+wK1!?q?XKvlJ`G5A!ZJyq?|9%YT=z|>ZvXdaP4WqxwVaqqmIm_)0jm!s*~=JZCob^C z+1|_e+xi26$zI0*%Mt<%X7zzcXU#FnPF!FuNpE5>Ns2&(^tBE_QFi7c!IG60Ou;ZE zwMqb%ow&g6E}bht8HIn_Uk3gR8U)2)iXLIc86sltzV)7d7$kev){kQBTm|?r={Tmq zw#*6%jGe0hAN5V{&!PyXaDns&2lQm;D!_+J%>qmbKoQf|5P)UpD!|t_&oMzkksx2O z!0cQF_`YlXbM-N)iZ!bsnpiVP@d>Fu1O^F5B;`T`6v@&nh+$;at}ve@*jQGsLI58r zZ5${rex#e8q6i4?ovgkU$beBg-ypC+AiXdEmX)g*KIR^5@7My{CBfXm?bRm&=^5+* zEZ0y3E)|#v7?E9b5IFOMyw`wW1;8Y$ph758xHMWM;Kv% z50|c85k5+ytTGTKS*xCpfx76s(m#qKPz<1?w7dA=BSfqL!3tyZfwO~@7x)-SNEb@X z6AUS=2psZ2B`6IBuh6l;IGzH7UW$6$lE7aNNkE@7#f8DqR2}C^(8p zTZan3;Z=PCM_&Z+ke?9z1p=!3FIyvbqlwlOPFdMnBX(AV4TyX@ z470{;346*8wZrT%0e>?0|7S4*hiF@&kBz^t&$5-PmK*U%E3ggmK`o2HHUe8)8_Wu^ qwFU*3jSX0>R<;<-JdRiy>J<{YI>grx{8u6Z0giA-jk0sG=l&m<*hSp{ delta 27270 zcmX`S19v41lq?$Cwr$(CZQEAo#I}=;*|B+oj&0j^(y`t*v+lhAuvgVC{n>=s*@kJ@ z{{@hZz2ZXYeW}0WolDS2sba7}$TkA&R9r|BA7g|M>lWFe1PE(VZl-w8S{UKrIOw*X zRUgy0Rysb-p5IQ~5$pY-5qo-DT}(9A1b9}Lzkhz5AN$5cw5Nn`XwMo~)f4wNmHT~r ziAI9f`#^#tN_CT)k?e626LmX{KPEtt;Q;(>3jnz{vx}F-cI@iYbcndBaPco6bSz4m zpQU_9$bwRyla1o2#5Ic@&LXX;MIuBB{t4JG3*VogPTLaAXJvkLe$H^9usG14Wu5>{ za+(&fqJeeOqCoIh5E7!tkA&F{^KzHmc%K*t8VdHI`Qvnvh>~a<$_3j~)06s z$2YmF*AMc{U0`mbXeHKW2rhJoX6`}70gd9-DiIlOmh`aR<0>|^={yrZaE+sYmXbprhOUA zI{LCN8eaw{A$!}TOfl}uziN248epjz^wbM7R=w{Rd4g=gN;{WMkH>#t|U6Yz&HX19h3dmy|QVOwu0 zWV~bUs2q7`4B^nUf{o>+v;aDZ?JH%23?&&nuIAy64aIVwBJKKA;1scg{)YOxC2xyJ z@G^7c?1)v3FJ5n)|BJC|3?6!tGik|hBv(e4@mJ@}bvKp|y^VN1Tt4CP`n(5SBwf|E z`g9VgBfGik3`p9V@1`=Hl@XrapkF`NXX&6+e+)tma0}>M#ynGYz5z9XJn6RuJ}E_b zG4Bg%n>z6sh}Sfgl#gAkc(xZQ5Dmuuu<5 z+ueWK_BPlJx=#srj(bnjW>kH3M}wTmI*<><*WrJASr%Aw(J;x)V>tC>Zvqr~guG|BEGBssKb(u9 zGRuwTa~##CsuvT!#%`UOs@V&a#Iw_(%XyVIzgZ+wj%68+h<1j|XghUsJkzD%vOrX6QeeG7(NZlCavwFTzi3QxHN| zW2{ZeYMDDut^j(hx&-nJ80u!N5ev@51Er(BOCw{ryN@=0lL8xnGUoXA`9q#;}CK6*%yaQg2^MFmln;&%)wYE^N2@ zcf+*D+mzlbvhrlZyz?gi2|t}+k<RTYlA%0n3e~ zr~L~?pF61{65?EA6H?axAS5KJEvmh&aL9r??!nn;pX4-nNuJT^ z_?{i+j5Uk|Kya*-BP6}3516N)R(MD4L!~*L6oSwmbt0g=$Lbq<42Q#?eXLF`v`ZBW z+;6A>tko`^ix1eL7L5DyU~`FnWrk9BL@(-B=H&jTNL|Ioq5vEO6)ad0d!ON8A{4(| z+6`XqIE)_}g#AJT6n5C-kkh60dp0MPiosVpPkLBm49}6;mg+y^>_5~OEf=oe1{Yg4 zE0S>Y0Wy*ztbb@#Jd5zaXj1ILMfLONWz}kBTEl174NY@qLD4S-j7)Q9pXIW(7C{0J zVdfCr6;5%my{kmBepIo8HF9?9i{#+mT<#fgwigh@-35n?N5FtX`~ zoIfo~<=o1p5%{hjrbPWR(iYh>y+GIOF;lRc112E%0L$4Aw8B+5{e2KrDl8J-GVTF4 z&UL6E!3xOay7lw=QFM=rwP(I_x*62H(v4BZ9+q8kKgrc&Z_gtz@;nC*4Ij^(s{2}* z(JNC>J?y<*NtrX@{|1sA_{xtX(pp*rGjUFe=X8L<5RRaNYkc7xzUrAnHq{h(+rmd* z$cNK^`PQGZ`!otS+`Zi{mCnZsxp?WRs)znQvID~MMs8lk!?E=ZnV5Zx2={W#pwu_+BH~N90^sZW4Jsp(VS`b!6WW5^`%GN#f+0XT{CxB@R6$j zp&ka}CRG_g3e=>1Hj^G})X`RWmY&z%lU((sWxJ<9+3;FdyxC_ULhS|~o(3;l@$+$7 z6-tS5Ih2r*lnZ%tH;z_Lq)!r#IiXG`fC8R2aiZfQ>lUB0)||V_deSb=89vZ(lz^K^ zBwCSLF^bel71CJMOB0-G(YJmr6UAt~^8>jG7itfsi^|JdChlcDvSoxh51R9H5FXxg zGI=h;enK}KHJe_uYv(t2?5JW?J~dE?f<~RgzYUSoEgSTtYWyY*$bbn-+rjkVhXC|q zQ0+YEU1SOm4eZ&>QookBl(d&F8cS;SfFH+4bW9j47AHI*B#jZNz;E-{eT~3h1Ogy2 zip~}lnKx$fi04`G^M5qf?xq~xlHirA?I=l0-k6M4whQVxy{s9xlL%@w7gshswpEyj zkdDsAoiFCLf^TF+Mr|k@3@2|OI|1vPUn0Az&KL6S(HWgUbzzLHWP-JmYeGZf`FPpx zqdAk~l-z_<(IY za>yO0+Y%?Idn-2mw^YF)sDF~@&OAxIm_d^u;N0X9N#O~++OJYw0S5p z)a-EI?V6jW9A3LEiXAQc!Emgm?xLpQx9{5rTYrJ}J6dsXz{mT;BXVZn(YeRl^XTNq zsQg?5hr;8skx(G;v!g3Ehl#jvxBK3HF7Te|>|?Zmd2)0z)2W*48}Aa(lkxKH=Dsq! za}L`^|5FNF_V1t*42K=6BiVsOkITQQZ&WSM{HP}uj{k?MA*{?e2ciak#t)J0Z5ieD zjJn)!g?Mo<3~oXU!uAeXsQcdVpJNG!H4f?-d;! zK#d_q1%b@c^3F4w6XFQt)eU_cg zw=I71LyNY*lQ?4)+;DISuKp`|ge8IV{7=k+F|JzrlCj9Of1t|;&626BdS~tfNzEXO zK&oEs%gCcd^PdOe9nmXUT;!26C&*hdNRU_YnQSfE0woSBhE^QlZ0rO|uFktOQcJ~6 ztT?Zuf7&iI>6vaR5{6VjK&~oRtm!MYS>g^-;T5F+C>0;7Ethxb{Blc^CK1i&hjrP~ zxu|O+SN$E9g!pJymaO-M27hT_)^fmp3*3Voa+0>k>PBUoMwTIn|6tngB#8Rrq4BN zCh;)@RMI{axva=(Aj(Y?e3)3vN3v`n8Q$7fbcoI>^$51Nm0A^czLyrQG<5B6N@4dX zuy9*1HBiQz8MC+*EhpvbLnbrIQ7po)U83<4L-0y$*3ZPF0H$z8g;^*kP*7gt^!>NOT9PVhlU zm-fU@!xDz6IOYv_oc*9T1Wh3`ffs5GLBbMaR&X(u^cxLrJCJs}Jjc6zKOy#Um4vx0 zhI}wV#S(}EId;u*Ap|w;39y%;W43^#0xtw)7Eb`O{X2L&mbov_E^ezta#7{6jIXdT zMwOOT4Hc!Sqm{M#pc=0C~l@&JX@2uP)f)z>sZE1(>rh+lQ`n6slhS5v7>9` zMUV%?lD%f2j-|x(UEHhYY6*;+>GtDvlKoAQ;;@v2oZbT;ym1}9=WsrhrIG1mTWw4l ztb#Lb3I!{XgB+2#AM>FM-5FX-W$_Nw2O^xHv9m_U(8;Ugaa(-9Sa4~grbu^r8*7%Y zt+d)Gn+oo>MN_lmzKN-$@ zEZmf-=^Z`rw&af@fRfPSOfD8v1rI@La3>>j{nWjI8fO*(8~Aj1S*{T_->cA}s(FAd zqWv6rk-UC;*R=V>*?*6DjX^+D&6}O-@sexd+(bovnd@2PcLw)s`DJgiTTX1y%>F}b zLt3Q6^>9bF(fdlzoD9Xch8pOatM?p9a@nFzO!K^qYLD zk%P=qYV7qkmWl{x3RLsT z@98fW8@X4l+Q($6?u0j|oyxy&P^!cJ*|Jiw$$l9fAM<#_>*MP73hqj&bZ5s@=+)Xl}TjKzVn5u{_A>8^is-^Y=80wkO)iS$}{!!ZYnb zQZ~59>6aTzjmft|0Qe1;`tjMKyHhjgDgtbM1A1xmRLEUCCRBk=xh>Q{3KOeMm#S8L zQ)|9m^h0axH9FBjm_XKA9@rVTy(tkZ*MiHBuFCKR}ab92cNkd zu435XhJC2|c zXSdEt+vpF|C0eY%70xBPtx&E|7GHy$J6xat9&_I=>=3jj1#mcRB<^z8cUUVS?p@My*{?v%SK10)#gs4^MSOrC`` z8*nYNB_!?C>z7to*!;UJ@SgFhR=`eYfl{lEDbE4bV4AW{pq~w$K}#_MD781jZMY7Q zvH@B+W{G5@+LJVkCh*3wB;p?0S+n4{cTl*=B{HfDF+(~ zoxJM;#2DA(tvVN-oJjCZXRHdk8KU&@N3f&9@jBr5tu8a4kp-badrLSaTSB|-rK89D zCV?pGf7SPE%pJ~IQWNOJU&?Y z690SPI>g?Fw(re5p4{s^D<7%2{)d#_LhW^k`}nEVf&k4;YLetuWlFXZ^~3hbrd0%x zp0!NgqxqDjFDtmRg1uCdPPBX_Cd?O{kz&Ifn~hQM>b05ff>0szw?SQp73DNJiG_a@ zuPK(oA#sTf&JHDcnzXq?hI2>hwF<)~oPlBmAsD#UuJWs$i znVEWKj1RWTK_Mo3!t>_YCp-1U>bd5C^)^fc&jI60C zr{Q_sb!0ASyw znAO4mOsc4vQ>l8n6S*V7-XL{NFFqW+yA{U72lbM?qq;G;*U*w=|3JvxZ9^g!Rz!C_ zPe3Q>X7Nm_c+IR6TyoRQP&5w9hEFWrAmrHEIDxM09ey?k^*NeJN=Tejyjtc7vUuTl zK)wmr^};OEKIMRV+qH0o&+-78gZECyKVIj8XS2`6mP-ic)Rj76O@_rQp=-zi^_zL+ zdp6g7>^7$CUj;7Q547~!XNJWE5kH{K#K@_p?-+>OZ2!Nk;$=$(%Mt_VD9#>o{1<;{ zAH^*lyqY`6YnJ`m<&xRLqH`75GSL=eK=a?feT=*2nTbsGn52IWs%mph@%@~N9L-0q zXnXs((>ipRV*gP-Coc|c6u57h;9IAcs#%_2p7bMH5AUsRhJcJIK6sksmIonZsGS6f8jdQy7`o! z4b%AoKiz%;ZD&NXaU<)e>6^W<=NmGN|7`rQSCa+b~K^8QrbyjASD-?hw!!u@C4Ht>_olB74sHQMgg zOF9bjpFTxFBvYP6?1s!SfP@YQ-vIb-&x31`w_h6`*M4O9Tn z0K*=&Xn~9eXfg@DGmdAYb^Q9hJd63j!oDRS8J5{VvK*^Ww`AvRC^XZ9KWSi7x3e&a zC_nwqFc2|c_!+`4bD>T&0Y zis%l?4zaNl1sD7W-e_<^mK#ipJI9N&!C{AVxnW#*rd-DE7C*lt9qVs^isnXvgHRO| z6g4SELcMSRH(p4FWQb@~&WZXU??%}?@pNLO+b5usRpOO6e?-)f`)|0<9-E3+ZI>0fnco&2Tcx&E3mm&I}u!+o8&woT9>$a7I?nWnyv8!Gbi znNMG{Y2;?&3RAN@^yjxqtcjtNs#t=mS3z5PO8Of&PORk!J+C*o>Ko&bUDKABSL>f@ zf-OLmk7+OseYuM`Og(zG>`m1Gng^frX?mNlfu^3)Ebo_{ZUt}ZrsQHX>L6=^^7eTH zb_G22+;$6U97ma}8r(ie?xh z7tTU|1Y~K6Z+g2`uo#K{Uvcx$Tll)?3uZuGztO+$?_4NxOZXn*)t$9(k4KZm!lX~R z-%x7RxP#ozcw@d^fMQz~Y5(SO(MucBV8Km}tdd^a#X?S}6!qS2Tb9xHjU1@jeCxTN zZreGy#nktMa?#*qO#d?j0{iExdkC~wwAo*d;B_lfzd{X;@3wUkj~42u!6|Xpm6mk9)n73`%lFePX*Ql1X!-ewjNT0ds z73=rcv)BF-s9T*>x%>d7`-i-M7jpyfJVY8YV`dbSeB;3#eWelW>Nc6sl7gY0m`5-) zzcuS2U8T>6Z=7>`kyb#zz>7S z&G~<*%+AA`ik2@5s7+Ih-C{wAxP8ME!cKXYZ$c!EoTdohDM$RL^1Omfvn}?r(6_t# ztiW|&)9grV8Zp*nB$$FZsT6HItxS5~urL70NF>ZnY!ppAtvlq&wsn4_zT@HaGy=0O zYm0J!Gd&aVxxpi2OG^|c)uDX5JN$7n?uRn8HGeTa?nL?ksEW(+hPUXyEWNGK5sF@A zho>BVDD%!4m(9=f%CO>65P0BW*v+xEoe7r-gVD$IS1scIC3ZE1PGok-5NX3JULnqi z^vugRTDVZt4_Tba(cNt~CkeiujE?~)plT`=57#EFC1&nyGgWHI7;`0LH$6*&Gan5L zL0vA_o!pfIcnXh^6(04Km~bP0SuO2NX_v}@O7Lv#;i4Kn&Y)|-)nhzt3{l94M4Gi! zRF+P{_;ZNnE*u=`(|%9v??ynDnb8{4U+ok2D$r5{eOXt2cIc`e%%BnFe$1Zm8R+XT za;m9I7=n2e&|`T=f+~`LFAasg_49hiC1(#`8>u4z01qd&G0k4f82aPp?hgI{a>TWx z!LhuNDzEaKvsPnm4ZRHB!TC#r^Hd3-DTn^v6-#_$BfHH#SM*Xt*7QZz<$ep-vnk>w!(7R0ry{Xw zgT8?Zm~;NvT~*N>-v3d72;4mX?>snJc~YTEL;=G(lT}+%DBH8zHiQiehTDc^5tD`n z@fc$_Bj835x4AfRgi+jYUmC4DYQhwoCQw$TEB`9h4V^3Xw12k0YcT*S;*vyF^?>c2 zFSRds|5}S4Rn9PJn*hZ}@%2KxG6d(>!}jUx)kJPH3YFzdID{3&j&FmW9!76tx=0=1 z8(^H|a?DgmGvw{TM5kQ7>c1+)tIF4gd70+Z>qj&QA?+3HSQil@*V*ew_|)U!Vy*v{ zk++E0P<`@M)REC%!kCZXj%b;edh_=6$o8Vr$y_nDI2S!}&-NrVWQ<-1JJPN6s0<|+ z)DqUE{(3_hx&w+TyOe+abckm*qHuJxE8s-{;PoepbKHzPWt`MBwXJg3RH3{5V>Z7m zw8>JLjlF!GERdMp{qC(Ky`GgllBZ*A$_~?7tBHr;z`Dh!ppE^;tB&WzdRB#++|qno z$kPd~jmAl;^Y6f0XrDA=wsoUe=hy%brnPEAjy+N%YRyT*VeYm$HQO5jr=O9l4M5%p zXZpYZx#gAg(iFGsm>(JLHbn0FZt|3U!(KOghKYGmlHL0XJ&BWZ@m9%7hnIR$s)vcz zeaTA_m>uG;aO`M%lbrk_%beCOhkr-*2Vii!E!S1 zTKnJziIw}bJ#~v*0dC7tAoh1BJoJP88>Ik^pM<3a%5r2^NxDZq^j$4w

$?TnASR_!vOG z03To&Aaz}ir1(%hguAKm4rndzaTt%ruX& z1KzSNQju~Gb95(|K=#>RalvsPd*y9Xkkb-FWK?2Fh{B#++`5<|m(ewJ0S>8Zye{q4^b?~kB&zw6-A&8+ zZ&>E#&IlwNacaIN4I<@4=-SlU`e2)iTN~cZuU-J?%K3-?*JawPfCFdwPYzsH{1@8m z2qtdwpj>~^Ye4fz69mS=;OI-V#d?4ul)@}fdW*z>WS)F~Pb1K#kXcR`IRu%+rc=fQ z+`0-8aS|=x?e6cImI_yxh#(Kv-$u^fMikuN@O-|X-tBvd6c+I)NwaVDBHq?psT{g| zd_Y(ee^`MjZc)QAYGk$Rkun#k^P4oKUs!B&Qg2{)ge>i=b#IfYUI7ptn50QY zu*suJ63*rH#^X)mnEz10Xz(ksBsfW%8FUM9_SmGUtZ=|YJLe#*M>%}0X?WNOci7(n zh%GLRkd<`&6&|e=rYCJTuoqik_P3-|6Y^AG z&L$#3qBaTJ>nunhL#1*1kJaW3qFRlc?4S#r?#o)uxI;CLB*_nxv;Yg3&Jvx|FffN+QQl?oXan)F(v7?)7;X=Rduq2eiRx>A@fKH!KZ zD0Z4y?`qj2U=9%+ngHf?JVJo%T#3FDgGXKDqi+(^?@Ns=#!A$hL{gM)ax!Xbj{qt{`2GR(!NixQ%r*=m*_A zTSx_Olnr7i;e1QMMVs8V3Uo%=QP8*R+Xy0j5jQ%4#GD!t3_zLJHRggbB>k}I5$=m= zCauawc-zz5O{pyX67D#~v0=Kp6HkrwOjd&Gk1dha$$J~!eeEE=8zzBU9+zoXn z#Q8SYvZ&DLIw1F=aXJirjo^4cYMcA3iktllgDm@y^ieI^@+7gJo_X!{v{U)`^0p?jOHQ2n)w{+bp`AQ0P4T z3pAQL&9`7iYi~g`d7j-Bvkl1}Oivju--K`%XDb-#I?E zzdscZ$N#gpY3--N%7mm==EC{Z@7A% z4RN{e*G2&Urc}(ylRq?+0MFeF&vxH;w_^Qf#kN}6{{CVsRSn?RWlbe?g)H1ZLEY2Soudg^#+4j-z`lRln zN7$RnV+hy6Xk-Ar;drP{Qc=M^;PSrsj5!97}6z1Sc&u-%m69D&8FhsWG zgg)Ci|AsKhRNAH`Yw3<4TT4f%;Y+x0FD#)Q0jq@BGTxrxuY@CFN*8c4$yAF6kGhmn ze5%P%+wbnr{OEOU~v2w4P)~%I=u5~Ec0Y-#n~?7)lgqSWQ};ylyc$-w$J== zZZY|Ats@--_R5S&diaX28d9*EGR%|l_;zxXC~Klf;J>C;wmti0V69C-$Y3k-X)q$B zm`qykMREZTGRSBmAu z+pJcEEtzOEe1 z_DKL@t!l>*DZjRRy*<9`|vO6Wv2Q4HSkI>}DRXWF^Xi@{to{vQw~e zRo-S4|1O4K-dw!1n|^!xT3aSnB1kFlj6jjTuN$GUNiio?W*zbEcm*V~X+;KklM z{hmeCv~djhsD3-o=mkiTgMI(ktP|Yzgl+(AFlVDPRZ$2m#FyyJ7-6Kqo}dXmS4v59 zG9A0q!NVAC-V;c#!y!eG%;`#ok3dGGQ6eyC&}2!cgwyG#(4CEWUI+P^4af9NLH6F) zMJbOlYCmLfK5O&T*6o=Lf1(o5xYw^mxbNNI4QFIirzNX4OaTX2EKfLh3Bgtqegy+= zAQGI#btL%y_0U^ro^;2=5h(2I+UBF^&D2D0P4;RCC zjxqTY2psURjIGHc(8egyR{(kouIaVv`(Gp8kdHVQW z+tnQ=yH;JHf>%Gae2K?b1mnxoHiXX^J&>ZE*_w-yYu06S-rN7T4esKI+Cmy@8Md zZfzpDJ^J0E*$fYa-uo>a+9qJC&>52PQ+FGr_>g!79U!GF0r)f(N_PSbrNBLYAhMn0 zqpeQ#=TAuKv}`@ecGBUHmuR|gAF_!gz!WlQyeJAQPp+SEe5QudgIh4=HR$e)R;(xW z(pNfe7h-7ond2J7*B8b@(G*>VB2qbQZyxCujmU)XYz&bQHk>$`Y#qB^P^kG&w=MBR zj1lz2RM*VVeHRMy{x_%=tKe@59T~%B>?>&*d2@U@(pT3E+*747YM9xf(VPJ)K#Em`I@d_M2Eh7M!{TTbhTG{f=g;W%H+J3P-FKA`N^GIdgmK{ z9$YoOBrB|=7|kc=O-YyVz=;VBXs-;QvO2+SWMftL0H|8WD7cr?S2GVl2p>P zV+f0())w#vaQ!kP;65sbNC?5zVRDJsJRa+#DK%5Q{kJ6L>q^Qe0T#4Ow96PEtK4%8 zNyXHXSvfpe&uk~4E`AUViE^50qN#_>fDkQ~4=u|l4Ie5(HFtEJOfHrPaCm^qpi@Do zH|;%(aoL%sQ?zvwtP&X$$djGAZ2_@1(>=dS79%RR`dWF>K(s zfFnZ7&1>QzubEW1a`3Qy{uB3%)%xehvV&j@EtiUJ{KNSfK;v!PN$v8cX!5*-5pvGL ziQbSdD+m3#a>4YcLg3iQLVG%9w~!@~Gu+^K=qA2L%GtH=deZ(EKzoNp!mzPa$7!j_ z>vQb-<7k@dxX_BT4_5+1_P>&c_FuW^qTZEdH)WEAo31Bcu+zE*`>KN3HnIsrQHpS! zpwk8XW#^iSwYqnX`zTthms6w=Y8`y73{7PEjuFus#UQ0qjjehuO(mVl_HsircwhfT}K zi~`O4DV>>G8}d`;mTznnKF})(b9$z8j(a0AGA}uM>hu zVt2zazUj5=UzJnolBDx;!4jp%vbkh|kl4Q!ecKz0_!VsRR^noLTTVy$zp!s$;hSX~ zP`V9tdmPvDq6cPsmGBNSL}O7>jjP*AOQ&IJ^Ek{=wsx5?x9KcOO5~(9@UdG#=fzcX z`>(mXA<)~afIPnoml7!Ljg5qpJzcA7-JU2$Aq+-I$8V|3Yq#%1o@)G-Bo6;K(`8(* zZJ?Z2aZf0<2i9X5ouj~yM}SFH_k|*hT^S~hDOOboJirq{rwGDImAmeWp$Idwion8g zeStAFh>lK6Rmy9LHcDC}HDK(MZo>!P?C4C~bwa}(z`zy#XiBy?OWh>x)WT}Qp=4j& zDWAjqm%bd$i{KswLj>=A0cU7Y30GH4AZ?uPIw?)!FMhTrp5-a8gq4ye!^oan%9T=n zCqPBft=iq2i< z*8{8D&X~8Ec>q55NxL%+<8oRbp#Tx1;53tK!_h1>|EQ*b9n6KL#^#2pXOFpHcxSjU z`L@?^ ztPY3wdo=C#G3dS&h}H(3VT*K`w|z};LO_Z&y`b*If%oK)2^^epSmozu5Okc-_8V_D z*t8vs;7HTjZTqhZZ{@VEJ|F5<*zO+qUKpN|uGXsSf+ic#=dMwrUm%m=q@YwY&05Wl zf(kpJ(Cp3d>}d3bjA%8x_P_SdClC&thm|E2w)?+aL2t5d^FN*QLEpk;q8)%p`S*^j zO`{Olf_+vzR)<_@1IO|EJ1~+!C?ZW}om&)SP#xBQcAehY`Q~GEu1HK5gSI)r^PIC08iSs|t7f!o^L`70_1qEtEv=0`<)^GYLNS{0 zSt{>~e$-r}iKt6CI}9@6C^;6^AODV(2L+Uge~!Qi~UBdn;-KQI1j*qk=lTfIPL(B(`Rk!8nRmL zUvLf9KSU6}dtqr~JCOxMjx!!?q7dl-=Tc%K22F80mE1S9+ z12>CymdAgGp}uhFB7|Y<N1C)s53q z`v*?_N|u;8P01m8i8fij((zpl%CvH|jcrE!@>N?_<2dm|O+H`Llg?>3s0smXm_*m* zwiRl8lz=1&I2N~n8xPuab|?VrPNO#AYbu$m^(uJop%O(^StQ1Y+KpwYy7?}Xt%lbA zsecSCVcPg8Vk?M1d1}ilkoO_cZ5TNZ z=_90oNzL#_UyOOm`hr~)mM(!W8}dFV36K4y_4?E@coM>gH}^NGZJO z$v&>Je!NmTn!4f|#;W@%)?{v`SNXUY$6A57JahUrPNr3DE()O5rPR+dI*oC$ekl2# zOsU0HG0%Wof#FOZQ);81JlY&DKB!TqwnN){pAyMU?8nexOk*lHjgxZA`8!8~w#S-_ zSWf7X7G_l-=%lk=K~V3h0^4@3O#1)Y ziqrv6O*fnJc8w`6ls~!Ap;qy|b&HT%-EWt!I-9zhu>p+t(0dZ&7CQLN8buexa8xjr zWZhi2F<8!aL*g<``_VGAL|wJqOpN=f;NI4#wdIAAOyLnvs;Fu#8<84Vc&2F{+g`%5 z(OD=TP4<1^Z6u~TB0gEEr@L0iD$Pu;g_{LcWWf)TCzot!?7iikN9?qSS=ot&1~@Fd zbzn-v2LU_?{q04o{BV!SlQ^@n04K6dm81Tsf7(zxv|Gv*4cK<5;Sr|3`s>H%EEg4! zcBhcemua~rG&mqfrlMP1l8Mb+(M45IhMBT=<G30z=#j5p}`6*nR^Js}FWo(y9#kxm|xGtk)RxJugcn{@7}NQZ|=Xu(3@p9l{=9 z0P4(zrnI5E6-OtFVd#!*_LN-JN03+2ly@Yy@9o6YB5G3mzKvZ>*7a>?L07(Foo_sEab_(6kvl=B z@q}D|lQ-@y>=ux{z5n3u-Fuaf-G7X*rK_fg_p_|W<~nLE4Wi+LFDy@;0)Ezf*Pyjt zg|zc$1BCkx9YaeEE#UL+#tw!)7t3HXW;k|kh=?REFgg(!@JYttZrQy2$AdmVX%Nk; z2ax*-L^5FagEn>~)!E6l8j@>lQhvuE4@*hN%?vQi`5k7icIWhRyNWHqRnC(>BTZ*ZIto&`Bi>S`#JFp?v=kC zYp^{t91vu!F3S(>gVoGxy7)%lwl)}yRiAm3+k7T{b}GgGW0`5w-4;`8?wgm(Bw^xS zgPqK66M*Jlgjp{JYYq{qVYzrVNiQ3$p!14|%}sw%Go zG;sp!M4_&rY{S1bZ-*p&odPYGT}VQXacgYp`~=PMPWPP6rg-ph*=wan2(+C|6pm0N zR(T#_ZaH@D;QJD*_owC}LjS))t~{Wot&2OidDPR0Mx;v|RIpb+*Bmt?!>M8@uh%q<|CIQCkltgf_(1j&NUnq{3s5 zN)H#atmL@f+I33zEtVz@*xGlEx6eSIj10qTP6gYa(&JesZgHocI-r5`#Urb4TYkD~eqNy3 z)AaE5$Yrsb6<6A9jXqusnD;s%Gw)!)zWE26t-THWoE6P~U!RpEs+^s@WkHML?`Bz> z$T?ej*nmd|zdOmi$G18y@7OwWWNp;Efm-U&i%?l4S z=V^F<{+1uI5ZPOiQ1WE{yFoV&yn22peaUXmomZ>tm2=;p-M4w~5989M~3(q`6s1hMToo$`wqY9HwG-Zb);~ziebHdMbq~+DP<0osn>rf+s3!a-@LM^ zMN%ZsxvV0`uw-)dW$wl0k@4`w<)WW2F5j4~lF)Pd$Q6$UVlTBmrYNlrHH|5II%-^t zi@Be5S^64zyie}g18)yR9mw%H^Z9i{R91u110n;z1_FCJEWPzDB06lQVO}XoRDBV; zUA^NuDE_Lrb>4^8noll{_U`1azSE!I{_uSl{5D$Sn?==#Pm#FX)pMiri+%ml!=i%X z9aqjCm4CXeGIqFQ*0@D&?+w*kcTZ6s$T&Qkr1ZV!M`^}+lP5E*l$|XWx0bKUP4!n& zdOz4MeCVySuKzp@4I7(yYd1yHw^l{ za=)ak=be4?x!&n}cPexOjw&TSxFP4IP_`sG>ty^rqu(_v6!b&wDu$Caqs4+rqpKRW zZ*SH(XKdU!FGa(tMRb3{<})j9Z8P7wBiN;)a4ePbGCxJ*kWt9>vCp3D9=U&m;h!Ut z+yl)0^K52&S*VBZzP}$6G2$LOZs~^Zxm$J5Fu!HQ$56t$l?Jhjjz;&rdI$!whxelS193#7+6^z!1>1&LI||QDOO?+Y@WC~1Zo=ItFnvV!iW23)A=)|p0|Oex zdTnb|2KyW22=&Kb80aKt7Cx=_s`$e?J=OC@#r<`3m~Y^o3oCMMvE^2#i+10frZ?@~ zd`;^>orU?9u0C1o=C25<5U7O23G1?lJgg|{F<`OtQ2n=WwvD;(l@V{|v1fUZH!_3F zF1O9DsPWREH_vFLO0>OdnrhK6$MweEoRqX#jD2<0_B+9z3%|RrEJ9R!3Emn|YZ^ws z(<%KLRJbjsxqKhiFUx4%%7O0suP0x8cgH;M4DIM1e_@U2ezon_Bg+l{p4lr}-2()9 zRvo-D_3TIarU%biSG5bOOFiEER)GA&;4^XycpN8h%P;3tpKGRoygu<>kw>Uag;IKX_|p;3;d1rU`D!5AQ7+ z=DVyeZPnUAzAJ4aT<>0-031gc8RcGjxyyZwI=Lw+Mf~uzdiJbsyD{_uDw|c;>UA{zmSJbrD`$Z<^^ItNiA2I&CY_`&DW7wR3tF zZ~sWOEI+#etj*ujb}Gb!G|I58E$|yQjbQvQg$)&+}+;i^PMNe%@>DSe@pjRkn6X8 zYQiHoUE`q#%t9T=@M`L_#wzmMus zR9Ty%y3A}-?c4`;$w%7`s@AuqUZ~sje&wB!iI3;Dr0#ofwG{CK!bq4i4G-GTb3OsdQVk zbNY;Q#-u9xajRExsndiLb}hM@hDQF+2d4GGjrA2xn-Vj6@5-EiV46GN_bmzr_5-S|4j0UlYaadXpvi@4@J`~WSZp$= z%w+xh@}2(b?s375jg3iLf)*XU_UZ5Qi5E>KRu#Y89ws(k_BHqO-tz6Q9zI>y^j^y- z#r;-#?4qw(pFh9tJ7@dDz_gh4TnUatiqcS> zkaB|=hkGH5nm-gd?9seAc4Rp=)jYLHp=ny$^4Ag9?ri&U>wUGR#jD{yz7yhx`D~d# zu-p!7R*Cg3>GjvRp;u|KQ?u?XIrmErEAE>%#mB9+p6nO&r$x~r1=GnZ7ACbaaV8Dt z-l^`o=r!zg@bxK{{p`xBg6RF#B_^}JZO>87Zh3k1N9NA*xM8f)NbjirrDwE*_Yzw@ z!-miM+CQQeNqFez9c3`Ckd?EXL5$BH+^_$;ob=t+p7~gMK~AG)X5JC;mgP>#tq&HJ z+SrxNFCI1I#;T*A)+|+XUYa`mX)SmXamMK- zc=lV?&{5IIp+6Vr^$Qu@M;E?iZaXY!k}Wnk)jef!cI9QylTEot4-c!JcU@)j>X~}V z##i5=m6s!T=f@YX+8^$IZHm3kC-ETdN7nr)gQsH}*MpExe%^x{Mx+jLaQH1b(oinN zF4tkLrPtgcAMfhs`j!U-ojfy^OnN>!C!xt}&-Sb{heHO9R~vPF?&RO&cj`=BGwJqJ zjr`*NBoX$w%3Z$M^NXV(K$4;E~)d>kZR!SS?Tr7T&ey#|Szn{Kq?oRvT8)K5{9^WpoJ#@M77YGtoI-Y#=&_Qt+`G(vPXJ@(+U#I%3>p7p+DccFH{;8Lp%&PQX?vU@}-IQsl$ zX~C+Kt7ffTN2y1SA_GUHP1-nAHKa$2PHb5P76IcQ#fnTDdftInAF%}c0vr} z;B6Q1^p$b?lcKD3>zxY)bDQVi4jh{wpl_YmRG%2KmYtk*&AVDm^*Y98<93WZS{&l}?z0>WbO-^kOwOouJ(hm0 zRbIX0E8ap9PZr#BIaX8on}T}#H+wN5%_R4F;(E;e-g$-Ob2X}R1W6>9)wmw}EzuFuE$ot>nX1;MBA@Jq23iOuE(kylI0EXb|OX! zxl<_jn+mF!kOaO6qMe-iWx%nLmZS3O9Y42#F*tBT5Z7a+UluB=vh8RJ98^Hu3gQr? zkGuxn@fHz^3&9;V#HHYa0#c=5&@oAZrv6ig)8M%pRAzQ>K!JfeqSyPk?68ZFBmsdUt_6=Rk&#O39j0Lj7M!ObJsL%ZD*_ukL{&i3V7MKeu{@0o zQAAjP+9A52)fpLHu-p!rssMI)AgXdWg@Jt@P!r~Y%#l~?m_CMqKp)s&od+^Y5j+|L z2So{mpmq!t&GJDQ1+d-^Q4?ScNb!TDA!Ct11<()(#c+}W-vS}+z8|8mh|r)h5YYn( z!3a~}Fa;qMG?b(b!&$rA3FI}NYJ1y0(Lxh0kTV8 zy~D8>MF8^{NOz7z?#gSh9j+A$QD7#99nFeC4$6VUs}N;5R)~XhtDta@81a%v7;t12 zq5~4vBf|>XRw0oJnnJY0gE)hMr%6!u(t1Qg8KiATR0Jpi_HBn<_S=laD1-Cahzi)V z9nl1LvtbYQ+mQ+tV4DYtrP+`;CJ$i?G;ULxiK_;s?WWAqDL ztB@#l@T>+=*1|FP(-iG1PY73DyD}Z{r5Z`l;XEg$kt*2!5^+bM`=M;AWLZgRjp&2pkctR92%4OP64?A2u>y~J3DiLyH*F|s zFUH$f6ttW>2B*X27?F*;&{T+XE`?1THYH=VaVKDti$h2yp)6-s*rXtp3m@2|Ayr~Y z8+QgaB~;ZeR>j*F3#Twlab7qC6Cn5v;;j8swJ3N|Sj58V!HXb+1Q*{UBB1^jvHm6Z zNHgT7cgOYp47q3>GW3_&1$D@Z?ieC4{vBe|J-4nqu4K64_uXJ2_tz>Vu)X!&!$e^C zKizPDYk;%7A%pvCl@i#ehHg5Y`T=$t-zbY~@}Ya~uT@IC<IHN%;bP=nD*h0jH@+ zTQJ$=r^M)m!I4nnXPxq|xTFRG83s^1PDkKp-9_?eDfCnFr|QlHCV>J?UBT}N3H)>g z#yVY)l5XwofzfTGFBn~i$bT_Bfd`J}K7wHa79NuNLINyzL1UoB49w0ikPuLii40R~pny zpyDp0fe=E7aZ%e9j1$r`fnbv4%?>9>UVj8jOVJ>fV*j<4xWmT;!Lq!WPz?8ab?3oA zFhlTWN5L!mu5u^=qnEE(S_ia06yz&r8RN>$L?K1+!36i{rE`ZU41Vs{V!F}@_-|JlR1BAOR~kyfC~TjI_}^uRk|a(` z2N#age8nW*?z;}xkrd0FCp!-YDrWeKDONgW#3;$IX!~f|a{!K^e8upwfYbm{3J#m6 z7{hpqp&TP^1q!2JY(f9SPy0+T9K(5vDU9Zxn{<{#Dd8_>j1hdraGCJ11YC>l{fYn0 zdN_R2^9w=l#NJgg$>JU04lK=AOtKUYOQV!DR*YjTUop)~7AVC~($SCMa3Z`x!xSv- zCK@I=DH_BIIlU75x0@e@g3_~tTL(=@b)GhghbQ;(zsuDU^Fw)5XU$&Hh3$%U4XZe8tf1(msY; zHD57Hkz9Om_U|x1!|h{T2ZP}_KXWl~ok#~4Bcur_^Fu5@aX~q{Q_LtyrVfjW1y%y> zV4R<<7@XxTU54bAZWp6LUHn|dko=VkOPY%o0v$0wJ25ndN&AsuNdBw{esY3xoo6K( z8jE7Q;s$1ypKgS9?=U-yc1j38*EC#Lq;#5vsfnMQSPVY8?rI8@#U+I&H;8r}5Zg65 zN!A?{spGI*gQy$wPv^9wnaOu$XY#SL?Efu}^)4JV!9K^X1>_NxD1gga}yhD~>w89aT?qKLVsHZCqMggZq# y;qI<3ZiFlCW~z+CkOa+-;P*>i+;OtA6bO diff --git a/sdf/Sdf.i b/sdf/Sdf.i index d5ebdf61..02782602 100644 --- a/sdf/Sdf.i +++ b/sdf/Sdf.i @@ -30,8 +30,7 @@ using sta::AnalysisType; using sta::MinMax; using sta::MinMaxAllNull; using sta::stringEq; -using sta::readSdfSingle; -using sta::readSdfMinMax; +using sta::readSdf; using sta::reportAnnotatedDelay; using sta::reportAnnotatedCheck; @@ -39,62 +38,27 @@ using sta::reportAnnotatedCheck; %inline %{ -// min/max index is: -// sdf_min = 0 -// sdf_typ = 1 -// sdf_max = 2 - // If unescaped_dividers is true path names do not have to escape // hierarchy dividers when the path name is quoted. // For example verilog "\mod1/mod2 " can be referenced as "mod1/mod2" // instead of the correct "mod1\/mod2". -// Read sdf_index value from sdf triples. // Return true if successful. bool -read_sdf_file_single(const char *filename, - const char *path, - Corner *corner, - int sdf_index, - AnalysisType analysis_type, - bool unescaped_dividers, - bool incremental_only, - MinMaxAllNull *cond_use) +read_sdf_file(const char *filename, + const char *path, + Corner *corner, + bool unescaped_dividers, + bool incremental_only, + MinMaxAllNull *cond_use) { cmdLinkedNetwork(); Sta *sta = Sta::sta(); sta->ensureGraph(); if (stringEq(path, "")) path = NULL; - bool success = readSdfSingle(filename, path, corner, sdf_index, - analysis_type, unescaped_dividers, - incremental_only, cond_use, sta); - sta->search()->arrivalsInvalid(); - return success; -} - -// Read sdf_min_index and sdf_max_index values from sdf triples. -// Return true if successful. -bool -read_sdf_file_min_max(const char *filename, - const char *path, - Corner *corner, - int sdf_min_index, - int sdf_max_index, - AnalysisType analysis_type, - bool unescaped_dividers, - bool incremental_only, - MinMaxAllNull *cond_use) -{ - cmdLinkedNetwork(); - Sta *sta = Sta::sta(); - sta->ensureGraph(); - if (stringEq(path, "")) - path = NULL; - bool success = readSdfMinMax(filename, path, corner, sdf_min_index, - sdf_max_index, analysis_type, - unescaped_dividers, incremental_only, - cond_use, sta); + bool success = readSdf(filename, path, corner, unescaped_dividers, incremental_only, + cond_use, sta); sta->search()->arrivalsInvalid(); return success; } diff --git a/sdf/Sdf.tcl b/sdf/Sdf.tcl index 7130569c..1cd1c89c 100644 --- a/sdf/Sdf.tcl +++ b/sdf/Sdf.tcl @@ -18,17 +18,14 @@ namespace eval sta { define_cmd_args "read_sdf" \ {[-path path] [-corner corner_name]\ - [-analysis_type single|bc_wc|on_chip_variation]\ - [-type sdf_min|sdf_typ|sdf_max]\ - [-min_type sdf_min|sdf_typ|sdf_max]\ - [-max_type sdf_min|sdf_typ|sdf_max]\ [-cond_use min|max|min_max]\ [-unescaped_dividers] filename} proc_redirect read_sdf { parse_key_args "read_sdf" args \ - keys {-path -corner -analysis_type -type -min_type -max_type -cond_use} \ + keys {-path -corner -cond_use -analysis_type} \ flags {-unescaped_dividers -incremental_only} + check_argc_eq1 "read_sdf" $args set filename [file nativename [lindex $args 0]] set path "" @@ -36,17 +33,6 @@ proc_redirect read_sdf { set path $keys(-path) } set corner [parse_corner keys] - if [info exists keys(-analysis_type)] { - set analysis_type $keys(-analysis_type) - if { $analysis_type == "single" \ - || $analysis_type == "bc_wc" \ - || $analysis_type == "on_chip_variation" } { - # -analysis_type is an implicit set_operating_conditions - set_analysis_type_cmd $analysis_type - } else { - sta_error 429 "-analysis_type must be single, bc_wc or on_chip_variation" - } - } set cond_use "NULL" if [info exists keys(-cond_use)] { @@ -60,53 +46,14 @@ proc_redirect read_sdf { sta_error 430 "-cond_use min_max cannot be used with analysis type single." } } + if [info exists keys(-analysis_type)] { + sta_warn 617 "-analysis_type is deprecated. Use set_operating_conditions -analysis_type." + } set unescaped_dividers [info exists flags(-unescaped_dividers)] - set analysis_type [operating_condition_analysis_type] set incremental_only [info exists flags(-incremental_only)] - if { $analysis_type == "single" } { - # default sdf_max - set index 2 - if [info exists keys(-type)] { - set index [parse_sdf_index "-type" $keys(-type)] - } - if [info exists keys(-min_type)] { - sta_warn 613 "-min_type ignored by analysis_type single." - } - if [info exists keys(-max_type)] { - sta_warn 614 "-max_type ignored by analysis_type single." - } - read_sdf_file_single $filename $path $corner $index $analysis_type \ - $unescaped_dividers $incremental_only $cond_use - } elseif { $analysis_type == "bc_wc" \ - || $analysis_type == "on_chip_variation" } { - # default sdf_min, sdf_max - set min_index 0 - set max_index 2 - if [info exists keys(-min_type)] { - set min_index [parse_sdf_index "-min_type" $keys(-min_type)] - } - if [info exists keys(-max_type)] { - set max_index [parse_sdf_index "-max_type" $keys(-max_type)] - } - if [info exists keys(-type)] { - sta_warn 615 "-type ignored by analysis_type $analysis_type." - } - read_sdf_file_min_max $filename $path $corner $min_index $max_index \ - $analysis_type $unescaped_dividers $incremental_only $cond_use - } -} - -proc parse_sdf_index { key index } { - if { $index == "sdf_min" } { - return 0 - } elseif { $index == "sdf_typ" } { - return 1 - } elseif { $index == "sdf_max" } { - return 2 - } else { - sta_error 431 "$key must be sdf_min, sdf_typ, or sdf_max." - } + read_sdf_file $filename $path $corner $unescaped_dividers \ + $incremental_only $cond_use } ################################################################ diff --git a/sdf/SdfLex.ll b/sdf/SdfLex.ll index 4d9947cf..401b3071 100644 --- a/sdf/SdfLex.ll +++ b/sdf/SdfLex.ll @@ -17,7 +17,7 @@ // along with this program. If not, see . #include "util/FlexDisableRegister.hh" -#include "sdf/Sdf.hh" +#include "sdf/SdfReaderPvt.hh" #include "SdfParse.hh" #define YY_NO_INPUT diff --git a/sdf/SdfParse.yy b/sdf/SdfParse.yy index a2e37297..91983ff7 100644 --- a/sdf/SdfParse.yy +++ b/sdf/SdfParse.yy @@ -18,7 +18,7 @@ #include -#include "sdf/Sdf.hh" +#include "sdf/SdfReaderPvt.hh" int SdfLex_lex(); #define SdfParse_lex SdfLex_lex diff --git a/sdf/SdfReader.cc b/sdf/SdfReader.cc index 97b5416b..c9adff15 100644 --- a/sdf/SdfReader.cc +++ b/sdf/SdfReader.cc @@ -29,7 +29,8 @@ #include "Graph.hh" #include "Corner.hh" #include "DcalcAnalysisPt.hh" -#include "sdf/Sdf.hh" +#include "Sdc.hh" +#include "sdf/SdfReaderPvt.hh" extern int SdfParse_parse(); @@ -79,43 +80,20 @@ private: SdfReader *sdf_reader = nullptr; bool -readSdfSingle(const char *filename, - const char *path, - Corner *corner, - int sdf_index, - AnalysisType analysis_type, - bool unescaped_dividers, - bool incremental_only, - MinMaxAll *cond_use, - StaState *sta) -{ - int arc_index = corner->findDcalcAnalysisPt(MinMax::max())->index(); - SdfReader reader(filename, path, arc_index, sdf_index, - SdfReader::nullIndex(), SdfReader::nullIndex(), - analysis_type, unescaped_dividers, incremental_only, - cond_use, sta); - sdf_reader = &reader; - return reader.read(); -} - -bool -readSdfMinMax(const char *filename, - const char *path, - Corner *corner, - int sdf_min_index, - int sdf_max_index, - AnalysisType analysis_type, - bool unescaped_dividers, - bool incremental_only, - MinMaxAll *cond_use, - StaState *sta) +readSdf(const char *filename, + const char *path, + Corner *corner, + bool unescaped_dividers, + bool incremental_only, + MinMaxAll *cond_use, + StaState *sta) { int arc_min_index = corner->findDcalcAnalysisPt(MinMax::min())->index(); int arc_max_index = corner->findDcalcAnalysisPt(MinMax::max())->index(); SdfReader reader(filename, path, - arc_min_index, sdf_min_index, - arc_max_index, sdf_max_index, - analysis_type, unescaped_dividers, incremental_only, + arc_min_index, arc_max_index, + sta->sdc()->analysisType(), + unescaped_dividers, incremental_only, cond_use, sta); sdf_reader = &reader; return reader.read(); @@ -124,9 +102,7 @@ readSdfMinMax(const char *filename, SdfReader::SdfReader(const char *filename, const char *path, int arc_min_index, - int triple_min_index, int arc_max_index, - int triple_max_index, AnalysisType analysis_type, bool unescaped_dividers, bool is_incremental_only, @@ -135,8 +111,8 @@ SdfReader::SdfReader(const char *filename, StaState(sta), filename_(filename), path_(path), - triple_min_index_(triple_min_index), - triple_max_index_(triple_max_index), + triple_min_index_(0), + triple_max_index_(2), arc_delay_min_index_(arc_min_index), arc_delay_max_index_(arc_max_index), analysis_type_(analysis_type), @@ -475,28 +451,25 @@ SdfReader::timingCheck1(TimingRole *role, Pin *data_pin = network_->findPin(instance_, data_port_name); Pin *clk_pin = network_->findPin(instance_, clk_port_name); if (data_pin && clk_pin) { - // Hack to match PT; always use triple max value for check. - if (triple_min_index_ != null_index_ - && triple_max_index_ != null_index_) { - float **values = triple->values(); - float *value_min = values[triple_min_index_]; - float *value_max = values[triple_max_index_]; - if (value_min && value_max) { - switch (analysis_type_) { - case AnalysisType::single: - break; - case AnalysisType::bc_wc: - if (role->genericRole() == TimingRole::setup()) - *value_min = *value_max; - else - *value_max = *value_min; - break; - case AnalysisType::ocv: - *value_min = *value_max; - break; - } - } - } + // Hack: always use triple max value for check. + float **values = triple->values(); + float *value_min = values[triple_min_index_]; + float *value_max = values[triple_max_index_]; + if (value_min && value_max) { + switch (analysis_type_) { + case AnalysisType::single: + break; + case AnalysisType::bc_wc: + if (role->genericRole() == TimingRole::setup()) + *value_min = *value_max; + else + *value_max = *value_min; + break; + case AnalysisType::ocv: + *value_min = *value_max; + break; + } + } bool matched = annotateCheckEdges(data_pin, data_edge, clk_pin, clk_edge, role, triple, false); @@ -769,12 +742,8 @@ SdfReader::setEdgeArcDelaysCondUse(Edge *edge, SdfTriple *triple) { float **values = triple->values(); - float *value_min = nullptr; - if (triple_min_index_ != null_index_) - value_min = values[triple_min_index_]; - float *value_max = nullptr; - if (triple_max_index_ != null_index_) - value_max = values[triple_max_index_]; + float *value_min = values[triple_min_index_]; + float *value_max = value_max = values[triple_max_index_]; MinMax *min, *max; if (cond_use_ == MinMaxAll::min()) { min = MinMax::min(); diff --git a/sdf/SdfReader.hh b/sdf/SdfReader.hh index 2a15a87f..2c6cced6 100644 --- a/sdf/SdfReader.hh +++ b/sdf/SdfReader.hh @@ -53,29 +53,13 @@ class StaState; // conditions and the maximum of the conditional delay values is used for // maximum operating conditions. -// Read sdf_index value from sdf triples. bool -readSdfSingle(const char *filename, - const char *path, - Corner *corner, - int sdf_index, - AnalysisType analysis_type, - bool unescaped_dividers, - bool incremental_only, - MinMaxAll *cond_use, - StaState *sta); - -// Read sdf_min_index and sdf_max_index values from sdf triples. -bool -readSdfMinMax(const char *filename, - const char *path, - Corner *corner, - int sdf_min_index, - int sdf_max_index, - AnalysisType analysis_type, - bool unescaped_dividers, - bool incremental_only, - MinMaxAll *cond_use, - StaState *sta); +readSdf(const char *filename, + const char *path, + Corner *corner, + bool unescaped_dividers, + bool incremental_only, + MinMaxAll *cond_use, + StaState *sta); } // namespace diff --git a/sdf/Sdf.hh b/sdf/SdfReaderPvt.hh similarity index 97% rename from sdf/Sdf.hh rename to sdf/SdfReaderPvt.hh index e9ad6fc2..b8b5af5e 100644 --- a/sdf/Sdf.hh +++ b/sdf/SdfReaderPvt.hh @@ -50,9 +50,7 @@ public: SdfReader(const char *filename, const char *path, int arc_min_index, - int triple_min_index, int arc_max_index, - int triple_max_index, AnalysisType analysis_type, bool unescaped_dividers, bool is_incremental_only, @@ -60,8 +58,6 @@ public: StaState *sta); ~SdfReader(); bool read(); - // Arc/Triple index passed to read() to ignore arg. - static int nullIndex() { return null_index_; } void setDivider(char divider); void setTimescale(float multiplier, const char *units);