From f5395abc5957cb0ddb1bc8e9f8a380d916c3d165 Mon Sep 17 00:00:00 2001 From: anwu1219 Date: Tue, 14 May 2024 12:22:18 -0700 Subject: [PATCH 1/2] add support for shape and gather --- maraboupy/parsers/ONNXParser.py | 71 +++++++++++++++++++++++++++++---- maraboupy/test/test_onnx.py | 7 ++++ 2 files changed, 71 insertions(+), 7 deletions(-) diff --git a/maraboupy/parsers/ONNXParser.py b/maraboupy/parsers/ONNXParser.py index b255a24478..ea5f0d8fff 100644 --- a/maraboupy/parsers/ONNXParser.py +++ b/maraboupy/parsers/ONNXParser.py @@ -23,7 +23,7 @@ from onnx import TensorProto import itertools from copy import copy -from onnx.reference.ops._op_list import Split_18, Unsqueeze_1 +from onnx.reference.ops._op_list import Split_18, Unsqueeze_1, Gather class ONNXParser: """ @@ -171,6 +171,10 @@ def makeMarabouEquations(self, nodeName, makeEquations): self.reshape(node) elif node.op_type == 'Flatten': self.flatten(node) + elif node.op_type == 'Gather': + self.gather(node) + elif node.op_type == 'Shape': + self.shape_(node) elif node.op_type == "Transpose": self.transpose(node) elif node.op_type == 'Unsqueeze': @@ -414,6 +418,20 @@ def flatten(self, node): elif inputName in self.constantMap: self.constantMap[nodeName] = self.constantMap[inputName].reshape(newShape) + def shape_(self, node): + """Function representing a shape tensor + Args: + node (node): ONNX node representing shape operation + + :meta private: + """ + nodeName = node.output[0] + inputName = node.input[0] + + shape = self.shapeMap[inputName] + self.constantMap[nodeName] = np.array(shape) + self.shapeMap[nodeName] = [len(shape)] + def transpose(self, node): """Function representing transpose @@ -440,6 +458,34 @@ def transpose(self, node): elif inputName in self.constantMap: self.constantMap[nodeName] = np.transpose(self.constantMap[inputName], perm) + def gather(self, node): + """Function representing Gather + + Args: + node (node): ONNX node representing gather operation + + :meta private: + """ + nodeName = node.output[0] + inputName = node.input[0] + if node.input[1] not in self.constantMap: + raise RuntimeError("Indices of Gather is not a constant.") + indices = self.constantMap[node.input[1]] + + axis=None + for attr in node.attribute: + if attr.name == "axis": + axis = get_attribute_value(attr) + + if inputName in self.varMap: + output_data = Gather.eval(self.varMap[inputName], indices, axis=axis) + self.shapeMap[nodeName] = output_data.shape + self.varMap[nodeName] = output_data + else: + output_data = Gather.eval(self.constantMap[inputName], indices, axis=axis) + self.shapeMap[nodeName] = output_data.shape + self.constantMap[nodeName] = output_data + def unsqueeze(self, node): """Function representing unsqueeze @@ -461,7 +507,6 @@ def unsqueeze(self, node): self.shapeMap[nodeName] = output_data.shape self.constantMap[nodeName] = output_data - def squeeze(self, node): """Function representing squeeze @@ -913,11 +958,23 @@ def concatEquations(self, node): if attr.name == "axis": axis = get_attribute_value(attr) - # Set maps of shape and var - inputVars = list([self.varMap[input] for input in node.input]) - outputVars = np.concatenate(inputVars, axis) - self.shapeMap[nodeName] = outputVars.shape - self.varMap[nodeName] = outputVars + allVars = all(input in self.varMap for input in node.input) + allConstants = all(input in self.constantMap for input in node.input) + if allVars: + # Set maps of shape and var + inputVars = list([self.varMap[input] for input in node.input]) + outputVars = np.concatenate(inputVars, axis) + self.shapeMap[nodeName] = outputVars.shape + self.varMap[nodeName] = outputVars + elif allConstants: + # Set maps of shape and constants + inputs = list([self.constantMap[input] for input in node.input]) + outputs = np.concatenate(inputs, axis) + self.shapeMap[nodeName] = outputs.shape + self.constantMap[nodeName] = outputs + else: + raise RuntimeError("Concat inputs need to be all variables or all constants.") + def splitEquations(self, node, nodeName, makeEquations): """Function to generate equations corresponding to split diff --git a/maraboupy/test/test_onnx.py b/maraboupy/test/test_onnx.py index 0087035aa8..55b51c4353 100644 --- a/maraboupy/test/test_onnx.py +++ b/maraboupy/test/test_onnx.py @@ -60,6 +60,13 @@ def test_split_onnx_error(): os.remove(presplit_filename) +def test_concat_const_and_gather_network(): + """ + Test an onnx file that actually contains two disjoint network + """ + filename = "test_gather.onnx" + evaluateFile(filename) + def test_concat_network(): """ Test an onnx file that actually contains two disjoint network From 9fab0682cdcf25e859817c27758702d8036df157 Mon Sep 17 00:00:00 2001 From: anwu1219 Date: Tue, 14 May 2024 12:22:56 -0700 Subject: [PATCH 2/2] test gather --- resources/onnx/test_gather.onnx | Bin 0 -> 81962 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 resources/onnx/test_gather.onnx diff --git a/resources/onnx/test_gather.onnx b/resources/onnx/test_gather.onnx new file mode 100644 index 0000000000000000000000000000000000000000..b31b45c3677f09d3a9972ecf3d863bd29b806ae6 GIT binary patch literal 81962 zcmcG#cT|;0^7u{8Ip>^nPWP!+#GC~c1EMIH!JH$Aps1)IK@bEZyR+kbXMX3v?0N4wB7aa-UES4HpRVpJCZ-^|cA>+HkdTcU()Kp? zE;jah_Rb63?Cm_h{uGkfDj~WgWaYZGbL|zJebxr74O+Nv`Q(7rYnQBDvLYlX&?{j1 za@*h)fkDe{1A{`=1ldmI{amp+aK&0%pTz+ygFNgs9RGosf$+biC5rha{+U$;w|`)D z?pzn%cwPRPq=ArEz?!ud;t~RDSEz}k@e4>?=l}2ANemgBQtzNOzs=s->ThAqxU{8ENp&|1N1D z!ZXg(@n`1?2JQUs`glGJF3ruIYwyS#zWtyA^*5nEr5VxRmh3VAfP(Iqko$d~Nc@vA zE7%Td%seNp2PN=F=DEi&F<4s?%s^}nTN1FwGceHBJLv!9n*ojVKhiwMEC*rCK#*rq zVjsW6;A|*Z48(?a(DHS>@t6(tZw-WglaR>Zml%Zl0hOS+_P@m0?*uTA67*NW-x;8E zUJpw0e~)(1Zczsvr8iMhf*_(}L(BQKr@yOZY5 zb@;7H4kXY2x{|+%{V9h3RcKlUl`bSa2OE0-7kb?l2EFG0QNeS0Ak6x!%e-RnFWCO0 z{B-jVKIZ;wUt;Lsz5hSOXwcj5_p&~q6U?7{|33iya$p?vH!64#_|HOAVIU;*t3lop z4+IW=75QUnpYlr#-rj&tGdz3$Pr4Z3c>mywfuO=42LDYMhX)2te~9t2iq*hk^*@v` z5Mrp5`!`^Fw$`Nr=;;0!NHQoUla_KH2xyUOSHco;RclF{#N);S$a^U z@we)D`}dz7UM6$E%5vwP^$Yo*}o?Z9&G&&qxt8@*g+fpqp}Zv3VxUU-#Fvf zN&Q{pKsnhk<{U@aHtA@dm#$P4>+iDvqY5Y~iKuO~l$$tmwz)0g4 zG2RjnsB-@z^2gE+lr(-3=6N=dzUf?t|B*EQE6;OqK&0_sfx(f+f5iq$8V>(r2i~X# zL>mA8>p_yn?|FXiwwsH1cL((5vA!xSqzZX8)+}17nT9ll|XV zfE^HP{8{v$u*R<%2FDtIl^ir{{8a_d@d0%;ev$llkPeJBei7p>@qk$47m+`fHgAAk zjbDU$o(+gK9RJ^}A^NX-|GAC>V~GDM`WHj|_vL}bNHGC9kzxPv>^WA9kN4r{{j<0& zAU0HtUygs+{~W1fcM8Z?N3y{qgMsgDEcI@*rcVOm(O^_Cr*Di4$fgXXliKoe_K%@> zb!r$HI>(c__h~kJNlcUw(N*NI@eJ^boJT#wqiM$U-DKSPR=l+DI!rQIO(Ij~K(|LY zJzoD57kwB@`?XYv;MP@CcR>u9I)5LD4bh>276*wP-vOdCWj<+rJ)NHTu$#)vp3it` zB@yTLK$>72MQKtk`*M*8?KF!;^TkJK#a%ff6*QK$vN#VTf6> zu0veahtPBRF;r~6EU`Sag&wwUV9Pz$(kqD`c)U*zkLzlZswOcuOt}}EBh`q-2;NkR z4EyI*YOK(|7G>bl8A;%fB%7?_5pa1#n{4IER zAB(D;0%AM)#fA8G;C3`wagzBtX zfpe#)!?atb)N`3EX%svHlgn?SkGB@dpI;37{OvI(U6PhuEAn`q%Yxrq-V$zj#)>A` zkTEY*sCHH`-un@Ro0zNYU0WM^>TonZDYhgxEb?%@UppLL5yhl3nRrG%8ItRBxNNQh znHDh%FL@q@#(iHvOhAWYt-*o17HR4@&XTiflXWI$Y(Vfe%zUK;GRH)yo{te-8MFW{mDyqPB6Hpr5G5nSKX9uWKQZ)i8mNg4 zp$$)*C>vuzhS)h1lF|lKNHcF+D<;YDUVEWUu#d zN+=K7yt9y`9mi=wlkjD|D%s^{kG3w?;Y{Ws_3gqQ&CtBMv1~mHa!}_&lDA!{_v?E-JLr)yGG$_!zg*rsq zVH!@b5P;B!PGsGM&Frilk5Ot@D?UsxC7No7S+QyIv}b7vjv)u}mQFN?`^RH{O*wq& zNClP_m=q^WlD02kn=3d>wEHDAt&pMRew*Qnm?e3v*NVwT zq8Jji2M*m$fF+Tif!nA~Pd|-BEeCn(H-8$A$(Y0@kKY9k#ItetQhRDE_!gVCHn1YM zreegT#hj$;W+W`il-M^yQv%E8^Fe2|v1J z=mQxca_@2pylJ+^?Jkn^lA9Ar9A!<*xHXWGY(`!vrh`%AB~*>O3O5d2$15r~VEJ}E z8j&tTvlUY~!i#O0oPg_S&DX@lc${K`Y!89>oFeQQ_8OLl8j{ZUZ;E?f`!VhlbHR4= z5tuJ$gjXlO#q=w~Am@=6WEO5`in8VD*xl(ka&8h(dm9=e{uA9gc0y-oHh8XzX2vC0 z5LJ^f9Jg{M9A4e;asO*PGctS+oC)G13fq>T_cwbiE6}8_w-#b;{BW31u@2|1HYZCj zC*l0q62_%Lm3nOzhK!yz?Amu0k^^fo&!Y^gmcD{@i^Z6n2j@5j`ut?c`?butEi70y zTd>{5*P;KEI-%oZpyc8_XeDmgFg5{`#m+OD*Tl$V))wJ`1jIY9K!sasQ108y+Lx)q zuov+dZ@r(JDx^Ud_pg9XJ5%!b;1))_y$SMnU%{M9Pa)N>6J`a+b9|k-u+_Q{H|cx_ zPcuO}c5ebR>l|X(1qEsqrb9Rj5L?rDJ{r`4vI50pu}0+Rc0qc&xFc)3fTRQaUAHVadN}I$op#Ja0aNN^Bu%&de9IPXJcg!0 z;gIjFOO#YASnnBb#Od=5FpNlHj+*Xa4(o|f@m?vIJx>p71+BPtE6&3zVQ1RbmyV-{ zHM8QG#&l`70AYvkL6@~&WQxpHW~H3$AHUA2->iqbSImH>&zi*Z z$SCZxe2cF>B*EI(QXulSmkA3i!{vu0=stsk=umtB>Kq%;<@!4CP5Q{*?X<$U_jh2A zkOk?;%4F^Z=#dZpyjc3S2G=H7P{rZN$&JR zXs>yT71Vyjd_8dnG|SSUH{~Htmb`#n{`(+%hBM`RY)Z3oE$G~#m(bq9xq z-v*43NC8;7`haaUAH4584I5V9MA5)v#%pRJs%>&3XJ_kDFA*i$w!RUimG9zui*VS~ zeG3=cID_LxF?xaLo7POq>~z&5KTbuXTI>RF*kwq@m45{@y+^2W`!0SwqDO0;lu1~X z9$om{nA`wi>Q$NnUyXF=+#lbt`G+awD#%gcm?fAg{}JT#k8mtr36W{`7jfSYMUVkY*GGPm<(G3<~c)z~^`^}G0P(g|WoYW!yL8n;$W-YL8*C)NEIqX3TMbhx4 z05s+WLQSJIeK)Ze&vsO!ZJancHc^gVFaHV3Hzla%@lyDBM}jQ6!VmZEInalvIj}>1 z2ecVT5%q^ajxZV|Po<2_8A^zZ&v3T9@gkO#n^J-4Va4$$6v*4#7No!HH8b<{6`1q9 z1g-@nVEqVdYUK46Iwx$0bBnHlk=;h-esBl#Zb3D4shq^#iFR~KnG>Wg+Xr8^}EP z1APoy@u}TicAbL^G2SLa)_hmNk?$(F&Z$pO)!3W{DxY9#HcW+#g}d;4whXR%BMg1E zhuG(0+T`LYL0ThWPG7y_hl_o4;J$YpqW~A#!xNKX$tNx1u9yu<-roS98>0E$)7X9B z0+Sn|LOasmfpEk){Hdl#muP&%CdoUP$?OM*N+YsNz6D&{!ok(XhFZCbP+_?~So`<` zQ?oLiNi3~`<{c(<`{|{u7=4cC)|`g5x;x>?m|bjun;327+(Z?nmmp(o1}QJ{uyn?J zoEoi;-3r4gO}9cy5-r90U+ZWw20hzdzP_87Yg70LX2A0TFj515X8 z%w6!=h)f*w4DPHqrdK~m68RoCD9*cDtRZDcL@wx)A5tFxcU;DuKO32aB{?kPrblEq zD3NUuQ*ixcLz4Bv2;YmIg}t*Mu^(4)aJ}#kuHX|BI-MHQ2QMUvn(Q$6w9%5T_!iHK zt{nxNtjv%!ZNmb&4wf!ng;N(LqLPIcu6t-eL-uw;>^xI&PQQW+4V+=`H4PHH*BfPQ zO7MJPDoAhCArpox635_dxE-ZMBzO12F-hLsO_3lj{4#Xks$%4yAViLN=@LE7p`7N4 zg5+GfG;!lY3>UEAoJnnhjT;H3<*G94mRi$~lIp}zG!k7eFeLt3HIw(a6h>qz(_N}| zEjl~95z|8=+0QT5GoziVarZYl=(R2dO9K;1501fR*(f-f zZcJhg;@Rr6GSsey#pg9wk#&fMA5GG9igX;l9&-?@wybA&E;-4B)(ye_BiV3bz6Kro zXdLeSS%bqbWI=FM2?RhDy7_N}+!|#fJn24e9KINu-r5pWvx8+*pQBu=H5KqV4&|IE z_T(o?0>Uq`8Mt`3L5S>9$i+Q1?MzchCY!6Y07jm30^3j(nh`pdNs@FY0*%+9&tC}q zPpeWr{c8ANrAtrWONO5&Dd74wgjpyTg~4ORh+yD3?$g3==zH)8o3y4L#077FZmU*hA1Pa!3e4^9N?)7p}~P@UmGa=*%u1`9Q;*2%(Yi_BaF^pwEZQhUEj@RD!8K({c1XjDTm$0sX&9XP)B)>M zpE0iHBk_EoAxMs!56?FkQH!;CP^XfC{&RpPo_z}w3^JIgWkN8yR+wCzyp-K}Gy{BZ zXhP*YLpmlX8D~BWWglJ_V;5ClLe0!jn4A=fk;l5g!D}{J`E0y0Y_v3{p7?;lS-dl& zyBWSenT*?aG(ddvNU*zQLDkoa&|p_X5>|2xoq2pr(gLB%)s60xbi=27ytCUd1#(yU z2s6jog|H8cu~kKdJdM{Toz}$=A!CT;h5WSs?g7X+bQ_kJJA(N(Tk4VV16t=e63v}f z^xH#m*t04M)HFV0^vzmkQTo9VDD$)qcQ+-nqj;P?Fa9%|pLG=;JeQ#n%adT1xEr;P0d{g5g)0*KnVBw+7^fH$ z;6L06OWeBAY+Whbn_P&u=G_LtTEzBPJ>uSYosIU1hx?0EXv$9`>foskuCXSN8Z1N8 zm&ws}i*~X0BWq!rE5k$P@F7W{BaFgD=l7!4#h#C|=ixZ~dZi#yL6al3I?c zqRyZmrB5W5n$fXI8!q@O0K)5Z~o_`XJfdNtj_M}0mJlerV_3haRl z6E)I5=@IAi$?5FZS;}Pe&sKarIh9rStAy=x6XD=!Epn&P4}zvVLRMFts+O>8XDAD1ux$slHn>joE9dpW9fEY&K#=gd0O!-hy%-cY; z)=L59mx|#8l~auEk0&^7dnvp4rxo$c%?0a}b10q_3!V|K^oWZFb;(P09~ZjWqhFoJ zjP4`Bxm%YK!I!vy-+iX%j1%(Z?ghp9oy^6GE1-Nq9QS@s#=9wwgp}TaCn_u>EtZZ8 zNnq}M-S!u}bBHA<3=<}MzuLlk89{2a={7`s zJjHs2|HN4*9mvFc2l1fCL=1|NqSAV<@Mh*qxS4N4Lzg(wb<9av=Nb>=1fMW9SxG3g zP?N0pZ9{s*0#g=Skm<)Y$kw{=%*;Fb)cK1(@qd`afE&NP)w!zj6n7~C3NOyJ# zkcK!BjJ42!qWU^`$PUGA%fdLuFM=WC+)YTDU4;B$z&ZK7h8?~k0glU;;ph@y@Xy*0 z`>b9=ojW0^+j|(jyo18NduDcTBJB<+463w2ARwC{B+C+YfIjI&Ep%22Az|I6^@?O@G-SGGX zWN9@(RE!U^{D=^}U>gK<%VK1jBJu6l_b4TtjMhUQ;7D~lTJm8I=#SDPnoG}ePkh{r zMl!0D$rPnR4{O={FBVkr)o~1}pMib(DOhIw9q$>ON9MyO*uBPqyx)5qTe8;S{vu08 z|L83cTGhrTOgV@%0z<(#SeS4=iqhhF&FEXu$V}bKM;a#a5kU_X8ue@ec9t5UO+y#! z?_^0rTtXqN+msYaDwBjXJ9>GtCEYPm8%D={!Wr}S<1i6jveL+yBfYQ<+HM+x8=DP^ zo1+-%>MuCixfMpdE#;lbBJfkYHj}#JAzNPd7_P3;rav{U$W2pw67+?i-17bcrineM zI#GjmU2lXfx|^Z*?JRK7*CJYTY-xVZCvfbsz@^@~@M2vJZvHt3BCC&r^;Qv@T>S~c zRYPD-+eL7kUgxpHJ(a1C(WdjX4nX@Y4whI|F<qI88wG^!s615uaz*exIrBlZn}DFUj< z|LOz$%qfPu3mBN`Sc9cHSD^HCA-m^J74t+zkQ*9Tje)QEiPmjCQo1>V2}Ln-*l#y1 zxurm>vs7@-&ko#cDn|7z%kXTCGw4LO<9nwV=vk-$%|2cr73$BHDR+Wnn;8+fCP%aK z#b~pt3K5RV#0O_DV+JP;e|89oM#sRVW=+y?xfpN84TUMPQgn9AF+5QuN;va+ zV8pdR%$f4GxWM-{v|CEi7Zo$W(f1VOr`}<59?6mOGxSK&i7d>!^^zOmehY$pCCQLy zVt6gB0qWo}sBAYRt!E4Ia4R3&-FX?ENBF?^`W_S&EXUJ1c0|Sb6kcx+g@do+urNs% z-`ydg|7JfN{Wc2tkMD)2jbfMd`q^6wLn;9|+i?$u(v|S8_8;VAB!bDFvoKVAFexpRhHVIPx zBmkwV{mc#3TGnq%9xl(>$yUf$L05Dp)@qmsm1hK4N5Dz87cw=t}lTWhIOZ*}>GPi;(ZO z%@7$PMfdW~dx0&N7{iz=aM~gbJjX<_%_U+apPwI$OBwb|!9H+v9t-Oy@zH{9S7FJ; zALyu7k8QQiL^@0e=AaOr+WHo5Wg3#_|JcstY8f(5{1SIjeK3RJt z7?hgQh@0(fTQ}vcZO!2G|Mt^xG`%R02-g0GP zoc00HHk>`1+k-_{4au`>ZdkE&Pw~@RHZ(aZlNVt*oFOw#Vse=TmbC0)BX=Ld+5%y^ zv&52GEzl(!A`arvjnZTlpEl-1b96{9;p0J1xbIg{1- zh?wVDMr&<@xDHL&yKp+>?!3#+&_so`gyWnDq&&Yg5<l-?yD-b1z%t!JKHT_{AmcfqSJm|Hc?b?z0`$_&OKIhHBI32~Xf&j1^rM zz)zR0=w@3MOXKwWvNTP|oW!1yf`<-9baTgZJTlY}EBl+_fL$$Ur!D7Hd!NI+I2)qE zJrDg8@2=sk zXcZ!QBaxX{*@t7dTfqFYb?ihnD|+f$4q{zDyx^L0wDVfA&7vNq(nN?={vHT>BT5#t z?&P3II~?Su;;uuJU;_qX5o1nIR4j#}!;Z8|)0iw@@PLun(a&v~qD9_2OTW zX&F`^WiO*@8V-UnwxrQck?875a+Yt}grf@_iCFqa{JBd5oWtW_nxQMVG4~6YxP3y? zquTgt`WtriWILKMS%5V6oPncGx0#@`24t!q;oTLQ(y)dS98zUUeHR>qWI<<6_s6Fg z!mGPc^1`%pwi9`F;XEpj=A#=+4PnMdE86rx1bwE;qig(b^br1vpLRHtPfHBgX09Af zc%@F4w<%!ZI~#h!^$B{sQ71|j5_Czw4lK>ujGNbbz^-G6V`2zSOzUSxHRxld^*B5o zR0m(RgW>I*a2U(k1x20RtUyc;v%t@obha#k{ioi*%T|7J`cVtMxOWz2&J?Em5B5P( zhZtlm6QqT$QY8QNQ%LAn!%<5rAzM^{-i@lny)n1BmAt~ zBU$Fzcuk@+T7mw!B?|H8+wkj1X;jdaK;6j_a7kl4zDi1kHa8QHUu2GN3{T_hDWYVl zqY_Ok)+R%}G-u^2*s^k&eXw)p{8D<_vUR z+z;PR*5jJ^ZSeM-2C1E-N^V^{hu0I0NLu$X>|drxZW!>^vp9}f$=QZ(iyg`8eoNT8 z-wmb08({Aqmg$yKC4mzpNw(@Nm?SF+FO6>C{HF|z`Edq>o!-C+-|G-KatPz*mxND7 zOu?wKPjLC%5xf%-4}Hbg;Mn5|P^guoQ?oQ#osbR>Z%uu?o$5&4Dx_(S-g6waeH~=J zP$lz24xr>0G5TX)C{ru1OcxBR1*U5mQ}87ns-J&CeU1alUZ2Oj^9sh4mFlFM8w1na z8yJCIPk_&FD|FT>(>b1Iq$)-ZzaIC&BLVk8!A6_f+C@O!+STsI>-5Oi6hBle8iLYK z^4b3NrJ%?xW&?RK>FVT<6QqQ2=fUIP-%^NC)t}+2r#0CydpSNfvLLNlQe++PKDL`< zg)0|*=gzwm&OP@@21OIBi2E8#a;oqPjQ0Wbp8gr#mWZR+d^KY5s0#LUWuQo{9GUS@ zgQk73BmF6q8GY6pw(`${=v`V==7=h6@^PSxH)~L(;!yVZnkrO&q(#>4dWj=nC$sbF zdzquprAe?uB`$YW#jM6VOvQ2m_%xn_Hb;_RQ-uLzd&UvVy$p!W1u3G}EK6+}Ir?Re z9!*S;qVMwo7VFB=*~!{uruH>l6e~`bp1caP58q;v&RG%(jvOfOs)OZc-oP9C8{j7T z5n{Gz(>fbndbV^syQp1;&ULzj%5{lodn*S5TTWug?8|t&;4%mZH)GA!Im}$&C``;Y zqG8AQsIS3OoX@$0pXPjL-hN&VQnO?T$HAIe8-9q%)4c>fytfJ!^%*#=i!Ic&sL)D1q&)2u1JD2Il$*3O1#JD!{=3XI8lOP zvF1Cx(r-pL?b8Q?_D1+HO%djJ%1~#%DJU~DmeC04!`RYtR?$-gCRXX8&kGH@bH#dW zw}@f1u773SjI_y@jzaY7dCgWW`@))Th{ueWv(S)gK<}K5W=d-$X<>LHEHx9vQK82{ z{G0%JRUU;qoDrMHZ-l8zRy3h^KP(x)lo_RVfHNcC3O=9Z-R;f4fmCKLs7}@Z@uzkq zQA?E&`PYmg+s^KN!Rw)X&V%C*$1;a_efRPqmiWq5jO+{4q0Qs0NYvOIC@eRFwEbr| zT-QiEy;Tp!=V;TylHFJ~;>g8+@BBW_(*uIKLMrnc|8}$&)E0ud~w8LMdspU1)_Id zndGIUfye3+6!a;BZPtk}E%Y5+GmI|2_VpMXx!sKE2TiE+fiRX?Tf(L&O3-`@MQU7B z0ar`g;ZBJTS)8FrPnjIx9xG8H{?kj?a~-*$lQ#-JK2Rf5tc|GF$=%2#^RZ?Hk~o5L zNI{GrbGP*qW9a!3^V3Ahl@vsUJr!6Ou0u1Ut8+Rrg^(n780Tvq0iA13aJ z2QjY#fWq4lxTzb(D!b8Z+7&i?*JAkeR)U=LF{A32tZ|~+WoE{K=jifEng}&$;`X!c zxcy8bigoYD;jt0LEvQ2nCgwGX}2)8{Lx`kS>s40-?n!=EI z2YMMJ?s=waY6083#sGFqx`%w+b}+?PIC32C&UmOTyG4HlSPt(8wOy+`#;@bCv{oMT zEliBe>k=WZ!aB6!dp<;OUI#?kf>K$<4!98}otc9fki9E-abpFuS+fFn0Qu?G6@xoJ}~!TnPM(7v99fJIUTRIZ?r~(2m1W4JA)UxK z^biD+cpQC9l8zm#M<%5D!15FBi~;X<)~)^#T+}qaqDT&uW3^>OG9k4S90=st{F?TLFoV zH*u%;OAHAw0RN~>5Ha;EY*-{m^VBjS{!BC+F3N%{p;q*y^AFseEXa{{mLzGp$~14y zA(&&>%#41|J6lhXC%3$s@#Kw4sOP1okWv2MU!5?<} zb~9UbWy$#0`Aog63B6LCg9|m{Fwf@>S4cvWe7?7jEB{4?yqI%=xi{o8drUE&IqkiY zIS^w>rd42;SSA)6L*IqK`>W8V7B%#ptm?oOb6( z5urz}kgaVCF6(Oi!l9z3?xj7MWy0&j5YcOMUIy2 z>a(K6?@j>>J*!M?79Zja|8W4uIrpK@m|Jkzd?og1>!HkE4W^XWx7j^Xnq9UfoI7=+ zII%F>1bGWZh@-R!eK^jX5rPA_MopO1hCfE9L|NvYz9y+X+6%__<)~@%PpF$ENc!(8 z(9PLh$Y=NpR`nbMQ}uW>_dm{#U%CtR>+)gQtpdmjjD~{msbFT-&uqEGN1iWvj9Jz_ zpvt!jtG4ce#MB}j;w}Y08%p6un>+SLNfKrDC7O-6ge7|yaNaIU!npQ!C^F>r_%q|6 z%t0DrMb*i%w0Uqp_5-xL2l4J=zGElfd%R!}i_1)GX=J555$+6t?(kh8vHlRu7aE1W zS$Ei=PdxsJRY8iKR4#%x@uj>vfqqfy$#52`#J2` za8oifhj({;RDxVz&)~c(+SI=s;Dg~Y#<;o{Uik^LmvTSB^B)SNH4zabGT~9T5HbAl zmFt*Yi3?ry$ot$PX83GFvi^q$^%->*9jjh4{zLfaqzjrP)oUf*b94o>1}EmcfduiL zx&X@VYLbj?Uf7k~$wsa^33gTA;O3r5jK7HyExeJBm4+%*hQ}S@f?4o(sSNqna1Ans zgh92UIQbm?9A~8-27BHaq~JS;mA`cXhA4}8cv*R)TK5T58*599EW22NOX6foN)%LW z?ttx+-RSwieQf$D1NQ3z5v=n1fiLZ<&{9;3#MtrPgN<<}Eps)fXpa+-yu?qZ@p|#5 zPPVk4C^J73S+uwxiI2vb)0$!BuxjIVc8=iz+~d}UGE+q9^4dLUBVL#Dj>>GAfsEsj__3Kw{5LuPp`cUW8>3~j#%MRWFXRyXkOR^D@=ak&E>-Q!C0 z3>%?8+#I}~B(Vt^S3u}zB`%p=$0%PGq5)aDME=xq#^P}-YBpJeiHkC6e0c!WGi~WL z(VMu{dmcWT=t9elhmucW@)$I#4q(HNZ8U+|esuz@(3=#P*CO{pv4FZu9PT{f|16 z+zfw4@Q@7cWN08##6OeM>{!`}D|2z1KEB@s?Xhy(JUi`H%zHP@?v#T~_ zcgP8R-E;#-3N1&zi<=4;GsFj*p<{g$eYM-)Wp z&8MljMCAq(RwYWuM~s6{0TyK8rB>MTnvaU?)ug`8ET)Pn!ky%6xX?2n9-ML`x#q7R zfKQojNRuHt78J}Tm!faeclfwp2iI(pz&wj-K+~6k?|cK=IyM45BUQ=WPz~tW!-csI zH$#iu4oCwXTD&$H`bKHecU&8CBqs&*f)&AHMQqGbC{)h80cWiD;p+M0K*!=FmfIzup{FAm z5h=iYTiuH@)(KLPrSh=cjCZegI~z7z>oY;0^~hRHkK$>?H}EayFe+My-~!hR#3IIU z`h@sl`s#*a&)@(atPaB0ogV`z*n${y;pwvi+h~*nBmD}|U)_PO z)yd&_IQMWpMB2EI0(9u}1qWHTNh)Of)kLffOC@7_g%s7N}{ zx(mrL=E7+-555J?zU|BhV|{uvqMIqb-3I;{!_ak(Jsw>p4H@NpoMoOpY-b_wY+!6p zKfdb09dr7yB=s_P@#AWiIbw!2I#o=^d}DHP#x~5ioQw}X1cS{rJPvEED&%R?h#$wd=wFn84a3qqOSA%W= zKb5@WNFE-@VYbmMs5@kdsUtFR;&2uAI$i^rz*|gcvM!xG(I3F^5nQ;nnMo-FRLt1~ zg>g?&=NWJPR++N11Qfx`%Y#0hAVrgsPNJ&0HiZfSh6*Jy@2Z}HkW>V&NH1q(?tj9o zcCv6~wIyb6=jG%)G4MZwte;XNYwkD+lzO#E!q*X4Kbb;PfjKjLMiI2#cnP9i5$spR zT5xL2Z;a6eAiv=4SwRx^`cM`KXo zY<&Fo0JH2uJ`_$VXKRAnQTD@qls$Bs*E9GC@e!+;p^4>q_ZA<@)K}ucBWW1f%;Tkr zuTUmn6Wc-)*{3>U)TiMpyk?cjGR|J~i^&CL)6@8Kvprq;MVYq0s$)Ac9%@i<>N`%qH`3Q=9yrGZx1B#-VgNnd<37HL6G-wEl96SK=r~sP#yP; z>6G|@&AT(%$B0w2{~#!sDsm3g^Kn_8Jw;lUp=#MHh3W?($N znih;5dg=@}Hoyf-WlqJe#_Njs+V?oJOVF}|`ZOW04wEAHqu2U5jCaf_SoYn4^w-FfTvCe9swuiI?@8*zhb{dJ(=eUsQN&K1>-nN-l)X;3FEyM^?p& z5gB(ovI^v&KX?mdPm%}sQ|83>0y0)4`)2tLX z@tL5>bZg3~v8E?&=d$K*F|4Y?L3Zn|Q*6q+AeKC8K-ZYf=tY^!ElYxq7zOgoGZbQk8{p_`ZMg5- zj+eKK(Tk&$XyTHOn0@LX>fKQyGH@I34voX>hFXM=S~86!oPAl7iLVdvQSnGS=8jMv zu1ldX&OnohNBqR~*Pp?}XXkPFt9))~gdWX){e!t`kpOFEs?ZkObhfAX0RA{A4x=O` zC?pI4%K%66dUqSdks)A_qeSMeN6z6$8Pa3S<;=*oAo5EbsHN|B9Pjpx+0E;vx3Bqt z@uF4Obvc={y<{FV-%7%OPuuZirY3E*9*Qw?otWcoMz(HOLH70$Onfv9GWBHX1KztM z|K590Wa67*iI<%_yC|(?{$eFAoL57+?g{3lkAoGbDiH-Py z*Ro8g_wHoamAwZo(|MeC`64>kyn$1`4`J`&c^uC#>#6^McI3eK- z6h2DF;k{~<&-)NW3X4;(V;8a6W;-4z(jz0rx1s2q^UR?{OR{}$3wxfJlQ&;^xy)9C z1|802*1gri67TW2VD2%Tn)i&2zNA5KMe*+c164=}9}72Zlxgc@1LB%(Kpu~@CZFRJ z=(t0D%*P`&n83G~GvlrhsjRjo)rZG3*9>34mND{FOq`GSp46nb0$XsywV^O+>nIS~ z_Y+y!6|f=~E&92YTP`w_LIi0= ziye)f9S<|ww5YJKBnh?>q{5o#UM=CPxF4ZCjf8IJh(%kWV96Yi@|M~|Ytpl@`8D^-$&373@E zd($J(`-&BhFal_aEGP{ z!D`D#ygPVaoj>3~q-K6+w63UlbZpR|URhCio7ZP}iD7K%&kSg;R3|u0p3aFo2ute` z%iq1iu+?cGa%KaQmynJdVl|1I$u+oN^9U#G@xV0;waB3+VKT|~2t<#c$)4BLq$;Nh zn2J&dVr&_N=23u4wf5s=6HT&GWp!95Z^TI1_j411l;f0cjB>IMMqD zIzO-`d95+bS3Y$*^qn~^KavT)b<%KqX9d$b?i+sG{{l9=o5IY*3cT-NMnsT8^A>TK zc9?gEP&NZ9_SXWxO)S(KiIa%ouB`4!-uD&C^kH@Gc96a9L?`UN3~#f{dEW;L#|aV+ z^tdr^4L_KYt;0hwQi~sl2c5>r0-M<{SM$L7yB-xXrs%e>0-CqkK;0V+S{wy%`{=b| zbvHh8MW6=?u8QK?pM?+_DM1^&VkhV|9;EsSQN%~fg@0JOWnNB+y^U=~| z=Fy8xcKdk9c&1OjMD-SzCTLLI13KjLlL*M#G?BS-)f2+Am5~4HewaGHl6jQ5526+= zhhEt#kH%qQWJjMgzBsQ(f_~0}IZO622bv^FUb`uV?Y#)65--4<*j;c@KL@Jg4ao$% zD%L95lJx&rfbueFjPkr#c&FF|qVMjb-IfQ;$=w|sFMEC7`%D$m-#D7>oW{#TQTLfs zr>}zNyGsyzxC{G_PvB0o$iX0;3hu(CZTL1zl9pbHU`5KG;H)R#|38Y(JDkh+i{tj* zd+)tRh|hEGh6e4TB@OLOd+D1|wuUqiB~2nC;q#oER8kR96eTO9NTed^_x%2LU9QXX zd3^5sob!IY4ya!-qh~wq(0R+V60fBy#J{BuIuEPS2}_(vVzfSKb~UBXy7cMGMZ@sL z=Qx|0Ekk_2h?7!|!5v7}rNavM(1dG(+sb6IqeCB=uHJgyq^H_sU1li8sYEgHTt?Bl zya!KsErPnAc4VuVC{3NGOTKXT*k>=z>7k7gkT$Cm?B#3mzf65{gU8jOT4tp1;8v)+ zcON&)z5u+^2^PmPO9t$$sFi*_XxhoqzD6@}$X93i#lEo1QH(MsjW{UXjmxAv+JHXs$Ct;vjghm7}1gSIJ z{5_hhxg@jD?E6-*%}i&trW=t2VnGU@EQ36~3G}~LdPJ#tIjH|Mpgkvlvq@1~pk=Ww zwa+ksJlR~>A0S4$pV;I24;(8IqfeI?o6*mwmxA)p8NRvD1~%qc2`F(H%FmTYn4;Oj zRO1Pk6;FIEOfh@UbXh@D^-$d!47AO~! zA{VaBW;@$zahd89Ji>8tS>2X+xSBxK69Y2f?S#QH4q#Pt0z1A5(eNBgn(()kom#6x zJHM79({ctb_z2KW9~<&LXanOCHwcE|?HI9T6O{Fsk+cn8&{**j?_-!RKGIl%i!-E2 z#O--_V6Py0b2ARrB|$K~N1YzBlBNbiS5U#@IqtX^!aQhEr%g^$#IxLp{%n5^?I{z8 z!f}?J)-6fzIo`l$N;2^Ca64-bh4||91iCfJ0xa8s_gqbiKA$@b5z4Ds)WPPU>W=G66#hf>F^V27hgf0RQk#rmHCrZ;gD!4JItAoHZi2;#CRyJp;o%02wYe zIH0CM)66JV`B5A^<^+eM61YrQCv3yx==XJKu~o zH_o6L$2v^<(~UV9_F&`o7*1-A!sD0fwBmalJ7|VDwdXnGep-|SoEU^90h%;e!2ri| zvT(=2qHHVh8hvi57{vU?jkU>CIq-L;E56gH=6F|A7;WhQQw@8Xuuq%h>7B#zAZvQk&4F4gTM^HGj-{#LtQzb1e^R=Jy*vyP5I!NTxzDPr0# z3wrpE1PK^A$F8bWCg$}*aDPS?i2qih?^0brDLn&qhL*97XN5{ed*?ERizm<+M`QZ= zay@I*^#K2ieU5j_6?lKt51?FxC{^p$#%~W-m`~0uOuY%et*+tq<`*zwi7vk?Sdhj? zRC0U*pACyKA{Bxbq@%kAEjK;E02?iGMJx_xK9-~qLdg`|H2q z`0+5-`c?^q%oZb7%9~*B*i~H4u_AAl8B-^HN4S3NH@G=+t_)=(qC82M2G1)3f&O@K zpT^>W6hV6ItUjr+%VYX~NRpjCV(hVRCM5I4AkM9nr`0@1n74Tfx+_`InkV1bmFEUw zwMsMoh5PJDF=JZlXG7L6P@9b#Qu#cfV1=`Hk&k{)gp6}Utvs^^jp!$84vK2<}tWAsfuk} z(FJF7)}q0-0Zjd&LUIR9>D9-5ICiQ9GDiGxW1=eUS$-V4!#=?NR4a10tPa=7&1UX{ z1!=2#%JVM~C6mR!Vbz>xxcgc$ETPk|Na_ky1lZ%L&NB2WkHOsg&mb}MD=I{tMH-+6 zE~fn{C6w2}wk745teVSidmRq( zY%gy|gCpe09Az$+3P8?EGrC_hn4P8*$V~a}K%Da5;{n3CFw7%Su*#Y|dX84>SOIyu;r#QTC8!LS@pw~k5`8SjaPnl1%eTIQ1wyZ&;p-@FmEn~z#r$-RZ7tC5l}Ct>j52+mf3N zTRMMZSB5Ul?a`-IMv}bZu6z{i7bUBOo?@ia2nY(^$3pu`CaJIyUxwaCzhD8n+;SvG2h-3Z>K{{iH3E5JsOkRRAjm$G+rpwJ^uQxi97H3tQ z?z)7r_r1Zsllg;fOIN^<%w{waa3HUiXcG+)*l~HRpC2n81obkJ0+~}`OP|=ipE^r|&y`|`BH68x*|AiSYZ$Zhb z0e$HUtTg_|Zi-$8Lt$2=e}xCG?NFiHCOiUw)D|o66jfr?2cjF-y${nJuy%Y|_j=CUcP+J$_mW z9@==Z%4PeQwoqR*F3~{u$wzp*J8t9B3N_Zuse#EFyobc@56;<^3D*VfNr#sREIUvP zw=~j`&Tc|8lN4t1ZY{cPx*6=9{R8|P?BG>uHCs2$mi#wGowDb@a&8kY6Z5Ev*(f>< zCp@{0l9r=*rosphrHawFR^{+x%3tt0sg9+;ENO^rO4tR6sDtq$jE39$1Mv=rX;N>ezh4sbA%`1h_AYjAI&*h2G zf3YCELmGW_bg4%$cjq-QB>UbigY4`JtX0`&j$z#c_2XQ>{;(z7m*cVsTSVaEUuCko zTacU(RwF1NOwLZ2NR4!C*?SKyXwZIZDmvi|p0f3Y|Eki!C-FAF^0XY8Q#BtSY;)k= zqbz3D7IQjgqeRm$9ASN4*I=T#DQO>igd@`8bk$xNZ2R;AYNyAb{Hb(iwdxf1V173) zY^{g&pOs0GbTs=sONB_EKE$T|C&@Z^A7|rc)iH7W|3Gnv1evhZ9<~@4p!S^{csb=g zP8Ugmt3lV<@>plcRXWUzlxxEqRdrzTLK_;)zTypgS#oW14LsY{10wmqz^5z)1ifOh zaHj^D`ROhQZj&U^<}yS=!W=97e!_8y53Jv;d06Y<0y4iF*n`DZI5Er=7koXAe@q)t zn_mIO>n6iA<6=0;S%(gfX-C>~dX4sI4?br75PQ`jIIq4zFjPcS+NWHYM0UR*d&e z3z()H9eTNIA@5-07^}Db3}gwu0E^dRv^H9c%3affp5@BK=+sfn9kzxQk5#z(aRaI) zK4s2r6C{m6a`Ywt3Qm=FB${K^_~?5cP8qoYvECUt!|pb?UD<;7`>x{ZjbR3Da zBIy^7va|hU=*#7uc$DW%y6$LEjgbuK_*n|cry8N}j|qRroK~Dut46+_&*9r#5hXp} zX0WEi&k#mJz+<2o1LqIHl20aN-{orbde_a|pO**bp4VYG_Z}?bW)Q-={lI$dB-B2t zLl?W1q4zQmG-Ud*IN%e`m@7%z?7m@$s3>)vGmGD`n8oSVTxx&fH<)u0I1bN|Yz=lq znKkElVsW-)SIQyiIX{A#*T&eI)N*FhV{4qVPMTbjQzJqTY@vAl9k^nj0GEDQ5aAvn zQu@Fdwsp^in=8ynahVm_`O}C>dKW?5=L{~ha0_x>jfwJaA?UrXPQB~G;ij$y2~v8B zF$voA*AGW3(_Dv|t&w>3d=);rph_SA@WKD0<>}jXKcW2Fe2jef19%hMXrHdB7n`VN6%@z_;v#Mo>zLX$%*NcY>*JNhED$xex6%&p;T z=bUA4e-|g?T)xyOwUp_-rA{7ta`n`LS8&}~0$dM;qfWdnmC=95)~qoAwd>hfs4Y$= ziiy)7CF-;+T!X|tlqNc@`{AN?IY^xBg~ojhPB)Pty8rrEbCGT|ZIUK37wp-&5oUCu zvnVw``y0ORnv2cLLr~S%64wd+184VmxM?R&6(gjGNS`!05cGwqUfspMm(?SQTSAx` z)0YrCtr`}njxdSw%53RKG8R1lgo#@B80AR^L0MRr)HZaK_?mGHhesaF2oa?{J8~e! zsS5e>G9+Rs9vr6G(5JIq$Q|Pps9W)d@jko?k^^NS{_YRFrqd2y7P)Mth!onb&?OtH zv(V{03!4Q}JVK`Bpn9PdF?q6%?U$R&I#t+WYv*Lt*eyqIx}?E=BFOc{v>E3a8T|Wu zuHulXIVJUpXkBejEBhqKKv)edI}n zFg^{R$5Rv-W)k;$@E`FeW0>$SNQ+HD^`$x_`^tZ?<>pk3J<-TyR?CvY+1y!YVMymp z(rR6HSIPY$+uz^B!sG+W)8S216{7?F4v2V%=tApt%|p=eblv}{<9<|VqV8~P<0)8LtVnWP7*^vj10aXHUR5@dymFD`YoLjE~3s;-{_ zeS@+kb{{X|#!3^|P-{c(ZkHt?hFl%Al4Ul=A*%i>!plp!`HCNl+oq+$+MgrLqp`DS zu>UL!FXq^a`cB>x4_|gVFB6W$B9wmQe0&-|!29Y%nsii?SdQ#r#g3R!r-uq4_;Y|c za!nrMZtP<}&Ay6pHI_st&6*^x`NgECs6xwrcfz_9qSKHvT|A`-=1bT?VPy(de;Z|l zk8!TG;sU0%y%;_(C`6URkKp>_e{efbpEi8`i(Nt7yYF`$Z!OoPdFxDRgpMYD)VP8( zj@X0xTUl~$sUwBgswBbWDF|Cx@qf?CWK@5jf|YVp8O{quiik21>NkVsNB;6P6P!tS zuri&mqC)?C=UAPzN2nn#%FU}B=-4}9>gD+r{=`?qt>?ecBuk&>WGuynb8QIS9R@{q zd*Jn=9vG|>Cfg57LuG;)dEwTJ4)1T^$)A=q|1ftKJ|=+KFJbONg&&th!K>b#w8VY$xUkuYwm6uR@})IUdrFDO zR%F8?v-_;X#ss!xx&m2!ECqtNKG-6u9(Kj%5nx>^G1xhik+CxR|Jh8o(NWmE-UavP z{^I}ER-iXd`N58B5+sCgK=Mn|Si`t(rlTp6zh_+^toW)&_CB^JUdu-r9eF|OC~*-c z8_LiLYa{sQ-kFgHjttK)&Y9R~^uft~UCO`2@Qg0*!e;dzRJpE6OSsx_@`yY=_e~tb zb{zt@2VZ$B-WrgOE(YgceUH}fHu7{{N`rs11v~1L4sqQ4sl?QUJTsDpuh%Sz_OvS? zan==&M>#MaH`Gb(WmmW;vH}WfAEM^-Quz5hhA~OKi0_07V7yP2zS*Wn+(RtLcH=zw zx!@nW@y;gjXnDk|IhF)xOP#p8eFB6>#z05IerCH(ALur%V3T(C;mZ|*SYcNJ=Y`G5 ztmRzZWy=v*=Gc#IYUZ>t>?W%`Q;7)U1^h8B8Y2Xju$yPp!m&XSOxF3p6#G4enPShe zKKLFU=jOq0epu5i&bhjwTp87J^vFYDJz~3-%lIpu#=zfBa6c~!JiB#hZPP_qn5;$t*-lG2YYv5o0q9pKP7JpgwXRs*dd@Pk> z^s&k<&U4~K{^k6{?cAN}?GiQGe`X$tziUDXYe#D8IpT3uFcTIC*TDf_9gO{>PnKKn zgwMClY0XR>viR~kcw&;sTvODdC-XmYZk06bSCs`xftzq4v2eN$6o{LnYQcWk+IL&}#7? zRz2`Fv{vWh-7-z$ywM0pB4nxiGbI9ZC&HM(etf<*zT~Q>5#2Pa*F*5CHzrw|VE(Qm zzVFI5{Pp@gc;vb8gnn9 z3;ALW#KS)m9w~msm!{6RtmF>vS^u7qsZN4}|5A7)yA!wYT}Y$9D80X@6jDzK@}C-f z289N7`hAuSX^v`Q_vrq@o_ZPb>We-+-rNP}e(F=Z+jh+S&6=e4rVhy*^^NKeQH1c7*Hn{rnTU&))0Jb{}npx^=QrrAC6sDBfeVQu*2s&-m7}g zf6!J3Z|51&xtBAT%p*KfaCj4h9f^WVMK^F@^d6gXP!bQOCyF4M5SK`AIDqJw&YQeC5Y1xWHH%mX5kC_EF8>LWV|Xv@n>%$ z{+Q*-2HjW<*St-bX?=OH;Ew=Zais#C7V43U>6DE>q(QC;hQI=UIdVFoo)M$cqPl@5&NvEN+NC@4e{=$l@^O#K$N8x_$b8N8b!lF1MDw@WJuw(zw zqFS9OughoZpO;|41=OQRpht@|{V;C}cAD}%!!#*N@> zMGL-dSTLk|YwBa9oTY?^j~yZvBn-xca{B zKP9?p|1dsz5Q~l>O2pxBG4t=nceXAk4*Hw(FxoEx8@dXZ!nz~)sy7x}8Y>`5FBaY7 zC*#wFpW#Zq3T=p40!N;)aK=lUTv#qf(!GkYSWb&59WTd#l)J3|0XLXdt3w;EarcJ? zZya#Ug*RonjQ$KeYWDX4XdW?Qmdcwkc^A*)k(L~+Rb9_aZm^{Ov9iP`ovW=w)zNhC zE}S%+f`0wi0M!td8hEmuu9DzsF@oLFIt8Wd)1XzR9mmAN@leu6*7JurGT!Yl zkmA7xD$0^TEgQ6fUbt0N2`kIbLqw`J8Exg<9<`_8K9nPS@h7hmRq2FV)lBd1-{_RD zMO2Fy;g51j_P8n^WQJby$|YyO>H;TnA;}6B9heJm8poM!Gw*Z!qbqS=GM%{IdBpzL z`UxAwT`9X-nzjdyu@)vbn1pmof*FhHJ^xThQVe6CSjS*hqYQcH%JJSwO0d;xfd>+z;2z7-F~9+EV8Ymto?6S)f_M&BX5I zLev*IJo@Sj1Y~pdM5Zd3E|R0!hn09Tlb$n)b!E6aRe(AONmIclMUc(y<#Ie0^irr9 zEjx9Y-+gj9?0M}6$Hynq4jD~6T9m{HM92}TV^hKC)N9;+O@Pwr3N%#6fz0FBFP$m+ zcv-F#dt=?nhLU^OJ#{xuNU3Mqwz|@@nnOrM!eP}R1-Lp}fV$)#V@q?Am}e2uY#iT~ zT`>3%++7Xn^PP(1wcaA^KK&l*Yov)`)>HHo`-fq(#i_S!v50+* zy1PW_$mnehsE{KmZ@Hg~9>y!woD2r4(5~J>6v&9dNm>t~nr}w^PPx!CYYd4)7}k0O+znK=%s+`)X%W@m<$b((VEL!w}S@`DzTRbNOa;<71dUrWv=aGtwa*T);ceieM zs7!Zpwe|6eDDHn#1g;kr0io-$+s_YYS6MQW@rOB|-6H&%yp8d^EKEDcfAH7r(kD6Q zcEsL0i?!G7WO7%JV)B6jaMcF{Hf}C-7CJ zEpdFI2+dn3qn+swzV)@s;N?+vcogxZJivEyrRa-e)^E(o)ck0p=1FJOP*LhbxM@Z2?Wag>HE7>VT{0SON}gMV z!IfbrBE32vqJuO_9=y-P&?UEUvZD>XR%xn! z52!WuA$-O%=Dg(zu!mc0pADBKJYztGmG+|MyWb$uAw?QW7hp=I9<`QqB9?hWsCH6> zM9Qktg4Z8m--g>fd$o6fBXgM}1*>`U>z2dJayi=ny#s%UicuQf#&;H1AU`MevMXj2 z5WA*8h1@l9li&-y+Qs#Y{`j&7c$~{_@HYgF*}@-RM{2oKi(HF~;usu)Z)r4)tJ_jp z=l76n{sQu(;$SbwN$i|)1qCL40Xk|-dc0J~?t`0QRPQRgY2j4Nn{I@utGV8ItuB2y zaXFeAaKCeE0Q}4sAZxRSpmBviMzk7`^z+`JGRqA{gJNO(Dsdb?B0)o9X0yjsW@34` z6FD#43zJ<{sq)RQOd{u;>X`fiQxZi;%=>Eeyg*qOH3`^dqDJ$yEAghe20iY?aZNf} z^iIHc&BUBs>@<@YGfDFQ)y2pg-izJXens9`347(N0*X%Fvvk@@qdSI9gQ$eKMEQx zTG2$%nlg8z;mdb9`gM;ci5B|;vjeK2wO)t>SSS#iVqseNNRRYpaK6Upw)Fb7B#z^h zMX}92c-ynbBEzcdiLZII)F!H;aY6>5br)rbI79`@^LA z$50mK1u@xAus+O^3h$Sv>O~r4IQa)etox2zUi30&)LWT7>!e`%;gjGaT*GR0tiuB4 zIP}DFyu=PMx;BW9+f8<$shcUg=JhQ|e`-rEz;Djn=mj_z6^8whYVcJ}h5RXZ1@8tqTwol)RK5C) z|AtC{5fdScL@zQ2e0te1VR6!A9FDu)XTar-ei$_~qGjXqcH`$q{XPG0qS`;2g(ap*|DD+mCthIcNew&3z z_@z#G_%DIidw!f|1VEz$Uhl%OpG!A7d7AY%V`ejQU?uBjuv!m{9o`7~ajX zJ-?AXL^Wp+yGGu(7J7s4mr!MenoxYk(`v&#j6Q8cG5l`W|KSDH?J z`Vfuel0f=EDP~>{76(GeENm!d0|A8%2s@JKwooVU$i4uwBk(KXih z@Y9UXOm#sc9=5N+%~}rdWJ@SS4u1mon|C4mb}CQpq!1Yf&J~xaMsG?8(l2L~h*6>d z1WBvYi%X}G_MT|)Q*4C6HG1Ut>tW0ps$lLqtYoIFD#s2PUDDH01MiOM(PvMEh$iQB ze%{mz_wrlVVCQ%&J8VY;cj_|1+CZKFcP5>YK;57eE_Z(bjlAX2Y2q7Dv5AGv6SuKX zYXwOAdqL>L=a^*M09TJ%b4+bGd+c^S8dkrCEBbDSgF7p*C!7x(vIz1jwZ^ zLT=D?%xc~!W?YO1!Q4DBV&^h1W}A@w)(>D7yoq%#b0xxQ#aJQgNj~MIqEfIl`(?`` zEHsm*dzOgt0{(O49EhIKT&hUUO?4qPJB+E(%$ZQ>Y)(#-RCZg=X9!Eqfz#hlL9JjE zYoG1GOiKR3v-tT5OQv=(OBy$`!mac0m$fo^$K}SdEngrzX*)KLhVrr&C_?m!g{VJ? z@tx#fB6E`v2tX%MuJ|iRUoYau5?#zb_sv)J+!YA zW<3jjpn+K>x^=tJj6H7TnczCy@qHTp-|M6FB!W3v-il>m6Vd&|3-~cX2{gBBGGkx& zLS4Hho#&JZc9LS`PJ%ld7jhf}QgdPUt0aum35QU@f(D7OgQd}ZMGWRQ! zS3gg2{D}}Q_vd^7$Dg79vu_}L>I}%EAa(v!%*I_dBi~mS!dK6w_&GKn9lyQCk;U9D zoIi2Ap#5s}-n|HL46bAp<*kVG&Pot?`V>`^)#!%_4WN3-obC~C!oQ+QU;ja=y3^;zuFJQg*yp2O#9^Kj869~k{=MW+UHb*;qxYaucPo2`DBOJSZUtUXrRSI5x ztU)`Rt!aGgX`a{#C914Gh^AAf@O(8xxSrJ?%>AZEpJX?|()=g5Xst4t`nU>4bvjVI zq!dLL-G=BUGx{XRh zmqMD?6fi6+1Njg2jG?g*QJZ}QYaATtvGQ@|Z9qD_PqJoO?)tGi1P4%G>NVtOT*AVE zHH`OGJ-TDPC`jy8CM83ZU0AFHD-V3YW+fSN>8cj3EV%{urwuYe32)fi&MN$Cs!R88 zzlVaHPw;kuJI=}c0t;Krso~ipyyJyp)I#AjZpdGTm73R4a>xKfcI;rDj68ryVQbV* zF{DhL8~OEFA68uB`e#$c2!C4;+_)zIb%B>~vS1YsJ6X^hzOQkj?{B>IUW=}@6QJ>5 z$61F}UwO}!RA_dADM|kH4JFhn(7r+(OuNP~b$=%KJU@>gWu*ypZiRGZcOtmQ7ri8g z!Sb^Ml{ITDT4f^(o!Q~MS`%%C=Ve5f{*)rtF1c8>+=T{OI?(6^{lNVA26;vacxt*F z5#yX+n>ltYzV|uY>X<+$j9SowzAbp-oEg!XYe)y@yvBV8ZRmLY0^rC;S{)k42r9^d zc6lIPR4rtF@lA>RusxltQVV^PUNW{@8qi;n+r8rMjC{jHn3?d77h?BNw;MZns;&m~ zsa87VH;ao7c$jYW@Nz4%rCF_e6(hU950IG0`>4vBt+(=Pt3?rS5UURHR1k|N1(F=Gd7 zJyF>A1uDsLuDd`}HhO6lJF?u4YRYKRUmx`8iwAGu{k-SAlbr&*k~kY8lv5AqZ#h!= zvJMcP`T`3T4aq{i5SVYILv|d$0IOmbW6()!W^j8E>MYf#fAh^qyO;?f!k)Z@5>xVf zu{#;odIa8)E_m~4HF$XMKshCjYYcn@oA)_^Lyt09wI~3SIG4QKyLy(Vq(gSuCb17^ zZbO~gru7bTUL?arPeGbETZqKXl48z% zJrBhR<{)2u2qxPK6IfG-9Xf7|*+>eM4|c+~B8IrCh?6?jfee1yfM?YN>4t-D?1tYV zXi}+74+aQO$dIFgq03Rao=|=5Z+QEp0##@n$3#Q!o_M_vt;IT6K^J?HxaSQnO;ez9 zb?W51kth0{$c70k-ePEDFPozm0ZqSc=;yF>bowt8;~igMF-OSd-8Q9O*~zfxr2@^; zcmM)QrJ$drOnlOs7*p>Tu*k~^Eq1C>ugq?Ax-3Ftcj%DI$BgM}zgLXhsd6|x>pg$y zT@tK1>P|wVFQR3DaxX0wO^?)aF6-?ti)Na<6c)ZxvX%pbO-!v&qVL^KPoj2e+6TSvJa z4f*(A#5|@;V2C~FZbE%zzrmv^8r1Ej6j5l~jt_oS;LH$FVl(?W+kIAoeyF>Nrm^eL z`MWG8#9qR?59DFZ)+$^bVTl(%8_=RdW+Y0e6Ba(RAl{2b=%v4+#O%~9IC4=HNAwnQ ztaLHlp0xz-PgbCrEzwx}{2!X_F(!)*<}wBmtyr-~g80Uold8@S5N?!=MLWeo_I3~+ z@sDK_a<$3shlgRCWIh~|i^mprCA?l3fD%Es(0W3mNBcI)?IsI{MAC1Xg389Q?J zAa~E~$Yvm$bG1dk!);TdFu1lJ?EKzyZa@jL&8r^&H5Ou(ZzEP$$Kbh_cJ%y^Dverd ziT-JKu;qOiX7FoZ-e@boxyqin7Y(9rq!^^qNpN7>6*!%0Mr%1&p#A1?cxR?U?{wzE zrjZ;xr~Q=8>ih&NRP~tRs0fgblp%{6E$OuCDex-$J`7KY<#p$AZVEXKI<#vg?5e54 zV&7H}dRGT#$xbBXR3=+A_J%F_uov7eNnoVpPmDiv45KDkv$s!gW(ReoXl7M6)}D=K zvYeD?yw6vL!)oxyOjGm_ybjcF5QZPF!IRdeWXsz&6!@r0OwQSH^8v0uY;&ElR&gYE zxbG{)O}&_wX-lEYip1Pdr`rl23%h1Zrpvycu!0N#Sbe}tlOqeaTKJt%k^>&A3S6!-fEuEQj&KaMr3BsPK=TJn> z2rlh+rFM69=p)Wcc5j$-0{F*+-vnkKHOWaw6=q*v zfk#fU8d3SS4(AWb;D<~4=;LKXYVCVq%3W97nj%RpuK2-^kWYN2pUBSo&w=yrNfE2h zM>wzTN2uVJz`e#L{G^x`zGuL8oR(w<@?4%x<}Zb?wN+5MG7A3cAH%!N-`NuZ-*J`H zb_|Tl2mTnhE90m#vHBKUJ`txuEDO22$j?L z(5fRro*RwhjK>P(KaPEsxLF0cJ3nEwr3!iZy#!YryAB7|IMIy@rNA0u8KwJM(CS@8 zvFRljI*`cuvu31&nxQy}j?^W0@{H+{1tv7~kuG{2Y-f};UUPdy$}vGhn+oMU=iTzy z0{sFe^tgu<)%o!Y+cWfNy~z}uPgLpNM0HYdRf5nmX@?w32xT-kJq?-bb2RwX_I>Hnli)ZfBr7Mj&Fh`mvZoj>?By9B1ap! zdFYI}`q1>%j?DUFLc|iej7OCb^<82`rwwLfMUy<197@1-CoJgEWER?Ia^L-znj!e` zM9gsI_^JE7ygP-b@tL?(-WY>>QrBlf_(_s)zM9j>Iv!m3^~Zf;`RX;|1TI z%x~k^KgU;Xz>oaMEPby*dv&cz#{k#+_F0ehXRL_JYa5#U*O5_if67i*)1{PhOw(b` z*CyTpZZnPP4jV1Hp?D9|?)Q-iF+9wy`A>*B=A8o1wN|qtC(uE!|bMEn>w3w8bVaGqx%?y9n%*h0A*%}%iGA!5P!0BGX1+Vk zZ2jVe;XPA$+vY?u{k#JZJg7%r#meExK3B@C6{LmS{v2B$DdJdfK+k5@0p;G)jNi9W zC)yVm&sl@aRR&YGzDMUwTe51$GcJ=g%KYdRA^cTqq42&aiBaYHxG}0^#nIW+lW?=y zeJZ4V3+JKR#koFzo&Y1it+=XPg=iR-!ye`UI9kcGZ}=s6IsQ6AdH}9d;8dL61@LHr z2Hml19CPj8L4dUiX_}`(!^91_JEQ~+Fun~XJB%RU%rj=IrX_APn1I?`pRnYmAYC)H z4)crNW0cS#U1?(C>O|sZ6vG)^a}xis91PRBy_4mW*?h~5P~fUVIu1O-m5~zU z{B5p}yW}Qby%&oTfunr4+bs~fL56sgiBX|@l~5L_O3SuwQHS&bxqJUM*nEWxzg|orJY5D?sV@YE(Kq4B=l)>C*>R@ORXneBQ~2TAw`_ zbv6+%ad{#;dt=)6F%23;k8*o9ZOOAE&#>IYiTVv0k%8b$C>0N zMY68w8@DgjkOVF>rHTi|=;8Cu^uW&bAo5s`M3Xx7p8Nz#byUeI?ha#9T>^9KlwnI{ z1{xkX4Z5oyqLYgf5y)E$$5kar^E|>^b@?}M*=;`v+@ zg@~WJBAx8yM!tD0XB*zM^E+DQ*nn5R)i{Ad&+w%NO}T;VQGpSUx6H#3M3~ z(X+M|o;OOfOC!0n!qu66E+2!1&!b6klUagZLbi zt@R%6f6^gkT)rr0JHq>xDA3qwO>~aWhx!BWFkj>`@9o-uFly4pUNk!c;+h3qHo^wZ z1zA#l`8MWCiw*dP#N(oJKIR!LLFFl&vt1#T+u^1}H&)Dr8{6l=gijM_RmElY2b;+` z{H2KMPIaPP_U2~9S^p1{aQg$}GUXOn z`99_Pb@p`AA1x9ZI};AR5{ItPJakaz92fiK>92~fXg2#7UU|0|WK~;WiK`KjFX=~h zha0#(MjN#LsgMWa!uWThIb59g4caXA$Ubggko+ApqS^G5w{`0%o_2O16Xy$&&MUFZ z5OW&tl$p{)m7%a$U;qw$P$LTO8gRkOX6V{C4a28>#VxjFsB`cqG;p(s8BuX~ew_yW z`7agh`%LIy*anZKS|%7jJPEY?rE%U-BkJB63758C2QAURZ2f)C3-iy6Of!}xf7c{n zliohqJ$4&lScQ4W)lQ4o#z30f1eziBhFQJ&A>O=l1xu4c8T~y{wCZXr2Dqy*&*qju z#hx@c$kfAPGZo_Fa)N(BM3s)7SEZFghLoRZL@PM9&Limtb~P)~%%i$g;?zde9-NCI zA?dI*R*Op9nZqdj(8a0%8~XCSE#a>{0ZmQ2Q0&2S7=Kg6o0Xo+s-6r4+wenr)kb$5&9+>TooC7SW`|KM%w1kv!;fiN$K|`B>Vs z9*!MPLx&;>;?d!L0Yp2mjG!tZ0xc%F4M!005Jm=CE zrETJ-baI~(k(|E?2fluW^2!3RJG+zB+BlJHdV7LdQ>jWe*Vh5(IB5zCrFZW^!D3InZA#&@4I{mBjOR{jpfb0c*2aU&@GmQcqDMybP~m;nK6x*k*jEa}o zhYcM(lLm1C2J}>TJZ?Ne_)8P7qrnnKluIc@(JvOVQAuV87!+(nbcYd^6nF&XG=F8%(DQc`{E=|=O)k9OoSNi^Fj%H zKvJY65s4C|BAGJOe_hxAdG)+{o?i5_>$J}~d#`n`@AvZ=yUY^aDYatjjDF?}P=Mo% zjUL)O1HJqZ?jKIa7hxkAgD?%_F5iZkNj)I^RV8>F=|%+y85h+}mP~&(6F(NS4B*^+ zZrwO1`t}u%1MNX5e=Y)kP5*~kY_DA7bV;CP{u7d>F}LWfD%>_+lv>R`h3>s~VS2tg z)lK!{=I2zxDKislRV5}pQCV~nS+sM_&h;C1`Ojaoednf~n*syY`>_3-zx|d#pY{Is zKI;Q^tY775KWWpN9sl|G*e_ha#%IZz?VHxD^B_!M-bj!b08kLcg*wp~XB|?!1AbK>yV~f!vO^(hbq!f(g&Pgz1I} z!i(<=xYILtl=j7%x}6uKmY$0GAV_>%T9owPW?_P2yillnTj0}bF39r}704?Y3cPl& z5R5C_B*@i?EV*_t#?`3nY{{+(DnhZVx&ocBY(dH4PPgTPeL~qqMuO@kSKL0G$PNCUDW?g(YoK`T{nf7nFv?lv;U7iz!P@`tSecLXNTbU>7uS zyHDUwb}4uGuGzYN)&Krp<>czFJp6xtCW`#;kJY22>|K&RD$3rdiU0q9|Nnlgj*6+> zs(_kzX7r&)43=MUph|0;>7|o~BqE4WStq|omj$8_C!<5fH)P<0AMd!!m9xOib{TH_ zphCU8rRc1k%n&Ekrv6F5QpCx{nz?MUMDt-{dTT0`i(p&p#_o4NZI8stBBT}a|o>3g9Z5g4oh zS@I6;@4mz`RaNc-GZ$B9z2bc{9^v`i5#;X57lM6d9qgn;LfCBaOmN8jDkSdFr9M&O zg3+!zbo)LHGJooPygjT-Rj=fN{cUl&XrVE06(~-r4@=KJk)UQGc68%@4;a7BimaWx zgdc0?gx+g)X~-&Ba->X@%Hk}5ujW2MFa4*-da{?Z(h=t;DaX4w&4_?xpH5>-D z=!YwN@%=yy_#Di~G9v|YIQcFn_nHycUMqS!y&YG7uK~TS%VBjVTM4{zC4NVKKx7k{IouP1OxqL1)m%6KyGn;2&rCqoaHe1fBYKMLYk z&cd&?UD&R$438h=(dCCLhM0_jp&pjLmq>?&BiU3vK9JM#odV?CUYy)vN4l5jQwPO$ z!Upr3d}DAWyK~yn_1TkX@xu);sM89nqjzKf)>o(+qCtLMX2g)H&-h=0BaZoa4OH&_ z6*vl-N@Zt1he2j!`ljBGqQ6AxyGL{2@Q)PK>br~E{1}ZoSBczcU5jmQtAI^N$R(c~ zP)yUOeqEno>)sAnS22e>$%wsgGdJSzgRBkL+Q^6Wi_kC5V&vyrCDNF5hV%bW3}!KX z%sMUvi*-iCnVjM$6iRWTyPw0i(X!N%Xig7PjuI|E@vidab zr32YCA{N%AaA;uW&y^R+ke%iFB*MjbN08d3rA{ z8dE%w%Y4|(ZU3l211=j=qqWab&vr3(UG8SBQ&}=PP?|)?pW}^LYv%EUXh?g`lI&+S zIH~&Apwf4h>$ngFPu;BOgX|a#-C<0VYPxyFXcHpbX-s$cWnkoOU9!~S5uElmppW-3 zTD*l4U1^vNm!*54<*F?-$nHX)Rxeyb#K|lL2|V+R*#P|G!S41rGA&4xcq<_$v4+I; z1V@srAW5cVrSOUa-|))eF~qE^noS_;x%1PQVEM>Ncr$gi;OBfZ_8AkSVh6v$m)IKU zj33~GJ*U9}ac{n=0(}gfReHr`~ zN%q2c-@SsaH~gf^`R~4cgf~f-r9{vt~wF*25WkDiZ1LCtH1)MU<^Ea1=_^F@JatV zQM|1g=PgRW7Tatb-aQ)cEmt8&wrZ1&emi-SQD@-lOjY{F_8&KE(1xh(&fq7c9)jj` zZ@7%b=1?2`7_?)osjo*94v5L&u#6p9Ov+()s5Ko}Cq_G}9VpiA1?hZwyvL`Yxts;0 zZcE15&}3X@#V!c+xKJeTqt$J#SvQVGEq5jupo*^h(I zc)^U{V^BvckNYv&gksD|*mY<7dv76*SG+?H;a?$%8umie_8x$PZJtaJ1A_|zlXyP2jEhPIBs21 z4f`tON%!l&aLZc;_GJ9T;F-n3v%3A*_AD11GKTneVFv2v8PL9q`(UGw7gzGu0lOMj z!(CxBY|F4DmA@TGhVB?za4U~Ll5+=jgSBX&Cu^jfNCeJu8_tcJz;`@%#C45@ke!$U zcPnyw_c3l|q9T94K$KhBla6+yG+^R;1XGfwz}9rhE5k?|(n<@g2O4jc!qX-S;F z-adf)Hbf-X3=TcjCHv>wb9$oAP+Pkd>^7gqnNd$*)yEH@ov1)&YrB(W$pt8vZA+F6 z+0xBwLOkZ?NIVknfxd(h&HuRz9*0N5&HLhHZmcRyxSa&ci^Ry%6_wc9qDRNC(x#)# ze1%?y&+!dNk+bUGFlkQ)7CK$x7Tl~5`tHnOiE9;Vd~Y*r^Qw?`kr-G}y&Ilpm+)^! zs1sMeN0<{hnk2H*2}N58uyN>vLsw-WdwhzZR9}Q>-)Y0@%bxtSQgJHgc?QJIbg25% zG5oqsg#uxaKYUm!OQVmDqvvBfK}S0kP3;eTA3by5LNBh_gjttZTm@s%aYb;&&J_$q_q34A-!RB)mXnVtGJ*W9!hT~lRp^rs-?Oz(oH~ zn0=)Y>?Q~CX(76}G|Lf{L*$9F$tr;?FGs(Qp2JI42g3zMKy(_FkBJRuamocrs?LZ; zKFoCWXre5Nn~74XbR)WU_AN|L`;PI_S773{uYyy12Vu9;II`)4GISPH;!F=YGE@Bz zv`gi1uiSURQQKQMZgvG8P0Qz3g`N?7a8e{2rWfElH9KM;?Te*({(OPBB6s>zA?|)V zmdM{?3R(J0uF99BD%r%UCQ7yw5$_@dDl-dCqNWN<$S-JAQ4K zAx`YO$mIvV0+Fk$@%$KBdVbs&5V?OtDCr=DExMBA`imx5Dn5bcDEI&7QA{|lZqTF8j%yRs6wagQx|G>9~VBYdUbkP)6xx-w(_#QpxW*{{+;x4CC(_1@1scCkpli z;EgN;)OQMI)1~<^swNa3w?Bo8d;XQ4I445SrMZ&3>W;K-#CS46imgHFr$PQU)-ov% z<;?T?ah{VbOe;61@?oolvO5l7z;tCLH=*I0V!Lv z7-Yjc@bd9&&hQ3c*jjzze?cNNESyo%Y~>&{Zxk86J015aGa^EtB!6)GVf%*Snlg16O-FwvSyu%=NL2}|m7Fbr3g9RTMrN&4gH z7g)ibqtBRiH&(m?`zG$gd2Wh0wZ)R|SbYh3S9z+f;Sa@rS-2Q2$nX7(1l0Bx4#}K> zQ3sq@yKFxg%^QL_LCfIRm>3-VsY4wbnxOjQZ$7b?P1;^Nke0KlSl7$Q$CE#U+P|?N zb6bXL&8WryKA3@BMxtmH+1ggLv)nkOYb!t zPN{^sI(fLHHXpWoodQ9kCFwVip$iIy+>?#vg6k^{sqch1Zq>Q#m^M3|Q>;@2XGWM^ zq9#GTgYH6ZfC$}XG9c*vYmZ+7OJM5lbX>A@HS7ouhi%VOSbFvto@vm;g%(C|NU|D> z&)R~4e*jKcT!Cl3Zs4TGg}CB#DBKz>?I@8E(;rU|yK-!F71mnZk8KZOY+ z^6|6(U#xRWz(v}+{LdT*;t{b9{pF5f=?f)t*IkN`Tv>9CY((vxMx!D!~7Z7 zJqYZ3@#dW^k=r|nH3o)Mc1;U390(FVs0l;!jjQ6A3((8QN`~ZMmL9k2vIipp% z&;ufE@YO^byCn$!cv4>I;UXH2(k@h1YJt6!9TTvAKZ2mkMyNu zs#6inpQ!~qZQXF};uP@caOXQ)REhn51*&bnk{k98hWgb~uxH{kSZd>h;nQTuSDPHX zQm+A8?~^(2;a{LCQ-sSUpK-7D=Ys1NQ9AeHeUwtNCv)aV(ZI|`ermNDS!`X!?`O0H z)v)>4cwdZ6-Q3M7m45}304vh@(T40v-i4>E+wef>U6h*Dg#XlscvZC@uu4aoC>h6L z%uQeZ$7DrvD&!Q_f6Il)G*!57tI7SfVHVN8qj+uWLDW&?cyGxmpwN5{FL|)}%(fUD z>wO1oMyAsvvjUARyN$)aBtgt&A@}BO2Om9OkMgNwp%GPhd5_uHn&L`) z-p$0+iBdF2rkbyjqa1l924yi0xYH{h-cO4FA3-IzbKpJ9jRO)MA6i+59r75u8XuravmcH#IxEy3ZOjNeFVOP50=Zrg4wbs5 z964=F``q8)r)BLRPc*4Xi!RY4vHbG9Sj-R7r^V4?WRA#lyb;jF2Qibl&o*C>&kF|e zcdE3zU5P%gdxWn_)wp->jH&ML+qf$00xV9phr<06xb zsBlI&Q9B7aM!#!jDKn-yg_}xpqAmbX1)a6KFg29zY`S-1tKVeo7ImXmK9_KO@9dy zX%F?@kI^ux6Qh_B=>qqOHHZ~R%{?8e78r%okBp;UdoDww^%8z^N+a4w1i`J4X5o`< zJGh%!!8k4P7F@$Te!)f)qHAM=moBt$*|{6I4Q;lZ3`?>98KcVxIWjc;*Hx$|aZn>Y zgfDj_W5=IqsI@2`^V_rW(ehUOJ8Vlw%o_u3qsH>#&*tH_z%L+Y)r)bPcntC?Ly=5# z`env*cs@0hLlsA2%CUBZQyK0Hc*R@2v>;c+9a%F`f#@90LHA3~Aw={wBTDO19mn~2 z?A$BFz5xE_%UF2ux)Fl+&VuK;4Ooq*L1&jJ{rn>lUz%LvVxH>Im@9fD`M5Zzl;0u9 zJf(>)T|At+t3{^);bmmBcYy zckV?AzU+V`7e(cuEH6Y*Dq%{+9p2M3WrQv}aw+c@v_)>k4Kcp(nx(CCR!h-40gCj)_(*t{ zbQiALb>PZRZFoa#8=jpof($I#hi_&o!teL$^z+&#Jh9syeRj%_{Y#<*N$ixkYrvF_ z{dk2t_qP`KOEWpo$8SM=@Ht!wx{v4C`qy0}g(Fo0T59te!T0I>vq)27p|l8=cocx{g7aM6_7phWcN~4b zcfu;cNE%Q9Fnm;xx+FXT=fw-{2Z!*|qBor4leb)+(O$4JxQHHM3goU3p>v>45UU@?(&W$h$oo-X zk-<*bw(rH#g$>a4O@zc;>IY-^1S%I~=|?MZ+J9A&jB5XkLwlJqmK=vxTE{H*M&#*g z6}s(R5Hz_R5}r~pAy4WSmI|^xVRThGh}d@t4=IIW#JW+O@{ti#ZMihrKJpyaAM%1- z4Gu)--dWhR`Z<4plnbm^`UV?$Q!;5ln%)R!cKBjxy5#;zeqL-8zQ37{O}lOAlvTRK zWtjodOAZE09S_*-AWb_)iIdl?1un%BX2Y{D!UzRhP*myXJ)?6Vgv*4nYl7j*9JYq> zD~5I>F>-g*Pu^twR4#eWXd>8~jkjV9(D(fpxMQ~#RmY4V4nFo&M6MRP?z~5*>VL4) z^eJaNwH7C4S>mKa(Ri@w0rYoXfd~2_rDFS{arU%RT)-}7G_F5*5(;*he=J2U^dH5VLnjAMefd@UVb0fb9kQQnRbWT3ve7B}R``WqOQXN@1 zz3w}7e)R&$v9HnN=M#8bI}F?YX_MR6Wg1==OK9&ukEv1LSrSGcIz7$k_Y3-TMtle=e%B=aVdpI}xcQzE4RU>eBX2c;Myxem=sJRH$jW91eLe!=+GNhiax}gEC6Q;4 zJ397MEQau7=*rnr^ro~1J;TTuA6Gb%9&1r5YV?F(ay1=_w`t=$W^7s>e-2OeU1H?6 z1NffJoC6P@<3=s{jrj*RW0|`$shc87eDn8XT5dEW>JD-P(%LkCAQ|~G2h4la0fScS z(9cz!?47y^v#s-?;O7p0+~0@zv7&-o9kKz3pXigy%imFc;tr8`i_W+UIPj2ApOtU&nZ`RMN`O~ng_K}=5w?tho! zarTsW=d%JHx*L;YlErW#Xfju$oCLa@KNsI1Ld4%2(|CIwnqjF&hli!8T#+iBeaMWi zE#83hw(J8vr{yrNK$ApMGn(hU7*@(>fbD{3!Z(c{!G+EBbZ_aQt?(^6?Xn{ZweL8s z#oM`z-5vb5(N}q!&-K_XULx4`%^PMZNy9QD8FK4}GbnT^k{W>_xv)!-<1$XczQ+gf z)xbzJTRH;Q{eH#Wub1YoTg)kyoz#OthrD54h&=or^uy#=(ip8SLlZ4S_-YkJI>u6y zRwUcdeV7Ak3y$H%=OU!ltsM3)F{36Yj-!pP4x>LY;(tXq*JXU3@87Nr&9!e)g%MHJ zn{=qOz?v)^Vl&!{4)kQ6F|mC-4|{jZknf%kIcs)yRcdky-VUBdGyh$1vt}Z9Vun0E zu49iN-@_o4YD?U8#!@?LRsIy$4p-~0V%Z`^Qtl{A7e-cqOhFL1((_!4of0kFqeXkh zp9k_g3bNUK`M75x6kY1#T#sFX%IAOJ&+{fghbTGN^8xJUvwbq#Kb5_@ z$G`GwL^X?iJdr0sWx=vA3xfy&t{=q4!`*>z1YmzXUikQt?c-G6~bB%CF&K04%`>Me*F|~B! zV|~_2*TeU@np{QsZ?qZ3(o1_vpu4-9PcCdio3>yOi_XR|$CRj9s2nX`VF+cX%xHdk zFTR@54ln0RkSPPNAZm6fIIh14R~mM52UpmW8+|b);-9Rz^$T8Lht*=7&FoX5DZMab z%O#k5{Tim9vn3HN5>)Egd&s{WA?yK!8Pme?;*;;7YbQ>}9{Ys{W5t>Gxfq&6vv_EA z;7>{$Q^UDypf$%C2dgB=v4FS2`Lp%uF5edz!p=0UBku4nQn5m(eqZj#YecCf9F#f{ zuBQACe4KuTSpneHb3P>=A<5@cG(NE+NJ zMW(l3z{;8pywqNfzf|)XcAa4)fcl3xD6L9g@5+Uv{@<|J>@+rv96=WzcIK+4aJ=D^ z{rvfZJTT4_ckS6N4DjwoXP0c@l1F;@zb1=mM{fC@g!Hg|~MblAat(dM(uy zz1Ii9_5Oa?JhBkJPPqkZCs)IPYjOmor3G7rEWtN0%tx=`$mH{X1VVu}met7d`_t+` zE+rh?OBdm|MhjZa2-w7OHkZX(_g4cqvDUN!XR2}y3e?8JL9opPF5ublMYLHs9q!b(doGzFrjQ zEP_LOTOs0&Ch=c)2=6Vagu&f5r0SChA-Cm7R5-=vsCu|qQi5+59EGcgJ8|^6b^KC) zcE+8Nh~>|^;I;ZcJT|-;1DF-?tw=2H*riL~^gMx%jlVcsG73)?v%P(>2H79Z66=mm z+>XVquvz$?f8AA$<{t|o(c%JLXH<}V!^5Q(t?XXqomj++u;*K-yf&wz%}bcUm7RV7KbMN5h?)fvzJ0@GE$GBxe-ZqBdlkxkErSPNH-U40 zI;!ljBq0foAaU;nZ(cl!X5RI}wVx>D|Ch1ab#|MUqqOkIIu0R@5uTk~N=KgH_o1YyB9G4jHy zjG0`%f#Y0FkXmK|$Ghxt*v$qPj+n}CTp5bbD^!TH-a|oO?>9K^VMC~|t2HO1W7ryL#V@SgmI8e)_1t4a zeWEA&7rxGAY4BV<`paoG%IxR?b>0)z?lb|ibEyWM5#*A=7;?<=4*2&ba#}aVIE%dq z1NIxam%AA8cPvXRS}nk>DWl-adVLz*m4Gv1vS5Hw3W}V@vlb(3W3y)DmP$p~ojU}1 z%wRlm-Z3uUK#L69

