From 754ab9e2201511db6648fc261464a72951ef6c75 Mon Sep 17 00:00:00 2001 From: James Cherry Date: Wed, 8 Jun 2022 18:54:56 -0700 Subject: [PATCH] write_timing_model Signed-off-by: James Cherry --- doc/OpenSTA.odt | Bin 63230 -> 76852 bytes liberty/LibertyWriter.cc | 17 ++++++ liberty/TableModel.cc | 4 +- search/MakeTimingModel.cc | 118 ++++++++++++++++++++------------------ search/MakeTimingModel.hh | 10 ++-- search/Sta.cc | 5 +- 6 files changed, 90 insertions(+), 64 deletions(-) diff --git a/doc/OpenSTA.odt b/doc/OpenSTA.odt index 05b5afd308e65944e1a9849994b13ac5667de7e7..0b0f31741a424bb964eaf12e93b950726aeedc01 100644 GIT binary patch delta 69125 zcmagFb9663*De^_wr$(ViEZ1qlV5OR>%_Kg+fGhw+t!@--tU`x@0wXNU4K;f?yA~P z_3GMt_p__NuRxnt!Qd5TK*7*}fS`bY0uaU%;H5$TQ)%M^vY3$kZZwG2HR=M*+AULQ zq*Z^Zt&45REw_%@AXe$r%EgRR01RBFIU<)b-yv8}rqXc-&#wlBxnA;cYYx}peJ^>4 z%8hl^ZC>0zW@NTnhbvQPWaNo0B3mHiM|cB>V~Zy!YS~PTudZXtU4F-o76PJui)qn} z@$zAqjl(?vvwN@W_}KVfS1sDdk!)S#Oj zp)b(Wr*Jho^xjy7P++bo@Gzf1a;uR2N3E&nPz`jV-5&AlnO(+PI`pmB9>-<2;^IZGe*_v9vbN)_L-m-dr&F0Ro1JP{i^oO6Lf7; z34^8qjUDEFeU(B%*B{Qq9ym20fq6r5pL2*izC@4S4@cLRmy2&l&U;xx*VffNAncY2 zDSHg7DMutlVl*lxNhf&&1jFP9EFbYx%p19N_ob4q=_7FFl2~IJ z>9DdFVz1gxATlx(D_`(3>Gql2=QZs%G!cUnWeiDo7%tcOD=%gTQ}-~0Pfhr4MyL-k zg&EMcfb7^g<4l}i#F}=~N7ub&^242?dc%FJ-a0x#rr&bLU{+!0J*1(DI6e}?A-;71 z2NkdY9f#!*y|W)AfM`U3OZE8=^2Q9F?ZXdoQ=lll?U6jd?jdl~(dLrD+o4fsS$k+* z?H<+FA)h&^v^UJ=rEmd~#J6P1=>C#D*`{?v;Bm3|7vtA*B%z`VB$V#xMeG^~5D+RP z5YYcz0Z>p-|5*X5K>zbdat9?zSW7bf_5GC%4Z9Lm zrS`{5`Ol>+OZr<+x)j&XeR5f_M4dd2pAz@CqbfHLe!AxQ*{>t}CGJn%H|MvN_M|gV zdcfPMxMGX%eNmBrTiH~X0`Bs;ufPwJ;G5xPlecc|O6A_hvZBe9H_^EM3>{nzK7O`( zYVJzmU}>v7oq<`J=JyZlVwNg{hPx*H&pn^Pa!anE3snyYa8{oU$T~&~`wg>IeeQ$;7PN$eKCCP`;L~w(q z&E4D8RagGiBYtu1*@|%Gy!qXJA&ixkP$)VF;wpVk#Ss^0WP}Q-!}-h(qVw$Z{13Ye zBqv2E$r))W{Ah!(bc{k#mxw=ircm{3x}7h-AgsyBcMA; zp_I@A^FzAJw<7oI(px?j{ZddjNV5b9u>mrqUYS?elAgTNtcz2sf9ZlS&bqWS;>S#u zMZ_r6pOf`(YEX$yJyW^^ZVI_KYu5{Tx7pO-_Wnn)9uLX=h<)zI-CbKMeR9Tc%6W45s$^Itqk z$e`^2xe=sMBm-#1k%9iJNy&-y#`iz%IB~#h%!&ic-@B| zhWYi3pq%NI2wrZvC1i!-E>p4*dmxy>BjluThM@RkCh;7M6M=~QH&A^cTAt4}D;aAe zOos;tU4bh-LS$HT@!>itYoGM?q)f>W?*wW=zp7lnZDy~pKVFC}X9gv9K1Pk6QUl%N zVDq`4qrtD{$J1FAO+IH9oB+vOKO^wq2HZUhdRGMJyplwf?5_PnvjOT?3UY&pIz&A4 z3wid82$7m{6Ef|uU8J1aa(y(K2~{F`h;F+gmvYvm_F5isXFBmh76D@6;X_mpD>`2z z2+dG@mEJZSNdEB6-L%i@^b%{~hElOd&QsW-e30NL4$&Zlu?du>A^>W(Xg?D=avTPl z!W(^VP{4#yslHkFeP}`1cq%hXzqOrWq^OZStLyLb!|<8-C-!VKZ!E3!ca5Z*#PK6` z5xCk6+A~Ymc%L!g_Yo-&b^;4nnRBb=wn68hW^-b&=91NJ_tq6f!+my9!+8;!61@|a z>6lJV4*N{9?t}~wXTX|<9X(G)og+iOeVUdH3x36;&(N_EiE941^r@8*I3IillqJ=3 zZB<$rNk(91imXcb2g`l>5wW@1?-#V>RtjjMk^Ce1IQsCgJo8^kc-}#xh?oeyyUrJQ zx8=}7A(Vl2ZPo*VUKiK<$Po2-Af1tYIoB}&(h-+*tMEz1TRxc;x5;U^Ep>AhR30f@aJ=4is$&_YU<>xJ466BvqpH5U;ZfuyG zP7{sS^>ELCc?&j~b<`GfAOsO6&hFMFcA-S_?}JtRULpGqb`2)v^!+)Z&hASTG>=mc zK6ChycU~8Ld5q+Qj=3xp9@L6oZ_uzR>5p3MJXu=K$851pv6~sB{z#!2`ENa!D+QcY z8|XDr5p4%&7L2o~WnTkHLIQgtB(LCqefb^78W%!HKDNa+u{0Ix<8A-6@P_x_M|JrDYkI(Z?@PEu0ZqJk>ErqA{OU^-ql zIz*7nx8D?;H_Z(HK7`|BltX{AF!on?*P_U+sbIPG z787=KO}jkGyyYKf*_Pi2ZwW?=h~0H?r3b1FKf2o{H)ky@v4u5SvM>B&>BwS|8`};} z4B2U@J1fwx4xhMwQ7>@Ow#SorotWF4RXwlyBF(3ic&R@i|8aKjT{CNp{~R3{%YQq& z{|fh#B1oAb|NC5ll=DBaUy?luaS{(H0_1-=#H2l9)&C*iB;olVbvZF{QuiYq?Ee-v zCY2NauW|mCTc&~kSb8iSj<^#nJB)aolt-leBw9k0Bncre=i;ZFKuD@0Pof;>?K`+Q zu6Td6Z`eeVLm!|HeoFpW1>a!XBxo3n@visURSoy}psob9*wm4`kRNt@@`FJ!ZT0hE z8oEiu$7>$|PY=1S|N7-IwY)IO|D3t>wDc3OH5}ZnFedRupw5oG(Ybx0^24|rFwhIb zaw*)KN}D*Qt#fK3F^JG4fdKcJHP#hF2+zzW#5*bO@hRWh^OktXc-kHICMr;}0AAjsp7|EssG+?9A2 z@?;RRB!LFWaJE#sTuPm~+GGCJZLp_wh8H9Y4rn7ttm46@OFc#F2}R!I%u8NUpaF7g zR`L(pW(7p+>ikt2YGP20$Ij0{(C|n#Fy3%meJyf@7cPmkQB0}OsB|CCc+$U0>;*=g z9a<39leC^E7U=w#t!FG3kh5%jGw4I$6jJudm@{6~!e=okQ}h9~8@eq>NBzh-!Ht2A%Tx4s+8Wo;q1`VGoS^eoN=nUp;Bvg{r%h1>@t71{Ab!(?EB(Haw_1!cUDH_5?^Aw!EI-_Z2C*J5)4^Xtpq0WY;2w!FWiU>O(?Ho07RPIL+NLKVwX6 zgEkbDiZ29Iw&!AADkZiF;`Cb*fAvWhl7s@LYmnh8ST%-Se{;VK-sEUqDNzK3rT|w< zod2o2FY+(%u@N*+8CsG*r16vMZtCq`)k4Nk=9rDu-uH_ZkRD=Vexey5RWAr4+ zm>zE$*kHYyRajY=WUONE&j~xZ71MB*MmpIT4Mjo;q(OyhcBC||f{L(Wm4Mv)Cm=u9 zC>0mA0uGIO^-H;SxMaJVz!vUZ!k0u~>P&*P@#T*LKR^m0RK3Wh9rOa&0O z5##sR^+Ks{!_7bd?yEd*$u#+1T;%~5gLrW{SP<23noRSq2lUeSL_d&EF~iA?%rmrC zLp1<|R$RBZzKcY`t~Vco#YqcS1|UG&ikcs`L5n94#Y34TU2W&n<-U8ep=|+irBjW~ zMSH)_MIxwzvNLKT^?@vM$f?wfj+T?5A-mQ^03yEU1$ld=@LR$wu##mgp$n7%<@m=JF6DQ0EF!;pHnfkLR~=)=A{H88#vfO?!u(g4?J)rbmt zy2BAUIcZiGv=xtom>K8Cn#XPwL}8}P6P4SHx4o;#1sWlloM`?eRu{GV@szztPt;mo zEAzr_F(r2R=)G0E%;Sh0*980IqLZ3OhpAtOciZ@T@;yPc4#B)2W&NV3SOMkQ0*jaX z?`!w43vJR_r8xg#fEvMM3fW>;D%W(;rWHl2dxlh|yb8t=Uo>V0_jFOuBHBr2XqLJ5 zHQS;N@3iU}+s`zZSr2Q~(qq_tiQs0(8R8YYpZfOWT6Ly?P3_skeaWoD)}xn?oIx_D zpVLJNz+^z&DVj#~Po%qv#GD^kLpm z9gyD7n!?DoWOQfzTutYaq3@7=Pa8urX;Pqi+)yT2G?h`*HAAPv-xi@+r=r^m0apxS zwF;LY$)Zx~bjBQA+LL0{cc19TMN6ri6f`9&{{0@ljGZ-HlZwg;rT)utiOAgmsxnt- z#J+G`vCz01P%stqb_`QwZTH?-vJCSOG-auA$xzX6wdEKw3p~5EPu&;lpPW7St$`km0{YWIxRTXD)izO)P z$qQ#l!_;L9KXHFtCjc5*R68SiEP7ylyYFGdU0lm=kjC{}$=VTctC{qzT!4?p;cc>5 z@lrhpWVq=Q+dSE=p_Z0iBcTU{|3N^Ux?n|nuz7`6yOzQ9@}>9xOOMhI!7thx^X&oE zZoDAb-_zffzgDLNc;h0ZJE^o%cYgHlyDG3Qsvf}y?j%D*#_L)QlqZhS^T*MxgQ&g% zkMw(4f@N6u>}|%(I%$rk&FTm;=Hzz^iE3E{I9$UlE*FiQFSLnhI(HEL6UJh0ZlasZ zpwAoX3ZKD5l0uf#>bf599@o@q%VUh7TXzKQLy4cmU}pEX)zd~p9t>OC>gJcwQpFY( z)i}($a!&_IVn4NuR5z{J?UzV`Ow-KP5C0fT?-qP8qq1 zdbjN=tKMk?*%W$zXgeR>vwaL>CXUr-JXi>aFR4igCgc4c#P##h@O5Zb#H zHYZ$ECW+tFd?Wb~pp_WmUnO`>6+r-4&B^!W7+pNu@oySr92&~Ro20ULP0JRr zf6U(p-JUURv%%oTC)pG@Bs0BJ&4+i*Z?bkEH+WZU1KA-S^|lV)`JVyyhe7XGGwJCc zUL-Ywi{*O_?YChz>I?KU!C2q(WdnhY8I;r0L3>*aSSXNl@8Q*V0T}!NIT3)L1j4_5 zu=<8GXMed$W#;XoDf~`kei7&;fb+cV&{r|tSGqE6UZ4-311W}|xZ)UQ9y^Br;!3e<1@T*eUw%OL-kvV6{fO!Xz!JSB;}T_R4UzUz-L!@$@+)1&Ftuvz zc$M8HO5ce}{tDQ5MObL>L=Xd1o5G9%iqDGV8Pp6W$x5YH$g*v!GJ12QH`3n+eL(n>eoH$h; z>y5RyhZ_*1%J|Q#M&NsK+`Q(W$cC{^-1*BBIDMLX1ay|TxHO+am9GG_)||b+l1VDK zXr_?t4x4qVAsY{PD2H}{iy}#T;TFX8DgSa5v3`yU(Fj#|D&Yh-C9D)R!=HT~x@Fwp zDGyuOLRgX30&H*>j+)xyo@a>FvMS8uIqtPPTZr}ODIk=9m4^2$LoG=iE^IL8ncwI# zg;j-A?{Gx^i5Q7(aRKugI-VXdrvMgOR7rr$rMUlRxJ-)Zl*^;?T@F>IKM%~G-oMN* z#_hAUAME#N7RrsS6X-(~>QAiPaF?R%;?LmTTI><33TWeMN(t8be=dp4a?L;9?-wk% z-&)svle_T~|00>p!mOsEj}Mmmhx4r{h2!Z_uHRvHkCC@UE&+5-dlzF>U&C>iqsh^G z_9-en-=El}de~x)t1goSNoGYQPCp;L^Ck@7M(_C^c4EpaZ!WG7d2Q|5<8t|{W|C`P z6RQ^=qYzVny2p~bp{sxH5HALKz~(h*)4fG}FxznNmsdJWWVN&?A+>90s`eH#7;5hB zGZ^baP&TL9_Zzi&!8jdd1xY*| zw-W`=?gBc9v6#^UaW*v!+ec*0bx@w58-(h}v0?_$Q$_N`(gLBs?&4==y zq}>7qUj#4t+BDE^9xmUvhjR@Iu?WY#b6JAvQ{d+rfq=&g#D0!#QMH}ppzZ?I8As~@ zE@lt8CfX*0WAN(LlPMYTbT2eaI^2fX`^$Is(M2c3YWds9fmG+NNEmd7$K+*AA08R` zNXnb8*EZ0=E*@{gtneqX^hmBh^64oODY6Z6GR<|tPm1e{RUm5Aeh2W2_Sdq_(MqEfV70;uPdCLGUEME z(ylUI@3sqksxKq^Rem;{I=n;{5=YDD%b93fUhl1#BMfvKZ}EP`J%~nS?fIYk7{(-> zMfsj)2r1hN|4x-7w154Z(Clxv1BmSFU{uY~jQ}(bMY*U9|G8o770&80r0^J*U)Rm5 zXmI}Zp|JFvyP5e#i1rMK-}uRg{ZLqb&fU)ZQqxegaQ>L>sQU?C|3-W<|7joic4_}Q z(OU(SwESFdU-l}l0*G6G3Sd8G|Ml3({7QxSU_5#@a5wr1S^tjmY5b8k`bpXRu4K6E z1*mQSybPWRWvT`Ltod(-9BEij)?QEDgN9r|I$t32)c<&@qIkz#!v{uy1V-Qmj;BB! zCW&b_JPd&w->rBGUPpe(kv{)`*u zlT1Zvz-TQEu9+0%FmS)0nt?kw@_{MPeKilQN_$WER!%Yp8B) zn!|oY;&-sNP`LKa{JwbN4pP%Gq?meU)9_~~Y!)#GUpVXnPLWW!c`RJfP|LV@Vo_I# z)9H9(R?*N?Bmr!k!)pj&(cshA_6I(d=0)CND zh|La|FbLyr;2q8+-U8p&o6e%k4&l za36WxBB6f&=Cd`*IVgbjEbQX@Pxfz)|B(R(|1(LWe{dvepZg_{;plPSa6ND#15Q_E zQ0X>6jb4{_h|m&toXOIBu>y%2asn|;Dq~*<$xNuQc7a-$Qp2oH-*uvrPl$L+B;hVB zq5LF@^Jq03(>kgVS>a8W=ftAMkX3*fWtSu};lHScEt&MEsokv~Zk1VBksQ4;02dp; zn<|WH$laRM2%7<`QFO+Pm%+7Ev591R38#;AcUZePjw)>cNcARpv;(b{z$jkf-<=>( zcnp}}%xJ!{+HXjltId0)==}tvfFLfBw(1%?a%f8J z_K^_lmbmKO+PQKc*;~FBC~fx*0tXM&@XjF)s7Czxs*vd(DHKu}iAs ze9P#75&cfnos3o1NIKSC&3c|N~7z+slGOA zn}bRlBT8VPe-hhFGT48IfenjA&07+`;@X2=3wsi1iC((1fud*B{6QhE>sK2$gKDcf z;d>H2Y?n_2$^r}<4UK?vXxE(p6Ku3AC#|)PFAhbCKgP|a9P!gx-6DX5S&I9^{i20J zRDhKRQ?R;Fm?6IM8y^h-WC7tx3FeUkc)FkwhjSEi1Zx7nPB?^^)2p^>+g9Z+y+kr! z;W$)dh4_pR2bzejlHNp>o#dZpeZ^!U5&Inn#)jDrlWhJT@3rp>lKfz|BJ&(X(PB+x zrtry^%#iK<0RM+?6s|0|@kR#%TC)cJujJZ)ag3@kaB#(?=W;+m=WfUQtm|Sy@>X6%`#F z9TO9iq$YAf0QEyc8xWA3pp=-fs^|KZURcmZTaDYqDvHm|(a+C4aB?Xb?^<%^T5BdU zN}OE;i5Wq{5V7zsi^AK=*ilswYP5~qoF&xg-PLp=bPsrXMG zg{#rQ-d?#`H0{aZz(2Us>F1lam9KNSP0{!>de~%*uyBlux$krG zOxu$CgDFWizZp*N>(aR&O5-@y?Frq!+LkX;Zg{Dbygu4a(rbJ|9touc`#ovP&G^sf zc+|<`lrg7ute3v_$ zS%&|LbCA;n^a%6_buV&shQBRD!ON&%p}$|vQ{yoJ6f0O?z_&>-@jg@ric`1Bov^oH z{3r~gcr-_W>0AAB*zLWZlYBvT`@CW^x*yAzP&`ztTEolTtX9DgV9Ktm>MqNO7>sbY zmuSv84qqs0Y3{lxI@eMbkbVel@OX>K9mMnncAz6dShsPOOZY6apZaxg)hYIDq;vC$ z+70HhMj#NoQMz%|Zsv=XE07RXPk0I$lJ1L=`!Qz9`H9QmCgA9vsj)4%e()76m#A0uGdD=C$Cm{F8}!G^J@iG| z2=3C~^XUS6b~=&h|oRY`q+6%wfXJ`>OP(Kht0v(+(do8|4r`Y{@k@$t-);C#AsCtqb@3&5aDjxb(E&foM!V{=b{%4ZY&XAhA%l2sN^us)%V;YZXXwIW+1j0V|cYX zVv=1#jRuI1QN9b$s(hmx!a3|m^mF6?-|q$`)(vztmdQ8rgSVv0d)(~Z(<5la`U;0~ zH$VC_L%*XK#QG>+Wx>WfV(vzLF0vp3-!fn=tLgBL zPD~+V99C*L219R>Sh?5Gp%!~xhL#}YR$6H$KK);z}l9;c~PT$f(UGB?vPoEwjh zwV$cp%$nu9;Y*N3hRcx42MYa*zEIKC+AVz=LLww`VVHi%z1vVw(AVI)<{BHx!BX>0 zTt~eg%_mB#mU0!tQ4x;w<`>^b?`T{=k!-6`j$@R37Wbr@E#eW-&|7An&2_Xx+G)0NRpp)AGPlui> zkCKgmObr*T*|1Dq_j%U&-WlfM54=2Vmt<~wY)UM~;c`Crgbrni;kkp`*iJChw4|7t zdHeKkzO8{r{xPoX<;Akd3u%=}oS5I%0u=oR^)7kVTDwcyMP;|lLWw}-O9&@k|4iST z~KQ@MHC!BmKf})(n9s*k0A=g0LS7!LK-$ zEb_L5U^FY2<($nc6Ipu{dPE~JC9Ofe@;9LBss^;HzQrqwNR_!4sIcFP+^)CZ>aP>D z)Pd6th0-u6)@QjHnO>pYK&XEc6&Gz~j14xZ+?oPYk1e+D*;(65)@14yTCTAqwPP`W zZR_`2MP|lTzCz96@9z>Pv#5@A`F2k7&{TTRFoYGeLf;s|oQAT@C~wT_{oSEi<^x); z*p))^zMLLD@Il^KiZg+~_HP%9vl@guK5ebhsU;^Sny`LLo?W|=+2d<0-|7nnmv(;z zRz?TUI*++X3B)=1{XGbUzER;z0H|1iI7B~}p9|1TeU0o)2Y|{YadWOAoqb>ph)yoP z>e}5!XV*nqlZUP1L0v%xO>@efqS15b{JN!OFUPJM9J3~aw(_vMrgFCjQybAV)w*L8 zO6nn|2QD>fK=EZTmbr4{>!yr+R8o~J<}E7$j_jHLqVJ_Qw{uIP`h^!Qo7@{9SKsUh z-_R0zy?3S)Xupb;s^uC}FV4qW7+w6MoPUD$yhjBcv&_&xPzi*lIj^FAhH~1P4m@V} zPfO-6hsQYYRbB|tchq^eV``yE$KYXuErv^6V0B`e@*=+m8;jx!hA|*)-i_kL*G-FS z>Y#Z`ZBz!3iI~LLl1-?NoGn!VPO)3wT;tlnRjokI@NaD5TGR7K6F08*6&|KR`$jg2 z5sr==qI?gT;`5PNCK>p@e~iAMM`XNMAyJ>ipMoIzl_unA}cB_tSFU zx6eaIFKD!~`G)XHRr|puz`eY0{xyJyRO=fJtGK{=5;oiCi!SviM|f9grkctULamD0 zl?8jZxo=M2XFl)BwWn{@2M45luM^yaf5{7jSRzn7q3AMl{5ZtM|67%le3@<0jTVFn z)9cjSN}bpzSUiE)WLgY<0FHCT+HOz0lfdS%fdD_d+&_&bJtH9u-~sbL!;GCPyK5Dc zcSh9xotvxgh1uSW!Kgg!;cveM52(-;CjF}0kh$h4p5_K7kZAvpa;ple)|^8exC#_A zDyVkC+4a9LFmV%AXRlnx_Q82>Q0va0zmeub zpZizt^XLXPCIH8N)9RJXtxcSSoU);i!At%lgXa@zY&e9AAz#_SdzU~@D6U^0boc?n z$k1R1rAw3eIW8=iCXywvxbc-!qkJdyuRRidUfa|A+6K9fNxhWKE{b*s{_ZLj8<%hM zW?VtED8^-S?jI`W#V9(Q#@OU!D{6&~>^yVBvaAa>yMXw_0GO{Ox$37Vp!2#zJH@p# zMn>B&VM8=s=H}5yMVNfx3oPc}%>LFT&9q~}wY1*Be5~@>nQC`fd$Igq#&G|5X=Z9Kl?YUgsD<%VGIdcVImnCxM*VZntRbf)MgK zdbPPl0zmL@k_Oi8%?S4kt#B)jL@RiDERPS?MI(?Z39PYVa zQ`ja^_2bqqQ4cj(U_6`$vPw$pV74UN`j{XgkxxT)S3FkW*@jqS^Wr zmK#Sm;x9Hl2N%|l)n#j2Pn>F{=z>aHd$n%sSO97W)8CB&wR%@-WV7Bxar!bZ`GZQQ zJz6C?s6XFiOv!kb_#&f5=qTmd(&wg)F2s};?PY`+-Q+UOYGKwJuQJORY}*Z+HIXfk z$D<|Uci~cEb<50J=QubzqE32HO-pth6o(|gSW{{f;if;AmN;kJ9J8IiRb&``BL2+F zfdE3>`K$A9ooVMJ=JAU5wk)0t4U=_BLt1!e!&xGw;v_qCO7tvr<)j0UZfKf5$npD; z?&`Q)Qk47;a( zLbdb*eUthLGaIpWD!1?~z_|-iRMvz?p#qHV{x*Z9ZzWCJ+UT2weaNcSOo>!R_zSIV zwJYHwkhmnPLS%)~?wZfVf}vTU4!K?{;IigG-VZYGIlPpA9biA_p1LK!YP55H#uz>l za@`+T09xt6qpF4{;J8%NFgS(&jQwv zL==eag9&-3U<%iqcn;^}pjfD$pu~wkwy9`zyxc^ME3SX1=~mTdH_ZKwCC_D}q}N^H z8Cmtb)IfltS#;!4lde2z#d`zzaW3AZH)rQ5FdSGkArL2mm2xV2OHz)?CQ*U9s^cq> z7mEgTv}=q1RaFOHu6XXup~=9g*8@B?G=>Pb@8$HEIq2B>E{&-QYgEVkWrjj;qdmEn zU4B3KZ~HHLiyy4Y0b|W2&1KM9eGs`^kXOT~mQ$>&83(I{;*t*nhng*5kr_dn4Zcsu zs5W$=2OTd3x5B>$BA@_yK|^SVDK;Hi{enEwI%sG6_f4W$gk}F*8$~=@Nfbb>M&C23 zR;?HLC;uiwgq_!~R4EHIS>9lh8))FJ?u-8N{M6}8_4jdxgIbbKeBCpYhIsG4lzablyp8sk0AtO7R z&s^#O1QCt8=x#920#?oD?*vf(m1Y%sh2hp9$~h4I6-;+m!8EjXD_#}YPX&7L>q7Y% z!P^yr<|-LW3y(Eic$ISV^f>kVw<7p{IHyHRl8Qf1GHGcXH zWUaV!lEYX2iavxh-ZsnCcBj}PL>TG)Rq(!E zDp^1CtMZq2Ldg9tcx4@tYeIz36;?hH^r8#pQIm1VeDtVBw` z<-vGXQR>{-9v_YB9nABN%B^HE5?dcgfv=Gcvs}W|ESrg%Dz6B!V_#`Dlv!%b zatL;iKq%S`>wtytVK0QRjH>UHBq-{|{-ieLxBK~uKu?>OD&L+4GAx%g0{h+uX=tT+ zk>Ze;ZO9k2=LRt68ROr%_94&f?Y~v?fu{M6R!S^4y$qS6->NGp45x@_f*{E-JKEgf zx1+UkY?Rmy&R!ZNqr_TW>||51V((1udVm*?JLaXa;SDoibQkcvj>!{aX z#q3~_uHb)1%YG?*)Z#yU?x#*yRF~HF%Jj;~9Uu!9z z690o#)FUid%O7K(_Sv0Pd;R-&(hrt}{J3q+M!;U`6UM`&Tiy33Dq&%9Gu2j=lAxN? zFfL4-4Oo%Dx(WDO-h_GD{GDC@Zpa*+dkbQJa=uRbTmNQwWAvW>1zdGdp9-;uCmOXI zVjweWtDj8rBeqCAFCchFcZ>i^D#$Lm$u7(xF{(r9YK)!Ld{6s$(;k|>QNVM$d^e~N zAD2BDe#VR>GxMn5K0^`lMfioeJl>QsD<9k9Az{H1D@rGg8A&|I&yl9jPEqUCoczQZ zGh6v!oWR1nE>K;BkPy6G-3L+|lz$8v3%@ZfGel4$tas|74-jOw#2WjJgbe3{yJ*Nh zC11+vVw$~;0Y_OJABccl`%cpsW&!W-a-b0cAtR*^8`OU&nr*ij;zpW}(-7Nvw)jy6 zjgvIKV0jkp#vzHWhGw=5Uud?+a4T2L&33{Ojy@g1AEpR(-W{VzFNl`o2)ksJ|R zK^JAYD6W;&0oaqrov+$(?WxFQZbSJ+;gX}4@K~+5eIY<(#J0I6l{M<8vg8A!@HWi88y(Y}pO4?gpLv0jTWGyE z%Js)cA_&9Pkr#**d^8;5c;;v0W!rw(KU(?yz*xV2p8={z@#Xv~uv(MJ2e;(Z)Y)`w zbW%`r9CCCiSSP0B5`kB4ErWm8*lS|o`ZQvDgXzz02AZ4b9mRtRMH;G>TCKbq!ea96 zblf5I3yng>stdzFGSPHsS^BWhl?mHU-C7RnDIeYN?>lS%-M3|jiH7apUE_At1awt! zIM7KErUPJG?786j5d-zR^0zRS6o^S-@cr$Nj!K)U`9pK;AzaDPai2%lOZQL*l|-1a z$nxk%(NmRg_q!BHP8euVP26ktLqAMA;$xz&iAXm@5$UP&ozpm&m)YXdluOpZuVbC? zaRLuoL{i$*v9$R>)h$QQtZ{-?pu9X!C0tM2H35$)ifJ^7sbh58M&t3qq2`yQ9lvfP zTxvt42jGXD85FM;g$o$2GsPgk)6OY*jx)uZsHz|xMMeb?M61v?>>?vi3g|t!^EZ5T z8%`{dnQnpe8YHMr464_^EA8$Ta{j~G<-$WO6fOMlm~Ne^RMSSU7H)KW)9lfHIjn8a z0{9+qDK9QK>#0mX7-m07Y9&}!KWevTeqgcC&21c*6msBz|dbKLy^pUL>w`9kqJgX)C9Feo0asuYhs=p7e^6A55kImtP_*@pQ%* zE9XKvZ1I8<9IwTF!gLZSOW2%$;`x~y0RFIwrD<~waw+4?x3rvDCWj7FGNhQOvM|3? zK`SiJ&;gzhFcM`ZLhx3?)@cD|M=_d)zV6&wKm^9mVwPzpNkVNj#l-Q`3O*`6zYoA_ z(6P`zM#c<SLvR{*i{ErJNbJGXF`he36*-tY!Ek&h^400==g z;Yt${K_)H=G7yye!?rSF?!>7+9Y@sGJ$~W>>SslKATS_)+c{NRA0p_=&@`PlC4l=c zwl>375pv{)O*WZDMsVc14&mOr>@FdIwq?>$wo`+s5&@g+*=ub0a{(PRTM0tpyT(@~ z#!{5oC}x8mu;Nk#Hn=sYqQIHL1G-p)?B&9O|Kyu0m9w&puO~q)fwysOV{LLGX09`3 zy`gK<-^#XW@T~}loBG|tx<&qhXhYsENS7LfKj&9Ip%i`}M_&*qKv6{f%u`XeML~6% z#n@D4Q~P8!3^3QvON0caQ4FyAr5#bFUys0k2?Pgii$u$U(ey@ka4Xzt4~VNubvgY= z2GPJdrGmR(mkJ4UqyiH448Y9L2`nLQ&?s3vN-sFAN&=Qghie)(X1lG9m_bu@>fqWm zZ(%Ql-;`7X3Qb;qB{{{92CHIZ?qY6pAmH}z*zz*Rw4wlRbAZtzJe%+|u|k^;Kg=@= zmw&OwWdpWURvE$y+*YrI0WkU0MlF+5BM6R>@7^flWAS_t0+TxJw1Gu}{}_X|EC&R> z={NKnF1CYsXeXG__`3CwRmxU2!=I`}iT%)FaN&03dIaKbLQ_9LOhFTHAZ~V=3$igr z&_<)Jhu|a@J~W--ps6RJt^*HN&7o6mN=2BpQV04WBDR|2uHbx81Evtb?4af`s)xGA zU;7O=3ELd#K*uY@a?V(8WnTvxb8xiGj}dYjZBaHQgM-XLBU8Cqw%l0db{V)|!;@D` zLkO*Z=hVv(|D^{WhyU3DeQhl&O8XW!DnE8x`f-W0^2#yi^BNgvm49muW}fl>lIYW{ zA?VpeobUG8Z*uOv14yrK_ne?jA7MY(xR&$1bpFar%^`2Pv0-^-oXZ?TxOu`#D*=C+ zh@@6Hi_rAfGj83plBD(Vva8#FV&8W(NIuMqNf$V{x}yxXzRHns{5X&Y^3Qnm>YrHF zf}n{(<

