From bdb2b33c0157f10a3e0708339e1f675537603348 Mon Sep 17 00:00:00 2001 From: Claudio Maggioni Date: Wed, 12 Dec 2018 20:41:31 +0100 Subject: [PATCH] Correction to docs and type def --- README.pdf | Bin 87368 -> 42027 bytes README.tex | 10 ++++++---- interpreter.rkt | 8 +++++--- 3 files changed, 11 insertions(+), 7 deletions(-) diff --git a/README.pdf b/README.pdf index af4bbfbf0dcbe3699baaecb42d9a631b5bf1a2fa..b52ee09847a64908b298f3734bbc3f8a2df577d9 100644 GIT binary patch literal 42027 zcmd42Q?Mx8wk$eq+qP}nwr$%s=9t4a=CEzswrv}C?HljK*(=UEH}-p9_ot%1>Z51N zmf5qlB2^F(qh+LHg(5w?y?TXWWFuf8us5=T;^Cnev$SzBb)pxuF?2B%F*UX~F{PI= zwKI3IAYf!?=iuXma&~btHME8DSiiz*vtwp&_{lZW7l4V|1I3^MA`xu|xDG-|d8&|( zf3X*u?wjbS|60TUy~_+@sNRtk>^!5ev6H#x@|H%sP8(LKw4L*_?&r7Z_r7FXRAZpoz{N047j6t2o&wTyC>$iaT*4@?^qqofoH+?@~8qyr+IqC^B{f%>$7;FIuyXlFh_S#Q(UU%}g$5N(;mV~0l2zhwL9OAzR$P$olt zMU4an3h_|S?Utl|(THqr0qfqmUk_(5q}uVx*RWBI-t`VxJ6Pw~C5*gIWwbldbiq}- zm2o|FXg$mM%c7o?XUx}7K>GepQgMcE&%UNx)Rjp(?B|s9``t;e zaB3s!+2>n!To|Q2?=e;mwV5zcaZiyd{WZtT#u*!4-V&ZF`7I0CU3Z@X!r#U#`t$;3 z*<1^Rn!lpF*PeK?H=)-ZzH|llT)mbW_$3!`yl8ujmk;)W@|6nKtsSAi#2WHSymF4I z-rr$z-bI8R^QJV+PJLyml)n%;d zmM&qAgtr{8-SN zy{^cqu;I*FnT=hE6t_{GsYsgVO`E8=K_oz7AG)}YkW{)H^&QCIm zNNyIbs}5;)*glG6=3qAJwbl~{c`)Urppghz^qVmv)}*S}`%0Ce|oa6#EKxi2+0=3e7DazwqW6r28W%?i#FG=c76(q3W5? z_>B2Jf zyjUw~rfP=xA>S?z9|-;OuxDZT(^$>jfq?Cq*8IBlQW!{p_CR zn|J(GeajfvR(pUd>sEemrYD}R&1Ba{?O42*)zEc>B#To%(4%{QnC*7j>bmo(1Gej^ z9}QRKgCSl!=#wyjIqY&q3U_Q0;;r}!qE?d&B`GJ&@^@}R# zEvEG_3i)aU*|3ycV^Nq_u#!!k7r}scw2T;^$C}j!MWDQTT%E1I;Er)jKHTR4QgD}U zq>*BMI>-Z8Z0JJEK`y>_#6XXI;PM2eCsmnGrxY(a7IW8m5l7c=4fC$-(MOIix+J&o z7wgcRAWn9#d#-ih^e-qHmYnn{27G7XUVhM|Fb37>F`{a3Z6-BS_N2v`r8a}HoU7ga zdOU*|Adj|K^!U`lJFi1rMWcHU*jqUGRMLu=@U?I#i^PC2u!)r`=&T}-`s#1jkSgLH z>20O-&$N3zcf2R?ha*3#>Pjq@ZUS--7jm!-?h5m z5c}uH$!vmGRLMnsb+&oS{H0bJ$k+N51$;9-Z=q3{b zJImj6Q>&wzgdJ|`3-t+Dx8eo3_0#~6d(|c|lNP7dUfvw;^JgrIh*FA5)qSS-LN=yP zRQ*geDsF&y$;RKtOZg~wyI{>|)O&nmYa)T=^uh~rI+ff!ss7H(aXG2w_rylwC#D_avz5?W zY@nBQ92M<5v{uff&n?DlsG6=;SBIWV2zYG&7B1-S{*n5f!YQn6TUsmrNrv~?9prG^ zycc~ByGD1eG4ZcZ&bhp-@&uqK4`PC~3v%qX_-6LcVARcQ_1Q+UQLGn+Dloma-}t*L zZ35f7qK36?x)q)VNEv^4c1DZy-OJQXDe38^sC!Pf%1MlKE(bk62#JE@w|XgX_D1ay z7&!1gqFk4nx>iu_gWp-&TduV5JjiB!Ji@=r@4CkP$pb`iINV5aQp(4ZG3N|P{A;9+ zwxY~QsOkA`^wzG7qEe&ZaycRJTrrRq%oa#X9Ie#0&k_d*>$1`~?6S(xA|nsB8?1E$ zkdeuQa98oQ7D=h~zZ+=sA=N@Zo{78BDHK$Rw|3(1Fs&P_wML2kwjrYQ37XyYA}!W4!P}BqTp_EV2&54Wc*QCQ=sa4qiS)G+Jyxj@!1Dq)h$BB%4_`f_R?S{${ta zjx>6*YWHKf9t;G<=;Eel$;$`?Di6!;&%j8*>0i@@Y+HdJO~J~%`^C9vi9fV_y{r{$ z(&6iJ>d*|?BgII!wPF^*q|6Uwy&$e);-iS`**cass;F+xmaEb9IOdF7>NisBEh~4T zlCb+*B!7GXO4SRGT>%QAZx|W8CC0UPQpg(m(E1f&&`jar-7@(4{AI2E#B=cwBx&Jy zVKwx;0jbRpF7apvoQdeP;Ju`RcJfP}4D>nHXkaf#7xw1%ja(*U>p+F^+Gz|`Wl91f zNLj|>Z7nH}Q<}V)Ks_!t1$^ zZ8VP2*ugnW+CfC+HRn28(sBwTm5LbZfel_Q!#v;=7>Vfw_NkJd2yMlzx(3Z8&0uN~aU=)#?DbSif4$a0ellPt}qT`QZZFmwH`=h95 z(MsCljM2CxE37u~U{+?M9NN7BwUbY1Q#|nlfzI{wN8%fJvE@sRd`s_+sY&IL`7%4s zLap%P1%wt=Y#q}6N~>IB?Cgt)Imo%Ud+n(livyvkA;1J4AU)=V=C=e2K$=ZlYka{x zbqtl`u~j^2u?IXDI~uxa7$tYv;9UnYoaUmijrUeQ&}I0$mNQg`zX8Z$u1#^|Dt}#s zt4ycQRMW0LXslIKVk6ZH$jyXy*%Pl|{Q4*nXL^}G%KA1MkFeoJ*WA~prrOxe)Gs?>Dw_)=kV9M^21e{bBX6s@ig~} z;ehPYiu-_8Nb;|1D;+#)rS93;<~VU*K}JNK$Nx%N`hs2D?i@MH7=2s4j!?RYyJ;gS zb1YeDEFwO?(OF}Og+qrLCn54QpDpKLmM4~(C7 ze`&o+V@xU`hGR2f7NJ{KRb%VB^8z&#i_R958W~u&-*BUC=_nh|1x|mT| zm!(B5i;t^ZF}~N&3AKca8=mH zqP6c`Fli6z;g}jGq_@f6O&n2J%pC6b^ZX^t&#Robl}tg1zXiASo-=>MjGWr@LA^Ht z{aI&rYnaAw&|siqE5;RdapYM$v+ZnRKtwI(saTlu0FoPX)o(b(z75eN2Hmfdy^vFH zrnNtFx0#t7qnyMNQw3hc0<4s=LbyN#LgR(%-5zd{mJ=Fq4vhDQljob=Bx=8NItz1tVJ9)o;}tnEbPQ`ID|h=R!_PBYuX|Mz;!nEJqC{Mj2UU-3&E2YK1g{m>jhfRjuRyqc+X-YM=;0f^;*2S)HIjI!EU zzXi!bH*JBA=57wJ#q}HKwlqe?8cZdl+8V=E!l))#Ak-#HFto?Iuyl;OQ#Zx^T;2vE zSj_1C0s7MCqbiK7)=Y_kBFQN$5*Ew>(2GZLuTBOAovMk`JaHk>^ujTOTQKsBu) z1CgnDc~lmK?p=H_;8*jIF(XN+tT#FuaSg~dIXotK!(K-(_4-};S`k(dt!eVct(5Tv zuSD3jYEH)`c`f^2)Y3wE7%C~h=5rm-JccNy&@zIwCsdWd80w7>G}~)YM126II{US| z!;|M}`4%PXv2huG?B0EC74xMmH2O_Z25|7T^TKBH<{Go8Ruey&3K;RAnvDzq4cqhQLT0}rjQbn*|kdcDc-rrGSpTuZSvtAEsbDz7iGv_8_#DuwzUFGxhR6Cp4h~H z#VCe()@+Qp&0yC}1m7QO(N*NM~ zvBZ6!KrDOuN)uA~gyCNLqnqQZyXyD-V4%Kv`10iM=6#t%8CA4QIUC6eYG3N?C=-`y z5>;mw+msvI*kdrMfFaXhH?Ss)C%Ehk$X0vxhV2v_o#W)8kI|)u+Kjt^-W;T;5mx>i zN6b}~#>*~bzL+)YO(yTqts6AQVL{EYhG(miGHX@+$KnA=vQx~5SeC3f!!rjN#9tM$ zLA_#x_5sqn06Rt1l$7()81{bAhOV|Q=vCcyG)GOrEVPu30Test>2-vhlS~tQ2oIW) z2Gf-SC`k?B5yd{6<+Fb5&8N-p$Y)H}n_sp}E^Ow8f%O`!6hAK=1zMRpEyV>TxMj0Y za9d;7H|nEy`$y5~LF-ECIO-FfNzv6_Z8BUPygXYq;oi{!(14TLK)9RBNq5`P75>f< zOJV@*m7Nj~xWyc5R()|Rxnk=QXey=SJcM+V)}ReOk(zJI324A;?Qr#5Ybf*Y5#yfX zTMJgqp;a}Z#-5Aet*HW7@o`gK-Y15&hBtJNkmR{%YPkUS!7fs`Y38>)rDo{dN#=W< zuRn96bk)MIOIYKko%}EF{=#jKDZ+xe$m6LqkVoJANyMvR>$Y1N0TZ|40@i$(7SJ=- zQ19@;YPYtF-=FpcZf?Cr4}j8Pkb3Z`JM$Cz`hRx(U%~ZDV=w>vWtf@yKM^Z-7N&pK zsv~t?du&FStq*FJ=3v#Rg6^nZ;Xt!fwO;Lv{JM)O;h!HRrKD;1?grnpgvLO_tii-r zyfN}|ww_q#UVL+;43y}pp-cbt8SaNWJ}mKNWswH%aRw9f&ZoeW@NjN`IDp8FhDWC>s;KdPLr^zZ5YD@0rm6 zT2}syTn!tyB43874r>r@6iM8);G?y2*r)gPnu6*aWn{^A+Kw;%7@#E}t{Pdb;1eIivXHR(VNejbGH>o`+tY@u-Zm!CTbo2qSG48=Sl@aJ8 zR`-@Ih|UEK2{_M{zg0!6foeCrX^CpnSwAl*B_z74=n2%M+r%^q)g+UPb3EXt9|b&U-i9$w#MD^`-=e!sAl6K|H#tq;^|;YukzP}QTYEbeqmu_|99pXn-~}x8km?I zKE&L^+(XT|JwH9MumDA_9)4bbuwI!XU%*?2;WNeXo22`VGX5Z#$9ta+-RFi&rUVA= z{UM0>9E2y*hYXN#CFt`Ii3kjhk1wn&+34-nnCa~uSJVYqG0A^l<#A&BOzvGuLBt!Q-qk7pO&F5Q<<$DqoAa$onN7+r(cntq+On% zmugv9RHT@p8B>6eqLrhil9p9;n3$nfyp^7mRSjs>g%{#HIYCQGDMF)sJ^oXKb_AF` zWHV$iU;yqy!XHc%%rhEEBQ+%M=W^?-zxfq*H-~+E!`C6Ijxs|(O-)ZXt*z7TG4weU zee~-0d`$n!Xv=r7g-@UEU;a~ymd)MfuJj`E%W^6a`;e=nquomT$L4d3T5)Z2ZGLNg zYkq;N<_uiIK+M`+-JX4g@-TgeATuhJxh0TmfNC2Yt{kp$*>KfcM>iR5j;g-b> zy`M~g3C&yFUo5C!L;-F2>_h_X8QfF>t<8MuEpqm=6SS1HiVw2)ld@98n^l}#hna(^ z6Cl55SY=oZ#2MYs-S{dDzA>-a3cAT;_t{~}z5D2ao#apIQIGc1?_+bed)f3<-D17( zQ4jFga;Bzkudq7wt9k7T>T0g(p?SLzz|*#MKic%%ayA>g^VR?Cupgi=gpJwZ zWMlBZ`Pd?F7raQF%Y^MI{$8pj9&-XTee!3E{7#YbewdMKXCSWz{-Y-%OdOKu^ zCY;!0s1f@;T3o3`S1r@NH)vBze)_z*Rp(}Sk2{|4g`RZv18@_g;g+yIjbxRZT(p07p&ubL2jJ3G_qCc$`y56xSKoOeeqzLkRX=*(JfJY+G& zJb;8*0%#_~5;tbA?T*_luE#l0f)EQ~r~?Mb+g=Um0U=5}11 zcAODmxHB7nBpWfm7o^*l~p8=*kJB}wun6<}i{aI6r9ctofukJS-|NQ7kGfP^ONL2>gC;|CyJfV#xWcL`<) zI8aWNLc3LfRK&_7cYiCRnCRvQEA5gX;!wFL^yiZaO#(GZ4_403R84v$K-d@Od6$+F zfOl>{b)}TnfGs6Kd+8=}e_EA8bXD)EM{ww|h=1f=RXo*co?m~lRXhId6J0WMV}8{Y zOt*ijeSQJ^OFnM>LpA(I+Yx`M;=j{TH(|#vlL2M;#uG~4ZJq}PM4}j?j5sza+HPT< zFTfZM6KOStQT5>&)L)H04B+hK=JQ2z@zcaN@I`qzFXU` z;QfQf?r9k%b5?g3ZLu>yj2(Y;q1%=fWwp9rUPWHIUmAFCKAoH9@(Y?TVYqOR#%DWC z^=lp6-X7EuquanNFixM zcq+mb0*q$37U*Aig5Cf8($S{ zy;)y%FBO_`cgy6!Hkf<5xFdxWvCa zT3pZkZsh&A*1qy~HmAowvG#D%&BA_cT{m!4K{0Fx>0)hOO02-XvUXmXb9_QTztpJ8 zC7Lh!s-d%7t+Mu8^7H2P)YXqW;GqP{29{LFC`bunT8xk@H6@rNie!*>14<5D4iDUB zpaWOM03SzM1c5kDkSHJ%gkmiKezZVyDiJu0iFkYtyvLZ9LMX!*D3VJGo>hdSzefe3 z=X{@dDMgIuq9lNPLz57YS0gwzmCz%wMhwoYjsVdq1P7$2^nohRjL+_>_36 zi`W<4`!4CBC~}*SuMG(rSV@|oE+WBK=%_Fw0q8Acz)G5+AhL=KBuU{E)}(p}bMa>s z6Y(gB1jPwaLWmGu6l4YJ;*UiSfxK%$*W;#q`R5BsjC?t5unRX{ppyb5QXa2F5ZvDD z9OnkyzS|d%eXiM^AMf-p7LYSHUX4Z7$ zb*%>oP{M8=s5>tW=!R2lLJ=$$P@U@FQ=Y*wc+WyahSKW3Ki(9*7!~(8yTx}7#xkF0 zsm>I>Em?1R^98944VR;j0=!x!l2K70$F^ekr^(IgJ3Wn$vts%&BavHJmAPHZ6xX?(E7>ZKm z_+aO-Tf(ooxYM*)EmTx7h2B!x*|@z$E3#*Kc|umhQ4NaQ^OoAqjEb~lFb(hN5XR2A z^wf*yThSP>hx?dZ11sFD*bkMCc#|iJXi@$6~PNgkhVw*;@Mc{ z_$XK6muDi!B{GX>S|Z0qK19MrYU0Nq`!Wwt@~d zV%42b-eKfNVd6p%e7SIto>s_roK;?oDtdg*YhX7clvs3(*bJI&(%B%6-DM zUD$A9qtIGe8+2Ojniq&QZ3MlC9#J1^088keyJ4!~R_VW2&%GPQy3Q`w~fB9Y6>e8PY?f9%zLKG*P= z%6u-C16z2FOKavDr6K;JNUk~kuJ|UgS9QEhX8F+7#J`@dF}^Z%H&*JlpYttypugWX z`ipxK_-172q0gen!C3MmoYZc`4huE+_$nusEpZ0qW^&P=(eITeWY@kXRi-`%45G_U zlP1oGcLy)}&s#b8fZU&uy2qDe>$~f|obKn6Livw%`ISWMr)=IX)|Of)?W$~xZ5f96 zMOTW{y@{kV%epF}m2+;=KU2Y_YiISku0riUwfYc6uEFmM?YunJ%?^YnYBx#fc{naG zD%}A&g66Z(M9{OG3flp6tK1+|fAy1^WD)kqm{IIcCTe)OX5!g?w|Qc+_^1 zy-K0f@=`yTa142C{%PNk9deDTXx+O zGwWEH{|cWsKv$Q{`zW&wZ`ZQ~woF8P9DZBTLP6G6@%aaVs&qY2~;^S)rMC*x5tTdUvL+_ zFKYK&+gFAuroTV;Nd{|k===uOFv!1rv`hmoUG=DfR~@ z7B-i=x%|zDHBKAd!Rm&gYhQg4&4C-IQiZSapSp6}(#l0kRRn6F84iAf{R30WA@-Br}LzfrD~SqFZiEJ3)cm&W&cT5&L^EjX0yY7L|l1~EtSvX&8p%eq4*FDtN%v`Qzq^+8I_ z2QvptVc!R78%W^t!DfRvu`95TZYjjpuktODYZKenjEo#8(i2u*VdSQ*o@&dxP5X5U z72>y)zJ9>(;Sh=ZLs|Vt8&}Lse_Ocvzd}|yEsLRpijDami?(hhAo@-g>L}s^2zg!Z zH6ylLd0kf4`WDLt3(Ln5#(O$z*4C)Cu0pQ&2nYEp0jQTitEOeqiMNaPw5b28}lQd zCEI>A`pKz?t&^Cx$*Pd8lXH=H#j2E`=UBS9KOp*qZEtE1pj-Pk)dk++3y&%Fb&ZH+ z{zhHFPYuqA`3E3a{;QGyzuAFU zW)vkO_b(KG$UW_ps9Vo7hybIVyKw-Br$JsX#4mr z`r|y(F~nuaN)P}CU5v;WqtnDE$sh7iCPb7NCyfJ}!ZpEiv3GdgP3ZgKHCg)Y?~U%||FVCHp6P@3 zp@YrkS!#EBLT~GLc3f+~ak-GXT^dH&r4u4H+ftuipI4uN1xDREQZSu`Qj~9=n1RyB z8$J~ECr*^qb5wyydLtZ12D_~T6xX>{T#zD2*yI95F>9;*tYn8A_d|g>S`|Th&tx9d zv5DN8i)uqGQz9A(lS&l{f4a=I??4`8#1MoAh@UWZURJOW!)&jtq?XpOxJ)pny;h_q z`HX6t36*h(Ogb{TIqePHyZoW@LHPZvJ>TLsozM{n2)jZyzVlL;bs-Z%wqkR9!{UhH@D@MvOPHL~f46f^)eaf{w{EX|_@GJZ=KSk+E@Hx+IXPT^OP{E8X!?I$?h_Mc~CxS|P zLV6-i#5;&KUq}fNUq40QBTl_Wrw^=pGK)cxZH#m8U5e~>SUyAC#XEd#dANBEZUx`& zciP0{5h@ctow_%6cPFid`;FkBW_kN#V}2MTwhd@8n2JL0;pJxifvOjdm(LOOggU?9 zW+!!9?9%##0;er?1r>XpX>v0(nr3pfk2&c9jC?cbyoZtifgdjYr7o0m#*dv<*En7& zYq||nZZ~mhs`V+V5A?yFIR^cuba43MiRaI@NATN<(xokYiQ`vpL^ZkK535Xo0$Ln? zpr{rP+z4~pK9&Ioq@*ebfcICt?2a3JrUy$*%6B;RRY`03jAjhwXtZ&i*k&8+WQNFr zEkt-Ha^UU8EgW^1Yr%qFdt$6BO5;7q3-t?H6EbRvMVc-ql`tPK;8u?(GA}?)@D!*O zx%@c<2#Ae0K%cyaz_-w~ANvu4dxZi}@E`13kYEU+e7Q{}d*0<7^8?#-hj3;yc<3p(l|>k_}4Zc?Et2rTW zE9PvYx>+g7l>-Z<441XelVjZX+$MWkwuk9Jdhr|H0NJlux)<2u9PrQm-hdg;{ZOaT zH{fL)hzkAECpBZQ#^sGORgRT|~q$K}~cV4hib(u7+@U9e3}lnQ*$c7}FP)t@q+*hSi~&BFU+jtgC5V#icZv za!?cML$$QpY^nBti0^Dd^kd86E+h;Vj1*lWX)1{F8DqyNx3jvmQdBzL3Q@?uf-8pU z-jQrXZkZ-~jS)-M9F*dtFWYP^-=^2Um@3L9Rr(})WNz9+u+ESfu=^^|nd4B@8lJ@e zntobSv|vrT6c_i8?;k>{MDTGjDC{_XcfOrIT^y$&9FHk8qJ~H&VUUWibZ99c10yL> zz3z)t_g8u6lx)yF%DnlXB>!N&N~$|}b^pdklAif&yn3bnMx<7D#w6Bf_-Rk^d}h}5 zIoZE^X}2v`0K>msy!n>qyHzc0r`I5Eow)#r@|*cH8<;Z9+tU?g?o|QSDR}w8_iD^J z^Juy{DE@d6U=`($`r`b4={}FCcFnVNyZP9lGKKUj!7Q_h_46@CL zJXApyaECZm7!9PCBfe|hraFn$N`dYHEj>GQk*eFsARVIn0Yeo&#=T|a2H7#Yu(^2} zkoY!1G5yJBe|D>AU~FPKydxIR`GqA1#Nw=^d{B1S7ZHYz8r6~f+X;Sm4xgVQm|=Lje?#-;fmJz?g4-eBzYx;LC-Kp?x0rSVwvxaLuh>>zmmb;5)CJ9GkM^_~(JB&x$%= zpvq*vF~Ar$-_lFMSTd*sli<0%9%v23L5&r4F@1cy0r?~`m73_M+p3*1uob%3a@+>{ z9KpM^omO9Drkz2SGfhK3WC=Ne-0f;OZs$Bsvj{8v4j82rA>qdHR2}tHxr)og6Ly%V zgU#myve}PuWIP_&^n=n6Vo=w;5`;x8$}NK*u_Z2Mkm+_TB@NPpXJiL{$7pRkChI$K zpHTXeo5E`zgYKvKpE7Js_LqcE^nr47;!W_}yQG*QdnS#^eOyZKxq#YpTlnU<5JR;9 z_{fyFOQVwdL@$el!ZbPkLrNFUJHx`5JU~o_Adm^e5vrfv5*}C4cwS1O2O8zlo#2`c z%BkoEM$pEetA+K0fm9drI1p(3pP#4VN0WBSnCmn0Or3^+E04(bHW(=V4214j%?i6s zyVO5qW>LyXmYN%nftMFG6I%3HQ_%bahl}YkM=qg5I@V^^Hxc7his_namMo@=4B~2) zEg|y_w=S%DEd{&V{nK?u7K;-s~V({Jop_Az3)XO6Uo3CM%4J zwvMRr$q5MBDo2WIcLT}dHO;0b*XB?*{&DafsUvD{suv}B4{k2=6YnLiA6D5x0|66Nqs!MTnm2jaNO2?>7h z^v|U7;(zwltOdBB!yqiSo}xH}gG14`Dwo=^{BGckYJ zg>n+wc(zt0SKRWJ={nlK2Gi5fO@}v_G5_tM4j^>*P8btXoVy)9 zH*>yAuQNofj{$U#^P4Sh=!b~G+8OqQSD7_(Dj^bvYuF3XO9zB}U?uv{5m*7w>f(dvvXiqqJp z)42fH_?~%~gsq$vAva=fF2spwELS#jmRbTQCWUGoOo|R#7!PVB5iYF-`&ar0iC=#o zy(3Zl&>kHrpD!m~h4+UV^hd#_+S3|EMPSyn7VD>|v_#w?QtLQ8zRnfR9v~%;G zsiVg%kp=dWR$kS%p!FyX>rKqp+nIx+$dq4W9G`%j>M~x1S!TD*LBk7gqNU1ESfYp8 z6k24#dV*`pchY6!nzn6^@cM-9{>-yn6hGN{IR+0rTOW0;l1W3MQ}krno}nFi!-Jw6 zowgDZkNF=fI)p+jcPm*cFYNTxNG8`#geZ-)px|4YPED0cYFf$!Q?B^nGZOgJba?JH zJ&bQ+JoUQ)f|-HiZ|Oy{II1*nFo2Bj*aUd{*IYx<{3$|<4N|N58s=YoEr!Tc=*2}j7ccSxb05Y zsi0d}#qq}0$525(#rvYl#a5Y>0R=m@7o0~h90Crp-Z?v*i|MJmUNifbxK7@ZH0jUKG^EzA+?pyW zmEnmM((wh>v5Zd9@4!H5p(ISt^f5^&*bWK?hr5dEJ65+Q{tiAmLeca>IZ3mFdE~XH z?@KU$Hlg%^9a*yz>V-9rHX=G#@`}x|@k8xZnkF9QDKb;42Bt;&j|L{u`iv<>vy$3R z`w|{iygw=A^_pjq_cCgQzZ1iOxwd?<>h|=sW__4#h)lYa#G8mGXVhyv8Ye@ zOiq^sFxGEun$S6XCC{GcALKHjdd=fm0 z-w>f$?cjw#21uv?UEKlN@zlnDa($Z@k|WestNf@v=UxvbgXp2xqIPBYu7rot3D%@ViOVHmAUHO-r@J!FX&Km;d3OIxEkJIQME}#t@QlPhq1{NMm1d8 z<3yE2CCH5C_b?xprWa)mhWLMJh(+O^G;*%BVeK`&4)^~=T)jqUE zDe#tnrJ-3FdNc$Upn26bP1PRStn<=39lGMPs-Z^n>v z4igrHgn&%)>2a|ku0H!JixYsp>yZ@!bW3ePdfyReA;QGBNv(x#)#0^u>}>%v)sDsn zR-^dQhB>ONWLZi<$%t|9N}z$7j4T~q)f#ckoCMV6_4PT_4c%7H_PZhk%Cw_7C;z=1 z7gfBvnzO}dxX1N<4nDJl#XiN5u|ILRH+>D|r~N0Ho`UVIZ3nK6CO5 zz%$~SsHdtm(KCUjs;dlr>jc?M{i%Ic1DulcPmU!yadgEr!zMh5>6d7|1E1ycP#ow2 z{WSdG%>IrK?(LR2aB9WWq*X$cC^OIeJrfIOK)IZ>9Nk3mg1&{woCP$}%9{L3dBS@7 zyNyN;`4^*)W~_G=#o+k{YnW76nWS706=@usZ=k4ikY2z1LHY~&C#)yTXH}CHv|*&6 zejc!Oy~$YS+3M=AKo~Mt1U(=9D7h$#=6a+ItD;O8B&o0_B9@l-<32yHPZx}5hI<6# zXBQ6M4bX6}J;POQW6T#Ys01HWN1}Y_%Zj;-h4sNyxL?_AlwVeN4i3Bbu7T;Qb-qpt z$}U7z)asqW51lX_k|%!X&sPWZ_IyD0g(FBm=-ZUQ3h+&;yKfajRh;=JzGtV!3oCZI z5qj|Je{xbPwNP|*tDP61ETcc8GLXD*|DzY~BrI`g?bE_+lhz1(u(d>(MP zBI~+Ik&Gm)BNuG1@_`%F9F=dp;!&<7hXSHno^!xnH5wzFcVKW!nueqFD#N_vL|$sd zwr$(CZQC|>*|u%lwtL_H^q#(_Z}f@iKQLoOtPf-6$joQzClG@h z8r~a*ho_?XwzWNw{H$eYl2tx>CK$ zFC=Ux*ZfO~mDuiVZ_E!Fc^Gb-GhTn1$6tt0?pUVRHpDqVNmw4FS-wD50e7i<0xY@R z9e*v$9dlQOFhzH8dA+|1LBCr&j*clc+XJmJh?xF?@sh&K=5#?Xb94)dDFHKLjWPSu zzHBxo-RjvgY5xYXYkv%$)Z=Q$?%5r;7ZOE6{hDPOD3nyH2x&>Lw50S*bT__W6$>6pQ6tbot<@&gNn8fzTRGpu9T+}%tDhbiO& zO=vOyczz2H?vCCs2+urve!s1}qndNw@SOntFcV@-{Md^lLRPEQTCo9E|Ew$f$%^PQ z{+_Uz=s*4%IP5R%Tzia&>pMOi@;fLx-1X%YwK_~y2kp}57};t^Xo}KX`sy78qQ1); zoou~bg^mY+?D;`{05w39DEzsOw%Ow`v98VD$+gdy8#Kw>v} zjTV4^USG&9sEqYBtqf8=gH8=(PJ!q)M*3ja+cgS#QCi_~RW=sETlaZa0kOdhVmq*N z-X(8QSkyR;lp|63+kqipZ(38JJX%dBH7i+SQj#VrmGPkJQ`93PJzP!AQ}qqvg@d|l z*Tdtg^)a12OAl?o$w$XqJk9{(b(Tv|?ncjdkEJos{4f}l`2|+WhiF=zP#ZG7J?>9w zd>99Nv0*+z_TYKFO$sLFG)b(^NajS+N4P}k*&ysg*zsw@nLC62WMnRuK00vP8Kx#J z9ILcAf4U_--k+R$#O79`hyn8Blj7U+SmfIy`g8u4)>~K0nydz#u2Ps- znH7a~xlsv!rxM$&>f8mWiKqVf$D1q86kCKttioQ`u}lh#spH|2Uo)kaO$%VcWmx2xlfmW9egf{$7ORuYdaLbD zp`|FfJ$bj(Y8rVJy~%_`;&3SoD79F(Ck>puHPq33X(2gmMSslTPMdMoyqxh*3>s5@ zlMY!3CXJXf(NoaA)9>|#kGl>*r?PkCtWK#q+3>KqD^ZI5MTa??Dx?h|iuUdv{|_^Z zffIjFhy`sJDAu_$UWT%68w|O}z!Xz~hi8F~1TB@DLrt7@kV}gsf4yiF@P_%(YIv*tLs5Wx2Pxr86OG(DrbXl+QnE6G^h zt+GxLAD45@@&LxSNUd$(MYahl_8*~TZ%8_!Rg$96-l1(UHCItr+tOAMEFbYURsvDhh}F=1$|UN zIrxkPFRZ7R2Ct1StQgUvb#q1)73}TXYn#SpmGsIfQYDj;_0Ni5(3fHH$p2ksu>OAv zyZmnoW)Fd$6-9n6v9C=ZDhL<=D;~Jzzd8FqjPU=df?=g+|1V*u8V^WqWVO}Tp?GO! zX{{0UoO!N#+M3P-TP?O~RgoH~8cTi1kxfgR zl9H8{jgRt@PM@2($<8g1n(vOT-q-gY_?MD!u`IYLmN9#2N0q>Asu47Z=oh-taCqZ?E-QwZTI6{ z!G6P-UcEJlh{Tgz!mBUsZ1~(W#{(Y55$A?O`>G3!$ZHXC@}FnwVWpyqyb4{3UcT#= zF*@tCUq?Q_7+Q7oQ(ljYB}`m{eTRhp00GYC&!vh*GR~dTN_08Zy1V;rWVE7fnb9mRIiMUDn}yeo64R1MfjeU931pDRd&J!bSOw7g@R<&EAWl^Dp#TQpDN#j)@DFJpHgeV}iMcJ+2v-XFR zS>+Lc;7t;s(~U{lJ~-ifDM&D=U-ndSJHMGV*g$gldtS%k{%g67wvi!MfwjW(Sp&jhXK zX?DzQhiBb$11$Z+W*rhO#*K}fR8v6 zO}bpF#o6oQLd#t@{FU<}ss{hF!|x<^q2HM(rLREgg-UlED?;$lTd4I(R}j|a!Fw@f zy3S0Y4s&A@kS5e5ztS{hL5!7q8@$*3#N@o-EQ-K_uiVm#q}LL;fC_|D;)%B_iz@F=eGOHunE_y5vH>r5B5)_*$ zd7Vhx`^6zqk>JfjEJ=2cm!DFc!C9D zq~deov<_oB7PF4dVj*1&VWoQ>0KZRWGx>Q(XCgy|_vWa4EK1Eg+!ot}dyQVxwd-3> zK1T>~^Rh48$-ADbZtn^|M@Z}|X)XvPr6Slj#Za7LZ9rV$R2jte;l_6jOIxhEUm-s@ zLiQju!nfAi(+0zjhj;o@+!$dWF1hSRRQqWQ;SLc&BSYkU%wQI77OYN)>6H9`YSEiF z;P1gHwcxY&X<2M{wffM9g_N+Xs!7Ke2=a-BX7<_U(YP|rTQ^FGH6BzH9Jy7hbOQBG z?(W2nYI~&olrR{RT8kRU-=~h^A@%>|PbR_*9G|`drrn(>?9#;WYpP$*>}V^$X=*l( zeWX3M!EDTpqP2v`B)f;Yh-C4t#~F;v$}(ZVkkfJQD`&zUF}32*?pc@knQUC4o4)sa z@Zbj?&Wr9B-Ou6<6Hs8eBg!d#QL!oqC>)t-Ze>MyUhA;A8QGK6Oc4fW*mY$GyROWe zeD2T>d>lF_AZu@C_l{CC>-2$F-N7?KbRkO2(jzn7joXEG>DG8UXOGrDwv+mtmG8!m z%#O^P{sP8P6MWr<2CnJxH!~m+pSNw2h`@VpDT@L9D|B}q@qq39&{^^Jvz=d$+lLf| zujG+&E&J?|7Yf33uPKYWUI;P*E|&9sKUXM;Jxa=)i{KApXA~N^n0QrLO-xw&C$52j zC`i4qf7dE+h3G0n8V%Pp!D=Ea#n|gn_FZ=eFv3!1NrI<8MdgS-FJH>x*&G{Cvk&Z+ zq(M_=6Nq6R;AbH5Ak*X%3wZZy(CT(kT;Gd;rSNAFrVhy4&cc{Op0a?SacO)4y{9mz z9-1i;=?+-Q7NIF}t>m`3ewxXBNz#b_d~VDaYxwvQhNT^zyJNi&G#hbN;85|lY52TD z^p+jW-Eh;wpCsQGvoslN(E*dZR0!^z_Erm~Qnq%q1Xqn6Qd%#zg0?UOp+_1VxT}a5 z`pk*;@<2x9b268&BGG`wG80YfRep9nnk1hdEBb+#}t&I0JldGgp3bw2%YKA~W} zZMXmVT-?!g0$8%$fH8BdTFj@3T}3Zmt6Y1?e)zXfdJv_eKI-wk{f@g-%zDK>($d=T zSEb#Al3C|waw^~*%$GAohJHyoR#CqOm>vCAcCc6TW}h1hy(nrwzYDv7a&PL2MYo0p zRl#0N@CJ`vz7M~^$@jGBZ=pa&YyBpg{a2HPmb`ku!*YWj--B5ohj77Or!yD-QBsS) zMLiL!4`FGNm9D>{xSA+XUy%*g84e7 z%bdo)v!E7)K2p;vwxxJm- zgzgVA4mcnwj~uD!;#8O)j;tZC13`lMbKKxNw9oqh8^)Mqky8@#dYiCNlhO7MtNJKT zEB~T{F6INV?Sa>f=1&(dB-2_@)_plDPH7gkNUH!aWPvFs%z@x`4ncMCZ+US37AE@x zJ2(#s&J7VF+K~Z(hSAi? zON>pJT@HIB>^eS$m9b{*sK=^9_%1jeVD$x+A=Q0G3rYjEl7k}xK?t60am~CpI2~9f zBmOp5r#^F8A+@}K=F|5bD9*VyJ5C6Kah+9Ic!#i_fKtvK3gX!1d@9*~=L_6SA2~|G z`TPr9KX4}izi+c{;mAQV;`%?lPAFlcHISHdlf~daRhQtt4+wbT9n;qS9!(TE7nTA?0b1G!YD_l)2u%<{Q(=fd2bEZ}&wp~1^o$(7Ak%vWoGSLa% zo3tW%doU_!O+#rxr+(^jCxtoG8+TyyAyCW!C`Uq4Xjw*ojftn9Fbv8t2~%hX?y zxbLd5^jBMXwG_lRVn|NiW`*mI3S!0zFP4hRR*69QYwM=F6Q@itq|ZgoDdSFi@w@*va!eB)Bt#!lhGN#XfTN`VW4K$_xlG2n}@p&(sq9y zAn%*1L4|9KbnBxVPVik^fXPfVmN;zrKJ44zN%4gQ!@-bDoSdh$v(HD-yEAfB-~eVh z+J@>L!Cyzdq6-U6#UyCz3ru~S;oG*bA3@GOIBM>OO*NXupF)Au<%iZrghxYC2bUcg=Uu}I`x_ArTEBY35( zPYf|fk`OgM3lqBObHMj{1Pco*B?;^mJmmQL;J!e>WOt&0yc2>S{gwSjMe^hL@W?kq zWMuF`IlZgd(aQN`E2|$KC?n+*+L&n;V}8QrAjek3VrGVh3S4#joT6sw+R7H(WP6wy zo$GxsY}`!!<7Y1>SEHv&CDDkK7A|~B%T~5E6-1zvDjmpq1wAmQ*!Y$eUcnE)N5+#} zr1FScL|ZPct;#TmXuPcl_R7SSpyx` zh}Ao0CftJ{J`Y?f_K8Tqj@>xjBv>jp;0F6qE?)RHj*>XVIZCxZx6zhw2a<`{;PsRc zqZ)V3hgdTDb;13;7T9eHurovq%ANQ^dwM>3yNBXlaD}J{%sign9#>a;w(GTojA>oQ}Ji*5S*~w#h5jO>X<>82LOjjr_OM{4?b7-pda(p6`I`bT|9Y zyGRu}aH!Uq7k+b7WogrXehV?>HpsN-o$sShVKKap1O~d5cHR1T*bM}0Xcp?!a;1C` z^-i{dtiiLYI-u-$ueq-Ykgu!8TxyL|)$a0LbS9@c0%fN9iFN~m4rXbL_>R zXpJcF?bdgI+5r4q-Rt<>(TeNuq1Ii`Ee)y6lQ13Pyiv5=^TMr4ad8dN0(4#Cs!Fd@ zdy8oQS0pLnb4cTEeR%E%14Txp3Ek9|Gmxpuaw=|hTysdtQ$R~|UdMosgX?&*h89|l zmc(03k%^{)Ak}T+lF=vWq~1j_Pu&amX?9wd0Y=$^bz3gWkI$ozq_fFi*~aiIYACA~}%giu>M+C!fasg*fn zmf*>gk3I}7F-yIIDLI1>mDZ;8-^AvGKL+e<{q-+`0;1xGaiaTrCK0Mp1>uv^^~t9X z<`5suySlz#jwkdaA9NTrzGT@5#K*li@jqBQr{g)KZ9zmg&hBBpquTXkp)43mG8O=G zSIc`Egvl9=(jFStgB!tY>oiw&&k+8i6caM0t~qrYV{p%yQI1bT6q1QL09`X?Z!0|{87NJi0}=-nxNa7+iM((7P}+3B>k-Dv7M)#!I)y_mge7b)we|Pe4kla9S!^%SSMe+(;*XNqo3J^4BoT zPZjWe@dvYh%b{_j=7viHMR9G4=0%@+uC@x4L`FHnXf-jnwlLu6^j~rZ+N}f z8EZl`_no7ajZ9dI_%1$xAOt8pQqM)|MTIB6R)__;$JFpG2oejipvT>NJsNlCwBX=7 zS&PMo3`23;THq2yGYfF_?>Lgg*luJOb!-19C$F}{~+bcmwzSt9$R-80Rx>tR64c~S)5{fwD zIB7RDXLW6MPt3$F;B{h`+dkW>r##EzFlx0wEwx@UZZynHn7e=h=kH;jPBi(?!eOZ; zl;zshC0Qg(y-d-L%qf}mAha_nAfR9DJTz03z zrXl^Q_rr)kaGP~dY{es_fA8NTO3v|#07*$2+xX!489zqpGIwWq0E3S*80(DlN@#HmW#^1Tth?=={|dVaV^$zPB~ME9DsVLJks}%QcJh; zJL8ncus6x4SriO5mvt>IXShcuQ%18Ugub^4H_!$=b5ei`6Cd@@&4a<1pm>| z`hV|W{@3F3|DB-vD@W_iQ(}7%=69P*9}jW_@HZFYzv+0g{zpRVf9gRnu>MyMB1gr_ z9(fgYr@5=pK{+Wsa!zMWM_kap9FLtpu_tjY7{n6VaH>c~8$rAUv_)0CiY(Qnruwv& zL?h8eD%Ds^bWNWtJuJw9ffU*Bz@ikggv9kvX;J}`N$GiUl7&|qEz@;oQ-+1_%NP5r z!%WU+&TY069nA5m5Is!YhMta2d#k6BiwwP_^}iaHFD%ud2lfGE z`sjnZ;y~T>DBmUp#}}POt~^PScH%ML8kKadD9UeFTy+5cTBElFJnv7tbq;%iFM*e( zMNT{qEX`z){+WY0NwAQdpq?NQjNjvon(~stGhB+Ml$E)ah=s@d38kdjvK3aAc|&2> zSNko^Ir{j7qGQ>^7{i1$dnrMRCTe?Qay11BYO==Ga{M218V~jDVryIc3a|!QAAe@7 zB~Re>^0H`7AqNVL)nbNtQ%S#Q6tV6OjT+{1m12b|#Y>3}37MW2H#wa4oP`DB=96$u zEBPc65@HMas&UfH6`$VfXjax##gCB&u=!E>m9Lbf0_$__@fV%Qj>HQbl{(6oE=@@- z^M-(hBubW=CFVbpy>RLR=UU0r@#IwmNSfd_!MS0S1=sSh&foMqj&ksknS2zU|@*Ynao_>mn zdPXd5@~j4x%UdMlx!rDjfVIr_t}!t|L4D97JhoR<-RiRuqT&S4#)g~s@gVD&gbLv3 z5$}h+X?jfIIE&g7+#1PyLq~)pCZJ$F4_(v7&7KZ}HXP~P0S$x%CeUw83uk-Q1>7Gd z-+2$~5bxX=@uW}NT0J`6fCvGMyB4%T8Fba)ur4K<60xtn4f`5EAJjMc;%#hP!k-GR zV}!v6q5rA}G>ryXqo1rr^08{$jLwozi+X z-UtDXgkV;r7|_f>WN~mz<=Qv$_GTfhaKC{r47KS%T@^4)yddtCqErJ;`aj)*!15;9 z{p@=RL_*7np9(;5phx{R!f+S<=v=ZTsn>d|@!n27Xm0zfT?uP{kFbd;8D5dj-zT*& z+@A?7Owdbb3-s9PN0ONODwVIBeD~~^B&MyOc2lJn$yPM zYx0FteTnsH8aM|YjRsta_cYW&)?r$ff(%t4PmZ(#^(Xg7fAzNC$n7Vy54xXapRClW z)#DUm?dwv4sagx56^+>Y`a9*}vGQs^#?zpr6qpT?UXiBxn{9~WyagO-l$Os)@LtEH z^RPyAs_JyXW=NRWnKRP#YMV8)1y@C84xKLtOhkVY(;Ih75Ur%bmKEn#-)2Z^LE#SD zkpe9*qc4z5Ln?93xy|LeoMd0xr189-L>pcTz51gIqPmTfsnZb9`@seDQ?t7*l%uBt z&B`q}%rTvNHu9B!X#Ov$^*du_|ec3x3)n_uhXX{=(gEgi^=Pj3Z2X#5Xe z#8lIl9NzKR4xikO`pPI=q`kItsAv`@G6=h;> zx&da{>McyTPyJ7SS$G`{eyWSsR07t`gb3%ohCK-815LI&&huZ~UgXzwjX0cb*Kv9V zhU7mo`x*B;uLI@;eBaAaeUql(by9CxyZOqk7Vs+R20=>Px6EqX*b&*8``C8SM_#qn0>mb@Ntalpz#DR%XDu zONcJTjoatS5WfH*@%^=K{cbRUG7F)_g=5-DwO3cDWYq?zaZGQ13Fo{pw#4 z!E6syM{0Ue^3RrsKVaUm9LY=Hc@T^~1Ybh&{GNeI`tNvu@93@Yh&8)YRlf&=i{+kk zhoRGY8b{rwTXer-@@Wb+Nhug%?^L$?<}$G24?y2tlCKa|U(Uq)uZl2hlb{{6&jbla z#*K}%BcWYGIcn3O$9ul*T3Tow|C^cmAIahW!%Y1zEU14obx$3?Z!CXkpl=QU0FD=M z?|(m-?LWc-|KnlG%>G|E3N|TT)=DZEeYZMZbfA~X%TU`CT&wr#5SL(BkogcVCwO2D*y`B#EBTN=JbT5@8R;HM zI@D}uWXq2YJ_e>&h+rL6J7RQ=vnW`%%P3*1IEXiqn3ga%;^;*)VWQ|Q- zU-!cr?b#Ld^vxq`)!Cy4&Ge#LR7zI*7qHU6rwL*-Q$^V^76#KJFRY$*q3H#uZX^)H+;sgp@3FWK2|qj8gi~T^Mb$ zb1Y19M5Q_h?d=wWwVyzQP>`d-O@u+~Q_IO%DIgfRc!Sat$Xb(y{k5fZ$Ev0}i_7Ju zDbvV5=L@_kwvz-}X%iFO6h9Fq70k~Ky42kft*vhkDf699Z}{`YP@g{8-k{t-2Rn`M zk>ElG?v~o&7xIE$59|J!?BAvn(cqsB5vZyza@FsE*gvHA$7X+Lg*3kRYmoQIeW)|M z$-o$%%U1R@rojE@y^huZq`xE6*V6MR(q{6bY|l;P06Bd+A6sr)L`i%|RIG%AzKLQ1 zxgU?LmAx5pv0{ed&f!M1i*oWed#l{IhF;Tr!c7%2p93*AN6~vQ9paq*r*UjgZO6bn zgMSFQtu`j|$_s3`JowIBS$OHSnQ!GY9T%JhKa_-;=u@dSIYTPIhw>@ zR8h>^l16LQx6C{O_DT^ag$zKB2x<}vepq2j619Ip6#(hvI_xA-C zz_sGi@A*gkhx)jI@=$r@x+M~n>L$Slmxx&^Dc z57K#Kpt{nOXrJyHhnMLY^u{s=N_q37#d=K?c@zZGDI+~!jlB~C+e=7~*agfy{|+w} zCAvpO@9W>s*&!%5@J6iX14=9yl7~1ca;MA^6OSoH^$u~45pP9E*=sKsR*GSjvFsIa zs|c#^DL|VO&1x};6F}Aox&6t~j)p3RZ`x1Dwq=^O-L-uYn(pGIGub3@-vzy$Cp#QG zd{~z~FpOy&H@%!;$!7WPE$KH>SHi>yCOXDGF>CAmM43DJN!pH%h_Qk+{zUnih}C z6Y^9QulrbylC|U;I6^T!bZhZAplP`O*F*Y3G zq|bO@eG`(|=gFPg+4t)FK$3#3cL7E*s!FgdA)m!A)QyW~^zZ)Cp*DkznbH+6r12Zn zfxdTG{_^~1H8v0aG88l+F1GTak#8UfNuDkq&&5#VC7_PRzN94Wm0(g`JU_~mJd6F= zS=UF;6pXU{wvlJP9DgX-Tzsuam1x+CK>$H8kUUiI;`0|QhIs5>Nd5o$-W1z^gued& z9X|h|6#u8ghmqsI5@%D?Jd}}FvGOn&4U$wt`>Y7v3~gwz*Oj>=ahqw$Y1OORRJ4JD zi4hXhK@$H$00j~QA`(m_l1G881Bpi!)@-b9@K%Y5M7%T)ZLAvU*;F;lbsu)VWV0dj z^IYrMIhr!M-MF3Z+5gW~|UN5mHimRw$atPZBHE*qbUZ zRnwnf5ose4Xp>0Fs$DRjGZu&^5Ne|mM8_f2s$86vF&cy`5=bLSi99G5Fsh{E?+{Kc zg)d_j2-i$0TL=;bLn>y7mMc{*hCKCZQlm#PAD|eN5{gu#S(X^?N5=d?3Z6`XsTZVIw^F5z(di^$ z6|7o?QcAHjh*YOa9A`nK`yM_sVq`^y?iZ{-S7%3ym>xROf2;>xBfQeFhC~ai8B#U6 zU;AA1qz2p!w;5>B*Q(c1MFR4(guR99D5V@G#~Vu#JAWpLQ{GkY?}e(v1Q zG+16?MK@Q-fR+4#k}?ti#lgJS-pvPbj2?b9&jn;Cycr8%4O649A8jZ3`gfJ@#O5T>oF<{Ty{fc^uLR z_}o1=%4#apmtWhGPuXipy7cu0wHb0R7@ThqfRWUG<)XPNb-Wh`Kxhm46r8Wq(|6c= zk8Son`r24v7$R$8ef;uY?HoYHV-P@8mo$AkC|iGq^;=tzn}#!^Lm8(G<%K*4<%G-$RD4o;W^d~flb@ez zeP~_ld8{jMI{=41$^{_l$=n6wd@lf>A-qWe!z{fSFl0(poXDq1wF3SQu^bOIT0Uff zLAV$as`)}(f!yp1u1!6#VNJuAzCfNnL~C<~mpC)t%mL!IRwCL+?UuXAQCMA1+t+*F zO3hT)oE1hxHnk+(cc{uWIA zRhU{`1=55j%$g&fCG?O#jONC&b2MxIT5@y#X6dlTC|5za?n0aFKe*j*B~B?e__uwC zCSmy%%Nr6O1k>~|co#UK4ud~6Y{o?3qBlDhT>>EbO9YhhtA&@kYVqdDcHn42n%}hj zPb5)=Nf!&3&PO}hh0-K?x?;b*0~s-rn!Fbw69CT;&@?me~aA zv40vQtJ{qWhRvDosiwdutN0acMssodP76Enp>iT zAt4TJBqU@(h77E;-UgZSo}OWI&rwMd<>qd?icJ#5`G-)2X`P-{@fun+#y3VR7g_qp zlokmWZdK7tmg>u$-4oPWU&Vb{_*?g7V@b?MSQ3H7KQ1Jpt?nuCb+5bYzI~`uk+c{W_6!kXGSo4Z|zX_n*nnzY+yOfAVC286YJz zyTSU}wF!;0btT!lFC+>_@3o12O1kkx4~B-pzz9HLBTz>6UTa_nFj`v}c%u*Rnd%r?Nq-UeW$X!x|NR3Y z>3FT?<_{pOENp+ucJ&N!<1 zwBmN7ZyZ}27A{UFN)qDiS&|vwMV2|Ms+o0w_{1!erL^Kl5?3SOHV(^F9?KV*SN_>~ zp(4=^ha%6BG1$#FPQAO*Te`0G_^G?la4UudM=E`FA+x3|l2z>TTe@nCZ$I_J6_XWE z^lE*1qewW!7XSwYGHMV+^1Zb4c-ZycFCa+z)<`xlpQ}jJ%evj}$6@reI&E(|IA9L% zgJ51xw5hVu-d!e5`4febwwh|0N}7quO>krA7F6RjkBgYh1?HZwHQuUag>_dXZurbm zm%8kEQgv2U!}u*oP+9j0oWz7{q6S0^PQkD16wmbJGFjjuEtwI)s9?y@0i0;CL~}Q8 zHc34K72=(}(#un6>N9=X;YClcs9$9~KmmG^MDJ$d+DT8>;1_d1n$mkN_mu-l9U7S< zJ6FL2ieF!NZ(uNQ_-e6A%9^jt#8hTbqym2Bm@c{Ls~sq`yxyES>a%L=3WCwyMaeX& z$Qh}#?nChNQGNHt0XY^Rk9yC#eewN%MI=#~8X?5{FM3E%;QK-WSKoPFU_ZN*j&9gU z^OR~|h2y~WyBQT-zf2uU#c|{DoX8t^t?2oOPcnup`X z#72zUP=WzlX^9Bofp^?aj()xG#x(u{^zom9gcCW2q#yJ{phbQqLV02y_gIf|vl}nI zHz(8isZtQzkTgRPZm^Mz6cSA(8!@c(!5^vnV4ym>SJL}+o*KG40qn9MTRg9H;VJ-z z8KvX)U+ziG+d6RYoGG%uR}>aR+;9P(FFyZvbr zDh!=1OE4A!hdqgdjsl4aMFfNGo{a+vi~1MbKu1AllbWFRuA{GJ+wb;~D}UXz;u7eQLme>34Ih$)4cP8PjieaAO=;9S;xA|9xTY`a z6j*T`b-XWE#wzeeS#f-v_30KXa?c7$DAFn&>^L0#gXeb%J(-@N3UJ5~$!7k&2a&IC z(6k9yecDrwW%Lj1PvSl{ccaDAy&R+CFTSLV!?KYs6P~jZ98C!wMTwc@P7&*^e`bU+ zbw2WEV;W9Ov^_wWJy*skT|sZlns}8?{gtI`d`sRXaJPn>4WJ__RUkr(zQbWmus=LX zkVDZFnSqq3O{;CQ5x#Qjs2QA1ko}_J$_LY%vpod8f;YyhIapp5^G(D;un*Z))x zFmo{fm+e=G2DG~J@yZU-RIUVKj0O7ijki}t_VjUO)@7gPSAS8?FD=?n3_gg)p*7$A;oc2v!taxF=ce&yjNVo* ziEt4F;QhZERY17J(Cknz=n&pCO`LMD*t@7GN%;}wHFaJF(`mIbv1Q7G4g=+Sbq13e zpV?=-e9M5?2|5~L*&OlkxQPK|0wW)uhJPHje8K+hgvlZbWW!x~`rkM63_?vb?B_~q z4hqQ(;>{9eVlq;X_pv~uBMHVBK}@nkKdPdGqJhLhLX&aG1O>?qN>a%d)5Q_}bxV;z z$rHM`a7ppVM43F=BoYykaYNI>F`!M$xMSyHlOE?zP98U0_WTYTW%H^eo>!nO$Xz^yj8N4X=~?V}1T%-fToTuKf^= zb;ZegVh#DGX!~%>E-s5nmao=lYxXcLIxVjEp>1Js*{D%0V>B+&C9y7d?PJI*na$-! zqL-}K=fdO6;dH7RRGVfCBql!z+GT&Cqn!31eB_SZHt+7Q?qKDayN<3lT+k@|74k^s zT5zyzOXz!U^|^6pN8*}$DX?}3ecV-F?Z8{{E|2LQ_nPRw*;vE(DSp+FOnm}#g(Z+W zh265g$1so+b+0D(j5@(E<@!v@L+a~aOfP1U5=;mr;XF{Ei1WX_jaA5h7PTb3B4ht3 zM9i;g2S=Y+u1L4y8mI6~8Gu%a$Jf%W#iQpV+DYhiTE!?QJ}-P;-Z<-#b9}KTQb*Zv z>ewgSS~Yq!-kC`bR}L!07n8A=a%IWY!C&*f+zbZMr|$Crp|i9q5&=wm(Qb*xE1hIV zUMUt=!`?vIf!%-Ro-9O0YFZdoauA8-W!dqsnKVOU82E^~XljPaX6a9vD$Ju?IVzYl zo=G{LMJww_dWy8H_xZB}M16;F3c0#=Fqi16DXHojQi|+3*4x+o#ZQTmPO!9cX?9^* zekR9D{|p#tY9VZiuB~8WV|;-r(ZJt2m^Uz~q2KY`>R6;aKXx6AS}Lho5qUmy-hOA} zOVHKz!-*4gXUnKJBZsvC{vc)~a=5F^4CpR4W^3#Ed`6$rW*4=IgUODg2i&L6P44wi@xZ|Si2!p{wKc=SteA~ZhT zu?D#m28T&;JhE!t?%(8Pl^3woP?2NX+zLV3j3s`W@7-yKMjE-5xMi`@)kO1oWd0Cz z?x~yoh%gy`3~#OPdl;J}^cVhl3zi8|=U=-_KzC1I!QozcvjVHbH*#t?Oy6CJJdk?D z75-~@hk3YG)7;TlL4Pr?*(vlDiWt{-$wqf|?A#rAMNxIuVzZ*r#u>HeLY3W$88*BG z$Wk>aJ}E=9CsdG^m?Zf*1q|pO^h$%@<8!(_hsh${P%$tk{Q4JG28Nre(nt$sW2-uw zJGpMv>d|Q^Y*5H@&|G?)e!%KZ6C=dp&VRIa``wc~S5JeRw|M}&>imMV>PT%5BCu03!FonwGp;e*!8xqO-25}05d5i5e^LOZwDB>%oP=sVuqAYHtR#XdOjIV4k8Jvh;L z|DmnNxAnD8O-aHnw1M@><(Uwd=N(GAl!Pa1D7AKrUeK^_h`9QAy^9wZK{l{fRzJsabOvFsLX!<&W67&43AWVz#1~4_&5Xk znq^hU4Q^`d_dWvSuUi|VRr(B|PvK#tS7359mS}0e<0G~goOzU(9v`zWc{?ja@3-1K7$3Vd^#FEn>QdR*Rf8J$kszxR$Vz7$z~&Z7z%=SnRK1xBq2z7b#f zPLrD*#dLVVzv)*hq(^f}>wKqNiCVZD%4(Op;9*xVx=aJ!(fU_a$@l6J0R@(VOkV5R zUCRVeL-8@32}dE9{|P?4**#JPu&OORHEl(WSh#CGg;!Re=jk+EPlJ@-FE!TIyamSL zVG|SB1z8mtOIK~%qpv#E0dkDbK^uFVq52kh)mM!V{I1!e%dVA)T<{8(c}s4(0tni? zqKc8H+?Wj;1+3ac>4(DRj zCD-^KkA+$l4Y;$nWW9|T9o z{mdK%iVBFppW@!j!JIz&<%DnhJCfVy*B&E=Q80pRG}@2D%6^M~!0|3gxvrX3KVj36 zdWU*&YiK^gs?K#=)8agS#@kIPp&p*eb3aEQt*F76Jg}!(PL5?pLtBJHy`2~T^i5yY zalSVHf}+xX8L!j6+*luY2R>4qX9)1CQE^klP^+R178%JB(IRD5i;c~!%#C?*$aXCd z_)mSoJZLivPTqu}MSbY#u=#;+SzI{>Y~S#q$G>q1zV+bjbN5FvfZuRrWTk7EYJ|Oh zqp%MbW%OXPNF%VwwDvBZ%l-a{s`PgZQkh>fb+q(vaVIXRQRA9@@>_rU z9$=1ZY2V`q#E8k`TN?ELUzL4TR274bSb?&`y{m^Sa_O7m~z01it0>CVQJxdf9ZJX=TOJ{sYI8=Wk z!d;pl9HPt!@qzx$Y1*c&v|GUG%Y^!LN?y!G_LwOgF-9*&Rq6c{Ajuf%)V|VB;6u2x zA^&tSF#*z7)RpETm2*OBHKE9l8Lb>XnaF_Ztssp13t*HM{2c`E#3(Q$J{Y$)9$PbC z<|3jE>7Xf;)H2*~wV~-Dq62nzX&VC9?085`n!@lWPuE|D*KyGsq}T4k84`5>-E(43 zULiLxiByT;znvy)WkG@JXARvVkv=L=d`NL6C2^Owt9w4RDS#MAaqyk4Egu2{2y^IJXN^XPgXeY+>HD~ z!5PUb&K%)GfS$FltbcvlRj+9UG-^8^1pbOQ+B#wwt-)B{|9n3!XnW9tOV*j@n94aZ&g3mkQW=2`lO%c!PyQ88VMe@qCy0dqGlXA}X;k_ifj+wAb%e z%i1wGbuEJgn}r3#!Ast8p%T=gcCv<>+dE>uyTrS2nipj?$qf5BJotm}7#>9lXLj{W zAtf++SdkdP>aU(W$W-ep8=>*7qMV7QLwy}bBa2kChrd4RQqzx(%QW29wi8E>FItcb z(E8Vw^1Kc|2a@?Q^hgMRqoM%t!wob2C+mwjZ#hSv>ESSl80^8A2KgXUt@z-9kP${F zCz`zYup(>WY+-5jScrcpW!$`WzRIgCC_`@g$8#n#_FR9qY7Om>`{sR{nX!(1fRr)! z@)+-p>$ByDj8C8lh3BwQ<1N>2w=5Lsr=-tBWQAwBMDpim;*RPivq{r5g_qQ5jVVbC zB$T5ZM7Q9n#|Y9{iH=g?&({U?{dt8(SCekyPYBIy{`ytXCtS{|gz4h~W9TGT3`qJfr1;_f&$6|Bb`0=yI*cuyl*j%qbNDxecpyC16wiT=)Z?}RHuKV@RV z;_0Kn-a(Iv0yLcyu}`5qHUfnGD^1|qyr0ZW!mYB87bAb>S|0F&Qv@C1qjak#N0Da+ zvgt0um3pgxZqnP79(?JsGQw=9`~rC>57&T+jh0H#7vzk3ib_Wjs)7y>Jd@sE+hQ<; zXVWq13PAp54=N)%0?NLg>JKv(U%MTnIf#Ptl_^(oTWlv+etqwNiPr}PUbk9gTw4)D zh*?-)bnNC_Y?mXci6O@j~kTQJnbPvH7I1G5ECN+-t)weHFeIK4;9uz0( z6Y1z^^Hh%o)O>0h=}K;l!>-*lgX)Aa7VeIhF-ehKGE$Ga0|6H~DJo<8mYxS|IvHip zyR4(*L*qlSC5KM+V>?c2G*1TJ+pJu_l81-$sB3F_hH;!+QwAUcW_dxl)332yWqRZz zcVQBBGujlS6LyX%07p`a#s2*b3%XSk%&!X01LrY2bW_&PU~hu&=ZKs7|1)Db9kSrP9nRXCLscuC^-2cLz~^J|Rv1?(>@Gw73ivq=x~g5mj}_J(_+ zqVh@gAppz!1Qj#fL{oC{7rv$YwdEmY{?bn1Cluc+^Sf4^@TR z%(eP2lqS$#5(!W?g+Mt)^c?QCsi`DR%Az|s?rCQ`Os<0%!Bk=OTpmM3m5Pal^OuHX z>NHXOOv>mTzstOzpzBJTr;E8Pt~LOs6JAv_ZxE#hiVo+K;KnRgar)4W@`0xtU>JE1 zWwwt+;QuR=YOBLx_BAd7Q}CyL*r#)zQzA!c$MED@ZaPfOKdBlGFwHiv)q>-9^1Z}? znv3`M0>ydVJeXKdVhulQM|+y zh@1GEw^SYqpDQg5iTC^QZw&Adsha4H2nb`GiR*RHDq|(An*`+f#BHJYhLp*#flQ5! z+SaqXsYd%vfK@H#T+R6Sm`c2lag{#euERsV*~iD$#Fu0p)DiUMBX;@vj0~L%y{aT7 zf@TM}#8O74p*e1$cRK|+N4a2697tY-8)gSiL%kroAbg?#?i#@dl`0>XRc+TnDf^}c z(ZzmZEgrX_@$R_>A;3PtPpYp4ZK)j50k)S&vdLUJwk*{2UG!`M zQ{AsS(xbd%Zv%~&^l3z@*-$%^uzTN7H_}vE+7)8rx;H$#$qPuuY``0y>+xj%s)3m1 zGsYNJf*u<_R2#QX8Z(r~NlR-@AE*vrsj8{E^jds++dhx3+8pY;*DP5$v$zMfU?ka) z`8w6Vi%{rGhxyj`qfqYrX4m5a4l33Yobr$Gr;^WrG4fVct!+#rD0&;qv+MmuU-1HZ z^YZf>&WzmEf~QD|kmiP$;QknP!)&w0-zU-|DcK*I!<#bfcYax|&~3xdGR8ws=9T z81wUZxMsMmXwWoW_KVWp{EGAMec(|=v)<|T$B^s}frQAB8@2d!h0aD6eqZtO|Ug~Y≶BnNIT z#|5FZl(W<$O_*NX0gYgOt5mu~$y|)5rF7xclf0Po%?MYXuQFy#pBl58Bn^?p>q~PZ zIh)s@FU@njv?yhp`%??lTBcnxBRSL}5H};4Z``R~>fYR;S9*w}bkOmzwn-}2z6qs~ z^W4{6ZMbQGwH%K{YA-w6;#ov$)g&s%e^D+ME0_rJ8f}bJCXe|Xv+0UJ8CyT-zWo~1 zQG;P2e&dK$hg&JeFcQ`Z>J3ET3Vm*58okHZdtI-0(R%iaL4!{nJlHf*qjW+cz$4lw^}!1F*mCpVdu<86E8g9+oe`X#E$WweQ{5>iVoh#$`~@962nUmegNR^DbZfg2PgYJ26!(!Dg#g| z3SMG6{r{T0?Cil=Z6sq(ff!`yLb#&KTkJN5T}@|uP{9}LDUg^;8p8n1jT6{dC-R{y zqvB}bY}+z8+<&1b1B<6)t_{A5yG=%MJg~lv6K{AGhih+JxdK1}-v*f6*_=&nDJ6M~M9|6bv^BCU2Cs@w25j82hnw|y z^mxVObtR>nTgv~B1_rrUwu*)n2S!EP29UUQ!~rTJ9F&UD=J;&Egp*)u&&4Y^uIY3$x>2#>SW@hl2>x#OpAU_{BXSyaF=0%6scewIE z>+D_5{)Z|mHL~zA#5IB=GCrTwu~_gYH-;3--HxQ^5W#8!)WWLU+sviwnfEu?&D7>e zU+}{sgS#U4^Hqs5Bgo0>AV*(Wt3!`BTgvqc;U9aHUjpq|pu_x%q9;arSTKSCCx&z_ zE7=23^3k?+=$oxU^!3Q@!$8MdOODZD1%Rxr!3{y<&8D-ieL~Sa6W)bMHDjxz-K*s6 zyc2J5w%Mmcu~SKKb>F6EP*2{F#5NY2oy!Ov8A!NBKMnb<%-iVa;%pTuuq<~6-FjA} zAnBJzfX5y$VX{nTwDb%eKs%Yvry{*E2zqN}$$>3Igc5E~?c#OUuw_$5%ej4HQ8kCR z*j)LMB1CBBy$KIKUuV{1g81*k9^Ey2ChQT3DKW6+TQn8}jl6K1#}>Kvc7vf6!2;+b z=D`jvP||SGVnCXKj68IY%D}^zDzkg*SvYuXkI)%Qd$BpQdN`1Fybl_iI^DSYwSq66 z-^~kIVc-~49Z=3CgPJ&GGiPKsKAiC4Nd&~nveX$z4Z{r%8)}1~_X-~&C>Nk&?=&nDBBK;hdq9{Z0 zDV+lPnm^hBC#;cK-b_TBmoG<{K?ve5y_sQWa-mMUNyR(T3;4ps>ZkRzCalmDNSHP{5iDq(F1HW4#1vNJYe zl{K+71DjKDaB%&bB3G}e=}64`&g-;tUHf=waOCliF<>iK{^zjML9TqutUu6(M9ySr zb~5zEQz%BjnWo%`zdD|~`4g&7*LOG_^Z~y3u(y;+A_|`ixSq8Ol6d?=yCNoJEltym zq}fXORbK7vNyab;?T>Hzn)v3~X3!rfM9^}xsca|LM67khcnXa*b_`zuqyjeENz1W- zk7edaRSTp_XglRy0VE);tC}ojxHR1qb?F1)*{q}??$P{Cm z>hmtr_MfhRymVhOkaZU=8#x!(be-A+J!*fO|0g3FMD#6EvxUx`q}v##FJO3dlTVjy zVU&o%HJ9&HeS6-qDXs8qcO&@SiBNBrQpy5X4D##N!=dw)wecGUB9U;fvTiL-QGx*4 z3h+D5>rhWG`wi2%n4Px}M2Kij2R9x7@%D(*#n-3PysU84CduDr;~u+tepaAyxV)xe zN5>%9*NlDAp_h@*xY5C@HT0G#N67v>>4-29y=ocSO2OxqnRN*Sq(#|=vEzgu?(}%Z zw!cC4iVTAWM7@tB7p88Da>TZ&ZqO+yWKINafzq}MnK4rn4-1(!O6oj>zo0;IX9OP0 z=aI1|6-lxsBw)DT%?+Kkz>xHwjrp`IZs-y8NH6>gxv6Zlgt!?8$#E5CpUJr|Mq&Kp zJ`$bs-51L9mybhg3p8|2g}i;{dserdYo524s~R`A@0A?rSAMs)hAPUP~6+{Wd%X_d zFOLH!->xn8T}=n*nTr|Ex1Vf}B;|mRz;;|2B%b>bSc5g{W^;`kf=3bIO)d8tmrtuZ zrMc771u?N34(uI-*C&P^VQc41sz@w*hMA9z;-@zw0h*OH{^uBmeJJVJ7}vxIta1d^ zE{<$X#~%qMAUb9r<2O$fkj9Vlem9d+8%V%{kwQ=?recCFPy;1r#EtR z*Ue9iZ~KaPk4*mp0WjO4={|GbxRsWuHx?q!K{WBlR@9=29%49jA9%~OnF1={ZG2V@LlvUVFg$N%C3W?emSuP<=_LY$vKWfkQ8-^MQUr-wE19h0lP?DB#b$q++>+{8)dDQfsV)u z%jk7>ZP^*{U9B59_N|ikcCJ1>9IQ9NAb}|rCi+!lrNKY61~2DL=!9|u@}5%Ax|H}B zw{}^B6hEc0EuT4(d7XsSbZbQ15;t_O$W8W?OX=cvF?F|fZnku8U)+ohzs-T~$R+e@ z)9~E@*PF~>_Q#c*{`korn6S%T@xmBPLO1OIdMsay-g!fd*%|}#{>^%llNy_>;bWvc z4Cs(J*X!t+CO-C5DF!*o{2(bw`_aqlNP^8 zPSYn%V!(Ri0?2|NWz$5&Y7+{8Vxmj2@J$FP2;%tUno7o^5gLOBVJ9v=KdPRD9=uS@xL!d*j+pPg=4^v@~PVK9=z>9Q83hyz*> zntzDj3|umoq@oy(bw%J3Y-qlGZbPj!&$Ols{cfS`ZoxA;Iw4)!39&x^1#aXJ`Gv-OJyrPZRo1yGNbr=ABb7;arDMp z_h(s6MSvgT{QOciQv>=}{GAy`+ua@yC%MxjrZ)^0Qrdo`AFCf&-_{8%Z!|Rcq~hA5 z@J6sqN^s>f6nn@`7lDYw9+RSxH8x@yv;he9isCUW*i~WC+Be6;r3AB5eCg+ST5FEl_4u==L%SQvh1f= ze#T*qEUvGeD^xESvqnBF#oX)c6ija3p(&+qRQ}sqsP+Q8|4@;?qDqQAhA{t`f-yPX zp7cf9z{g6--|AMfrYsnoek`3-G4q^ZCz-IXEkSPyL)ZqqzW|+~kE80)*?oO>a0blB zb^fr}))>~W>==P&!=Q}5jHsZhKt42`rb&-ljt}D?=SafDj+K#6^h4RilvUZz4ovY+DzGxE zl&z^9#Xsc2>rqS_z{$^V%FSWQY07N`GzRjpnerL2n{x1Sa&fV7aqt-ezy9BE=(4I< zxSOEy@vv%Wv%i++(EV=^jO*Xl-!hN4%8Ll&25z)tiJyVs;Kh3pQNMp<(Gx(IW2(!l zZ%_n^=BEcfpo*E-af^{d7gB!Q5%8#Y_~4BW*W6!>!(?j)M*Fv7XqY8(KFLny39C!S zZ%c-k#q-d|*(lQrvW-WWxGrhP#mm)%4~CjjaOTP13{r*mKwkYyp)sF03RC1_H93Nh z+D$J9+l%mHPD=rC6f$R?jWX5ypa1eR>_x55E44e!xLLOyzUqY3YG`k$)$oH0v?TVF z>w{pymUth97|2(R)X3UjG7~3=OVFC!Rn+WBHEh;zRMh%(h4I!mWaDAQMwGE_QAn9yA&naRmvq{{g9b@TdR) literal 87368 zcma&MQ;aZBlQ!74ZM*wz+qP}nwr$(CZQHhOoBy|%WRsa>=Ui1?o}^Nbid0@$^dAE) z3l!=6^2jH%wq#$?Sh{j8d0=vTLf6bMR937S9M5`lMug3>&taUoOAaa$2937XcXfytVXx-};%rhF=7P#JDakZNlYUqiD5h5EzqlxI z(bsWV@6)KUcjb;SAxsIEnp5V{Ip&J_IsfJ}$M`ng*_^B-X*L8)ts|-?GP}^&5T=-F zQqBu8QZCge2dLu#6R6o(tPx<)c<9Ul(yW2ae+~xSm1zq#jzm~@&vT;=eW=}Nk09!v zzS(CWca~>gkYJ}aeF%;`tnG|*_wkLF#6nsFuz))Qw+@9cAlCc%9wk_NqRVe+_3xW{TezmrsWCRaXd4OG;Xzy*>_ReRxU-vr7#zRBOn?#gJ@X}WjWO@f2 zuV4E>5e_Z~&>N71#ikRH8 zxW^1|g;Ijuag84$^a}D|k{i+vTw;hOxW z*Uj);%8Dt`UAuczR&;R{;p!fx2c1Bua>U(Heic5(g=4+Bp>Vtys=@u@QqpH>{dZ+x z)KeI@sE~lJ%=@rWSkcw!gv(*xR4Q+Kc}X0z?%2d5xe3ZEb*VBo*cEue&T}$%rk_3y z22x*C)Ya;IFPopym|Hz?K$zVBb$N(|qsu74Nwb%srHlj($z2#GbxY$@B(d)Lnzy?; zQg4hAni#EmxxkuvfBq3us=W{hhdUl9w9k^v0@fiCRogz9$qt8=DzYp>D~(S~w zB5KqD4`wPnVt}LteFJT!Z^&B|IJTuI+b}8$0=tG1biZS#O5E@`L3_es6OQ>eCCu4G z`%?4$HP{lb;@TK&Gn?-;Z0!K*)M694l|j{HQb_QTlv-xxcbYgq7*f1~bPVLxd2Q9D z^Rj%C)p%BNr1U-vW=%Bol9Fq&elt@I^fF-)%e&;fJ~oN6>y4|-nQXB$DG-YAyw>No z# z|GpUscS0FoLb0g^7>76sjf7zBkICadVgikrkA2K`{y<%Y=GW-xQ85>L&vZ_=&xf-( zI|no*e>x~pggCr2(2&jcBlAjJ`#+0K&PB{b&?r>$8Nc53_LLvT(Eythp_rlgzU^9k zJXec-z94D^R)}8Xx$9yLbk9@mAHdLOJQ#Fyyvy;CA=_iC`E2+;tTN^>&^PA2wv!0_ zk79wp`&YBRhu-ef;`xYEIl9qp=e8Yw^7Q13t!1GT2YJ4CyR*!Ih{@0Bgi;!=%-?7e zrd;aOGa#z7^or;6yXT~|De^zSSK-VzC=*-b{}(I%Q~h5!!|*==4jUWu{}ymY)OYNb zMG^eY>eydE^+ICS_Tb8q;^j*OQ9`bSK*e{m-@*sX^1c%gem`fgr)%fjWEI^nlHAP9 zOx=2YncV2q;&OZ8ibBMD_=gt^TQrOt(#AH3WQ6F#14k;=z3q8v_-cOLKQ)J;3HO=d z;uVB*^NOMK)MZm`k;G&>G&&V9xPDRwMGm!TgO)pPP!mk#l)bdabr%DW}c9{o+A(`*Lp zP)LmzR9~%@y;WB8CVZWj&Hb*u5*mJ&vV$D$^9|agZ8!qdhBb{ z_JuU+9wdD#Yv>to>Tjn?$$okKOpfV_3tx~sG<~k(n7OfUFoEwzJJN)q*#Pk0H+WnJ z7-!xN@lG3Jy$~F>9T-M&-7wxJ7)Ef_#vH_`MsfRGl)Cm(;Jo8OFx>AKW$^`VCs?rl zT%-Yf#F#pukpP6NzZ9hR$_bp7$0aQC|9xH1yx;ek0=mN+`%xhZhpym=M))>lndsh* zL9<17lNdlC=+-+Qt-I;^e+k;318fckU(rY_o^^+w-=x~FQbiZ7aDNVlT|;pLrj)wW zMw@#ONDjx+w*TjMlJzxrDmEbJUW99U3eqplYqKkYQ}b@dV#|U$Rh58hfHJ7U*qk>y z$2=?O+WnxKS#~WYc=O&lSoe?e?nE&)Y}^9B?HHGtDkY^JgE2T)5vt6ZMD zkVT9RzrSl7If>{2gWz?$*iE8cpo6vUHG6Rk(2lM6Xw}qiSd;R&?LMJ#MA4_0 z5+H+8i^Iy(X9drjbwAnoMF{j;sjGC=tLO?NYSx>kQq(GgJz;X+XU#qO00L~4zYI)P zb-HObN_MCP)LD+@0#Rk6*@PrA%GNT)2*#s(yGt%EX6A?M z&|?ex=!(_@an)6oVE83U*pZ4{bRcIXz3H66oRA-JH|7>@Yf44aQU!`1pE4R1nzku! z9T{F$iGsZm4>g&j?Ed%6t(Us3Qstf+t66%0|4yUB+Rj?}Vj&~sDLd5d7;2;!l)eTR zcc{&jdM~py;d>rW_m@#K?n=hShsA#^%>juprgW{+lYizbZ+Vp^U-LP}3p^}Izv)Sw zc_=Q-Yr0ftc>vJko!#4>L~1g6s@GQJDbV7dH(*p;tWsNUgS;!x=F9$>&b7N<%GAH0ibji zkz#0u#0;sPZ7I|-WuvBx*xvR#s32j@&2mRsk{)|fy;`R8ueE$#fq-K(?4(mAL#@%S zPV;QKq|P$nJic8CU)MwAcyPlTFR?UThGNaqTi1Fp+iRsH!ibFlS_;t%nXL$~%c(fi zRN083Ga$%CHZHw~l>oX^RmpVUt24#9A@IlwxX`olhXW$kY-=Tx6iC;)Tu4wqe${0? z^`~DS=}By~56WEY3kKlHD%;3sh@5S;CS zk0LoUmQ}bt;<+lr2xZ^tW2)~fGbFPmQMiWup!f!MSv;S8)nVuy3*xX2+8X`T!=+h> z?!Hn5etjz(SXT_alAeDYOIohIzXO=e_N&QNwpeQv?#X8tU!ItXdn}<|ws_jE9tZGC zpnw+IMTL`g%hVutn@=0MgLF@wZKj8n`fEmrhu9J zhkGf3k96JcP~B}CnGb1VY`XEMHCO?8N|xSY|Da<_w>#YpJJDz6*i6dOi`z*Z_!Mte zo%xu=Dvlm|6LSQVb>-2^-+aY(ZlB+6I7tBoB?Pht0yVbthz6&&i0R91bnTy&{fbbO ze1??gdBcyq9G_;l4Tn2$?9RkdEp=>7M20&7DG|U0wu;`Aj4UT71y=xTdw9H*Tz{OH zU&^2aVkudCs%NgoaB-_sU6}{|MU%0ox;sgr24|cJX*n*fBM&|^AA38udOp)-Qt0&m z59rDIKgcyER`&lbdfuo>*=_$vu6?P|Yzwu-j6^PT!2*%QD78}n0YChk4M=V85=60( zl5qXLV>*scY)?(HQD~=_pHlRmo@T3y+g?*6=j($lLMIGOKZVjTK6gm9rqgY^4(CCp(Cl)19!MLmFbas&u>?DVRuCFSYy2#el5IM!>{wz z1EtOrC5c25L&<)9f!A&3?$L}pdr@i z#b}kA5pmv397~;raBOXc6)&Uf#Gsba9x%-Q!!x{o)`lm$WP^ zW!9;z9|#RKW1S&<5V@cY)oqtmT$=z>$dlTb)Z0>QpKXrOV6P1FMUkA^n?z=Y)Q-~TDs*;c)oUwLDv8*$+;5=~|mY@f!ZX%Ex1t_dZPKnCxx z8Xb3ilPLhWHs125)NUah&=|PdeBUX2tvQDWVsOT2MhUFPpT6CZ#Xwd3=1^V)>eFbN z?i#xrlJ|vfstl7J>Nvo9CT~fc+u!uj&Kr@EQR!ZGml-l|@OPA4q-b(cs0`I9$3sgX z!H~--obA$4p{R3ZuZgA%8OaveAq7rFDdA zhVq|!3|mGbYSA{=RZK2ymmnG;*uxp4L*Exk7Id0YjHr@RnX=q=f=uWqm7B z;au=V3B;ce@LtH4NVn_6|wHzqX^)~l!U>4s-Kg3VDq3%W)NH3q!q0}Kw zoz>##8@&%4%;v8w0?7&6Vw&CAlFWGnoigB>DLQ0 zi!PT=_X6%Rp`FMte=blueb|>-{yu?J!k4=dcA^*IR*zu*lJ?7odR}%LevggofD1A} zyjy>yX?S9$X?-#_4>j5*f0Lc9m*Wk(K7iKq-}f{lI^fMz4$byZEI^g$g+jvZI4=tU=B6H zzoQ9BE}|iqRj6QV?__#9Uoz;(B2X-{gAD`WBQ-KRdsovMZrY2ZGkA|{OuK3h;%!5> ze5v!u2Zu#aTW1E3SRRmTWwud#_msN?q*ZVNn_zSA+rjM)g)Y_z$LqSD<|PV^vC>v% z*}h0c(_Bys6MB2-9I@b-kFyel0kloy%6FGvST{bZF-@|aL}5`d6?e7xkj|d=FWB!O z<^B@x3n#~9@AL_#AvXqI6UueJ;a6_MFB`E`5ZN;&5GzUDiM_J}|wtBl*YWPboDtAQzT>rARgy^pLMVCsF#^UnEYhtwea;7l#ocZdx1cgxd&3eD3 z@-(}+260YVH+4*Gs;)PQLi$Z86KQatWPJdK7d+#N zbE?PcOU!bW0C>%#x^t|eE)&*j&3En3TvbA3Si!oO=qr?7U+SaH>E4_sM2r_-~WV@E^yRp5?#nV@3i-4o3R_>i(nl|EnZm zVrOUg-x8G=Wk_~qpRZAMM#+L*lndht-Y65{L>^;mBCY5QCY;gf^pQk}lz$|V!PbPr zNR8-`G!eq2J*ajC#x|0Odj&r~e|1-1wH>ugXTG^#8@_#C9E@DmHpwsH%5L-Nk_J>p z3K;+T`v;d-(V_t9F;q~%iUN}p8bZ>I@5_KGjldT%5mE|Yut)si4m0X!5axn2(3GL{ zM~Q&dRRE%v1})7E=>4ItX_#ru;0v8e!oG6MXHo>XZ=vTP__74#I;KvE(39*s_4Ec{! z2p6a=_MKP@5n#)Cc?m)$_-midAQl9Gyzc|f@!zgw3O9WAbL6#XXqC-Q;06u~A0S1tJ6bD)3!D=}hs7>7?_X)64z~c7>`t`#> z2K~kfz;@w5(w)&TaGtx4@aPN?AqoQRUgKt`FcJ-mjMVMYAdS?E1~x7GXZ3g!9o5qMzP?1 z?2g*Rm7pS^%zdxWcuVndzkJXGw%lI5r#0J03ucqlJ+|)6YNffsIkRDDe_rT0BgLB_X%K5^?2Q9 zAa?J=f&rzRRzL@}p3O9fp#mheHP}#HaQw@b9s;BDWFmy z!vOBX2LK`@#cH={;K1`=)TFD#m4Nw={D@dkF&Orr{4sX>C^7*u?~x4{=)<0|mBHud z?GR?)s8OJ!kYzq#D*??vslJU!fTCo>*t}J|@4NZ#FV8?gfcb$QF91^Nzlzm9CO$tH zc^Ldo)^;lYwF}{=X>6^;I~dO*qNp{Ml)DwAYqEN+eZUA^$;#y@k_UqZG7$+(Q^*eO zX({yqj*!zhN~TYdcwT{AhPIZhZeFlB@-U^R)|eTIC^3$~0%^&Vx}x|w$1gCn(^(@6 z>^OUGbswFl*P+&>3p?0C_N}b@cc1F%4U*SLj}wA7yW_X8VHtK05-WjB+p4_yrm{Gp zlxMz^C@vCQukzW8`Q>~*h#`K(Pd{3?F@y=i){K6&DfhawUa#34ch@ANCy{b-mL;$K zUQ}=pF$haW{?)vva>teTyP-W~IT1v$6?y5^B7XqgWV%+zeOIn8SMpxnXQ91dz^#l5} zJE29h?+9qj!9TqXM^B0kwc)O#@b~%)E!q#&>Z+YxmimmmxHvoCPlDxQHlf78RKf0wJX^&a z@U;TV^zr!n?5BsTZEU=WQaP@bYg07u*Rd>@W$xjw-LKwuv6pWtx1Lvgx9Cg-e^|A} z+O%ccb+}-)t)}-HidR*)MIzq#12{ulbr6Yqg%4Mv)58vHEzY}}D?O+8w<5JT+ti~r zX3bFV3jz`(?(AsH0k(HI@u?qBrAH65;W38QJ0<7mLfmZ{bKk3ik15hb1uXK8 zMii7N=6$}p2V02X+$yUOB-AOwFQ!qF+sAHX!#$<;iT}na*+%Iye>N@3Sk)5b7hQ38 zdo=eae`}daz3SbR)L{8e@zUU*+$vdh&*%MKHc*&)RYO{X4KU`Z3!n4-$>KUC6W0Sd zAJdXbBAtg47$VA$6czR;ait8{Kvo%SGyP^KkXz{O{d&UfoGE{BHiJCPg-YuXl|Bwqu(FGj z`+$A|@e=RU2hkhu2HoaJ;Jy)(~njMg>Ix?hg<0!0fU zZlt>qe~Z!st1o0kPNjrbZ?iETlUM}h8=?9+Ogq)fTESFto(j`ym7aJ~gXfFHiRc0- zWr*7;?bG%!`*e8XF{p-kI{!o^u>6v_%AzHDKQncDAu6hdZ(?89a#(9#y+@j?Z}B}4 z_Lg27INDR_HqlEtA*xhbtu23OFD9KDAs25b^C>WvIZ9&IZ}0HTsA71dXaiGg;?_Rh z8~ys0CrXqCvpw7OK3;y2md<|&^`(37O+#NQ{OV9c=NB8h`HF!(hT;Q$|N=EXWjOTo*XO8Q>d!aYm(GYD&Md+*d%Lp|rMzCju?9JaWe zAxY`BW22IGDpdD|C;PVc@nwFd1FB)+y4fL__h4TD(Ys_Rno%nLY`uD)5SgLnB$VC+ zECElPMGadE%FO`UENzO7&6GJ0o0bys_3VU;`1*0@b34hY#PG=e0Dj$IU(4CqNW< znlbC}&aid164H_XvAX$9j@ogWx4qjThZkGFcc8mpvqW7VkG9`-?0vr;+vEU=)^t3t z%uncgI-2@=IB2R{WF0dUg*s#K=y#=Nu*Y)7k&nC4gWEU@9#wuVc0)Lu&*hD>k$FK6xL^{b5nqCF-3 z4#>s?JbeluWwKyW4vx=JrpGq#8)M(N)L8YyC?X`exZ`NmWa=07=_KYuPlVQtqE`Ua zaTJ`R-02K`Y}kaCY*BKn#so~w%~Oy zy{IWj0Kpbv%Yn@jL$&z;>^#e!i7FOZk6e9;C4kp>NxkLoQqxnVrTJx(xGSX7#IM!) zxkYBJ+=f#J68zLE8r{^?qAz(i-pj)XCR?-K2tsB^Cv(Zi`bs~jjj3&zn;Yc?yM6w& zTBMfO+?iooVkX^!ZyxMI|4J`^TWjL7OK+TJ-e}OG zv&p9{`Ar(H6A}fK%aHUzf(tmU>gyc~ZW*sKZYOz8CI(yE+!buoV6!LU6-|9lR+s+V zH;XJfzw)UNrPbXF&kF;`<<}<&?RoY9yer>H%-@+{r|4L?BkhW)^15RA`_%P@NzLVl z)5JRg_ysyTehsFzr6R_(llOLEkl{J&t3gZ{=Q+9X5CBZ$l`3jx0s6JFGw<=XHU-frPnG4D?p+Zh$FA+F}GO!l;N zlN9U*6&`lLS?n^pxVCAT@F|}zv^gc(Jt5HwwBa3FL{7!cp`2H=JxyCg^_uF%{2b~A z9tST^Aw4e7zl5uqv-e05DZIx~_!u{*?O`}kx}^l&l$MCs5BSSo-Kr?@hc6tfU#jZN zt|uH3y?R;#8#SBn)g)V$uv4~<9A!v9pwcOo=N)t_Pi!>#JY|wKzasN%TPch8l_#59 z((5fnyXnuB9BFBx?WfVfvD;F`wTn6I;4$4p&N~DT3Nyc_gowvfFY6QQZ`9xQi4pgc zzyO2{wW+}M@@#N2TiOCRQIW%zG*8;g`a!g3(jXPPcaU2{jEOxrX_~4B%i}3_BbxD= zwK>_mR`Klf38s2}2nU38$Cwzu8ImqE}V4q{Ryyy`+*FlIU6GsFEEJ07$EhbhBMqmEgbG!4h>S=3KeVm!jCZS0YzaPp3U1zSfIz|! zhP1tc4d`MoY_R%qh1d^y3Isq(I^yA10*sG>F>9sg|~97Kao*N+_O2!g>Mj}Qz#3}?^6$Pa!D^udJ1#{k|x zju`okOCP*d#4P{;0dQm=8c0Y_LN!44bU<56kj{p33Q!-$DFo12srgMohe8Jc($obMn4MrR%{vYZ;sUl| z2+*eq4ycU!3`j5?>~|^@h$ydyl86uK(wnKUUkPKHrK0aDX^)N$0TV*fdntz*>F>|* zb^GuB%pQMWKbL;5kH(8)diK{6hRaP2&Gc=;_bME8 zdS%)9`R?f(^Mg-7M5GLqafLO?-(Y_Iv_hOHMVn+XMMA&9s@O$~-jO8#DtA$qbuj(!aS zX=rAT5CMspW4SJ;im~66$8W8t%R3QfdK#_0Kfy;2oB#U0?0c6BV$vb+qVIm zpdUV{h@KK)dioc@i#_oDGJhl(00>Ua4bv2xK46bmz~BE#1z9cDuNur%jDY^;yAZN8 zrSDpAFpR&OK>u)pfnA+*xq`L%M63mh*UhSn?2zYfn@SaR4Z>={;;Ni>cD~Rs-n+g<-`}$F zhDj5Rr??}lXCDc<@qL?-QG+~2MXB^An0>Y>(z>^;&o1=)-%*yC02bcBRM+(Zg(K<( zFPI5pU?n({NAcN)2ws*2N^h%WvZQk8W(N%z^RSPk2c!%abLyEjNU1DlLhQqE7BidH z)1oRg?m@r=`CwrVA=1P~o<<%!_e)Dsh6)RWwH21%BA=iScLdvB-?4X((K(A5SXQ2q z$AfSG(Hm6gT(%H?!AR z)g|p`3+Z9%YA5aw&OnbyfGU}k6Is1P3AIP3{1lM9NkVYp6V4-u%z!c z>oN<1O~VJVN@2#}xj3QVaIYn4cq3(%zJ73P9+{V)=2ON9&nr0*m9XZ_ITyBB5nM&l zR6&8;@QCeR!cJc~pUSB;@nc+)K68`S)zJ(Khn%wTX^&x!C1z@njHGH6?>o}wu%n~b zc=Lc;$jIhE-QbZu+&T94At{cS?hEU0K_j&jQ>}7`DIhcF67rR%rk!i0|BX);g%^D| zOVy1}A;kJ-QmnjU2_7W7YKKKPhcG)Pf{IJciaj-EO$E{X!^!F=T!?3*b6L*9ws4|! z@5)F*p884SBxJoAqn?f~dKubeNvy33LRPFdO&bn^H-ii@L*it<$OI2V-}Tx!fTt7* zAM^=ZUy~3%8_PX6z9c;Bsn;X}3O&^U`SqOPi#o5ur!HU)@MMdCnt}HrFRrw2p3PuY zel(7R z6b9S_ZVAeV@K{m>@Me3m9yZ}q6w%3%|Ex=x9osNj+37!D;-690Fj`)P2teB`QWdh_3hS$ zcGn;{3YN@kHZ$<49Va-rjKpAa!J;9-gyMq#IFQyl&EOsmB#i8p??OFFcA&GcQz~E4 zj1xs06I>?JDTl14g0FxupAw)DxJj%m@{2%_H<6!MykGKwXHB!ZtJC(8hnBU_ol%Ds z;mej%+loNMPl-Y8BP}AI*G;WY!>L?K_FZ5aaSMzejb6>joQgVo>#ikz*?W-$>FEtw z(Gn}44f7c?R1tL-NX-1l6|Lf3CeIo59qcgJfO0afp)xN8lM((2~^mjV8N(9|+^6!(}B`r_vg6|4Mh-1$t z_axk20$+u78U{;>&vr#xVKvP6VBN|@O>!*s&c#6Kv!kdP^I~ne?QClHdgh;AYD>=4 ztg6cty~KT{&PT!&lYr^ySo`|rPUy27w`z1VXs z;uktfj0ovcsGBPVh0y88F3Ee*BE=S4ZB}mD?IICY{R&8{+%={P+)HUr<2j5z&s{b< zjR@VE5S7^mEexH>SkG)q;e}guu z=L78ORWfbHxkC8))lzq-dz z{#x(+Mn`sVq_`w27il4m0uHl=yXYB9);Zq@Dr1#@>@C^@UV8FKukCc zSak`P=1N3bEWp!gTU6VlO)8b_L zB)R_8kT~q*c}MJ?1Khf78!{PNw6Ffs4fTDxWY?W_c&Gk|&+4QCCCe%2QI7>JqPK^T z*H;fqc*K|J>D@n4X0sN-uHz%{Jz8LH{I{9@f~!B|7{FM<*0Q=mj#pV$|08Ity zCtSX5gEsR{JlQZmy%K1>s~+3BsBGu@dy>K>R}?}_Q3lTS27porEaTL zK$PK{*){rnVx>v+Zb@U4-SAYRI*7Jmv#_U!bjSE%aHY|`kd|4vWrM1YLcpMqe^Y}P zLkV{?S(%8mpwM!w$dHx)9gPzZxui)a5{HFOuOU*<2F%B2R^&^ktY>$=iagZyTFz2x z)?B#cY4IeUvG}Up#Lw&%>q9~ctxc2OD@yHkobFWf4;*t*c5pKp+HZH#vDfp#H8DP6 z8^yA2yDlqytsjfTRGHunSI2uMnO|>rKc=bcUn|*d4534#*UTM+w^(h*o-R?wA~`o! zb76R_ydxfgDehC0n-1NxEt3C2M_A$w%`FvDDRjTUh>RnE5Y!VNCe%HY5 zgOadvIRDb$3+tSM;CZ8(gDj8SU-BS^#;G76+VAiI3FiQ$+F2R3MLkuPfZ7tc%z*DE z3q6*e!I%97FRJ+@c;u$UDsWc$o+XwYX7re=GLHA%`WB|Pgn-Lmm|dRpk=LcR%1v1S zg6>>Xj-?Yv-I7&uq7^WopS`6|C85+XDfq=6=`P#JaonbOJFFK^pzz#VZ&D~jzZI36 zRm!u_U?F!Bw4Jju+YitsUDgRVC&#lTr(O9QtB+G3zFk z7>F)A>>ZAaA2asb4r5;AsOHl^oGDylCs$BjEN^W(jgw=^8}ScfiWuFT{_=y;N;n6yx z6;~MxG`^yuq}i)mberc}Xu(s8S$24C`Hl6>Q~5+n;3(1S$k3T2n4Yg}YAP{gg6gH4 z;unj1D{W2SE!%^h@v|@00UBJbRSSN0Yr)=ix>E66jC;Xn46%NsW3sx>_xTyMJbb)V zY`gl1n}v@d+}^MMQpUtr#(Y7j<74mCRRZO}4J9S`0Iyj>3!F`GE70OkNX#_s)uf{6 z*W~7}`eeC9&=(BTBO+P=tg0$q51xHkFuEVX#qiH4)^9S2v8tt<3{9|vpZ@P)lhLy9 z`I5|&*RTu1p0oX^wu5fM+($!ztPgKU(M*lLHQ#4DN5R$DT5~Q+GM=T!<>HdND|2Yc zpFIoa1YAo+5lkFZ3V(b8_ak}z!4f5pb1DzMyQ=sfkX?!;<3-4ka&@SF!EC;*sLUHU zj&*F9I-!9b9TJ4f6W$yym&`D&)?MO-{2d+eWcsxn4?6A`QZVDgy2x|?){5DsE;Q!5 za_pG`);7IiH!P@7mGId7Y68bW*ow&$rpONV!$M&$IZA{i@7?GmuxfGo4y|%o=*()z zMn>LWwnMwKB?NV_g=*CjxvfUVvVdnrTw_$=I)?i08u?TGC>p`N7aPVGGRFXg#28+8qwj1@ta;4^H*rm-ccn|I-9 ztwrM$@d3`U7p)QMsHVa1wJM_#q3Wt%fogYtK`kFGf!rD+c7!KI&( zTr6vL`kRQ|jhj^H9wA*$98DsslHD}NX{Yv@6KBrs=Jo(vxU%&jl&W!-ema(?5EOn? zyV=hZw9zRZgm|M9a!o5zc7md8sh?Yx^J@hdNAoyb#csUdrM{Mg+TxwboV_4zR}@nI z7cCj?$Lu-;HRIYyx}Bpxvf28F;x7}bj=QR``YQGfC(~!{cfzjlp}c7J0^Z9Swb+-2 zLa2O<*AHd0jFZ80=znNu z&`>Cd`(y=vy24V{w>`9-vcw=`#U@6+YO=P<-i6w~WXht;*Jos5^-EZU?zoodJ!3-^ z&!J93HyxgObJQ;PE1?;fm4QzD14teSkE-|1sc|D?vygQ*Q5qewgxOgwjal%Ue#n{5 z&<@^%oRC$;#MlD6;SU$m#vDd>xo%c+nfK8=>qZCVG^^SoYV)ee@JNV!Hy+n$m`@ZR zpFMrliw<8>oV8SVuVoQO%k5V3rmKWEAMmj+XY3blPOB-i>R|srIDBNeN#?PcIZH$N z+HAWeYXcAUY67+P3Gt6457rv@BzwWq{UGxfpMc6-V!3D8%_}Ze10}Q81W%?Z_IxEJMBN4r9^dq0F@5^B#qa1eiQq-Z zl9?iduaI6BC2#Xx1Lc)~9s7yh4IT|lyYlA~T0g1_b8OX3Vg2E&GJU^mE%n?nMR0a% z+!o8PlMtMu8gJ=EqEGBmA-3TNO*G2)XPP*=UT4@9BDJx*SSl&MpXNL;*g6L~9g%3m zpJOglXh;*I20Na9@~F(QPhQ>c8c;LOGUdSa!y~al^2cQ2f!X6Z3yzv>d$S#=iLTaj zS_1(p=Eu9i+KGrQw_zX6mgtKODUz|y59z06tu7xV?|P+N2sl|Wn6;9QDaN} zpgy{KR~@3NwpeltXJ^aa@&Y@f%(Z4+uM1HTC2S`Got1h%wzz-79%SuFf*y83+ z(wqyudg~~SVaQ~v!7tJ@AC?H=?co=4rPqIzkw^W{a$w_~6;epL1d0_VTOJJD;+=*T|lGdudONA8c9O!b< zhG4dQ$7TpeDK6^j^5eyfE)kQHQ{T9^`I#3^4|nOh8lV<2+7WKFRSrR&ALp z9JG^MO{J{$(?otqCDjN=vAiS@v_gaox`=R3Uyr^wdA}7&f5E`17DWQD>Iwq`<~`VP z=5cA4S_Mf;yUML}Vtpl_h z7A;N34jb8evzmqswK)PRjt+S83@K~rkRM;Ft~e&!9$t@CL-J_Rv_z!g-}vDyowQB+ z!ky}&L`sb$YRy$M{iH^l(@ED#kMxF((SX5u_h1iCdmy6i;l0Bj$}e?8+c#Z=oPpuEsC*+;z@Sp3O%hj zJI|UN%d7Lzl!~%%q?XJbdJjH7YPrs;3fhw&vCeoIRjccHZ%L}r@yg!je$o6VxDLF= zQpW-+xe<1JUQjy43HTv}eDe*=nTRwi8*ypG`ZA@nD?A0>ozIzCH{9cmItjEcQOi!Q zk3ZcHC7)p9PhrL5X~pozEKA(JoiLFru?{A#_}0BmY0H3oF34@MfxKqp^-lMT`wZBN z;(k5V#I2A+$?B?eCazMQ%ZvAH&h_r0zs@UqF=0?{&XR;Zme97jOPsibCieBvp@=JOwqCAVAki_bN+ragZV zuGWebu2;SQ^cFuaNhnZ`Oi$hEw%it(E;@~K>cFyQ-s(!7ORN7ml?Ce%y4q7Y-lYzl z&Mms(%p<9(FgJTJjYgGcTCfN8Nosz2&~`@77$kHa&&dOrf0EjCdV~Fgad^H@8$K#l zfi7PBXJmuxOXd)%M|&F=d4y*!S5Jq;#=M z(RuSC&0FvFGPbgVZqQdMSQh=!bM0Np%`K zc6z~#squCbm{u?Voc?&L*0%ad=YL(m|e@% zdtwdI%BuN4M-i{}Z>+PUN;bHd4OR_l6-3A`5#5StfNk0{@Q^Hb@*vkW+XH+F-+mM8|n_; z1s>zsyt=VmbB)-aySyhCJ&2qLTJQ4a0xAi-vsJF`Zk^%L>}EAeq+xwhl^sr0zANkT zmmCDaKBDS)I?FSO3)IEIQzw3!C)@4vqyOd|E;dsC_@{b{Untk5zchI96i6X6)f_|zujDQdN{$8>JJQpmvHWqub`yUyn43o;%m)?JzWx( zvC`%>N=Kp)WUgZns!LSA(YxTg*#C!wkL7>3z-46mKZKn_tT0Njt+)Se+qP}nwr$(C zZQHhO+qUg}Px2;jaFbhuN)J2fQP*1EDz^Vm;bUNBVPO8>Bt8Zpt+Wy}j^yoHF z`7DTb+UTW2&1!yoxBse4-GBd9emk=3zd~(0yp>Hj)Pzh+Y1-lW<8!(*CY^Zd^n<`i zD1^+3kElVA-(DS!h>gfiz``din;wSNH#ROXGd2z-B2oh7&;a}+9ZIMG#=#b7W!?Tm zgm(bI~*4-sq} zOB48SG8#7)I^Po3@jI&4(CYHo@*Du98=;zilpkx14aN)$DIa)$hJ#;35;b4{U-O5Q z`YRovX8&FbApHWzm0T2X#rJ!|G;+Yo}?@!n*RCG zV>kgJDzPm#A0afM_>_W$tp2 zn27M27MA(Z3546YcVPio{-d_WE~f7l4Jj-wHLSV50E+R^;paGF>FgWyWo!P|S$>Lz zK9OB<`#uX(elh?oA|j%HXjA~^Z~&bcSxnysx+^=d?_^0AaF1GGySc8dt^iAI#QwYZ zO8Z;?vdfAJpy2n9_o1I(zuAuZz+)pI^nn;%fzSbG_*w1yYWflaO8pMnPPzQI0XU=W zn#Mr%zmHz#*m~L?7#ms|9RFy3&HON!lZ8)4h|PZ|-|=$m>ua$3lVU?q_{XM4LG}-i zLG0@pfV%&zL>Azm-H@aER7$L+Z2-0XK)+N={vg&*?tYbid$5%K|27lbe6Td}{U6_= zuNWH{F#CEKe)!}*^CaV=`9wOh7mygSP!iBk{?Mp87&h=sGv? zq)b5@0Vy{*1Ap5o0XRuTNB>5=wy2G!+NKWPSrhyk{q3Tj^wJDjM_Wn#tkIdUxccV@ z2Ig^MA8g{&H`W1irR}QBfty8%mEVeS2#lXGDD@t^-)&<(@t z!~e#x13(k@A&~hCJhL4F(TD#8v7-Y*ANC<2`3oGf83NLa|A^Y*8vhAo+j&OzAu#z1 ze6V>gDSgDK1438!Eod!U{@1cG|7*sYfB3a*xd(R7sX+^N&!}YyK?MyY_c!-hoIj;a z-$H*@o__}28LYqm8hS98T3bA?w*TbSHU9F|wfrL z0{!R(`gVQ*ZE|paOMXzxHv0Cn+@AItx>LrtcV@B8pXegkFwgbwYtT^t0_{o~ztOy< z<}UT_Y22>-LOxU1`l$a9I&bXu>>BOhy8RmV4BNhDe3x3hyw2CZ%Py;>{gnQ+oL1ZL zZ+35kZ|*1?drxf4POjhSzU+{{_G~<#Oz*6(K$saCKjWg>klx{r{9ICh>}LH=I(|!k z)zTv_W@h_7`=3=;_Xg^FC^&#>1paVfNK4t^`eeFs1i{Fh{_Wpk_Rz2gB~{(@A@6P; zeAB(J!lwBRu+i22VWzOzwEcH{y8Z9!pbzgly=+pr{9%3CKWFLaTwL8Ndlz#~f36n4 z|NcI%!GL!BNA0JeT1UA9P+bCW;8+CRYn{LL-c2W7Srp69xzlhsbMoT#kt!;gzS(eY zgAv7g3#)G;6?P$O;eQ{wEo}T@ETYsb|1Ms>DO5c?`*3V6E{FDw2O{Ku0DiyXoGSzW z>GoasEdNjwXbp6gOgLWWa3ml<&Esi*k!)Z7n^YYOLVHbtt=ur#&zmwmCtM+P{)s#r zcZ^{?Yltw&KEK~nDAH*snA_Q%DKwGmMU)&{?DxnMZAA98v||wCnf0nxD`(_--H$&s zH#!p9EsT*%@`A)8kuak1OhvZkj3%4&JI`KkmDO+LEPP&1Q}eZd_bri=Wu1_T2$}(i zAb24$Y?5J|?Mx?!4P|*Ul<{1Wxr{7Y8Bb6pfPJpiA5oYqg`R8K`%2cia{!Tw&?u9@ zDYTBwP?s}b8bb|)%hi#KMb7NAV|~VsXer<_?&j@`U05FsF~$$w+q~#9N>wa0C^laB^`L`#}f{RaWn%vm9l%8oRVRSUU zU5bBgP6<4b7jG8UNNCyI%6!Kkl zXRL;|_@ zrkggM`5hi=ADdI{#TL((ezQq~GiA_xR^&HN zhS5!xzar#En6qlQ@69hq<#8I&e?v8^5?@GX+SeNr3fOdRp;;fu1?X@KLqVC*@2Q2< zX0gm8i6j@EgF6Xyrf?u32h)+zTbVOK5tpS;uNf0C`h_-ayv6nNz92*kAi~b#f}Ki) zcCRP6RnobZ?i4t(nb6k`@5-`XE}u3nXF5l(fBLAvF_Jpq-zuJbIL$9 z@ganFtWJr`G4$-uZq!Rnl6EB?l+g$W$6ko#bqHxhB)qT4DAqJyC1W!$2*H&o-I#L9 zHm5iQG0EyPKD)7Ic?@z!VXGc<-Q64PDL6v>JJB^oRxD7B=<;;+A<)eFW4$L6q56<*rv zeAV!K2gs+!+j=jd=mv8m#^7}nf!Njefpz-nW7WwHcwFZn{eA$X;4qD*(-hZ~rmhy- zh&rUqJwaC>z0pOI)b;t1hfZW)S8O6|r?aMG@=0xtx|=i{*X<&_c1?f;5RQc}GYLyH zpmZv{F=97Jk?I#$L(yJ!%nKV%5UnzHKzeMuP^+zd$OEU$ULjqRAzZ^)M)o$8hKjc) z51NjxL#j{2sSeN*jKgPaO{7$H;)ZQaE-JI1gVfhmEQYj;k$%sa`MOZy;K9Om;B3U( zZBRmku<>dF>5Bw}b-|)>AMJenpBq-cyP42|dM!?ijiz5aZvW2mF=+%ivhGdK>@dNM zf!fCTJOm0wKDt&hO2D!_Bh|_?~22zy$ObJ<`sKN zX^go20$CP{aE`5bO<|)it@NatVuXJ0yYWP`SzbPp4Qf#&-z=(~3-9 zPT#bery=`=)Ng}p3Mr9oC@Sb6}R-9X5Y5Mph%)UyQ3I`HKABP;IzLiw2>hTghaA6-%H}D8KwoXNC8>)XNhN9fGTXDD4qQr_M z!NzLk)?sDadq+*MSoNx|jig;{_ekS2EUeE31)NnJ6^oW)qyKeWPu=m?v$#9m*Pa>B ze^9@UcQS5WsF^_h8-!*G$=njS?$wGutjVJC zM3(JBm1bM(+AXKNALqn=RP0K4VG%_3PR@LkOyj6{sa*p;SMGgX74E%3z)~ zw_zY1cUkvTb7)*Ok64JE|Bj0`Nt^>F7virKlS@CvW=Vu^iiXl+V;+}@R;%^nE-k?F z8sUP`H>D*?)s|VhU>u;g=PvXE^@WdFl>VBJbaPJ!?TlRsIgdkp&%_^4-|NVlH3QZH z4mV6O{VM1~kDh+rYO+KjzE1UuB&ht5(ns@8Jd(hr%d>LNuxZ-}yiR2_?jt_SOrlZc zgmT_$t!?L?6JhVoYO8|b3Ha9%Zh?%Hf6TfsLMX@Vpb0{7o7Uz#dOrnsMp4PytbLra zQS7P)rjl&gP4q;mrP4NIDmeTQ(Jcl&m1^ba&42hx;x2*Hoh(BK4=jl` z%pJz?VEG%dZemn~fbkauGe(g<5e>IKet0!0T#2Lo@&X1lO_HFB+GL0IAnp;K-+d(< zq1$!bd#LdvRH5iZ`AK8&7XUG8qiMxdRkQiq;S@e zKYg{>e{Z^J53FE>*|Y&FJTS-v<^?gidKrvR-5>;MaJ6Dt4MvN!Xhv`-gEiCrAXO@Q z@4AYgrOt=(tqY3K3HK;ivgNIkIQ!N2Oty2Vv={md)NE-+j_# zhgw`HEC!5ps5sa;wFC*#74dCYFNV*W?-TLTJ&-lb(D~2PFl|J6AtS6NMWFjGs+Y4K z-B%x*69b=+ekTHpGtd@JZ32I-|5JJHbzRE&_6%i4SwZN>fe+1ZBnq+&Y6)z zLOjBo?Dk2~C%!+u^r>M4E~sjnAl02M{iWy@A2${cA|JK$z!gAD6gF#-6M)6gasaSL z*MwTd&{$~(EdCT~X>hCGXg(6`!UuvD+3ud2zy^kT^viS~-2xwk-Z|i_vP}WIs*F{E z!+F}hfJez>M$rK7L-WtT;3gz3J9i98miY}(*c1WnJqR1(^DkFqfD<2?0uC01Z4ZO; zL{X;ZWz!&eT-=)_gd@~t5QLxpJN<2!Lh(bfn6O||E3LY@JynaDR@$K6!3J~r%dn&| zuJ=zdiKYJjZ1+t1;`Jorgj*4e)e!;hDwfxax^Y{a&&|dQ6S^mgcO>C%z?@ZH`da8I zwcn0meo`K^V87oP;HsoO^{4=vBngkOGb3fjD`WG>ZV%j_M0k@&ZZ0UX;>LqvY$RIV zVT5*g!@#r2L2pWZI7CO;V}rCbmR@QR{HJ1f5x-j@X3y0GecN5~?JiMu~G zJsp8ej5qIE3F5?ghy(E?{rE|G zC@kq$de|*0FVBGH_`^xGQ}qY+d>gAVd)&;TS?*T}lhX1^Yeuc02`|=cBJmytM*`^y$0Z=`cowvxI>@~#x7b6pV`+P? zlmp+0#{J%y7+86`+Y?|kLNi`h1b(OTlts2&n z-Dx=Ezeor!TW|H2!nv&Mf@#(R!81*f9=fn@WSmd;oZ;iTT(w{TNQCvNr!-Vnn8|?& z?g2I0Kz~q=TZu&G`ph9Euz<7u448N4eh1eD8etmTe=f56;Josld8I~tVL0CMGyV!8 zX;QP`%GK2`Z0v1WP%|v|;rHGJ;&b3GLf~9u#S&3LSVMfTng z^+m=w$7TJGmudJi5>O{!`1@CjekprAZgQ4mo4V_X8AmAGe?*X1{X0c5OhFPzzp&|L zntn15n%a(nzJyITF-|Jk(3I9S$c*N4j~pe<`KEiAoYx0nRt;i~PYsd#xEX3!3ezj&5)+Z8{t0jCxGvq!sg>*joD)%Rcum`1 zGZU12ElZig`?o4Z$xjUU;=LX*$8VXQIv#u0fY{S6mNj)0HeIRv2B$wV4oWp62=Y2d z+1j3IK^EUdy<58&G%D7b2g6ZUoJohrrxN|`Nazhyg8)0{Da|7~C(}FVIc_Hmo3_S%FZ2kM`oQ)zqk ztu4kws<0ndhKGf8xAp_-j=-kXOZiIsp2d2BXGIoqMPBFl;2}@w!p&$kSn1I(c5iW4 zI>c-C@S^#dhlEZk3vBXr%mSlUXL0oYn!W9%Cz;OdB$>b?XIP`DRjLb~8}OB?A#E{m z55z*PlIQCslV7q>{l#aXH>|qdsXK!-<7i0kVA$MxL5c2&;ep^tMI!FwvWdJR4;fcg zgz;1JiFf(Y*D1WdUAEA>eIR)jm!cBbgMdyEKwcOKxiUi8edo~XK#fXB@}+&m7`a() zT|vtj5+w{tzH}F9yv3k8j=C&&hNVBi+l`=g@^U0Wq&@1yeRN`Z*s}SE(bBNy(M9Dv zR+of|Q5lP6`gICqOagxWO{G$X_c#3AA@<*V=NVat5;e$k{PMny{C#&m5n>z1nDZzs z*WZZ$gBG9)Ufdzu;E4=GkajP31b;HfH#G>4d$rR(e6C2`Eeh8)Eq5z5!BRNG59;8( z9gnnkGv7I@CaJgN1gDuF0ZGY*xoGtdukS`|kDO;O5}f*GET^Wvq7D!4e0hkO$3~;a z-w1`f;yI4ZvOWaoL@Annf;pz-fU&Uohc<6{>C^)|0CO-{NVxxm#G>j;hz?$TKzVZp zm@I`2)djClgsBw_7;@AuY8pGUfxoC{4w)x2ggPZI(qlvAg=?bOtw^3Im*9)Zq(lo$2QLmNOQ61awpT)xU) zJQ-t{S)C#tkJ%t^QW;>reCbCsMBUUy>b9Ea1|uRw37OXia3k35^;Wfyif-p}C=2)> zPVNFma1E}b%`BM@1$_6PiNjk^6|^i*EmR#n2exLGDJ7Xy_INw9h0 z4@Q>3WNCl;8+W$+5Mdmsdx)P*$Eqlf}i~+f%TG;LCo*^%rj=I4$ z_ldk)#8A>NzydhwJJ+c_}Ix$BtF&>|^!sD3Nza{@rZPUB&~xa@zJ}GMZ&a72;DCCe z;*TulKnj3ONP!PI;4z|;1bLcYB)Ftg6M~pjP>~$ME1N~GC2Cy^oxL~JNClp)_Hj8P zCJ!7(Fq9DQ>I7P zTO^s zMt3+q6}RGH@K=dgi$*^pvb1Jk*B;h^ZsHjQidThSgIgD~7_iko-kx|$dJi*7>Rk=J z=R7ApMuqL+WP!RuH0WcV48Mh88=H82i(cRma^WT9g$-U0p;U5O&UCpfk{S@y)lF2b zkR-~Q;DX{M+r|K8l5PgfW$e236jt3u9x976q| z6O|l(zN}l|*{*cj!=Inyn-$l--jsn;wUA{o^Dq6!M^MHMy^8y=J>)0Yd&{?{>zIOR zKFZwi49mFJaQELJI@8kIe%*{io>g%^qio^qXq^bLG1VIq z=AaEP020*+SDmytf#~HDq!lFB7!?~-(=iHnyLr_9`Lj#)D8NZ5O4vsb$4$j}qWTW^ z1Yp(YHXYmm-*2AVeMYt;NKdFE74ORv1WfX>r>2L8Dv2=iqiC4l&cITD4>NmqDer2OS4}n)z9yocRKfc&Ueu z;xEzIhUjRUM(BHqi`kt1c&b&YHV8`+cu=yz?<*~CJ#jtepXm4xpRc8@s<24yGX|1j z&ucEvU0T(F>vb~Tn-L`JUTcfb#X52nz0>vbGf;L3qff2sKkkvk>&$IWDjzIlNxP*_ z3jVeUzg`-}8U8h%&-bN{9LS@0QQ2Bae(;1e_eIvhaLzcJu+}CP1oS&|%gq>!-$#6@ zH53+cL8M_wGPUPv$TS)*nyl1UrZx_skVRKlcY19ue{m=i(u+w$vLEtjWi`yTLJVXE zb9L<*?`_0phM$y+M5;^z*q5I+LYm`&f3w8EsSvGiEXa8FE-%%L=j)KQ6Bqq&(t4V$ zBE;TPdXb{%mF>;ulnQc^pU^X+0}=!147!2x5j`-FVpkT}U(_cv*^Vpe1n(OCkU{zj zm^pJWcM~1XsiWZEI8Z58O$h8|abDGH+8zOvpl9LS^>oq-75BsjWqKHx>4+XOA~%&r zn8dhwX&{GYg*qs)QQO{uKOmFvnf2z%*)o}H(3D@dmb$#voLXAxE>@&~v7&^c3~`u8 z+SwoJLL=C?`K|TM-4Kd%rt@;c4(M;fmz6(9`|k8oLa{7J4$J~K+z_JcL8~_bdfO*+ z%(;&&2ID#2MXPC7CjN|MEZgG@EDV9$yP5GG7Z`il`!KGNd|26EHnoC~XPfo2%jIvO z6Drr6ES(ryyat-3%5hcT6svk&`FNPL$DKlPwH!Den2iv7k%r)IrN_)ZMTSqf##y~> zAz$J)Wh(%4jwb33$_|QC7ePZDg_$_AIcEQy!VfYg5LZi+^*3n{0orKrZ}IZuVV$~W zg=Ml`f#{?|xql6?m;T{DOkrkhx8_T6WGap7#EL!_dde*<4t-t06_UPG{%}8Xh!#FA z!ZlU5W0L&T%4b*?gZIeD;!cjypIO<*I39?W@jrpRzJjFPuKDJ! zqaO!@TM=-(W)b5tc8Mk7`3hjUx>Pq81evxx>Ls?YO6V0{RSv0{LG%2R5UZSAd$hW` zJ?XnhL3iP1wcT$bi=m)6?IQxS_hmzY21oKlm@Go|hn&|W*)fG{-q(-O*SC=90(;8e zb|)?Rp006UHnxZ@l8`WCHk5Q%P~z?y-;s3c&OmGQxu2M4mD}!5CR)CA;tZ;yuzp_q z7z(M=qnZ<|xYB8bQAe1FE<%<0UPy)~)e*a~{vgw1!eegvCYwWbIS$E(LrLZXLkuOr z7q@->dNHR>r9*FxZ|Qe`UkS@>JUZu`sTUclD}rPEh)BT|ojVj%TL$8AL)7~Z&g1=6Y>2BA#Hk8Rgwh&Ro?dqE ztDM-V!z0FX){fxs{c+%)fRhG0iC`DFayP~=)0Qvcy$Kq+Ar!%%UACT%L87CG(sFi| zb9>n*vqP>iszIpYzRSXMpa0L-sj}GZh+cFJ-WQ<^e$JeY1aUc&}TON&*mbFO!fh47V;VWKVNb~SVRu>mR{y{N+s5bc}<6! z>%{0IU62Kk^X7Z3ldv0(pv6Ut4v$MNrZp5-N_$N$Dh;vD@-%O4v--q8D_UNDaP(!KFq)0zG zDHZ+eejO9Oo;sE}-_joYtOQp|+f~3l;NN*wn+d`6u!gVj7e0)2nbn%wU3kmeg$Ell zgj!{I9CxZ~+O&o`O{|0}mufEkyiwMY#O?7tzv0P$FW}rUu5LCInDgAZMAlANlt~|17XIm25+C%6Yr!~fa1KNW-DWyTRy*~T+S_~gz znXVw$EbvP8#ptG{74!&YkUYBu6@SY-B{jCzB{V7|m5H40zu{w_rAPqRX7yqJ7;eHAgD}_j9mk6kbbKSY) zQ)P(eGS`t4s^UQRyXX@_c?#mUD>4ztFxEM;mNyT1`8%GD!vpsAQQ;x>+_Iq*^X&f4 z_VEa)1aPUCe8|f@d3+1h9H6rZT@_pKvrT-zoC6THiuL=4grg-CHx+5Qi0tr+dPFUc ztXpDBJH}yV7zjl=UWj#x7J5WoH>u#9H@vVt4o=)>nj&T`ef{u@LvkM_Hm!H(Xa;y? zt+9n-Dm(0E5HOfYN|j2BE53lQ{^kPDt~QAD9zxE86|~Gt7TOPMg3L05y7pMn!j#}w zXU!*}-+z=rgToq5wjqI3eJZ%Ad(%U1$+`g$Bte!T%+DK@2A@oX&{pLNjfzhvq|-W# zCM|C~<%b_EOrxxwAapS`U0i^Sx+!7F)9G{f`Ag8=Cun6+6m4-<6-?ehXE>cA5`6Mv z1DjFg-rpeF_0V(}Dk&0#jLjhTG``>)?*);eCb%83mq}zO68?>DO;z6EsCsGBRdZ%J zQ(1oS1t=SLZTAAZ*m^fMUf9IQ3Gcd2^cJ+oO2VVqST^t&kxxe&CZN%69vudC<)SaQ zEUj#Ctmm#vSZbu)yVgAU*tsVJaLxc_HsHaSe27(JvQQ@n0eG z@To48-sifT(+jmGiqCQtC&%XGxvGJ*bj@3PM5kI9=L~#lb7UqgKa;|dD$+yaQo^HP zP22j3*DuJtnwhz#%neQ>h1U5;V-`*mIv$sw$i;MTvTLoK7rm*UgN;>@w4N{3kDHAQ z6H05R4YHxQ@A#>sg3q+1X@L*J#!^MvW;T!`juh1Sc4fahI`U0yb&sjvgoMneUxd5-}tXyYytFS zza;m{BE=-@F`2vl_QvtyH4y!$_SAm&TV(NdDO7ui%@X=0=el$zstWH;%bKx z0I06$C)NRV8Q+&!-6{T>n2*E;><>BmTjW)t5GXn`3ucpdwd|sHAd`JK0eo-AKtx}E_%YyYQ^!2< z;J=JWB{FJdyUuo{E$yBS-baX)?i?WDw2$CE4WVCD8#>Pc0TCADq_0(XduvGb*-TH& z3d+Z4|4uPN2iVhXu^AShGZ+^!YIjO##ALf85@38FIM(9Mmi-{*S6WPV zBm13Gbi7-uvRV2J&{UNscfY!y3%olV552j3Y(4FsuK$9WbS_0oz8L8hZXwaYB+fhG zsDkH+S~=QzAMISRLek*kfuS{UnMTI5>5;Uv<61^l4ie$ay7ae&!vpsom_~Sf&^$a} z$PZtm`PTUA2Wi-oGdgu*5vf}3gs{Ny_$#&p+zN!BQtHffRVtq2P|So!K-Q_<0NGO) zMZt+Hw$wl8+hrBXvs05l4#+V+y`5D>mq*8|#g&RY6yUYkK&qdsUd--Ur!O{T&ndE* zSf-$?#kyH3FpEG3MZ&Bqg&Wv7%AblhJ%JLCVp3B%^<(^@D7K3SF{gBn%R4r1T2MTMh@*b8|P#2E%48Of=>6@dp&Tc4D>+|@Q? z*up}JNCh_lltG9BDY!Aj@os<4!F1X^S>7`;Fg&?b%r(#xP+(auqw&dyX_6oQSAF^V;gLU|bvDAUNWODetM%U9_ppF1DUV zS9q=TTt(`l_oA7BexdnR#YF68{w`GzaDDS|2-bi_8tdfk2zC7Vy%}-(kHJn%F(Dwl zpoy8_GY!x_TdIvv7B+bF7n8RcEax4|Qh0OE?DV zXusgl)C$oKyN3bRH;J(xNquih3AReq+2nkp)MO&uwfcig&ofjUM~2!QoS@`tpq>p5 zNAEC}C@5E4-lztP9;0bDcJ`xMOu^D_Y$b+E|D9eb5IkUZ5DjhHNY&Jx0CV?gCb;mS zNGwH}ThDLf3=UUL1BRfUFl<8{mj^zS1Qm=+6>O z4WKu80PSjfkm=yUr&!8#C@d%MHzX z3dx&&dtTlG8!pESiZ2hQ6iZ<2hH(iMO3u1z>1`ky+P+UBJGEDs% zskBW}{(gVUQ4Cik5Y~Cx=cG)BJTmP>3LI@<1Ro@C7!ywxsq7hk94NW%ZS_C87XH0d~A@?V< za*$ymsFjRf0z4T%r4sAEIOj=tiNG2Vmp>D~uLmGp%pSEwsvkV$GA`&=8?l(DHN`El z#TLtLTx!rDjiD=g!vOc3Y^Rj3?^SezJ1l%eEi=3c`aK_C-z;abuKcDxVb(P#WoroI^)^;o0QNhnDHqUy+JGu_$DcvD^d=*h@4V><)a$bV z<=>Z|Zt2w&iC{B#l_tH_+%NZTXO!$HFN30p)a1P6Y@sUDk;UFieGAK${q&nsk4<8z(*WuBAk9?qgZYfEiYvUN1%N}O<+VEKqM}a7WBsConvKP0V!GGH%}t< zf)yFrW}+;{T-3#F@y_7I#;}$_?GW>jQ*H@zzF^OwAIv|`zc%N)Fyh(2Dc_?d25poVKRXxC)WNV9=$1V+V;_?bYckO82LxvDS-~06A0bj+>!o*=^QW^ag@^Uy z7$3unP~ayam9%^ReUAT=+-$zgvGNc&4aDb#JvFadoQ+s#0v7iXt>cQRJDjy-?G^@W zwq0-JG^PuI5v3b>1DrvR*XuX=afoEDP#BLWFi6TE=?sm2mctpqJIiqRPPqo9^cDMy z7gzjXMrSJQ@-?ESq`r4E&j(11oq4D{2?cCC2M9V`-vF?hea)A+Wi;MtFSxvlWX&24 zU#%M7lD(`Pi>+U#F7E;VmPbWpkwUHGSdbS%&cfFEnOh^+-DAfugF?YYR^p(m5tH^+ zS@l*Pf>_~kgnqqTO2@r}@u7Wz_RqHpjMW&j!ZejIGkz|px=331b(m{mUkefPH_8`( zsDtZ4*ZvnP?qvZ2Jh5x>O#Ad9WD(WzWrc7Ngni~xHEusYD{2S_gJ`KXLjlrvTtFv1 z{6zB}qPgf-Ce3cI_ChCwQbmYs%`p}8JMM0)h$Y4xN}{gi{s!`*MphiwZPGhhtN+ly ztl6N8`Vs#$rN@_xKA6L%?6lTdwZA0lPcf)_)HBoQPj)*z7}53068&pNq|OhV#Cv5BmlWX>Bt_&OOxxsQy2}mt?cuGA zaWNhaUT`jk5>mSR>j!KRQL&#Lc`LM-s{Q8xwC=LK`ie|gyt!J}fg9&*8=p8Q-^LZq z>*JMcM$dz(4O#z67pZ=(D9Z{$*=sez);)eGoQbMBSN+>m$`(6F=*QuwQH@*eZFruL zZ70M2Eho_Y(Ce55o4b7Sm542wS5J7;tby82k^YKvQKdqH^t{l(?s~#~O49 zA1%(rU{)PnroyD{;*OJ~CwjGI8I6d-tdbA`#$9u3|GkKcLF=^`5T(Hf2FuX))rM>jvO1TZ*p`9^!Qs>T2B!{acrvmO6$-_Bk?z?lu@PiW%@*O5rJ!Ic1G?bsC|hI2?DeXe4A z7iSzf4=M*IhvL1pEdh1@D>%eyc!o|Q=12<;&cV<7fnS07xX3LNdd)kF+G~~sQAo~_ zwN^t2gh>|L&DJgULA#2sXxKFj1`vahK{dk|*YuL}!!2ls3X>+Fuq~l6;G;()Do!J$LOP+0wY6}p8wy<)F=?dq*Mri z*sZihnOqxH`il|H_kBB2Reng3w75LgzsSR9F!I6V}; z{jLrBC%<=JTpm`IJt`E$- zQCc#=y;YD)gxyi5!lXPNI&MaDiI%ic0w4WfIuHKg%}2{V3(BJBgp&vy`hnx^7R{n~ zo-Rr~el5!~3h_#xdh3*83kpt;% zO_(Nk;GQP|kEzgG6nR{{1=E~$Dx$#jlHt?QFeFR!US3@s_wh#oGxSAm^hpfD951B} z+w^$O41IDys;y#(i^-oi<`yw;wRS7s zS>^&&+mb@b^+PANi!rR~j%DIg#2@nTA20$_odvTk_%l@cn#1hxBB%a|NO4D1@ACk% zoZ~Yema-KFx#j`12JY}9Fp-kQ@5eV;H)XndW%B}TVD}@4B`GIDR#$qx`BrTVldbz{ zH~YF(Yt;Iet;@BFiN|!{wGWLo+;tWd6riQ{T(5X8T}`Nkbpj$0JE^k$6vl0#EJ==) zOa=3le%=%&`@*RnRgkZlRkIqe_Ux;~Jv>mYJD4E9`tU#EVzl)luk!;&7;xStVE7ku zge}^Fr_LL4BpM4r&se>Q9sS~tw=R{2W0G1ACgQV9lMtsx1~B4y)v>zF*l+UJYN^GM zn(u_0bTIIEgSb>>atN z^jrM`ld|Y?xh5I^49qK3Weph5-BccY8{0bJNi|Sk{5!`9_1}eu4hF*hpr_0M#YWPI z@iz=HHw?)ryVcH9QEmHJin{KO%-Zmo(PukOuU>JzI&j6vRmO{RzPCFX$o5z=m*m}LG2@eZy^S1Z z(Zol?>uky-d#$HNfz0A{i3Pb>YyXVAFlEL`N5vq_0%47i%MNArYzi*-+W``j)1%I4~>L0F@Q#4{K!6>m%hi{eel(FYMAt2AR&&$lM%nk-RwI)U$W zmLlp$6JC(^W@IL);9Ubg67`X^P)hpj>SeFfAPbtwQ$K9vnX;yOuK4{ztkU6? zl#ptO^_;(ekKw&_OyPf;JlicGRNnMY*>y`s#>ecLpmEzLtP9K<@rY%psnm*jp)*B_ zvYh}t$5#|?oO#&s?X+ElYux`sj$Uzg4a!Hqw%leo--NC?{#|gh3M?TkQmMQcVMJyn zXtuK;e8!cupA%rTB;G)w6Uw~1$6pfg$80#*TQ7(adL<@bsU*??=KU9l%g}g;)^4(Y z-E6OVuP9;pUz#kHyyd2hZ*030TB_s6m#K-6r#4-TM0lWqHW6wOv>iXvvqBAiX6k6% zuDWa-qclfN3XJ=!&l_>5OLTby|3l0P7KE(AS&ncivyX+DadE+uWe*%S#2@lug|sBL!|Sg6TKhP-A0*&ZvSkjcO7muvl3VpgiO71NA3${HV6b zCixml@W&Gi&-a%(Y%|+MsJc}VSZRs|>)kCRoog{2Vgm0Tl&;c4mz@8Y>H*JLU5T6h znqP}z!Z4m_RjB&sx+qSLtm`4!GQeDjPN5wm&IBn(K|mc^#>G(X zO&mJSXZ4}9{<#37=zs|~fajY;-COn_u{dTjgWW?C_O(?~oAC0M#ooDBNrWh|k;98m zLOwxZ*LXN$Y2JNCdUzng;_fu{_mH$Un_VK+NPG7m8Tx#$>PETRQbno}Zu_iIR^dmCxRc3~1emE$XmwCo^#kPmyd(QnP$y^5cn>qzYeLTC_Oql=&^LP;;7?*!R zZ?7aIBAoUZkTvHWHse7Fm_8NUAk=o#=qQ%1iDq%CJ7YhUHOn=hPai>2XI>V|HzFF^ zP`X+TzuB*TwhP5&fi3V@`DB#Rc-wn?znWQdo`R8ViGYOw;HGN#MML*dtPLhY+R=y| zvZaOd?sM`uUlJ$E>Tr45D3=FN*|;`(;9*s+a880^lk6P^T&C@~F*LW^6;*>LBm`!k zyfF}<4S|=;BD4kMG*tZIyD|~uMgTS{`(P^n>~|yG3z%}K(_bCj9RW`FiuHR|$b-J1 zdnY){&6=s)2fqFz5rNd@R#Ngr;r*KRE#?%jw8fT{!{OK&_JF!+4VJG~ZyRQ{%k8|n zQPr*#+fKWq>90@01FNdxs$>RBFVvQSl59wk6t9W>eS)jyXCY^iLUihCwTT>%HI_|> z@!GRNOgn4;4ESzX?4b}Ho4x+C5LP3Md{;{z*2MUFpaMQD5o<@T;LgHilga3jqm2}c zhF84#(87rZiGhu^EDz}Y%*QOyGseUnnzA(Y6F4ks=fqN7l)Ghm6lXz9%SpUcj?R|m zaFX)=rLb8_{^MgBw@!9TjO`lD^&TO*&Ia#eZbgY;1@w8pFp^|?-C%*vh;mANxJst; zt?*CfWC0y$JwsSanZEK%ff4ugAN#RFqH5cRP}TE_7oCm_jx(HO_gwH*r~0khFmRBZ zEa|i(WhUsWN%r{Xj!@o^aywqSgF8bdr6PYqS%E^yOGGmR%WoN0=zgE|9n?=Ai_-_q z?dxkmmIP6|ep!a#B9b%2D@7#c8>^FMb3DlfG#HBJH#`t?5)Yxp)MuSNcxkjvRO`TB zw$@VyFqwZRFa49$*=h#cN|&#qcQ_526lBu7dgke1LPLr3(Ty>4k8yY1=`ST&n$h99 zu7CBfZK%Nq9%wISR^#i40QhE|02Sk}hnWP5yM6JO!YtP)j$jrEUKj^;xCRGmw{ENK zaN1i2rcEb&hoGy|zx(&c1R$DCB+bEWk+4x3dtVtYVge_Z6ZLzUf38#X%U)h^$jthY zpx9ut*5pH2hP*%&T1NrFBCARBQ|x3jWIF?lHT`L|UNCspiM6-lIv}W>R#d*wiL)X}}!4L(WaY5> zMCLp^%BBUyMvRa?LK6_bak6D{t<99p-}pg-+M==ORpvipL3{8S0#L~y>ddzW(&#q0 z@)kokGW+`yGxfkL(s>iwBCY)Q=o`AG9InTl#jh`zPIZ#*(JOOVn6X*KV~ z0K`~c5cRi4R(sS`RSw810nvputf3KTz2kkO;~g^#sAguS*EcDY`#yMNc6$&27$z1- ztDbKTJ4qSta`z0ZvDw+n?IB+Qs0AB7Ff1Y><{Qy1FcN|l*QB5T6{INK9L;~VJ4HZaXV+aMrvDKBwML`?6%sGc_m zAygfU+p6BEZ0Paj;YYRIgmF2bWD;tilohZa>De^^^x^J4;1sU$E0<)!fu&9@y`BRT zbYl(pN-qaFV2l#M86>MGeJkZ`c4mDwWb3Nu2Lyx2$0cS*Dx-^=(P}jWPcMjhKOm|* z8R_Sb7Kk1Y9smH)<;4RkAO$)#G9P)|= zJH4{qhX8Bm>;UoW`I&xo2pt~;VT8==0Fn(#C-NB%sP0P+!U))3IpzuC1@Z>eHI0E7 zet&&_ncZ^h9~=7U%mxhqoHC?jWh6&Na&F~g|4gHzgZlt=W3R3P!Byh{fC$_XfG~Lw z`(OHMeq{%KM+d(Vs$u)UG6tT^8X8nR<_B(lp9?%0bP0jJI_O02uKWQ9DgViI@-s&; zZ(1Qt|2dKR5jpyC=nv3&>zjW4fgn4xw)ud}enyA5)6+jO0RHR* zfBvDV1pjogKo2}7(&+j*nrzSLz7C4)DY@GD$Ci-^<_$caB*J8=5{Nib=p4NvZvtNf zO&gdg*wFz0=OqPv3UsebGdFql;LX&bzCpsic5?n)DGzSL*?#*BX>xG_Q^?Cx_G63J=eJ-ZVKbWS#jKDwPbySRBTDt*Y z`diwcu#LbOv_IfnK(Yk^0~)ifKf!giSKmRj|JomL1HF)cy>SN~y^DWF{HN#63~rZF z9t47Vvz(nEe`3D0fmZ@zdq(%bUEfoF48E9M{)uUOGy`lGZCHLnemD~Z3n1snP&d6b$nR%zjXZP>!<{u~(!vLPCMu?%_ULq(r&j>|Ze_Shhkxvw)9j$nZT8HP zEpGC6&UXj1P}Q^v{PJQ^RLk6TkT5Bo-YH=Mq8Fc$iIJGgVQ=1edEPA{Rt5ch7Kmjs zFHR@F)VT;BW_mOxi(2b0KP*o_YbUogy;w--c_q8T@7pl2bD}U&*1)($cZ#rDNgTG|msdZy>Xu;K)KBDnVSM#?Ny=?v|5m(g7eeNn zI$?Ip@Jsw*V~Vdo7ML=}#uFo=pG;Q9y?%f3)Jd3f8;By@vK8%p0Sa%8yWD#J7#z&^ zl4^}!8j!fM3Okkba)oBys6Yx%37^BBCi?5@!0mf|teap~7QNskSo-~|2ykVyLt@g9 zt6Yy%;l<|GG_~({rpLF40o%1cOZ!0nPLku@ej(;I=eA8yOEU{aE<<;6QaIqNA%9>k zp*MZHE`!V(&m7!mX*Vzyx#wepIUaz?$52sQ|HS!6OSO;)zC)_FiSej{W+~m&oj|Tq zzoaMA`NGEPU_6C9F32Y|IK}Zw?+rk@p<)`c@L4iY;53kg~B=Z)j^}L-KwLELHSn-PP z+b1E7P1WD)S!)4}m&AWCey6)GonJ zTHy=>q&qwr){bIQRQrxEckxa6?Xw>hy%?TEl~eQu#z+F!DT5|UmoIT`Oo4s*7oQXk zgWX703~cO;`=|o9kwXj+qY==?22sKZ>`}D;Vrga#VFJ|(cI!@BZRG|Ab06M(5c8N@ z18HEDzH{TIi8t2Bm}m*@7_rh+HSJ~5U(R{O;iXsy3u!AeYLsSCpKrw{rjF|K>0Z={ zLc|^Kwu97)Qgq24TQa$5>IuhIaJ>NzpX`=KwvE9GoOHD8A+K~?QST)Tb zL1#svvYy32wLX%jD9WTcjp;*q_|K1%XSA1%0q1ayhB_GqL)t-IM9z-viJAf8)GHfe zHWN;}-|NgcVn|L1{_W(yz6noKx}@_z%CZOOI1p%1Z_p4xHt<0FG;vyp|%hE`f=pkj~;&p4wXTftzFIP7Qoar6` z%!hv8OVCeM`V%A~siip5Cei@m;OqtrG4Yr+A3GaC>*oh4$$4O5zEaC4yF<;$U!~N& zpdD&c)U@v#L-BN6MNjn?2w_#(LDsS=D-25DAFfw<7qE9~v%ReEg_q8{$eq1pp z54{?R1=B)Gc%fI9V4`XG29~6{n!Sc%xd~p*0}h<^ph!jXSbre+Ke70&!8~HxFV~Z6 z&y24iE3^=GOJ3+G6@!RH{J6h1KyXjL6ktgre&spJh4$ZMg(thyAcKHY4v+yOB6`&S z9XVq!isdLv=-SV($dtKNUkhsi|14Vt&}-|fci4!ZyYJbJcizyFpSb7%>KV6s*0Hkm zlbif&9g|e;!9iH?o|7%oaJI2 z)mOY4lc`o;1#K~n4SUz8f50>GVL_Xm?>jHK>7{oy2HLW1R~*(4Kq_~qv<{5hzgnsp zvR+)k#75CFWP|nLOLb+|W>uFzm|yE3k4CP)y;s@3dP^t zp~!a}50CE0khsl(p|hB^agI{Sdq8A>H@MfmTGS$^K7e1AWpfia3GLLH&H1eIgIELM zpw#C`Wx{z=^Y1#kFN^$fR}}!-Gv}U53^iOX-2OudD@K~m@^6!x4FdiZ(qNq=K)KhE zBL>C0S1gVBl6^WzU@AMI!qTWj@U#7i&|q?xHV>AoVoUzWGP737oX`vDI}{gav~qgWA;!sIaR}`FRP8QUXR_ej7!)l@o7q85 zE8N1>a@lHS+7z)aDw7kVe(<;ZQgZ?j65eR;l}dCC-p4t{xpdtL=Pd^2TW(e@;dgzC zRO;CR{Ixt~cmioP7}-}^J&AW|H?c8_3pRDW^~o{@0+O^wW$8EM+)~`tvC;zoBidS` zp(Ep&2Dygi94LppTHs0Ec^^0rDrdjbx7y6}J5aY4Dk^?ce#1E{HRP6c99vL2lJ`JOAh(;LG&?b&QEEuY~z)=Q-lTrpuj;gi{bht z7j~?**RW1|q$D*m?%%T~u=}S99@>?n-4btiv1=vnL1xT%b&hQ_FI)+iGi+(m@}RO) zEJ&%Ngr(%w(|(6-F!hZQBtgSb zp58lr^gaRhBYxKmSZM z!t|2}PXC*X9m3s%%DkexY3-K)+|o?YOPgKq-#fI)^|YXyKGM|SF)bwYvO9k5D>oMw5ynU#$U z`z@$-u9bUYCCI`y|N4~ut|3U#9IRmrPeuZ_g1~C}wxMh;;`pjtvfTh7o3+NflWMy) zw^xo%pYerVJ}cL|G}BX2;8!+>Qpg0ZL04TW#ajHHXZnTQqW`u zH?v+Hn|pyG>3Z{5@Hp`zoi^m9{l7jPvys4G zf$784=y=eFV+x?17vlz$uFlmOA5<-StBM&_c0W!QC5E>aeICHuSJengDn~*K4NGghy%h;IRko>q()q{Z2&uQPf6iL<|R z(gjsP2###WO<59e>0TJI|7R*)H(J!O5_*noCimirJ&Sm=K}fV-XMB<>Ub-p7S4kuA zGYpJ=v3$J;J-8A&kHD`jhr}{EdR5sPu|G|nZ{GQoo^MycaIw{_>M+Z@XaYg0$q-#F zUS>8mTrY{7d$qmy6y;S7Id(A|VjaY0icASKM;OUVjosCC$}QnV>&thjLM&1@ZjV;= zbDNigmlVYup57^*7nr;^ZRlO~FHkWR#3{8A28xpSv7wD!fX(KwGvv|FYEnU)4l*&& z&-|eirZcA~akv>a-}zcFF`AIM_$9L7%@t7a-XTTJzG|x+MJAu``yJ$nvx%m-pceKS z7NS9~s;fWSft>5kHXn=NU&mq^NUk9)vNgX1`JPAl7H~X zeR;zaR`@m!mMIm2o~i~~+q*j`IkrTh$$zaLM-op>b1-`fDAE-M=vpf@*!vkdA6nH{ zY?O0>^cJyu)Rm$uGr`hfI^1*o>D)XQRu_RDGwW3b&}IgsqgMX3{yB}n6QmPDQ*)r7 znBA#MtoL%fT8JJlx#qSts#HUQH7|{Um0}9k5z2^{13AKWOqj~WnWfIs>YV#yDnb1Wp01F zb^y*NW5VHF3i3%q?~zh1hRI1hx4oZk1XOINH*{PKR8GD(M=b`xWRTjZ5*|rvsoDu8E9i94g zOhrJ%U=M>BNhvLgjKxDu4VviBY}aQqS|42%R%7{B0vmpo!C~;@F)Qn9?Nln47E)^; zy6Aq_l>;0{BjrF+Gf!g2q|(ruju#}*-`WKxIkWpXg@@sB2=K3mwi{=#CVr#t4FZ*} z4%&kP>H%y48A#WaB-0X`(x#f#vYA!YxZEKf90M($-}$jRSKURa8p=*l5n~!lLY-1y z_67!!av5svd(xKBRe;*MtYSfZ!Lv58?;-{mg8Q=hH7CO$OREHWAs5@uy?(Vag5*2y zNKIF+JqX{@GSYI)uHA1A)}K_^9!jsTqJB>wEt)LGN;a~wj3&hV}+|6zI_|+CAO*T`3VD6_uu%sAWC54sbQcPw zne~|5=UR__EH}!h1>|Lz&B|qgp|!o%W7~oyU4PRkT_AP!41egXyJ@LLha|YT6es^} zR9^R*a)|Dvh{k5ZzgZd>Lt1LCI?6INiiCPI9G@f(cgggt z2hSHZe8x?`dmWzLb$gSy<+s8PZ$CFV=(6meA^eGdI6p&{_|NVT|G>NwvPqv!TV{9+ zo;kk{H++yT*WEtMf7NsJmg?O?29Aci^9{#c;HhoWN#pUiNTvHZbTW{ZrN<$c2H)pi zVsIjpQ?U7SmvPZsws}G;8iQ>3xyQ7Nw#5INPfl{dzQ^ga8g%$8Yy(-1Ve_J(kfvU_ zzn5J&q$7(B;y$lbNrU^c5FA{C2v05kG(Ux!%Mv;fxJ{3U^wyYSLF=`Z!rv@lfogcG zC~MH?%P#|wrJTkw8OV8xALKS{nMY;!^PomF=Vk{PLlr7e-8>0n+&03Zvj2$S zb{Z?L$*)&{0nadNqLyeZwLCa8fLmfQKTq!sA1)0m@89K`51<{^R(a-mCa>e?ZkfIt;7rHWO z?`iMg3LMlVd2W1qGvuNo?NuZa;}wkR&+b`fClS>=Sh;4kbY1d_>zF9U$0OBFcNLx@ zpomJZlY3(JT3t8zd`6Xx92JZ7$`vF08=dpF#ca*} zF>G5Iv+T<15EpgW5CUAXnoFOJ5Xl?#sklix&6kNHe^$-lrFOs<(v`3(j%=|G{IMb|Q$T)gb_idN6^XT0!sb|X2@uw`y{5}W%oRv-WAhd&4t`rS7Ed5o4v^GO_11%un`XLLwoSR^xXVG1hzVfR%yXgZ0~u!KBQ z@~*K_Pus4E%_2>hem`laSsn~b7v6L%V%?m5v2rAs@342QkDi|Q!iE&WUwB0~{8KH9 zM!eGfDKmr3hMi3A(;JrO6gxMbG~B#>@Y&9sRQORoAUH1R#Lt8Y5tJqi+sPi8_g`V- zhP-<<(20Cnvmjemu8SF+v`DHe-S)QPRLLgWA?O5?sX1TE`iLa#BxqCOp;?BI4u9_> zWmQY~t#BX)r5O2mZ}T{*nnDT@W2gCpVH(g_m8Qhv30r}E zhrjEkLqK44@kmlTPfE@w+l-a=GHoiALxb!T?88K=gSb~4e1z|GBo*JLi|<7}DRvsm z`ZN%q39g#dGLBa3mmztZ?R+kN4`f0)1lJrh}l|!hEinojsYRU&q`0 z`-`9V!Uq=2x{xTfWQ*KQIQp2fWkGoTwOjQpkbICSV7Yo6|7JYF^;gnSbfL}7uj_OL zOQ!&JpMA!Nn}()!#Yb-S&St2vxh_?O4@K>XhZ5cQCWlW^Pc9K6-52zLla`J-`6&X^ z9+W^m>Tt11=_#2e+qJ=N*9DPTW(eOhmFZG(D71< z3PwC^acmw0oltO6$5>(}w@X_jdVy5FFG>Bpl2kH0g!7(-k!pi?Tp4I^SPIffY(yP} z2{Fb6G*ebP-VTwh4S9G*u^(KtP#69Y>JdIHo+1>MDWuiB<{E3bq098DL#3#R04BCl z8FFRcpw#j6A3pG)IV#puuBV3?81p5oQX%WN_M*8AgC8S!)L#qUn_9<^e8lob`pxEO zgZ{uancpXV>*PZWTF}ceQ0r3~8f+KukUM7r@7dfo!qU!v1e4=@=ky+X=N3tmEQ%@u z9J+2vJ?QV2>Da1thEc1=?JoKkLvch>eq?~|H2}s^JA}4P*!R;Uh>__`55Tz^DU|Pn zN^HzXh$e8xxqa!s%x&Mw+R;ZT=tjhHiIR3i(BQXe_Q_bUj3?Okd3n$gXzEkB5g#B3 z>iqMt9=4WD4-abc?O6J&5W92*3f|;pd00ph+&;`Mv>>_Oe(4ar$eN>&@^K?|Gys&& zvVpYe75x1A+(if7+x8O!)TIsT%F5``DpXH{H1P*=*u;I^78PxiXkPCCt5Evzr;1EQ z7MD5F7&tZ`=9J@0i^d``K4sWXbBVNBpxW&PE_R@3oJn2(#j#qcTBCocU|r z6rvl3;RVL=R%R7)by=mRzjH2_Xk-5d@>xnjvXpWonnQodS;tTc&vLRsu~0g9x$M-jXk?T>)ufx=8^z$c(S18^h7eE6+HXqMHtOB6X`zR0v%e+u z+dm~jj0AdRRjGTHEYVq5ptmZ5O4I?;H~~%_77~%KNG+6k({+_g-cr};O~fBM(f;!w zx}KDJ>*A_1#kVt|rop|XjWfj5wC%%K;ysxbS7SttXqc!3l zK|ZbC1Zk2$`N~r(igmbAFRVZqXrxH06GaC3u4NhMF_Rp+G z=QGQR6K<6?gkg2Z|2x#_NpAc^B;7<;%(d3ZN zFy)CtU%QYAB(xpIiq)5bk8o;Gs9{0F)P71m?caju&B8%JJ4f2C5mUttE)%k%RxW$C zR9FvyJK41YQ(bJHia>G@Qk`bdC_%_cAH|rhV)C{Af1hiM?lB6F&OSh0XA5W+IQZkT;wLjFV)&w+}kC zz+!zn>>wWg5D8WL^M+v{eSaf3X#lCPf7VvvAO%2Hk-uH-E0%%Cvs+{K7J`!2j z5&3sX(8ICL5Tiam~%QP#0XWfN!T%~89WiMDbiJZJH)NX2nd z8s;VUz$k!9bJkg~em3s+DLtu(iDz~l6dC+Hss8*IS~A@yuY4UB);dS zmse2rYy=2guYoXLA0dO`YH>(SJyj*30|oN~Qd8`aF#|68xzlq)?QA1dlACUNHwTnT z(^uT`H4pGFH{(RG@mLb;z8WC(B?vD1Rxuq?e2`TeFD>;=gWO^8aiKjA;YMMb;=Mc635TjcPsutY_LXb3ISJ}FJ4mO{;wB*%?F}L6 z;T}p6t+E{yNU*LfPUE0(yCFH4s}ZB^T$E@xA!ws;RQhWbYT0;nsoVR{F#UwVNx2vI z-1>~HWCRuY7=2=o8!yPRwNX80Ol_@@$PiyEU0RN8YI53*Z_M$-OI2emDtn_mgLvL( zSW1W>{jUxm+@s&Rhb&61a;1 zAVfonhQ61-b%Vo?>AIQB*8HSJHJK|(jpVcpr^xrv@Iq;V{z?#~f>xfQgOA~sY2tax-}0u$B2-NlXCEZHyoWxD(5n>A^L zMU=rsas07&FBoPd{>!_=_b+8At3p>T@c?P9`kwwIW1gu4gm?HwlXW7&apN)tafwLm z@CvIJ1KW58zY9#Q9^^4q6;zjbFr6W?R%a(~+%SD*xAX127X(Bx^Epy(Di|INiT|{B zn+Me6{0Fx{Q<<95shl=Zk?)$5GrJ)(lJ7}TGo4gq$D7Q^<2tX01g*mPzZFF>TJ|It z?-25J%yI;&jPOAg>+KPmVbj?xwtcZ{Er!-=%N93QZ3B@Xe4>F$|Mx%1tRA|~DebRV z4c&xegu)u}}|`ka%p|Q4VBYAI&yz zzU7*4-$;v8#NnM*6DX0;YhV*~I6f_S>H!>0-(DOZJB=Y=BmIK&vlq^VwDqEF3o%}D z9zkA=kv1!`ZYKlH{8%L^dGh2_#I*pdg~1zyCnCbcR(M`Udie?nxdaOqpTq1H+L*B! zxyG(($k|+TYl#yT{BOrIQTDd!Se%s0`&6w$V-vkg@ek=)Ru+b+^HX38Q_+_*Ivi`g z;@p;5$Vi75=$wpUlR{d48?tw0x5ip*an;(p-oGyrX+{9o_7*RyBg0`;eXr`# z`QMd>#F7{xv@%bvSCtCQJU<=5ROK6-3ZGE)f1z|LaLqy~c?dSF`{Qq9>Tn4Y_wx( z16BQ+Zx>Y4GwQ>WN1qzWf|~6Tf4i0xs2+=BjFi6wv~V`At<+!ph*ARF6r544x_%t7 zdSU+@8`cZ;vQZ}wwHbK4FF@j1Z#c5vn^azE+*VJZVo;^+$O=$V)--cTXC*DCo15f= z9@(L{pnS~Ub=$j1i9lMB*1a>4L{TNb2Qv!0uinKwb*Xoj0nX7jV>pKOe#4%L+$|DC z5?}lQT|mYWk|*j&@B)D+dAHmwE8$294PAYIF~;E)=7^lSRII-r$Gc#E%GGp869jg79?=eA!*khJ;QYG1(L)ANw~; zwX&R+dZgD`p3QdJpLUpf^(j1IKWtihk#Aa+FIrA7(ocjWfvjcm8ZfnO#HLqhM?sTd z^81$G&qj?=G5?f=jPv1(StgJZ&74YgleUFKgz3VUZ8AV#|S>?yz+rr=vzY z?T>HppXPV5Rg=MYTlr=F^kryFGGiD-2;w1*xNcVurL=Fd#Z1yuF;5M?Ao?DG zHT`~RW8F{<;SquI)(@wPq@=>9mUIvmZJbW@OeAzHlSQx|i1KwuoVh{)QhI(~=aW!@ zZCAq4s0p}f?=mb?QRn4I>*E1o2=;R({(^yqh7zru#38KMMz#0DUad>^<%nc0+RgIc zv zNrvfP5NAfBNAMBTjquKEO;t8!7%=^BQ>kX@2omIADO{$+xJ$wvsuy>>&f8N{jl!#` z{~-w31+UWz|04M8Qu&o0I-NHFFyLhF&_L#}jb=W!tZAmr{)Y9OjA#hSS^4=^8okt2 z1sy3zJh8b?U|r6x;r`pi=26qQxxvmXu!cXO$^~&RKAI8cB^nT}sU-el%|NfKL;u@8 zq$IPT5F0qul}m)x0Rj}N?%cL^oBo+Oq7#Lz)l&NavR~0{Jz~hT{ggGtGOo6~7g{%7 zL!&;%7G}g84ff{?rgaDH$VB>tch$IwEyvI};9`yB(A~_2QOhWF{{kI_e1MaTd(1IJ z|Giw}@oPabCHc;-=`*s;P;!Xlen`(q78a(%MF*rdktO;O;uWl9WIoU4k{X9efO(fMQu* zes)rrUw)obJ2*flIyC^-H-c(*ylQs5X=(!5($aSS99SYAgGOR^1p|QYWr47LcnVNS zjv##?5gEq^=il7Qe%@dUm`cFw@9&*iKJgKd8o+~vN=My+yi6=)3a&2VOGnv()O=Ks z=GG4Sl;@x{xp{bQnOM3yI+(CGxS7^M=t3>Af$WJaWd89Tp`qNtvw**;aSIG>VL#hA zDMY0Mv&hHK2vaJ1I-0VXu%JBk>VY#su5$E4bT0vchW!`cKx$T8frX%R*Mt@w0eDzI zKU@SrG^iJSXWyt_8YGEZI|HMorO&MhqwWMmJg|XW;}B4asfi}e?jGhqSR0vNN0zn+ zraw3im)3BNOzd86uR7gKg2JNMhM(F80o1O{;30T9xfwZv>;Y;MpBh;!AsB5eABGM# zu+1*+!k;qvSWs}Retcet#{qS#>oeQaGZ!4$A(sHa5A_IOBuHxu;qVkB72_jer?T!MDs-echIpwh%oHyjV{b{9X=e`+^4-KABH@} z!V1Ik&rRzO&*9I~Re;&skLBx6jnv@C=&=K0){oO$A8)Lk5Ie!oo!6BS=E;gzVp~8i zOxMpR{r?F=yv*PKZX!xv!<%b>EVC=N74Xur(h2z6!dzG^TXwtR z$MG+)JK~SZ5UBNOux}2`DDz42ypsMYSI2eqU9xg)qW&&t3uK~_e^WNJl{>|7o>HKQv&!--- zl6>`39`dAy^NQ%3cKpcT{4FM^v73+Ed+hjqb=%p~M2_|9GqqA`;_lw`L%Q3-{afI+ zg?mNdR;^*f!PF+@am=R@dWedlK=pidxB(4&BA|30{f zDj-o!Pw~Sp4(bo?!F4gvrPX;22JV6Bp8?zx;5)6M8qcL_0Q#D9)RDhBG-%boYyYv0 z%cl_oeV(UccmlkY*kY6qjADugSca8E1JrK&$Z3&co>0xBcEvTDm zS_oAtrJjn5_jHua@_K3VcC+9ObnY%2X_h0$NKZC@e+?&lHf;5cqwe9NnKye})OP#| z%)G)xd3u^TuL!K0XKXtcOIJ_$p8R&oL4#2?!*}=OT5&Qra8!S`;20ceZMG;7IKU1}{)sGCK3-HgWnCj{CUMpn4Sc5x3@{m0%?pmCys$8scr%%oLPCAkC$|Df5hkl) z9r5`?4Ms7~P@Tzw1><(FgR-m~%DnT{QX7~m1W4l$d7{%PS8&-%GpVa%(K?i3{9$_h zM}omS9d}Uh$EBBjNvhDi(vXCU-H8~$xh7{q`IXEsr(X6Rogil zZ`ob$M!G*1Eh!QADcMmXn21s?t>k_z)v(+iyl~!oC|p7dURBi26B7btj9baTu&7cRLa7qeYrVOC5=X>R$t@Ic%JOM5;vU?g|CRFOUbqR z^fDkjO3FDLXAq#RGFo21H|z`}WK33@d+8+gsjS4Lj{lB6%9{a+CX3j0~j z^7GgB$^r?vI}wdZsE*Ah84r;G-O>U_ zJNyYgdKZIrlfRWWds<{izkdJe-vJ<1qgCJ@?!1tR_l?JWjoaESwn!>`Q zVFQ(d7^t>p!Sh}t!ov`^#Apd?bggmi#dnm}vojPart2;4Z<7$q(+JPqO-$v{h*xI3 zvMxKKrcD!|^Gt&X31mQ~9gsxl2RHdS^wA@S!NOR1Qsn)>`C5g^2@jG}TH{of4yl)q zW8tuWCk15n%${+d5&mp|dnLZIr;#iXaGxw_@WOuYlPv#W)fHzVh=iQcGK#HI&dD1z zMvvCUz#(T}QU@f@2{?4Dh(2~yPUblIg2}7lto$C27B?j{fy%5Fp6MYb z(p$%_fep||yKBI}pzF++m`ix#mS>&QppukrIufH!suRsfa0M2SrpnRX5Mq$fVOon| zCPNZpHoT}f%wsE#28uOBE6D^!|0!oJ`IYrhW1k$Q2Bt(a)Ezcvm$mY)o9FAZ$Z1^D zbqjlo>vVZ6ImFlRsn&cBGUmc&$h5~Yk?lW!iMpoy`X`u&@O)DcHW+~XtP@Rzx3ge& zMOe^++-Z5>Xq*8Q1M%i@KkYLms05L4jj{dvvJDj_Lp^8!kFp{k#F(Fpa=uz7nH+)P zUhF-rZ%UYkFmTu6Wwj25H;nGS&j#84ZGZqPwI~(-pPcA5S$AcA~{ zbiUwEqeFg2@_^x!%x6@A6R&u}?@PXMPClblt{?c+%oSELcLz3s;!Bk6QY$~@KA&;U zYoR96*$D;uy2tXLc4q4=#8iz-i;Uv*% zw$#h7PK+mi>ewB-cMYbbYb1)j zoX&Q-nwkre+zdD`RngzvPr`PQB}ywd?JQt~Hwv#LZ-xk>CS&-7M}q?saKOmh;}>p{ zXIGQ*Zt4C17Mo6VF{~$6Sr*0{oc(ElCWva1nZPZIi$F8dCgWk`B}@=<)SK<=vomZ? zPGTHij3u~2Jj9}-Rq(uVceyR@l4s#OFcon}LCJQ{EZ)yZpJ_1mU_`WbAu ziq#LnLL&iDFjc~D`=y?SXo^91T$K2m;sU*HSi$0WjQP`6OAexSuluc?Q7Wbjp^^Z=7d1y1IzFHoK*s@vh~OS|O& zh3AfEtAe>pvX^6vaOAAI#0m_$u~e+iY;2$2fvGK_G_2ppy~&q+&rLJ!9!ERQVN7rs zombgl>yIvJMDBGAWofRLc8UBlsNWAzjSCG&Gnm<|lc!=NAyHJbC|#Wxn^A|V2ycHYacJ&#K9loMMgpGAKYSAX*L%f}^cN)jw%$HGI{-Oi(m$&8 zYBCZ*lZsHey?RIPs9emEDpQN#Kpw+3ov~Gx&d}-a0sAriYnylg zPGO%4t8iT+4l0h@1hK%jtl#B`ltoPZsBN|-3x9vL>X?rRU6@>qyt|s-73~-QOEUM~ z@#_9C89@?T5p>i-*FBouF-bn$egvzH@lW&}i{df#^+Z)sKC^?%xye;*V|xZphPypZ zRA6i>b4G1`NA#DO)|jC#>lE9~iO?ye*;2+e97d{Ljlo{y4z=NLD7tB~bs3Gfh;W~= z*|FYyKj#AGw9J2Wh!^Q;>@&o8lk7}+!ZuBzfToIi;%%gz@xCb)wtp@MQX2-4v9P^UG41B!S{^nq@ z%@dKczU&5GQ*DVXsD$PpDUPODhpt)780)X@ido0AznI_~_e%fvE*uuf$R@ie5p^ifHYbFOhpq7czb>K8tD`4A3T(pL3vn(bzth@gKmDG};q zwsSfP`NV@f>9i6PT_?MI0WIH$jd=76E5+rI?IJ_vyV0G=YpN&?i6}so1~JHn(}@Iu zA6*U|3B<4XwU4a!zZg5G7)_vU-Ii^3*OW!tuG+qP}o&P{f5lCvMq z<9b~ynOVs<$M|do!L--i);MV@EnO>2-1Z0#TiqiPxSTAJRdzcia2g8Fm^WjY)|VFe z5d4Y`t&GOf2AwEMW9|gqB`z4$U(74vIYW^m=#%ULawD3Y4wOCs-RK5}%$Kv&Sgtv& zvhVp76g^p^B@8vL$0`qrR3e=GCb>TmrZbT+PA{-a>>wl?s6}92mO?Wtnt?8<&C~;< zn&@B115m_kc-XtL3kXromSrBw*r@oVtKrBf`5-Df%%3it$*936U!gK^3+HQ#@C2Od|1RQs1;Xe`Vau-*CurBD_Q57QXs*}H0>293j{?w{pbL(uD~3a?b2z- z*I~PNSLOF{qfU(#=O^113KFYIc)O>IGJ-DG(earnbD7>MHxRurnjK-6s~4zOtk#X) zn86hle?`#K@OxD}jw?teY)7eMV&4Z3>%pp6T=Q&iKaDY#6i|6ftIssCbI0(Zvj?slYlS%<>cgq!E!iZ*L`W6-R8KUt3&ZR)d656 zYDg^F%cH26)|&4A{8?B!LqW{3pd%^VFkM6B-|S563M&)HiH&%`{x*Rk3H5Mq&(oT% zLZCE;+VDbegB;Yi>6Dh2%0pj0%OY6{Rw1;XFM7e!r<-wa*{9KBc`2I7@zSn+X$Zdw z{wJdDx=O}XJ`^EA79Owh=h;u&?~jr!%p(7~rHD*bB$hq318@iay!DO z2h>2t`UOiI{RQ^I>jcLi*>C)og%L?0zz$dTDA!{Dl~#Jwfep3{^G2beZ6+4|NSV<_ zP_zXZ=En8pkuvWx3J9>I@3Li}u}V@h6Z0YZ*CVAs{fMOF#Vg}XpwAyokK4~mFB^Gn zHKm~uJj<#9!6Jc>9;>32;hLUpX=-#`D>1rJqmzdM3~5BaH7Ctu`^i$>EE6 zh48?z`Bcuxq!nTZZ<8}V%-sl4`-yo@5BUc8*&sO^2Y6Xifcda8c%*Gqqrp(j=*(;U zFCXUu9_Vff2Oc6vjr`h%XC{$!&=jJopq$R5G~wNT+oG5#ONP`L>ffQAIB}D%Uy%JOZy0sqE+8Jsn{$!pR{zuXARxz zTNrQeE%fg*tsHZrYdU_jcF(2|V&i@MF>`i>Z9>Ym0b3ZHNa$EljQ7DtUE`uF?tZ3n zm$YKA9NJl3^Am52(tH3t?{jUQs%05Ns@Ba^$FvmdUv2L(C=&NUfiI>HwPod4FesGM z^IFb7>ln!X3MU4n&n$d8W1Kp1P&tA&$F5A0p=%@%@VyEUUE(0gmygR!Ag?MT7<3{e?5c{9sD2rQRB z!eo%Skp6rLL?RiFjUv0=v(#;1?|n|DpkEnCQXsS?_p4X>k(Z!n#urOz^Ez)4 zxT?v3=KCl9@l2~7zzWmP@gK;EJa;{yte^%czQ)4_Z5|m}*{%$>&W7G1am5y!|yVHcpZA9Uw&B36L)YO*ZU5bh3X;o*ipvBrY*| z+2S8t29ISS@5+&o*627WT|aahB3NhJLPGnE)}te<+kzgoKd#I(L!HS*`C9g;G1YwP za+G@1sV_^n>e3SUt_|CiZIQAQ&=ZO6@R#r*>vWXs0(FH=-c$pXsu0(LZ!p>?kM& z|M~}ow#n+Ba!D>A{+^bHi$ZPTb zt@DvWvB^&y4#M%qXk}UP@LuhV?2i{&M4FpLi4AZWiH_1hbjq(7c{h>O8voWFq56R1Kf_JJy=VxY<;e8C^qM1p&j}S#(=QHqr00ab> z@(JSf`mp_(;KFnJGGf3-)2;XnhYQ&blC}n+|JLIzFynjWuybFsP!oeW)aBse(H2j$im5&I2r>8a? zck_da;|3!;2lK!Tmes7$CBURx4rJF1HjR1s*Y0S;Uj8}}_26s{sYiZPL;J)#6|)1D zH=?>co$vUl?3J;wB6m$mb=4Warwj4cIzNCT45sB?tS+UFO4@^evz6G1^J3Abq3pz# zT~TwZ>kV5Db5U$8V#!^!dcnlXL0dRxTjs^kEn2a;x<+T|Y8UC%;>-20cnah*hbi2w z+qOAS$p@QzO7t@nA-DAE?&`IEbK#{d45#O}D}Y}K*=0Gwo;*=LK)(bvlt$lrXBc4H z?$jaok@Frbi)bZ6OUSw|h#H1{VzgW)d-NVF%`PM-b;kA3!2wU>dwQ*Juy4ZQO=d>; zoS&A%IGIt#%Q}#Gb|1>#9>gPaHXc+FTVx}JI%+U%;9WN@B{vpIxnb@YRXx*Xpl!C zS|*Rcp2AoJ(;EajaEaS2c*(b^J|fKAyM}hdu8auk0-vn$#{9Ewrm_S^4H1OEVn!SA zzu|T1)q^Uv-p-LMy2~p=K}^Bo#6=j71HwE2tF%~NouWnV6Num5V=s;<_z9)fGIWo0 z4H`_I&(r&$ZRe_$u9cBk-UYYdjs192C^3wfm!b#qNAKS_e zyDH)nKU{yzbhxhclKqwIusF&`$3PuWu!@hE8*-}4L!sxW=M zqrtMmx6$@YPsu;r@ba#uePi`nG4DYj+Dt?j-8oXC=$ygO`z9>w1fcmnj6 zkI{S!@ew;(xt^`};*Ubiy9&DbvfHJ~$W5GiDVoyqo-V5d%97usJfEgOVZrsG^vr^E zD~Z!uI9S1S!M4a9Y`pQwSHWM58Cgz9s%O!}>zLmXy7zsXDgw#x{ts}3C&J+@*lhjG zUN2y-T%@O{9TX=EO(e#r5fuh5AK|be)(4N@7NCKWPOyIro^EGew1We}Pi5?ajY#vZ zldcTuv=zKa=IS}<5$D=cx`ctHKa7}aN7o*=gBRNDS1kF`>7Uvr^ms01*6JKDr=FSA zEeuQdJ72|0TzEoJ3KP=)iA*=~TlhI9Zc`aL#4wC8y1s(&BMrV#kMIxkVdY`E98zUc z_-9C6=pvpKYd7q$@>u*}RkDYRiwxUL(UZ|3tl!@VOkCVi6MhbAND?E9PzB7aT-Q(+$6v^|=RbX#lYl%p1Tts)Tf(7daOHGCo0(xp)d*=Di z*_D%SbY~ly4l6WnLxt;)1udY!f491X5`1!qJn9<5)_B3YQP%`(tLAKNkw!c zN2*FzZOYjQ(v&0KTQanU8>n25|4mGubF`@%WD8$DfS1X&cuH0}-N8io)Q=#dxD-iv z%zec-sR@r(v9~l|j9vLM6Sc<@Pu=A>g)TkK9+7SCDxq#(feFV6zoNegc-);`0(;bX ziy9J;)X7r07+D~Z63bN1Xm|O8yy6z zqrM%Hq!m`t+V&VyRY@6p@-lzXE(r}MD)W-FQbf!%+*uB{rBs7?Dj~7Zk|wNy;mUd~ ziQyF5>>q+vUKXR{J5NJ-tlE#Y5Rz?MycybqjYKlp**-oHwpCL19Tyaby7RB(J^7eW2H*qI^;<#swwU;mY3% z8U5HYrUutc%Nu^EYS&{|g#Ab5!xi*UmuFiHrMGQA^AW>fnQq;F5#Di#0*enDPe`!o zFO9lM!`q$|z`O)C9;zRIK$@yeYsgY&@KxxH|rikG_ zWlA$P15(*L$fknU%~B~cFxLKELtsDftA#_>wal&=6!maTv zs?kUz5x(eJX$yGOYkP{EAEknkIS;44?}U3_gll962(|{^N_3X%!#-k~FT*6V0u3zo zg+YEfy{w?}C#V!9fR0FQvIK0RnR~NARG(m~rDD>cVsP;q^jx`cskM(c*35EbP(%g+ zXOoFfeUZbC^0A>M(R2AC^T8?%NNFx$naL!)jAV?e{BDi0;+h2{nrt^9UzKTRExlj= zg52Rdfmp+iuG?v(N49L(5{EQevzk)!ruD9I=2er~X(tbiMMD#ggjhNI7OVih`qfkT)fv;Xo(({6Y=fS zq3t35xN@c(t*Uz?{Fs9dwOW#?kb%yT;+Wf(x!&m1bj3Wj3m(E{qzc_MulW5ssal(N zOEMmCrXJjM0D08RUhDb+Ar-orm3bsACE1ba0F7;=+NwPQct}^dmfx@EIFf!UQg~G+^2dv zeyz~l475`-bPf$O+ku@t9i}68;6O~IAwI|O7HU6y4vSDYaQ%=Ao(91dbs9^)qMDXY z<=ihCIV!$Dn^fGkmSJf-El9Gni++x?VSJvgM!w+KBwzX|QcxFc&`EmP{a5UmXQfUt z1Ojs!Y!go9A(eKEmu)tjv%6=afQSaZMC>P*B>-*By1Tckv)M+e=Ep=?4aq&Y^Wmna|y7_BwO7dZ|4)jb0}IkK=!`|q;S0#PakPV;lq?^dI} zt?(OL19l*|5F*@GAi%@GnH@uhwV(0VGL}@76W&j;@Es0-x{31V1+I*QiJzB>V+-sA5uZ4l%4Hhu>3b&ao7q z(4;)*EuqM;N#Jrxie$gS;&JWSrzx;#>m%^|Noi7XJJeI_c^A)L%*}=Qh z08K42qWRR5(ZLH`Rxji)X-wGEtiI_4+Sm-pWOuQ-Q`9-F2fGdvw9=_K40o^+^qe6^ zo-=+nu3*EQ?ab1p6V3#SX+#4yy$jabV`%Q!(mxG+no#q{vUiy+o!y|5x;veaSA7io zab+ZIyoch6gTB{@qt!_NV&;;>dz(}#uF8ele}J| z*p9y&44MyTPwb=P$My51xj=hfN!7cm09)b3#@yO>Wm=b!NVkk-QXGo=?x(Kvabo!ur_?Myo3HW)k%FpNXosm-PU!btD>1))jKL!B>gE|e@AYGY^+EY2>8ORSHdTvY$kXS%j}9q0{4>Ik_RU0QTMq! zUPN#C>MdX0T!-*+5xTgQmpQ<#PeIfo)g|iJ)+!mi6aoq!Fz$Gx`Ql7@y*YeGKjSj8 zYswdAzcKO8?EkjsZT5Nc8HNAfuK|t!*9ABLxV^kVH z+90N~KJD?I+B`JP!lGQ_FafZg-Y;}^Gi>JBq!^W+&L7~r^7S3a0TdJYDSjBA;mhJ) zEsoEq;a23dq+GfmvWjOX(D(Yy)se>V5iK?po^cTTeyps(mR&?Bt^t>}-50j?33nyW z$LnD8^72Pn4fU=!1zx^ge;&A;VC4Jkq;rU|t=MZB@z7L((# zFb$Au8?T1#_@|FtgzEFDP6nBd$YcNNG2TzxJheDAu;&4fUq|Sb@sJVMWIhXWap;L; zi7RV63woV$zaQ0&{IUhJ;|*|O3_WNS@>lU9!cs4?H^eL@M@w6|aikz{94_p1uenPF zLF+aMYW3$3N5VE+UUGhU-hXVQ9pnv?SVJRD%abvxP0o;4z;fI){_2YV z_KDhjs?XtXf!0TbY%%rclaicRUIf%mmH$=m$MGPasDS3n8CYc&n4NWr?~(}#Rl5Jv z`Yc6Rj@Fu46J|4+0sTYMf;RdnYD);J%HGL#pnpZmh*bQRlb05-NUk=R!P95HaomtpqA2_=V=!QRf58vC{ z+K~@t8f*jSDOucvNFFpNeyUN|BeGCxZE!Bjv{uTGOSAfWd}69q55FSK5GQSy%!KNn zbhp37tA>lfoqqI0lxwJ~AHCdlhi9u^rrC$jb7UmJKvX77T~2nJch9C-7BNWC5{(91RHXngntmVrp z)lMQk?H$NE;wBw3e69Eod1t_J@cQ=*Jq&{wn`iY!-)%BqiD9FLgx5J{qlH zXp^cE*x+#hJ0OqnvKtW`x1RK~T;+@a;FW`_91l3Vg20ridVTuSrk;_`7rjS06Krxxje?Z*SFNNNnM+KN zOj=VMd?gN~z%l@Tq=r^kZo?!ZfHA)ot*A3f7 zR^s*Es^^yuN1;j$3Ik{OhV$>1xKs4kZbZjFcV2F(U_RuR$|AV35rXSBUJPI2da{=s z86i!@kGzkBXI_GKZ1vm@4~*8)*Uc07T%uR|`t)MP=4)n?`+s^jX^A~#4kidC)8b&T zz^B1hl;Ib(93OcPt_>IE{tWXHTTgMnarftST_=%%b8jg6&$4Knd;2qi*B+a1R1#Zec4#jSZNacvvK<%jH23td z%m>>=sB(XNikVELK|K4>m3gERWwaMCemtHgE-;8g-0VUx_J#a-J&{l?^jBe$RFcP& z+uuVm9=kuk{x-KenRAX5$PK(Z&m6PVZ+98F=Mj*xj?n=XHH-gS#g{89?-U$uUkPI) z1@Pe@sBYtK*^f# zH#oG#P-xU;G){#L%gbZ>p%z`wMW7s0#_*H)`I{|>`U!MqzC_VT2bj;i z9kEga7yWV%P1d>+A$0{xtY^GkkS3nqP>4PB18s$baFW=`0p(Ml4mw?2%bQYeR5*me zM4FKEao5%>EBIa!IXkA0M$>kE$ z1km<2FCk}e`i&8`V6dFTEQXVl_(a7DMbvV3W3cpGiE;QoNzLen0DR&A$3lRyqfLWK z#!x}?yf`h-AgamHk27eodB5`~Clh=WN&eTIi9`!g7x2IpXPcv>p;hvi1|9G?Yt1CD z$?+r0r`qsyL3OKMZ)hz6XAWOvuFDOY?&*b{5pez7!1`Fk*UW8WhPAM@>&%GA2^vPp zP*uTs>^d3$_L-Edw!N`+%3IfiUD`VY{Z-JI2KkvlY%d{SNvDft^)`ogZKPZwjdt>0 zQQWznwn=qCh*y?3WaQ4(F`g9^PqKYL$bHZYd}GekqFn=jh^18#Z$>FcDW=6@;m*?h zK-fwph5yoXKWug2ZxI-qM3&(#KNEIetxVU~f=pcBoxh11|N3Zku#xg4l}fVgzAp5ra~`iBEQR@xn9Qd!Cw}n5mdQF`IYZ=Sq1ap_3?fKA5u{|N`l62Rn2Vh^NXN9jV zs8N>*-=D!t(ivOTa||mE4n^N1?|_wOYoMA^Xzg=-dleso4GAeT=C8Kc0y}2ToHOr| zJL8U)442LhQeW3*E-K+KQf^=Vbu`nFxnA>`Ky1OYd%=PBM^l=CA#co&@u;)=3}scu z3(o{#uFDArpAV+772a7jlG_iqi&;j=<2h~d;mrcZ%C@#hl6e+OJ^M+E94~X;3r`|b zVsg^}=QcMBhe&En=Z%Rw+1kozH~u%Z|X^zXY+K5!BjZ{aE^RncgC zn2Hza#3ydJ=LhSlj3L-=BrrcFRLf1J0w-5haN~9s)yMsWR$mdyL#L)J5LHl%7S2&HL~U3M)25tL^^TgCI@SC z)qlmmr2-LjBr%2YZCwd+H%Aid_^>wuc6iJl<-7QmNCH%F*Z4tHS;s%Le~itvB_ zRvA=v&CEM`d4$r7?;VS(fMzFmPNMWYS*WMV^K=dsEKIeW%IEZSG&H!K%C@%6GjJaX zelpx#g)5xDxEbHmVMc}@Fy)6Kf-f4|ZzhSOwJyqz0+?|~@%E6I8yX8}3=!eI(E5Ro ztjO*MWVpmGI=8 zh3%Y-9UbW67fPFrk-&rj23mp%XWu=-Uc@ANPotje3E|P z$`HST*I+O|B_I{U{*8K8hXR!rcT1 zvAoS9Fz~LfF7V5(I1ngAa!y-5KX$YuI0g`sK73t$@!pzvV9#gUUH$^--3CyZ%)HSa z++irF@r`XzH~}1e1*BgwBBAd6czyUl&Mtm+#RvjBcyK?kl@FMHh__}=KtdowKT4@~N7d!R43Z^j%m*n0=bCNR?DuU!EOu&D3;7x8s3e_#qkdHdWSU#{=AeoPb) z4k1AbKhRZZn2{eh*G4S3H>+qqU&Kcp1qz}b%m+^ z{zaL;Z;Yhf{2%iYT zxy8>bkOJ1nnf7vfr2e~<)gaL!pl5vi=kC|j2C*6u;BO&w6|Mk)Pa+l}1(0~|ED_LS zls^zuKj_a&9|&-OtwJmLeG2*yL7HGTKE8R{S20lg<<7-UIz%9#m+*6l6HJ0@^T@<~ z#3YNji~XmBF>|S@I+b+d+guTC?Z4in!z$H}A`^=5)j$-5{@d z-nG3J!?ryMI3n&sQ1Fr)jOB_CQ6IZq8SvE^8)yl`Yw?jv5Xtx13s<;lo=OcK66=f}5swiXDR9y@-i%w$-#Jx=vTB`vg& z4R<)M@ER{3)V&CE;LG$-rUs!t9V#{i*=2F2{aMTsO!}**ey&f)ID^b3(zXP@N9dcyewH0R$ktK?h*vAn^ysQ`V@HEn< z)QS91e>XxY`zMj$?ckKXG}{-$?X#GSu& zIs(xN3wraGH;ll8S!2g%W1Y43d$o#Hiy}HBhC&#jvEqh71bgY)CY4i1ZwBb;TP_)_ z&?~P_%tJ-WkR@s`?#j%1^3~%W{^glq?_C}}x7IAC_Fb+e?@2zNX2ztu7G;sA?XV^c zg4iZbGY(Q*=u) z-h0XUc*3mR#ilnBsW|xf{%+7X%=z0?oy1qqjp_d6sn1A23Ad-r_oSmy(}3sA_#o7W zJxCg_iCBW_JBTIr@s{lR_ykY`Xq*QUsK7WC`z77KFmxkAKrN9|FXrel?wH*DD>CQp zuh%r}TkC1H#L`>M_6T!Fw`87K?niz(dmKzx21(9tT??>2fI{>oNp0-59mtw8yf33) z&Avr*s(QC~s5gkFDqKiyQs8pn{#svv7~p`=Q+y&Og_O z&FG>iXiFQ$JWPOgO2Es?P^iF=*!K}cgd^pAQ4C_te~mz(xow{L#&Mx1S*nH{;cz$^ z^QqeA^bc}0&(K?-E{56qRJLhu|WS&V%? zucIAcT*tDBlVO5b)yKlE{nf6w>5(YnJ9kXvI(H}5UbrVX?E2DMyaJL~NbOH=0iu#9 z7E#l|k~Kd22|>6N{47A>rgXkavDyAE921z+Ue81AWe)Tz9L_%B3K&jR|C9)i?_=9I zNoFg{$+~F`Oda|Z9_TJ+pMKHPh?8~S| z3dYfPFLC2MW_WA$j+$i`WNgyj_LOtRk^G!|hFW3xNO)*4=APi3mZEN~t)FIq_?=Gs zX)=RGkD!!x)S4Qc&G@pFjpk*)8XM1^c1ms)ioP}xh!MTU?s={LRS0U@Hh89AX8bpcQK`S9Zbso#SxiW)J@+`xAr(Q-V(71 z$={_4csfR#MZtFSZk~J7Pz4i~lwymVXOMQZ#TJE1xlqm%FJ%~~R%N7V?H@X7!m8TU ziTxYD96pb|rAAt{d|Pg7N&|p zM#wwvpj|Wy8G?}~dZu?bVo*uK0yCuLLJ19ip(q5Yg+teaIEmG#{)Hk5ezf(Lq_D1h zMFxLeRt)37t(}Z$yd1()HcJ8qXuQQO~L0ynn& zw5udWQ7-}+8tZ#`{I8=mf9>M+D`%aI*aMGvqtWE1YdBz}=7slAztXr8!htw`wdTs^ z^pR+rH${9jB$Gl}pN@^ouG6e0TVRCd_-<_@XC=ip2#w*xLCDHA0sy?M)KRF0-b@dt zl?x~6oN-+<^MRTg;@}WZnVR1Xf?*J@4!2-L-`eACO2I_Q(@VkYhBi+};aF9U9qsal zq^uGojtKd#s8-&iuWjUmwvfvCD==^(;b=S`h3oyzoy zM3fUp$4Y6v=|!9&zh;|EcP@;7HYKCIh^j%cxWdc2TrCxtu&b1cEsA6ExX}vsQtwu% zOcm1sKh!tg9C-U}iO~(2#uU8;Fh)Xgci_b%{9vZT`SL9mSLW}{#Wcf7qkSuiq9n3^ z_(O%rM^cm6VaT9|w}Z0=ltN{osC1O4aFJmihKLGvi|{PZcd+F|XQ(m*lYI>aKdFrwI%WfIh9_d8GJ(JI zuKq(}c24<+H~YPkd-Oyo>&grm;68R8B%p7w@wzqFnCy7|f~sR_q+yZU{(gC=ppl-= zj)ZZpHOWJg^%sOAKx>-=z$k`tr417qDPR8uC0LaO)8&bqZY%%5&y&)i?{Sfg@Xb`o zfKWip^fSg~Q(RdGNF%?S{_Dy1)*N+XQk_kn2f)6zmGm&{5jg8b{w-BgS4fZj`!k_% zNkwsiDo~o@ghIg7 zrL*VtOcZkgZA%buZDwmoYMTW~QP#deX3t1Zt_4silYAx@R>&P`gK3&(FfzX)JFV1( z`!rn8w2|g0lKORIRHIXgGqzhojNzym>~kMU1=&~cnS$KHg|{0Nb@v@xibvCSsE$eI z-kjqMAKjMx5ur`IY(&qv4H_VC#KPtYg{soIvO!lB83@gFmPqk}oAXvttbma6$ajaJ zQK&OPjILk6qP5{zEPRyx(N^EqUazsUQ&BX?2O+2lTVpAyOKFs0Mv)nn>4Q1O?R!2A z$6N_WwtVHJhS)Hu%2b;DdQ@FFV}?jv6xXr*gRCzNV0z(&&uAcpM$fkx&h=K24}4rP8_7fG;1TtQK3T@JCwi zeI4#DWM-{;Rd-xz766wu^RLxY841`SQ9V+5-UR7tnrYIo_Td!5lHqaQ>=Dm>xZLY6E9#4s3_+kyypvHkM;r=DQOz8Cmfc)!u!XIdQ zUtL+zytBlTCrdq9dU$m`i&$~7dsP=1Em!}cu_J#K?Xwei1#!=J>nt$~ay9KSc4O`2 z^iN3#h7L?U#G)%x$`(FqxqS->)^7J^)3Ux(!ld=aZz-eMo+WPU+0kJ~s*L0?#2>5- z&9@FX_`gG_%v>HXsM>L`N{io<=PZ1CtD6W-e2k!Of zU3d-DB;vm)`~OI5lhTJ7x7-a{*|dDnNO-Mn@~gR-ii-H~F?I{R48CV1aaOT_mti_7 zfk__QM7o@9>`6^hx*3ksjG}_WEwdCI!K%wd6aa&`X~ijjsGk%sXVCX68JEx)`fhef zBHMW5;annDMkYM`t%^QegK|(9KKHa1UJXAlQF|<<4{~7Bdrm3V%h~pHcdb)k7|cZt zXv0)Bj~ge75kfY~_A397wBp{<-MzE%$_?~;&k->Qh9R-^lnjI zrS3yxRb~9+&y~B0fpCm<<7G3DW=}|aaVxWwbg4Uvc{n{Tn2IPg;c3&IV6yn3Df1I3 zu$%a)zqlFW3| z`7adO=wm<0Y>h^&QQ7{i>1*?H8_BVk+0H&P!;iYgpn_y^k**2;UGwZlP?&*w!uG*A*|8at2TvTra z2GH1{iQYpR6jgcKxtUjTO6cu;98 z_0f6kqSvKhD>fw}<7+u!7<4+WNg^i@CE6Q{)n-0=sx)}R2y)uQZ390{c3wok^{z^W z6Xzj=pHP~#AA2Q#&$_JRS2FF6_f6FcWlbNxDkb`WYZ-mJWi8hAmK8Tv0Zf$1oGx;B z8m>Xp8_Uzw*&L#zKCg(2pY(c`%JT>V7z=&eL3s>MstW!Z>{?h?!Ozu1Hr^V8Zkm@= zvG0XtTk)?Z$B^e}rsP~VoopO%+ocbK12=1WxE^L%%8N|&tluq4Z^oWGZ>uWfzw(yb z6Pz*vZyBv#i!IAH)r|!j8u8d1`2APho~4hAG*K%+XK`bm6e)f&C#!swQD#YhTB6If z+Fde^PnfBWFU&EdjX(I;&<;tXiZ3sYpCEK<**%g}Vd^*W5pWK5%Cim9=u#y*SC})O z9n5!!2OQdSQo3siOHI{_c~-gx;@=EGmjN~m>WNg*?#jEFTdQ*pSal|5X}l*Qfp%`r z6D2Rkm!RzLK!XRm9x}C5IeofODI2U;_4Ce6Ry5{HV#FdoT(!TDVZJ5nTL4o>?Xd;y zN7V^dE#BySFF)4IIvxEVUs8E$!k$QnISw=j6^Denz(#wwlGgm)RSL*Y*A#fMJ9S82 zZ3|9LFGON9zmCn8Cv#!tW(M|vq%hh{;%|C~-OsmUPS_gg=gnKq8eYG&9#J>WA5W@- zB%{W?u)_h{wl{l>;yBL-Ssv7!vcGHGHh=AOj?Wlm)dU@J;O2Ztwk(-hzEAThXZ3uU z8nX{?6>O@cu7T4LPi~JpGfXg zOvNGkn9yQZhoJGi8~k88)`m~;%qkJGR#m9lJe~&fI^!^P>o3oF(!5U zZsZE=Xwwtwi56V9r?rBEsa)RC>W!n%yl0`Lp<@Zg$qw!thG9N?X;in!l697Ut6Z@e zr||f>p{%-ZEBx?mX7J9gSCVk^aQXqT!vt!|Zugrnr{Szt+o7kCi6g(h8NUusEYg@a zX3f^?=G{K}gBFZvRb4(*40}AT7dvcPg{-+j0*?LU-mIJ6$PQFYn&=b5Ix&&XAiDrC z-g4CfXHenZ@;p}b*gtv|oPk_w89SORsZU4|o-@+gZnz5OKmG{z_oiKlaWk9K#`nLX zz|(#T$V($3II#I^m~C2m#mdk94p%uAc5R@oL|xEnrBxLXWz$qqOi zFn`!=%Fx!|8ra=4JVR`i3~$^_Qjv&5W$9&Cx~{6ycPPyofg{_ML{loQG<`k1?|s2c z`Q7-$9Y0RIKidhZA>zc?qxdTFq4UstY}#0p2Am2RZWbEFMN6qv!XUjBo%`mmWSJGoMYZu)_Jc2w zX(PYIe~Hch`P~TZ3@u@Jc>WWVF%mMeGBEt-#6-x>%Fgkh)Bm)=ajEm(#8o-TbKS@NLngQxk??CJ+UYy7`fEkK58nD6CM#o?&wRr=*_Fd}ANk57|!N zzEw9`4a<{GSAZ+P&I&;914~s5j~Aa)E0t9p3*u>a?*v>52(9sP=@lGEAeWFHiNbGS zyd3e)9^!{OX5bz75+SrV7v-l7wSG>6{OJ}_?&^_SIj^;kkgY(=qk56Pvt|6I8Z1&xu2f4cG8DDr@%D$ zB|;srAh0GOB4q8vKm;41nIHZn1jzI4R}BWP5&}McHHx?Q_V#usAtnd?5>B%0vBP1w3$TSiT1KPL3K6Dd! z2PnQO4aN2%Vn0FKw%mG4!AL-i~4@@E13j&Cj;!}%Ya~N;`9QY(y zIMdha@MG(EFZFM3GYkVJCc`3V%!8M21d?0r)Ii(E{THB3P9c?j@kehI0i>zvgLYtf z;qMF(jKc$11?BgY2h`ptY6GMfP>{bsZmJ&#&?N-W$12C|m#)Ch3i>Dc*bnz-E>Z6e z`Y}wcR~#^c->N@>kNxK!;s0aooS{T()^*+Z+qP|6t8Lr1ZQHhO+qP}nwsktZ!47Uv zaRoKToK@e8hmO8)a2pAG?>9I6SA_lR3qUh08mte~3eNxFYw?=^y5$p!cdM6k2uu&s zs}7GB;O+DAmh2HMbbTOirssF=SBoJxBgDTa;pMQG6z4(<`~?GZcz!0o@FcfhYN zK7PM4dU*J|U2iA8xZYR5uTm8l3oziY-{$R5$B)&N?w=Qc(OuvHh__pvjXJQ?06^?t z^lfNz=qC5KgJ0j4&)kGx-qhcl2Va(t-y5;@#r1dDoI|>SUotocfA-IxX*au?($PU= zvwmC?z>i)f!8_f;N|2Udw~jAcm1*E7dKd?}PcYHPJE(i0;GYP=y$N`{x@y>=!I6Es z)h`sbH*VV*cycu`(9kcRK`x~~1ufANoe`@vv=#iTKf_mHFBIeB);T$km40(~kQAR9 z2%x<)(97NrE(Q@E74+?qSE`t1?KCzW(5p)>ZB!6qkKYiW5B4PH@zX$92*B&1SI{@E zjoc6J$(ES-&TkJ649K7JTMz;4Zv6}E9vF|^J)PxA*W(|GEejZ=+aJrF!6#vO=kNpIB z(oQ>k!tzqREMVz4T+jY0Yb*48dTsJ{$P)tANmaf5oWb8DPbMCqdVT+D5 zthn}NFCzyi6LWi;R3$)8)AJ$FwIjDnHdo4C!LAd>+G~1UKHk7n)m7)x&To9DVKy?9 z5fv{|{7;|_3q{DukG;w{6 zuN*O-sgXKy`7^GBEdQq$;oPkn{_ue!dS))_1|G`dB_w;1U1LL7Ya$V6{aNF>*RfG4 zr>e|fKWeXuAv%s$q92JL+*}_(JL93hsz~uempXLSLlLbTA=QNLD%)@k7hl0*f{9Jv z;Gprkvd6hauvM&80d+gjEL_pRIXL^?v|BqiQ^W3?A(M2*k)Cv+R( z+)L6-LHJwzCMX+(bZ*?uI1#VbYHq`>Ry6h_|C;&`8zmf38`x@~n<-IL=zATZE41o* zLc4|^7wbwT|I>pjc$8G`r(UH}`6|3ZfE1IWoSox>(Qr-Q(ug0fy;N1Z(f*74*e*Af z@S8M=G}6#+@C=@!%>e+KSOXnVa6}5^?ufMvP-(?T681)e1d3!I_@Ch#O9{+$BPNXo z8$=9zHJz*}yQXfPo;=us@`oJL2+Tydhryd2bjxbR_C@e*MHjh3p+ND-KX=w_H+l)% zEVX5_?9gOc@|maZS195qv+&&g0!1GXrslfukXV_QF))&LX=y1j=TUF0Vk`42a?f#5 zjtnwz2o4@U0oj)s+%A)&IggmSoou~TlUYQBMn8~I#b3848VX)1UyiN%wDT=Q>zEFV z)kgj}t=fSmLfb-}x)}kInO>$=q)Gae2BIG73&fkgqU`QiRMsY$5xuv^>0(7D;Kq%{ zMzQ-Ycg>86Tz6@nU2Uqekf{5mO~r+!P4c*0MBUV-{8s4SgSCx8#yLVLP;>H`j+Ugv zp-Vl9UcHvg-J##S_8+Z_6p3sMmnm_x2G5aC!0_Qb%A~-$fij^Fl4nm8+;VeiD0aVA zCvyXB)cz|O@Ozem9Ku`gYDvNtuaV^w4K9%g&#rf!Rw4h9#;EQ4&a0sWjgg4bOEl6vlR8j{IO3tG46AEC#^5@y3}{@m5!u>S@{rHb@oo!q`2xK{0)kub5@aQ`7)gYJP^|AQaZaPbZzd@iIWjW-ra-}W}rj_%RIeaY2++N?^RvKUE zRxP+3X5`xxPxV^zypkvD-<7-65SJe;TK+KXN>MX%9}-$jo99m+oiw-|3%o}%R-(o3^YF9x4*4%#YlU{st z%oxRIUl~8!3DPKIxc|8}{g&zKIWOz6`KU+|&IH|obt8xUu8uUSS=0oqDkwh?nRhrQ zv*a>M5RW0~>L$`$3p6S8dCCOoq6@`piRtw*i?*;mlOoX4?~zYdpVp=ztZQ9c{jqfK^Q> zFN-~!u{r1j*A1K)w;Y0BgMuR>kiy=3^diL03#!>8PPoITlVa*Uf>h|HTI`&mzh@mb-V#u@peN&r3Yu`_Ir*!cF3C9flJ3i9;QRDThs zMEpd`R*qNuaJqZIx5+PGxdvWjl0N24c2fg8T8i89Umn|9uZwXT1}7B8;43!zh_&O# z-EuD^%s&bE=IZDP8`+yZ0I(!5GsV(Ut+idd?RaK)r=!`7u{6bIX)iB zIp-ALzbJ^R#R2cL^SJI>c@yBhF~{!(aX|h;^9fHF>%bSB- z?AD{AYVTL#G6Bi~PqUs15>e(q=d5lG*MGTy3Aw8;BOAeNH!jnxJ4=`T7|q%G56TT{ z55XwtR#v!)#g1~3uFLQBHM%t~8R8Pi@!&Se>q{k~G2SBQeX6zUuhwHC1V&-NSN(RXcBlAbCLI-x!~lPejxQV{qriCV~^oOu^{du9rU7z$H)}%ayUH!E@6@ zXT_HTgbb>lyy^i=Bc}-;`h>IYl=RZ|BO8(gvxl3Or=3&+sLzGk}#roto zdyht2hl%=-rI=_fw+xy6)em89WFY;9hwFt_Od*HjOI`wPBdD^qhM(Y_aQ9VtR z;AJ))3C3NG;E*`^4?pb;O%NLwGZ&Qqg6*?fkmtrf4g&oRzC6aAD>}zjdvIS8{^AC}32qXJJ`TRi zTLDJ;JqG=+tNeR$bM)uvCfoj)1cR|8WZQ;}!x`}>Z2C~&rDVm2>_{dIwu!E1*K{o| z>i;!Bs-4uxYqe1D?1dZ~IESRuS}bqQ4zC9qq}rDry|wRJD1tX| z>xTNG8N8mwe8U6rF*mgFr!m%C&z2-#5SK5L_QWjx9{{dnng*~M)U2Db3u}mC!1SuwFHsb-`iBvAVyOi$qSzXvau7PKu?g@uZobKn^5$Lr+;HVSTA7`j|}@zsK8zNizew zbu_c!b2!apnLnDn8jjjW`am82W3`VcG?pb~RPfDR7#85tAJQ`6&j6d`>?tqTUg*!w zfEr(1`AYk*pXS=VH$n?WX-#e3mleaaw0FH~*3^9f7W z9uB4~kv9}3$E>r&{}{UuPNQD}jgeiAi1a9lYu!$hmFK#FKOJ`DdK(`WMO`JE|; zrE`43M&gNnEwBV!PV%K0ZRZE-EK>{4itDAgNKnVpz&z$B)nYRAYub^2wiBMgz}8VD zqC?z)iDjmwM;S*Fv6mP4lR< z&efuj=QgJq;%vM#qgQI;=Y8C7i~pnmxF>0olt0tIv3JhDO9ATy=5*SZmKHFza#Dey z>{Hc$)Y5^tF3zS1a1f!ak8n5)4vb~^+pi^w`N#%?+c=UNKVahuvjUJ4;&mSDCvhWw zb?3so)mwfKngg-+JC`dFy6NGlu_H@!B9Hr>fNg-2;an$RO@g(&KZeZt5T5T*`Cp02QV2r$)JKzFUcA5~A zJW6OcG44AZl|Jp+=5qRUmeL#^DT52oMYe^eWn;8}jW3n^K8Pt}ZOihhlaM;W^lwKs(@Qa&hY0??=7ypoJjA0e+2!EqL^j zF(y-zwmLq$6sm!yPWagqKjU4@Zb}`~rgGjEp*koZik{v9-ftqmcZ+bU6`fal*o?2jX)p~n($z3J=h7Q z*dayaspz#rt-xR%IbX~i&XI})fbmF1%din>Hbnl__*vJ*w3nfb0A85K(^KnSt%LqM zx;YVS+{DsVagQ|~ivu8rVVpOF{|GoB{hG#Za%#HwhvHU^ZU#I;S1+C~yz783VkFs}kyZ}|A zSIDSbXbM+kH;*<1V33A&&hlO1e(SG@b(wP=SdFQ!e6dAg6^8bxQC>^qm55YQL;jP> zmF}GnKK_e$jBLd(h0EW~g6g~wUrv|iG*E~~$Sx%F>fmV0?9-yk^DbOkKA`b&cSOpQ zWNFh6y;>?dvTU6^Ba`q)rrDv`BDtlcG;1w~WfcYD+eo32^V1d(@ms3hw zp-$~tLE!92J%vf&5K#WJTeXaC@M4u2()LK`2oIV1Z`w3z`TM zP7xTbSFT)FoN8Gc`<(<5u11&X4D3mr)8UNtFW1gC&^Xi$cDygToCF6prOVDlI%t?h9{d$7k$DOx86 zkYi^##HmT6F1FA!BKui4u=D2IOop{&JbBxD-i`c|8Itg@`{$2qx+E-c=Rh#dt{s>- zx7uGb-s7~SU;m^f8iViTJ|EI87~Ag`07i2z93r6@yH=Wn<^?SEbdA?^#%ytz?Xd(v zUar1`w?%;3pZF649icFpP?JARgW&Ds8si{1CC+mUlhCvsO^&o(CCWxl<%Mu)fvv+YazYnN)-Cq>ZNM{`hJ67s;$iL zGX+B!Zic>e0}jJLkGLz5M%Rb1v!1OWNwRc?dgDOglSE07|@jN;e&8 z_#bwcK{!yc)wP6D?nzx)x+~4Ov5aNo01fDUchoLy*@~Be0EV$2w2KjAp;&cXSO+me zybtN=ogb2M;QMp~pv5DlfB`w-&9d=gEm34flP{AXxotW1MFeH z=lG)^x(7w~-LLUv^e{o!E{Xa1lDZEQ;Unk1= zRQk*kWYyM`2G3>V^K?D9vK)i1!B3eH>>vsj1v8Z@wW={f0s*@d-aJKVTscQZIm=cC5t|g+dH*yh?vYR zd#2HUIX_``yQB8Xso{ui-y;T&1DHD}RO?AKHd2D#GS8-}8pjXG_6%VYvgH|12_=TriIB|iUS1nHWw3Ej&BFj-R$LU0@k?p=(~aS%eWc9eM{i(OjF3+G2^XTFOtWGF&C?8oFT)1h?l*(Pc8}3@IpZ4nT<|oG|UmI zHsh^iiYi!9BhW)m|KRqeFCu9Ry_&3A)c72RGh-+0N~7!psG6RnYg_@dk#Ud_qNb~a zDce+s$-kTu5;~QAZ&iJFET%^(DCo|kF^={>I&jxW(iSSe>qIERL~u)^eEjbr1t;qs zfwVU*eD1c@Taaw|wvEo4-^k+Fpu|AWd==L>G1pR@;jxvlF6m`At(8|T+BdT1dp4NP zJrues7ekfWdy6#QZ?2WqKIR~1<;8mYRCc*K+KRWPuNXHu8|%vHM=S%Lm10^`>6G$3 zW8eJ;8P0d9jd}h--bTA}|2ScB(I@fcoemoEkR>U5OZhF6yLUc%K#BSESk?3&u1SO_ zG+q3ruoaS5J$zoBSXRivTCrZup`TzxJdU0pAX<&_Xxyiy;VCro8pJN`$SRrx2@_n* z72NsZv%wgbkE0Jz#6IK#5FXFN-ekX8F~a&V_m}mC3?jdzr2&sj?vRLl#GV;PwxCBI zb!VUF#~Vl$a3bcmp#OIex_w>-+c$sNZBIlWD+se25CoUX&hkqrs+6cIKLqHd0PyI#UR-My`xd75vD z@N41&!za8efzDSGIP6WC+%ulKoZ;@jE^zr0gC?r;EKZj}VF?luV5j;V75e!V&u;ew zW1UnGja2=-DIJH2CZ;`uE}N*(L#!?cv?FPIA!Z{Ps8-g6-1m`TgB{cQ>ffn6dg25I z_pfb{!Wi!C4+jhXe;#K~o0`}Uf)q5t?_Y*YjAZK15S*2n-U}Ut>0ATd6Zd=GIWd`y zT9_tV=w@e+n#uo4^DuiCHNqs~Vl@E#KTgQlGW97u+@Cz;vj?c%Ii1!E5S!KhAmR!p zLiy^Q+5!%+t2>`grG739vbV=8fFIB1i?CTwfw55t%tw+6|4Pyy@oncJin<(B@j!h% zqcHT;Z*eL8-GW5O!c!;dc{SV=5SrRoHF2_~VmxdWlJ*m9;N__?E*b8*yQrGA$SM*pmj{Undy#5q{Tv)PlaUrSBJLwI9AJcF9U! z63u$!VKC#l7T5W_O&+lPyg4V_dgLZyh~D#^32*T&FIj7Is`jp*lpAY}L5T8GGYqd> zEOgbkPB~1zscWVRH&;D_-o4ci*Rt4A5Ij5n`2M5Vf`j;g?Z_?Y&<{!z)hE z3w%3eiwu`Gh{6UYbck39keo7!zdIT%F0?aRX&ijuu))R)u;0dD}MWwV7lTT;~+(17TrR8evu3 zk0MAXu{C4h6+E(qStkwcIiekWc#_2xrnUn2HlDVSyiaFqb#LqpD+H4nh20qMeF3y6 z5+MGE4}|4^_&^vLS^pm_AUg}||BO#_u(PxM|NB5dl#(p5Xr%(h0*m$lBwSmah_=aL z2LXuafuXe}TwS5S$+x5Z#9H;_7PhzTM!L7LUSEGLvm4c*+HTrze0Ip1FgLCgPUxBH zxS%h_W~Tc|fa2sA=l4$l?d_ zuZr0qHMX`NtR8@X9x$MPzFklx(h~L+0G|+;8C5yZ(skclZ?y6+s~+%|4Xj^g;HPfK z?oMwQ{#YsCjPg^H>aDF)+1|TTom+`-iK7DZCJSKPpU}iz| zujGI5_;ke(0ECoZ+IZMU0QHVRj(r5Iy%tAb!hvRu*h^ZVCYDek{|4%PkIA6y0RrK@ zT@SywwJgb}KrZg#8vOXCX?&9PZ;VFEp@P>q{gaJ+H}QqmTp1H^mRso{PY^J@E(nU52X1S347<{(*hjP3VS{Twfp{ff9*XDgJBBgx8Ay$`o&}@ zO-O2LxnWw_CHbvPN(pHP;#zA5yyEKe0`S4*@$;kS?Yr!y#^f8jrEa_7O3p*2_q*F2 zC+v8V9hm85^E-carw9I-e1;BL)1>!1x0#l1du!(l)7|==o%~6i{N0WDHF)o>dH*#b zzBMv@OwBpB4g8J8HG`_R|FrgB(2(9+2JnM|dDi%kP(v2lu}KqLBamHFwkTfzr1LZ2ofq z2&n20E8QNrmznvj{kq-$QuQB$exf@Njq}%I4XgjcO1w=ST6v+3)O|c){skr!2>A62 zBc{0lN3f^CpYgpwK%DFhA*`bD_2z`nbTthKGj~n}G*D5oaZ%Ab!$SqfID!i^OMJ$I zmk*xS1{dmJ?fpw)#FnkUz&a2?-?X_SEXk2+HtMe0yo-trJq|;3N<#Aczx93Riy#}g zmWs%25cDw2{X+Z4ezrdK67306$KV*0)peFU5M&sc9y+Bm9Y7p5xdw0qOi$lX9-{ov ze9_^tu?@V%x;PL~b{HOrviJA5#QkD06$IL0;cs2Qu?cCo7KKS3IXU_NZQ{oM4T#W0 z>lz29fAaw*q;%tg2F-xyS~s|B^xJM3mk3tK!*y03edL2V=$GF2*PZMC;ij$LdkMqKNSn5X2<0fg?^@FX7d#h5YvTDHC$Iu6Z~ zhmbugYM$>X*P4D>By)OuDA%jqUc|1YG}ZWad>$XOl9I<8S!_SW2=-G{!K`9_7yv9w zqtXPb*qBDpsdX3D+GKpbC%&WTA=q}LNdgzR;w_SqZ@cR(nwI9?-R2$kUftT<6MzdM z=wSHzcQ_OCfrF=Tv_5V+Mw{X$Jzn zJ)Ug4AdTa-6|@!?I866~^J&tZm2y$fr3rr~arODUE_Fj%a83=8pI7fE65#!;6 z%tC9Xe7J*0`6%TU=2*--Y$)IlYWdI0>#i3V$f?;cvd$nH!#{l~OLFu79bJFf1lpyy}>7Rj}>(ecQNv~yg+BEfB}W%ArY3)A__ch_efJ{7#O$k-TG zR)v`}SSHhxqyv;e*LDl{h|D}^cSoiJ>XxIdaz=U8&zhn`sAH`G(=`Aqw9D!eHx-v) zk`9e}u;SDH3-PQ|ZI^5)TW={`XF5q|(ykrpf~f1?w0Wa`da8nn-OC?g zhKGtTiNrMQ68RXkdMFW#jBhRbk;kD!n5U2n!uuke$1D5 zf6!@|u$<{F2vZrTD^Bx0w^UR_6Yq-vhW};oNa&>-b)CnmdgqK|NlwoGBf7lUx!1H) zR47GN?abDBYwy;P+q=isreuDAhRrF7GVG^f>^DO7#92Zl#8ltI!f%iXM&SRObD88x zybXeamD&f>msy#9M4Xbx%OvNDO)~*;Bz0nO9t!m48nSX<5p0JArM$TG!X_nSDngjG zX{$%-mtuqby3F;}S@4#$OTLhb^EB*?m@j3;dq1Big0CcbSiI5!R|9EvkD(y1A`l2Y zHj_~IXjm2si^`5bVvg}F*woW$9*Ug6Evd6by`2s_KNwSp6LrUW+?9_o(xV@GKET@s zhUqkXz&%vY(t+doMA4TWSC=hgq}Zb*&ifGfNp%UHbs`Q8*Gv=gzL<2k?0EjQCxkaG zQwDA5k8j~Y#H^jX@bPe=vsctCM;(7bp~T}K(NDbW(2V_P)&A1hO8Cd5zq_~;R0 z4w1u^`QiuZkjR9$p7xpy&vZ#eUZ5ZhCWArT!~6?DCxhcK50lx1Lgd{; z0Dr;FKH(=Lv~%PNYMV@48O-ESGXyN9@9tUG$4U6yrB2-68__lXy;@N16nN+OM^{^1 zHAum8oU7upa)+N*!Aa%O3u6A#4Xa3Y+;q+?6LjByF{YwD+)AFLC52*GLz7aq?Pj2} ziS9*#SsTG4{h?`)eA8c~mQSIl9om`V2Y}eJ1Xn13dJ870$QENGkyppy^P|u1foXv&V%)!cVPcG!IaNbd%jtG+2I!0@3XpG={@hiHyvcMjpnar=}K=4UR(`SFA>1S2XiArhNhq@B$W5 z%eSB&Yo(y;e1jsBb|v{Z0>hiUT;(DIcm?MJmV{6SR$34KO6Ceg{5U`bmf{^m?^XMS^sd!|7Va zS@6`7G;29hqaL&vR!Gmhi@6-{BKvEi*qJrWZwFU6rn*7D7{cn@LskjEw%Q+L9g!qH zy->L)epu(8;O~A|K2dk>)IG#Pc%R%GiABivp$72lsIdjo8uN{^9gBW zgARo)=BLhTf_=p~utPx)!yGE^^J};0)WP`j=k&5EPK=B>%9^eiYC&&83Y)P*RmSuq z588sT-g#J^1EyA00yA0ZJ&%i`j^}b?Z9%W-vs`{pv`mD`p0RJ~Tr%w8xNJ}9NTBb_ zmvy-bP78|g=!dJPHIjxt!ih+hGDnVHw~OgqxmqI$LBMxJ8@uN}!58qZo*j;2^i0(DuhIZe|C48*tKt!sTKS_H!sBj^FOi+dkDBzH${0U8u????0yW~uiob0o$Dx&ydg_`cq zFYyJh&bhIT7vLt(UD)68w~e?xWFGiTJN(~1kO&YS1{0XcCl0zVd&OI_wI2T% z&;o5ub1a7C=MAh`QF#@?pW@hD8ImJMajN1Lu&N>;rmbMMn&J@lEfDgcePiG>dswdY-Z_;Vb&mgU!=eDE1&*2P7+g@cDaw9HC7u{6**koj2Z(lcfLvs zfM7A@j7j6_eqRJn=Tt5sY2^b$2?PcXCdgX4O=Szdz_oy;j{puMN-GcX2f0)I=;WAl zo!WjY1))&0$f)ta6KhaEu)T_0A=9E<-1`(JQ;{*1KAu4Qcc`^o*- z_82mJds5b4`83g&pjM~V)`TD(Mo<7f;9tz|0+?E7m3m$L{K~$$m#I-Y6-yb5ba|{)SVhx=JFK7{|ejI~k-*WFf_r zYUJc$xyjG77+!{qeCu3{H7q>Nx-AcDT>Q^D1F~pU-c64M>JQAvXI}ofzU~2`xq%W zQ_^h_24==-;>InufXK3aK4B6j2 zfdcMJ3{d3M>2ucgmdZzGhB2leH*zGTTt;X&MfeX5fE zw!%ZQ#Vh5^O-NICLuwI3T_!rFKv}nZd_ulL!Aj4vBJEWqd^iHyt>q26f3LqDShO)a ziJA#7T;{F1>fo92NnjYOAwt7#d;LEd@W^YU!4;kE6{en6-N?%iO+ zmxN}&65km5_17e&2k%QXcyBZ1`E8)?y6S&9l^yz=r5 zZQC||`Ep;}6nKg<--%nZy!jUHti-x9GdYmX_SzFi!9Og7Sq3s=b-!wR%i_Kjuz^i}NfIb*OdgN6_NZFO9+n zL+k+@+%R{DXe|t-dd@e`!P+`4$*2S=d~Bj{lOpD!)}`hC${;2ijdy#Y^c3~{Jsggp zkD6;}m${Lcm#dql5Ng_6LQi>WmMkyUC3culxI61>y3`v&Dlca$)6>-pWI`WVYxwgGdAD zV*X=Q0!QX8liAC9^4?7z&8HP0U9zGNk2hc=jr7W51M<8KkSr;?)J}O_iswP-g5lMK zc!$UMyr=DpT-A!QtwjD6^n5+?k7fP5uSWc|ZY*cI^VnOGy6optm|S~V!c$uK;&F~F z!mDZus%QYM`Pdc&WA|Wqz#!+T<-F4=N4MJWT3b+e+Nx^^!JSu2$N3tc2LP_o`Q7BD zXVHWR@oqZpi9pl17R7&^5ifqvTy(n?Q?#LbwCyeO1St!vnpXG@j_iDR++qir#5g=# z$LT-aF@OB;ujkLJAC3=Z?JOWmQgo??>wYcbf_#2NtNu!MChsiI7&grFM}$AkBQ>I( zW8XwZ$@F18pS4>Mr@+2~s&eP&Gu@>$%1cokPmXo1D^G>+p-~`5L30)yV9>%Q;bcDr zr2+seLqzARL{a2bIRu&-r%AXRHw#+$L>;@F{=|JD;zb0wA?4240(uNZ1;v>4?yYK# zpyt9u19}O>%{7hhMv%4)^|i^cw6O0qtIrV3$7dz71@k^%bR~cZ`&*L)<@y@B*5Tqh z_2o1Eh}gid74!CTCF!W6Bzr8Nn_EyKm+uouFIMno7P+ zaB}u4MYDJgBCYR3b(%Q*)uhaH_iLGyP38z^R#B*6jRs~~_stbLk|#oKUWZ4o#)NJ; z9UpiTH@dc>zyXCB^AEE_T8EB zs(;weuV8a=k7aSE))Pn1@b%=7y(>OhMLebzD}?Vo_3YoJ@|N>kt*QP{RU5Gm=bF?u zkB3k3Hl6C=XxA?6y$ycrx-4Q^P*!NVhOW9k^OV0yb~Lgvh3Nv2B(Ct=B#i7(QAaa9 z%55d*`m}us=5E(&WXwZ{u|zEF^7sl*PKr*RR)Z=$cCaWOgpzV~&B$Q^=T&sh<(Q>s z#`+akjrCdEt)$(uTYzQC3=h0KZEn6M3jzUsgU-$^mdt-dLCYO0P2ASd>`3Y7XffD;q2^0?a@0KU&_N_bly^Tzh#EANzW8ptcRvi3fa! zB!#A(A6*GnTo**upFEwX$2#suci!f}K+Go#>PK$r4J%C=3bZ{Rcd4tfaGLYcO~fz< zx4@Op;Ijtb%grpKXH9%y5w*Gn=eYjV+xT80{Xz#F_L_%IiSgnN0;@~F7|z|uxugG? z%^SQPt{msXafF01H-vMh2Ju;DQiz(~Ql7Yq58}y@jy~nfafe10L_( z045l*G+Cn<<}P2dn+ChpzV{8n_f&0=?+x;jc;1Hdb**$8mP%HXAa307WvioA9JTs! zqj*^{@Gcy%#Rm@o)v7|aeuQZ)dAZ4Y*u4r}aD!Ev44i_4pa+~%IPGe~c1$+XftQ*h zXWxz_4&$bc#GCm5tOXd1Qey7viQU~^1x@)V9gEhtc0ll8#ceBp_vfT`ITXGsCROi& z7)2K+;WKZnR*5&%Eel~o7L>96!kDbT_%KPQrkZUn95@QE!k z@jB2%CdNwhe*Pi0E~KGlQ@%`e!;Nirpp0f3r80KJ9m2PR-$Q4N;9Tu}wX)hnHN9@wOV5Mxf~7qCC)W-oC7UruW%)Db0f)Ekn+X zwq+szOIH7(pcVRfR@LcQXdJ!Bbe>VL+FK8vvq-0{^HEn6h%z-fI#ZI& zC(-UO^M2j~X@YZxL&OUQ%7{LB{Q^#Ioh8RStofOR)Mg;iuR@3$+*SJ;K&h3yTZ0~E ziHfI6d{+u@gE1LZMfcc5*X?^*<}kFrq0W2m3vM)`wnPwICRc3M{x>@)k&AO{gv)ya zI`3blQ7kyZ>s^q>tLN4xdIReVJy^reE&%g$MN}))Tv%U~z=QLc#Ty&V#G{jAZ8{)E z9@{^h3!TvI0~ZU|meW^T=En67Q2ZTKKBM^P9Wr<>W#cdJu2K1J?zs@UL1>x(^UPqT zed4GaJJpx#HIg=>@%h~E@7IH&;voukIOcViie^o!E~eeY|nqa#PMtnZeU$x_k+SYWWCL^R#|!` zw>=qyj!L($?IWbK(w!1_?XL3Fp$zGRQ~<;8aNr+mkduvGSubgQVFjuM}UfV#1rwv8IVm`dWIB=S7k7BvU9{bqn)*v>P^5wx4i2@=)q#`}gMT$z> zza)5yLKLVVeuf+ba70=|TUGtg^KgAkWLov(T~_ctuLnK1B3h8V4-BHf0l8KhOao`q z0P~R=e7k~yN<3nn#uICU>od;?!;<(jW1;bs@H|x$SGIJ>#0u}q2PZhmN5xs#P+~CVNUkyN#jx%?k#BI1BnJsD>8e{95Era z62i>!B~;@|sEoNVc>~>!YcRr9F^ng#TdQ?ZWt<_XC_&dtA8V`6kn%Ov(O!=$AiOuH zOCPGB{wpBAYIV1ME3-!3C2XVUj-iLpkAdWhLrfk2=GoMLK%Gh=cj>=?oR{|N?Y+Ln z`p^k}db%er(BV+N3#HFhDLThm9G@q`_z2duTI&x4xX6DMQLq-Bh^Fz=U70P%3%%Ab zL>5c^>(Gg>&y(Bq$2DzqDeB)!>~&`sTRaK!MTwU@%{On5B9tL`Gn72l5sjzTmI}3; zkHAwUR});8tc)wB#OQdkK4)pCb9ndj!(~IjWF1mcch3#fQv6FME1k@qhdVDPFv5663H z((uwo36(4B@Na|7k)N!kHy!?v^+PxK7%vwQ0({ zvDytSEP|%XsqDR5&3Y)t-laVxU=h*#h~(utZ6%2s+NrFFNo&Mp|UohC51{k(eCJUE>0kgm9QtiDnJoD(QtUZ6JEgNbQY9r~Li^(x8Y zLXLNp%EYf>Vl3!CHfiZ(KeLrXeinYTD2P_Ef*|0$Dl&>sRK$qLlFR`Tn_zlX9UbmXNPEdxeD&rf;$ta!0~y z4U=q4pYo61SvA+)`qBB(=B6gXThAdR&QqG@LRFxaNZq7$d?a3ha9FcnEQio5Y4J{$L0v?WV6@X+yN5OCvMgU zQcsBA-g~q)`>U+$K{SIq8i)$&DI;u>J&U^`^a>#Q?0%KqLjD56pXK>9FB^Yc$doQC zw>E<=Fr9RnWm0k5=s1Lq2*!%(@N%pplS>zZ4e>W@xa@o0CtzT?o-1Y3N!KSc#u!M6 zkDVw7z6yPS_QXTHF5~^Ww@yMQ?rHCBK%eLK8^yRDAFJ$_pC0U2Oc)>-xELQ+IyAQ# zyRb3v^O(EJopOz6hx>qtg<-u7%3BjVr@ibOb^W+Ryf*-Y1PU-6jeb23Org*Px#!z}stx3UI1{p~-OqaFz zA9`%@{5-0!nRiQ%gz#8h*_#HTT}tqSE`ArRZO5X9{mJN~@uL9xe8s%5GE$kXyt`or zvqFob0@qKEr#nbfMS_%_HmR&^C8&GvOD+F91*%hK%2J4+hIJX4H{?{yUVN7N$=8Ib zD^^1r{oj@F;>7};hf(Oom2-zD{^Q=83|c@=SjlR1X;2hurgD6ESd z4SimqlSRdvob7n;s_Vj2^~p_DZegttgpfY+FS-}4E@Zk>OR*~m@5rX|d0upi-(fCk&bs}i7GEA>n=WJCiuL= zZ3_ewvPd3^SE)0eq@vGg@h#!f|A7@J`!B3GLk!vp_W*?f-tu;GHbq&AOG?1N5|VIH z07w;sa>Sy~Z_eHSG+ohNYK~YG@Rph!1S}~l2{~VIDF{UB4p>qI3>G<$(?dJ`w-8f| zqqjH82?)|~^zcOiK!&F3mJ%8`4-cfHm)CDBrY^3&!1Mh#CNZEn3gdg88VHq;gh@)l z&l!B;5DDpjV*NjaKwVcq6!14FQJ}lGBi6+iX9*pDH@hIg z&b~o+g=Ui(A19ctTfqHZnb+xqxVwN3FHSyb;N7`;3ZZ`VStTJUgwBCb9P9K|%)FM3 zRk!kcnyIcvM}gCAH(~K%MTl$a)+13;CX?>fC8U!!bVJ-E>L?fAR|$lfBxqff24r%F z100s`^#r+74NvekJ+PMaETDCmx$#!#94IArE4Oe0e=7*ncUXRC zTfuneBBJ`9SH`BQhvi!J>wx~sYWhU8FP@@aq2=?vvMaSxXF)*IzACQqSC%u5nZ|Yt zuMW@DiAI#^)#d~8K?m)L++@!qI%e=(uGQiE^5GH?q(zlOiBxiY{EE3wqKU0;AH0fa z=ou_k4mQWOH(^3-z4>;1s95z_mokM@z0r0v<7-tSE<}B-mOLvji^4m;vcRzUoF#Eb zq>y;W1UadiDc-X_Uw*E8siM8wCEH@{yOrbRso_eg_2l9l{nV6@E-@Sx=f&~M^xxR( zpG{ccMyIG1ZWj#sHGQIEY_!`@8Kkr#O-rUy0)LG%yc~1*2;fmu8Ywq}?{MFBvcB6) zTUPbjXl>neW&~`~tIc6@{e1`xj>iYr%2Ut3p@Mj8Hs!W0JS9C z)|j08L)x8O1yBXdjWJ3`(MQNsEIplA^oCi=$EkU$xDz8VySilt@?$02Uv6J1@aoR^ z@TXTdRCoKiaW@TSAwL&VLDdxZROWMaRGP}gp#dw^!J}8f37I9A;P!>hx|&+!cdGNG zXjZb}tqiM|zlXm$N_U^KTPWw`cyS%eofK*9{FwRWI!)JnZol_u>$QFmr}`&w`(Rt&d#nK`gnlC0oJv<=Rm&(LWw^nuVnAW7>pMF%q89y0BI-;o z)JKt9`%&7Yi!mfAg_~&3`A&>hd$>XwsrjY&q@3I2=C!|Gm+*e2SnG<&>#pTq{s<_rM*fNeNKwpw&6v1ewqAx>CWCSM5GbvCOR+^LB&6MOqjQ*miLxKC*t zjyQ$7W96tt#HT3-XO){X4ro>jX$()5@*ey1T%xC;-9`0 z_D^&1PnWe~7vSuDsBYzzN<5HUTi+1jF!;-1tR&0)Mx}OTjK#(VSo>~kfokV^YR=}{ zlUF%gzNeWji|-D@8IRmg31^Q|?YH~CxtvrKI(Ol!+fzE}jCeuLvGCdT^%%s~C8L(^ znOBH~y*PtI`j#V%zsbN0x-(_zfkSZ!vW;Ws@ywQdkcf^hE5VA)7shUJ;^l|fRyxW# zh%K(G&m@|aL^pyJq;_>}w_m1ot;0&pwpN|3t~VaLw{0AWoN}BEv~0E<&2(WZm=zlg z4rzK?czCl5HjjAbhT)?5ZS+p_5giZxBmY|UJ5-YozFyC9Wdcm?mWh1M&dxFk|Lqos zk;^MBS)Vp!Zl_I_+{;nID+C8!#78yIRrM2fwO5nFbRUh);AqpDp6wmY4b9>pK6U+_ zSknBw`R=yEO+4wR#h;@6phI-;uCm;(Qn8tH>3=0QS;mssQnPm}0fP!DpL$PD_bV+4 z!z9Jg28r>8HDCB2$uii1&lgKde3!%1c&cxZ>s$W(EWkYXCf~@a02DNxHKc)Ep$a;7 z3XroSu)#SfmWfI?M;Tv2*4KB7>qUnK*FjCw)!4|4GH(&<_AEE23<}EMIyS*&oK5e> zLV=R!K4UZ*3xvs>_k82u;m&B_`E0bm4K<+6T}gFy6{w`TtgJdr z8X^UiQH4QORn)*>6_}a~91aC50{?r+c@|xi*F&reP!b0F`=9VX3|`~u(_?76z!^E0 zmS<+BUKA!Y&yD=}=|*P9SfFK6T~vHl=jW@v152b|lnbq(3rGM{Z*Katr<}1LZjnOf z*Hlc^?nR1hxaDaV$Rw&tvOt-iKJQIz9#a?N;%C--@r=+LgIrjat_b}g*SSBp%Ch`9 znRWbaiDo0HOp%mW0<=Jk-xDL*UEcQYxk+`*\\ +; - error: Option\\ ; Interpretation: the current state of execution of a brainf*ck program.\\ \\ \textbf{\large (struct prog-state (tape dp tape-len output program ip error)}} @@ -94,14 +94,16 @@ And, likewise, each term in the struct has its own type definition: \\ ; - "+" (add1)\\ ; - "-" (sub1)\\ ; - "." (out)\\ -; - ","\\ +; - "," (in)\\ ; - "[" (loop-start)\\ ; - "]" (loop-end)\\ ; Interpretation: the brainf*ck program.\\\\ ; A InstructionPointer (IP) is a NonNegInt\\ ; Interpretation: a pointer to the instruction to execute.\\\\ ; An ErrorCode is one of:\\ -; - 'error1\\ +; - 'error1 (Interp: negative tape position when <)\\ +; - 'error2 (Interp: non-matching [)\\ +; - 'error3 (Interp: non-matching ])\\ ; Interpretation: an error code for the bf interpreter.} \subsubsection{Execute Function} @@ -129,7 +131,7 @@ List of helper functions for execute: \item[] \textbf{\large \texttt{exec-sub1}}:\\ ProgState -$>$ ProgState\\ Given a ProgState, returns a new ProgState with the $-$ instruction executed. -\item[] \textbf{\large \texttt{exec-out}}:\\ ProgState -$>$ ProgState\\ Given a ProgState, returns a new ProgState with the . instruction executed. +\item[] \textbf{\large \texttt{exec-out}}:\\ ProgState -$>$ ProgState\\ Given a ProgState, returns a new ProgState with the $.$ instruction executed. \item[] \textbf{\large \texttt{exec-loop-start}}:\\ ProgState -$>$ ProgState\\ Given a ProgState, returns a new ProgState with the $[$ instruction executed. diff --git a/interpreter.rkt b/interpreter.rkt index 570b8a8..dbd5d79 100644 --- a/interpreter.rkt +++ b/interpreter.rkt @@ -29,7 +29,7 @@ ; - "+" (add1) ; - "-" (sub1) ; - "." (out) -; - "," +; - "," (in) ; - "[" (loop-start) ; - "]" (loop-end) ; Interpretation: the brainf*ck program. @@ -38,7 +38,9 @@ ; Interpretation: a pointer to the instruction to execute. ; An ErrorCode is one of: -; - 'error1 +; - 'error1 (Interp: negative tape position when <) +; - 'error2 (Interp: non-matching [) +; - 'error3 (Interp: non-matching ]) ; Interp: an error code for the bf interpreter. ; A ProgState is a (prog-state tape dp output program ip) where: @@ -48,7 +50,7 @@ ; - output: String ; - program: Program ; - ip: InstructionPointer -; - error: Option +; - error: Option ; Interpretation: the current state of execution of a brainf*ck program. (struct prog-state (tape dp tape-len output program ip error) #:transparent