From bfe9bcc46f355ed637d634aac0037f7d2138175e Mon Sep 17 00:00:00 2001 From: Jouke Stoel Date: Tue, 12 Jan 2021 12:09:53 +0100 Subject: [PATCH] Final touches on the Automotive scenario --- examples/paper/els/Actuators.rebel | 4 +- examples/paper/els/Scenario6.rebel | 51 +++++++++++++++++- .../paper/els/ValidationSequence_v1.8.numbers | Bin 925035 -> 923607 bytes 3 files changed, 52 insertions(+), 3 deletions(-) diff --git a/examples/paper/els/Actuators.rebel b/examples/paper/els/Actuators.rebel index bee40e2..b2a1fba 100644 --- a/examples/paper/els/Actuators.rebel +++ b/examples/paper/els/Actuators.rebel @@ -132,7 +132,7 @@ spec DirectionLights bright -> blinkLeft::bright: startBlinkLeft; bright -> hazardLightsOn::bright: startHazardLights; - bright -> off: stopFlashBlink; + bright -> off: stopFlashBlink, stop; } flashBlinkRight { @@ -142,7 +142,7 @@ spec DirectionLights dark -> dark: restartFlashBlinking::dark; bright -> bright: restartFlashBlinking::bright; - bright -> off: stopFlashBlink; + bright -> off: stopFlashBlink, stop; bright -> blinkRight::bright: startBlinkRight; bright -> hazardLightsOn::bright: startHazardLights; } diff --git a/examples/paper/els/Scenario6.rebel b/examples/paper/els/Scenario6.rebel index 401195f..860b5ea 100644 --- a/examples/paper/els/Scenario6.rebel +++ b/examples/paper/els/Scenario6.rebel @@ -200,7 +200,42 @@ spec Scenario6 // Pitman arm this.p is neutral; - + event doStep14() + pre: // Event + this.p.startTipBlinkRight(), + // Sensors + this.s.key = KeyState[IN_IGNITION_ON], + // Time + Timer[NOW].timepast = 9001, + // Direction lights + this.d.left = 0, + this.d.right = 0, + this.d.cycle = 0, + // Pitman arm + this.p is neutral; + post: this.d.right' = 100, + this.d.left' = 0, + this.d.cycle' = 0, + this.d' is flashBlinkRight::bright, + this.p' is tipBlinkingRight; + + event doStep15() + pre: // Event + this.p.releaseArm(), + // Sensors + this.s.key = KeyState[IN_IGNITION_ON], + // Time + Timer[NOW].timepast = 10800, + // Direction lights + this.d is blinkRight, + this.d.left = 0, + this.d.right = 0, + //this.d.cycle = 4, + // Pitman arm + this.p is tipBlinkingRight; + + + states: initial -> step1: doStep1; step1 -> step2: doStep2; @@ -215,6 +250,8 @@ spec Scenario6 step10 -> step11: doStep11; step11 -> step12: doStep12; step12 -> step13: doStep13; + step13 -> step14: doStep14; + step14 -> step15: doStep15; config StartConfig = s: KeyOnlySensor mocks SensorValues, @@ -272,4 +309,16 @@ run UpToStep12 from AfterStep10 in max 2 steps expect trace; assert UpToStep13 = exists s:Scenario6 | eventually s is step13; run UpToStep13 from AfterStep10 in max 4 steps expect trace; + +config AfterStep13 = + s: KeyOnlySensor mocks SensorValues, + d: DirectionLights is flashBlinkLeft::bright with left = 100, right = 0, cycle = 0, sensors = s, lastBlinkAt = 8000, + p: PitmanArm is neutral with dirLights = d, sensors = s, + scen6: Scenario6 is step13 with s = s, d = d, p = p; + +assert UpToStep14 = exists s:Scenario6 | eventually s is step14; +run UpToStep14 from AfterStep13 in max 3 steps expect trace; + +assert UpToStep15 = exists s:Scenario6 | eventually s is step15; +run UpToStep15 from AfterStep13 in max 6 steps expect trace; \ No newline at end of file diff --git a/examples/paper/els/ValidationSequence_v1.8.numbers b/examples/paper/els/ValidationSequence_v1.8.numbers index 88147940047f39d9ebbb81e18a567bf43e22fb82..05714aa603b24b0d832114ac554b510a42d9ac4b 100755 GIT binary patch delta 33370 zcmZsj2UrtX`{>U}X2O{vOokzZ5MoFWG$1ITU@xFp5ThI2tVWF{6vahAignirVpp)o zuGo9S-uvphu4`B9*vr~`iT9oG{r}&+&vSVuIluFs{+@o$glBsiUD?!VR0%GTlt@dc z61qfI;wJuT4&B;lT9lg1VVQ?C7fN&;Sx8 zS^moPasWw_G>G2$^RGlliGso$VsgFCApw|mjoilsxQ^rym5byOtFsrYXkD0JkTX#4 z(?egMFO_IolTr!YgZ%jM1NUg)U3=)zCc}m`89sb??YS8DA_%=2Y(r{fER_g9vrTp) z6pMF~W@IX3L*L;;*#qbOf|S@eRU%kg{DM#n{slE}0wOvss#B*5klmf5t^<(F&G_uYa8JVf+A;MIKH>(M*!HwN{uYm00odbJDnxAf2Y?n(B z5s9y{Ed?Ms*-pimKc!W{o{w! z^ZfXsP>+aE+$@Q|RT6)@B>qlG{N0jxSK?S=Y&vRX8-Iklw_b}`A2ezqSoE{oY{fo} zkUj|LCTyQCH+|QP)EWOBqR7MH~;p1hI}D1cblS${@c}Kxi>E8<>P#1(Ig`&1G4rXp_iwz$s~ac?W)O18zltB4!3 zE$&N2+}Db@ZxwOhE8^T0aqlbQ#%_xnwJmPqwz$dL;tuVOo3t(NLq*)UZE@NO+v3J= zi~CU#H)UJg;oWhi+v0>}rI;OsSvBt(w3Gz6YE2~dTrDROS`oXoE?S+4lF@&he*$Nx zfHWusMMQ=uO#=}Xp){$WlU0sJ-Pdn+FCpqZuXcT5^vjNyZBrOuzI*wNxJRRn;QIaH zg|$RIY0>mzFa5SZO73|Z*L*qmMFy_(MkBPrFk$nJ@h1)t_4@70_b~d&dpEr1j30K7 zdn^~CSRaCTXk^KB`%$Bu;|WU$=COiD01`S7vq;LY?j3mg4%}!1W*L4StwwreL_#yV z9ATew67fq~L*d?xrf)_`PrA>UF>j1i{dMBh>5P8!gi{L@#=nlO+Q_=^ z;d%FPnv)IS|DCwwnOr@0S@Cdv(c;@(zk3<)O)OjQ?Jh#|iclEUec8Ap3%%4APw%Z{ z^kow!J!OoCuV2~hQ(dy8N8L|;-8A1@J?YKVr{4ON>%QDo7Q*u=UYN#HR(l7!WF z)h;K&&S$GGACjqW|Jd=TR9{kb?76~Ndj0fP+Fc*RW2%o69(Aesc5$yvz0Exql(=Wy z?r7tSw>LJsJJO3f(qY@WxysIM;MB|SY^d_qZ>(6og)$y{|HlzXWYHsuf$FyGO4VDL z`uoJWZ@ly?E6#q98uwN$GrQv?^Wr3^^01_Hf0tqj32eoZGo25|Cnn3}nr4E4^$kMg zgcAs%c!^q}m(WU3sghTLEzn1aBtA;DFR)TCamSKHv821}U?LO1xclOHeQ{D+H`k$7 zjLOU1S+=pWtcz>YV&d;~$1{uKnS=-3UY?qKz)St~Y0(jhe($4y^NbVMp4pGxWAMB& z7=223(6?yQjoIGn<$HEldh2%{Up$d9PJ91!1uYl{Kafx?38}}RE=kuDUQ$@-@Dj;7 z0b->Z@nLGL52K9nFU38N-%sdTzjn(KPDfYb=!oDA{fX`z%M zV@Azn6i7xZ&{*G{H5Za3Nd|d2YNl$Z4^f3MTpglRhw5E8BG4PfTGeP*6N;>^i1Tz2 z3v{5f-*rRO93SrltlAvuIU>eKzf zylyVVL;_lxBU>~_Hp-PYkr*Nj^`oK9dvz%pHH!4btU@z}Azod^`1-0YD*(p&`XZ@t zQ$*K}iR5$y3}@GQusw<~s90Zs$KX{i!V>^agr^XO@@eB*HHoapV_e-PlXyw`x1EzG z6RDR>^^=x|xMs{Con+j)5b(b9{tR-|tF`;D`YZpc-~Hjs?TfwDGp^5`&gsj}mOPXg zZ?Bv(&f7gAa^8qYA){9J8#k^`m#S~Rm{Ba%FD<_|Ut(N0dj3&`H~_dz3rJAS>XG2# zUvGY}>d7-lSNZ5y9X-B@Gw$EMWHD1cPPk$gkN_WDd*jv_js85`h$Hp7xTY;8D%ljt zqA8Lz*TxA%AJV^?uT!0 zyxAaU{TYHLLePV%#TRCJt2b^ra0Kh8 z%{o=-ZM<>nk5R0vbQRILa#s;UP&{}Wbz#f~nY#Sitn*ku@yW@Tl=0U7IrlhM+$y4X zX;u-f>&r@_?-mPQC;atbsZ_oG)UNYV{qlp?FUpKp*32zo*oGtqTpynP|GH`dS$`tB z9i25{RTEwe_hH_wqf;^O`)5~A{OBrW9pEE^tjR4ml|L^pmYui){F5%#^ z-Qpi7vJv>1Wqu<)aBbky)#kAcMN2KPIG1lSPmI;VJP;-@{C-WOCwM5hys>F;dqAi$PG^Ml=JPlCbea zFWAmE$!LVsUf>iAPCqvmJ<{N$69Ql<+ema|!CC{X>l%Q~Fd1nL8p}g3(W5s63xZ&? zWnzpJ*ffG8pdMI4F_a+?a(dvp`BY0iv=KG5k+By|^%|%lx&Uyox*_LkR!O-24U`uz zURXx)T)zgO^%uiX&A_TAY#dQSjx3EG4UyIh9Q{N` z@5bP0zla(i{*ZO_`9n^9{o1s7QvK|m7yo39s}@!5;6RnEz=WWdO2{h%(f4c~w(IT^ z<(`ct%Y*s5iT6vl%*g1AOmdbP{~4K)D`U0rf#8>fE1 zb?FgSUuL>_uATArsg={qcN1?2k6ULHpaKRo+Z2L5DIYz9QZJcY@|(RkUZfNnrIGSjo{G-JiebkZ%i_uFy3WcMuO#WFfrPGZ{+w%Iu*OTmk}KwM--5< zrLDK48{!h!@vc`(iB=Iuc#!^O4sGiA85MZD&Mt)xQS=e{+Py4an>s9rmqPrlxKNUI zcjgjWz3auer8517XYDBY2%h8vh$`Av_WUV5f z=oRxj^|7MvL4?*OG~pr{<*vKSmge%DvAuf!ip6Vl_yG5QRJk9S7ctB}q_W?q1pem_ zp;vH(bjJ2LG5-GT)h92Va4vU20{z-Ic(Lf?s56*1s7XjD%W?}FL1l8Q8c?i^o6|@h zi@+>vL=#@hqgdoNNZ}b~P>Wk2h|gXd@t6^JL2ESEI%*?`0d_tpq{cre#K-fYLS)Q8 zNLB9DJiN;h$ip1S15M`9yc6-P`XmmC4huv$ERY~b`%*)HIg->+BdM?49fto5!-nk$ zg(=aT7$r4ldtD_a@i2HOeGWnrr>PJ&u=)%69yY`mQxp^~rGvU+Q_<4tP_~X8v}aF! zy1xSRD)(rrax^u-OA0=(#e=^6iIW@OA!R|u@+Ar$*4W>7u77=aJLdIjFLx^%p5#_E z8r`-P?OAL8v1j+H`Ir}%+H-e(op>4ZjQclS`5Q+51Hhk(OD4bfsoJc-LCkY-J``Ge3)kmg)aDGbBc zxKc#a z7&pH=QNCl`=Vj|b3*{;5tFO<@?86K08`8=fQcF9W)E5+XK=J!^dOvrUSKc~!Yh`<$ zt4s;~d&7aZt1<7Zmb&Ls=jS@9y!{Bd+YZN}e;xmNW&4bYD_{mybqc-s6}lxWmA zS?vvL5i+K+95zWB*d!&wkUlGp9Ic4Ui)A5%R9j=F@TZ1b_mg_jg>g%kgBsWVq@VE5 zrfE9ZgHp*e(N=3v<@lhC);y}i?bT93Sjad<|L-j#)RnvAuJ4Y!u{-YO?zmgK<6OV5 zAzmH!adQT za9my>NW6SFXq;Ntfi>i^in}6;GQsVd2m?HB5w6v1$#Oo_hXnFC)=NDK`zVlxcJ*FI zj1tRFu5s(gcm3xs9pr`;$cOvbg^Kk`kYfdr6Ma%6L`VID3^eCjww`>9oFzKi|1z8f zk29*7QBWb!$EXr9)|#+!9RnL!IX9(?>(~bJR1)81=jM&%yVUulBR5O|$0A-(7$5Fo zN34Ktyn?GR$)SuA2s@hV77Tfof^dUL2|}bNbTe+P$Ajo~m5FY~=(y#gq2S6r^7N#3 z^iYT@1Kj7Egk>D}Opbi8DC!TQStelx2Vth0oWe>DLX~+!{R+vAQ{CZE7WkRq5e)!EC*(H_bH8s(u}px-?-2xz#6@_>eTC?BZ6Lj^#CJX8pj?V-UyznYw4F^2&5_Xvjq zrF&=?ki$d6f%J7{2xnz^-EgVR3?VTp5Iqn^c`J~>w1oD#BDT`}u3VUadK|Y2D|50Ic5P-Uxcw!e7 z*w7Gyv=|)gJ14Jc!z>Q!OxxhJp*LHbSb6;A%rF8cqclSZ!5R8-CRWUv2nQ z8*H`VRc%n!2Cg>Tojgf=tu{VY8}Gru3YfN5%PDBrJX&b5idC-XUUUk72L*o)2Ii5E zlUv)-eiiYWmpu2VlUNzPko)@{5`gY{$Peh2hm=6qJ>(B`)k7+vOCAaUI`1Jh&{+=! z0{!J74bUkM1p%G#kW&kI)PpsE4tYoiwBJL)Kzlr-hqk$UjUO_AWSd740<^_LHGwvI zC=_U&hr)nXcM?X*IlVvh%5(#(}&|0b`m=KtA6LW zd7Y?O8Fz8uius(Ylkk&2RNqX92YLxwxuzy!Al_0>3M|kh4|xNP_mCWNxt3{$d_Yp{ zk#Imx4=I3t^AHcdHi9ouwUZm%DJhbf&E<=Rg3GNo238vbs*QftMq0IDuQqHR1MOmF zBT=2*MXQecxmvoHi9(_lJ6B6nJW{TMCv{PSZ9#x_VR!A$9;jr{1XP|m0R||Z@*!MH zk0)aiG!E`tGH5Lv{5SRpBOu>LJGf9Ckkt1`B7vek6a^IJp}Ig39;yda+e6Vnp&p6> zGI%H!NLQ_z`hYh7VRfqwRo1<357Uw}G$s5@lfHFFg807(ar#0u0F$SG6z1Z?dQ z_5y0xsZAwxvLDfjU)*hJy1;Nz#JBR~tUn23u`-c>;-gq(p&^ z!_{(kM^Biq)y5}}fnGxY5ViJ3wCX?sIwUIWxyQ;q@pu}D-a+<6P2H;&-{~lJ5>OQS z2o9ho^a*NO)X^2uLo@E8CmeUK+W5QLI9+X=1cOM7II(T0dsuMkuwYYkaO8k!*agEX z558UHyIH>wYVJN9O3m9RuyDA5>qodk<+E85!_^2!A+bY(;md{h5sj z!d1wH@U{k4$ouKB5&H9JRi!UTnW0#RGJSL&k67oCxQdREnlAk@QX+n-TB6^hBEg*s z@!=o_(GLn~;)(EG4X%n)iB25%t_G}0iZN}1^@+%6v@aifHMm1>*Y#s0nD5ZLIw3Tc zd#~a0qFwB9qHT|IJV}Q?0LMZ9#r*$b;eT<62T@3v=zG|II8}WzrMPh zAh26~<%?YBj+3qdsFu%AZuUUocn~*45O|$^3{1LX;$3G?K-JznL1J95P7qZK!KYc> z*TLa;A&*MP<9|@~UsV4WHUCAej}GlQwcOSB57_%arl7jc8=#&-=qQ-gid{v2kVn!9 z8wJ+%>&=*#x`%eG9NN)3 zwu9zv3i=Q`tfMfo755~yjq}2@{Y#^H@wR8{_RSTaFt3F(w5kKhv?0Ow02&vow9p4Q zHcS0t-GrrwAWkMrz4ZLi;vqck&NfwMn+C(N&4kzks6*3GxEA{J@YW?az*n0r?X4?g z-_3xg>;9Nh^)V&GD-pK+<6{pZ;Y3%iC`)-|%d!>CdCuv~Qcu`)@I*8pIbu2Nv zi3I(K{Un|asM>_yIC6c)Kij7+&*ZtiS=zC$F1$T}c?IOK@&Fp}tTXJ-g}xDkOxo!< zLUw0&+nT6rK2;4tneT@L*#eHophwYv}_o%NNUiMg~DKpFAO^+(Nv%G3| zoIumC$6M~Br4~QoJ}%(ug&}F%KC?qL_1SuC6bU_#IiFqxS7L5RCpoUdnv9y+@G3)c z9760!_`*Ot6E72^)LFCE;Dx^Es;MF3lx+t$MCh7`Q68)Wq{iZrHxRlmO8c}OoDFa4 zh&a^a;iibwJa|jQwH~}J;!zLY5%Gox?~3@|gHyYDiO@@t`7klqD-pvz_*%q7555txrw8APSm42TB2Mw(dl6kpVhkTd-0Z=R zBA#k3N^{*n=3>E!;6S0{Gzl+#MEQQ>SHSvjd!VMK| zWYj20awEh|Z!@?NLPci4^&Tt+L>G(qVl-M5-f1&97oidnUxkWZ$B4*=i8xlo&@iXS z<3w)Z5sw#fT5C}{LBw?)oG9XP4^9&Cwg)GR_}PO~MD+9Ip;W{u50;78&Vy4$w0m%x zh$B2W-P{y-mWOAE;>n?6$}<7cr{Y&qG)oj73KfenTf|C_yGz7(p*wXqNE7001Ve|| z#^DnE<%FZFSyX8e-;=qce!FzZ7p$MMVeJJ1?@gTEq~Pa`qBQYrG+S5fA{5;JLKmUQ zm;X1sx-FzWACjQH;gNs~0Fk>Gz7~qYQIe66n?<6qSQNSr-6yf$pODP(iBNCk4IYs!EK#dmOCOWBL1ViIp}7!NH0S-t6w?B`Yu6L9(3SO+)WH$1 z19cdcYtvH_sG7F?&4-H9V@A)x{GtVK)?WVW-nl0@*3~B*-gdkBl=PSG{UUL-e@4QT zp)t_=RYVMscoz}DpP0J2Mm!^x?H*sbc=hjfo7cVrRbASA<$>$Qx3W5LNak(KOV7{A zDlEv%$%c2GTB)%HX?n0YQlR<67;K%`j<&X##In(jws^Da;Byj1xN!z*&&DQ!u6NH# zH|+1~@GmTKmbudZC3|q!XbYi$BwgtqZ5k4;F5Dd}{WmtzrCy_fJmEICtjHefTcAoSekS zHGV8ZPonBZ(`5+W=`nIF1xYl36fPy3=YFyp{%N&CuqRu+wY z@qIW%6GDAhX>{Ef2nGjbxSO_a%;0daB+$Nk8_PsTH;Hc01jCC@{BG0`cegBCSmwu{diQii<<%eas&HUmyo%7Sg>Ok6<`ClBvTazU*>(Oc ziIW(XxR`e&L}Ga9ih4(kk=>RZT7PE3{?QxY@b}-US*uS^xc}9x=^f(=|A_v;eMtwl zoy~>ib=gSP<{JBsG*(~twyRKlCkr|S&K=nfwu6X3ySKW|z9UU#H@$rhhmUgc@5xRH z!@5qrC-rcOYfA*9Z1vL;)F^5cx`6vu>T&zS+eSaVzvt3r1;6?G;|oRS7cL44>=W)p z7oYY)$(8b-exSxtI&=y5snlWWaA{k+x6Ay2T$UOY-CXXv(1a5{k{*&Z3fF>-WzeTu6Cb@Ub?|=wQF+}qjZh@MAW+5T>I5;M_<@>?bkRfoUd$m8p#`@3vkNK{lO zxMQ%4@S`;2m?u2U%lu~igbZZ|+w!HPH`~*ZFEwQaT5|(LUrN`mFGQ>Dr6em>UVHzr zc=bIi|L^m+@YdD2Po1H+S{*9a%P%BAGF9m!Ur9asq}m#*ay9!(8cW*+^mTo&&je5! z>x%8JSzn=X;9joXUx`uI7KDT7yz<*<8_pvRwy&)_ChgcHYjV8Y#_rTGzkdh(<|iqPBQSyB|-ee1Op5CnG|OW%d0xTc0PN@v2)^2;w5y=$>Qw7o{d^3lz+(lZMB+q2Ws@-hdf z;}NI}JtDFX%SJcPPA@FTvu9xyiBaQ`rLr#mWai?zYcEf}GmGL^jlOpG;Xc=$xsKlv zO2@xPXXpHyJ}fgkKRvG?Jq`Cmn$mu#{j`cZpC*hOcOsWBet37%(@9lj&SQ>#C={-p zqMPTX+tY^OJ}8C0L16UaC@qSledOI)Nel<)`vXe*VB40^l$#aqSBF2B{u#(0T6@X$ z^v9Ns2QlZ=hQ>t2#Y8uO!nL8ZLanScCOQn-%?fu!&9)IWQ4icJVKKEw8igZN1$ONZW? zzxnmXqI(rx`C1$GOi$FH$bt?*{hRL80`l<&9~cmYG+ONH(s6;_L#78yh9raaGEvvRq8_ zCYPlss5BjIye!p26~#2q%k0;G?p`^R^(Xqi7HT%8c|l&`m@`OMdRe+Pj@H5u8`Hcn z-)?A*y3vC|yR$eJJl9p@hm&iWeMl%wMv~ZYP|q6LKDf#h?#jVTfb%qq_D=7KY#qbR z&n2NSz{fUEwP)MY!otwcVPSH}W9-kvQA3C{zSLi`(JZ5fl8l_Zgd1W`>eEBz*=%5J zhcbC)zwAsd$;jtq=jPxHj8R)*Cs+pwyr;;UeCLcQfZ3w^q@!?%dcYeOJM>y+? zBti@eovfGqDrPS^tUSLLv%9e4BC?t|q%_rLD8b*dnE^Dg8B=SSq}~LEFpHIrwz0DM z(Z3F?*B?~jGMDc{oo;1CSY9Z^>8yV9^g_s^C8@R=nt%P~g}DibS1d#gOBYEt)|84l zYmnfNP8fDq`Abq(kKcdfuQL~JPr>}P9cP}MyL|ASnR_1KdMaVG^muGp!??VqjLvzR zpyRmr@IYT%xzsX20$DQG;r^-{8W$ZsFds6pTvEDBW-Fr20fAzth>HZ7hP<6&_r;`Dn?>57*uv zx1)x*7y5yFRsAY)ZILqmjS^0vMz|+6QBv9zTf8OEk582z8aw*r$>+oQ{ZnpznYDM$ z-%q%QK9r;}?ulmLp2Jr%wnNbcuGdkFzf)sjadS{i#8|a7!!AkwuIi@g%gTEW9M~j3 zzh{$y`MrCCt6Gh31$dilbCC*`?pc_fSpdS2q=un3me^AZG6&lWxL=~tIm6xJI@od; zG-15}yC|Q&+`D=(-Jf~mK-9vj#8*+}*JuYmgbra_@pp;k5OUg*qUDn@>&4i)Rncf2 zcI4UXpx%!6*fCFQ{#6SXy-l^0W|e;#-xL)36_?3pVs@HihZpx)u#J^~`~48^jMk(v zK(jDcgiwOYIv^yWr_R~{5}xTED@`0LjVxekdqzQe9z-!7_m-!z4%T`*hO6>*X3*I5 zN+*Wu9~|9_mD&5*Gqan3zn6xQRrRFWnTv1UcznryH)2&ZCkt*QwP$5P(Fei8Ym$T= z?`Ts){sOblvdb8^EV%kflm$0avmAI#%gM>hPtD57Pv-*VC~VAed6k6q(!GugrT83( z;U5X>JmYAB+zR2s_SHoyseJgn7ghmF$17;DdlBK-A+mzr+U%H^1q+OrK$wLXyOY|PGZ zJfYC=JVQM7$@wUGZxCX+xeaX&to^Zl{2 z0x5r7!XA-0){ArG+!}DfZ)&8AvJPr!on6}!8)B;;Oe#*kO$>^Fq%Ea-SPS$w?lF0Z z#eEqqR**sGdMab|&T-+QtX*x8S^T3!-#)SB7b5cp=H#WP4NmW$nVQ9Y@k8b@T_Z~{ zs3IRKY>u>w|2SUY1_)@}DV_N~oLMHJ-bwS4->#kj)Z9o8g`G8RJp%zuwjhA=V%v zMYBNyZ%h;xL)A%j-oZXYz-azYAHSs|b)o>Sg7vhM&-8 zL`cvI^Rk*~dh(;tyMvK~dk^oCCCslXkeSA^>Vuf29O?FQ=TEk$uKwVsbsFxSKjSb1Ow=#cIh#iZ@N4N?fGyxwazp=w@HRQ-n_pwDuO*P~cTX#8XJp64~##>2p?O5x!M&|3ydCeFJOX!KJLj*m=MGfIGJ9YPI`@9B<#4}6l5&jS6Ck;%6gYB z5S%N2ZN^y@az{>Hns5&8;|<5FE>g*n5!{(T9)^!!(}n$V(X;iqNEm-9jm6iC8`mAMQkrZ?v~^^x zwBCHbrCj4+y#v>9oBf?=3tn5Cp|Wwr5=BH=p=j1_}O_QX2Pgd$E6yL;| zf`?Ykr!9Mev<0lpQCLurQ~ni=IXu2{0S)7pCDxYGKwJ+wxKa*w2j{EWN|U#<+!DPu z)jlvi&z@hv#j2o7cMNO8TUjdAE>wmhQtJFuvN2!5^$iqW`ihNb5B{f0BSE)J#t=0u z9#V4#4&>^zhj9L-`;l#!#GD%t2@Qb(hup06f^@D1i{3)3nBi|-qvVq74k(c(*J*23 ziapJuYmD;o3wd@yUJmC_QVO;G_q;#q*a8AAS2|eh21aUG!I_$qmz|!MncZ*2$TQ`r zUs6+2gY}Eoq4KhFCF)NH>-#`rd6_WWs#>bi--cFI=Ot)ia!a)qw4Rz*n3; z_B?K$H+r7XOa7-*!v5ii;^is7AKr6WLv*at(2KJ$ zp#yW$(({L87NqtU&ZeLy>6OZTFdC=Xxq6}6To_e0Vs@Qlyj(sFv+W$0rPea7=SZSy zqr5*=rq4C4-(la9pU@P+D6Bv?5}H_K*UXT@gwmxmOeon9S&@`= zJ1Qjd`x16p#vvbTMh#o5M&>o}D>BR1hPIioR<>M4+|z~`iC$=SvckZ1(Iii+>An`2 zcMT>SmGy&x1h76)vmWf=rud^;N%vsIDo;xn{DOu1b-5w@-NsdO8K*6#IiCg%DOJ-* zj}~J`@q91K0>*5ruZEQa1M6UaI~tAcRY#F&jY6);V<~Q?u`Wy-mB>!;ejp zSkx02pdnn294&ow4wLOzMiZ;z@G&>D?;FV_H51vlBBmQ?|L(j^CS^ zwl%c&&?zX!%?TJ3C`GaYEnS5NYev$hML<^-tvHMHr`?FJE}1coMwt_G$QopE8=X zFgI-pzSjBLJ~kEg+Kty*A=0e;s2J{TL-fgTkh>LP?ZT;?DakXsTi$w8nmnIgTva3* zTa++7Asi;iUdSPr!*r5RM*qWYh(UAlKf}u;wgP0LpEP!ih;=pRn4q{*EiB16`AWPc zD#F?}#JW1(cBebs@$Kb&TcBfjFPBxqAJ17zk~;yPq&Xa9_J$^xBxLyU$?h(#5K zm-6`%c8((m!;vfdH6sY4O&b+G%v&2nsR#9R9Hp%qX04BxwLRl#7Y&;NucQvBF;~+E zT{T3bJ|pioH~lWP+3TY7ZT(t{EriDT+_>iG5gv426-@7$YnYM>o9*@qXf-aZOr^{Z z7+1D}3384P=ISU769idvGza$@K2>g6BeR)VWDS3G7ha<__*dp(v?O^!PfF8+=~aFK zy~DjK{jn)huiOYrlJsouh6+8#R{3HHyTH+ck{3(ZAK8p|^3*Qk=$D{G{_Z+Tp^kFT z89%eRGst!<@|Wpu=5-ZuzZw+{hrYP-bS=Vb+AOWw`}&d zF70iO>OlO-o#gk4wiPnahkpm_9JymXysyWS@ED<=AF3h1tuV|I>4ilJ=%yjDYDW+p zl};7(Ls+l$p{eQVX`E7rCSto=shg+NDPiU(=|hDVYA08&)p|pdgcq&XI7Tw^GR*dJ zBq|;2NU~R;^)MDRH7&2y7O5swV`IHCU6C?53Cn5GV}7e);jbgAyU2uvnw52vAB+ykbPFV)ww;;vN+H@ zD9}eH*55wd zo_F{ z_4P7ek|KxyaVjT|`$5oke7yK8Wl2T0&w*+yOJ`>17IMAU_#@xaB%`%k0=ao(L1M#! z!qs{xlk2EKzr6rD-?p~G5z3o`YZF*k2y|04qLiU67LDa^f3Bztk^Y*_jSNGJ4D&0O zt1S%^GK@;IsgwLLX1ya0B)MJ)Obw?x)7r{{{C8}ZDtog8PJMLQwNT*GGKqOf7|CT} zrcH#kMUPT0%*IMg>sV`12LhWyoX6d4jzW)XluMzCvg|@j7VS@nty)vxp$aq)@Us*P zwid1V-YlJ!&a8lK=!)Vz$`XNXw_>@4ods1bnB|wj38^!rw)JhC1@|-02{A0j6SzjP zC@E~QyhzT%4=92op$6no1FyZ=7v8q)0Qp64_D)8-Y^2<{Cd^TgZN1vm`kTL{tFN_; zH8rc_IHfk-2(WntnA>OD%uTI*YFStE<{b^7$6oOq3EgjC8s}{rCcq5&gjmLh4{##J zJmnXdC?~hz>V}wB^l~@?%@=;LuBNT)q}FhrYw1nxyPJ5fYj$i+b80JVa?K2##%hhX z4(@Gw*v(cI3uA_DgvMkhNXU3r+q{CcylcMas>ZM{IW*H2XoTrtYnz6)seZylF6F`4 z^VdF{zxA*P^Y{LE{Ats_i!M5+;;E+h3}Oc)WjmtL+Mij%+SrVKVd%%oKbkvyz2&f* zlO3nH#nEWh;qs>|yi9(9woe+zXo+cWE|=ejS#|h;HVahr7PGG$&lu`57XFC0tno50 zpjCrwTTa2Mul=E3N*)X zn!hY%FGy|Yy!hQxc87F;!{1z>w~iy$ss3B#orsdWOukfTmD#PPLd#l3MlZSbb%6C* zQ|qQ+D@~hDN=~ez;HE95D;)KDB@vX*85QVH!?WR=gEH*(l4AqpnnA2oRnQo1#yyEM zm9^X2NT~KK*Dul1U+Pdw%x%Jya0>(b5pJ@;E%%&2*^(|2ST*_t=$gf#KC~JRL}df* z*@gBjnAaysN}qDJ8&Y)2)VE_K98wLm=lz;qkeZXmJrPh>x{!y3=)fGIOMPf`R}7k} zLY(|S!DTkk4$N`pr9%v>@VTm9$TXm}IA}+N^+4_DzhMn7%}(cfG)15B>EhGAwg=d} zE{p#c#>{N4W0JU_Sd06}Z(#PCV-t-I4z{bTD!En9nu3|UwqAQq(B_1;t&YL(&$GoX z-He`ai!|G(yB|dtzx+|t*M-BZhJxln7QD5UHoqrP}#|v%|3E) z$l^xUK&Q*ER@oTSYXxlAWI4I%*}~9TXgjt&gm)azI@>0fs5L#op|C&&Z$kN%KGvcK z7T0K#*`I?S8|T{dG$9?(dAz?W2q%w_YBi%MmI5hvnMKdwZ0nU2=B6%Q@(WU!o4R<} zMzEIWwXBgE^BbuYEeycQ0F;B2{|KbQZLxHXSn@rk6d3V$6{n9HqbCW;!Awxu`b zr#g99Y>?bqbDN3DDP|78vB`7&^rdZmT2ID z=4Nf~Y83IxOXt3Y@#0W(5BHTH!O#zSDC8?J^n(PWsiT*5Mo(+0-wr*tVSx-`8Rkld z=V)5Ob2y7R79^g$^ExYR!Yfti79BYwO(8nro&t zH^23zG=mc?@EeD5!N@t)AgdhE-n!UgozLApqJ)eL%o!~B*MN=OF!$0rFP7Fp6Uzt5 z(+3r%3qQiqD_mCj)o3ZIZ*^-dUyZ0w(R&^=1%u?l8n6sdmEQf?bgP*qWxB9>x*RGZ zovY2E9r(FBME*1c8WH|iJ2*WrKfPbNoy%&7nmdK|tQ-dJJSISB>N)1gq}6waP?>4v zQZyUyt{UQH8mtv(1X{N{7n)3fb)ncTD*NLhM~v1#?@?oq~G zER~<0S{GEgy4+e-FVd2duLVWQK$s&8X@>qaOq0*R>{Q2088^>q&8TFOSCkFdtuViz zYF)49Iwl}5W_8gcREF2c$4l5Tj^|C~&oKKqqq&#klg<*YFuT;Y4^d{S;f_MZfXxAx z5s7j*;m9xgMzT}WIp0`BzZfGiJ*-V>3JoKvf`TViXllav$|^7DL;v`jMn)V@Q|7}h z3S72baS}m|2d58n*9ae8BV1t9C9Ec_1$+BD++EGHds&yZ%DAp0JD0pm+%b*Q2d-V)$M#0e zwP-?MqalR%Ah4PixPB;6a1vxqs7s~ia!*IvVQVb0JeQb%*Ky7*wc&uN7iXRS=IJu? z-?ONmEMtR>>e*IRd*PLq$=1uW6-eNlvy zaRmOs5_iTQeZwoA#X5^!?_b{}{@;Xv_hsYQ#;-@0<|a={^&`>vqU(}c6Z=pvlDn}lHb-!M{#jEL0^ zg(}`JW%oFWwDKiVc40;p<5*r3JxV^g#_Akgb5C+jv!$_RSS?F?b4CLn>wyqcM;|Nh znh_9Z_KI>un$7c-p4){Tlf-N0eAp7D4-A14^DoB8%!A~5=)MK^%&aUs7nz1KI9NRQ z6}~XyX3JNt3l-piIZ(W^gcW7KbhrTh1>OsRZ4m542WDnF?W(La}@ z7j2;m`U^h?qj_8_Qq>!oqFZu-Q6S@1a_BOQ2(P84QmJ|pEVBywX9|C{Locwc>f?Cp zpb*nH);6v&*PBxp^v@~G>(`%S{ZSE~TJ-{%o((Xb#Qi2 zka@Q)x@%}JUm#)UIu7~Ce_-}o#vwn8Olv#jZJMjK=)5gw12RS^UJTZ125XUEE6J8m zge8`+qClSyb@H8Nzc^{z319ggn!Wj_E5h2M=~~vyGQ!~2dp*%7$9J>Fdzlwa;THR& z^GoeX8FfRyt|{d*8Q(n_P<`%0ZmLN*o+`zYaF+=J`pDlFYfFB z)K9pOiw+dEbpPfLkNG!$xK5T86lTM^wVn@}1?{ius+ak;MqG+BeYo*WQ8Di8ej$r} zAww$<7otKT*NiIRN;7OEs^@4cvy9UV%lg?4$W6;SLV;>Y1Nkd=MLfGyDJ(nH=P3}e! zx?reLwNPUED2FRrYKThahhD#d{lRYmT!-0Qy?vrGmgC-4W*_T$#=J4mS|^sk^^Rt* z$7Pw}X_YC|JV-%7!1=0eq0>dxsCs!kkPHx(lFXjPm$vl zaTFVlBn$sm3X zzBC|;V{5x=rU$!cX@?1eZQKP;|UNt6Bv)tSOin}6$ z+TwzMIP9QogD5I)xFGJLMp0bimM9vRQE~X5Vj$dH^W%els?MpcYwMm<)m5izc4yUV zR@j~=^`-+!2-|rN0ev7&|k@6{^ZP$+nEUqPSL49h8$o*?-4Lg|&l9ZN3R z26vUI(juQ}=E1hOt2{5CzM0Ay6j-CLdX&I~?g`Y|{V5enB_Z`*~hxJOSGIH}d zRWp7W$I&7ZBQzr$fFvMYXvXJqUzWa@wDFJYshgH;OQ8BKCo`VKzK&dPr-tEJ_&4;N zvL@Nk3Y5J44DaG*BHje6gIxHXx2lpH3%&Cmq^Ojo&2%+OY#|lZN-J>eol8jmH zRaZ}!)oi?%977F5;lmV(9Xa233m0sL#yIE-gQ^5?(wC`$BLUkMa3Ng85Hd1R$C0tv z!p`ACrjy$e@+F6j*d#_JJAEqj^<~=SlG_|@`FYE?G=McK0CR3ztH&Pa*WN-Ga#C#8 zF4#K#Q(=-K?3hhDZj;Jw60gv!OwQ=I<+jA-?cv;)!VxiS5|(u38t;Awl67pbJ(xayO1EGgHGC4BV&U#3(oh{w}t7|3V#a2+aK z-=*l%vno%@FO&)jrE7W8^*njb6yYCXh1iB;s8Va$Q&nBT6%@kAFML@+svcL6Yqu-N zb>L=5MKf~mb_IVsPr6sZ6&AwnR}j^CAnx3&aJ%bxOm5w)SbqaA4vx1LO6~quD+p@2 zs8AX~{KK?l@W9hy_ijKJBsr|cQg~xOSlo3w09qOKG@mo53(i5UAWic`D`fR>Xd9`1 z)fKNjBYVeSrGB=qg;v`|xl{VVh2wV?qRCWVAq3Oee5!qp_W2yG@A3j^MS+wCHF^b7 zRKdtOTDN^q1C0Zt4TCz)(UNqJZ(y!4z*ydHj+RTy6Jf3_5Id;3r~=SMa?}8!dp8=2 z+<38|ehal+qLNM{hAs%XL~sq(;!b~F0duse@~HQPcUAZ2Xlwe(#qSIKXW&lUvw{c< z_p~6+LZVk&$m)d_E+((^9$6b=;mF2?79y{ z-x6+px%PC~&0XT+cA<-6AH9j%^5 ziRE{1A3H|>862Kac_Dq%qYKmYwb!@Aq;B1tT~51)?zNqXITUd)2Wz!+t|i^NyZL0{ zY1%z_$K$JKc9t($Z_w#$m*%coxG%EqDs2%gI|m7Yig>N{e}aT9TAqB=mXw6mB+Ji7 z3fscy%D~??UdcIm>ps;VxfQi8;`o(x8`8RVU_tz?lJwu#QT^#Bf9$?c@#2Nb6nf!Y z&HTf^+}U46^&2-YeYj?C-GZ0&TwwgtE48b4#GRj~zkelq&7I6MS5+;7EoDimkfb!5ty>uTsus?{Tgq=|Kgr1`3)62dUVSL4mFa1k(wZ99>Ivq?v6(oy_agejo4 za6N6u@yG>CWCSMi0u$MRi5$U1reGppFp)Kw$Q?{%5GL{n6WN4`oWewAVIsdUk!6_3 zHOySqD3S;LP{=x7o`ov8`A+peQ_@OnO} zFZR!1OBneE_EyF?H89DHX=a}lR`0cqaeRZ9g)u?{lfoEv1Cz=aO#_q07;OWS&KO+- zlff9Vfyrb{^9Cl1G0qK4Heq$i7aj+cY#EG>{NcaQ%UsVd7aM) zZ9_UGeXlg6L-sU9*xN+zYa&aV$o);^!~;$A!6x!h6M49aENdcwvCg6w~==?4+Sxxx$ll4CIe7H4!`$v>g%%est?4 z5QktdpBN|f31f;l4UIzl8wB9^+5(3V&qfkw8m0KNd91&m%M-tL@vLl;;%Rivw0bH2 zYP}SHsZolz7t~AfmmO04d50ALi$jXP;t)?RGASP0hAz~LDDuSdSfzk|wZ=sYNrY0K z(*Kr2(Btbml#$onHohf@v~}-_f*ARzMnS{{f=EQ6)QyQEupx>-W@s7025KuC2Wo?d zd!JIb6VwSN`@NLjN#+w!eBPRz<5I(mo7;^5rl6NKh*xwrfGI`+P=%3?#^p z*bOAxKLe8U5c^5ueDXptp?)1yc7X&4%6H+C~ZZ7aFp zN1_m{J#lVNll;C=+Q$;-vG!ns%O{xdCPCjmk#FBLJS^=;HXj;dbcV>4*w)1{NW`?L zbxeDqJN;1qEEgj_af-k_&#l&QFLD|ADmQ3~fGyx4Yje#YlUzZ*$%O-N%avFVdp%R< zU|ut3hWwy|;O0TGgcd_N*H!`_{^39|N8nO3R71ElW~9TA=L{4&HWNM3Q)(jQsU3y+ z9NoNxlM`<7ZQjLJP*rzctEVyDNpPb;mCE*YeGQ3frrP)|9{NBMvf*1I_v|FJ^@#t3 z68(nm#Oqr!@IOXx+aPc$IsYgkf7eOq;L$smn*niW&-GvSMAdFh3K#iKp1aOIJ-lG+ zN@^IX9xa!25{|U08HRx^^l_0X9L6$#j*-}yQ62$Jt@1uk!K26IRL5}1HCsD*=A6G* zL#%V=lhLI$?S9kNd?1@U3xQnQ^EG4SDV>F}ilDpl-p;~%E!&3o<4sDF0xGPUnK%>l zqMJll&!-}_8oCJ0DJRx8UoUrfSLmdou1_nSti#_GE;@yYX8!LM>x-WnWpBCBU&+erY zLRam!#{9NqXBBkYtdcW*1fiuV^h#P*+?$x~#doNFSy5f=@rw@+?1Q8xpYp+Xl@@_T zd(!T{ET5nIfj;rpmfv=)|Lr*Lx#{KU{Nk+G%OnJ3y{t~&TepURr@Y1S+t%u=Sx#Vohi|fadf6#Bf ze{$=ZPamwgbc9X_&P+=X@v8X6s{PlBE}|mj=o)Ao-*D-{hI8f1*L&;Bj^01@ zVAX-5UmyZLy%e>uX7}aa;;H`n{fdG$ccRL#;8st5U;Q*GHZG!;>bL%}ett#N!8h07 z{P*S6JZNdl*m)(NA-$l4Ev0^VF}|{`hjt*{jjNQ?KCa!!i3_o3zO$ZMI4AHfc-!4257?#AHqcg^AEG5dkLRz(h3sS|S=u#Ds~+FcBXn zlJMbp+zG-WQrCkNZ#Q?J;6o;anaBHZDzkmO&(QHc_`O@(cW)c}y-xG)bt3DS9N-}3 zCUSif8P`N^04c8ZC7gYYV#*o?*~q-sDCU9O)I@G>BI6s#2?(*J$=PB!-pXCmzJ4l1 z^moN7HHRW=F~Aj*A@z!^MO!P9g2@nZxNERziYp0EQhQi$KaUhV!{01>OldcgHc{7} z#QW&lUzfxB34JCSzH7(*tajD4=h6zq46{C!$s1;bIqVL%vOKt%j?_;V9uI-*X+wsY zoPZZecLh~}h~y}XeKOB5(M(P;vOJFkI%d$d|4Dwozu+;_-n>1o(aqbFj1I@Tz{*rP zd%;>M!q_qZMwaw1hz40q)uIae6EPv>I8T5y9Yl~gqU*?AJ`U^MrC7^tH`Z{0I1dNOJs#g_sEW0!I=M!IM(z zJ=BwsFR77C;lnkWW=^l{JfAk=OA50%eT6z$R>T4mKXmrppNIp?b zCG93R>&NEz29h!4d$OJsk&DFcq_l?tf4$P3lx}sNDxd8Nm2$8P@2OV|dgXtCsIorx zawGnBA2%ZO;)usggI8BFS>e+a>g+f|w#Df*Iy${nrITTK58PN3s(pLhC^+UOjptmRTNHA$thy9cT~Q8<#tqhbg^jp z|3L-wYCFj^~DuL1X}gA+;qrh}6lxmM`VW^9Po-r4Ex z>q%!PEy^n&S}ROxg)o128A7x~9<)w)uUUxJ|B3&@D0ww**JJ2chJZDuzm4%EMC-9% z%a27S!xd4~iF{K^L#pKy>jW>!^}M@&6WL9!*nc*@edYda)S~_KzX>z=+Y@WgOXe@3 zhp3I*Qx2*d=vd%-L zqnO#=BxlHi7o9I(mW2Ur26p1-LS4dc`{>SZU)iJOUh9RQT2Jt_M|r({-H7s<_s}R` zS}*h*^3dopoMqh}T&VTNMqvbP(S4l#t*fy6IBUpefl|fuKzT^KP(#mK2W%1a zw9~)-HT1lSqu%0^@4YDD272#FQ+aJ7=*3y5Nu7CIXD$*7JHC?VBnZnD{pQLvQP|j` z&(HR^uHrsF%Xx`{Z;P3W?QdOYW-gZPi9+vo_AeH{eI5H^vGxeh&zkk=XCz9VoFo{n z-zEv&RZilKGvb0p*0dDCk1C3CtktQ)N7UWqO-A9BvdO-8;oDcSJR)5fXXqH@On3!} z{|BkFQ-Uj9-jgo;+;SDQucGNN>m42DL!8S)t)nx9*_3DR&!WAuz;uLtK)O*P8yM-?FrgiXcp$d~d z@Lw}I=O?*)sW1et|1K4Ny~r_F`F}U4|EQ;|6E~_47wgy&L&~m)%=yD`P>BkWH-Ggl>KF{xkN>(TZ$|p@fWgzyK48!wZ~vZteY*Ab3HqR$ zuTQ`S-TL@`5Y(+_FUe2x?&I(4)5BX%7_I5xl*5_(@yF!jqcxqwB;R&QyzRR%V>p=< z$-K%j_-tPPz3SWUfs>)b%RG7j;r!Zp{RC|#bO3iWFA1NjdIrHb1&Z_YX5>jmN_`kv zVS&+`Q70JHi&4iJB{AvWdlE%!bxFmu|g# z`Sy`Q@I9?IcSA=7*SlB9R0X-3l#4VOb)MzJFJuNKuPwzS1k9DBp9t5>XTS`KqoLL? zZ*RXj)U=Q@Z&dN?E$NoE^Tasr_dGd;mHS@By?K;_IoaVEzqrJ&m%Vve&B93M04CQ0u-zQw} zJ|!hXj*-ld3&}6gjGGM{1`2?Cz)9dSa2+T@CL`0oZcolb^X~~b>;`fs_onB0Uq1Th zaVjL{*IGpuR!5L^@oLKT@ecV6-wROXeq~O9s-H+~JesL@pO6TA$YW$5Z$BF`{J@hq zgb9gL5t-Q^Ig!S3n&>8{bXp zPf71LH#_$SQ(1qbfHDQ>=awI-Up!9|C#y)>bCr_o(JLf|kUL4ISgx?*{emO#Do*Rm zKg<2mq#?cg{-DI~X{z0c1}tNV|C)4!1wNr9xh!x`zYBERT71mfP!Xo!diDsZP>^3x zO0RO|hzeql4^eVHejzqOURf#>At6d~gY`=Aj^}0bL1!CDiU;2#Xo(WZ*I8^Nqz{h9 zN-8En=?d*gzM$}l(2S*w%?mq{kX@gEQ-nM9FYym8Z!iR!zj1E=(VQPWi|T#a72IKORfR zy76h5)LmXPUeik{iaPnkc+E7Wcwb}nouEljD8>J4ZoTlS=3RxN#$Z)W(d-ZuTx+@T z|KRt%n>=QQW|87#Yx(*N&3lS2ZRFN7HD#vpD>k3YEZUr$GF89x{PX=)a>BK-^^ZvH zOwDIXMZ14kCx5NMt0tnOb>SS%T)1?$)_$jPqKeJ$TDc!IPD(|NmsR_dW{g77wTE^3 z&zj3B#p_Re9`B)3?r_6}(7 zZyH&@IKVu;V$jd`2XQ^U1GWx80~N3)=oxZ5fZSvudxfA!zqE84==T$GNn~%z%a)%= zNGK(5p1=D6@8j2FKoy17?o4|E`s9F7gb(Y-=O_Kj(pVfo!tp?%kIhzem_n-SAH7~7 z@A(tErHTgF2;wC^N4y?EZ3f}i*DUC#(tu?wz5G{Ia1YUQWV@qJv}bR()5ua#wt}C| zKYc!h5+5(!NHZPGr?HnAmzpoe2D?Otab{mW+&lcrP7$9I4qdv4CLlKKSAO#~v47xrUxPk(yGn>dsbZ zolDFstVoxS?tCQf7PzQl@nbM@;>gms6vF1Y-}U>zX)uhqOact*j+ zq}4YrSrea7{i3*(s1h6wRzxQ);mp(dgy)Nuq=(nWA>AgE)V1SC+QM-pF=8C4n%{vV zy#nsBI?u7(qx}A2H({Oy9#7^IoRQj>W2MdDq zB^haLVI898ZAvaRFXBk(imHW``)^-NfEuTzagjIQERH*RGU5ogq99Qz>*F-u^s4M1 zr|}pTYF!=^o_u{*GR_a!_-J3olJZ5FzteeG3_#}v-#zqtUrkYjMbRX}%yE=`Y2k6sd$gvp*2uQSWe{P!1#lNr;+`xnY4jqz^(*tK?qrpHKJV@`3)gfBBh@GO+b zr*xALHjBxhBpgR@^<#xCtrC3D(T76{WHqNI3*o*4$(;hvB*jIbbAi*~7Xx{~8Neoe zL#knif6S9gi6bjeq>D&-C2$Fd0xkoqfM0-U;EK^DjI0KcA}y-k*SRZ74raOsGZ zK40Rvj>X7F7Sdt&eQCUc2i667Q=>B6@A>+lBDDzqxiFPgN_7mv+hG^Nt~0t|CLct& zF+m*4hzPhS7%?BjbVe)y(U%v(Tu3CS!^~+RlHY^d?87Zef&IW<;3kT68TL!G-yVcH zi!2=ge-JnXFyZ+K0ND}!MvZDzqjuHgSJZM9>^H_0q!95OGIT#wxI@T31v~6CjPpPx za1po!TmUkR-;)Qh@1suH&9_O5>g(+a=oGkJMS`r8RROG%T?0^kklI}k*9C3if~UiU z+yt_LUB*4+A>!Ub+vNba;kKRC|F0l+0C#}92*4VY^+^`^5l{pC4qP>^Bel}?`iPNp z$HR?Pt0#sELF5Vi{{Wr>&w%H^3%~}v1YQBJfm+}VzQ}x#`z&tVg4fU;1SKxdS(T5d(V4*Ap}?o0+}IM#B)#b%`2d@1#&wA5-kHYn!r? zZi-)Y_qOb~wBhKZleyy|sFxVB-AyYJE?hoZxl>&5zPG%0@s1aZ7an*YQkOg=QDbWT z&ptRkY)tUdNNb$@@?t_U)n`{e&$u6*S|-NylIJICe4S7Fs9JkGSeWqGo^(5TzUVqe zE=$z3Q;;t5gG9~eih?%s$4Q!DT|EOKYOFZC(W0`8d@4!PQK1~=&wf+6P)1tpMRC|M!T+u2b*>J^D_ZH6}bIp z7_x4H9IX&dGFPWF{5c~gyVvPll>sS&T)j_llRv7{Ik#oW{5cnfBs~6-OkI9M*u*+r zccn{V1NR6q>of4@WZ7FWXBMvY5JQzCt&S*bmy6w%8I8;(FkDeXVx1_s35}e7kD!u& zq+%E43?4w!-&Pi@wLDQFdMiHL&8j3=$xm0y zUw^B1lV2!sEPBaLlz!7A&b@q7r9q6`0E!ogkH$FVh7h&#!iGT%6Aqu__gJ6lNpQT z1RjO?iZO@knNWrMVuzzffa7-!%qNUF)xe}M#&?M$gEay&xM7J}?h&PKD_iPxdih^b zYQ4NdC8`yFERkoc(d3~^>;2v2x+vuNx*9pz*67q(gIwAhx$hYFKg$||A7b40M(!Og z8eNb_uq;o~ir#dJgU)93E(cu;TH&%nzOF@}4|T}s%oUD|uF=8gY=h5D=F@ehBiOYV zWXexOTP|#H2@~O6wNl>Bjs)r@w^buCGfps}(GL1^M&EPLg`kxItLp2um5fuzyp6Gn z*W*wbAuh<+q6U{(7t!%fXic{6%f^Gm@NUxs1?t)wwfs0<-BEtvA{rc%-_V+FR$f@! z;2vm10cf0>y=7X;(MHinITjq^bd`Ov_*f3yqSn_RNbg8@x5KlOJjfM2zq9masVYr;xO7v*k z`0Eyc?IsK@{}L)PK_h!vG-kP(8%pV%q>*=}Xx!xC;1u(d-OEWDPCXB{@>vrVzK~#v+(~_TS7)YXD#;s0BNx=?EnA( delta 34651 zcmZ_02UJr@^anhXypWeiGCZCkgouzJD4-&sv0zz2K}3yi*3G&R0|`Y@1f@9xxh5i5k=R4o|&Pm?=&7C{#PP=p8B-giec)qto z{v$%61URlg3WeJGxhmr3jFZ!>8R%-HXZWjyUiGHIoq&Z3Q0 z1LM{`FDEy1gj)7H3d6rkyU?=*A-^MUQF5!kefuuP*gzvxS3D3=zcLZq5DLcwQRj$( z2vO!n6~7@A-}N`--G;RZRNZNtWDEV{#}5tN(zW@RF%e_OMvNObuK5xZVo{(?z-qp* z97Ervg02pAr`_oFm>yX5EQ@|9Y~s$kagF56QiaN;UutSvQi>lpTf*vRK3Wh zceB>|jbHkww|G<_6C%WaK@SfF!NQq!T85(GISh+fE`a?@#v~%jTbL+J8>a_Fg zvx0_B!n|OwmxuPmUrq zxd@>}q8zjsVwb>osmMhNRb@3zrO*YpT0No=s|n%pw^p}8X(pJWXH{xh#L~0tuov~v zGw2<1iFBobr_u9b@7+C>9H^~QYac&_Zo~Wv733%uDSx%^okF*>*T1IaZH&m$n(@## zhA3kkqK38J8-@@Y$+gSEXnw$NaX=P`yrO_C6nO%n>~;1IQ|WO(EsjQUp#rF>R}_$? zB2Vnb5y<_H!1??)dh=-*pN$$8ZvelQFk_;XCt8ibnG*k4bjgRJI3C_kTi*A`E~ z^z%wBmyhXHz75^}V+QtP7>W@HTv)6`!KpKMXlLxu9@?XwzC&BQLpyDUcIpo8lpWg1 zJGA*bv_C4fj!NzKO6|8w?bk}}mrCu2O6~hfZP5$H#h9oFFTt<$g4I9Kb3mH5=@~pm4ncDM1%U zE45LiQ!~k}0cY!fFv=P8C)Uc;>y94ZLIU^iT(wdn``ux}b4_@_o(FeViGwEo- z5b0}Rb3JLKP*EXrf3+P(OG!_WD+)I%krY(1{$)&}6|%g2$WB^Hlvcn?CL&aG|9Ilug=bGQ$`99P7K_zOC!VdK1CLZs`&-KSj5;o+RGlAM z?^h%8vKqO4uf}p#0WJ2D$?x;n9kAT7PCR#=I5K&_n(MW1U6kL87uSo`Yb(!x5C&G) zuF*qREivKfn-e}3#bEmTh`IQGIV(01$0b`jS~$;e9fmeok} z^I^#fbw$W=k14*#1njWqO{aaWC%Z+VxKl_=hdhNz9_uXKMS8ib(Z7_T+ZSa6K zQ;sYbE3cfXu92u`O`HBq5_tI5^{tM_f{Mq2{x6GnJ(nsMuPGd-E?D``cX8mq#j`d! zu83D$5l6QluxQ?rBBAnY@$9)0_10;pmb(R>J+`jG@r!uHFX9fHF(YA@v=%9m8U-S* zbIKrc+K&~*=I7^=B{IcKcMms3T3dJwX)AGa3=_^BCM;47w2v>QJ!7DB_*fnb27G^X zxtvx`UojW-vg5Bw|GEZl_;T@!qpxU1Ur}`GfK6K+t7zrky4_zS>NUq_?Qjcx{qFTQ zM`vbxXJ(*X26?q~s6|WEq5zkHh3k&mB+A=IcP$a9*KM2mN*p-v_Th&D=z@h4(K}D9 zI^$tqv7T~aQpU>Pf~kNkf9_XWcOZAd)r^H zqnkAGraME5gSV@Wx+zQUmDSSfIZMk{i32AsUs*1+PX`e!vYXe@-c~+gN08lm^u;5h zymfQV5}|rw)s@ps;JOvHy9mT0h|QmJL?>{OGwop>D@~U=4ODqC9yGsP@2!|r>dW$r z^`ghspUEu+FC+k=icYB=kv9b)A!J~r6cA)xAxPnl28#!TltQMxl@@{Q0y!_sK%@&V z+nWz6MGzE2}Kh}x1$}+L9seM#4-?Sr1{w(bjFDwogC67 z5Iz?%#Cd?^O@>cLGwrOj0)m4je6T4*dO~Qs7()IMrZKJLJlV-tbPp8XPy>9 zCQuW#TWSX$`v4wbB@ifhM*D)0QN}A%1hr5@)LmCT<|)!>R0cEO1qDxOKahGr^HNQr z5=|krgbx+eu>MeDy`hb_H*`e+Ct>%iYFznBHv@jDVSfXB6`!yx6OGY@se-2*Df+U`T`nWeOcG#t3o&gzeLe@C!g zT1so|Z`ME-m)6j}joU$7{^g?0F3OUd3oc=G@zay9sldDY7yV1@3)X<>xHWWRYoLP) z2diR-7M@@j!4qsFc!GHZPq2{S2}Tk;!A^oFm`d;jYYCoUFu@aSCU}C`1W&M>;0eYP zJik`rQ1nIQgFb*6`X0VTA{}}slA=lQeGA{uz>AqE;!r&VK0%-m@EgD%0T%$S6G`j3 zgGr^LXt1i(f?!cfMuM(S=$9MSuYPPfcAJVoy&l93IYSSzr){8ptRhkSWG}ugTqAlt z7=S_nqnwL_UGDACF5RcKlrjEF3`Q3Umoi8-PAW$cC_=$0<|w^+`%4A(muhMZih?aQ zG)}-EJu*7&EsKG;#txH$5f2%`6Y|PNJd?3nL{X<^JI=U=^W2%t$r9QV57- zgc7irAQu@yLJ>h?pp=N%S69;4z%Bt!+J7;_{)@5gpiAA6j2wz#!^O&cEOVn^rLafs zqyq&zV(jTV>F>V3#q^SD%0TGX7%E&GDaCF`N`8qc69ipAn&=q&v|aSa;J48bXFjVr zFO|_6P!BZ`@_=qnih2?v@@C)6!j2wmiQ2XlfjGq=+381iS8*H z19_za=W};%4IzzPkqq;!p}>0U6iSo1SxKD}4g=;(CmIg*o}#!%P&%+4J6R(DJ#eB7 zh%A=0LYct1>*Qnsy5&S80o`z-Y(Q6?CndRzMBI^`VxNlPQkowW&!WO|cD>76JNP(LS% z0@TNex&!LvL_Gk-I8ij9?oJc~sGAe@1k@#}sAZ&Ez&%hJKMdPL5PG96PuxhDQ_R|& z*I2KkC=log&>XMbz^LdJlFlT6CvL>gDF~V+zD@+X1x58nyk@-`Boz&kjT#8sKx9s7 zUY!ij@F8L+A6=G=L7+x-1xjlV`bSp*fDXymNPckhTKp6V33`+FJaHrSPJ(KnOkQ;_ z_@EEE4PRbqj~aq^Aqe_H|3GHEw(dAHi*5Cq)HqQu;9Ym3I6zmNs5ighF?qF(^*aiRf$b~(|nfGVBH0BEZd{RS1S zOWTG9LjR*TP~+brYMnF62&mMF1_3H@qIf_noMgkE(GH1hLUPaU;16 zWMpKtH-s`8$nXX-w1K2F5K99|Xdv+oQ{rR8|dSitLud6s`nDlHA z?$JO}gZTk55Td&}+W=ZZA7P^LI_kiSbSByc$?yi!x`DK8AVE$7txQ8^>=xBWy}h?@ z%~)SusIPojC>WD9T(%k``^e+8q6Jx~MoSd%aK~*Z&ed>TJ_`v-558I0539^-URuz z0~z;{U-t*fi^Y(ox-1Z>1D+sJt0zbU)?v^|`n_O{oBiigbe4VgDSC=M<23DG)%i5t zUf7Ad;VT(Kh^v!gHz3H5d)ox;-yv!oh+)tsaSxhE+(LLc?DKzOk}>w5&%q0ay1(hM z{G%m>#<%KZA90RutfUICsB45Xt9MOc%bn=14!_|W^w7Tk9Qag%9%3IbRDIB7GQo$O z)tDDV4+aj{Wl)GSa)iw1KM3Uk#|>r4TK!LC_Wwqr-2a24{tu4%U-&<%|8S zr!N}s6p;GK=%qot0)if>L~fei0S~}UTEHcE2LVvr@TL5C+kr(BMbK*`Nxs}DuX6$Y zu9{{f9h11@O^A;>vcEo0hcCQ9YySH-mB}uJyn(bb!unvJ|G0jB&17T9I}3NbvF3M< z^)VO0Zd}yPDHs06mxii@*ymiJRrab2bbubYfiB+o2Hgj>xI<s{6FaR zzmRh#aYNp+R%oxnUuh4$NGn{C=05>*wte75`ms<^r?f|2qVr6=Ztg|4M@{>-Cp|1& zJAWkLw2}};9dr-s&If>hU1Py|`8Y0l(|CK=r{|iA5x?*u;@R^@j@Q^8J@-j|Yz5V&> zT5u`UCHmJtzw%})W`#;u$Jw9Y6Lt0{+MO;AFYbm4NpUy5q9>(NT6KdXDLKa_B#=&K zqyndN6r9c!#%`36B9Ugw;-ODLXc(8+4bn~vpO1om@dqdL>BHMs-G*X@n*HxypZsnf z28X`T@e77e+%FhS4L^w3jhJ`N^of;U-?pZ#3rp6RmD9EyJQ2z^cHEAvy&b8$kHh}7 zqAB6~5w|3Y{9{(W+Bj|XA;|TvS-tww(ZbQJNXa<ikrxs3h!P|SFX5?B^T8aEx`SD-M z&n2kg0f*nt{DHV!g`$;u@TzePMMn739K(>DXjZ@pXrV|>VWk8d<;nmE@@{i*l%v-0 z1t&S2n>$ki1-TnTagABOQ9YEi=wP9Jr`Fg?=S|?~K1mE&;iM|j7FvY`i({)aTj{nq zTA2ynhD=rz)g#DfOfMR|<79R(c+I6~Y4MxgD*~$8o|dk!)LQf^ebEVIFFHZN3M&bY zlTpQD(marF%yN6^cDkSa?Kb+JRq75t4f8Uei+#~Xk}mZJpZdHDJ7<@svE*xt_vE_E zZx3MB&7pFwQMnotDAfWfa>VRM{=9d6=e*)FaJaQk^}h1s?%|1;WgU-YHIHT4`w{vM zLZrqZzkBfR+E|v1O!Ypu`M}%tn00sjEUWq1Df2C6zZH?qsmfhbKCjsXeZDDGdE?FB z^AlLkF;7}EPdaQrl6rw}CFFR2@9EIx3wCN3a&x8R#c%Rwj+&B@EP0vQa{X@m#Z#DV z1U(M!MJWodf0pVPB|S1qYVg8jxD+jTxCJw4A<2_c3wDyOQlG9rBOkJ$b!wgzSy|jR zc!ZSh3f{zMDZFkClOl?Phg2l@86iaq=rxM(Iawfbm&jqRHTos^h&w7LTir;-kl1Tm z=B$~(@{aw=b^A&gR<0B~>dB>gVu-;r7ord0-a>AR+W_9pfBE_T)uHU_lABAn@7!AX z3A5ggg_N~sAvNl$J9-~}0CBP=6!35fAhpwy!9V0UgU zM-qlA&rP~rwhvTh8tQ%QhGYE=%!(Zy1vMQ7#sdTTMxb{we`2z1XtxuOUa!hx;SIpn zd;8B#Pi1`^zlv&p6=nR1k%Fu@1Sd*a_9_k*F6N{xxjl5?hp(^Kc4YY%0F%&>a+Y z>bK=JDT#KUO|+M_hPqTkje3Bo&y^t$u>UnEasEy%zg*2sQ&yMQR_}+V%t-TI`MCN+ z8D>2kk1%|OJ;H_~qQed}KkOlzA1)9>DSxzE@erelF>tm=!}|ZVch9<|nC0IyEZ+UK z_!?#<%BGITxaKj|kC)G!it59sQpb;2Nta=<%PLD(xv~6fhpJ6)4)4UQTIsNguUW+z zWdgom2aUI&O~m09$iIfD+)}W5F4SqvFz@rHK0SasDIDW*&3J71QxNbc=BpQ>_ z4=oxA-|&7yx*g3B9|rjyretT3Uz0PGALG^VfPx;zcTuy~p`dw16UoWM*ppXJl-e;n zqk8k3S1Uf||BYFVV!;Y(tpr6} z9q#?(Z^z%WFzf0#fNBn)Q70v+F8mK%){SuKJ6?4 zHAWA3?h9uT4|zyg_#z(hu(1<9=Ha6fp8EtKT3y%(qo+L6Gl8$zGaiN}@bS-i*vkoD z@S^2~(1w>h^AD%!E1p?Vn1QV5HP7Ab9S|ze103jtg#gi&!oIK;@XQ$rqp}d1#KUDj z@uEdM+~tImd3fQcQC472;qfykdnymRn0Vo7Jp9cGi+MQG38(XLx)aXeVVM)o2mB>Y-q$!%6;8`VmM7I{uQW2exCv-qn-Jj6uSkS@4zU?Xf zwki5j2vuFo*Y_Kbmhi~Iqoq8`FYKnWAACkH_bC1TruyOE|2+DL*=3WTY+e22$Unis z_Qbvtg+1#z?Wqh`&~r-bKUAJ6nz#tFE0)!lUpxEn#i!W5;yGN`IRBg;FPy(oXz%xe z4j}R{nB59m{}IlEhA#H0FX$TU*6UYpoZGmy{2lC|SGQh&Xuth!Rtr@E;~JQql9QR9 zmz$QE0atdqDX}V!i8Xb=$*@3x5qkd6&20;}R4@O7y?XY_s+tvNPMA2uVWC>}JA+$t zBK9z@ru#CzO#=}f&V*WKV4~~@RjcNAKH*^nNVb6O*ud)8h;818okZlIsk=Ri6zGPSNi$Bs9 zy<2c=|D0)Wj&?L9Al$mg)%C~rKYMiaNfLYc{@iPmkA2-(U_jU6A{dda&#{eDe>^K* zFy|{~_tngOdS=y?$Nl(J2l`a)J@!xa?mfGUF}vf!p&M(jeyg&WLJ>)n^m#b>(#;Q- z?mjBO?7x3K`LyNbiYv1tn^@+c*oVuvJvn7v_-T6pd-?s-Q}ZtVeR^MZD2jb`xoGYE z+9``Uyl}CsJ#HS#&i1I-#O)eSwYzh7;ZI(7OmcX@AJGDrZ6N`4Q3?KgbE3b z=1^x_h9GwD)mJ}iru==Z6Z^69(!@F2|IKe|)ZmsXBSV26+k(1NZ91mUjYa#OSU;B* z-#d%hV@GQq&9q&gGS5)qCrRt-=A!QP#P+E;cB(=kjBveY&15ZY@0 z(O=?Wx4fmB2+WE0g15Avz?@_+drJr6KK87iC35ew_EIQS+v+3w3n$XOn4Ts(mWMDc zVd@#|pWo6Q*;p1IMD6+-&?%fat|eu#$GxLFxx}%u!)c@K)8Elmf|kVI<2~KFaqR4= z=kL@npJiW%*|OtLcidh!`!B_A315JH`g__(^YahXp_LU~d6t0UzOxYO*vbc8#R)Y& zm^y5WndD|a`JTQe=-tS^>I0o6INQk1eWXVU4tUs$KEf?6gR6c2N4TMM!PEZFN4k|a z;}*OA?ZnGFZrT;so$9gZF; znDJ%fqshtau5I5w7yGR8G#Wk2yL;Maf2PB^UsNsS^rjC-7S1 z^RIrKzw>C(!nL<|-1}$0yo3=2Crh%C5$wV6mVyOpRcs%ZT6MODg zx|!mxuWXQJ8QS%15K`W|Hs{jB4bQ_ZP3&90((M{u@R6KB;RLRt?8aF&&9Ht~Q~T$y zbbtACzYXV6_~G5C8pmHcFG6zt0=0ecH(Dic?$c@;3sxVyA5W`!h+uu%=3}4!jSlH> z#&6p1sEuY3I)aTgzf=0oO+yv*)AQ$76mER6eiCMz&Cy8yMp{jCbO7hnG{o)du~bDjD3a2dYgKBcd${6IJ8TuIXx!@=96#n z8DDbOr_ZfpGY@^O+*@=LvwN#AR6kt2`#fv3AZ~d399*Pg5_hqdoc?almWZ=ZzoYoGP3Z*0+<4a=tNyD_^XJLBTA1NBo* zeNN73jba_2X1~08e$gr~cHzETclRHERgul-Ws5z%bI!7VmrS~xz-}n0p7-O*!S8d; zv!&NwuXxurC76rw?K87(#_F<)^;556_R7bCAD2(vpS{8ohOjwy-Pe-Y?{3{I(z0K^ ztgbp=H{a^m1j}YTzo{;t`0Y~F_d`o>VfN_jzptFU_GQM_hEy*P9W8mg_2qIkdtme5 z4;Rg>s(Ju*k5#2GY-pGCl+@gz=8WXz?6grSkz-JQ+ZaLYk#&a_+`YTtBVDV8B9bQWfq&@LG%dAZriNfJC%;Q!=G)Zz1TzL zSMAS!Y^yj(nzaaY32UVd3ypvw(!;g_SGbA%jf_kpYEI#scI~@scVq$iuoMr)B2?v#-NIMHncxnUMl7b94qi zgtP^_k=Aw?RZI}ENel_=67i=9HMXUoia$ka=>M=T*=a+D-n=7)#{X;^f+}vikO2~4 zTXVDX9(F=LjscSY@8{J3iDH1n+sL?tb;-*ynd~XnMop!op5s(>rnO z%hK!H?b;tSXEnQ{>bZlEX`xvEN#qX}KzNrVbA~xNU?uw1u@XnD#8PN&_|8tKeI!Qh zY?)L=ClNB?BXnwJcFA(SRc&mEsJxdetIA-!!Z$3HrVYtRBX`=cnHgD`IUJ0Bq#pDzTvkY- z{%y>Sp>uO<8w+DUOhrz5Tn{hsHLrDt#WG%c12b1G=RMhK z%&9?2*p@m&v?SETxU>l!KBDzd(29i~gD#x`)<=@l&Y{`ASfXtr%B)C4peQ zXv5lqVH+Nf6Jb?ML|qe|MYhvCLpL=uYoFmhZ?FAT_H1260r);1UcU2q)yWSx-*Rdi z-fiM|^aID&Vqu?!(?34jc>U{HZBddUOt*jv3LQyo|J5VEauFx{@v)6(=~v07X;E?}T?SF|;`;H*FOB;sZ2y zG169e0~;s`$&LLnTsuf4NnOBf`@7zPsO7a$9-Z!|imVox!-ue`uv}<3giOP_Na13> zSYjq;yP%EOg2rW(2+&|lHY^6FWdZsT0mwt&C4f?`^O(hUfWVtg2SPh<(bt`%`QtWOG5l{B4

