From 5b2c191cf77ab9473b2f8da849ea208eb0f40b3d Mon Sep 17 00:00:00 2001 From: AKP Date: Mon, 25 Dec 2023 11:38:31 +0000 Subject: [PATCH] 2023.24 --- .../2023/24-neverTellMeTheOdds/README.md | 7 ++ challenges/2023/24-neverTellMeTheOdds/main.py | 112 ++++++++++++++++++ .../2023/24-neverTellMeTheOdds/tests.json | 14 +++ challenges/2023/README.md | 1 + challenges/2023/benchmark-graph.png | Bin 51089 -> 52241 bytes challenges/2023/benchmarks.jsonl | 2 + 6 files changed, 136 insertions(+) create mode 100644 challenges/2023/24-neverTellMeTheOdds/README.md create mode 100644 challenges/2023/24-neverTellMeTheOdds/main.py create mode 100644 challenges/2023/24-neverTellMeTheOdds/tests.json diff --git a/challenges/2023/24-neverTellMeTheOdds/README.md b/challenges/2023/24-neverTellMeTheOdds/README.md new file mode 100644 index 0000000..58ad75c --- /dev/null +++ b/challenges/2023/24-neverTellMeTheOdds/README.md @@ -0,0 +1,7 @@ +# [Day 24: Never Tell Me The Odds](https://adventofcode.com/2023/day/24) + +Part 1 is not: +* 1344 (too low) +* 48384 (too high) + +Running this solution requires `z3-solver` to be installed. \ No newline at end of file diff --git a/challenges/2023/24-neverTellMeTheOdds/main.py b/challenges/2023/24-neverTellMeTheOdds/main.py new file mode 100644 index 0000000..f8aada7 --- /dev/null +++ b/challenges/2023/24-neverTellMeTheOdds/main.py @@ -0,0 +1,112 @@ +import sys +from collections import namedtuple +from numbers import Number +import gridutil.coord as cu +from functools import reduce +import math +import z3 + + +Hailstone = namedtuple("Hailstone", ["position", "velocity"]) + + +def parse(instr: str) -> list[Hailstone]: + return [ + Hailstone( + *map(lambda x: cu.Coordinate3(*map(int, x.split(", "))), line.split(" @ ")) + ) + for line in instr.splitlines() + ] + + +def get_2d_line(stone: Hailstone) -> tuple[Number, Number]: + m = stone.velocity.y / stone.velocity.x + c = stone.position.y - (m * stone.position.x) + return m, c + + +def get_2d_intersection(a: Hailstone, b: Hailstone) -> cu.Coordinate | None: + m1, c1 = get_2d_line(a) + m2, c2 = get_2d_line(b) + + if math.isclose(m1, m2): + return None + + x = (c2 - c1) / (m1 - m2) + y = (m1 * x) + c1 + return cu.Coordinate(x, y) + + +def one(instr: str): + hailstones = parse(instr) + + MIN, MAX = (7, 27) if len(hailstones) == 5 else (200000000000000, 400000000000000) + + acc = 0 + for i, stone1 in enumerate(hailstones[:-1]): + for stone2 in hailstones[i + 1 :]: + if stone1 == stone2: + continue + + p = get_2d_intersection(stone1, stone2) + if p is None or not reduce(lambda acc, x: acc and MIN <= x <= MAX, p, True): + continue + + if not ( + (p.x > stone1.position.x) == (stone1.velocity.x > 0) + and (p.x > stone2.position.x) == (stone2.velocity.x > 0) + ): + continue + acc += 1 + + return acc + + +def two(instr: str): + hailstones = parse(instr) + + # for our thrown rock + # initial position: x, y, z + # velocity: vx, vy, vz + + # for each of 3 hailstones + # time of collision with that hailstone: t_i + # intial position: hx, hy, hz + # velocity: hvx, hvy, hvz + + x, y, z = (z3.Int(x) for x in ["x", "y", "z"]) + vx, vy, vz = (z3.Int(x) for x in ["vx", "vy", "vz"]) + + solver = z3.Solver() + + for i in range(3): + hailstone = hailstones[i] + t = z3.Int(f"t_{i}") + solver.add( + t >= 0, + x + (vx * t) == hailstone.position.x + (hailstone.velocity.x * t), + y + (vy * t) == hailstone.position.y + (hailstone.velocity.y * t), + z + (vz * t) == hailstone.position.z + (hailstone.velocity.z * t), + ) + + _debug("Solving...", end="", flush=True) + assert solver.check() == z3.sat + model = solver.model() + _debug("\r \r" + str(model)) + return sum(model[var].as_long() for var in [x, y, z]) + + +def _debug(*args, **kwargs): + kwargs["file"] = sys.stderr + print(*args, **kwargs) + + +if __name__ == "__main__": + if len(sys.argv) < 2 or sys.argv[1] not in ["1", "2"]: + print("Missing day argument", file=sys.stderr) + sys.exit(1) + inp = sys.stdin.read().strip() + if sys.argv[1] == "1": + print(one(inp)) + else: + print(two(inp)) diff --git a/challenges/2023/24-neverTellMeTheOdds/tests.json b/challenges/2023/24-neverTellMeTheOdds/tests.json new file mode 100644 index 0000000..5ea8b97 --- /dev/null +++ b/challenges/2023/24-neverTellMeTheOdds/tests.json @@ -0,0 +1,14 @@ +{ + "1": [ + { + "is": "2", + "input": "19, 13, 30 @ -2, 1, -2\n18, 19, 22 @ -1, -1, -2\n20, 25, 34 @ -2, -2, -4\n12, 31, 28 @ -1, -2, -1\n20, 19, 15 @ 1, -5, -3\n\n" + } + ], + "2": [ + { + "is": "47", + "input": "19, 13, 30 @ -2, 1, -2\n18, 19, 22 @ -1, -1, -2\n20, 25, 34 @ -2, -2, -4\n12, 31, 28 @ -1, -2, -1\n20, 19, 15 @ 1, -5, -3\n\n" + } + ] +} \ No newline at end of file diff --git a/challenges/2023/README.md b/challenges/2023/README.md index f7a45b9..0145080 100644 --- a/challenges/2023/README.md +++ b/challenges/2023/README.md @@ -35,3 +35,4 @@ A day denoted with a star means it has a visualisation. | 21 - Step Counter | ★ ☆ | Python | ??? | | 22 - Sand Slabs | ★ ★ | Python | I maintain that OpenSCAD is the best AoC 3D debugging tool | | 23 - A Long Walk | ★ ★ | Python | Both parts here could theorietcially be done with the same implementation but I couldn't be bothered to rework the part 2 solution to work for part 1 as well. | +| 24 - Never Tell Me The Odds | ★ ★ | Python | Z3 seems like an *incredible* useful tool but also not a satisfying puzzle at all :( | \ No newline at end of file diff --git a/challenges/2023/benchmark-graph.png b/challenges/2023/benchmark-graph.png index b0561910d9b2e04fdae5965ec19612f8edafcaa3..7c755674c0344572b8d479eb387b08484a854523 100644 GIT binary patch literal 52241 zcmdqJbyQYs_b$BXlI|`Qr4*C~2`K?-1nE$b?vQRl1Z1lq(ui~l(kTdtgeWN?q0%KF zh{Tx-_q*Tyo!|N68|VA)d&by5NI19u&#JMLZ02ysWNw%F3jd zx9-p|?uOT$k35UaaukMlgFpB#C_E1_A(s$|B=n))d0@(8DyzwPE`X4m`?{=F9R>&6 z88XZ;8g2Y*%Ii{>=6_oWVqN`wS}bY*DDA$I+ns(fiQ8u-mRDXU$dh4X$p7axSdzV; zhLHdLiWf6yi;evIrHn@x$;t8e>mvs4?0^0c=^hj;`ky~=F#lhFL|Gn>lqF1_qjk90 zNI_!W$f*%0N#VeNu9QyccD6~Bju)27sht6Lk6qaHb zj4mR}bK@FQFQRZqcZWn~o=7tbP|;-rOA|t@ZqBBjA{yM@E*};aw&1IR%YObmLBG^4Q%4Nr{kPGyZSUR@`2JjJ zZ9dw$aIn=cJz8cF+Oaoc7RbyRu*aU}vvmFxlPH;l=SoW`=@tAa`HEvr^0l(-wwP` z+MJEPFuS)ox3}5J>Tx8*-Zqr4!=#l=N~a!VWzPR`9=^XXVfn%|FW4_Txb zE;Jtqe(y^qN>an+;o)HtbH#3pAl6CW%Fj)cGdIr=rxOV{@J50P3we%y&9lacN&Q}_ zaQ5`3J5sz3r}inxbK6*oeXE)2C0HdvkGZ z@81&*4-doEaW(z=o_wcScx`QsL00tXScNqf!f)D;ccsdzlVoskaN6v6Ke1!J*1Q#S zqQ(WQGnN@Ep`w6R>;JX_w$Qdq63nyG0%RG^36C4Bevw{PLrY4>n(aBzD2e#1LLLqoAjOzI=@ zb#mVf43LvbZIcCc*v(AdMxCJT}y{(TAO#9Rr-MtfC?`J)QN+{sL!= z3-M5-POp%Z6m!L$-VnHyq@*NzkVC4aeed75amGnva&d9FFMPm&E49JCCKpRoLy+l7 zm7qnyNHC)0F~QM7@koV#*ES#i9N*a53WXE<-jfuXmBpc}r#BN$YZ{cB%f-aRbTRPg zz-OHu*=Qq`W|Nd;s;a7T_V9Rnxceopva(Wf{u+1>UnjE*{NNa`ap7ER`t4|N^X5!2 z9!tw}Av@fN$2+bX*KdUIz7m(o=A(V0WD%#1H{nDxYilJWPl`+%87|%FX}L-& z6}GfwdjPTJnS>X==h{S+&8M9F^y5*hI19Lc@2~Mn7jJcuF^Rh?&$&D;D&mExBF}uV zwXx9xN3hXOsgY4rLkDLs7u|eE#AymU@8ai6IPg89?)UG@!P0ALYiHV{DEC$> z`km)Gi0#K-y?j?Yk>Ak31Yt?h$45Nv-gkQUl~Hn~IF`2`U#i9@B}M5K-mrOi3=vOD zTRQ}`Gm0o|G!LLhar(@ed>w(~y*bheuP^=!ll3B3_NK9@sHo7WAC#VM*0?Oa)pN<9 zIY8=re|nrkG!46$7=3!+kyu}fSSY7b?B(RCn?^>_*B+m>XpbaEZ`i`xdL*mgOd+{c z0)Y#e|M>c@=J#5?%X;Ikn*%e=)GsxCGg@vn)M;sDg@e2yy3mjz@Dm~e zC4&Dxflr6kcQ%R(8&W&Fh={(`3V7KCQ3;8WdQ-Q8f`YIQA2c)Jw&bo~kJ;a=wE1+o ziG}<2?c12h%#gmB!;gl!&N$kXl$5ZLkPx4^!|hKRn8;2u1{N;<=H_N^-%hW{7b*n5 z`QV3YV<#11I2(Ql88b5o^_n7ISzQh1(J#6C(06A@A16uetZ{RI2^qGmvbs7A zg74_)C>IdWqX$W2X60kI(&YA+iAS8V{uDf~3t5z9>E<>h7nx$@d!Lr4hb z%6K*D?xa`x{%8W9(T5jGq^Pym*48csT6MYZC@yhvgqhU zMMlbVB);E-^8})R`R?7jr8zW?J)q`so^HWVOA#ffp`odnPxIXXe2`U8KnS>I?^~jo zrjE`F^2mCh9d3X#_@tz9xTT4ysl}Tv^L?p|Ox14l>J1PtBcr1~)KPM;GJqSnr@ zoDy488|r!YP8JYN)BX~VAGnlZZ{hjl-(QZ)94Eyaw)!NViF*`uSV0OV9xg8^D$=bfdYv&lln^`6AL6K-)g(v1L0 z30=8?)96^5Tb zJ16H&XJ@YI0|#GE&896kFHcWg1REQBP@+WhoTjcWwup#`aib4)2wR3~B0q7OKC6ip zY`+>c)(Nio1;FYNBsxe-^bp?N8aqV*k3!bKMAn**15iLQ`r3~6PVe*Z-ei#%zPoD+ zNxd~L5R@IZxhGQ&(9nT$Eo>{M*3*a zDq31eZ{YYoYe3C_p}znA_P~-c%AI&h8&3SgsbN#GvD4qr58@`VEZJquvq?!w2x4aT z#ixG^{0Ox-wPaypyOEM1Tb3X}y50TdQgCl(@9#<0l>w$Yw*+s7cH+n)8K)-HpIyZG z_3PJ3wruqE0yxhJfDUDbilI0T=cowP;0?z|yUmP#4RAfa=Vq#2>PT%Bq^>odnx4;CogYf*Z!Vu-GP2sTU31erM+MOvHby_x%IOO^3e+6h zWSAh&DMPTu*U-=a=gQ29P z1Q_5Ut8|l|8|D*ct#nAh6aKrC!~u;68!zuEAag<}>W_CV!J$~ukQdB}jjoBC75RGm@R1 zJ-A#WZu9Xp(n4$Im+5i<(4^3-$#<<555lnBMYgApAAed&fk65YrN(ePZ-81ePT=4m zm#q83UcP+Uk%BGT^7*yh%>4X)i?)dTI5PmDpK`8W1#S*_cXC&eMH}CmWucg#nh)%6C&#Qo!YyxP?sH-#d zw}-%|tg33aBj#c8G5cCxe*S>>Ave_nMXY|WSJl;cLBjs4l^&2CubzE81A(Yy*Nqn+ z^T&@LpZ!U|YQKj_ob3DtaQDpYY;1u2cQ-cKuST@AwP69#)y10tNN~mP=a{uYl|8-B z?ph3sl+Rts`FJIkRsbuT0H!(MfZOhq-Z$p&e5smPc5my>3Xu1)mH~iKWv<^;)Y2sB z0q?NAs;D5RrVa=G7h`Au5CRSFWwt}yU%!2`=z7F1>b^i$VqA+Ul~bRB~6Z#;2#p0iLxwK055`?{{*)lAoUsst)dH3Idc{@flU!m7L1eVD+#q1X611 zJ%e)qc;)K#>%_PuOp&YO)tqO~;-1{lD*#Cs!6r~p3mK(@HSi$Qr4Q`?6tg(h2^TY8 z{rviwkR1(RJxwq^Dc_&w-~!LC_}A5uD_WTb{JL#FSw{_M@hv2$*o_V6uk-VB)n5YI zz)*y=qmw^D(80#Tn|qmPDhIRzU}G70w9o6F${k3HC+{@znhft`@jV6G0I;A9@^+cW z@(nQ9mdVLRg?Yc@!(9Ql?`o%5uP|-R_bbWDVqAgX4DymHr>F?vHc22Bd()w$WVE#R zAy~ip_>ltg$6LTZWj;H$02*@j(nlU^T!|_+s|)m~L6oNhgDHu?PEN&a2X>D!w25TyJ zU(|-xn!`1m-QDF~T?GRUcl0Fz7<(_iOq6fthfpYHiAsXX*r;9-6GMDf?b(OvIqiHZ zaGy4Cv-reBJjhKb&cVRI02?l>W>nuvfuov(g|`Bwx(`l8?dj=>Pe}L%kV2^*;TSAq zGw^sfa1ZWd6Ci#DoPt4;5#j#J$H`*VNT-qm0~$>Vr;sMMWD#gN>u#>sG*IP>??T^=lYV>{;;W8?rJ%0w-tY67nf#1>hI9>Bd@;27eF8HHuIpIZK08AER-f|Rvn^SNzg zb+rf(v}ka2L_=~D8}KQRfblbAc<0O{OzJ(~a;5u)fR8W+y(0MrES#~iRR-b@9~Zfy zPJAK+{~kGGVrsG=6lRKHKM}0+0O% z>fcjJ@Ike{pL_t7mOARsu$$EN^bX0wYkZhB|L?0z`T`ef1zAReeoiMoEp zcXf3&cXEnznd_JVw0?Q-4nf2;u>N*H%#WTui|p=J0gc$aH3SDF#muH$MYtWGHz*?c z^NJ@aQ~cLIE|Mw18%|!?Sf@@l@#KAr$O$U^^B3`!e}De}2Omjl0P*4~M||G#*yv~m zAU{-o1y7Z)SHE{pY|3Yuk4e&7v(gO?i9AX0s!8sd)2C70Lrz8I!Cf~t4orl|Un3|| zS^o%lLl#7yyrQD^FM-D~LUzN`kdWI!{zVm>?^}t9iF4qZxCn@EIlc2}F+`9yqDo!$ z|DlqX^^S0HXj?#(?CE%NUI%qKqy=Ih0ffaO<5~(-u)!jg{IImeO+^SqI$G#DT!^Eh z&4YnFi6|$BB7TfP!jl(a16c{#0FlZHDge%IZlT4+d~e#?$~~5cefl5&50x2iJpBHB zJY*UT9=ZCcgnYdZEiJ$ug@Zo6va*7zdcf&e8LU7|Kr06T7U%wl;5#fazd6?_0CFt| zDQ$gyB%q^p0FyP`I)kqBBawf}r{PkwILL082>fDjj+8|*5-nWx_7aD%<#kE}X#yO* z2Xe|#CmaM?vANUBuv5OWVlTPbPPy^pM+jt&{hzDR5OgY6i4^1&?*m}zvWJL5j7)$3 zj*9@M5<>NGRPh@c8rp-RfPmMUF&eud(R}h=gCv4d7nHt(e69qUyd1uR*PskRL+qs2 z7h+@qkj0CU{_gHKWfpCkrlzqVj(ktLflyP*QaF1DjTpC+bwI*V30OwO%M%fR>Nm z_2y^0(oB#Wksv@-85tP}KzIUv;C8SpEz>k)yx{Mj{tbkqp`@7;A;2p(aTm6vBg zx}brw0yan>GmwEp*zo1<-K*``Dkv-rhi@bRJ~bpt@*i#Oa_s!qulPvV?e_^bLZ!5( z-m(Z=dwY9c+|wsd@KYtcXfUy`aB7YD@k7`^Vj)7p;2!XyvawVSH7?Mo0GU#P%m;GV z2gsZ#It`J_)Qsb~aDf)eXuLqeWDD=1VQ29{X33|2gd?F?Yinz`+J&Y)IncY#@$yn- zYv*5tGi`nUURBBwwl1Wwu+Zmv6-0cDAXGfR>qm0+J_$8Q>R})t7k^if?}&qleoGht z04cm6cuzy}1nmP0&AofSeqkW?4h}4U=@SBI6&4XuWpgF)=oc3* zF$2oe^5VoqMW<2uTt$VDf`a05M}N9B>x~;Xmg1CRnFwT(rU(%i7nd3kC0P76WC6~C z!bl7H6N>CWp?2QeusBEcK)5#vQca!|-DmM)0Z3{KQ;ib9JWe5Kcn8vg;>ugMZ_g|Z z6(Ub0W)&aOp~VE5+O@5pKZoSt;Y zOu%2{svRfUo=(-Vmj71^xvHo4bic+H!=oN_w(5H*bf%N^c5a+2*uFnFsO!; zWt9R|E##XeRgljNi1iJMr8jkTvjbS*gyJ(VR(crfD8@2Hfk;3ZBseV$!Ri#?hH2Wp*o!K}pV0J8Z~rxAy!C>??VEC_DZ3$>`XKtXwukTC2k$;Fkc@F$^Q?;GTfjgO0nH$mWrI#U}8v7SF?KuJT8po|y5 zeUztMjW`t?{|)~{ew!(>m%dHt{N95fCxcQ;z2R% zGs$~`s5#%Vw&vvKCWKm9WL(_H5?Z7J9rZ0#KRxqhq%>V>; z8W00@DsuZeZ213)gv=~163EcI|AsI>0F@Ar!^xw=-)&P;f-rJ#I5QH*^_lXxe zfx#NNr-4Aj5D*aHz4?}Q6Ed+mlwe|FcYgeM1Lbf5i#OOOw7Aawd{I#mDoa%F)p1*O zJZuFi9L?o^P-sRqWwZ$at!hI()PCsC-Cbi{z6=U`kx4zx*w~mi6ed6+C%x-lssA!J zmQFy+m>R6Y%VAOk|Ib3O-)UYRPKGz zH8OqykwVMYZdp7gxaLMzSC@>8Oi)v?yO-e z)M$f#M6Z4Qnms=T1=RTb^ZfjZ@Ijwm+0Qd4Z~bg!G-7kA{dEZUQ0u#QQPGm{<+dVf zrS|kC18^l}eZzWns{wNO?Vs2G-dAE53=tBdx+T<>|Fl_<5B<6F!*FP6k^S=cqVU_d zZ=o4L5%kyPICK>YHN$tA1190}d5y0<8e30_uzz;<{|*)#6M-Vge)%#L79Ppqt}a|S zGLK~BE?lxhp+u8SSb)e^Js17q8ZP%m=OcX-l#rUZEbKpjE=WM%d*0ZtlBC%Y-XC#6 z{0cEoRVPP%p0R(=r!f-MJK>yJ8bK`9IjL18A~l@<^x=Fqara{|9V2@|9)=aPlI7a) ziXC@g)5hm{(%Qe!JTV1NjBbgh`P-kPXFH1~$nAdE6wv&uwTGUi{G;+WLY$we*NUqt z*VJ!@e~VP@mi3O*FPyhu_*bV7alz$}68RsM6Z;u&UZB(0)`}TivCRHX#dDl&5;B-# zInl)@>rw0}G3gr3BcIfqc_I&>8xa{fSb2@}(0rL-qKik?(2+p_=C-bMb)qK^-|ceNzVml6QF!33AtfL;7CdER?KRceq1e{JAyfGkH>i zQAk{XSh!&==9flM`pH9+aY2XFyURXpmAk)DYz41)*$+7wE#1uJk9aDVORlXdoqcNg zu4v> ziI_Q4<`wzLT2TiXGQ_-pQFn0gc|a1u@PFFAvOIGgun>n%t>4iLltEgJ2cKV;cVv`I zIlEQLnqE5-YuwZFY$_-9dCxz7HMmykfMl$Sek9goSj;{O#wXpRXe`VRS9@@NCKUq- zOi`iPnTUw|r+v)U%R-iA=Ofel*P&Jt_+Rno_=qYP8ngkxKP^o9_5`)c6<`c?IK{*twc1mvTnr(Pomc%+oa6 z&yzaz|G6oS)Y^D6LS$j`9W!!~t(|DxEWMR2B`JBZl#=(BwsD7w66l4JB3#+s8zXL~ZKoXZIeXHBa;Za9%MJ#V1*z^y?SoOjgk*r_Mh?oq3GF^c>OOikdAGVp!yfY2wQcwT)GYi zmSDsE3&u=E@n+glf&A7>zT&GP!8J5srE+)go&z;BZ#^GE9Jv-V8a^LhwNVgKH?Ac> zA{UquFD@fQ=H_i;?m`fhg#^iH1kaz{A;LxuT)1yGKepk5C@gd9)@cC2X!D7`MmXxc zOU^Nh^0%1aP-S9_gJm?huh`_~~3 zRKI+Q86?l4wf?}0EmpT~zm}~%7t8i5;YzgX(5}0D=RXp}>%#8mhD?o5Fl3Sv3TD>~ zXd`(*+|vF_`Sdek&03y5s`^~Pe^iatrM+*-c|{3r<8Mj8Ck8twQ=Skr{(#u%c&Rp! z?Upt{pIQG^ThH>QTu$!)T8YVIS^{^x@?dAua}{D2x5~GV9Iqfj(&|aWC8Ga**W_R~ zb!4qGR?rL_2*WFZ}8)Nb#>`5G?3wV%Ft&J zj+y6>B~_z_8>Mzf)Cvb9FQ43c#i6wSCj-&tEyM4=@@-bXSS&=Xh-W;UzOR!H3LC%J zJWO0~7H6;vS#S1>yK7#AzfR6oIw5~eff&qUfa`;aRZ)HF54SEp-cJYOKcupb46b@l zE^kO#%F~jHju}E?!Q{Gd+gv%X*>iqqz*pW*fNTU8gr~P*5O_+t~VKb_NOPdAa zP*5;1^O)38<@vVJdai{z|Foa8GV>uQtJaU5tiXGduM-pJe{?V7D&DtIEIc+QiQ&Cb zXo1nt_%`~C4*x!h(3PL>xG+=H;TuC)OqT~ zN_mmIiDiz7OTC1*FsAdX^=-7K{p9BbgLgeikHW&wODn5|0m5ZqmAFlKIu!T3bWH&B z17b$_cYx&Sw);HNT|Hs5%cYF054OJPN?&wz zkkBFTDs8$+yWc-8?eFOLxk~h|=w>&mt!)NK`ih+#m#JRWx(%@kizTd+tN6v$2*J