A+wYc)V`c!_*8SZYc2o}70!o6UWkPY?8jM8LJE`NQBiYAWa zkwYAO%iAlwTk{+TXPn}O{KaYFXqKS#<7hT7O){*?_|+?!t+P28b{1>VMl~H~JKJ4a z)$kmDqz6H}%SSl%>=>8D(v)sOd#d77jDHul!?0Wz^!(NY$qS?Lh}dQ5e)it2>t}>e zA@?L+elCCsZ1|Fd;aLd|>`svHlhTo6y_~ar`tG zn>7VnuAB$2N=2-tR&choRd{alSi0oFMwI(B2#)KdU`AXC-x4qyF9qA->P3|}!F?OI z)>RQVdejOJeEEk-HRS&`=sw{^cmOv79Ls+Bp;T$RYT zZ2c?@h&TmThEIdnb8C9ce+K;ekc^_{hcIDeGd|K?4H=akXds-()^WWcZ=pu3)R@(5 zQ!^eBQOA!#+hL_$1K#jS;KoL35T6e@Fr=g98r&ax zfnnQz2o?7iz?;U`AZU+-E>C&dn4ryUpmkV)*0kll9c<|9<@OycVa=AALc#TqeDm2m z0{cV<(%GYh!-B0Kvdo$K4%-m*TZj2?8}5}B{=AA-bIr)%{s_2x-xo~YmSS?*TYi4a zZye0|&0ls3<$f|tbiHaBsEf}+-R&He+hIl~f3l#yuNh$`?G9W_rd%EM#&c&zlD~CQ z(4)N!znUtNABW6Hh_@AAJ~@(mC8`WBvIFsW+AYp%WCD~Z*PeQp_iz*H?u zPP)k*t`%kAL@gU4Kkh7=>Ym`<{;~uT_zrAcilLItnYVv%$IWZsU~$P;SUv9-TyeOL z?yK6N^YM8sy;_10qy|fZKX4T@PC@KMD?#k54lG*A)&ZX+NtD)TJP_3YhVv3JceOc* zHVlWoRw^*3at@rKfAB!uGG4u0jOLxNqIUyAFm;4Fjnm%*{ojgkn$b!=K57(gnq0(L zUaZ0eUNZEMz>XeVC4nJj1!xFPq^;F zU7Q(k0fsj3gqs7C@JWsn-kpAfuN)Z;f122R<_9Bfgp1Kva~d#A=MLwdZ%@=ar{jZ! zs~GAK4AZy*%rtuf-K|yN%hJ|UI481PXC(Eid=KYh&B*$h4{-keT@ZN8l=M%Q!}m2u zq0{&U7e3<%&XzHzL47T}NliLj{S(8BuV!YY`dZZ6s83_&n$bI{BIL4R5I;LHLfEkF zoLhbUF5I+Eo=&kY1OApZFaR2wZ|H}e6Qya&4i9+UZ9~e~dUjnbn-88c$HU3~lAm3T1R8a|hc(+{N@lyVb=hhC0FG41!T ze_u8%%a9|NZ|rlMVQ)zkPhP{tBg^nOn6I%6j6=$CO7z_OMxKn;k^x-on^t=!uuy^d` zuPhlv`*Cm3e~b+J4UeL$6>VvltW;@MND*#&`4ziHEXNbaL};BQ+bi``IAmx{4}O=X zRs*VJTEl6KvKs*pR<8xgRr_J)GS|1Q>;{Uzb*cZC3G}z*e{i{GK2B8{Mf&4wInx+1y5LMK zTogAY+G%^OFh}9@~X*W(s>wj+dqvNBx7nu2;Z+rzx=?)xfe!N>t)n7XRds0(sgw z#I4xe&98NBhhri(bfT0kIY4sxxaP_H_37j3%B-WfTDFCKCNE(3F%>e@TL^7AWiWH8 zGI=UtME2OpQ3o~?^wU_kNUMHSKzRLo{*Kc( z?%~xs{3`kw_B$z)VvS0y)R>NMUo+B^R09N`H=~^yL%8JRZEy^FjQvY)a|3;HRA=ck zZad2}om*A`D@OeQ--*?@>7OR%mdVqeG!Z&-#sH{1E(8XI2dnS1(NOdP==58n?v_+o zanGDQJ-r`0-`EnJ9Xn7w;WYdXXF0U%(ZZY)qBLmM6(}s9j0e^-0)_7#n0nsxN)bg>)wB;63S(^G+4(Szq@in%i>Zy}@F9P||IDV85cqj%51OJA2}YB|%t#zu5$ zpF5addIc`OWEcs^iL9Ns47+n%z}D|2_I~?^?Ip4J#0>l%qq>?qU{P4HXXjMnY!yR?t;Djz?0T zf|vU8bAA|4irDN;QKpeWKN=|&q+&cxH=xBKDr73Nv)@1W3DjrWlA+u=aOCr5 z(4SU(M2C_exVbCSQXD{xzT(N{kxbphl+()+}(1 z0edcg|FIDqXV_4M2^)C-DXeL_z!c;c4ME_$Kd_xCr3ccDsduF=Jw1I8lCG%}=^c_Z z|Jek1cTAg99k!y;EeN0XjD;kthv;czK$Kp3z>M7S^kY#4j2?Ia&I)RO0(Qs|-cE}2oGikJPO9XW%?`YD_A+kxR3n&Kmj%vCw8J9Wf(uN=Nvp2x(e(HyHgGIpxc;5-=M& z!3@D=(4?IVbLDzqjo~n;_&4Dccp{8rt>p_T2xrW6$V=rR2!1w>R(IG_8)g>SZjc40 z8|2ASaVNNZbOj% z-_?SnB2F+f6nouKCL}I$KPcfGNQgTCXPh=b$N1q=Pd2MN`05mdI{d^Pdu3^)ZdmDE zxdu2ecnJ9X*U;wPgrB#@!=99UaBfz_o(ZaS;`f(0xwae*36`G6Tx|9+p20G$T_gX2ZkrS)e{<6mjWm zz{clS**$B&@beB1gv|C@@j;z?(>I!rI`9>%)yHu^t-NrLz=TY#J;t3r|HgHUehRd# zvYCLcwt{SPFh$E?Y$zzmKjZE-IS+A!Dof5(=Nc{g(BGHG>%T+ z_(8}q3fCUL0`B3szXEgp2mGhd@lg3-5Bh(tr8N)4~Fz(t%fW3*-I1im}ra$ zcmf8G;vgZW3R_-Skv8pU{AU{v6UPK{3#uua{mMs)noOa#^HXflu%mAxUOKNRvRa-sj9-kQo>N}nfJXz@;2^+pX4~*sbQc_Nt#wsb z*P{{<<~V!yCuTKwq+Ho0=xEcSk6FetaOPT!d3X|3UT(yo4||yHDF#QhHS?K%V&Fb@ z82swKVXD$^2(ot|KQwG;ZyX1<+-CHN^~cY989D2C4qxIw7tX$yfw4PNAb@p!&pPP`@lt`SkD2?mQB<=7xWD7Uni-4)ZUp#Q+Ih+ct!}P2q6mtxLpa&0xW88z_hvh!O!!AX- zCd-0+3EhPL*JGf{+=$n$h~uW+SpvJ`I?#F35}3YpFO1VI#qe!^VOhj`G`MU50{y%E z+H0XWQq7WFyO@A_a?Pp&n9=?eBd(^&hNcKqY3^r6t;j1!&3`6TSMZ(R9q&l* zWs1{ZbuEnMJc5dh>4zTaWK2Bw6@GMB@qfRkGeY_~n7v??aR0C*ImxJgVxN>~ue}_t z4B5uZ%5>n;he4QWu1!xyYI6>qy5!k)XIe9nhFMW_@cMh7y7h!)7 zBj|nn%S>sq#No*$xSuFP`qf6z#V)dR_bMxTk=-xOmfU78)I2`9Y8Hr@c|%HF6KoY7 zhLk>2A_vXffvsmb-3Pbb-sG#0v3KO?w!krDyQnECC=bN-6IlL?&1XgwjH78*tASCP z`ExT);^O#E z?jF9YfckQKQe|L7>ip-SM|v^%GfI_FkTd@zi@nx9J5GM`IWS-L5(Bbx@R*YtU3l%M zo9oj-xW=eSixLRlS)B_@^o?+GT_&_l*Q9A|e-z^GiYfoPAm(Q|xAa>uHYsFboq7t( zB6~7gmMwoY^)g&W@u-<9jo@oBMpc{M&{v|*RvZEM1$l7WHxl(r zI{CRP_e1^?aZYDziawJ}?R7{|i{V0I*tJa_0O6byp#9W>^sTcX zf|6@cWaCQv3pT*3XfvvN+lJg%cwGA6_;rkHU`=2nZA^&0hp*D zk9ti&W$prJSSAmT(^BEbfm#f3^MoH_I&hc)lJr zLX%MP$XM!j{U+#bq^Q5woQ`NN!9%njUoH-TT2hF8KOeen9O*`ynU!FiNfqY%TNBq= z-GWeGW=z^r;-)%37#6?PHqvXT!lPJ`|%FX6>0HFAHMBPK_b z!{iHLIJ!ZfURZjGSAWVnrol4AhkwK0YwN@d_sd{W>}b+pU_@sXea4l_uB2+zB4#)1 z0r41ddiS0zjcD`68Ap%d3&oLS)m<6>^p!_AR>vN%876_u@)~%jJP7;Q_xjI=Q{1Sr z?_h`HT#}Y;N}73PGQY-zs!dQQlIz)bzu1xJ@2-as=j}Kp#0yI6f?)FuPw2K1a$1Fp zQBg~UNK{6^68RJS(V-eR^5-zO&NmpX4sqOExl;V+{SaG1b;zEp8L&a^Ajr0`S=scj zpmX;Nm-9jdX8i33cSbzebi17&F(^aoN`oQgeJy_3EyVNlf}regCss)6kd(wb@NZiN zR5>K@P6=jYqN*)XuQcQi(>!pyc^*CU<%o}*6_LJr9($sO@uI5^$zIzHL6)LaLTe7^ zJnsXSaOXIrt2xsCGAUwVD@Hb~Iftvh8c=!e9<=>e;1aZcImUD)b7~VeqJ6#q(w$lV z$3}rF`(MXimk$1`u>^Jb!iePw8!>-i33OTM)7*bSc)=G_LP~GP#x-HP4zF#D0_6Z?Q?7hx9z4cK1_8B+-ksg?> zaiC+aNy5BMr=fl8W1+#Y1Pu^QgRf(TQQ_)Nbf~N1Tt8URUUvz4H)JD*xO8Ibb^@Ab z49Q@oKGpfEO!l=OfXlB((em><@VYhYki?3EXrnmc#+ra`mmVbV<2Zl0MAVTv&!2IS zYkA&a)Uk3rXkb9n&8|bi>L4`CsKd|K0&qh|H!gU2 z4Cg(tAZIfT$Pc#@P$5$VxBhG6wPXHadUzZD`4EkvR!YPt;Ti^v-^5+^DCcJD+0l{D z7;)^)0B<%Uf}K+sL%fj*H4o8*=XDwUV{(DVhpdm1whi6ho#Pr)#pt*f*W6Un=RlpW z0dMl%3#bQ4ifv|1qA^1J83G}Bc&`V|R{4#+B)?2Wy>3dyz{lg*n zu;)FB9(@JcRmpff=O4J4e&&R0T+n0NAGozQ6wQ>!!L}Me@2v|Vw{`$?S(a7fnK7Q& z*oG2oMnmkPOL*YNJgoPUr?1AI;g4p&#W9r=xQb*Mn60NuwmfwKsqLRR=YmGQ`s`D* z8xBJcMpz$+N$0#?pAwo*8x5=Wz6WV7Mgbm}4+fR#V5ccY9&FAR{4A3a1O{XXbq|=* zg`3mZ`FAi3D%p^fy(iImp^s4OIipM6)T9yqQglRP7g+0#r)>=<@z@^~@EBT+I&nIX zTOito{_2)Nzjckol3M$oiaW=*|VhF|7u68A$bm^q>p z-UlgD4Gmi|?L!*c2D9&Oe+QhK zcCaHCqAqgP#~*MHvYW9kUYUNMSdN{Z%9wXjN9b@j8TL;eL%vQ}$S1Gz5QLsJCE;;r z!2aJ z2*vw4PNiL%w1>2d@=0l^L}e6-j8JBxp+$uEb)0Faj7TC44J)Nx8bZJG`}o~|-1q(0 z*B|vy507xUuIoIG*X#L|q|?_jB5T?s)DRp+DSt8g^T`P~@H3SE5iU#o+GaywPZ)YD zN#XA*LlS)NEZ%b#!utKp*q0g3?^_fFBbA(?6B@v4?khg~-()zoUXmWL^F;e8>ZBu& z-Pal6CT~a&Vwn) z^6UumEI*Wcf9Zk84cEy;(Yq1C7S^Cx2!W!vH}TT`5wx(g3Xi2}&`mchK{+iPPW!Ta zOvgR!j%O6J)<$l3q9o~gV@rG3J>{RW7`ZT0kxu-w24`B83;UjFL)j4#+WE~N+L)0u z{_0zBJ10V9t?kKgqvM#fd==i4?}TGbqGX8exg+WsTo z&Nsv5ur(E#k&U$@$fnl@fYsLh`o9e0RSS+1XhOaka~_;#WOan_-Wq zYJNbwV;zRYrb5e#7LfWP&fZaD(P-6S*xaQ`v_2ccjgDZJ`5H-$&phS5w+-={{6~mn z*XYRE8eGPFbFzQqZJ>YT$oQ3V%;Y|d_ZSgbeo{8X{uoWIO1@#z7`Cr{c!n#j7RMZR z&c67jAD)|CgRYttU@UG;R;<^jV^!*~B|?TSEGH~Cd=Y+<4mfCILF{i{0JmE)7}&cD zH?gciNxdPwbI#$%ChWr4@f?nQ+JMogEnx4=S8yzT4L+P=N2jR;v)=zbcxrH*dyIAX z>6s1guDk|^F8Xkm^VFz)Rt3gA5vLP&OAw>I|4<@Rfta#g&yT?-yn0`PObD&uUEW3D z!`)9=@BJ@m+gVdj(f4>guN<~GSd-~LZF#Sd2GF=!3bOAr@wdM*DfKqSH=A-`?_E>j zpL2041h?;Je!m!lU;Ga#=2KeW%3f~~jA=${0HjX_QP zkv&I*f7D0Nlg2`Lr$W&ob_A?Wy$XH3YD8ww8%&ko!EC9Man&UQI@BsobjBM|X;T%P zMb+uEJDmb|$zG6;n8MEQw_ssZEo2^WCI!2{a{h@LJuE7{;5P%&KrPRSqii# zs}9AAJyANrgm~(W10#KP?(A(w+q)`CSO4zhM>Y?0cQYgTP-`o?GEAAe-r>ku))SR_ z@R66P-z}J#e-terbzxDG6$v?4g$|r3d2d_Hhih$wFbxILw$+)_n|cRqjwsNIvI_1F zO3)>{7?m>02fcbd==_@sFsDG0%ogl~+&e2#N?RR1Y9N2l)&YI5*w6_s*WgjgMclW! z8Z*o?z^tqguO4zDp|Y{KXw6Td^C&lRUqOZpwi(e*J`>!+-=MtSMHux&nLhfdfK>sR z7_j;`JU%N<_ib;$5Tj~NR@$5#*2n|n9V0;U%?xyTq(K{AT2a|`%i&g(0a;jSM|yPL zW4NL{C=|=%Q!2xYv-|I;Pd1gNA=1?CM-D`Po5G9dZHIk%UBaP5=3u^h6NX+;qMygc z;XX?>y84_pm5ee(=?k9lyTXKPW9Ql0#!4hj670UR2s#Q4sa~Q3e%h!{WVJK6u+MTN z@cAcZcg_-gOORp~>NK3PT$bvz+F^QoG8)NiVCvjbytVo(g#3sUjumR+yx?M(y-Aho zXp53}8{gpUvBT&eF_9RZlBBsB=>UzcwBf{YICfE&mb3i3!<Vz1%wRx`TneI=h>cLe@UK7(Nj-S8?(g>Klq04m)>1fwr5<+gL`pyK%x zl4r9sVY@0__~|nq9#AH)tTd^gxG4?2dj(RvGtkpFgVT~Lg7`@-@Z_HZ>!#Xq=`1rR zr^%>fj@G36y*o{KJc~QIG>i|ZvJm`zD@zXTIEIr;oj|iWo;#vqMiZ9X5G$9r=-_h> zrQ{D`7t8mr97@F@DCFc573uG*%xa*bPR*-7LieNbxHsi9#9u;Gy{JichkXbB&<*S@ z7)cIpyvuf&7jgFCsTl9G1P`P-@QdD7g8NcyV&FLo+og<1Va^hCy7&v?)^Bky4Sof$ z8**T6^%3O8O~#*rY@af3G*v8ArdQInVbzi%s22ai1&L~L@q&j~*_DdwS!`z*qeacq z^YKc^W!4ja!oRAm#NBMhUOZ$==C8^GS=D0@eaHzN6PRJ7_anp_UP1FSX2_?m;C{nL zYzjC9D_qs+{P*!-F!u?Zlr{(?Gpc3<20MELHG089%$ z;#wama_ad%F6<`{Z>ue+v6l=HTckr1-njC=d?$fef-!X&lZV$$ElJUBBkCS5L!~A< z^Q8r=(YkgU<|ij(!Qv6zd1hKa=fB1MROx4skg_BHlLLP_|02u@0!Vh8j(Jig+=(U` zQlP#JZhWcZcd~rBQ>-*ye?1qhW{c56+ZcW!>ujI0JA^O4eZ-8xBve_~iJzW)VU2{!9n^BX{x2pv?e`hlN@CW{_5fS{XSj5ludjua_mB<`V z16srk)t8ixz{&D>@ZUBBB?(LLL$@paZ!xoMcv};TDj8~dUY#t>RicSo3h>1wdD6FO zzffdk8K;)K60e?^CD>Hpfq!2cL+CVjnyscxR+@;?g}s(!TC^$FOGe@~(Pd!sgnj*| zM^n)Paq9F?g3ey5MOTMP(dH3jU`EwaC=nFk+6&b%#@G_HI&?8UuLR1^4KZ7`EB~F> zCxwnJ7_>4ON*q=B9|qsK#cqbAQcs>NsV~DP`Qtz|V+)`2MvkWZK!2adJ8U0zK3n&csRG-1}+~;fNf(L z4fI4NMih<$YneP;Xg!kVZHeIaG-{As%^KcHF#=V69clNIT4Cr{ITBK7NnUxD;vLr^ zxR$Gcbtw(HJLl(ZPR;(NgT@U}Iyp|Ab~T8g zouv-l@GA=q+U@DV)z+ZtWXY-JJMxz6@38Db7bkIc#Y#9+=K+lW zdLMF16v?LmEyjpS29HUK7{+M83eUvpUhO!HzHSfaZ>rE-4|AG6#Au(3WNDFA2ZVgo zrI#e6spO0mpn38m+UFy7=d^KOF7$EH>^V)|l*5JiF|h4lB~&m&Myg6Ic%SG(mxKF+ z8`L6U%Jke7stpV|0Kk2IdXguW&#-oX85WMMyit1aqoI*Xxla$ZkYaa#1-S8dYY?+dN13Z$xXI;d9t;=*dK@j7h37SLZHXdm+h?UyK#`-)d_ z%%CZq)*^%jQlp7hsT}DKJd6o}H^G_Sfh$xBn{1Py7#wMVN-kb5*aPm*f+1OE8E#>D zoppcxc&+q*@NZ}?=ehqeh8q`QaC1G@6&iB+E()|(U_fRRzU5lxeg_+$&tM)j59qm3 z+(8*@S{39-b{ah6cO?};zqT>i6+IsY@FhAOaHZo%$$@E~IO${gP3688?8>M|@25xc zDx23_5P8YB1R7G<)Wf~IH;S4*y~GzAC*ih?K$w%JLoGE`$)0gD&^&q&^46|^t#bPW zWAkibnB{+8w_d{a)}8qWO|gs(Xro2vI?F?-^9MK| z?}EFMEa=LOPNaM38LmFq(lLQ0uI#8U= z^4RX-w+}3yeiJQcm=N)k(&U@DB60D33{#(~)4p0mYJWtWnuAw~y}eZbbi61>mM#P@zz;?`B$a7i!AeKjV+y0%Vuw0jSj zo)je~+h5?B>=y8mQ(@SbFYGY&+v;bZ$|nbI-GD_o_T>vSYLCZcWe~Cqt%Z zInzBM?43<-G?io2V)4E^V0G#VSK*NXI|>ZQ?_M)nI(G#9a^)*N>w3s*D{0c7bUK?JJH^JH{17X7R$-K)gMw z2=aF~fkAf~%-+o?y$jg&A0R`kG}BR>sW6W1eUIWD{X!gNLYw|Hf}`PCyucV@^!{;N z&(1hyy`!P*RSi71Ylb_sazQF11@FyqX4GH>D(7lMMI!Y1~U6%QAwP0|o z;|=b6`D^_0LrUQC+mf!?XhNd)G+<$=I&m121fI2WWYg6%+>`?f#D39Jh*f_I?jO9k zjr=E+y6=Em>qV&I_Z;*ZBSGtIPoS8E14%iR18&TOyRP5@Xs!H&0f*o4eTpj~>2(Kc zm-@knB{4AX6)U92T9BVpC3$Jq)i`T%TDcwcb@rZepd!p zK5--tGbCt3l^E%LsSJ}6f5X|GdogUJ1P!6uq_Lw0_=HC8Rnt~{_EwBaE%L?G7%$k} zoQM-GUt)#7GAY_>K*B#-5$!NG*KD(;+I|(n==Ka0_DJH*qAT#A)`+@Z48_U-Gt%x^ zDwx{B?wOxTA*bv-uN><^CT+<@)tMIbwuBYwuocJ2Y-X@{c?9^(&BAo;NN%80o%SfU z^W~!KJ`*ZWEk-IaGtO#WI>>@rKflc_-IIiq7Vd$K4^)Y_rnn#=z5@QOeSq0_Bk<*q zKAg;+&AQF*XuV_#=ol%Y{ud$GWoMyEd>JPm{DqseAPUzdIgyIXcLhyTSRVS*EB<$) zCv>)oLS4jHJfN74@_`D}(ucxg6M5o1{0-Js8IXCRk+8g{4%ZcR;M|G6cpewwWgS;I zS!IHXmM?H$Neb@Mx8f8J*^n7q7Q(-btvIetoAhY2-2?5%U!m&sPT3$zo*IpfJD+1C zGpa}5ki(?WLzt*m!j-;Hf;{mYzFzp9(WAG(f2`Y3@ahEI>#M@baVrItt3U9!>rH6q zHVc*q8iTs>nY@wXG>nWn1v;Z2WBoZx`i2=7eg!sQ)5LYK|A9Ht2~{9hx7>iQ$y2#; z%SMqqvFD-s`zRVX^atKfXLi3&?!t_(jVSn~h5?$PICk@XP)fBYCzKS4$Q?q@J=4d% zijk;&^fGvNoZv(Mdv}gUyFa=mO6z~*^26e)bVOPPj8bQooC^-z zx{J@?`!W@{$GydWEc0{M-Hh|@l%<`DgD`LEY1|ht>+!rm8rJuzkg9FfXfZJz4R<|6 zwfbxPzm=z<$o>UJO%Wkge^(A&R{uCcv=@$%jwxWA~2D;d`;jB;{P9gsTDD+v;Q|p8A zP@^My7RV8gKc}GBMua9@aKPnxZuq;;47FzV!eEjy=asEY{(>lR!jUvp={uw6H)2na zAvtv*63nKLgs*j2oL4yQ-iH? zRP>iQE*)JAneR{V6Wvk?*TTsDrr^O_phd z-WYR&n8^9=$b<27B$=(`75w=*3e1by3@9WAMyDon@&)Pe*KR)COt}jkwzgD5ow1U( z&cwrvn=1Z^v52nD=gf`d$hc*9xU0Q4;av6=aA!u?2?2{aksf_avt;kV@*RAq)IBzz zE|BF27AD;38(;ZcxOt4Shd z)8S{|L)iM?2)t`+L=T8=;`6_p#?NfWChe%g-m~9fkmF*^njuXbT8F?_HwYeQjif&J zhS2WxJdAquitAs=2>BTYp<&%S82zS_f9h>Vy*8?lFDcU@>7N~0a@LxfhS<^xw^Zl? z^-fG3cN?c{%whK^S1L8P873^649bZsVJ`m=cK$tp(mowJ=vBv{u;}BY~!KNR-Y^s>4unx7a(iQKk!gH#f`JOUD>lY z9o|>nMYE5+@F#czx|-Qhm1t%)zv)CKHmZW)hZc-yd6-AqcahC@Y1VEJLEV!cth-`F zR@{q*<>P*_UT6WlDo8>)hJbT#N-!l0w{xz_~u^HFlUb`_F z<|^R(qtVdwHU*=$yP?FUZZ2AJ2BfTFeYQo9U~Z)fIcE|9S6wb(#sOnGHzN}^RQLfT z-G!&wH?U==6m``dL(5l2gU5q6?3X7D8(7BT^wjIn!Yhz?W(L}NJqxwpY)5G&Su#oN zD@I3tgSZ!JaL+6gT;_-pZJ*D$nDsca=P!V%rt17W8VNFPBCy)#6>R>w4T8C&c-$ca zFYh{m#d*`vWvCeEZI#5@Qg%L_69!YB-9Yy`S9;dLo$u|?A`jMH<-B4>LCT;$zhcS| z>pv^e(y5)o$htiEB>cmyf!5^PaLRS-eNrUZNFAKqY^kr59E7vyX8h$E;px2N+`FAG zux!als+kjv-k+qY#C{2)+QG8#iM)NmW zSH#^FkQwC;B>RM};NvJ}^0{nEKLolE{rR78o!?bZoZ~I*_xJ@EQH*|@IV!0xAmyqe z=q8tmai%#Qw<=V~ioXVg>&?P!e{<@3B@36m0?wi16r=>1Vr#f4DODH=a-Xv+KU$0= z=~c|IR#%CY6Pf#bOA0P=LHvB#l;kQ$;DUSNM1M^n<1VRFr+f|4wq2JhmMhcog=bJv zKMN$++YA(!{lB*c)K*;uP%c}^w_<#u8F(4>leDEr*idSLWtTe zM{2|-v;DsqdWv34g86FloS@l+ zB=?J9^IskE@kAM)Moj5BmzSW`+|Q3sFrrN}X7eHi`g9v(>^vw|p&wL}Kw04+)X(U_ z*Q?iaI|oFGd(Q&gQ<=r}g(mdu0H;6dbe5$8>C3DUHZxw*w}5WJ zdd4|(A8r#^{TWF&s9u8#dmY}||1I1IbHE7_`ovS9LHAqT!84m?qj0u5c|KGO&VHS6 zWQ`xpANf+Kw_cUZtdYQmWBOEmgFgJ7e+&ql|7I1m+*B*^@UjhOw*nD7zul(^-hj?V=k&L|jS=Q4jmDNYnv z(;uv35iZgS`@BZcbI!4-@Jo^C)v5}#oYO(!@?;$TR*(6nu{=r5#I5P$VDy-Eu(hNZ zwMjfI@_fQYtWm}hw^-wx&9(gAqlV@X+NP$fq{r0%aQ_ z+u6t4{!W7Y5XP1@mn3gfr-H>beNwRRIh0?wA-;^G)){U|<{ekX*Lm(#ZI%J)foYt2 z!cV;P`Y+hZsgq^%+d*nx5hPBlg~|Kl&~C9ARd76Fr7HF2OI7AiZ7v3;%>`5fm+LfqzI zGnTZ8}OS;4J_uTf34!3B~@XW^+l-AwkI9Y^U)xt9AXP@W5*3PS6Ek%j@`-8XX9y@5>OW zho-cE<-<PrM_|c;}P)lVjEck3r1{$=e@QppKZDm%bi4sJwRhGPy z#oPFJMKU#!Vt6$3nYTL-tC{>c?^{z6B3)#G2L z0a@kH&s8yNmUWUf&Z)Ac*XU#rU!B4`I=PURulbx)iv@MK8i;)cZ(y)hjdfg@Ir)wi zioZd$kKPNl>C(cE6k8&AD@PqyI(Cf^8+NwEF!QMS#bb%;c zUN1rmS18gk&I+{bN`$cUQW>6@qD+Pt1#&wDtpb_zX&5xE21OQHlk2Uch_Iy)lH_vG zKhlYudF?`C6({p!^D?lr`vmL^wk2bO-MPP&O4Ry`27cdeMPHP;(vHRhLSx2_s({lZ&INSs04ZTx)iYX1o(u1!Qt2!xcTCFh}O#GANwfLiJOghztw-h zOZE%&z1|AOPd{SsZB^>O&I0@7ZHRQEJb;`vwHeRuD4qA@sD!1Fc$BdT>CVEa>M1N$v_H%?IF6auN*QdBv;hpT{FNDke1AUjwl+TZX8?{4oz&R<Kuon|VcwsIDJDdos*< z0c}EOKTB|7%+U?UBsq;Bmhm{5flmt_bEk_OX!QpRk|pZLDI0%9%l%LzW|plrM{Q4e7M#`qd9D45Sr*eOoEZR>D^!DK9BX#&cfWHt z-^&rzkXs<4$?}aYXL)LGiZeeL_=5cl%Fus3R&(7v>u|EA?7d>>KEtH~y|MBr36S2FP0miO)`g@r%#NXe0Vc!jaaegrsBU#CzQo%xyzh&zsA zody(Er{T>Z;2!^R7Vfmx;~b7lQQOPqu>L>R`3v}pZ3pjy_M}FB*ewZn8LE?MCu_0v zr86^qPKJ4SoDX2UO&OO8IB8r9+KXc_HGr}lgbQQ+RKo6P${Di#sO1}(axQ&B zos!Y?ex@ZnD&K)OzsSO&`{v}6_F0|$w&4*xi)_Y`vA!rf?*>T!_yL{4t9bYJ{SX{xL{9OU$aUQVot0Za}mIUS@L%4fZ*R`D{6bS1@_*KfrY0>LuukS6pqs%0f(Q% zFZ)7)jDrlfc-3fLzyf+Oh0a3iiLZA)CM2)6$p9RJi6jNU3>X z$AQzRX6+4wnYKiB{0ewAjl%9=XY3NWh3NGX2lgJX7FHHTf8f_*h(}U61;m2Y2JNiBWniL#p3*$SkmL5x& z-wnX$oxdPR^&cjNeS-17zk{(}8so_fz{HpjaP!zD4CzjQ;2(y>-#!&~uNuJ0nrbe; zsE*HZWpheFECgMtf?2&NJT!ZwP5l!d zU|j2Jyx>Z3=j+vAVcdxF>&jvNp@)!bxENkm-G{vk%20!GoDOe@08ziqxPDSTAFL?H z<~m8JYJgaBqZXWd_d}7P1Z|#Jfq4===sik<@-`f3#9Gmu9~6UEXbL|_cf+GOTk(vW zC-~KibNy^?+AzxrzrjS9;%Pw&Lp!*rk@vBP?Pazk*WsK=U%+<8U#Jv%@-JQIL%YpG ze5ocykEtnRHr|8fA6PI;^mSPdiS>42!&Md(H+RngwYdyO2=_yd0cN33T$&d#Z@?qYtYmAFj1#2T% zr#`I+PsO^R%<4)wQZWdXsoAJ_bp%oPD&*4^i_?Fg4PSJW$aa?3d;7Hk9e!yNtCB7V z*|11pKB}DUDzahf`)-W6eb}9er?KnO%ZjyX$3Z3b7{sz(#-zdHfB{>Cv^j7dDjhe2{E@QsOUY6k&)7J&r{&4c{xn>?`x8Fc z!C1%QF}&vFQ{3gV92IR>B`dzhqm&q9EHVpw0`vZywPigd-(Gkg%Hw6bI>xZj;cCa5 z&~<-a!(#VlRMhCgZKtyYTbFlYSoJdARk7+dQah4(BjA8q;tVdWZs!fyMsguB}&y4%Yfp4N1g=iI&T~dHX zVntZ$nht4Go@3tOF#h0hDty~}6%;;qyDPU8<6-F=xM5QTa--g}{6>tx^`;{kwmXVW zW00GWAW4U3w18OPC^}`)7JmBDe~>j@jfiIt0Jk)qb6JxL6S`M{<;EP&*dYWxw%`-AT~7HI zS$qLv5{oh3F&87=oEN@nsNgy_eTRH4OX?MQ3p+$Ffqk15@p*G^=R~D z3F<*r>E1R8;(Ov0gikaj8VhE_%Q$;_$i9}(WaXN*EYtDb%z{61O^P1KtK)UWoAL2N zRcg?fi4uD#jLVegjUO1p?zYiXdGS{CpZgh9gEoNX^iD22*|D-aH3NNR4DryCTtSF+ zj&Mi7er}OX6ly7okY#)23H_ZeT>Liz`-@7s5eBQUkGY~k){Ml+S`}(J6p!YaRRdW`vR9>GF)O%ej@5aM%TT&^FQY#B+6 z4Q9heHb+)of10bUi4bVVweZglrf_>?OJFTyI|x=R$DiUd#PD!A*Kyk%k9=NsI59PxrX%gUy_fWs48*ZQ{o&)$j}Ui;`dmmdj|A;mTHB!f>fD@RmLb zg7XvL&4p#$9`Dnf+Wj1s8(an#4j$sw5IFJdfk(EA0&QAnNUahEFf5Y!#*EGg zA`|53YL4ZdCThdMIr&`3&jwC}G51~>p1`)3*Fm-G9VXV@f@@3lS@utis+{_VnYOYt zCX{^-eTm@DhKF45!6{&nFosSWmdA#we{izG7JN3EQZH+9`bYGxu$#>x&U1fx<#nu2 z`*$TaGX{wDEe>|Bn*hV#Ky#yA_0I2CCkSglDf<}yy(#w%RPX(3*$)FJ6?H{0Ls1O>l2E-I%8{`RF|{0R#- zW2%MEBE3+%tObM9|8jf8jB#kEJY9e85=yqeonK7f9~2Yx{=>rELm1M=&u@b{N2d9iLlC{elz z9;tR?b9y`18!sT051*rQi!H6x@Suq|El9R(1splDnOB=Sksm8>NE3d1h3*Ya5Hwzq zJo1+$FP5$l3R`dT>*Y*o?sE-t|IQ}Z6C_4r4tPU`oGRI5B~R_7l!;4Ks(Xm21=;cQ z5MQy%l+2lxkKMjjh>m&i8N1wBK zaw3K01vFsQD-a-@WJp zo%eq*U?+PXZxAK=C`H#Tm!LmaYLfYO=H%+=B3Q<{!1c!%ufixEzg>TWb6ge3uOw@@ zmD0q%)*iUCTZ4X_)-CLDzl6tMZsVVQJ^Kb;H2AnrbT9=c;Q`A<3bajgd90Xw{f zYfeJ`ZlXA?mA?Y7paL#I;sZ(RlWtnKG_-q?(W7gX>{ z;w!jXxUuqJurABXUBJg<^6}qTV>+cl47TTH!?2tM`4GZ#MeRxW&}uUCY+4Yv8Cv9} z&K)#-s7KZJo#4+iX552}-Ec-;m8@3|$64p4Xzk2uI6YUD7QYL}$o2a$_RJ~9GH@j1 zs*~{Cv}}IU!8E8BlOQ+0DN^e@LtLWaUgVyPqV=phr@{6PlT3d=@ER$)xS$RPi$;^X zj-4nb=|F^cWRP<;A)B1sv8v;$@b0Y%nECt;TtB`M^?TUSQc_iO|Su^O(ka3tBayB-g#*5QF9 z8?bvKM=a(=VCNTYifhDJKV5@NNw@&X;vZqw%`_-t_s)~)QMjku8sk!#C-uT3@DA+4 z4-2}uHC7d@4X6A{SBadVKW({0av=dE~Z)0*=KSugyVe9g8oMI5e4PIEln;5=;7_=jG zbM5F_v$NcE*%5pQsm8g-6v;yN9JEf1;Fb4C(9KPEAky+M_>>HQj7&7j-kT#(9-#yV zk)J^F8|&#XpWT-2ck$Vs76wW?#DzEIfZUigNIlidzt(2gL2NIc=?#K;q@H{5bPenD z{zB0PMfyWD0)sah)02gBF#Bj4cyDL3*-pUEty7_>!GR3Ck|dk|yMybJO-bYh8P?wt z!y=V_T;icd<6pVJ6JKl0$@#=zFjYkRAUSS-_#k``y~(Hj8H4@CAJHt~8UFd{N+v!O za%EzSSv{S3*t!{$$}1XTG!MW%)_)(lNt;;8%fT`eWvUVx2wQc^amHd*V&q=Nd#qIl zYB&*Qp4FrB*KWf{HurUT$lAy8Gq1Mm z&A45q4NkKD^ttXfW-wPKHWH&KomT?ID`nV>WdL^C8EK>$gaw*iSijR13=~wz z-UkU>ZM!Dy$xIit{W$^`59D%@bE9 z8e=z(Shxm9M9P!Lnc1uZEJ+`fx#8{(M<8z`z^N<@Yd(x8xzZw}=KWn5DA@=pdso2E zr!(vYGWUA8Vq!vK&i?>+!jqAxW$8hH&|vOd<@CXHX_>2%q??333GG~a`!Ba&|@j{YK&ri`aQ;E?|Bho z-yy+|Sgb%u-Ukei_T%bBYQgVp3%V`*2+uCoLGj;c{*kc^H;|!A4?p{ct^sAR_i{f( z#3k^_izL}hn)SY}w_%9L0l2W2IUZtW3nq+Lg?#~acx1E{9Y5QvV*Bf67{S|<6t}V9 zZm&vj9e)h@$us%iA7p8k-w()13Buz4HbKb!N9eZKi2gaz2%dj_Li&{o7m=}gqyk-LJcQB1HuPwL8@XEY0ec_R!UDZ;JT04zt!F0V=b7s#V*N6^Hfl~sfDe2I**_;GxYtTsFg>YuC0yQbL zq8E3>z&8UcB0l&YZ1x19R=5L5m0pL(U7N9QmM%CymZ9nn*YIh%B292nr*-w%_vM@F1W|7!uh$au)(#9U-x?!e2~n*jdztu-~C+Jda?y9 zuFu0C55A-B9dmLj<*D#c(`hg`w+qCW4`QFS3h{bnPpb2$pr%<4D6m=I-UWu_^U9@o zsqBv zog=93GXpaHiaPNUA4UIcmV+6=I%JILc}(2!5ZYtqsr`pz5U2Yc&VIhb?dxrTw})d< z_ni(|e7*}z-@QfMYIXW{?jw*KD#vc_IXur9O-k7Nnq<-excoK)E>>n@%%nqtsb8yc z>p@3iSC@y)i(_F+o;h`}w4v&{8g#&DIh%}Ct3$(_ZzkOnM|ABCo?T8E>>&M*nT& z*Q{}vx7L5n0{`HR{;LAl&i;>mws48zoJdOAr{>3+CLt%6gn#1(2r}9vJ!~- z-w-U#GoS8m0WinOmf}8KokE z%Ft-R7?}p4r)9gxSl!%8jS@e>&Zshhx4IF(AWm7Z{KjKpO4?h&Ezy|*^Enp z6oyUi_h`vKE3h8-%j5gjEMZ>gJ3+X2li+@1N#*pc?;crSd;{#P$iU&I}hyu6-j|o9oMk zF0H8i{If-b-`yO+KjkQH+Jd`6eS;{$t6QqV+)wR-tCIO1FCwN2L!5`Fr-DD4T4BG8)Fzf z@gdnE8%WZ`cI??3NnM9SNcU)Ma^EDFK9q=~Q#9hyXwNO-y*>71ocVe@;XIf0JUc*! z?}Q2DwyMx$jz_7K`#g**+mGeryC7_7B#rZ3M|SBQrA0r~;mGx;sQ1*7MtzE)#d%3& zQtCnYSR+N;)UV)tt8XwZb}z9{+(R`JLg|XZXp(j16fY6xN=elW^28vRG$&7`o7p}) zK7W|2YKSJcr@Y27tRCdMiv1s3-*I!;h~;cdHC!9?B~su=_wL<5j#dW{w}%GwOMVba zcOEAG(+$Y45f6Fu@6IH9`V&~?_yBvfSI{*f3=>thgid6&=M!i_dT)G1O@^9TAxh}d z=9xn5Fy$_uFT{jdt?<}Y4t+i2p)E6-yxP+NCl*B!tsBAAtb7K!lzklw6@+}=o-s6@ zDT7m=>C>o_Z{YP?U-H>-A6@^9(3VPPJUlgmES9eW&m;-rzo-$@@*>HcvpXq2&yLP= zolCyxXFx~57P{$7F4X4fQPsmyRDU1Sw%HD2YW@!hI_OR=$JX$giIbtkqZ+^bpVrPi zuIB8Go!5PR@B4L@=X1_^&i$U}89W5cYAMO-> zrznv6%C+!iVj(KceS%(A{UGozdn`yUQicOb&XCVEpjuaLa7y1KxcziEc%-DmJ)boY ztHFbj28)P@sl-huo}jk*;aJu%1u3hHBMG9rIIb!M_Wr;?S@UeTtEEl+;)SqlOFUv> z6Mg$Gig@dI!1$A{SS`~Z`so1~Imi%B6sM5rM=20?$ASnCEhoh-cj+}LV>qij1I}C? zhs*Y)6a9=~_!^?A$$l+IGEaKJegC)kh5UZBpFe?YL>%(b^(5!?H=y!xj9pDL!J%j! z`)gG??jPzTu9LGOJ1=HHj0}f{oWG8Ky5kAwA2^|&qd0u*YJa$QZ88?$%!KPYtH=qX z7CiT57%6YwhTcR*kp-a)J~?+IzWPHD2z**m)|vpgpOgt#s{24t;ZTxuHcL=;nScKiwRzQMG8mgk{{-!*Oh1()`(zYXsytdnd?v}(L^4(l< zon|@&d$Oqbz8VI$;1y66WAPYv+@)I$dI{t_n^x9qGuguOY|5r%~w$ z6%u~Kj<`)Lq*w4Uw{<}#s^HZi>v`&Mym38B<A<;X zm++(=5%8vPFYa5g0+?}mV%G=r;l=Tz=zJ6X`%@CPiO_*e$4j{H zg>o8>xfmIht`zq@lnhs$YEh&5Q$gCiP_i>67e5YnM+I+7#OU5)!UX;z4z&$|Yb7>7 z!$?A9vH)E99x%<@2v**j4f&qy#0R_@P@{b`Fln*GBs&SJX{u{2(|zdY9}i;w-U810 zj4K41C*tP{R)i=;lfy?fz}sRm;$?0Xmk-QChXz)Q)1woBd%GVmeY*;`ajk-8mlZHT zM+N&mYeo}jYL#12t`M-a70cSJA%V5-D9p!NP(iO+D4v@SfACGARBj1sS)+^w1a81< zxNun6qDT_@)Ua3Frk1GumI}NL2}F2*G!&{2CUcUqaL)&0@ZH_IQ0o>!=3EaUOH_Ur zUsT>KRz)r-*4>8ePBI2_8iG+~@hqC^Fq`w>pTds@T0?5WVsOt(5gc8a4#QUO6z^5l zB@eUzz%f@tA+X>!`u$lF(V8DYfFA9BTelidY1)e-SJ$D@dFSzgmrmqGq@%#ZVm5kp zvnMgtM&wPA0vwmgAyj4kUBV+!AX{T1ogb^&!LmD{^vt7PMI0M~}1QVEXD&q_DLVpUdh&GE^#Q zy7Wa5@?Z#BJ3t>LoN|OMep}JB20lD5xPTw!CyJd|Qxc>vf?l!};;NNq;5ImwR6n)? z`vwy-L3J_74rt zA=mt4$gBm!#cnf9prR-pT-ItpO;H)jeUL<$?@I8dQKk58z%sZi-+&v8)X9$16G3*1 z8Gbl40d8q~kTs2p;JeWi-i26p)v+a(+m{imB|0!{{1_ttNRO~j%u(x4F`!WK1=$c> zBo@Vm5QVv?(LSYQ+*-dJhC22EwU#+F-1I`RoY%LI|FS2Mb6*P={cS-|w-y?cX*v-F z1EP1e5<6e<#Bv^d@)mExjx-!OnVd}1CX0~m;iEV>(*&+OpG-7eGNF)OXH9&$h`hE@ zAnw7}OO8g=*vE6ZIJkTS>bWqE2ALLs_nkP%#f!at zCPB+5!fz@$nAPzj7XEio?{iBXwEFMFal2N)<%O}3-gZr3ZY_t4J$%S9uiWzDNq&jpxW?OoYtFNAm7avK4$`gJh zbw&W_*wUqSGYwB_tOsryPmr(tIh=S=NOJZk;y9lavg?f>x#znOPTdP3-_DIB*%fQW zM>&7k=R6qd3TnjP45BH5JyVE^!%W!Y=8VJW&6xT`FHnz)Cc)mpaPw*b4j*EQ%+G&G zF5kF~&(8P-ZAjMw&lZew@5O+zbGzGQ+r3Sygwy2sZbMqyqkTInkcRSUkEuuXrcs=5 zdm3l)^*3xhvzkp76tl-~@YpS(V)mrJ25VXr!5%z#(P8-aa)P)Sm$+=(;cU5^GJPk) zm`xOgmDE0+>JZk?=txp;MRDIWS;0*umbu(zN6!TMz-bJW{8 zB47@4jyDgpUTLzdPC%Q(IrT?uKwAW-Wtn&6a{uBZK^HSv6MYR%Z%aMLv(DzS4(M=* z7r^o5S{+ts=5k-<%W>pDF*~}d(!O%iL~fMn6*gC940l>hO`z|j#7$eLz@h2m?Bnh7 z?8=huxOLCoa4Eenuw$3KVkb4Jb3Utn<8+%fxcWV5tesJzgWsT#=&1Oxd9h)ky5aMp zXX~1ohX%(6n}>%8+uhem28`m&s5x=5LY}H7qoE|Ls>bwERg8<8B@|j&GCh=(=!cnZ z!YKab=kir`nL+d^t*)o|T}3PUu&l_Lv6g1kx*X$iIBw72}b0}7)t~63yX}Cf;L(zTl?Uw z=$}mAonfV@)W;Y)5>_1}@!tB~7>DknK4D(}g7gUklWuyDY@SeP`QA$3o7h;U+sAUB z7WTVo%TY8|su@SJUgn+B?$4-EJ5%noGb=`pp81I;GQ4hf|365UaF&!4NomHCsLvCG zB5u~8Mo3Gtp=Ibk+A|#oeiun8DY1gi?An61l zL8P@aVhpI=>UP?#edmUQXVF#UNh=A<|00PG(C;P%DJ5Y^JF|U>_`4)N0!k?f{{Kf3 zA7O+-zD0-SbaRc6M17tlBuSqq2?-KynC-ulgaqUtB=LST%zL*PmU@wpWOhp8y~;j7 z%8DjSrwIupZRb$NkZNK`m-%