bC;8MxGBeJa*PyP8TEo_SfuKR+vJ&V$x_yVFUG zTdQQ0PHN=jUUxW3H@BU}YZo>l=e^|S3~1Zg`ck28q>H>1GeUDlq(%x&|Htx3 z$Q~CkM+BB`F0iq*ZcfQ*-MQw*;AmsZFvH0frc;4*<;k~E+u-%8hrvG>>_$h}UQ#RO z+gudE_eoWAdjcg68xrOUy5a9K3ERz4z{M0C@%CM!HqD_ckL+Kw9X-dAZJXMrrmuYO{6Lu;)>tlQ$MJO~@JCB=NWCz^@R zN#UizCd)-iIu|numW!}~8`h|JH5nV3v@N+%*3^a8UvlSXm!y&d7j~eF_n)+4{r|)e1CrTgGhgB5`7+O@U_*H@);hEAmn0aN{ zE|6Zq%*E7UU_={>#5#!pew!UEuL{R??3GIP^as9)#@lWp(<@4MTTGTULX0Fq zb_-3$w+gp*7*=l;##Q$>-Io~ao9QR$q$&&J>a~Gf@IZmRlguMhvduZUL>X&FO~n_d>6A+`c>`T71*)ljBUyEJq-qvS0bY8wV# z)wO^9Om23QCuOI>YOJ`cLgzHsYPSo~^0>PyZ|I7o?7Xy`$PZ{iL1Cc@83qUqnXaK` zDpu38f=IpI)>~NvOGdIen+%en z7m@MO(*ou%O9xI0D@l3AUmg`+0{sK2p-|+wf-|n*UHkCfLrv&3My`n`XBhtxnaL?R zqtkMehH`;}QG_jkD)(=vRPBRRJlRY-1zEkbU>T~w%tp(6BAtVoo)!&dJm$-93%cwc z*~7hb)q%z*DwwsAlhIhx-5uSIoLoE2$56T)WnE&(>949KfM$T%zx zf%JiZS(AF!&A3!;8r?&`0e*gHxSYENX?+p!Z_<2f6}Q*oFve3%scy- zH$P8r1i)ci)@lJ)OOt;+Q8QbJuskwCu1aF0$tm1CKQ6TsImZzdUCX+fDtocXFv^lt zyPKkw*i!f>ZD{1Gzwnb1W~&6OeGfC5h|RS}kq&WERW`h-4pH;Nc!$|uyHBPIwMy?# z&`s)!2H{*ZnuHRxy8a^4_YcyvQC(?E(tDuQ_*!intgmkmJ0#(vI#JnK&04oc{cMK> z6&Y=bJ^-gGrpQq~K2fU=&>!z^2<>Sq?}7Fl9?u<5M%(dpDg0h^on?ZHbS7qsQ)5J? z)}mc;y>taVj5Qji%9_KtBDTMMfZgESN$bmTvAd~Q&$0OdTzOdHo>V)H2%ijnirSk^0twGcT1aKT037!x`E9Fmfr(<+P{>VZCK4w4PlW=4)x^!c6oaxZFUn&FC+Qf15HNkllB zTrgu?zYy46}`m{ai!f2omw0J3NYq%H>rlfwT^0XHx3=c)#O+kV^=txwdTIH)KwwF zRv$`rDa`9|EAVfaq=zuG-{OU(YcR7a)eEDNxcDK)dT6#O&{tpB$Kvj*-<)i(bCswy z!D_?Z#>V}3bZ*)MaFcnhe;)#)*oqlYYZr4W4h(2$e1E2 zmx+z@B$kz0IJStRd!deGj||<=grbBA6>+-pLQ`fNbSdUuKYrYZa1I#|haTgRmwZKg zFZj<)0_>j{&`gtX zmwTZ_IDXtM`vs_uaYj1%(iHD4xs2Z7_!C|Y z0rMk6;u<%2Fu!Q}c_0sm)Ps|H?5&XNedB?*%PL1(O0uOHL((9zr#(^z&HeJL;mZKS zR#)TP4E>j1X%G5d+>w5!GJZp-{nfZgYS|>A;UE$e#>L7}6PuBg@9j-wK2%Cx!3=Z< zjvH{%XN7)bBlT!ToH8aUB_)~cRHI^ScI;Fy*{PO;$v~%!;Zjs2%GcW!2IwZtY_Ob? zNWu3JZ)s}vuzaB7Ca8>30Vi%|7@{(;-u@~RBTj|gCMBDA!Ata#tlBD8_r{GZ>#d|y z(=yU>hH`_Oz=dr~_Niu$Y0W20Ypz!91uG*pEjx!SQKP4kEu|YUv(~a5^VY|-3>CHg zzRGY$rC+Wx7*%*bB}|P@M=tg00#~pG26)AdcQL72+7pPx!@4}oJYDWG)I83deZLth zh#Vq?YeVIh8t3j%?Ss0a zWq)tgRj`(ZrVSy@!qE&(E9r5}9I>>*XuU(-qFCJmMO)w}B66L*GZ-Rt7g#uC_&Vum zZ9$L7%uNYKDYh;c-KcnyNy9nRJ>_8tve-hz6&-&@X0H>{Y;(pC@-!4B*;xPbcbTDo zFs?(#=Hw1dfp241#P>e;sCCS_%Zx%b2;4I$316 z<6)X;(*Gf+6!hNo1mmApx!%JKd@*6};P+tCGLqAh%&OB~=)0z{)+*M|m(s9g%92nf z$?!t?=I4bLWQwHqyC`JwI8J3|lY0_$3m-4MEixn_Q*~pdkrAb3WaW{o3gm7ZE;RbZ z>Ly#cx;7|{$h^^?uK-<&`GvLgch{E$(*wg90XL=_`op%FGQbA^MM1`yXyNb_vMUg+ z&@8RF;AN=pnL5Bj-*b@kFlJnX7xlAyvT$r_`-ib(GV<89Qz(b=3T`l;wL!@1*(`zH z7RWCT6t_5*rP$xW9FOdFUu%*HbhBIyZ-3!7(iLZ;xZv)1Et%XM`8$HUzY6XSVfkuE zly2rOx}yD&|Dw5f_jjKW!TGyWRG;uqF zz#3QszV^exMsX*@#yq_tpkyMGC$0#+7;HYFg+e zz2eH;OHC+1@`~+&mKg=cGm*wpPs1OLjOkL{-qw~kDjlUVwf52{7MQ+vGY$rq&+hg}-jea7%Gx{mE2gsf+Q0 z(CESuZyB}ke$)v|MqPm35M!j9rN($0GddZEr|WJdnKreDb;GpATc?vCF7;iozQonA zy!&3%M6)l>YmCW{KkjZH*x9t(!}@Ta>48@FhT*2h8QZo8Cu;f6u5iw46mR&))i6aBRdPuJcnah@#N$egWvr9N^ny3DepV3=ltn%D`Z2&E&U&pndW{l1< zZk=kVV^delj7chEuSlcD&)83-S>D*RAkG*f){3_5PKy0tWgwplAGLwdii+vC9I_xWGEPyBDNeSNN;22rlqME9UQgY z%UCQk&Ue+#W3u3xfgUnGVil`+KVnAwk; z+0TMq)%#)0WMpQKFcZJdXn3*M$C1(>J`pMX+25i5ndW!sgW3A7Rwjz`=n$w{=fVgw zQ=#frco4hTg<0rgIw)qpiI~qKOOnvw!pn4Xb~XXSorSI)v3F74Lo2@j!nT=9tiIVEQXn z7lq*8&P+A8K=aKlq(_9zK}(2CS|(&xXN1V~KAy(?QrJ=}ewG`W$`2r!@lGSdXlrUg zBV$jQv7k{!Z=I>PlDEBPS;@wHIx{tujAXrAfHI2(%oIy~AoUV+J3`kcxhWhSP4^_m z2@<0%Lcc(=*A`)%JjnQS=Tj;xNmqNre+;OWxG;8$mkae>bU=mCnbcSpOGl;NPr1v& zf|;geO)`ycTdbv27Cqm7&d200Ce1rZT{81>6?6SiBOCH{toF=U?MdLLnpx&- zRpvktW5sGqq$A3pNnp^yLSRZXTi3fqj=Sgnk2A6ljEei zC*X0Q^U~8LiD)iPtUVON-zbfmqEzKF;;g(J)ulva!wKVlbWHt46?eIVafvWgHHZ<7 z%u7q+y(TB?=V6^d5;%yVvdts1fU^`|s6`U{Po9#d)+=p3TxlZ*_Yk}*^5J@-dm3Hs z5o|cvUYAFch_P#-bKs>~M)Xr9$66N|j(XPWHb9Z@mO48eWGs<8`&& zg>ktpNdItJoSi~y16h7K`WGikk6@T2=e(q47$(V$7P^IE4%HZuIf}dJ0|&vej*hKgb!?4_OGZjl zM&_k(4_l%-JgdffzlGs*dt-pN;eHF0Q1G4wt-(4P<_iuCg>9yn$3dN z;tiZDO{FE5*wI2w-&$8%7v@8@h9Z&GXMmq~FPO{oFf-foUW7(-;{(gBYQ&`84>g?< z=(BYG;QY=>O35&1rxB|!lG|1>rj>sBU15Ro43(3T6as2qe^^s{yR|`P^#&!o05g-r zQRt=S*tk@T@`jZ#ao5dv%0+K5(YeiwEca%O;P%=Q8 z1?P`mS!hFKR;^yDtC=I82M!u=Ta8hG-@ytACsItlB`iStNXYz~@vxC$MZEsvQmET` z4ce!FvZTCPVTjRME%`(AjbjWw!TrB$jl#0rs4q`8CdQ0g5$oN8EV?4 zA}4;M;h@58NTk6c=Y&}(%670(IZTry?W7QqMZVbzWQErRhW0}JGc`#I7R3{GOMR}(A14?KzhM|m{H#;S`1Xa5XoC_P7rALwbQ_N14(1iEXAB9* za8L*wxQx@0duT1>_kyk+iQ~*72)2VD-LtlZKtH_##Rr|Uk~Nb^+Q{0+0)1y!_iEz* zOZ~JVy7YGL)yj@AcqK~ws2b_lTgX%?3))RfCl6YqFC{88-|^1`_!$0~Acuto{!Wa1 zQ=o5nZK03AG+l{S=^piq_MtMfunAqLHzD1f)xCV^yyUU14i{DK$e0nZH!47{?qWC}Xowh?x=d!=<*%!h8Q%^}z28AU zxV6P+p#HRn^DRf-indm;@^aubl`_H)n#;Z_a?zJb;W#ACHK(Pgo5{W5D3zERp~T72 zVt8wOe=o_7b5HV-G(u+ENrdiKcvSPgM6gPSq~IgyH=7Ane3OxBu}V17j!4TeD}*DE z-MqW-Ps-4kGR*qDWImNUl-sUBOGr~m?O-d?UF$*gp}-{j-Ox3>2b{~gkra_nrE`a- zaRwcFg-x|?i;d^}bthd-ZM&8nQRWWK%*!4!lz4lh0zA9+71CL917Q`-9SUpI(9Cr5 ztSOp`%{9@SVM3H~ikDn<5zaTc#Q!fi6?rOgVJB~ry=?8xY1vz>6AU`JF(p(t+uzbF zNWKx=4Y_F~h(`A{vC?G%X0gT9L;3?V-%?#Y3`!r9z*G1C)b=G{Q5;>n)iXWNJu|e; z$l!>GK-3^nWNSoY5QrKjYLuw)BZ&znn#~xKsM%$416MX_7eqirc3A}6#SM1{H^5zS zH&JmHf#JS2U`Vds`~3g&-#bsgRp*?py{o%V*HoR#aTv>J$6oF@DNei_39 ze$vi|E~c9_)A2`Kn?jG{XClkgvm@2s`m0ZXXzY$rQNhWUm557gV zJbjB;3Y~r=U+98 zWIi?BweY-aK{9quC)0J$$B{Ek*vG$mLZy@4#<5R7IQ{Ns>Mv>`G9Qi@8 z8B5=ME0~-!OD!jyaT-zKZDW^;KYXU|EGJ1qF<(2)9^)s2x`*s%@#)2O9{)jvFix$r zS_S<)l380Dt{9Q+Ei7(FrrXuOMlLwbsGX?@8r@wu`iD3pbn;hWpWB+=C+w5R_Q6eB z1Jqv?q`H7_Fi2TWa(_+wNY|tP*ei;$Mt{$A1-m9@!jNUpL+wG&xPcK(-(LSj0mv8zuN3iwq7>m{sVkU#2JK~3?b?yZHIK`<67KN z_UhnvokB)R9R63bvpFTq8WrGOo83Lw!a3w{|DH=2YBWw4#c*|Qw)IuA<6z#~fbYX5 zJF6}n{w3stu;6D5??g0=(^UD}!Mx!E7`-5RM&+x6@w+;9kbY8ykvF9aUo4#P*jBpBxJuuO>Ml1ijc$(OKC$1N_FoLMfpL~><0`Sf7^ ztuS$FfZCE9%o7_GtnA$lgtfZCy|9D}%Qe7X^8Abp){(CV5K|{IzY{UV5bGFDp(o>q zGtVnXQ3x>^iM6q62w{8%1)F#h$dj)JGK(h@{Q!M0y$+I=gXftVpRbgr8q#v`HT^0G zXW)B?shm5OM=dw#lxl{+R!C|WH)}E^RY}XLTcPCcyXlk)mKe%5y~For!dxB~Nn*GH zwRlo=S@Y;C=4lZ%tMa@^@@4!<5M7)F8*XMJCE-}y1hXqe(o{AQ6Q0vbr1|igiljJr z&x)iK@JvNg8ocHrDH~oxkyHe)zDRPP%lPtvmZL)_OrGfIF@zn-e#(5wL@?G~^jF-| zKboPJg@nH=M?3THSeO|iCk^Ez*)vE&b_(JR9uBFE4x1W?))o%?Yr#ExwSw!6<`!)) ze8+vyF>XI19zT!-%^XNbFWa7t^5h`i>9t5##_BqO4J(2Gqa&3pw=GAS4{vRWR0}UF zN0Re`_-;;I5j$BJ*z2Q9XSXkIT$2{gi1X^VoOo0*Yt14?7Yx&b@`E6Le|wgM2rEU5 zObHcOhx4^C^|hbnqwn%vcrvpeS(nc|YLfqYmv?N>ttpXkEz(=91ky?2vfVJ=f#(|B zTMP%vZw=!I!fNIbOwg8>590?bF;SS#tHN9eYOv3sG$^o)&CK>4vG8D=_1r6_wlL1NT=Kp9(T($rWmxZZCiecrSqD=u zY(au`b)2mSV!dL{6-_L>=vmdqyo>^0ahJUE(MD79i5)aCdB+%xX@WSHmAAYpu3+;G zMx4K~IsQ=1-QDFh-ovxWXBI}!UH%DXnqS$KdpLjhPAcBGJ?m!u;mD%5#nh{-|0-Pe z*CDewss7l8&3W;;y~QoXCl?%BwY3)FSI^m|sq8x(*%0x3_3Nn$F}5*x-<4C2M zMdP~XTOy-mFL6oo$?%;QO4d|RvHbm5-i8)7H!J1%nTW&n#~E=!RL+g{Mduo@a0pZK zu2t^MTDW~VCi11$SM8~30MvU0AdB^_L1M%Ks!Q9;Phyz*G$EbK|=J~SvHTxGh zil@_M`P8jdr_ExhaCaX+I=E-Dc{)uJuAuBW4HtuX zB5`N)Pi|zy(`mEr6*e!s(n#fHP2>1sim+^>lw*`~jZ&Ub$~Q{ujZ%S8Dl|$(Myc2+ zZ7@nDMv21`SHoNe4^ae#i_mZp0WRXeMKru35DhM3!bN1bhz}P@;F*h@`mr2R7b%Gc zN1BID8Ai>@ehkBK|G`J1%5IdJ8m*;IN4%ZzjH3>gS`qRoeZ7Papho&24EOhZoxWD^ zGqi*>2Y;30s1RwXTeEA)jYV!)$3k-p`~Q#~n&)5HsoJu8DYvlydF^l={*|4@|0TPZ zatr%!HzqFlzp}IZ?_~E8CC6wV>nGBtkp55wh zTWj;XJ$)4~feqL}(2%%wfxXDM7AvkbwFt!FVY zbra2c)-ki5b)>je&&qDmvyK*<^{fNMW;~06Ax)ZqUqO%#L}5Vve++m?Kdr=8Rk2+ejEsT`dwvQzQL;cpJs{ z;Cs6ujFXR{RXuhJCkwlU>#f;TB{R{cMLYh=g^l8S^p~q0`N_%x*PrEkJ@_}|@16KJ zXkYSZRVImv&17SX1KwlfiX$?~(x6P1telfcWQd=XfLIotN#dh3 z+2zGxR)9zZF)X22a$m;ycKcf^j$phPOrwM@9Q^?o{;q$-9WFCRinzmO<){X6*_0fZ zBY!`X@7g`|6Nagah*LmOFOgQjYbcS@;BC#3ir|$RrOgWTaB66`y}DMR;K*$SRppzp3urV)N~ zio9Y%5pl7?Prs+B%K%21xYDu`o*nxq#6Fa7J-7hw6CKIR? z;uez$@`cy`a*=MsKNKzu`pj;qkf=>X1h&c~n>4M!UC$4PsN% zNbt@HPt6)TcWb2d*DSBIC?FFm&J3g(vE za&zPFH7(xq=cb#CxZ`ll>B#vN#rvo{u{U%wL<>);uF6ijS2a;=ytFzlbIp$Y!}Roy zXUF6AM(kOS<&5hurd_?c%26- zOX{93A*)%>;c+4U%bT0cDRedh*o|SxcTlSqq%;A3UaBJ1k zr%%oDs*`n*6=!eky1KY0lW-&V_<6H9V_#b4 z?8iIvoW=0txwo?`uI_4}sb4Qm-@o8Wy?^p9M$CC|sCnVm12=F&&+R^I+L*p%?w@~% zv86FdkJpvoGAm-+_ut!=ynN;TG)8Rtv$1(j{PRZ0QKyu*cpFa;$104E$}ir%GhAGA zC`X>VqjHsr=Cdb1rm_0jfyFR!kS&+4s9UhM)GRN%`WC-M5msiDHX5Z(xK)hO7NfM) zC~Y%J+l|r=qf~B`b{eH!MrpTE+GCXV8l?)Ow9hE*H%bSL(m|ti$S55)N=J;+QKMuu zN|i?Gm{B@zluj6>lSb*3QK~XZ)kdktD4jM+XN=NWqjb(Foi|DsjM7D;bO|bBm;z?J zmr@gNp*fMH%6um~c^2xF{@Klou|F3>T$_ zi-N;N+2Nx2u3;>P^5f}%99qzt((>~F9;SHk`+uU&LjSQAS*p950-XZ` zooyhn6DPz^j?4pd&%Iv00J1}8Xk=a8z>(*0y zDWhv;Dk#&wmDxubn^tB&Wo%oS1C;5|${eJOp_MsAnT}w-oi^(G~hjT3EWPPUP!UXWotsd_>4q`Hl)X(La!k!RY-vu)(LHu8KMd7+KG z*hXGzA*Y}!qEOp&By<|*eqP#6cnJ#Gt{84H8?YC0T)Va!u!p87SoZ4IleqlD{JpT* z)zD)8Uc>YxrK*Y`UoW!A)7R^gTse^MJ5HD4!Om3M`g*ZVB|?lFX>^5i+yTxB9h{TY zsSbj3o>Hgj36m|HGt@anowIPbbH$SIt{bVLf-0S_*Y9%7An16)P&e2D@bSXY&&P{2 z>(+X>`gpP7rA{?&K3>!skzTNYHBnETjF5h@VY!G>s=v{|yAkP$kC*R~5-Fxc+EXmW zmPm0W(g+_fd-C2ueYx|jx4R?Q-XD-)Oo;$@Nr?m8J;k6&tPYMU4(>+zJ4e2EFJ>4T zuzNQzjB|d50Y|e&g)*>(7Pe|yzQ2z^AFoV#uoM4=>b8$pou8cR#19CI&0zCNBQnI? zQs~Qe7y6K#*bI_8Cxhex1wk1sDFso4VELsq=i=xLk`HVEN`S)X48wZpQ`Ww!Ns<@q zKhh+51%fCl)xj+;b(6fvWkK@#yo2~E`~G3um|BIiw->vkK{8S-&U$NV{_gDRIZ$F5|uI_z2DdeMU|EHz#90P&G6w|(WqOPNVgYf~6;wK3;$ ze8cQzCPpWO^d50isk`Jc)tGM;KamzEI-Z z>9T5n&@?TH4V*ma2QC9QfSbTopjJ0c%a)Z2)3oNz09x$Y(5(Q>c5P7ejizZ@93jZMtlNH9 zcpFvLZt!;ZLnIRCmpy=Nl77J_(mt%pdN}yf2q6;>Qf`>YAbD#)!P#BPO8Fa32*Xve-SycIaT081NzaYWOEJU0}kE zanULW>8|o;84|FP`P7Ob{)~2#Bfd_5btFTt$R97}JA4_?+#g#R;je~~WGaav1*DRg zOp2F}Y?H#!?4t5aSEz=z=kQ57^fs$f^46S-s2KDh;4afORKaizGomL6c;eZUFjn{g zTsy}~W5rC$Q(65cpGR(EJ()+L`Fnf#ilis$PsWjOl8FqTnOv1GA4RT8N7rO6Hx?DG zi|b)QzRCM`)Ki8VG0K8WW?W1?EbjKOIMQQmmW9m3V9?Lh&Ej-7lJY}0i-5ZUwL3ef zdYH=t_JO%PIFDm~HwyuCPP$nzbtWf^R~`qPv}oTC(t@<)+thlysXW7kT8wbAAXAX5 zlf_*piz7~xg0!|%w5Fi8quoE5xj|alA%^c}|4-pR=@29?Pl(|sIDDfsy>#6DMrZqt zj+R2c7=sRwV36%&`Oa>p1j8#2p9F*BE-e>=mI_xaW-Q1LJDH$U@)xnZo3D#M+WBXa zM7EN1rq!KZK8jX%(&EBy_#xd8U`lN~CE0!LAY5~h561Ey@3;&hpOb}TBe{ez4Mn$? zk5WZ9`+PO`A+nAceA>Y;#gHu$hX-B1bvrJSyi@Lu_;m6o@_;zr4Hi$P#PNPzB6@Pu zVTWg{DX7QGM}CleD31TVd!!qd?ug5fbB(FJ^5vtby)rV=P5wNd_ZkxE=J*krO>)Ue z()e;eg2ddFinQE#l(I3dmjxM^0f%wxW#RUIxqQZJpYDbCnH-Y@Q%#q zvS$K+QtOzl;XV~D>^3r~O=Y^JynzD&&2bc3A)BTIzMx0WyjJxe`zjb6-fA{TK zDz_vurCybHj5OPQ*n^!-goV>(W+lHs@$ql+;+6c$4&!H=UOG09pDp_*@!lOSjx)V< z9KSeDUXaB5I*1#{Il`KXf?qyLi-OC}Ch;Rwmc*dz7Qjs{>z&5?Fp3_V%f48{zt42$ z+{tL&wkp$(IWHfja!oq_p>D=tYl1at^Is#)CWhb$kq52iXWE$!JBGkD3;%Y58B%s` zEkBhJ=oVNWM|Y=&SrHOuC5Qf^?jmoix3Vk?U&qg|!Y(TobQ+3>ciY1lU7NK8|^%In(+mStTM)eAP8_iJ0AiVfZO9w8KM+tv-A zI4$(^&}pIOecE=vhnEXex62Vj==PjxOw0dn53jZkR+-1AT$Ran5(ns9bX|Q0OFjWo z-#)!OJqEws%e$|qSFZq{!GXQJ`*=$pzJ2<-`}lYoh@ISHl*ZX&HFhN8YUNR*G(E!l z_&O_5QdjDXB%jWvr>Jk? zPNhvF#HaIC>mqUz$p#itVIob`J#YpCdL^Vjxe78TG@ZmJ`;jo#w{MV(lB@vD_H_@! zspSX~G!1r#sb9yCSbEC0ua6Hi=L|V$4kuChVS3(&AqS}cjF3v2jZe^V6){pu3UX7B zqc}%=2d62?5gMupQ&6ctS%I~8C|;Vf15CnHM8>g13Y^TqGAL9@o!z1>BV{I0-CmwL zMxzR|LH#5z_n?6cIg^G7HGKl(h_*leo?cOD$@=#3`Bh=S1r6q!N*+|A)qR4lTax0m zN@xLsixb+iI|;WU~mx_ zaSWEGup>#2v3M|!WrA)pBq7bf5O*IxvNxFQGgmb*fzhs1am&&MprN;YXg7%Cc5INW z)a0mM%|6Vswjr6=^J_1*M6nQl;_6^*OO6lL4Cth?AGd4uv!v>{>UBNDjj?(1jfCn5 z`;bmtl1i=%)_l+WBu{u>vx)ggwjZrAD7yVB_ZhAEEbP`ZvNU6r!sndAFbB(@7%nb( z0KG)pwhcc{){ogvwqjZR5#SWEpPfCbj%=M4 zP|)YCJ=T7tFb#K#XW)+(TrgMi9LkPIASNGF{+4Qior4D24Hdh-Kkb*vn29uT;xxMm zek1g&ehN+x2qQ^|9d|BA(%EolpIuMcaX38HUtE6UXjSQ!3u}6X*mF0#Y>*;O4k@gU z-`B7N|J#cj^B%`vj$d#nKBAP(%8fWFzx{!xk0Lci{^JA9L`B5wW!FB?q$m`ZGs~hv zG;b&ry)^Q^H2Vxg7Opy(yKzL0Wq*{*W-tdRXO=%yrwA+*nhNf9Q)#k7mmU zHrjn#Avvm4IZ zIfQg1x~HRvZ%~|q)TCj83$N<2Lc5*eo@N{(Z@u&FYIgso!XfnLW0SYy;b1J8ME2?( za3|VyU+@lDrT6T9_8qcM?@12m)!pA1!X|A^E!8Cq7xU=TaT1nHeLf;+k0q(fc%KQ3 zWwhSh|4R{8HD#?cD*t*aoa6j=*=gs?HTE87S`LpSh2W8n0 zqAUL<+8F}dlc7lwb&f2339tci zC7ft1VY-qkFf}-F9ysLy=Nyo)@*!t&A`dtN#HoATB)p z(w20XDO`E4JSXb#++1DXei-~=66CN1jcw-yHmjIP7;UBDxN6acyzQAg z6NOIBa$1|CUCs_Aki5(%3uklm`nVb?b< znmcdJjdU24SzkSS&+UwBwR@O&Y+pNL*qR-uN*%SFtOe46H9#tE?B-k#18D&B9H1$gQ-J@^1We#BIydlS8;DFi0bZ3_8qOg_ zlA;e&lhq(-d7c5M^^xQ@{0K=PwRpj=!~-K4{3;*`SOFvgOM!SG4!EiRoGd`tWuWVj z;cU?JKpz`ZN#=r{19}$Fyf;^*3MegM6VM1W(E8Kr)C05tPk|@EW8e|+5O@GkEh9po zLhf|DF8xlfA=yT~3po$}j(#w*Rg-(bUEnXESn7#l*^nEc3sI!&pbG#RZ#{4oxQiQR z3$1@X61oE9LUd_PJ>42pA)A~{ESxC0x zJ<-s#yd%R<{r+Tw#FAUmToQ#mP9XGg;3N>OA1v$=_$g-L1~hpT(l0|y+TUsaFkx#x z+LzZMFl~_x;5o1ss0S9~-l#!G+k|+F5aut)W{u&@9gsdRa>9_~W3&nFG}!=s2GE>o zXFCDVb~_HxgpUC<;YuJKpwERDck*GRlLFZxU^Q?MNCpl7tAPDL60i?g3D6sPIS{r7 zC0ho;Za@Zh0f_*;!^=^S1km(Oe~OD&gRr?ej3ia+p0|s*N%F>2k=j93BK^AAt-IR} z+j7wKY1to+8I4Q$DK6zS+`kUEx%#64`m+hSLZ-+rI~40q=Hu1)=McRkS~-|Kna{XR zzFjOqUAG2o01;>pv;%Y_sXey@T~p^_H}Blpb2%@0E$mAyYB=$Dd1BR;1;UT*hH&x6Dn8pWU?P3o$i5Jo9=|zCTwnIFKc$p zD||X{&TipsKO&c7_ukHt{qTMtHzay?*>btQCS@}t=2t(-xgC?aPdMT$KVGTvwpM$q zIy?S3C*{5=?OJ-IFzP>Yza)*b;>|bY@kyF5E$bYoF2RSpT!@|G<=P~T)bq1J&=Gz# zRK;IzzF(Ur?0Vlm;{1_~B^4VAgy`XmAe)?8lpDCOX>t&-sb`vwlejUsc2>1 zQK8gbbd})c8 zi(BYY(8?RJ=E8MIboSaKs%O- zXvbypWoyA+ZW09##eJN#MxdNj>LVR&9HRVeZEHGRQq-JWDxh=O!1R@3>sr}eCw!oE z$WY5WQ`9}>QXTqaIJlNvb;$K}hV0%R2~Jo?eI(c(3BHl}B1n4#nVl)S+aSnwv+p7o ztf3{dK~h7qUWBtjxYR7!T`vq#P8p+-tw(Bl$mx2)RdHyHT&WjaTkN&Ynxe6jf3!u4$?N3Rw!%Bgc9|M^b(-ciS=#~953*$6 i4niNrwjJ{K9fY?OJu2ja4nk-33@1V^HsH?@^1lFOXa!vW