$=LPy`v4OEXN}HW+elJ&TKi@>;p#Niev*tb1{H`KDY?)EcxSmYp`J?R9sM zp}a=3Ph9=AC-sFtu-7QF_Hzu+GYT>FcJrD3wF^Osg->tW4zhYXsODqV`$8`gRcq_VObnELwqpi9fvyI7WZ zmLX=nnUCfD?w6_e;?{xS>9e!eW$Jaqnwq!#ZBt7jlU(3 z>2kSLh~{qRh}0L( zQ`WHLgkLO~Om;}=@1K5g83}XfY854h$)=(qI&I$^P}+VMpdDiVbD6c$H`mgcJT>WO!dj|fEZ*n-rP3a>UKPej) zJg9#xC?pgoF`GwjM>@4A0(x5sh;T~rc!R3!fNUPn5%2{Dkz+bH*O z%c*z@K;C?~Ff;zuASXxL&Ay2DVv~~+($e?1BQ?zyz8#v0TLuQSzI=j~XpXG$lRU$q zYm*;Z=iS;`wW$8&RC~N|4)MY%WRK@aoV&nwM>2W%Qn$pFo&k+l7$`K%)X6A)xMM~{tW)Vf4!MAn7w_VRKDN(ey=LLB#MLro)sf#$flm*LUp2Nn# zd8xMwFu}E{gan`TXBZn2*uh}^3HLEk`?v4k<@gh!Az5{<2DBl^sfPR`?}NQfw2$=Y zU`qq~{zPgKW8lsY9y}O4{`m2s2rVj)DYMona&icg*1n~V)Od%1JRIQQqej3?cKT{1 zh3zx$s4>z(nP%>mAhs-kA;UiCm;aCmt&et6!_cD)T|%p(jOcGFK7#AlA?Y>L`5)C^yu5QANynQ2ELTrL<`pE>kGI*5D0hyj$d1)$BTO8qh1aaYlaS?@pSE_CMB zy4QAF%?S)qZz4rERR>^5Z+#)Zl!uuyH@6*X-3bESgM-j;5AD_k((3B!icmB&HZegv zu6a!x=+LI*APg*2aV|1^O$ZH)AhHA`moU=PM|E{6|6v-n#p$?!|AylK2lW~Jx<>n4 z67`3k@h=36k9e@LeI;HzzONIVwrolpX%!>-QSq2fW3OhEvm)cv{r)d4?Eyfk{~CTM zNanRPcpmINPujG>TL3YiYPg3szM{CQD@eA*3vShQFI7(eMI&wY^!amrV}i45@l`p*E2m_}q=pOv9RL3C zhbkV1`dqko`l=;EvDnkuSTcpGDm7wb2m;8O>ZyLTu!x|;+;7jY*Wst$-BhUY<}~~A zX@C&Rg^vsxG@un0+R8QmzN3P*yOuGWTW?XT4@hnBp}ej4dc*mZLO)V{Bektt4wp-U z2U$r``RrEq`pv@B5sH`3F5VOVY{6E7V-OeyJ}n9SY{Nb$uS6eDA`Iu=!d=B%MJL-2 zJ^gw%`A3gbjM5Scvg&?yOl}NPe8N5VNoP0Znu15Maesvk%L(1drWMSmLfN<2oy{KS zu59BHpfL0WKzr}^^L*0o+;%j|b<;}~g%FWIH#o$|qF!~5zqBJh>=Y2Po5o{k-E~TS zo1g`3fN_F;{;pkk=A{4jMbxD~-Y|A00r#7}WgQ+Mo8};%SfFm~=<y?7RBRnqy`e(o%>4x5G9QrSrJH_l)F?IHa zxY~=k;>5{^E%`oxj}1mH)Kv}+NF7?R+l@1*K7HQJ;4-NF3D>j3Yk)x1^*q*itf_29 zZbfU!Z~Dj+%?eVMEWgM>iWLWkHvcJo`#1$pt=j!(xfRR_J%mmkN*8QdVOM6@O_$=* z(?;=*C$~w351s~%U9E3v?a+>^;Jn&-a%$(OFiBGNacA2NjLH?6Uf)o;fhJyHF$PVm zR7ji2E~Dw)4?*Q*7eTF#jMZr4VYIv);*2~p(TxSi$y=ZL%i=i`OC&Hmszm*{&a1RL zQp|$RsNA=xBxlI-Dw^Be$srif#<<^=;m8-mn#I5Ez7fXEMbxcXqew+9);P1}!D{*S z*qgPSG_K)U?*y`?fm)`eP2eFLpE6a?@!l?`gOj*Q>90;dO*hp>I-KxIIK4k6KYviJ zqvr3cs2gjmH>Ns!b#wD78EePJ-jOdBsPaPUe${3a70`T9aMMQ{@Yu<*G4Pf#U999) z4&AIPaBbPGjCU`g%+Cea5{Bvt9Qshx~f{- zW`BDzzAmNEwp~wmB&+C^;uE*OY%X;sTWRrdIRMm7HV9KN)IulfoY9mkCog{; zpXf(WZiUHXs|N8=cHXY5N|&;RfzldW)B~IQEghxY&oi|3u#3zED0a3lUjHP5JY3{+ zR8kR98jj*zrJt)y2X1e!#LvMo$M#sI{MHTc$5u4`r|zqDn}v2{1eVd_dhJ9Qvzt#& zx$UQs(6gbz-F?|dU4Y^e5g7NySGnnV^EXzF1+#VK1dU;@MN*Q$wW7{tX&|QQ5_wZD zr6isPSDa3B$a8b6)s>sunjtMEqqj~^@&asu{MD0eD`M~Z03{R`8zKh5Fb#dM}$>MhT+yM`l`S=-{C4OW126Wm*v1v-2Fj& zc(7K$;9@^4!*}|z3OUQ{%XOQ}(Sb2!a8+&UpZY@#@4Bor1FdLQCNUoW#=}I0*B*?l z-$HMDFmtPW(%E19UZpCR3J701CsIWcuO3_9$Pf$iD9J3RfAJB1+VfFH!F=pvNdSnycX4G+~-&Lc-r7>5+}M@5x?P=U;es8X3h*p72g0&6-}RA+j9Es{Po6a%sI zOohP$pEPoM%#%}mQC3M|y#&2gi$hm%HbAC=C4kJVsK^0xO_?!WTWhMU{nM7umpmowBtc}4jS ziFRa*lqdH87brvV`dRkAUkV>fWK$3n*im;~C?4GE$t#vjUA^e#4PQhXn0DJ4os?73 zokSyZ`lK^5ebrbGxSPq2^KfIxP7GA6P#IBKYH3nl0h?7~=5M z*EsySv}|>2ahPBUwycm<1I?86*X3C!-sZS=QY6 zy5h5XE0fe33f$SQ?Gy3t?Bb11UA&m%S8fH1-p=k`po*}csi&*A)cND;k179v3O3N- z=e#|V^LEojAVuT8BtoxUrTS6e z=MDg&Xq09A>$9g4mgBee>*^nah?gid+l4J~60goT#t-VQMPB0Dja?uVQDVIHJ<+0b z)9#NEy#t7l|6e_x{P1%Txl+zUl;#OuD@b(;@XF3{RZ6ibFMriCH|L9iG>rvfJRN!s z_5&tp^Ff%eQtG49P0m=gBn2al49#=S3m@2_bjk)j>CmnVV}~-$0f!fX6kualni*M{ zM1z0`X8P4Nr-_W5UNBrvMlsEGKG{|&#c49OCOQ1uBOajpan{3YST0@z)w<( zfSyEjDis4pTi%G9Q&OwJ3k6aBJ%E+*jic_A+r0CABu{ z%7z$2T_j>@$;)@k+g8pAX^Cj2&@|L4o~K`=MJ@ewL>U{YxA?e_SVv(f^P3P!`R1y6 zaiOPnV41}v?H*7}hp8TeYDeY=(b4F1ELuF4KG?uQnG1~JFhgHh8`PU!pi9$gvd+V@ zFBvK{S_S*gpo*Kb>l_t4zV>n{gXxpb_5QCLGT1)inKcaz(kxBc>x&B~aPTy4lI{aQ zyU9!y-gms~Z_(Eb3E7=HS14a>d~kXkEiv9K$fvJrIQ!&dR+&+Ox+cXmXg%wK<-m3T;D1w;!pK`b_&-GH7beTADlaK& z#7Eh3YcK&a_2zU@&{JxeiovjJ2Q*I=ABjRzw6L&1+bXp*HQ74OfOAwP1SoatQnTuV z`QO&g$0o|z#zE|V{U&sM(7hwcc?eoeWMn&JJc!xh*AB7J(ET_^-*HLY#eP&KN8yQn zKXh$Agl-T79f~Qt^^OAFNNAroXz(tlO9VmTLV-Lg2jJl^QCkgHxx*d)AQ)f4;rsUa#C`tu=T;<&9`se+i~aw z-)wsng6Qk(@0b`s#4^b%Dp4?v`q5|8c!$_SV)hl$`?28nVLPNh+owyWfS;k^tvu@H zsGB$r{CLFEv;6zy$mw~!I_qSN39wvl85&L&&3JMuK5PNKLcnj&8SOLx`2rI$u64zM zqO7HH2n1^$FyGj!1m{;3AH91f2WS!m&jVTbN~M>F<#x-5Mr}2EPT$dTcadu4N@~`X zwLffay!d@`=1DE}A+=q5d_Ki(rHPaIC?X=X^}uepC>SPd5wwvK`UzhB*>@F1(>7)u zjN1Z%PKkBmE@~P=HaBsIMQpqHxjO-Rk};>}%+W96p`LoH=-G3X9F-@`E-<~=4&5uu z%*S6JYqX0>K@1yq%wrI$876H%A2-g)R~?qBbN$)Bf#wUJUyIqx$yZS9B;WC%m!V7d zwK&9~Q9`#}>Mi$#X zWM0KUpdADnC>YU>;7b1lTo}Egh>wpyccQvhKzppbJhA4g`<9oR{f5hzIvFM%o$HAO zIS&oy9ukk-Md5i8CTNlTB*W*<70WqZ!vSLuG-Qrsgi*i!V|4b(5^eUK4#peoL_6pp z;LH`4Hobuv(a*xFV10Z*90Y$n!Kmu+Y8Mb18Vtv|*Yats@bxGmhEbpoBwKv-*6v3)#W2TZVCS%xnRYz zOo?Ksu4j{k?d5LVNwGI_bEekNzH_PFiBRY+w1B5VAVHK|>eJAVHCpA6d}6z{!!dUl zgb*lL1;-UiL76%}-V8TzH^S~+{N~@4PUj!p*Ljb=U$p&3=(q2V9nv7N;A<<6s-EQZ zm%O-cn}~wj>u_|(*1(kOELD46Tma6Aj3l;5Ov`56ntd*1_qIE-)s^RjLud?Ix_GhwU0AZ9 z>Ai=}o85XKPtbk{5z~7i^S-8`At8*?$Gk0;=a}J$16Cr(9BJpMl)~uMo|K%%JPAxp z0RVl;{F98wxsRK2vnfw59t8vyxMUZ9-O$5#f4U!%uRmtdc|q9zjavWtWXxqjldK5_ zgIBi*SOO1RplK?rtc(mE53m#nGhrvOF7F!Ppe`OQ&q3P~#gq&1eav>M^gdp$co`Ga z*8J$6x{?0@cz3a95CC~hrS_4s?tahH?kGCU+!!g!EVvQ-v714vKSG%)3w!qCr%&b3 z@dOQBQ7+=3RMY4T-FE|I`#4qav6WsggX;qxO%ooc-P(AI1=bZDL^SnT@qE$(+W&Ej zg=1 zlApt6ueEPjo6qZRk+Wpoz-%q9k(IlGQ9juK0mJJFDi4B@qOnI%QcZ`;4l&DEZ?;*^h_jK zrHX>XbTQp!%&=hV6s;8-;{ZT>@8BptitG&8E(p~a2-+4s?5oBRFT-#BnH0d@1-%!z zfz>$@IR$%DG?AQJ83mNIzI=>eF+Ch)s5X&=H57Xu__T$Km+o-Xd%lvvEw#vYb`{$K zxy-xU>6!c+=tBo!iXszc7x%#FL3sc|!0FMc%cre_(b5^7s?!@^I~0ZDfgV|qVkA?O zOTrib=?RFsmipZA4YSKF1~5JPWaxTBWzxXI9a?k-A8jq{djI~@ZYAJ1VqFX&2P~JS zl9d$O*q(Cr6ah4`8D9NQw*+q*JxS6a@9}|<4~n!EE4{LyL(5`+dl4S)A*-y6kH*kv z&*;k4FBE|PpdD`L!ylmM6vm!I(8ru4IjH!v@PJ|hI33V>k% zsyPYf-gag9{AB01`HcUrv3VHLFw2$scN>(~HX7sB0{pxQ1(m<}V3<<8)*~B#Q_6 zMl6my^KiVF`DBfcD&!L4B21}3pDqkZ1+Fa&mqaml4tGV-KkMvt8tpoXn-Ig_QrL$Nhb(9j(otQw!_ z+Q?gOH@S4^fq}XZKWO9RZnE?>fp^tNdl*M35$DxA?4amviwS|PRNw;Fpk!A8&p1y2 zo!+Hhe$ar5&e6kup=Sf5Mzqii?zpiD4}zJ62gbZP__amOz;H6Q2|NA8Z;Kd#mQww> zHCveHf__iNMpHdKYG4OKM*u`-?%KS-MV!Im8)MEO!%>$+3dCJ?E05x zRt$`~NnDWlV@5{}VARtT9m2MRN{XoG3LRqpAwyO)@JJE@kd~q012k_zn{`au7Ci7L zsG_1`KfOen3mnE!(S)tupz#@GcxXlbD7pp@X933r-G`UA%Rdeaq-aeL0x1+PskqBn2Jx* zqeKwD$bI>UD(*)tKyyt5ARs}!K(6c;1&SnrB6#k*URtdBtC98YoUGsUgvu(a21ls! zVO5US@hoO{uf!WN7dMrHwKYaeDKqa)43BAfpqRt4!GKWvK zFmgl&h7a|sDv#&Dl>h2pGW`1V-1u0vpHhmeq>fH+T_l>9WE4 zrjf@i$TvL`sY~LyH2O>T&dNJ*fy)7Ag=Yfn#OCJaa>Ann9;)6&N1dQ*H9HGWM*}_< z86DlWv)nDg9!-0p1Hc_jVBi|VkS!4nuguMx^zh`AFFDJK|A<=l%ef#Ya%ina{GDK< z(+a1^;fWCyFA6B}kX*{^yK$G$a60(bxF&eX5C>WTGov-``@~gPgxWZJfu3Sjfh&lU zm7R0;^y!Si& z*xmB}cvGFfOFj}rV8P7DdkMrmlbW>X0*2bU-)HG*MRIcfA|O9Q24m(i@XQ=+92^^_ z{+^z&@bJ607X~3TVabv`XR3ht4qoFL&B0|ws9Zw`cda!Z+@c`YTFw{G*{^-w5SkEL zOr2t1tZA$j({mt*E#l0Ts-}Nz{*Bc-$CxV?waVLXzYXop|G18H?>iGOF3jNT<1v0s zyurcFr@{P;b1tiZyz>t6EkgNg*HcAZI8bo`CeC)sVU(od=V!ZT7cD~Q5-;Mb`Lb~c zN)|f|W@M>o^a5F`_*D3KapaE`jG=v9Jo;>- zi=v494bQfTPe_PB$HAdC3knnre_w*Ca1^*=qzeHUJ?`r>Lew?I7FSsqg`Y8^cr3~L zPxySYDp9DW>X3J>ZFSINwj}AhZ=)C-q_EvN?ozqyd|uLzT`13x%|j-G&U-(2L=}|F z6}-JgZa7WHVu1?;L?ust|xche{B+HbTWSxpblPu|1KqHR+W_&JO#AUQW$Dd*f;Y+<$ABRZGo8JeQ_5wWSsxZ>ct%N%E;F3miGBK z;v+9}U#X`IShnE`QUij8Io?n-6L&v3f9~8lO|K$X7njxoy~6gIFj;eUa}JKSEFf8{ zmZj?Ych8&A!UkIBnEo*`gBu{zZqX z^Nz6|!J=UK@o-kVW7g>wAe?z0?u=MixbTd708d1pjdQ|!3UZ5?b%KqAW*_hrXc=np zbvJa?JaheH3si?5{KSN^GI5B0v8v8C(G5@a7}f4zIrhr=?Mk%Lo3wrufn!H9EzKBb z+4>v{RePbN^=WtTR6_mZS72RU?eXXm65(ld@F<%h2}kh4SAuI7{}*F#9arVHMGbF6 zL8VcokuYdP8YBb-C8fIrq)VhkKtu@%0i{!#O-qM_q@;AW(k(6V&Bt@@{oVI_|9S5p z7q91B_I}p0)?9OrImVc@5O+g+nuD`Y2By~jkX^U^E;RJkyiBln4&@lnulx;3SCdcd z+qnN+axWRf!$wUU>lj*^c+I}IxM4z4GSvU~^Pyq(zo2k~fer%#VLIyKc$6J6|M{#={Vj9C^GVLP_pdp3;c~qew6}jOun20mhjkbm+`x?lokj39V3D=Ps5+3Isp<&pla_jmmi8SqiB zh70Of5!ecvAbwvX-i=5|K;_wkR4nO|18gNXt7cSeY={3TBr_fQd`hb-%2%>QoPoyj zl-H7W?v^wyK8oh$BHg{69}1{q#9l3Ct zhtCBbQRjcrl%Bvq-vDpC8^mIC7XeH`nBZD+khFlBe+y)af3-r0iYiB=@Eq7vG=c?O zWBGZ=Ke1G`EVL`5<@FX`>L76O8=w9RMgSI1%)8=t$;h@KadGhK32BrWixN64xmF)Khjm%xo~67=)L1C zQm!a}hJ2A@xJYid4=Q}<6WoWkgw3^2CFQ@-WMJ+w5GanSGcuAOTJ6JFmoJ6OYg)ei znG65eth6LXtY(Pfm0zkf#Kdn93keXhAby*0tT0fZ+p&Az>y9A{@R$3tSlr(OH53l@ zXgt&4KX+r(X;E7&_7$xjwq2(^-iXC{kiq)(_2rebEM0ii$>am-wQ)v$vkxe67{GL9Ri%-4>3jV!^8 z`F~QiTu9Yypdv2!I1z+9`W-vj9AGQeeM*A@N!7EP;U z^M6yp`Wk+dX$vtwQo(+b65|XR^tvrYQpUdk5?$40q=|@`7UA)|g0JzQa6Kp)PadoOw zv;-(I3wciH`}8jbSK6`jkb*p+pscj6fTl*UDlZF(QH7Sw%^)-$*f%vr?qS-zS z6k*2PPCtkRP^c6)?7C*9Vt3AG5?>jR#KsS3(TM&7Vdo*`nlK4;t#3VRQ3)T5w)-`ywI)Ux8ub_-BC=PaG!71 z9mx4y9=5`BSL^>~+qdSJ_~~57f3lv3`5Fq!s}ZXHPI`AmX6n;b|G|HZW6s}y;w(cw z)ohdHd|8>#>W3~ZJE)34N@G`Agh((tMZK2ovn>aoFsLVGR%>+^(OFO<-1gQ*xP|P0 zlW-E6n$USm=~hbIf<&z3lui$oly?Pi#G}v`MHjzoHbK$i8ue87@xXp_Tg3|)kCkOCT4KX@#C1~PMsd+ec)42+Dt!Tbe8%bI~QkOKNo za;i2B4PXc~kv!_=cxWcYr`RpmJl7>?Pc0m`Bb=s&fI5NE=&HpZ>mqgqCB(bq$N{x; zegG1ouJoS<#+krfs8x2%rRrH&?o}FLE0F^ckD`uV5Re4U4-FhK+`R>NB6wGUJ+RV7 zUg2^Scn13sF%-D}aROrxKl{gUc#Ze~Upb}6o_(dWX3u*Q^yM9KX!-HzRI9j}2`n`?!J znB;7VdkyR0O$X$^M!-CtfYKQ9Ys9S%@j8QUhCL{QK`uN4Mlr;5&!OGX3>;R_ZCnyN zrnU!86?3}MKRK3~dM{2$g!Va09L=f=-;XY^Q1Uh|CCSI3wU-YHE zK2X7J*or|R86+KX|AO%-=t9^I8SP9)X*7#cUw`tkm#d{T@DU@tgkVxTHtEWH7L zJ5F}kQ_o~ougiBx;xUUj{$)El19+l_WUHLLs}Z9fUM$y1-CP_CAcLNMWuaH4yRiB0 zg~~wd%*Om{n$x^BCu)b!0Q-XOLsA+NEXes05jF4)Ge7(S(jkH~fZpXI3Xx`m`)p%5 z(wXN}ZBZ%gQ?eB`g^QrdBt`&eV}JQ`f5Xh;Q!SCZ+wBHMHybwBYv2>WSbCDgIh`6f zX#%HfEZ|BEH>GLU&p<;O5*LT->FEhB9JDuXoQJmBqsNcyLG6l% zf`Ye+(zcqe`PU8t#X-`({Eh{mOqf*7j)t&(BB>*~J|@6iC8 zqjBbStK5fK>HV2|_>Cmt>NCT?WKjs~a_u>u!(4N}%H8M5)!AV5fCmNaaFsI$I4C8H z@Pan=QCgeERE}m*WBDh&hfqF4A^wlZ5s2A9UkQUw7{1Ufw8%H@N*@Bv@GeeUe-?pp zg6!vi?hvc1moffym)e%~kL}_p@mldG#smPH5Ds^8f+#2uf#NRyN|3fSc0=K*9q_E+ zi%jT&D<`5GzNL`BI>-b%-evP{F{&i1;Sg1g;J|97oje)28^2$e#+L`v>{{lM|HVC{ z;uJcOFR+@+b|;6rPe~P+LiJ7c6hJP1RG#2lP)Ys#sp8tY(MPPUOq)+?e@R*C6EUuY zC8Uag0Z&7#46$YsTr-5y8I<5eD?5PNJYhWVDAl)jx$&@kkjIJ5??+$VNj^4X1US)Vv6Varm5iiq=y+%2$^U-VY?wocvJM6|r3~)+d`i&@ z`keh1lR#!T%L8qrRe_J^P*JTDcF7LFUW8Ek{5_I!FtiEDDk%}CDqU!hsRrJ_TuhJBRM4!3Zho?vom$!l`s?*_Oc#IH8b2B#(|>8Pp;!z4jtW5f_wl{t2EEm^d$iVt78bron^xG7!Wa{z8lU2|fi-;z6{Nkn|wG`@0=p$_^AvXKUVy|KyW_O{e@O zAAS5LG1k*0;gBd@^oQmT{oMz^zS1ZZzBcmk*RoMUmy^a_mN;j|AlZkiY}+!Q9K}Y3 z2p3kKe$Xf|#AF)LU|MNxy7_Aw);k4&QzG)pkLtF`nbnt}oee#-tVjWP)WyE3TK)v#wFnb&iYv35poo}2+Mez3>PRpx@$Ds<=Rlhp$LVYV()cmKmP06p#_thvBP zk`p%kx3yXLN3}{;N?uI>?OtYVSJ3!gVAj7IPel`l@>Cj?R9mbP?onTM&fdYt*?K^L zeS%R;%Z4e3%>;PA`aj9T-ZO)aM$sE&io+VuKM;|BP&+Hm(<+f}G$-=~V!&TEZ{&&_ z^Miie3UM#sy#xE_xfHA9?zT}3I`mPuIu!WSd+HOpL+p|H0mQ+iL z%!C;MLJ8~gyageT>C`W_GR@8gfBNPfUS+CKHv54~7io;+YRY`Mwlkyl(xQE8MRh`n z;U#w6sM4)vFw+ONpV7c_e?Me%vn4}%4T$*~d-EtV=KE#erU4k zRA{?z88%a;dYipHY2|N0i^F3y#NY96H;=ge^9v)@|T0+iDCp0@saqE zorJ5WH5n-6x_j$#I~wFjK^QrrIah2PMHyV-a7w0k3VVRJmETR72*l3fX@{@hqpMS^ zwXfgwGV_mVH=y(Cj^bl*`a@@0*|NkObI<+56?ySo4zOFeQw5RG_cu1*9TtnbjO-FW zVDU}Qn|W7VyICBzlk?feyyydus6;* zz`y_C*6o|w7e%S6FQQ!B*J+RU5~DSW45%hu&Bz8>$$YUT9WhbI`wK?Px@yM5aD7j* z?+I#;qm>K}xx~x3A_RdH?jwEf5(KyvkEZxt^$LVuEmg=aTV>p{~7pM*0^?D)LC)jC5im@-SgjC8F4<3zj(K zdNIOD^-q^0uHCKPZ@qZ0dRsvUalOS0Zh>>}T{{q0(J-qKQ`UKEr`7L;+JXxS^4bnQ*TdHBOZ zFkYKyRn9-P#e~%EK5AR0f+aZ6*RZ+|N?3!=JeQx5D#;&xuh7u+rHpI=>1?jPX9A-@ zFYdE)M*4E55i<(Nk9BS0;0h0%BpuVCn+-SA84I4eS$#B8TlX`GVJ1>!;5~N4xMY3^ zJ>*8peLR~xmh~ZK+PBv?-%*0ZAO*U`pmJDzYM~;<99}nYAHD!2i&1{p`~txF2n?_S zKTG)1gU2yy6O5@5hs0|uKt>FzjEeYREtP)`rB~yIg3Mh@nB%#H{$K#txuwHOg2u;b ze|y20OmNWxXub5>>c4WMHKZ6iaypb0shM=6L2YiYVgQ3m4tuBc3HEFr&q+<*a)cmf z&c}LeQn}DrXm$X*=N`1K!RHk3<1M*2;6R5EEWiK}B?hJ{2pI{bmO^F8<1yBPX_7*|(ABZ1)S<0=A6v;kF6*RH7&C0mr<0?HZI1J)H@{l){9xw>j4}$|%>^%rcQJBl+sg(SllKi75unrk zy+T(#0XD}uR74l`c~al>st*(~1<#fn*K$`P1ih+ecA9nLW7>cVgDi-vn;QcsXW`^l z?b#_M%vylv=ZpW9>W(h<#hW7G2*|!sT-7qMT_ge}94`k40^Gde+xWn@sTDbA&knzj zTvm?9?SF}T-b)7=2cnH;jPu&&_U@-)1OXNF(zmiunnjAL#RMu?vr!Q%ePw%nx%4V_I{9LY4^nRZoiXvBaBQm?H%Idh{>D9ST+3^L4SPeTWX6Q}(AsSM@tp(;+h>N|OIP8?eekDnlTPOM z5V)efQaMuVdPW#OmSl#U=lLd3Yp9TQ&HAmez1k+6Vl8F#WJVMrU4>Eg^=*=S9|2l zQdYGkq5&Np9evpiATtMWX|#Db=GtqvXAaL0y5nsRA z(^JG}gH%Cr=rY5E@{nI&!+ss$1H5W?Rn*!;0a-vfulLfK#8|laMb>0|CV~1CR~-%@ zu<9N<_2kn3{-@R$H}L*53XRuhq1a%!MDRCylWq2VBu0J+=3 z@i=#bO-aM&;15`_>v?#pcAOA|a58rLKz*O1UvL|qYasJV8OORH$^h{BaVorQ?a~Uc zHi14^E6F(|JzF-@!Mopj54!Z(U}p-mDty3=4P4(O>{}w1fi4wbPmV(7bHP*<#PxZX z6AUncf;IUm%dq0$Aw?PjK1 z`Fn`;4GpKWC&O9+l^YTqP%m_4%zv&_!)L*X{%6~Ei{E;P?PhuPlNw!F>KiD8FDF-X ziGZId0+1nY;V^aRKD~METGD^GO1-j|w!qd6?8}Qqx*_)1@2zTn3JKNqjYJR zU3;YUAnF--Q2E7ynVbXJn+hOaloYi1xArpPHs3@&d7|Y{P?m5Wb?;s}HljlR9oR^; zxbzm<(2T6v-?)ZomgmRbDd}0~P1< ze_ojFTYk}t^MK8N^hickk;kePn5K8d;rb&_$Pr(&S^Y_&xaE4EaC2txBS^p=K+*(y zPVFgW;vgUv+)jpfC9A~Cj1K2v_jTMikKAVLe-7~dqYhSX^bl?|9}uCyT2IiDYh!&K zALKs3gbA9{)YRPEvq=-VnrY2t+Fy_cw#rJcx zV)iWbg3!Px*3qkf%h0OVfKeqse0)|~xcluRp=2w4Ef_JU=lY8Trfa;nue=4{iw*{K z!Gydg*OeKs^4m>|rI_P9_5ZJ@(s14o=L_`g7iXI+b&|*+U>x*yw0=r^MmqOrF#z?t zspuO3idjXL*~?7=qgv>drvEc2dq_>(B=&tN6-VPthjtQ!`k$Nuw#rU603NYtHGxv1 zBSF}rr&kbNPuP13?xEqHzsjXRh7vAdC!b}vYrwMDf))VOqK)b-q$m`r?a!1X70t-) zqN%w9=MP?X&Ps#t=7Ra}UQ1r}qr78)f*FNGSFfIj;V>Fn7N=fuiHTFmzr!OU=s7tR zPwc_b9e^`rrX5Tedb%~+6vbytgN%)UvttNGir{Uk?7V2f0fGcSkYvHgySVuHv0W{n zwod`=VKc<%G1|-GLC)kgBm9a}lE86vJ%@C^<@*h&ceAfA1pnAGB+SbC+wNpm)Ktcy zl$qnWCpYg6uW%weoW<@~`j&@i=-ViqC4l8@2Q^{alP~*LVO{u)uDq7-?wQ)-5V&^5 z;HsrL?7;Q(If(1`&0e$22U)v0Ka)Vzc?!-6S9zXo^bgP!Ega~kL3sweB=M6%^j-_d9}t)jnd#N~{d+w`aDSMNhB%RfVku9Z zDyq>G-DL8;U`_brdu4ykg3^$gv=PkFl3^ER$Z%Txo`@dDhvb3fp3U0DUr%LqmJW{y z8U@BQ>nBIgfp)%?nNjMt!tJk}?=sUM=O9*a*bV(y^uFM?F|kuqy4h;S()_}kDl9BR zrCRyLX}j!{6j|n6_2s6)wsRx{CBw)2ByX|Z3_p4C`5)~jK0uP)K`7RC>z;h&QM2F} ze``Qxla>x0k!FO73p5i%zXtcSdSIVnM-(UF`On`uVYFi-Sj#`GpfTsjh^CFZJazst zYZ}Rb#_pIo^up)dmU(C)0NWi(_EkxhlU-5x2catw**SEN1Zt(dquA4Dba%I9Ky#V` ziC!o_MfQi|{494xMcn{U|IZxn-rF^zUd`ncxJT%WhbulLS;;R6>}Ck$6!l+4yw+Wu zf7`FVm#gpHIBjmbEolTkdroJ^T62;%m(u>&E1I>O&3bHF7(6?eg#*4 zS)vh-Z-N?~6rSPRCQXeNk5ky=wB146vkKdb%-O&EL?V46YlH(85`)ERX}e23>FL2v z@L(g|^9d}(X?;Su?E^k{g)Ch&%3(v)qgoZO^6FXXi*J(3R>|qD5n3FW7Z-vw4H<&< zcU036gS>otprfD%07*3k7qDmQT1HNOgWe=ZC5)&L12K$~{&10++v2i}yc| zwE1bY5}J*A?KvgP2r7LWy#K)Ev`m*FdGl#OPu3{8oChPA@^^O z%*QGQqXfre=*udf;i;B9|D-m!c!I^Q=l}(U98CE@A(J43=Fn!`8}bwxXbJ%jkyn>i z2z10WRoPG`Gs76bjmymAQj$33Dd8aIx@=E-D%f?yWDYJ0r1`qBnHR;$A7vXTXO_3; zhsa34px_30WB8v48a`3Cg>rA@;ozw5R%|jt!X@A`~S3MRm6V0C!wK zgRE2JES~0y14)ce@r@lbfElk2h96azuhRlS#i&QUN8@+C{bKK<7)v)xMjldB`p$+` zuVwtdqR>Mw16gVtx$vO03shFDidve8%gyLfJ|DUE*lLs2X1 zlhd9NhB^|CuEh@pmDXD}@};{TZ^?Fah*>uqJ@f4M{(Cy;2&rPv3dS0I z6~D^{-2)gH$<}O+n;_7CT_7?hK*6bT_7(cea1PW*^clNNsUBVw+Fg{)>~5w%I^aS& z<>A5ops@IEqL69$sslMx$c8ID*~2e)n0*}g>)jcuz@zFqFwl$eAMmKUHR=f3^EzcX z>P!V=U8(DR##y?0N|&j6aoFt^h#5!tJ%tHCsBbu6o6!TL>yJl{-=Zcl77c85H!9|- z{A?ciV7!o3Ra|Q`vS9w(lp2+s%JK)EjmEC=`O}hlRG#rw+UIK+ugC@No7Pf}@TeR* zcLV7tcH*tr(XV;qfKRJWe-=K#CCBjpp|g@L36r%_z{(g}m|%2l``ju~#9fO=Kq3t- zs-&V~e78gudNPE&rc`?gk1wExHNM}mwPK{9n84&!OK!A;4IzK?nW1urN#l)FiQSK+ zkh~Ri(F}VWYo&Da{1W>F!o&_|PfMrvKTw)Qt)9!s63Tr&<9!eEW1xH| zYe`E7XRA4gdD7V|@$!0PErTSFZmKihnGqd(qNUllNT!?9cUhWcYnAj*Xq+mpzPj71 z61#Iy?~Sg#WCq=+M!~#T(H!8NrrSYimxlg=lLcRfVTW5J0qe`YzPsboL9+VVLzKCv zGRQRuU4^$W!1UXKhuBtp_q;3DFE3m~?mf!{>c=3Ro}Xm8skbWmho^s=HqS0)o`AJR)3*{&!?oJx zhJl`R-F!EO{0G_g^FK1tpYh9#`Bkcv9AsqAOhW_pvoY;~sSc9(CugGM>CH|f)%+=< z(#+X~PU`ozWmqs!GxZ6`d4>GTdf)Z13KFIqyL-YF1cS$}*R+Fm%%4{?VJCNdy^>Lg zMXy~+_S@01uDbAZ6d&(Zu-_SWzD45Jl}gW6mRe6czJ|+2n1urlRhfCJVhEd8;?LC9 zkk5wzOljuJA))$hVpQbZaMl}te-GC9mkR-r_PLGrhb2Lto`w;8#qQuHF2z5gVY-0} zHAgu5tYp}xRY$+rN72C7gKYB6#%X2JfQtkZgZR7*wI9pf&f4hK;$k2Kz(D8SvyAlg zr!YsNpy0&kf?j3aV=zJv~ zr5~m&A7R?sx2D|q4VPt^r;=W3bFxc+rbgPy6%^LJGj8oR=bzn}ZOFYHOJ(cl)w-8% z(LX(hG_eiO)4D_WznStHbe_}pL4zJqG0*gZb=&G{%2%M;b2;lFTAUrbzcJ;hua5mn zk2J6@5m=AdKbhrl_c`as$+<%e8T8JwgEh# zs};aU5PSCQ7O+Nnf=Nk8AmRIF+)ERfMOeVQ zFRDvXLcV3r9el?LT#UfK_MskEEjNHm0Sg&21M!wYy1+%N5ej)N`m|&$*YLfw)=lC| ztGOlG{IN>3N|Z|#J|DrZRC`Du9FMX!$}Z>@&EPgS2j~wqYUEr~R%=3ad%m(8H4@sq zcigrU@8>ew>LC4tKmpgzrs#4!EM#Ms1=Upsp0%>h+Gp71S}vl7s8>nA7m0%geF0v{MmLC`qA$?sbCo}9-3 z9wK^(mMRJNfh%|*2u%$ml-xbibK}$q;uiy(YgBAjV+b?#`2ff~y_Emid$Z0oE_YA<5~bTSqMEuQF7pCWdiUU+NaL4<((m zZ>uoAW(NfgL0(T|{rdd;!r5ND6tuV@{A_j@H&|K_1M@ObSoqqRmK(}6?90~1F6Y6) zmSTa$Ol8fN%4^ymbei_DuRM8z#;vn1?DbN4>nL86cleZ4HV)t2Ht;G%d4XlrMmx8j|u202G-`E^G2}8wWfFQU$j&r z$=Lx9RgE2{6nnbS{ItP6fx@z$^JcJEO=W*Lrh%)pTL{NwbGSUAl?iRO{l~Tq;@hPM zvCnD0aH9KFMAaoOH$v+j+&+9hSaNTX87Y6>d&-_wF?1JatDzq1#>fpCln|S9{)!e5 z-d}Aunz3q;27#&X?C!>gX>TbhGu7VDuta0Qx=s6@x+?j?Clgeg2XFPF#zhMz1&Xaz z9;R~GIC@?QR~<-BMn_Pue@`k|%20M}Q6xMM6Yjqa?x~5@f&Bo?2&h+95FRKcSIQuX0}-TKH+;fdOlfBfN+G&k+$o#Q{!R( zg$rPd*Zdk;FH2>*!e|+bJaM{d@7&t}UXl&;T~Bd4Tyc|@yNt8l*z#M-XzPr+@$+xK z%{_&d&BQ<0b2`#`-YegsNpB?@;fLpWlQ#bW`Rm_~B`sI3yfl<{S-9oxvPvQC(*f1m zzX&6sRVYg-cLo1UMeECr?l9N|^%^+2$hhfS;j;!Epgt_*U@sZ5_bF|cj1{tmmVA@| zKNAIX%IxIrz=mymzT?^)uZf=}&*}1sk%}Wc#^#86-=( zK|HyxaIwC&c@e=Y-R84-_H-17SE&89-#)8BUQA^tJ7R8{XYZtvFb+`li#Vl}1m zTAA=XRn;ed+kO4Ikxx{pHt|~JZ$d_s!%tppzd$>SIMnowYS2=kQi+pNG7i~psAOfG z`dsyMP&^H0Vb7NY6&KY5=0LfAnsUi2A4*3sBW-`iT7`UzQ*v;os`WYeq%*9gIsI#7 z2Hfe?pkdRD{UNxncBsXmJ6eTG&=WJ9r)>Eq2%7sQ}CH0tqdO|pD+19(bum4u}JdzOdT{Y0RX zY#!}Pg+yr%uWBf3a)+x98f-+X93OS7>QvfiV`lgku|1D5)6ebh_B+fs%i$re_L)#o@dE*`U zAaP+`m<#oLa!|faP@g`2=zb(He-}T#)~jCk>(){qkz};T1O?~|$WBI|q3ZNEy1cw| z!xKzjw7)&Gl2CLd;bo6bE=>9O$O^4x>Qg>==fPTqWB{;+-tb@-QwS9Vkgn5=UVuFr zD{BDW(0>iwwZ#qptZ)UM&THyDzOb%aa|LXca`h6I`k=iD_G*za)S$Gq`;t6?`ZE1z?tCla%X3Ck^Lp}V`b;2NDt@il!)B$3+pr#Z+x3~ z?nGTRlW;a|^DPSy21Q`q77HJ6q68)PxL0?`3NxJ=1V%K;RS1E$OoK?afEfZ_Qdp_N zLuRA>+r?i(k|p!%zGrLlyYk?G3<^p>vLY;BvJ*K*2kB1Tk~wZ^W{V%4-50<6jzY59s=a42L3=1xd+`57u$mY9+^q|ku2>pV~d=O7vsc*<`k7UkPK2@9u2M0T8^>bmcb!MQqMlD7tOGn zH-FEx^MCvlbeO#lCsPQJ`W4}flB^q}S92mzE>^D;?%hEP2@Y%X2}H!qFU-FN%0LS^ z`T>|i4mrHhH5^lk9Hbz(_#nf#4UNRsKr`j`-|@aaDOI&BrPmc2;RS|(3madl!g&0rl5Y+HEV1N|Q}uBh$t!+mRk+OgGC;ZPEz4YAq^t?v{z-LIN9srR`98+g&y`kZOu9?uV7Tt3#vU%Kk;9yUfQv`nr6TkG{q-H-DqkgM?vM z=1b-kHxcv-0>3YC$<}cTf%{`S5!X9X;MJOAHl|`x|Eb2s;;AhXRBCBt8vV2R?0-JR zf|UO?m==Mj)SGB;?*Tp;yb26)kja%&e|;~<8CgPM+fg;e0wMU-*ke>(+>9J4j=o}a_x zVbb@uzuWXI)ICgaS+!=}%4c%lTA!agcsb=Nduan#T`G1y(X0{IRVof`DDg}LI*`$n z*0GlnKy#>!p?P=BZ$+SK__Ukn*n|EO2pJBZJKuwrJ3j12hSo9iv$Bm>Uso2ZFvKDH zBV3O^-Fi~FI$(m|n`xGuQ~a3+WtoNS9H42r@Q=)nFuB861GOHfHOmeR<>dKtaF-5z z%NY6^5iHivfzS{PkioB@K2tG;_M<&zF&PA8DA}hiLu! zh#W(jI&0#o2Nv`l446L7dVcsIo)l?A;ciBW`{!V*N9#l9*Bd1H9~*>>p1YXpw6iwCI@)g@2i;0c z3D7D9O3v_>0zH_op-(4l=srFb*N_?){UY@8d^x(MEwwXao`MpNf$x|+%#^6}d!qkf zhqtR6^M}pfT|;j@4yHIj58_pv^aqD7cW{Fx1Z3o)o*oTMJ+*_o8qp(x4_PzF{t=xR z3|CeRY+sU7`H#1;SiF8!x>~RTpj{93A2QSy6Vr)M7tFl-4vA6J{c_37gpwzDD7qWW7&5DfZWEjxuk=W3E=798-cK0_1ha1#RD`?a(RirrIJ2jY9u zi@D9xwSMxv3#i`f;b^^rSlNmbZhqg>xG0x;k(}$D_?<;+do(yDw^4jjQCV^2eb6~a z(YXn2t-A6W>Jo}Shu7^7Lz>wo2{jNCM}PDO;*tpvQ5Hms!j6HURP z7$3CL_XIwZdbk?l(Ojl> z-NO5{U{(QUY)yzC5fB+m_2f6eZ(?S3H4ro;Ff7ae<+_icDRh%tpg^gAx8e$e=^H8y zdICMPGH7C|(knwRy?JfjLR@%M)|ZJ6Z2-n{em6C1oA|FEhm;5VM-7DMX@Lv`b{R#T z3szZ+2gSEG0!y6~2cOuR8`ZMd-~!xbx3L`${3D}7BZi=(E_Wkfi*laCuK`)w?{HJZ zdsU0ib%X<&e~tSb@{)X>L-UDZ{g6x#hJxTX{E`fN)MIFEW~m>6g_j;Y3cp6!rc`KpU_*<=3KfF5)!?zkA3qd>v!Y% zjtJMA%}{Ba2ea=Ob@WNqmmN2c}nbqe=7y0^?P44^xMsYJ78 z6u#yshuuBd^I>^mnLk=Y7FL_zh~x5}Q&L@&U*?yS@BEp0LD;DqiliW>%C#X(Uf#o_ zrmelbyXtFowa%Zt_*03*u&`vHdukR|Xsw9XGqDSbr~PsYPxz8;^P>Eed)BmM`}$OZ z%D^jj-dMSYN`16^oU<%y?5^}AuK<&nHB zNuAg{7A@Y(2VC_!TjOs^n3kDMAx&GNvWM28~<;NKxiYFb1beAWp%5Ip?H3z}C`J$%|CB02uI?P8K zX$ow_bKGk~Uk~nVg%me$y<98Pd}%%-`L)pMAdJ#!-;mLWYZ|rb;G9~8fz~zEB+8uttPZD*65Xdh2l8! z@MwbYOsM^Cnnw;Szn|+YAz`c8>G$Zv>RWhK=-!2?&qlY4U55;-C$!WTkC`MG%kwwNI2PAwM6BalacE7_+cK0 z-}H2Z@zJUS`TF|tf{seY#;L&59;k3IMgAtg<_LWw3$&Oo=c7$?hIMj{ocVV;#s^eI z(o=UnQ8X11r`>+%`))abQgAu3b}6OtfNV|Vg^shVevUe+txCm&qB}->!iVV^^@yd` zEu}QRtc=>=>QRnw6Vd6KQ!Lt<%Gu3v71!#X(l>+)7o^-^+W%;4`LLDWfp&JBOXBin znVsp5?vfW011vZ%$D%J#Y6y^cy$+nOwGd2H_pa=zOqaWIQfZ5QGPk!teEH@w5E;^Y95tN_Xw8dLKb*}d@VjV`E znS3X=hXIaSz)z?-J9V?3s8kL6l#r0OvvU?dKas7@!NRM`k~`*+)FyM~Mpn}1+ZOe% zZ|3n@JcHV`*OM|%r!KSUl__(ujc4Z9bPpNTF6;gJxs{f&8WUBeBZPl7%U(P%eR8nx zmyEU-dZ+5kyUCO1+3;E)al9(l`zUqXF(mOknhTpgy-PcnW-aDG4pX4wbcySu00Tbq zv{T~(mJ`p4nBe?`t+b#OB+=};ACtbHohp=ws#D@mmmAGzOqmbW8(BQzlXfNmxr7}` zBgb%j=>jGGg+o*7!%N52&y9w0;hN@8(Ssw9 z3|cfjvtWDk(eulQ6~zw$Idb!$okeYZ^AiQ^o#8S4m3BEdcoe3WGbwlrJcQy_yuv(3 zTDoCz)3Ns%%wCxFJaW%B%X?_)yck`Pz5CqhnV5VjwI4QpmrifEXR1bX)azH1ME6?F z>Kmdj&{EuP%rt73)T0VNyVJb*eP3hbWq01|D7@H^so>`3`GPN(MM10^) z+Zn|v0rE-}@ZUU;dW=UDcdY#p%W>!1ggf`|KDncz7Ruf4NAX9-CtWxqgNA|c6%w|$ zFB0XflMgGl*G%N@x?=CZKd-DYa?mHpYCg9m))@WJL0Y<9RYNKL?eHU+W#Y~0OUA|1 zGacs$uV6V}9_ znJcM)xLyHk!r-AmZTQEJDUe)_tU1Z75XT+sYnb`jRMo^+>WpeQ&%dItYS7s!JmpO! zv4FJdDGyqm^6U1Nr106PmhM=ofATlBc>B6J_<|3NT{0<}AFdemTv`);H6A8Og+Y)Y zE{Vf#dhIp;{_j-S@wagCC%ZqUv?wfB99rIdTxMF5|GY~d<&_)S6jaU?@IHQ}Bl#(* zmJW7i@XdJe{=8UXG0^s2$%9QuNE=MMdclH_Enl}Uyl9#-qm5dXcP90$)AWK%L#tk7 zHvIZMYNnprNcWAEnf~EuOd{2-7EGe=yE)ngbU)N!-X>kjg+x8-81uVU-JZF! z7emO;anVV#e$DN}{h_RaRF%jZO)C)z9pM-IpY1NkiHN;CICz{pUa7F>kZzoL$&{4D z!Ibi%d_VD4muz9Mm3%1%`gnKPqlkC;OD}#d5#isEviOS3PzgYy980i_ETN z)2&pw?!FT`T56pQ%^~Ui?gZhn_nqh884$>yvJ);8iLXUEK6Lo{=a-uG!BWz55si!% zkAaCH33Q>DAYtK)26p#C^A9)7dq%0Xik+l_BoZ17RWy{)zoyo1P1mQinqA~2t?bti z%d2F4Ox=5I8iR=%L@(V;l?sq4NlAL-`UeO3Axd)9Tzr z8QAIQ?u(uscIPr)I4BW|>%Lr)*!isQZGAlVe8s~fvt0!Wk6jasq3X~1zN$uEcC^Wr zA$%tNJj=shLh-L9{HQm&{Q}}GKDE$i?}xX$kIwq^2XyB>c+b)3Jd~8UQ!#8>d?RJ`)NJfu7mZdPyvu$#$3GDC{)f8ucJ_qG zZNsE=R&!)VjFuwSrW{Q zbja<;ypMO6C9@QDiYXFy2WZ)kYRevG8R`U5^aq7?-a1Ev(x{8>He=t#wzzGYPgS1h zuDrVxg1+W&FKvA_W3d%IMi=)ML&3g+$oW^ex&>%l(CYaKkmI~(?yiQB!9m%v7{^Mq zo$w`k7)2zFj*16xuICQz5DaFSRy`ZQ!sYKC3E6Mus4^EbU5HIOe@`PQ(8r+hjh5Kv z^Sw4NqM_8Ga-#0XWSi$B&))F@$M&IQf*yrSYY3fM5cWkfuRDn(Z@M|$(k<7AL>bQ> z6;5hYKCWFKs)wD&6Nl#-bj707f(?T}jUk1OtT5>sVf8)X4}7-`>nwPUEXr?ORDrS2 zV5I~TrD4KX*H8n-YiSY9T4hg{6P$-W@0KTgZJsE7)qsGhX6KX;QsG(MlVP&6mDO*^VHV=uNFC@#owc_A$Hu}}A3@jZrmvB(i!tR3H$}JH= zDq1!}JNrY2FZoNFqg}<(vt1^srd?mw+)QvBEe4`I8NVqRbN4$XoCab|Pj%@ShLGtW zw!Lk>#K}D~?aV5`U;|@$E7wZLb`sByGkVvWqx!OghS%0@zUA8$lf14S`|_tiQn>0# z^COPQ38`j3u3XkHaP-(2-nD3k^B{-pl_X|;5DV@!-ugVA%(E>T7=i@N?H#bNVG$6h zXnX7hWZlTg;u?ejzS> z152Fd+y!#HdcSTn7^713^T!hi$1gUg@3TlBmaMK?S&tS!W>L@E*?odal7=LogJV?V zmk}f{Y*h`4zl>1ldGAu7fD2TZN`yFaE_q?o{P<$h{sNrcVQ{=E%$#%?f^-6{BOo6J znL-czxtg0ERU;;ei9&61MCioCL`O3{Mp(aTW0orq>R{R${*T4i%Xyu(Y92ti6RM3~(8$xVl=*y(M$B8fgtkIX7)> z%#A{!&YnJIkPk!p%3%JLnUo|J>~QOhhR5QQDu`qG>9}t^sHN2L!R4&E?w0AP1=Y6`}p&_`n`y?cbjjo!DaX#sbTJb^X?{w4!3@ z?A)BHhDK(2Iln$kg=V){^3i?yY<*eUw3$cVuLr_lf3^hI^ zGrreLpK`%pW@7yJ74n&O#Ys;k3OY)=y1K%2^1hpqIG!ZU^Ih?7lSa>#z^Pu%Mw^Quuq!r?S?fvPx1HRZ8e^oFBhBlF}vFaDnea9=`x46 z3l5ykyMVidhlYLzmsN9^;k7U!YB|U%7j@@8N6kTUrPCT3IP+?tF&&6t)BY3{#rPO` zPy`kDGXkOr4JIb0u+#=$0!t8uyhN^pdy??bo>KojG_O&hec2-|Ev>W-32|}wR~UBJ zC$vE?p#=VDy4RCB(*+#n%^bt)T-VrNza?vwr|A;;|f*g++p=$Uc;ZU7+$A-VY2ourdAb)-{ia zBZ`cSbnf{BgYgWTZZQM--5mTpW4O(gnyg{=ds|0GKMbY+rGjS^2sR5T;1#Y;xp~7J zWVJ6>3tMz(U>CjS2>H9$0$S$%SlHMGU}{6R5b;VL$Ya}V%Ccek!fkBF%L`!-ET{y5 zltiiMS!eG!jJkyBWsa-Eij;gd)r)htQsz4pu_yV)YzGOt1s-?w3@MM_eV z`R?6bZw5Ff1^9n|m1xC)pWDHV?=DD-n7Fu&+p#AaB#Mnu!GvN21SvyNiWMBBi4>(qk>0y>HHj5O zhbBcpL3)V-(!mNU3>`)~7C<^mQTkage#w_}&-dKt+~>~YABxPcyk+mT*52>lL!G6i zbwe{>Mszhb8TVWF>Z+;TzzRE?+bUPE9nb0hZ2*Gw!xC^3rqC1R?Iuvo0Y%6ZLfh?h zJv{Q8GL18lQQZ9b{7yPb;Pf{n2Zaiq(sYb`_O^z>cdQ{@U#cS4{n0;c{YN)k7||YL zq1El~tjqQKV&~f5KxZ^$816%1kAAqRFs7NawFXLjvQTMPX8dygOi78Sop~hy!7%M-g*QrBio7Rn=N_BY2u%% zuxVY$iOMt^W0yM$41dNc|f zsj>C1c}Pvbl#`Fc+JHPN(z%brp*Gw_ryi5rto(RoD!wms|iU>+8Jf`dE1|H&CP;a`9L6)m>s|Hbys0~295wsd2TsynK;=1=|FP60ow>) z$h^Eh8x606gM)b^nLPt{@oEaE{cCa1-(~#cabtEq3-U@&ZYV~*@E3huU9Aff1mBWy z^T&+&34RlQWo2b8v^AkCtEo*wZK0emm9GE&n2L%Pj^ZeWvZ4i`0%Yz)mScK_9@R}Ge8@L*>IBOKVM64040t|xYElXcQ9XbM0Kitr5i zA5Gxbcy}SOP5;@`6;YNK#TM33C^<3WoI@)7UHg;m|MjE>Y&hR#jl#!z`A()ef!&&` zI^RvLqU<<#vv%pKY6Z%UH?>!OD@PF+MI;7&0(v1E$O-$bS**QE_z8Wf4^z>+Du#VpM?&O$VntA9>_$6g4ax@wxwmV z{OsrBpTO{2g?DdHtoJa$<079Jk%3B?(0FcXn+pIK*ulANh;-kb!+P(hVqM!aA~-a%;9EJJt0`{nbf z4zKIv^pGlH5j!|Is2nuLCF68BPBB2U*mGh72S*(2nl<{sZ2VFU6$nwy?Df%8plG3)TQV;=hw^BJ|gWC(Ls1V|fbVQLQ^Jm@mUloFJZ%B}OkK{WW7 z+x<=HsQ|@C8S+yfIJ$d#tx>#XV;}+CzO$c{h~9w0j}4d@3E-=1Gi2DcQ*|uSA{GZw zGtc_hqWP!5ACDP~^>cW57OGC&#j#6kyyi6iJ<@y!#$nV1gTDEUlw!r&;EzLwNA%oc z54)Lo%kffryXv%}%D2R!E`tRM92H=UXz+=yBOQiloq+YLbKt-QG7UaB+scT?EYlfe zaN^_Rm2=R^A`$f?;W4$Kb~d3PUJgz+v^$n>hddIAGR~RAkxIS(<0@_-$_MG zt+5FWozf2;IwV-4!0{uWB}#z<=$-(=6&$v&iM@bo>Ny@`J=a>#oH--#v^}4O=eW2; zhHbyL*@#TS>CVCQhTntY<#xWN4MrA6;L!pVS9TdlywkXgD5)M;-y_@B1hfFKz*)m< z0djJ;MsaM=$T9h#on1!RjqQSwOdVS$5sW%pZ6sy3(IPK*AEf<|cybx#{EmZa%N#`A zOeA~{T@W6x+UMNrvvqZz%EnO+T>d9XN%-R&P3*9zPX&x~ya&>At+1scByI7hB_5}J zblWzsTlW+FVe1gBr31YlGCqHH^1&+Gn7e(i%Tb(VBo46c4F?uw%O6oIyUxffoO@R! z{(dtH+F)uNJcIFAPM3C8>U@DU{?>$gw;Xesq8 z#i-p$@#woBW`%Ak1@CX{8-KCc*aAzxV4_LCF`mxB#wGjaL?L{zM(WM_^If5SpWmrU z>vFAnoMrL+iDhoPTO`b}gk4*na_;3n{;+Jxw)Di+f*B0WIET>4$W%~;zDrx}G@zkl zaigZoxeile=JTYTs6Q4l;-d6_t8Fe{GAa~#di`appn!m;w|5bqY9s3G_LT(fR2L8t zQOC}Pn_=({?bA#JM5NWDR1wots(mBl0}j}X8XO%}mO5q< zSEE+$U!BuDZgBZ9+l*PJjplu`w(v)-S=-lJK3(E_Q86lvxAA(;?90Sl*}3uh=>g+~ z6fQYW3l#e=;lhA`f>~0Qw%72xP8hK^1axX>SiZfKPd6Ky!UGp{W?M_xVj8yxd4WQPKv1V#WnikAJq@H#$iQh%)fHt zQ~IN?di3-fa#o(teNi)?G~%>za}NrB+@ z9=$+_h#X23GvZN{PbMcF;Ly;N>~X(iEl5F^$=`_w&RMlc zN#uMz6b-boAF@3stT0JBZJU6dD=SreP{dKK@eTGHo|c~utlaRqyCNhy+PAh`JzVSv zsN6*$q*3fGx2jftKszs@2 z*P)Bzwxx^AD;~nvwM>jiehxc%G&b^Rv7WvjmMMvZJg6CO`iYJ+pV$2TU92Pb9aHQ3 zHMu>VN~_%?rj;!EmNuUcK0sLEG;C*6Qi%kP zd}p_Wb;bJ4pLb!8t0VK=F}6TVpFciwc5(_13gRg&HalQz{%Y5Kzo^8ZweRoVx+5a+ zJYn}KOWJBrv^QZj>Kdn`2eTZGcUyIq6eEP1{&c=mIJRbBj5yP{8u>^CqV%TxAO zl5I@I3!U%Ubi(qGtuPNS{Gao8Ezf}wx2ue4gEOyqbGK(TXsLYb1= z2r|sUr7dv+wxBN|(q*bUEY-9klq!4fPx-H1%Ye;}GO}?B8;0*BSQ=^-N7)th@#{z| zqwILO;*4TYQA|BiOO{KO+C1N`;A;T#lbR>-6ILAlR*#yXe00Ls1T%~70Z>`NH5H)E z9LSNugM*u`hH(;o8g)BE?%YX#^XAPO`7*PtS8p9GV19`IGK>i)cz;~#4yL`^Oce+l*JBLpF`NE$%McN^r5 z7QMRgwusyJ>w&V{V>mQzilIAL!K3PA7$gfD7M$}L zq!htM!nGWn+F22@ZDWGqr|2fm@%j9YJzmwKuy?WT zJ6{XhSyQ(s^zP-gvIr`W-^NK%=ZTwQC%fUoD-jXZ3EkmJg?A%*IaYj;%!J+gkF*Mk zF?CjrDIxdb;(R2;DD!70qfMxj%noH$X?lzEJ%eW@&8f{^H>NDkQZ90mov?g0)$t}T z?A(4-!ze~XDg%e4ugedAt`LEFD$EAPz1B)xahy_MifW`}#})w!_k*o*pSG@cx$Ato zs?DwQ($eNs8U2-%E?M$qIcox>wZ8T$EF{BGyFwTz#tJYc$FyQo@l;RbG}!${Dm4Y; zO(a1w94OTv2aIR|t*E~_D{-&;@Zf+UrRzWpx2$7FxP!Sk!|l#5tlm}X=j=5oKQ3P! zYc7d*Ry%g?RDusr&T+Oe0MODabW0Z#7pGa)@tU4Jn}kLQp7T?^6M$w$P_6Qag2s$Y z^qlBV24aHzqg4^Q8&e=;%+7uOa(7J8IgYB3@+IfBzj5@Xe=xPA-V0Zq_-E)Kqs|9y zXthA2>gwu{-pxmEIpw6>$KBf(|IAC>RqKkX{=>RpD#vh+?R3zZIW9_`dGm$!6Vu+h zIf43~w&I4YU&_|-EVar^dAL$IBY{)(v#%OY95EUfnC($LVW|mCk}x_gjF5!i?sw?F zNE)cCUBISMGt zvo#`Bt6h&a{AoY=nqS+htQmc*%=hsMG?*1WR$q30;pas7Df`nmq$%g?;Y?G%6eJ|k zUAo^(tHwPWhr4C7)nqC0z)e69~--__a`C6 z0e#s8?CgUtzbkn$#!mUpP2!!L zn1GAhou8jVFCG>6?Y$0N=bt`%wsHNz%=$=wQGs2%jsx9;=n7Ed0DbcQfVV~j5m^9? zcyzUD&P(gCCTl55k*DemI1&!TLF254OY)YBiVeYzjF0F2MyGFyH+QLsuk9cb=kk42 zM_Sk5H3O(!1voL0FWabu+seFNP1*mWqh#D2nO`Gr-zJ9G!_r0iH?Z&XXT>XT>zP2Z zy%rd#3mFhw%v%mphepMJlPQ*)kr4;>fef=a_={r7-;#(>Q`bfD`hLVcrq1!ghe_@Y z621L8*NnWwjIXNujQfgy9|3(bB5UlcT!&x|bClx-oG z1f^g7{b~Mn<{o?F=oiL3S5JQ7n5mx6S{U@(fj{2|cZNv$sslJyU2#Suu`2-c{hx-O zzj$$K{^_T~s_Knw!4c6ZTL(={aqUTkuS+{PpUlrF{3ia^s!E?zb#)Z$#Gj=xZ~P`> zaQAdYwKe{oA&GwK!yhEpJ^=P6ABZvkkVkxfK`Wj>+0R$tE$0dn68l#wle9#{G~@dUIX^^?H2!C82k5( zL~)<`KY<-{@$*|j;BI+ndR?DpeD3WE*N-&^9334YSf7AHMnf0w ze7UA9xv399NI)ro3vNpp`xqC9xzL`rYA?uXeczg89%xrQp+hWlZEY<90$@trI?PSG z^`fM7VDI76!>n6|+;B|&6d?pRZZsjVaSt_m42IR%Jg^YZV!_9%qbMKFpt0D?9eeSi zA}z(Mc&o`cj_D&3cnVjBA#4D(*3wR|}ANVOCMiOodripS|Bqq`rxq?`+<1elHg&nihHc z`h)-@(CJ*O;m%TH2nELx5doELfS6)syl^4Dpj7oTJ9iU_9iR*b_#9D*OXr5{5itAc zq)IOstJ>%KiZAS!y?gZnsI)qCjhg^DD%2kP!Nh<1%ZPn*r~OxMrhzyO8gEer@H2OjaagHHJ zg=qK5=!y{902L-3)Jm{~WM$;`Z--2SU_}n>%mfw>+8(NsEIO@BBe~pu6v%#9C%sw3 zNQh2FnVbq*jA#F@;?bvTB2YwH(!L`tG1^m^WXqHK>A7W|IPPVQ@+Y3}1EjJ6EHURK zUVt_bjs=RYnO~3{rHAX+lVZ)7P({ppe`{_ga8jQW69sn+otZRGl!c1oGIw=7rmUQ8 z#-x%p2ryGS*qlZDeEYfg0m7`{_zK}d6+~WHpbQh>(S-Ma4b-6*mqCU{S(J?P_yo&X zkdN>F>+;5UJ2dAODE962ow3ceng=8-=!vjyC~&m~uu<76X;bszRS;}nw-Ym~JS-+A zlV#+k3aefE^@T_qbpUiI8~vpS!e}Y-$ik4yw*!GiDEO5eqXmePh{_}T&J2hkmP0K$ zWLE$xv`-IC?rfa1Z7FomB<8Rb?GvXbTkRJU#?YyX(D@1)A6jUsL9%NkC89M4oLqbJpy2rMjip$9@oqa+rmM$HN#P6M-;{R_c%fAXhCu*vytrR^pt|(582qn zn^V0qB6=jmBFvX7E2gGoC=i#mM$BA|Gu^nfgl_`s^J3N;w0tO;k*yQJH8cz?*sR{3 zf_fs0f!ycVG;0FL9?MBo)isB7+259*b%~uj1KN_IP6ts@+fKnz92OBJqg@rpOLC12&(nSxCGQ2!x+aD!bah1A#A zM;I8%p$M~<*|ydPW&R2VA67Kv+8e`jrC=08qZLd17JSM7Xmb@i>!3~z4OQTVnzNM3 zwh+-4nIPIQYsV%)W%!coyo7jp4`aQA7MITki2Fr;6RZ*uCO>AiY4c_%!n$x#R!wQ) z6*QQP@l@kEWf>V6&|;^QwGN^mBo?YIbxb98?E#xj7fTh3_>dp9$%0e$p)eSA+vZ<5 zht9apNhVGea9mjvv}$jTTVXqnaMT!J9PC&vX#RLLAb^I2%`Y$C;f;s3V|l~MsY1o6 z#QXb;mN9tJu|)2AVCht1teGelqzX^00^xC&fPhoJ8FH1c`uj^jhZln(6BQ{QXP_3A zn7CP`gLRsDB+WYXdp0&2F_Nh_+U=y+<-f*0Xtv=O5~_S-BRTe*Lp@Kf1YKRjqvgCJ zuupG;{EU@twZDz_AkNLEVfk7kZLFCvV_!?&aH7b0wvE1h##EJR|Degt^7!nZ2XXZ_ zD01Cwziz2hVGr6ms@T}1kz4Tby+D7Yr|A*uvY&p>2Qd}A(WURI*oN(43yWkfY4he+ z$g(Cxr>{pK5J8?{O{Ta~DjZ}b6dfiq7?>#N=g%|~2jg+}h%)zr`Bs6?7Ld1(a=lvs zN+W?FfEYssQBu?t*aJ!4CEx7Ssc^cgDh+{tDL7Y2gyVZ&?TnFNsOaeE1e9(4E^4aP zrR(vMpoj>o`O(V?d4}RUca}ddE2Gl+<>cD?c+xkgPC?ddX>)6}-Pq~%ZbWL9U1s+= z=Ll_1=IzHXiHY2t;w7nmXI-xdnc#LNv5~@(O85Kq2=J@5p-sAz2(cJMn%!KEGfH@3-~ z0p@NikmZq;ZF7MxQD;lSB~#7SzCFXE0%uK4!?)VyJsH|-Upn^)qHVGVmJbv1R^>ou zsa-!SbHr`S9Ha!5KrT6dUJfeN3Ozs0*yVR`s)vIL>u(HIG{A6iN?6>?N0T=dVEk5E zAh&`YdBT$EenA*w>3XDXWMNl@S)qpdqDEY&uq_SEEC+zuTn5Biux?=X!b)dN@0UY& zdD-SY#tiir$6yjML9H<*W4LpEQi`mn@TsxhNCJ_85|Do;;JYK9opY;l+(JC>~Hcv5qLYwFZsR&{0Uf!`|O5c;%g zN;Q~pli?WHaD>6N+j>Nhk9$OIO-GcO_M$1(v$cFabwaTa9iW}`V$VvLm-YYU)>>Zl zPdlr{t?Nxp^SywOTqN28L_mwv*BP_%nI0D{g^V%}lWnr+Y8Vl{L^P>adR?7973en`_ioN*lGwE8680T!pC4e0)f9bwcU`zqX!mZ~ z>C>lsPzp11JZ}}(xyLRe9qmJo!p0?SN5!zPoKtkP2`W-KckZi)^Cz;fmC z@g~5>Z!xLV)-^OGg+-}>%`w_va+8yiUSdr$kp)xUw?ikW)E!%mpP#?12oj@k<2D7~ z*(060SR5`^Mc=7>$nL5n`nt(d9)eK~lZKnq?4D2Q|2-Yq{bl`D1Z4e)q0FZ1hnMSi>t!D$D3s5&zOD|j=XeC=lCZ!S@yL!K5gp=`gqkmfAVhLM z(yo9GR8Wt0x{a|1mId0B-}%z~@)l2ZWPKurljLpTS*>4;3Ji7>>t9~GT@zu=V+!2p zbV~HPL7z!P4^x2K?5ewezBAvB?621*BU#7+r6=}kKrss;t0vcadYSpWBv55CE(!&> z0d0~~4Fi}VrS3iBOI}?s$xKO|syW2o2T+*lqCYb^G=b%D2sv3PZZi~_bTL2pEwgWa zYv^g4PoRfj;*^(SP+EoMSqT;(1qg#euLRZ6_XBEhPQ!u-lvKl+gLi9{`uf~YNI?7( zIqF24C*l--4yNbBQ1f#*tfW+^<&1C$iT-JxIDvE`(PAtJy+=0T;D8@A<>)E;xfw9- zx_yrj@dZ)rDr&WU_oZ~9n8X}#IqQ**V$Tn^lr}(aGoJq(29kvWfrJVYZJDUO*=S)* zK!Yb#U&9QKOV8eFAfksFSwrJz!?cMxo1bQtqE(7EAVeeXMRV=fg6>|GUSJ*?tfsC` z(sN=7!~hYbtzO+&+%W>=J=ZPbSBn-4gM~i4ceep~h~7#qWG{FhHa|e4ZJGdz@7|uT5wpBPhrfK>%?>1vm)>ynUlBbG;a;m^%h`p=lR3CGtIXgRxoLd0rdFRwF9;R;a(HgHL+$ih#?)ND; z2s=$pO~ME0YHE^LA|^Q;OIYLL&ztj=Qd0CaHP1YJ_)rC73yYjbUN|37-AcH}Hm(8G zF}8v&Fuiy0o(dW==Y%blIWdNHD+bMh=2@(xE2W^&iQI%Tgo60IDZ|2j2rc-a=HdgL>jbhDrPU)tDX!~dK<_5Yq^bYAgq`4N|VyaL+GEgU~! znw`LCQl;$DfRBtaizg!%(~1!O{V^MH+gZ*4X^O*f5c*&c^%&o2IyqDV<^4X&EDw)Oeb}K* zxEvoH+zj$cJ&F1y0~$D!Uw~in@Cw7QSgk;cir*1PdO{6_?)C@_SRez15f5CBXohO1 z&zC!9RZ+=sOj_)+qvv^dAtOPm(>u$_*;%mhB}hLiEfGmCGmsmS>mw-VqpOhN`e|YZ zWk(IkCnDJwxM_9aNKd4F6CfiJZWG3a@ibq?BRgjmSFv*i^OD#P;d?-?!BJ6Z7cVYF zl;SXHMd>*?*w@#N2TgKa960mmOU@(f3JM$}9=!T6w&ih<67mQE+hjC}rz28$AAp=D z93%}bm*{o>$OMt!ssL5p_K4cDE^9JlXHe-?M^7)pce-z9yTdcK{+heL&37)$_z@8b zxoo_2n5T__rE`<5f;|GS@WN0W1egAdCrUf?*F_Fu3X>)6+LDMpC11pBV;^wN4Vo*| zn}!)CfYL;N5zp=LOhqr}yBGkXP*LSPv)L7)rD_x+o9XLsdyEl)T}l$4kT1Iv32LO6 zGx9DX#7wW*<-J`AE2K=s1LFSyYmH#`>%f?j5s3a&v=_O%^@tUc_&71BxPknett9E= zx2Tnmjd3)Pl4pU7k({3En|4DPR3JQ+2w5n9OFSSHI@LRSwbkV&g5k&#{T60Aap%`7 ztlNRn5N4=H>$9RF)ETDau*9-`B4#9shH-R#L9rsi=h*(XL zM>5vE*;#L5w28?0y*s||dlCQ5kteZ{;{CBNF-8ZlFa&sq9>l+x4@mhcf;Fj*)Fk{a wKK~2F`JbEc+n4@ZTIB!lzWyJVe6q00ec#e_Yum;v41*Mfn zlrtvocfa5FyUzE|cm6u-+FrP2t+}50JR|P=9%IZ%&1=fU1at%lf)HO-QPf5d?0E#i z*v7|&e~A|ewSylLURMmfblhycd@OF+AQ~24?#^yr&JLC=w{32DI=HzC@rv>aUSzTN z@^bf-hzR_61MNYY^-1I~cQVaACMxI=*1A?^uxvF?c*Ee-_+Q(OS zcm#LT$MzF9XX1TIibug@s+ceK5bbPE(K>>$gV4N8{eghiSYMn=G48{KnXI2E$#AfV z$R0kH$EP4uAmEIj39#+kYq!RIP=57R&iRcEKVM&Yr^Y;j%;1F@v|GcowSz`b5n+}8~g6%)Q5Jdj3KceXM?c-UMa}>^# zl^W%q4F`+Q<5kWXwqs&q^1IDQ50qTm$$s@po;AVz_u)=k`okvzR&C}z&ji}iammTa zD=@J<;3oVx50)}6!+SPoKfrsga`N#h>*`Xnt3M0wOOt9I7$AoaH&0YJz0l-Xj?w2z z+TUy@9jI{99~&FXbo<;eR_>rvFR(IN+P?jLaBgV{FCZXbdwrUIqv01X7dLlB+YMda z*~km&@*6YtbE~UFczAgCA3U(^O%ch<&mUM>x;8{{>eMOUtzNN&M~^I5^U27`6Cy4~ z%V4mwX6@Q9w8h}#<2UB(Ss!u<&raYpLQPHr-F=Wo>QxwPlXF#6Ep` zhS#_{*tFi?Ayx+7=X>;{{YS6Z=h@H4f2!E+lM@m`lDPF*1qCTG?(EVcvz-?*TD}du z{PDA!Z{g3cjc|4Ldr3)Dv5Zm=ESeuU^c@W8TtCagB7ZuXUhb|m(l|U!74+vIcO*6a z&hAZdDXE3G{j$vkdWExJzh-anVSUdmDk9q5-Bn7vr^qVsZj=l$xOtN{fB^1eNOdYj zRZ;QWn;3errq)&*o!o1!tK)CWJQkFCtwcmb+`YY9j}Eq0WJ;^6X+%XueZOZv6>cvm zD0uBWE{KhX*E}&nclYky{Uy2M$btf{;w9B{6c>%F$>_yg6-!O)&0Sn#>I3#L5!u6U zY((^;M6Rx`uPZ99`1<Xe;X=%}I zn*09!l#`Rw_VO^HS&nUprKNmK0jmOE z78f03bhwgyH|qChS5^q=>FJ~C#YiF}BMq%AEiK)TfA76id&--#u@S}B5b^NgL))c+ zu_;sEIh_52gAcF=A3l6AD6_o;~xNyO1dFYhqQeW%A z*3$E0sj9ob{ilMCe_3;6DaQue|a8-^Eokp>c7f42+Bd0lUtWR8%ht3JCb> zHZi58rDtbngW>a|0i+ng8}E;q=H}+$w8IJuxtaXGoqd&^Eh2dx0;QvbZ3~2~NN0!# z)q67m7B)6v;mmhwoJLDpzYpdLxX;QP7#doR6y4nao|~}=KBCY4)}}p{F|VNDlk+=W zuB2zOcO+w(WFF>b+@+HV*lh_TJhSTfDtyHIcz=P^dHf9y;ThihwY9bE zns01->C`i18RMjX;ujPa{(zV;51!S&K3yx|y{y~2wbc7O9CmVcK$*EU{_JJ<{Y{JF z_Te{g-tb#@kZEjQ=Y49`pDyD&A9+F3*f{!(sqc$cv$xO1+%Pq9mWLp=oi_*bZ1G$(say+NoOEd7h3k%O&eJtiU%!4ecx{d` zH8thFJj5Az_&rzU`t|maVx#A&-DzFj-2(pG_SV+cv&nYpm%vBdkM=z-n$%E=xlT1M z4;NOn9fM(TaB_YS>X*ifR177RJ0gRF;CuAwk+6|K(C;06>HXPz-v)C@pYWN*hK6EF z|7bbA`Qt~v&u_bQKU_3FKvXCL=RJ4f!b!Aw=egv*I#y;|qTbo znPB5v>D}sH_^k(Q)Q1Nh|N87Z8-lk9S7W_!0Wah3A*WIdT^RVs3y6@tea|8Hd$FL& z&Au;Hf(;?t-T2IhAIbtz|HJ60zVDxdB@wILwaE(z+1-P$XNs4uB@14`Cn6dOJev0T zd`dfCHzG1}fUe4QS`s4|_D!Hy014IQqT)5JGjO{Ghik~Judh!Cp_95Tma$NRnx38; zAw%O$aoN^l?`Z_T`w7n=LjYLgeb@uSckkXAS}}u}YaxbHis#8x9>4ml);l*3EwTa*mRcawx!gFh>Iu>3xrZg^T~=$B*8= zofxqhG6Y`^cC5Y~!Ws*HC>bLo4?^a@yUMAnr{}Y9He+aW-r?F9M8SZjP4}Z=m3M1*SB~?9vo+sAu2MG9Kna|GE}n* z5tLr~ZZ24!=%Gyg)|M{4jDI;l7=CX%&p}NblZ+w468LMaD#c1qPcQW8)2HsA@9a6m z=D)x384^tWyN2JplZIR0M@uuvn3zfqe1Gk(VImeg%fl&F1Yrs^Qn#J!Jw>foMv5_! zvyzgAOa1je8#4;t-W7}c;Exv}BwGCZ(rMVw41sZEkMI2XEAgGyO<+H{BI`|IgrQ+! zSLzqg9P9r#$7Z29c5v`Cgg!*qh!b4=(h*>j6c;C}_Smr6S}9StnIb>aOP4Ufn&R-7 z12sLJ;oHBBzrEnU{Vil_%DDG^nN>R`lJ)XsMG2U{Jsk1S^Tguf;t_AiN&L6IsHDmS z-0(E6kJ;IE$wW4%Jo_E)T*Sw$bo(6ZFqi|IUF@fkDo%do$`!+<;Z|5=0zjO8*VVk(s)!6FmOp1LDI=;go?v9`fy_YNv%N~0lBvWYWh2FL{#kP7xNelX<< zH%23I>zuK%ad`vZLVH}e!i&ZPHs$g*IS4%N9v%)}caxKo!MZTf{46dmZr>KeBtv)S za68|}#m>%d>dxM@;V20yY52W+m+Lcz+w$IaPAEJrl|taXv&_f);fq#a?L>6Kc{9~* z(!W;U8ZyT*NNBIT3)ou^%g#QJBFSEXeBFl~9V*ju$<+RM$HuBjf%!C50eg*KmWu$91@;v-6UL z#o31adBVUSt!E^A3ptMu`hzyVJ~f+9^O^bZm{X^m>1{=Y%j;M@8=LIK9}k>o>S&J- zN8fL@oW3qhH}+$D`+jcj1;l)Jb=(&qj>q1#&jPGOL(~aH8|$?jvT3qaye2jFcZx{- zr%i>{4tG|37h=R-!{YoahQQ{$YGNmb3-!sFnM=3&)jYSy^yDi2pP1DBT8foC9_TU&)b#`(Hgd3pE%BCGv(xUetDLja|dE)}S0qW}h^PjrGR zzQ7qYf~#$!DZZUKsAzA$EruRF0i^LVsm%T3KYQ=T-rAAc_N7Kb!p~HWW5OpU9*zbw zgeJTj#fHPPJL^XaH7^=<)zyh|u4lwTa+%xems4KqOS5orh=jy}D|fVcIZ961d*C?e zXn{Fqq-J@ts`T2D;rqKXXi7s3Zh!RsAH9tq5TDs3CFw$0>~Yjxr>ZfK&E4ISz0}{o z_7=+8nVN_4b;=+Oq%C6Pg?f~}|08*OeJT=?tkTkw$QAZP5np36Y^0!Z4f00J(NSRC z&n|9Y26(G$YYD&_{I(VyL<~NLY3H|~ZwUIcl|d{EfpL$zw={cncXRWjqx!Adw$OW3 zZvpM<8V0>>OZy-w5~eUPyOg=IH2kFhec2M7k=2&tx~Cpj5)e+Wi89>4qlg=Ly>EZ_lmibQxt5@3rLJ(b$&uh(KI1)fA+E9HflyZ zA#J<=Ir0M_T{2*<=m|lH1aS50WYu-2=SyOr17C{teg4d>noR*D%J8Ou&+X@ryT7`7 zdEEy;+W)a&ByvH1n0yDNLiKwyle43QNK;eOCM1u!PuXgQMy|tG_L`fT%G)xe{V3kr z_BI7$V7<2KrY?3V>D6-cbm1lB;o!grEc3K)$)yVrqWjk_D(A7+7;!SY&ldOp{QhO+ z-H@5d^7zS<%J08!Nd*N3Av;01bduDRl=rdlNX+*)=VENRDxX9}sok4)*3r=+r=j6k zu4wtPu@U#}oBiXbPn~R9MYeaGRh-PWipeP{K}q;n;WX-xVFVzT;*8UYIc8>MVL}!? zz5Z^AsV7~gcIG`SCF|8I?AqIFn3)AsB7mZgfamRlyFsKWtl*(Sn0#k3Q1sT#_uhHa zzh+1{vC|rkCgsoziGTD+yL4f>CGs=|k`eUh-N=vYa=*)G4p3)x{@hUiAz1g?wQFxZ zC2xJfM?rTqod^M(o-;oo0b<+p3`0##tytnzXt4Ln$cOfJyygeQgADH>^5k4gdkD06 zb*8>{z+4kN>>llPvpYLfhv-Y`xs`ax&urJ|>{_!K|%3 z8NhSm9`o1$dh|ESnwk_eWcW?|0s>w_&fMRfbkj04EReVhpxU_F{l!cL6#>qS-%^_Y zQhsr<3x9l0AshtC_VY?gMi|hj2XWW%&b74)$(r!!qDKlI_diUkcf!9m*z?gfXwi3uT6wKdPD)Jzy3peI1w%8JL6c0 z3yzqsq_X=gC>FeER7nIG_Q`Uw)xE`}1q}*c%%{ zxUW&?S^MRoe1i%{Dt3*O`x2guEK*YRT3TB8BqSpRVN^^^vA@=9NelH$l}t^U9uU!n zHiwgnXcGi>0WnYz4ZE?{a=F83jcscr&DHYCIAKd7#iQx2|evv;q`9o1nrE zHUTJKZ{O98^OJqhlYmCXB$I+=HLM{eGNoigQXD632?I_KnK&i z2R28CE2V}@L<9s)A75O?Kp>CH05b?r7P4dI=O;UV{`^>#8#9VA024USSqLve#%QZ_ znM7&s0?I~weZ_xnZIwBV@)j9YU2}5s@I(O!98ul&C$)}_j^M<^)8NjgrB9Me&@Wt_ zs36>%@+4gZ4z;=I{x~UV4zL9Z@3pnHXV=$fvOF7(|NMF;V1@gDlsOjc=q2E9RO$f6 zT1=G+z)d*aZ;|$*Sp$QIhsQI13(Si=JRUpCdMMX%8Y%h!nuO7gpUlCRMD(iY_Tw@6 zBBLcH&3m7N;(#aLNbA=`Bl@L#xE7s{&a0@aD*^(9M8(^?^737D)$7;%9oB+H24$E4 zeo#&h8%ST=JW34|-52s+nb&viSFc`~FZLuu2vWRtOYrWW13T&8+k+@oR(#J(POhcg zB7b67qOMc;5Xn#oLM+Rhq>2(q=c#IPKR-WrPtWGp7R|FuOX20^<^JRD%S*tDu$Y66 z1ORRt9UX1;zkd7nvbi}+de9%gw95DxMk#7w8^@a;@R(=ejOF2;$}C$6U@b%3s>f?p zpPRb737?C)H1*3JNB>x8w*vfMy;4#uoTiGQ_wpXlkvVu%8$^No@D2v>+;78$XKoZ3 z415WEl$ajWsfav%!SZWY66&rfaU!DOM{0dG+8&)(Ljwzhj{TicvmbCE zRuBZ^RkP6rqBjG6?^K^dH~;l(7z9a+gP&hf(x0ix0sN=&uXf z1L>E>PTTfN-{@mVmH;DB1!sHX^JkT}a2-~w`4L_Cfr$j}&xJ?C#9V=kUc7kmwOv0G zI1(P%ity3VQM8PVU?`|U(ads8$NTMavukTH-B07*6oZKsi>&PgT7JY^*t1XFiI5E zT)gPJQNji?NE3WM2Kdfdpw%Er(ulb-prJ9*?TIh!Sd>;AVKL7v! zk7(7RG9B>HUO5Oys8NF4rFi4U6Z=un{o7IBxg1UsdHWjJLe_4N?x@3mwRzSFhKLBH zv1#ly3#;H`@IZRd3a;4LoJVCf05S9MPt72>;z&u=ie|j8t78Dyq(;z!gNrOP?5>uw zh2u&&sEz1}(}4I0b&83=JFKiCPyoqmekScFh)YC+Aih64FU&12KF}+?VF6*q7cA1~ zj%l`b3W^tLLqo&sva%0Qe1MXK!A9zZ>*+18t|ra`=a7<;iU!IF zx}#I?Q?%IA!4duLnh_xU_4mhj5hxnnw>^4sIUKE8fP4Yuws#+O7K%vhjKH6fiv~At zP{TKkl$aDsJV{H7xsdLQnVy~wUw6sgo|-S#C3!L$yE*#8@d4GMHooqc_M9mq>76m-f!A?ryIAw*?7 z1TE#nn96Z;6GCje?B^#z&0~lyCMJf$U(ngxA=&dgja)4Lfo6pNgU;CN1nLGpDQWu~ zn{JjQRkU1T4!I13s}G=XDjrOrF7`c9VAKI(R8!WKs7-+CvlXMJmjO;;ARx=4ctrNk zz7<4la-bx*NJ~qLJXaDcJ3DR^HP0sooeV+*LIS^S56wAtc1yqv-zF-!QGo$y&5PHs z$snQCJu{PK6|})5*OJUIB>|9@^uLyM4o29mdXKoUvKr#pSNBBA#MT! zRy_!?w3Dg=LEV8F2b?c29FNE2`-bcK}E)C3>^Rs$fyxqkh6Z}pWZ>Qi8) zDI(**z2SY37E5;|h!`bx-QC^E9!5oZr<@^AmIIL?i^S?^{|6)xV8hM8WuX9rhe8Ta zW-$=ZIUU=8yJP}GW>b!B8GmcHlIFDiZ2P)Gsx~$?S@t2R#_P0U568 z@9tJBoJj)>2CVY_r%&1pvVjJCTjyB^n~U=mhb$DYTzLT^&Fj~%gF&5GuUX+$$*x*g z25NFrhJ>_=9*RVXsr+;a?7K_)bw@`oTv8_EjcWg2mmM7oY`d`#ukW9(IHg8K5hBBu zl)<)hVjvSMmEP3VedWglcAJpTU*T=2gG%t9@BShV=9(2XZ$wax04D(^9s=KtCRzab z_UVZ!DGyzzYaH%e3*N1Xi;%=UiEuQ+_VGFNqiKM``R^Qhp+pOCkc6bqIuVd8h(Tfy z>X?^f-v2HsdeLG11~-n-yESxp+!YmR$f&7DW)0x@>U(0qVDfl+9MVKBTkr!9zCKk^ zRRyyog0-CjX`Y--i3J>HW@bi{D=B4~P*JhU3P?GABQO#Rs3YC^wF?C(L(d}!_X7tE z#M22b58uC+`vb)d|8_pJh9bW@R6s`%poKJYcLSr+(VT5v5M6f7$+1qdu@aJYs_Y#) z5QVuAJ*x*0`~zzeQQwzRIQtyMU|D*s7%kmz<^4?X>w;+1>Jg}E|19%=)B0Vf*_GyqX|mJ@eqmg z@;JbC*kol*b3MUrSkIlqhDwgo-um?1^72EFPn?GRYNrcJ8y;#r7ez&0gK~RvV-ph; zeuA`T1xoRbV}!6WSJFJZsp(5+;y|H3Ur&Y{Gt}IGAIW=p38$u}ZUTQV|CS2dt=MK8 z?QLjaKw~XP3(!0yD~lEMKPw2Qo12?RCPB?_5F9~$ip%-q3Z)Wnn=e4K{<1z4qU66ql5&oZ|)zcAplYBLc;ODD=(Mep~D)=yjeb zKgE5cs1a(VhFY_zr!lcR+uJQbD^9dO2nnsAt)TTdv%3e`t)qJM zkl4{uI@ASb(W0_vzfAbf%4joi5~y!l7WSbD+*-ZOAQ$L^1%$>y;RKj{m&=KlE3ikvW10g*^PqpgMuPjEYTA5#RMfT`-Lt8w0p8sB;f=yME== z%+sNsxm{emB8)q4cveX0G_dr4nk_sX92_=xc0_iCdvHhXVU^Y##U{A|WTOPJv9XA* znHRuuw*Ck3`HAQA^OjH~b{JuJMPD)i|Dy7FqUM?vO9|DG5hEB$bq9KH^>e#jPv%a( zktn-jMVOlL?EmSGtEr&?t)QZUk4wT}f6`$=uEltAAW8xw&@4yD7g zKltEUk+DuOBXgtwxgp|{`YY;lD3JcY0>V6GR8(Q{@nq19@o`KCU2K-5@k_W~fu69rGuz2-D_DkpjG3LD3$;}uAEV?E-^ZLN2U z&%)m_KItJ+Ry32-Djgo#!4>+q{ifsMmG<1ZBw_)>OX5feFIPJ^y(JlAhV83lk?8;S zoF#Emc)xu3xLfCwzRF-9}DTCwpb&BSL!N z{_UhuoJoec3qJQtpR*P5*u==%b@puHR@D{oq?5a9%h40HRLDce5JU-}%}Q!sA*%HZV%cy%<}xCp0(SNfKrEY^MLdBH8^#vB5`A z!0Mq9y|+>ZGZ3I!xZ$Zp*|Y*W}prCCv;FA_E3oZ=la%_O_*PIDn({G-zGA`UvX2& zwYmlV<(usNWH`r>+c78P7~RE=i$p8miJjDF3mhp8+hwH2Eq+9AlIUz^^ql$E@T{r- z9R0$DH*C6BUa^V6Z2day>$1zDPS4PxE-pxT#0iC_lh<2!7G5fZpSPT_&SVV(S?{YP zYDyTNz0QUDG`y1Qx>5{V&RIh%UHE}h&C5kfJsM9#MV_XA$#HVs>8Ea)bp_P09Up6> z=)YVmASsY&{i>8so3Kt3;S>T{5(N_+NX4wqh;ANR zC5B{Dh>$GMy#)MH{LW!{S*`-QN8Z&+Y^;vQTuzSUo@K5^j`nAe;HhLIozA2GvU2vd zmTdaGypph|QH=iH9$4<&WbM)7f*1a!>Iqk++)amhyaV&(Q201?gDo~hT#)&{zwaz4 zYA7~xoUYVGQs_KzvXk=kIAR3FvYuG}+oGpFQl^%iS9BxuZJ~_+;XB7zpEp$x)VV@f z5Wk*>Y(gLYyC)Yls)ia&geSEzZvBaZKa-iA@6pc%o~}?*luQvo8k907it=hy_~gx#BPNi^=Y0KScrphR5#wVo8-4 z+#g%Yz?1aWj*;;tYl=J_6KC=o+1%8OiHQtx-*;cI$_S*`{Gk=|d+Rzr9*MB*?R8^d zW+I}Z)J^F!F>!bHEiwaqhQ|ocu&hpv?~jeY4Kc0PWj3zC{)z&cB&c#+HF&msuSJnV z%*8Qq^-E_w5#6i9*+Xv*F=zY0RbWs=%q54jZNwb!4-0;jy;Qy|XdAtJFO`7<*hJv! z#~1PH&oU1)^Hg>u9i3N$G2+$J3Jx>tjCT&5ot^DD&I#ES$mZpT+&cKF)XsVi`^~S7 z(ZI1U1`W!2n=pts-=vgAV?5@0k&o4Cwak%gm2`Ro5Ni znB~d8wC8qAn5`I)8sKM#kaX}A5Vrh~QP{!w%%;oy?T1WOg>QEf8av>n{wYLUuhBi# z=G3`IhjF!Py5lz`T4S&kBGsc6$x=F$vvH};oM|2(rwx;kaKCk{KrWcGmpJZgCEg&d z6M;jQy2FUe#m{VpB4A-I3{C{4zexTtX=$61{KW|(bt9R$9x-iupQ+=%{&Jgat8Csg z1B2uriP#{g8m@R&y?Q}+nB%p@ocQ*pN4}Wz?-$($wHtiuj324GnV7ov@EerB{gzRv zpRr$)gqSxeZ)uaglQTF}{UlXqsjRC0drIpV^=h_gWSJnX=3dUn^)}V)l*jIGX}A-f z4I9YEl?F5@KkGBl@#Wc)Q4kryHr+c6jLUqoKo_&|-d1Xaaz^LiPvLP{&Ss5R;$DQ+ zspPx@t;W$_3>i%6aypT`P7?+MdFL%MuRdSVvxh%yaN2kJIY7AoM&BCTlTyB$3=tlM{b>;Pox{^^u9Uh zEimGtw>)$sJ4s}J%Wb%F$V0qRQmfn(aL!d-zTAIi) zDBvwAP}TwQtr5NCcZF%lGS6Hg_BT#P(t23SPMEOpiiw?prZkZ4AY;qOcmUn(ZHIQ1 zc2to=l>^WZHF(iB)Q7<7df%6q3)lB%pa(B=!XHv}47Fk)&mx+`;e$zau1=05&qd;C z`MZnrEydkugZr#Ny0UO_DQ+J}Pn8^9iI(#1FP6BDl&W4kUJ98{-}dz|QC?07x_wGqVqzls znKO9Mz6KHuPShE`Ht6LLK*bdhpU~Rq&6~+Nm-U^lC@G=+&Tz2qw?||&P+CBA{e>M48ZvPAf30`Ale+U}>uRbh`*l|Q zQ1jKR&!PY!fmn43s>G0QIk>n&;pWS7q1vKY6&ZWI87K}i3YO;28ztg)UE}wKjg1l=jB3I6d zIf-PT8i_nCr&0BvTk1G_X zhK6@*x`$nb?mtyc03H>SwsfY^MzC!)${Q2H{r_Vw!Y2_g4`aD@&N2pm36`92Ao){Y zl2R4pLz+}Y{$&24kCabF$i)#MfqLZ4TBqDI^Gb! zsszZE)~&G+0D@Y&H-;DAk$)%De}SHMiQ@K7^TT&+^gYqfWjV;m@BEJDN1di-aIVHB zf4WZU!{_FFjioo`@gG`0&;@gG$9Cx61o#J^%~Aay#+jO|Ys;Ed%B-}rI}muxo4vFU z-u%=9JXe*wV9wmhW|b3~lDvIS4CujO)Gb+`3r3WWZ=3~UHeF|;C~+ZS>>rf<*M?{U zxIj&{8~EX1@Q#go{L0r9E2h5N27*GVw0gD*>`AQBW2b`))_Z=aC98Duwp9&0-3-!E zh>@0}IE|X>V(#m53OfquiC<7?y=l~$=IkNzmTVlg*XXJpqu{XM$Oy>?-}Z&;-keq9 z#>Ye88+>gp6J;$7Mhgo$@(?CdCg?OH$n#j^lD+!#TWu%jC!t%#v%|}L#w(%9#i$@9 zz@+)Xl;xlF3xlmFW*%^%R6P&m-Q`wKL0Xw6M-rG+q>U~gGtkVJ1xg`&yQcgn;)-PX zJyvf>0#oDENPIKkdy5nNKF!X{nLF;B|Cfc+*eji*2E}t}{S+3mDw}rSNsKT?k{JzY z1@cZt1^Xe@#-dIvr`!I1wUu|^qJWuRSJfSAL zAm6FQ!-*?d5T!O;Tm)y&o~03Y&pe?v{uI<4;o)yh60M}A#?M~Vbj_qq7(4oU?U~3q z8f5ePx+fX-hYq2vN;Cy@1b%s{%PJ~BkMNtexa2n$7v~?G2afVOoiCXkt{u$y4pbt! zWZj47g_@r;y!BNQx7PkcAYyl2{Ts2A6XCg6Ul-&}%IpQrPMS0dlhY*$tLIgwT1oN#PnO}l1^F$2f-v6=L<%4_$+)E{=_TOh$2 z%DimPqi(|z>N|K!8pqH5c2&c1b1f4}K( zdJ1XmpT>|aDUdg|mBsQ{OHgF};JJ4n1G$}Xt*PR9m{J;P1;fdeH_QVe67&DIX~w9s zX(_vjmCSLX0MUJPS7LB#snEZJ^@V0~lvMSS{7|XKKl}2?$T-Av*(LwZ4t+$T)TBen zRqKa;k4E0Vgo~|jwD;2K2rDJyUzO&n9M;;WV%e?1Zo5y8Rxp4do1!f8X2hY$wYNOO z-B*GpwL^?(J;H4C0EKUa&B8~?Q8S3OGp0fw9wRM5)F~5-gI=lkKl=*Uf#W%9{;SZ=CVdHrWm2_ zw9xM<#)0uxCW=#^dbH2rs}Y7jypvZ>d*egO;$ ze~UJ~=K)38_2mb|MW>b7BhYM^B{jvtaZj7f-0J*2u=b*h*6~vL%Q4pO0gknci}q2< zZ2mB{bi5|*Se+dP@aM|^h;;tX?&`>l z3ly#{K`jjCKh8ew9)R8xw6z0NYs;R&b7-Q5Fh+n=1w(lic2#yQ`3Kecl7RwjC05Tw zImjUHE2-WVXozXJfBc-nah0=z1~oNnqUDlo%NVC_hFcGx_w}#|KDc2ASWg3Eq{g%?RPwDjkfG{#O!vZ^%(c+^JmT~7L zvHzFU<9a(PhVz62MRQ)%Bq6n{WpDSr{pPYkrm>r6yp#}Ith#=o(0q;0Ml4j`=b^xY z_Pr9Tsdf8XY3u0xfbQzq7vW4zQ0kA(P4_R*NCd%55ZilXa*ftwW|_`oDrLeV`mevH zUhn&GCV+3&jFd!l_pw(KN&;vT{~`<2eqLHp_v44F7ra-!`Ljlz#i=EM({bne9~f+k zg}!0)uE(6jyqicP6v$wTrxlu=1)vOe}o@V z$4xXb2%!t3pcdqmmYgmynO`=?qUWaNDx|8`(tH3?FF|_k&RI6y5#DCGnM8{PR%ju#GaZ`qhx&3hPbQH(cEr&GlrAZ zitH=ZYo85M1{r_dEe{Zfp%0heu8#pGMe1C~eA3;PmOmKqLs$ja_^QiA3%lYjDa#uS$#hz# zIDGGq1flGWfxysYBlK(W+jLQ)Ww#&mt(L~2uyhvTojF&hq0AhIv3N5WwoLFi=uYEz zQsGBt2d9^y){tQLO6r8QywtX9{rbiNE15r!Zrk+dwrY0=wm9hDb%kswTQn|OqU1KYKg%$Jy*0#(R+<$J+kNJq=Ktu)9q?B&5 za6)lnRr>%NX%)MUxYt76*Bow`MmA6!t)%uo7sEned_jfx|IR$<~ zY$cbU3l&_rD;`Kodtl?c9%bL_0Xp}^WZIHF68GW{s9k&OuBY_ngSLArK~zg{UiR0j z5X>W(Lj};F_BKyoU?747?5=)*&X<;IY$)Q)oC<}&wB?YcWbAL6e{=X0o5#_?9`R${ zp&_Ys6Wv&S(H0g-*jMndtuVqEUR5XJoXVLZD9(j1Z2oy;^d{Vfv;X%($SS>NZQu>O5 z)-Ri=#hV34P6w}}zmwYEA^;iFszc^Yk!X}*WKBA@2*5F_7h-v&NqUDWvJN;DDZH>> zvr$+5TmG2nMJIhHQVK|O7Z(mI3EFFrln(%-A8!^Sq~P3}ezbqBSv2v={7UY>$r z7JSKL*K?n$Zs5&ly>z4Eyms~K2egC?y(|{rKE6PLp%`us?KlPvfqs*A4y>$fY~&Ca z{}xK<10>NYTw(7!;#G$`b3=hs3}hLPx*rfTM*9au87yo^Itim+_HAV2OMxMdDwpG| zwVe$lg#2G(a2Goj6nOn3J!ddpyr^5yjm+5Pz_K7MF@sO&|<5;A0@^Smdb z&}l5bQ{FiIKPYxm2Z|9WjBWg9b66WEv~e#;aZ^6kXUnZl1-+d%OZT)aw0A>Gm*&Pk zblRg+cqexF%ICZH2a(V0m>x6UcB^Nec8+~G4`UWBYf6fGr&TkE zIW0rLb zMlcL0qhYG-8niK5YdX9uD9({}jTsHcLh^M(`*=xIdO4MB?>Z!odn)DxqlUelCoD4m zj9i&rv0UC5#)Ht{vAXIEol3>+=qObgFIe@fGt0604ePylBY{(^2`M_!0ON^Pb2gI6 zD~Qp3CD!3cvej`6HVhY;@1TsNi1-D~yqg_tahV|VKtT^3Mra49bH)!=^>c_(=Xc6C zh@5?)-PWicgfbP8i-3N)eOg#+zl}V(@;4s2KI-+!^Zw#(r1KW^gVU_4)j`m!jZS&P zc)&v#8i0&q|L5z{Qq)OWsjo>Q9}Q&bGn$qVi31~aL9aV}hB4y-gdcmHIRw-nhEnH< zOJ0E~3ARd>o<7%*4;!kapnwTu;aKQQMtkn{4Bj>y2q)VLY2%CY=EQhLg|_Vhqc$y6N%}9! z-{6vnKIxUd*CCGD$)_iUR(t9u?Fruj$g@JglW3)??jB1#8>$jg4Y-E@hKwfNMg!DY z6XaiLMtIPo#73pCkaX$gWl;uXY|2E9;o5ZMG#YTpqt6hr6r{aL{xgf?s3 zlf_Y^?AUYATj-y#0_?Z}g{#6<=aV}$6;HJ!KZlN`i>7rnK}SFEU_L7R_-IM4qq|#Z zw;Zmh@@WgMX-F1PIGLW(DbJ8#k6!go;?-;rL+UyOqU`QpW?zdB;;K@+Wv6$W4fJl^ zh~4#DFkFJRjl(ED3}mzcu_8Zxnr-C!6>kVt=;H&R^#vO08lhX~2Q-G#2N;6wo?DI< zH}jdU%)ty6gX^fD*aHv5oSI)leB1+_GjxB^m>gTr!|f~ez2f1$bRCKj;1JMXg^J2x zS?Js`+8_j-Eds7n;z!V0V`;3=4bzPL5FUI30?_AiKo{vw8;Zf9e+RnZX<)PvJTu$x zBJ`EO!cyYy1O~<@B%D2zj*RG#e)V<4rlrEx$q{Ivbq#v^1$^&cQH;7$Vj?psLX=pc z&|#U_j74+bDI9z~N9nQr6gs$!&T&I0)5yi2FiRQ@V=l->-Bv8k(~sIWZanz-Q4n~9jDR39umpA6#o{+PH*|zruD9C~Lz8ua9~!^&8h(4^ zYjWUhFV8>doHG%yawkJ(S4A4mR44 z9s~Kh)6v6?g@}(CG>y*~E-m@hPGBLfU!Gpdr`(1@?}^Nk*KlVE9#M1p*8vvN1W=^J znmRMDuFGJMRYuEAgNLJ7u~@<3%Q#siWyBUVPr^**3ZtC+EOK;2^nAj|#3W{H%mCPu zsi!(uk|i`*qO(kh`Nzyl`#>e&U_ziz5$&CaAmF^63T^V?(A2q@@j~tbE9<9>$(81- z=P1%Lmgb!CKvAL#d*ox#X?@~QJTg_-LD`F!xDw0*pK+nWBw^6I)7Ti|?M2nMbHNKQ zT5IED#mCnJOc*WOrnQd~4F$A>W(8c}B&WESRB44~y0#;n-d&U-z1{+uvO0R#F* zp^YIuy*ltf5SqA~FrixvI05!!)$@O#yRfOZw|Kx41~(}|e;)~ik&m7*CMcaGJkdWB z;dH587kM3j6(!T({jxhcxWnu&NZnD7%hNdV-kiP%^kcm`iJUl)nV2BIw2eEB(+q}h zu&qVva)s0;5<}VqSb&+%yW5sd;q4A#7W(uNK0ZFQc^_uKF_7)m@zY?3ZPBzsE!FqG zp)-^KNLGYL;87VPBQPuv= z#YCaQfm2$3rEJsuI;c$KAa6$V3w;s;B^3(Z9b*tmFwovMx?(&_6=;Qqp^lEOPj|6; zySmVM?*vP0GWV(5nI#wC(^5H!7U1=&%uh~(0YPzy${7pLt|Grj5>(Wujk zX!@k;b?dc28|BsOy2SK9zIp;ENkx1O#p0(ioO z;f^M3I|-9?1TfOd?^EbN7??IZyI@jM1IQ=&cR!bo2v3_O-M zW_zH{5)NZLSO_(rX*7@~3YfuZ%vO7fJ}d!k)deSWsd0tNP*6~~L!zm?3y*xU#)PuN z)J08ijU7)nKc&<-=z6lAKu=ysxqSS`EO)>|Nku=$h_LJFeyV^?H# z(a?a=4rowZVcZxkWroYb={^y%>tkVMRoE)4QQ3f6PZ`W4pihtJ=Vqnx&P9VC{6%Gv{EhnyWYu8ZpRuuQFwNuy&8A&m5Tlv=) zDw%3Sg(7<*U}r%71v&5(#2GtytV~hSMQmJLN5=Oa3%D0ADso@W6@Wf+{LqhIp25Tj z+Dx8hDh7fF90&AtXQe|2e>B_g%0qXG$XBiXdnJ=8DQ4P{UCV}J29d{7ad|v{x4=z} z@yrCy6Y4j(?c0Qpv5-e^AI6($pVC)`!{O5vIiWcBIE-{Iz!Q~Vt6>~j#j^;+kJ9>G zy7h)%t^&Lk6xC}X5VNkjT?R*UfAcoFo=zko-N z?X!-JMAWyf<*!BhFJVD}kP~il51xQ=mWPKJo=60!04f~VsH_6JiB2`0@KqHr2fu=7 z@%J}y=Yx$Vb%btS038Xn@5VAUT8_e^5b*2!-brE-x8?a)S|Cyv=bzN8^F@9-=e<0A zo@{Ah;oknfFFGXzCVL6S{vgcUgCUZ}{{GT~(}0(0L;RfzB%h7Y&72exP<&(l`KDgt zgHykc&L)YPJY+Qn%`mNcx8*|{#mJKao=#|}u{vEW9#LN}lYaNm;RLw8@>!lurlAG# zMKuS-NXs3nTm>G&XR+iLK%^bz`-nwxDjra1YSyiew6$&N%YxXEikPH!Mz6j;Va=`1 z8n(F_(ZZst#DE0Cs2=)c5h!XWq!iRFpih0Vg0T`ylcsNIaT~@eL$L7Z&{E2f5<&LQ zN;;3?{)j>B6GZ&?tN%n?zZ|0w$--ynwRPL!c3ol`)%s7Zn5g=;BDjtE5(_K<0%&L{ zHmRjX>z4o+v@|s{zZ-m=pAQAl4_Pg-Q30xlYs%NOaG*|W(D7<>b?C5mS~jIP-^NlS zMnxEqs+Mw9X^D}ejt1TOkeo_|%udlMQDBmHVg+ z#o60~*M9&soQK)8@UYh6=@KklqDC<2zYHnw)ADjNq`%ATF274JyLrETaHI_*1zl4S zEvS6uZH<S&CsI10hF}Ta3E%0) z4K5RWub9eze`GjPD5OX{Ogl13$`a}(j&>KT@2Hx!{P zvoK{3k2X7vKFtO?3sj@kp4|rl9{oK$*QyVCmeCHyijW$u%SJ-;$nfqE#HfxAzAK+g zeu`$qsa!lc&!kkn`|pJaSQ1tF8%oWhGMJfGBSCp?VYjvD3NG<~_F^3htjjh{)0}?` ztSK%Px*0V$FQX;@1UTFP7=^NciTR-4D`p%ppappZow*Zn8bLKniUkTt;aRHvIspB$ ztqM}&3b8B`TKn>?Z=Kw{>hvoM`?$VuU(5&Rmq_tA|iGDL2jIQWUVSit& z1bwPN&6LtX?}7bAW)qZ|KA_JHf)N!Mb8l*HzFedO&mW0YCBxQGN-f2w^;ljj2Jps- zR;ncFAm?rvb0Oy1gjLxEJH+u&S(;V4ODnjgHn%phOYc+s)l`2{y~u+xsrKdaiVo=T zZwd?{i_!Th4QWMcvz26JVSfEupnDTWr*w67&EZ)p`_L%yR{_cc^U=~WAv{rlrlZ8f z+S)a|W1|CshLxkRn{gm)$k_TzQqxEmCfnseBX5!bdbRCsPaGswqlenlpXY>D{9AO3 z|0E!a_R0FE-(I#+&RMQIC&Q7|$$3bAk#uA_#`s^T>c@Ke+1~4sv90PemqtYg; z<_>3_who4TI)%2z!XBxkmHr{}HL1d`2lRvOXDUaEKVyq#mdvD-RpoZQ(gq!E=F78I zp{BEm4}UJ*sm+;5Pw54dRLrW=2IVjca6Tpia|yTrfL`U~%)<&=FJuI=ww+hUl)430 zMG9Q|uB*%ECj?UyDJeR}u?2Kt982dYu+Z-v7~*;??%v=ssXg3uPdB6*q*BOXBl#7b zuhVBDaRzH(w+>t>xD~fC-W0>n=VAKohIRY+%K1b^;^tr&p zs$dZ(o)l{go^;vYgr!gUz7jF=5y;H#5o(Uog4W(p!TkX7$Xlj=v9n}~j=pPFW;p>b z$q3C@Z=uE#!5UXMl*XVg3kUL0Tfed*)~rkMiZ{=fzDnP%7cZb0`hIO94>Y~@+;_s* ztBI~=fMbkM^lQb%!-GyEMin)+W|&>)N1wVOfBUv*YU+MFG@>U{d%wgj6P!Os@&B;) z)=^ol(bwpU5=w|D-JqzTpp-O%AP7izgQRpw2nYy*APq{Fba#h07^j7;KOKf(g4c7$*haX4Q#UuKCIC0WRw!ZEHX=Zp92 zcdj8$iGccma*EJ%xyQW0{p6or)AYx-5}EC1dZQLJIK?smN~2$X%9LYf`};93Om=6_ zJBv!g{sElNX$y+-u-jRTE}(9`bK)H1AG_#aGDW(Yq2{f+@L+virSedx0zJRhH3LLO}xWp#A$`(=%TDxPE~?OU3fyZC<^&-N~w z6dH+KMF-iYe9!nbtR7wQ{Kx)QQwdimsw0{Te{vU}9WAZzz` zaDgc-PY7rLfTpPFIi}}gl$9Cb{^x7=eZ7g|dHNGT{9xt!^cATXLIe{?)V$zPJyW^6 zkv|^E>oaO&dCN(K(;N&E$gXpJxDM2(aQP^_+fF4u`Q@hjsT^dsG3Qzfwkn8(5x^H^ zxe@8YMzUi&|DQ1JaYia>Ol%kgYj!e~nEig|n{IBpg zNPq|`y6I(F0BYLuC7ow&Y}=C6MK{oTrmBQ#9=f)Dkt8G@J)a=L`R1PXvsOlF6$#l5cx#QcqBF|VWlD?QhCr$ zU))d+w(GvnHJ*bl?r14Vd|H!5p9*B+KV9(JtKwF>C}-44Kz0$S zy$yW&ohpA31ySj=yecXhj{<@&+}rF8go}!Hv|%Wx75yV)YY#3p&94v-`p@S*@9X^; z-B7Sd$6QJHP=zgUY0kW8rNU{sC);8~sEuCIHXa1E;NC(X*4WmD382L9v5y39kPm#; ze8X)EhfL#mH`?eEBFMj<6tb+RBqe2~pYQY2`}RQG(tIkgQ}nw3+hborv~})?XrI#I zlB>TN)`y1MR(Vpt`3C%+!{RfS^42Q75z03@Yi3MWGFtQ|P!xcGt{8S8{4J+1<%B>| z8VDkOKF3whfPetfC{UT3edOpKQbI03d2s;nDOlkC?p7&7NR~gwH@MeLh-wrih~t=G z1ilF*TsF5@aZ2Ag4Uanvn3)kB2*?oW5tjZ%pInZQ)zq?@kC78+_%<{EZZ-ypD+L%t zfh&-llG0n`H(+)#0$v`$lssPG&ViUmJl6t0nJndROy)>bE%XQupq^~9S4d!p5P!@z z3a0Le{^+Jx`<4dvYgy}IGC9@T>#OB}Umg}-cbff!2bgqocOT}(+E+^_E>!**_6Xnc zsc46vE69gH*`%unvZ7c6Se)MAq=1scm@ViP=e{7|Svt{oS^br?I+)uwTJ+@htaj7Ln9TVq{Me>5) z;GW^VHI`dWCa^oqUHe7!8uYthT{_6OK0p69E$t=>@g@S<S`zK9dSh09%9_Ao5(bAUsFR zHs`gSuK;wO*k@0>KK*wEYWVcuJIR0mwX~~26;`XL9mEZK(;Ebk zhBTa=;6vpM%YC2R#3`lM1`7KnP>YM#oO~^!gzwO`=RM z0)vBvQphGmgoQ}qjF$m$;j979S+^Z9+;p&VRi+IF?ye{j+^qHacXG*T$>RZZv4j8T z!B;Q!0Jwq5{l>TywCsjdSU`8?GM0^u(`x33`vw}GpoD+`R48$D+HA+ zDHIv{EnE?GIH*orc%iT+9|!qlsJ7A-ArCU!#(Y{`F>1)?$voa@4Yl^*)uio zeTOY&2gRE)A;eQHW#$yx+3sgvcfg}iyB!=T{J|*?vFk)^*ua_tQRRXrxe2x{s*eP!TJk}&f6VH20{^}iXmbfhcaPz2?ivjH(bmaULoN0K{f~LD=q1d z887`_+sN3zx8H_)NdaSaHoOGbq+cEn?Hxx7m?)sKVrBho1+CQ z{gOo7R#D%j-)dY;Z$rW6olZUk}*4HnS>fDLuo-!q+nsUg+7fvK$8bn?3t zS5P&tY8yL-umPN?icbugI$gKq)qP=vcjfHk6;w3klyV@W0{eVVjxoYVHvnh^3xyb` zAh8!O6_l14{}096ugR}_DJq{@f-WeND2hx7?AzKmLUsY=#|VU%T23--|2`}<5+AVI z+UDb+hxkxTa~G!OK33&@e!Uc|F#>`c3SJ2IMR0B6K29J|1!n281_qFXkksmC3I@m$ zyOjSGF78=sNASn56&V_H(;t@jD!AH|CgWnKqd@32L1nq?E+F0P3rP+vpq3PXRtF|= z3W6VsC3Je~$x@!)rGg{&fsNE@N{x#D#4NUSkS@K5 zsRL~f_~R{d`9r}JDStmL1n%bMH{WQN_R@b6?7V2c@TMw9+I*l%hs0e>Q#iSA^Lm-s z9vQat^PK|HW&7cht!;l%R3rKg)rRIdn zMI-Q@WBwX_Wd<4^ZtmclDg*)H#@j~ppTK{*FVyEXP!ACvFj8pt2U&3apZe z46}s+G*(>!E;G4p$5O0DAU0e%KlNUiE1$-18?KjEqCcV%%9SN&Yqw=K$HsVEd2U@H3iR$M)&G(Qn@IUsr<3lJ!Wd$MR zW?~1tj(><%3kA1hGC3|jG(%Y#wHPf#34c;z3zfnIDGtoMwI>FAB!Dyqezq58`Uok- zMUR%unXd9Y6^vPQ;l{)fLsaAZCMwM2X}7JD%E!AP`(`UsIWv+|QOOwI5*0nnSh=r# zYWL7%sXC{NgXSWK8A=I<4?=D@9abNo9*629NZ;C<0zMKT0=+R-(sd497PGW?u9BPR z0jyjJt^hqFy4I@iEYD?vUeXpqJzlY;oSaMr$OsTA0(gpV16!|HJ4CEV90dw=#MoBD zl@ZE#pkldZP8n0MQwQ`Zu4coQjx>drj>?v@-P3zY=aF@mfN4h$hJpM>w4ZFx69>!A z%C<9=C_FCu7Odb3m6V>K*xQAjew~a~hl_zvE%K*gT|kgs2VyS7x1E5T{5`0>8^Hqr z>Qr~`+!2B^7bM_lVE=?z2>0@D2S#t-qBkoo65^ScsgNG>L9~i$dMjq`p)cf^d^9;{ zaX%1XWs!?$^)e#lH%uFIb}|H)9H5SF?(r!|l=*iPI+g4eIitl-NYc!ed#Z_gkYLS!SCN=gJpQCZiD*)SWK|K`eXRj zFn@(sL^Mqnit5)7{~FBAbOr^JO+^HecWKMW^W>O+43%KmTs1T)TA9iLb`LijLV?N> zc#^^11aq4U!UEJTeVD z1vp7XP^V#C5D_(e020j+O{d#Gdd4pNQZA2er?j{yuc7X(D|1_aELmu0&xz~Dz3luS z%Ox{)+EjXU>{@bznN}2eyc8i{zr(pnZ;#*__2mrTa?Hr7fC%67n~wxaA$Z%{H206I)I5A&t`A!W`ip9}ZX&XcLiU_m(Zbm3$-rpgP#tGxh^m&cR+s z`F>d@M2tRi7FEt@ zt3cwdoi|1huv4c1Y@?aE+wE}k7ogA|n}7qlg;bL-+1V>CYkX1f0l!Hg=g6*1m$`!P z38bQZ!tBd-xB1c*2ybL&UC^FKw9pP$Gq%>Bh#Cs%ZZ!CnOhzBCU={4-J3P!k-qf8C=gECqXn%9-(m4r?-G=rG%56eP-S+(Z2kPQ5 zjMP5w-bCrGSA`Ng&~e^!Af9Mld6kt{U}?7s&^E;ShnQ6q$G7MPGpF|A&x>fmrf;gE zqe;&V+Q5|%yi3tgh~=ft&Tsi*;Ij?f0)p{|CC_Ca1tC$IN1{7@^#xBs4f7W36{1lt z%nK1#H|lTo?%CB@LIDK@ur@#07d0{yi6fBZ&f7eE@c`pLUK||j=(C7XGWf=Q85$ynqJoIB zG7$=~(}CdlGiekp?0L-Mg|u|cG{D7hexc$VkZ4X9F*_;#uDN-Xm~ph#*B70X*f3m>s?(91pW>y3ti3su7P~o3kT}^wM;;M1K_|g#=T;;TYY#? zYq0f9`QfBVL)((lhp0gD{;Z~MZX6c}+F&45BWQbAHf%dh4P4ak9y97`nUXxCGELNc zIEY7a?Z+QE9p#3%2wf278p@LqHYK)yI8T^2C266h0S?fRcY|pJTnOL1c>`38m%u~j zN9-33WWD`x^?p_>#aFpqjAUcfY4CWE_M@WQzrot{LB^He*y*&>yBopuxt_ZX&y+O^ z041>+^tec^#R&Ul0e7fl zmIN>%b<7#MDY0le&X$u3W4wEOBEIyJwCjl85o}aLpq>nwE-es1z@W87>VExO3>;!0 z)b<6Dv10}YFGT%$Cdv$c_5R9y&(TmJKPM?psbwq$GeH$_w-hU-wh{+hGPh`FJQeoC zvcGjV1s!h17T1Ksmg)VBN!TI(S~Wvmzoajsmy9WSG+SseoNXTZ)U$E{*C#@IdvaBJ z)RR_OMN5S5)_^p5n~wvla~{4-VkkzeSz5DL%X*h{pf3%DckHsU<82)UBs8pCxiKj0G||2 zNjBYo^auZoG~1RKo>hYVZS$0P@ThsBnC`bONei3FOwfRTZeBqv&DJmwWR9>%T{H&J z&81>)p}L@ua)*LJGyKDI$@vfY60=z)(g3b}X71ZWJ zp{lnHWZ&_kfE{h7qM`y-;1}DkZpkJFc0}CfI{cq>9TZ|2JOh1rTH&7{#FG~snd}5QPrPJ?%E~j3)F87ycIln{u9Hk=!DR#p6}DU!d#t#C(Nnq z(aS)B(KMI$m@M~$G{xp4ta&Y1T_A2cm#1Y+ZLOx*fldt*$X6UkdK3HaSZ=_YvdF); zxp$*kkM6orYGmK5nvrJEe*=XD80>9;*`XSzYHr~HeiUnoSGU&%c?$qJVa@Q|X;Y4k z6x7xI!T6F84B5b=$oEfh*%HXK-`kR*gd7|=pBoq;4zTBj@Zg3t2mZ<_+KZ0RH~{H6 zf-q?EqE@bkIe#7@3F$g!14%-2X~g4Qm;CnjeX++H)S#7_1#_B_%`Z1!mY7Jn7)Wv1 zrDAegb2-W|%z>WaYaOE6w8)rf1)&`2;5Zgr_AAUnNO=q<6Sq;GApPolGPQSDpK%jV zSLBu;nu1#b()4t1gEb0u%Lj|p$!>twVR3*GKJp?0%z=sfGKLAEm>RH)d&4enq5J5W`8x&yaB3;up66`QQ3Sl- zgM|o^CLQgG>7PAb!D~LX_S%a|fT<#PSn0ZNbqqX4;J{arX0rQ%CiyqN@QSP3k~44w;12ZJZV$2mG5j#MMgj@a_jA1^9uCeajE%4NZ8l@ z=r5JW>FbNSC#NKdF$03j3DI{If$J`B((()RCAf&!&31UWa$0|t7JK&u!bTsqmz