;nm*GG(wh+|$YGhuQin?%Ad3&GXfwrVi!j}C0c3;Gr(fmCiwk$J6C8n!U=#;a`^6=O!`zrsWh&FB)Cir7FJqRD)|K{2rA3MYU!KrW2y4VQb$dCPd z`3s^Uz$n?l>caF!mMssJ*FKbFdlD`15P8qqP{?7o6`&II3zIyFop)OnW=Rwo;S~5O zFW#HVPcd%Ne|=*$Z&vY3j9& zwI`o!p(YGf^Cta)JBUv^g+z?A(lo0n$!2$_lT#q1!?HBWtXX%V8KzWDy&Pd`R!v5` zO#w98C&kTek0S|M%+%C#?i0AhT4BFcw3Q0yLEp=w6Aq@aMwU`=dK1W04CzG9Le`-) z!c^%QWMOdC*z{RV^O8{s2`0lRxTzj)e>sTDN z415UC0KJk7%Y(pFsk7ew6w7_BC*RDD#{s|t`@EoEI5nl#8tR<#O!}%2JMQTo;*p<;{?ThatTM-oMu=}@%sOld zzSFwD1>XU9*Ts~Qvjk~hB1Q`Mj{&_%i;Uh$7?+$KY^)qFt`gUj<`hv{oH0=*M}W!= zK`e`pFmpRMvDOu0hAX1rXZuRpoEU0%Q!!bfX<8x35Flgnv+U!efoHC#oH<`>kYQ!H z;ajBAb!>~l!euoOekn(MFi`Yfpz7bC-{%!ZdAJ0DCJ^afCd~K{DPcOUh%`E>bna|< zAZ`?q)m+h1FfYo14`*BM!yr@vegO5EJEV1O;H0KIVlt|Z{ft8Lrh%;xTNoPS$uy-~ zFhXB@gc?)m1$JuER4rC2W)odWc`nAyjT9@0_4Ikt&Tb?6ytkAHT_Yz42#CbahQ2(E zFR=-9V#8rZQ^@J02#aGjB>r8D%oU-By!-hVFAsZjl-5r}J)s{W3@q=SeSoeAln(ec zrQaS}vVr2tpnjY1_Mcay@My#Ek=B5u9{e zIj&Pbp~vSsUV}Xj_#j~>22>cDkcdC^Fhr2H-se(g5Yh!w zagYS0TnVV zUT|=jIP6OUVk-Ms9OYepxJSPx~B?R9$U7`VolP_hipfd6LuZfJVRh&aV|ks zl)Do$A@BM}m*mhAqomA(B0?Poh$uc-fE~PjtQ<0syuH@!Y5~Nc!@cW&Wxs zHRhi?m|Q<^Sf=f)kMx~W*_)K+QyKsdDx6XLRIftjJ7n9A!_(_3Af3Kvj%b5X&poln zL;PL-?Ii&Cd{RTj6njvQdd`H3G*SSVE=x zjCL&Xw(=tm48YBRmF*r#1>RPZ#KHs)iZmBKr ziolcmQ~SdF=NyEEFx_x1#3dObmpmNTgI^y7#d62hJAnOa;60My)N+wOLico;QJ(V? zfmDrWyAb=wtPEw%j)-|r*B#|-R`401uy&`I4Sb;;au}S@qaB!Ve$8>iopY1DCuD;f zaKw(3eleh!_nhVYHDYqs#_Cbe!1%c|i-BU%5G@BeD%p_%1D^xVNDxCftJAlwWl<|a zwC?NqYJhKKm2koC{zN2xs+Yb_g3=K%M?M2*E-s?fDrw*p?;$v5W@~W0*mInAMa`l( zM=LJp{Dwbw@eWp(&orM-YI}eCAbw9OEtCZPGqeiVMEcgIBAJH$%-h%xi88v1qKi{1 zncgm5%;1@qpN&Tbh$B&u{{Q>_5WxR)gNWyf;p58XaIXUsB(ps<|PIvG1TWdci!*zbSgGlBRyMM4J zb`WYzZVWY&fg+A3Mh~Q#Y8%25kzkiFuAI<^^aM#}OiTs}bGVF*xq_Qsr#2askuHvQ`Pp(I>t6 z4bj=D4)YGuNKXW_UL>Vf10glZh@kgTCb{V7PY|mc@)4(mbR+h+z&~xlF|L?UDw4vs z!3b=tqCeB^tgG-hwjAq~jr-3i5NZey%rj}?xtn**Wri)u^nm#aa8rwAHn=;OLIa`DTwT+;zKTe2|>I!76kz5oO+7zj4rDi?uflnQ5N{(+dzp zk%7wX(JKo0at8#zH_Le-^k+Ra(P!Yr4MWM;x)^bf$V;cbio|?L&B^+Kz%Qcnr(9u?!ke)n zzIKwMI1ePMdGzuv9IY+(syPU)sA^U_i^Z`9n^Gn%pj!Rs7}{hmZ$qKUM1>T)J@Gdc zXt|&id|ZURmEst3?|>UK2E58x=)*gX)}@l1ze z@?S0g4cD7%Cr>0c^@zeF@!&N}lxh2Lx)zwg3msA658~KwYXqm^FqKT{tXbL;rAGn{`Y@lV!$Un<|`D5w`+v) zY*rYhA4bOYk6wB(>oVk~$=~5=mKn;-?!@~T{p+g_WvbW872kGx6Z4Fc<79kMDK+jU z)(A&CU+aAFkw1y}VaoRuF47`&PfOB&>U(HKy4Xzp(V}v+x+d{o1|d9INYabGMr9a) zSEfVwSn6n+eZS3=9|w9d;>BO!2f2)^>dsuPf<5APz+nb+{gwnQ+WxL~CqQhNnR%$+ z+e#rc@nx*n6|#m(qlF7G3X=echUr__6%NkR&10^xMxKHut`|_d1R^=2h8z|}?UA1} z*H>HuznZ1csBZx*`;N!l($eeaIhQU|!Qi;NV4}I3{~*ItAAv{%Q1?IKHB)A4TtTw$ zZ!*pO4W)8V{(pwT%*NagrjNfL6;3axZW(Tfx=1j!r8?RV%$ysqX^aVn)UafqlA?vs zWBkBkTr>8A;3>dgKQI~j(ic|}%_y>K8YBD&~O^Vz+KmUy;2J1`ZY&20d3J7pd z2Fljzl_!P+AfJMwGKsUBQ^w#2nTs0@)l#MI$#Bcx!q7{_4P&ScdFF2*$VVh<`6TR9 zam|&%B!fhGQOganR`F&q4lCtj-b3QTxYTUi4%7F9_km`ZT?U$Hc%7uWB%rI(kr9r_0}N$X3+pE06aR@& zk%KB^d+<;~*mZMMj$yGF-`b1Tx!p7?jb{bS&mnK+pAl`^8^2?)cCja_Bc$&c?O-dM z(lTWH59l5-BbvY=e{7g#kVJx~qG-8F=M93XSp(TxZZRQE2UIiPH^qK;W+^_O8$@#w zSR8${O0~imX-FAzJL`{_*GG1&{pRT|ZkN|~Cr!!PeIW2dw`N;OTyaulq>9ef8v>J) zE;5Wb-iXOOV8OPUu;wvv-l|*K)J-e>3Z!&m05$uXW(8gRxVwL%cGCjyPSd^*jb#*2 z;{qRf?YcCx1?T^C)O8;6-tLlC)wd9XHw1c~Owe@|{auOAMtCUT1^Bv5I!6+MZqWjw ze$`aM4I!5p4Yd0iTk<+?leyA01JTb=yGzi-*X^IG$bkzF5=MDw_Qvm6)Y~AbaRIzE z^|}7^-TKp@1I4tzbNuZ3n?y*r2_N41od9NdmAQl=qs50ckqRPx{jCZLDAv40b&Z>W z%*}tMkku1q!=VzvN^nxS{i^Zvml|cTMUx{YrF%MPe3TbOvj?X;KNLNoBBoy(LNQoq zT^!_3_B-}#N`9^)OGvZ@$fWS|n{+IaZr1Fjzt#&qg>*l0-#^ATLGRKp%*P#00XHu= zmv3o0qc7x6cOkvMY?tnZHBV{`+ot(6zXv>pH+=~i`Q5O)&p1*Laya-#0v+53ce;X7 z!83STskv~1&S4~RyoB!_ZHS)&Yo#c-P7|fcS+GAZX@J#^&nPVJRoYa_BI0M=HwxN9 za28jh97w%<4c_jIEO5MJL0M&`1vo}DJ$OO2#nf{taxyc2e^G8AY+w+X-n35jd{BVs zE`4n+zS~f0hsv>1Arh_*eeJ8z(qWZ~=SOnndM@_afDt~8CUe{N(B+Aj<7Ni+gKJfh zUylaBdF!4gM=1U%KNK%)!%vFmSs?<6YZ&Pn7|7YxbPq!;X&sFp5t?1S0?x8n>-WZc zf=7&ds1W33S~IuNiA-A1_i$bD-$JJTWgmfC$>*rrnG$K%c7MnG75BiO?GnoF#w=8h z%oP}#TuR<`HUu+s0>Ti-JKC>zUX^X54 z&+=E>E-YMsO~ouwIvDOl8S=@Uh2`mPqr7f=;Bm>hxaiyBW<6Zk0q|$eNT9|1R;HxZ% zZYI;If%p1EHj!jf`0;9au@88A!ro!*ykjNR%Lz)@)hQwcu3fgG>x`reQ>VEV#Xb_! z+4^dSTvJ{IlP5b+0?TDpmoY>ynV>aRbJMyembC}*l+2h#caI?hB_m$wQhN@`JJk{c zq)h@GsM0L?p2X7m(A*632-3LN>}+U$Jc@4GI%^wf*{e~qn)@}(a4|)2qz08*N7QY( z7=p%6+$vwRj!33AyM2ju8eZFX$iP1HMt-*Fc@e>YJws~RBMo!+ z!T;Ajzo{FVFtQm;R}tZ^m{g!DvmAlY=-4_7^;Zaw)A-b`<_wQyNb#dcny&vbRch3M zPrD8%n7Lj#dolmPNNO*`4UGJE`_k&wfkHRg^gg~RL<8$A$o4?FO*&U-?5jNVZv3Og z^HESZ9M8)dU}g5FQXU(n7S`H~_T?&!P#o;R03^?c3Ehk>LwnbAWf;F#ENhi6IXwxHnBs!zx=&9H+T zoS2m0y(gnH3%npXb!70bo$%oc_v!5#C%_9|+}gFcdJWD;t;gGlV-rtRf>H?FC=wBd zAHV}#79WY@0;YHwD@x~vAI`glIHIgsSf?J_#}*aG%%1#HU753Wmb;L4 zbBIsTam?dkH9ND1Uu@56X_~dp1ZR>Js5GC!Q-EQIRL0w!D{fd}<@XMDB#xtSEk7w- z?;{%MQ{8VnDpX5tquw}!7xk8mb)6Lh0#JX;IQ{XOrx0P>mB6(*L(Wj(Hl-x&kFMsk zr>1g|OXC;FuGvC<95XNS*{)x0pR&<3jH);MZlfYqz`gxx0}C7tK#6-)a7DMpMM#>I zVDr({XQ)@8Y3L*Yv0vz;Z@43H*e8@@2qZ7(MR1z4q#Sas>B~umzTY)s`w0=FNdlP!$k$IeC@(l%tA3ioF1A@| z-c*nr7lY+mg zuNzx@z(J35!zDyG%XGhYcVHB`=*1Jdr(<{{h;HhtiMi|z0y$^N#92VQC;oJ0&9sb& z4e!c9t1M4m-DZrZqe%cHxw2?tr7Bb=IZo*vLa2S({PF?fmh^J_hQtk2GO|QNxgqx^ znKEJ^%Q0^6Q3gUqNLllKGr@! zi$y|Qb#=@VcPK`_jMHg!K^c`KY{^eLiB1=sJ>SlVYkaAEV_HZwC#9wGC_!TjX-MhB z79T9Ln=raR{q-f{7p*wkPyMtM)2&8XVua1Pa%&OWHIrjVE8V+sleE}oGWsPWXzt+l zbbI+)_Mt&toZ4MW_%D>=(%x3LKb$>);plHt&Z)e44dS)Esn_x~prCLze)CTe1Ys$s z*-}>+eL^Hr`8IFmXk)>*&i{q!ynd#~uA*F9a~mc#+T&lDal01^h+Tmwe)ZQ;r9%p~ zKK*^YoK>%yuLnu@=v8eeJZ_3~QNaCCv`Oq>x{afq4z(~>D`hNK_pl}kDt`cg&Q8=8 zLwq7itH&KJyTfyl! zx=bE1IqZ{-!`bkg3F{Y};JRxXS@l17}Jz$E75 zr`zd7`?4^T|MaGiO(!72SI(uyL2EucnsFK`krY$2l*BI1meffcrlp1a z^QX4Alrnq(RsQ%SeTW6>pnRMp$7awoQIsm?TF~9PaQK%UpGA;g6`lb5+fi0ToGX)B zFmXsS9+yJ8hARp&SxCM~ULMx%xY1aL5#qqDGmS%98RarK+t6a^xt0@U_zp_?+X-1+ zy?QVS8BfS`wly%(DYlHhDb2KyMaga6cmjSG`$;WdV+fz#U`F!t#2i-k=Lb%M?z#!} zh#X*$3ChylOk07)g94ziH19^>^}#n3^ZW4&rcD)cGcNf@!_;zU4lt|wy;T%-vnm=M zlazxIGiRXI%K!6TWrR0j|M%=Fyu3y9o#So=_E>&S}=s*JJSUf**+4AZCmW-PC z6G&ORO>ejeCxs)dUsO46C&q?bJ6Zk)6U`=<+f8QK*X|3dYwf7uyr(CAA9q{Nko}N& zm(Ro4)a6G?{a6lGGF#@-8~EO5ulun{#`!^qyN^S6{=&txqjRqC-lqL;8~>FT2tDR% z2EP5Tw{Z_d5TNVyys+`T!<2!165%7m0IUZRUv*l(1vm2rjo6!&f!kO(MoXzQL|A)( zo8$|>zL&DUHnf3yYFu3}K#l8_)T346^PAy9C<7rP0J$k|?zhh}uEho~O;r208gdSd z?p!|D$|U2>ssGqJx`YxERI8FboTdkXt2+rs65}WdfS-_L5O$l#pjS<=7sgIrfF)&` zjXiZRLXO}TeR;y;2tZUVfqXya9y(?(^b6PWhYW@}8NdZmuM=Dm(>=)H3hK4LDu5=F z4L`_03Q5Y;Q~%9}_J7&NKDaXIH%u5D;$)~V|avo?1l;O0BZ<|xgI0*JM6kCb?dmn_9O2c#%tLJ5^i91 zseq4y)5e3|KOK+di3j_ZjozWO!t*)g%*d&>`c6x!ECu?rM@b$ijrsP-P z=C_v+o6{`Y;Do8PTz}7xDZd;VlTs+IG4I@k^G6#t~kT_OUYr;;JPSu?n3_m~z~Ps2+`rKK;Gf>6S- zYaXS&k}QzZiEis?kf5-ef>%tuY9_Mj}Z+B z7siUSbqk+?438j43==x!>@}B;HNR4H?(Xl_`(wM#bnVy|zpMua>i=O!t=Kj{uT&tFcEy2VsII)=RVh^+LBp}iWY^A3W6P^O zc;iQ5Ny5hw0QP&-%*TtxvVX`2xFYYUKmM9bO#QbR)|r>jD;D1lWd4%h-GU)XuN$iFtp!iWc$}q%S#>}eC zV#)g>kTU#GX!%3G)aLD3_!L|8xpX&*^3`l01?bOM{)8@O-Tq(G;{SYzxkl!udLWoS zco;j_2X-46KD$F2mZoqbwD?bB9tsk;`UQ9`)=Xy!J<}#X*&Hs1vs*o(U&z z%gP}h%wKB!5t!jwah}H3iL8N9cZPg8|~?3qO7EJ z9<)~!-bNkgt8`Uq{$8Ckx7`~or!w$Y{;iySN1A+Or?BS0{2DCy%JkfE9g~FOT$J6< zqFN@d&kuptTo;NUt5?)?8;+<>)NZg}O{U_$2DTZY^0O5pEsdV(wK;PujLg!saSGQ0 z@E(dhx^QkT;*0)*8bH;JOm+)Vgn#eJxo-(#$pN=;6U1H_y@T3q8lGaV$R3dX_9*t| z3fj;`#@`fV-{8mf&?3Ng)`il;@_JtTm>dmToe7Mk(N?F{$FP9XQrw`G(XU68(s=u9aZV?|0X&+F& z?6Be-CD3VyuR^T^;IuO8K%yZdI4IXSWuE7i357HCORP5ok_KlW(50_cA~ex1cyMr{ z;oKUP4Of@T9*U9=krBP&{ow4e+|>&8AGWbc2q)toOS=N!oD#=hmt*;wtQ}c_+Ex06 zAESFj2QYX|FU00w*{~NZi4e_ZKT&%Bs?m2R0kC%*&@^B4etyLb&#&E2DXzm6%xLOr zxe0m@%i5s_Wpoi722aW4$ckw=o!Bku@-_9r43s{K*L}n{J1Q5?N@8G*=h^u}Ily9# z$D=MhaG>m?(+;Z*L-OgBG${h8b@x=%>DE;8$eeNFsi`Rbd8Z8XOwXD4R^oK1%ijEPci2!5GY?bJmjDI4RTCOc@p^@Y}Fx1l&(8q zChXkgJ9p%Fm35Oui4Q)NLQQY9 zBh$>LR4dn>wMCaxs$RHZI86n2)NdAeFC>P}Aq+ztW#cTlbzgRGUBP9a4kp5!}k(ZbajGpz5PQi z^?+5<+jN0)A{a5OIXBtSj=O@Xd|uCIeDN0101N+h z4y%7Q>MQ^Q!@d3DR>A9Xg27^#dXmcLYI){&6qfECSJ!~@zdbx z58w~Nf!v35JDhAIq4>S5DR+`*rZwz4LJkvVV0NK9PgcI@7>v8)E6Mz`91n#YLK@DF zUo1lc(cH~@6_XEO<+LwOJJ#%{fTa;ewUj3Eq+gi3I+iw86>I-n@jx8a<;0L=uu@Pi-r6?>*K+XROdHGMo{`HZb5c4`rO9-Mts*b}YK~>>1y-&YyVest{BoT&t4nOaKNgb25Z54Q5oO#Mc)qX~N z$4?S}hJb`;k#4OCl#0f(wa}KWEo9ApfH#0L9Z9Vn_=Epx?Ct7iQ+i>L=G}MU1MUiB z{!(zee40k-k-vI_N$9Pdq7=On^U!*6p5Yk{`A`%uwM*`DA)mFXiSC95RBcco{B zLQ%*$BjOk3<|>l6qB+0~T&$~Us-nQ?u2|u4g+um_`%(DMfo7gk7BRy&vpxRV@pk;Y z;Yf1O`t+?kWIB}Fy@v99y7mA31p2+hKv;+u1Fd09fmk0 zZ7oTA$VtvU$LFYD{*B#^I1$oWGPzfAR71u0ud*=F8BO}1)}>vx{CWlxaU$`gR#SbU z1J|>k8|Ja>94g=VzY@{6kK)F+suwE7f)n|kBjyc~q~P~jj@~ZM5qdEt0j_l4sq%Zw z@Js1|`_^e*?s3qTPqvAa0^ooZf@tTm=x(mSU7Lb2Z)?s!pYlERTs$w#9^o-?0R%g= z-xYaC$M4>To&On2VAlP0#tq~9X5?G>)kd0>6Zvee#SP<`6RIYkX0eF^tv-n^n?sg= zVM`IU7r2#icOQ&qjW}e1l{`B>P7?88THU8;YqT|9AU{&%UiD-<2N<*Br`Ht3xq7CD zH?s8h0H*_AeNVK$TQFr9^|_PBNl}Bc7g&hw}D3DU2!ki;jWfp7L-= zJ1Gn4{Brs({EVuF&pJ$SPYOoN=@ecY*mn-!t@8~MXxjkuFE}sxHoL7zUI=rhRDl<# zpNSrigGfi2_?;?}z!;h{&97jfA?IA57z87i1ds3Fyv7vA#v>duU$K4o-n)g`xwy8X z;^}n}wW=m7uohnA##;8CrnZW5L&w-pgZO5a^2;+z!DVCIZTM+1?9%iq^7#1@tgpiz z^^thMSN%Eg1NrnRz|4ATSF~m7@}GOa_4@_&OvLqN-4Q45d?AkxqPwQ73T6j{EP^M?S`;%h>j}Q^TeN4EYbL zvzEVtNOhRlTynfh1JS}7foJ1DK0oQu8{w5l8 zI0nf{e1R^kKq9uzd;)D2eQBfDx9WOJoRajM)9!X$VsN}k?;6*2LNZenBmNOWeaK_gq615n@N&n zJ|}kB(5DpjLm6_#~cgcOE_+1HA1-?^$nEp^zmXP<2c7^SHrL-R?Tn;UXQs=!KM*I}mJ#1O&6RF*5Uhtjw*40XLS?sp}TA~Zwy=kKZzpqE28KK$YV>M1+ zzM<_sc6n6i(}1rtk@P|_Y~9*GgKVRd6b8fTBaN@~7p*1ZpR4qICvWC>Z5~jN&Zmvq zz#vS5@10}@QOH4OQcBF#*)b}Fkx~gr#Vm)6dvb5D_FIo8CR*%vR-~;!F-SC@8XCSM z_{=d%<47c`Fd7%ljl9(Q%z=r*rk4Yum2D_tc>-FYY`^TiwUsve?w}^^#@-TQzeWqI zgOMF(Ktsg2ad1_S368rm%bt5H7$)uv2vdHig?#d9*NfyQ?(hpo@o{$lz4iBlRq}~2 z@YVzIZ(P{Ot-I~NF^CIvxvVaM%m4*@0a#=oS3K4qSRC(;aBng0&u0GDiFDUdOwt{ONJDx*z0M_!j($v@+U*?G-qMJLek&VHXpWhFA)U3t@ zu6gj*qy4XYXYQ{vv~YegKBqSqy!}P$h06IT>Kn|sffSn-#y-5I_Cn0#gcaG)Cb}Ps zp6UvQ#F65WPE{i{0X54cGsf8uK(|oq8kSC6kj~rFvO_cMuW*veFfHc;2ddiH#j0$y z$CopTcv=Q}9}$(f4TrJn@j_(w(jl!?gi-Y+ydy~=&_$j4jB_|cUXlekHSIEahrcs@ zExbgwG(v{jRS5JP`lk!v^)~0K+I+%cAa(xS+o8#e3)+A^4#s?uZFBGiu))Kq5cQLY zHVTxRp&-STn-f{H=@;#(>YtWq&qy(~2+dfcX8jSS?zEAs%BMvcOY`F1{@UJMpUUYk%@*hqU*KEX!Hv&kg4?WBEzL(Z_$*5PyHJbq;(}U${|GH zDL#@6K}*s*p9yrxA;M`U;4qWho$cMPz;vEFZGmF$Mu{%Oix>U69pkqpv9?RGSOjwmu{ukQ2S9>3F3 zMZMU6*fr{&dimV=lTGjk9yTux-yal$?I5Pd(H`~)O!@*?+F!uZh(+8|`w9o0 z*^2{c+;&5$mOuM(kanr@VZ3NuD?7jg?7tz2i7;SJ3Da0;A2Frz^|;esAsw!-wO2p{ zhTRbjIyz*DrkiMm=x*1in5-Si-F;n#cCPY?jbz(6x)LF}ICHPdq_;&2H?WN(L}@Dl zrvkT;_~KP=0wMtT(_Ncf1FltQW*ZaRX=j7T>>Ca)puEs<2WNPU?a+OeCo&d;Um}xW z77jSWmTXzDoFkf2wHAc?YqbYAZ0BMNia&E#Ao7R};0|^+8cU>jKF`hcUb08^M=P4m zRzNCRN0b1eL`wjm@ZGtKUv5r4v?%16N^Td%GGz!q7!R!gW?l#om%;C;Whhl+v_0t?3D0T|4aTys~CUpBbz`&$@Le__94ca zE}aISnYgZSz1Q7RMV}!xOIE!DNEmR(@X*QSoBvkn%|*ES=P z(N6ingb2VGKo>AoW5;(;cHyalhPfCmm}}fX8LUj2LvMEc4Al}WS~1<}aFZ|A^#F2K zX0wr&&d&{15ITr8|LE~7&k780FyWjdN@(>>K^jiMhuA50CmApen=WAXm! z&cJk44kYwCDcFk>g`oAf%yW^_kiIG+mXeyG)dvbm22f&fna^#Vag)>D48vh*KY_F# zEI023Hbb(f(cD=PJe}bf?+F~knnmFP?eduhul0AEwx<4cf4%OcT~hud9_xQ7WB)BN z>wn8-TG0P@?LT!j;J;^U{m(Yl{|?;x&*J~jK|VM9KS^ExCDQ@nuO!cx5UYYdvGxBk zm`Pe(L99~5AmIPZY=Ziap-pkw0yMywZQob4_CtDx%7mOK*w&PcQT4Th!P>F$v+#aTulhnBq0kjW(aaOW)>0_L8KFFmSYOB#V|h`Rc~Te+b~X>6yPZp@Abt$vt$h0y*_;FHl1Dq@ z>BNlQrNBiJ2VCg%+84zqc2mPa&Y7y~X)3J<=?(TB(+QavSu)Rdl3HslEkKz!6wi%_ ziUvJOj0vOh8py(;9yzHj6m2>^ z5nR}2ol_&&kjd`Gc%GR`)ngM?cj|v%JR54Neg0pALS(t*GX=rHz+#~Ob5O|t9s*Lw zDkKL9#0s_?UW|{ojAdeFiB)|AY@~d4iTMbYB|QHfNhj3dr0c(g@g0&$o@HP>DUnbN z9oKfNn8?5XA&J(5{4?4ghv8T1L-Qfks7O&=!5|VQXk`Si6{2K|+%U2~6lhX~3yg|K zEc2QuK_;pBu6V~|r8jZPbh0(wSxy?C)JS4{W)UJWti8iJ?OxOllX`x2IJJ&s(4}GV zg7hl-nT6V}`10$Lf`C$ST}#KKQSxV_g~N#z&gwuchG*nbMY4m7|8|D$G3^Tc&Hq~u^1DM{=fAu*&#**X zpJ<7Ziu33+WPkEb7Dxo}ImsR^{qSG01{(#Dr32~`p>Ni(X#^qO2>mQCdNNDQb^ezE zDQ!OCm#*z0Y7`DB{NAFv%1tiL(qUoenXb>j3f1PAu6PEjV=~=MP)5RWg>kMJW?C7AOTFKP{8>e8dMreGc!D~H9FI6H_LCxI zOOdRu&DOL*_ioCye?!)A9h0MDLO*N4)r3PwM$3d?>)PSW-)k-?1$p%m#*gV#3BtTs zBu$wG8uUZF_unr~8Q2-Hk!Fr}EGZ$~9nyS1(scC2fFxEr9rMJ&H%A*UUnPaIQrjjk zGc}C%(HLgEjRTV|(n!2zCg_kBh`F?VVnX)Sb?fsCqVxorzNzDQe>Vfu&ZlVNzbROS zi-X~V94gG`sP6}N2^F%`vhCtaMk!uh5b?a6XbGhItxI`1r8GsL?(7PkB{reu7WN zu%0>5b|Jeod+VOFjed&StDMLZHu)TePFUOx+hJTw{iJ@e!r3uKd4;GwYlGWMTlu4pI35B%y8@}9K-|z;GwX{hW?jQ@1XvklDT}rnX-0I#_b%I zH@o)>(3uB;h27ZmLQYqg^a)@t6wM`98Y@?dqV5^k+P!vI$5{0Zo($U_P zewh~9Owpms<*ghBFSVTH{zG+OX^2PG)-DwFy$*J|2D@MbJl(qOZ=N*Hv1%m5-bGg| z05w;kRr?n*+I%_21&o{O9OH1duwhhg3&OiRF#o6^f zK9FW;F8$3-3leVy^ZsSCk9Q2!m}Zep4|GL1qe!OMq-)tt+~=Q;jC@y&gBeG~ z%E|Wuf>3BK+H=-(7>CdIOD~))iU$e?089ilquT}@M zaZ^idC;9a)(^Pn#Ja9!j8najqiW2my6sufB_T-I;0L3ab#&RNUkn>Njl@{p*r2*Cz zQ$*`xPINP8%r7%PZpGZCF?=No#sR0Y389;Nq){sPaT-@P6J7Sleyp&Df6+5bQuY!( zN0q2}8Me@7gcTEB=!-Ekry`%lry^9mbyR3GEF}GZ(aOnM|FJIba~(3&XNmapqo)d= zrR6MCJoWw0Rd*Tf)Ed#Lb47wH7d5`{AG{OABcp>NIEL+tPvBzo7CUUvh-GP4TV8K; z536}2M&Uopq4+z|v z*fJ6x$ltWQPWg#l`{BI>o({%Uj+#g~#p<3OLFJ}E@TMx?BfGDJ*PJvkS=8aV3v22Q zcQ?T03@4LI@c4IzczDsLlmD;jpv+Alw(Mlpn`a&A>YLr&hXDGhj4tf^akDcG?^8rX zKvA%>(<9Z|@;bpQ(`%gk&ly$dP86@{E0%PWXJc41*d5HGp;pu(giRU_LVfQCdwNZ$ zHK9C!q@w<#y$u=;D;%2U+)gELA}a8le>JB)m<$SVll0EINv$J?CHNj#Me6n1&L(IP zuUON?{(g4$Xpi)_C`xhMMaaZ7O467xnm+t&jj`}%YSMz6wF{K&MfK9KUcbudtDUblyq~Qhd zs8bre>(N8-PRpqAcc>e;zxqapepdCLj87gw7t6ZSexN_17xg*Z!QCyful7G?J>~X3+GWi$&jNsM zWvHFtETr2bH~Dkfy#v-i$$uPw-n0A|Dk`je=I!@W8wx&hi|pFy<-3;N1K%rvz9^Vi zv%97{Tmkqa{tiJXXJIw-dD~@k5X#${tFw%~#Gu<*cG8*O7$MEDB^HXeWU2`SdvUa@ zP%2aQkXJU<>vY$jNs8)5_#K8Y(|G*vbWjT$#p5I0h|QQgm|GbnOlUJHb<}M{1wiZr&+$GwVWhIm5AFu(blziikKmNwII|?Bq%7{Rr*g>f zZ4XE;Z0}yW=4i0j{MG8nvJqyOgQQ6{8}(v120~1}9oH2=Gkcx)j0zt{N82vLUing( z##2_#u^99o>HG`nE<)9stCAOtmR}XJ59eh>rwQ6HC~WeXxv;~5usdx6T6>ZF6)a!~ z1R(U@Fe<}y6(fZhB?$?ArPF%#`m9Z3f3mGiDV>p~_bAHy^L0OjVmIHF((!L|YiOv~ z!O-r9&!Az@FxsSPfqOkCz%)yCTVMOy#mf%YN7~kgR5goP>e%7 zbbL?eH&Ohb6f6^zVI^qNa^liI>BKNpNn?{66)=cB>T_1aZ^e}Dn7bS&8ul_phISVS zUajGoDH`LqgI}Dcdz21uFhwM%+qM9+v^5m z4fQoqF2Ix+XDb`N_%*-`zb#%wNhxIlRcnJ$|_9x}$yWBok~ z=Jd4BkOW|c5LZlN$(9+)u*g)$Kp1+_P^NjJXs&DQzw-=yV!@M`VLLpL&_{U{qftAY zb};0c>8-E8`<~{jTOduU^SPVLy4Wet@AzD^%0zKeRZM;()lkB23vLv?$C;{baIz`l z$Cr=r98Q5{O0XqP3QDZpC8YH?Fg(QG^dnrwLcpvIRzHx{g<&hCtc0Xx4q3mc`|!)I zxWKJhivVgUIJ_X$TbjL~*h&C1npAvr1*Wjrwu6aX1TiYL>N%n-gVk*{awk^GKefsJ z^Umx5N6ssrF%{Hh*0AK^9%*SR1HUB10Qo?3WUT#%G3gn*YXBkb|9h zR{|!%IHx%LCVn9qI4MIe>kfl);_NKnY9JdNAr>ZC+An|PSYV2DWEfC9L+<0IEM^57 zDYGN_zqWG$&y{Qk!<%wGC}O zLi>NwwEJ3$_)f=q++)B26HitLrz(_YS`XZ6KEExbp`rhQEIvh-9gvq)*W47XXCU%d zfrJWgM*UFOB96RW1_YIu>cb=_!g1{r>a5^hI|Yl9qb|lXtC&$ce7F>${m)wISXs)iUFpc{u#-L)GnM(CR7sApue~-%RQ<;AXzu97m zVq-i}{q0*GozJygc26eEJo@J3P5Mf4Z4;^x4WVpRMIg~+yVqKq#&o0_p@Fvg7Hy04 z(diAM=2#||f}D6!Cj>uujltSRG>NMzR$WS7*mJV&k~xnJaXxYAXg}B*`A{kJak`^8 ziJ4#N@h4AhTgBoGu2HssuaM*oL`?=5isdsQHGL=&@wqT2BM8DMha&oGcO}kc)N9Um z23s;;JCq6{4uug%nF1OyIRR57l0FRw;)H4V6Piu(GbUbaFy6wv&gAEXlkymUjaCnrG2$DFibVIfbex7vJ$Xd> z2|I++hfjvo3ky6-6Q=g-A4V#Dj?RUC?IyYBfv%3d-;Y$^H&}Z>4fr`X=({E+36ACB z!-w!XVW2LIDamQZK0qZBf72)OyW3+~IiZa;^5u)Ppx=$x$dn8VT&YgDmTg& z-&Yd(Zyzj6;avkKh=soq64}QOmMmunesdi6E~GlwILZU9-#e%})&t}Te^QguP9Xl8 zb#qalnbb0nVlz(Vw9B6-Dw5quL2CdGNq^%Dj|MpuQ zflzzKW<7zL##(;fp|Dgzz15r@dyUWLiqWtgu`&gZhrKyqR7H7(McAl*sCL_4Fib=_ zgh0*Yb3fpw>_gwu`6sU0Kr2zT!SD-arCQM6)nWU9M8Y|6(vZF=Mt=58CvjXGGC8z! z`edAxUgO8=fA$EN^%O9+Q2xo_3~D*dB=`~itVsY?y?OxqG-WD8nQj8S0!qhDNHk|2LI9|7g4-?DN;4lam<7GH9OKEc|Eu6#E)}jaGn$1%DXuH(ft@n! zf(fX_sm6R95nyF#c`;in? z2}A+SX&h7v_uz7ggD-QJmnI2@N>_CIiMW(@gCzDAwD|4bTMV-Y#ghszL=VCpTXAw) z!>y8QSzjY}t3%|lEC%Y;_b62YVAIfQm}%UVII0`5`IbYe3dF7q6hec{<+kyrUTdmq zvN#EU&4A49K^aE67*Tp*xpB4)Bmqxwyl#MauOGhvem_X7(TwP;@1WrKwBnt>L2u7? z2lG*eZN!0Z4sK5kU!F}3r}M|0VAbcpetq!|S-TRVL^|<&+>KK1Bte`vyw?^PLHQBn z)|->3thM}AEctwm8pDcf;yhQ!GdJ>H#hQe1!iYPDQq!?)prmDL<~i*J2LnJJ6QGx+mx6iJv~pvVf?QY-t`` z5#Hm9fgqmUG}t%-&^Mz~uLiV?1z(>8B=eAC|H$G^KeeLkC_tGXEnE+XT(*ym@dnayKNdBFihv5Y4O-28D!K;SfI=g7;dA!RXxXuotV9nw1$=DQw=xDjppfh|C|WZp~#KQ9UI*T zfa`0D(lR36W5Lk6Hvb!ofX87o`mvvg|2%RU&mxqUHTK6bx^Aq&?nHRUDalhgJ`q7b zzP~;Rgx8Z&0SlNflOVvU5h;x$4o4D9-ATw0;ibxmiRY7{YBmCTzLVK%B7f#Xem7oS ztR1f|+>cimYsjmMb>!9CZOO~=8+LzfWV*R?vu^*soOoiw6Vwhy3`HrQRWsh zq(ySlim5a!lWpw=cgxXCO@DPB%$0_}9v#=?S?{bLg6Wvs7vJ_vUxoQyxOK5M+`4cd zZe6Sqw=UK?PH(prw{`G5Dm^V(#(eX)p!D5b)vTqJvGFpK)+vrvh05-V2x68`5Hm4? zmL>9j+1EUQ=MK!8hV*btaEdu*|J>*z#BlTx}~+Dt|8FQNV^8`E(J<_eskheCxvw zBge+xb1mZg^wZrQY=344kKA$d3*T~y_OoRdgRW0jET(uoY`}(VqQF~1K_i>hroRbw zk|lt*bYAZVgYsJpw}^eP_lQMS1nX3>5?D}{I*dZYt?)y`sy1|7*V(>k=6(;o+g*6s z1~*f87iC7I9u?9!Dq*gE8Es<9q zyq(Pml(hf##(&&yf2(8W%E%%wFRRpuO09rKt*6sBFSOO#$0#0=YDF1$EYwg1r9q$Q zXIx4tco%qxbaAJWF6dR#1>H(|7rYEYC?v&5x3i%mRWamcEsa}XGF9N)CX2;r#F z1ENf*qM|u<9M`hL{4AeH+j!baYVLQ&TrC%g{wbl*7A;GijK}@S1#A}e33Kuv- zC!Ak`aewl-y(qaN-O1prKzBx+7u4p(m3cv3UQn6nM3a}%Pgnj|fF4BKLmwwwwcYmxG8XOdDNgP@n%j($njznD_Kk9~K zu-^1XL}oQ1fU(H3q_%g~i$uHm&d&N0dd#;>0sDr!%r^v;w%g3B2b9TGF?(%k9p4^# z5mYpY_z_Pd4_XoSj*DQGAt>3p-m#J~ieI7AbMKSY(mOay$Te+VI+MPit2B;dzBo1$Ph}{oOZM}8Ppe#a9^AUO~hR{=Cgr0^7jVF+@l$XTwsTiJ5 z+r{&>O@CmSWJ`$YYu;m0b3?!0lq&w79e+5I(oe#1?%sU9f&B8Ntid5sy~f~~*`C41 za}ST3!V&pnkdE)3xu+Pw+qfHT{R!*K|7iQFbabg@5*b zX}Jd{C@v`q+rd{0&xSawy=yx`$&sVi1*SMS_FoQ!aZd`?WjIDo?mfm_3#6nJ&hKwc z>m!_NaaDB+Fnqi0m<4r#a7+r*l4DXac=_OV>Ykg9MDfIhwM_J8u(rsA+t zpKWFX?3HgOpr}0GJOjm7#u;6I7r;ERf<+RV_**R@6en)c`BNuc<n)EK8z82@K$f^SbcpgF|+`{FtrZ+9Qy=Bt2^xZLC14^R=DT# zfi0tIRTJR-8EO)78e{MPN`vx0yu4Gz>Q(ANV3Bq+sd)TI4qG^QTq%%N313&1|EwP% zJMrQv3$mT-5h0LexhF3lWDszf@TV#RxA#YYLFXfclt=%h@&*Eo{eOb89xG$rGubcg znC>1XKZcz>qod{}^CH3TR(lJ>|36_ha|0At#q-+M?xij4=N%C$xe6cgJXqFq)ZF1d;Xry zialb)?};}nc19Wb_ka1>s)ks$sv(@MYKUd48e;j2M!VUn05e!l^Kp;zHv++t8=H8h zXKifD+-AnqY<#P90nQ2~OvX?K6ne4+$tHY)Q|9!ySle4@QzkrEVVKvay@b_zbyC z&k{MsFT}a2bVG5R2T5V0HFofxz{=+>&M!$@xBGI5)xDZ*qH%*CrKt% z4vdZSd<9_t&4#Ygf(wMoUDyQF)%e1R7Dw76$u=0V5%(sn+>}Z{(v7a&RfR78e7X@xJKN<>n;tl7s09v{)@V{~&U8#*y>R}pX zVxxa{>`xlLkF6}U$F2JiLW=DPdvUY=&$k-PSZBHq-~0&e!Vg_#%h|`If zI(&LHA%EjYPsVJK*v*21kf5{ji4^xdDVT7*H6M@tLQeS>JBrfgxHI)I1q)(|SHu)7 zi78k-8J(R;#u zn-JgOc~k(i*Uel;+KP?O?l;qU34l?{lD<@fe1BWgR|9x(l3J#`%#~uxMM4)ZYYoEI z#(aVXRa8V^O~_WSBGUjwrgMNTYOpYxoCh7oEQ-0!i?2G*Yr)+4iX+;Cw|vf9_9NUFB9N|HSogd9%kZ`BpO!Wit4zy z?kRf$mLk=O(FCf5;t{=nVZH2TMsP!@IDZAV4^ric^AqZ@;WJ7FC%C|*pKvrB$aZ2l zWd_)ZH8tQXJ{98A@g`Cpt9ZEu0Q=EunpLARi5;(y&xZV|kfA*MdGIwN0YVv-I3V)a zR)zxYVt03r;CC6I1@)~&z(dX+V{K(vUQ)6hbgvQP#MYE0re8eRGk3*GUiS;$F@NPr z8K9vo_B(U$`oCxT9Q!xsG_!wl{f_^Rv-nH~WLjXzw!t90vVD9Re+aV(Ly6C1AA`=o z2BR7yAC(fm6aU!qPexF|R2c@~3;Ixscsm_*xz6S3WyU|Xyc{EmPOYcmf%>tYEX55{ z%d59>bu!W>A581xv*|%?=4dG~aeqIoFBeIHWj&&!{Pw6LvF@lN;pV6#vEHa7u}+qw zb~~eT^BvXkn!i`-?W9~`X5T${l&{LP;YGzcUM+Y{TJXflqE!oC4qi1y7;W0{z<`r! z#A6S%t!u8jvEiwW11i|?8bFm+ZFn$Iheo_hN2s=pcnzRcB_ke1k5|xVgMU6LW+)H- zd>fwZVrI%gS|JOb48UHF1y41^Xw8DxA=taL;I#_x#w~aaiFU6RJh>LU4D(1kMz(AX zRM^Z05_x4in=#7IJQ#^(9*l%D4@P2{2P3gq;Zf^$wypgjs~Cv%&0IBD!r{CuJU*8N zS)OeBSFL22xgRQ0b%UsUDSyFCFG@sHGl)XN)1yD@@=JtHGl_4W*!p$ zk>10F#|xH(uVLNEJ9roWrG#FWNFvLWu+QX?#kb!`-hP7RVLnuXwSPi#(*qP`CVS$n zj#l#2@w2R_qOy?XuOZC}+5ffnys_yHS7dD-w#->r>U<-2&N6d`(iwL-e&g3fyxt|^ zy{8i5%Jf!+$#}*%-^wr+voef@tqfx^E5lgq+8K9ZWdM6m^EZ$5yU2&jjL*W6gGtQ_0^clgix8kA@wU>8aB?^leV@9vgk3y@F|I0{=Ay@ zs*hc+K6X~u$}fCkh!s9DgbSY-Vueo(u?#Jv{lX`dj3wM3(tr0c+)8rd7RE{s1FW02FP)nzZ%k zL{A8d%46x+*D<+^3t}uOA5!9Znp`VaYOFF(C>ox3Y8Y83f2(~*wI6yuU?M2&rE!1t z=GR1b*Rs~9oY@O!(;}YnTi)$_o{8tjoWnCQjw~E?4xflIaj{@JTvFTic{%*Mg{X5i z`F90~4}XGxHxyp^%D=ni-<4Unkzf1Q5Uc%b2-p5KW{vn-#R?Z0?Uw|WlRzYWAN}{W zuI(*&0cx!uv~2}EzZp*y^u@~cqW)R~Lx$k>6=#$e?)9y=1694gs)4aJuW!Ab)bjdX zOoE_l$RW?|+d##~Ub%f$gM5LQqzVqa)wmQG^MBFAasksa%&}f&QE)Rw3D15w1WE77 z*I$4B&#%h{MyCak_)?xX#49S)nYRoZn41VfP6Imb(UriM!H578*d` zWXJ+|opVAK(0zLvg}@qETz<%c+V~?cWT6rM7Yk}pJ!C;3#Th~tB4O@WQ~xz~q0Drz zv40C8V2>D`VLP4Y+fL_Vw$r(=?Q|}d{W}-qkn{G9q)>{Wc@8OkBUi6>#MhjTQ>nWP z>z+7;U#jL`ed(QP{ya5SSpLNkD|^ONLy0y_0u3O?t4TlslYrW|E6pU(0Q#m(0w)@N zt|efYpp>VbH^Pb{?L1YoOhNVhRE96m&wm4V&)ZoxR*39XLx0uKk0hwy=d0-OOhn_R z?+XW}-ivAJ@V-!(;(Z5tI=}xLXO}H(1}hZc&Ao(yMb+5?r7sHI!@--5R%&*w#o?vp zr)Vd@hpzYx>Pb|rD-mVaJyOdcVq-)rd$X{B&wJbXOoi0XASrxCZTd3{D267IuMAjF zg~Yo?fTNV_@Q9OPeKdc}-^yOE35EiOwsP1A6OsLm`|Plw!CUPQg(}HA2)wt>Luh>U zhHfYuBKhMkiU3cCeW3C<%RWk7?x5G?Jc&|HQ;&FV$azr#KP`DM!1_zPJ1QWH599l* zbL);T&-Ry(#32waxJtj7{XInv+s$|z@Wy=19*K3S^-G=vSv`N2IkeF@I*3z4@``ND zm*vjWMab3!90e}OaKE4^ zm07=Dw0?S#TISxgY~+IHX=X)*a|>btMd3>)S$XyoS$f2`{hXOj-@t1L?w``HX5AO5 zSK+cMIVyYAE^x|KCeSI|J|GJFwzb6DG=of&FPu4(>^HNHIy z#(8>z{N&?g6T%UDO?ndtO!oowC^hj!j~ zSx3p=MOIQYN8Y46dGkX`Mm%k}Qfs1qaa5k3+?4nS(o_VwL-xD`w}OpZmTL z4Jz`Jl9ER`F+CR(YhqUh24{ds1ieJiwi?Qn5n+$A-`Nu@#GNACEPueQBHWcF?IXuz z*TpYnT}t2KmPt)v4Q^QxtCt7CT6jDldQscDWI8yCDG=!k_diPq_q)pnR}J(v?`C!I;x#cwT4Id+@ccY&C?iTg zN&mcZCw{1XVS1MTr53o?tg|*{2@fQACd6Uf9618Tj>9&(4RC#dh@T%`>qdH|NtxU_ka-{L@T5(DLj6%Bw6r(|Igj zCcafTD6=P&(SHXZQ>Sn^wDC1OCfXev9y8cbAU+m1q~-4kY+lO9%sMS&nTe`cWDz{QxPD1`fpXwXs)XrlK^ai}MAf)R z>b-pEERwh7>-jc+zNc4n_hzOd)6p(mGK2+{KobWE z6m6prkyx6b<)e31J@uvuLb5F*Q=g2i7-7abl_c>^lq-B*>*r{*DK!=QXlZQ-L=I)l zcB{Q7CC37*1Ql_q%$!>K8Vhu+h)-3%eQ0%|(y;qX*DEYXWNJm%;^XA$6=>%bA1y7l zYiToZ41aMlEHe4M0!L!40!PA~0!Lzv0!LyE<3=?a>lFm_Wm#mX-u3Yhjmw!WGzS!Q zHy7(mu%q+pQkhw@T+C9L<=d@ovdqI$>jQu05cFzli>Rq=3}EAY1dng@3frYbaY21jP9gWeWyj=I|80C^Jt) zGkqNSSTYG-W6l;n+wS0_uN82NiVfx(Jarz!JP@K$*n_J(^x#5Pk{=GSHo;+oSX0y^ zO<>iwpJTHbjA`wY6z)eIaPpxvWxd%2I>r$^+))jf&l(!k4Jn9V&K(wtsqq?#z#58Pa$2cWC$hQDJXPL&V30DR0u_ z8HKT->#{e;6O`%!X~F=L-+M}y#p}|5SqtY|ge8+zj-hd(Q_CUG5nxp^qlv^&8^vrl zc|*h77&8^2G(C;P=?Jed3lGYdfjme7nDG+&dLim4J)VO?U{MB8pUijX8SZI#i1*<{JHX`7ce>h0xM3LnoQ=Pkd$ z(AaA!qfBP()y{UZe>Xqnbdp(ap?}sil?m3w%c@r^%49NY0kJXo1c_Car0A8Ph37*ZwX|l!KeJPPdG;)gajmk*7Wwc*by^#n_#5Yet+b@L#mY- zBo@k?I5<%BJ2ulm)4jRUd=fBU$icA#9v}1YqP_q2n>*+v!KY%TaAxa=PSxdGIoOW1 zJ*>zQ7L#-$L`hS0DOnMY=T3*p&giDWt!&IELQjDXNB46~N`h>pC;=(hc!YQRH2rwp zU97{4q6!p`rq57#A^umz3xCP2CxyuQ1rAD9Od9%9`;W9FbWDPy3;W{Rv+uC!t*@^} zSFs{7+E;Y#`$M4pzT}tuY`!Qr*W?O{mu#UXEhG`s*_cD^JMLF2GwURpmDTG03Q+E_ z#~L!Ql(H-T+Xd}#<8D_?Zm{4XV9$3ou;X;Z z$*4={G!#aQ@(Tek3P@UKeBH62htdzwNDbNjhKFI4yc7fCtxYRTLe)-v{m0w!n$DS6 zLUdQzZ0{KDQSQWIGJi#mjplm@{D4azv$(^|{KvoAdz{-m1TK{@z%aFap%TOK#nR@f z{32E(u_9I@;UZQeu_9I@v04G6c8gdcHv6mc4NlbA2NUpg(_qlI_@u^ zi^gX5wZb&-(uXR3JC@dNv$$|{cz)pS==cp9yr`J0;>GH!k-(f!%bJ&lC9rj}}hy7U0bvtg? zVb3vl-8lDYXMZ08MgERnvFdT;Vm-3*JR#EN1UE{4EyKo7G|TOGaENc2d#cf{>?eCg zJikc1y9`mU0u`&&uB{9zHbwQd1jU4_5j`Y67}>E-oEgXpdc0)l0wrdUow8syST}8E z7h;6~Sz!+h$_dRG@4x+CTe)axLAyT10k*>^EapWEw|{!f(ul?ZL5H8nt@b@c)G!0o zHNM85X#YYyd+R>3FPPEo-yk4Szk~l8T9`J%ij+lJBIqAr&th-0ADByo;xAY@aTnoo zVjuil{EKVNw;=!$(}LKJ=+5a$z}~6ENChLvj4?H9gH@jB0UeLP=Jqvcl08h?kfuJ> zWM!xBLw`Vp)?J2No%){pnsF0cr7~lFLGb^xsN7HCJ25g04*M-PI)-WUAv@-|Y{;dH zQcXV?MtBb;lnYz|Jy;BLJ3G7m=(rv?x9$$xzy^yl8=!c)a`Q^JmefQIcQ`PTSmVeS@1uMmJgrjla{wSy(zMCXgSg}oW$L7x< zbAKaL5b}^CG^8|sFmyQWkA&=(yhS1O=d)aTsZhY@9433Xq*u)Wz0}LKX$5ZiehVKA z=(mR72rcwCc_(g6veotWj0Jd_SPgP-FUfXCZ}QLdUwe1U`X#Oo#K?pP6)#9YmYA*1 zU_vtA`^&*5P2tU1Nwa)O_Uh>#RhV_xg?}Y8xP}x~-jGmko&+{aQlAtAWvazW^JSOo z0_q<#(_ZlwjH@5<`Wbh0C!PtxB$ljdaBai#cpoYOlpn&?p#Bm8;dt!Y7u;k+Uvr;` zMn2g-`gUWlxK8xt3M==0*#}_h3kt0~F+&O9{S#fB7OqI+s{{|E?Hs`a0C{%3kAJ@A zQBtEKWw4=q#B#CAHwGwe$S$m#NA;~$Y@l9%adslObqllancPXwo0~gcQV>MG`0&C^ zpeP+B=q&!Hy_2b+=l~U-+WS=rr)FEbCZy;S0fcz^%yyYG2M zVregzd_UTI0;^0auiVXl)K0_H=+HIF%7h<$t_YPozyJBK|K6SS-K=kHn_ux7+tqEG ziQH(OY{E&Xe8t8bpA?VpD0xEJ5_tKdi$$_p*lqGUOV0&-VxNQsQBP&$Yt27AfB`D7 z5#J)|2{yPRROW_^TQ^|$aDUk29f;WvKpsz0diliG3{@Q#%QZn;uueTi!(7Kk;;>MW zG&5vJJPtf4p@N<4pxwK>DTb~{{6S#z5n6={IvZ3$DjXI`+|Zf3?hh) z|7F@O@b~XEe@mYIj3?h}E6;wyvxjIgaC}IZrUx5@#}-71;;hy$ z&wnc&nXTtXW~ao4^KsU?aAdYF7MZP!MKVjzoeWYa5M}Ls>SV{D7SG?Hyt@akLe7rQ0k5K&hF;VivCZV`suHr@9Ps*x4 z3kg33rL0R|wP7f$aeuFaz3)K529Z>Bk=7POU92z@##dpQ@&gpaFjp&xsC(-~DcW|T zE=HZ3nJ)t>(tp9qQ`n9UJ%o&F&Dws{@xScfqwDm2m&#Pvb$`m-dA$Jof4=;EtNO&b zOK&pHz4YiKkt=L67QOW77b2G)eO-hN} z&-V{^MF)kvE8s@gK_|)clxfYYv)fT-2RqaepUr(%{f2>qwGldK39_s%SF~P`7Aiqg zb}{dW$(}v@MSmd^PD)uUE5(m+7(=U$b-h`5fBbmxC6t*qp?%v2!4u^Yq>(S2!;T7G z*C>!)qa@~fE8=|__P7ZL|DCya{onh?I1?Nj%yz-aq?FPiwEuwS@%3R_`eL8tU+fdH zi+v(|u}_+a`=+A^5&xv^`ySdSMmAU0NU?beudyq`D1Tke1S^_l2B$(Lun;$#d>Q_@#6ZbZJ%(qvmHTmYE@Q z!N5t5c$NPOeWBnrG+CPTB7#bSb^3_Oqu5TbYkdsPR6u>Xw{(qtVgLMU09p1qy)jPv$3k zci3sne#u%I(j}u+^BAx7KmYaLN#g`sIKy8P_J4>lbZs~|aALPn4Z=UN(0~v;u@)0U z15pA`l?2nl89Ja6mP^%O#P2;njKt=^f+!U%iOUKTVfU7m?Zbq~LAUOsZE4}oeC-RL z1WWvJ={n?EJO24s;<>^}5apb3@1R^q4fIps1O3H& zfqz>H>ufO!!TDma;4OZHW6RI5@$!pKg}9fQI`bl}xB!0rhN%Hz`7;(E2AGMBhcJfd zcx8K-mKFVw)5R`^XBlqC{EAZ(v4T?*;d)b(M#@c1#FB(2Z5Nw5Av3ID*F1-;v8y7t zBQI?P(`Wk!GmGK;dIQD(mbSA*Hjw#7;D0XNLlC}Dl5jrgnH7eFsrS{>*rumZoJhOZ z>E(w5)y>pD(dTh4RwPrF?0JcB%4=oK^TLUK)uDNqH;?i`_yA zT^7@h>wd+A1~4Hmcw7o1P;G!`B)sCmaS`npYwJPu;*7QG;ed2wZ9NFLZ>&`nM1PWv zwGDu&Wn-;^fRb#iZRGlUHP)Ur*0L@O^{usq##%N}+)4{2H>e=O5>G3bO!KAi(yOj) zuFaME%1<2{YGZf_c_2bkyEar-DK&ERy1*0%$NtNK zNhv-B>oOeUZ2P)%>&Wk6ojIhxHLZ_uu7$h96cKp4?3h%VEF6=oGa>kCyC7sE>! z#;bH8D*M;RYF*ddW`9hz0-1__s{qK5Cscw#{Om!=2WvBt7i7`y(YvaidjByW`m-h_ zL}kFh?TU%TvBm?p+82>Z9l}&X)uso0u__Qz;k`^C!hh21K@lgfoF=6>aFZQk zl!Gg8%7bx5hrN7msyM9F=cd^Jdu68yC@RlR&p@$0KkWw?nN?SHD8@URacJUi?Z~Dr zYTGH(b@yPvjw?~_0aM|ED6oM_EEvUrkU_&P3r-9bK-<^!UO*<_yP!IVfZZXC!Y%X> zLfll6?afgJP=EglP3w4PJaPmSu(EKiXddzR#Io0R*a7C$6Gr*?%dt5p46>uVd}XiK zfC0|-1;`Rh%Tqb)4z4Q7i!y-w<;eeFT_`rX4mOb_j31&Q;X2k( z+TIbAXpzo(1sI4OQW7$LV0uBQMrh2Sg@1<$>nG5nu)Ll_Pk-Z`&e?C2G9L+5#-h?4R7cyJ&=Poc z9G)i!M<4M?AaTe}E+v zC7ncOF`Ec0`@o2nXYZrZD%-95Ohu}ac}bPW3ILg@eb?gS{sQ{YWr5Huh?5DPK=4s_l%uKtcDkVLIWqu3j#A~_z zpqV2ouL(1{JkC7aAAp1BcYnrr@;g8`o=u1MEy@C!Q15>_ojBJ}ry7qAg-Pt4zWl>J z+GkWa>f>FQ5Y{NpAE2g_%9tEcq17-H7s7K{Ofj0?*gxyAv3ds4mO&FrYzlz}+sz|n zsIJ{8WRwKKNgH_;AYl40jz!gf$36IMb&PNO(Br+{6+H7c+Pb%U z8bXWXRjqvB_*vD*g_`#w2lnySyZAH4 z%5YTb+hP64hZl`}GT{|^CuanC@uW`@JQG51YVrszQawK`g@E;b;&l+%BIwzKpF~xG zQg7XA?-GNvVhganung(RFUc`{dRFZBYu?z+CulBuBHGprsH8$ifV!nPNxWtzq_C1; ziLsy7i?wBekE|sj7-WCYrxTXcgb(c%T}5eOLZ3`>r3rW@A{@~7MdbSmio{_?dcF?Al5etHC^CKNiS=M}w^$Hzx35V8Ub#JhFd0ugmY?s0+4m)Wv%^ z>Vi!ib-|WhdPi*>5#%wyK$BdqZZ}7Ce|^5m4P#|kB`zBMR>VKklf^$j&wfGIx=9DG z7EP&T#k)#k*A*~Roq$mgSmT~^Il-c}HXVzw0`C@Z!4^EZZNv4ZG4FZPhmF4T{+#uq zQ5#0x!v>)uo)CX8-kXYW$+DxtB6cDn~pYbf0Y6 zQK_Bb2(viLj3lAo93_~%bT0XsR=rQ7sz8M5NX6r99G8DWt~Ktnw@#vCwj_a}MM#2! zDZvn4kGIJ^H7kwPJYD6&T3U(2NL~ApCD7lv&ps9Ap857c4vnP2I3BWUkTA{x^CoY# zAMhj&K3N~OT#9`-JU)Uzxc6MTon5^2PxPtnIwca!Bo#_vF0dEPOch5cI?}??u?9D< zz-X^oky?MOcA755z%d9dr`jJ%O2T@+B%Gq;^Kz{&ED7sklCUnuTl7vOVcUnvS4;E~ zHh;&~*wjL;Ag=tAO8FDQSEHyc&w@}asG<{<1)Dh%b>gzLe8fOrqKgO>@tt=ELC9w7W+>$<09i_7m0K0b4>#dj7@iUv}H|Jlxp3jKtR zj9PzElA6w|l%UXMFs76acF?uA+8>X{`NyyC%U&l&{&ixAT_=X{bz+EJCt@YZU_I?$ zCm|v?f05MN4%jdphgcXDD_BpbNUsm~%nE^}KaacH`fqs<$5M4H4@|U;@I$f^7sQR$YiaJ#V`zT@QWa}GCeKXK-jOd(8JYs;{*N~CsLZ;t zEt7XLR)YOKp;jT!K808BRBQZf@BrHgb!~}_v7&48z5G1zt!xC22Jl~bK9Sm2b zQ!@|9&;L zLFhrg>UY(!exUkYjh!b|4T^fGRi1u#zNq6got;pVf{%{sx>Nl33IJP zMY}!7EMgo^0m$Sid=-vbimo@!7gB$wVnWJPSV)<2AqBTkwJIeYMF_K|UC1uk@jo^3 zQr=GBBHlyp{;QNw1;1)=uISX8!jR@UR|V6c6wZ~OcQzGEJDUn;olV7(&Zc64^3zUI z&i3weG7P2}6qL6YUZx`yV8qh8#J^(2It1o8&p1o$EYt}F3XljUxaAZe85n_~;YvWs=RspN#%W=RBR_pxBHaJbT? zX$AI^9lT`74TZOl@XQ9CI*Lz($X^m@d;vCLt+`i+-~}k=SWd{t3NT>%IO&cD$Ql3I zBeC|t8t*WNwV&D02cO}`ky*yVpZzQc!Kt$#2WYu5X8#A!H3S~}&ia4)N}o~5^9N2< z$F`F1L+VO>00jhpx?nGcQI(TqNv<$O7r#)rLovoLPQf0th0H;LfK)1e@GSihZ5 z&&)H*U*YU_a&GyHaqfSxv)gILTK|MRH4`oGZ}0EPKiuDEjwbJ6#vf{bo;;|$)-8Gh^c*?Y`pB8&T5<9B({qIWp zT_^cz6%(op*n;Hs07U*4{Yll@f;4 z*R0+On6FN!yc&yXxKkdEU%8)GdoXCY4thNRD5qSj2QOKT+-m`@Yzm!v$GJ#w{Z5fT ztcr*#F{s9@YGA8%5lf~k3fUw?gq7?}$J5>`>~l26#O(*XoFoaJUGF1S^A(QlIh6p; zRrBQ&9rLwCE8BnTll;6ecqSs=()Yy+G>WB$!TVxWr8-FtJ2GI;WcMWIeLXy=mDj=1JdwpYeuAe47VF=^x$AF5{IacN>5` zO@GRo;oxD(YW;1-LuNYE_y3ylY!yv=*p;U4@fqqK3sQggSe&}Yg48`0r0#JS)J-|A zPX#-ue=dQ>Z1p{ER1T@I;?=VwK_LYST%=k&A5n>D$W}b033AXcdVvh zih!h5qHG;H4HcGZ96EGicUSp@33Lqj?7?L8GjR;ITq48a@aTiQor zmiCdbrG0;-HxWEM60-q}+BLv~pWXBU>}18X*~X=jc6QWU5%J>ruHLZH^q-^d^`B2# zs*6M>2&_Cy;)3=InW7l9WH?)&v|d0($z|skI+c4=jg(P^l2DB;SqsZ_mKHr5+&NUY zZE7Q|>SY(ZVD>7&_|Ips8wwPz)=T(D<{K!+WJ!PYb+!_pVrP1f0@)aq<(>*xi`?wO zkhhj&k4;@JbxYdE%8|1MqL72&IBsAD!o@O_gdE-xDjfG)eyZ`#Zq=&Tt9j1Al$1N? zusL2|4jMaqrbLR)*$Di_s!*I1iM{v(pEPKVXcDo*o|8CASgf;`hu@H)uF=Ei%}V=z z_`-kUV78R60{FCT+%XSM=VP1HL4qnvkx>^=D>E>A0Vk%$sc_O!TW%~(5qKu{_H|{| zC2aYaQO{N3n16V5++=U#%RN0n1F0N(f#b$Lhae*@p4en{8+1#<&b~z?^nDj2G~?Qdqr5K@nd%l_87jg{rEae zmLiF%XheIaBS1-X)B1Q5t&I2Z*xDaqI_>?p-)j)6{n~RwyywO&zx&)wtoz(dxcl7f zz6qDrOsvh%tlg$`3Hn34ZJfEbvm+6gRV{B7Z1wZaX>r5G7y0U)di72X#ycg?dnA9x z(khG16_~tq=MgMG3NvrY>UGlUEKh3d1H@wY#buno#L|*2pL}EPx+agl4R>A3=iHdP zuE}$5#a-9(K{w?+YVw>z?@_PLxgkeUqvy;WMLjxag?vJFA(e173==rAyg;v@sSO%= z)}5M8BW8yU#n5K>0hR!30(%uUm#2RKT4*jWr*T1=If(zS=JLxkm*;1A%)~N0X2KaB zGqGAqGcix&tix1}qc6L8_F1=*Qgxf~IW*2U4O{S{PNhfBN#W1cu> zs$rmLKAyNn6bDXG*=g1;2%589NC-8S9!b;kVK-*KkP!WPJZmgT(USvj%8-8{A>y@< z2QI93;DskcvZ$$;CFA%83?O0Iqb-uEW!7j>Rn3;5i^IE;$ftb)l=3A{46&V44fXW( zTwOIEsb4kCvYKXom9m*wk+PX^jk1|oiL#kkg|b<@1 z6!``d0*Qm%o{=%j;gWx4NNDw}Psvf8qek}Amy>SROHyMY+%ATAd>1=nP@u!iV(vL1 ztH&sl--h{ zgJYpLCx$O85)h9f2y@hM7U!dDDZUuyY012n0Hfai^zGeG^gq!QthsEAW5QcM|8n=! z&%YesDR$o+K@hv7MWJ`RQu2Uz^e~-01l)v+m!qujqM748r9;JU~{HCmBHNWx5Oswz7Ot|gHOswn3OsoR^ ztlgd?F`R$J{^ZSz1=aV%$greU6@F;mL<#?D-a3hX5McgG^2ypBe9Ff%-`j6q{8BHP z{)=O6JlAm#nO#9|=os$v68$Y1&u<=Cv+t%)kI5;y=O;({R*~F}(svF*bw*=yeBwtb zgkcsuD$%6A*LZ*;PKxdagbS!5tnBrgV1qJt-)Mg;7rPIJc{N&eM%u$6&@2;#9PP*m zsboWZ_}pdch7WAt+SvPB?HziP!*rk+`Y{<2T*~%}Km-v8h>mMRD_rgkenrmA%VzM{ zX<q=ukye)lMFVAYEc{8%rM4>#$BZ7*6i=6wuvl5`ij^P>K*c$gE)G#oT>1C{_DSSwxq3;(+aXk zTx^Vw0GmK$zm|?Uoa9@^CSsPciLhmCB4!zzh>`Apq$A51q**wYglZG@HuUR_?;boW zv8ims?wRA)J>14T>kHs)vh0HmlN8uL zm_zY@)QuS82i&=4=oh!7_C9GBI~oi&tg(<$iW-YT4Eu5T&BYcZeF`+@j>8u>&ez^DS?NvL1o5u!bBh{H_Rf5k9C z9`Q)!OpM=J5px>_XqKt05NnW}Qm8Uy*6M+ZW~Og}|C+IvP;F*$&h zLFCrG*e03v42~lp9%T0N*hs!tl$B$zqpgg;7O%a?hJolZKx7|tf#I)DJQX;MF)VF= z+?wSZw`O9-t(mZKYbIvgnu)QLSx3e#ndJcM?Wsx@XR(1u#3~g#o7A&hBYsQXDsl8u zLx-%fkgzNJNnxB0b;)*t(3~zQ6$q{ClS>Xe~piDFw4r z2(?>NussMZGIri6oW9|5Y*ux)%RlaaD*C3NY||2)PSs6S^8gFV17_%&C%AW3>-_6W zq1IVenVRP-Q*$w8YA&oy&Bc_dxfs37J5r{oI!iTfld8iKq6O-0iZzA&jFSA4{SyQ= z{AZ!>AG=cI1prj`^A~-dXl)v}eC_ZLTzTLY4WI>X?yBq73&J$g++s-;jwX(OJN3>j z!(8~Aqy#5I|jjCv-ZOt+EqabDq1cq^V?@Zz`FJ znM$U@rjn_csbnffR@3%PCA$^H2U`Yh)!2+aF1VdW_h3Y^%)M#ZEV?1F{&SzwgQAnI zt~d{lhXV8C7Y)t65=K7CAj6aNu4;eKV`T5euabU1Ekm&A9%`Y4Q~0m@-KB4_iXHGXmADSuM5fBQ1H6BF^Jknr zSwI`>3g^Ps#1*pwh*(EC{$^N6iGNXM9l6DNOM&xGn*QBCOw(%JNBDh|{(VP(zsdOh z0KaF9m4D#al-s>@b81j03`^kTs5=vC7KQ;gO&ojagP4 z`j5Cuw*Ov>j1IfET4VzG7cGB%oZ%6$DXp)s^wHJbo4Cp7#Q2bw3m%DnqVS!}jLdKXArBw8lKpN{$-1g~J7|(8e1bkw?ZgIAW`w_pfs@B9+LP8L?C5QuH!lH^`tpyz;c%iF zD*;dYY6XHlMg_(3y&uQiTtHA0r=045boqxoPhN1H9`c7Q-XS#vu~lRij_nbY8rp_Z zyeAl`*!NU^U{AJ&lGlIi%skWX>{wUz**%S7iftpUh|ceG6;b*~M6I0Piz=e@3z4uK z`nm{3z7=RC4Xw6bcPR@&KM^>Dt*tgix~`w-SxXCLXX#?x+S{&n(q zU=r8BOHNyqDHQ-IR8F-D37#aDvakJ<{*0`lr0e8$noA#T>|}rWkH-Tp&6@Rm)|{e` z^Ndy(X3e@7Yu3dmR_}~8vrDsi+O4-E5rZH&UK%p7l^CjMl=dzKaTKd-K8hVree9_0 z1HErLzpvesOrqIkoFjf*)iKiU@h0i7v*YDHytot+?>!Cq71vzkfE8e}#jm_&@7-_k z(;d8|lIT%%Z)AVA(qM1%UKhc}Jv?q$MaPrY&U6jnw)Q|bbzWi(G}f-SI~K2q>Rs%K z19w^2vMuaGeRQGI@tY82OS|#k0va&|G_l!u=|U_h&Q4^-VhNg9A~ZsR#1=n37d_EL z^KX9KiKP@>WhX7cqNSHfmC5yCr*TL-7-bK+eA8&SuM&TYFW)pea1$SfJ)?Qsz!0-N z0zANCM)U}%0D4x}()Ec3i@1hADRGDPh^QJot81DBOP%0=jDuxD)LS^+JRCT2tUmg1JmH2<=wRIazf#+^9lbP?W^n<^ z9U}e@n>T-x{n-=TFhsQos~%n;*arqhCI}y}8a<}Au?Zc;+Pr8!*_)mj#855X1s>2J zKV(ruthE|~5HiZKWjH(qNTjC6Mn~mK&NfeaSQ-|W1|MkV8e*|BcUCLhDFf_u65<6f z`kn7=mk)>aCo$qkeJ((U)xJ$H`0j04_1ef+uMK}O_1X|tuMIKv+7J^djrP@RPe!ZL znj5K9{Wh}=QoJgzNI{}w)L2G9A0_Z5Tn;Vh&f@r^L`9c63qfxX70r3s14PhxdJq?} zGfKPI&i){*iKq#Q#!9=i0Ew&`FFgW9Qx#QZLITR|ghf+Pv}YCkdjf!liVjN$0Iw@t z2LONd3|Q^KWpNe1B9(v+IW}xK1<&Qv!Qv_lD4dm?oD*Dz9{f+4(46OBso2DI;MmWhADhjKuJG)QOft|5(DZnpalp?dR7Us>|Za zile^iOH25(&ghSU4gQbF4D; z5)Px-%L?x=V;Ygb1aPP&Cx{99@d-q9)i(7}aZXX=#ycgK`ea_SpDqqhZwP)B^x=$? z45afD4*4EeBRSv4gTMUaZq~$7V<8#ZOnA!YO6N*d>e~fFbM_UhtGp>I~ z1Vf94m6i{`DZ`4)!*9T-qTJyx;-YZJXHU7xA&9iyUf#Qll(Nw2nL}gL(CO}>*FBB- z;Fb-5E-(j@^&bu4B%TnXBuG*UR_BCp+6HTl{(LS7F_VxPRMJa(1Tb|Zr#yg#BGW6x z8a5eMU(98hjI%6_8J6RQ?8M`IJMn*5%uYNOwiAz=C@4cm5yI(l>*iz15qz?QJGXh` zalPGCDlsB%%q^d!a%x9xqGnC0F$F8ulo~UXuL@1E>^*_aOBtEfuaPlwxvV0A?Kd}` zK+&FZ>mxw%K&4n8el$NV(G1J~v>o;*)qgC)(;!gqx_t00(xPVfz)SbQI!)KC+73%e z0AxtHD#0Lr_BKlZa)`KDL(PAqcU3+0rZHc>RVmv5k*;3ClcUV7i%D~M8S>;zt`@@U zmGd1uq9WR8AM;_@L#Jk(VB@+i01=GnxR&WJj zr~~4XV+W#$;?@VVCc4i^N;dlc^Mumvb2A4_IY}Lc>KVB z5~PvHRmH;(b1`kp+_GPVPo1x#&cSC5A$sf9l>y30q(vW@ZiZESl5Z8Ch*`xa!dCG~BUbT=*kwKGz$)&zhhVvN z%~c%Q&0P4>w^LA64D5fzxIeLY*($NK6~zbJj~61LSGenu^7N74lyxrFlyxrLlyxrF zlyxrF2xs1YQ`V?9!7{2%&^$r3vaRDyB)*gCYKb_2+pPL17p8TZjc@3>EGQ8X)@tEP zB}oYlzGz3Mc~97FZRM{F7sJ|7Cl-0Es7M7+u82jQf1tBWRP}$uPPQ=0YF~t9Ys{5q zav-wSMSFUtLDaSg1)>#MoAj^b=%p?X)^O_XY;(Nx9C((`foEbIcqYt&XJQ<9CPtvM z);X}fBIb5UgUwe*H{9T#`2{~_Y2NsV9dT+zh0w!Ge<5M5r$oxn-xm&yxNH!IATW#U>26b!LODIq-j&9nJx(V49)>R^Qz0C9S#H zOLB9wmvh0whnVzTZcKh zt;3ww)?rSo_CGh@)g@Apcz0(C*vQFV7V2aT^ca5_ra}iEE2pv0ddL9p5hvN{!q`9< z4*nbxB%4!jyHepe&TozBG6ojEy|L=12i*39IM=TvZVTv{&WF_eExza}qg8fM^Xld#= zX4NZXw#P`TSkySat2&>FJK&-0qRCf6h71GSJGFlDJr+fT9y`0zR7^wk%Yj*>H_%C? zTuU|1kZnBM>C{$<*n#Vh-~Ur^Ue`=?mt23)@+m*ZDwR0-0rsB-zqst4ByLoBIiFf@ zU?0gaHh)P16i;1Y6~y4TF;qA&sNO}H6U)NZa%K4Xr?t8p>Pm++$uZ&<*}^t}a^@@wtzdq^vnKy>^|c#SacQkI$FC;K6Cqt2(h zzNOuq*3xcHZfQ5CwX~bl>TJ)=x3nvs?)WxjQLgx;!sD%dX`PPuUEsy`O7jVqFL^xQ zJh1w@8IX{($cb05vI4YNd@V^beX z3Jy)Jy|oMzUzsaYAMMRGl`~CyRc=j*p7sdRRQyFLL4FF zH^_M`(@KNhgMj082Y&9{j8x#@u4FDC1qBK<*v2E7Pl=Fu8lGC;C3MgI1Td;BExjo6 zb{yMtwjLHvgdQv|pPcM6E4mm;?O3D-6@!J{E6xAFH&W?_fGvMwdr<(`%Z&LnjyLUW z1jlw9sThi`)uL;$>jRWp7)HL1f6?0hu5!Zd>TXWHRCs;sOKs0-rMBnfQrq(jn%9?B zQ+qz32=%nD*LUSQi>0I9^E-lq+Nuj@>*Km!=t@UQHPrr5yDtX7TfWbOTa5Nkfm*}1 zY&st%ZO(0wk|2LHW3IJ+_Jez_(ZY$638vN$f$TQ`S6MD+1_fvOsA!nbRs7XgQlHZ* zsn5xk)aSHH>T_D5?Ya3%>O%YlepLu|;6B&BnDNR#I@|w5@^9E`$1DGY+~Y^7kL-J$ z{E5#(_4T-yZe4MjGt;rn6FcR*mMiv!hja5zTJ$Wrl;?lEV)ojCFS?@@>I<;XX$9El zVLB^P=7)VR9_#fGcKv=d=R>+Qa+#fbQGkY zm+zAikUxXRW<@~-B98xakl%i!JgB(MM#Y9a`DFoP04^U3^@Gt8UVr)i$9MKkg*D2U z^BKPus`Qod@aZkiZl}?KtZFNZ5hDQF4p$5s(62aGS$Gu32DPPB*BlQ^-m`T8rG@3g)Txff1&X?dZZ>AWzxm zuZ*0~6&VL2sUWy#of1fjDFT(wh7@24w3eOG%EoZg1-gIwM%AFqUt%{ZJMmvS zw+x$AF%S^j%?qf!l$Jfudo|%FS(W)nnOZfomn%%9rfM<^om>u;Q%WSWjD5^q0TL$Nut{{5qalAs>Z7 zDP23?1|c{0eL^+-teR=voyqm})!{puXP8`J9Uh@MlWFxiaZ3AeCO`1sxXxn3 zsjP2R0^D{Foqu?8)Be=<2qe!Iy>+9!%j(!t)i$E@392vV3E$C<1G$_hJVHA`w1S>E zr9GUW8`}@I>dV|3SWf%-l4~pZq4xqq=(QpC9pJ9r9g26#Xg~-D$t4pogrN&PBpgC{ z*Y6F2P+#H}zN1}WzKAS* zM>`JWGP3Xp?F7*Z*x;1*aDu=$vA7OGz7!4TNBf%E51H`BjYV_pu_^Yglhk236z`LP zJx|gOGvI3jSC0qYeI`lIF;1gNc^xmmf^co5{>!eyw|HYF zMS+T;1AluRY<;AX-1uBQt=Re2NBCC!0XlBdkSu-1ww88m%hoKIUWiqhHeA*9<%qH? zXC&KBr)SIxHjGdfV{%qs76`thUCQLbK=6oy7L_mz?a*s4vr~P&>uXVIU`c@Hg?(9% zR}|5W+OMfl-~y3U$l0bgn0rz|dTiW%-&T#gSby=3R;7oS?7?=BOf{o|sHtL=s357& zYssL0nK=!lEYI_%bhU0!(}Yb--NLq582OZ~UAh|iB9^pBn?)@Q=NnC74O9ja8gHJsFAtZc&;eH2o)L;1?lF) z(SOTeZIjxUbE;;yTfs{t1NR|=Je~w> zAR|obX5aPU9N3?PMZtOJ@alPziPF`$TOLyCq}Y_sDs+8mIrxsI50i__!6P(R7_H72 zPRX>c?D|?0x(%%95Hq@aZH;{^E~aw22Y)SALp=2WS!G7YR9q==tnt)(5xKXZYJH_X z_>Oj|k!$tABeZ*vR<#YMw1<08S6=t9)jZ~PKjw8m=5^PN*Er1Nyao^NJs>ZWY* zzJWtixoAD4?MQON`_E(?x#5N>uP`@UBjwHHh8rZkhTL!kE9D#`uAiH>EB#jZnhw;?%ick zT&cNs^sfor)3@%b8idGYYlWk2V1Hz*{30NuAYkdM{ls?rY(3opL*$a49X4R<(BUPo z3&12TJQ5aiRF@_>N)CBCGLaNBh|lrQ%AYpDl!+m&LH8j`RgaB0L`E6GMhskNijCmb z(oO=9@NO9~{h|`rA}BX3HYaoew>`} zDQS!0m?k*L{jt&;U987NZhv)1BK72!_#xp*)rn*=O>}i2BK1U1phL$;byNe#L-v1& zYx5x={E*=U7PF6U z|MrhJGt2|^cuTcxFpRe}O?{Pk%g6oSg9Fw6g%NN9a3}tDea*s@8-G#(Ko_~a#Oe$w z4kTp%+PaXb2>2W$afBa&aLqOOhinelEWT#|PPq><UT1hRReux5A(kJWm@hvZaM5DN{7IRk75ea&f@IW)RG=ecOA8 z+-Lz$S>U_z*l*X);@NiN%PhN(DSlfVQ$E^hw}t5aDDCq-He$HIjwi8M}5!~u%fM2F1eq<;y#gK4f*i1zVwCDG`SD@IU1 zdpIn|b;HyuBuB%tg3W&vEUQ!d#+UZp<`K+SNyL;}Kno(gUm_Raz6G~-asl)4xTFE! zKNg6nmPy%IOZYCMGw9dd;r|WIwI;;oS`&J6t;tM{+nCsiXJWqRRLgv6^?_yYITQ-zxSdwGENYeZ(f9tdOJ_tW|`?0-TijC5{ z_+IHTEZx7si@g|W(scp$IFTcP&JOKKmiZvCagyzcLJ&z$f?OfKI(ZNI5?a)b{KC%mVeg$ z!Gu6W(%?*wf$Ff!Gv#aiv@Z*JvI2S}Y*V2HkC@;0E+YHDtd0}3pRhP&lL6VnGFD;^ z9Lb)@42@B6_7wm%L0sn88(@L}`{G9E{gAg9#$H=9JL*iHW8j|J`i$z2r05m2*54qJAv7D?%|SMZh9%ygGz_UHmvtxdr7ccsPjW6q1rmMplJk5SAb3D_smw$Y3$SI|t zr7C3M3Hi#xz|X`o+$H0$Pgc-*_Qg3?P4CqD1qj@I>y=b=37GNhRn>m4m{g)R=XyF; zkrd0S`f0OAp=MPRzw_+79^|y{sF(tQGKCQfC$XA1yW1NYeb$65Bq4H2XARxDcjByZ zGZz-oz2H=xBf8?~V<&m2MU#-s9DnsziJh1y=KI2!l zoLoI=2uM{2uqsF*{;hUqmruSCoTv%a)aZd)LpD8jut^=cnV@F{|EsR5hQpTp5ieHY zdV=pl*KDqwwqtwF)Bn8QxOj)*BV|lk`)Z8EU3Qh8zRsA@L-qZ;Xom$4>X0`Y{fI zLx|_-D6QqXYSp2}z}Ans8{`B_38n?svXCHVDivyyJ@UMV200df!+#`^*PD=QIoGZS zwgnbMMhFB%LZQ>lsr9Y6+_1Xd+3AHb97x#_PzmhVQGi4-6;Oik7dHrB;e%xPc0#N3 z9$@Y8b#{5AH5{`JmOzZ|LCnjBAm$}8hP>K~bjX;% zLhTnq5C;p%eH% zplfiL=+wf7$0~LTR#Fv)fZ)rCT$gy0wG8f|V==SWNt{Ovf`5(J;KJxG>#rJQ{S{Hx zU(sd#6;aj`yUD|pOw0N^9pR<{>zK8udgove%OcQaM^v{w>AJjXes~=Kpti!^#qaX3 zuN?0#@M3;jw2mi#R~)Yuh$^zmW46Y^1puaNdr$7SHSbazaJ@P$bvJC=HUq%=yW2v+ zCLVrsrIXSY)qlP^EtMYDwJfy>n8WCcU3?Ndj#O;Qg3a?tJ6~X4y~kD zmTRn$^xTLuL;4avRikJr3jBQwmgJhkN3EwfUSP-1G*Y@`L~EpU@haRmrIQQX6s1cl ztVT+gm4SUzJFm(NqWCcH*Ik?%YW#1JjwFxVNxCDjYJb%3e5HeIxeY~@(GCt#c3P0B z5KgKa>^Q!<_9M7_S!)dOuPBDiEgWRY zEmaE^UVkp*i&e+4YRH!2t8$d$gaWTm4w%+>)##S}F-!CWX$x+{gb>!&cjGj+X$Y2e z@Y^U6#ee#3ln_GkHo^z{#(YM;yK1i1queo2xp2W>y;`x5Ef)}BU*P)7H{s4tz2Ls? zmyo{QanPNgW`jP8JBqm5RmlEaV($ZAeOkr=?0?IHQaaP}1+hZwU{~2xKI=z?q-CER z=dDh!_i!e|2#qqWgpDor7qHw4To64$W!44IN1DGQZ42WizMM>45 ze0iWawC`Bh(oQXXc`NLrAs>;r4Qhx8YkzdMVaUZQr(y9tcE(86hXvp}8sLc>7=TA; z7%AG_hEp;e8xSqG7orD<2DH?$74>N>!R*kh>U{9&IY0^P9o^NLqIF>epT)I37Cs?O z+P=o7PrW)cAgjvH<(SvpGWom`>8K4U)#DJ1C;0-D3fxgz4f3Ij{#LZ`!HHT=`G1Li zrWvAg@I3XZ#og#w3iIR~wZA-aw1uN}=^UeDsp$S!SU0PU<&(9Z=2J|bB{?RK{H+tjsq%XW48~VHva|zB(O@|kmI}jGwAQuOcDT}5uVm~D z)@j`jO&U)clit`)9E8@>v(q#1c7IJy&*)%ed`bU2){%2jUmokQg=FD~G$H6D?IsH^ zjzk3rHpZ3@wf?WFn1$?=TLwReEW&~Y_`_=v)%fu771=*r@-&d#*Sj{Yh$EoyI#|1L zEPcz@L41q3EHHMi9eF5EqpXQP%&$$EcPUhAV#s0TVB)&rf;>w!*)^*|@Yaw`+_^+5T7 zb%m_bAWnxZhuRvs&DEP*YUx=p#Y}bd?XfAwr3C9Q4?nyHPsZ$hmWV%mR%vuDbIx)4DXm+#N)j z0Dnx;1hB;#<<;2}15pW)@_tc(QGdW6!evA7 zFze-QL*d`r-E890U_dCdG7LOExHZv zee0TW;&-C`S${{`r!TgI=fUUy$lEKMH&$wtuU}cIi{NJ~?<)EHE>9XI>Wn2^?oZ(mzCuE%7B0Wf0jLjaC;?^ty{ZMbkt#r#`t z&nf-FoqrN9+$nJzPxpM`RyB_udKiqXiIgG6|6O~*QeS5w*%mlv$#xwya_d4qJx^fp z%2p!>)I0C`7SjD*Ws>5J;Ms#+ma>^wC6O51Kbo}T9#Y&Sz%3_%v`FuvC`A63D7*!C zjRkj&5SrSeB_room5?0+v%Z(NNgQw{1)mZ3+kXcCuikq{!dZ1~gA^R2ox=mlbu}Z|IPrIGrj32;?IA$w~npvr8p}3{@q zEq{b;h)fHIz=R=Uma_^Ckzo@ls>125x({Q-GzXL!BYHWYz#thX2ZmgWV-s-dueMi} zn*vE7P=t?HpCPk!*g}k(rF|p94Hi{CI1E5xfV6Joz7VU62CKN#$hyVEy`Wpg7euT0 zg1GN5%v#04Hq=q9K>sqpzGBX8P@OBw!hh=kD!Hq*7XhqLx<9&1wLH{UtN82Ad8C!o z>phtYiotC5IwJ!YP>+MC_X2`a?|cL6IeY`kP`rbz35(gzZ7R608P_G5#b7K^Q_PLE zsgYx3loTk3$}30?xrb@kq6fRk$AK?G7H>m+rAo)g%nl-J42;bO%7J4rQO;sNwtro} zkZ6T9|7R*p_m%6mKwd38nKcZvA}@gI%-n(ViF%zq4pj1F)RH`YV+dGz<+>HSJf^= z#JMypYkM$Xx4%{+nM^FRLe!2|wpO302JxCbFi65SzqhN9oz?rpW;B1;jO-7a(fnaE znp0%97k?PCX6rj#`LkU=R&SRLT-K-O;Hv%&8+|XtKcThvqSb*7$$w4oqeZFt(64Qe zHKTA_n`b}I|2huj+~FTM^EhZ5z>0&~S??6sCbvK5Oy6!Qzqt*(rEb!g>nq;l@b#7c z^NNi&{LGA|mWNqN?ri->I`+l8f@s(~5oKUBcfTY!SBz@ASc8%+S83Q3d9NwBZI}Td zf=A8(nBoz00Pngnuz#TKTCCB(fK|W}T!(B`oBQc;FbUL-Bj6D%#U_ zagbS^5vzjAxTTMa$bT=3m(yN}{IN=Q^m3bxF6f(_P;Q*%*47t@TdgstW{mZ}JK8bz zxSAOaS2H8yYGyQC&5Q=EnC$~svvebP_rmqLq7kyC+#xH>JyUPm7_O^D^@8*lesoqJ zg*QkkOvYNtj7MMeK8j9?pM!_!1f-Gpl=&zj#^yIF9I{3m>wjh6Ls%!SHzB)ogKeh_ zG}1H&PqMR@s=hwNj8-0EMy?JqqZNmk(UN0lW=lg9H^6<_X>TJ4fT!W$TNI*^llS+)*Wzx5BCn^7$tCV_ZIExgLsFSG&yFJ@wxZI&Dv2!%F&`JP=SrhEL#e$ZSzK8aD+V@bMM0b0 z-I>xcaM=X112&?qt`4O z)agc=*oX8@&E?=Wk(Zg_Il__pr57k~B1ju*6K#|v_@;{`3*@qz}Mzt~5z zBeb7eurChV0A^f0jCA0ldgZ{;t?BMywOuKsBB`>|n8cLIPGiQmVX$4@wj=Ar?+A<6 zGO|dp)G=~5bRl8+>c%5vm6pfTqA>IjYvagl8!(d;4)&wZZ%0TT#HP2of-Sl_^%$nM zvVR0O^~BB+m5zkg%DjT=X)XPL*qj#Zl_R0JGCNT{#S`oBm`FY^DARDOQdD(GrD0tPSOWsrMl_^F^*ikd3Rg41_$6jSZh0WZb3eG z_K0wS&Mg6WXMXUL?gOm1UhFy#jyG%+`+rN>D|3P!^}3JY`W23&jFO!(4KM344KHb! zhL>ba!%G^b;U�`f?w>n=s%PjU6Wmo9exz16I{Bm8ZYkn$DoHWF_^VN`uTcFR0&( z%ph8BvJfauJC~YQd|6*L;*wT1;*wl7;*wT1;*wTM;Bp^TBSc;n7xy7&k8+7JYy(MM z6O)kOJ|ub3JXK{U0$Y%a(se;>dyo_wTFz!`aq7tcH}r~e0%$dD17ef%;3R)LJ9J?d z>J>sG%gTcPd?8k05!3-14a3RVlW+b{ofSxaRn~J|?~MO%?Tq#4+4PNX5+1^Lh?ZSG z5CjB&fp%_N$yvm3ku5Xn#Zheo0aY$I*<}TNLSGfjadW?l7^Bz%ufNa4L0X4Ya{b=r z@4aSL$d+!%txC2;jM%|C*SddSKD+KUvHoc1NEC?|obxgjVvx zubM|{R)wGe-zp5Y{<5pS1+TR#9?^1h_ByM*i$1mVwV`X8=jU}NK+BmP6x7FNkusq9 z8(_I?xkj`}xrG`sL=bDmj+o{5Wt|+^BQK`Vf}TH?T;=K1%*N4;GonW1?w1pRL$K>*MnZ(_2HI-pE>kVHsvz=R9@kxm! zKrL(>Bd*J=RZrR)0a2QE$dITp^I_w(lB~hmr$I=k~!Xr5EIXp#e8;ZD>t>|1;9pJ=CFTzmkS#(`t2~0yjB!!L;i^L znqu99ZnHUEGdtRbMZ!n19W$5@N;*9CfIP7f(1znev#7{p_ua$s^>Iu1juu-dM=s$J zS~#BO#K$Qa_Zmh^M?)xn*h)SbmL& zWbF)O1blyOz|GZXa}5CE6)3G>cMOg5ZP#2S1U*si6#FJ-p;Q_jcWrytCUCjz!Aja# z5nNt8LZjqY_Dq)zVUjc8hlAZc3dZ~b0)<~NFd@+SHX)1PYR8-N2#C#(K|x}Sg6Q7{ zmLH_|JEuOvgW!5y!flKF7@76q+t)|KhCTsnvS5EUD$FEk0gIKm0h!Ny7 zqGRc7FS_8324|6xm2?Gior8Ai1fkD%5N_JAV^e_3!21?80!Rm5jW4rO;a$3S?vgM4 z#czM7mEX&2WWgC!^Ssc@O;N6_;O~KGea#2_!5s@DH}HRLUPI^b`&5mQfe-eN^z{&C zCU1Kc=TVvL8?f+qVc>8T+LH1LJttAB9cYVznB{IFllD(>(59t)$1=eo!bWy&qaqMc(1T$lT6wbp1@PxM9L$e4I!?ef$Sf@Ub!_7}7y z`wLo*{l$Q!^yyV!M{W-%S+}&a*#tKNz`PJ|qt$&fgm$wTIC@*xQsoJ5d?tCM^Ap0W zSV@}3$+u2}6RzyR+KV$$+rjC3r_3hGk+suG#_QPey%&8ZZqiNBX(&Beh{1pQ!nGI& z3#?!_5IDfPD*G8^_OyH$_Q!?kJf~6SXb%KWu19<~_?Gm7*-i4`yd+8X$O5i0ypfaX z?JV!68@`)iaior_BkT)tKj*K|6eljsj4dQ)+v#4B2yyYtWFtA-Fa%(wR4{WOb2k>5 z+XAc#FAP}(^$g+6=ZA8*n7e;w0(uLc&eX;2I--XPmSOVv?!xjiT;=v`CxdgsEUvM& zoj{)RQMQ}pG26GjhsZ@7D%UcrMqab{HdqE;uzIkT0iQV7%(r|YpdE^zWMvM8S2YN^ zVc-L%1>VoXwfMvJBX`NN35it~)|z5p+pk_(=na?#|8xB%Uol%^#e;uqcp;w;m?8ji zPoo2fl#P%LA_Xrh-@~F}Is636Y0LTLEz3X-)T*;ojGn)UoP;eh9Wb9`&_(ySY}?W4 zRauH3c7$%6HNbe!h%nwWI*j*>2;)5?Vw=wP0pqq~mAEU(%x0!acdPMPaKjX?#u;H>S zv-U`Te&WB+SwxX=?SlLjsgNrM&FAEFPf#b8rFZey2)8%^Wzc^X78UCIn0j^ZdP~O+ zmq)`jrMA^jrWvxW`sd?T=tAXWT=}CkL9R=3WVIi@J#Dw@CPKrhEc_#pa4W1fkyprV zuP|6{9T&7|+X;h+i>6IdDmQwFVz%y-Jq&q+c?D;8I^w(BWLleLp4TWrS@X^EEr$QS zEsrJ@T3|WXH}QXKZo!~xgrKYce!`F3&$1#}^0wPHTVvV)6Q2@c;!`?Id`g6gPl-Xm z=>TwbcPD9TYos{1MZ`9C2$(1J8r6_BsRxYnJ@U%uH`J{SzS9Q(uiDpgIeS|Bsu76W zwBUBjmaycfsMqF!k`-R3>G9qWJI7jT#b$=%goF`YEXkkWB& z5eO5y44DvR$b=|ECPrllm*}4tYx^@>Tzj_jd2t`~To1EIx@pe*b^cN&shd zrqD=uuB?A5VsT4P_FKju50NsHev;*)L9$#BCCdd}vRn`)%LP%gTp0C)axO2fT~X&{ z;mgKT(Sob&d@|ijPmXMP2PR^mWk)xR6Q6H>h9@$rf~G^lMiFj#>iXOicqV)8T*Dzx z+7Ux{I<%6OZiH+;waC+$beu-+3u)SjxwyV8lazmII4~i(?S=@IvtB}F(qQsTh$hd3 zZt_fsCeMUu@=VN{JRnq@z~{F1mMsE*!NO37(KBRK$0$oW+aIE6Q9(oK++z1!*vW1(kntfvv{D%BF^S17N~xQfDs3x7eh zh7&E^wgBTI|1B8Fh=P#h+wUyB~k{T0jUb~yJvuJ7JZkOkq z9n#z;J*nF;f(&`eU7UAN6Kfa7m(UV=lMbONMT!C!gwTr^5#&-ty7VSJTso0nq#6{I zqI9nyM1$A}@=1`Q5J3ki5_*vuN|0+H`NF4u1NYt8IrHwG`904$`~I=Bv%8ERAv!1B zM9QriI)&5db*+0XH%@x_vX4#VJe=rX`WZ6ECO%xB;EnmNEN~0O3PY$n=J;HRI_Kz0 zu!X_k`8LVYb8TF7F8aX3uROGePCH~Nji*EmlC~b8%6svlz!Q}cuRdtZ6*Sj8oHOk% z|AT@{W_XG0bJsze=6TqqtpLJh+sVKa?bUz7=YkuEU<*tY$%*z_rZHw{QAqXagHEl* z$zbEu*;f?ShxOH)raWb$)XIF_Xxl_KAwzI3NzPcsk{+(I*R?HpI2!lY?+}H=UMX z#cYZ<;Ztu=$vi^V4wrO|m^JDzRMp{{r2qWP*fo!VekI@dkUr4?Cy6^Ig=aS!e2?o! z$|JL}kwKiE{?4lHiPUx7;+*>7DD)|3=D-jm<#gUyf!yAZgMt5Fa_dJ-;j-H zeUD2gwApxs5ah9%8$~0fQ5RSHVSkL53V6+IB_TJoSyjLqtm=___QI*vg}24>LRS$c zsdcv9HFH+&Hv~oOYqCdKT+!iTtm1O7`YIP*?L8+tduQi^i^BW`&Pvu!P2-Rlf+dQ05a-2IaV3Ub;q06ZmWzG7o(pPIVyox&H}C6QvMm_ z(8{^2iZ5vQux&-&sI$2W<%RQN)t{G>ZY{GJNNgm#VwU8qet>HR`fN7sWUUQd;Z}Z; ztwKD^wJH>h-Z_82VdMeM&vTAZRa_|)HzXO zm?^yOiR>|IiMIW5!5S0=!*|w1Pbv6263o=AA;#Z1Zd5sEDiseY3%Ei2z>glkH}K(| zOj0Vhplxs?WwXDXnEiMrW@!(s9D1XWV@eNS)Q3%#3pGO|+VH&!8AY z6jM+dAQZ2Z#PjVP`mV$3^aU@JU~9nF5{QJ;xae-0OCa$Zw@WM{Uwp9AY-e%pKjqIM zWw4;+*}*LPB9Wy(nRg6&-puobO2i3*gs<>_969e-+GS;|Jz#GvG!+JA8PyIsQ#X+H z?z7fJiFUCs2hx}D8cGLE_wg(*)z5M7DE8^T?jBcR)e$L!6?7PxF6*-|yOKP7<<>XJ zbiRYSD-Ehjxy)fwv$vxX9hT9A;g#}j2KF6kUUa#sX*dc`6giTG!WTg)AP@L4b_<`G0G>VY3-9N zU*uh0SY}lycx*(J3=wMl2;WX4MA?Tv_kcLf?k%hp_QKQuGIhPc+%jd_BK>IyQO;*l z82tzXIxVrwV_>Q(+%ePHK@Z<+R;n+2A9-rw>|kjbUS=Ro?2q0pOA(71b8<;e*~L}M zMqdp3#5ED*+JewLBv3q7Baq8Ot%|F3Fl{794(DScsiCHVdm+ZLRGVQc_fc!ixY%bn z`dWA+hT4|yGFElZ86+0E|Fk|a(&MDp9U=P*%h?^?3u3Ugp7|JhV6F@dXw}mj3}gWX z5mLZhJYZDi>rn@A*M>c&{pQIyZa{Vv9NSG zmBoXi;`ARZY90w`LfH1VIal4>&o?%oQFC*nvsMr^DYz@PYo9GZ;(i)PL;eibYbFGxDkX!qcL3RQ~Hoe{Q^U zhz>4h#NCg)N#D2vox~y!q9|m0WCHnMJfE6ci=`1VHuU1rg#A52tT#4}M427`qMtxr z#*)_Szi%Y&6DMe&K0MLLo|NeRs3bDpBoJBiPX8bA%)LfzEiotjM9Is7>;NZ@$vl^< zYmECv7v;>)JMPr(8OD1Uy1m`BcikriiH1~BV>f3g6bfQKi1GAr$b$?F~-`O!8os=^Ea45|RY1{@vE^Z*dyjX?MZ z`$i~72VMU+GjB%()Ww4ONRnaxE#prT0UfZQT%{!xj_KPTd+n?8>(SPj{dL%hf^&!)C);*)Prp% znO}~NL5~{?V?#lAPDvd0=&0E7qD;ChDI&pD1v5q zd8t$;gXC_X$LyaiD&`6bN6s}xkP9%i@JbWK4v(eJ^O6iYcg};0FPcOpL zO$Zk`aR*K6&3>ndU&6$Sgj)|YzkCm6-Z|7m@kbb~x{Q&kMsri9pQ>r|0en^-2Ij)< znOY5=a>$b`q31Ca{hXf7DHXx2gCwihhZdldYv2IJJ{IEjJm|0#s<-(A|mXjK$AUIjSSkSMW>o=@n;jEpQ;PT~1r8uO0wp48jnQR)Z?h$p3V)I#s-!F1?q|4_ zLZCBS-wlF7+R8jZ()7-~H)&zH?9WIl6*01SHxL3;!lC z5D*3g5YT^h14u~7f89U@2q@78ghF9RYp0a=SJMGnFo?#~h4wNo0c+;DWIfT>=ii{< zGtp+%6i=m;a~Y;|`|fnf*5~)E(m?WBIV@jI&QAvwP9WTLjnfm;13wpM54{(kho#`e zeGpo}!LgV^v(Ig1p*~GtMi$1%WcJS~c8|mjw&{JN(?cD=&B^8cB>z?G@0zK*;cg2wKNb0t;ILn_ zs>8)`p&m8)JND>_&0AyalvT-5ha~>r2_GOvF04j#A^ARA3k>W6f#W~PEtu!U1qIrR z6S(Uc7!if?K~DB)fV8lCg;R_iLOapehY4Q$x)4VHy z@2iJWe-+G*lNL9B^%d39SY5zJ0cqI54-W)h3K8g?>(-?6l$%Wwux7rR?2EA5++h;p zq^1)WW@F#7)_GKz#Fu78&3yK{F8UK%W4tHu%O$rq#CUeMxAoXq_blI$pMrw>gxz(| zzYI^ee$4t`&oYeKokA|b-$3U0!k2jg@?phN%EHjD;J38#x?xj9^^b1c-+)NoTS_3u zA<{{;PoDOneWOOZi$v}{j2r1qs*&8_u)qbz5Nwe8H}~0_*!XDtV8Z?wvW$LNiE~)^kL|S`};PmNe&t{eaCg8#RWDoIxzK~%q;WkyA33r0(^7=q#b_(bnd>$ zW>zx;hRtN$!)z28$2ZYyT(8Z z_{DMHcQe!3ovCK<3UfDzd>?}WsIY(Rf^(auIY<37q~u(0vGHj^O13kTd`SEGoYJb8 z7c9sEbd*OV8eeA&Jua2%C{&Wl1hini)+COU%*mYfU843iaH9V_2Z5p{%CDEyT?bJz}BLN0c|LUDD4~VM6sC+FbFj z%b*5P<$(VHw!B&L;5u1er8nj4(LXf3dcPa;nTo1 zjh5$K9|8?DwK3xX`UFTsZa^F_yfTzH;Pwsw-l?Y7DJ;G8agxE)pgy^gFFP@z@VJju zJ1m8H{5odNAiaRnW(I=zF(G?J>-sa!B>aoRZG=89^Kyb!Mx>a7W!jFu19S-Y6*m?& zu6})WfxM0va8}#MFiPl{}5_ZNMNJkJGh0 zy&B4E34UA|4fHu9JT5`5>SkZno8vs$bgny4^ZfqX%c-Ev^KG^xzT)?x)sFmg@l&mT zV{XT0)#gOi|11oU76ky#e3&`2akU&EjWeeIzC;K3r_Uwh!v(;Uk?)v*N|vX=RSYB4 z)@-LYZN=DZC_8pbxBOaD@L?{3y?sD-5`+Q4dOMjpT^uo(Kj7LBF3|k*ww&-Qb;LuK z|Gu9oOG6p+!`QQ?vt;cLM~s&7MkIl`m_cH5*H)zt7o+)vE_oAY*A4wW?WQwjeLB4} zik=5V?dxeM$U=Uuip~ejzj$_0lJtrG9m|p!|6lPekrK`jm_DT;3Qp<=0B67`xQ~#k z%$f~$`v;h!+RA*H-pc%#up%q@>b6hfJW0B8mUsaW|HI>-JRR7dBXY9NVIZ+sLv^9k zfh6i2IPk-k5N04#-M!wD%_BNcoQZ@cslV?SNIXTvDIT(JEF?^3;pUw`_!n>~BvJ1v zREhEVHC{ES{9tv~Lrp$R0jj_Bgr-&r#>L)1*enPy`;Tl*f9JMD2&EM-d?dN?vhaVk zFj&aFZIKi2gYV2Zg4kGaPCxcv^%z&D@Lkqz6;_vgLY&j#o%;&$oj%o;hc9nF=;giw zen6mns>T_@zjo=wi!81R;d5iT{pNKt*gg`0voqO?H{0tLDBgYOp zxC|($T`~81N|L)3pW?4mL;*uScJ&MZ-SdI))38TT3BRemLOxorQ-qsoN=2sZCP&d% z@(Xwq*m@tlD&n+~l*(7gE3ejcKT-2g`3lFCZNtfylL#LmW%n;J1iXPKCA3R|Wz91x zsru*seu5=lN&$;V11u6TSh6xvtIX}3I((2e>xMqaOKl;TaNYdO<7*mNREbzUk?HFB z0UtX!E2k@AHABeP@itXQU&beEF?X)t3&$>?WRQ^1CYZAZgyUAdA#d_xfA(wX zh9OL+lFt%5ha-=lFbC6{!s8UsfD`}q%3E*Nd*(AGt$hAd$Hweq6Py>%Q4x(x#N}@y z1`+|l+8Bmj_%|xvujr+!ML4iabrCc<8LxK*vJaV6Gij3>k#46p^7?wEwl?1NtOD!{ znr4&e0FCQ<5J(_apTFlU;bGbYF$iTK9XV$LgChR!%SDV53mSW4w0cd3l{(yi+TzZ* z<0=&)k;$#1j%s>g3?uwN7nh}{2}$^h7im!e(&6N-CJ>2B!R+o#MQc`8J_;rwJ*?k5V*H`t9kR4Fj4%=6&hy0I)i)#0(*l(M(0 z@FYoE&_@Hq*H0ODO~O21(v7Y$!xhQ9H^B8;du+sTQWW8b-plLY8;MX9ekUsz1n1aF z9l-!3N_pPM#t|ebs~&_vY!D2$5SZ@`V3hNS21a5WB)l>3&mJF0M%M3XHlh|75juF5 zBy{@;$s|+Km65uLfsLk*Uf_>&Jx7?EQ6ID>^ge38=u%7 z3?T#y89vp}g$V5+zZ(kmDUJ?dM{yT&TYZX#8(do|(;im5)VT^ehne~c1uT9HxK73k z#xK;4NLk1B1x}&32IGG|GP$2(b<*p&pWubOCI~6G5Fih}T}^bnL8o5j@f4AIjRU)a`bCHc9flN9*V!*L7;?SdLVkO1X`j% zRH@2LxR>EwP@r63#!b8}oCs$Fl> zTld%Bg>|qkQ(@ntSH6;>S>@>yoqR;_`p@@`TzGo)zo;^wiVLg+lJUf@fol^3v2tGw zs#l*jo?J3>CkU!<8}bG3W@Rm7lyTn*ZE@{XKt4w8_nuWidQ?|k9+3qD{9-htOQe{# zCS;{vIXtmvT{a{B_&qjU^`ifLWlud-Jk5T1KMq==1e^LLv)2Jo^q#t$-T9O^eF}F3%$*j6$)SFHYc;uze$((Y_I`&$QS{8rj zb$#b0%iV3sC>(MRNXY^y>|Y0}GC!yF=FAUdb2r*g8XhzF=mhMG8=g?d1 zUh}((>Blp>J6-2eFIat5H}4m!GP|v6PWEQfJ@1bbhS4QureAzr$jX};9sS;b44CGS$H@dwuVDu?x|@uL~6V_wR8wa>GVn>e}Y1G1b|bM@8v4DWleD%=U9uPXknwu@_zC3JW4nIYKSgBP6Y8LAcLP*KDgl+;^~VTYr24S6u=)r|L`S#<>+Nl0CT zBmWkzucH=6uB^8TfvG?5iuKc$lTB^<#4N>YJSW>3T=n{&KP{{&dvT;wn0QN#8S3gq z12WR(PzI&0o)h@{PXiU|8x*~r>pSMU$6upHZmEWaO0scLhcP4byFgmGwXAs4`4H2@H~hB^fOh*n zmxE2$5H!L&JwFz8 z?v^gamsjLM(VW%pd82eZ(vF-`4x?dBGP-lA;^AZ^f4Hu%96iZOU!mgzK$?%DG$d&V zZb@vvVdcxnUF|IJ&TCN4aXZdnyYFgbYs@tOfGs8}j$kihl)?6t*IG;aE5BLtvdO5L zHDZ>=b_?9v%&03Dscm_Mt31?a74m(fW^3%Z1tTK@R61fu$B#F28u4%E)*`f$aRuxy%y*;J5=%*awy!g;8qBJrH8;enr*{X| ztYCyK+N@;89SmqzvCj-Yq@md>d(erylbx{yTS9MVmXHRxf zkyc-DQImH^b=8<7Rb4R0u9s0qf@}Q^hpxVW?(;Rkr;Ry4yKVjT~uEa2($ntN5%Gp{|&>+mus}WgTla=6SO} zgpTh{5T`C48;x9-L!pc~GK<*YRC0@apJTYcno!^;G`oN+EoLvwKV|oIqbZAH&c?YD z%?~IA`~v8MitGS+itJBgOJoG@%h;sVS^x!x**RWM&MH$R)Wo5Jo>Wtzmq4w!`>zy- z<6qIXFa5E@;(6%7E%7ENq4mtd%7$(*inRZYmiYX@3KOe%ufpFrs(4w_4YA0P-aQ%m z7m8#EO~hm6ekbG#NApbm5wR4q@=fSqY=}d;lMleIYV#s@hdp?rZRVtYQ8+nNMn$dO z_$6ZdHP*HAC205s(e{DgUi+nD`*qT_qVHEZdhz98|CmdC&Y!vl*bM$K zw|bkpocx3d{y=wnqyH|UWBc{ewE`%s{Zg{~GDUyXFTLn#Wq+$ddDI`f=sE5Gly3S+ z1w5I4)y=;er(cZdYWNj3zn}i4;a6DpBWU^jjrrRG!dx|y;2@*-ik&{*ml}( zny=GRdBXi#QKS8Nwe>|En8H^aTnkL=4FUZ4T-C3A3oOssNq%Ld+B=S9nVw+GG1kn? z9Zkd;J!tTOYiA4(dcgfx2&<1cNMjtG+JqE7IcAu^#tJa=h}RyVxKV8|FQYy^0e!(qoGo6_yg!iqQ0$z$EbYDVE z*0=3IU(Nz!na)h>gn= zbP+$EoF;G<4m@TSWj7h!a0Ls2oxvp(4zY-eCKPTIAB`jQ+A|(S=t5*N2^(I3w;8zv96K1*gr$M0wELz@Eu3T5#qB9568i;5}S-dblouS2W~=Q z-U=Gqz`p$E6$GArU_S29smX=7Gjs+XLR#YR{^#u5(dIu#SN|Nje>)oB{&uv3`|arB8qRotdwuSF zy%s*icN&LqfbY99EVVE_|JLmH=07!x9tMRkd$b^dvr%Mh=9v^ z5md^BKZDPyJwn8&JtvY3Uz7lX=2UNFovQe|VFDuxtOJmC+V}vA%SV;yALlq+Ws(qA zmZ0terRij94w;R`&~)&6D~o*5{V>X3=wzn_lOcXdMl2XLhbY`lo*tCxn2@bJlMfd_ zmu2V^VS1G)5OxCRqG)vh^v6DR6miLfYY7*x6c1R3pRJVZJs{LtN6-fpezT+Tr+U7 zot7lEsdSj1`Ds!06cMwl6~iD1hupz_DVcZFa^1xmAimnXb1S+K+~sX zR_;48xsXA9!T($D`*hV-b4CRM8nXKFfACj8|8u~8pV=DPSvGvZ690hsZ=yF54wf*{ z92NoMzZtJYFBp}7%x|I}Ec1V-gs8TrcCJQ-PW1m9Mf_co^*0)nh^M6`G z!?6Fy;@cPCpM`^=ovF=#-|hcq+WrS9&_AR$hMxAWF0{sm#ulcs35?PM3Mj!>)_Suf zva2Mn3goU1NP?n>fM2-ZLk!TFuB2Jj>An^G-+_VKYC#ba5I6LYZ~>8!r~6dLX!K)U z2R26?SL@!+n~?xQ;f)yKMofg2u&`!hB0x@Xg+m|F)Lml#t>CUMGf}h3I)>#ltLXrw zn6o$PBPA?GRDX#8qvb-p)tbL#3*;3n>cf-JYJc1!hzudUIf!$5!b*H`Y9feE*qk-6oZM7R4qS-e?8j3f{Q0nlgN zC$%0Ri$M;9JPLUjYA?vKpTqF~xcm%W!l37$^#3{<%zOeH2z|bpQ@2Z{_`Ka#bGd>Z z9xMQSLBqqVWNo!bfA&nP-&?owA9@EcUc2&-hQ2!7Tq=E@ztmS@sBL}~KCzZPHa>g> z;ov{}e-&^YCm$7g!{5R7Hl`?Q+M{@5=hPRwC4lh;U{x_`<@k$JYao~P)v-14)=6HAlngd3DpNxKvbd5ga}Ss4X;(EJ zsAanKtH;!`acu`RDoImoIkh2UNUb7wv)5#h4g*J~t;oDni1=GXuyhgw77fwMq~_bn zXbw?uKlBV5nd(!FS8tBg4o_*SdoA4=rl36SPSJ=0l5~9< zV{|0c639rl02vzwB|y>x7pP(&#>2vpg{(`OGFZqEOlTtK`9M(y2o`%{DC-ubKb+dS z?J%Uk7}1&qGs4sV()xqRm$=J+OrZnErL@PGf`N#G#o!bosBJ%Si4v~9D1ypiS|pPbGxM92);yqgJ-$b= z#%y0a>Ba*kl9O)<(6ML6067O`oPaDLdYZJi1P*#vEg+3r{-dA|bC(3^rb`$q_%(xs zrA-kPdl{6p*x*)4qwSq;#X!pJhtNb4yKANX$3CWV!dYQ}2#Jm!a&f*Vm8b>1wO6j# zJ}q}hZRmEQNVs=|<=mE-m;tvGb`?&eNoTR}MQs%-KF?AqU=$IpJt2|$ESQWrhY1gU z)jDd-^u1YfAvb;4d>(S$veT03!sR0%YF%aU4R*u1l4bm-eu;Rp4Z^w4o)~{gn#A+0-9B-)>6sDtyy^sjnQqp{`_4~hmk{-c76XS? zYOa9g3=6okNZQQQ!r8|LS@h;KQehQ-I<)JfwP>9MIMa%1U3u#&dvoV7SL}v3fvnWN z6B{yTovU{v#iMj`I$pK;@2^_sN!xv*!tQQwAo|0j1m`NBf)!M0JVoH4+9cKgMkEy>95LpmF)Li~t^Gn1CHbYTTTjbc(?D^eS=J~S~mJb;G z58khy9YzaYR#Y*O91m7-(_1Uzo~XLXtfeJsoQFvHSeMF`f>-CHV`M}7Ilkmn&)SQd zsjXl_k(st_9D9f2vgcMuvvv}GG(cZ8HrBd_#Q4R`g^2gEZW1ZwuB<~&_Q=N?$q{?` zXF$gXBwVZubK8CZxKkakK-&B2z@fX;O9I{V{(!0U40j9L(NpV7khtO|#YApsd^ja_ zSusIEA@hh4RhTRpnYDT~vqp$&V`ClY7oFfp92jUKRdD66dF6Q(tr!ofEC2^G>fhw; zw&)x65MUWZCVZp;+^}hMOF_|kGDD7bo&2f<6UkPQTY6T&g|m3+M_Tf;IsM6(4qJ6I z1eRI#)esLKX8lXs(eq0D%OB>$On6-JeMeq#K@RjPXvz&OAIOiI_cAP_}F4n0otpF*nsX`Icgid1{QbH14cr6+7C#?Vp3Trjliaym3&W7cWuGV%gS669yVxJ@KoQTVEqv}XS5 znu1H_%|UC0h+XDvZk z&XYHH+rZ`ydnSZr42L?%j2O&{ZyohF>{c6k;SGP6&>VV5hQ0{6@8?zig`KScM*s<* zP`dED6>~H{-b0J3i_X-8C6ok*sJbhIX*16yG&m|oXaSoT#K6ZE>g#5`_9!Cqylf)oN_&=^~MC7H1jy_Efy zR4jWcZ0Al`>dpxx-*QUqy&O{zJAh?yiIu5e6`S$hGf$bdGW4W8P)hBYiG>twP_ zDC&Gh5>FqN4v?Q_T=8q{2QaKoQ1diU1qk?+V%4lu1lc*OxV?O_hYJ%1p#hs_`M>i( zmt%C)8+u)Q+)YgQj<)6eW-DF03ubERaORkht`AFNPQ*8c(tM9`MlvRFq#n8re?|2U zFk2y_&RJBSj#d;%%OsAmN_f;Gg*k39`~e<7NLj41SruxnEFViioCq+vEGU)m#IL{U zwBqj}AUum4sM&ZO?*G*3aRMmrd&@#<)v+3KIUQBu2Eo~ePQgZMOwwrG6Z$XUonrEc zhHlf1huev{I}hn{nBYR!)8=V9lHq9$MgRb*HY|8*odV-y^}C_KRoZmVQbVI*F#f+g zv1(#Nlx*9S(9>#WQndnAvlrGqb;z)*!K7@!Q0BehlnNTR*sxNR)BwFa*W>CGdQoEh z3Hn|QW(Wru(Tg_e7;26he3?l~RY=XtMzuyPSQ>>c)Ui$T-og14BOM8T1vXLWia8@8 z@O!~B`pV$d2kBNt=3RIsMfywB7ZP|cvTZN43>p+cekfV`f6mhlDsWn!qvjz*~b&v38GxG#vYcV_eC(o5YZWMfapAw7vvE@73l8<`_5TH}i- z6SHbt>c2wE;}MBuh>y|7C^={AEq(MEeq%H|_)sqOcPqiLTLBVYeEU3<>gl1zyrZzX zQ5q zyYwI#x-q+meI)4C9y#bDdEh=bsp1==@kKx5tGzdMgna-;3?QnzW--`*Xtbt&O=K8WBR)t*8UDd0A4E1Zq0FP~MhTFoiZ}eI(Rxg7$#4whZj2^jjJu%b;0U`Xs>vtOd1rL!W5d zjvG)!K?mfqnvg7%6vy6@zx6&mW1aOIqSI5)Q61sOM!$qnY*>eTAH?pWW8MMcwj@6( zwnO(>d$WF5idXbQQi*xA_F?Ctur52Z)yeabL|KQMYrELV;oe)xe%GGY%vrPelAr2G z$;hFad@>y?uU~UW=CjGijPC=AeP7ESSUt!pe_!ker9ryyN#@T{3{ zvT^-yXv<3ze-;LDBP{msafjMiz*nz$B!xTXB-S6io+q99i#3%$@snyXor2P-DwGC# z+j4IDlTE2vP06ZM73&ggIl*~7-*XSZb_hMH!`H(`I{+udR;F0hmb>=H=L$vw;;F@m zg@$hEZmewzsuptdMG%(XgOp}FS`+l5hskG}iN;f!Hl@z>fujw8C?Ryl3RP=8=J3+w zV%?@4|INl=_eu%9cxEIWiNusDehhr=5;xSu;SGI_7Et16j4O+zZ8^sjX=^OK_G34V z)MKZSwStKdt88CfR#n_wVv@tn?Iha_OWb?};9Sy-|G*xjMr5BETB8%Ri06!aI>-B( zeLo0Dj4EYyDzOH<7(ro4pI=VPCNjfluL+R7r(}}}8)b4^5{a`omW+XyMim=zXQcN> z-?1@l=eJwX&O6nm*jArLIJfkpFu|jDQZ0wTFLrPGU96-c;JjcE5-yJ6$^R-CcSH&E zkYEqE;UEm5UFLE9(8@jH=y@H&TN&%zd^(xMwgm@oYt#ccF6lzw2v+(yrWE+hwEtZp zOHlanq~DE^^9Q}^rZ4p%@~`$weoqSh=|{gsGlbcq%^x*ud>i7~N*_h*g_7GLr>lcV zV?OnPP7C9u9%9TV@%bh+y5b-b{~b82=>}ue>IBn`nKSN!zTY^VYnz2*iWX%G2?6QD zNt=qO#kN)e>mopr*7yXM_0s~RUADcOZTAw;R9y(b^*JXdN*(e|RZ-K+q=OrSD62Aq z?AJM`)TGzX8Z%!KLD^fyaMqNiw7#8^L()1rXm<$W5s{P=30lkFam+)VR`-Y~)-{V< zXzPpS;`N1^cdN^hAstyNQx_8O8{rWRab0@1g6wNr5gP{^W2R|F9lDb+UlmFFnqu69egH=E3}qo<|rZuyc} zc=>t2p~dnm4Eyw(o(Tzl2X6@68gE-*lnR~rv`nQtM&Y29uH{fcB%f+$XeI?I&VjCt zu&Fy~1(FSu<`5N*vt6)l&G44!JPf`0%h7<)Ofx6DIBlkDxN*#;xV-i5cx+^Hk5Gcp z*j$=#<4;Xl7o}u5+q3I80yW71TLGEvF+mo!WW^OOhwWMz>snm@s?1){0#eMD?&_L8QsR=7cdRC#ZAT0% zU-F|~86VwP3##K9^{uI8P3~`^bF9*^Qc_keOZ(Y-S4;baL7l6@#w9fU)=Af-$6^h@ zE)eR@G;*7KQ5T}jpCwb=s@Pe*(cp{UH1ty5CwNlcHN&f9vpiDXN6GyFRDl;7ru&sP z?9@lCLF75`&k#kV;Bv6L($$zYJ4eJ2a#Pc{MR`G(!Q#?%8Rdn=)MvSg+zZ*CG2VkB zG$DT(3zg_r+_vn-{^S-1i*j%tU=oP{LLUjyyyUop)2=|l=dGb=pNx5nt*$2x4t8sR%D^r&4q=c7Bw=HOf%_`(K7P`ayMQe(iNtjC%@R~Rq zZ$rIpMOA@79O;#Mev<+Xh73#ff$>+slYikKBPA&+CsHkB5b(e43rl=+qyS7> z4KToVUr`3s5I_3S4X|7o){-CN3ApahZ;$rz7kR#M=2ZETTc& z_i>ajGXspk5}cayij8vDVsE2u7vU?=MlE0!}c4FX6k7)MJB&*H2~ zlp;|Mp1e4jvJ29Gsk;Rw%cj|=gLr^qM8rh%^U=2;Q_)*Yd zRyAmx+pg$=UFw_92`;J0s!!Wte^`T!-2hs{gguej^wx5(t_DtL_|Ry5Gk7X?JKZT|eD{A`NC0%Z{;%3A{yLuzac9LCnAw z#)0c8K8eaTClqKjYMzq(eB)fz^G#erKvF1?gUf%jQum<$iSMM#H=V({#JR9kFdOxB5x00#sXC!`{ zE=c4bkwheiKPBw;TyZ-UJ;^dYM8-qDP&mS>MAXXb(HA(Z2FFR8|G zX$gFYGb>2S3kAqcEt7*1?dqh!$W$bsPf&ERIao1nJS==nF34|bf*g~Bn41{>I(B8Z zP4aiFAIQf^!I6sh8sIFm2@4 z(B$sspvLu+zeE{)(_eFWSJ=zMTq#Wpn;C0KqN|brIde|EnJ$~=22D5C^zs8*;c{6) zB_!o+GcKeYSof)Nz0|l3m@D*)5l;BFNEi(8NI7<${J0_qis4pp-kyN*+y_Syad*TW z(VR5oe<7QsoZ@J+aXM#t9#T)Ca}ol7_&B_kiN-~{TwHL_&jr^3(TR2Z14`%pYJ%1@ zDu&wWS8`AvXhas>xNePYWNS4xH~UnJ`aQ#?t8ueOT4ZHS!hEtXzO=4IJ8&6n&g?lL z;cU4zXl0ujYQrvSDtTE7XCU`QG;y5f1!kemlnbfd6;h5YvFw-in=V&r;{&ODIBQM> zO_mb&JTnuLrW5sU{|f2Um=_t*d(mB+w*GCumaIB(JkSXc5LagHiL61t%kDrM z6e%|jU*UjSroL?8=}@T451h6$+kQX54I%FF{7QaikSG^QLx1z_rKSIc+2+haOMEq= zh8ec`qP8>d$-WronWa+5OB@|N!7nIMR+S$qIn`oI?@k#c-_fgO11vJvp-P%YXPWYq zuXQbXnk^wL`}G~A>ITeTHew@Mb~kXD*1i7)8K>uEoaSPlCg5Yy1rPp^_`?HmK{!9t zdOAbj^CfCxwDWd&K6twlcRfU8+!dYBb-h5+SO7OT*63b^R1`ifznZS<_-B}s`y!~k zz5en?rkk2;ORCu~vXbA@+sE6v6v2#jWr3f?Q2dV$iY_r^T-c3zFluqXNi2;W39q zz|2t^rvalD^n~99{6B=n4ygMu!7lc$!chw;W=r^2FB$dYzOv0SO-!YYZ*`7s;P?$F zgZPvo88YKW){fQdw(w*xw_~cWn;H$ew!8u{%eNckdNxt3^L}G{LltU z8-m>r6Xt84mArqS9{2i;ap=CTpUz>(_Hl)oH{UzS|GvT7zm#}?K9YSr@*^Q5arB)P z-kr#+73p`q3~yY>m=}FW02VjBVncBqfpg)zIU7)3FG7FL(0ua3R-^-Vo=~QEqjP6A zU1oFdENeEO{W0-?eQ$o^1|%F0`?@tk)Vt=|%QvUjCHO#SkG(YM+q0Q;d_{k5kqc>t zpY`(Nrox#*^wcR{&&SzaZU$j@cn59;1L`Gdyvln`4dJo)Lgol_&$rJ7e0J|Oo^~{L zu!}l#i*yx!E6hF@$gTH{oq?rJ!ewRMWc}YS7GoyY3BL9)?$|QmnnD zkwDZlNxT78)f^C_W!(nxaByvLyg&u7OFtbEI4QRZQ(I0H;amaBp`GL6#es&hQ51_g z9Ro|0TwYiR3AT0@J-e>OeO7vL}|kw#n)`xwGV+a1O>qh;^WhQe&C28gNYyD1}aJ!@o@`jXaUW z0`d2~N9ccX`HTePbK@N5et*BEN->@nyy2hHVwEl4YJaBO0fvVaogIRXfGje8K;aew z7ngLp&RY#`vr=&Vpa1&rkUPaEaQC?1@FaW!XG%*Q_o5 z7d?I3U1|Eg_8;_b9e;i_;6J0krN{6|K=0}OA)pJQLZf!WMuTza=eDC$f-^F{V+Xxt z2VCYrK~|%1;5*VR6QDtbv;)#~0WmFrn(#yaE;^II+9rszB$`obU~#xqd!sTZ125oC zh);lbez-tHXU?7gZh%!lw+wu@+FRr*=_l9P`)|M3s0a#_=YLc7Z6$^*z1ZV{ajNhw z&)x@=;MjZ~At9yFS3HM`Xt;iS)& z7QF1W2P+4iLqfV?AHe&Om{FFvPRD==qi^XS0-ru)O}{q%KsIdy!7=W%M4%9QgPGp; zMZ3RU2)wP|>VFC|1UjV|Z1@Ot^-H)iiat34wH$G9_$6%$cMY?dNs7&AKSO?3ID?;> z0(pS#5i4-%RaJVzbF8eYW(`ux4@Y^aSfyqO0RKc@o?UMh)1~PRAIWn&3R1dX^MRiC zlTGn$b*p{vMh9|TgQc7x#KE!uav;Uyu~h@q|8lUO%zrHb<;`WHrn{vq1w{e2{yH2l zb9qa^bblGROX95dE)`FkHH*XzAy`Na|I3T2#mrNBSZFPQVeCobQ(kv0_wC!aXj~Hb z;E$&tcvS4neLJ-rvfZ9pOyt`8ibD24ZYX=8PyGP&gsU?QVpPid0wCbfxOzh+WX3!F zZ2j);bbr~cY-GZWbg8NDPEI`e%Xw;vCD9b=9H7b2gArD%Gfpy+VJJ5`cn*{3so+lK zFgkVbt2mWfDflQ5H}J`{E2~h>^rJmn5b_Brz2wiK!4tOod2d+B!*i*k4~-d=v?nrq2Dg^tIoH~85SUPx>y!wvT?Pq8EqDAz^o`Lt|1-KvhEtv$(JTAaN6LRyV0+tb(0#Nw{&op)^g`l7^n;)2t zMPbx~Qz1b>R2He*1Qjyuylt0WYT_pPE(@JVoIZHeji z2JvGujG|}G)s4O!_=!-c&Y|PNZlZ;0TQjgW{kTe#Lbf_b4(qy!)^!vqMbBIb~cZzZ6Z%4UoRQ;)e%L;X~QLs$3fi zz}(AKIS?s56MfMXC!ClLqWz(q0e@_sYXF-I8NlYE2C%u10c=FV*0% z|3lLzgnB!{Nb(2DF*2<`2gjml8h9r7)*{b!wl!%-3EKvTIMQ6^D~@~qVJx5|+hFCo z`|QadiGy)3EACIsdg*tM!S4$KI&sgJ>QtS~DgQg|WoprUH<8V)4Zw3_;W!mkE%|eff$R8JLm0NiG8+LV@cJ<=vP$ z3~?jeQ7Cy20_s<9q6`00;eTebABF)hK`KqkYnMT#08O@ z+5Z-~igjeo+Y^uC+0NH|)3Jk>Fw@ITTIqhEviy_1I#3+sFYsu6{(m{$J9L}FZ@2-D zB}Fq`1ginEa&l96@~L2$YEbnRJn3hdAFhNqj#hE*}#Dqk1E2;8QC1|XJz zxpi-sw~%NHHfeLU(tkLWp{+Y`C0*)DLn(*m6aW*fjAd*gjNqSTxJq{Z*+s$=IM%y} zr>FoD@E*1a5h;S1xH<`dIDa80r8@pDIB5}!-J?r3JVO)MP+2hxN=)a#RUe6^#f^mX z;znYLaU-$JxKX=ORV=f(ajqwSFH~vcInaW#i2(P^MKq|Pze?g4d7n1OX_p6#;=V{0(f1@?{%1!xf5wo;Sh zy&dm2FC8cV=7<#0+pzNNC*trNwQ3AhrZSta z+C)kz^OCSg*hrX#lw^*`2S3We%g8`Jv)ZdS%+t^a{L>{6+3M)eMTGTad(gQ!L08&a zjsMKYiHeu4F=QNKn_t-7Xggue0?&i;I~qH*y-7d!2!C?lWA&hi0~Tup=d2k7rnO;X zVU5Ccn6=nB9&;trhY`QUS)EO=C(zdrdZr&cF?dyEW)rXik%Dh53k+~0`E<+LUy0{N zR}=oSF}E@4A`}NPkUBy)JBnLp{wg@r)Zl(>cVtTdS8yiy6~C~9a8~xJPb?S8aI$yB z_8eiCxqpS?XfKg75eft|V@(_fDbDccVdXjs6Y?DH+4Si6n1KM^x09$E#zWYO0gQC; zYpggKl#Vq&xf8=6cZzv?k311xI2fy9XHY>IYRZAZTh6Fwl@7c41fRx9~4_QU1 zG{$rM=ok^GCI>yBseaEOc5v)4q#?o}d~lz{p?^vIb?yWO7{F4%2mDd5Q}`-bSMFF% z4#sW&ASgC%?8i-X6hKke$D_dC3|0*^ab$BwQ*0tcDL*Wr2%Lu>gGhPGN#}#K4Up5Ho*;3iRbeqmd})l5)06kbefc zL_=Vet1>~Z`;F-njhF6#jF?!Np;!D6Qf5>^5XQDS=T36%igds*CPJ500$+|8E^gO?AS zjDX|LPWv5pKfU0SOj*dfN8FzvisP_{9299Kv{mFKQbGrt5V0>PbWk<0wiPdiUdx zQKlaY(_xibLdgzZgm=QBqfuGVAjFsL+$R!iGR^IxTY937^-^pfE#71~78-d(fSArLG&Huh2cHs{gfqz729LUv^PD4pr*Axjtf3(p zVL(SsZSV3D*wEzskvBLuHPF^H<}XggwVv+!Oq?k{uD{n}{^vW;mcoiB=jMr@KFhIy zm^y}25{|hgx;&4OTlZNEAuHlVhFz!#DUQws{xORX-s6gaAfDYc*f;{vH=|Rp2DFR? zU!Q~{^MGUj$l^^uwW8}dC_I@TEnE+XT(*zx@dnayKFdBFihk&Gt@-28D! zK;SfI=g7V9fw1)NNQ*AcNjppfh|C|WZp~#KQ9oyRnfa`0D(lX-RW1-NxHvb!of5%}n zy0D*!|2%FQ&mxqUHTK6bxNfY$?nHRUDalhgJ`q1ZzP~;RgV&Q%0SlKelODjS5h;x$ z4o4D9+)2m~;ibxmiD#3Do;CtHy_3M6B7fdPeh*$6!+=W*cYs0IH_2JdqZN$s* znc2-2A!JSZO%B-0iQMilj2B@ym80aIyKCfnK#?v|sOnt$p% zm?;f^Jvy$(bKY4W1k*9MFTU-Uz6$euZ|h>sw{_v}+qzi$ZC$KkoZfB&ZtLKARC-#n zeEH^YLFv1>s#!=YW8-Bety3DS3YFaz5yUK?AZB6&F%u?;nHWLL#0X;62|P#M^ zV3}L%u;sB9xY|~tRQ_DTqkye6^64Uy?~|52_|}IVMvjfW=UT+~>8HCr*ni9p9=YS@ z7rx~ZO=rt423?=5R7~-B*mw=sM1i-2az-|*N`DjTBufBq>Ac<#28A+)Tf{!td&D9u zf>o+m0W2s;9Y&$yR`{V|O&dC{>ug^%bH9gRge2#&aO+$6M63dhSZgC(QmdElmdGm%-p*zOirN2qV}EY9ztu5wWn__; zmsM&+rB*m7uss=V-$}_wW5qW7HX)1(x6ZDGcKhRybC-;y0}wG7xXIWf^H?f z3tk2x6p~`3+u6{Osu=RJPR1=TnJVyYlgY>fY9lO$14>q6LYvTmyE2J)iXAdjd4S$a zB=(QesG|h?AD^)rkADTt#$$22@mSDsJQlP!j@z~$A^VqKPO+734MM1`fKa^s0-Q`=RfPF*#<44u2d;=_lbhcW*x5Kz{jB*5Ht+USsggY|mihxrfJ1;fVabD#syr3Otm$Q)C}a zfzSoxxs?vYEgDx79+(|NrGYaye{d*wrNm@H(VXn|XOyy+EVh?Y`e*vTCF~CW0jtSh zFI$@R^%a%7>DqVZC-@)#n*KxVYdRhMC_9yzLVtU|wA_Oe6qgi*?cl40XG5IT-nE^e zaB0}M`3|-)FKRK}!RjR@rUc>5edLz`of14`~%VHI-BX=A9C#W|* z*MDzh1<ca_*T_8AMhS(Pycf0yhvo?g%jyzDM;%(Ie6^hH32QQWpX=4%2P^cX) zy)jkiGJyz7e}$q(^&h1HNL4rnK%ZWBdw=kM{iW9f!{HYVJa%!~f9y%B$bl5$x&H$*fu|yXH8kJbE5(NSbO?sD4 zUyE~AWYqxzJP#ofZsGFb!L1tEHhN{i5^}Mq>Q4w5XhOvo%e!%U<`eOJX#KLra(_5H z=3jWKutr9t^0 zUf!u<^(yrsut>X^R6Kqphbop|w-1=-H^h!DuK+>@6NG6=X# z_*0dE+xsKHpz{$z%A@8)et$t(kCn0Rne3N#Om`2HAH&X`(NXh~d6D3EtG$I_ z+2}dzJi?w)FxhL?0`}N33R-?eU87n{pejt1IvdUw)24YB-1qup#(fEg^O`M5{<8-d`+jZHk$vo^M6ZZl(QHojH50B3~~CL<^V z3O(6^WD`EYDRcT;tnDqdDH9&7FwE=IUczcU@<<2HeB`)Ljq|q#01+Qoc-g<+{N-Si z?8r2Cy$l&(tz~AFJga)7wSN{u87f5{M|33u*uOZ}vP4ep3vp&D-A){5K~lJAjUBuv zurhkdhKqcmO5YRN`mt_oylp|Of&{()cV+mBW>q*Q)}U@mAx41uT?G;~<)IDSsULD4vVnFWNfA z3(tNyB#Sj@Uw{4iKff-ERO$OFzLaOITwZM%Hde}so*lbzU^^*n%XrjaLT#yChnaHN zUM$=wfY8a-2#`Cj=-irUc<}B_pmm~>3bMoj9mu)=fD0t!8^H0 zz%m^$2|Vz2rD&_8uYVqe%36>}M=H z;NrsVMRD8AjfMiAc)$59fR=6x{IA?aS8Ah_dYD3)*yx`f`;&(6VCF3MO1{&BtTAkW;?Jj-s?R?o2sM!FrhD1u+FHVhUDIY_}#R61SYft@3wrRn7#I z@rWB`nl%myUp>|DU~!z1Zj`_ym4ZZdZ{2TQbe?e6CWLo*9u>gsbu*WdwqoP6`^|J- z0$|j#q%YMV-+z|$)c_uxWR@u}bEVjFkUce&zm+)%lOWb2nv{-ztWX*`Z?SCvw4hyfA8#M4ti!4pg@_BFg z&%^;htv*AKiB`>c6gN_ePXQ{mDHvqqRZ~RKShx-v=P=3qI!y8hCk6z$Fk>~)HGPwH zgM`P|iQl!ANBO?Ts{}Y<3A`}4hne^!iG~%pqB1V71?5h_QKb4Xn!uD$I-=Jvte0KP z2yF-yr+?7)L8v_OeL@vBd`5}j1QnR@6OM)h*-i|l%mDkarUraPry_JZ-b2bG6|c1b zP(RvCvkFuuk>eHcnSei)Fq8*B54=VkKp>+A2P7Wb%20q^?CZ{v`Yr>spu3fbcF5Ud ztfdUgNlLbY?loeZ7@D$V^os|3=B`+|>wdvIrhhpp12mMxerN7o|MyIpWByBx!aPEDubf%>t2EXB=H%j>prT{2Q7A581xv*|%y=4dG~ zVShiYEf)!aW!<5p{MM)=vCgO?;l`*VvA(Dyu`ZUQcDtf-+a1;Ln!i`-?W9~$X5T${ zl&{J(;6;TwUd?w+n(xHPqE+)<4qi1y7;PHxz(d;^~BDrU+7S|RhD48UHF`A#*& zXw7`rA=tY#-?a+w#?5yP33jjMJGth&4BJRM7Pf5lQ`p7^@_1z z4n|@*2P3g4;Zf^Gwypgjs|twp&0IBDyWu>Uj?U#jmM7c(l_?o!)`yBz-5@Go3V-$I zXK|in-l~NQqc-iuXGp(3fGh4K5*1^0DnRB7OH?pHh2Bh_>AkS*5D+17HTYM73UDqX zCVmdGQiD`O33*9j4d6hplEPGjd|OFj4dB6%nTLdbr1x;)@lqw>Yglmd4&KFoDWTUT z(#J9->@yi;@$EN~v7cahm_))tolyG)w1iDkbeNe42tlV zprNUT9r84^2GF5b8k%a5Z%adK01wg{+L7J`G_*VTN?~2?R8A?Osxik`sA(Z5ANd1Zzg^hFeq^&K2EP4zvdP*XfKd+{}>SLFykDb-E@=Kl=VkJ)u;gTnY zSjiJZEIrF;zvKxeV+r?%^nZN}w}zZJMqR2f+CXw(uY^(6Am5fS+5jG;h0%nxqNHe9 zR;-NIk1LiZ<3;&jrK(q{>PTkOe5qU{g?FT?w*yr>QmF>U)?7vPc9QEQI)B$-%H-+a^xnJ( zN0Dl{Ax}52zVv?T=Bh!yrEW|Oph0F!rjQR*>C1G?zrzU1-$`SA(YoPOs}S%CQUv1IKK}QJQFe9(Dy~HJ@AQ$6Aj)M;f}bZwyTdF zc)UX6EV6~&6zIxP4u4p?3Uei}cUmT+-a)mo&%~vPjt~}<$Fi}nV{#W4#8^%~WW@6< zxmK>!SY4h_G(7Lq(6dhdR{M@>KlFUSL{QX319IzsO|*3_YkbO?y>K=y;u*i?-OlHk zcz(z^JQL%{!a?Woi5L?Xi>1RQwQZi4!@pYyI#-i_SAh5+_YL(=!re^=|;-hvmP*7`x)R>1L_@kBvatW+oJ zuQd>406t%FHhJMb-+DVx)#s}k7+drC*4s%fpYO$F2dah~@|?a6lzZ%z(^oaf7YIqJ z;J{mr%YZQtO@AyAFfG9xi&YjyHdB=F?1w{;^qqYD_2>Wmx@=T*TKQ{~DO)Xq;u z_yYAja9{Vlk!52=$X*rnR|Wk@g8F^Fh7Qj}6mI&ya8&BOn34|f3&kkjcc7;8`@eB^ z*}`V9Isx9?OBh&Gn=R1!j8H7V!J7_MYId!~v8CmwXeYXduJ{bGkmEwsZbD{ob?vj59cXpZ)wid}e3i0~Ng?93bNqsVbWB zLEz%+VkBcMuHHmJ1YewAFGLJ~`%OZr0Iu_885oU}o@Dr?g(eB_fO@0UM4n2kEP-r#5wbM_M}Z46+%G6fW!7&L zt)KEH%iNomja=|N&8(JlKp1Zk(|DnePa%kw<#U z#9K0nFEvKknzH6h)wxQHS)6&BD=MHp!2fJ#MU@1y%9Y6~^6`R-FK74SkW!4|{=B?g zB+H2}j`?QxX0Xw|ct`*Hf1R@`Axz~SIB`~cm*Q)B?ctL=R7*b3kvg|#)~A$DctOsz z$7gvHnQoV z$V!Ul$a^v<%|57@`YGT`9e6Rd?6N7z7PxSS+wq~<{l!j zlu3y1k-i@cEr-r^e~mk;L+e@Asnl{)|9S(ZahhH(v)xHptcs!S6|)J7PcbLpw%%%M z9a}F0@x{4f*U)cQRelch5aDmuT0J#Jx z9W%mRFX~vAOa@0O1pJ$!#CccKpM6+YVV+I=v#K+=ZwER7R%}W`X8K-58TvWK2=@J6lZ*Dxc z>5Ah?5hN?{)vg7}7_*WoPS)6JW}YgRSOiBeu3wT~f1n&VlPY2QT2Ka5KT$OYi z$+5sHe?diDDl?~+zQ+0-E8z>!#+z>#p5z>!#!z>!$9xKWL!dIhN?Sr!?pcYXXr<8o#TjR8fy&Bgi> z?C89@RA!be7qe7m`F3lYEb*|^`T*cd%3tiqf4my>=Lv6=Pk19S!W#(_-bjq_Mq-3F zYSk2)1BYhlPx@9~=`W(cA1NTUFUZz>a3L%78miU=0dc-W*@8isIXs0g%FGkdOdm%+ zR!oA|n6rh?wmbOfYXuymVuQH`Po2jw4}@qG_TcIcJ-CpRo#C))e(e6IiwF ze=;C^C%GLJO!#G}JHKxY(Y zW?Mu%ICP^nR6S$wK0|FJc;(6TY-D}qxhY%G@&Q6Smvj*)J~g`YQey?)A#r3P1)G{& z2TG%OYgumlbEP-rS## zWe4dqID3!gU!!8TsPH8!c87{xp{?GaJM$x1hV4<4zK(>F?(+9h%xN6nay@0H zlz+umfO?yb>7tXV5Bug^8PEU=9!m0Ayr=AJWqPZqXLT_{{)VfrtT`8`r^K{2$*VtH zb!kOnny*Pr#Z-x@ur4ueqGdN7e?>?VnYPO4z-+SQ$+XQ&8};_`D}|5ekn@&bU})^M zlu;%#_G)K4*}t2ga{9iTWtFQHWipv1a^%Rs;;2`Z+k)tn219-Hsk$DD z6@T`Rf+{ehz2{oQ_qBRRRVYAeSRO{B%+5Mc%(30b4A>7yLp1R&UVuX#e+biM<)8kA zpSbx+$rCp}_4LH$v-Orhb{c%jFZ+aZ1VTta5@=0tkBc2KbGHdbYVAk(n1n3osBuvzT4!R|9*_tgyt)|6FZm_Yky?xZetZ_0o{ev;8oMQyR|w ztt@-~0az|&?1b@1%AWTw>jK1r6mFufK#bwSB@lAq^1YctCw-}#C~<{igQ2*hnvA-H zMnhq=D8CT!qJX4zf5z7x3tA}s0DaVu-EVjpM#)PtAl}-v!X#Af)YpH!9k1z}i6umL zmCg2!(H`YaEGARr*l50ozz?|eF^fCQ%zyl=y~nxDL*P;g0}NB!7b-CvUo35&%CBKH z602b~60Tu2602b~5~~$3YPW_JVza+0-`_-?eSo2gSR1!~e=DQT>_pK7s%3oRfAGn`foj;L8pQcTBt&{q2vAnx@c@> zUn@-WE`6xtw_|DTHj4{Khvx_GKCU?X*zOr4=cr&rFV6#r0dUD~z@!icWSY#vaB#L@ zd@Z#MKQNb;f9p_kI*_I7EOCxX!G3zZgOe^ljPo7#V=;&QSlD4d7IWB-#ay@Jb{+N{ zbJvY?pLX_9zQ*6tDONpT3|&fy8C0h%lnvHNn;C^z z6+l+i10!-mTgLluzt>hST3OJjPf>vFFp7zJ(Za1BQ#7J+K+54Ka;tq0;WW(pbd9g^ zC)&Rd&)&L^>Lf*t6K%><8u#q38?dP25GeoY)8d z7XRW}fAejKe#D$0wj;W8dJ?dADlSr~2-0Fq&DvmzCwf4~Be1z~4H{$*lQg91PBl5% zsqYX_p>=;D*QLJaj%M5h*Qd;wQxKg0EF||+_)d%rgTsEyEskN%e8`P?A{#R4qCC?N zMil3g&@6BT^k6Z@?dK3-_owfE`f#fE9cxmWtXid5f^anM+aCpW!*?@A5Nj9e6@Y3B zp!ETTfQpY6brJ7xuG971&%b;~%bY*_^!~%!pT7By0%g0hOm7u$nR8Cj)W`XOl<-VM ze{rPm3kQdf8;PZaVT9s`#~nmdQrc@?4Q**BB6_H3Bqho<@Sp4&kPU0KY3A7Y5oGRz zia{RogN8K555_$l_D4eYOWvFiI`dgBy;3OHbIy`IT+)l?fDY>A+Oz_cx)aZYFcM2v9k{k(dAtsl0Ll;HYEXHJfN(r^?F(+Np|815e?%jn zY#+V4u~%Ft`f`Oe`@ZZ0uu!ASlQNV5-apaBY2k`AzDn>t+RhO?0FYVEXD4!7w=nyjiJkPkxvk?R1wrJC4=>FAiPBMm z-XehZ0XkC5=8;^gwBYg!u2Nf(f54pI()UdYr+xdNNCJe+{FlN3UMfW{Mpd@A7(*Uw98#I{BCiudon`<~|^mUeH+ zcc8r|u*#(3%KiIC%`{Ai4t=7mIQYTmN>I7;`=9^%@7+na&H9G6=@qZ6UEQvk$cW}C zCY*%I*J;dgM)AOok|&fce}0!QwOAyng*_&(vvgd*C-zBL2K7`xzSjK10~ntI8}TiY zonV7ILIrNfvvmV@4Tp{0ftdXOgz+S$mrrNSP}5g&dayxwY(bPB&MN%!thdtf z*m{0Ec1mnGA6=~rf5&6%V)59zSV)uJz9;;Ng{Czh)zr#fItkDf2Wl^b(>fc;kWD$_ zsV#uYH#t%$4evm2*r;d6NNr(5{e7vDqgz%q?r1%knmGb zz`FER8^*92_xCy&`wkRr5JE*4X>CE&#kw+KU==1OKR_7_e{;2hP`bBHl$dQNs$tZ* znfWrH4*eIbD246l&^gGs)~xME9skSzJ-SZccd7hzU8l^QR|%m1=gZ%>s!yD|^d{rn zOOHMhxxyx6(MykhA#&-_*G2dvtf$pWZ@+~s_?$An^;o3*y%YyXgnn#RA2WsXeE)D) zbWpy#0&a92e{hmKPnp)dI=dZZ_N_x5@!8yGRc#nJSR0{(mLSWjaYgF|X`vD{WtZ@d znC#iZpBFOWq?EF-45KyVxhf z7yG1%fNwgA5b;mizVD%FVq|k=?Gu})@EW@^jM6nsu#Q<~U@FxA%5IEKESIVtFF6l) zE?sO+Rb57TnGc`sRZfujp6Us1_EL7{r=|aqJm)@yUrNV6muB@aYJQqxnHe${44mYM zSNX5de-{c~LzAURFCwTPSf_iKJc{k~y4FYFOa;`JdrQ~YCq~cU1#|T7;EFZYu2q)c zb%~G!R&`N;gayCCF$Kr)X1OR>hKqiMX9he`7`QNS;+kKfnSy30zFibJ!$rTsGX+nS zxGxHrxZ+nxrXa~Qq>BP2Tk<|U&N@$QlJ1R|73o$cZZ$E z?3b*OAzd4G6&#Yb-G|5GC+b zNiZFpp#v&mxl|2C{ND4!NNf%)h*H5qxU3=(_H0?%K1_%lbn8CamKN^J*S_#cu*4si zf38EWwd0?EC7vss1X0cj_YR6!HST(w3HU<_t>dAe@SBb4UB!cLk)J!1i4fSK5C2xEwjSGI>) zSYt_R6>Bic65N_XCt15^j8*3W? zQ_IF$1py`5Slh_;_iC&?YpiAM73y1S3yrmGqPUe7N^Vd=ge9IFXZgnNnV7MACT#4U zi6zg@#O{q*7glXKxwG}Qg0@YEwR+FCIzJKb!S%D!S&GcMQ3@zlu}*&;JBnX__Za-X zpgm1?jfSi>!(cTAlq1=QW2jO^`C@1yS9z?l@uNHxPez2AK+@#ZR-qcwf1(Npjitom zSfQC)-{m(p7Vdy!*Z2$U#=;6-aj<~N_VOXKIAwJTfG1I-KP=53rwWylpmT4?C_2Kf z(hrLd8tynguz2sVJhyvEQOd{{r3^7q$`BT%3^7s45F;F;6Hy8yaGSq;>TQNO@r$Jn zQ0Y=-F;Zg8v3JJj8_)L1e^S=qYs#%_44xgUu<_i(ikUIq)O5G`P!Z?b@ zb1NN)TQsgFJTNS;|80Z?R=*HTf*+}AF!JI^|Gaf^{77Y z%unz?{x$uF*w=KrymoKUU}L{T`&uC=aXa{G;n@&pwRdeOtWs*^f9Q3ADGrYPmjjbh zdGI%(wn4gdh*Akvn;!7Rsz5}A_cDP9ORon-oV;?Dl;XfmHi%IU zuDmA?h7}$5^0}$vuu`9!W&`Y%ohG2DJUcxD#rpiTA7ErwUDcr&Z*0b)iNCcYo3^NJ zr%cz~g8>_^e?+MVOoa=gzy>O@U=#yF1`WF`HZfEHZC}%S0hxU7g6bdwc84$ux6nrj zaZ^dQH%A#j{VVjWN2M-kdPVj`H%AyOROwU<*Yln>NK)~+V|l%V5H=)aGMS9gh-Kre?`}_Vc>;l7h0^bkQwg&#ZveL zjc|M0XASrIV$0F>EDv7ysPnUfEgg}f8O&Mx0DAa)&&6iCY}vQk9}hu9-A5ELEzk9R z7KxVlAZ!-Z7YHuW&QcY@hm^eqFyKldXuX8THp>g#50IVsqLl^N4tk}EfGo?&e)%AS z@Y_UGe}FP@dw&Gj!wZL$NB<-q0~q@SWmT5^6_Z^r9xRKj@QUtX@+0@z9giA&=ETI* zTkY+38+)F-l{9;ukWP3$R3s-|KHz|!j=?U<0PdF~|ATd**yuXgLy|Clh=zpgSU+id zM^K_gI_ni+Aa+Pe$oPTj1)&x_6|xc!s}vSbsYif zIs%*T9z2Ut68>a*k5uKteQ~9&pFoSk@_G(EjW;@HzfsD3BvcuTDtAyFZEr$H;MH+> zo*Nu}#3zBoAv=+8)Uyi_gFaP52Q-l6;zXa_vk_Q$6t1#>L4oBcq+C8tfN?4jaopLV ze*+$bLcL|~P0Pj@ywCoYJb%V|V@t3yeug;6&ui0h59bN^Qcgb+q21l-k4}yLJiy$< zHt|fxv+Nz@I-*fIre?)$|2SzV6+W4s4eL6lyYSbR(Da?ESr!z1VG~_GDNV4qQ7n#L z37~%Ka=n%=NZY#3Bd_&EVdx$m2l$(se+jFpJj7H%Z)Ta{-iH+d+`84?lalj5A)Ymr zbP}1xY$7b|10!0Vy^kuZY`5++6{$+*RUQifWTy6Ai;t6+3dhQ*2#=OdE7RPEeC}!@9oS^aY@ui!S7fP?2Zf5vz68$dUnO^5d_ z$^w~C?|(X-IM-077>|Arg-PtJ+GkWa>f>FQ5Y{NpAE2a@ugn|)os-PW8#TMlBV?$q-6&*~ z1i?ucc@-dF`Y(<})qlr5_-!?eZ~M^Wt=<(p^ESG=w|nGiEl#1+e`I}=9L+BQwv$ZF zS_a)+AnE|SldR1-e*t3BxX;!v-IWKc)Z!f=JqdyxbCc<-Gc z0q%;ypVp9*MI7s;uth{RLx@roN`!2sKGsa`zE9=qp#z+mf2b0P=XjHzYzJjHD)sHK ze&oZ8Mn0MF3cZsvg1mUrCkdVjp*J;ogbt~mAC^MEdOz_x2y7AbY{E~Xsz9l?Znbxb z!CA2d*j`wM^yHW17(P8K_WL#O>*fj%EgW^h9*(+T z%Pzg6E{+KDm|vhtE?2jiBf7sn-{gj|GOQ98jeaZQpXtfspPy&HpmN-#gI9~D)Ux7T zC9&%Yn5j&_D9EdE$GMzX(OP?s1z3S|3z%RFj@-7vdefNmyy?S6*Li==deNu}qwZmY zOcBqAf0u8{X#21m^rJL!*eOR!vNj|J1h#Is;1vvj;zFJJq;5hIM~*x&q|bOJmtS;+ zSLydX%{R19#SHCJVMF^=%+Nj+GuBNzF|@BNb89tz(bn8cnI4rRo({TC_Ux$C&2WTC zoMlFm&~Aq-HLFpJ zf5lGIl^8e%q2W~fLrFJO{@|YgG2r7(crSsfqVgI_>J8TNq{4%x2G0Sgp!?&)Xke4$PryvE8RGfEDy2}oi z#)zaS3czu?ta=*WxBt35f3IH-ivwh#8!U$rc>Pb*MHtoP-j^jpM<)LgKQ@E1!VD9j zf)7F^&r{5u_wzJx>YYySZ#92u;SSU(V~m3)SP?PDS$dVKWzm^*i53OYWo*LUR0tWh z(XR#B6)b9|b3LE~(tYIzF=Iv>6dPR+B9wfJd)mGWWVk8oZLG!*yfJc>REU|I^etMc z;)z6G9R|duqtPM95s4T$42XlJ3uq5Qt3GQ3RamB753PR(pqwsD05dvq@MDj!C4xrV z#rx?w!#3oO3k|AA#RDIDDH|6dH5({=qFOHT(o+#-Wx4eNqzq7k*io~rNcdcRAYPQI zLA)rjfp}3OzO%yzA?3KjzKRv~?jdxUwmO1IpU!30W@jR$TFnqVVr$NHSSs;~J=6^M zC1e5&aLe85l_OMv*D6`nt|RN9+^`AutS!|Y=Mqh#JaqfisT8Jd;29&(1C)RmIo@=G z3X=2BWbTatiDjvgj3~(p#oD61G|Ds*5@LvbmF8&qQZ5g2GXD}=kXl2YV_Ux|iIsb6 zFf*w*AB*V=-KSJ~8Oehj56QA*1|6n~`zTD6>LMG;)Kfni6TBKa-!ozS&B1>iUIs0n zK>R|l%cQ-nQ7?k?K=X_6G8=@EPdDJ9<{VPP_02K^`MYI;Y~5l}`7!fowqL{;jte zZK-5L_e6$AyC2;OjIP#F^&>%K14H4?<&@Iv?{+OdY^%JkXxoFGv2Ai?Cj>cc#Az?! z$q-ls6#pH}D^6=f8pq;NB%nJtz_F#|0B+X!)4S?Dp+SsY?PRX$_i6N-4#Poc_mYUa zL13_*oD*@+M$vU)d)<`>pus`^Q+py9arC&wL^%+A`$7u^~5~F%)8$ z#hYo$%WNaY^k$cQe`th>_jEPc*NXG4B7syG))c&YFHm_JER)| zwDnKflweqXBHb-WH~#DH>?ZrR1LSa|{|mv0@G`BQlhP({8W@VhhUCDaM-Dn}d*SKK z!f1nFY+sCGa$_@nsoFNZX2=MmzOs$#mf}e#OrEaCo3MTCraE=WIv`V#9*CzT?UO)3 zsw)f+Q&$`;OehRjPkV^uZHy8hXJK;zY>ltEsr9Sd?pLZwqO1OO^q|t~;O^Q*NU(&-H6n6USeOXRDTn6P{x7qcPWuL@O! zI<1o2C;pMY0;kWIKuc`Y}}Aa=KbwGgoS%+jf-3aaANC-RLkD526|%tq_7MQ2ze}jY{7s} zJC)!5wj63u`Ju?ErMC~8mU>bH#5WD?&v2m?pVedAhjrxH4qJIqE^=Smz%Wx-_qQ*zGL)greo-b`G;b`BdG8D8H1zh^yd?&u7d_E0yu=bePuBHy0l{nOAG6G#KNBwO zD!>-p&?Iplq?D-b>=UO{Mz$#aOQjTiaV5N|R?yVEt)VSSNN2tHsrO9Br54hp9K`9{ z3%n_hao3_V5Mb2h_eUC#O#j!E?3Ti%_?bL5R6*mQ%&uZ&k_zV4;-}s z!x9_n^mp_=xCy>CsgT6T?ytN)`|iUM% zp1+k}0}{?F5qvii0l}f9h+G#eVFiIIoSyD4u&XDSJYHLcjn^RnI%+tR@fS*8x%DCM zyB%BJW-%P%()tHkwDQv3b{zJY`^xZ4YMAJP1I!b#UY&Q7Q#084A>TylnP(1pVG^+N7AoaJx>kWq2 zjixCfV*(WShDox3WZt3fzqdB%dP=t!DEcHrG1e?AhA%@;`{(o;F2p8zh?i;6Kut3; z=le2^j9dQ#wo2{%G+T)ZY=-WBh2hyEgNpHf$}u1{{+RvGzDW|v5!8oH`!)nB zeozdX@eQZBZ8BNyBd|eT#~$OBWVtQ|Ih_Qt?ckE?Lr0qlrR4*Tmc25|*W3&T zY!>$)Ku4+C@kVS+>8#@sZ$55TgWy$ed#t1zMld9{23)S%%mR26cfYI*0FkLT*uaeG z0|*+x;s@x2(i&3&qG?P_nQz5!!yfonlX^YW7`wmcG%;|;VcPu{ou>Y)C@nR?en}r> zcs6R2`@K?&udH3*1sn5t-5!g+DLZR5*R-2t`m`pui&J}#2K|13K?xRA zZ<#PTAek^3NcE#oKXVp8xke)e?qrb0tC1ev=6!1o**xzem4GtjxdB+>`%ZGZG7SfW zRH4; z9A$dKtXW?nzWRBZ1k?+ z$DNAL=KB;;M8tgU0Kp=wkRTnohrS{Joj$4k>kp*9Z!sFy8)yMLS%WT`)Tn3AbvNX* zVZ^)AKApDsn86GCyt^Hiq%p2?Kz;D{YcDci6tM|eahdD}Gk=6F6-pfY;0X{JsqvId z%_Uf2>Ma?4hRsr+)0OGeARCVfy=%fSu-~zQ81RLCgzPvBslg-4@u3RC_~|R^`1NOW z2Ev;>$`4dcVYOnBHgU&a^_QeH)S)T7J^?i@SaPX1um^lPZ~+jqOM}v-+54R_pLj5o zNO-@0wH-n(0&C2{cv_bKof!Z{K>TfaIJjVWl#~DpQ*x@jIL*gzF&sM9Np0jZ!F;>t zHZS`(TO~Fh*gGg+UZDN^M0NGnN9__eTc0<*12&fzn0w09{*pI+i#YF*Pj}E(VeL&R zfw;KqPp&;T`$j@bDK%l`0gdio+1R1`pfFM1%!>wFdy)>~dqg9|29X(xF=)^EuzP63^(0lUKE{7oW}csyjqeop$$T z*irczP!-0j)us)ieRahoyuM4@t<%v@{5RbmufEmHg0Kk9aC zP=BgfKZ(oJ6Yj}BnfBR?X)0bfMNJGQMNRrTf3)gnjE_wLm#mm!yVR^Cwz|}%U3j9w zBvs`%LiePSFKYKo5)T1D_kZK%mY#N$c#~hZeD3#BJZ2yMVq5OFMSG4|{qhhRw#!L5 zu^n~uxgX*5V)OQpmL28cPT@xMmp);2B@HE~?eGVn;7sKATT8hYROtl7_!$CdMj$h`HB)OsmA|rT4Zpw6$$< zJ(Gfc1Tt6~BN4kJ->e4K7sAi&q>a_S?eO=8%Em;OMMz8*+VB)lK>t`a3`*SvdEH;mct}^*q~FbH zMzsm2sp4Vw{y$!;2~xKTZzWyq zAdF|oC()1<0}B_y~imayoK0 z-kQ}yD^)AP$Fx%0#2LhQOA{uaV+}vy%46M)qE0Q9XO93jJnhiw=lag_17@A&2@|uW% z?YoQLdzJ@CNk9c_05Sz1Ke5oKe*|z$I^QTnVD7aOA}Ss7I-+JP)wi5muA-(8iNNwsz5)?2ZIcwB_{T0U$@wW@t^KwFU@~vgjnDp<3MrV(xAcJytmYV9r}N@jrNwwwj1eT7%e7!Lse<1_LihWiY7Q1 zEk>vyl`SQdkeP$vgoqW&7gmbX4pA>O?iB;GQm{DnLxO#(7i1*%oC_rDzXToI3zhL3 ztCgCegNB^OJow4?OgIk9WRb^{CG(nK@`{lsWC<2*SbCrE8%I{$OYGi)$Lllz&a1TF ztraI3{`E3acAP3~Dl$J2f0)!f%j}&kjjH<^x*$zc4P%S!8tKWw#Im+pMiw-s;v<6x z#%uAk{4?ssR+(}*sZi9?7K$a9J0{6HsV6yvg`1q9F2IFY92$`P>h#|S_xwEbox7%f zKD$FdEoNWT*0zdjElLO`amRB2u?l-S`_%$h3ykBgZTuC3eS0MVYhi6IuYgLo$~EmP zvE0etBX&ni#DY46+NdE+p;U%=2awqmDIqLS)wZzC_ZT z50*}8eogV2zqx+X%Tzey?LI5KJ>z_SlI}l)eq=L5gLc!+bzkqgZi@4%?*~XU$GhU9 z+Tujj_9K+jz(HgPF0uO$g;Pp}i1~Xkn`qdd@a<8qetFU`a$am%#6ceX1vEa`2aEL- zH+FT+iK)5T?vWP6@Y%YoDTMJ|I7EMqC^J^(MR-}B2u@(OBQyuowz43j>2P=&5V$bV zXtKo%ZUQu5ug)%mf5j(3V;IUND$c5b_?eN2p}^Quaaio2!lAVaV%a(g<6KJc$+aif7PNS8wSWnqjq`m4_lH?jf^lC~pg=sKqaY7I`(Qgd0t?7wI+VZ8 z9^&0`yZ1VKjNsL~g)ATpsK#lqH;c(zm|;oYy66=ej4QqR@vLG>0(5hj?xjl_40RSw zpP9ocnxh&CIlHG-ginbOn;d-T%0uVqg!>#$&Iyr$&&{>=8@*HA&AF5_??)(S2g~g> z%}oOq`(G&=x}bcogwzeQybJp=<*@Qzmq)k#B(y>4I4)(2m4OQ7ITk62-Qv~9x}M}T znd)`ps}q)uXuTWj011bDxbUsamP_{oF>ReeWMyYFl|UAuebTyNqf^TlR60dcF60iBbcI$&7OH?8_8 zICAZr^DMsWYoMD8?qMu5>K$8G>i-DKUF*o;HjMSVn`?hP&IZX2+X}|gTn+)C%?6NX z22A#gpzCtkx#CbFNX!hvW*{K{XnnkBKL{gvcfZ<`B`Z25Wif+ABGG6G-5l1|rLK9CAH$V{>vqZTdCmK3Z%Ve0;dzfE^12}6$ z`4%^o)#iVwo&7->;gTU0Y%>cP73Os{@nKWY+7pF2{#WrH9+v( z+U*R~y`A*m24eB%1=v4-OIk0xJj{uw5B?%|4SnIW0&Gb)o5*?O2D2sOEZy72=(VntxinmLkGt;G^*@MU~1R zS`z*31h5V)SPH3k{!gR}nb*{6crd(WEo}-FAJ->X#c#`734et}D;Qz`dnfj!*l{%G zaz*UN{6Wzzr*y=f{8$uoDE6(~1~4HMKXc*Z;zY?ac(n?btvpR#{*C?>}RUNpwU#YK^UO^I=- z$&7#c_Z7%Ap*{^E$1QX<%35;%+LqErP*Fv{71Pn|P7D6D$}p2-#&xT)XGhu)k|hB+ zpkP*O*Sr~Ts67QvdZ-xGUkr9b#V6{<7NpoC4d|%;bw`>DgCOK3o(z*A%&M#} zhz)XxL}6VgYM&*zPx`d8b9WNFsLX`?@IhmzgorRSn5vq*AH^_KjPTvS1>p`M-JubEI5|9r zlp*+YE}rh!w2EVbC8lsu3PL3vA-d1ZM*&)_K;*tc{w}N&9Pl;pA47M z+MDZc-??z2_gm2A3TYPK+u9U-2|SvIg5>Z1c1J&J?GL#v<7M`vQJ9JPd){RwNBO%B zLN0*6^Zc&2MLZ&X6O?Wf^qg6z!GepL7tPp0OFFr0Jd(iFrU_AFh`B-Z=^4{YPK_2rwvjvq`juu%s5Z(swb0Y= z^bdg(*S*jd;o1f|MH*WjS(*%9qZcJGOO@A^l~IT|S%Ei#j*)}7>s$OkBJLp>lPRKq z-a7ac-&o9{v0Lc~U~X*n`1Eu47W7*pR+LZ;1)gtWu#v`b+y{l%xhtIWcMeP7$*R~K zVGYt*n%uy>#9YG=c>&H&VH7e>+@M5oIl0w_re4^qvD>36I5}Ays<%-)hU%?Emx>pm z2}%xx)*xAw`XHG>%3~pDMe9DU|KSpgn!OpDF|I71jxnLsgBe=epwyQrfxI`^!2SCU2)4cQkl^ zXNTGEq|yJMp!-c}9``(jr>>Krc!U{tGRu|Bu^}f_&a@)w8bT^#j;By=(y=G_F}z!R zdPLn#Vz=o|h}qDH+T6v6#nM<7FVe3Yhygfke>Z?>CXRJKvwLK6AB64~=B$z0vOO5tdu9e@o;_4} zEpgU_I-WAPvpJsEZI#L@ny$_p4K^Q0RvWvIhZ9~>FaSyd(x^@ zoV-hnuI37OjeQHB-`$-xoA&GCYn>>4d?23FZrqsWCY5Z*ushBdI-p^OE3*DUbqMUr zF~RgA77}B37o)%q@bAw&Y$;S6I*XHZw+$m#sA6e&9k=2J4ISkj?YueViN8K>Ws5!( zYGGfw3WG;q0q1V(Bo$NfNi9Y#cPLHBb?@ao=$Z4b>bRnr|%kotthODhQv{HPFcnG7EQOr;2!h zW+{&~DeuFq4mD)SS|^3#w0^yO^8Gq?o)mr_1^lAPxpS;k3`@Y%`_{OL7{8L(6HQ9F zFMGs%ii0t{PazK5E2FCPNB>|254`t3(@Es018YvE>R;xoUfk4^8+k3vDLT^Lg?t_B z>yaD43>=F^Id)3(u=iJS!e>*im+7o!C$7b z24q{byJmY17i0t?AHqNwQADQl`6MN-ZqNH#P^V-x+*_2+ck1S?GUhMQHJ%*2I!0x! z^TW%o9q#&bp=vCQMo#%{y^+p3Y9^d;v`IX8<>&Y5%burjvTbvD;H7GH@-j4fHeTV| zWh|u?$ed~fwC?dV&$0WbfRfguQI_`A1Gs?T8uVpL?@iB-18>!fG*rnWRLb{-|5R-3 zkHpPrskAB*bQ-tbot*H{Z8#O=dT2~>M{_rOI(&z1j$al`A2LNM6#S;Pp0i*7;92CV z9lM`jEG@I0pE9pnxb|S7)-rnA`W1aNxV(TSCXEX_eMq@Q)m|y~P241SqqQj< z&+BZ@*~nU&vyrtlX3T4@O`5Z>JKob=hL>=4!D=Le<|w=UYoe=~zy12-R@XV_)psa` zJLNikuLCc_TOtrQJt}{2k8$ZW56GQ4I${`Z>M4iO4hhRoF!RI#b@Lrz-VrW6N7eW~ zoPyQZY^l$>EC0~CW~@>(UP+5n3R_5ncY23^GZ-&uwyH%6i2zAwiOG0Fr%cM(@M% zleBvuy?qo+HHv*H0$<5~;9^gH51!vUY& zh2Hx;XCanBL*8#+q>2nm0WkikB4P7&O3|1dl(!hp=PpI3zKCZ2PPQ$ag9X+a06gUbInXg3&9iSc zHZX8B?~4!0J5{0TWOVTImj&q`oWGz|U0zd?ZB$llBr+Va3W*^m0jZW%IiGsNESl^J^*sw7SR+25c1ed8Ch~U0G2y|GI)i_C;@>iZ z3wg4VP zo1ng0G4IBe0}2#@TlHvK2ndBjA2fwsLv+OCGhGlq)IDJrCxQ7~hjBbm+eg zcXvQd>>tj@ep;Djk#vA^X&!{g>@18zLWUVABU zc0d;9zl=^S-VzhK9;g6@S-WnB;1{stYHZmT>D4wqFwt~wA(Y*yitYrtSHyD~*HbKO zD1Ex|4#G9`L zh>@J4VUyfkLZawz$JlM3LhjPmNzuVz?pG3D24Y$~=*NKBKe~X|uVL3Gnjn_3)O(C> z)bfX<+nZC^DVv&EKjEe%y@6C9>kuk%*b}wP3Tp0f!+2QxgQ5AgR&6OdX z1VRa`?6DfpfD53U0aXEU5Lc2~>ucX~d3b2QnJnPFR4-c-4_%*fHJWzf*IAlWl~#=4CZNO9|C zUl0%OC3sRTo@5==R@L|_uTdK-TD?Ias;RfA$5v+%z-xrp1s!0tWQ&$#E%i98O{ZvUjlz4!G6(AZfFXdd);9CpN+L-icXb^`g)#ePg0@Py1MjN&)S(1< z257v*I(kO%TW%mOrwV#E_7dUjj@>^{Yt^JPmH?%;Dq>YEOZCRFOX~21(A%@opcta4 zxOrLln7**Gr$A&7UPuw=_y|)mjJ3xSYx>|` z);njnJss0vMzJf~YngY?v1KO6lloSld9*|3jpQ}^hiVAbQ48H?lwJ{RCLmDCFgPpc zdVq7Hq=TX3GxNcz7T&&=J@^^>gkYmnrsk$bL#<|$-aA2I<25^#dZJRuB>bZ zsug+=>Y;;5TvUjz0-Z4Wqt

br}~Uq4L28DHQ}1bC%-;z8M`c z#Wk{zWlk+NbBiG}Qrm;9>*((&v^tzv?nJ0vNQk$F!A6Odu3AsPvOsd;Ou2Ybb3ZMtl3of=)if14fva0>>e1E)&RwK z2ie677b>?fqa9wO+K^Yo@Q)4XimZk007K#W`u32#q7umhNc_ElGJ z_LK{`F_B*PoobU?s*Xs*bKD ze;ZKC_864S&gP*!6f`B4%>dL20zkG0yoRypuyQ0a`;wbQXDGM2d=qXN{Lh!QFskHr z3v_{>lV7)!{N4K7dC?hOYf?z(`G1e=rrYG`d_ua@jluA0`OiUq#4{{*db!9sfwh<- z))s(tzZ8~D+C8Xg7n8!am~{jHlw~293jZ6zqJQ#^U&y*uku|j%mJJ~7UDUJ-{|+z` z*?~f5Y$mjuw}?9Mh5_4gaS$K;*_>(nO>U5p%m$-95OX$Ocfe%RCvivoxm*9D8Gf!SK~OI-}u) z@`t74*=V~vnI5MPey>w^C+wpal+;m{q16uOru%ly*A-B_SLP|XTL_$BEI444Hp8Gn zdMsJ)Kq@>DG76ll8O}=rD`vBj&dVb*-=vuE%TZM#3l<<@6=HwLw!!Nue&i;8M2@s4 zmoULVeF=h#qzG;ka#e~B+L(i@=qfG_{40@Dzl?Y%$K+xEAW%+13uc(PSKulpY3sy* zht{EDoEV@eXOqT9%w5LGq#=!@qw^=uBcH5HXjsfy8FX0a32(5;Jq6xp#0~^{69}3_ z>-z79@g%Glwb#Dnn|K@PJvnZxs&gIr)S!ItzxS*N{rG^hdzzm^xSLm#VE0_!ZABU^ zm}9N<;;u2T@sQ8$0MNy+AVfQmJK2xRxAY(iwn6}iFRg=T*a?g|uK37TlXIRT;+ne7&#y`W@%zEhh3Aq(I$l#yIh48EkO)QDQJ5vJ)->k$fD{&7+V{6Vl z42ut5NM6Ul*n|-Xp$0_Ppi$jOJXbD#igJ#|?vtMfoN#AU^R|2Aq6uza*^gGESUR1uIFk+KA--|6v;cv*8v zBxve5hK;5ZMg~|nPTm|w?xu+@lK?%n*9QDvsWU*U;L-yH>hp;n2+EWMrP{=IGwl@( z8V71l;pgK7LAC4k|6_!V{X(_B)?z4jF|hV4@1rFtlxK#w-VMfx^O^5(L_Y6QPtXZ& z_Uu{%0c3kNJ%5up=WN>%+q1;!I?@1dv_1ZzQ8m*{+UPf4I-b_)0r0F;Vb(nhBsl;H zXbTqG6zlFCb-^fO{6-JU-F3{>u$k?SvIKqf^;&FRjAnN)dcD>p1s<#2<0>H9IGpZS z6mq~`(IOTC47z!M0h_p#Wu*GKKL_W9iULML8QC5agm1{AME7jFuGRuzA7ZMWHKxc; zF=xPzN~CqF>SX+%mUa{%B};|9GS;=u?eCr_Ox+e_B_MsBk_K(J?XShv=KJcVJ?DFk2TWLQtjN0br)&HK z=FR!};XC+96Uo4_3bM0p$*6e9TKZyuiDBE3YGo+Hx)R#Ze#iff`0gH5^BC||dA%~5 z9v#qa;T#ga_q0|PbP*gh;ksflzeiUcIeas`+qfW5ikq~~uHL-Gs&;#I3<^Vq-yFLlvA{*sIuZq6;!OAj8VuCInx_BEFGWL@dCD%-`Crj=)q@13&yafDhbD#bQ-{5Cr86u@J2-8 zF~|$C9?b~eOmU?a?{0IUS6p@_p$~l25;KFOwQpp3-*aWH`!J|!Ko89cv9?wA*l=A( zezrwhN38uki^dd~;vY)2ZB4N5*4&?*HA_h0{RGujpPqJ=FtL?mw0N0;jvdPb_g=h$ zqVU!)TeV!9(Whrva{*u%D2Np97a8@X^mlWaxW3;L`CEHS5^dbhnc2I4FXND4woRY zaI7vdM3F#LU6jkq-U`>l+FXKr*$j# zPtEUC!UN62#L;Xm`jSHnemw+LAWsaX4uNKvhzW7gz3i`o~C1Z>viXgU=ju(0iJJAoBXdbIVZ z-EgmtUo7Ffws?pKyZK>bnKlO}DJ<=3 z74;iy+ui{)y0&vaFmv18;nGR@t}}pC&1&iFoaj@`5FW@g8*^`RvEVvTddboorqFh- zmXM=-`leRT9Su;1_reITMn)UAOG9GQsi43|!8@3iXQF8|!XS@3ChPDvRC)rqaGEZ| z+s9`IbBm6i)2yyg#j${~`b_N*kVO!u4^kTk@mDWV<|p>tafgR>p#BJ!AOzH~5iC1Y z>%dz<2MP^=L4*bf=A2>wp?430k5^fT zteWZwXzE{HJ&Yq{H~FOUL*EoiO@SqtkTQU{kH_u%M;uH~7p6NRbswF}tYoARen536 zhN+=U%6-;h?~GdTqW8TviVM(YqtGb>W2}!gNBKI(pHcf9wU;p^vsCo9e5Vpml&voj z8WJW&#{2tIN$9Say6<2q7VAX>q6HKhoa3N?RisZ#>&zijZGC*NBu&;Ur-w_PuES@N zhxEdGu(U%zTNZQ~t#a{m@re@byE7i9o#K|z1miMOle&6NJVgZF%L=fv(|1aFRD-Sm z3MW6WIr*Q2bsp$T78`$};p`RzpQkpJdK~K^NI{&`6P0TvIq9gd@cn};%xNa=jMzT> z``5^e)aA1Xhk&bp^Vca?j}n(z6dd0C78dNW3Bd3QGr zven)$n;IvDwZbK!V*bxfZMAV3O*gja-;3RZ6@qJ@SF>FRg>YPATB**FXtffO8@Q@M zHC6M5y;O%Z1Km?>4qlay6NHLWFBNdFepnNH5z(?egJPeV`h<-tB*yb+I&P2pWHP?#5Ggw&XhX z)Sjit*RI%4w&WTF@QiQ-mM$#~0F-IZessJ+Hb51CJ6?(m3Il=48PXLsMisd?0VMNP zl3}-rr+XL#UxS3F@)~=%NJ}m4v>?T~28uV@e6U>Ru7%h++VZhVt>5EdbQG?K1nP?U z?~uHE z;xK5q&^t7=)>}yto$cg<8My$lO#migA7&Q78r`98%v_y2CTl+bj0pG!hh{ho8`@XQ z%v_TwmFmC*Dg$joXeHm)NXg8yhwXYL!{OW!0r!5n_hX z#mA!g5Q6GAA55fF)T4Ie2 zRTmqw@i*(x5nNMrO}SpsMVOYX6P!li&aan#OT?*{o7-Qj4BB@Lu^&tCN0kuxx$~Ur z9rn~&W6J_w5zbWfF4ebg3=OF_NMJOCp<}o3JZ6NQ6(vfzh8F1O@=v&>2dk`<0xJ zo_0Z1bA*!qWFc$+jidcZnx+S8bc14#=cg6qf;qoO&|dhE^-(u(ar&S1v-zdo%^8O` zI{!odXT6vR;> z@1xvp@iQWNPoW={fRP_a-m)hvlg4#&f(4?QzQ!JU7bJI#Ev{3Ix1p{7$vW08o{mR? zx$Z^SAmR-n*|wHC;zo5$1jaksAVjNQiVieh{{EieptrlYXeP8MF&hAyt_vHDj*>a# z=k-}XO}E>lU<2Yw&D#z^i22ygQ481qC*CgE*zk*8z-Z%M8s zS5jg9C6Jl1W*3)}elB2OqQEfP4i)AiBCd1ew24=U41P4)g>k^nHJ5AiH%1Cu}HY53^3B8;)vT^Q}Xo2$?2sQ2wj2VT`^#kaEtYY1=u@%-Jf<=5+c z_;kyS`ye~77cU*4%Wsj)#CL+ROzclTN&MU&ZX&Fnl%@@J8n%niY0d*6cYrEYf z^Cim+uoU-n8Udi$b-#J#yL%ctYD&U9JV#SKBYYVg>yYIAcIv3kQzbnt_W~qm?GBDw}xl8;l(*eAer~Dge)0adxUYrue^x&8}~JHFdJ$s;WK~ z*dJAz2Ij;+6%RqP-d@JG77Gp0T-M4Ze$yUUN0mJLN-Q^kS2QmmR1FGe%~q{p%$8>% zvTa@Xs#*_lcR_Fdq-Of`I%aFJqAIU?X|bz*iBuIUH_2{H|GwqsUWp7Z+P7c9??)AE z7623n5$W}TGmL8lv5wS+Avf(j2=WBt7^H)aT_AK~%j-o%CV&dj4%R`kAF{1SjPdv( zBZLLOv*i#3IIRdqVikH9^uRVN^Wwv_^~MgiN4=Y<=rFJJ7tt=#3|;=(#O=ag>qi^# z2Iw#0!Zqi?d4YV61MP=%v| zD9OPaI8GvAwE219^0%NNA? zFiJutzK>Cr{$A~6wwl$`N!;l{BZz3pSDOtK*XH%Zir>W>NCj@$#ap!DtbIlbIM1ZW! zunpNPe=vlyyh%e(i2Rmd4Bchr9V4PJEHUr|@^bQ~)x5LD*i}GJ*0L|2z**07J`H=u zq~KXhH7&fEM$Q#!F$EGhUq{qj>kU}%h|tCvD%dp{^g5>Vx2v=N?CpvCSsTBwq&fhOP<={SP~GMDM+luz3jsiOXll|_ z-O0{6^Dt!|W-r^|U_3O>`LPCNKSua`6C9&Zt}T*31oDxElhr!{1yhb^JgC18mSLe8 zj(izP$b$D_d7kDTVm-~*kp1L4lHRHvHLupa{Vjf#qve`L3U-U1ZaPRPSHJ{SN!t!> zoJQ#^2AO*wZ6_wbu#p^p$^gvG0ZN)qwic|XblpgMGf#O!PIW>J@%=>rl}kb4OsR(Y z=HK_u@0Kj_qXUdo!k2EwmXBc;2sNvq0mN4Ko*huD8l8MrqW2+_BVV-`lX$EJ93m#a zZ$k(yo4fjx_|_i{A6-^^jJ-Xes?WA-i=G8PkkZ}gG;vnsm%#Wm69Mh8pADCFN5~sX ztgCYO-O->Nt}nl*xZ&2oYxivHW=HGzZvb^p*hwdCr|cF~vb>r} zi9u923Y^}^(JP}N4a=XICgd2zMgW-rm?G=e~gvL zUkEz%3Fen~=czBB*&ZRtW88|$G#+74Tm?L;$JR5Vjt#D(-sOA-NpF19d@)7mA9wT22p#B8U^h+=5VQcQG1Dba$0lKlRF^HpmW>iOg?#(V%;qC=3HLLT4vvE z;JAeLI#d=VOV3}Zbrq!#%grpqangxLr>ys8aW z@+pm_X|O6~5n=d@w|Vc~ukO85HPury-M=~0bN)D|r>DE2g&Elt*|?1LaW2PywS)mTEbx|c zRw9^nVMvr77Smj<+ISRzsc8*W{$?avJoQebx}#yjDV1OlYVPg)$l;uty^g!UfTS|hs!I@wTf!D0AH6t}JfemN|8D%H7O3+2V(^@c9-H78UAd2bMXRUg`Lct#lzUF-g$ z4lhkD1OGC4%uR)pzB{L00@6-ymK}im+{7p(GXQKCp{^qDWMeLOQIi@hd!Pln98Abb8NK_#v5aZx25Fi1KB9G-=e(S& zGT1_s+Vf`Uy5ONzp<7*_T|3EPjOk_G*gF2;s zlS!9F(Tp6I;y07sdyg0)XEier>Ee+!{ zZ}qz=d&vE+71;6gNc9FTvWHd!M@kd;mJ{G9&M{Qr-?O!|_j`~9-}0CX6=d>5)$feH zkts#QTGSpf?A_M+*iSR<VsdU_t{_r2dPRhNPT2||!M~!oF_JM~%@z<%B83Y2*oO|g`Oyfuk zObui-9f@0qp)^S5t3H?Tm%lo{WvDpPf;$O1r}QbE?`;gcLFP{SPx3dn4!mCmDoEFQ z)#mYJY$rF7eB9I|z}dAbQKcHa!xL(BZd9&OZG1y5G|VuYApuTZg?W4YeEYo}c;5-6V_Ji8Slh_pl+J9dv9qFAXa zZL`(WI*pLBWi6HYHmCOyF4rZ93ffz?6EHvcs8V-_t1O>04NLh@=`)>0N}#96VFJ@LtF5kH2R5UyO59$y*wMhgq}W>e#lY??lD51eHL1;`Ken5OkD7yyt0QlyL{v*X1I}UkGEB zl38PnkNUP}=^LLIOJkS2}W{(50g0ITIZ8j9GqNUho z_xhSVoFj5!QYqK?c)UN7juDM7_8ZnJGyX?-El-|!9GmC&$1<8v49L$GzLYIZCs8Db ztP4dQLQMIc+jr`_6n`22@eE~|bc!v;T(`o&8k9g6+S%X{+5GVPjZt@?BNGK@}kj4VGOPN=Ts(wR=O)aD_RI6i&j;;TL*`tsu> zo7$CbU~=_O6Yg_$b}lHeA^PqKU267^5yZ)dFc=0WtQ=?Eq|u_y?GwA29Q5{=60Ej8p%y*IHcUo` zR6nz1PbMe)+D*m<@{`!$(Ef3j_)*_`nq~DP?C{oUbBH9Gw_K@-r{>*j1N61Uc(`-i zsOD}d$UN(@V!~K7(NEz3v}-7(oHUDM>L`9bXvO|DIno-ULO`V`AmhFgDGeWTn@W`w zjqsxKTg_JnIQVh!R_m>qHCZgNS=>}ZR<(KBU~~PU!o^$ud9ciUQ=<+Uz{E`k!Bv<5 zFLbFLVRuF?8MRvE2*nMmfE0d=e#A#rq_WrT&3A2<>L8cTBPQ%~>2xKN;Xq4Ez5+It&v-XPVc5W8W@@InJ=?bTR ztP$@^i-cb zRf74e23;Uj1hF}DOW+n95a?yikcg?>^C52n8P^&^+H?^os6hUMr}G%_@cmG(qE4wt zO6$ub&YsP#_Oi9>_in*K7i*hw4CZ7cG|c5A^2LmMsb2vGa4^y!>`n@?pr_W(643#@ z*X=(zvbnUwOS~5bTO*+K3oc84_g}s)5Y+Y zJFYVgOEb+H46ldQO}K;nP~secqz(e+p;=ycHU?rgJ?aGOgwqYDDk%(7s4w892H)Ag zttKd)J-rLj(Y1Z0_NW1(I5=p{Z$=&cY)g7f;{DHOw8&ddAwM5ERp;(-j1%5Nc~m+g zhpL7p8Sk%S5ORBj@+LVu<0~aN+UQEyxVq;Iy z+{I>l4wfHC+2K!v;H!3}jcX-{fa{{?d-0hh^UWuytJpW)ZGuzGukKcwHcPz0FKbQd z)IiA8W?5Vrl1}6ch2AQLzn)L~oDu2k1|N!`>`T_c9)6%%55$D8bX!nl%M1OSBciV+ ztT_CTESfD6oiOR(l88ytgq2RH)E~|%&#tV51v|^7aJm(Sn3x9Eo%y@d1=;KoMPZbw zM-fWgx_I=T-R<)^@z*gckeSU?REfqx8Rpe|zw6MNG#Ho6NWFa%>TBZMvKHCH(1sw; z?p#m4+W3v&(84@fur-dy-5AHs&8uBBPHUA;ep_`q> zfhnH;?vTUSfbj@{wcP^rxs7Yq%TkAJf8Im(@ujD=E@DjP~ zTC4{PJ66&O53{kC|4SxT($i{vWj~9Dj6n{M`ApCrLL>6<d9(c zDss4^-5Z5l9LH_Sqnn1w%wUbodqOqrBjRjbO;8foPV{yLdtEbV>F4I}ApvB!IJO3ro z>Py4UWQE_YV4#742s%mXLwVtnX0buj6-Fs3HJ#*?>~e$#cq8hVb?^{=`2 zr?-gLjoV?cs5d=O&xiixP&!V608VHnz{XlqQf%v27yFFtz!wUy2~l*p-jvm~QT?&TJL{oBM)WZK|q*y7ipZ%?~?C>lG7hDK<%XP2>5 z1D|Zw?#(Q=YLIdR1?;v>!Ztkb_>Kaa$$c9&CnCDyE36#KU4_J@*KQ7Ve(-9SwF&h_ z>d9T%N38MmUFM-6&#pSbaJvrC_1GT1^N*?+sS!3;$At~J#`iyGy0NmSvzTL&h?|ku zd6zhf>w+%BvI&g7S5S$6Sy6b-sGUe=AAEczu&GlylzM2{00s5Jj#pc@Lr<&37_w_6WVG-G}Q9 zorZqcH$0J@(7-Q-uCI1FeQ;1Hc$?EOMY;{64~=t zPW4^2Hp0xCVUhakxdrqmInPki!Jbi}_ns||{U(`ce5U?6IzJxQamVEcA1Jn{0eF&o zVX3B2eZ-+e<2dlS+qjCWCDmEIlr58(q_4=CG>Z!SR?w%3ScH292CvpAoeLd2ujI^r?8A(zSQhV`m90{_G92 z_{JzY-iN<{#)L>EX%CSHW4Rj|MO)G2S(2l6nnG>(1M?D53mvn?4E44ZHTJSx)v`(W zzIf)ddAmN0M|AXJK)O3GpXAx?b2Vn2NTPFrm zHd=K4a{D>BD~}|$MrNMEWTOh^MG^-G zLG6sEiGBsbs$>ZPYV1lv)YdIgA(){j7AD%vuoC5At9&`8T(zt?UPt21?8|gboD!T5TSdhPD!ONu%8D=2h=|B+w}{9-wuZ_bq%Gtfb*5v= zM##y18I;upXD>`-AD=*O?IReU+sr;aj~$)sdNt*QQLLE(mb=Qs()hrDXm3;1U8~Z$ z(izK~ANw|Mp;!;tzdJwh@^A+uZ3p4A*LU5LGMU3YVg4t}u#PQ$FN6BZi+TUhHi^oW zg}g)mOM`vXHaXucT#i|q)!p%SI)35A4hD>p@!q?88hc`rfsluxCQzNOT>A_|`PRvD zP)h`VPJgJK92Vcya;DT3K-NK#4TYk3pYzMX9UPup)+U&HN@aXpHGj(Bkc5(ZdBb(?B;`yy_))QbW}n z2aP$31GBA~?QU*iT9c(5^!ZV1c!oAvu!3OAXD z4U^#wtgHH07ICUu0UHp@&?vgdI)>GbCggYO!{+KW(v9y)#>S|zOA)c|F z{-^{16n3xyx*9+fQUECcfCT{Xv?{<_IDo=<$i@ruIT4u^6aat{cFzIiGXB$bSd{WW zfe8Sl2m%1OfWH?@Q~>mW)y|XO&&ByKR4gp4Kd3JryiHzuk^ulcjz9p;-vt3x zI51rvASvemIAPb^KpF-!MgYLY($&G%#?y=6!`k*QxW689nF~mRlEnm*=LWL=zogWk z&S|FP7!Vi1zXe>7s3<(l$?tG!@&38q|BP5N!^XLR%$WbchcPG9;nM$$J>kzJW6a4v zKrFCvE+7u-AD#UN1D7Rv4Tl`Y$pysyf1DCdB)2?EG8KsNUpW6+LC_x&dRPu85X1a0 zO(l!rt!V-Q01u=_|Ec2|768E6(%;S7i_gl^%HHN*Ykcu>paY+U3IO<1DgU8kNw(xY z7HZzV1pb0f__{|{W{5i$S( diff --git a/liberty/LibertyWriter.cc b/liberty/LibertyWriter.cc index 00ecc0ae..e14b5792 100644 --- a/liberty/LibertyWriter.cc +++ b/liberty/LibertyWriter.cc @@ -52,6 +52,7 @@ protected: RiseFall *rf); void writeTableModel(const TableModel *model); void writeTableModel0(const TableModel *model); + void writeTableModel1(const TableModel *model); void writeTableModel2(const TableModel *model); void writeTableAxis(TableAxis *axis, int index); @@ -373,6 +374,7 @@ LibertyWriter::writeTableModel(const TableModel *model) writeTableModel0(model); break; case 1: + writeTableModel1(model); break; case 2: writeTableModel2(model); @@ -391,6 +393,21 @@ LibertyWriter::writeTableModel0(const TableModel *model) time_unit_->asString(value, 5)); } +void +LibertyWriter::writeTableModel1(const TableModel *model) +{ + fprintf(stream_, " values(\""); + bool first_col = true; + for (size_t index1 = 0; index1 < model->axis1()->size(); index1++) { + float value = model->value(index1, 0, 0); + if (!first_col) + fprintf(stream_, ","); + fprintf(stream_, "%s", time_unit_->asString(value, 5)); + first_col = false; + } + fprintf(stream_, "\");\n"); +} + void LibertyWriter::writeTableModel2(const TableModel *model) { diff --git a/liberty/TableModel.cc b/liberty/TableModel.cc index 6ae924d8..e5a6f7ee 100644 --- a/liberty/TableModel.cc +++ b/liberty/TableModel.cc @@ -46,8 +46,8 @@ GateTableModel::GateTableModel(TableModel *delay_model, slew_model_(slew_model) { for (auto el_index : EarlyLate::rangeIndex()) { - slew_sigma_models_[el_index] = slew_sigma_models[el_index]; - delay_sigma_models_[el_index] = delay_sigma_models[el_index]; + slew_sigma_models_[el_index] = slew_sigma_models ? slew_sigma_models[el_index] : nullptr; + delay_sigma_models_[el_index] = delay_sigma_models ? delay_sigma_models[el_index] : nullptr; } } diff --git a/search/MakeTimingModel.cc b/search/MakeTimingModel.cc index cb0015ec..8c3c9eff 100644 --- a/search/MakeTimingModel.cc +++ b/search/MakeTimingModel.cc @@ -23,7 +23,6 @@ #include "TimingArc.hh" #include "TableModel.hh" #include "liberty/LibertyBuilder.hh" -#include "LibertyWriter.hh" #include "Network.hh" #include "PortDirection.hh" #include "Corner.hh" @@ -36,16 +35,6 @@ namespace sta { -void -writeTimingModel(const char *cell_name, - const char *filename, - const Corner *corner, - Sta *sta) -{ - MakeTimingModel writer(corner, sta); - writer.writeTimingModel(cell_name, filename); -} - MakeTimingModel::MakeTimingModel(const Corner *corner, Sta *sta) : StaState(sta), @@ -61,21 +50,7 @@ MakeTimingModel::~MakeTimingModel() delete lib_builder_; } -void -MakeTimingModel::writeTimingModel(const char *cell_name, - const char *filename) -{ - makeTimingModel(cell_name, filename); - writeLibertyFile(filename); -} - -void -MakeTimingModel::writeLibertyFile(const char *filename) -{ - writeLiberty(library_, filename, this); -} - -void +LibertyLibrary * MakeTimingModel::makeTimingModel(const char *cell_name, const char *filename) { @@ -86,13 +61,11 @@ MakeTimingModel::makeTimingModel(const char *cell_name, for (Clock *clk : *sdc_->clocks()) sta_->setPropagatedClock(clk); -#if 0 findInputToOutputPaths(); findInputSetupHolds(); findClkedOutputPaths(); -#endif - findClkedOutputPaths(); cell_->finish(false, report_, debug_); + return library_; } void @@ -269,37 +242,52 @@ MakeTimingModel::findClkedOutputPaths() while (output_iter->hasNext()) { Pin *output_pin = output_iter->next(); if (network_->direction(output_pin)->isOutput()) { + LibertyPort *output_port = modelPort(output_pin); for (Clock *clk : *sdc_->clocks()) { - for (RiseFall *clk_rf : RiseFall::range()) { - for (RiseFall *output_rf : RiseFall::range()) { - RiseFallBoth *output_rf1 = output_rf->asRiseFallBoth(); - MinMax *min_max = MinMax::max(); - MinMaxAll *min_max1 = min_max->asMinMaxAll(); - sta_->setOutputDelay(output_pin, output_rf1, clk, clk_rf, - nullptr, false, false, min_max1, false, 0.0); + for (const Pin *clk_pin : clk->pins()) { + LibertyPort *clk_port = modelPort(clk_pin); + for (RiseFall *clk_rf : RiseFall::range()) { + TimingArcAttrs *attrs = nullptr; + for (RiseFall *output_rf : RiseFall::range()) { + RiseFallBoth *output_rf1 = output_rf->asRiseFallBoth(); + MinMax *min_max = MinMax::max(); + MinMaxAll *min_max1 = min_max->asMinMaxAll(); + sta_->setOutputDelay(output_pin, output_rf1, clk, clk_rf, + nullptr, false, false, min_max1, false, 0.0); - ClockSet *from_clks = new ClockSet; - from_clks->insert(clk); - ExceptionFrom *from = sta_->makeExceptionFrom(nullptr, from_clks, nullptr, - clk_rf->asRiseFallBoth()); - PinSet *to_pins = new PinSet; - to_pins->insert(output_pin); - ExceptionTo *to = sta_->makeExceptionTo(to_pins, nullptr, nullptr, - output_rf1, output_rf1); + ClockSet *from_clks = new ClockSet; + from_clks->insert(clk); + ExceptionFrom *from = sta_->makeExceptionFrom(nullptr, from_clks, nullptr, + clk_rf->asRiseFallBoth()); + PinSet *to_pins = new PinSet; + to_pins->insert(output_pin); + ExceptionTo *to = sta_->makeExceptionTo(to_pins, nullptr, nullptr, + output_rf1, output_rf1); - PathEndSeq *ends = sta_->findPathEnds(from, nullptr, to, false, corner_, min_max1, - 1, 1, false, -INF, INF, false, nullptr, - true, false, false, false, false, false); - if (!ends->empty()) { - debugPrint(debug_, "make_timing_model", 1, "clock %s -> output %s", - clk->name(), - network_->pathName(output_pin)); - PathEnd *end = (*ends)[0]; - if (debug_->check("make_timing_model", 2)) - sta_->reportPathEnd(end); + PathEndSeq *ends = sta_->findPathEnds(from, nullptr, to, false, corner_, min_max1, + 1, 1, false, -INF, INF, false, nullptr, + true, false, false, false, false, false); + if (!ends->empty()) { + debugPrint(debug_, "make_timing_model", 1, "clock %s -> output %s", + clk->name(), + network_->pathName(output_pin)); + PathEnd *end = (*ends)[0]; + if (debug_->check("make_timing_model", 2)) + sta_->reportPathEnd(end); + Arrival delay = end->path()->arrival(sta_); + Slew slew = end->path()->slew(sta_); + TimingModel *check_model = makeScalarGateModel(delay, slew, output_rf); + if (attrs == nullptr) + attrs = new TimingArcAttrs(); + attrs->setModel(output_rf, check_model); + } + sta_->removeOutputDelay(output_pin, output_rf1, clk, clk_rf, MinMaxAll::max()); } - sta_->removeOutputDelay(output_pin, RiseFallBoth::riseFall(), - clk, clk_rf, MinMaxAll::max()); + if (attrs) + lib_builder_->makeFromTransitionArcs(cell_, clk_port, + output_port, nullptr, + clk_rf, TimingRole::regClkToQ(), + attrs); } } } @@ -327,4 +315,22 @@ MakeTimingModel::makeScalarCheckModel(float value, return check_model; } +TimingModel * +MakeTimingModel::makeScalarGateModel(Delay delay, + Slew slew, + RiseFall *rf) +{ + Table *delay_table = new Table0(delay); + Table *slew_table = new Table0(slew); + TableTemplate *tbl_template = + library_->findTableTemplate("scalar", TableTemplateType::delay); + TableModel *delay_model = new TableModel(delay_table, tbl_template, + ScaleFactorType::cell, rf); + TableModel *slew_model = new TableModel(slew_table, tbl_template, + ScaleFactorType::cell, rf); + GateTableModel *gate_model = new GateTableModel(delay_model, nullptr, + slew_model, nullptr); + return gate_model; +} + } // namespace diff --git a/search/MakeTimingModel.hh b/search/MakeTimingModel.hh index ac284a2b..53b041cd 100644 --- a/search/MakeTimingModel.hh +++ b/search/MakeTimingModel.hh @@ -31,11 +31,8 @@ public: MakeTimingModel(const Corner *corner, Sta *sta); ~MakeTimingModel(); - void writeTimingModel(const char *cell_name, - const char *filename); - void makeTimingModel(const char *cell_name, - const char *filename); - void writeLibertyFile(const char *filename); + LibertyLibrary *makeTimingModel(const char *cell_name, + const char *filename); private: void makeLibrary(const char *cell_name, @@ -51,6 +48,9 @@ private: TimingModel *makeScalarCheckModel(float value, ScaleFactorType scale_factor_type, RiseFall *rf); + TimingModel *makeScalarGateModel(Delay delay, + Slew slew, + RiseFall *rf); Sta *sta_; LibertyLibrary *library_; diff --git a/search/Sta.cc b/search/Sta.cc index d56036e7..0d3d0217 100644 --- a/search/Sta.cc +++ b/search/Sta.cc @@ -28,6 +28,7 @@ #include "EquivCells.hh" #include "Liberty.hh" #include "liberty/LibertyReader.hh" +#include "LibertyWriter.hh" #include "SdcNetwork.hh" #include "MakeConcreteNetwork.hh" #include "PortDirection.hh" @@ -5572,7 +5573,9 @@ Sta::writeTimingModel(const char *cell_name, const char *filename, const Corner *corner) { - sta::writeTimingModel(cell_name, filename, corner, this); + MakeTimingModel maker(corner, this); + LibertyLibrary *library = maker.makeTimingModel(cell_name, filename); + writeLiberty(library, filename, this); } ////////////////////////////////////////////////////////////////